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  O O&5,D ]S SequentInvertibility:threads=2elapsed=60.260cpu=117.420gc=10.708factor=1.957zXZִF! 2Z]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)jOPtlBYҳCw7L/ i-`:=J\>3DExߋSVR .p!Cpz;hJ<:|eYEmj#'m83oEHs*wİG( I+F`)U|؛^0p܁iOXr?FMoqQH1o:3t 'ķ"L>4[~آ ʍal嚿ZyNM]9JLKvRǓa6titSJFLR:U"&94x>X>(0POM4F* s^dD<  ux>{MK"l&X|T, Z&1v,b^MFy&dбZcb@xSEkeKg \mfHf1?ɜf]a8ԜêixYt^J2`hC{2e0bMZG24<0 3怓 ty2gWܳ/)Ճأ gj~/[RU`'<0hu}|b|p<.(Po (҅UT'$8RX@c&0F*ù^*k$ X%`GK"/rZ=5N\ G mV i#[;0N^駟5Н-L^Ы@/2P!A@k;w'h-ǣ6=*|}:ȡCЄɁqNS#'W1TU&Rl~t5B12=i|`VpES z iPU9coLqHnNS:\$ pcı9hEVA14ۿN8 .]y]B y4E8Uߙ^qKw_j{FNpCb-1 u+$) `GH{ۗ0{~.׍u%o ׽xϭdTAmj_]VOS~簁 dNgYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!I,C$E0M +W 3Fd 5 SequentInvertibility 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"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,:lvmi4QgYZ8Z:];P d06Eف7{to{ 0V%&-`F% ɕR0e2`2 bkƢ8'mSg=2nZi.a{IgYZ7zXZִF! []ŗXi%;՗:>+|Vbp&_ڴ&I2D2^Ԗ+OaO>ٿ;ψÚ7}/ѕ~-=-{3fYtcDDu5$y GmYT@%u(xFL2!s!Uk!t^R}PŹoa;į^(R/fC$YRw Dѱzŕ}5́l;Y= Yt[xm 40$1BU:$p26Kֻ;QI ĭ-!kt6;{Wfޫ7Agm,7ZGary; Ai0;Byؗ#b ڎhz~yG\ҲU9ؿZrN(ʮJ A5CE?8/bc-Ni`|־cD)O "Zb ?tqCBFH1`/ͲnXQ[ǪSw2x"K~ȃ?+0(eպ"ZXV^j񦇹2Itf4BT29=>(nqfoLj&B~UBvȫȏb޸h|&2aM'ûȦ=]ςa6ʷ&<>~[5(ꕚ;EO];ߊ'e\vI10z£(I 2D])m?wwX C>iT]VF!k+mzr,:P:bd[|(g޽˖撥Q~F*!8}DЇC%-⥣<J{TU /wbSu,Ѽ?)m5:Y;  OL>z4D`-bfVKܹS̟LԠ=@rWR5i PBkpHɸOT=2bN2=}e nsyRhd0noSھTSPD H> ^'?:prG0VC|)PnqzE޷I墢ddQ[J4MU/8_b 4Bs(F,^8C\P}J!L(enA1ҩEىMm"0"]5UTK&y_KPpyŢ$) \b:t>7 :}4pJdXWhqj5L'r(3@5b# t\TisKĦcK7ÃjDFbO#lsʐ=3_u4dIQboy6u!˨X $ &lc>ȷW#R|Z!E%RTzdx㎐=0ZPSUqm𮚾q#| \6s$Y,>.~E owR3ۮwf.ڣ2ru2:| g쩗Y!S~.YT dJD(=cqƄ1QC,.6ǹ>w絜45Oul\CSr~KD#Cm{>gJmtkV)s4$\ KvR(7ۨB)\x׌%w/oM{M_/ b~p0+d-;( jwjkq(Q"|3eO>N;|A&~'H}tVȥUߔoP{΋VH3mc9c놱q~@n@g-&ɲEfPA8X #bgiJL}xCV߷1[?"Z$H+{@`-X,~Q3m4<f# p_'6"/}+U7hxhO 4Z-zٺ것a֍ؔ\V0m-.&xq iv!CQc싂Sc/f%ߗC1iHRj0u%k%c2$x$y5/[9nd):D—- E)B?;D4@MhmTK=%*2Q<+=bYH:g3%jNLKlQKmɗׄ 륑upts*yoa܈6\м~ჭ۫aٿB]bo}<2UtdZ+_İ/xs$ERյ3tP| foN.EK@)gLbyډ2\ 6$b6:Ĝs*T<ߛ H,ߟݻNjȹw\8x-9kb=R{8QׅOHzoᠥ- .c?`z:P'>X3* $wN{PTh7['EF<խM~c Iy_^R ApBpRӹu;tZšUZ]p1JBѽx-3ejK^vg@/ V\@!J^>$ e7.z-UZέ[ѓIC=77I}!du3.r3ٟcqdזr픧 $|Q Xc{`j !@#i!?0):