SQLite format 3@ * .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^9~\$I+$5T:uAX6\xԓ/]:B;i'>rS{&8GԵ \ ǻQ]S3:S!˴ߒ2?h@jC$P}X'5RAZ߬~S 8ot8f-@D%"_`2(FѬ9DE[c,ĵÙ1][(GUMo0YЏJ[5\U\ w^j>PT ۥ! 5_m=]1Ffdo͓â l( 9,%4[p"^_eH1uUzYjNomi?)_~c [|[BIaox3{aTȝo&WBU?G]*O(}d5)552Đzy$;Gmu4LD/~D ǧȞ\"x{~7"5#<6gVrڽ_;%~ipų3ž]x3e>{R%vL.{Ϧ#EX i6gYZ7zXZִF!  ]ŗXiɟ1)*u%9c&C]d[ ׂazްymp~ Lo2c[֬bp<*3 ƳznsGOSO]g@ctXtrr3C]UVf1XkB=_xcxQ<{K(͒qWo~_jC]ҒwfkO8)i <i[(6ԥ7F/Z~--y~&z9h /ta<@mStB˳E,y[)jH  -n_#JޣLK͟/x-u<54BAZO"=s0Q<A2 ^SgVc_5pY]oFr6 |Aed2݂W"Qt| l?Qbﰧv?zW jgE/1x :M%8*p#KLXDT# 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 R=Rs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id5202 9K' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢']D?7 {?:fH\63Rk!ͤ4p'8n QP 4Oz Po8ʴt,w0^vaz1[g&k S` 76G6!,<7hҡQ({D6v'!H+{^ns'mLDrr:jeOP(X4[ O7ҩ5uf~r31ȹrUPBhzzcHKdsN?)%$Tg#9J*!I3hAW6cK7FjO! +x+! j  -R 圜mX[3*ܒsA#mkUs)jՇg1PyġkAɯw$`ΎpҚu]>T!IJ4leTm B 3X=5X2f^CfUdb+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~27r^=w:Gr+&ņRXL6vMx@v!0Yz65%vR` d`6㢥$,QATps*'}ЦP@M`N qIxo@)u"zդ&^CvR hi])C$JSɟ>eŘ[Sgw9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id518o9I# \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씊7qD%a dAj$?J CVl1/|"+q F:YDټOkLH<g :{Fs}WԤw1]>5j;v|߆ +ü9@uS|[s7lxk(To#nwԵ^2|OeVIG`)΋TPH&nR{vLt UE1*ގvO<%*,9yk3NQ) P&t=K9K;6b.GҧPʍE !߱>`r7_sTXN8$ &= 52\P"Xv cT#ph^O-bM$ j մu1~"=Ң7A0˱7UN"{ǹHh{PȖ-.xE !5j R[Õ@FZHPGEBʠt79.{I^-:3\DQcG\"Zj5N}C %sV ))E $ԓ{|<0]|x^3JHQb#䰽ohIZc>0H*yU&aD;[\Egnl ֝ UhE k'ƅ9F/xx o>~ĸ)s2ނkb9ꕣ$ա᫹dHdà ,#H!6 #T{c,q-9r8SBWC0}[֣e{h>>xRi)t@?NM ـTz\s;%&XԺWtԱ8Vk4d ޙ4%mB%./&.+2+J, &>4Jqw#2ɎG2ĨykoexE3PӖk^~C+dYg(%+<˭ {WC?/rAY>k +_}خt^sP\?_pLE Oh'dW$鴀2!wo3dBZx`ĎI\qЩ^oh36nZ5ca)셍ʠYp#{Њ^[wo22("#~ejYYи}ES;>)0 w;_:h?Zhz=c-aYv(!<(Eu#B[˜QsZ2.#gV T>:rs,"'wBI>Ot뙯mV³b^IQm[?!8ly"m+=Uk:l5js\o8Qsa`6^p ެ_ 'b X8b]rDoF_8~2t ,a*dRvùċEF7Ac vkjW<>#3eFKr ^?6VJc42&϶b{<,\}lXIT4>)6>(i}%,Y h`xef֓b  p^Ȕ| oŁ:ZUZ|^<bG6s)D?A7Z:`8XOz&ҋm文#z\yI3L߲*g-6  Hdx55D`3 Pr@"Q(QJ,xslp\ &)`w-<>*Md53RVGӷq2X56QWlQtTGCU97,yMTO~AՓ^2#斸kv0_:f1qXQ.UX77\ۊًB(cXtY~c̙T Q XJ0xzh4SuOH /E3w/P8f jr63t 'gςF#]ajNSTI? 7+MىX"ާz"t֌FxX;ľF1xِCϷ1W}fۚWo`/!c +S*t3OjxXDF !7ٞE8{OkqfSu56N~9FZhssM7*f O6/sCc/M]`wċx@_'C͡Mst}oiwҞ{>ss C X¼0Hf lH!dGo03w3vAx'8Nt?>o\neD,4»EV? \ʷ;2ji[v+NcH jD>TNP&EUܓL X"@%LaW0$81)$V12`Jk͚r-U /XfќgesK`/7r G-7_6=P=|OcYt6p_B0;Jb򛘧j܀)k6Ć-臨ɞ߲ug! Ch:%H2 ;߳86S+,8{b=H0jH>ɬzk;#A}7ƀuر |χ;`xw$z/wtн3  "OBU7^Q"@m@rdZlOat>ܧ/R*Q,kEkՀuX{ݗo0"A,S<Ȯ^4ck-ףR =uYÊʉ)Vr!MtAw@< 0KKN_ˎ wqFhP.hB?Y B/~ش$nnRYFZltDP.AaC{r:\u~`bq7w q':7bPo5m(D֖| i7 A̚ΕWDKf#cio3Io(ti)ŗ*\2R5s)\xV&6XSԀ]NINHwb1Ώ>7*}tatھis%Kǯ3H{̪R|u2hHKtB xK1!!, A ɵÛXA4'te{4EvaцfQCv̓ScpbWȒd \Iףz૨FR#.`ͦEذVǯHrd+0BH~ӀE8tp-Y<і/>) I2<8q(g2%':ܧ@9H 0595IDIrXK5=O)LWhk]fQoref 7p~aZsʔUFqUdIRݘp+f4U i`AtRqtɛ?ï@΃&Dr}I|?VEw-ZJ7&Lۦ}LKR!gH/\0SH[D8RI=ajU .RCm'/JfC:D/}J|SX|]ݪ_ӮES ȶnv@B|%Y>Ҷ֓^!Q5uq,Tܙ`A5fq7@|kr3C)^V`3wϝNX1/37(UTzϑB]bHn>o#޸*g–Dm7GI ǧCQKĀ)wk&Ցe3)QgH6\ ge뻒+1k SQv𠩲ʗ7D;qhm ]<YK WKA BIei0KJ=p ;@+RixqSO_xiOM6k79bLNT\'P?]_ (iiW+b/9,QZIϒ%wbX&ᕋFYQ!PGܳ[9J~R"ɾb +':p%$grmf~zXiQ~FGTPp|'Avωn8ymElȥv1q˻ YR$9qb3p\ô\x1lg|蝡#8/z\F0s7m؇C->ɴ}A]Q`Q<߻% ˙΃bQ -;B8=&f6ICshq""='Q#\4orGwR_3د8\35$_~ xV>D}Lj u Λ#=,xd}LRj"*0JJGXȿĦab45 E;Y/W2*^(.0|9f|O/-BKYbH!UhydysMQ RgƗHql%G`% Sl3 s0f!\3kʹB!`ݡX kqNγ.>TD*#Nimc 퐶qvHx\pjMU'*7Yg N<\A_UOJGr҃5^BQA'ckg`u pB`M}SZZ} C|EOVd-i{64([P Fp14&H{W2?# J|Q%G^{%Zv>4(jN9!Өx"n|r;LA*YEηz#}ȍVa(*1iyP8] LsBL$qPHlsM$D q}%Y3ÉM=d|"Ej@f0?DVx``vG]qaysP)dH }1W qZcaǜ(n罠[BQ.;P}X>JC#@ [ D!H n̝wHW?6NrA:AFő:g*4HIla"8lPZHl^%/CB#$py#q[s .yވ\*&)_0?q09Au G ~N1 5N~w\nRU'a0yēC Ou М{7-g)}Mƭ0L!:=7i-OU9{9onB=۝Nm7xz]Gb*w)+ڼFl1=ȑzq-^2URd_a:uu2zUλ0b{75uBu*4β/[HLS#}PHy}BXFH9tw} .W]sk13ن\E=RiA(G,yS0`F"qNہ8BD{Ve3#9y;Y+{&>OyVNe0enxө݇g ~UG _\"n*?UfB'w%}-4CcP?x3ٚۖ2U3$oip0#dVNhІ01 #=dY`-B]dEl罓cB6'Z8f_8S[<֔˃7+ݶTINl?5 I;C ;"ͶPbp}i"b-_Jܯp(ЭK"WY%X "ZŸw9MAm`-x∌.Hcl; 2?Cou ?͓(Jrٸ.~S;2.!jF- aS#d{"*Q!(q&=!b㏩Ik-93Pׇ,T H|eXu}йJu!Ű}{KTr~>& #,P@~U݌SY%^nl(bs@'Cy\-{Cm&oO3I\nPf!QTߋUDki {Iߍ gG# -@cS K? uo| +*!Rn>OBuiq}۴2zyynGԤ~~?r30 /46B]͏&w:J2i%=gĒy_%nMۚ܁Ra푉 GŘq˦B.F(t(g"t Hp¸_ g.I('9zr9ݓ AINM`JPs.[]tbBn)39/ A6yMxn<`%537 q]n5tshA䭯S#eb,L'%[lF@"#UdDl^g'`ׂbxM}!nWU6Cq=y!xS^@ T\Qxב*0$v$2oaSŁ&lC#(t9$BNՍ.WgLH@O~xoEguּ@iH&:jޟN-ID = {kB|3)l/nt1۟ǂrF˜ԥ`4ֶ^ M;sN9to& N,&oF v9 Z)L'сD+-7²i} OS=C=~Nm,'pP(ǹ[ڀw8rKƕвhʳykJj(f`%fl^?ZǒyzgwVnVUcz&"pi.$o`Iʣh2٣xh5e"Bowbu]1|6衎NsRYd6FBUec[GX% LF,i<>. @-o_+=^h@-V8E ز W,?Sޠa70٦j<̣ڴ? [Gj ˅/gr W-L9$GH6q/ ^^ R>wԊD)ftAƣD)q7G}Ig$sXu^WYF[c?"7yh 2Nf lh#$qv߁.kTh+/kэ8f(}@ lXȣ\A:qPhZ^riY"L}X(( tGOilG㲏Paws}PiGk*09JO2z94~:mC;M|\lG9f#/KPO 0oZ+0:C#(bQʓg 6Muds9a;U= QDM /z#Ew}k n= h|!k #b֞I޾6P@"] "+}s8s}f'_b.,\nMI?$ w~B75|{>%8ǯKQuq$bﭕ=-DsuQxĖ煏F!i,Xm1D~BX=ݪigDJ& =LE p0%ˊ$V B<UDz *DBP Ŏ l{AFcDQ(Vv>"UȲ[).#bcϭţSB5)߰Co)nL193Gp#L.Xt%Ez̭IK.S_hAA;N% o_to.Cх3 sN53XN 7#1ܛLu61C'}{_lΦVِ6g=$RY hPVa}YϤ1F8dt-/l&.V$ L2rOQ>[8t($*U,JTcM}tT :0d/AGagqnaL8x!"gjfp^Y0f}Y~O8TAi^+ěu4V&ftv={*f>8y&YK(0ws+Q3xȪuKߎ3ZξHq \Y ֒TX*2f `tE S28K~Xj<(%YcTp2'XU/7 xztj1$ٻ,+v?J-ٴ3;ٯ^8 xf_X+傁vx\}*7V?J ڧk ":,CO4j Qs *ǡڬ8`. "l]lD::c$(U CE/+//uX , pԂmQrij ,y$KupPٰmd72+\B@Uļ?#/\;!A[f(vəTìxKA3'a2׸O. tjzjw޵Y/fD5HIUJ156ҟۋCM y)K5M]4׶MӋlmE2.`~{*i_@lcphx R;5cTjP03 Ypg FOrd)Z9}QG|eV8\zJ[\/|[vPӫ|m xK (tk)Nsϝv.D '@v~Ş5YWmܑS}UTJQerk3!ۨ,-̊1jUdCAjVe'I"/%`'w=?PN 2EKpOHeF/ovy:.Ic{MB>a[ Vԑcjv> aNLp )9@A%)x {{s :LDVm(|Qn;a()?WɾǏp5[}0H`<jKGBSkC+mV'OӄQ2RcXQR؟ u$JoރQp#,d57=Su'Du5.ZŽyqmO3]i]=<_~5Z c>E1QNcQa&_xK0y滶o(G:`Ӣ)îHnVm-voџ5`91F=-1r(IM a y~y5H_t\:^K^[G >]0&qty{Zru@[J`_'׺vkS=n86}raXh {lmBʮƂcLt*cj>3B`Mr,6TXOa6c .}{i7&YƦ@A4A,Gh{A0ׁފMn s{):Tn0p>~&Cˢ9^ȩTh`OO)`CJ:cRA('dO8+J` g6=RSN.-CFŸ{Z܌CEyaJmuUJPA T1Ҙ#n{O V+Ј$ ,"TQl u)u#E!] )/XL# #II UVX̲x ,֣t*w9(` n;4 뒻]YB#I֑T}cT\( Re<_9Q."3RS5j%PgVHb>5 FC6%wo oXWy͑rUd})&/TSz5C+ [ 髥v=+jP;|:yal췻v-r7eϽћ6zKմ_TUnfW9T%S9F˸CJo+n{~|NJi߸WK}x 2Py8S䆟xW`|wޗPѣ^IqPNIϭεT1*WKo4svu=1CmX%=VŰߍ ۠4Y@.%o~?'I` zlB_482VC|~L[0g'@H@֕m57:5W9z9v?;Ͼ-phDn0Ѝj˹FW%8BEzl: cd2[BQK$k0qgVp"Dc_d0Ih@IhvLH--yjUH@ak4lmba(k(ԛ%Po4NhCffL&hG C *8uN>)OH ~`[p\G'n3ocBh50fwoka))NgӸS:D2༾E(WkT/dQR7q{-ygDP}uzۅc\)bsC$ፒ|ۧQtr|1}*{_ m y YB_%BtaiS,.-/H4]_㱑k7BuB55wv'ʖLm,zrs!Q0l"gAG- 3 35X§#O͚nn;ǒZ1P6K-/B\ڞЇ<6 6ZpSXTŦ‚AP%ezmZe##L Cvz m/p,iH(^n]pnSylF09@*]nLۊ}178g&Z!)YS>1k󺩎~0G؁4wC1'kՇD :uc E6@r?řRT)~btElc UX+4)sȮ`^J;$0wk+T Oc}&fQB;R|G`œznGcMW$sFCSLV\LK3ElpmwkxʕGNp$06\wErT78o ٖa\^6S%PO؈D'pzIK*P4F~{wV?|dP_.@<<;X镼oȺ5;u`z̎@6x:X& L<6DOyn-wl[L\d;a%j endM;6 e#,R P)iOJ \Rx27k r5W)$Ҟj?{Y{GGldLYLnLH1ό^?ʾaQr9kZ+;df{]RQ[! -DW`7NHiǞyӁI%L@^}RZDQ3iBSp,UuIԄ19g`rU*9h#Mٚ4;ҒwiqX͑ygc렔aI(dF *{p>)sڦ;,flr( F# GfӖ,Jk^'xP[BHբOݮ3Ƙ0^|BG+ <H_|]ڷ^NSNE68w,>ۻ.GA+y~53){` T\7q%oX+*;޸\wƦ,CShj~`4ܮ> R*Z{Sn oMޯ`2_+aTc^llR1p;<1 tpKYx'l!'դvAKO F-@{Q^>UPPg,6ݹ̈zzfu9' am)jNhOL1f!6+#rqu5!A݉xI|`)m{S k]r{bf3LGG{ʿ`%KQ [^CI@R77˱<ً_^wU}#ܖby7p/S4{`EQU>c0] [ZBT`8ONFXPӺ J&(lrA|'s;ߧiyCEJzcYJ)M̝޴}B`EO0|)YxB/y:\Xw: _7OƟŲ@e[fm !w美߷i ĝvtWK; ?}EDpa;v$@)=S#J+e K1(ç։Pfsd{H8~zJ{g\FRQigʁv1zw5 G~Ïձyy塷^BxةT⒗jY^>۞lW9ckqdvLz(D6Jli E%rQopjt}Ur!81_%LpQn.HQ?}y/a(( v{6`L_֠4YS8lџJD}XŶ5ܣoK0HsRxtQi;);q$MFi+CM X| pO,'5=R j6Qf+eA"ށ Y1Mfy,Y$Q$D'5/M oor7^5\{}|>?$=6-jhf]2Fb1 "2^fCKo@ߑM:*Q3cD2oK28K¹%c18Tx:߇gZ @\Bcp-L玸M4\olX+*e Kۼ'ҜJB*+`k8w"V+0hO'ݖ0]é. H {7` bIχxD9a~`]),#"A5K7i*NL +`8`.8;|1ȶ輘ڒCp3yyװj$1->'71״^,1?p!YsTovqm)#Z+o10Ǵ^>ePK;AΈ+gevЮeʈA;kr1BG0['UxȆPo$OR*~%g k1zG])7 6_B": >ɅB!@ ̪9$n 8]/*~_7Fm >qTiAAgL=p5Y3v e1zE/CWL|8*vf㾛9!%z&_I@d2?f5|0t$HR-]n$V"W+ T;T "Tx~ z";Y7?]u`Zޯᤂ"Jၗ2S2A5髇x5ڂ LW(-`)-N kM`@yJW|Qi/vw]P%-lY@TVœ% Cz9W.*WIb cm+꘏#txcOѠ"mK3D׸,YhXۊs_s6vT+:cO#Wx7RSWKTC4{b;@PpSoh4^Z4 :ַDVJ ói)h טgݱLCL bFxm4`-n_u)y&"h f LL}N^ÚE9dԔXC^%!Iy"x, AtTۼ&nYG|i(:LTO4 ˂.wsNT<]\ 9F阃:~4St g2pa.-YƎ'f]`gZ_ lʹz\q ʛ#1'dT7\#\K(cL;!Щ~N.`{8iCL]QpU=FkvZgB[4B /dع6NR :$bmgKk[=9(}wK'2wKἆ徟d* . 8&+f3"8ʈ8eId^/9_5KR3tX ͪGÂٷS֦ngmzyC]K]4|R''e۸[d&S4 `- UÚW-vopiBcPZ7 B4*uI~X( `Ҭ6w2Du"@X~Y$L Jƒ9Ȝ ڶH^8y֭B=J포_-BF-dv㣾c`شRq=TsY>|B7/,%µGaaU5(aɳ=41iGޕj}*KM0|w"C[0DQQީ[n*֮'UڤGW /P1Hj6FnS[yA=+?NG0N$7 kDgvE-Ndt/OSۊM%q5vFed⤅lo%~{pd7I\6LqIs[yѥs@lZ c" `"%YUc"ZSvN; RF ,q f|(H:L, $8t]1ۿLI8 $wB.-F+1Zo\4=w2Ol?j Y%"cC(TcNuL7[PhZm,I̒y?=Qjb y`uf&T‰sހG] 1lE,-8׊:͍fy jT^ O~#3g78D&CךX/ #B> @}־Rx[ey¹.k>ԭRWi-DSA]>JKDkVTtGв% 6vsŘm6R$."t#V]K3ǿl[JRI6V~;46-SIxR{9VB\sfʽ95#4|?cp!85l,Z҅JAj%טP.t4\''6|:u%㊸}`pQ~Bv[Nɞ%Izua* kh= 71 K\F+u.*˫(5c #/1i0ߗX%9Zj-7c"|5ڔj[};{}M!5qyX wl%oz͜)]=AHF31[GpgO(9$yPfp̠:Wds7d?3' /0m J|ƦDr)/:AJRfci#!-/%sX]{ԨN&~o:g,k&%+a5Dk:{dC{ c5Ufͫ"a(mAESkJ%gkp]p{oRK{O,yJ9 0OwK銸jMDb(Lj"_!At1TsMބl'~8j L<+߼b/z½bc+_n|ٷiRCŠ|)7# FշB"'WgifJ^k~ 9*)GKFNJ9{ Eh=AF6Ct[Gz(ʴm4:=>A]Ğ9 $3TBLo0!gzF4@mPJB8_V+IyA~_p28@ S[0K!w! qq{Z;LdHV!ҙohn|+&@V2qE+'ߑ>@!ÿПBB63k% 2P<['Q<^4|րLVwnVӎ;L5Q5:1DSn̴˻}&pY]\W4c?&X[LR U+tpן)Ke 9lu4pƶFMՉh8fDdE*0gK?4r%z[LaCbnJ 6EtTPE S /D܉H202b#d5p~ÃPlkDy:.ec̮KE&ZBWGv> R{hT9o:FIΕ,QI\3]q3d̓Ҝy *Ä^9hP>׎S;G@ktqRʭjӲ=~Ό-gyq}ՇQyn{).bkKuK5k&5~65v!^^<U%U>F8R!bSIPol*3l`َaUA-:7Oڞ@S?Ǖd|( qӹ&g~-#FV_GBY ˺Ȗc@C<-vL.\FaA?&kq!7sDkyo'&<%[Ӹ[z@&ۡm;TINL[jk=gű(w PC2|;S2 \y!q7b;L~E0A%25)Ζ/Pd6/C("&οXUȺ4 ,t >K%2<#u:Hh['sGWWQSdıDd ;ؔM^=;Qk}w6\8$N۪{l86* \I͒ j _tlo<9Ebh҇;xσ$1U6ƨPt j:*[a Z R-f ͰJk. '/u&m w_: 9V0`* s:茇-RǮqJqⷋsh'z5#Br3wg2ۮH5!KBBؘ\JF?oD&t8gK>cmNj PgSs3a^׿][xsdcKSl_tU5I/\5P4De3Kz7j[< )$п@8&M1;m=>/ulD^v|U¸-l[wh@U*H| -{Pc+r1ŅE0z e\bX4p:rZ YmK@u~`i!7H3~@W%R,Nk q&xb:jLxeh ):$ЉI l+n i=jd75VuSvQwoLBСܗaLũ,diٖ>"'>ecUUbǻ7$PpXC RK$Je>6P:?| ?1 L/M"ATܜҌ3@ۺ1DD! <3!~+#i#;3ct"wﳝCdה;WԤ5^8a*3!v!q70MfnnqȰ8Axae_Y|2 >gr2b.^HNB`q/iX2ʲ9)3'nh{U䞸mTzYߠUͦMHtQޏk>@[ OEa,JxzOg8 ê=л3G̉6l+.w|\-DkMe>"$Gͅ'W*, 76dKn;8{Oe9&a[5Cmyn)P5 mX4l܆>l͘^:\5 _#mIi\2%ˬs4XݮnB߂/Dk{@xIJ 8F Dh[65p^ bFd :)\mb/! ,t;G8mJH˧wv2ꐖ?r.RH񔀻fzR֫B{K6;ܜx]nqз =Ǐ B)J0K3?~-}x_67dD#G#d aJ!j4Nk(&h>|?Ros;+rDž ;qk4zF3VG0sڃ ∪=i[e Ztl$3Te:-EٟbYJ QLg͈R:U{h5W+u3*omfcc8Uxu ؒlbXhtg!}Xz׵”5kgQ.!?Kx oQc1ߙzp* LJɾj;LY5צPtX:q#f@БZVa٩8wLPF cptcِC W*+s@5t&'y6TEl0{xm*Q %Bѳ wNt>L^.w_.=tTPu,=_z-?%wڞ}n3&jRLUy+d"Ƕ=&_Y%hgb(Y!]賾&WXǝ9)]%A ]F%p&LVnMT=I0_Ba„ek&&dF]#턕$2[MQmI|,q~) QAw? }k/PĨO* Z6GzZ8:0" e¸tG_N?R]~*FT!|[a-ȍhxp6QJ[nίj-Dbp+FqcX<ŽoݖM݆J;2ohoa^śK^}qVXuz9HpmbʵBeͳ ANi3NV舋xXd  w&ܱI;~uFC7!>~(Z 0΃5KW 7W~fo#\B!)-9}q¤- [ς'(۳ Rpb/1SK@ D҉cq5P"u<b\, #53ʭ) vAwkuZVzRmhNꓲ w \Иv0"a['I NEFeP[׆}bhrZ= MխE"(&zc _DASr. {yiDgw;NA/WJ'RE=dA!)n#m* Lt],W2͛q̕:f R!Jpa]L,GۆnI^bno3Se΄ 1Z$ˠ>]gL$tAq%9/\n Sjb۹w53'Ǟ3yzL5lJ`۠RQ)'zMͱ6D: 9LObN-c K4 ܰ(T-녴WFo Mw,)E`w>tV{}o!V4;^ )l}gx=d*a`8cyfo*ޒ=~eNN,| @|*hPڹ|X,\5ə45$<)G$bՒ֐M/ϦGfȟri7Ok}ar:Jq[6Ւ<a)M%WUm౮q;h+?eDcfl@}Sooa4vaP97YMkg)jlj} bXF.Y&yWzj_=Bش;TZojf;.PaFw6i#P8ST~iYwgb괈ٳZg&=! 3$`4wM Umi;`f [v1 g|v5Sz @EOy6'1S ~cnb-×cϚ?AwHg9=YBm 7&GWE7vF栫O<*zA!ǎ(OwB\p7ٴ3$n+cKd!7(`3X,Ztgor$3px!R\pY؀?A~2t+tjA~Lb9d[iH-Yc"BiMƕI,׾ E դůGdXlr!/|@8YD_?L%j mf8ڐe{8;D,6d#q, Ҹ&5a5߯l[-܄钤="뫩0yO~>J c #)08j+XN%w%)u9U hVBMpc^)׭!,#b"{>! 똯~J9F-;晴!1{U\v.`CWu)Z>|N=u9CA#N*kUj'[!e?shꂼ032ZSMR ⲻ,wSlAZexmo l>g翝}ف4rzǀ ]A*1t1~Ęgęox+5TB۰4^P'!:˩\JZ?@U tq'Mm4V/<c[/ d@GI+= Ӓ7:8h!xKoq 0L3tNƕQ;~ku=ko@)X+~'crg]*?)"6}f!xil &a47q]<0 Pgٲe| K^^[I,L nTh+4kPCUsla~HtmtSӏau\" _TLMEǰ dsw B "{c~3?ZZBnjfUVb^?/PLo_}:vxQ.h@UesK[&vwB3:Ojvk F5FCRG1.rPY@T M7 BzZ+E;[2-%6. HghLi<,UiTP $-.%ӗdWxjHp[gHA"+a0N_fu!^k]>h0h&ŞB)>"ZH{qh?^zdgZB-,~/ضA-~kSX" wQgHst2SQה$GyH(8 P]iϑl/edi\iu$ȊpgL6겗j6m~O֠Iub- 2 8>uQA3X^=1ܤpFsj!ゥ{NH"%ЩRCx/ZK6޼.T^ m^ͤcZ@5OȓVevvKq.YZ$w:۞>la:uM0v[FN1*HXP _LW0kDsϩLyX=]H ֎L}6v?{ ?HJR`s oҙU֊Y[S;@FwV E?P{,[XOSj09ǘlpa2@k 3hn\-SB՘%Y!vKOwNJ S뿅g/2rN (kKJL}1n~ۣaPi3'( l_/5YzbG4v5gmGt܏v Jv'9"UO l&$lQV]d lOUod̺a+1e6{lёQ3wYEQv '0zb4~4)d_{oo#GLX-"p)Ҧkښ|"*RGZ3k. WLG0SWLpl>jnD+Fu!菦qJ2opшy 19ؓ}1~$j*?1DYS_l׭LPz nBzSg6iLƄ#!vGq`+»~<{E/@+_KnEv[+Tm{OJpÀ ' dlIi~O4#!u9ƳZjAmssX%ςגz^I q{nqm HoGTʹE#"[>/~ˀ_}$`1)2xVA5:x̳x#)EEk.S}slōgs-xR?J`U7`t!fOz#JD* mů/ x=~\O-NxD&hGQi.ĘqV?l|3 S7WP+_u&o M{E ^TLy2))py+-H^n󇊸`k؄YTX~e^/2T{Y+3K:f 블HeK>QƂb0X?,49[`X@vu1!t\y߇\(%# D Č,wn KҶ ?TV"F^_&+MBsCԥ{C _{V:Y 9T E7g1P5)}q('Fْt>1nC]p wyh21v^Dp-bXqFX8n nڵ "?r2TCHu ÃTgn|v#ѕ$FM@>Y,\dpNޘǟ,/'5O\D!}Е[n5 f=.1aY[+~TЇ_dS1X.湒Yi.Bm}bŨUrz5k{Ys*fM QCp~;_睄ЈKo..A[0`j&+heeW,DS{WȢfmlï"3؞l^ƮY!}̆!~#ĚTla Ա}3&QܐIFܚK}8"`=KwKɛNVSbRR咀r#F71I*4-)y)@ǺVa_`YQGpb^ؒب~ЫHſ =~C ;x(ylQgKYNx F?#/!m'Xܓ(>!Ǎ+U 8=UݻWe Y;x^w'E琖a sZ #mp*mcO8ʪMwq-@\{J1a󚹨f^`*3]8) z,= Oc\##]jVx8VV}K<=8BJn-B}js񌠌IȧVڌX⛂U'B_M˪0q@i#xLyXn.glks!!,}é(?vi\m\\ܬ"iۅ.ANcĠEBIɬwL#-yv1ZlUcEHW0ES,!dL.;49aU0ʯ$ qj7ݕ@NꐚcB:w¡>`.)V*7s!} Q:"0ߝ8wg -ߺL7<{:WSP by_Gu"A|A (Lp(ϜgMtVl 8&lݎ/x0PL(䫣ԛ.L^gā䟣Ep")}~6pjx^VCD!ABI.q7?O0@`\2:fDi-h⫦eKA?نlQ r(H̕:nTEw+iMϛe@yI*p_Q9plhWCZжhq35%-=h?UYO.d>l`ѸqC垥EN>'viؓ1 =~r'`>#+*SZݼjFXAMIwE*yWОNe{um qX0b38:bJ%ؕ^_!'\PGz~hϮ\ pI *|ڎI5"$Y@UT}Wrwlv= ]4tal&WwAhI8_Oz)ۊg&ѹ]m'vz+4F+ HR}wORS1/ÂP9!Q&ޔWN1i%5H;^OV~Zbb 8Sp3|u9'xI)2dS%yba5 qoM ,at%]kQ 瓼#FktCx5 !?qR4B1gI{7MݿRF%<:Oy8a֝L˵&5h[yJx$yT4QP=]VWd됵 y!!v)]3}2ORidrճӥvZ`yy_O r3n'et?헝R"[ML>ԇBYMWJNrDh G3F @nk쩭tUdb#0 B%Gg=A̠6Daq qeSMk"I*Ι!ȈT9tC(8:?lMi?/3 ͽK^k}&=]"ijMY`$Ah.{,Sk6^|=kk\/ˍnbWK8%*_>⒕ƒK +1@k%$u9+N9"@yG.Ȳ"k>xawqۀFQZ1-+P8ۥ:5O%H*YY10Ky6G oC=T K d2S櫈fHR]oX28q6FV~g[8PiOQqLNl@D%b:)2}7)b8lWE'T c1R۱đj71 .kYXB?N1/y.K0ATA,DRCsCg9$3qYZx^x&b[8IgrU]~m/`a1s " +QmAyD2jH]5 ,T҅Om,"Ze;\޾jBE?i<`/l.gAE ])WWv:S@fkiu ~tjnٽ&yvɃ2GZ5E}Loq+'cФP5 4~b~v>Cxݸgm j.cI+A6Q(ۮ #ܨCR _@ _]Omt%YA ~)2r&W-um' _E༏E*5ND<.ϾdgɣUl׺63oJ\ii:.'SZbEePїA/PkpBXf7qYf>Cu,XL3 "aޚJ?TBS?r:0(BwiRՇy1Qp8\Ho(P7: X{t>N c+}m<G[ҵyVT@&)bg@>?SVv](jC-,@>3 7†p7S+gG/lV-bMj|S ~M (`ށkW0JWT~\ 2JJNy[mD <^3; voX@h%k 0+3ʽꭞj[>X@ 6 ٬g\T[&lhkc)P 7 1DuJ4Q1XO_a֏uֱ ӫ<lv 3f|U:j'Oˊm]4 @ Pgǫ6HAۀL>Uʑ+j$44&LypY5v$ws ٬ՅGbH){x ~ = *Bx|Tǽ3>գE|@xD/vqݐB? :#RΦKm#8H?/c_<zwvbLϦf%MT..[ [8a!쏄)&{->:iQc7}1D !>Ƴr!eH32 Euf_@uBZ<-Ar䇼$"\iz*1Ȕܔ]CM֐PZSƛ]ſ2`d-$NA&2/ XL49y_y -mḏuEA4C%hL\k<j?We`4%D3|ZEm>ZF'-J_"hQ!i[䧈)^9-rDکfgݘ$6O)$J*K5"sCI_VJyKz ׶c[Xh{qKepШg*o"[IwC`& 6+o"*yiQRAP$E"_ %ȫ$-ϻX&"`|\VsăOG7^z:p q.FLhx'|2E',gͅݶy9)Z Y?b$q3fo8' ]A(W!IûUvBd4i^؞-'PX#pWݡ-g2.}O040TpN s̅6L҄s:'َ]zǤ/4#hQFV\cMpӦ/R׷h<#mr8yxokb ˝j֛#ɉt86籌u&pj4ajVh~I/OfU}?K͘@r.a]>k Օi-aUcC`yh{`m]{J?YWAǀ.5Q싋.~3S95Dx"K(zG2ۍņXN+\n^Euo W:o' ŹKmy<Žo ޯZ891pZg(Wrg9KzNg-yYJv@洩*tYnPP[oG^$.y=V~vߗŠ%p4mB/q-X$= t' ӝ!!+Qc~ͲA1ð* =¹:ɅsҌ#GE㸆)גzV)RsX5}/mVn1&v@ɶ)Ӝ? ?v07-i q2ƒufV/Fk3]|C8VKkR (ț&QHP5 8%5%.Ee٬sGywnh{ <ۀLIrHw=kP?Ć)?- n tMHǓKS`́@+,eWaD=ac-ޑUO Q b1 F78ΡǃUFs0|d@XTKtM\Xԉ#?ʘJ(Fֽ%,o$R4PS}kdU9]UΣȚmT d.b%OvW=pV5I0$z)^EcBLz \n2BuG͸RѫIʗAEI.Ƴ%%xCCwƋ8w{,)"eC76IJxbssBG^3S 싎zT;`h6Tfk&J;$vdgٯ &=;R<'%7D[nz0{v7VNB1VgBꃗoL|*"}Xy TAO~DZ$OH4?P_^3PLI>=T&3ɲn2|f6ވ"[Hl)&cw[+~CϲGM9#0ix'}4'IXYv(tPΥfw'. b /u;Oy{*I5si*?.POA>{NO֡T_"PU2EeLڲS VMm\_Z [00efs\QN[v4gj+@Ǽ’>Zb]ßgg{m!ڣ4"NN4HD%Kl}ǡ^T L!ՠ#gI;$Hk)i_7RmRѵP0L#ŽLPF#RA c-Y9oૄjXSG}ʉ+cjG)fVzˆ+@iO&v,>=}S  =3 R·9;0{{.!";2"VL4O(& $3㩿!2 ZEuŪ l*&AY=̍jGI#ܝ5j^ݢyw&)ni{SӠݐTW)@Bky5TG%M2{~4ƅt8T J9\XJ-ۏ)FD  T5 M* ((r)Vp5Q `AS7:U+p3£~|<{FD]c/~qC`qI;B:7QGwB^hQcW%Ip*~.P&TM(v;9i:5u_?[=xoEcҠ1Fi~Pr=3*lRAL|(MWbFt?gjXY#l&Gc ,튶29"n{w УƇ~UE ̡G~(FJ=[yah 6Pp@Xx{ꆿ_7 [/>ͰQ=VU/ԄMR漏6-[ȅ\WE!22X`$ز"͑qKf1=B!*؝ҤqLm09eMeb{G)RKPJzjuR֭Ź1x4 0/Ho\ BԎHnNȎC%sEW9AEqjţ.dgs$KKo~&⺔ٯIGRCu$2DfSֿ5:Χ4+=Ze$[y<Jq틫]2JZƭNTVZY@ UUJ>)/SK"@f4{B@:t7>Ew f"3 8MKlJ7Q%W%:%\fcW'JE&~ r#itt:d;*ӫ ܩ| es/KoCpRY3&\)l\- q5_T`UaS Du`SհIB#\byOIŠ5sټhw vwj Qi Ia"|KI9ł`\t vQ̦)4)~!t_Kɟ[*͸뛃`l?ET>ZH2Z#H6*%?8>^?_tK=AE m1#XOVt9 :Ч"!c2n\n7 NzM}1iwntaʴ)R䵆h8AqHN\a?:RtaGED0z8Vv$ּ*b P/A/!g_e%U'#j#+&wFYh 7D=!Mϴ3g= DqT#eATpg=⣋AftMh_ӃEön7i6s`L$/&i9Tu7vӟ:BG"e6=/ ,]]Sz*gQs.3Ww4JMK9t5G3f^$l0Vhl [osMDf;JU엋l:bu QHdk?`%ECSL``ؤʇmu+pJ"<&?լgon1-@k Ar{+YH+ G1Cpha3u { 6 g}Hw޷ wjTQcYDRUnY+/a(hJ%h2]XFxUwnA B ]S?9W $/#@dܞHg>'2En,((o<4F=o E>1s-3BT @ڻc Qk`^_S-qj݉HbXa>x ҄:Rs1w=|`8=!nJ-ᝲr}n-UlG-RE>^4)"`Vw)`''iwܡ;uu"@n"cG;#CL+[o6y{޸$j'AUo;@с@XzL29:pN]1T t1N\N"`ɰ ~9GP<<>|T_309oQ)#^,*68ߴ]-9,h%CsKT<U6 [2xO>GC1ө+ bő4vϠ5dU:pgڭk IG_:4}ɿUaŷ`B,_y/:#=RIޱߪcf)S|< 뺼SSE waVwuƛ i6Kf^F2x?;2KiA "a_1†zွS+;DʚV V`{hs4f"`ðU{9M0 Ql"-2,>Scf\XGGsGM[J"g\F%NiwnzY.d,_C~О,yjn:c;;rx-XU~p1{`{{3?z /`sjB qfy}*ԝGV"qy5G^^ 'I]I|v(G#%PY3I˥puK DaiD -Y|/<5$ J6^W>;jԇ&S>uHV̩|Be)䞱rmb9A!|q>z l_&${I8X(Q ngL%̼~!LO- iF'ѭI@J+Vۊ#OM/_ m iKˆI@CT4]C CG0c/LBv;eFOl/c}tScƊg}0vi t ͺO[LfCKL*X YW^(bF!­mI_CPr@LlYb֋Ąt"H+L#G}1$w% ƕ'4S]`Dr;&葽 FyC @kѻ 2/Fi,Ev|ތ7ͷCS2zz{mE*X^.2Cg4oF۔p:9giCNyrpaR6$L9Q)3Z?UsrRgIT4\F|87E9RA*U@"PLjJxbWd7O:&ҿPl"1U >zQS''zm-2B蘼u).o?S$ ٵH[Փu8-!dZ,tΦ,*tHO%FlloyqALmPr6vi ܰX%,&`ΟTqy V@˩ Ɇ(_vl ؿWHDd\naq6ަ=" Y 5<ƺbӕ rohYD*QO\& s CLj;ّ& A,\QUyCOmS5*tZfTCeViUq+.Zt94v0 L0ӝ`}51R#yMFWѨ&A<4I[>}Y5%z@Kz`o=ipP euw9uz -uMkR'6<SY<hr/n`Հ~! ,Q4 &o[ժt`6yaA@),ƞ9;Ng9h9᱅8_Cm+,|_LASXŽ9g0.%JT(k&,TN< ^3 i}=~;\b|+䫬wi#OR,[WBNh3Wޱ%yVF:#KjBUSmTbE.0߶dQGrм͖O;-fф< 84wvD B|Ah`7TyG_Q,O+{[g`~P༉24Yn%[وZ~Y tYO-۬Sc>h])W㰹V6Bՙm uӝ(7},CRjmfrF0S-5c2T)RZ3h!!8SOr@wejX`_ 5 y7|F2,ux>]j08ޕv2t#F:\oY%ם,7 ցw:7GžT*U$r@H_!{D~F #}$6V>h)BAj:S=kO$fxX/%"=䲩J;m4NIp}fMfHV1xa`ۋ[ |ժ_ 3:imkZ u`ᨄ/L\@ԚW(lءbal^u64wL^tIY.7qz=wڗ&ph>A /PATρ赴[JybP Vվ~P()cLk޶T[^XE :DżJxş#gAxD$bs{(P aX S5ץ]lAĔ(.2buM;سY͝.dh 0n s.t_u-WasлqUl,z(3tdCu=s jM6TZoJ͂>LՐ,fϡ4vK^\x z~ x!so h[tJ{VEz *|ځE*=l2"P^QF?DMAW׊_LO)%ogF],Wo#e 0 'ŽqV^> ~794.{&J7CXgD&]'uxtWRgtVP;⃙46zA악jF.gk4霡qG#3yd%嗶B!#c(iLwDz m$B+AQ;sp t_l_sgaD P m);`W]ߏT" (EU0O/x`_߂]Z@rd Z:RF^TXXE 2dEq S7_†*)^{]^`Aw}z@WmZ__/%LbɹҥZ#J_`t?=u/FOXI=$?s=3T"E2٬DrwOSpj-u&-|A6Ad!SIǃ%!54y3Bcau9J`|uhI/ot *ntؾr?N<i|it wa,nUr aC$qN`3՘0Q3\d["F>qvFBF g+[N7 'd$ F( ˌNK6ƆXUN?`o=E1Q1E--AuAtM 5%XU"r^7HaX)u? I:ME3"ht ˲n y"Zp=ӓIw9ޏfi.uMsa3x8Dl WdOd"]N9c-dy UI(8UӁY 7AGAHs z`T(cTwպYYkjy6Wg^,w>d!Bpg*yr;Y-qg'Ɉu qMUSxЛwn5}7\yv-yw}EvO<kb RVN|~$?_Z#ϡ́VJgThi=.#qք i;9Gdx( d^GR?^ۡYG&8xZ M0Xz5o돳i5#vG'LukV f>-Y#[&vY|x$ h15L 0!|HgypV'`qozagXvj|7*0S QIkD޼zjWw^)1TwҪ@=Z`gumBUԓ7bΒr)ثxyZB䅟a@-L=}2IpdG^VڝezO}omn| DW0 B\yJI,%5ibOpDɜIwj䁢Qaf/zN-0e~@UY%sdk9z=N ނ ](،@ֲ/)~kLc~e ja)G!T?)S/8 ?͎"H%ďoN׺ 5r?vXHzD|qv+'8d p=ϰ\DPh3::y[fTD7Ia)w>K5gy_e!z5e.$O2KncנTw|1vGR1+7E8/Bz_wY& 3Kn?i 7S5Kxo/B<@Nh3MQ僯җRt! d(3~6$G1'FHǓYu~>tp+_--{T~3G`drȯm/; hK|Idzie/1CN`vˉn`2tuT-P}r(.8 {**Ҭ'fᖘJ:U  Pڲ$2db0>U9_Ca-c;TmKKCTjgYZ nmn|9G' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Igt]Άxʆ5.f-9 rq@:}6H@Yut ]Y@MEj%˽w_d%_Ur*N#03uDQC-~ts>N;AF]$Oxv8f2T|I$CfżpެAsŵo Q}w/?Su]bPegf'dzk WYۘ< ̆Kr#;4ΊSw.֚SbZ,_;MoJhR{aZ܇yZ =R\.V(h?CK@bDlP*r},$cl>0v4eYe1B%œ k@)N*-f~)8'ʞ@$bzؖC^-waɆ z|9^~0Jў6}vj5ҨtiΞA"4}o+!wHF\r޷<ܒӜ2Ք&:8aEDn 噫|.<\qϓqyŀ"7;@Ж7^T-7h 5B-`sT ԐɶM#nu3]~ŵw VB]bs)-L!G_:-ѹSZk $d_/9jp;pDXaTGGwclYPŝK⭏gDR+V8E6@$h3k*jC Xq6}= ӵ|J^Sҍ2nZqήcI-[|y3>WB6ا4Qy={r*m:9 :GWu-BBSSHG {_5*Z8``dT`PB>jWE`%C+ȡ -}I5rXA b X@[ON5{o%³pԃ|OM'B䠐J@-zop $*.ꢗ'`pJ 07aUfH6죕(0?]:5$p@wI@1I{L%dG5R1Z9~fdwJ >czY/${q|K1Fٹ9Mn'ʆAz}F g3`p3UZI 1|0M!G}jX#뇦׫nYDrθ|rsY?H+m9۶[f(QjERؗ𮋻ڴaֽv 56\=L#Fg_ 놰OwFd̸/l #ZufIb'Vہ!C%4'nL4lW%qF+a_hPm%8O}I$ig ")łit%+}{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[j42bqIeVLF,1m *R}jcTnz}ŲX=IP&ݻZڋvpEavNnԚ#eÒ>{ bwXץyS B|)SꗱֳI\#=+S>]ӫܪk\6'`>t=:UUR91-E#`f*vxCqzNvd&B @" { g}lI?dIސS9v)"$[9 OY%!$Tl0Ow4VU?br\V*9lpTxx )b;@ \6Mp V᪒wO!Z7>(.qc4WLzFΛxKohHh}.75)[Fm;5Н|g&'/cfv*uH,8p }AѷA c_h8r1.o JW}k< _QݢM;c]UqCែ&?_#6+ wuc%g6b w>ryWK4|yXWtLVr8-*ÛƎm[ӂ A!e4#Tm砂scdwrlm[sa3UFU!$Xu[ 0B} koQ8%U{lL5W$k/?̉Ωww"1}2iWׅǃ7V5#L I%hhFa.`GwӝS7 Z%X0jcb.8寲urr_Te^"@ЮmO^,}VmC=6r$r}qnYءAF 6>㥏|`2ju6Oa#ɹ+@heE~v}*u`8o ȜD:x9#æ|DdljxBU^S/ DYDSpQ9!XZǖIBrs!k2YGW,Q/R+_?^_e}]Z 51S_ɽ$}Q,Sua=Alj;I,7ܛaS|t":5 ;'W0@hXbkBk:5h, 2P|PYoԏ]&~$Km![ǰV6cjmu؇JUn7Sx5?_ /SÊR"+'i{zEj klW3X ¬=MZr~ 9w^YU$@*WG<`-CTIz0& y̜U:.zz5&X q'=/|tICrmC\shlDA~y, ĞHu|jk ?5g?CKtsWy)֑e  * ›s̬ !+`mZ \ 6fAϤ.z@3s.V_,ZԄoL,$}zMK=r2d.7}ߔjygcGk05<$,M2pn?@W3fS>uQH蚈3}(2QbTBy +/ 2""Tv4mqb΁6f;A$[ ~=.[3M#ݡc WZX㣬#S/mSo rsbvaxӓ)NꘓrFV#NVq+f{5?dN`6ų %xXa\ g"4:wl|4wЋPFO0GX37mUّyX/Y[*jŐj&^`՛)"K8&`9_gLAӁ=Qcӛ./.8_[S7c7pEiϣ|rUgQbYdjeFEvPrA^08ߋžR(O^4Hx.↉_^z4 \ga8Ċ&P )(1d @t56iF6nKNQp0Yk0l"3Pڵi˹wyx]\T}K6x;4aeqQmaiݸm&O2f,ٌ= 6SPds.MKOG2S3lү?W5jT^s:I^nxwKZww哇\w2` <=y9\QxՄB0>2nfW_N`30wt~ӽqT lz I& x2Q|W"x 'P;Y)yR%|c+NՂ۳DSR]p9ܝuE#4 (0{z3u, Qw/7"M qIv ۧ$Y%؝ϑ\֭#M.XG8~H-/O8T ˵bR ]N=dmN r}iځ'6 jQצWj=Q'_BZF~jHn]cOK2Js.ꚓsI+; ^5?`Ze$(= #u]u%ɔ4e?+U͛qc3ֱ ,{̶K DZN8K!:@ȵ" cg4H1ZћC ?݌2˴!TL*2mҥ ?5WF᧜H,\۷#ugҖJgo-* "FcBVYrӤO ",`?\aa$|` hIqE[+ qf/`9̧ԀE6.Uk'4יTc[mv1e 1gWFfg2X[ zlb}E3D޽|f:#b9TRSQa_mFQqٶ|,\iZUl dJDp Rg)vaNɕ.+-)MQ>kxpz7ܽâ`>)+6-,(D;6vY_0Q齓t ,|8XRؖ6P1&ֳk'Ƈ 2S2g+9)x$:)B5uDUq(7@؎M<u.+URujD#[> qta&'U^690iL*[er=|~MjʬfD3zr g+y ha|)8;paf({ױN!DhNUש dHUkZHB`d2{)ض xB2;~y|Fn sؑV.AkD%f`eoA({a"ep򨏑먞|<1~hNDž{A'DžN\ˠ5~"w8G'ኚ4 eu~l3F~WjNɓoST/zڳҦfd呜<ѶH?IgZC+NjnW`vC>^ziYt9#Qbɋus,}~FH/O>Mmunq] t7x)Rńh) \ЦLe<-RbZ^{#A3!^gDJI8N5n=[`AlQR=C3 %`\J|džR/MA/JH*ṕ4k79M[ wVVmnam4FCwY\6Yχʣ:|B6Yi0,]ߡ I}H,Q@k9?FvqC2b“siϜZY[)xU$(t1~9ѬB2sP^;5]@u{95 \=);b5}H0yxf/+L%̸Nċl 52K|0":ӽ/:,rP#Vy`hE>k8d&{tܥ*fq 6 4+SO\V:kxҞ019lⳳm+%TOoŃsڦ*;vȟ ŒB-JQj F8/IIt̬+(|X~_ѻF[1$V5[,XVLgdRR-aGhiGI;Rx?Դ7>guAj_! Ru* K_&R5v{]ZW3cg9w,bL8F7,֐ylaT1fdIm8bLJS|Djp-S?o Br|KwlE~kA]܏H3TSL ;?Gar*ʑ"~%bjڶJg8EHaXnFvdTCo6LU3`W&TPKus >JX9WL}y| H^c۴Rc]nwrࣔj]o1mVBe߀>JvFLgC} N ^oh_$l_& f;Y>U9HOKdkEMM 3HDꑷ`_*YRh JSڿ^? r)rH¨hv|W<8x;rU8 `aa\ ݢǵ\rK? 񡨰]aЍvAvT%ʄ6P (~3QYR0F~睨ۛ45f4,Ӫ< 8熅δV޻[F 씟+^. 6 O= H~j- SD~jp\~k g]zaRTs3AtQE|xN]k5؈} R^+%:F+>p,*3|jv@Ա{ThbqP<ǥ'%\,61dקx&]rRk{K'`16'gAvXT-KY}Ko-]fSBDQH2 }dޑ7`i*3 V}~`:[]TZiG~1T%W ?cIyJw_)zM(.nYצ3jFOY$Cs`bC|b1Z Kz p G:> \LpY]uh{nʳGs<`ޞeτc,%D;kW K#Rj&dF5HRg#u8a} Yt݂԰ (@ *0uM R5gb2 l3FS&oF5fbu!8Fot1W¸!^\q.w{v `gӅ t 6оsPx1m=Rv'b7gDAxEyu+M> 'PRgdA,SIu؜F~ q?~NJ\+-XYAhK#!Ht5L$;<@^&+Zp7o,bGeP"r%06`@֊Z!,2sq7~r ZdO9쫑@ayk+#%ݟ/=&Q$4pwhF9"j9\'Hh-g)p$ /Zb2nW& ^P,Q ̘G ؞%d\ FÜ]P8kdλ.U In|}~( + 2^T"0Ly^i=1p%)y=.F_N5MtL`jre~S|DK vkWMyFƟeҴj]nndkX_i&sIl4X;ji 7Ma9% ۰BϨ+["xS,,DKtl}Kgt=GlXä>;Xv^J:÷R!\OA\xV׾,`#EQ;T6vR6rMq5q69o5W@~X`6=B*ld>ПW1A ;5XmP#Pԭ ?T8Mf$ ^zlyVs>٨cȿt`/2ǫ8w8U 3qD,$i he_y],eNZ^^킥Au˶}w&1C %щah@"|8TUѝkky+ {'Bur' |,jh "ÈlA)m$/]=tc@sB92|cW^C4HOXJ_iC!mr e;죆(S=>f^_oV &Bm~Ļ֘Q4p?J8'iA:MW7G!Vn' qqe(/q=O#ke 1v7aUR1rn"EtxUaihO fUOsr1X E%g@s*t6%a кshmwJsn^גl \'U:Ӑ@;f)h;e5bFE>J@LU Fo1ϗ8Ae+yx_fñfU#Cx}]O"NrMNR1`,+v:kG>9dS-ZөG3qVǿ)5gi N<&BPxlscԙՃ* DӲ㳝tD4%]Bl ~}hpGUO @O4zRurPẌ́[]RP5LO7qNjzkWE4y ygpyG"ibr8#nMzGfN!:= hsVuL dԅ\G净l2-,ȌLL*ggU Cm(F | Ͼv}Eۺ\EGT3XvplwgL]DAMT# NXb(D[Y,2 =Wosȏ#=6@oMVy1 &8ױx d16 Pk#o@v\sKR7Hk>ؙp© Z׫o-&qDb_Eadn*vOE:;ȏ/=A,ISPxr^r;3M$gN;ϊA!L|iq- <Lؗe o#0`F&'mW::ɀAZ1| kڅ,{\MOo]ᦇh컾o5 F,d<Е7ߜ2Ou3󛴙t P<si*ے9"sKKBF1LM-@+;)oMw͗Nzw |0dHR!\&wuE)737x0u6*`1x-.Pw|64XՒԇibOng$Ɔ_GG*]${.tP_[_HlL 63Q=-T88Pczn(Ps=F;.&n(qˋ^+:${x/vyL ECWp-CF8U|oeA}eqOTOUgNvV.R [Ȓ0E.XK5a0z +Fw@:{o,7T+i'V?VFfsjَ4K3C#H#CrՀ kky]F9kک-|,x q$@pCɻUf-ѨJz>/ 1P~lZ?`RZ7O4JAԗ|;p.ʫQb MOd֣xDCs3|Lǖ?;l4,r8k9{bmd\JthHIi󥬽 dW'uo$&U,*.*cMgxh<0#$5  %<~;ܟ=v|?&XDRz|F 8UӮx(nR\z%d[jor$28s@ϲqW ;WwS3tX)F$Q\3kANZxд}A hK9&ZHZwR8m#{*ݭqyNQ k~7Q#u ^V3+V<sÃY :dop{. vR@ 'ù?'9ݝOV))ell:(5jP9>"\.yE(w去sd~3ܗ3@x<^mk18%A :eXA(%L EZ ,Wg`T&R;IJ) )x|~cA5h,|{HUg>^oĀq%0Yoj|JޯtFcpʪL+,8(;ës$T-a/\Cɐk -ofRSQ": bIdI˧kJXx-ŵҬ[ܹxMMD U| XC&&-TQYM4ĹFzTNRu~o:cbi!SDXS" z7=cDS0^ܩI86(ۈ{z3S@9?tzEbMG)d:;`I;zCŵ#+P ky K.t{x|ZN}i#k7bskL;qIf@+9,yO}aͤY7ن]AQ8a{=W9f-[T,&&^iuKi b>[L0'lcX=jc?k+eC @)M՘zׁ+޾0X6c9q_i*s;;J=-ڽ?%@)pA0KV i9:@_ެ&y8#]A>KxIDуㄹWXqP%$Mi|`ק[!X>ĻEL*ϿY"QB%"Ͱk(J4E"ŴH̽g[ab\*+j/0B>5轧-CF@BW'"fExߵ5֮Bp\Bտ5e]~isvaq- 8M|dR (%]nO>>z DI~WYÞw$ʈ>IwVLڢdyAȆ/:Aghँct# >Y3uzt pȽc(+cZOV #l;=--5~Y/ sq@uۭaggcbZ2eۀ69 o (BeR 7m=ݝVNp+}+] ͙Cz|SR'Fi}(:+ K|27z V! Z 3T6x'AwI17&8s`Qr섷rh<*ca#s>J.مC!t ]Tq+H"W\Tͥl adLX$byNh];:JVq1?yӡ:[уT "1ctE01e;rVzgo F{ahBi)\i/ݘGmÜ՝'RhQ: eɢQ_Ŀ>Wŏy 6*%vK19h橼~_46L:k XηTxN̪cG2RM^Za]m2֙"Z?PQ! t'UW ~)H o$&z*zO3$Aǰm 輭; &cb07t$%>hp޳gMyAw0sX Q|,Cp x_t wAMh\$d ͥ%EA`^TFK\(ys zB: ToY,7\]nVqmAO]RĄ GxqmIv-Ԥr$J%,~-좋5pKך; Ȗ.}vaAg8҅U* {NJM8@P.Byd:e<;ΫB#3hNF<7)!(6-G{9p9y7Œ9VUEWjH$]U;+!:lUǀc c'S[x2i,%Ӂ65JVDz{7iKzr:Ad@9_kLJ 0xw٢(Ţ^jr=R[.6 0a>Qߥ9$Hjƣ^JI:\)η ’:>iyxE̖kᏴuu7lz^#m"NQa&woܠ^fBv~jnDeW(aɯ^8%“ t0Mds.~X [12&jU0[.\e$)e:@,Ry:`ƎS 夞xF2Yڝ}RѭEYDEue@A?Ag6991+$^ۏx`nD`(喆1*l+{gl")2Ǒd7Ȅd_/Ñ̮d9R׭زA)Xf`0 ␲b6 6=]A1lE'q>L͂{#*h3A^s:vl5GF*pG=jM}:+ape7JgOY hv%+׌BYsJ~\ּN٨i;[Ѹ00P<}vS!q7h^4 Ǥ TS[٬TnΩ5$gs@ eYP" eOy1mTZJN`6j'Mݝ#N,oso.Յ< CőU@jpDP~ʐM (_-&8 jj/TF2I^@*r62Jm9HN=~`X2Jt~wtx{XoA^80Ҹ7y1B9ofCVMM {(.}ԏ"hU:׊ºamGR 49&*t Kb6Q37 \C+u3ϖ$?zHҝ=e\ at?WZ@`sI3i,wVh.=7eʿymb\QMv]Pku]+, gEZo;BUe¬~GEζ+۵,J ٜCVb*onv,_jMVPĬȀD PSl-2M;9WW 1$ ੎W*erIæZ΢ל h-P3/:v:H%S:K_kF kRd?A| Ptl`sT-oTg`#@'|/f!V)*@sW7Ԅ*S6t{^׀XBTcEa.k>I|K5GG8X3H"Ȝ~M5'œgQ("&_ؽhԟom;җv30[VsD* kؔHV6]7"5V Qg7_\J\U )33҉$BxuEenN*X{}%$O)G1i$˘*qa?B[̟&Y3M@ׅMB .݁ 'tNb`ywuLhy@EՄilI ]Մ'еL$FN a>򲒦Q  {;z\2<mOoJF{Y]vJ鰣/|X AMhrRDьoDAV[ u9$O=2o [IphOMThDiqe1)9!z!IY$x,)q"+_0 M{7 ;em`I(-F}۹⥃ͨF6z9~S䱔_ -GR{]DrYJw(ћ>V7- b̐6!)il""NukЮ32;tqpȘq7LY_4HACNb!r43Qpx8^gUu+LKo (rdh H0$aUE!E!E603"3ݡPOQ5Ĉ rf ( b(Z]|p`mɨZĎ|= 8#6rT4jut:x- ]9rpS!]0#6m<7¼BYlwG i5Ѐ?'P7䠇wV*2[w_L\ùy9"/ߥIE zW AFOxF7j H;\ a(2dYVu`TqoaX=Ӕ -li"l|aekSz.jFx[3#h`%[=r$p :hwC=$+p+/~#Ѷm;2@Oٸ|dOA,\0cF:>G\jYr(󼘈%>7@ȓ͎>D'Uw#-M%F/>8)e) yJDaV i$fڮx/dS}-kbH%@N3X5ꁠ7k]@u]iN˻z/ȍ ,C<78&Yc)RΕR^8uot[7o{{t?ͩE^;̞@|$K}>dܣE6kkN}JPߴ^'h0ѽ+[./$ÔΘn2ok&v8mv5QL|ȡY^N_8?zg'6 G3d0b~-H JRTbupS*L㗍WhĝE)vW'lkx%0t$'$")?sѺī``Ō4(U&6L뀻W&gg:7a.*MB_q,j'G8*f]ti; aK.-wrulg5Aij\[~]OU7sF.8h8 Ã毟&.*#ի k*GuQC Tf v5k߱ ՛9 =,LŔj>m x+Ue'U覹a#kpCم!Vx;fFkmX2-B6B7I=jgDVՑֶ5KU )iƻN01fUkk#O-sɿf ,69&,$E;Q(CJ}jF&:Iְ,H7T_1O˅@.Lyӡܿi3gԀ R.<=.Y%0Q^4{>? nH֤8O--*_goz[aJ"QG神b7X=2QM9Cqu/j!!=F{]FЖOM? wEՀQ7g\!UhZl*L.>ݰ+?$EM@X X@Lje^w I'G!b[0\9 }ȾשR}Ð/+  #%3sD[1\b+8*Y>ixe~:CI י\û9{-bnx T=ME0NkBW yZ6Txhs =Q1J@Ǜ5rq+}pRT 'U\*^IcDq(=CmHڃشPwtq~%9;e̻Ƌ ]$g7 Y Ko'4CRs&i,W-"!ݸ X??K_sK{CaqǸnȞP I,ڹ!p-$6U.p0XnI^3Hk$26$KB zw%v3SwV0g Nycuvj8T_6^)=;.Oɼ &!AmvE{ns].phb(ѝ;/J:Uw\:OӮA?vZ]LQ~DωY׳ej$$Ƙ`1h]tUC(;fc$tpK_mp[V`ni9N__!'FbEty"hOc$՚Т7=|&?-&d}k:Pk>sntI>}29P,֙Ц-K[A l\aGs^$Q;{/PB EϙM+ASRV毲VI~R8zJ[^<ɼ р|0{fPՠ7Ay)j蚓, y02+ߪ'/"Ţ%2oE A44( , rSVXW UvP|61Qہ3Izgb5W%<%I!$bj37^ 4D]ܹ9 Y@_cz8ob*j1I<\QbІ!o:BNE/.!7}:)^_*ӿ$T?D_hcۊ۲̂8H>=;jYe,%Vj?xq_%he !9-ڶKiKv kW/VuTlCJQ[z!oiM'Y*[VtY>D˥(`c x\.Ҵ# J$zByz9?N1.}eJYoJ(k2:Ը,Y+hѓǂjY"j8#(xt]`QQ]T"g6bUJ]~BCGH;g*\^a262(9XGٯ+ -C)iboYz`ٹ߯r' 'Y&콿уdۛ#E=vŊk %$ ZAbg#A.C Ǿ*/U;r @14/(r9ŰB aFrcXsTRU^7/%U3)j&,ϔ{`9{ V6IDB;\7:Y4sAv rFV1$v9wq,t%%ʪ _؂M5Y-W:yi': {]| 6/'[asL7VXRoE=u_F~#90$I#=H\TG ȺQ/E㐡P°-d<Q LLЌ|e-Hsa:lqyD BWX}L:c wʪ am]]ڹ^VI$pټ;Ng >I˶"wԕSZsrOϹ6-tV#ERȥa`P}0DٕqVZs_vWDVɎB3Ĥ&B`:z95gnv^Ыٖk> b kRHUJJxl3U[X k'ȁQ4nD]#|̫ Q*GP¾0)xQ\HyHxfUܛa8cT? Wbp;/߾~2{ɸ̖[*J;BOuJEX4rF X5 ͛V' i@sA 9mf6 b$bE(^e~)$Dܧ(TF>j$ 3)<]|&ئƥa42@K_WDEm;*J%h* } ?suEY 6@{mR7uZ{cy3AǨj@nq7'H1zaz2 oقnրϏV081R?T6÷tGO{ġpB2x!Rꏎ ßYF5LF#{Ǘ tLiy9M^*g2{s~%Qj/~ v%g.-DOpBXH6,QL` bC@EGxƣsbѹkj61^YD7hI˯֪ç .LmiJf ILUo3LEWSV:1+{Hԭ@ ~6ۉYT9K_:Jѹ3H[jD@A2jk)Lf|=P1ox[(QXyх~hڛod? :V@"6 \fsP$.tԎA4cF,WyYPM 6JQk :䉮εX &0DyK|NʹG:[֖2}+\Mѝv< d+coadfzp)|¶RՐ-~#%..IjbUr9V79!j˅}WZ KRP.z=b<-AOY~eqWߢ| 6ɘ"͹]n06,jm"B.v.Ml*47\Tz7{R56J⪻ P蚁;u$Sn~XsXªy(O[V9fT5D[|VU]Bj, z3"TDg {ҒoD]YO}rjiQC9?qr* jM.jO FJ'3~J]%ׇpZ}@̋Ojc4Y@Y[XvK5$ŝ6" bWƥ8kx$ R1&SPv$l ^i?W#/q{ӨƮWOB¤_Veӹ7{jJ}#LH~T'!PmCMV.U %MPv1t"e41 *SrBj4YF_7)tN~toi@K]ۺW52xȣkBz%\?9C] *YtImv mF,KZё@|Բ>{ܝLmv{ WnPAip} ֶCM%Z<B4|SO0ePB5ApDhii#Ye"H)ovU{V !3LǑ0ě@bag]A^k۠{<&*ǔ2*j/dG1E8S?^* _jX &=  0ɍ>Of˖^8@6JƋ k%|GYRH82^&'^J]Th75j< Ӈ=`2ŋuBclAgΜ 8BM˿{ɐ}ߊ ClՅw0/?D3W_Lh蘮DbVF{`" [ej("`757{7!zyZ}>etr1$4?(kH8@@0{a=8F%eil "@ g<:=C_SNubC(aa2kDy Vg˒^Xj?1Y@w[:o\6)%*R> ɞ GӤaOisfL FEI_e-S#Ei؏gTLmòo5i梦@ni&[4#T2yeHH 0E_10\ )3gSgLUÊ[\:2̤jqNIê>,EVTF!9FuX ]Xi-}P ɃW7>C r\Vմ(+n1sVB+Y5q0̽l)m?QcjN2oFYnr9{ZfҞhRtXAt(C &ou.V'^c ’AZ6~vBlP[|>Ո`.gjӖJۥ*=m>>iYml׺TyV@>)D5n0b.:Sb˜$s` eqJ='"aiby6=<|M'xND+:lE8xBV2c[U-74A>er(Ot놟g aڣ$D鵎:-Pމ BM^``<''`n6M!Z>cHB em̠¥`W.$ Nj.M Ejǝf>2lj${#mhy%ɸOg!vwO/]E%Pa) IFG ^Xu_[↯ ƃYiH# ;ZpQt1?ͺLDNeX/7 Kgr!/Jwb@_qcZguUF%h=@-ez)FUvJ8leoy鹼߻-F+p^ȍH ov,K^oV3@?U :-[d+ѼJϪ6`Gb00=Ľ`bAEyZ8JErjKwek",v) v^1Lic3 V2G-U쑜ȟj?~Յ/?^N6z1{jn˵;h/ <&76'pkߺm/KVVeX]MQ;M%C 2ۜh+ 5^be=  Gd(xxH\5 }^hMzuyփKYipz1^g d\ W7| Îo1І@+ҦSKkÍZOȬecEkH/0à8K!U(^^< H\/QaFmp7:UPh,H̶=<969mɲ!De -u2?@EL%,.4c&v&Ӑ>[5"=<hNSQ pZ^p\OӐ5VIpPq*`J":}muaZ $HF jSX_ӣ47 XA:.-͚_`< }H~SO?HQHiv]=W5VVQ`;^)2IXE}eMuİj,̾hA3@abz4d)Ɩ0kA]h;N.څ! DQyp lKjA8h} ~jq6!˨bmuN4N =T}JD1U/Aok!Y'п]/Hu<(YzQ@K(#{{j]ܑ}qr- K? Ӽ$rC72)[tYН?TNX|l )L@cZ`k~& HS̀UMFmc[_ )a&Zz#+n!kdڥR^=f"o!>B !ɧ^`8Ax+fIN鮂g(z16IPvS.m90Ingz_ Ul:R3EtTe0,{̟K"-WV<rl $kal2hܷp:CNR}mģTX⌎B)lN݇Z# Tv;7zIX1ѹ(M8w92%oVJ``dӭVQ>{"Շ8$^5~~XK%iñd='Rwn}fP둦|֙m>?N,^e 5X}azOfYd52jy@s/؇^|tcY~KD:'-ёVo* 'H$+2L oaӆyK0 &tNc(WP9p >oiK`Cɿs3 >GB]2.%EU $!:u|,sC&<2/0ZXo|߮I~֌KRoŗ zj۷P!^?^я>+mw;]dMGuGk aHի-0rg կcd =j,RrH׊/ڱvP>D̒ F)0{D'ZNN.fô,VPB;f]\wh*$obWNЮ}m-$0 Â+>_7Z&:l!a9X?Q;?BN_PW(ӆྎ3>Yc~("O;z': =I]CnvC/|ΞyWa% 3_6k8ADy( !ԗ0^t'{eʜU3VU[`'-0lL؅&'x^~ YQ{i!c_:=Xc+L"Dz6JĖ 1|v)e(j-Lvet Dwp)/0h0<(U!zM>X;KUe,(A:t\*@zͰ#mT+>kS S!m^}Jf:u=0֋3ZoQplubiZO$7}{U- e5)ywDޜ{]cʝuFP^IB= 'ߋ(;g"QcISߴϐW[ 0X&p]voP&uZ8}23]%c:o!26 ާx ~(sxZ8]`|KT&L/{䤈B&df ֻr;V % rmf vl,PTHO=KXvhe"ӸN"KR Nɱ[#0ZhV./,tv\SMk0i;#GV Pe}uιưK:OWI5ܫ#ʊb5 bie^2-Y9 ?|W).#l8䢽 y8:RI|v㚞O\? JyyI[F&46H̫J)ϭ]=L =7"^-'UOƈ+`2|~swZACjP6f&ʔ/L\6i$؝p1Ox{QL1@-[е'n?S_skTeڻrO`5ui=v [`U#󹵼;Ys$M֯tK@[K.\R+8ZoA_χ{&q ԥO *JcLM QI埜 U ;,)3zDq#w=~ֽIzBq7R|:4` ^an+A|2aMlq65Z*,r)& Nz\gKV4Qd{O@QB8xSY{}X"!KDu4HXK{mu0Q% ؛ \ Til>"ܴ'x3LON+B5H?𳱦[c50\`x0\lb;AxG&*Ǐ#}*`  {P(V# ,:‰ ~/} ۢM2y||iPd@?|NGdB0ξwrj%AkZ^ ẹ]s :>3 zykYq.B~SLiF5Gp49`ۧ\]ǖ(ˢHt:2ׅeLBJGRz_wO<)g5o+BMZ'6 (t葚rC& f[!I ݎS&T <&x5уQj*t^w%-aP]زK/)d`z".wM GR9p3$ ᑙBVTE`A+ }7A%Nh(X4 wy灪+"sPt (I7EIt>~j7*xgj"_q.Ÿ .k靃#Яo,R59œ ]EG)[`5H#\x:& slBjTwqZSD)(C&'xs퀝Bq͕9Dhx4e|.وgYZ0d2702d5c0aaf743be15cc65dbeea3ad92d42322624fde0117aa7d8b47c7bd3b690a3caaea6cab8c d85de68322e7b854283d40aa8892b9eca81ccfdc bf23e2350078dfb25fd9a68956bc4a939aab4321