SQLite format 3@ ?.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  s/vt l ]/ Consensus_Refined:threads=4elapsed=44.153cpu=129.480gc=4.9847zXZִF! ` ]ŗXiɟH)0!h^!bPK.mXU V9{Gř$hQ儦c63v}{z ;~oLJ&-(O9k'BQ J=Qg4!l}Uioh29=Ϧ#D~?QO<V4dh ڿ_r>Ȕ[Q[bl $Tw+ѡ98$$W!2zVN9vLL+dY5x.{t í ~!JΟQ^ / Consensus_Refinedy=~ya /C% LConsensus_RefinedHOL-Library.Omega_Words_Fundocument.tex7zXZִF! 9`]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'!:$Tn@f6j1\)6QR+"0vNh#w)쇎`2L,j<ǔtI}uvPdaT9Ϩ fK_ѧN/\of+ vTiZo>w f.ǤwtpwG6=F.`Ku ZfyTRз6Кz!VrCN"V}.BNn+R QFiӠ oudY2D~\BZ7_od׌mY1BJdmή06Zs.Lו5imlz2+''ΡoB*n01$0m^ Y -. 2t斪M^jaQg텖d_{rȼ|QRnxS v}-֢,DCwOfK\ܴU8|WښuBȈuRp_0"HSTC>{$.1K/7| SYY),ܧA/>8>"t ͗ {QSΥ5 #5=$G[m%[U}.`S!0šكE[C!h ;ҥC7t 5/.LH ~\)4y #eJ/Fγ6Ϙ ̣_q{\4>EiʝN9@+4y}ieFhSanI`x-}j`b33bD$1$N/l5H8utdm'?l[eeUL9j{@(9T!dW쬂:ZܑfN#D'% ZmIɴB _ozX?~mUaD>ג5]Mc]'htM` >7'p' D^&Z aqYḣA4C猼xN,hhKY驅lIi}b721Es^Qǎ׹x.^3ݍyjQO6h˺ZKм B֯Ek?.ThᕸhkEoPO$vBP>[lW4"Ьi;eΩZB4Cqȇ :#{ؒ a:dR;ch˗[sK+rJݨfs m. K P9@.aDB+?SWSjعN*~$kcbS $t:LRR\.ٱ࿉d^Nn12V8'Ͼ1^9BGoM^y6ɲH   /1% $Consensus_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*<%;$:#9 876543210/.)'% # !     &U NW e M U q  ^ %  @^ ) X =/A%Consensus_RefinedConsensus_Refined.MRU_Votedocument.tex&F/S%Consensus_RefinedConsensus_Refined.OneThirdRule_Defsdocument.tex%>/C%Consensus_RefinedConsensus_Refined.Two_Stepsdocument.tex$D/O%Consensus_RefinedConsensus_Refined.Consensus_Typesdocument.tex#@/G%Consensus_RefinedConsensus_Refined.Three_Stepsdocument.tex"</?%Consensus_RefinedConsensus_Refined.Quorumsdocument.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.texJ/[%Consensus_RefinedConsensus_Refined.Observing_Quorums_Optdocument.tex</?%Consensus_RefinedConsensus_Refined.Uv_Defsdocument.tex>/C%Consensus_RefinedConsensus_Refined.Same_Votedocument.tex?/E%Consensus_RefinedConsensus_Refined.Paxos_Defsdocument.tex</?%Consensus_RefinedConsensus_Refined.CT_Defsdocument.texF/S%Consensus_RefinedConsensus_Refined.Observing_Quorumsdocument.tex?/E%Consensus_RefinedConsensus_Refined.Voting_Optdocument.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.tex;/=%Consensus_RefinedConsensus_Refined.Votingdocument.texH/W%Consensus_RefinedConsensus_Refined.OneThirdRule_Proofsdocument.tex C/M%Consensus_RefinedConsensus_Refined.Consensus_Miscdocument.tex >/C%Consensus_RefinedConsensus_Refined.CT_Proofsdocument.tex A/I%Consensus_RefinedConsensus_Refined.Paxos_Proofsdocument.tex >/C%Consensus_RefinedConsensus_Refined.Uv_Proofsdocument.tex I/Y%Consensus_RefinedConsensus_Refined.New_Algorithm_Proofsdocument.texA/I%Consensus_RefinedConsensus_Refined.BenOr_Proofsdocument.texB/K%Consensus_RefinedStuttering_Equivalence.Samplersdocument.tex;/=%Consensus_RefinedHOL-Library.Infinite_Setdocument.tex?/E%Consensus_RefinedConsensus_Refined.Refinementdocument.tex3/-%Consensus_RefinedHeard_Of.HOModeldocument.tex>/C%Consensus_RefinedHOL-Library.Omega_Words_Fundocument.tex4/1% Consensus_RefinedHeard_Of.Reductiondocument.texFC%SE†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\>Gi, @ /и S[Ȟv ECmVhu!wV+M`ZCxH둧4CC+X+CPA&lY5K÷S"KϢEpC 6$WW#Sn͈|_{n\B<.*#YE/Nn/4Te@-m BLl~ab$6i/r#a+3[1K~hd G`vWBbtayC߮V z٢KQ"i׫cw_DҚhfe $5& +*&ǏǢHva" ۏ])>`u_=kjn/C$"%=[xr1%YM+!2u5WpDz0M=˾$/@=vK6! [wX/S7؀95ś ;<Դ!"yբ7beMbxJ%{>!R+VwE5%FYkvuov'7U2ޣ=]3q&8Iwqr*oJ(;վ.O9 oa/V:T.0;GەY cThij!"-bP'p8oZ~1aPd"Z8. /]xzHt!XCaZv*G-EQ>sL+B> 4,$)P2]ͺy_IN[T|VOorõd ;*rzqiF4TT @/QhBMHTحrj:έ(PaR0k\c/"1!2H5; ϑoƔ@ CrWKz .ໂ#KH װ|Q6.ݵ+X)=l`h,CjszZMҺ[DyR# i ǿx4鏦Oaݡeiܣ0!8OKOS15CT|I yiBO_$.Xdσ'XR`p-O&uRǤ/5ZF(ǶxSjV9?o*a4,VO}dC}Ⱦ\ҩλdRrG?aD"S5 ohwF9=H.d^Os BoÏ8?HVBR!8?N]]YZb c4qt f Mc\ɮiBeN /'>TNkӠFMcB-piFcă5?Dĥb1NѷïH4XG/|*l][SpI6sUU"D<`R!J*qtxzہ}ke2RMGULtv<᳙v0bX'`'8#t`JzFd`JxgC^_ :},'&YlZA'2<ΩiEIQLYo֏C6_.c =DKT;wl$"L1@6&HmJLX`4G  dʭW\`N`³jr52#w);|BmcC<2-tQ }Zx \X`wpU>񿭆C_u}lَWzi #OgYZ }m_2kT ElN4=j/<᳣6LM5';?1ֻ=rذSG)g<']qۙCTrj,-uJ e\`JqFDh%}$-B13nL|KF2//jd q K ;mH#&#N;ZK(C)^ٯ|욙(S xy~.bjzOQcqCZM+M_bҕE7bw܃ O->\חv$'P[:`מ p; ~IE'&Hqe7ɮ6.?lDjT^A ~mtS.iQ~n“?1@6w#{ʢc <34qQ&uQBlq*tF idE˨L-iP|[ _]cn IL*dA]cj CѸ4{~ԭ:[eVA賧CzЕ.S(0].j'}@Jۀ8=ȃ#-W"t)V?8#3vSo@GC(j+BV.:,`U")ia0=GI3 327T7ߛ ;->`,X%"=zKsa!Ai V>eG:"8AxE^40%'c|po,:DaybP*6*'t+hXT~@Zm_" )lϱ~݃]o^R\A R|j5I:/. 7ꐤ.Cÿ({̂N^[7 Xt;W)3"N9A )l*!ѽ_lVTDw M\@y{!%dfOߓ$Ndދ(@?',p+#f\NcHk} nbaLFHɠW8ts1q`[p49rb.K ߥF綈 /.rWt.^H׭W)Ċz)x }`3vƋp(5zͅ4ۛŷ;xGS"}ĝ %x+;:)Co=sa镇UѦӗxOݣ9{PQt{xG:u`C}zΖ)={ Ƚ^ H ksshP:uMMRϟ8`6nh LKBGu*K*m}~kSLLbMȒLFbϫ Bc^ZhjaJQA׵}g!j+q4)Y ~kfMm¶feVrAa4S-F}M p QȯQ滨;zz`ڐHDPa|/8  B=T1Y>qKb1 9mCz%;}W̆O.M>#y(NZ$;JgÆϥSY,oz437oQ+Ȥդ{μ K E8 n-͘ԡ8.a?AQz} ˆN3hZT㴢ifQXɪS><c!aU/GCbf\ju*ߥ);zF#R+P7A.5XڷW;ˡh0ٙ˕,'#w6nQbp~(1LsP3y(h + n=zsa Zwj5L(M joYXLÏTR#";8 zMc h\aANnu%htb5V%YnzEE"Pm$ EQ [D/IleU5~A4ʒ;PF0Ij*ljy=$[U]][i18l=RT, kCÆbqL>g'.:Fk#u#-?>jW"b:.ȟմ&.2.w(s{~'OuՌ'<㐗熴Eǐ#4R4>}+Oc|zWY%Pf qhN>D5ʊ".G@U5T8ق%׼sR7DT>T.A?DMz[귏U›w&?%]d2Sr;YhKI%X@odFMN0E󭷫ql䉬R_??NѺPWzNiI1HW3T4eWig=Ћ: /  .~BP eyщEDSBN;*@DGB͑ &=$#tnۢo ]1Zbl06E(@4׿#4끎 ¯b}jj%qHp]3XeNy6z߲ s~Vxf3ID@_[u'*?VbE]~@%;njn=-$X |tkj>/mc=*&K{(O#`%P[?Q07b]=JH=͎,FK) gR&ѣU1s:DXBgfWwM<9T}п d(4Bޥ~%sۓ^+4];PhK4N vA #B_y1ҟ#Bc;JhB)4T؎4u<9}{`5cq61Ϣ'RBbϣLU_:/ \`~5 Ӯ+e't3DVW?mY _meaWzcE9 ;sSw$+j²U4eq}P XiBScS) O,ۈGbZY7,i=d͇t'Ok3yl)A t` y;[({j 9cd_ &1}XuӮĖ/v:#CQx ĚG+ ) p-)QJZƚ`ɳQ;[Ó'ㅘth5o9e]*; 1KH]+2XEVwiZI?YCQ Vl[/LɝHp) a:څ.e#&Q߅5iek8qG S$`aԮDOO&f]QҔ^˭.SV`Scɋ@sZT=Kdt]E8I'Z·>XZLiX0W-PA҇ߕ5'*K&N6ҥH?oD'kݱ|'%t(@̝ Z߶Zڸ`3mxeFި1 |T2 C',D]QoNzwT"y:P^867ͭ=Cj)xDS> +<nt5Jb_ P${ΚQ$mIWef8 \"3 >ohEaXӻ&C؜Z{HHZ1Z)5.bo0:6lwM?D6oێYX0ow+^~jK "Զ>Ǵ/(;n`ns.cUyJVc6S(R9LE!1B!^}7^o6k~SB)4ܖ'qj0n1S/*'8b)L)Koޅg6Vho($Du8@&8ʇiQG3ME ajXO_"(v{v491ŒqK*d5xdtjWSY$1]M")e~am [23v[7QBʮϩ6p&v]Gٸ]R%!z@>m|>@:Gv\MR:BQY;Jfة ^>Kc-b. HƄ ]kc7>e*R\g{Mwt, $O1ZT/Nꑵ؀!T>S.])frKO+R>ILс4HI'$t0@_tvƪHyOǶ 8Num%ܛ||+P#-y_G^-ZI]Ysasb<.>g<\z7,(H֮4D^;%_&GA!$?lz32ru)INwB p`vuC{PuE B~’tV|o!-}lYV9& k?`cTdC]N RÆUES_A-Cq l8p fzŠA0SAIRS(N&⻌x$^U ~B4-In|M0[W Og8dm?^LA{G%LT&A6"wধƮ gYAn`dJ"Qw2nɫѓuOH oEi~wb)dKKW&Q.DS5Q[%(Am6g-ҀXhh]-֑(# >mnIr{it(PWѼ;Cj> GJ%:dpdɸ 48 m c܆|>/I_iVn`O(e)KEW)4س>DI4;#L}Kv̕K̚q17:W'rM%M{͂7JN&ž)' MTj~?PŶ #o=Y/8QDTC B B ]\UtbOy_JnSm+f:䅗g}>CE~CP,gsy݀Qz, vc{$c|@( Qx^gL:̸H1*VT0[ܩGkc/ pmJ=\H}D;r90`*wh??H"Ҹϋ+NIwi!4'&XaTNL--vXm[,Da&YMz+1XmhmQ77ɼ>Ůf';؄b/EAU7d!qFT7%],0([Trb jU/5'nYڸl8"i;%" bO]rx^aJ3ypmu~#yF8@gn$Dx;RD\i׎^?@8ZNXu ]I"/M)5*uad\ HG]tLuTc9tƋK6]!}CQWǯ ]R!8'69Qo7sJL*xĸQtp2< ^evMJ+̽B^;=)|[$ō2-iT{OѧaihH캪ҡn/nLڦu8WG6^{AG'Z HxfB]G|S\笟32/?ZIѠy U%J8;6BAq@흈:XkxpR3{BH Չ)wsO^ȸ'6yޏ1 ZX`y.`5~tcWa}IiFCk$Uu?${dۆB *y!Eo8,R3ݸ_|(~᜜ yH|ÀUxtC Hv.k @%6|5Y ּL?9h[")B*DX:59t` 6Ӫ {f|Pm9$s>Gumg@;+Nr%%&v,&lh%wʁS^b]t(4?UXb_2xQ(a%n1ImѽH천^9}AveX q] bm<:g#ꯘlw90Ҷ#,l ' >!((dPL+0||ҹY75s@2ƽ}f ʌF ~=VNj+^M!Ilp7T6_EӧjW/Ov&f Dh6> w+T` ?Xk7M_C[G!VP%ptn40U+Syź)% E; L)x>̺*_P:1]i|W XZ,O%6{EEqڠN}zGMzW JJIfmzto "nO<_Ovv8}T!WhDyP# \޺[jIZP,W;Q%eH|h1fP>ױmr%nEO1[ܰ\` Up~-;# te6nLe,#]c!.)S&Lb`E+P=wP޽-U֣3 ʍK*0ѦŏSDpu6,Hg%~416$i,(M[ԏjEz7L/!乡W-q `F&Wx{`C-% cT^ ~'Nw+y#&MS&Qg̚O(ϷtsT's fö¶ {S&lt1Wk7;F[@s-zCEnq-ez{!:z)!IAM#pW\WGq=ِ#1KX*gLtd ׅo؉!*2l>5'ƶPvRY`x4GC0Υ1v Ol 9 CH[g2 U\(e8SfPsLJ_6u J\#Ni^d{]S}">qR(d$]99.C/lǒh8SC85ҪF0'wL%6]5~Pz8CDY GM֡  a_Xܻ'>*xB9A1qR TDw9DfYe; /ToJu,h2OjDǾ%#~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\4bRUe3/zk DfI,IWH\V3 |{/,Hst|y.-W\Zy02uт<ӵUQ \ԠY{D0%3G A".MtGa@mcsbOg%ce+4=kM[L5>EvSA)@x(w捔łwRS@ahՐ [d=zj̥Oyo]D(jo>^[Sd ݉2o2&}k og o 3@ hPq^H){s= ކׇK"t5Όjbdh&+LI/~3*7\j.c.[8%ܾDY [A7bz_nH81xA_am0.C; ^ySМ/>6mzܦhѠ0aYWMqguznEi_&,!YQu2ӅVݭ\(NFxD@[tZʈPƯ+0.òNptd%m^9sF ^79J|&sבZ{T^p9OwE hX / :&w],Evz5'@b)שT<;OBJÐ0H`_ wm@Q'1Y7̮4MQtoZTF*0[m `!/֯Lt{sa(y_sS{Owe:`+?ݏ=ٍXK4WKiF (}N)DY,vxz^lyGGy~NU7G" s=Y@eЇ)=u@B$}']$m;|VƐ~7B/ ok5c&>ίgYZ  a /C% LConsensus_RefinedHOL-Library.Omega_Words_Fundocument.tex7zXZִF! 9`]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'!:$Tn@f6j1\)6QR+"0vNh#w)쇎`2L,j<ǔtI}uvPdaT9Ϩ fK_ѧN/\of+ vTiZo>w f.ǤwtpwG6=F.`Ku ZfyTRз6Кz!VrCN"V}.BNn+R QFiӠ oudY2D~\BZ7_od׌mY1BJdmή06Zs.Lו5imlz2+''ΡoB*n01$0m^ Y -. 2t斪M^jaQg텖d_{rȼ|QRnxS v}-֢,DCwOfK\ܴU8|WښuBȈuRp_0"HSTC>{$.1K/7| SYY),ܧA/>8>"t ͗ {QSΥ5 #5=$G[m%[U}.`S!0šكE[C!h ;ҥC7t 5/.LH ~\)4y #eJ/Fγ6Ϙ ̣_q{\4>EiʝN9@+4y}ieFhSanI`x-}j`b33bD$1$N/l5H8utdm'?l[eeUL9j{@(9T!dW쬂:ZܑfN#D'% ZmIɴB _ozX?~mUaD>ג5]Mc]'htM` >7'p' D^&Z aqYḣA4C猼xN,hhKY驅lIi}b721Es^Qǎ׹x.^3ݍyjQO6h˺ZKм B֯Ek?.ThᕸhkEoPO$vBP>[lW4"Ьi;eΩZB4Cqȇ :#{ؒ a:dR;ch˗[sK+rJݨfs m. K P9@.aDB+?SWSjعN*~$kcbS $t:LRR\.ٱ࿉d^Nn12V8'Ͼ1^9BGoM^y6ɲH   /1% $Consensus_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>GXX ||y/-% Consensus_RefinedHeard_Of.HOModeldocument.tex7zXZִF! .]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, 0J87Z@"Ԧ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&e1!4] @m1CzqI4٨A@x v{NٻTχ^$bHXinXR3=X>7  ]Ȳ%[CsE ]03;m|*\! ;'ɔ+w<"6:koXbщ~r$[Foܽayl);#?mF΅ Xa@':-4lJZ#-yT~ g.{؎V0ҢGi90EĻ-⦆7<*MݘqR:/} tj]݄ZF⧟V@%%dupЀl*Kw2Mm_'.Yd`γk1,cƹUN-i:5NCE!TPSR4TCeق9 7rClH۫ՓQ!-EogDHԁgHbp5G3|:RYmf K(NqH[ׅHV #= ׎Mm&8\%WS }YVc`YpJf6 D~RD|yZ4 e RL~YؔCξZj(4" -94Yn !4VS@W %Τp@akkWꜽ<=BC_$4xX'h6s헫lZp)Tya!}r- ѧ<u v)SeYiqr Q RvPmKBh~6s[a22LC1lPჩj/aztʅ)-4.[B+y+VlMFc3#51B64h㲬~ZD*(n*Ñ ϛ7բy܋㤽8+d Ǡs1>>@ _)콶ir|Y|(6dP6EA'izI}HemO26U~ڰ/Kot XHhe "C~m"IJe)LꆧδI'o7/f)W# *Hbgr\9}Ͷ#%feP_vfeHW 3"ThBe$\%<{l*ҹ">MGsX_.<)7+쓭嘻 Pc3M(&OЩHu/g.\چS|tX nw€^ش]rtxi_gRqmUςu4CdʟɖNy:Elm9d/'Kaeljz^hϨ&y,!e|8ǫ`cxfn؊*Y S;:i˩:*vprRU #yqJ*>|Ge /.>L {r|tdV|0ӚI7iO+a^Nc;zc."Daմ%.i70YѭF&xRN5K ^Gc{vD?49dvdN= dk2ް@6N%-W1+p(2%ڰ䟫_@wR6aEOtl!="n%:[ΛoԫYYbc׶bk p6C\"O6[X.@-YG%_s_QNJܙ쫖RWc~:2{5ު![>}GfL 4gR 8x  ?g+οpݛAb9w5Z.U)y(^0/ǐ\!}As9Lt"1L{Ьt/V9<2-~$"ԕ #k5Pia<֨`"@^ɪR0.\Y{lfK:6! F'x- pʝ(A Pom+ɽQ{9>ɾ$A׭% ) !2dx~#{ތu}4XiET~4} 5-&oC?%ӷb>_g ב Y~IJx*JrM/l9/̈́OKq>Z& R} 39A^aeVV#kQM,%sC7'&h:☐7`q79B|G5(Cx3,)ګù.Kg2yԘk\u*)ju>_ZJ J(v9u *Ҩ [I;3sVZ VXRܽ<Q=GvcRV"m..782Ա¾q朻GauK}֔qp& X~@vJ:u^xA8ӍJfn;zbW0@RD~,pR|T2JIPO^Y PY,P)!Sn.ki'smŕnϚJ,IߪG:b6=%Ӊyk#)IL 9Ztxf9WM {nj+餋dl=>[lc[P |c Otŏ} 1 O7ÚsտR%TAӵy:~R'B#>4J# €AX'h%<8IP%sa NyNu;~[ A6#*(sF M5zz7Ű[QnWb.Tus)qўIDo":9 Cfolntթ+둯uxDޚ:Va0j=|2V}y|<<'_&n3:^Q I1a >^oWd}! iqa6ʋ :ޡ%~΄|upi/Y'}1)at;/$/X)9:e>1ߋ&buֶ[fmMM"6\Ę̧$1 e?WA4#:@w ԩ%K49[? 닒+Hρl۳>$khf0J4Y})-ˁUy˜dy1rT.r|R@›Ym^&; @_6>z xF=A#:tŊ0jeGqfr]RS8/RڤsT %eYF mt~n{t_ŘnPCCaLEE3VzXv6BD)R#GhTªN*ʁ!3yCODhW# ̴4pu54\(s*5NG~V~?(Y9tQ,6m0&e@˂Vrft%ϗ@Oו=tP`MP[|"V(M3 P=ۼa^]X3{dO@9š'_Tijj_ %F4d9 CAcf7)A `,M3lQ>OhKh%s>.+b\߆0aC7\.E(2q5PS䷋3Kcs@c>(;5BPJeJ{:A׾gׄ"n ϗaee5A}p=+fqp}r7tr3)([J{P2 gv󀓇l>> )Hc8y];i~J[+GTB8Uۛ4Ŀqbh4?XhSQ"gx$=x<$3Boyv 7}kG0?U*:Y4BEo)x['aRM\@G@-h<UftB?g1fM[ c{ecز? ŋҔTELCv9`O/aOiy56Ro#@dטz eA2x^XS3Qa[D:_I{<.^tBDe/#i>;*̛WB=`uTҴ}3u6|%uH5rw5EZszd:-M߸eoQ e$s Ž恉)Nb#0 7_v9C$NX3H=U5Ngk,Xc. g|vH9m9G_MT]֧"Fo,׹alM3 g)v' qomδLǝz2(i}K]KsYHȜ"H)bau _s T r讖,y|5ܱTSQxf?<:)qۆ4^l3.ۆ)"OKo>DߝmEp<.a-uM( mu/o.֣ъ[J^ >0&& ~Iw҆@*3.5]NML*'r(=L`wTqZm1\"?Hd/F|3>jSRZ/AMMN *hC7K; %#MCV i_O %G>w[ ¨LjdkZښ*æv'h{1#U IR|Aenw$E,0rBa,KfTŗf9Q203o\+hmƻ$;Bl@qKR5, ΰՋ<@E{yrΠTAl#k>x#8]nX,? 3kX,LVv1H:xCP`yLifp- j Rs@J2"Mu@C Cdo_: KȎCD"?1exWLS:inxQEwkMFr)K %&Vf.ϙ@3^e`Do<` He@wN`w.ZC[*ভAqd'@>}}gv410OevKЉFRU Kg񕛣t#|BVQA~_~G||Aƣ w+N, C]8T5:ܤ֗U+Ӂza 6dO~x6nzB!.1VӴ.A(vBՎL~W8 6 YZ8,CB7 Yds/畱vz$$rw}{md˸q* J5dE_GD]si<7gX_uO@Gnn2l~7L8nnwqdq ο  z5%T J-0v }^1Rp0l1_;ޚ6B )9&bsyѿJVj\"M?-8JS4vM GdE,I+8Mx`?\ĮKB>L`ҐrƳͣ pW3QdAF+N.nsWΓ}r ~=>,:mq`fEclnE]*N+o8Hn2SB.~Zjlpzۯ-̲**S(>EYA$AByT\H) wV\8ʹ8UiESn)!}5ͪ|dHXeGIogf}s .K\%Jp}Q#?+3$,>g ,´>jxk{ @a_Pu㡵wݝ<ٖsŁTtA%i <$Q{ӛ! er`?5YO+h7wHvZ=d04F&gATpZ갌{Ԯo U=̀NVRj޴Əp=^bPQ%B&I.qkPʬ >4`Up wc/S a5#6b#YVnmlλJPNk)WD2damv~!OȺa|NEL,8 DED}rJﱾ% U\8)_W#c$Pl2)Ħ\s݅\^}Rn0)F LĴr6SZ fwJ>nX rbi0'j`[c[q\JfK6khu/>Dsxq,~g"n?K#wG_Q{<7A ,Ekt8\sG_QBzHC5SF(.iH_UOO {I `K~C5],z1ΰ{R#Rvy`|6V]gs3cɀfE,u=yg2 } By: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ݽ}bJ蕉UP@!f /=% \Consensus_RefinedHOL-Library.Infinite_Setdocument.tex7zXZִF! '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-- )3r\ мX[mϿ,<Ѳ֫B5hVgJ[bs' rx?'IYUJ޾B *zқBhFQұDщ$C0R53q&ן~H/ u¶0j/!Z)Ȣ:5g)T/'F!K_-:}~TF!א?VC/X#RTAk0ok ĕPl0)9ȧ 6N2"C{FHt*b.@'vI6t r.?ݻ# NH9#Jİ !Tk,C11a P&e{9n{])\\Ӎj#b!6e /㚰VH@Pͫs0v&Q}[煥!:*[=bXd{TC΍Lڑ*WmETX:gvV9JڦF^tABX/M8a;4bQѐ[;*x݄,$0 g/^+Vqf7Q2/u7Kﭯ>KSPSGutۭwYq z"E;AgdMWjlBY;rYpB(H82z"5D%F0N32M"(B"I.%d4NӂAe畺8s* /E% \Consensus_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Ҹc% Fw MA@5xEKݴu/ íԊYҐA,Nu2Gekto,},iF+m'[S=]F IwHyv> ӖruloNdرY"S˱Y>d*,_ڋψ?[: .d}6S9aj\^a)mqևp}s;Fi=+orMY}] (C%ɲsQA423_ Z1&=ݱ1'ՌzU,B?ho~)SНY,_A]2e`u[uT Oʆ&NQ |o TϢv{pƸb%9-@IT0ҹT+ @%'.6rڅ ط[]R:%kr%@ qD^taHjij&叫fn}YX^4iMu%腍%MǤzvA(9C)i|N(\,֪sWBz=஍FWUu25ntqӅё ]gyu쵳Z]c@>O`Lob醍9q~o,я;"`U@jke&xˑ S) L"9yEIa:-BY-gnjlP=ڹ;jX([\ G;:_([i*@4";dyjRoj|#bj- Vps#W`g~pZ[G#L[hC"Rg~"JO|@;s)KY9NKR>`.<ÊO60OTD Ic,&&M dy!q̟+WA4F'uN)Awp.^gKtb$26I"UmLP]`ϫsǛT'8 )FNV4׶7᳠Փ!O&Y00I'}IiV:ܚ}qXXW 3NjQcOk<6M~{<\RVSZMQ˘Uվ]z[ b3'=b<U ="iT20m<q_&wҟd;NUX{kp'a;}'v7{yY4%Á0bJ]DL. };ڶwiݭvv_qePcjfN+YN{2aɎBa& C_bik}3ΌV L*AZ@֟,3ia+GJK@e\o0TrGOHd> 9Kg_exd~ͨ[٤P?XO~u|c4QGܱIDb8QNm(j~/0OD6|)bǵm.D6цR=DQ #M02#9e[&roPy[7]x|$!SIsH0%MS\hdrqJt *{`,l<4L,kark<9ݩlV(C*AF4{tn%|%c UJAw-xZ.ã]-q_hh @3x]I|a^Q3o2Bj>c,Ʀ ͧѹjSh}]^@!+lm@ZʪR%@1kp@ܺq{N} sc 4XaBiI~RHn#Zy:M:98K7]vanxTltD<|0%F_f VrYֆ mȋxo y>t9q{ep Wā@ψvPe$gUL¶ 1TԋzM)#處=rKGpQ;41q2]Ÿ[^"t!變%)M&f)BF Mtܺ`a4z]zY̧3E|[M0j1CmR7ߝLnTZV,$Q2keFd`ĥ#D925&\r7ƶ~KRCUB۹ڲbA"jA6q(Y(̝ޘA"na/{ .; o co2(>&<%j 0c{.3JY$K.L?ST|.}Y> %oNv1qOoxJ`LՄ\OrR 5*!EE:z=9sFqT+D\328}UMlnH7KOYԌ-Nm) QI,m~ {lW=}{S3 ^d4ZFpp>!eU J{zW՗S/X 7հ5NO 73b_ od󚪋$ģldG1W$e7p1*Q_&(b`K%mצELThVUzvV2a`)fUYբI(qrS6pC\Ts); W耵`wSVfdQ17bgg`rh3EˇY"E@kƛ1nv!dކvT1Tݰʣ}&7W!On'EfF`X>_7]ibh^,fF](W&T$טSUmʂv13 ~S"j+-%Xj7K[? xi򬇔{tY8{=)1Q-z&vPW#Lq [4 >xn^/`L:Rx~mlQ=5kakyNiq?]56X58{)NXޢٷ .}6뽥E.  岤yx;)r<T64 XfbKS[t>Z_;"OhB+wfDVːMHr&p]7OjMá0legnڇ8^: 7arxq=y]^ h0V ʎbÄǥqYb ~BD⾢vv8 lrg5W qƔ/6FbZb)}9JoWU5H cpkɁ Eg֢J2W!'[o9c^FMEcӍ`^ױGIi{ qh]amAox%;7;d,bUqũq\b])}T ~/[_bk؁HMڇjǓCT/z؅(cYrC 䡌dޚo95lvbպ4;?"S371:mHZE想ߌP~ӂ_VK m )j5k6s_ n d%!( [Xi.լ]zU7A%~#U==S|w"%Ǥ#:XM}s멯0?jgI[, @5EUV yJhW&}h$fKL<(Ccߺn|=bt~i0;$+N&Tur~,L4ɏ=_?U\mQĉ?YJ_ݾonuVE h#)_# I$@5T ۅ:)ڥL{oƜ@Vf`)27֎ϮZ5; *ۃMVݖQKVrCA %ee%uYhbeLʙ=..Hc&0,1 svs&}ƪ[w}H+{J7ݍϱ6KL+d 46V<׻pHT)^g[+I+c0;{8Sfι{K? rZQށ^եÒn k*8N`:3C}qDC:Ŵ+Kb;"3BK.N?ኬ+*ܽc h[/ @&^"<ߒYk@eMdzm 6Wy)HBsyӽI1P`8QA8yddj4/0.pg,PvV$Lҡ/=q WkCŲ5tjg*n E鳜oBiLĩn[Um kJX>ꓴ0j=s`(Gly |w :{KgP r3}0i^ģ@%uovWz=}GM쏆*JWDwR\ۖBJ/ ODFX`A1i*ƵFj$?mLg6>4j ܡ`(߭x1e8]㸷S ̗(jT/qrF?n܏,/ ?4dXkcaD1F֓|y(*zdq/Aޏ@xV-ԺWNz'ho9+ys6~s4Eц B_0\XoY$ar@ѩpH]nC)qdt|k48c6muwQ—7( 9QJoH11<~?PE :b}kQ&YB ')!]6 ltg=V =1W"7n9-ycW$0 "Ԅs=Be<`t l 2N]\ZӒA#kOx)`dxz$-+o81J2h3.sقS`\d-,ᬾ쒫M1˸]i4O.3?Vʻ}ωٍLj" kS|MkpI6}[qpabM}f [8%}&1+e84Bw%Wr"ED??$)knƉQ3H:pA-lf Vy,/X)%^D/ ``<8+KVMjra6mJ'1K]J'#Y?'ՀC~ Co`f!ct2αOeF Pź:^3l=d% "k f^qP);!7e8 x: XClkcAC]M{j*w’6; /t`C-!"~hWJ$dqS~(B+W©lEDөתVCF"nyƩFO3V]"w+(˔.zhsh536W!<燾zߧ [i:{feYÞF|D7"j6S#l +y8oRFk =*pGAKKEW&ӄ=ӥvC16CoHMȂbG` >;gDh\ lן}ns gݧJĶr{!_0Ī%{_] /< p2]  \i43ݮHQv1h(D5IlaF1LZ+n| mIy V,>N <&QK+*īdP/U`[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?wc2*J 2K-VZ=h]&ܛC,]Od܁.H%>l{jyX5i[O8+$:h(}onHܟX>݇ >uIO۟vq-珟>.X;Sr=wz"DctxYMԮG>~'6|]lΡw0U_;wtUMB^n #AL͔Z~d-_g%-bFQX6Qm#p3ey.޹ƀ/sP rj<_w'm}R+F*9R X0kTȈ l6m37کKk9~_pV`[rc>X%q@C3NI5eVN|G(K݌xL8=cߵjg{)r& p84RHaj?ooE+M%>TY=r{ ]Qw?tk:z5.d r l#kUgꉣiCJF}Hl'CLZ>$]iCix&kd]=T7M铭X%S>ygpѩ% ݏħ%*:1qqP♃W!Mxozfm܃BŖFAÒAs^a4+DLJ!b~ 9@q%R2Tsv}N ;"4[z+v(պ1g(F .Kgo[ ݔ$[vaǂ>˄m ɷkS;voU8(SDUŔs&4=QO_esuh]XMxP&ma=5>,4 ֪޼%6lC*@aEjTY]̸'p @mJ| SB9Nb wQqZ;gtTu "<^GVqiWkݪ蓖Ai51=ʮ1OA:2~,b6҅Cgn*&#$Lo= zӮ22"Gp:Ӌ^:na)ϒb"!y¤  3B.|m@H(GQXolX*M "8>;e#"D3Nz0J-k syC 2svD E%5EUtpdbUV.a 1?QVEX!oŎOlu#~2,QCjH_2K 5@xcQjuBXvpOXM>vDžku*BI~tO"HC3mitOZ抒frFP{v#0 ]vrEnO+ڿ:Z(rr?"3Xʶ]UI6~{)h5}&m aJ쏊(.e:%kO7A{`d%]5?XwNNWjXS.Sv*eEenR@@u75Kѿ򔐿BX1}s&%1DxNqRy mڼiy-U׉{djscV |I[s(< 6nDYMZpkEoV#<=ljҨd;o|W'd\j @NGJup6^?Pd<VctqEv]mRH,"R*STO$^BR$&w3}9%AbUh\vxXܶk O?dwD9sqh%J1/(\4ALNP'vkL#V(N_ XvwGE&K P"#PaTg>dz{#=QY=UahU7ٽ<-!º MrmʭuF '׷ʶ$y=Muhb!,1ؙUoBk^|hp?bkLmn/ƝM*X; 奼.o=,=]GIaPߛ皷LT#_P`8JM#|)}HnP,LWH3") x.?qY%!jyF9ĽֻsIÆU) F21 0RqloW7+bDLj<^zGh0ɹ}eqΗr]W6`fcauAI;Dk&F;\Pԍ=]rQ:qI)~Ä?&-[ʕլmv?|Z Am769I~FЩE5UvjJ|̢0N(^ D[VyPjFafz S܅3b W^MExڝthnTl+YȘ9ɥފb4Cd Z`AQ7rTlVO]BLs̮8d俻tKǔ^ J]}A#KdSaHK)<5Kb%U3[rvB҈'"p1a0A܈/FjWFXKbsk!t3BU'qD@ g`DK NQ6jw^C+6\e]Ԉxwu,}g̈́{yJ Ɍ./Q@KzmyQy_c떄aDh!.S2c/WpPo$ -ߦ_a7ztǟ/s@j#sOVwCQ8{F#59Iӏl8eA`Whp =JL_P>nfLOմ3|z=~VY%"}sE f˔ş+2m.qP0?}}_w 0ELu=T)M_^zӯQwEqu X咍w&M|$$t`Ğzea;#9ܺc0}ʾ$X7UQhHؒ c}܀d8HnFLf?"+`<#C̥޷ZTnCqKd#E%0“y+`۰=Y`  aR |7> s{6}!0+X/ډoVTsV{Vvt] 8[I$$!e7/)W1`ȿ>0O_3/w/\R|wʈtٮL69p⑏ޟ)-޽١1׶ 2ow ^Ki̱޳mqOֻ%H \r/ CB/^2cw< LZDd%Fj&7qj s?H$FeB +(|ۀ Gu.A Fk{t|OXĖ! ᰈDdK"C4T??aJKJ"Q֬= yRyG>ᆵܸ)mqg"yF gٔ )S:%Mj hSl Jܞҷ;gYZitpPujgN: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شl7D\\K~Z^o^y\Y]LjDx74 KB:g}I{@ Ce3uv۹NI2.я"qj4?2x*\L$N⒋ǴN;Qv7d0?NK69Q0);c]X.^=u^&= *AS7` M]OsX-z9o ?$ ϻro=]yRN/rצ}f0 H4r獦:l]sn=zs "e 9qc1^ Ј+HYϛq~a H| /_Oyۯ;O˰5Y̡b[:OB*6ut DKK|MRQN'b?U*@ h&QCGdU(2e^]`i7{rN޴@|-87 ,5 S/8qHM-m/͟~Q S|ޔ+RF&BR<3sF@H%fCX}L@[%g)Vw@KM-%d7Hʭ(oz!rRAoFn{b 竰%x3!RR;+')5Q B)MT&wg`"87'HvV8Dpo,g#UO U} 3S(_Irc.Mn[`z ^CM! bAʀ?Ӥ5puFM,H̀0|;JKxkZETlZt)S;|I+ըfs:g'G?ZU{4HfRj, 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끄~t3QsAքF5P)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_/Bnkjw0`Vs6{9wÜ,*:X-0eK3K %O 9NWCc=fLhfpo!k6CxVPֆMUJx`UU.ɿc'ԺP5ݘYrHQ:S@yo)3CdOdi(L-7&U\c[?  :? ܼ$?ɔV"8\) 0s,uG;l^.m|ȢA*8Ui0sUszMsj ũOOf|+p4AiEW^ޮBGF$r'&,yˀ ;z*5Noq}dӤ,loLKV819 \+c j3_6\r*U8&p$4\iϙcK>Lٞ=\>/f$N+cvE8DEї{4< ľ 7[kb@/{A BeHfܢT(zkHU쭁EtdU_J])BKw"Sn5alUH 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 BZ KBt;$'1ADf )e3AQ3/=O8t;A.6'_6:>wR^ߚBLs~K+^S7vSrYD"JO[ E&t%p!!oXȝ6+_H| XeeGh4H6SO%XIk28g!;#PAP+X4dN_Z|'׼ݞiސIVTGbcA2'cOGu+vFՆb}UJ@5Eji٘SRs>fj$oهq }޼t , oZmP=PK$32usy@Uy2V+{+eu1 k]_ea"TeE+.Riڸz="[@ Dfr{si5@l)}"$qVLGTY_ަ0sY~l: UC~P,r\!~eW;K-=[R; M ^P}F^B6=+1pe:5Il b _j7ŵMR̿p댂s邼N 1  [˽K [I u㱦zm."`оm]/`\yX :5jKT9¿ (S߾/$Q͢jeMuzfoa`⃍6: 'kgYZ !!T /C% 4Consensus_RefinedConsensus_Refined.Uv_Proofsdocument.tex7zXZִF! `=Q]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,]6xbmXy|`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  v؉aBJPINZ|fq0RSjceHOmmA!,;"<rA[| &2eRd64ReMZJS#w~ey}"W;ağ.6 {}RZ˗eP-h}ڶp52]GCHj*ewZjT4LCvK~sМ#:_%LĥCF^qZ('wX2z$[+bC3c[!xo.R^n?$⚞:lr?ԥ;l> ??XdLD}Ի5ꙿz|\ E i_NSUt(*R77 /RD3^NHPzx"ZٵսsOF7! 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|cuM>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,èXnJr˯s6Fr08qmCcS,|2mA\r#0XY((ͤqy7g5Ndއ:8f8i< KuՒL`1Lj la,*uBfS{/Y ˏ{n;,})ëS[ j|Wqlq;&ծol F8e%Ƣ R.%+INpdLJ kfQpuV9Ch|'o c~O ,hInVܧPYzt.me>-v]_|;3i+EB{6*+PW em/5p~0LZ*KB ±Y7Gu =e/reQ|.XgݨnĪN,N3oBuf&[4k az~W\#  i62{asndw5W&HtgϜWګ2%+ >p9c$JƠ5[g`]޾GБ0gsDި{fX;˒@Fo%hDwHzw^C#eY/u?V_}k';Y=(tSɭ,}q2})> !0ȉuGR;Xy5B>pg =n̜.B?ڷYa+Ty3 ]kؒ'6R?d@9R&EXdf9 @)]/T>>%@jDIU}\/E-%oF4r㜁aj iM 733n;kSөC]N Љ?T]0;c}"]'6 A` <%<2bA ?6/gYZ AA4 /C% tConsensus_RefinedConsensus_Refined.CT_Proofsdocument.tex7zXZִF! 22]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 aQ5k]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_Ϋ*y4@*';e'X?!rb+Ó-v(? g]utכeB+gbkk39mc /*p~HOw/Tbʴݛ i{S5)3-EVw"#^+;Cw'[8}WGZ7?0*Wjd\xd/3~4({X_g(O--bwgK| jX2V.9ֱgYZ a /M% DConsensus_RefinedConsensus_Refined.Consensus_Miscdocument.tex7zXZִF! lZ]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߳;")xfK}гJd](v#bH\P=[h!b9PLuR3H\Qfz0['l%LR|1}h.T4]B, E VF/^.\X(Ṽ' uJ7~(75#Xo-y63\1?+ro&v)tްH BǪY' .ح iˎxw/#+)PQԊI]BPѹdN~njInWKN/S'%HEsG")'6ę渀%^)<9%Y@ͯ`AqT.M>'< ydK=u7.e^}xy` h<:pt@!+fOMum^LuFTS5T}L^/Cp(Xlp2Д#[R}GdtSUk]Yb~}ԑG%)goލ :BΙ+[ QgMa|aWQ_ECAm63SE |j{Msv);vKͰMb!ɟώ,}å4+2Ze0OTR,͑Y A}Ff~p=XVZ4SB)r8,a_=CxAvZ磽Sx/tC.M5Du,NwEcbLyD1ӟQPm**jw$c$ ]7(q =Pe&:ӎrE9q S<&VcּݓаN +t7 xclqByX@|IB&'&~.jl¼B/o'Ni(D0TYF 9%]?+LQhAQÌxe&x+$Jv9DB5 xT|[V>[XpǯC Fjؓޥp*G:yk10 .)N„J㰔s̷k|1D3٣oߚmM* ]O":֙BF3!!V'BkcΦD4vB^`'<)0Ӹ{tW/*kfVJ 8!!{P\@rZR!>(+Wflve*p,CS$=6SEYp"YҶCfiw> SySȋDxcEV;Yj*&N&Yk };U\QF>^KWtqG?b ,PohlcWݬG`P'#p.[} s| tBu㲖eߊ0l"pa$%,{`&ћ+)dT8䝏ŕ>&61Lh Hˇ%-uM }e&5i[nlI("S-+Ga`nڮ=l-CEKf3o3/J Zj1.o9 ]ټi *7)B 8&8 )S,x! oM59MadIrw7B>.^k+YHE,ՆJEGewiSq($נ X#gkOB]x"Ҁ1fc4KEk\G.{th <]8 BxGN/s <+on89HSlX!%7/ܴ!hQ8˛qNbVܥ_uTca]f^]/}c!b*}Bne4G3ltڔ̡g6X۫Dim R:?BbYF1b>zdJ>O4oJ"'7 x|nȚOkA  ?DI;gZ<$@m+ﶖ_CpWwHFxTp 吶?8VT?/C`FYL$yZ2px[s}?]bl$##ȼ9`3|b)9q{sW~+OZws>`-0sxǘG1Ƃb,~tm!vW꾁pƠ J` I!tPjh+\٠4>%C%6^&rI!,5M'[lPr@}_%]I1WHT&/B F;fbEqQ*Q^LYa{ iQ N*˸{_D+U 9З\*/v_$@IHEVfdlq<{Obwt_c};jt8!3 8PR(r yvT09?kAF I h4KܚlhLW"QPĉ)Y亂YGA|# <+* rxC\`5 T >e|I}Z):JWj4n|M fs1"< HUajiI#AcONrF=شנ>hA64tЬ=<+/I_q?)0c #j5= }.Ju,9$AomCz'I>eӠk TMk'nk?S.Cku╰/ź%hR-3ÝQ]2n4dƞ&}~O+5XlJ(4.%e d4ƔȚLMZJP5R o* =qL=|0Q)p9m6iJ Y_;B4V#EV?mj{NadJ2r<Y3ul7ZVj(\jou?&tԫ.>w\Ր++/Q jkNT" vۤO sWOhSE2Fd=V]׻J"!{P&}ѓz밑N=$ ƂsQneU<\mW :.D%{bBN!;a+^W@G}1\crjR ZlOrXm# sJP]֖kɱ.%$7Ivw~kR=E!{D R[*[d-2Ƈ/L]|\/%gYZ : /W% lConsensus_RefinedConsensus_Refined.OneThirdRule_Proofsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ŁWdVV5saβ+f}:(BuH_|C54#J?:[uCڂR Ƅ[B3h{^KoI/*2hy^Oaz)cPP[pmȷ ׌.B7Kvg CLv®8Z!rtgHa̱+YzD[!B$f#?ySU qb-=|S`<4sefಹWFAT cWhі a3Wx$Nx}dsӎY֤ kyA;iCsjԴ8םӡÿ`N2w7bDLu4r@ebLs'q"?ӹ+3_NF< Wm9p~.lx+Xs2(p/2Da11~c?>8pd(也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*)Wڐg)pvCer^>@X(W85Z|Q2[>/~&*qAi';ʛ |9XCgfŕ|iZQҙeFAƋ\W,?O/<`3[6Nڡ,UՃ x@[s·R1;/Rd-NbaºVҷaDvag M&XmoA"|Gu5)KŤ#u^` #X줍HN~g1?ɲ\W#ZiomEDg%w6ȓ#s){Bz0Gs!k[NZ߆äGjQ~KEGQ"p'ܶt\/BL%ׂ .4#:cIm?y_p*yx:L'@) Y!>1MdgqrҸs[gg{.C&y$l@t"dCqnt7No%|9Zt] `#?FK3*pړbf1wl 0sM@"}gtdpx΀׌v=A砿/h7¡eaAi=q$PXuńVX1}t}&hY/|u ] XF ƃʊM!}[=F.z&["c\/u|n9$!z3QQ]`:OD`)>,ULW;S윞s]e&CR ]lɻU]$+00 UR2"}eO7Dm( 'hrT>x sGz01W*$AGpd5v۷u .hR0ԥ]:C &r0a*Դ%%cX\f*';[KNY+Y\gNݶ[CO֝=}>+ Y0zXIPk,0[郀V^V`嫋n+^Xa[pUoehw4CPav Nbvfsq"h2Ce2+F=`gNJD'9aཧk `bn}D^𢊅lPa vDܤTֿ'zeg=?{+7h5 ˗k]BZ([0!ǟRkxP4ЁvfnlH{9H {KYex"jlhFV O^45,m˖ʗDfKh2ܶl4Ĉ%`&6+M ʸsƇ] yby%xb^uAC"G zZ!_9N dgu£YUEch댑>j蜘tĨVp)F"̩&ف~֙@%]}Ӑ{׌WK'2| ǁ9DZ۰P>qLNE?BF|N_NrQ`j( #N3^5tEw]3%6'?U[ff{`P;^N@Nu<#%J US3^\L#|^gB J~ _Ȱ$bSa&7#yuFly\lv+N_ǧ70ifqcUUp zXRun]C5jA^A}_˽0+xR *V.(jɼƦhzKhy Z 2u/ju]1 qqwq#֍IH$U^)FVIo'Զ}%$S3&/ӰfvA`=l_RX)qH{Yϧ9Fk31=a,[l'HDVi^nP`&3v-`^D#8@ #LJRkUϮԦJX1RFI W1l20I@1gĉvV&!]oJuS $:c&WRGÒXuO[ x "ѡTtLu/΄'F{IG9QoľwB˪-UtӧA;ס?gAh2`SЎ326d .$e^np =Pκ ҡ~wlsAt:VR[|F)1%fLVU>/F/sv~AK_/4:J:)Ջғt3yb6%0Γ_e_fW];;.BP$]ֶB׼LNJ"2SA;_0݊lo{承(clB/A7j-)h;Q {ޏ^z c^DqD2}5O68Ep8,WPz ǚ;'=M@>8/,{Ui#v 6q!&5l˦ AH#\o{HR+c`89\0EwX%a&P5o@'=alN j nyơn&\)ѩc7ELF yO"D*;k<plFfƪm$FOdVh&\wZ-VWtԻ>ooM @վOsǸOALCʪ?T4I42JBY/s4@ٗ*u;`3T@(?1#q_3<9D^"S/' 7[ox#C1iY:ٖ=N:w/+x,czA3<(%(ژuC#^_ Tj1 KE6%G9yVޢ+sr^ {q)n/$f3l)?e O߃gѭPǦ9~ Mdyl\n&H㢈_Ұ7e66ϖ.H2ߵf5q9C&U%Ĥe|WE&&>YJV'Yl/^UxwHCtf(0x@!`%v޳-:uegYZ ll /=% $Consensus_RefinedConsensus_Refined.Votingdocument.tex7zXZִF! # ]A-MՋhvG"uIBm5VK]ALZeP8)K ]5LBw4K}=]5B~yET?%C3sx$w* XN4k6R \uy`t䐭[9aoa] 6z.6W'"H3%u5{Pݱ5'JC_ N6:f_u$a"jz?i_~Mag'29A}¨q&Q(x C TV c)wJ%4,cd |IJ2Yh ލ% ?D;)@ !oG&Cȏӫ@hCBvF!A JY޳ Qh(u~;1}W Vyu?ǏL~fDF}e\J'4.ңIh&A ^&6I%O?Td/{$Cv2EK#xҖt5Kzʴh 1B#]86i_p|,šOUp H j$Dԭ%_܆ gR^vDSŲ2ѣEYEjz^l^9}h` R>x]]l,:?um_Pp灄WeG~ g*/! J"16a0GŢ8}!kR_H$ُnK?G%<FNώdݶj秏=99UDcܱ)y@qӊos"]/K (8  U#<'|{L?)2+P6߻AOQߡ#Hof<,w`bQdRl\UNp 7yueI( ?Bϖo2\Jz\+X#_y7Pޮ^:+f^BaM{C2g4 ۤNE_@iaVPM6JQz- ~Rы#)1s/|h:A[+:Ghg,}j"KԸG,t`[jM :עwCWg ^ly ;.:V4Ғ>1&ҸXyA%(lzl`?IKŇFFRRJ(52ĺǥ1m_Ek 3ѕˤBZAyvSlo^> tM =(9+_R#2t=d>z๔ą?ALl4q*GU93tD2Ȳb==A_Peq . LpoD(zdl {4zZqG?G]{ˆT@n6!o|THt0'LI; UXw Ǘdtoxo"&^E]&ᴱ*2-V2r0a\1ȧ-h^쥥jxVnމ 4{{~j~fd"TǠ#F1gq+ b9{YqW {'h[M讹h}lӅ r:E|*d)83'{i\ŏYQDPIn_?Rmson`:,s)$(ʖ\yPHj#BVjLOCP>Y:C4yțK[/8 K7߼Cka9b+zՉ.F<61 ё3]=bD`JӘ=I'k#n6Yej*Re>ڱh7[o M_b/})&Sʛ& ZD>h41\L8̭ /bg/D^'bȋ:qs&ŵ1EF #MB_>6 ".DΝɋcI ي]ƞͼK/`JLcHw!AO|)=5#>sW?oB{|f&8-οe"2|pݭY?KahHM )xQ4etFOWv;:?FLp1[n1ȘςgW0%Ywj6`lG8 ux"ʬ lbiܦ2O$鴿gPF{]xȐ 'oOfd"Hv)!\ ]XG_*)6BgWF[Ӣ_Y*Cyw9ɈZ|3e׻_mݤ-Y]j87=_m2G#E mF& C7dm``+_ 8ie90Cj9MI?mPN umH)]mt؀p;4 YDŽ5('DKIna c~.5+ȑrYIH&#@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[Cx G&K ARM%;3{'{K̴fQ7ol67ջl.mq~fB~^]#K~,EtvNqur5Q}3)]avb[57X,wi\K b 7 0n"E'u#źqig# X6u? MAvڍHL-[ggqDۼLt<.:b@Iv%a@Yԫ4yv)E'(bPAq_$'aD|Ek؞0v!sDMcl\nX(c"nKSe97dwI[%KN/K.Zŷ]!:"*dF]58cZa7t!ʦ%A+\ 2-(D, 厊@LNwĢ{Ҽn\¹bobGh{Ͳ 8k Xal:cSL2G4@%WmǼC leLІ+J#[lCG7+';g8њT K?ZH [ENAҘC#ְqgYZ T $4DT1/U% \Consensus_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,F/_% |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 PPXa+a/E% LConsensus_RefinedConsensus_Refined.Ate_Proofsdocument.tex7zXZִF! *]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*e/M% LConsensus_RefinedConsensus_Refined.Three_Step_MRUdocument.tex7zXZִF! U]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|b0mB]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[߻ f`G*o0P'>z(\*E (QTcȎ@ukr "c 9_;gA6S hrS?]ސ xv(ǖN7U e,-q*K൓5_M^geVDZ8:oE1NM,/{Cr0+NJ2t0f+;| ͿiEMjAF^4= }5?t MNʐJ~􇂘 u?|KpfBz݊d9Tڎ_dn5m`t37j1SvDz?1 DFéFV=#U{`s(b!tqSaͽh+ ZWcKq86 <5cmceEJфoiLXh'›ve)Kc(y:k5*ٽ)f5ghtF\:+'F $Vͅ0yZG&z# hYmܘLvLKhpsD-Gmt[QH=R eVZHG>׼*)ј)o7̭Cqԡz>*˒yros$Hj~iYPRWչH%*\_Cbh1K&&).ggYZb;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=aB(\*!.x{SLDuI Tm5',/;ve8"2M(Q!aW\جQ, [^eʾ-ja!.wFʕ{ iOFeMc7 R`/)oB`ңV 6ZL8㓙bCq-7:$jzkqa 4;,3/Uw1^zP4{6P c^]Uo 9Km(z\mÚmh( }]2?FP.]!7H+gYZ֕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}У~r qVdjk`ٍ[Vx(SRASbVQkiI="/+Y}(jl %~Xld吱:zȵPUj&_e6 x)~VہV߁Qi|2Ο>vOcޫ?BU90VRqBm_Ovqz SoNd 'YN/P\H6uFoJEu|J8?"hµYDJCSֈPa/QŮ¢L #^Ka]6-G,<x D"yHffWq(_O7K1@2qg^Ov59s% qLlIhdPvN b^ zE\ JZUOnePSj41  "G'j"x^(S~, K8U:9HsjiqcȌ >@4׀ |#0n>>c֦pRPUJVIB}sjSK=DLSݓ >S'"iwBgB?<׋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|Md8}d;㡮8wP2Sy uztxPd=o["ڌtG CRD =4cϼ.|Wj7vYH{qo:@p_2F?ő2Pp #*f6mp@yf*{upJL'm"-yDBD9}O};^yAz]NzhKgxWZ瞲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׋}q9k|NamS:#=Xb(Lngr`obGW~ʞ ,Ex4pNa+6!}; ׌S_:W8-%Ow]L (5LgdV9GlSݛV ƠAOs¡h5fZ'҈=wgq )bFص| ^6j=a=;ВJPqXnV9)I Y?GEY?Lvg5Yrr Hl$g~+*_0_\*-}=,o1桂~䡡i~MvL"B5pDrI_[<=ϴ\4}z7M+~t'cg)*}<-⛔ 0܆yΌ\#F3ؕzxA"}߀^ZO_}%btC% 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Ę3P-/%.o"V_>BC=FPZW`O/<QBԱxsحѻ %B!/S*a.:Oz5Aī/SuuP!A+WAӱ4!?>' 5?{4ڷ[Ѧ7Wox<>1 ҝalvѥvIA u ׺$׶Gc-n195;^* grKLS0 RE;ә0<8󆅪ّbu*˄do,_[whS)@Tq2lkDz4`G0U ͑;X k _nbQ~/aj$i3_R䟤T%kR>0ZZ:'zlDbfTx"6qPBl6%uaH"j:~ Y=Ԩf썉4`Q?*]b:jt(g4/4Zu|2G)ƭl}e d2Bd|%|Z;K$m\b{ak+-hv(}$#MH9^.-@Y:iEQwgb$vqBfWy%}@L)4X~t VoA>('KؿkW WΎgx^gYZ z/?% 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|~-8Da-Y'Pmx}9%؏L+ @7+N^M_t2K0G $ohg_nOé~pkcXރ8J'^iS H:^7|cudtwh (U r*R̴[1M '=C}?\'R|T4|T@ֶPrtqᓡ3W{|~v<;o98H<7pn *:@j~G]ahI mɞ`n{d'櫟CU mh|:2a%#PYb&[P1"Ϩ\HxvZr60:j a%"*Y5'8#^ Y&4f 6E~'9My*I)gYZ u/E% tConsensus_RefinedConsensus_Refined.Paxos_Defsdocument.tex7zXZִF! Y q]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ƍ Kzytas1x$񱆾WMgq^ǣjk䯕0gd|Ak Ӛ+i* :YB$8K|OIRb“r./L8O$dPݝ|wgfN†(#VjFDŽjX2JϮ*~h=<\M?}}t| j.cui{,rld?s\P)6Q%υh@~M^j߬q۫[Xb9\Ȑa})QAUm콝w!m],Ž&d2G-u{iƨK ǁ` > .*dx̵R,d$; 02_VsG~7Sbt Y xܡ"x U:$l̉^L 5IjQ4Bd`M׏jb6!9x, c,TF&J孨Kf!ٳo9eĄ vGI4NO.ףғV ~0 xTbC=wLCxy陹bb"8)tbC\ۚi5!$0چ"Jqr #Fc0H_ 3ֲ^ga {(]o }s IUKA tX[C$8#ooUSg 'EOAx}У|3Y"zWk;9̢{fx/&=I*A0[9?;yq֌m?JrV^$Yo+`<3 {\ޤ7R}Gh? Ƴm{uFhB퀰FXpAU7Y["}AY+4I`Njw0]ƿ.?S<yXTۣӵ8~ [) "!PlK0f^fLcvis%%$E-v&N*Tנ5--_cjl䡱lw_LS6(%f[o&KB{q$K)iZeQ6S6Da`> ]ȴZ)@!ǴDq#SeNy}z"D̖'7hYܴ/Ɖ*(ԀɐP.ī82:vGt s#5Y)62(3$P-P ?Uwf6WvcD90 C"+fo.Xw[FA2߷/z!H`Zs/ɧnTNK9OB~t1ƭ1!郅tf{m> )XE>@@aSJT>&R ~IhvpNγRPݞS&!E|3?eIr 2(ZcBK8nV=+rW8+ox@L`U(KBS\Axd c_S͓HqÇt6kf&}^uP},5хo7W%4CT>@0W Ne`d#С9FAfЁБD{Xru+4:}Jn)'2HZc_L Nڦ%;|,{kueI +(f(p쟖HxNQF/g \K7qQiuUz5klEcQ $uksjuF0_oxs Q(2R`ʪhsP38:"G7qP` Xw@+j˺mB@j(_/au:cW.ҲbD f6EMip=B>J<`$F p6PyS~֍g/%EdPWGdM Jr\.rIRT; g1JKS4q~~ WKao ELE &hT//%EG%Z.aLӴe 6%K9أMMp¦3LMU1|dDJz)e}tӇ`mLngl_Ŭպf b2>/ic~oL|1 Ʈ!wjv "xK!p*A waL I@ZBWD$MbdZ:Q 1~yGb,_Ňt7&)a =h}ߠz%rD΃u=f, *^7<&O'k`= '_τ.UH(p^(DשgYZ V/?% 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}tcmJplepl6Jw$Lx<&q RR#L24}VHVq CDz5ebN D\WPUY<o? cX@nк Wl)e/6FR ?Ӊ*7 )؟%)i VLS~IQRn\?p[S1ԕ-\A0%Q C%!P=W>V&LJџv2|5l:z`l̓2)ɻgSH&Q\{gYZ |/[% lConsensus_RefinedConsensus_Refined.Observing_Quorums_Optdocument.tex7zXZִF! / ]A-MՋhvG"uIBm5{4E}1 9[z*©="Gp D >>Ο>ʅU7:"Vӥ!\h|2Ay) YSLH4j Ӥ9q9]c| X'!ɖ^g}I!A_jJI9 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 --T(^45!M0'@K0Hgo:K4Vߥ[`.{43/)8C +=:^Gqe5C8n}l~"YrS D&9 nhWI+'Ee.+'̻7T, Z`.o*DLQ.Uu'Ț >q z_X83hUmYxu}F [lB[U)A`6ZO6OįYIY7"M.yrx&)VmّRlێb,TlІa;xB[0˲<$rLp@tWvyD<,cG-x$d jٸ p=GA6Ћ\UP@~[b󬹋vD^]U[j/`e'>t$OGB&KAD' f#v+4V G T,i$%1 i/(^#G^G Dž@G +sv7-uND$lbHt$ #xUٻ~^caK/EIDzc1}:Hh#5{*'&beC6Tc;v4;z0a"tnC;k62-W%<]`d>"6M/Ș{شhuxf̀ZmyJ [%@S{TTۮH2 w'whI5wjk}y%v */`t~$xX@?5ݭ[uy j*lyHvVqF% ~e!eldneݤ}t}{Qյ[-G|u5WC{cȃ/?%Jj0W;'ִV3H'ʦ{1,p/c _͇!qi [7SW @VOP)e+-bH$^(s``kJ_bugJ 8"HmAH{0А'gk܋gYZ u/U% dConsensus_RefinedConsensus_Refined.New_Algorithm_Defsdocument.tex7zXZִF! RN ]A-MՋhvG"uIBm5ijʤY!H/NUI[~4Dhx; gǷi-T=`;yHJd>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=|YOr "nQdZ]I!nQ>|@5aN62,<f,%i@hdxZns}E#=EJQ26ިks}bGTy>Z<5^؍֑Ҫ 귗K{vQ|Yo+u.᣶ޓRWCE :ʽx!Jv Vfs.^HRtPMHټc1? %-^,p~PӞ#.ý~G{ZY 0-J$"bQkfAvEצqZ3W3$=sИ~O09L>UDm^ћ YMxDB((g@w Rxx9$mg*`0 |)}C7@^4fIϤ2ƱgYZ _/A% LConsensus_RefinedConsensus_Refined.Ate_Defsdocument.tex7zXZִF! 9 _]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/n`T:nH1W4"x{gUg[sL}NgVO7-ޑb(ؕ}RkPsM@ ,}p?+J9zḩ7\ $2A*Ow`k%t'B_K/=L:C3UOBv,@w i7'C "[.5Sy~{)^5J`V2=:J`H;1K3-`uD4okOzCj 췐#C|@*ܐ)6%T"q%[r읲MnF4B\FybOsvEgYZ c/Y% 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= 5דJ 3Ң^{+ꤩu0f2UkRkcV^: |՗.ASx}ߨ Y7Z( 9<zcw>jMgYZ <<A/E% Consensus_RefinedConsensus_Refined.BenOr_Defsdocument.tex7zXZִF! 88@]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ľ='[ID`QDwֵ m1MBI{4tuŋi1Wku 6m@Ab*ShRÿ́ʚ.lU}݊aNDj)s-z 2nAmlC 乷D>O-akPQR| 2rn,NJj7g7ysPn#>@d`[?Q .O{(6aN[@?fnZn:`^Zq+9dd0[iEq#w>KӔK)ݖb‰[6n1tnjCFmyE}*򴈦`}8pKgYZ >a> /3% \Consensus_RefinedHeard_Of.Majoritiesdocument.tex7zXZִF! 1B]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ڐ /Iu28DGrGa6Cb@N&܄<=<'dW.dCND5 Л)5c ֲP٠%eڱ,P _TQOd6 .rh:!hK$ >4S?ziV<œE[ MU4)'6EfZ0--g C; ]ڴ*{zYW8F kt^i4&yFwT]`Fg1f8q8?[6NX#c3lIVm/Ba9 bۃαgYZ/;% LConsensus_RefinedConsensus_Refined.Infradocument.tex7zXZִF! :]A-MՋhvG"uIBm5ɯfL7j4TIjUGw$-bfԖkO[MU8)sJ$gh ^ci0d#.rCWP*77M'3s{^OZ${R4T/\jXWc=ܞ&_-dvЭB˴Noi#A|VxTn;HK6@Yۀ(Hrg:?|Y."5d=*"aamթއOb֥aȅp3j;9pp[n[j܆rֺXN"%=18\vAbh C`T Ɏ4񺁪r7U 1\+ڌr +SBt W^ i/F:*-/*bbc,8d>'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[^xVיf&c[U!~?'su!] %Gc(#:r]#>TΌ9lp"GLa:x񹯝Ka }#frq=S-o~0c9a<݇:~ |PMzuLT)+ddiXfOծ)Z#D)<][ۮ7bSxh sGA9ß.aW't2})Q6 ؒ87$S3`q7 &OۺbWʶ1is7 @V8Xfo;нNipwp" I}|9FrjZG(({Ń%w푺=udzuXzӖ$ZN^L$i=UdF4OyuR gYZ ))n#/O% \Consensus_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+;Ю)v BZgH̋8hÄqR63Sn},HpA=uRQ;$*L#&6t9"Z/2 #_JWEww>қ'`QҢxف3s.jϊ۱gYZ"/G% DConsensus_RefinedConsensus_Refined.Three_Stepsdocument.tex7zXZִF! ,K]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#M胐J2pnڻpw$du&[J>6A-ai (J" +4eߒl`ʽ!s#C4j%gHnlTȯJ1Rߍ(aN' h`JaI@b:W^3P|R LM0) ˄pOYUzeڟ6/ 0\52ɿ5M$J=D>-bdț4 X fgYZB!/?% Consensus_RefinedConsensus_Refined.Quorumsdocument.tex7zXZִF! .]A-MՋhvG"uIBm5͖h$h\7 3 ^[) νܾ~Ph@oSamw05;U*ƵhԍA=Me0[hgIjxiBOy9VbrU ƾ _~v\3QOH̑9 O돿 C6۝uZ͈) vY܏260%z[S#ކBR(q5!pruifLX~lDIP) M<66tfB q?=Y[bBmN$}̏qѹ{ K|ʮϱ _y?}Eݲi@YbkG"Q=A*cn.L3tіxKu&1w-w) k&|jolep@N}:ەmŘf2*-Q/LVGL*G43էB`lZ{}H,l|Vy KZ=㜟$ !$)%7G:#jOYn X*IP)^Vua;nc@T xlw†mnF Uk条Kk3GW/6$'{`Nѕ &)>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^Fb?rhHywFwKܝ1%,sݸ@7V[@uvR: k5mtG=3\l C%b|::6%ӕ"O!+XB9S 1VhvM>;JDKo>21ˠG.?3Օ^?+nM%0Jr jߡM\;rM7xYB(4ķ\<+iC7T;PcՑ r;Ye_cOb n\5cNշ <{}BXТ SkߝcK /V0,uN xXnzP!pTV \VCgYZ  5 5H$/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^5ULcZR6X2d~̒f_8s^|!Z8rxE$(Js #fCQޓ9X O{16 nzEmg46ɻK ChMLKlRi(2n>W} xM-l\gYZ \%/S% 4Consensus_RefinedConsensus_Refined.OneThirdRule_Defsdocument.tex7zXZִF! N ]A-MՋhvG"uIBm5ŁWdVV5saβ+f}ɹeP2}>>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 a/ؗ&-^ݪ*I .11<(,pS{>găҌǥx>(K@gIb{q qʩ;_6Sk3|c5/Ĉ,+ I3u*Y/‡n1Zif2&C @[wxȘGD$K[$^ڂ+/V̾ 3n92N#'W%iii$*&j_*t1+=!E8*޶CToexQ*ZŹ5{VQs4r楍-Ieybv2 ,sBw!F?iM9=Lj*=d<(y_kp^ij?#w$nw_0b)(yT17|?jBknu :X1& ̝N1gYZ c&/A% TConsensus_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(< >]D- L+*+p8~A_ځۜmf$ϋjCٴv4=0mo0"z32t0KU3!]9aX]x"qShǂ۩4`UK2fE9[/iyR`V&ʌ\j ԁ8}Y1IOXBanuAMp8\}otVprsQRaꞜz倌ީ-M#<$9\ Ԛ/]ɼ]@ 3dOa+Mbg/5SBzEX 'NI]v_7H٭`%~ȴbן<<3.v1C8"#|)N"|AU^$)S?ҶT R94w;H}UȸB L )Ro=dqR,'+8lsaK}S coG6%*pQS ];TV8#Uh5j+:@za& Ii`8{b|&Ӊ,V~2߫.qB2O@ΒH}BM~ax9[m\ ?~EVֿuՏϿ1ڳ)yOjTXtE5\(3uI%X>'$''[]/ܧ}TTrh[·%DǼXוmI78h-U#޳K/܉HpYb!1-ȈA_3pZ'‰i=F5 jď `!EzsrDI9RXgDt߷/j5y=Pˑ=W^+xؾxLJegCQMG!}x"TB / k *. sɕ <.OT4/[$ae6 8Sv1M.pk@R4**a3qMco7#h=Yh6УĖεZδ[џel4~)˅ u_+4CYRPVv;bQTu(2 ;YZR-{XSd&OGB؂+y!׹ERO B`z:El֪\_oˠ{oHn(wjA]O_vYZ{,M+8h ^OE:bnLd9Lja_Y@..m'Юg$Y<ӽ%#^FkgYZ7zXZִF! 6f]ŗXi%D8W]ԹA%6Yg~]"P\'8s"~vwܽ wh JjZ92 hnۛ;|/1*\Zl &3ߒ-d?볠:rhb~Mfdoxʊ=VkOnyr9"":q< @TU%WIyF3>rl޶tñᥩi[n]ҞZn೾k -'aԘڨe}c sG'(cQϻ&]-W¢l8ݤ)=0/N b=d`b9N9 ]g&G'l0zY5 <O5_:Q 6Kۯ| ܊Iq,/l7Ŷf(7%1լ#>M)%\1rUˍR'z"XKCd ~v@ҍ3~,t7{B1мiMY;.;ׁ&  1Ʌxnr_//*t{vPfS?y.(-DD97ȣP DߩI’\C:O*@e^g@-Kܽpn|ԛepEmPƉsX >cQs6hl:,8%Mr|Fy>~`b'^XkpQF#h0TwLYl#|~uJ3~V%$&#OGPxa&=;FXgKdIrU-sokw~"}'ւ?ƢETم" ӭe(C!zbTEJA>/o^tQQ"Fc|EyI:ɊtB&Hql:>XVz1K"]Φ >WbN6Tx^2Ǿo4P1lZVW4vNpېs4C IiͰ !53 da}/˥?}#:BaKʢU'8>o 'ĎT" v';hı 7oFSxgt8B2CvXcOO|84v_tAD"uEf8aub|l9\9(r|b[hHboE ?mb ˫!,M?%R)oחZ2'b/#|p^TżhUrc)G)nE|Fߨ5;Y9 T~g[t9mjUvwbq [H0!Dj@ 3o>m&'heIq֖X#Y %wZ0s=+gW ~CxN^z1!iʹ C"E>S4 )AR塳q#s 3Kvsoh6⁚9Y0g !$LnWb0**QWo$OFsEVt]Rb1T+F-) KO0^ ɡ!2t 7tYhZ+>c)) +68tR Y/heeoɂpX-ժ[.u45tīut]̼}}8BMc,YV-Ѩ7AbȌhI!8\n(F=S7;ZޛH̜ x{.S,3nTɫ덨UV;6ۺIۖҁ&@I6U\ڹ?ZM:GuM~AԹ.K~"[5h=ms~mJxJSӮu*(P_ 2) u$b[5nwdMa+ 眄

n lWX%Zf[:X9J@ـÖ8tFj(ܒ:g|L{X>zeH |XE4xֲ4Q%0qy±vDז$uE^AGUݒՈ~;(uP[Yp{J+{ uʱ{mauʝ.B3D=5 .-(9ŕ BM/ K%Zԡz@:`(&8 4#N袱2#t@֫f<_j#/G@$/ Auh!WTB(iqS܇^J 7P^߅)i͒# d 3αo%(JǸu-#C*~۳vzFY:%'f!s4 vg}`jOw׆lkso-"F9eE;I򈳹Ԙq[UR7*0MB"7>~GE頖ѰYURFrLՙp ɶ.1\& m ^RִyUQ[\~^ܥ)A,NV+j`FwL/hu.UJh []=Q0Fu[iC ] ]!t1OlpMoH ʚ>ڿv0hynYHi=hH));YiLO_Ҫ)!/`0쭊\ɔZڤ^=C}u[|Жw>m0{Pq?[՛5ZE2KsU?\DjvHrz 3< ٷx*] %t4 1ŐfQu)X(@׳o8'[B]"UK iPlVzbrXMv7hsԘQ$IԆSCNkX.:nrF,} { ACI#na Sd#*Zp7 %uطNzΎ3E r,=`hS30W+^}~n<`o| !(l^5ҧ=pUޠuW*$pNkbJ9cG:R3xj-DZbYi]5N)  x XCt'<7Kr ැ|@(@uev!"dj$̥-4DV/`ZKSVohpq+TWx@^G V{V,Lggtp/v9(Pc5<vaU <崯Hq*3\dG4t.htWaՁ&6ς Wt3&iU֠EFBܸ f.D>xt@R7Mpe^2rF?C)o-Uy,F ,6