SQLite format 3@ (- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 1l eI]Jordan_Normal_Form:threads=2elapsed=368.153cpu=611.212gc=15.836factor=1.667zXZִF! tjG]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcHލ~8%9޾b> ܛЙ\^"7N}q˽e%Ηlop`'*tìH 1 Jordan_Normal_Form "rnN!loJIBbFNK T&Kb4I3`j Hnuӧ[ _LE kvs\1^a;Z4צ"Th #v |>ύNj9j.*ߨV0D Vqnٝe0dniZzzK&={oĆ@aJ xjBٮ:B+{ɟdA!lD3ŏqI* OQ>{i 7DCaW TϤS5ļ{6"(O{!bGbwi!WgY#/&Q]R㣜fWZL-!n̠ X ,PDODQNB˲Z0vIҥT 3,w7~Bnz[B]0LNr8pSÝ gUyyV߿ 6;RGr"a~ vaIeyF͖,%b(}VCxsds@5?<;8̅CzBTo2uu6%p4F'q_)Oe5{#p]k׆VmdXg:a O -c},Q%40T碝@an0fHCa'I`b)TI`BxdJ~~݂&d?MXq*Oyzd-ml/GWO$AțO$4dM'\Jð*O=(UsqCk+ 2T9 7̴+zQ]-['W7LNJfCroiR8M{maH 5ٸỤ>}>)F%Xkb2{:k7GJy$-PmFZ+Jqn;JWAl k G=x 뀘u%X9tK+tuO,VBH סbbh~"JXB!*\:TJ|M֡N3&蝳T*1tle/"\Rq1`vbb~Vr}9Ŏx}\MJ>t/7d8>N

