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   .zld| ]S Complx:threads=4elapsed=292.811cpu=847.812gc=10.5927zXZִF! hu]ŗXiɟH)0%oT&OY18G aQN%K. vT׵Ad\'9;kTHQzk20s&V5eYrʥ %\X-at^ G-5i.7X~g-X">xaj4OMN;Q) L[&0%l$`yl&C4H %yK?%}y4-!nG[W_WO$ԁim{KxA n[H'0Xé]A<(QqÉV:qмC2WLDԐSBн3"}d:'?e4d3.L=nffIe   Complx  h<*J[c^=Xꌈ` y煏0&fbpuŗ\3 7S|C~;~/mPٖ匿Ϣae.)i&Q8!ZPDN(|֯{s 7H2/k.Uh!LP -_pw"琚m /t*eSP~EgjiV/oht_Qچ;*RSJwjշo?ے^\썡13WOЙNΖ1Öȹ ہTR5/Ɓ9zz<7)bՊ`$glŹŖnT!4K9@= iutV ^8H*?#. 2N׺Ȉik@I*[;wYyC`/N`/) Ëe$:btZKi;;QFLr:Br~'P:=S{W1xϖʅ&&nwz5,[,Hq -E)$1fᐣ:VNa*Z%w@ 0hA@wް8;?>ԀX578KJ+P }rBWuv hٶK)+HF˙`~Ѡ'j^4]e XcN= 1R~PtT,Q IC "֤MU"jrjP 2Hwȅ$|| 6*9QUEO) y :!7i%($_Р#Ϝ]3zg~NŸJSMI<㓇&'^}x>w 7Yu|λ߾_m{=n$]@qslB%~S:l"fng'J_c%s=wy Xh$XtɷL4nEW` V>ha [^ 4W7H~^XV<֚(o=I3glNe=Uzzqŭ E’}q\6O7i)Em?;)NU -8yx!+Am!9\ Mz IHmIMx ,mD!,J>/]ܥÙB{r-}KWޗ"[w87'bYf|Ui V{]6~Ĵd=-ϗi,m\Ǥ咑m/+oŞZQ\iI҂QQ9V4Cz!HGN)0]{ > t3N^Nlv}^[_&smh%{[9`fe6`+_@aV^n=,hy-c,Ƈj[C&*35hƵ-p}|JcBc~"e@},.a >0}]d6}2C®fۆR:~cY;qJG\bxd<䆊 @sg" YjՈ Leb|c_+ԭ2m]gX7.;1;۷>OF'`Q-[>e؉16C~'߰o?!# b>y_-ӣQ>ѱ~mJx?2%qZǚ/.pK{?ъd\ʲCL5<ع$ᐌo3x~jãk>"wHgJ&(↯/lt3 EɪR 9]c+IK&;D(?'}?Ѹӄ ~s{F]8-"YaHq}$Lu0=p}kqPƤ0@=s+d  {h`"RClhD*58/x+,)q_H K[ϖ}I$]wG: aQ3stі@vyo[񀋥Y/_G7iUk>B|4!~e崩Eu߀cβީsI쬏Xj'P)X6Yv ܔ\A/{NW.?UhAWsoqx%cp3B>`<ػs8=,iWt`bsPfwQ (#k oGC`)jI1+hP1,KZa8Of!䜱ռ- RV`Z;ޞ/ɪ0zx1S,dކTdAL) dlck$ rMI@z3ە:C?ʨ!E|T{NۘWihE4qp VmG܉Xu_p bhE:A'INoFb$yco ?bU|_t$W434]Dž >Hx`-C[܇Ц|p̥I臬EOUURtAjYRmpBK%q^Ꞙ\.Ď:J@a%U<lb/t/F-fulLVN 'vlrШmT͋<'tX}*5}yz?x^Ey"b^H; 3$ݚKL@t_0Z\Oש -m=n}$8-s݊c L\h1a"hx@n[P)pK"vxv>Q~ s~GG-mcW%_uqTgE "ۧ**WfXˈ>w>-.ȒI 9{&쒓)t\ Ҡ h)  UH]rj,Frw'48*|wXᡛwx4d #k(J -Z%GVUoY@i=w΄FBM 勒#d7~*ɴ9q a:)w KzMB՟ϡWa^#*I;f >_b#j|ՋES^ŭ>S]sZxe$Di._jN^WW>WQ (т%0I7y, U_h0G>[#?(ovd T) EL{<\7]蘻Uxn"T )wyo$PE%ϏV=N[,¶hzνu(RiN-N/kQ,Yޏ^ 9p ,/_ާ,8~SiH5U0ZgChjsQ #DGˊA (ŒշE$^BvI1I9ֳp)ݖ#|{&ĥ6Nw9~LH2^od_ Qc1lK!wxV!?&(\23a$8az*]|A̹ [%gNf^dhݿw"kixE !O%i8& +e~Iԙ|>J-I<]vkSyq)ګ?w!T3(@1br(I-D6j0G1BBU/*;`-HMQRuf,MuƧ5n^]ثX_HAj?ZUF Bd+)no\2[jc*2f^=^º/\9T_E{OpH=oӑ`` rD9;7KP/Ss̈́%E1c&j‡:3JSS7G䅼/%mP)P9G5N J1ie[\cxl36<_[iSSLt ag ~lwdN<}ܺPeŠb\2*@|޲T< BJmFJ/=b~Q2T* p**OP[WfbH!rUܼ|iy ܱ-t|'o(OϪ$y2) 9vD:u@_Ai:l&,!$JzRC+Jp_jZ]~`>6ML!$#K)ǵtufn4_+DVCyhN៍#W[dad5R;c ]DM^[!%f^ӥ'oŽ]5,YˤG|ZE^ yc]7{Bہֹ]~F zf}Y*$)F1\g<`TCD ϭi񤑒 KZ 2|+Zie6 CZEԋ]$ |oKپPkWb<Ǫ@7_v݃dgK* k~ !c}-UM +%VODnȰ1v&}3rYQ;UTl I8 -54ur@%;7*6Sb٨Ӄwzc [@)6!L-a"8r^1QՔxQI65džQ-<܈[sT[@D{X3:mp0R'dӜq-/SZ_gI3>VMEݑU A5ܨM 549l=L  ~w?,oLPRUOaL-V:6 ;(R Uyrw! V\4 wO\Hu#f+P&GF,3@ 2QMKE pQ ;&yy@UNޠ.sQC,-o${ ?vX^\ZL}/:SUn6O^&  kAFގ!CRnk 6 i9 -KrEEr5}izPxQ,P46t+ң0h/tx8‹=IEM$+;"MLl_j֙Uzٝ3pm:-o#:js~ 0)Y8rk1- JH59&`?/:5DfI7B Kۊ޲A5&[yìpnjܶ1â*"&p]A16j\nz0ԌIAr}ECs1 _e}=R*2'≋~+лf0sȔWJ췧mUt"5|ORA/|%pq3*dȳ蕎YdKﴽ}5MMnUyHM0@oOjAegWGfX⾫ҥuC< lmJFLT+g.b@ҩh0ݑJ,8&9T:Hoߠ1A=z#@lA77fXy}ϨpMaw*w_虫]e ӵ)ȷn}tarG~OBM.oaɛΝ9S%B$g *v: Pi@a`-/ C KN{P€.^)!Ԓ}`S%/6L=Rl8@10?N,8\!KVԅ vZPm vAۃzqdoL=[6-xF "(-cpC1^76_u6qs0M\kcHtK # L"@SW*30`a k'\=a3]# ßqF- &|&vD c}[LDt<xf޶'+?=HJ xJ ~0e5'f*sW0H',ģq^7;pL/D˽sŋ7'+14*oD< 1T7s%G 6/z)#/"s4~ ]' ?]n,'; GM;zn??Ӑgr1}I*5| ϱ=JrW*<yת"N30`H|}l 2F牦GmW+hLv(iUsGO9Fn< gDdPO>M*>]2 꾽 &v<”@дɰyZW|qi1ptU(OcF)Vfhv tVɦֺ[_O)LC4M&J;ylA%=>r`cJ糶;K_Z_[u3I#h~Sşc~NXį=<>xpbkz^۠xIFQ tSƄC3+A+Duu-c fHV$s86jHaT^`J-jk)}nN$rOwxGOp`4/k[ ܱ 7&~ NCh!L TYVf"[Б)LWʘ߲+F V`3[홰6d@"֤#HdX3d :lmrGcO ߙ$UTC+ Rݕ+8cGZ3`O;Lx [U-- },R[ ^/mc6}G4%,_qjkHtg\ b}^Ț)dyzJ$F,+^Ć;^ udVq{™WЫod\gf1iP>XH3?$REl2quvs‚IpQh{)$PɁ4TqDL`y6:9Fc&D{j?Zsk6#cYS9|Y#1g꽞XTBnBPll`WHf=m``D2GjtY#~Ywc]qV(~XD$f@GwYH5 &ΗzO_ |vS#Lߧ 7=i璾]J.:_H1U)B7ûoŽeߨ/8Yz!(7э`mGbǕsɃ\C%uXAzN}QI5~Onlvҁ>D%#r+ \h^'ʁћǁ:0]&fy5.{ ZVæF]W)l'=]t°WXm™O7435E[Y?'dtexؕ u.:gɖ1񷫟]mҾq;;ւ;GG_OpRIC2@  gM[h^$񻸭0C*aOiq|cU)o;dmcY _ mBww*B<^{cV{E{Crxnsʼtd~z~}u2~hZ +ZˈC$;>Zw7qZV2*+#ArmKŅ?3뤨릪~HF`Bvm;ƙhgDw1mYY!ư, QfuήT8؆m1ˆF; H{CX,ԝ=9W`rt)hfᐛE[a=5IWNx̠O{+#8th;]C0K? #BS$6F*d ډ]RYi{SYಜqrgFԠS㹏r1 } }Br*=)%·~1Bkw4\AqZQ, K/K1C- ?|)U - ,YanHb݊?w9Rgqxc JbӑGbj|jGhы̹m=0<@ z1yhs΅DnݵLfvB/ͯنB8Z% jlNi#S[۠ JTAᴼg YM!Ngr'9(<6`3EWqW'Љ b8Ӈ|Um[`ׁ@ˋ::~WFFb\o4ٓ<(u{\hTucw'fHPMt]'Aӹhpwц2ߨ(W;CѪmeϡ3|*(b.EOGgJa.?񁓋[`i`-sW*skOʻdjԦaĿ|I+UJH+&8ܐN$wx]/Dw,8n KSKtg IDh^sP-7: c^̸< Ii%:tE im~=r6>tF~D4D\I]AuĮ@f ڰ <fwT![Wi@<O`F NL$mP\5kEPQW LjJ* |m\+e񳁓M{Ob|}6ۤ1c{D~2W6=xoH98Ȳy0pn>f2#4xE|%ET-6C΋,_N܈[%"m!^ ֺ΄ X41Fc>NQXDuF [UۑxTPz]4Nup `6?#jOI_j?1xSb5lᰵb>MXQ4<5YRyXT&xT. Q"һ2yF!*wl,`+J;<\im>$(,ʮ5a&oMыdJ!ְ3n@ yU:pF\=Sd#7oPЉd5{ n'A&NTHeHdEm|c`ћm @)CSR~ECIl%}bJS4"u4^&e7BN\]CNݲB!?8ogOÁf)'x;aLvΖܟdP= vŃ> h;ȄrNTtZ Jr)eɫA-zQpkgj@Z%Va!Vi%LG'!uO5 grHı-my>Oݫ/*0+)o.-V ?mZ&L<QFmuQ,Sj#KD\h$5"z=4 !w*v\ʛAk60hqr%z9YS:sd״3{P{RBFWm2WZO86ϧDšAi6KB;bz e1kE֛2;JGb\bQRUucTῙZW4>.klW TT!LIJA3iMBRl|P K<1ɭ_І|2P] /ByMovT "jh;lGbu|ޛx!rvDWV+ 4!pb/F8mJsG.蕏\$\Wlס9{Mi>ƒjhC㧢Apoip²)# ߻ZAꄔW.;ODyT'|]2Z\* ş8.5OYўhU=ɉ>(`<{iޡ*O (׍B˟ .gy`~f$^C"6PeEh{ t< _ؕy:{d1:!U n]5 @Ģ΂ď84%:&p/zhsXZwvWbOz:CޒUإ\͹_V:gF^>z)'D.tCB@a3֖$wwh=]²-Yrz9%G٧C]daHժR͆lcf8K/& r_cxC C@k ¯$G9KóWm^eUT䎞imRV6Yc_).|Z""'Š|9]r&St81Yo93}+NQWQܲ8nJ+x ZK'Љ2wZOKB b夶Ha \ؠ;E/5GFTxm@dHt}1Ozx9{k 8OarٖnXIF]q" 7a1?˚Jכ HZk?Üh-}YwzSc6eT\"oUȃs39ȗ=kU)9{o3@[J;I~vd)OdpA uE'ud98 `Z4he O57iOmqۙ4Ū-< ژtO!5sNNdHw'1l1־>߻E.L ]zE&3 F 2$RhyBQajOݟV5N4FK;~/;8=T)LwdPI;@\_+ C8 ;mJOVR/\ekG 0G`8zk/`5T;D,ޘK;G_= StJ.6AZA(`f5_"VcgҬ Kɛ$20I%p*ʁ|f P1)R3 w,fj,Nr&EzE"㵘*ເ}Qv_xȈm `vxN/QK}̦hQ;qqR>ƔR0k_a@7,p<`d^?f U;#kD2]|惆ʒ+]8j:*3dP\|&h&c@1##?PqʎhݳADsN@sPw=^g?cu2Y7oGȝw4[3(ᰕ>f8ivW@p23v)p6d2åPq?j̼]f:>XHr/wĺ.[jޕnjr;!`d@sb<]'l~+1fݖIEP&%ޱX<ŊDEdZ|$;@FhX[̚j >Vo ``++Z KnJ .#`h?s &89kM@R]SLІ vRpo[p_RtޑxB*@!*,1 {$Ӣv$V87iUo exWAGdjS jxq}9"0Nw8\(pQ!-?5PFD`!MT%IWVFLBZ;F/+[W7L[ htNmX񭌁ϡQO^i \A7ϟauz}gVMCm T':Z(fu]>s4a^s|΀[ze!ٝY=Z*@k0ibpQK^)=;x= ~O$Ox{8/7OcM-R`pMHMfuϕYyf SF[w˨m5& QWUa@>6/m{m`ay+E;Gw|RJG",/5i+snjgb(ne ǴܔD}%jT9m|,@C <+(tҡHVlJ3C$rʼnauCgKǸ '}:) Q3".YM+ѣ? El=Ru4o׍kZy`xo&誠"\6BrQeϷ0ng_b^'mZw _^[ @ -%j [%Eɦ2ПߧȀ5/)[Jg"+ o+EkHgAxu=8ά3,#2\W2#KvG"[􂌘 sF"FyB)`Y9w$aיWM][V 5"@E^P/5q`| $IKmg]UCF4PDV Nj2|w1~b%kɼO$Be6s,l--~F1}[e3dTSaW /wfg(fmQzwUfNJ[f"9i\6)<؁tr2|<[2DFp7 5+"wX%~{tr b ;C{E02IMk<"|19wY[/aѷ͠$p6ĺj5bpgϋ#-$]*gY'qlFMTc¨ȒP.{9#;.T9T!/*".wz)hTMq4p: 'V_2f~q[5  N^l?FlNq(?{Gq2%A+t>LB׈>NɊQj.\r5XܥƒaFɻf'UBr4E e^_0)s '>xhx٤{6t _ڳYWDgi?)~Y(d>N0e&^vWƙ/!t?ǀMIzimċؒɥ+_-EWGz6#=$V!Í09(Z` raOvځR!vP&~b돡f{N70кYumm1^W6%ݻd T=ݨD_&(]K9NJ7AOü0i[˹kV1D%m{ XweauHxxh̾y|>FғyuVZD oԑeYv 69̴r5:!I{l'Oနt>i J5̘# -Ƈ("%fQ*AB6 ~:4"j]A|-uN-׃%muYeaPz4'8QliEb1 }3>(ΆJ?&ЋZ^EIG@i[EjǞҪ=CWfEKf KduֱAhMWNt796ylE ˭ A]j|Ph*kqFwٷ&f [t ֋e{ e lϫ15iS3"HrC(2uy?6Քbyg;= gUfy[*zJ2/)-"f1tO^SXFeKH4־u--3GsJׂ*z`PXu1YG_T;0Υa~a|@!Z8/yai/ S, =GuƢdȱ #tCVFV9N<o`縹SN 5O1zgA ~d>ԎP>r("wts k^BJJ-|%̊>X dS%<'VyP/ 5JG n{Ʀi9DGw̞»CdT+8[#I Ot3+} j0sqx$r%@!h^]i ̶=r@4n6Q,CZ<\oEnRB% h$D֗ =|qOgQ|5eI+T<GѲKP{a^EF򿓯QkC\+0QM ɿsQ Ry<^KEyǢh;J[6ϰ"љ1+֙`zu'ɚOg0ww^_X$ɠ -zh4pNG|{V Wq!E|ZyNciYs9N<`s >g1lmp-SE_65lGdx>ǯ)=ߥP} Qa qD1'wx/g`'8uKPƲU8v]Ӥi5ZS$IA |@#3pDt\Kp g88vU5~ h租]qZՑqz &R|; 8Nv ElL; O%C;\ \ʁjs?z!SixOD'W秊gQlv1e$7[ n%# {i(K?eCuh*%b@A9LݗkiiLXOJA<~ 4:R6i;.l\>[ >M3'~+,^6U|\ 1,]_2;l?xj_m<EK(VحM5켙si>Wck+?Y%; _q1l,Rӭ-cw`.Y&W'I?f'$ȋQQ h !fe=#-zE&#oB5E@ G8|+%FLH_@TDAfuěX_^U©z@X@4F6w zos\ǟp+PjZ#GkR<8;_Jo*0w*Ow'\QFI㔺t|B`rd+i:p:DU6D=g`Z 71ˀ7a-UC?s9!MAlŚMN 3(SBVW3AEӐ,]8~%SᚽT];$' Ӓo6 `߫G(Ę[lWZ yN870؍uW ®Kqo;=cGFTI(5 yP,A pC/Qeb+T$s/gaO,5B" &"(:҉~> gjDDŽ9QEo dGwdN/9aF3)qQC,\6~Ϳ6U/ &tGX$ºc/D٢C& pDwɗX-'F+_5ZRT43}mSaI 6j`@IXnW-#fc$âecϓM`)NE^tgk.z; h$k32oB\$dT-!+H͖Py] yB[>!NJҐT>wf51BS ƬzS"~eV+V9R:7{B5 hSuYWe~b*Xe, O:KљPzuHw1[.B:dGN-)!/Hmmc4d[$km E_oDŌ"_6Sy]!.}oIhI\&nAd@ F,ڮ-#Rň4qOZ|?[}H̪hH?`4RT5~b>،tNJ<;IUorqW~szZoXO g/U+dEdo~b+QA2` JUk!l!YS(|BS5VKPcab;5̀q K g=')p;+`EB5f樥R0I >8쇶J6=vY:t3TMa͈ x}[HԳJ"Gh JE)o ݲ9grfRޛx9q0 O 'JतHLoJϘ7>0؁A 3v&q46t)le}I\&?ւ0k]V]t B`D`.ȩ:&ASEڷdTBw׏qyq-1&S eǒG5ZQ@dn?0m .v;ZJN":fU3|s7şuRJ@dćY\Z~Hf# M 86ڕf`|'ʧQϞH8*}يx₌ 3u}dlGvYM6Ц! 8VuK<) Iy{Z~ؖj>.F<!rn;*FjCl]J~n f6CgZvk[(5?Y͍#αsh1DH-c:j\z,-sC9s;G3IEݠn7 ;p&3}*i&T?#q +岘gΨˆ$_7 *PhnҷHѢ!ؔU0x,]x V7rW/ql(r^H]8ר7Y7RڷeAmNλVABEg9 ؈kx[u+Ss'p:=|3vqH^ggF=/?NG y°04JU8q=SHF' ?'~1@rIKu;PX%&sZSeHbgy J"[w~IB 梐M1%Rm( F]v~ᗭ {SUZ nͿ$.w.Q?$۱Bs 9:U:1Ҝ[ z$]W dŷ_L lh&0͙<^xK-tF(u\+pa+,6^or%<{r딦oH,&@YۈEO D/Bm`L1H[((PYZ{5$G-eyovKݗb)hk̽\56 yL9&"|Gxrಋܿ.P3BA2qp$,* 4,#qJV짎9^Sf3'OAvz쑮%c`NG"dōhƷ,#hgouז@"@U@q8e ȃST )aKCyGl1#H*y4TЂ+'2\\%ssAXiKCgaFx^ck??6L5IT1.+jf<:nKuԭ 2R@0x+HGcMۖǒtPK7lOɊ%Blk/÷X(uϷI"_ψ>]JPg  Po#!rDu(Iq 58"$#u9WbP YՉ)7zߣW)HF/}Ú`]6x7Rv2j&VJhlB `tw/, W g!_"h]xy sGҌ0+(0]K[#iT=G61,;0bu3=23`(Ihs,x pBqy:`25$MT/;GGb DC1 &1Ѿ/24 ? dmmVь3PWpT}\L.9lE0ʪ[>:(\v4[ qxwJlN1 ȇ!QpK"<δi^R\6_f{S?&dHh% eRsVq†Em| ǢY->޹+;xHCOh`;]܉jRDuKxc[Nrnz&6t.1ߌ^e Zv i @&DBYK69\q \'AwO.{)\42WYPIWSXsيӎ2ר[ 64@U oZ}xϻ}p#n6T-;+k1Zf-@ Rю鯅Ge<4Z^3Ep&tMrp.@OӘ )ȳ" Q֜C;Y4ޘ}fe,"a)dC rc7p(X:>@V󵆯ѺW'兹&Jc&RcczaVD ,H%Ύ&x 83C *.XNH:hOko+E' 3JGK6/u NjS[Qb=؟G!Vd*v>jU)_NvyHF]594n-v%\|^ԠeLV\@r3z1Q+Ygr:uAtlZpG)ĐftgA48Ι#ߦo5A,[ hs+'J(Af3<hXp7|P8tƾSa2G`d7~ u\71'o?!J #!Er[Rּ73`y[v/~ T=snJ ]nfy~/.ڪL;/ RtXI9iGÆK@˛/ RŖɰàL(z6үhlA6߭yٖ XYLFF!ZiR۰^+jxCvO(M1ѽ+,bJ]ׅpNhg9zq87U ߨer/'[msf2qPt:)x8N}88w"LmIjMemCAHgoǝ# sASc8¸fnt&S\sI @$""BH5f(kNG/}wg䆯_Œ_ qjke)EX~}yAfd½7'~+"&n  :N^io'5wJP7ʰ63Qƨv$f7N Os\ , Iv jV q:z3@ )$?n )9~%78,T'q۞KvLUKؼ}+j=ž$=0[Lcs4yN$j4F:';5: ('<=q Δ!q&[xlivw'8\+qSI2zC=fs셾MVN_7黋9i8F<~u59|aĽ18Kr-ɰGGkVK0d)Z;֤ܐ9I4S, [:qxz Z{N&}B0^VgOno:c: 62+S8f׌#VpVj%\I"~B$2RD6Skv\8֤~;"O1Y0wo83SVlV:Ѻ5\&(zQk2H0M)],?zPE>.#f4,d~/B- [ , Aкj\qP& ԅIlqLn[MI@PT^ČFl=~p٩ hwCd㒖{iX]3\62O$7|ֳ!rˢ55iE9H_ɵA(i9 '0\Hp ?^aw 1L___](  gYZ7zXZִF! ,]ŗXiɟf^v5ݑYGKG&Œ%_QZ;Yux.Cjh~rDl Q[JEC$iLIeӭ7[&z].\8\oU%jbΨ7deAppglXte=cB۷ ط(֔縝ōF :Ϙs@},(RENԪK;]%m K?eݔ<TckVxK`(˜A*kWBf ( _v73 &]7t{Ð=<#gбgYZ7zXZִF! YLI]ŗXi%L&ʶ%W$a8RK4?Qؚ45b+&&?n𧷚ȳͤ>{äZc7P,ÏzZ2rL Bw{Y 9(Bc ugg/'X.~W׽s@>_ۅFq!a( [O'0ZR扱$v0_/!hfo@ғz9JwY.Io߂R?  5:f36 EXAGQd~'T$]4կuX`U!ܠ4|)_xL x %_!d(Az\m$P*G>„iQɧڪSj{9?w"ËVwתZW֤{?lz7P!s),T@þ(]{?mbmqB`` ^v L<اg:u,7;QTe[ٱ([e"Z |bX泖=B:[\%H[;kY *tueDbxtr[T`Q, 0T7U3"J fi]GX.  ' _27K*s(c2\/֘S\-p%SA`f#`x9&=SAЅ$=FHA! 5Ԑ!=Q}]~l"W-K$c[v SmqmR .3Z|#"H  $P_kˆ_ٽ|wZ^(jZ3?ng|1*ttk8] vO{#, 2L"yL3˒JlyLS? Sw1[osC2OOߥ %L} i_Kv To<*>Fd h)r#0sQaC˺ULjX ?Yz5NvjA i_s瓁xHFz}B{-#Sg OYQ0#X۶sФ͍_: wl6჈SxLFKli-E9*L}Pd8bPgcjL'~]S疀9];—uρj7r`NޖXp۰74-׻" oW/iHzHa9mvH)w >^U/Q/( aF<`ΘqyAܽŨdnIú|-".)l!jT:Rj̡M޼qDi=[NikVaVY_⑳,d\\.bK4rltyTKK}<P;?D!՟ #2[4"79K6ك]F0ƴW@INCJ%,|>xBN:hTz@Еgˊ^6 %=t漡g-roNd1uVxIg͝!JljxGilZTqAc7Hc9z?,5D̈C I@EbV)bd,əuP$c,mLpw5Oͽawu@-tO!YS'bS1Ս^4H^)+ӳ!ݚ:pN>}lO 쓈5F7%(<{2_SS\pPٸ֕ʝKd #n[ZrD!Ҷj,2Gv@[.Xm8rz4aprUH|.9R $889`d m*Fz.\)dJAkre}${cARu; *G󱡿-Jq#>s=azCgd/{>ˉ>ɔ^'Ʃ C5r6\䋨aGĀJ`fPbsKje86w jG1av\,,L[p{aEMyь~je^o 0ZQ=Y}aa O*_kN Uh%O!kI|'[Ӈɏ^>p֩Vcj˓́pc-zۡt!xl߫q I&F)!{ՎWW|9xW$;sdhv7ho]&`p)2nCU1=f%v0 SS/U3g'B"HI%}mH`c 5"^G A&qk uWPD&}R\ě kU||MoC{{*Yz蟚ߴ;3 z.K `7[h68[ͳ7'Lzpo&rSډ-滷d>`JFu+?4[s%@c~/u\*H>&R #`v%Ł&tb 6Z3p&~:3203O˿~v +.MvJl4eO.Cę,<\Hte ю8$[`#CJ9t(оAP +Z0[U(* u-F@SdH>3$B(f @wӗ#Aa gJxh89LbCELj! `Zukzzy:UI< rYr}S,_-5s C479j_L"]š >'KxyIzr)L0k*H)poxU4R*rkبIAїCY\9%TFMa''„ cWa~nO+:~86Mv|mV?v* j.!`x2ChGv>K:7E7 #XL' ]NnY? )?&O=LR4J7܄e}sΨ6GvpiPգl/#_y@H2pSV=]ӓjŕPk myr7P^^: 9lc L >9'1{&@E"3b!}.}]va eQ ~9}EbIbEA! Bz  =(ڙ+քK.5YR0P3{apT;gX; Ūڍ/Lxf M= [J8#X7L-CU`RAN dy>qyXA?YK5a5$"s.~UF3HPJ٦.HGGإ@BUL& }o06>-J^Qy)'y@ԟ9a`@(]hV'X(|qe/ }κy ϊ?$*ʤw(dz"0\)0 w-gChrˈfzq)LO^pK75Y+v/4Yev>>?Ů؋3pYcڻj0c[{O1Ő3'66 b:ͻ30:R+Ka$Fe0ADLU):3xGǶH&6f!ߔeľ*WJLsYydG!.}_y-~}0A2%3e qruP-[0@^XA6q @orEUDn`|ԕ9FČ[euLiJ I闦={;*btB]I 5"A7,Vqe"bInˀ:8&9"-P ÿh"t ),ǰuۻO=@n|E[@S@۷޽Ra fd,oM{hB>pq\X|rbn 屛+~1u^ϝ9j> 3X r###?;?g]>+c400HrET!پƚ ufXfLn'~YpϔShkYՇMb V1MfqħE>[@jV7բyjj46ڨb7bpoA/TUػ#&oy~fW (9z^tT1ʁL9xH8;n 7\R#C, $}̏ΐl-  ܾa_V6zw#mJ-$>A^5Q O*-ƸV"rK"wr@OZnE-魊ѯcc'ݤ f|RA]*iZaaih4GQ<:'jٕv U1v>#)Vş_ )s#~-O:LnhG ZD >|CV*! Ff;PR2U80h.||/$Z/[>ي"Op}TٵgBP-.<Mv֖Nj1V~8hxLʏZAjs[g\ن.`%]K\{De?X,9p \2zpN,sS9'1_{z3B 9dr,Jh!|',:'xO(1ZY]X n-l+Z1{W_r1;j` NvBEV $Հ5 dI'X?xD@#fYF!T6t*&H`1 \.f nu2 (_)s Xe9ɥݸߦJqV+1b)ړ;;\)뀵= .`ۇ*(4Q1ٝJv^9IR=RJa9Dq[݌Flٜ!bNg]qp6zIHdL][̈́ՠ}pսvwwOY MFƌ0: g$p5C^Lc0Yg~uҏ iʑ_AYqSɶ* .xTLJtc(/:I#"(dT1ʙ`.Rui瀋F,FcrQ!܏lhc*).J6?EW؄o'u7QHZ W{iXon`J*MjB<(2o8ȳXόo3JG6D{'DNv|=xQ4Ӭ>Pϣ (3$F|yzue44~д-+-pfwTL xɵ ' Dd;Y# -1rph en"*4%q캎y) PIN.78iWRrEW>ցLؕt.jcy=N);k2b cזLRڮ_ug^Pѐ6<y)|"ڹA)M/j!r.JلxW Jq2Ak֪(9w?uWit`O"ebuA hqI#2$oN7H VJ}X؀mUym'FLiTɈlj- &3BTwg{)R qWߦP 꺬 $vDjҔՎJVH:h b^dÐU̫ TA כn$x8;> F(jk6&p.ᜉ0E\d%:6_ ܡ.[x!jn[-1Q`%(SP}y?m5ڌ!INZ篍!)7mz6q A҄N:+ܢ2Kz:lzeSJE~I[#X;FStV"Fԟ!kXĎ1$$$p-q{GuڲR| 郮%&1Э$2Ҿ[,,縯YCإ߾/}u^?;_ T;`4ID(HPU.rEuK#S@8=:9[>:SọI!IުQ 2b` Vaޗ e#bCD\P{kmہ2]h>r5&fȿ-58ɜ!|S?X+ڏ-PS q^ #qi`],ؘ'. dԋo^i(̏/f=jF^+U޶(`|ȅhT)4j7^C7I3K$$T}!Uk6pN+b J$OxjBD~zٝ3BJvY2NNKE5G fȡ@Y 4`v{toٰٛ5ꄲ \dc#$eAB@CNӞUaq)~)/%$bX?1 *&Ljrj_:rS 1@K 똑a_aS4wup,̸ѡ{8 AqjKKAVYnZXI=rOh9K3-o,kҼw9BaehsYS;H|CBsT?ÄTg9 !-06˶vh`x7XHfh5dsΦbCq-۬=5Y ZT46sɡWEєX Bȶgxng#Cx~@5dp9D}OÕk.$1dfjDa'ū3&`2ſ9LyγyevV7u4hVŵ8Nմ;n`/9/[VC8F Bհ\s vyKUj bF)#B0JpJ" +Mj^6C?:")Vς/f: M5h! $J ƴ:tbXSB25 "R4mVsRZJp_m+:#CEԔHr'QO雷=b&x$YC?jSΘ"xu:8(r|^Wx:~gu[xq:n :wXSmrU 6;GEz7nLrL5Kpz~4["n5y4(7ৗwn^j}%O჌,,`]8W>7nPy;qE G. =l$vTɦ΄W֘-Hdz6 ŷC(}C=O<c鮼0UY3v=ȗhB[[F  ߲JJiiUIjh1JR]֪X}Ǖ?o>^VnQ?Ï9M*!r7LѸD+D7e6MB/woTB,H! e 0GuN_n8H; !PR2&-Ѝ ho^9$H!B{rf &(rr|G077 H u"̨OaPƥI$%^8?dk䃪`㿞Hd+쐤 fyۼrY mS"!0r!X<rT+\/1WPW 4A(OzHx ߺC.1ΠZ$ԊV]ZWfl[-4pgg/#-9UQ⃟HT}^P!6 1'MUꗦ"G73=Qc Sj[;Zs |@j^s ̳}v"W1%zjj期/,vSVF?{˯zp97jh!=OepaHI({c+nҢ!9i}oN)&szr~y赗Av)/ҒR`Xfxf,,cz7}Bm\g^ζ^,%.8n_s?rّPzQMVESp45]>XnDp˸1ɉz_X͝gqD?"{~{ D)~~؞e|fW %jVA Hy8ޮ|1Pc6w: Wx5xʼn.a/1WeE $ ;݉ غD?gQp ~+&Y 7inLZةÑjr3M))H}D=kpDRk ^32T2k"F)?ZΏc$TV11+(( ĂCp]ky n]YLr݂"f4n cF#ԭZEoA&{R~R*kzU`IqTo)eȵH{:fPVZaITѦ۞G+$qIw*RCwOɿjTp$ Ԓs]0kG uď';.bQ t5OGq@r)!*bQEaa!O AֳMZlU|0q{*L,MT KkV$,[Y4{N^Ta ],B6-tוHYE3?A~>׿!~F1E5Gw1}ݯP85 N߻zmfls 9d˴d:9'=s|!vkY;D qI\@5C]QhcYk4;/fRHX г :4+Lԙ-C7 G{~t w3HwB#]Np:xv]X-L0/FSjWo!Ή<r2_ݐ+6zR72hʲYn ]tZB-9J6$FZA^H67Kldm }hv* W} d N$VߒSL 2uzkL2r,+ 7W$WnNGvEB!~=O KV93x*]E %uRc{ Hat1y1Hc;C=@oކ'(QZXufL+˥O>|&N_zUsz:ߗZڭu=jY&y?_ @iEoSe×M)0d7fNcaRuvn`A$tٌ $ngyav:Rq㰷>{ѡ8 Q\8':r?!cѫ=_%ŅP^oWL/Db0-c77u7)MՔm?xXX_;];)d[Xo ;w2qsNK+$3vgYڻtLa 'rΞax*!hUr!x΂D܉eoݵu%Öjh~Ӕ-Be]]F'S]^7Mm:E2yA_hE"29&`ooYs[H72;E'`uI2-̬|_[?Iy_d ٣FRӘ@)EqO e@Xrv4=UY\@*|*P <""(TDL;l?$p4}!WD8_E}q]WȫJ {?$>J[qsQq(TBQ֤oeuLג歴zJ )J}*mR IUȒ*y]z%)-pxxjKY>$_&[&4!5r'ZUK|r;M{EZ:tpH)V XFDV/Qu%T;qٕJQ[\gmKNQr9;ؽu ֝YY1T.6S~Q3 X^jA[D`ҤwM}-p)md\ɬJ_V/ŊT4σ:FYa>oMq$#AOv*9pT9Ttw  Ec` { z$/ ~C'#4=ZXS7w;7?4)DKBm4|lMl`]-k4kR*7HKf5LBA$%IJ;QDo=FH.KL[*謮Rp>D2J2}_pi @e޸GVyLsNC%vG'D}B3bYq2l] }!"¿/U:v⊏UJAa%{`4m/ׯW;v<3 EmS?_RTwyCXaTѣqaAv]n7YHH3 ,O53yKoXtdz0*9]I+m!€4maJ3\Ibh[y",AwY@ECENaW`Ym4{`Ч--@yl!joHq4C&U-rŠ4!QDσ$7 c ^z'T3jX#Z̭g6t)Qj'xwwb5KruWuצxZ5pNJxŘEeb\T~^ qBESKl,ִL <"8SGh韭4{IZtb/ʡ7Zٱ~=;>sҥ_I }[E:ޅJV0-2<>;(ߧ̈́@T,] NΙp<:@FH~t~~AU}U2 1/pPD| Imuρ+] T:3TJKhR/c%6HЈuץ̓%%L&ͲKgYZe0ecf0ff83e15e1745dce3d78e1fd063e1e5558b9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 9162c9183281942654bb6ed6ea624a97bfff6718 d459a46adda1276390a700107e64b81dcceb5599