Sha256: 223d5ffea01a27c0d2da8b0942666f53d081ccb34e66f71934b7aa75e7becb64

Contents?: true

Size: 447 Bytes

Versions: 0

Compression:

Stored size: 447 Bytes

Contents

x_k1ŗRvgP)0BQf*	̮>vחyXݙd6O>W
,%sr>z_pF-WrvY:y˃8XA1h㙼Gyrp}[ϯ>~
MEj,3y8~:q@#M-@(ipbm?q
~Ż3}]y!d~;_s
R6w?4)iAC
Ӓ
	#Iv.K_c0QKw5~7Pe6s;h2]uԖt]7_\Z
)qRZ/'8Zsۢ4NCq7{D4ˆY7b9k}<
VݡVIr`yemFNew8

Quick Spec version

qed-2.2.1