Sha256: f17f541d1f62dc3ca240fe5de170935091fa15de602e6e7d14fe51420b23e61a

Contents?: true

Size: 500 Bytes

Versions: 0

Compression:

Stored size: 500 Bytes

Contents

xOo@+Ii"Q
, QUkYdāPKƞ$ڻ)J/|5>6Q@}μ<?R)Q'?7gDZ``gf5א9^2ŽJ
43'ܡi=XVB8@=s9s0MdyF(ATL:
֚
(cF5>\TuֿʱzY:X,ݸ
)aZb7M	#4Sq7,ȁH]Hz<pݠm"^Qamp<A7|sACN~>L9[@j"-Gq7;yiQǺ̞#&pY)Tؚw;ED
1d)ȷJDPE(Bav;V4-gt"{ ]1 zR%YTܚػNW9ѲJ

Quick Spec version

qed-2.8.8