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  ~ ~V9~|4 ] HOL-Datatype_Benchmark:threads=6elapsed=543.334cpu=1930.567gc=792.6457zXZִF! 3u]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï; MnH;W4ŗo)^Qk!ׂ-w[ >%a6Y/Je+&tE Uno̖HOjs6.۔cy1WJfØ9@}I_8 Lo1SҸl7"P.%,ZQy O/^p AVf *.%U܃Shb|?c$OGp/BVOJxU!;S簒]!ͬ 9lN9|U0fzM\ Wk'KRF򆱆KO@DiS_>= #O*ߘZ{c Doy!h"{ 0ߗIKl @vDTD0$ 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 Gs9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520g9I# LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씋% xP*KBaXY 5%⽊ B{j5/iw)hDk0=8#T'ޜڔb0UM#_2{^|m&[hW6C3c*RO-HL\Dhìb@悦0 r0tNҨ|Sl}nv|oSq"GbL94R/: %LntTUK.$"P-(;wGn_q2!(9O"2`ږImRO8z6R~rƜ^._XEYhJGNI=~㨆!?˻jFSNHAr2-'?aˑ,`69( pqdU_4?p|P<+bf !d#n{|m:rl}i榗\s@8'K F[/tBHӢg;6w `ĬG^Aњ;Cc_bڢv 8f.õ_p%]-`vAHdM Xk_8 L;ȶKHlG't3&;uRr-«J̕PȩHsܑ#IJa u`%1HGНs7"SZrXI=.1ʮOk|9e`҈zCj4XFv8HD4gZl0@ZWXt~)Sd4g߇=Y0xzfAmU>Teh%fz,yd 5 ܦ7•?_A)G.<!:rֺ`fM  A}y*,j;9w!J <4iZYl/溫kR£uy3 ϤԿ\kF̳;ays!q+\CjztEUc+GQ +^ЧjV Vp^%ȰBGmELt߫Vp|^M60B$cdkr>F^y ' ?yÙKc7}ovS  X!hG!ȵ6NLޕ] بB\6X0*`{XrȒ/Sa 0E};9Sm~4 SjHIB'vգ CN;mE]:=QD9N+KÅ#mWdJxMҒm VFS$P+CInӋ֓E`lC {rЛU8|C e -/LC82q{xp7/ 6d|n|\o5gc1 I]uH9.uopt@!g7Pi+lMi']w٤z}'[qzA&7=EㄚZieN;8 6 J,m UksH}ȞȜ -qg\xvPB62Ǫ'p{} SOYyJm&q멕>أF&8a@ +ч/t ,eRAQ= 28n+Г n>Wt2&yN<jtxtrʐ 8ѾM{zs'Ǖo CE0Tr#J>OT*|mm{G=d{KiuD,]2s>$,+j^R o~8{!06 Nf-_&SP'fXzqlČr:IoF\`&,"&Km"7dq]Ӻ☽p6luO$Vy6cb?,u,$ x˧ CeP L>i-.>T-=̪$?>TEFv Ps.cPǛ 5e-eL6x=}p淎E}&J ņ̲Ks8>y-gX 3d?{  *>Z6CC5!%ӱd=8 ]W£;\S#;Q!lc1 k1,&xG t] \bIi߄-R<VA`1鎅.^;'PԠ*U (hxЧx-p"ܤ% >`Hngq ]Ɓ 0ܠtk&zj=rFťg(;Gʩ|za?(! .O0;.n1٭ZaWziE^݇Eս.FJfO92Ik](mn1 Uu"P+~#-|XXmW~p0B 9OUusb`(]&g,zY9:ȟka#:(HdFTi 0ƜJm$ru݀uy; .[+D {]^bqn#}=4{=iS*|E6CAeTU-$ǨE oNW5v,L dL"8i΁^;z6:9ϳeI >/ߦ1%9 maעH3ɜ09laDڗ'(.uki9)OɄM<Pvn\S1BSlIwc 3\d2a號XVM"]\MA?3Uc=fk BIfمLa}?oy+)Q= Jf{l*ND #d>˽/=Le}H%Pvc/Nяհ @Wd`&MGH3!_h(89f4J[ W.Z[U |O<EQƕ_kOR'Tn$.y*R.+F8Pk3MͥaA-'zOz":7 /)% M(Cl}!/=XQJb5 #RwMvDASmլ'rC_GUggO>UdT/p'#qKc,QuGOT" mƙ)B!ϳGs{}aַ/!j X|K^gA)!œ?'! 51" \yQ(Ne 0AH bQUonßa]W]@҄/t\rLVD)oʴ1 xEkk-@Cx]ԭKRFy X|yu_!ߍ`/8u.c z1³{'͜< o@ԚXL!#o1J:GO!gHO3w=i|2\:V6ϛw *t_}{QN @.??2e"[*3Vz4%#"fgO<)TIj#GjVz?/#Eh$8m2HlmKE AAyAōzВ>~%΂+$رy+0ÀSO]Qk$8 t35΢*u (ޡTn&0Pr3#Z]`-STG& t͵5wsrlgyllsoΨ[̏BB çY!qepz/Rܐgji RڛB<_?i%0+^v%Z=!_n}[`nl=( ;g]VyI<[vi92C{Qk`w-`t(4:`GP_Ac3)cx@^yZ*sxJ:5vʴ]7 !9"]2i@TźxH[._T=ǜ.] in 4@FLą987_<(9,8Ը=|N \Ŗ`sq3(LQi_5NsG-ݴ@ Y@0Y͌GnS6V', Bu:_A uzͩꞓ[ FHPuo۷>&AmeZ:_.K{y&P"TN+iNP$^!Wh_jκ1fTz9{8i-x4grLRES&;JtmH6р:@O"8ufb2p+!_JCFY"oO`kŹ`iFCug#7툇m+?a7E\{: >0+ ;:KE?+0 "K_-MQxb[SIOr]qD+*v/YjErDٲ2vHͬ(ďme?rrj ?Vc &j bQAjy4>ܺqxҐ({Q<0<}``(a-]Fwf,fC76]鹺@kB=`6aF-Ƣ$Gd^OyQspqe>V͵`"3ëb\y`e%@bKo"h~Ix>:!QF\CY1pޅ2!?BHQM[#WɣSa׶.r!rhghs9ͼ).ˌ#Lmp>\!Ӧ8eD=[*[ǰ޻j2> / 6vuHVy{c*erPnOhX&bԨvn,>#\(VߠJ K(e 6Y"9b$d.<񜒲x[`g1Y#tMN<7^2%{S$(N n-ݑAmN?rVM Z7z6?i+d7jz{1}GKғY UG規*Gj;T{<@}Ֆ6[o+jzA4<%uvx%.o'ӊ RiHa`b,&jŊ[ q,}LC9ti Ma֪K>Ly`LQ(ա)y >/ 6߁ Eadо]8 4ɋ- rW* u|1sbEz,7<;"#둎4O3u&?/;P~pcy&kgP@rꂀYq#P)N@Hg J.ʩS.ؼ3f[H| +EdCӁ9_hsHaِM* C:1 l@cChqg'~tb~9 Td1Rӥv]>n~oO>uW@'W8 Kߖ|V75,|ۯƀާi?^/eg47Bf3g駡!M%7e^D]352FG<Έ. Tf$|!V ]!{Fa;DOCYȴ ]\jX>yk"PMz =U |&=ܡ9ZA@5']5"ѥذF=5Q]"ܜˑPK0LYlpJoD[Ms:93!*[S6ѯ;關.?ؘB}rTH;lT$@]ԣ26]`h3Jr̳M,zko0yݞe5{h79)]\-2q )iK,U (%\z*$TFpӴF e$HeׄpD?-R({lI5/S UeZ) pqW(.;.'At$O43UDXF/>X1+Ip5\~K3}Ǜͤf!\\ ɲ1 U{ht]a$\W|Tl~fߴSv 5u1 CE`'[G R9#~fuF._?Q'>+Ck[yoam8y\H E5YvtwWcܣ+ZIRVqd[ 0E$:qCՍ,֬(x aBuj֭n_z1*C w ǟiE+!ݜ;Ji'05 up :xI-ω4:>H6#H夀0ȥ[A1]Uj,HvAL&vje-Fcoy|(aw>b'dy+MH@;cnz3Aжʑ?Ũq7ː;5; ^ul IjF Ewϝ閞19 87'3dE[Z&WqA9n&kCQzqn` ɣX} >qOEIM?ӚzmzTv$G8([B]`}+MOT EW5~9FWQ1;]3!XyCyg7/Gq5vD%&6vg&cV{w $mNy#y l]äEִ+q7?@=ktaNH V^ VC2s7k5 JΦcvp OfS#,6ID,'CE7˷l|y>ϽDhTǣu<4T'W381Q s{Ё2<|EFp$&p ZfT5Wr#R\=a{UEwB73BŅya}e&]} *N,>(f:˰W(.6&hB{aC{a|&NʹӼ,/ԛf']669o[4$NW/;JE,xI?csz zPEw20Z.t>wSgoBʁkh| H3,ayFhar&TV+6m\$]{0]k)#tju_ڜ(mLCߖ}%9)zFтC;a{:!S.JA~H=T-="nw!Ciitf[%x+19(6[JB & EF?nIa!%WitT*I';"ǵzehȊnHE1([]WdO VdIWՋV2} ʹl]x HzG S uF6>Ɖ$鑃^c@ms|(3 @c.L"uag2} wSPl( -N͏7;'L+pvʓ.#`\Łd\>cw,Χ/J[k uvD Zz}`D8gBJÎm}t퐆҃A'%au7jV&jXhCҀkmL f] v;K?~۟7k= T(#e3V^I` +)$l.RsE F\᧨Zzk?)Y۴ݔ7{m[[I+Enx!iV%rS`Q<|QAa7-'UlQ9b]<E}<0(D GuSx`T;s%;zè̘ADtD߷QO7w#+ A3 )I | `j-+kωMވl%,2R$K+ͷR53Q ֜v93?2MGRƄ'ӣUœZ0GXba: ;O1 G4 8*y}э)y3 >^=3Dƛn-MVPzrK[9$hXԧ4iiΓe5ԝ@U5bNDoýVҺVHi#ՒhuwFq^l Ô$"ɢ%g c:cE9] P0w|۩)K'>aH7ӣrE'> |Jxc#%{_7gt Jɴlq!T PdoT,?VP]_O0.~,}&HZ19sqG=}/u;ЌfVDmڕ=í[,Zyy /rZ2.Ikb%f4ӏlSzl~^=V2eSH8k&p8RW[V?t2; f.rvH'+SҶ6hkT0h"]2-knI8Ұ!P8Th'3rcCUY8ʈ?4~E]eaIL@m(G**iY tXp - GrNUv'/wW>0WnkUmtkۛK㫰 pc=M 8Md0r\ :ܗNrF8 up/T#uVgj!W=qb.jc7jଢBj$#s%i-4\ 3c5$(Nj_$ >"fw>5oy=xUmvצt[o=rY:V0kr2 Śg8_קZ6|[9x]*$cAߚ%^@=VU0 +t^*AD]7?8'1 !7ʢ iÄ f!5}JܑIwļ$'[U$oR 4ڮ/g\8M[w#S2__Y X@R R1fZRoqeAbԋARaR_߻|{ PJzy!> bWщCRK#PaЗYm(Lܾn)PDƇe>h&D"䦹on]~*xIw;q̋>΄TEc/3z#IzwB CK 890Y_e醒]&>.꾌m_6\ͫZ{[Bk /cko`ǏZIKٰb^"{7dwv1t_Ս'[_F<-䝍%,kQ:ds'_j$M`8PSƒ./S"T*K=J; }i)VOe'>TͬCƮPy;ˑ޷ZLU['G%fo?M9$/`o$֑s+amQ=Y*֭&= L,l%Ӛʙ[VLz'?3+j*B1JG}ZM CKzF q5+Re1 y 8R>7]vB 9$a#@baR)yU˴q\˰x@ȓ Ww|L<6; H0g%9ZLH sbj,Ǚb\Mt!]eΆm&p[O\' ĿvJnjUQjd_(+*1DP~ $=bq1N%ic%:rXpHoW{i[ @nW*ѝQ蚁`tS[ۅ}QHc`Nقh'bkB"k.qd5T[xGY#":HyYs8;qMi)&7)k4ٽgD4ulQd/=[:?}+'AkR&$~؝ob\*Xh|pHuD96wNCBU*xDI\E,x^0W2l? J·.L mGIh-U[c"H=DS1R`y:`W㠆GO RQ]c=cX8?Ս >検 ~Zaя6yͼ>>{E`+:va994J//|--Ҏz9id 㖿$V9HB_C#dd/ǻ_$$j{`)ιE`V*LV]C_Ixa2֐;{bKǣ^Do{AHY]Z8md| Z?P^N.A LhaKg&6e>Lܺn/O.b 3L,媸Zz`悐/sSfȮ-ZpDlaZ*9)9;ŕ=ۛ6IPG nmȫxC!15b*KbυƷ H3KaEɦ!Zآ966(pD*#Is 2?K3t j-^Z fiϘ 7\uZ4VY4-~]_T ڏ~rn7?ZE'[uP OW$5h1>]U,a3l~ȕCW6XwmQK7O5ΚY'4sb'<:J@dVf*qYaFW݊\Y,E`Rppa2[qGgA);" G`'' pSK#ܛ5_1%/2rd|J t;e/nTy+SgA`ٺd=6LhS2X9{ XQ !wjTz'c$Djy{n75Ng:).:K?&(31yuj1$~kW7Bt|:}c!BZQ}bmmB4p")^/ЖB1>}{81i\v!G/Up0$=#Veq$SYp]˰>Nߢ2Fft b.nю=Sz2[s^u0 zX+j^#n$4IQ- 9֢ $ ~궧}`q¹ #a[-cweEK qKȬ'qiMF(2y-_7ؕ҄"@gJժ~\fJ2.iebAI!emOf2|I~PbhReg<_ĬJ͡{S*XsK1FJ!sצ8tڣ}G@ao k:n6U(!Į(|I P ~qwl ~+|wDΟMĹ`E‚`[NOr) l?rlrѳiCfҌM^ 2߄"{NP36ܪZӜo?{# kXm=4Jh"-~ `8i?+!LZΥT_mmðmq&V\᫬VEa*OxL: g3 YlBdjp Qlڈ1B']wiVn')44+#JQX>R|^T S$"E Bv[/ڳvbdYu hYwzҽ 'L$/*op n½uf0eedG*2jMxh#H@::/W9-gi֚r ;ʏ'@#vmWEjal$87}%^%nP s>;Tz'/*E'v-)k5D 9oRPKQ` [T=TϋUMRSNkP23O5/zaE2ҥ/ӯk^Bo5'0T2/*`Vn^)Jl=? sD/EJ:L!&l]D(zsb0=?o/M>xXOP, m49o|{i\ezUʕ{fjG(3#ǻXHcUH)ɌdR2"6OnIdnA9N4Fut;4Uǘ{ Uh_ Lc]H&U*(pmn||MwG&=bp/#lLފ!Dg"gL5Ny:>jwj-{@Nøp\ &oɔ[Ir(at%o΋_>:l|C^;}"-ܻW䠰 !r(s,[|~H9L(d;Mqte*MΠóônZi`{:Nrx)jcf!\E SaZ Zop̽)>њs錬?9X]q__WqŴn9YE  9# ajJ#-7NsEbv9;tThR"^+5H E޷ǻiu wҾȅpe\/5nƀSgQPJ#ƴE< U#_\*]^CvE6 $X7uX ק EI}=Kѕ5LĘniU!VgV=N#c(NU8YwG(@ ꘠=fO zuvU:B B fG^0'XgXoz㰗MZptEx@cXWmqGxQ&ۿX9%m 7NW]8p0~l}x Ja$boM-|/#u~{yŸ^@(ԗ7kEx0Je&[2Nq[7GԂ o2zhs*&7sTG(:Ry>z[O99W\s"ήg.Tq7>_k@2(!3=CĞ'u46Q)$A7,MoWq:SzhORCb신 ~oe}lq7QCP!VaS:.PrɓoHo ďML.܃?K$!AͅL{^,i-Es2F uu= Iz"ٱeT(GQw)" w 1dfA]9H&= ]k'z)CPF;+oI\A!&ǿzKM /v$3E:` @H_Z Jc'):{vH|(|slJ+8+*xz`Өq]>f=jJ#5ofe2S"B1kt=7ɲn^mjYbpIaGͭ/"5CjYiRx_u}}c#[ߟ.+$iע;9QN?@RkovogD?]kV"U ɑSL%[e{ p9[+n[b`/ffD9ڃH88 cb}+oF$5H*a|FD}Ugp[7> t;B Sӽ:T,ћYӌ_O$?#6:ccpjc8DMk4q6xDB_oǠy+.fhK历\]F4d6Ugx},82*"O4"RE#1 ]W%8 :`Vl'x&9I΄~aO1j,U"A`L`&!̔i(5 J=>ޛ`х@/Ѷg [gwHֺ|O0/HjLN~CڭKLA@<7ع"3CEJom2CZ$۫vZ0 jH-{M'ElO}%8AQðX vHMir77(ѦFjt5iK5`5B_^Ή(uv7 A,g4dJA%BGb;cʼǘҖ{u8i@qWW^`L5@.fg^mĠqAgKmFAzkg4&Ie# ipqnGDoڡ^1dĈu ,{Ns %Arԧ_ ]z6>?ìAK( 4_cdRS*1<7}_UVqmGZ8nH^DySo7.L%[a~p( -*yP)`T|ҫ vb8}36dIЕ743ƗWu3 (T76g! (BMx,q6X$( e.IVa؝B>ԑ%P-.$x>xnXūUj)5} %=J96ԍsܞېOԗ+ɞ`Z@XmEQC@҂XnXi^>`v2Or~dlx (, [.㐗>f]خNt@`\X:ɺYAQ?}%^JjZgZEA9ƹKìƆ&?ǿAv`ʈ6R': n-!Hk ^*E­Ņ|`Fvv(€*I5AX {Dd\W?U-3[:|zS3U&BqHa['tr;Y>WFm@;5 C!mOK2]<+{cN?1)hqYD@?8x*]0R3̧+cMz5~ ɤϚ6ցV>&ЯR_mY~_5zظXNT>zcxa+U瘹/xqSYXUr4mCVDۅ DdBS\jT/mW@:n*9xUE_ziPpZlW,ZDe{ގ; %6@Z46L%ȫwI"NB9e3LݩVzw2 gҤӅs`VI#d&^3N+$Gʯkuľny[#LAo4ld~[kj?z1z뮏$9)!.z1J"mbZ{P[Կ تhѹr"PC ^]P~$.$3 I*)/ĸ}ɸ%񄋱y7+pmFn…؀7ɐz,Pyf7&YWd!)le!#cQ:ΰ`WώnOe_N_y+c])JJ/Й:KU.{ %楞&?lU\i ZhOC%b 9onO_.9t)hGMە+ũ[\'}3^3i®SO6}D̵Āo ErTs@ǡV'g M+EH8aw$G T-6Y˥Cܕv0x?@4dA*`&Fa>cxT 8z{ hiZ)Xlx]g2zz1d[JKyIg1Qȥ| 2)jx *uGOb!Owv bܖ0s)]ҷ fwJފ/$ XW[u) } B6{ ؃u(tT5md ڔ` i[āܥ2&ePg)UDu1,gDa~Do,͖Xbخ ވW6A:2hYЦ.*J|@o$ʽi&/~'^1{ T ڝ6xxAZr珺qש˳FCﴠ*g bsƢzI%fT߶"%e wO~SrGQQ˯qC "ɖxQyOS^l *>RVJ/?yIH\pIΛ:dK59뻞9Z=ǁBIqz7?-@qD &b"ѝCm# W!qf MWs-w#<W=V`Ӿߵ1h+Qd0gކ -lo5|ܲZ\Ku^pu? μ0UH1UL`DkD{8aJkt^F6&|Y!)xQY(ǦCI(vt>ZJ]1C"bU۬/יdp Vkp1ǵ#&jQz-S=si" ;-@8cxrVg/;#ܹ:t,'(hkn 2ڞ@QzrUİCLgYZ >5>t 9G' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ihl]Άxʆ5.f-9 rq@Ř*-W#!!˾jeϫ9%۔- ; tzRA_#ל#cjS:38U]ɏ%ſ"e)MFls(3[LõP?q9@W5h醸k׵gG ?YwFM͐S´X, w##~ -_NP2qT` ¶ZdL}F,e^eC_-5;M\Ndad0>B'SLxBY'g,[ w}&1ls+5T'#Alb]q*uKTߴUjo`}69~*obI?@鞳vfx%uKS W06sy_?`\orCjR7T pP W?/d?Sq9 2mS>Z $CwIKn ָ;s4p+"Af En|lgqq$Ŧ+7c¼^2ToCm`tZ0 y$sbÿ5% gՇm9i>QFLUjh u pß04gcF0EEgI`ZaQ nI{%\8Ld+0\SmOK}s.e\{r[ExwxP?46fr[bRhc;R;Bzdĸxw5$L'_]|`>8N%i Ѧtu+6< N,Nr~%R"E0-YhT6N+ z-Ⱥh$R( `IugAۼ@ YR+zM>e0f};uF+G;qɇ77A15IxA2ޔ. K#9@xv6NkqaeQB^JgC]Yu.U{ϜYcÊk!V';w(|NnH`[33DA!:%p*6R,<հvxrwe'1a̦Ds4+}{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>WĽok QJMyI@:̒ာx_ ؃zQ|}? Paxtyeč{dlrY˭y*7x:$Vu/ ʑI*IRG=X*"J )Ry W+ahU)ڷU!a y2rLB֢ ޝI.fXioҤ>Bb`I!5-DqG˜錄h{W檻/6A7ˑS'1] P3=~`69S {DZM65,?3Ai*p^³>^OX3vx:Y6,TΊc iV4k7tvo2W?%1j꠺ڻviV8 T-܎_у1j1ķ(C od n!/YK!3NM=Mْ}zBJ 7Rp J v\-Sh{tYd;Ɇ ~ wخtBtJGOQ>"|*ҵe6A.P]@A, 3dnr;.2FKZʲz11!hS֖vi, ]TڑߐuN5h\;TLUAP.B9G3 |%V$rۻu1la%VF|D'#ΌE<-$I}.wSwXANsf&kjeG9w{n-1aJz+TܶwU VBǓʿ@]Ϗfst]).vGk론A*124n@Ŧ#73Т<6x]ƺ6,ED 9U@VSWN9¬7ڧwIu9տds`V W)tϕ 6/6P`Ո ZZϼ90W0BW#:(̃i!|l,uYPkbnv2!W c 75xxa8 f3U -@W4oo\Cv$K&GyL/&*=$9}e421ؐk:qv؜[n7탓eoM N]X6bN֝J~rc|_7o!0X "[{XK r>/ZteB3[)/Avy>rh# q 7)\BѣxR @WMH$`t29!D>H.oĖ9ӡVe 'Yx AYuDOl 4|~ә`WJh3@d,1(Su#U J1QbMDgoMM5MbNpkc^˜ؠgbhltkyvh#SĀH#.HbzJ SXS:'EsP/tqco W%NL"i W㴗tyyIS:cRB"[ wЇ@xNĖw,*xP 3+F?H  |L횛Qh1d0."K4<9{eζ[^7؞MbSw!@ 描;xl;~ l}" |83mH(6ï& 蠳=3SW)CG/Xǿ ZtH>K Q1$$mGkbMܝq`aDR7BNb:ơI!yrU 8=Re=pTfŒRW2K,[!з.Z㡏 mڭC{@h4#/Լ"&ȁE\M /O<0h2m/Cna`B 9^l5;Bj- ô|cǼMxJPCٛ@OF_}b{)_shFz갻HB]k䯧[+YAp<oR; tjLUȋa7??NYQmVp^].{ʤ$q Kw\dUE2Y;# 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.thyO 9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id518~*s[llZ9*x+qwh}Pn58k= kN!ST3 xԢ@Py9_C@ OK\[nͭd0l57>"hSde% \M_g$+XP㛬Uu^ wO/w$iMC y^4ҫkBk7@iX#q,_6xt{i!}OC~f²~ZV(e9 woZ:UH{XH+ʟ2$o 2ll)pon&qb@Rav+V 0]\mn̠-dc, , |U:_Q%q*vFT)A?Rʫo ғW&TW&+:=+;Yh|0i۰sAI(N_&4II/krr](_)tIHR,s!R]2B"`%cKYʫh2מYwsɁǔ;eW< vߥF)Oz&7GYi wJ3{t>Q[ a5v_׍O\EG ]k\9_YvCq-8 ̣sA@f3edՈBw95?&ӹؙTT)-m>Ƒnŷ62當lrX6-HMR2_1H{N=f?c$rt1Ͱ񒔴[%d#}a@`y9"bSƙۇ=ڪuG[. i58Hw5َ3W;>w[ =3spEhP7z;l+d~!,x#nC_C:BSHU sXY ]>Cv‚6te}$]0E?[(:&Uչa+oETXDlh2W}Y{'cSSgNY~dgd&@14깚[Mi0'p蠛8#iiFw>+=z'z&] 2`*:3X33aLg#SG(NJ~{]d |aV[ 20^'3R6- >Svˀf&` n[t܇Hb؟{^څ޷9]έ`|NT^Ṃ O׸B|v`&3S8@:gin6D8ʗ$lI_i(Y.KɄ,Pد7R|nZ+^N-?A}tjX}.1ZAXűH@&cr74،kZ&JL/]-se~BpnT LG0Rr~@O\#"tjcib@8kMNUhE 'Qg/Fw5/:ۗQ6܌QH0_alY|qo!+v ťef_@9v=7׭+^(RL&NqqF OSyTo.G1Kt,C);Pß(rJcçVe ko<#IՓZ:PEhFߐ5H&6%M)xrap A;/ղ[:$iK_W! 'sLs wV_Ȕ- 1CiM)YxhzpTHWYKN\CnN,7CzJxO2`'v> (/:_u>-GPܡ+ 0I-h(ښntB#v)?f;U?d|a߂GG;6$ZJ0L_)w}`ԥl#1墽8~6jA; 3B2Մm3Ѽ̪J7rxSn,1"O8ˆoMV]p{0 ȡLG4GvD~TzP HsR]t^# p1){uV|C!7v^”ju&uKH0dB\1o :vϒV#:.h6s?Sc0yTFZ$doë[Qan[_9u hnþģh5qGIcE{ٺ ~'sإ\3YC%GQIlI]643i n*2VbA)tףLOZd+ _8E"h"rӫОvԡjׇ۾0"I^fbs,;=/}@̚6LN{Ĩ|X8;yD%6п dmO—}$`_z$l%‰OS)٬1?^־Q{:5L~6fEH{uq|bR!A@+}3*8LWm'ꆀ !(Tdt3bQgvio5eM(Bق]Y(P&4؁=_^@P d 84ƾ !ebceՁw׬J}zp *Q&;5$y` jkj0G|F|B~ӑX#$0#QdU@-EZqӺ76p礋S{ ĽQykn/R(+m\bpo8#佹 26ZAP67Qx_V5Es_=byu.P{:rf{~=t=t])X KpZ~ S&Nqt>N0Xl+껬6@Z!m.߷c6R#CGGwjˠ,:lM"|7 ]'dJrڠzYiiW/JזU+G 6 剣ֽ^ݽxjt;k0PlN(S~ZxGxMY܍_ +NU^k#s aQOmjOSҕ勴|Y*8-X:A&{Pp{CvpmLaLWEvʭWi^o!AEP!2Κ;_žC\o1}` b 't?þ uP-~DpP9 )!Vf.A- 闲ɵ,ʦIhdY.XNk)MH(J]D<{E愑;19;hVg %w,ZXnjpsE4mg׵^b1ل쇢Ksv4hk_#uZA0bd$ 2U},2d}SA |=f<x  S; pY 8xKD &"4a-Lz#"9*,[n>!E[<Ժ(R@Q%S=_}rs`!ż nإjVj]HnoYEŭWiCu9l]_&[uCfJ* ZxldfE1~asab`u5Ck7 _O`@_*m\QXkIW:EA,{X{'!G^q1h;<:ǽ˵Zﷅ; `~ dr Ѳ#W0H Z5PG-CaP=$o;9I㑜/G*iQyxdyΝ"s5uR`Muu_'h@EҺxsbzx5P+r9T ̊ m^u%~g?Pm8-t'qyfޣ8?-9ir2*8@-b.Hfm>z,ѫ=](s<αAۍ *XGHcjF$9"{qA#T*i s_pݡQ)9_*frW\ˉB?%O(zy^@WQI/$֣RK=!(+uMHU^ 2Q7"6WˍCߪ1$Bhh&#Lh94wIǝ6?OMGi!⎕ku͢Ztު.<~HS>{`[?~fbLf٩X=5;)Z(L"|RU5]&3#~T dÀ My*3ֈ8*AgXDN/6Eؙ2?[9y㉄ HrF5Ďɂ}3ZOw4}u~Y%jFuZ9v̕R\X߶"VyZ ԣ7:9WE$L}\tFp7yX5GI]@oi^@peGXe~& Y\Rp x e[gq:RٯFN׻?d,7baP#,\kFC97)b$A=k't'9!eTVh31mtY%+,c؃ԧ98:K9NDx%|iZeix~hRі[T/u2Fxjlz- 4Y8uWe0݇9:}^\>4Cn,=:m3.mَ[>qer7Ϸyxe!CUH \B&tqyhK ۍϚ 2An'X~t q={BT3]ŹrKa'*Ӂ'JB:ĩr1\&g G E|T+Aws5Dv. EoS/n OUٞNQ27^E{_s׍FKr3X-?U]'k9I*{@k1؛knwc'O%)d*IHR+HmK 37`W.-&l #3Y}5Q4RA 1n}ˆnUs(T9*:]G_ ={{c]g_ mؒx)3<ғMLg_TnҚY: wC{ {$thz{0pfw3) W>8@7 O =)igK-y# tQYA6o3[V:FTLIК"- e_ F۞UsleLќ  [JnXHU`{O:q[Q;L])rcWGd3#hjVGyq=(; 05+65x$i,+nY'Jjq )YUHd;vMM7"՝ ?=K K9fM0k,m7NvPVSaKv* IZͼCY}@xGj_[5*~s M6l0ugB6y:Km’Q<:0\O;eր`0؝L- ]agrά+*F-s*3a]*Y%b&# 37@DT J <s+y9!jڧAv0@?br}t$rW^񞐓DiR&clP [Jyio2ځM%R`7+ݼ5D!e݄tgE֩Ƭ=S`ʁusb`^ UΤ~>ݣm`RWÓ\ђ Yp6UhTnmJz|T;!(F^8{{Dn& d*1";Y<=z]R늱s3t=gۭoKvnenMd540}ёk)ʹ)-PF2%nJI eZmZ^m7[YR_};qktqW;s]qx-=G,gt9z{ۻIMP1۶^;߭jS 0b4z??M&5mźG Q.)YܬM,]VeKR's E˾+0^O-[P&Q'jV[T|}e?U,{#3l>= JޒۄHme4VK%r)^+To)ϨyL/&kx34ev![eV]HEU.HsoI¸Z(YP2Z@v\g Bmʗf4<0열Iy’+7vUmU3L>!HkSB}IdTU؏i30 #m7Ul/zB*.Wr YB)ޟ4irDcvU"4祀-QKmAp hdyH;' G+1DD}gVG'2dm^ chM·K>qpn.!5 CԀnna 9ˑ٣>I(qECE(1zi$F-u ,y7;'K;'?ҕOYgN?CeW$vIa.b(XGxӽ|\ְO>y'6χ {v@ǘSz3Zhiq.#;8x z]>dũIvTqViÛy9/UV'27ili4/PeFܶ끔ȀVjWm&I5:&]=dFwd[2kT3զBhBbjeϯ(F+ĆCZYi5b21h7ł^,1+g*jKęH&Ty>hK7\vGQagoaj K3滓&/T3\&Y*,27S2*l'A5񸱉 &ly}E8 T\mZ̊ag`C!fU z?.5HC`8m)d}p=06 D)Xmʖ3D'3Ӧk>}/t)]Fڡ.n}L^. cf+&@@ӥ1xʤ)o$V_]B8AY4uE+Rq>/H"RyÀz׺S3(@DYztYf(JHn!$ޫx1Ę!4%Zsa裧''с><8O-He`ȱt!`ZCQ!L9ڭ淮J=8Ϲ]FZ%4uގa ״=~Z"B0S#<_̆{A]^UY8nVCƊE !bGۧ?A;jm *oH\(A \Ffފs:w]⯙EռPG t1R>@k7NΦCRaL . x8Ǽ~KC(V.JwSpk}~]V}Ye(XE^尬 e, :GS0` g,bVώۂۘ"==G28wsЩ)i)"[eT 2]YIැ]h1zbUU~,q]+u}7J!,E|嘿ZCR$|4h,W%+4LeSx,򋑖eVsdȊ D{#kxo2:_0yavOWa#Ö˥Oj&Z{BtJx)ㆰg,[e h\}/,qP$6 ]1I0hӨwM;qRwZ r'prt V+̸̑5 5'}1*99J$<9ҡ4bN{ 6] &NV c4 9U@<)Mip_o_xc&2"(6G3oNaa_ުFϚOc\'u , (j9\EZkk0a, ?~1Q? s ںO dxze~%2N[%MaSN?[[T"o wɎ>2 NǥoY9F$㥌A>Jfu| :UӈMGY ~a8Z`( _{cF`d( qd/:HG9FP{ Ɨ5lg+F;ޫ` (gxW_ZhBr8whxw]U2(r'վ|cP#ھ40ZTϼ}^х%knCB n_vV>M4 |=@o]^f#We׺*bƖasM|{Xqށ8)+9mZx|\@G܏j1Jf>p&|+16m ldUgmXfo rLe%MN|X.ԯАA:Z(GD*V;%6q1!84%7LpQ#sgUPLzB#@?N&=ߜ`p.~)~VzQYH h].H\[@RHW+HRh_C Y2A.09 O.*ksʥ/a>۰5?Py%dF;RFTZIIuH W,qS$އ ,_FKyj-,HZmVj,=Iz-q-KYJq̞<1DI8[d6gd͌<$pӮXr Zr m:pEKwuzA^b/P=t: XzǤH@=:.B}a%r!";87%hrζPLw|/P.EfE&h 5-{1B$8)ތ I1mj+"uBcԧ8«Ŕ hw:pKq b7kԍh#/VSGgb)u 63). {b=Sԩ~/ك_Y[Ѽ'Q<;qH5JPxW_@̡ԜMf}tmMp<Ǚ8EVj=Jzed9 ߔ,~*.eh9l-Sdtm)Dmg]=u:3g0 RT*Ne$r2ﬕD]fI;F@z,2Љ:ƃ5M/*[tJL vpjD}b Az (*ݖ5 u3IXvS;+QKA#gK?uJɔkt$7h)=o TA[f7nꌄ:_|@`1-.Vڤ1TgaNq+tTPYrmAɩ_gFZbsk #3lh?Gh᭕ѧ Q|z!i8%[gd0Ow-Y7Nf`-IxNaURjc yّݘW &= MyU?`YXq6Q}7~2coKIL{n=ӑjr1!;+KݑlSC˓^Px-$?n6a?FEǔ'm_2%0#DhEe^#*yڭm16b2o'"#ߝ5OַxJv.!{|lM4Xwks @* %6>d' /F tWkŁBh` \hd(7FjdžT>RI&<](ߖ9չgO (8uܚ,vz$v9)|It>^u.E[V\E^ bbabZ|xw8.b!L%>w/S(_tI8ݷR(#X tXCXy{2FQyb# 7/*Ȱ l\#@ygX &;С1fY^T>jnT. !%-YIh9=?gˡa]h2Nn|>I$j\+r gK8UA)[׺CsMU=ƈ`I>h/v(_KBj]k8MFK':'A(s,[{t %iJ!i\]aZu'*)L3މe!6P%{x)aFzY?7BOU)mc|ݤ,A ̵հ{}ZKW4Z-YBO\Ŝ+ <8 ?䆪AQqV88K$rcݲ[/YM}}?ȧsr(lTEC9O!U$*Cm,($G4Dv!)66l:/7%Lۭ+,+"@$S2-kF ߗW)$cH%2Kk+2M 뤚QIḾCi6U"p66RІ.MwAעZ^9ct.5@#]V bX7 ϦN^@OMp6'Zz^dg:m [WAi\9cJ R5TXs:_PA})xV۳-L?ýӢD:ћN!x)}JTKY瑌\̋?ډeR C/apǯзV0?&û_By^>խ}O5U06qSH H=K;z@3{&2"xu:ZOS*oOΫWĘYx@j?KDI.wv,Xc_9HbyV0)Ky3"^9 }3'=H'Q`ɘ/}WXR :ޠ870{l=T-)8t(Nq[:2lЕQ a,hQX h#υOg g߫M@* ԑW.Lh-4]I_1sF_ QΚA7x :{[AqqKpGZ(ipCliI7"PV4P1EK>uE {C3O󺿷IJF+(bB41u *Mf3ÒY'aC=ѻW(>H0TaCZ!3]jz$z*E^&Rګy5/ơ1dJ3!0I~#ДɎΜ(PpMh@"g%\A/*+V8H;˖AbuF~5o*)%ꂑZ䞻A(֙p5۠VmF~ߒb30RZ`;Tu:9>`ǥ(`Y)_m>05g}ȿ7i#Ro9#cw%B}>A{D%`M2ť-moNЭ sޚJJʈ UEڔS1vvH=RR_Lp.0?J4RdXr:箆`susq>=./WsS^'~cՕrKdAܮ {=BjB`#+a3giU0%R RȔ!?zSN)X!9R߱lO"C*[gH rcI-3ϧ7pӚLp8U{-Wl ' ƘJmS-ۿG  9h5 1~IP'j+7TB۔2=_ 96}4@N1Z*Sx%6 f9 u| OܘI4!b.T_o|DUk&$hE*=tjY>Od]dRI38 <\aC?1"ɪ T(P;).]9fؔKM0Q3}@6^e*HDcm6]AO -㠼^7_ъ*/a/,B\eG; ;CY"4LG6ݛEE=n2ECYR_m᫻zN ɏw!kre0Rն [&_$\v%d Rb/\ތ$eXOD5 1ud~]åXm'R5b 5 Vyc N aqr ]U>+gu o/,4rN:ioW kacz1a69a3p0{z:Aнȱڊ0zVN \1j(3u^ŮaQ. CB&.Ts]ב`z;5-,X0+5ipE -9WdxJg6Bِ{Vha*ʼmwa{3? zKذ4ÅV0Ed%AfJn+˲abVJwK:}un}" goi۳! q 5W[ 'B׭!ͼdNugZrC=%V`Jgm ˰:+{(m$ VEϚ8v&$Tt"4q,IVq^}NcxW22ҙ1rWT K㴟V/L qhHyh &"'TrΨ+^AXm~GFt;@+ m=ٿiTu/eΫPBkE|(l>pA3(qO`:L͜0@OrJ5Sg.=U42F@ZOɠ/-$, ``7"ֿOt8cI)kCe3).hH@ESz+UD_Z^-nqpRO5dn'}]I&#dkWɧ"agsA)[ŦL21wq@  wbV~e0m`jkr" qp -ߕ|O&ວ4EƬ PBAv4v|/QY>=̡fCSjK'!*e#l8uAѸ HP$Pt>fo(NLFcd|{nޮf<:ZaWGjTi(/:4~tJwyU>gIHejuQ[.0xQ@)*I 7Vrul2619PLd.ˎ\R@ԧŗixah"qW[}5qû=!sr y49m*9Wd}HCŌRE<&1Cu|V*]3U;NSsgzԭt0jYL [V{u1\t ~"3<#{l* V>0w9~Mj#aq0;o Ӻ+caOy$KۼQGm9~k7ڽJ~K8%BdxWEc齈1A7fܱˎ@bDJ:epɧ>v5e> $Uub5C2 X5 z>(pw|C1.C%C6{kC_'baOq ީi"a~G+j%OUv#̚?67bhmy*82 :Ni2&,%[mW6Ei)-EVP(.\^ҋ]u48ηM9)3O[yO`} !㸞[M3Jv8zެ-y| R"(ٴpGT04=Ҹe C:<>}@"/bX5f1w$&Q (I"+zOPe ]K$ڳl߳ǂ|sS Y'G]]Òtzr:߽f+ .큘=11*)jB~hXHnkBF|,Av7wn +v(p&ڂI=f;-W.T:htĐ(<~*Y+o\2|c_]! c 6iȐ6, C峌O:c=9j?bf OW3kE va5])-"rNz^PЃo7_吆LV&ndtX54l) {ei'Tu'kG3RG36fOA<a$J흈ku_jBH= /g&kԭ@/-/"MGdYF]׸b!16n~G(|[d\f ՄR̅)C_&XPj5j=!S$?*I0FAd '՚Vdj(B~̋o)͜ZE{bg[GJafj׍^~TmS2{w6@Vzـy'>-6&E'OУ16J}/;ge' 1,@{g~V4k_:r7n)G蛛>kQ\rA8眭AJ­ҍ$//K-y 4x1hdLh`?k,K,vw+V'ōH,_2KOTR^5v? tNٽ2Yz=M.Ea %x,qS2V'TQdS~`5EXi׫> L߄gih@o2*sg.@ M,2@S;^I"L7f2ق}WX :{sJʔ3֒'TΡN+bT&(90w^ aRR_#suJž8cH'CE.faT,~pW."cp˹oGIϷ!`~"$AJULVFDt- :a.auo*I;3XA}:@8~<~`OpGbTY_Y 56]1;Fވx㠈pD-<hGZh2=%_Ln.b}$Wh,(eM[ ցFgU6wLiT[:`5ΠnҫCTQ<}E@Yfp ^̫*X1tXdl`*S߈*ğ^A=vW/w1G JDe6%Y {LUK}gaJvv!\Z$ "@R~J[,RO1"F8BGfVܲT-/W7q֑#-#,U )U%y?f|PGOPwLTvLB F)ZM ;q26} TtIXH%?/0MzAĞx U6b% @"z3yRy ;);TimC>& w-A(C7xzyȽ _n;lvj|a4ŋO#G;QAEi8k3kEoͬ vΩ=y$ v|^O~Ӓԩ+yW~ch]JA@$G2ߒKIBQʋW_c}ِч9#+\ .zfw2q["(Бsڈ;AI14)uNhtt@sy?v^` ^ \]_Sij ]#H1Rņ@ ˜}p}N~ǞhFuR$&0 (o*0$yS2u-&XYU_5:]4 3yH,q;Y5ॴVA fL*"(2Mj<8SEVP3cRBSgrJЀϔyv1zZ"e.jNᓮPBL9<;I3FZꐇ4Ĥgsf4bxϔ4)#j>DŽ'a, Ja$uo>AM7 % z2؇T*CqZv`Gtʷ2ff V ĦmJLJVr>'i0k6:L4ݩ6a&-HC9OB|x:P[8ȪCRUi8D[ \ԄӐN sxK((?/=@;WeUE_^|V@*"殶P(o~7|Ж?.t\`A*׍̃EM^*v쏟3&KBqnҐ xڦ7-Y_z耈HX> ֆ%G(W"頤~Dxn*HpV &Xq.DEU|ЁN:~%y(PE=/4,IS*0 T[!942]$+.84=:x dy*,FwWNB=[Vc2 N5W*LL0KCY7p WM"L5C(·CaP7Wg|Ij(Ju_.H[l:foS/*T&OoT4&-Sp"F3xWf L7qJ=d䗼a@sC:b5M--IǾ2Ա'؃ֶTpEPrj&r!S[:Laĉ2Bgpé:&5@;}\R nHNd) |Z% םTq}ejt 6~FCvAUčx63 /#WsG+oES%Wܩ~EsOLzFkiKKu ŸAHrpF"IyRrxz _7Wm#/jt $<9) tYsG-o@5/QڰdU- 鍫Xc<"4YD7eR⭧^cQnWo7E7dDnh3]<6ݒ[&v9/ib8ki=ÚYb`@~x" cr^NR&s0\jAL6)6^QqXA5%Q2iN\9xeܔ#;̽Φb7)~Q`h\H#mU` |ՅFnx9+8Ym{2@L:Jڜ-'g882jV0;0w\v"aX-#/5ؘf^;8wߝf; $,N[V,T|-3o'&=ZsZ8ɯ.rW+sR b,Ǒ _+CϑXUg6.&nj:sQQl]p:tpːRx%saJ\bev:Q3Af>:񵼣 T@9~5 357%ی/FrP!DĨ&uקe>5hD]bgǀї'ӍM`I׃ȴe*e6r.SYt T1mE:Љke3j|z<LzSS LJ6!{Enz"'#NR֗X-s]wBجfF4Nn孖\,BCޤg&-+QL"BIP-a$nӻZ]^'.3D1jtL_ޅOrzTBuN5{7$ Ua*)ڽ 4.eONH߂LR[1{,O*"TB!e [wdG88_ҟb iwRʺ&(9  4h8(=hnG4T]=Z4 )ݝrܓB- ̍]&=x)C}i7%yӟ;.OD4Zo5f.qj}~vخ1fnv[[8UKՙ`,.:ɥzrkjMU=r/@ %k˘xɢ@c:i^fD e x! aj,2t1  jҌС+ xP~C-Ml Twr/£{+_N} ֮Ӫ.{ VNƉ#jpp =%j(K:CwH')LM ,_ d6S!QAu\qVo6,Cj@!U9Ƹ(uK&M|>vjB4KFe<@yD9!ÂK)"gYZH)z6C$'ll~M93s~i}OO»KgɆ*vTtbch8fM3k;z>E٢M-M@TqBxE~7Y]TӏcH?R`6t޷d7|ۡ(ZU^2DzN`+!4 '@)vqRL3Md'&9Ɖl'΋$Q݀sc:i}Οm[뉳3?6É[; {51\(T"(Lݕy6e V%g>3ep@(^|AQmXB?`6.>ʰ-c+r6%t6ho1ҽQX;-Pnj?kNnO@$ jYWٶw|]RfCpjv iSl2H0Da!D&G{L[KړQfLq=*$s/ll 56Mf(Dw*^<0Fyu1I#KjTUxR~RM-=zgd&zV WZY|&Ywtd0)π 4[k:clKka,:漢K}"CS_gd=h!W?] }vƺlx@P٩rx4|7!m/qWê)bRu0IN+:\VhE:2wIvc߽o`ob35xfX~2=V!&EL2J<; ]BZ8h:9"Ka̳Sڧ֎$5G0:qi xK,Og@WbJ>?$y1@ 8;,nX]iIpG<7:XUFu%Nqb@0e`<ża_a[[@>Q:WF{PߪEKj^ a/묍7dQD%)y+J:92WޞUJ?B4΅ݡvg'+pNɜ=mא W]W-.`=Tּ7q=$ADJI1Kd7OUQ}$ 9gYZ%Hat#9!z_xMb4/E 2~Q um=ʰ M^wD7S tqc-w8NA<,e41b~bf5w B@ =Od;Z ><7cfw2ṷ5{rF)5N >OS(lzyͷdGiš5.qK|JJwu8Īkb"gG2 )KKjd}^Y^YnHVvp,Ǣ5eVvrwWP$bJn!ܭ}1K'9K_#7 #_:| 6qN? `KE'բp?K|Ӈzf.2O o pcoO폷뼧9IPf\d% !C)el@kH3nnAui~n8  (D+%8ÚǛсl?l{J0G9l#$- X"E["K4Q/#6l{g#e  gRZRgYZ7zXZִF!  ]ŗXiɟ1)*u%9== 3zuYkeVH6f$V_)*Cr:D/? h)A\Hs+#!8u^ujR[$Zf삤wjsimq1+sVY%(> ҳG]]Uc8Ue>( mּ0M&e3R-C9h{U:%@FD)܇_SrwnlfjŜQ̯PNr"Rӗ  CcFjpx?d#H4+41R,;=Mne(6* y`x$nՊƧL'F+%7b0欗Y0T h[/ @`bY-`<҉c"nˋU]fcU8J2Mؾ$>iwMAh<%@*][Vu&_)M_PDbؠkɣ'?y;Xi@Jeo5n Z-G(NCǒ587SZNDhY2 b0*,dvFE;~N$>TFQ{=22 2M;e}2*a`aB3=kk<ߘɡ6Ff?|Z(qŎe|=L¡r?6OvʞVz~О_{PP_?aq'/V̍u{nN4f)H>mDSf=ֳđRF} m7+1 N!N8p4O\֚C >ث,͙sy>h-K+8BC]Cxv <0Kq}8Õr^ysimNivb ZZvIE=)72(̬~ż [&

"3PrSm.Os8Ph{q}f)/dٛ·EhTQ(7,2)nt$*jn1ue_2A5f!#^E$=sIF_# S< iK-'[0+uRT'o% !S$>k- dAXo'zx,a"b!vb, "^"Héuq 0>m3=C2L! +%f)1/q$U)pa[xxIv`>aoniag*V83dYZaE-l7%bEb(DxgкGI+GT)@Zz #@/Yn~~49.䈙Gԇ?OcC2$i?}c nS8r(EWbۻ)"nXǦL=>XԢڠixB 9b@ 8O9Oi2LO U4Ŀ:In?1F*mX/AIxd_a'}4eE¼Ȋ\Jͯ:6d)F 1N4r}s3J4qHw-Gki@R|]ti"\Et/ GREÇKva_q'WNH׸S{AYPiMs9i<>{siqRcc&;V qqu,␂Cx/>9*Rf%mZBd4*KN&#H?vIcUçy {) AGT+- GP~#*enm#z˙ H)j{4{{ColVp~̏vWcZ73;S!erIY=U9LQGo2? f 'g wcʷP,OR쑼™?)?,ͯY+J,  qR\_Z2b G :wӔt:?I[MQ+&]cͮDww!q ^ (H-܈S7Wx6ITo1jY!mj6E])]}qd;)5% EȽ㞕l[-͸Fnok%"[E,fd>gYAnkB"r]Y#]KI,̑%\ Ʈ8mmJƊȟPe'+FgAs Yd!h) j-Z|Zyi*ԿD-D>ˎ(ܤBk 8Lj'y?d3aqYR{*\NJEqjqNt*M) iT]s%,ڧkz гXHÝ2 ʊ҇Y8.E2MWʂHWV#QZfgBC!iNFWd%1x- vbpS6RjZ? kR?eFAeҼ;%d}he:ZԪbt>dn}yjςgYg7mAɍ͛lVU9CNRQzC8 4 `픤׋7wKY;'O _c*5-.qc֞)bJ*~$~r `-\VpT >je6!D}/8^(i};6yObxoHxc~$,=؄4ƖpKd"2 sҨcN1@N7#1GPm?;$v؜X{?w[0[8%ck汷WN4xv_ͣKd3EεU 17DƯ?im͔ TYRstv($uq<,1&TӵGLԭ'sحh {0.*f DKz|WWu/V_boTidHOn.W2փ_ipHo5>DCfA8^㫴|<&ZrHZI+}8iףȔxvcM6ۋ`EL81 ݊{*]cR447Ȏg)lяhv/{pգ>GP=LVNύӋcvpk1dEU.1!DP(:5Q8I9 &6 SF:sFrTr$K ƨ42m/Dx21w|&*  XC3g㧙Z(Ӭ8290 .1ʹutG3=>cf{soӪ0$a0?K[I_3%U#ـ Unܾfs>.gv> H. l56U8.İ_h$k \g/ +,OK&v?PF&m]AG|vt'󕥄z.T>=6\ k2%:<$d`5rAP-."|~Mu*3inx Ψ2D⸋+,~NS\ 8QݸF L`#ij'Bk|8 e,Ո}$LE:0C0"=i31W}AXY}e[:,n&56TdlxKPMYA4.ȉNC#b@q$fn7\t7CfBΙ>lhDnk!.Kda M@ٯ5D$a#iHC"]bvL6?4ֱgJzw~c_ҹؿߠxnf 0 U6*=QH|jTUb-g{`+CjQӍOt&&ݒ]aq^Mg6 \pv-T)0mH{ g u<e37Z Bv]a4YTC7]di@Sk _^-!jAq?ӏ4cg WNHNjwI`6Jst2RUn7τx;A0z%Ϙx" $l?l1Sxn&M58Ԃ4;a]YO0q;u7TGbƑ;ˉP,u>yȥcFV ^ܦ͌J$v<H%Ie15v-9U1E[N/^خ{MȤma- `y 34H5&sv Apj. VT5Tǧ-]pD;MObA\O}ɳ\V,2"֍G,0y|PG#fmkK_>o?\~р#ZOb1q/yCZZ(gtC{ռRHbhYJ[Co>jؠ0Sg%uD@:+?9R]Ɇ^GDCw vo?טA2zhUuG!G|Zg"mPJVBqyXi(TZٔ.@KkG#߾3>&Peҏ {'^DV(N\2 29=mxh}L{,=;ttw7e[N12hk]/zRNs 1ű"8\q|> (rBK@}P@j]9UY;u0Vyb`89z{-xh2DF7G:g-J>L_9|dLkwv6N. Z{CD Ҭ7WKHa'=/EIpWekHZp.1IgErPZI^e/&c2{^1&B+Q0[jg6oYёf|Pdo`w5~TO&\_Hd|ksΔ'vĈrnĄ4\PH8ѥA-RCz-kHFt묙d6:})jʓ Ӻ{- %kZ>+F1A]>tm8@RS` [8؟Cؿ֢g~lgUd G>dnږK`4>9Rdl?,wh5OE7pѰ:XVώ3crlST3\iMSm? z=*lf3ޛ<S_r\[5!lMoBmK#&t1rF&/[y|[fʍӶIWkFlIH&t @+nC Oq,\RIbORsHDx* cjPB3c.R4nh(O I|ÌF+i<->2FG&ۅVs`ҧ1]1xڂ`\z5'iRFŇ^JB{!ݍӖdxф :2Yjoat '54acZH4ImPN4ex(5 @ pj (|O}OL328îe隼 ]m4FYgw<+M~o+=!+O¾i=cFѬ1:\Zx`Տ C*F=?aFױ7֫ʧ94~~1>c!%ܢ{$#`h/M#DRzԓmJ,.9xBK{[vy.PWnh]Bހ?Z{{%fY>GE=+O{O _SA鞥 ך.` Vņ 8K"V z A=)3 Y? X`6__<6ֈ g?"]vG٨y3+w9O_s~_)Gגo'^Hmw5>HeMJDJ;oRePxܖ]dvF9ƛuFa_Nohi˪*!:E^ \OtL~(.mh:[2-8ٔC{e+1^6=4+πbLZqIrXϐ, '69r #G5pG H~+}un-ٸr͚gT'N%5xE-aXr1&%DG~Gfn<"v J^Hԙ y@3ܞa@,NM&S^꿓bpco.gzÈ_K=KmxV ɹTR^c h^:s?>]sw;Ar+`UnTŮ,P7ECޠ)8KFTPr&4{V|c1 ie"k )LYaײ(:?& 9x"̗L|3{Snn6#,k* *NnHCʤTAZ.WctV_'J!9¿ƣD㋋7A.g4ƍF7Qu%/!t?FˤP" "3$'Uh{?.[rÑ?Q4E2xh"|H \BP>mT}J_뱺/6)~«ɼrЄDBq%"݀"!sRc&jDui^:|ei8B)'nQ uD3X HgfwV,ֽQ[5NQg]ҵY%i*LΗ:al4F_eF qQK)WQw j^_KJp,Bح -󦷛}?!RnpF6!xr `d%!m0@pa8bHޅ__6z&_5hl鲁vUX>rލx$Elmp7dQpq\e ) `y[jeus pc9 ܒgQ>2}d%%>=K_fܙT|E9*M4Qtuftw Q)@=uzj ~Ԓ%/g/v1f"y #,)3e{X{tZE,zɱ/a #(e+Qv9L xJuA7{^(ݹ<>tY+ 7[.Qs(͸?5Rui,v 픩F( WҾ5 _7꠫me/?&b]f pi)j:Pq@SkoVI;~7-EӒ%^޿Ǝ|.!B6_0Qs$0۳m<ٶ1mwl6Xzww('zD"[A dn2 #2a~m֣ #;E+츧-P4CeOhKxjAEJWF<㦠Xx4‚Yl.r2Oʠ:= pµCe^ڎƖ%\e+L@&0D-X6->?2u7QE9IRY m@1/^ qQ~n=^>$!2oi}Ҧ ct^-2i1Ah_~2gR#Z P 0򺩄ykMݨS_#/on= 19m1d7jI,31i5\ 㷌:ZNi[7~Hr3@׿h'?U ^}G~͊0P9RQR{d˚ كW ƶ5S="BKuf#X= 'LMZiҹbcoO**ߖ~6`] 8xrqNeEvxR ECy39h>Es;S6T8|ӨF̥99{AΐJݒYCz)f3I4iɯ3 \7M6Ry==-ޏUyпcҡW,=%1Ƽ _S*Vuw`>p|1B^3K Y˲IE}J40Ry[iz[ $ҺakʨtI;4IOK@q'UkV+|bRrm=/R Đrl3#, kvXl n'Q)BvmS̒ ͫeʪ4؟u:r0ˣol`K1}!el#JJ>_\)6#eFb We U˱Chj$uT86har D3lf=9+П:6yvb?`f8.$o딈/r=}t -\j- PTc~Ak*TeD.f-/Ԋ=|հۜ@aJ& pW*/K)`zs19%Cȋ֑jŋ/zٰы6tW̽F>.8hpPD;,EPT x{:gV;i Rj瑜pXNIOOP 08+9vߴ;0W%5G_. ,7Rlqv1}ǯ짪Ϊh9w H?V$fFRtcl\#BgŹQ;W4 lɁ;OLڅmP/s]DΛa?O\% kj.Av:9 qֵOf0de`IBwWga膄suff ֊@5 Tjr2tv&N0 T(@I3?8rO-{^ϴP=;ʉ P) V {@L173W\r<kDL+Bj9^#ooBt_=LtT̈́N[5iI.wU]QkiӠz;GqVzDb=5SܬLNH x ޖ "ӿC;ј۲HfdϠuݲz~?ʈK&9wDN_Uj-LBF HuJByOFvse{w[Xg}Ζ֋MɉUG_p{&8\+E P]C?>7xz3$Z-PuYũ)+uꚢ1; B.+aɜҳ(Rʴ-Fb~xT3-l0$gaMT-HB?, cØ٤A?*Sfk<_hn/sNDJĒSs6G@2 ?u ը'Gzq_lFV]$#52V9 xa4:>Ks{&㫩@nſ"Â1W&)vIcn Tǂbc]52w ">N?F\|_'K ]Ч噔&ZS'6W:A,i?;$:uyhQ$% #3xԪMe* M /d0DUQ+DdmdNځuQ]L'kݑ_Y~%>ad\](^RM_ @""=$fzת I??hGћ2=CqN*1vν)R עm,nŠvHF/guUɽ2Z!~UWw'0+ƉOOjzտTX{a8XLV힓Uΰ&*(xQPF欺֦DBi8]B&;FUD3aoBmY *|EϿ?Ǿa)Hk:߭pخct[mMv3{H^*.8yaCl\]ZdkϿ7~4CŸƫ8zӜzv`-HƦnZ6X4 fm9LlM,udEd!BXߘ Oy,R/O_^fEt'Q|@rֱ A߶7%U{oƆ6=ɤ06D8$Ie*@j.-UQF?ޚD&u!@! }VtnwAibjAd:HOOKBȖ#8PLݦj; TK-w$b,q)7X78s Ϧ׋@d*}YBnn󹬤9}J\NhPu!lX*g(FwOLzNJ,x&̃\Z%)QY jO6f*Wqwe0XR|.N5E&O`i-j}}'m3\Ok@ [z5ѴJr̦ja}:aVDeQ! rܔAWPyC 47" I*G |bZrN`voW +R.CV,09C/+JszDh j`ެ E*Y&g5YSnyJptǩ$nPYY P5DgԖΟ- iJLXC>'ފ̏'˞ 8*]g$&i%E*RT?^ FORbK2?Q +? bzz:l\ܹ fۣr_w{ ȝ:4(j s^%޹:1Km;jko$zYz>gS{  J)P`JjZh~xŁ$(F '~ekdAl1v#04Xa@,\kDl8\yf%@?,PgBCa$Ο4@3eeF@W1/!6<~cwQ4ߺ~hq?z[K~!Y 9 ]| @ DC 4v;>:ClLi/ϠorңJ~lDsj ߞ"!~qBaxjs-Gzʬ!Jh].#=+L24fm(*yA) eJGI{]Z%F2H4@`ƒ枲ŪrУb]MA#=i]OSC4ҢcE| 鲍sn9 [j. 8!)ދ;rw69ۣ5jAuLIXY]r,h^(hi޽?rR]Rei b(%@Ȇ93 3ZW+q$\e=e(T`5Oĸ- ,[ YڮxbӠ(BJkjZAKr#5hbԬ=C\d8WȡxrS%ĭ~؉{BHrN!aU2骳 ɛ z{s%4webر4^:Sl_L(ccVE?<>FO"(啺sEan$k3E *͐h׽˽KT{ iDo;ߑrB2) k YIu @>k8h{MfkNjV%!8 Uc;4İBְJ2nI8p U vfۻkGSnʷ%k4#(Uּu/<8V[)iHl$DSeSG;2Wް*ya(Q;sq~mrfd[6]#qZ.FgɄ GOeJ.>A ڙnH =^P:``Dk7)Эʈd8&c7Nư/? 䙣tџ`i}m$!!~շHy0zc=聸 1蒝NI*52q~-L>d=PA 'i}S_ɲbhfg2?"<ӓ2qꄔn >RHX[fLY%(]}ld 9$7  ^Tְ\ո4Ћ:ǏbzQuPqsN~J*)!ESBr/;r.HjyNad9nH3wDkÎ,aÜ'KS(!9efGcby8j=slZTzz݁}`Q@Y$s n^Jl~5w;AkLQXcT)OlRvLtۿO>:]QO&ؒQoqa+̹W{:ɉw5NqalyWMx6< j`tW3B#5昚ҠJ-<[I D Ei*nl#CUWtR1_x d|}S5Qԯ)9s؉ JЧF Y/ ꙴv-mĘQ㍹/̩ύw")y =)){Kj1AwF~hM̠,!}1etqסD(5iΏ3 e kK@mвz .oZj,7}`Aī\J:/7HҠo-jA>_.= Z^gbN]㐀d; 6@=i`m7jM nmg\5[9Nj{OHIgR}mh1,dy:?", 5ѩRSLR&K;h%@?yx =lѡD rFCp~Gid@8Y!S9-* dm&^#21sCT󪥳Qh%5#jZBA_B-~rg 4Hξ5JEw-3HC|'4+ŵl¹иCn?P[-Vv~pNNY B0 gP7n숃\SSRMt˵L(vMg"!W᫅};Vڅ.pw~fpx=-1z-Վ9;+ǂoKU8嗌7.7 q`E+/lu5)#+89<\&DL ֜3OgݘsbY6@珯]D$TYq& ҔDL1 NqBU<)m킊@ux]TJP;Π8Sh#/)ZitRb[SRb[ُ: ,1] ;MRk,nA>xκmJJ{mM(V^lPw,{T=Wf89 :#sCn] zI Bҽ?uO]{Eì" I5swJ/4iI}–2i|C}5{"`m  \)\ݐu+.s`MgomA >8eҝZW?ŋpRۍ!]=%8$GYCuW xZ,1U jUO 6m@DӿI_viÚ/xf{i)%諽S:Okc~jk;6T ^z]} sv.q=c'lHqh^CEGewdbUCԐ,5Vu9DZw~!`/NKYO]6 "Z"9@ômvPコ84ve؊K^1m07v2᳋8 ٲWûG^&|PTD!g)[7tR+D3UtgPh5ZWr z7) )]Å73wvyOE{Va MJ&TZz/ʼtYxHr~*ѪA<|WEf=QP R !_Uς*ҁm3IX -)Қ$0ŏ{WƬy'߭-JSyoa0Z]7u[J zl9*0n=|U-_4_Upﻴ; E[]|IS*rО Ro8:NUge};g bO}x|B+hZ`z5T*I&JpuvgJ-Xo a)hXOlpXv[SnI.d+w${E:$Ea2?qR3g7 f@1\!EyV?>aeA °;,~F8;qˁvP`oI,Zg[Wah,[Q%^:RhK}ߚ~eKTL `j2J F>!>J ^lt=2w|MЁ82Q"7yhK QkM/Y|9g[{6ai+m=1К%؍|q `rsU29 <_ְMx4mz˖`OC>(0&u7vqDH" QQ. W-g!7OX-W&ʑK HZw+:No2y 8ͮi;%F$G{kh 6Rf c\5I,LW\]qܼ@ϸjOU4w ο0X`UJ28_'oD\?dZqw,"zYƥn44H{ nc4:mIo_!7GܫHBN2}Z6zD=n $C {+#FŐ:EbpKw^Mk?}W/#&{qۊbo_5?d_~; l۟hPp;p dABeH/kk,9Ͳ"(@@wz jpxqGD hN0$BxDM 6cVƻ$+S=YiҲ.eiGl\Y.krk>l%^OOȩ Bs]׾- RHֵ*-VN{Z4NF.F P7L,w#>bEPZ|EZ|#q{`vmHyy-|L>`Xpm|;!0w|wj&aILA;TQ گħ8F=FmѡU\#!V5~^4xadސ2-*36S.I{(tU*53<ŋmS0ɉ-v:4 \ìpۣ@G;sio:fFsZٰ99}RT2H*}\5פ+.Zbdv@IXZu.Kay벋DY+ Hz_u}Y_ V|*q#9D_&]*qbjFɇU`H.s}+k{t߰_ItҸ%JV8dV˅ab q@ig.Uopt&TTv6'ډ6o:?-( S+L+p"U;Xքx+zXߨyDIW'MKk'mXROe%k@B jJ槿u JcM#fIF#i;5b5_o$B-푿-Oe&;'!mrO7IՁE-mE,֊>3 *)T>~R73n>,9&ӝ\]\r+e}of0=hZh'O W$>U\e:D|uxj5ۜkahb]l`o健$Uc/x,װ Hz@37asN9>0VC(~;MxY3LZ9ZJl6A~sO?fLƚ%l솉OP-!͛JR7VyӪz~Հ9['# ]<UyvY|fi4~.PZʭys eß'on7A!j@fQelpo0ZLI5!Y^p%7fu"O8Yŷ=;&ZE`䖉=z6#4;\mw 5nn܅J9mo"icђb'')F͗qL* (e:`9j׹ʀXSimM.!PL vlHhvP9-FjP \|CnJg±uY35d&6?Dkcbx[gCs80]LDB&t0g"͐sZy‰$tg-k{1#JP?Ry)Ҫ7qJ=T>j}g D n '@hkCنhnϏi`CRs~;:WoĵH Ӵ{|6e2T ޳z5nf Y;fRёS$&vl$mt)CPy~̢8Ȁ:]$%FxVCuQ[Lp ŊRȓ'V{|^۱0Va8P ;(-HȫxpfIZ3_hQ;UGV$F4”UnXWQ_Cl/`&.zLi0%f y ̄]"I^kjiA)M>9@}{0ۭQ91)T>/7 9 Hik Fd[܀3꡷8@% V5!km}D{_6kRȴ9:[6#w/ec(bG$ka%.Ok,Bf5>9A5ϚQXϙ>,Ƚt8ə/O aKYс/yʂZXΘ>ħa?Z3& ~&ա@ۄ4Z ^.1>bVJP b gIi&GGȬ+yX"8MLeTbfc S=`?]FYGET(P|!:+QP/"OE)oVJ#쪤B)9|(j~[2Fwe+H522fD*3s-6DoBz >`0Cc͞vd~v+O|1Jo>|-عK 'vs"QdMZ_|ȝz͆_1lNG#Ir7eKt)`ԡ".FZv=ߞw'c|˕UR؟gqfsr2hMo!8B?P،,Ϯ4|< ,`Qh~IjvgrA}}l&$\?\Rng,5ܞ6zdݎ@') qL6-"5kEյuX6 p~=Ԡ dk?}^!_+-#YM |2>%J5kު1qH5hwvnGP1 <Yrܣy[[ilSo@dP! d72Vz_kt a͂cmZd]LQQS^[IQ;qYe(] R*I>Cs3KgZ@*/z4n}G5O !BV>OTi#N]76SSc+,Z ݊((=^E(͘&TR1:i-T_ufJ{UȽ遬p'$ ^pQ`G%-2Jk'жV'> ki -h̢)@&BPũա4l7Jv-_GX홪jぶ.Te/zuʆ ! %BFob?zX(z-ԘwGzsc ^}鱡x{=B4&ZABq`8aiutHڑ A dU~lw-jpڍ{$O%|Fӊ::˲!Ds(kHy`m!^$GZs CIgyW2K,,`|Oxo>gule23[[Ԑ,WPg,*&KZT"5;Ur)#a.3Sl}ӥ蓏 *j/q5u$$|H:GUE e_PkxlR f mh@)Qz΃6bJ#ĩkfǚriWݡ< mvQL0eHF +):ߖyaYbS~V%u5ۄDNGd:'kL_!UVv4p##C)AnL7ȫ԰zrhg9 Op)륟o!x4QSc!cA0V[IueN:C9nr,UJ3xŘvAembh>ƀ= p*tkNsQ 9toxĕ_| s̍xJ8x-11!Qgᕷҩ+Q7O80n/;PzG [w5B ln3~g9Iن*/ ]GrxǻvavxJQ@CÇ˺k=S35OOm쇪SXq2dgn$†=94fJBn%oI2v#AC!Cf`=H#-BJ 9į ~&y4Mʟ'S@R-5FlyˇsIGźĐpv  '_B_JAŪ%,NY\[S/_81$?^ʜAzZg;BL9kG RgeX;y=e>g/ɦ?ԥ݂[Jd%v$Rj38PfZfDcBf_~UvtKx%Ȋ?րcd["VZ[QXZ[r)qY-C384ouzEM^ m#'SBz(sj`z26 0>ws>J,ɑg>$TL+fb;ψ:  @kbpJ :U[_Pho+3:79n`Yr茮O+_ADDJ.Jf: Vt6a ͹˳6[ Y&J?y\ӐW_~k!8d7uKüb ]sj= B2Nr)È`}YHcsGAND*=tI8lIvZ rh8>QIw'|)p!hU0!p1[MIڹspX?yZ-Gd¦80RuziԏYBY Ẕ2WZ #}WŸX)'?e @+s$TFk⪄R{\f˾GAW˵7w^t, +cq]S!ez$E0TGf3[]GzrtB\h-Erl|c'n\Qx>y WC0 R8tuVy$Btd4)+}ϭ~5UǎmĭUuӂ=ywn\wqE%P`n^bzҪ@EnoPWn7O`PG6TMʎ(WϦ*%Ƶ4jOÂbJ Q*(E^n.nݣ$҅Ƥu>{JfL Z͢6nokݰw8"I'x{doRRU.l3"C`5hn0_x鐵Ѧ+S'ݕLʧiMrma'v@ #lmRon/!F6m$x YRbqU:.bq!ߣ^(8IsK`0cܧFC2ʱHi L#Jrޡsi=ZWa)v4=É BEfxf^ၝIk  HlnS3:r8&G_bܣ>$ԇñQ9\z`15t{bNQi0e\stۘҙduH]_4XLV+MX2ۄq)nz}ҿi9.)NM\ZƑ*|b<V|`SPrgMa b&+aNUG2g-XEyG>rUcľT)ܤ0Z=25ptF h[_xtfdM!ޏ3' sS[^prW9]j?/R0@^۔;`P}CFUYX1=\H̩hJ&Cϕ=a(e Ry8_e;GC8qI3IP$XP+H,kz/EsY~t[#|)iJ7,fq'B|ycYpǜCSb[n1Hz̭6уXځcB# >>;:lPNΥC?f("'&QP8a :.8v _ri҇OFל'veS`Z+B⳩'F522`]PX]>x;x5hp(aPzofiNWG#8}*IA$2} -BgHUȨc Ot{)b>r\a_wн8Sφ' (AJS3QazJ%} ^n^p $~çW.t4r80K6_0nmO"{zcII &"唭5Z\ZUKoC)N쁙[T70قVVts=tpS5 n3IdqPh3[DWU们O]^:"aF3۷As#H}qKjSy2u]' V]71c_ rV7CGhbh_ SOP{axΩR3'mY3*27Ee >cLy@)9 pCKsZ7yF\>7$VVY Vi{yJU85ꭋK2`iWA: $l-wώ )Q4޷hTDdDVJׅsfdJ'&5ˈ,-ӴV2 y {ɥrBir82y#A&|AG"1?v9$zd&W4 o[`]$,\mC &+N@rT@1 F=r Mn^\eaAf$=*G=%F45L3#X!S\?pac4Sn7"\+s$v?m?ln^FwtVf2$p +Cx57DC`羛hRەz;@Cj#\w;KD$;/;,iB}bM$F#hwS/|񧔒~S Y`8 O%!neLH\)4OH 5'R2$2ƼOumS3Ƞ ?! ,2<%v|nu+[`s%)ފxVo]L꤉lrӿWF3ƛy@E,|­{i^M.B٨pnobG 4^x.!.c%k%D|9$!OK/\o%5e1+ŖH5d }(Ksݸy.V <%7Jz4p a:+֥8R*psЧ0]@`+&)1z$Qob`pc #\G:/MXOFGe2,A}$fcE 254av᷿4Pjs\91u*ұgYZ3a9a31a88eeed7b6eb4c9790fb1dcb604aaaf79934c3d73a560673e85d6a79ed679f4ac127002b9c cb7dfd709478d010b69c5220c7d782899ba3b103 1413cd76501485111dc589e55f8106f97f9eef63