Sha256: c3d9d8cbe7f9f9da4d263bfe9b428bbb80b852c565712068e00d94badb91b3d4

Contents?: true

Size: 503 Bytes

Versions: 0

Compression:

Stored size: 503 Bytes

Contents

xn@+Ii"*B, ѤYdĂPMľNFg)J7£0c
+Ͻ׻BGD誂$Œ0]{va?Z%Ď}{$SԫU_?b=ӭoL1VIH	{?;P;c4`\=Dq,JFf/RC	T,}b]m PypU}ڀgmjthvR\js|;uQ78p(gmH,pݠ#q
RR([[Oq
_ocqUݨSFsHWODAt2@=fpL
PFӧfyD
%&E?efz1S3_?o&{9Q r퍨P+{I
.˹ލo߸J>	Ϝ-t4%%+{BY>K57$|n<.+Q'X

Quick Spec version

qed-2.8.5