SQLite format 3@  . YYQ77Atableisabelle_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, "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 #t  Psi_Calculi:threads=2elapsed=636.499cpu=1156.720gc=36.732factor=1.827zXZִF! U9]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿Y$bcoB ?A&+7/l5zO xMDs͕g}O0&U/ifӆ|V̵[;og ]Ok3QT>D>W5Ծ(Nc?T^Gňp>BKڼ xv;#Mº5L` '8F U|+<]-Hs.vw2DndѦG( Z_r,KtNáte@w%̈́S,6KƩ7X"`MI$աAW?Zϋ"獼C%}n`X"K ]9ҰAa+cUEbN. BFEP6F3P_}{.w |!l#FˁA0?PKEW zbwUYJO'NGq|3.#EO˝7C\ MeU=oHu,pr%\ǾJ.㫞Ui^WѣoZJHоns ǒim Yh)ez̔2hnO>>\l\L _b:ɧG%e9:I֎ @+ z%[s_ؼwOloNHѧPΉƈ!\'悓fB&~dxZ;ΦD}zwg=KJډܡ3.4hyYk y'nγx8 $Vmaչft@n{badDJ=+jLҮq~^N* f2=R+E)mZ#V4ߣ'G՝6b5Zh[uz4Ko?<ƘLSxȣsԆ}?]ߤ3F_KQ'Ri G+!ÓX=̦4=npw>n[qZ- %EնϹ{Yt\Ϟƭ+zWF&%Q>Z2uFoz4i"dhbQVPǦ*(^4ݬSj|r' ^򠜗|b}&?] CU95%8x]u@fX{rG+nN?,bUS~ +$dr  l ߝ/b& ,"ls?|8Jbvynb l,9TGP v`AJjXH ߅3pp$d493*Dg&ٛbY1 u\9V^0jUO?gg0p?xk/xcڒ+B;e@P2RXa|V³ϰaH$fSam4V ]Id U)HGxcf=ۄ:Ub)ոu)KO֬`sp$[Ge,2\Pe`Ȯ7昞ཪM%.]{r(SЕ_ⵌ揵…dbHw)옦_mnfbd=tU5?#`o,JV"|Xrw5.ƒ:UQŤx99QB$`>剆|\+\˪NM&:sǸ~qxSl5fل[ę@6;X V}C2d"2e<"f|Ʈto7U~]n8.'4Io|xtnѲ?vǾ=ҵzO$vY,5Y%'jrzاL0<$/fHl%Ӡ$,J E∡l Q# `1" fD_h%kf&1;嬾xjnD샄9^s; vH8FEv7W'آBnMoo:"ۻG#6ЈlBw* 7=sf݊gZ>E]xetiLh璹wDgSmEœowHd¹W:n$- {Usn/dbTt';z!z}AOf>5eo9ךv^hNUU{{̘2Bup%GIv,4W$>%)P9?TkUn~@iLWZM⳪؊mK1:0'p ~Rҧq,d9n^ayY]&\ kksk-aZUTu5,ݕ'52^)Ofǃxu3_DYfξ%UrƊn # Psi_Calculi ޑY:G2FVNAdǠwAר EPH!?x ; lO M㠱>y9vI7Z? 膫ݚ8`6${œoє:Kg$͸_]sKyZ)jZXT)4,B8"9HBwdL@@{nYʧNUңǷ:^W:DVs.t#<(R,͊/B\=dq%bD ړjeQoh+Xz7 NX_rg3Vw2yGF^8|Š3Qp70f-"bkM(HNxIZG%p)A=0[Mn$wgFNeej<^9Q-d4P f Q5dӕVMƋ+VLZJM=Ndp?J —h(nmP2-ȵm3QgV=l mA%NW?jt{Al:F泚PZMa7~R,fFgݾFO#SFlƔ Gq@1PHunsK68[4(E qΨD릔eECKxHԱ NZV} :^<#*A𾶘ui;<0mipy4N,֦wՙw0kg2F}&2?X{uɬDk.5瞓Pc˺%j̶Zvelxh<qa%J\"4%E ۃARྩP֗;' {DA1bjL'4 Ңk0VWX32"E]U*8+?!hMH ٲ ( #T|zzꁜˢ]TskEұs1Ɩ \,= <0BuwNMao^*H."tjeYāR`rTSvv{Gn)%SQL~cÎ˰mcB1.2&-bU%q0SeNblLxǿ4]Iݔۼi$f2,敺mtNUׂKMFnXV1a^.wzc%>猐KKCApk6Û\3c_ʯx/1=Psq1 #| @ +R|ޕ]V pYgڍֳֺV9lD-\IuK3λ"jWyؑ(ZңpyCKǖn7T%frYSCo+8Y'NNMc`}ƶZ 1tBR5wSN 9z'fvxU[# *%^9zN+mZ抴lRru3 w`aUWZ,]F^]b)4f,ݠe-]Ѯn@~9-N!d㑧~7RH C ͖PJpO"~vrŎF7CROW)?YBJKmt禘P ^Z7̲` 0˫;'eS]Z X[rAFg1ܡ%iHblwF?Љb|W6j >0^~l#z !XFem~r^Eh~| ّom GqRG2࿤;0/Y_QӭHQe|"3gd%cBjWi˂7! 丟x/ǽxV-(dF3x@ g&}BgP,/~Eq LV'C:waa$ʾZGpg-;3/AYN'OrQ6g5:aBW'Af&%*Y8&A  DHDb>],~px^"D|w`].Bqֲ2OږWrVAc$~"g5j4G2-9A^P|×[R:pPXK, ϐٴB6I'\X^QNHqsd fᢽͺ#< .Q%_!' 0ET6elܳ#(^H VP> :z<J5ʝ\@yxK}@ -3443Z7PM橺f#9 dP(ha&-[]&Dk&la۟I&ou`EԄL7;+V~ [: h&AF$D%l⧼s0Ik9p/|:թsNu6 . mK M>%5לyi]h <33 ^vT |͐>з^{I!]Y*8{a*݁GdK-R(0M83Qז&ֲ#D~r*)Ts҄1Ɉ-48ddz 7uít7Z@Z*R5sI?=M f0rQev򱫔 lpcDiD|$}wFNSuuvToQ6s_VՉdqpn_ێrr<*:*5aUŜ |X iqbѰpy8W&qŶ+͍mT4ߓ_+g+a׀'b=ʍ^Q˜11u@{Fݕ5,+ x@|h[st>?%`=}4x]jO(H#2OERdWqOaڜ< ݻs*lSN/9i޳sM0.=Տj]Ԍ^&7{-JZ4L.se\|̼pD73==IBCfҷ/ƕR&ǧC L8Ik-Lr ?, 9 t38KnA777УmӠ`U"WXd 5M9X-uԏ3Q߳zD[{ЎCf; $N(U mtSygKٝ|z$7V7c2#_V+6ih][8慐u=$;%74 n܎$̙0hYq3$xiحd [ƿuXY=XbbI=W?^!󂅜?w@)(nJ7Q"Z^hU| Yےܲ|% އC0N猋X8޲;OgYZ7zXZִF! |]ŗXi%6wjq,ỉE24/B7 k{Ӓ X & ,[HRfbh Ϡ:h1rkYnZq&~ 32K7 h1q}kʭ6NGn2-*(jB& rkO*@k#W6sWIyБ-q Ë́ZSWkP[ԍ_.80:T}fM%@m;NHdoVVvC9ώ8 J ~LnS/Đ)q znueDR QL8np+zttEkW@rN:{ ̕OV\ c:K$?RiG_̈́^FDg6Fv{JKIl~9#1Zuʾ53d)bFXأݼYlOsg-[օUPgcaYHȪ~_@!is11@`b8LW$ٌ}?F^+'tnHpDḨwRrF_w .S1ٷ1kuKzVT{G_#&kR8O8vY P-tzCLS J2(mau(Og6eF0oa%1/Rbߠf?ǜW&K,N@MhݞJ5QǛc̀pC&>@Py A P8֚8lW+6R(%,Йlfppua~tYSo9X]>*Vpi$ω!>qC{ ;oz6j:4y&Ak堫(1IP@ADejuf7z&e"܁SIf#xU**0Ii6Ph@I}G I6g!*ثF4?]%| +V}&H$%^8ŵ?(^"P0VKO&~^ |-ej !E4(!Z%tm{zJM ގiHzT|6t^uCLE TmG1]|z&NҴM/NY7ˮ5KdG?̨PY͏AHZXXFv{de F䶄.s8R4CwSJmΑ^>{oR|5Xdz )򤅔 XZrפi[H]cro8 |W!K(ǼaXJ_ZT =pv(nڟ/B+jrl5(fZfZdRgE*]"`kWnbz ZfKn97&>{s7+ج5840ەsƼD+0W2}cSInkfjq%VR GIt牸(o 2#>?HPҁgzrQd\Z+>6Jq;9vK>n5{j4 ̥&e^-MkzRO'3I2ᴜ[yZ;#h3%-'|ZCٟk,R3"{18&(t jfͻ߻Ps%&'nc];b|s ?9qi98Z8a,rصZ% aEa\ԽV.*C Ew=hD;ppfH>uuFrvh6a&EDs(Hlr)i^ QYae#VpLPO|7e+rp1(-CG$Z9[nls?ʖ Rj8tvSZ$B`~ɮ'A++p Z-d&y@OTӛKy/qqF6F,MY9hx{\q3ĂB~.Dv* w)mZ'pFm|i q%l$ʂ3LPX4_ '6]$EYz } AW^þ}gsԦazi^Ѫ]]8yքK7)7mub 7/C#"bxa;2U: 4d2}-Hn/gBWQEyY@377u8Vxkܹ?[nw w'WV0/hgkJj|p "/IOb+ :+TU Gw]v]lvh:P(I]M?.N{({ LMc$Θh+/J/)kRW'}p@Z`ZF9 E(d,=*< -6#__kA2ɔPg.ﭭj&mnƩ/ 8 Xvkq5(] .[Df7+)mz uz-S&ַ4"ځ %|{Ԙb fd גi=Qm(LvKe/T#V0ܷ6åXF~B{bc1F@QRVHؖKwzIj~e s}&PAߵ\yc&(e6:8Cp@6jp_Aء~'IJMG LjS*,skK$g"{m~< :^jHE@Ulf 0Y# $Hr+Ig=~+r`GݛTFu)/h:Q3\deaF(l8YN5]! wyM =Ld]ɘNL,g-}Y@>d^>a?z ; F8KN0`'+%ufZ[;j=:>ɑXQBcKݥģɝPzt#8!+WO΃U#dC^e:Ve(w\@|haxi gT_KL(H}öc%ߕ1k+B,^#Z5#a`Xc`tEm-u: 5Y/lsB5|;.Lxz]%_I+Z=&:1 ^UU$֦/؆qkXEƙh7 caWzC!ahii# pb18I+I$Y(1~Ǿ5k+f喤KϰNY//5|1JSk7 {u|eLaDPnR|.Uc 'PLC< ~H䴢[hv _csRa^W?o`^{|jF@KMg`nøs^+!"wxwBM.{;ĉy;ʷ.]rھ)PC5-5م`qviX4U&#a.ŲuhuEz [p3a޿R|KI)t:IcH  ] u׾9f  eQgRCvļ)9p(ʧaZІh԰rp~4]A\ʒq(d&LK|M;D /dnm+ 8vGVfW)&bXt:jDex/PLZgº~Rכ CU$戮mŁsoU z0v<,j #s4@XVkxcC%bMWC [>lw7-n/ILAQFswol8>)&]?z({ɦY^1* 6W 29'yS?HtV̩k4~#pi(mY-'5_f,uA9 I൳ :6|.OU&` ǕU5ދU]|DʶN'kL,$b&:28ú>wjGC `D)I]nG3@jB)=:8BL;Qjjm[N4JW 'D pwԾK^OL|» 4j+&wCD!}z,u@Vbl&MAl  XmL"ria7J<Pt)֧Ѣ*`_ߙ^j*݅dȿ A$p-l}?~0-$v͒pހk")",*TlSEoL8`^\%rn90YY7Xv=3ŻKc?*px5q)B'40kҞo`#,"Zu+"\VDmiKKOsk`-{qifEO?vi.oy -5-e1SH3엛~m!J:(ڻ"VsN@K|ݒRq2;}^5MUCb~P/Wdx n_kTZRPz8{IX %iH O}M]=bQ]WůlLA'dD9, F7]xS]`n?/x7` .`xO0N?*+ ̥{D[NI]2Mz[/?-y|Ycx ;):fMᙊa@^A! ((ظ7[W[d!|t…g]PEtruC3+vtt.p‰kh%?B (oz[2&6>6^EvdMT)&5݂$D Z:nxt{rMB@ҎiMFyv 2b aAj~awqKpD 9&pKŪt=bDc E#]j~}&R{ lЯX*XN؀kG QY#4#c.MՏzkxsK"fjkXfAv#ח`!4SzӍah!/zI"T(o5דr6J?   ʽqK(35[>׵L;mH~AWa J-[znJiF&٥)Uy_O )RG¿W/ҍhC)WG-^t1@J Z'ǫ8K(O79!* ܁7 }.7CUС=b 1i"DX}ω$S!GJzCf6΢XÇ#,p nL t_Vp&&P^B#!yhz wbЅxk(V}bsŚv+6=nLu+oi, dQ&@SQ*Q@}=LܴAW.OW\( Y[Di] k&CAnQmĢ^wSz'=mq9g-Ƴ$|Ⱥ'c \ >8yIoz D-va9 d_(BZUmsOyk><8.LxsDu%ն&y&l6\ܵ)Q NǺXmD^L#Ȁu{yEG&t=fY?&9q̳xIjdk)v%y"[4XÅlȍEUEF^>zҐg.5ψ4?2>7&-D8L6#Zh9ti;MWn)qN'v¨i'ԌOg@Ӗhh:\D p4"\AMӐ"P].ߺm@nS.i7L_הj1%+EGe+&LGd0z rG=c_ۘH-ءꚐX<@@@\A%zPr5&CwDº9ba$B!Æ#E k?c0D({>2+!DN'9|U>7ĝ-QXZpjWP=R|zzk"}ԣVR.Watfu5*_*4[RM F>72X=QٗC BBzh,&RfڄT;؈}rPz,>.=q!b}l {HLB42"x\7eyD#A(ȧt_ཱ`=4-*gP"D]%Vanb5!kץIvt*ܡCHoVD *|v;Qگ["üoyyhZ/}1Vw EHܚbd%cPj%b㹐 UO+1Y4 {2:_1;~lm=A:}r' X(VlUv %YV5yMP $ VR\oX?)Xtf*8v LwOsŸvJTMeoל]{7{Ƚφ,l_'a=A>^&l#tj%H0uj{؆QLsE;2Z}M݋%oPs^9YvnI? oj^X I38>ot#_|POسoD 3>|j]VWO- ~28ɋ?V2ٙf&;H xI"dq(wfIQߐdŎQ\]E$b'z8BQ+= 032ܷ'P?ނc0 (omKY H#nS<{X$g:Ϸcu tO^ڐJhqx=;u?R3Wrt^ɢ꼭q Sޒq"Wqe#F@!1YS61hKc[ R>1i>M^;mse z9x&m]󺮣\ZLRN=ƀu9Cf8U,_oFF[veT ,/HMyPmm 3rbؙK!::-;e=ʼް/-;L_.%ԃYy`\5.d`nd]e\D۾VܣTi?~%FE:gj%Q=62EV\`r ׏87JJh) %gKq_I"1=S/p50ŋZXl(9ܛHD|y$w He33'E7;J&;aLog)$:L "0ժyZ(axP8/O^k6ӟxPyguSQ |`D;7*x-;Un%ͦqW_Oo-swh<ҙ/[k- ˴x\-Ibh/U9**٭S\$-ɻ/gˤ-B)v(@ ls1–2x|8r{?1_KsPA z̿e fTmw ?TrӻjSM =bi+{u"Rf 걩{^r^ FB' ʐRY^ mxU;>DW&mCN{{> k0úVLukP?C!HwO7--VQ! @i)fpCHgr@opi{Ј ҮY>fn&OǒB$qCg2FܯLxY+ s,x32̚ZN׫-V\'H{Hki>1!ng9,<73b #xՂЭk4Ŗ`6f3ũ'ՉPj'=z&'Lw~F~#gP6~ ].ߡXc#<˧˔ B/@ U^]ʿ]8/鴘ak۴etV( S))44h Ŭ!& U-b8N~m mo~cka xVѸ_F9#d-Kv82YR&礁5f|vpH7 C}/4{G3HJ(J >: )0؎ИvDSZJx}5sJ_  M6:J 3 6^+LK)Eg~]pa?`؍!'N΢}ähf{;?dlwIwkc ؗk((j:.:yq z-\f5V>sux w> !DHl)Cȓ@n% HW3:٬GK\bt}*&]?6mϠY+"f]VO{7hb]%67wzg !tӔCO?5'L$mH<4-3Ir]sޙ~9j,-;( 4/4:_oVߺN_K7s0j:>M`^mMU,!$~5l-S6;~{M8VIA(QXMeqET;; + =809OMxšc,%L^T^H7mwlCq D4p5KЈ7['(ܧ`jeŗlȝ1i<T5FJdD= SIۿ8OuGC/CF:XبegQJ~>:8$yxSplsΊ~z<@:#$,LxIV[qW],]ދfMԁαУ#&pĬ1;T}tWtBM'[Gn?1Z!dO \ơ7x[tVs UMDGGfڷ;$=v-,>La#.S~9ܰK{;VR1ow]O NIqHÚ3n7BH,:{z8_}IDkKosl?$0@FQ`V CG"!L|0%db$u1f2¡0Pu\.hxd|4** ڵ d4},D^ٵϼ\k/,O$G$FKNu͡P+ZMCYS6U^c3|:)t~wH9M 8Jov w4 H# -1ZqN,ϧ\AR|شf}tϴ@N2#tHZٛO^u4d j>rOAFU^N:֙6kP-A]JSWeݹcTH 7=IX%Ih͆N^Z mZt8<&/*1%FoxSx<]ѷ<@uzGx6q)W+f#f!K)vv:x?Ov8|Pjپa[g@/N6Ҟߛ2:GU}v]^,$ x.8g)SZ1\JE93E8>MjRvL昻%XJP%Ń7o^rIbPZhA)dEl긷 f\غުfZY6 '$zc5<\%lLeF3,p!jLgؿ,`dn%vC(۶B(jcnbd1~p5`2RJ .u`WvOʠ<ؐ+tUaIC˝2ltﻬhc0"?f:Ny 6>ڌ[+$o8t=l3F!nq7]6N#P*q&; :{J㟐E8dÖCJ[,a/rS*6']H2GJRV|}XX5t#+'^@Tm5KZXX]LAg+̻d1(pħ1:3#% s-=>ʞ ޹|X4aX* E,4-hu][O]xnDh Y6}s,oҲme:,8T%I6TRS<12t %' m 4$(֑q>pS|dX1߽S2 jWLw ȵDV_ڢs6Na6qLu>GҏUkA%q$`TLP"B.,.WfL0hE=ݤFra)=-!_µ&ߗIdrV1yӟvB+ĤNaV8H?^r! %~u.}3JC/߆nŏE"lMܡUqẌ#'!yBN] aƐ#C9D L򏬀Cir;P@Mibړ~9@ӾVج@@Vи t/$y5>ˢ Vhm&Ub sYĢ:XC Hwߐ` hET [nڕ(&zn _UfTT߆|];7N5Bh.zOaΌ ;NAܰㅟm_$DZݣXdkMۀE ctpK>M0X$]wTVb#a5z?qN*Lfj=O62n6!5 +֎T/q@吜gLV$4}boXf)w R3I3"Xtbl x\ ?˔oD V)O< 4 q 51\2><:#GD>O8|v'S媳 ]-J8YW)㾿Ey9|V`vtz k_[;] Q9w.cee(OSy/3j[jW>^_(ۀׇ1Ȼ-BAC#]8E_5]fC\BDAŝ~:?-JsE+n)]~O%ULe]'h,uTٻ]rz12]qCGrua }~CzÆ\YҲ^ZfD+?.We1˨hO4-4JȪBpЦoj泹!sVy\|fDs-'3qP6X|z߼~!ܕO@I@>xNɜa¥mI^[t~-)}<[F[f:+S.ږxA%cK*| 2X@Q儜Ei"!t2̘Fj8-Vcdww~^_\,c)}NSXGת/{`-#Tcw$/C=7tl TpiVb~;̦zdޤ1Y4jS=RA'I7̾0:Lb*3YdNJKue]x+VdfNo[h}Z+l ŅLc[SM\0{mRw\g~e:,H3fBV$*2Ҩ;dU1]SYlչЇyj\.4`E]s4җBdYݫO 7z !ó5k)%~ dGRv2iObPixxwT8=*Q7zk=קh%v,WQFTA@Ҍ͎YE7WNLh=mgmY Cy;;Y݈)&WmpEk!*0Xׄs {(/K]`MG@x'P_}4.m?mկ-A_,Q!zoYy\g[ Kvj Ab&-|Q0E-(AںݼJrh5bE=>m* :>WC@ ML7s8ic!(w4b|Q[32DtKuU, y%8|$: r_;{*].SuLH̿wQH|@gɱ*tl@7\gjs,4lN+Hc%(g'9 *PWnDb(T*1 6!3oҕU%VRne=7/a5Zig&n3`:pvTHQtV#} uˈuO#v=ÏmG`~$HrP${;&8 0.Q3\z2}s4$KknG ޕ ߹} }t+NB 3&0uc(v=߹ >ctu>'Ԅv^QQiU=uɹՇ@/ϯӎ:/*Rfe i.x cCW >)0nkshvKP"P.E.;zjW4J͡+hv*\],"zhnx3$H{H|ںM|Ld["!@dTH& U81:$V\NG :+gT+xG ޭ0hV n[b7< ?zjgԜܔcY,Yi]ˡ%5T4QcP|q9'ɏ>w%hIbD*jv7 ؛.S,EgcpǑ6ۖRI\tY0q!d7TYrT`y} g/N`dU&m8;7_$v&UOTL֏XziԥЮ^d,u-φG_o{n:G!.v^6,K,B}wV<tS߿o+F`X4eb=7$-,.,Y#K|*o-(YN&3g 5 g50e<' 2mA؇v)Co4`,y|QMH]Votvx93J3k)̺CifMTFq\Z+ OsO` H3G`2M ʄ7LƢ ^\!` m5F6aq~! 3Ǐ,ʇ,(" ;j(}{<%sro_4c̸?ir,Mi fђ]z'^k+( ȼX8MfQ^ [ƺ(/&)[**|U߶[&.g2KӞf8\(AM|v%ج)E%|>B5bxܧ-g|ۯ{qFb8 aE(UTiH@]AX ̰Y\Aku)g {fnic :2e񗩇{<@7tڂ자YmzZ pj|LR'Lj븰:9tpƦۯ5E΂RS"%1n~az];;ʒt0y`4<6=TAT<*Avq[FNAf+Btuw+C^4ɂYEU ROOʄ6vb)%m3'GaeXhu, \ox-{/)iëMwc9V0,)2/[M-P}X:(1Pҁ g-&=FQFVǜn'm]I[g0ڰ#uYM\}R]c=w0}foh_}]i 'n^J> xe nggsCsՈsR8סJnY$JqXEc&4fwX3P$# &x]=8?a 7Z%,HDi^{d_V:~|\ï+^pl8dR( ~jߠFF~E%AZM!)Mo3VsϞ8| N<׸6VȤHk ;%'ߩupR=9xWYK{RN@cfYE]u6RWgD`Z[0̖7=HW,2o*&1AKKviiYC#;" .XPt ,< +]X'GQpD؏ )[_Η2j/nRaQ`ܩ?S^X(ݣXb"_=q )|`༌U՞2i {m 7 * PqlsKc> ĴEA gx# |ioi+4f Cl Ý<0j7@歏ʸnq >I4w3,-R\n#ϻ]8 9Nnc~1j0Q)6 FuѲ0x+3 /37k42̅_XQ2n%.ϡ7=%7Xg677C5:ɔzN%,jo+X:{֞۝)c1o^v@a@{NuÐN53|, йN(bv`Ƽij=Xq6O }x@^.HJo*P,uѓ -#L.M$D|g.3TC2Az٭9E4/=5ت|L>,z3)[;^u| C0>'hbn=}N뺭WhP=˔Jf#d^.BڣҼ9$w7FX9@%N>R"_4c8WNӦT`ncާSsa]Bv'<[`ȯd9`@Fqysbf"b}v}^fTfkr+u#RLKՐ^,mP{nD2E]go% oVO;#-١?3gn75("!+FFS$m&69AEc&0Qs!o_ kȃm.׆wBYëf?YC@)ygNn\P&R*k#i8lzi \c2z\4͛\yT#O1m*s?_o(j'4Qm/9T\e,k]g8rj]`=Y!' W(H H9kimI¡̣ZS}Exyh!#Aں\F~Nbdi6@9O}YN_CJ~Ňr͌,:ӷJ72д}* Y=;dc.N_-%~r[9"AQqƁ0{LʗW2Bs!\3өg%d"8XeW0 `@*jlIXAVi xeM[n@<[/hY=4Y^F S}C57l;fO]9 gO{>S <((wV A֘_o{„^ugDH!W#zJ o fIVQl=u54ѭM?S̳GG8_h96X R(^,C yzLБG;a,pk5&Xe oABlQWVn+F+Zb@t t_mf9@1C.s/7%"Ff'lT#"Wl`)2y[~e'TQ՞fIM8N[_Tvb`ڣe :;߭Y6z8$QGcxe&ҍ5xm9(0,7ّp`s>tk}òXț'EFllڣ֞;+DUe"X2Uk.f5i(X ҰR|)3WFBurySuӻ%F@eZ +-X}*oNǃs{Ul.LNրWX>s#$*Ai7ALDKduRd2ݥ0qp3) ~Oęs8XU|VmJ۝g4&&@D*HI*_W'ޮ%nVή>6d4Hb)au!ڢkY=HU;f+?N]:u^~F2tbDMQ'ZBKä\8r_/ nj꿶{<Pe]^7{{]~15Uu)`3L3u`͉p*wv5@;phU%rGQd2/XkAmh cq@*PB<ĄXKi8e}4?urC隷Dة#yv >(Vߡ."EuO4 }M9gEV94xrڢ$As;3̺'@$$<=|LH<w!fTƅi=_;g6o\ph3:Dfa;~/>yxJ7㈤LU{džwjLmSz VgLD=u?^p_su&l!:N1"ӽgtdJHNFWڵfcE]ٜ9? Q:Y Z 6߁`GT 1J8jg]8m(whEJ!roO+%Vlr͉t,I`9KGJAuM|vETEWSFAMgZ\Ք_Iȧ;A~ ݛv@2uf=͔2E`/nmBܳۜ I2hr d(EzqrđD"ްႨU2@;0eq23{WOqqoWx4;%d|j?ODN'X@Rj~KK {9d>DźB ʸ8bK^-9 hêg m56ǜJfCL҂>'%؂bflToL!{L:Y[6k٫Ck{}qUIBɖ \jj4lѪe!z̫V;蚗g ck.+,O+k;ޓh4RDG\!abަ=jOHP\l[Tq`(~T7y,O]DK- QIX zUO3/?׎v :Kf/V]4p>^StYI/ѳznj:NJ%6(]C]q-k;Ǝm+[*BnQxM~nӮ y<q2WC;o%gnKp C&ZvI!Juʝ(g{Q!S;m:T1>bF~d-iɌyy=&@įaz7ʇI._W!ڗ7b) EPŠ%(NqUi #s)Do7$Z67O:;$K 4`y~B u>"lXdMw73cR5M\zi D:e~g ?T:_ђP_an+Nԓf*BpE,1G:It$rE \M.t:ɆH̋FayAsIԾdTUZ 5NOV1`2Z91` "n0?-K8!X %0-fd$HfuD鄜 QlcKmI HU :{]nA>Rʄ;i!HX %/[#oZ"l|HXmcZv9&Zp'> $ {ޖ@"ەFt{;M&UgN-#~q  J2CzPJQ)ᬓ@0簎ڒe" {RqSl 4*d6D'F5UN'ޭ44h^:eʗ{^OI ]Vv XѾ*EkZj ̊J>ۦ]rU;یӝN>%=Xh*؅d١pIB6:t[ҳJ\@a3CYscH#&&QYobcE :<5a\RW˩Ϟv0AÅ_ -+ L*#4纷v9[ $2ly ZNiQ^`n|Q7#(`k&`9o遍QIC p_P1T Ab6b0ؑ!m[ ŎdUFQS©գb2j \{s9,?o,cJouL%bREF ċF0 >/uSd(OJ5o|Oi*@\:`Xs^YoϷބoޔ""`dx ҄YN$zY4v ǁ>e(Ms|cAk;; <.xB/&]ioy[bS HDwT#fydS^x jH \\o#bw'$9褥l kfnF1]svcoidGs/uס6JĞc2ZEE|~t/)ɝGs5ujߜ6YjeA|W<*s%}an h<@dNIq]1{M3KFB~o &.:#=i:S~pi5$ {(Ċ=<74PH:pb^`P"~hp-B6hVyn݁, I]QB)6}JSm~-eޚD-znu J˓2Z?st hZ<8ԐEE:Y:m&Yꇑ2P=O"!pbuQe?W2g]T&eLWwK9֗x͛%W#e".4 |2[N ݩ1,٭PJ9f;&GaJ:tG\d5hC Dy# 9U n6wXY#OidV54'a\ֺr)D\,'{n oa`P]+$^^oVAoqy0iy_^j}V1w <^Y!OAF]fnr}j0Fo::~j+VÝ ܦH%r;lHC.zR_$=tG@_iч&q r4&&khw]~f{S]~=+=`&WC{cf -*9@vRgKytn0mR{tY`/n ЗPP>ū[@Q F-8úYę:5 a 6AE+ ak^@? KY_y+n'/\vQĜOrY/#K6p  w/oNsyѼ}@I?;;f8N.e7^-"D(dkP_BqmM*fοL(9B ր .Bz~DR2liu2>?޻##f?#چnfg\Sbl%"wUdiD? h y+z!.$}ㆥt4[C La!ȅ`ʽC>>"4Vέ:aPU҅+TձW;-(qR- qYؖ'5FTxD [uDAhDʭ;gN󁦌rLʷ t9:6RreVgo O$:̔=UfTqPX"@W=3-.op!ߪJ7;S*5!X\sOmRgD0?& Hl?|Hkӕ 1ѩnqrCH=su9De#tM$ގ1Bx?CQax>8wg0R:Ksk]/κsZng߇gĽ+tpJ"j|7/7'\w `WΥl9*h䞻<k1 (8YH\KִEx0l$3 4oZpȅ:08J$"3с 5.>ƙ/{PoaxVdƟ5JPQf>ţRik$¢?6iSFR9YZ~M.PWӷſ5=շOrZ>4T (vzp'A< bV #+A  yy{4,PGo"֡quvN]m2q.L\pw?ϓ+&%%ņNnxYoh=Vr|I,fާ NߧϟvU9T^m>}-kFdl@FSNJ$UVDo_<yo7:  ẝN(?h&"ۏzme>Bߑ 8'ߵ h?h"d!Nc$[՚&].NoQ 4pQA46'1QNˤErĚ08.Z6%($i%{0JS t:m0Su~]鲅WؚFT|h9Ur*]6w 4*fpIL'AQ]s J0>%8r:O} P2FtwVfVzáfNOF,w;֎%MmbkdG⾷'JtRڷgbgMȘi)_vWX$ ]v\=xޮ ^ݣzG1-Rr2ڕ뇵͒8=(wOjDU$%EE=tIf:!TV_`AWH+sCNј(,R#"}.mux% B0yL>H~TFo"]qX9\z[e*1]YK J `1=,8ŒݜHwo_Z#m8yѧNQJN [h,7D#}Rz&z1AE]F=8}Am }G-%/hʘI=!vB?!L2+VHZo @@kW>DRCTTĕrv3g!^"6$(\0e,!4k/Z(l BFDHI2mkȳ]d[jph܏JZKmg:IƖCV[Бy=wjqh0X *2L{QyKּ_[2viԴ?'!q{5RDwי*Lzve"xb;|RqDbLNv/."rؗ37w 'dQA mvy9Gխ--R<+il_ ޹L0e^nXup1AL_/vD>p1#&!shDgL!}W1aW84~Џ-#BgE YD?:'Mә>z. Uǀ^Tʵu!+2|O󷯨*Htt 3l(EBj`jҨ6ܛ'@ .N *[j{.in:'3p˲*U, xC砊;EXHp%XjzUTs-3p6xsЇrIlhMM}vP[^df|2 k #xI$n[ڹ*tD?1g7iT zF4EpUh&C7 Ǹ(!LjfÑp!z RoqqA( dHw<9Fk a/+~^`7rlqkV#Er g楑IٛPG1XR5dxkx>AT4Gm1VY9Y gr@i;$eH]F'"%V)tMr)K#g\g!ϥBRJyFz`hg[9p΃:=xl8桂tXV.Ab8CVCb05]zIM>wk{DOm0u],]]m^xIP-dll9e-=)?=g+XZx< o@tZAE Dy{Tz6 +<( `)P:W(\ gjF-!!-^>*iDzH.X?ʾm K+ϋYcEa.\WEV~`c3"byfLj5t?yɇmTOF?- : eGЏ/ȱgYZ012220de8e5ceed75fe083de86a6a74f51d5d1c8 091d5ff629e386e1e129ac71475d75c14d34092e 0c5fd7fb18b3d024a5dea33e42f1bebcd90f6141 0c69633aa21241e58a4c56efd99a28f0bab7aca6 0f7ad1838b622b3de2c7df5b755968ec389ad49d 1588d5515e84dcfcc24cdd686a263757ef8279de 1afe0f3d27388ad9585c427e82a2181f136b9519 21d51aed3490be66d4d1b3fad5a0ca049cb292de 238ecb4808c4b74de83cf0ae256a4a0ce909c0e4 248e7751f945385a73f8cb7795dd175732fc7b0d 2c1d4ab20b36f835ea1237b9f95cd49e34e44c72 2ce1aaa5fe2b7456cea965f80e9858243ca06c9f 2cfeec2ce1b31633ac9ea7bd8f62c8db8d2b23e9 3814102a03314ddcb22a0f81a3d929f282fea9b7 3ae73c343700f4b89039379d93ae794bc7ee14b2 41fc5d131148a5fbd04526c5df9fba4d987fccc5 4663dd9fe588d274eeca0ed9ae03c691bd04015c 47a1dec0cfefb7f818309767db56e13eeeba9863 47c150d0359a73c1596c9f82c15fd8dc18e0afbd 4d976b00ba4eef38200bd9e7a56ade5f41b4825e 4e805a4dd2548af1c28b3d7a50c9ea929c651647 5861eda4aacb980c7ace76d5b54269b92253a531 66ee60d9dbd65efcd72ce5ef66f86922d6bc025c 68c42fad69d7100fec79c1afb3232ea2648bff51 6b28dab26f62be390046313327ec21adda6d4954 6d13246728804ec2e99132d3273b0974e2a6019a 717a30adb3ea44616ed3005c974683a0e7d6fc19 7e650c9a8599cf893cc4f4b8981293ac522c1000 8389ad47258905f7a57a32ed62ee65e2bad966be 858dbca8245af9e0e91875eb3e7ec93c58658099 98304bb72c978855f9e415b5cb1b17dba41cd197 a15ac3884b46cc76852124d78b1a434686535d1a aad474fc2df6fbe773919dd2099fc67363e450ad aaeb32e6425d888c6443f527dbcae450186bf0d3 ad102e33657f7ff9ea736ff86666e5e66718c035 bebd4ae9009a465d7ae720fed4e0bb47247bb716 c520a36fc0dceacd9681ca3bd364f65243c34b5e c5c4e60239787ce0c3da831532a90ab0dc9f851f c6b0ce58193946bf5a1ca7c1c619d468d3b3f452 c89c9186823cf4ff412ac5e88fb98debc9477e88 dc785c4c6855f11013b8d022ba8ab06b1cd3c3b3 f2faf48c66714eead5633e237a996f9bac973360f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 89b605c92193d7cd5766d91c4c315e9aa41d127d