Sha256: 1d36d64225a41fe56e517222541787ba6bbee5c8a2cb481f117255d30c529b53

Contents?: true

Size: 466 Bytes

Versions: 0

Compression:

Stored size: 466 Bytes

Contents

xj0C)4[ncƒɺAAb'`KAOlKrS
B+t'O9:'c|]A,I{oKNm.`^ 
vL<~;eٯ?[nSZsky*AN6MHQbRh,'+XY0INй0#-`{8#޿AWٛ:I|qHkFۼsu~d
¸Q&B0((j;ZPA$]z9 
y4&..N-h
F/
+n9Sσ3RVM.e	:4SJC_׼(甕a*YnHbjbiLFB[$4_#E8|cPkȺ&rp4oJ7B/c*<TJ6*nMcROIa

Quick Spec version

qed-2.2.0