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   |t ]/ DiskPaxos:threads=2elapsed=51.166cpu=78.308gc=1.312factor=1.537zXZִF! *Y]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$212렳 s-|s\@j|8>_9M0U' v=JS6( ,ugb#oWȟlq/osгEK;gC!~-= dKai&YUAC d!՘Jhl6Gf{Mr:3$ ER,aQvG-ij1y>)pPtظڼz:J띠X-D޷*AWpFv;t5KD$A"_]E}л7L,cDe;TN 0v1P 'F"|SXcYUϱ\mRAU_}>re }i=jLGy1 @HɑGGg}h@$D"AJSQ"C) ִtJEG7yWh6'#/%ζw?H 39"G0b-@OGӎ8J`Xt%Ϧi!$`uT>r?TcR1_HڝLϻ{ _ݪf'O`^^u5òZC߰;I(r՟`nzc833gޙWgg_jhDI~HJl玽ŢJ@QfȾ%h !`եmw N%uK /ʺ_nb:?ln_Z yPhiWc{Սhq@fNYpj<5 `M "6|G9Ks7}Ȫҥa6n{mYuz K^>fss))W/m!k41^ Iǖ2q%JlzPǾ] sTUMʌD<.y'Xh붽qBg3C~~%4xZ3]*&;+R+2<_bI1^L+QQ q!'JǓ>Zs}~iUƎWq I#;E%O-N(N֒/jtIOUy>gɲw2776ZRBOR 5+` k :ue-Ջn-ߌdqK+g-EtwmuJLH*IdpZ6=efMzkI |"F/ʰ/DS꛽La> t on#[k { Ę+õѱMx9 j6sqSGW0`HԒNc lAӻ©;z8fߤ5d3v+|!jؑ@pRž>h`k-0+ /;_-WQv\Qr2~n 7 u`1YQʔKM'M%ͱm:sM򅭓'- I7\+s˱aE DQ# 8}N"Zec9JQ`ݐaCdVVKگC/y,ӈ8dZ$VcA.3ݒuRqE s܉kn-<؂I_]æǠR/R`+ǃ*z CVÊCsFI쾥/m8úw,%{\n:`EnG H:}܊jUS 3K{A7deԴYAv?]J&ϪQ[|=])+ El1x9"lu!=`u @KV/yڬC^c$l% ݛ . ށE2H*Exmf!]疆˄D;K2@Ss&n8c=Pe/.hMhMq ٞ!E}~ul?r2@9Ycs$/8%Pqe͡Q.:e1](暽VgYo߄i(ٿ9O^ľ2x9'=@NDOuL<K)O4sl`2 +f3nD@eW0F+ސ-3J!cLbY/N7A ai1SdI Uz%~hW@fVAWg=0tz2%Սw톨t>PYHIP4+<"+дcU1Kzm & c+f5l4U#rw&?I~V šf!'Λ?%뾮cf) Q yֻA-1+ϐ Ǡ%nf8r9I  <\{Dv؏)ڨ6j=lRgwǗٳݘ$=v" ,_@ML Jݜ,&~ ?@ɡ# T;)4a⡆0ƞC`de@Ml9IG>ܨ\e{6^ep y Z`˿˶]-|4zP;o:*P<{Ⴜ?&ױ26wmvp4 z]g1LNPguLKoj .$nom+8&?;VnR+T BsZ %C{h&6$'jKOq|);/GӍo#o\AcrI?leB["u@B \ޭKHyA%ړ9;CRb2|guJ`!nlkYt jS^]B't2UY~NJƠHpz@vJ ͐W.@6?@9< x?uCV=$~]zo    / e*c3=%DiskPaxosDiskPaxos.DiskPaxos_Inv1document.tex 8G%DiskPaxosDiskPaxos.DiskPaxos_Invariantdocument.tex 4?%DiskPaxosDiskPaxos.DiskPaxos_Modeldocument.tex.3%DiskPaxosDiskPaxos.DiskPaxosdocument.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv3document.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv6document.tex5A%DiskPaxosDiskPaxos.DiskPaxos_Chosendocument.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv2document.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv4document.tex2=% DiskPaxosDiskPaxos.DiskPaxos_Inv5document.texu5 ! JQ3);w4\h|C08lgpH 5@r46DSZt4|)لi+-(:,D9NjnX*.qC7kR{wxGޥ$m y}'sGn+0FlLձrODt (2.ovo( 0P+ 4L9%ʴm&dr[Jõ LOuaҮuYZeP_Ht:f`Y!z<#"ǣkF,N#;35n-%=.d~:^?١V,0"qE\]Y1b]G3@[ͼX-a^svJek9ư5ه4ŀ;8&![sflk!j`s/5SKFDYIU-s*goPˎt#\l_(c=j˱i^x-5,Lq8Yp` 2?ލ~ '[Л~KܳLo,Ԟ]c5EZ2`y2Q=rՂٴ,Os|x4bݐtPLpZEr ԕ9)lV^9Dݺuj~Hh';\gB)/cqnDRAF"6 9?iSܯvȩ}f6ۗ_x0[.1wbMduxʵ T1vHT_ Y ¡-[%0r.QЏ< 9ܔ$ON?3]_Q ʴ+ҙh<}$?;S+N?+:,o Td < X@1@gQ>/-)%OooNi^>3uFݙL O?$FxxکpdY5IhܶZ䇉!`vVf/whuʖv$Dd7!wtU0ˡΙ88|Qޝ'to&A߾Ajrf\낌#$++ekYm,IgMB_\c[@.Zٔ[8tl86E}93Q8ș*qK !Fӫʰ-~kTJMks3\HnZپ'#mxL%{2r;b 1X:LrbE[Lj)75"D \,oeȋZ=è$L0Ź>+!ׄ^zwRgWt'=35=1y/ŲZ"/vj׀Yݥ&tD((Ljʩ YH!,~6JD/Vqf/ʓT>{l̾)3>ແteZ-Ǟ4ۙ AJ ?.¢)yE-c RJ& Sj@//gJFr(0%_ +V^:LҦ|a _oI "1Y o(|#+Zd6/K މjY䙡xنKJ87Bõ@oJEXiE&TܜB;#M8^Ɩշ;`|(u}*E2Bieed1i^}y{dȊ:~iF蘌{V z~7qPǨ lLY Ih.¨YA&?jIg`?wO* RXs HvdM5N^`˟Ѯ)-%vGT'Ƽz;t?Gaݰ㢯l` $5ۑ 2p+z}c33}J|Ëdg{gAY?B'XF`.WÍ.3g b$28 1TZxCM~߲.G8^">D#KU66њ~D[f&:0@BQ>\lŒ%4flͫBj Jr:ΉAū!"pu\fh?eؽh`)33"bsop$l\J LR%0_f*Ql|WR*#&.$Jd8 '͟ P/sTi :\xD{*ySN>ȉ=)KՁw>Tqɰxlz N0PUom Zar#7xK'[&R,i=qhVnVrej1ksKS⿠ Ϩ+;.2 f&εQNG?,M쫫'X1VwACsA̍Lr8VUCHd|Rs?^> "wt>q06f J#!< +,MQ?i"gD"~|fTsƆ4aφEU R$G{Xt]*%*=C)SC9ie Nί"ReThE[?=ѤwE~HNn#ȟ?1ͨ=kAkGU<=-cXxoHiɈ$-^:Ρg+ $et\PA, {O_ӳ2% Bc ȩw`{_oJeZ2ɤYV)GI}7`t@V\]oGU%޺n5!%T(vί[ 7jFo 'VŪicː+U/ ZoH_&<){.?"ǎP3 EI3@㿼&f}FuHYZjPJ ״<ݚV7.6#Tan6Τ6ݸĺԌeQdS_X"rS4U@^ >x}~_47Z VGӪӵnn])bA.~6Eb2 9#IAZcbz#Ta&nr{t {V𦎇NR{hɾO/'n^ {m>lG?x}cZ@clqVfu|:פ,q: xxx?W7ǜ+#m=մNj}H2{vPd׀\1bO*'( =]wc#K:z՜@Ҙ޺:idDIʤ4 L cpjuORZ*5ǢJ5":DbU{TYH|`L_3s@@0*I_DԴ)jKjbH <~౺`?-% =C kmsyLnzk~I@P% {[M%Kݰ3٥ovT@ :vd &ZN6rөjМ`}b:haVAKvW[mk7ý?L?[!64Rjm?Mۮ^^"B}2*oL hɻh1ldn"gQW&|N0125@@\i@sTozG mv{€QiY6? |- Y~B&~:|F )Ci>a 9gZGm 1kE,@ɳ?$\<v(e28y(䴛*BXP-*RRgChR:ׁWNXy E~I ׏.T±mй!UzkQlޏp6^hZi8>$2{{4A&ӌ)|'yR)\}|,BŦtY寘mp8N]ssY!޿ѧIbxNsS0vz@S]F4:kFR_I+b2e6LӜH7bnjnϰo% k*KFda[Z|;}E"SU7X=.R /r}.ΣBNMl_@%WDUnA9twƏ7h/o2JF*sM\u#/1M7}IbS*56OWͱ(L>hG -|2B:ul3GAzĒ2%08:Ͽi|GO~nrBMb[r5|ˮ#dwO݂YyKɘRt \2ĺ:ʏ3LW*S,T]ͭ%"j.=lpI.?ǸBl!ËE\K䋟|! B z*,ϲA³[ HlWۤTOscI^7n8g(F XzŌ )gԠxZ2b!SyA-_Qģk"p8NȾr0\BWɲJaZ+R?uM&b{9yCcZ:[Tkr,~='?yzL_E [ t'8mcͱ'a{aI})<%zhJ*X W Ye 9s@P\<ɏt\yl AR|/Ȭ0tŻR?m9D/OzacNJK?BT?8,T,RM:}$}yԛݏ`+5Br.OW{V/4$'fGjϸ}!LWN YPnkc T.W qqXu pѺfO󃮻L+8 fd5dxSXN΢Äk yٞN8Sl~:r\f񬳻Ju|S;ٜJge$JTpt]?|SK7@0$q7Jgb H= #@<>BBy2Ae G\ &A!PjW7uLCz9|<# i-rD흠@tC-Ze-_љ` 4`'e78{>;ɡy.np@G΀Q?\zT8*x܋&nli]s%,P=43a"Iy;}?hQ9'/=La1֠6LFYs|Q%%ZHgD%v@Y/G4 r1:cb'V֎hx8+iVx ,ow?X#E5 ̯zB)x>B~F<_+rG4C+Y/f_^F#"8)̫#T5A7[69QXusB?{= 9}p[axA%F$\<黪܃BQ R{V-$BIh؊3e\e|YS)-jv{WsXZ =,f^ KKl2v3yr(Gƣ3$H̎IiW׬%Ru~) mla]6!cH} `6ueQ;yՈay +D /7'u| = +&UB=C7Zѝ6S,e 2hEuT|1Yz!L:?; ȺȚo;T[IkCO& -&{6'`Q684Ҁ5"3swK5$ /[, zyyy9isdˤ%z5˫`BLI~äȕCG֫$mU+gM%h ]o8ȽNk51dZ?Kgi`"wC%C%;Ë ]6;L{5L-w&SVG3b[<6+* Y3fqQ ! Zit! s_OoCVg_sC]?^|sů.hd׸ksC4x့XJZi4~?IV) 5?Bk[a%GpϩeT3_  812,gIiآZN?o*V_6RrhpN^to3- w@qcK7Ѳz46@ 4YBtzrXQ\C<(=$sUVBiB8Idh~%N9+U XY-ˆww+8:Z /:O+eє,q${/M ?q{}3iD|p7F.qκvN &Ad8bUѕYMHli<|{ +j= b'XЋM6|S(nyKFLXQ3$ p %.xR=G4HUlDFhꖘϬH7ϛ7-" .W5 ]IY)f4UA2(~9MɆ̸3Z:i8ZpiO%ᙩ!й [6:Xy\icL 3jErd/w4tyi1G+[IJ1Ry ~S|9Q,tL64771vVӬ|OzQr 7JpN#l7x޺D%_ ^'G=4!4R/]9s)ju+-anS ҷ *dA8,ل'Ǯm&9Oz;Rƕ#}eQB'x97 +H\sl,b 2 U6`S{dg}ٕ4I]X{7d4LJ9k =-?ľZ4`g. %m1+CزH:` 2ѣP/@ b* F@2BxCz@@ ΆYJ槻-$H.$R-+dwӦ(:.t!l"wb sv.gH7<E[ilZr!)B/^ DygYZ 攈̋_C (3bW鯞;*jQ#:L,,dqHm7zh׆%â} uy6mp˸Q|UOI xNY\ăDt5_W*o5?d^jGGW Eڰzo*K5VLWWX X3+HN,qSE}p8_OBoeh2z3'C;SQLR/rl<s} o- ^>VGs)wwʁǸ,O&tݴGYvUbԏJM32@(I Cl7j o8c8BY]nrI|vD Z,+.0 '.Ʃ6;>2a ##\ 7\]揂/1q3XtZu`⃰/ aC%S ka(ݾ ~6݃Vsl@E[_!m}B`KZd+{c :2Bݕ ~+G$*/ {L#A1[s4TɤDucnrsqhT$e 3Y|n1ĥGl4߰Ph HLKEUҮ)WD͇PPPrmmGI,?É`U4;9foaE=$}P sGC0/|T i \!nČ tZj|Ѡ8?,npX/,%C9 9Ӊ ; ;<浟u >a}l&biYՂ1Em3<{[Uշ`i|:ќ +ijU 'Z|csG>boU*cP!+FjjP3%_e_J4o؝B3,מ.i" wOHc(i P!RwcYl6KxN?vK_x֏ljx~>tQ/e TQRA``qIk!>%ysvApWqaFD` R"p#)t_oLc$IeŃkߵokB=mo/H9yWܯ5%JE=dUDA'"?XMg:NrqN'*b8^IL@hPh_a\STxat|%gR('oRa&W+w@S!X3C;kA9nwYuWlXOA.TmJOOq۸W-\%Zu2M5q(Ӗp%I18PBn S;ä})u@ GL'쿙pr.R bX\Bc*t9;T̵+g ufMN,COR-I.jE=[ħ,#+>"Xk x6bzy ~HCh'I9eΫyxk. w(\l⁾e4Yl!Ga0i_D &v3 e .DgW`t8K ,N#U&$\V/>ӇC*>lI+S B& ƹ%`+Q_M:w=_O έmoq~cxLy 7Z.U֪I`-<#0F?E܆ 6F-ia K2̊z6̒dg{Ԅm>I̮̐p Ņ W2Fh<,e3 LYv+篨&?GXWO}q$Y#L?E5uOk\1G!31OVsDqX4Ao[M=YNL/bX[%M} 7;+ېKbr9L% $pGӲ=ͶyF A0+?N:hE<7$C=>j;V+9In. }O{6 yzgsE ;g^ڜp&_ ˹4/{HMMb^BF#OZ`27,dL%=Eܾy;R[T7Q Ou4>7nC{=6Owe hrp-Ql'Aϗc/\gSEkud$^3[Kj͵͐&Dzb!U*O^`\p\ō瓽*GRM t2CsuEi):^ࠤXo]Gd~Qf mߛ 1AS# qJy/޽8y$?uUO}$^{Y-66ћJe}.FXA:0qB(h0Z7G,@ =7^zc<|;h慚3.ZM{ 0c%ĨpA0~!6T6 ;4Es쌓8T דU(,_5 4\ABxٜk [=e ZlL\TI9+pvU|7f3N̳^ig EXȣPeC ^slڥྂ GE ,Q'uY\V Ԯq{AxUal3k[\^qZ O "bD__AR,,  qlf61Gs!s^k0:o!R`i+WQC Ƌ<4;">d}yTJM%05{+WMixtE''BgojĀU/Ek_Ƅ.?Ʉ%@={+жLR>XEMDq1y4fs7ညw9݃_$_yA]XOOM?;'\L o0G&-q7_S/GuˈZҦ3"&R'NG %M=Xђzںd46Oag-6)F)Fm'p;О{Ia%R VO #ғBk>D*\j$ڝ7 X/8$_n1enWm}`Q̬1\\&x9f/ _vDotBlm8,͢kl<GePG64q׎g47=L\Z (#W^w1PZzˆfgK|⻹,7˞c2s% cF6ٹESlXA v.C/,`t|o9hC@$bCwWmO#2yrhɇ^nԞ*I` %Aʆ;5ЉUMo/~e mw\, F 7"% }OSI.4Yk<&:=jִFyH^0JҸ)&U!˨Ih>%ۙ_7{X҂X0<:ZIh4qyymջӃßEx @qe۽5&9|X3UX%y 㭅4.PEEk~wUm0diQlSmxAoEBs;Yx;$ Dגg͘YRfp+kDH+aNnljԼf a76LJEN-[h`c깰7!h)GB#i~!8ap`(S|y. v2'օz>ÔAo*tT ("e1bb,ҽᎳqg_t1hK%1_uKLJ񶓮. B،-iD8YE#&^QCz#F(gmh XTP.TT8{QwR2pM+֖HWW䟐eא;6ãO[JǭGnr*ӄre#Øw BN!% !|V_ 88Tk0B>X~׌<kޕ;t)rX~4. B;ګ+{TזFG}+= vY"_ҩQ#em#M4_?Onr_p_ R\M?jHz`2[ "V2"c*.aF3YIhpE9.D4?ڎʚ>}~$+O6pkT>"R5t#=GotMfťdcG@K_ɨᯡjA`/.Q|KIOy }-l8( #pvHN~\uuԠz^v.o:5|1mi%'~P"4j"]@~gL-d\.&`TvSEي~J\'ҝ R?vNR QDxwӢHVƪBH=JB(K^&8D>R#wW4ΓߘkG\ C>t*)Gp#yHH4W}8QlII5 kK)eU#惖jJW4giU!ˌ wY;i260K9ZjN218r6![@'&D"ڎdYÈAI_X`8Xd0Ŷ![2> }{?O]!h7LNEv"qRWK3J#Ӄ:aw=Ou^'ń-:h=_ze3n;~Oвw)S3]:h~LFn®2!y-bD逃X<D$Z :`97YNvBZZxKu˝9G{|3,?5/ Շ=6-= q |챠pv'3ž}˃Ɏ^c—bYT2*Mar0ZP\8A w^w#3|X[N? #/3 % OJE6ZdnXyABq֌0x_tIJaBsedwFq}aeV ]oIKj "i<6kAE.^Ӹ_r?"$Mt!sLܞY.7mLN9~,1G) , ̌E|AAQ8rͻm?O5:WpJ=sph}2RYӁ[wm d1(e:YQ'vNE0fjC6GC"*Rb2a.0əWh19C1#jBUNbO,_&XwHN;X?R$qC&+R$6 IӦu cY-(Ob4tz㿳kθqzѪ 3;G>Ԫ-^J>E-PY4o K(ƏBPX>pvq؟\NuҎIcgS%S~R_ BT1,axV@2c ujQ?s }5[d.8-.+=ί撶 jEUa*t:TN \:7b)ź.[GDdg(5{L,,41/x?b-aҡY\_9^-}3ϑeRdlQbxlI[?t Z7IdM$S%d$K95 A{ǦX ٙ)G++"&+.8ǬhmW}~wMiF o?m"¶HΙuO 1PMr nGL ]yv>9H&c2RQ ۴vY+]_n`D}~oUɝT=|"ߕkycܘ04RpmǰMVNrdІUX!͆&fkp{hvT_KƔ7T*E(rp=Lm Xۄ#w#exT H/M "QLaD9gtW.B.#u`t ˝0\% (=327S. k J'nes]y[C6+ة>Dϛ^ `7x ⩰ HY)V碓 )5iWaioފGbc.ֲdpoJQZro*u+C$|9U%LPؠk$s.B }/R ^G5톫 ~D5oh;i^E}il)Ij5xiqHu9Pvql)e;8|6a7hjOP%&j/;S3یzhIcr%⧶L||wAN*"K^ 2Bjr Wn$B{9/udX(kPhf۔Q˘ 6QT62k>-fRP?]J#`:hG\V$zgr9`*V[6 9e3\f#顱꛽UDtA婺?\K-w^ʼؾF0O y`R_di xK吏kSV+gu]{p4j7^ô}*s|3 d:$]w,6S0kP-w!} S1E')//bP*>d񑏇/S#-=w h'eJ4$ 蒋]Q*'@Bf4*q?g-plCI9F=87F{02`>r5' vU(_ۈ哐[gd-qL?EwU8Õ s%'y?l6v]AO\6=b52iMw[]N%I/d;Q [7b;t(Ms˰޼Mx8 \d%3cƕ{J%nKȧ?mՈۇ%8 ׍ƈԓ4Re,r6bNcZT.L9ϖ1_c#YmC+ ),Uw*ųۣOmևf%RߌJ4%I܀N܅NV=*\ɢoR+OvS69(#E1֞+(~'|M0ЩkBO*ԃA},̿djDFP~tf{PQ%O4萪HI#B/@zP1XϩGl;N'0kt\NDHifkG ,TdA[Ӛz+8SYz?h~b K8O4[S]ך SOZ<)Oՠw#˶%Kہ[4* 8<Ze+œ ob#8M23Ay;) /`WmPxINωvP-TcՍ$!IL|uāna{ ̪ ^l:u_o3r|_lXoV3RV֮ lŽS#RM\}6 ڼFh w%A˜D0C\zpks7s.v Dsv<i Dϵ-K2uEdMA~|LtU], h:io @fI- Y#ׁĞ0)ru{[..uz~ B%x6Wߝɝtª`=Aj*mR| :O;Cs|LZWN R-k$ClƧssS n4+zJk'};v*U8Y5WH=F-{mC BU&$:Dx%Lf+Ŗ}9> \g6.i ore6LbĦ)y[7 Xt#ԝ_SDCF9yӲʜ\š4n@m\&W enHyZL ']9nE+/g>/;(l 8= q"JngvIj6H3̣qj?{8AEaKޤO5v-#rO(LyRAa-wj-YB1(y]^%eUpCԓ`4^ K%}$f 4HEtY[V^k^W( n&'vfJM VDZ0[}{/9M0U' v=JS6( ,ugb#oWȟlq/osгEK;gC!~-= dKai&YUAC d!՘Jhl6Gf{Mr:3$ ER,aQvG-ij1y>)pPtظڼz:J띠X-D޷*AWpFv;t5KD$A"_]E}л7L,cDe;TN 0v1P 'F"|SXcYUϱ\mRAU_}>re }i=jLGy1 @HɑGGg}h@$D"AJSQ"C) ִtJEG7yWh6'#/%ζw?H 39"G0b-@OGӎ8J`Xt%Ϧi!$`uT>r?TcR1_HڝLϻ{ _ݪf'O`^^u5òZC߰;I(r՟`nzc833gޙWgg_jhDI~HJl玽ŢJ@QfȾ%h !`եmw N%uK /ʺ_nb:?ln_Z yPhiWc{Սhq@fNYpj<5 `M "6|G9Ks7}Ȫҥa6n{mYuz K^>fss))W/m!k41^ Iǖ2q%JlzPǾ] sTUMʌD<.y'Xh붽qBg3C~~%4xZ3]*&;+R+2<_bI1^L+QQ q!'JǓ>Zs}~iUƎWq I#;E%O-N(N֒/jtIOUy>gɲw2776ZRBOR 5+` k :ue-Ջn-ߌdqK+g-EtwmuJLH*IdpZ6=efMzkI |"F/ʰ/DS꛽La> t on#[k { Ę+õѱMx9 j6sqSGW0`HԒNc lAӻ©;z8fߤ5d3v+|!jؑ@pRž>h`k-0+ /;_-WQv\Qr2~n 7 u`1YQʔKM'M%ͱm:sM򅭓'- I7\+s˱aE DQ# 8}N"Zec9JQ`ݐaCdVVKگC/y,ӈ8dZ$VcA.3ݒuRqE s܉kn-<؂I_]æǠR/R`+ǃ*z CVÊCsFI쾥/m8úw,%{\n:`EnG H:}܊jUS 3K{A7deԴYAv?]J&ϪQ[|=])+ El1x9"lu!=`u @KV/yڬC^c$l% ݛ . ށE2H*Exmf!]疆˄D;K2@Ss&n8c=Pe/.hMhMq ٞ!E}~ul?r2@9Ycs$/8%Pqe͡Q.:e1](暽VgYo߄i(ٿ9O^ľ2x9'=@NDOuL<K)O4sl`2 +f3nD@eW0F+ސ-3J!cLbY/N7A ai1SdI Uz%~hW@fVAWg=0tz2%Սw톨t>PYHIP4+<"+дcU1Kzm & c+f5l4U#rw&?I~V šf!'Λ?%뾮cf) Q yֻA-1+ϐ Ǡ%nf8r9I  <\{Dv؏)ڨ6j=lRgwǗٳݘ$=v" ,_@ML Jݜ,&~ ?@ɡ# T;)4a⡆0ƞC`de@Ml9IG>ܨ\e{6^ep y Z`˿˶]-|4zP;o:*P<{Ⴜ?&ױ26wmvp4 z]g1LNPguLKoj .$nom+8&?;VnR+T BsZ %C{h&6$'jKOq|);/GӍo#o\AcrI?leB["u@B \ޭKHyA%ړ9;CRb2|guJ`!nlkYt jS^]B't2UY~NJƠHpz@vJ ͐W.@6?@9< x?uCV=$~]zo5eK'oj'<0"346ڍ { M=% 9=0U' v=JS6( ,ugb#oWȟlq/okKr)Q8ihq9欍J׋v0к;vrK 6s Yc*wzj*[HǙ`;d*)P92TH=EDR G 4[O$.DR85>7ʕtL)ao/e˦T-}]f2mNX53lɣ1zd\I 6x4'ҒsНZHp:t  V0D c)m0J+aq؏ Րˏ`plj gŵC)څ ۊˏbV]u6tWq1gH#'묬ҍD-}AD#j#GLw_)M{ZIVzTEE/=c8}QΔ>J^Nk 斗`zf.~T5D+(Al+>WMemNh46M%+\wj8^e$.<ְ 1SftƫrE{;x*;b%dл^k&ɩ\trAzX .Ui&ϒ$쁘[1 ׵'%jDJwU mF$7ܷVE >΅MCO)( {8J)|x) __[F_(.>V_%|aU*u BoHC4< @yAx$}#< J)nGdn)u],"坫?kR?+^]- ֻ~$*TsNfhoDIp8c|YK3b%cJƣந BB*vnҡkdkb-xC(S7zK+t: z)S :6q~ݏ FS^pg@#бՉ۵>09 620VA*eb! EҞ>e p̬ns]9ɣgFLYeF2O#0 ׾fQ'\IvCܜ!~sšW6zVWFΆoDd$#O ;!yX+X^ Cz< #r#a:mUSLtC q 8ԳNI1I/&nW#f,&MrXv`$>ؑ ?5 tV2?⊺@(볌Bvo(zaoaAæedצ`ʯjp=e|X'+ui->)W^3È%$ =~6/mXtUզ;OT˺]x 0wrflWWoC|? dMdљ5[zhS>ؽ5meUs$Lm?\2B25bd88{OB_I)4j"/ZU]LKGB Kux x :%pDINk nR%56Oj18^|sxS~~ULqOp&awқ# >R241Sx+xXv>3^^! D(H7"='1.ZR`q^0oO:%Vf>mE-kdo <,/bobV4NRk*+!$묻5d㎽Pi[!̎6nm<_vMs'U#Ca%_ ZRĻتK+xp8*p|܌w($`kl Ngm:%ϐ]|>~o:h%ux~AQC)|$xsŃh/j=2ӱ6"RKalZKC}-+ 2ݥT1mt-fy-~-#ZNat+ۊ'Nh| |: 74#V>1fՂӢ9cik~ҖfGԹz'!yrPIW-˗)-"z@t/#E'NNK|a c];sWB0JmB0,!A xLO 0gk3IqIM$af`%Gm)At67@͎l7nw=1ҲM0;r",T5hbXo+:{ŏ}!OpR;9ǎ7DA6װa$-3 Yn:( ~X}ntP Oo6O101VȒ:e+ź7eW S5b`d&/EZ|N`iSȬsHPh-ȁl  Bi~6!nۮZNL1B)n*YZ.RK{jCiT#{BPd{IҺ{m8E]{>dE~>UT6x" Ԟ}1Mk5n1yS jRo Ec^mvwhG|* %7|.CzA`;&{lɯp iqA)+^/3?-OޠV(-c"r7zڰ: >A\=# 8R٧*<履߅7yf,= ǩE|mu{lY}(-!et}JOeR ߖo<ߐ,pޔji#RdqJ'qu*_Uf~"_:o]jKQCLޔBeԞQd~<]\wXE'].uzfTO?T?&o Qi%w1 EK%D_ p 8Uܗg\`_>`|l&=8oP!!q#ߘ&lPF6͞!|]p;.Zx{ݹC2a0IW%x%W?^}L73]Y` `Ub}Z}ڣM1S+4y1s;@5Y0mk^\;MY,CִޫCVb^ 4CC <1/Z); =~GW'唿F#ScPQԭoQ^cnj;ǩ{`Z84y텿]o_>:6^9Yrsy# A3 7'$G7W׍`{fl&DK/MnDޫ5ƚ?uN@v:NKrћ(KhJ> A nCv&lEQ,1VB%2a`;~ZUc ^9~d< 0s;lr'l\8U&T{z$88.ق@Le>CYդǾi8f~5+#Gx9T}.uU6"B+詁rԲiHgt>Tlj-.@ȜU K[36\B3GEB+ ryQ5JFVSU4&#%GcHY&whDwœ\Z) ԉ6_Bz40]_F*Wz=P07~3 Dz93aօ=G@IV~3:R-ҤgD!bvW.War E; @c?`whDwȺ9=:Xaܫ4ck@|NL.Aaݱ8D`c=Ah{&g|GX#C-c~ 3S_8kkz1S53yKr Q-dz@D쭂OE^)w ?T8*cO 6mQʌu4w{ޮUt)%"E([5 uu1y3K x7YQ\с8nkU"Ϲ(]χ"j[7O*Bz/hbfXZlkDs2;y6`V@<ĶHn _90#F=t.%?&elEJ]B h6J9O3(":qM4% ?߬;!94 B6'-u$x#j;'S;ɥ6e:J]nPݡyeE% J0j=s'D|;DPzϚRKn=Ãl9MɡJ*2& 6s' XqO]H;ӍP8e1ɮO4,+< Ȏ;Dy, oNK&([| o6|$ a[[nIͻ< am8"}gTEcs g }{/Ndc0PRc I\|̄`l- ns& M{;ĉ[5h|Gڊ/MIޮ+pkuHU!ߠf5AmkGꘆc;^Ϳ7 Y6%jqId_Ks& ӏ68曘Y۱&ά#!m/%}Dvj$ҸԞ&Olm{w,NaV/Ԗv:^P2旈{+24im8֝;jDrŗ!F':R񚼗rl6Jj~\w\Ia-4tp;Qp%#J"Nb*=7 ] ⅾ%;^IGaJNש,bԘLx"kвzGmƗ2إ7Khm]5UV_=L'zIk>qT@C~"\։Jte3~$#C9 g0v+6uK'w09jI  .OcJL Rk<{\V ƪǰ- D 2tSٮ#0*-`j4JҌl͜bh8xjg]q53ީVazCaJe[|ck\Cmu $._b8RZ]v:N,Vq 7-MQ-Ҟj W' TkZ%3,~ijߠ\?@Y:6Pu,zcmph#pǂwhRr5ZSԨ폽+\.˩򨪌b̟'-~&Lϊ(F>ro_|v=Yy-X%ikuY${t3;Ƃ:. åI~1m;R5%cR(&4]|lX&nTZZ5C}d.Oä iQ}OjpF1 \i 4;l)BVdfw]3+Y)X꧰k_IC8JN{H'`-km.Vt*2,%؎.FpW?Z;0P7|&{@Mu9 y h`qŴ>[ѯ5Zy4v;yU$b7@>XL֘7s)ْ8-= r )e0{# 8TlS?OMد'mfFc@tg/W&0 f,|hv'PwfHꞙDGHl]6g Oˆ%D}_dO9^V۩DiKT`[YIgG$Q}!^]M/ӲCu=?K6 yD&DQxtc)rtk.ɱO~kFk[ HQ}D0$҂<- `$֦rRESn{WdJsӭs8M%b7sR];&zA=9\óuiGyo֖^JRw}xhnS^4yկ>ag둜c/\t)̱q"̻ygTh3+ \q4z ҥoXw~݉1:6ڪ5 ||V#=϶-vES\%J99A` * ]C[|OrE+v $)r1_ΤCc@mՠtR޹nqK!ʎ`7eӓb xDБB_ҞN8 Xڣө\2-}˳/}cm%Fuk90U' v=JS6( ,ugb#oWȟlq/ol|ZhZ v=%8' W]!6Mxu٩.w]y.֕u$[urI]dluw|ql 9JR-3bZ2_JUm%VJq.(8 v?N93 {ad*08դ\R3ײ/r&)lsE^Dj Q+" hd^"nlAhP{5ig;**&'#EmXQK3xkȡd4oOE4X&(9_5R=R"d~Lhm`RU%~B^)ځl1Z|~_GԀ9vuxGݛ*Yzz=mVܝ&â¡ LiY=?R؊,ŕ!K gёckJ0҃+Y!1/͔V];IbT"7\]_? X5"1[+3vݢBʿ!xܔ=NzΕwM%V RhLDofI27ޙXo:ǝl{Q-=>_&>?ak3+=OOܣoEA<9^3QhԖw&1f 1]jT>_qi6ke>- $YK%2o%$Qw`:Cuc<5}p%@95JT KaTM93 sT\ pRc=YΒ̎V+[,b9f݀EIPʟ5/oö':G~R >`{Rkj/ R{|5pӅ2M1gk5w|]$ZeY\E_Z(z5 T1YuegyEŮWV 7eV HHϣaV&Ϗ77 &nƧ{_L!R7b~HwRk'A[QU~UMF+:HDǀ?Y3 ~ .||sh}_6XP*b T*2?C3q?jFKO`?CM]m걦 1VgLq4Q=wMXEro(#R`+u^Qɘ+ (IJT+-m#!|P N=6Qw(hO2@>AoR\'&;#2w(xW#O)AOKiǥTS,-,>Djc n'2]R4b?o29ץJ @dbyɌJ-opu^=]qq9g1"v3BeV쒋[LqἓF֫)b ̡A$e_#ݯFh^UVRQ f&5oб!El],-sg4 nmu9(rM]Ě40Jk=!o`#m>H%V`'$#aBtZRwQoT`t jYFLأ)<4G.!hdVpZ)ZXv?c;~C ")iR5>bwy|7:xU)=ad&Yy6t,B+(De2S%кF/ G3^-OfO/|_)\UQ=zi ZM/vXbM8cG赚{!r90gMU~'KEQ-ly͈_BwV-+&L,Ix;X}HK *J"p$A x gu7w-J@{F­{ጆ5t=`,hEu+Y#Z@ډ5쩚Oh'ÿ\YRv)2B"yj 82X|E'fڸs`{<ő}ŀ㱞^8J{P6 (mtJSb HR)n@w@&$F&>0xAU_xKP k\'n+-`AS;j6׽[ )c43Vs}n~?}?*nxfCX~f0!o2Ѫ?zyq(''zݎG@3 kTUR׃~aw}$:,U #"Chi5k7?'[-@vTAZw2M:i ^!yfHf+ʿ'7$=Cwʆ~fvj&铌wZNh̿Z"EV.t~/-)l16P%6G"Z}Ж_n0|I+rf{Џer`{ fǜ}l:[J>ҿ@2mLآBֆ^c,P+bLϏ-ht v ]R=߈pԹv#Z2ruݧBۖa)NSWo}b蘦aU,Ÿd_P;!JՉT"ZcPpb', c3yqX{ܽl\\-97rA41TYRk_ Wye[ͣȩ69?L^Ľ<gxG宠 [X[NQg,\2}-k+cxKOwٟD bWkڜ @=zP}{%) Th[,dvguG VXi2KB4K?~)R[ނ!^+Ct:V٘EH9. q =r6jzZ2]{3!?oM0͙Rbbdeׁ Lzi\3.&)6tԶtBra \,a !2\fD1fQ;8A:qꄷح\u(A D^#}Mcҩ-u1TxTeB!4Οµ1P} %luv6Ma]#2F [gT E hc:י㼔hW2t$pHf6)WF.JJo !7Ƙ_ٌ<'kcˉC|%+9cRn6h_*@X۞M"ϩ`uuN7#lřnXzwJ;j٬­ N`2Mil~eqlk?3NcXxXj&qtԲI9zdV$y{^vot >N+)+mxrZ/96nGZ[ZMϠU\$5Чz1~qr 9gO G._>d,c!-$쐈&aSl qlhǷR;L[Ƭ8kK=Z;t|ktn<WxJߡ۲bazyA)x7.:rJeݝTn׸WMX}De܄ ԻiСqrc}Agdu&Zi>BBRu|UOƐ k4U&TRe zb sѻg` 3l0j?\K5~H |07]'jVϿ[ B:bO"Aǯ K9&WD2W!qoXLhX'tVFj+%J%2˭euK"7hw HvfWD|9iS(ت˳R? H4Xׇk$,9gږyHJ~ u.<=~Li|-r?f;0OH_Ijo\bşfOXA2KkyTq@6nfw8 խSW&vG+ͫ9'f7/4}̒^Vtm {*&ku/kIY;BOG\T47T(3L}7S1$ Id5W)䢮*W2*?+wx~Viur]2twUMcHϕ:]pIC;9"HGs #yt 5[ sVǚE7 B$ԽB<}?kQ]n,r^;1DD\@r7}\Jx,0ڞr:Hc}Hd#- ɳܑJ{L3em!;&,<+AB`@YOx*z!_,Acds}%.[VŬ@BFu" c LH9+tiXͭvNߜ HݍRD@S,M~8$a|诏m~LÚ$0VA@Ԙwr\/?ei8\6LO@tJ$g]Ww]$֟_8ѝ$;Y7 h1j bMȪP;*5Sx<'O}'n`6^#Ex֐i Ɗɏ)Vɨ+&Ziũ˝`UȇԞzmO6q$i3aE`E`:ڔ6oVZLi ,k6Vtp:/+0'(j-f_E\,.lי[l@QQt֘? p-L> Sy~ Vs軇&v ] qUD0spanz*}2;l@1ڪWDh)7'?@"/Tj$!veJmw$cHmunwt}Do$,]*6J\>*Mp6XjWCQ(C3< :W7K/MF?C/@uOԂ]6O=zWD1ICG3\-־4sOxVh*A›BiV9]0U' v=JS6( ,ugb#oWȟlq/oH5hPpO `&-h#.G^n58̥>29&?P vIHvPpl>l< ;EZH&!G `*ljW|^;~bA% dDiskPaxosDiskPaxos.DiskPaxos_Chosendocument.tex7zXZִF! GEj]A-MՋhvG"uIBm5vjuBJN\׫1|hmtWHf_h C \ T_>tXb̑;']Ldž+ Hp!3gQ+ߞ0 /Hb9R#fV(6bySh-`\3: X`j`ET_%jX*z*Aa5gv}ׁphInhjl\wS}(kt?^] SoYN<#OӔ&SV,kwE@8&Cy/ Kj2&\$½:s•i$)AfES, im3`VpvY =x%;pgQC qbe2.t,c1,-ϻXBXE:CE"͇"ΕdpnUxn1+bqw둧SܹIuGnqD %"=3FPGl/k `,4"z0q^+4uf^2pS9+,4FȠ@Of-@y]G㠑;4Fs-ҭm}$ny?PUc't.{$9K^kK/G\vб3htL f6 E\yeɦEKٳavJwu cȞvi{UfJrb@{Ҽx(w?0 A`OG\Q7oؚ[F0z9 B%cаKi0ߍd6r9H\ab2rbXų"n–J'&oKObuV8\^a}#=<'GlxdjK)H:`\QgÁA0ғ)G]__̟^Rd%v!$l,w}f Wi̚bT *Px纞eüE+CTSxGd[kfo vq=֕|)ZRsw*Yc[} Ss.].YWza$_$yuA'hq/Մ]<^7VgZ̔PYNJ 5<: +_pbq|LݦU#>! =J+1nX3&bB'LG R֥IL^U!|dڏ.|ccF)hM[V1䓓A~Tv$!Ա rt;/l)WAsff$^.PKY!ik:Ԝݬb,f]fۆę&L^ /XDHœU]q;E\xeo?:ê6[Z夳&$~ht1RO= V,.lάX>Md񴝳죷*B:nRR}עRvxu,`q((Շ% !nBkh7tͣm }RݐkGJ0B:,ofU?6߁ThEZp^nin\#|M F$vQ^ ,Z%֛]S_ky/ tn"?z K|ӵ J.ZC ᓞi2c&t[LʸQS*B_-[}$Q#OzɕIf%Rٸ:zK>FM%v8ӵۏ`)ښ_S-*;ށ;ŁDgykj{/;^(2UMh($W.K~u!>)0tk ]Kag(. kRvx=q_H߉8%TTٳ {4f&PPhzbݮ hy pK,ǯ𡽝a;u.kn]fn 뙛nw%ֶEf;FU|ƀjNwE`f^wm{瞟aFk[hҍ7tu?.*u43&jlHصxt/YFmw*;jU-<:P8;5Ɇ;8]u i@Pѕ8fh{6u;VYT˻qu!(GVʥGPZxOXya^~[?w /D?a P[W[{:fG};SFtULIN(Y\"&ZHҟF. Qx@‰8=DLT[rf[rFJRD_: J6ן!C`a)bg'Fӵ9@ˠSxˁDB wYH4oիi{|jL9L *ܛA)|7xFD=FȬUI *[|G|8rUi`'HHk}fc\R߸Bz"k9=SE/&B$CL)Qlx%vF#wFʦy)15v h{*[;(B; 7?Рů9$ʘPxGnP˪&Q0B1x@j5.~nBhjB؎hwV2A;㈿ZM/tKp03#eL~XZ[ƭQr[,TD"A{b &%8#/Y37Ѷp&DtŔTOEh*I c7ĬY 8hZ" '-xl+2>yh2@>E=V@ZgW?[^v IbBwBXq%/~KYT'>hZ*PμOLs9S8:TlUiP#!&nN^_ 5MlK܊]_Pa1DЂ=T7s5I連 $AkkgO^ُMA|,\Z%`2yqØTe TLo4fr["1s> '̠UO*摠 D^b9Y*p%~(OϤE=)Y 1ZuELjPAHZI2o Jݎuj'/8V68"i93Z;.{$~uzn{>7{f# 6fypC˹'U$?@OT$-'isS@` lʏ6 6D#{yjgN2Duuf\ʶsZŵ 9ֻ쯓-1oJL30iںv;vւ2b#&M3!*ea[f;jN^6u I aQ0XUm9 urN.K"DB[}eB:AmkP"'fXtzkܠ>k9}WwNaUdx9oɤ 9=RBֿ;f݇:Q}8 8Cmtү \_{MH/Y"ķ#9(-TU>A]G=p.ƾu)9F&zb00I#`]v QKq"+[>ݾTg}"-dƜIxp6o⢡*8J&'U,f˦K%0j"S&,:- R7gj J }Js;_if5}dMXY?S$(?оVm3}(*$%?WP'5xU14Ixe6-bRLA!hh@X;LcկKWєc&U/Vl.͚& #~h˺J\ƌ^qC>hN]-dKS(Y!Ѫb47;KEj{Ete;Y*ܢ@~sifuy5_/?z1x^#&Ճ~}`F #spw҂00k7pjq:Vw &9.#+徫{)F AjQ y;.~)s@<7]\ 6Z* O^}M eO<\VzV54Kj4(q0jN-`)^Cg*\sEHO8*G!`b,83mw+cmZ@|?_j:)|WwۚasFH<"Me%8X!Oh~WͮcIPX}5I-MͅG^|L&қQ y:Ԏ""`j դBԁ0M/; rdQgOfV_ՎE)(t`zM $8YP͋sB(qǴ%fSUDd,@E3A_.rp|{f}\ljCqXfo0tPS*b2WHMp7z༡w'襋|D![l 8Iy#}2&j?K<8]D<)~Zn`$#(N1ӕUL"{@/h46뺤l@r81'iAOsjGd\2ݾtRn!J"nMsO˩.Dn$ hFOB^,UC*ۮtvAS2Z]u!v͵*A_'*lV!aev$%q^t&hL\Drܝ"n`JDM;yV?n!0i[u(1$)+.~v[E'px4F@L+>d; "֬'{!T73!9?L+fɤL!9iF(ʞ W}@} >h޶U.XOcgSL|- VQWu[ I"V qkZW(8Ȏ Q-Ldr,6QzUQQ=Xŭ>P'1;uODs)cZӛrG.GAMwI~pjh,K>x#*NC'n VxO샼~J4 Ȯ:b`nc |#aٶAjTP]T_/p>QUS2|[MO6z|Tuߡl )?NY9Lt(XT2 i $Й?AOIsP2:6M6mKIBs\`U*(3@=}nܗ%*@Ngʢc}8 ?*;%c*I**eȲi'\!~ڷ*Îs{Jgyib0rpTe /E4p E6B58b#Q`0 KXZ(ضKN2Ǥf%hpC!$}ﶞOJ9x.ț*SX_> 뛴t,Ou:`HM{jҀ|+ok[E2%?_!-}wNBjQ~F(2{ZxOy">FtLc _7^bl#Qѹ ,?訵yD n1ґ9LWuUi1y:Bf΄;މ 90*wIK}V8|hސj0nUX06Ft8㘗p=VZ잲gQ$bmƪܡDL!uHUyoXNT0lKKc0J( FB,<ۯ*=؃P:z/ NAq(1_" =5S2,Q,Gar 6`=()Y]6Td*j+ybH`4fo/mk͔֝T݅/Po7.FHvߐM|2@ $)E=B/F0ìXxS(8 A}%ځKGOA^[W~PtUYdUFa{A*#_"52: ҼҪ*#턮i+1 S`nuu)IXC"zo8m rˁ<ȍ&@♌} ݣ-Ld!䚥R,%e.k\Ӡ*в@ۅ`:ba2åyk#d|SZ8QJs-Y'/Bo@Yɇ@S`o(gʡ',ꡝM0O>hnj>oE̬e<ƈo^[E^QA]՗rTopMGeh/U\2ݥt< Q(׍]s"MD|4f}y$ź9 )qBsx?<&Jk%3<l*L/ O?PѻTbJ(͈2#v\9sH wm5G.LOum*{&qG+EHکssy'Jdl؃ hL-Ӝ~:sZtؓ5%0O+2zfliHvϹ;n2[d,i -<:{e2{Xkwy͆/L{Zgs ypіfYu/[7bs`oYBK,m~χLf+Afj":¯m~r#h#䆾'Jfgf7H Bi8xhqo ~~~ovYLv77.4}[?fTk&Jf^.{|rzCDH{2V^V q_ PYCUۋFq}Ni[ OY99GfLs{ֻ1+(ԣyDpY;v̡kw~Of,B=8{lpNY-!vc>_ل$T?fxuQ8=~=F爋a˜="`)Sl&$mF HDm43򢎴┥A6Ga5KLq&O∄T ;{=N,ZֹlM餾lƜvd׉ޡtk O-ZS]U8f$~- %S@3 `,uƢƸA?§7=gYZ<<lŋb6>?~5mP h$u70M5֒\o{'2 $ˉ[;0HB݈~ȍvVIl(@wU-w@v3ޣxA^8?@zA;ޞbu.vc(Wd] _Zے2eC)]T $mZ^!R>4ٷKBfX^@}R)VJC}?g i&]$,ora]vkBoCbס+^7Z+>g&is W: nUkun,UᛖIMrFW%:] 5]5% E8冷E.&Nl}@Ӹ< 6 JyXgi8xg`]uV2zZkWr0K|%'`Mo-lyjPaZGB vKQ8W(4P`U۱JX5 3Y\Y_ /P{Dm;. 9b_l/!V9J:/yeYAU$.|min]wxAZrQxK<V<(6lgğk;UJ˔n/iOH RW*!qWJk҃3"VՐ;jdxtI[}T$+&μO3Aous;gX|h`AiA (5~X*kq))ܑOȝl،ɐ'-ΒWw~@ҩ{ HQqRKz$phmd?{viJ! &l!!8! {Rլܲ/  y~1M?ssd6w@TjO?4N5zƻcY~%w(drHr/7|GmP1#De4_ [t<+4ͤ`4H9w_z@ܒoƋԼ0e³%IDa#+ȶ_u9{ \a cYA4l2 plh2V <43վy?\OP[s<ǭA{٢~ESd 10ȳ FwDxM^0Tcvg~L@d@N^NG&D*%h|IQn9X؎#&M1J3׮+w?`7GJ\r+o qwGhs@%kvu~`3dJ b>:w5/q5[ r+:eZEW{-:Hc-bϊVٔБɗU=5;U\<̾bD|"g-7Ot bmG^#PxQ~FMSYgEOHZKi13r!qO4~n d-~Z16@zT:~W*9zVCYDugY#}UYE3ޑ%uЅQ%e=ae=YՠspjD^\?^WjɁ6(tWh$WPER@z&\91Y.=VRoH2T55Q20QyDE*Nl)z0p!pCxҶY ap%fOˁ + tn]Ϲwxe_5T†+Av3(ln2Du*9W2[v(Ee0`f"\klFsdx" BTº+,͟6`! (<|tY,6m5cqj|#Aφ>'ؠvޑ7$ pl!Z01gr.ToO(<\^"g1mAzS *ҡC]5eWZ V"=)H#5.BXyD$d<,' ]EU A@ Z2Y]>G|A]p%e5||v&,=IqiM[7jȬo?)5)jrrklYdV}6"08\YE,6WǾvOcLŀw\T.BeiC$unje;hdR bo{?Tc%"3揺?!@Q'OX%z̗Et+h4ޔ%6!$$a3i@<))m^a-o*ckcZgjjgvo 2.j7Hj?-|Xc/^``lB\?(!9y%/>@i+ 3L7^{qmbV`+*>o@@sQY>@ T,my#qgYZ t=% DiskPaxosDiskPaxos.DiskPaxos_Inv3document.tex7zXZִF! .4]A-MՋhvG"uIBm5vjuBJN\׫1|hmW\?->9-0U' v=JS6( ,ugb#oWȟlq/onZws4ihO "KIe[DLf`$쬾3_nn('̦dS@䜝M5ya0UL58 O3% LDiskPaxosDiskPaxos.DiskPaxosdocument.tex7zXZִF! ]A-MՋhvG"uIBm5vjuBJ JnW2XRi+Q %Cd`QvM x|ţ:g%~Ek^IJ2Z@ecoѻp@c/ zBwzoLDߧO,L,r5V:a%~;͇?''>:x&BkTT%Mn'S7f^ş HVp豶r:NGԅ<'ώ >?EFFZZt3}dQ;ЉR иP1t6[1%ХZp5A׮ffWkf?|,-]zb}@O _h= WKRwUEpUҷX;EUu'Yт?כjmJE=gt+GQTv3ͥ=̀#ptwÛ-? Ut( D ulfcQ^['A|^Cw%dR,+TOQY,"-jcݵ;C-wLR!dҫp*Lll~d!k;hU*18=ҶD#?}3jjkQCV!NDu̐p؁-2klM 8Hx [mNGh5Q!J@]]|B׆1ʗsltg\2uxxL"]HYt+ƲD y-qo.@t_z\fiSp(r~+7;䉲'W؏FW\+mt0r";XY[Kc cTo$` p:uU[Y3؟s(UK0Xec$TxS<ͦ|}}93.b@ipPi8CWY"/vGDlˑ6k:"c^GCC'XQͳ=ˢƏe}gu756>~?H }0wkj#ԝ\y]RZçUO ٙOrķ444䁟n:ܹKore{.2 QNC*ΓVE:JmRʼn->>!z<,PB2̀π_3s_F 陷%{Nf)F'{ ƽMawMy>GNAB]ԫƅޅsK4jR'*zAEƠ^wykRwV0J A3.P0]Rߒ vR$k`4ECIiI8"đ*ʲ[gbTz~]@L?qy;1ܾB՗Rpqӧq.Wwo]&֥!LC_2;#8CMY}Z^(zC̘sh>J;@D{EӱQ#څT>fyFה}/$ضʆ !RΖ#Hb)f~6M'^>2E"cDhH"ʉ[ L=|bIb刽!m9!!5cO EALJ'oť.Ĵ}ߠq+|%tigO`^B+=L°~`7iN&cn("VxvdJMOY[9P_rg[Qu]T`')Aun[,p+DЇ;ceTz:~zW'2kAi<ſR̦DN@\_Xw4Y7LX-%nM \"Bn|W*sOv/cRPˎtxT76+4ϣ Ypt L~&E,KgLl|{'O<(~b,zr(>)T?I<aC5auNToNjwfPi&N`[yLN6 7k@.}D3Px$"W9n| -ڎ!h u 4q}!M0jxan qR)Uܟn.}(K,rf|35L4MM3v҃᠞\TLޝ_*kU`_U8qvIC0= Go訾RL3\Z_ղ IRh&yT=;`!8/ycmSy:kL&ܤAGIj's_ ) ĩ QV\OėIfҍÕWX{mgyoxUfV) (?퟇ هԹ|Ms8b){E+8Imك2Fq/\lW!ٜюM nKU:z`IGǡDIIibQ精jt.n '{L368%}l{nFg'I/37$ o}}\bU۽ &y+w}ŕڢx-\LQŸeTk>t .+s>{P笴Z?4F4:7۫J>\i+UɦE9$̝G@ϯqIa|@(;~pds?L%n Эt8Q1/b bV6ay ݐ:DuUX\yRfո?₝1|br+5 Z=dx/g=L: ѭ{ Mx \5/dnőM.Cwֈ~%v*l.+ 0I\$ACBn@if,A!qad7;r?9❇{<&s{Ui5w**Nh"J"pC7Á@NGMyEdV +,!bYHaC[m& Nw2R ]ɁgD0!S9~0}agYZI*_r5t!h5;c#a`'"M |\{aٝ5Cp"7Jf ynzll AX;m\hzJh>".3 EfAL/b?^5hY!Kk/}(aٵl@ׂwMl85gLJ:RC(_۲k|&%YKlgGǾqH:n& f$+l/,yW" F"_,q+DaQWD "RJ'5rK6ۅ{ 0ʛpˮ@,!-ҰA8I͜DXُrjX 247HpKx0nُ*i%,j@ڍ(S?D!tj7wʱ^A>q83zNIX8'T`C8!Wo{)\dp\pH^*hø7fp;ҡ*u9@-SԧKD}ӥ0_dm[xGO\E.-x7&j +e)i QD?mz)Daba60su},Jaʌmo(7 P&_S.{xB{Ib wȧ7KR= K rVUR/y+r$ -3=2W۽ u~yZcw9aY>}1!S&qn!N95^]g@USѭ6roFA<kcUrJWyÿ}?2u` MqCq4L1~; }{Qf|oap㰆[!V.kNw>qckj\}垛)ct~:'Is:T mB _~}8iKqS`0^5ٽ3\3r=hDm 2gӌt !ۺ'2vظoN!V1N.-iyST鄶7c8<'jB?5 y1f 6{$IKx|DEnZy}K&0WyJx:y_-+٦J' -=]->s w.op@!!`aL+*5섿I357SR&}C _-90pgƅ,C8bB)s>Q|=uBx-Nr&3MV{4׃lݬlVm`u;PR!lr(iPd)/d=aP%x_OҁV h1KB A1vj´\j-C@t Tz¢WSd p ˽bm|fO? I^]cP s(I߫/AA4#,}qMRB=mN0oX7 @kW%̤ >4Bw4j3-PU2LRXBMݾzjwѳwsg'~3ow E?f`=Xeg/@ZmWnʤt\DyQؼcrK;j sPJK!,!Jt ߐ@*r G WP7z4  D[m5oXvxk='C=$o3ގޥa(LՁ<9C?k+o]d -_lA1- /(>c]%1JpB3m$8QȻ>F~ L'=BP'SrBNq('ͽx{v. [ש8 i*0~L_;2#Fo%m\s Y7lL Q<mDp X*+/LZa\ TfPKq͎b,]oq== N!woǔcn3+p{d1Lʞ>:Q/[>DZu F5 nZWwt=L9V5I7lGE/=:i`9+{ʧ8vqṵbPɲA 6' ئpn2夡c-%aKz*F/3vf8E>z/S6 n/4 JUKd,xefG~o<ezah3:!-vمvN[vwJk5mpzX-$]wXhD ۮ9<;G3._:ԤNT7R(;ԧbT>*u;[uY[NQ.̳@$ dZZ_c`4Bw˗vuh+Z!Xe7"\}nUg.gHdhҝy)X[/cn&ۆ%ND:u֞ kښل˕Ύ['NC 1v*6#Եg=^7H /ebn)컦))سӢ3y$4t3237+Gru/*0w4 7c~ }mmu c(4݁t$ agkkgZo86aWbz)diA֛/H{w!Hv]gYZ  X X5 G% DiskPaxosDiskPaxos.DiskPaxos_Invariantdocument.tex7zXZִF! <]A-MՋhvG"uIBm5vjuBJN\׫1|hmW['>?yJJ!/C x@hvo}6w94# Z0jkiTp q2~&%li9ޭ:ƅVyN[5A?$% zy@xqAɎMO~%/inY&M{j?ð93f?On.&_6qoaLuI.:IйRd/ٖ3mECuUwEO`KB\| ֒ުc{qwVX4/Z2Y& ׸a;*$WqqGl iUZJ5 +XoZ~6&bk)x8C.#kB3Zd%|ΚpJR1UƖ;Ҷ10v5W90ˤ! 6uڊY׊[og_lT%DLA T+\ѯ')o@IzXzS_oJ ;`r BAHn ?c8*.PO] jX xM֘ۖ;LhX |B3r)&)ұ%^ek U7@s/jL.640ue=? w="ƒ4휖90XmZL.MkK i[P-sk]Ҵ:Ʉ!QQg~9 ؂ϣl8Uz%eWTgYZ?% DDiskPaxosDiskPaxos.DiskPaxos_Modeldocument.tex7zXZִF! ]A-MՋhvG"uIBm5vjuBJN\׫1|hmHBK%H7vIi>d#fd  (QӴSqzyk~!uޭ+@'_vr W;u)C2 sN>bF*G{ЅnV XR]v9W~+z-o$y9ყr:spWymN eU7ys )o_n6#%DrH.݌^)2YTFӒ4@pGk&_3ئF UpWb+B<~^'vg⮅T@OG"yV)3gɧ^ٶ3QO{`~;6l}7  =% 4DiskPaxosDiskPaxos.DiskPaxos_Inv1document.tex7zXZִF! r ]A-MՋhvG"uIBm5vjuBJN\׫1|hmW\?->9 0U' v0?5GrKO_2xDXP1^EFp[;PN:GdIVMsmx2WxDY'⿔d voRrQ-C }k\< cͰT.:n,x Υ8Rq:1[ؕg!s$˶C" 2p&ugw^ WB}^i;SMmofC:D*m6ԫ8&̹N40 ut[8LW3 Zq[Q]nDK4'ԶzV &ΥS ˉWS<柧U國8,Lzha $S{xT8;1Q D׫tģCi:M)Ms+ ! (|1)wfy`qM^ȚD )i%N\UChXh40xP<{ۉHkʷӄm11x6eϼor fw/Hb@CxMit Ukjx}h|d0.&C,彔{-ێ][ 32g>VznCd\8wċH={6[Ö^?n>K"+/w+'E(2{~_2UuYK=Af=q>!#9qtwTYPDĨ`\9Js 'q6-nh(9!ޥnީayIP|laH޺2(;I/$4\->i sP6PV^ NR'#Wdǭ#wnV\]PsNߞ'fFL =g0 :H@WMF&vIQvq2D#-"}5$Po{}^ ^aA)5Q;t6=|N+Rn8YvA/;D-#H?]C'^*cuP}b,Cp%M9u~Rz ɂT #=(_hz4Q*`EVB?HlG!70yG2בrP?yi ܉#J$&BVsؚ'3GS3Is%%[%5WnYen>Gu%OTGOGug^)]31;j ~]uCM@ Oô edoߕ/q:Y.™ɩtlζ^ I&GUY2Ft.XX>ꡩzKdz;Զ5YQjfa›hNg'GpMV% 4=KfIǖa` j?!bzY@uEf T. ua=%uN$tKGJ5Z,al7-lFM}qU~„)<)YS+Fdt±lו:X|8jo(u"IHrCjQX&H FMÕx}@8$P;j/k e_c4=AH@(qzdq]*w~\7̰CGұ/p[R6pG9LsIٖf+Ȇ'F0%[~O&Nhfhqc PF"uY#susM@[}\wt6=f9|Y9k_#".-Rg LwsŇI碫lU&,T'=}?ZOzʑn?E &ȃA(w!V;֘*&)àΨ q ~)c8B=!h^'>Wk3M $4gYZi'&4{,c͜mY}[|V(e'/>m]U4+-p5q,@N]qװfS0rx 2={& 'gy4?|seYs>3n 3hM)K W<9~Q'b1KUfeXU9ℱXgzR*.(ȆAn_mT08h&zٕ7AQkjltFu+Yۂ W%9#l*DnZJJ#1*J-SIP]Rw{5cA5T=B`>ÄgAH~nh\p{ȥBuiMB,D'+㊳^TZ U9&1Y=OARDŒOrn KäYoIoEu>X"ԬGD֌gV.dpL*B T T= ǪA3Ewٟi,*Z8ڂ.[ -x7屁,9ʸ&+Fn6 x{T} [IQ*FFRjW͓8~(ʼ^Qҁuѥ3P<>&GzތK1ڴ;ĩ,x1M ;wр&*m5^ $FysZ{ eB.u-@5]>nۛ' FWD3@ C*:)@&Jz1 m=x; D ڱ}mփ6hvY!QqQrAKfq7Zs(J摧 KybѲwBts1ON (!q-21n橭$\̧rG kXy"*];lO{>-R$OZ/߱ě G6f2J;9u/&(}Wt ?.A$.%GhoZI. dיɠ %vs]N`p3~X5C+v#%2]&j|^Xod' (<^lڧ۩RF¿Rp1nJa:jf @X~/+?I(ek=8~sSnŽN^pЯ,?%"T&zOT(NV)Dg&\UְB3{dkI+,- 3ygVoga#%ggY ,@ |- t7ئݠWXwqE%&AɟA:ʂvE з.: ] kQgOOgY koXH/2"1KWӕfq*y}8YhhBfB;|ڶ zF+(7JaJ0K0eh;yݘ:ۂ2us ւF&ij~/ O<KI+!ucMBj*(~BX$BB ^DJ46ZuJP!1vo OhJ O jU*P I:X $*n6$E$7W ݩcw!h{$h28l Ur{ub#% U7/;Jt` #NF }UӔ6)qeW92Zm2Q3z'D`k2r@ƫKnYn<@EVZ  S؜7k:.c]~TD8;Y,6bȑjQT1Gva?.X_/z?3Sz*LUBjBJ}ƏQj:>SqBGC.%S >) A:;wF 9qWXuڰ2^VnTʗ4a!–#YjJX#JIZ2hlW_G!V4dyt@S+,j)iz%C:wYSvqr]yzIӰzr&&`ж!X .ZdZR]fwa GqIQwMTNyYv%sB,=ìleµ1m%;5U'lCG./B3H-E"I$@y=.refO]@X׉EybآRxP{G\~Q]6ڗך$}}KPH}(UkZsLJ>hBcc M8T2)L@0)9;4d8=,OAq4agYZe5823fd7480cc22d2dfcc01106b94a58daf206a40a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122