SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info o4Dt ] Promela:threads=2elapsed=161.165cpu=265.888gc=16.144factor=1.657zXZִF! ?ET]ŗXf1-/6vR[3 GQ5C 6ʲ`MU麘GA~aqslqX f9򹳑2c M(Q嬇{Y(K0ݙH7JK$p,<0A67X `,v= ,eC=F2| {([]VTK8=c#guz@"䱴!\£Cp9D/>pђRip3MИ]p tlWNEE@OK D!54SIz)w: dH6_p^U8KL'p_gjٹ]D?fm&E ). \?36fVów^]rZkgje geSMٲ1 QAjVz4_{9x+`7,Le Ⱥ˭./NF!~fG$~[ho/ Fņx"< hz_BHV۪78[Er`wO4`&|rek|}VXkII;ըl) Oӻ* %Tce`5J໰0ا$D[$^WZ ]rsAO3sRͤ& #9:fע nӢHNXyM)<02x۽oqocY1k=4z>(yD̜B":2 i)G(vʍ}k(seh kV*'kX5P7"vyd1qwè%AzA $ )Ez{ cL7( ùR׵A\lmQ QI>H^/|D$kŝELw`*GQ $| ޏܘU\kΉ!i!1PLټ@_9gm>\3'FH>*IDtfgO톿WM[=KH r[SWq##cn'}-W.C/ӮsBЙIT)KM_ &(w)/"4%ڰXMWusʦ𴌦>M\wO:4)xc˞lBlY8]8K4E&QA& `1vǾe= 7m$%@VRY} śm쌃;0)ĭ_V@1CWD'" Ls:ۂ,к{ɫ@׈eO7YGLz(}ɃB<~M[{ Zӵu|eq5ĥva)q5`̮׍)g;+mξP]>yߋ2==;3HsstG@0Ȏ' s WQ>э_ָ^USR 4!n#6͠:]ȓOm4ywn7`+V3   PromelaL?% zf #w(D v\e!*6/!!-G:"شk{gc a0΁JA_{&:uy֕6Y$~InѡƜߌT7sֱ[5ևhKb%k[JX=B D:OgcEasrG_*0|Sn dG% dPromelaPromela.PromelaDatastructuresdocument.tex7zXZִF! |;]A-MՋhvG"uIBm5LO :y[bG[qn\|3da9\%ջ Fiҭ{+d9H~cmb-?~'|Q+J_g@wtPQ&T(qfpnsj[uSUyr~31%cg 5 hv=5}_{XkӈC!B7J>nR Q'b8S'[M-uC]L(7J~Owb &j]a-ċ"=7Iܿ}v5p7㥮[ Cs9 ]c5[sP=oaW+\m@ R ON1kx;ŇŚHܷqM,b?B9JY $2P"%~g,= v{Qz [Ue:QU۵K18~*?"&NjQ̴b>/[JSӷ\Xnʚa.pט|6eq T(Lscn^8Gk%&&t"$Վ`A&3.8\"+Ov+@؋Pck'yi O_BT/rȪ&W-{Xrt4|pcf5)ς󌩈me/-W鑩 Q֩dȉ[ R0^-oCkƒZ*2NSqp S `epUϔ-To.0(e 4oė s('{S(t#ןJNiNpo-ъa@S^&Ӷĺ. ~a%{[2@r%_j6tߢjGNlHs,k}N|$Y\DnӬl#fux$J6_,oN}(Q_"IʢR`\թv>3 #R!DΞlL=sdyÙ1TZ:2ARHMl*#\gHXT`*6Oa ?Zx*dBcn$F>Rcx] $jW!5JSg7LW! o-iaz"+Eca]fMu*DuI's(Գc҈^X"7I;ɾ+h-9;\lʲq/T4 %  F"KZi[X݆֒ۏ1/9`ŸBy?ėӂ8o9u$ȏ=(@?q\&uϖ({YEEcY %VWPM!u|l4T3`3\ʙSE$!#Bt y XGCpw7VPr6M <6^٧a +UA}k~Ӧ.Fe׏i,"b|sEK>BRSwb0YڶFA ,ƛӒ"$aj@$}Cīscthدg%;d31\"~R?"_o$S&} @Ns"DDvZld5I.9+Yqe7<N*]:p 5TѪB< _ڭNl0   ?k(+%PromelaPromela.Promeladocument.tex/9%PromelaPromela.PromelaLTLConvdocument.tex,3%PromelaPromela.Lexord_Listdocument.tex+1%PromelaHOL-Library.IArraydocument.tex+1%PromelaPromela.PromelaASTdocument.tex+1%PromelaPromela.PromelaLTLdocument.tex2?%PromelaPromela.PromelaInvariantsdocument.tex5G% PromelaPromela.PromelaDatastructuresdocument.texLgRSFoDzyI8t_ٞރ$5A]am!=aլ0%5md (Nw/^; Q]mAK(NkYF,U&F5d>%Ԯs{n>oXDjeuHC@W`KF9ڂzkdnD1DT"yjg y)BZIJJ( eBD*:nxE/Q?G>:U=ĮSp E17XV12&teFMnJXtHq`чi# AA xO ڨg$Bxg.EvMo\T0ɒ QLXҐwBik5#FKؾMRRDGJ1)! 6+Pxg9U/%ͻ π.eꗮnNSgtA=kűM[ϘQ@.z鉁apQCjK0_vdwSa.$z͙\Vtd4yyگ=NWs9`3:*->0Cnq3 )tѵGуNzY'<8/N{܀_cKJ*_ѢBb@kEX%w  /~:7{b]QJ>T_*9M?8MX |D'.o8^+<9GC"%(p}M%6MpP)E@]$=!i fo oB_yH  w֔S6#j"Ge;6eX:zK,rު؀xrvSL_D٪ V(`ׇoܣ?JB?ͩpU ȣ =Sx-_rm΀`Bٛ-!v*sr.:ASJw*cOGYq5zK򉘶֍CE3@.lDw=dqBv k? v_{x{DA}ܴ(Yx@{$je HSm D' j9[e2uDv;q5 UH۫Ux BwdVFmD ]X!x669'k1߿<(FгQg v;u3Wʪ!fH3.`ՙ{suV+M̾"ƥ.p&%]WF$agTK:D# t ,;OKD`/ p164?Eh#j7tVE]*~oGu߽OᦙӜ>F53 ͹Š &R)'4 ;Ky *4 _[l1ܚlBZfɶ.1&.Rv:ġ#T/#oC'u2B;yMĞZ[D,#k:֬msC`+d_lܺB ڳ%n0;??:[}AUtfvT5_\TYfO!"VѿF,iwaf f3kGۍT;mn #wa`9W \) W!]= o\B= pSu#I7AUe@yS[Ca"ihREIU;|*%c!HNl;6aBQ:ϜglTRB-zoÇXSM;i?+Ώ-,'QR} Fᱛ{B6w ]в> MEYlZ'<!z۞F|DՙhQ-#8ڬ%,[4s/̴"]cnH8dx_UE?k^2~EB@RnP6:3Uއ)70cyq B`.Y M :]̋e;`XXGHpk@-2~?!{a]푮+`se! 鸺;.Dv{y; ?.`](,_ W^2H")~y{<~U|a \~I6|xqtMwrJ+ ilymNLY=bRD>ߤB~Xqo/}~ ~z=vg!`/XLk+'IGe0[T{`z͜AaqFZ]>[ w]Y >BH|0''P6x%1_!H>!Tt.qQܜRϽ=:gӏ?h9YNEb =-m ^ag򷢰P~Ii\ )͍ulͭ;mx, Uӛ^f6z7}[ebݻ~ρKR2 nN't|^w ō9۰gUL;Qd; pB@V!i1W#z<[ P.*ΐı͕]/:DrQVTqK29AY'᧘H;'Zdٖ̙d}3[0x0վ,SĵsPැ]=|QRkEw3ط3>o-3>:TؽL{mG46&A7$K ]Lõ6Q`cq΂ 8LV1ďBߪgGˋ!x}Ax!&Cʢa˥m5X12έ` y)82f>KOt׃ޔږRl@ " 9z2ŭK4jP8'<*~!{£BЅr̛ԗI&+dw<%u#Σ+wS\P>}#-]Su]]E /#"ԟSmgp{9ǦWo|a2#p?Yjcq{%wtmSYW-?3 <.9(21!h!;Y29½;@rWQ~-,nE{a6_7L+6h/wDk_Pz/[ ncD"25،֎;7/6F_XmQ[m)W_s.paݯb 1=s[ι_ۃQYAJFߪoRS]a4bICn ;YŸ)£xw?"w߉TM_Lo+)VDEU5FNF8W4&,{05WJYn20eS=҂l;*cv梼ݎG17N"eb+~:N.ZnXKq`}x_@ Q9:{֝=4U(ď0 ^ yLHJ?TUkH~؍'|V 7x1GUkڟ_~@E=DpLB:͛SƸd2o#ĪNwmȣ_w>- 1CT=y ަAF'2--H?@>ztO/bWP99R]9P+߬{O]M}By}hWe,ZLN):=4w1(39|nu;K'UğD*Ϸ=v!Fw Uǖ,mLU%"1U۝Հexlp[2ȍxapjfT=ЮIfd^34 `17;DNron-Km@efYږ\?P~Iڈ+κCiD~x}jN=]J7WeϮA06n՟dkkʛgH]DPd"-oSb^I%؎tV-؇Gz/%@;ؓa  040t`ab1&ˌ1?.WWpuAx{ܶ^53r2F,T,|*A Ca>s%OX<uezcܑ˭"l;{v~] Tf$xPŻ}d}`K91Z~ H?n._[A:yA^pu"i _c/r8I{L7qg2kqN yҺ`Rd{ FKt uX4K9>_x>JD%Z_?۳tt["D MCNJ+qZ4#X4qJw^*s*AIQ@l,ki~I> T`5L0-jjs(들aR%K^we`ZXE#gpDnѾx1WOT\Pµ#~wR0;w@͞vG?lZFeqAdŒ+eR gFyaqcd. IdR7A \7bzHII2ļX˫_sxݰ,cX""+E}*6h;# .YD{WȰ+0);k+.KdxŰ +}Gf=4cg֥"q:EɜBj3n֝kakH0mcrO%7Gq!,Nʔ>>M-< %3R}DdM8%V͈^E܄'{RR΍V@QhQZ&g<76%vS+krf=:'iFvZU&.HdLSJ%_{GSKW(o߰F~+y/|13w4f?6x۞;*W<P~S;<f^|[x#CBOƨs@*qK6`7AW`ʚ`}$hz yŽFp/w~~2)ý Ĵ niz4w3$#S`]Q$0DC <+zf]-^+vb?!y=̛ q^cNuu̯+,B+9\ M.g=ѵ@m2=j^sرwz%MqMO40NVnRb1ZDJWq ^ss({ c齹cDIE22X,G;LQveszHCX uR|jH*3btIp' /2wetb\5ϩr#ZOrƔV&N FTo&aNcO0l2NO^<oᙆV7TߴZmݨ<=Yl ӹo&^N'D0$CN5MM{<, UMq#ޚxJS+Ul]@Yak,Fp#~)N ^%0V>Y6dU(%||!rDQ_dͣ9Y#.B5FbSH8Jdr(MEk;~ snA˒DdT #Ȼ3h7,I"s u, .{a{4F.OgadfxB߫ܟ/DjJ(/i}BQqҪ_(M yiȃEHe)bHi|=S)zuq{<^,w'8*>YGˊ-|TA^wֵk#vN%{C[-׺RK^own3^qmȍ9>Qݱ"y=y&4+nK9#,%nΦ~JBoid/(Fqk5?:BIJ1姛MN#>J>ѽa jϫ~ZRʏieoР*!ULgzoh%KG#/1ǖ杠$jn~Lc6ւhL%TN!7H\R`%i׫ґm}kI[[NSN{_Ӌa$8CRfn [ܷ?pɸ,vJ@ 癹`VNEZdz]0_4/5'@_*6Ɨdf͙ox$Jj²/  N.`ߦT sSϖSΚ뇺v_/ПU(k\ \UBi>Z6Z0ݢn#4@)+xR 2ʃc9&:9PT@k&IE@ Jǿ&My> K'U:yy()//S>];4WD,hLNR 7:뤠P[B[->j\j`A˭Cdmx]Mj$CJ~=7 Ngp\ӟ$h#I,a[9d`mza_YOkݒ@3-kyJx#{Fnf2 [҄kERybW|0[j-#]@W~dw&0; :sm-H"HΡJWm(oA.eKմ G$ɦm|yDgؤv72U y}|$Yŵm|-3YNϱTP RG|v2I m,4f`$]62ujb&xk 8oukiQ.K<]^S7&F\yZ/1KQ`KV;M, &si6/;5j2Ilb'hcWc)W!',q+w];}DvGU,9/# O ̓JעSYn g*8H !z hnl{r]p(.^t`E]i蜥#!aH1gm姈;-r3\~qɮyN7GO].&/!&5!2^9P2,vu50|9;LVhYdjTPOV7z&)EmÃx2Z|9&|B|@|51W$vu؝ڦyO}Y'% mx\qا!\('BCr`9m 1(hNΧ孤՚B|[A%" J#}쩈[%>Sw2s xP]e]}dBCvu]0xU/C=6d'EL"PX*7|oo wVؚLa\Hk3j=dh[5.Ai|糪\QU&/j.؋L=,?O(I3)v@@ׄ|IaQ j)+ʸpOgL eljlZyj} H^}5>՗wW?xGr6:<<xpe?dEYFFZ<@'s@%t?+ r?cwXu|5)N%AG܃2g]}&ͭmT• ?4pz9=~ʈңSc>jl!oUryU FbNCa̾Tgx=.$P̅@;{na$7g)?`$6"5)l3@h(1boCkxPM42ܸEb d]cgNl;{ѸKQٱ܋]1+4^K(2MJc 3kGN.eiU:eT,|T3+wb_Kh71W~<*aK EY?hx{3+fO2k~ bx1M/8G=#:${oczL&&!ny*_SMĽ7πMQXjS [0$6ѕG6WN:=;dYvQJKYN1uUGD{ٴ9̅EudŪ%gH"+{? KT]D@^墌Lv\O]HI)0ZP!+)n` ʼniEC>E^GbjDTqj $D$,`;Ld-@_B0@Gל JHzTV$_w,' Y\!:V>#er \+9OVvk J:Ni@&ddd.[8tΫD54 :Q'0*D^ʩjnұ&>_-F]ǹӴ[:?1-xN&#e9$;`_خ LzUN9 XT]VK11{6GyO6*&UuS":S.mI\s@@buA&9 /ÈtQ2QLbJH D0OHS 7^tCiT\Q8 V b*xro"q b)Dhu{ר0fnSѲ߾8OK*o"5gwxCRri'[qM;T.:1àgߞ}j3KF, : =^zyI6{n&E!^q@ž[ 3YeNĻ+R*: +V q:`sO g~Gr ʴ")Cп@ ,7ISL_ xc8YZh,WmóheR|\(]ȟ2->XhK oY0.(j_{C>sz4OM<#~3֬OvLRA3 <2n@`bO w# R!sֵD{mIO|7 hrtO,Gr۫6Z~:pq&햏0rňY@yls7bP0,֦WJD]Bclh8, p&? A(.|#o=KV&f j wRg. QߛvOTͱ m 19@$bt{B_wണGr烎++ /eoۯx!Z+|wFl-a$7r~~sk(IY~ 7 ܏F0'8mBz^mĥ.ąĩxap;#ȤcYCcqtKH+`wE%@;gZWb-H.cg#'xݩRP':Dy+Oaݘl$ /t,a.3$$?orgI43k^c,5X:'͒Ef/ۗpOba}86$^ ri{S$&G`)kpN  ]aM mZ_gB737e{f'F0E^ ! U* f;"YA6*J`bR](r[YT;ZdYҼXNl=rQOd`M 縴c'ܬś 3ߢݤScGppB.L8eG  $rU Ow2{RcXXzCGlC=ʦWnpײ`.K9C-O}̘7:wtu*TdӅ V?,b:ER.P`/37,Z*l˪KwILuOxN , '[d=$-pedppteE̞x,]Φ>pG\NYd` 0$.\jx zJb;i!סNjYa]PyN_ M%`}㴿ÿ[8L @@D\q !?R i(IV%Czi %b-%u{nʼ ށާr'Cha?W-j"WFH'2%ch&P wܺ MZ_@Vl !^6l Ya(@~o.]Yu9ŜDi4% ƟXJt,L ":G=uA (ȹwDv+sW(Zݱ^7z9i5nmu=7[L¯vY^~]w j Hߋϥݢ3<6拎 A!\3:BϩAZY)cqT9␫m"\w?gqcsTdrIA6_)Qmِ͉O;KTj6D%ܛV*''n?%4 +!9d'2Wj*)VRúbi#Uۥ!fimvFouH(C+) ,P+F# j:PG]ǒRf9%XTT{8s`=b1*N%Mb\g+29|scjM?JSn[%i:iCN{ߧ2m"׀ɮ &~ZKȭhJ3R q%!&=?DaAj]ISOJ [b鯡@ ' m_vMz\ ~pJZ®0El nB.l \5 ? e ?B8ժ/++FҥʼWU9"k(Qt!inUv2z.h|^'P|4 M/ dP! S/۟ ;/?Y3t=`!!ictA5Pm/ok] i ,^ILo01-RSd=kTE4t IvZBs=̛K`.n{5Uxl6E 8%u459y *N{5m=Ù_ՙJQ),No(ۂ !Pbkd,Inb+֖cSt&YLӻӂ1`4(CG>M]bx>nYmh;Ld˧=Sm.},jlKUbv2 %ۘ=XCgh:7'2ð\ ,cSktN'yƦ_6./Aw9jDFA(oҀ=*Dw*s$iabVzk15P ~Go 씲1vA&\$lgy>Jjӳ܅/UTc6/FKdKŽEE8.RHa0!F2L=v^.dbjZ gHO_MMʱ]hǡDĘ9Zb h휘2dǧ]{!꣙]m |zП⼵=:>m_VB$KF1$穔C k,Z6{}Oj'!@žE&}B^~nY V[v!!U^z٬H9+&TO֎Y0R&$-4o^^s k])ĞڄuAtc'R | kOhbM k=^)FT] P]j#./扶p2w!IM@'JZ3h/ LkɜZk@͘,isKgj&uֈr%W=ulIъ+ 慎(y /\N#VN{gu0/v,AzԵ3fOzÜsevm=zif-֜Mp$(izo/3&w)$Q"_(b6Ya|B,1[G^+DOXXq@xyd ZۣS[BeF=7@=Uݳxpť"^`}U4+Th+K)kSਞ%OQpSٝ6gW/ SD!SA~ȳERw٣iK֫1ԩ!Uvc@eȑU'qj6b"(?h#0-&'`2H&MؖUNxt" >o.9nWZFa ޫO<G ^].VZTtD/9#w\ 9ś7(NT( +x2'V" A![Y-JК^JC0]M+1 $ x]z,ߙ&>Mhˆ(kuFxڻ;}_$+-42QҩD Wm|}PA. *,# UrYڗ[?!l#P|aH2d0'cd$CCrESaQ;j 값ɴ Ubvb ;_9k>ΐޗnsƘFy$fieS #Nᨡ6QZ&3~gI)Wzصc>y`>V r g0.܈4Q`P-X~Os ߝ owtoXu59,V(/I܀ W|֛L P5ה_T}f]ڽf"Ԯi!A>rH!!=k/dJVo۩_ׂ1ߵXS>/؂D(# %!Eq0-&`Fh/4om4SdGi*ɑm[M[>i>pO:E8Y.Ⱥ_f ],‚7{BD"h~!JFm&ܧ 9Z-j- 'pL@R!fss]\<}ʡ %ϰWVk\/r栾 ί߷Gd 2)DK&cꃒD n& qث5i}v0wdyꮮ\ZPXٸz? 9auD_f {'O Lۦ2cpۨ`fQ}{bg?:_b#2lfY ~?vHqZ=y𖣊 ;<( Qu.:g)(Bp6l2"h~όDo2R2tF*Q\ו}A{đ0|Xo\k$([YBKp+`; mVm0 fPFoihN6H 0GƼKϣPxwu@ V7UV|f0jŋ'[J ;r8 qzX-GlpO 9l̷iHR#os,Ď~4 Ss11 2IȵξMW@9A,Q^p]VeOAP^+Am-7ݦ1̏U^-+ U=ڡ?:h2L"2.gʮ m^|jl3O {m`]=l?K"[!T{o0:Zm3Tw=|@O)*0ԅO2Pv8>B )i,-#U_mJ9nsOl BUrTki':J ލ!cek&pf`ڭfHϒM~zw,\22p Vwf$NWW9L|ux$N]>@V&%;=E/HDO"GAf1+@c4%))ǡ Jޣp$Ǭa؜X6. ".uhfXx881}FZ#W|'H໼:sF_TЙEwu\;3ȡKI]%"?ϻ[.A*B2# ]ْڋHUxio7/lצ9w̨J3et_&ǧ%M]Tڑb0|ukyRQfG0h2rrNjncXVfׅhPz }հѕ@q[s$,LrDz #˚Y8 r^H#bPi2/d\GV%HAC΅uJCQs€ߧ3ߺ;(RS$+v<%OBfӎ8+k'Wo߆_.r#<ϵuSkXz/Bx#~IABgAiB!jmǔB?h=۫abm$N8J*4N=2='bWJ_lӜDhlvfKQI@~Ί|0_ 19j%gV._&Ƶ#W?DygYZ ޣ5`.¹ s:A vixw h- x6&vA @2 i.Bt|3O#*<\hɌ2VK@{b61ǎve0r-h:#(4t0 Zv8龠%B-SCq@<?~U-=*׌Ř%7LB.;{io"ـh9?8gp\^ skl}A˰9You$O}w\K<6Zjv96 s=AY0}}x Wox3@ݲƣ <˧TEA~)9H%uPQOQFۏNJ."b vT6"u"Oe Zea5Z;Dd+Ʃy#^mxͬeX"'DiOB Һ;{DяɺQ4:*q݀,^k쩖-C~fkpQLI~\)- #IjVE"Iy2bx_ OT`ʼjn5T(~+CiT- +Rc8蕴OT)!5CRE 3t zRNB0&{DYڵ8Qady)Gc. O]w X<`iNniGKݺ]K.>}Oi*K$eJwe)jBNxڴڗ+&ul ޾K[6%a\^l\YN2#EGQeh6^xJ3.֜1vTjY{<[Q25ۉtFʹfQ8:zɓH*`j}^3j!v0z0@ j?Oǽ+,<& YP%05, i`= O 2VK0X>6M 'Ns.aM@g)ebW_Vb\MyA$J9km9(Z]j<~>|}& vH@&ջ 9Ճ]3}(}MqT7mؓ7&!IP;x[$\ 3S3:7;3]'A -gYZ L?% zf #w(D v\e!*6/!!-G:"شk{gc a0΁JA_{&:uy֕6Y$~InѡƜߌT7sֱ[5ևhKb%k[JX=B D:OgcEasrG_*0|Sn dG% dPromelaPromela.PromelaDatastructuresdocument.tex7zXZִF! |;]A-MՋhvG"uIBm5LO :y[bG[qn\|3da9\%ջ Fiҭ{+d9H~cmb-?~'|Q+J_g@wtPQ&T(qfpnsj[uSUyr~31%cg 5 hv=5}_{XkӈC!B7J>nR Q'b8S'[M-uC]L(7J~Owb &j]a-ċ"=7Iܿ}v5p7㥮[ Cs9 ]c5[sP=oaW+\m@ R ON1kx;ŇŚHܷqM,b?B9JY $2P"%~g,= v{Qz [Ue:QU۵K18~*?"&NjQ̴b>/[JSӷ\Xnʚa.pט|6eq T(Lscn^8Gk%&&t"$Վ`A&3.8\"+Ov+@؋Pck'yi O_BT/rȪ&W-{Xrt4|pcf5)ς󌩈me/-W鑩 Q֩dȉ[ R0^-oCkƒZ*2NSqp S `epUϔ-To.0(e 4oė s('{S(t#ןJNiNpo-ъa@S^&Ӷĺ. ~a%{[2@r%_j6tߢjGNlHs,k}N|$Y\DnӬl#fux$J6_,oN}(Q_"IʢR`\թv>3 #R!DΞlL=sdyÙ1TZ:2ARHMl*#\gHXT`*6Oa ?Zx*dBcn$F>Rcx] $jW!5JSg7LW! o-iaz"+Eca]fMu*DuI's(Գc҈^X"7I;ɾ+h-9;\lʲq/T4 %  F"KZi[X݆֒ۏ1/9`ŸBy?ėӂ8o9u$ȏ=(@?q\&uϖ({YEEcY %VWPM!u|l4T3`3\ʙSE$!#Bt y XGCpw7VPr6M <6^٧a +UA}k~Ӧ.Fe׏i,"b|sEK>BRSwb0YڶFA ,ƛӒ"$aj@$}Cīscthدg%;d31\"~R?"_o$S&} @Ns"DDvZld5I.9+Yqe7<N*]:p 5TѪB< _ڭNl0e԰ehu%)k/YeSc1Q] Zc̟ZtEX?m6Gi%9QňhV’. c%0BYGU@֎rLq.k&9^4n9hI'XkMQԴUL+0e3aof5?V%u9ur s2/L3.N :&,"au,_"W! b/8{ljhIĩޝż5jwng,UCGGB:D۟+o\Τa^y`ήΏJ+P4"%A|>}V-H4Ϫ^IJ}ejňPSk?*&F)1rEAƁ;kT.~W g.vq^ڍ4'(ţr_ٝܒ"?[\K_ ZgYZp1% PromelaPromela.PromelaLTLdocument.tex7zXZִF! f]A-MՋhvG"uIBm5Lzm`CvvĶv& @Y/Fz H̵ Sos(E"-AWMSx@S~yDܙ#/<7r+M+4; D$>7:[3 KBj `ăBQᯏFf )޳Df?7Yוwm/[\jH7UItHesPGP _ȅZטe;QJ F?q,y/2;Nb. Y =F%Fsz>c  EHTnwY<ɟJ|ԩ"7E6Q9WK.h woPk64+#Ө(u{ 0cxҢ3A{#OQea#Xl? RQa-stDI(AHȢS."o_< H=g\+WXdK"LO#C/d/iU>Dxr+8J뽥exzybyMi@,qFSol)o|'k*sD9ӏ;=eph9klxG^3S1xs¬2Ԫ `8"Hos6'.ЌTLJN.2%Lϕ-B.\~"$CSPh@B y%g8h/21TVʕ[Cy)R!=&%J{y-$"b1k> qź KΈ>Wy^u#6-_vU޳C^hLKR 5VBܑu/X?2d6'kҠ1-=@Ey#-5Wc)ɺ"Pzl_"Z힜j q^t[;-@{Azxn2n3=Z,[!Y  oؑ)1s&\;0E'Y|>'qSh MVސ83Z=׊TFnS\ c iNx|x1ͮEk0~]FC#rl[gv8cW:`|h\' J?k6 ßr < su߲ )]:߬xfF޶%kD![)&V1e cv? F#:V`΄ỡMJZ{J_10E}XV ~Mio B ̋uKgn,tjoJM݈H6M"=1W.6%Gǖ5`_dҙZY_"3׸F@;StpRe~8Ia*nT^~6w8~)_D8STTb׌gf!KkRcX!rBs{pet>Ycxf6ah?TVV #VT)B5(QSD3t$o xbrm,l| $1% |PromelaHOL-Library.IArraydocument.tex7zXZִF! [ ]A-MՋhvG"uIBm5'@Hu\O[?=ǑHc\ԓbȬȘuT zт+Э:i#ǯ[NbRii+<۝:QrgiiRo S De4%~̚ۓx3?|iLZ^6kab\tG`-mdcDZS=pokF@ܤ_ ?ʲ;I+sy9n j1(ۊ 9 `3&["?c֮D]]slud9(jTRFVO5CCr(H*NWZ?R;./`|^{kMmN$avjAfёxbLSm0' pCw3ztXeID _1^jV+~P"A uA]B _b^ӖTY,`MN-_ooc!1TLhȤؖǬNT{=ILgwD'W=mBiʍ+ C2IW;t ח0p[n0> kl"+b<*(z509̈́В#3ڮޞno#Wc+,R!B2C .ߟ%:6uu.iOYR#~tHu,k r}sV=cղiA"01_+[i ga AsaU:YFAŧG ֕=GHĉ1V8SGDVϑ2\3?lϧQn󸦆?KMN9(` *Hxpjk2q@8vdadcui߻ D a4/ԔSIF< W;zRfӔ) tEoԝ*V)FóIG'lꅔ[ఛ|)8?~;-` tfY7Wvay%ȵiCHV@0E|m|_𛚖s } 9 ̓-!3P&!@%^Hk;o>sְt~zm77B=y&7`QnIWO~1(&HȒ#!67襸n>>*KUӯHQ8V~Xrqj  _ 񝏶F[\B3`4Rxnn6,+bY8)?yJsR_mHAJ<\ Q&B,Ab$1*b4^F7/۟Rq Bf9tBiW~ Hs4=&{OUc5V(Cm joYL"At~ZF@XL4YQw40%WSABQߡ.E/j ڻ>6 c[ƉBk)Wrx|? W"'Rꄽ OKzmHCƔ>ip=.^[ǃc?eLIݢC,vhWwQŅ7:8L+k()%gYZ T49% PromelaPromela.PromelaLTLConvdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Lzl(~g ~dUl'`ك,\gP[K7K!w=`pPλIkGxI\sqUnf3i{>̇L5qDC(eb;=ǐ(Hj"UQ lKC#1. %WkDNV}%N \ἝVWt]OT)땀Kw[z| 2^JsT0e>B d"oz7^ps)wr1 %/^k7~dP) +m'-~'\Vti I 2 lrW6H ml#x!| 14GHfF5Ƕhx/ME%aojލZk[p]] 1cޏ)sZ} ¦[d00.d) RHP{UƜ ˠ ]&s6p ,QؓB+@o\uÄw]),^R05ՎeKй} sC\M=_vf;\o^܃Qh6"0K˞AGtk ~+29:YNy=H+7%a: :uӄTzU$G5ZF }u#sZZ|i h;tQ#{ ;hڱgYZ)3% PromelaPromela.Lexord_Listdocument.tex7zXZִF! T^<]A-MՋhvG"uIBm5gr_R]x" +#B{[(NTm8|J}`G튩 2hec҉ *Q÷?l8E^}QZ>=,~W0&%ok>x9?ļ7:ZOK Jz^um'Qv~~2/(`(vsW]; "LfxN~Uoc@_-tDZ灕WF[ܧ(W 6ԫim.lpzOxb igc ˔2oΒ$ɵBpiDQ\..0%OnrhX{M[k3?Ł'p{xG&!&(~ߘlS͂ާ>Oغ!qh}CW.⨧i;.Zbg}8@?AC2\]&,J:5/fɢ4iegy!=E_O.DUvyCj <pf1F|foֽ)8l9 ʩֳ>>z\٣rU]f{fej˒-nIq_o^<b\%I:.CxƊlM J?zfk6I8$!N1V_JZx'mC^oCv.iU`#QW{7܅u1LV7Yi% 5¶Kͤ5N{8+v~G=N E\?RՂ2ŌHu'3!K!RjmaUvٻ.iG :5؞H0]GKE` //dZ,[hZ$Z,Q/34xp|KcMtŪރUeUL?(&l*>s.sQ%\~ Nd `^˓qLU횷(7vr`[FUOVTbIklmf-4:SW@kNr`Z&u-A&Z̫4W$T'AamW(09Ҟ 2safU8QIwT?漤xrCvpv:`-OkTQ㇩aϴ 3 l': wɋb2p8U5M J$u" @vc։ ߂7umQ BJ M[\tL5!Y@~)t9uE )CSqm;>-t3G#hE] (\2kGo O\cY)QV<Ȣ]#p>A_wrAtFb~tߨKIgYZ~5RAcxs1Ϥژ"؅wy;wR2xQ07EPG麮hFt$ԑ 5AqfJcjT2r#^=HMxnR_4Xz[`IlKEqƒqרNğ%T~~U'3aJcm/Di 5 >QY#^tJ 2=lڈߜ 1d{:M%Xim5Glm.L,y#J4gC`Xu7&I.!-J3G)63u ҳe{NdAկm0[,{ k"t8F{0tM o׏HwGxq2]+[r^\aܒ`0-@+?S o(P]' ?w>D\@NqkL^sH*~wt% 3+U1l髧w]4ɬ`,0WkEl \VNVJSP!RY.0 g>3?C@{}aK&$,N#^^gI͍]{mY3a3y?5S1M1ӾfC>!򎚑,CF+Ϯ0)PwTy:/,¡iwbj BA8d U#@Nn!H,d";Rj+:nY;^lviHhh[a]9@ =M̒qQ(z[Fl|8{Pz~0{T'j ;]T*4h~]HUAY=ҖeBj3E ]rb5הɖCƊ_lpms^jFk1O!$H ϓ3*.AbEU4jّI}^$t< :kS4WEx MȞHF#-PZ; 'yh,et]2Sі=*Nz1Szj%sAߢ<0Τ{ lc\2Cx<= IMHJ>a^ohAؚM켾: YG)ļ2HO*ڙ SCUe?ˀn~t16O _Yͱed]$g"D:zɼ@#Sb 8bli|İ!Ld /+&⎷BWSbJb&/e 1s#BvhⅠ Lp.q_R8jWfimʺj\i Y4GJ礒CCt}n75ȿ 9̠))f"T_ rXX&;vwc^}jf1yaFjK Wq{k~#̟NbonT"QON{$Dv`BQ/ZbL;'sa(a~4,(xl:~_I0\ޙ1zӠeaL |BO~Yd.ŗC"iPIʐT{ F](K 'tiFKATy%kjX#wöimYzA<0@X=֠8b k9R]rebDJ3DL~q,p)d/-8GJ:_'QbȈqٟ(8U [٠A̘7ÆQdd]Qeи*6>B^~kTd'݁7teM#C4cUiHz4Yws$Zʪ4ٹ~OV,Ijb4fpTqXu"NhvLá8,y4yK ^uҸޭoNU%TO@bN[V4e+ך-D!lEXћ%VBg 3V QБIύhާD?w{0τCW#,aw[ RGFќoyE۩fq1Xqv@Ns/YUFhs7'6e)E .5OBqɵCqf< V:\/+k2Y@~P_N՗6L@Mʓgro5-VNkGK~7G` 9φז=l Za Hl* Y2(t[^u*OHt"2$|.Ҝ/FNZ/2bJgx: 'Uڱyv1C`v_ʞ# 3=O-qCR(noHjX /myw5^ԍ!i1}BVgIto XS%0\db^.Rmu|QD0Z)ZF_ϭ8D+.6߻th4rF8|t@Y^SU)* 9V,ͯƚC&r@rdm~AG>`g$b=(vVg`jNllpofq`JE*൜c ߀jkYBj Y8Ln𠵲 \I_@$6if- cTEY }Z&=gwLE{Rxwf8}p]#(I&bx}^D_<QΰʺM`ۅU/! %{ncT I<HͼF#Q]Ԩ˪.Ed QC`eDo\(綊fUo!;|`B8+iU+_pDoUcd+ߕ4,qdI럳=VK1 C YRS!Ab&<˚020H,D{281,6~^K.-P^+;7o)ܭݻJq̚ZiS R(n*A2 r53z&d&w?ۏoOӜ= F%D S ,QBLuA+w9]$ 6I@~EkWUCGBΧhC5-A%t4]!ZO<X:/XǼ 1|/9Qp݆]0JJBXNW93B;zR(<V_ssM^bw7h`(/Cr68au!jtFx%rbb$дaTwN]a(z-ח`7o9z{m빻w'=Ru8Kf InB[@h_D*']/Fڃ{Evq=5j"Ы*6yfC֒~?k [~[ v)[hERR5M Jm"Bф6N"EVѶXLN *.i|K/#찮g![6@ߘXH"k<80-!08+L䗌Qh,}1^-39I61ᩫ{5R C>S ҧH>rRߑG79d@ay0ݟ厺T1fBIE *S T4'ddZ7oSOSƆNn=`f1ϲK]8㗲Œ=WW|^lsx2NxK&B }o&Rlj%F+0Aw joJNB`v]ۢ{HH1|OyIpsusYU{} 3` >iy?yҲU;Rf025W #էM!R%/rhD œHOZ&|8zSc؏vQKTDl![U^h[މ Dl {[71hKB1'[)K 4]_;xoDO\:?E ϓUB " i6/>Vyɢ f[մdCszt†%ĥ_+ޱ#v$Ale#K=`t=d003Ʈ#D0x.ma6_w2ta>,GO1$["&^e j 5ڊlj3|1B@B˒)yYtjEgTPzю}aͺND5z!DFR|}{?W95YKR1ZãM]\n>cߕYWA]ۂ;I&͞)xOwx\? k`׌e[Y~ UѬ| u,X=}V7ayʦU=#KӨM4vZDqywwcԺRڗrW."q/bfPҁ/ D4>5]A]8k'! .3 |#h“,;tuGZy\v@3c>3[1'N=y".X fW/0{/Z* j[O,yxL 7l.>_^r·?)xѻ:k4rd̈́ SƋ-~IsʣP2:h7&0xOx=NG^(Qd.|RIP8s.xPDqD-=Ĕ߸\1`7a jD2"V/R\ g6IgJ Ε0#kk(kL=Dg;1 B р;~$x|7U9F ,>OU {žpt3Ms xOY]uPWa[k.I|p+ :p@EFAǟl+ k׻>\Y741%ŭ8Em^f*74u"Bw#o󼋲X$zfK%Nvw~J|%ڟ&Rrj{م<О[64L`*x+N ;'6_(re68gLPKE8HV\+M}FK0LAMX!'y%xAqT_XZ+'85i9]Z*/5%=)r&uY ?fG5Iܪa=6[Ik ^.tQj PE3<PpMX2aW}U,G2\-@XMBx$ paOM-&TwȰs;}E[/eӗhXUDL#ťod.M0~N_M[ 6t(`nh79i_<NlA?ZƛQL@'T9M=\ TzQ4_{C)(*i=SoƅD$YmSBhPxU+/o+ h;r '+,`۠`ZPT=ƞDA=l}6X]gdz]XhEKrr+\#E(}AO SFNg4ں|^FPPnu_ڗVN/%2e%-2ٚ_Kfo2hs)8S~2m ҉ yeW/[aRC kN64I`.aMÏK,hzDS 02lYq\ 3,Q)yK/Kz {|bub~C]…tKB6\#FJJliP09ЃJ[cPc{a vXGaLغİ*edX>:7XZΆӻ9LqG_vY蜘znx`^Y}Gm٨ ~i"/tv2XbWdR0?:xb̒GK4l[o)#zR΃1jU;+[U܋Eg'{]6.)uZww Pw|d6W_UaH;#ZsoPbшP9~tQxՖ9"M/IFڿ1pV(ձ2|(:є~P`~AVO^fU|38 vUm,p* -aX(Sw})Dtw,qN]|:ۍr}HNh\R*o)9)(I9P;i!IdzFx~ `# *-:ihgSulW~esW#ߝla7ʒF&#cҬݿŔ'g9Z{]wpI dm^UZPDj%V_41{f,ř O,7[} y 9BT_ƿVL:!j!'Huuql +f.IZQInyQP9'0ŷ\s-ok)4Y#fB "sR5sFBXtz>.Ɩu(:d,0rf}C{.Ӓ"B_u#껀#`<z9qƁ#2~(G=ҙy |w]\%0?2ZIM';[kr1%ME]Ef} D=$j!WVԏ..yO?9QBL,WB1O}Unt UdM4fD"CKD"H$OM4o#𩤈 DYWTpHQ:w9 <+jhaS15@sOUFj YƩM+rWԳSK8  g,2Y0K@->} Ɂ5c֓Wi_cB@!RBmѪ~^YcB f3q5| q)Z.w]3T[ o۠4H\p_3чݝGr^2=fx4o=uJ\ÃH4b7Oj/ V@vn&+8ajkxeu,L0q)M Yƹbflo;V#< FK Dy( K9};>[f~Y ʰ2']o16lu^|Iz9h#P81z@Ծ:_3R2.$ M'ErÖśuo\UGE|+ 36 R%8[R5Mՠ/^[gKFTu٫d"x #s,D(Կ3B3ֶJgq|qxIFu!K(F?VSl Tf8bjs܂Bؗ ](ZHOci>#p)uS57pP,5Rڏms_JCϵo~3=`_f lGxTSǷ> u6:2""=,sWBkWi<ޒ gXD8͈"ZGޛ)pVGeO{r>Slz#=_N+tֽK! xp3bB+  7J'c)ZF @CY"bGOL5zw&2]~)_a%%WHEo0(Ϸ$ᆟ| WqeZOFv 3@z4GGem>qpPft"ieG *ȳWo; sncmJnE2j%5)tlkoYQl!1@s}-'jd5 ^yKzrqdiCh׫*+:M$/D9$E9/W T9F;z*.8-7}&Th IaŦCM޾)+*AWiLݾL׶j!]zb[ֶ3jDXs*IO ^ CU`@jlUXxԫs+2KACWk̬XD/cwdKN&1o;_I1!Br`ds)[>p {bݦ3ɪ[jg|iHFwU1sKgosp2vI͘MohO/|o` LsdO嶊spB~ /r_<A>g]3[ f-EK_8(:Hٽ ք}YM%U<4<9 )1x4+:(`C]Ÿ5sMhAq9gwpC3 y|8+fK\C[˵:D@wfַPz U/]Ǥ~ 8L[Gа2+J T&2+L"sw@YjW59ag_{̀~oE⮈:Fq%MU_  `"W& $rd.ps†ihͱ3X{_E  =\ϓ"M.57mJ]Yu:Ȯ /,&atF!joeĦ啩,g?g At@uuh|.ݰ: ԋ\虬9q45c+ -=V`fNsRנ4Tz)0BH^,J]jZm-;[D6i1ᶼO( 0fZf9s-1a,l8DY~؄m3B/i+pR a.-JwpYloy*i9TV;K1YjD>7_Cc*"-ӊICC3CYI"Mr+umtT\L>0iFkwϵ,64CE Pk]H1õʭ#[_<׃ʚ<"B^4?{#pNNso9/tkvA5lC'z`gމKøaEEJQMގv̰Uv+H&)&? H$BH:䊑ϪP|J5s;_D5AE+=1HH1 N6Hd|3dqh@( Biݽ|I 8be!簕 I[F܋~<"582 *~|I2r@3ʙo6e63Zgo&i#~m۪{]Jl6l@]iP.}8< ,^k"M6.OxBJ"Alw  E:'!;kp5?F|O]ZWo`î 3` ]|jw !I|q<3o)>鱂[ǘU{(vUq2K",6x;ňM\uD Ht8W W&v En+aDy-9[oiKG~]J{GBqKa$*Lor ҭX /ruc{ђ'|kƚMsV X}F;Yo޸~x=bdy21`Y8~S}є-&p- (_N 3qЧm~@3=iQTFJOe毗A=GoFMCZ(k[kEܪ0QAV]n1~q$ r^E cЎEl\}v+po1)i|]S?pdqrvj/E9d|)D%9A5crB_.~R@FL.cqYgW3V8^+&cA8BBB♛NBW}j&ںugsW,`Ygskpl mwөZS< `X n- B mWJv\Yqn&ŭי͇G9$ZgI6q_A[L4@G-vc[i|l2~yB<O-ɉ-.|TC$i7_quPXC•zs'LGL9P=%Pۏ:еӧ, jh t3nHjk.iZA?Sj3c#iJ h!fdM 5&>AvRYoM/F*5I*̥3:xC~ؿ5U`.W |6_]cL%߭X BDy qcEL/WefS^xqaljA-e5o Z#\%Du _H[{-4oΗ};>X(ov ]'tz!߼v,m)颞+BhgfF% HAu#R,r /~eai^l[$A͔!%4fu,Iol3,&bX K@5amv\5; T-y)A[6Hu o ևdk^eYQҞ9ᔴu.lOB7'g'k¯<Ƽ'Mnz ]_w>×~{cPETm6D<8L ;cXoj:ƽ1(x#"uUZ<)-'J݋d[T>W9@2-֛~_ܒf8Te6!hC`#ءC*|g6߽ݜPGje(38kLl`K!5 , y$w{(dgGcQi6Yzؘ{/=Y>B3^~Trە7(s꼴}*iu48D XTH.38a=/a%WoB?# '8`A)y*-"ilwTw~3'Cfl"YCԮ+EͰVa#rt3&cv^eOlyW/pyv&[Zꠂ<"J 푙xlhƜr{\,9d؀C#cwMeϷކK4ћH_xA RlywV7%'8E)f z6q}{:1m"nzTu, @ Yz^n{T)DZrJײiU~ȓfY\wgj#^]Kt8'dݵZ1Mt֒a\ #? {J2)Rk-Q=o4v~ FcvEQgC kCH3$[p Yafv9nԔ9aGpZSR=1)spjv4\xc0NmMJ:&h~ysCt+'b+Bܵ]~9/6C=ux@ /ٟ*m*{ h>+kyTBVLlg ~5vcnx#gjkriwr%c!Q `iv~:3?hԭiWEl\}T?` )E>ibOPVйe)Q zwa_@evUaEQRD(+joc^{L3[%fK#'>Oor' V-*$HUO B $KIغtF@$ʬY @00~X:g"8u>]zs5fb ؛t!t b#9w`ocXKs"ܙ2. "gax^9`FΨD]T=ƌC׬q/-)kPռHELfo#Ew)9!Lġ {P>x4Xb[Ұ*q`;]y(et"s+~#afNePHDX&q%c%vQg5F +LZ)ABB6=(K [ێY1ʠAפ'!QVɚ=7˿yQGQ=ȴ &l%q#Dp(7ƫ.C6 sbC悅ށ`'sL44(bSjb5(},o@SA# "`x8 B/2⋺4;5emXȂ$ԙN\HtܴubRhdNăGnjĐ& ;n] =|ZNX*U<bߢ"FGae`WB;|d;rIJUCgpkZW|O1_9l#sp?ۑ&4˘$L;0gŦ1`>]P29^[Mz1lQ"sZwMZot5GG{JJ+G-FGrxV%>ZAZgkW>%=\fi I}ΌDynW9hh<=@6: =,w-D_ JBaWe}>AZ9v?c` "#t 2ߏuN!zǶt!#T`a8^Zc]o+e]kC|QRuQ|01Ts=˅f._6S4ԖqE?nrp~CztGczqy(|֜`*K0Sg:p%pGۗmVӹ0IsI(-,^_En< qD\g'lWmt*7^F}d&=x`{Pw._HԠ${q$DHuu$Wm϶91@S >}rۇ.+֐ɃRI[{~m% y+Uj? %57 J!5s%v5澣jF+ <<c{J2#8p?Iϭv%SN+3%{9Op]V}4(FdJ֥BQM./Xȶ@iCG]M~g}]D5ԱC6o~w9B<) ?`b/7~B ~-(`_rLY0pKEceɱ\_r|$&w3h_iTVs]ͷ/[p+PN W厚<,Zʱ9KCY1yF͸k}2/m _)$ij;.Dd& 1H^W6܅O\3Kϝ˙KTSH2 }w)cl|! HBḤsِ(6nUt]6*Enr"- @fPYH:i 7 s998BZ0:1_6>g*Y&<]eP't7T{8=C}$.;(d$'>@߁_92)G݈xhT؄N^J*4!'P|$726.Zڮߓ$I?4\1Gcۼ:;$A3[9e ;3p~ž7:T'e%.jnJe)W>e? I$qO%Bv,> `BşOcNOo8iSXW,0Z]2 AW(5-3bpn%3ٗ.{r0U,x֚tuώ;*DiWc@aiNK"G1JLDdJd&=Մa<V33ktgDe0 ::HRL7m @"wqRب,QPMXۘk2c:Lo+OGHG.LzcE@A\ncؒ dPиd]ɳŠyt`HɩdK)QP(c\HoㄆXRz6zM|f࿢I8c8Qllx!]u%bԕkeMWv o(!xib=efe8]]NpD`5pk{z2_(Ic@a+8'gGzk۪,c%҅caӦS4/J]RUExDvaЯ+{e*#X9z$hUb@jPn./{2 B!ʎ&fu}?ps͝_֨޼Gt'O{@ [i6Yo6x"*:E x Ģ(0Ё;qFuZx;QQeW.Vs|Šv7\v^b!50*Jlph)LKl;]Vjcב۱HgaI#pd9U䱞igX6adwfГ9NRKN¤B[RNґTN2NY0hd4ϒZL,bg[H&bQCB(-+?&Φ%52[,̭rRDEMz>1ղ]w65NlzN tl>'YD6E^t GGiY8즛HkW?u_@@.@O&WTF CȖ+gNo OKv)9=`CB.'3B/.ĖFbPa,Ge!7|mKI1ꭒ34lpy'!%ZqThUx:9\wWe}C˱v"JqXIwQ09wq8)ssRDEKfgj%[z6kTp#!OsKW_ #FnGluA?<l)k[Lhq`WƗ4j|PWwRh-jsU81DN9y$nb+s=yWuИI"vI`;^5t)"Q2 z/ ㄫv;ȯkw_vXʏjhZ%U ߞ+AٗNy+B} x՝7C8A K=o̸ЈTX][HBK6IF|F 뷯фW/@y~,\x?L:% ././8 5iyጀ;rZ:>uqq Dޥk4nб-?)lV6y9`uWHN>VOƠ-NKin\K{lkdkvPSe {MV9BڷЖ$&m4KmDkc? F5".!R\;\F8OsZq`7?wj>uy߫f̑,RdN3'OrUlzA.F5C5RF%ځ} eeا S|gkLi/>b'r#r6RX96"V{}S9C-3>1#МdOZn=o3dwA@~hTE>lxjl4N#u#20uN0~PeW,y[9T髖D5M;-!ڭڣ,®MAQtjtkɚª΅qЂ{;jD2+:*ڸFvU%[ hB%0ќ`d%y}▐ t Oppڸ/T[LIg[#M h󬮯ZB'I^V+t{賱K9#,| T_O?rҐ#>ϖ=jܞVW,F7JWlEw#N6VaД" k]"UAUfb2 ڇ9R/Mjs(85z^bC6QRqؓe g4K =畐KPҷaaUْ̱ڛW끭3u[2XP*ZVJ"22>#[wdO`0w+lᰑ p"$1 JJYb Yb s+7#xQ8'L郅9in+)~n{B Mbj.d {kBI ϩiwt,;WK}Q?҆^57UIIr_.fwt1YO4y(8#+yOfXMKL9ЖY`'\,7~c970XxJl+p:"%򦝎OLmV1Ӷ,TUCհ-j(6Ov3RnF\t)r߄{Fx{rITbChΰ $kqjCa_}JܕefMFV܂i)&M=L0VB5fKR#,7V>jٽYѝY"'RwY3$VGy[tΈmd@78*DžXHÃiwթ O^o፱@6dֻò،^?ʝ}23 !e|[ N .M 13zn6d@rs < JW!\cj^0s` 5Tq4ة܏/9n^lkmAQl]r~<i}A5n/? qnMf'2UG ǢJ;e)m w/¢ #\Һ1^ucȸ Nf4[H^<x4F[Ґ6aM_;?`+Çh )ꐮ"}2M[.w ALwN:=0L*YݤpW83", Zο\{1[I̛G?דSeXbupKBo!׮,G)n#dS|&j ޶'z:%S)RN"("[F44`K"4\ryPlǓgWXnN#VLrGxJ6Nۢ~Y# ۙ''v%l7WxZJH>Xt$—٤1v֡ZSdoUkT T3_B= Φ/¤չ:35`f%E-7B]C8 mnQKIJ-uǜq ,k?3҅ŃH9ǃ<2>TCZ#^;/Ϡ; i /(z/MF g*B'/?6=Cws=ՙ ܽL@rgaAQ9~U23Ռn' hRv\hÁTq;k-mWdC]X(gOvDoG7&]mT"^Ho}3m {k<z)+YS@MSp g`'ZcFm1ill4V^sEv9'&D"ʋfKk/L?cZ%YUCEBF}8׹+mc㨖m{ /+0#xֿ#ຼ@t;~?jʰ2#u$sL >O!rU `ӖVym PO8*U: {xzJ芎M (ƅoArF# t5BC- g( *3[-5/F`qiGjhq`.;:=5oceUkN\ 4C c!( O^  I5ZL !pL_q{5摧AVO6ء^F3,4+3aǝ 4zAtp?ʺVehw!23ݛ[O԰'מ! ;P߂Q~!Yg>$\j%S֥F {AMkߋwnP CNn clbZ&U * Sk3 断H!|I7 ;go}Tϝm5TEJ}JAg8Q>mq rG|?l] &|0(I|\"eԦXzOJ*6snnW;z*82G?Zo#]~k4f} IMеiiG A^{24%EdY.HZ}M`٬J0vȞ2 _Q[r Yd71ƊK5t۾Jo^\T.+[ uhޖayr"Ҩra "涜Wn ?1\E=N%΂~UE1%fB Eo{I<}Z<كHUt1{-;:*H}1#3cV ?HtT'3 XJoC[97%D\]?A_E _ݷ]%u_fok_ i:?g$rS#2_ z3AHAI xSƄ[[zl/s<5]˜rSV}v 5(%UY*s K9!?Tk!]SIq@TUrxm676rBÉV4 XGtw-ta5(;ґI 3<4W7QD|h@_HӰ<-,n xK#ɖ<<!'P7!!>6/ll(Um|zf|E-1ˋb9.p/Fh#2prN9Bq@_ w_U؆也(auW)H0%9V9/tG)i|TC(OImD>ꏋx0oo\7Z݀R12t4 }Tّf̗3ea-+wGRG&Sp WX60APL0p〰C1G >}ϼEZCaڔ*o@SB1ȐUڒ[`{Wʓ}W_Yl^L_NwÏ{Xɞ%1a*tdKtnJ5v/Qg_a9Tu5[WYœ(* 3/4ݢ H k YcuR?'b軔;~48#|wI$&yX ~ZV%@?o=% &Qˆh`ީ7AOG~&^62-N|m\(~kQXn;O F{aǯп~NUVk@^dфg/}ùhFud4~m󕫬P]dd>(0t_/Qa~l|wNG퉲IJů9U GYqN N s5f*jNN= m'Sv10J;wk T#x%ho1̀oep JՌZLJ!==_ QM U0]q4("M~%L8TGùJ&%-?@ߛ0*Plq&*>yEtewtŢ%'x?Y49 O#mR!?tUŶ d.ڔo@$VQ6VV@{ :b; ϓ4Ax#@KE";ZZրſd0tLEvKS4Y.=L&hvk-l:_=gª,~B;ImPXv#8ݶd?x05 KRHyZ B%UFA DZ9CFEr0 ;[. H;abRK|@lMү9򏭔♑Nzaa6@g~>Z˟Y~ yZDŽVҐZ[IXXp^~g)OٱX/C#_BQAot+7:X, bކyIG0JYsQ~onS*AyN :p1UB9W-t0!9+jB["SO"w=N3>07㰱"\ Σ8}d31:|I[,T 0}L-7$mLX vCEs$ F1)0{2q} --@0(]FK[)*zFAWX؋j #= _ծ=y  6 k|3,T?d*M-0u1 룬[X6ewK! J\V 18'tH .E˲%k!s0#(!N/A =v8K܏oWyiq~@ȒrjwSD'NB\ j帯)$@&ʧZʓ+{ V`yAi}8}&F"Ѓ.6k73ް$ $  H:Rxc2r+'PG).Y"7ꄽjLFɀV'p,6rZa.m o˟Y[WZ==N1rK^ NU hQtc=t=ԯNU1hAw.)/FLE7NeWSykF[?3HСû; 4SŮϿBbp tVf\!ֺ,fy8ks}Q.v,q-#rn#W9/:>YHl]Zz5wpcqm?ҚNS@f0F؈bJ[An¿!M[i T=7:wpA=+s!rjPD)sE (Cu!!~TozAqO $A܌Koͳի֎Fޘ4;q*xo UhW]2eOn@Txb3RrnDJJ٠A!I>,8 5 @ޒdb¶Cu>ځ&͢Ϫt"4f`,߰M6wC40ôr1y>=[OTԴguS9}R}d.LYQ 8$eEо<4S;:$y.[ İb~|Z&nNkKqnz9̈OdF|% zUd뤠OB^״4"FG{ʂubN^g\zP4zL6=zcZyw~IFwI b]&򊺻Ճ Շbˎ3ٯ_q/r[lu,O= ~ ݚ%0#J4L'JPW:.1 Ǵ+W\L7'<dyL^Q \  {i(Z{^DpTIPy>ҤucAzdb!|foat18k<kj\.&WAYV $z$P"H3">v#h&Ag>\5pV#O[UI7ujO2H(@lGb e)kxxC5+ )41uD-=νaB..+{X7).U$KuMf)?0MT8f[|nm"&&P]@fʊdpp? >tgj>2El:9v;(EZBDV<'S3q6G,`gU Od(qy 68p8 ]*eܦ+Kq־!aq?i~_ X_' iV躝.|i%v(1zj "4MW% j٣s_ѻH(%SyX|FS serfH!QRHXko͇8`AF8ثQvƭG'YF "桥R1R$O8l;g֣l$>1(_ݺ,⪽fZl~BCqy)ƻ9'D׺~3a*aÏK1/7Ow`L4+]d a,{|_r;WEԾP)giS[?#q:G*R~6ŝSNO_: Ə7Ul#gWy]O `5x{I:~]%6vcePHՏ$5E̿s[DsPe=tIˆ9=J"+LR7J<>o!^ʲ+TOM$Q8%Kk$ZhZ ) H5$؉iT߈C^̯?88AFwќr8V=0?,v*.Um|)2#މ\<|K|[P&tBYu1bn4>`G&}R^~Yj/dЗALk'tIzw\tSCoc!^g2TPF?L>_>LY&@Jԑ({!Rt-UKdYu4_@LM,'*Qr qћA [˪䈎i?e7'M~4ؐQy3e` {g/;>{3AMhk\DmfTZt%F;F6&R<[?uxf{>>n^:8L nCr# lØ3jGW_M\]ύLNV"/br\Gq8Y4*6ިI!s;Y;=2HW[eM0{=c'5g8Sp&Hn;%;]X^Cd.H53[DJnW4gODY#)^$ǧlAaRwfQ(-N`)Ps&o6A+"ւH` i/ͯ"lj6[L*qӻn/uKMA$ TTnz$^yw\`T6F`$jRw`U h;9S>@fPnKrpwJ#,g* O!#`MŜ-{_J 2qA G!={/-tqES~#R- t# $\9N6g 3Xt'ri<E^H&@¯ Eo\I6~W}x"֮־t\qgYXkUz75|&X;lި9f 9qczT>Lڐ. x<(~fXFC))͚;b=YlT=> Z4 ;47w(@Y}.lXP$&֙!O[$/b6WiݾϣIJsIdpT]du,Yiֆd#%Jm \ػc4DÔv^O0]=:*}h?0eh"(wIb bZj;'BB ^ x/U\?S$e ech n2ow=LCMGWhD3CIi"hb 4.r,@B:;fReD.w8M/z >8uKZj4e&Q3_ץfdJ} 'e E(/WTEo|h K_0~?bC쁭a'OL>d= IDs0}U;nQħ<9.>vԨ+HAŊI$}XcIC+\Pp[ˁK^!|@_A% XbpYB/ꬑbxtEVcפN (h.5TZf!_$ͤ_`4 (<5ic*xL6ַ2ĉe!t88&-unSI\%8IÛQ w.AGLTZ#\PY!Bg]TC>VI{'oGuT^&}Vjl6K)8Bk6OѤ 5%PFA&z-m5@uܻ +z6 >@\ZTqpt^8P' 8!uٰlBROmƉ+-fbL%MRUu@50SGzwƼ[t T6fJ XH ߶ FօAESdCEՈTvfUj}ÐF{|@sr! z":*{G:+Hv\Bb#7Qw\ !lk:aFv;VB?q2߻Μ6K= 1 {$blblەL!Z1bʑ+ʰm/ANIuwdr' T\]c9|ey] hWڬ*stY}uVGMdR'VP ̂n d@,#19Qy|wt uNRHEv/F*E|nd \dMD-̑҃ZgIh`}(  X<dGf-Y~Ӥe4~Y)8 /$ŴץlJqWU+C,AUL!ފZ?oS`Kb"9b~ ӇJ L N:Uuː?"T2# a[3S)2T)ERAUBSmfdtK;`-01pƧ ͙З@yYC[Z96]Ld쇂 Ew{NDF4 q9|'#31\j^XS*N?H?vo 6$UvAC-jdͪn9V!e& ֪O'S8C&z@A=2\]uZz\)g~'yVh r.rF[Pʇg_۰{ )jE;/5gVYr)d*?ߋ_{^Cơw]C ʄ<4,F$2};|K_n*Inb$^]0a!80,\&]E wvtx ðtcҿy1YlhgՕ#m.&!qpXsͩ7AS(۔#"-ǑOq75*om\NاUl"65j] 7Uu9dvfc֏X#4JA phD~Fœ$W{5KSJ뚬ʋ?3@ ydns M FGodKفW-l=S1NuK"JS !ܱDO$+OQ=>Fx:K4D>ԽE>}! ,.bq5=b`(G}$OD_e$/iaGZ!]弗/(pf E;p\lS&%"'>V7KǀZiGavic,2џe-P<`Yv\Q1nq޷&fkק.u++\>I[ˌ bI_@>"#m<( Fǖ\4@RP0en') t>kO`4O.ȖZ06N]Gk_{S. Du9^ǩ?@Ϸs,)v SfuL7ڿvɽt^Cжl0p ?AsɒKƓ?%C 4 =1; a#ݐ9ZroΘթ@I 6x(ҝ]׺ ~\ kЮk&5PS%%a:~(Wup^l#P*9UkU2,ڮq}p!\AW pk$5X/Z7Wr2mh(CHH#m>`k*lZibŲoE\NE gw\46UN"Y{lj-Wz0ɿs,V>hV:)pK(™k_Ia2Ul6C w|5|s+ݛSEmdV1ۺP-dk ~lǃXJ"sg>nTUK&1j| 룓%NuI$7?˅ d GU2NSnlgGDLk-=KK~*s /!HU&<.V܀qZ?JDG98J;4ׂ0cxBϖTǓLL'ԁIP/&֮=ԿDsM.Ei%$@)f 15.}+!ZK =xcgVӉe^I*tl"y4]EQ J}AS3o~vGc<_F!E@P6aP wsV\/ H۸ݹzs[H5ڶ!\Ld; %tm F{"As"P f [iU6R?Tɋ:tU8Ta7-ps6mB=8["aDOuz2TkYuJf+Gܜr8*dN[(6d>U[*)Wzm]?g2{w+[_ s(+4lF D?#+@o.3 J?MAqe\U,iKV9 Sz8gfph6?$4@}N8}B^[%S0!3+=ٲyܴ5_` -'~T^-hN_:l4.,x -#,GdJ wߓYkr_7!bHpJؐn3"1"rLԔ&(I *GNYd4ʮWښC跭gIñ2("F}kh Uy!\IljUy[4z.Wrj@-A %viQv-L[W O= zv cΗ{?ȖdA)،R- qLqAԨ1;WڶADy fUS!x.u/G0]ovl+)gc9X`xDm4\"0a2w0':T'@ɗaɧ֔B A Eql_=]* tV [8 enH\\x]k^>T55˵PHxύ`è2^ˎyxGY9WO"wn S敮}0BP9vzEY!`ď`@|aX+I!qUc+)4%pXf#m[|f?޵'F 7|KqՒ7W̢ UެWlE$-o&\͍0y};b߸{3G,l(4?gmȠ23 /"HP<?MnL.Ou΢@;c2G;owOn-qlHڞ^D˥}a"قKZ~;t1_xhYřS)WХ</=%tJ#`g7[Yw.  b.=E}P4Q8wH[c3bgI7J C6T_tC nDgYZ7a33968fb77970061640d29a8eaf92b9d37e85d20a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e c03a92cfd6ca9fb21663f478e2c8000b52f59ca0 2696452cada01f925f9cb503351bdeb28a5a4bab bfbba397157b0c9b3808b6640efe6e3682dcc7b5