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  f5vDT4 ]/ Concurrent_Revisions:threads=4elapsed=64.260cpu=161.124gc=4.8647zXZִF! ]]ŗXiɟO}M:; At:\=$E_*Ug۬wM,/,;,ѻ>;e,QJs>6׎U]1?]=]w[HpaB5#ZU;ysS]Fgs}?HS).7eI {rbv!(n~Ы>-s޵*V5C$aI [@2rGK2՗%-(75W'ݒ}.hvKQ.#E; v- ;7MxDPng-8&!*/dCw!~K*fvc=Љެ4h4~1x8(b1F:Isd6NbвRc mŎi}H ]ct! x5h,W3RScZ ?|ώkvtuQ!+=i n5G˟&5}8cAsɸm]sSc82r2EuEښ6݌?@V|ej%X)Nۍ^H?(İ&]Dy[PWtΞՀ&"ufM(5?X]^Fcԗ /KKR'PZcKo.Zd)rf"«dC2x@?O'f 7ݱរ (y.KE( ݲ6pt[z.jô3{}jT jlo=oZgŒ/Hc.\(C҈$|C{2z+j (36lU9kh*6Jk" uW76qP/K@ QTB{6'@$B*hR'"0yϋhw,MT烱O*r]f9(q SA+;W7 K֐L}z4y[}69VqڄX` AZ,C< ܈0Xbas/ݝM:߱YQ/R"2y!.LW!X¢lͬVܫ;JC\u3(uKX;  5 Concurrent_Revisionsh5M% LConcurrent_RevisionsConcurrent_Revisions.Occurrencesdocument.tex7zXZִF! X]]A-MՋhvG"uIBm5{g'ok3?i='R9{gL'l-;[dev|o(ꚶޤ CÍ*. Uu2lQEv iD.[vr{Ӱ@4$柫 aEp tA*0]wră Am;(QdڊՍaxoAAi=u47y2'_tE.lϒ[a/B+/> Mե鮪Rݐ̍5ȡJ`Lo^ۋ緾?r΋FݻJbAHABl䢤*- ]FsJ?SH${?n&3;~"0Yy/I,2(p'/?ZG)|cϝpW+q3$1?QW:A@D6^5Q J<-j< ?'Yg~_rB?f%hf uD,<WmTEDaT>׼ QXW-/ ]/^zWa^|'l0836w`G vxyktCvh"}SEgCWaS47&y3"2Աh~[[ QVvk_c//3vLFƶqTjǻV]`b2O1tz:&T x`I/~75KShDoҾ92Uu:n v8Uo%y&vi6C2lꄪSR(Ts;{ Po:3}6dw.EX$90'vHT]jk5X7B4q3Ww_hZ aQ+PsJt$(&RI~19d׍MK4 GԜS}L_wHGmՎA*F[[{fGೃ3Lv={{ i-Uga‡XDQJ$淎@H3KP-GY[&ȇ-M6y9|7KIFndNn~*˓M3.f@샚=1    Xt,F5M%Concurrent_RevisionsConcurrent_Revisions.Determinacydocument.tex?5?%Concurrent_RevisionsConcurrent_Revisions.Datadocument.texC5G%Concurrent_RevisionsConcurrent_Revisions.Renamingdocument.texO5_%Concurrent_RevisionsConcurrent_Revisions.OperationalSemanticsdocument.texG5O%Concurrent_RevisionsConcurrent_Revisions.Substitutiondocument.texE5K%Concurrent_RevisionsConcurrent_Revisions.Executionsdocument.texE5M% Concurrent_RevisionsConcurrent_Revisions.Occurrencesdocument.tex#uS՞z0g< fC Q@tNzz3n-MiHg9ff׻fqp ӘNHXhl':mvALkZ]ngc<6 [{~&"VZZ(Oї {b<;ꖠ0vst!1AT&Y {׷v] YPLh#x(ꉰ#Pr } ]S&|402q)mmquS RQѿ3̭"@tnw*ԫ\PZ-̯Ei{e5~oܗ}I)yL+*m˧rtgK\=d]ÔrA-D&^7 1KZ6vԈ4yOkObk8w .rm>7_Ew%LB&5-#`@ cF"5"*ByClɓc٤(z19~|rk  dOxmRYyYnY|rzRL}h|kS\m>2Ѽ?95W S:L ~̜{ϗa߳GxIT-bjo`W'1?JޝH. ?ٍK 4rԞNs|ƐQ uռ} orH4P99EWpK)"|VBk-U0 ;aGŊ >RxA+kYq2ߦfkBC%F8F'`LJș]zr5‘Q(zgiQK`Ң!J4H5e͟O+ɛ՛}QY-['#6>o3ϘYA*]ߤ7D .+\Pe>u|;j`>8P=JYҷ P/C)v{l?xƛLjk=PH %ˏ8 & (Qן& !.)r5I@w.r&%t@\[~p7z!@1 l}3ٞ)z"|XPF,o/,Bi]]|S3e}9:D%Uncɷ"+Tv_ U=Q7<ɚ|Q nCL ۴( MiN{`"1ɠ)3:"Wl"Wx c?UY{H]AW-,X}CX*%Wmta!=۰ hn6١`8Oʲؽ}:9{stB*yߩ{N/:rf&q 'ag257ғːMdFopTR<1O @k:dX=EڪǦz:S.HdƻH2=8aCJf=nQEW?ǻ^H@r<[vN9(r= [[& uA&W[dD*|YS 1MgTT,s2!8j9ER̷tE*lU291⇄RX6z<M4@e y%؞#m'I+r.~,ֵ[pJ{^F*s1ݽq/ =>τ$[E)8!+aRG'0?^ƒ;"ĉgKneK*▲&ē8lm{|et0Iݐj~؛1Gntҧ^8qDg R?'iZ $+_ bz%Xp*tf 2\(;S#Kا8[qNwkeю38b?͉-xC[OaXVYxL³k(\NRbX4#ըڸǴu}?o*$*NV9AxHKr wH~ 37jEFXX e zp1_Imdh<Έ#dS49=k+{qdT2i^ʊ<B'87`S7fDzR 6E܆3?r3ڈONĶp[ L{DQCD%pt? 8Z[ckA^@ K_e,E}`TR8da2#_bRJhLٻv e 0Fdn[ 6תLD 2%V0B0{ߕ6׆y "Ss;yx!D4BXuөh-.xw sPce?_=/fH$[e2;Kܵ Pn1Ju.XͪbQ.N;h뽯jMDJ@B,iz@(f@ͥy[ZMzp&s"H+VLRd2*[jtaLKO>p+,WY3A˝d+}9Y57oy?4f=(qQj(*X``9#A4@Y0jHθi~g$jr&lmNPp4 b1jYȂr_]qc˥4U!OH='Q*9Yni+xjG1lQ~MDz9|PT~ΗE<\bvTgQ27"a|[Р9VmdUwb+(sG1|'9/v،egF9q$P:bمU漚-Ec_.ș*wgYZt}z`CBgƊƈ8%Є`C1J.xp zl[D/R A" 8 [[n$R'-DF yj8|WEuL+>Yu#^^bس9>8~{XEQ=` >̈́6}ޫ<$ ]ׁY [8@J"𬳥E FnMXpݡu\2] a"h[8L ޽ƢF~IΪ CT;ܗAo/#IQ9ke44umN(v|hOM4C$mFv*gvv6lܫgC+1)xd[PW!2-BL_mkM/)Ľ" Cɭi1sg }peA+$_Er**b0 jEV?-n/hnqY!;#89stY>pb'_]ҥTmqoΪFS [ͨ߁)=P_޼zgV*Wh9#?fYV6UHȗ$^Z ߽<:U 8tAiI 6ʅa[rͻ6RzNá0m `e7N(KD^wY1B Zh!L+kGG.?O5f n5 y4#` E`%;a'wXy[pL}.b*=v>( ؘQeXxx AbLTE:,V"\x290m|`ѥZ%Օըt![s_r#WbѾ̯j 6rxvP\P-=fAm/(N{Sj\zoY `IuAb %E厩Tddzk\K GUy1+ -'J#iT|߸q.oتҁt7*%ʵt֊DN]}%{&}=ȝʨuewim}B&lJ@Ro{ē~5٘dvr24-DBs,J8*P,Citve;ǬεTXȡ棁lw㓱$'%d]q<ZЏ-i]o@vx2$Le%Z bk[VjΖo {:'A1%v71?  (x!ZUS| ].KH!KȺXvc!W- z'jQLtY~]- A g@`#S{pU#>DȞ?;4+}9ULiSG/Eh_= k1 UQQ񳑉o oM`N O߰J05ˬcr_{$nC#)bxsr?'֯ fai_}*TE+n T@?ud<ص Y(OS39!,Ԛ]l p)j>m cg )lMK?yXEuK{>( MLT\;ơSYJ@U_c ]5VL^X/ %&^;2}M\78ި*ԸlB;ϯ %#sB!Mpyz>QjRࡐsEiu fy,ZzBwM_664)O xvd<0;t]0z%{Lv{!B1Yeޫ "8uQiK;&_cEmRbنѦ4|I=j!뻴,Sk<H^&ͯ|$a*c|^:oOe`\`J?ثA|ig"'wr.EOUkB*Q@_T VO8"Ktmn҅Uг `eamwͧ5d!iKJ-uOx邃ȱ=/ N@lF+n3˕F=+<`4Uc3¼S~xoy6"IXlv>} X֢Ce6Ow##zv7C~Wpql!yM%.C203zjàә$+5af{FOpX DÓ*7q-]@Xd,$G^x\y+נOi݊ Wӭʅꨌ!bgAR^(c3% ģ9E9lM*HXw;cih87mgrD D=,` .oI0g`b7U#gۄ]~<.j\ Sdm3ӽنD~hDP*aRZ!;w{2xWUtC^;68 6clY\٥~hv!̚pHZ,W?QyNGg8̸n,{_PUP]Ή>U\:72IBIl9:_1;Sx`+j9!y#bdPM3#}Ik#A߈BH紖aЄ##KˢD/7M8r:|e@Щ1%r3Af(B9J %M&[bL+n3:ޛ1'Ia4=1ҟ!{tgwkeQ@Ud=@tqk꘵iDAk" E[]i>5=[Onf{;u2T1rȜ[\Y*#:]ܩqŽu*Ob_OE)2s;YߖEpO dR`?kr1/T)-ů7S?HZ[f :#|_L{^ɆI p'`uoneA~o~J/5Q<>]ӚѮE CsR=6(is7|vR(x:X@$K$n;#YxGC+X LxKYa;QpX H%ڊ5Pf+If`4,^%N⸏3MmƧ#RX/ O;R!Zt\hQU@z0*p~WbлQ3@ePv/|z6HgYZ  h5M% LConcurrent_RevisionsConcurrent_Revisions.Occurrencesdocument.tex7zXZִF! X]]A-MՋhvG"uIBm5{g'ok3?i='R9{gL'l-;[dev|o(ꚶޤ CÍ*. Uu2lQEv iD.[vr{Ӱ@4$柫 aEp tA*0]wră Am;(QdڊՍaxoAAi=u47y2'_tE.lϒ[a/B+/> Mե鮪Rݐ̍5ȡJ`Lo^ۋ緾?r΋FݻJbAHABl䢤*- ]FsJ?SH${?n&3;~"0Yy/I,2(p'/?ZG)|cϝpW+q3$1?QW:A@D6^5Q J<-j< ?'Yg~_rB?f%hf uD,<WmTEDaT>׼ QXW-/ ]/^zWa^|'l0836w`G vxyktCvh"}SEgCWaS47&y3"2Աh~[[ QVvk_c//3vLFƶqTjǻV]`b2O1tz:&T x`I/~75KShDoҾ92Uu:n v8Uo%y&vi6C2lꄪSR(Ts;{ Po:3}6dw.EX$90'vHT]jk5X7B4q3Ww_hZ aQ+PsJt$(&RI~19d׍MK4 GԜS}L_wHGmՎA*F[[{fGೃ3Lv={{ i-Uga‡XDQJ$淎@H3KP-GY[&ȇ-M6y9|7KIFndNn~*˓M3.f@샚=1=~͑Hhxy :[I3g93U `(~X>QkG/5tO-ejCee^kYhy3=B`gPAc> <Q\nD uэKόSVj12}KnCX豠h!5숽311Mn7!d/sN@[rP翐taZ5 -U*TjYѪ@N9J{j("zӪ^\9գMTfl[p24L"X\r4n@ETU[-贼yH1xED ItєS獶nN4*ۡ] M!= ]I DBQik-Tuc<,txgj˖ϱLmsslj>|%t bHl3/L ~X'y i[?f;{b#ۣw,U4uSKUKվ[7I^YV"4hzDq܀/]V=V , &+չT 2]3boݷ`#r!l &}n @`SH#{J+c~؄&\BZG$˶_#1J'Í;US(To7}.zצ1 Ol3}?/sԯ!F0HE ˾Jj@W6^ƛj6N 3NB[run-Jl[0&FIЁžP4<֊to{Ic[d@n]P'WCXa˰qD*LBAjgwOPl>"إ:)+mWǐگMu&Δd]WEZ4is8e^X͓:Meyog|A3$0|γT҂f8`;ᑽ]~ ʞX<'욒B!A-O]Þd__ɬ=c XrV?XSNLw?5(6 }Cl AѴJ\_ 1q8<{cuг1{SObVEQ*I095BGunCEkw0-[3sڳ8#(RQ1j֥2?b3*(!|yT&wG^EE((*Dn+ Q!ɁGaj{xX_bxpw9;9>蘄|G[Z,jN=B\u٨8mTAuĵkxŅlY'N6dmQN L1L>AۃΔͳ >ysg?\cqBwr?J',!;`= A,uЬϘhWGIoJukB!k`@̶6 'B4ȬF8T腴tMlJsBqFv&ML*nsGfYe5mW!l+]ޤ5 7RЗdL) 9ۓDvWaWZM0=GgBn<Vs:k9t7,rLlI-oOڳ @y Cg=%sl Vc+ܰD> E{'*BH ȯ/*əip҇^ $>̀rUcŠ#9D١_5d^wn<]mIe" O3o;>Lc㝜LZ!>U(>mts\'c vH=ux(t~&\tF]%>؝kmQyc90׵kUi}іN=tow.w*ޣ aw{)HpФ|ق!DoRh٩){nR!r)ߴ3vgUoP V*傀wFZnXmr$V/wN=F@) y}XK9L7ةS(e &^s5mjoRx .2bAO4e@I b)xΡI~<,'d5TGS0a,RC/뚹MnYGߨXw%[,FTCxKfJ^By: )b2E=}xöPgenDmn|? ɜCV3"ͲbTn:!/Qn'e,^E &g_< $EѮޓ4kkGP>ُJL#ZB=fo,Xo)0Ck 8I;%UOPmtZ?iՁ~\hŜwfԝQy c':'I*hHO+T%>/YY) tK)o`ʝbPǤZVN_MC~B>_KQ.r{ 1< @7ة;6IPl-GȊ+n #+?cV|P~H63?A'3R͍Nź`hԣ#I8<ybV8jߠ%d`a9A,GCwـs3dv6ρXs Dy4mrP"hhWfXknUż1}o-1X|%|2_auGFRstBe1Y4*56&viUu n5C2ٸ^zٚXNhZu7sՊn"d:l}0nIQwzbXY\(x[%LIE7Jvo.gѦt,1ceE9EQ~1q\tF/}cGy$~É$x^^|v¡(J*\zxQC{0 C0z7U;kU6V;I_u=bd{]#e<ըODkEQ\4]1 yMd.d6}iGs t,攉 Z(+1i5Mmgnӎk\;TmoT1qoNSrŭ- z_v.LۓӔ[#`B0<_[@p6-xG!6u~NnVgYZ Ia ?ϮV{#@J@+s!2 tm9 RXZt:}cLьKgi@kǂ  C͓ĕT( gO6+b(GуcC5Zv/2ulEY@-.k]3"rsJcb ~P[T2 ۽7As.mO) Ed~4*'VaQ.ȇ/۠c0{Hӓfi'z><`} Ak.,j7:5$.p/PPԚ& &MTz2zCd2Ҝ bcKHgx"b( ys-h8?&Aq>8Z+ hHU]H :C1j}C06g‹ގF 椲GBy.Xq9 (-Sjإ4{$Tԝ=4Xh)1]A|n32\ECَhoQٰDpXz>dGz!>ɔa䝂[ bld[O\}P/] %i*9yZi7f8)8bm>NK{ԓ^!Xa+}W6|Ǟq8t! DHP<;~׌'SuAc(~ks@Nhx۶‡1)Ic0.$S1!H-]VǨ8 Rsz.^an@PkK[ xBN]Eh@_&z?{B3cPu+)Ve)>^h~2յkTǍl1S 8jϭ !>rv .W V oy8h" g#}~{2AWwz(ZPYdԞ`g';6d-GoK|;Es3�yZʠQ YQ4F"wn ȍ{I],OwtPt*h(ʝoDaU:%8Iæ/N}Y|A8KZ"!LZI jc)V|/ ќ ¾\ e!(z: c;"wxP0:lpJ=[ z@QAsA\͡kRck!Qz]*P}+w-?fQvo9҆ OibvS5ƶ5n>fL~'8AofQ!cJ\-y'VaĐ #>%0Wmr+37OA~܏@3'S6V?{A%P_D XչY0iE$ׂ TF 7,>Ԓ539&m2~ 4 Tmkr7evPb|mE>[}C& :haXˡi?;/1 p^}jQ_Xud!$ƴo@A=!/"6.X%F?EI/pr!7_kC0AF<'7ĝST5jPj2wS#t%Rl+!٦Sڃ)q5 ~Lrh:,`NNg:`VMJ.]iGx]ĭ^qu}-3lapuժγfAQzy/BSԊWxk3a=E,[Nm9DDː xx{M b|t}\BdG/R-h,.(ユ1ױza(R7_ C',3R Y;p"8^kcc~mK?Xfau͗5)b,-<űHRlc}cGBz(9@YyK\Z[<0(;4",P$2.23sh knŬQXq)IRydʜUj XPShіq:Vyn,s5˷bnY\xB 飔tݡaESlvu*+q0kk~.mb4m>.qAf1{#6h;@0_=QK}^'e\`~V&XK wAL0 S.g* 7_!;2g#&m 2}v{pMiJK@מ?q6LiP+KZ((dc]r6pbJDz@DV,ȄVmv6'_!BYiHe @L=GǾFةgQZWQh\ӞGܿ7UmC<"lH'=4_Xml:+xؽ{Vo_sw3H̰ jw ևJQ%t1X($?nU8bW-z#k:Z/7 G4FdR ^񫘞Ax,#8%7Dݵ=29<}46sZlɼFŐÚ̿W{WOJ6 6fJٶU!Ȭ4 :c>4|i(eߢ]%Z%i&MĐ!p%NՋWņ03 ԕ>AYÖFy ghHF ʟs`9^€3RB%H [KLӏ]9qtݵ'Oh m?;qA% 341龃f.tًX`˩b fij//oū]ͨC.5PFƌGհ΃_6T1aGdl2gܽ@R0,&(YBп&G(dDQ,4(㭞dv9J-xԭ/<5'0>7{l ǮJLOlSNVy5J@%J/둒O 6['uiDw#aUa3~ ۙ]M8pդ<%ezD~ ٕ**֗>خpr\tIWmӇSrmε!]Я@:O(=x#_M&<"~/[ݬ6 aGS_K; Fc@ |KKU,h\YIzt&!EMmeo~ !r0R)`m׃‹XDqdvi̜m &oI~tՓ6OmݪmiAʺ!ee}G Dv}qo<;L1 b _e"l$QK$"J-Xdn&^4gǥlU$"#B@t5T?M 6S}> v8d#z34㢫A\3[= 4!?3Ffis=/λ̴J$OgB#t'Q8`W+k" "6(ZN?I8@QcW?3^q3J\^ab ._/!^M$2S@Ã#2Lj:VniVnFaIu'di\sT i췰ʶ]{Uy8ExR3/D.U:y v8dd]p1Q 7]ߒboԕ}!|!hC! Yb+n=5^zlAM]]ϻljwנԑqܬ}Idnս̚F,Dz`+b{Mv\-#>{] "cʨkv EJ);Zm"Db1"p sV\o[.[tyBKi XA8<3KׁAy8~KwUƒ(T_ [3 Xf(JGwch/^,Ǚt,o~3H*:Q~9 C-?K>ᣰߗ^O78ȩ[KTD7]F*9pM"p`285ݞV5)=~?yP8F Dfl5C N@g6[ѱ9۳sgvߍSf6}:/N̞And7ʿݴB $N]gd+)dЬS[a@:nFxKl֮18s gMf*'R3Ȕ]Og_A{7uCe0b9Ýjj#+eF:`0Hr`?DW˲UuvVd3rÇȯowF9LJOioHA2} \Q:dִm᫵I(ԝ nV#^BF-^UGO ~I}s8L<7RUd6ҬߔU#<2!üL&c_Hry4nۺ4v" !{r'F8,ޠĿ3Wb1G4%7˶+_vN:aD?x@C8\DJ};Anu H|sQ.VX$˄}33_w,3=XP,zfͳ?D32Cȵ;$* ŚS 7_1ø+O-_^'pY>+3AN":|{Wvr2 /3q2D$̱ 8R/Zt"s`Ɇf?W8|CPR* #rrM=baQnZ%e"7)a^m&ncC4mF_쐮n8``rHB6!}9z &n3Ŝu$u=ēTUz$${=Źa2(]lX(LOmY+ҼNXj-)jWAJ*ihQ/"6/?g$8uv.LT]f;{*0өzXj0`.=V+e0]0EJG9pJK_f ^[\` -p)R&pܐĀN.4{͸lF-s7`oԒF 'U^w4V)ed ϟA9&!`tKzD,rlv%y0gZ*;HEztb!,K[FEOUa*6_@E,gOjYR04*NxѠz9g'\!Z=o& `k-q2j=/@S }{zIE "Iqb &40ahV`9yR4m8@7_g!D/{q7@Ia6PpXP?_ 6DdQQe {,eJ"*`= S@| %I/S0|gٲ6Bd_-+d5iHoڷT8%C<kI?"pdջ7.'7(̇_Y2m{./Kq .֋d}\(+)'-ޓ)G7MvM2j*_A랃oֆs&KUw߀W\g8[9kky\"E1UO\S(GN/CPk[o fOܠ]2y;_ 8V}WԹSJsx?<=߽dmue^ަn9(֕#5qP̜{˸g2"cX~ ]TqW&JxwErvJ 9༇kBdn7){y젢Ƿk ”j}p'RbQ|edr 0{ 复sXҗK1T7{\ آ'ƅ? |ȃ=.*l5CwVKbhnVOihR7鼮Z{ߓq5/pj9)4`_Fy jpH; -Y@$C+> =th{}=p4kJŵ@gYZ   5G% Concurrent_RevisionsConcurrent_Revisions.Renamingdocument.tex7zXZִF! =]A-MՋhvG"uIBm5*X6g4c3 ;^jUgH|Ie,78Rm_{.Y [ g06W{diUnÕ9@@}C4`\EϾkUn1q7g/MABP=`:6TKβ-|]aJ ?ʐ-fUcp~ӔEN#AAמ;` !1[%e@OD2+5V0#rcPl X,YѴw$+UQ],Ak{H¿J타3pɼJ8hǔ5y/m /n=Q{09vY{A)P.ε C ݢZSހsoۍ[*qQl)\+FF\ށ bPpٵ{DP$P&<4}"b҃ EuI1gq'6|6[zFd2ZcZ//MRh לl 3Ptzן @H_ 0oy>$뀒$dyŦUOC G2?>OXYpaQȥP%][Q"e#[3~ T}X>ohDAz֌i0A"*,+49 I&-s .ʏT@&h4 >m{E>Acº0&5?!?QLXA}SPH;S3))ԾLQ6hQ&|603w%]lt\Wt%u~J&z/Ga(GrGM6>'e%6=,Iu~ACm^slװr2Ew> ↇ0YVB85;&UEN)28 `7ݬ|/Z? ;~JEks5_7뉴'thC8Sil 70Q+5WA|g7K6Njio/O X҉_#4cscJ tr|5`b}K35}@G[ߤ8va:h'`9km>@?nѩfg)NNZ^I~-<o:K/Dul :*g,5&ä5ɕLѲ>\PE k!awRfLF+}G3l'Mҏxܟ0lq>|Ꮶ-!_D ʰkfw\mpa_s'6e%9!Hxy*f,qA\*}>.d$~ٟpGCKҪ#; %Ϳw _PQ#1߶]@V~_Mzk z%2}bn^[ 3"#IhO%-,ȈlE}s-z"鞢 z"a'5h1rt!7e_xYuQ ǏCs:ֈ*à + ö-=Έ呧j^e]t$7RσZc Z 6#kw< -8ϝTYYuerl0練Wplm]ѐK{Fnli}t#G"G 4Vs[X><1.ʓ`q7Tq[0CH ]yPsR]ލs9=h %aRU}~R\"hn_km?mb$Bl7maJ/԰EsQWDʶ(mYʠad})k:':|NA0B;S@`Wv;3Ru4s9>FtA3p!1Eho-"d]m%BHmI.[kUK E;Zw- ω@C#bm>pMgnʫF|)KL.:2hl⚗(х5O._~ 8Ra>ب\R;b" Io 2MNȏpdŚR+ca:K/(ǹY0A@fc>wY^!YHKk_Oh^}dt}Nz)t#}zţiGjUQеjg%{ྺ ydYY:pGؼȓXwŠ\~{8krFұ+>Su|1k/v< X,`$δN XrXF ]-SZÍBiR3B@+xNo*=feKC^%/qTJ X/pPV2Jq}nXʏ^eI6=Rh;qzDMB15nXPχ0<!7}Be20b]1R;H? 5F1͆$0en)9f.:$Ly%5[;Z힆V JQѾBT; ~&χ,Tk`gOI&=T\${:~,l7p?zW%=9;uyM[ludoXUoC=cs{c4ֳ]*6:)xxn~.³(ɨVH4S0!VWJؼ OĦC9;̺e3nR83Y1OXrtjPhCXXRzF&`]9!A jLwќ@Ѡ@FT1ϧpx'5dL( -nk6 )ݕfɞ)9B!4CХӧQk$%ITo2˛54^90 .-;kp5Eo98qmJzQW|VZQ%ΉAӼ sH%E> bS 䶟DdQr{w)Bk<<ƪbFD+ _TA.ȑU%!^#}aj}gٰ{ϋV>.`Q'Қq9[| -𷊬OMuJm ^vmb۴Y"S:l% xhFqqB'qFz<`Mvy 3zsXpjqnSCnSRwm i7h%m62rvQkwGWx nXBmG~K?7C0 = 7-,iod(Xb" CxDyTh1>{' Vّū:Gc_?BwyDy~Ҷ^#jî ƅl&{X55gm~`d&`Awh߭446LzSf &#`y fhG}U3j?5J!GAtdsU!v%ϜE&e`ȁ̛^:'66Z@[u)Ђ" niD=ukͬFl/m},ձ.Īs7Ic,T7 ^C Wq;&^sEyqU`xi8^)BKP~w)SGu՗3FUC[xU U:+ɯvp3i9͍2d ܔ@<4ߡ+|`ce紘bǪ;36vܘ3~ bޅ_mP3(=r=h$%`99Q4ș w 2X'i7E \Ӆ`ʢ(͠OpHݯ!iJE\I1Ѷ Бe?ݻ84B 'ݗEF&C@|9ĉu)iޠ SUFÊRQMk g8+f<:C uzQ[͵hFl(UvW|32Ț5\jwpmsGz̍T".0dl~fힵ<쯢"T*78b*c4$r+:>@9HSӞ҅1Z>r\}%|]>&lf76}w=nk 8gB9z(V?GC-X-csD;E5ҹ6=՗B.v򞰺)M˧vן8dǟS%)%.Ѵ6h~ Ԗ*09f9,UQ rzEC'wg "dq1P833rR$MY/f9}n x]0@UDF%ť3ApAſRJ> *] H_|!aiVcnxBbHXk{9a`Hǻ+o!x]&*emы!U;<̛aK"eA~У1pq@J`KLE`:-/3ctѿSF{ױǐi3f>j0NQ7Ek=vpcN%ѾX{A>NhPt[KntcG;U& ^a% i)c VHoV9f&J ~fڶ~16n`SZk!]2۶c-⓼ t ρA^OTFxq-zH"琦#EeAì N5#V(2=iR^ԍk[sаX/l)dtLz^W."4&%+-kL@"/ N$`쬧u8!8kB jQa_$ބWIb<4Sځ-eX;0۝Pϐ/כ&p>"9%:ءb0d HCOd~z_+S[V "ǡ,aV6vof΀7ęĊpG{O`(hw&"^R؋V(i".7VS!i0rnC4< }+;ñgYZ 95?% |Concurrent_RevisionsConcurrent_Revisions.Datadocument.tex7zXZִF! ]A-MՋhvG"uIBm5dhBܛ:Ä9"pLs1CF&\ %!&eh1l۲DK5F[2-&ɺ7oCF۠$*A7+YO36vwqpKUA~H*@l.1;Wrbf"8`}[=f(D.m!`Z >%T][mRقY F1^_S\PʶsWOS-S$iOGwx,I5tb뎲&)^WPDU  fCbp[c ja*҇O(=D-Z+ke*|I:Bܳ-5I&Cu;9 gv`][|ێ ⫀ /.ut _GZXUW",;6͈.*})OEom8ࡑ6Qyp䇜 =u5'R9{2J$@V5Sgf$O419[U=$(6ӓYe{<za{yu? ϶$ JO?~xyҙ"=tݮ}}U!G&LASh@d!, }0-zvK'ޒ4@ىxPWv$oЏYDxO:-ڥf^ӓOf{wO 2C ! Ge~ϛ=42Aƅy`$NxY~ź校l:B0+w( 3j-c`@( q\c?u}Z@:ЉѓUt#w`_f2hV!9u U,0evB:O[94]Ib%vML~}:J1 M8̩9uo^;62(c#ii2@85^ѧ_S|dUC%M9[vr]s//Nϴ{a/މpr_ 3i"0qSN>fW~L x ABEU//  +bUo`ؐ[d\[>7\V[і^sJn!}1XX?ר-1N0, d) o |hknzAo;S64geT@oVT\撕|u`{trZ$O]ؤ^0la]E\ؿE?H_rT[!Ɯ@FƏו˽_?f?my1TxDq1Bܾ$pg|pܩ'w:oYLLj桟CMYiځb>5d cbiTqnc8ɉXg8}lhP>yLoSb&Yt6Iϥkܗ܍ý}%.R}5nAD`}heL :3<'Kw.ݙUD,@yF%gOJ Y5J7<[n7X$I])m'݇џrDj[hI~e*d˄8p~ߙ.i/=΀K\RZ mmc%:$[̬bEvs7wQ;$;Ĝt^~}eqbComP=aYXg:.ueij ɡJNn7. R>feyX5wf:vg1#d rxZ|җ"2J-#{{a*1.-G6z3;A繴)G^$}tR7[YdG!b:r$a?#q(.CUhBPF3Έ6[+IPXԈWҹ>_^Vx<<7 UJ#n;eAh"r:p?#u,?F.Og)xAaID?= +#).`Ch: a&FLwu[Noc gA@͚Sga'uqg:'-ᵷ:dP`J TaʓISFȱ0nC :_( 6*D홻yLF_sgh~#iW \CD#{Ę\?cvD= ǰ.}[WrWs`}}dge$QfoQcet 4"n>"rNϚ]bg\"pu.LI^Q̂~_^P끸\stH];{&u?iaMKBGG50nS 1[gݜFկ [ vgY7M} zk ϽwBY2ȸQٝhJ Q7H JQj{D)M/)<_bCZ|ȋR Y3[B(8]E-R)br .lgֳ 2GA XMV" 5=!B9c΅r:`c!wIM$ ϙ؏ gjo2?GT`%){ىa2o6ֱs"-lv-JGlF;|ܫ-эw54tKL|ΌYkrCO -}kEx[un >-:S.+J~w>VE?]9P3 L!~F&ł"Z`%{-{pΞ* %Y}+t%1YV+b{jP;%9iI+JƅbO?g2ffѽp;kǸQQQP,rN$1Q=0gwǢv<sܙ?"S]#- Ά@5(2.eDX%*+ $Ҧ o!EDr|ěJM]e]oPdVHG3(E;VzqϾ|z,bW7vq]q+>nx95^}++FKQUXaqS>=BIC{)FŅ8z:f{N_fI1֯^x /sҥskxSu5IrͲkֹݷ' yytsoDzp/ BJ`x*US: KHyOL+ EC &Դj0sۻ`2uVf7O 0QN- 4V |*kV{MggN"hT$*B-kUhLF[>' 3Y {&̚둷p2-M ,4T]Y S ?UH%T>Bل|NU=_͏vC;6"iإb_k%5NsRpb%qANp45 E+6FvzS?IRٟ$ ʠ}!DPFuHE£( ȩsjp; JHl8±3 ND?\Z;H"Yd}2}KZ޹#,iz]y49@Wԉcew,elFYZ@^T<40a<@S-|Xڔcjdt`Q^tD|r['XPu N}7\Zj# |xhTLyeJy5A"ť6N)RuÔ ]!vTʜӜԡ EMjG~F{_J6c 9/DuLit?D 53 XWv0^o+(ˋ+F * 騷?\E2h̀8p5`UO=A&hz`3M7BB+ e҃F+`Jg%@<t9-EѲ-avkz\BfN1_Rp2?m+r|V5cם~cZ%*RmkQpC#4OH7X1R'1˧/._l!^ƒScF>_^f40Iƿ#/Tx b:n YSZ&MVq̿б'W<( qPMQJp;c'Xj(EUE7-}L/=3[.nP:q&Ŀ9CݽE܂N Vi ! FޙׅA-A"KH sS>E:Y`tkJlCxg<8Ahw j>XWC*A". aֈ| 1&=tɭdU8'.1Q*Rbřj b1#uy2ɠ#sY`yuҴ#D +l Z4,Md5T7exI"뤗8w*WT yEĊFm7ڭl>L A;0Js(7'uYPKAsnw/*V2 *`D  ,!4'.+@'|yVn?T4B~$ŶDߊ9Gih:S+7@I Fd3,x:w/~pˁX⃆Ɇ:!ה6ĹiV] U[`NEQ/I'#e=}H9){W:BHcMpw U_@0[+&%`Rt_" 2\&|R&*.2459؋]qM!b "JsULVeϮ4~UI£l@ xt%:h%JS2Ȏ5'Zp]FgZ 1!bΏb-ϴ>@~I붿ٳ]-ʰJ=Grt0$U=}[nܶ7JR Sf|drd?n>„37Jk$kmD^sްFk5iZwѹ@/w(Wy]kڐ,A>vGf|<^4`7ꍸs q-\UT.L4WX&aQ)1-w-k2%ήK ؃ᄼfبf]W| B2OPU mS1|'Bun2RW,EEF]"@`ͻ o5zΜJΗRP -ЫʽnHDFnΥ9v!(rysn=7в;gCiۃ|ւaNu]0|`-3#T_ė)q&`Qi~sWC(B TSpPC3J8}E`*#M[`plVG%~sg̮$a@Xs< ɗ$ &]'CͿy!Ir .ɽoa=XYzwrƦmy=~Vh AH%~XTXxkIT34t|9_2xl2̦K9FzɁq p;_)P;#s}gr4.gZlqRR`3@{|oCst.%) bHdxogsgcJ:QLqL_Sb[@1~1m&X?@g k9$@C#^c;,+D1ϠrZCpdmNRLeq圉ȇi* LC*K<\hM8mo8$tޗ>Km#Q uQoJ(8S-v(X.YU`w4cMD;q/9iv0`{QOgE>ͭ{AV#ASe{afWk܄q\+PPLlmڣջ<^| X?{BCSOwF/^`RO~N"գΥW9P/n]KU+/߫My@\ď١)أg¦O+/v"vy57T+i37Gq5 jXׅx{ڋq/ڰÚ 8g $9yaz9f'.l5r)X/}״=n]37 *b&QDlZYm\?MjF _Õ 2Aզ`mFH cƕGE!CB^q"w|s&%:NܰZ+y4R{pEKXD`^j,i`M]tRxH z'DxB3/dpZ3%DpLUYh֑sQJ $ ;_ބw1k. #P]zcOϔ$K-Wwa6dʺ84|aO6zN y00DҢn}ƒMeݶ,w]8VAtߠP4]Khw&G[7O}zݧJIrѪ]n6CeB]n3 ;˶:uʌ7f8o 9zpgEJ9E!0RC%cd )qA{[Q! u[U[LfEakP/mCbb&oWo?4]C N&BS*.Lό~)4{;q)QJ(6B{Ċ5\{F[_p̗M$Xo-7&ٻgR{'BP<\#'odrA k.k!pTqQ!AdG*VJ (%d>˾C;q𡒫=ݤBL&.#a`urW Eș6J$`K(,fA ah? X Л*/Z֓5 TyZ!iH1o\Ho^Sh#c೷׼ld%Rpl2 a~r CYlD+[: $2(VQThZC*6ѡKڨ|~pG_3r{+Vq\Y:ш=PD>;_ Q1C^9$@j*Xewڌ+;|\bx/N V[8 OO 2I@v&5l5P;Q "b_zrOS\Z[a2(O4p`2vJs[i;pLH|(IG~X9^XcK >ص[6@:-}AxV|1' ?on6s}CmM^!4AŀA9rf?Ϩs`=EMX29aYw*[hPR 7̺Ia) ÚeĞXFő_EǫUaRIqV5ܑ!ЮTuEa>>UH,RVZ~UF?}db{ӤSeh!o t$49v::LXBI wzδ,(Dd `I"4N Ē-Dv#Pj[E0hTź||ppֳ|+5 {uͱ^"ɵ^ dM 5s򽊇$Ը_ݾ^֙±2^gNj7@X)h\X2,-Om"Ć28I9bl2B ih6N!v 9 6M\u"xRd(qMʙ(pF->CVnf 4Yt37h9 ) ȳGx;+VM!_ ԫ[GA O;ALA/v٬X4GTW-]ĹO_dFy`XT(YM9S0 y q(aw>A;Ayqw`b-SfD.a^ *Q?\*F|LLW&B /'&%+DL]bIXNt FYS!1~| t3zxY{aG50EVm>Z@.AGx$1R΁MCfFA [% ez^[Pn91މT\&-\qaP-I aJI_/ OU Q ݊ž\ʻ'wpK3rJ? kFt{Jkit^~;9{$m& e1h.4#Y\uug<}Zg]hي'e$wgj17Iy5nd xOmG. ̈́YIHhck!5`2|( W9 ,%pǖL")⒴=nDrnd7.9}tWJ4^vW}OwcCу$iI@EiY z.8׮Go *?~s236O-BdWs_V{<+_y$z~Ru&)qd0 KJz|S6u5\@ai1n,[wHKl_l Md7&Cϰ5,a.¾e+1TP^&^b+6"aN 9ށ d3aJ&. `4]$Yq'DWJuϪ ↂzA'BE+o.Q7W11E#mu9 "DRܕHMjgX cś/pc 9:\U7%/Qͺ+u }d|>ᐱ$tc3!F:ժr 8Jc~v)EV3}^J p>?v|A.* 24A)"jOlySrK)Y%'耉&I?iɢ IQwc]ͪB)}m>)'btr7-]쫕bR>>$>[+#u_70F(d GxɬLsŻ(yGkBETzIA k<˜tTTsh/L}/aa].ڕ *~y b&Ik)]) Bdn#!|ASl`F_nᶅ"y"C'IEC`E QaGtl@[kM0D(a NoDaFD=tJK8|xA"࠶+2Pm)/Lbfdcv˚m>8/XHI\:J@.^Ծ2F4rǏ~d<)jvǣ Fпx5`/B:5Jcm#b=07}J! [x9`=?QxcA:}E_j?1+t(:3C P+ PU77ԚЬmzM;ca5ł8YD,Cb~~ww ~OՍdGS#:R9~occC%73`#R\ecFR,fU1ĥr>ErdD=ppͺ1er?uJ\wOvܩ9~ }x37 b?ZR| .grӯORTr"3BĨ.o12L,FQL w؜3QcZrJg^bc[Ӹ?rxhobFr^*Lj #MF1' umO eLP[7>#6m = mE`Q(Bu4@z7|wZV P= JePjtX~#O&fZW)ţ?Si\Y (ndAi>P4]?]ˣ4{By Ah;O@-'a'oN\?Nñrư゜< Mq—Y6&'n_%%B!ڊ8 )"ۙUg~dM݊Mu\Qx6&lXҀzr,ejS?{Xa4I`:~+ID|T)m1Y-Gz62{mͮi3v%s >{pBL1AP$|&SPRZg}6'0hEd e~ ѥN ݜz ¯ə9VSe%(H !y-Lx'ј`&sԅrIˏg=ȕ 0͢TTvo n̥-lW"GY#DFF.v}rL3 ֎8EFz>rsV)ͭ8zh4*7?u_FT}a9QI Q1[`7SZ0GyM /VQWYj#<>@E%Xߗ tu(ۅwe .3*w 9>kz{=y C8g!)\$j yD0DʬQ OݪTzaXntnYd8w&7KZ҇f ["}Gke|"h`cd= =4R.LDK0?nNnD`{=դ͔>]5Ra 7LYFg?FQ) KlYj "qFYWjK QӲm#&AlUv(%!E`58b(-fV0(D8BLU{-i Xm^NT:=1` /%ᚧDOO=:r =.h;rL0;Fs; EWr-4%EMk}jP}pcd/I`*ͧ=IQ$*Þ< OQC(G8kA0zB86h=:. BM\BWȨ:27zl O7Sqk=wO@".vӢ pNXҎmx*Z+0 U;>ߜ#`/Ѡܬ~ zAr j\nQWFǝLQt+* {|{͛ǧ6ݺN@@ (]b12_2EJ.7o~LZsvtj+.5Uy5I<* QG[Q"CsD<Ł5:J0 #a{,Za]n-iȪtcnv*{ӱx\x9' 5.!A BY!P6Ӳ!=cAKO ]qܧ"`^= mHiGӼ?Mgd9aT #BI~JdbYV9=9b'>;k|Ȉw ȵw9enm5/"v`K2%o{e3Y'ocg'k111GFus )z:ôc"o])njl+Ӡ&FU݂r=,G%_J_Ūфw#xr7F0*Q[f$joPh8y +8.8'MX^ElOt %!W-_>2IUŷcwg=z*=wS۰4G 2{(rrA)"rA3$BSՂ[%tsuXͬt g3lߝWSEC>K(XX q Hn.=^=j̹xǫl Da'^x8A=f8,UK4JXrp|,`tєsLF0OZͧ҃ UCp*RX] lhm"cC%ǀaxARؕ%-w!RE SrՇ)#1~y׭b<`N䶾 -Gݡ+m6bez^p7e9˩u)ԗEB˶=^%ƽBFM,j)e*Ӎ(=_:P,QQgϥxMM~ŝ'‹&5 E{ş"){l1RwtDeO1JcHO[X|?nSL 4bXbJSRs\[G\'D;R9bqм'rZb|8L ֏vUi,he^[Oduƿ;ini@Ӳ_5ϴgf|U6kL]mv22P`^ɐh2Hz@}b]!|vP./'<3 *(@[~E\e]^FDzzD*W+>2^*6;k^spA18lVN O×s%z{BWc 'uq/=*E6HeUGufb_1U/2>ΚA2<޹{g(A8Kwv0$,DfM/%_< <г0˞ z4 xסu(g˵6' O@@< ҡ^+I$yO GԽp, *4+ AGuyM< ('2KŤYyRCi Eq4AFFm1/hYձجx=D6/xs},ִf~/lfʿWF6fxb_ZH<(shg0Jokag&RZXǏ}8* g`RtG VuiD1F^zd)] I!K_9EؠF|"sˆ?f/jA(߹cW E7u.:vjxؽ?3x 4Jܤ #{#%84Yd'mL{6s?RÏڀ¸d*bY\p$*"Vr6B<)npbtŤE&I+%q_iBpt(Йn:P䟤c%9-">Cc1Fڎ~;dgTmŨH2M*_Y #k]?`}KҜMm$ѾHSǂA+D61rZ (w$UF WF =#%fg|^i(z`vn1&i%7c5卿w\ Qn4 =B( E!j|Чe8A; ,,'xImY[u% :.d"NHwO?H>gtu#ZOD8u"R{pX4Q(6(bfBB}Ɉ=''jC=V|E8@ݍ5p57/d!QSk^=KhJ}?)=pVfg_t`H)S7K\IX**-&91+R pJ=+[gzOM,Z ֤ɇ+UX:0kӛ eaM[~S\E,̅*50M}qn?E3NF3NomVm7MpdK+^/]vCVٓeɏA5><,pv&փ?ePќMFW8«7pfVYM246IkUo ^~yaQDI<֦:gF nL Yu"S::~cP'{:uNҬ16Rd}0cv_$|:zL7 UW!9ϧa d @ELm4VΕ94DagfLiUM-aP(Wbj=GLEDd@_Hgk<]b&.>J s6R-XZG=@еcod(Aze y9t*:s(('`ŪV(o-Le(Z& ]X)Dj:,x-Vg!V-OnspqX)Xl"T~Xf_@)êsXhǔa2!b^Ij8%5IHnEn̿rKLNˏKtҦCYmjv9$9#][B`K2)- sdHw+E)2eh.)&IX 9 eR:VM 4ږ8W;6i[_@G2UqEnN 鷫-O%gֵf2aϸ`߬7 v%6%\ʪ\DxӀ|hUGw@NyIrdJ[MONc:v~?#~k0c هXfry-;bU-"JRJHmI;Zp L>HcKvbؠKC03dlZH_chϑ(م6JzO"󡆖"/CvY)quc?,9k'2} u|vXx/h HgZuʃ|[%쉥E q~u,W`SRb]_jFc|8z(qʚ}Yt+u|hV1zy=s,E6c3ޠiΕS1^1x~3{GD?LfQu{/ \BƼ8ˬ':r|kc_.U$f=3oRfI" aɻ'#wyW ٣`MVX䍔 ،6 z'ϗYyxpV ({D _rۮp19@*,`P1ZG47CM=)XГ?TSvٔޚמDc.!X~50hmJ&& [}I#NcXaʲ :!XKJLƺC"k1V0nw}YiW?xL ِ5% HÒ Y<񉵰ɍ"ȑdӾjzT-agZ߈֑l4*ޗVCkZƇ +/Cd8ӫ^1FK/}7~m+Bn+>xF2gJ' YAs58 e-l[HV,z@h; !N_?i-Aê2g1/pGF*Z 9IZ)19̱!65 >3RN [S o YǞLx HʞIp¬ʒP/p@ft73Tw]q!هZ1uDLX[JD ŚQ3ܭ\haƽ?z4ЊS=_uk+'щxa˓n/dpZ>+n?$-I(i~3-~@TH-8RA8- ~3Y=+_/8J/^f  Q.HTԔ31%*>{^ ITF[KMzrc O##xHΤ hH yyuD)n4xe+5A36[ؾq=j-Ou39;œsMc㳅0'nj<ߝ}DeFCHaaYKƕ-H<{*"%S-Xu䤇r-KjcSC>xM˶lV"s,2&Q4 ~Sݜjxjy%rcOL1-^'uAhkiT(mrc m5;qkb9C֫pX{Ԃry֥Ϊc/kJtTh[=ǖZNjY#i8e[Vt'Uе,2R6)tҏ!C2g-66?8@֚ޔëzs9sk|?^.hGإJ*?,U$-bhXHpl1hޢ H6:9gYZa8bf862ba3a758594479aec8b19c7e53d9ec034bc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a