SQLite format 3@ .;  B --?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 P1 t ]% Knuth_Bendix_Order:threads=4elapsed=12.319cpu=46.884gc=2.188factor=3.817zXZִF! /=]ŗXiɟDYK<; FcFE%ߐgRipk52Cz]m591 EDm"PZ`'zrp{slF71\f^Rd;%BfBV.nǏ6>åGgg ^/ffUɹ'4 %YTFQʔS!3ϔXD4XҶ`Gl$&x 3Ku{A]c9㋦Uj$RȎKrTCP9a0?z ~vÇsVӇǥ6uvUxTH<85u0^{G"Nݒ A& 4[k{,#-@TLV_S {^ER۠ANgUӨ.8u1(YDrP=FE X_  ڠ76wc TN(Pcds E8NioXfQ>,z+P!YĬ ߩE l C }p8̠qBdxV՚h0$37CKVtnns)FX6F4@QN÷\Thq7`FkfitҥEJ I E~5^MaR7!00y,̙Ӵ?6 -ܨɼ䚟kht`P&LFC҄+hwIᦥV|LOjbՌIUwbEᡌPsC~h'Kgg%x6k0Ȝjّp0ƙ<80Mບ"99!G^G {Y`K@ͮXT8Rzn*0G u=iyhedw#t ta[hL HB@5c{B4K[}W|+NOFcld(x:N=r2VtA.K}[*j2#[PPCR t^"eNbv5AK+@xB0Rǘ-OA.`)Lx`76CY4fȹ9VTKًwheOq} pda]q 1)Ft vZ^QN=%œ$_LGVN[ قD";Wr-8r1x%k 2Uj%jYxx1@_xIkjWxY%&`*PiYLF3_ܐmaâgk4À'ڄIvTV!C~k A Xk=g=؎bfRr7da$[RpS;؁&=(5xSlUGz(v29$694린=vI`dI/_i s1ɶ̼2Z 5[)]w0jZ- (@׶Ms PQ `X]ţS̓PqN:QhA(\ѯFD=*y[/q~ov6uVkRqΥfP{r lRԒj^D` FCx*GK΄$w9S5& ІA cлީ[hr'BDȶ[KoT4dwM]QxIU"mN0q>ʞtc.XNY6$y")>I'og٭pWΧB'Dvx N[ F,86Ɂv G# q#M@=dv4C#J9}t=阾cVe$+B3EގؙBT?z=*:Bef;5LhZ@]!$J/H taz 2Zkrۡn͖ٹn=3gbv4EvR@Ӆ 75q"%KY2y^z\j;^jbM9 oGxӟT{B1$֢dz0pRҁ;+*~ۓ xɟE|锺oFGG;S 1+V|)toAאoU}myTEy7^j)c1٨ȕLD_C8G+3WHuF4yI$f F{h)VVI4ta/՛1{gytPc"}l$2 Dg9| 2lq\!TbLXiճVa^Wͺ;>*{u+x)1#u٘dv|IfYB WvXZavF Vq5ls, /?: 8)T²y^/,ć/TGߥm (_ vKf$nB5 R`WzrD?6ͫ"䀾&l5*ء(дe.ʬm޸6Y+cqih߬/{CWZ㉞B-~k &%K=`f..m3gK,!Il~!\@j{ E'{[0YX'~5R(E0H(s,M[sOB PfHX~Ǽ(YE pT>;G4;ka{cm2ubEsj r(LD/O _]jybNjyNiK6 sR$7,TؖI,;f^§  Tbm5,깧go4.Oc0f5R-]!w`*{mHBukYOycG=|vDeDrXh᏶XՁh]ӕX7AҊt:(Akӳ.:7. ̬ځ[Dh }m K9gg'g!gB9X<!]8a%Je)(.ΖkU#0߱}![&B98a GW ɛ?AA9e[\ovm,]<`$ښMZ<{xf෯S@& h[XoR{As=2Cfq?,v{D·8l2qR V Plj]@ۉ%[$u.! 6Ot끳X( NZ?:Jڜ;2~3vHiL[K0|?; !|vF 5;|+Lb5'gtA UO`=ڵ/MCj5$tr,p3Vw"y1֗:*0:E>`GYD׊,G]69-%..m|պ i|tbz .8Q|1ߎqu,;}8/'Y5e֟ǝtpzv{R96م^zZsRj;i\7x=W+2 K)3ugf9Լ#˸+Z&iGG-}&M,&Uv7F|.Z CҴ*xW_g\ل "W(M) HJy#BB.hkr̘{L>$/e]ɸ$},J] lh<;Ƈ nO0!.9Չ?ZN/r R 0Iȱ׭^"EEGD$raAE~沀C *0LyUxxMvk仯g8a$í{ɑ5tw -q{mMv=yMKړ~MB(3^wU0S*,׬ޥCii|SS  \MF."8s ҄C:#jR=e(.e[%²$hĜ*5YA۱x o /) yѶ`Hϟl SV]e'Dlv`*=fUK]++.R$0 pF\H ,]C$F+>uYbZj0p,*ۨ KtXl4hoTn:(6r]1l+m #u#?.O>ľab[ދ|;dX 9CR;3ͿftE DMs!^ ]tm%UL~VdJŒ_Od͊½ M?S P"NTnsNzܖ\\{XymwvjuY1eM?/W2Fu˝;C7X`ӍK"IW^7cʄ؊b[_ ȽzKX;k G A/ eRV=N~.~GUev,4(ǎPe&'2HVj,Ժs> oR.MhY'!m!lQFLiP01׮'SR(N*fb3c0W_jC 8#IVz}"pa"\j'|Yچic+Vă(-CSUC;}`-SQh"(׆]da?!kH˓q9NUa.`q^J:,S}mr;k@y*T(~sv"⢘.*)+ >˛kn b$jA35%JdZUUXd;s.K`3,ƃ]`xPjXq%[0x؀ ?E5m5~ +0MUp3H{SQAܙyS3\+2:6C]yT{F #}-la(dBh;Uߑ#ltK7z NH"ޑ66Χ> 0>+]fF Uc~F?&(dmked>7l k|R5x8V;׼R:ǐ3XtB]0Gfph~ɱnXObYZl_kz45Ky!*m޸{Kٝ򦶩 @ޜU1ĐIWP=k>n7y瀊8nb!+L7 'Fba%ƕMJW(3%QK` ~Hk(kO(z׍AӓL[ z,*R; ߜ 76lyL r&r]1Jg\ aQ{\^H/y<78*Ԙ6|?螸>|+O8"^o kXKysLT>Bd#Ok_ޔd D/aXnMP%911\ s\'ck0^bC Kj;9m$P42~]zA:D"Y5fԡ6[y9?2Wҝܢ (Ɇ;Ѕ6!t?4ؾK?MqRTX5g[nuVk-%+?7do5G'z[ d~8iPpRX~.y_RLdqGl.Bt-C!9Sċ aY5Oq2%L-ף׊xH>Nt$R5ML w.ܶFtxF_ Ɠ;U<:!6oU^m2}~Y Hql ۾GiMy[?B 8wٖw\|ЇC!q=@*o#R%/_t"aE1#Z7$1E/-p7٨IT?O_ [pooFmf{!'jvp ČwS5=l2gWvUd.qˮGN3qj~+}٨ߔ1LtcU 9HGCWŵ\ڿ65 WP*0YD=5"ypv(.?!Nt+E^1+/# '*"ʲGeO* 6aR]df'jmf`>S=6=V@޽q8zG[3C4dHMp&`8K?=1ː)}8|_:^p4!M.+@,3}[]ř/'iQMnL] b PZHOM01a[rP}+qK2A\7aܯ$nM$CW!ĹC/TFdJ]rw$,!^f2]]vs!uoߛI?ұ `]{CJ oa"-w'Q+p487Z=Hm R&k 4b[N]e>dS.g0ԓWAMNV5h Wpc#HSpw('ƩFwúR\._q.냊UA?:\"M֭4,sظ (q`@j¸GLN2c'vս6` Zgɴt;+x첤IGTE$q4鈝3G1NH˄:Io~,#q]홤L&#&AZ"{Gф ťcdt%gы(ېVN ! ^M.N8W`^jUK7 i#='z,n5.=Lcz=8g&!YN^ќ!*LR1:lD*J{,$ȍ݆Y^{ CqǸ kqQ#ib]pҦR̮ +@ιpۡ/ߌĄ7.QY*XXۻ.'Sex:-ۈs^Qԕz٬{D7r\q>W .IJf&>r Q݌f| ُpH:U* 9j<]S<;;nb]ѱ ȼcUMNq0MľFf6 _ frx 9dї\:]s>ɂ{X{uwŏSL4 Z6cܰ[%C/VggT&*ZǷ*WkVl^N,ZHxt/3+tm0,쀗^ "-)q2Oh#+8MIJ2(-JڝEuC= Di2}H{mP'ur @^3y( WN$,a~5;+#W:Z1s襯*`j7}h&"s$,ރ`9(1!<S"`϶=;5BxN 9Lz5&v?;AMX .M3W8r59]X"')R592m\N|^q=^$g%ys̑P&Ḧ_(KIYV[8[~W\ \2 md a`-S,q&F6jRw/Yjh*,9p2xRRr> F٨-ϸ#zqeuI~vic9)Ϧe>?5*ԞZ&n _D+ydk+ʓ{Sw]{}imv:E)!=3EsA&c~.û-WM]:뗤:\W"/eonΦ,}SF"cs:ξr =P$8߻́8<3zvA\q3ml9~M(KliJ[߆S)B!gW<+ Fs:tƀ "酾eۓsy}us<HVv/Ny#޹#y4w0Dy."7}f{5rɀ/eOڀjca{_O}l}G୓s,-e|>l# ]P4P݂'YeNLݔS6 9=J{2J[Zg-G\UvO;= ^)} ^o>N`uXL!էn^o[zJ6w ug:U&) j]r~hJx0#b,3)gt4;M(-bJ"*c ݡMz}GT/%ȆyX.e1N}~]v9sQ!|kӋP}AS%+t>Y&,! ]1H髢JW򭱊E>7TT]k 扮?6a~Q\+Gd PңV3P1 cVIBz;rL td_T8+oK|]ԬAbnlY/*>=Vid6iHl&DA{7=OK-u2|H(1aPKFyIe0m=dSX/ ]u,8@7VԫoLk+Pd^MÃNEo't :{vYI\]dkѴ5RH+ajڵ[#V-?H;sU-eӠIصj뷜L.id߲a2uzN/XU,@nfP16Lki?P~7sJ3%̌ V"pP%,\:N?䭗mx_BX* Bk1q(8s"_91{+h!O:ȼɉ*f5Y3 _Í_~ 1cd\9''ZNϊp"NR/Ur%DǢAYB*iURPSi? ?DO">]R&-,Y9F%V`(xfd0yhl˧;幹) w]:R O]Xxd`ެB֎9dʤTpV$S֑Ƿ3@jϜN?\-N>jO{@O!h{ыrCڠ^ڬEHk9 dS$Rp=χ.f Axoń#\">9mH\\udTbNٟ$ӹZFA7yȑjZzܯ'w5pg]PRjөLͳὺGiWhxJE22SЇ3a[ lZ.$']ogk7¬{ &LEHz4jي{Y .aۈd3u&]g<8)pzW6P$>ǙU^pi+!;nEln)/ #qن퉾a cR(-CTy_0Oz{xlhxi[ҞOh68d:~ MA=ÙB[{Bvfm ljw+βpp|5}!ŷPo,WaJ?dh)ÌkNƺ2PdyHS.6#$t*}|܁i5,jdԟ]ef8G7~f{] ׆kǠZRBm6#) _Ŗ ,ĩl<ʩ62H< D(ɬ-OUvmOr}t|n\kоPB0-oc5%ZE4= /L5`:y.R"ޥ)$UmY01JVi]e:DdX-\O{ >9biI"Z[ fg`KVh), . =qMHVkٯB`AK"۵e’=RCC^'xQ?hr)WS&fgX0^` ;F_ӨZ~_RGmq*ճ]ߕBU7kVT%KEVz., ;ذG[a N=_6lٓ1 k΢{i18%."  X{w=8o+ɞbhh#ƭInJT G9ϏˏVOÿˁjq{CVu)^AR8<:k}?Hڑ߀ė'vYɾV1 - a6=2rŒ'BZ3cb흗tT-ubL06ъI ˔Su:86o+WQ]W72ol ["Lrk aP(zxoV )k? >i"Sigaû^.h8Iw7MN-erfO=c PX/F̬C|zCp슼"{ʹBiw!r#% MOtaPqZf׮֋]^k[-)>fЄ8y]7|¥XB)̘⪨5*=*c7ә )u̜uO^rN nz1iTqȦ ǭ"p8rn᳔T٬lRS! al.R\aL r|o}6nXGmq'TvI㽕 Z/A"x5jf#E'=ZO\;²ik0X#/7 WS;c 75S*Kg]Ԋj}w2$6e-!3O>/}sfh`ؖ|psv} ;V`M|=5M}XA$iX~!&dA^NXL1JP.q0a J->+q[ rcC`6V1GJ+Dyn*;eoB]v=kN`P(BmܭD`Y^(v>]b@0).8O_wY6\Yk儶4<ļ:tŘKWU9ͿB0Uʹ7C;aM`KL-"뿥.0'N:x/\ A$??v,sjɀg#嗀oLhVBmKXh$<>qDAs~ObEuu~},l!{}'%ΣzoIGZYi%AQeçNy8e,͔,-!,.H%_XvD%!0,F탬BJaKco[.lr#fC3j\U->C_糏lT8gfM<}.˘W(Lxs%MH ʅ8{25!-?n3U#w}xcAa^[a b뫬rez~tB,(/6P9,P(7Wan]d\1BC&U@cnz__:T?ӑtqPԝѨ/,TP2ڌiC_8OWJ on [wRE8«hH!f_!~[06a@)Mm?śqh͈_qLur\/p#q1h %AV*qv}q4[uVNtV0Țp1cjMmQ].WBqnkS1\aAN(e?~G48_CCM* kj1t{y>+}TMNc'>N߃mܖ 7k8#\ |6y J}KWSN)&AmUIfDy25,ӨfBvʡS0ä>3 Nb"pG` :i+P'V% *f'^TF7F8HiHe7[=XT!xUV}.ڞe5dK"_Dž'߹XK"5~X<msxՕMT.wc6Hs]ށà[guòp\ip6:90fǾw)PgA>!^0n7f F:OjG~ad9@!Gp&}wq_G2s&HoviPoղ A;)tQ%fb^9Z}ogYBwfN`_mfiT*2痳9L"IͪM`r{;>vUWyQk|.J,eʩ=FEIr3i0<㽅!umorBGSB"v.Ooނk_7%`лh;R4}}N¦~( *yռB-M y.W09(Q]}uL-{;#N+zT麮o-;HdNx'-Z_FNpoS/nrհk,٫Sɟp${dy6sfUeQǿ4<`JPxdr*|-Z0T/Ez"rW~=:IeIM# Zok$ Kt|"6כ٤alĽ%55<'Whi¸/nmSsiB[G&"Uo|R+< (u RF2%郠WӀGt^gVܭb?5@slL5rw7KuORLfU$ϔqhcNIs?<߽?Bܬ`}Ppnʤ::6/+@";|t7YU Q뵔HHhO! =>Yta P)6=XMi}}G̲K <-,7]T~JM`cNl `nZjf;_^n?<>)3[ܝ* [N5(KR,ͺ4Ma^qiLѾg&y|s);Ӭsx {").ILmK+VQ(x^or }?^X+np s " WCFtsl>HRa#N DZoAOӼ˦)ha9Q)=Q|1"oc T02nǛ1Q91Iga!q:y DK^ =^xt)}TO-.sYL YP8H>Q{PfoCVl?wPM5β7~cq@%6Ƒr5ΰp [YyR˭܂ nm& jQf#F+⌄gl޷Ҷ9!Ͻ GO(.r9ol>& #i$fIɎr bN?(g8^5 Ù}klūH{n]ΐy~"ha+\Bm)?rwnYxY)xBm(ҳ0l[eOYJ9IjdkCsFv/MTt/ mc6Nr4{e `B(>#}q1;tRR(EݑkZ#(| mz!dU|C^DGj7y"3hBPR7;\18=0`1'^$r|CSߜL#ܬIGekStMSصCtH`_K7zR2x%K 4yQ:T_/m|!Q[> adk2k[^ms:BQAȦJʩ6VeB{eٙz% YdϬ{PQ 0A(\3pΌ֛WY4cx dY :r|;dE"nѣb{1{yQ؊kiXnn\PhWj}F;~kKsU΀aEVm@`ea<:.W5uhd#ﵕ޲J";P,pZh"[0X)Lj *ZK)MO-Z"gcVQ,ϜtZAJi Ae n\ ݭ9OJn}R߯.]&[jxUs>(5ERe;ƛsa,ƘmucNť}xҽ4J8 B59v k;<:4c /C҃iGHGm#4\#@#&~ XQ}@ 71il{t$bsvn]NS}}FY.;9 eQFb}ݗk>ʡ;Cއhe}(8#CEh"ʩA 8s ߉D WtGq>U—mwAPqReht-3^+G X"#2 b>9mL=wjMT_E Ho0V-ZĔO%7kP:Mt CG?S 'X+Q xA'${~Ŀ<=JmWMJ[?U*yӮ]_XIq!s/ aJl ՄFm WOq+2 qR1IYǀ!]}FPF3zkz:h 2IMd~Hw\ύwVdkD.(ǥ%32DžkcKQhW^ 톬, NB_<4(ؠ˩hv6k'd^~KxݿBGṮֿiqr'kyO7kvXXwe|. `X@Zйe|qGx!) (O4/%4I3}+ d$͈XMPSZ| MǗh:Q "Ky,'F"~eĽ'eszXy Àͳa6JȂ~]g U13_3ƟJX~?-uE #)rtcDݏK4ЗGٚ-K  <ffj&lWW ޶kݨ8WQn5"pwCJV,B; K(y,ߚԞV"A}A֯.U/Rk֭Ca)|h^TyiGfi /j}Fp3*x gROzO)|s'8nď|:LwQH<>w J_M~>:=hB!A~bR$x̒mߦqBri5> ]5+5B]ũCɟ!\)%G@HFYBKfr݅qT#]} t3/ D-(.ݷW[ٓvn|`Ʀ{xH\#oM㲓Kx‘,G 8Cj_qsɽ ֠ n6}H~HǬ!+%`kX:;M!ܕz,.E)r/) yLf%Vk}14k+ r`}awܿRu|U t48*Ѷ 5^U'Ovyܬiۚll\,s{CWAتsl,'y_A?T0F DA4ab(;)̝v2_c1Y[13ha,N_h=74"{/mSDQC*M0ұDS<'w6&Dq!12q~!P+IeVJjߚA0hJ 0^_JtY>Kh3ΏJR_D?FFhI =/|nZ,aC#Svq-6Εаwnv*  ˱}I"sg\:uk>j&S*^[u x9]:&=GOZ@'En҆n$2..Yt~f)o*QtXJi1W5"#~G{Y^`֪67&]:PbBFuy~, gDNejFj$S}‰^`Lq  $cH3.s>U ?͆;j_ZXj՘)jJRzFzExswX CqbRz焅_T?q) >a^aՌҞpbRfĽ2? 좫Ikd_ i`MhJj\=+"V2uʨh3y9^H֐]X> G\>&{rLK0}F8j[ X/R5`tVٸ38Ưޛ7,{KFHBk]UykGբ,lSZ))Ws6@LMhcٰ9@n`$(6xTRq&{zW 6$u͸#ߧa8'K8Q p l F2@S!3 oxǡhax@ o~8ouN3X_CC*S!򶡑S8,HJx>YL׊iJ5,A$r2q<\$ضn!B-ZmFhceUmbJ=-E|η! o-+>9أ#@a3@ F:yMݭEW7 8aK!|?6Ϧuа_M<K#l*\B^T-Dp 61׸U\޴󍗀&JHzvT4d | "³#aWw"X@͋#]V Lg10DJt.-J iE>.,稪tg 3pjQ'lxq]U |NDƝ.AΠ3s50K )n%oYBx8;az u!?G8D9vBTi^UKSiG`~0,1W3!^~XFaI_Kt+u@WϮ] yo0%:knnuqesKg=uL,*&(7J)SiGT$ɻn+c%"B6g!DɅ/b8UNMr Pa)2C6ɈAL'6I1BTVݝnZ{H9_e7(5qNWXtբ E-O; nF)S-4kI?xYhoCs)COU06PV DZ[KfS ifqFmfFd(.sR6 _l\oPp9MeKPx(O^+?ӆat0i;uJ3so p-fX)Z}4d|϶yGʋ4ut"BNRo_mr}x;2u+-1Pb^ʇDyi֛)82#z3LN0eP Gudt_FnE.gCᦻtr#8ɐ~nLBOÇG2IAA׾(Nx` WP{ YD< MA900.Q_3 W z(YWK NdiE!bA%"5lv7g zrGm>&ʰ~&Y `pҺH>WC첝)vۍ:}._AО@c psOE6$BqrRkwl eʇ贽T75̔lCt2aAǚ/P.uv%π /(,c⼌.V6[?WS#fB9?;D$C8 XJHNͱi4gPZYI}4L,h%FPFH"Eav+և8|aHVpqBJRtk%sN C0XA|'_+5o%M3^57rugPxK9!ڢwk]r>8dzTe ıbR10f,:UonTLٓj]wF:8#Z/bnl1 ~!>"y`mF!zC˗esOr]VFhsNmxRU*$6EkA=U)ԭ|׭ i~٨ISŌHˠ :M/6[;Ay"Wb^K94&Q-ȅT9Z}HxE7[y]{̓gmٹu޴29aWԻadåec*,{y=I/*I꒪oqw\TQ~{3`Sc hgDMG6cǀ`N[~周,/Vt_{-ē{ '4M߈XA,?'t.,' ^/@dg"h ޓTrf-'dž6nDV(ذl`"]3e/5''bt((Xp3-6('ݸ(#~CNTMz!P&1W{ f ~J!aO9][7+cZu°i8GЌU`#֊SD5׿AMj8nY$xο ' #Lm1uiT[0-hz왭 Wr]3qXF"@&Eˊ@~_0G֣w{3Yd>jg]3̏SrsN((&IhR!%]D¡jɂvb!ȗxTxUv2WiktbS, C40^,;XĉYn |Xg@XF .aBm ɆhޔIabJX&jOnrՎOR#i/9C~ˆȐ # L8Jx҂Aœؚsy2˷+2FqQm!>!xM 2kwi/~UtkSݵ KciI;Q0>VRsȞG3$ v|YDB+7#0 o ٽR2YS)UJgp L;_,+^ Y7R/kl'K5;hlgυt<L "V,JDM,7v0&Eݔ_cKH6!M ~'΃;w$|0dmǬHK<5mRNU qӸxCc2E 젟oW/q3{VҴ9c K3d<$eWifQZ#ESjRgl%gض͒mbuFZ.M]@캞5.@t<ST4}]4J0#Y5IiP>?3)h w1v 6a eU{ Ε'ܻ߭K8xh_\D58CMDʮ'ڱZ>.U qjV?'FkLiR'kaә43mit{+ӊ) i^k̳hY<SmLIfiRw#>@Mv.>}eV6'EZ/7 %|FɥTAkʒ0ᅯ?2Ur_#ʙdҡ7p)"9gv9]Du ٮ*l&D&fYPL H9N-A&Hǔ[{ 59lNLtPp t !ЌFitYp\0"6+ r8.wwpҽD &3TJ&.xn/,#Jsc/W] s0*}b@b}Y!|9h9LCQ@#hhnU9zfĻ!+W_g(72qU/?(٪ּxz]c(4Id6P1"rZYBanF^)?֠D:75MH3< uwsp' y9d  Q\NQ] Xl}Eku>G$H56c6<S;~|LϪ GZF9HܤYliXAhs2P86tDSf9)?qD˫j~( UDMY&&Ac?fVjbx/[[L%$.|tѳ8kQqƞ6\y~j8=J @'>)2ϏOXdVOpz()蟽ɾy7O؁_yjpw{?g`U)$:4ZV)g߰:m7 aТ3;Ӡj 0Qө퐃#S#P| J)mrxQڟv$oȚQ3>; Ԟg{rR}$-(`KWi?(qc8ŴboEg_7lφn_?l{ JY 7-\":aZX f|fe/+$:zB[W2t;iQ>f eJ8XGEL=VKGkm4ʁ=N28Cg= GLgN<q VpɜxבnӖ73Hegk t2j.ebF5&Ѓ`i"6ɱy,ГPTB-M c;)@2bN/N k=Y$%bf,zl/OiQ~u6 g P"Z7Љ."]ݴ074AS/"ވ$P%BGꞱ,љ%iU;y]}ZdEC@+7X; aO `ّ|B$4X=|m4ywTJ'\Q#}Ek{UPG 4/t)%%4`lTR"EFz5MΠ,DrM9$`кq6刼fB/ -/$yN2SF;>1_ZʘkQn%4OLxA53eЮ\Ywa%6"(eYm/Z^iG{դ!8WI}A!ĄԘ[gH& nBH0UXÚQ&S+#UbTU(dޯUIux}|mEn~6z.PK}x``CnRşg+1_ .Gk$(^edxw]Ŋrʧ"?Zɤ︔#R|c-5F$[A{iV;8Hw-\`{̄W}85gF-nwB%-x\ڜrUW()\3,꘠? a~H6MH^ mjK*DZǭABPoWnb(JcJ Ɠ'ѹVHh}HV:kBgD"5Nfe]-|F DRu F+d pNuYB5TPiçn۹D3rgD+Ցqa18{S3C%cvM5ܪBIo/Xs"^n)}%4EG *aa?Fm(~lq zEsÖ?u t|,/Z9J^YP!+mXńaIjd f'Sd0>DOȸn_MN"0zZv,4ys1j(%ʜHUI{A9lU{;rV>uls|SpWualOH9"!R!l3f`X %n#pqz7D$[NqYsH[i}䰫T]'JQ8j\~jʮMsy6<4t<61oRݗ[I^9~W"4x2(w _06-%P1r; GN@/^Ԑbe- 㹤>?I+ F.[p|3PHSig}vI/xZ>PoG :G'Tэ=2[97Q9|t+slj-B%]$ IfdoO#u'޺[M4Fmz:3U6~Pes R,jlh+i[Df4¹T'r\jۊ13:\gQI'\S|,ej#E-F)+dM~.rk ~ҙI̢kwzwQ*mdEF pYZ:>>ծSҠB?.tIJ L ɐ"};u3?+_M:*$I lۯul. KG $3i:hBVT%]* (+5;dGM phԂck]=<,zw:^wEYeɮxl iTƑU!v9nV9:8^Iz08 _NeQX2<}M.!pÜTWIc!eՆ kz&~XRF Īe vfg}q;U>Yb:N`fE{z)c&tp] ZEdL/d#Q{&-cqwQR5ws|o9';ɋR6j<k=%G40{q M3ncB3/:wnOM1]}S -_O#Su`UF|^el8nܶFr\,8zA2B=jT0IXzMktJ[ F@͈܆MnS={hᡢ=oIߣXlLBpJQsbQqDj`~jOII$ߩ'Ln/E=eJ.b>LYłElP5-HZH&݃"FͯK2g.7Dc_ {6M64+9׽vu!#r!Ē4vk|5;"ߕqE3`$1-~=b/fbk~CzcWpw\^Z2G| 6w#fBM<8 ~\)C]=zV& fZkkQe_¯ET?_q7~&M"}/ IxAC}xpT&,h6+w~Ew'3߱"޽~@!]lhyep7e9.vG"]ABfe#Zq%ɷDAHV m-&D!%9W0\ lc LJU}`r]HK % x+ ڪ<$qOz8}R"9beCDC>.]/D .u0JI<$559˕i|To*'!%0INr!=ޕ%N) nHYs"*%<ܡ9ec( ?{xdlI=&:'LQJ`FB l;.P$=]hZӟFb)mriԷ\wι ȾǤٺߑ,9|T}g|kH%xY۔1 +:`-5LVPz8S0 *tfd6F9g@ \neVF('l@/Q=-$bv˔ׁK:߆R"L$iGw&p$1H.72 KZi!dj-da>UiZ'* zo=)r)7z3 Zn+c!qRB_.O{If82]]&Jv{Sm|݁U̧k#s|&Z@Fؙm׵JQH^NuS$їqr;stO09:MA4{QEl74PNuO&OL..(w$HHrfLCwfl",O(P.PS}:b݇oKyDѪY72s0hCiZ):"UsK  PNˠ}t큊MF>SP_/.ܸUٳdezMmG ##m,7e|?f{g_w , w2r<_) 5"%UV[r`W QzuoY5mp!B*A`Zqw =[EߪIm4j {O{U)ާ.utϊKv[EJ"\& S~8F.I SĂ%KsmmBfW`)/k pnRM$&TKՂ~ zu<|r)M5sQY N"IͿrK"0le3g.\Qd5}jgp@p][:)=:ڸP@B}4Ԩۯ:f-X/ZmV Kn,]z},I |GD%r '\ $ %L ?Z5fYVyèf%q<` x7J"q=4 2.VU췮ݩ"2 J;1 Eo ԑ`anK[/Άm(>8 \N!ax;jUYv%{s >-!aX=>^H\?CS$;KJDP緜d|-Rp4݅>wd? ~ted+Z Nl??<֤G% x}`)4@^8D"8%%lnNg]KgCAm3d_!bKgI,%A޿.}4wq[\|:;E?&M {'!%?Tb]5Ӗ@o8Jڙ-=@\ge >5liPi.d gCl`h/^A}B{q!EAd75ݮҰ9.sZ{w>[]쩨 _;އ{6tEn>*m 9hZ53sZ&@NF[39llpSCE(BP*z,^"A,0}&!UFou<4}9B7jf| RۃZ"vs}ↃP/j=D}xZ^W]ѮB^e" 83ap}1 Cy\Kz7e"LlHxj'QHإ'?&|& ?])87КrVg!o5J}}& Eǁw/)솞)$h7NP&g=J7Q2vrkipF󉞛 lpLAAj|*/b8p@ fA"Q5yV!Q\qJ@VFsp0a2ܑV2³NyZ{>b8nM AcZ=Xzu}iaýe$)0K4(b:{ g+*ĮUV4 uƅZxDAi O5Bf+LMD?O:W&-R$n M\P-(HĀZ5Oa6=oVamq֣ݻizU5Y"CFph3hyNhY/?9j>l mX'qn>q γɖ"vvpWٖ!L3P0B{$a`3QLi33h9PKxMĝB L}V {3 .aRS?ɰ,=<֣]!*_s<,z; ~ $Vofo>T>e]u]@"FzR &(@j]K 6'O wQUGZ8݄%YztcS|J67ҽ+~k1zg(\9@'}{0o.5"-xR-4miee5X'syr&na@l-R~DZē?ȝr(vzZ@)z,S_Ok0Ep{`!?hC'ͬ?Z1%.ۊ=~to7Z#$mCGlƺ'tr-~H~zqoE4Bf6]K;I!QjUduR,0Lk kx40h~ҢPĔj^̗~[*\i=zz(Kq[iD |u)ؓ<?#6z cfk{J2fa.YTvZ >>HQo&H}ce tfیjԀH$vQF h㶾~/ǧ\E땠jf$$F~-WpV0uS3|~< {U7rq1jPn`#!SW=.Ya"&_'q''war羺1brɢK:).ZKN[gO>%v.E ,Jq_0)EveTpQEUۏi%wOA'o$CS4Nz!jm8Bh:/ h 1RçM/(6 ~!(39lb6?s$!4N.z+~M,8Uhїm'k짎I;e10ͨ36T )d5%T]CPc)^  oÎ*4!b`'AN"KPޣ_|༖}VsyrrE;ƨӃz& W!P#c4uLf+m(JM S!R4G)}*&/$6n8ҹ;ܛb*g|5ZO* Xip}I(PZ^| N(~lp(y WX]=p닷QgA4FZt}8:kJ]YEg`ḾOv ^gG-IH ^5T z~x 9&J l(aoP3 *j3S2Ea:փ%<_#/lΐ꺞mzk5wZWn@kECAm1Fo.TmpdY-Q&)E vF59vObof_ @6xT^>kֲ9]-O#hrvp*jCǏNae8U})[ПG jVR7n|K4xiڞmY7I^}hw雋x۬ɂpT#Adݚ\tA͉Eag0|+rdj3 2>V4dgYKN@fէ>DAY&c-pG2V4 %C}d!(ϷB:쮗Oo$,9HurJif*)Tz-'8Hs& 3CNߑvIh >^|bxɿOq&Eнݤú uAb׫KD19>IvM~TWjܙ]v<G\tI>>T^9uNGZI3h.m|`WȾ0:<I<6xD[(w5i(es7uN~u]gO|V}3?2bi}xo^Cet*9ذ7:6%q%T%j,,&X? f[Tmg ]  _G3֍:U7HUr65Z>o`&AWL}UHNyֿ+תe FSࣩHJЏ ~B:+rz5EȦưH鸅*A|伟Ԋa9p \0׏k7._=OϾ 7Z: hd[m,i`Fݾŀh+4oo|z~Sp>&*S1$N.GEKp[dH &Ũzl$Jd{$COڔ+A#3ȇ?Rå!88FOHR3.J%Aa^ܝA沯GS\j#@6v{q@09kkzVZZ^KxoZU\D|BШ 3UL4Q7J>3Cp\뺨%:QlLG/*=,~ OS CBhW)j=2ןasD=%Hqϟg3^NY ){#ssikۙ;1 idNg:UۀgdbQȎx=TZk.O+ݚ๼W=p-E\FdCzYZ!KKSJNw)W`~9nɆ5\NHH~pl-£/~ϓ܃@f,Uoi&ysgz|Lxw?Uaٮ2Q)\[*e響'&@fjo^*~lƋ_p)#6OyIwƯt&XJI)QyxiPP),FqpUv۠ 'k2 C\u66FrI޳RL6W~*9Rv p3#9\Hxأ'xCn(xB8p&X''ȷ3o([VfS ˁ$5lA(!TdrkZ)+uP`' 4vIڇGL3حؚ`Uqvx:PiP@|._eǽj me'xmk ?m;c{;jX>R8 ?};kujz2"j R'H 4N,csU3lhdxVP#0$ ه6s`Xcuzy͞eGV@ݼJOAlY(!!_kKh@,C{>:hlg!2C4zT>pRʔ ڽ\ݻ>3m匂 o4ń'|l e)?֫+0 ^陙I_0y8,9an/J|Xst* aN򥃱 J簾8h<ȚuqW{~On:0@RI.q.]RӁLG:a:/@/{hŀ|E{oڹ+Q{z!jޱ(wV5"8fVmm;]@oUyTrVhNڐJ8ЉN/_`dp+0V~^S]P9՗HCೌI ߬%x},,G6g) F#Iؑ {@6A4hl~!$P}>vǮLqAS!q#_d􁁟fIB抔W/5C@Rфf݆im/1/1L*jڨD ԯ],CymVBo)IePU؊Ζ>xlaj#mЯA I<i~;1ׄkh'.G,.zK"_IPuU~ҁ҈:$]wNb|2 #,؟ 8I3zͅb 50<7-s=n@\遠P A[7HDg ⚣y3aޟ&${KyИܥM4aNUczLEwXlqRd> иpS^ X1ng6)Pм!A LY:rrȉI.>XjY=_Cer0J!>+\א`RhA$gK"22}c@0˻4]֍v_djz<ߚFwֽZKOpnx\pq6C#W5LSZ;~jTF'Oy[\H,; Qؿ3 rA>\2yONΆ;~,лFSmr~\caNzb޾id:h˖gZ;0R2n}ApNw68~z<|>S0Rt+?"Ȟ'ov:VP'WxNŴb&83X7Y&06eΨ>E -L֒kr$Q0ui"'4ݞL][@A9z҄V]j;}| T}([Ǽ=nKH'һ Cj^a?$sڿh`p.:1znm 񔁃zpk/f $0׈@R^iT~.=`otʰ 13Q`/]fO9:Qdeq մ;'~%@K{ef!gP弡o{&w ֟{Ջ,w0 e2/pw1QKQ3ƿpQ s˭wO@퉕nypI,7Q47܊20d^$QKY…1z#4DPiaݧY 3 {AIޱD@R>@@Y^IؙXz ›a\ލӑ Qa!J"j*#$?Eb"`Ll!VLѬ #bɒ?ebO|*! 8Iπm 6t#p ̏PUX,J }Uc|brT[臯nVLR_ 'b(|1o`f̝KhI}%įH%q3$F< ,jag