SQLite format 3@  .0:  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 )41\MWCEz;!-DNƐ]{,<υ7(GN 3)$Zw"e0e-Y 92CyMUCCUN㝂&VJTkd-}WYYǮ&yKe\JcuPߗ##wmMr{B4ƃ?RPWǹRtŔ8{dkb cM71R Գe}.n̑}F* 8 ǯžhv#wrg)(񳵾 ?e*ac +3!]:_?w8lPگ5i#Be57hIp(-UGyJJî}D/Ȱ6>xqa9!Sͯ͒/F'Iڭ|"!d;tDP#T t#02#7E3S h+_k 9^gF6Rb:}qG0,ed\%|6YG>Jm3ADרT'1;#ᩧH@,"8!J SAMj]ry_2Qq[6垔 б KPyhv"&@Dٜrp39FzQ E~򦗧6q%6ljzKEQ`^W,x7[tld Nf*!]GZUQ鐸7c[!`ewיBox`bh &=>bP8ghI[~oѿU ~G[sZoTソϹ#Oۺ\:fjbhTd-Nti)]Q8N8L/$FnƱbRHRM4`ک4'(wI!}Ama6u"9%Mmd1kC o|.r mW[BBjL1V@ΝX֜—&ݶQUwւ6 pۦ u_!VDqn@z-oV-$,Nb@ިsyg_OZ֖>SQP:n;ğ\p{6&%!e&OZFf!l C+8a|Պ1RPFl,Îs75wGڒ &WC0aBoN)#!Pi7!Dey.xo7K 3Z8 DVx&(l0wn(l|}guvYobnp-h,x&|>cU<.7sC&9vVzEʞ}1`Кy4bHBE euD0,x&5!WDQxDT䬲YkuשjxMID|z=~Tt܊wW^ATҷ~x)} gy|qKo:3+H\oz7`U;u~a1m 'Y?bd zq)IMFp 7qQX e7N@zkg6r,Ҽ"f3)jO`#VSkejKG!a3*#!Y7I0W A_Gj~ᡅ;;5`XHDOz @;QW/g709@ٹ;e;ﻁ; ûiA }Z?IcV/Tti"'l /scxMietjGz')ŪALgU?TdHy njK=*t8 $<5n9&Q辛dY9|k$R0{v[.z6qLsaA# tY6oN/kY_!;%2')cTaʠv\W {W(%ܧ?&c6-cSG H!6KfkypRgh d3sr&)3{7vt1VK.;v۲Ϻ6J>}7n`GfE癥 _xj"D 7F|C?t,1PD)[el:'yA 2o)tz ^~p"1,OGX EZ0/Jo*(5ש7lgߝ7κE+W|zNb-- *9zklHxA?HDRjF g8e ~2XXL"̋I꣎qŊ@\s<)*비Q?sT湤7`]Ḻ5Obei`1MbܿA fVƧ˾iaJk[=u/zN/j,5,}$dIezUUq=ٕ0f07QUp+e00ٶm釐#f)γ+i?(1徏+˾x,*$bt7XqAfGBG=GW_~UeNs><@]ZŎ,]KU[~bԆڋCh}]2w{ݲOB|iҨC@j_wZ&/^?s8clzgZݿ5>za{֬ t -:N>a*#ٗ}OT21pZqd~مh5eqS,خ6ZT.<;`Fu[ WwTkLPʁ$ :S^:ĈEɀjCJi[xGF)/iަY6pI1$$'@N 734<s/^FXk$%TSmhσ‚f0޸@aa8Iܨ nqi4BPLc֐D7:ȾʋVfL8%6 X};2_mFuPvۋ-@:෭'UNʢgՙVG:V4%Rgw>NҘh}1nԩĸ6}<hY&A *QX7T&JQ[ g(l;1®G^eWgX^Bf=iN0̈́~X;dlߙO-CӿH1:Ť~_GoHwg"dPLAύ4jvܽ0rAkz)'j„-4o% ȕ}#^H)!R>Z9JOݤN$PYZ5X~\0H̯EBښYl"~2pcFNp-+~Fu,EПRwfCQuBnjJ<9vA"fg]Q&b)[r~u_zrz-%:>zΑN1淀mYWo l~q3T٫Ezqd -[P?MwJtw y.H\^ƣ`MyF\ k'NtW뮯V+z̜-0$2(/GP OxNΝxz6l/HͿt2]GVlę ~,\qV33=Xڰ>81u^JKnNhJ E;;N aCcV~d.A=jU>T1ŧ63Ʉ߽Օ [l6YTpȪ>\+bDt6Bu`7) ֒/G/ j0F?DO~p_b햀Wp fs`[i[NTjqɫ!?Dwޫ-)W2u} h%懌%MB{?,d"XVr!U!bW`x:w1.o29ğlO Pqɏ/mHsV2!L1ʇߪ:`Aփj/ OF"95Og0"TvA⋭2Sr`[]Q暀loY>+ ?_!8sԄz `|¯ z PG~t-~4UӼ@ͽ0%)(AJNu24Uϒt?"o#MU^W{~IZ<#{,L4vUAJ,v>'@\u XXtA# L? L byY),<쒆bp!6WpĦJ5i&Y (S3?{@thb] ~LF#zFE= "\NO[~d#-CNG.?,ARi3Eޜ쪙G "qelLcR@t75G6|+M7($q Ӥ&! L H{ՓyG`1}JyAԡsjŽr%/v$e\|C@&ey2QH -Sn6%(f1J`/^'zy܇VSQYY`1[3Cy "g_ ZEy E r ,I<&Mm`'Բwc*Qi7mw-x4 ⼠ʣ*9&V+|:]GLg )alԹ-]8FLݺ˥y#~o<>C]wAvJdf6\IE.ʘ;FP*Au7ڌ n\W()5эBD Uy!Xt2u^Aᅲ܍+{ckRoB& ei A 2;O q2J , Wb'5MNPh=cC`t(g.Y9{]359ob :_+ x?c99.VOV `~^v|LgyyL@YARiW}l >PMZ')xGk2&&{ fyrg>-`8NX@#e2MBc+3(d#`Km[뗪H\^k l{,{f:܅D]lG}Y/R\kE8&zy9Ey+Ijt+N2]k>;.P;3Xw'IL *B}:w'A?gYH֝}%SJC⹁p=E=ҭm.rŠYwiU~[뼉PPJU~Jca>V )` jEk =vL #zۚ L?7޿݅"&lI L8R= 6cH-A}\ȃQ"ڐ@.R9`~^ZepMֽYDaag#!A!1v1SiWjsj{sVa{f1@5mKmZGR_?_=nCߪsUx^ΚYˢ#Y'NsiD|߯Bw"T(#)Re|C*CW]c|ۂZV+ dvṔ Ei%ŋ&r&/ir֛@. \rɢE;~4ȹLA8];ϠD1V (mD+e aX.5I ?mL9~8ʓ?kY9;'HZ-6rLL[1v`b+X%~aגAzS<OtW "d<S5^Uj T;qp33|B(mo穾c2b@l&8Wt51uZU&:`j sC!pph/7(ۂz?X]/[bܨ^Ҁu GĠeV_IʹԷpИ,6b IN6m19d'/  Jؘi95ޫ}V5{JOO _)ud#Fγ I]kσAehYmcu%ۗ 93 c}Xp>j\S}VfoW (*|W÷ _)I+g:c^)wcɚf3w;&(ʵ<둅ş)}Q%fRکỉrl52@bJWj*`apI1Wwʏ]k3 Ҭ|qbnVtֈFQwU^3"?9sT!'[*dEr߼W: -R{u)h,vkCFSp8Qb.Aeh9BMLM "(DREެ?ZgYZ7zXZִF! ]ŗXiɟט+-ǺژO OaFhU+F3؞/6$_×D P(*Z6KJ,7 :)q9V` 94/|-yLK e! "݉G^FxU XDli.).nz@0 *uUyfq[ɎtcU\ Z>EH=- 9nph NHBwT,Cl/}|;'9Be]RչAgGRCYWJ,4,wwa:Oi I>R|(Ml-W1juq-LpFؽ=) R (]UFW P60v%M|@nKo/[gVf*?zc#g/d:n!@'/*-2,/qo!X郈γYK]kǁ&GGbw w#p6;cn-:Qҩ̛per3"/CCZO{⍞*|ꅚ2!_(}@LǝHh?-'ǐdKXӠN@El׀[֭l+xI{ 2; `4_v-)fvy%YmOio)UiQR@bYD(8WlB'/ Sx"}&U^S;bYE)h o>e#XC٤6 xߒ) 8sb47Jtξf|3xK7:T Oj`Pr[jO`atPrֱآ94H? ]~@YC'}=] /U.z`ZY3(JvWM:R0άyВ0-󂨮Ld` I[>|*?>;^(kǕ&M\zC}}#Oa#x9G,xq}6G@=U-6JM(˿`Mdc)tY .?^|Ga 58=mgYZ7zXZִF! U]ŗXi%Bfu,DNn0QKRHG]uTAL'2-;Tfuф ~·#ӚFr;mB `-V0>;}|%IɛO}0yZכ?j#c#qD|Y~働"zi"ԩVbh_Sd80̹VE<9YnٟDf- лd$S tV Meڊ?-\B< 0v@|ygl|.^ ؼed¸vy&Ux3u/^&ʄlb% J _%?L@A$ rq@!@a0 l~aྒ@}|fiJgHg Ǹ]a9 EWCGdznf GAGhH9h15uj10Oq$52,9{ݱj&t\RNsb#mz.Zw[1?j.T:[|%jE`nhgcGyb 4'Nכ_÷6>ztz pv5wDs;_>l_SI .YI}t+&@{E35o`jdrkA7UqibKN>zGMvI#Yin :JfRHjRA  NV73~& Ec0S]yx4UwB?tf`8korP"%|*ua+b\N\'_d`~f߮ 8Zl#Em 3f|$Kcئ36^^QٿӐJ[G̻x7%Yˊmxl"}M,z YGЩ,e: oüyrl1ySfpCRMuZ}2x][𠱴_h'\;3?͟>7X*M$R csH`su '=X7FMa{ųAβ J.~  C3b2i(/&]r'./ Q;6&hL&']#5%k`!f;8ݨ9* z/hR@k2yۀ덄II~?E˱4pm1 a+r[fgIb'# qg[h9Kͨ:\ uhC2=DCz3RvpN*l&HBgrD0稼gl\@l>9~aN*]Z80pR:VkUĵ5kHhI bЀn6 lz$bW n]s旕 hDazЙ)nOu2F*NW7YKwaVC5P,-)':F.Yj5~g/ )UH]8mcQ^Sׯq-c>c939G BYqCJj?dĿ*_zJ  s,zF<1i?NHƎf2.y$7ɷ!M3_Uq V^lC]B°].:zs:+k)Cw<˩q@B'5܏68,Cqtޟ>/R\jlyiXm&Ugb10A? h1`vWʊfSR%jdn2q$Tmbg\XL Gɜ Xe%Cylk[-?`I[C30YXwg1m845ZN;N8$t$c(Ȑ9):}n P̄!%/+VZ?Lua0JdJIQ, 7 ;+IY-_|F_bk S@ilg*L(oylQ/k9: hR$M'H0Ky+]#]\0eH'Hj߸ \OU76L|ܽ=<_+%uJY0!V<7ۿ';=: AEuLԘ{:&V-am[gk$9U>~3ENB/m\WD.%XDf7EwubyYedF2Gl˭U0e-d~bPQgǛrA3GXEתWu1h-WDwJbj 2ґUd^AZ<5ɱ|FZ:|^2OL,#f澺:wzhQ dkp L6˂ݝ"nR5&:[aF'@G=^z(~s:@9N^RM[⠤ gy$uXU Y=}*ʅjS=D[#g\&!PRebVo՞bqm/[}ŜuHh}s|Lv,IEIY]EB$0K7 !#`QX l) nd E@y_>2C(ԥ=~]=XvFaO0]uK1Ktȫ5dflo֥}=/Vˣ$})%*Y bbLw}-|V?(6UD*ϴn,8gAyɩ##/55̕y gژ?NYWyn8{fE6YLHW#H@ }P@-hr>()ɮ(b?T4˨]XȭVmT0/Um!ɜ@XM;TEx1C*;Gֆ2T'2CyiY 24Q f~4>t+Q'e5_2e$Eװd3gm s>@Z&Np yV~SB7HpZGO bTIb[` l aj}<}2G/_fOJlfmΤ" >Λ$= oz E'r ?`:HY{e6Di H:ߕ6TؓdJðj*m.o O!P7BeZVwB} C ::e061ι >e`&e~nC3bƷgv*1y/N70@l?L/6Q#{>kr yE_J8+e1bӀHbdgzx(?ۘFA&F `KD{#{j6pRSO V0Ն3Ŗ]p|yޜ<X8tww ` ^to_;Mb,Y<$EvZmquo"Muɗn%DX@CѻBB^)uKH<i+- +6=DUF ˲^6W7، 7ҷ9j.LXDʊ\5B.k6LhG=$c21w+wv-g3XhY㮤X s^cqlG梠KeHd:/'}kӔ}R{ oeT4-(FB4]!m,^Z2b'TYe@hT+qcxMI 9 ; %+t,J!}vqeXK%-q@]etl|XW(Le+)kբ,"AJ MY,p՜b-& lZ:ߙِc ]; U)"q¬) C58< UWBF*ү#"t<( I+)WQ6]5'a 7r ,O\irl]`Q}##Uߟ=k~֯ / >BTнzts[ )sfBJygh'B5ğH1sm$ӵ1$u|(Gi%1=$7Fi#J CQw͘J?zhMNMtQ*p3hʤ~ױ*M<:} ַ8d1Ge0># 1>H E1zqE8B~[5|"]bD3kq 0:ڙ_KM.g\73iyw#U+Ԋr_':<p^= 7 RVvaTot .#ki2oMc; ]!XATZs<6eaOqYUӯ~ͭIj.2'-iA(q1o吟Vݶ+n㬃0=9DrZܡ _%ͼ LW*Z3;H3bCr5NbjQ${t+h1"vͧm@sk5u{mBA=;` i^?񔶏gW2nhteNtAc4~ˠė.yu&F_h]2{cpjC5o96yLIَYQ3wA[d)Nxd84fІgtw ΫT8,s~%E),*TJdro$_>Dc!@RDWq$y$oh*YbJ&^bNAȜ6e+nؚӐ_s/>Dž# Y% .ֵ orsjXt%Xg;+#+ LJVm畚NO`v LqqVVbsuP_9=u-bXWa1O);J !RsM/ &284dD̶$vsqD9j,JDJV@VLj5*7KHeWޗP0 h]ebu'D?aWFOYk `f$NMyܻ ARAŮb]s~4΢`/PE8-CP'OUodg ɋ}zֵT{ 6P fR찈%?((~TZ@ӝk?w-; M5?8Mc#",,m-m~f6 "ОP`|]Łp{6pB}A.2qߢ*n^xeRu4/YUfg'f7ry;`νlDZL`aU/wlpsmΒcVak;i551>/л*PXЬ~1 Q?tWc0H ",Kɷ@t4&A勍Xq ;ICvG zpbV%4W6̭wrPN 1 |T>Qgkm.BB|IK,Qa% 41+ ||@xs^&Dʽ,ϗjSn6S(+gKu^KF+Rb'A\2|;4_wұ4qϓS} 9ݒ@,"~5#ٳZz%hƺ'M"oYكm0Y) v|{E| 穙Um }Ӌ}ʄ>Q_+) v gڴfJ.X$*O![[5Br+aP*=xLi9ù(q+UAq8L꡷O"3HLb:~Rऍ! +{3;C,+t}D\ /UP!եDGIaևE#C&&/I&=UAވ~2 ϟ}19ag(MrK`9N tZb m[ kͤ(7~=iG-pa.V07ǐ!#&؞ p^B}4$.:.hY9cÖc ;[0)4#L䋿 iqIq}R?'T$,!jݨami#Nj3ھ1G:$ ֒@g$-z!%Y?-lcTPKKK?( R%>c&xx+ln,vAΓDBnQ.ORBpݙ{>uWO!۶os_T%9 G~£J^Yx#gRIж1Sg釸zO,%t;+.:Eaw.áFˁЅ=ɭLۓ ;zlov=ൊSk#̟[x|}0WT]!2[5dT8g J1Ybӛ x%RLFHEeu8=^2޴Fa0l=)2)~|ݚDT*T6>}$k3`͇=\OE(4V5K%w(}3ę tK+'`ZQZSzշ5 / ?LCcT"/ӁQl)eNnىXKsI2NqiJQH0"g`r_*x-cs,Z#ׄlTf#2eWZ$gd35H"A~Ogε K\u,Pd9q7Z<G?oАk?o)@|ѯKjW;oo'?VJ el U;b$+9Z& ^mh*^RAErfCы#ʖ|휀}wIU ǫXqJ]c|/pj?!pMO&sVE鳕Cc͌[%ؖK%ݟ#XuVa]ߖ/ݴ97R8oV٥lۤE(o_ S`\qb>Vý_sy 5⎆ƨ^]Ci >FA'r=^ۂ:Hj<3VcHȲiz(ډ\;v˘))UUEE@H +y♣V4Fd,KЗa} վM6QW;cȵ-EQrg? -$ NԈCIN-SUsêlώ ;p&?­r~. &=+*Oȉ`Z(peȚYU=iw%DpܕxQ'bـ'QC堵#,zx܈bUty]T :/'?2ʽBC؋%16JzfXJRo^j/Nո ٞ -KLx1Mɍ'pJ3vGorAEx4w ^g]Q%I9 ͸țoq#*[o ,:Uji#֭w?F8U,T;_Pi^8HXsdEG<؏!1KU~΃ͩ$s,aϣ .rx{.-}98,Q"&k 7Îku FIEy*%rgWIš+wTM#\]х"h? 5s7s}%Wxo| IEg*$a{k_l@VMs}&yX/P~Ls>cD,^aopX})J" 8;ޝhf8M Z)" `hYT%ձa&q`lUKI!IHP}=Y魚m4iML!#1>z(6˵hwޝ?TG\(7aFfta`Er1z2'3&0={N+uG]|X[(U=+Ahz9 4~oJz&^."w^S- Iro{7P Kj2 =:͞|Rʺ@T/P"H/4M7 <nPmEE8V Tұ>cThz,խyUm4wZ3q m+(owp^W篮H99Fijd.8TdLgVM,dr1? Ѱؠ\| 5H*$b業xPP1{-r>YISW4&}Nj8k]Jgj0-`ŏ#sLn(ּfTQ`'Y㞱Pb@ag,N C5SVMZ;]zű]м0dcn?@i.k*_@g ڄoͮ]-o']Uaجrø|R])ɕg/)O C%:4^tnu -ѻGlm00b Yd0$)w \{/gz~=1##YVyg#Ubu74"]YAFB^gH=h1 B`5&qq DmNJ@ G^J@9+t;:ތɟyhP^ƻnYkk9m|ۍjϽ\ ƽ2Z"]寭p =_qxgU1DML~ō%|Vf$ T jI`]O['~+YM>uYW;L="sAU%z}3@ pQx6bMₐMlYx! ~gl+}JiwlA [ܫ^SH&R'G챵WMS8@'%?maa`@,J|U%tMɰzup]}T_&PVq)t.vb6J4׳ؓUu 'Q%Ǻz"O"Kƃ$;[C}0l*\F4VlБGf:; 7u܄4h{ֆ\G,4\3&n 5`&^rsT \,Bbt9{c !*Bk:o1*+ѽ ^*(Ъ-{-9GJjgu|_URcDipTg?O#&;ӱ*[KeIulvS nO;`G⏤qv9ۗԹ X H: $; R+) m 6L_e,}Dc-#y`xJ#vwЍ[si>QߚmRī.mf603`Ց#P&)=U <= PdB_Wʩ -?ZѼ5WU)If]Fo4Ⱥ5JwmA /O|5'ٯ2Bd}sQD.dYf!2#1[ciE| UxX\{f95a_r 3 W}wW3OkL&hb 7բȪ\-P\ެ{"A5c7{ DP$Q+ABcD.6adD!96@}Τ#[<{j>BL&P|-VJ~܂ 1 ?l7ߐ>Rx@eQ4\˻?,&K&ņ߉;3NY5EL#'f^kf|śv8魣wq1ΊFttЄGCV՟#[sDϚ/҄ox95$G<7P&ݍO)"* .!_uT6A{*.=&EH*Xyzg|Z \a88G|N6֥iS߈+)-' .K2ݲI~j 4p#݅uw>j6Zr㩦{+1]j1Z5,=8Uu {<,,O"D}VH*.e5l5O/<A92ydKX'X֝ q^QKݓdY=2DOf%R7يi%F!͇fqRC Or 6o$)LV%z!b2 NMuX.+fk O9:{l_FYD8v]_YlrئԥB{ĐF:8mwOg@>$ i ԅQ"9v -_bzpD0.kEDBDwL&WXEljY@W)]r#Ah/"-XSXpxT@^i.9&(?8M]g2Jut\Wsl&߱Mf]6q_9v,E[Q@n`!w:_nyXۘ>{#Ф{pK -RhџrɖwE'cnITcj:k@ୖh JU}R4B`2wn+*DŇ:0ʱBdJ)$iշ5gb0Uc&tV&H$<]V|,aw9a?d3.]o ϒ$9L(]A>)ome.S# R0bCSCȂ;9-1MS*˹ %WpPR4Jx4`,k 5 tghkJշ%M_ڦ_OS{ ,I&wGRvό`V&r9J@H Jxd&g ^h \%.A`Cz~H:LuCJY4/^u8/zG)ыba_X]/xF{~}&dGcl| (ُ<8L5!O#\[M>Y20t؆+TC`t jf@V}GLgSzKfUBDr`|"Ttx]28C TCѠO@!Xf<tL3Z(=5Pf-/+׹m;<!I=ޏ ?>T.'TJBY}5B)z:Jtq'V$@&(b[BW*o847OШ{Ƌ6YBdv!/1H&^6A$R IcBWje$qm؛ R$^h졡ۇVn1ejzX''z/,Zz}d #D2Z\/'*m[g)ŌazJx   dR>3 ?bLPV?mK[ ?Q- S6D@a=K}4(J-U WXΫ_@ɥDۂβ{lמ'io'>M›xyp(\^z ZƼ6P]ՒVs&_4w=ۼaP77me AU$ǕFŢ]ؠ>i"4SmtN1r=*N,-m=U^ܻނb$ab6 HcqgVJuh6|8#^̞[~M:@7*JXFFjKen0ca2"@] S9km)Nc}1: _K/5Ov`Sl\J#-iYegpa֟E@d >m<I{g&u9U1}AI)#utX=QM6]9dCa ?Π] P14CF,52ԣe+\q&劙x.y΂G J#Ra!1n_yV JjdM^p L , RNPu{tNM%9+eaPEϯ?+)Юࠔ?k2$W&YnS C5`l݆gE|g\ϚJ* 1E }u#GpBmL!k 8DۡP$"w՘8f! þVջlqq jn!հnbݏCp\4h&|\g@ ƒo &,q: 6r+DX\w}>ټ֠&:gQwȞN[1UpR m;O-V{dHW %?f,ŮJ<8ȹ׭|vJׄizf)$=W)Qẍ́f ' N`K3tQ[qϷW!VŠM%ꖴp`kj%p-!8uva Ԏka%s t2n0)tV (E17"_ӸQ. Iٮt1_o+9݅yY ̓i3?Z!Xo4N&L?iƇKEq0^&QE=5p|?$_.4,Iju9ƳkŢ: zlS!pCV1@di ?WxnzVf1Ϧ*boUmB/P毒&󺖼xͨ9o :#B_kpt/:.}s.i!G/|U6TK7Awm6˷UOy6GOjL@ zSܝ*:P"_#AX"Q3 K8A5͢Hz9VFy@ʄ;$"n. 73%u7f4Un`sAY,o˜Du(Y%hgVTst#I̬pyol d|FHYϢ@`LbJu=PTM5hq5C|zQc% p/K~h%2&W}8?w~a%8C7(!|L3``֞^dwo ߌ5A"^;(Hʮ1{/PALzǃ/FMJ%&ŏahcnMc]_Ar"9}^NEcf*#ynb컁д";y]$ZNYSB>Tċ٨Y dۨ{U;աߞ-r(×H]}Srs:D[>.8ej# 2P&mPLsܴ1B }qr9&'RHJR0&Ta,'=7)oN %D3L"_R JFeF NcVnzKUay_IpbDr8&Os'cLZ}X#csM10K1L%Y.fdHJ<)9H(n95` Ӿ%^VEbuki& ,uɕ3(J)muZ rh-/ߊ }?=sQSuGs9Crg?z1Q)^#ж#N0\躑:hxR -`ZEBcW7t>#I@/4ae:?;tDpy}YtHtI̙䈔 A FZLK߭cy0L$MUH^~Y=:fHI=y /FV6pTnʴꚞ}B85l/A{~RUkԵhF< AUzpjrGp1&MbP;#8^|3.ݺdl,sHЗG=%dpWiK '/ :wymXGt n-\4:Aj`O 65B%҉ujJUdkgazQ9 J Ky/9Tޖ0e`Ssx#ؘxG;Pyh8Pc_t@% T 9ai+Zc+@OPQO .|p{GL;?f]'QW5\Qk2%U43qc8ecbguyc2)vNnSWTn~8v*OnD؍Mly-7o; pQQW*+ Xn6uuFwfzQ0^3>Jݘ?/m[X<z;^p&?Μj f'qr^ ~:QGz~ɑ~`٪~:DRk8 J:'=z5 ;UoDDDTm:|D ycgrX&4ED>k*u^%i^MP77ԓm88,5 J4#})r[{V8Zس[`֙aF=@lQ%ZgDhT[UT]R'Xmngر(Mpe_s LܱQ#[>:yܮ*օEL㎵Z?FMZ/2JdI#"+ԏtkK<FO:+6}V{Փܙ )k\U>%*.OoٲGBw{M`y6lm]0KFJ+eG ]|ږELytʷM{TΙK$RKt%ؙws7WkZG@`PhOٶ}S}jO%'8}sd4'pB`dri$`ݮrq@L٠u?aOAuLi~pY!^E*XUn\`W\*=yƢʡs}h[.)%sE`\mJAt7Kbd;C}#]t1V80 e5>3&1g@2=HPj}`a\Z]dsd,o9{ JXG>zvm?LЛTUi \69$-gPk1P6iMh1͞6[5*uxWXpڀ9aXcKD  7;YoSg.+Ԃ}/ɾ*#8h|\2lfXAw}S)Qt:(w+_$!TS/ŧ} D,DJ`QK:%,+rlz|8ZN|wz(Psq6O+"@lEuDP*Q4w7ɟ}]wxnVmn3'ai-M7;k28\#FO RlR^"QfNɫ٫0xgYZa39ca1c24c9e8ce0e7e08c83eadfc1a8f63866a5ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf 0e5cd0aa27bcf9e14390c7f9613452f604e17fee827eff84e72c8c5ce374ef6ab8830a2a32efd343