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 H!LLl ]]]HOL-Proofs:threads=6elapsed=537.260cpu=1310.508gc=125.960factor=2.447zXZִF! ד]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡCl~oѥ]}wJd+_ nӦ$ B60&fILiKh_f=G5*p uv(U=^נ=/.+:Qyw%Pd'-pY!ׁK;,Lԧg1s~Ph8LgUf)+E/WRvYKz(X>yfkr6P X$/6}`qHP↝^>5CԻ磻!9$I%]hMe vltyvf̚KHF!Y€o0NF#(W/)"ٕ cfHK=p&̭%FjYY~aóI+z \5qzRMK"9H5~,lMabA4ť. )@+ZHv[=VL6 V D߱}ӝ&D}Ʌu)YhۏkDآKD->BkxG\й6@yke| S&P #z#r93V:B]^!gJ'B?]҅-y$!&{Z2%7BY<TwzEE$\fUinL_9\3a7ӥ>VΏ5 ~,v*E[Тpɟ0W[(:bgOxf_Gc? s #Ih}o͖!Ġ}sq0{Yd%I17 >W{  啷~Xؽ\*1b ÎtS}r!^~ӓ_R`bGHTaց)ɪ=Z3vE\vqV"NlIv׺󀌧&s65wP-ȃ tc%{L?X2=MU3BV.$?+FH-b \ܦL8Ry!簠 C 7~I y=r Kѕtk@fjg%d}F?B+khǹLaz$en*ux+ފY'sF[IUuCSa&3>0i\ʰfG*Ghτx~Hok$`1YM ?rFzc]:m~gwp6{@Sg6HVP#yqLkHU 7>KPaX ̙0lDU]v>2x`^iSU 17]Qx "1mI9?{9[+tTZ~}8QbCeB6W.Fdz`կf`1pP,ROQh{`lS  =3n1-vH~Dol6}Idޣ $Tۋhq[WSVDGyy9RrcIRk5^ӽ/ҝ^7&E<]?4Db&"=˂H5i8 Ffr1jIM?m Y xfc '>!J, s`A?F4ofBI|fsN/B\cuut{zvCgAIş8"*4Zm 9w?^-yPdJiI.S\/jj{}cVɿ4}0R +|jŨE`d$Vy>XeN vW$q-Y&<>w/JZG8~Ƕ8ؿ=qf?_-)U`:&yRM4^ aqLRߣ'su(T[|F_IBGBW}o4A8=s^8*&*3w[܏T3s6gS`#K q>ϪBq 4ȻaVpO$d8{'Zi&a 0RrxsL0L, qhs0#Mu}f% k_x/L/ VaˈʺJhnoV杜msNp.*ܿX;/(0rBNČD`ٹ_U$l(Ӎ&\I\ N7PQ-`S{> w.9m2!"f1ą#ˠNS75bJGdgu1+m, IM4`FoCPB7;T)@"\* YY.WR2 ^dQ%tHI6ch5)I*:ehw&s2ca?D'{ 4wgΖoh {_Z|3/)lqzPr~/I.b|\R]Kץ(醋QF ¡_ygPOqV=()~W"^On5y%0YX'zhC j4T7*x%gG4{ %'5q@L81uWGa "SrV&X{;˼|J8Ο`W2y:UK򔒃M0m= {E3,îŎfxiJdSW^mO L]Kj1 1ŧp?G}'nUؒ = 9 +kmP-}^+!SFѷOg PK6~X/xC<:>`BFmf-̍?qP`%,s[ %s*47؅fsоPʑ?t7[uzX=y8C n>I;wY@vTĸU2)>3k橅nZ(kPVzP[ \=l#7O#ȔF-c<1-e$f_VS=0:{BHbx~Jmɗ/N*!\]y$^mSbX`gz1Vp 3&unX\971H&Fr$;hϯGv釷'#89 3cZgkP]n u1 h.DDb]ϥ0qRS"v Ml]mN7zQ7czF,@MuFSY^|f\14~ dĿx iv1ZEJb+pWw`v/?^-$xeiP.qA_JU}1x%Vx9l hClR諭HRRd{q[~#Sj*mъ~;,6[B 肤P jR0*=mJ ܯwVh(g)_2/%ɪ,$Y  }`[%9ulٙGE;zxNm7 k͞m<:PC*);wۺYU^F|o[ [uDhH5[->Ҍ RPnö9 h 8(n`zZQbv%ft7?/X(h;{{xУG':[R5&1T/Ni#:57gO~V* ML~#HqiqI $a #%|`6=#܈IК\!0щc)J Ot 0 CyF£CA N}E{c _x{쩡0Nx,*f Vm/X?7?§F4({>]B$:nxT"~)|S:̸30^(T'|%$D^FǮ&-0YDKgSE,ٞCl%n#{{xݯ DpGlBP*28gF"Y׻#G%8IzgCT0aFO3gѠ)9˞A7aUPo|ۺrsͲs9h!hD|%p8P=ϥLkBf$~`/ubdLT/t`{2)04NXQR䍷:} mUՠ~W]7TN> W=Sr_{kZĺ`%. . s[MՇᬇ%~AKnjRc@H}>'H"kNc QE"fS+zMEŞ_ϥoBz>`QiwLȝΆ 67ζn7j#o;!hMK""J!Мl!Q\2c^tג ,nwoSFcOs l۹_)t#R>;|7gvaСsJ|g3fxA8鈼n&H=R6"13rͳf^z`lԂRg~yH\k3b1(@d]7xG3=ࣕIbv}ɘTd4j/59 x/LW9>jCP6 _i?\UJĝㄳTVT@懂HaskIbqֹnWp*{ ?[D˶󔙇[rZeߔD`7Y z=ҕatb1!4qy/igYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*XfqE8 ,#1ӎ SP X>ߦ# 8ETb(M‚pCMs3h4$Z}UTP]ޢ@veW N&OjElŚ7+}&9R zAcgDy1ʁq('O 9r9bMYvd+PCUSfPG_H6z kԁf7dI P+v@Lx֡Nǥ8BoYDLG Empue3 7i $ 朴fOaQD[3_"Okϟ2`Vn;FmjSgj  $(N_Hrub=+N6ヵ~&FS] 0t&qI#$={ࠉo*K.kG_$sTH 0 ,ȹ"}#,sg UFL8lHD :,-l2y7o!h@J9S^I]&mnaЈfqd;_UTP_j>"hg7eBwǭ~\ї!8T-o/o Z8x_aխ U?q m"d[MfH yDԈX;X]Be_sG\$(e|^0PVS`9.*q)l'$LbzKKbjWufݠ%2M61-b~4P CfW@ t@iZB[f܄R췲"xu1t|`S|z{LfHr V[8$N=/+ZHا7݂I k19 (8x ոflvٹ}s+OT)`B.V:y(|nŲi>%Ғ~"}4 -j6CE*<t|8tx^0b.HE~F۞R1ywJ`fG'S%~7{(pkf>ń:Z$-/E] "D~|$tJv\}0'+[,w}! $,RJͻXUe3 9x9̣tI Ue>8 )HbQRܯ;- 2?QMgYZ7zXZִF! ]]ŗXi%EW]•|z)he_BgT):b/3$A9C&h ))-(⤏J H!dS '󋜟6}֧FN˚gP褡RB]N'opl#@hpw$&f'rB\:,jfz Xl#4lE`lEμM꟧ͱ Kנ r!]r@Lcy*¢ǫ!R:7֚#\*AWtfYWK,p{Dv4ȣMLQ6.&Mca_ _Ro޺+~R .pbym < dpB.:)F)MJ7WHUUd @狰3:MZ{#+@m5uѐt#C߭<v;XcƪEoNϦ qsӫ=R(IV(y>{xc6L^%{ļIuOTAVrsHp#  I#!.`&XfҥR@Ն_g(L}[j$7Կ ,߶:%[0&+1ȳ bcX~ԡ2HFP]ӆRkf84_Dܫx2u* nlXEhk8L v] Z0nVGɬ% e:DnoWyAzubwZiAj GZTcVD괯Rylxr65mKw$#phRQK7}[v(Ιc陓Yk%{A9jB&@a%rM&|9sz7&ل * ţ uS 2Ś8t3@Z@%j߈5}8oIYmeR|BCbaNNⱰhuM-,ݜ9J?x0'ʍJs6[}GZX.=5oq쌨\ܥAǧii4/T \:p[X׋WpkH{P@vЗlxh8L)fh9tX|d{wPׄ#Z5ʃ]z].~*[tP:9:X)­*ioQږJ~'k45 >&Y;OL5Ȃ.kh(8<%t(L!!pYp|﫲6ۂʋ-$ӛbLwI5eoP0 !ZnxgjJ:wͅ]lf,͏6eOg6Q^T|Lz*6"EsS%W]ܕ<˨z;T g8KylP-Գwci+=+7z|tuZGV`=xVêkϽX$Lji/ku Zڼ7Aje4pzFt1.-}#r֘@g` c6zuӃ0hdp" BuJmW @^k'ս| WM=x̿~, : Y2*H2ޱDrbFg9®^DM{DƗIN #RJ\Dj '9D1Q_#} D1v?2n^.B&_NUMǷYh|JE!&&> H B%IsUG lTBt`bY!i1+zljФ#zX+.=L:W^ơb/PZlѭrOx$0L$4D6G dH eJ{4߸B.&9H8KRl ,pwI@$2C,<'fSDiЎ'+a8 \dFE&\z"@ zʆ33SzOJ".C.̨?^먔ŽTқtbaC%κ=?SSGf8mjϽ_eC,nRBGn"m"h>r9ŒTTcIH1zzmU zne[yC~TkpѪ(pw/fgIHQfj{d>iT6KN=~&@$,vT*a :մj/*OE\jBwiSdn7bfzQ洫$s#VJkQ7_,HB]vx,Cyds=3o <: z:%>h=aba*4ܞks&4 >ₕ%^6SNhmY%WӆbpNE [;Ts}R6XOMUqtn9eΊeGE|4fv7[:d31O:D(>,I[SF`ky2U}nYg^of1`%V"#F\Sp9:5~0i"WHft:ЎrGAaW`kHOPA9{Y$:iqw;q\%IkP 'e"~qqOYoC4"{PNj T6Ɛ5&Bi8Ze޴f kJ!X-mU[{F,#^up$M=l߱+|n@9c2ۺtk:7^Q(-,.ɁM:Cr&9 Ip #-HwAg uW)^E<ԙv{dwVx4}@LaS4_ϒZh Y+=^itsFC78 {%Zj+($-a$֎ kfUv2Yѩ,WJ?U 6 E`n8\ )k,4SUHxw?F7ޫI;M\8O~ ݃|rVYPP;{-iqW~ Shsߖp;.* ,8l,(U?b+.*HdUnŹb̚@ǜm0 {ɌTd-6?fQoeMq[[j{B:mz a/ΪP3ddCڃtgQeȍt_$LY9nMc~[m@&|ZaSI)%ԔV"j|$qnx9+27X)b\D}T.FYw~S>pH|2_:̽s){n I=<*SJN-p, (; }xtk2['R{D_˄"!_` {%w@5cȄw /+xCIeux]蠿"2 \-ƄgMⓍJv!n w@~$$<,sk0X+ is+[f D *xB% ``±3h'<3B *fO7N3 -]N}Z?Xdl>1(&цM H1wEޗ*H˹+?ub|Jx~l {em!32 2-jq/vF-v%>ygLkr-.]ϐq7`Hyx`׶>Fb2_ʅ3vda*u+N,rC[0\PwL:+*dc#'iEʤpъ*bYޯ!Ĕӑ8LAFۍs=N>DC@pCEK٬e{aH+6f"`@un@{U ELl8s̮vvNy/_H U˂+EL,YrQf+@ H=Òk3g /㍸>-tӓ4޺{T,+#}&%U|fܷп҅ Xf͵2ri j$I稘a_mzF96bc_@ĥt&eI11@mQAP~\"csmq?33K& #spOM?d! Wm4#ZpޑBM,܄_KBG 1-`6NFN}n` b쩤H3$JD|IH{ƒwgtZޏd(=TE;:2*E'[Wb)P29FΙ#QP9z4gz2@3I&I)Th0xtH(֎gl_>$7f2D%]~h>QfiH5AILM֍W=2٬.ڊ* xVARϡZ@*?'/<"cl:nqΘd!py-˅BP郞7*ΪQy4XHnθUXGw3wW?#1c1`}|mqhhk=$ gQKY$:1&5 Jަi_s+7eLQ`:/Kh4Od`KğD*X#'%aZlf4B ڹEu$0cj zƹ\UÖ{^*PlA;X>Da0P.Z^IH %)ql=;|,A,Pz\4МjhxuQ F |h?28vrף^/0mv"Qx/ 9Z^zR(70vNa (ܗ^{J^UnǮVYx ؛N~Q-%%0!iNq /TLxe%Soo N j@\u[ji!sǫ}p4 0z 3qWœL昕-#r`ϵmS~-ʫ>抅#ToG*%aPoaImbgq>_9t{V56S[5x͚jP^-d{fw>fX[҂#7vݣd:vD*:f<ZY"~b"ahEetA!jw6>Q!O7~k|^dr&8M"s\~;TS,zBX˛'eqB\ {}l`}gZs\(Qض[m$,8tbس IO5R$?t͑348 Rd8Sg ɤq!*0il14r}MW[Bhŝu_z]ܞbq^'m2skL ɇ2:gĝro̓ Ԃ{ ^}`by%NeM Gxh2ފtm[r}pL5PLU;X \Vx )g.vE^z(.Cnp\l:[>"/i[6–-/.E-As >iVԐ5I/<X+20trGN{]7u@Cd+`O~?Q@tSq5:sn{TOD *yca$Obq{P\}j–7Bs?ih=2zoZ`v O~3s! PpQ垤T-o{/u "xVAӵ-?:y`'}!d|q\̬ [pgKF0$H7z\#X|8umDڙ=W}&ԗЌK6+BYqPBJGeIﴅ͖􁉖 G y!sB7$7;N]x{>3A2b[h"`#jz/ ȵUL;l Wi+07`8xB&©oy]͇̆ osّLoV{]8cqiv%Ү0ie"=MPQ 9v欀5պmߠ8cI)C:c.}:S߳aR]U)g]Ƙ'YcaDh!OBd)ewljGTVNUQ\ZvǍ} 8WѪШ(Z۲M4U~UfY/~! yyv#vgwa;#a [Gh ˹AĨ8i]vc#4@an4r2]A6uKw1q(*cW$m@@2u=tX^Ҧۜ+NB佤MҗX\}&ՅSwH(= +` ;:ɑ`t8Ѷa7Ihz:ם]E?94 :> @"owlB3HYp7TTLѓ<,(\dQUHH X>s2'š`uT:YђՓ'@]ktm"+ә0vAS8J/;d. pxXv4suG;=4k~ا|i ~ 3|E?Se_Xˮ7`t7Q04!IxB`n:8+Mˣ3z/~i:RmxXCO*&zk[tpW &*_#zl4]gb׍4xt[SAE"1tD`'M?bB_/cTf:7l"rP7mLm~J5X&D&TbO|Ao$]d@%'ZZ$ F-)u~Gi Wlԑi7h|͈ Y rYA?@0i%c\ޒk ~~URv]:qc3Jz26lpYxҗÉ<:LMw;4B ?TJći{6]itbXދ=S Ij#=+װҳuBh sz{BxV8\m(ed=nu7s7OH`?^.k^sE sh:\|y_ NZLXW X:.7FF5j&^@bmKP)dyu:MPhk)cNl!SC=4:x`&(dyF3{*j`VmzI>X81"Ի1{$ϺO"t$;}q*hԹj606miY"I7 hjOʧc|# J8 4!].d޴oIФ)jI-j#A_zŝLk 1jN6.z6Z~+;#Ds'=I"VFiR4KQ CX%)]8G$A8{I{yvLBG@uhDQm?F !@0 %R7@3) SMR@N<+U +g9H_-܏zL A,nf um-NkRcE[FfG%Q L'e§gz7.8Noǭ2iaNfl(VXVTWә6Ʈd|Fn({"UA{)?|=];xe4ڑru|kI(IhNA^e$^όBe>qCuN8.~㭠&?gmfM BWfK/gG :H^AA7a%Qa0&0MZZ݈b!bpK[ w@b7G%7 É/p`rgILI|TudS *}O*cYmH+ Ox2Uļv̸=JWWOEo=^N)`j8 I;gs#JE͈f #`C<ùoDfj/F¥U;=E?1qǂXB11#h \=b:iI6 fZ.˂〳q% /4&W8l4k$ 8Zf% 1]I6YWRuֳƠ0u⒧ bkȾR yBMo~HI3%!6&%kmCc'~I/QA#{?׊$ʴi Qo俾oOĨf(yk-soBSL :sPjڤ&#"ې睗ǯ LbT[yMŖ}`ȘJ+ rDF$y)zo(93uҳkS{[e :rtLo"pPD8j +P"up)l`)5RGWHAQ_tƒOO\9kJƦwrreJ&T-.\nQy;yC{g,J7j0r~$+޽J1W=Nɠ=JD<o-CkO(' s(YryiS!uV\^[](ԴI\ -0#};eY^D3iW_9ɠO`0F )3/C@c WsV Dla]#MGWWu{~= ?TGh䜾ԻRP ]wyc$fPnr$ހ[E}JΙYE%YP]̔rV_`u|1=kn(b3)aohE2F&qLN|+yǐ[-GP~< ~*QoVM]Zdm})r~Ms7|7Ǝ=!=Z H9i{`&Z~Y}쪶B/+.ނvjse*w/ZH=е< @-"֩K\곋ΰI-LTق#(m4c{- V67QGe#2~l-KJi`7! qpK F)-ON  US~.s@j)u[L[,48#yX$` 9 &a%&rkܛP=rojl7%R\N5嚗 |\{RwS-{nMY/6'"NtBB@;7Ca' OƶE*wӳ>< dԐt荈-Q1Zׯ&d H#xal`x`p2*ew*vcχ<1ZYk_:A6?x~RԃLyuzb]*mU$<]E#Gvi? 0 AC: UjusIbÍ`\x_ 9e<CvY?\Lpu rM~iVh,vȬ}?ls5e^*»ea ?87ː% ӵx=.z4!v=)";oT0-I ]l~ )a"Qj;9QBcàlz}.4Z`؄l^( <gvPgVEMŝ^ z^W7?b13 (4Wܥ2v!0v"8O`#'yWdO2G0= O,"m]fb;OA pC//b2AAC;dx_꘦O$4 04f1u\d)V`!m(ʚ;f+e($κ gN+X6b+b{x]DzA7'cϤ+Ѵ8#3!7DZGq$;6d$jJ9#tվg v;*wC4|MeJ ` <pi̭~ 7(U=&a[x32wPEs)ѹtRVERfdH[jt`QiJel"5C:T`? {cN*RPL~`hsX;Rh_;!AہZ^m.*Ʋw= .=|!T@Ъ*I׿ezB4j#ڄRo,mS g'SfJEC(3$ZRL7B4Mݞ:%9C-q]yd7^ CeQ$+)Y NV 3N+=}UD'gjr&(Pmdn5UHRdPߌ܉luOMghb q]+f'Gu^R/&5GyN;oOuT>{xw3;ae>[fʙb=ؔnv=GN33[+:n$lk/$zuԿ)G5fD}K\SK3-,ۓ4,&z\]^@?`5[y(ND[\Tps 1)4O8uR֧ʞh BK/N '8Ht8ĨH[ӂRe% JQB9ueL1`Jd̟5Yd,ޅ=.?,lw datߌH̭s(f RR}"*FCBaA2e A^ B3#W.tvD,A˝UClQ} Y(rKjI+^N!OΈfÒAjJ|g IsTT#$BڝLde/V"Ɯ2a(WR\'jL0\p:C$rJ58z [p<_^M\| vom9)sRv ]qÝWUEQ3w3`1bJA;=pzgq[zېr 2[(_f$^+h|-\Lwdvx"EhJ:ϋopJG@7?LXɡ mT$볆t~9WC7?鮮P@C>y4RchAB`OL6x=Ŵ+? Z~p_|'uJOd s, /@NYv&U8&ay /`;?K>t%nKe dN]2D8 ~RGP1}@G׍ކ7(`wODBS@zd./D)gCw8fI[$xҡ_/>+ܦy6 )(m.=/NRP.e9,w]|\b vI7t %cďh9*%maE" 4XҫZpE ZW G<)2zin]wqaFZRyKi-B0GHm>x^ 2$!ynؼ$̺h+= YU'" mzF>وoXx0,C\M}eEUci톳:#kfq>1V[~(dv?P'a =ݥgN 1Ϭ+xT˪=P.YÅ@ ȫ_j1$k0JssV޾5o˄{%R$)!گp&zXcfHAO,3kIޝ|#/ q^:<˾a(!q & 8Ӳm?ӊ.,ý oU6ŻpZ3?)G[xã*6m W)A+kdjztɄ+Ja9H۴ l-KK>ӓj@Sm2aEԭKv}t :,)g\j̗vSRz"E`wj̘, "`rfCT|t$6uJm_MQD.*XD)N뱚ǧs+ls:lED3ޮ-(=h;f ̖_ 98br gmo%>_ѩ~]g36jaGftwn'wd6*le?>c0_01\WTPّ.t٫Rr|*"`$t:Of>D0A /v;zx@+HC SSԣ ]* ٺZ0-c*CVvsa'X*:\15Y.b%%T%K.5Ԡm\LݽDuunl2YO!7ro2]i&糦{cP14w#TAEXR*YVEӁ=d1̟ nhvUF>\ 'x5x,Kr8#yBTI VkT^m*u0c}b=Ҁ=9FD9Govg z;7RLRWx2b4#LzH!Q>I13H.)^ %cbU\eƍ5^xSB ^o!s}&[c=3UK<'ahg#ym= Bީ!6Ӄ{YזbUaX~i>T ʺ&{D+gIŎ ,B{" Wue{" 3d| A| bSY%~۝Èp( SU%^Ff7[]s&ri~S `ۨ6F> \"jriZv֨2 <he*v_b92X흥?/GżG$xS 7'l B` X"A'&,U!voBVLU1tO% ,m΀9fdOhv-&e"Z. u^:/۝ǴM7ALA22e犵aHeP".>HK+8K0f_w%_d:8dˬQzU½F[4haNBz[봞)lJ^x3xU r{z*fpӷ]⹙ pdDdAbo s+.' Ʉ]㟋an$gRPN$k_5 &P=zC%E1'Lۀc1%ō$믾rażA#41˳27X ~CY8̕D?M L^dMr,>oi O͊rЂ5-%^q1?#i ]E;u1L.X}}'AWY7MV }g~5hd#M {Y ;SDCXRi?!'i1,]L]{a*!Cˣwaj]ېF.!FSq,WME ܬ3vAr+[\ȥw"y;X8}w/%<⎰9QUСnjm1Rd4dyk*4 ȻU\>n@#2]1(CeY`fa5zEBXI9y'U=KOӓ'(`Fi]=XەJKLcZ‡?l*Fx~)⿑bIb%9cqFSWqu^e=pЀB,P$, ]-@@_ >*m4 kf KsǙ8x&Lz?v9+`K1(R_Ї #H8`;$j6G+י~P ~5ҕ ΊAO-a5s_j:C0vY8 J Y^,ϟ[+b^rSg.o8b> 0-U "%Oōd&AX!ٲ9K-~n&׮kRM[e18!LF. "AD+]֨֎N5McHUv+8b~r=ƅ z0&zYKhQ$E`"Q1 hB5aP,'Mkz`>؝@38$'ڈN6xYeQa4X:e/.ޕ;ovhHfKTJe_Ɩ`$POHԝ-( g9!6.7^dX]ʄ)H 5[ܺhw ĺt(aBד^*=X PKjr\1VP'\+!o֤J jPڙZFᨙK{ÚZ8jġbZCIBfDt`BU }2B\\>GK3y5WA,;*X?%)7-{O7y#ho4!,(Lr\aժU'eKu'v!|P(5R8:e1'E!86:X;}.N_-Zw5sj+ ,8ev6"xh ky,Bcw켢3 YS]_ZyڧY~ Rt(\^Oae ŸI1;8TjԭtRTEWzT 8{DM\k~07RIƴ}'x%D% 竒E@RI(8g|[}/K>jw\_vg`KϱjbƳgS:.';)V"Ӕ" ?V׻ ~n[I˻\M윩7*E1p-2P]f?Ttj 2{JI nJB K/% ` ;7)#B)派#NCE`sa_ym.Y vr#bgw\oB.|ڗw+JϽQc<656LBu4sx0CJBkĮ9Ё{z! H_IlQ 3e&JSApSlz|S[:8N9bLmRȯq&d5xxt~QNJlWos5&Vbx@ZK% xV[ܫd!_[t?>_ ٢HAeEwμ[4KqnTƣB'O6 <@E4Tk'Yi~쁖ڥЛ݇NXDU2!LL9Vo\T+5ǢNd..*B}5Ӯɫ=3ln PWr@jT=tPa)Y):++fLʡg4(rԈMcz}MZ[plq?LŹ|faTp/a4 Iy7<ʯOUZy8nr5QB i6u rk -8 J/;%OO;BVBWwH̾mvʙ"a1ܘ3/Vؽz圆-W/IҿZ^ɪh5`@C]#*a;!3!DV"v $*6 up\髇Y qT͒98P O?gJbZ9#շxʾObj^7O'"Γ-wSz|ן"kzPn,'O$~TȦ`(cղOJAB1*nW@glhY7,A9Fkbڐ]߽8 .)Hܳ=@bnL;m~i*rVPC/1ў'Z j风xD>dpW&`+7"_qflOrfHkg"_L:ˮ'*K٫.&'4EiJTQN6+ U j)@:F0tK-٫-QXV\'[jEό@.zoʴ^^ a8)gpB|M8z=[p&d$fv(L~S [ԏm/PF(fuH8.ًJQw0PJ@l=XFӉ1p\Q)|ˑHz6a_/O[_'/cFq|^ǵex3B/ t-lE[ #ȇbc>I{laB㙣7e2%TѮvs tmтU~lK @bHXrߐ7ؘ;^)\|8P6)o.~UZ=5/LbA^ۂ}rШV 7O.- hx_v>ۓ2>_x^:o0Ck_gRN;{yCs "ʘ9B0 װǸjǞ󊚸.jLB˄4vOE 6a@9QtaJ>*@#]Gd֠jV1h~;ˆ@k]׎A(#L!,ښFbbXmh9U`9=Z.'!Xh*ӓ;0D`ukcnxZu[@hIr[q io⌆.Q杓8]Ơkz҆nߊvՊbDozkNڷ%ZSe Ud iIݩ h)ue \ 1HE=OE6q"}!z&!/G% T TjN)1$\xP'jqȆ놾BZO"lG;UNsnsƜ|4JIx?>3d k (Bq8xow qz+]a2X@&ǀxvתl91 iElru/b~$k+r]sRVKLڹ'K6oH-C^ny5䑉k>~@_q"J [#kmf 5(f Y{)En]H# +0KgzfN΢.>|+^ZSJ8=("uJtOp: >Z U,>~,@'l~>D\GQc w5*[-ۢ,l{~kAЬ̝g\Pd3LƟw,B PrqSev 7|\Xwaޅ]ES4tW&*\T"2~xGE= w| gI؜rWׇհb7m~5$(ezZ&t@ nR>JAZ@X"qw:3L"dK灳h~TH#,FK5([~_VO"H-\F?BڀE5ӁƵ(BMa _woʈEdDtxC_5\rBd51eF"OA*bpҠأ@uUOj$7$ eؚ3c@ּjj6V$PQ=Z9BPc?tm5G@a[AnJ8ZB=. I7ף@7!7|O> R3p1q<_P`-pۑ$e囝V8.?) |DP9|ɤi ʸ#[?)f"NNY%HHl]dRj9eӅlI:?:f0O_Xk[3lƒ$:Ԅ.Lh}FD(:Я e 3F]a=M|Xjyc*HØ_$}L25LX8ң4]|.tS!D4͡Ֆ0Ee`Q1i; k+++Ȧ%`OJaYKIΑ妞*ru-<{qvpf$N%S  ӊR*=rVNKjyKq(-)3 7 $]y,|:5?qst$'pkCԡK:gι1|-^ ! J7k/&j]C:=$>{i>H*w h0apvf^+q# R񔹔08rBe0B8գPWrm'Ay%I J3?t 9/F3bpG~3^`*7eJ|lggL2wC$GʍT竸_}ЍWވ ==sι mI11EuPfy `4WW1[ Jo>8t>ᧆeO6{۪B=B`G~}zqƟ+eR9"I- %WrMʕ rH;{٧$7(ki`x` \uo&Y$!MEcϦw+1v.t+ wԳ>z[ B9㮻UA "w2gkRz?2b$U-ckHv=Ӣ'}>i %w53l&PyȰ;'rɻmr"Q?ٗ<4ha4'izԸ"X̂6ak30hY#_"ϣ;f?폖U~G%yJr_ t:SC|7JAǶz 5F4B#A%i:.¼[˳8Ʊ7Cyjyn0<_,SeR#bltzFSAbx2u9 h+hl{юLin)VFK{۽1e1LKE$C=b^@D`!cEO1\fI1k#1?}tɈUKh g!gjȢ$Wq]P Swb@y o#Mv6da8!x"iu]O'Kg튏c &2;gBRhr =1[y$ UdǤ]|fǸY}l$У/qZn'JPdJ owt ƈ1œgr92=It}XiGR&gCfHdE "hपQg^wLnx.GKdž፫X~xdgS,*WCFX8 `̟ЗxfԻ!3|ypdx3?H6d]G'4c*'81ů>Bnu7LcTnڞ;6w1kXi{r0.3ކkHjzAE!fsM :6.JǛJ8HR7Q12ṲqHם9t1zx^»b(C ][,ZS<"1({==Sp%aS,X\$\`. oTn/[j'Sז-.g ָnjq*ַ?]őmn $lA$!/ށ=^ѦU;5oO]DEe1PDSIԦ)% ozćԧfK I5)c})Ӥ@Cc{GGUȳ>MS܀'+Shcję )+}]G+L?WFc=5Mx_ziG'8۹pVq;xS R&&Q72paG_>̼d ƿTfNd⺋֘0(wl'w]^Nvlv*Q2 Q+Řr0 96A" ymaPaffm}pp="te3w8m5$X!#Zb^ j(Y _rۉcXG| hdId#Iѿ+gI q񨖺wa;'ȧA{by_-y@SIv F UBtï47]LypAE_Y7OUIU~=+# DnBsA˿KҜa9eCŪrHiOsrw/DD$vI9?AU FmbNdĴaVM  2>hJ/cΗ wCR^3 HDžd-gH!A&RygMK W pK }k?W;8Y(lGQ'$n8k+(]bj\ڂVOR2˖o̾/;hak{MVL+"KslӊEjd~]0!'HH`:S^^GVJt&Q4U}_—cԾr x^XAM~HO:OQ!ҥyv/B>D5u.Zi/3h@RCC}%"A笡ÝvV 4qvDenxʗpmHivw}5G3*|6nf"u/3ZELRY7%5Jk@@]zfB/ u;puE)r'+5{_5?`9^n8,’4rT!!d>W"Y5!%`j:wp[ WnZG|?\vlff6jM^N!% RQXz.e]esѬI_][&y6F.tˤzWQl] R[ 9!@Qh! m͝!C{㥀pYwe&DH  ˆgr84^5:lh$a[<E#SW,|٪%XpJ.mz8N^f g,fY}"G'$ f$|n.]h4&RܚڕTwZ_@&ڪ8^?fSLcնh<fP.i/}%3I#Co&;1MG8 #ul ]g:MI3BU3jڈ{+)&uϤp>7,O?e~Љj\|${aaOR5c>jIuUcMu朏Ai39Nj)kT._U@.95,mn䡇0Z{>/M3-7PJZ֐w$uJ29wPri,PF;P,l 칽v=Nx5SmZ@-&RmrY D'nB'1W?޾  mq$W4X63oq ]v6S]yKmQ5+9)8Ya|q.آ-C-@>v;Ae.Y^.|L```'7b ^".=6es:8;rԻ;*IFRx24EMmsE7(Sp7@oA]syfee>`:7 ajўR94ת&]/S {DU,Kf,ƛ[^IѷKw1r _΅Ua]Emok~gdWv"cy $Qso6%q8@5׸<ץ'DuLL>,w*f5CvseiauH;p6c~EQoKBM5yrI@&M\0;]ޖ]lrrp7NJ"zyx;}>5[cju>} <{DZda_'[B e>fѽ>9(9I j1ZuTR^N3m$gf39tՅw=\̀-;]&lؤ%k(T-Ӹz k$ ~rߍ^>3,ӬF *EJ Ҭ7zag5^teϜۉS:mcm/J). .bQ,ngzG3H|n`hx[qׅ%9%/.C{N * W|=Ḟ4B.Tbֈ2WURhDux gkK}p1>Ь!moaoZP!MJs߱BvUMaJ(z-2-NGЋhvV9kXyToK}H5 w/sSak `j~ń:FOIF\$ކmD~)n DCgѵdy|L-c5|l%XNh>H @EEXy0<,WR5ci1^OpOqIY_R9NttKȯ.V;rᜌDF È?Q]4= #KBL"(1e0 hw yN#+#K8<7)&C  !JfuHv`o9-}ܟ,>)BR%Cx h{QO|ccCݲJS;t+˂i0ڄm6Z3 `5_[֙T2λ]3l-8@Y+މؖduŽƸV{ X9v㊭/>Rj_ BIuI| pp*nDf4Ԭ F1څpaD"`\>tIGKKRY3T$qS.~]I z=hP̓&+8*1†E 9/[\j<%~EBQ-(ͳ t=E2%fS.fXHBQUj W K]DgBq}N"*>::"}qY_2` F0ywY@BAeuEu P^80JJE 30Z0ޫO)= ļ7f3bF.5w]e}?D7dfDJGsxr 'U|P2KM߂8BJL#Z7–e hܰUyXO[RERғ }:+XP ݍkL/V$fٲdop5dqXG\w3ZdPCu2Yx3,nEm6fUH,>RHEFp@Gw%onRLrOw<{!Uh\5a1 ^v'$jsW3oN[4uK4*M&θh:6`)0!e+zReɷhraC™FuF屖H%л@iN񕥛 /ǫBlPM+T*;&tM)QoP\OAxɽ)Yx4B9kU%nOtM djonl" G㈖u>?C1!E~}>@p `Nn̕uAL,#Ȳw`M}EY, s.w30lM`wQ?J4eu怍Z{8VteJRv=)B_P[Nd63,(BKvTv9cGJyT}؃ǽiӥn!B=. =1JfXZ;z03 >N|^/J#seoL{/3BWW"*.ƵPT9r`aö{yؕ /d7 !kk .NXTк>*kjE1b-)Ȩ6mp} t&XK Q+hF53,7X;F:8 ~ ŮX { K L3n &oP~Wrg5Nuv$=TD. $>Lnj)|KɓG0P<1VhzgP؃WtR&W&lGMiT Q;{OR[-qKs}&Fixy.}| sf#-&3 _ao}kg,zˎc8WL?\';6݉؀Cu-ջq $4M_,#9H_aT>{A"֦.4*KUM<#G(Gpzp˘x8ؔ‰RN *b!jx:Wީ1ӅأMfTA #ςMmld$V,]NQ>rX@ƒTJ@f(n/s3F4h9 !av@5?~^R: { ՚bBy6[O/!!e3xɆ}R`m'eC^*ޅ,3̌}SNU:6jVglŕ&΃MC.ŷ+{2ġ$OkA!,G'W=:fvI*>\T!T.tsIG_+0(u\FﷷJ/;{,5q2MqY՝`^l,3$+ճp.h zs\}oʖ7VqAIۦAӅZ.>:P0'tk{Q+o̽c=#7Ÿ/C⌌]+ұc {^> 0pX nLյrrsZc2 v&H# Xz@ 0Y!fNV OuێR`MQWl&OF bvE7= s 6\;-n;{W[bE9S.UBXts*yܩUޱ(QW; >x:SS@Ay,`ϯf)W PYI$u,py,ڒ[C1*ΖycWA!jxz?G/Fv[Vݸտs)Q{EKQIצ|֋<_>li['%$WGЩN/!,(p<lt ɤG!)2Ɇ68JlZI鏧{,/4UXWg6c;MSiDz7 ]|-2o'~n?M(NBa1`oCK{OIwΫY91!;bKesm۝ENG}0*]YoeB7PbNטsTH+5%:L  Tǩ;췽Ot3ߐ-!Wԗk8"n$-A9; {% ":E_s$t0_ܻɃp ,ٍ[7 ̞F#Ǎ>O)iC;Sn4 ΀Jj]}|zA83ȅ88k7lfM7?ݯ9{oR뉵r߲?$Okj<:p1< 85~;ELJi4Xfյpu!:SlÏYj?-jq-%gYZb96ac2a0679d9b9a16ba3e04aac53b3be4797e7578f8eff916f7453c3062e701b3cb18e4d64202c8f209a3e747688d292eeb9163d4bfa45e6c2f82b3