SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ,,,/,d ]]Affine_Arithmetic:threads=2elapsed=490.049cpu=831.640gc=81.360factor=1.707zXZִF! (]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ԣ@"?HAyZ{Z>P;E$P 7hTanY5Ԯ 4Y&.I (wx^f3Fg|P\[{Ԏ_{|Y80C2v>WwxʰvLEFG#Sfs *~CL$ (ʷnR[fO˩{IAfgA=֖"E"1cndHQ\w6^8M[inE*SK+NBY͌jނd:y]adm: .()YE,*{=S|!Gmxx9=#Tٮ<rՁ~r&Hp_o|C*kIT4yCwT<)n۴p};.*] 31W,mտTSʒ2\~ fnŪDL@ 4m⛅ewʓ#DK˽Wp 5'_ ~?Z/lV!ӡX^C ^'ﱿ Je/y܅ce_"h6W5>`T&KD!h }5I|VA0RoAY[,c=S|D~h3~v!#; %hafriڀ",ѐ#!~ti>@*D2wء:##j8~q;(~dzޑo;NtG&?5YA둶!L$>7fgp%Crϰ&M=m]ET# sT_F\VcB[pKz&<95}T49 U)Ft#WPhB{gqZ-{3t@v*X.6 RhrWv ^i+q"/2~C]F} kLu1QEbB +:-:#f;qu*a8=[60W 9Wps$=uIr݂ıyI[aLczIwčȥ扮qO]h1?ɝ{Y'04h:gHv_<Ƕ: ._'a}UۿHێ'/}gDgnaط+砢]x.Tk 6*ÄKlͅ y:MlFm7xT/7B> EU\FB 8 y{R>ғH118\ 7W.0$76˭.dleS4lnŰX)dmv#2OD^m\+@ta1<(==&dY|EZtKw9[&[NL';?Q(C4Ưl;j]s3ձrhjEПB<2DzEe2t~lԐZq Lzyy(X *]~3noz>J:w$VCrtRIy׹Ķ["/rv;{xcQL&֫ޡȫ7DJNm(S涬fTlrVb6^;L`G .MRD(i > iY !XT;ai!AqG&:>Ogk-kb Ilw>C?g6GkA 5؄aylQbŊ!#P8q;mHe!ߤd8@mw>Lh͵pO_[AKPysX+UL"JdTuf씜#Fͬw-"o!d.1-n:$2pP=~xXGx@y9/[O.Sz`D0M6fv|(.*v,ԧ%48rF tҲ@#2|>A^Q5YTZ:*+b+ He}:Y)|WṆ߀e!QA7gz34l%ҙBÙOuJkF<D$+sB=}uMT} = {mw!5H nغ_jLVryتYB{(gJ'HS.8v01Wg ^VEbԄjhlNr]sa}tD}xŋjnA?RTAoPi1-vg R]*t2TPY}+cܾˬ4kPD!R%HE؜ 4o#/t_//A+;Pc$(wPL鹁 >5p,诼LRNZIN0mWsy-~l7^.B]C6g,{T`l;lJz#,4AGz= ۤ5/GF̙(|` ,Y,[:'twʌ~L_T)-nx)4M Y7R>s` *N/d<"?! {"LtJ]ƫ]y)'Η9kY$Uh^}# m!0'2#!5ZezB0YxZSOO),Uή(zUb^S`s&v.Ue#.f%oz5:mDVqqHԷQ&#8-^a뻽bFǧuꔥ=o(@l jc3ܲP{Gl w=: lǝLhŔJi"}(iDVX> ټjsLn#%?u~G  P^KآpJ5 뮈TZ/ VY8]֏>5UUL'ޝeSB_݁:9,ZtK" TA/f7;E>+jⰟޜwHs^*,A ('Y/̒.[xS",zI'K'XB(3sJn,~pQKH{͋U%,8RvkJi^=S0Um.\zށI)釽B dM"0ݺ<6D|XJQ|xN`K(bt\%"3OolըR2ȇ@†rfC+w3ɺ"f*WDq8ہ9بos韗J XSnLm\` ;Ā(Z)̫A}ݷ*0kO9UCZr҇':De_֡m|XyRg\"2wRS^ͺ7um)x)?81S\l2T':q>n| \+QatzzawIP`c' uUyg062f"V7?ľlَ,d&^ q0o~M-b2iURm>Gv6|XƠhϨk]i8%M$ OF16Ւ:>Jx%m5QCCbR,09GSJ2A7-<Nl C,uuAZw_{ydգgTsk*oydUH? 9Z-zꫭWRMVl;(D%)=x7sKgɂyhsdDʁf+":nݟzxrXzY<Qe/ |{]SX"b-?U.㢯joA .A4Hzob-Ya QVMbpF}뮶Fܕ'9-kEvi`.jN:Q>وAcw2L r^ª~+EwKy#Ӝ\LY!w<~s|lL.vp9d"A3+%9J|i,̅iA ކiŅ[,Θ?n!ż},]fΑVj };Zc}ׇVdiNN~M$jP5 WR4tᰐ?Ϳ[r9 .*JtSvgZaY%cT=2[⴯eGAΖMY ɆPqsE'{.gJ ߂ +gfҿ—e,/>m*Vy ^'̓k[)ӗgg̺&U3C2vA&V6gq$݇i  %_6U+*bɬ%'ݹi¦xiP ? Y, $U%7-${TAVM#ɴpP@+Aժg7h&bM쵢~rNcC SBg8)Lgx[X@]fdfi^tŇm| l-b~ˡ'@Ghv-Cl=`05lIJ6,hlT bR[RD8%JّMAPI'`Wa0"aAģ!N0?rkqF; QWZ1("1V@P_j`H~à[X34<`KGc ~RC.9~SA#·oqc9~Jz0? PUw"Cb ճ$#X˂s|2{{EĦYgb{Dy8bLGS jqK^Ab3pxm}/DcH&:87jjkg/Q[<+Nzp]S(+:5z=r@guw vfaD-O9Nzr3XZ۠,C"I_a@ +BJ :Tyŝq OskڄMj&.mQ3R.Q)Pjq X ,>A@?e'CՅ%pndXɧDAD*Ԟhfq:\*ș%6 ֐QrK&(DJ?"|.%PdcEm(޸g{ iv"J%OPϸiʏKbfpQѷѱ4侴4y`gYZ7zXZִF! h,]ŗXiɟ|E\Ât+.*aphG)%uGP.H :u1aWY.6 nC"mR]SIڌ1R|+9/Mס,u<IYfB sg~/k\[FPl]<^_xSe /dNnSg4yq] _V۟g T73|Gb|2ctmX#ـ],D9u#ƺ0a~sbu I܇ eX ;;Z[e Nf*YG܊"H{#Ht9Cct~wOB,<)Cl@IGlb2XNnSĚcbRp7!n 274x]t 1v5YGݠ/ Hc3O$_iI4rPZV ZEiCz4/JVƮnuX &cn*MID`34\Afo cAp ;bF5,/LxVj)ƤɈe پN ~1ܽ0Q?&rƕA3fbŎ |UK4%H8ЅڢemXŭg @RV@(<Rr9c[ሔaEEC4} 2! %c'/0H`Khʚl]LGi~8;tog$!DL;D׆ϊT&~6p c/Qi Q^sEڑ ad6 X}D{/0Fm6#~Xnq~+`VV#Pه8Gfr?3%jD_@Q{q ayV8۬O;:w%wUePLŀ+vH ).ԜRrw(&AǵyW8p\?;Oqtk|a |O2 \6f+ dlR 1Z_Wj@-񬨱K'øv,f4X='_e!5B5R PCI2 u"gHT4babv eJdk7~lHmc'ռ #վON{ @`EZ\L^8G=Xc*ұVfi$D */0t/4A~.W;53 ׁ`:wq.VggE;C\ WNB^y뒾C8' ~0T*CYͥ ,~gYZ7zXZִF! h~]ŗXi%>gP] G\lk@翟B<uxW0!)&?XCR]?t40f*d,mۓa z FXDWu)IJO* EZ]ECƨ݆#Yno4gFhƒr@pWyH0h`%ܷyui1`BER O&j%dv,~M/PuA1zLr f#O cYZ,7>öbySaθKaK)2'J|sRk^Rg^MUqP5JVv*EFIfd$Q?("'Ƣ:Fӟ=,TqT[3 3~jށz>wL&3~%cԅF:{Zz0_yuzjӨRXov'ͽߺYo ^q3G !E9O.E$"^De4y3[ zHY6{xĎ9S&'ҥE~*1# |)MD:/_t< U7x s_@k9U Z8[2dއI*EݦP-ΚaaVGEK3kh/f :Q;r%Y&x^TOl 915"3}hG^^EG~*}sLg>n&$[O0 Mؖr2}Yr4;mPV)jnlۛ_@RK q].9Th݆k/7&_M"˅ܜ&yHa m}Ͻ:n-n4N#G|R6ԞW[[bvxHEc K3Ċe'{>lv^Po_ ։07 bh.xDx%?U+`J~H!8!y?)p37I7O$8 Ů ;w5FX4JxWUန ˜-$ ڝVQ{NM_GfI:ZO_YTǶR<9wvy(2b'L yY8wf5"d<"$~pqa&"jLt,Q;Dh}\z؎<`TXO%ZЊ Y'py2dgɣCH+p?d)BH)opgT#Okt- _xM00Y4rg699Y 18?h5 Ӂ}۳&b?L 8gHS&h$3(u5 I E I:)"]T8eD :]{ _jO"uLM ඥjJu`ӯ}?n͟?C(WH,RVPBSh~X2Mڶэ˺e͍٥lnDs8r~ĝh|!m 5/.3U/%,B3x%VD7%Nĭ3% lq~!F$NXTR_=k+*^.i#DeLS:ZZ#o&KUi{kg 5Kq(aaf?W 2M(1<EsU6Hy_wKPv41[,AW;*Y 6N J08#jh' b:`jz@ecfMd?u|]> iegkCzg]$LVzulLĖH {DeĪPpuhM(v [,BS$n+ 잁9@WPO&ѕUS g5ixy1Y\"fWWD- ΀ nTcJڧ&K}ۡLL2]Zs~(:~ўϘL3Wә23^NE!6k/-޴±<P}}c3 W ;ZnR9W5A60B@]w:olSU9_3@@:*n?!ʑ (ͦ%{Z"N2ߜGG)D~P*82gB[xŠGszc53%={@ז2'Ef7C]2'Zm,,54G| 24pǿH69F~Ճ" HzGah,ɣ{[@);*Z,%& d3Zy~@N1;Q_ٕuW@WpglDSeA`p[5#VJ3&4r>Kamߟ/iKpŭ}(R;Y<} *fN}dj[MIyX)i.UY/@4Y+v9qӴ7r⋭hR!ө# LMER !*_0w:QdXH31yk ?GqV˃cEPNi>e,Qbj<&},x6B\VȈjZ\0 l%brr]h'W8֝$)\!c0PgX9a.z?]mQUWscTjԬuwHB? JqMa'p3{c ݴzA;c+HJ 5%}Mn)Йķ]hut׎.cuO i+Jk EJ'JĤq߈A胛>ЏO Aɍr9k})eL&T[N_'urL{ءF<,fUQh JDGP_,QҸđ݋(%hц DX01RXgL׵zQfT׹!2i&nb@h_^PZW3}[tE. xۊv@B+Q̻a0e߁]&hΘ@ >[=5% lSBU@cRgw}U+ qÕ"괇Tsk-VU_I6UD"u+=[uiON-E>e?0rDL9"7:N,B)c I[sssɉ٨,%jkCITה(LكVUZ6H>VI-)xm['*賳CGAq:(BRW{r7z/~l yٝ6G 1BED̛Mٲm^=pE[4y`%J/Q67ڃAPa!&2.,uw= ;%{hZV KigS 4o\AcE_5?;n'Wc8Fjg4 4,GiD0vѴRƨ3QoS/޷tt*ǎ֤I/N@!6#jF^$ +.nv:0T,S:eb5\ےƜ oz[%4k_+鵧}ُq''SfJ{Y㜿 qH]ZǙGF\O tCInyL$'D$JzXD+J6+mZ |whܟ,%Q;HC>t,< ;%b/uԨ >mJq1r.o`hqq1O\R'(N#L EfpȟVNj1\ b/נ{(Yx9 3bвZGt1ktiT[4,q2zsί)oJ}>kUwp{y4V$NmȪfx@+Cs,9JsÅmZW{bD -bAAD|DD+C[AN^^*<"Fq0 <# a2kUCrrm bm3)T"ɏ{^B:_DsNăT$mN]3)Pk97M[KLFLP5lk]/]P07oyT. uBohF3S ܬ iL7!!.fg_Y۝8ҫirkiLwFP.Gc0\H<<p0ayvDL93J5>@F-ReUr8נX|boD^<#>%S"m E2e]ywJSH9&0_wFK.!2phk w35ڜ)7ziFM;/#it5\ج"S^J`)a*F/%Q4S%*3ٴTnp{wdgU! ̗=Z2S07{ti5т)e2b('74v$UaBi >u*r ZSê󥣚iD{}U~SiZ$gWQ4O,/72s֗/DH #DB>f'c a;3syS-&I5ٷZB,&pL\Ӝ߉C&Wwtgf'4u4m} [l/5y!vLmIqP]'︵x^b&" Kl|| Ǣ'^0p4Wizw݁LR<6./%MsdEۭ ] ;mk্yaC|bј >#&\;|l3 .5pg|59Gŋ[^;.:gu^|(rxeeH|' Հ4jo'qQ_X*w>w] eB8XK0Z"e䛇f5<d->uO̮}n"b+Ivʼn}m2MBuCBM_L ʫM5st좘>,=fP.ĸb`Baƶw f kEXًz$@0:cڿ(/~D䉇ou`_1SLc$ -sO@yDvC;6$~.W aX ƛ5QfԂROsTB$Jh#RL=GˊI{S'yd' YN?,&#c$l4utjic7!4c@|mVsD!T|uXlr?%Dڷ{5 -6CUx̃|8/bs˒TdVա2QlWSqVV fJ-XJsf;I,{'w9IR 㾎K%Sjd-#w-A<jc磺p \\iSW8ctAzرj8"/3x6r'v6r51Ƹ"8(4}G8h9K C_.>[l }AW?й`[k㧴o,5z'ÌU0g0@hk1 d:%nNנ&玚wF 8*5{9 zJxO]D1S\"dDu43x qVpV!MH;4 [XcYtIO졋i)%Wr7-)Og7spV714]?޸7 @j*4tBSQtpE wVoM޷T%mGعQW0G_<5Sn"$:zP b;Z@HEDy/؆=hP`-SꃨsXgFNݣ>:b%ª'x9q -[&{j`jx,Cq3C<}$ z'W6Guܖݤ'~ޡVcgBI2VԄ3Eh~Z0f 6`Pm³H@ٰ5?aĩ/(umBiDcXIާP<]:&kIvql~:gO0= )#/j/M~!{:w#܈%rtd=j$Җ]U\JU2|M;gqW)8?n$mpK3YWiQ$h❋JԎŞɤrA@5hKk909d4HenXS?XS0E>zNcϞC-ӽDu $܈khN/BCpM.6lRZmW.R\]PQW4~X.QGN>% xU_:6WioےѦ/:zu)&£1:5 U,S9b0Y3F,MIQhvħP()UPpwVi@\Υ#zDAxAaqFo [?`ȓIK+e^]k^2Gޢ& I=nMW̰OU<r|Fҧ˙(SarN a D0H#G] KMq9f3WϚ6'Ѽ.~7nW K]6y$FE#ϯ 4wg&]LӿvbKğ鮞?LIj:8 LnO,֋ Qᝫ"%|TiB:fLPԧXxP̖>̜Z@]QS*i˸hb&\B}aњ_~2{-L{KptxD[kNRzsLtFl}$.6ˢO[JFR1o~-J̯&J Yl{d 9/*~&1l{X_ehbJX(jk)ҿ]pSa0z>W!Ovj1צ5 MnTHP% 5ˡc}#$`Ivflq =~n8kPT\ 51,&H`Cb,xވn ,QBUcz'#u4Q. ﯄ wf+oe0j>0.H]UVGdJ W_.c)XrL2a@Y_Tڞe ?ɏ|*,t 2AOJJͪ11/ ?xp+U:3ghޤ>Kb-=0Khm5> p:&9:f'eXo> q# ~vh5lӷBkD1NBjg(ͻ(HЈ}kq9_"O{"Mʸ/$&833uCkGÛՓ]ų|B͹-o Y] bUI9}(uz[ aǒ6¥݉B ^㎅a0H;451eE7\f˼(||Wcnmr/y6$cA\f3Nk0Ɗ<1cP>ئ$# |fĠ~ 4MP1jP%`GJije,_$mBdDG}{T 7J =4<9Xj̚عxC[HmfJ!,6yT\cD|V/~+a)Z iNR[IGEIHv_h ~3Ds5̰ MNq0,1෮lSwG{O=N61tkzyaŽ}!<&7%ϺJ'xx>u13 67Z#ǣ5VqkzhYZe,O5KHxIdmFl#.hU_d(ZCɑY<ZTixHn+Y[ˈauhGfQB~o.^_$Q bH_q7 G\ #[vߙkNC:Qesyb69?#=tu\5$$H4 +vZv J*v}ZΣ‰&ި(VX4ٷ`=&x^r6|8,p]6ǷEExmfDKh9 +M\/7 Bc:%<9~LFK`#4Y CWV^{W.y#Z_7cK=udks :n@.M1#kԻ&!+9~Ge: m#zoO# |]Arp9#FJ p@%9ȯ}yHAR#z;a.oqb>{c]OK e氜Te'y\unIy]@oSBT/'M؃Ftjf`N!k gm[HZs& yl '@.PI$qt\p:T`f)מ IX< dB;YVTS?~fϡN}ahyCEYp ޽򠆡맅S14]@M^Sf<>E,g! IV⏴N4obSM4{= `$%!Wyʯo1T- 8#$SA@'0Jb^^a?ӕiFTx$&ڛ{0Tʔ@存 Ut Zhg[s&P)EBG([G]tSn#ֽZv`[puACf^R֩y&+<=>z(pKV!mh٩N3^O̫80wqT{y~."%?PbVúDR٭;t;ВM:ؾm8l@6zF(#CŦ _\o%&~|(]{M.GTL$"}>z]UZa2hv'1פNZ6LwHQ% m!)>s9\2Fs)+4귺d D%s,>~Y3Z4ֺrADtb_zykf|B 5c{\ȪTQg;gnH״Қx߄1^aɗh`ܐ#L0򿘵D[f5|J* Z71ߍ;-ޢVbUI!vnܰh ҅nbm!?)ndq4|S[bDnFTI$l~2Uq=X` _a4!u3MrZa9$&>Zna ℇ2*rt1V-~BRW6$ܲ_:kRT-OՎ2䈻|?4g߬P7faCLKDy)e%"ՋIJ>Qt=D,epzrޱ`5n) Uˆ? l$]cCz 2WpqbuE^;+/ZBDzZ?G|K/ߖ-: /'&E7ɴ)pgcYQ"yU}x@uy_(_+|/1J'V3J6R里h3*}Js9aISK3]6:6j)0Z }v5:)И6#N|~gPnFWk\aQ=lPXdF^0W15m0ArIRD&-09/ZfCv5n3Y˄W$P`[)ܠc/[u}GW!|*ȜdԳdm8GP N~<¥5 a=EQHn|Q>:ޜ)% @?+9[, HY%':lL S=AvCt.eoJ>i__ʝEli '69p#LMGooq\. VpSA!PzAݿ+RĹcsŞoȭe#Z iY@@ֿDGw]fu3|TLSMpe9z(Q'n>R g္j:fCfg,7pzX7&ڧL EbjdtiE֕9[dУn In )fz28#HcH؊.ޑ{uÝ-ף4\x,*L=Y12\{aօfD=lǯsjr`TZ9iBlMv,`ךg9c7y\XJ%K|iw$&v\{9[YFThs\[.j`;[/+Ĭj#&ؒmvK彿RDqA<{{4○N_N̒j-r=;G8B䓿NSge(.6}XQ%ޏ75Va`#Ïj1 3fC{) dYfk'g@NtTQ 0 c[kj:fӡ~`a*-Xsx@;-OK(a1W)$)kK0;Aϡ$ d-I:̑!Z~yʌJzb%fa(86'Z&qZ gДg}9&<^֔ %Dlaa >Sb |@n : GpG|+S舭XeN팂o?SE >*8ׁu앂<#鷅N%%JB2*<ؒfF7}Q<޾!(6U`a_uv+c9Ό|~lEvTuS2CIm@Cp_=H%O5ab㱎gF-'U;Z! HzBPh$ V9M]&(ݧ/ؽi}˲o`謩{BF/afjyz u#N ,L"@p < D˗) F1e89;IGMtwG~mXCEL6-{.Gr1"kR24%.?L]Ƹ0I@zJٳ NJ&ܙXGq⦷yJe7oQX{FtEr19c.p蜟TDHm 033]Ϊy/Թjq;<iG)2Gi`3FA{Z:Z-R_;St<_%tꊣDj"*~6L~iL)vնUoOW(zI߰%\_z&qa 2}7tXի795V6trWXveϿ8Ewd ]3m*~2})!a1WLe 2R~O4ͭT˃4̈́+1 Sɒ<ܩK)kfWiaGLJ z W-KhgR9REi-S E 9ݹ !a}ҷi{@ef\9hP{ȭ˥*xS:E4U֚'H,l]%BuJ "WrN"-uFѽeR]z`= _3N:+gK5ʛ{R Ė\Sw)E`>M w^t@pBn sw7sVɉ}h{i%8oPȼ=Q+dLc&z`]‚gKH hdDܘ# 1/UQ~1|_>U& aC| p_Z̷_Aa@IJkeCZ}3WBڼNIU\~v뼏kPC;jCyxOQnzGy:! kK>~L =gCd4K}րu2 M*0,C RxԵ$j%ҩ |`y%ӎ3hU|ܨ|Hx3KR:$n/XÌN#E-,?"rT/"/m"b,ű^ <@S u(hylgozQ篩D"dm*[4EѪ>qY7UcGtE `XiN L|)5AIֿv9H)MB|JCHU[ˬolejTv3fͳ0(ݓgwAs3`&P#ʅ#V8gH%׎PDT+sn=(-|#ad^)IO o+!E,͂@ٺDl`ptz^;1}U} -),`&U]KVghXCX7Y0_'EM%N,_*ٖS.7K[C|M̮mIr֯-IPpaG7tjZe2b(gKuvdo#H|iJYSu' $vVNCHM'd4кQn]kS@K:SdϞŒ[EZ-d"k ΞnW4Yt{C!Sv<%Xl2R}/P]EI' m d_@,c+|q9T1ΙM~D8E[Bxu, F'ސ6uwPSz?RVv:g+(˰2Dl,z|y@&{y׍ZNj YegKLpG]5͏U4};ndL"XJ32.KHB٨lw^&~nS$_D #6sϰӆΩj*#h}-4\B^HKdH?-P"΢0|d֩▚_O7f 蒌'f2[`ǙkdSMa+}P `Bdq}|E215 `71A0A)"GѨm#h U-jHY !bHPur1܀tݓ^wQ}4FQZ"-ST6;_ x6O%&a9^Tr- 3U-c TFfy\*ˊ,æA"[2bҰ@9ې#Ѕl(=#ZwV)}whDl(Sٴ|=s`^l bG,͎W-e$`>&%_XtPنvs.$nMŹKdz3HyswIsRh,a̫2952)pEw$iIH^. CT4~Hirm--{c -3avf8gst\vŎ υmidFUH~);xU=VpRn+di 4x1crOu:.qiCMۡ;wN-GmZ/]kX>s'r%k(B<${OGgAm>Mʹr!̞<[Lߔ4L<%vp6jlWT6FpϺQKRPnnJ̾ai C˳$ G+1َ:*'=pkfs<[99T"_򔳣-(Ш5zn(m9~\Dh2F䬍fXvGYB҄l8wSCI?%k 7KbEQ)Axf/ط P>fZ!u](*1\^Ÿ f6BRЀ%r62¼YOu}{X+}no˪W 5?rx~/XX `u$> KE#GЂ0aN/ i>}Qi090{O@J> kB[PKWB^t e5'D+PL8 j b@OO!6hEp_tiS_ϭEr*m"k([F#tD|n ӛ.E&c+ӫt%r҄"DToCF뷉'(m#t^-!-Pǰbp?n)vl>%@?'/KZ[D|a+z8ؿ4u;|\aQ ~CH^+j,#;})vɱOA B* ?hӴS:OQPd bAd6mG }$sIeZ V`6~ZxE.%>XM\ Umg GTW|͠ZшчZ K#ju Glvǡ~n3rJ5L>߸V=swp,icVuN?cq+ez`JWI{@ d/q,?n]+Y tŖ&Uә{@'.dg׏>Sj ZIǬ 4䈒YtEw%su=RfS3S |@'Sy(tM}c4zB@Y]yfi|RpHIt<;\ Y˒[ r c_2AFA=JN'!G\, Rj"z`PzEu?QVx a.Xl<2 Q)j z$Qc93`f`5"~^&N\S<<Y4iu6 7]{/MdGkZۀy?R+ZXSgO fh;faiXf*/evˀ<%'ٙ _")&4o2Xzs|S)C?EUDX3ŦNg`gϴ%wC%>YYIIk Lb̮W$|q~xtU݃~6o2_~ljW[[$\b|u!>QW 'd,Ze% D_+Ozd(>X3t'Dm/C<4FWڴh=K'•+:2Ph-c+Jyvo]v9)0('|y}E,vHUd'lh)ژ\a" *xiwh0 TZ(:5 y!d)tAX v f?$Vx=E<AA{ vr0SLk tD+OVNws€r8mتҕhO* 8e3S(k|VZaS Lrlҧ^dg١zx)s<c X6I.aLgºD ~e晨Ёl}3Ty6'N_/XaQ?c&.NY 2'zK# KJú@ōdZH :j?'e{ěb<.T({X7N6pL:ԯi`Sʿm!خ\V,ȝÕ9DIxR> RC7Ȼ1HG). HaV[N6a?-܅-coޚd8^ޚi:'ϯ7)FL@`1Bx'$^8x$K`V!833>!*<~n*ƎF'Ҁ!\NrfMfjmy seК؋P^܋_ `Nu 7)oLD*p!mY.*E~^PXL?6=侬% M)|S9I_vk i(AO9P$Ƶ'3t?^~vF\:7 Dyd_ya-Q*6I5RZ%[#[asdhП-&?T "#w8^$Q_V6U`J4,3~V[Ŋ0285EׅH;*<*Vdo:sCٶ$Ip)z䓺 y7 <ωL";yx{=z  ~*M+U+d64cV{F󰨮g(lˡ r+}b%0!PgE+ A,Q"$#}wN_npRf 7ǗP3dJvjsTV#dOGA#9q3J[u!k;~t!b pbtmթ/ Gl5JH 3!‚'[Ta8BCޓn^aE?8AHTU8>xEO֡zC`'g&:!}sia=ic'~e"ڡ7 E bV>0z)Y8!%? RPs'/t G0U,Hۿ-uB;3)lN7cv,hm]~1sP3㈠='OLXfȝaz}0Q9S\VިyyM ]|o&ZqڱwCql @yÞM{o!i`L/*Iځc`{hA܆!/Օ~V7 []1ƕ`2p]B1Q!r%UдuHb}`1M8lJI~ξ-%UB r#M,m+[BgzKc\_#V&lurIH՜ !8|6:oy=N#=oxVqg]Yyb٩3\ f0|gR9[HT;Ȧ v!FBldR4È HX{t#zܚ}TDF}]/-pt +} I"^.Pڧ1@oMole|()1W hwYs݉MDH/υ.pVʠT PsHv bԃU=nYK fx@m`v qv5D[}}Ɨuh>2nn_݌(AB%Cק=C8Le}n4U~_!f[%HXl/Q9D2z%غ soҰwqHμ;^4Lua㑐ںkq~櫉4<`ʑhyS\<o}k-D'% {Bs vHh+l~q!@}j]? uލv配Ztyy O|_M.<+@7%;VETKy T9n>BF[`1._F*"jS5ش cz~.JјlMxxٌf1 miº br@'g1{w/׍y'b:Eb<6Y4)ACSԄ\y )2j=[=(4)3i|>ArFsg\L[ZEQ.ooVľH;ދx+8jLHnpD̹3('GqZyo\yYنoNX.9eۚW(BV'ޭOhSOR$I*ƒK@|C)8|:jᔸwP /tO0=urVaCaO 86X"WPO̾g)fh_|M*9JRIISФBuf1<8["<iH9^Ұ*tdr1dI?hA On{'A_D@}^f则la/ֳD(UXEҙ孈,7w|n?~ӭTd9 9(>OI.;0%CaTiQK[Eq ! Ǣ˴s˳ Zew3;}-=瞓qهq ή\̌k:؇⿗>ҫ-8g7r^]ZXrU[OZ!5ᏦaL<4>`NOa9vj7SnXy&t8RwuQgw*P}3%Q#s /$+8׿y")ո:" mQ3rȇ|ZjO~?< ?r+á1馂:|ftS7i.;0ol|[Tv:=g|ufQle Ի$+ f*ts#x- =z]I-fM@9]P")ς6i棭I㥑mv}kGJWϣ{r3ts}l-KnE KE exSK T} mFg`"}hÛ,At>Ǖrm i'[#jH7pzTG8'ZNn^s`9)O߿L{LAVQ^"ZNEz/b/V k cEX-Ȣw=fuuh-6NHP 7J\ma:,#( [T:$Sk 9VmBY`ҜOȴ2X!#G} Pw`@qK1H9d=lwVp:{q]@%&ڣMo٨KMǪ͜dabqeИ 8&yclvt8Uv8udDYi?)x~w[ej*h-Eبp3;ܘ)=er?~{it&(}nhgŀ̮o@$  % qwȵjNwI+^G@O.LC7o`{2In& A$W}Rk[-` .jDz<)`D.Ú _51 }ѕClLj?d#DC1B|)+56$Gtܭbi_`И;2.#ih;3% EU+l0)ӿj, U6w8Ĝ֎g0IujC@ᝆxezל1ZJy1*~IN ;b&6Iq"4s\q !?aZр2e͈ɜy~p\D4kx`ۀ b,]Vy"ulňnHWK}s15-G/D!eA7!2eUWyy*_?IC鳧(f_b$[bn!t;1Ru^wM$_h~?1VizFd\d_ b9%OhyqASc2{dL):e=.2=f͸#1)PI@̵P Ij[}gM[`2iK >=9RKt9藕*]r<[S 0RJք<;&V,j:gBfIRTv@oxo|Cq Hm+_+b O~ SGH* m,EӨaFm*fU[E\(6M>cĂ9EvUst *AK䭺I'X1\+~yoȜUq"F6!h[/ip"(|Ļpe#fՎ}[@]XHdlAM{:ȕqG2!˂?&Thx u:˰@%ibǥu%!cJcU#'{BC=wTz#5K{a]_&s`&L^maJ Ys",SP pAK/rK%+V|EY$bAIfM1]JtX)i5!Y,>)k=u] 4lE_-fՕPJS6^H lTYNfض,Fm.pY?" 2\#mױgYZ63a610db9ff8a9cdc76bb23bc1a932576f800deb665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784518208ae03ddaac4966b40150df4f28cdd337035