Sha256: 91fa8a54108066fc91581dc8e88c633f6f1f8b658778195c6513e08a3d966630

Contents?: true

Size: 503 Bytes

Versions: 0

Compression:

Stored size: 503 Bytes

Contents

xn@+Ii"
YhtQ	2bA&jb_'3J7£0c
+Ͻ׻BD誂$Œ0]{va}85J
2+IWfž{[L1VIH	{?;P;g4`\=Dq,JFf=_aYn~ym PypU}ڀgmjthvR\js|;uQ78p(mH,pݠ#q
RR([[ςq
mc񐾱Um)9'" :HΈ|u3U&ijax^#MN<"醋2HI7Q余(\FT(vL
G$Q\7 .Dg]/͡tIJ7^/``DAR͍)	_J	

Quick Spec version

qed-2.8.6