TOTAL OBSTRUCTION VERIFICATION REPORT
MOD=107
S840 powers of 289: [1, 289, 361, 169, 121, 529]
critical arm rows:
{'n': 744, 'mod107': 102, 'mod9': 6, 'T6': 34, 'F6': 19, 'J6': 16, 'Y6': 52, 'f6': 67, 'T9': 0, 'I9': 35, 'J9': 35, 'Y9': 72, 'f9': 89}
{'n': 747, 'mod107': 105, 'mod9': 0, 'T6': 83, 'F6': 77, 'J6': 1, 'Y6': 58, 'f6': 48, 'T9': 0, 'I9': 31, 'J9': 31, 'Y9': 76, 'f9': 45}
{'n': 750, 'mod107': 1, 'mod9': 3, 'T6': 101, 'F6': 106, 'J6': 2, 'Y6': 93, 'f6': 21, 'T9': 0, 'I9': 42, 'J9': 42, 'Y9': 65, 'f9': 52}
det M9 = 103
det M61 = 82
det M62 = 25
P_9_to_6^(1) = [[32, 67, 44], [98, 72, 41], [51, 81, 71]]
P_9_to_6^(2) = [[3, 28, 46], [106, 64, 81], [38, 47, 84]]
det P1 = 33
det P2 = 74
defect matrices and circulant determinants:
k=0, D=[[0, 3], [0, 0], [0, 0]], det=20
k=1, D=[[0, 1], [0, 0], [2, 0]], det=63
k=2, D=[[0, 1], [0, 2], [0, 0]], det=26
k=3, D=[[2, 1], [0, 0], [0, 0]], det=27
k=4, D=[[0, 1], [0, 0], [0, 2]], det=26
k=5, D=[[0, 1], [2, 0], [0, 0]], det=63
All assertions passed.
