Sha256: a496bf16d4c2cc1fd7d104db8f7cb8868813c8ab174f5790d72cb1500f87d0b7

Contents?: true

Size: 400 Bytes

Versions: 0

Compression:

Stored size: 400 Bytes

Contents

xmRAO0J
6!@ˇH;!..1]r(Xv_8pS4ڒ}7Ê\b!RpFo|D2#̧
4hp\D*s+`弘=Ig0`//$R\qSuE+iA4MQQ1I;]a_V	Ea{M̾4k9ؖ4:!.P'Qܑ;T%ghv3e	.|Xd/r{YqKͮ#"R<F.8r	CPQ폓䈸!(Ҩ
ˍ5&\&)]D{9bFc31an8

Quick Spec version

qed-1.0.0