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 T\ ] Separata:threads=2elapsed=14.617cpu=28.128gc=0.836factor=1.927zXZִF! !]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nڔ{30fO916z*%[NqIppcsy陯SxߡI+*tco ;HkeKhۥ"rmƍ`E碂4a5͖0s[YA\FEwIu/HËo%:-QZ`)aYV+Hy#j8w*5zr HN-& F3KEABo"/J Y=  禎Qeg?$#lV356f|itL GCN5f?XbA,ޮA׃ $yBwMCkuGcgYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KoEWG_#`U4 tWe_ԋ8 =u6W^]KٽmF"$DB48uN粴aϪ0S~KgYZ7zXZִF! V]ŗXi%;  ՁoR*5:E T#F%eɓL*'`!ϪGkPPDoLe?pEmkOqYn\rO(mEM`=]VG얱ba3n+&s.\{TYu^#jq ph3[ɐ{ͽJ1'jٓ|MavH<-d찁-ÖJzL4i-Mk.e*s3r`^zL Vθ :C)^a|&wWg?qV`h ɂa2-tF qWUk]48K*|Bx#؉vd9 1ci3z(o f&xdQ?~_&Z;x^HB"[LԱV)vBó+a1kK[d6BǕU+ z¤#'\fƵ IeSs)SYn67|>(-FCB=H'Ib) 䔪xnU kѷGÒ:^ȐG() 猄5iPcwԥ{1a4&pmᅙ'~:񞃠[:kqfɡ %h[{w2ZWtN$އk>hzAz2XLҧY=&4DXU!-'%;6+w8}C؜-@uq9N>w? &ZѢ@`1F|~HK[uN&m.w\gJ>; #fn<4xo(?|Uˣ^ɒ7 Lݑ\@G8+gn8מGt8MT;ׁcL]UuMW ݟRsV拏o!-@,FfgOEBw)ءhv3}}n<|sc|WOFEuFS*~z zw;/'1ܧR"K2xRےӝיw57_5}aM&KQ,/3Ah[wX7ǽ:DFG* yglka 4*+%U:ƵH}]_ny2+S),hQ(^3"߾8"  oVgYZ3f28b57dfd5929f39adf64d4726f61e28fceba900a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176   Separata uW% tSeparataSeparation_Algebra.Separation_Algebradocument.tex7zXZִF! ⇴+]A-MՋhvG"uIBm5ȢCK9G6;%qO Aq~>C'ק ʍ|#<綾忨#w :Zv]&:`)w14z.8aM8'fPcn i-u1;`FM/dA.pzyV٧wPPV+&o^?6[N\AaԵ ^|u2J Yza#;,mt|O2 ۴O<9$՗׍gPO@pMgbECn0̐:]W†` V t"dUCTr<`=C0y-i`F3>5p-#&YqZ1AE" dB'{AGS#񘆭qP:^rՆ+ҝlF2͋\Li_`VaEi{+@" 04뵶$u&" ^p?սt;.`hh">'9eveZtbw aBըe_Y_wLaX+b__pn(x(Ņ.su4$_x ?bmGrLjUlcZc98g0e.hy8l-X o670{ꩇbr 0Oؾlu=#Tgx'?J|%pdcxlw +aإy87^<d#>3"0}K2\vi5}U!/T.fr*vQM,{n€:Zhةr< ^2!gć;nOUǼMGjțjYZPG`l82yFL c叓 6 Tstᬫ}~(+9/v$u'  2MASXwS$Pi)o|YNLskɹh=vYaKB>K7!ŎABu܃e̫_s)ȭ㈒OthE5벪MD LS>5`{6~BfMbb0b&x#r @dC @WZA/`iN G~d*zz)0.xP CԞ(cŋjOܕUA.>2~`Xef%3D(-یBnb/vi(K>ng\8J7Г)jim tndJ*[Sٻ;4]+elH)s7#$l aBf$K.|hzgwkݎd tk4I, e ޅݦUsb6Vϡ^sYQc12cuevK_j{XHK%~\YFbQMu{ ﲨR0n>'dbخMWkš3sQ / 96Katسϫ !Vbhz"`03AGfw]Q΄ PAq3Wࡑrbe].r^Ti1+ٹhCRST&h`+M.nqޢ$%^k\WuR*~VHK2хNYu@|jxk\u)|)ehf&z֌hMȺi7[g8Ce T3ed+U_y:{}ڏg ]~ ֲg/ޘ#7C> T!E\]2lDJ[AX"./7p!G{L1ŷ?F$Ǣ5`:;ȅrkIɝj>=[|W;S>c0YX[nC<ٍI?kÇ.6s1ƶ*#R* 5 k"/2.u'g@{m8\sc*@m "vJxiUJdF_5GXSXRsjց}Py\O O]@6½:Oc׸92o3 C}(OzCǮQo:p(t5sp5հڷ- , !SM]k#IA%k80:N|QU/H4>n;}_B,FмL${.u9_Y_QXsޡ/]`#qQ*+OC_Q )4ͰMZ+4jz}(n#2o[Dw֘#瞞~TU_چFو6 "|bh-ÃZ+~ 9xk]=:kDl.o>,Vi,Iqũ!+[1HclC=U"Q {W27¶I:n6kUJ#T(l, _qku BŸ'mC ef)MfZZ9Y[i 0I Pzo)Uf{RF>S/<-6 Nz+q'mGɩrh}}s?\Uc~VnGcJpCg/ GFl%j M 2PF.^o:~7$١hDj%֒NuLHؒ.Q[\1lW%JHM0bw="*& =lUX67I7sFD(Ͽ M[| ɵKQ<(UߔArF$:=mIlHZR!߮7r?Y 0j1]@kŵ  3_3+/%SeparataSeparata.Separatadocument.tex3?%SeparataHOL-Eisbach.Eisbach_Toolsdocument.tex-3%SeparataHOL-Eisbach.Eisbachdocument.tex>W% SeparataSeparation_Algebra.Separation_Algebradocument.tex):N0*ƳȎ)2N"s5A+~I2=;u}\>GOfL;g.@GY//[QHmt4Nb,U=4h UꝘ/}H$)۬Y|Z7W@Mbu@>„E$X ;?j^{Xbhq꛽ 0T3ת<>Դ>:~2g%gj X> dV//LUdo&[NIEU`L-(P NްG񑸷%Hf@Q`İ%%R{:Yz84Kgb留Zr#h3mEfgsh~kdN)0a'X1Et=,~Q x4:r=g&n*]WA3u8hܻDrK]ǃ;"^ rN|t8!2tHG\|W|.D\ wšxD-[O@qϴꘁ0OǫDt )5'.gSvׅut{#b`Uq'K-^W rC1,r!tjwDFUݰ+lyOEN+Vgr ۰l8"ٜ!ї`\3B8|O.l` ;GKJg3pCLzFVO!DVyfAQ&{,,<VIɸ:%_NnW>9ͳt <(nPY'n_4¯l.$mߎtr$ ">PyI#iE]SM'QT׸;oA/{_~~HGzgiY )P̜ np^[Cݶׂ ~lA+^ڣfڀ} w{<ԡ$sJj!z V*/:[Ŧ$3`,4P1/=GΦ3]b(GkN)!*&ܡȍ{Z`ȍO6^(P Y6EԺfB3O?5(BYȄTb7DznoHs=BUm=@F% | !`gh, m3j^a:qηUJ>D%LN[p ǐ02>ܤ5-Ǟە)5+ℋ2{y!Y#"Iĩ ŦM~ű[QR96$ W?9{׵rG"p;%Л2H+ Qhas!2;LL->): 7>OG2xh X4k~QdUZ'˼u6pz=>}8W%OH0ifYu@Gf"yݟrlW "Ry e2œ'MrEl0W5ykUJ}a/HC3 r÷%=8`VCN:azt٢I+4Cf8Ze; ^kXӢ5.kR.Z3gM6"_kePszYVnm*5eL7N'Oj_WAUB( J=aXJs%Sq`MF6HVKBrWW6vꛢծl,Wf^OíɲUV PĨe0! 7/  mC@ƶ}X>.&BC?ぉ9)R1x>!Mq *NےrQHkrt'ٵƁ^4Q3|>@lsGϴ4߭^?Q H,Z Q]+ ݓi,oT jL[f4Qw _6]&@+IVEuSH@\h%SYZfTV1I˿ĞB!q5=^/kI܎#踬~TFE ;pG`VB7`&y)(ω$%Ng_fl#5C8 n1b[c5EX^1pխbTM/]ۍrBWİtЃT'U-۪>rÆ<`rZ]ڟq i^㋍Y`Q%L;m=Ŷлu;" S>]M?#&lNxCb67Կ\8έr*F+2O}90NҘ /x[4$,ñ1@3ÖfRNL =z!%:,EYK^ڲbf I#ф&^L{g@PLjSSN~&k ey׻sJs;P'dɗYGs1+ ֳt_퟾"-O4 Lv]5:vWOJ-#.2F?oWkK^l3V_e$$"u m2ZQ[у H:/C^{AxMs{G%B;P ]K<$ǃ;2+f~d/S~į-%,952uMdpQw?/W΁*Lkӹsv8#4X :t`7J!{xsř::be5$~ܩ+#NHsR@ yZ.~NaNEوUVsr$rHz /?YR,Dn! 2z9Dpa_e (lLA˅qӶŒ% JkP5`XΘ.F'3 Vz>;ˆEAQ|@E-5F%k 1Ni'"t7z$! [)Bm $2!%4=|'g  mB!W͎/6jXݔjI~d@9ۺ<#̥oY5O_;$]/.G"XQm:>pr>cM0$G$.EY@~ƸtÛU E%m>o;ͧhJٚcJ2YV_`M+9'!-棟6-a[ ,V~a"&j"A Q9* A"1ă+kOu:۾<(A˚aM$PXJ`"#ɑXNwQDeMdiP- Ed{@JQ#jDt$FwqL{I)6Ï(贶߈\X 1F σۄOZĀlk.1?$"~8M>t+sC`0UEs^b[!Yw'9nHe-Sf*6cAŃeuD] f ū.q"%ϑ 5CƜZ S%'~6p2עnċ3b bXSjï$_&LBWBcgV?zsffy EBGqgB[W^y((ݭ& cL#Zy/e;Ϝ'3p!C^E]8ֽ;{] a"Jk,h._<׷^"_d=;Q1Fi4R%P y"~;K6L@)Nu-:^ &edCnuU! U'YuY h_@t\iP<"GEk躅]wI=%@UC!;^Zt J}zFZoۊrk/^7k骫wh1I9~Ps/W'6JrC ` :iąտkBX5.=TLζaMxi E{ỷbBWv*fS$}(-;O W_t,y7̾Lٷ Yы@ݰ8Bp0SS6y!pNFG>t $3ᾇ|2Oߛg9&ȦГA]?'_xmj#s5:HPҰ^/,I'n|$z2X-Ʌ:j@cȍFlR_! kzj* )gX N]2SgYZ ||uW% tSeparataSeparation_Algebra.Separation_Algebradocument.tex7zXZִF! ⇴+]A-MՋhvG"uIBm5ȢCK9G6;%qO Aq~>C'ק ʍ|#<綾忨#w :Zv]&:`)w14z.8aM8'fPcn i-u1;`FM/dA.pzyV٧wPPV+&o^?6[N\AaԵ ^|u2J Yza#;,mt|O2 ۴O<9$՗׍gPO@pMgbECn0̐:]W†` V t"dUCTr<`=C0y-i`F3>5p-#&YqZ1AE" dB'{AGS#񘆭qP:^rՆ+ҝlF2͋\Li_`VaEi{+@" 04뵶$u&" ^p?սt;.`hh">'9eveZtbw aBըe_Y_wLaX+b__pn(x(Ņ.su4$_x ?bmGrLjUlcZc98g0e.hy8l-X o670{ꩇbr 0Oؾlu=#Tgx'?J|%pdcxlw +aإy87^<d#>3"0}K2\vi5}U!/T.fr*vQM,{n€:Zhةr< ^2!gć;nOUǼMGjțjYZPG`l82yFL c叓 6 Tstᬫ}~(+9/v$u'  2MASXwS$Pi)o|YNLskɹh=vYaKB>K7!ŎABu܃e̫_s)ȭ㈒OthE5벪MD LS>5`{6~BfMbb0b&x#r @dC @WZA/`iN G~d*zz)0.xP CԞ(cŋjOܕUA.>2~`Xef%3D(-یBnb/vi(K>ng\8J7Г)jim tndJ*[Sٻ;4]+elH)s7#$l aBf$K.|hzgwkݎd tk4I, e ޅݦUsb6Vϡ^sYQc12cuevK_j{XHK%~\YFbQMu{ ﲨR0n>'dbخMWkš3sQ / 96Katسϫ !Vbhz"`03AGfw]Q΄ PAq3Wࡑrbe].r^Ti1+ٹhCRST&h`+M.nqޢ$%^k\WuR*~VHK2хNYu@|jxk\u)|)ehf&z֌hMȺi7[g8Ce T3ed+U_y:{}ڏg ]~ ֲg/ޘ#7C> T!E\]2lDJ[AX"./7p!G{L1ŷ?F$Ǣ5`:;ȅrkIɝj>=[|W;S>c0YX[nC<ٍI?kÇ.6s1ƶ*#R* 5 k"/2.u'g@{m8\sc*@m "vJxiUJdF_5GXSXRsjց}Py\O O]@6½:Oc׸92o3 C}(OzCǮQo:p(t5sp5հڷ- , !SM]k#IA%k80:N|QU/H4>n;}_B,FмL${.u9_Y_QXsޡ/]`#qQ*+OC_Q )4ͰMZ+4jz}(n#2o[Dw֘#瞞~TU_چFو6 "|bh-ÃZ+~ 9xk]=:kDl.o>,Vi,Iqũ!+[1HclC=U"Q {W27¶I:n6kUJ#T(l, _qku BŸ'mC ef)MfZZ9Y[i 0I Pzo)Uf{RF>S/<-6 Nz+q'mGɩrh}}s?\Uc~VnGcJpCg/ GFl%j M 2PF.^o:~7$١hDj%֒NuLHؒ.Q[\1lW%JHM0bw="*& =lUX67I7sFD(Ͽ M[| ɵKQ<(UߔArF$:=mIlHZR!߮7r?Y 0j1]@kŵe#  o?% $SeparataHOL-Eisbach.Eisbach_Toolsdocument.tex7zXZִF! ( ]A-MՋhvG"uIBm5aL'k&h0 Ѷ௦<|;"ƍ4+"7WCr.}*酳˄ d̃{j&}y 6t5Uwhn-4}'H1ouhkoj=I*4p^ǟ/yJc"6P3jG 6+V}B:)QSTo6di*dnY(bpUsqPvO b=h3݀z1 #`_̮`jC.MxC, VOܿm /x&׃Z8t1d_]`EB"6RB.ȧTb56p)bF8JۃetDKXAZۮaE,.%'qNc׸tZ[E20Q˳֠\;FUDUrJ\ǟ>'ڶ GpE j~1ZN;V9lh9`!.<[[Cq,6\#w/xW9'ٳB`Up. Y-#Q9Z Ⱦ4˹}`*4xWT'"jӟ={ Xz">N'f-Mh|rf0+&`UVeẟ").,(G4V 4dLDbtǚpg&nETmFo5@عp"1JD-Q}5`F8bGEEXR!?<|5NIu"#k}!x9{#7wt_FOsc+s*)z atY'-^:Ӣb@MS*m*}I6k![wGKScRφ()崔nu`, ֟}c_܁[nY]M뽳E6[C+d>r"gV,(4 ֝VLz-9B("k'=k^3szbo?z!mߜ}JRqf,r 3Ehu7+˜%(Hos{vi>>|x`/*LK :K^~gq8R2$x;@eKP6 QFgYZ3% LSeparataHOL-Eisbach.Eisbachdocument.tex7zXZִF! > ]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+smtz:rj?3NIcv3"ws%ֈ[zwc VQ[oWr#zߒi-bfnvr^W,o~1 ?ozf'Rh&{)JhGsXmM9eFT窵\G5cm%H-*ϬSM5|xXn-@DoMtKÍ\5POUZ85S>Ş 9/kTޏ?@(47ͱX+'M=+v{aE-GvEy)fwťM_:a@"eH< !E5Lm1G%q~}\c{I8|X;iS*Hd ު@JdYpi9:Yjv@l Gt҉OQKOè<./t#A:J^S@[nG"/3F%87T#*D k&im9Edh!~mrH8c0Ta@7[?6Դ[ tOr%o|u`lyD#mSGvm6Oe-i{<{ae{Dtf_XH^Ȕ]:IDGcX6et8lM$V~})(HUlpDrr}ۘvA>f=ЛEu||X!}(A"$B NaJճע+p uAdfFSj&i#]|(RȌ}PQ%Xp!+wGr3LzI~_iF΂ sP -L R;MC0@5AǽFipGϯ{ݰy{R[ڸt^Hw+ɫ5nOQX c'Y0k 2r\ߟG{f^$ UGլ45jYL o@>17vSf<~Q=5@(S3Z.0rHc!Lzkr(nbPݮ0r՜A= ²L?-;td|SJ/[c<πhQgzW'tD%/ ɏI;LeĨ"m:5O t[ ȒFaKd >,6c^vzt44T׾{—<= ten$M>_Zj|G-~-I QN#>K|]H'§\NNk17LSJCqAF^CT)$1cQm<`H/V՝;Dr%嚗=^ѷ@L.o%]FȆa{P77RϢBA;ֹ3)l6 kc&(Ϙ|CiA_z rCt˟)AjYJ@Qi] |?~br\ F""yϠM5"uҐGM .\?yn Ad(SՍI+oo9O-]?={૾BCVK ٚ߉6lЊN&LYflOЈE/ df#{]K([1h gA I^=;/'$@[ P}+%Áؔ3WY2mU6Ʀ7#ff=u/Rdi 1Ԏۇ<&te-B^ԧ-KH5|sԾ/Z]Xcu0FGYtpjJ.*mn=i+#m]Ӏʆz9Hwm5'>VCSZ5ۢ"ݠt'Co&~Y`%p ISe6M&HAlmw1KzVвQO[CEMn~idGJ^ʙXqL砚"ȚNFi"ݠD|Kgmcd0 u O*ѵrTP+Ð%#ҡbu@)8g_p9Ԕfx`(1Ջu}Qlps3 LpiqaRH-?u%<g1(se'W.Uy/q!~ǂ^>}?I9c-xX)AḚ̂3X`^8zƕl$f:J N{ 3}:۽BנD/u5Ҟ3q.;nZlPqxY1[F5 09;pmKFk~` 9>,t{`?r Qm{Lv6UBqov~N߶MFћ$M-EJn/\=!x,mʔNpt#(^+T2f~f#,CӀug BWl|-fu֘z /K̑zxL.c=H=!N?$݃&kk5!B )XI O6(N̄!+B^Fr1hGuIPB5#D#~{ /ROvġ* P<}D7 >Y{v ][ٝ?]U!{ٳc(؂lMTЯM^Tk\m!ddI.Vr%%uc/ψ/bo/:Iߜ*֝ը]~"(zMN/x kkBD2 niQMs'jS+ x+ / ڔ> /u4ti_cYpeL6 )YOl'dSEoTxUQk+/:Cq$wEDт@$?X6˷*ުDŽnt卒5Gܷ\617y_s 7,i<| e6۔ߨio]nO}/3ѩdx2z " >!D8j^b* tB }`.myH"C[|9{2!2Yh\K6yJ0ړ 3[)*(>RؕB? 73:W5YT?w.~z $>DeB+FnkXΪo)mz2ͷ-wi)5mHO~\Tz|P{bf/vv646+G;%ҹ"h Ih^ .ǝ)(1a3jV}[HKkBL{4\#ժp9h]ȬTMJT-V B5JK8_I\D |)R,2#$NkGKߡ~hP|{b?nӸQ$}sк*u,1Q"m/y ߆w^zt(#B&gWq&YTs> >~UYd[֝7'^\2Q<&=J"AIƧT$uk%ZK-  -4Q5Gp_.vЛߩF=ը)}%qT=Kjn@vjlnAuj}uSƑwR44͠ %4V{_CwV &C7 >&[b}uZπZukHz0*&B1K?FNJj)}S!i0FO() I3o,gdd&KFaMhV:H2yZڟH)smiÈŠ qx SrlM|4޷ v9y.8u9zw 䯤ЏZf(K3{|/9Wx~ ڴi`|Y2 _K.F6nlj/ ~tÿXw_a aOLٛBh,s)݅N4^-%^Jv^lk2)C'#T_D\G3DX;|hm\o„ރi v"$B|oIW-J꡿@@ga,!sS 3y5v42@-BuO>/Q4 1[|L=<&hI~z(8KE)| 9RLWZ +9i% PxPgpLSSCO BԖs-lDB>eftSST~' }Jথl * Q- e6aW 0}I0Ro`rrޓ3 W2wI13hrۉ_"| y7Z4)йOК/ Ăo]Ƕ^%Ci}'$c>G>X6XӭYt>Zatg':얏{ԗdl5|*0xݜ`B"F)tz\"9/XK:nDΈWDEjPTgnq St˟oӈ 8"$ϭyX HQeJ0va5dMFF%LW:Z"Eehh|@]S#@wNYꥃ* 6{FaaߣQ@qvSw w1KJ"lWCT8*[?Z-o]$ m#U誌63꿡plǘq}/ w|IӠXF !"&~ɬ!޻E¼ՑJq qҎ*oE KE5j;nM tUrcb׳{{ϛ ٧<,!-:~lb]ZT4o}¼EO_ɄV|~k[քpכthpWLB 籴Qr[j]8Th(}MހQ<S_uۏ-K$јa:TPd`JFse?1O+-~:M&\[zrǕ WS$_wcE6- }< yZsľ-QQ|E֩o̩ho"75OAbX/PP$L^ cր~) xJGt6]2ax l~7[#W HXHd-.a$hP},NqiԮKwNJ ğU8mbe+7i5ڬ3: N|Zs=ÒYI1cs|5bk$;]ν6g FY6/A]W E\>0^$|^9U~NgޓYUbJD)d]ȗd>C2@13xVgya͸RztI[ *r/ OS=]TlY)zRIh%Dԋ_j^!pV5\{<jm+-NAWbVԑD"GJ1ul]ş*^  x;擄j*T-aDln٢lJ 2k;fOV4@;K#cjQJ$sE妜c2QlhjvND]o?N6 "]%WݛY'+XQ~!$c.zfm#!щ[sRkjEx9ƌ;u J⍐k8?`^FvfO(R>SҸ› ߼hLpZK҂XSqs2?܊w۶|NUM+4a= ;g+Pܛm*"8œޛ VͦdJ` F6p{Q⺊,lT<~(J/)]^p{eI P92_ ݆(+!..|UH&8[S l%0r3 SyJĕ"hcSe5䬕i 45R$7Fi_"teEy>HhA?Fƽv+4}@F;&L9.@z Q:IHS Ťߖs Տ=1ad} uIP/N\6hu$?soq0=^@RRErM];..kzcת* Ŗ-ɸ`D6ќƸĹ (* nTt5Sǭ ۘ2N'mnK|kb 5JK0#Ӄ-qGwL4.9~7s+兑6!oQH-,QV"/C+u-sbY )>;QgT6vDs|_tt _ *ꀸ9M}u-Q,a=8ұ8!Z3cQ!& 4ӃÁjHx w'kFN͋ʤyӦh.xy%prFkz5PFVhdwcPmG[qu֧Z vx1gzS܅N#dpOw`cΌGn5̺~=ZNHp:\VL@I1K~Ljz6*r;bH"z8M*E}WUB12mƧ?* i(]jϷ𫂉I koB=Ȋ9Äuط]rNy;XtY5&TF(b` VqOގB\+qc1JÙ>*琿^t{w;?7mFd32~s/=ghZw @57=zC|syT ߼88LY]. wG^l)ݫ̻4:r2,L%4Dz{Ϻi#d@. Ѽj8=/C yDJ S7G>,ůȥU= 鐏펒cz,k].s ox b>C9k/nɠoY,*:'VP ~p^H(+1s-Ty gMq5Bd$Fhd52~6GL09rA뿚|`QG6~qzF|J_trgo(&`{¶jY~d2M뭶nSrMH+#{M ~`Ax_0x[NqE0,^ \4ce[*m.GXcK4P([]^dO`x ˞֏Ԯkgm潸.Ҁd s5Q8rȞ,l|^>G RbsBg-.T0~[0T&=a TYyt=bX$5 fORAh)BߖۓԮP lHff) 012d ʫ&#̳Iۏɬ{! Tr- (m ~I#Oh^4arMc7gxd_۷_nݑ*.o =Lt<^Z7GV?珅,t؞gjoCZY΂[L*wnd66ڪdͤ+bmJi'ܐ,Mxa4_kԼ8qm΀!OVd\1k Sx3J\(唾nwDP66˳aD4 x鑣ۀ4k9>=IeFCB,axoV# )~*jXK[/n-׿'%mdSPŁȶx!"vS$`1Fպk<Ә1 G^ SE5d`2}2Tc)wڕ:aNJ^ĘrZw0Pn <9^I?NA:_~ x{Y $gl 3L z[ 3~E>ƭܶފ#қy_b$b,IUDh&w~b@e~$` eŔ3}E(~-Lj;qg"i`Ljrmҡ'ITᐃ5PEyHi Kk3pY#U~k!EJgt{-O42M9?*:_"/sY­Oo8<ܾ Y E|wL-U^iY5Kx}Ӓ ~9 Yoc:h>Z/jHYF"XeI.VZs#3Oxj6wQ-BC(R<$LcpC5>Ȫaߙ;8\{´ˍA:L3UTE-=PIq;tvҿ7r6η>Y{Qӆ,UYV+TaFULȉاA G:C]wV?!M`{`xk hDbR0Y7EGD{ .[tՈ/CynjR E ]/HT~Fٱ†MXsIud?}і-AMgy8WC1x[]K|@l:ry*Au8hU"!Fu eRU Mm#{zlGsT fR/'4LN(-wt)ԛբ]G:~ž,6l!X ;v֥3sSӅR{SNf8N(uv0M7q¹ISX^]Jdt'QYI{ьآueȌTTy-~52Nrſ~hU^ص ,6^ 9eS)#guAlz. ݃.-^jnL͖qŧuJ qNvEJhm-IqAP5Ndͧo-#QSU):wiD$ԏ0z#]:Tq^ޘNdpgݏTŒso1tS]s42 9"$岕D`o8g6(-Et=f бgYZ  @ @-/% SeparataSeparata.Separatadocument.tex7zXZִF! n3>]A-MՋhvG"uIBm5ȢCKndb?-Ć6%ҨkTusN,7m8ӝ.[~[˅ kF`~ɴgfN@Dt }0 Y-ŏ.#@2lx7n! #uUwYhퟯIBL"_?>Ag~'(-?=xJ%]\A]dA [nRU$yT/_`ړ#cUQ`Tӳo[9SIoYЬQfƨk