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 ZZ~9~<\ ] HOL-Datatype_Benchmark:threads=6elapsed=514.074cpu=1847.661gc=717.2617zXZִF! 4y]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;+eH^j`> ,W_bغpC0r9p( D;(zWUHb#2lqEa g-@IB=@?YAr,}MU'˴?EA+lH6TwLLؒK>"oYS|+ZMeK= L>G|$$S:wkn«17\5|;OJA~`=SCJkW[n@o}zc97817Ɛ"?KRr},ݓZ8GQfMFJ~=Kǵ':EJkcc \HJ&[X.a~}~ JŊΟ 7 gu ׆PLm8v7/T7]itA&zaLòQw2T'2f|v_ӽp=-:;.KOYJPc!cmZT-1EbwER{ ifo:p,ܽ iB8TgYZ7zXZִF!  ]ŗXiɟ1)*u%9y[gYZ7zXZִF! 惥]ŗXi%/SicT%I]r[ԣ[S=_vr'Q*tdi+2[ 7uV+XxC*K狃'{X#+W_d٘Kv U?4kYl윽Cs*2)WG<(RJL[V\Ŕ1SrwfSC[)p0kF Ͽ+rE f2|j^̎ y"%߅>acsjdD*c(޽t,/9QNo^r7՗|+ZGG4#qݍ0Ԅ LM9+={B? ;3b!Že0H<򷂬6ZmsiSW*@BY'Wv[/&._0ts-bze<'SMl=#8h`8:1VY[1eqF0Tj@uܔ1P0-F<',nYV (]>Hm"8ҽufչ Wl-@jrZbIֶ+b<=Fw =g6}/}g[^:8!^(i{`eDU~CrUl8◽v@V1tҴW?܈LЋ^/hjv T-8q ¯k^xt41p1*Y`?j,6U4ZƮWaI uk`JCb +pBi7,~Y-yp Mkt#6q"Qh&+"srH7`֗ȌjR9yfh_+O: ,U 5 OpI22B{C]|IU|ؘ'!*JEo}m,owT]Sq)WLw<< 66# 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 F Fs9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520Z 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 o<-tsIdZYJcSbeEY\r\QƄZ^s{!uY͇R?scԏfF}T˽_D9(;{ x`٤bjE򆙵p\$3PL8GnJԧtZD= <ج܈Ln6bR{(SN? PX_0~+Wg #ф&m$b$l OztO VA O m^6lCzS?c#rp&n[M%6 C|m:a&DM^hnwpF5F 8A#y6 #..3 0"m5"M`#ޏMDwe>l}]3 Is)IP[O##ڝ riZX:F!$}kp@9wC'*3o3Qs  R1b QuB{o:HPaR6Z5޶FoejO SA"i)I87 R"Ry[oD݉/;lŃՇYPo>vIaO^~!,B]~#GbL&Yv`FVAj5C\-!:|r=Z꓅DS f A(Y Z;aݺ'-#skcw){poM*}qN}Z+m/o܅z}P zʷd\g'ώmVYs'4=NBC)W _Y`'4wITV'gY#FK ') b10QT|5$d]_D| mgːz<GЁ2 uxE59s?3 0_%xiqV_j4O~֖1ZtZF:oF(JB4un}3i2rTjM$tx*{0 On3xY{z`'bJg /ڸA (loj@cM$( {iFob2id,'Hç<갋! |7 =aRӇ)yלQ/5kG7}P (+ 8p66EdQ$t;q_GJtf ߕ˷*P^O\v/cZ waTs+uݙ#QmYhݑ‘!h~>)~nuˋ;\yƅ21&KC{ڠGl;u(<_)O(ǦIӵ:9YKlA-{[L-A%Ū~Ɩ++ _Yg%k tsYjܠ9 0E{HH崫+K K+HH[%{ddlnɗ3b,~ yMRXǽk"==Kuw*l¤V::sD_xr…p ̀ӝ|8W_.NEvV!z<6]CBrL26$69TEqGO~騇- /Y|蓂|S1Mxm?I#ASp ki`q5GX,~anȍ^ƱG$S\Tn6 013q2'ȣ!PdjCQD;,HN59W*9pĨyp_^3g5&3?,ytbh=fiȦ TbSvǍmkQD~I)NUM o @l/!UH:`BmYr6i l{T9^‘!@]'SnU NkL#7%9 `Khڞ-"kD#l0L$I~A{bJ5@-[zpHŧ/t)"d2\%<D Ϩ\>Z1PAxF-7V0@l-++SM&YF:Dl"q$o0]`(M\3Q).PZɒV#;%I4V7_+g'WIUeQ:qED؃#|uoLN|ѿ=#NyYHp\Xm@1 ʎsu|~x&Ҭ ]P 뺟pz& VwqFS转7xH#7tՔws]]4@GHTf\Zio7*?#m)w&Ph(dZ#gJ?w///+$ QgJR6ԉ->a>Ez%[Tg6Y`YS*<8+Ë.r,o,)nuM_I~su ' O M}OsϋjR&sAn_P'Z5g5jO*,}oWj|Xvj`<*Цo(ј;`5*wЁa#_} iBluQ'QvрxPI1Cu)ۢj <@/);/,lI`j'^75$: .XbE|ע{LO]22/6_ōC&TaM2|v %V4β$?~* HsIYbmշ,6ŨrPB  g)`6|)eID`?&ZT I.I]%^V1S,86Z`0^D ֻ̑{1lMG ιá# ' ͯL.|(w 6ca~w>]a4)&%>߾O};է,YB`xmQ lDǰp`Vkhq:Qn%xg I^4}-nLGhzQ`m~OU_k(BakP3=-sr0.뵣Tds{?x"ܻn> zO̷}G k]KE+b'щVv&%>Q(N|(CW~tb}f53-<쪲r>'[;y&Rkym4ȉf?O#"LNJMp@Iq!'[y9a(J: C4Z Xa8!wjn!ث~$S2dg[Gj Vb@20"yhS8"?S VY;^l2ͧ7](obݣ\ZW~C_u`8.=';9FB;)Nk2")ilRYG_ѷ6L c jc#ᛷBʈsR-,3\߇3Z yT8P`o`e8y2m=H TҲlYR[cd3\ {&U n[% w!tMyt?N#x-"on*'m )REGB\1`Eru~&nlxT}(ٔlyH?vl|_Rk"I@Gvj϶[0ĸd1-p,(\2?tj*ϥcss>!,;cek$8+aq~<)|Ow&[釋jUy~)o8G i8l#1d 54IEFN s3M 3X&wRU4)D]tpFP2I,ԂlӶ;PB̀$,^ UWC!Ы#H|Gn0JZ:xWpd48do'>I$-' K*'gf) T(67iCϲ1HfJtSc@f_ T@3?W5΄wBr{WD_Kgv{jbJqMq (rWpHWRZqp^-0g''pB>O,05*ry%Wlo PŶNA9rZ*,)KLp4ժ3L{;3%*6VuV,Y~ ۣoǡۑb S@KKtFZ ̙ueu2+:aЫ50*K`p Jyyu;S)x t d-tݟS*!8Bg62)(?7 P(E #=VZgz2Lksw'SVo]W=TqQBYϲEȵr eŎekЎN5 [̯ATZBXcLc!l>UNf>x&^u=O}a VJ֪#f1Ʉ2d陠.&1O(S xV|T%ܧhgF[uXk"G?&Nh"w՝G24) pv4d!츿:GLƔ ;4xBNd(qw2XHѩ<js-(9u PGnwaH)XBi,U$_]"gXx)My}B~2?/B5 p |xr O+b*!Uߕb{c0CxLqIH|#fNx9/Ikn^{{\[!aϒ/Ks,jY0=Ϭ`,N}S?aOv!KO?`XݩQ}b$_gO'ijS p!)ZP'UHtFls"48ͯ ~W 1.mXtM.x7˰aLl8.;:$kH߶n}h6}^pqggc4z|!x01W \HGDMUb zVEIc ԁ}<ǟRLun}m-w8xk{2@C:Pޫ4I> (2ǝlXWmE%ɦ֋.9 ے1]HU& } @ N[_%M7 =v5 YuB2E`w2Uf\؃Ow9Ђ@(Po%dtMf=ZAD\-M-~έ9L/2U1k oFNlcPx=_Jڑ: o&`pKoS C܎j1b_ٖAǯ,ʒJ %[rheFKmG.X2J¥ܲMGXw*sqjoB&5YmЍXQpuW|gțڶopA?o,ցC Fd0Bsg& 'V#m[UnA@%颐R1M&AГp.#[=w{_M`͒Ԙ̱( " +bGmf[쪄O.^he㞡 w!ڧ8 /5 J<.;k[ⱬP nm _UENe )[f^=A PYts7~XG љ|M{i9Hw)\*0HXJ| NԴhi&7|[um.1ӭmiE. #k#^=%LytT#Is( 3U|o×}0q;8εdm3I e%CLMvK[.e0rC ݃KnD%\q6he&-H:pئ6~sS îa8wmim$`l3GjѩO+' $(l-ygfggwnM!tK H8(^i6*U/SUGp!p\̯{ù V*F&r8,ZIpb:~ua (D Q}ijDU^c '&bBɡD #<*89]\!>hŇ.uW2;PR߶0,.Y)"-a}۶>)hu}]*%^AgZ?~oSg\SB'X5bg:_=jW7w["7~[UQE=8DIEkVb|hy WN$L8E [Tɕkىj`",Lɵ{Y)[3> I|J5m2r`.l/LpZPՐ=`'.ae?MzwϿJىZ ? )#Upa*!fus&bUU~&-gT7C@O=ng8K#4KY!)2eKVYv9.74iJj$wOf~~fgFhK Q55;EOrd+T+ߙ) a\'xܳ&)V5@ּ+ $9ҞQ} ѓRܕ}j >H,WSPO4{b&~;D^#uC-TVe\3Mc֦1h0zBkC)ܬ$Jb4 UԔ b{^5';Kߤd,~!bMDGؿʰ-?@&oU" dJ?DA'&ݞ:ЉBKiJm  J)-Dp"/F?:WRN*hc1J5TE6k{ 0C"{ XXw[ZsR\9?(j(<]>SE׾AF;K|C~-Dzg" ;N:]'^cE"^N|üIZ&V~Xt5 [s_R2\F 3 ĎSGSFjf~ztӴ^htٸݖUTN/܊'.Yn.K7oW lmdК!d/sqqR˘E8uY6n\ڞO wX׀ިqǤh)j'n(ZUS6nBy^t~mgJ:~yʧ"|+/Kh<}|l6.xXpeG׼QçlMނVHBn#E(+UծaCI_XoՎ|)z,SFغ]_8{*vnt74AFZj空Bq炤AA3PGj/R;*pcN}2:v~pźJҫ@ڃ,pͲ(1=C]";%NK&ոpG=E:w0펤Hvv}Ȍi@/0 /Jo*x|B`l@p&K6%6N,}Ogng~N0P8kfQՋVLz4Yط$/le4p5TIe}]K'D~ӸI,(a V L9W><"6ytcvNՅ Vd,uS{HA`^baT!S4 Bd'%~`Q>@&zb;)4շE-Um@Wi+j-{%@aۄ$tv^TﺇA@M-&061h:6#7Oo5sZΝ5=m)L̙~J).$#،WIl_ sHz<4]+7KSvvE Ac0#<.OTm6*@-XQQ(:q`Oh,~|J٭LHa|l>y.7Wd.>Dq~Z\_٫?qޘTFؐ  Hh1h&ɯxeIzX3{hJ2&&M(l[ucUXǛ.#WOkY35YvR)PH\fR$B(wADdt19$gȂ*ra0qWQ*T݅Ml_(5A^asPswӒyDoCDaZƈ^[H{@. }_|qK^jvdb ^~l/p/I[z)aQ!;y <4܀4) C?nҊ`%[^8!ѱhiX k*!c0^CwoGP Ϳjj8#nE `#{yVlG`k4 #l$_o[ޭո>I~;J r%'ud <)95q&*/LJWnFY;D*gCaH_b Q|}ǟ ĝ Trm`*UvQljQ$%0?0LqdVM[AUL\)7 8Bٳ 4޽J  U*i: u=e}UjJmbW[+oa!GfԑKcb!N?_ V.ކVc@ߍp2f!v!%yV!H$X@ц*]߲@CX ~AS$L!AmŁD@WѻױƯ)f杒Lў#g?KYf3^S2UMd1^j}V:т m:2v,UxsS_|:} Ue^Qka٬% uz B/"G./%MvL/ЪNh )j^/SouLhl$`]Í}pL#jdL!Ky^UœD|ϓ =z<jo'SCA v~>@Ãny[*6Htv6Լ.4@y]\9$&^0wݏ}Ő'"]f|!Ɂ[ذs@`dyZ|VCPlqH Q 鬂LȒMFtdq[c@8ywP :͊pݑ|2gԄ5t"ү)53S8oq.* \G0eD3,yi}e,,(&|!@"!s>2Z(nx RF6)mw/cjKBλVgpZ k">Z^?OϼƪH)Өxe U0sH%(XZF;0싴sa3<1KtI=H~hofW|>^f'i~0%T3/;GK]x_3秜CϥX6ohڇ$(%ӓipͥ0CyCD={Q4}dM2:@r̞ Uϱ G&qB=gbg<J{<>>gSt@/lO"9ۜ/`TrDu$[оK`ԃ[I=T¶M܇˜sҺ"Ŭ敡w+7aw Mg 5/<4 L-><阎 iSU7Sгە!K][uJ w$ElmީrGޙRhx!"K:?n&d; E1_ IjV~̖yiTEsA]7:LcD^=Q{giOچeM4p8cx KA<2.?D{i&APGj/Hucܹ q?jX%R w{~vE{,Zᠩgݝ I<Ư`s 8ʹ`$VKϹw1ߦIM۱vy D ϭ J#&XS![3R-[ɞm;/Sb!AňgM! ?d e' QQWJ؉e|p|@tI&"|[yRaᣱG-޽C ?l_Bf+ڣڕ]bI\ 2 9IEL`DW%/?Z]IMkh<=v׻@'1DwRf@AL52Z~)~@Ђx^\]&h9-Y@ Qƿ*VW 'GWx@^T+F("9arP$ÀG2,6xH Rv{:*Hn ÃtSiW/h'.2HU&P6+ >{_A&avx\Ȉ u"*04T ӧ$KH'eK;_ z+'>;!xZzZo紭`w,VCp*[_%8+h{(4:DUQa׏v! 9{YݵuS#~T̉ w;bh`CM~":f-}+Ddf3IbB`h 7v%P0h[^u1ett@`2*z^FERjE_* /+"{DAǟ ^q&f$߯HVb= ]vc&@ D,5{~0_)ylA7l, ,dy(L7:e haJ750u|޻wGBQ\9n#R=BNg\ x(`L؊έdшGJ'j@} cbpZ$@6,%7X<\ӿv@fT$0Zj""JU>S$Z+PkѴ( 3 DžϯV\wp" Ck NJOBlɡzL,,/qRnLd]waJc?FsWU%2jN(Ky>(Qm":j:ܔ]mdm\lM[wOf yZ2%!Il[jF3G&VQؖ-|0lTH]0K1:1ҴQ~X,6LًB5Aܞ =#䈀SC[zDΙΆv#qK]/)G&B['-*OT|2 nZˠvrϣGU+ta*o\n~w)w,B6ݴ ;!D!UR%uSCe~4jX}`nd~ܴv,yE~;Cpx4*zlpؔcwݫ~3m7R^Gh4Ĩeo#lQCbUT!z.)Jt *=Hsg4紶p:~#\eD&(e_byQ;4`|,8٪hLL*精(u>ieQ[ ݧg+ 4EIٛE;,k\=V]Al1pYWbcyts4o5wŕʝdPNW4BgƠ% Y5>ŢXozk0w2L!, !p3zSRoRbZ!}ZfʭG3'mdF(4&8qn"siՆdsz;js ʌw5ËYfh#F;hbP ݏ6 童FNC?hX qL`z;@Eə\,ʢi=0c05ݚ}гEhpcS4*Via?'3a rD,ۘʃ ZL" eI6+v~N9_ Ҁj r V|IU$Zl EKع|a]?ky;Q9qVv_*;`n_/(- T@d_:äYn9AɝRDAp߁2^:FIS:I*.>뤕B ÛEѵG7 Ҭ2c"+)R&n=URlvʐ-Gaퟋ["L u!ÈvQ&*rF{kpƯ-&99V]8Q_.A+jӂ6W~~PvaFtOJ6ý,[xA7%f Vr4W>5Xy쫎PG<~H*hg޹D<͒ ;0Wm]FypxS*<e39tȞ57U=] E sGyN-65m7P9̊X9fP7l`ܗl9Y%`b++$~%npmӳ7x[xBȪ>'\ܩZ'O.1~6b 09y8@l8{}˱uT:iv&~O̳qAb KjUkqp}fbiM;rBkO8i0mm_esS JVZ2df <"cS]BW` l:{ٳ~Zۉ566* SB/CR`,k JVՄՖS$t7<<\[i)'jde} SKѧHdLAxkmq򆆬H'񬲕avIYBYq6u] ǧ^2[(K=[nG]M.[Fbߎ(oPo3kTXQ PNYV0uܩp#D "Na&^VސOs  .>? %mkʻԩuvG&UJj1v$S?c~T{Õnۧ$r-|bo#6&%YHօ.o^[ae⡇ܪ;@y Y ]1{,pc(K/,̾XtԈ)~ -O`P4^Ӑr7^RIcM<{<C(;56$~Pשq0,޺!OF$"NEIkOBq9J l|ڑ%:ES9EȱH~Ï1ˁʻ'(q`]cC[k)wK'tUC+m:=غT Nt gYZC 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;^ όn2pF%03o!WE bL:IX t[RA腝 #ќWXAXkԙN18 dfQh\˄)cjP&nv*%p*J ۠D6UD S0Fb-Pc~iO]NUJ6+F}* +EB,,54g"۱h1M;М X;{{Т)0qDVC%ڟU=w4[ pO 0.)VLGt8DSd.vW CtBal3摊;K*(,"ۀ]rm,+3nb7 ? Bcd j:'7SQtqlv!\eB+N!*ii`?}y ߾Y<:Jyo8gH¡/FaN~= nj[j~>=OF%_E)+xy ,{Y f._#Hy, w1ZISh9|O+1/tgktϜTW+L.E-/$z- Lf%IL|f\HSN`pPF^j+L䋦͒}] bmep2 EizY^鳢m?{~5` soɉ)Mߪ}% 7 s5bDRن Z%tO`05P˱Nٯm4s/fTv=y5,Y2Zn Ʈ64ˎUpއw ŹR”:g c?-֧=QY+ot<{daL~|y A}ψ~曜}ؼ%ꓒOG"-Vc!EFj4ȽPfl^KY!Ĺhu4ix7]AOϱY໫'(%FamhbV`m 1ZL96R#QDœs8ЅrѠ~W\..fNqȯ6>뻍28溰SNUf5nĆy./[7 cE/+MލEv50X:ٶXTШ90&=4ǻl ]xW{/A $o: "aYbT#.M<gFtËUo??-TlTO w <YbD<ۛE gV7'pd28"PWb}(c dϊ#lr8ZR ӟ} IoYW^yPRm|ܯ|(brUsQ\-  Z)IvR.`t˷mdtdX9<w].4̀<ިWP{ bl;tV&m7.Tbx𳲝/73 36 E | , 39I# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씋%wCUg#r~]P}Ҡe3۔sΰ N1!@%hauqHi44Mΐ&!~H}Jp>8i Ո-4g5HG9^eG_mpUozӶAL Y%0>j37B 4|.ew)ٜ桢~>'PeAO&yg6$ IE3CҾm81Oֽ;)e{'% @IH9FHɻ0ulծſ8=)s;-t,RG@!F6Ti$/V}ɗҷk)hQMN&T~KJu3Mh# A(1i f(yo̔7y#Vx)4w֌̖_z(ۯqڱv:_V?F 5),wQby,YplI.|OTԃ?A]CE^tEY3 40 Ī`G1-x7XHM`Bq89 Ɣ/J 4cd*}$=[sW$$rgb/pĩ G7"OhQpbL>=y*h5#Srmp-5j|LƱ4B|i\4g M r[`Ŷ~^9[~b/pBo}$Q.a3J"TW0Fd<|ZD{^AⶠjČ st)4U䛏fTmqSs?/i0+`PWlbT5|G9E{]V( =ddUsb)x> k&ŭ{.O)6Hkh85V שE<;"BD{H%}2(S[6`TA"߆{|KvRSP4TClB"ӆS^\6/ސ_2P^"*]El)R؂vN8*~8.I^=srM\I1{]֋1N2R21ui/Υ5TݷV094_ rʽKqUgYZu 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN 9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id516> 9K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢2]D?7 {?:fH\7S=>t O0+=v ޴Y!]}[eT% N$6mʬE%&Re*i^) :ygLo'Ev{CTNb)'6N?S8*DA5P<el!a'VV_K~1A:_e;)I6K/=qV.k9b N(aRԾeS?~St5 =\Ay%l'K;sZ #{i=Jgvc{rH2w {a)%i%711~˅s$ *7${W_BieBǾ%8,#ϧfwZPM5>[avvFGN`qy<8Fk JDYqm臅H!QZzJP+zvVspN@ƣeqK24W(na]`17X񛤥vpyO(/sQɑ,EC-ﱱ 2"M 9K# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]ˠ)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Ř[Sgw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id518~*s[llZ UݼTwrA:DhSt ={1ښz$K!8nJ-"ksQ۾ 1:Na-&;YKa:|tpK\6?ɸR;oVʅZkaC.doH) (GJ,GpH)øVRK?%/Vu$0,#HI9W=ZkEmQtjbhY#:*Sx4z9o>Y4p6j0h ֞.='PqY6 qsaXD6Rr%C z9=b½P߂>"j5H=]R3Rzs "cb*K92Y~P5B3@cFm?Z'6FJr>t xY$h.4ne_I(M4Ҋ$2z[ggtǩ l!ztB! Zc,%N2Tۻ3Jk.*<6͞6tV((QM0kɸY/'7=^>=ԡu@z)~HmeQj:/BѡSqBFkI-"c3N;ck&ME!s?M/-BTz(a5]f#/d$W%+d"W[%>udVjo z[7(bMPڼyw  UNTeevMWjjM89hN36u/qEnepg?Yl vqկJbVG:4p)" ^hL=,䍚?ؔ>ywey %|V:9p}=ֽ\}|UI6Qʝ$nC Fl&qMM[CGaJ:%c0oeaiZFW~J7tzkY#V2m!_ @\C0P+ccQ|pdq!բ}=l3u*!J8M&V'ȏ˝"$[_'&0ƐCX>(fއkpPDK% &q72;)v*_f=CO&htiT~%+=ғ ?qy(/G?Фܡ~[8aiBVlkmSxZ^/1kv,k;đG ĻWxY_߄5)(N54lcBw6vwXJ R'ȺrvK%vf8نDѩ$^t}]bv0gҦ]fU "tDp{ɽ0 ` Q:3^Bo9(`TxN)Ldq]Mp\SWl!ӜsWZ5pĦMi<zUB~jE{9T66D 8Gc/s:S#Sbe0'|B+K&Q{n I;W+QjlJη pGAfdZ6B=eBpoCG@MFvUAdvP}6r5xfOft'w{8}2'ФJ> DYW7)F$Ժ"s]l5[뽏I;Ʈ: IOmSfV-78h[/Zz3S[ԑ9m>۵j# Ptݖ6>`;aߤ^HՊŒʑ?.09ш`Aلo04jX]9c}L;zTi43O:\ | ɃVLa<6ذr;ioJ*@Qh_ i<;r!Q]h+y`EFvq`!Њ/>$ъ.pr",7if?,x}d%YF0F>7""<%erd2̼9l׿ PTrY!+`mۀlP,Ǡ2;Dɰ^/n@D@rꤷmDC]Nơ`n/sد]W6E$6ܮwAd Hɔ?ZFeB )F CB]{>|r)n)/FDw;X i6ow\Rɱ<~+1]FinBw@͛.v=lcX^~]on@Wc B/G$<)50 7iKe&0"`5UuC/xPCJ 8uƿlE<϶q9ƙ7,Ig=Tj Mv( eay(%ײ:D( b-s(T<Iw׃t@a1 d~~>ǿ\r&B.V̩nTh2"`+PFNt5eR.R˱6fi&!\rqR퀉5HiFYǕq;#ZN" fQZ)uɑh`U,>M1nɣ~ZWXcv<*wxfTgRTV'kmX}Dx׫޾4*4i1ĄPӜ2exz[i^Zκ4F5߮,I~l݂חuǠƖ q9m(XI(מAplFI-[BrY ke|CPWE]Q 0o kt.F鿯B"fS}a<@GOz)fc`>FaVà ; ;I5n="ӻĥQLY m iyZ4TlkwYwт"&o \Wf]T.(^$Eї\VGLGx3Җ8PVٔΟa~].\|U0-pGea~z+Hzp4+#ຼYd?*a3gw~Po8+) ־d#?}Pm\&Х:u 9i6Z ;9)F~\_k]c>^ïaȭ#o@Xi VT ] DITJ̽yKXcqmK>2o@I+mE7c K?93+e(|nV_U^6ـDsU0=/:yd𾽗KGz >4p#eQ,¾FH#讵,U'76Jj"Hr.#3Ԃ"nZVPNEG sH-d݄$~pʞ7`2:1B1)i$&&Pa+}PHpQr1>jgpJthJ^ҒuK]s24B;HhFjUH*CjP`FX(?ty7$(%ǎS21ь` g9R[lg8c>aQ Eo$vV1Ŏ;O%7dKiU]CwUmVHVM&'=Tk2(Ί,W>mf҂%1>|rrmIc@yI+> |fz5)3zurh=Vܫ{ȺF($_" :F_EY:/,%ě-Bֆ޺`hy.|^$=)ь ְi4zP 킷H3RwCUyHyZ2K:2p}KOHu1Zjf]/sg@-ae^J7FQKX>~!~$5rj@}M OߒsX!g0.B 8[P*쒧]]ou4 }s4۾mXul!O˛X_ʡ؋9^$u|K XSW' DlӶ$-Enp `/^z Vv;'cnB [ퟮIN OX4\Qw5l^nD-"s1'-c"T4J_3)fQo>Gk4N5bak_'9En|t|Nb1<ޱ`-h\еxx $ۍZi`>CWp U՚S? ypZdx+/ե$p*i,x\4m?Fe8uy?cNX^T([:,@K{& znR[1KSv) M*1_-NS>+c[zUwlqxFd;UNV6۠ H|web D޾#G`I}-aT~@iTgz56{]dJl.8^}NnE6cbi B[ +p?&Ϣxs}KkgK«PxcWQ q $ ^kWqdvIX>bZ0L1Ž15ފtfw ?DzǪ;(O*o5,õU@SEmnd,<_1.j׀qT-7qwD(ݣ$:7e5w1}KH(YIlU*C;pI}jv8(tz,Tfqw}u_;/8>~:6l ^A01WCd٨,Pԁ%^ۥqՂ7M!jeJ.l:n)(S+=iΙXd#ůoJAcn"¯+b,|ӆaXLY,QO٥R!Aq`4 3(ٿqĦ {k!O'pIIuzXs)A@": de&U!ߜ.Wg܎tM;}UDV`]GKFl!&CLِKƙbh.dž~jBM'O3찹򑟿: ގԆ7[mcZ|_)ڃ;]|B":u{ e1|Eeh±NkmFεҵ |Zy1L B)e{8s'-:TgC@hey>Yɱ\ vrk8 gii讫XᆏbQ} A^Wd̓*/<3 r[ D=)GJnɓ%h CO%o5XzA~CжwLv {4' yˊ4Q?FwX!ȷԭ.Q;NMXdJ)ݖre>ԉ(}KҮP HC͈}+5EK4pU3!Jby^~4:>4LzOhzY.Z$f4EwB˼)7@@١DץVjr{M>rK7.iJ&^ eTìDT` jֲEZB46zp;c+IZ>m1GRMZZVX+'4z{^0l=[e.75>`"::$8s _q /SGmןI}  b|fgǼVv%h)C7 O:Aea1.u1#֩^EǮJMV~+'dlfvt-%Y_h{)[%]hgLbkw6Y,6hЪq-DZ QY j/P.˵#sI4KH-_xTgL PvsKؖrT-_Ƞv9egE_ +'5.Sj w_m C VOL+S0.HW* DFtY֗=GYmSwu% ǐwZ? ʋ&)g;uPg DG_zO`v!*='&HmlʐN+UEစڳ{d{uJ|䁐 BQs{D{͉FZk_Ԁ? uW'YLًxɪن qjG&' njL.ۭ҃ t C=XL"hӷ='lחot/D[K"E܍Cvu~2}GY{D]ᄕoU 'mc35Jeo俺 J\\C%a)qj  {@f_Wr\mE_ʗd8u;Ppv v8F%t I؜p0Q, z9MTECe"lpDD\mo2rFPK眊MIvZhU[~j ݜ9s.9s!I:0]tdT2ˡ]`{aC<]G9R 7{8XCNxVU&W g`nL&63NN[+Mۓѓ}$:5UJ|v]J"V й#nVre+h`39(U T4D}?lPNAc^eͽ곤8Eqi'L}:hIǗ⫠էjr 1F1+(6 [z~Hu&'4Ͽ7-LpAm-c_z+E1hN~ I{48u5qA5GEOc?kbV'} m3qm ^ʊ3 7ޮ&_h p|9 MQgZS끆 l8=:>35"Ic'fcUk$?\΄P?j>j~_sUr }  m_Ar#|5"C|/LI˳-nՇꊣ|"Qo#_u\ aW[e]4*k*$N 3pǿֿp~@{iq\qrÆ_[ԑG6]6ݶʻ*FS%)1|Kz2g3OζbPP F :  ٞJo~uy7%D010 UJxw\v6ii(jl.P1dkLV*4Pmd:;/5S$Sbz/7GC׏Sq_uiW %-ftHFgXHbR},6s \ehQ$WM.!F9'+-] n&އcP,Z(Tm%$PN1P!C#lo&vOz÷'%ͶߪF'plYv ?m"mӺTN9liBJsT5ٷ2DepU |b*f$#|"; |hdD^*i钭sx= `k:~yxx35-nz Y5axv c>)^jo g0bx rhlκLn ]3KQ 5Q1/EEgsõX]&*5bkrzv~y|Aӡr_]t2HIֹT5w@tD-l<\5zp#~\,'{|^3KG2N uO򔧨?~F_~+IެfEmo/A@{ag2IfNm`ij3-ePp)Hگ zqr2Fr+uatWTyb ޮ}W!&33o)M B|+w ۫"sn2'H򼃭ge0B`FЫjL Wʾe,ׁC$CH [ki!w%&9[l#\*~wMPzT}GFKMGAz= WaY@KN8/@B? Z*j6U b( E,Hz1`._jA\T)wnSj=vQ\RB'Qބ~G1wh_T <?Qe&J|w3V &WⓇeN⻺yP-pg P>6A16eʓJMMDޭ"0gBxGrEQLo\*Jpʷ؇֣0L؏"LGg#'DRE(M@I,*Ԇ˘^*ľ&}gn'?rkBn)@ ]ܙ_~mgF jz2D)V?mҽ isS\lZsF{%wuojcL}^båz`ֆ\Y/r. п4?U F!PD3zIde0FSAKt]Z^=8l,y6jjBn>yli)/LOBI8j?qs%2.X5(& (ڏƐ֢O:_y3>mqZY*_y\I4EdӠ3bopmH:%-PYi}D% 60NV,!`' >ADRղAnasؒEJђh3$b5ׯՁ~8(kxxӺ$VT ިyIL~rا쁊;Fr,nҾܧ6*Y8'`*W3xmY3T.po\:t}J DC#<jp Qb G0S5튛TrX]Lf3 "eВ*Ixu_&eׇmi>Õv^DW5}kP8 P㈗^gDK]3# @ yڭ j ; md#;?Y"XO U )ebܶ[2n4$p3HIK-ܺ+(]-X <=Ck L,r:رh7k29'W*'$՟@[ٶJM6ԤHX?~gqWkvX},/RO B𾴾c9+OOCt&OOHqYfWrmm9aX 5hԩTΌvq~d͉%alF7Y`ڀNI@/* Qύ&u5SU }$ԽЙh.)FϺ0Z‚7͐jp|\|ϢEɏFk6{* X)<%-gUz~3L`,ڹ~ҥlZҚb #uOkDa yvؓ J*zcZ7}M<<@5c$a;aZږ[B0)9`*  էmCpqzTj;)uƧW?l? HvNѬC06"bO^y#O$nVTNe:v̙O{.o"6<:Tւt1LAab{PbHQwFt}ӶΞ;doJ 奅Y#j>92 I+Nr늰 ׫JZ,;Z_w u_4۲:Gmot`="%O:6,9XlK5O@յ7o?T"T UCWcc&kcŦ`w:2~')Jyσ+?&KOҗאi~a /|C**smMU?6lBRhsK R|n$L1KB:>]oѳ Rjic y0)H 0fْ+l[ _Wm 19+.} RN6߈f:p~A&H]]7(F₉8ɩwӪp柞5| )[8C%Tsx]suE,T~FS1ע0[g53Kb34$E4ZDpWOnBsIί/[w`kvTX7Sm&zO#^o6 8Ő8?7yc:%Y= }fRGG}yT}lxςm_(1}t7rW}QLJ2ӝ^ Y^E8ï072F$BeCUwJ &qry(c$IC `!Cai)ՃUqnYЬ ^0f$H#4舮I˥Eo۾5%Qj0i| azW=E>  T:ąۼJmTCz"oM兪'y8xQg !#9p}y07 V. Ӡ" ::ׅ+&w4CZ9WPD$C`&2sjb!jFجPzW[S:o}&Hd.5uim#r0]ٙt:7{/Fu}$]ݤLCF.ixƥBZ6$AҗȀ2ތUk||gu6q A}%(s3«(̐ zPs(حA@wLˡcF!&J{V\jm`"< 4a6s05iS'j' }*im̖8NHV%nEX^s=z9 0>Sj] /o3l]t#cA8aIڛBCrIIg 'V^&, YR*S4`.#Wb4v 2Sy2FTu.xF8XA%NƱe3%3rMXoWq Z&h,wĞ$`Ql5HSԚRMM!db-g:D$;r_#$]萿IBfRS1C#.K^ Z`G@Al-|I3qmK/{7:ʩyLcHϥrOk$(w pz(; zF%ʈE F{E'yv,jĪ JkU,rM3CD>7=fS8aQeUo+u2r̫ R + jl ;H deÇ8!싛9.K?t"5K,N@U ؼ5P8o!%a(3$=١qEOYYEYTJb5i 8W!$2@* e\J_2m>e317\K+218Amq72hI;T [=Tߣ a3sr5Q,:17ɱ`e(bwND?0 őG#sAZ|(DGqps- ޯSTI<3(XєXHz))l%:TuӺcIZ~|mp hUM>oI1oԝ`­RC2m&.Xp/+Ъc L92 &]h\Y:dn~Wjv'$&FE~ N;pJ1) Se ]0lGb!,+!J^t#j+x|//CT>hYW4]@G{>ן/VA e.KGR[[)@;"&@u g_ƥPB 퉧kZn3}V\yOzg9evZi'rd=G.C oo{˞W^|cm&ǃyy< mGMv-RpRLoHF  HAcFsɛfv ^/azk> FٗN0Z !3 SK׎ݐxbi0 BF{9ّq sI`U(=wbނ7P .?&R8ƣRP3 iY%!'pKK{(E2-U!Fev2<[ Nc!($]S߀h|=%$t%mD(v!ЃI4!4Մs0ɜ3́cE.)jqY2q@(Iڗ}(:/%ic[Hp17хi*:>Ķ4jd<[%Ӣp(>xb͏LeКQYh 0G!JJa0r`'!n . g5aVe3v ~'Dd,'(K%E4qmY( !1OV1X`HVWI]>.׃δ^TZ6|Teq欠Hs9'"( ]fRЕМR?Y mCn)FN8AKSGtSSs{5ah3;)&o,:1.Z9'<+fz^p6 G"4mN8ԩ*7CI3VsGt0[[xmDcp7~s`#&?]Mwq+r'ܩ#!5_*ӥH+GJ .b,gx/1Q %kP.uă=5srYԱk \( CoYR#igFMUONy=t)SF"#]#!cM>i5ʺ6 F2]wčFcUݡ2z?bв)eMhX+)R`ml_c_VX^$>71o#'&V IFi鉜Ĕ9 LIf U(' *+j:_>גH8'ii|\! QyE>1J5䲈E1LKWm ZfnR"0; PD5G:R֛G I:? 7yf`b"C޶t:< ƨ&D v+GE'Z2ܼaŽv I{ ]ͮp2NÏc47 Łv8"SzX].D #zvAUD4jGwigs$}pˬj=+ }zn8GB* a<T`"EuHÒ^Šy"lɍE5fH3V嶂/SbX<[cye@ Mz&8QZ̵%EeYJūY? QlճlEQ/_2tC￀E? -^il[k OyfBC|,aoZ܌_' >z ҶΎJ|#6҇Ih,Se\}m<N[r6^Hi+.6Q9H/zs!'6Di>TD6OzO&@E[@K@+f=.dS䣔QxVpt(2 r0~ֺ R&3[{ VuxȎhfH}926u\6?s3/:} OxGz3 g ) 4]B\$2\܄[F 5IIDCÒ8GsX=;5^'ai(`L }H[OֻQ{eOb= {Ndm><>L(襞BӍ*30^ZQ B |Fi#Ch.e;q⨛VBY&<Ok!f#g6k WreC12U T50Fu8W-}Ǫs w<\/h=&0O8fd_g4k MJ ʼn_ALб Ob)HwHbpb8ʦyW6꺍ayF9ldH˭0juKOEmp>-4+6\wǮҞxJvtEhOc{_Vu3(_M,%}cZ D$_c{]60%խz?UJıwg7}QqD ,{]| äI$={7e3ս* L<۪ ˫S]hQ#h֙m0ԫRXt 2,$7Oѵ )#Z'h4J,Wvvz1 '4_Roէ6 { m !KΟgBWØE_ X|HF>O.鏭kՇ_vs4pp[0egз?y/k؃|3Mu#- b n/Y{(> K nDpɩ5>p*j<:!g;2p4wkѳo2+p0@~J%$U.V:}X̧/9xNPuƸ:(Wys3.*tK7]2c7#\9NRuN!]vdLиO5nj*d}}Ú!X)o= ٽ@JvN-1L!z4؝PN4ؽӧ-4fBNѶ \c{^ M\ˇ'6Lbs6dŃh[LemT_kYZgdɒ 3jB5y.;(D[Z `)A@Y&G(9!uq"L-ybiE~EH:>{ΡV2щ"m *H*+/!D5/0u ij}@< ;l+kk-!>\13ϒj1ruX 5rhOtȄ5Y/|UKYr"FAvDžF[ڧ%,?#N=m NvxDQ[-yq螉c[_WUr =o99޽9pJuIh-!*vڎ%Hw #}PB{HZ<|=:?>IFфj_-[rKV`>w"rK6dDqvOw̩xsad~McRR:-zr`\QC.j֍ }u35ҊȀU&^ .}~ ?\Le7󖱍" `Ãf6YM/O5WoE+ f>S7=DfB"_lQ9LAK~2^r 54jXEMo XHܨ\9F>Oy/(cJ yk%"NduT_Z\X# o+THmo,q}47}P.eolWň:Y#)Tr+y`ף$DH8Kk$myG1I?dM[.敖I٘ 5Β6Ox!EAs ~W2nJf_l/m@_[*Y@|=^RFm3+9X&º?>WD͝8 xc Y׉;A:EcjaQT;\r@޳==ڥo7{FKp7gq#/ͯxeGs ս.iM;/[R"0OrH xab.! hi_GzM_V@ zb8ݦۮDp 3[rGMSէIn0h<9ڂ ,g؝n̡CBFϮ_}Ner7oE\r]Y~0xmw(h?Z:]p󿴲*ڑ2Z4ij7#8Бc$=/ōc!(} :}g!({$է֑ a3麐v{gߣXUfHIQT.?j[Jo6SIH+2QiG"XMa7tAIdtM|I/\J `Afq^ V1C]+@ZQZP.?m}`n#$ keʹ-8 F/PH^E$&|e# 72wh8!t-W+y,4-x.kY龧mj`’X)*$9m2V뚃ulFK Z-d^E]z%_K&BP䒉Ϩb{LowgMo !_yHZ!n1!{oZ nA#zpϻ{'!rEC;*\:j3Xw^\EhX6{XX7RJ[RNTLO2_ `K>L=,2JJjOVg&(, \h(:%£JT4epF90=6T]{MQ UzWklxe>db=`*S$dlbMi9̽L2M7B׮X3P7+.NU~VjSd)e,e򀐙i[kr eS &r☘vCKH RqsP^%ѭtyڑs!Ns82.Ak *g!3420(EQ  yWKĺס/Pzvgv :kAw ?"o2{ܧn\~&r&/&B] M<;!SD-5?m&_bx/&@tC6f洹%rjO c;;2 >*?v/'U5/Fr:4c 6@t5AY}d |y7ՆG8 _}̩IF;*`geQ4]ԕS0~i7rʩQJ20~!=%"95WiZ;f*0C̭XpɫOBݬ/e*A۬iYR$4k= ߭:acVb.x(Ξ)Z]ᱶ^JO'Ky=fz1\/M컄l#e#CGd[ӤunG h&Ķf-̧+u-G/cxeCt)b$P) RNWU121 O|H\,HФp:T~`J7)փ=5mhRcFdBr+%4RQ`@")1ZFħ:*)LG@2@STI뽳^ hҖEӇ+Rϳ6gCK}zpc@( !h#u~]f^O==*>_ 2(O-E\DTwᵽRN#~j52 "¸ ,[a2DP*xNd4DhFu`'F%ٌegOc!xݑ^iOR(e|LQKw+㡃X~ʓ-xa0`;M :6:J pO)b{>T|8 38`zm}mxރ뤠Sy+Qn;%XU w61%|z[wu؅ffmAh̎o.gm3BرО[܃ڍbG =  {f3  v}l&=K8T9l uyr>W! |S^G~dH7 ,L-<6/czȽ k֏ xK2fPjU]ݹw<8.ަ)P}l@8Yc7-@~8ZVp]4Yr~8/a hc3釯Ť7[hŗO>HOK9JO~ qw"S^vN) Rz}A-<#0gSүk=AqIU#grC#c66>c7bp+\& >mE*>r6]ͮK[Kw{iϤ{ۢE!\#t:x)m},'U.C6tpNw hKt3Hf&⧣ɝ  JWe1m;yYiQ?T39o{:ܰk2Ԅ)(V\1f A~j?{2Ц #C-mO#w?Ê>j%k}6 'rN0IA[[*:4wJГR)B,DdXr^ފ9];h`)VkJThg/x,dW207,żҖ'2Ucш + ½\ .2 A.]Y[4mK-b!& UA V9m@c- >fn&P U>$]_N3=hD&i a׈.æxMTv%g=/jE6Puo~G@}{F&mvZ2em$ C&oZEİ}H*dlyoq4)!:xu(d)j.陏2D{y ER"yUx'MZ 5$F=eb []4>V<#Qq l@ sxQ.?hN$5|8zNϳvD{Sd^vd/>Wl˘Xw Ku2wV9XIJ~yhpDW^4n8±FiŵYۑePՑGYs>)ѠYgxrM ߖ/;yXKd{kDYetad4U"*pagsnd#>`)gsUGShy8D[4S4o+~ٗ¹ZH?JS-(0C.[\ {>:ðJ3F8iս 8ucOo}R I ;7*t:L+|j9:ɜ?Nthϕa՟QXDQy@wcs4oUbR!';O)x(- K'n?LHa3iNŹVASzN0^RL}7hV+}#YS=/hrk<={6r%f!#''cdimf^tdo?/]p,yy @,9Xz<.gKUqꬁVdvP*83;G{Q:eډV*`4:ĵ<ٸEyI:Ru]f9 G@{/6@ɉ.^g ̓Fz]Ly4Ƌ?~ N/M-`Fe~^ۮJax ' F iFaj\`]za!3cB-XHa& |!T/ɖD?e\,TDW՛bvmDfªт])昡³8DIaNqzqVl[ӋVFXAbj--%jDVHWJUM*"-.jRi: )䝾U#`6)ޏ7Ǵ yސB0\&go_zMJs&Zi > K*DؠvqLj]D{C$eo9ħ;Nd2z]4&^ ƙDDܷic'Ci{>ƶZyp粎LzÝq6 NOTcrc$%lTPMn-;f2RE=2ӈkLn)_(Im̼e+y-.iY\_cP؈xV#5ۏEe]/oกnR؁x?WK .Q<+x qBe l:6,蹺huc._jetx|ܼR_HÀzRY874f{׽J;}4ƢPAǦyd$_k՜e_02t${c@Zۧsk1)m;p.%Te0ӷ A _ѷ+Y+b,3t7p!Q+:62|;+*pGS!cH/Y`4z&:;&ܐޥ9BvQZ?;c;4WWT9|'ɞmfђ ž,2ͣ^bq<.az ),S5{erqfӂ#86txE%_H_PcDsK2̚˱N5v@HϤeE%S[Ƣ>0 }io=lz i/#wb\K]B!6Fm+Y0ߡVP0ZTb`HGES}R[:wN_JjVzΛe>A߯uŦ}Ã~+!CWI蠨5_[bD('+aܼƁo,}&,5JS*;QDN\iZM=|b{][$K>=۩I̚Pk%HH!d2-?4&(yX I`yNo xdvEFkj9G33}jIG4a˰Ey'n9l(A3^*q)F\{~N9r~Īўqmв3^RP*xGI_˘՜*"f2i+Wu^e^,'"vWV!?(ńXahpH}BNg?!^c.@ũ2,o:7SmAt(CǗ e|b'+ij'S5~2{ٸ[>nJ3L?h{K2i-3%LGvM;O*Z)NCxjleu:w\F;Bw;Ed !cz-j O.ZT:s4]# r1^K$gYZ8o؝; ұm VnM+)аc"K),^΂[\ .5K({pVK;.!#U 2dklGeX9mRerDC}^jU 0=F1 Ah!98 ~[2MT+=to^ˎ>|{D.4c,4Y,kOqˉk; $\u]TwA[ǔijGc5'pP 쟝96!Rqm7) t0ڑ MnU;1q>A2N,5k>B1ޔk5*,L5ZV sѼ3fd\K.MexÆGHF@H1rsdXw(U4qȗEWcXY[-4} tx\$DEm :h^\ivsk{i;Ρ3??(huHMXB t#3V4UF4\["U;:Lwf>To~%7Ո|"~CSWK]Pb(.Ra3եs[D!v/ 7s.9 ϕ"g@9L J Ozypk.۵)ikc8QAuz%oJBEvg#XŐ2=c cw0M]r{O҃9JrH Iڳ4\\.xahJJȣ8jf0Ճ3O!:3:8,41Dڏ%WjMW< tJݝQ!(qx_gQ<kC&| E-$V`khD5ZyyЊ+>w_1Mt p4ҒXv%,z3:i`Mzs)ɬv#1[u\: u#B" a?Fy^Y yh qغx"pp6K3`IPt9h1°'@,U-B̩7[ۺU4E s/6}:W\çQ@O_ *_h$';`|\6 {]ahXdq߬ʍ( ө0;(W(-iy+UmlHÒhwJj ?^SphpJ\̅ >*vv,qjPd+ \- t; b 1DvF4%ܜջoPe4TquX\ w"qkQRכ6{cab -ulu$6{|"!)#b˨İ̊&&?̎mtl_bcsk@} =]p>g+91KG6h|v,ava"y 'yi{Oڽ&."u/-[ ȇ0I/U=5GT| OX֢)@עBiMp|xsu4zIZ:cgԠCbvcThqO(ZN}aK2M1nFF6Zf/1th?@ix6/9-hydEv!djm￸d$QF`F&Y<M6Hg%>S.4)ChhQ~ 4EDҽijǛ'O#Vuz,4F~kk;yVE7[k P?;kLN>(Qy*$sE Id F] QQ/5{V nx~ +JRQyjO4 , O{A &4) eg0ػHt4rRG.unX;vo^5(w), ]3_ JU;@r  <dz;vכC]gi<."wBG#C-91ō+'fLuFoO !:OKK⑄QNv@-Ϸ 1+XqӜiQ Ȗj{3lh#xGm#B݁Sf yHe}7E6 M:∦o" Ib5rh{_b}%NO ͋ELՓm4㵠M u X)ۿLvQye9 gQI P "RQ&a4Cʺ¼=U;5K?˲-cbw7,Tf~זxoYu৥Ѝ#m;w,yBN4rG>u3nע]Iq2ɡ7f. m"/I 'QZlJ:~:vUpرsIk ,&pkpY8,Kpxdj5}`\UfxF[kZ[bۊߚ|9Co ޘ Ce2sdZ7%^[\ @siTe^ɆVtȭx L9f5SMV?is=%MpY=q񏅕 >3;m$ ggYZ$G6RB:m3`U"a7QdYT:M-c[Vcl~`XIu-P7RJɵs<¸4ݝDB }Ce{kP[TW{"L`S)to+捯Ԫ0JHy!ѷda21yyp:+*Cɩ%mtn.1t? u*] Fq<^*c+ zJi=ݠQkub~@tڬӱg0OҊz)#Xh蓤 @(%JvG?9t?88K#!IVmx9̲Ȅ ,ICh |)mzG-XĄB(&wqpپX2Zǝq^N*Ҁ#!<TE z_ڵ4 _9;oұ}#0)1 Yby}َ1Jtq_1 O1wh0RϻNh @g[ɶ]EjxD џ٩RzH=xFQnH,̾uB IxlCÝ{hJvu-zDJeS|DsPG2Rhp˜Ll6f Q!T,(a~JL ZUja]v崚/+N8 tDBCe AY˱wc`^oW)Aa#}fEX~}S42RJ֓KMRcgkXB4{tOl[8z/CԪ|sPGm.N6h`qM}#Z/-W#6JNiftDkPbk~+fVKEhuG=hRHann WUۙH}EsU6|;W56\* iلur\0-pE{<96}`5~^F:e v~ ݟU_UB!Ꙟ)%>Bc2rKq0 =ɶ= 8Kmr +|8AX9Zng]ɨ J9x+2,fFy rB/' חA2\`K.2 Q^)s?vՊ|(*S-ZӜt bŐoUMy_A)49BN\U*2KS|W@uw:;!٭X;YP<4w!~;A=Z5n=߿*;A!g^T7$;\"#0$8=CAFwh#u'67.CǛiswF6CbCQQ̎/eSF[3`@Cfh(" U|)69 X6QL4?u!R{C>}eka/c'eٸ7\>ՏEU ~nC:!8a-}NtM8Hizmk4?5n m%cxInd;M"wލ PN|) Ī)f'v *X9i Ϋ4a50 )mr[p~mnAp>(C¹;tM@xLC vfxEWBL {"ZF/8~m}\)y$?k7>pFYX<9_"}ԧW!Մ)6=F6LƜ'sM\ PČ 6vnv!"L1CmxQ~Yi<6$v6©NYhk2zD a6>;F͔wᢇke$ͅod<ĭ@3Q'zUs~ 2_Lu!p+ξ>Y~u9߳;3tl!/qJҾ($,r#^g3t ލ={z3/-nRDz1쌊Zk@^LA=C):߽ ȝ`LBϯ!kzRϽ!P”p)S7~_x ؑ>*5P?:҅8QG/ `߳#,6;|v ,n_Y9j;{&D ?PKT5(pjz,b`x Kűn:6>~BPv]7*fP;~Te$"Yc?a`47@|MOZQcw7GBNYėO~ǃBt?h_d(f]SAl8?jWp7ަW:Ϊ ߹q ޻/THS/lIP;ogO.swŕp  Jz>͔13H[%gݏgu<~9c+?es3 |Ƀ;s.` jTSnBU-i,79X*p0j8[!e,!.rhy/L3E>k W>ɨmS_jk*$փ"{.sTbI5}OJҹJ[&Bh[CJ9S++*Q<va{ ے :G ?WT7K92F;g9k<+`L=aޒ|1Lv$ȲFM&Cr8W)le ,'#`S@.!1pEEXu,}]: @1F?`NrTqSITQ DkPWʄhytX.?gOJ9!u2)ODC2Mo4JP*}5qSٰ5.AʔJ8*^1Srdey#1 s֮r f,Z55A6`Lrqg}  ˠf1u1ĮjHsvALT?|rmK]_kKNsi8t=BDQ3 v3I4oņ2IFC%7; q8&x''8ӏ$nk2(:W?4;TД!L~Uw\[&%$2AVhFdQI?Vaƍ@[0hgډHh8d %s>Fȯ >Zu4}jmTFk00`jб LQb?`-~#X&>W^)<xf$CK)>c=E~kb9N=4alGлɒl%*+ O!y}-TAQPp?ҁbp3[ߺO,$0 c[a!Erfj(I(m~((CH% *LF.!̽+2iXP%iB?\ep̤/=~+̮̃w|6CJ2U+Jͱ'ンxU%5OCUhaL?o'?(16_)$A.kd>lt+nms\_.#94+9 cL!183!K䠧><ʮi鯛8g$S"HCx eR+ n9k~̴=vf:m=#„85Tn_Ur>GXy>Hc7x?툨8'>FUֶHwe 2; 7LUCYQ2أ4@1;N >2)Y]7_,wS.\#Q/by07|PvL8W7qYko-Sj "ִ컌Vϑ_Բ?PɀCux $@JF/UEtP5bo|^^r52FJֈB-욾0~@7M".lЩ!<+yІJ.0x]0S2`JG>@}kBB6$6yK|Q<:Mh&z Fe"C2~>?D`;ި̶b~2ilfUN  !iX:|"}$2( $&bt.=hDQη94GMvۇwibuҶk HR#;J{[GuHn: ,V]_wȍHK3!ؙ/<J٤- Lv7۶  ^?p앶d.)P4l8sj#7 R6 #`7H7kW{.J!rϑoW{p}[SAP3A׬EG^}n1a˷8)j^ PIոuM.fDH*=qdt|[vap}28~W[#Xvbc!A.YjNl/yݣO,Db֗M> y M4" >h+*J.LK-S<j_(dŠssZcOo FNҿP&[Rk2+~2P ~ϰ"x}/ID@TvBV\˓-C9etuhY:J[48ۓ [ #(pIߝ@((~uJ=Q';v]c)CT6[2O?hcKse/EI;I`7|6tQj͏]甮;{B 5$BE|s!1-NWh`T(S`bfxUJhY( =5|fhS LˌoQ _TwԔ`RP!kK_"V|b<PP6(qC3xACER)n OI U(˦C_(9=^qk>Q؞.)/\Yt@یeljc+Գ¿#}s uvwUE+$wj E Y~E=}I: ^E2x\fLKB  ,0hQ;Z<ü^_0'mrH::ď83BgU2_D%Yznl_8Nv$R!P*)P|lx|C7E,6;]m 7lAM/l^FHK ž6f Kfa6z$lDd:uɮ(TeA'\euv 9}iIL?´¯)\kg*/7x&Oq섶eâb=|ӆ iA!L=S.CUmXz;O,gKұu.`{DbBY&[X&Seٗs: T÷:slyH%*ߐ\oǰ84kc֖}/ ]yel o⋌'-7Hl4""Ÿ'M 뇖:fE0х'qdIL>-k4,ju4;G}O ȧԼgKM<DشQ`͜LIRݱoϠoϫƻeFeIIJ t+l},t3# <._ڧ[o}xǽKB`Rf6 *``cIm>I@r7Z$ \S`KbKd^<9,ko(].EWL"do?m_2/Wv\ t/rB/aT9@i=nNPYh-AN_3T?W"2 ez өEx} Ɔс^B= rNIH[w=JN`S^\I V)/V_ѻ:^.MK*rMf4E *lDBgia_=j7fĂl^X sM.t0ANe*)!hA%!#|jO<-[ܽg-^$ٞ9rOdݟ1߇5}hQ,tJ1zQۖ?*ǘXO֕0 0;+dŢXm.O$ًc΂ksȲyۺc-n'l?=bҞo L\bՌVa9,^m̷8 M"h33U:MrC6U= r³ $X]|ēH)FN7492XWl]r[B,װUzmT9a0RI#&S Y!kXb-"tITK_&o XQ|x-fjrU+.2Zq5XlMozoӗZ)>}?[^v|v]TN oc;L=')RLt$-0d; ιuGga^&jK"D/aJ>?#7ښR2ખT3!()*GuZT=~C.<4qe͋=7{'$Dх & FD'boIѐfH:9u6w=oÑjE&|_l^V::{\KEfI9g {9l,"]P&&O*HkG ٧cO~sָ.F9h཈$zVB_LCX%9rPr8R?!WMjpNk5K!Q!ɍހ7;ʨKUjMzNc(F_utz*}j8̢.RKR>`nw•$ L")8,u #*]:(a[y.VZs^7Ap1$cu9XEkֲ8OExWH9H %b.'%ynPKRmu>TgKKfJEuH.i|a48gg_0_=0)U 7ry1 _W9jb3W:˸|cVEQyK#aSXduZDkh{˅^rp]Ra2T .\>Ɣ7[UτX<^4_RK/7`Яl F~3fk4($ǀWYL7ҧ 91Ƹbݓ q:8M,RM5y 375{B ߪg=1N_Cv9qpgB6Q D`'οkjĮ{x=eGT J.̤(>B5+YxD?-i>Q;.Wĩr [gĥ54)=cү3K[u~c>-f 2lgL0w`̍/b= alGh/6zt[T':9@rSKM R/y%#E6;IU7pث!ԩR)̜GĠ ?*Y5BNC0.0]7g;gmr LlZ{!T?Mf/2P5֕tCu)>V(Vjnb38 StHz$# hxs/ b\~{I(wH +vĮJ]&$ ,JLNZB7X#w$&Op2z8yˢ, q?`C$<]ջ~1w¡DE6똨5 &jLO%2UX,*WCm- 楰. STڜ'mj6 QП|1b!ĻB\R2}!pQTwng^&pC )JBl T+/r{V4{iN4i\ӚQk7DCkw9ls=zA{,v4'$Ui._>l {i %+Kӯ MkZ95tgq$gXbH`Q[8={auGsc,8, `S5 +9yBf(hK_;oڥQNJ`W\XAÞ&\qhx)ﯲ OՖ;+ZэiL&tFR!8H7jbb^]o?;6~pTZѣKF̄^&73M;u t6~FwI/cVFdl"OR!&bҌ'񖝍ADBЇI*x@= 5{+Ft] o7mw9G77wI3ܲ|nQ{De;Ŧ.>1 pmX̜ M$V@?fRnT*/h)pRSRpm{4@IeuQ1q2!wG<P}dSntLVzݤx@U!1bAv񷚃O vetdX2–,/CZ}ntUXS#/;|Yo\+]" kP= bt>w\"/4HeBFn=c!k|!'ɷ#/Ȕms7" 3 =(=Ȣs_5ama Io,w>5)B^9HtŕcF6+OljTM1 D?³zhu]vR6i1!ԗ?J_Q/[QL|v@Jw45/6)y l {`֫_; 2!Jrg>w~zI:8yꓽDjJR39vtMqsz6&D7vx 0'2XupLU}N0Z5]2҉BH(x92 7RnG8mC%R +>i*!vfXoۅ}kކaxM2ʒEw)=[}.S[@jl~;K*egƭk7dEqJޡ/rంmsP;vf"olIqa.0j4or9:h %D³Σ '=*P .DPfC` ^c b/CW[n"Kl$"̫>رpCKO}].D Q0pT i>3c ۿo6G 2_SΌۦ6P5״O5qx21AWVmxxG02!ɾ8  0k;4&<ٳp+% 'ہ h֋GՋ nJ~Qq~`3^/w6q猂"yR{IyA;^4jnйb2S~β>4@UcnJ|j/S>RP,ަ5}Ṽ?5 b4KW Pܤ3An`cSD1>S3-r_ bj e?O#\c[omT2U 6$Q _ EBYNۓl-cxB]0Z.`BAN'G.>PJ-Zl@qڃCeC;C>5/xUBǙ^3DdBiJUG)rdMԟfjApЬqM X@viFP:ZA$ZCi.ݲL ҅! KVzQ L@I9ƥ ~{S.SKlB袢Z0iSuvWe_YÏs\#gdV>aؐVX1f? h:Sy[y4Ń+z;LZ09Y`hLGUju>;hʨߊ4VT/ZKf=׉`CVͷuPpt99)z \eH%~BLz5I]1_I⨦ѦaS\qAaW33:ި/0`Rw}M>[iqpVˆs#gN"$zȱ 2gjolP+Fw=^dֻu{{g~g#KDx.G* bjAٯ z@dXFx0gI_ lV@˜Q*(De8=;7oBA֐3綫$s5k3āMBN<`UAPF~*HP&.&ٵꡘ ed+Q؅,~mWo|8I&퇅` `FDF˩-c"H'j{/yW oQ )E-"x( "z+>:`ƪKO?=ho AȢ_3({}cBlqS(CǑэ5&U[(4i=01X` DSRp@n.הz{FkKš~[)4wѡ ־`;j ZL ^ NVW,v/!r'~#I!5d3&T$(`XqjqkikQr ۓ#>/[|WoK\,IC3H=Io"m*UI2H`ӆ+n؄d\u1Գu٭&X}F&wh2$\;<:ߚAjϖ$bE^"ҳl_|ue;%t! h0n`UubnH>NfHlsEidl@x\F g,~V$KazP??aZ @AMfP(~ k[kw0%kfR^;[첧ȵyA _ M̖{JtK~w5F68*Kރ>oc{j%y_wY]jk#ϠU(Aa bb;=E _ÒˮOe5:&D1m?{~aC2sn\tm݁Z<Q<e&@wxs~g5{xQ̗jedp/<[FL|#b2#7,ۘu°hHUbQ t#cQuQ趜, Im$*X͂[` vYJ OFm)Ud~WK!j0".S9;(v>6^Tq<;`zFS譠]zLdI6N zO:E5\6[\B'!9i?s#$GK!<H-^vA"Cz.\=Ȥ9m8f<jcTL⇠c(YtE89C2D' p?qiF6 _DU @d6 gGa*څmrD܍n C/TS `{"L[:MStd+ZsCZqtB /FmrFK},uCF1Z](e[!wM~&$:)v=F)0uR + !M{w;ݑ w6~ ~9$7 ,T[mb͘N [3(K10+27GB-dOMhuk } cmDȢ%NtxAU„+y00JE-G_ mʶYX)ؽ(HzgvegKXw'q8MlUۧ!6 :UNb=ʠ3Uo +; P hGm/N\MS#;P{͑ ^"W& c7<)' w!R켦t" L)co(U܇yP}9=2#` ;q'I#O*6t8]2$ҒdIIz Hf~yAŹ0ŁG*"̨ v+Zc~_w*MU ߓ a{QɈ4pLy%8s3OD򜷛q[,t)^җۢ"?2QտU='`a&B>zcе_w%~.Hte|^"p yUN9| HaNB8YN=gT[#(/Vq}c V /h@czKn,@J${~. !NH+zv%0lU)}[\,]k9Ќ_QsrLx<KDcItqC@DϞڱEk%8,bE2PFOA1jTѯq9^҆(LC@)V>a;LDY{HaزIJ I3<| O E*yAxxXHu$]Wn?PئJa?ԞJnXkMNuؖG$1<# $ (QlWQ{u$y4mm WވK*+xs}ьTQD'P9Hn"cDo~?`}[5RK ɨ5ҞtnrDˆVU[ct"WJΚ4Y$~mU4՞RGcn_8)\):;<.oytb;QQ.?Lw6eR:< %V+$+#6N hFJWVÐ 3Ѝzc95)Am7>WKp6/mzc^FNFl/CN^(+60(t B:1Jx9P2Rb^ƪ Jr ˉmo3`1O_"Lg94H3fg{fTut`zSЌȹ eu{@U왣LP.2L>ϰEn-hO5Eg1.Q.0? v,j-[=q˿p{ɻYh'\ u|lfb4?hK/77-&T^\864eOk0f| cIxl0$bZ*z-ieX5E9 <_!;ډJqb*ug ߪb#kl0Iٛ* ``)򬛒3C`"dfcYNN`zcNYpHwޝۈCba)bU=}Nn?52J?־“[ XI%x[} ̬W&H^ku'4PQ%.fÏ$V] c0VvNgCw{hI%"O1G&h͉mI+UҖjd^gyR 3Nn\&M1KER3g+D*X[W SWT_Ҿ6L_Z@ ![Uv"ϠH[}9)DSd}lTDsEoCoY-U!VmEQ}cP.WKc>.@ 5VԩZ;~q:E VK:]߲XOdmE>W~cA ̍iW|l2 8=۝͢/I`~΁"\q7TfϮu 7CwzĆpkS.gf[j] e̢mƒwxknD}RlKÒcZ\}Ul"_ 'z񰽥 *sv1Wfge JJ#@$Hl^r)6* upG#`3 c"v{ ȕ'8H</'|&9I|?-JF/6{Y܆)֒,[|#vP5}2(lnϥD\Nd_Xp\W>Łė21o;㒣#:CPķH`66i#@r)-Uô?^;d/y3]@!||`ۗ#غ;r^6MBYW1 8yL>G҆$tv?f|RZb)f9;X3m&X AcD6`ΐL3<@l]F &sS=Fq'\8nvG@c O[B;Fm??ndzyX#k{J!U5E zsW*C_m +͙S5]nxY44npzN9EC n]6Sez3 1~^HSÇ!PFR*w g@j[Iš @_N55( o̾unl! K~DrX--.ĝ"]KS+T-鞮{idu8D8̨.__*f9@a 8oA6i.ӸY9^Z]:?(n%1%j=&59{>n8_)GaPwH.o8CDSs_ 2O&UC/n",H#NU}GL]9p؈FxOsj$/&)̡(Fv60,R74n颐tJ PgtV螲l4U,8@C:J!.&Jc vJO[~0_cp?x&a8cv ;EvRzE BlV7 #`ug8 v(ΡE,Y{JL=+kђ JD+tpAO5fkxa$j&DWdT> 7 Q~9č^srS%׊吾>} *`qWU!C$C^!TMy'K]/y'`"ҀSXkD5$8eh@h\p F+]WiQcmYb 0ǥ|Yb=Lz53t$U: q Xյ>-/ЇE &s%Z`mJWx!<6;;̓:I-}ogA\b+=X9ߓ ւ=}^j(+e/)o9oI7{o*(\!=}F  R|Ŝ|1dH).T!rIM:nM̓Du@ >0eo᜸45_쟣)@K2:gs$\YO_??pQQzqON sV;;פ0Q{ۤ5uG0 3H6Bbŝsp""hPl9a8CV PE4.ݧ%%-gswe|迴rr~pރV׭ b_3CElv$2G#ѕKB~gQZTbaY/-k1)ꁶ}[)CWEg ]#o\%5΂N˄4DQ#}9CyN]5^HTSZ:vk!Y%REv˅^ ؉b(ax/%ZA<|s`̃C-R+(B+YBM/,ԞzXQcgReW:bτȌ9{6{H-^.Cu?c_Z 0sm|ʾ~!<;Ȇ dU ^mՑvhehzhGo]ʝW(k<4I]o(,'D@ڦ8bzzY>t^@6}/FMĮˍ5T/M<ݱ==n1~QA23^œ=p{Ke)C8Q[){B;QgW@DutA ƬB' hktUԇQkfEVDe+E9&^TB-HePOs6[UPܵzc՜@Ii>vde' ª@d(Y=7 ?8l(=}hyc?_>`q3G.6f$rV͓鐄F!Z:s+Lóvf3^NgڇA~Oa* `F*8HǎmEtQg]`JYe s- O.p3.hwivG;AwJi_z˽\촱N/k^kc Ȼ7A@)g{a H=- & υ**'(9%xqkȄ1QdW 7e:}V?ĉ?dXV93?5!&Gp[pHG۶Ak 2w N!b ;h/6#i DY@]S /@LQkjz$?4x ԭ!s5kQ0bkx+ob>ƑlnzfB1 oZ]f16i*j |û+dwS!wf-я\)R#'hf;tx{~ 0gcBelwd#Uu,NMPyvR9>ay:V[$1WmDۉ*kʩeו? .7s΋B <„B<4B|hB8oigWi4Y= i6Ltwݟ-Z3I&RU,X-1f@uJ|xn?ޑ1cvfŗ#ɘfiDq!ڋMY~:M֪'?0şmZL3|_^ި1l $06Mp|3WϘ41GQ 9_`IsU,HdA߬Ve^{'ȸeYSW">  Q mLuE̖l(-x\ioJ}RTM3Q#;b3҄C086*K32R$ Ǔ PL-ݹPi"Jc4i̵o۞[>wiLVgس >^R*GYٟ//]Vnfpy0\ח@I4%߫>L:X:1.J x=ԉ\*TֽDŋJЅڷ`>aJ:V߲co9 | K| (1fƚIF/{-jcfEhl`Q]RT˟SI b_3,:tleQɯF(gGަk׺cx-DuYIvL.՞^Jh*ׯ/G3.8ǒHU9Lk=ok{vHV[ [l}+l+Y=l!ۭԓ3DcPn"FRx_zDscLrŞYM^EĞ*3l9.8U茽q7&93kk4FX<i^+׵#Ɯk'Zn ,S2f_qQkpMZ7Fr(R:5%.F2Ns:Z l=b6].N-KsY}4ur|lg̩)ꩍ[EЏ-uAV9PdACo lr+XP0`]Ǎ=5&yJ<)~],n9\WA:! :=Z_/@IeƵ +*^Tuc?nS V (S$_3@\M"VJ( DO߲[Gǔjm`a25hϡY+qڔ=,Q$]y.—IN:zqPc$=*t*UmfKT_B>$B+>K~2~Qye~5ˊixTG""n x]KL֮wuwjQT눯Xm+i¿|_T޵8sXxs)0Ū2;;Kgn>W"촸). 8 :_tJQ Øf>bٚ,pֻMӼ8Q^WoT_^z"FlVqfRf)hc%@[dsgFa׶STVo| ^l}R+GI$:@_0fKt]VJ1 ' 8=ae~)Z)aQ̄F3%tv,)q8yW~?= lw֎b?Bhde}wQ,2dolp:($mEw_OoN(r2|0"zG9+&߇Sfɾ|ܱ=،Yr 3 #TdQk;g&F}J-ڛ0`@P_>Lr<p D_Tl !1:SO=|Vߤ}OAB4#$m?OVD}Yy7Hhw9_"ZA9[a%R#.V1\xCi/ˤ4R{YYa+\9vu/郅i,vӲ.:^@С׵[;fnc B z .VZ˛~Ny sf~;Cu\#8;8iړ ($)@R n,ӕ&]*ܯKrؿZܥݶcjhu@=rR.۔ RLA\1L-ǵb9L)C!, |r%v\_``ZBCN`VZBWjQ 8:#7`j61UIyQrQ50B%"Bo Q N>8g&/nD%Z+>Ӂv אr1jҕ('̐ ~d徠 ?ϋyWBN[lqP]kp˓C#=o]ku세֧sP ?܅"*Oev`US2Ϯ,cʹ9{ $Ȥ*ɨkf<,j)J՞lD8mwWˣb%LjTY Z4і1:3jμ?+v@x2 V*b?oh2!\[-,5j %W@Vڄ|9~C;fPEfߧڐLK[Xy%s96 97).9{oQcrw%]z[vZNgC0铸X)|0 N:K^Zed!92ᜡȑ[b7ymu]E4'qh.9Z(:u=TAXbPh֍'43Fa3ToW5)"o<)ȧzVXWH7QXmj%&NIDs(eWbLʼn%ɘ`Ҽ`m&Д R)QǫQ(-R>17G/ аAC=EvvH +Խ}(I~ܿ LB51H 2!m\#}8ߚvO &̭O~>z9hAZlСv7 KtsC/kfB"l՟!M `ʛp ;}[-ԌGӻg-tb |uex.Uj)i`Պor<@;¹ ŇT5/{__Pow5>HN޷sҘoAѠcRj$D)o;nG-,j%k(BdS^aLӅ2tWuZg윒DAȔvp: 5nTB+ 0D D}a_76Xxԧ&ڪ;aޞ!h3UZ/UΝES\a:ԐBPhC>8}Y|m`̈́MݞuM3m]!I*Yn7_{M4Od#o/%fѥ^Klt5"۾8C97ۀ',77R vslnzմgq4%r)痸yZ4,EOV5x/;w$}N(xwF$5CvHh5_Ƶܤͮʼ..,-pAb:Gd-t2u3n^".9VgTTˈF &ы$2J5 [Ms-umspf rⶓnwRPu NL*moin R!pdjk ͽsbO#'=s('i uՖxXGzъKǴvo6zoWu- ҋ0߀Kk*#.ɍ(r9:WYo9Pc d!~s8  ^pJpt߲?S4uiM"yOb6ɦ &[BhiHAY0zȼ.ηԫu9~uU^!!iGHxՠ;{F8t?\} ; xi"[웈WZFɨ6ϡpi<uӱ"MHye)MB'$ͦ yGdSAl,-:jNLszt$a EV]&UO4G2%V4*<;ehCpMk4cDG j.81mTǥftz~ݞ /Tp%enˍ@QTj5 Cfgs fd1K|-]eЄP5"\OQ~"0l2D!}Aͥv!C["&nvݖ8$ {XRwMA#0`qĹZd,jXNTrrCJG67){8Y=pph\%Ζ \, 1 f 15/᥸8wd)!62Bw 5?:ܮ(sMZ1$ Џ5Ʉ҈1,EMG.oo³gqƺ%܁#׏\%Xѩf'yganFfTʚJjƜ|=]^aC7T\ȡ5.38 N3EK'?~bts-<őH`4ßgYMF(%qmF ^60&G ͐G1ϟJ&p'~5YD$ )ҹ~vJvNjoDkV3iH;FZ̗5gH'Iey}HbgcM>-|"8xW/OjeX4uGx\|[j"|F [#ߠ߾*YʖȊAG5YT&.ԻFSȗL w/ du' c]ƢHmI ĚZgRJ.Ix㷜фrУ؄K NB/j[J9(ڈ0ӔhIZ ~g7yeOᵳ~RŃVXM2Lհ W`# g)u֐$ %;#_~N9d_{:ּ%<4`!8EV`> N-(/aZClbn̼eaBˁj!4Zhh:FFC|mj)#B˩A@}G>q+87rr_[WF[n>).b84\Ѕ~_ZAhOyvy6xo-u[#$JvSUγMm9Н/}bɛ~ p`y{%Ӫ>LQɍqHKF9Y&dU VÚBܽH7WXr9pj#?"qukZib|;F= -_]tm]r\aXZ_+TH!N('pܤ21ߦL{NS(M$lư12Gk::w>*k, 䬡Z~bO)\:M* UGUmF7<숱e$CwRYG++}M㐀 nyp -e;A*ʅFWR$no)Nא08 l7 멼2$=)(lP=Eݴl#m~7K{Zܠ!KYÆۏ+c*ӫtKPnK=Q6- Oeu<Qr3e.qeZZ g9ܶQu\Јv4Y k;=m:1oӹDq2'PsRr7bq)4dnerD8ݩgFlb\1 L~bc'fmaZE wd[) Ҽdđ_dI.C܋K?Iia!mA3C%7i8[Wca(*k*ϸQR}3*$/&[Д$f 70mHiN_:IjoDH/$ >Og3FlJOX >r44!` - J*,6ҙMAJ炖>5*vQحt"l'-dNjA ')@nuHé$uALzh.L]%e`c)7ݏ-ckNmt  t'@U>j^)9dř[SO;,P稿P=jiފ|<_mEѹVQ$0$K?>w .@- xIz|=,nm R{'\L 4 X 1ɾ[gTTTb ޢ\Bl*Q ֎m~.b6n%k>MbЁ2o̐G¬`_c-1ڤ@0b&ڦUL{9倡ʐL0.PN2-jƨ8$ `9&Fb.-MJ–p"#myJ0]SХ3 U?x K3f.2avخt ZÄD5#t&#|G B~R,|1k3•3Z4ʷfVIX12ܧ{`@PS$RkU٣ӡF*gM7QD hiA+Q?̚ ex">zVj/3(Cm)԰$ ?1 {>MO..PNkgYZe509d0033c7b8ab200a840ec1d040e861c330bc804c2527dfcc2e4bcf71d91a73f4ba16392812f83 f2dd6209bb85a1d492cea699a734e24e8c396a56 ec0793241a0c94f0e6f19ef00f54db3c45d75719