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  j j / L4 ]/ Consensus_Refined:threads=2elapsed=40.641cpu=76.616gc=3.524factor=1.897zXZִF! :]ŗXf1-/6vRZyQU]#%x30>ǰ X~\uεr_r6:5Vxfl,[/@fre T{@8J~SݘS”q%/xEk< 3Lpwx)̼T.v3ܨK:Š4Rn?z&~SGRk]Rw0/ǚ9I C|}E` >1~w/U!: Ha,XN}jtDՄD~T po'{e5&=Pc>K $-]bw5I<2J@,65!_l]Vaؔ^zJ+HM٘ڢX{ƀ)~nڱ/(\-ԩl$1jX=ev_ȁ 8m>ajX@RT-Ȃ^8egf E,X۴mgJVM04`!P5c ݭ 5fi])1&l)^W߉d ~=KU'م2XfdVȌ?Kx- G&!ω^2[? Jq%uSw`> +i5w^S5-׭5i728ʙ4>@)Vh,>aU5CZiUꜧNa_E;-3@04;+,} y ֓"U#pi.Cc$,Kw<Bpťv 1o ~F ƽqU3x$X$hdy;qᾏΫ]1oW#5hz+&K(|q®LKRi}73C>X1@ڔ;d[?hn%t~2&bd׶&ĄߐfJ{ZR\c4= / 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  % M GW qI  b L @U ) ^  @/G%Consensus_RefinedConsensus_Refined.Three_Stepsdocument.tex&D/O%Consensus_RefinedConsensus_Refined.Consensus_Typesdocument.tex%>/C%Consensus_RefinedConsensus_Refined.Two_Stepsdocument.tex$</?%Consensus_RefinedConsensus_Refined.Quorumsdocument.tex#=/A%Consensus_RefinedConsensus_Refined.MRU_Votedocument.tex"6/3%Consensus_RefinedHeard_Of.Majoritiesdocument.tex!:/;%Consensus_RefinedConsensus_Refined.Infradocument.tex ?/E%Consensus_RefinedConsensus_Refined.BenOr_Defsdocument.texI/Y%Consensus_RefinedConsensus_Refined.HO_Transition_Systemdocument.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.texA/I%Consensus_RefinedConsensus_Refined.MRU_Vote_Optdocument.texL/_%Consensus_RefinedStuttering_Equivalence.StutterEquivalencedocument.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 >/C%Consensus_RefinedConsensus_Refined.CT_Proofsdocument.tex ;/=%Consensus_RefinedConsensus_Refined.Votingdocument.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.texB/K%Consensus_RefinedStuttering_Equivalence.Samplersdocument.tex?/E%Consensus_RefinedConsensus_Refined.Refinementdocument.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$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  /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:; l/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ݽ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Ҹ0 }bJ蕉UP@!`KiAʡ8 *01H u$}NW@ݿ[u+Z?q߼#ʽ. QXy}\Jn' 'RPe/2ȭWT5RަAmf0(\cGW*"R\ߕ,R բԿ'`wze ,q|63֣N9ٓ}'<U%H:- *EE؃'dE0 ^Y~]uz:XA:޴1yAܮ^TGduH%m!`ωN`+;vǮ6fQی8lY(^-I@Mx9Bw''|?Z@p+i2tlUƖA_q CNW(tδCC9#EN偙gt6#^0_w۬*>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/毋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>Fq,;x+D^r/3wvɓ,fk˾ͭg{_= Gїp;V@0)ΐ I}9BİB^}9#sCb[Ld$LdO.'| f$୹ sIv1&3KS³UB.2#7A%9{ ˞n\a`o]gvşNҊz\*R%x(9M#]5* v;&︥H>-9=v\{f"eͣ<"h\l#S28,h G# בPp3\3/B,--dGZ-٠x,-v/B")yI W >$H1hA=ܗF~HXS ;;e` 4UgⶴO6/:7ﶥu`lD.< gYfC%/a7& t;8Ƒ/\+ҽOA5XHC2D+IlxR8yl:&PX|֫܃hq^IMC=-ViN=E5(‹bUbQD6򄺖P!daiKZ|M

