Sha256: 1d30babca6af2b99784ce68ebaff2f537d85039406ecdb7c348ee2af5ca00bc0

Contents?: true

Size: 1.49 KB

Versions: 0

Compression:

Stored size: 1.49 KB

Contents

xWmoEU&iZ*BZS+9BgQZRYjS*^r{ٹ !~OKڠ(fgy:4}UQF*^}W?t7&_&:i1n5Gy:vY-`E5?Ɓ*?k
?tht_<{^5SDir*
B\8UE!T&;e
3hҮR^dFgd/`_لJmDNIj[Gp樒VzʅF)=^rB&+vSQxhY2f$>uuo*ffhU.^p&/fMěʪw!||
9̪*aW
Fxw=]$t%Rఃk~{0?no	
[~{xݤO"Κtsa,[{v5oW!<H
{\V4
S^eRA~4hűгonsxuA.{tnZ{D*ecGdN9ϰģiNwhr{J)H(?޲H+j}>,vq77Tzg1υZ"oLK h2Vݒ@0к~BόT΄\]Bz3N2*2	G:/p4F-,*T>#W29OVsCQ|\
ȣB$Ҧv=\T
4Uf+M7P%ΒN<+ۊjXVi)~t"cZqJ4yJd&݂6|Tnh<,K'VI?a,~/Ɵ9dH?©3A<'ZZa4<mNsO%l1ƫVdw
VXin9Ym-BG	
#G4ωaZAX!ΨnjC.3QǨ{Ib!3W!\q^
@4^+sz
:5T,G$^"{eE+8C8IsMTz&&jMM`ڮ|ld,,bAHEU|*	KyM\$p)ʹǦ15q(r3<òB.85+`)&'$^=^A<K>ZCUUl;-Pe(1kQ9>%T<&[4';N,	1ß=xލwܞk#`B!P*Ma 󱂜XP鬨|(BGBI+f
(=鼴8{ٲKpN$-1G1 f1i'X@CeMV̿B@wTNt(XuwxX㗃;&#^uo

Quick Spec version

y_petri-2.4.8