negative control (L-1) on q=4: FAIL (expect FAIL)
psl2_certs_kourovka.txt: groups 626, certificates {'OK': 626, 'FAIL': 0, 'det!=1': 0}, total steps 335066184, 829s
