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  #LD ] Psi_Calculi:threads=4elapsed=348.849cpu=1180.736gc=64.800factor=3.387zXZִF! U]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט3ʫђW֓uv1[Χ{8e8SѬol!y##YREPj$j_$Vh pbCpUhѰo_(M˦<%[]=ݏ޲C-o/Pێ9yT~q&XTM0 }c8yՕQ L󱤾mFlKle19ʺja\g6o;`BjHk ʊ.8儬`iy~[ 'jc;5s. "Ն3zAd_F$JWpƮF.d\0lKn8m y`=@ְ:AA[G,@׀M|-8>q !I>tii0O2<6^4ZKT+l,(ffVǩ@B# |[-fgWa ˍPPHi 9Tvi3|^y]ph 6BjY=%{O4E7pn[2Aʬwm$9teT2uDWƔ, |.C}MB׈=\nlwoڨ 3 `cFnZx s^Z #l60h;m߷frGVA9#eq +BQ9P&xu)Ԉr5|C((0A|Ub-Dho:UT}[38q{賧L<ӨBzu%gts[i:[r_$O^w"FH:>iUE] ?.cQ,xGZ'~)'ܮ+ E]_cHt ;kbr[(l6A݌77 ~P)}xM[RZ(Ԭ}͐ΝIk/T@G-.*:n`r,v H-q=oBh(*v^z,ľKvK ism RˈNB# OA s3_2w i@־ Dm'Vn92upBL=@1plǴ`tUcxdSGE;o94#؏]uoQX-B4A 6ؓj5Aq+؄ ~OTd.! Sbp"}#?rG1]&B#px̊o#D kYFN>9&7S2Y1H^$1wD;6ikJZWؖQBCX?R1Dƽڿ  # Psi_Calculi  &2Hf73M(G7X1VzB.OF銱ȸ SY~)!zrIT$\qB )q/\~ZֈKu𹪴8֝`dI8 aE%I嫈&H`/̶U0E%u&Ny1N=r\j;of8%T} 39\ 52+5{LщǔrsL|B4L" {⟳&Ddw;h6})I:75 8Q4d;<^G{nue"5m(R e}O~e5{ O縜IrgYLZVJnҘ/.>X;|`e>ITL,FP!l=sJi._TD,3cUzAK4\EH>wM>>K2|L<󎰀E%еf[.%Y=\aK-ӷbSQ:+ 7_2vu(aҥӚPb Iy3SKچ$\p垻hHwŶ.{DtK >m%dя1H9nb03 1vlA R˶ٰ!0:GL"6s:2H8G%h) mtcBn+VdH9OFUwp H<59jAY1:R,!?%?ܩLd:(w@_WSl3oo$y@e2:qvt)[ &߀Gh{3Xߒ,hN. !jD%ZIrpu1[!]-`r""܏S)ڞZU22G\<@d-<)?IʬCRn Znp:Mj/݁e, v1-n _0ʨŹalMQg^t9L8 D`ptM*[~C'|L"Zri`dlw`b1ʢOjV} 2- d~07 IC\Vbʣ#)8Hx[-ۆgѣ{O߃Kè".*ͨ6^D6Iu:KZAT,&Onuj]_!\{^Z|G rQH̓RV;؁ &V7f8? Qq=༈v|֨<eC*[`W$1h}r>.EzGܤaz GrA\Y {xb-Ƒ9|)nRn+,)A6R=n7ׁ3!# hKxEpkE(5$>Fb'2>jYSg[!BX>tR$84}GI+2 m%Bn9覒Zs:~5|og>H zמU4I('u0,(;fXKN20?0qG'G:(Cd!xwiOӯh$ 3 : ;tsgE4dN\O8ːv}R }[{,BYh=>>I/>Aca'1.8EЂp8G_My{kN/7FS+8Sj&}'g#μ'#{5xM09I e KCbyv-LZb 9djZxWHs6-Sl{umaQ<lq QH.pI {/Mߝ÷TP AmE-s~\OWٻ#$`cd:XMO-\lٙ oQ-a$pWHh}ʬaN"X,Ň&oP@H `{[NHTBm[I^:So8T0Ei k t0[JEAXA ?Eq2pS=kڛ^"6?hp\a]l@8˃yǕfkr P+Tw >> i7\y7rHwBWd9?L\`_;?o0gY"cmzMyyTc诮3D?6@? (#)? cECdGNRhw+fQ*ڼ^ 2\~;ءdu9].@r#4ޭֹ+/cRhY~*[IJA⓮_2Yq~rZg2:E"gZq4[0E1 l%2ÆY;lG#koW6.Dϵ,0;I-gd9 7hhnKv4Bк1Q1]gZ؃!tv˽4w"(Wmr뵡?s&:lB|-ompNZ44RMR5')i׃tYWVL:KFƓ{SebT*TI`Qܞ@kX>)LZ>w֯OfZ ́VO^bsF;{JO MFhkd+s`vSS ʿN d:aGIУ-%M+bXF77o"T-/"NDzkT+];l1G制<~(<Q:ļXuDoy$d[SAM'`x(K]5ρmZkڼp1Rog)w~m3w~t(ݸ5J IՖњ`3aC*7GY^j]KhK?]< ![XTL@g]F(Kpwkfk9;G Hnnj%tWs E!>@(XtHұbB-K( uHj>H0Aulu ,}$+*oN2:dv\6VۊP@ CMu4oblB1={RO2!" qYx9)J/ <obSiPL;V)xvбw.fDg%qE.o7#s$[T8Dl?l #>SNl⌥t4TqR5iuyId$(gkd-B{6zASl\bgnr[) 2cB3Ыxv\4Mi(cb.sИXeGx2u/V㑫l"@u;\i-`BO vM!byw\Fug8o7x Ч:Il&K|ɂ?xaa;CUf Fv &Y)2B 4nۇg ZңAn2݂}a_ԪH?42+Z g͎N dhokn5-1!s*~@,IBP"_!y}3>˰S E`#6[]?KI(7e.aevMoVi#uܧ%3ڋG{\Abߥ@Aݦ0?d-&[[7CFA@`'hcC:nv8n(/4u8E*NO@?vB ,2%mu׮H" jvP}*I kfC2u0 .iM^?e0WYQ/KITDM?8Ecqc:5X})I6i+:C:Nx6dnTǓ q#{_;_u<{jqD^ L =4}"zV4&.;s2  hiNܰ</ހOaH5/ =O ;ld]JΑue^lS\i2E8RZ=VhŬ  .yR(| Jv@YON ^}PɎ(:F%˓}x-Ef"V)\xj nM MwQX#99=Hfj"opnu9` iRP~L[c{WRQ_=?Ws+E46Y ^ fJjR&X>CI !Ξ.af%&;?dE =Ŵ@x%zx>?k+=>6bCV3o#4h={)r Fj'Q3yEW îCy MS={q-5ij*)_[ٹqgN7nwHB-qٻlo^ܺ.8/9ص D[pO?ԘAy9mq /}s99{)Vr R=XӰN)9'Q>P>F~zǯtET P>YgYZ7zXZִF! L]ŗXiɟ˗̵w'Sɺl!\d'GrjЁ1-aP^LPxǍƻS$̤o H KWjV~yPآeHD f\_JR訡Xxj;RÑ1eђA=._/+!sgejBr1-ݮvFK,4~}GfEvZXW u{YVp\DZĄ9y U\b8+<]8hh^oDCǿ?a>:$uNxrA;:w`Ď$HeY_X5 TnHgBo IfF}>ѤDFl!(7!_C٨ x}"r#݉>.>#4.Uy|Z~X5M2 )4Ǐ,䥷-7Liƭ'8 HS2%[ѠLXM zԉo[٦PqwT|XYQ!O%L:t n3jhs^C0ԜQYa ]h*-}u!H^8zzhlԼrk wX6[b&B4Uzo=x2/K/ >d1o?0j"8jZ64 u<)t~ܡ +o)Cz7qgװ\OY b15JtT!@,́&p 98iRI?o}%̱MC#sX9}O3s$-sUkh((XFi, u߳sKD-K2S:Zw!M0b{4Ƨq8%t+nz $E:e`ywgɡ]MiC#OCSJ7t܊7&d^"!w ..20{k RI?UWžk?R DgT a."5/ e=h~ZEJ|FJgcK,Lq˥ RщBg,o CRX>d&MlA eކ!P.5Q:$jx|o{7Y׷J`L1G_4Aw{hMp7IT?3'R2CtL S4$㛻4_5a|uͰZDf2Ћ4G,\y4q Ri|.`A@(Q&r %ꖙsrލWM79+ɁzNNA1UUlM'U1?y#5EQ8ە_:p;P{z3np]DG"xtJ5#DAlCw'&29 \&hw~1"U8?tY.g(ìS6J=)yk#P֕&\ eÛqJ_oMVD:}nSK0Y V|a8'#GBTK)%x?VиiPny@+)a-ꩲ@YgPeS(5*MT.u'sב OU\$e'#ܙb jrޤX1IBYz(b`Ogx'ywQj)}cm*hPD Ώ%LܡFn%YՕgdwyBӪ|=ehM?*1vuO2pNʢKh0`_+x)Y%97ij&8P_LDGU,Z>C5 iNe=텙}34ܛzJHC}Afrv$?C>_eRGiUTU=GﭤZ]v2׫qGv*v2yx3?EGxHj2#/JVpP1` _X@되PRUd-qF0#{ [i~?˪#9dx=u#׽bkuWȯAϫxo|n\TrqT`_U:8Pv"tjl%}zΏ/Ll,ti1MUhywEU?)L<We?#T %QRierҰp4@b*Yȉ1= IW,>*1H+Z#+9+4o^Pت(;%VN#턈|'yJYR3 %<1 ^[ Z?]3yY!Q]Y״CUyKI$,nR ppɳ,)LgYpI6y!̮ыLU~~:9e.2q+ l8Pb#y2U K2J m vdJjm?$\w&I %P㕕<]3Kɪ`JH$Jj.lP`.?t d6X&wo>%IGBj0GpT]kR_e`֦I= ˱%2"k (k6Zv $*703 ӭ5qX<)(a Nfޞ* L1& fG%ς qajk uC$#L9_)4y&1,&:[ [:PEk(vzd~/*V9G<* 6Bpx"QzrݷLU t  U< `0*,%F- W#L3 lX NB&,͕}]‰ | J*7=Muvql$߾i O?YzTH͈3ޜ ̉F;A =?ڄL,/OTTyU *v ROr(RT ]ÍC$d&Jz ͻ.gn&/Njv'rDzSYzƍweuyKӈ0#^1>-QVϻW}q X@Ω^O:F3WEzyy{|HAtYn҇b w)Չ/L^@k͘NdpAfSx$<=&g&ټf㇟A8{^Fdi_oqNJIggq-cGbs?S{ f6e;pLGCiq=vh"U/Kl8ؕ[B?V$9-gbJMVe *(V۞ok3E+1jAk[όrA:>Y<>=8  (Sۉ+/߹l.ϐC.`WvaO*SڨXc5LM,VP =YK:?ZZhl8Lq3Y ,\24 6^X1e}o>u̽9\jezkRȫ棿ܭuFI.~R23,:Bo 0aX!;6Rlκb6%"_&HR"Rt v0ºWID `X^L\4JV>QSxR, eO]!y@2mΌܕ_0L7H}@\ gb8`4!; U8ڦOl'LIb\XA5;BecWˉjA<"x>Lی![`óÃNٍ Ja AƖ 鄾~FrB|cdQ4#];̈́1i+Kd Qe?zl*"Vƨ2udZB!|dIP袧J\ f,{)9n=f( o#t(Mf1o9)t])w%ŪN;ֿl.QY8+;b޸FBqpD-{ݹT9Y|رnMQ'KIG [1ձ[bvGEBnRzIebL9RGI?`xȴdUπ! 6"Ǥ#;NR$m9 J)7lpϵ k%gD5csֹtW.J lQiVR?R$:˚2XsV_"?D(TOdm◕4w*{y3)x4 7{G:hJĴ9̘].oCQ57 xrrpL n;osjV 'Ȼ@7h(2]S>KH/,}~OǓ}'X 3Ex[y<2vP;[ykC<,ٔ#gwO"=[*p 2y.v*kL'| WSFhs7sMBs׊'@zH+Q݊>uXz{̂R.w1\Xbraׅ4~Й^&e'ҹԽC/]7=T!Ƈ?wTJC.}7v9>)pė5bnpOz_,x$0vzy]iEszz1 4߽*\hr檲'g 㦗W8$싆mU$%J?&f>\_px|hq2y_@`@UY_I걦hc<>ՠdhB^Asڜ 0bJ9$m@,Bj+:!pEn-.C+8Ù3RuW\Z,I)8&%FI73 LZzuv 0x3Z^n~Nag7G >t|,uf)c5'-o bܔl)zmHug" "7ؚѱ!j^ S:ßw{G7`?C_?;S{F;7 HJϨ#&+@,*@O5e^S=aro[>)Gg UC!~8J "RsscJ_5hu"Pޡc w+!G64t'Tү'b̕+ ahr"mwg0-]b%o F{?W1!XxIyXFөn%\(lQkn3L6v.U~2ǎk7. R KD5lR ) lN %5sCZ}Ag^膟 7a`n[h`KF.e QMz8of֔lCLEXzTQ)?x5uki?c;{ 8;AGVm ߍSX"H%_0P- `2!vP0ׁGBʡkn73]WQߵZTk 3ꈗL1uz*ܠ4:j2LwSGDhǺGE+q ѻ$,WܨRRl~C#6QI ' wthﴙ @ dAP3w8hO-&c*ÁJ.HuJ~RŞ|A'\xax^e5Z`\';`BHMj!QDA|KQN=c秦g1HFܔ{S,a_InMl;,ԯ Ȭi m˺h!`i~Z[{{-#. O%h |4@ɴ 2 _t̩/a j$du!p×wy䗄 .Kϥ,;m 2g9n1m)4"kx{޾a&C 0BIHm;:!і(0m%/VOʇIq{}.+ni<6Ⱥ[ʤ(jpZY Y %d ]PcɞDpD&~/q'BU%e-u`]ݾ;?EOFw()Jp?ni6`ϮŽ~Mƒ%jkG7Cω'(zB# os #G6\#Ǯ5h~]yr>|70վSa,Rkz2|zmW$ulжV3\`Hge!.'pچϕˍ|L9TjQ KÁ>EǰvC>GA1JN8 /Oyv+,)*j@hkw%ȕQ{tί+,b!\ͨe.OB*C.̮!Q͛[U3in }v{TaJ'X$+@8r z5Qz!&|*VFR+v-:C`X_ <L^wW!GM\i#80Iέ]X%" nh-7kOk~8A{ȯ}l?QK*nG mQ(m%YA,<("Pglә[f=s%ٓ"B4 "N5;ӗ"Qc+LDg=F)ť&qmg7F[rS90QQ۸lkav:`O 610% ,E}^z{~e٭f}sr(vh y|[ڏ#:Uw^}5讞Ij;~޶7&ކuSZ?zWJSaؒ#aS6'H6jEc{u\he#?|-W sFIsBU݈mEd%o3pJW!+[PJ!:-ʑe1֛Nx"!Aɪ ]5]f@lln(ƴX_vkKz'ѝCu;Z謅dݲ(+~ڧuٓlpོEa|S J>,EfQȂr?5&МqF՛+'ɵUP~"g' W+h sͮ@ΉySԟttۆt#܋*pLt},%ÒUxěp=оE 82_?Rd*7Yڰ(۪ sea`_$`&<̀ϡpoֳA精p@XTRs/Lj4RL`\`9K L^N! $" ):۱rƥDXj[NuSZDTUSd<pPXCo$pn{%hRh"nTOWLZhze GixtʋE8EJ0xSjęO"CLM) (p\t!B^D*QGl10H{] h?WtTl_1"79%q BG(*H!4RpHU[8Ŗޙnr (1(>ִtӏ1m7B1`PbH?s2F!4'kLw;#- W_} Z#="T ~s6)#ƒ"h^sP@ʐaD~䕮%^5/te7ڴXb?)յ 8'~X՟)CL[$j۷IUE( œeX@ @3=QM`Pʨɾ/]u ;N@2tC$lh]A2Umfl`v׀꘸KpD"KX`![:E*ҪRКuwPԒ*f_ƻ 0uZπilsMcBM,aebIp^O]3(Gkl}N)c@5 +.5+=-ɣ>m˂p.*"An{ wk~DsGTH^@'w[o]Zen332Da PMޝ^~vЋ @O4`] xԠ,%#C a/H+n-Ns A{aUC0y>B[&8<+{߄H5^_yQnDit`z?n9/IDlwt0^7܄zwrr1UdžHI%- B*kOCO"3Wk4$7ͨ=AzO<(᯿0#WY^96m _N`v.' JIEKABfH,n.)@ :*?NEIHڭ(9@< &+QvE#C ֓T:#igǖjZtʚҲm[=C1 W!aOS0ݺ)iLzH*w@-ͤa;]UC{(Y+4 / [Ӽ=dG(0E̓ho]F~V:a%O2a-9<R;E %c\mȧV;uV.nt&Zk'R!"{;0ma58"'C{}Ӳ s4Ғ}k1zoӂCN=I^& z]s z=ȟ ) L/R{tN9ԘM8D֋\۠x`l֍34D~˧?}TFϪ?"b9MNPJ>ٍ .D3096.2H S> @r[yxv /29A=~:k*щ+Lpٞ!Α:ptŤ!w%j:Lm 7 2vTsbР]&%Y3#7S6D}$xu0)š&#F1//lv7P9DN8}=S{-49&L6ҫسz; n%'$_J$B:Gsnt8»̚b`$/JhdKbRfnŽ;QurqHn($.#xr)a~ #_zأ1)8]J#ikp%k}H>C_\Y4k<.pq#@8JImBul1"j3_~D1@t2>sLETiK .5 k"8ي^;0O? T(k%z8 f12kz5@ "dOuLؓ r& JG^J4R  A^?e3faJW'e 4n'<.\#vc$<߈c {w׮]r}j}iRՆa B.m#n9EQ'٬ ϯp7jx%@Q ƫ_KUޔqjݝUVɦݳ^UڎRnb%pc:= }Ls#5:~Sjg2kn}Q}AO(czba M>֚-,F:G?GYϐÐ|j4 w7! ʨ$96enuqmkc'uODs'waCj[qSw ,a.>MT m % |EF`bO6 b+ E윝dZ8ON"]k'[n1Ng@F7# Q3ghAQrPk-6@gV.B9ן c8ҟ@$$§XgUbpbz|g5$|z8œ/87]ͧATOaWS|JP/3n, Z'%ZЛ$JV,tHG/'],\,'gth #:|̅0z]t42<ζ+m rEX%nOPw*![ 0͢A hn&;ٻ$^."U_s}L̖CF{GXP na+ mpU{svjZC_FFFdvh9Hd+04n^/زN%#U6ǯjşS}ܷh}Wu`gwi6CuA 6E湧 ʇ3 y"$ցk k7zQR5U=95γc\:Q#3:t+#,'q m){9G~(0v\ RDSEEJ0=+tPElc(u]FQiK;Ōv2DY(fBwIVĤN(ߔdͧQ^1`}F^wk}Zhh.Fgү4rC']%,by10Syx,KpX z$'"iOv<M *>p05PS˷)0^}7FDs5G0;S$b((l iĻ}F_څHrJ5ǡ[F7[UmUp-&wKxz.֮FUS>p2g¡ЄbJG5;v=mv>q."e٤ 1ƒG>I~u'}9 chv.-Q9l0cOqCF/**s;DtF`~#9,8)LA@P3#E8ZGs XRǴcs橛:vܕ!g]ynSւhx~&$j|`;4+#ܡ$u" 'M^M0%o /&8[MYr9}@w'so4}uWbHL~89.6hg«Sj?2DŽf}wϘu/>x)񰟯 4CU%0|vְDDsoYܭߚ}ٔpwwO-$ <0^;8v\P 눵O]3A.U(A2t+2 ~1^Jr-+Rjd?Rb:S^U%HQfSE]R#OJftxTW*V &~U~ak5ioIYA +t(x93K#gC08d IޅSbw>ikj85]V%.9oST`oe3wY!D;F75bRMprm"ܦN2i"6QlFLzܨwmS$ZV݃m y;a%AzMߗ&ci%FslhҬ׻y)nrļ:/&(0c;up!F@}迹;PՅ"*܈X6G8.ļdnKe'/-N$>b b-P]m隿Q6aPj5/YCQm(:'xa^^b%c>07Lz$z#qCj'{3rT}9Sq 9K>i꙾g| Ghh;"L{&~7sEw 8@sH6SW6&ԛHBՠ6Ѭ K\"oHw+qoVyY/G){9"D w`,Z5fDG#z/}|,*20ܲu GxOpO!aJKI!K$&DM')"cZ*}T_~I;R/>$2ڠp< ]X.YQՋ&T$|5H vg(@f^<λݬj¿64+RS\*N2 J,彑,D.eU!BA BkWy)G˅m:>v5m~ؓ#,`>ۢ\~'E$jCF\j@ )Irz&8kF|ҁI[be~SZĔCE3+5M?BOZkBV:C [Ns5Zw`.xxaOy{/7=:QVn\DU'σE՝e-Z15{/%RG3QAʴ%h/DPdO1N6t?]jw0, 9`݆Q oOir)=j°;|*^ξ[Ve-Сf\^H{~DAּpf&iEe7ݞA^Bi.t9=&H-'oV_O@=zXX޳h䍝i*awPsR|@Upv<|ꉙ" Rـ>e[Ƙ*P?tV1~& f ҆Xgv.vXa"U;, 8ؑyj*V130V.5.YoQdWB& >TB'oq.=q r' bĆd+4D!DŽ\Qx[9~a|$Gt:8OqiMVƺN0o59S<odu%T z#k t'oN99lEM=dQ(%]HDWV-uJRzd./T-bpC~]p522yr^oʹL>ћ)ZfJ׹a7Ms1L oI9!uuP n;无0q'Q6 Wr ?0]T{G!6]Sj 3?5{Fo_Y{6\: 9x.Ma9mΕ푵('KfuN[a@RbgȓDG'# s!G-O_~I77,I%?r'HF)_ʡO~$h[pYQ;v: Î+QO~N$Kɾ4vdӲ _|/+_BA"f&uЯfyMh(a|woҒo>ILEf{gSnWcCDJ7 FPCzz7R3=5k\ łAE+ &.'EyVD~RΚwZ Ʈh| v_%q6))\P4<ܧrQyQl_f :,co㷛ND< >7!\ [GLݣBO)!\lzpIUJρ X[dޯt‰r&6*fO=(,5w+\ \=X|}$&m!E_UzǕY4v"b޹U yf`hR\>w n*|q'}A[ ŋ@SneVKzfޣa\;61!Ux[NP28*(/t_OvYOqj>.Q)`DBbx>"|E(mf1W/ /9i}cߨ%jcݳo2ao](^[P،9 =\,娇8 j#LhҏlՄ9e(#KN4g-]xp}v:y!WOW=*㧥6c5q /pp> "̰6R.9"bL];BM B/}=oh~ҤiV@ 54 hEaG`u 'r:,ΛWFŖsY9L]v\ϷGe> ?"QXU (#!j2{̀vCZ1E˽w# "ao-`޼Ya37H=+bJE_sr>/ZJ#HWx(fm[,W|wܬ*OlF.0^mnH+BҨvy2ynu"g8, @.`ey/\fͨ/qWk$]ȧ7Y6ص×[JuMC>NƸ qܓgpjƼ=:;"EObC߷6MGVeCĐ0B}CMw䜟0Yk_A[qx?{߭/:K)i[7u)TK|Lʳ;7iX4V8Zgȉ6rHNW| st0>4yF\5!i?:7 7U~ *.+H@աfÁF"%gL)R^a餚`fn<'ԣsy2*Ȧ~^{[Ҙ w+Xy֖]$"Y_հ-U.*q07C+xhRXQeB/5`q &>5[e$hr+JkٺZ~[-0dΆxIje&9O,^9IfrIN>ӎ^ly8r&˄٧gD59Lc'>Hxo=v ّ1<, jb6Af[.Xw/))r0Xk1!u2"\ d@?_d{wZ@lj18l=e%œ>Eȴ0Cn-qF.|wgG B,;2+qhĎ@bT h:.Tv|G{bOy r8p7Yu|xaՔ=S`[ZM*Vq~*'m Wj&Є]594ev|KAuo1]d2Ȁث[X_2gks1д+m :EW~5ZֶUBCj.=oK1 8$F^:2J78v9B9#dž% )FKH'H洡r@ԩ* H?AЀ^[F;uNѠ:k"a#yt&" )u{{CEYR!I\NsQ*Wq oXTO1b߃g+>`jޑZ {aI/)@=jOK] ׏9 /Z// 0ٷÇzWǶR){~uzNY7Ik!5,=>A.w`szezj.ҍ%i7t$".pʂq0>M,,!&أf"A(.|pP0)RCQ[Ü"F gl#L}]=1×Ŀ"5/L&Ȱ'`eMr?:'fC`6%gMe[qV!_jͿݾyqz!ŵcuѢd^n{hǵuZzpBJ ,P.{]&B(6mG '=;] I[R5F?_;hWϮsɔŷsRR`ȌP΋ eZo\(͠a@.xD͜R-M?,ɭR0.X<ȽODFFzb+Nb"م[)"v4tLbmR^;\R1b*P>d#983 'o%ȏ1k?"co g];d 7B~u,S+~ӗ8UjQ+;lL'U&Ļҍ~.˯ˀ(Nj5_Gԙ/u]Yyϔ+πo fGQ̚Qu ʹqogl]0D4& N:;KjuU?B[g}  nU+4~,歠ֲn`gP:G< K:ˁJ|2Gٟw椹nc8 ;k/nq/`Ȳvհ&h*Rڙ@:4x^%&&Mkؑj#==9EmgڒbFOA TL0̉j8fvqfw1q8x@AidB%TQW/DEmԽ'=$4`po `d!`jb#=Ġ膰Od/cp:iwF␵1j,(!-ijR('uk]0AMD D`y(v׫5w{Ca2?+a2 l)x 8 GucjZ:6$!Z%ѭ2R\{h RF,۶P1lbn;^n=G'\r(-9Z1 gj- e'SKQI^NLDV1IΝv70Q(;EC Pn-3gѤopUW#WToE)`R}E۲aR#1:+LtC B?/|ZD<-g؃PDE/6K 1QoIA~V+(KSBaҘ*_;#SӸ%9ktjc,\Deg-z~Ul#8O 7o. +2D@3ժMFo T(@wϬꖄ@gjӸm>ăT{:P[i6^UȜBR wJƀcp,G6z{^h5F:15%Pw`^ AF7#~J/4!M/q30\UfLn; |@7.F}A9\/䪂f6%hmV0h'Z-{]_uߡ,; J h٬7Ӧr zH Yv=8 1sm\!b/7kt@(hVrQf jlwVSE;ޢ7pnP=>xm%:{_F%FqLҔE}^]v1QdO66[т+f2kOM ;Ys)kSZfqT=4HuAEHjp1a =hiXCS§Cˍ$S|ݧ| ʫ h9:u٤ѧ%4WS;.d74q'CG!"Q6{G5"IGC?gd(0 ?6ݫNr4$ǂҗlR` Q< z~%bY5հ4*~nSU``"Meb=ݜ>.ϰ! !<]1qWM5ɽRtyTUKqYTC-Bu2}qCmo,ĩb\KI|4PQE1[Mzp ܘVzchQ~m ޚk{xY%ͳ< -B pY/¹Si`F/+}Y,W}?-˹9) bG*