rqtab: Paper 109 C_X 2-Selmer bound against the number of regular sub-quintuples (post 93 sec. 4 definition).
rqtab.py   script (exact rational arithmetic; python3 + stdlib, multiprocessing with 4 workers).
           run: python rqtab.py SUPP, where SUPP is the root of the Paper 109 supplement (census/cxsweep_final.csv,
           data/sextuples.csv, census/gibbsreg_ids.txt). Writes rqtab.csv and prints the tables (about 20 s).
rqtab.csv  one line per corpus row: id, bound_CX (TO = timed out), n_regular_quintuples (0..6),
           gibbs_regular (P_6(X) = 0 or P_6(-X) = 0), asym (orientations that disagree, must be 0),
           degenerate (orientations with abcd = 1, skipped).
rqtab.out  output of the run, including the two controls.
