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 r9~L<| ] HOL-Datatype_Benchmark:threads=6elapsed=518.047cpu=1866.194gc=742.5337zXZִF! 4`]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;lsW"̰~7_Q/&^L%/|OG%b ~B-BUuUe-7cjHFs[;E2QX~E^y4g7`>OGEAa:)'F&37L4@n?KhAfۢh!n=faA杘"G2Ԫd M,[ ഘ^v8}` m;k- {^h;<0ڨqL&g+ Z[*<) kF:Ϗ3ׂɛ 4A]c5ggQG5p-欞:5D2-ooUnȅ'2G0G'g%+s[t#".hDaA|8QN:n8SA{&s5| NXO4HLOysLsl[3UBͳ1RבOASX3AE16fW.dg,߆|mUF]./c'v;:} +w4 ] Qd>!x%_2Ͷ0^5V:bUPH>S\v'iCBg=i.ә rQ ^w))h HUOUImwZno2WRYpY lWl_'nQBOGZoDA +Q- AL$|57ܠt(8^'O$^e҈kho?B4i! @2:E7 1 lIJ  !XqEg D[Iqm dOٍi[}d!*Ȕ8V ݆~fԉDS9G2 [eлN3`x$_qiJ<6׊4jƮ0M4C++%J~Nd-t(*?9??[o7(hJRebj=B~v1_p~./8_8/\ \2te{V=Ś3?"U;#(=hMb[ DհЫd6vo1s&?ƢnEоTmq|#-3.֡@M`R%X<&QȱC)>-B"U4!Xmsx^5$f# 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 >1>s 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! ⪢/]D?7 {?:fH\7SIg8A g䖪r-U6E24\ v2Y@xQ;![*m=kOڍ 'Gk~7S0N#"Dk{150rֺU B #peg<93cpIY; }i {,sR:S:>*+X -c~s,ێW=%n}ʡǬPd>Y_θvߥKNۇ $= Dck)j]c:\ ,ooy{%s^#/WJ[lN7ºH}#v 7H)BG%dN .]mY^jk}_unSk-Sg|R yr!Hr*yDzI 5&!x4yj/5U7ƾi?,ާ.fO ӫ r4:$d(I =A -⌒mge%B)1 !} 9K# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pt]ˠ)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_id518{9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씋% ĞF9:ae"7o!ŨBy7H~Z@.5Te\ޖ6["40U;lN ;2ѣZJENءVuPHTUuYT\Z6rHA86cj"&˭ 8T{qN6ie9d||`!OuNҽiB0sث45 =,A¡Ah-vLGj< =@ٝ|9xxu`]/;I~=rdv=,rr} r]s6۲LP|ߛ~2E &@&3! G{oTʂ=۾:,s҆w\|MDC<%}A`plhB}ܟ_$l1x.yAY^-dt+L =}΢DQչ!+aj^j C;s^֣_ ήiMl[ي=Ybjցr~߭NI6٠]返J4xr+{lWsv@o2LwaĂ - w& bDۼ 2bGNTy Ŏi}fc9U.b{M{*]|<`Ei غoCʝsq~@*P5Żz.jg~=5cUx>Άr98IB̤* {7w! ͟I7ĺ{mqL;L F5:zѥowGj6af0V0j=yg7!5QwQ Lv%ckc:dNYcЈ i⛘5Wf}@KE[usǞ"+1m~-G־"}E~=oA^MԐE' Nvt9 ˏ(uw`/ꪩᯥ99 dݻK1DQQn{)^sAkn~Qmx?*ȁ߲wI0XX&%hGWS4 h~Vm7ItRyPunSsg! v bug,Y RឆiDqm,궞87*}k4f#rk(0$Kjro*Ő+.Jt!E:=zMb)71DpˤQ|1IĆp Xow/~8lgZ8oܽg%2@(Xteh5%P Cˋig +t"ڍjWDCno eBJ$2Sm11_ +P|& ![i+MuA.!zkD(F=cW—- WN"JuʿXMD:t:_\\~=e*}K;oB Y.WyX8M=0V[1[ 5 KERcPS5+D4+APuL}zUcR4.Ǔ}*>ıŝ1 RBh{9@HD&wMgYZ~*s[llZ+}A $EX#`c3 NƘqZY,7-0 K+h EW\'t E?Bvb˳@@#H9@;2(ð,}lG1Ή̀k hl3{I$ģ99iڡg-9ͻU;B4ڴf ӦV*'ȥdvr aqz^uiHw|n3:  €@ #h}ܩ/qsc]+, (|F?4K:7k"]xs X[Aϰ 0EVacsBy_ގ]\ [`T-c~KRf<_$86a[;%lԛ '?)a0Oɪ?NN-'Z3;H&k.&;mF’XF F!r ma5) Rc/= 7 aD!F{N2ʼ/ztt+wvUh_d[b^Chig)RmѾd'fEvn{c ?Rh[<3QW+";Xh9K ςA],N TDti4W&eHmdє^~됢X,tGs;ᙲ"nYsPw$¶eW0O[έ=!J_#8\X4D"FN~E+X`0{@ؐ;@RcLD*-26;Dis*63lPhN=V;c05NBVʗCy -2Dg?k&dbؽgo.ݯXWV,Ee_wb^!a"N ǖ~8SZ}CRt+*x5I&!<+?u_{m-̧pZ@\|՞mrFX+`=Zplx!D\zk$$j@n?%fNWBlu" wW_ feMtQE:CRd Z;Qh{0 nN:LOGs[w}qUѲQLz"ІtyA*f7lj0T1$!B$q*: [`j0.d@[a>a>G_*j vhBH%u `,wGJ@?P8~2z\PjݪcHg܃{~qXyKˁoKi;YpPeV ൺ; L8(4xxjzQ݀;YWbyx l/] ^l[7/\.g2ԠfFNX ۠yc;(Fs s( qV#n^k-sר5C1J[!%%&J эDGs5Y89/h Va>ȏ,wJp$I^#;Bqf ];B=z^m4fxܦ ֯qƷ2ǫNc7Sm5$g%RI!i|2$yX N'X o܃pت 4Po(πV{=-q}W#[G^łLY6NZzJ`!RH=rMdI"GLH^!PƩ,<ju6ZN[ QpЫs۩IAVB+grkBѿe'5#XCjo0l ^ ޥ;@R@Œ'9p`I ~yxJ/B!x8lW}8I _5Ӄ˸-4Sx/+rd+'wE:'pUk/&]]]-߯Aϡ+Ҽb|a C(ޜ|q4ւzY&'#D(joM i'SI"sp Bic.u~= y*$R%!wj\Xic\=a9mMt Bhc&ua^ޅ8@Na1.Hhظk()mgܺsQ[6Hbה@Y][|#h[.G·L\7|Gq&¸d,+\$m [نK"70#HF<ߪC0%W_ǫYkilb,Ǎ9pg 5%ֶϮv9x SqɔѴbԿݏBZKd溷*(CJ3Yb$ c`y4ͤܪlnEF$hS>WURIvD@TZ:hs#0`0!L`xX[a2lcG*0azN>򨖷 1%eqfkYvJްи*jEpRC7"Mq^D`M% Y ^qrzaJNEaet >sseA.Ȍ (kH8n"}yF:Kށ\ yk"d=-]3Z~BiA,&I^%O}U&!dDS2BA:0%.GOfTdryU>=lĿp~X{燝aj7C%zln3VN"IN?l Pk+8y& =I*p6]/ش oȩ'0fpkzm,Q M+NdhmQįϡᦴk)-2j*~d=*ct@K@wXH+D>~TCQ'ka`VI͸U+tKd[36 އtBCJ c-]Q61?s͠-=lJ1Q^T@~2 O1;VtH%1j{^wn_bZ&uҭme/"ZAonD$"6$"\N| 1ږ}hȕo@z"HZ]Wb4yMﺶ6FsGYQ&B N]EńdOz/RuNj=@t] L#h7#s+9UAʑ@J.fr{K>ӄ˷rÔ}CSS qRK,Z2D< %QAj Y+;E{T&Sr,?N#=h"PbdRw"9 `zV07r!q.}mY2̷e;}R^ivSKU?̀^ -0 t }(DJrHW~aP*?>$Gм }HP>+";;vHsiJg_]EY!VY~Θ%X'g܂ʡP-]z;I/fu?SMB噫L\5OX9gIMe1Q og?(9d؟Y⩊~f3H8VU`1vNӥAɇOGmq4M%嶲AGMک4>߱zF<_N:xbMYMK+(ײmZ<7Y 1YX]!!`o:}5r~Hnt ů_ ϸ$ p'`)?!zڮ zlykÌ4#!(~&\T;-%jܨqk f̓1΁ɰڡB r]Eix71 ݅őtfp/0^+AK9u&_Y&?0IN'Yd'2 acjnЫrJW n4~Ž +ӋTY@i ?Qe_w$$㟜\R?5tnY2T +3N;n )r Eʃ=gW z Q w0O29faE,lKi:8H̆1ɫ/%!J$~k5FmSx #)ubJ*SD-ϰAq1n yt6Yda~%lh߱e HpAbw`ߊ Ĥ3 žza'OOlal=v-u|]e BؑR;3T9.ܽª"4у?슯' ]Wn$K_-.TJPP/M$S&HTFKY' Wu2.J&Mu#@,=R!6eQ2R-2Vt^$>SpP(a%%.ia P4/_R'=r̻;} -(Bd_sįAZ=[<x2kS $4~FOGeܰ|l%ZK('@')j|(logOYk^.,:fTh[N_I(*{քs |^W`~@%E|JlT6 |.\Q}un5ܦ' S4o"]hUXh KH<Kϗ5') O[L!K|b|E3IѮ7w,_D]՝B#QݻZ}i( G_*E:$!XOrɀMZHj805w>FkPuCs  @4.IDUF`_RKudim^%?]IlC”K! ~^VI٦׭ŒGGBeP]-4a|`:N11o(Si-ܪ~R ӹלJYiIo0?:zԡ=j_.MjX8#BʑTe+[[# ')k_qIS5$/z: P=׻ddߎ:\.\u6Sj!;p|y!#ԋ.HXX$֊tv3ZA~LihХKHhmXN>T/L+u=+ZN|]@й7j)`5VsUٰFTP<\hLD8N'C^"w 0:%Q:K~}]zTJċi S9QKdHiS .fEfs(9V,9Ckh:| +ڡvSvGvBfè\@ݻ$ŻH"SւoUxCw,M#^Yk[Ńs,o83\^~DZ,T`ar^}DMϲM%i҉`&3,&uҨT; ڿWj4u=QQE2??E=}Jw+߱XkPaЗ Cd}sȽ _uåF /KԢv!/$"QId_a2B{@sQ@|Ҫ=;ʞ]?)VR#G4! Ҳh7mb"}tږÝ>.kl镪_UiMN*0A#Ũ!`rɂdDukIc! 8a6Ai8|8seX+iBv3-V]K,_9q]cٿx<9LS0N.P@dc?2c/PVJ_B uۯ{;2}?ʶ9gW6 66] !NU)XQ들6[ƙnΚvB KUOw3&jJ6Xa a)M%A%`>72pm0UQ+'-RV +7KF՘CY]N΍I7އPx;cm\?TK=e)l(9Z[qږ(8ZN?=SbCꢁdƌ)#aYR,#%cǦGe(6}$Lgc9=А-HEDMJ8F$?!z9 %UW+Vt.9]-,Zk$Z,^k[XP63M#DAr?nΪ'P]xie'D)wo(|B 9]@G]> S{UE$g$dQ,kb=ji#l}-,Qr+21d8'_C[A?#O/nTN:34Fˆyo;9D+zt.g;m!""Dⴡܗp*0w +u\˔Y|Ŋ#pT|EfBO){p]d)rGd`cͯ8l\w/4a#hbˢt\w4'b @P.jh$)U}#@I Kg)j[᭸9KTޯ/yk@YDX)F />bJDo@J6γ ̯GG:TYy(hW-1LGƥˢi?;7RN=#q {\Ho 𺺁4/̂}o’06x޿"==]>#`Dߙ$ǵϋ?F bm"#CUФ_blr?8kD1 lYѨ/oo` /oQݓҳ8nPbTE>:mauw|O#w uĀVxl d-Mů:^cEwytt_Sd/y bNhQL{4?0V#cҿ[w(%P\F)~(-s0I!,9d Z> B.0HTQ s蟫K$f">MבAnaP745WԵj[5cBsq/;rJux3l7T^u^ uCO= G%ߔtulш {FS mUCr\bs(E+zlĖҜ%Z'#ۈ\UyZ]ݠS鮾"z&Խ"!,F 8.wQ-h/+F2X>豬MUGI0-js]y_)UA6KӯYxZ̸K݂b'|7O&oE 1YP1^Azo^ǛjuXnypW+<qEmTnk8qVn~as1b"4n. p^1/GhIXr+>Jo:/_6V1\JYٮ«F'E)-Gr 6eʈq .G/3V̇S+YwwuRt3]aBw&Pښg$şW^',+ ^enAUi޼,D6>M؍q+MZdo]'&:#>_jncaBS݇.UX+(:cC}Y@wQ俀VTH܈V+-/gO0Ii޺\SmV1?3HPO/ZC|hN ¹PC5q`r/%Gw-;MI;RzihQ}TwYu|aw,B7}UB#6‘D3/UGY%{|se/?=G\clB/"ڳp >@=Ī: M zmA>+MMujFMzӆV?}ʰOtx h"$:=oϒa4тM+[KDA᎚ǖ݉Pc/}f^7m k0yqE- yDHUzZvi?.pa<;ˆjXɶύFϾ^OA+2N2AztB<_[V#ޭ(gO8Ҙvۨd*Q&HELU:Nu(Vk? yDMܸ"T⧴sY~^!A6rW~J/C2]k_H51O,$7 `BF/T#|aT ځ̓R 'l!/8,ԨI #⩼,Bu~&!~)U^!YĒCN2T4y\ֆ/;-l?d8+qZi6HÍvq T`)Xb@$VtgkU'$x+qa焝h& "<*L*ibNI\Xc\7 8B?|@2د, t<`>ϦÌV]Q PGhl"c9q.\x31q|RllSOH`oK_ákIcf":ԮEEV,laիm9nLw8`F& 1S=6PZ%0Φ2v.5>5xE8Z6hL}J":Ն0[nzƖ@QHKdA8իa 970q|ohJ"ڶJ"T}!,wdS5 (TnqDȰר4ձ.3ҡEgkD6b1i7E !8B; uZ pPm s=y?4ܘ3!R5xt1J9+ڈ=N~vxmJQs Ξ5ݳJt0$5Җ{ErU ],ɪ 6'*+L\1`l:Txw~XM"~[QmPZ4qLTj)$đw6R)/$M5Jc4ި4#1-U7xC͍SMTP}E<(O=ENS23=!Igda\'&ƴuqSŷdz{ ]KhK1 \qat3_0ʘ$!0Խq=P7b=f!MoHt7T qy|Ą\5OvV7@;j^cA`g{tWn^uƃ+<v_|W.\%!=?>w M݀YdUc J qo(b 3Mmxz}r RƲNDG[0}FQi3ߞ/%=9¹Q2zK٥[[(ۈN* 4%'!2D:n<ť~RI}ȧlKIb$htJW[xiQdu#1MH@rDyQmګV{vO1D j< R##u{Q‹q H"ܰ,ؗa֍S:^K B:O'Ϭ7 ߖ^]t!Z~-Rxݚ"^:UB!ܿPݑ.i/Gc^-+-%jpON?HΚD/zH+KKM*d gS4<(>|nMTϮckVZJ=j_{ A~ǻ䛦km6ClNtU}X)}LB#ӧmoe'+ZwCO Q\mwe`zp<0$"OY,ĉlKXHhDMܡbf~ ֈ,X "O/Fc[7)$p -LK0";.1 "^^css<ݝjM8&bhE%!)Z2Qɳ=7Zf-Lh6f*jSz!@fsBB_M' #NCtpA 7BT/ W H<^RDnЩ(\oqM@<䠇΀vI tL|qaCq J{a<΋xI^&ֈ/əh\>%IM346]}I{K2K %hjxXZtm  zV7 UAÅ3ntc4 Q [8,`e[8>(F4SE QS]7^yB+aL6ԥb ((дy~CO7E},!L]e|] G:!&;oIPl߾ '9AkJoBmˇEܾw1//6Bsr$Gg<8 *Y~9$N̈́{Q18(#hR_ۄPZкrՕ%bEM fu:.]eKw,5:aقӀ5pO0îH(&Y:7*u¿>y?S5 >>(8W]+1f0k]Oe{ddjolt,_ZrFV>/D-Hcq k 'uz}MK?М`a-2X>6 &RkR6͛ke(K |}@EFS sKyUQ4\Tΐoe|5̂u/&#oʫյ*9T3k!3 Au&҂2![Mf~IVpQs=amH?Wrc }w}x, sѢ1tVg(yXkCCF B{RS)(G~fԄnO ZAA~ސH>B LL'"ѩ_0~LB-U>J";I`޽EĥG*>il\GVՄ H膽Φ͉BHQ9 Y0T*PS7L2&J 9~F+ʏȲDڴj+o_Mr\ ӌ6`ϰd%/r&h;v|F YRCJ `,_}[-ϫWĞ~P5+,i-+oQb?c{ ΙzGj̺svہ6~+U%R{ULލ~*q,11iz;-| I]qrpk vy'Iٞu9w'& ƽ]IrqvJlϐ!>/usV?GX F~/{tk͌מHX"4"yf>Od;}~Ɠ7|'g.4"rd M0nrЊ"HU-q\f\1|qv@[6DKt1n (gk )ʗ+N>c$77*k4X{C Z݋]2#$xꇫ7ŻboP"#ƴ?jdc5m ku5 Xg8y-n6s]; Gcku!0FH dY0>m$qX?qjܓu&i[ej) ]VE$w|>䙐WT"bY#A$dpxѮ,FF8(+3VӼC+F3Qbb)el2d*^H,E[7TrFIYF_-]Tz{M-w>{ CR ^\ĩhEV-ߑ [e|k٨e $ e".ƪ Gbצ[EfKrF`;S9%ĵ{$jN 䪝>U3%Ma6U''d"=|HwmB1OmVCI\g㷎yK @a`pm䃚4=t\̵d1ZQi9Df>Í-7KU̽:˪~}ɜ~N'<&?Kp}T_0|ڨ =<B<֔WÏYz)Wg t'+&7h =rɸuYB׭׮F.bIF92?E[7|`AsFpN H\?2s:a]Cz`w!XUT vϗ(m {hQboby.pE,˩x]v2 _=1PfBeq $zI'쳳W ^W&|ܯYD$vNђ%Fƛ#E? xPwy ;f1GrWyRCΈ;9Ӓ3ڥܵ CYZb2O4FhsS?}I{c zK 6`ɠSf[]>Zh" \QWBlsK i`z+Rm<$zEh{#boM';$ΓRtУ٩KgiؑraW{F1ejڟ0u$'gpf݄Oܟو %՟״ǻ)jrvwWJ >i;lf3tktulys [&%),gJjG0.3 Vz ^sb;7V3-A=lh B:̥bZ2m@΍mHwq[2 hz ͡IV !ͦҾ$|K@ U&F'|hLdWdau%B/[ 7`vA)- V45nk-a+Q C4\anCe+y!~޾/ l;G5Ub:B7PbUVav1(hNlk`J!)89xzptXfg8.N1f̖])%PlPwq̛"Z^Jy O٫@Y_&(.xJY\baXM3 nF0G5H=+'A޳< ?|A[p6dRW;'> f"CL 6t>M~$_ADgGv?^VʱI ܛn 6r)NX~ Qǩ~|<deWU^%nK(Ə ulTJzOвr/08iY^͆dITY8's GאYً(\Fi&|2t8<tYA#;sEYS"LavU b6QDz~ޠ aX+Yp#xd.5Oifsh}Zk\jat3q)ŏlׄ jrǪ۽; Hpn?9h[o E DKI*ɃF.802|Nhq?8?s:O4R}pw.$rS3ss}e/6S;+G!$?ATή01 @tA T,Ҙ瀳ža [&yaCD I鞿gF6u~9NAdєGYOwlTW oӆW,J! \ɦ4)#.lyGLEu)\VV§n<u71O XT Z_fR̦:JWP pV*-[CiN̞@6J,P?$7P'" y.Ǽڑ I%b{ L@Q:ȮR%UGN׾%V&?b00:gϙБ &yiq$m-_'% L4z)hH-8zۯh#c&;e}u_'~feN&D>2+j.+ 䑨.Kwc ބ.oAxt ]Y/ ]ՔƟaJq=t߸Mn (L>iiҟI0-iҴHؔ~HNoFCUAjg3~V T&fk)+VJk>[Z`t~kҽ7ixj! t ?ѶI l D^pz5~I"1t@wwU .ZDV  ]5Ժ6!#~40(7DZٗb28J{wrr}5Uw'Ke3H0uZijg?A+)t0Gh1d=88F 4ɚ bZ֕?Lv6,'t*IB+m 'bc3rVj3l^mh&6^#3KWS3:`{_U f tHńjideUpݕ;Foց֠*4v b$1s,= k@M,%Hh|7rPpv'wͤs̓[=o@/*$IX?#oӺ@89tZo/TDՖLmrwS^- Jes"sk#֨9@ˑT* $:y0'Q躜:zC=!IM#bp4 zk \%?-?}z4h՘pKDM*?U^h'4p=l7K8V¶י|Y^xY|ط3>[DD݂GV0h;nr*OUdERdo;hב8cjq_ +eh^֒?%s@T- -4{'Hbɵ[գ1F!PW5IRJV#-Х 3*]0Of:B 3֯ Y1$ePCW 5:CKiy$EfK=fI9onfnZ1a<'~h_d@kKY8Taₑ97] 81he1gγĬ慴/̊m "%։ֱL}Yqr|QF) ^64w|AnvzHBkCuX; SNey/g3GWł'Adžo2Twv`M~Pk\ߦ˂O`J Nc.HzLJBc>Yo E <`xN&Р`7@Sq@s{l"-дε2" 펽~+ZH˽^^X TQ1*ļeM'N 慆ڋ9,NMmC=I5-0yPtN^(Z5rъ,%7jx+]~EcP2ڒ=ǔwǔ8A?Ԟ'y gܥ+8CiR>9YO'y&v{{렢˃dnrvL|i؄C!|yI~J%ͲHV"7howFB>+G?r_o\@vflCVNBQQ^4R؋}*`'D칹ogGΨOQ|#<%~7{ȰItE6[ 8ۯ IJbVu <_x"+[56|Û5ş&InǍ\wYbRx/N ʝb}`2tI~蹈lߐ-Ҙw|#`GVQ/`pӠխ~J`U!WO:MfgB#xؙoC!t,VUp"X^J΀Pc13h.:?-`g}܋~BћH UIʕ;}0"w¦&#EVl#PhwWo}cmXn(Oc2掞;4x 87/GB`jĜ+(cGzRc?=sQL(J$ݺ X(Dc+ВuSO K f3zʜDuk}Of˼a~>|k>`Bn+ (kJ],WL@ftߟ$Ֆ:P"7kX5k[4۳9X?b;ť-4l"]>P^i. =l+H ABuvRw}}>}Yw#FuwX ߻U*v|X#U0׎샀xFNOP=ZK+tAѪP+T76e&F:/rW*5W)]HxPV}; :_^Zd\}].y2CnqKr^hH jg,'F+ah ņ O`>JȭjKQVڳ"#b$3`H5*e#32 2kc܊u|wVe4\lykٟdAe[R\t特T5B`9Su"'տچ~f|D3F{YO9+kf>ȏpWs{ 93Xli4B.OM?fH[dpl] ׮bHކ8a61"Lni[h2gXa/Vfq{A1UE` MnQhHN~ ?JЗ-"%5Gm`1o4z+I b\[ QVpIY\\+BcYiGht]/Q|xnaE($>*sL'$c]TQúT,qrF(ߠ4_aTܴro:/CVY~|Yb4 lB$La(Z4m.=i%)3rg'?\gHZej _xSS) *y_-?HsՈmŖ[} d^=$ mZb ;jR|Tv" :"ֆӽ8psm#" D44Kp(K=_5ȟ+xlv2|ᱰe$QQAtDEEwg:adLb?kVTqh`+HS3ra*J]0( ͮJI]n_c ެt d@'Qs :oa ($Hul\' &  SU8K!;h $iW7цGG(Wö O'}O7Z2mVZ:(.*TA ?s4"fio~`%7FJXiT\qkpxIV[5n{UfWXrL'8Ծa3 ܠǢEP[sX}ʂĊl0&TlPLl`|ΩR, =w-#?+__ (@ZS<QJ:5WDZm<ՊaYsQ{58-P {sJ,$Tn&  hg / Ukx'4}5^"\_mV6raˁLgR Tb˕HdKU/dMCP <re߈TdL )l5u߯L jyhsn_߇rY?)ò}`i8$ K ` s⁺T?b-x縠u!dXd֙ =!~1Mo}zXu^ߏ# {Q!M9Hz?:KyRه D^8 &r# dBoGQU_ oEqY" D7d ۽])Miw'[?j,Գc]_Eߜ_-X_C:=T'e e+66癃gqx#p"Mmu(f*:RMh _n%x,4A0@ U0? k7Ǽ l6Pmd4I[ v勄C;]9~K*L)ۚ?/ ӦsxV`Q "* iBhXR6b.{ n I(\WjqUH8e;G_U\؛U0;#N!> AdԌI[X*б9K)jq̓`Lq+aJGI5$UgH +?R[aK;k\ʂiqlϷ60kϣwF72XVkwE{dΠc 7 ) &QrGAM/ a[''- YΟr(.z&%nIU+R0>aǝ °/-5dO@X%_h`;21vGl7y=pu_0RY 7W銄RLx@=Q{_NYYsߺ*j` 7@jf+1MMT#ЛN{{`Hd)#1cv5l.kX`oJҢח#2k:ژ.1g^0bLj~ )=Qtr'Loqdk"mfC~Wzm:=tXӴ;%tK*DB c=fRd,ߢT ZCmp4s."=ٷp$;Ǻė+rDs>>z#V_dCHPN$ҩ`l-V7kf2Df*+=SJ,&us} ױXq[?Qa~tQgyIk|#8XNnqrwCR$$ir$ZT SZ4&^>;إ->b&A =2S*tPY} `sxmͻ"EE+lW%{Ћ0EgL1| ~wuU:ϱm@ vz2ex%FWg!2=fɈBp󂻟0E !YY *(gg OZ:R/m5f*+368S3fTT J œ'밇AS9=RU URu~KT:>m\昒]'G!LV:Țz$`o٤w j!#di5BBoߝFh>: ~lWm4&X|sYܦZ?^̖͍}/f" *~KVN+_Tz~ I4]cc) *"-wx25g&&Uf&Mz@rK>[{ A s*Ē[֏2P0q!ɀ!SNy!_ܰQL1Ƥxg?#+ONS kt^]f};#M ԂV . Spük4*$?qAmE}24-lFw1R8JC62$i 6UmD!jT:I:d e0n*],? }vDO_ogT'#:fp{=pXєLYM?JrꞄN붚rĚ42{Mb8_nXȥԊOe$}L :!/?N욟"V8f?d W!ûll?@_H0R$*,.f,Kb_`/Q]1c"uZo1$gvױZPO&Bb) z:5ZU*pZCpEh֜e[\BIW.C1m*?JtC2qzfHt8}E+ Ԏijk;.,5eeؤ1?=f0lg6i]Fo~]E2Yb+ƲE4GZsf&DgV'`$82"FtAޫL&9" QS\]ML#;W*;tAp0SWrXP ے¹Oϝ)&)V䇪V==UTO3ڈp?`7&TQ*#2# ~ԓeuHĈ[YZ'mydzaRmZrGq P"T0?G5lAQ8Uģ@d)}{:/^۳=}1=j6i4,a0K-=M{QnhqĠ+pzN5 :ObJv?׭}BLش*„ɒllCT[/l1(2-vg\Z8;Zx!Wҷ+9ħWw.wOZ.?tvU୯N/kvѸAC.N=a$UWq3o $ ooto:LQDahE)hEx9VЙU+ }'Wqb3Ewཕl}̦n@4R R(o`7'F'7|Yb{>b?Xc [G<ɥ8i .w~ե M;kgQVXߖ@i{ۃG`~N5`QI+T N#&~ܫք_p_Tvy\Ck"VGvblVi2ge҈v0ޒ/-ʨPs%bEmD"3yQ6:_CJg4w}eWwj^ C.(p7LNPv D8d l(\F|*UT=/S;9wzH6rLOQ,$xk:~:{kz,>@n1<z21Jz>L՟@ـ=oTCEZX2X$¶k5nIAvO f6 U#l:c~6nTS(hkj+:@h`Ҹax :ڋgoyglaBnߑs%+ʧ>c[/$y\gbMOW:Wugs708m c f"U&^ȎhTғ;ˌqncqҤ]938,"='1r v3iA‒?=C WxA\ND?3r׭cfЙ.`fV#E\ Gg»gLk6p1^!χec:./r<ŷIk{yŰ!s )n`MwŽr-\yy\KRl护b<Γ¬ne 0g\%OT7t=/jУ n{ńrN/d*ԘN/τ瞥GxyK,»ֿ]I= l'ʘY8cgn-F\'GկL5@z*˒"sRmbV_׍dx^ˏ^%JrUC>!͌&[?WTH750w.Ht M={!.&)nkoI94(j.$ͽa2Ҹ):]{LWx-9M,`$odbB9@u_}`! &中)xIխeؔZrbi^'^5DŽITP̺'pf}N2SB/7dV1vp>NR} any mIʜ9?cuz1a \EoynX,k]Uwg7QxY EAQT\"22tRd={Bl8m*jAӓ^J4N@L?]Gf f Ƃ̓5*8”…UK005SMF-<+yTh ia*@ڗzz^%VڈRVgxH }8|])ƹ-NCB~k3sGx؞_?wisktL^O166q𿕜rP<:ZZ} òME)RW\ŧ{:^ؼ̷ve[ScgpWL'5G7\%Tc3”Gg?jM|Dj^nZ #r ' C$@u] YP[+}H̞)!9eN}@P'#P -zb} R>7H62,V2*9V8& @ڲIvapbW>9l @S`M"a`FzWϖjj gi2X</k`4=;N GQo}vsZAt{6) rMe=@c.M(/4$Ʒ2?66Cd}+@N,𐬶ί5"՝3,ƒ&~G)ʥ}$0 uFH~>.}B%M?XՆE|`hV݅MGTYw_葡˸I bqFCR+ #9.%͈1&q"` V]8:-hbl={c}$сEjEJ6\CT0"iJE}2mdsbLjxp5"c"&r,Yӓ]=OnO>,jTг( 8z M;XªRdjݏ*CW}"s~:Q@ցH͛DFYq?8\lN-yOu$hG[Gl?6P$jȐ.^бE4nh=e;y7mD!znV".iFW -tL}N{d R"(. IdUv:^ݬ?i?ED*;jm3dV!(L3ǹ5u@"~AFy]% xzd|&DUCs0iro.@Aҍg>&zu WɂY>Gd)L۴3M3H \>kB~hMRX^Ϭ6+6Ǣm3dW)]ʰeU1UY,>MlWlL 17x硂OZZ]U`"vr$E*POk4YRd䠡LQ 4aP#/ReF;r_7.I+$\n:@Є*oܨ -~0@s<;bUϺtѫv >8 PY缽0 οAbo[`g1o=KԗdhKD$q_1~|H7r* =BUmQ.k-7PM6~:msWn[ U֟+Ktwv򲶳?Ѯobx'TglJ?>k$=8RvVJODU}5^E22 "=Yq@@ _Q|_/ ~"{tQ#h$BssoP(K#14H| `w%tlJ5zG$#MZ4 y(@bl U8VՑ8M'B&-@[e몕Y,Ј8aA~%PNc!yWH] ?m3y,N#Q[BA 4s'5ݎC|ͷ:abW ^`=`1K~dÊ(C+ jPUy$d(}gĠy*)†pq|,ˁ,{sˋ˷Ĥ۝XdP ?6ӫK5R5axM>n1Aݜ6CL^% kB YͲ)_KDɃxe][lCzAQXʗD57z=-XJɩ̱X@~?o| _(NrvҸNf ]3W1[ll|)(: ֊>t˯Ͼ9gHp+[e"`˙t&t#fra\(6҇EׇsBjpL*`&\'VCJsg]>bwk&yt&@e@Mf!N5|/`X) 4u{vLRVn~do/>!q 35[YÚ (3 ]&uy8Z.#R 2Bia :Ky@=ЄBaUAGG'\g6];3波lڏjjo,t.Q3rS_ F<0ˊ[DN9N!_W1XD'ȣLM|N6qQ`OeeJ:`I aѼi[`2T:r1Ҭo k%rܦѾ..7ol2[0a%*Zsc: u/h3'`>Jcn+IBukMw6ZZnjlXnshP5Z1N9ÂܮgfYCb<k w}؅(CKG!jhۡQ)2ӎ꭬v5&N[ =9+xyۊL-HE^Ƹu *$%Pޯ-N?6%VO)eڛI3Fٝ$w4鶊"aa0 dVrotbYjcisDg:c'YZ\Ū.J gr˺ߎZ 4eF-/0ϛ~)YEocE4j* A29^\z)T@@&*ÇS}6H eeys4Tp1h~|Cii ^}ҺGKaStqei7/?9y={:]u2)҇車Z?gS`xTʟb @L ċwa@ꋒz(bx$;l~iGH_,7#l4頒Ju5fҠy]O{y^3,H$0 %Nyt.TB$ɒ?Uɰ5qS [#ׄ/K|.G~9nϢu`Im 6w3e jx?xԞo_T&g3P:_QhuxypbXn 3ͻ[f x e'{q]Qy 8$Xz3l(vѲCIEE]H{~0&DÈ:;4 Mrrf:9]YP7PfHAU~fTڡ}$k'Χ }*cσC FSSԽJ#v<.˴zjW7b!u' nрZ"~ rEיPW"$EVy"0,0]uq"tѲ޶&>?net&$ꘓ0Of&9sLpa9?]WK2Kt>Q,`óUnA-ZsmG>Uls\[sMI:! s~}a⨰  yZ9z^d5>{Akϸ=?"*"Gݢ?]Ղ. z;7XECClfL:!] 9Ez"A?m\i?OԽ+cJi^z๖S|vnE@z@[xhgbM g{a#E1K 0ȮyRtvΕP͞5D۾DtMهXy-( L <uu,/l<}sF }k{4NQWR XAY//OLfV~WXsdȠ $s yh91I#7 [ENd$m _S$[)$S^X T[=\>? rCGv$%a2g܋lH o5 P;?〼C˼Ḛ#Է 7!42SaYx|飹Ơ"buQfiT;).w-vlY4AM13YM#c`(T6?+OkNPJ\\)EX\Θ+\,|2,&u(e7_ǚ}H* 鷷Fht񛏵` ;YQҔmt_CQ`6gR1uMvVF&z4@qNSB`e`3QP$Ak\WW|:nۮ_.Pmo:ɲߠ:k|IF&Jߵ5&i|jYm`IhnE#`# \\%4S+J93u⏙2|29TLd>[g ( py9D֑^ uhzs%Pɋ,zK5h-HtEo6҅C5<ެ#;PAp?5:յ8dm\~\B(Rw4M Aef4Yzdo@i(y~5cts8X.Jid!ij2FdO]׮`h=V3`%$~Jjcq}*qtY]JZBquE"Mq)?ϸɁE5^I^{q(%*1TfՍ"Fosi͡IkmlxN}#IGZ(J]Ϡ#qX6U׏E-k 8RSn\F v4eKs-ܦ<09S'#\<ܖe(ϰ&SŔFf~%cɸ85\ `GzYPKHx_CBH0P!+חg9FG=R|\@hv^3Gtd$uy?*(u]bri@vrP]U[Y U^vSnpپnb"}d>xAŊX(]"l=lg4ʵҎle+(B}6&ёx;]BYlWBFW?_ 7D(uI4%M'E]qWE~~N*@{~PƏ=fhBpEr1}z3z*RSJl,# 'FxR)s5GyKjێ${kƵ}Eķ> ~e#YiTk!fxg/>>zUnЅqvw&DP i_+Lp18Q&]'yضPTdeOmBN_wzu+Gg}  fO&5#!x_"{ D6nE NQ;Tb5:s^p1|`S#ߵS%I,qa3YG P.Frhbx'V _7< 2.߫:6>B ,f=Q"'};96*zMrH)jNmHo ujOw3)&Э|$14 )GSRRwWڛ) i $_yv{cv@<]vyH0aá`@>ZK.vҸZ!LRjp@ic,DJ u؀軬 C]2IfײmUɅY9nxa|9 Q$t'ւ7}*~iy-kz }DՄ\U!òHxD'La!d] v'L];+Z]TTxYɺ)(tċh ]-0M&acA5NEZ,&ٟ_d۾YC ,v1X,;&7 FH I=Q|Sї8$nMɥc}yofzGҽ wNYF!aXCݪv!C>1\Ğ2g PqAb"eHoPK,OEM<9 W15V*`aËXd|VFfLfNVkڕ X驿 ._Ns=?tdWn@2bKꏰ^!c,OH oe)j2N*'8lg-)b<6_Z-e{Z"HnYԜ~`vsd.Z%8FLbvYh#.'vHg);c]Bv cM@~gj . 6} lk獄^\XT?GҀbGU$;\MxMNA){[ќ3)kXC銹q#oxlt<@HDȊv 3{nDaȴ~Rf'ÈO@]3hJb:D3ec̣j}EW]IhCw" Q+MLFSM0/+0QAP!2A' 'X߲ᐿ4Ӎ",+;/ xl H,-ÿw^C"4x8~ -t|ۀ{3Eܙ; ?+ 2N>c5r7?Jm#t QL^LmM9W~Ry(瘿t-0  וEWɾt/jL1̇fc1:Ow^@Iv%7N`7 M<^%gdEdHDu!ۻPʋe8IDWD %׳ч(Ap$>ۀEw)ۦh~ʶTĆ<^)ϴB*..2SW D9|.2~m$п'iT#oH>7Q9k Fd (Րld?wiU kHd'^=W iJY>e /zNiNa"ԃ-O9cBŜӄb@:d_qI^:펖4Bj͈6Y1(?N.}Qŗj!T9fe>X=ꙴTU`&߁b9a0tV%Z9,pٽYƺ8h]{)m ڣV9P&+E32cGMxݜ0Cߠ~lszWR=m55cQ95 [U(E4MZLih<dg=Sܯ.sMc H zSi\@,Zmeu ې^VXM6i)/^FPZ&hoļeMM̭e ˋv9୚m \zGځb} ESd,NqK/ TGw&G(N"!h!dU%wxwmXr5 pWUtGm4^ ` 8?43|^au$%";J⑭6Rk|єSY=`MfvMJTM)Ҧ0}AG_ aK9.[ "HAOפr<(rFeM)? {oG0ѥ5}Um% E%z& $)4=3U;$JW\^2EZJ,$#+ټڐ%+6U^'dIuT_)fgr|T#$GH/_)DF}u3__W\$T%6y I> րA7ck`W5^5!8F?#Dz4Gv+'#(֙C6JW2/$OPh˧ߒR2OĿEĭ{E> \qro_Rn݁4ù?^Ҙ݃SxB$pQY֠e§9q?.$@\GbhP*Ҭ{S`#X#O7DlPֳ@gT1ZyqEoĉatkliU0ֹ,\ ~Qxj sO^r4Atta>RgwtW&  vvY+c"dVܣ_9RAºn <m ӛ;>55oz7dn{)RqzIOEqV>D#iiBγ GFndw*֔>2b kʀ B'MI.c_I@Տߪڼ$3߯2J&I!NTb?d]&5mfl&ucXeۈۇ:]QӮr=fq4/Cb[ 5.?Fwn֍{YT#=o!xZ_vމ+ ?`}]j w">XB8/)WJxZl;Z1 <;|ѡ[GrZ>_hnv#oL)3xO٬2ӉM_\/q܃U%*Rs[ sfl iu!Ny2֧(&< sft~mEsGQ 5:3-9?mDAtM_R|$]#HE#_ʾ4/_n(^Qy!(y&ȗ5Q+n+[9-t,nl~\k8+R:'A넥3dcϺvo uǂV@45=B>OFcIaZmƱ~ZQM;h%I>RcH/ +`Ն=Ż'hZfniȸC24/4,VE&6̦Iʠ\gq¥52u%4vbqPvʬxVZ/q>hk)8*_+ ,IL*aԍUo0OCvNXg;vN2Pw3nQQ~rzF_nB&4wPgpDi>a]dV9ND4.0/d{ƺ7M`CM>1%k-P2JuLℷ}2{_-J$KHĚ1F֝hZp2y?Ӡ)>^򠽊7UwrD#bK=׹Mʕ(M8] ji *ߨ'bbفeT1) )!ʓzL ::'16"R75ʬ "᩠sj׃+yq~@/LBNbϏFxVեVLfbג&dzHσ Wְ`%9}qJB=k(N'ܼʲFw^ܓŋ♦_[>`w%tOe tE S? Wc6yoG}7Qq)M'"geڳAQ{X 5ʭ~%i5cwSvd]3єPΞEy2!q!ݐ/6ZU$C\Dl ی;Ls b3ѱf(Ap/eMPRLXR\@n4^rIo0Iԕ0 7:(6).B Plw]С}yz k0eKA-H=[)d wsiLZ685Ick1-fe`YflO/1iNH -B &~<M".g^b}?t!sO O#X8GW[M/u6R5ZbVo57PBc1냥'%>遤J=hn$zm<v-pgc`ø9Sc@W-T8ÜZH/d8&&GF"2 A}VHUݟ, UⒼ9,$kuh3Jv$|Ov5yT>S(̟6"Sdq: )KJc?u\UbqyҌajr>?Wp̪%ΜYןw @;ěp"siz&L.}?(m6jkÓpbki}jT2TElu9 Ҽ+ Y7jf^%Lp3_}Vl1c2jG`϶C0譇ac2aDʜ4U!djPBn*I' /D>+ PP?|(GjBRNp546WӰ4T-ݜϟ]Khmx*5֙ *Nn;4]>2_U.8xSg^ Dtq0kE~_eop3:L}nS;HGo=Gًz$SvB385Tj!m^ Rfx]{X)VtDy8%|hEX+D=%X} 2=ЉZtF`DkcKOJ~'x#B+nl%Bt,90>ܯP13+t5&[_1 3I: Zo\nV3w[X,-#w bυ _կ&썙E2p:ZNJҪA6s2}J!EQ3AņgsuB$8T Xn 'Ve49A zR-*W&*&!)#u/(QRfc2"*bبF N`]`?#c,< !$i#_E.ѿ`וWMx}4I7kq~;a$_-R[%dE<D]G4)/6/ƪy|e^:A֫G:5ޔM% ]Ϭk[so l,jI.߲3:E4} RY\0ADsY{'ꛃm2](!0- jm Ѳa=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>BNRefRA}Aφݪ6t! xyĨE0xnϸ Q_kJɯ2:5rt|(4c]ꅗG='fBxK@9:O yHz ,(pi,G λ87 1^FvÓXSIJ+[˧݈>`EFCv QomNW.]tiΔ7:xkr 9.SťH?|ԩFU<0*f{&xقt>RȔeI *z~XJnՠEg>LL9u_#@A{D CjLN݌r?3"hKOꥢCx:.J.wR[n#5+}2Q!|U 93#a֬s;DLj '' >r /tD;nb"jxo'~߷S_u5wew1PQr0;2Jx!{TvZ? Ky_Z9k1ɺ{HAfyU)5ދ=C`HoX:$ UĊ,{o0HBR Er¸]J©Dm EH 隔؞ eIJD@DOԶ mT)+JX)F^7*3~K-'ek$* ĵ g U4?͎a.̖ʭ~'<LG<`d_|yvhs˹'λ!g[# M3p sh+F0M%uvUevRL^}0́ؽϧ$6Y4OAZ%2g7G=vdd*ވk!=Yz_ZBL = S'.fƣzI@d8׫XrF<xCmћ{rvLZOS^:/jn̼5}&8vc-1fuOŢeT7|+=nR)H\|8bY+y h\E²545Qb^~78#Xd:|a: [ kL2R#5Bv{]?a=p!fǶe曪K{ J6 zV5 f4 _:pHP_Y_dW}51+.NN~8.ob q^|ޓդɼZ颐 08G0@61g6Я+*9{՜-+WD*8k GC%N' 2[|bu^Umϰ;3e F+Fv=Ks#_ǖM1&Y "[=tH[A%c.E5X3W3g&;[)lH)O`xK:>?MAyਈ3vwDl0BH  ޸Op)Q~,`+~}z`)1L_KY/Ґo_#Ҡeb[6k;@x -̵Ž pSa2LS1>}JIwQ*A ,; bfMAdGqH}U`hotmWӿA[9!@9$2jaٺc:;qW>57G[$+_Dvʓ*]VW>.w0UvŵMs0d|?MⴤS0U ~06?zY]G4[sn6 ,q :qiqw]c*Ю+7 wu}( 0xMGC0iah0} ʌSܽ~du%em4Px"B4n!%Ufm:}'>`|#x$нI+_nÕ%%ZW\UY!/ÔY$֭cC4@lw~oCO?\!IvrF Y{ܢPv)'X}t,7~1!˃AXdtYxOr6ls? nlM ё~ 7lOErp̡ ~%鸨޼<"ÞFK:>/y㠔gtZ{=R2#E/ lF]껯—į&=1C iS{$V_VGt bdS,*a+2DRdט8-ߨY}6,nDCV~EmW"sIdxf=dQ?W;UIIL24P\(s20RG-z(R;"<6΄/E spՁ =g:B1~+86Q d'c@x9b$4YeZ]GJ| q}2$ݙ9`Eeu;|տǓrwRӼ.-˲֪PQT~_ jh xI_寧K܄i$΢!v*}^DMJK6z6Y.C6#č?TbP|dT?!(]{  Po R7F*S1˩41!Pjf!{}$2OKt;" /7$/p[H0಺Q> TՀU8 zfm/V7+#%¶Rq&8|0b/8OqaLl s|&P߂RTb~!_BjC2shδi  fzq3^h b6DKm3B[@A?tϑ$~,t Peͭݚ!bBoe`؅w:j >'M"YO5qUT#ʗ?voT2{_c6|>?Gdܴ_8z;Qм~mwe&po5 }*,W5)r^"٭IXvPB,=[7fi;3 :I2 !z9թ雁bDvA,>k[c ^.VܜH֪`{Lc , m/ L0)Po[(BL.j5|,/E/Oч *!Jڻ[+ьAS0l1 xD>NP&DٝA䥕i@A,"M.Ah&0X*;kvAKr?e+jyU3F  x_Iprf# Cr>#MwapBx"b 4W`(ٵhcDw7/x!OzV頥[:հ_N_~= hPz|2' wlZYN# `̃TO-v6p={v(1w| yӭl)@5ZH|OAN#xƎө_rHuDY,j7łoêY1̽3XC'd} o7:Oz3*`/QHγBA,k,Cq sl{ԥ3r FF d/􏽔H[ބҾIT`Lnz9WeAAbw;D ܇u/O=BM+Y񔒿0>=\YM_Jfe92-|Y.F2?Cd (vۚ-޲T>-RXA:cp͏5VX=U(8ZTI&}z?6[y+D)vwh*gf[; G|}_0w yr`gr+[iC}Pjjcc~,<kW 3aE63\WQ)S>>avPR+m"e{FϠX³b kAW:YU%VЍN1?Z2W޳WUav_!W TL(S)3餈xҖQ`H«W5hK&bXel:a|Wj7$ IlYnsPVrȾ`N(F3y_}ƺ f]ldyy@Zi olBBpLӥILm- ejYCcfˉٲG0!B”½zV5k+|\I[]O Ю3w.P-½W+_8"k&0DkBU).g(.(y-f8ZkU}Vb YW9i垵CniQ<&3d$ֶQxrRu<Xa/ '}&unbԠJ麞{1,{""0TZd٠Dh3laAT/`Ux!N9=(Zs"{svP(WKX+T!ۙ?}^FC׿/|꘴-ZnE2hx"Xo+0tbPߨMGKY'gmpk+&UjAW}HprM303lV0^LQT&ȡ,eaOvw}{Ojųuk` 4\0J=E#!rJE8#b({1n^$)HQJhO<מ e.D?tyJ]Z@ĉ\{j wC~6 X6B]EC?M(VY.ؕ0W7HTxPZl:"pҕ8ߡYrЎ`P]7Fʸ6[Ɂ-lkc5ʛJJx#2TԻ-5 Q~dZ q֒ixKQm H ĉ )q!sx N E mH(D)<aES; yU5K`/bXg[(r܏b,[Oas/k%7)I(r=!m*q#rQM˄8TM~jfI+~V2@nI0z/? my2y?]{8eؗ|W^5HɻʹFx>*y!Blac!g,w(*4~ w|;b)4|O|U͆k0[d/\ [Ǥ;9R>a%2c ]a{zW=LV#ϥ8hҏmlɯRETacI V=)z"K w)[QP(f_+,Tt }eT^}Njv'&Owr5!z'aIs^Q(imX lq0< uM$HcIzsj=NGt^=yyAW\sa^Ϗ>uVfM5a4.n;k Bhx `2O(t~:,ʷvfT[7%T]>^کu~c^IY੣wv0 Gœ!rw^ 6roҺqT!W@wo:|꺕\ۑgq l)[SW؊v#7]jXNYM 9==f 4nv,Z\$rox7(/9噙.J4 x])qwqnS#Aʐh(wf7Ԕk9 9vY66 Xv1#=T1bc Ӿ $=nDq׆#q[YvVUެ R4Ow}tԋ_li*@gStD́4= i:--5yt찄%ˆk`eLA9Ůh\bàkH$!Q*gS!I7-ͮ)XuS=K!iV}kG aꎗ ~[ʒ~&tv2-zrYuX=LDS̈6^њ֗ Ӹid=>0i{֯MA*_]1pP=|Sp Q@>aWR$46(*BXk5yB4oUg=NTs?H6 8chx{_iW8đQ(KbDO?FyR.'F-T U]﫴rѮ1=?= ?v_*aw3szYi9>%_S<`JKP/u:@HO\qT:^n< b>`!"y>UoGBs.^wфd547#&sD|EV'%hYo!`aʈ$xn jdT#` Q6&M l ); Xkh6'|rd WzU'f^zLZ` 7BuG:g#.fMc8[ǂsX@{d{@ٱ\KAh*.#6t&ѢF{m9&FQ@"sa5b 'RL$ׯL^9ȊUum}{ì>Q0a-嫪Ts\Iǽ_K6ANC)E4-5_HUWq5{-RMFH=K0;+EaPA!88¤gM9gD0لg!_yغ cuWᲐYnXn0m,#a")|_xщ V'B|E$ưM朓tsV(bxAMs8\aZ(Y x?gq{goü]1W6,(C F"X~=U+`0|@ܩ5ZU2]=!m)NMc~3~CpS%_5{ HX`m)3dzyƗW/D'}<#[Y`pGz 6&Ag)q of2z]o5w3<@rh$C4{@r 2 UB!ѯ.K 4̸ջ3xVs%*NY&=z2c"VV f"1'\.Qwප(FĔ}e/e]g7@lE؈*q1sk~+n1{T BMD toJ&t>z|NX?f3(5iguhkIZ}!sxFD2&`$i몒}-NraqI!*DOШ^PGt<y1GwL&GVf(kXܯYNCrW{EI2k7oCWH Οxzݦ[.il'54,b202K#IV h_ e\oKg=` YoMse:‘OZ/Y? 59y6ڕvt.Q2׍\̜W]2ά.Km\a:GeGx QAYJ.5{'=%I&H83AVi+Bd$ЦСZ2lbV*.4Mր:ds@pɕf߼m/)rNc\t.x n \k9!=M XZOg8b_P >YZ0H+suK>.e*g@Bz]IMDn!صyfe^C`Ct6ƨe7[ҹMTDU6bC43IV{j/6:/Zf$6G{id'~tTg9Y@3GUvH}'4]\PF1Y#w 1֗Z5]ɹ d:P!gLZ30h*:&cD'MO=Ё,6{;Oӄ-n7yiƒJ`{U!IhDz=(?A]99Id0٦2Q?RB^O:}Ϙ?^ERX.exA*K$"[H[W٣e׎)W옼`J=-PVKb +F"fq=Oc'E\IT^kb͛flU7MEdMiUe 3_XdfH `g'zu*DVHx=|e}+wع㯌`V%! urcU}>,s!㹯Ecx}==ɆUUC^zd1E ]ۺbe NT{b&&"~8XnmܫMxuPYPjK+yFm`|F"[U<P=W XY#@χF-Pr浛Z*#?NRzCq8%e7ŮK+QKW9axyy&Kv# x&=5Mz*qEh,YRcF5YkcC>ЄgqL* Xcb߫N]9{s[j9:9|sf^[KC/ lICb _jaumxwvrDtAC RUܰ5u~+.ktl2/{2Ґ{ _aUžynV· 﫦Lap\!ls].;QqJ Qѽ1&޷viLJBj@xo>OѩN#=T3R!]\\dݤA݉vpZi\/-S2o^KRGټÿg.8<3Fl;IJaq5ե Va̭(uC^XJ{  {2/e mBT\^7d&Y-eG+P涌t0۴NN<ѐ Tt$#sI^sWɎXr¬y=fe_o8ZVA`Z,~mvZua@QJU"\:GUB8Zҝo-$('Ubsi9xHaW!Jp.ˮt3I>Q/.rObeg^7PE!!F~2& 3\n!r/j7'.7(@,%P e3t,˂sZ ٴDR#}|b8:[nrVKW꩚Q/v SY" eFwC D'uu-{ȒwxvFž 헃{$s'f8lξ+?/C԰$B|PG}B,/V/PJ#~YZ.QB,}|@Hlc{sm'̱B :_&A"ɶ`%`MHz˅D0Oc( qs. @XRx9iPma~:LU~М9?bDcR.X''Mӟ q1kODGt[^WBtna(M[.6fBTO <(( x&ӣRYc;=V߳$( rN4Q}u$x!HW8_Z<ɟ͚$L!zRZcP7TCHϿ΄(J[lŠXψg?H8k+Q[W+#9}]&R 6;E%3$<[{ӖSBw39\6|Tm0/T5SwJe ͉>D4~@1. @eb#R'ƣdܵ Α=y$30O栐tQ=p. Pr IE'2pCX`9F Ubܿ̚͜i`cHO ?0 =Vc{a:\0d;#]ڍqjC{ɂo*@pRJ黥 Bڤ-EALDX Il<ɬ/cFudN/`w9B*Iiy$(8k>$N'Xݧ% ,SqV~oBXׇ&'YnN쬞[6QӴCjNo#7T!DJXhbvWG|p&t0QM89 aVu; (4G:T`0e>Wٻ{TwLWt}sk@>YVJ9Bzc`s'!8 ꗳx?ډ#/!='_O 剦z mUc! t"ήꀺ6g8;>w1uZ]Act 6bA/Ɠ) vm+q-I.L5O&&3}X, 4|A,dgA_ 7ż%<>Bן\)mI?DωHndjO޼}􁝨GPPy'M0_XA0Ѩhkוi̕r㯄p?LG\hA{=M@"z*M-8>q8Q UxoFGɟ^ߊg A t8@kILElfrZy :Ap7U47ڈ}_FSoRUs/1O@9V6,[px}u;`<#8ty&B*ߤó/4;3dѬp;iÛ[\ͨDKNZU9`l.ΓYĢ"z1;-߲` vP<|^ᰳ]1M<{qgZ, ہ9tt3C1sDNѪzkЦ״֢Y8dEt*=)4~G -Nhy 1\{m88R`lCeV;oͮM1"6@ժdŠ$PBiɐlg5~{2nͯ;jワV:JiG[QZkιn=ї^;z$ԻejQ:b<ٳ[LXqfh{h {rh'5&Ȇ\9al%FDpqAP?~[yc]/G7?9"h*1kAꨌȻUsnQQ#e .ImkkLm^/4\Vt QBg #w2!fŭ\Ghz ;o8֑H!CR2rYPd,-ti AybPbܳܯR e_dž|}+5r9%5bbw$$d4\]iEޤ_BC/Y=A3rd:h/ل8/l ْiVQ[1LjZ)C>y^In)u Y{Lm=F+[Pp^X08-+0CL|pV!TuHfbC蓝Vemy߂ca{ceڎ>LϾUOy:bҖBj{!b/ W[$Xiͮr8 Ō(԰T 12K#r'>/2C |EܜڟVhR"f[*'=UX  =yiJ~K dI ~ln[z6ы̮0[)Y# $s R,N3*ֆNrӂ>V>oo"@A ~j_5.|N݌a>^*Tv>M~aDY? =ٷS 7e}]凂 Ձ 38 ,H {^n &.8&r u:wF[1WyTv:N8dclUMxcB$w\@r, *_قoG3bҠ4N!%Ѥ؃Ё)?e /O PKv{zB&Ԅ3{*KMi-AS'$;ri9`s#3cnjҌW71 Ƅlv@Ɠ+u6yA3?&=>ɭ4pmLB@ {kLN>F(op|e21}g؄wj Vq@e4u7@Ǵl٤D\vS8?)P6ϯwr)!0B2k9CՆ_}?Qy8qBZkL8 >ʻĽIjI hZV!9# h0ToAUR䫫b=^x,M= &FΥPB#NU\yymn[cuQbN|.S:Ys2ƣ'K? Eڭ\1/.[8jbx-9=ӓ"0J-AP#gJx:v!'n t2|\%AB}ck8 bv cPSqY#/VnŃE dHYĆ?v.8+E0p֑K\X!iPD"5Z4Q8笿"/Ciyzc/|ᘓ81*I=od:I1[|T{5}W"V sѯqa- dH?MgT󣜒cxjbv ?G478Es26bw@+M­9־68(QQ bFYؿ3*-Ц`,)" CBDx&[ƖnhsL1)C8ދ:f7}p{8hӀmWpJğܻtyh>}ډGx$Ch]Mm0QLC, `0j فzD+x3fR_uV;m0K=d[ +q"^u^?^7%92UY;͌\Xo@@~>o+mz>*6Y~)xXzIf#ӂbr;yʥq5jQ=~tNDi"1Nc(V04 gn#Oa=-@{eٺC dʹ_l2/9P9 Ҿ T;wFcͻxx{,&PYuDk3{ AgdOj2DJ&zM 񪸴h,^(EYo52zhc4Nu{b" Oufv!.$sbS]C8YJA@uUXu>ۭPP,²Ld"cG6S!\ފ5;:p#EĕQ yfܐ &ndlG`l  晛M (pBHe-U`n `yҀb)Ԍt"$3A.QσsHRM'ԁQK$̈́Z:TB/Q[{JOHو4-d!yسaZ* WqJ0v JYT$ S[Qtzf荍 W z-q=:oH8 5(M@=G]7#%N0# >=:( NkO߅Uh;vS B 0^[)6iSB;1?1=-=~ж٠ɄH痚T+ߑ`l >9!(PfV/ē$C73&! ~qc<+sNh >wb1%U 079~jrبN.wLxj0&%88N:UzK$d#BlnʿbeHIZ*zkq TNdeê2ksr=Ǥ!wir%DɊ1.I>^mOKqh):E:?$^’\qu-| 87Ri'f7ZcYZgP8bBhqpmPq!Oo]ߕljyoMUn_flKc@*Z^_ P߾OҗcʗE~: B;E^@SF_v4>J_H 9wܣm_1eRb4j Ǭ-_b*(@X)ׅ\IX\6 Ux%Kb|ݳbȚpk\kyy#On`$}Fڞum^Ipm[NΎ~:dS5&jjiJK J8tt}լ^k"u9щ `l" iNv4$g>L&6㘞8cV YKmL>'=;[1aM(/9!ZJ~X'ؐ؁7`/ inpz9Ջ֏" GST1;- q$3,1HKw/zԺRX_iFb(g nѿ.-"|FPϏwd'jĎq yh&(UxgptZiĶڊ.4נW #B?iXԩMMNIRW7SDZǹilW:XHvL})) ڄ[LWG笨KOY*i0laޘ4|_&u;ʷvKtiRODRQ*E_Fd! v8XYZER9?jgŒ{vYo$ZS ?2E<嶎WDICsaEv:hjBV۩{"HfBǨ(Zi##VB x$k`lbݯxP_[?_=X-mYx|[3you;?=dIETa8pPL?o+&Ysb; =Ϡ@hXG#S@ҙƍ+)J+)}s}GUQ .1n\/۪ oɄъE^-mJJ'$W{pg  ','2QN-yw,khbeeYp !^|FCj $D\ȠQzTξpƢَ.$dϷ%?x Bqq|9 xr3W~@q0D}D)A9s&5OFgɇE>8ih Z%n͛k)jHot>1{sj}I{}$oeճN0 RNN2[76ͿJúJxd)}wL*ġ43?5Vmmgj_Ĺ>3CI.gINI19\Ľe d1c};de>jjrzǢ5=i0|?voc!h\:* 8L%}L ~ Unۑ<'Sy䮫6)1%G!N5JlNkw,r)ks[0[ޢ{!A#Nj"s{z^ ^Ο:\KH# Sڼ?0M.W9g=1 '=¸; !9Pi*yfXFaY'$Ƴ>A(b{'rƌznSg\_ Hi9wY6eO mWQhPrC 1wU\Mv;9C 1NWJ585 T9ː:BRBv )!z$xred;Ɇڅa@yĨ[έGл8gBV$0.$Y՗+6TN4'?l>j&Lm"i7]<%\~`sɣ_ >UArzy\v@u$_xo(>FW+TUU /멞\/ 5)j$9o" -r<KSPc ߯ xM9VTC&<5sAZ =i=t6aFٟ΃ﵭ{oО?t k%UL6#Z,*dkM_<)-n9>gdQx@ڏ/͓g1&vq3t$DbfprXzftjp0J9v3!aS}+5C򟹈SYv@?m0 5zOpʔDx-;b8;^KAVӏ/[ódN#PlƊ^|kM7RF29't7ǃ!y'^ސeGHq&:}- L؄f!zw%g#%kͫ [Ǡ.bQ߄i0Yna+Aؑ0`)헌=z+?OgU(XA xkt!mG8i'ԨV dap11/y&ӪJHv)1FEqq;uИZztns~J,vǦfDry--xErPB=#@,X"a6S`EIak\H6AB~v=QgUG0짖3:>嚛g(AT;=fFݣ'|Bh0u1KQ3p,ͣtR(5ZJpL2"1ɵEҨSf_t*6:lhHx&P]|kreyVp,"}wmi bf(PN4(yH;x~m>Hj=3OU?)TٷR `YikWC:ldl)D.I38!YP;! <خճ1,:5Q]NAo=̾Jgz*d:gG?!HSŷ19??DCn+~mrp'n 9$VQْɤ {*mJM{v+XTa0u>,IHvy!2.JcR J:kS3j-v xO|Mf88 &H z-~-r6k{;?V~$亲]#?M3o<| (F߳U }ii)!M8`rF(̰wtOj!Ǝd >ĨtGxDs&LZB't!W:jVN{j8O") .ժ̕J,8kr1dƾzl+ 54TU& 4K-'}mVp|dݓ׈yIoI ЅU9+݋`^J@JLXߝuɛ/ إё{NN?ճIطP#$ l(RWS+UGn T3!PWcZ' *nTOH'kF1;5fIbW_}0>*-HA~@"G?CO9Z]ls_Y-ΛZɖؘ! T2պ>L}d}esĵO$NtxKDkLF,ve5ב EbPGs> 45AKɰ@ zL48O<Ή)mblS w5-#!)>*cL"Y[[sPMx˲Zsl7>7`p82J^ggFT"&v׫jng8[kmlʑ=+LoM`HSr6]w A^0MR{$q선x PQDPxk99c zI Pg&^զZx]oBt>m%A\`D?y2$tҘ "{ko#d/@jɣ3q T[~A i㨏S&\RRLdS)d(܃7snA$kmUb!,Wcw hhaO]V gf:VdA/2feT *Ngi߇s?dp VH,ǣ>%ݣ61m*T?Njw&-0/D:eշ%***U|]̳6t"JNlr' mL/C.l+gB\TutƳfQ-/@< npPIJi1~,(#Ii6`f,饄ω%8pպS(<>K 67:X1N#z'1*FYTrRgTqM z,K/WoE3Uqت.#IoFH!9׍!R}ۉe/eC) ).č;C xpdQpE^:㘚"(8S:,Amp GS|P xO ef$A&HZܻշoG9e:B2^ZyDн$dHx7 .'_aBU}yhσmx1]Z8ӗR0>{.(bW 11',p81l9Z'`Wf~ynwBy3Kg]xC+ee7Ҿ*l8 o]jv^~5IcOnUAsn|@op%l' U\ 6g֤)e5QJ X٨B>ف~Tl/;GǠNG`+L^ᨩ;04DxsS}0c4t\9U,\1mSwwAAb1T]hqqy`ySgB}d oa(3JO\?bT9YQ{xP?U[D^$66(4>mǐ)OnvtVP[Y-|Ej̩HxfkF =ON\A\|T4GYr_ e>ax\gw "rnL>ouɋ!2ӡ%2&r%̖99D&۸`OWIqf&K Ί8m{T%g>W40\d{ˆ*qPJC]ЛSt8|(* 4.we5AELMBYb5/KoʏpcO)|tAPʟ/X/-K Bl?tV5z9.rUnK60VdCOf-@\ar`1ץx۰Ϊ߻c8%$pQ_E0&KѰt9CFIk_N/Opv`q|(ip%3`@ax20$@Ü8ꬦxyQJp6tK4Qk@ ivco};2 $z\b<Q[j "Ǜkb(my&Kkb86XUd$w3o5Ei ɛ꿄)\Ns>lDD5%L6 ':m U譽䧻h&,{e*WqDECj--"LKy|ōV%z˗KU.R ig׈) ~~VnjsٜlZ67Afye$7s71Y6|1K6;v#L'6U86?W6k!ۤlsI'J M3cE9hЊ-!ƳTrgS:{%fc|BX VlgQDC؛c'\c6&JĘO;/ ɰ1Y:[y9҄lVabVc7Z;5; k np ߰gwrWݤ(ē+ܢ@ `8m;˚>l(C`ܴG^(B%Jw䵻ќ-x]N W(oЏ@\fZ{9GԲ!u(V bf !NC/eSirH~N/QuzV\ 7TgᾯKɒ ,5ΖID)෧}lA9 θn gXv_ H êHK34W|\-D,k,y%)*f=9taW,_E+ΟH|nxKj@>N-p?t- XŎ͐X. av'ewM)N} 9Tg﬊DQ9q5JƋ%^xҸa4WǛrvFuyNT8 ; 1 .=Ax kM/<}.w p 0YAoM|siF<E>ߣHaWF[xPcrwIy7/DUeU"#cc n3S_U{n;ϕ vb{*ŲMpͤq<sXK 뙒K+g(N׶lSJz/_5ck- ~_Uq{q(矡7ccG g+*QP _"}H=dhOi[Z5z9V2yr|j9܆ i%f+SwR]nk kE9L'V O[x4 {w@}j.î'$o"ݶBTn%3;$6"tp6{F s Z:#bYڳz(p4a np> E &F2|B{ƽknIF-NkG<֔ʶφsb*eTxb&@A_;:M㳝8稍P'J9*w4`"R:! ^9^W3SCȫ_hY\md"PG<Ъ!"Y*}ג> 1q-񶩒I]lVy4Ԝ|Q]/R01<+zW6? l4I@ΜzW\dB4gN^@D_Q,tҖhUL=I~Mm""Ze[\6`+y:6N_K亲^9bY <h_Ϯ&$)7^0%58 !ȞKXRAH낥v^!:S,^۴?i6hWrQfEtzJgsJPa ^ǸsضO .b\RWf}wnQEU!^9VA nRzF@5P((sL1N7&-q:x `Vq&RQT v.mtcT(tդ- {md ;tq kY d N:dVuR \9՜STg%C95sHUgWPGLܒJ\XA߉}RpFggTق0=C ´ٵQoA@|^\VBc]hY&' ͪˁ/q7f(f\'v05ho&+40Ċ,Ͻv,uRjsT 1_1EH.TDdvsÞt43 m.Ɲ1r.:xE%miV,(=Ri"n@}! P[#_Lae@c쀯^x6+b~8;)i5+Z" 뾂7щDX?<6|ީ iR ]iRVMJYe .yld"N+FDz+ME(2^L¦d^ lr_@'d?8TcfʮՃl1beU)(&4s8 Q@>Ve4;5b̿IȥKX3!]L40 PdlL|<1A¨:+wˎ qw겟Գb#y< F΃/ӖwFlGڳu#vL~^ WI(l_i$_Hz)º({\$np=\Zɓqc~ nP 2v T*$X j3GP9'؀eU:rיח}m3Bs;{/Fb/Wf%ģ E続VF_ȑ.z1%b(0ěg8{N@)D(m=ӄ.gYZ3a9a31a88eeed7b6eb4c9790fb1dcb604aaaf799ed722b52bb85e2dc59bf911e06593f9321485465 9707b28922e9653b71e76503133d895e18154890 36600d5a291b651d32f67736bbf26f201f9fd1c6