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 C'tlt4 ]/ HOL-Matrix_LP:threads=4elapsed=15.358cpu=42.696gc=1.3287zXZִF! 7v-]ŗXiɟH)0%oۤ R(5ǶUgid{١[FFо^işՏqB- pfCo[ZR~ <"I1MB]t{@НҎrP? \'U885*TxUV*ۊ+!zYbGA 2U*I0:H$q s=2.yY-] 5ֿE-DelA8!̔T^q{~uܬq&m1+uKJeyht֢cS]apZidžtD A"c4w,ZuEbF5<'L#1 LcECݓu < !͂! @M9?|T {0[ cf7"Yh?'5QqA/˝XHWV?p$$2G{)G Z ?8ɤb7wwGl83SL&]IKț5R^)}򭵋'k.JĞU%AiʾَE+ btf,^*+`v%TA_xbv$Ų<0mAӵEc(:@7P3j^a4k@,to"|/ƅ %Ӥʃ׿ZsfVs3nRQKwETPBH _/O$Cmszpp_V.YɈIwvc-x1J_^*tMZ&^$ۏm{'ji5 $}q*nkc:*?V7͟jЦf&j9"@HάXj9` 㸱j1[{/ؒc37":Ox<c꽨u>Gi*h0B'•0f,[\+z>%gwXxתr F:xR[>c6`(nWbYWpX ɛc8"Tx#T16x 1ܩܕ_Nr<#U2t*.F;,x|@)Zj1MHϳ#?՚q)V +;Istwz\#ʎ)<ӾSl w|[i\̌1"ZT;#(2{11N z#l-4A8r&ŀw"ۦxiD񍂭F1ى?*5L՚c#y8VDb# NSu^kGFj1¡!O2!zPSɱ Ii#TpT okQ+GWÅTNdgPl~gpew!' 3ghH%]&1o3FN0y8$(Vho^2"F(lnJDH20D DMl{{S^*"DsH7Ŵ q f2Je*p^su|I w$8ɮݪqÖV5a-"!EO/*P^Tm<E^*!ƌ?6^Z'(7q*rkoUx?eY]f $k;GApa ;ų)Y[Mh73i&3$b4Xy4Cb?'uO;ж#p r=nZ.Bgl7_ZBs`EPG}d< H9E ǭs g[ ?Uq"D&O!2 ~OyDLA:o.>UnԢkNT]Y 㜖 턉5JUUv &q\9B]3]l 68d3?AvXKtRO?G6cށB咗T/Tݱ(Y@R#SЦt%rd]H9D,lwS hp mO[VhY}{ 5l3P`pv?S+K$Ph-?fDԅtOur=O=J%a.&4Rܡ`U -'8~Y~RId~t6FXmεԡ}t1HV曆[YM" [&lb_/ᴷ SgW0z2aWٺ{P'X|B,%ҞMb9cY? `d:hlwJXڎlD CXPקv*h.½ҊQ@irŜхΙ*W]**{@u`9M}M=ٯAc{8hOÓN7iU8lq.)ݭ&[6l]MJmns]_DS5Y&ֵQ˿~%;S}&nSd:0/v^䬢گֈ"/ ω)Mx#+ ק-_d_;YV\nÝV=dA\ yW1Tt#jFTOÜӿSkH> ;\MOuΆhys%iF,Z{>Lʴ>emM%ai/ǂ\]EjV Pbtxwq1ʲӁf]oV{|kSwkO1䇂RHלg}1Zh+CC9E*BQmW')ZfQ~xo%cy;Q`ӑ *r;Jz'#oi$+@~3Sq2$mW?//qV _ZlCIqꯩ*8DGW1?K7k?ʂb[qzn9.8|xi p{}[r>o> ] V񫤹JȺ؅DhRI)bmv>m;rQ # ʿ;FrjCz[]8QK.F"6ǒ؜g^3x`b>oDҾ:EۦT,?UwTCθ'Bzkc:>㣫 9a&=;.kFu2/p%HCFZjl8j"On ؂ܵ fЧ >)ȧe=smW0=B%xhjVYC'Ot ̫A7>wj:c.t-08+Jk1{?w ӂ-U_ Owh ݋p$8#-ahP98 _vRM,FpE){%'%r#.ZuRȵ7^ -Wa$|o쭇:̪zZ-Yre֑P5n7gwSX1>39ՆoFPo񰂷^ n6HSwU,xC gkǸ!cM؂,{#.WijR|]әQ쇖#Ml7zMHr 8bp%O8I_-ëte_ӛ­[g+ TGu' 7q^ݚB5EV9R("mn'P< *-jϔ9 Nu.KCPCR*A"QaO'KA' FV!$%kF,q+ott =\BזC{ာ9]zJN\D[7dࣃ֎{da~ rQ-4;SzōmdmX[yl'a=7j y6ѕѡ;OzwF[8oPVނyS39WM@SO~P i|ױKb+Ògg2XM>HA-Ϛ6Kr#|)'t!}iO3YqяhK5|MȞVKҍM*J`[ PűOD4_ieVg)ĜN{$/&\}* h_1QVEmX]s嶋݇:(cm凳-8J LS=A7g:#xɚA爆7+:P0_#3MۘƯ(S'ARG|i1t^*WA>qj 25XX' 2!}-Vʏ q ={NpkW-z;ժl Q\8syyfnba tD]cl;_^?X ݁k@m7{xZh_/,W帪L]tHqo7_#8nCXC\sVa@8GO"^*x/ ]NdRMʐ5]]!64ӟ;ti0u.֑ _&R_vzb$ +Ȓ}Xr۞#t5=/9*i8ur.+<^}Qی?(==|M"E]<]K+YZBN%q]k;Ve;>)GbcJn;o`UV~d1}8zɈQu(,y w[eVr'wHIY0Tdhe74ފ7S yiM^>/:-c|8 tl$`? A-V-l#!4^WT ~;CHU$B`BsXmV9zVt .E3&1dS},N!lsn\Od64I+ R"6 yUNp_#0YKaL _/BjJc>ISGi/яNR:2h;ځQSXi ]Q)6;ʅȸ$ ZY: ƫ+}6{-wJ@*"<obOab be*q<fJeKf |B6 -Z$MnEϣTsRěi4j5@ O.T%H(fR0Pŷ"uA֨G1d os"/,ؿ_(Ps!O*>% SRS% $M5澸迢}K bK`跚d"V9MemZ&R6#ſFT}ޏ~+a `=+ZJM!5 Jb̄hs} c2-,Fe r.5rAX>g+}":R+ E\μM&lLe>YO(?BZ&e92EIs#ֹ\|xE]l]3ϓ,]pMۻWB1cĒ0=dE㭵~G.+FDe$27`0f9l,XE!om^x :dqcCk %ԈUëJ/DQrIIwa7Py8[ҘI[HX `(`Hc%MبRReV_q>!fQȴ'*{ oӯϖg_ǡ&fXR>7OjhMCΛ qF[NHxR2?>*7X2y\͟/!8񜿕 ZSjȺuM$cjS:CtnT:"Df=U9kw4~gYaQ@ `ᢀg\=JnE}ً}/?1JtOr* {Go7[?ck;YmC7>~`Ψ1d(ߨ7Kx#wtS# P˯-@ڃ\t\/$|iqԻAܫ2sWAGQ&0g۟̀\)'c7y"߱67,N7`m)ݼԴT~Tx*l2/ @PR Kd}0{c'ܒ/C1apޑ9DiCV(w30@ԀG( ϝa}?,~u*d}OA2 Pu 5Bd @N=ѢQ:HEmͼϜC[b#(_lܽLu2?4,<_ْ?y\_,&akPzU.) Xұ&f 5azk%$. kOl@׋tP9a9cf::Iz- poa1_7؍QRoLJoYKS5mZ _,s㶷{~f1uWq#qYO_`}kfU|;B.Ga)aKrnx4[G6 9?*RaJWjj1 ltze+y^r[@<~#$](pdqZ< }MFSb:yֵiAuBA"|:eU-!B[["VI}ǜ$ aI(΃E qjaS_=4"5ֱ> Bg)N)]NףWh8*^p쪴,[0'+p<2"p"!@4Fz6rf3bL Nj-T~8U ǖz[5}!rh]pS5/׆'|PɖPoF/JSJ9r7j͒L1QI\ "ysCesC>e2`XVaE-Nێ$[:d>VzRkdEvZz2QJ7cj9\t $Jux)d065'qĀ|期@6/ J`_uX\ <]|z5yEҐ4* .1o$ *th?#ڎ)G] A*b(|gϏeqaClR AYiE.ݧŔd>+Aa>rnCYaJX&N;Tvuf#$8 ȻbqT}^Q52O:Fҕģ7=0 dg>}YXc;+ҥռ|Ioo%KX^3LMri8.q -xD76‡ ~d|y 38o0Yɓ-~ $19^pP*J :tN]hkkqt|L1 ͣ#wi^C3`ZI ]"ZJ]64NZͳFC(2k(FjP=l(5=Cq9@ u%gg#'@.ҍ6.A8ZI)T(|\ 6?0 W%<>7=xm}6OձazHg#}] 8^gx^]Ȏ$D}Ǘ7 }d^$t&C"v!E2Y СVdw'Rd"mj1)KuޝU+3sʕ13G 5l3kp6]#4C_\JO!sJ^e,|>@?WjV\)?:s"G%g9ے㡵E@*Q7S͇>(ݢH/ ;BmM10|bK%@]YzKT nw:c ll4BQ!=&|z|&眵VFg2^[P&2;kVg'K^W7!%'1Jboej@[[ ď$עĈ?+uŁ=U'Ù<؀+ܼkW}!^$)cp! SJS*?s" SXWvI)sHjT07CJe;g By`;.Qnw̦C޴PDw [3J]WGK@4,ۛ[UBKCY=#OMܝuWG6N;-1by3]APe#=}9t*j~ ^@UF Rfonf= D/ 7l':p*Dqe??%V.^RVܞf,Ue5c*,Yq9 G6f7@q8-jft nEq$\Gߺ)ֹ阘ncJX-Mn U%Ew zB'PבDx$S_6<N&{p r_M1к'+ a 91Ox}E*8T= 5C^cz#kkculZQ|udJɤ8sJ 7OVd2mS jϸ O99c =O 7odv}z7c.ϳ:KhX*h_㥪|aO @JD B=nK=#%(diM0@H(t&~TqݗgӆdEHZR ec!8р(W_pT]Frm+3`K},?1xy 3<|_m%H<ʜJ|}%H+50qxԩDթ|So0+]KAOP *sI>y0-)pyP[SI7Q) ЈḢRHqӳ̑sYު]Ʀs^b=ںW;)ФrH.z@2JLKt qUق] JG1M3vOü?p9† [^IR+xKšN3m!r=s;279r;0d/lP'2{zr0,NXJ=wGht| qQ<)3ⓖ쏩RөO7{e HaDE#˃ayhh @nS7xƶۙ 8Z[",QK}Aмu%~RXw݅ xL)]:~1p]T|ͰE͞#1 uIg dE6YE}o nNOΟ,t@M) e&^F%j~z?WjQ7X1cχӗDćsLOaʄk+.Z^n-!"coV* /!%63;1= ƒH`ִ>M#N=&9uHAh[9 or B%^uu;oDVvSy Uw]ή#d շ \ @g ,3Efms]d) mץ`y ˠf(;4!L@w7v8ͺ7| ~yas[D8]YowU1h ;;LRfZ1BڦdV"Uprd#bҰYoi)K/q[X-?\#<) _oT"np4w^ǫ<v'l|뭐T3 \,.\#sUӬ`WMu$Ŀ;j5쑗 =iqa;bc=N ȣLa3]ڑ#}6-h*i^mUItPnQRmDŽX@Y4e!U=(Ɔ6(bdg?N\vq/3 V;ɖV 'j'jؙJQoaK TW*pq<{;:>{Z)J6[SGD?:hrAbʼ&p:w[AaӿB}uu1kugo5~='XcZ~`󇹖[ɱdO|NK㒫/Hb$;p5i#m(ju,8;(pqUK^+3DݞhE՟tޚ!kñU/'uHP3"adrnӬ9ezN[yiƛ~LDlEixk}|Jq7.}XAsf%I*$WvOzCv1DQdSD׮d_,8TNuGջP{\x0:Fh`Kjr|('U$T{&~kG(= .ÐƂGY F/tS`'8r1aџ48W2zjKLNVXU=EP@#uc)1R3=,dD5yL+ ?+I+W:C+'f2QWmTYL @21ʬC5Z,T#5L1͗naN"|ŊLęq>xSs7гplP zsUJ%pl[M8S(kMc؇zR)%&]4 @PUCxIM]q>Ֆ`G !q#Ǡۖ*9M+6uvKpo!</{ٝ8rBo0ĞMj#ҟZ&։zL]2™X j05ɔ-3 y?lcꏤqeI#S`,cYM&vi=,G׷`Ԑ[{)f̺?L)2yo19`1!o&jIYM4O! f`߫8`?ı; Hw0q鎠Ș 7< ӣ8݇S{ib:jVxs ;EF<&š'IJc{͕b=֨ɂ3"uXTOt ̳Ʉ=͵P*4fZiAΎ8^.AypZj$u3zcP= Zֈo!;S3dE_CdTC ;q{6{|1-t@sgMo >|HpR"Z@Ie-՗ozvs}UAZSA\6h!׊圂!Q־&3^We )fح¿n~ި^ͿM7YB: 3k=Öx *U6avW`c&8ⲧQHAJ(хc$yY{6G7|5)J*MO;IeyS@B!2n1R_u_Bk]P=7}RXaw/_~g^/zxq 3)-9)Bjf.e;;` -6E .ΰ쿦慙g:*o0 Q^nOf*>`'/ ۧ5-6l@bAh<:~Pբ^g /ơ) *0a41 ԶZ5FPq{+Ǔ}y 9K|Fx=rCVlBGApj|^. FgYۍ ue*v[hְ飩R2T-j z@DIry]ȬsV Lc߅\2c6^*!MGZBCV[s׋ PcjIys QzR^ ٔ5'5V\S_T65 =p`gHEHLZBnn4~-d!c[tҶuH ]yt&$.t9ߘzjE)1 GLUlaJ =fؔiùbcБ7sl\뒥ub}L.OERtx,<@SjcsmN)MA.ea =41Wi3&}M"tݗi:ϐ!WI`Fx#P舝D/ZAN>.5|:\,f@tNh)#25=U{^zh6pw5<6F:V6x._ d,Yk.{;F W]ʐlPrLդg瀥7lZ;!!O+.u@86LrBP^S驧k;y&',qF ?AZ;݉)Bٰ]8#c?F G 75s+Rj$aa >;7]bd HD>ҵR8 `W$>ܤw<`kyKdU4.r }d&eUUR<4놢L'O)饕UC7Zm@ `&LTBY&{s>Y0bsYӼR7C~(9ϓerwD7{`,Q-ZˍbќC7"7&NTpLH)2 u{8&eεB+iI/P0 %pkܿܨnSL(ZL|j1(CʉHq=dW1SЎA,K [V0Ӑh/Xf-BQ #rSDhʮϡ^kTGTG{Z3%,ܻT6N)t3NQ o 曱+ ,yr1g"&? NJA|6==^E6;kL6@$#*_GƔ'OY`{-{ OXZe_Y#*d];[U 6 HY>ЮOM&zZa@_X8_?>S٭*7>x8ށesظ=\MZ8Q1U&8V !;Fv 0@sВմBoMnijo7& 3VfFpAwq=]bjX@A)1Y)p=3HIu {˫Aԕ['0G#"ێP=b"?&wL O'M=oiۈjp#ˍ֧_ 0^Н'ˉ-`)= 6,M.obv܎V2H}jwn +|'iHS5HT'&_H oRRη$r$" RqВy҉C?<ͼܱ?ݔC#J'`=Ɩ >PPPd+֨fLe_z 9a"wM #=9^] 9F<'A C bD9 dc|ynƇ%Y'BVzJ ni`eˆ%@{uhqFX`PM/\pw7ޕ;vMmlB%~BPbWXk1/lbT)OgmK|xt\U~L30Ȼ#9\ƽI\G4OWsyU^Co+UEUVHت"{Rp ܽ$/#',G_mUv*hRv/Y2 >z|W;~cnI8e Wa%+yϳL&e1R>af-#N!}I9@,sՇԷc}IVH<.{z4J[$ֻN mEm*ͪ!Wns]qjpE0nUcc̕5S~ tPgw.+`lf#Wdm̜ND7;uYN\(4 '7 xUte:*uw<,aŽGxBlz-k80gᾧ;~^. p(eʁs>4& A M{0\^H:i5Wt}MHi+WyiK+չh5QuXkP}|L(޳(*^t'vEX\4p@V&fͼ*k[kEgm y9( &TKa/})'ٹ+➮ 9skZ h!dz2E5+2R =.r6qүG⃹j>Xʛ4'-߲a`1nPGgװ |c3\l@G@Hoq=ԾcᤶGNOr$A'|M&|TZ*~!t2D\9iL^;r־tVThdDYÒ^{To۠1Ղ&ƕ~>mBC ˈeb5Okۿ&g[j1iT6Yt컏`~'Id;W{g(k8, C3apkFЇ^YPZ)"9o]E=)[Ώv @/!Sxoi ܋{r2nmx4"Ef)[ G){@&뼇~tjҳWˎ5«9UzJ-璑3>YXPC/LyÅ ͜p &}>Sw;sEb%G'ZuԷJw+[qSeޤ+0 Nng@a lw`g٨2kg?.MHSv 'AbK_N8.8⩛ zKI!د1 At{}A+pUHGhKͰ3UP: g ,Zl:˝rl#B< >&KZ ﱍc"̱G ܺ:jcn6h @.2y.`7| r]k!<:2E߈† v/Gkj_*0+1,j;* 0"D sgxȾO1n/ Ga lX~1 7[.ySw6s'2TYH)2U9H7@ގ/sOp"q.7[u"iW$-x^wF?,f9GClJT:#wz)Lپijf@ހ a }nwGC8C4Gleq"ҥFSx7)44-W` BHkRμQxklCXmhY 2C?e;dIsg2B$$Wܮ^Rew<]:ǿl;-Ƴycƴ!hlDP Rwh_. l@ԏ'eKoms,6؄ *$Mts;V_HIt?˜L: :G` qK-k+N:6S0:`m\U%Y{Mnd 8oiM4-좸i"Ao ! BOT[{\ONMqi7\+^ }[!A|r_͌QK,3A9|=W2!WvFU/l19. 0`Da&8/7^i%1)+C{URū:"͌ɒN96٩f4 1I%k* 7hICsqT(SgkS3fM-?RBm};WLmwzjɕ( I{yXcT8йӤs0vEۖESKntC@=Op'Rc@ښT19n3@N{qG|:ƅ^΋ð57M6SwBć4C8h+&eaTCod.&LNTLx#0ިƱ ~h-mt}9';֏  z8#(yx WVJVmaԌm3XfI?jCoфu{/w tF7iD'YwnY86r}c)=`TWd@\=> /8* v 40fky/]h#ރh ZS?Ϣ;T D[c]3nxVl@o'4!K-kV:4E#|9_=lL 5CاI姞N!'7Gˀ9)Ve T9-c XKTyF07tv]T*fCN{ r@]C1 UJ&;t7W%#/5=ER͍C0 Ddd03nnYlYs5PMs nև|vjH?x `UP3,OthKqGݱF6V1)EASqC?{kWD䏶P"*Z<<.PXyM@KRYNiD-^@7869Ɯ5)i'2[|e&=/~N| g{4TE̪wy+lk<* |@5?>n鷣H&ˆldK-m봢sr09%HIJ)p9#MEmHfr pkaȮZ7DCqݏq-Lmd_sw`!\$W<qXAJCHr X-O-90tDLos ϜBx|[;_j+~.?C]xMc{ݥ~6+Az3ej4Yd8xod51|@RV3nV~-Z/XTD\T;"Gƙa3<#APAf±&u(Ddr R{e6.7⒰|4 Y7#t )2cE\F.xxS'x9sqJV}sZ9gĨMZkUI.*pL֊;aK=T-1lX{ɥK4^SNAdIx{uQX֑+e`AK9lȰ\`t)`(hHBjI {U_W]tW1¾"B`4xdSh?B߉YO2HXzyB Elu'QD~QO*hɒ!F\f5|F̳SmY-QƴGsT+K! a5qA @S<ݬOX?eo+tT?x2Gt<<;ùM3SލƟ+ gc{-iN?/!//=eƏ=x ^34VbC b洽 Ib͡@Un4PZ+ su]o!4(Ƞ< ݝ: wQ| -ԒK6ɈT¨eT+ ֿk{*r_m>ULubH5 USkDF;VvyT)-hQ-#L6ն0d#5:έj0Z98yT,/{l֛-3= ["N:T?3qW2y& &Q- ua4fPWhۃ{祖Х}'SE1 bbζ/~4y@8EͯrvGj![QM !e!,Tfqv˘9J @Fҏ77yLVnDʌCԉk-D\Z;]@Hl& ({QK>%5BU9Wb{8 (WQ/.hhYgf[( &c^M:V?h6v?3PJS.pȧ(6 Q |H6GIq$皚*\ 6y"QvR90SԖ0 A؂m061+nkυr1U(c*рU }$3{cæ]jxaKTr* kK`X&ތNk^x,ԉH [xS'DFBv<5iE 4u,o&/\j:W_)xNxO+!Ud`l<g-xp$©)|F#sd ?M9ipڕS]AcMT%m\{FP?=8dG} (I3/72[Yl6p4BewoKi3+BX9ssͦ pxb^ѡݍ3hӋ7sl p e HLҟ+H2A6|$K7^@ACLu7T8o"K>)#VC2ņW)-Q4&ufd˳_W^%-;GTϨ8p:>ٹ̼!`H-k҄ĥ;F&N-.5oa mvwOu0-:~b7#k=7VGi: Rw|MfǬF Y$l|Y06WiM3U+rpSb xgm @wRK HqJ^OZ (<#3\0Ts՗L.-U6:{n N8GXYPr_װ@m.r"DOű>m .1޲AYBK&ALȰ>ЗpKL{jmR\*’# mPtSB+[T L=TXd6{&?02ĈT^}~ӈ.KY +q;X!SV` GP ZZ~O2v-d%YP0N%WHj-$$T\ђ{^Pult2 4Pڭo񼇽U{.Nh@Y[fsA-5=-lHP5̮ck,T͊bmȱc=@ ߶ (ue6r& vhNC >bu@vtfsŰC|63͌R/RRAɨ)8|Q3;[ @+'ޙC'3 P6Ɔ!Y =5[F<^kHrw[_ l?_0Yߜ>,u߱^Jԟ2~ iCJhlj8͸b5L)N&Ѭ!P[ $LˬtWsdqF-З$h ,E{^ >}dQƲ :}Vp/7R9ݸ;ӟr F>Mda6QT;xc|=vWQVeNZRUB8'LIp>R*C."/O >>TG"K fI܉jKM(.3IP!B>k &B"fqFƽ@soJ0:L7px8D]/G~f"dʭU0S8n:8..9=bP7'0&+=O՘Qӑk6+#b_wrQGEOV c&[m훂s91W \&S)7r𯟀 rj$DVY">7|cojFhB?djh<' |0TzE5)eӎ{jpoRT?yVrYpu(f%%5>kKڊ]:ww:(\iu|vH'1lkL !{e[¼?ᦂ+|OwW`ЦE򊉟A/ydҝ7Ai f[AšM}}WurN|qۊkӺkƲ%n QLEړn~6ߊbR]eKwYЦ,d:ݳ GEbѕQ;F~uK< :]aZHTHWddwW? h}iOIKi.<حg: 疗P)wTX(YkȔ_˷ rU (78ɂ+0Pz+36 Zƈ5:+ڱgYZ7zXZִF! ]ŗXiɟ1#vX@;+bd`GhOwz"="^dV@fOcۯ}7,Kz{ YL\6rIB~ۖ~k(h C֭>d7M!Ez8&M.WzA-w[a2za`IᬩEːA;?[ͯʧf"}"˴K/1!GYGǴBROyNy,q#}SB!gYZ7zXZִF! Y^]ŗXi%L&ξ|PXWITDی:| $Z&S* nC:cR&R_$M(  z5v$mogMț165J7]; r- aX4.3|Aϩs tㅞĂO]ww"_g#p$p{^㬭o}@ ٶ{`#ȶMV3N0`MǶ(]wo9鈵'% .zIمtBg3P@D0p.$Jͤ_PC`/ߩ#3ΘM%+Qxfx *eU1Hŧgm#ҧ;L@UJ?& ?NiJo6{J-}oÃ7~Kx $K9_ ~n:oY})@"grݖ҂l)()F4b KHNfI 'AQ(UʇnyYʈDM(HZhc4ׅ!sGM#nk}ĺC|9#b9Jc kg@XA@$UUcޒ˜&Ùj-FSbA;uySrd|̖թ_VH80>ٙ`H"ԛ^ǜfS}S")q V! CMdit;9t\Q^ @< r\U(Gs{T^<'khV?n{0Ƞsd6҂ڀūq{$CKLL]8 ̝8>OH:GL5ѪGNCeO/kλZKtV^@{R܃fFԿpu!])fl7"ʙ dP񰤎^W@nذI@M UZvۈ|Q#nz,,ϔ+|f_y) #ܜ0f+ӬfC5ώsA<QP1VJY٫F(ME b 'A=>B Ȝ/heU/?"<כ7'jaV4URȬp:mBLeg S!5K:G^YB>zŒy_rpCxNm d`3T4F( ˍ(Icz V4Ѱ-ǻLX%  z+"yFK,^Rv_ԨVD魂Y*$*ALE'I4(VC&e ESƬ]6X\׏ fajks/HCK7D,%;{[N-xey3 LnE[f<r_G֓M@vE&,h4.MG!¡8atI4&߲ҨgYZ214c899c3075bf41409d4f5e814760c9ca904e199aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535