SQLite format 3@ + .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  9~l<4 ] HOL-Datatype_Benchmark:threads=6elapsed=535.360cpu=1915.321gc=787.9357zXZִF! 4m]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;3=llMP0WWin2 R9x}vM]-M:̱'T#H!Ѧ_#eʁU>a3tHn%S nbQhot-Qb>Yô|AP$?R_ 9;XFQS#XUWMbc}ZPVNv5{1]8 "K >Z,T|1rq>oDPsvՅ]XEm #R˩οGҸxVV[$3I9FMIܫ Yص @ 'YeںqR7i2_ّEcӢu(~gdlq$R㐲V8k!ٔ6 O{oIUMHtHQSҨa,Ns`*x5_0P?Ch4 =j%6X)̘)wb9kP ydx.^J.2D9y^mGҨt"kx}1u'}H_L(f>[0u״8wwa\QZ+>ꞙJ|vx=ЈB{ H#.~W$}dZ=y _KJ@ʖ1Qy%feנ.lYvT ןܰCA-h0}wcQp]qm]w}ˣbEGlG$ D}hWAy5rH*L[߲ϖ/8Ⱥmd=LTA l>=ןK ĺn=T @ hA6B/kk`O^=XL< XdG$SQq4V֡~hlK%k.2O*H<dw42Ur/WR(ª C翈;?j0_[s򧋼^ҭ2.j ou\>SސTbȫ!BusPvY`(Y֤W+ŅAPO֥LDʇ<`pԪ` Scšc34ː4zAmc{2H6#]VqqeI̫ 2`wHigcU3>a~U[˝{6q# 9Tѓ>YiZ~Ek&&D<KT.=uVHձ@RKҤ\[UA}uNgݼ_B4^('8]}9愹\݂_uhik늸Ep/+SL9d?v8DGA,my/:LG-*78.TߊITU@C0xgX 'jAvFjL~RCd%*0FD;6Lf1 1g'$Bݓ8cG# DO u3ui7~_QT"K|-_+3kS$>#6f v/e[ܧEK"l짵\2y`eV?лvCrwdPO1l|}0MYD{]<9ntO?AOF;TJs{nz{ (Qzea6.|gL1] Wn=iz{_!%taghF.6LxVQ2wqǻY;{ZwZkt_FߚzyܲLbݥɂ4ik鶀b]>2aي{(J̣Y,-HRf)Mt6CYv'IRӽz;H0|[&T_OE aZ[uy ^8V= ,ਁ,;M2P ˙{s婮9._Q)G% #d|;Gwnc&FOB K9T; ZI"*΢1fKQaT g(U7R69n]묉Y R̐4~,>_6I_?J@y]湳e3GyWS"EX0" u;(_`N l' AiyݖK0.8Kj;:ax)*2PP|K8(Zb5ʗa8ޣtY6<88P:Fw4E;uJ5y;`aُӏ+W$^-MG#HukvS _2]$[vWva93 2김 %M 1,uUм>CSf.#ÏSe-xnRZ^Gbn,]u4SZ__ F{p‚tLZa1~4E٠]|ıDF`qf +> I 0?H78 t%9>M$}O[v߆T:s8#?q?+᫬vEՙ9{,c {QN]L>/W谺Ջpj> !J[ ZiRɜaJ[2OM=zUҨP#0P@Jx]q 5>{JaĈ׾4Y%^R\'!&Ăh O}Kqج:&=͚.W6 ax*}*D$k[G0ϑLM7a N0T~X8@E H\'W8NeҤ;keOiB+7Daa|DzV-)@M"@ Žu\Gbt+XH:HN+^5d8uEkǓ ("0l^0ݓ|JH8ewt;r#KSݤ4쓧^4&zP)w2&TE8 i l2BB!P`TfHj"aQetV#떏ɑ(˫M /P-C^ym3$Pӳ:X12wρX4 Mul'o//>2*>g 30eZ? $TsN?*wKΆWfxSH?x"GCC,q8H; CAsU7 yNQA\c}bsΑ㷢.Wj=#h*5p Nv~a+.}jϚ Cux4:ZЏ5<+zg.Օ. 0|Cl΍B5ws?p$mҘߊʀ£c1rJw閵s+0Ș_%Gqǩ%2U<)wr3]]LthL-Lw8g󙓑hq14OoG{x[Aמݞ%7?[xh6v(ijQɮ8mr\cl_.5& Y.gn*HAE3X?lj%cGJB2 l opW!Aѓ(XT +^$Y!d-){g\x@LjW@zx:âU[-k)uk#} & | 5aaEu`"'؞-M_GpfZ{J^fN?0y:I<< zց6GotCXyi|uc>NnoZeJ`{T8?T:C 2{^᫮!`X_dgj5Ra)]sI~2O-@)iԗ^ʘL*㝲zc#r@Ҧf2U_Ckn3w97Sft [o) xI~ǒWY9` '2%$(ARinTjisG>5ыuOjNd5ԶJ8 }1lG8|krV(XAY:$dvU$ڢ}4k8} g]k;& 0y/=;d¤FH?FqjB=Er%+됾&n4ɀFM ~`ԕL{˟S_6J/؟H"[L_n Z۶񨻯9gǂiZRS_%V]oձ.9@q#P 'cj:r- qx]r(ygOF,O!p%v~s܂Dۄ, Y(VI r-yߪc6O'‰&nqMh)-%3@'p GRކL|5u'oKk.!6+vc ny>|$5-bVSs׿Tm|vas@H_wsؚܱ D!r֡ ۯ@_^./3MxdO!+뻶5J|1~"}čN4>'q ZJ`;W#Tymw~x5LЫF*ΫS=oIOԥ~Ҟ^rW)S Í0YyA_g;%`ܞ+E/Q;EKlSPkUo 6uOV%QfjպziOÌH!\U\ dx" v Q;w%emicBԗnq~%C= gOVD&),،۳JA gɹ\_x SYJ ք)wk1Gϳ3qsox]ۧC-= +"IeȋpG Kiǹ%m+ +%ywRo?%[E#VB\AC{ 1/H]Ƨ.ЎIǕ>b8 ק*?aCnŀ|Bv 0XP1Vd7U6B68r?/9ZFҞ;@燶*Puhu͒ ߶n[i_"QY{DTt )\kqQ#&/⎗QF\2Jڱ{7qbOz`mQ0C=LqSx(Y;t_y g۰Nюg?{xZDwy 4#-<7F͊,7;Kh-WLK{`zj/DzZBS)D]&/לah= It>j?H34,xڪlR ؛Єű1:ml:O3өx()(\T/X/PG-?ϛgFi9uw߱+NV$tQ{9c^!iq o6> >6]}t֤ہvcn8!h6YN/l׋#*kɲ,*Q9 Ʈ^NRMI \HkQa 8$Kr"et8tFnJ 5(cR'`2la+iݺu`H}=pLZT~'`Hܘ97SR;4o9kN(K 0%p^6lt^ ۴`2W uΎ2k_zYRjF6Q9u|/ˇlZ!E4 4Md?Xʣ~U vOoa;Q6v,5d)* n]d<ܔT~z`" [>iI\pɅ ^S.׬cš;+~"Rm(x /Z` &T\qXOcPGf0;/x&K4U1c:M ~X-Uy>J+^% jVM~6m 腿ә tBrLqdȊ폁EhT䅁ȿJw,wx" s?0\X,$/sN1ݒ(XG7YWm|nλzWsփ7ˆn"RnV=@f\*W"?utqy܃LQ@ga)}jyOHZZP6^#{Xg2"_"kPm9nsY{GXr3=罘aq)3L J8-͊>`hw#upe3Bdk"iR|aELX6#8?n( +_č[PqzKf{`m|u 95$NШ!INn@;B+G-k.DF1I*83.sez-`1 59qOn~^ GP`޼7o;c+4.йLsD;ؒ51clBͫ|o;hRJ 5jXO'eV7潣>lXpYQ/@F;Ixi|EB[^!HI G;4N!40C*\( ҎEPUpĆp5jI*@FGOU'Mt$b_E 0>!&[Wf~qXi_%z((T.iy֮4b D \uDDObvbR2՗"k&%>Q :ɥR>(%WZ:AؖJf <{:Yϥ?k1|$ُ5%8䒖݌Z'ٖ %RZޟ'MևpE=fO!Enn>*JřEŠBZ( |0EБf,PjL~j=X$'7)8~UBnQPd0bW@/烐/igּf^AA>Km{ +y{}3iUXLHh.t PVxP8%9n]HK0Gn\+^Ma`p  s0}.(i.:Naa~nG=G:{}EZ F_{"fJN1'&" O;֨Ф +p_zV1|뗉\7QE:*nݳUiWV9=؟ nucpCcSl8ZWF0_?}acQu_ Rgr?ojNE?N?HVɵC{2 ?|d > gRtW(]Fx򂅍}徑2mjkXŌI Agte"=NLnE{f5j[f\l:~o2.}UvG$3VMeB׃&8wF򻹋l8~t>hP?Σ-te&[dWbXF'; 7H697HzglrOT\4 "cez wpi_{y&xJicYD€DWh806r*=ꀡAT::SeEuH ֫kL76gSԘtboߜwX3 薰"1)*(ҒsWv-С)q߂ pK)oXNW74WL.6,Q_#UFa3'^Wk1;;0v1a&%5UI7zd.K!JVJUQ+o1@hS3۟CT]J5bn03)Ktz2Ol=ҫo0'ܿѨU<+Q`* jjes?eH50{-f0n \_12R[8Ņo!=z3,%+i~犫HBP Jb ˲*ayBs<ez)x*qNHJ| W[E>I=ƭ52kf#*0UUyoTze}dI" yw?L(@} ,[& F$8AϕN_c!X-g,ϤOr!J&}P5F __\1kL5UIzQ/i6Y+$|,,L,~`ѐT[Vtc% queD"AdVarOM nsa/&Cui=}7FIC :ܰo>B~af@ W9lC[p۵:݊4_. 9W 2\%I*6!Ja=vdZ3y^8ںwLXBD9lQFDlSG}0-xo*=[Hep4vyOvtUָOG Tz*O#c;dM!GNH[, s QΏ;0/;i ~_su<Ӡ2`Է:Y83fϖ͗պaQZRaNT ~NuH6d}J]imY7wA>4r_Iih!7]M3HK>t*OQu-LqjQrxCǮ"R#Xo}B#l_9`dIR-#H1@̈́$.WBU"HI?lE˥!i7O.,J9MXcOIސDJCh{UZ EYk-nա:=!袓uvD泦ϟǬ`x˫~u=ݧGw XWyx!ۄ"< EO*w#ո<-FZwB.)f+ͽ2㞠5F"6c}]K AREy{[^P-L_S3ɥGl|#-)ku^bB扼sIF__684J]4,{r).$?_bK|7L}M"gRA᥾vA׾czߴ4 Vv6Ŭ)x]PIUD ҩs^QRM9X]Ji2 s% 8]R`[9$uPijP?B˻կD<,@3Nm ≖U I?ސ,C[zfd/+ȤOwMi* u8U`qAVt?Kƒ˙vf[YQ?ke gji5 S~{;>f9,~HH ovnrAXLK}lRX.3JYg0.5%dƚz~a*aB„Q!Ϫ)ۜ(3H]lh e.Χ[t'~aׁAw%p Z{SjHDHv?Ȑh:&߸%.&,$RXNINl࿅ry8 K+?.+@uyJ%mM $oZUAѿ!Yre]UݶHR#P%',!,]qH^kɼαgYZ [["9I) Ns`*x5_0P?Ch4 =j%6X)̘)wb9kP ydx.^J.2D9y^mGҨt"kx}1u'}H_L(f>[0u״8wwa\QZ+>ꞙJ|vx=ЈB{ H#.~W$}dZ=y _KJ@ʖ1Qy%feנ.lYvT ןܰCA-h0}wcQp]qm]w}ˣbEGlG$ D}hWAy5rH*L[߲ϖ/8Ⱥmd=LTA l>=ןK ĺn=T @ hA6B/kk`O^=XL< XdG$SQq4V֡~hlK%k.2O*H<dw42Ur/WR(ª C翈;?j0_[s򧋼^ҭ2.j ou\>SސTbȫ!BusPvY`(Y֤W+ŅAPO֥LDʇ<`pԪ` Scšc34ː4zAmc{2H6#]VqqeI̫ 2`wHigcU3>a~U[˝{6q# 9Tѓ>YiZ~Ek&&D<KT.=uVHձ@RKҤ\[UA}uNgݼ_B4^('8]}9愹\݂_uhik늸Ep/+SL9d?v8DGA,my/:LG-*78.TߊITU@C0xgX 'jAvFjL~RCd%*0FD;6Lf1 1g'$Bݓ8cG# DO u3ui7~_QT"K|-_+3kS$>#6f v/e[ܧEK"l짵\2y`eV?лvCrwdPO1l|}0MYD{]<9ntO?AOF;TJs{nz{ (Qzea6.|gL1] Wn=iz{_!%taghF.6LxVQ2wqǻY;{ZwZkt_FߚzyܲLbݥɂ4ik鶀b]>2aي{(J̣Y,-HRf)Mt6CYv'IRӽz;H0|[&T_OE aZ[uy ^8V= ,ਁ,;M2P ˙{s婮9._Q)G% #d|;Gwnc&FOB K9T; ZI"*΢1fKQa -"UhW ݊:Fww^At7pwIqN lĊBaΓ_0jbRcs] rr͠dwpmF~QpclN #\-;Auotetj97PWܩ),*D N*[{[~, }_P눌"x:^+)fڦuۖR<ۥK>X+"P‚iWTy:ǏECDɇB~ZeQt#ycQ>RaW|G- !p8d |3 FHHZN0Ჽ+ GPﯼ Mia> Ձ(&6J1Ap vK($$Iv~xkb?煆^,T#'!}E^IUsl=`nO4U8!+*X? _ AM6c^x'טY䡃vbʒdԄK3.Gf1JثU g~~1 s)bf+Qi`i--Nʻ y1L$% 8UȎ`ͪavH @}(va)RЁOߧyB_l1M>H~+-:ATNF9w/)Y!ktP6QPj'%-Q{ĥ_"?#OUC/tDڧ5xtn%Egh밫wy\o: :iGuAn^釛% 碂>x?RVemjaGVE6L4'ˠȤyPm8-iMr1ۺ~JK7ؿ@lHհ [c6{foIdaGO褞~N,'\wq:?pȐ3Ƀߌ8ш 'gGۯTn#f鞊suFwZx@^vtor2pۍY_ Ew (6KHX ΆJ"šϯX3j9GЃ-Vh(a57[ϜI&mXPXz]:4?U:4玿h3CI]â 17DŽZ; =V iF^ "-xZ|Du)W?c͠s&w֟d kWTJ1(8+PK J~PiTxӴnlv3/R_hUp$ ;䮌܂J=/iǐZ҈B<9wA|J;@AC~M"lje~7,ѕZJW?u-fh<'<%g[i;WRl\g tҜ^~VCD-ZgXcoM#(P75~WٺBh-f(@)`hF~ALWl{Y֥*O"zHGU\~^1ȅ/4/O@pJ_tKtGZe´lN$M20 Ф*Xh*7uՒ7?dj-h'hۄ}EѕJ&  -h!,ڥvכn?E5/ sNR׹\;⢳ :"6$$1Dq+%m( PMq-6C9–) Rc=b8X't3tJ2R0dnuWs]Ϯk9=|7 iNF.4>C]Oxk[i"iAqW U E΋u۾PC*ȧH](R^G}lnGޙ\ [ìmHg(^$>`ş+48j6de+- 9eys{1"L/[Z5^᯾ j{|A9z>5"<CLK*'} g2<a^u`ƓDf8.8=Z9~% %;4oyzS\J}@L3SQ3\k`ryyQgK;x /-[ĞPeDŋXЦ4@ੑ<³`W%ν¾_[3u"e70#ybl<;߱Z~[7; P!JJgj]ݬ^Y3ʷځfd $aE:-{թ⯊R^lҌ| T\,B 28m"L}!]JP6.\JB;:>H&D*,2:Oov~dPV QnMXڵ vQ.:6 eKkk8F+Spjx2btH%$WUCI>adNٳ&ظJ eY~ޟ! HCqJ ~ke\ӑխ-B+kOL\h쮔A^pDc^C"z76I# wXm/+ Lb-^%Wu(p s`!4Zk[(Ε?>+rfRRSs}|,/@yy:6+3qVQ#e5'ZcV&gǛ-QI6ebZ|+iXLЬttoI_p `oq1ܜ \&EtyPt.>Qa[$3CfRD&Ԕ,u6%8Ua4J.T.'1|hyWؙzQJE΍{ѣ]h=_#p78IMāa$HV"tpz%xk9+h>F<6gΠm:1nȫ8.|Km<=q;Nqs-Q d)*\į-b#n @P{v}5DBR?1V8, $_Lf^k ;8#m^ 8绢@נGuu~XF;Ilk7 +F^a#mХ9T/,*xăI$:eZ1AYAFXRħy|^Ax}(?_Lz]_n`lxSy:~*Y{J-uB'ƿ7Z, sbdhF x3gGBk릒5^ S%|^eXʭ敬\\5߭CnF<l|ѕl/?f fH0͏+/G< VIc7*zQX5r܇@?v_$0⢶$;l(Lq\d4 +-I2JB*Yn⋗LR74Z 9;\qh9-86v/l5s&ֲ`8eRN%7嘫MY)yӠ`=noVRAί۟CV M; TdPwi!ū'fwo fdžN:g<(4nčr_{V[֓^)~+}b8 se1e\ c*F0lϸJ Y@5fd% &zցJoZ :auZCuߌdd+x)>]'~l!|¦^g9?@'83&XOVYW*4Z*'W`zUxj{wZڧ1r-ei"S.6Z \B{Trz~p29Vsj53%œLB>1N f<' V~8F%SI7_Pʗi2#t@*!MM]!r^ُ-ՊU}M"8lbjWO-r31{H_X> GFDIN\Ͷ!!W*PslX*sFq)Fz w~R}K, nsJYSӑdL];IWs0 {^_m^A},ɸ<ƚlI+A\g-рx{lɈ ?PeUdT "./".!Zl26UH=?M^'-DC<\O~6Yc6PGM|Nl_i ",%zVb/oKVv.g X/9jhÌ،`ȳXSb :lTf6o@.0*c>L?@Rh8Oõ91Du)&Eۺݿ?H4:v:_ܬC)S /Cv4 /VA*S l}q?^~7if)5+%W{O>|(~wٴ7-PrRk=ZxR0LLІ‚724lh*r[֫k oC薮LPQ٠&t8!|Z.~N~\6Pgh_vmFRq)n#T# y#{wW4:bvL^(#B湪JWsdI~l7(VNG$T8k70SZW ͻ\:ؙ 8$,ǣěxr{!nf>d%5/Tz_l7IPGiJ~\W #O6frL7,&+oiJ&/3m Q |be\ö+N;81mMvbt T0=M0헒~{T68Lsm Gt2LOF03uŸ=pihe^yh3x1at; j  Xj w1=9Tvm!&%n1OnR\?D%?51e<M\ !qSܕf[s&eҩe;#/Ң>j:r-ӔQZLː{Z4[uP3/o~:ĖS)x!OM>$5 gmh`gvq,ʘa ,yxG=tz-99 FQ8&GI&q L']eOZ(}lCx 1FOVր 6@"~ z1n rͻ'6ïk!- fsll)ueZ+;];Nw==dBB&BQ X,'`VaoK/{8KFrSj=qxXKoNWC՞cf[da@S_+XiO+q3Z@?U.z{PΆoo]DDx~coۃ`y>*L&ڙ,}8aK aa߼\hUf[Y"uz T k.o3BW;a%iرM8[1pstPٙK 3 #d"~؊=(i>[/mЋ*{3;ljLC?ə}}0BܓFTJ=RQLhI|[ @?((R/& ;.ܶrA0؇TU)i[w* #}sM9Oìp+^70SPfHABRUYa'/h+~_ (;cM-'ϲkoδU9s䘫y/D}`B0_]"έl~T"HWlxrQ*ژ<gţt7aĘrbq@|Eq?pvѨ,BBt[ !Pќ(9?W=W\kn:)@w3ʟZigW6B-aOTvȾt+8? q8- iMO+1Nc`,MMR>+ G!.?΋3 E.]T9DPR#,;1wVд6LĒ_(cg7sC8 OA^u Ksa2TvOZ9I"h/\kFyS%?L aƌ<)0R+KPuF>ƀjHtYo/њ[L!W8fIP qKif5@aٖMnSJtO6/pVʿ{z3DHWGs\5/k>~DlaT~`ײ,ϝ_ 9fُa< n)lEߚSƬGYL tkz]v/?CjjguXsG"B(Ī:JЖ]}ћ=@'RiZmXX" v',j\]#t,;݄L. 赆 Äk!-ef0?a:UrKVxZξ9u"I1 6ģ"*=#ӫJNH@I)U3% QuO[IBHWuvZ+q(w9c+htp}37ѷMLsiW? )ӕkվs{K56eK߻LDSNVSj N[J~;5ņsP|Ǒ Q$ ש%!cdtP L@>wm+5Ht7((9ŕ+5~ah==B $~5.n "01}_QqW(ER _Ahc˱+c|H.9WlNDQ [nzECSomHTƯl󞓭tt \L? ME~(Yu(gW`ؠ(VUp,Oyrs-+b7';gZb?gB﹒+|kBa`B=DdvêXWvr1ڀpʬ-!᝷d]ЊAo,=&a4L6bC=?}Yu(41ԟܷcQB'@g^cȞxB7Fye Gmv# E$zd Fg,~a~ݘ=߲L~/e)1ttZ&݀X˖BrMf:D9;AuahoL4Vl$Aĺymk TͶef~%?( R"cMڮ-)xdT`>hr2mp]FSMߍWl,oVkF^N,]%7w(csH]q{=YТiE~fNCJih1y m IEg5}m y:KW(Ejg953]]GX`W8~Qh%|.} #8%~WQ܅!u3zoݏK 4z$NJ.ONna9t++cT $WH/ KRC 5>,nz:jqyʬ\xvdKP {2 $f~+|O|HQH'P9~uB[ <~P$v|Z2DŽ Cj"T_3%dV*0V|L=oԁyjmHߚt~ G .K8a8,N9xwsK+- ǧq ܢ|>gk굟' (jSll$TX~ؑ >Cz,M=/ 'b=R_H+tw1O,4ƫzvRf3ƛc]64tt44cpء.Xd찄qkߏ 'K&53jITUN< T6_;a iPC7M xv#ΑH&O/pJ_;JoYUyܗ6%ҸK.΀Ba p|Y[ :,A'i׋n=A KZq9; F'p1_ /O.BS|(P8oݝ]c2o`w{tK {TO|="Ybh`\hZEö&]Q=M1mAHMxj[\i e؛ yqUCc^Hǥ"BKep'D(]rh@1*98!xXRGj w-EP Mm'8Og)dK7,!,,(}JOb xbUWm] N˃7@K(@`m'pÊJ3bX:{Aɮ;~Bq}8 |cvkokBo ~=-;l)];y+iTi/撲67{o ' }ccec<ˬn!HJQF맟MR SBI Zglf \h&3:s+TG*^oWgSOɱ]u 6&}Tk2K-4KjsMpPX`g?r-R\gqmK! KL{.FAũČ?]ߑ[Z6?v>`j?߈'a>scg,˪o | c9m1J2`ժݭ!4 Y33>S0Dr^ƁmMJ?inM*r ^D}՝fyhMѾI'i1\hH,v,|Et4 {|vJfEX*e;kF6Y3`emt1cnĥ,& / @ 9O88Zvi} =4N\$'S=.[dlhzH97_s|0Y9Jǻ~oy!z1 9F9ߘALŎC7a\Y'u&V]zơxۉ,|[BgE/Pz=B՜lqUcmOɹE }4)pdRxzSc~-F3r^HuHqѭ-|Ļt\#1Ni{m$į=@f:|/:x!J0\S~CyN`}N!,z CѲp1R#_J5MfY/*yB^>|,GD$ Qݭ;Rx@/33 a1Y{ v X5Sr= x?E9s 25zq<$U;9U&S҅\$::>] oϝvAC ''뵐7}lGKYVdMڃY=! .k~@ ;C}RJY20޾|q 1:o^0[/#nB$/eiM֭`(OYǪƞ| ^~pOxf>CD7B4mL;m\y.fuD G{*ku_ BŒG+`]_AX ]|ELv9SU(v/a'7֥&JsJg Fef2V{)AFt@4^|ڏn+D\3.NYS-Nzk1Q`xV78Q{)>OeP;JI ,eɭd,`g-n\v/,vBxl> &hVBykf Tl2Ӽ.ѕ-5l{U6JS>95T\ֶ{dߋU6oLCts A'%e3oUL:S/yT 5+:*jJ^ߘDQf8J^ 60'.| F@`ZY}RenGAU箙Թj̝τ)T1d\ÒS:8Ww4POs\:@]kmV9R3؏IW3xe/-*cNmAq *ϗ8 a`?)-uG^ iǂE oD›GN卖n̽yTACpA{"ܘ^p{ƬӔ^kK$< aH2j#@sNoNMBcB=t vKLK_Pr}̓RI8fOcLxDu've{0 yJ3ty%KT[cb,vSeznnm\ӎ($Tg8'2 c0:-\3uClϲp~qz%G\Gy$Š~lך"v5lZJ=J7<״C9[; |4G!I~$}j"f:qyJwJb,n|}\Q0 f(@勽ِ"ϱ>[V0Jk惙# ]hd؍ )+ǞCL(LX%iX_2X; &jM=:0.sMyoe QcɹD+6c Pe}KFRUuLd tac)\k bCk3[a5}¯qN;}<bk?@uLc}zQّaNV wI:naYũœЯѐ{\yw ~kavT+=Q#vE#n V7yO K rS}G5Z7hosD6cQWQ@'^lʥUGf<)}kH-x87M/'TaӒB~>< *5Q'J|M9 Bki?V^ص Vj3cayKfiZɣ_̮'a6,kX1dcYULU[ָkc ӿhGYd"rnٰc9Gy}̰Zҽ ӎ.t;^G~UwF%GX4v$&[Z򋸛-*]Ҹ|qfg#TrRNNV y%oo5pwZ2ó:S9Ê~5u@~\ۈުMV|aã"q׼' :z1Mjb6x)53Be5)*}o? RΡ+o :p!gy<~*4RY@2!vXټM Bφљf7'C[@Hl[)eκ/nHA䣖{.ѭ|B6X3qeW;t+%Slޚ'B G5op^e|udA.7y ӱ'ܿ}1>~V d|R1V_N)ӿM#O&X DYO,pH&wu,`V)?ůA6l_*8Yv9Nvw$:%c%ua 1ZCO ;ed5Hnڿ؄U8m+47pun{Pc 0]ʝ;D?mV(EӜ|C8UEI?I4K?#+ Y &anǓB+a\vr.Eɶ0c,x=Og^}CHY̠ <+L2"UʼnKs6ӭJu yFbiAG_E&2ϰ0DJa9M^2N]wT6Hib-)|(՚䓵UEPK\I߫Wk@3+ReQ{[Iz{ieK1-V[|#۵)=V(zSϻfmۯo+ `|&V0Zc|mܕfzߠ!a"㝮a\Sdlܩ9AzFeYQ~ HU)x9 ;*G!GA-_zyG;cD@*~y뉵p >n0?K !P.\[Uτpx*TQ- K"%MU?ed~!P͜I`h:yFK)͇dM:|]9Is"N}FBY,p)~uUs %/jĊȖԶ?fjҫ@RvPmluلs'y\&)TÝ?QV9g_S?ӊK4p(v8sȲ8Q ^U j@#Z.W ykLR%JSܬ#aݪ9F7>5#q@!ޤxZ\At-d0sjHDH>֓R:͊Q!A5PK~A_9oQ;VMԩ}rYXt.B&7vr\Q;sy~]O kq752i |؛ۋ8eЕo^o T)"ةΝ,:"%{Z9l[6 %nX ݌8΅ {Éڂ%JJNK9Vl Hwhi)bk.ļD!bW!9 )_R!El"mSr于yT{!oפhZA姖3&?qT"O(m/#+Ca= AyC!bvh(Cg3P "vs$0gIgLܲݙR-wm D0'MLJ,c1ۻpQoC ӯW&k/;Gme|d$bgA j{nQFe ȳQPŸAڡq} V|W+.oX2<51oGxFzΚ4 fbih:O?,3j(;3^EW& ѼP"F>("ZmT) =^_U7oN]`&fJ(ʎ8A`r p[6ˌ(}[kl@lhNH:.,w w51 `Z 1/<>V\٬3D g=_ud2Zb+:5_d[MV嶆BGfIFWE^è5t-gU~ gc1 9v](3Dճꄨ VYf=-B"A"æF~LpRDF79}y9iR%bGXP0/lehYɷT'Hy*p^y=K2gL:L-{2+V2*Lu.*vhgq+8'z|ZpzUiR=(;Y).4PgO*ڨ& ߶? 5=]OtPi&kmgr,~fŪV T˧P$ 5&(rls 85Ss#ɸn/T}3MRDDÌo'AФIalJqQHgr wb1FU՗t"N>&sɓdw/1a~ aյdlIvI؅WѩWB2 eLὙU۴e.xf܍`B çSsU][9/ɖQ⥴Odm*y4&z|sBz4y-6zƗԹ.%Q6m u!  EBV!o%1jg0--mHXzXy<\F0_ ;WA lJ`p9pxGl"1'|&4*g; iX-^GIjxemߜ,_h#%ჃJN/΃,ߘ@%98bC=P_ոsɓDxP;J\2 ThUy|ZtOG,Z\m=^bJt";>mrϏ*m(} =Kz7ғEta[B8Sl @-Y^ 4rU<7No&O}Մ׈$fݣ.{&`y_{Z]V(9QeԈ%^鬕wC`4ŮOkicDžRRy+µ%b^\#΀~aIjoyUliVdzۘo [Uʣ]@3xTGncA 'D7T$=EMcWު+YˁbgM8FmT?iY=u2N.`jٓn=gLrLzqzȵSMِhfLF!ƃs۟E#+V ܘa#DzG,vU` Fbh}KVc2ìM(hۗ֍F5r6B bq- ۨko)$cja\_+.W*s5",̦Ω '4QAȠE]u:X}/\ ɷu F'ơ],6 ȉ>k1)x-;WfwB?4Z6x[k*ԗ؁DwWI^ VQ#}[b7u+/o,,X"B>W,QÄ ~shZO`T-Ew y/#&5*:C9!x&cA^*G)k.>v /HiFUt޳h8us&_0]3TV!2W߈gXU~ G1V`+`¼$ZOymH μk;)bׄ>g,oRq rxu'6ցdϡ,֐{\[#1ltv E(U;[]4eq4QbO:0 ,L9E]KPADqNJknlmD`Q?Nma\eJN|*XLp&[ B&B]Rkb=[k0~mub^* -2Vτ6NgM$\t4[{YӬ~@mte94p~f*@VT 3"%6?  :Dcmv?uegYZ C Cu9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id516Z 9G) ,HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/latex7zXZִF! ZM]N}T':=Q߲mZwb3Kzd>6GBFؠ J%^DވH|HE|F0Ơ6]VmEĶS[|0Dav<g!O0[A@ݪD>;7urttLKkŕ".HfD]'3qdgD-z?rF7X߰aIj*RJXKfѳJq3Ap'#"D Ҕ=:5kr4~_l8LgjyF:!"Ŕ֚5-M8ePEm6W=,N# `Ae 9fjx좜PMEj c?8:|nMgwG&2> A.3T>߼(ĜZܐ E&#o(4U9TnVy}+['<\3~6Ke9~GZo8Of 㹁KM՘78ktHwIu-4~|(>uFM6"?n<(\H ًPevO .N kÅ0y.9]~D-\}~ Wk #dzmE[HQP.t;j ٪?|N\ Q潛J<|p:јWǬ 'h9_h+kٚw R/BEBҋ||SJ]:/t,0[uUc\97p <ȎxMȌ*z|7w$cD([k޾" rBcfӊ$vȏGLIԒÒd3o.Ayw^ФPœA^a]_ήP^ynE9K܏(Z'Ji@ʢ.bIQUjMA௘2p#,>ԺMֹܶFmRXޕ>2\c| VS9!,7 ͮ')!'7WvN PA2nxIj7"#)>VkSgto8g2kƐ*u{9buŌ!PuH >Ȁv}roc]{NP R$X7ܲѷ]VlR}Q \Di,de%uIastu m.{7Rr(z@skQdt/FHKtmemՇaײo]BJjtj- QƉqxD='l+x*̴\OQ!s4ޜ2N0~(;fTr-#P[eͰ`<@*"Ϳ&[90qizut&thLTX᥍[Hxrģpl=!Lw"^uEe!oSZ*P@Lp ƪyǥ70v8_48<ɳ^ZA'Oc.Bu*QNjnzi e`ܰ9T $u(r# @_Ho9= #j%X7h*p}sŝo,ImZ)Bw=/K'54}|;vZ~%\ājCÜ'/m-`U~&a}71ոγ2[Hg˿*rMNp\d[CZk( r~Y}j?n>9A |u`GB>t廙7tjrmw_/j~}JVK HZ?^5d%q3з&f_`gT!@k{!n&=9Y9ct<~[j.5|2@) 0DB=82@_ > իn#p縹=2.8\,hԎUԾH3TTJʠ$ZH&cpZGՕic~nRtCuDž3l_7pfH!L- U!Ѓ6c'qx'U[k`4=Z F3% Vxo5,J>n^Bj|҅ C6V&r=fxf8R|n_=;0rRlZmr}]E6oRؐi5 `qɐ~(9`{n0d`JM!N_ \ Qy%s"R@@S%*Xԇ%۪~l^ӂfC$'M}N#:v5U`U甉r.g<+ebчZZS:JNcdu6H@z;v\rFZw:M aIDj^3HEN&px1H*vŤ}I$c2٧גּ ՐVlB$-<. I N=Ns 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id5206 9K' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢)]D?7 {?:fH\7SNy5Ya`C`E[&üb#:Ϝ65AROqx 5FPGz]'c)B0] xJ868Eq&Hp0?YgŒo>0[?L]s/1 _XmQ6|;3Q!mI.`=`I F+ӱ+9¾rFe_Q |pn[Z )ьg?mW 6b? F\+OΕ0(#>\ˀI m>U¿A|6(`r2i>Ī' ߌu ʕx?B#> Tix).aZ&81x6VR|/1&&-Jm*^k脧Z5҈>XK̃p`]oU3dМ/g# +}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~27r^=w:Gr+&ņRXL6vMx@v!0Yz65%vR` d`6㢥$,QATps*'}ЦP@M`N qIxo@)u"zդ&^CvR hi])C$JSɟ>eŘ[Sgw9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id518o9I# \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씋% Eۡ$z?s.HƍUs3ֳza+fcܿd n'rNuxlxwtz<$ <:䏟ZrQIUb/`YCZyֿ㘐tpnbij+evZU9iãEmq}Ng]: 3G Nܦo87YŔz7{& Ox6 qsj 6Oݿ絭;)G`1Fnu:dB1rQU1O}s/.o#a;ҹ`kW Teuio^z QauqpK1ooe F4+֔V}P݄` 5Ox-bcx˓#Vi{Q'ön8'W)jC@'"9TOU [@]0mK$/0P]8Yši9Om+<>l_qБA8yewHMGVR/~J<.w\ /|{DrϹ6Q{aoG6M0n%y*:H ZX_+/h io`.-LrVjܟz ־  ֘2&o>õV"$ijp 2ϻsA

nƿbu(+aq,219gj# š|A]uYuC|n2WDH_c3舚S&m-mYL],٪_R9XDXRUY~RJʟ~6hgb`b:lԆ%ZXpXq.W,D_- 2ngJ/ .8V/y6x爰UoܗA"2(4:y"/ /#h.u?}4f\6˛fPoG* ?ySťYPUtBG/߿kySJDi+qA>C]X޳'Wu\@DZ4syJ{elsT~}\C}9eL1Mbږ57[dZs8i|k3KƒE,?Nvl²Gu)|d6:26WR,G5^Gaub> |`QRI/<G&S`jlIN'JӠL3!!IL#Z)2f 5h$za LW|'L\Y5S/>h=Y K^>NR*-8G\x8EZ1-֓ęF#֦8vlCK\$h| e3X}נrNnP 6QjH#pbسAP֜Y6i^nJ#v"p݈kSNJȼ+4jgYZ~*s[llZGUHzuޒV:qsb[Cf; +6 lǃ$j5bl[uJsͬFp[E^b!֯8NE6?h~D*j$l ,Wtt 8`uUѱuxrkLU.MK9nÈ^4P,{COK_|`g{>plq/e s)L.Sr™ʃvڍrV F+֮|\m[{gjkuw@0{ ; zmntNc]$)HF?[`Egcc^f4SRژ2U+K{Z S\`4Lr:ܡSA9KZ}fΐ&ZX:,ܗ-ntK E%~;ɻmA6 R _ F#ܕ q;˦myV#7Q_xþ0!Ye%*Xz_zɿyQ$X.+>7[#'=;T ksb추:e H+ϡaYtZԡ 2go`+zeA+պ9u7l]1(ί%>nIѽ\7w/\*H:Гa[FP@u}|3#xlNa:-]@E M,|d %8ʜ죢_7#R|BU ,slS,}@"kݪWetܗHN-؟̶ r /\; 88jNaQngUPgF1zn ./yQquC~F@ª9A*xaxEs+h[uOǽu|H?vkb腃Vi:BOҖYyCI5~>[p\߶b; !g}>=ϙ",L|Q-Ih@+\+r`Fs(V |l 83>xd?EK!lv+zjP+rbߊrJ‰ ńPn.^`VY C}Y[>AU8뺷+~) ]6]!c ̡Q$(Y<λ.sՅ 6x:5d1oЌXoD> ?r_ི[nK 6&*x N1tU a B7P*r|| f(( *^䦿&Bӡwm=B1dapځgMq7~FleQ>1.y@ހ!M?S6ƮSQGYDM "muO-w%bcT%)'ljND-kŶ HDiFU]{U;7@ N32DO{0eUCxE n2@4X9̉=;Y$\~OXV$*VaZ)8bFXg}8+n' !Mx̍za9?=7j”'sf+gtdWw]7`}0q˼wPȢ)Y n E4>Yӑn[ugM\u9f/-xM0jN1ug-ypdyK7gy 94 ]q… (Δ m&Ő/#D_!S mfj*mFIUrXdq!\g?ߍ<)j: E0SX؟\qf8SVaxYqmBmU΍~=ak2_:ͭ6Ձ:hhjsDe?qsOVE!mſLO_vٲhĺP'*Eo #Jz#F-sDzD) -;BՁSȹ#daqB9ǪέLL׹&cdѣ%b]DY?=|وʭ!nـ;~cq|H8 X2, rƉ*c5 & Gx?dzeP^4#mo ǑahFj~pD+֌V[衃-Hqv@xS耲&Ba#"ܦALs>F7ELl=gr;3*S7 WЕ665 Zpa~ 7$3b]@ zN/Xd*x0RITZaR+m5gMEx|%'|.Hsʯ;0=~/ڟ/!$į/Ʌ]_^V#_#owv1g ^;b*kn^Ήe.0Nb,MzH#k} y9{\ոitPrzLy]T+}cj{tk_Y\n!JQM%UƯ&h),bwAyZ:֢oݞa~0k_2eiҤ{o&g/@PItӑJl*]w.?X4NhoMn8UԊYz|D6ĺq#5Ct+LUQ;X-`Bb^|N ׋_6`P{>):9DA !)_[V aaڿ[f(Pf;81 JRƬ)Y< #]>wG@4$}NOf)ȸil/~Ѽ;mbG< }xX`$FgL򄜼VHQ!( 9ߐ@UΙ?to1> h!FUwG?#*tP{եY*~AWC8lWsP./i$xNAnF+ҥ16TRu佬8gn53`BQeJ'T0#x2+Dq+{z<.XOJ(EïuZ!>V,f 0dfn=n{u GJj&~X|?/ 7  X*J~E*Kui=lc%ISyƸMRW)6/n% b=OEZ LokPIA {hɡ)d# S6ս`oˮ.#A3œQ6y{wr/O[6:k W4_AnU؈F 6%14*ʎ i AE6P>_e6I ֶ<@ȵhbO®q&T$D=1|: {?$B}9yBmKS:XmEd ×:O͞$l¨<3'/ǻEcr 0"$KZ[oG?sf^ZKX?䙮"ߐ]-iD5. Pv'_'-Jðz^TI~g Kh{=WA=R״5qS h =\~N7ςD*~5=Z iCRhUcr 3bpHڰ(dRPlltR|HNtӕ4AÄ816"{',ٍvHtPP:۔^ٛҟ&+16z4fK!1Qi_:ս6cü!^2_+=K-*tɊgJ _g5 :d."1M3(HLB #Y<k_˖@ vn}%zqtIݤ4H9\PK|ʡ^/uSlyrA{_<Ε/^=:9]: >D#/| 0W} 'qm#%w1E^qԃ?)_F썓O1W+_7;/KfT9W;YP{@&۽1LUº A]MdnC]KaEj'&x)m1V~4K+i9kF?nV zCb_u :tTAXӃd`~ ݋ KXP'NxZ5M~M2o ]dgwizHQ"IJmx >\OB[ǔ*Z)!p^+Y&\KhY50bTsfnY`YM1ǯgJ`7~$x֤mt6Z>BaV!$c+|`Jt 3 hW!"oH-ʥH- @0o,h$ɨ#dAD}%rzPpi? +³\@IP^\-\eP_R Z؎8=܃g`&,6v~34%[RjKi=E vb! t^'2Hۀ@]<l KbQBODu]GzcW;4k㬔K:;^K_A/U,=)NAgg{pjyюŌvQ yN\+M'vw/Xt76}ڷ<,_숺a׭<*&0G?ר>W q?I0åD'H )_G|Daq|H?-%xcLJL&6Iă"WyƘ:JCu,<] fy{_Ok8$Ha:ZYxų# Wn-*K>رh5R}d253ٔ颼_򚄋$*2z)ku |I,@5.՗gS5 9L8whJw;F*9ݦ)![dS&scJ#@82Cg5=u=dJ%ƓO4Uds 3aqTWY-+5?[9i/0u)ӯRFҼӈ`  P 2j|WU 1b,TKd̡ᅙ[sa+ 9,-B%$x MƱ~mҌ'f}lOH'-ԙDe3)bB&x٘Tf9=ێ-w0IQπ@1+/|iqelCWv)p{冫PV+'SK=SA>| ܳi[ |p DCEx1pL̟H62}J&/Vx>^hЁfQMj ׭Q<ʥ\P'I ـu 9W%Ġʀ-Ul(Y;:Gv$rd˖*0)^@^ī& =vw| (ɅB?QEi=m!6f.ע~$v.ĞTdFm`-~7l%%Y K0Hp) } y{PD\O]ӹ8FOc n&.?j_I|Զ= e$evf \`(+plydl:u . ۠jcxUYM491j#fNf }PBfɛ=CN׶z!MJF;@ 6%aGqn2l"$w/=Hk=j^0RebP,ʙЎ~m9^)܈xŗM44 Җ=wLZrTneӔ֔0bBY`*2s^:ɍl?Z?SMr^(Y,``Ŭ`P-SH# dF uq_~yG1> P93W0`=ׇ ZVS1TX:/X!ⷆA>ό[(/]uQ'*JˤM]r׉{i?}XFeVf/_eUZU?g`h%JE )z<W..C$6,[H:*yb(u5W}gEjNle_مTf =©A+>e3hccD^RWxcwϴ P;.9,V=jq !hCj4 uĹFHj🭶 mZB kLAl%}Qߴ.YFG8gtrnqFU &t7Pkq%+S;uuB"u["xlZ"N MOqJ7V(ULL(]Ǯ'\ͤPQ{ UC˭U&yD%ƟJPN1%4 DshN-`[*}P$ iKV: HbHF{p ξ}jʈʆrljy 1hڞ18~4TStEViLldNMjmgkU|~t&"k3Vg(s (Am Z^[tk'Q$'$$bD W>ӋgmM'ZÝ%WWJV_,k TLg Kl (,R}d^~g?dS (?ms΍wptIZZ@] \,Ȭ#ƴ"ww 9lGi;u©ANɘqߤ- ulwBgMX;Kl`W ui,o))Ⱦײ[c01k&ј` >)5/kDShLP7KXK~Ve W}ҏ`!N1h-(]ޥ  dy2$rJ=.lM^]lDQ1U|F,!~>KsU^2HdJD~ɺo͖F1luĶ1_?Q%(H#[*b Q$a lT4~UIfC]х`뮑<c=dC$ea{sySqfME_VQi7,Wr<֖XLDuKO(s--8Q iWkm~H9 :oCv"bBMuەr?oZ覺|@a6wD /\GK lﵵCJAѵ)oEf! PkŻŋk+(C3׸^+{Xs7[Nמz7 w4y >A97E~}U:* -E: T1Xw3@DG1`6%HA* RݍD4j_R,V!U c)9Gqbu@P q_Ů-=iHsu5!`oOK7D^xsC31W.e*Ӗc*Gat%ǚoF)>uiPvX|.JJtqY" -W5\毖$P[i0P7_Xgd) iEg)gw)F<߂V\^{Ufnv-`ium G/*(LPӴ[ =mn4Y#d,c,nʄ`N9o[-c"u/' iS8Ƣk8ҧV D8Kt?}ᡘZeM@6?›c,g+^  6քf>~&4Uu:!0!UؕS0$>~6e"2r gDE]nhN{.䱘:eRzRVM%䪟,~1`rIt%1CUbhI\ꤵCTU|<&j;Of&і:3Ij6HX&4Ag,II8Х/}"#XLZRXMDPp#" ˥'B]BPB8 >Q}L2C ~%2\ ҈[Z :uq }K^1'&/Cc?-/ƉZ5{zʴy_%|AۇRTIft :g(,;sl^fLjx,,Z~)t:-bWQ]J.agRa –Dn98#Dʖxʥ$8KMYS։Im>'/rm.5~Ad~ OfJ)N(9uP՗O&@ RZ\ >p!+T;mZdXP8/L|K& ɯVm_s{hob\ʮ|lSxD<z,xFC< x 8:E\)h!˘%,|uuz/g 1@%0Β11>S`*of%0br'*c/Фp rHa0DEU[KBR"5L; /G4Vg]0NPz_>zV!@C^ X+z3n6ܐV\ *yݘEW7 ^تjgZ(N';Ϙ 8ײ@7C|\jd1"Dŷ{[>I1b6e1j`^T\>= Y(,g>qBfG7lI /߁C%WXtfn=*#6Up8  0ebVtW2h< YȻw ,5VF ogt,`0wU-=K\MԬ(r>3!LW#h7mU!o4))%MWuVb c7⩄x 1_显Q^'+^NAxtyH~*_l' :0L\+x8A%>#QY?NfLR ^ 4JMQrjPO,! N;>%)D;X )p5Fn9WݬDxÈ\ñ s.{^٭fY|-g )m@#"SL da:/:eJep?(K4]_`^Rv& =3[RXkĽz~H^yjkX({bv%Ѱ8 ZS5H&6lȂ{5fɁQcWŌ‘e̹VL\GVqx,݈Ċr嚢$vw)82͙8Hs:gᜣeRRjPItx2EdTo, SΛӠzi CkQFl2R@CnG(њ Z\["͝n_jJh4ʬ e׀}A07IL?#O2 XRkm[:$~E>Hg1lkړe\m|Ue2څLߵܻmrAWmA-!6[cV q'ۑ#A!+(v0vl%wEEY+NXԞ/;u׺qNtБݒJO >ږ.QIӬs8P{)(͙姁#>:Zq3]G=VsS* $;Ml[HFC!l"shf\,<kMX 'Brz2tR:V(a~Jݘi 3}bhn #!5Gfm n|DMpX=/1>acnx6)gHh;zК85"Wh/%8eUpPDx(W#t:` ەY hCJ/RπaO '#n{Nze{-!o\ZO')d9+)M1]܌|.e~y p] iyTHX;7t(rFsNm楺4;gIr4^`m{]7qp%IUmurozF3 pv'J"8a@IoV0Vݨ 9: ܮY𡛪N#gǀJJۮ }AHgtM[@.I&a(n2;;O(6v{|ARn(iXeM @#}\2~yGv@SUUկ' hb(@omHqH\鎿Q8XoJ-P+Ro-' ",Qdn74h t+)=QAokShMw#''}8}A[X"[͆דx- iC[A2j,˹*G{mx䣚.}zj ,y5$pK1)߾QD:n^=cz4 t>Y:5Z)c\߾y|l,xDɽ}<8-% L[dZpRcTDiPr|EU]f2oRpK n߈H}X4JN1_ByUٴ #Q3˟y^3-wˮilԝWO}#\3Tx+iϴ g!2MߡȖVT-ر!YGmWVؔf*iV~=&K+v;)-)l 2Q#hdks7CIyx5Iv+% )kG[3W"^IU(UNIX6[` صW4qT AfŴ=F mvIDߒ[(&V٘];i3re3|pL 3LVh}|$8M9= \ >BxV/s*JQ z,jha)}O ɊA=en%Ŧݗ,{yIyNjZǫXn)'ݎʞ`76{)Y4(+p%zףAdپ8x0ᕋ`nI[82?%Q W"mQZ <}_ -Y8]0fC =/DL\˒SmQzM֍h1XZO7X] WXS{(+eL7z7L˼-*@~+]zNb ]گa^IwRzXWO3DZ×Z@Mf+"cl&g;3^vX#uSOKpG-ZjҀRчًpn%XKWF:«|$7]691cl HHjM R>ʽ{Y2sFC|=9 I$Da@@"Ir0i#Ɇ\rJ}0{#&)J&R5  j9^ؙ JRўԁT]ϗȍ$톢Խ22ŏ`ے 'eڒ&`6NpdWYfJ{ ` ax?'&StpmͶzEξz삁v}<9YT2}Ɍ IEMV|4*Y=.|14J *"4Xg ab(1v;p1vlX*b"*0aPʼn^C{:@t`cGiV-xg]!,˷^o,~YZ4%gOă _Bѐ 7/ҽ|d_,u,IcN EK놟JFe~QEa]VeS{ɡQ3GJ~VAzZh*]ѕAn٦G>]UqcKd>A}axO+ |5to(§l|`usb+珑˗MµK`I@yص !Jmo_>+^\PEGB|n6dK(xbDW@Zzgir|f .U6zw8um1G@xa `5'I, ?r (d"4%\?/pҒ E' W{#qCN)p_{[7gzPvPQ ]\jGʍMy! Y DhbXRp!XECDQ۱ W5bK{ dcrecC'Ft* *SQai|7Lk]'(]# 4 J$t66hJ,f3}qʤTSwY%b"EӆW3k?+F~ (k EC2PLinǘ4 2ĬP-zfQ.kYINt5cd E_]\^a3XҚMN-=[xn e 1냠V-cZQo^&!βUy->D+oS%a l u</'*T}R4pe+Z2 }hrL H9oMs (&ՐyQ肶<ѨS|f40Uc5C|?3hR ZNps,"|z <ĶvU%ZrVh8}<*`WC "X,f&Gl%A^5X's/ 9rߐ"Vu^=lAÑ{2v'վAp9R}Di^*fM+T IZLD'auw ? q<|Xz-'U)@.hu4Xة5Jo8J)ڇpTfSϝ=bTj[\{H㪉52HÑn6i)OJ:UI/r4|Qܰ?DOiG_PζGi:ĭ5K`14fȎګX]@[~r*aNxwjHo}rPJPdEYdHOm\ѻ&xj~GĺQژ<4vu~Yc9iZbjbybZ5].? B@!iC胠M  `-"nk).gT)ψmӟW@P(j^S͚2y6ZL}Tgv nO/oˁiE^YbuY]( `2\h^QY?'Vl%]{6SRmr;U۰gnWiw{/o>0 to-!{q(c@DC`pg g |RE>LD/E1W IL"J =NmoH9%kcݮO!\8!w|J!IQᖾ]0H&ഩh^sC:VG* "()䟉\emsl'D:5m/#58*bۙ[qIs8 ^RM&bK!G}?vlSㅡ:2}% j;)C0;^VuvBGb;Wok{ȧβ{ $W,L` I:Q]]w7B.#lO )qk~(p ~O/(wwCuǼƺs#hd8!vt+ӝ'H =aR:Upؑ7<-ȼ06()D;#2EP$vt>ТU`Jw^`FԐ6|3)p.Ý5!~ߩN2+ %vPćtּt.+#BYK^ ]ma- Jцg3d^gX #hJ1{^X#B,jOM•4U,ePbYDв#sgjls@#l=(cPY%;W!%4sBjgUrs)nzhLp-v$6l/_sݨ!חL/eH< y >WdwKQ_Q~O~]w>\<-ӍzB¨h-*ANK֨Rm?{|UUƮFQn6yԧ  #pyaôR UVvIoa=0E82J?ɚ!K9vC6#\ks)JuBP|&*쟊{sxP,˜V Sg}ca%`, xT*C~Ah"T! 3=ۙ#uN0k3'@N]4",h'[2d 9v 0P3 ;&ʸY5…[hnen"QBLF,(8 vV;klp=wN<>kɁ.^aN0a1>r}7p2w[_v(fxXyT;,ƞJ޴Z`h(c-nd?rx^懏'h:1TJ9A4vM;ѱktifw&^ A2r41A ceic(zy%?NlxE׫P5#G+/,;8o^a϶[oTuflezXvb#ܓNcHa:/GH2#(آd%IYM>V6qp"lb p` ʺvLB;OEaڍJfe 4EoI@7'O 6,k j_'m1#@K .(b!?vhNB8._Z"*X-ϴ[3| aY!^N̥&6.U plr[{;G$P8/*ڋqksLM,BrG[^+ @bzjs)T%fLOlPΈ3' cXbP~+xg^t? 53 x0J+099wɐi<5:GN\Fx}uuWmmz(AO @82{T;KԑK_*Q b4[ g(fpMsL@, Hi|n]{ =^ħ0/9>EES4~NI^'x[@>eP"1RQct= Gzt2;.?2p"r)q _c[S,,'c]:Eŷ7?$d%ؘ`n`_m^`uXGw԰g 4NZ\ʈ$roD- ;p6pif"+Khe0d HXYһ]=Zuej8gx!Хʐjt;Wo@%0椆M dhM/H~s>Vx[f\pFPR#jak܄Kþ A6,Z2&RQ */fAT f hvJIK7& t?l{$O'u l yɸy3 !%yn"N]wUܤ;qO2ਃHɂihT:F\廋X_k`$d2JrnWi{lazHMkrϊ5,ne s[~2ygI*YO\dL#.q/qL% .˯]A<گ_zQ 3 w$s3*/Ns]c;;˙w~vEakOVz) YzB>}5A&`Ģpx''4*&+_qTC;C ! ybAVJDHJ} jvaPXЃ iM} 3WMObBnI:@&\DʼnUeD%Sɡ@MsVt`Vc}jTRsNK c1:DZunkk8Hom$pTK\7X(D0dCh?Q(gئ'vPx#.=e2gS1]U5dtkXzDr}H,+τ{}NƇ}IzKO [= mYG%F7!nF՗=<"de^ Êv)ճ3SSJ1Ra3q"o ؓ]+EhB?5 yUE!'Ym$gGhC_T=Ǖ&?`u̲" hro?R$ަ-ҖV<8h$)UoѡNT\tD`8g.ʉ(+&*Eln1rR¼=w^V3Hmr` V(5ߋTrjcF,Iz-5ZC1*>qGkћeT:^W ͫ>L[lu<}b3Kh)]f׈fvr7[ضS{/4Q}k[`2-XIZv&NS] HVAhvfFepepˁHi&mb`-&p(*/K*t(Rr-+y_ɬ,ut3X^|l1`ww_M)Rlr橮yOOs}K0XrI[`LA?ā^C!IbKՄ<z\4{Wse6 j#/شgtH4B+fmcDO7ޕoZɰz{Uq1 qऔXL6*lNcDTQqd@~f3K1uUQCi\bc/jt6ו6#6g` r,8,E-ynxB-a|[@/u7=WaOsu;PtvUp,-/UbQȮJ-1`)JfƍmPӊq~ѹ0&j*d?%x{΁ vwlS U}]~2w|jCd ,PrְB<[y'ڪ}xM;5+NpiDEk$ `r2,_L + TUMyBV fL!_ll)oh3>1Hjo#X`f )By,IAC^KMsG8;#݃{>$Z@(Uot iPueVBu>y{e `s&4 ~ݖs&MM vIA{\5a./Uu)Gܮ >{`^` 4V$eU1KdU܀3ToD7^9ҐQ_7 I7/F:dVwS!14hp;L HyE' ~^PJy->8ԌBkOcpYN0,vö}WU NgGn⹡&oOJ@PD3XD}1!2匮p(𕃇|еtq ׎X8'_Tۯfn{!0Ŋ cID`"s:X/t0U{'8gw>:޺!ɂym2 k0L&X}*=KtE"g]@x maM.!ZK$I7(S}u0E3/Y1\-%cCMd%ݟETѵ=@ݢCM\DK,Rlnu~@q e(30"$1jN 9CtAA!RS>? !JY9NU0*r޿3HQ|K4,},8 ~%n1MlN6UZ*`=d.,8, .`YX]YR)9iIɺi Z}TZˡ L&a+BQQv+UEƥZ&T[ZaY$x~xfdAyaL_j%\]pxƉˑJ(Hφ"B,FX|:ve;NϋP|K>3G4g,i* 4PŠ"v`EI8_jsъYp."6jA@3p_kߺ9Zy$]_%e W@fR[?,ҡ5f- 8U4 9eIsgPX{86J9$ݲ쮸iӴwsZd,#)"WʨኍvZ *xN=Dꍮ%?iZn8(u\Fq%E0PY鿿H23^O@c3F.G=蛀X 佷,\H%=P܄ Rs0@=6D^V' cT1y@֛0 OU:2XWz. SOOi)[7֧SF_ ~Y6'Xh-2(mq A`@i:gF^B*}U\EZTL`S$B75s4 ~&W^R5v0n WBP{⻑XbHr><Y->pXTH;/;>NSڳ=IcqC!Sy`_jdP[<xt'-Pq-a|J*oY\'^!bO+JW31%)TiRj%XJSi0A `_._WTM@ƲO혣{gpeUJlp/ pKD{f)h)'".X7DR4ou|%\N:},ߤ ~m.^wCh\!( XEDÿd"]ɱ-|/J}vn}KrJI(N :V4^T FW \D? $o7un)dJPJޭPsOݡ&83ԡC0aj^Di~foR 6i)L#,㎕;{T72twP.sTVGN@V$}Z5^z^覤0.8Tc̰7 SL{VC4A(+p.0''`Om$|3-V-h8/֨Qks`BFA+X=&w9(v=|ϥ->%M~(&aD$UomF`~dXK ^ b X!R0hYh<]l9Zش5,Iiϓ/EipZ+½yJ#6o3r8r0zO.>,ytlgGy<906@̔-%ÏX 'W ,/N["#0 b?r7܆vmAbVªDɘّqXI 7'`\Ҧ-ǓYcŤD6cřG%Ċ7lP/Ch!dA1 fSȅ22LKɮ(ZH>6g2o5f39b]4nw $LY6-c?N/]?H9mthmRYYFK/&M$/ qnzo<,g2U.et\ *UF?Ɖm(&Ѹ=FAt]\XPW59JrCrR~4swI_8%yV蓵.N g@=mF-Sqs5U;>1Ue<~r2X-ܡ)2ha4fe]3rVe(!<+smY@ +r!o;jȦ6&3b}[Zqp~gJBR4Ǖm +`Q(j}I<+g=[l~}ɤ*1JZF /YB\dEjȹg]Wm?Mz  ŽtX n穸dh5ÄFlDNabH H8JAӧrOh+䒫$ϋό{x3{Ľl=4X+Dd.}"hsS T9dR뒙r!{JЈl'He2Sbx/ @T&ޏ_yA],Qv/[E8Kn If95$ىȾ() DBom@6Z&xN-~;;4R!b@lYQ%VԘ HxB0݄ ~vq&NK'^-ߓ x^,w|$nS* %:yI:Cƴg[:_͐1Q iZy``v4K{_jgYZ;Hpj~M bëCiٞ`*♞T3jYi]S Je8}/m\*9h' M+XUqphі32>))c:&|rAa˩E MוR ՚o=M@òeݹo~trC!ߨ%?MAx5Rr}ä †?T.B=K{dQP p5S/?rv$v aJ'P%/7޾B"u\ib@5QEEyKμH$!^W䶩J{g..s/rM 63wOfs7DUیNkרD,O9[lI#-|EJB ȋII"w㎟~ectx؆Ս)_T v'c>HW]XΦ*HJX_q5Ix` {юnuJ>1a :^ըpcdP0:"hv . 4଻Ե`qf&.n2*̧1 J5۫t4<.gE!e.dn̕x0ENf'Gr%H8ٕ"fwܼ42"G+<g`T"H%iyb?I8.86Y_&s X Cbr@an6l#:G,a] gR}ĸu8!aJʌ ClEɲ?] MK ;OLzѧM%fx pyثūEԂCxhߞnumk|J m-qu8B=!O!nhEMk,MYxo7OcI\FF[wpZ0Uk:V#(G<p?c.ku;y?]a44Ҧi0YygޝwK\Q}hab4 aؤ@3^.K[^&+oϗŔ5pj  C{.kfC[q<1pwvt(0qݐ)B`0!ۗdQ, DvcZ+OPi wY%:g/ _6 e s.4gfqadA2Ur9/98DlcAo&Nif͝5ȣeE\{QR%Be#WT?i_` j?rI}%~\H:#SP%#ՌbLL&?xc8fr%UV \Ugfy#6D";*+< lJ."Jmi/PWh_pnJW脶=*/RIq .I39wAK}9"k?x.c.:GK4-xEDx d(“m}b˾B3'r~E%R.2TZ>BEkMlN8rxnx^:>al_sy`s0bW BmL8o\c%\.fOa!XIJKSR'/\(_(av&' "#'u5-v yjAGM :LV?5?*-4DӾ=Qq#d^B~;d""b>qv̋a3 /D(,T +X@a.>6N7ޫ ܿ+5$"5z\=S$?'^=u?)"5nJ%5 Q߽AlN}%&LǙ71'3ڢwl!2 >>j~6j~\Mlz*Ҙ_.W$_=j˽?(qL`E1c _~4շ+%ƘUFɑ&0,kPy_nAw/ɟXۓ}05w]N zW" q$k"#pŬ`>) y K(lw 1'R&v o;h jcTcP9,|%oxu߅1Uˇn=JbN"38] NM/W3?P )u+dW'e۽ S{m^GS7$6 &`_mTokmQgkI-0>ŷ XApT҄ Ñj\z<45x۵cʔSY@A?;T <[kwZ* 3zG!|PJİ-T`NMgw P vCV]lI"Q#AxRn2 AyQ #oޑKn>0=4Uan:^l-Vʎ6B>|Yز4xs@^Bc" A7bz*{Sch^GDc|ĴeQxQ4A ueh;ԡ|{Yܹؠܑ%(d_B[6׫9 ~GԈ ^˚ϔAKaК|ltY3Mq֋62))w U۸_Ἦ->TW/4 qmkט#ϖY> 4;c"gsP\=T$ {BgYZYʦpLZ%@[3^MJ#uxNNCpS>Oje'!a/lFuA:zk{)^ׯ$Hj_}S~M:i*7* 4XTVT9vbhE&*ˮQ+tDfHRU?!p6&0!]{QMMי96=UTkMcnxt'EQL^bލgcT=eA0ۥ'ǣuۆsy^nV6NRc.l#BKLcf"`K*kfY C/ȭq)@ͨ-KD0ĪDxzr xM* [,( uG]>Zc]D:a$sF7Z'6i8}hױ \ L$?Jo[!Ìٿ`63Mzz{/(A@2ԨCDe AƽCIG{+{HmM&Կ 6ߊ3yiU'![ˠU/ZK`)Dp/]j*jP5 2 yئQS(;r*pQLUr(eR? ,oھMڤzI <>|&wII<81|зA>KL[4%?cX'I WFfgA}Jvtg>8A9!#OH3FV\6hpɋX'E}\$Vt̎(4YH~"E%n1 Zf(?7OiP+gJ!?`rOK/퉲A xYu!Q };,oV8 =CC7 ȖXmKe 񃶍to 7-<>V>IHjЏFcSӶ3= @#fB)`hctq/ZEI*)6=do@PK<"f۹@t/e.) L;&~:v$n v\xG\6?RdQ f_HZ. <#z13x1UPfLZuL8Z2W%n+lS|:3#uM#h>K̶!`D8UԸԍt;zZ/ t)M)n%nO򙌗vZfK{XP3ʳZ{2:r^yR;yᬯ-ҟj禁|v3\=Y,p.Xt?k;ٲd2ME2 tļ?bt97@R\9u G00ЗP# XeW(@\2d(#b&)+x!:h{W ,Isp>TO>"\} c8Y^WA!:UK/Z_sQ\Ϙ ZbҒeϭkCW#2TCHfNඃ:U*Eȼ_?ws혲3Ūn 0'_\O=/a/HZ u-Pw="X??Ed%݅?e*2Alr2̪͘H4%d=]5#Y!}wP5?72 չ+G6]nu"Hѥh/|ڼfB@Ld@AV3BPF%;EIZP?fOULAu\9GFcH&DkS!\fta-?s|JN3lZt0Z^u^+J-˜Vvo: 0Y35p1f- ˋEMtȤ|t9z'%>'ߢ(qxu GI4(sυ?e۲ƚ?0?N{PƌW\ QaQ. IBҁiS |X&8H!h,Թʧlif:&!bhl `N)Մ"eý \,K7(t:ҁUmGt-ifEa]Z8D%0+&6д}ك݊Nlbqا~ )PbpX ;'18r}RblU+} o u1 7YVS KC$*JF5-foȘ-DCm鯙~V<>]NmÜe>A%LzA~(0DD=X:Lnv$bgndOSեW,J ZETQVT {"Y6oVÝ \P%yH΂ťå:c¸Jx%Lx9[1ɹ4֛oVMj.jbfXqخH1:)Wu*1MZE(l<$~xLW1VCm_i\9 ZFݢT[r/T<@m,82/sꈰ8_t7euj a!ںc"=N6BQ=_N9dm}c7gM1, u?1}J3 L+,"n¤b<2cߔSY /= nX\S_8D=$dnc6 w CdeNr=..~\ђ嵮1y- kxB#QDk`"&GGʙ_U3 ?9"ɾ=$a<*|ð|~pVz%tow`IK9l8_/Pi,|0z # S<f+ ]/xЀdGXTf/rU_~]񕂵=(BRS}1$P7赌Q0D޼;~jb&“f/J =]" z6{fȉ4`X_5=rSE`Ǚ\t Q o|qJf.1l`!룰f:^IT*~~w\x( %Ij3BWP-kxBQHVHG9C9͈ D8 pr6zrT#t~C@BS6PY1mr D +E7(԰mKnz5~$S"!va%(P=UK)9BU':${d"$^]Amq)rk7b]t}fo|1r[|uD,(wUk}ځNTk?P<1-1'a2q/ j1[snb0{Vu^:?Y-7CiWXjHKOxFDBYD4}pdh)7{=liX)=iO ornzjP/O7SM MtCY.obroVjRV=ad ;<L)UA“Mc Cqy=:<-LΩj-dx :;ܰv@ BnHZѵYmQNg[tܨa%\Q˲#s*1vSSiȍMFc6{`S?;#M{>_r[`3ª@;Vh0G&CɟZ+shbn6[ 7^ t &q 6@ JWym|aI9&,97]pW0>;~&@RT-}ig ю[u'~,D/h0(bfZ s|cU%#CfD=F9fCQG!yX K{wAL|(Y~a/iŅD~\mk=L{"XoYZ~T#j/DFI m%~Zr,t[Л~LȕCwxD=>B8r8];أ~[`D?3^'nP(( PlIp8Jnu ƑkyF >婯jk\Oz0@?ꗍwe#WNB n^bM]TOxZNn@ -&f Ts_,16M=/ s)pYjF"fD$"@WƜ]]o=≊+D(䛄N"K=:m|.,^`+V\7"N/h8Sh!=zD{oo&[# 8r')F 0ߗ$?.i/jn]U 9.HTĻ^i0.b7߫}'%C_x ks(aϚ?4|ăȳ~ewF8UܸizН2ITqxS0#?]~/>Ր* 'A^ecmEnPgcn+̤&IQWy{6<P EN~W+=qlr~ R Xz1p"IZJ {n$P(Pr< +c[m' r&@4\Aݦߋ?Jɹ♦)߾L-SfD<;DRTOA| hdrLUxbӽ?Ms9́K=6*;8NH~x|ʣN:su.L9`h_xx7'Zkyv&rB#,gkGZ6'k!S "(&T8d]t;2=}?A& { ",G^""`tSմI}~'nDc?Nif56 8u).eJ: vA`7/z`qk'L*;0`.Za;ȗ@{;czP0 NV]t#A %,xeZ)俆lQWblH%Y>%{5Ga6IpCx$Bp:i.Α%Ős35e:PWPb1tpS TILܳ;?du.dכ}e𞡀bjbM֣ .Sh ڻt> x-",{HFB^7QmJɘ Tf2ߋaGFw4G/F NbݝyUKIHz515;%rgb-c.O;pBR5.9 lzM4\)PYVfvF }j *H C[VŦ(3a|c Y:곅.'"l ((ǕStr 5e0mLrfJz3DKBꤎ_wf&%TG'zqg*dA䲊itʜblGio`\spMLm09[Ӱ@`O+Tz^ǵŁ4arVRyO4 Q+~N&b9QMP'[Tyxv3ě42"5]@o>[ !!DF([_K%_V(Ճl%O3H vB<G|8p!q<fkq8*tt04kx@qijRE dgG!T(f>M7ܱ_+5F#˝wIMcDįSbjl!Y E :Φ6_dRzbǕYZ n{AwڐsdS\c ;0joַ^fte ^ Եڪى(梣 - liE>Fz4T+ݶvf["ߺٯ zOtΝ[,u3*p{-IFq'&i&`@3 ߁ 9a,TC2+k>;„tZY;5:d0q J$Rҥ/2ӛ =5h[e-x!O@|#IDfX"5wk%p$_ܽ_h\EA~U%{u sz㶕JvN ֏,2;kUZ?ܮOO $O ,=)mNWGbò^}AwAR:0B5B:2້t NF91{)/M1JBWi Uڿ8$++jc:rQ{n/I^T dgHEDm bEqڍv4?K3Xo96vζbHJ 86iI5h1" {-^ iēlo\̧*sGc*)?.@{Q#TcL xD9fCsC,p0L,M+5EfU}8ȶ鞁VIr*@݉eG'I̱-ҵp(PF\tp =wnQ>aN@2EXD9&bˉ;"b9821~!?JRsHEsYܡ+Ǣ,I!/lP*x"_TC *غqz)u&(N?Aل /֯uAV{c44Ke_8XѼžh- ?=WTJI!M%(ܒ~32z(4ynyCI}=碧4~*@(іf24u+ L -33"&0&OTHG\aW+Q>[ߣ7ZmQ&~Jm!\0ߌݯ@gN@7L70Yͼt#R#WG_0RYI;AyEk#N†.w򤾾Z󊈠,0Y*_cY;]zb$_h{Sz>W/$>|̮Q²}a>L4*2_o ¥(O=Q^Tc_Zʪ6\j{u7ySn9DO4pꖙ%>d/W?xm[ɣT2éG`ɆBa"ᕕhnsFB"*ׅ aec-/w ^syB%_eigykr`q@8mΏl.9tऍݡ]Y|lnՀoA~}18gg"TzKlx?{Ɣ".e撾){w5 c`هU݃XBY,C̢Llz GPHP^2)iQPCq\ YʽQTN$>O׽E'zJi0w{Wܺ11(LC>9C(#0X#xaєLCZ疛}^Ϸ盬 'Atfo[>+>p`A:Y@' ,"ͨ:#`o6$KI6 :74-xC35 95u<3*^Gx`<{Wltw k]BiSUi̷R!lmavqu k$a-KĆyť9l2?cpQŬ+scA'|S8YIUtlЍ@4 Èn&!у.+3w7V09oX/|hG"H"L_940DX5Z=5)Ì[?%k$凲bD7h"!1ˈFBq,W?c$~Iku";2i"] dkOo|7vEmDQ{5q 7~7>Imgŀ2v{DzV4ǚjH4酅7f#=>하W{;KhS$VnJ!hNS[X«t}ZtMP/|2 #я9d_5J)?GR|% q;]I _+L_t](w Ec.~:Cc T4Ǚp"/dwke29`Ph4vPks# W;s)^1J\rviAtޙ4 8d>(h'گ5׻)ImţBD!?6*NY^j jG/-$ok:nqavGNtM-G)MGBوsBoN;kCl7NǣJ-zEY+po\qD WG, ݰ}!n w]直y$TmɀˬT\%~CrL+$\'ƍ5YL.97'wEhjBNd\!4v,D.ŷ\a%$ݬ} nm?14a(=n,ݫ̺}m'J U@{B֋W70z5އz%9rl_|$1^1nZ{y`pk+MkP$.V/q YzW(L `9P8:\semO, ؆$q ^po}T_&q?('=Ģ"n.Yféo$EЫ(T$v.Ж*f%sÏ9["}3Jw%EvﭮɄ-+AJ=?4ZY J^@ n֓ q^hEn׃!'E4٪/邙JI8(G6Rk`51)Qks*&xX]^kx$<8nr`HN\'ڪp?OLzsJ a6]9Þ;㽄$-X^ `|w()j֩+4$tT!,ٸro0־}QTqSpt= jbTȎ #~9t-:)Qbc /D.eUc$9wwK# H.IRH$?<ு(;&\1DAyU)@|yFwPUrV+LS=T_ 1ZL֧6]QQ@ܾ3lF`3Iʐ!|S-_O$'j6WmU3')$jQ]6_l9\Gqx(LgkV*&fV /S^>[#eU*2B1&i\Ķp1QciK"낱1'J|!4M.2Fո3dh… ^*&BPW?|M҈3m,`]m q1ypv2y,v[C¹d7 :Ph 4^?2֗ Y!O5TL寧-3D& жFNk$9d(kXl {-"yVbE"ZU>bJݜLv8xhY/@[vy̌G:E Q 1ydx{ U X-x!4nqRL`%nB uHE.(uј )Q\RRQ6܋njвN3;#QxWC2԰åD҃b_VN %#ǮJ %A8k6(z-)oEPI800sFo]o].PZ }\r0!6XDDPsffbTp|]&F%M6b=PT󔪨-".M  :\\ 7K5bpjqt7\[s&b#R WۺxWju-%vfBxgƩL< &^|}|ux0R5~}$ί1\X D Yh^U,ΪKE(]9z5w2?7E$A6,DX!첻&nS*% *VV+MC5_x#$٤K\E2l~ ]]#In$'4:' sAHSXAMո;8Y͑fFk)zq7; @t1왛B^iP[JtBW> }:zTeb}Bc$dEN}'*1zײhܿ; ,y!XU>+uJ&WJeBsCsOb+4[^|I4 oˋ;c8IN}Jd˫@G=_#mF23vun&w/IxVIȁ !c囃sWP9-{Jx7_uږȌgi`H547 ?X|/^t)jOKjI\v̗nrqA.n$?pƉ8 (U)8o}:Lp y`n07䛣upK^qgH/\qt )bR(f{kŇ.KVx<9k#c wЃ<-f>}Xa0*wu|負^+xy_e􃎊T}wɪ |w 0,w" QbNd <|M`UDKۺTq‰GWKOdϢQu .I23C.ܞEgV\eJΗJؐ(v YݻYY &b@.s|\Zÿ|r߭;'g X!*l]#nh*t7ّy99xSOG%5Kppc#ڰ#d9? -~?3_~qq8bv,k_PTtnk7&)mEs3`=-|Yue}*F !Jx ]?AKg]m&1L,uUaQ [@ %@}\kj3Vo UЮj1η^[ZpApw;AݧBADw}-OSFKP@y_'W8t.} 孓L 1OoV- yUsS " `/i#!y_(=$YN7NХpuűDs5?LÚMkbɽ{b<2|J0, &)*MgHm)fدߟQxp: 2K4 Y $Tw %~*'qkZ8BheVp$Lr"X٦6 Z[Zoc'#~_r/*Q'8gM oVVeb/H%H<]y{4֪iµƤ۪6x>[JrϣQŞٲޢv#OO?!0 ӗs A1(JhF^efB.=Z)` keMn3I4HGRT=2<1= ik8S+{pca?a$Yˈ2hf <,`jwjI&d/ԢbM rͱ4$=`2c8遪ASbW_?L1ao+a5ݫ)|y""{ݯxGjU -gUG"e|?W.퇣(DF!4\h&^p-} k#@+)g=z*U 'gw_^*VJ9K3w$Fy>`&fYV'R78ֹ"\1 u7Y4D\6酻q܁.d&9"qcIeDORpH$j%CKx{ 5G^x:IN8Lv!6@^жiD 1xȵΊc ijg)#4wƋrKEVOfJޘ!l'A/$W&]MSBh\,OƺqtVC1ǵi>Th`|YUmžBoݖB7ߝ,&..! kT)P~re>=5~^M ؇%GjԱaTbëE >z!Om^Q_P}PGS)~al-AHA u]fTb<6︢Ukݣk4]$?o͈H4#('XߛG*,^x_1!2ke; joc!{0'$ kT)e6cOv`Zަ3*, $Iu<{t}0 Ǟ:{eXmSۗ0c~$),L{3olr0l) F:X( 0s~?/p1QQMSկgOTd95X_NWNI䗤v2@y%bLPrv~ Xj#P>Bs_ Iv3ДhRF}_IC_A7JмHIóv){vefZl}q !a$b5An(=_)b!ߊsˡ܈M,zuQ&aU+ed;w)aOaɩ |āPQ:=67Du5VY+AV)/S6ҬÍs[EyNV$E0tat-lmJfu%Ƶ[ڲCN+:Fr+_Ăx~xNh K#JR c.Hf0$Bm^}Zz"R Tn w-ҿ10qTŤ8__G7-}K.=G<#bdу2u\rq ŽR!@3-ߌߎFWTd~hg '6X&Cʭu5z0(=M$.%LO7o!%GՋM}-(HBNUAbc[P~ByΏjV[ hHnmM't(;p%X,e%Qz8fS5`)2Ưa< "K^ŒH#U8 ܺQG<۬#Q\_zj;v(ٺt] J۵xHOXB~ͻ!r!sGg=)2ɷ}8# a$[= 62 A$RNj`0֓a&c'bul1/ģK+u /|f0u1|oe!XݦrqOb|_!,#jomo߼KU[#>xS.QU' S4ى`tbc'ܢNee %γ,8wV8SQkJ x}Pw:̄zU۲I6$yox/+ctlI4LP0B.|ʪy3VL*e}E66ћ0SUhEJSSS"vTq;* 4/ tӁg3CD¾LC6@5J7ѳآ)մng-sHmxps^>/nO{Lr?cB q;#[YaʔȊxL2hNJrWV3=ɭ4la҇ܬέR'3Z*^:M!V`f*3m< d EQpɼ3kvIs&ݦ <6,aX=QMLc%A**։{wX(oO_}FeܚVvzBu3B̒K[ 3(/ɥ51c JHO0kzƠl/ _lt-SF)sSrc {"(k!U;Uû`p% "DululUÓ  ! $6RB L}f :󾷺!ړ*L9=Sh.s:J@86>cs- `䃽An3065@u`=y2Ѱ(Gi2v$֠D`%w&-U_jXOles%4,'4*ۿXhI\9meR>F .e]Xȷ%6bͱ=RUPoy?:DH{!D1[L}PC^i%!> ;P"o|=x7[U/FX^aFrL5qM-sɟ%Ѧ|#Da{ޮq36`:`'-{?fuW\J׶"koQ@ Zp[AL8C /!guFREZ#p[Nsّ Ƨ)C{?`dy) tLsㅜ$GtLpbpmI -3X1mۓ w([3GR?&/hb\[/럨) Res5.R ˉqR)`Bh;a=#1̹>``WJ&:G(TAF`r ]+>`Lp< z_9J"RIef\҅xnM6m6`'3iU IĂFjRe[lq_ޗӚZP :25XdWPxXEkƘ)WlM\DB*</1Q-~T$kv#ܚlwbYOFhOJ2{e$Z(3 ϜN!rL9"'D 0faF # trbP+os  K" - f(> \8=u|"Go &j;nBuP]{O4:X+CTFH=٭i׸NƝmQ`~l!yDQ'R~! J/;Rp*A%K8/ Fh]07GX$v~ʮ%)H &Կm*rȋԊ%Õ^n4܉(f,9"]- 8zn%V -ԦN4o}$\Dp}I]Ob }x TMj~)$4M8jeu‰ry$Ѧ7㜯䨢yu /FIQ'NIiĊ ouFŠx1Bc!:27RRN]?uDr38-OfqlRemxMv+`mr%vX& +™"8Yotuitbʖ]dN=Me+Qc7؊|i%;퇇fbxظXanf8<6l 1CY #ܵ=&cI{%sj_TҐ~2XZQoh6$ /$c/oӋ')3:@@N+ekϸ8~=pu+7[6A IϒdB/tS~9衫sPUzJM1AO{®pCۥBeX`re2aص@Hr=J!asJ>i}CHve~z>ړ7Y7 ˋ\odG*,@eL`a03C¯ª,7?F3 :3)ݚ=sI1KUV c} - 9PwsU-1_cql/>?B6\oyh"A\#db“+Yu"w誔6I+B 94/bQ5Oؒ8~0Q#"VFh2C뫽cby[&E4,VzτYZ)>C AB"A ϑ *]'k5 Vט$93T[v=L >wWdtϣN s+C0'%:5?֥:M&?N ͹dR&k:2_v;þX|0Q! T6lt\CO:߇ƾ# g:Y\zT gYZ 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ͑92>'4kr(^ow/;Nɲhƶ ig3*5AV%Afos( ݈:f}r)hPxv1$"x~ƨ]Jr^M|)X]I*æk[j42bqIeV>mBWS$˃6P\Ӫ,,oK-d6bXƚ/zq sߨPH"BDy9m r8 6[YvKDNQ5Uܵ39vQ+Pj3f(K;> ܗ)Z6є @5U0/K)  Mʒ op+F?K-:ŌcG$Ev$.ؒra!U1GYR6gwΧTlnn//9plO5]2K2!'${V(K"i$Ǎ,'"Op3vFJ'ea >]ZH}'<C9%3m|"wG-(,Uf*)-͒2*4>E1N'OOA 709t,ApMM);S#/ r<[M 1{{Qhg;?2:NIĚ|);S#~P#%W(ғP$F'ړ ;^ !4=b0 Ɏdw,jT)w2Z\qY∭X]50ǻ4[kM?7 oUe_i^Ea0dJJ f;ě%AGzZ܎b @vQUj};orMɱcIyWtz*dF /,eu|d(.֬IdzP"=K<ҢWׇtv.:ff ozomb AѪq iQ l[s) כ\ulg)A)Ǔ@ ߨ2ih0gE^ړ GUmD2Ry,B%hrd`$~usǸE/XDED-pAf?zlt 4_'wSi*ZWhH_&ٯh8=mvY+xm̋5%+[|:T2o79)f6#\Hg;RD쫹7(c,3whI{j,+HRlڴKof"1.J'+\U bxѐm 12_B@]]MH2ȅ%%arFo9]b էcפO{ :QMGh<t&DKIp5Dy#ׯg6gSZP A Vk)thDJЃٸ3˦K7@16d4|}R;{H K߅ TxFQf OA)(Ya!0}6Ę13'#HWPqf0GwٶK.fq 3yUIƩp6@[\##! $\Ze^xG'Snxe%"rh+O$F&8dIԐNnCJwo <ڤ4O:՛')O<䰕Z D@(*>/"v@h |PnA5Isי.CIn 68:o𶷇r30ue炼x¡bkFƠz igYZ7zXZִF!  ]ŗXiɟ1)*u%9y/!cOzMCko /aTNj00fG됱gYZ7zXZִF! +R]ŗXi%Frq_s S(F&ٶSM Gj'OKF<N/m){<&.i7 P"G%Ԕ5CwУ-;,'gm 7 UUXihɆjEh4cTeV bJJ9te^26mB T@ òlPmwx'xHݍ_I H*b4DҠ:UK!7r$*X6KbЯjЇ"1Bl וG[p0rxL Wm<uPӑX ![$9"sbk>aYwwe&z,[贜X@l?>3۝ӭ>e| mȕ(if^qjP@2Z9ъ3jKofƒ|@Llત_[oL02Z r!0T".>ZX۾<i۠l&jʨ~9VDTLybjZѢok_Y>g9TRLZs }'Ly)漵ؐW]c5'&8-2*md-[RݾW%`c{KUhQt(8]C#QJ?Fݡ{p(FVZl3ʼnwG-MώZY|Lѷ|^pW,Ձ6]=귣,)V9ߡQyۀ Pa"౔CP]8~>Z*;㼠^Ci 0B9~v53З68lG\Y9%1"&L ؖ# 4g,e,S9QȎ3RVm-PBe6&:;CvMgU/]#SIf\Q@ӭ%s}O]ϼ;+-DxK\mAjsBԿ"~rP y*xiBmG1 ^#/^;{^]BxD9QFt?tVU'9ʣMb:fϦ-&5, +ժi87.0} kk~Ǯ9Lܖ¾J¬75 C3v%w8t7TcPYJfkGrښk SFKZ|"{ȃ`PYZy+2D G1t:S# ,2ꒊq| 3r\Ks p)6 m1Mp y6#A#ruO+͓׈\qc/rTa' VhtTxʫTt>[)quZ]cLk|H;3qaZ@V{eV[pJv' ~Ty&_kG4uo0jn#"q7!LWyIӥUU jӭ .S!U[J#;YNz u("~n?M츜v\!nZI?.L~什;/,M0Px岍og'UalPMBc}6F 1!t!dد 79.1d쐰3{,G*"/,>8XؼNt\׶S6. 'H-Pr2$~z>BTHu[ή[=_03 ̀ixL ~X*K?A%߾2dkBv`[{in$75(_IzشOh9NĒI[}୲%NF =@ݨBз"ҦwtrR'ūXGfW^>vqkS?2 ^O߸ݥ_zCs~ [f_cTֱT\* +-!޽ ]XuЧ'+"Ze4 <'mxTzQ__ӈ^~WJۘ|Dk=H>rOMHƜ_^COCFK,|@kR[k1$|u| s"V`:L7-*ӏ.7WV3Zy$XS1{3@q-UD'&D+ɰ%Oe)ҰG} Dmaշ6AGa9 9*еi$*Tڨ^YW ًІF~҃I!sT% U3jK/t`jr)y[Zv:, p&z"GfPRq ul5@ˣZ*/z|^a\FihtL֥+(9kЫk'~A_$#NE?Q}m 6F!9z_/Fa(<"s)CkV5/JE-\N-w޾:0~ZmVwes&Q UeIV5Ixb&#i9P-V2esaTR1G̢\dfZ^"I N!R'up/fkĩݹyu]Y(m.rDEr !}kd(Φ}R Hn(gwpZo-^hIID!H4aO4MN҃`#@ú0,Fyt$ KOgodL^ybhXfɭySӚ- IwCT̐WȖ2qM()u?e=2LMnAqnג )qqޠ<f3"GC7m׺B/=o1YGV V8%/(r9L iucCT@/g<`Ghրn `;^{ 2rxDlar:-L [mifܫ+݁}x>,S[~LhbMwK%"@/|S(cD^z5+=)n-t -[]٥ pyGRʐ=/|D ʟ^B']߽,CN vϳwAo Ճ] cJ}q[;ka nk7Ngr1 j2{ i7mydC~gtSiՆ! 7qTc?PE}&$wx2]E*WѬ1z#wHfs;ХԞdv&V$T B?BE0\ r(kup[`niU]ca> LaC/ q;/ʰ) tԸswH7c[~PrShkgeދ5 _z&ePt6z+5!*)IA;;F}I1fFő"7ISfj_tE<)*w;XF /@, '_ C ~tQWґk#DҞ{kfX6@4~?Gۅ㧋mx#{0w z~s ڏпQ_zC`-%q~YznFokS9bUVI&(cȆB7s|| &i-Pm) ǧljڌSd矎 Q)5xZaGcgNa7jۧx*4#Ąt%enR Nӭn3;`7DG֖.qs`,SvzʊBnXc沯ᡅ!R3\Z8aWj*xU=Xx8$}^iMO) 8~M-&)#c_,"EEaiΨKF[ Wk`&!#cBk C-HXuϞjBAcakM.rb|x x`l.U?%\ݭ sP Ǽ]v7mF_"sn5`X<1RNfZ+b=zC+ZKrQ(1jHϚe$jp,Og( omP]vJ"&ݍ]&MENHkPjmf*~` $ʽўBsTɗ _\t(fU&/x{nXn&'T/ r: $*¡(3ՓleaH7`!SЅIv {P` qnF."&*@XOrbgN>YQ G̍*H_ZG\zH?1P /&1B3̷Upn%w 2ƹ"c/R:'qSl]NM 4YB՘JQytWgݰoLOkz2c?D|qtJ̨h߰ؾ4ť2Z-;%]Eqgm R"âbn}ŧWEN@]ST͏ :"qO[ Ynn~}Ёc&rqo\uݴ`NH?SLlXHom ^p[c8VWNX$N`wvc`N$ۼ4U²[wL9M: r WިY&a㋘r/qng!}KFp0چWf$`vҴZ#bj{!UC~f2!C󰶟O+.![X?~:[[P&<|F&X)8|31ݭ%0*m*X\RڔOAd}oL-ب\^]);J׎F DU4I5] ;nunu o٥ WP˪пn~@-`#+8\]%KS!uzCxlC\0"];0-Dwhx$pGE/UM~bAn  CX7u[-C$@q ]Z;jB J7T 0b.%?1bQslWbi,o`E2*L=bZJ]6R»fОmEk;CuOD^/Dl%먹x{[O/K[{Q1l.0RE:ד 5%`:q ,Q32so:Lpu }ؾH\ٟ98s^2,.VMGhb ]d*/S'vc'آL l̓|fBp:hɃ3%% eZ Hx&{)s7͢}yT 9O;,uq;?QּAZH߯y sZ$[B軦q7Ylcމr.t{5i!3:9_ Vxh@|N`+騳(Vi]ҽ4+@ZOY*ŷxdD|2j2 uOkn,fB!:H7!)k٤rWOZ4F+#M34jy53hG+rFzQK?85[jVdf:kq OYe݀v)<̕²Yxw'\LX!aڇg`J始+eHO>ZfDNj2ƗbkɜGDNukYo)E _5xsktg>)?x33ۄ(`e+š(r>vA~N&tv4FjN  .$u. J9?SuD/8sMdZdfvVʵEif9yNY:u1gɐdD=r]I"cT<8ZVh$TUgT>b&ݞ];'>zˆhW%OcR"\-C|vH=lq歫>`)sb:L <)P!W@@%n] AB\e(|\ͻ9!JDd͖t3,)ցav`:]ʀ_Pu7al%#A5:Xgb/bcAb" 2PL OruzTj~}3g˳` ( &T(5;8ROYMSlK 6s0Z15?Vz}x؇mLHn}kvױ[+p&~#R.]d8ⓨo'j6=7su TVO~#X8 h%my/o]e$ ;Dht)Ҁf-hy 9li]H[Gs`Kyy^4S=l n*թx9f ͼڛ bWQV.O,TQ2P:_gV_tPq*]\\՚8𜪪,aWI)J2p.jcpKB)4;@0U/#A\EGg1  bW:0Lu2;I]lUI(IJ+GK' աݮoDE/,"FTlQq P%GQBfv @s`fhXpsaS$dc~Ε}unn&z=!@+"G}|Ni=03VD#ARLz1d̫/ȲϠg\X _Ċk< UE">3ǖ?6 ;|Uvը&'Oiю?G.,`K@-oe52@!cB }O1Ec eDagq!|LԒg%Gp1'کk|'7سʕ?>5s8 '1 >L[SBe.;8!n1vU arf_ 8ox8,p:|8vQTCY+@']Ca?Qt5t"Σ \߈xh@=Sw8335]X nϪl +;) wS;bN[ߴkYФ 4Z3d0a޴٠\X ^k $YܫjBr-8^Pi@ (a5kSh2|6ǤPsMDCv y>gƞ^fw@~԰߀XCa[=gE646=Di>Rcy Y5M2W.WfɅsBe6A3^9?Ua<a1_ۀHY!<1{GD#)6ڋs |Ր_XC69@C Zܘ ' -sD1OzV[0%ڒY-71_^Z<'p`[zla"[ǁIJ!ߚ^w[d&hbP(:Z/bF4&0!@T~#VݷHȅ$afYLMZ >'x!ũmX8S-" %sUo;vh#Fr t.tq&6iՈF:py<[=ғιg~}A;|TU'դ|T#z8˄= fuӴf̔C[/B]!LbxZg)2br0IE%`?bP0*c'WtG<zp#  >P@{@uX]oKK %cս|o;ȥF3ޑY)OjёyF/rmgh{=zLJ7x"ɤ[quƇۊm{t룽Gu#^XXwy>q zZlmtewfo`+yK(˿<4_5-m_\$d'jU=jdbޞV;Ne|6s*h\ӈG˶^бFSBe}MSW|)l|,y,vZI6Âp"H =$9cz#kŒ/+pwUZg̈M ?a$]e%rЙINq k$[uXhpbIj$>1InaοI 𹦝nX9 Kڬ9A]"}!MWCVexojOJBpdž>b68=y PdܛQC7IlZQ /zT`(<~_3wpUaGqP3#-͠gI 8')'ͯӋxg)Ic 5wIg WZGN#J](oKfz0Ost>8?q1lh7a%fy RHMDʎ4,PI"0 RFAf8Lt#A6?bV,)jX3[M.}'8Wd7해 M[I5q_Nb\anDٖf*PrrevT<  .S̭Sϴ=&^cXK`pΕGZs%K;'EwhDy0͡ˠ~x^y4i/Ռ"Is5zsCQOl 1M8Jb D5BQ}q"A K1w +5\Wj,'B`wx2&&̼؜?Y,"7F}D *8O:QFI<` uQ{#+;14b#?u IC~@*>`wNޅ*}3&\kd !NAM%T^^pTOi'*7ѫGN?1.yNUƺs $Qo#-L߮Av0#$=ܹMD T z0>j̷0_2%7_8WsP_y:d0Ae#À 09+MU*;Dg6*_@5#a {\a)0@tloˢPe[[TR~v[^ v:ܱ9gfέqgcTvXu6lO #2rJ qkhxAۺo߆(*<inO#z׹&$RIK2ڭQ ؇܊Fͩ eM`YƱUI / a2}:NL۩ ӮO% 4Ywakn4LQKxb: B 'X2-Xc ŋfhN! ڲ IEةf^@rZҩ(^ڙIMjq9OlܓRpd+df;CL=]3OIj\)l˵0$I*42~dw+0+nYtZY%-.([G N~y__cqXzKC94&[M$l-.mOMCz{B2…gq_kXjw qʅD[ i0V Jb,zG®Ǫ%0&lD'!T_c$#G٨#2v=.$ͺ]Yy@BCb]5>c.&-/꾻tIv4ҫ2=VkƱ<5A hD%X:RLZnĦcm=熧s]{BVv縭^@\dmCIT|ŷT~xXrn͗4˸@G|}s*7la ~`?#*nkUk >D$~ITP/*x"j҃H A¥kN}zlі P5U)*F8+ W47hz*&pL$xVm3f A`>5'ɱ[G(PHfxD$&9W3rC]! X)+8v#uMIgK~l'#U&Shh+KT+.RX=ZG&:o,ⅴ@㖚?>){OQW: QQ:pҝj4^gdʦ;Zs: R0Us,Ό!N8?4D 3{u!E4 ɪ?{ *#[1K( (7P_DA4!o̐p)O9y ntC^dїD).8KFbx5#ʮc(OB"Wb9cr}R?D,h+-YPQ4[@ E{bKYn:&{$VOb̅=OcgtKH CY1S4+DX_mX|pa+yPo 7bi&[a¢3: )Qhp>rp\V8}iȱ>w=zST6MH-Nm%9!]ݻ[575 R) ?;ȯ3w?r@78zY ME:vz*t1K xJ)bhWU=q,HIZJ̥cc` ʹ5*w],:|UPI^txs5`J\h4gQ8b%f ѳDk+8zO|m~J쫩>Ro2b";<( l6p?K }S ?ShyIx"$hX\y;`e4,‡`TJe =c"0+t4 %)6g+M,D C aQ9l斮 2/VJ[}RbzQ-9=`2MV\Me",Q}aFb a}.SgV/?&Y61lY+?U ݒ/};]ӵ!gB-o#F SecGV+ lSGe|.Z :8wHO@y0R SY!\("l@B"e\Jr lt'&2?qD萇{\2jؗk>hL12ܤ)x&ĕ[Ȕz ekic|4Fq8@Csw˛ts!]"cf _ʄT/*ආ[UNԽ6$\.an?A};/jzk|/Ǔ^<[ ˜dV~F+=׌sdK p$8`YEh|dlv M:ve'*w hbtWI2֋6Pc52L/eWms370W/T}hVx vt,52<;KuWURf۹ i(i|b{$~f a aBSq8ކj҃9lm)e|5^wUw(4Ke6Z1.":)d<y(v?[YNl vb0u?%o0s/vqTQg P̯'42i&媧?ZΤ8gnheWc/$} <: #3jtF{!%P@l)1g_˛*P*N{"l<#;{?3J-r*rݹ G!Xs?F{j"sr+6Nc':qAj$[t`{STOj&xI7i 7@mO9Pn%jC^YQDsB\s})NrOTK`IXPW(޶Z%d+?9I]4_p,LL]]R<})3g0VY~nI7y(Pg2,7cqȺ ck A5ޗP:vHdҢ)èA&B۵0x7F@vyiRx!R`10~=Z|pGGƞa5/D}5`t0ʳˆ<>j>ɜ'BB=eҦ=TPQ^ЅKPc(`wrկnV  &:WsM!͋_AyD bb\}YvbPfAWHg=| ZF!##星Y)x,&,y\F琬;`cmȣIǦv]DE "^qcxۡ)GxߘI[Dʘ]IXXMBDPlbJH bX>(K\>PkoCt].ߧoY̫exhqDDZ'MKy7aHyk.~K]Lʃt敥x`9Lh:d\uY"T ,U84 %+/cDȀϚ25"צ ь d+ $b3}O{LK w-LnM( Eqwq)P"5 Rr j/[~=p.TܠJ&vF#N}[lX8xѐ8M P9ɤsNrT\S/Oxl h U5\׊bp!}e !K+.U6:u=5Ʌط􏮫iRDEN׹^pLe1 Eބ]WTvL=&8>"0K1-VlY8` t(gߕ#8нm8_W3c@N(Őya,nlDcƙ^"yNaj3atA.ܾHQpxM8hv5BNuD@h=f x}or7OY6[ƫv`F#sDW_$0ڦۥ<[ Sq3:x #Tؙ, KOc-ὥF,^Q2;%lh=o ?M3n|lY+nyş6S`aǚxAF^5%zVsw9%ЉMK;~xv&hKrzh8/,^ L_I_oxRƥⴝ)ԦcrE=uMūa,9좋ٳ @I2}Iq`)X0 >i3S5 Tג7-jMb_֊}W^x2Ξ:0Kr] (}b̐uuBEvP/8A grpJDӄ{yꋔ{ӦP4Lht7:6ܚ$ |z"dv+~6bWU{F yQW2yRoC?H`TN׳ԣ~/9db^J!Cp{/:ϯ/aMQ#3pP.s}uVLJCF"a%2!mR7퉁aMnO6u0|Y+*[+ z\blIPb ~r~ =IF ɷϡ9]sr5.4!s:tCK~m#O﷿A~7nHQ 7lC#/j;:;ZJ ce w-MNyFv}"VyG?Ig4V;$(gZ (Zl\h.ofda,Z`do@gaa /"  #t*t}k0._Sq97C~T@u l\ӆn. AK>P8 ;STfՠCO j筴Nc3Cjuvq,{sSJCg͔ w0%/ f/Yt8 VAZv*qJl]WD笉O/S>=W&' kU]Qz)ՃdCc ]K̟2/eewXϣtr,x Soc!B#ve'많}(ڬ%d,Od5/;9yי+E<- R ||#-UnA3zFᇍ־ٯ7b"}"1a?P+(`C_1aTSF-mz2=Ϋz,?cSDѐ nWM>Ar, ͗2OvwZ$7z\0Ag ۈlC CcY)xʩZ"( aE#=(0 ,Q4_2Մ {t{8R(+Seu)+H~ʧgU4^ Y]xEy*ɉp:`wx/E$JH~>: en4RҐ8sPо B^  U 17@L楗oI1i&[4 .Ek"xnA=:"t z"1bUWS)J?~iLFnGQ3`8{6#iSfI$u}ծw݁pv]QG h.y7VA8.؎#sMiLŭskNB~4 10+{('o50}-wydi`:p{1s'ԗ7_3C4nצV^o o˳c \LAA=c0,=oE%zY tnUn%G.oCޒqWQc XOki+zc- 8蟓n[Q O7~+q΅)lk!Ҙ06ot*Zk=-5NW{`;rs߼aYmBjĤLOӉ#nWKx8 qG@@ϧKxM۵ _O;_ x|PHJQb?UK8@ nN` SBrDu ԰K{4{a&hXccʔFA&k- 9/>Y#oJf~~HӤ ވ;Hq֗,ǎ4Dk 7yC]ȖJfڭ *\LKZfzτ7By`+{J+l46bTZ_v@!Cnbv3,ݝ8UuX/@V%ZisG }ň P$xBQXp^>M: ^v!7E:hrKqg=S7Ecඒ0gzJ0'L<8<_zsQ)8 N(3V֮[r0P/fάOZ/b`Zw(ظ\9Cqu!7{MEwe-WLkY~rFNHlFhnXW^?ι߀S=crY~Ztf =+0.jhQ1U;suqZ6_*{ᎲTqB6K"[Md5nR@`C;&;dJֿLQDWu\]-c[AI! a~BhiBw^%*gZu' koL!ıƸɭ a MJ3m@m-Ӕ/iJ~1;F#O4hMcqɬ\{!p?v& .{l#!SƪkE|l}ζg7i0.M&H(| 6FɌBOsgŽȶo Kz߾j-k V5^ҶFJ9@L๻5ʔ5MUZ+[\US8" ;_ݪϬ[Q_+Ʈl"L11r|?5ձQ NBZ̑rZWkJaukmkF|_홁lOxCCo >zPRB9(߅,$z5tsiq>; Mi:ҟ^(U$9|(M4Xn;+uv.[[򛝝ioȆ>|x фw 4$XY U8P>Kd4w2gQ3²@VLc]gq<]i 1ۇ~Q8)Od>\;D9ƧQTsJS7!`Y2*P:DP*5ؠ}KJF'3_c6ϻh:+1@ބKYs~sO-KPl4.Ud4U1y t"[iApb=d.Q )Ͱ<\!++Np:-ǿ0 pgh_31:'%=#m1út \k|f1e2R)ֈh4?սΗU5Yz@b>^.p9`)~DlPFyL*ǷEQmF~<{ < OҒS=>T_tHz "xn^5#,<.vgc>hd9_$ ]G0z$75 #i̚Gs][Lw$esZ¡1ja"gƢ)";xދ MÈ=xLUgy|hf1M|HϼBGW!@˪x%IhE?ިLGц e Gh5\$:k9_uA75=FV%2^A F|_҈VKd|`E{U 6˗36pdÏ?쏬*G,U<mè QǬ'\Mx,S-2)4Z6 o^2##DL&N⇱?*б DGz1DagQ)qt&%"F ~qmt/>3>;fܿHuy{*$q"Ġ?9)+{| $]a'tΦa'‹L;gLr&vҐǙ[1GFQN`jvv9Q 3r+kk.JNYegՕ(Ÿʹʹޏ" }@ f^ױ[ܚԄNLv_-5`gw?"Q=5;H4ߒ__E|?+ d=IGxŗhj2'"ULLC'?% &_ݫ">'r]`1@DXvZRf_P0XϏYp1f={i] 1a8JvxXT[6y̽>߲ʿ€$Z0Igu}*DE'cPYe7/5^u'qQס@lS;aClpR*Ϲ="q6qToRZ R(uOG1K (="C-I] @H1 M#1|I?G]rL`Kb8*QSsAj<3:&1}BެuSQe5L%2k'䝿m *ӕ A`Us-Q]k3:s{r/9lOD͎pMUx ⼕_+ .?]']U 1q=l@vjҰ3JyࡇdqK, m6d"Pa4(;sςK>D9d~2tV#P"*)9%D* 'հClέ{ 4 tp,{-)nk$`S5 -OmV%XG]E~1bC%M![i-UW7$:qޜ=ju)Æ{nz֢S ?IV-96b 9b cϾg#,ie|Y[^ΆcM&Lvk ]/^ߣ +3n$'%"_~%iJmXi*rTk rC i/ad1$jђ>DLWq_-XpK\{+U&۷]d[xF9{]KKT Cw`/_>[DJa:Nm /o\$1e.i=o)'y|3؝F^U>5XQ`L+1|*!|43rjrVҏvpi|K΅Gc 9[Ǥo@n3kf8,Kxv&9B0)C vd@o/&BIġ^tPVc5Lz7|hd=I)~}9so?( b>K=)_iKw?em0%nMUđa1A_MrLVȴkO L2ؼT_fk16 E{e1ɥ393?'Zڴ3Ƞxe,PD^/hEm\sù`V// Af[K. 8 /[ ͢Dsq)=ckx/ƟߤnިSTq 8EpaOU40(V{16\X!h Iְ:cuӬ"G$+IG=jF?:koEwm=a Wdλj1Q0,{hȫ9x#nL^}}ޝ3_5ً0êwjn _4`)ze3pf 5orǣwsؗEun J"`6GWOj8ogOoOx~S̟saNVԱW]OgsL><㎪V)Lbu/GP+~>%՗[?k\6hBMo6XiFo*=1%$>$//~!0trJ1aV}, ZS@T_@YiC+wh]'F+&p  濍]o@߹"cX]ȑ;ވo>38}ڸt򫖇 ;)n8C" +#rX-se|rs*ID-)EU˰ (oF|dScE&\n5a** "cQx2)KlJ+Wlm$SG,-d#'Z RDĘ1 ݤp{13 CIM\3+՟Cy,=id !zmv. G%Yմ{g^D*u9D<%*gHmFP(qb>g]\""z4xw}6nݦ?'ד u;||~;)}TقL&\d4v_ Ig 27Gv[UX".O&&;g@:MVڱn4(-?'w4#q'/!N"7+jK?45*@-CX]E5psGr*Ȯ1A# T^jtCe:rnd[8aUw~\$9E?>HZ)oߒbfQ8c WQDS˧lPn%,?yy@he =Oɘ~V LdĞx6[dݢE՛bw/B#[KD!#GMA拲CP7B\1Bc8s[CW>q0,bi!hKA'͢ViS/49/$mQ%rBHp~1 ź>ƝWCƄBUUڵdôT\>3٠ݍ|_P,V[B&45r#\\!h!.Z靡͜-#]XStL>VMۙ'< ݥ:Ḻ޳pE˔H:TP3?3W%$0 Չ6biqfG@ݸshRxkJԯQ1湀qjdP0F/%I# cskt#~w۔KsTd(R>V0;=W+U3XvpL`۪!}.<-}ܿ}"}#MwfnLaB 2 P i].vt(Wx?={ܧ7 n`UAy:4.]mGת A{(HpJgX>KP#JWjB1((-)\J<; v@[}Qq6T'u@Lƥ4qҼڠm~9'N6k6;zz@Fw180Yq;2Fz'M>\BG[]Vy^9'> * 8&Oa7lZcfP!Oμ%x \EvTC o5c0if]IR?gBoG?6\OdsʧONT7g,_ScB I5F?q( U}nN?A 1 0Fâ< T>ćvw/2!%sj+"!D]XzP? Kyd߈!^qZ)ZuYeIJZ RߣOax:xSJWw/[U,žjuDiэ_vqP~]TOޫ !,60Y eFKcSw38@0*Uy 5DG[KE/f0$]UX[vrrxfDux7$j- :O(:(sE#BfӕK_'Ɵ}?3P^QMg3xB :T+V/Bĩpͥ{0h'qPЂz$ȧdӡ;䀍mSSۅkgn)5 9ˏgR_Fu‚u7bŖ,ay{6.h3j9xHu4ڙ q[3&Fʺ*~WQĿ2 C{E1^۞]Ÿ{9FƇN0KڡJ!TǑZ%О,qT2CF$QBdYB"7ѣ8ؾ4K>> a1R&xtYktͽqtPy:?uoykkV"TKi_g I־?\e%= Z6n=g@Znƌ OS@o`8@X݆WTx;@9t7x=:CHL[}մgf.y'}Pw# ̮C6VXRzVeީkhQX)cĜ f$WP'H?^3;,RhS+@IQ%ِONoavA] % ?5Cґ[ o7MT*D_97Y֓604CyՄquL8KZ>`L_WDo'Յm:C$ZVL pܩ aZ u R*Ahٍd!`lڷ qN".xf^+7p~̠ w͌ ycC-ݏ$Ml}(056|ڸ` PB_4# 6B.%g#qDd,=ZP%A?fB?JKV-C(e :|PdnRɜ_nHִ;pB>pFubQeݨA\R\yZk =)P.Y =fw!AHGoWT'BNIyQ!GC#Vfnj[h0Qcʿ+遏PyE'ciVRɍBPrEh)d+Q{j&BSb!@I," +| ^Ltꯙ憌w.+hEme5z"pj݃}1>nZP('P~CV*wyM@ PewkxP4ӎا@̀Hg `ol=|@" ѡGO"W#p e˲3;ם|@&א5!5dZ 8JR"QkZ xY ҪL]2OSYw`%"'F7DPgOaab>>9~zUIzDөk)ug:YYOu{)RN~]/"UT#`Qj!,oN]4x{aeVBbF`*e@'è/rLjEyӯf+U+M+7FV2'8Ю*K^Biz\η6o,uYD둄/ |m+.Ck:?wh>چaG@]QJ!9/duvp@@9GaFAtU4N^ZC 7D (B>:eh q'\*6!%