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 jjn9~|4L ] HOL-Datatype_Benchmark:threads=6elapsed=511.939cpu=1824.978gc=699.9397zXZִF! 4w]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;տh RQpT6/鍹!a-I *ܩȫ@ēWy i 7.-QdYmUDyLV߆oT[f?-QA!"Щ"'dNEUkQN[? P@N^IحjrtZaYTQ"lQ2նvQv!mME2' Nw /({l*!U8VvM\B2&c,m ܂.=o-8i7fDz0#FؽY̡^띀~7٧LאkwNq}哶.Õ:]ݝ渵Ckpz/UзإCrOʴm?0žwi}s0F /lQX; m:MGut_&!%er$G/b܆ Y!i=LfzIlU:A3[7%;^df3T82vzPvmрl>ܧ@ ?Bnd3KމKOvcf,>1c\"Z$LKNEQE_WKJK:dFOEcg}zDnnx`wfs/Г;ŗ:f` GTQ޲l߶(Dj,GP^Ń`0OQX.螽#U}o#s`LvE*nCƒdʺ# ml3?1ģ1sg 0ˋF h|.2ygYZ7zXZִF!  ]ŗXiɟ1)*u%9Z}Z}n4y])y D6nuX/zTjHз9z2]0S ^7MOZ'(lNvnaV֋eI>PLHzx6TO!^!KnQԣAbf>U&dIl(2bHmz^R0C!u7dg=zrU\tj򗺽y/M=<JB M&:=Q5-+dp7:u%V6`{i2Ƌ/gRtd|N ^9 `8G?(x=TyQȶ6YlVw (XZMRva$ 9 HOL-Datatype_Benchmark#"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"*΢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 NANs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520: 9K' lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢0]D?7 {?:fH\7S==ӕ\3LG}#*?C4h?V՚nb--÷bfUfN%t׉uen,OFF(~ {N {2jWb}_}lzm?qv8reoG-}72J|K9[3Yhy1lώ$%WjXu+f[Т8 EUePJxbUz? 'B} IO <zMv]EjI|ɼV`JFF/it3ПxƘtjÝ@ hc#w`;|AA, q;I]N_%*h,.G](kIvFy3èMldXAt ,yĨ+p|YJ2pYPҬ{GԯkT uKypv!fn 9K# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5eϿ>+}{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_id518k9I# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씋%oo%#7TVM9bL;WqkIB5SJsA*W' 5͢/bG8Y'lɦ}'KNh|/罺0Ct% wG)cgi`RB˙q3/(YehRf\I5a @EOƞ ueigߑY^?ma@/5󢠖XӜZKn\+RV[7]FMA/#ɭHaSR9-nFDo߳7Gʖ\o\1鵑mC1<lV!^}qn|׼׊WWBʽf9{fLu~Lٍ{ 놌6nop_}MNй,D>3.Q46LUu7Vg}@ְO82GdcC&}$O:0'B! ܧ&or9IHURim+Zʴ*{gsBƉ. l311 !HĬ" :KOb%z^2z2ql& Ґ{[T !)9t'ǥW%ٓ8r8¦PfYOW_TܹkgֈX%4C{ E SbB.q4Ms,+7;l/+VӒ1o Дer?)gDqօd#lR +R{HVe%\VHkT'b86g؍ZASJ'%OncT7h 1WFk;{A >jB1zK)lq͝Kw۪OԈAi;$ćRb3O%z"B_>A U ޛ9%^lrY'}<&B  D$P{o-ԃGvDX o\ٟrZE#W_&z^M0$'9Q? ۩6&X^POK S\.k5ٕM/+08O3i֥L{x]wP;MxaoTTW!W;_yeq',/h~!?hVf؂~ddLJ Q7yz7@r#CqJٱ՗RT`]IbE}A}lh;P؉'zLmB%p:oRkx|_\E}xGU\PkOb6 ˌӃLt@55UeB+>a#;9t) VkdR!7< ׀2Ɍ:?l-k ,%GIJ@t,f?I &)mdW6`eHtS^!&y)%@W >E몗z \]W=Wi@NKݏ͜nG-- # 9ӣ5@G>^m{pq1\j),wYPY>;bŃ.)gdO'u52CMn$O_/$k_SRJW]Ʀe3Ać鹬q!@Į~o}Ѫc?(>~] !ͳV#fx`1dX2'L"W|w*gFDcpEÑ~7IE8ޝ:ČK2=Hv]'F*bR gmȕR*#H~ҥ?-ɈL1ՐGpٛC+?ڄ1kj_Yݰz"#a4B淋q60t]̝wpѹ@;rpJ>CwN䕗FkWu=9ܧʦeuYtt}r^6"* 3R=#RdԡJÐUFlZWv$YXK. / gYZ~*s[llZ Kr뫩#cuDþ7+\޾ ej$z#%cu5 G<{3ě*XK!WK-!+|:!/497x薳#Y?Oj2}a\-8۵q 5X ޳^`$f%;"3ϒʯb}rC~݉&T 0Q/H>=,zMf.4 b&d+~b@q3g6)(| _W5}[Ux,h<$Sgpo6s$nKqwD&24MV!qMx|!R%* X0@;x*2dO9<>SO 2 c>RPOZB :p!7ЪC1r<@Yk uo6I\FfNgXpB4?Q@]eLyK;zO,CXT|O:gU%O%$GLD8oCrW̕p$2:|&f6Sߗfa"J򘚝md>rxN֞W١1{'V)B}*+#J;Ш}>6vh^ozY r*j$碮'{֯VQ5B4L](VPLRS 92\s-(366W\ 8X3ȁ1iX`b~ڔ,qݘvo ʶMMT _-+QwA}.iQ *A65aЯ fIK jbahTTjqQg4_o.T+Pb5 ×8A(l#hιNȊEus B+vX=fFA0Ck.rkF:o [˴m awO;H"FmB,s"cap[&r~T * yj*1SB/6a?H΍'!kn˲:nhݣr q{+0y6K#$[$}aHV/*q22,֤}dS$E0} kVkJy]U6ps)0:Cn^s1cZ \B(*%G#+d"|Dd G%*C[M:mBHʻR\1+Ȭ7]_ $Y=R#J+֬5@|4?tcH(k9q46ܦܸ(7=tGqRz}4=jP kYK>.ŗ2UGd?=WI0hJк.\0Ku`<<S9h޳^#[^[=E!‘KFJ>>-Cy3*VH.&XUI^gdb켙 (p.0SR*-:+ [DJWoW9bqXc0՗ęVлX]d E&E^>qqJ)ۃ D{fMlzvT0]%t;>%|\i[<tӔ~ch^! &}iyʨPѱR~[7e4_\GQSZ2f(ORP`${a{{_lpA%hP:Sx7+UۍT@vs&V柁..5f>Dhձ,Os,`\Np{hƄ4umHԎ$ld͍(y{q2\w!Wp$KE(;to8=%!` 5نlth%RW'id>Mg.XQMQ{3cQx%kiɘ8Z=K,2-r+}Dל98_ߧ;T"ϖ~)“jJ&kİD,T7$J'4HV~?m,E C0 ;!N5.icV]ƦjMdwTb$i jGj03fc뉏b_Q 6 չ=OJ`US{@Byt3qI$O9\?0]oZ8 ߕ%YC] Pvu#p2'qݬ/lUU+Ih,A8~+7'Cbjy{@yzL!N[D7$kذ ^**Yͱ {ClZVK"RjޤbH: Կ9j"6hi=WoV3f,E3jc χQR[VR.UaU<G_+yw1M5_m43Q8j`ǀWed8IQ>_?/;h@ĩ"ַe9CZڐlfR 8j^N,u2| ^a9&h봺rb{FB2RZH76/ІL?f/- q ޸l ]J+]V}EV]xX{ 9ܻ(%qQ}ĥ,El:6BӖd_T^nhkEMH];f4(Aj'=8a1kQqpSq[L=)m"W?w8 "{έS,~oe$ﺜr Ėh+`x0 ihjD1Yg(?_ tcPi-cM.0* fԧWl@nQ*.vUWXJ4\eItٲfϴxPrelIc@+Uk%оYi!Z0撬Ea"VTU]Wp} .%)s53-f]XkEDs쌻\|O5rX:[H![s5bQ\ؼc4/ǔ#pLe`T!2yxH3?> v90?[˜Hs:)T*w@/s's1^ܑے٨oD(v:g^窟5PtAӶ}ko (N5W@?NArʁfB5Ao0nqhPL@Vݘ3^r8rO3ڡl9R 0NyͭJIrPGP &U~{Ŋ{4y 4rE>< "@u.w S|g<) +c]L΄y涮(I/|z>x6 gkC8TR;^r V;/y2̷5Y<|W}Z /*$kX0.f PғKӘQ [[}sڌ'`Z`gWUxOe'DY|sɺ9Ba!v悇Ș7b9\V&"bU(zO͌w%qr !gX;rA&}sG/~RwJ$/# ]{t!R<@ Q&3Ni[ 1QLW¶La7A(aCي(N mk6w%£vR({[Rl,J0g:ʙS7¬K,\d¼`^K]b$ZR :~z :&}#Rʉ#(Lrha>.!+! `:=ˣ/##{קLᧂZ-g߅SPC/ȓ0+XWX3@LGC%f3 Z[d eR@iKxxXO7WJIZI+Qeнp@rjW ts^~ Z1B?5kY7K*3?h3q||Cf<Ć=[kG;EH1ܩ؁\mQ\)ՀȨ%HyjW?u['`y+E֋G49Rm³Xԭ%7(s+n_zGzn K^ Fv|u87I/wĨFr\zggM )*}N xSY-Z <OTHw0N/2WYgoY-'@J'ӥ:A /0Vm̕jGr2^qH+r #q[qYi%)_* 3$'K^b}pUnP1ҽ<{ B#xđS`47ˎ[l7:ځ<&$gV^F.K?UyX_:E ٤7Z5'"[(6MLP*׍m ol;,M7\CKFɂbS:MÞvaӅ͙{$ v-8CơQekl. ?[_ي.$8@.%Vgvp,~Z@.b VwA֣)"lRߝMq!U ^{Ϋ+_*2"BANf#]l)z\hT!W42C.TlO+䎊e 2 wD>+޾%8frP/ғ6cbbZ~90ڴ![Sˆkj,H'jC#r w%РM h|<2G9ZBhք9Qdi!bWUݘFE24 )+$v%ƍdž)KȬ\/SW3Mtx_ӫf;Ρ*˽h(ڕm.*O!K.$r!mG~uz}2)NC|~6?Lmdτ>/w|Lד>@ NSK(33v'K1DpU9~kp+cؔTY"d”؇e7D^`DXHa_%ٷ%֧dҒopf|]N,|7_@MgvM-ؒV^K͈~??LHҪ\AKOɜɾN$:eGFlI:Aj);n"C0ZR6RfzGy<3íiԘZ ?ԑ48\=^&`McFAöpexsetJzߓ3q_In3P4 DP+})I15TMvczm*=S ~z@XaI{=iH%tUze޵z˫Ĉg0L=V@x)%cI ;C_p}Gy'N|fE_HjCDu{Y4eᑲ n|a/`?0 zӪT24815/K b;,'SzI?7-{xWJֹi!f9rhߍar`jMOb< 0~~=fܣmeh>qjj7_ -l\T#5\鐺֎>RukNҀ \AK쎵D\&6o306doG=^̺dHdţ]D$@En!Ьg< GpiBjևq* .vԹ^IqS rnd)=>hU"_\PpP90KF?,+/Xzۆc? Z>DXy Y DzG kzQ?*R(,qdA-J$e.μ$^s+^hP{8t(2Ntq^NL9{(xĺ߂Aǩt7X-543ja ~pI:ץ|UZ ^3Rxc(sN"N?[եZ`I r@8p&t3;Il"n?TOB\ߛ;_q>hDߘs6fT!Pw@dp%6 vP @]ZT#-8=7+ڴi{ʊf|JWR>_h1=PGoJ;ڈ_cGZOEzov F>{A^P ]fCҧzTfL2,Dh;W[<%-M_G qf|Dv( d'Jm2s*,-+F%X ֽ%VA/|J]01JQAH0} { f-z8X yFr7Ft~3 ."*h^C"[5qeݕԃk(cK 0QK!t4k(9(E|$oL,,i_4qҮ[/.m^Q6H¯'fSsSP8?J4ڄ|Q`?@WrA3g$gC#EenDL~quy?Oђ\1e6j2#zS.ҠG EW?lRxkx/ZږIe{˘hoQvP.o$/ʠa \U ̬L[=M>Hgi%RQTɆ~Bn%~Պ{R̡Zt?̓ϙ=+B P(*71q:bcjŪ# V-&nMJRt܆y:|XOAD4aRe9RɌo Ի|; Nb`yӪ~@PSpydv QԔ|=%w {-ex|5{ cvbtγx*k2 f}gV6#goYqK&xC6MY ٟL(_kUcJr#_'4joЋgs# +pi8pu X%T#EyC)B2`#ϻʂ{ dF*ۈ3MaԓTRza:gǞbDsě<WjF'>l K?W5 !CRq:j6,*1km%U!rU w۫L%M*氾3pA8/ u5j)Tx!-x5"`b-r.< Mj]W&暡ڭBK G}&&)oMQ6mv\ڪXe%$紗B{w4WYλxeAZYR)gFGԪPdh ')Ĝp[ L^Rgs5ꖫyp R>D9)<qcbhcWM0o›BJh: ()5mEcfRJрK/"1Lh|S|_5Ht{pT,+̓`bŒI!"bg8Ebj816aIAM&V:ykN?.!@1 @iHPn.ݘQ[6׶d32d]1[DFmzqpB3Gkug5 lWǃBߢs=p%%҃8JDmr;,HVp}pH\BdJ?BU*]X[N] zfBy,Rv%EnFxCmB}cY6E{7ܿȧΊC}6,l`C*638L5[baICR#"YJ:͏CeQ.k޹;T[@~2Gj$?!LuŃjkGyrZ"4+j1O%7`sl*`!8H _k:C;cɭ7;p+0B\KPкd~Ij tW æ|zQ9;QD{_5,TtԼ{%s~)MyNte=,&-)U9~\v lo7pZŶ^vBhβ#'9N)mͷ2;ör/_:XY#YA̰tH$t4?0 hcq&qx}qM)vNFkQ-+Ibr->Ç+;ͶϨauy֞*K@Xת7x ZY'7"ڏ KԺ  ϵc q#Bd6sKA#VT1Gkû6Bm7rTzB=$گ۽0˧(zA|[/W~ӄcWS1'uq&`ý&F&D{E@dqFZqaPM (ʵ06 YU @w5;u<#'lDp*Ys mR[?#;4 9iX0ع@`Wq)ڰ ~$UTE'P o?޼`ek|Slt) en\|Y2䱰 %MCU"QNUg+߶6PYU'e,չ\T1Oq6w&%%r%v;w Trzעup+:dƽxSᅝU&toe?[+ƿ@zoF ]QE#(5cW0|L5eҮwɷTVoVT4&0;֊oBN8#J-cO/j=EeHI~nH&S7 r ]j)s!B;s-M~rݯr!PA )J~y>Э~agn0ph!7(Kˁ+A_䁆{<G޼ESsbr,u=72ײ6 [ ] " f,vnˉ'Q\qX%IKsK. %gIVA@~y UX4o< *%28:"*4wxs.qvxV"V;Lkai-i|vl3OY|{) YPJ/7@.QF˴ 31'f$U'Qw? Ə>J\,V c+#'k nRli]hQ=Tv(53R'6+/.' k (I){OVl4QĢ.iݱ2Gt9" .=^ b Kҷ'w!K-=Y)&K&Aaǚvd JBDv_@җ$UZ#"cn$%?cL N4Yp)[زlµ8ɬDVvy=V6׺=|SnlUJ\ҏR#^~Ho?̭4ZBh5$# -ό#ePP"{A֓I$A{z}&́n6! jt63Us hJTĀKxKt #}m~rܞ$/8ry,^~~@6raTV4N mFyAp=|"bNpՈ!01c,h/oa:|.rBxiO`6Je dDJ[G}G @ LI` ؔ~\D ȲZ5 Z׏/Jt_2]N)[=PיȕnCʑ=3YA%80,nq",u3WC(C0bIb̵,}Gȧ2Q2V&p:܌QTJ_UE{Cirlʅ3Xv0K3齑 ,Fl5D*@- 2'߹o)3L,2(af)O7)6]=,>f;Ow7a|+d ֡x *t4N}0U\n D1kCeK.cMvJC;!6f3ʫZsh]B|M62I>DIhC' R?b-az :tŒ¬yl\$77N塬Iȥ]CoSA:G'qG&6aǝ4YittXx#q'{S>Í Fcz+;PThEupc;cx$qV 2vWo߃ &OB06IZZӱ IŹ\e[}<Ԭ-&ktQh dWuUr2F\*xVU1zu+u`Tܹ{.Q />ڽS !#MIxD;Wt '&{,edq[҉ D!DH@ﴯdB ۢwDΧ:oSj0҉\GD~g.;!c n9n~8c-I)J& eP;?IzJJT[R|]f5g%`e_(x2Q.2+{[i(FY y@9&:sZ= ײ8] l~)j@3;UqfŹ neqǫApg\TR^?J&zYkvIZ."Q;El'(=wFTx3Mױ|2Z/iM~qgUj*i}ak`;E,A=Z8:=lAv̌2 7ۯ3g*:{F28xAzK Ǖ~A=@c$oHΛ,vUE@]onveqX2X$SE<=Q}?wa&!#QH䀑I5UM Lg؀)⨨)Y:N'uϊZ{NU{%faQStm1K}%* AbqH<ɑZNpZn+̸ظ^F?!`hɈdF*h˂+RE,C^Qq* hZBmavEJJLykRw[Jv!CAbu2qXxg hذDygUjYTtɻ0VM oϐ9C%Σ]>근hRYWyXJ0 9W17 ٖ~ݳx(4w*D9d/r&ks12@44N1}Hak4={G5]ü:9]ݹ@9EvuҸB6_6(U$dQNG76GEMz}^Ln>adVeV2vʺJt'b@r/P~BLqY봐HHƲoNWZfS)?jCv_kQx_0<, S»ЩH~ rqJE,%m EcId^"u鷨ww(7p#Jc֊H>ui0?e\ .V;>C%,U/]=K6ָE/,p୆#x6,[QŨۖ90n?R^W-i&"($(J-wxng9EaqA*)Mn K{TG9nX@/ۋ=|g&!-3BL9d.eޙJ/җ<w|.kjƵB ( 5`aSݞ2:a[+' 7cڷޡX:hH+xR.T5]E[썿@1ΛY._| w brLF ƙl`F7Lgv I¦j`|4XyH~92bƇ\M]*rɱ` eS CT$i^{Ëw(dkZu\4 sD$ȡ+ ?(anrLEpn*XΧjbBj[-sqK7kD8. ofdphc"gldn]d ̈&i$g94֋3TY 9 &O*GNӐEZ]i1g:\xCCaK/"zUPv{B}[bǖ^!\~7E{v2qV ׊PJ $/9i{cş$zB\ܸǰBLl{;Zǯٴ{Kfnu dsM¨&F(-#ͻ|_n\ڟdt \`,+‹],Z~ N"){[|lJBR!,T-=д8(_ {PZG?HC:;oU ,n;}ÐڏJ*VM[ǻOǚ~x)C*IԼ9L4IG¿]jVՒtn(bvY_]K52~ŗz&ACmh;5D븥jWA8׋)o[zMvBǽ_`e[ISz%^G$a`20 {-|cb!gie[*)s)'+tj;cs[:Жy@3*\xȀKӑ^D>TL!ym ,lpT3:UQ :;'nر) p(1"v۩9e48 :ǑԵ,ԎzY0%4D61&v8k1K9X& 5u$"* J߷q9a_mF?I60Z[*q!BMK5GX(2$F[l$"? :6yٽPa,) '2ے䛴U$P}"mze5nߗ`,@nM[yeiFEE Ȱѹ] kBx߂%vB㊝:S{-N@ʦ0 e:V){%&˨(صҽ$Ov#~D`#i:;b 8PZUe3&P#qCQS2g[Oc[._ a%+:1fi`$ *.op먙$Es`yzҹ z>>'x;PD8q =XUI=Q.^3 0*M}OD-b;d~"$F)A:z4^JcSJIOnj i-|1"sjʟ[]ɺʷ$NgN:V0=x!Չ6F휞ɟD82+w?R@h#Ëa5N4 R bգ|OX3YwOl(-61(4M`zFu(HSO_s0?gfӵ-v}"pi2^;J\g@uĄEk2sU1CJBL0((†yfɧyiEDɺlPq0obyhy|ԓvd8v:M({ y^%9"|&!!.`jE&X*ǖRuB+#~ŸPɜ ]U/a$ xigZFe {01`+P,<[0: ikLGS@- 'P|ox~w,^;y҇+à1~duK_{)w\8ᜟggі0VǶG|!a #3 <Hë#y dWy%nF@{6"Kr@9ܤ (?8 otYr~3")@՞pwT 1d(3D٫CUo65|+I?VQhSo%<0i+p?XKf4ɾޜHӕs(4}Ԛ{vr3S\*0ĵ\'A[6fBxrgk}"r< 圑_ .im 4L'j"VW-a_A}c '/I&בD*Rg2ďVJcc%(/Y<6u$IoH֢N8\4kk~` ]*4V2cU* "*|IQR[o+4EkJpKq(1H_:qcpBؑq.jjS( !3dї` `X?h{{['I/`QWSU>Ao >݊FTĬ@o)jŞmSvnV'{ZPjF.7}/.lڧ|ה2 @uh:W}Ztl!vH*RVΧͰy,Q7i뼙gG ;0ۧC_ {4: N>Y̯ۢ Td kWRG7ZwLYxutRyH[0Y/)rZޔ%m(?믮!n N18kR.{Z4OĤwl[&ǡdNл󦜩qE;RF|ghEP#pK:fRA-G̘*G(Mzx4,{W)el7ˆxa(=C_d>|y<c#K]hx('?AN:7%㼭C?xo 9HIT8 (:#-f9ǺDJV]u*-bC3`aUر/Xc.<}]ik+TL<蜲ޟ5]|5;ЁP-ã(دpFLpp BT֍7X23}j$ 2Py\+3R"t!ہI#c)&= 6FmBt:D86p_0>8?l^׍c dI)]Y܄ ܕ&eC">BޒK~V(9#V 7{,GQ?B>Hg$i"pR$VM|'>~Pietm2Va2;Hfញ&2'b1 5 Dnbo0`AtRAxkFv,Fn6t*3풰TrZ&doިݯK3D *B8~T=~ UXcgVRg(&g$ xkɆTr8GܑE=z ^ʞv,mu߹7?+̙^QAfi({I7kyޯ͑REb#2+scnCy@-T\3G)Ŝe bt \vsÑ-~~Mh\qF31~c2 5gU--˥D瀺:#kǐg⸿:1wMN K!Z(n`w9W 9fpa]x` __{_8yK1e$L&/m+^{a#iWᐆ5lz+W.{þOU!͉7:J2c͟@Em&|q=7^0rJa1ƕ Ԫ̐3%JdqN| `rZO S>/βd:`}9:$>LI{d>f~kY+qB$a4 2)盲x5ի%gH2 JһD_'d_x5ͣ Y3m,<?bfdvup`%Kv a! M2ɺ0 R 2Jf̙\C]C Wܷ$TLγW-(FDgmPv)S+Z9qH߾+(oxB%A[L9S礅\jMe`r _t' iu%O:3ĂcՍ$Ur?܍(‹~"X5N{j/=*nӮ׋)ݛ S'烴(9b )'|`>:WfgxʝJtYnlTDchrHV 3Ud]\V ,|۔,o%MRmsUqQ aY#b0L)?bgb6!eh{İ0ڇOhW-w~ Q}# =}t8cHEis.*&>`S nFKEY.dlo76exC%en#g ꝇ-pFاED l>O/ ^Ѝ+)}]fSghƇL5c#q{Q;ReBLm4ƭ0/%w (Qn θ`S5jP6Իv2bAvpnD-gHg0h*wnzT]GlݕgLcA9i$#P6Jm.8|Mʚ-А`ڛq3D^ՔǛZ'&}{܎uvR2A'2w]D4i1X&KW9T)e(՜Epko7ۻĦ]zq7{Rg@;0uKY^gӭCq>fS3zc黵urX/XLp qG^::85$ȿڊ :nɞNGw4TY3J^[m*.u΃2/7Ê.TLDҋcj]w9_')8 iYjr*tp\d ,ӠFp@/>XXWaxBxͩ$~eN:F0mhIq={~&~JZ)O‘cyuP$JUT~1;W3zS  `q9|K*?I43e&]7S&Н,ay"3a6-Mt׬u ZYe{><9@4 \'86FoҪG&\eI=86g(,-p)F.+ҺWOjͦ04m-eC*}d:$Jn4XR BGҼŠ=WB6N̘㘑f5m|Ks ՓɉٺRFmfWC挼O^4O}Ό뵢)ۚgHD%_ ][*L.ddrp*;= [u;.GԃQ԰;h5 1o'rrۭ} \ z,ݤV`l(ȁ0SlEŽ*3/2'de.+Ī.A5U*{/0b`bG]+L l%gATXNAKOft,,{P]h5#x kr6aFg{f_=y:Mj\6}2O#-qfJߕ,K1Avx-TĭBCL@م\A ug( NGm}vx^zPM?Zhf"`/׆ȝKUe9 }Yd*Q3,_u'&i{yw WƠ8{cՒ\Iv]JQ U{G NoWZ'!X 1'Ux8֯UҺ8}DQX?ipգ/*ʶ/9< p$S6or3 E3g ])Sz?3vryYݲ۶}miJ"gT:M>layF<Xfժq'x7Ww!!2 }H"2˧QPHm"lͯ⋻_ا0T*`q@F_AJ47_͜e.+K6UÄMOͫ]U/YlQeYq7:@=tdBQҬg|7æhǭ)ƧLָDH$zQ_g>)hNZ":rKi>S! ||ɸ>1rVIϸM t]C `Q=Ok0NYloWx0ƞ;9fϦEׂ5"c\%ؚ\f A}RJo$J h}!-1.99ar2| U'Gpߦ?X#]dpw )E+Ezc[1^CmR@Sk΃45uTEK+]us_9zmk>x€ӳXAyx&ugbN@g=܂'9Na*=J 7?W? d 88ơ J]c~sa;>dzfBIl2 3e‚0y?EֆVmk~)[yְ7KX9~~Z HTK j2kI('[ߛzZۚcU, /okG</"z]Zٍ`8uB;'B[j&6cFu<^/=t_ m!yNO8"\)ζۣ|q!qO$( ?SolQ$IR閞KmgYZw7]Rf4:bj[|\^S#S01PV:sVsCD!>bKK'Z*(loWTѩ)>n0N=Go1\oڽSXQKNo "'`F-e&ä dJmownn~ niYXypO#]*ȳ>w2i=q"&Et5Hzbխv6*/vӓouY,6mƾA-[D#BHSM .t>éҐs7CbrYR= <cGDy WH|1=vXO?-`_ ?MAYF f!v5c7Oa@PA3'bEv GKN~nD^<߄*_Xwj2=\v`.?EdA'fTխ=I𥳐 !5D=F(ݥ,P7EצM7]9&3N;hyh|Zv:y[f)hEh.m/;;rG & @q3kH"S6Ci&s=!nZbؼiWdi+!mWo2-W/Ў*;>ό)2n9$R(a`2 +%=sz! pkC1YDQ΍XAi_j'/Lq JպT|# hyY|Q(JxjbFA8)&֍Qh1 hagTAnq)Xw鄜k`H~E' 4jg߄4dzua#_o;L:-p fd5l%mK]MwY_^g}:jca)#S6;2ގd;앐FkU?n]{֟[YFe0sQFəܤ̈5tV00r:~}{x;䶯]D}[x|J AKoFBEVRmy:i^ֻNԅd9 VJP8K'%n߹o ֲDUYz&RzQ8Q X,mSB9}_m@{_+s;ݶ*,W0W$k3 PT\ rLsݡkאCm-20Eu®uRҎj׉m`Dp֋16ߨ!oT':4D[!NL|(HcJSǨufdEwgq8=qTh}vp 9toc" jr1EO=&nBT1([g2i RVȝ`p0f)ae NL)az#S:U[GiD! {M;AZbjq=e׳ѡ%N7G&E@ },"y58qTin؈:aa-ơb5s_ i?Xlܾcfou) (Ԫv.EɌkD~նӿuFyR~f>N h7drB8pu֦iAs\'|1BEm^ (󺊗_aegń :9x&)cXd;dEs2,^Q^N4)D`7v:4@PEE]YNyޅRh_ă$2 d b-{vX0&z9s=11tB=sP$MZЭ$c(GNMsgZsE` >o+ )ϢHcRlxRzPM߰ת'K;#oYYk 8}FƐHMj IJ_♓boJjq Wm^у;ٛԾqFu-@e gܴ݉N;fbYlqTN<8.(*r;n />0.P`)Jh8 9Pl鸑b%n2O|\)~)/8icbG;"8%Ig?I*q(Ers_@+ԀuF !64rFnj#% X-8_YKo$;^B)W|3M=6y0whR͛ϒddoԨBUatrم1)ujD2+z!xū_yRIx;Ŕ9,&'h Hp p`8f)`ijPG9; O\nA!y%'%YuS=X|-xMɾhz{pyGfR֫ 33X !yA*]OjJ@^,[s5S7<_(/8Ma YZ =֪o!X~ ʐͮ+z ?J G9ӂgq fU'EOaމ%5?5ߕ K(ɀ"lYZ0cڀF̢t-s$|d *-ꝦWC: $AF\u#P$YkO2Bs>/P(2ۻ4j:]g~(wOT!,݇8p;5KCy7LҰܭT \Af1s_ 9H|/ y 1B9Zw~w.- icl g$|Ӣ<=SM|ű s YD7Ig"x뗿Q4J>G7rW^eyb&2hnGt|n W51}-0~0aU/k+J2L?oEХ ϒ o8>otز&E}Dg4ۿV̟vK}{hY"-$_Ʀ%ɓڇW?OESt*7bHd}ޡԌZ 岙.0 oח/s 2İ'`R<-ɸ#aidW,_ XA=[jj;x{G}zOgNRw-A %"̉ԋb]\=efE,5RFs nt\H閑P>X,QIԑ0S{c[ Έ:$vS̢]taYQ)T0Lb!kD\젖`|J90&&VDc{eP@ < `R5}dP. t83n J*T/C^xM0 %Tl^6bwCr*\-K_L^1hV"}'2]40-7$ l*MgYZG#IMϴ _)(>P!hgں,0γ^R4yHz!4[<r].S7{iʌp3Ǹ+REMxLrprWBxt3D|LĜ wsR4K)9s3FdW#Cq,ϲ@kcDBS FTa" d%y킩ϖ.YZ@.#S Lѥm 3A.(L^ANB&HO;yVO%J> KUݣ'vΗAQݲTL}R6!|ۍ\nys< 9r׶yy1f7a%{fKZv)5ǖrI5 A}Ƴ&v${:@N@#dx߂zJ+tMr o!E+u~f3"M߅0 (.1.䡙I*JDa:x. )9߶ދ&ͽ|,Be3rRB= 'iN)cqKjDsXG9",NYU{*W ms0W޷08#%xo23En}j.a`Fzo%/xސ4^H6DK{Zӷu(s?/UH>˱.*0k/"^tΛ re]:j I Vw{e=Pzh| S]a\e2Dd6+[\/$`[{ ՝m9|kSόc,wwN"PA{:5TwǺK [Ⳗrn eL0ae62ZwmY]F ѥ8y yP{=ؗ{pҷqd*Lw G4WiMgj݄ȍRnY":3Cʩ< B}-r%鐻VF_ކSC럧>6DWU_$Q,Ra0Єc)'zJJFn-5<`A* K\k)=|Q.$<6hiFޤsS]q[?VJ7j!fk4k< TDx7/(.I $L>DGkEZ!v s?B:%d- q˞uYS(̙AMlThGw•-e#9(q d[,alao/p30.;li%oՃX~B& P 3Zo38IH_cf:I`"y)e3>7 &i9G~">6XTZDj,ȱyN\TY |d%YekC3m,.*NZ`[*סI-(:abih^1cGm5 {wQp+anܴ\ҫ=86 R1nKC}Xot XCu>d.ͳ@ &'˿/չ?uaVϖK.<2M8@(2֖]ʱ jNT0(=qlC{ @4SJ0pp=~hTSRb,2"a 7IM؟0#\ZjAv}1: Z# *5]Vt+懕 2|M7:PWCk}|rwVG,6t/YI?ΜjH ŏ78Ni|K@Ł=;??f0v&QV&<$liEJ~+ܬ'x3W;IYvh CߐRvpI_C-$`Lsl )@`sꖙ*P"Bf#y6L ŒjsVAeNJ!)m26YxT>8 H' Apic ޴ڦ w!LX!ŗ4d/(V+3RY!WNe%ŊAPt_'S'pq#W9(&x:Lzv) W{%IqE(}=FU F]lŶwwRz Z˂<𙛍bt_cC80Q0T ~XItR~3BRrk_/UAe0s Xw",8ɈYm?6W$S xR7BD)a+/ _a(oUR$'DيxwOP6OL,2${5.jU_ L0nt3C2ҟR8@H!FXedO[H_"cGu: !0G  DOX> *gQ6=7G BZxJvYJ.'>0VZp)YlDj6 8];$5Q\jKuet&$]^HتZo=Rh-V˖j UI?| (Oq^z68Ts3=(zBB?qlOnԎdO*j#W%-6h)}Z_2 /ŷ|; s70GPmfwʅSji!-B-&>-m#bScȰTLH n#ϢBq'Ԭ=<6!$ǮoS9$M =x$6W1 lfw4e79ڡt'ސ׆$): zg-‰ X0f& qoLe<-`(헤/2dRKPӬZB'f_.Zk#{/[[ːހi,a2,0!5!. L ^CHR CO\7Fr9'" 9}R *}Lr1I4BhVuq"ݮ? YXbxs$CeK.V٢ݒ#(g%S{GT g~7٨4tg2*<(s#*J*x@d0.+DZ:$,`kC&%sٲ/e&AkOn=Ucg)߯%L_Z}}Y8aQ6SDE`B_7˦}Me1>e',.^u2ejD< QU8~LذW;ؚj.-\>Kr,O1AWzFWٹBlEB`~fA7~X3}uk<_kx4L \Q7[rodeB|6BqQd">MD3p¥( Pd?0FQ`׆vDi bH}RN'ޔ|ω iu xPpjtG :-i_`ͨv zQpow(جYY>Ȗ߃!ǥL~S *pz# on~)ɾQt5qv33Fkl*~~/dB/ ["RO9M7rЮJTC6wHPB9qnu)StvG 0w:)i"qGy^ݭ8#Xi5{(]qJB3L/ZO[.K?O ];tdk+OV;r"Ԓu݂U @]Izp* XӉkc|͗ /y: ƬhV*P+Hp& yK% ';6yY' @΋ }J%*jRTqض0Ry2OnCSzd`hRu'Z#v?ըMWBerRk]&}Q$>۬l~]͗y[E-jp/-wY=<ٱ)2k9?Un^#P4f{8;)QE{txKPɋ0ⲲBӾby b%C#M{|'{ŞWSwJQt{$zJm㕈b>~A"8NO<]Ow4a$+a7}[]ƑYA+[pX~hTbUE2*eNy^O|%SXDcEgʥ 8xRԬzn"GV׊-p-Wجȡz2K&1bī]do4 (^m?\So:d0̓{"&!X-#6P,.5P*,|}ebXe9z݇xha2 Yw=Nv)Q,lB$;=YD1n+NT'ÝegFq*Qj3DB78T!])e|R6cFȨoگ OSN.O~!Aq> 9a`̻GiHrX`` 4r27sn_|'96]5HtD l7#e B\c9[G6{GjEovǴc}S;YwsVN6]ж?}>oU>)-bA960Xju=b(i=IT(])_ը?W}ea9RUX5+WVD7> 3/kDQbT~}N%v-Lh2OvƈZLٛT$qMHp`eWG!TBEO&Ɉ7ҦXHT^2R@@ maJYV~^T604ȗj@C8 шgCzb}ZۼfT:t 1_~O Ĝ]ъ1L?uW0o!&nMl!- yP~&G1-.<' $(eF!Sgs%WI|1/(]"mc3tduc*1!9QOfӻM+ҊsO"_ J[9=<6`xc m5Q^St,GmH祪/I &;)Dt}OKŤ2=5Pl/Xa?O bj !1jԃ@CȡtWVDZphaVVs~})G-k(ȱ E.!q u!/T&"?$iG9n6r ^<=oܼ窳PDٜX潝䪵h,zցJ ,DC3z,XI V?;%ġ-x<" '۠;~hmDqNU3\=L8VtszC6mA:|cƕ:.~>Y>4 9<_l1=L*B7gDFv##'9{.V#j21!vJ|Wl' cƲ0uZi3$}^ <"D! A) ĀtJʁ+q5od oE8BtqT.$ Q@D@CKE7µ#jh}?&YƆoz!I'ʦbwm<(W}x Yg8/7C(xAC&*b# bsL"<˲ۊtVVw=+(.ӥOl$mN.2U5B4$f"wX@ԥurst$?&ue:@HH2>dOO?\Xtz4@J8A>ctE|*S; ;QA˓.x;v-[=6K:$J-)㚅n]}1G.?kJxwT"ݣJ "Jl10v ж=9R{C&!QP)Sok7qA!A1焗6z^B|Dȹ;j8.fhM,SQlEOl+\EAUeb;Mpa Mɼ/i`Z'+řQ͆kG@x!J4?Uu)HwAB+~Zs=}͌.[:XsJVG!4ȈF M tW17ElR-^ H:fh3!Eg>&FRr`/*cX+H:ܴNs6c[&%U׻`x/&vSMBxK=O_mq?VYx5ak偒xӐ7m!7qb9J%/4ݤY6.2\9&pq +[pyoaetRhM"tp7{8k+X}S世T)Y0HQb]>D"l $g+#uNkY]c^xAv7/z(Ef@onVZ#2ٜ3GTn4ҹI:2E97At8-}8:p&@8W L`Fe>4K"Y]eޭ?%kP9Wi+$au/Zq{;iq=!{") ~i#>U`l8FISJa8kO:: B֌^( lLo=0{ˣx (O j~935agM6c$W?H@A)d w}faFCFR4Tv<ģNx65hf\5;Yu8EJ}a'#4 Y3$)5Y T@&K"b[q9z~x'oefY #iKGH)GM[,nT$Cl/5nLv)j5`to,K ,]>馅/wjE,NBM2r(datxImYXz{XD|ijEFe{6fAd,pˮ~i'OaOrcT @сPL-.y/צQ{LY `%ړ@X,CRqzdlRK1{CKi\,%Qp5}o(VI4F|odDI_-Ĵܷ5 #6cFWʗZ;X"X[UVTn(#^\*͉Vհ!<5YxT~e7\c~\)*msp8RIH~Ǔn;L,V ;^p,VVf"揺%񣱓_M[.o&.8sI9f2'+^{# R|CC'^+};Gդɸ7Op\x1S5m#{:';q&_2lx 8;)4ZIմi#.J-48V<6f>,ztϼa5[^`2mhtqK PeHua;+oOc7TK *9+ܼN,#<: &L(Լॾ')!q-r\ߋ_,j@Np[E 2>D= :Ȭ&6z#P- yArɹ 7FȱkBJ} 82"A>EAܺd8/,(# +} L^ X/syepox63l +oezDaPH# 98 A=Yįz䧁 ;J9L D#pzӸ?zByX1{ׁKay*@2*>x%7̈Yd AvATrI^(y<xʴ[OFoa= .ES w`ؘsQܖ05%TTnBiqnGf'yEb4t tuXJa43f."4Q9IF¹ A̾Qf?|qɁ]`l)OÇAG} ]itOB9g1j g+>;0%:->"%%gyG"+H o[> ~=׻#/a'# $=5Ѐ<|'i ' jiA(QgWBxalبNjj0D EƲb(Cx\A%cS*\'X]k5u"r\> @pZ3@k)N8L1L.@Ym+(mY[Șc: ~.2r05.aZԪQ5K '5*/ʁ5c剈2d#yJفMk L#q-.Y{6Fx{Ρ*!?$P X?vk$925lKLO\dGv P.'eeJtT}'ݎ_(nOcL5K;N{bI`=ZzK#vn[<h0.jc# {spUˣ!8g d/ZZ408=~5 sȀ]8kVEHN' "Jtká'R?LdMQx1 pԏ%Bc6Yө a峿t}+{z(j.U_ܿv!P/Q^억ZL&T6@XA|uB 0$7NORf,Om OQ8#:TKi/JDj[iG~W`K \#Gty_4>E*S؛eaIq Ƃ/zŜ;; obh <$C*(.Aݟ@Y3'9J'J/Z(0O4H$ ]"A}^ $v69B}/ kNը\3]fb="?XP*G,ɹ_ӼOwПZg/~y,^:nQ\I 8GыJS.T(tfva=!G=znYhB!Xn#rmu` & SN 1Ăt.$*0Y4U׸J`E"V#>r& *q: /֬ZIOw }X5uJJ}PlP Չƭ#r(9 ty #[(,Jک}o۠vjqPC4.+vģE) ¯ǔQɈnATf@}k8OhCϭ Y_ ;K6Kz7C]փ a؇h?^@DL[dBX1&rexF"|{/#FCz(E*]t\Nd2Ji3LE ]4 ̈́:ʦ7ȰZSqBVR jU%GV!g{Tp9:6o@6n_iVb!L Z5hg;8 5X!JB_%mu)?Sӫ@dPNż ktR[ Hq7!h!2 VC13~*ՕZ -E_Fkn/˙x{\:t䣁H.HM3Yh55ֻ0RFm&yB`60^-|]9ۇԚNEqQx+wڈNu j1:v{d MI.6^]b^ГI_ gNRDǍy\~#Tkg֝ĽoPkW媿Xu/W2K!EU s&D^H@A!e'jMwz/C֎7Tm$4P6/ƙYy!H Ҫw 6uKx%+Vu%a<;82E݋~^U.Ic&F3U#WF~\SnDy)I uu*|2rd@h=.o!X'xbz1@{488-,&"T;x=s!2{ {JyCES˙HL=S 5p?k@5+Knddk3MHLJi]0twWk^wYmq@uS 5VΩg7k~*Yq|Q(-gp^Tl;3?~X;z16屖%,j*7CO=x|0oz p p ؊R:3é
px;4TíA^iג4w8+q;cƘwk:(,gdYʷցg:mоV #?1_}Cv@m+IJץɼOZyVjI3%ùF*w!6 ^L &g&TysA)Hρq1+ַ鱺ël`wEf rR F}Axs.ʔEǰZUx>\ZK~S ({}G)3q96B[(s;TDnCv&-,;SBc9 4^)pmOCNt>hFT?T2m:ˁxd`S0X!7a"ߖQk$- ;Kl4 e ͙0{ݜlZ;^ِ~h&Y@2ާr>0s=һ\WU0uh\YZlfEjFgsjz& p^<, M<:ELK`6dt̒ޮt;@tK8^TjTm#1ohRl\p&\}GkV5@w"IqCq uI4aw:ʞ;tsuu?LZZ0+:*$Se^Y.{p`NGgA#Ʈ+ny:֘+3[՘u[*AKd 醒ANF@&]G7}|!UG2%eL8ki 9OAԫk`vz.J2)Ft4f=ީM;6){iH;)xǽM+$=ZQk.oc$bwdu:8B530R"C?/J^ qr;_j1]jOڏc?⏠c@8{lnK*rZP}DDGԞy*;_|8|zkUd{uNNKmEZU#.qZM<[#kjAF@χ3/ɲݭ8, l& MXC`]:(Z( a0b׼nJ,J;yvF2d*.7}-9A(1~(: ltXGj~s&zYPPH|N[L2nvL ()h$.ZGDɥ"tpbږ.9t\z[MXsٮn%4\_Ij[lkҿX&~>BW/Ald*n;+vKt6BQ7u'lGW$@ffZN\޽Xźu {@vb<D#{lj5܃x mѧ`?Ţ Bw/0B]+$BV#|B9g :a|̪t xIxc4ulHo4[ a7U 'ZH5fE;-cl'JCZK z?@;,gQ'm&H$U۳%d}N م(ó7@'ptac@!fVF"ڿmWCWDz:ꔯ*If{F`{q 8Ot2>ЂjHM`nD  PQvkZ%/ p1XM] y(tLuہRچMSxuSl pzW,͹l'De Ԏ⋖Մ.6Nѹ[Mn)i [Wlf)S~sT ^-߿/D^/Fi+5>Ri~o*RM7 ؜Ol0='U9F`* Ψo\BbsV8Gg)w(M_ ')'cNE ]G"Hs Q|*Ro2Zp =-k@%o""PzIF 4bNqcUHE2\@ r|8´=.ii7i-Z_$a-6Ͽ, |*dgNDPE1,Q%mWcF]h~¹K)vA\=-qZ^ /ڌ),ru :USGa [U x(:Q7f0]=_X16NTv `J}BLVzLO er`=Em=oX"b(k3WV5JT'hüć>H+huZ v$s!NhK}y5-'6;- 8~0mT*&ֽ!WlwܝC};.5Kd,5&:n_ MD [<^0=^-m+,HjI6#QS=X"wy ɴ˃;i  րؗsVc(ӱ:qD;K 1(t9+!+RINF(PHR%\FJp&ࣅ$\ja-LNP!p xqՁ+Uw/7Pqi6_KsR?C^Yh jc$\4|K 8JodvH>VO` ; H,y pwm8ߣ5 /jG1؇RBkC1}|#BpZÏ܀6.+ѫmϫ•2+ a/@Wnyѥ{"^^\,8oNc4DJ`@`7D48'©uo:Jrcn\g>N!S~O.voa +} 5ˠ'}*O9%9`XUE kT *J]A8UBZ}>H=TZG@pRױw, Xms79'޴<[1|Q=5b [Zvod:* ӳH}Hܴc4?A.k3RxnX2cB%K\A(]JзXvʓ89+}{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;N/U|"@6J"\2Հ<ƩczU.Tf]`55ݓȿ *]%zˑWWT ǐNHX=\װGҾ3 ,xɪ)#@N83_ IUs_إi J#7='p=V郆_ |d+%$?ywE*rL!u&W4LؤO;֔EE٫º*5pɹkc T]1dkIE>;NuVWH**TFEXmACuհա&“r60ar]ѭ4wVyf;dNݥ}  >Ee$nCdxGP%TfHD]2J-iRGnY;~D'fYX]tH$*l Mv̍ɤFD _WVcy^%^:~ R&loi* StQgkSWN Nl,[YqNhad.Xo --˴1ly K"\`+PB?X/@opSyV=2L4 IlU|@5(ԲXBCiY4 P3wP ˆ^A\A1IQ2zn㓮`eekM &3`l}(kĉvPqHQ%1[ q R` oP۲a˄H`S-IO=2WCG\yEQIZCu >cØu2Ussrُ7]5z No͠MjF%'e_iz&VFЄnݚob9/gw[y/q;)Yއ. 2QJ*7]#Zo.|mDـbycWiMJnMZN!q{\㍄%2 THX֩,7p"V 9G' |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ifu]Άxʆ5.f-9 rq@J JX ny}Kc4MeB^R|K2:M13!<, ``d~0Y(UDչɩ7E_D|߃[`;NEd3GؖJFqggͣ/3\/:}Ys$8s R`s)v=RGkH)K[WALu؉)-iJ0{f9ݡa]['dV/לˢh{[S\aKYhW a1Ɓ{AR3JouByDT>DSy<?7.H.F +UNTRN'| ~ky}E+':ךGtrGi_t7;9[4 dӑ]vZ4a`{tCgF{g' p# 5Պ),Z^' ÐkºF) mIlJQ|bOisVJWK;$Y^7N QA'(a^4#qp],a744{LL\5AYqdFbb! e;-Wߎza$:؍\9F35 }vk+ـ)̓8IBf'-JvDԸ 3SC_Qx2Oh2%ɻi6xIrSQuK=͟3|kF3hN¡ uf~7B,l,%0! =dX=Q&Ǘ!pd']e߱t^czYQɝ|w&nVrq{€"GԴO"2K4=,5^y ڧ(7گm:FW]ɽ>.WAnf6}rO8̌h}8Fݍw(f`m0VCS>`RhXզ%4Z"J 4. ġ|PuLZgpvw/A%T{D!K< O<cfqB@JE^v=]kh x$*c l^A%3A8o<;[x(Ln s [,6cmM WEhr!I#()Ԟh̟WgB`:~ j6βnc[x>5%$wat852Ykσ/oq!L`ϊՊ"^Z&$\ $j7"#%Ȯ3U5(jR Rw1߈XS&?-Ypx-"?GǜqތJ6P( =u{v:oƿ1BpYeA!q AgYZ%%CnToCB̹?dI(\T}&6(bAIz)PA.OU KdV宖* {نB}Q5=< 똤`SUĥ<4gSezH |hv/I(li ]_Ӳ3qJBxÞW`vzv _SI,8(B%/5VݗAI#2s\W_iH(ĽT[}5S`Z=t}+<FM_a |M{>$g?w&L{KHF y~@﵎q_b@n >3L H>siG=Swބ +yVc=u+iF%%(释$GUꏈl 0^0Ƹ| /pS74bwR)Hl \5L%z;*)bBI]R)EJ= GB]M.+~s.;\G6"@Fuk Gٝ ÔH^7Fyۺ:ihE25s҇>t"2rl O:mG3*ehE]7i4mcYǡ ɐY3U(VRmϭEA'?i{Tid=>$#Δ'vB?y?io2Ezbh[Mb+x!O*4~:n,+N2JgIzRUTۣ>qH3htKϰQ"x~\sT+(wP&H tty:Yu"Ի:+ЇףW pqCX?M3>u`TG1 Aj^H";W*Ű>dX nhmЗI30h?HJ@~!h_l*FZHl"쀼`OJR2#ġ5"_CDnJw7jBxt0\Gwg4F{I=)!/囀$H8~[A[S4(Ҁ;w]o ?+ozj8T=h#rP ~xo-k %BP R,<˱UsU@IW‰FV 2)88 /c[KA {A $MHb̈́L*6z/]?og97_$'hѺ`AZGVjC^J[)R31=@夞2LK=Ux9%Rܰ's8Kfn a1Oq33:xmP6s$jBYd2 ҆h{q9yk D![vuK1%Y>`<m=ߴGgt?ٖ3%Ns]`- y&cǑ#J>dmjar *yv 8e EsugP˸Wmդ]+1lpxkQ#KiY> /W ĉRcңzF'r ZL2w3PD6'[(Aa Jb0+_|FrͲv'+hŸp 0A3VTf& *oՇH AC1:W:}#G}t?Xbmd^{ᄹ`o 8riˆ-D0YNJѮ,';ދ"@$I<`#TNV}JpL<!:. ,2A0sd"3p$@r7iӾXN#B#\]2;_??x&"S^ NX7U+7M Ԕekq0{f17eFn>ohsZFʞ r4UojfmdE 2H_Ae[[^ ѥEC`D-͇b l,3Q~6HT`_;!+PVUΖfVi 6!jhc\!*^C̟ӚLmdڀ8`s.y,_9H~:4;UzWs6x "Qx,? ܝe kpG|Epg ADiYyP,VUIjQ=Q'MOEйx_2>Z;__WN > q?w0$W jW2u<~%Ptm#dr,ܢ~ ,((hOu+ Z'Ime5i55ڕ+dҕM١l۝RBL8ƥK[&K ,CU9 x&t?/ÿQāImYMQ2`X+& ioug>mn. 2>z\;U/jͳa__reU(d$ ^+ zǽW/42GQ>.L`q]k+Mtw{fݛg)ɿsμ5(56TWgO;W˾.'Mp%WYXn-@0b~Sq4G|(k4C#^ jnх=o "05YT*,GT&͉V,$h*{I_)i] X%dSw& P-spnq~SoO!)k3Aaw8z0zR-ޖv_UxO)ɇQ#ߓ[稍ol+:w̕-!|U'mj0%E0wm7ܜz8A r̤֨ǟ1#h{Ӌ6d=jJc|&nzl8`3>pf ,5 nJ7&MMPYF2wW&Z`?d9@Jף1tf-ٙs 8"1Ofzk-ӒBB'Je:sBIPZWVe_iOFI>{&: EhA[$]EѲV\ov[Itbӧk5r"! ND9GD:o>'>R¬'IPpl;9_"* !$ V :=.Uk $/N؊8 QxMw{ZUHi+b}jQq^~GYSd<(E6,sڷld=E+U:-73*}S!Y՗bt0ʂadd`j] |Hevɭw0c.ZUtn(Qs>tq8y?T(}A͡|Sghߣ7Xt{Y1Fn *F}\J9 AÑS-'ܫGZZ dx5^.<--_^w-1p \ӵ / qFh1kGbIt-Y]yh5@%! *lrG^ګ+e_dvj>TȣSRI[Vi_ HnF5s4< S͂)Z S-9 l3ư,(_7It=}vXK`b)e#(ƍ+QRVBt T9 }mM#k[ʏg~EQC5КSHcS ҆c-p*Rهi\I7#^uq.8$EA˷ HA}ːޤ$>T7K5;f-U:x hW, sMbl| m05rUEpE)/cXݹ6|4sb9&ЯR +aIe)a1᚛16_?|\i$'VHmLKu BΏ%Hqj'em!++^dFM?& ڭlxo:"R:ᢡGJ|*)EUHl00#ՓeDlz:G^ JG$f.2 &g2TP|ۈ\c89l/FM; ~41 UB /˧u=fwHE[_4s|M3 '78?U*^wO*bn {v:E4s ?2lL/?(pc(s?Jy`F08vn= uvHNxxy42_zZ`ȬA5>{8!, &~r8pϛ ߚسP>=:)ok@`XA9RWOyC @{#l'B}"O@7NUTdJP?va: R {Vݩ8fcb[ =F1XdbPǷ'Ēz܄8 :MR;}1=\?O@xECե|7Ym(3)E"+U+$<'͌ &3k%yxMOUK,rT j‖V~= ҝVVFÝ[uj:tmҿM|>6?={$pm_yxLr~t k=S$5' ?. Bx:t3P{X86ǩi⑲9\Sl$@0n5=!ktV  F׌}]ok 6D~cq'8"MUʁRg3xT݂W !;'1tJ^a=s.X,XD>36ʤ=J@-k=U?T)_WtYR#S6Kh!eL)XZYg5qwrڔ"yxxEUL6sƷkU\@(;Vk G:W5_"ΜRH zv)ԡQ'~] B[Z.wJ-W-y73]\ڇ&gz{#zY/6j_2fv9ǎo>WSɝj%W?g/Ro"8'QWx;υg2˱;H#A> `Uڟai l9T6>k+D@Y z'sz x H^c*e6>F):P\ZpCpI7{EG-&z s:%X3Cte(CVCƲ"Z̮"$/h9apŸyᖥ!5s :xgm`yD-Ex0L3~א&bZb5<z' ;sOhwgel( ;:g]{RM-za%oOÈEivH3!"gM(9fF(@ > E?A/Kwz]4$)IF 'pj.JΦ ֦"3|Sĺk\<7hvh&I jΕ/aӟxgU6"ߙ.ӵL__gfk]4#[+|m,·72};W=L1ׯÂ\crqE6 %yI<>zqv3Q7zptm0UȽLKhl<_@L*(h3$?Uz cD) \ζobtš;vi4;Pr=N@0t5^j)sx#B ؤjTG ӏ(fX;)K8&7;mdZh$Om%xo昻[ߌ$^ta >XrnH)kD FDp>'R)q&Qp6O3AXwQVǛnL*e#QzQW__pFӋzkd xZY)%qu/G958O2uf ~ ]Q]um~fLD]%D[c]"ՓH{d8pQuͿd' 4$@Kb<]{?;@SHA7ЦʝLQ Nv?{R"|Y~dޟ4 }r_aUc|o_+G EZo3a`=?սIͪ1wҕv{$u-49`n&-~;_Vq TeG#3cF,d@pǼ4<:"O62( !X9~V^iģ4EZ^#z_(Ք|9j]j%ª5fIpV8(RŝW+JسYE4 +qAL;vQs˻Y/Ռ3X ra& Lnc9.Aai0c,J~B Z+$.X$!4"f'[[_vv'U 9 *}1#Z*%uK(^E#rD^Ȝ@t΁u|, ;8lIG~Dv'ҞMnآ(A|GPK2%NQ9YF+_QKCbEeqMO Q<9،.8Z:e 4cff).-upQhTXz]zdJ2qK40Xߐ;*1B _Hu"mq7՟%F -ǯ^Щ-@}̝n@'-;Vao o/g&(&ԛ9V ~|L`nB8fbqgAˬ EDlर/3"z/c{ؕa*f310l,=x|.Yծ,ǿX`Y@$64N{5Ah@:Wa3qOر:DYKR4X[^ K1а\SX"+J{O15 R?+R#$}Qݡjb~$V Z.2o٫7X):_%W Pbl7N>p8!75A$R"%^I=<%@WVOP;Z8gÕ+}ϓ_(kgCx˻kQޘa.6%kAbKDƋB2A/rx@<w< 9V7u@%n֚|u8ѯ&~ |@+lvv4 :t5v"Բ2s 36t2mbBͦޮ&*fwp?irډ`i£b (lW:ϿSw;{k!SDywn[zbrՒ9^͘=u9arMziF<ճ @.J<Օ M=,fryæ[FnAfc7ܔC[Igs2C=Jt L~c?&SץH~iOgSER&Sfw,.V3MiA%9,;Yi 92ٺXb o;(pWL5Y:7h+M"fC`S2?4cy;c'6w1omLb=eIzZfv|$\_r(W=v4a sZy7q}f/)t+<+vb-%]S}-eޮ[39MWڎ7BY̭ͥGjqIpN3GBJDd"vS0 wFk{Ѭz :&K9S2xG|WkS*g32V`DkBlHo$"^/F*vf쨪[-kf5γ𦯌`cB4ۗNvrĖ ZSZsZQ=R<LT x,MʼC0q0#S Ziakt `S@5AN*ۤC M_"?(۬JcA`ء^w"Q!vM:FQ;ߏG`q?1(f;]qU77h_!j\6> '4Oc-S뿢}Nvx*ˡ m-3qϙ=`c%07`?%@ڹezs:4ߺ乳oų)j@`SU{Y2R4Q)~*Gh[EL֑{GcEA/9Рr˦nݤJHJ؄$u 90},q~K< , M18_p kSMzX$rtnu6eZܯ|ME Z-Aa) W; ^DTك뷌BO!}̒3W|Q6kXeZz,\zV;m{/|i ^o.3C#R#HY) B;2і[RD@p5$( Bb =Pb̯JMF%V-9l-"/UC+X .TGU=>֛1 ˗p HQ#Du]Qxsf/I{/3Fprkn1,52gJdcpl$}p UIZjq̍QB{&AG"Ý?)q# ,Nʊޙ8]xPQR~q%a p+?votr+L4"Q;3@v`wҝ݂C$M~.4-4ĹYHZw"sh6jU; Z B/ywwa?[R}(Fi1 uy i;%uC ,M-X8yA$n?HY/RIBC[BNMY֠.€s#T+UKH !(:EzHSPk b8pHyk/z^2+'}Vx#q@QIQg1@BlB - _TMe7,̻?xLx HϾKV':|'2_,sRz]Om#ˎJ36D+3 [\ [tQF_LJKn+&(ʶl/C+cN#``M{\bpI`B8gBYB&~NBY]S`%W9!s˺3tB}*Us-MN^9 2"(JvƴO! &R(]l-KL9I?-r w] '܎b2V74 d讙s rسm[x~q Obvj+$:e=k Pgx_z,`Ů $-T(T]Ij[10WRq%*hwjXj #bZZV+:-0mkM_ s3)s xLx:Aj8x]ig <,"Ggp?32D*;]nX`-!/N =4pZws(Զ57FD})HJ+ܧ cu z ,_#TA^ю_YLtLÔTԬs29.7*1pO0`<ւi(4U18gw-Ҧ%_&,MKvk C!vi/y22pDgOͧ8,=~g^}CL~& 2s63c w sY$쪝 P p#\fF`Mw%M.<&M ?|ok)O㍯ϧARs"+ȃy񿙭wM?]~ 8FzKW03_Z2Go^mO$s!rM'<Qy /*pjZU{8LP|*Z(ۭB<rT w4 >!7擢7=pۀ3! /D2`y#X H81j,Zܝxs[}s&ЪSF9#ȑ̠kǬ4x&Qiq ?"ɹXL~A8z+g$1I%PFhqa6D6MtT_mT.]iWM ƚ 0GXG"GsmV=\(zvzطnLzUn'죌5%[-պc59X|7$|`gDԼ t?4,ٗ]S9`֙{w 8;"!⧊nohJz\y3U%N#3x0 5̀ N<(GX/Ky&]J0ʼ~JLD;|DZM8kɻ1Xn`{MGakf%AS%!GPPsxѧ~1rr׼W 9i̜6̽Pjhc76}qu|cE pxG}[ ͯ] rib~7;S: 7+=T[ b,dA?VW. Һ+XXKT{ƘF'rE6 =oG{Á[HFPC꽯HE amVˍ|LYRqۜZP+h)7oDMgV~Br0r$y:M'l-x_u#,|p1Ԍ7>e|cZB&g^򄱎@vu`t>D$s@ ?G8,9?jBi]ZbJɟ%5/1^xtz",u ZT%2KzVIr/sk7hً\ZZV1i"?D0S:wê 0~Q9`F.UQS:8Ic'HGTE?%/-B vCߟ%¥n)=;T2 tQtrl#<*A|B[f2ܞf pXڊO/XiiJK;WݳvW&ڣZo/.L|)ԗR+Vkq頛v{7D}8EN_daŽYi91deD,f' `0&p%ù۴/yӚGňg=<10 SH"GzCrK&?tO@ (*Gm6*1}^c|XLvmgH%s\ED?ъ.{;xdLEҤ7 HZ:ch*:{IFQ=Ѽ/I-%li(U&dmC:;%}ZWy0{= ~Q?v4 DIҠzeW?EX`ERVeS!l p=-b"0Y2/qZxŤߝΔ>mgJ NTnڃ|!{bܑ4a*L&k<3^ё*%TSa{O-S̉f0LNK>-^^z~yRzOE>o2WKЀ7̒^hnG@٫ 0!jF;Udeг{8r5  \cH* KY~LF#@B >xJ18P0Tu/AsAyJkvlavx~&eVb7F *d^pGkl(yNj0NRk `Wecg"r9RP|%ReU81w:_cE]^\Rv(C\N>_g9B'rU`|'&E{+AS |JMO=)kmѹDx m=+^ȟ"QЂGY :pX4 &f ;;oTZn LVX' {jԆS#({6Z7Z!p# CݶL3{k$z-ySj貼s >ۉ8L8gu0rJ?d\h9mBR]Zr%L'/Bm)PI.JX9=s!~&qBlUF?cgFya s/f|G7-kfFO=ME F1Q{fP`wk@u:@Mޔg@4{S藑Qhv4<p(.vq>}@JHT.u'g~Kב«XH/aYIZ%:dzSGP_a+[a}eF>L[U Tہ QU"PAqGQRT5]yb"nZy?Nϳ/V*rYRZ5YPl)էȜ gN4;&9MjHɻDzej7 THK̇MR[L J`f1d 򳵈9>K&SW1 ^#R ح]%ez?2vpCz]yz%͖ +I\fBE".t4X({8:3d#~xiČ̥YI.B:) :ăOiBC<~T`7ʱa-/?L hNZa0} .gzQw> 9/Fb_zXɮVzl0Xs_N[M/av\x_OyD҉],ΝB}HPToJ.ҴbVYWM¸mX]6'K(4@<=l,?etH# T/`$BA<ZH꺆+.(RqmA Z$&,^D܉bU~l*LD|x U=T  $8M0snƞ~8=\h]=$eqFoM̴ `Rdyص{\Wp]lE.-F8 sS!WmNZ.(&%w_Zȅ#Y{Q}wok@ l5m.[ IMi!twm|jC4"6D;a(iЅbϟ]$EEzMڅ1H$RI'*[e=Gz?_&h 7+gJvg]4o5S3=S1r"B`cL`c! >Pd%=j}qBVg/&&b7^~+[zZ,E,mPVeڎZ WF;xI43v|`6%lς%|wk-t#A *K?gŅIf~k aܦ̍/ |+1/^mj"ms3HWG0jB)OQ<2T6?\r*m TxY[}d:"t9ޢsm'{V7~^09ֻ l,6J3!-|$HâsGCϞ>JAA<g 댌*砐)ϦP!<̳2oǃ՝6b;̋fef)Z.[w {k91yP`bhSBW B&갠 [E:b/% 2QUqg)$_ݘ/k2/mA{t±dPî*QJgAx_86Z9pn!h99iz+cљUg$/5KLbC+lF9`BYI3q;<(:UfR%TlY`?m]Dn7#t1f<^( z SjLqp\tזXg}T'} g+lz`Ol"fN䕼A"Vtp  *E8՛Vא_wJt5Hة_G>ΕVόS]{Gaϱ8|G&\C7YȤ090FpyTԦy|& t J 9JP]W[V."CƻxzUb?gsG^IpRڼ+2t U =nFx`jXTxJB%؊d{'rq6l j@IOT^W^ow l! $уh?Z zB=/VVi0@cm}t,}6|!VC|U[j:H 콜6K$W,鳴z\V7[=ִbޜeǴ&xVc%gTPpJ6AR䢨E޵ZhΓ­D >|مh*E+Vm*A .-H0Sn߾~ɬBsq2/0SG4, 4[8\9sFCFn(uBQ^ &Tdmwt_{XD\}}Պ4 ]EDgYPpMl̹:M KI8x<)+IgvͶ|t-KEv\R]fD8T_]uOpU+K++ۚ=d+3y 9;f!9 /o.P9TJdh: h~wX*i .8/!rӂ <ڳ?h%R^y;^LWuI@խ#+NcM=&Z7A}]< j/9;uXN6ï?J!V!t\\`Owb6%AʨiPBݰ;ה݄fa) l`kiŊl!~'vs} EWyL.\]ޏ 9 PdeL+_,nnfs)&y8GRGLɌY)oFVz?kSŒaGgw(0/D:㬔,oipClhEYZ54ݼ-/5SnG +:j$ ʃo!77s.$ܱ6.yS"Bhb@%Z=J Wh1J9 >KY`8S 1.;xϔl'UfC)q*K+jҟAa!Uȡ [ta('1⻚F_>qLc "x;"2#k8瓅k۫Q%&HTdZՕ4}eܕJ+[BNb8]wfE;=*ׄ" =ىjBuv&'t?aRM[J[߬Dv﷠V=Hjf[no:o6㞽֚" 3v]pf`[\9_ Mڿ]Tz!L*r{JDl>D#L+~~1 ,:iZdrȾ)QW4;E6y*jE.SH|T?F*=|'#lBg(&zBBMKu2Z Cf\Xh}!ѶBiI! 8#wAzbuk[פs0fDJz+aŢ82\7PpcƯFXyde{ꥣ̬zdƷ(ͽ91+Z[jbk@40jpT\s5C\w9o\oʢH!ѩ8fXMc# 栗/pǔC-A^jn^U1"<2=RѸ åcC?K$xI5|= *,g^kYGIL-@D]P2L^XCTx *5ڋF%QphTһB*ӵ‹;K~R-oAI[l &t;kY T#\z8SZ,hAi}wt܋غgqg+k$w_F!E(^;gtJ7OJ6Gxe:.(3Q&dc" r?jZY8pš"{&PGn2FiQ+Ψ}%C~z;.$ xo k8 8(9j3K8dƌOf3hOޜ`l d j^=Бx^[v0 | x "zw=12HnDqZz[yMzer.v`=nyԲlmI(l}$)V" n/à?wb9znK/OgԁEA/[I: *_zԉZ |KC|um9-c׌I=W½SY/t~>C~K4&S`bIHI>~n~n+Ԍ$ oFrrYmj}T9.\ 3=!UaYp͛XKXk?B0I@0W ?#u|?QI .K.iMswL E5M>4HZRjB=ZmidT=Y8ҎrSIPP'Rx'cMsu:`-7kk߷ޭZ=fEx_}^5%ˍ%Z}q9Wˑ㫔QBjʸv$;< De~*} B!}ekJ0RJ{X+*It.uƈD+l(5 "((pc]O3<{DvyɰFdZ#okqKiƉcjd+zGFu&4Ez? PD# JuB]/"ۈ|AJ@=~R_b +aaD7-(^mxN4C ܯ:475cqGǟVwQyyT]h}fsU}<Μ},^N_G8upIg2vW6ur%q 0%4d:P&atg#g9XQHB<8㳾YO;ht9(\]Ds;$1ft!2_1A?zq" }Pg;Ǔa␿Ur2 j 暻dky sevun|g|FiȻ/mFX+WXcQM?6j<2:%Uf3!e!U0[rsduxI^G[*z%߹CAb |),,ӣƂ[H~*T>y@ T'(4H"N7yGy.;I3RoF"Z|_fKߞ9Wm0X̯FV#\ ^2oTJ/rp+-jA}+fnJkpjD'I5K%5ʧ6%T#BomZt)&ZEVkR=.B`iBG R^Q3DBLfB Qӏ?>FUC˒RӬ̥86y$s?lf\=`1 1V/kKwLEZv_ǿ[h`5So]b6l 7⹀\@xOogNLձk֧7DyrCY#}a^r*JL!^/q'Up[ K6v7(DU Xl{b$49xEWDN%_7itI.GÑq]?#&e仪K8P)`xЀ'`#=11q$7u/`$p|MT@DY灯|no۳>T= K2{-JqkN 8Lр кuXCmz \@V&~¢cc~.?]VOlP!d\;)T9\C%'%íQ ̬Nr[?UR[ycSXH*|f|f__n4Fs0_C$5|sn #+WE`(BW9SlK%Ŗ(dжL|)T=c~d_>ft[d$nID#&n$^rUqX0_o{ uG!Atc;X.3C# \#p2gN!X P]l'q-N]ۀg$Ɠ[ aX~S$9rNJᕢp;jPǚJ|}U N+: g36 @$Qyo*!3(uڀ9v28{詉>I<&4Lztm;b'_1 P` otT%1eqXj7Swb/R1 ͹Eę@n<8=tWTg 3m y%4 gNMwVHHSF"p'8˹Vyy &>&p"gp*Z\"%j9oJ c[BtKZX&k <"AtzHi*ۧ8>x Q]Af#b<M>+I /57N4S&2$MU_ŒqodAvN.xGdXerEJ9qN@ a ~NJMOckJ-H}ᅥRfKQO~-FHûxpΣ8+ MsY1pUQh{ ل 12=5`&G2*S4bP)7s=\4d&UmsNZiVфd# Y= D+שP)[I1wQ^N?{8;`=f3Ϣf߹Ⱦ[\E*_1춎C@pݣm.hV6L0|  kk 26Dȷʻ'ԑ=A>bVvMNcZ:BEe3n0o \h`R~1h[ZR.= + (Y5aEB@9f&i%%-h R1Öcm7ѣiڟ48m5N0<[)ې:/U0:~Źs8IZ!'I$"yLv;pSBznYh4^>h0Wܜh=߀r46 X-ďjBmڶdQ7Q5BRFb]]&TmZ*ـ=򺯧y8_3$&Gat8I+YV!гeECz 9!W~[l)xCQ`bF74e c.~O^dS/ff%S-~CՅ vI\{\-pFd_(n@9Ԑv#oʡ#@q'^= mY2cM[l?` Bsi@ŗۉ@Ež%x2WH@a5̷J^,d,dN՚\qc؋*v[vtgvu@8SUEc*Ֆwo18d!"<=QQӄ* O;. (&"柮p[!)ھq,.YeЖ@a6Qi|`_ ?P,t:at*n4,ۯ;+Z{z s7x>?V~L2(uԃ OXt  8"'xÉdqVqR9RL39C͐.ືDmMi1CKMIRkic;s8o7,q+W& spR nT;卢)ɤm =Ҟ dz:CAux:qelPrY,ɰ9@I"iECS[Z}zpt܉T"ªL%sU zAցӁ󼪭V.Bl"8L{ˤpv,_,6eb+>V'̹ԣAXrRg%5>"MB:15Ka+֌[q&D>Q(`d$u7pde%UW$'=[̩E &~V62s]rϳm2Z .;!B5 +hό*{Av'=w{Ph`csɞm)8ǻA52*[}FmHdʼ@ݣ-+3i}Pwْ?TqqjC&˵%sF8_} ir6vkF}%#YMhՐn 6c\"eyL^9ZI \Q;^ hDmM_uǒ"$߽Ǡ\`v2e 1yL-6z\];|~t_?Ŀ`&C݊[DŽRwVM_Zr-ƠWf)(2mS߸ f44&pm*\ץfC^d`xuPb EO) |ժru> /Om@-槂2}N]t-oG2=?IW7f ,ř^L*!:y=F=U^^}8xd23.sRjEドcҘ)Jy"Ji 龨e$ S?otVjd jnQ#MR>||VPIQn4[NbTc_+gFJt';>llm:dȗ=cbgwC-4o(@i7QB^^)[k3\'ujETujw/7Qþuݦ'5@)óFtBDyS??pjM"ۖDs*@F,KDL˙[`6 Q,0O iNmY6F,rhݣ.!WwgYZ70e19d486cc2c091d37b5f3abb6ec5c6a6b8de7bee07a279e10e083a9cf625a9fe7636c229b9328e 2e355cca259dc8e871de0556aada95e588fab985 8a43e979c3c904bac44402cd5495898c47915ae1