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 @)\ ]S]Incompleteness:threads=4elapsed=583.496cpu=1424.152gc=15.384factor=2.447zXZִF! D!]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0d7pZ s8bD'VB2b|Fxz]S4K0n 4qƻb)f[I&Lz|" oRTm9ɗߴdukSvrs (-l$ Nu0J.SIf0zN.L]cQhOJiJ7/u`"灃a%RНn=q_ZGiL.[#^ ._Ov^t v㒦$-n_jzwm1N1ExE?c CC؁YcP+/t:Cb;.Z4'V))'~텯xEU"^AR'&{&ePx8%efѩ"Bh1g<10O 9ۅ5f >bBd޵y=/Js[rTRyW}߉OStyt:Ëxa4A\2:C-hOJ,uM+ajj9ݟ^IzpNaI aYR;A^aʸV wX̑kdܫ؀@OytyeqjYeV*5雳f> XTw07jp>(j;9-Xz8 WsȰT"B/\Gʐ>*\tĖ_xOom)J :'egKޗzunvnohݭ*oE%QC{d^ϼʮƩIMwuD:ӄ_D.bv6o?_f G6fT&XHGqrQlК8KB'k]lM8%V|>u3ۡV y{(Wn&Fb_JD*`;E:ѓL 3Y;eTkibMF4cq!/g*7*8 +]gmRx4,Js]DH}=\C[bKXWN| n 0z_.gN,-T6+ pƄUnxĂW }<:\_ўAZ|D]r) 6z;%{ů|O"(߲?i;dHӦw-Dvk\}4F bJΫE( D %۷U4xr(pSll2I DbKAu+qHJ?(JhOoB&;=y|Sw ig*S_RkC2^yJI$C"&`TfN(hNL+ǭ΍'If )X)[jajuNHYК,5 /1 O 2O-L9&pe(bFH404|Dd,}Y58aCKS2GU@5ӆl ў AۜY3C[гmhaeE`R"[6"Q}{Δmj% }Vv Ơ`$}D8EUٟ0+"i 's+GH}ną6m)Z]O1iRq9P%O໸ۜA 0ʻġud,nvY?xu9*?A)-V;픆xyUD ?Ӧ^/0ڴW'b\@Iщ7ƍY B a.eW\5`#nxTsQG=BfF5wcAss 9];Xئfi:Bԋb3(brS}tttDM*+ڢ<6ΖElaZzs>ʀU,%\oa]5>tV.i%O@^A_[Iט1Uᄫ-n3l1|f R==Zb(MgZMLɌ Pt$vDݜT2ke0*zX 3$h^qHeuƣeE׵&\>p\UҪIM>ix]fg#^HjQ3o)H0PB;3%8#o-Į|7-!ו]HFnV']U*k\O9q-Xm iTsz`XY_}EL\/ oq%\Rnh>E!,:ضb5(juTh{qq;4W.G4Hȭ7>y=SvJS.lS:D/zZ PsCm9a"N񓭶~qu]رCJEXv>1Mkaҟ:w-RžF2.ڳߩMNtn̓XZ#lFrtY.E)gq4G(f5Tvvo;?Cfb`s S΢xAOmu,A̺R;*_/O'e}\5NN8[j9X}˦.}P5Jwdptޘ19M-K>a NaafɬH"mjb_HdQ\RX桁T%e,c I͵LDlET#K;1>lixW :jcxo%tbRĠ8XvEjT(mo[B_3qtn;+gq`zMOds=PjːH^&ͰNIL|5v޼.Bf2yI#\S)_ɛ -v *MJ&@KVuo܌*޳P`c|_mI;#7do d%wԶ%e0sSU}Z}~\<8-\(RƗPKC?Bpa"j?˭7ŵ*/9LK EHQH(.dYSnqX`;$@112z3 Dv:+d[&ܱڹoJQxw#"%_3X>zg~sS~ 1[:U05Кd4T7` j?C^Ɩ#NR^00qʊj АEa@ZNCY篣$+.Flgzn +(x]2&XWћ; K8h^_1I D5dj|FMMͶm<|JehGS91_;JoS$j&ўcw:EM$Rc !IJFNsTee(zC.A);)1)tTdR-߶p6 1x ڑL"{,%SfYM*$~)  hFC?:"JFÆtxf_3ty)5dYkzn1yLaGc޷4 .0B IA]C ? Q?'\ fgn-vS[μGPj8JzSgYё {InEm%G1/*g~YhVH)i۳?Vؖۂ9vip:6MFaixK7 !f)|NcV놳0GOлHN(&f!ͤ}W_W&O49hي|޽1|ÿ+ `1?яYXr8c!aܔCCEpcP:aK"D3H*wXѵS <ȑ ď7!{dCc(iG /6>ojQQ H$ e>b39=^ l^Yy\+ 3vL{rRyWF'F|<ښ9K7n۫zQ1{8꺛µvG T-n}ՎyBJy}tI[emcrQf_ZØ؅L@g :c0ZdM@RJ `/M`^b8֏KLίf<)'/8ۮ5i\oL(0j6΢G4)?[{+>{$a"16+1@T10PA` տc>}N':^]ød3kP{rƷ;[uu3D4= C| $=' Z(.pSէ >e\cw{]~BLG|5pK*WsaXl8ä=ܿ__k2r!(s^[_򤻄2;CRxaD L5{,xl***F,^p و;¨5H/?iX2s7ߌd-O]xh3JK9]US7QǕ$dh^(W%@w+7VO7*]ABh$uۛkZI#^T;YNu23O>t^8x2*DΕJ4l4gV^$ea٢]]wVe&xHi$GfU7EqzTZ;̉"$DGP!L45:1V6V^CQL'UFaW Yu&9br)rYcYm_±J[ Pu2cD #$u Va0浸D uLM5|Yʻ4f1+\ 6!lv]kYtI#ׁI ;%ģRn`.Kc%1|gP[S^R [e'я\ߤ4V{D+UǸJF wAKH@h4liQUЯ)% #>޵TG?nq!ɵhlE?l+yLa7 c tl|qtyӠUB_-z@1 xmOtD/1  &gYZ7zXZִF! Fx']ŗXi%B4&?LZ/GvhJLx境`boϰ2)sak DZ*f!C{Ȓr.3i@DʗQS;Q -G=DW2xcY]nrM+u 86v/IIsXSGA ]k=&ae-hzILJp N;Otv@*{ll ?M~tHq*֕.װj)_e*Q7*q >#=1eF?vb9W[ 6p;VgD.20䜦FYM{d,&l_vBz!$ePǠlX{C+ŏyN?J}xwۂHbZ0LY-{~_Q*6W\g)qD{t^4K#m |LIW|VCfh': ^TN=]̦6yɨL“՝PaЁˍMe7nfsh먂`ϼ/ERyI@ ^LD\J3poA5_ckd})9XH@? NQd^&^dZ &wF}j9?&q0x>Un~$`'[x6xJSqQ3ϳGB˰}o7[b+?rPH)D!ZZ[k3nuoI_7r08>Ruiܯ@3FPi:M5aä|`XNT7>vf-#jk7Hd[q/My+[s[>%ӥmӭ+I o}[ w3HL_ P#P[W`N6k@Iv˄f W F~Rab[<^,-*\duxxC1K!u2Sxx &`O?7 T%rXeuX)l B6mvljfO}Za=nf.x UyޓNZwsu鋀]SB3"+u/T*|x= "ǰZiĤ"*yѸVhV\F$X~N@%\{- aM:P8ޝ҉<Ȧٙ!\V6R#ϑ3h@~ Lct+јC !ΤP#߉E_åk-n'ܷ]*tϏ0',&K/l@y@(#pq1ا:olOk%?Ȭc}F\bc\I:Exn*@G#W5uOn0'} VΤ[ d-yg'ÌHjc4d]np\R?-~SXjn0`]XQx_u}G&&ѲZ~Oʘ-޳[+SQ\FWEh̘=RDI̟Oo H\1kYx BxQr:t(I*K|(ܾ v͙1 j Qf̴ͦAaEtadÔB@ €[!C T_Z:Q|n oմf5afjoGO|-[]ɄARKvƍfR[u~7y9Op ˅#ý5̹]kG 2D`qEn &;n 7=:كs䰐ܭJ .p%Q)& ]Pȓ Q]k^!IwkOhM$@A[ B5zm|xAK-h |p]Y)9MO&jԣ}3'zWpR5r#=^!)Tc7x+qfvem@/!0.H)7/'c*b fH00蕴S/%u~RĠ{cFT+4l.6cA\ʨ}Ju_s b9ڱZi8ƅδm/ѐJBBY6 ՟ vzlƫ "<1 RUXJ+tiVZ$ncV}.Fx祉zaqATdܑdNjS+W#Yc6tkBJx]6U+ƐHW H\n2Lb:ݘ>Z)ᬚKurwg}èJ51cf๭qvf"O'Ly] k%ӓ[tDr O5ぢ6N\ph QmÆd5۾kکAKZ5E&i )$i%rjtE G4Y6Kdɖ U-Dqrb6}|u5cxmeq~؜;Ylp]Ӳ< oDBp#O%:, (6eٕ֖S % ÌIgW\Pbku>{'yj 4O3\Q LJ]|=:*OZ2Qv|=5<ck 88 ) $<5O1ꓘx-E_0X@'k8JZ $V|6,m&?aXjܡy@qD/& h&0{tTm|+^Gpu@J=xR"ZyS V{3]Eڐ PX|_%. *>e.ʾ0p\/?5, 7.35>UX{!['蔜^(|>5ehn^~+*+bek<)ž`H^mu뤻/}7 ؊.-4V,QC; t턔d.~XYq8o-*XWmH\$̲+Р-hz~aH]_dHH[frSh̛{ 1U5tXc-ӿȇ!IĨC/Rr1' =~^Z'Mы9t}{E}l"_:YInGS~|CK<}eޭXҩnHpf@9Rní)zn~EMz–xb@~Szb}V' D?+:$Rkg6i^=Їl pX -J11Ȇ8"zP5'9WFw;QȨ7;-F ,dֲ8DnGJMZX1OjzJ֖ivtN-jk`}jJNegN \jXvPHM&qI})včdmH (B!Jǻů|!mldgCu{mG<$`Sr$U6P^l@,,,G v1(yi/u#Idfwsp5骶Bm#`e*bP 6CI 8a>#hvLFK At2u ~vg, lV[&Z 4ϔ u_8N+ahCUc6IY=/Q}FJ|^ PqU! Oa]#;VFnR=f;lX`X2| N 9|,Oq:j%YAB<К|Qd3S{ch;\O"XEV -Uk;`sJզ#??ն(IzQg҇s_|澱oZ;baC"ȥѯX_F5$ IlɑQS#u;v (oc 1g0=9(Ķy_|ŀ<{!!EB)m%pvGIRs-J?U `cePs`Z_F ǰs G"N^j*z6öL,l[\gElyhjW V}A>hD= a8yy҅ bgOpuiQ6[ {}ԗD4k5n%u+59~#C]  ;W,>BGdí *HϚ^߰ Xj,XzV^cRǫM!&7SӦܔ!#Pw빾i޶H,x0vU8K#SV,hф̩hg!f!T uOsUh-[F(-Mmv?)$:oZ+MD|;H3RV)FЉnJHm1N^^…dKWDw+*"{GV(c!(nBxTU heqb,6@5?+V61yh5ƆNJ2vXOOདhHWc}~֦R~=EjZQ:";k^ E,;qґ{ 4b*Cv_ wz-Ou Jre8{Gw V j1ej uE['~&v@1 |=ذ0 3ٔƻXT W{Eϧ6˸ެﺼm3|f_э%>G.& \ԧ'REZ,ḥ#@RixNp|MTdPΟŬtc#Z 0:OaփKYr:DϊO%PY` 1 X݋a9M#ypRbe=(dnhFԗ2 q٬mp+Vsɦ?J쩤%pb[4|Ys:w~i. 1S&XdԶBn[\A%_w! |م볧H~&^  !k/\"̦5փޫw S#Oj<"]"=="(-ԗ d:Bs"]cRmwUD喏sB,H96^$ !tl}N,xg%\DHjYƥ {%àCpv~dIvE|M0MU躨Ls:?$_9GGք+i<=fsSg<T[@&kg*$ӡok7:_,5֏&Y_v mU3I&W;=S-PjmPctfXb0>H.wcd#-47vR5Qy!h- ڧݴz5zY;7Y%Ŕ'ݓAl,ΖbtDT,DMJVq M+Bm* $NXOv,l4-LLQ,(f71l3u;-1s*S>/(EmǸ2B"]7ŨݤMvucbNi.*3K0:kUi4oF_a6Jg;c( ̜'9`mn]go:w~ "h;DL1*UU#%RnW[r)'OkR2)gA,\++$: cOL()%4<@ïM2^!w]xz~EL aWK_ 2nRU8m2<޾"ј]lH"I 2A(tN?`:o1FX@5vwIskWfe#v &B5M\tDi (= kUFJCĠZ>1fF겄uWv>5M1 P(遠X5yse=xjϋ\R|{Zk#>gUYp!ڥä * ^[>asa4=qa򠛝Ù򫊊8wۥt>:d'ڬԦpʀ1XjPɩJ&`q[H >P(A.1aŰx%z U_ (I>d v6xach\2]4?OX,ܥPb[\Hw(,nBn%tu 3 ZHͻ7N'xxX'}0H҃ZW6Z7t6. 1^w2SUEr[*2.;q.L+cDbV$N5 no$9{]pFU$on0jO9ms{F'NەxN[ +)vD3 |ݽ’ZGSH]M ֕AVIS"qY'8Q9.I<n"lDsF+WV}ʞF0hiN \Tk,ٳluo,[ 3z Bl"<{W^" =>fhM&"r[{Z8²K)@o\.`Wsm=:O&R9T8W6 8֛zTj0S۔!<5%pɀڽD Ts0 C}%9zZb)itAHu9Llk<{uqO:s{Ee?$+s:ݳUbt"l pڢK]$\w[ΦJA5{ɴ J^M0DRAzcyrAH#)f,N{ '_#\ `ט#1n{LR%nz`Jd=n,BAI1,2Jbji/0PP;y߶ <2Ĥ Тidu]wm::qJ f0H[ 1*!J60 xā_#0k^)@]hpEk_ ~BA 294VH'1e//m} CЯ,㽔"fB+}aĽ~7*|gsA@$XV=c2R?I'7N#1|*aYD~0ekKG{``&[M;APMZRf< 72l㪎L RZFFh7Z1lq"mOA*tu@ Ðح+1Ah f>?JZ3݈kjmVN8N >G`B^D[8T$7߲5Ww{<9&y"3 XD#Z%5`51t )G/}Yh+"\4Yp@Sx*rJ2cgr i[a&,Ӥ9_Y8EPx0}plF>n mj食 EVf>Z(38o*dlb|WAt\i)h\F=jfe!,NLJR5nc&}UH˟X^3р{Efm#ݚMv7TŊ%Qz|z ?mwN&wцȜ26/LJ ]pą͡y+#yKlcµrluXyC~SU ~j>#$-(D57ep8(K H%Ȣ) ? }MH@I\aFu 1dPӧ߮}|q9ԏOu!CTEE>&Pz40:F hi:/`p4tlv-+\ !JXh2o+>?['p_Ҹ/qzo[#h]+DCC: ?CE;mc]:pxUfu_/fp/@=,8h*v?,ln ;U 5 D$q7q+c JZЃxv,YnDƍʑFU%WzvC a:GTP?V $-c_ժ#WvwW=s/z:z/DtH-= ш Jc/~+ydlmzOz)K7 ļѳp#+mT@q X̪cZܪ뛪{իڶ<љ J {n^Tã8p*LXݹn}w 3?rnG75C${ɡ0ĥbè|{Uc !q:X[)e%Y9k:lJSў"{ejU5v+Z_))΄Pïo֌]6G3# ۞|8G[bmcݔ?|gN'? o.^s}+JXN x9I9a^- REKgUgqpG*[Y@uPQ<`KIh?] !wO㡭0(n<fm"}K$8S}bncNTM(]q?EA$ Hj6 ],G&Bm)g}B^+P^͌q2;اa_سig. }"Vbe )qf)=oWvߏpAiCိXrz0LթF1%1E4pZGS_XuO3x@B}`u._Wt.h5Y;3%U5zM@_O,9ݷ-ɇd[f ֨Lb iJFnrT¦Ŀ2Em 啥c{S|2l" g)+thhg:My,;4|G, 8U0@cZv\}ڿx7E|&Fk53#1qcBt>͟ TN'¤Ff~3'Z*A'Pн&E+5K#^ܑ?$D>AS,pUʃ KZ@B=nji<~Pϡ7?bC;7H ~7<ӰrDhO(1_Ψ=hͽ32Bz/$0 MkQP8זZ},4o$2EЛuIS7 }tu3C1'R?Т\pGgU+W+3D g' ٩̗X4 7jR 콻3k@')+](PNTԃ~sTM &msDwCRJ~jP IDRB?>@>U :)Wx)҆܏=Y׀Wr VR_]K}B_d"APk܀d^^ F+^`F—YYU6*>6$\/[fCo,^""Y-!լ87mb~_>~(1ƅY-`|ܿmk:@ۥOV)w(/+ڮ|+{ZlkxR\iV #y@ 2/eA=eu'cu>.!+"1*ԗRS3yFblTAZh<56Q厱u{Rs&8i$O;YJW uQHt-GŠ{7d1{~{]A}dkaWVO]d{tPRZlsM($KI-Bp=rXdSd|n2+KO/> cKt]SwmOL{}!!#/`~/ĒcG+⠴;%[$Wudq]Zo1ɕP=6hC5}z? aסN<'m!T!_ɸñJ1D.醨Ԕ%7 nF DYe8_R9cm|=$> BTh0t$ so.2c . O~&0xe&\t}M~qWLVTVex\^%qD^5Uj^WO"JsDiY"CȫA eEfuZBo1N%Fo@K+ f~a;-F*1HY`=5@?arBtpP/id- Tr'w:*  x!tƐUçLa hpU@yԦ;FBo6tO!Q09hIByP4c/v@i-= P19Nˇ:R{ѽ0Kg; cC񌝀Su&#JA.lxL8߭4 I].|byB'=];5u&/W/FV;H%b>F+8+^T2^G$Y{9֮!t|k"ylry>=戵S8p!@?e9l* 9< `XbArr#$O?߲ӓl.՚%u,@SpnNx&pk>ve"V؏9\|(" 22R*X4N& ߍӥE0VWhjQZlwՄEcS% ~?>{ w/ݍ!]vl#)"0w @YE' + (rno`T2}ƅcl*R`xgY?n5ctJl0"wP}G!bcn}I^Ѡ?("${ FgBp&/8=}ّBUIj =}l\L&5҉oc:CnsWY*ȵ6>!KYj&H>mڣ& D;]zpN!S&gUK6Bn g8ݴ۴-<\0ړy@gDOGtO3錥} 淙|֦Aᇧ>O|6[GX7Xx$FBx#=b2KX.t|/ZHqTo1 ZV ᐴ⤫H` Dx|4T4ҏk(&ch]o]ĥ*v\+3n'XeWPLSGuDΰXuN $%bhFv1X Jr@U .R [jC~wtզZ"D.w~e VG@s,"&_΃mv Z#l 0BE7NF?y{ܽ@8hC}Kޖ-yC%DC&.tZ!䃔IBriDzAY?ЛzB\XPTAx*}& o3>9ݑJ\7AOΊG&Kopf`3ԁLDg*,!n<}5y^9+*z%pV 6ůףCP26n2Z^ LnC& &>IЌ ! 9 [xORx.khL91w'ߊp mw$u3-HוF ,_}Qo օLa{ 3`E͝=tUYqʑ<YȧZ%gGÈַ):3}HC+?LS[c\{կҩ\wS[ 3h ƥ1ׄQle?4z p=znd5Jҩ7sjICp[ = tL͐V)%Cƶy rW˴n #wEBo衪-Q'[n3&.G2F=)W;7:<\SF,b .  d][J5Y:n'4}. ؛a'z].6ٮ2Pt 6Jt]K|cne9ȃo] - Zs]d G-LkJVnhƇ>@0[G@OUVi~$G!:; "ֲ91 sBh22cB;HI> ҁ#LHW+Ždo9#;>Gm^mm@ʽ&]ro3L~ .UhE SOU6JFPril933 qiQFQ k煯+l||.Dj(23̻+☆c܁.j$3'*g}O/Į1^ڌ0/@,0yfg34d#^ŸZwJYXGpaˡOPصB-I氱QdRೊ(N ў݂|:}"w^pBfC"g$T--L5%-e:+}N$v 9NrY{|\ ̊G>d 5t 6\5]t èW&%QZiJ覴1{&v ؍$fn4e[?$m ڐp㌂Hޒ~Ev/܏Cu_WX1[s\N_6~ T|:DbP,=}igx^v&A6{- Q^*h#Vu}Hv+꾿ѵG5ɈI{n0~+Ji.U{9XzW<&SY<Â͝]I>eD{Z{c^ [xЇSoU- 󺊬 `|8wX15_߰q[},t ;IXP]pje;r=DrvC >/14לs4sib^dn $p#Z(t"6OOxnS%K±N3;,v"%} `{i5O15=$4|5kޡU1wfxP 0T :uHItsMjU;|-S #[@#zaN-eq}^ :S㣔 Ꮊ*U]nY&Ge.]nKꛍVx$cugk=}+[=Љ7i!#4yY~cIsnXL|[kHM59L:{UD%OH_Y^h9Y(4zW- EjKs\M\؇)_v\?JbZ(.u@)mdH&]igzNy'm|ų3Nb qu۾a>)Ua4>Ncb4\|IUf6z=Ȍ4c`"'wL2O] we`2域Nf kekeеB` (X`$o6KSxe77N](#)uB;5?E4+%3ĩ,QE0,4?,=/k2d`&c Hfa+ B~z. c_WOTC)1Oē:y s>l\Cl>  DmOSd*`E?*x㯶~xEnB{6F`*mw7ą#A}Q_4!CZIYAPFz}V'yN-ھS$sr\JzjuEPDXecqOQp ȧV~%eF<xTD uAM=^e"$3GCpĠdVKwV-slt Ať$@HT.\_/ QBV_m%oEAeWM92~)#5Cj\GY݌R%:N!_ʾCpN1fΜtRU mպ&\[򐠟- X3}.Tr̬@*',Sz.4@׾!!MhC;Ё Kx}kw"$J?ȲapS{eԶmT _'~}VP5 k3)$Z 8rGp42?l*M F 9RٝF/1FfKu0쭐?w1큊cVĚP^qG/\pȘ8ͺwG{>9ĤuC]HYkxg$brhtK(q_96|а +N4d$=-àm`-g` f>C~ pqTWۻ>+gnmZ82l\aUجܥ>PJ=~G!] 4O%s|]~fH|[^* `: [ Qa^~N7F%<hR;7ż(v-'@\eN) (t=㸼!Q$%pp~0<ߢB{t$Ja(÷h-T" 4cF$t4Ȼ|@M~7̔q"3eH WrMkJ@²'ZZ:̠CZܛ'c[}]`k;zYDqgt5Q}6 @Jv?]5,@15}ދ~]'Kխݜ k Ŋh&d1McI/=3^mdzA5\ϛi%2鱾fkwz"A<J:XBdh k (nJv&&D/.4;"u?>s@W/lJjm3/kMך*g 9EAfݢڠE>Qi|!:2vڰD(# ݦfF\Ci0XwY㜘CxuDa5o CUYP=ů ;U$1|TrmcjW+u 2EE/" B{J#?KOIޏWY_T\BGܙ8O k vrJBN/XڑD0zW6F^i66IR=0ٱR HJ'mn`5 |Qn ]ֆ1-?Mo;zcM@E-M=Fz: W#Hj6VA Hbif'4E}^8^_HXqfeN(7S$C1>݆kL/<"dgGtB0WQI7H0[$vxjb[T@ P@j}' =MsCBN$9%uA45D6 P?6㡀PYD]X 9[g6y&UJ݁_lȺXqdWی`q4wE ]T¥9VAMLʫQ/ڂ0GK*̳|t:Vð@:m8T("! q0|PE,=i&h Ǒ#>w)<?+a:䭷+hnZ05 /Y3\(#='պ+A% S'cEM7C=0qXEya6X_h}MX{B]Dzam [(::s5+,f77{ ]_(cX =V;)lID`ᨈt^U2ŜleK:'N ΉLzlNQ.E(Oxו94 -s:"/pUKT#<0)z# & W?"DgɨƩK};ůa;+~-0Lle#vuO .;qUz2\A'Jq<$ppL$ rfmJFw0* >x?HqlxgkjˡR1OozkxdREl Z#_i!{cǀ0bٲrdoRRCKQ3D llZ|pu&@FeAI 5ĞؒЦxk li9=a(./-Ii[ "$7]0Wө0K.l|ɟ;=3w'ԕ%ΝSޟrjOH0Wrpb>+: i]OS_V? d 3«|Tcw 59H"c(2p֨y$%1)UPn5Sa9͗saTΉ|<]8\ܧrd%R.٥,=8_ݕ>R'x{ceNA1jMįD:}D nHGqԵeveux-#%tJZ45%ЇBW3~B?Y|A=RD#i5FAD ǁ4|,ˈPx@upVf8ҧ?bpaչ2@%LW=Y %[^;)ap~vҁHSX0/`c?==ecYh© 4ngQCA'0=,C x\^_οAbAYU=$*t5Pz}no|-itZ~s&$~}/_0_ FXuX1ϔ=okuxC/YmיO:-$V{(9tzPV._T3-? TbؗPjnɼR ۹5>UP (X_#3fgHf~%Rj0/J*:pcy̦3=/1ݜCӇO֐lEupwrXk@9*}сǚ̟:ev{1) ~]P7`7硤.ee$/vCQ*ô"f&g9$ihU_>!O]'/z&aԀbGHߠ`5<%wݍv#dVqi"j"@Λ*\#|8%TNl'">@pN9wx x{ \ǾGNZu<"R/g-rwdtҔij=԰4i M8Aل -i7 ڃb<K䴽7 (s=G^5Qn.G%/r/nXꅇ{ {9Œڠt=2G[/͐/dZKrc} /v+2y~x|$عh-tGC}hj X$ۊ2kȡnȵW[aj~MAÈd.JϪB%1.z 60׳d+$#d1+ 8~.NИsq7fKjQ!|ST#N3BT9)R#HW=u @BHރ<;qX`$qCs%?3nԿ ")w,@@t-W-.`(mHB>):sڗa)1E>.9ȠQxBWL]P~rqψ,sTz;~u8$3"!pY9NC~Vr/QHzzGCNe y<'պ9>x` ( G|t}a+ #+~]zk/]U,> ".;"_֤6,et`(Et_KIɔs* ,r|l 3?iq@"_m E=<pM%W$ZԜI:.7PJIE5c^^Ld8IWt(Ttո܆LNr.NJnP_x ջ .n t)l'E N:W35_g岸_M# FE=Bz+t=I1i==Xh̎u`cWd7i?բ"%/_ZFL3)7%rP[/ 2or;7j;6G!d  d+g~*Aecq℩c:Ȁ֎Q|87lT t2ɓAV إ{'\7(U hЁQwGpxڵUbpƕkT|7ýY 145Pr:( Iu5M,dUtb%N5G@d<ՂpO?b s{cTa}rak2,mr2 B./8 ꅑYC IIJ"7R>k-:.,*+U7xYx+#^vhWepz ۼK eamL=JsvD$8de ZB2t&gyLC -}) peFnE8}RwZŇz!FJQ,I˩/kE.D nq7T5Y"]3=35|4d&|e^t\Y !,8h/3J EoaG Z%І[o<=4!Lͳwqp%(EmHEM(y"}Q[W:XӓY:{4}]Ɵ ͔5nȢ?E·ߌYbp"EI5SO]xd}dC4T؜$H^2X4APb!m%tۆmjOKv/f8hAv{\t/l ߻c$95 fϡ?o\FA a5,G-b / m%WLSjL-!/E}!t0  1+h0fN->M&YS kۈ͔É1+.)v',I Ndv Ihs7u_x1m+oPPFXqFJ=`@U흂8YEqMf_N#`- ~lKnCS55ΐƋLDPLx5X9j lOX]sv^.Tq[dLP_ߓZL.y9Wlv x&t@inldcӯD KKU-5z AWv*VCmN[%tfhp"s"{Kl9ץjRQMN YjWΪgHƳ6}nooBߕǑƭs *~,No+ >(+HV:-*7 Ƈ&B ?fDI<ӒKUQ ld-u2' EJ,wQ|\DBT7PrG/ώ Id=-18a5:SXİ4l[d1O24;Wt6G͇:3NbߖoX1ū[<AfQBO1Z>B< 8g fzn 4ږ5gي%c -"^wE[Y492 Rp]&%|0Tf'm<݋V#2_S{io}zbO&X3em}ͿB"D(iO/]XwojLge)u]@ vhsgoֶq7cո}zX[[,uA/hGџ>,E3Pԇ w0RTw̦3TI~B׏qIanpSw} ޭݻ}GO ڽ;xt_߆V1[D3$sMx$fF^(+b[[=jx쀣/ y\IE r)Zi5q)9|K伨%R+F#TÛ$*5utf$sLD_8=p}s.AO~ l1ԭ4B _dyݥQ0iVyl>K:c lb W:Ȅ̽P_[uΓWgx,8 >ƈa8ET[WbT-6GaVkGˑUm]6)JDœ(|֙^fmPHI qȷn@h@6Ta834=1aԻTmR旔t#g10o\7%`6&VQDM93|ׄje\cUNF}Ht?5XK1 F$Ylj:|.X.(fu QXQgr( l7%F~?^P`^kam +KKYUZg TOlExd۳T\Mqx;A;FI*Lrs.4|[D1Kƙ-7bC`dDGYF$`E+ ^ipr];tZfmkO/h Mqca0KY%G.6fr9 |kJI8q@R߿$[޺:g~@] x7E*٪&ie&vR!To1[>á#_u9Ή-BHEa C( i C2)$]4жoFȋ] gFyP&8Xk# ,jDz͢زEބ Fu(5n \n%9,Z3<,Ɉ7ڕvƸ桑eBU1>B6W&E%GO5NM@r;Lkq A?EcI"ywWL$:2XJ{VLp_Y|?L#n@! t1jydSPN!v1+6d%Rƃڗm,ψ{fEn{+!$glq>Mk>L plQs=?HM6 9d&'o]uRdWc%xMTBg,͆?:vPՎQ?ja}ƪ9~Ȝ7Kt:-"-g"zPF4գaLe."xK+;XY[1'=