_F5 ]^Gp&Ki8|]ئuF[lJBo3EOŝS:Kztx@).5Җ@0\3Ǒ&z B(>֫ 1FHQI]g*dUTQ 1f^*)hu +sPegxGz Ց%$4M!v[ԭjUiB@JJ;.]9!鵁^ *Z[)3klI#oIc'ZKR#{7Oa KQ$ 쟰kD\>V&SR'iogkF|lv՛(n"zKDZ* (6Q/R;?v,n{qxsVKPX!X$K {:W7eJZI8ݞ]8 PW[o!%2⼚}V 5D/ƪj`yUmu+<+z\(T (ny-Z/ύHKIܨ&Hte jk~Ǩ>Q"gڦѕAzi#oq]Rfg%^rCdzl.z˩CM+! 4!WgУ_yP*)~ZcNyCG3dMa !  9dA>K+0tzKn0t4hI4;6 >:m &iRuuZ]"qkWIDg~LLfM;}I%evWLDŽ(Ip5X^Ϥ)!E{Ÿ&5{}-hdz#oXA~Qڪ4+Tm> se4"NŠE{ ;d+2(4{wi({[ xy0qi1DS(Y}-.knXaPO]( 8#jvy &)"l_Бq[&/8tCL벥uR.P/(pRiDhp2vO&qńv}2  xI5﹭ ez11q:"FVxxVOM4Cpp1:5ܫ.1&0PC x@b *P`>L/EԿ󝔠s▍!%-crEz FR7ڞI\`iff%'gef*[F EZNLv񈨠vkŰR rƙ2eVMfKD YIm"ڳjO+4`z:aSڡ =pT š5`l1Ra rZnX60+śsĜq業$Kmń,_q?AC]3vCn1ߕ~m~tC:dPyC~PS"5D?5gYZ "/I% LConsensus_RefinedConsensus_Refined.BenOr_Proofsdocument.tex7zXZִF! q]A-MՋhvG"uIBm5C3ƪN/#>j, 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Ǵ}h;;kEli3f]!"ŌsLߙG,e7w]|}g;twX8PRwOX=XӴY`$'DX&kK@t|/1.t>֊~ZwKX85u/p_a䪗V_0A` 5o!! E~IZZr%R7iѤ[x,(f ;̲%@3$-nwvz* hH9ehǞW@f969ꡏ{]l%77Tp#5d7`t Ř]~υkM7#yS(NG~9<,WUo$1YАE9@T#=t&Z HJH8VsG"p4,T9,xy#M5eQ/hl͘ljxm3}E#- DV֋ZܯDK C|`+zT-m̹8IBx:P{(N; Y!- q ӫFQ=JEЀ$dW`Z[h-Y8K_e6<.Is4vnjL>~@O@ ZK۶ BV_q>ݢ󈐿/0zLI @=QdN|&cNLe" @)5 껍ӥ_N ݂`*({)D5g.nR_psAW2S$B=<IE&d߿i%$6A~MU/ jtpV T7G:?7کR_¥F̭;2=e,iLuֻ"t$Φ4ukӨ|'~J!T%O`m'܅ak g zX\`j.xױ۱a*O?="~4_&R G~ n(^p8_L5m ct /LKW](;jY@|HMx \u6VU΁ _MqgjVɳl\3G ە(M]RZIR)UKZ!f艂'nac##輝!ԈWdKl[w\["PZ}9LĒ[ ?7&W1f,9l15]=oR[`U,>Oa$|h-(^Z>)>Qnݻ$BA@'Z-=*9m1q1&/Ew AVazкWAPY"bHQҊ9lX-P_26-#4x$)9GV }Gu21 h ,Δ~r8a:ĻAFY |CVQKsa m $A eG`eSPFU~D *>P,<V48@?ZuJbyv4Rщ>0߲3Bvd[M_iE ,vh:P i5p2 oj0t7dT1IMb Éew,mv02Coҁ$J8DT: jDgYZ ""S/C% 4Consensus_RefinedConsensus_Refined.Uv_Proofsdocument.tex7zXZִF! `4Q]A-MՋhvG"uIBm5=XEpAT&_Z4ϙ "O#G@G]qDA .WiZl#nEm1)Q*7ΗfݡL1hQC顇mk2|-;aL(֝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,]6xmXy|`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|cb~B%P /aKN) \tAŻdPrێq3!QҠ+ A[a/IRΦ5->OwPjsXP9 ~+*CIABɶQ:?RDWeZ1 ǥlMEQ!z(Zfi'.}m`%\l]hn+s]!* .9G6(d"d#ʩ2MLJ]v ;1̼(WPtb;}]DYW6oú PԌTFe[)8nu($@O x[{Ϟ&ry"!(Ҋ-rU?Ǥ]g!GZʂ$=C l&D| ~ddMFف>tXl|p\]"S+Z:Lظ g俕(N(oȕp:ppn1/~'DMn{AQ;Q7Щ$Lm_LP:\31y ]/BUf]F~1y=#ѳ*rؚCqK K[ڑRC;[ /3 Mw'4J%]b{lUMQ*=癿` `Gbӆ,4w8Zɾ38,q9ԶfG+vcӿbٕH* š7(IB[:1Rj@BwjNHMqeasSq,sN޲L7VKcdT2eՁt YdLki*__?m+sTTB]nR|ۯ,8Χ>.h`ƶ4ʕhoBbQ-#'wX<#\5IŞa:7DE)|& T|e9`DTr0c`ي*jݘ0ť3Y8Ԥcޣ.[& o"ZڠE;a֌BZ uO:BqcሬU|Y$*?H{l/Gm3+̷pEi1piB1hÍA3{\vfמ|]WZF"׍헍stXYp;.\Ҟqjd_ATCr_B 'sFyMyi屬+2ŗfkD\6rCuG$ (pj粁D5 (ZYvW>s 2 䏟6+Xoak[9s*B!N5 s^~?;aG :}ILkDZPKMY.V bg63(ݝ7HTqM8?@H~(&a2*݊l{+[Y[:пvNq(p2#q#?q ] =#[/'+PW%M:fhN yC-7`rs[VnFn/دfCx:0镋%Ƙ\AI{Op]oഴnK l4< |%pc9Ǵ-3wLk/cj;pV@ђ&+"̡=g%f TыѺ3Ԗlx}u5|xEU>bnI;r_X=&v_pPG(J_1}8ۖqOYkTa~u𯔩hPڬX?˝e3]ʞsS; qLN,Gkrxw2KuxN$R)튚IĠGO-&쿯)t@ GS{,Mr]*f&2RC8AMjn_G}Μ-H_.s:Rzιaq9Z=YPfAԕgUfҽ72H~渫pp ЃtWIyx+8YĎ>44n0,E=^%i񭄾{DJՓե 5mjD(q/=/@KeƏAH3bIȕ[N"S*{m"EՁ g>(TqC|n3B7fN2a%=T'j8vp}Xok5K0>,cToHrЊ Ι'Ydtck_S&1niFAc!vBZgy/n`#fr{ԄIݤ(^TO-p#jgq-X鷃aAXn p9"e$Cc8ŎEŊ~ mO"r[c7.j,bD^3IvQ_'kfJKN]F˜S=H}'"I#sp_.g\vuk]1m&?xrz]rYJPMOө;lm^q)7hlXe%"FA qE.0\5_}^i!׻e%ŋɎvrbRv /Z_G2gJ>3O@ \^@*y=Ŀ;7 7Pi.VAEdIMt=|2m1X5з%GZ&x) 1+~\G 9@\UtoZ \S?Tin?:EanT΁>Xh<$ר}^-`sqZa䝩`[U.<+G$[7 svUmy\MM* y+ӵb a$J>&YFg&1g.;ޘBk~èneY]urrBF_xF]-T[8\_S`!Txǩc\oi Њk P C_ΥSHiH$2>;*KsՈ"ꃼ\~[>$@DuR" 抌Q@kT[uN`͋O^џR3?Tlo O}9%@&\k 8Plb }BwQ;MrTǩG8 +W<ۦ C-v.薛|0Gc chxོT2Yg|7{$xCtP Uy@]x4aV60:wfgYZ AA4 /=% |Consensus_RefinedConsensus_Refined.Votingdocument.tex7zXZִF! $6]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 L˕~r U@;7z!`br^/^P}9PU:tŝx(FmWIK5=E r;I*aU 9I2 V 3UD]ZSnWwi+9 2x zIa^YJYZ nrko<gR .Oi:|Y {s,iݞϧ`MM`wJrO'[udM7nڱ#:x0ԡsZTn\kWS2%i]bdsfZjք gJ\9aA*klӿb"A܀ ̧7)i 4IF0_QΎP9ӹ/ၻw?V(m"ۦx#*70:J~.G( l7`r B[tTA#w\Uk6LZpX-&"L@Xv?U9dA*rxAI! h3 j0!c ZO#IMQݫ.T,_Uf| VPe`9LA[& #H dfМ aq?=47ͳŸ ݘϧv0#WJ%ÖoK}?E"Uv]+nV 9xu4t*'s\K Aa4N#uD-u*(Ių8lHpJ:p0;@j~m'K˨`$ޖQzb|`(+Cxs1>4 QGGV-ދXzp߉,0_қ|$H`V%:ӧȞ,f2Q[iK~\WT |[.9}vea]/U9ؗUfC+g 0ub&=G 5Ndds(`l'sZ9[L>n-}'=gkH_0 mUSbݻ@e`&;Waw}r߱!N B.fdqZR;mxU&b_#U_% J@jk |+ULOW?ސl*a \j[A֛KQˢ5R e_jF|_ܐ+['D`jBm}KxO'ऻ2K v$aXJb66V?+{o R?6*]hj,Z>*z T ߮n`r` fTʦ"zQ#Tޯc1߭t>h lry8aǓ@T;!̤i1g ,/0Z!tʵZb37̛ZF`qݬ!(d#v@.5DbqIѿ'T"5J~$wd#'n^llS躌okDNd)F!R2+Xč'sH5dD[X+UٻvƏFж,`mSOu k9*bBѻq_ht >#9V,)C{xi&g*}lB]|Oj΀<E[Uɻ׽׿9-Y'/M9N>Dپw G1F XD]AoO-a6vpP.D,b/"$[eeIZ9P= ZVӾ`щ)DD=Qy.1nͷT_@3WsH~Ѡ6ỲK$m L툆'uM>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@# )קڕpOhz5 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=9ti,{P5|t\k{~2$ٺ AGoq4Yɞ;&d ʳYVmtyy *%[BGZ.B]xOZ 3IV(,Ÿ̻ H C8Gx)ܺسƭ ʭ]ʔ Kkqvfb g+qWLڵy/.wW犼1*@Pq#^.gH[}9l` -I@ C-Wk`:K^jKY(Fßjt3mjp}TIK9g/kmj²L(l`QmUA!HTDlL$]o̶*wğ5!tv:'cN Zʵzf&}x_,<[/HugOj!F gC9 w]$?3"k:dȪ3?pfEeW3[JiV9$QʀJ_U#$ @ z!ONfLv5,,tL;# BBtπ!9mS0/ZɋLeAuYL=X'ϝUbX)n!Uk)}$[U`, xڶ͎RZP ـ8ớaٶ`)5x4P YxsؼqP6 +ct4i.-];g[05pKA۰0."50zt՗A: rjPmɏ!z+(@V2 XTE)WBp V{5>%V4Dj,$%??.A響;rWĉˬ]ozXUx"n[/9 -ўeg|UreCLc3zt/4Do1~Ba l1C!5wrOXCnW)\w\tmֻz/T]^CAmgV83KT d` 苭ɮ##%LG[x\`q!].!1iЬ./~3\X¥!i2d⮈`ОlV^H|AqJ5mwWg̨faB%ßOs7Ew}vGNP̤RMU8-a>n~7ؘ}fige^2VHD1qPnƕ<-*DBp E EbOg/&bs=VNiC(oH[exQVbb6+<лzD8v'=o lCA RٰWUU_& JjvxnB!ա%T~s!ѝF4PIp.{/hv2]\NK>)TpDp# 1#9lhXfM2UTs)t)i]LORtH >%;mo2{= l)Hh,S@mWEo"ۉV)ywlE!/ r_m79 4DzifdV]E=SB!v~#VF^܌ItY͊A3e-C[brDej)h չDۘSy3OЕ/)sϔ?e1) ~f&iUkHtA]OwO:Ak8n<  H;yМPyCiL.1)؋V V"N&=wLJy:/T>b~ l╯R{_ʽn.\)ppP.vhT=2hBƹ c:fvSX :'9ChSC]~O'(t6h0]6k;9J.гxat!Y#/ +B{*SW2 't>Ʒ1@+<Ò !D9a/UAlc }=KVR>+u|9E X7䗘R.D:LUq礗RiԦcB>&ўsČ2R&2#rfMXbq+t'~B&ٻQA # }!Լ(>}w/ɣSꞑgҳbȇU<YC$HiJ_ٽRAAttuW*8,8Cw} D h/`bH?D'ے>%Ź^tҩo.LfiKib뎶 1R:Fn[,S[2//_*KgYZ   h /M% TConsensus_RefinedConsensus_Refined.Consensus_Miscdocument.tex7zXZִF! cd]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"j#Հ m/. Xҳd<0&/[o< ѹij3=29Ac&5~N@ =H'T:.(tBT[pdž- YznJ1:X6 ߧp-Fl])n ¤+ѴAjeHJa{ٕ'Xd>DKa AܺPˈϨTxoL$@E̩ux~8-Վ81" lW3ܫk5?a`b]&kSurٷYtd+|U6R)^Ew;eap'+{ն@QE) Dd(x'mUFh+@w05 tAS+͝LlWKc%щBp2|o \NL, N " .w s}"I^/x]e+8`z*d ]2%C{^܉ލś@&k[1Dhk%~\f6~'aaNgS+0(k8zLAiXWK4*L1"GO>H֚:X뾗mH3zIp̠26 4 !b*ĝOmf9 \B(iX2+Z4^"cmeRdJrѨ81#X@B%-ȆNHh嶓,dWe:vV"f O&*},m:%6p<涉{_Ҋm*ZZXl՛TQ=/;P[%P?R0Ӻ2Cx"snZȂ^#G! %B3OSmU]pzy5< L3LDu e)'}<N\ eeE"oLw`hepgVgZ|w%# "i&n̈T8Uh7I`~Xv-a/O42*J/% өbWu m&*.q@$8띶bge ܁6Tlvsn'hT=8hME?B -ds8`]0燔b m/g!DZtD3G9Ȥ(9kWʭ$y8 P 5n{9={Y _{ wO"2@mBmՙ^Q ~xv6E-4bM'҅VKl,I?uV~XL¸OچHwypNT4 J&ч@MQX8"w.*[Chp>[boӶl6wSY!2`f h.Q 5M}g0& ћ,~IRʼnBn_6Χ \6/)WHbDj)6tb^OY:'6$\KU%(şCpV+H*ML&!pmzò SPwxiPyv hl|敁űW34u1a"=N \ۋ/#X8~pKsB;,u_1oF&M?9BvOQǒYswԥXNoY**pҊZ+#뉵ʄ\+Hmd^K:!kȷ*V YQ}/F(ǺO@M4e۽U+μ]N0lz ?(Vڼ Ф\{C;pE_0q1ߚ_:3XGIˢ; cTƪ`@bζfzmY5@$-5SWuz8kG|,1 cބMF_u{O$?F]7X Dnt ̷s3${cd6/EEL| Arn7f/$%1%eHLK>,OJ:ŨH};TnڕB'qAX\m gzx*o;jL@PmzI`7zt)dz  긋M|x7)I Ml)uw%9N(-txیTßy{}%+n j H^ܘ[GcVq}T0 dUf_Riy(`vm&uT&퀍PK%]TTBj2XZ;w('J;#ҟE:Ɨ$a)IA'\,lU}9VMMw\&Xj$lꋉt ^0rg^T)@"<ś6ɇl y蕶`*IH}f^IE/*9Gj.Ҵ0=ErQAWFN4=58c Q7W6g0>/(t7>>S6ai*-4Cq$7Aony4Hk4/J=@*N6 q9+!c|/Dwc=ڑ^Ald;7 =k.q4[ GgL[KF)]7SXfx` Dw@˟,zEz하0zXg/dz=X(e<\]eΒ7WV Ln?9PٌdC9$nI=dXB7 ,IB^"Qp;'5Fש_gYZ $ /=% \Consensus_RefinedHOL-Library.Infinite_Setdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 26{3(fFbluDݎ[ٴHYHO)uDߥ ?|O~,ge78 ?UJG1+vsfk~(5ZN~p'Y51K.C ǽ# IG< t7$!pغլ+Yb.GA<Q~euL[LDB te!<vbt~c'¿?Z5؅s#Ls&{%ŝiOytXu?֥S߯_9ч'wIk#w;2n2 FK:EP.,% p{ κ"{UIT|PƎG3G`.%5;"E4 {b.G i?~aT箫CXt =%hZ qtkLv·.HV+b9r::]!9q*|qV۞k+j"~٣agY2ߖiՏ@F‚he$o(oiX> -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-- )3\]2Ʒ(ټo8q #+hcu+^IEZ(Ȁ* )/-ޞ\YUMJ]"p]< p=Z#jxy?u-X1n K:̃]v%o}SQULO w ry/5%M  =i0jɜ7^pُ8 W.Y҆Bs0̣m(/ѭȨcM$k¦i[D=.fT/ક"Zq%9ٕbq>-eWz~$?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 IId/M% LConsensus_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>GCk^?2i, 䪨=5P~BOp(lK1mC`zKՒBmNdڶ|fJ+>z3x۱zc{y'W$L9/ZWWY5߹"2RSRfoB6i=Adw\E<;fA*`43Xks̳/ VG5_9)8bMt!ύX2G yAVewJ),]kXY4VIHOEiUE<4ue+EK0[|ԏ&_b>@_^oɯho2?!*oy7ۜ.ޔs$}$?Ŭ$.%k\\A{ ֡ҼA_m,Yu؃/{/\wɺQ7+%sO lJ 4Z8F͊0VGP/'Q޾r[fY|GeCwjsڳH6,'մXQ 0*E|$#c1.jٛN&+δvh(ݸIhS fڸ y*ofg+o FխM {'iLJPƙ꯭+ތxHyP-hHgP֋˱,N*G yJ25ezerbռ˴To,.Df.k'BIL,4p9fm!\˒%R qy[Vy< S&Sh-Kɒg/~|W_ًwhjuWT˦&Ix|]O&s#aLv[i@QY%&NQ`Mo.O=_1ʅᗦ¦lsuXj<+PbJp@8V=Mi)`36:tk! S15ؼO  7C>Ɲfz>^(XЕ/&hd -d{]j4(IE`rRߖR|cR'R7{s(;Q去V#ԣIEU%݁~Bܔ2LmEߨ;7^S,Ll/| `\5gsMO`sfYE$V ƿl擋͈HoK{*;f7yڬ[C"ؚ">4qꅺcƺM 4|ۉnUE޹ؔu(c>6>jI$t#9%a,sAc@޴/9^%Uȏ0oWYKT9hk gjP-,ҳ„!Uz+prБ4jTC]Վjv/{!&ךu ͣfQovԴ4U"5%}AʀWq@^av؁I֮ FK&2g\y-ʡϿjHr!_)iw5to,qq.8ouH~Vw1Vō']6+(v݁> ~w_3xR9_.cfq(~j+ "V68ãml̠'H߂% )RvBp U^pS]GQC$ s-u6e|E3rHrfC.̀>[zKo*J,l]_16+YXSD>O,Ǎ˄5w&U44(a]Cͨ܇hR_pIH>Rb:1K‡{Μy#!}z-0Z(-c;hw4l;(AFa_9C4-V W7_TQSl.?! -炧Po${5F06+Md}Txv)#_dj_`JGB}}jjZD3,ӌv*"$9y6Wpnyb%!Vxis۹TqGCQL^a }P妠ۧl+؄;J,\VYbj }='XXUgX/6csfts2911[cQq+ʩ@}tAyYAgj%9ٰI P `fL<3\Q]!T]w k@ɰAH XntuOss| 1ϳC)GQc{9f]2Y5؀~h4/tz0o|̗ʭd$}(~*Qr!FlLH.pXF RPxU-;sSjtziOHnk/ΉzL.Tc87(A4}q> X200~5ib6Pd:卭 _1}VJV4@E3?O 'sg~Eֿ*ڤ d/u#IEƕ5&yZ|*Ɛ|p:kmU\>{fsqd"/-̄++!m)mF]e⭇(7*i;,:KWS;yXqe;N9T%J< 6ŹAqxMU*+\^ FVpYړ '/)f oG'VKk Ta.3wE&]H2qDJ(%]}ÀEvhn5r g*AeSԴa~"3šmNVZ1OV/9nO{-U̬n ! ePGDxT{|#5Sր'z/ ',ܚ(AoO5J輪ӖQҮU#]ߨ{:* HX!5[wfa D 6^48mHO}MЇW#LvgYZoAyw]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 4 B # 'Qy[ 2p6&&C+|CN\x|k<.N1z#'`^m 煕lq^GJێEDO;b?X(Ⲫ@ែ9g~+36ӭ]Ά1pg`ŷeV y)U7,I/_% Consensus_RefinedStuttering_Equivalence.StutterEquivalencedocument.tex7zXZִF! ෠]A-MՋhvG"uIBm5ȩ)e1EZ{rKl@3 yqpN͘mł'tWٗWhǔ7+m4Ĥ +"wU1d#H;5iBGSNga8Yh܍ ٠! n}  %<#e_ywl:yھs 8V iO+~LË)5icX {Mxs*7 Zu7hV}w2YEY PPXab+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/);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ƤgYZ֕9P13Ju@MlZf!ʾU:aexH*Vg82Whs~,!drKr, Jw-vlj+:.EаH FWhC$ooG` 3_.ӟĩs@9i5E7!/$2З0]Ƽњ~'kĸzi Nx5`Ƙո+ 4|ĿY>D1>݌6ǥTwYb#|5.8+(Q|c7wm&瑳Nfa>ҊPVo 7HMt_Dݔ>k-xx5R6GNvt^4^j֙՟R;6 b4/oK>"n̗<1 u7 ƉDL`멁qчaes,,[L&$=*SkJUþGz"qwIViᴺPtSՕZ#b/_`D}A64skq~w`5⻀F1X,D1gH,bV`Oa!oQP:*0"jcɸU]0WGœ>2R|"dURǯ my{6b1]l[(*fh(`0ftNh7`at'r(|*v̳/VT[;F7껸=>Ns^<6)#(ltXNY;"*(gfXް1ժ D1yN~:E+!onΦȆD UQC鶞=s"g w DZVߏC~'-RCkX5}:6SU*1N*t>mBOk蹚7NdOPUjG~yLUώ!I]}m Iγ)Nn{;4.V|/0F͑W:׵—L7ar'cSI ^ Yjs~,9\Oq]%ɲuN=׌զ:dYP S_S6yj^ z&0)R]`O_ |ַZ)@Qy>oqخNvXF<N'yؐX:s/^7SiѪaBNWeaUk/3)Ug&젦DW< v-^H S#=/Gq.uN8:LSƶÉ#|e eR? ;4`eeiKl~6xFWe!@ǘ4w(P!yc }7:G鎻z/P Bj$<ܭ31.d5ՙY|J=I2ϛ6ȑ{rI`p%?)I6}"O{§Df-!ׁ#(zp;R}~۰ѫqn@&t,/ 5m8&$C>Ԕ!'DfFA{a3tpN;E>B==#נм4gqkqY(%݈ h*TRNΪh:ㅋ8%^S6۬-QR55 ]o6.@8`!}CN`t\S&e\LjcG!qF'gZ`?Noȯ4/)VҮKZ=km;]{hMpP2WP 9QF~pé*-t,=zGT:|gec:Wlt Ji$E l/|EIޒ/oP:dK*Ԓ}.`cfVk/R=Z \;ڟ_MJ~+֜ i *U 5uIB@zm~v[ |y֍X6WRӱ-C yK/r9JTb\*G|+ ji-S% *jm 8DK@xfms,Uc'G(Ҷ2[~J9^NtDH`ϼ9fۨm󢋔}6vm1`z bp+q, BMQ̥H-xZ9(+ &6i]րK r4J }0>ޠt@0+ER<*9xSqA>M6o5̜36-| t RT gW3k Q_&۠s|+JF+v@om, $11B\OnwN8\ncH]R5<pC< A;v'Dkg ˭#{AVy[k.G'?db7n9[6flvRс(j_ސBt3)Bqz+/aTo#˓ӳ9E ,F::Һkl>=l'dWu.iM^7*2U?6Cx_n]\\)N[m"J P6rt^m`՟]ZNh 2g2E5$DQjcd^{]Z|*HuI CrUE#lB{+rtQ2f*X*@)h ,@ dgթ`H U,1b|SŴIWu (4qdpԳzF @d%#<--/\4Q21qvV5i3 +o~MenC3!!PgYZc%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 <;G`WBeL !%xuU[\pg H(X|dlHfk))2(rn 䈚-f !N?UY}!Mףr1G3]_~ =x]Hѕ?O] hL+C"KPL-!ҽ\ oA5vnlǎP+pFH!D/y%7IWݘCbH-.G;K*l46%a噂0Ez<._Tag ZAjVh-a5J JBCYlusSuk&!Yo _U'\t|Hp O 9oWV$25m诹q%|BJ֮K2%[Yj>eî(4G/Q!GzQzhCnǩᰞDrL,,&TZop$z\|;[;$u5>job\`Bc:jSIsmJ\';_d *)¦RO%=[}6خy(dLK  B09iK.N'rL)[HWE~9́P:|[/t>HeaVq4QBЫ3U=(<2IVQд ^GLPp ?2@hAHRy,mnI66RAkΘ W~bDPL-B&Q-k25m_<^b2W-uqd;aF+$NE~r+y0bb]n*@=^ 8b%KdvXPUЯT8ꯝEh3%ݒɟ ePVl Ei؅]xRM?5r ,Ul -=2bIt2 _Vٳ͊ER:z5mjM%{ 99,C^?k;0Pjo2VU@pȦ.%22U Ʒʓ#Nhɠ{Q>Zyxixo}'K_ȿGJGՅhW̢:WXul{`8O8uGwXχK6Y.K,`!Ox!:)J1Bl DATx LhTE?Z0F3R3y"}lK?x=)RSIog^7,br8:ARo%Ґ+uBgn;M)Q4:F(RCuÂ5vNv/[+@z&=XΕy䩵*[[ k 8s $UiM}R,;P^1ӼSˆ[å+\ 2颽J}ه^K?3H;A&-0QZFSMY*`8nM:AQ.r1;wq]RY֔$<ғo/1:kЭ*: !ڏzǂ$]:)2qWyxOD \{'fF \T(#kHiU&l<lZ=g>%3Zz^x2ol4"Bpi{檺s"N`s RDk]R|tlD*RYI $6MB v% 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«mPc2_1Jܔҋ 䯋͝ip`uV6/BX 309%W#/^6\ÿ\ඨ`{S]1H::B4kL aV8~W{4MG5'q! )lKEǚMs- ep-(U)M|x0w f8;h߲B19t(!,g?Gਛ ,~}S˺P{7FE9)[ %Ǘ/9*?2g-mw V'JS1JƖK0- kBqt,"K[~v}" C?Ig'?8sl-Fi?K?,] !Vfqw qKR91JX:Z|XZܭϪE&'EefDlo.D&S0-&XO:d-MSCJ"wҞ\x ` C#г<^76}ɇċ1vK!\-j2jݏDŽlˣVڿ>6|_úm%*JxֺZCd],r398/=xiY;_+ge=kאָ%m?/|7]*bc!Ul-iל4HcH9vq`h!C_ ܓgW&o;}ZM)|cbifYLm{ =SMz!(fQJV$Dpq _X\H`z oC/y";^/C8 [h7x4' `,1.x[_Ҧe q"@P\mDxۘټCP#!va //@ۓT(2"R)/8uQ~I'ީ\CBDk9Y+bqx*< {PFFS̒XatQ)SUpıyҡ㰉FX2,O5 ұ*@KT︀HwqU~w)@ WNu{7L YF-U7­`^ ik{Yۀ~Bń[6# Y!'^P_mSy撚 \u2&{iNh6q2Ij]7r.Qw4|_/;=$yO'LXLyv)gkO4{K(qZf׌[ \㠟bunRڋql*`џܕ?OV=;*4M-wJy62|D7iܦv,L$qH_M:~XW"`[(KTz@niIe8=1~ϲ`G^>أ 7嬡pWr?j/?qp5Jw/3-1 *:vp)Hx:c:ʸ#xI0] iqPN&/}u-Fpu< [+3$.B% a=7ߠI_l.Qkv{t<{T&GBƻ?HuP7-r9/JVx0/D2ŋ2/7ծM/00te5n3 -.=>m}V0{cH 2o~% O/ɲr ۞LΥ!޿)ޢ{P)pR3_6g=1/V`Q.z/BR"4=uFYK\QMR7V#v3#AFJfD|x ,i2rQJ G,q5^Y{zWXF+7o-rʉcSO ]a.6Y%(0wX"7bqWN|FކX ]䀶w8eSMN%{/߾C[(_ _-$"Н%4CXQQEcMra-;nLgYZ /E% KgxWZ瞲fy6Zf7нy!Y'4;n Vp>4kk wt3ɝVC+PB'f \I1:ZpwGXWV`T}C F shvFbfxQHBQОOGjyWWNK¶K:eYvL:WG P8໾=5d&cNcO;&$u Jg۳4f~XֵD&s~efPdKq|Г0O۵lX?_oP$)f5Mh$aevWl?~@NIj^|яB~wv~+kyaVh Z:̑7Sb>M6\7za97ScN~IM|$s.dOטsNo|M6//91f >2zO@S2㝢#v5'M=8[Dz|QKJFV CN 7ۛ>4ZlFe`ưw΃ lckx祵z˴^~% jwָyl`Xe{w!0=T2cQ e=BYCYDN #.V|i/Vq q&$j)AaӼlۤf#zٛd4ZT@c2ZQ?g g䰷u,ai>̘b̂wn K@'l VʼnI)& 8?}B [?p@ uu#JZ Mk s|alu)dzhi\To"QP.6G|oi)c ba'EXB"4^3Р9Y0Ĥ3Ҏ*%, X{quS.OBz>=pwon$4J' oj_hڦt0­$ ʭ [U t/)lеq)m :K?H;t8vp.Cp뛒P_~mY=HD<nj1"K1F?/~ ,h=ubIV5g*Q):稤8$#"q/a]wes6t#si 30g[Y (nMx+tQdy[*L)t NhyF+D:Zt ,C<=x?#5YA/ z49Nb)'üaQ w4=rPJ8P7q^Nh 4JFovGd$d)u | ;܄zwk䧠LV{ڛmNy@ʰ|H:+.-k+~8>8.?*]f^x!T1l0Z+ c4p~\#c+E;-x5b^Hnn͹l"af4# 3pOӕ&MIh{xip.hz91g={ȱUi`r#1:ds:vij0b vg*K# %psli I9_忀+> o;.hɮ^X#=.$!{(AGPC5\`j6ѹw{kWxAGqѾRW'J/UX4:7nXh8RN]f%Ǔ]. =rNgBr՚/51'W2v\G<$ܰ*1?x5UF"bնY817]e :F8ƜPE=$*cp'0\2&_3TI% -IT`Tk2=Ǯ=;oPeGU4 fq1-Y>ga4!ڂ۟?=XeSI0Ŀ.`*EY6QʍKnWm1JCԬabv'A/Q} @q?NYoZ. BBho++fJbKoMbYgF)*43eD<;ٿ0d'@q5~ S2FQ6>L_%y{D:ƶgk_Yfk$\ ='p dЋi&,Hb7w+R󕼽ev"ÏAZ[:Hգ`oyĒGE%?ԩ=#Eݺ G!j8/~hbh1DJ MrxJ[|{Xs61E⚆򠏜V,4[?3cǭPh,gRXa9zHwMTfHKVSWNn7̀1mmnᏤV@iL)Zfll|3y_i.̹U5I6eÝa#OEepVN3nB gp hڬ姬BR"S8urdƙagYZ 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&%J@i-n8: Nj/yv.6$v\3ٮ0|/gHPcBE͂bvF*rJ1ߍkZ[XҩgnєRևWp R*c=3_X5 욍DN|rQ6 <T/ILӢrfx{E΃jjإ57"(JHtVCP(e,`OS7K,/[͹\[O `8\ZT0f5NuBg<ר6ˋ#Z*N N0ݪ ТN3D; Rw3TXrs?)XC|^@&Jd6H @?+ρNeZ XɎf X2yꝝG9>E߭,C+~M?B mڤ?s4osgL}spס(- Uc#l7r89E="_ַegۧ{&# h7n,=g<ш8RZ  ؁ -,C)0mیOӦ y};w!ޜ0eYNGK[nM)ٺ̣ǘp!RARn 'qCgS%"J4CL*Kz9>D1NG!..\Vc1Q^AJk{1#VK聈-'(ǒ[cW";=8zNuiaX̞KEBMBa'sw ȤMI5κ9QT½7m4V"X (Yb~'|8;@qX ~:FrKB~Qvsp_߶Y2]05ުQ(o uל7z|2)2!%|~k pE^nc/Dm`-˸ZmW,/I&_ F!`jN@~cb^]pQ!Tu-~y6P %Yn\t_y֑͵y֞HAul /2(N#ذiXS*Jf" \(8ylDGy1pժG'J6pܧ08K(7*kV!kPL ċdL0 V/%-U˝E]a>,1Hw\Rl1xDbir+ r'䊣Ȼi(I+.mqc_( fx4(U9]IoCOCNR iKm.Ru";=QRxYMS+bbPԳԤeX$N55 ]-i5a[0pJH]1e D4[%GӂBђ& haBZ=/,#1KR4<ڞ` ]X9]}*6 vR4"Vš#CzYqǡ#DN̒4RSӓPbb37xlG!d-Hґ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 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= 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 8^8#!/3% dConsensus_RefinedHeard_Of.Majoritiesdocument.tex7zXZִF! 1I]A-MՋhvG"uIBm5*-VM)d#XS6 E [Qҫ Z7o{dV ؆v2;_QَADMK>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| "(% '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)#<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  6%&/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֭˸gYZq%/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$>QuOgYZG$/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-۱gYZ.plbVo)d,}xΚS-܈CNٵԑP@K1C_&l nw/ Ű6H%eՙ'{]fgͰGWƈsǍǁBaȞA_m̤p ʵAػD;)-?C:I#Q$<*CW\O~䥈V`;5uKRΚZR {ɟCAR$8X>wBN -~LX'-Xt^я?mg xA7ZNb%n V7iH_[U9q 6??Hu_f܈J~14w dL)I1le+-cjJB՜t(( C6cQ^ZWpk53&h1 EA[s4$n1WO~Msu Z]5u+(&*o(C1bx+rg4-H T]`OYj/ ,H@7iک.tXmv{wgN^LY^t5y{R86 y w^~vWF NDa?/$T]zk}cB #ɩ ADTTLDʧ?![Xw(*J2 T Jգv@ZQ#$-׾bYӀ7S<1gYZ7zXZִF! է ;]ŗXi%;NTIxR>8CZ8weʉ* ]4Cjg6cuw/  ?ˆںpt}ôtP$SU *l]jϗR#QF-;o;` Ӈ#ַw-0{:6}8Cr:si$n- i U 'q:>Gx瘙Jރs )Ze=U8{>w L&Dw|-Ӌp/ 3xM%2ʗӹ'`}s]Az /fe ^嗡iu=X5}{ Zv3+_q 셱7_\ㄟ;⷇E+R Ŀ"‹r@oy8- ypw ay<e: {xt162K4wdo8z41'pnY1gYLeuc0I`VNр!L+pB; $KAi*]mJMfPf1Bn:\ٝ+~PWҶYP3ˮv- w \B4_y0Y}Qɦ<7^S㿴Z6x֦ޕYͲ|\\%r\q 5KT6)9H|. Ԇ t鴼X?5fšv_iC1 rXօ:8Zok eo3Mol!wM!Ӱҧ$읇|MV> k@ 47fYu%5NIW|L3?*Grh?! f[Z=q &75&O&w`f1^Hv34MK윋=|-`aj85{Թ(.}Eq9Iz̦=T9ڶbfDdխlA7TuR hQ4 xDv"Cܰ#츮Ȟlj(qJ@uiX1+ %U 'pUg=AGn:nym*kNqB' H{E>c(a*HkdbM?$!ᦓ J. +)ntLw%WRDW޲yݒ3< Z"͞9 +#Lk~0h %˻$,U׏S5/(m* gb4.RSkl/?`L]uU=ewzqJԱ > 3Gt8Laõu?4pIӔh֭M5ϺA(-;rL!mT:ǐ-0Il{Rd59޿KƠ$y"jo:zq ܿ.p@Of؄q j"~lÛ @ww6״hԹ8]j58k9Voݕ6D$PP* Z3Nm)8s+D,"b&üL_zH֯%iv_FtԫJmqҎӲfapʰڵ5E`y5o,O\`$;IwsaIM&a ln,ױ}>L/jYs;|OI_iUq:VwV$-s, r{Ȉu]H@;~v|.^Vֻ|xY2,֎I'2i!K=LJNz7,ݢϒKiL#vf6:5WG4RD xWąD2|%[#5 qH;g582-gM`T+<:4Z(k9iInlApv I}} +oteEAfB*PK椽I;NkބCzhB6(F