TX=Istanbul B80; C=1-2*IST_B80(|[!L]); F=X;