files / problems / projective-plane-order-twelve / compute / certs

..
identities.json361 B
mac_L0_mates.json9.4 KB
mac_L0_mates200.json94 KB
mac_L0.json496 B
macneish_involution_2mols.json1.2 KB
macneish_normalized.json1.2 KB
macneish_verify.json418 B
t1_enum.json38 KB
t1_squares.json515 B
t2_L0_mates.json9.4 KB
t2_L0_mates200.json94 KB
t2_L0.json496 B
t2_squares.json997 B
t2_verify.json418 B
type_classification.json2.1 KB

This folder on GitHub