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 33t,4d ]S IEEE_Floating_Point:threads=4elapsed=26.530cpu=79.096gc=1.8847zXZִF! ]ŗXiɟH)0%o{UmYԘ PXV 9nyбήhZ|a G oraMV\)" ێvPFf$RB)!D|,*!R8rUS[Gm]q$U\n|8Ђc`nB>D|i1B{H^))1Jkpi]+lXK2|goЊU[|yib@ 4ˀvź,ɫF?)>alvKLɋ11vtceCl7}VKX笞o3V+ʥE;]d<r7zj;4P[Zͭ5<#Es {;O$g84k*)>?o0#u,Lp -(²L. P1N.x ifU"Ƞ1i0/8զ'_ܬqkBYU wMFgdsS,J/%C aJ[ս8$|x%*lð/n{$9?E繂9ϸ> 2&`ՔNt\n H oiIQӓ-Pr+E+k}zEy:*دfg~aFR 17w0M0S|f-rKW:?" (48ɱOGSa|\)Lɥ|h, 7yLXa*hl u7SID@bTN;@ᆹ MzV1\sQw[mc e)iTZ]ĞUcuڶrKp؁~*>Ehe֨qx:WAOYU00ܮKJ>H)+'8 y#sx8O fgJXID 26ųBiVplB U1ۛ u>h`*V ,z 揉ٯ4ӟ_[KFH$l4O~C]wȿx拿[_v\Uٲgߝ?(# p+64͉&i.*O!־HSTvm2WcLfX-z6a\ 53{9VیRr>{ʬ!;yJ`c#6i dC@P)Z31.-Vʐ#TO[rh"F;ig5$D.nET#_un`".NL9ψcө:ѧy  <%u!a2ܭwl8xI=Ii[)mX @ESr]g ҋ_?^Syt\(~ڬx)/)uR޳/h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.MLgbּ(QGV:*JH LS"٨U0 u {^5*?BX"x^N8mhuU2@}n[ḓ_n4VI8gNPDZ_USM]LEfrBDư1 8;}K"Ixl㫧c )JɰFIqnL&_W'15M`|̓ٚߧڕT\ƽ-Z䩗 8xOyQ)iƻ3!@=_JNK\+t=PO0]ZiҜz"gGҮCksyҘ5|F*~Kխ֫03jR8꿓F &'xDAJA4kRܑQ+ɔfd4CUN٬fZJ>)`묜|KlYTYЬT#D0sT27ٵvuYwRu_ɐ"dl@o4Vem" [Iu0A Fl+ ?dyA}):K8w,w͠yHK\!^H.i!Z'2xk5yS`g k鈉{r[kc4G,WkpSx $6I#j`uI1nK7u=Y:zB z*oֆ+DazYOLſ|`{wvO>zf lo;oϑ,*&&GCj%'JQm!u~NНJ}Di`q릨Ԑ!341E4fSP`v*9e VCWRcV8K]nKq믋t vazwk\!4L#^1`Շ'~ pZ66-"Xf͘'|:k[%܁4-{lX%C/]GSV"3,P9QLGvt"X$}^LO {W˱D05a}woxOT[JNKz܁L9{>O'+Vp9 <0Hb>,AT R1yTdn:]Cl[ v7/䬶aSR6$07U_˅)~M䍧WswYQ\l | ^k ܑ3CqƄ3Ώ/ .Ma4buHgm-B %KbfFol[<dkZ]O{:jCW([ LcMֽJ0-`𤏉BoN+-(8@^]}+Y-,7rD˾KW]k׫s4 rq6*۫kl Ӟl3Wfx[`8* ]w Ճ SK)ϨЙ@6n.fQh^b> xLOW:.5!8z}vx0&DvG~.{sJtʷrPs* Y<^g)4|-iQLZ)c`gڵffYTɽ/=2uH$#egj]E]il|[xz1qHOP|`׫܈b F :=CE8\D}\~6j|X9@Ypꡎbb;` TgAd?ZW!XPYN!ppԐ d&6^3VǦOl #JԦn7 p<+4ڧ͐guHݽ݉Xfx s2:#J{ W^] R^ɢf͝oEwX@Akk51?.j'p%s#sLKnivyk;%Bڢ3J.<Ĵ!p\-u8jtZ'=̴1,_%jLIsYZ4KU+b.y_C%(3f~޿T:wxFfw_mJiYOIŁXo*WgM1XV04?)tm,-U $i;3i%gӁӬ9E+#IBWUۂ>ZI_'͌726I 6t8TN s*^!S%$YXI9C'1#`u7tqi3sc~[qrn#\KT&^R|Yk3 xx.ނJF@u](l.j[ c${(w}$PY߈") †beW@e LY!>_s RAl/I=%BOb}hOԄǁUC@ai͍;;6_QIadX%"e}ڈ|i wu^-99Q^BҜ I4vv(Jtuvܬ| ~<̔uor|=J>reN 9ز_[!0@&4MjH65V:ާ JHjMr셇 " dazD4[3L#SV=C2aRD&޵39\ɗqآP:Z F2N ^0 b[JzԦM%|jwQ O]D tD?gH-B\H(+-u0bݴbVnwfT2CM;L)6f#8xAvbEM|W[Hj{p 닛w5l Vf \Xg`kTLNq8,Y N4T9ӽ^CZeG/_ %qjNhƭ\i2[^xaRzs(z.Iu]Fyp`> jXvj=g`d-`Yn S0%rl@~@K6WY5Q7~Z~F5$ER0e-HXo)Z,ȋ)X@[ur f8w]p۝JiŵX`\gtMyg.kMsHj&%a㚰peI ZvX7񥇵pSF~V LLӦmʀvy#"uU jmf6`X2ҏ/5C6#I̗M`z`ql-]D_MB"G+Ӣ. :{~"L|le[c q4F$[¶9W]|bfNwݛw@z O5^ݳճ(@suyf'qڔiuR3e3B<}?$pqZhIΰ0MA`V%]M.*F0jX2-;6WڷY1tLB6?UlW8vFҫ[E4P. PbJyhR2+nRiP1LǕ:rP2 Xm += F*1 " h%kRL . q;}ܾu^>8EoHV >X09 Fi歠 4G´Aeg@0bF7ňRj7AD+xqcُܾOpi] zyRqwG~\+K|m`[[4G`GBO?3՚9቎[^a8|6P=9 /`-wjtf6O,=u,`rBf;oqeA׎ѿ2+,ׄUKȄɤPVXE,y Zл5L#Ԓ̀gi4we'-zge,swV[ßÐj槊Gɜ Ӫvnww| p@҃=[s3S/O.;OuA,oPM?jL ~fTQ ZQ= w*~CړȞ i0ަ&ΥwT78IZs@pygP0+OA0:t|8K(kxycЖҵڻ"QJUSR#ߓǘgmyx|=/*N tCKWU'4!70+|PB'%ZUy,ϔYg8&oݨe/˷U-<xBoDB](||ՠ Gc\`0뤋_Vљ k}EnM&3N*m`(`f,K$ҵ< #]ўXp}/*u5jf1b}d5ڲ1R (q#v`xC-}DȠ/ eOlQ kA [t(!vbnh\iGjV|mݵ:kY2+Z><6P@OutI3sNVx6}JH^H-)Yi^}Q!S!W[.%j-2Y(Hg TŊMbT@G2(oѿ7rF `]00Uy-v1g#}YkAtP j7 մ\Hǡ۔t6˭{.-԰l~@U PM)7&7bP,pzdz +w<UCGI`T!GNMrF~Mu!~ q,R`L .;&.+WQt|9L~VoGƔ ;;k GGh h_m%3Ifsrd iΤwX<2ϼ4\,IF d )p^T.Ǿ:J OT$#L*|Ѓ4eLy~ {H<bcmx&b~sI֡ҧpq\#EP7#K=~îW`&V",-},m4r4N-MB$%rAD֨zŐC>0ɖC 5 ;6s Lqg;ƺ;WiσB, \DWn.NyrxoV˖rb3z 68S QJ8 Ϟ!:@1;(+* [ZM}$`fVfpZ */ݨ 94\.ݽ\ /-LVW'0!e$:yGx.%քs]ry\MK_Â4A+ez+=1"nU# G!Wk=V")Xَ$Pǃr4&ˠ.D%͛2 } Wmji,/>?^oZyډ'%Z"< HQ6*Z{"BE &֣5 Y*Lduj@&`h TT}'] iopJQT kWTS3C\+~5aaF ;6t$V}l1$9H.{ZS>1#\[\-j Sj|&i{R/?@%d-R=" cOj7WW.!1;mw@n}n0 |#J8%f$z3P3\P3FB)D$W9m9h,bhbv=2W0uS?g}u MդUVV? woiV z a%6_@oBÿpH&wl)L3t3pkNU 7I=;G rUyQ 63q*WORy]77b#2X<.7DRSr_Ӆ o3S >!8Ò~b y:mT%=uS 'F(`Kk|焰cr-zORI+.ywK&lO,2|o ѥ`9&>F)|T~IC'|i cK@߸ e]wQѢ"9jGfii8Z4jd*="!ݕn:324ꦯ51K13Ti:Ҽ&~qg/=m~1'T.&~xC+ rЪ'D\\(@;Gm2%A ?¯-B8oue2fL2;00KD0\q D}|! ƒVAUlǑwJ C\5!ߧ ҰFg2LXDo 6El=+fTO ,-Ƣ:n4'>[4rW·/3PwMg8qVW'\>T@PfCO]FMk*D!'i:T0UaHS hpT8!t P=oߑIIFp @RSkafA~dxC$r4(sz!T0[[2a=ze8|pJui|Br8^1&BqG oIHsCacVQ{CmW ]DЋ| gkGM9JLU=2c/Z x#6b3Xڬ 2(KB)݄DN &Qng@ѡzTAs菑Y2&L>7]v9Yi ˙@No'/EWނq4i%,IvёV~ʠrD> {^$Sf$3g_ Q3_4Mz6 =vIsKf1̽Rps>Ղ޸,KhH_o&ZF*4u?aoMAk.GJ1TD2DV| 74kEsb+iZi$g>e=wr) [@,bTeCE ŷwiMZ6]7 COF1~ vX&'LO+ ;l?2~wVRfw:x> :9!HV*ˆnmo ?)#Ui BEK1T7.i?ka-+reu!Tfy?{Hy_R𬥵>LI^%&铹%#ri]rjCapXi nP10I,"fE0q9|ܯVs*B~X- Rf8嚛復JLXIOaA(I xG# @s2R)+Ǧ˷}n\,3;( DqhpE ϼWzKmCRq1쭻Bϕ? 0k.zh) mg$5Fu?a)a\Pz;~Zq̶5;ӵoV,ƏY+^ ߑ?kNiH3^GGSddf|H~mjvPJA&ZN;AKk k;cB4`=8 EC̊ll0J=eNu4ILm]:Ď>L-6/3XMPu#HLi&f*n =swnݥo2.d x0rdžYгaBA wp>C}fM8o"c: im.kn9s\jKJW|1/~e:ۈ 9vN" 2m@Lw_0g=j0~$%?ZkU]F/$^Zy MG. Ke ѹ-Z ; gIOZOMȞ oO9ufGPt=ek,{M6m={e3MSovΟ8%|jR6kTGt&!KY$ ?(u?AjE4ӗ `i/d(پ\% SCc jU\_ U_1M`ÞBZͭq ??\H6>|ʢq#}K/a*ْ4b{o "b0v|W9U |o%a|V3B1QqKc1$ ec=ӗQÊl')kSȥEZPX)<ﱱ( U@ޣDC;eԡhrJ|"j_{~6h>Q> wU"yrT(b#s@61q#^ !ulv GvipbL"8\j m q$P) b)LΠ{սH)5к,́tz%(V:nzB1a eYASz^ {4IJzĮEft&m<;PYb8ˆ-]dhsDh~t@(xrT<$TńЎ_['8HO~,0 *1}e۲jş #Jk 1l$3/"ODW-]b ":2cDЙ80nR!1b9źwo6Uj966c|@kgjtjaEs}m @-82 -?51c:Z7n^IGM%Q?q6 BG6$M'U<3|ZgFx؈ j3Hk dK{ʧVO ОKv2F*J}ztŲb;!`tB/mQ@rhL~va|료X]䲎PJ66HD"Th%فT9ƞZ.χtzm`@XkK \p S5sb߰r½جB~{qhJ7@nnOsK}:^브Ic:K&whd""X< cݲo^d=cM, O؊4"iqbL FUSo;PJWhO+070'"l?Š,ldڟLo/qep(;Hdp~ 1^C}Tx?+HW&e/rDcpn8_ԁTlPJfɊpax6V8MWwyQ8kfGT0sR-S<+׻i+Ov¤ɏᱝ?s3܅:m%NZhC6, MkC Czu'0#፮Hbq'Մ=@ݴ[+j,~32žtRŗ-32N.[&u._ ??@o2]hHvW吙93|?| ;ZAK{E\',.ӖFK ٤LӼ}"S1!Lt})aF\]o)H(GU!ܳnoIŕ E9~&%R_.$Gxs<0‘lc{ 9xuoF-U:moW)|ծ&7קea`FcWkٟiWT@\vCKw)gެ,%k0TCH!z=t#LIh9b,iW5=YqqKҏ"qم= Sl NZpy{h-[qߓDIwO{d>dz+ !,9v%>]9M Ni|*|a`OͦI2xFqRdoTy uDh놠`J- a{c]|:'DXߊ'b=Ư P^˷ecu^@y\5u_|NGܘ@O$YR3¡c~rzæѾ4;(Zsi7g>F!#FLH:WfDfIS%3YZ~5GMsNҦR!.YX9&n˗3AҫB7\貰3n$/5kc"_3yf- ${Jvɖ/i0(nUȮ n>Qikۜo]G`\ c(/ AB@h42v7-bewc[ʚbSx s3 PUyquFQ b%/cO+/1ԣ*31B3AQ_tt'>ļ`Sq)Cuxɚx4l*5<%Aa1pT斪͠RC: ?tВװ|vir'Ro<ֶV'TFT uS_Ak;fY5.sxc%hWs̾`+}>|rW8=` fˎp\d,TWzjJn A[eVzmܰCw%)6gh#"5I L9@^!zۃ5e\qeJHWQ[Ot/U(vQ3G!yX]0os<7WPH !,; jO[L2" Mف':>"z ^"P)([otD..2yV _My;"mK(lw/6MmbWQϤ!#Yhfpαj<J$5S#5-ߙ8cf@ATX0X"2 әM:Go>DM# Ĕ|ma*3xj%1Ə"104۳#-+= S^aY~nٯ'Wp$d>a3lXؠRgB\U>0]#&^< xIpA@mYR'FTwҍ۞o8t Rge?a4j[̊ou<6~zR^eA0 ͫIK dIko k߭Mc̞C&#YN䟜ƀF5;4KhKh>uzMn;:s+rTTnk!Ƿy w(o0+ t+|Wj(@\S< 3p yk lY]leۜ Lpe |QG4DQe&V?4?y*z@:NG'&W3ext t᳍dJB%޳ u Xd#<YFrb s%"k :ޔf}?H$Ͱ"S)]* zgi 1\!:"5ȃ+ԫy@^U\J8&׫z/,g03%nv+@MЈ2h}~ Qf+p8AyJ$v8[mdE1l\( SMJ E2'TZlOXtƍW-|* m2-;E6$ћ Qi3郅G 7uS1/vɶ,b V7p/ 5)WY8I "Xb;6̜]4SL@kÞ{-G!ޅQY;kR Do_lDOjxAO&d"0 )6tEeP,/b(9!Bx*1W![I6$sE{IY8o4Of9G`ZLY f )꼛 I ck?,EpE1c{kfhY}5Z e2#KĨu- 2, yu}K-s1bwa,`2Qp/\ƿUg[k 4]86DTcЩه)+{RXHb\ɋ;|E]/9>ǀls+ðٿ\Fven C}r4% +kf8k"ZS6D<~j"eby&HH&@)080@f =\,5R9r(6,_9v$t}ϵ{@ XnrRT6>RQ.qჃS0iUpXwp8p)TWR3EWp٥E! TK-4*a٧v7<3?@@jס,Oe^&K8Hj)SG(v }el??*)2sˤ{1 }@<m3EBa%Tϔ QWr^i/ 8\W0ZBjB)AA8@_h@K~Y"9}s|/51?'FѭJ4w6)/)N2r ^kU~@Њ󌉡Is> ;X (HzgEez.D"\ʥe>zFL e7LM }Eal e0 {d ʛ؏ʹg6lj*]# Jq[Â$.ʢB&$eb'tW ǺX&ȟ2 QW{Et;ORݧLt%v_JùI=HKJ_7ĉYyҪ,oJZ mgr8<CZrDwwʢQ.fYy!hҥX2ᮺ䍏!.UkO$iLZuMKԃik+u I!`[|ؙ9*7OH$$^^@gezByq2p[6?jM0 4_5lD"-4O_olOLb^CL0~ܣ(IKJWo [h00nv-L7vVj/~"^%jy^%7 'ئ"M&`LVa9.o Яev!nl:kUb]8ɐy"PT5*BSk|P¦ 󄗳 2K-H\V%%w3*AZtdFC^#!mv\^1,fC<O07BhKW0zsHLCIu%' /s[yco [`o < o 3(n~=]cx@ g`Ng. 7k^2VVȇ* g"|iu8(JЊ)[K"ͻw*|sp QB>WjH[r"HT$`L16^Cvl$ Q`GuRkdG2M@H#$`!2`G bYnnEoUQC&Џ&spl#eSOrn­ò{* &xS@svN -HL~)WeuuA&w陵Y/uWkߦf%MZ9TKDp&n5-ͮ“ǵZChQHd<3P$_AtoC-Kgs͑|MqCm?3R-]wm'cȘ ~Y?119NI_!)@BW pk5ǝCEi4hsٚ?_Hssq4Hvu +"Vx6C]4Dѻ /J~﹐lcx? OqxJBܶ%ȤxXIMUw~@EZ0y27H7lMK㛱Fp65gj/f$/1J_g HÂmJlقxW;;4`$KaPW)ibe]A!S&(%>'*v Onqx'oG"1nO ¼Gm2",SsiqqcsG+`+O1a*;_./VbYFnZr;Kd>77yWd˗K7]TF%S`A,#9Q (Nie o/Ӌ4vHū1>_C_Ђ_zBY?_6b_^c_$0ƼOxwRj 3) %;`xA}+yAcQXjiʮ>x/RXL<+1+`YV`PK `6hkyݔg2}xL#jʙbDj۸%Y}7tMU G X|(}_hj (ݰu?Kh̒Z8޶G6R0m"6q'rnSc,8`7$ifDyHM{vK*)K(5sS7㎡ ҖFvs`F2FәmB@ Wʱ XT~G{`Y b8ZNj:ռVuKڻl-nⰪJ]p|> VJkp|.}o]">rlɚֻX L8+wM/u O|S)Ae^UzKxUαV. >r)1>uyKGHTЄصD\9 FH<~C}uaK`t t/ Ci8j$ފe>sW:|!#5hoC-c<4M9 Pl э8f.(9EѾ=ǎcfV[zNx6']X8_t $L񫷨 E}L7A%?ѐ8t1D, )*TC45e [W=ԕ~YoetT֙an-5 *6w^2dhDl hIs V QcQF2FZۺpof9. OVQĤ D2Q핼K2b;8;â#K K0vL-ِQ8;rC;JrQgHZi<_syOj;uP[_Dh"¿BYRY>+Lpj9U2xD Š|F`UB'!'R ZG'4P]B.AEbbbKMZ;I^\}@KV>\ن ~ sjt$98ӘBy|3$ڣՋMw%_ ;Nh6l֧Z▁m12(ONʫiL[w[W 5,l<af_R{6@Y o( ?:;SB XdQ+p. r!4Db$'CaR:4Yyt*`iZ|KK´a'&ԿI_Byg X 5#߲t3*?#pcAAr0փ7GZLE=(SE<&3/!@3a3&Sm+ZZ(u+n' C-6WM^9\'×egiE,U, 6ҵփk",MfȫhیB}3hW@G*?,y',"k:T9Tɶ$F@O>'8]{otd/klˇ<}Uo}x~H+21MF@>bD~(b$ cNpЄG+bNH ^n $|[8Jp=y `G7-yΏgsgs"g`R yc='4`1@1/rv{>Y@jgр7Z+ 2 )(Oy29zi3/+KJ)1i|N1J1Aҵč4wIwR"q ~ &_dmˆ'5vuƉgcDTNd<^[ @}P#2A&.hg K˒[x 4Zt^E~; Î!CŀَGed9d'B֞05_-|ٲ$G34䅌 O@@s\14앬a_,nP=OS$--yutof8πʸ+N-F Y0|_4yX\?tBH}T5X`/fmx|g} :Al\6aܟqta'Ά.!]4*@R] Q8wC>.`6®& ]s?x)IJc X74(r l  Wp߇]YEΦ#o 5 uQ I`1D U'bY}̂fv=C d&DiH3fǗI-ӛW\͍k3ƏQT2GĖ0Jh7I4d#U;1}*^qL637kw|tcMi|O‚dz@"Ȇ¾\ [j,n5 yX̕KзEK[l-B +>-yg 3sWkhY'Z}SNԌDʖ78PkWslHyR艩>bj22ҹU#B ݚg_dz VXb{:]/)CvVwI[M|b TeFnEHi4uR"$96=I$`u۩(>gU:zgnb6z}Ck,rĠ^" uLift6wkЏ6R{ψUfiK@ Ah Iw̴"1~?Ľs3M8C*IV};xP nWP ..%j>2a֬@T\91'y~92& #@;bALgmw_]~>j&wni잍BP\%1 "_<Q b? 7KH?tĂXLm?.qDw,SXAD:)|&'8vrrDtVKt:xldN;B./+ 1:L\KXvSgzlp.Ro&.f˘e- -hl-XmخeY}iY5/ KKR>Au(?>ȨvF]~}2uBGD;Zxo~kM tQ-o s" lׁLV VW?PIhmW5 V{7} ޭ?@( GIsG;p3+ @۝6R]FOYSYzeu흥| r`,,R+[G˩xaGP. :˔ =ñ]* xSPtF+w$5p"Q1Cjukv.gOS;iPZ'pƃt q {?*o%ܻ{RbldRT8ĘOrذ@YaU`kE4łD@+)>s+X;{XM!+GɧVďmk<+,/( 27B91aH+S?+T oG_g[: IqV fw/T0h޿3Ux]KZghi̳%ȥ?A=_j:\uaZ4x0gT|aC\-+ܡZl@{8Bȶ.j,j-,iP7#À<t ݰ;taO9xѳy ͞&rDQ9Mf I2PÊq',:Q4cP\UY.C}|p gn;,-i9޷f12fw=Ȕ,6Ce:G] Mu41׆xv~PQ g$Zc ﯢe2oƽ_7qC(a_"y'b_63*xg2 u 1< 3a: !AU]j&r`#n_D8MEl}Lǭwd[Pw)5ːw9LKN AE#fc]ZD$𘦑8_kA[yPfoB5$aY59r]%'1g>1]q P.Y,WUfX}fM7 *w`%)~m$ђgI=Ei^G{a ĶM,Nأ#uE 'oF/ReBw~NUgmǾ Z:d}zAOⶠD|j7NM`wP1,|CAc-"vߠe吊$jDW/A4߃3Udk[I'NlzZ@^mdjSso ~3`mrU$3Trum &޶+ |/zx!&p2i#%}.ULy9NSIPG/L=In @Cٕ&? " \/43DuULypm8&ֵU d3w#q|]dcE~sYԱ@yrm>K3p+hgT r4g,u)wҨ!Aoݗ/ bfAc(Y}ZL0Z).Fo%bjm XKzvJ( ji+Ck d7d6>?e{sWwS!,HH~[i nR\I@I vf|'&#WdzO"7ѩ6$.5HK "ˆ,gE3^F cw Ľu ٪~}X_֩/ӝ&38u=ĈDm5#*e-^|6'H8׽6]dH,(^}POs]횪ECuzjbũ@/lcfh>@ Cr7L Drź6DSeݛ|ΡPf)A3]E4s.$e.|SLJ-9/g7Ir7gwcY( S_*=D>FWdфK3њ*H[ro)TE2iWs~dS7f;DG2 {WSXIkZV$eFF>q.4wd@S4aR>Ech~pj d܇2,vDWA[4fo!vM@>;4^hhWc_乶Y#)߳q'U6oɛMBUlsYJ}Plz )8:4T/vzTqo=< 1r=s=1T@].bHU w=ͻK2 KUP 4`~SwF 1b+2Vެ~@aZ~N|3VD3 fZc<*8H9DQI5q 6sUV[WVשoռK<Al:o_'P=¢n8I`b\¯@\aYΊK666_}o$7L1zGuE%wX׶>s-maӲ@y(߿6N6,nT,?(<ڹ.'Y@Ljq켝~T[ Z? 1H~n$7YF:7ъrC5IgS&$u2K[G"X SkgFo'bŃ|-] tPcodhV%>B\a+(6eCd0᪤;?5^~.,8~e/ hY_/dҠ3f)/Ꭰ*Pc'om\Ҏ+{jIItC,c-РHkLi׹b8&R95*cw6u'G0Ea蔣zeolQ\^Ȳ?3$=JUȌsƾyw& gx֞qtl>`Ri% bw?G7|8V6 ~X64$є#ϡekĮU:YоFc/2;D|ٽҦ/">+b"yݣNo p0e}PfFHIJ ȫ{|zCQ_`Im/&_?eTK]hUkTc ujgdQTzI 'Y;ܱ24&ðwVqgtSLބN{\'WaA\S*lRMIll2S-;#?&Jea-ruY!'En;Wne"l*5ym{ (QO#oJC'/D3fvh>tBG!#ZQV&.4ۏG!jpνNcBےeX6ҙdJ7.e7O>OBYFU V P-I!$!kdaSnyҋMj5vrȜ*%:j, 4X!-gDw:EWsΥq\zO$k8_3ںf2jސ50 ֩,벒q܀zx)I;PEg׆~a-'>l$GY%%gc1%(BU֕K| VyCs"q N$U͓(UИ= pV- $HȁBv$bγl U+_~z1~SxUי Z 5v(J`NF[>20o"tlu>37VMK'gǒb#DQؗ3V8_'ٷyML,_Xm3{A&eYiJGq,{9"BLw\ϨzԶʎOݮJ ozv(luZGc%ۃd39['0pIUZPZs:)R3>x/d7Z mއ?mpti._ϝ ŬlvJ>W >7b*m ۯ&P F UX]IiQ ʸ.jH& ʿjS2n;M ܾB˒ݖJʙmM{ˍ)DiU;†>miEYZ&n}ʝOqW<ҋ%)}e N@6e{#;twgi"?v|I߳Jzߩaߑkĵq2{ڮ/r^5Ys>V֔?J&Ulǒ{yУ܏"΂0:SUdP9`Vl5[gKfXy$Q}Alٜn͓ihV~e|nߡ=3)-sfE\x =~B_dybqən`yZVpyhDR+ $fa3_2M^ɇ%n;K3粲i[rQg%YQʪ%Ҷ8Réco/Q>YEV%3hx5-Q".ky H,]wMH Ɠ#U=xjZD@I8Crw5|f '@%̺)rҁpK6̸ ({V;i30B,p&[DBvb|-z[}%}\ϡ#RzԮLNB-^He-R@uws;!mp $ZMB<)@1J"!pdQo|RHxѥ_&&i|bϵ#T즗qmyãkmš_O&ތazdcC0 lbL~%i rY{eP$?oܾ_F:}.QF~wy/^"' ƽE:V tcjC~!&1*9d#rmgFh?BiK^0[uA25#ɖ!*f5YG\)Uo( f͚1x+AXg\ּ\<?idaݫX KauFMZo&=xKKR + U TLw8keP-n r޽ !=`Suj[^+Kco*^|e*\k6N3 tρK 9O7kxvΒI6}!W@O^Zo\% ܰڴb xykʼϤ=㠞Zct% oK ;5ZJ)Yœ@"_}J{& #\_#1Vrģ ntOzwwEhһ|v;HUӅhcLDͧbQ2 xhkvжZw"En%Jn22:jdo̦.Q;z:O8y8N"RFQsk9ټ/iV[*P%@kWqMBD^^Q+'ZΜ4< dyEý]Π 3$˖-V2Oi౪K u^8[Lr&lEF W~Q)FwTp埂3sY/QhH:,f+կߏo?[5tf^s3r(aOl!Vpb?)0gP)4 u%Zh1hOZɷ@#MhV?b=b ll}t:z veǗc92">L `ԑJѷUt0.<^ե\%0>凚@fb c&"tI <-%GkGxV(]hj@ĕ+"7rLsT^`rs4a3Igw,/m_L4hyqjqI.ΖHPn.FV]0WpdHm=I M)qƒ-TA ˬzWeDfbKc12mJ '_=J[jVN˙mf5H8^$5 ܀8qkL@xaI";CcsmnL6ԥwr@gA_@Ť.v84Uk y ^XFʨORfc R*\]S8܅9BjҚ`K;3 ۮi0 ߞ5?$+|80_w\x}&pHEۀݹbhY"*TAc\of~8Q}E1mSNv:`CD| 2MZF$b BIIEwngךZ.;ezj4s449QMJw@QcuYE=A6fRb #/pW؜ z-ٯq}/sXaY5od<-cFㅰQQ<`V[U!p9e uč )2P|ʹm쉇j`q]f6zzH9_- F">ʅ 'Z@X.9.oC̯=I\n7O2o#ou 8wH->,E)ޖj:Hf/D! q$]bM*IlŦP}LWDS2ݗz@A8v[ny3?} 7kw˵:ud62ְqO6-wY@=?~KٕΓ|~jrFu-a./c׫ ,8n~|"QyH'(u$aŷOE~̾ێ  Q,𛓘{իWi TC#ؠ,k"v e`Cq@{kO35Qw .l[NB5r:dG}ZY ND~_ @vV \JtHo:EӝwDŽmAN/ɩ~jݎJe@=B?xq8^W(Ws 2ڍ՞![ ̚^Q-+0.NPDT08uZXtkK;s̞?4$Hur-#eqg qfϴ"F6 l33/P=7a9#Zu$JC.UZk {(c@zՋOIQ- ͻk?2}*0\JC}jaצ*0˾Hߕ1 BĎ]O_SBH) Ե&1A EN|BG,jMCO#Z|AIi Ls _ `EAa=j([j|:7W34N#_^,M'y\ј ƫ<,xQR7iSؒԷD.{gDj  Ov-qbvdivHeY4*@9ka;%q٣tGGDʧE goxkij ~KQ%+#v<{\aS`Lk9Ypy;Üt^oGUְ@oJ~kƉ1 r\uO/Ɓ}o5Pifo? 1 Gn@_]mthH}nB֡N4۽""{D/uG奜dwaBHsЙ {Lma! +$gٌ*mjD.t!]6 %\vDtѪÃ|`ܠ)$B+7m,&ro<Ğ$~{9N)( S>K늣(&%ϴ\Q1W*ZeUL3:;#g|lе=|5v ɻ)IIM˰(LJgƂlQi&)kKR=5 mfL0&>b `mz><Ӥ[szOHN0ứ:䞇ڍr:luM/49a ^!(?tkM'p2]M̯ET q6'3̧NU-e}püİ Bi@բTsQd@Ĵgd4V`y㓯zػ o/Tuhdbp`1Ҹ:]IeN>r'}Eܚ{ܼfbJmqQ^:E$7FGe@GqD r+?ou8(JoHF F&+ɼdpZgB`MxH:u f3 /ehfn끣55ўK@Ӫ!LԦTUZ. VkKMv>VL{,zږXqxO5eZm3ӛ΂v0AوU3 . A|. [&@:s_n%5XB/ sea_ɽ}LfV_iz3KǓ a]qu/)e@\ øxb& jS >o4)y}~rς xЉ#Btb(o,$—K[`HA)Z3=16HB:L\! |Z<$ư^p\(/v2I{X9W=䅃HUՓ{K&mS߅?RgGIy)p;XEjr)\G._0֠0Ml>dRbiWTc+1e&uZyOdWŭt^3FJ\Na*{pNa5R]HyziH!;A+)]I Nn]umǵ:c㶖#w iG 𽡦A )"셄j_Y[$K p1}%8y ~.3f!J%$/51Y`Xrf+fIIDԆ52 clL&ƌpC7aG\EUf.g9*v0VxLAъ]UJ(,.`{3j03a= 7czaNgX'7T??A8'QhT5Mv;PQgYZ7zXZִF! f ]ŗXi%L&x))ACj]{PjtYmh 4:Jaѯhk 3Z6MLɛ̩.٫ǖ]-"RInQV=}6#y !ĔRPUV`{G7t=}:i~\G' $(H<ER"~/B9$z- 1?&k!/ 32x! Oh{{cirXsFjwS%\:¿lN <ؗ#mkޙ֤ շOȡ!'ً?n4[2xe]sΌlF2wZb}V_fvx-X?{jSWS E{uq>nkB^~#1tQh솏Iy i~vBүïp57pn3]DqkKi/ XA;"CՇ3l^Ƚ,YB7*tpw`fIb#;}Y%jx^jZj[n4 D(5|GJ7;Vcş40ڄҮLw7 Q0XŐ%l8xXW: Sr穨S{싙/kB亩:V e#𔃯\t\HU-4mv8a_~-b79@2q4Csh4L_~5[m/nZkv78s+*b`5C ,#k5i@?0 Υjx.1Iiac(}n!Tﮈ?* n`첡9Ɔ0H5uV >â *!Ö+p:a * 6~1p(=:OM!dYBIj(kiB'a͌8oذ`H\]߳p{ R_+xZ댪;q.,; 7Q! /L*jp^Cd$*1 ȿ _!atQ*ތGQ EcU2>f4}l1ӵD~ӻFbZN[{[)>❈}1=bh5_+|MFZ=2O-Zkll+IBʢwL*TK"(qJ41qG+% 䒧]\FPRDA0]j[zC>H arU=~D8fc㪑ꝚZW|O}$KJIYIx!IPf)"yxG/W}?vWP~J0}UC4wCoxraxH*)Db(XfqioY꧇$,Gal%,!^(ۭC{G՚yk<@M= g,d$ xh$}a\9&,$pesDf(!ɚޙgwsb x-4~bи[nlk#N|a!Qmj{*Yxnej(ˎtZ)4bU]r]AUHR6MY+0^j2'G,$@{*=V 0dЁ|]KܱG#cJZ ||S":Nr8{BPh8A&"\8} ."MfӋjK״w_,* R,Rz"@9IDމ wJO5r6q!rfqDBd0_H4@^Bwt%'$g-Tִ:C+ L_')bjjjJid ?i""@B7=4$椛R_h֌~6?ͤZ}uyHWT*RyY O1cAM4Pه>k%2#[Y2C" ;ikNoʞ~75[n!Ş kGq[- MʶP>Xq30Vf,{x.t2nNCboO\ۙ@’^^{Rud\&=A#=8Do|o ;9?wuPIg@ޯxʫ7?@ҼV99yþ]^[}(V(p (Ʊ`5[:`HIVC0) )Հmi`.mRǁ,[ 5sZq