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 eIlT\ ]/ Abortable_Linearizable_Modules:threads=2elapsed=89.458cpu=137.028gc=7.508factor=1.537zXZִF! Yqp]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=H豸W"t8C^4h2ɬFGޭ/_#7(W&kk9un븸_+`q^, OiD(xwbv a(AkʪoEM&>!wvB^ =N *%,UMjS}ѯ,1ct&RG8yFe3]r7 PpwmT@(e?C7@" ENw> h!OdiaoINxQ# *rF p|Z:5ա-Hf}p(#S?k.nQiX^Q=ZlmRy) hSU9&0;*+Ywo!|+ʉ;L"01vp TVLtQ&r u';#oAP8|k]7\5Jf"qMNWBSOǐ ̰קGOHBȤ3%ᱲrl' Sc~R_LjؘHuRg}!tJ)>ֲ :!L]݀p$x~vOh!5!*#Yt#;41UI"L3䂃uQ@@B<ΞDbi% "|i N ~r%}؁ʎȔ5Pk. -s袟>8^|o ^:cTUU_YTX4;l?YJ0to6^Qڭ0:jLw3~rĒPa,Ú_>OPpC(1T!C@o`5 5r<(WpHI6f*krN6b]SW& Bd;|.*L#bzK֓j.Ok6Gr~0?CLXZs,UّT_Kxѧ] Lg'&zFBTY$xdPZ5 V6JIW ,3hY#4B6Uv $CQtfrD>g!a?̶EWohMi/3Gก}KZ6^ZL: BHp!7:jd@dūI S,{a]p}Z=ù7D̛t7NTpd~HTB4{Et"д*uhdd1 xҵ Z$G dPy?k}^W;=Dkы_NB s5 Cn쀽\@saicZ#8w?How`] 9 6N!bV[fwcSѡi^@go4CżZ@,NN7W UnW~\z,4[T3݀KVҾ gYZ7zXZִF! ]ŗXiɟ>vbR6{{]GBzzMٟޞCA$Sơِ %SD(:rAǩ?ws}h0B.̪Z-/=RCC?ef~[(ζ{E>0v ym_@ܼip9p_؄Q}ZDXBYY )cyX/Hq5 D]`ᶮ.^wU6\:YKfTgYZ7zXZִF! .]ŗXi%; Kb_")r;j8 B2A7֨.lH v:x),dy ?oOy dga|i`dUYt*][M!N5C^\/i @ꓗ T* l&1E&< &mEBpAo Vt7Mv e0MI~'n2 yDc+ik- y& +5 6چ>FPH1~mY ޏO^ l`f@9ļ9Kjݎ9+&;$)ӚV(㏻[J"{٘{Pf*ny'Pdj$XTiI??۱A9Z|3T]PzLdtDVcd'd-_K#{#/4="+BKLBZ%렵y^JH2"9I~BN'z^x[c#~F>x6&^v5 ϽӺ--~_Hdwo$O88HAS)˹tI}( "C)UV'+X1쨊U { U7؝q" a-`w8XR!Ӷ !I Abortable_Linearizable_ModulesIa% Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Simulationsdocument.tex7zXZִF! $1]A-MՋhvG"uIBm5ȤPC,9/S??}.2ثu+:3w Oܿ8QI.Ih7k^v=@Y1!I,I"y lz7kY%h 5GhH~}Vz*Іp,YfTdHi0.h*"@Jrjqh%\#`b&JT4u7r'/:~&=.C I{2A}]J C K3![TL )E4U屃ΣێT&^Y{7XCa*oYT>D9|)Pv澟ٓ EêX-ةq2T=i'30HrkdCvۻ! p𙨡J>mH o@<*mTK5-kD[C4 uIN?>0[@uH~UAN.1z1EM%SssԮDܴuUAP^eJ2M<^AbB>δL`qx6dEf3G;ܺ*羁%1g{/ h* H WQ!0jX3vn.8v!ZGTI G ivsbq=y]B;sEMP}2}<#Z-POzİ X6}T\sB m_jہt𪖙Wb'4;Gi/ |#{sޘiNm=p{kO$nme4)lbJrOV\?vu&+YOB?!1:F dJ̭hWœr!rX!9J].Lg?pps?~80T l5 )2H̾#XF_pF 9rHO]a>0JK&ۺRp ?̱dÑ䜨10& @?f'UEϷ BЄq…Q&.7X*&OvN{!0 |xI0-WBjq {Oz޳ck'J@_hȽgcCIYѧtH` Q;yC1 ݨJ8@\>%P=mIĩBjFWa(LrX5>{$SWm7Sb-N1NhTl%R`$d:Rx|I#*:34Vױtl JQϛ]DŴs(V%gtI=Y(G(ITJ33.wZڠM,.'e`D_mQ QKl}-)o}/"mۯ@)bq{j4zcE7Հ)}QIŅC[CPŋ:FH4\oXZfZ6HG{ xJ:o-C0q7o:ZE[A>y P2zMG;~6E8EO l\ ,Bց9?oZ-0~l-+]o|Q{SIim/YeP.C6".)"jrVk@u{gtgde"hZ&j c.Օ=AW >OZ8a/{3?qYpT]'2ĻFO z..olc|[mabL"Ur- g!XLzW"=AN}_$ʠnEކً.ַeU4X;`fT-–a¾L]mT6g`H1FgsFEҭgv澂agg݈}vQ&z'`4'%!T4H%|: Sq#n LTv"ag2xN?!p.yK֌edG;&qUJin~D8$6e6/$kn£<|0a|HC$~• A45YAUG֢EgJ }JTHCy lnloJ8Y!#v\ &ǎžɘg }!iY.7cnDЩXPz$MOIC{u/iӹsT%m2b2g|9ܩ7Ќ: c l cU=Ѽ";+)(f/f|% /Zr݊p4ܗDS^gB_ͨMlǠwz9fk{-1u{     S  SZIa%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Idempotencedocument.texXI]%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Sequencesdocument.texXI]%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Consensusdocument.texSIS%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.SLindocument.texRIQ%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.RDRdocument.texZIa%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Simulationsdocument.texQIQ% Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.IOAdocument.tex5.0_墺! H#4/-DQru& &(0dF&cϫ.x]K-KL- YpJ^g}U1#ekwKY6tkN4%32wƣ=; 5R7EtJH+&RWe?8 em!:p!ۀ ȡQI]Sߒ>h(;:wK{yĽ/&*̳F T С*1LT_}cr *fk}O!^z?ڕzZewZ|h:=focۺe{\a@'۝a"y=BlwsEw~5cb{HYDy(Cѧa1 )m߉)*/QD,T>!d}` m1V/? S6/%Y7TҥO)6;3S69fxg pͬ!n[ܷϙoS&73}x)d{Nn8sfAA nq TE lڵ= ^Y5VD{\"UnXZ.#WMvv nA&P M_2ܟ숕21ަRNd`J== 5ļgd8?` > 4#JldgyP/YKs g` !"oP8'o"(;COt#8 (d[yHtFB4EHD*:u dpAilGjh$8Szj"O?;XԞe# NM\7*W +hϚOyR[IYy oRO$P2fĊz ZVZ{= OA Eo[ D"[:qHr8:,u"(Bh{yʱE6a@xH#(5Qqr0d n pl.@ʛuE9= ʰѱV5ϳ\U xt`_Q0g< ]̄ZGgF@ y XՕTTȰ* # S?M Ju3s_ Sc#F󹍆^"B()>Kn}Jrg>ʪ"ŤDwkA9Uz痏@ QY,Em5Θr~"4mPҔ$:%*7+ x26651a%|]7ʣj\1 Ȭ~fg%WqLP؝~r|Ey#E)ʕ_EP&^Vu[-[3V=EI4Oz ;l(L/Gh*-yI!S5U#0? S ȔfU.Mp<@ =$rxܷa ^A{͙|7qgQ\Ud?P-#&jtoOgo DmB߫H4 lG> #;Ϟ_P'Ը2`H& cFByGP5|EocC?{'p" oIyr@ԋ?rۙw#n?Ũ u"ҁ&2OY..>t<'szޯ( )Q@@t#Lcbs͏=y|$5.k}Q\IfOBh' m Ã2jb9 %_N׳uGuj e98rڕIrEB:}WͽTqNLZ7DobiХ+yPoň}5/z*pBQ_-zߐyN0zrϠw?#qw=#aЛt~/KLwP*1q\dbQ_HC cpB@KCu%#ŪEHUb%M)1W䛝?eܦGE)>c{ZI`.LrRxwB5Mbls)JZm[G&(P jD:/F]uJxs&ȉt"W-:(b"QAܿ6{A RQzZfLoAYRVn3/)N+ SdzS-!K+8YP=BۆRRb@=tICubYDvCi"^b!d:P0kP: /h%ށ!k3y}͕%mAt,gW,+^ĸb΍wɸ/m6aYn.j8jd7],=ۧ䕩$>8[Nkc #m-%b-:g'_ Zk0FP(4 ^מYOqoP[&A_ܰJˌi1DՐw1غ֊'*`3{ Ay&^dDË49 }ci^؂C1ȜngYZ2pnu;)(ؓC1ͷNVXܔ sƿbqZ,U7d'2R n9O⊷*Z:-j4rX?ĀyqtXv9`"EḊǷ6!kXG7ĿTN yǿF3)΢D! a~P zĸ_$ |D:vNa+:}?ц RWVgaK_uMK&R|HepH SjEȱZ:ELX֥Z ^e+M\aYyNGjL' Pbw1d$ָ?~mr𭖫>;édT>1ev uS9Yf^4>/^U3Bk﮴l~=aG8F0mLb˽]C}O (hr5'M)QueT==_9|T|+4 xZr=`d)[vrS7Wʋ2Y:P) JC݋I9D vSʾqq2| :q1hb~"Î*򠾹b.,i lP{^3C**-ilsv0{-Y7!BquߓK<}zrd2<^TUæ!,Hӓ#CB28lT;59)128/~Q{b޵%w厧sҥ֨fp U'N/!;u oXUZZY--׻eK>o\ϱm2-_zvfPC K 2ѬVS~C:.dxؒճIo7/XU9t,^3IWxuQw{6K(c5$U լe?ـ*@WM(B7$?2> q &k;2‘?BN^:Q^CMj\ IzH:{nAJoealͲB"~3:ih12~{"JVEԸ5p63W9 ܛ`] k#ܚ6/+GY>$3*gV7,긶UuՊw״tFs!R0 o ! hP5ԢwU׃I<\Í. ܐ8prcLB$Wgxн6Qv-'MO-m<@ g&җ 8"6ef>'S?4;W[$XN%bp Bd:tg6ڽ0+y/fjK+to$LkqFH| O!*0{"%N Vki.暜 16^xJ ƻGgHhjfd?>H6#}ո/¨[Zh?y(+=uK>=xɮW.]D#OtPxY|oD2jwbiY""iID᠋p-|y/@=Lzp xmq|va-sl[M]0AlUn+8rNZ`Mv=B'~mgY,PeTWn\f & x؅݁$g9<w1H,6QB9Q_P1MTK0s\v5Y n 9 ̈́A鰍1AQXNB`#a|m3 μN28| ]zfWznjM> 8R)mQ:uÙ,40+T.B]%\9/ /òo6FX|qV0-8Hf:53ȟPrCi&Rz{GZI'w `ڍ&GoKj ֐P!BK2{߫$'R{F < 6>pPWo"LBE;|hm;0qϠEݎ9sCqo[1ԏi]%{c_˂,d"U툖;ehfݹDHWOAũ"T(9 56E<‘ҐNjŽ\.ŰVJ@N~VI|_c)`[t1M@f&"e4 Luk1 {hy<қ~ٴ=_nt&wdE ڌgtUN q0N |;>re)/FGŅ,ڰWwH<^c z%*{0! >c9eoCtU [in|Mg&W;0G˔j*%>fu+͹_x/M^`?K`h'{w w$*ܦv 6S$Ex^~*94E=뀓ThAIQ$2.L`2W;ZHzH`A򙣭t3b~c5v@'!(bdO7dC >D57*VSטR{ޓ0) ÑZAj?Fg{4HTbv'}R?eS=H28 Aڃ BXґD?L eY!XNSj' ׏L+-٫C\/Lnt<~lc@ڲ#}=N& ħ~AoxDIr¬+u{q A^_'.Jv:ػ!aCYe#g릱5t^gf$Z/@8i;:sp'{xjԁ/Լkhvri`x4d{8MATsT&P/ k)Rs k)WW-`*͖V>xQK!@+ʙPD?ۛ >2|e~5!ޱ^sKci@jT] B[ D|'|kmFxAZ9v2^h!-wdVĵM|#-ܫɘ 7%C"_LC aKkAh{eaSΣtb/F!r9Tb=j ֽQ2픮*mfDR |4N1.$N!0Q!Wm p&a|H Y]O]OI޶F2ră/3۳% bps$Μn qsI|/rSH*>G4=irU@*Sàz,'yCOOycᑃ[3: j)^6JԦa#T^Hlw,sq2 8,߯Oo*v%9x $Jb$d3PZAGXۛS5lXa4B&ciI Uy&L6O+10|^TIN2 `TQ7 ͵k枆1MTCXA|g9NEs8Bfw,F'mőqzFI}|;E3m6j3BE! % |I sXY,G6.WÄ^BڪVcHg$# % `9'lʰ5R4vLݰJee۟$芲Z./K+FS0@ ͌mrŸTk 5TH#@~{|.=jg<Mu"jE,{Pa);8Ej[W9c?v-[2o]SxX2fVf,o/TF5?맏u%֡:O;,Qp|jq\&ቺQ-_ZQ*>YHdY2ї$`&j5!=DL7֯PLDBZ,VJ9c _}?!ʹyR6#}1gO s"!r(NZ^q>ikE,߬9#3Ÿ.>~?a`&yyjܪ2"3r^#.`FE&IrT溙p`A2몝Ot bњ"_V%g]ν2VF0419Eװ^ŴCpMV['H+s;/x5'>kI g#8#/H <ىQ2Y݃&r!2޸ 󠝖. Q@]5P\0XY;ss(ІaJhhdS193 SQiLcM-%jrSJOF\ɘ҆gzpW@#/oAsI4x>6p‚M^gtnү`~ܔVvs#Zf/NK75^-O2N}Enf-$<=SQUD{A5X%{cZZ Nb& 2+YM:k]SohK9]7C j&r\S?S [Յ&|ݫ & 7scBG8w;Ŵ: ͮfYߑ6B"geR1a!&3gYZ Ia% Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Simulationsdocument.tex7zXZִF! $1]A-MՋhvG"uIBm5ȤPC,9/S??}.2ثu+:3w Oܿ8QI.Ih7k^v=@Y1!I,I"y lz7kY%h 5GhH~}Vz*Іp,YfTdHi0.h*"@Jrjqh%\#`b&JT4u7r'/:~&=.C I{2A}]J C K3![TL )E4U屃ΣێT&^Y{7XCa*oYT>D9|)Pv澟ٓ EêX-ةq2T=i'30HrkdCvۻ! p𙨡J>mH o@<*mTK5-kD[C4 uIN?>0[@uH~UAN.1z1EM%SssԮDܴuUAP^eJ2M<^AbB>δL`qx6dEf3G;ܺ*羁%1g{/ h* H WQ!0jX3vn.8v!ZGTI G ivsbq=y]B;sEMP}2}<#Z-POzİ X6}T\sB m_jہt𪖙Wb'4;Gi/ |#{sޘiNm=p{kO$nme4)lbJrOV\?vu&+YOB?!1:F dJ̭hWœr!rX!9J].Lg?pps?~80T l5 )2H̾#XF_pF 9rHO]a>0JK&ۺRp ?̱dÑ䜨10& @?f'UEϷ BЄq…Q&.7X*&OvN{!0 |xI0-WBjq {Oz޳ck'J@_hȽgcCIYѧtH` Q;yC1 ݨJ8@\>%P=mIĩBjFWa(LrX5>{$SWm7Sb-N1NhTl%R`$d:Rx|I#*:34Vױtl JQϛ]DŴs(V%gtI=Y(G(ITJ33.wZڠM,.'e`D_mQ QKl}-)o}/"mۯ@)bq{j4zcE7Հ)}QIŅC[CPŋ:FH4\oXZfZ6HG{ xJ:o-C0q7o:ZE[A>y P2zMG;~6E8EO l\ ,Bց9?oZ-0~l-+]o|Q{SIim/YeP.C6".)"jrVk@u{gtgde"hZ&j c.Օ=AW >OZ8a/{3?qYpT]'2ĻFO z..olc|[mabL"Ur- g!XLzW"=AN}_$ʠnEކً.ַeU4X;`fT-–a¾L]mT6g`H1FgsFEҭgv澂agg݈}vQ&z'`4'%!T4H%|: Sq#n LTv"ag2xN?!p.yK֌edG;&qUJin~D8$6e6/$kn£<|0a|HC$~• A45YAUG֢EgJ }JTHCy lnloJ8Y!#v\ &ǎžɘg }!iY.7cnDЩXPz$MOIC{u/iӹsT%m2b2g|9ܩ7Ќ: c l cU=Ѽ";+)(f/f|% /Zr݊p4ܗDS^gB_ͨMlǠwz9fk{-1u{Ns(={  VxIS% TAbortable_Linearizable_ModulesAbortable_Linearizable_Modules.SLindocument.tex7zXZִF! T ]A-MՋhvG"uIBm5Ȗn.Q1?lzƱLxg+Osn)JwW*ad!+g]flXi"erll͇x*yfCL^8 z.M`9@ES6vpa *ٌDڵ8;5jyCÐ.' ' |%cs.̥X 2tg{96Hs"%gMLBy~S$a)?oL鼨+Z`GG'=\@`Y. ~ܢ[`X( tD0sb~j]R.pɄ`SjH"-xbB%7;Z?r–kCjd*&MG6o]]]i~b:`l6)3tQ2G#QdXנּ# >x܃CI!Wf$ <}BCFզ.lj&yՓ$YѠl'xλ ~o+8A * o(e'o41hBx-VEoq}`&Mʕu Sn3>/MP_xR'~bdL+⛱%=B/-9_RхЪe4#{9E]#u#wX֬9ڣ2d-K~;˧Ս8$SqtٮT=Byt Ml yʂBTa(GS`Iz h`c3fWzZ*)Je`j4Y41G(BMRq0]@`,AẸ7YJ *LE줬!vBmvgI¡7{шcK.@JwiV%CN(x|\Kܽib%)c~3rtΔUAlGT?TO*LdEؔ *'cYkqB[b0چƭbĹv:5z-t\U{W+kԒn0+SƂn5gg?˗.䆎bG-͐&ź= ݣV"˴lĞyJg0ee _Ri(eRP!50up v%F H&[OiofRzEvjkf=\ͳJ}{{e>cZ2ҸF4|FKzԭ.D:qUIT_ kcY~^3)wEɃ/ȌS:hTqj=]TZM_r .JCd!urm[IpEh6 EgЄq۠$gϠ)%mRSAڻCr]/<4cNuC6:^J[bcK}r )VE!E<ґzㇾjQY2tNu_s%a=y6{p|- I0Xᰕ ڤ\xc*\,Ա?Ǘb$X/]X|HH)BJrAÛ gfGZ'3&#)P5"!S5JGY BVM{ iLS8ĿJ@j!㗺u'?O:`g1E/;7}6[*2*J즲E \;DNKqkxd,gθd1=+5FaG+jQx!a@ƪ2qΆUeI>uPX!9tIrowWE )`͗$;hX =p:x70yکgYZIQ% $Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.RDRdocument.tex7zXZִF! ҉ ]A-MՋhvG"uIBm5Ԋ7qr?Dy8o:sYd%TQ.==N1:'eÕ穽BG-'sB"ˆrC5\䠨- 9n뀦Vn`2 Լ jft޻VczZUck \I)t^3RCAsoo؎T!y%RYzgm/1zЙ&!Z1ʄx@afЌFbgMAH 9&ܐ4LFj)`]5&$rH uqaU%}^zL65 q/ "Y.;n3D.pB\YɆAO:MQYbcD~bm9a`4އC[$ӻ _m& 9T)(NKx$,U\&5'nsN+܀ղL{I-6э>\N{F5KU`3>sHM!BKx -^`sf&p#'z58|S6RZ=ӰLgKj k 0!!]e,?l04$te5z^jn_W&G;Eow>rHm"w}up[ڭu [bytFZ!F9rgt80Y|*7}@Xv}/qw]:e}HP XXaI]% Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Sequencesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȢDB xo"~fZ0D ^+x*oRrqӯ$KdNl7},&(9{Ĉ_ w՞{5A[؛dlD*YT47+m;Kժ[KDTsQ#*0pnJ6U'x\N_|cG߇P7\ayfR?WnJRfh3= C8+K/.\gt{mnŜf=<\؈vKNf&w'rV[Qm)ZxAZ u>!pa/-v!,%p¹BkWν.07߰z{pwVe$PsT^ u+K6-[&sP*˹&$suAs?7_%֤u85X4hmMg#`ȮZ})WSdvb`8ZRRAS[q>Sws& }Py*cbӛQ'su twNxy G$4-&KiZ1ҳDafR[DŽ:vR/P@j?X$J*4lGT<̅ 1v#=Yz ıgYZAI]% \Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Consensusdocument.tex7zXZִF! I ]A-MՋhvG"uIBm5Tя&z,/oN[i_ \rht=bX29 NaqUvӴ*]Ezdwm Jx6+Z9LD9 k^MfVEJ38,u.H/?5"z!PHx5{c\+tN2.| dYA9@*:df%D[M۽2= xL<8(*Ȱn_5k?\>3QJF+!tc: `S ?폛Ҿ//YKiTAl 8D^@TΘ\tqm+vh122Aq,'5 ñ;Az٩HH|mzR@ ?A[Ϙ,KűbZR"Au?CÈb+&90n_ki Mr [0=]32pj:?r1sxPDވyZbW-=3.va~EDXRQփ5M*N<5 c ÂqO+{zf Y#'3=bS vKdM!vM>nX={a3),SEZWK7|OBÈ)bƅV-6,`4J*Xrgѩ* /!gHADtG\gվ=UPf'cJbUx0T;-ъH)Aҁoglu&UIgmtD}k\yW ZƼD\LBgI祷HY5Iћ x㠎AVH2aC7؋ 2}1@(ݥKa|Ҭ c فe;>z) D9fxnD! 5;erRӹwC3X-kl@J:˼Fo(2cxHa~RR( Y5\"8as 8i476'ZU%tcE70 B0f $g78SKQV,}i,f`a6*8 }?O]>Zi%"_lNpᇭ ~E ~mK夣C4<,tۋCUZۗ^vQ%]+ՁIeyjVww8_:bX-3_ug;X/HwWLgCOɟ)/Г&5:U-/ 67TqLaF% ͊: -U}RRυۅ̧wc^LueBǩ|fSbVlCCo'Bp{7: |U>3~jC Rhf[~'̘h!iQ 3Qck88o\m֘ȕi} 4՜Z4Ǭs`-aYq{iM^X_IJ,7&z}ի"ҊidMZŘnз>}~ |``} T}98\̃ SYόۖ xE3Yw':Tgv̺i,"Se_{Wk 8f LgҜi`7 iM] ZB?Ww7e,?6GI- W5p7Cb`"~3co?W$l$kZ9WCWAAK]V}?WМgb! uJ,E@~D Z8%~  HJz-nsb~CQ`D1o;0 E 'Xcv?EaF/)*%44Œ(vwkG0-6xSe0R9O~JCTȝRG_ba~+ՙ~eӥ-ִ<Jqchύ"G*&8La`y`My %GJerZ:G;nT uVQ(Dn$Y( ؖݒ6#GB*tm}Ąߓ&)Q (}b+DEū mOur*IArkA;\h.d3nU4뤠F P_Y$i1r+$"">a}p44qj0rzY K~,d㼴;AX:4f8oW]ͮ6pȑE%:_Wu$I˪-]uUj93rP<qKI_ұW5g7!OYA)ڌ} wMOL}}ljN[LVSI!Lu~Ul |"D/Zfl vL:]dvv[l>#\M%O25vz8 ndPiaTV6p6~V7+sޣ 2p\VLWϑ_0IE-MjڡBaLU`0UIۓNJFyWF![䣎~ ݼUGCWNJ_.[]qNAu>FT E9[I"yۅa؉$?*'K2@t'OAǿ}[ݖ"L򅗦Ҏ}znI^hc?-w1 n&\~3tPmpY& @!57S({WߊyI谘i $8VŊpΫ_<IϹ'ƨq@+UtI͸Z]:H[ڕE=`frZ#[%=:>[^Uqg[~j<~C=@8jcAm dwLU}]A{)Hο+f7bkhg|QҾ 9хOeI ̭1^&RY~;v*(-9.:?k+YnJ-/?&;yCvv~8nY ֜9N?Al{$1}Ms[k eߖNFYBM4L\]3{Ho﹯BC[4}QGD\\{gI -9aӴףwr6쬶Z iuzIMmdZp7/mV Tg%12BaV$xJ f( |sƆ :%@o`ObS,WbZ:H)|].֛,Jg):OemH;铠PIqecpW4h: cVZn{Shwku3\af~pm,9D _6GU GV+`hvvexO}u]ߌE{lQߦh5>GLQ~$faTyr8<~fYѯSBv " z~rz0V쎎^-2:50 @A V\RN̈*ۂ;o>v ,M,[xYUȡF'ݶ\z  –IM(Y_U(m~'OV_j Lj$$] [p!T7N t)Ѡ'ǩw ^)TYPV^ O \\J<] 85|nv~Wa[F &&>^M"ĬA5PnZ(^Ņ&(s?XP f\Cf[gX!4pZTcC3 /Wـj6HS+ FkK &TcF12$%V$/wrN2D7v.Y OX9lm4 Šnqcb &|)ࠊ iPW|!16R0^Bx1Uj>WԴ)iQh;OX@:bH{#lihhI:О= O3`z 'ʹoVZʹ{,fqB\ ?ִ 9(5~ۡ%cj {􅒭ѡSo_BkH?fU"5͗{_m)3oYc$)K3caKZqeVkBb,+ PzB[wH.8D]'! fGxlrFC4- U֑AUBhǘ?Oo.rмCX9T^vy$U kDJp̀sqRϸO?.L3EAt;>IG;Px2m:ADx]vD>zn>^b&5X$Ǽ8U'IN2AhC,:y`0 )H/K7(Ar%|7SE P\cAd-QL|6Xݿ ^ yoYf ,/R3ל{QFrLh*-ZO"4wImZ*TtTR:%#d]׽ݘQYl/g`7[rq GFAF<piPNgFN X, ;J5X"ak3϶'Uk^ OC0l2H,FK&A? CF GdXܾ ̫6FW^T2_ؾj6k"!%-%RHU3gϪ.njymT”pU`~OM-.3MVL.04=}oa }jLOCp&ɅCK~dcRb[W-+H<@.i&[ Y)+6˃^5| Cv&EgEJ Y09ƘMVue0tIk6O˒BHb볧 l!_g>ĥgE2MqQB䢍{DsǛ!oNkjpu_(RH`{$C/ZYKt*LO&˚^RmNn 3A.ķ~&l~+15>XUb׊ӏ.\+r=B󳦊%.rX8*bu XbovVu۱wd/X)v\21 9~h-g)/Ku;@~6`ۋI_) 3.Nm2Hq3R2¿m5Û0.%&ZIkDcƩz^Bsc0_:lB?Fj Z(4(`E#q>V@_w{t;&#'}ٟ}Z1zjZ؎`㍫M*]n&ޞ-FtnL7Ku} :2:ܼ0,OڠSPOH57XEE}ueC7QDG*bZV֓#ݟ\feHֈ}H;М #sYfAn)[wv8)yU߄^Wry;ᝨV*Vsaolqv+E3gq1<u/ؕ KlMHiW̖+Oͳ_ǵh^+=/׳2L&9(DYƽf8J$IZr;39Мu6HtQ5S:ֽK}7h GGI>Z'=2l3섟a HƫY<_V_^['3)3! 3dӋ,k7AN>,J7lh`SpMw`?*Vו(l$Lj~B]Ugb-CԕPrJ'ИϔSmACUc0̵?8˝vI=B OPXG 0PE:Q{ל˱(-!Q7"p[ʇ/q7tyC(Z"L҅JH4K8$NY8a.> (#,qLLױUDIH3RG/*>5Y[:-A#`9+<I 0rH]*$`efr2U1rB 7=7QNBE$eOI $l`e5O89sxC L/Sq6:P `gaAhɜ[{gg$݀fLZ _$RWm9t X$c3SHK9У6 )ՠb5~ũ( ˒ꖲb;/şbR_`m?$È>} ^?wUBl澡<|H+xmqvr,+ 1U)9zZ܉;^LX8fA,ēR`Sm aiW2u¦g7Ss̜?xk|a5VfF>}oE 7>Gav3^2e:n[浡o%6HN21PX %ą)&⡿_z,+./OO|*(:\=R6T&i7ghQ[Myl>SM1ECQ\o%> h}GytuJXn2RG2 5V;3͏xt\s`( z<ޔ-V_­sFQEYѻ?AOc3zW] PjᑗB**tHԴu@.|z$L'Q^ ~}.I3tc8Q.\MffKAj1*PE$%q\n˖5ц*g`페JE/Ӆ~2^ @KGrnC℗m-qm@6 @hgRmH},g!W&/<|O+нkN1~4f?h&Yۢr\ɺ^ɒ?jN*EK!WFM$$ W+tR==od"',+Wꖣ-I/b1aXسgR0m j|\RN^_4 m2Eq9XP'cM.PǐƑ9bb_f .!}WL:~9aumgpXZ`@X^nJZ6JiG)y7Q Uش$av+0?5S)2r}!6󓔭iM=hԍ㟿VsKefjYu(R$ՆI{8h_őBqE&(āԆ I:$9"m_wc/ʶ&ԧ۬$3y<ͧ ](VOYun: cl #O T u @O0)lA#t>n'~$\7;?A 站|"C￐nP#Z){v ϒTɱ7?U Sn_yCnɝoDc 60]h:$-P#CݏH COҍ;Ƌ\ޕѹN ~3iC/َ4vM>X!뤯%Tp#$"`e}zw 뎺RtZֹ&9}6F>γ>,*hPd1 _+~FNŜiQ[M@O߇r - y-()}OLdQr}Z'1) f.6+m N4ԸT!Fzkg&p({gJv!GȯQ!",fٴ ľ✴g<^w98U[|V צ4~~1̔zi|D+ FJ3]Kr wC^snqYJL/*fJi8*jƼ6F[hYygn<&ʟ:Iۖ >N|umK_-tj.e!2ܔGbJVkX>DiD39^``@$9nL*$v| D{ S"gM]Ě!HKS{Q~XbUP'2%n7Í{R[weIZ >1a֌4 z|^c6-iA vblGĺaDk bleFd/x^~ =aupt,D wέ.$w.&Pɗc WkBi̧)]ݲ~p'=Xge_ǝ>$ŝi2օ'}@ 50V xrͧLx/fֹU>603qыGؠ iY՘=mh.立jdC*OLŶL K[C]8t61"Vk=43i sG|)21zÖ _hnۃcPa4 ~ yf2 'rЅ^>@1vY k? PyncXiUx 1'A]` G@gIafTP(o"̢HټwGNKvEhqM^rPo1|1Vs7/vbꉷ&~Tg+A5gl K=\ }ǻ{W_4|ԫ|}37 # ȑVLW!b&t_ 9s0ae x{H491?GG]t vwK`[bC&?V^K:""nYI#Hƭ xYLU<87Ua[m~0z4–8gC`ڳGP=2hJR:Ӽ{1O*I^,Eb빲}4 YN$DM9 .L0 gVWM :(JlcyB*6߾^}վѯ0_(j OJdeP%tEƨhO.b&I5Z񹤰Ǝ-D\*{e`[:ᖃKEP Dx-wƖloހ.19j"lO[m`_V7-`/[EH:xN-l|if&mP%m6C)5yh*]aCc![( ]}ʤBeG Pr\38yźȽR2ѥyUs_=]]^bx@E/r yg ܾk8k[8(8D e`=sYϒ#jUmofi<'"O#0nUu%;p7^uw]`}5h`XJ>0cc,dXo.Hy$mLCa@=aB l$[mEv@(dĵ)]3N_QRJt!oܫEG3=FT4@ rL B=OH t@ foA7`u2"ת_lͳ_Pajˊx]}jz@I_XCw?zs< #6@P5/ VT+=I蠰;31 8-gX1x*9tu[1ϬXlYZ2Y>{ ^0/7o q*S#t Mt-OUeNJ):G%,QY8[$a} }MhqYЪ^0Ft{ b8Z~ëy ߲Lzm'QFPt=Ϥ;YFVdl7,yjjc|EgJ3 PP+DΩ/E"ܑYY?*>CU|߶`;2MR%fq}"o 𸻭bOYĐ 'Y_]y: h6 ^NyV\9:`L^)9 Dx R[b}M}v ,l)/E[^̘#WI_|W^ة%Z>.0sqn= NBw`sъ XM*=W NwN$tll^#`<*̀)ѪFL("n|&ȣp- |Sj;NT.U2'?עbN*L+ݯaó`r\l T EV0oЕЗYc#,F$vں6ڰKd6uooc#\;gssN7:0#F5嵍-`_0.[҆GNA FR>8Ȕ.}Tg0kd]. O9P02r[(.0=.^K=ʤ#iY6MT%h 772|@7aU|F~`䢃\A.c=VP7y,k5|#I9'pY =BbOp&xk=G6Dn &{5y,at+#:ނdl@ȕjt%(kO$"ُM '<YQqtFg}NT29u+K=r0mƍf3L}*Ln27 m>B"0Jux>]*-x;|9*|'x,N,|0ΖVy`PV/ f7I"8!s W-={(X2 )Z1CUi1NCBl mDJ*w˙}%[{t$n@}.!P`% A- HG`D '=E<4Nn pN)Su[JKwY+uPHj9gW)V2 .fQnemdHS!XlQp;l)7t {l3:Q8kKT3-82i^7ZyjY'qC6ZOSTWG<:j8pC*8J9#դ<><?rQq("HAD";}޹>sM21A.9)}ATߎ%W%L%]u"boW XOIY%AgQhR$KS)FbkQ[^s!q]}HWj˭(wse(A`z}w%ڒjadELjZN:c|Yx[&hoQ~jEAC-E9+&@_<#fN*(?/^ 9W?9bj͏sӞ5R/EMҡ,J[G{=<M̯78W1䰵'z5Ge#qdR^:KPS|V-U_. AG>kM MpCs4;KxD 8ϑLj[|`(45Ԥ|vQ2=3Dc(CvCV݋)mbaI$+?D)/Dgk^mJޢ?ƆT},JQh y5C޾l/_FEz:q'*t+ 'J!ȂyDޯG;px;S":ӱqkV3_S&|3'ea3fYa1C':$gCG^ޔT% txkz657]uN`Q,cPE!.Z a?'`5#G\2T)DIVZLICIm~\qy3ɢW+O7$c4))0.9f!Q˭k{J S+JtRCh>JuHL|+ZX5O*cRcO1UҕeCW)hp撽fCc'msĚ,J|DcY %ȫ ]/xHbz/Wtի;>Ƽ0~p?ȚfɅ`&W&9q7MA;>gpI_ONF:{FTb Ηe('L, Gl!ڗu2kiYjTZU GBwV:mӠ:NsH^<'1h(MAgO$5w8NzeWlJ' :'i'UlIq*2FgsB"JLɎt[zɐޝ/x< \8M&XOD,.?(#F:X"X$mHr>}7Hb;]>A Z]1W^o)x~=p6 QAuB2- ͖嬴TOS æć䅶Ny2( "rXCUN4*7^ (LA<̑Ul$XWȈ00j5h FKhZj<̠ dXa)2uc0dmbf K5%%j0BV B?_~ZC&X)2BƝMkY?5;gO0[GDfo.GRw Qt&=¸s* Isi]tk~㑾MP48onއaÕ!QI>9M[.$}esb#'iWoakWM91*=vػX#R =@ZĨ,  Ö^8#*!d~ iT}<ۆ8{JJ+pVGɛ8 gߘ| &CA2ڼiܝs2uLªV,ZޢњiѰC0`hC KsCga&ͨ.FܐƊC𺐔lKAG> .Vĥ+Sҧ%޵%H1SUm͞7ukK B=Q;Ә"(֣IM'MzMwF2Oܗ.C9Ap?F39ɔ?GLKZ]j$XBVnU/j[WPnk5;x\ hROEЦ>G{C{Y]y8*\b[-o# seW<{`3a/f+Qb3D<@ ?l˜y6e/lF7*_+VMʝ5;M#^Σo )vrOƼb #H ~HxD%1 he !rZe'>eя) [c0ZX eaQC#!.rLPg.oYZsJ'lc87G"0mgD 4NW4C/b4M} 5y 190, f&_X4z8 =Fc@ө8݃V܀n\/4ˢqo\ +'Lg%vGA/ #%]4-'H_h̊URaDzٶ TN*Q8Eh)gFץhjEF-mjIbgyޒzX# 1" ;PqW94`бC)r8phȃ)1d?uxjЩ/{zkZo7$Kea`hc*P_:u ב>%&nߍ>fnaA/i}n|H`q=\bnw* Ηu# cvw'Dy*!JW;Z6ph{@ŧvR^6lmdqY`SwrE&A.\> ߕmjK]-Ü&|?"-ܙxejJY٠\>(KGW95G%l%t2ǮAjsHWb㝵{JfyQUňq4n@S“\de |_cj8oI!_^C.<53z0íHl%IC(9ډjtfŤf5r;^ K@2Tdp9`8 ui6:CS,mjvU;LvJM^l$T4 J/L F XijYVc`,Ymttl }@ZP} _Ҩ\In=?#{Mcv>@!9!Q=3cB1n[r5bkPjn%![2 6,y"DY?t#sc(~VքIUaE\⇃F~GQ@+~O'P..v JӸ8](<צ%Ĺaju۫Zcy l4_S;7cMPeUb!@ >!g2zmߙjK;pFW"|** ;F $k3\ƝLѤxݲX(m4i Za;2KSѱV]DE'-Q̸ mH"~-`~B5*BK3&^.Ƴs)e4u&(@9|K}-wË(FGkߛe$_0Gľp>z&M,ao zF0_QO;@_)V,Q:0kkWJQBю7ƀ;ޗCDVEh@Ctu ܤu48~S@?t5qw(Xk9rCH6U:_~#|<x $TN3o~Oo+LdE䡗~joZz[q;:eDG䯤iJ zu=Tt OGi)~jYx(dńjV[Ps (XKqÄ[$?Yv%ГW& n@X TݸcjŻ#qQJF ċ}G '@&b+e}HHR̓/#*c$Ih_m؊9VH1T9"5QCZR ?$Y\`L')7ƿ͊HNe-M" noM@I؀_b3FE5~%XM^+m=_g{sNT8BzߵL!7u8xǀ97>Xa$39xNW9#aByrkaNw4/ mUm\ۏ;򝞆K+i]/ W$t8P+81ٵy-^Ã~uuIoj?WPv]z^]& ,EdSCn(@Y`,uXCc<Q@<+ I_bJuh'*K,'ui8:'Mfֹ0'\AȀm(jLf.m~aGУ8NmJg^4UQH>eѴS6a/@4WjSx2i!vxFn#s .v\h bBbYJ>)B>Q%zn$Qңx/iqC'ˑfi2<|T-Լ$]\A9WFMO c20~@uKMtc?sG#0vGJcbEVȈA|4e&amzmʙ  PޤZ+{zHMO:QnkgIU_z0q/x ]2G(^i$Au֝ z֔kk&^h;6oGF, rwФŒ F8۞b39P}U4ζ\ѢfXy%uG h!uqi}2?a5ۗp} ^Z"f0ݢ|'4I#HJ-Y2͕$q6$ QK-ZcLn\nStV >a+42ΟI;s# 6oT R%jF~]|,T (iHs\S*6Y"['|q .O$Iy%;Tv8QgI?86f;adFrA{0x!)-B%LbaV=ggA. RVA$42S:߲0(=iv7t_|wh--)?ڗw Vpxb AO":<|hUn{G&'yހqrgH `R}H{{*S8N]Vb:Kd:&HxyjM$ׄ zLhdv"/܂љmi5DM@bG>LC@ϰ}Y Zp*;]nX@GI* ?D }]M`z@\H<7: O vK[}f ʩPCbρổV=l" 8u3FZ} F*WdIvƈm8}y$Tse$K? ]&/: hqZ!撡YX _b܀5?෍jSkb *\¼9\o6 02?F_n"{hWgvgbc=X,mAgC^D.cQAk;NuU+}85,ТW؞8aET@Ps)QᵽJu7yHiZ yv*SQ3_q:0.a g-dTAB/-E_GKj;".M h96A^NAKn1U'h>{&v28RB>ƵA,4*a>qCo[jTp*S %VS,;& @9gYZfa5a6609496b17ece31433f9584e27cb3a11d65c0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122