SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  )5<$4 ]S SequentInvertibility:threads=2elapsed=53.610cpu=105.256gc=9.860factor=1.967zXZִF! .iX]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)JZ_[yeo:nқ "ዛNhs-H)%bͽNdۑ d?L "R&cںY}T 3pz,1 _(M.{螢VRQ)8M iҩ8/l?D}S[gE+Z`OF$f~3ABBDL#˿"4uqNP+(#`KkW~( dDHq=1.^穰H8g֥L[yt^waۆnS\2fZɣl˥1]`| Zb^tJI .q**r]ҳvMގ9vvK ` `Z;†Ձ40"s,`bة3qDdLc6EO"l;y2S`9Ag< ,(,|.i:SPV&v@x$X»F;SKCgrw;>siZJ]7Oz*^:ps~ &!)*41{v/v$dV$Wԕ `e+ªWC k' sؼ6fjzӈF73Z"2a^ OY#z1o= y%m זO Kx^ C%*Es< /DuAҵ]$&iU0Xϳ }amZ Z|Nj%  By p@9 B#=uV(Q|ӒѢ22;~-eS n_wUҋjCwݧ"d,$su1L4Ňb8_O>a7||fO82w1Av%&Y%!̨rCKͩaD`{KEVx*A{F]/TȢQ8Z`Axσᕠ5zK :VA( du+f?mQcݝVl=BӲe[8)1 C¥m|bz/'.`G~Zx9涐=v4Bi4|8Ęc9On=&!`~6";g}'/L4D`5 2(> .(0yvF2쬸UZ_ | a("܆ ao.> %ը:ݷD%!(38c63D۸qx l`ڏ-E)sc8DBzךlZ jG$uAv|| wDbְEe 7[KX'،LaT~ Vns*! W4)uMa0 ߂?pDLFKRaي*g0AxDph;&Tᱰs0>e{ J Ee<"BmݍX^A|LHV]3]7*}F7b$ͪSׅʶ8`C#.WB m77W?H'N OIe%'z'ꀔ nE oN +lYRi+`ya܃CuZz"Eu|Ghc 1ŻM~2йXu|`J04'z|.YxمaPFg TjC;y/[$@>scS 7X-I:)B^U9=n[r$O]5"tG S֎*QJW&ڵHc- K"¼28L2S©soiWX`0{H#{3o瓱/t_BZ_/NzΞ2j$ӓY<1s(- - 6Byl-ܯhϜe _ʉMQVP``%@5M5/bd^$?zKt;“~&o>4leMV L^/11FLq|V)Z ;pa1538N]Gb@TWD[{6ź>GIywهRiF۳\"7>ՏRtL{E* >O'O%@(sɌ@)> [ICe#wrp POt^;EoA)_õ?!uhyNSy Ť[5G ~O;1nGaq0&0NjRSg> |iTTZ، 60=3E 9z\g>;VX=BKշFĚX1RP;72/frܛ$FP#r^395!ȏ%1)Iu8^`?bv^&Dg!Rvz2#lJ9; L#a.h~5$1oR*t&:(ZBMb mh%BPm_~06_/OWi  @|_ޞ<6H drAgшi#n(Z\i0b6ݢt[ʓ`=$2 z2+9)OdQ*8E|z?]{颤CZ$]z0RpQgPv<&=6нGgm&Y=^ީ]Z 'UЁPֵ@iG\h\ZhwÃQ^E#[z:vҢgEQ:P- 7ɿZ*5`A֣$ʈƼ Dn[&QZeu`8A{9}c@FŔאڧT\uu>'sxV.8yQ(#]c#+C؁8m(]%IOPՐ9BslQ[.X5h@7X G;?̷NdC0ϓt;ȋJe2(y?$HډD1ʘzp6I#f6܇e+Y֭\nݮxC}^aZHn -|X Lblvְߏt1IL A?N8DRlg[/I1( Xk+)kdP̮H̖D`d¼ A坹͉[0c3TWYM /۟!]sŻ;8v, ~{"^^ WoMFk`&03 ba99;&|}VUˬ Gw=wQU3 F:t4܎büN鈯sv'B6өM=rX;҅| qD ,a6iߟ~  G]Wo#j#FtN_t@?FAFaZ.~vݤs+ )ݜ́u4:q0!<捐Z@4$YmofMzV5Gܦ=VF*7_q"p;dua#󕖙k{ /;K73[-gt]o O dhaʌQTEw6wB-0U dW*6aH:`g~EbT܌Ps|uO/X}۔`p-'EMP|0tǨO{IlG(ɍ ͍A%9I\]]UT!aN?s;e;2҆$Ӽ{]*pjŽ-@F&/ih>>c:nIBjvԞBHabHr sRTo3'Kz-8ܱZ4!`KqF3 %=Ɔu) ciQi2|Srto`Mơ'H,\YX- ac ֶcԛB/ H&l_>}Q:T2*ya͏0ZH]A׬ws9!y:k|abGV4Y* `0927kHTV^Ua]Ҳy}ۓM85Hd ;U0mg>z&}>=0ᬋÆ0#b>NfLN9l<>y0=Go&g@6TY`g{#C|JQ?蚬i(elWTγ9t)9:*ʟفk>RGm?ym}%Ӛ{ε$xmU#bsjqp,Q<-mB*je_{no:By?U1]0@+i=ԱT=9s_ 7Lj)\ftD*t K|@ѾLہrJ눙T#9ew";DOЪFӥ\pøJs~tXv[J$$: nTd+~#wm2o^W;цh6T[A2L o.+ &ųJkE&=E^gB ؎NXk3 _ 7Ֆ}ֿBV̼4]HaJա\;.G@=Zf3 Їfn.qR vVNj.F#J܆je)\8s1hQ$~,ƺ:Fbȃh,vF傊cm Wp$FbDsZlYHg|GsT0Օrk1R).FĎ*T5J5^DP-h.p~A}^lPe9>0l:+bl9- =ҵ4so=Yu$wCxsnS@[B"?XF"VD;]}qZfdZbOV)[tIM`8p+dFXcU d3_ǿ%kV^gI7b<[ g*m!<(pz\n;Qv8:F)DG74M:,K;S^ !y!r.MP]٦VruaWo$J$<2]gYZῆ[(8漐 S'oL}?vE 15G|KVL,z /m{`o @VXV0 -G0IQ &#'2J6^*0 L='B*ƭSAޞIy2Ӧ.o| %@Nh'=hSkJ+\9;^H0[x{t&5 lCV;A/AE|c8\DV扅;#ՏYv^D PE}BIus+NG qViɠJz6!Q59vG,~[1i1ZChTP-X>%CFSt_p-U=bv Ͳ\}'[p䴟^y ,E@ \tfU:4 @%Db^f,nkyfQAPcE0vGمdw:pr)Y\)iv+h_-o*PYHX|+!;%g8ЂTѾZ/l~íBvbЊ*}5\9XnJxZ0|Z>5Wg{F1ZKOtCTWZ;MB^Äõ;I \ \ 9c'Q?I9#LEZ׊|u4o{ ?Y}tCqhf£iacv1{ooԙPDsLwi99?0ͫ{P<;9i#Ŋ:w.fOy͡kmH*@iVSԨwdǕ8NhؓP(6 M<45%PJha1S=vHaepYxd ElĦ2kӔfuaœ^Qm}Ӆ2ec ԔʣnE j(i- u S!#:Kc_ -,6[3aȭNCjQ;wB.$peO;a_k?!p?hz8jA+9FH_g9δE[`o"l>}jlTT"rg "llr !Bek1{Wpxmς'̒RA R|#iN U`Ӑ-A: *`ʬO~:O@iL~2\zib酭؁O&Q!*[%U)5kr?IbY]S?Ё~ /)I'ԤՍ"zKإG 4:M% bn1}$In98?rwˑI5'T`;vz ֺi%/ dm)= .ڝk(=J֟H oki Q5յ%%6t#W6zbC>%BKq4X͌_{Ia_:be.fT#XST/J" wȱTݽGyz;&h+)fခ^K-7>Geހ Y#unmjHp)ky,Ra š{A1 'LL97液=BRz*D9Q]QdvmndP\DIa&tu!!n9Ǖ^wA@ݰ|N>T2/X3Ț3QWT޴5:$\ 8n=FEcBSUkAx 3SɗU&l##0lx6ΫU{:7RVSv)61W-ψ%'D|P{I~czq!gFBT_aE,f:%U!ͳL_K./<f;>8lԲ>x 4ai ']Ї$v0(L>Y5gv(mll 3&IPK <f 4pjuk'-2e(X AdˇDK7)KZUA;ҿSKX%M~&嗈߆uv- 9O@;D&GgVpV!vR/ud +vH0(2+z*({1Dl&fzSrBtT]\L`sB)9#)q {jѻϤy;ݒ"Mr{KJ4{ ]pNۗ<{+%5 O0 :! ORv4]%y)%|bSy؄ 8~!K'Wn=EŦ@~9eE=<&@<|{p0H0;lKH=pEb)CuYEud r}1{$L82$q^S^Y\‘B״.Drzҥ8BBxY{J  zo_d B;AodQu}S7q IN7h]V|nG>ygl۾YtzeYq"X0b[ق6lÂliƙR1>,K;p!%vܰ5ZҮ1@x;.'h d]/ӟO|~EZ4۞N֝W4'do=@F o(?\b3m +Û &T&-b4uiFm.2"ֻ13''U w8|O.RTjp4YB4wbq]){ۇ r#gZ,=.1֠G(7^ t8Ř+.hy=Ky2ٮؔ."2;fz{G48!kKO"3j?| v[~OV7"1 7^Keђ$u.\]!3T4}GN u7)Iہ۬,Q,)z{˗k ?Խ F3B<hc#f/M;+=Oƞ0Pj88bSbax#* s& Z9/J!HEZ}^=fߥ!t᪬g*$N2H B1 lBxz."']v-|: fx`* W=cV_w0.^lINAo6},ZC,J׏rNN(4`?G,Z:\hLB?f;lT{G1t5)GNH|-d h!' qrz,+qߋ蕸l)zz:AJ)ka<@ 26HU 9}q|l5LūiIpf),vET_.z2{6ΔW !>yD8.*wLsՔ{|#R>Gcz#> ǡjt\\0׀7oE9Jy+9Yj׬gDma`\a-h#X=$sUkqa"v+Ы9DN0qEd+tK:b oH25$f+݅P) l(.Nl3v.m@aQj}6MD"I%燠@qrw*F|c[dGpj>mR$fTI"#+NQq-* AB׆s}{#1%/H!wF3-xiѸ9IO(.SYF!4Z:o!3UҧƦh9zuO),82f{q;1iGE up@Y6{.#-x%ZHp{O6i _}.J5I<]F$f92_SR,xRO|Cd&aZs22vra1sVﬞ}QL"`2sM `G]|ێbt3 0qQ{X$F0]dA>% 31{JLxToX캞/{_D^[]5M\ լFu> &*?Ӫ0qG :1lX)"Pn.x\3hYBk7`jo2_Pvoɿ;C҈W 5ݒ+0R+vycZayht6.~(j`:..-z=:gzHnӞMG,T.%CK o-^El|%.r4#K7xC< zUOo~~zk׻jOw>1|ȫ+*kEt  i!YǓ}8HEE"-Ew;A#)dgE`'LSݩA/@(__j!\iB40ukṌ6G_pՊ&xzY)m/잧*zJT_BX'-4 UwH*|%&Ps. V-(نh2Ռ 5r{^'8"8L97iC8;N}V 䀽_\u8ZƳ<RSt5O5[4_r) P*K34=k,^02孕&,DǑALz !/o6%ht5)wWZ̳Qagi1e(kcm*^V0(>8;\4/iW%>(|֌9x C$=Q>=aR([LZM|ToZ!Ɛ>r ܞR1wwwV6Z1b&/#zl>[)*(GA#`5TKl֗/k2_V 1 gGħᾐQgxȽIN͢?]3_+t4ƙOa<{'7e`{ʗq})qTVjtNQH}E.iJH_!>7{Kƹ`vog[(o[ìb漶 j oOkW5Dp~/͜&9kLm/δy*J&m𮼩M"\) e|W!'2)ݑvVKX& -V%O/p@OXN^n95 9  Z74:'4ohRRqZ_h[xGJ",фK\.|0F_?jul'Kg9(28y,Z6,]ю}8g{$Q(3=ea9[:V dak,G;E2 <=` Vmΰl^ 24%uFQ:ԋ&= /؁In0}D4h+(\U|@N>v=!S4&-tŪ@vV<Ŵdbzԋ!KԅؔHEUms(%9 .' bijG_n*\t#!.'!HAG-S??=d(;ɪ`yTÆ , /aq௉/&Gs5s׭ 'AlRKbݹ )\u$LVe8 3Sx6N7ꎃs|Ds؈EL4SaC!~~׋IԮ6z69XL_-mT,f*uwO ~hĉö<*b9}6爕;. ./gdIOM }Ua`A'X (/GsZ*F`WagCbGckK58vȨ30Ю5.L- T}J#P[lI?C㲲|/̗buD%=  5,)YھSA3.Iy. v>Ia?kН;9:)\G%>,GWgf^n囑5zCvdx~L?4qmpVP&>+ӴĽ3[7qTCx ݪBf_%+Goѱt2rq "GD=sunt;>K"}pzoZ n,`qW~:h3]WҒQ@jRHE$4ߕobX_j7Gy`O*b7:?0I4h2,{i..01xK.b l 4 )"Nu췷x>l8b<]h}~ _q}ޥ2]bP)zϹttzBt5&n. $)J %f6( &O]7ރa^іVID3eukn9v}e[jra ng;EƟ` jYBѸK4k5ay٥1 m1" -jTKοʯ9rNc t Y">h #cyK֠GehIO!O] cy[ Q#wF&q| 5E\1bPIa?a%)FQIe_)ĉhF3w6y[{X2/U{*YQ}@ruPf7uQ>15?clCl WkEe<$֑*3oDvgYZ  j b5Q% Kx^ C%*Es< /DuAҵ]$&iU0Xϳ }amZ Z|Nj%  By p@9 B#=uV(Q|ӒѢ22;~-eS n_wUҋjCwݧ"d,$su1L4Ňb8_O>a7||fO82w1Av%&Y%!̨rCKͩaD`{KEVx*A{F]/TȢQ8Z`Axσᕠ5zK :VA( du+f?mQcݝVl=BӲe[8)1 C¥m|bz/'.`G~Zx9涐=v4Bi4|8Ęc9On=&!`~6";g}'/L4D`5 2(> .(0yvF2쬸UZ_ | a("܆ ao.> %ը:ݷD%!(38c63D۸qx l`ڏ-E)sc8DBzךlZ jG$uAv|| wDbְEe 7[KX'،LaT~ Vns*! W4)uMa0 ߂?pDLFKRaي*g0AxDph;&Tᱰs0>e{ J Ee<"BmݍX^A|LHV]3]7*}F7b$ͪSׅʶ8`C#.WB m77W?H'N OIe%'z'ꀔ nE oN +lYRi+`ya܃CuZz"AM>XV՚wb%5̄*[ D wV|PgYZw5U% dSequentInvertibilitySequentInvertibility.SingleSuccedentdocument.tex7zXZִF! P l]A-MՋhvG"uIBm5D4/d XuîviI&OO"ۉD'ڜ`u`X<l5b*>b?Px|s.^H,id;23VX_ ]Dg@:!8 o4LKXz3j}TטOffG+6'K)/2f%1rt[vbDW茼grbxsgKio[Y Ճv@NkIcUeeP%:Sbbs{)2LFM<?g3(O+,zzv5p*}XoM*Jɝ JBR$$wf<ᅄ˄\:Q^+M∼U~gPDS7o&m7թK0@ o?\]1~9_f8 u8_$37uVlk1L[gHf1E5<čOA8fz[r .t_/'dm;4k/^U)Qät?̔3Z-9?Tv\t Zm–Yr5 ߣ}ˈ<`~-Бl4_Wc "v yf8e^#و]O]F1P-3UuPzN6=&E(!ơ._XNj's]>u ,(jeȄ/#^D/ֲoZܣs`uyv`qw Eif-}3!}QqL5ٜfbfQSܗj^=KeEx萛Aqʸ肞d ido){_:Rzcm4E M*1pW2d}o8(2f@+(yE~}lη5B5Ͻ8\.i=JN(6DW y$'[LF'I.36zl%'\G5@^z/(MeA IG1w0ź>0b7&RV̳ =q DM[0w%wJ(u@4Sƙg<.EF .ΓZ;m^|u^ C^TK UJz%]D1ȪAE{qꓽ8&'oS7qnؗ)tՉP O1fB.;@)|FԾIbuA5ܥH XvCo3GH Uu*:,,ɡ\sl^8l>!ڦ/+ A6 X|6-pk}Hcn\d']8+#6s">ٛN8 [g;{_O@Rx@ Щ$u:C|9ר%`*'('48ca5/VIH[MN?]pDiG` nKj+jR\nƬ-v~~oGBZ Waf=MKʼL{~GQ(K VNX~y;/UzDDNU栝ex$q5߫9Pqʙ,+wuH{N<:,3T>qg˥52Ҩ持K瑦sBGetVہ sp=ؓtDQb޲ >"&5wy@zNܾ $Ըt\%A+Wm{5|X0;ਟ4KiQ>8KHIj ,;L_@I*p A&:rgU_Y!{Y 5LT/ ژSCzb6t5Im<4# vkɆat8..jesv]݇\]VaWGnH"P(t>E9u-`O9L<FOC,o5%BUP~^xŖ<ƔWҴs :JZf(lE͟62%g"KML>5JDȸyܪ|`1۱gYZ  5Q% SequentInvertibilitySequentInvertibility.SRCTransformsdocument.tex7zXZִF! c ]A-MՋhvG"uIBm5ȘƊ=L@]x6+or3i1L |!cV O~|Y +MN%+v7w( d A{cM8n%pBvd}B+9MAQ)A)6%C+Vk="uD%BW{ޏWta1/m+|h f;Hw;x?Q\f$LzjW8+5n[6շ49bQ:?vbTOUD?5dwMP=> (M#Ξ(p#Jz]{o(6n7í×{sx2jҔ_ GGwQ-qVwÎQ.B P49M|nB7,=P%tv%U[yQr#^~[PlL4 "%)2lHzk!%Q?9(^ΒvLiդ[x_6P;3JN/I:Uro W_7Q/@Q*&PN"m/3!*=*=~X_Ed EJtӀYt[Dn,.1x;e hYTSenY?yH5Z 9(L} S6p1^ ΉӅePH)_6Brw+H(}c:; ݎY ^nf`Ͷx=gm%7PFhH?:iC`\ꐥ-q#0a, 5`nzqȂv6l0iIz=c?4cS~dh׭BOr(d]I_ҝ̛\ uJ%1QGp+}cՆϘT*g~30+y2BM! V%Xu?\I+0bL^>S07:!."2h3(-$^Bh3?6m1.H =/fwj~k%ʂxWp+(Ku٤!>'1HI@8W)1*$=^sk Fύ%'ap>ӁU+l<: | ,VwNtS9 Qt7*lP3;{="#j%(ARX^d4cNK6NѺ6?6'$eD}Mnu?J9t&76L5W<vly$#r\ԕ–I~@{[˰l?Z?R n>M*V>Ҩ, 鍳fY=_䱗|=\@`qIC0`HG}зF3\;!G,k!r mqg?VLW4璖)մH7 x@:ؐ;0I i$JmϨQKTSCy|s݄@L=)@+q #XwY"J}%:X#ZMpf(|-~ﴟ0bxFIp[ rc:zcXي DOzekh.˛ϳ=cM"56GlQ1 r (4,8Dݛ)xPP+xJ%!{B=[D,^?eTQ,, 9xh2r6ak;ݣ&d&֣~lE)yn-Rp~MdIpG<()MCxQГ@a%IIvy)l훥_1Z7 `JEed0uK!ЖJM_?-#Bf˧s~0\PYS_ =KI @X:3g͝*m!N).żj7A?6A7x&񜝌|Co׊1_f"41zr&gQ켮GQd7#$]S`EF2u; K{pzڛJMѩG]ty0ڋ`QN"UيWޫݡf6{`flHRHe&yDg4maـlGM) x_>k`;+5mߒ\tiU<3x쇽nJlF>JcS*w5Rȸ@'ɀd,`.詜JW&ŭݕTvnbyT1@_];{ǍG~XRhQ9=o?fYiTWb;d8`Kq&D+ 꾞tɥ|»zncK|># &)NX&0nR&ץ3HκvLX2,:lvmi4QgYZy8#>6gbtF\&l ^8CJHnT<]?-dod׉ڞˋF 0 6v9tdJ]yQ*` ͣ5Tc-iwNn#0t-|NCWŻw1mLVΗAXG#\BgYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!;A$#bOVoq^]o'dy%]RhU-iPl5z Ru鮷g[*(+aO1O:7$d!le/NY;̢%(ұgYZ7zXZִF!  ]ŗXi%; փf2t]p/r BZ֫]A@ըŽAI,k Wz-Ku15cGP::Kül&78u֍"u./{B~p>1zy!E1y6.G ɩVOMxw󘮈Wq.}jѧ:*s#彾؎I@^Q03` V^Hfڀ.Tw AލSR2hZG[T>/SֱMh{dgXBСFqGPVK 6C9 I{ qnfD-[O2 @8mz,Nj?ȃ[w7\"IJD*xό,0`b ;/^Ij{q0ZvMUj5,D>r0bɡgvڜSsOYat NZI +HXTc.7؎|kT}݂mZj.:@pY)fEU8rdސg+l} Pq,I!/ pD֪=Vζ<xn[aċ4qҕb'nKDILIX`VҫÈtI I\xY<nN*)4ׁبJ{#g9U# YaQF>a #v,Fpf{uSS_V a]q~6YPC1yϲf䔔Sh6 UOmROtU>?c(lE!"sW6>*+b(WyKھQ xT5ţtGϸeFVMϝn-pr`?W)ܞ⹶6SCUqFƺ>c܊2ћO1ߥ,L2m*:[@rjnDn5z} 4ȩ>- [MJelۯA݇]aq5wkl(|ޒLT9pQ^Y#hI׊qt„ [$^+v"{Q ˝Jd\h@yu ҽ{283[7^g 4hX{wVU?0{ >uHfU,Q=ID'(k -d%p`l2q̎ϓvE"'WhQg<Oׂ֓[ܼ/!G*z /J> F{z|0hR=}1&㔅 =a:KiDa.Sy_*0FDE{ \6>U:ĞRk)7LcG=q]9>?zPeGzBapXh}*˺c4SG+@{sKWRo|e$ S9$!^䫇65w.Gsl/oy-x㷭Nrh8Ol(;WEkRʕPv.\~W`&j1^ %?+.&v5&5l=)ٖ\-SzUv¸vg*gZF4ʚm `$-RmȾMQoNI A5jieC Ob]tha%ǭ$#jϏy|,I9)ÞM!6*ؽIIQ#hyyBDE]ʽ=Ѕ[ Q>x12r?]7%"hac-Å11djZP}C]`炘zN]Af 娄gMƶ+ ¹C|juMRr 'lzl3M m( S̷>Dovп{3~k-qh8t- Q_a3@)G-`Է e lIu}{Os&maItXr:[jɟ*ՐӅ,g`HRTBɅMĨ2=BI(W4xicf`j9`3X W@VI[h1 ާdq%wJ_Nxu* kKbdh[mdמr|~c+{qTlMG^590Op%|%&VY)!60mdH=X0um|s6tG KMaz}lt(7c2jMRwTI/9}zYn-ڨ۞`I*m0С;\|OW_a߭0Wgzrۢ7Ұl*{*;Q47à  f=ӮĭQYM?*K'{["SсYIgm$yq.VޏG?/ , }!j:8/  X#ד6t.E`-Vq`&:9ܜTn|]>U7 EϹr{I I" RxSTk MFY)1=k0m mQu^-z8v = :-8u%mm!iFp)NPŜQӛ Ģ|Փ *Ȑ:#M^vadqV= eĖ<^yo2ɨxa荢1vSl(;ΜBJzDiZޝZ4e =WU ZT.mdMZl;F*"L촃fkH L1ҽ$ IklV\0 tez1ؽEw9G4²:`K5D 7WiV/ܓjT+:G8mȭWs '))Y4n'2XxP^+ȑ Ys'mW}Pf c#ije^k)(?8xO{ &O&ߝݢQٜ̦"G bXv 5\;%gYZ05e941ea939b97a79392360dbaa43436f89107640a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b b99fd466bfce9bcd63f5212920b2f069f7c60f5b bd6ce545f704b9ab3bf05077da7063065286c69c