Ϣ 'Lj' j. иc {[Lv,ht*3~tKxC >ع vir˟!oVOF* $bYByY#'OYg1;?&q[zkϿgl&~Y$oM\MU߽WaУ}$C˨|mBb ZM>UN!fV2\ 9&2=W/s&p? XPs4U3P*QF+W.1Xι7 [lAG өp,ȐuCaXj5lZ$5F̤\[q tNs~ܰEHHWȸ j@' #{%«M%Ӟm8E`$IL, Jer^IgS$I&RIʏŽe~읊ҝĜ}zo?N~KPعڝT 3_7F>x᥼)ycG_}+m͵:kSi$ne 3j=mPr7Ǎ &ِgh/AdߵJ٭h?d9w0o]ɚp@ _L!']HLS"V |^%wsL)a-%~6`hw+]ph,uM0$Np>N'?0i:u1$lڡ#^ hvHU|_h?F$KnJӭ__-wZ˲gu{'6D{jt@~E]s<6'\6?][UyI6%̐X|eJcehi[OFɳ,8M#ؔ9y:s*4vF{ 8aeItj:WAЋ*,LfJ2ɋSs :Wb: oAi[tꋯOH :2 -l\Z gEK%W& /0ORVéARr C7IQ;iG=f__B'G,jIUEWOܿag*T@ Aeim$nř)i}?hD`(F]$BMc8(,!*7=xYďCNOwP3Yy(oaZKI9—u9 aNeLEI^[ofPO_¼(3ըCX½oW8"8>00mUhq΃1۝M5h,|UlЌ7ƵY`uiKɏh&k8uj3Qv/9'"kHr]bk^aDeu:Fn%hӘ6ޕ[ZM_:0*=ۮ}RǙuXh ;J)s?҈*iZc񩗢0*y$g#R } J Ā%I;! Un׭M N32_]m6e+SvŻKdJ+zc=#c4 q}% >o|LzU-ǚAx LX-cqIObq;mq:T JUڬ> =RXʹ4VP8&YuCRQs‹bЭ 4$Vc&ӝ۶ԖY&g`6ϓB R  Dqwgv hsgƞ`]^E-r,[? pBL-r3v}i 0l9^Vce>USe^Eo-xecΰFށ8m-\ GPl;IHCBլUOAb _wzF`JK~*Gq-Çtʤ?+WH),Խ_+^Y]*ڌ ԛDwB>F# yJdhE-Qlz-K[)υ a|%2n b"J^_%:iBpiaY&AB>`:%eSbd6E% (ADْLLyi akwvomtz2t?>aZ\?xi4pu2ќguxxL?8H!MueBKi3$PHb`6Jf9ʆxoܥ\ƩK+iB>??RBR4yPlPĖBȣ`alCL [y!ggڒzݦbYi(j4oy.637Ei|Lj72d~'Pg]UdW 4t~b /`󣹯[7L*ƽ-P=Q0eygo03΍j~(Y'K(~+l "H Y+%:$0=BpTlYt]rN;+2ͳL* oJd' z"ukdT6}ATO< 1in 5!xi*@Kp \rqIzo/ /c]NI=U:8d&6yq,ԎvslC_ҽzCH}r(kvf7T2B"{^tPT5miZgXGݖ_Gj ď#EhK}2k/ghzsro~@-I7"Ĉ=ϒsWF?_1(dz6U)2g Z 0C^5} TOK:xQ*_aa?UI8r]gzTH\b:W@bII\T -'S Iy4ayย_wjPF B1ޏDv\oJ3˄GlzKH7_]j%C Iͫ"|{[H8EwOCb}zޱǀe#wE;씉P 2Q3Qlbc[ w_L(&Tylkj0xhYU FٵF~u.>Wَ]1 !C[&ԆO/YpvF,(^$O]MsCy>Y]Y8.Vqf#07K^}*Բ\ ",&+s6ֲ:>VĸYiJI{L^ xZV/;D0ܿL]UcGIO;2VhKr0wtU[)L+-47R% (b#x}8~E .W@`ݝjZ]jlcd+) %!;5׮vT6 8r@]x8NbќF]NT\J`MwtL!5uwIj\P0-Kh&6!]֩s u7? -0bHO.0R%3SGzr>lMȁl lxY?cdDYeHKį[|24MX"&j<Z^t04_ȍM,$P?1;z" k4H8T4zA^|9/~5OH_XYH`^r]Z)~ $U֕2R%Kw^1sI:w AoZ]+YuÐS5<0:qR!ڝDJo,d!@uArld ` F,{d@dlhML"Gψ#Ã|c(õߙ))$'')@#踹 A[f􅍿:U=~!D<#VDxd"r@85@m!jW[f.(IL2uEE(99ᶱ4c`Xӫs mF23'k"LB`eFBU{tIEL3l{[83&?=qX{7T懬|\+͇ D)soebgp]5򧕙ːI ,hԀ!5SU`::ZEuܵ/Uq5c8#1}أ )]ъL`bEL5ljmngv~$ #kP<;斠Ş(9%j!^hz>45 W8\KXϘe;vO \g. ^$9SNTȡ ļWǯMʠKdv j8Y[7no.\_W3:<N1#<+Mf&j|0N4X)l͟=z+S\^_)Vc?~2h}#Ā2j6{K&:qA ro]N% I~IIkS֦M[fh("(OatFp[ }p%B(uj#ϭA7i;oXH-M?ӫccc'ԟW/ %;NJ70d 2l*Rau&8ZhG wj+v_ .Кh:Z>5j!]'{OkV4W}J[}l_*21:XQk N iˌm9SSB/gLu#K]*p0 ^ S^ܫ浟o%eƼjsГ{Y #7^'Mn)*7?9 +sflBqy4e=)ݦE2?aKXKfz }e}3jw1{QЍ7aOC^1( JxD Lwc)K!BuD=\m:aX]6ph;K0x!ܽR ]}4py[j;GG| 4'X?CFhN3 ,#S"rNW(!2$qNRdz6_E^Tπ ]V5q*oCs"MW%KHav?&3j pɇA0S _:zJCȄ䙬:44>,y; vf[@$C _4~ W ݣTA/ر1U 5=\K.<} s-#))RCzYz}l?ѤMH[4Ry9@j֋RYmXwmb΂Gf ڥ<HsI6^'qPτ#Τ.NhL/Ε5wԧcq-|7. 0C?F?:pDt[zn2*K՞RTIR9kX"%FiV W87m|}p%*/rjy̆JwZWKdja$l] P4ߐ);ɿ5&ٸeV.L'Z?-W iKd|m"mFDsQrZP,|U5wֳ ٷC݆yٰd^$:(:EZ$„ey \5q<"&`ZG2ן?4}l X_\lΟ̾< b7+U-`Gk':@.vF^ 3qY?Y>VA3pxU18VV`Ԋw-z,rjYS#䴸Ypo YT-JڧI i(b`}rt3ؖR#Ζf b?a!ؚE?f-2"U垕$v^.nҒe}l.4 2- e+BlV, #v6 |q~δvd3sܘqg&XS`p)R}pn5<Ϲ$np?nV:Vgg2MH]Ea,5Y"֔m/{\=̣J4זcc*ڸEba'ig.:1I,QEQ5q-2#U!D1!xBƧ|L_!#ADd('`{W`}1K8cpQ׬K*3ê쉞\ :&L-lv ދRj~RmwF,˓57YZ./f Ӌ*kC*ʫQFF%#]BZ{1|`й*>yk5D Ui]cK{D܎)l*|_>P2slkGp72ɉNOk HD7{՛n[ 5NoI&: h͑'K4̴ EvZ`6rhEv?{UUu9xCjR*UamKHXcEnm=FUD>@} ^9̎V Hg!, N.GX1 :vIc*,% &#)[ڎ2Pdy,qWSve29(6f5m%ReO+C/xlɔipGJ;z{F 5>wNZ@heD>B2@,@  BR>F(8/B1| `{1чR#PL>.PXw#j._'"n;gL*b|X |M-=- y߆[O-3,8,Cafߞ7_8h_a<8$ hEGX [!O-w* 1,oy pYvư{aض7>yqrLScL.cx)Yn, ^-]]gD0[}CKSv$ejγD]& >n70Kjrn?a01Tcc`p}]h@:I]AF%3CSt$zI"uR~ѧ%!bՅ³ǀ`ADM#Jpdz1o|fՆhFlj4QƜVQ'}afr?~܅6ԅN?ullNxӂ_ 31+8-~r+d[}ȯ%g\?^+!o0K6_ΐ0?\2~XXQ3ķd4d" w6[(ji&ęFw8S6nU9lԏe[ϣseF8q7.mj:35T^h%[nџ:z}CasErJ\,6iK!<̻Q-k.9ȼPЌcUtTMY6SoF-Q6s0XŎEN45Q^y,,L/{:U UxT˦S{mK*)כVc azX{Mvc =GD`ĉCQ 3GVC%&hSeO4R!{".IibۥSo*e"wL’6*K@zL\G%^-yuGƱq;d_A=RsY/^xNΗG)<>X#ď|:P*f`a3V9ֹ(28I,F;λN[cO=H ^zךih&AA "c?ãꢇ7d qRq$ ׿h%ͣ DL90r5^2'͔YEEGn넢5# uoVfʧ_qߌ+/=a3\?] CA"?9ڸwEaq")g g0I>޲!`F0l[_Him0*D~z#xQ/NuR8բhp`M|mzx2?.{Ǧ# 4;BMPfGj-[9飽79[i#iM46KA3 t%]Q/=P8䏻n._V`uY&Q pyL*8pi+=^gUŜjW\rT~H96*<3]`OFp^C|>!2:jeFѕ&aQVepk'[P:W"4 JCFTfw-(R\%&kQ4ؒ4v,u^{p׵ oG8b'd>>oJ:$)$>= !EK]YLw9Uk'0(x}s dFaz:}! 45R5!Kkzjރ$6f,b]\BFNN^w" 颴_t }aX[yx:pp~zY܃_OmP8}o#T"l@:LKI;$g36\#~:.Q֒~@Fp@\Z iQtM,<WU(;6dċ3[. N ذ(GA3^LmZ:*הk+5:} i2U4}:}q1 wF;LUB;ιvl14"?CB]He)0:"c#3Ř3\\XG #Q5~[1u ء-K<F&>"Oh54=`!MnvFA:gUDBL~:wC年(!G#ÌPne@?@MyLn! wN_6yFs Ei3`Ȳ*Bz,f;W1^/xkWPd9$YWy>2K# vF' G ̭-xx'Gm" y=J=qF-ޅ+$#0Cl ML~/?;ai;)kb7;XmYZfϼS$w|KDaÞ6J\";&"2`^@e5#fZA|"`ϔck ֒9IO Ŵl lcX7<{3s/uMՄm.Sry*'v{KD7΅igWc)Bw5u*y3ѻ".DoV.lmF"n? :ֶɧ=[ qZS$D}ղ*N ^Z2YާYd*<^Xw:TK,BԾ=QuP*Y~*07߾?L |R:次gd2gnlB ֚fZ/ c|8(%Mgod=.o e! E^2 e썰p`zp p܊ф5',)q)ZrebVcፋ RK)-LT8[ZEK PM zZ:*4Ql=>NJ~=Y`d٪;1MD01#-\yQX/  "U hBgjNq;Y )8QjebKm۵_F0zt'z99!B1=걈ev> D(HwJb|5.(_To.TJ>:+\HVH$yj=W '*,~T]ϯk.^qڟR:sabŽ[Ȩj;y` dX&wm`Dż_9wS$G llE$_]א` larjSh+O_-c\MLZj>a -;dm(M6˙ծrE%{y$s ]*KiqD,[G@0XfEB%CсG)J W#VPz”EW݋L"E)dւYc}tB"U*<]:䳡 Me %zEտF_M\;2Dȋ;ؽ-P'kw%kN.k隇A$# NXtxhw*_BY(*uStfI;гZ( %~5hJ QT7[fy|n5h]s^:8B?OSl,^ikkk]+Z)uٞZ !"Oh<bewK}X dhq9ѪobA exBD8)5+m 3#T\z \giPFT\J):oehf5\|@y(ʜD^=;5#"!U&Ў)%xUE {-8S we#fp#rzVI!k.vEZc%:icaL]+uI~_`k{#P.-&h4ױ]soL^ΗD>ccn\GW(x:>jt͞ܦK00slJ$RiI%T ?x_mBڟZrZQF1G f5 lF{(ҵ~#gqÕ⋟̼dGZDtcu{;7w$-9GxNp3_zܨKdA4)ܙ[I"ټ1f=@{am.n +uf_'@gw=DdUc+,EYd Ⱦ4}5'7}2*{kP2fسyFhyil?U&Cw}h>\vmw:ǜ&ƒu'V`;@0=M2!YjM_~q';d??ZM?EfPK ,%{#0R[I% v$K(fz~<߱Cе#*I8^'KImI"E]\Cxo iCbѹ`ܱ&^7#l&- 1qLj8YBcMyE`RA` Z5'Kmz_ 5`sp)W\6UN-Q~D;B7ƳDBO._9l OcJ#EIAdLgYZ7zXZִF! pah줁^ˑH _*PFI]4ph>\7DTw}\dzFB}zCU?o:ۤwGf~A2ۺMN:,az-q LT '+?;þ/lg':Ӡ^HaMggVAq-J1`=h#-Sr *X<2$ϔ_2xr#wObJKN Xdj{zawY(M$=Lj%%xB՘;]~_^ww w*Q,,kiCG\ڳ_.K5M)'ƪ<0ZL.p18j]j;ohȢ`18Tf!?J-ԌqyڛXǮӯ5y }ϭbHKDÍzgGG_8a9ˢCeM/tݕ6)̓@Jg LBͨ.~~;*iV9a*Gdv` `I{:1D|Fer}XPm>sRMNcT|bޖ#YJ#g2K?V6l @lD"S p4*ԤUV{,31E;vQw(գz#H NfJ bLR&뚖W뎯RmX8 ȲV&ӟj]w`/A(C|"9C$J_WE^)Mx_O5TLq~N9A{mҒ0;mHJ"gV/æ*^P! 8,ײv1>䶛T)g怠{^s ENh8h}rQE~{XB-hyF0OQP5:v^M}oaҡL! x! DkA %8l3+,mħwI-~{s"No:ӁGpwįh*Q^ Xo^G gߒڟ^@ ^"B~]t@Ӭ^Mw21C9jiCFh:WZ 7F6~D|CW\Jր`LlH&N1|v~FqN}#06.۽oGךM2[:i%]Ǽ`P[$)(sؽ?b ,o<%E>X/Uޗ}s#),5TV@uĢ`/ݒ&$n#0e5]fGUR⾭=]+mRkX}Z#oVlU0cY,'-88bJ\3챛LQpo3񸨖lj r\8XS=-7C>^KaC# w^gz@XV(5?L 8&^9i4WpLzrꩀy7^YdTՅͅm|_tO^U?s .kk!t+k*aT} 7e~#U]}u<ʾΔ>揜wibhUwE)08sBA-- _ Z=*}%9ȵW[ ub&k8ܬTJ5IT~ f\̰&] jmKQds%X-(:QHOF!ZRڟ/0殾QJTW>}ķ79l`&4'j3Tmw@<X8A`0& "3iJy8R}`e* *mZArY-FSm=pNDa VIDɲ WkBb'F+5[Ɇ礰IhGo ,O hSFb *@QP!4{[zq n=@Lm>Zp]ĶȢūTu$:SjW8Ue1(nCN,B!f(neLf*Z ` +U_dNNKx:&K4 ,l#xiS2{Ui*/&>w,#bJ%gJK^2wZO5r߉ ;Xw O#q>Ъѫ楎$pHEŧ0SU.QY7e:R:>R p۩u,ȥfm£΍SE6 zeFbKCr-mi 1@"Nؿ3cs߃Ip7`De?WɟX&7TN;\m Yt*'?$\Y96j?5ǹ :|'gS.uߣZ덪tk-yw{M5Cad/ jYqGZ/,}ai/R O W($bUjMЋK& ZX|nsder=ΔTXFcYf.juڅ'?tȆ+[$wΘ <'}F%*Yt R7;bZۊay؊V43d}:++V%uiFgrpVD5жkN\70et$NԼrH`%W {#rxzr_kpg!A@{]14H&~ (ԃجk!<)a^E9 o7gW4@j T<ѕg f5܄!GPqFD ZR5 M Tn&1Pn̬"7![#DWsG[ E[\r`̶bOw$c)=PR>Д^V]wCr`w'~W.p~pNl@Sٮ_qEw)(<pEg!0_v .eDԾH S-z6]VXjr)I$2pUT:xű+1yFb,twⴽU<#l6rk!d<0Xc}bwlHUO;QҔ) ~l\LF<~݂]6N0uacCŶED5O2{!HP5=KD)*\1pfu(1}7 22y~ ΅8 ј^gn;ʜ$~?g1jϒP=!s{Oa4o0-IJG̖ H8~/P8/ ?+89?Mm(9;?S$u8p&?vV5wqY9RBg#2&N5ô!JHhG?Chply zIkI".=Nԩh|/0K|4ޒSo<{I/Ŕ NGiaᚠ}`\{]Uq% EtpP6hqOR_)F|;DJ󤐺F8h'W>?UUc45Dh,H:YmKXKCwe6 ū^&1I1H"alALj'M_'RNVBmXl ѠkAM~N;3a.gݿ?ڇ"ٖrؔJyMkŧ,>$:(}]> lRP!U=»U$AiXAqE}j3ߙLzC*W<uQ(_v'Q#LcT~w-tbV%|Je0/P |g(msǑA)%e>a!"P^lvB*%_z=yWGECS1ndAsXF|:]L@Cމ24Ĝjx8;D*e2O׌sd2bLTxmM^(wd(ލ%GiI@FYzzCz3_uYnK餸Ld́plW|7x7>Ik4w,9ljɩ.sE~^&Z[hMf+NވǙ"x4o[mܔQPCmV\<~p-L9S2yM?gcwrgΥMTĹ}HF^`xFnƌ4-i8Wv<D]9OWhgTYl4]Y0 D cԺ >E/Bt(yrΝDavpavgy/i`{`!i9}S!QwtԷҼNq )]x⾗ѠFS8e+ `T 0"9}‹%F;mQ$R HC@)shZ,AN?ݵYi5@ Mbx 7dt :oowpc:8$O6++ kc% ɭ=zwY2iܳOxV'REdI-+PL_5*k ͜281UÿUO^\,]VzQ^A4oLڵͥޯ>dO3Vb?'^CUJMk0l4~! wq$U!Ot")7(heɽrPB~*$0eWAM@ Lqtح9|PY]|] -Eg~prc;p0y:C zcs6Ow7G1!z)R+s#EEOc SX4Nva470g1u]ʉ̀"OWEхCoF@vo#R[{K~tgep?Kڊ2Q^GX0S}GKVԿZFoQ~'U9vV[Cc L#deCeeE[>y+&L)xI\Mlj~ѤS$&dúPE/7ʿv:T ݢGiA-iYz:_z'Df(3ݽǰo]J!Uyi P(#r4 m FtK =w < o̱: wPʜAcj R:Gpp=ETآNHd,,ܦ}FGف Z8b!ArNbxE5tiW7׾랳Iq%+WcRi,Jd<Ww5r gDsCkF&IZ!>,|AvM>#\ E T ׇIA.6F4ph1+4Luf݂֘t9PpO~Ў9?4IcT* ; '$"3DY{`s̃p!*Fߴ:y᪷t"YO0%@Fp+WU) , QM-:]bIgH%qZr+1^2||ISkgEGA Z@஍^ P dJ%3~Oω Ĵ]Sh$J0* vո OG +Muk4cl6ZM,ӊUnտE!8ř|᪐AN.dOժ.7R83qqV6I7"kyF|/ɣE c:Vam!nۨ%1j_to@!^$VC€ 4 >Rg-vlԋΚܖwٴcL( --v Ѧl@G6VzȬ B2!޾KGcIwhDm$0P]}6@,I63EL뭠uoaAgƂ+,/u* &bKB٦JAr mF\đ$T[ %'n4*U!AT ߴi0ĒSmX|*"SVJۢl 14Cq[}ƨ~UA4r* _2=a,-^=;f߳WUD5+[ѱƼ<]@VjNTRSsYrTs>ʝP<طᓟ(ȉB!PlUx~/ i/6J2*$Slh#eŅ{a& 6*& DoܾqW1~ pH4oϓRУW-f]VOM~?j dyݏH#CWHoWHtNd%G}NΒVod*sI+yT\>h[ƊnDzX4.&@2̪pOU~I KB^M=}61 fYL.H۾^87-6ϡzP}@*3x77b- l+K8: h'CbP.1b47Z QG2P B]s| )V4ְʒe b FxTp2Wj$Վ3nezTltǓ+'dlS̩Z'6-HJ/bZȦpMof,-g:_:\ǽ{_ Q+rƮt'锪MNG;ڞcc7Κ2D852P2-̀<7M|Fj -Lc]%`?-/y,ɱtؤ_pNVYuSP TR,j %ؚٖ_Uo_=pQC CD嵂d&^n:P(m^ м=>2n LB~NhId0d4Boc"T[ԚZ,*(; a<&͟[b;)+;WiOߤnUdw0u%dEC2o{9xLp} ؙ0wts&šg.?wyP![ oWچY (2"4#1M[?7 bsD_|PFSNGJjVߍ8v]'5T/i'k+Y%&r$M(p˅XW_]X:tQxM>>!G̙hͅ L]#a>y*a$PI&@S戽 WKω9Sl * :R8YI =5rwk*b` 󆅮WSvVyc v^KgD<'{M#L> U(@{k9k1EAAY"*d3\2fΕӑ<&l'@ːze@I8/mcq޵N`$yQg㠕!"W:+fqF(2 Rs3A X{.GҋB|~G6P>kP#!b` z.YK?Nklw?b!B:=]ZU c0%x4!;&2zs ]ǥ%ej_tTwuq?@8X[:Xh 1Z0gT=l8\LL0'_%JsׇK|M7ZGV:oT/ZVW- ;躷}AS {Bz6&zyl~oAumA^~cWEG;;,ߜ_PdA*ՀEzbqK}R\*~{7\r֢QzCj[{ՁA!N7\~t7Oy-xw4酐vc|hBմMq(ݪ񉗭_ѿuxNy)8DuqZ{m;qd݃>s=k{_BݴR/+;5|¦rM T E8RVop';wRXՒAwX./G a!h0e C\;`@!N;~юE<#&TlF(-{kdMsáEKmUԽDY\&N`rVCIP\Un7( ]rA ~*-@:,\QǢSD'LszW[,(>6y!=%3Eo"ϙ4x42ze@4EbuqA+-/R{c@von͋ۘ;eri+Q<UxCenP/zԈ<+P+{;n$L ;B;mnJ3}@?Fe$]~[gȦtWrnkވT+p%z~Z $MG3"+ܗDOzYhk Y2Ao:&:h ۣ D2B텖.aGs;^ LHzboPv eE S:Ek1yPW"QXLx,A:D^%yBt%X󗨃雦qpJmgKQ״s'/v™FxMZ3"k.$qAwyua~6n㊝J͢}L6+)>xϷr̒.{kFy\r@̇Nia &<H3őy gɤ_pQ"I:+\?uo{'sEjoV14fyA݂,㋵Ì3++"01zU;-5KJl|CL(vHMG1;E!h€+{Di Ľr2;>&;oaLW,H{YfJw COy𢞶u%WD`8ot\D`ռDY@uά VʹrzIQXOgK[ `S|Ҳ0Kj>IZhE3wRˆABVWNNP>zSН7 JtHI^C/V`S冡/h5uaDD͋ϋ?inTeD֞Jm>vq92•pA58oXr])e/M'qtz7$I^C^Dݏ SaH`_߳d|Fr\4ɸ{7v_s8|oXn7b +BƅZ`i;rFd@U|O: e%OD4! $FPP 7րbUe7b;p̆_Xɹ2 -KG x ֭#0 XUAOv~(S7z0LR+]Y>큣N9?6עcrC5ߡ_# Oī3"Wl~+ƃӟ{Xn6; )ٽgf95p Eav6/̤ηW0U$o.f>6GbO҄q*3٫Prq݊7>G!4'_cǰGH1JWY'rן L܄a*5`I:4S:qT{0L0x9-ex緀:(VeI<:eƃ'1yHGm6=3} b2>h|HW Wn5ôzr04~߆iZb᧿_ۈk4ws;!X$ Ñƺp+}oöPqDR3  vZ3 %\[v,W!i秇q)H Of JLlt,|)1gȢl}N,PRehtvOTw@늊;q]fhx,Yi˻n(WjafM\pI̾dPwARµL62d-agXU-y/wߜ^qJDjk KN[=0f7ܡY|Z.s2XVj~**l,d(yM =cx"_ ZbQܕ N9<.+xYIL`=M"6bz3/'_#RxyڇtK: #(t' mSڴt#C,\ZV=*+lV5LB~ e,=Uzw`dJ2epݬ̿a Ӳ@r㜱sfTlEWr|8B8%mIT^.ZpM=k\*"M+yTl#/u#n4=lB Yƫ3nINk+r@yHP23P8D$v?3]9zq?k*7%jߒwˍAރ`v%Fv61"sPJQѹK$H0ac" ~M11V ج lđ^$zMiX{>}3*b0Ǘ)sT=v̸+gv'kS](-(0zj̻$Ǜհ2gx$ !8[`nNE(RN74hbx̔\/X7oAfXV䄴6C<*;D1X( /ᑪ66WdɎiqYQ+g?-kuc/[,8EjC7;CWB7ýR RI 4[*Np 羞 sG !C):鬫'_WVl5ܢ lY`:}5W`=iP#OZwHgXx;VSh+(NDpBfM4$';V v"HdzVi--S$7Rf'#PN㯯7O7KR Dk:,zY=P@E> . ;$xQƜ7A;L0o@uB/=r {FjIҵesF*' P.+8'']( K4G -]Γ JJۗ3h6%NlRG` "xR5TSI!Q3b&XDJYYF`*5 xa Iz3-@k]cx8 KbXq$J⻺?`Qo H'T#n"94R*ԥ:1ΌX~|+OXUJG6BW膶;[G݃ zI/%KUnƊUY/##谗^8n#p#>S'fH)|ixk046%ޟ%)BG}SA 3ߦN{4.Rx(+0!J6 Y17%Cs Ch"s HT\; |*_T 1x{@_&=ŅgL'ȏ?+~PDrz@*TJ_MYzZ41bNJ¥ug7+R|*iXM$?+ȭQ A -[-9Xr"jX\ ia1|hVQzXe)6TeyRF0; '\Iؘ:7 e6 TH<@dSM/_ѢN!or=#sAt9>:ĩ&Ug )U}l 3= tp؉^_TXTC7fѫԈb|}pj1KuȺy2n+8 eǠ9 ~17`*P IrHk!< uG;_ OةAsC@W@_jqIaNj C3fB-u6]=]- N:Nv,bW(ԕϾ9 t{ Mw2Ԍf^ۜRNo[+ayt>q/#y!0,Ƞ}AҬ-kv`^u湢\޸6u+߶SłH כW:4b+=2ΟHCM2`BWو$r"rP7bGcy0y(猩ՅCC TS{en E,i% k"m864[SZs>v~T %֣$%NSLch* 97/]v<(v-N[G23@in0ڔEb'X|hOA~O"- !o;ŹUUƩ:AoYPo D.)WxbV- E$b\U>ZThxs#m;yYL[ߴX0KsɈ-JgYZ00a5e4a4cce8b311d4e17989d3caa87af5b575b7 1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 22525a336f9ecce97cdb568b44379f0491541a87 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 37a87f68f56cda25790462152da10ac518f0100b 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 50b8e9f10960a26a58eb1de57d9af006d4dd71ee 54c38db887812a39b1b518723fd4468f9395eed5 59cb2b9364f29cdc52ba3398a114323af4d59f9d 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 754868a97fb8ecb4bd5624245676b23ddd584c4a 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a5dea19b38006556a5c07ba4f7ca5d0f425984cc a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 ba398d78d1126570b0707ee67b307e8a46f2f0a6 bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2 d75da252ebe713c7a94bd165cd073c4be14a3b0f df65d216391b2cc49755f48f36aa2eddd974e734 e458cdde5cbb51f0489e40722af7c9ff04391a63 e6eaed053698879e00e1e012935a36dfb142a39d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 5ad2f9166cfd8d4d2fa74648bcb36846d876bb60 f837b52ad29ce7db2a60e2328ea78022ae00f418 c365e03ffe0ac5a047d5ac7e5bdb1e9814bcc365b9a6edaae3c46678d645b9ab69d92a1885172bcd