SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 331v$,T ]/ HOL-Hoare_Parallel:threads=6elapsed=64.016cpu=337.432gc=6.7327zXZִF! 8[]ŗXiɟDYK<;jFc?I*~[ʩw=q. ay@R=[=^zZ.jMqkO.S\c/vimx>j,kKYY;QD,@Rz^q&"M%R`xr@q3nl*&_-Č7pc NYrbvȑpцc@zhF b\.bJHݷq{Y^2?%Vܯղ0c.6wOWED>*{J}aAu/\]w>ya#♠z[>x6gq߃P7Ht)<%W9l׈UMv(PH2z@(x:~) .JO]8;͢d{^dc_k ;C566t[we(1QYΧ!** 2v4ɲF؍dw_e|={~c?× IǕ\)#F_E'Y IEg$`~ G&Ѿ'C $2ҴcgmX!$wL sdP* }GR3M$@̛2oTAw~(JNkK /)G`"OTBռ~1gqm  ̝%LE*'YcHSN^q\6M' 9QBKu(tHRVctvAW~9g*+&e("7M#w\QL ˆj{sѻYA@%#H+j6e% &i]ةƬ?79d/:`3H8Z\3WHY;TI3+"w8Wc@s|uJWQmLDuZq+:wv<'!|1~.=k8L܊>ojaҫ,5%5j)]`x LQ쐗 Ac_2n3_,3li >j~ }s!I_հ^($v+DZ|}^XD(8P`fRxq[IUo/OIRm[.lxpšu ̋q(a0m~>mkxs\Vh$ sR?:E"/*xaeû|!>ҫQBز]/꺏v 9seGDlyҿY =}K]â 2Iۯ?uШ1& l5he,ur[ k4u{2ju~t:ƘWǨ1 l>lG(9"jSC4JY (y fdO<1`u֪-ង8Itmy{@PC@ͯ >xQem)wV&?W-` 8el u$7Θ~DYʙozŻ+RDቿje驪En̨ uP"e0ߧ M*9>| E.ZGIG 1 HOL-Hoare_Parallel  Zp7V&pSHTc.-P uS1 |50T?}?85IIDG۩.ܪ &-[HDiEWooB+&>=3ZtLQrBqJ&QϕC7|gar 5o瓖O9$zai7N?l+6{ $9짙/wk{m~2^ x.%}U+]lc!P!{l_vsP=ǻjOzWp^/i}$j9|7l‘2kiYOSpDz9GV!M'1[o"Y2C5wp?PN|oހ 9p05l@U c)K$Y?-r}߫ciM5zħsvZC@WS[KGVNgV#LO)a'ԛ hgMy+t.YE.,:vc5D^@%Ο))W8߇OdX5_vJz&כ=+6dvs!E#g>Y޺Sh vًBۧ#tUW> t'Mʷlщnnk|)W x_mA&"&!?G!ujތj^ѩp96BP;Ym7 ~\ak3cn}@/BBPn٠ÕZW?2~%FW0ȢjdshU[CKlE{x($CP]%ޕY_6՝k ~?#c_\;aHmV}_n0v~6(pAxz΂ir qC4\0JKb5GTWڴɮ ,JejS@@Q@[ !A( =7 ko|ҷąeYq$"q qP;t\/Mbwᔸ p7;(RLm}w*#Ȫ! ?4` .a^ 1^%S-G mycLB<90ֽRpx` rCF3iYww&yuyZX WdI_ٹDLS` O1g؞Y9[TѸd^H7hY0=%L3Mt19Ωr5g4~Av1ĬFJϟKj[PCYsC 擼ix$HmW&m\p5u;'[?$p#35uRV"]}xeR1y8xBFAСSKoxc$jd7Vqe۳;s_c3 ͞7R`00vD .l[ewLId^$B; A-2ofeyvJйV]#+[%عo _S\2yy ' D"޷ ‘!)LUB:BY̓XF @/*ԊSmg|2ɝJ鈆dKcn|],U>2F~(=kٳ!Y> '[Xߏ˯Apcv q2[ӥr# pk_`_GDT3; ئ_oH gPBxwS"`?>!u>젠S7XI{JƐ2Zʖ!'\cLܕ⡑"& Nٓ]nyO#P/NOGسj*Q3 7/+w#H%ЪM;8NU?,r Ⱥ]C-^BU:s=HH<ޗhz@;QpаƌFh Sg6J/T7uxaId{`:σn\nL %`9#8'K>Nįo"oz] [݂pD5$T45њAJj@tO{xx@'b!uiervM{ !P0l|3kB;w+ oȩG/ڑX ~xlyS~pO9*2.J ܆vev؈f.vI(sF;։,#kڣµTۏǓ}u/D1 p/ptFrUPnk[̓#ю${}]@F(H60Mya "[8؝2}/gL`Wl:`3/Rkұ{Y"uc#$]V c`Φ5sPc5L_KxV`Օ QN*xa,疬A]2x>e}ZkqzB{K}0Ǟ˾ rpHΈas e9ljzsI:ȲdOBXuY$C2q Qz~Hn }dwyӟ_b m{VeUe:]oUrVkZI_ ES6b \p$i\@_ʨx4Ye6a4tBaSQuZ^ v)alNŒˉ>=f 1 $=SI/OwE xOf2\".ž%Ie0QG:XmKZ~SJ#NH0#g[fQz$n,;sk(5&^O~|u8p Lmְl'=DzivWK`jFxCeģ0 8ѫ)~7CjƟN 5$.@] b^Jˤ.uW,o"<䉠s7mG*gI_` Ϫ$ֱ1ppYbke1q92&n.&Ah-s]RTۮp6qӖz&my4s)yҿySGW,T\ྟnƐ|(UfkU[o`Lx"j, b^eQ*lG%,Vd2~p:qޅ`gLm|rŁJ_!Ev}}TG6k[a\*! QKL<ݓvG4R؝H೙%w?x~:_۱g,rYe5wlX >vض&ެZFg|e}`tr'=}Qj*Q [vTyhQRwi.>99C|m;{ƹ2Fyo;onIl~Q@'(b)kHJw3v-]_~Jd0?RI6zQNϏe[*%/ ȼ*3yOad o+yA xzrOu }cs<(u }kyQְP.ut*CVTǷ)dV hpAZYuN6c' UtБ+}T)-B{O.bQ+Q!yIgũb tޣp:>^X`9m^ǩD7Y-U%CObjʑ~*L  HNsbD}YfĀJe V}DrTV_RG$p0&`O N[ ³,Q,B<ԄlC/&KT)2xJj Ye@o|7t= Ş 8$' Sq#Uta| :_U&/ɀu' \8.\$< {s2eFU3j+jD$f~n)S9-X8JfֿGS 0۰3c/qu~! j&ԻoTL%z\,cdA|-zk+0wȘ]Eql:UіLeu"SK 4[)ȶ1I}L -ɏ05b<7b th_`"s_F0ASA w :K"%Q~I)G\8B|vp[ۥx{aun$ڂytȥ*p܃FSjo0 8:(3q-o% SQ̴sU]ziCCᐽD88k7 QfKG~_DN )Y7;@LL@i4y.z  mej ע!DFDԝsCl`;>ux4^6(?ڋr6BJҀaB4DcGX<;k&y#Q[S -eсbP<)3 ,\]b_*Gm)*QvߎVj񗃮78&.ȇ5ݏq>U4 s5$~tz|R'q0V`&d\ْu~#MsAs/[Zʬ]:rUap`sq:jzmtPwIqڸhl ,*o!ǁeo 'Ex@Gߓ s霽S+o5F`_wnf͒Vad?|?ⱘ5˱/MRrX$曆s=D9%6k#RO&04l Tn_(]-S KSBs>t~'^I1[Mb_:t4D`⾮BbvK*-fjt/{D4lX'&E IAoj4ޕE0-# JJQ%9f}8mAl@"&{> wӃys 7=N,c;KU9HR_~ [ "b#`Ev8_F3/ RϮ"~(WYoyxFQOcx4CR1҂1K@z\qZ6=)~6\Ck%;]-A VN I!}&%k~. +9w`ǯ$m eg`pа*핬%Q%}|j0n_5 %g$W}"GNFVR,Ҕhڟ~zЊl:81]- :{/NlwX4#l9i Gp"jsԿ /SRmWrZo؎~} ^Ê&o}^Oj$H85"i!)OG5F fSΣH%-廛5@o4%cG46[d\^CEkirRoxl>IF-Q$_{*PwVty)3W#\)@\,tɈ|P̓~YUFyޱ /~@^TEߵm6jfԞiU<Sgabv?ߊAޤt!qPU8ܫMVCw9i0-78__̐Q{vY.3; 2%Oaf_;3:#ޅh,tdܣ;\ᑮA=#?%X}QMce~sGK:_A'^S~2V EYQւqGp\2-΅q`.̽߇3#q~%-Bb+jU*U~0 X^kW;E)6t3ǯ E7Qx(;?t^yx-%.#DgiEW }qK=߳Oĩk⺷Q\xܕ!(Kȩv~^8EA'(l|dtOX̂ܥ@H[7r{wuhVI=hMĀu/ ӸR6hXSo/3;֖'{Uݺvv/Y$ L0I,DH>.6yEnيҳsP_8[jx59 zx5yPm5*J.D!nPɷc0!Ŷ-! uxe[Ķō P}yBlE |fjt;xx)϶sEoSa!nV8fnU7ݟ6fncZa8/ 6Ԧ)RSִݶdv,dSfoŨ˜4+ قwU/BWȞf:0QNF$ǖnYR] 󺐪  f ooY<Or)0e{*iAtW]7PGa]ĽwDVEXgtͻh!1eAX}:]p6#W~M/=nP=Nc"*Ƨiܧ$y+{F<"98<b)w;^Q^tEdUqt7RuE;¥oߟ]nCAbQnlsfˇV^+aZѺwy, 9=/DXoYUi"t1U$e–P v-*=Od dJ?y3ҭ[:d[wTYʺ uWz\`tFAg\X#SxˤB4g\x,MV+z0 o<|A )#f 6F9Oŕ=𫟚XZ)H} D): ~,'ӳ(Ok(+xvUR"GW$s'%I1vUM: ^7NM7:9!l4NY+73M/S3g>%l/b~'LcgJJY0;m;Ш<E]tPwT<cܫNka1< cgeH>^R^)^a u9v*;ڲSLw}a,c)C * uH#ׄ@A`n3(8fƖBޥj.)٣p˟ /o]=C!Xz~Y8(+> ]cEM4g9H$r.=/CSHs^ 7~g`| afyШ"CCN.r?J_å0?}6ѬeЕ0|>I5"urA7_b+;њ6չ: Pa$.~@ Hi#i 8W.J7`~/z'|M>Ob܅=A:Xi0`tUH6l2:N7!85h3JY&|塊V,b!`N+0OV aOzN05ozoG\Lp0xεs{eͼua^^ssa}-n7N`1^qڷ}"HG&G>Gq)#tr(r#݈nDI{TND՟G~)PHY-nB\Qweԓ,9&5^ ]>4b\i)ƞeyp^{.cXpE5_=#,PRhoұi@ERpLzP DsQQlnZRD@pv%DHg_A2^Y QL#UAïJRJe9ן+EձZű5h 7gĠH MQY#x.Qj A4y Z̾?/=u+1guPJ~,ܫsdDeӧ2zZU#>NH޾!+&A[6ͳ{wԪ#rS7to9ߵ"ξ=N~:ERtؑ3w[ޟ . +5wkX]́Pʜ<q t' WNrQU0ykSǖ x)FDTQէ7O\nZG-5'wyYUc#[zw&2O]t$EVb;K~C'UeQ5_1[s|{Ovu:2>㽹?]^$gUuݚfbZ>Ytm$ڛx҂Cgiw@ ymi~`|~=|H`VS &N)9Va8cNy29T2œ|;B.z\wwzcVz%ׄH $ R<2BQO @.()$V|% b2~"q*XW90U74+#kb,8kַW4*l ѸhhS@ţoz7yhEi;^H*Y˷tgv BnőZZ@k/ \ |Zp5lOpY$#놡˗ECR:pch-(s\l$.qd}6M”|ExMju˸7}&9jF Qm>y}(-k{q [ア+Sk:9[qS,Ssߨ~ǔPtϧsZ?1F+$I6!ۿ8 ~#߳A^J p,BcU~3F f8.י5-- ܶ3F`Dl<>Vun/d g ¬Mp-%;b1ԾJXQz 1=yH`I:oz#I+)5w",}5 |%n #^%m°:漗yf$ι$u eaZxCu*mUp&J˻@=ic;Mled.Hao \CTz ~쎂_|ΚQx#)v YZW.ѶM~VpUɢIGv,bw1g  FB/$gٟpcb#y%9rs\2"|@ާ9T^}9',YQ}afLQ&DɅ$(IF'2A u:'"<|,d10F) `WI<$VQYwae('H_1JH7"B]n5HU ; 5?])y*J4ԯ bKeO'Gz ;r#T _DՋT̀JpC-Ll(,M h`bk1 4q,\9dF~}֩>qzK+Z!VD4w_F<T AG`%8*7X/`q&zSe,X>muU] >/I s \&i`kʻ -{‚QhR-jwW{2GOXls{OȟiqGj­o|$n*C ]vYF%áKsDL8%b~8҇$a|"wFnK@0ߩ ÂpL5n\3o^nL|L5N7+RqI:NکlVl#:̆ހ) ?-ݯxtp֗^6Q>_1U Ct[Wf߷kɡjK8C8˺&2y Gwm#B\X_{B ˠWL3jU]kYFũgPEo!;L0+Npc"_ ~rzFb_bvُ Jǐ/+u$;cw>WˉvէՇHVY #Dt0ҜD6':Hz2p2PҖ`WȯR&|zvVO Ǣ*hJ$M9K5gʳb CR vPGP__;`n (q%-.: DP+.Ŋ,"=HMUVQl"NW?4Ui eVРX@* \ߑHHOI]IfFuRg=U$wA'b=voainMzIvÛ/9;-J%ԗ@| d)gxCrŝlT׌b3riO0${H-M`K Tm.y LjO oHvU|`m2.Ip)Boa xy<C7/싲}x)OPM;z+`#`}opi\4$b#Z_?€M?BO,@pWc^ r2aN`}ȠCnknDx"؇ӿZ1~..S/>AhT#h v OI}.GN2h@yza޸gZ,{IټcRIE;xge=uR9܍Y#tnTE*XLsa,GUR`?`'5![tΔqptW6;CFE ބ!z'”qJja Dj\C[ |ӺFz)~;u\Kbq0g5!?F-Jd욾zܙ>kÿ[trGЊ&9aXG|}D쐍ю.>R\!/v*޸〾\Z څqe)}G w#mC&nBVj&?*6~]p'| =OdyHQLS_>+ ̘LǯnzK+ST# ƀ43qVFe4e"9x1;%qǠvQɫsRS3S;b =vI?>nnh(S镰%"zU-O"[I6odؠ`ֳԲ> (B O) Fr/3`l/(gnM`WT 1q'O'dC lCZNnBUXOqSFq>EQ8h[ /c|+S+^5Cxdlϙ8~X~0(mZ(%c}O]>l_YYRBk<78Qs4uZ[|יԽ XZCxҿdPUWO<D$na1-9t+75W=.b `@l2X^ecm%Gr?;Ű#k%֥@K`+y\]{ cw]g=ʟ5ŝPP|p*Ky*||r2H;N6őP@|1>Uo\b<㛆9 'b]/ _`zt;r{ s05p~q1a)eVy iG. IVK]~ٗCvXfWe}8ydVFۢC'ۋD V?evV'_ݿ>:hO?$؍Tlٍ%O{54!BdiRޓg@k8 fu.y$J8?:{7mMMm$>s?>LͮI-:YORC<̼M|ۍ.e*䀳܀S FrntǺ%%L .~kRU+1R*8ai;%Ya (cL'FXRRU=H ʚ-EeU".'턐F@iǏa> ƣ#6 pf\=s*1 ̫<*mG]ʪh)<\O-1 nح8grkp`:^CŌJE@~mOq8j-9P`¿g2$ds0a) ,2<*7SomI+[mb V9( /_l2^rly,w∱PƊ;) ZǞ(`* 4tz۞pFXftTgek&u8;1v0]u2cL`pQy |sa3F9( *P>hsV}f ?1=G,ZIҡw6,IsujV`c`2 Je˖v7}dtэG"t Rr"8UTiRJ5"uΆv!~v[$^Wk4 ]A $Vrku Ae z)]A1EnP-ᕫĘ]c,;\ҟFgɌyh ݬf 癴?lh.\1g,?~{fluryde2 隸[oY50_֯lj!qNk/Cy`bula I9EH#Yࡅ[Ca/-En;s݄U}@E,,x$oLՉEî݇"8N1q⧶CgwXkQQLX<~&'G+(Ny!4og;N|cp0dmLUA [ԩ>- `2,Y"v]^NH6ӻ4|[+&~ZH- 4c%a+IM2tۆF5b6&hKArxޢ?}!BaO\ǎǶmfJaq2x%7+ /> F 3TB.. ga^݄2'-|\n [|YL->f!S3]Ǯrg`|Π bWQfL-Ux̺>#{2406{Ad]SDw*tD g$?#$J#Y0?Ni]VԼI9(PR {KOy~W!5pvXmϼXZ&tYj ]S 20cxpl;8=kb{I}O 2Qo.yJgV\#;{+ͿὯ6*-'+,)".'D"of}/~Ǎ6sTK;dz*k:Z*?/JQ%5Ua;{/Y#HV9Ȳ&睮~XMPkW@zi8SK֡NU?|M04Ǚ=@QPp,gg{=$Ŷ#"o  }Ύ[w V;N@aஐBV>n3Pg=>gW3ᯞ.@ m '*wTެZQ9k&5 p^t:T{@s.`jEݨzG3֘ r JP'j6lzp7M>^TC8>PwD:+ÖxX%ZY !2Ⱦ$yR>K0%ӝo3Ѱa=2Ե(w~ ko j=(4z&}Ysj{x뇬e 'Zk`u|aÙpxlZTw'^;A\DrL~ϗRm,y_dBZ]I_?5YM7)eG qpϐf_g&B ČsK* $FB'wc[G/(7u IQ6_^t$Qu QH]Se'~-D^bD+ګ.~;sB0-'#SBvplRYT#@d,M-t;n%zX0M>ĵo2K^ě+Cy,/4vַQOrkJ?;ο3qLen q ӓ2DyfX>?WK9?:7M\r0 1/MFrg?sJY"w᲍KU%% 8.r@ĬܞOgHRoр>pW?i~8pNVc3 6g ;4&܄_5(X!^LitNц(WqS+F]0[n)L\XֳHy:2ݫ_b$iFNqJq63+ax 6I+6&ԓn}ih2JNwYO;pA`6Z`uwkաP8"mkԚiS{W5a%g(@eh2״p):2y_Sՠ#f8պB!6 R qc톆 qݾBƂɀNR\LEb126lFy%hFa]6^v_O:jh+-3ǸsE}@*C$ ,ذ+ V O}RJNS6(kmsՂ'b[zI;ds,ԭ}W^hc*>ӃoE$o5b ΠÝkΡ9ߝ}V'Io>QUЋ,:"DbqN\D{B5_D5 $=G`GV.|/wΈԗ1%' ]+vM@ I<&y=FFg f9ml*,jiIV聢\tD;@4qcpR1Q5ٕ,"?!p^ ؟.rI7ek{UFMߦC%Nȏi|sO|cTQ.=?U9R-' k7g i~D!0aŚ #HEMNQU6Hz '|D8CPv:<6`7OfOEGqׯ >QH} _5v ~RWibv})@gNƈi1q-ՃJR-ZԡN;W}a*t4#nҏܽIDDդfE_Z Ex6_6Yf:%4YO9=1D,w&=>_8DC'ZԀ52_N0T$)w/'v׺9 t#׾\tGؘC~.\N1KCXIOinH`-} " 2>!ay6$Q(K 2|0̘yCTvJyi:=Sʺr]Vh[~ ox H ;*G]"ls.3)Cj'xsYxdZGrɩ] So !#f)pho3 F-l(IvdY^?Ǫ=WbgX7?0mQʚPVTU5 _@So4ɎDkW0DLC:P1t{ɴ)Z+Go=q9'CAfJ..qpxC3 .u4ȋ@+絯Ba@K>xa$Y2@O"  Eh TȢҌ RwWRQrf[ μؽ:1=HO[gDz&\})a/ 76aѶ߷jXSKWmFR;Q.wM;8U*AM{  )*M`1Ou~0{ٝ%.{G#m{ՊAm:U_ tkRvHa*I.2tZ{ N*^(n(ݫDr\69zvn$IMH%ﱕ"Ϊ2;U"Ҫgs/ x>2351?Fy$TR5~3P쟧?C06՜-b8vچΗwl5b`{: _@'AF?.HY3G|%Zn0p4|,"/aYn>wu6jҦTL9"f~&|g9;Xa*1ms"*-j׊)ŬV(9wK&hBb؏Ks}9|p篆Dp-ǫP̦eG 0X3MQt]4Aj#I{ϴߟ,Y`"Vh(FۂȪztK r!e\=[W+d Zg&!ҳPFPmmsWYt^fI`ei&w!Ju pV "aOby(z8?`%a42-ǧ·vֶi^{Zqg1HgTmv~G)|\L1'ٝwHBCbqxFʔck>9q-kb]8ؓ⧶,=*~P;MP T޺hEsHc}$7ds:4s%`mK.7KoT:FRanM`rƜpgƺxJxB-Â6GScpQI(!aXoZQEku1]4^ #V`Ī0PJ56]7He'/mG#:<3)?]Z.>*8"B)Cjvuw<>@)vcMkCUh)''to5.38nDX}G{?Ynd>LJغZ*_C?7Whʓ+xR*2~4[_/,` 1-Pmȯ`Y};?m`[Z&}L< 6ؘƌ"S‹3{G).{xUy|Kt:Iy@ !ǤwF2~j׈ B5lij2 %z7NDq['Tߵ3&1:揵 ь9#%0C{7RoŖ׵k6@eco yNV݊)MRipk~SX{-#5JL{c.a5b|=^d!{qbgG`mI㬤QTcpe%S&uMdKe=R1'<;Lp饓ճDK/ h =Z!kv  akA,DS\7n1qϿ5^[&J#-ʷ|{ܹ!Y!ϵ);oҭKU ;_\@hPTG~0R̬NW,/7MZ{48xh3>{\Ital4vO+" `=OLPBWKx1$ vGrorڈp iLoGYša_8bI}~̮D)Q;tko}ncWR$X?r WQ.gfGR>3X'0 'thd&'w? %&ǝr:Oij+W]JQ8̎BW7maaJD6'3s MB,i6biTyB!1,~;.Z0h l1k'&p52wȯ-?`%@^ ņLw[1*<`+ S'Gœy)w@L23e|G'FtL# cW9:=a@((Lhd9Z>:,ǸZcr)AT!+iU#RO\Xg _Z}I8`zfdLos[ v,@Iod9[wxbr@&IhߖRBw JGmqB1?4EǐMo;Q h_Dk\k W$MGid>’}$;Y2۷?LaguEZ"+_g;͟?X~(ZYAP$Jwrͤ*OqM%3s^l1:bMFCQ h1{qdVN3&QF\y:[K/orF#ҽf'5(H}uy)< ,i5vǒ2Y~)qhqO {ww9 ?".EVMzzl\̓ϣ(U8k lb :䆘:7C3P2%CJr0-X8h3Q ̛OaD6YCUZ? @/H{QTmHdĺo{ ٙY̑[q ]2Ѡ$ u@3͋z-3υyN첮PR p[fQeX"NGFb%LMZbiI/!+#F~9|Xt}N{ >%\ѐetqAݽ@WD;mـ!t-G<ij2UE"XInF$n]ezNKך$s)X(6y_ >{e(7`AfVqgR]v*L8}5VbBr0lѮ+}()z<͌Q"QSep3uaVH(a}t0JaEs3&XE@&YZ@6b}Mx zOxWJIѪPw) Z\z$uІa{&7ܛE;c𞩎$^:nn"i֝;{I*o,]"}7RXj5'(V ;Nz7ш-^Ӳc7ϻׁδW# bXͫB`Xgsׅ٩Uw R= ߀/n4ҦW8{ƚpEU@yȃcV}kcͮsʭR":6ZBë=)1>i]RLޤIŅSD[Sf"`"&} ~&z,jD+>*A<%̞ n; R"UyNRm"QmPp i>zhC(?6}iWؽ£Nu0g&`ђvDU9q[iYe:/\`_#3va0L=cU؆1XCӚ*"-9S a)%DP((p-+xl}nD;\;UT3R$EVR=Ѻ/-&6Jc7~|5P.4Ǜ x +Niuh,e?пR@ymWk5G9}?Ya6A|WmI'Z5בy5(-Ԃ4L*U픠/Tguԋa߱X ~ lxat;雒n`H5!,zMHJ>sY&f)w>>(<q0EӚ6`gbEdO큃܎߃n2@xl xݶrC[k)vh"aEO+b!_,aydG2xNt.`?.Gn5jLLP"~q &s)pa^D\R|\Gۖ TjC}渀nLCJax:Z_ݕ9T"X(vzpv yNQ9 + hPGWOpa82pПיWki:p 滽6I|A/Ǜz/&!5$Sfp ꛶2'"w- Ÿ6r% `G:eNhLZH7ƚl ӯ+W}O]:L:]Zu&L=":S *pzz[YX_ "&4ɐDmU3=m9XGg#F[0U^*;pEо =M38YoB7zj֣H'y]m" )l.KL%T*>q,aD-M S+7UՎdzւZb}2H|!Qv%w%H'Fo}RPxK _@889F@254QJՖ-C3iH7;P7Cc^b`ժ rCR< $7G5^>S(?V{`LsQæsGh G`xn&㑲]75Bsy@#F*^V b}?13rA5r'F+0,ЃJu  <3$a}U?Msn4I?0/H4ɧ( g]K.O*)a9o=\%~'Pcjn|D%=mE "b|5A(&.|=]|+AK~qGQ.k*4Zuu v gr]ESfn9ցi6S3|1e~y!-ו)TzͫTw[v,ou @zTp>̚e2:MbjF"uF)垹\V 9K0L1^eңQ>}_ڂՌRD lta≿j@/٬s( QYng W%r{eo|];&B>ߑ@`R1ΈRZPE-H4p a K)m"'E:FDd9 < *Č&pRAJ*7a Lt -(P ȕ`8'p!}O8bs}i ÉxՍ:Kz3i Ke[B Y}wJm!1 r;9I.>]l.;n*B΍6lOAk\yu= O^`d᳭;v;j]{#[ 7MLls|!6RPGHJ\*t_W>l!Mqn-H¬*Vap|Yj.'}rKsK4LCT uV {1R1:${Yq Uٚ4(PeDGM /y3gVIi k XL,Fwq^ZN G&@U7c+M *OC8J؎FXRӓe-bJgkkJM<pP^Ze8&Jǝ9)9 4QnW* ]ow.1.}ϲ3SM*tUcYqjZ!})\cSF2Y[6n5bK2ԳXkRp'ynHFJhp!| G'klGvHbO(6L^@"Ý`hViMzA)T izT/*bGOKHKvZ lȻ+F.Z򖳽{ލw%*\1ɅL m1 nW rbёjZڵγN4TZ[ҩNakum 'h% v sFSݕ._nɛ)QסDpo nu pDsK=l9;hڣyrU\Y-;ఝ9< W!N,=5lq(RfốIM#ЌZ'[eR8)#wCd8tbgbC -H8LazqZY{QX羻fɡ}r3$0U)0v x4:.]DRmTaJ_J{͑: fN7vsʐ9کa6|(ɠVΐRƓ츧؏QMTKUbKX$ NVx[$Ug4"й{*°_/V=U<lY,׶']BT[Nl~ƉhzG4p#kQ0cANlݰ7[R u̜xgޱGǰ3抶[Fͮ/K-LfaH+0ϛRu+do;a0ܫ/]Hgk!7MBb3jX;m%'5ঘA}` r\XV1j6ԚؽHRN,5scXf,=$ކYaL=ShLYp,wgzXV.ثqt.nn `KO9h!&Տ 6wU,+S"ls[PP ij&僲d?v'pã,`Hky|sw7q' 2μ#0c@dgը^_|'R%zQaۄi @T@̸TϜ`'#:rTcw~)[do4.,uy"Þk@oٳZ38dZNØnQCмu!moj?VKlV^9cMkZ%yA!᎔yU}üG{pUǬxV"̲Lm7e6ȟ ն@M, f*!>7tz5 <~Ѥ_@DKA9A3O`nrJMrV owI;dokLLZR|׿<7~hҔqxI/LCdaU,h grq:4:UFOM'Ҿǧwrgc$s!t)TiJL%-{MA; i̓ Lx/6 ^1:P*,jFMZ0,rTSְK]fS\eq":Uܢ$~L %4&8](}G?- 4^0A"2Ud`=ٰ@ L@|rbS y&[7 ZR~k39>h -%v'@ \#Era8 k5I@l չ[aPW=6ݪG}D |V2-_UH;3ymIhVr0YD'x}c񃩅vA\-T҄Ex}Sx+ 8\drdXxCC#EX-]EⷰGKhDT{yߌP6ʫGzqVL%-ЬEuxK c+`85^@k ^ӰiMZ ЮOd%p`z)bpbb_’/#:Bh@xuqY]G6=2H [7'Bn4:`*]l{++2?Hx~ (),1+ӂ6%Q SRT)yGhqѺ 9`-)?,y#B6xHlcrک0(>3rdIs,tG S >`DT$+d:$?WOqS=9^y@vR)E+ V>[bsO%ኊ Z阈^4)q։k/OBAG8—L)ZI\ l\k(~)S7S cR~a+VcDJm4zOr[>1yCtF0 a8ݪSGyL}J^)ɑЙFu/GiDuІu.\KRA'tTԟ@lYFlo6K߄oY5Rx5"8.h63-k'9.X6$}o:ĸDwth`r qCua֞5b]&.|=$,KvQ*.]*:'uEu$ uL'}1mv 9G]afS&F u7l 97H=Bh̬9mlmhŷE$s yT8 =~t.ь( IGJjd]Sc>bm+EBP7n-?Cg*yy7"^>*bWR'ӵ!c(_FN]5 ZXY_WƵ3g3EAlZ>Yis56nZIǾo ΂؉/gyA|Ұ/a`%C"͢0TJWb*~#S%h9 Di/U  N+nHB^zIOFVMUѪ0%2#N!HeG4C Yؾ\o\ M=d#=Ɯ˿a5eok޷_a=n?6fR\:~ucem|Z&LeJ׶27>9Y:C/mI+k42 NnLpcovȊPrYymoZIfUxvp3@w_R7>&%FmYbF1ئKJJoc{Q>0쯕 Y_wBS=5rOkHo11Q**YeXGzX[pfKԣN>᭨i.Mݹ SWA,{M\0Bۏ!а\-\VLZ'cU^i21.FT-Ħy3ҰU,ɵJ{c.K 8z[OPGKmk]~=2y-'OX`t[o"*)!q5 Ɉd]yAob&ʰdfƏ)M - [_*pTҿcIĈ,iB^Ί)p$keH6УlJC[g8 @jB#nH 7hDfvʦi -L>`9UhG#N@ҏF=uL9EA1QŪ}/?K U4z]o7yN"NAĂR,k+"65|%)V '6a(~ Cqz1?MC ۠2Zon)ˢ6;M)7ND)}Ah$P_VenW[ksӑY"$*`; lMwuґی,X,vy.W8L[dB:r[G#]4YUφ{U$/Xc@d¹N$T\c0tls,":J0BAkw ctʪKN܁̍3΋ƛºsS~v1_+91}~9}l֎7ql +فVmP g\NwмR" 9M 1]~^YsXcZ/u4@߅H=Nu70$ TCљ6Kn^z:UtC{=o]Ї,Zw=(]H4l?! ^MA%? k@ 8 NֿqY:wI|,@}~~szkьvңőuguqnn5Rlе{: )ʩA ۊi$_IBr6h MhV/Nd3gTnd˳pR 6bcNA( UWldZFGD_[zy^=Kʶ"j=FF\qu[I~>pgL@90D[?ԅo3]C$A/PH5i0wu{b1FOĿ#{7HhЧ_igsL8/)|$4Ҷ,^]N_ғTf݂ǴB|ϯ+Ý UPO'-< [BV>NWkLYLHv[ n 8ᙡo={j 6q4τ7uhgYr㐻FLPJ3fI>u%V~7PzeF9vJMfkyxxxpU~aT]v'(Mc4}"R'ݪ|(0nԧ N&YO=[g:ZX|!ob| 1˘s&MaXpCEyDEt[>lEGɤ9kOA3}ڳ Tw&gg !4猠SkXYJNWdݱ3ϣF'&Ω w(*?J-3k__*äKGa JӞF҂ k v_/OG}[E5nр* 1+qk!KY/Q4# l@ '0 pڋ۔cs܍1%t< 88|-Z-s Ѽ;+QO;OP{WS\R C>qNa /"QؒJy/Aw]:ӥ;h`⏹6vrm {;>rߨ4Ī \FqB*SĘpC ,L3h[LI,An&"5ܤʍ*eѻtH1@02JGk#R6.Xu/%UST1r1ױ%TGD$5gBퟜ+-a n5Os~yؿHW XZW\5FZ>8u٦89b"Oнl6'nV#hvz;er/ tTjڒv]k2 wvʧ$0CM=a)bܼ %Ω>=KۍKOD+D/l[Kz^%#E쮩#>$+Mo=?RSYi&=(vʭ`UCrӟP53rj5_Tr&БP'U,%̲!:ӈynO.Xu/nP*+)춑 Wv%Tҕ'F,9 x)pLdtGu)NDhAݍqЄnJƿ +Dyz/CT(w ޺Lf`Ȏ\ Tc >o%yhV?sLՂ"\[lUHy`ڇɓA4% 4e`WS cDG&ɛKf nLNf=&5R##>rMQ ll ?<$Ħ!p9>vwo'2/UB{L:d/,zUѰ.1OR `c!D"Xj(RCo6ʼnTf&LJ&dAA@ mr\4nFM(tfm~q47P%fJO'攵KD5;A9Ӓl`4^/Qϼw5h!@)]w=8 A߽25*)NC6!3 VCcc37I].OR0JKb_U0Ъ|!qW4+ݷeYSOnxrs+GٯX\C2w}f*D: Tf1+vH ,\! 8nb0Ħ!%su*t=RLI⵽q@,ñA]7G%޳I[ϙ2}l%,su~Q q.0O?0dW޺ߒEIPkwNbR܁Ep\PFfƧo($VW.a} {|Ǻ"Er~>\4-yWs6۔YBQXe*74f}1A|gj}>^ v7Fe:CP!#ʸr^pf |78pu I3Bxԋ0K)rł:qqD^;^Y>FiWf33& Sy^?CF@ +AsKv+ oYrfcי)AD:`@Qr_ F-za!XlH+=p'] b `̑̀zH2i[;ɰc~C@2D/sT΢ϫ-@ED'"L6 =㪨NTEoRoDdo'LU s(;ְv[>YFm4Hץzd"- e;F΀Nҹ&#>Oyx kA/F8c_2h<ĝbLhWB$e( [$עG)_,q$Kk?uMٔv/Q@'Nc2H@Q1jtJؘ,/XGR:A/ؠ G @3lT;v;HZ Mm@텆z܎Skc94&rדrvOG%=]rH4b_W6i ZuLV‘ 6 ,yl\oό؏o5+Dm_I[{`17V~ní I 8:@̄$~9 Oo {lu\[jޥ I>[*Q!@2QMU k\*Y8CgGvyt ô9?\[F1h?*bW\̢(KgnRpZexktvpDjk1Zs%H|Ї0g I ;ADur` sB]N; C [XMI@xK`noE"ϧm?f/=1y`NRx&$PucoZƧ5/]ڒQ01}+³SZ* ^>|aS$Ϲ\.ܹz3R3(ljQ‰  Z_%A醠C^Su xW-aPRgjk4 n$Q6?F>`8 Q G.;\LiDKW[#4T;ѱ5^ZZH z6 Ԕ`QYtfetQ>=&+Z(9885zIeuΒ"pʿCwLj}O /c R捸 cXZ+,gЪ !`t.*u?K{>xZ?Gc(I2iR9(S-A\jh]i(gũZtDP0> nbo7}(v}at(^o~\6oT[8hdޖ$/3DPf]aAboæ͢bQ(tn@HG@yet ,4dEЫd\KU A6O@4X٠,iY#Vu(fk_bff0`]&Zf>5y;7|T:fCl@ÇΥ6݌LbC xG/}Z!"Y#vfYd.[6A/V q',7-gk+UH%0?OcA5 s+Y}X3TcoVw2N{seBZlogFQxqdD<@epIׁo'^(5x7@ZLDN }֏wq٭TI-F 9d/8}.O"D^Sבh)Uc扭<>e:y`8!Ik V\hR+,eIWyQ>x(9CD8#?, _`@aZ)?^[~u0\]Y:ʀUkV,CahV}m'O|wnY@s2:QvYBnC.|>$V|ﭫߠt@uO|p* TuX11fhR\tE&j痟&m޷'L{#%o6 dj:΀xa~0L.Q{>kD倝 fp/I)єua75IݰIpB2aL]L72(.[y/(BʙdR;Ee;JT%[YtN3#bUR)>ǴR-ֶ;RhI݅ڦH$z {uElIC̟`m{/,渾|<پpҋ^ 6<n\Gaͅs;X:F'.0z‡t%U3kŝG'H8: lM>)>oM2*CWxL׃ZʔתRt  $`*IN)a?c"Ʉx+uX#A;^N N!haޯ,f!ީ4g'g4ߩ[Jg J'LGP}@v\C;:\y-#M!TŔFu0ps@sTg'e3!2u:!f ͷ3Ok.=DEETp8&z[كUu!}*&ni"ԌHfQZĤmXqA8{gvkWo-5 hB N2΢9۠dUY)l% / չI @!<(Ihz gC}6O/_O|$ p 3Y"!.^xA@ M!$؆qmQ&Vj-$7uvgĥm舧@4YcI?SYk 3SQHHcJnSz${OܥG:p-0rk65'+_rbгRh:^S/0=/òLCTI騞ꆠA-R $UzvL'?]NݸV=Lb5܏ Yt*"u0䚸bg.K|5íޢpfAkm{x5#Wnɘ݈hN! vԕFͬ$PPň # ~}I8:p)T[* U$UM2vb" 7V"wp1ܺԅwE6xLEB=krX~&G'Y%ChI? XMUa]^@6RJ*yMG,/iWA uӋ3:Zrp:f"nt!ܢlf?Y>IwDyYpi{o0S>j`*t2XiPt 2 /[gҵN~V*ڗ)i"{{IĻhᐽw*ڇ3K5W:ɍl#mg9 "E@KRh30*LD)۰ӣa_lj<6 n۶qMގ!Q5bzcNX44+ tQwYwtG{YmصܗLm?2Ul:-r'ʌ>$b|E,t6$@Ǯ0-n]o2tj6\'gR>|{p? wMd1,}5&zQ A=Cw%;a ^a2/CJY 706`PbX>!!9?dIh:/Ш~,]_٢g˫ܡ28>ІxJ|o={ 'ÿsSDXdlU'QjuJ1:|l>ꌬJ}0YIagj={g%e\ c.(ڟE5ٰ%,Ac0cnoʴ:>Q!6`:H4/sU?E5_Њڂ;^Ai&Cqp}>X3l!=o@סV8_h'cdL %xRΪOP+B;MC\̻l>YeϘmo> H2fa-`[#- ٰRIޜNӇ 1i K>tX$m23TO4q\1/ןr3]\?R /VQ'qlt۷T}][jcXay9$.bqi&#Pp$cRa"*P@z߷,]Ƽ;|N>%+oZؑrQ܂A 暳g=BGd B/|C$ G/7Nvtfsu954ޯM1v6 PcH:iuJ@Aa ~fP^zPrlOpH_˔#XRr`Bk 1V]6F^P-6|LXXeS)G9tE'.7=ήdF-%N.|3kuD3%NNƘmU~K& E^, Ow2cXgh5 o65B99PeW5cQZ誚bB !Rbߔ>!턞jDf6g~ngR[jַl"s0KAML9 F.>oh4Ƴǁ$@_B5w7`'J^?6"ΐRƃ!jEz8RZ.În 4۷5#g vH9B [s굩g\ʼnl¡n4£eqP&qw:8ʗSVHn0RxQn>IC|&f[vuzW$?<ڀ{-lcoNۜNpݤDMYcV-yMIC'K!3}ܨNmh*Խ·Y?tqMw je|Z_ 䱗|^F 76&jJWmSP j3 ZZ.yzm_1jk#M~ksB@^Klˏ?WaWqĺ,.2otjť} J#gYZ7zXZִF! ']ŗXi%L&M(!4sticKGj/ SSM{e)`D*%DI5StkUIن pޤ6QN) 6BW*JI @(9:m>hS7`LrI*.2Mc~dRea˿Vnw]d a o3U j%YJ2b,71 lQNr(L~IEuLGGScIH@lj9]&Cir;Z"}@YM99;Zaܑ]2jܸު-uﮕD؆ͷw`\r|\}B3*ePtq^N NJ<- {JAe {;de'gj$8OUL`ޮkvpb\x)92k$A݇O+a4^#&Rcwk_ȠPīZܼ>K$#dgdbݓUIߒ, :R/D8 +%k$Z]Mt9u&v;xvmso>FR3T7S\BaIU-Trswgp^}֓J'Cnn'4D9(O!{/ >iG@CIvÊ!VYFK"A~>e֬BhLc[Zuv-iCYY܅)G<=CnerM^Մ^6h Nx:nUz7 b8Wv4:n9nQ4b&a"Q!!)rby {DHSA="0!A< Js}M&_bl.Hr*b@+ L|BP4.؆qXF*F솎RλG(,ȕ׷W=7Wij jH\?cќo _P`!^m Pog&5Ny𐆳- l\/xZ@'3JQۚd%?q| q-$P QdbKS}rs,yC;sĖ YzdidA\c(EW5d(f:[ Z!`ra2Nz1 >~~.-; 1G (&Am&Zs̑ޘ K\π!~4uv*戍1a#C؋_IAƁP lX#Vrg`ơ:~2YssUaX PRbWGbL+멗cnc㺮Ԏ?]vW>Z4&5g`2%Ys]FXR ^wY4(XO5gѨR6|➓K=|@9oi9ts`_,W,@>cu $2%=V;{iRp®8MdyG}\^;ˀZőRq FҦK4=Qjux/BnOy -Y:Ijit@ѩU i,tnsj*Y\}NYPRhEη{vRAr|7pV8`)T|F]؃VA*êVO _/'-w% KYE{j<|A^3 v=K1)OLӐ:]BLفgU$7`]3h7 AI^hTοa"pǧ~\+BEo'kw/afk陲F`5y$pCBqG0$3.Ei˿=PEJY#6հh ']vg9!?JOk@FyW^AK&29dL̘fݖWҊx@z ڪf!}-\c}hC·,o%J8KHm /hZ4*-iL n0C,E?ՈȆk^3/ΊvٮW\4BA|zu0pD~0{{iB[ 6KAu\,cxm;]|dƮ%c jS燪! EVƢ3;h1N$9LPF!]KvrB_&p*Xu}vkZ_I[FG~,$i쟞2*lԈ :5O,uJa!le9R >=:|s| GSYC*'=~˵$ڶ̪}:$1+5Yl7t Xee=3G21 hU1G8.ȘC!001nedi$QS…A| ) [{R7V3Ч<i[,𧓛3`[w[AZ/{CeCի8|D0, 1(? AO6>$}{aWp(EqMn].`-_w *?@Svi4Xģ|I# C:01ETN4wynzcgBmAO#>/XO,meiC3ѯ `SWz!NT?R4V^0GT5rXlk%4Х-M킈=g_8:rrA Le[uaBQgcݱ]b51FҞ_ AKmGͺq$"zo%u?]32wљ̶3D)'tsF+uL$\ VݝgntJLAٲbXIφx( SU[40왮&⸅lDhvv3OӘ!YKɹa*^A`=!E4 Iio϶߾(Ds&Cj$UesjH0 &9.gS { g7Ù ͤx38N5كixe~bv (1j"zNf ^wroꦯfvH4BޜCS)a030DD.iy彯 ,))MqO2IPllLpCxv%?T\-bI,E ڣ]Rl\U]4jLp?'fOB7*ӆIɫ T$‘X*Y߉Dɚ LmimN\b-3Tx̟KĸIH["MovA4LGҧ퉦x Rp2W|l;/,ڴdIJ5PZeo5cqm% ْS OYfi;PifNźu'ZT:ziAI{\3ѣ(shƣN^rhp=D7˙rGE/4lk4}_T"'@F,SϘ)1a;10ݬ ,(Iz+^ b^aKn0%;L38˨Ȼ A]I +/ss%(RPʠx?h绖%8qp ]]q=o~b{| |b } @3٣b1O Շ_prقG1lanS]{CD6k(]"R`.눕UbyD ^)ڋ~ p-$OR.lE-=aT_ Yʞ90aG{gp).Umy^ֿwѳ}jRv3N<#9SzD`T#7#2DaX_!>m .wOsB CrO\t0le| E$*=ۄXY<8q'(1~gY5ʼ0 ɿ {OŤo33,gv_Hœ}g9Km yCW>$(MF[C[U߸7vיm@"Wmʐ^|–r}ȿ wۖ˝#`bCml'Xÿ"K2rECȈS@ yyvAf&Hh*KOc'z=XߟY_Ga$堞'uQ8Q Me)h=diͫH,;~Wr"!:vq-kiΣ^tXđ;&_ l.?-2U6Ր->yE PC)_'XBq׉g#ȒZsP ~~xfkNK9Ux+qxC+%{LaWbnTE2͸5Yڨqa7C̝:O5c+hMso+s2xނTd(ފc$ak9lnE.D _SHRTlaR ϻToC(; ̰+JJ-7[ GˮIpv?\Lh=狓$nPf)7:0CpxȆPw#WC ZbXQxFEU8֫K"#;s9Aˬb kݢg{J޳WÍ[f9hi|GۣĮ,tiCrQ s 2z[5Z, =,mWE\c958C{2]K=VDkFEy `m^'1<9\I~r򎶶 bK)NX!ᄡ`؃N8&=[1=mjAIb0DCNyyiOáޡe}:o~;(t˅ V'WKr]ĝF05-.WcgYZ0e41e18e0f856edc86e8e4593fbcf765d1c984fe35a6500ee753652c800a7917e32731ca9b81ba08 09b9a8ab7b35d71c17424618f69192731fdaeeca