SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /t|d 4]/ Consensus_Refined:7zXZִF! ]ŗXf1-/6vRZyQU]#%x30>ǰ X~\uεr_r6:5Vxu00/<֒в0T'l+\mZ,_rCs =A76|ݷ` 6Ģ1$P^` 庪eLP|)q^iK /WݨF78flz̡@Сp5lSs7Jf+t2eWD6|LN., M"#EΌgYZ7zXZִF! w]ŗXiɟy)BcTH/n Oxsf1`c2TnPl4ׅ cڋm0rBΣkb 3hb6ѕ4$` U/ o1DŽHW9'8asc:UکT!qOy327QF9bZءT೦\dF/˾:bʇwF^L} BnckE[cµNu$֑:jȲB s5v`{eL g<&0@.׍@*$K &BD"]ϊ,H%-**QN<Vm# 5Wa"Ȁ4(P2 (ƂgYZ7zXZִF! T*]ŗXi%;hn꜓DX=6JУvj@/ZÑl3dQqlD}}Ni8mQPsk1i r8HtLӣUr]`k’74'S ؈ tQOag+8/J{ǵ@Wx HgnEVQjP"5 -°` :vb.m=6*|ϤlrGzJR9 ._CdLuݣfsR(YeL9+7P[W=:oƥ ս߆\nɁKQ^0ZupeqQ7="Wbh UDV g)s폔aKԂ^ғXd҂nEfYQekWq_X)ʄ#$~ 5-=c*u·2vh]Vt*m qL .;IzO.97 !8~H$~r_\V#IJFW)НzLCm%Flq'\X6ԂmC% `V@އͧ G㡯J G$mv/s’mrV r~oŖeܽd}..{R6MW @{9@R37-iez|iM3r%Na;yK?\Őux,,؛ς3mKՆ0b)+N mX/œLߑ>c]4YOF`* 7hqa.Wq}&+N ;f jLK8Ϡnޑ/e|t&GkpԿZ[Yڶ3:o0'c3 "(IjDR~`Y[F~,.W3Yap|7Fێ{d͇ɄF>0zf% $[d_X+wI&كӤUZI 0P`s+2hN 74W&Ȣ^kGHF)MPx.IN/O.S%-N0`I&x ]9wr 83eJë3ꢣaVre\ eKrٷi6N45.x^gJ 'Q#%<qu <#f 1(.gYZ7zXZִF! ]ŗͷƷ͓ACIYK9>_,4W?j4B<9,JQ^WŔ`|62Iq@TleMk6M ѦC盤p̷Bb!`t<+]#걑dSj Z!¸Ko3p3$YimpL}s;s 1 Cjɔ +w9ފͪ/'jy,hցP2}C|EkyLIN?U/?ik6>b< s^cKGO(/L "oکuqV7XTڜDM*Tye6j\k^RtܠQh%8yåj?Br}e'xB'1R|]q_h Fx{#Ng$BP'zzTd~DEӻ3 \9NEq#n[~3^OP˷N6udcp͗t-r LgYZ011d15aff8d2583ff2ceb08eff67863155e75d7e0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 6e1fca943c4c583766dbdc0dfc914d2481cb449c / Consensus_Refined  /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ݿ?!=      L @  LL L  </?%Consensus_RefinedConsensus_Refined.Quorumsdocument.texD/O%Consensus_RefinedConsensus_Refined.Consensus_Typesdocument.tex6/3%Consensus_RefinedHeard_Of.Majoritiesdocument.tex :/;%Consensus_RefinedConsensus_Refined.Infradocument.tex I/Y%Consensus_RefinedConsensus_Refined.HO_Transition_Systemdocument.tex </?%Consensus_RefinedConsensus_Refined.Uv_Defsdocument.tex =/A%Consensus_RefinedConsensus_Refined.Ate_Defsdocument.tex F/S%Consensus_RefinedConsensus_Refined.OneThirdRule_Defsdocument.tex;/=%Consensus_RefinedHOL-Library.Infinite_Setdocument.texL/_%Consensus_RefinedStuttering_Equivalence.StutterEquivalencedocument.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ȱ;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 /=% DConsensus_RefinedHOL-Library.Infinite_Setdocument.tex7zXZִF! ;s]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Ɇ~&/S(n63D`_xf - 4CO&S Q_ba#x X[^$ }CUk{|~s~lG8UJn2u$,B>G֣QxdV":J>'Nܸy ݡB^nkSelB}+ X| Ky橩Ę0X[='ؕ(2FzVrm vFc^WG2ʚ9J}|S"\2g aM189sG5P[U&7F[~j4z)Mp$ND&YZ! "C56L{8Rpzح͸SBG=k߼4(v@&1Q'=cv ih] tOw)E"}A 굒,Qzn̒\^!v^ FGT7HXՅvdX\!G%=HG.͋folwwD:c 1CPp-7u<=-&@";ǭa%9J5wm"H;\Mũw"gW?D|tߍ8d6I` -#"}?, `sL-!rۍhM2l9FVHFs؞H>;7l4'>)To㧒 Vbp#lae 0j%l}nH֝tҘ_fSe:Irq}`9tpd @腜퀒q!WL_[24nw0~iVOղ\d aϞW HoC @Zl ؞ЗZu&(f`B}[&лoCI/_% 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 PPXabi]5mG?K.|҇_1)~)!ѕtR[*Zsiijk<җW[?J6WwպYМWFOܹzD&DL (V8BHyn0{Bɕ5CE\BzD:N4 G7~;FZxaoƬs.W+YD[Оf ~@M|,0Ǒߒ\bMUߤ=k)DK<T{MTo< ?~} A*c3V1EHsd&y-uI7$pk)SIn?|GnS(3[OiiKjr (D @t?M pf)W9G>m 6V iNXD.Y퟇|elX+I:B!8H2׭  N(u?/BthZGp 3':`dYN\XF(7?> `EnjӫoW U%jKO[ߔŒ 8go_.1 c|5 }!beSlre7pAr5w*>$]?qm<ҝe;V&ۍEi :0Qd ,V* J;3ҚƂ!)+J Ζ[+Qhڙ8i8 95&Lv 0ui`bD.H@kqBg4 y_.q_~6 mJϛB35F_=[e 1X c\@0=a6f1'Z8F!^۹`fMDܴl꫃Diu-ad'@uAs3GWU:߯Tz{nN `5g15]dzd7p*O% }@gQIW&qW $dBPQm^/ E*]ـҸHҏAQ ]jͮmH!➠U`Ew7M(1ӚJ1@ȉɖԂ@-12՝)/h_Dy$%%\uJ0yn iw2{H3zo)ϙzVhI4)  ;U/!K2gNteGb#!lC]Ik/J/jR9/gg Gw 8!(Q'Giy\ap-@ rQ8S8fÀ32ɉ?o4 }[[V 6/Z}oy ,.:)=[`v"@ez4ۢ )U/0sf uWu{䵨]Ж_0Pd0r \5 ol0Nfx#ݓ|o]`0D `b]A5$?6QЋt RLf o5衒dvoA@Mz*&gh^%U)L#c_;tc-J>CNzgMq c2\)>ƚa^ޟ_'yVa2?x-HZeh;1Qf4؃oe9C`yt8a^^#OelGzHj?v ˬђ x\b_qLsfԓ}7KBeq>S'uŖ=ĞP]3 F5n@ 7&`ɕQ#gŸjg lDs%o,JRn䬣KSOڛ6o#2 ` <72@sfB:X 1c!$lO/m.xPD>@hh^(,yۜǦ!pb|(pZ͸9LBϱݏjz;H[|4|VOCk L [-7 Q#Cm! %!MSgh.,%( -}ɮUyM))??!J$*\LyiT[4F3y64Ma_d|_ѽ˻ T1om)z5\UEճTbh)I/u!$rtAb">b: &Ƞp͌U`Y[?s9 R `>a֊qoHQ~VֺY.\U,[woT0DEz!f_7$,3}DvvW2Yb!x6[-uв}Ypz1A0Z|3(sFt %ױZKC]&P %^)AzO=ݱ/ůCWX _N{oI~Ly t,Vul7ﺲl]}CƩh2w3=aE.;&OJϻ%UN)E&5{\&[+ixv ET-LڗvvGbF`1o-…Sj|'Ydvtu/)awv=Qv􉿉00YY.ܒ];Pw_eh "lu](I-Hi G@P2*ISw &ᖒx7Y^r3/!Ըxͷk|p@8h3: = Xy:pt?snnS¦z=l t+KI+;`a w/14ު\ezI6,w>2t\Ѫg3#cY hDZnw/{ r^6{5kň'S[-LUN9SΜ2Nؿ\PCJ!OIg\eSH>ʨS=H>Hr 5j ,yK'~{ 4K <[؅M!G֋F7:M6f8a`a>NARz=cK;ҖQC#JV ^1́uɬ=s 䄑zu^0^R^Ӄj%s3.3HtPo><@Q|]AɃXjL2!;01,'y={8 8 c/5IHCb(I AxI{*7ҲGxECP|2Mk b4u* (;?Y5byoSn{ʩ%_σScj<XMW|l%Y1YW^1xOmsrj fbcayQȉ}#԰056J"خOJ<]~,Jcw'Z}"BDgR+`"4K )~MvBa  AXh}~%ⵃRewfr1.*B{V㶉=~h[ ,ֆkߞIMwX*v)Y5j#z,"ˬGc'Il| Cܶ~ԉmI."f26tf]IbXQ j7BbnZ5+PXV 6x5:obƆ  ?IM)cr骢jқmxFzmD`u`ym5{*>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)+< ⏌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 Y /?% DConsensus_RefinedConsensus_Refined.Uv_Defsdocument.tex7zXZִF! L ]A-MՋhvG"uIBm5=XEpAT&Q]!iNhWZjG~R!Z֙KʲJKmW!iEy |H/lD?U݀aI>K;+=/捬~Yjv52-+iY.7W l~l@``X#/T4p]Ϫ8W("}9Ӗc2;t3 FE/xQe(#A1vCEj 4L@ ߃_C꛴'߇gѶNwg/EWm2 0_xT4!oC;{& Q~,doո>WoU8`?\2K <9neT&a3<nTqDEMI_*"Czi2b_\12tkl0'rP3l)-T/r+m ūU/0niވ҄cIh;1hv`ůcy~߽vC:mDŃ=#$ڨ _ HG `uea<,alSLW!⹟,ON~>*-a.\9:>G@\Ę+` ?#rv&6Wd2jEռ9:a5+PdF@I_g{ 0)„=/XK|m,a8NPQ0w|r7)9nC35L^t\sX3&/<uSޕ"<@^]-~`ϴknH+`#nӘє]$Alwg^`[_ׇ2H'xH\:<.Z1j?8nnN~읋ξLď%ZF@U%?\Mޗb πܰ; ?!kSK vOh죮L\\WImwU?usu-|o\l`P֭,[Pʺ.b x Kw!& ~K&[ MV‘VɹfXyp7`4vW:bcI <0y(ѥkcК{"E- MO:%> )%H'K%. ]Y,XmUeFr ^K\\p8N7-R'%/!?j6|u*Bv/+#!͇0N[6w݃jDk.F3@s븳 P\;@A#,/e|t_ ds ]NIH:WuAq6+DpXPKِS i}.)\n-G^o/?Ҳan"aQOɶ񕮹?fnF7Sx {'c97%uB%rp׬)$`.)3+hA锣pB ZuS] nHP\:9䊼m\Zf קëSnQYaXU2UB~0KJ[B &:L|U6AF'zM[HJ6*gw<qעQ(suP{m%D/Hׂ{/mnKn#>#Jt~h=&#؅%#SMϳ9>'Qs6`a i<=¡a M:o38er:LӺ0۫h_m=,`< Bڡs:F2p1WeC~ʆ$:R$]k7VEo-cQ$I$tM,9DR(!,0ROsj5#<4qDb%U+m7 Ek@Ïw6##bR8/%=2DŽ5rSTFWcgovПd}îV^-I.d3~Sfra}tcmJplegeWx Er 9@D:V&8;(1#c:u07_/DJBj#C%`[2.8ObyS"%W銼je֧7:VێpWzr; iH")o!^*(֥Oa@72/״} A2}8 Rt@l<3J BQt_T7xLmAb$?b\ŝgYZ 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= 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{ ' \Ə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$>QuOgYZ