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/ <4\ ]/ Consensus_Refined:threads=2elapsed=44.461cpu=82.964gc=6.464factor=1.877zXZִF! <V]ŗXf1-/6vRZyQU]#%x30>ǰ X~\uεr_r6:5Vxu00/<֒в V?L&aTpI$We̵*hJK:yHǢ4pQ9a5k9ku: tG{i,Z~ON2`\~!7crXbHNkl̉ER ,4 c"wa M9Q#k fi.|).eC968yv)SL 8¢u V+c>pW\ъul' $;otSq\rkG>F( ?tǩ{Mc̈iCM6)QifF*Nm! r7vt,&s".ٽi?d@Dk, $R6||r\S+s@l`G$Dfm+APḗJU9~퟇'n C?ϐO 􆞠rQ o (W/֌8%o3іFD=+ke3 0&kD&s]y^b˔L4q%0>l%oZq mAvF\Vo!rLH@-"~_^:<؏40f6~jFXVL`q&[d)ibgDp#1A,- 3ɼ5D-bbqXTPL-S>*&ՋU?oԑrygRJ= zZ z&$~{i1sB)^hb\U+u  2_&&6]T"]"1{WPwb8,"cIO7hQ=~xrAvǽO>M?Ol!ǭr#4S. zB M׫u O1%%V.%BǵLT1mGJ' ڿ-I]#Iz)HB]./J2LjJ {|hf(c8L~+T5]NWͷtIxh 2g1i~{ s^m|`AE{ XhCGfI[*`|Tվ^F  p[ QKHx.`cts ygC?g= / Consensus_Refinedy<~y /1% 4Consensus_RefinedHeard_Of.Reductiondocument.tex7zXZִF! V4]A-MՋhvG"uIBm5n|=) GH kl\cH0Ωb|! 6Hw,mVeZdlĶI*p3FgYS`/PٌSNdR?ڮ,=A}bo|gIРflIBǃoJh7+hixxiu*v~&0H9n. =Gi~ck`5a$<䯸*֭?0I]Bzs#^`Sb/xT] ((C'tmo%3&=-j`|R3₎74uD\ZPR:*kB3[.heci#݃?xH7kJQJ8biI>,I_*i]U6si\pP J{\Ы,z<78Hp}l=qf}s5،(ћ ZX2sT[n|BD$ 1;iCB4rsa ^] h1jʪloPӮfixJ?m#K0wjV¥;+l17Nv3Z+= CŚ,I.VJK#,!Jj]PaݺU 8"툅?mDӲW*ֲ_F&]r>I;sWL?. mle03^_眣ǚSlo$HRD'  ԁ+ʢE&MTյܴor:oT|% ߣzH."'Ȥ5cgX6Oki.'[T)`9zG@;裧G#,N[p9nyDp9C՚@eb%:^nJ-{3M 'W,ky64=>Q9[ĉz4њ{ɾz6g&UNrfS4ߣVg 3HZܗoYrAN* 3%/Ericw<a H?ʼtE\aӿ%5kElY76w]}_hmSQ#yznz?Un:&o>GXXFC%S h/C% \Consensus_RefinedHOL-Library.Omega_Words_Fundocument.tex7zXZִF! "9f]A-MՋhvG"uIBm5Ł8%-Ӣv;_ON)Ӵ[h,ZD7Y"oBQ7 ku M`.8 =c &oބ诚9ւY f\Onޓɠţ&]!Î( ^o.rՌPq*t, #]DoM/|BVE?1ԪR#s0/("pwk;+$jۉ;?ƪ})F {JV`?&uABF/5C̄ _`kp1][2Lal01Y)9UcUmi\JfM+z$>>%)|TB^39P2;sw9S2;N$4ysT/ _qGbOLyÝaD*x ,9@r@ZmuD㧋MJpЁlPBC F5ޙ ݄YA4Y<ϣ"S8 ^OpyLA$'>jt4?cùo_|h~8RL b.$F1Kbo48 Ė. Ǒ9c9M!oSmfJ右Y\1L£ **} B dW̊ߖD6߰Y{A&u'!:$TdREoPHd*)TW.\utgI5DlU̻eNjWDRJY m ;n pqH'U9b>7VJvRQ=< -#u"=Cxؕ447_ERE;72ƟN+i4|pqCc4ʠk,̩ uiz)R ^$e8DIcFb`hբ22B*U@w &Esw썀, !B=qDs9wt3]BWF#3faWH!amC^ AA/#node ]`*{ӱJ"~ 42CV"qj&ɒkBCI@`q(KW9)4r3AD0 J[S֦ V7 ]ÌX!z]bM?gL?rKB0[zl|Mz,HynlU׎j/L;tCI:%oi/6`_m/4] R+'TO˃J$S3LZ=e Oӟ4/C7w e RʳLak,C h6>A9;4}\ϛ;ΖVDv҈ĢQXrhn'Ln磀R]d^0g&yLBċ+"h!P`V)_R'ߍ /YݶRg4߁d`/F`ܟC4.H70"ZH:N?վ$cMSa~2RFYَՋEI$Eti-;/8k!ksd/<Ig[?Ɉe͞-wɘ#ؗC*'lɚ)݌^~\8&{k.razP?2LmP47"1d;K.|mbk7TGm`8#3aȹHbHGF <;#:!9876543210/.*'% # !    &U Q % UW I  b  @ ) ^ M I qD/O%Consensus_RefinedConsensus_Refined.Consensus_Typesdocument.tex&@/G%Consensus_RefinedConsensus_Refined.Three_Stepsdocument.tex%>/C%Consensus_RefinedConsensus_Refined.Two_Stepsdocument.tex$</?%Consensus_RefinedConsensus_Refined.Quorumsdocument.tex#=/A%Consensus_RefinedConsensus_Refined.MRU_Votedocument.tex":/;%Consensus_RefinedConsensus_Refined.Infradocument.tex!6/3%Consensus_RefinedHeard_Of.Majoritiesdocument.tex I/Y%Consensus_RefinedConsensus_Refined.HO_Transition_Systemdocument.tex?/E%Consensus_RefinedConsensus_Refined.BenOr_Defsdocument.tex=/A%Consensus_RefinedConsensus_Refined.Ate_Defsdocument.texG/U%Consensus_RefinedConsensus_Refined.New_Algorithm_Defsdocument.texF/S%Consensus_RefinedConsensus_Refined.OneThirdRule_Defsdocument.tex</?%Consensus_RefinedConsensus_Refined.Uv_Defsdocument.texJ/[%Consensus_RefinedConsensus_Refined.Observing_Quorums_Optdocument.tex>/C%Consensus_RefinedConsensus_Refined.Same_Votedocument.tex</?%Consensus_RefinedConsensus_Refined.CT_Defsdocument.tex?/E%Consensus_RefinedConsensus_Refined.Paxos_Defsdocument.tex?/E%Consensus_RefinedConsensus_Refined.Voting_Optdocument.texF/S%Consensus_RefinedConsensus_Refined.Observing_Quorumsdocument.texG/U%Consensus_RefinedConsensus_Refined.Two_Step_Observingdocument.texL/_%Consensus_RefinedStuttering_Equivalence.StutterEquivalencedocument.texA/I%Consensus_RefinedConsensus_Refined.MRU_Vote_Optdocument.tex?/E%Consensus_RefinedConsensus_Refined.Ate_Proofsdocument.texC/M%Consensus_RefinedConsensus_Refined.Three_Step_MRUdocument.texH/W%Consensus_RefinedConsensus_Refined.OneThirdRule_Proofsdocument.tex;/=%Consensus_RefinedHOL-Library.Infinite_Setdocument.tex C/M%Consensus_RefinedConsensus_Refined.Consensus_Miscdocument.tex ;/=%Consensus_RefinedConsensus_Refined.Votingdocument.tex >/C%Consensus_RefinedConsensus_Refined.CT_Proofsdocument.tex A/I%Consensus_RefinedConsensus_Refined.Paxos_Proofsdocument.tex >/C%Consensus_RefinedConsensus_Refined.Uv_Proofsdocument.texI/Y%Consensus_RefinedConsensus_Refined.New_Algorithm_Proofsdocument.texA/I%Consensus_RefinedConsensus_Refined.BenOr_Proofsdocument.tex3/-%Consensus_RefinedHeard_Of.HOModeldocument.tex?/E%Consensus_RefinedConsensus_Refined.Refinementdocument.texB/K%Consensus_RefinedStuttering_Equivalence.Samplersdocument.tex5/1%Consensus_RefinedHeard_Of.Reductiondocument.tex=/C% Consensus_RefinedHOL-Library.Omega_Words_Fundocument.tex/C읿v^\vL AN&nV~϶*8PYK_PncxG#. Ǜ'NTs*Jiݡ;*igIyN IV8Ҕ=1Ӊ/_M*j3L&u:gHD=j &_/~qe<(f;>F@ӓ)2Cw`ly42v $_PkͶKmWwgi;iw+Wk(b| %PM4[Ud{]> ܃ kp&O;0ElNqQ[xjh0eG]?;؂,HY0N{'XL2c`ځ:d MFm˯ngV1 *ÁBTG;,jTݹ-> nQrFK9kkVvp{[{nqdI::1bUםE&sAUME7bh=$ʣ6* _!go.ٖ߫ W{Է Aٞe0J4*X_-^inNP5i c>j_03. BK! zWYJl{@QN%chdPJi3yGl7q\s[65v ؞@lWHtr<%xjg9TNEbb;{:g%aŗF8u"SkLLh@Uh'qNu9lY6@r7Y憬VRKϓЬP+ 0 3ľ i]X<~E1W& >/9+G `eZ=QO|d\&N[)w{j?unN A<`ȶGW8pnξ* nU2f/޷]Tvw *hNyΦOΠƼÃ_x\TkQ1pV̓׼ecy t=j׉ !jq̦7whpVAcu`ǐ远Lo'ws[!)luF ui.u 2@b%,L k.m=&[ D8JU_ܼ63q7Y|6ӧg~`HYUX՝#PJ/."Bg2EIXAԤ8$ltȴ >q`N)8˙;,$]`JQD b("˳YL>mS iZ[oZcf5orɥ2eOܛCrݍTnUުi1?_ m ހN ꗽP}& XHs_!C\zyRC35Adm[&ȌK 1QA1D^60eVrq)!6Hv=X Jȇv^Bm2 V` Q D4DA` Z V` &p L;1*D~;!<QCC֜ !SYg0m٢~rH3q",ҙxۡ1hi, sU#&d;؂,d:0qN}d031KbFvIa%C0+CQ>ӻCCcz< MZRe ߲z |@PmզR U&?ªR?ܒ u *BFņ㯢9޶ogO4Ȓ {ElncG,?3HPTn!<V'70gTy^Y]dGفK/G&xVڶƏ1nG&4X-3"EY^Z,.B%8)#0\O\fZ\BS+ +Dj`i$M>LF8w;0ee D0r )ZTbQb&JC:Syq""J 2aYz8CB>ߕS6sAn2UZ_d6JְޫP^3KK^87JbyXc.ܗb?*">NJ&1R=IU~@$ն? 87D[CW'\EB~l!p#5W ;_+/?]vMTXzQ"dɗ rSUqGVT\FYM &ZL lIwq Y r-o!~ ۣ*L p{I2dZ͝bzi cziTpqK7+*q _PX&QfDt57x[fZZ33f4#jxմFGy\NHS8It{R^ʔk|(ҭUmᛑ. :RE'X0a]wdgm>@v|OIWoA@W3_ܴMh3&x5@ @Y?qɘ7LmBhN w|*O1+<1|Zׂ;н$i]up:bo˒\+ 0qdf%ʟȜ@ &}|utrAO鎢Ŗ, /<1Q B5Z*>UIn6€x0%S|ቯBf[@:sg?BӞ8[K/DXf&)b"oEhXƭ\$H/D3S:m&Qα"AP=q&C2Y#طb3,#g"X %^_O=0̨lAcX~_RQSV፟OG%oEiKw(tFU+? }qBӽKHlD"_Ґ ` "GW6~LhYB 2uE(QM_`I3c|k s9CuX˅\htꀣVQQt.2'Huم7LbTf`h]wǻlNqih-.ʜ'Uґ5]TdL%[A.fFaRl]E6m0&v({%.;6,g:n#n'l&70FQL5o[Rͼ_)12\_> joڿS3SكdRM< $TEqcT?Y5ī*!Lv=uOvP耴҃_͔yjaW_qn(K&KYDâ|,Wq3 ޖC<*2 UΘM \doecm-)qZ@"=(1q;1 i×K)AeBNv~yl!~BXd}(8PD lb*咼f e';Iq7NHSF==p:1cC;kU '~ -)f/JBڀgqyd-g i >V9 3m= `5ݤr;=V)ylOs` R 662UYId_LEjiBxRg|j˾=]'Q7 Hdn`3`OJ;Ms|k2/w&.>ID@` D+¶xN+\1G-%h!d@"=&&f>#WNܽ=unR-Q{{n@00Kʨ.իrV?fS_-/Pa1FN-U(zpl,1!Y<0S3[g3삜sgݗ %fl/'mgS2&UQ\BUa ^ۉX™~7Ȁ vIiw§QFXI 4h(?f9u"=94H7P qOm@i Ҝ"ƒzaY)υd*05P`f X5mlMWhq '7!U!1bTewI2;0L/x459}m!wo߳{Rxf:$yyAY>nCAJXƫn<-;z~N;FnE*%m 0Z^H-& $uD&U ]{+"L+j2-ҋb$/&Pn>,~ _YNJˉ9_; R2ӲyT#6оxJKW>tV8G@ t2U<hy⛎;-R:X(#ݎcNjET^g^Dm\iY^eJ xیfڙ/A5₷<z7QJB>Xp1D*ޣhLBX䆱f+#l؀1J^-\; 4*ң>SXp\3\=@N٫> ƘuŎAm:2'QPŏڏ -}8n ӌH2]*+sUh?hBJ>ETb*l/m93=ıH0wx̢ʾ\*>P(G 9s_.VmW~TIl+}tZxMgPE#s^RoDyZ<ê$fcSFp+p)o&07XCeyIf:aD_7('T QѺ. IF"0GH"T'6]H#ezl_]%{޶( 70$gkYnW:5>q9ET?UFx`/,Q&,7OydHN'T)h-A=n %"r!ʘy:Cx }B?MUX3w{M@ՅtcyܠWx\z7J64~g`wbC*hnˡ54sĊlH zWQsoZ-TlaG2}<̷$-X^v5Z(5)9Jg ]N]÷@wbbeD߱b3"wC}{6!.u4쫉%7⏔ QduLyZP1<_BxE+Y,Ҋh 2'i 0̫O),^S"l l: 6W@x!.+'vXnӡ6?ZB<0(ntO$'>1bTRh "RALdG@. cMarʶX7M3- Tk`BDе׼\+89CNW{[_HA8GƎhK5o[+ y@GT-S@ L+A,j-Q^;6H& d8 TqSQG7sLj^f B)o,0ӟ[et rn\y [v\zi>KHaV9mo--v}r[JnOKV=^-x 9ٰsal,XI LTsáZNʑc 4D=E jd۰6F[(/ %K4)@|3ZAߟ1{Z WQG%16ɟߴ|~YD}%^UHգ׿fC!\B@rF-1QjxN: 38W\Ap4 N^16t0;Qor~17lV`S9lsb)8rW t*"Lj(1QF9N\a;*2B|ޢ|Tk㳝VGjgPZz>)=[jmXFP:iiQ=i_!*}7#}UDpG@S#WM߱x[mzq !Fȶrwrh/pē >)0Ņ)Kof>,&v_5EI Дӷo} 5kQU+Yd/2GG^}^yb'¸!Ar=I #7?@tYO>kMv w lxMI !XҘ&U4G##g)Fՠ""DdBZY޷ s g&oo{+&;R qIňޘIzE˥V'erucAE{ɼoop&˭ (dZ=/*(1Y2#pArz M0T)*Ie}|yR܀U8s4UIhӸz3w8d؍2nF'zqhIkuԵѝ,yZfqؚu?"H.Oe͈a6rY~FT^G nCH\&V6Ђ1썥Zd^E1CYb#a@&(7k.[8Lz=.$eI:ڧ nwYu#jz/UAq :0`:1Tu0·g+}2Y dzd\9Y]QdKSid4-.7+tAy&3 &BB}{zŲ߱y_y rrGFd]j9RT;ZOv'=OEfU=1Wϲ@9%FYh>]n-g`183<?[R`2VB HZU~Y-U|.=@X_2j=\,9Aʙ'HTya^kH{6f_bn Ѭa@Ya#McYPz(Mg'&dƆ*j\V9)!i#*47xek*3`1GNŸA9<; vx#Hk8z!8J2ਥU$ rg%YjWY&JsjAk {Luo7EZǤ<DŽvR?ݒ">ϱ&Z"Y)Ob)fYLoe iܱ2+ p[nݕd+teу'27eUt9ҥ~1.)p!~BN׌Z~p9?Hmj- N>6u@KbqVQK` ís,G.b%s f`6q&}(Y%ZaWBegHG; Y`8.))ކU ]?iSe8~;#G <1u[/aQnU#3UtqtlZIAԦ$ȴBe;EC 4)x )2JR̤L$MLsݵ/q0NӂYI|zF@,uQꕺݪ 2S;뱐[!jj΄fİU Rl{EğNFJJ̥Z9*wɻػ: Z7jֻAPenV=_%}"z gw}^]šMA=Lg@$+m=ȆEheEq "( 730,nlkH!e3 45>l/GXW^t<\}y579Nթwq]S/!)^s^Z0l׃%bkΈL4n2i֐OQ-Ѳ[oJk~ʸJN1Yʧbh{[QPyUlWx)pDqS|#u@z6N*=шqz,MY^[I Qr[q޹H)G 4?L7p_!h}rG[WEz65YGh3٭BcCZ$*TgxS5=N/퉽]˥եkyX\utT.]%%[fP3szƷI!A0\AECMCGi}TO/[ආjJ$JemJLZ#pd܅A$ ˜&UۊսD5ۍ%8ʧCb2aaHߤ܏Փ~YV\5)^ .89s`.5z_jk;G=uQ'T|TU?@jtY7<(,"J"SQ2m*w2WB YfWԗe9o3 q±"pdIbWŌԶz;nV$JxҰO]fh\$m@'$[El s|+ؖGiԡ$wʧM xm(Mpm0Njǜl%W}.nD{E fu933;SC<:(b0>ҎD4nv@˰ч V1 )*荰U3uL(Ո8飯QK 89AnCpw˖q.C7%KBk¦BAh ahco̾ Z`W>j,/u. rwN7 ܜА%7~ pC1l4eQny}JC-hJImHd C-!wQTϙU^ua`Ќt@kuf0o*^IeC{I,h$ГrF&*hZTtb)VQfǿ8u pٌ[1ْtNP6s h$,gYZ E†X%wCؿȕkzؽ7V%b݂#l6CxC(MqMG6iQm }oMI; tUL#$/C54_E`^ #g%BSvs-z}Jl8d<,q2|.Ry*R"Y1P0O3zu} %\:LJtx@3{z'a+VA| Ί +E`ZmЛզpxXoxe)5p:٦9.!k nX#f/T@̙hE޷A@J- 2|G4('ІmYf'.x#H,F7'%P$R{q|ΊȹM2q.,{3G-|70w)Ӹ:>dsa``H})nzt]?U QYN;e uLS_n?*;["&S:&c21D0b\vFs9L"F^Fk.dcگ}Z߀Ty:y454%W7:sek)::-QIaڼ."m/ sL96ͪ>UM캜/lc%zC Y+o錽f"Ǿ7$!.NRZ";Djm^O-=B{Sa)̏$Ơ<^HfxjM }S'զ*41ҴM+u¢좋cVw\V\0za qoKC0eEGe +=?ݝM^F>uֱJQ*NAZ*/ð.FWWVw=IL`[c[^]h1asCSYRQ;$ {Rh[Lڏn"XFGǟ}l|"Cm^X2X[l@fk<e*'#μR}K4#7p|rQ_ȃns2 ~e ,)ŅVK'2/,S^f}Syt~u) $._҉vHv7`Or'hE` /DD1 PR5=MdٯiKPZ=MVVeο9eߥ v@(͌Y8HmP| 2͐unz(UfF MLLҤ]9g:և'ԟLԪCs!QSzHτA|!U%jNb5Ǥ<2,vi,+q6{)x:tx 6^ y>Xv_ϲ =t)tr{l>N Ezb7 G& 2 y2 7Bl^fLnd-պ<8}m&y[b 6յ1^ I; |V#^waEag%"7U7hWnMdіV7v8J,>bA5nxY1 i.s)o*h3) Dpl*]ͷ:Ⱦi1khhκD]?AǛrH<dV~ \ȃEzd%z)ѳv~B[*+<<~j{j Qх(X_SsNbgZbzhPORfb]&ɏYq>= ˇ䅾mrqxUȶ/֨$l?m GrFzvCQ[kM<Xo^}IZ%C%|w޺cof(n# ݑQs;"LEG,-WOL&z8&Rϝ'?y 4Z_+RR_Oøg<D|Jt()`0Q=ٟ!dM8?!?PWp¶6AH,\JFt7RRĉ@*0Ӽ5W7~G$q `O#؀_loP]iwПnZYwxb$@ ;$KO/.(. 5oZ̾ƐeK bpﭪ|z}v-扨9کsraPeZ8@&q-ǭnFo/.CQ|~5 7\K>jxZ :rOo/ʲ6|hW.򾙘)%.&܂\3-]s^8\Y8loԭioIafK"FPAw8'B)%A)+K6"1 *ោpXٮݳt fS (x?xE( YL'|8m#>}>N5*뚀BR1|F^x r/ǚU]_@s}%Y ػ,΂"w5h A/̡-n |$<h}ƀѮ@M?b8*YC{ X?̔BsfsWD񮁊چ} P~=0C*SQ>{~NgP?j ݀0²&bp/3gKM,Y>[ WK+g2Ւx]!+މxXkS d5B~8.YANOS,`<hYǂråzCg3Kb -94m9Cn_v7DZCjc+wGjTL>Az) W^acdh^ʂl-GkY;O?b|Rz`M` _/X#͹@Y5L3> @ҬA\g)hG߉ s-tA7{ բS]n' Ff36g|sS,Z3 %U3V /? XkE9~K虏:@ik>sm:lyJ#|¤Y~}fHt+η}+c`]Imm2TG(;݉3A23v"5qc%ߺi) VzH)`moя+Lbߢ ;e\MJYݡ<5-Ӷ`g\&9an0ݷsY!1ݧ>bg1]Œ~A?C բgeuJkVC @4 V,v<)NLL<ɥ$+ A:أ{ٖyTF,q$%m{0&&K첰RfHaw3W ^֡zJK_ƸVf8.8fh Gn8Fr+*2`FmPLS'Pyev/yӹIZ!F_A1H &@:H&>X8ttַ%_1 (G&2jγ~GS??.?< ٪=R$JXˣoWDqKN#N4+tv [=\xqg)>ïگe}j6% 4|2|dM7l6yĪ%w{b$:"MzkK6B4ہГɅD骽k)T1|yFco&w?]1o!@|3yp wbuGie$ӦA>#׷F 6E0 )s\AVyhϏmHƹWyߖKT[N1aj0ƺš3)s9pQځ ]+=vȂqUxM&Cq9;0;a<ɸs8V ^ RكL;Sد4"Tc yto7"lUp " b0)@E8%LIo[՛~3oʾܠ3>hpq^Of"qxMBbt{K64Xqg۽PPRxuG d}`S}T "9ݐ,5x\55-3;z l3*&r* E`&6uX1$҂URz$w{q¨|9Yv PSsd.J]փ;N`zwtHM@V#X_q_fx1bnQeS R-xG"SD>$;םԊ#1qt=//Tp"0wӭQ'9"U'3@^yj48CdUήS<.C5L˄PҨ?Uz2m6D0q? ԟ7lRNzTlq<6'8Uq"KA݉vYu'éF7Ka[Џm͌oNJ%Ld3 T9Q]&[Hc,,;4-uC9BF'y! @N$94ECp5b_ƌJο5_z[X$6&_"/tHe_([݄A 2ku:VXuWR#FXH38Px|_(Y <޵F`(ϖ}OGGkh57?) KN,޽L&fU mKI7nD"L$;=`JPX%HhT3걤׆b"ݥ n-z/FFtş>PO LX<>悟m0=;Cs5_C EJ9nIhRgCTbjo -)j\^D:n-9*_gt_tZKZUo4,,O/vH#Zݖ/NXC򝭓aɰ)B-`dKlj],kͤ 'q.Z/d+&6}22a_hsXh=oj+`2pЇL?ZJ7eYZ[g#v)p)\@Ht>k`gl9VFg@ť!NGS ;̣ m}upZ 0* ͺwT_;GVZVuiܻh * ylܸu_tYdwF9n,mx.識J&،Q~4" 2z|iȚsgd"DA&2TsQxDxxq?)?Ae ʸ5J:8Q~hQʼ灠[){u=+ ^Ka,]j`{Mό2檆V>C(YU/Yu%3LeP)WWP>B]GǨ"ޜ_暾cN {)aLׂcUS#dhO'DA^"VMӠ ؂|SPKz$I6~1#!V ,/WO=<2Vğ7D)͞o[z'ss9 t.vV?)^ngDXҥyG"2܄ " 36d XW>)AS4f=iްmm,}C9sb'r?V)ÞCf`Ii8.VBa IM >oa,*GIa\W5#c^  QHmlЭҸ4MwesKwƯWmژr.4U%J\tQZ`h~X+s(,`Y:J⌲ϯȌcdq&Wm`i:ngt3wYInk3mX&& q'v>tf }:ij݆rHuctls,>Vb.Ѭkm 7@9&uٸ{QƕJ@<X`Ȃٽd\>G־/`Hyo@(IIEHϚGj~G>aAO1eve Dqx?[ ¬1{[md[mB܄rb;LK9rsYt&>io ftQAg4J/i{s햍~ *z 'ak_u>wZK-󁃃= 0&5almy)ӢR5 =Azin ;((3r/?$w|n>M⦡ڬ$& !:qx*) nAyu ]<5]X`FϢLV:6*699_R8 p} ]]fpp(^B Ƹ+hfnuNPLO&ҽ`7"64e~/XĬ,b29A j5ZEйD?]7Q)MQxlh[綜pDoN,F:.zd> (Kch]ZLO}n!c&ܡ=S`˄\%qaLz!ږ]S=P ω&nel,52?K-RJ@4wX0ŘQ칫_Z% zwk<.ȗ?< >< j$Qd@D@E^zc{~Ic.x+ _*mW]uaUZXAѵ Oʁ3 ƺ27M9QVe,)&&` 8C@[NAy[HKB!9. Õ؟=:OCrDPn[* f첮3螚icrˣ M/BNl>=#U6ikTf^1 2u koա+L*OzEK+ͅ%<@7ΫLSooeRwJ15nw/͛bۘTnDb:^LnE\p#*TT.׮H, ŧ.@b# ~45/x(~y\EI\r:SO84u{9PCCQkZ#{rSfPIQ84dn`D,Hܖb4XMsE 'F{c뜫D-szI{z#2ł^^ݺG,k$g2XSFoҐ>9e6Va8F8H-̹qq@?۷ 1f3psX;) $ N͓Bv4Hz6Eyј =EVEӲLɫdTqٜ8k6 t&Ԧ)$_]Nʨ~l^x 8&td>\ѣZ,d>!#&cUyzk D9#Zgb1z|n]zξ]w6~^w;bPeoHhv ׆? o,ӂw{W̃q$ZQJ33 1tݺZ ~\5e~IV&_sڋ"yn2H{Ce%~>,YCh)ů_Akqa5 HsT2SxIŞ5v2TK?wrOuE (W*#k}$(6Jzr! p[;Hfe|k#_m*qEzs,ej2E$ LKwKQ0P:Tg.i7cN$CYT.Ig)',|Y.iVhInk2}n2HQ KXLhg0%;Um $xakR]7}$eY7/%~%[58XAlBln"OλjIlMՄ*J4W2pKfry -?@O1,|X;wPL"Y'НX2t=N2%#ga|:k4tXzd')VVJ0- QÐRzX^nPѭ Uݤl,Dl?Otn`^{j2i9O X{ LZcS.2|}M `A KUg޼ʌ9mS1DqD{Ǹ-P[-Pd8[6 J5(N5gkJy:4%7m(yjL/2hC{W4X]Xš[U`AIp/޺KRu^/'0v =oG~rS;kTƺG>jfʚݕOgBJ9H7YrZ?(B (:3E&:RbЪ6}#W IGCZWfq=m .ۂP!:I@8Ջ޹V z솷A2BK3 jB׻l :an/tvrr!\9¡~淚0 {2O`V;Beӕh S6uP?(# pscQcf*|i`6_^ƶArU)o D^QZqf%:aw{\lnyAWV2TrL"^x LO'bΎ%bsmF 1 bAgvGɱ;6xPM pb8ԉ[Z:'s,!k3OG]hlANxz" xlÈda'WEXyz)=Hї'-#@׿@#?$iwRuM5X2Vj`$aqؽ#%hI?[qX][fMq37ǿz# I y2S4o0N_{ -L:Y;E~shwb~GDǔ,]=gVH{=F2(;U\+ԭtUn`Pv7. ϲ@=.AbeIXq TUm2S5p4Qg輞_G DgG鹠f/]BWAվYZ+`S>gϸ4?EbH ?nb-M|R+9:{L8_^ {d3ѤtҼ C}L5oAJq*DY4\쿂~xSĈHrqeA~kq+I"GӔly7ʸݥoU {?1dLj@x#4kٷi;EW}#2VnaLn\B> .[`D6;Y4.1*68V,r;XNH-Ŀ-gUX p3w!GG{f^_vw :Gϰb u&=E[ 7 x$ggYX>ٖJ?h y~,(N1vFbw9}FT@4^,IIdիbp2SJg?puO0糋J{ezܝHe>fnndWjeMs-=o+N| ,O^H`-g nchSTT)>kzH?F,'F՘CMKu\Fk (EO.t._x*z_~ =.NoU3!xVPkAB[杸yePU^u̖IW&@!ږt=3y_t.J2:Nϋm6`+DqdÆ?~C4bx7 \ iѷQsҎKbl4p3dr fzB'owqՏWa@ QȖu&5g/AH[O;"f/Dm5naFM.b5:<W㳈8x} ,Pc{@-<X\GmjG?JG6W)4$2psޥ,Ky-M΂U-<,'3BuGM|$s I%ݝ1x0ɧFXxƻ@uJ=G)/x<;Zj1U%SNwk~~\]1Q0V=|0 ]-'Yp{>Ajqwh9Ei" ZJ>y ̴!KzW I4:'K y?,9`nw@ md41jNP#'mO4.EJjPu#zߤD:>m4%_i5~ -()ZXp?88QKLMs9R1M >`I˸`c.q`m(YFQ%~`6 &UeM=6ؚLSt\%(- i)>BdQkng. "SKkB, }+-:ƿĴѦUrRFCV JAD2EQ M~  V,ah(mz^}">, <ٗ}.2-EK fɴo9Հ}WugQJoS&&mYXKoRп8!x󟿶>$s=[,>S=*r郏銲C [j0tL6ᒐBM{-o:"nZa;OFцWr(v-Jjk_+e=6׺=~=ɺXLsuceƖdY[L:-.pICY@`@cb蔡? 0_`/p'uۦdfK#!旮2OM^$m҃|oΖ-TSXnn:2 nIe JP\ oDe=FSN ~*x35HUd}PuqVgp Q#lUi/?Z2ex5ӒA(_!6FS>\eP,y}NkBކ|dAV}J՛_: i PVƍ3y`g[HdusRޚzhl7}~"/*P;[)Eԕ<.7<׌@l6@; /&O)kRgȷ=[JG91oZP N{Ny HW{[}LQ| qXUw*D"<6ʜ2)hgb{yI WڨWeayD8x(PaT[.Ys.E:Ԅīq{p,Mr" Mf^dBuBk&=ĢdR[ne9`'&X)7J?梸sz D!^f4ީ)zA~P_+|]Hd?P6HwѼMݶv[)2bC/ f5kxg`5x/[%|R>jVZqԩ1Ψ\(]YJЧ9:9 v2OO&r#v2莺b. ޛCJ9EE97K^%*s;B.,iN0X2Qx+fd]3 V)+[[MCf!6YBk7pا,B, GqhuB]$ʫ*7aOTClS <1.6 [ie$Jև9=5J rt{e>.Cߙɓ n "@+)(ZU~7=mT_bG$"~f QgH/aU*)_E$t`& S-X S?mhYNT夓y!=e(aȚ! CDWyy;@83 vL+A L)h.swtekw/zrTmYy![~8-[T+ g(%(<4>۶u]>q-C6p qH|93Toi7;7FWQl<W>TP9"95i e"㶌E(v*l xLwpx}|`Ra4G ^|ؚq\16ei_45Cv:ث.{(S%s zcLv/FWĻP.^IJ(gYZ  /1% 4Consensus_RefinedHeard_Of.Reductiondocument.tex7zXZִF! V4]A-MՋhvG"uIBm5n|=) GH kl\cH0Ωb|! 6Hw,mVeZdlĶI*p3FgYS`/PٌSNdR?ڮ,=A}bo|gIРflIBǃoJh7+hixxiu*v~&0H9n. =Gi~ck`5a$<䯸*֭?0I]Bzs#^`Sb/xT] ((C'tmo%3&=-j`|R3₎74uD\ZPR:*kB3[.heci#݃?xH7kJQJ8biI>,I_*i]U6si\pP J{\Ы,z<78Hp}l=qf}s5،(ћ ZX2sT[n|BD$ 1;iCB4rsa ^] h1jʪloPӮfixJ?m#K0wjV¥;+l17Nv3Z+= CŚ,I.VJK#,!Jj]PaݺU 8"툅?mDӲW*ֲ_F&]r>I;sWL?. mle03^_眣ǚSlo$HRD'  ԁ+ʢE&MTյܴor:oT|% ߣzH."'Ȥ5cgX6Oki.'[T)`9zG@;裧G#,N[p9nyDp9C՚@eb%:^nJ-{3M 'W,ky64=>Q9[ĉz4њ{ɾz6g&UNrfS4ߣVg 3HZܗoYrAN* 3%/Ericw<a H?ʼtE\aӿ%5kElY76w]}_hmSQ#yznz?Un:&o>GXXFC%S h/C% \Consensus_RefinedHOL-Library.Omega_Words_Fundocument.tex7zXZִF! "9f]A-MՋhvG"uIBm5Ł8%-Ӣv;_ON)Ӵ[h,ZD7Y"oBQ7 ku M`.8 =c &oބ诚9ւY f\Onޓɠţ&]!Î( ^o.rՌPq*t, #]DoM/|BVE?1ԪR#s0/("pwk;+$jۉ;?ƪ})F {JV`?&uABF/5C̄ _`kp1][2Lal01Y)9UcUmi\JfM+z$>>%)|TB^39P2;sw9S2;N$4ysT/ _qGbOLyÝaD*x ,9@r@ZmuD㧋MJpЁlPBC F5ޙ ݄YA4Y<ϣ"S8 ^OpyLA$'>jt4?cùo_|h~8RL b.$F1Kbo48 Ė. Ǒ9c9M!oSmfJ右Y\1L£ **} B dW̊ߖD6߰Y{A&u'!:$TdREoPHd*)TW.\utgI5DlU̻eNjWDRJY m ;n pqH'U9b>7VJvRQ=< -#u"=Cxؕ447_ERE;72ƟN+i4|pqCc4ʠk,̩ uiz)R ^$e8DIcFb`hբ22B*U@w &Esw썀, !B=qDs9wt3]BWF#3faWH!amC^ AA/#node ]`*{ӱJ"~ 42CV"qj&ɒkBCI@`q(KW9)4r3AD0 J[S֦ V7 ]ÌX!z]bM?gL?rKB0[zl|Mz,HynlU׎j/L;tCI:%oi/6`_m/4] R+'TO˃J$S3LZ=e Oӟ4/C7w e RʳLak,C h6>A9;4}\ϛ;ΖVDv҈ĢQXrhn'Ln磀R]d^0g&yLBċ+"h!P`V)_R'ߍ /YݶRg4߁d`/F`ܟC4.H70"ZH:N?վ$cMSa~2RFYَՋEI$Eti-;/8k!ksd/<Ig[?Ɉe͞-wɘ#ؗC*'lɚ)݌^~\8&{k.razP?2LmP47"1d;K.|mbk7TGm`8#3aȹHbHGF <&^&ؔFL?C[0vI5,9qw%>f"LQ?jƒթ8 p{V4ݿ?!=ȰjC*ۋFC@A7S#VO]N#Y:;  1/E% lConsensus_RefinedConsensus_Refined.Refinementdocument.tex7zXZִF! /0-]A-MՋhvG"uIBm5N\f# n=Ӎ~E~G l(/ w2Hb* 4(1TL5l#k(ЪO3܍'5`LX˦8q:7() P_ aJWQdw2lcy^I E!:xUNX e r} vmXU!67lN  %1Ưa߯; .8׃xO],Ն\iipi嗙w#Vs</C|Z",G[ r A7z{ti$U{5Wq hAҸ0l/K% \Consensus_RefinedStuttering_Equivalence.Samplersdocument.tex7zXZִF! Ϙ$]A-MՋhvG"uIBm5Ƞ Oඈ @w?tCqEzlߔ}iO $άxt\L?c-laV:Xor\xZQJ>Vuƀ@,Tt4JwUj NR,u2i4G=Z_ G/Gnx_sdDk#W!Cyم44 2JgbcV\pQ*h]w :6 2+X8_*U(@:#jˋIڗFNNiMn>h?-`IH͍褻̖<:ݗ}l@e)d,AQ `8|:' Oj,+^J_-i;: 4e~sͯp<-&t:O48LdVc[z d6LGD15ݽ J87Z@"ԦU]*B9ƕ_kb'R/8`zJ1$*8bMYa.l_3`%Evج=Z-*bHPR y, FGԴ0[dAEl(i]™ D~)@рq)'2t[4R<'_ݜwADn7Ϡ^]q?1-=vAK>seR;6^9<{:#D {yy;cþ7IdqLm^-Oa~ֆdTY8\"iI6Y&cB˝+H =za]7zr%zHvF 'Sat !n8㑢L )4OҷFʄRmy}dSIHhzqSV,9RLTKF#PtcӍU>~VW, J-|P~$C YEׁ=|ݷAHL9 &)w:A !&]RHA_g\' 2 yP7'Mgv$?uRsR:;0YIv\L>-׵ *<+GAWyx,phx[pzrJsbN 90eJl%%s̛xtbn^rjmI cԢ(O1;W&e^IZ-(n)S(lڙʾ @pI?:Cl3}`l@aB>Q _[(N),"LUcv+ |(͍S#,`p$opgwAfձ1s=Fӝ\ve ;A$YaBdB[%e>PcY~ < Z 'Ec=0 `x R ).>_ f)=Xa@YU([Ys&CDWC^X WfD)ĺ Jb].Qu`aܩఠ]Wə}X*AӖA90)Cb]PZN#eSP; B~a28)1>8xbHLR;\dTӈD'J}&P%1_`Q7]ҵY,*U7ٴ/FO#Gc#EͥZodYoo*tuߕSIVSszf#ZZHw['ɣmBN9ݺg)ޒxD#1'P!#`*48}aH\Eiv9񶛗Y z_Sgγ׎ӭK" 7,T AS y&0zvFι=LfP՛B N BcXk+ly -֘:-0{UYǒ~񾷎ڦzo>X41jr<#bɬ/8R >7ljC"#kNEh}Yk5gF>}ާem/;Ui$D i[XZܼKp@K ff|cS+ >#UW=rM(} 3O{ќ0 h kޙVm8#(}3U>B7X|&rzho7>b A}aaQ儠;ݼec<`{?IFj+qn֩E` @E{4FuAa ;N7p2 Ŝ ~\?I1Emil܇)Ṫ+s?R7: en(N|; c~B򊘥]tT,7}1Q9zN4 >=In 4$#H]ˆpq2.(=$$׳0wI41xxXi<"tO rfܛjU\3~BOA}]W+o"J< ]{z(^WIc\Wi;Ake,U! 4T)3\UN4AQc Oq2DMFō%ᡬ!zǤoлƕ/ɨ:x ?s-,ijA5jzXImFFzL¿z5 $篼hsaOG P˰2T(Gc**Pw X?M`PH+&._˚VfU5ivqv+c9A˝ތ Er9f94BlxDgv#U3(%Du-7X$? o=f,A8*; NKWM:a.*٧*:fRHU.Nle}!|qK>|P"=e{̆Otu`h8 @@$'EɊ/Zi(d_ *=BLrJxk1ɷw0 q0 ;O*6DS~lעHA(iǓ,c[PG`G8ʐuAD_i&dqmjlkbqgY5DƗb勦^eY" [#FFrQ r5L G=MUχ4K9g%E5IP ^*G[r甘٧Uz塹Aql6'ā36'x9hI wɚ#vb5:|M aЪ,{qB=&lr) qZrqz)̀%vnx[[ FYƁ~ 1ͮx)6[ n4`PxiKxf:O)CGhgC?:vh49 wx(ʛk-따#cP;w7HrkM.DG -y6W=fӭ$aF5.9u TcK&(*8`W_A~A᠃ϭfW6pN9c =ug+hU$RfޫZEA.'l9Dz(e^yfBDj-OE[乶ccʹ[LEN gqr+;oXBHԐq kNDŽ3`&|G~Rj}C4>܆ z5Wo\%k-q) "u9g Hb@5-~Mri&ZI#jS̐Ο sm&`'zgpI% b)9n`;;#w3Ş%T_]Hvx_{~x +mc72WN :s-M6axcIezvsԝOXޤ}LPd @{!m`y?  ۧ;+)O5ZEM9(UPH"1)(=ݓ9,0Qؕ1!X }7PRvs|=}9$xuQδmv$C 71V'&p3hYZ l )if]J|W2 5ŕf{a2tgoq-I'{;cy$k79D#gƗoA8g` Fڌn4ҟ/ׯʌijߦƖrs+;3PUŃeO}];ݤ{e~=u"b 1~6YMċ/H%]d2KLuVo~Ҵc9($vgkV8uﮇ; OA!@*mȄ"!v3I}&[vw%nX^}LkЪ= }OsOj&bA| 7@CBrzsNnT5i|oF65 10ÝrN쪾Nݬw=f.vhfH+{ G:wk);eB'Y⨢~O0nr&vvsZZIcd,>N늙m .!#"O MA]E6&1HE0ˆ3{Fp !h̿+Y$&&{@5HRfy{I(m¤&w<_;zY S?7c[{ӝbi9 61+0?N! @YUef{oSxbN~T\g(R67$&a{^/Z& G?iTmpL:"4z$㻕3V|l>L':qőZ4L[n rok2hvj nl 4XI#W5{*jϠa}<$K*%rg$L/gU-V8RQ|NAl.O sM(TTy/JSWn&ZBiGtO80aᮒsՀa"t5lo#}@bR߅ A4<_'mH{6=e38n%~/,zK\ŔK+ @п n6hm1w4 3eg6h)ڻS3>_^aM t $^qR LQmL[WN|YKy}0ҕ+b?5hs#Ӽ3k81~鯳0r47D:W5gmϜ>!}S6eŃ=u |ylVon:i?+UKj![ɩ]6VTm+tDAZyR[vNX2Q!_Fw E[~>/n#xLAmVFiY\$<'K:"v5zpki4YBd, xʕҒO:;+{`QRO[D^)LĆyK*҈ ^ EP[S/oj^= ?8Ʌ"#Ha&1dk |;RSΟ3dA6D4GC77ltzA݀zȭbEeF3t+ Xfx~IBHřsr Hs%naSQ?E!gxSE| )hTqXVYAV] ?ޫ aZr"0YiD~?y puh#*<-_TEMywEllRa-?Шrb~_htbټ"L L24[uf42`_"R}GIg}SK9RE: gvU68  ri3Ƈ~M4&V #גHFt -;E>5C} }0 2 ử#P.}-p`E6uEw BbI'/>+ɕx$dJH| JTkH s"e<ic]5do7sr<^)J|pYD޸)YkÜԎx d,"nQȲs)k/1'T)@YL[6ėKG: ow"|XӀlVUV!xƌ1(’эKњsbyo*VW{3" (1&1 YGvC+g!+Z{3y=y-ٗka&#ڕtpv#0|G;ݑsIp3 xa3z7<=5u|zeNd%׌^KVo3&sTBsF+4>oLX$TY@C%f5 U"_2Tfщ`u*8 iDрk[JC̾` ð]#P)LOc2mH1@o&9UKeƾTF~ sͅ?6ͤwdƳur4:H*,4'0>hW;K"hю\LJu;^/P_% }՞-32^Eu-hdYF2G" NLUg;xG2p)>>aV؍Ib`!w0=Ien hI,H\ -`9?l|yyqPxO& I_=Wa*BLH UH9DzX}(cgd$l_Cpftu p#s{N^<^.BmxM(v2iB͌ Pθ I=',nH߈XnX=ԒTEV)tx<1>w܅,HΌȤXV{U9~v Cw!ŬJ:X ֘pmbXm*vHhԙsu}wh,z)P2y-qHr̋Gݏpq <@77d4 `LJkRN+y[/s&)6 7=_#j2M1 |XSm\絞M}{p3%o )x`zƆ8OxM<"mJR?k[mr½ڻ#mo.%SM i>w'ټLj?2una}r:Ѐ("]ZX2r)%$'Ta>R)#;kFA'Adx0,g/m02|+3X> +1 ?byXb,)TT%ficgV q UT2Cm.qnĢ.~xÈ}Fo3Gw}qm]*N@DӵJW)4Nu{CZ6yJGId|9.1 ?} %K/'i&DZj j|~`A?.p tuТΝZ!e%ij&DbƾQot*RFϗ:NM"l~x1OB&(pf =pŊlOxWb@;N1+2!kHQ'3'DG6 i1˹7: !.]85Ab(䜗wYt5W{w.$$T΄+>W\Ӏ Xzlsp@j&}},XigK< [Au}5VF#wj%m?e]1| <-u~.'5bwjvF9^:BzـZɥư ? aۨK0oZi '70 e=wk !0kDu !̦$o?t QYa9AX11HPɦ~_܂W;AoqſLD+o8oo+p-bδj(!NKKjiI4 ڲcrFW0WtGnX<(#TDꁞyO 0[HlE=fHbkY8U|+u|OFP?ZzQBt_P@ V?㿨{P& ;.1;lS$r'qi.@CezDQ-e0o^UxB|DuӴX 5e) oJ%RQ8xg1&aS»,rBӟc*`rmntd)j0@teONE3%ZPۦŜC>;]UnY%gMË#qͨtzSR@y.#XQ "! Yt,tz(Hې0 'nUSf#6w s;(aʆr4LKރNC&)_ !@4(u| ̓"RB]p)LḰ6i7@U%AO|˖ZxY,IUPˎw%3їm6M?У"3 G`7 (LΊv5rwfC$aBN$IXzL-1_l։~>{SG}xkQ0+=PHK86|)G@g+ڍMV\]PiɏS7 Wʐ xR!f$@ZÍ٨'öy_ħSӀ͏7XEBU4) 8i=L<ճ+ hD lY!oLޛvpL]m'z&[ꛣ!Gyˠ c%'1 @Pͨ\Zi ;RxL#/,6Չqk~$)vTW4-)mPT5?DN͢QSN,1ɐ6qC^T]|ۨx39QIGtT"0Zԭl ?#_d7:AG;H%)Ûl0]W}W_ PfR.uʇzGSqRX2$8"xE^ƹrٝkU=vIڸ戢 1 n dd,&=pVG)+i;{u|ZYLn):[@|5@UAf&qq!p +v'EC5P_sbYka􆷆@xh&y؆5y{Wg*]wޟC0(, Zhݎ,i86ee:% p/`e)gYZ/毋S\oy,3xTL^586V@a%Ud XP.7W;_oy68%tz"[=]it*P`Uݱ'v{AފR:rQQ9?i}M$;JE  ݦ )uXCtc72w˰t0edTnG$grANm\:gEI:_X0bZ&O  Fe&6->OjDǾ%#~M^bQP8b8$ VxUTx (QyimD(mmG,1 DBA_xJkbѩNSyG`u͡9F%$Y hm= ,\`1$35زpe0u JDya]RS`Ĕ8Ug, X^͚lW>WSGEz)gAC!v u5<4 -y>mRf~B@rK_=)tB[Aqr3r. ׀L$n]? Jcb'jFp -]κdu`;A9z;Uy"]QWTPc'ҏ^)Fʊ){WVO)Ck<Pr!Пp*=ad>i2$ٌkn`M88ߍWjT\MOOK?8AD?XO3I)y a RO뽁´Q00Z`ןz޿#NkFfŧ>Gػ+,9b84:x_þQH,IƩ5=Jni1$_ kgWN[~ n߳*ewX2_{.IWT5tF3 چD-tPZRjn-P:]X8Ao[y&@*nxn L3bg]뮦0lW\~%_F^ ?zn{Vz.}%'~Ywu>D#WaƾTdaT7Rr4֗dM%l}T.3L=/gX|yfh +ŝ8b=ѝZI l8'IuΊY{` CV'ϊY"LYT/X$F%,0x' 2{X:Y}lNFǷ\Z!lgEh+ @ ^mebH\}ҩiz2#Խ&@a .MãEIxr\cH7P̡!HyރuS= !Ԡen>-F>v6p.@^\./|#'z߯A϶rO׌ |\[1kP!$ѦyR jd- ?{i]U<4RBW7f;r03Sڑs{SvmrQx1s(F1rFBR9MDzy{oGFc/P w Aq:D>XlP ݇őIQu,&dI8dplr]Fg-'lŃ$*2`<ձ zf?fץn`Q'Ck=f#.? 4 XsPyYma1oh0ЏUGE*v_ D9୞*x[:= y<䘅x+ EM5\iŅ<p2>q|'}xPj$+n9 =̌Q΃n!=#P8acQY` fz\4b¥*)jVOlHݘ1s=ܥm B/eJuZٮo7zumզQ,Sy߃L2Z;DAfܐ8;9U&̼MC)1%F)>TgYZ uu/-% $Consensus_RefinedHeard_Of.HOModeldocument.tex7zXZִF! 5 ]A-MՋhvG"uIBm5|{=UBmw;A[ɬ"ƐsB{q&%\Ĝ1DQ%)tV}9qu_M%m ]}1Cͫ˴oT Ϣa3T}d [kzjϗYd{ɑ\^t+TMV; =e_>9E4n۟Cj[X`۴Եbm^A ak"K2%{\N<*+{BGO.>3n]ZU.ѬF' Fm|+?iADkSaF4ߒ)x7cZ¨*ؔN\}3zvHNҵg@(v[ŴYNI#xǠY:OWU-Pe@^|2Jt[! k_%֙Va=Ipk%Ug3t ,w~ThMf'~]o+rRlzȋViF#Oj]w]V9MMvgU]{y l4s8E3vT2=n%,Ne=v@Ky<1Qd73 (vFeI )7}2$ {V:}Kop<7M ?!2VƢ<%:wA]"j"SfypE ş۫p^S;XU<L0<|0m Ҋ)I6O+]Y`X)80؇=Oʮ ń& :}tȍ:j8!ynHrÙgjNr^%b[z@R9w ^tӊ~A-.#}S}Pp&0oL׫wyǗTS=A{֙(ZR7ڶ.sMB`:M7W&J&f/vB(] zżl PU"c1|BB uQ8LJ;Sܚn(tTt <:!jimxavSL+6-PѰSEt+QTvaml`2 .ETҴdjp;S%޶X>Y0S eO1wPtӔrݼq],pᓜ+%W f'K)ShGrgvO᫡~H{f )=3ꈸհ$ `YI[4i~|x=m̹h̗(Nufc,E'(GRjofmvݣ.z楆l%HZ IC4Bz( .|I' TZ3'PM/|Ճc<}ХأlN>]r~]O7zQƇpaRKJm ǏdcEiu=iٮĸ6~ wOu (s \d-R]|ع04c)k3z&24 ̝?J̊/R3tNnn=vWZ)R@qR!:Tq65dm@ ƫRKB 3 $4y[<3;][ swD- !F#MG$#kP^O@ (U+*aB I.q+yFBڋ?=f$xegl Tpj#!I=vfmE0n{w+ZOtc>!ס$L~~cRNL/^Y AK)Z{>@L^a&jϵwuisCC_v\%BJQ B*d׬,/-*ӈLd՜˴YzԿMVd$\ ƥj# _8 ݪ<٥TJQlp!B|}Oй(q~Lpt]}0աWM)|JߑO` [[NL%<ǣW#eBD=8WQ,-G yWdL nWSUόۜu34>Iӄ穂JFW:\2Tz 1Í]In'f{uQ%˶´i193K7t($9**9[8*Wd!"LBđA#}/dtHql7פh)߬<}*ђHNL!kF_$Ϸ!9~tL,PXqȱtpPujgN:zt !{n3ɪ>ס=ԇ,7Y#^vN7fӔX2bhm潎]}@4AsG/#}Z,G20[+#ȆwdhݩP#uL;"xvG.D'P"ŭOA^y ?!>†Z+"T 3T sBf~#ɋ>|zUcLmǢ5D%>iiRBʿ͆ZgE? b'elTKg}rYdsXs"[/7%bƞ%ߴHq:J .H~+ R$(8I#\ʕڌڄi&0{@ B8Ho k؏ ąuZx7!GaX:UXȁ<nBzsSfLɭ:-g٢I].7yaߓ)ũc&e !>X=%KĨndO "~\6 ꡜ+wr>%YH,^t^w&{ԎGc߹ȥ,c>{ttl"v~`@ 5=O^=xXD"z B|qjo$-o+j7rŹRQq]Jn"[އ;~q 67mWt}깪qWq cВs{bz6oq}S!U]V/~W\d\24?i*ZxHXSCq+^ɎlN\[;5US+K0_Mdb y = qhA 3%"6A#JBE@w ~{p|mVxPܚY5MxxH פ_P ,G߀zxOw*Ro%+IMJ6.s8Fc /e9&{ׂY/d+敏K^EOW{^\?:ۦ81R{G6yWM=hFٖ$S5xs &e+74EQb{erxc:t2h['^ͦ5Ȉe9ӟ㙑^ɤG#ߦv8˖94p`7W$swYӽ0QS3o 9!/gQKxՉ{SJ]k|ΒC_V m;z;HTڵ+̑>K5H#|DI{ ~e%Ox!u|>C,|ňQ$ : oOKse2e&3Z!@ i֮E)j%OqゃB/?aixCd,~BxG؊MG $d0vh4 kH7kQ&xɆ9b3bḈQ:;!0ʶ5ӱrFhށ.18l厭nmf%HF2n1R,) xNSH+dQ9Ró|!~ .<<$mN}Hv@+חZ2- F@:ؤ@Ǝ (AH5UIUYzK;$CND*' fKiD g<3a ,킘mmI١N}_]dV iW?~E_%Bp+r;ׯiGίAcx])].$J;)T $E([ʇKH 6 z:{hH]["/2/;7Cm [ꁀNXxPDQqK4e Vi.n֤RV8CQe[ѮGBGܻ p񱆰 _xz@AG5[)kp5ӂҞ:[6χB9N0L%BCy ߀i$ڕuB<ͱ$Dž?}`^\Zm}!\?:pEl'C~s.THO.chͣĹD[]ݤn6 meZ,&b'YrCR~ұH? @ذw"x]cԃd>8g zVٛ՛&O), Y+m߯{f*!LU0؋ US.*9smalhZ(՛gbq2!'CjTCuk {WF^֧IaىpNdGISER ;9ƬqGK 3i?*? RV*SCki)M*#}q)53r]VMه׷1>P Ji{w7$ݔ))H34;g,tvBbsV ιz$9#f1Y2q7wY{pUL? u]nӷu%B~qErH_=pFi8@X=6t:ܢ_޽ 7Ī?t12`0pԈ:L!۠[p]؈ŘKn{ZwƤĢ1L>qBz?xP%?╞y"n* n ZɌ.؀"DJcS sE׃[Em*圅G˸ÚoAAic(XF 37梅߽wFLx6~,+Q+' S6K=nG~7Ck3di1Uy㭭sݍ+rYзEC1i+5bTTI..ZྥbSyX^v UZg^6/$lEqUeF:nv>Fg `=dZQ uwq7j H Ń.VRs}ifCIc:)B6$[UC3W}X+xӟM=4bjYOic6H'S{Enj)iT.Ƹ\ HOXc,ŗo3 HF %a3Qyo3'J"a_vF!_0kDS2N>c'_^bpNWyLMFJo ;-0ȟ~doa1DZMr?noh{GG|"xUs\vOUNhA}bW<$ սeĤt3}4jw/|u OkHujj*#)V ߘM7!oHb[9.&/ܿ @'lf5gJUK`Ĵݩwm0_^ďi]`ss~ JT,F໳]')3~"!~&(+`K#*=.l\gFsa^?Q}=bf.|-z_8e ~quti Hz\:GoD1~ᝣ#-N<zUj-5v<MXcRJ#M'΂Æ~-1jsaM D3P'9W:]$2 l='!rYͩ}/AXvzplƥ@j{I4D)ERV3Ak̝#h_PxI0H؍0Aƞ^!3?0\2žBG`YO K'R0chc0vXW4)F4LZ n\|"~ @ܔksBgp-4{(D!ܜ\g߶\W1H)"a*iFKy%l2q_F-%qE&5|V~cY)8*>b!_;6_Wk|B|eV~6.Y)"/6>cR4E<%E"nl3[NzJaQ]3k 7/?"оoP ~jc/D41ߥ@`\S@gva/&;lX葯އjT&~3CxUC;UCyAoϞ% E~sW7Y1bBO{ړXußArB6ADwQ]u"EA vs}|gJ碨gcnlcI)L'R\>w}ga &fشlsȆ s-1 Ezmӏ+wd'ȀB[MrϴøB7?`2.SudJT9#S22E/P\ݻV2 ^$MEǪߢR!5\擣4иh3@Fokܴn㌨E!]Ni df"4jyRCo: VI 5leRlsj s!yI9um8q+0 L)1x6q$,ng +GaL(duI@(>M< xaS=`-J10L EY'19wd/i+I"8Nhh[Ӌ*W 㦵+BW =pȴ][s(2^ z$+ݥ+u{dYe{B-^*5ep;AW ?riu`G`s/X=< z-1w] Y`e(޼J:uXPy @Ƕ"4Wuokz @F("klAD$ n Qb>FR]z56 KɯO{1^aFi)GR%HWÆ_eq0;Gfh mXu 롇&&Oj, 1 J=ql<0Aoy[|{ⰾF[e8l$2bdno>6eϊ͵v w:-su2siPӼC!2FRun-R$ n}_Vi-Ke42q-2饙 by,pD=,Dž,}D:PjE1ڊViPoXɲYX`s>ʑ&/Tu M9tvllYHq{.b>8ceջ IpmA끄~t3QsAiP)49XRkU˕`<# XPhZlch:dM>XNfy-o;Ex6fU0H(gU>>.#iMB..7AĹQKuYm r [9G^H?_́439bmI{Vy*5~9CX utñNzO/0sݑ(drM? Or#tA+,R>&dBIF"bO(GފbC~e)r^s_FVL97h%=3|z5T>i*}Ya=gމ5tDBRQV efjGԀ^/>G;GyXˮB^I&`W)bakzq͑K츳3!7oS|KYHߥީf#n+7c}K,; b$ՙD!X4iYDiw7R]6/ecS3dg)Ln+l86;w$Kp:ݶlE{:^`}d]i[B/F}q&r6d.NqF%ɝ f=VfeS>SNkz-1$"c1" ZOթpi4gXw,?ᔊ/5SqlX;Y ϝr`sX~ߗ6c,hN(3Yw<++((wk;"@#LE9'BypڮT *Z)Wc9TnFKP]HO-1MD`A=lk c`Tu.qJV!\DMz^xCZ'+U*2N6/ܯVh;?tr=\?$G iv |*:k,8Bw9(ɾD=yVv Z-Y.`^4BO$?Ю h~[yk% ngI)hCx./6w[  4vHjq/Nrnlz3FP(ޥDא$g몾V:!ٷܬPufC0;v Id3,GxsB)Km EϤmzD[i\*"NCoʭKQAMߵ|nD p1}A(7Zד dI`y<ΘD|}fc!6@4'w)᧮WHN9|ILM*0d>wcH-XY~G쨝ʚe͓0Muߣ-<9:,P&J[CMB~W\L &ʛ.fXn "W,:{e-^amD,)TGjmݜ@h8&N Yv9sä, SNX,io6W5rJMCR[fЄZ@ eO*H8#dif=x7:L;ʀ8>T*eLc mԀWSPVea!tWfB J kv%))afYV8X|E؍DcҐySY8l&yB\ AiՃUo"{6Pykc%o7arMX]F|uidzn^ǜ`$L; CPX̀^B?O || "q{(UQ݉M!XQ[ e%SzS U8H`mEʎ AI\T.bFh7Ҋ;aPk=t#-y,aR]bj+ #dK~oxs+ ohR%/ kEm?TOz=pߓ}6&u m+LZqu*)bϩ*Re\|eS5bRb]fz6ķ3_p*=#حmNqRɷ^,xgu UWgYH̓ R]p/@0Wͻd04[/Rs?祬}>HȚZ~*yS_/Bnk7+15;پKZ/,dձյan,Äε)4t%:D 3g #_A35 MT~; P3׎@5oQ IJ5efy[s_mntWt ĂpGJ۟H2kzjY/"L`~ĽFFMꙐ4@5!$|f5AvI h0 kly*~,DMOx?#R=7uru~M@vּ#,PWI]VRT03nc}xŹH:󰰼_49qߠt'Npt~b$2^3هҜ#0߯sopq}V^En$j; $E!4Ѽ8kZiD0r_lчP=pnW(eGvi^%攑ׇ")K PBc !(̲@HCxY;t!b6>,{À,bBԱ|0ْTAu}; Tz^!yG=,b;`j;f,_|3]cO秉YL034c&XnE7$m]JrMT|A4S =( fgL O` p[ioX:G=VC㩯qz7 9 3 -m΁ʮ|6s_hys!mBV>\ݚ+cln6cPw!4!9 :9Xʪ`\fvpBV/MM;L\Lƻ<wPj! CN#2 CߠHw~=) C_:CjRēhNAE2 }2[U";ՠS1pyȴSfPz`D0,}+ ٪NHQkh;QDn 鿄^ĘylS4@u(0r! \qs#{w> z|oSĒ2GStMҽW945y}Js$ֳnS0ˆQJd6xm&0.^KHu2J+~d%%2۷H#0RT3?}ˠfe]tKr=~Z{H?F񛏲xߟrIm+rG*k'KI%7\j>?;%U?/E>]QuCU»|#v}nCDm9Ηkҩo=0 "bӶX&eLUT&"ʙhkNΧ,rwȺC |&0Zq_7yJ28 `9><ڦ2}LbIr/fa#:H+$ƷJR طۤ=$n쪋(ab( ne=oؒlG4_,zʞז{J[|˼!0?|[uEks~j2k(;+ilVN(Lyy]?m,Q Y=du̇G1 B|e1e""J&O{%wJfL7Q8nfw9^;pJhDzwКb_[Z8qܟ0>᳽eٝr%o)v$mųꄗWG1{񃅑I%ғ ^l8DRBVUDN{{0Nؿ Zْ8CK31/*Dq=ŴzS2;lڷpEx,bQ ]gan_Tk>>%pNAOp@!#2l3a9hW\>9. k:р{4͇?K"Hj Z*-t1}䂍M@s Fڸjsĕ *P^q𿻋x53ɗ} -0߬*_ 3P~3`NB%ò|N 4Ԟ/t4wz{.hQ:pV;x 78,qy_BYC#\\ qA}J xf9^MfE7xZIE$ †ʍ7nɯMJ|2? ^Ea63bE%s Zu1MscLd mBBgSsXڴ#kO[i#_#v[WFu /c]7tmPNsߔ1/iN_ b k aY>;JnBKȏL@N8W.8JnN7Q$TȴMe2XV(ql1 颧DV <,"M |kK(|GOQё@R 9\ݜ|Ԋ8Bkvgu[n F<[2_.@$tDzT1F;2)C:=0 ĭ 4 ~ZZ #iYHa,2BW. O$Y(#ԉabq6XB7}b~ށ\ iKx|I24H/( Hߘk0[Ydȓ$5ZH<[VB3*kv̠;XFi4ʏgkFL39\xlZ2w8פ)2jؿ3o)Or'+="hT3fJ\KS^淲5[ =;B= mƭ~110zci PpV<="CQX1}d!D#@qP55yC3 el\Az Q.z/Rwm4Z(>8daFtrPs܁VFYN w\I2|z:_A~#@P/٠3}tvEW˂$4j%| i1"~Ԫa[oMv7qr4Q]Pc"qDEij{Z5˜sxCR.%SD*8(y$aU""@Qҗ|dx9H 8\2lZH#Lb"a}>w{(= vN!GRYH82Cӊ(-ZADe@10 ] [BBLمx)|f]@œ7~tm[z7۔} ;a{^bq9U4A蹱aV>8 q>Q ۗ5<%q@=^;>vWժ@3W9"؎ x5؜,5%Y#̬eaQBekH;]ԇail[&})p4hm)$2Y#xN hޠ[wT阢^(Py_ #1a& -=i}/QIf+J>P1 K>4[UD '߹6:!*wy}Cוs,5jM.%,\PDyHh_F?.#L\#PKy5M9ܘ-lcF pmԦE0`[Bάś Y 2:*d~6Fkql$\pkᲛ ,k6!D"Sv3x۱@!U{)5Y 8-ծ_PgOhd/cjzpLTF/o$ pP@UEfR@ܵբ`Pr蟪L,rl츴峁:XceФC(58=-|u!+2a'%5U+Z}볱U'sX}t2P C o,GGd.$Cxubׂ{F*>HI[/,>2vD ~lϲ6bv$fVˢOkoqۓY_w 'JK~*r2(D_ABmS 㣇3#e!} ?.\#͒Xkw`iS{8;,}(NΆ)w]]`vT =xNW #Crʸ^2|zT .^g M|D{9U&?t_Ir+"m+ Gfu[hS?AgQ ̀D6*3,mnZ,B.u#0È_j/$2&/m< ]WU$>Z0䅷JJ'J- 9>5mAh^'#kxxe+^lH^[+` r̊TV|QF&~њcR0JTh(g#8lnW { n1js؜'4^f]A7v¢JZ4^g w ߛyO/'|v'2"1caלAl? ΉGw^,_(MS.+lrө}G )e-SԠH$< R+LK :,y}ܯ<8֝ä VJXS(?<>L{<ρ_wvW>ӢEGbMOTG.V[ D9~&abb E!SÕ"l\ JW' HDHqUVMp4nY.%4 ڜ I˪"p9٩GF_mLC 8N5FM}]Gښ^JG7,YlYT9erP'*o MH1R`Z{4hUg;@ՈHk/fKuk+HEcDS-O>m77ըtM͈>e2(}9*"cWU5}Dh+LV斩ߊ"N2*/-ʚ=Q=K革q.ˆq…8H)0;a~\G {-ca@"zB |RWaza3zM_tQvf.~]FNBoFR(=jZSmA)ݵ^P}[@]I=MΖ qZ,R剱6 .46}3"[n_>0Gdq|ƶicfW_NQH8*&rI3}ƏiL!&(n _zKc+7,Xovŗ˛tPFbKs,~2,E4!WqSB}FǴ^3u5".>Vf7«oΏZ,:y84F,/pzr"iZ7ͨ|.^ g,7EnRz 9@>FJ%B: tꞃ}( bČ$`6JMdIklwfDo:ŜA_;yQmP$yU(&ug_RHDᬬF2e6ӲӮ>Ǜocc`8^~Tl 2ׁB7<ħuDQGf>֘z<"'GĵޛNDlp~!*s: h'|[L}/lsK$7o8j+ xAc)/W0 K)AJ+(܄f߹_3ύlz X'䤚BY̑Ě4`buLe#43xaʖѷ&(C̲"/ INuܛ\?+vb5Nxw3C翕 kg6knwK8A<}HDb?yeT5^_},]y rva|W+ ÷ SO^K BZ1vtB?s\FQQ!jʳ| yD6g4践ƙBavŭg9$UJPX,hvRwn%s='@3W=#+`ˆB2ҟ~=7Cy85,ix #'4gi{15|cӣJ1s(_<Ő n[^7 >i&n](T$lIG҈FMmvzfTd ZdAv6iԒ--ӌpAfjpӒh̘:<_zPځxk=X=sdnn@<ϛwE& ̳b.KМ3oq5՗}9Jf,\p.?˻UtTW.˜%־alџ17*؃ SW $Q~%>U$1:4MB}$>ioFav%ePIK۹P/@ ֬K~͡rYᔔiwU_DL)4>TI2*:w9. mtƟ:Mt*`PHOTՏ8( yd߬j[)+}. Dn.EtD|R7Q*'4!rN8Tm3{dILE$^m(}2eۻ<1J*nbAU`%h@ )phUĒ's5TQBB:(1#[2eJMW'}$RFsov g1$_H 6-4ЭK=;)GA,bܶ^2ЏO ل6Y`P}PKes}V_me&1$$~Ս|nDa5ʤz 0—GApdVmGQ*% ˔K][43h>28YVsú>"@3cXm1$wdk'Qi/2L++=yA ߈$MƮ##fQGͱcbK-*9Đ,;|hnw:KT:ٰݱgYZ W/C% ֝31tC3iKO}GL 7LMsL7z@`FlwVzQqb*Z+1SHd>x^ׯk'FBF BZ4u{/p9x?6nuIτ#\Ey[2Ag*-&9,sXo]\isXo6_zKEI ]=4;C6|i 6PWd6L- 9_U#e2zrvx7|1LX\=|@pfhyp?-ݮl$'1q4h Ęa;s3y9Y(̢q`v SW>6t񴝲T?NlbC&kҔ;m`aqh0Ou53yWV2-]˺8 +ʱFՅ71._]552 iD:S iZ=_ \:7qq\3 IvG)3zpmL=KX<}w]EH2(f+'-תd JLˤZ.gdK~rճޤ)_7GM0_4SȘxYaHxN%L5gd?Q [Zx9=M.6L _ץlX95~pkY ;mFIfV]*5̇h0\aE~. H"dǡ(ӤY|mx!u%vmהQXM6#ܖ ̤Zӎ* {ŦSan 6 _7mQe'c^ wZCUOvhd$ꅑ ejN94Z;ʖE#tW^3@X\VwZ =+ z"1gVzw ϖӛ_UHeY߁R3Deg53XݔV:\?boLz0YHeLeP}Wk4)|fLp-m"9EHqx٢} W_(\R)j[MdsR,!((F{2j钴ǣtr埭0Pې AYCS[*Ob.h7߱p[l:WˀNAل[B-pi{(ͼl#;&L_ڻA6w_B,؄T#q.Ch,7ٳ[=W}iX1I:V/e7S_s$\?/9W}_̚J_A];D1wV_o-M^N LugGTeg(vs4p򝇡@nSe84hr*mCoݟx;ok ulqtrćb a0rdXv4=or76 )L(ٸx6 [u CR(օ!+Fտdz X 3o h9:j]` ilbT^&pR४G+dr '2Li⨥@( VHdqz a @BS{MUΊ\]' k|wǃr}i)&'{H &\P6J<;vpJbg cJb%BwG}YOI:7 [ \Ցqu}P^(Lenחzj`VȍqpgH[ tLGnpQȔ®;+ |5Vr7W$(^ps7o?M("$\kNDMʺU;܌Fhc 37Wχ4ѯADx+GX;q^O*%IRX]QFQ1RMV\]b8̦/?W>JwZ[`67L-#p6@ȴ4MxJbr9?=" ЊUp#1p#[VG dDOɡE:h9\u4io* NxjJ xr>]Q! $gl I3wO&~_kZX y*tcm%nl&tp3՞WGҷQ?f /$BZ:r,]6xí"mXy|`O@}Ļܿutp*wAVQOS6ɉDD3o+`Z_tKtت6BP ` Sd =5gL8aծ>|bi뺀+k[oev+՚MTE5:Wo3%SFZ @Bd:}N#{瓰r wRaύ} ~ҰO~FK <[ӥ;w|m $Hheˮr]BO3NT cJ8`;Gʋ뎏cckG&:՟#GxZBT:H;\RYkX]v m>-Ԍ >xR zdMn\zEnؿ3۲iq$B%]9cV!>| w7E(bS^µ0RqS'@U>|?I6Vo 1}Bp58鋇jѢ_^EGmԷ:S3.@YR0AǙ[3JTCjj^ۮAXK>rRf؋_W-R\|%suݏ%c~\v47KI`hWLIUwI'\i.2) 43&Eԑ6 P~ M$heC@Yv<+{a$/w1:BRλQ]8,[`BdBܲN4@7L'kʉisS$ pcVoiH޻^4>"D#ͼ .<EeNgVތuK`=|X;2}`1hYIDv:w?qώ:g8Xi>qL3븇\CF5{*AW(46] ~Y& i$}@L0Ƙ*DȜ[*ixq /YNw .Rk⯕ K @QԢ?N"Hv} CI7d~%X&7@ JȽ^=9\X0UKy:օۺpq3ۻ[}Յp,|NkxiD]olNW]1G >Y8OdR *4 JAN-c&%oIwi`7Ma9n)c̡TqKX %WUm_%*tge[#2htrgqFOU)&c >&Jgϻ:ڊ:¥װzK$h"+O+e=ӲyȤAlRW$&e`avL IS^c`<=NRu&յ&Ƴo^ykDi/A  h!AqZ& >_&oVi.Yc&ѥc+X&SmxPd0kIE D'u:c].= 90hW6+~+#?+ EQ'Jד`?[E?cPA@۟2d6YsX$;GP6b޿;J"Gh}aAm(a]2aZ3-qBO﫚7ܓI_ #hDzqqvFvL"EAZ: .gKFj7"6nU7HWƨ+5uAMk?48:3-VYݭg&\\ ƻMp;d$t|L35&˖~&#˨R81/Q,!44wUVyx\gYb`<=Afi~6 Цl\uU^tELk fuGTmKe"$^P& ޯqҡþk٨U²5:9:"?}DzK7=yp]''TXwzn*m*m֬b^SciB GP$Q>XqJ-|ֽ^dBba9X I$?1CKkB3բ{63hLlz =`pB;!u14xA&^w%)MA_[Cy2Q6wU@(IQ=1<{ɮ4)\7ZK7MЄOkHqvT  yT *N|H&oJIZ#Q㣉hbf!.n@Êa̞Qqg9oZxAҖcH l)QsXt@@62Q4t6)מj"hl8iHb-) k0 tuUOG9 ̧2R gf3bJ`S(: tJe ::M5t^^@CKFv_2hώFgxvI$%016~ }k0J [X)w}Ø|dil=otn9r<B{N>9jSiV'ɥ(m- *o0$/(`GsW 9vMȠ2}#. 8x/0oȢPd)4/c{bCT-;HR[e@k荅JFH2OeMQQ> υX$-Umy8̪ʼnOdF}3Ckl#2x.}PenK4?-^@HF``^Kj W?ߊH>رR^Xl6,2r{:"{PƢAٞV8>iHw<0MGu f!ۂ,II,)֐Ke^71HǢ6фSz) ]БDQI7]Ea GH莔,oyؖ\`aRf:[ x V=V߅{<"g <%>I]8{ܰZuA|u1[dN$H9_6,b1lfUe4lz I%`f1VWY e(PGAws`T6 /,ٿ:ثaTQuw0wX`ƌ79zc:l=J\˖ /|BP@Լ>m[l/39 F@^}uzD.;p(6nVR <1` jacWzz% Hİzn QU]7{Oj v-ZP{;"ͳQH&+U9&nfYQϺ=IK6rhgYZ OO& /I% TConsensus_RefinedConsensus_Refined.Paxos_Proofsdocument.tex7zXZִF! 9Z!]A-MՋhvG"uIBm5D(}BM  g[Qk/יyEfBcڜ~ro`Sp,iQcf}roo"OF7! DdtyGVI+ Xz,_:$ʇ57x*U NV2\㧙->2M_l6р1@r2qwP'Ko\!Q>mE27$o F`WŇ)H1 f5i7hq;D[ 1XL! \O&9⡈B+^X > kLVND-T/܇@_`JNnb-Cw~czW7n{#V 1V.ZhR@ޭ!xQ{ TaWp 6iXjQ,%zJo$=vfU_7J{xK>ȘP8.JgqC!L5I{ ^q3Wn{` ǧ:j)>UQ}G%*dĭɶY7>iTړ%v a"U(>@Q7&0v:Q xV)]`bzO%A9zBP&y(OS:jf䊊3 #6``At- 5p}9[E;x>20nUa53 8'' 7]sçČUO(:^&Ez3%iV~ /${р Z6wu?QgKocI:;\1RIt5<ǟk+hbI5&t!5~2/Reo& -*הT}/ܹix}4J0i!$.ͬcG xğ%a]1AxĔ[Cߙ;'!=%$d-H3XEr|B6.A:$ZkcPX mٿB8g;cKeoIh ~<*{StWZ=Y} &ĐjY8^sӧ;wL]w458UY\|P]JpOƻ=}ft3ܕt]Bϧ6|[?(uXPL\jŶۦrm`Y[qSC)x|BW{-Sq/l@Rj׽mBtKܼE"v(oMk?/hKf1˯@yD-<0pYuD+rl&44TZ96^ΧՌUr}AM8>'/W-ӓ=ܛb%ӥCV{̹5YD6Ҋɤu\mvRq-l3=QqX |S.ts.98s.\W^>RC7 73Dž|KG|jL]AfK/:^21ncffA LSF[SM{P{g tNUB Y"2Ӯ)xjh?.8'+Q(Y.'kpRa0·h>^C('AI706Ttq.f4ϩlD61Cf9KE % W6+CX(C4 ОSI[0r.޴.%śyF8f;*+ q%/ ӎŶK[*WE:c;_i߲s&+ĩ `D-_UV15“+c,Mx<ЮΣTf2IR L~iN;`zpS1"|VH쌨p6OX*:+k[C ̃Ưސg`USڴ79y*'-T|cbuM>C һ,ǏqG ='E}8+W n56>Q;H#i?I.;o(&۾{8^?q9@\&:NG_ȵZA?/kIk2dNc:O~`{"AE1:㘙ӥlPԢ"@tp(nӆcuduy֖V.zĐʎ"?rp|qg :fXn0lPzN:mM05nl'E%dskZ|P2/"pչZ}ieѴ @9hǡFzb95~aHY. N ]F2?pcצSP*(,,Yd'Mz:ZBN깹bAr#<]É^m5R* _A_1T5ș\ςsߢX ps`#r 2vPX|!xI3O[`V$_T^xlśt+ AOѥZ>`C/3 dQZ3HO'$5TUVtfE ;]2]Buhha@D"@h@Frv!RG ,vH̀"?4ae1Ų[ qһ ,ꬶښ'-{lt/|߯q GZ/)aV&KB~]p?*)l<ؤQx:$;s|2fOZtb2LCd1k&*okFnJ`}Y ia477-峠:`>`J٠kGJN&>-lZ '2ND,eÝGr 66I[O6:( L9IuMre!G/`ms#JGEsqH&}A +S>@LNIY1n06q+1)wDę"ɋZxs#90nva`(rwuAž0뾊K,)2^墱zVbu ZK@ ENDȕzSq?ɯFkIQ13,к%P7_u.0]C|rB) $ 5= jt=4)B ul4휱CbnʀύU+󮢝~aoDk [BBڞq ~bKK<;TCLxʖLHz1 z 4\"`BRV"Pjujb;5}p+d{^jwv%7Tj$7K: nP57=L38C~/ j+=ux3G L,oe6sj {Gv+gu}LC7.Gx^ XR]=~zELx)B?8L?~&y4T6{A:iH3ٺ*U3ŭB8OǤIQ{CʻE Jz#|[VA o~,0ZĂwW `pY+ugQFepeWZZ<=p,5b!Z(@sBj"qwBW; :R*++%xq/`0֓)NֺMI`A!@@ƀg[A쫌,ۻkP2{\0zͫ0,eH!KЉ9j9t%J0bg֜r  =WA86$9y6]3^h$j8IqzsnV܉E ^B!>J< 6ğNhûBYԦgg5$'/j }M6X">Ê0IbEI8]GO@(o]a?"cMoeuAWtDy2;^NG,Y6+%TқL*ŁqL:M3[.^>yMXa-=-UF 6HslGeX5nʸQQ}*{hk-؎N\4g߂Yʡh9j}x?5D;p*v1C5WkRhnt|F[gDdF0H6 #pt8PrJ U8yJ5,_``$k0¥Cdʍ+}e1tj)Aa+vG(c0ÆY#SPSun\Ӌm@M**R3vah0b4v6 DO/55,èXnJrHb{Vaŭ`n'Cp>%o,m|D6Hה ,@H%4ńٰNA=(wS%vq62aVo}5o;tt^$WA v5֒h0\˖Ցj0 Z?VĚdϝ}^A^;< ܍i>vC{( FBƣlw޺Y4B8/CpVǝgSEmٺ/ъ~gƻĞty`f& (VlPZ}Mω Q!{2ҏ,4 =(2K׵j 䗁&88&+6EqLgY/fԼ .n Ts5BSL 8U Jfm50[?:wcGiƴ4nWѴL6߼C߾ت* Q-^ԣs/K#c0A5xs*!K҉tbDfx2WXk 0P+7l`6m NzH7KI1p_0\x)Mo}іnU$*iIwIvҝ"VB9FpTŸ/c-ݛ+]݌ "aFR*0pTw)Ӂjܲa\/u]]H;<$w|^=D),h?|%gڲNtKRүR0iI+֨$[x=kh;I# '* )n}GègI!)2W+`:2.)[RNzz\԰+e? )&GYBtZsSwZ޶Mtl.6MFP;͖x9GuW EVB+0 !8WEo L4ri]lt-W, GkL96Bf( 4ЍreA1ueˑ) ≬;nB`U)sgqw/4 ">.QK+нzR&%  T "d mku%RK.W8;^oTh/VO j IAY/8*{d4Fɺ6kK=gYZ BB3 /C% tConsensus_RefinedConsensus_Refined.CT_Proofsdocument.tex7zXZִF! 24]A-MՋhvG"uIBm5ʗ5zaLAG*)\Oi@u'<"{A8gTX!(]$C!n`c#{"Pxt?Ga_W"-. .@~OUgB BsrÌ3@sQ'٬80_G/|S] m.ɥټ \ld2Lzh$sU^N1kll&k< ڍjwŰ\% U*;"!s/{˺>ؑ' =Y7f;oU>/dV<(Zjͱz,Q5Cfڑ$ gNrabU~ʄ*}?D1e;{Ӭo-=I_m A2,^Yl߱ghс쾣ֽGE{Ĥ+PQ-T/#̮?yƔ,a)V6MGyp燤%mQ A.)[@27WJXE[dagKw)Q`a RI$YF{zm,)`\#bsv CZ>68eVVnQ)a*}V֜(}m&y%TK ۥ(5 V&W4RY&TF3.߄n.f7$/mzjq]y sm'ȅ*xe8%Q(dcƶ14ҫ+)Pmקcima1'F#q*Ir1-:{!ATOc:EL`D8~iU_Lx;YTx c(ۉ]ؘ\rЪ|G:b:͊fbcJ^#Za-g\NTy҂g,x-|e0x8`Mщ< X_ Es8<AVn\}”N{+(kg)2S"9r$3qZi_lRG:?F7rڪȕ v]񰟛oJ DoJ<άWsҚ{V[lesnI~̋䑛}'dYӹb)͙Y>vy4 {V:Kt͙Wq E:ٕm^sy$)H8rʃB̵5گs:ٝ%s5jtZ`Jx8(Tj=dy~Ϲ ŕl .漪1Km`qD[W]WW7_vt 3J[F+3ȳnjMq[pd9cL0I*iP Cкcm. *0Whpށ 䬆q7a ~r/^%ըbt7jA]o{4|pLP78_8>SlP;q"jYZsX]*< h)Yb_]wq' S8x|kI ~I =kդV0"j| 5٤gsV];_)V*սp9wDXu%6%Xb <$FJ4 |ڒuKAˉtӖ"RϞ_^]QjWo#ׂwLA4'~P2z0rpBxPcu8QPI`z3t4낂g^nZn>2~nx0;~UOs4Lh<-,?2jXmtCbPqV&v筚5=P w@# )קڕpOhz5f '3NlX2:5q"c<N~^UȺv"}}[ѷkyZ,VU6Odnb7R718,-i=9qЌސ$硄N *}w&VG ?ݯdt݌Vܗ9 h>a5k/&Rn8O#Eathi5 Ŷ7ǵXr׬Ok{w67涧MJd`K(38G7yiT>6!nrٺt;.2?o#B,Wh: $NEa0}K9};\e) .Cl$n@wGS <ѯO&7kvv&D R;\S_ gi}*!hh*cz;XHtvFiMh8[O] \'C"!b~ 3mV`Bk$5Hf24b/!{]3#v5:S%xS/~<ƙH80= Jk":gq;a0_0񂇃j5ٞȵ==u^|9".Q+~P.҇u㟬J.G[Z! spW*!@U\osD?Ձh7&y$,[_PN&"~6TQkvZM >"cXYd6 =hМ13sMAt{nuE.^/}n&gWsiq:٤WrlC5}Q"&{Ʊna@L5k$$bM7P쫛ݨ|8x4TCW5[vʹ-}ɶx~r;;,{qŷ .n(W 妈ꓔ8GP"tx|WnII)b1pbHm7d]oe!|͡j3԰'H%?46t_ &Ae\B QQ|eN&"e: v8 @MFMFFlwPWLV#¡ WB a,²H#4ىRܡ8H"r:HG\NK5+1.T RDNhe aG V8NFK~'bzkXZ\RƝBV˹BKyV& 6vX0~=n a@`u;܈eQWȬtbu9Yv?X7Ƹq¨8+ K,}ʵTNu)[j%5fu30G*?w4LdY+ʥ (Å$Pu]FM%n:`*Q]`kHp~68s$в"4 ^b+t4Fv̻K0yi},Y:uC/T5#כyH&y;W~ La W]P{gf9և 9On(\B5?Qx^PeE|Vx2 >qοeh)tՁ]yvSqhcAvlK&W !`+}ۖNrǨN{I 활}ݿh&LڷA*؆ T]+ҏ%^j :npP4Fbpli X ?]][ʱ̭Ÿ'H9Y|wز[!pjyB(;Q];0)w.C| rNHF?6Y& ͽ,qt'z؍ds14^O. 36jtm³ABy\/xNcyoIx|D:5wؔ( Czfk9' }SmvHW4!R~h8PPQ>`mG#aKoW'%|P75u=E x3hU\lE_5DXOFIo|)'>d)qF6nUᤣBĿk`s(7D:Pu=Dؠ0$`vk" R'x eL1#XU ~z<k27bhͧ0n*17@P0S+0$WuήDao<<ja,mȵظm > d+,US.{N鰘Sk7RSۑtxAQmcԬܢ[}+m}bQ}{+*[0`=j ,$ma2T֡rgŚWQ>na=|51GHZheeY{ቃm޹ɤ"MrPQ4y7Q8}q=+1y{~g"==߽l2ޓS͙s> ڑP_xL3OpX ^GNҔD<(ȱ{HFqb]zr>TuXvQ/O@&M4CdC q^[k=dKNe*`$p@\H)qΪ.^5N)"k炥} jr nW  ec\e:~3u'ьԺ)v`&^ >⪫Qwo,\H}=m+WtԶ.,!r²)r?g돡5ѷa#? (pk.E򞲪|]z +(y$)Ƭ6oJ<)XǢ f[ bvIxTOeMT^,Sʔus[k' )cCzgく(ܲ\U@`WʬuȹTT|N8峾}q_3~(K Jv*mV \AR0tY X@R"aGmЭkw#۵e5ЖH!CX~H%oE8ZQ^j?.ߵ^F: )]bUF1 D+bKH).ci2rP) ]K.C2iiMjUX"gF.?+-5.9pyaj2ƹX!Rj6fd"HL˥ڔ/k!:K.z$Bea P#+`E/<72G$PbF = }C|%ˑ,2H(g-n$&Q[G1ȲsK"($Oqx:>.r5dibVP=V-aX0rzDJ$a-ٻ a3t6Wr]d% =tqY$*?l 5 ¿]݀x~o/)C4P2h8(nÞռM 6PdT,0W>gҵȦD\wB&vNX<'#:6gYZ ]] /=% DConsensus_RefinedConsensus_Refined.Votingdocument.tex7zXZִF! $]A-MՋhvG"uIBm5VK]ALZeP8)K ]5LBw4K}=]5B~yET?%C3sx$w* XN4k6R \uy`t䐭[9aoa] 0"@ I~zw[)^ ڟ_ Sd KޗõG$?.ן>}c `NHЯN=A0UU6Srn9ƢeqAz2PuAzbBG7z 'k6"$C>,lMw5);y)[d)F`J P%S !qtD^ғН"pv5>>{V_Pj ʓwKXXαD-/E@K(vw f֣ olj *)ߗz,y ! >Q8 OE'0 g0ԏsaSSS!x(B D5'`/5n G#4/16hU8f7}"Zfi*3'< ]\!#XoX\,ߓ[rn.a!?rx}MqN!XɴxA?@yb~V"f,-"*>oz/ՍO֯4,_}%ŗ u !K];E&]" ƥj2CJFF^ݠ47!jV\/3zI-x wZG\ƚM։?{Ccþiġ2tUCªk ނ`T#_.g} cfU0<`DH?Zr9< ?8ϩNE|6Ł:P qhB2_# 7({A-v2S=NZV0ua^g\MI*"=z6lO9G5XE,8 )*G-{q\mV%VFW4ߖqPlyĀˡM,T;i΢P 'ݘ'K8' Lo]WL.8XyMQ)H e Q&UȜ@U!=c W%Gw:oEZƌ?y+O!Rkݯ} ;^r!Xk`;߭:ptDʔ`؉hqa˚auZr2c`.h́'fUZܱ<+nd[ T_y(~[=V4WqrZ3)Z`Z;s#RXӗr#00*|J5=eEDM4߇M=]~R٬5jQVOssCGlԢޯsJ(Jv,}:B^B9e~X`hr={1Y#7R̾S*YeYS"_@=( ̸֑'whDR?mS zR=a,v$ k) 1o؝ F-V-?}7`)څ#;*@ݔ)(ŋQ=EP'żhB`ah&@_,q< ̅ȇy >9/Fb%FQuKj>@r7YoHmC tO4o`H.asދn>0x`$\JrϠBI:@m<3#i!8X:+yMI= ]`^}Bmh3;l5)Jq(~t<;}&Uz1fW{(A T@s;>W&<i6Ckn>0{ǃ(?)pE6|}ޓ Jլ!i(dHOɐCާl/ufvB.`m 4G+@:Y]*Y*aG n OVtd!ԺߒXةyE208rǖQbu W^ +3im_avCgE;9h}Ú d5X~{"}ot3 ٣6܏f>]D٭wiΡLH-s[9 ;9ӨB3D#e^otJceOaŸ>G>]/RY$#-^}5pe{v3 ̯Paя<> Wč:fWj.[e|/z xBUpWh+M쵥.6dqZ6PL?(? 9'0 6`#C#>7˕/l&$,x{4Yd4?bVɀ=8Mq]0H74pH ,'T?i)8~arDž4rro*DTSϑ7j^ j\2YA2ՌUݕs {C P+QBCc;Ʉh#YU`ZeƳM wͅĉ ?z6SL-/ER]ޫrr׎&&E?,9گ,zªj( \o jOݛ6ǟ}z k]oy9<0TU7$k`)(ۙ!엇Pȕ Ml7PJƧ5"Xy?t ;!O( YwQJKPP:o3lP2G/fV; }rZ2I0ƣzОDjujrjBYlLJtt;:ݜt`Y rGU?JKPSni1siCgV&*@Vͯ!89, ^PzUf?>`2] 6g}1S9"AR46-@TaTe@ r:ڔ/Zwx"ϝF15H8#Ғz,%u?/=X"na]%o| `ƥ!m{gq1>)kӢmʆ]_a /6׀Ko.4?0bGrА篶p;d) kjsc ݤbp $v0>X)96sQ BX'e3ڗbV)n1wI ik丘nv0=OV &pC>+"c/;s(֔藖6E㧌gJ(n&WW:cQ1z]TDR*Mܪ+v?=*eNp™0zˤ %DK%f+.y֡tF0b oYg@Cl[h5- xK0' _׻@RJ[&[Rفb$(Js OSD j{Y Ѷ7YMb)8nJ!i >)09\y~=˾K6Ȣ,q&%Jrs.lWbhԼE]Z;F*CmŽKG | R%ύi"+p%swպPtaBBĚђ8e4v'`?gNJ2Jޘ6 OT'ZߝgѸ#0buȍކ9+|>[􉝑˜~^Uy2/oDuU/ Pʶ*VYGhZF`@QEl4qע^-HdH:#f?_iM  k KM03]S(^%qį v9P3 l*2)?9ǫ;N=9ttq\0}Uv38z3z#A'N H=L "E>e]{+ql @*YU]sd@uktF.Bf@V@q/ 3m=j7 S<'15x m/&}W~\}ۋ 8/ ́+V3ĸ%WoEj>oǶə^Jlo t]e,Եvok,bl, Q{Y-9hK4A-eSOJ}|iW,1`ų+V`ճOSCx@:mznL4Bl"T1mքQJ2㚱B`T?KNS1"srfui*Br!=c%UmXU3uqxN.aPe?E4U~ʂ4ں4C\|aΏ^ ^I>Aw<)%ݪ7k1Oj6" U 36= P0>[ zW1sIjqʳ*߇rC24Νϳ|.ⳅ_-gyXTQ Vsa]]|ҴÅ!@JI/&ٜWN3Nّ@L=+ڼ#wbu@7+"UX 9޶\C.B2cmlFOm'҇e1m`F,q$ٮɼ3GtU=J%iOAra-:rX3曭¹OIZtaϊs"Ng\F,/N_ˢXIR)Ph5E~2:hF,)HZ:zoOm,nǯi'wщX80KF:mdO +R-Ț׏s .#VH&2rB :F W'~omjQTɍK'_ngZ,'d#3wcNwo|d718lSȧQ JWH_vw+զFm+YG[͚5D'*&4_=t06ȍ!8?PWs_%6+Ԣ".vfDb^y^B?f'#$垿q.>6T3]S:*B˘|.!uTJ9@VeEO JIP10Ԏ׎H`&uW)Avq%| Y\_Z2tT|QHvQPF &i6z>s_ 3DUĪ46Y4bm] p cѿCՌ-ݑ/ꗴHic:ڙN׍.?XuZ&&%ug, l{K+9`'b@[q>Ne*YN =1iVaO3˜ŗiCa vu&Vc_(F6j#ҚЌJX`4DF\Rfp!~ao{> F7ȌlMRX&eIѴ&^nE\}~Z+Ri]WFRpx1 #+A0RaȽf{$%PqYi8 12hǸUyN]Gu|=ᒆ[lNױVB87--Hi=gjk!6m'Sx D>ϯ^t;k֋01y_6΍XybhBO.ogYZ   h /M% TConsensus_RefinedConsensus_Refined.Consensus_Miscdocument.tex7zXZִF! sa]A-MՋhvG"uIBm5TяъUꝱ*9+n{g#mE"g875rVg6^iם0#5[R6l Jx٧7KEk$):deⷥH)tcSx!@gW,8ʉ9-%RN>ꏓ0lUKMZ(yPQl: I:O|^; (ٳ ZA}`AVM1 be\H:͎j.c1x9[oˡ ҔӐo'dԌ5{P*b#ƞ4o_ߏ 1;4cMs~jx!F[^()=W `̅ - eAN/w>'9B@D#1Sm88%#ľivD~Nn`& w>[JQ=HgpEv+By7Ӫ=*5;ϟ:8 q?k3[?iaDҟA(X} "xpvE訮5*5N&: ~[w,D\^a[)b돰LPZP OG5.ŮNFڿ@@[KJHf5swU@ xJ1w;f+ ,[D+6 r~2 1P)`xh!E{yB%0hqܰXP#߀uxzHF?= E%9uԵ 6>y5l1" z*I,/F6<7)p5E퀮֨Ag0֟:m;\ef?ȟR lZ5S~藩L=nJkg:=nw^p*E"7PBR }ndml@3yI0FK15H Ӌ#HN @w+a=#/Ac'çkP /ݐMk813 #̸̏4ذ+Ӯ|&) ff*tΚ(T58`wQQ.0+N'W BC FnyC#ekd11dB<8PLt3]_p/A(\eLj9|&,eʘ5G.o4ZFfQuʝD⣽, ".gZݷ=[ϡ[0 }m3SwhQ7a頙SL)n)4J^v>rݝU 􀇇EqӭP(A}ʗ((N W?Xh/nCEl\(/o l=(;P! Zj4mHo臞+dL%C 1ˆࣄ6z>{Ty5&mVIf"oMTsk.L9\i>~PE!V, 19Q91#{Ȳlw g`K=V^4SH[r[: D[dO[oV30|[}0^>"y$ȧT?dtd%O^{`Gyս_o&yt!l'o;ލ>KgNpL*$jƄe#@]d&.gF+&KoXvu[T\"5[jC{G+'w0/j)ӶŸ{- yb7&iu_27Z, 3/~NCpU>zGl߳;ϜaQ5"i]5mG?K.|҇_1)~)!ѕtR[*Zsiijk<җW[?J6WwպYМWFOܹzD&DL (V8BHyn0{Bɕ5CE\BzD:N4 G7~;FZxaoƬs.W+YD[Оf ~@M|,0Ǒߒ\bMUߤ=k)DK<T{MTo< ?~} A*c3V1EHsd&y-uI7$pk)SIn?|GnS(3[OiiKjr (D @t?M pf)W9G>m 6V iNXD.Y퟇|elX+I:B!8H2׭  N(u?/BthZGp 3':`dYN\XF(7?> `EnjӫoW U%jKO[ߔŒ 8go_.1 c|5 }!beSlre7pAr5w*>$]?qm<ҝe;V&ۍEi :0Qd ,V* J;3ҚƂ!)+J Ζ[+Qhڙ8i8 95&Lv 0ui`bD.H@kqBg4 y_.q_~6 mJϛB35F_=[e 1X c\@0=a6f1'Z8F!^۹`fMDܴl꫃Diu-ad'@uAs3GWU:߯Tz{nN `5g15]dzd7p*O% }@gQIW&qW $dBPQm^/ E*]ـҸHҏAQ ]jͮmH!➠U`Ew7M(1ӚJ1@ȉɖԂ@-12՝)/h_Dy$%%\uJ0yn iw2{H3zo)ϙzVhI4)  ;U/!K2gNteGb#!lC]Ik/J/jR9/gg Gw 8!(Q'Giy\ap-@ rQ8S8fÀ32ɉ?o4 }[[V 6/Z}oy ,.:)=[`v"@ez4ۢ )U/0sf uWu{䵨]Ж_0Pd0r \5 ol0Nfx#ݓ|o]`0D `b]A5$?6QЋt RLf o5衒dvoA@Mz*&gh^%U)L#c_;tc-J>CNzgMq c2\)>ƚa^ޟ_'yVa2?x-HZeh;1Qf4؃oe9C`yt8a^^#OelGzHj?v ˬђ x\b_qLsfԓ}7KBeq>S'uŖ=ĞP]3 F5n@ 7&`ɕQ#gŸjg lDs%o,JRn䬣KSOڛ6o#2 ` <72@sfB:X 1c!$lO/m.xPD>@hh^(,yۜǦ!pb|(pZ͸9LBϱݏjz;H[|4|VOCk L [-7 Q#Cm! %!MSgh.,%( -}ɮUyM))??!J$*\LyiT[4F3y64Ma_d|_ѽ˻ T1om)z5\UEճTbh)I/u!$rtAb">b: &Ƞp͌U`Y[?s9 R `>a֊qoHQ~VֺY.\U,[woT0DEz!f_7$,3}DvvW2Yb!x6[-uв}Ypz1A0Z|3(sFt %ױZKC]&P %^)AzO=ݱ/ůCWX _N{oI~Ly t,Vul7ﺲl]}CƩh2w3=aE.;&OJϻ%UN)E&5{\&[+ixv ET-LڗvvGbF`1o-…Sj|'Ydvtu/)awv=Qv􉿉00YY.ܒ];Pw_eh "lu](I-Hi G@P2*ISw &ᖒx7Y^r3/!Ըxͷk|p@8h3: = Xy:pt?snnS¦z=l t+KI+;`a w/14ު\ezI6,w>2t\Ѫg3#cY hDZnw/{ r^6{5kň'S[-LUN9SΜ2Nؿ\PCJ!OIg\eSH>ʨS=H>Hr 5j ,yK'~{ 4K <[؅M!G֋F7:M6f8a`a>NARz=cK;ҖQC#JV ^1́uɬ=s 䄑zu^0^R^Ӄj%s3.3HtPo><@Q|]AɃXjL2!;01,'y={8 8 c/5IHCb(I AxI{*7ҲGxECP|2Mk b4u* (;?Y5byoSn{ʩ%_σScj<XMW|l%Y1YW^1xOmsrj fbcayQȉ}#԰056J"خOJ<]~,Jcw'Z}"BDgR+`"4K )~MvBa  AXh}~%ⵃRewfr1.*B{V㶉=~h[ ,ֆkߞIMwX*v)Y5j#z,"ˬGc'Il| Cܶ~ԉmI."f26tf]IbXQ j7BbnZ5+PXV 6x5:obƆ  ?IM)cr骢jқmxFzmD`u`ym5{* -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3RɆ~&/S(n63D`_xf - 4CO&S Q_ba#x X[^$ }CUk{|~s~lG8UJn2u$,B>G֣QxdV":J>'Nܸy ݡB^nkSelB}+ X| Ky橩Ę0X[='ؕ(2FzVrm vFc^WG2ʚ9J}|S"\2g aM189sG5P[U&7F[~j4z)Mp$ND&YZ! "C56L{8Rpzح͸SBG=k߼4(v@&1Q'=cv ih] tOw)E"}A 굒,Qzn̒\^!v^ FGT7HXՅvdX\!G%=HG.͋folwwD:c 1CPp-7u<=-&@";ǭa%9J5wm"H;\Mũw"gW?D|tߍ8d6I` -#"}?, `sL-!rۍhM2l9FVHFs؞H>;7l4'>)To㧒 Vbp#lae 0j%l}nH֝tҘ_fSe:Irq}`9tpd @腜퀒q!WL_[24nw0~iVOղ\d aϞW HoC @Zl ؞ЗZu&(f`B}[&лoC$?7]rKaqKq.#,pzx0Q#rߛbWR#<+ m[YÓӵ_L͏2+%c&{A&Sа@ڹ6gko;`.6bz1WE= L*GwxcrҙsB0d!)6,!!ʹQ]ɜPP獳ٚoܢΈ_?r Cx8>B乏sW%ΞZ/J|J 6x݇DwVB8wvi"ؾD'=)lm o|w Unx\h䍹̜P;yX3sID;{ bn"@׵f;>D]^=91s0+\(C9mhg`DQYR%~? qHvI,x٩,iw6 SbK2R$Dzj)2*[ƾ, #v~ k{"ٶKi U@Wʥ }bb]gL$k[*;U qcuH&B2fMZZ^+4hYuM^׫'ݣ0`5؄WP<,Q31DW#fHv$Y҈3 Qɬl7N=`6i>AmHv޳q%@#j6xa |#XG!};SGi9=p-xJmiqFjخ$l]^ c6Mi17}l L͢85B˚pRy(/|e~['#YBmx.&5 'cS?` VKNE^zvI18H5"# ?R5r|doR',]xAADs% .le,꟎ q)@Hߦ2%1P<C[ /.Ϫ #=0|ɩ9@ 6=SP̂,Ҋ9pC?~0H.,A-==I:qyi!X"fW9B PIt1MZE@(٭$q:Pz8vʋϐ' ; Mp[#1+ Rib$!-pyT ԍG.W]LIp@b5B%bkaS^QkP|0,XUH)_ĶUqO SAbvcP䆁 "û:ff (uXDFI&h+Z0D&Q,<yeo'^hTs{LG1[Qs=űWrHizxvѶf E-a 2 ykZDr""[ `Scȴ+F:%B}GuL H_ku Dۙd¾m[[-8qHM[S y" .Q ڿ۬uz0M#j(`#nK?$BHXh)uu NUxa9w|m0]F M)U#&݁i'BW᳾PhZp.noynvL?휟 QnW @ L?c1 Ph3 0\@nG.Am AƝùz8΃a"tInVP(x2+΁Ƕ#)nO bG7|UI{R.Sߝq[tj+?aG%1;ڟcdH,OiV+]$c3&j7:N Nk(naH] K{Q04p!`dU9s{IJ ykkq|8jPڵgP@T8TV/6_mU(!NX?m g<[QugTSb2gСg=qH˴[ L}8 +1Z7]VW"ǽmz 3XH>7Oݸ{_4I@~RG}O䀌.q$B %GIvt=z*8[ !T sKɾ#LW * LB{#*^$g7OjKO(63ôQG:'۫n;H*U[ 94B*0?h!!',AMY0Ŀ(I)[7QPulp6M[2G:/[@ckވ >G={Ym$Y߈7B`8mTcD(g<_g8]UdTnc@Nʁ@G賬ďu_Z%GL vC5IhIyaGpٯD,J啽 j"Ո !Ijlas[Z/o 5Ps0=Oƭ!oQ(_sZ=s?z0"n ]a&.1^NEV>K^\:,5IW2qvj2ΆHfA'Ylջ`&6$*Mu*XlJr#8V %RPU#".ѐ2>2ͯı 01**p'"Ɲqv}Q?Fa/l$ȋ"Vcytȩ0x {6ֆ||=9  N"'MxdȹSX0Xz8<ۛZ˂9ezԠʦC.7#]Ɛxp+a㧁{Ш\\8%:˲,{ozyHکbAla2K޶ ֝ ۮ^c] e:B_/OSR.~'XY9%뺳EkkBxH+X+kw>;h?RJZ[55Mޱ#]-% ,v>d\n?kCȿƭЮkŴ˕<:“S)5 7|*b f"EVԇImqX :w&iHoo 93\.gtupt1%o#M ܃RK܍pk7=!s+SqeJ{)WqjfFP=XנHQ%5)6To%/gYZ EEh/M% TConsensus_RefinedConsensus_Refined.Three_Step_MRUdocument.tex7zXZִF! \]A-MՋhvG"uIBm5m#%s#S#]!߫Z<Vc-I/$Q CbUqy޷"+GfŘ&-1~ aTG>਑\J }D^m5)8RJGt#C܈լNP~5&P[j x%öL6,a{Jr4k;-J[Vb'9;jqF|b8pd(也R`QN#}OK:q&A%Dkj=.`$! ֖ {+bpS05&LW4{WR`H:(~7T^Bq*Kia?m_ӕgŻ{LJ5)[% ,HT§^%(p*A]3})^bm2wB19<꼍(cU'jhvu]d;[(K.h*qWJ^K-Xx)>t+ tv%Q3R 2̊aUqS7eJ1Ũ]o%:7.+V_3GfNޑwW{ Oɽx̛ʆj2} aAsm3C1Gi6*'`fމL"zsr΅UӺp2ƙ.HC( 3m%Z$ eD4)Z'$`ZifSrۆj@ 8iE pI\a҄gVf*Gc_I.n| &'_fӗC_H5ͿvxS_.ˤIuKAZhR%],PKٌv\٭ҤVbA1B`p8}b wܽ&b(IWe2QM20˟x^Ycg- @\GjEֱ`"z^mLR<;%}Lkmg)Ž0&Xghչ]Žv) Ի+-gN.4h%h8@ *P d EZ>2=%`IxAzCr;J'T){@8 ϒɜ)ˋ Z?0b˽ {=G5 kѸ8'Y6@4y9;i+R}p8!M7g"Q\5g]Q(p~ea8>9Yvxyz0&@XMz~fn&%e79Z0~!ɾvs,9?yke#LN'"ﮱ"Ij`@% hiⳜe>qlTb~pX ; U/q|yllɽU]|QEﶶ|,T#PŬ[CvR>ㆃ(hQ74;*^?+y7 x> vc4*EmչRtrC1&rESx}Rd\1У[ʜG3G4aOI%~7y%dH"d4*;L̲ZTJM:%u)W#v ruj.?HYU h?Z#-v60oXL^,Ugn;4eŪh0kU- u,33o"Sa cci/`;鲨5x=y;lQB\{#:IJe5RqB )is;k  OkDaJ e>::ujjF29n MNAWvF;:W rF>[qo{1 Yd'4ϔ[qXF>"-YJjޣBY6Ov38ŕbh1|ASiXxYuEYs+.xEY"@*Ěoyע4N!I 32]Unu-.c0s[%c* s |_ayuEg8'+Lzmj~&Vctfb %wqڰ𗴅0a ޯzɶAV%wwNƌ^!"8$5̒b6dX6[k 8ßs7MS*j)z37 EK(#<8D*a@JEo*h,~1 zԯ5&,9TPZtʙ_<b75vG庀PZi5z FlG\au2QKWpG]R/LI僱vIFws~ qZs:'ࠊKӞN^PZ^7c~X cjOzMtpin;1\m5Ύ9)]&k@k;f߻KUZ'"I|s1ʼn  'G\^7'0݁L̼:֚~, ;z1R$OT+4^DR#hK5C4F=ahWI~7[wDѭ[L<%- EDyy*}Z{W %S‘h[t{CfGnZTǟDkr5~XӠ̂p\x:VmzGvmO >Og$B[oj2*]pn,|Wu-GoSѳ@sB^js9! p=J~!ڬVcX0gG@m[mZM,#QdjfN7FȪhn[Yyv-` .i2KY}įj\l?ݛQ / ltӛH6J9-My\rzA/gsF 6.&LWk&+HNɼCHJn_TZRng\17uBݿ<w<'GQ 71{~L%˰+C@g@gvDƭ3mg)zNPƾMmXK5t%yݥ^6jyRR"(NÂfw8ſS  0Ffm JwQx+6kd EMhӑѦGTĚqzJ@9~+9CkxϿF,`K8żpL3Ω6+QhF4΅]f85r.1mUJQN32fN_Ebb=*9Uzޢ8Q3 &o5cQЍ]( } \)~e[/CsmhNg_Dn].a1,vv[pܚFFJ4 #"FJpk[c:fl},Љ x(,5U**6P_8CFL[SBuY 9jN'qט(YcB3|1<\tsPUQGWb_Xwq 86:=;PeX~~Bc}Pu| CoL.SK{ *d ꅨs"pH$ 4gې.1l8u69%V70_wymuy7.STU5ko{)SD+٠y #$sk#'˴qC:r#40\ TUaPAՅ*&ǂq Wֽ F؛"]Q>KN՞q)m˒mjW"PSjxiǵNѤ ]?%fpt>uL'?8+8}X,*U"ᓅ\IJnE{TYX\Y=<ʼi=ΩM'/V8'a^Ģ=Dꍽ n6Ĕ35 (+&w:53F~+pUoi[Yn !mwu3ysf)yWmf.@I`?Ī[sȩ .eXSx/l{ dM0WMOFv&cRJNf 4"x[z5&嫹X@>0ܵ'$U2X4OQa<1{BǕGՔ.aTj{eQw%}|L![T1I@`dO՚+r#ݰ5PgYZoAyw]W?Gx#<GuBACSo1HE \Z!\"o֒2ᎷU-faEm'Ttՠ@HLàl;4 v"HR5p\V|.]pH;`1]q,cXzW㯥(a >0mB]7-ꋋ]"z#rX!%~SqyV}7dpD@[͍jh!?8 kjG7e-[/ /lP_p腨~Ng2ޡ6)?H?)JUBgW& ["ZR|Te> O~!=>W=$<TL۹;?c־\eڂ9!zXL؁{(_վAt{G=}J4nl,f#e`o 5e j :dONsY+d CĐV@yP`%rzK7*6+v4zZ&Hޙ#uVfU`f\ Ȩv,eK㜅םI""V 7}ab^+oFi~@(ɂk cc%Kܔl2Բ7$Jb]nYƦ_Rڄ[4k7FH 9 ,r|o/gm>u5\B{ﰤ_} Y<KvF<XH4*.i[ce"A3,ߧ4CtG~sH.r1VCoO|֭ohlrgwoUD Y8PLP@7 (zDC=OQԦJQo|ֻnr~ŀөܲ>,)z}c.omYjRFkKq"'\q0)ItvIcwS$ڄqT|+zˊ-lI>SL77sK#pMxp"@{=+c.kK(PҍlHpՇ# 9-b܁X6lۮ9g-nA'+U^N.;lug*.9oM|Ӻn_Κ*kElUVw ]"m C9Q$.iXwq@>Si}N[f_r.6(Z 5QLӱS>R粩vM-ȶ\Ӕq{ɶ(QW(spo~JM*@.fbY/{v򠷬`<6 u߫#fb@۾psb^= Z8?Y+8S?5g>}|p<{[ý >Vr/Cpoz W]!LP~a{3 NU`?E@9٣y8C-7Q &9,r%HU`n<,MšCR&ǘɽ |k(qvXa&:FL5nvOSgl bXؿW´"G&;rTn( 6?Ija3]B٤p}=[om\WIa9df]Bw<ma_vn3$ӢBjd a35If=BA.!hwgp!% [MO'¯)2~UW:+%-0YkUYe~R-rOӾD(07&q3u6ƙM7 8EcidgC']XOWzRn 4~Nf&蛊%@h2iOUs 8)x[=&4%KmC͌fU|ڕP>*^d(cTUo Cn#$zIGcG^kB`Z{Y9%k abueCxqjHp=0'L_qTcU!"r$˲ '#5Z^Ko9:(.*)@V!8b[SC(됖'/:s- # ꡠ9)~_xiVg輪h Gf"LaDHŋ H],1m 0viy˟QiboE G۷4tvw,},¼.%}H8E>/n#IP6On ]LͶ/5L3iXKLT#u(#aTܦ^U%CijT{ ǑΉӍ! vME&dރjz=b7t:$X=d,uMUߎj7ҚЖeړa%5R~cI\C6NХy»uys8&e9G47k}Ch<"n-%|-Y?@#Ԑ.U* m#a %k,? !V{aƾRBx?L0 c\#[?*'={8JI˚c ácަ!Qn+裸f2HS2Kz[|J4co^'}!@Wd~]NLeFi瞷,!i5,iXE<+im 8j i0H_u@T0,rQV*K!gYZ  4/U% dConsensus_RefinedConsensus_Refined.Two_Step_Observingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5tGd|m"1Γ> !lmAݩ9UlňΡQ%~o^~Zu4J:HU%*D, q{;b4PS[McѾjb= 񅲨aTސ88hd j2CATYqu"ȁԄOP|d\XU/O8*(k%[[@h0ka%W *'L6&8Uvx盓./4 E:jx g=Gł'tWٗWhǔ7+m4Ĥ +"wU1d#H;5iBGSNga8Yh܍ ٠! n}  %<#e_ywl:yھs 8V iO+~LË)5icX {Mxs*7 Zu7hV}w2YEY PPXab,/I% ,Consensus_RefinedConsensus_Refined.MRU_Vote_Optdocument.tex7zXZִF! l]A-MՋhvG"uIBm5LgcOLD} 4 B # 'Qy[ 2p6&&C+|CN\x|k<.N1z#'`^m 煕lq^GJێEDO;b?X(Ⲫ@ែ9g~+36ӭ]Ά1pg`ŷeV y)U7+h/E% \Consensus_RefinedConsensus_Refined.Ate_Proofsdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5VW+r`G.~t ^?Z;O(~P5RZw+K񟸉-rl}F:."m銎k'\}"Mq'OM?ZIšª;dz}FzHVWyk>e/x nnOڟ*ָ_t5Z:(TCij8NJ֒AaOPV$4_1龎;̝lA7(%!.CCk-e;h4qWA^*8c^_j[X=r2gvJ| U9W_,RP_)5~-9/T=<g" oPF|'UQ9\pI&;K֔뭽H4X'FVS:X)s\+|$0!&x\@ǎ_a"99cCZkSݱĭyZ"FϛT\sW/G*\5(teN%v jEp{֏\$jwjbG3s-3Zz\Vi}:_pdNW5d@?=r "Q HFf7/V)kW"ԕT>.35wqfD_ⅽ`46X30i7\"}>.'"S2{U瞶ilHKiqkY Ϲ3A@rlVi EL6 AO/ZOsc#bۂzv:jhs,/bR.B)g7>[~*U_ 9|17eFzc#R- )Hs2)%DIˮu\Yl/- wVg:mPA}d)4u+eA?q b*.fN@<nbpC ν!!WT 0`:Xr]"hݳ}\bL\F:EjHЦM,rD):cie:+FBq.$ l d0C18r3e,JC MXo8܊qJ{}"c<S웚M.рM/)֕9P13Ju@MlZf!ʾU:a(O'e\ȮE'㶯۾]f&kzRn[6G ʯ@՘kpdM4O޻9SH $Q$ Nln}?#Y #[0 FbI yˇ^D<+t1׀:mF Xܪ \fbuvo`38L$HT%G}W/4(< I7{j{SG)&Ml"a`u )JE097b= qΥ:Db9F̅oQҩeBDbpQ5[ᖼ7i12M+,,Q5 ߤy:׋Wp~T еK5Hy?m+$Oӯ<|rtc= y($[\9c'pf4k|,=8~z:u ˂rD|Ϙ;7'׻G+D^ZΆd(5ΪXJ'VDR0X V#%<7[ _ jtv2w;ι"yJw1wq,R8.H6\g./]PмъTN|J{CfrnmYLpdHy\yA`^BW |W)Y<^Dq[!;&ԨLpSRP'{I4$=U"˳O7t88X.|8JT&(6:z=sJC8%P@fo= E gXKkҼ.5&Ũ^s=:Dj7GSnp5.>"\$Y͡jB?{ \#.)SP9x758q%::l.|Z= 6RH̿ knbՌdu.Ҷ)BX>Y|o#czy8pt)PV@p-Ԃʩwמ}bmyh/5OϕGKȃzpUe2NHcB~D`p,;!8(Ïhq7/9hbT"Վ u/yPxp{ZtSJ3UY޵# hͨX%c^+3v?oKiz /M`f{Մswl97 j9zċ{ȜY)WyJ%!lX~zn3'S |^|[NXMh-bw 9Dy'euyWܡSa^?T(tQ@񤜜mXpM$ldS~ F3L!\67Tdn9r9Uɶ`=}wp˲[K &gB BޮgցŽ PJτQ l Te1^HAfɠ.X/Ku$bQڐmEѡp'쀨ARqQL|~tA;!Hʎg6V/雩)vXTM@gxim]z$>@BdITIb|rPkOvtOGP@J>whˋHd"XL 8yߏdgr ĠK\Ƈ[Z8G*ƣ?}0>nSPLf!y̫l:7wK_p/>+5%((86;rpHM6~7 "7q ´StU\P-.49$}1>G#u# ӊ9[MoL u͚C\'NyQ[*mq!&vG"4yumXқuw{3uVUqs|mOnf2E0̯]մ1KGP\S}%36XL4ad!qՇ{7&3# ÒH~E>[Bқ˃FӪlQUr!UDif,>YX臁B4H66.{Eh&a͵?g%Pkv;1B!ҝM-}#E@ 0j-|*Q,H<{=m0J0F6݃Y-k ^7ka,`.v03? T8cݨBdǺi ubHI0ynO2#l}У~s*_%e-o҄}6tt+8ˋ+m!}&^V_: 9Tym*͝.[ 14ZܪG ,pbɢă`5J9,KJXU]5c~URyK73-B_(`C}p<R!E9o qy/cfI5{x)RYȟ Sĩ,48muH+ٱ&dk&~L%ht w}HM"v n2qL.V*y\/:KPǙ s̏p?ORFH?on` zN]Q*=HWP)* ؇&Zч_dp/+CDv9"#NrCT7z$ w^RxHKezGYI Mf,8N)<^-p $H(^V*ъN.g<92ڋБcHmL?&h40]%~!tvdCB[6$VoRGZU ?j5O[AI !>>[˜_4ش-56J\.=tw +CU!\MgYZ;8V]mi]s%wH*7:Z8bOxKZ=Zb(!p#H>" ĜwV:ؑ )$UVc7~ 6uӓdI<@tGѓkg=ZO<"CpL.~Ck*Pjsk Ĭk SM`IDL8>K6QϙC-0p792OB pqqқf6tROs:u1VDn C #b7Za}b2&Q4QlFaJG`^˕d;YUo anDCß/01q:~?v&h{ciDY ?>PƦ)&y91?j?fߨ ?8Ui/_ragb !%Qg|STPϥؽ<- r"Fk>e]P[P/?eG5~pVN>{e*SyL ɃSQ,t+y]uNk0o!x_gIزAq^ 9Dj5 %w~*vnovIMiUxrAU>6G+!)T9(Ue΃?`;`zy4ycwQKUE)7F 3};wyS!S7d!"/e$v*1Ek"iƆ%|~?Qȑanێ0}Yz+xS5u2א}nߘp6J}վmae0Z5J>?7umc+a=Y0 `tDLrI{ܮE:8Tkf\/vBqwj&Te6jdhI."dw7U\I7'bFY .+*2_A/ y29Ul |/xEd5UN;GF>ϵѯ8͵,IDjR)  8SEN7=n.Oog2gY3` _(2.S:*Zy9SiJ;X%] .'H&'`J@b3w [瀪<4]Z;Ss$@tWi"|Rv3k *n |hh ̲fE}ZjE9 ߧ]ڍM<gy,!vۦ ~Kqr$^W_j6'WG1@ FtRE1 LuJ̝4nyߕ{:JԺήU0(Dr95j&3$æU?(:w&Z 3,$OEh0eʗS/mopS%FS2\o:ɃB9#Ehuz&%yԓ/0k(WYVly#L[\'?==2=R|R_V_T:@<}7x(Qc'\{ަ:`Z&dK|aדIZpEAXw&dC¼"?Tuy#߬-$`irw+y{ byfmo)+-/ξfOD38&>ИL4yQuz֫Q $;z^ hȫJnL.B^tiev)حį$3_BjXSȌ} C#,C[%Y-mJcyӝ*틾7!wE}?jr\֥Uct`iq|\j{wL]E2rr@ )X7YC!^a5--ԔC@Zc(⧘:o)^tYmsBFʊ` ~2wqs!ͭG0[Wk'l$u`8T/VM]-^"rgA4XRBZ`/pȵ95B] S/zge`&ȭ"A| pv$8ҽ,sbeP+b>J t!6%d(m`-qruplݶ8t@}5ARα%X}s87a s$ wBDt罙>fՠؖk;o"8v,.o!6ߒ؋!u9Χ} J\@@D}eۛ K2XKiYݔ9:r~ñib\Vj3&GmԚY%8c'oΚ,|] pn( ٺg4r0( U_tҤq,ZY rr_@:퐇}7= lߘ^Lx*P%g̎h>&#bm/\(NW-{U(3v qt%{#vKڼ!S]#-PH*,L 80F}ӕ=-ȇ|lfFw&[i4iF!TƤgYZc%0AVcw~\UzڰUg!xܗ Op&qe2$^]rbݫbSv{no=ӢE@vu(_V4R[O,Ksq>B?<׋D,9n5U4p$(jHIf`MAw۾z%CƋAIP+V(A~5Qo]xV!-u7LHUP9Oi(AVMhq)Qqw}#i867"ˑ_:~2ND>&qltd PB,ٟ";f`Bưoj:,,/AdQwag- ocQ-G&i +$T/ {]_iE[Vw$h4%g1iTy|;vPpuwVt4r'nV` qB3~j bl0q`(Ec1E%~I;Ǖ6gφR *ouNȭzfi TexT~Yf'͊s- 8gs|X}D5&UAުTc.`TLvX8ngk$ r/ϯ.$7b%H`X8{|ʀ1n آSĚ<ܬ=0WJ)F^Շ 37w-WoO?U5 ӈ%t7]t.ӜAeX=R%KkB$4Hc%^) [*s`<0&;_1حBxnZt8>vn=20lrY?U#֕Ӫ8 ٞ)Yϴ'^*K!8kߞNBKhSHy=/a4& Z]~XIVrx GT:Ɣ|^Ik$;ZLT Ua(ck7c G#I:,8" \3 ۩S!TSQ|xRrrhP_/зlPfoL`^뻩[/ f*#|n*VmX,qKx\߂WMِg2 !HB>-^ 9ֵ H\\/Yk̞@8cfaK61uD7%){5\L7fv] +CvfNqKtYN/rD $ G x׀eU]s(=QSj s[0&6X=x$Z<$0<`3.zѝwqn|}Md$ H!2^r4MKz Ѱ&|pMfW_k]?p=hZc,R*ۢyv&C yA_5!oR<(&Dh Hl{XtHe,WtZin< 3Gjl0RX̭{FNƟ恨7s(Mӹh_5wR^^)pOfa0rDٳ&@ɀ(BX @QQA}'>B=` H%{/̘px `xR P`o@Y|{6!g(tl&zr!]O=Az?X~VR:_On 9H u %~Q`@иc;&Zq_ ;E }cI`/[~>ETl- nbsʹ{v"A(&TI#R͕wHL:lQaM|Md% 1PD7b%:D9Qx'xo8S/O1W>w ; iFH>w A>`۫b]v\sz%*v,nHM PO-.'pi:ˀ!Xer3Nfh8M쿙үE@p~<$?5Ng/hpip5 EĚWItu o~"JF1?]Ɋl\U:b)$l8pt6dUNc+и%JzY ͬB;շd.˜ڐ%Fɻ2Lc}^ǯПLF{Ŋ)ta0tG lFW XQ5,ukgkRS9F]@Zn"/x"/%S| v+h{0xˆDB=X-t^4 Ȳ* rbiMNX>x.8TW8T=3LB7sږ?Pg,治rwX΢>՟GW5E9gWС]~*U^|<58G'튬(_>4<%o!h^hii\Z6 Ʀ3]P $Qjl֘AZq{L\sGt i ĦwHy'ݑPkʣ]mOȐ!sV,O.]Qyi-q%kWV=kS[kRA«mEW8mQ-QeĒ}!YK-KF@u O0l?ve?+kG/rD /9ƿXGLlc-)1w[ig=9_ 5JLbǢhHR- T|'50S>/(I-=x~Fq4*iB"m]vF(wH),h΋ lЛK"Z $$ƅQ%Xd<~!YF>B'iOȲ Y}J~.hpeS435Λ( gu׼ ~<Sr.8lAts~ 'X:R9O Jprޙ߀@I7ONp RVo8I<Ì#IZF1*rvMr0q]RA1Sjk.MޅӒ;>J9BG~OG$b]ԪWmy9A7IՁGC֠6lb Ź m}DP)f #PMry08w!{"eAGM6zJmt!F~[HXTLC|֓MH1Ss AY*x}]ш%LS;~,s41E>nI.vOl OKh@ݮh/aɍV>jcrOr%'sGSdr%Bٜ!;8`n MjB!Ѓ 7)>@d{xWd /r-/M{QJyy%C!dM 4.6O2NW\3QlLy^n3aSb<  SN ;JSyTJ;> bQeq/Å9Ǭ̓dhB-11+n:sEMfHmyZPy* iv?vLNy&:2_o4o!:IRc>f|ݠxiK.Ջ/ÂX],H;wVV."6e <9rݸU#['/FP虖쯠q- 츙]_#JX~e4//PoԧIp[Zjx@ԯL^TgsT#m(ӰS7OHrĘf*w9Yf]L5Wnޠ8_6W.ʃґ}2}'^LrA,+;R-\f*!~ydrַSvg?%Ƌ+eC| $- !!a?+]"&@dc'yT[gd҂66ga)윸)|vc&67 zh.+>|QV j|_PxY4aHmg`PxGq[5܉b6xֺBk5CA8kl=9zdqQeg5KT 4 5"E! S f.tBY BK0-gr+o3H:;i`*H&hp)`byYpj*j=ݟ]_bm݋Wsm_Mk66ȯX4A=e^~,=# ya2"XY}}~@쇚ܟM/št*w"n/Ս XTΉ@)&-SH\/{v6< )5068GMZvd v+PYcj?f=G+gG+9&oͷi_>V4m sqΣe5DmӭW %X"ݥ auFVeU`vPoY}I175E!r4qO(SFˈ˓;fD2 a.g 8@Dt2F f~P; G#h4'8SWNJ# Ab0w0Tz70y )8(F;7 ~AP9zZ@I5&dȳ zר`ь%9 |8Xumqۿ'|׍xʧO &.;ybՏߢ'k t. 5!oP8JK Gt|mњ~IPe2]!RhG/ 8߲^1qEɿФ;gYZ /E% DConsensus_RefinedConsensus_Refined.Voting_Optdocument.tex7zXZִF! ]A-MՋhvG"uIBm5V4$<2GD+gҸ|l½D>KgxWZ瞲fy6Zf7нy!Y'4;n Vp>4kk wt3ɝVC+PB'f \I1:ZpwGXWV`T}C F shvFbfxQHBQОOGjyWWNK¶K:eYvL:WG P8໾Yh}+eM/%LNը:Byh3 ChEtZ;/`# {#9"ة#7Uu%jʊ (eyߋ=5~QK>s )6,L] s,moR _zڸ$&sEjk 5,62 iSGʟ2X J^ K,MOϏJeat;W(:;K^UϺ0&Vt'N*z1Yj""zbuQcEหޓ:U2u|:a62%wفʫʮg:Rcx7 sH4[u? `\c'}Gb*j=,BYvMr<#ĚZWWڕ|{ #vtC^ IDxzIӑ|HEGn`LSR 6)Ig_??㪀N#z6OD^JaԆC 6] o4:3T6?ޗ?+9ImV=۟ԨCXHp < '@1l4|cJu#N_t$0TaʧrzHzU{{P%Z]ATd C([zJ^ޕuwST1T=Yz^k+{rLq|p4vzNK&m(y]Ym,L e}:q5?+V"kD'P.)mGH6j9hevːZqƜJ"OweQ槢r+1EZ-uC7H9=<'0ށ{׊M || ZkͪJOOg*^J"!UN`QGf9AP;OgMw QO|" y7")5]F?\շ0ğ߬Bc-k2*WعûMFuJ!KmlCLCjMfxmwrbc %SB@14o;z: Pp½Az<w Yזph (]ܶZj4׋}iC7C$[`px9T֩2˷cDmF5RWs @3ZSVfM%I`Ż LG+?埦,U)uIwIs}3NHE@_`6فgrDYBuⲴHFr/6<*v^,с,tּgnswb>a:;",'ekNBA'U?ֳD]ԅm+UHKPs/qOtnvf Bۗ.2-ox'Ob(XߍALՋme%\rMJ dgn9/6)jTۍE.EؖKMRځ&"?=MSoIڻEIFFdP\nCpHΥ;ANSo8uS]+4v2!_+|f6ijrHԗD$=l{aE!,*mobmR@x$Ɲ9QX g>g3($wmz%7cJ֢s`[.;Y2}Ѿ/y,H8߮t-QU mznO5iL1LQZ'bgi՝۬Y# >҆%5r{z1! /&kǎ* )!z1[N*WHH ^r RCR޷%@os1-Q+דBXlĮ,YrX41ݗ+zHjG`)VL) zg"+U S/&2RRB+W嵁xܓaRix„,͸f#L"EYM븬\ > [<ˋH^npDԱ%Jx%j6կSFWeqLG.! q1}Ⱥϣ-9 Cw>[ :| ׶JB%<)Sh?ЈMQgFפT,ގHޗC=pS'pxVg#s&pޑ%4nuWXYR/m|RԀe 63KΫ%1"gYZ x/E% |Consensus_RefinedConsensus_Refined.Paxos_Defsdocument.tex7zXZִF! Y u]A-MՋhvG"uIBm5D(}BM  gV C,?[5X{Y2}J]%]WYHˋ2d8M u&p¬xJYlcJMNq>Gǘ>#h9.|,}aWY{ ^ӊ(ύ_G1mR a|鮷1}2ZCQ?9,MXz]/w=4XX8Eo0ĆzBhMߠL ,\ qjf팎Nw B&:M}J%SihXCzہu^jʀcNth+GysC1ؒؔ[L\2wM 97TLN }8ŵYgk'i*fZS{ \z;=\NqD2`X;$aRzx!_Yj0<`㒵b %w9,lhK) lo߾1M6h6>\>^IW)VMfbM$tB403ؚyXw۷v5@ Ud!GUиVAe L+04b%B#P?ǹ!*d^־^sWpUpEVz>O/5ds=ׄ!ؿ_r.ƺz6oQ҅bY=\{Hw?Ysgә>- ?v$%f,%o|94YסWI u_yUasL>EȈz"GGdS”H^D^״Ufu~lU@ e7 pN3Dl\ %f8G Ge(xFpȶ3x?#I}THCژ[I-+Աj*pO(o^)HW`KH ؄8-9=,zؽEBx)B>y'>-7!P]+$*M=4~e`p,PjS?,nCzJ:vy&<%Hv6qK!ecvp-13?Wzۈy\x(jy^"GDHCuAi/֋ji.U;owݕJ/b, =*8^cYT51=kc .n)%>/C S: FFR *R) E|OrȃS9-(ߙpc~wXv~{P$31Y8WP>:ٟC* ,,̏Hޖ:Vt4’Ie(`'/ԅkTpWpP̝'2' v9i&)Z@JC+ H c+sP|Z >>OmWCxZtIoV>~̽22qZ(7E3QmRgqAX7{v'E5[%L_{=|Hy2!KpnST!5gK>ℵz#(.:2D=DZ =RGϨvf\W+&2jo|b`IL"F Ciu?5# $5Y{5@M{mԹC{G#> |IZyյ0#E;'ǐ5`AJ~ޘPt]6m*#/㑑䁷7 g٘ZE*O93BJN 6.em3Sa\eVcQ/*΅ R5z1 7Vp*uZ{JۭRK%9i ozyߨg.d٠Bb4gBd<[T)TXm+띬xfjx7=Jyh5KMGy'BbK萲e0:č)9H2Sbf7W" RDƍ KzVq t3e]̬᷾3R))#sU)j w/4R]-#ʣ˲.3Ot Ee]ԼZ$"VQ;@pan6]LV";ԏoxt+vELC{i~n]+N=%{Zm/C8#raOON`0PGXձgYZ }/?% Consensus_RefinedConsensus_Refined.CT_Defsdocument.tex7zXZִF! W ]A-MՋhvG"uIBm5ʗ5zaLAG*)ظX=,ݯKCz?8`>݄n0jlkAO l~h \k}Y]l_[P9⋤6/CtvC7F<<T9¥G`n* g[!2 N==|<+6,#j w T-2Y@p#䋲e)sngj𛪟B-w}} &m!}/!JtU4861ᏽ,M}4ϠP1c7qqB5rY]y-)}ddKځߋXXtZd3U%$ f^s~+/Uӻ)b#b?VHpMs`$:uD'jcyBWoZ:7J֧^.g#pАj D1u#;]GA{Z 7xTag7b`CgVV {>}9*Y%ܱ|{0\ AzUT[;2պ~,\GDUȽ6cӻ[/fXb1Nj Έ"rd~盐!6 9?:%bA@N-"uv5C'pueՈd>>v Z"+6^u#Ʀ[b)n :[❋픤m) -"[|8NR koh+#@!H,]C@ PsF]sYE$pa'6Uy/@ԆJlz=pko'Bc8}]z -{' TǕppMe~&Կx`O"S\)tRۆn}Tv\Dt<Ik.7/6fH`6Uvei/MK8ҽ |#j!9+{kм b$fcvX@FRQhNWZ)s7wNό5uNVpg x9wDރ9WcϼGnw)G3OߧMd[ƾ"iKB:؈-:&fȭ/)ᨼ++Fɞgÿ! )EDQJ=0FB* l|^uGK:jr zщa 8DpVi:SA.e:ƪs>uy$J s [FMG6, #ɬ AhIhnǔ!Ұԋ2@$.lB_˴O"!bw'XLոKd~\i$"P } bdRurhk[Fgf]@.%PNJ4-Zm"EPˊ5t>n'E;,a`hTbDveqaQKT28Zkq`z֣`e&pƹhBb!VphX'}{Ȯ-dtry]Vpdv̯gPJ| ci}A'#-X(&KbGKS36Fonڼ0 prܡ}^yJp֖xe. [j8(iEv1%[[^ϧd2= ,d.=>nF]Ίq"sG+T)Bfb CTP/e[3l@+g浒1I{tm۽,zH43eaFB};.xj+pK65JaU hen< w6b~V8^c_Ν3fi>ɖ,'7e>IJ(ņQp-'m`A H3}IT J3Q+OjԖ~f#Y]@5z,8ב2پl/~GR*D$eeع`R+SoE-6)t`/ Djx{s%. `TW$}WM,:7~V%h4ySimѧVPap GZ;$nUgB_;^?˯9LӰM(Mo =d!'W]`v|~-=B $sbwKp)5(qNxlN&ײp^0m7 #E>SXH@ LẢ?xkk :WoV)bKQd&_|*ߏ"ݥ7-+FozzVс2)ʁlyh:?X2SZXAOc#X{nG\`xijosb??#= ;(  q7iFıgYZ S/C% 4Consensus_RefinedConsensus_Refined.Same_Votedocument.tex7zXZִF! H ]A-MՋhvG"uIBm5Ƞ 2ʲ"v%ei@.1-[.KDyNUSVt.4RfCFa^b\KGD<=8 htpKX#g{V'~1GYR&4IršKs"46-LOSXx'%ZA2\Z{ǤDLha\Iٚ[)Q7vLRiq*AUΫtp1* Q^c!*`^6!'Uwv7 4V& ^3كtڢ<#Va%Bnܡ':8(fc4l0G uhZƊ*\FN_w޴jS(g6OF~ S[}OZSLk͢Xxoݨ9`S`eaJwH:F{`hA+л&wTx_iPwY=_?1өS4inӒƥhӏ@>nR@ڟ.ṟ6;ZUm3+V{zB Rh4L+੥ºj=`u8L@+f h[5pVrU݄Bgyez SNa3ҭ~9҇kIZ~V=yq~FUĻ#jJ~a4ו9;Iވw$Qaf\|PuA -(Gc BO"ä)Nrm'_+|5rke1D*fH7?0G *I,wE:'']78nRͣQ3W (5(b =F"9yt݂lf&m+L/ 31`=2Av~%JSZG݇Eұ+(׉w KV[F6D`A+o_0O{WhаJ[ZRx)zOkEXpމ ш)<3n|ྜྷ|σveNh#, =B-mfZbXm-gyҡVrk<%T Kw.9Ws.+ZOnb -g-=Θ\i=PvbHXz"jAަ>S -9#XPF<#7b>^蚿M[첧7ɸ!WE;MQ$p;4ШD6RnDEzgZԔ4Ȟ8=x c5#[ǽ\?X Y&4Cx*MIx"u9$l<6?qr-9q]ޞVDkeP-6-)KBXP3 z1BSW*p9vȲ ,9$EmJΫ3tk'qKֈ}x{ǤD/?A>Yl{Cl}N)ꄠ`q;ggh}h(X._戇`ʽ ֯IGTu?+1FA%t5ݱ]Qm8-# '#Drq/(3r eh@xPj`*<]W͟/d{:T&?;iY)Y93p)Qj0GV?8?c?^EP>a{fU.Bzi?NE!:z3A. ~VwڄBP!1yp!GѦIdO?-W̘miJje[rR]46 d 1уM<4$M5W$6Y\,U &>ׂA%٠H<1fݮOmk[e[I=ޑ>#qJW0iN-y읶{t0FN$GN6h:F 7٤ZХͫC{@EYʊ[ v!lPZ#nf5JAum/W-wj3 VV;fƨ+N%qew!ֺ3 &K\aط8.CT]6׳\s⺠3~Yɵ!I rHY\4%y;_|qYA&,+9}HA%pu!ÐE>dX;Q8Ex:9Vso:9 4.;`0'gxLo &l=Ō)mldni9N:l} eiC'jQyG aY/pp-z!MոiCt8üf1 H{*%N,̼ .9MX5ʥڑ5 {ekmoH* R:!5В,n\%ď8Rؗ_X 2nX-|Y:cPي} OpXv_;(Fm%L,G2fZ޸B^%QAax `${O)r8*ٱIxa`]6X~ƾ(~-MN&%ixw!EhQZJ(wNxzD)({9Jd2c+m:>R {h $t:Gp5y+e4o5gMs5`  Y 9/O]$}俤mV:!T&m*`OA葠N{a /C-"_&#Y{:QtcׅzU?+>]_xޞU{)晞[;#6 \d!^_7fnx ?%:=+G ZG_gtDžgC0ȣ^)ͯǾy@n9Sjls);5#đM| ]fn )4M7xqǂnv7A6_88 knV+̃1V+zVgiJxY?ƚ#0?hJ+gʫP'|3r.?-gAM{KLɊêUq,C{Rnu1|QLӑ|)SɓR=(ח]jPmZOduS Z7k^3Vcy.3W7f8oybRhXtdE:Z]ӆ. OTkKYY/nMivIÃ2~ \H4Q[?[T;)ϧ ߐt /b~ͅhEZ$ZWz v*fd>gR Wm;e-ezjR' \ԅ^d>3gz\sNx$]i<#cv22S#jĥMcyCytHzŃaM7#^R-  B%=jcL^8g@o^ Z=$25@ FЌ0=wհS`@{C2˔i V*eA=9B)>fiGݽ<vS#pp1*/ DՇ!iTN (P(Eg7 fnz,;jo 2ٺ4oMjnl}Ч0HMq9BrT]1d(Dl ZBEqލ{/qف:?Bka*؂t7v?Qƍ'GUtQ㇕pՙh/g_VK]Έhhp;k -l1WwFQW͢5 Bp}]C2(1H)9M=P#`wKPʂ}`-bv /_Uޒi+ aѸC ѡy`d,"VgRbx(6D*vir`\j혦R,;J ==޴;RFm03 iCfl)z0`XgvP6LLܯW.m_+)fsLBve9݄jwjg`kUcuFrԟiik/xM}[>_G!S>^ďxe|&t.fTꌆ`F;% oAJ%)rn;adgpVzC%I6uA[ R;+͵i2fpUVz˖ KHY;Z?~%,;efO倧#sav 7)wgN=v.r^w̬!o!#)MjnY/mr8?f ޿-,y;⥳8W*cT6ѫK>K_\mV85/1Z Yb;ED,t& -? u)ؼ L̇*J2sߗP6Uta4I4P"115ZD oa~ 882JRfeǀ%i]gYZ Y/?% DConsensus_RefinedConsensus_Refined.Uv_Defsdocument.tex7zXZִF! L ]A-MՋhvG"uIBm5=XEpAT&Q]!iNhWZjG~R!Z֙KʲJKmW!iEy |H/lD?U݀aI>K;+=/捬~Yjv52-+iY.7W l~l@``X#/T4p]Ϫ8W("}9Ӗc2;t3 FE/xQe(#A1vCEj 4L@ ߃_C꛴'߇gѶNwg/EWm2 0_xT4!oC;{& Q~,doո>WoU8`?\2K <9neT&a3<nTqDEMI_*"Czi2b_\12tkl0'rP3l)-T/r+m ūU/0niވ҄cIh;1hv`ůcy~߽vC:mDŃ=#$ڨ _ HG `uea<,alSLW!⹟,ON~>*-a.\9:>G@\Ę+` ?#rv&6Wd2jEռ9:a5+PdF@I_g{ 0)„=/XK|m,a8NPQ0w|r7)9nC35L^t\sX3&/<uSޕ"<@^]-~`ϴknH+`#nӘє]$Alwg^`[_ׇ2H'xH\:<.Z1j?8nnN~읋ξLď%ZF@U%?\Mޗb πܰ; ?!kSK vOh죮L\\WImwU?usu-|o\l`P֭,[Pʺ.b x Kw!& ~K&[ MV‘VɹfXyp7`4vW:bcI <0y(ѥkcК{"E- MO:%> )%H'K%. ]Y,XmUeFr ^K\\p8N7-R'%/!?j6|u*Bv/+#!͇0N[6w݃jDk.F3@s븳 P\;@A#,/e|t_ ds ]NIH:WuAq6+DpXPKِS i}.)\n-G^o/?Ҳan"aQOɶ񕮹?fnF7Sx {'c97%uB%rp׬)$`.)3+hA锣pB ZuS] nHP\:9䊼m\Zf קëSnQYaXU2UB~0KJ[B &:L|U6AF'zM[HJ6*gw<qעQ(suP{m%D/Hׂ{/mnKn#>#Jt~h=&#؅%#SMϳ9>'Qs6`a i<=¡a M:o38er:LӺ0۫h_m=,`< Bڡs:F2p1WeC~ʆ$:R$]k7VEo-cQ$I$tM,9DR(!,0ROsj5#<4qDb%U+m7 Ek@Ïw6##bR8/%=2DŽ5rSTFWcgovПd}îV^-I.d3~Sfra}tcmJplegeWx Er 9@D:V&8;(1#c:u07_/DJBj#C%`[2.8ObyS"%W銼je֧7:VێpWzr; iH")o!^*(֥Oa@72/״} A2}8 Rt@l<3J BQt_T7xLmAb$?b\ŝgYZ _/S% >K8 /'7JCKtVVS`41DӹY,cVBV!,IiĖItC}CG2Aj.!wOhNNjڼ &Ħ5KBV"Pl7 EYD6-V8vSd`v]atA՞BѡITuBHD0Bv֍f.H=eK@T>TÉҴY22?ͭue>-* }֑#J<83kzl-sPѩ؏ooBx$m4D} 27˷Z_U 9ݘ{PM{2+F/h!۱NvaOE(c]/f?ek*n6I#g$iNQqE㳔Kj] 3 Ӷ358jR$+: '!-=>x)@̝igRKdɱr" ;!,.ƻ.UDRsi StX8$R.B3$?6;b"UTdTpe|Ic[p+2Nt%O}ÒNՙ697k4wм}T0?4T9a.| @޴| &[`m-cXBŇ0\7[Qӕw)e7Bٚ@'Zw*mQ. 6Qu?M-|`iQ,IQe(z;xk6'I, - ~ %nm&#hrDsML|ud2J-=K<[$0 H J $%kz?9Ə ReĦEaP9|^dB$)EwbN"RV;% G?2n.$t:bҷ(m8\?syX47(P(LN @PdFgK b O_8ԍu>КϊP s>-(奟d=Ct%ɲ~Us_p-H+y` ,.:^ו>p-km_…cѠvNe_!tه;NY;H"(0-)FeF:Ʈ`2OA#2!8ڷiϺ ~J7k?>N }t*s;Esu ǐ~zEuhNjh)@-~֘9bGqs' ; 1~g*Al ,_}GP4*NVIGw{"ۇGa"&[[CS'CKj%j^R4'G w 9wtyah`;Y_*qnSvI#R!4ۚ*"v֔i>78:pJry.*kcGl}o_QJwP |t14NTiᰫ !RCH $\-RBRvJrEڣ+ 6f=ڢ B/yұ-Ǐ ^zpM%ŋAY@,!\۸{]&ÿ)@+M9V'^Ht:mx 흊<zw G(du"!6n|dG6IyYp_SB/l'>V~3U'o%t3-P3u BEtHRqPQBN^YqoG)qzCf|]"6= M7;B($`P&epF ۖ^0K4Λ34+xR9z4B7DѰ.uHи]q3cև ~ [=HGRoH1|~-{ē sZW#=.pc:s nI{(7 /0A),!\ED pu-zgHջJjnܳ=5K&hp*yC}m'Akgf97 +[!(!@탡 :C/a ٣$ Z,1d$KxOT{]T~ߕJvog:vuH32ߣM)eh^?N/$;FaU ˜Y'JmQ4]|N ?tH}' %bJ'.cΠo,NFjsqۆbj zԈh8z)% )_3NWG5G$pCNpbOk!l8,}64%TjB~ tV*u$+PqV lI;DwC rP>dn:v&# nacaQ_6+׼ahBL /+Y/6 $X)usqKHL{E/y'q9zk+]M~c)8)" vG4ˤ1߭iJ[ V'p fK4u~$x`'-Tt1O 7}*hE҇l0nk4lkxynZWOrX1->H9f)'2MK4)'l Prj;%bl~d<յjKս_2C(qBvWM@WO9P{he_G`}¦Q,KRǓ'E H?XA p9z5F84>VfZ7|ڜK h k7Àq) a]`:JXR5"vJWn^Hv&?NbDXcV?+Ǭ[)A<k/b>J*?/\P51f_\2S/^…xUe?)S㨕Dk%B ǎ`«w(դ=`optL Zg;>bjXJXH-5k} O>+Uz7@H-4 6UZ Gn*-x0D,<(!S& 4|4 ށF]NX 9)+< X!O4uˉrJ$flRzs&uXB 2mNo*pr6Af𘆄i7B%BxYQAibH We1to_u5ۢ!=mԸGGmR\6Or9Ow齥ń bccp bnl1)rHߐ]?^n)Ŕ%a &PBY/ZO(BYy+)dճ]*HBx n!-epWЅ댿@>zcZT1Glmh'qGS]x r>RIվ14"ũ/))N l$cʫ+)`۷ %qd3lĵ W8y w=57^l=OD1pT-nzB=;GJwOFc nF؝E+oHy=؎<Ÿz(m`Fw?eDf#nwU̜p9AD%OE幔ϊkg&7m@?J1g:"[8Pw_:<9bq 445]DtJyTVQvd5X0hL^~qZ$={EZ9}h#6jBA%U 柯,q7d-']]bmuyQ{"ʃ=ُޜ(zwLY֦C BQ.~y[Z7v t)rG+gKYuSM}n ܞUWŬbs~s?\TR^jj19;6{~:)PKSzgz */aAM!P~Bղݷ Ψ{SSʂP'a|WFbG7\J`uC*"R`UB+%)p@ǿ]Q(M[YX0D:'fR 4(SZK p&'U)$[0IzOYǾH)mKZSsG0lcFVW&e`d y F{T.+Ȥ9a{D~fЏ &aG/av zW#{t/Aɠ{ۭFe&v V@f2\YA?Iytŵ% $U[։q,V#Zw'qApo7SoDzoSGU M%xM] .,OdL[MB)kH ȫv_o2<>{]شR 28wW5 b r?cxq$`l*eVI]M7s/T ZsX"h%XӔנF; 31%a ڂ1]x}^+1sa%jfu _Mf -i=B_[(P*D+␛[t{2X2.ViG !#c#0#n{֤@ҁgYZ b/A% TConsensus_RefinedConsensus_Refined.Ate_Defsdocument.tex7zXZִF! 9 d]A-MՋhvG"uIBm5VW+r`G.rO"s(vXQ^To˜M)=u6c!dmRaFE yR<ݎj^Q.)%s,Z8,d &M09I], )%uBdDyL5.KݮN'5pv> ⏌GiSHX-'Omɍ{ شQ+d]Q5Dt cԘ E_l0t7RA\%^2&s-bZe-f* X=_!6%p}mf^ijS[fʹaYDh^`OpUo\#p-,D3LrZᖡ?ְJw aWMf][[AD`f,ö<S`*UW?R[_UsLy\.N50k*I-٨?;ʄ3/E+6 sA$:bR;ͫx(  YJ1}=_d{~Q1 lTsXYC {hD87:ec)%uA6QFKHkB=*rPo(;08EY b!D^DOg2tG`;љ mvF(YNƺeV-&NTIʉњm$swd r>[^5It^Xפq"IFx&uVٛ?1ij {̢{y^[̱Q Z0/yLW2O;=}V FhjON׫E#n4ޞml}(q@k|lxȠ Zc0k lih]81cP9}Fl92x{/[lo̵sw5/M sa}'ٖpQl#j)T*X 5>Q9vP.ݸFuUy`o忤"Gaebw"P l|'r Mj*ݫ$^-c֣(+734JC3e-r@dWZO#fwҀs2Us> $,څ9Pbըښ ݔ8EA˾ҊGS?q'+6$kVMk< QQWAS?Wl{ mFrf>s4ho6m_RLUz?AXrBwZÎp!0%`(,۔(Νw;]hl>aM=6N9?[ DHoTl`ج'\/D!]~6& ; Km״׷\[ = %Ip?_crx? u@PԔe=}+nsgqTgAȧ62yRPX(Rut,NFBZ"пrM'jOQ (^# |a\Z7[T1ՠmE#K :FC3ۅ!8_16H#qCIՔ]]fw ] 5Yμ,"JتJ=3.9rvo MBbCB"e|q~5|ׄ3*VADGhH:oB( W$PbRu\jVVSe>fwL|`9,UIÚ5x>y7xF/Ϭ|&5fMz0@v,=\V@E[J LY6| A[ d9|N9~"j2e<)E siptNWl%Ws9juT靰3o(u@jUz5K9X?,֓8hU\޺pXd̝ F+D'-86kg~Ӭq#_ d`·gYh/_I ho.\I7 ><>opEAvpy>Nfh7݅Wɫd)P*Whge>~~䲂ޥSW~*Bdh|;[tHDmy5V;% 1Ir2Tps(% +LUμG-UE>02^lˤpQNc*Z5Qza=ĪLK d ֹpqJ.cp،*t8αEPQXwJv -kƏ맍o)]thh׮s'4gYZ 99D/E% Consensus_RefinedConsensus_Refined.BenOr_Defsdocument.tex7zXZִF! 8?D]A-MՋhvG"uIBm5C3ƪN/#>j,I IEff˚Ե?jχ$;[AQ~|*)${ftpJRq@CHɫALV $Vۊx 1RM7X ,҈%-ycp^{9b +e‹ڌ۔s:l, $,!ssl95^3x3mb5t~%a(KFD!Tif4$ޚ -;[SR P&ȋ]C}`Rtxc>knJohkPb`53ItVA[JǺ}L=~;t0G G:(I Z,fOV11y9>A@Wu JٵL?̎Z^S]F+%x:R)c< m1R9U!O6dT>̌*t0˧wB/c FnfB=i7" M(k$^=-;?YC5$U-2>w^2J)mć U& ~beByz9Łq~%K}gQ(g#,E<R!G),Fo1 V;/%4i.d#Pbm0.o}(~_ =z~ PJg/NI&f',H7JN !҈^_Ȳ\vÑKcԧ*KQu) si+æRYJ'HוΥ׫LG)`?Jr(DZN ]Pͱ[DЬtŔ~3\G&5ZCVIpW0عvy_:)Ny~H'ekL2QJ<@"?A*(Uu^|HA9z.@ľ||lH.nJ2Glh@/QoI4-0^ڠwjӯokj$ǝʬ굾Mځ%LpN}c}6"ׇdk޿ ַW!pE *8IZtI[;Hv4o^ݼ{NJNJ-}E D7i,S# ȱ6pT4!q[FItg#ն[%2Sҋ|n2Z]&b'9g&yvN{L0梵ˤJhuT>U8vlR\~q ߯b2KMJ&ҭv'ng,Ļ-L,%Ɓ#[5^N:7%= Ǖ$ʋYJp)cTԩVܹP=NvBc@3Feqľ='[UGz-dVmM={ 6%'wNDbÁ7BL3C  6,4;/u@wV!9>YZfHmw> e(98obG5vf1#\'\@E}LXI:O4 aqq%t}8_*ȅUڪlꗞm F~=?Z_PGw ݌ _j>n)MZ yph\%yix'V!?/EǓ\{OFHԻaF<$V\ gT\[sX[+9zcpg T7of ,φXorAmcW կ:ɱvs_TĦ䜵bpMgYZ f/Y% DConsensus_RefinedConsensus_Refined.HO_Transition_Systemdocument.tex7zXZִF! C]A-MՋhvG"uIBm5w5zaLAG*)o h-p vlY~" ?=; cmx-ܒidtVRVz a7|S\"ǫ&IY2Mey(.c$3"Y8}8lXw&nD)#mZOTJ~!7N5A$ZkDN:،FiFYm ʿ(]%Va1Oh4WÉWb四\J}#Gs+=I<"bA,,XtcaGjK=o;V'p¢ÜSHvx:‡ݫVc@)NW\2|cLjD` ;B[Ǫ|?b4 1uOỗ>Ngfcs/tXbn 9Br{ґUF'솏@ b!!ѻ=1ƟknQYp+U%ӥ:q׹81j$D,'%Vo*(4z+p\lpN @[WMq}:\푆Zw!m-Xa.8X5K4Xޟ޹),mU/#5~%J\?ݯŲ*rW] Y#<*MhocNC;\l`Ə2M605PR*>;o$XnmHR?!3^CxpŜSfPH;XgTmXJ o(~bHL/j9 G4"_D>*i&(W\ 9+m:Zjϋ ajb(>WwC`AaQ|7S;}ȥ/:_*YD-nrҊ䀷CrxÉWheT?ns!OW+s R<>8&f$ <=mbs~"gH(0U}7j5k ?E ۜ :Nc (]Ք*-PbVƧ dghRT:&aK!ދ[-¶2^zƳ|HS9Xr=5?о&\]ެ"׹Ŝ)h[e{ JAT&1)Voj'àu<Ť_b`- ? qBosPʦBV.p$NUEڂr%rg"<͊N ޶EAzfQrrudn@Sm|Ohu?-~ ΔjIs^G_c7eNw@ЛYuJo]^S2LU@rp:޵ בun1u2Լ}W/sv'-$ь\y խ16ߑS [h,P B8n2ZZ= 3[Fv֋>xdY dXa Đig/DNBVJ*8tif7R] %gNJ+Woa Ѵ;xۤoTl5GR` ۇ[۶Y_~/g4uEO$]h}څ'D&=_l c"wMر"xa+u屆>T|FRy<H?9) DȮE:]$Xqiq`Ui>Ck|T&6H _1k= 'fNV, Rw+qq#l9bX#o ȼK >)HF ]Jq^)3\'+3?Ϥ:63m]LC^->NuEZ2 L(h/+#dep ;?'aDv 3"qIo (6,A&>F=rDS:D.39$.b`2űnSiҽt+,eNR%8͈&ybq`fJoWҹd<Cg@4B:$6 ?W5Ϛr&v.3j˘CMwx§,q i)`;?9M +9%60'b,bvl &.6\c\7~C"auȞEoHٽm:\$m"\0m jRp?D|Q75^PsYx.U}\&"x 0nU~DLU[5H\ݗo4E!K ]}7:9\`nO뢒^eV:!DXc׬w1d`L?#e\;㛞ThI>ڃ֭0c!BQȶ'mlE&hGlJ^! ?C͠(8:%KilÚ k(kc""c#=\IZ>bcelT:aФcTpv@Wvʳ_=SV6|:tSƥ U68663NYyb4CumA:<ۡ0j=A$v`\Qq;UH@xp#5S&DC]L+mZ/Hv$v]YU>z.^> k;oOW׵sU_ K8هݠD{ƏUObQ5di"w/Eǎc1tQ%8RoVɡڱM4rzycŘr[C}*-¥N:CVK\ *Txb 6&.&mͣ}(;ے~w/G&]6ў'cqy}wҏ;/r 4HUYf:NORl=FPcs2TV臟;랿S$Z c9I<79 9Rr-7*K':Olglp/_f`EkFq3m;T֢.$>)s+,T~/I$a5tHd"ZQ `՟ʸ,jA}iB͹r)#<6-\b cC Sg+QnVKx8lt+c0>"-嶷*dZ7Kc$0]ْѬ5ozU:1IJl1B#f?d݋7'SS_hiT޳wcbdꩉ +"*fGI~7M}X jUNd!2bӋA, NL.Wg$;{!d Y;RɛLu_djv,фKE9e;29xjӜ^8adu;? 6`?fiZ 4\جqoM' NW o4!!?y0Wg_.)RW)6P@ orT?J ?kZ "*A 4J1JP\{0/3BUp Ť!"3W$|mfYD\4\;İ:YPZ1_j yVS^ |0|SV},*lA@m?ޢn}ݭbd%\zk*\/\PmBN9Y<#?D)FP2Yu]xyz n.fBaoJFEEUdxhoKj`u*~/2^M~` ,xp"];O+Q'utted ˅G`>5'Dw>uS5ԤOISQtO!P: dηIGvh%>7I{gv#gSSf3CU%o8avį*d=T+ÚfrGA)Юx=VV#Y D4G= s٥йyP4v N~.au=5 UA3 JWG֨"( ';[O7`Ss`Q@817'a봇*wx󿭋b5FΊ&#b-޸3-F^{R|Сm_S_+ Mo6hzs<@3jU+);;^pEYi+. 0`XSڨm5z14Xó?_[luZ s:}v, [whTyh7b]зY@`$xz>A5-0c-ӏUg엺Mڐ /Iu{?{4o_a /=c(]p2j{Rv-"]76ۖc9/MZJJg9yr#Ź #hB~PwAܩ*uU|\uĶĝTTil": b 9LFl.d?Węl$a&u qoOF3tD Ï-ީ ˿}?I[(RaDc a;Tlh| "(% 3(Y-g4.uB1F[-wӸldN>˓_XOvP_ ,{}.KdY7fe%׮ չ_5ۮ(wa/v0u[MjtL~,ݏFC:jϧrD /Du$ SR&Ve]p3'J&]1vP/%F#m̀S:Yk( c|~$mY!Vg׾GfV:=A@2unM ",%QxxO@]̞_֟鍾@bcH\cݚLo?k}ebwimՆnUQʛ$]EQ]Pq(fƾڻ/E ,[U'?o1eJaG!?Ɛܱ80AL60oIa_O(_6z(V3`DneSDhc+m|4+?C]q~?]S4\>,`G_gXx:TF-{+sK889HЅ 'c6ǻ]VDu7LU3jJRLL1}> 8MwaM<nL7{o<= 3@#GJm-<)F&BcB2l {]J9=7hS5dEG.f ;v'[.+XC ºϦɔ!19eS0tJ !Ϲ5N!8Oxu_=5Z):U\Pa [9[;~l?Pquw>\QL^>_SɄRC( nul"^"O.PPx9b kBsky+<G{ ' \ƏgYZf"/A% \Consensus_RefinedConsensus_Refined.MRU_Votedocument.tex7zXZִF! +]A-MՋhvG"uIBm5LgcOLD}Ck JZ'M^V߭RSRk[vx|P26.Jҕ!{z{d@Qfڵd/ vm|%ZwbeϲHbyޞ\Ft$ GfZ1 [@rU5ș& 2پ ^2 #wB׶tb{dvfi~tTy򧀨pφݭ)ÏVNoY=dw iyਰOO^2>]_#~>Q& ׍ :m <0WuTHKe@^nrD؊+v=g u!1uh4isKZ*Ca)CxTQ:_\FJԩY𷫵G){HXR.N0uu; EYq{+촃~};x tVI= eEӫY˴QHη }P Pw5m),I(lG1ݺ`Tc@5zŠ=ޘqu|U%?|JLZݗ[-n"~ǍRsg7TXu,J/U:|NkM~*eɨ €\%^*,ۦ!˄xlM1dOMȉg]SXa1$cН|M3"Ӌ+NFd'߆IeZ9 k0f׃AA:LQZ^D)ۭ/'#5t'1;;~:*TmUV_km+ӖGݘǭژ q̂[-p?iJJ/ZǢZ}k,>FY"(욎cĸBxXo ֬1:1m&W_{*Z&(2nF 6Jֿew]X*#"1>%׫Sir՛ܨ:!w|P-^@ 3m 90=Bǩz1ÿt_"Q !d067 κ j{ Q ,E/DǼͮFcz GCqExA]{}". w@Mw_]D_9[R}нg. fޒZH L^mvoPv95MgL2)($>%kj$ nSv&h .k*B-e,TxsW h`v̿nܣӎ}B1 QsXB]nqxLݿ dev9bGc橋o8FXI|I[i}^!qpa tWa@A<@q2g.UJߑ|NqgªAoVSP"1`\o_G VqS{: 78)w05xYw$TWu(< >]r-' #B~ "ڴU\؉ϑϿZ-Sd~?SuQ{r^l>%}b$FR9}u6Ȩ~X_Ahh؆y=[@{c*RȒCf>z;6+2&بrE?gƸG=0o|! oJ,!uRHZ OC轋̜*`nL iYžgtC8j@lOIYG6~Q 1Z6}w(j|WAOgYZ  6q&/O% dConsensus_RefinedConsensus_Refined.Consensus_Typesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5TяъUꝱ*15 bmTzU\5! '礵^eIXӮN9QxcX.3<^liKE*#mg@+k`lmSʆUD鴝KY*ff}H4w=>_*O2\hs0Q AcCi"3Hps1o*̓JSYUM$(kh8Dlխ|!"( qp-q)y9ߊBhBn3v5}ڜ"Qm~-f0nɨ=75Zr]ݦR;g8ѐWIW`;CEjƯl 8ٴm%zd\ v!g/EKI)`. 1flۣ.T +ۧ\Rg~ =I~Vr^sAsN+`ܒ\݆$Cp[nant4+;ЮvR*s|}pá崿McIIGq 5Kc@J&u|DDBA'dPCXH|$y)SoyeF"_X| bD$>QuOgYZ%%/G% TConsensus_RefinedConsensus_Refined.Three_Stepsdocument.tex7zXZִF! ,R]A-MՋhvG"uIBm5m#%s#S#]!߫Z<_IN߇Ƒ:aN#"sFąto8瞠 lv3@kfq;8Q~*SYB mZaAb/kL2'۞Jc1`*vV9Fkv@ǑA=O)'F9ǚFE E f #uP@#\ [3L`{'K切CϼbYjQKL=~4` ; +Q:ߞL#Wuepr.S4=(ҙF]r R?|7k@``&hGvK::EV pNɍ}k-S!`<#leU`݊7,rhKznk`(IE yP޽Za` xG>ڡ>nN'>#Y3qe*(NK X֭˸gYZG$/C% Consensus_RefinedConsensus_Refined.Two_Stepsdocument.tex7zXZִF! H]A-MՋhvG"uIBm5tGd|m"1Γ> !ll=n1n<)#۴L#1?ӇĦ>CB5j|?'aՅ~@̝'YZ4ch.r4OAYc%7T…:vD֎?c,5]9B0F~;[I~z7`Y*/j")D 86[&r%5Z>2bSw o\> @z}r*DtL.uCNJ@;8v.ܿ`p^ʥlU[Hk 5}4']X}>6y-9L}>l]2 JGZhM(($SXQIKcD\ٻXp_gjQB~Kݷ^(i7Џ*ӡanW ct܆ؼKf("3l_̨a^5k-$R `D٥)ꢲpWbL̟|q%n-_>|GU WDbt"zVi,|Q>~Y&(gܭwCxÖEiޭQ5-E#=wQ(JC1-۱gYZYZ7zXZִF! 1]ŗXiɟy)BcTH/n Oxsf1_jr~}Hy64aLd"82TͭŶ8tu)*۞!\!PwP۞:׋d,(~Mդ 5ˌu_mI%WƊHGy _hB2Hҏ \cCjZϺ&w)9_><Ȟҭ Q#A'Tx p0D̼m*l>Fe߯0g!b`vIƛCxHU%,74#:#$yD@/%4Ulf"˭Ƒ=9HC[k؄/Uin!716uGL[Q;Lځĸ+ظB؜YKQWIi 6ͮL/iTH҃q#CgC ěyhqn }@3h^Fw/R?NNm#L/e<#2rսjQ\ +1E]Upp3JP;!給M,|(ߥ|e]}#!H8/g՚-W 淏)ag dg,s巧7lٸPth@߄|L&Gz.#8cQ.t*MFHe'՗A,k %C-{vB|Me,MTyufqiַڵ0"m8@{vN1kҚhH!juENveD(:כbDgʛ=a0HΈв"fw7' {[5>ԘGa"V;ZHi@}~EUQ!=|D g%qõLZjtU;iI9 iD9dZ5~,6 ~S,:lk*$-rQw0̅ug]7{-:on }zF~i#X_T_)G7*u5bmݭ&q۞s;ۼBB=SN g z&[Kn϶(wY)nDh+QȢ(6r`]ӓ0D2-67>~Oâ�]_̂)% _^}oU.;|d9A;Y2X5 |-6^W["^X p~gnl* oGLTN1n{g]یH>Bө8FQJHjRcO_&*\hs5 uJyZvf㯰 gtjT9r0YgDZP4Բ/3|bD+mvlI_ɗF]3!R'qLvtKw雈``BvgƹIY1!Řn??g;Hh.17 SF[!-߳,?XJcL-=!f]!d3Se \ƛLX_JG"En{ b7t_yu$bd햯!kȽ {^dߏDVy@| M-DDҟq!m^at*u̪Mn#ozgM{1'Tb!N=r&@$BgehP\' 4^Y4 $ZoLp>G>PDޚl5p{G"#.{ú|ބӀ2ZA=[XmyKnFJDh N`8鴏k{zJ ֖ݑFD6nzKq3ߴVh N0(\-_^Cp!UYI}Ǚ{eENL>1REFUvkSէ29J@;Nр=~;)Q]K Dg 1[ro1r@5MX uS;/^aflL1iimo!Sթ}+ge)BB&/ʹCXXn%_Hw\OL.eɻ):Wՙ;( owjth]_V㫀ȽQf!= s o GP!Du_ o0x<FڮǍfƘ:Lh[^[*=0sv" '.6Ǒ#iFxxfX& $R(4 /6"\O,Ȟ UYIX%Ћ?2ڏ pL~KM7z@jnRr3uɝ\,-Kpz%CX ~d,hQ@Ʊ LJd0npsd&hN0McUϪPut~"b/,9w ,zSk_*I؉^ Ȕow_[b UJtC[Ũ_+C!66&9uuf|wJF05 m 6-eGhRb'4Q`yƙk_p[-}cG2n)@9.mY8m]n1f;y@@ xM`8<)oK3|:xJ&\6R@rU lp,Ųh*b[j/⊆]cTe#y 桂i6VvvIBTB>#vV),[ˋf5«l,DkMq-WM*]a[y=F3C3c>mQYYY"`7ALHSI U}~> YF ^ܣ3H2>bڦ:@8&ƾݽ0vvq7>w:4cHaSHeu,8`;Ts,HVZqGn_#jI N4W{+}G9o5?@cky2W-7MЮ3 'v fy@0[(? #Ikg_>;ܤGաkVs czFcw%>+vZ]Nwƪi'E88~μE!<m0ٹ#6@Ys!J*U| g} 4&* ]&i-Cu/(gYZ42d630bd787264a56970b1c2404e2d9b3fbedaaf0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122