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 1tl$ ]/ SIFUM_Type_Systems:threads=4elapsed=33.429cpu=109.288gc=4.180factor=3.277zXZִF! ~t]ŗXiɟH)0%ojcp0/Tb)k]s\((M.Oޛ{lS,OIǍx; ؘFyfQT#żQqe>k Za7 |)ksԟLLH1qF~2ט4 '9/wyd sB_B|cDI =PtP&%t+,8z*M';'7)LD~ ͍C&<(>\ŪHCQMSTC#`ˆ`peQI{ΌN$s%40;E4qeBX *;X 4A1a5a4TzgU4/5o*&A j= |To{͓WYtn ю"J˦\̕i]sj$̠iq%R4EhA\E}mgvy AX+RٔXH5d`b8o"ױݳ8'K.b4q]ZȃM펾ۆy)EiMkAHd$>r~H#`jD}KQb6%JwT̍}s` /l +5,l9 v fT_aIo-jи<{TEN?i >/rJMhj'(yr =hD~Z%jG0 `f5xЛx3#'JxL*)=oOrD+ P:(D5E5}NSBR nz1D_ @w.)EŸlO: dJjYn H;8!ַߋǬWA$+t#c.G̵ąϟo4E(O$>~p]2M5SQܨ|"aѶ.:֑_w)OW\]09bx E`ͣ[u#fd6 =6w}4| 9h/)[oop,J GO<$Ǟ!"li3MbۺxCm5mb;mINsd0ƣKdW DzԍM 2RhDPo tZc9B%y)"3vŬn|A<;Ed,xE1PN@w&nD6 W#LpDfH?aba}z^c*R)c=DžNp*QYh41&J QRl]2~5O@ 3x{ ƮWFAqA ĄT;tHH HxwArdY:7e+$GH&|&/ VM|▗I_̋p ֏^n8le`=8w&<ĝf3CBma:[9~䠋 p9tQ9f-T0ʦBxO]ũD5GCV 8bH#,/oгP{ޗ,:X1 X/pxz3_֟EFtڜ!?BL(w!vSo#ʤ,&tEȀQ9?k!(($wRC px?wUx ~o_=bUc]>ZE{d\`di:mN/jXdmWU79v߼)qiq](4q,(`!^$c`pW8ˍ*XE搜 i떉^Hq$F8o#5 7 FeaAʵB  1 SIFUM_Type_Systems  Tߍ/3Dz=zs?8wM)?Bͫxa{(*">r;V*MA)g5 3>yYW^8]!l.H{EJuywp!F/%L%-M /=8''"g|uo\bTE q| sz" X띯mJQ㟻.$ bmx1U~}1 i]H뮗W[DvM6(lt|>hz34-?2GξH냙2^GW,#X>+EàE'Ļiq]utYIYo8ЂHs(o)ÃӧGRyS> RI>됆+ʵ)/?2Q1Bso<+y|YreeQqn@U" d4xA=xFF 7gZG,c)7(YUJp?`BbQ[ڭ$::upv+yǽlex0$$Pg},:j5F0AIb:gIxkX{*\Zl]ڬg@[K7:T j^ND?3u ZB]LeMW"puEPB:Pjڴ،hNѫ_Ô*ZUG Wm>G w?7X;j7IQ6L느]MdMQWU1)SQkƤ-R`dLa)?xˑ8p?-%Cŕ׆m44Sc9sqXK!A6B׸K8}ॄ(q׈HI @w9/ 08M.:4 7&NKzG#,uVr}p V-d/ѡu9%65"j6P!^Y@bθKkmôX ˠHl>Vh8z}T:3{(,qen"ޕUJm֭ n(*'̈́ l/| i~!oM[ds87=@ܹ/Ė0lp =.q}>El5WV^.G2 gRS%DA0 , :3 jҥ(gITIOD&TC"9u\s 8mcp$k|NfZ|PoU}"P/?u]2YTEV=좢^o01M3dR* @M:SCrϣwF1&1bN2N_U.Iʫ;߹;O OX(H_ET03gɉ[CJ5= PK b'ݪY熣8> t*F6>i4r1 ^_k ͝\-`wB}>A8ݽcdwMUM6rlW,z夫;<[C~pĭEYHiQp$DPn^Fwl#[ݕČza%b/שuu%#PΔTZ YVsRy!XNN:PYہ񣼛}o"a!\՘n$CW\ʼnN)1;fQ#C0,$iIMfk~iTEwvATT wO.[u$NbhMRS{iD6)Os$x@mЍls 3*c{6.щ]<}6WƟׄgbkjq:.@PՐ? N~h1ta2tI+-=X`kKx^qV3,Iz\, =0՟LeOz}(Fؓm|C]LIDh_탃,k#\+&sy=r,o^-1N/jKI<'1 ܓm iHbu3G|uMCyLafr3@mZ^աݥOLUibO:tB hQػJ!m#*\AOPq`O( +ي.4 Gҳ^%/NvDp|V6[{O-jp5( A7Ǔx)+!|z wQA"ᐵn҄Al`X|^< TSj-헡۳ ̵(x]m{زw3onLa{w R`zWRӡcPFќu!K_)PVh#1Vz< ;Fp ["K^o 0jp 7Z`[;Drm b6 H8@^ ZxbmɊ \p`N NN.t10y+bKqjBi5E֙{(9ۊXJv9AjJP:d:k0>o/lXHZTm܇WkQkt]7s8s҂M`  EqqI "(&:ěΜABSWtt}MGqWMP&<:Ab L sA;َh=Ql-|*)3N鈆u 9ޜj#]wQ噗@4:COVMx:f!4/$ġx%i (%\IT~lН 6|歸ED΋"CJW\ 3 QPS1ѽ1Mc Ghc!,q/uSD >lًƙ9xF2ڷZp~3 `wu{mz!Gbp:Y.m'*  gG#k}ccvln5˲B^o;Q\m(C*6xѺU:jPKzU5qa+IKml ~J6D<6f}ofbнW$n2'5i~Ꝝ99W yĮ;IēTʚavϭC|!JW_ɕ՞hάt9r-xi"i1Kx"%p!/͚4OJVf ԙ݂o/5Ȯr%!zA`'lNpo{Qsy''[8vckA݂`t,HQ,-@T5WM41ktM?b 0Z\7g"fmG6k`V%p|J(6cߪo;*pJ$.cs'K]s=>.CF2J\D(zIsaG\ [ʱi=s ҥ*;ӲM{o+M#|6əZvc7?rJJ6Fm#Iǐ+dn+X=_L(*Jz|Ak ia^{4oM'X<r̶DOP7Fl-vU=Fuvm!lT5?9~WBi>3䥲7@cGIx֑,f<[?^qLPKHCG@TCp10q-$Gimm(_* [ip:'jͷ`okW/$6y#ZgU!H0 쵳A{O}d̞6! B`ѢWfω{huP @` z؏6*)_d0ɪ4\$D` zuQEMOR3$[(Cy gw6B[Y:ɪ%*˭9=hU_kv'sxra趍M5%:u7i1 tJ]&?% {Fe_AWVhDŽw/Y#OW9$D-{F^H=<O'K&6(1Z& Df3Le}J-`lM7ܦ:.PtU/?d{/ qЛ*X(RM9-'݄>WrHs‡$YؖݟYًr0?f5+؀@qv?RG)R8fɝe(=Oi ,{Il l 0z}e˵dLӧ,ՈBBE^^hVyYL'Ҁ-@=&[K44)Mw\{XT$d$F0x-~BU-/){N-o~e> ktrp- QDfqD2lE6誯((C:!ub~$Sc7p2UPu!&ߦ/ , @&D%@⁔764y~N ,?5[4h<6AT(7&o7447>5@30EfR@JMV8[KvtgǡSwq)o3̵Ču6tNzɎ ?pO|tޫs|/eA>%&J$U *͑J@p|#s[0.G112 YjJ{/†.3KfGه)IPカ|_;rS' ,m8 V(T$U;EfqAe!ޭ6ܪEx|ӾJ#jCy|x"I=h-nS^lqq3K* A bp!(M&E]BC3-Ud=4fSJ@wVumaKioJ2a;u&7I:{`t\y~BI=׮W7+3&QEHU7ͭ{3 J#/i" (M(k`@~ C&ՁJG!?)'c"A+KsN1~#Ĉ-|c4͟ǻbOaW!UG3Ҩ'TVDoL"dw{Jw9+5\gq -Ko D `!.<.LB*>v~ 2_ A8w~ QѽJ͌T@tJ;x˳ RM{j0e.S*QҺkLx1wTX :ODjIѷ:G! $ձWz[d-;-Zl^>tPޯ?FW-2뮎Vh3 /] u /Amh7'^.r<pƾ/ mSAIx3ziq Kq"dmʍrZ5bs+ٕ=j 8b Q.oC?Pj׌o¾7k p9MEl͗# Z >u/OX fRTy?ʍ#}^tHA-jK!0pvO G (O> " g;#у`XgܔXVPBi)TwRBE#$)1"#7)^8& N-ͦhC9*hغvwy !\ \, 5h3ZM#]')eQ|Š@X` 1ڻ5GftUW}ԈZ ,(EƠ2ImQ@w 1 =$P -yU=kj ,M(clfvE:z諰w]vAatgx[1 M;3_$'Gk7m8_7 5ՠQII(EWsss9}w"*h'Eo[t>c&7:)BYTOjLΚ`%UR͙ w}nC0~=M&]JB1Ց6L82" 7/3ou{Smxwv'ap 8]J=b!ԣ߃O8uK,-/4ҠQ=ԣ,tڵ;-nk)4H+X/iVH}Kb䑲B#v'#iBdA4Z`b`*dMXޜB΀?ZKo`?Ee@XJb8ʖM;=K1gɘIoQ~i{)995\9w`?dG(/0v1NnDU5D]Ϗ;i?-TH= ~#z6M# C:H>v<\xݷv( LKU~6Dƃz'1ј˴T}g_ }ͻG@` | gYϬ %* IY$ ZsNϞ j?t`4xΨ4n(zƯ$ WLqKͫjݞ垁3!hntЭq{.mWA&:GZ͋^r5Vq@tmJQ;¬ ӊ;*P^\SogD TdETbh" `(>r uWMUl>#A:7HUY0n$(]Є.34}-6K[ǎU1ز_^yK`%vE +բ*^z2zKV znHGI@QIt=7GW=}u>b@k*l%v_"JQԙlphJdY2aАg+;*+XeM<ͣ1,v}5|nKJĵȾ<*-`u_Y;Zu)oBLɈQ}}0U Rzgg}%wqt5T9Y/ߏS]I~2܉pwx ʶ:(4,b’X_`c\lj]vTGi55LQNb(Y 3aqI^+߀p&@8R0vp^a 4Si)pQ]O cVɹ% IW<у1rud\]i.8 W{ԷB܁9K$JAS׋ծ泥)loc;1;Z2gC6FOQ# Фj~{a9jW+30!ps۪s,v MЀl2&s/A*%Qx&:aZޚxUV'#)W@bJ]syuMOYp(aXb_K+f1Z XNu)ۿ>g]2C^cZY=vM&C7 _Z&$Pd 1A#"6LHW *y &k_B2b3+^hem^m8oxyڵŕ^EUD/:B9/  xakcuG=a 8|[cu8(RaM)wuTj:>yTE?<|mbq[KhO3lL~wG'Ɵ;G_TFpU"O.h|כN'`m*HK[m=5@gf. 8͹ހer3Lv4<aquB #I,Cؠ)*hpZ7-caWݱ ;kLZ>e)΅\ZzUjLyjR?Ka5n U,;ld#^!I,ɒYUɻ>B2wWϷ\:G./C|'~Vk$xlBU-|{5.cu mV>]՚؍KC/BJtф(&: j >s~+C/͓:^tsjEQKE$cQ2-*AODpb ª0DKk6@zחaعa" Ŀ7RnӲT5]‚cjWC9oM;GˉO0~aQvi|BL~d0 48̢hONn\d?5Сf(VB4}~M]I R|3|jFqPތEX`D5˛zq"EZU#B8QצP Ϳa'otq}Kj5s5w->{O IVQ5t6kܴ¿IP"ǿyIXP"kqTsbFC<$*>a/iY?NWX'T8|`KnM^%l-:嗋~"j(6.t{(A;Y.w}(̳ ߣ^F3_++^%; *ϢIy#;)P!L[/lkT02!'}̢Nx\ Re?ȹ\77 .VXp&^X9Xddm'gCqXF&Rt{tiSҘMpOCO#DE/$d:;U}ż\iYL~fI[0|bdBJi*q+0w>Me_{\L[!E4Bg0QpڨAa2H)lH iNE(J5 1[xbrVP*}I?`y!\nS߹߭Ux7z@rچ{>YO9'nj{;>6 j:lػE # = ö;,xoe@08ӡp*?W`Y'cqe58o(DSq0'ɼ_BMMSl۳^5GQjg:#DJ[u,1H)`QdBB!2i~T3uVmw(ݪznO,B3GO=2`^†93E뙇B_h/C?%Q'>NTb%U( h)uHH\a~O< ]Y t"uFeѤ]6Ώ=RDF^ǓݡGp&vqFTDKB!Y@nt_0 |š0钬pzȀ7E-xmvu쪡6lVMCP /}/ۀn Zz Pvd.`pM604ϣEzW܎FwUD-Fk`~:SZ''y2cRdu C'y^(!+7QȟY:KչW2-bfVuR])LGjo %>z7-z)l&Vȶ%FB~cwi`͊`/Bn?CE4HSj`a>wLxةUϙ0'1ΩT wbw- D`E3sgF|_ӎϪ>_{V)9ξ~>,&^iTw$=l% X]1cT jF3/=lCErI\l\;1l&W,>9C0+mVK|>O:]}'.uBVqVMrmhx6JWE-cp5TKsƨr;fsG4OCmBt2=91v" TX0i&1w7Wx"ǎueOƈN}NDM^/#|md21{כJ5yͮc%C⢿&2?N73o"x%4#0:n~lOb8ТSD*s.Y}?^p.WyR7̀Ȧt8ѷ:7 pґ8(!}CԈ.^>0hZkg[f?)eag'mpph^~,l_g:k)OІs,͚ѳ5m7͂\Sȱ)ʐe!XB6^#Lq_f3҈0?;,|5I/n@Sp{*tԽ|Nz!UHWN$HF8o58K9$??%;l ,uo_#:Lx!n<̖$q*?[ ř0ٕYT* {EJUYGNC.ի="C: L~;$?.()]!5t+8#y3ceM Z eku %j4ݰ"wR|EGLV7ԙir}ѭABXm1X̘Cf9۹\N d@)~Ͼ#7Ѽpw2Z<]aֺ-]o2yv& FLEtmHOYq 4!E0Ɨ քtSa_Tg9 zNi6?L0UW=*Ů^Q0Xp@^~iMj baIFBj%9c㙿'˛Q h$ $ѱ.HkO{v"{JS$υYWc_t_)Vߺ"#iĨH5rX5xFI◈"bAFmVMzri<&J( a_EU x쩢|vQ_3͗Bo"yx]7ڂ&l;8s lZ F0#3 6leM.Ay6^v4c@鄉ϣ}XH_Smud=hH;g'ۛo[^Ƞ *;=847W]wbZ9jfpA dߘ׼\!}\[n} C)P.\?xm0|/\95y5@+F]JBE$E\0f2펳_LdpQzUw/жVI6y}4cwޙS/Rsh3 6:-EltFfV{{ʒySee\oB7D>'.Bo R[@hlfUH&.!fG],|ۊ \| C/B}*` ]b\ Ӭ`,}s~>?HT?C4Mqd$.U~1pŚP cΡ&#[ 7[B$\%-,tQ1׍~PXP k!K[z- <7pzvZ# Bh7dksat5FC1g8 3&VÞ\=:j6ו#úEߝ Ib7 [>e[9;y 0E〶@p5BͧPMlezkq/I [!ؓW⁐r ]Ogʉ .u')):Cs2V cŅh&:zf0-%Jd7Л<RNU e]FΪѬ\c~' MՂN%W'[O0%RPo T9McN؏g-7 ɺ][vGC͖nRmW׷hЭA:|>Ђk`)h#b,'2F$bc  gt|T&#caǏB3: '*Owڂh0X҇.*?t%wĤ̀krlY#qfG[Z+1|/],K=2\oDB@*ZfʊQ`=MbMA.7pztc24ch #9oS@; }kϺXX,cOjQH5J\;7!ޘ>ƹZ5^xʼna8)HS n? w3RjYyfƳ ;U+F4(K\Y!29SaO"m}(&4.b ;7͌̔U4HlsPFZc U?b︨59&YL|kVx_ci?3EִF.6@_6"QԳH5PE]FfL)=̴F+tBXO;zFi=i0 Hv|L|=)*G`tU[A+No_YR?#Gz(Sۖi,V~&%SG*|ŕwgt[Oq/i_K̈́\w7*=:`;.Ѹn꿱HEnqyЙFvl#sQvLz0{2n5jjHW-Bz0:$ YOSU(8B-z)+I1Df|mV6.HQhok#58GjϏ佶O.@pJ M S+FF6sٵ8bL13#rt.Z RbK7"&5H'U]ki1z uTՔ9z )g)+.\İS/¬qՉcr/<|:zOt`ĬZQ"jQ}o>;TPlI^4 u-q˶<ʠ)`3 3@O k FƋMOW:|5Seb91 =O`(7I֕\Uឣ pb}{6?B{"4f֓Rem5~}xFjϩ8XI)~qsD6_}ҙxX YNI IJDSg댠(0/fvN M?fQ<*J%HpGJB: S&Y7΅Au|YK $l0BI UD-YM`m߈jʆbdәH=1H9;\UՖkbilV̾12rk`"Aawt" .iO %"8#DuTbRwI' 2D'tޠT^7H\x?FdC"4OVp{=_YrC[y\$#T\9^h{/霺] N<ib$VӶTGJ+86;o E>Ntm֍s ɒ|w>ĿB1 yɁtZa=%*.L5?F8W¬ܕOETJUXZV Ph̩*%qV 7t 4 h$H{ cyQ2CyPf0/NT؆iStȠEa^iq JHA"mk@|W%y"?)>evלQ 6B1eY!Aȇ#hNKUNJ&K@Fld#56'smEPt"`dn\!BczVL;1ѽbBt-)p0ŰvىEcjoK UI| Wb;l {Ȓ̎^b,Ӿm-;o"Û{1g%%s2:lF(?']ZdZOp_8NLM|Wo1pz95$\'\RՌ'IԵ9 aɆB+*z#sc-sRULZ]l_k.RvUPE+KFoHH"_X"`)'m2-;~oCү!~~Y1˙-m,6AȪR @rL<}"G3 #x|} $\ y"L:٫.g;:>DFu KyƬ9 +Eր(6).5z-x-Ӿ8aV|$J $qIyb.K Jh6BKZuڏt q1¡x_8:\cw52\ҵ4,95G7Pq!KliM@BG$s <W=Uȁ=m)9rTt >d^Ӳ'íWez-Ւ"u#^iC._]:XdmB~S9]RѮyN`eojadDyWK2z|@.j~(wيd.AU:tbgKE@wN͒hfV~! ۯtgY:l{z9w,4Þ|#@݂O jJç&0bq82f-zcW^aK9N~e7$NV~3fډ=C,+EVKkѡŌ[9SQǢ[P븪"Æԓ nS&(nW9٧ylάKv>6\Ժw{C*paJ׆G?%oa2o' ,]w>LYx n60\Mu-;,r({7 ^H$oMWRg.ӕZ2y\6mYu(K1KX[JtoKebI0pQ<rfe5ҦchpoxQ` c[9n'䍩PC ¡(CQHj%)=ѵŹG?Foĭo 4TĪyp? :ր@Mx=t/U J:"}?\Y`;oz*6}/XX, h#@}l[5+^2rt؀1I(^5c| Q9ۃ'k?בBzs0xuczAH\ѺDPWD&% [UAzHQȟxwsML̳|OM4L8\oģo?Hϳi!}33>kHu|׎!9$5EVgP5cioϽRi s7eyl=K  8#7}LdҎ/_3Ѓ ݻ/s[ASi Lo=sq!irn{EKWpw^H!Oxj֌_}m[_꺗s{Vo^hHf$EI@dy;%Uu+9kn3Lu9m}W|,6_x@U0sPJ;h@^fYdz$\it plJ SAEpN(\r$!8>Nޞ_m,/ЈqQA;\ͧ)$S be%CX2p^F aiӣ3j3 fM>'zOzM|G6y( D@ cP0{,{89Ƕ+ KRk^I/}4 ؤѰS U_ݑ1E:L}?6VO!D%/{?*^s op MY`[sO 5 "^j}41X>RQOXmLR$0oE3_Pm۹װkv#VY[XBI{ & )p[Yc!˦}8)Y#QO]Q̥[Ӡ51}/ɹp">c][ n3-huzzTz4f`K@\͂=3I^?A hԞ|{㈙@ '|:J4LKP1 >lN%bN~uT|y\Ud !Ld@+r޵.GA HOQ/R2wbS}3D+'C>0/4 "L_e2\OLC8\NC.oW@g#|T;$!Jc#ʇrӪT[I3[M5jҗ)P1v~ē=^SDDdV-C>t0K7T頙&7nbLe2;o,_&KYqŪfԛ#RHBgXU35:lVKXp7 RZɯm򻧀!w^FuNwҢSf#o_u Kษ@dUy+<4ݬX] 5@ă&L˛CT9tw[krW@pX{=iLȟcI ]Op4OZOEEO}P=PN4P*S-U*砡GiݿJD:Sy$Rr.,v $'O8cBUG`uP+:I^JPАׁ,SyĘoa! {s EpT\@ e[o./r5SAw$;24arHe3.GzU K,[`2&b*@`:\,G6ml>\wo%A9ÄoJ(6D 3}<ϡ\VO'VK>Ģ'.3@C}ƵI@՞QZ4$3#UeGedүJa*X]قVAZ GWX(/%P n8R9 37t $c1F]ZMrV(&Aˆ[" K3X_;W͝#qx R'mr!X#u㻾>,pnI~,?^{HVX6(bǵ|!Qd})ՠNxcq:GHi,e>Y "j&~LZF'CZf':<~s_K*iդIc UoU^NgDy pUآN|lmLz(VpkD4~"B5/& `l('s|ϩk/xqPtdᠡ|($`wZwPc߳)#C"uǰzn7tT~5Q<0y0U,A"wG-^ $\UDr K2Ŷק|u 9^_Ҝ~˷bݒ+j^H^U|zwrlG$ n`>Qi="nߘ=֢֜ҾRf*6NC7D1ʞ!ڻ)wT@q9$CA;~ 9jbh7U QT*@;fA2_LM Hr#ɧ^[ B4ATW^pLr^dv4l&j{LZ:$l!t(o 2sj#mzE@o ćBH^4Azb.("6p =i'L븴ce5jI`ؠPUW \5̡Sntͬ#$bgHįc Uf^dCP_8ᅱI i%oʽJs8dRK%`?@F;+K.;!H ԏT=?Ŧg XE7 ɦI9? }kitK /7iƫʥD|ǎJKֆ>2UҳW[ \5u$?S|2`cX\oyZ7~OP6dg9XwΓ4D,i _djH=Bqۯ`F:W%{5|4m^|s_-XNrl?R1SZYR*~뿳v]XUNCp(ب){müX֊xSggE<78E"*pߴW9?mh-TýÈc2 z>m^PF jkzl)N~ n@6Mpy.CF3r 8L'Y?GLC89nJ9rGx~7ޟmj IFt*ĞS@PDz Q&1mY)(RO Cl.DU`%7I?:dat #iaX ;"I8(zo.2yoAÐ$ K嵸G/x7(l> SńV]%Q>WHCVu pgI@.z2RU嫕<xOB#8Hj\]ݦ):KA0p1[\,)GȆ`BK )jᘇaj+[%I0"ْØ\q2i$ wk @?G5\6ߟ+?RnnոVIar+ӟH 4kkX&pO^^n\t^zlGG|)|H.+rۛ{l7 %@:1]ԠW 4k3<u5K74|!./]6wգ}-!i7Y]õuFW ^wI5$wB%(OG.*gH<|O4_DC ]=TI@o͉;vaQr45Z|%w"AGbp]61>/k ~9K QUdq-%Z5D@h+ֽ;L:҈^>b[#,eW*ޙkG Kh * èˆv Jf/c̲zܣ/VGDʽ*UP&K]gN/ŊxV p8TO詥9~'D߲mo{ XV JYJ~k5U@ÀO:v&X0 r#?J1E] fGd}D!\w@JcFpȮ|uGεmST >_TevǙfԎEPu2Qynֱ4B'Ve8 >sLnvs|A2~alb4Fo{ݐ8s3w!&vykzUcs!{ޘ {:Ȝ`ܬ`+r0 >vl=G֋O >Gto·*')|}T,Qxs2a\p<ͧBaiDf%#~ FMhy-vOK]bЉOZx2kF\HnR}%h|Ui/y=QHVs6(ΎpnRGA{c\sPxkn }7+`yr]cަeȗtWz^ۺ'oNV7~Hb!Q6Ȭ 9I;tl=v*\ϭfgF zSzh^J}fGɌ$6n@$NP/BǔfM&Q[G {&H k Oؠ +jÑ,غ*gKn_ W{fn7: T"q"V|(Cj4 8&ŗ?.6xMk.»m,WS\o[FcZK# MZ w#wAsh@<̜@8跣Uq6o'ZE JN)~OVZ5b_B|&P8Bf)~|kq[p0>#:їPHדlk AܬC4 nK|;RvSȝKGcy,{@ >Z~PL#y:o;otNgAXx1Tb2^Zɉw iZO: bc)0Xaes`/s-htEJ~Pэ_1~KaTFkvt:"+RnC6THsn tFEcH(qw:no$}41 #ag?)@HbUa3l~; .m 5$ pfKZd5t"'+"@sN dioh9 @(XGpDp~mspT($<\y1HYs%^ݱ%EIdS: [vZYmvBbu9˨"B3I&W}Ve% %k4p_mJĚ0pG]%opxȗSV>g_@d93< } t(:NȘ8ݔYU)a`Pv#~V1F=jGءqxf<#AKFOez!%={4I;}A/֒zl AGqFݮYxrxREتQ( Xg7n4'i<7 ܭN~eA,iO`t&XX(;.f2-^^ LS-nbqz#BkXuv4 ̰4^C,ITKˑ?blhm-jmUD)K؁[oC̲fMvا>S/'zz/)Τb:9Ӗ]^ }R% {ֻWݎK*l }ɜAѮ<klڵNi9m}uĄa`UpߧDySGj @o9T\!ZO@K~x߽+AK~1TcI!"6Od `ʧ]ZV 1k/-9<%K1M&!0>OX+S!eF'eP~1h8-/'f?/+qĒqdx5&W9Q X_I,3B C=pZpր9LWBLY*ˠR瓙_ /I5<L;Ņ~=rWݶs&<]NcJW/44sQ Ev}8