SQLite format 3@  .0:  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 yyc|T| ]]]HOL:threads=4elapsed=212.392cpu=639.496gc=45.408factor=3.017zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǣM{H\E K/yQ Fd6A>ɲ^"P6#g`A[Saw3|'-/1&Cbφj}8`ӷ%L 'mQݾ\'2xfF)!Ώ@gL4lFթ Y+%mf#وS/)Q d5 8G;-zk]}NG/9Lg=T\I;<bFpJe6=6A~JE'̻HG\5i"m]x靎/{xvCP . =?Q-kOc0"*siDoQ[&-RyJk8O eMNOBBY-GupDIc'XV%{jҕ+L:n]7AIV'~hree]. jgm\.>*o3`a~K+F4:0 ߔp[ucgB:FQtuzxbg D9ـ΀dW\{k:o֏Trji-?lb/#m.QZma/5exmu_z׸:LXMS}lbC,vtnrDrl8ֲjTISO; Swcɬ8~Ԁ+Mg (dZ*)LBy}R86N[[8<N"VXː+d!w[{`;' S0gUPR996Ϲd {7C<0K,l8ts\"v2"UeKB8d|cIA /JKś4rS֪oD %WxR~ kalE@IQKܝ?V Ǎx (g;tFvGjŶ}lIbN NOx6MAb6D"TZEc^lZ3%K&4HgHSw*R+98l\Rx!6)xmѩ8F.f3ɪ+цri-^Cg"{- b H>.\ӡԶQz`9X <=@ sNL(,SwaFjwPi":e|dhïD.ꈅ0idR ZQ\*Mx#*CN!ȄawTw4(-MXwFdŲyunSHN'`N]:w+<#cTfb,Jgdۋ7/vK9Y]A5_DiCER4YrF:[6I-dşk'݈ 1YD4¼m $_ 49ٺCJ8ɥ^uQ;mF#몞! @ڜWjx.45;F(B[S J 6ǵP̨v~It32隊A=.%5|d/QJ֍5%٧v?z1Qzx7 [EtX5΅*(nck, _d̔cИ?8ۈV>z5MʗSމz]'U)l2{I3%s:|XAIb7<ûqrDeBSMT%껕gJqyF*#Gm쇅Xp4r0B!,NQwj]6dkcz\sku^)|@3]Ucz3F Av#In}A"!HDWQ[΍]p1LAj8!;[?' =! ߂W‰s<}!%1ٙr_Y(nk"HNa= f][8 <0,bP;_Kbd {$v376O榦ͫs$fmѪuxPɺL36t ̤êCp(!g) 4!F,a"X' OR ήZZG7- ᶉr4|X ukh޽${"(YzL" >ߌT) 1!zU74Q#Ǯi~gN8niĺ/u3YXaT4QQ|N>'M2ZnNgmIOⶐ. 2[+a2I~&pe /C7r7w}&ʃz]1.#\1c%lRx[:%aO_8:I`HDVEЫ"1 z`J&z 7 %O9sM#)@#*7ӄf+'"BxW]Qle'~\JeY1'oS-ȌSe&5,gW2Qf2^Q6Mb yupuúbl֬vt o[;&_`:;m>֯,8e?p3k\3JnER;ElsçDTۑݪ7ByBl׎ 1w)A~IgmМg{瓡tVO"C $ ÈPP~>(W1SNmQAԡYT*4i;o`(Ei[Rvk)Bt &ZԴ)RHMlR;GZ ^yb׮7ʳ~yl=FVru?_'-S}7jH|L8JeLJ,EاK/Da< vWSH~}CL*,8FCm`r|Z>\}M"P#ܝإP:E.zJڞVT$֊csiekvkRg6{f;f|3s aP[*Ƙt]o Y!^6g"i:hRX 7βٹ d>b*g5̰3&z9mxh4J,uPwXi8T_l"{U&"S̋y#QS$~=s:o4Qy:$C56lpzu3<#N 4`u q\̡]m@:yUEM;LV/&\{`NS5J!dͬjrYҾپJ+;8< .&lk9 oKIK`R&Ȁ)ר9D%O5dMi*ib 22=0'OBafddqYIv?RELnC>hAnj7(ʙ .TRQiG8ztAm~.B| {.8VL@4eaUM1yD$y:3+  %2n)ۡ kc k:Pum]cdE0go&brę+IyK>$yO&\AqFƐ11F%#J;q'`M`LW#YC| Ƭz i &:0zqȀgpNqgNªh*W qR qtRbCJ7٫Vt0II/-ܼ˵71z/$~u_'9Q_?n-A?~',W"?ݓXy>v<驌913뗷f]RqT! 5B[.gZ?0}FWO=#csHtL1P6uux%ߪc)֡X}QyR~jmĬPt=9NF} f"4s|o%SQh+ڏjVN,\I-Iľ0+٪ ?WTN 6RzWV-32yg|'Zmm+Jʜ/S=ޙU]JU 嘦QY^C[W;7 m^;6N>baN{``.++{QwL*U"G"oQSyt6g N0cFOC@TRR%A̤kcLN`|YajP,F4GH;fW9@h:,i"U`@Sc?&S21AX^G׼ȾGG1mv$u]n.'oqs;L8\c"TS@lf[ӲK.WDXmWڊZσ7[C_$?ҙ8UXpT9m}P"y2s[g*2BnLgLr얺`\0g` zLO viXQ7qt$:xO .:0"Ϭ WnȸC'3Z^!%*@NcVHDM"-&]OPSԶPJ4c=y.cby^lP$sg#{˯5$:Ke__G t1m)_Mƥ4(Hxs͍8.9#壓]C8u!+-m'Fr9Q%>L ';2tycj2c EF]{ ZN0w&zAI6LR-WR\%ğ F2myj`G^` eV3SƿԘmQ32ل)Y,6m\ U5sIX,$ 9_^~4ɏ6SX/Mw_Lۋ5_wգpEqn(X|[A6h%4\e@`>M @XnUӡ;mkedp8"t)xU2k=/ U #j^#5N2:R2ȅD-k(4XUlbMK۱a2j-U? J)cS(/jw\/IkmV1q,F~b& {Q(1:qg +,!B _ɲt*f[ؒދ|dKhD@8{.Ž{ }77UJr0{{6/DQv)%RKn{Jv"#tUP$H#K̑4"PO(T82 >Y4wMqtwRAS(3), dYƫCH*?; {BdOBTڄ*4r6宴yM:+oJ1~BH|1kpz.B= eo4nGG%^#`A?3 5fill3 Q&@оINѤܙԐw,KwO.I ]p Za'8jhC~x+$f&䦧DO_PbO,5As +2' 7Ϲ tBpJB^4Dηg hYBҗ7Ayg(ϳu hcf/X8'rV+Wx/=~ gkVVJS&AE#V")6^Z*eDho !àV 㩍Cs[bl=EYTƒb_&5Jr $_X'҄(#u]X[A[b1-бp[i%-MBtΆӍ laփ($T8Fڍg KJYCRC͡‡*z ý-D$ E> Io|XH.[b+*W'嬤1%ҋ*v2PڤaZ&k;R^w{h2d·~W0 R[[s@7CjC p0i&#l"4[FiOt60YTyx6UjA#$ѪYMKo*~DgYZ7zXZִF! dd]ŗXiɟg_$N%Q KβQ+{ R~kۤ^'2m!Nv(Ubx-|kvoҹ f* q k`r)E9ZAw/ZK=b wnE}rgiD`}I5hC]#)b_&J%>If朴b\G]SZ{>k}$o *m~Tא6MJzɵiǭ _MI{FAY{j%/L2evsYR+![;IA\$ç*$O27![J񪭃cp |&0g?t)P#*4U[= AS'-yapXX'Rf˳.h ?> u4䞾^ԋpP<pB=rFHrq/`TPYFERA G ϼ:!5vMyF$]0Hs_#Eǚg.Y6|4ghT>f!M"~+\K $S2jfH${vV'#6ՀGXʺ5@s{UhY/ ^1EbScvJW. k~lYζ.w>H%u[+!r)79.ѵۜ1h"њK&X(𔠓Q{nQibdQ Qy*[UF8tkyʀA N1[3<o?"xm{;,l%7˜5q=*< pf>7ò\K9;8C4oյ&218` P} <:H#Q&RT,tEb:藱gYZ7zXZִF! F:Tw]ŗXi%GKՒeN1r!jigSJw`:X1}g0JaPc(/PHw2n G-yFj4݂[DuV%i6_+*6`u]oN5{zZTѳVx2J^jv5@HuJ9Koޛʒlґx8;WYC"nz\[]4jw}yCT`a@gȩ0I-\4XveܦkޱXof/82aAb9L;#4{KR!wfƓ)4 d|GM#$|;ێ2Wb>ͷ='-q8[Aٕx |˜lF.徕 qLs,9Z c~/{ξסtv$_MO򤀊2by*!냿4F{9}dٓy|C [TPD+DBNJE\(J*^B'ֈ ] MKTR. @!"zR܀$2-TC?*57m_ -iQ'. ] iGW}p5+2pT-wxnw]Y[d|VMXg{gSB; .+io)$@q!j OB-$,iO@g< 6Wj@X3^o«iOE f0D~n\ Hu$zհ7%:[YQZ@ɕNd,D !g/qHy+#C-^ώqޯNe j]"CfG >w۫gd)VY4iCSk@'a}ȃ2hZ)Ӗ<#m Ҹ.Nkr~K20$"s߁I"꒜CPim-\i>#9^?ٻ6&>|DC^쾆w^ϑUOX.Z2%aFB$BmI$$cmm/(xfZ0n?H=lrͅ( A\7՜ϡZ28 cs#Ծs4Pwro͋Ƕ3xDY6Yљѐ[yo ٞ~Jg>Mz~VAϪjBH ѯe^'r^2". } ,"G.GPKN>`mhu!}@hb mk$1cf8>Mc8}/htEEd\gGwZevn"p`'Av䖖f{whGR\~dbFD&Ng 5nܶ`Jp? 0EiGF_oWΚГqX%]a?'?=j*@J朑4 ܊1Hr{%M0Ub+tP (^E[~:Qީ0 t8†]`͇7XQ 4B9ok/S!(z3?ڬ'7u͝ӯ,`hB.VyO(6 W*Ɂ%CGD*!"CJ*TMvn4XX35L<Ҫ*I_$-lNTj=R x6!E 9 fxWs8ڜi)A˂H*Ҷz#1SB8Ma۝uOb@cVJb^k,a ן֦!6Yt0^,ᠸ"TܱBLg)D`>оu] Wejm yϐ˓^ȑe}|G~F~i}fi(xUD)7z;)0P}w3 5ªX^H1/+|}@^#QDZE4z߫G9cZ8t4ݞ{F{nN,]Nhefd 71]"GӲEd}\Wұp p2蟭 @= 蜁*7mMudu*LO{q"w0m)jǦgNb4ێBBN:4 n|鼋^QEpNMZ` bi$]PKxA ց,%O6ei^sf PNEHBρO9%{ۓýC~Ƀ[(x>F咤 G 7lÐ\Zܻ NՏ2MlO&_U̘W?w]+f(;VvQpǻy.ƃZ\Uı*Pv' %h4j98dL|=s=FF/ɤ`B=tQt"v~p|]/I:shG^(ՒB* rocw(NR~wP9O G0$V2x{gϙ+׎E"sx-|0ޣ_*0::Y@7ˠu{JI ` @ r[`oH{|ʛBM^S4zEg_:+cΧ1izYDԍEοqUx3Y Aiiص7ˈ\*YYEBg@eO8[-mOH<1XrZQŌ_{Y'QkfW*RjП@P`cAf tr*TJ:qqbك_\r~X#]T="̛[q{ҝ#$ӆӶ&ޟ[40C=D{D] ő^|ޓ+m|8*[ۉb,d=uA]{h/iɞe"ȉO ?(x<0߂1K+*~@dxx6g9rdž݀LNآFb⩴D=Q( tlr&> -hzQ*qR7s3$vQN7X@L2]Wއn\;K\5Hz3qiq˞~lTIgeLg–k'/~ zym 7Av1!zxJRT[9D ,Û 3P6Ki^1p<1zZg|k}rp}C8|Jc#Nh-V<1c$ũvwIX2fb@GpъXEG#$H fITsMvqQ&qct31Y22L,|Icg݁z|iWm%l^؜(dN5nIO5uo锳]𲏑޸&k;q\?El_y()V]&`tW8s1QO~xyli_{OMxnl-^.A͍jAۚ>C%Z q%vduwq>W^(UG (jz3/tNx`\@ҷi9"'ir~ۊTH 1Q=Ղ(>S(Z:f%Gce=C[l[U mE(aD$F!+Fb,Q#{K2t[1 |ȇT8sF%HG//Q>үavi`%@HhL\ucpMcsHckHdّzoз!M#Rցq ,Yo(ef!sk<5eD]^ mN% IE΅f!\כ7|KK$2⥬UyFnB;Fb<& 7ddU3oeUڢIbhuf jIY )d 2+Lh\YWI\|x-kmk%#/!MsO]z"k kO qK՜ooKT0'DC+ h-f[y)U$9OBNGg$ bro۠#֨y [/Mlsg"v[&xmn l<GUu./$ƒgc*O%U"-}9tyhʡomPQ.8(u`ϖ8rmW wu͝h<{APIcۆ2QƂ0cHɋs2ݻ2pxK?:7bcſ}ŸfxцSGUVde x4JAGZ.!D1c(si,1m$$jetL.f1ua6w߽XɊ(K.eZXyD0$d!sȏcӃi9NJ֊*Űn7p=EJ$J`8Nq^ZPmaCG!ZDDCRi5bTI֎w lS8ʏxN%FAay΂Id\uIE%fKM5.me0?,!!L U,[o)Ƿ Eooa} -k]2&|»RhJ#[>뼶U((gnލ!m=k׷՞7ʥ>^p_bc="Ű 94'IW8PJ)5nKhHp8--1I вC[BK9ƪAOH^WզXpɖѷم@YnH[*>eU!<~VB s8(&T"> L#R j?4G7p/ecAsd^'5) !7L%T6+FQ4`{ӔZ N)n`;u%yh:ܕLSg<^4@ABPzJ)hp7_ˎѬ4͕^Pir3 \D͕7Y3VCZ֯?_usQ%1_'Q3Apd bzA83kcZỉo3@ƒ=(M?nB|{  IDwM ZRS\& p~kފʛQtV ɻwI)i Fi|!=74LvW =o0|PJݎH'+B>VkR(0@Y VJǍK8Iwft:.07+4T?yoz zXfć"]!U27:[`'rzU2m6|tZ{ƞ\t%j?~UQFJ?NF% MzRɅX6,NI7crvbyKxEXڤ:mF ^W6m|F@ %S;,gLoE:fy2Upg1yo~)UMVSqU'Va G@-F WR%l#h0q`6ᵽzçF % 5k8(Hm;% QCsRC['P8E8lw+dقr,u&s,b!Ktw0|8HM̎ k!'mO% tbimaˁKkYJD= ,Qf Y 1Kx(م9ıڐs Ā?0\}BRf2P}ĠJ[Cz!QJMѸd\dxMsE'x^ikq knS'Tի.#`u OM= tG$E"}_=$y-9>egSB,mfgӬep*(χZ(^AdJMf{ʖRe|w^= =bzOh-1')<<쉊T]śN;Hi˞SP~J 89X)Jջ1x?: l[#U-꫻2ɫc,nAԡR`'~bm]V%s&.\n[C&wT7㎍q}A|㊞ך4R7HʬrA#LwvAbް0=)]bg< mMqe!V$@\ :7Ұ"ҝƄ<jѠ]I-4"b ttQ6>zA6?pC"Q>SL&b?.wPx걈K9>9cJ LmˍO۠NZGQ&S)gS{?TۜQ lO*RKω5c+MȌ,vǜ];A9}Ŝ 5 o5e\&m1,g>a|^@3R B?wS͉Sy(ܟT.OU?sF0CU-ȼ[˵1E+Q4an#NAmud,ykT1e<;*_sfĎ jhEED IKOL/J{rPTILwNV!%JOh(.^"Nv$Ne@ K:7I_~rP%Ou` Nzuy ѫ}8MJ쇷(ߑ&b1$|e44BCTg\E/sՕkϮNGз5 Q^scWQVMu ?cl&65rp+.[_]n/q<\퓙w`X/"SWvP["JMLkNjUBjJ0VYp"E (MPUnS8w'+ Py/;:RA,kjV*yq𷒴m7-vJ< ($o!lO gFߺPr7ϲ&_nh Lqm[KLFmP3լ6gl^6~Bmn۟a{ߨ-<6PED%z "1W:63ab(!k'6)]~ZTœG=m7Voz̙H0#̽W0M{I< d^]S|iJ'4,[nӦRM VcY i1XtW:bop1En[DZ0U3Z(´X>_:ȸ!{wUAѸJnY R?׽ fiWq5u:Af:Dnݥ?t)Ll82$VsNV ב=0H1\+. fh4ez\!$0A F5tm 4.Ronđ 9މC"|n(9;54ॸJ f3uW዗~Sk,E-l'Z5BX&u3wo-tfΧb݈9gE9F]h&j ؾ?ֈ^`ȗNbU[4RZK-r6%LN6'= !oJ1N`5Uu#;7'@hW>À!/afk:x*@%C%TMnG&r}{~1>2VȂ('7G\v6RRD G[̌x0w56<צag̓A&y\Hcm~:1e NsjT:ri!Wl 6/=-$IqMC0Gȿ|gbAt) 6s뎩/uN$`\V=Î"ydef% j$a9\dq7~`c9S^LQl"^h{vfɁ8}/I\|,xu5hX\1ߢ>DI  0rCLm/PLc\VgHc9<15!{KATlt1sܭ ~('oxoD'Vuwb >:nG03?/(>_760z1z*C XD<[[JhE5 $[R Q:%^iܣ\!X-V8Li=%37,=z8 CɊ֗v;1rkY$B,(3f j~* Jk&r kJ>+XxtG .]PW2sA_h38x)P#/>P M7UuMchIU8kՓc֮NrsR^ۆ.7dlf@ ^Mm:o,u hr؜LHHλie\%|Fg:I2|Qc.J)%aCVv3N*M\ R xtHKڷ5%0#2`68( @"1Ό8*f^'9CןTΊP-ͭ9 F]Ztb (3eB“־FrK?PYt:.SQ. ]B%ͥwbǖ泇UYCiVbu gȽy7g,C4hN[jP8<{r "Pܥغ1av΋XoVz։λLʒ)Q墨YjΕ[߁wd1+׎/39*֙pIQob4U <]LdFwV "*'ۦ+#n^1ʖcڶ缫P>hfgl#Kr / M@t6bR~1LHڻa#0͙YfpvK]Tǫuu Vvܿgac*s_[. <vL\iw|㞦 _WB֣?m.j=E'ji/uQH˲ύA @FKH "bPC|[#(D{mbb 3ZN?u@ya4I%D y%0yWs 1DCcaK&B0RP1O#C٭"Lƣr%/z9afԦaw>Nd!4U'ګRIA#|mxiԻ8 $>t{\ٖpKHY$Ih+}}`Xwg͘j|i$whk=( Og/Nv^Mډ&"ye.+@'P$L]GH֮Qig[wy0<iR'e ''lH̲0'oªHѤ:]9$7+䲽mh⼱(oI DZq43m_o2`\_{LTʄ$Y\n(Ӑztc0袏lGxOw`LwWHL"RE^.qxAb_pkS\!FGm7Q+P 46P7[Lz`͵}(oLit@.}aW*-G搁`N\emu^i^({BrQ*6osvxywfbAO?i;ǏW2HleM@ԗqZ[i>0k4_i`O[V;q\T~Zw]Lw>T.I&R[yZ17%?4t"϶姜(&m % nŽJ*6 W秜V7##/U{y4*Z!;q]+VTY/ND }0A,9L>7QZ\IN>4֠WD )!4G,(cS#_bp[XVcoىEҟL'ȟEdAȏ+K7.ďvŕ wmIf,KiQ*=r9WKWT`Y4("u׍9e= -4AnIM~UFഴ_v Mq!NL\?5o͋RG\$2‚goTurz3M)7H*3>?[/#1w)Pz2x)ަR u]^FhD+k&GWMͶ9d#üޑr9O{Fs̼63fhrO[N4 ŃmI72:J0z]uMAw2 Rl= ;="uQEcWODmrbu'w:g<S/a8EUNTaF-vx(R<](` 9(Aب.܋EhrBUa do oC a Z`mA*j|;oÅYJDB6Vu&v/ vP #uUjyX%3Z?mR{U+p66ԪwY8|#\|sn*efed5#a+9RglƥGDp͞=?v͖ABD=f}) {t.9:.oLDu[70f죟/Cdsq39̗pli!Xoٲ%wR.7ԲF[2\i\9>*W(&X8W@YYY{7L[S~v7J\ K5+[%WeCBg WjƝܓZN&2OopZ|6Spd~q}=}쪬7ncT^݂ wxxJ3e\p3|%]kPF|T%/v͢ZWFEr-e˨ҤnLg04/ >EXѫw)pDh_sdW(ᥳyg/hөWĿTAy^RXBYBxYAк'f."_/![+E-nm3Sc6`nUv,?, ^ v._xlK!ƴ H&[3^-PUx\Hwx3Om3UZE@xpF O]zP^w*AKlv}͜e 5m<.BAmL3pe, ZbIIO_V\2hX)ֻ'^crn?v2ւ.gˮ#r% 2_#F[GB'0^3ofAx:Mtl;((\<ϿqY݈;JVە)sۇ'oyru8>=nֶ02 bp2GEQr g>~˵nq/\Ky 瑂+Ԁ)]hG!vك<<ȋnaibZwr@6~V3l܈BSy`EyLˎcu j@K e.LOvPL0yj= IE)^hP\_e͠т|ؾ~f¦56 s\nmtF:QNJV0`%,̾jqW^&]_\K|5d|]zey5ρVxk!IZfqfI7'Eڞ֩2/ڳ05cD.o’:ϿfGEP VYkr%fBfMط8X~ǜ[f\}"fa.f'9]8>T"FYz_}tU?ZkRYɔhEq|iz(afPK—xzn56ّQ;|wB䕂[E= B_{ki1(ݢA_p;7qA5" +G'B SL?~Oo799yފrW}*ڿ3qoD[aWǚ}uw i S ʡfAڍ/ 7IoD%Ij殧&u2 *udfBx!b_K9%9P# f]+ YO [W3ڛBb-+b# W( 7#8O i]/+& CZd U;adЭ:V< n:ôU ;v6@wW¾&`P^1:x/( 6٧pLf[/\{J04q[h8qp#sJ|.L'7Z"@4fP { A^{x QۈkGT؇7Enφ E/xd%cb/ )m!>`]kC+ʨI}>PUxMto%ՃnKK7b#(r ~>Mr:ZQ<=|?oZ5H&챞0F,aOs]ao몜kԣdRB򇇮Y |pp9 W ]t&e|4E&F'k#f\W\0 -IKn~]#1ǧ9uQڙId +EI/_cCVO80kԱ+#/;z8PhZB-O6;)Q癳 QY~!%^0q~{Lhg-:',_?E;6f s,!ɑOTE! =,5`b H9η$Oڴó 7T=(T FM^_zA|A&]:tw;G]CۂyxE"{*Ū!8 6cAQ|6*[_TP%"P{/O|OCء@ EsK2FrIH*8-3v}%i G-A| K߿W B#J:L{[?{C,nk%}۰xԄtЉ!`U0z~Љ&vfpZl(D6eG7$](Ӆ;W tNVa@eX쒀g /Rz9hr~ICw9EO!  0nBJAUӎָƟd`Q/qֶTIk egs $!Clwrck>nhgϟ [o&@R= zp( ED!8aB"-Z@({\9EeVi R( /(s$HS J$NQ@xNP];63msw1e CҜ3Dl)ޓ}!%!G[w Q&SNGV:;+{%p@r'E!OXZ ˕JĴ+\j8.J f;a`1'4s85 VlLLQy&܈\'*d6k4sj#.iK8=ղyEua msI}-5įK A,rN0>j}da@/\D!ɓTf-2a-qOx:k2)A9o*N'/Wh؝*% h˨O8O l`SaTP/Ը28jHлNLe ϳ:qn3fFy~Tfm:]ZȳW 蹤$,Nk?z4K-dӪy`Cuԝ W칪KFF:BE1qXޙ6_hr>n$8,9pD+1,HvWE=pɀ9ZO$PXPF?~S 華E#n]q@q\G:͋j6- pfEa5"wݮp2 HKSp]D6#6fdR݂Onq͈![ KQ#UAq lP5zڌ̐JSoȴ)=^)Aܪvd ,ۡ۟P9Hq)aI6Guر9FLmCG*}1*zǦ*޲Dif)'SsA9C`qsTZ؀Xg5Jt9#8#ps5"'9J- LjTJvL66ܵuܾ8YcJ8Ni؍ dF¯ RpV!}ԭ^ pLͥB6 1rsV=*V9'ųGߔʨ\-kޡWl0r~ZohuSaOy1r=0,|_fC BigakrKHf8NI;u5TtYf lxwt߂&!2޲9KE  c?YZVq^_Ճ/=FFD#Sd1%ѨÙEQ^ Aiȇ4^^CJ@tdTDKvCӒK͹Q;0,GT_hdsr\_>-UǑS2W*+bT/gzgj&ib5L{hhmr %8P90fCopX7QB_tȇVBJ}N/|dw7>s(Agw#g!I]7y{ʬO3Iɻ"D6Q">/P"NP%fv _^"9M>mg4++cM͑B,jyKw[X)xio2Fn