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~l< ] HOL-Datatype_Benchmark:threads=6elapsed=516.158cpu=1843.389gc=716.7367zXZִF! 4o]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï; MJ8O&UL159M:E*HgA: l "7XҀ^,#phb\j<c);l!~3Rg7SبUD.֘qP`h%_:3^mPIJt$ϋ@2_׫, /0Rzfx펠 JBn8{E{sgfR}x^0UHj5qd}a&fS<1m+MXz ͸e)B_0G`A&nP-5_R7:I&&Uԩ%Lـ65y.1͚VSz DdyaqIP9[azÎ"ШҕV zQ0-MIǿU')Hl&6e}u+$[ d>c96r" ~Ԩ#&kQP䀫Sy˗h;fX/?ՓA5)4]~; xw Vr܆Yhl!&%w?Ei GftY됚W_(~. <Σ X |8U%o')B;ZB 7`iBH"la"qońJ PXuHNu7Tr#%ü(M8F:aʕ/9\,f/'CBgYZ7zXZִF! †G]ŗXi%FXHSj .`7&<1nG*j4!S.IPCR㚽*|MdW'pMyDFfj7hg";A0ӭS8. wн#*Ha#}վ>kdAn;Tf}_,IT&PsolČLyή4SƝuc0` q?^B_*ژ˜ !><Z1LPd\D#-dy']{WE_ZY4Xtտ`hV,5#OEd\ǐSI0+6X%+vQC`Ad^Ջx}k") V߳%sh92wP MLN.H# W+rD씐F{.j0 V_{$1;YfMXl[^a^feABe۷fpU#XiFNɛG'A~q\MRjgY'7⡺9=MU8x'kҞ:+xoQQDHѸk'bE4SxxWV1r&u 9I,XRꌘ~F?yf,po܍`,Zf WIo70ؐ0Fh3ʞ_׭)dXKS͸!)[{Pu*~yh2(4xC% ]Y)bFX*PyME 2gM9;} PT HTx8і|֙RQ ->,q׶2x{W֭GPV}} \"P3>툉J1ҁX h/_>JcJU]i (5F=5½r l_zdpousf54ex(?ND\4lf T!E,)S}8\Z_rjBo\}E ƭP0}y1)n\?Njs6]^G'>~cL 3n^to6TAFRaO81׬^1܎+A6OUz5| O\t+Uv\;әD\ftwIi b`p -9Ejܻ6\v7hPm毞|K޶Rl'3Cypj79̦?Nnx u#S!12WF ˿óᡏ8TT(89vփ\.<zNO@%v+A.:RI6 _X\ԱfKޱW_!9 lrF`nl#g/:=O@H#PgJϹ K)8F*nX&}ꉚ8q?#>m[?vbo">$ 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"䲚#씋0PߪrcN-jG|"*tNoYv!0ҙ5Q7*ãT,fϱ#s F0@|p"%v; fƾ>{ żR:Bl, =h,JJLՉ%yZ8kz[Hե.YKrpI`-oj8CP߇V!h :wL# I =(b|/ r$xSfev8<`ތs`aJñOsTuB(2=Қi('!+'ʠWP)ՔHT)X{8ylvGƉtغΫ4<2߇V=r\R9Dwy܃FjΰC^_܆:\d`k.KbfjNXddvSm܂Bwɼ_#h #s O߻xNp!#b&Q􇻿šR%ݣLj(z$\ci&4o\<HZ\cX1:0Ѻ$CUͻGw7ղ'(ogo:x Q0kt4m/}+,]lpvYN70KK&x)k0 o%VŜ7bOlw~/xE|y>%Va~Ram*XY\=Q-[ŷ‹|mh\<qzs%FΧ=CƋ'["tktGb"ui{RIxp?ėZd %p.Ik򪷢L/ZDb7c>(Gs㳢UBdXfdCU!XE+]`VƢZQ*EܑEitii$d :⚯y>y|%r<5hiR00֭up:0)%<ӑAM"^w^LɊ Qj-[-H#ʺI0Su9G^JEuszf:jbkyqVQ8%IJƠEe]!Ga1L޲ag(cR,? Nr)u 8O$"uW]av<,"^=ֿu?2L s?ޑ~ M2<0ʙJo:;U،1/6$ƺ=Qrم)E_ ,q"pwTQ&e'aI_j ?ro02BT5fɯ  Wd5 |~;Ѝȝr}:-R! 1h. ]s-nc&ұk &)uZ6- c7'OݖziUND:6|WV‹gzV ՊM.C:_%Hr6; Ty3} x-5p SIlv ~}9'c[5Ej2l'?Oq/)A iv>slwg8H0ʏnCKox7"cLs6f--LM$`2̈;`m-Vl"ਁnnN9LYig'd.'aTxG1>A}5Yg‚pdؒ3E,-rNs&ALaH#+ kbP-gHഽW-`ufS'ֳ-Φ ) Cr.LFmkR]@1`^!ȹ Cz7X6$GP#wsfS>dq=/xJす_oG1&}EE{׈/U8q6tUI |g;w dDž mY 77x|Y9w!`MPvgYZ"i, o5m+d3ٿ.ɐ L/K̆N0Ub_Pt&wAd SIUOwηǛ'65#==u?=XAUXiqTKb @fKrӔ[ԩBӀ ī Uj ymyNgדLEIioI? nq н0"g[[o7J_)nl]购[s4ml@^$Y].I-<@Cn-iPu!N 0׏+\hm2\=EKiq?z i~4'Wm7%Vhթ=PPM%#"RPKtzn6XrS|zW=_vR5! Q+ݲ[nF5YeЩ[h}'+ކ5~G~^ٌ<0ˡV@DS*edX}M!\f*n`́U1pgb52i/OZ=P4Ҏf84`L h=@#z9lEw\IbG b:rƩZQ)$ mh"_f ^L0?O\5%)2kݒDF7*{D{?&# [y Dž{quFklگl0Ag!x#E#Z46\/V1<Êr@=4[\~!f c~tѬQЙE[u}ʂN?$ }g鳗^ H\,tdOJe$2 7 pHїbAL&{>){jimD 769K,P&[QIF4I{؜`25i/7Z19e9[D Ч nIw(R+,O O zQ>W`M*lugUչHUWuy_p_Hd蜗[i𶯍zxWؗDܦ+i~z4y䥴N(n4r,Mۆ`Ϣa&:?*ݩPS|qή;o?i噠KUXrA=V`mfFZ;~K7&LâU~g{էvXw# jr4P^VQ@E6E҇/6ـFwSt֬h sU?gK"W\GX a~jƼ wiB7~G?&=6Yn>ÈG*߱@.4'PAlq,̢9j`q*,CM/E'`sXdB<&S66)'! /9Rm.t|d XØ'Yˎi𣿤mi4L]2*yB-2>AyMD)Y+lW#^@6^`_`HCK k:Q/k: @0[;799WQ;^w$ZKބZ]TG} E ʳ쳍}}LKxgM;RkٕX-맢HB̹ūN@)!+3FlY372MW*IDcOB/ˀc:kq*W^ְG~N焷:;XĒ'b13 ؟dsѢ8{7HEUGkE\R 8} ,9:bkoپ$M (y~-Kt5ZAZ#U-(dV$r8S-ǐ;<Ӽ|:1S܍0ǫoJ}0U?^ <"wd9KYUGsD:ے $)YN{^#HҰ;eO@UT_|ab-X#˕0PU -ٱ!z,(J&H7c +cUϹ'C5vGПZ޽ Bi6l:+fZdX $ #YI=uɪ<+ Q] .Nx! Ursou$w~ \?BJ#lHے*c:zpഘP!,[xyߺd7G r[7NП 1'O:% <qNӗ`(_a6.'|I?W=_u[F/B ,+Gfy֕C>7&g<߫i;8A"1 5F&Mt7n;{Q*樘Q>jGzw c|\=JG$$aG4yݑ:l)9r Of{:Q~EZT [HtN;2N~̃(C/*xa$:BL>o,521rCzw:0=z2`1%27ȡFǤ}6z0:ޱq,2g/nSbt6u8Sȉr#Mh  e ^m/zgcH&)tѳ*hͮ1'Et2+E& dVי9n&/.J%RrTh.PaԬr)d;8rV1ZɍW X3Y\/t:̜Imy+$j5EOu/yj˪KKL!Mۘʶ@蔛-OA+*^dV "%qpqW(Up7)Ac_"nR8;'FzQ@vJ P`a^DV0XXw1,Z`g%Ms7њn9M],ݣ6"SF_O&d-cށ+ 45$+H|NR= KD~unD*g 2Ϟ Ԭt^Vho׫ k7QTfzEU=>r`>oŁEraQǫpӤau|♻Mu21CΔn`'>o?1QT CYl{Dޣͧu~s*>I}mٍ!"hВQQm>:._&wYFgn0ƍ@aS[dIծ; Hu2!WCti[9n侘:)uQn 3̆vD-.[g#' $fxr[BzkQ%`(]!<G4bT@xBM+V%?ML$[!7|MiId5Vm>ϵ`61fU[07Ї19E2A6sHmՈH x귟2kG֠U vW-f(t - ~pL:xwo P5M.ֹ~+R'HX'aZ-u0ne* >.ы/اSkgK`*6A ,3Yge!4n-n+ [_B@O:*;V-͹ɪ0m [wYidټmq/\HFjYqq+1_2U Y?fuZb6',W (|+)pj5헥kHD]mso!:wI9jDfqܼ59q }/=gžJR6Mb;+.*ط b8ȐO&缳|ɱ.i@跭hm|*XL*֘pw69L?eisX>:lMF3\vGgZgvlJ |Q/(SOR#e+V~D1][ƒ\)|_l}&MO:kKՖD$? &E;%7.18ET NiNH *gWw_Xyq;Bjhw|Lua˱a!@F}1Ot ۍ|nϴ/yf>LB"P*%@z}07aPԄ=Iͳ3PvȃO PfwU p}c8|xǃ Uոķx 3D٩b[Ww 'tƌ:ýZl۬Jt ]l E/F G'1v|1ʱKqLƞw+X*8?FtZO Mx?מΒw.%nq(Jwr-:qJ@B&ARaPQtZp$Jh3$ly~YBuFB*9 ~.UEQ3ܒ^>,Sδ15; ==?Oh"RDH5% 9aMʕKnn 9,ԨrXǐ=FN\n|-hk3^0]V=z1nkӥ1C,m`jxTVw}}] ˷W#^e1^o9Xׂ$%)l#{1iQ 7`S8VtLZF2v7JGѽpDd9I㛢k P0zl?I&G?ZxZmAEඣW{Yδ0\a&ai$+ -sig/J0a-o}g_O16z= P~M|gxHZ_u(\ap' W r`& SvsuL8׾f^o hj/֞{Dۿ\*t 2>i]M{JhXcAJHW"  ~E!GQ|pB4V=:'ԷNg>49=lw9UxrlJq`6q%gFY}#i@ Ď3;Q Ԋ]zp\6 :/|(CJZKp,a앵ٻc9zWIm} z fª)TI't<ϥ-a K?_+?gg.;NqO/*mW"r)RyMiTΥ֕@)쫔E1"3D ;I@@+x-`C1]xg4׼HLÑ6dƄ>jm%$@no0dv?>WkLtt5˨=3 lk aiP=(2&w..mDoI> TMD,=y^?o)TA@ .OV4k P@(q8Jh+4k׋MJ;O7l] vFF2Y=ЄJ`z m4X_Zہ.m_o!k`#Q\ʑQ$֯.T4pt8Bx[Wv7%WN(9%$~sda7w+z!V-N4Ry*ŭ#3׶`3P*W)H}yk/6" jl>kvAy 7ܑ5zB°<ٖ_fH`po>I2'q;y>Q _O^GD/ќӼ&\i+ٽ=6=|zMi"R$Wy(Qs"kWoOG-s3=$6?+B=?(%+vACΣ c`{I+[pcݼ-ayQ<\7F+v􄏐Og^oӎƒ=~AF(UzI+֥+ըU >4W?GDfUˡRC~nӨž&s/d^%{e7@N9\%M_cD(L20Tץ6EzNu@k1 0" 5ngOJ݉q+(:&W1L&GblW: *Rc~ʞuiʪ؅u:MqN=S~1c٪u5FĻoj.VgHE_%hon>>a]^jq稑IAo[`4 ƫ / po&ϐ=쎇s#0K꩐IdD)Dŵ1B"zJt-yI=;ˉswthL k?zvS{d_wBjԮa:uC?$`+2֯HE#Rm"F*2Rh#š|iB|Y8kni g`B9HJ 7JHRP_QKj`Z!W,K7y2L9墐(LC+\ ?9@o%Fm#7y),c'R0Hхu{(nFfȏz}X\V۔lǩTwƳj΀K5|as"c,t(SSF7 2¹V.zK2~Bޜ}8("YDG]7̣׮9\ ijmԹqY|ϋ]_$;ٮi!f$.宄T낯Ɠ> 0ǃ&ߕ6MtAi :YMgEw8:=`SUlG}Zh%7qLZ8D̵nti^đ:' {@:gϲ7R\K5$l:Vg3">?Q ;:> ø)gƌLN$(|\~i,1yk u]>vبU2pÐzMsʾybk{V lۊu?L"u 1PB؂Cz;{ѥI>1nI:L>4k~=IG2$]&Ib>ә{]E❥'59ԃLZ@W>#_D?8nB.nt)ZGv< az!߇gBx|v , /kPz˴~ TEM)iFg~zݠ0TVUǝ'WQ_  r?VFyS j&yyX74Z))A 9B!RȪSv Mo۬ƀ/ǺI&x%qnJJo6lk L yρA;C7Xwr==a 5UBhpsȖ}hYz_G//H BwF[WiJ^ҠRs+e&{ro.L|I#<BlZhR#EzJ°IN E)E6i7ЅR̫f6P~j |:Ӈkb}X:v Vn0yH`Zt@ pЂu*i@#TݠNp %2US1c@C&\]c.l*9&E={zWj%KN=Fʯxr%jERJ-SqEu[K M4#eOcu"am35,gT5%6b[ +q13Zݠ/W\<ŌewlZ|#hښP`?`fKZ p v 8elɪ/3@`"8wB1N۵TA0ay7}q `z֐ ֌!PnB۴keENH}h^zg\*.͎eb?}0:uFK ~Y\V6Aaz ,X]-D; w>??[q^eYh͉5)C)cЂ쪳,N Ѻ4i<sݪu.՝sSIԋ]nʒ)q A/:\X2\wk!"CAo~m)Ē_n"{34\׾ob=)<Κnqy='|־8\@GK0iB@9A6LDEigOp-Ȗh$^JUw@'GCr}[o`18Ee/ofn|U y mf>LeoR_10 cClO9g@G{:bu.z6ms:3WPi.ͿСog=tlL)J$U)f:NL_Bm}GA{GgRD4wgUB 'U !ڗ O!dž[VruKʾesW&imxD.uw4Us)礢&t"N>/tu90E hzGjJfG_K/֭%ѫƕX$[D[CdVxpa!.D87\ʏGyhJwxp+CSwe=\57 * Vg{# 5>җ tMMs%/:0<ˍ%D>xE7- IENmV)#v"P܀F1Z@ub6P9SAt01=XĂd7wk=b./d/p*2T)}/w11H_}(W=NX]ծJlzt+t 1ig3I%2OӮw߅Wm !{k+; KuV}[T+eU8C> 5 )AbcrR9uѿGI83%zb[ >;ρM^zsi´/Ҹ3D߱rmUe2̯^R|좆D_kvѩ g<)U8ǚM WMBi~0mN/.䑸Тx w +(֭kB329`nM) (W1#rў\Ĩ| 7G)”m`8ltÍ)|Lh5W;,J2!f:֥2P%`U?]'Z͌`r$in ~Unsfr5*9O+nECizAhUm#+vI$3N0VB~>4]ZWgT#Ym_ГٴRh1[K9iX ɰG!C B+:VCGXW0i - -և(FCuO `tW:,e&}+~ژJ #\xlNɪW߱ *+%Yl3jܱjl5ۺڙˬXc%JL!E (3W Q^ -MuT~(!@bPuH~ +^8 Ԣpw`U[@(Q~ +F" Mq$ ;1E֎dQQ~UHe=t P!j&+SY//&[lGc Ĝs$|y0n*/;}|diZ)WLv&dxz&gZzY[aɉ\Awp;VԭA_l0hLcc-QwuU qGs߰.h ZaS믢^!Ku( l\xؑp@Xݶ'>΀?|nZ?C($ܛ*cm]A?v<ڏl8=~8˺!>6ܬOm{-JsH ɐ{sƥ\ "WuT>rm@_zXj  z&ŅCUr;5x=@MA{1zC `dJJ"LQ3\& QyIs,2$tҠ0`x:p3En&-TWk)ύ9 \0x2ъECjSj2N(a0 =`k&l@:sF,$֕蛿U @Pd^gVjA5KKTw㶺[o<8O1^OBK@nšzor%& 扈eܼ$}j&Y":ثa'um10*dAS+&l D.{$-n~B 頲H}в癇c Q| 2+3G0`bvtp\-;lMz-be-_~vóNg0R Zը:R~8ܜ6ISձ"X\i֯-p1 ζ`-S $?s,_*\B RՓ+㈫*k{^h~7h70s5ѽPd'[9/B?`[]nH-t0 -@%^ɍq ?kL I@ D@E,;vzA+X/u NtKߟ]aF"] 8!l74QC3m)֛Jd+o v|OkCc>Z{US%#)oF"[?`)0cNI!afWy,c?#ے#j{I%a]FYp DAsZDQG{<׺I27f ʪ'Ɯ YvZʬF!9$R$G|Dpc> -H)]F-uFhSS䡠k_c㽡e *tkxG0+Q/oWwCϽ'JY1pg'm7+JT֣W{Dz&,?)<8wOJn sZr::p,)=Te>VX9Dil㉢}K⃲)*O϶C]A#ܶd_}]M;~lp&'^#_iNPԋm8[d. \8""g;wjQj#_=|P#GѼɻ?Zp>y%T`Cz0e05ށ;" @ƔBL55{Ue)Vy=3W':h-" ءb Yvv%.Wڼmhk7.I &Ƽ73A'ND/H1euLn.Yh.LieB| ֚8BA1D5u94OB>;# Ke;yp@X#8molh*ǗmQyNә~-Gi/U'Q' ,VdO> ?@tj4 l1۽"Gho[6JR[xx1鯻 w+K=# l!*Gh[Ql,[7e6nN]I5QK޺ӿGRҸ6Z u3`7xk xSN{ /8BӶ,ⅵKw:"FC&m i+Br3ra Qժ}#aH26$oPǜq`4f0C|?\̔iq<ј!@8sgⷶDIs͏K} [S߽]7Sl)Ƙ+qeں0}ۉ'pAz*fXYN-{Ѥs H,x"ğXyQljsQO'B,:'st# tbbdlIiqTtaZp&"zAOU*kS/-?"x1@U68NWߊ(uĪ+?TlMY#O}Km|ذcbcqΣq:&!ׯ\hCI3Zd$ZE$zӳ3qS! 8?#*~J_>'H?վl&0 whsCtMnn!t~v~jCmBW¡L=Ot-ʱ"՝ijkA>0`' ˦9``/ ԗc;Wtv)xVrhX&HDqݾ2Hsl:["e0-Q0܆\+U^ں ɺYq3L [ܗB#֏̓3n6 t<{x?;tڠ+3UB_Z'Mp!9OѽZu[3_~&?ЫOy?@&Pg앻;o)Wɗau懋r`GEIp@~?4SaK'KedVK2 z" aX}tc`ɿiqL>vE>-:d}l]V枏elU~Yta/p/f\,PGj/,5w&>\:A'}v|(չuhޅX<.M` b~I}ڐ1#z9|!x%/ w5Ó}(ZԊ6}ǐ$]# ?j-Kk 8m'T'npjƺ>$Ы+`mITBĢ\&n"uQ07^;P/~u )!R\Z;uG߻CjGA<͜#Hd?{lRs4"Hpj^οY J` 3 kdzN۫<ʢ}zzcǡ̋,0”(׶uyĉ1RQMxm;?0} `~v;ѫw _PǭЭ~^΁u]yľMǸd ۝>Z3p{`e=R'/ǭ%NƐMƯ%4bEƃ:˟N4|F]27OӱS>ͯş]1kv3ju\Wj4x$ ņ&|\01+Et*XJ^oMu .+[?F#i͗V_tu\ vB̃igsT<} Ț2"4lh\d"qHz=ʦؒ w^J)3㊷0CHme*+i#>e+ ]=:z~#pKW=(l q*SNnXIѺ:R#K@-2ŏNs~DpdDȑjHglMB 5R[_B$Qwq&(;ҍqqs|%:7X%+81ݭH$31͆ =*<^f9ֱWwrGZ{+BO?ؑQƒ({ΪWk$骵Vk!tPQ;-8Nh]Ǯ# ˁؿ `z~I* È.Tu[< #둌M dEרm~ #WZ2.F o㪀,/L:˙s[a>G{+nu3g-y 9ʌpMkIKV CW[3&//7c2+QkK7?sy理AKΌ<5Dq)%j[UU [H`4ݩ4nms $Vڷ=H{+qtJgjB)U3rfiܰ|o ;\ZzrrkaBWy U*&j)GpO2c|J\%9Y27.+y + Lv3KH&3kp-0%H3sNBh2Wzbْ3/GX|oFaRiT叫kM!C2խ3ڣ8ZwHѷm7p]_+*-c@`hAc}CYL%S/T(6sũcB Ke*RU6gћFDLYzJ1&I˕e˃Öۏ ;tx0ҹ< E 4<2 ׵v*q.$B|c[Ȉ,z BtR[D`R?k:w=ig&wPj4,t_zjx4 `r^@\hZA(Fu[oeϙ(`{gP}4 Б$gc`ᏸXHPΨtݱ]Vh^_;jjXoY8ˮAL8MiTum{r Q&S:=X`C&Wٳ͢*Kd,6֡} F3Od)ο߈4*O۔4+RB4]Юi-0'D4-GEcx1ݺWVk:XɫzT Wڴ xFבG!?PN 0Y2lq@WK3r_:UDxp*UCXαgYZ =}=O 9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id518l 9G' THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ija]Άxʆ5.f-9 rq@'{%uP*rݯz8m){zT:[^pm @L^9K}Ty<#q9EP Fho"~heG $SPF)oxyh#:vνhE>m||o#1f;vth0VGPat>W7Ԣ2q-kiɌYFzFբАݾ%?/Vb<c]F_αN^W3V^,Qp֖4DtЂ&`Y7W~v~F'd('@AM;VnޔXHD *{P$O>"jG,aYLQt|9@Ǔ]<`OK84Rm1 BkWTz+C< oEBF%Ń|{ēWjq-!.v0 &Bη >Z3,ं4hIk[S,+~ݶi h~Q{):hC4zr ~eQ6Yv#.d6od,~mEOU:ۭ%;\(l*bVx?*]~q.ހkbb/G XESYU}29vBP1"eVob0E`ݥW4.k%^ępdOιE*@4rYp9f0{3;;{ bRӞ˻Qx/K u!:vp\`y _Zs8VNN3ˆvh=!VX!kͯ|Km3H -%p}0vLa_I0Y:@:xO8MM>;ݔY/h-^-pN595HD —ֳ6$ k &֖xӆ `B8b`%@JY;~[L+HqqòS#( D] c [IgYZg 9G# LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! W]ˠ)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[j42bqIeVxtt6i#A*gxŶ1u}bV`S~|4;UsRSռ a+g-EG66M t3{F;hVrDIirV Iil_@-nޫ!1Έe] }ʙ!^'FB~, a>z>JX綷T̢2]})0)YdM< BTFU'pwt"dnZ%/y A ,lLi ռ5ΡŸ0!m^T}ЏEzz% KIq}0zi+uws2mAIٳK~S Œ"i$BsڥeA4(˚bw(-SL*Ab/*%-..xܛ!7Fe$dAg {Dҧ5c~Ʋ#oQU/9I YT>Vata9 'V m-Q' jB]; 5=N3>ǣUԶLtLx+>D7F)ůb)e<\6^_ 9Jd/GO5Dd/Pۙ?n=kFD^.i(TU:*.T{wPK*ʡXZ5[IF||dBAo5Au=P1CMxz4p!![Ӛct&6xZyzRڨ3FI OaBu\4@JE]BLjS|[wTz0}cpzXdɃXZY\5/jythpaJ~) £~iV/Tvwx{aH@G#dЏwh08*ufNc9ܟ~B'?qbh!8E=!joZeo{ 0fB ,z6fEIC2re 6C[%HE~L@ZTш fÖmV^t9d&nTKzPղz*)tE7$q B2~U7?k7ϽދjoC   Z9K' ,HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢O]D?7 {?:fH\7Źl+g.%-2"ne#Q+au)&u}4= Hʱ c1 D>۔&07[w\巗+ԲЃ;tŰTd"_#yzit=b2-.! @.R{.x`\Dk濆d6VRRXUC,#4bv@32B5fi_Qg+?H$Ҟah}TON7$b8&Sp8*1Lj;N#^?A! Hb)G3HwcMB)Yy8`1/NaaOb߰ypiF8.7} HX]Ml `|!!a*?E-p1K@OoYYǢm>-^0?_.Sf {׿8nKK8 tGF{`[DRT|]YyNgMmeC. tvC5ՋHhssER|f>+t-uP 8qbz+ց{^ǟnN^[ C'v2#9 9K# lHOL-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.thy~*s[llZӘ!KuRiiڟUHf ǝ)-X"wDkN<^'q(ʾ6R뮊z$n;>1De#'pnݕ2jSTE9<1[8Vb+RI1}^&Y4)7l\㱠j9X(\/1k J6xy'j8iSȴKV^*ڡ]HlO`:q~]R@8X b¢w",ڣuDh-<r/ч߼x#77׻@lpF f:j+:~ HÌp G&p6;LJ vp ^tG?EzIĥR~b~V/Z^^Q`!%+DM1cI@H5smAgmo{RKҀ"JjIͫXEaŕl/nvpg;ĹA1jGq86c;]?m!'WioV/Emv[ɱ 9ob>- cq DenV=T+ߛ$XQxޒȑxvnuH 䘴gYaM-9j]ǰ`[%B_BcNMUeA$BۉJ:IJ_DK6MT(J ]=Pߗyh EX!9 jψP9JPO60<)dz[R9ڞz2қv8z`Jvtr故@nC%ŔN-8~D;h e46%CC8?XT6.^*t}0jR; 5YV|Je|$% G{l!i$?ClOC3} fkb#"ѼMyɋ98\V[E~B_ g%p/tWaG q{edvq{YO Y}[.*/jЎTNRW3b)$&܁[n3@OG\4EoQ,Ko}._V}IIe+vJ(q1Ӡe}؍KUGǂq >ݡB" 5 wJD؟4ydItQ?Ha8+@ *_{;$q3akB>8UPXove)QK"V٢q*Wt(9Oml,rç}c>*7C^Adglp!xKՒL"2C}e?u =qjTxԯⰢyWWZqQq`0vC JDOqNj r;\x6cBM/2IhAᗝ};yqel[[R7>1RE`śSlr.~*~o#:i +TGY6)/ MZb2&p&*ALzLB]EB р8YC;.՚ yHcٗL뉥.gq<ʭ)rt줸f҂c#xDmXɦ;%[ʌ9?ω ΉwYnn%:V-{poH>ZK7+*KO)LJ=a~E̺׀߭-uKUu1EiwLn/R'sdž1V<!M|0ULl}QǞ;Ϧ;%sөE[$?4)nH}&ǘе$t{J JK2vq *%S+Nc\ky\P6edR~,d1 &8GXgP|Rwl`F'S& lcq~Lo.q)@5%%{7 3Ȯ qPsɴ=ug?{5A~!5eB9 89G'_Vz}̕Em# "O)`PV h6iaeޜk^v(欥^׎;a=1-K?'[g<$ TTaٗT m1%r|/ bu6{Fդ4 ] #r*=rE_ݝB23/&fN[狘$%F40F3p{)n-V)`aICOwB{id\).39?cD?Z4:q*`6!1.K[I-BvX6ӍhQRa8xmQMbL 9W&G#-fK/`RH}Fث&B%$ q@R~)BvUt490|${6#\*;߹a\崤ÞmAL,[j2`*_2 )RX-sˢXD|h `insV}ͭ]y]bߚ\_=%d1]1Cc~\ dI=/LCѲːBHC\v&Be"R9*׻`R# t*HM[Ēt. 5mxLѓJVR;!J^:V:=5 &z[s%NwnU#6xlܔ4]$^CelC|į-y@nfm&wp4_@u }/>Ք>Rk |_Zx#U*f$9v7S.7CL?]Cd>+BS13*+5 $TW\Sz4x$ި mn*ЇMx6:wsp? $JO*J& vKqG7"RY*WxpEf [%0?caps=c- r$Oz>1df 0f:ʊ"*TWj˳Y&o=F(V2՝pV3(v9Ae!QE>(L3ݓ_{h3)إp&8W ~Txf|tHMgJ$7wf˳"^݅,-X҇~{NƓLʌ;א_BT]JH+7txae"q)@䇎X\Y`8־ Ix+42vh%)@( WR;Exp=gUpƞjMXrFnaW &'~>li"'۪G.+((eSDR Qw,S0\_K\م2uS fbf]ATÌ*b9jj=R3RV h8e_&uPm$k$qBʐ R$IH~SʛƏAD#J0UJl[4d:F&Z[{Jgp->=\xìCբ€rt9у dBEmˏOcq=СfKˠ[~\)WW!5t/3 ls'>DF'ko.hz޳U==J\ΏW a>5'SB8xR$e]!$C{>hOu O2;=wUdy11bz6Nu?u 0"Xr/SQݤ8)/9~.$VWYJei ͮ}of gܫ;L|";?m/0}K+RgO;+&:fւpC 8vff: kRPBXk>И,7系k[1O'/oHKpwT|a0 ̫Ap4_EDYdMyĖ[hR|4 ;t_{h8Pnl6$q0;FU<9ROm@ R>\[2f0YA׸ҹeJ"OeVsRG*> ҽHa\O(7pI@Whcq<̆Ѡ-Zer̅ɌR]qB&RN~}(h5? JB pPOSٸUe ֚^@v0I1=tuT~uq sa~Tj@U)ZtpqZ(icgN rJJhzZ©n@]527[d;=Zy> u^Š?XeU(=rA ES"'k;A/|qt[+sajQ09åfZQSK$ߛ$4JEWۑT8;u?/T|}5߭Zm-ňLm>QwS{ΝЩ"_nhgIILtZ&P6 9PrŦx]ī?#YhNcVܴgb`vmb!}Ucbbυ xޠ"w|.?d !uOQTWnR5Y K7/s&ƙyWÊWS79N)cn{+zI'\m1#7.a_+#(̖;p?{{HZALWj짞qCaUO=-tʺ!b[F>G2[+Äu"3: k}S|:22~ ?^ lQQn"lVgȠ> N vobXw`zMH S:M#99^&zqhtxQy$1ir 5r^fhq/1ȟes/&؋HS*u;ŊnsU clQ=>5sW C!xߜ TGXh<ߺ݀2"WZ]"e>|(,?wq"zڊD3`rg[]ZLGfJ]+i[=DvA*x-,`\>һ$- v!%K]u~B/S(mJ'i02̸ܱI@o&2l 0߻n5ٕ1c=5R_V3JL2*/q_I$BiWԴENZC%85Cz#)gKA+ŒQȽ*ͿBhKm0X(O7Qz9)bORn5w__acpee5^ZDU] MjIBPbghZ{,2l(ǀEt^-ãm\RV ZhYy'¶aPJG*a&?Y% 5pHkZ'}PO l|^"a[3GkUaIʛv^}p{?+27xe/"Jm+w]Ge֟ ;G~Ӹ^?\2P~p"{'ZQ"2Ui1=#H! W|? $j7k Vv+j7$6+;5FENP!{YRSG˔q:@i摞T\,H#XH ބ#r&xe+j(G8Xm0r'I-SʙEܐv}x45b!KR`MZWP!hSS(çCp^tUyf_]j1ae }\C^ȺFդ|AQ*Nӑf#y~?إZbdN8s5E}"}&jx\Onzz;7E$6ر,f:J__W\ Hh0r/=KLWM_l\B Ӂ(w(b|5ԸZ`ʯp1CB4yblO~LQV]Q qz^_CL`~Б$Wh/&#&. WhZ y.)aFDvpgQ~̘t9wXcI J:4'֤N< о\lNkz>,kzcZ,OSyRHKn#r#Zx\XTւr1j{\?sa:Hi)ú y5,2JZ@[?tEh`FDEՀєIZC`H'B=Pp1-nD:x| d-9 ɺ"i/" Đ=*+{#"g;V%ƈB&<%"[4}`&~TT :zlG3ƌe@xArE ;F]Ww@[g+J)r3 (z dOYz=S2f+>^.B",Gyš;l<*Vo=Km| ]@y.EQηoqԇBD**uلjY.w"5i,-VF)2kT؃02u/bw~Vsŧ yx5{*Yzilt$pjaXn4r!WU.2oX1}sulE"h/yRgOa<fT4uݑ\4 9h+ri@M:(1Q~Uj'L#(&S $MPI+*32ߢ'<1Ln*{D;.oV_7~](;;cJ5KׄТ_#Xbvu{*3伴}&]a T!? ^4"@Wxt*:?m],DQ{#Eȩ,d!fiQڧҚ6Z#?Q\jPKeTSIP6Z^e[w#ћ5ZU8T̻%!YY ؠTwJkq[9\rL: jH$(gX T؁2zj=>)s˕4Ļ%uMlgw$TRM."bϿe_c#lSVJ{(vq!kD&jFȚgGo2M"=ŵU3w_yФo+p&jp$]zu(5>%de{+Rĥl\D Pe^`4 hm;J`>CЊUHuF{+[B  ²rTh"Xxyea&ÖrQA=XT3Cω4KRяBf]sR 6KKmE T mOv=)Bb)lg%츐$P> uP˩dn&f s7k>}ǹLIڅZ\rW&o87hB_s4^ے)\HfA/Oag?b's2mNF[ Oj\<;Q~`P`(ێZS=d"+$AXZUvI4@^2!xa" {@]{HŠAH ^tC4"ris_=T/F'η1Q9Xx!VgqTQ,e d"W(/%Wh5Sl@Iȑޞpng=^jc"VfBN.J:F9a3V3Tf%GAj952\Iƫ*A)qްLW` =~M PS\ dYz/^kꣿt߼թLa 76F ֮Ijō؜@J Ms+i(҈mm7!vvW &Lp,0#T*%8&6(r\ҋCXQr|IXlpp*w% 0Mo?<_zaϟLsdNd;<_qpAv*ezkpsDZ '<8*ГK& ta;Jwl^Y2BIip!68Svs mg~n:SZ` 8Abr1)+sy*V*ڙRXx);GU X L=R义 {Xy凴N%p0U]wz V ܦH( fobջr8_vesS 罁Ju6.krO H̻Q_|8{@U0.;j̒?Gih],X\(|yik s\@eV)37C QL o7d]VS~h& C݂ 5G BKl=vmEߓ홡rf(Q.^l\p$.OZ奨}xnmkL_HCEȑM~ ܁ŌD+%2f.GCna8b'̶gōwߨ$4ojEVlkeIMZNJR[]!X۸j)(DI8%P8Y4&{<o0!5ڥ_  %~wQ[~Uj^~͡H2ɂ#m%P錎 ;l(f3GvEU[,;Wl$>dO #mޓF;mJ05'^O nU3N~kbijվ^䌀n 68ǙIܞԮѮ4w{'pw BL|҉^ a,ٕOJLtA$BC&i趙G8!Fk[ZjCi[/0=̊sbdt.YЇO߄P4}."ODհPdhdK}U>iBfr"YŠ }G u HKː- (E]zPEͧ,Gm1,v Rx "#0?h<by-Esad?>"(ƃ-++D G7ب̡Ѝx $iJU^2^%C V[ii&Wu *3LtL8#mБbR {,w@oo";gNMuip L=й5ng"C.QYcA\'W"E?5)F.Cڭ2ؙ "yjY5[Հ 8cZNǡ|{6S^Uxt*k䌞e\B9gbrדOPU"QΛ~(3nXqڋ+Ye!N@5RҀlۖ(NA sy/*?!WE)15z|2'^xxu0$ *QP4qNa_J!-*AH&;I}xeBaPARP,!{&$?Yhܻb_`6dj 7rw%3g~4j Y@b \v"VIp9k(W [5v|uHvGj|41!'nDfYOLh< ~mM$63=ŏ;DŽ}וkB0,fNr _ߪY`҄B1 iA cI4_@ݓV{9CKpiVO؃A(AeckM)IR>^ 0du :X֡t3 cq5OJ(Į7(=8E<qSf?9}ǚ1V^ȂX2#g UN4:v7-C7hg|;C K|E4ٷ )͟ëMw pwd̥&:GӆvY P&e4iowM _q]~ZNbh㔗[r^[T^([,J7הrT&2† {6q}&T8S`p#l@\:bw>`9j`$ ier3b}:3_J?Eaaq/b~L<YC;w2A,VvJJTע9:4Rcr(7 1I̶ƘFh6sQ=0IU?ԻAX>!!Q * Aͯp9;m-︌m}jR~#"LKBs/L*Qv]N}G>5hjrnsIpiq3|*؈k@Sud&G4Q-=pA>'g6L.Rg ,~D&X'3,7cyǷhO\WS%G"x5*;Q<0W0~] zџ/zqEsvDW娡|>X ?䋫:QHۆbY=*Pl=729UJY1՘i!j!|Ce2ǮO!joS{Hb: lҝvX$_dYv5@3P eZ@>E UFɳZ'% zK.f-Jl{[Equ.t*Hp:Yͼg4jwO~Z84Ą2Y]1j2 Q.@ΊGpPQl:MYFRuu i%I@$xF+nО5fYPw׿g&`1͕R ,C󖶵/ߜ9͊ƛ?JC EOz,;<΂qzvRwr@'5p K*^U,DY?` /Ǔ(U,Ϳ. CR9U+smHF4ԆFr #iNAy1Հ잂*`w/ s{'B z~8v#)ILzi6sfm,5@,T|XbhζQbr?^ᐦphF *1h4ua Lt!h=Q`9y&bc͕Kqij3\ȕ(!FRg+2+B0xw!qU`i6d8.F`^uAZW'9r|#/r '~4t]o'̐IOܡ7XIY'_!gUe%,F{=rBN}!N)sGꨇomW6aeّyLve ᇬ[v*<[paõ 9MǍ/ϟӜIӔx/\Af:OaУyi#$jJK`[;j#TS*"1;0;Vuu>&#X E}8$Tl<$9-"af.@=]؊1 }U䲍ҦOw^F\O.DCkD=u,,y%GP|Q8vjk}~ʲd&}Ơ #PP^oXn;TtإI`l YHc6Qg{=Y>/\w/QI]p<5ȭ5L6!&(9WR/k]pO7"(S6C{!uv{"UY!81@-!cA'~ǩn8Eś 릹?6&^Di9zֶq€B~ d1>Av#*ؙy3h#AV>,C8+^|! {u72,Ķ΋ B|4΁mHx ]zQ  = 郴KzGf7 ps0.o _`f9Ԫnt*P)2t zxG923ZS&bZV8Lq K41cʽ]/LܘS'mh4ddÜ@yҾ #xiꆺ"1;(cm&j"![L&G+,T ݵ0 /ّ>ppJ[7vN̴ c>S[|cǝАF8"3NoEѧ#:ΏQi \-zfg 1\ݶaPE1>rjηFC# Ѩ:I9ۓ+h]Z9iR#b4h!Ŗnm=0tZBc3P ȅ]WM0^>0W[{gM6*9]AwrEblSA &}OVf @HL2>uOn6~T0h_YTveӚp/_A%-* XH?,؉"밴]%Hq=K>cdT|ey*?%t۱ۦY Y,]a)떗)ӧq6ۘgeРAR9'&dMN5*7\_[u*Coڿ?-Q]?1/_<#tN(,]= ߿9mSXL1{#0Pprg>lk&ZJʮ=d4w6>@nns0|TNua牉I=+0(ZA*j}'Mт:T- L,OP$ -wIY!*Q@ R2yS_9?oDmK4EYTEW̙J#RWBZ' fj/oǕ%36iW(_nڠh.+k~Ϋ[gs G$N<%7wkyFUջL1@4\ ss%t^—p-ʘN БԳe3Õic0>6ڳ**2f JoNm# x>D EWJbgHK::"T@:4NP +%O3Yrͣ'uYL02QSTFV8thlTp>Nl-HtFs&FOV6SމZbWfgH*#%1޽?b,v:~' Ө hp9$۽XX3bu_<΄; ?Z=]5bڏ+aZipy\3l<1A'᱔TGȺ9?>NblA,ȋGV} E`\E??c3oGuH:+eeA=!dOacl1D!+k{ցh'ܤ ~Ը2:}F ]f/(Eg_XR?>bݸꑽg.yA qr!g"|8mapWlv4{ʞ+@ޜHg0]p-zcHpJLpGrN6*y)~~ ~Tru@VbJu ':C č`+cip P _Bf u_YR~6uک v*|[׼V@P!YPV[n92HAZSwZmx*ju2pcA0v^LE~itVl[0!PZ5!C*aj`^H!.9Jg>aӨWRL4M_zR. 5ZG"CH|4nocA#ä0@/)K\,ʟ_WğoU;l@ym3uU/s5X L,ͥCnr,>gt{YmՄ6@Ґ: eE]T>n9%FO|pWc0[6qgH_c6>wǗ̺B #aݺ/J$7} ANoWsB9e2E}A HPg}y1 c#1PO6|s>ӵMّg1旙@Q2WLѻmTuՠ:W=*up-LE|jՔ.7BYSz8#K"QE{(GC$,i>p lK @?-l}YWBP~\ҀzPsxˠ=;˵%C^2?Z|6%_BFD0JgbdK}p)àQ4[{84O;IXmABauDy5v/p1TWK}Mt3ӗMDxwֻLYC y'\UWk@,&98:6쇧wdIxuEmLs(b͋]BLoskj2T^H F DڢztnKȃ!bA2*ZR9 ?n^вpASq;x_! LE oGe2\HEFa׊ZヘM~ZRB)CXh(: ikMO"{],.K34hd$Yޞl)?50V<̻]Uh p/'sl)K*c&/eث,܋#ޱhsj4Q[$ 4r65Yx3(b#ӖϹanETxvϢc4_[yc6g%2~4J,Wy'D=tTGH_7MoR '&GcgE?+t}H(_]ZA:$ B{ĢQ6$&ǖ[#κsBj2o_FLO Az W Xz1_ctpE* Xu ^|وp$`$-?\hk4e^g? /UնvJa&`׸!( v]H G;çE!5#XF%A| | Bѥ 8T`3 ꯺%<{)f80K" ' 67e 4@mm|l@0[rԢs,Z̘Y[˄AOUGQmA9QOVV$-*Q G!sS ?PW [qhp)FK{]c.*tބMH/CS!"LWBDֵ# HL d*< CY"-7G5nF3f Iegf+ʞ\%u| NDH: v0qT~~bR'ɊWLO?IIxؼ LYQxeݗCx zR,᪊˔ H2H"ϭZ YڢƊ.lK q+rmsUr$(V\rPk@ĖgK.5$r/}I-mw$:"uW9]i-_=#zY7B iv< +[1&O.lOhpB$) ÀQl; y7ZJ?8[B%{+N-?*H):f+bC-~3}Cx`[ê36"ZY;1x^YJކy/ܱVΜI35૾#Ձψ. 8NtZmg(AYgٝh]DeCFɪ͒zҒI)u󐁧m~KLYɈh乶=2N+eyى[@J`% OęSbtHe}nU g%o fUם o:,NIJ &[>NpxPFZ)oλ-8tV-m!߿]k.ޢqYvB\ {U@6 Rӻ*DZtYH'3b+6%dEY 3 _"EH,ϰ. BbW JMvL0z<]o&/(p9)\-˞kai!,W]N2WzU&Pd"aCgy.&۽VT̏T5ei\KM&&c%,)yfDNEp+AēO.1܎G| +O4)g}t{s*ǏLy74TjLj<챊_!j^ݗI S$LETk!`SssAms@qa[ʺ2d f/Nx`]_X4÷:f9[1]!=UԌkI_ihtQVgJ;Є!~#6g; $ ;ǪǓ@1^5<43R>' sZ~5`iщi%$"L2įJd&׹13?nD2[4Z'c.=kgtȍZ9$XO>2?aBsd.68Qh y& 7!+z6Lx*  ' E)IABBiF9(vZPx7"vieg ߲5p#xFOu9wH@j>{Y|V1!1[y(e}K & $xV!<-uoie_<#nJd r XD^w R#+,M^}JT J^~6,빋\d5-q*>@a|9y`f5̧,V\}kEX:͹-eӠ`58ԥVL7#)٩u|=N/>Ajwݸ0Mq; ڛfgH:уtn;;?_UK(JY{%;phsgQ9JeG`kF iZ; ͯс.־fw &oS,̽h(/>er1qtSk}ZL-҇WL.Ӧ NTeapiXhVU *89ҩ"Һr&TT3#hm"UtzD_9Vٳp} R\w(.2qmkV1m,| ZMMznE5jMKhJ@8}n<}Ք639ێs3ЕL"Pt"M'ٌ:k`eVLE,ƥA>^MIfFMƃ2;*|a<3;-Zݪc/ǹx24ϩpVsBGUQI~d)=ƍ`Lx6KfgYZ}`vp|uv[Vw)L4l&ܪs٬/(BQ81C/ #iĶJ Kg 0wO4j/\ iV\-Cvk]Mc3<8-rSQl/ fTU;_0A~yQt@Rh2-H]w ^_A/<ᓖ~_321eTǣ!)% yQ&wQ7L[d6MjL! u1͝{àyȞ&:ЛZH EbQ ?EL[.;50^,}Y(32N6 i>Hy- J $vAWJ;sN(lyݾ[`av s`$|GMBgxٳ/fOǪ F:LTY8dl"Xsmڰ Ey15OLo/θ@gfh߼nP>#Ɠ1}C%/JxJ."ŔZ<ü:ozj C PD义lu/jrNlilnP@ߧiV?,|L28hS٫g;B?K^&Y#T';2Y)rQ/f4%b9g8"LF\&w B`V^` ?7z{JFUl|=)"~(Kt  4C :z3U4PS60xBJZrYԳ~Ơt|/r9rwlQC0qebp:<:`7w'/8t8+ O)*!#/`̺ZKև]QYWUh#߶1Bݻ2 Ac&~BB{K?sK5&3_'&ֳ|.U$#DϞrW+{*ouOڐ5UNށl?XEHCE.3'BSl}lQ3xoZZ*6HiQ1a*"{ЄM's9!/37\p{7y4F+vzp{U?8 ]@ff#e 78Thy< Um+5qǽºɟ⏑ ={i6pzX^o))LIkx3 eַdd9ah%25b3:/dU&ht"rQaLF ٰdKqS8BGw;^Qny~?Yp/MiߓOaR^& p_J+ْc'Aɬ[]W9J\̏Y]OyR`_s6WXyw]db?8:MM^|5RbY@V]sq2fV:[K aͷ~hO,'q>Ȓv]vJu2KONns@{TZVN+"So<N%}Tr!:?BjYDRdKc0QqŃ},;cё}kd1^2@,( 0-1B[cej9=X0"iQ7eߍ1CLH.9h0zw1 n&ifBnߋ§T/94D& d^ Z=2$3] !bP\"$. ? T&c›~p} HoQFJ5LywٷW1pj]꒓@6b8f ˑɐ=pY s̃OMÀs5av~P%p JD< o'Y0aBP>)P(+S]478D R@XaWɶ!mu+8T8y+MôAnv^D;Zl 4}tL;sdi߻"-x,S7 ?uo"yqt1VצYDoWQE z)64h<,xd] ^F˳#҆ď)WJ(5/=Y0~`tAm_"2p4ߴgOfkx]?^93~ ۝ʧ؈UQMVN-O.Hӕ,CZdPHDg6j4T*yH3WTԹ:ϐL=H OFdz+bԂwc%"kj8X‡p'Q1z4m{u"X<=.(9V:OZ+2;a0 <d((7jjϧUk.ADQќQž^U"`5"S[$d7'_~LhI wy:v"V*4ϦFƬ.O?oxً59Ba0c%SrlD;2^K91n*(f҈ 1]o 3s;ys#Gnp.%弣ݱIE󆈟ƌԀ7DQCCbO c t)Dj@Ð,@dR.zeI̾e|9lƯn܈"`I:ȅ~gjRǷ#D⾪"$ 䥱gYZ% t^ԅygҥ{Ov2削!i!A=i};'H5[s_2U28Q"XjC%W DRv7/A00Iv 'Ri3>V3KܴuoleՐЬ^: mW6^Iw!SqO!`ŵb'8Rg9ScǶ+ 7($g1%I@ ~ wa\q~,|d(VQJuV58ɝΑ/t~ 5Tw#kנ.#)/̜42ʙp+@ 0n$S%4Zm!f.j\?%F7mL +Jn/0_ln^aD2f 1WG/qmg!J#)lKGDY$I:grlx}$)ҵ4>7~H>1@5bd- }?9MWƯ$Vsl֛*j)j Sx~c8oFznԋtC~ޗK:BnY6tO|8:oU3#ɠl nvF6lT9좑ḡ;t+RpBN[& Rz۩#8#c)I_U_+%r]"=Xq֔āuNEI!ݵd pU壖aKIiTʓb rQgp pB"&[՜P1x{]6 j؆! nR +W ޘNJȴy '#O 5`N }ct:x :u Jǡľ:AD6ŚI>5e^d=4%ӭ c]5AnT ܶY~)u>rжf>(mV8v>@0ٿ`bJ,¿}ш_J8+9!Py'jHwaJ:.~;UVvM/Cz5LbnOF{?#?ucMN3Ra6{ ~&b 2 FKXFOF,aO%n-9c6>-+sgPACI*=@8lӚ㓐 \SC|LҐd63ߖ_77Kk\Jo ^ާr7j7g H@18$:OΞMLV291Hs'23kaG<4\z=X`s؇E| 1_ɩU=*U|r}i7XHWD`ˌU_!7b7JZߊ$γ|bOjrhe1y6~r+X~8گ~O\mgx{ˉ@M >n?% 2_KwUR{.I/Ց,6x=tĻ w+\RzE: L$ܔq>QkCCQq4021meí$ӫ4&u=S>"B0{ Ǎ/l5_UP"D=!0Dž5/V]~-J,h[~];Ӻ`Q8N0MI:I+?Ėf9m7ء۴DX%\ATnb4Ծ/ bA3nR7f,VtWp ꍮ^"ggxƣd33߽|,~nnHiM-O87xQM-Ɨ?kՖf QFes,?;9}ذlI1o ݑ (EibG١dV?{T'83lV'0g!ژ K,LZt큈̡3tb7D$2p xRh"1ݵ]qޡ=(#Rab hlȫ69v8@}\$v\0?]L >^%áGɷFZ'9T[vsk&/+CO[sg\|847Qz!nJWEˠmslRXZc6Wx]'ᵨ{΍ 2Tu**@c@O< VEgt);kkgY=Yd>b9L}gЌ*㕘.,d$W Iݿ% R5e{Dc0{Aq6Pڇ`@Ū"̧Xgܖdļ}d$R.6F5BczMad6jK^1TmINw0;ȇ Y061{36}"u.sESer_s 7!&n>lحsvhg՝jDP  ]Vኬhx Q<qbcTŘz(=4exJk>lLp=&&2v/R6e[z#h2nևg'hL咑r3,"ntuC0+M3ΤjV3N2yC+]$uyYLQ !Pί'CS(6FIl= hfl&';>%W^6=pҀ: a<{2uTp1aqQRa3c ?RsvG>&Xqܛ=r56*Erޛ ׀}2H/c}-kLpR\H;rHX>mk/y'un&ı=an~l_ HB/K _hwwh? [+6U17=vMb6޾`M; \Waff0yP%8v(ȡz-Pr?} Aeh>Vp/BQ(t``簅:R%~{:Mh_40ՖR%ŞnoVÎ`cx 񤵕]O׹֮)c  ,Ed䨔TPp:M+.aԢU+YLHY0EHZɬq&!=s;~gNt2 l8Z>⑇;!lίAL-.C$ 2qǵ zR55('ay TΖXp!6 Dr{ 1\BKV U.|_ˋz$|02rhӥS JR2g ﳅgd:7D#TUG% kw^/{T 2/`t?ߺeν=xbov4I>"\HOwY'q@sn@Ap}ѻSy RGmy}P,nhF~Zೱ+ Ϡ` zfBX^wR'w;HtiԬ݊H?+d{?R(*G7^C1j-^j3?ˣW3/VnAS&$%LRi?}X0LQF%zHN3ǯgJSdYa*~ 䥣%sΕ$g;W##Z"ey"6h(#⇉ڱ!y~GLd_@6tu Pʦ)yb -=+ʏ*'^!_H<5 Q]8]t:c%8rG ?x@X FO@YΌ)Z몝c0g#9A'm|smR%uD nwGfQk:pJ(Fuq)zUwPq`^@6_7 oP/Z-YS;R% 3W.#BD=o#գ}bK?"d2טU=/Ƃp{&/Zb\Έ(꺇 Ѵ.u qۥЦ65O{0b_]DorQ*; J썔$%ޫ ȡ"FRġ4o Ip B:ͽE$ઓ;c"]hʛs~ԅ`ր7Ы!H: or5Wy?`@,+qfxUvLHn8E(wDt.2 U ~hIbrqK@C@'$./,5=`]?eSBOB{7p>jxAPÍؑ 0@>ք̎ӄ4"~Zٻޖɂ !\w Si%`7jHr1F_d0) j6iH8g4K=*CAV(U>, }&d?Ī+,Xil&@R.p;>dwv8Mc)T&@V5d,E} eeuPsO|+Ms B]3h}B@/cRn lx \إ_ݏ=*l\̟B񚍜=iZZON>#jl8CԃH0C{M.&<9W3j?U#OB3R*FpWiT!&[U o ʢ[`ۯX#Ï$@[KwmXJhh۾ y,&&jV&2OkX]1Pk FY Me'r UXE3 arld@@CN!#h?`OlnU(6PfVT9F2$)9d\?_$Ԭ)Q>W`hX{+a%6nLM<fdo@g9. ?Bi: >Pk]wd{iV8E PPT*,OF> T3}Rӂ2^є(3Ns"1mp0B`Cl;D1gv]W{N ,ն&+y]3Q\I8"(ۍxNQHi[u(Gbk;bmPQ^cȳZ`@Ckԃ]Z!BO uv4M4|7HCW#b.Z~FG`wu6qֆp/MӜVWl9"aUbߕ~ #.'TS[mc;Mhܦ;ecJ] 8WJUxSx!(j:7oC ڸj;8ZD# RpENtBڔ7`!Y8Bi5Qrjn(m|,O~ӹڮ%PkV {gq@$nɫ j=cdž803_yFM#dn-Biu.opSD5W^E\lu챃d ߰Tq)nqM+ QVQ:%$5hrLJ9K7 2:u8SZUP62~L  J*c(p`k5pڽA,{S2e#2G#O"4F[* ^P_LdjS||d]yݟO]}HFF?G9diȻXcT''f{dk/q#jaqJYWxE>*c3 BY -Z*:aL˜tlƝa[\hni x0KYABx}'1ŗdX||hB),)]W0a3= v@jQa(@ p_٤@|tdw^~#l;. pНeQzu;mBY`tW}xʒ(Eav[ԋhL N-,e6b0^%fFvNWWY^ܤ%k`%Hikp-6&%T)Yfe:*f%H12(\:~WaU\ʂbG`AY*5}1-biC@J0y (lP%fo+(BUtFBVJ:ؕ3 묕 {nEF],ŒZr4&@ꚘbQgڬ:>ݲs+6.zcv%ihyrQ`(S(GW]+8.5 B&Kv0ǫP4K䀻jʈ0ΛW9cЃ`<um [؛+Ae!g\u!~= e2]2&+'`yZpEo#C꺯3RFʾ0{ff rU $}iǦw#gViB-v~L%Q %cmB ћ0dzlM32ۉ(qrPGL GܺF&e;K/2>|'oyߵPap]6' ?Ind{ŋK\[ M炵qAN9N4ЕGsT]efQPraİU#oⓟ9]E8x%Kuζ<}2I#/ְ"qH|蟹Yn\ۛ>Q&QI2 o`nM=Q_0޳GQkY /P6EEֽnjzRP*x K6l۩[ה[*ʢ~+INGO~X#[n 'ϑ~f(jӭ0myFH7#6\V/x2z؂:VƸAA &? L(g 6b [!$-BrQIoj^:/kUժ'z]Ar\UXLZh\P)kbsU1ҷ,A\am&NTSd\@ա2P/I4TMX0(`處,ֿ\+nƤFM@蠒oţQO.J1\hgK<_2e]ШL{ VCF^0p FB$湽Gy%܎G F0<#5w=1i75j:ϬY@)ih@=}W tɉٓW=IԬ6չX{S@S7N#ژ(j !Sy0@(Z N(Uߦ|zG|+ E6괟&=+̢ʸ7͙T]'ln:E- ;~p9NEpBK9FWGVuGls8 y,~-Λ5xYxM2h|G5 xg@I3 A\$kF[tJj ^;pf;ͧ s)uvy\l5Eګc5O$F}snNmr{.FK^Kt >MGC`"Kͣ 9y8|_2h"99_l@zߎrѩ5Ǿ>g12GhD(0Nҗ}3/)(X<-y8tWkl%I^ƭΗ>ɝۀeuprW[zdN(I̋]Ǒ\kd{_ǖkϰ7w."Fvs@%hz enJ`iʑf5$ #e 6I…X3G(>=45kchЮc'%T*-mHۉ!d{=5-ԩ'\TIKQsѷYXw%1x4 S c I25Vo}iU1"9؎GΡ5:E+&@ڕE}Z#c>]z]Q>pkB:A͂2-2t8iv`}=?آoM?C>t |\wnc'*7u! jDfwhEX._c|դfR\=Aj|Zu.y5QkĖ:p F(b!?6vP jQkȂ+dz7.awRR=9jpMY;GΉx~{-A)L:|tf>|9_QBYdQчxui_v %z*Uؖ`ᤡK]=:=߰ CUʸ X rKSLEFۏMBsŴ6Bt@zˏym1L)[R\VߝhdRV&)<%g2jń(]RN~+shdnSQk{~[]Z S[UC.V ooGE+>cJ6gP*̓\lsC>8\{}B-\4@:Сa w-qe<=i $E[JBbt&.+k1.4Pr6{>E͘)eAݨ(eZtGX,r-S`;7B m:m ĀRW0L[ ?1uoo 'eZ gփZ˄Hf e%=철fYq?䉍!,Vu"@/Pp1jCcJXJx@K?"N;iGVyiS3,H%F=賳HU4CO}:a 6>Rr1 F̨z,kvVɠuFB~P}?T,f2Щ~%f1bGzȃoYoRcA|g\ ӈh8l0s kp;mZ-mk)ki+\jm~QBaϢ$O]m,l[1B dhP@7Hj[ ehc#2󌙊a؁5نLϕ/YY pd鴈)D(.(,$|tXטى)U\[昤*~ʁRg_%Z7.&v[l|uumiA1;:m~#oe_j{ӰܟG0 ͠muE;'Z'H( 4B4B6K!-Lhuu܊*J؋hǩfz`:^9շsN<vQdDԃNSrJr&;ޛ%.a^ڜ2P'4z^46zZfA1Kp:?ˏl%it-8#\[%x&l]g1;qrc|:ϹjP6.:lŸn1.f#Y<.,1u|{cXKN+9BTqI;/8e 6RY(a<}qC90@:0PIJXٿ2=)_{ he:!1`r;>xplyz=._F,.>x,"0bs0G$z5ܔ 0LI.T:CH"۠M?3"zw ҥɝdyyYV dArɛrݙØ K"{&`dob ^s;Own9zE$,Œ;cM%~qji/kf ӴDp(Q)ɡجKTw(4#G lu1cXgpLӶ-VA!|"_xm?tO g{f6t55,kݮK~l67 G& m&dZqcwPO?xfA>yw!]C1BM^ejg77Βq5SXt&wELH!&'AnaAzkޤ}[xDX]E&%-!Eݫ}ӌLG/r^ YͽVWuX#,@;0o3W p`\ަy.$i7iPZm/](Z'W1C]z2u~ByZ}- ':CI9Qrn:v#kT7^VLİMBEz؃ ~ec~ˏ\-}IFq?KĦ6Akc^,~p`H:'`jH]h \x~D$Ǣj^ݲcSʒ*]?]U`p3𒪨gFPLzX5cVe"g3LR8OVSqU>ljTL , $iSE8'Oelu1žMs|'5!b4Tt 7Uti,2{^:s%*“E Rùu"&f{*+ &wF#O!U G{qۣk~ pD=LMsX#wȡ&>fo>эo?RVeRR(Hz@ ȤB<;D KU=\Aa9q8 0J@.Moob upw l4_Jr~쫙K.(G XZ1]qd&7a6ŒELf/Hᱽ0-b..6!~rcID2~ k - Olo<ϢSڌSFm59/4'x4* ˞@xZ÷MO9eu]IƸ9" M>.I0]y2*pn1轾 qzBa"*hL ki2\~uYQ澫y{]psƯw9MD|o2x"ڹ POYu{Z ?dm$£OhS[Wj_[\ig2?]1jVHbf2{TuCƒm z:V'"[y\LԦ2C}͟e5uu+M T⩽P ~ ˄Jmp?rv(w|ܠg Bbo_B)c R*HO8S.N"[9"罥N)ܯHcr` p$:$KUXJzEdW1$rl'`uyvLDG3v9x G~&9⇣e xh} -3\o/:E(_g+pD6U{4D!~f$KS:hgJekkOS>ca):⽅D‹<^nQ&J׌iB .p+dn-K))MSvZe@{ٗ!щɌ)v;{O%ʜDUmBIymNy{ tNw Rh-UXec8q ٱ(R6}B:|֠yo0(1~)عhS/_z t)yϳf?,䨗Eh"Y_E *yd].-]xnh׉7L`Ý~ANn|j_+Y^Ë R3Cjki,P7L,҃]X>g^qoݵp^ Fu(B.ߓ%9\kzY܊\>)N >#>|W,b:eHw9lFlep룘+O{2*!H+(%)Ov~c"5/I_ya JӲmĐͥ\$4_sgSk5.d2`@63=a/S`!jidj2 'Oxn-<*h"?s`qI&ZB2^dߘِ1&)+a9Q 2T~ޗ)HMBX`,KVu lCP*ޣ$c#ZHE! k돃t$5uD "-$kȉ#WIM|k!bgJ"g:/`44j~oXh&kFUJᶩr'Yo=lB=QF@*Kvoۗ|a&gրjexqe)V-wu/sCѻ9/K(9^z,tCd1y/"mGwJ@*҈MUݕPi35_{OZvBvԕዅ1L ZaBgI[4yHXK<$QP?wv [ 4,.(yq`fknk-c1G58(K-=ԻD]urf#&jq;rTsjG7L 9E?)نze"Ků9OMБzY5?R5u%/4hPNG C H| ƒq%x\pq'7Gs`)(~Uj;o|*UM um/m b4b#iM$idG|9oEjX>rJ2+%4 ^%sw!mpd/';tOz~TޔTk-S]dzjcY[ԍGߦsM^keY Iz))]ޞ֐GbxqX%TG$Ȃ""xmk]ͣ!fhޚlͷT_-`WRt[8w冪T0f$ŷu$IjDPj4b '{F表⯼̀p_ō\v΢t+Ok#}B,;[\1?Du^T*W9Jq q`kz*0ϩF*hNdȸ!`rR_胸nw=1lK_ \Y;),f!:z@)`V#<-q|s&^S/o-4קcvAq~˷:Zc9hWmVD'*i:W@ݦlK66ykIҙ6bp4\ \ŧ{ѼC^GFÚ+wocvKY. 9hS*ER2^ϐe0^BQU0Rgar˶yu+jƧU{Io]s3腂W1%;@EQZȤR|ΡɝCJ.l82UڈZ+fj>BU4)<}Yf)G\D1xگC#mWٿ*Ո{_d ``%kB0!jGIEʌ.yN2i ȴQ ;lMQy!V/0Y!g#@t_Y]qU$ ĉ#{UH..,DԮ5/:w=-Z45$E4`3$5>W%J/w5fŐ䜪 uUYWXmnLȗ:e.3:bْ@Ɋ5$rA#"b *(L:.6FGk;34GcRM@̨ΐ 5q Z) @;cDˤ=kXFڳ.gN.G.`A+LҢ)| >Z"Wqmu}#Bj9|7v-D g*U\^%;Z4%|6OqEkAV4˟5D o|}TŨv^xL#T߾e`mtu2kg ##2NnOFF'`a^9]JZb'?ϲsN ;qZmGAqbdo,_ȵ>B̨22}=2ݺzaue9 ?0BmsP?Kygb3`? E?=~ܲ˔najUjq#ʭ{M; ۩a>8(GKK~>2r>2sQXp$m'2[ YҦ DSu~3C%z0+8-?R!6w&{5uC?~\?+&`<ȡvnFUHi%_s.)Ĝ1$(O+sfBrc|2(!9R0 Tݏ@fV Sn!l4 F5c09KXa7OVo滂f۬@ؒg GNu6&!e~ύ}'x`ޖ?nTf[ށxQ@MM%{|ZqcΟ397AmU@xRWIiA5*df9=>Lĸ [#<nN6mǮC^>%Kre)(wh`yͼϭiD/A:VyWuEB_&EYL+G;us%u~+&\閬t0j(%}O#B_?Ճf;KݧOZU ax4{eA/#n%A@tP|2P̾R sMbf&z5> ÚuSkUlN4@Xցm k}C5JU=|> "Mg2d=NpV*ez$J5~@% |?zͷKDs2՟?`Z^; F0Pª1&QupN0sseTp++^.wԬdg?4j`".ssP0eV$.R4g쯜j~)9NAEt\Bp)+=@eC /Hi%NP*J1upbNmy>z~er'-nq@;͖ oIDDbe¹ n"ddB%1C_U+c mh.߼͊6P5C3?`ijC!۬ʤ{>kXetԭӼt=;dlT-f;Mlo %~f3䤊q'}WRzC6ĕvJM;ƚF2q^_xy# L_  aqSOˆFVj2>ُ2u\,WA )' Fhs>aZpgr27bG)3hDE2s@oW+6ߪwFFQe2*st9gi~g?$;mǕ=ݳyLaɷ0kE F%@>aDKyKN* jOZ,QQH'./JO3t,=)? .9J|MqZ'k_ci3xEeɅn' >):t$gg%Dl?M5BNdn, )% t ^O [3{3ʭFN~v_W|kqF1l,oZ?t-Dzâйs򝡬aapK)(걸J8U>Z1]W̢f1@C 5Go}QFN`` ~7ބ{GZ\+42 (*`}ڐ5KR[n%|U/4ֳjaaÚJ+|}/t,I^^6y|@2.@ Vgo0TȊbG5dxEpT cpQr! RENo8~<3F*jj7›57n0*2WEvQpEm2vBmZ)&k*Ikrl 3V^r-IӚi`B87O{?{VLsjegEזIK~Q)Fupq_ts۰^%xH_n RnNi8&a\pDm(<6!O``ӷ]O &]ގnvƂ֪Z|hZ!$Q2jero#mHS?2Lsĸ ')G}N]J9>FL4>A4 \*o쥃x̅.TȦMf\횾V^Л㵨\=5dW<Y>48Լ 4֋em'Ity1XzYC!p@2H,}#PĔ@ƺnF w&I.¤ 0#52`Q,HgŨkYBS$5^MS+Fd ѴTMti\A&]k6 e h N쑀IP^1F8r P .].Q":N,9hRAa4Qg'_ʿchQBq _@z_OGc,14M2Tv0RX6^hf)_ 9QA(h˼0Dq:|DRK(f:^L=PnY3C'2_Q PqxbKۍJ?@[?$*3l}\9x34j^h*L(Fixw7|`E.+r/xOu1Xi2&˝/'$gX6ۉYZ/np8 d3xeñlWc7I%{J-[qǡ1iY꓏T, ]>5X25>rL=^Mbiة}/P`%M2k ]PK/g͠R})Z7^Rc=Ƌwr.3RVp3 5uO%ُ dr(Q!-[~Lh8f3j̱n%riY4:gc}]:ZNck 4c@F"4UaN1Î.O1Ot VJxp{ N?¢߅Y9YdoT9d(&Bp!Jw>=oQ2U3^Y9!h3w&,--_G .cIz\`*]"3s`&6ToiӸ$mci *y'>aNRR89+HU&jQ*Tߍ5*V:Ol@΀&.4/+L|k@TK2b+ q3#`P >> =|ƵLF Nj)' C|V+Rl9v 7.G1w'zUJJQe5'k /Kԋq@> ]/7 /{;t;6-e]T.>N\яg;O./4jͲF*W nad1:g4zfoSĿkt16_7HG|+/iLJBCk<6e @|IJe$S  7)u؄Yw7c;r0afz G%L&\7P x6Z&נVMX~Y s8w! X~6PF#WQ [hF(6_ꦵT/֤n%L<4u h#^KB¶<`׷DU36L'$9펮og"kڊtSc0Yb8L3u}( H ,)hSR-ynASX DމE/'V#z?~ q%(KJiJOДMa,G}U6a*jdkD2ͩ9yeW"yGZlO[hV@[aSBktꄸԡhl39i'HAcohp A[gS$^~癨GWxe0|]q HY^e5i9LXV±{y%@r3ua!in_-:ŐUbX.[ `<6CEAC:ioACn;mm#h870iic(U+oa5e6'Z J)ذW~`N/1F"[ ԇZ&xr]y} ƭ}=Kb4.iY*$!.dy@2ZhMh,=2GxrTp&sK5o5oeۉ W f03H~SS-$ B@r$*o\Em.7O^>jo ~B 1a=͘%hGxk&~iٟ6@@_'\=zfƈ$eG jc+; W&H6U2Wz g}$t!GnϠ2%Hs]-!,=ȺA72.QPAptDS˺̮ƕ[S}e.-mΖah5)DF|Ń7FY&/Ȗa )[Vy]x14zHg$?>ӫNC=rkda.eНݥÙ dڏ0n<$r\rJQ2)ê7 '+r-B0I#az1 LJ@!?xc_\I@w.~$5y̟.Kͮ&nmdtnsm- 7EcODxɻ*qb\r6\3aں-&!&t:zω0f4VLR<{hpxt 4d-x~O =XuBSLcKwO]n匸KPڒE馞(T0E=f[Al l}VKJ|ೈnX((̜9n$WI ,ǯd] F?Vf~dyAH’y +poC#kJBD5=d4P!~R_< όw'ͤ҉A S8Ħ`#:4MJ^E9;B-LP3v~c *eyC(9(Bvؿ}1 f(+䪨P|G{%"؇nT2t1kGY,Ob,I8ͻkI]p 1 M r`Hˆٙ;鄪W"xѵZ>UNW9N*m<^zF;qLz!!l{piH?j>ʘ5&cTGXշ [6Jw/s}:`_U{Z%+@ӝP.㞥!j#4(yUҭ ۛ'A𜸍puÌ\pGK(aUyG:Z_ hH%bT|1̮pi:.R)|c}˾z8u[ 4hܘkaCHSPۀ GDkQfDbPe8t([T@^R:|}5<>CTLN#YEz־ӎV2WbxfFMK$@BnF?%3rh(ޭw52j卧{YrWcpkÉ=L%QSH i)}X&^;Ln8ƺ@3$}MDiDxY,Ts:.Ӿ:nґ}c`){WV9 v5R>;. B K8CDHuH l  ^cEW* u$M 74`vR«GeD嘌aFRjgBe@>2e2z6,KT2.2AS\S>;U4=M Fԟ7qD;p8 | =y  {dC[jsfq*ޥ/Nunj`Ku )jsIͿaEB F责TH sx4qh뽬I[CN,.5=Unsw2 W t\Ad Fbixho|m-Փ<敱,/֖\+nƑŰ3Kɵ,;hF5E9~B:z&']rЕ8|?.`|%M_Q A8kgܓ |-^d+e#KΪ;, v4];9d` P+ X%( eOY9%w~D jN|~kVv=,i$׈L|sae" !zބmra,~6I3RaON\E SzҽtXV' ,*%NтF<'Lʝ;bz`%rVH^8!0^ߒps T2Fv[]R'?`L{!N%TZbDHڐ^eQsO[kbj>2kDrqe R*ʀ }2AVѓ".eh`6dNH:Hˀn1RU:pYAf0S2hշM K4љv^i}jQeMwT}1u@w7)("KgIǮZqyKgGl`@jfJNEPNM(.^BU<&F[ 62*"58gs:#Z` VțKK}, ~C!z9$DopAkCsu4ӝsC(<ҔoO:žqohh $ڥ8*auI%3NeؙϪ,i4Mc,l s/<.@wbG0sb.8Tq>l(d}/sQ7$1s|7;!~elA</dG;ntoT>mÈ]@)r=Ƃ^UH_ǸR)V穚IKYa16 UQN,+U筧uZXl< cT7 Mo9"5}w^ευ;]eL:SmT naDGpWTPCM'*QRκίܗKIJ;Zh?j.9ssv_d?CGc蘁rs/w*}甞wYh&>eԔCJb.uQ(Ʈӓ in6}鵮\S\Rzz^QrF|-Ni; ~227`|NY/T g VD]`&s}ˌ!-]qU]aGC<8e{uoRv/"c?JzԎcT*X[yDhAvaE{?XHUhi,G:="3]$" !n;=lZȥoڇRoNxa#Tc$gˎ8+''0 gB`AH&B՝rouҪ#<)w1e"5 ۺ ,r)aAlsSGyRJ%?5 L4SezIJ/yV3 CJS $%0 avTNIcbҢ =SUԶ5Lj1ߴu`%NXdb*T4:j `U0}bR~}FFK%R X?MPrx|9c[0-Az4rꅑ+/FG(})&w#9'( p`d4=i ̑Rzx3"DꚨwTc:)|R}ޞкa`B1O X5j$"3.`>2Q"iga9,xM3o>2O8uަ]3R|ߙ<_ ' #umm؇;-1M.1q^p꾜Y*,'!>j~KЉ+IdS#^Kç{s_T(-B=;_m: 1{Rgy4^VwwvlG5*R "lV'-4 +-vȘ #N-J8onOS}Ap h;x\Zw`:,J+Qz7jyes-eTA Haښ1N G^@JsCnIfӞit ΙI1Q+BeN+v2OcW sy*@& l+49,T="p'y:>(N\4-(AH4; O[%у-' _4[`GTE e6L8]u6rT(DDчW +ړC/&L*FRrw!*á[4$CeiUܝS8`J I[r6$X}c&_0l/=w*a %e`TY׈SYgӄ/O R Xg Z#qj9Sq$xA5N mҎزsmGM:-a!{!FXtqi>ש(ȽR]~j 舐i 2>$dH5;(rVᵓ[r_v:|_}+Q@݅uH1aH;P*r]z9mP dL1˻5gX<#W8ڪo}7Q~4y'.Q^ٿL&QK  BA[턃>x^:ʆG-,W{hö羔!7;8qZQT羽:$vpNE`N ^WF8&Ov -.c3Jr)(\3NگnI?ᬙNm_ed*j\.y1}KCW(skFQeU4Ũ YwUewzZuCPtaP+N:΁)\o-F f{έO{Q7&dJGbŶ5?1LtGATK,0(ߎ|K 'I~[j뚙whfxjHܡ l*䕼m55| xf5|Uq0VLoV>{k*oƻտAHTLb6oi$d5[_Y )8^-w.jCy6.TA o8%nbd_С<vr5K֢Mīsm HH~h8-ak0 `˜+քw\c)bTSR:XIɀ)y$*:NqZAz`#_gj:h *b {]Mg pj?Rކ|U] KNz2:(䛫#M+-Cv)oVf}Gg]/+[fMXͅ54?]7b'%l`nMlד-M}d6kZs6\Y[ u?-L{/[*rWwu 0FaoHO-&A6ƣvwQv-$G]js~B_x}]Thh:X#F2G}9JYdL~DۚRArҩ 32"}k KY(|byw%Tn=[Cӓ$ݏjBgCllLS3{y*Nݸ:XGaExKQWyJ ^N "612C+=㜞C: LDǶƒjo:"Bo:n7v i-q^dl=Ø>meqFWNz7UX\ ^Hp>ҳ%.LDYy۬GPx,St ⏏W^ */rՠ$8yR>K~ Z=,q݊zFV0΃QkkgKpiڝth(%VA2B{˺%q4"E^g+Q&JI6=!ZZxtZRޡFW3AɈ؁lasE| IPlǢႨ֋E 4o(|&RqǶAz#3f+G8KVK 8=1*x0 ˬ^ά_$!{'TL;Qi8/ݣwH%3޺=Â͞DYxC $YTz{03`yJ"s'_(H褺{MW]<ܡ"fx@ae7Rtɷ\jYoq?5yddޢ+H@:1~&äޅDi)Tu<75'<*s$n+޶7UT+Cyں j_%)-6Dela9yeS1Xsm[BD/ڃC3JKnC#/#ز)oe^Qήށ@A%uB8a6 ~O.@tč~Uk=Us"rbOW1/p@se4*lm#y\YZ T uy÷O8p"B3AO *XR}-"-x"em膌G1]o&ϛa7+  ߡ2{'UпJ. E. zttA%n_ W#Qǩ )VcPX"}zgQ̩OOf1`r4s(w0!`ë-SQp(d+@b Phx>NL]|J~FafF<;o`Cxơbz\MTmrFLP fRq%E obg.#2 YFͲ0=Oz"P0JGHGk!I*e} ;c*@4ɞ/q#G;5b6O*S,ɒИL.㛰hgYZe41c9b386590e7767d1f66e35acef15161e0451ca2fe398aa5bbe1e9167c32c9440835ae76233687 bb893dcfe41cefc4a17b5a562e7b39f67c6612ab 0e046893711c861141fef1d6277a6f1463479037