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 vD\ ]/ DiskPaxos:threads=4elapsed=40.003cpu=122.280gc=1.2127zXZִF! 8]ŗXiɟH)0!h]Jf|o,6}˾wjY#I6.w2"隡?:FN:0P̑ՅH6\ =u]حfyb,FP^_=Li&;?3˳kɖdUlQMN*ɔ~7'^+?fA.Cry/iyf5tiٚNJ?zbZ^vu5l0Ld1 [Ce]\1QdQh:_ dM$BO.'AY'ȧ=PvI Y^s:w'Jr+%wR R47h:FO˛eދv+ZxKJ&v_'\FZ yW]]DN "-&D0<7+FLpebĻL؍o.5ӡ_3uf]Y›i!&mX#Aa@sJۡ3;\f$ k4P5o1E\uϋJJbgYZ7zXZִF! ]ŗXi%D8WkN*|{Pa`P#+6z?| ^؁PVޤa ZkYO5p1ݥ^S8I )#.vw?^h3rr:Ԓ%>rH倄jԷߐ;yxW ÍHBA2?1yXPyPt̋ 6U)~>LH֕NFFO6E'O)"$w{ϛ'1;Xo~"Rt [<c)#[+{Š]3)"<ĬK`ea(iqO97`(Eף [*1B|0 ;xI .:Yǰ|"S#yNe:Y-)#'X--hғ5O%FTn0CkpB>eӻzNJO6H"}ȁ\L   DiskPaxos]=% \DiskPaxosDiskPaxos.DiskPaxos_Inv6document.tex7zXZִF! Ӻf]A-MՋhvG"uIBm5vjuBJN\׫1|hmW\?->9]0U' v=JS6( ,ugb#oWȟlq/oH5hPpO `&-h#.G^n58̥>29&?P vIHvPpl>l< ;EZH&!G `*ljW|^;~[A% TDiskPaxosDiskPaxos.DiskPaxos_Chosendocument.tex7zXZִF! G>d]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;/   c/c *3=%DiskPaxosDiskPaxos.DiskPaxos_Inv4document.tex 8G%DiskPaxosDiskPaxos.DiskPaxos_Invariantdocument.tex .3%DiskPaxosDiskPaxos.DiskPaxosdocument.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv5document.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv1document.tex4?%DiskPaxosDiskPaxos.DiskPaxos_Modeldocument.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv2document.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv3document.tex3=%DiskPaxosDiskPaxos.DiskPaxos_Inv6document.tex4A% DiskPaxosDiskPaxos.DiskPaxos_Chosendocument.tex^.PKY#"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)w?oҌK!Rz}/}2>J9̉f nڊ_!?j)F0~Q-M=6#}56KR}=є:us)5%'Ӷr8,h.RpN4ToGr݉ivd}$쀤0oʖ(hFI;hӧwm}CNIn" c"5c($' X[]ekn&wX$D=UF)43 Zi]fr}7 g$ z<ׁPϸǢ3#=*(EW,pp2D|9,\8jUJH7B-~|os#T AK/t6՟μO!dݛ9dX(ON-Q vwٴojH Rrb(p8Bq@z}NDp6\u? oloPe5JC9&cw2|y PLl#@M?~FAX1°3F~+8  sGL g),?IsqH cC.kbIu.ϷlJ$A8)Wm+\JG_7lS$̭$Xʌ?P5v2=$MUia>yMyb\#`啼,2T91:ؙ7Q/A?آi`Ϗ )κORiB80K{D êl/KkKN3S!XH'v=ABt wh|Ϡ 9$)ݧ7gC X]-,@d".'9A'[SqF ? t1!f \d촀F2=AԶ |'Yy;=Q} oTz:P2m_*bRI\2L1xJ:9B,*aΊ\4Z>A1b#II#QT%T91bNZ# SB~G&,\ZcP{:נz8+e,yP)l7t˜ G4ў}⚶:sc2"5t!_0hJ,[@͹";_6 f}He/^b!͵d{-@ jF2q" l7wU>IkT&qXYS I7FY1|L e ȼ)GDzGzc\=Λu'ݨ,BCP-Dڭk:n8z2֗W@# /T`Ey?HOEԊȈsrBB Jc 9 u/02Gh6AWn8Ì7uIdB7oRj` ϶RLaZZS%y&ޟyCb? bTm`GSɛJFaͥ%T3 ٽ#cݵz@ҁ09EMb2EoF+As^8k>톦Z4WA5v)fj21Uσt6tUC|#A2ޱ$,/%:/-F7O)})5l/ꪈD83ss%"M=Z+(JQ! 6pDtAhV,35zP]3J)]8)$h sJT:%t96ʤ}bDW&wf p; ltgYZ!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%?_!-w5$ Jz o!7t\=5]/?UA|\d ՝;Fo]iw-F6W\Ca&ʒ3<%))7Sr?= MvUrO6@ϔIR[x>8؋iM:8l6bhyV> w e961 HD> TJ% %oÝso!6yoDgY=N7>t @>pB6x%Æ4]|ʳcrPr(4W6^fڏ”wiz7E8sUgrkj5 @JC0fbdjrIumjʗv39LyuQefkbHX';?zaUo;X4΅廴6Kyt;eyc%d9N#f[ DՇ]Q9׆} _{E0`iuK<i&b-nUGjMB-y6.ق5`jz| DNlDs2F7ƫ)S$g^j!VlY;^Ŕ>vAuL {, 59&&|y_xGW56XIlȆrk[Fr2C2uJ3Y7Tm$V^ vOjRݿZu[v ~ X- wrN(0f#T1u=F3űjm\L~ԩ֌xPJv Uhr:"/Dz^Ӄa6<K=πjk[XνF]qHS$cJoD$2jׁ9^f(bDO 0M)ͯoMc nd[qHE6QۼE >g 24>Ɛ.иnzlq}SqVx?Rķ⼌P{{+ɦ[HI Wvrd!ڬ_i\C]-bjkde1pDm̟}T6Z~-*ؗg4#te ezR*NtÐZ-|rJDA|Sl2>(@dH Flς<Ӆ6Bqï]c10 0ܼڂ PZ'f@#6h!Sp0,+?,7WGOE*.lͶܠT/N?~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&{{/,<-!tU߲̚kg߹HP%pK[Av}s~]8K:v_"k"GA`3Z:kfDާ>p1׏y`eoM^w7B\9Cэ3rC-3݋?7'/grCTdlbL+G;D爊.{9V8ӽ3n.>dg*l"?nn6U- !,֖E"؅QB˴aΤqΏaxrza@z׹̻P 'CxJ1_he$Dy!Cqlff MJwpE2&Q'^}= קV+l@ dsyn7 ޫA?_hxU+ 6bo~iZCwR]1&-y%(m9S@1Ƣۓ|onFڢ`Ԣ`ܬ;tT%+˟ac7+ IsyV6 bl('ˇ@\mTMUMhZ5AA^y1.زX?OSbXtq /%o,DJS/\㜫 dVC }F뗑zX6n2MiI\lq0F3;:~@0(OkZ+RE_&x6KmYTTKC@ݕ r(# 4\-Xn'A(&Wu2I)& kˌx<ʅ9P#Bx;ߪP9{:9[- AwcjfL x?KET痵iNw3JuL n}};>T Q1K[NFVbm_k"qr Yd5f"f-L Ъ?)L\WqSJ6 յ:z'XW_U]]f3sseIDjMƸMu̸0L,`E to@۩~Ym 0nO5 j R+eϹem+< z/ J ^͡<ۖ;2 LHxwmM =6#1@ñgYZ **]=% \DiskPaxosDiskPaxos.DiskPaxos_Inv6document.tex7zXZִF! Ӻf]A-MՋhvG"uIBm5vjuBJN\׫1|hmW\?->9]0U' v=JS6( ,ugb#oWȟlq/oH5hPpO `&-h#.G^n58̥>29&?P vIHvPpl>l< ;EZH&!G `*ljW|^;~[A% TDiskPaxosDiskPaxos.DiskPaxos_Chosendocument.tex7zXZִF! G>d]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$ ++?% 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}7Z =% TDiskPaxosDiskPaxos.DiskPaxos_Inv2document.tex7zXZִF! \+b]A-MՋhvG"uIBm5vjuBJN\׫1|hmW\?->90U' 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}$: q=% DiskPaxosDiskPaxos.DiskPaxos_Inv3document.tex7zXZִF! .-z]A-MՋhvG"uIBm5vjuBJN\׫1|hmW\?->9-0U' v=JS6( ,ugb#oWȟlq/onZws4ihO "KIe[DLf`$쬾3_nn('̦dS@䜝M5ya0UL ,U*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ޮ+pkuHʆ >}4UV2 ,d q|b'IDK",< P36%$ 03c)IL}!&۱7% غIwa@<; iw{D gx$e>VE,#@c=a.B@̆ "5 Y.+MӝCk6|X ?M.ӜJn&t2IX$,2g+ĝc'KbSULHn3(1cXB&~'4 TζDtmWט}rVpl=&>Y*eKiQWFDHivn 2+j &K\!jZ9C tI+~^^$7>(hXtێVB+1.v~λL^riW<쳭 XDF, {Լ2%0]P8l[@~^N{ =V?RHxhD] f|X |os |]V!D3j5<}SC;t|ږ:~TIavuHE`U.~J|pj״!.+]a;P@>\%e2yASGه 1r ?a+xq;Œ ݁0)9T!zM8v@:/b聸ڞB@9 GDS A£= @rhH,cH;:y9}'ww$"81~(JWxQjh ~W U1X 9V\%; V䇠-eqaw=N1d+j'E]"kX&  gTGYKPu(N'B^kIe$57Sߕ7T%NCEb Pz)`ucncYi r6LLMU$9^0|.Ѐ"JG 'f814Bo#8Y?F^1;Nmt pTO(<};zˉ򚦩eOVW,zDZX+śg +^ݢ"jŹ7}%]O"ږ{sO\9ރvBTr9D:}4!Ìӓz}xX2;}?@Z^I+`*M71M|_(Lۆ]y,,#rKԣdm5=6MĖԣPm Ha5L 9L{>ض+<- Jm3In0IExFsi"L8GS2>R*g>w%r^nV R?mzHSTD5 mmfԐel6qZPػ ?"UY:Y}%|IMC‹n8 ~~`]ZFU3ڹG=V)v9[x̕djE " @}=?ԩv!뭼T"jU)ͯ`};sKn\kpN]^k eYvQP91L(T4pSfFU~2-=ks@<Āk=4't lNc `r!.~7Y 7`}E٠}~)N-Ē+M(m䇚J:Mn_qڢ %j9Bغju鈍 wv&lsW\"+Af֦ 稊=6ؼ9AeM6FtJ*r]*ۡs^q.ӂ~f6CF Ƹtw):IE+1ݡ; y'KQ]iMhܐhmif:)8߅K}`U`!ecи{H#ah_Ovfʼn{CA\eL6D6،D- pGf .l t[HS8ofd3G&3U ~̾ɽ6xrMrC6C h) m5tFmEȰ%~-UOuܣ2 IJ09biwXp}q%] ܴXs֯M@LObمʌhA~GCŎH n(JDz8(5D݋Ek:XJb/ؽ !]o7vTB9OeEsw&6hя$hw zqwWJG#9 УDLN&tmiB SX&]e0 qc .d^ .ONo؎M _7WKqBbVݚ ӱgYZI*_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=L9V5IzV}|fyj_l2 ٦RWy)#1t]!NRTrAl*XGs T7=1nmj*vMٷcs_gz_&a/ӝ]O+)Y35e`M~z#?ZofvѴcFhT-g#>ǿzʳڎ!oDyBMąշ|5Ը ~q4 >?XbeZAoo=@q)5^QV\rX4TJROXC<ሏJӓ^}VUkmP߻K\^[;Ѷ4XxG+y*!;ѱgYZ =% ,DiskPaxosDiskPaxos.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=쫕{{*r9?A0biDX?'9D8Kmmm:u=O{0جnIڌ!ͳG%Do3^zqjnRhB~?YY:ct`2( ۞!D| 1`-\ ^bf31c}Dyˬ =}7]HoVk|,_IO+\V4Ț-zy)QfG|J;R'J*ٔacV[0ǟŤ#x( p WpO[;ԬR[V|k~'s6X;?\Qs]"PdB^$~.Q9q,KQo۞@MB*%iW: ><(pqL̯iLHp x<߭gŮd+Y҉=/-)%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ɘkLk!J2GI^t4eTbϚFȵj(̶voٺiVP0I \IaQ}NsmN~Nl,4$NNR`S/*\t>GC{IpPл/íd$4a`͋$$=^MK]c5C{['> Q;JM/Zd:ó\S<Mce. @ϲРXMD7"u㜵íY+2߭Y44 ֕ z+;oUKQ~'v\[ v9|h7sh mJ w[nߗ~w>#?r78Bݭߒo1 1`]U !y$5Hpw Z31SpElSdL|*}\-L#[͂hC\𩝄8ñ~`.Sַ&!ʻB!SP*y1XDii~QI2р%gF1W`?J6iܘX܃:o╰tm}6NmSoZ: eF3 v,b_3V,IX g7dMMNO4Q>Ƹ=ٺ4 ,}WTٽqT4 > 4hXH%dMwvLݪ,A]Cdb^4f#,kKq26UkT4NV9Ͽ[xgbj (HT h.^/V)poÅ茨z0S9YM?Y.9O/4 {։^la+і)|QVI߸ɓ'aY>= C*b;@}ՂWa#'gw3WTo!czݻTEWB@Cl-٨iqbtX,F/ką bL:+jL˧)KkC04ujѼ !phV_)K ܣ'O'^U3(bt U𢩑(UL6<.a'K%4CH'&DZ  /AH%ͤ.I8`{X; XiwPi7kޙ?M T[UG= ;;DkupFbuULp ;Zg۬ZlwˍKNm0"H\@ʫn>C`w32 } +w۞sH_X{YeL7,Ѻ@v l H!yƟMu^aڵV ٤OuhnAzsj"='⎦:SSsM>ATy߁ ͛B8YG*^u5kNAgRj70̿NL~nըȢyə;!a`Ua*7lyynj;!84*+$f ihW8A@PH9"8[E&%v+#b,TSfTCNfW D D3i%B٬. qm֣C8 go$`O9ƅx&QIqth.p8 E=F/Sd@}=AdRkѻ+*d*wi׋O9h7xmAUXNVSQi}"]):^-(jXg/ʅ!.+Q} "ֵх>fA5JS1KGD,AѰA;+Ѝ/y0(_-`LY02.W "P! w Zƙ>e1:Ч(*߳ Hvf-@?zlBq,-J> Y w%ĩT=<4_tؠepadw+". ^Mk#sSU,SA3N o]4A#lAŝQ)>Hdb\mb'|Ŏʩ"o=.aW8n?\mjjogbEv9o@M#5}]-ewt ;:,6JӁq 1|@.; ʪE؁ȫK@˘GZaVﱦ5l  Pk`kk y%OYe/FVnE[9T+1'S4T7&[xl%15rׯ6>kkgs"rH-= ,NS[ߵTm-R@u ș5&WSMϿ<MqJ.*fZr`cj(|Aւ6BtC vdi\o~pGZ}k(Z_S >LXa~6>$\!WM$m$sX6i,"TU@2PEyvBDsrz\j+Ⱥ9G^KЮxiQ^ )EgYZ ##N =% 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"34 H3% :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{iW U}, ?dw7} l*^GU^ AqYeSJS .tL.̰QD4 j&mEWƹNK)$J7Ma L&vP7 d\#* R;<*մL\yV:pɅhDNSTƮ(e!rcEڳ0n'0$uECw 1dR޺ye95.'e5gv .1 >diIn#iLjw)jBauśqn'Ig]V 8 vácutn;, hΔQ>l?\\#Xx W8st:<mL?V:1, 1JfД?) s(!7<  {q%\ 239`&b2jQ=zǡpUti 5 EL7ĥTPOHqaDGb|1"j%)1`z4>E]-MZaaL֛ TjvXFMl}Vu(0v N}ޝ =^*CUf_o0vj+?H?izY0CZDZ]aT8 ~[zS gYZ  KJ =% 4DiskPaxosDiskPaxos.DiskPaxos_Inv4document.tex7zXZִF! 9]A-MՋhvG"uIBm5vjuBJN\׫1|hmW\?->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_%|2 G% |DiskPaxosDiskPaxos.DiskPaxos_Invariantdocument.tex7zXZִF! 7]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)&)WB% r L[cH;f~}wcZLu)A/> 'AaQG1'wqWUB=s} >wmnIV_*gvKoIۻifgYZaU攈̋_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~,1ॺ)4u/XB zאIK:{xL9ͱ^KCDJC^6,8c>Rf>ɫ8֔sE2TSo7BwX96!1vj1,8Rby@W<.Ӣ&*Y8BѨ3; &"7' O,25J"1 }`BOe*f)kA4nXOϢv3Gx%Ce3+ZYNz'a+ucde(I̟Mo7RQ>~UjY,\Fǥ6Xz?SR}&'/ E_$=OĽ[K, ^AX/1,O@;Δ++"|R$<eC:"UZ5wJ+\`FS ;5CT^os,ґ:f-{ׄS'Ĕ:ZܮuyIĤu)TYJ%JS!\j%6)N)W s^},h`fisMO Mq5oR[?Z_&;ʺ7TE+ZjEҠRNdkIqL!ۄ?~]%`1E=Vŭph:Ӈ?jdz;-$U;G/Ώ$ rk|K*ှxU!,ǘ5 5IJ_xGN#ՄCnh['^u\.’ *gN Gmcw=閎sڪh=.UhWÊ`\`2{";~i86fT[`Q$@TCucU5t2niV&-(|lpP@3"ػ>x5(ӓ3]<%IŴL$'fv/M-J_J" [T  +n&o?W~NcH|9lYO[ `:-X<+'p* *=^ީZbQNYY +j(ma"tT9l>k:q"xr֟,;+Goϡߒ *Gn ]hVC&k8 >f.qlܧ`M] -+'),I ~".ȸ:f>?h fyJNo RɊ Ȣtu@F/j#-C:FXXs~~fc\ %1^_2Wg~k6i7#Mf{yE0 4,i1͋j!8@d*m!M?^&ZSbHC,ER1G߆_Ҍb/?!gO!PuPݴП9#?9^eZh1UV99L܈q,YȎA"ibK54(Dreu0h7>KnXvUa@"ئ|vbLU/ zT[6\De-,$b&!!@sv]A6R>oy`O7Mq~DS Х+IX3yCtKUInr X f"S@+$GC"Qa m&f0_fHğաsJ5=VauqoZ6)l^^zb:'uXK:?[<'=G_0N.*S1`KCEXf:^=ҶѾ >kx ptC:ԇ{@ۅv=VX ̂E T,%\KLu#A,i<yaͅX򳷘 O |pCs}L~^}Fݼ Fi@ %S҈2ttVdL8DpZvr@b4@)l kmx{_WXB"=x(7+ɁDaS۷R`,f335svAEoC`sAqO%bgp/H=UYdHPxň55@x?zmW2ɽz!RNJՂ(}H'≼Kc/Y06Se, z=PpkG*ґ |`(pS'61ulMyvN}C @)V NwשɄ[(v𝗍mȂ<5y V̉6al -syh.chTn[d{*gmDķo+,Ƙ2K+8!`ŷ9Q5V<{iv=]+GܿB&˜.?ʌ{B7BEm,Be9A;X_z€ݭWRdA}[͔(q+Ks`)f/~V@CS1' ᱣ=TRthS< V_~%7;aס/p*iFm+B;^2\{>KGV@$@ s瓘p&VF!ioml$kBz)ze^M%f2 +Rh>ړXCw?`X8<^Λ" 0Z$Ggڄ Z/|y2ʃ&vS gԒ+~~ nf2 R CTkMӠ/W{ik̵Ē0%8fTLfѶ䚳?3$05y3֮O7=%AksLR*=}vBf%6ǐ @|[H1.Q:/)OLĭ)gƃEqfNj!B_IY?Wв^)0^oBIRiSh+tsx o`kox5(_U;aFbDeOwCVwu`*Đ5w*Y{_@6GK!ٕs ]a= L)KnTUGyu ]Z+X;Ub"t$2+OUވCwc:dBR"yFGH*x| C9:UzbIԗAf%p~(d>F4(魸6!em]%:mmA,i0s:| *Taeh#R"|8PU{?IF o߫Y9)%nb&Qh4RmykBsn_螔 m6m P+8 LDZM.=ir^śxMK(!c//:KH`#>>ɮ{/K;po­uߔ8Yl`ܹ أ$2]`JbG|duN`VM8W*j^E} ޛ ,ʞc;;L[o2uDbmCL?.U|Nl"H@>T="DzxQ ;R~=Z+@knl 6{w}Ǘ;p4K&\ r„G¿P*q{|x~ue0Diz+⻅t;> IwVy!mp^ xH%AGNRȀlQ\;xo v T{FT{\/AkZ4>@:CIYVl>|6 OƷR31[|&4 &*/1oo 'ZouxS<&B%9)ΫA'T&k}>Io[eN'!S=cvݨ<҆*c!Lf1k'dUMC]ݭe{[ ќvf%_&E4q,'OlƮc>c*P j<Dtv~m푀$'˓ AYGvDT8`U|iVQ X"z&k"|ɚTN<9s8JgYZ}NqB*&Odu!}1!3wfʌ_AF#g,nQP+ɔ{!q/٩|aSkj]5yA*6xA=ƞ n_H,3J@fq]I6E5L}ClQe<Â&~xϮ9*ch5+ԨAC2 NG3 FMJJKUFNxJԤ`>5v˲ ތ9B|}6cO\yבߣ( R QP W$X`*)Q#9⮈#C\mY#S{wWݑg{~%ӻfAE7 AL 74c 5xB1ky ?0-k&H4Ҩ[Krƴmږ: XŮ ˨jnKY+g[̞R}З~d p5NC`?S=c>Ypn`{~l-4>§f?{%+Ux~>sVCz]3r˾ta~Gn~ @+8~`!?GfJjEbFK&u̕/EOCRgTqXF9;~EK Pݝ(H:%nGqTx2 О!*Y8)D_ߌl68@L:-0q;<h`FsM؞Pahs/:nx|ן3=bT o P?Mk zױpLp~$_@uCD;$3K\:\*U-E!U-zI"e>XJ< K5x!%>ke4E]X[/.js18_c-N/$bo'h6muܛ1?TSE=mI&+3)j6)%S'HB][2?Qc=m_cJs_:1YA+@أYAwsSbf^3M=mL29QV1#x,mjC8e–|b 6Cd{*_BcʚSj)Lug\C.iE7~! -?0D1Sȼ-$*=W@S܎*3n1tFmZeS@^@7[!"fx)HK ֑6yaa0Ymb0pf- ៧`\nlSEdu/ Ao@g}p!5\~Њ^D +aJ Fdvn7 *~޹XZ憛C5^PKo5p'E#x(=ŃkӣHgؒNɇ3ciL#E*M.?+Jx/L<͟p E y/jFRЋ(:Z/R/7ASXѧ (jn`&tƑ өrY^)7 oN]rg<EjM;x'=o܃[j3e8"ZmN+Ѕ5-Gq`܄X2 j6槗ID ~96 <;H_;Db/2PRzс*fcT\v/- f%>DLI~1 m0 R$ JC&!lpzh TD 1rNUJȩ*EWTrAs[aZN}{:o ^ߺ^AKKlg<~Gcʃ ľUT<Қl'eݎ'dFE̿iā[K/,` j9&~΢"tLcyGsؐ|}v쥁LK ;gJJ'IBrw(ļo2gag`pS'D6Q\-N% Z>N(v]h2hWD<ߕ1>F2⌞@4y:tJkW`{Wc٬zD1?ĞW7K]l 'c:eՍ+eB0@8.}Mo9 YF L![ub,Z zB%Ϩ QT?4Ct -ܢ 2г4,(. 7Ad s"E!ҫJϛFkdB8s'|חN/2\ǩkx1:r_v#I,dRitR.[U37WsXMzٔs37P@ϵj^Jm$GL@^7 uڎ.LPЕ57'jˑ#\Vevsqpur6[˷͈}3 ^ԣN Jvk@ǁ"c٠85.Ӄ_!絊Z )po"ŝ>R0[R;$d,cjа)0jۘk)4ԋV#";Ga7L,vj&8mʰR@>Fw}"è#A,;&LK +A