Sha256: 1c740f8f568e87d3c8ad3f811ffeb433594c66fa6bbd23a96be6197de1c3273c

Contents?: true

Size: 437 Bytes

Versions: 0

Compression:

Stored size: 437 Bytes

Contents

x}n1J&dYE*[T#4)&lfܙձ=հxO({u~F~IU
X;(;񄜓pbIOW060YSL</aNXw(u%}5/HP.ýK	.M!T*obz{jzT-\'.?6A4N\YW.,Y}4%,dGk6G+l[1!v7A_;ޱ
qP};}e
yRrQ\ˠ'ܢ+~׀Agc{1|3J͔þB"i:he‹is.T>	2˶ _+`	~vQ;VkI)_Bq<;”

Quick Spec version

qed-2.6.1