SQLite format 3@ I.;  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 E;z$, ]I Multi_Party_Computation:threads=4elapsed=160.755cpu=576.404gc=24.8447zXZִF! j ]ŗXiɟH)0!h]u0鍊 FY^ Ld ^c/7~oUTD/ 0W+hǘsG5&'(9Xr;\Ƃҩݖ mS8=2QxݦTsƟ %;O7Ӻm6yk zĎԄIk4VPjfS_R2䅐D\߾)gPWx&Yf]dz2K-Duv;;r( ڟ#:K?7᧍y 9"ZQ\Wc{Z?hh~ ]cx{_s؟/(ꇻ2d!*r{E ; Multi_Party_ComputationD ;U% Multi_Party_ComputationMulti_Party_Computation.Malicious_OTdocument.tex7zXZִF! "L~]A-MՋhvG"uIBm5, 3B?ISRVÀnPЈ~!vIsjHjZk,uVn]tDmǞ*a ٪_rW{gX;&d7R#"-C__Upr>΁S6 ekeGiV݅c$ͮoM/9\Ω+쐶SjtxsuQ0}\ŎLGP,q#8[VU3)Znqh6#œÛ[wTi1Fh𸧂y ?-x&YcRjj2s4B|]۹T{Whغ #^[iU@5GA ko˞SɛN !h|I~cZ*RnڄKP$b϶~JLL܋޳e,$~#lmfO>eOy>('n7(7Y쳏8Ǜ e@I+Q6nXcT\rPd^ͪf6B=l+jS8,be=اIh%.]mO%dqc(ʎ .H bAPW{I16ÛMBet#Dk_8>G[ Xa`#B+٣xReyxXD6W_yw MqSݽhYk򴜔,Uc,hƞFK^^6DXU,?F˝rXlEfs;.e)FPb>5x^+T51wyۙN6|_ OG@k"DúKPS,rA,ClEΎ^ŸES*tQRU~KߣHc\?:Hq @~Ѧ+HIb#ĺ%&: VV;|# ..{pZRӍ,s_sLl[/.쵗#5 /nĩm)μkf\=e [Êi5.bi0O.4>hwlR~7#mЗ8Gksq0IWv*!#i.!| 1 4HBH70Eyfƪ{šZ'QE`{R70s 6$QI:I#MK넄2`w2嵃d+&Ґ+vN m捌We,S2a3]& Q r2s= l}keZ3ޥN|;8 &%o_N>>k] 6Y\;T2z-kR"녭Gd>zzy"*,d@TMCpzLTeɔ7qFZδlǡ0vz"P+ɴ(Tt@d hTq[y]<çͰzeD&"m />[̹˃zo[l'c}wGdAtBGj>kD""=WɞR''&{Ę}VһSEX,$$ogF`Uy:rWXzƘWs|QΫ3j0*i1c{s9!zj)y$iWp4y$YM DU YGlHS"bjҝGuCB@?>;:952/ , ) "  o O  3 G i  ^ Q m 0o  R;_%Multi_Party_ComputationMulti_Party_Computation.Number_Theory_Auxdocument.texG;I%Multi_Party_ComputationMulti_Party_Computation.DH_Extdocument.texS;a%Multi_Party_ComputationMulti_Party_Computation.OT_Functionalitiesdocument.texD;C%Multi_Party_ComputationMulti_Party_Computation.ETPdocument.texQ;]%Multi_Party_ComputationMulti_Party_Computation.Uniform_Samplingdocument.texQ;]%Multi_Party_ComputationMulti_Party_Computation.Cyclic_Group_Extdocument.tex<;3%Multi_Party_ComputationHOL-Algebra.RingHomdocument.texC;A%Multi_Party_ComputationHOL-Number_Theory.Residuesdocument.texP;[%Multi_Party_ComputationMulti_Party_Computation.Semi_Honest_Defdocument.texO;Y%Multi_Party_ComputationMulti_Party_Computation.Malicious_Defsdocument.texB;?%Multi_Party_ComputationHOL-Number_Theory.Totientdocument.tex;;1%Multi_Party_ComputationHOL-Algebra.Moduledocument.texG;I%Multi_Party_ComputationMulti_Party_Computation.ETP_OTdocument.texO;Y%Multi_Party_ComputationMulti_Party_Computation.Noar_Pinkas_OTdocument.texK;Q%Multi_Party_ComputationMulti_Party_Computation.ETP_RSA_OTdocument.tex ?;9%Multi_Party_ComputationHOL-Number_Theory.Congdocument.tex B;?%Multi_Party_ComputationHOL-Algebra.FiniteProductdocument.tex >;7%Multi_Party_ComputationHOL-Algebra.AbelCosetdocument.tex I;M%Multi_Party_ComputationHOL-Algebra.Multiplicative_Groupdocument.tex :;/%Multi_Party_ComputationHOL-Algebra.Idealdocument.tex=;5%Multi_Party_ComputationHOL-Algebra.UnivPolydocument.texD;C%Multi_Party_ComputationMulti_Party_Computation.GMWdocument.texE;E%Multi_Party_ComputationHOL-Algebra.Generated_Groupsdocument.texV;g%Multi_Party_ComputationMulti_Party_Computation.Secure_Multiplicationdocument.tex9;-%Multi_Party_ComputationHOL-Algebra.Ringdocument.texM;U%Multi_Party_ComputationMulti_Party_Computation.Malicious_OTdocument.texD;E% Multi_Party_ComputationMulti_Party_Computation.OT14document.texxjY o y0txzuUa#'$9&>"ӜT1bmG&p$,۠\*o_އ | t12bZ0mx>LW)h?̽8FUU@TĨqaAޢB~v79(\/ GGv\٩Sf}SʁCU%d&T1~""sئm*Xīqݮc*bVh&^ow1;NOzr-J3waf$s؋S` K!|R+5,fn8_6G7Ǐ+-ç;tsb1' RV8N4ۣ72w/JIY/~]Beo|ft T xF}ụ9\/Gw~eڡ0ab@8 ޫ!”J-q:.]2棲A^bq3֚-oPՠ&OW:>/ &qdyf?bBTdHtp\2$p^RZB"2v,ZäQ?-xFz{NEu6Ynbu0Z7(, *N-V説e>LKp>FN~&|/~5{B׃ ,~A4LAP|ri%j;輰m~*hjV؍&_G$<)^zr1eTj]F ^  Q9o"lbDϻ#@PG~O O!3A^g3. &;1zpFZ}T6DyZܣ5M²}J9Gai|įlO؝@t<ϢhBch8;OIMd5{祯x}R]@8-DS`;YN΍ת_Nz/ل/q &xs'.0K@­̢Y!>hrB@jEupL+ [[7?pB#w8t7Y5\hMҢ)2#|*~E<>T$n"GT̥?z3xKL!YAzs \970g)D\ ?ЇHN'.&!~ W ]I6ه[{3r \k!~2bHF\T WycL+s*kR7Y̍,0&mGնA? u֫䢁mx}+mQ}(kcB [PSy>F16F:*#EbfQ"HyN?:&d4݌ƯF2 @( )/6C?|8\*<),8?x+̈́R}-|дt?ralWt:&Ryt ]s,qZ*Z 7;JH؞j%RՕ!:Y[ۮ8I&)2Qa ^,V ƚ!g:g> `w_APW*NkPy[Kx/,@LKm]hhKң.0 A1m_&( 4ɡs;ڼ#қjHoyva|'S\hB!_  'Y @eW,EپH䒭)Jm8 :$ &,4R wRc55ϵ? )wSyWJRHF!wmԚwC(4*5`F̏Ř i>&kOJl>q3W8/"V՝&đo@-a0h2`CCeѼЍ*=|y=k-#=$Ni )vH ̒sGѨt%L;=I_! 1!֣'0>QayxV¥0Q4K+*}߹E\T?KzplS^%I_3'ȡFZB5WՍOZ|q1wT|jz&3m5w )c /)D$mSU}a[/g"za"=Q!fk!.Ft,6cF~$c>=5>)+fg+^5L!'9PRteՀc/1%WKv$H-\# "ɯC:lO]b-y' $͠z~m NζڡȪ!%%b kUM#$_`rgnXR;z|%]kQnD XP~W@m'@5qn#ޫLX ݐ_nD;6V haYj 2KV>*޸w_5.oo奓-Xj0R>Ss(jriz["tFD9:㤕ݵ1($X-d4/wW_ջ[jNX^3P>k4z1Sn3zXnK&w s0.D+nK[LLgs%j>?Q~QSF)Qz2Xqi6OF+/$#3\hR(A2D7IʁըDe8e"N±d5\r0>!dZNHlUuLbks9 'ƜNtGDwpv9]+X(dN<ް_&?Wp wIU,9qk<$Ap 2 GVf.!PiZ+ι&'rPQ(n+=XBSrh=JbC쭨s&j9E:f4=GSa3t4R0Fsѣ.Sx-̣Yɪ!ݙ8/c[Oα '#fFRʣ" iFql@PLIšűm3h^Z }2SHp}L\\Qx1]T5lPs휇 X)E D@:% ,x%^9;)Hh%2/@Mʊբ /d? MuiDcʐ+D6yRk.xbZc .CUQt_'ٯEEUW@0젇3GdTPBT 63V"6EZz _C9؛*GU.2u! d#YD`75X.m؈2ȳ ejJʎ3*B˷9҄nafu(u ILxO& TPccI.*0oV~bnRcEAk3 $gKF =x|"+&t-4)ۊ#m] hؾI[Zj\#/xȕ)5%wӐ'F"KӨr:1ik"JқCDۂ ,/QkiI1XYNziDU勻Jw^%mOySR3B%X5[U>|:Ÿ還MoB:Y}oԵUVpBX+<{1pFq;<шdgP&8xYB} c >q=ޡgsEᢤWɹxkT E%8Dž"_SsbEG#n?bFk鬬\ea/)9o ;Rt׸Ck0,3ҲrDhzh$on{\Bx&B2.{N$oi hK,1HM4j_m{h#x &Wn@~G; h6L\˷fiѐ)KnӺc;Y XA} Ǣ#Lt1֌gEw'[S #H,x1@_AeҴ&jp~O^#c<9TEu1[}} m>BB.qop0T")[?Z ^{(Uo8U0l?&@< U#C1wNZZRJB?(;V3Ƌ xƠnnupz%xZcO0埸}i0 ӗ?{ hrMy_0$9L h ;^usCy{8*IYD.'M>O=zY!%9Ǘ0*'s]~?xmq=2x1phb{hwCi;oJ22Hwކ?OZm44rӈ3M㩱mf٨gwc2s+@i܄Cǟ F&4rk4;|^o1WWMڡ[ǵYQQ]_P`к8=SFav`\y3zhB."+Q@7=Xg3g/Y;܈kjىrw˗O!G!~k_H\XaloQb/u<ދ\]H¶#׾R+AS.lq09PD B=8BzE'N|!@@xU": 7\S!U.w*Q;obZxyHxʼ悘rs҈Fmϓ5qtA^xIE#˳xvCCJ1@rT혹,LNX_Ə&O?{aQVS;MzfHڥ4<e#C2F?ƏۉY,nQgsg7N|Wzv|$UNhRPcB&*^1c%&=H3~jNn9JqNbMmA~&]_sso]5'^p.ALOG sTۇuk kA%{3hj#qwzZYyudO D5ff(z:vW-s~xCV{!o7ί`Be;7T7B!}CE &|y֔+=:㒭bZ*J\-Uaʻ{Rw[{@9Bot]nBrMר\bVlP7|%QIjXc LN.ޔ ?2du7'}Ѝ}6@OVcz+ȣL'r۹\_ޛ+qw#4/ v}snWJ#6t;yP|P&M?D\)W?vrDx=Hf _za5([Ё/d1i3>^b_o/VFJ9d%[ pIz_J\XXi>ǀ?q'laTq.cG8% RQ>A *)57+؆9؝$ &! =Gs-r'x$2Pd`) =.n#t|7萹 ^/Ɨ ath\GL1uRU!yg})* 2%wσɉ?c#cdSMg>2폢Bgl Ʉ_12F (!W`CuX}1:Cjŵ='+%W:N"V?[yVO%S  `⿨<\_FL2/S4q$R!ZCɟgYZ G_@גPvX_C  1`|QܙWx2*]\q;qnnԵ]"/QB{SB@0ivZ%~ދt;V sO~HU[c(kɧgdzGw4ym b,C Isr7[y޵B'F9:L^@F{v: B^=%>EךasU3 CҠ66vje>Z8ffHZwԦ!d|xmU׈BMO5Ycc$ !!K励Aw#؂P1b} Q~N9W![lC$Srv[#JEiCE|kž$GCʇ d*aԫ#D4;>MxAe`Bnɸ&j. >rMz@CƚJ[mp{~g/X|,O=N\i=t{#+dZ}ѧ'Pd8"&e1l0qcbUlLiԈOFwm|X fؽuH>CnN& J Ratكj qѮ)tjbrT7XEJ0BrPcڙY;k+ivA- LPxG]{aeOMqyr"s9@yl|5bPKM|'iJXjYňz9r"&'B."̂T盳w,y=c: }u4gǺ.C@]l ŶvV# /o Oj^ї\׍F^F  ȵ0+@$D^"T9pΓ! z>*.rqmQAFd6IC"yRm6x +ѷ"~OR ;įM!n$EQbDp8DYT؀_ՠ2y|ƧKftIJ@=LQReKmE8@NtM@my`0^FqO7X*Smn['V"S]s]{.[8j"RVǐأ&jJ}Eׂ]"עjcqW3&д,V$1t۠dT"UW/Sd~ `WY5\HXǍDsi ĕmۭ1@JUi9Kf)9Lѩcq|1"8+|0e&H?j3lVqbQILEjvMG1 OO UsR}6@5%3|ޠs݁whȜ=e9h`o{$~ne{ BUe wG\d slV~5߶R0yW!pz9/vUV.K2 _g}K4Yծ0IS\ jS47M .X_jCxR>8Q5R'pˏ?Եa( Q7sF{4x?F lY.x8:+݂3Hn(&lUS/A D3rK-:bd*}QaF#G1AH%%fd)FXCHzB5:a(\]Q6xuC16 JIbψi!Ên$\|{,YdOz Hu:OkYzԅŦԃ~\*`nBNʑ Wm5dn6G<+DX0Hi#6`Enn_l*4<6K-OdGT4=LevYӬ:v.62J0~ H(ۺpHd]B)2<+F6:NO~y>}N~,,F Lm̅ɬ-6%f^dtI٫g*$=A3f `Wd]0TYz)+"'ٷ@oqPX)WC11z*gj-284mI [?UB-2ƌV1mܐh{θ7 {㷸;P;$=fI`kqaT9֋2[J$6fM&[/">Dry)XV-.{MCɻ.bßi2$}_USq*V0kT<޲+;Zun N# Xa#N/s}"fpc`gX E{"nNcQ62-&^w-/5Wl F_N%J&90rSaꍫǃlի]CVfYvZфZgWk9Jn/W ~yrfvnm=25 #SU)]Iؾҟ4:ێ%=@E#ɭh UG4wx̷Vǻx7bbaes-4XC] tHM [l,yl(MY9g]h»! |8}Q?қ@ U] ${JbGGꒊ_=]թtc!Q/l/էe1%iYvT5 Ta @zdt-ZZ9[r& &X)U[1D)7YFjP7?~>K)Ƥ()FJK[^4wU2'fE1$/W̧`K2uCK)3R6) Gk &ldY;;teq{mP@zd*09~Ӱ^} .u 6M&'6k ހw8 nID{ PNԔU mfP8u|MbG^ jN3%_hP(A!-V`UlEh wWN} ej ܥOeRzYTԝbG9,hn I?v\Nvf69Q{&Ŷroһ3X&ќFΫŭD{F@@Usl] p]9N [$_v9e?\M˧_c~caby6zT $xO>CΝ9?;Cp1@s&n08-L>Eh4εCj$J /?xI-w/hHFVA $D01L< (ʱrt6,6p)JWaubnnr`mDL1,:b!jk.BtAҎ~LIQ efZI`[ww>/DH)=qC?mҺųVnXP~KoOr6XqQU(vb)ʧCy`)2LKo;ak).$ ͤg /b? b&Ҥ_!shc߭Ե*$gyN(dpGkWX؟݄U e44ݐ}P1⋡aa&7Z5xa؅_g&,)ˍ8H8֎÷T2a@bx|֟&[GE&M rp; |-̋ gC{0Pgt by^1O(jQ={[n訢AIeGcq-dp/I[uh_wIä#\JKG C)EֲȪ:Xt_ `cᆱc:x,@Pe:WY$+i?at$3yڵܾGyC?ttj3dyDgJH@w[hl䊑{1BԛgGsT fo]i+4..l?%Vk]#aU G{%Vt[QP!@0R%!Tz g[/LZɵ2G#WΤU!]~7@O!LZKe!_:q sY)VpYnK Rv9X}D$0L({@%w*^#e{ig ">Cy}^%!RiBWw8P͐~*X[JJX2g U2`G[Bgr6fAPܔrg'O%@5f1[ yCO /bwEcAcPn(%zJzHVxߎ!1ҩ#ߑG$|[WZL]۾ !BTP}5?LXխ֤jߚG(+rSh#V5i;5d9'v4mvgbW)s51l pD4ge.PK똧D8C(}L>Ubu2nh\G id;!ȢguUc^-\~qQP1lc ^]c¾m ?G,ad ?䠢#KV+B51Nؑ ,-Um95 vbcD(AE*Ч^W<0]3v&!,G/Sfč!^^$,LEbQr-k(\r/n-4lJ׻F(hd*P-V]V1]x 'ǚ\AGWv&M=YqASokõڒj3p>'U qlɶwAͼAx2gc?TPO!-c$yO`NK쐅.7\-{ӹ2k*dl܁ _q6oT+ѲO.F6fAų-̆Zn\ݿqɏ#B)B hڿ^Y,h]$C=+fk$Lt9 Ts#bEmo))]. !L&QþqV!s-Xu^sEEt77 RQ3W<õb:F BOB0+) [5BƗGC=A֎00|Rz&+PPv$O cW;F0[,`5Op\?f,YLQ kZZ&Ep 1ZzSr9Ž7枡 T@oOV'PwͣN4-r YPv,d0v_c&Lהs]JP2(T6 ?~C'x88(M;|mYURŽz'vℊ\ZkiNK}tiwbp͘틸!a*ꀪ(`GiYWjϸw&"ƥoJv!\ فFX?̫ucߙźz]I]j9(r,Vv`WSb1kCD߀aʎԚk~p=Eٱ#WӞCwqc"?cf_l@H Y>5CJpW,֗#kh 6oQfD){+,}|; 3/u @sݎ\dBMҩo 8Ă0̀>E^9{_"*t6$z"F33$\oFJv]:j֦s\韾l1ck/g5AŪQctJb|VWTܰ n/ z5wPs-(jEɜ en Y>=!J_F [0HZ713o!*%cTdsOyIfTK-tp 8!9j{'mr75.Maz+s-4;^ E8V,3 DKsKP-6wzN0гWhf!7T)KAΤGd9,䉻wMk}H@+X"V:;&E(m"d*vm l]ip[ӓ~U( wo?%Y cXi '/^ n,;\|8lcE<ڷ$]qG3(OX`ш%$M"{I"FOW(z !U k6C&mh2QsgԷHwٺؑ8{kePZ9!K.`x nŕQ5D \TdkeU)(NJ ' \BZUj`3Vq1P9q!D;ȷ dQklF߹щJV#\~*+DCG"ƌq綠Zp1W^h|ShJ3x??'X?";5⵱CO%)add BluZ:oY07b?dpF+.dƆ[ۛr]RS k o.MabN!j ׮\%]ӉZȀ*y-p&{3߭:>cN9dYSQ #c)V8N{/-*tLR)XbxD,EK ܫw(:ݴtg^!>17|ABa뀥 s-c_J#5{2N"-›7{^$iiY'8W'6a"_AlkHi7śIALczÏc8[ħʌ!M񘽫)/ >oQUXﶶ޴j?I~8ul hV$AbK>hNtAGWA>uCkǸW{<#Luy)PٌE9qɔS@!C񼭾~ ٸZ Ikwy_׭,"eɤ ~ ¯'Ʊ/M. c]@cB E /+%G~s8Ţ8uSdl0|SwErvԌtɏ+G~947ǃЙ!Ts豁eO>Ei0O}^Ol2 Mcc|㰵vo!Y qVElym^[|" LsGBn/{ew_v"ݶTV M i %&Yh#0Ԭ0 /Wa-*nXq֕P=;t)#Qfq!8ƍxm_v-2Wym,d,Xc6_1aG3Y UX?6J?20$+03q (i)ƿ/rxS! ɰJ.ssXΨޘ,@NciK+1+C!í~+ppAHYXÿn0CJ(c2)m1K؅ Xx - LHx`T'lH]-ʕLS-$L(GrM=Y|=a;)V~ }{' B7@M`ZQ0}hH$e(("Z6q|Jl 50#.>ъLI"F%lj88ʪZ!oRF|/OM`8>SRuEs"*E._#Njq<-F6)ds `1{D &UeJn7W{>'dct0ো4׸J~caeI'B3({tOZһ< QhMbw\N躙 u R\1p)!P5y5}>*Mzdny0o` ߍBgsT@;}kYi4^@x\FJw9{bCqUy\vׁ )NǑ?~T':֫Uzt =CW!fPbݵo?xUYn1gD۩xj*,Ǐ`ɾZ07dP $x_,Hݸ;a\-g:'߉B&J3^qMWd[sKC}m $ErG*AG!rրrGQ\bN%rWa TOΞ{gXl\1Y<{/m杂' L~qу#ayUm %ۓ}}_7uA;4 īwQ2hdeL(ʇYΣ7Q$ lrD9HR:!^8~ju%mWYDd/.6#3 EjRG/0@! mEt58jA|W Mצޠk[UmH >f h6Ӟ(clUYn A%c֩\u<۽6W9ѻTQ4(}+; ClGd*%Ĵf q#ghO._ lAV.H:hrwϽpiiO5C!nX#(όj)NPJTgm w(qˑVs q:Cng TCxCᱯG=䍎|UC0urN~oܮQ릊=M^Nzz m'IL'dC\+  ^jd7 | BbDJFфӗDd2ں ٌ,qǤI3$atgL R}Z*i2>p]!R<:g\PtcxeEqP2`.lgw{(30h(dޏ?#JSh\eGThԆ`{+%o ۷)\emIkKS"{Ӫ?tTŤ.'O 8d^' O_+z,JPG HEe}/</c*u\OG k HT"bv[`Or>"2g=oLj# iomMS3pTs6pJ]evq@a׶fI\2ZY 1L+1˲I@9:iG!{~  б.\UՅΥ% x(B_&3EWa,6M,?-=4|o:z<@:f$&~zoޱ*]hDmز +A5N!# Qn~^J$|w<xۋ}˰lz;V$j$ng΃й˹|jTŒb3~YCOav1/k@[=WTEǖ4GMmmŞ"40q8Ĵ7jxB&F>P*"(n&QH^zκ!bdZgtǔSmFu+ yS}8;S&$hS1񇯀Mh̲;,R;Pr8e62%P] ŰZ}2{R5-(|Uy+Y+) v3 KZij ʁ|7Z,\ .!:v3m4KfD jV,>J)OX89S-nϢlH\p0~.s[yna޾wzuO\eվ&wVp"iiݭV~W08_Z4 6,WU'%p#w<. ԗ&OMFy@M/sWPYF q{IL|8, GS]5j;Kbf>3꺱re Wй#/;PBI# \6Vp_\fޯoGb`TĎ,rMx~&NbjO-;,X܅>S283i x7S"Zr~S@R_CvQ4;:$!$\3UB%.C#Jv0Ja֖$rtAK *z]AohMSgAE tYVi߱oW&-M<g} 7?\I %*Ru#[HdZ&o~. e~%|-eB˱{'GEB?G+ s`f-Tæ{]ҕVs[lҀa,O]CRwY 9LܙCH3;[EdXnD&6sfN`afAͿXe¸Ӳ2im[:`n*(vt#sbݺ;J*:NŇ)ZI:@ N ҖSqBq= V8Fam"/ 5t .xiHB9gĝN+)d Rpvn;PK[!SqƁIق7-1- ս´Vac%6]:g{ض, n5%?9\dTrHW,`fdno 3)}dk%t$i2i^/yI6jGFE,,{AwdllMm[= /e>+k}jxN"–l%1T$bUCc`|1~㷬HFiŽ*FybOH3|`p%$&'%x$Qj^ x"NewZ4X?)xC9y`ե%#N7) 5\*f@ۋ&} (ab}ԝ l zCt)J_r[[o;)5fIxIIJ@_O4;—Tv2T~j4@:+R%g@hQ6|*JI~YIɖ2I}`u/zz^G2˾!^\>zg^#s9W̺; ( @}㚵G0fml5ɺ5%^Qux"2r<3ÎL0:s6[)t|=&A!=R2OK ^3PP*ᄵǔB3P3 Ȟ 0;rCp- SYg%L^TDþ,C|CEPLwGcmYj62,jXP ;Jlp~jX>NݫkK,~sGn{IdΈOIiM|h]l ] ]keHUyUo'R+],&7Pt94i~DMdMGPvee@v0zPlDY#o6dK [UH0Yl6րs0Ţ&WqnT+<'*V^;+m0oz"e\!aբ5* Z]?jEv`AuX@q6YFŶ_\6vfyv+'2JF# >O Q;҈pk*ZN`TV*82Hiq̸iP"nlj1*+LF_~^oxBpg8IXk壀(-njݺcJj{b2 mȕ JV6%Gi׫+;[ދiO$@ƣ2o^rURf*Em W O}:51J(1$Q HbaPɫ+s1}Eހ&QVSz-F63F5ׇ:2&M ZRwt.H L>$B,>6<m(jYsU!t6 ңVFօ__CJ{Qc'ql.P;B~n7gKKUMG#4959cW-fl?LAFU+<Rf>!Wy2&t,0޶`YSjX$3t'5Fl%x*z*w=A8Ng1d6:T哣ԍOߒ6aq4DJud&X|>cJ WP&@p |` J t6w` mWdL߿Z? ؉ -]-=,6W?y(Ҳˆ?D{*Th ܖФvv 9UioK(~PRu2fztYxK*.OFM+Wϑ#ʝ!ρGO/b(j[]4k.K] "un_tLD n}썙{#.Ft- k/:O_4_]RA}sKsVùq۳ r\6ZQNUH2wG\g/5bƭ.Zl>ph"wY2iHs)ܥ1/,E Iѿ mR[c #@,~UiAg0 SY_W}RƁc\<{ Hų>݂rH?-`]/ݍ1L!0oM^I~0ŵu<+/al% 7 JQ[l+u500*z )Z[zr㣾F' b@g&Yjukn4 Iӫ Ȁ78ӛhe0ߐ0=6" s߈h4.z1)) F k=.'3cuy3Ǚը3rԟ0 ͞\c4Dj l !aa[溨,tgNj^p0b<ѷ!aw:{ OYïV p C#0bٜ[z& jdd+'goQX\>5fgҏ#G@GP^X) ߢ^{ }DmTZNlu—E~-XP$9~Oh-6xA5 OZAy:+O>kl/@gh5W ^]e:=9hs1o-M bF9+@QWFjb!OUoBNF! Y,# 7lw#HgHM0ΆCQݎd&?eC$ڋ_7V?_fz )ɧT/ iZOoS}B wDQJv5P[ތHIE,a 9jCKތB׫¨5{3I+cc'M}!tBa7 M}|ɁĈxYc?z.~XfUHk!yݻcyCՖrڼzOl? rsFcl~v)o^ٹtׇ+{\[h,i'r@K`9j9|fI1Dd1.N jئngKEABBP\9w_|"[ip"gj[oA* *u"֍!;I8UIDt@6cTHGf2tpm )6op<꛽(_dAEbE |KBvF'l7dS~rV) jek귏wzyfIoxۢor (chK'^,+{~n 3D]5ǛM6+33L2~~#O9<7aTFK̇SdȮe: E P({>4қGߔ+.jXV$#!(g R!VpБ˖lasUIhM"N`Qh$DRi"iku&wQJ( ɰZ4v8ơQz62)d@+v]3>2p(50[xX_>ő׺_K >Wbr`.{(-E\ҳ$f}kjUӣ.H%BO!W7&'ʑ"&cy7,C}zt][ (4O]2E#Rs$׮!_*W \K ~}3"6Gb=B+QN-|Ż4.vSWo<[QdwvE/l?)gNKΏsmBj`;x ]DKQ.'bJmApnp ko #<Π,#Dc2ȍl%\=cԽZYaM/oz'gA}QYٟBo@]]_+Z#XhF_:;'M!NZ}#pn^r#ԓ,lpckXMԮ&8Z5リR!r+M%]@$c?O(,8}Pjb:IN[&F[07O>ѣ'Pv0݂\UOj@W; dmjxm&԰:b)x~%WJM$BŢ!3N!$!s)H1sUtÿq.?ٽ@uv3Hُ%(vX7ر_\~$w<(n2ދv*:;,nSofa?L\hlgY:N;5~7ng?q'LۘSI|BD9L6gd|ȟV,||`ZR%->oUG]Bg_ڄ&pm˜h|i_u уqeX9>dwU;-U$ᚅr-8fy%m :N djI 57_-+uʬ!K%յv<&4?wmr $ yr-!ê-h4<ԙ^/ B2-NCL" ΃ NF/Np‹$943HHj@Yx8=}!l9l7n Hdj .uDI9{&k 8 ahj%Sp'vƴ ՜%{o@Ї|:hQyqpH z;#4S'pY|P J+W_,vmO9G)Bz ܍XKXWK6Ą')ǚmI}O!]iVE;Z9Ί:>yj  sfWqAC]65B N٭g|m+\Keq/n 1s ̓ȥ}Ŭ)ϊ8$!j`"vW&'hSy!bbI(XvEl1;4b~03y, }vӞ4)9%@lgFyZc7OT&PT.ڮĶ y@ّXdɄGPv YN事vU |?tRଢ଼1ǻϑsvCNTDq$URJ[ P+6ya$[1o&D(]*%n&cSjn4$FY[8ь/;ճ5_*--1:-ٜ{$PLxb*fi;5L:)ȊG/|MatJ^m%R./sM[Gs\J)̿H&.m/tIy㥗Җ+iǵ H#t7qjYo@%K.<>{>WF`sC\Pv?1ukkJRDdj@&{  $Y-Zv"[CVtX̣[b2Pz~$'Eg*)g/qE}ITɱFzVnoȗF DiI*2 Z""E&]\yUxgT8Yu 2'JMLBӐ< Uv2j9[bDoBҁՕ+vF܏D`: V`m"Д[Lp%26sJ#l`.)Z{^O$ DPrք~Iſ.`nU &mš(EN_秙HEK G_HdPrV\vJ}LM&hutRlt"1rVidVDbpy%*"!ef8ͦS+Iu'<_yTiuLы笅2zZ-;x > <~W:@l ºRƴSW,ȋ3H~NiIhd̪TW^*&9 ȗ(lԥ|kN|IAF'{Hݭ0k 9 %F~l O(fL/Me6Nq3glxp@vr0\*ꊖ7)QXKɫZJDƍ&V_(f8C\n2/BKcO,Ommm |׸F5ڋ:₯^Pfn+v4I+@ LOzS׶״W0[5g {i"}{ApxD ߠVTvӆ=U͢a@m'pn :aϦT[%i6sPzGy,`"ttAP dz ]AUtqʎW/{3"|D;ڨ]򴧮ȕaJzhcf;%i fi>y+T]z3B -PM&,}cK4HPMW˙ucCC}}k;qsml"kw2gtR K+ivJT#6=L.OM(X|j(lP{Vw_m ΩC$*hajm(S;Clx9 y/,.g:Fٌ[eŁ5v"%M;Yc=Fu~=(R9*DE,CIGD=e)d#i.WQ r{q|,4pEڊ';¯TAu#Т81n#&٦i{{jسVOqbl:NCsU׸mYf4\3ǶdV!"wРhwDt9I5?Ku߅l$m.B]tD]ġqz> M"SbVj hb)+R&*!gM+=Kɮ n" uf7SADVUT"p^и4PQuqSh;*%@_9Ic.d7[XP .H胉kKAţ-[\^*(37,5d|_0ѱj^[dGJu2TV CnB@6~)=֜O7'ER:%S\x$r(# ;$BR4te9;ms r.dN_DOJΠ^GⲹR7[D*Z,,'6zz?_*QTGmۡѣ܍.0 >x`9^2"bbpY Gm0)gaY/u@XɊ_тNQ ÎҔr8O{85-ok,,,J{pW`OQeNASϾLAC,bݿH会ZUL9 Xs7Ϻ(lı}jj9q?#hۢ̆ZeXg]%b{GHiQȩf&CISn?S}݉n!kc/3fnfNV,& V/ir."^M ,\(mSwJ~#)(ɴ?)ܕyM9 5hl5ݎ,$* pmeZ),STO }hL4mTF8*E徣BE|k}|`ij~L3Jek-AOf]vJ1D 8,wK_O9 DeO|:z0?sUBho^W;NCQvMصM<EwWUgn陾{@3wsOT6nA |y N;JF@u cВ1yZj=t[DAuhtAUƫb}4d4?.{+n"=<݉8z~mL. (E$6Vk eUXN jݡG/?Δ$>EQXõ{&~4# _bov[V@b0v<﹫͓ъ Ӂ؞UpOPNNKU7G|ĂVzk;Sy>GUV/m*9싇:j}zK:"Y+:ʰ ,F\whWUA!f7_M`Q*.q)EDҩd 0ܱgYZ   ;U% Multi_Party_ComputationMulti_Party_Computation.Malicious_OTdocument.tex7zXZִF! "L~]A-MՋhvG"uIBm5, 3B?ISRVÀnPЈ~!vIsjHjZk,uVn]tDmǞ*a ٪_rW{gX;&d7R#"-C__Upr>΁S6 ekeGiV݅c$ͮoM/9\Ω+쐶SjtxsuQ0}\ŎLGP,q#8[VU3)Znqh6#œÛ[wTi1Fh𸧂y ?-x&YcRjj2s4B|]۹T{Whغ #^[iU@5GA ko˞SɛN !h|I~cZ*RnڄKP$b϶~JLL܋޳e,$~#lmfO>eOy>('n7(7Y쳏8Ǜ e@I+Q6nXcT\rPd^ͪf6B=l+jS8,be=اIh%.]mO%dqc(ʎ .H bAPW{I16ÛMBet#Dk_8>G[ Xa`#B+٣xReyxXD6W_yw MqSݽhYk򴜔,Uc,hƞFK^^6DXU,?F˝rXlEfs;.e)FPb>5x^+T51wyۙN6|_ OG@k"DúKPS,rA,ClEΎ^ŸES*tQRU~KߣHc\?:Hq @~Ѧ+HIb#ĺ%&: VV;|# ..{pZRӍ,s_sLl[/.쵗#5 /nĩm)μkf\=e [Êi5.bi0O.4>hwlR~7#mЗ8Gksq0IWv*!#i.!| 1 4HBH70Eyfƪ{šZ'QE`{R70s 6$QI:I#MK넄2`w2嵃d+&Ґ+vN m捌We,S2a3]& Q r2s= l}keZ3ޥN|;8 &%o_N>>k] 6Y\;T2z-kR"녭Gd>zzy"*,d@TMCpzLTeɔ7qFZδlǡ0vz"P+ɴ(Tt@d hTq[y]<çͰzeD&"m />[̹˃zo[l'c}wGdAtBGj>kD""=WɞR''&{Ę}VһSEX,$$ogF`Uy:rWXzƘWs|QΫ3j0*i1c{s9!zj)y$iWp4y$YM DU YGlHS"bjҝGujRH(M\T.Cl]HN'*:\>4\X+hQ堲o$?Fho& ЉczKgn   T ;-% "'h\$}+2b^zY|3K"jA .%XHv\Jx)nnb$&cBU'{/\s@L}JGdW*M9:5E 殈 io95||?FzeqЕ,k.lxNf>V_ J8ObDXFo<<,EQԔMAc[Swp킝%~ž MpNS%i’~Zv}I.|yXkP7Nxj0>ںAru[Z VYRam{=jcD2"AL[P85OuV`lw eJtFz K 4,*r6hZ(>jz0}ZKDrZ9#p"Ί>:>^%BԷDg暱g6p>Xœ# ³qf_u$, ؃@,q[ͩGs8ZuFc7/&oDjF^GXrI'j95;^U-eCHƉa^!YhênبNhÏjw&PCʭ-DeXo5ѡ׊2~\0#w#HPnzi|/j@ԅiMyʼYvIj6#yu3`.xx^Cc`.EZIc=JXgSǩ`^\]9 {IPxId Ogz{dVƉ@Z FԱ0_OZo"7ϝ{0ƁN i3ڦ='&&nC2Uң»`hwȤ)y|?.zt 4qe. EmP.ۚ[XIR2V7*{QE2QȽO) )3 >ӭT`PcZL\ةmC8Ew6})8yt<<2wwFQƞO&W=\r5 +%]~RTe%G7Ɋ #O}jy"Uu!-nhp5v*ꉂY_# xҬ8]@wD훾з,f= XN +nX_k$ ц;" BufxtXa閥vs#Ȁ$ǔdD Y|`(d i% -vx*Y!"ޖ&aOttm&ɰwT<=C_kmE_SD z٘8? =L* V_&C#GZ7뼫5=8^5SZ7ϳ{2 ]lJ:/(dyFXZo[;땇[$ U+Q)^%YA-KkZ63Һaco_94j+Ғ$;93̸`[^hÌK~[McFY~Q;ֈg}EWn9c }?=dp;w@(<4 Qº RQ/y?'zG۝!1K2YiZ;Q&{>JPh{Ey守xͱAZ=ٹ K +Gs#ZN:QƤysEfι0;㠗-K9AWZ YWuOZ kEǒ+"2߽̟q؏3!a})}DNuxK嗍 $篹^0deOnBg V>ӂP'x\Cuovk>wHkMQpD޽J?Y(U^yUCcf|7wg\zR4Wc-夿\̧v7AeѫF;Q bx>0U?2r=2~P識džWaݲ }c.ȟLA@ih#+BZ}xSyEf/bzo(ŀŝЈ^QPAʒB`^ѭS,d9Σ}=)/e=~ c#dL蟐BXw!gGOV4AO?󽹜Q_7vhWn DGƅ\qPV~0 E[m!E5^ X,-)ԴUBdVudu(B X 'MR>?J$FA|W>,,NA ʿDBtdN17ی-כCbcs%T-wgpm:a3 l#_Kj0xdL5K,ky|U;L,թ/`{ m^9z.zyAv"t&(AJ:>n#\}+uYcI̼? X^=R{ PQNH"kGTG0 .z!nAI!v,{zXhc\;5wU*o gg߀DlL1N#D`8ʸz20,9tȡ֊R<^t+0UV!;q7G)ij<%K =qjrMwQFG !EȤG䵭2l i!0S )N݀c^0ո @LƂ2aK^)۽/6&nݢL8Y;(Eo?A7S$XtK3rJ)v/ʃ`YTjO6P<]b$^ώ DI.y·ldP" I XK@eՖ99s"S¨_f %6QCoM)E|O0 HFNTFcA hP~rEƭt;Ar= krvHa_ՍD^MT]3MwMX -JX)QQz4n*!C30c! X{MSov*tlTGữ׺콑ԬC4O+4 ͋(=RhwW!4ZRoJɽ?u"agI2lqI9gM)eLѹ2O<Aw,\s mJf2WgrW1,R:Ԥ*%&1 7t-71*Yר2f|bnpUv0E L-~˂v o<5"^.z'aֿ9ʯ. ӝ/~ӿ~崰 0F5u*ЗtvV_o!*Ē7%;B]4eQYtݤtP%ݎĤ +{@~  K9p-;؝TE>0[au0 u'>?FuL F|Uy=yD M%oZڇ䦊6;x%ɿ" ٰ+>!p*掺u!0dDQuT36#CL+lZӮ hmڵļ~ڮxdָY׋6Z.LsLM 9<ڷjx Wn33R?xj<1k`Th%r,Bt=*R+iqtSwR0TK Qw;XCԄՍ tSN<:ĺ㷥Oq/ckx#:"C|V jXR-aȖV"Wk@PDm09y{*)h }@uiR~1v,M%5FF2΅cIxZ~]UyzP1=A/14AtMfq腮5`}h*8!sTk& կg׃݌9Tڰk=*fb&r7NKV<5 dYXJjSm{zuwņ(4=֑/\ #8ԁ iۢo(+ PP̷a#2Z1=)灪g@b: 9;NE-?Uˆ y oz y^'Ip/`{JƐ’4m ̷[&\h]iBmM Q>֮lp؍h }Bb,ghj:!*4 !W>x+kSRgЫug_iIR9zŐu[h rL} nˏxk6 Kcݞ5p=42&(XLcݯԷ}Jm(ř 2+;#6߀ M#a`{ ԮAg)oa'FWvUihP+$^+2KiP`sLi$RMo0v̫~K6j[I,fdx;!'UH2hs7Ϥ6,wJ]>Y tgYZ ||u ;g% DMulti_Party_ComputationMulti_Party_Computation.Secure_Multiplicationdocument.tex7zXZִF! ,]A-MՋhvG"uIBm5գ`Zds(>RĀEeA && Ó8$Knb@S^C+JFLezVi ZAqSD{ỳ|:-quEqQ GŽٸ:Ei]_ Diuu t_V e\h˰DKNl& E{&3"N'DTROc`JS1D?+4ģߏڙ[@mOF#vs_ndN |VW*;{ )iNMZFM6ߌ>@?B^L ϼ Z¦+1hΆݡK{T]enm!b:`T} :$Eшӡ?O\^(jKAI(@Y#_Įu4R C{Y,e7>pϾWLZ^IO%Np&vu\㞾Nq65=cn+;l0J"n2VgIPK \!1IؿV)| v@9L{vǝqF%$zy㷍 BfܛZ$ݍXeBJ`#p&ηw:'W2gJwaw53ׄ :7U>9}ܺGT;u{Wz]at5זUDaZ8a^қTȋʟ'(LD%HvDXn ڀ#pŬUux-*QcqIkCՆKvex`vyǝkUa3kʆ~Dъ| "+*0}g: s+׆nIC6!͵6ET/Buږ7'dQ¬ۤxH;skgNov/ O%([B ;3֗<:;DW߷)"jUCĚEyqQ5_ 1صo_vS-G^m4/m% |:qĻjPY_d&c+\Mc*yHJ 8#*e壍 eU%ߪ =NmWn$,. zܜdo`dzs'IVtp9 njhx-eCҭ@J'dKDt3[g_|%y>WWUFBxA/ssXqψ`"dPg;jE}䖖Y #w~8bn'=,}āW~H]v*5l } UȀDn)I0pyN2Mw* "d$FmV[tV#>%6X Yb *~z*S(!\/ $_UuF?>槤JYx,dl3NBnp6zTm"Ԟ.rB)51prB|_jy(T"fsߊq7[򉄮c";K`=x}iU?40 AͥO,xpko]V>pAݔ{q[>*jwI[s(zf05Z0k rn' ƒD #leAhɅ:qwCc}K{SmwXg IE!NtAQ (4GE5o~l V^zW 5zFR?Pm-/qR]^C,Bp3!z] Wұyc>.Gœz _nWмeoֽ_--j%BQ#x+b6vhl{sP1v05:X{D:#+1 D0 7Mv# ?*wX> w(P@#'~<{n&RBJ.<*I`ЗD Pg>{q, R^M>4p., 8ČMi|sɬS 1: тRz#w(.>0ʤP98I?- bmϥ ɷ\JbQSޱ RMfcG \b*3Ek8\/;NF|."gMP_Ak5{5f7Mu WuE%,Î!Mu egd3OzZS|xeC1|u|CAwR?aWt^TmgJ[[ gP N&.^gܨV`!$yv&,Kom (Oc&Cw[O{RoฐyTvΑ;Vџm!NkNԇ`lh kg +a^xdgKСU7RyޞQ pO[7objGZ"0BD6'٢g_(c :ƒ׃ ^.p.(_D~UnQy0+KtU{6qJtW]DrUu=>Q6^Yv]K#zЦ=9ǟ~ >}8I wuʌtTUZ>ddR:gUgKȧ -t _6+>d3#_9,K8Ka'}I=L3~,GpX88 "𗡜J\t貮Sw9w0kۭF3I@c!Ͻny $1.)c ynxސS=.t BG5_|7)WNfg%d@h 4I{f?'`;Xeyv{4k 8]WQ&Py}uvfNfoK ZfKV53?&60IK ֠$ S*&)ܐ NhhhcFVbA/{vΤ[#[7 !ǭw-Or"*:{ >F!~Á^3Oh0웇$KWCl$Tp> D3JiNL}qC#\?I9醶qe2{ Ncկ"~'ڵEJq6vmKpDZ&*vna]\TQYm#Ю-7h1(ȼcd>aEf IʉpmJJ !_>tԊ~%sS,y[C+E' Rڳ"8>e/F›聣 (b.]O!H"4]yTd~)eV6ؔ2=rj1~ 1 :(&Ǟқ*{>sא*SodM&G{Ƅ? "Zz=P:~Vu+J(0v l$4+)`qA WrF;y[zwG :,cRUqO1;WJ>%gϔ1G=^rσlkNnq9/u )"{Ynڇ'3BA׶0fVz1I2ɼM BU[ u$ mqz=I([̖31>ԓ N;R  -H 34T sۓ+0y벲NvJ|y3_03S\M0^ԒLFZ e+jqY$^l"yDGlЙ-ib{t+qK"p/vP;,i k ^p$/#i_"Eoh ۮYљܺy<.!ƒ~!:;q#t(sEbR/)-qOdu٭!!cz▝k׷2_"?{0Y"9iTo[Q|'V]4Fȅ1CA,1G78k3oPpvluȶ!hԱʐP/V+P ³=BwLpw\AMh78YteOVAw).onb giio G{ ɚS*yO_=O^EII:hsLYǕvXɏcpߩc%. }Kg>hI1%jf E b3H?cppѳ`TsQ.Y9[%9J%I3 }Fb{/TCy ȷ0 RЅCvw3wHi$T)bt2H!E/]d^<#tOO(8x[5\ڗXt @+gsAkj*mw4lI ؐ ~MggC?I6ndhB$J2:LrX|QUa+ 榼MG_<(!ȝ"$+v~gJ5;qGOǩ*Pw8Dqw:j}$!benF *.]%&7Ff4\GQH^oIMݣ<й" T?KvϵE*ߥyGM/L2z1: &'Bv rLgZDDPzb^ٿKQ,sPTtWgCUk]O[XAYMp3\ i×\xFy RטbSd^W\Ͻ }x;Z9p36 _.vHqy!/ņ}V_ޕ{Auu'E8KҼ(b~jT1sytye*F \6b#_5)Ar>hݎ/Wyôl/$ki[Ȉ{ -IM=3eRAQˬyp1=+~\@=[+ %N |\=ِD V򺜄6V;o */U)Ⱥ ;KޙT౑N,>˔'HyT+LjqX)]qf$AmB5%wuɫaU.} R$wYT+4;V"T)BNtܚ{('٢3KRcBAYf4tV%n%HKcR&`8?ʹSTڪG`$" nƬWZ:?1PS_ieC貁vkNKdG,pi1; =ݻg\Trm`A7$L#`7쭶KƋ:xĦmdC篰T Ͻ!yH9{as(RG{oJѬ!kh#zXHZGGNfH)NSTM诫*̂eLTnׅ"^WH,I L¬dJdK^O!J"7(U>3h W;U:QxϔD3Cis7c9\{[[,H?7ZqEK |Ҡ0E~@Bo#%Cg][47[^k#lj)F[܉kp|aͤނ'J(KT(<>/E)&i=&T6^‹Gc驅o d =E!U6sa ,k"Ɏ/ $ouUmbm?kȟǓS ښ@ϛE\aG &?R;\Go(4&Gi#OG`'s5m_O9 3IV~wl>BAua߬Ij/Yk"Vﮟ-X@I10zѴ+#+oSYa%Z<<j/(92JF获K,y״%M+(;ȫ >62yQz/ግ[*hYn:>bjOTTJ{im6gt=lx[ /e@{[H< Liq20d+9tZꭞ[[SxvIhkր]nA7Ivy^ON.yC}L\7 攷s}+nٙDV@<]~e RnnOX Z4ڈlw!}W\{_0p@mHŷL򯠙;qAWjF %.Z[ {>웙Z9 \vSmը`6iWξY:M;֊!w\WK*MjsMv*3u͐WXc[B̭Ϣo D^n vԻX܆XtGp wV!ƫH`m/c:uB4ODld,ƽ(|33>~Z{}Zk\pR.&59&U"DD'M)80 vm*?IQ3Hn(+{F˷8$|>Df~͵X#!WEWmEp)kB~M1wmqS6]«sd6OeTo~~6Kyr,e25ܙe2AQn@7FY*íVHGgf?e]썈l9N.Ijr0c^ v"1);Ce^tH uHpH{uSΊ=X?# ce4Lli@sfllm,*+.wlF3,x:@T.8@YR 3="6kZL\݊r00'qTi7$j:Fv'GEW(G`=0}0< ,njC-.pj J~񅚚t ۑ )9DkٌQC0Gia&HѼfu;yv+) E2t8oFZc]`2e%3rD DJ 4, Cdƒȶ @(-|t?r(T(YHhYAt`XZҏ W۱gYZ ]M]c ;C% DMulti_Party_ComputationMulti_Party_Computation.GMWdocument.tex7zXZִF! . Y]A-MՋhvG"uIBm5&qr?Dy8o:sYd%TQ-K?.QgmbU`f}E0^v󅶙t; -Rm읒F#R$4ϴC[^)T쵺UҞS5d ƿ>465"Ɍ~ba)ZT&.u[JbՅmPٓ.K!j]ϽL?%)KZf}oV+bX!%IKҋ#;@~3i ky2"e ;@jUK(e~^^(wtwVQݒ3~ndVYO~ u׆Gb $6jxc.*$ ;E% DMulti_Party_ComputationHOL-Algebra.Generated_Groupsdocument.tex7zXZִF! -]A-MՋhvG"uIBm52.WEEњ 7AUAt`j`rxrkd4+M?sr-VL CHeo'RDjs:QI߅7!:A_پ/É,0ޅ+ H'n{{L܇(%}%vdzO:ɣu'%הOP7tiBߩC0; 犸.eݨۻ,n2+@\pFOutmlwƆ z/Kw۽Kb-_EJE~P$6"IylhWAPܤ5̸Ph+ *ɩ%vnR:Y=:PDָ!O*4:8cؾG^'Gz?*_yYHRI$'R:]赀ABLoӛrS8=5V:yOٲQ@ߠVhƩ o!m6BǘW!<,Φ[dqG 6q3o(T-o%}̢`S(HY~yŖ3+t a{ǃ)G:/TˈC@!grBMѬbS%–wrM/j1[o5Ӥi3YsdiЮmƳ"磑:Ӻr3Nf|mS n:t=܏eZ;2&OꝊ IK@R`nI>hn@Bݾ uޏD[`uҾ#D?E/qr]moTNl2Y*i\ )4ߤ)vĒ.Gz?To2&Z,TF!vOAJ.d46(:T08akNm ⬥j%S^vܡC'|5Gm4Q#Tt> %U6U)RkJ23pke爙_CjP^#hyJKEeI߰e|qyn }c%z[Lȵ^f"X`31Xw$N6"G#. %D 6uIv_/.ytpoRɫto]28uڷ(YxݛmQ~oRx2׮$%\f\B@x+\{/@n5h`cs CO8O3Z^(bId#I斖XHu̿D3)³n6niiiܶemƀH"pC_ͧT>wmCVx" ɥv rHXrQǔ[]$0 =dv Wh= 2@%9SD}>N3n,пQ!v @2hz!^kj+f&>s+ρ,McۂHtzd*&I`8y<&U4_[oA88hnTȱS/܁;΁#0zkAgT/ _7^6u+u ta!<\Sl)90?γ{-[(7?r-k ~ 'ɐKz]Bo1QB铡Swt@2 XIk{,|1!(L_7h*u|ۇ {ԢU$|Xd[M1o7L5b]dl2[^˄8E$&>^6 |Qz- ^w:lB CC熁6!*$PH80k. ]|L݂2a8 1:.=m  /ƽoϧM/7Pֺ/\.zSZb(O4l b/u'v%\ȣ3Lʹ%{s7nm˭F&UON"@]P<܍-$PFG Ɲè{;LyWI$:/JsUAA̴q7[=+IKdRTzC1EMNYߤZP#uX +?5c P|N|YWg5sW;ҏœDNHTTE'&Gt!WS#Jݚośt؅&G6%њAǠv"=!1ɳ{8[W ՟o'4% ږ/vK^Ýd_XAyLKf,lyՀ1-=>A2_ O$*N.(e0Xb?`Qy3͆C |Ac~o⹼? SPSn[dd|݉0b 'R#`Vq$el5؃#˭ʇ |Y]mdFF ̲_=h.jb@C}آ NoYp@\o' GpuqVmڻaz%Z؊zp7ycQ%72Kzў[!ƴi‚8TE#'@A2i^ݱnfrP_> ew&i:}Ж.]Xx\gӚү$WP,\o^ 8JlJ#hsS¶bE.^!nyƴb Ūx;/C@{|:ao4({ۓ D`*)NG66ݶzQ9_#u H3<U=`?dv˿B9bj`SȾfzK2|'X+C hTHckźTT ݎ~#៑ՅDxN 2Jׇrύg}6L>WF oF 2&.` =RiOwl`T\ۘkz`cCmϸ1` il:&\̧/7It>?H&>ފ<2\˃*CܐHuiXdI}9H&KZ|ݤ МO熡L0kP [8k2_!$4q.F0Tiu  mbŌWu6 (6ڎ}kxN\36G@?Qah h|M5 /UEvCRrϙt0S*ϯB>^"_[wfujaĕ'$?*D+pxfʰʬ2ݕ-#Q0+ai͋ K5·il'@L<Y='k,vtJ3mIjs ݵtFd^^RulV)_Ψ#"GA#=:@ #()NTط\pd8]&@svj!l[ɇiH,+R-(4mІ1*B!po 13hײjO0b K lCW=f4L^-nS3X;kz{JN eLH)ݳ1^ِZ6>f@ݕ`(^(}V>U&bL]&BW($Ďs[Fo7ٔ&pΰ{0VmJ8D6rPuqH>wCm9+@Qbϊ[U3~gwR1\=KȈ& Ԡ'vX%YOU;|6#Oϧz&\Ѭ`~)-YB"L .KFYT}lY90ze_{Ubˀ'Z#xc٣`p]<# oe7\QupoOʱ=u@&Y ݆$)Cc`t׌]RL> ["6P]si}#VG3mI! ' $`?VI20uj}YAr :pg== b{ y_ȃ2=HMMfEr27R5{+h̤/e|9:4gG.+dKu 0m.Y1,(ڟL^"6V9tc03xXNbSˡF(Lk~^9BY}K{6/1F-VF pAg8FI{r'h$1n^[J䗇Q܄NU409/VƷOY@W +g2* Sa&bh*:! . qͨX됤\S B&(Ę^R1]rP` Ӆ=ݾ{KLOܱ ,WVmNnFذfd?!\;.~))G0H,ΚF &C@ LRYQذ +&6|xQ2b8E\@[浊Oz7]#B(uuxғ xy-5gwO-L;@4)յ_s>.x/<־g*d^%Ѥ&Dv [U_f7(@޽*Rvα[mef H]i6P߃b9tl+$|۽0fA EJMtKq|Vǧ-["R7ZBZxpQ/P 0>.>Ea| ޷wU#q*B ipKS~ޛÍJ;*j%opn7=a$ NȣI8'5^G#"k|,U/b-9{}{7Wzt}k/NIx;qY[!@-L⺜À19@A2,ăLn/;GQmsQBH5ah{eCc co7BnjZU'*U#$e?0!uX, WymP ?ߗ^-"kɆ/84[Ӳ$fz=OihQE2Ҟ,Zw͘l$pc<^`{oiAś&ͺܵD&UAd:G0> V_V6lOS|BjyNj܅Uw0f3܉kof.Ex1ۉ wtc6awӢAAvU [DO[N\@֗uokMh[i ;&sd0SɗMK=dޥA{O+̒I*FHAU=1@63F69QZ%u}%?=5E!zO>jpp?r3 Ueafu'!ȡ15d_R nf{jخp11Maʵ1zֱ4'IA];[f*҈>撱Z qk&=@ Ch6Շ\p''XYs,LHb#Y]ţ WxV1@o٧˗Zl-rѦ'x:HZT"a6;<` T _cub&/M+sd14κg2r0RnIJleR"!!y;[jI@\m.6I49ST9d Yanc+ ue×|.* Yƶ>xb; ʹkDEOIvoetA^ A ̨ 'aG tAP! romd:ҺZ0[&ԕ~IdNDlf@.l{g J3cyqNԧ:5F܌HVR@g0\.C%χ9{o'܅P *)i$>g+vSddaǻAxUO}.pEvfίٯI' г ϱ@Í*2u:iʹ,ulo q|\Vn FJUrgTܜQqO)4|/M*?uI"z_ 】ڌ ݬ!mT"; <8 wx l9419?a@ t-ˡH̙C-G)37쥈@qsu_t~IPP䶰Mx0x#ɔ^ReҩVBk;vn֐Y3oN2âճ{Woe`0 &@|1 CPG.δOv9*7I_0NB$V'gIc1 n{*i܀hT @}%fK(  }AA x>k8HKq o1tL3i h+;3avo+b b EpϞO?P|g$!;#LP]QY!իH<|`rg8\"plQGmʅj-{]kfKIBM""rV/s`cf?|8P9Պ{S*^<nXj2]喝0XȮ=:tc{!Cf!C~&D鬯Y`m4%PQbOoGo XyhMpތ='tC4@ mӵڱgYZJb_lw&<:[ -ZNBx#Ӿ2 9jH{ ˰rIm,tRzTdJseNIj'Jņ IFmakfa}+aO\bUڎ録dT;HNUJLQ8ŤH X؍?"Gp¶n>?b1pϤSdN2$%wBƙ~ȕpj7t K_`UAk Mj{p_qzS?]SH{N;P3C| j;rF蟣r rGʷ`9C!RҺ9 !d-ϘFbz.ppsx; yb-OH6&nD[)4+n9)-9vf>9%Y#9AVEДec$^< N-{6k7gnw"QhU('z;F8i@a~%x9+HxE hS^˧-WOبunmV=)4<=GŇ|{MKvsF;iɒӵ@P`ytFej_7v0(nEʪHVA*P[wE^޻&sP7'Qb(.Yo̟R/޿Ƃ`UlJ+YfR~ ~N] Oty/fJ]lc ^9f$qO:F&bOrV[ ^nc*jTu}̻IxZb&9Ur!tGԝu,X .ҭ3W)qnym)U ;m6ᴉٔiNyʏHq)2 C |G(_#`WgRPTikM>U9׋XL²\oi?4O'n\r9n,P3YQ< k`PG£tHٕ;S:{[i}5K5m+OoBPS; =Yd |;Ql$~?{N&@d 4Y˫bK@\K2A%v]9>j®!oM#dre2෡ljp*Ntly&(}փhPMea(%*>0h!UI]%qi(Y:9@A(Fwcy diՓ%S'Q0YBsy@w.Pu._r^0(f5DSZؒ0S2farmB4-Kmscvgܻ37Lst,`&baKtY(*ދ=Ɲ>\DOryV"bY8`V^/2*o J `!ot׊\GEirZhDC9wi^HlY0SF74ڰhlK~?>x7aq8,WE,. oX+0t)),ְ`HS%!#_wJY.%Isgs$24&m)bxʬ2̰Ljrʭ} g$]J bQ dc*dOD δ>LH}]mnpԛ ?Fήb 4I\9zH|K8p衕 O>|Qױ'+E/ 9GQ$ʇ%`x7r\KK`KLT;![H^jYE\k0,{4g&aA-!GXv㾞k"OQQ̀Nmhذ-ORzl[ (g ~]|oI;De"R*FweD Qxܻ&Ijzꙑq?b$-1ɉS^IZpN {@v| S&l3 S:@{ h&De^M1r6ȝ̂RfH w\eJfIoiEhkmO>#n[LU(hLɅU-L]w @GoF-WwwA3/is :EVs+] =a_{# C!jmQnַ͑B҈g!-ܨhlEܨrjEHj*೶DQ30֧Z-l¯ymdK$iuAen~$!U-A"p+?%x) W1C4k^՟^+yFVOJ +ΩZIJ^3-@ ɫ5~54[ 2$K>,w`VNm+/:J7wrhy5%=r S ѕ,ol0*f&Om tƐtPn?d]S>7 8ms1nϡ'.Cq϶1G|jbpk8j}})Mbҟt#"/ƓC%hEuViyYko#,y!ٽ?| pJ,TƱ.ؐbNJUc4όX͞c# D:rݜwq [AmCy}_ ` ~q+UtOC܁u.nY+Ljۂٙgo pk@7k2r+Ь9['Ő)1ܛLkˏ a|c uujE$GZ!1qRpuh nr /uAC7}(QT€Jlv &Zcgʽ\,-0Bt޺F/%;'ZJz r !cdkp\eN-ń d 0q A'O˙t7_yPS걍7{\8~ Ԅ^΅f `wDCef60Lvcd3m(G4P,,p~b,WoC2 sA6;W[L3CmV"`3h4MI\hd)gVPqѬc {RwW@m"r=UC@5o㞽hSi uHuse'!{ ҟD2Rb<2bj B27=jdxsjّOn*ȉ=,3h"hDu &H,fr=y ETo&RF"ȰC@`axwY+pAq澯B)2٪hxhti ~џGpNId+a ކn8".WoC@j0㋴P0bk lfOYi_B{UX bEd¶fJlI@*!AqrgZHZ/dzxaDLKmBV e*-[}oX2IWp8%)rax;Z6oENfP'Ƌv3̹#[ s .݉a_ & ~!F%=6ӆsz6jn%/3U=8W)p}C SVI}m~feOp]6;*y\l{zK;s)~xL:l3yq ` sHcI|fG.RSRABp Ӿ'>b7 WֆpUԩtb]BZY(%q!ާ- "E$q|\@owx 0s#FxidVlحi!czJ#r.of[w#]T3}むH3\  SMu_ Q%J?!'# ?&15TP%_^|;1 :=/49;\[&f۫A@L CrjГ pѹ/ rp+y )>Otj=u+ߘ>^2~?փ,z@XV(yެ^bZf{DDdL6)w8Z([&(^ȓzѩܶJO/T?X 4W{Q<EG V6׮E5EY[_e(sxU,{mC^{3_ vz4gTJ -R1LU3ɗ_wՠOigM;K" D+>J7s`RՌ< y]CflD+ oKbqs5Áa]XrvI$:R@LÐmv(bǧڵ #9^Y)=W]@ U^,wGReA &eFGpDxj -238,QO!E^u`'KhX*u {;y$ٞĔD$g=)l_$P~sMǴÓ ` Y*0ц ܀A.%gV~ kcw**wWYx(?nd»SE?ghi ްsǯuU Z8<Kd΍"OYҐg"lSXˆ %+ƌFAqK.@Z>מFs|zbU-w ۄ3y!JUDGKKG fD#jEvrrb UP޳ͧJ(x@wu3GġiN##4O-!bmpxvU1X8[ʝ3^ueż1SN*<'l/LʟloMg*x\>rƑq8bwf2U|W7i`1_!>뛈ܑ>hEz9@S>|9MW8dG8"kl*{4sry;؛UyZZ(N^ieS+R $Ž'<:qQB@*bwɵ-4 wwjnPgTܝଳe_=LDAA?XNnswEp䑞Hhi` {aW6xp{[XkyNeﻛڡJ Dzvp7H +vdN .^}0C'>ҎQH2Rŏlc֘[Ƥ}Oۏ&Z4y{Sq>{. ̺` U~B f"Wk[!{EaYPaֱM|lT}4Q<`@Yu`7G0j-0]FEB"upӾkBei 9IlnXdDG0_zEBbvxL U?<4Ac7VԩOP 2An1QshζN셽EJ PSc,J.X^TCۋ)^h#4 4㝄SY7Wjfibg돶4P͜UCQ&Қ%U ;eI?i*>~v.T[䃖``(~'u4^Nl#PAFdrw)Uף7(Ʌf e$E<De–=U:4"m욹v̝Q1zihF2sL, fOI=^?04zF>eh؀J S,;(uudr Wfs5\)liϩ/2Qw, @Tʌ=vUbtND-NO䘇6xb?x5tb}8(W:hn%ӡ@xJMSW%R `ڃyXs%?Bu8n.'m(;3G/^@}1[yۊ+F}cOWKjDI7fx 49 $A^BڤpWVOGsR/ͼlSeg-X1оͥ9j[S3V4OC]#ݥϿT)? ƅ>s\,l4|{Ҷ `Yl9&~W!!WWXeLJ 3%Ii|8 ͒#B6d*1r; > cski>߳R[f#S/)6fTYsvʻŐrke ajپ!Cc.jMtܔm@ni*Y"wҝh,{&O$3?fJ":DbƦiġgZ[M>u1!2d k䖆d96"89ۡGiMEDMI%PЭH#(#`'Wۓ%X#Q,ce°̡g~0]ݜ(kn%0Uy=yHoU-[=8upėaInESd=45ǯXie3Տ5D!}ѸouB|Sh Nn͐6*rK A9ȗ] bo!x>mvLpK~ x*}]\7p)Igak蠟.h Ǔ7^Le;R>\ТPeXXYƂ>?)JZBvLgڳ 5FnУtwv aX]tBx'AS2'(%`ˏ=,-tҡ Q`m>sGWDRݒ/  -Et՝K0 Ex%1Ofb?t، {FmU dUlq9A -M; e|0."=H|3WE)- 4Uk}zR$^ܩ;j =Yg 2~ Ŋ?ӼLJƍ/Ƿ NJI6:GVdhz4J0Pk7  lRrfǃqײ$u%s{h?nޑR[q 2gex(1t͢Ph4CEJ+|g`aNXUk^',ix}"}r<21=mIELIvWU&=O'>9~r+BJ_팟 1l^fB]yƖ"EU_N>^_|~ކoDM \fEK sUb U g62tL6ׅ5mkڑ@, #\IJ.Kwe%wv С]SDY`#$PΎ<7"VG e1Q3 0 Z0/.J@2}y;)E<9BdcII{'4/mă3>2uR!ͷ[A~ ߩGQ5P? Boj T%r0#n`Ӗ¶v#n&*"cؿ{@jtSgLg01vy ֡t|'1nQ 4Tmo60;nJOkl=Id52 3)!L, WDC߿E(l1 !)$ SKkimd{{j83Wʞz0;\倫F "cJ;)3^6"|Ǫ7+Պu<"+&f0~TQ,0#a[(3ǚvv-=ܤApE83_נC3i $zS~8N'85| 3]IχczN:&`hBY %#*wFWU&f`%QPm 3mc2w*\>100a >gix 7)8+ GRؗ,X{k:zt@ڤY"oX[%qv!CjH:`}g*,Zu dQ7p eV;mK܍j_-˭J  S=Y@AFgwİ$N~dإS5!xr8iN 7h6^pdu0&}@ol.[[%_onSEa0oC۪u!'H|ϼawKp{MmY+rGUewHOڃ DQK0N E])7rhM Ga5GI^4#I_SU"Hj؝Q bꙃ]ˆ>=:mߘxe%Aq(6 ]n8 Y vI,1ý5Z[tsNIh9u7K-3* s1;ۚQ8)M)z<%"ܝ]ٓһ~n,D$ )ܹA=^d/J5~Oʐ<7c+IhdA'y_;MnpQLJC1BbZq:+Rh A0`zdIP_)}2+G .# -jw]e.UiO2R)>1errUwgviV-ie5L>1fᆊH XQEt#H`4)NT Lzd(>H۪uI *Jt6*H):%o cĿ1Pb:I0Q'O=AVmCXg.{9 4ש x=a"^d RYu}'R!ޛҌ,ZDzߔkJ%PY8uQ\ӇF= Q/S?k`淫y;R ۋXAuT̳,}J6NF=m& mo.dmSt؁obc>HQWZg/mz֬|,䚓m4!h?z:?YZgڃ73S^&$;xIHn&v >0K5{U,kвW ڪQcΫ3*;-%y~6 ۵QZ#E$^AN}EM.{Lf Gˌ SdYPA 2 @bl*]cPdQ6Q|q|šmڗդ:$vOx!`@v%xzKXݥel@ժ?g3MbQE.S]d73#u+/:|&`t&$<%֣ ΗL3],pqA$q<(ww& tmF%j,64&FjzU s ƃ*VKlfCaJۺK ɕyܯШFiBŏ9λ @q)"LB Q@k% bNUsYŴ5q>ELml&82"f\%r]fCe$cրtpj|F67ZAgtk՗ #yCA2Hzi Cƛ?lf)盍D,2TB{tB?F:lyd Ij} 54S.(GXBT/v]Ȟ U 3 qG_?wZ4'J0@1|wr9=%boUqGӷp"ꊪ]@H8HO2:7 fʮ"m%wh}}2 v\ͳ4WD#Z#{ɂ9|߹"dK#}[Vߢ9@,P$&ݾ6U釪Q9 :P[1 <)_ ڹ?%{~ &_ ݱlkNgzT( $6Z}4aϩ٭HVϸ5e1)(WC ͝dOLDk@{hHr$@◫g?ͧ"pp|*[WΟB omq "In@_qn5C\0~Y2%}`d}͐5Po딱"706Uܬ 7Tc*!YrR+tz@H(G} J0wmW r;KH'#L-%c2Z:_$K2Fڜ`x%sk(.ߥH L:M}hjZ3gW ٖxMN5@Q`tY<.] ̪\bPM6容 ӻA.nl\b 'Hb= ;㋇~1N?Ce|Y"#>{i":~^w(DwRv GR U<bk235/_ϯuDRs9ygQzŧ6 5B4t=YV?9y~ oi[Ю9/\+e\OF !v )iFKEe#Ǘw~){d(xVC.Zl/#z?> \\ur+dZk0aCU+|'}<K't"dv pM$Fɢֻs6[~.zR"H HBKL'~j%r}АUUm;AFnu*w;GXe4Lw7%zz>i3knjV /<UX$ z^K:^o#%x:3e*Xv_%Ȥ tm*`b';WMȻcZﶸځZ/GF @IWH_OcvIޡ]=D½+su hS݈J ïbF#oz-٬1'zLQL9hiSרPlcR:́!A0\}#%7_S45=03Ỵ:Xl0l.gN++܉OU(U tjŷ9le(^Иb: 4? GľM{?3e2P%"ģ5cIes c1|.Fڱ)! ,|_ ҧBEThX__pGƗwg{D!01`Mo՛ (@]e"@Ӻu+t7ƪIuarXA:&j`zLvxtt/%ԇ%UO2”X N,0$ᆐdϖ@jP6{HZBV9Bnh혬 yJqYזbӝYg O#\D5J%/'H_G>?Dg8,$~R]5*zA_pKQ3l$u {~Q}^o-:Wk\R%ĵ>LJ 70ޡ50 Ml):Pr.z3T0}_^2%kn'1=trtOvihLZ7b/&'J-X|& D}Q<~_]V٥nn7+'L?'Kd3, ~'П[;o4VGlVo#MM}pHKD ҫx1 Mtk3r;1u\ʥɐOvE%FTe \,"!KJ]`iCKPB6,zLC'Q$L RKl[e|7v>V62~Tf0j8͝F|!ŘPo(wJ9l D9?"B>ڃq` @xN0eE.m֯6?sev8*$2nUuݠeM+*^|i*Vܦ] y+ã1!H}dEN‚65}([7^rK%2W?U+}&9hBYco(޵M>'tw3=(е:")KL=Tue@QT5$ x"qo78"Fxej(Y%6UR-3d"L[BLӥX2˿495WbB(`2^i/Muovl0#;Ox0aAQS!dRq?rJZ`)ſfR(C*X=B+5P<1YCI>ZR-攥H pegT*wlSl %}Xg;"실GǐP19L|cw|0Xd}"x/lhB(BgOR"QT=)A*&Ɠ⊚OR3'-1ȕGת{ePe=zp.uvT=&JZ^p~><*fѱ 6 7 B[808O0ܝwŊ^lHk'̀~H~;wg]q6I6j xzz$U:=F}J){0UeӸD5!bymYz鋍h5?f}2'VyIw;GQՅJ׬ k< 2؝mj hMI; 9 +{|Oh ._ݚ?Nq$ wgNuA"B]n#|2{V37DJƣ?i tgyf?fR{kVqçi0DvYiEg[1B6E:fOC{,yX‡ZlF q5+L95Nk`rO . h/ aLWFk+}X4Eu|GM]W68Qr?(FZ HwMcOדPO eє4@x¿p&$byJ$}s+91 L{HISM7d|wJz x\e"ɨKb`& )+{ M+fBȁ)>;Z7rBPjLH0v;LSÚoDB=EMhwt/LOcM! oZh }g\~UY?krMPMO!t(sta0Yaio D"bMx{~g(ʓyȢ7fW; W|>ِĘ>l?YZ5Ҽ@C<'PKԗRUs$k{b rhP$79 ^$˟ Crj׏Lފ4aX%^@I`Ej'x*, (yeԋ&N>^0',"ΎҋjCs(TTpAəd)'\>]fMkk!/Pt̶p(j!{+i' &I:M+d _'V.("*!Z x>CRJ^e39^5K;k;v^Dmz!d/(үZ *ZU_061F9+Giwƻ}ՔEdYrζ|a];dTNk%SUS33r]U>j|n>d3ilAO p/h\O}}kA;DO Qz8'c mH5&(_E]^nuH\ ,1ED Ȅ;.^C@+ ZPhe1mWA"yn~^%8wlcRZ*B]DqK9s&@JjLz᠔<Ѷ~N-͏ӕ&Λ^܏RC$[ p86i6eW& j;H]5 W~Ob"=7>,Bb3^Ap8)EuХVAMJT:ty6Th5<ʒɛ:T'kzbQ&s[}D#YYC2 MAUg2枖ᆫt~}| 3fS@Lr婌ndx^tѻLQd.PLV?RTfZ[9u P1qI~Pp.l>ٓ mF7DP܁!>h*h(25v C~ vxF4DDNKn btt0HIuCG|BB?Pf#crUz1j Fk髩#p&D`VSN7̔8 ['܅wc l5KI,d{[v^Cj|X*<=?T7D][ᎀKR_>[ p,>hܤgē[sDRVܾio,#^ȕ><=Uj9X}+DzDfW*]&XfȂWdo {ewhG`v#$]>DqjqQz9[ ײ"o "1/zM4suj+`߶|SƼ˕O4m׏IɪhY.>S 5,D\q6 |=9ix]+% 1nѷ%w~<2b0O f}IgVS2=UY8:8*c^}?+T& Cn}`z,ASbmE$t/Ny]nVݛ4c%Ľ_}r̿Xy/NxȨ<䐏+Dza[)T-/<l>e d#=0E礰deӓ?? *&Ew}͍8lH:LSMkY(m Nّ2ehMZA2}eRm lLI@//GRi>!; j eWC~A$%KW/ h_\OeOu(1)P1R^)igd91/M{x`ɀX#LY@ a)d!qkS>&؎b[I &z[BӂK[;817ngR".n,r RŠҢJ427Dtpɂ*Pm`n0Ru.:# gLI& *M8+)QCc5+:+؉>!؝&%J2#Vֱv1;QgJou/0?Xv8 k;3@Lƣ BKT~r>tai+%\Nf?1 é7᫜:U!]"BnNtM/%i6? ]_EtC8&&WrK 6vЇb}7=@4Ds7Sz6~S7M5eHE4 "A澘Uki@`/d&g{Njƀ eYԓ@qQ^C K&y^Ô@_gKAQ WR y$mv#09&S]AQri>FKpkܽ>539dP3yNKԃmlBJQnMIO[䌓ґ>s M=o`k(x|_זɚ4Jf3V/Rj|yF&ŝ^|ԎV%,Y9+! Ә5P1P";tCvBpF'_s418=yt4NPbJAQ2 )+ᭈW-;,M1%X!tsxb⺻1YXxʸR‡ 2xsꖆ2J+:- n5YhX+lzfߓDV&(l􍵕\D8l -rW) MVGS ͖ .e-YMbpzj\{8ǷPOo~-TkcE_=ABK˶m"Ѭc 36VŢ67ўAzVv<#]#X rT:cl1<Σqj)( p\%4}Z) ")Z,E04aA&E J__0+fb5e0]3nH ).h0C jЍZqh2%osb_>V{Bf#}E9WH(T<QٱINt!yi0׎H$Ԅl]<\OϏڙLU=+F_2Vr,~ mjt`.~'Լ }WjE T{Pһl+ bMS,LPuAg1J ,M1v۩e+n끓Wڝػ2,, t![Wݳn,Cؒ:"$@;/^CZW*<~esl^\w*aE܃D{*cRswh$AiSS3i LmZB1wxK&tsYBJ(y#]oDUΨ5wC$K,Z9Ktkˁ fOK} }-ً|!- o0FιPu7>I顀.m /LNi&'Z>C)BLF8bC 6!; |L|hI@p"<g/jQP|n /R8R6Jר+ dfm ޷IjoL.}7sKprd܈r^%ZI{L9 ZHjjSUhچ|/J9Ի e ʕ-)w> 9xpN˜ɟs[VUǖ 4E3Ͱ/7{o] d\87ɀXL bb/nQo1VݤBN+ʧ6jK^Tƚ'"Ks!:Vm0 T' @U/m8ГB*R?pۂlGGYOP.9C hxdᄅ[!JcyB QȖ`HX<\%+)mh=8W'*cYKK(ɬ`>*eLU*G1j*r%)5 $*4MvUuT)Ǒ,UaұgYZ  H ;5% Multi_Party_ComputationHOL-Algebra.UnivPolydocument.tex7zXZִF! /e]A-MՋhvG"uIBm59sBDDg һj[ü\lofnf] owq'W}^e ;Гq+P8SKfkB42 ]5汚ByQGxsqs|5H^sc&WJg.@@{*h6}Ձ(0ɘuYjhͰWVٸ|cmβ[ZD~)vj@|TYlss"e!'q?saOM.ûIj?~2Kӵ 5TD:_L%P,S {Iu7XatJ]iT$*zh5h*=}?kOU KmC~i .eLk]yoRrի2>Fv Z'A{579BzCb jR^H'*n5^>4>BigxKEM,4I9m F8?Lk[.j;.>gk8H'@_ӧ !gtnh+yy9'kW½{BaXCiC͘ sXӝ&w߭K5mhRůGd=!_H6P@Vs8`ׄCzU/=Q(dR1*g7P?N@Ƈm Os1bX3Ks7J5)|t* ZjPYIedxmH"7m]a"a6V VOh'n wyaq`!E b#C{CByƙVxޠ QA;Be IJ:ze1t!c do02baZ75q1HeJYTeA_$\Cxcx ~sSr \.I[ބ*VO y; kHVn^.m.!w*J 4_03rZ*"9J)4W#Bh,]m:œy@R.@_U=afmYR5y7Y ʫ*wKuݙCE_wӊnߛbir4FHE_*oksf6"I Xb|:Y'"[`y: U#uHx'aGdlvGhgFx} yEJmb$_IsSj-r\.c`( ]FDdÆP4F8¤&{X*^iMkCv"5r8/ZeZK0AXLQ3^14!^|}鹞RΦqyKeh?U:B2YekdS>8΅>:yUzeyϩ K! }}*Dx P׸ ^U@!A0G X$ FcEՆ3s quc*s6jlSIZY0>68msħb Oafbӹx\̦f 6vF/y\w&=r# xdצI+R<bKV33 BM;KQ{G} "it!}89;ISPMsmIic-S\,'SCZBi4O#`1q>HL+3)q!ɱ3 *qMt@R"5#o I2 }ra4JھM%mrLNM2a  m|g H^<:s.Hq026 H~O`u/R%ի,b&(ٗҪߪtV@(I$R̹zm3ܼ֭^_/MS[-}h(XlŻ3"i0'L!ʇۆ8" CE,;DU`MѸ/g՘GWGzʾ_g H~ܤ$}[u ŨU%B9ٟHzU-΀ e/} yfLTOOctLRq \(OBm}2FEAey3utie?`ZGFZYg>:d*[ R#~.)9'>ɏ2xCnFU7!SoQ+uZyz بZ'j!x\5Ha5}/ju,(# 5(ߊ?fns|ܟ? 5YHsJLr7oAsz#5}Sq.DC]:m9]!y D mE_tg7X Zk'ˁ`t u vh]]Ztqn{E֨5# 28ɆTeAϠ;G0ztJvT.zлՇ:~@1cO|T! Շ> ;+k$@9Ԫ婃ΗP?y֪ 6xŁxCF}wGAf8T~h@nх$Q`JqY:cR:4ZޤFys^()&Lti #}kh .s' `^'ꚻ<ӻ Q7R;yأ!ҝ<9kn`p;oFG.^VǠvM]蕇O©gºFj8LGpqr{؟tG/X y#.B$^ =ѱJpfۄWC*FqfOm`RB+Adܙ}rڅ;=fUq }uQL`gm?6XLnq.,ѮΛBPx_as^M(ʀPB6|{6hbPم˫: [fV;OqG_vh ?i=B_|r[ف6)}8e6 RKM:0nT:+ma`;b,>\wqW}5M7;TZS{c|}]veaF&00e\rPe 4Uc9.L~ >0 UfF^cE)PLB:&֫J b6]EN D0Zj{dl6l5w% NJ` fw̿W% ya}\cΟ= }y*-_oZ)9xWàk t_?`0ek6h$_}kfmOLEL8K/?FxlS?2 > 7"%fxv;.wkLWD}uWBC$䳀)ŷqj-=`3O̚3c_x{?6E^WR^D0sy!JTv}Hw~$*6cz{E߱/HDs ]}>tX2\SE =_#R8+O5 a.@ל[mKGtϑd5_(,ChTFjgTCڸᢓ_A­ByzzLNw1S*' SU?gGÎZ=y4s7fޡ`a2>:-L tk>[GҢq[Sh*Zf˃bK,f2ǭJsgD+XǓ,yUh5سLK%nìX mrl,K"M]aCg%0yCw8{! 4Xn6ɓ╔Ha|>7 ꟷ!H?b[Wq<υRlyujƘR4xFJ#-iDz%XmI]B gkԉn-t[j{yŝR}>=} ؑ l?uLW{]1pa@K2M;;>F9jbs+w5UIbг0WM /~ x=.W'Pl(~@TKTw'ysB%6hYH2>ﳼw=\De4',ey<bܼ6%'byBa.^w^SdR9PmaFts,|jP0[Z6pM7=P/  muk:@p!åU\YP/ޮZX~.!Y/|0ħfƵ[ q<s;$(P$TUtfc 2~?1hTvЌDGŝ K1}λKK5܂x#h@ tlf}o; d0!}.WqM; ͧ%8eW o$нvg$Y 8 N$B:\S6N[ r*(2]K<ˣ- B,h4!p}SJ6R-")PEFRך,AO-x(1?@Ov̱lwF MGEs%F%8 sj׺튠oCr|,D]3z39%f46G.6Rr: sPTTdϧGgRwc lusaӉ E0B~|VZ} J$2sny 2'h5.ᆰ$pWhgx?w !hb-ciӱ"h'q v^12x{_.F["oNد/J?_oѱmY? [ M ;9UQ}{= Y r¹ >~7G q'-KpQ7ɏ6lAICImGD>q/.}15}m Ѷ?'G.|C;-CH_RŸ+ $m@?9PIҘ ŕ}s}]LrD]ÎDN)F0[rHJ(!$ ugl^G8^g\u)=) 8e^ΣeA!r~r]iQZװ`J|RgHnlm8gϕ%I`SSLOC[B-2jy v"lw"1vN _(x%^UXcC_F[u7rNY}F#Nh9|;,_/rɋh+ub_ g\c'p}smaX7TO~_UK* ٔdH{dCRDca_;aʚ֚&uVP6#~ rcdr/y ٯ$snCA`r⦍s@kPw7OSvCG]CcV\쒡 ]&XrjK,˭GlyA\& Z=ϲףEGwra旴=Z5q)/+m.ut؊=RS@ztpP $Fl}F@UT:xܱGbߨJgtQxa4AxbQR ;M\[71lIg? ^IH0%9T.` (ѽGP-CLzZR`6{qUZ *ALSU^pAMR")B{%_vH͞|t"gW1]-[;0V~b twifMb/^p9m@v't7#J3%kɨjWtjNx>"Q{%KCVIZIEl hD1U*~_/8[.^,[EuDqB yYzm)>yh4 Uʔ$qqzjGq @uo$l1 >FB>t'NBُ*luLIC^ʍ} >7z";VPfYe#7b)c VopC#w ~'D(RB<%mLBͳzlyƾJHYlS̈qRd 2-m+Gl/GL,ѣ|HV~/yS.4ͰguWkܖ7rM:,Z܆$)~xiN(:M$OeS3ꭼB؂]^ ];A_Oc Z-ԻAWTб'$/C mz:d9xF4ĒGOy/nR 55ܬ]$VZ,`2*s ;KN_Q8T^T~mft莐{Xx qi( 1f3ƱLjawץ:ԃ^92eW_Ϭ2S;Y*L86Q "2*:YrS˺5 X)SP=wV׽[𔥤sR,J~AqE_Kޮ{a6[3U |q+]R<4W >J6V"a\D\Yg lؐ|Sh- zzbqf1a.8z7X -ҳ~#lT] Z nSy"gYZ '' ;M% 4Multi_Party_ComputationHOL-Algebra.Multiplicative_Groupdocument.tex7zXZִF! N/@]A-MՋhvG"uIBm5򊂅tyJ1b ^'G5ka ~[W\kǢP@>-xgs~@S>"4IW'd c-sK7(ft#p~D.ֹxYĶݑТe5;BTVx]ϳj,5?`+1iEkOV*(vP{`L!PLۅ]. /\q9VYK{X]UȅP/k L9gBؽ54Aa){#x-5&)}ܨE57we[bj4# 0Ä-½IIҼ89Z?AFUFtӠ^ Qt7e k z0"'e( jcʹKvtS: 1tϒK÷gV"48Y(xvy:۸^ɹYQ=iB' m5gDB!s me0^O|dU5h̰W(KlGup.‘R,t|y)H+9Co(9M#>t[- Q$DE0Jf6c.n{QUB?ډr!W NcM~$7M}6 MV4>]8T77_0ߞl$ WJGV9XtB0qRF6T3C{hJ<&gUXsNCi=ۻVw.B lQf1i1)тh ;L&ȵ54 ZIߢr oG-A81@ѪPv%ϼXx=;zgt 1 a>YiE4w>qQ QJ>8 q&f =U(eJ%ՆKD,kXdhZkBU$|S2URE]#H[1&|#P=c69V*fLP#/h"Z:iG#T@COAg-W1//z3];/,|l͹g~PQV1|S=0w&~7y|cX=jDC}^DD&D)-oǿ:‚T^pTS#$,<:4狙N醉R$) jz |s=Wg sVKf}Z|-]g#|w&^Tpvq:v)77!Q,H3{<ύ{^-ق 's<=#A@vd ISolR!9 ,^g:M(j)[o&ӹRrE;Ipn&]xzHX0_J9\D+{ }4pf<oN=HGӉFà1qc֏f7w[Pd ::5ͭ+R6Xg(XQ<$9%MS_H<-n)l#(.07 dx#@,~B4͜9BFN{=!{YGSo^;q8p1sJ;}C_V9zMY7t"ʭ0SۨmKF֨#-!~K_DV̬0ܘeuoZvah0OF@9TƏ1;DW2d,Rr}nDZ$IMS/o-9uTu={JGc3XwCoՋcר|"o.,qЕ$w_GzKuٽ5=dZA窭 Dq "dQh#e,pTEh9j;](E*) \SiO p^,@Gi0B\&DCbŖ``.yPbUQ!"{GmYYU1s.,>I]f12nv0<,~W6bK&>`J5RucJ"e7Ru>x!P1qfZFN,ЧTE~@ nR*a,C`!DuGhJ:9S0ޙ 5fPjPZQ4:II(oe@Z;}8jx)m+2/8i 9I4R;bG0 mAief͵x{=Z4ץFN#|*4L>OWJZJנ)h{ُH)dt(OP(׻C-!~6nTJd@wl$ W9hW u+Cp *D֥E- ^f 3ਉIKva,Mrz`t'5Yt­ʱ¶ yE oÎoZTcF pE[XB,J $l1qFBPLtћ]tŧd& w+0f)5C TD;^֦``Ew;}ӣXYX8⽜"gԨBl/ ϋ@|6KթLl]JzC~sƂPXSYQrCHMJsr S@`[6(o_t4yFtSƅ= ;N<ܾ1iUo9&/lz<0n>,. Y۽U "o/٦3v[+2"ثĴ~[+GXsJRPK:f@+5?`v&具_mk8[gʓE/ߎC̨/c;4ov9>߀Gv shP]̎ҏ'Xx@CZx~Mv:M6wsO wkk qkAqV<m"dMsES*κjpxh`jAFj.v\Q3&h"WU6*jO.֩:ޞc[ ڃY:: wgYjiDAi {9y b@@^s)l@fP Dj=n)瀮_oZ0nb\6jؙrվ) G٬.*9v;Z@ǐgL);Z+Vqe50Z b/Éiċ ;Mkl'3d-[+M15VimLh*AzE۟5 bv}{t*c{S?mVo̾waΘߙ*VhO` !ǫoJ Q:gg8k;dO#BF }Ӹa_ 7xӁaFP{q~6b@7dA*ϩZ{iשּׂ{k%$7?EۨR"l#T[B+fX79(h+1 1_v9<18|=/7ù7`rUhShih9:]&J5]s@]tK~p"(8JBuJ1S[5P\TyBh %`#chkCPƼA}|%Ԇ|D8062$H O J4a\pl0Kz Gvwsߊz t M#6EhhJ#]#o|:@(h.rfgƊG^F ?M󚨇bfA}j[* \zy@"n, D#ٓ^KC׻:ųy"Gq{ƅ,^.K_4C{< #6^+<6H(tY~3ubeEr3CAbnC8z^j*o a?Bs&i ͍ ʉx-Be8?8SVұd QQIZQDg= *])To|KNrv2z%.7IGFJhui=')튞~-&3L4 Fdq(3y*x/,bc=٪%+nb[XABk>#Eۼhƚh0f,L:ͽ:2F"_V@o5W/z^-fQU(ɶheuQ4wniDD2-mGw!Xy-;w[e)dT cLK¥jnsYݼާ'GPcaЂVEc*H,X,\6PXY.)|=y56{''zRùbYW )*>:z*(?$5:k+3!Bſ*5XbMeݘy{ *:i8h'IӻZ);r/w{0fE 3Xr:SKۙ$U\(HeJ~Q&C$.xSuORr5,o? "z;;QaEQ{ֶg#2NOvXLR ~DϾŸp)U~ BH*Bi |XF>$k: fq xUt߿>\x]Q 278ژv)}﹯W+t$#GJ@\REuv%puڥoҹ{`q&d|$-սhOيˮyV()NrKD]r( 8k~c,XucҎn]A%gq<5 e$ omX%6]vh:ba<$Nܾ8( +$KF?/uޭqST\ee}v\m9V Kѯ/b;Y[#rbP L']eb>hzۀn3"^Oo.I W83J!tw׆q/㛋/ĈBXhgx4#xV㠂 B&)A>:o'Fl) ÒV! [fsuGe̘:q]B A2{&7yHSr{w@OIj|DN B@8"PmrN4Xy_хTjOGpfKl]6@ˮM72vK<xްvD6GQ`Joq^i^,@M6zTB!Cfûly{zX{ ;P1†͉m mWkr\C;(I~v$x|9Q@8LB]b֙3+wKzRͶSE![5e^{@v܇* K2:sǀ\p|1gI;×lZQIŸ/*%7c4>Jq/hޞ<ـoU17@-GG 워0|-4BhkAaZB!*[sEkoPg-8?qdЖΈCfS1kQ߽&dMnX!y4Br U<X'>Dsj"ȑ x9-yGZ"dM/(|vC ZPn]?QU=*e{#֘@OXMOWWZk.Mbo}!S%jf Xu~7ty]ڟI㦩+N֚z*@lHd*0#ǿ.?d\ƯM89˜KfPi].OY2 ]ʰ?v&0lp-!$VQhPu1F4iqM]lIHT02]P$NJkD0ab&ͷ>K&;|~З!bsB%?pPxU.6)]38HcO%%v4HB-:U}OI?8^Dgo/U˺wL#Fo *90OL TclU`‡#}UL3~P&цy3?b90zm^H(e -MrRYlلbcS͏DblRqvMSNl_U)Rh%/~ GLe)m rzzs"IY@8w|dyT/B*qߞ4O[J< ?HӘ<)aiYshS.\sr7R66bi-^J\IHd@DZtY1Lvtv)m@6I)"pE3O`!pS:iyTS[ά:<'=,Cas&~ųGƟG9qz %ډy}jPX(PଓUrwP~pIVƆίPŢSK<]2ig&eClͿffVxGK1X2?avYfeeiPTrcjt^jQcUˆ kM(# ١ZL-;8|SZ*KwXX:U$4+vt|YvEɄwJ Nȭ2 [\*GLRmtj]άZ[Й3da^^6X_]vAW EQ5@Rf45N ľIQ,JzƎ M[Sdݑ]Cj.)? UruaLWQ@.ʌ1}u&1QC9v5/sHPi252B-E$׮) 0Q G,)_'Ѹv?Dw8][z5֠l>%=3CPd˪lk=@Nö}ҏ~)L7E?͹0@T[T3OTWk3 QPosf 6S{L r')$ y%ZHŒlGE+*/~st銦0AY:H 1\^V]0[7Q;%yYH2hDxs׳l͛XZ~(!G߿PC o!etT'h! .ܚ[J0ïrl_g%bN=7_{6l0QU)Mr&/wTV̨T}IKBP\տȁʎ(Jq9Ef1 ިA6ͻNN[ϒ!̌zɍ;08"b~DY Xc&o{zb:ᄻ~` ~χTO* AAx S "g9\k.wc_6ˍ\'×{޹0r=0ZrG ;9SSL.9]wC I/ok!\P^sT/(C-8gp>p`  tv8PW#xV4bo- E9q 8c- S=6.t11KӲgpΉ~SAAkygPZ8=*sʰŀgG_xZ;4'aKqGFC [ _f?7~ D.N`,m5uK0guA ZޱxS9Xlj'}$,.%~o IH H*_UxZX1b>lOF^a kx$3hLȓ_R0G4y>aӱڟǷE3Pew'1#:~mN,^smԮPAgt/S#vڟV2:yk`^xYY@_cAbԹn+V^NVq7'L-|TVL$c f^a&ի :1H/.Js,+$Djs >858]0߲& ? + yX`ݴ2a5+/@`XX+qX&m0*>0(;|j"̪=sMU ڬϧdMN=à 6 ΑM"svA>}",؅4P: hnBR0M^ipwjE)8cd-ؠjn9w TjZK.']7 kuOq8`UhάgֶszWh]/􇸦,. m}b/_5]"e-[yoEͮfNr> M0`qȺ_$'ﴹlVC(.p, =(|M`jRHԎM09~1)Җ*]b{:l;8RF  _k$pIzCMy(CF3p+:\nfٹTk*g}4463h#1ŊFGM/eW\X F{{Br*{FYTj`G$B[{QV~VgהR]2~(|՞t"qds/dD>n(U%fXu1 (7"f1(.jSdD o;hjfԊAhqytNX˘{xKh𐖮:?2.*8V4QGjgwq3'}ˑLP8h@w~7ko3s>KvZWN'| (8"2ZFf|[ISqb/B091(F9_6_,PM 8Z'Ȟ| /1Δd*2h,jφ') ;=P(k'V Nӯ(Ypi P&N͗Vwĵ8XOU-E?^':mg,;ʛ,W]_S\o_o=c̈́k2q?ӄ3@nq{C5Iډ~qRܽdV/Zќ*L*7*!j+4ajeBkZc ʩ//E#8.ubndU1ޭXGcd 0<^W g tmnŜ`b0#/=iC$rmu%ARa\_(\7 /A%:e-G΢H L.H Q6~+rp1V!)%6%D̕Kؓ$l J6˧R4Ӈ>'PJkZcNr4T]y5:dKΰGhrȯEZ1e<"b٫IZG+ l.[X"#6YyWayόd n$uҧ$m~La{y;x51cٲPKg[:]<Da]98NOã7#l3*xڢ$y?Yf]Q3C4ᶤA0 yB !?߻H GzGdߐt:$̓X"uÁ(PMNNj#?)BFƨH\ɲY| Gbn&~qn  ΡoRJvwsL W2r~|DehV%̨8 &Vg n\v6>c0*(7=PC )?ySpRm)lݬsStIf(fkȔU%auok'vHq՝'rJ;.?A"0D;ul96z6GvԸwNN&b^sEiOLk#ީݣa>-j2tY_~Dh5mL81*X,P&lD%0/>Wc\oT-l oiw UVi | mAexRZgH٧]бB Gbׇv`QY`cZڝ DB&! (u{&&Δxq Tb_ '*AafqP\o ']${Z B9޺X'nv +#{g(Gh l%HxGQo6Zf OjܪHtX[6P;Y։&4h]++!#Iu ~uXNTC̗b? Q=|dA,?PQy iЧx:>Oe%ZaIO+$aO(+jxP^7ç'9Mpe^mߕpEьa6B!0)h{io%/I5ٚS̨}}&5۔w"ՊwK=#Yd*0ՙd0{ʇ۬?f19+ɿ {k4(G0@VӁF_1dií#Z?(BCe],I ij3;gV3sp'!R;ݹxPD Fg4*ZܩPV<>aP'nflL>If~ }Jvw#y\$k1wm@@m/f빁M,s cze̘ߏ U4pJ.$ULWC"HSJ@@Tsd辱Q=#BhΓb2{S:dӃxQ8EdzT-$\tցTSjiMr6پG8UȼqTjs[(uȃRm~u$m6r>y(fR\6yjifo[zOה E?Eu|[Z۰|ݩ& ls%'7 ' ?!,g|ΟG~!oK3% !RUYC_<sRYrz@9ϴ7..O966ʣm & ҺX$<59G:1 5x&='ZтE-|D/1`h7F&BP),+4Ki6Ajtxx{n|A`6Ժ6+ykwl4 U{^2e&p Sb"t^/d$"r'|J:*Vε ٪$ٴΥxNZZEy&4oDwܞ"i05洹 {I\ZzPaUM+ת`pYwLA4?RiTm֢@ BG`Xp|o.tX~M r%0O+vA~Gw~ k,5S~pI_l/Z †ހ[Gє `1Nyy),44(f"{w,+u Q~E*%eOL.iOҵ; E~8$5A\Fy0Xyz.1CM2wm(!0KHLw1S%ڲ ZGmO0{wdXu-vS'*YO6K߉);%i (w>3<$j.QbAaXn5}}GTmL^t[[cB8ݔ]@ji]~O2 5{l-jЌBn~"30i[jsy?9f2ӱWi\غ@0\­-@[`m5Vge$pkEt[H69zc ?#N2kAH{Ň]YdĘ,e>Iy?:pٲ`}73XEtaGΞ3j24uEO}.AaIri R8B3+;E$%>Y! @^|5.^6IudaQ޿|'.X7qӍ@"Q*z rԡmcM=T?8╾M`d,ʺ!}?-ȰSz e#+ 5xB}HԒn1ʫ?_N]"m@ -ģZ8dɶyoAW. !-fύD"2^Uo(y^WS8ۥӯ)OABNh~ 䛳!d;>1ƋLcOoB_V! l0W/{Q8@+6m%I\^ yxf?% ^3e2 qwe"5B˴6Q<";$Ngt |_H*flZM!A>4|ÎBړDaxj0EM3tU $;eU -\#7C)jICzln+`cy=NݢЦG̍v9iʂϊ2#r^aG'ru2 dSÚ.3}n<8G E}xX^F#PE=0t0(V}U)$*znb@Lׁ#vw^k'LCvGg6g#ylH!Kr햰nŧ\yMA-Iۺ 鳠P5'+e6*wﱎ y8'$C+k,RNr?!jT/L.!pՄN8G9ni V/lIɮbZaRձ7"&z% D!GUW( ?}B|36ɀYkyA1|Em1Qj*(ҸW,o7dZ"W8\'RhU{ǙqɿEd!252NArx uzorxva7FuWYu3Wÿ/k-,:(T3\fRڇ_I(qz.(w~̌n;/|ZBFuJ;Q"OH mt4\R][y"1yw|E#0#qbWd8*ɡװvW0È|+Y '++1Zt*Q13Qsvܲwn`pz(ƭ)[<ܻ#~y爫'reJd!w_̸M~4@r(7SlO>|kOFDk{"pr -[ jcZ&`+ Ņ]S8*|n-TS+07~&%e/7qc2|" ZFd, EfwSg˴;&4?u=1$i~Hn\Tx9ODabrsWI‹- ƞ-pQ 7•E5x/nڅ c<.p׀9-, k{ iǵ3&\V=Fc}+-<:n:u*?[sSF8!{U+ZF 9@:+6-5UwEXEz7GzÃ@P^J'i"" tIMdwB0Vrsn 2 .tߴb Zk u^!*|5_Sv:`7(>2+#W`iXeJ+T-W8|_Rl[uE@M+lLN2x릖Kg>@|߽z @qome_8M}\ȤC{CI[]%بur˟Nd]\Иvзb䗕n24,l}""%$TI3Ok4!A {U}^TjX7&om njn%!z CSy(6C' I3 9ڝaq]t='Rܧ85#fl8"Y[g^x6;AR}o߾]Jle@EES" MkEN#|ܞG#ܒfv7R6;{L7R/|;cJXJ%K>[F\*yyDJEQ `E@K!o`be2o']*PR(c"_F.% |^^s*I3NZ}uHGbĔ<2%_)x[sO龙q| B؈$̉5;TBu8፸E$)(.}oXNi~;׋pK!:DZzQ^fq !p5 { -/v9~ΨW_mAvnq˚A&qE [>%}q@VI%eHHtjY*CA*.,> `ޯDžRy0sap8{oH|Z{ .S kMp4b(4rcҌU ҷـ9oD<:0wSz`AkL?EzJ=oTF}CUU4ݴFږ?vw-ܿ+w!Mk  Xl10_5ʛT)摈#Ҋxuا4iNUksQ +\=>O3{`a# 4-(SfC@J2&A=5Nʩ$g2̊?|蜮,Ze. `Jav:I;7P_ZS0)=J"1:|*/;d6=]41%\HRhXWTS\a6 L.F$_mjcsϲi=Jg [Al7rjڠIís}z4"uy:Ù{ynjclZ?rץA&eN@F3<#PPUG e}X:c K[Twn62??WZ=L ̆7m[= ~ufg!#]Li̯ ?Y8`se9(^<a-C #FuՊ{).c1X2 &SEC t~:ht6- i3XqphGK\Yf id/f'aI>"m:lr_X^2.!B/GW쮳;24z3 RX3t9IXT8hmDJD1V-Xu@DcB*.B<=cL*{`ݏJ,|2vH9nfdr >#ϵK3ɋ8PԽ]9JV)Sڊ?V=6H=*5tai]y44{kP0 t|NGIy] (f?8?n͞ez*BXz{l07n: 89{_wF| B嚲 y'+Bk?=y-o^Qe5˿7D;i1s|SYnfK fyY15$Vcskʧ1z ceqJuAL۱ p^Wj-qE~'eA9/cLXDpdHvV>֨1PZYk$OuQ7a76 XY5)Ňt!C'K-9*bև1E.&>N9'zaw`]DQ^_DuB59&c!wC磑&GhW,4䍢eO#cX^N h-;gE g8]z;pt`?Dޘc}s>Rq]⁈0MF0d̆ݼਐ/3>,T Vu2 RwHjM;ZesQdnǵ|8ϝ!%M.}ч'дboT a ~z&Cv6v$hVPwV"2LA͐񪣣c.6ɾY2IT0MoG%#^AReXpbgRv(yyM [VIZ@T44ǎ^[hsSpOM-o|f>Ax:?ʐa/'g3]uÕjoe- L+x d3]1w{[(Nqs"Bӆž2(fÊ7G(DA rԧh֡~6ch7al! j#Jj|Czܞh}צcԬ&P}slOf:r-[0%AlS(Ӌ@5_%9R1ǔc90z ^3L;W&JtO?GC`IKͯ1-=9GݒMEK7–w DuY#\U*lKr.М &=pP̈́쒷O-6N#@<$wD$)ٰBtjdqG`jȸK9`?HiGTΦ|v8k;^RkXh:Udvd3"vS+qH.Y:r+9V4n1# 3`HAmoCT i5Wy9)^Z{(A{1Q\joc@^2=aBFZ*]$ ?Gk8I!FvY[:)b.Bt+ 'Rj'ϜP-$5 ev^MKe={;jjѹ He#'ȫҒʢ%LgspЫ.~qJ0J8NHk,|5sUpjJ@Ş=?v?/<Mi"ofb_6 ]%,. XF Un:]M7nTC: ~,4o|ÈFwߣƍrI=렃ƃ?ֶ }J#>iI! T)PbAe#zc3$ Ƥ݃JPRn)b3Uc#we}OI8C)\Dʙ?JKw-yR'n6<ik4W@|v\j,a ޳O*!JAMh5 0Wlc7Y =#d{^B c ;%. B(u5ew uBa;Fv#3'3iվn6aQRnDdzjfI[=qEm+Ll [2bgB HYafvZAfҐU5B( 0om@x%-n%M$߄6ˡ6qypRPoF{D=*ay"[zLjb\~`P_tCI[ɿq`wv=ZyX)z'^H+ R MCw-jP> a8՘ E,Z#*n}%>߇fXx_5ҹ)Dg!HItM ?zRd?Q_Lܞe>V+]{1i}u|8{Dr%qPI.}(6bafWIۇccSSD]C ]o m^{uhƴjG/Vm\ȴ#ZuYۏ S Ȕq'Ӎ*pt'ဝ;xscoy?fbGVZR'UIu+R`]럑qFY$G±O.cJTc[g!$9$p$7mM@]b.vPfsw?wBl؝qxљ)D|148uPǴQ]J@ ;=z}tz}(-_<+V; Q %A;e/hm- ) sҩ2:Qrn&Zّ{]Fp` leZI/߬fGqj%ۢ "!DM[B[_ 6p& !2Җl*.ەG+UiXatUE1 r{{QcP0Nba8-`P9V_D1*POe_~ktV{:*ȋ-LF޲a)~x$xN>/>X$424q'l4)6q,prf/F;]$D*``Mß42U2\ Ƌ)Pb+=G/1ud %z՗vM9Xܒt(NQ:]&A c6ؐ jɯ@NrA3VoGyVStˡpdt e$m&vݠ>3|hih9F?+ רst+y#4RW%Wᇑwcgt)@}TK9󅡝lTcStw5dv&mkCW^&Ǵ40r) 7޺Bv]`}<*tzs+ey8X P &-}Wx'HLe9dHn\Q 3772zJƅ벼?S4S@2a4MawYWk$\ Oequܳ [UuBcrm0gq_eLqB91Q$,U:d?2 V|ҽ{MY"Baa~Y3sbxgx=ΒWeB{ˢ,I׬8Ϗ>G\:hok:P//e@g 6ORsqհkZ^;Du-wo%{nG֌/^թv;߶Zܫ؀4gC9vJ-P0\}izcEurŘ&c kIxcŵTe( ]4BmZ Yy-(]ύ"*gfmT-DY*h;^Ro o7bv򒠣W8Xi㎐g7*{ {jVӨz/,~K泴EC>֏e~X`I5#lr]й^dCaHeb9wj3lJˇeJsl)FZb:}R8d%qP·D\;`@xCl3Hz6|YRzCY߅ߕp+MnlnK-Wi5IlsWV1 $#yOQu>)?hbSisDc<\H`6=-H HQpz</?BْXDR/,> Ul . ՘iϹvt]5#c>^-6kS2O?X^aYC`# F 2 Zĸ&9wYr&)TW& >#+f!I_flAxYUuIRu?? P>NT6R$͍sXQfm$>?|YGs} ZH odzf:]h:v`ҸQkUCfeL_3դoR@~ʖ ԻV^­Ztmi)޾5,>9w 4%OVG"c|VUP6셠e&c 3;H;UvǕVޣ>{u]A6pژT ",I)^pZ\B4Zh6kHUy{俙e-D޶L7?yh֯[]/形pk:шip%f6pKJK8Ͼ|@] gX-j`HMܱ I<:c)_11d1M_0)$^U)#uf2bٳyS,GeM }1+rwg +[;FDY@~h{~i'L`p8PC^q{́kҧ[hL%f>1e8qK ҠyqYb|{ d3ꚻIcz>ջ,t ̾^A.=] ރWiRP-|vQ5:dSh} @ >ohAɭFWɜO+W]fl!7˶ML20AZ>J/ UիOy KB6 gDG;a8jSֹٴD'#1I5iLZ,B{qsԩQBQJos©{ [/)f D~hc1r[=3R6;/* /^|jƃJ^ eR|YچCn`lAVAjb]תGߥn#9ۖ@{3ED0B/._] a67~f3GPKUN&z_kyMHH[Nhdsu[kyϬebMfT",|[y o66#`v)("Y]CF_[*]g ӏndDd f0PKK-crBp؆GsÒբ9%,LX9j?tn2_G9t[gϿP;DW~0=*0K+.ei)h\<3mU'*UBِ-ռnq/Q }FhYU~B& ͟#2n`*-6Gu^_T\| /h%p%uEZUq҉eg,pB%|. ^)xMk%>W,pҀ,uE$6T j>5B[rnAe<m%LgYZ  D D- ;7% dMulti_Party_ComputationHOL-Algebra.AbelCosetdocument.tex7zXZִF! 9&)]A-MՋhvG"uIBm5Ē7hĸ3sl-do{XPٸwrRBXc<B_c p  ;܂-[[qڨJ#Raihvnb ǫ%sY ``^ϡ8ZtNjcN lw,;xVp䯨(9YC ZV c)5ڧ˓KuV5lNzp*t.4\b_gyH\B#kA;hw mr]]vlC ez65rNQ2{?Lx}yG Fl+VtCREEi{, |8Bk\Fn8EZetJWѷؘȃ ])?g|U&8T1r$ X;y!tE9_3?R20R•΢s8.Yuh{&ͬ7oe \g1!)ԄuCs˟]~9VޗA!52o'xGZ4v a ]vMxC.k:J']֎vUp?l%J*|$ʧ{Ei!,b6'{yW>aWJ&<Ъ^G8] nƧٞN3gJMd(Ms(H~t3x".SĽ,svȺٝ=*\zcCN~ݍ'y9zߠ+~o$@fA֍!P_Ƽ'ݲj,$# E((W[A1 !^lRk}H{ڎۑ2^B)X {tM( ոu$'_{;U9~|yhS08Ai>U{XBieF-*C-+.(iVۛ*8B1ATjpC+nP(ALe&iBPabo!" A'p ڰ]jw/ YW((Q lgP<.~+u@B彀܀2ir'+%IcgGKut{c*1S/@wW4]P2C~˂Z;(Qna<)ۿîrנq-gopJq%K}Bv 1g3eEB+DBISJ' z1y&e^DZ}@VS*o~߰.c"hq% NZ4%s-b|Ѝ/wRrasO obm$PI5k`.n^O k)Nf5ޡ bz F]ݽ 0d|&YcBUHAV_gn?n-/;+^Ef P"0+ 'BYk6|ch,8i9/gkO>:9HQE]@'uaԂ:aǛo}}~'"h/]ngfqsݔYyW]ae5\mkdF Ma)S ɨ96E{R+skdE'r/Isn5I%ZȧEuگ1Sc fȣD#lADFlujA?aBcR|Ē,Z-Ȟmo;ctG({©!Ci džh?W>c,U% iU,!13 @8+`O*1!|P!Zy; JG?^ HF(/ ࿽7М?*x)_tjuxp_&'*̋02Arpe^y$ʨU;Y5$[ZWԅJEU\[~232lrԝk,cO+mi<ת9SGw_N-K"Sڱ$\Y*cQ:O}LǬ,+2ʓ~ :MU$Bf8& Yȓ[lOœy79C;,ԿǵOE$u^nȵD)ǖeTuq7I=LRd@os5bA?vݧ–%-d_r>أgäo }*b&lCqQ=TKV|9@vQT'y*|״c6񏲽E_`MoZ)$YmPFK_!{"2V -\y%c#rj-fm! m;2 ߰~DžwQ( TPPzQ6-CXG OQ8TvM8BS6 ΊJk|T.+UnIX%w9LQe5 %^/\ cg#`sh-/zv*' G +Z=A*F}偖%1MȣsZvzVh'cj'#krN21'(.oTi69U.Cf_ÿٿ|L7pÆ wɌuB6$7YFdIjEVy\ҲT tIXl$U_Oᗟj,kIѨA hISɥ&VJj(:ᑄו4cR߱ Bm;|zTWxr(W/DugccOj UQ`xe_PFPTggԪǒtH=R?\tZ^ |>ϱJݣJ0KッY:NMw{J>+a=貌7PIuVĴ؀pNuA#>Y%+TjrXc'_O%-P0L|2TFχ t'CSܭI0\%5jrF.Sş_Ob:^AVlf:[J;;4B*Ϝp3삹]XVfVɖ6>$ۃ#C`[ D*Ȍ@iBG0ΠZu2OҌ'>7J1=p\J95t:b 4;ZyBϢN{__w*G䆤 F2j}1? S,{LPlʪU4kl'ѐ+^{f`.EΫ;-2Ha, Q7QX0"-s4M,=IrV,q}iޭARw%v.;O̯F00UsGUzvM۵Cfhy/'`-¡DD dk4ŘV.0PF{ھGY3rYVnRXUVMoϪMAJ0Y}kD->GMnE"/'ɝ̅SPp"Å f:%`} z_qO9[}] =:X/Vd5T}M&oNOˊSCۺM(k C. F$ vr#%,ӑ䩏v%gY7νR78_8 r Iv;[q6tf=@k_ZHǜ6wCj[XۏzVdi87!k'R.ԈtG.hwK JDsaCqKYam畗-Ԭ:ၗ;U>g߼Y>AJmvyT_~0r"yC:ڋGӉk{ VܦPvBJy\fQ R1޶j2Uc TLp7VD^%̊ME`YP"$ט`$M+d t 2ítB|^ԯ֯8NTk9/Y*Hfe_e"{"Q{Yq\*NL4"GujFUPk\KSsG E*xAyEvcH{=yW%J NnS ewe^;82̩!y@a`{ّFK3gbHxcV*DNĀH)a ^(&=`Vk!:s`-k>PwYv^B.ʍ.dNhy}Rހ w0 T\gLk^h5Քڻمͧ"5Z%Y8zfĮh/1˽ӷ'#r" +ӕ.W,qҗD]L%>C.1q0qv#ڋ,:LӘ(M__W(!fQ؉yIyvsOp]-ViZVv j&:H)Ug9-AeiÛQD}";-Qn m[ex~2Trڑ|cZ(?!`̡0`iq,J2gMR/sc٪n@)m8S <Dz0"*67#퐃 .Ǣ9+1ig-' _0 }x 8 uJ0)pɁR veIuOO=}cNȖd@ ݞ Kvhʉڃ<3i oFgGq Ա!>Flpu]Qy{1dCڒX@7e`,%bI@b#lHV'z+ Y儁=bZI@)9W~! n8PìL25ON-g mKHFm пd8\d!j3ۼr|?ZQ5|QXg cqgm㉵w(Y7~ P4"h+y~]t83`1D2PYk2;VmG  旘P\:f@y-еBP2`-XJ%2nI]m!]eZ]ĥSH ;v6J(L=١z3ݟdJD$Cw{mm5u.uvliLFZ Ȉa*٫H̵7,Zm8xo(^фv}.j@gO(x& .j* bl$ gD=D^!{(o F9^[4,kLk^'7sŮ c9Z_.3C lIS8s n /x˴mU*>!c6aٍhz/,bRDgYZ HH) ;?% TMulti_Party_ComputationHOL-Algebra.FiniteProductdocument.tex7zXZִF! )!]A-MՋhvG"uIBm54h l@zgѥv#j"tG%r`^AkMn;@)b]ys& hko/|V gmr8ҦgGVbd+fdkI8CʋZA;dCC-tC s}ł҄h|E<9 hkg%.V7T &h}rA.\}ƾ7J*LKS[ZluT0VӔc_ZO6<3B^`(eى`7nә+ico'f1LCRc#iq_[E+:>Bs/^:*Qk KnHh`2Q!ռ&AyN~\xx޾Tesx?DE"y3 - 2O-2E'X]BWkz=\ /͗ U7ZԨ/L[ܱ. &C|533-ޤV^Ipo9|ONJsByJ#G:*..|-Q|#_#tQM4j`%)ZL_8《)UؤHm;.+DiHWUB| ѩi>q]%@ i徛TǓN)v&~`Rk~ ӆ)a,OpjHg'ט+9n] f*NHO'B+ptP &hi6쉡t )B:ǓkMڬEV:.23Bkߥ^Юc0Wch'K,}_ ~'3 3+7W)giףvM/zd/"~lL*,6CͶHs.Vp[3(5-%)X33,Fj|R'郀ecLQo̫yy庨{Z]Lp1:(Nm\T5)XI 3  'Ɏܬ"O:8SkšeW2*pbҊZfBe1q!nc$HܼR**(49B&-֤cYO@i!|<~v],tʿ'Fgf;-ڟ QDJ'#i]N`Lʆ-hS{_=}TJS78\#!m(㞣wcEJ[PDAQFU:W mwcFLiVWщ >NU&ID3YƚE*STtnjŠ|pS Ҫbq_讷sՁjOn͠(q up1&C`ڕq*u/ J$8cG(OEh8I~}򙡄Bb> ћ@UfȧUވ*7=Ay:34GbBc/uDL)KB xrP  ?F=!=A")HsQd1b7kSJR1I~AI3 '!SnspnIy@NCJ9uJXnP2f-k<<vemR4D4|8!.O \ VkbŖ~`S%bh~_HF=KY W-MLs $Nw3ݦf/TN]؇BTQ $hRooL 6et*bcHp1W?OcfA>^F4sa+}kUS_bEygWgXd+i9:;B1i6QxGO%qЍһ>;7 g$` l\6v! 'x?t1*lNj_j2~IrOEPځbjA+'G~|(jIdacY~h" @p4w||o聾td _%VR _{6T}Iĥ^8)[=P4lh#5HI KzMz @?ŴPLI+f'ƱGJ'kYȭ>%UT*VT; F#P.\7IvVDh,F+ %,X @ȍ})=4+t|{LޝP 9pј~ r%<̱9w@q5db&c}ȫ,'@[(9}sWNҴKS`cbEB9;a=x;\A\؛PFUF*aL0ɴ nS-)b\~]Z)R'kN"|^g>!g8vʸA~߬!l8J^wO 24n9U*'=lFnn9M9ojC\9ٷc~6}eI+^U=2ގ?-/p$GQCqpi7t*2D_lE*kCTllA VhYYR*cYgR(@l\U$^el0у"\6 Ngo3~*>K 8m154UX_:gݾ9Sb*mа1?ɣ%hyx {?HcjUIa~+t2:Cv} <6І;:Š2M_>/0Ȕyl?щ8NMSe1U9Qxox8%sPCU/GpZƐH; &}9QqET/?%Xdb k[9/-72z1Adz@8eZag1)@xDZ; .&ը/fE@AqnfT Sқmx}9xk`8kϛ)V/JߟJ`(i$RHz># VVҰWeBd_[C[{@Ә7$s X6w;ٸ)/fE&qo0XQE5V˰<+!IA `,6ԋBlKV^n3ʲzXǕ{"oq N|͇'PQچ9cwz|Z1 2^pmbPB:oܩQvK< TᵎM(̣.뻥A`Wc%ҡw gﭟh_=Õ Sah %ТT6f_͗v$7v |Ԉc威{03}["'򌺕k\+4 d٫ w61Drsz;VhP?xw܎ՂxJ0r`ƸlS j:ǭOE-a=ְ`{C=a[J{͏ʩd[XpV H6$LjEJߩ~%[#}&empNc} W}O̅DzO.c6a5Zj]ݥE-ܢcC~=y>c)]jU) 0;95(̨ȓw23c߭FeD *S8N}4vTfyA((yA5d*}XE$Tۊp{8NV8|6 wbȀ&_Ρngek}a֏'4_ ~Bֱ]Lz.mUG4& P?وV;Vuew^)wQr?|c!um`&KXI\E]Yҁ Btmw)`ܠ&nX /v \sNAMz2=:rUBtpʒ8dsON7.|ֈ!z^JMU9DP,n9#&].H>jS+w <}|1'aB͉p/oSɏ Sj~lR?~R9|L"g x]D:;fPCBca2  7s:FǗ&{c8)Ւ/Q>"Ӛ z/FQtc?9 *#$I -7d1|q21Yel:p]Kt3um#.58;rgq%0?j5ЉkG߷=jy4r)BQ #Q!3届%EԚscжC 8G^NsvDJ \FWo!WOUVx)-)+|ZʑNř G>?:ϫ $P*^`k:*DgnS%ˎ\jQ8Qxt "&$8n{V^(~uXy*J,Ks(]֤)N[ d%lIu5@d ƑfFQl}n JʻnJ lpJ˥#<8E*7$GG= pR]^"sG!@#$/3he.u'*1`I^dK[dBɬs `Cц/`+fKbJH2W=v*L\;/F۵&Ëυs<\(s sÍiB%IP\p'Kk2& !bVѮ7@wjHB)WUe,\኷r5U{x]{S_NiIMSZ]BUY$h[n`6V$Wa)8 8oi𣯫Rba`V (alf EAKM|*j"8 i\^ فsH$ Py9`">\5ʁNB<xs?3wΪ0ql%ao=)obC..*ҮG];6OWpj$!{c|])ڦm!GRH~V\`KԆfC1/Fqܳ'RGj(J5>`ic]'ryxWg̘5;D񐩲~ >|O+j\?%W6gE2c't%Q_7k2 KkL{oB)h842!-Z"$& }_MXϛ.ҿje%sۄogN5I r>tMEN=t2jaQ_pA[mA42cT3"3'bX?fSyekOg\#5|nmtgมDq3i@o-Z!]V?GyՊm@T/OX }q!N:WeeoxPk]ɢטpZ([Ci^VJzX` J> [m_w0joFVE1l˲*-nDg3΀_QaFF_aPmyiE쀪b5R}`.A&{{ eRp{-FѝD+__GON* [}eGS]I̻W˄BT4/͕i}UotH*G97NJ]XP"ro$ߑLY," H6M@]W&$[%GlJ|rғ(gZ G~t:kud6P@kȲLۥMaFdoq-kI>\JO"ᷳ;dz16S'ak) &Hq΅ ~,w 3gdRMgZ*AZ:">e!ISْAMVE2 ġ`d 1oe%apAJM6M֢|Ek LjKYC ,-W\s4FZeѴ3}Kf?B.z  jo.Y6`zG6aOb D n~)ž# -MWiԗCo?W*B;{Kfe{AfEC Aoɛ<X.N vfu[L=KLuoow0w:]%hP]FH]p#։ ԨU nA/46\B ?dVrĿ Og|#9֧/UDZm"b;M]!Ij,$P WcH( 5oOnNӰp&:⃯-Qa~h84WgŠD-lqꌕ~Dz u4ٷs;7``5Kh{7u=(3T:oM $Ȼ2[WXF8%%EU1Flz|ET'Cʓ# ^ZNVp^aTics/)Dڳ?%:,yIRp(sVT=d{?[<`B&=o<ڜLx?6" +l+b}CN yqN DC|2dBc2 3ghCZ7}̬Mgވ@]:Qt io lǚ(Ru*5ZiȈ98lFA~.df2;WhNU3Ճhp蠈fȅ%=vGQ~{;zW)Ke: U6_Qv5fMDEyr=C)5S ؠv0bTZ4/%iV T\>VpwyTd ]s.J⤖XONC1@?8jAvX#j'Ws*pĶMwMV{5i,:l UwbpN ;KKX9!)K\@5g0=[[o>En"~X1:Jsj0_^A=oK 7;}uP,Z:r D'wYtj;wUXR(4 iD/쁴x Fٜ.Insq5Lh. AHy)PdW)L aaG}fr㌶y.$JlG ϊoeR9OHkxcD\6m#p>+(}3RF|a}Ë^M)c,) ʴ>hn3K#yf揦E`>VUλy=>#:L[e&=Sz=F<4DNNj>ETKu5?y2>O!ȫB!Ifۙus 1>}OHPV RÏT"T2Lؓ.2(8p W^I;YZCΓ "٥=;}G%hFW$g vИzf/ }/m힃cڣMj qI/ӣHPS+U}.O" NsWEr7b)tR~PTvTCI8D&M`K4_ QuD3plEDUnh)ޓ=xI.;б(w[憇P -c 8 Ѱ4淖QzU MNWP[4bvwR,A逽ϺC/> ӎ^І"X*VX!jwfP/uK(X܎0]Mb&tvBcSLa7-JkD 4#{sÅ|獻!>`%bk-RYZ{ '(LY:Ey?ɪg6ҜhHvh. E&L OIFZ>");AZjTGvOG-As'\/VQЫ%1צ6\`(mr a\چM)s*6nY䆾yCl!Y]Ք^^)z5U/ M@CajLG\ݣg,N^0M]yh| FbF lPJ|9IR!<@K 0=6o2ÇegE/GwA _sZe,əP".CrWϧM8|1a$armWi#WefTr Ii?`1[WTzGj +)` "'-9IROgvA _,=*l70Op,Tq΂(w^FtzyR0&NPlXlU}a{TjŇStjXfl4-( ^)- h(*K1o~5/pPR_) N #"z˻9g,E8E#NPBhb/ Ed :frv:8)f 6B5YO${×N og|xԿv7:NSYmYO#b7L$ӆ 2!$( u( 5WH!`/Fi ܉}z 3'*([Q ] _cmǣ^1o'X VFlܶY>D mNFQ \0Q?Ad_"5կ%NMwKĶ'~YX?ᕞo$LY#/҃"`XЦ}AOK)bȵ_Yœ]?{ʚ|gqYFi fd=q:`7Mh-  U(^M [-Z|*Ύ3&~1{X;66Fu0^fCZ;e݋27XJyAVNծAnr-R[SjG10.{jIWHwr~ Q+maQkܝH+wa<~ (63_T/<0Tx}F4Wzt#9J+ߴ_$_F\cgɝJm(WXb6I-k딸|Fcs]cos;Oz:..#hr}WWY  -[BxlOس D\o6uFK^6 2`6/ĂDD ȱJ2dJ D#Ÿ_ My9|=OUub.)Κl3yO-Z)ׄ~=9}SuaQ tqc2lK/j rpتFzU. o)aL$e~E"e8?Vv-9jwrDk滸[[9ʑ!s{g,ZR*J.HlyMRz7TZ?2Z*m1f*yKA.䲖F7}[E^ldM5;Ny aI5k0[&/m RA'Ωۑ 9 /cOQwl߹/8^'ՐHm]tїVz-#KC6r"~KLoz6( 8wѓqRo]!=_zAH2rC4%Ò+NnnUԹ9iapڽ$ت㮚Wux d;;M-^3֨q0zpkE ZMI[~ƘH[16KGnqD=U[s/Z]Π}cB}"9*܏.')ޤ\/;x, լOj7F2gz JLu[٥|{bBF1(# ):ݡH70gk[k 9)48 N(he"qcoHȠ+_(|4m te>!." XR²@Ódk%xN`3ԝ>÷2YKDm} '\%Qq7rC>^&qn1dm S໱Zԥĸߥ=N?v_y8lkEmv%i}[ "uEϊLp@p,8wOK"g;i-1iX-y9e'vqfBM}yu4EK,, /cJ|XR}&b9}Cȣ%.^:[RBqIv}*OE- \h6QT Ðx0_!o4?o϶X߁6rBu.8ϱڢvy+iE @[aʌ\fa ,^Pw.B0K=?Su")2[vc:;qw+Sc0JUoQ/Jbqpw+A3]dP \sksB~5~Ǚ !2Xn#RX%g̊e%AGI@UKCf]X.#Pw_O hY er@֝Nw?]Q 7Z &1ofcZ?%Mڛ}Q(zIzh7b0&=:m=ӹǺ6uKW>U rǐ'7Qd 91gy<4&:0r {:WUPl-4gdP:-e |78=km}s!k`ڇҴz<- ɸF.O`PƎys.[W ],%PHb$m _-Hy$,L&ܤ7 C,g{%Y6<8On{acq2R[t(; /-;1kȍghTӫ&T)mg|bƌ]v\M B"Wi*.ߍ׾r(3,oC? {ړ=}@m%ya2u|kdB0isn GKa66؇3siQ<8 vcꮔtVHrg72IC6q j~j$| f)6LջOCX5Of]Ӧ̸Yj;dڰa5TqcyGZmv7Ad@4h;oiimşN*Cdۢ;2" Rqp&sV vÁ/Gw0i-z(4)NIa?-yTwlKК&B*~S2ﳆsI LPJYI:JP ^=N \U.CPoE<nژJSV:5;4SRҥʭR w>C$# Q䌖*1a,33 yDrPPΰ?waqe}g v/A$;H6 f`#Fi( Cؖ(;,4e4=4`)`Xߐ1r~|(u\rͩ5QmG$̎*PkF+wОwqg"`>Il?0s*brZ Wu^\϶.^84n^hVnwBWw(WZ35}. C/ViJ#JR!J!P.?_[LU LQp”"r[~12g}0M~zؖ6|gD0鳫*ň091T>j1}5az`6w#ؒz1 6;ɚ`fԛ8^̘1>t-R=ԿƬ%rU11fSGAH]ɔ>})fLɃAoD:ēeݵ`cI}8GwkvxZ%>(v7Y1nTZtVQ) lt1(gOCgiIi8Qb/"KCU|;m8Vieb+]qA⇁ $eyTTĨӝ `dԼ_>ӸST9Gף7z.PK/[$T`rAiyg&E8er_HR$z H4ʙp& %+X*% ƽv쾹"h2 QgO$]Y7\8^=ۺf}񼀮0fw&sh;\/%[r #&&2px]R;LrYv lD]8zD c0 `Tٞnנ-5J'p5$LG2җb;c'h[1)ZOS ʁbP%UZZ#PmO|+z3z -׿ɵ2L6FeiV r!ytIl%vST)}vj`"->)Ybo`bp\ʶ$̂Ŏ| cZc#;8K4cPOբVS )'zҵnTq:afwv*A8LYsOͰG b}_K Baɧ:-o ŕF9M'yN9 @.K$dpZc 4C80O/yֿ~ۇ*LQU\}9i"O:Պ4BZ>3DY1-'<H$[~qAVr XYJ`s.$ 5:> Ig?i&8-uxvpl5S]0w8.%UG 2 &apiNQȬpa07nXNF^di%Iɻ84BKQi#7,ttiZvUƟMIWPq(3Lr K>~,s"F2.ו)BYF'$֧3)ܵ2hx: Mr !2͙?0E@w?GEJ}u:OgIw]d_f^y^'`OkB>NF_ںDlMΦ3N*Te|Z2T_4f۬AB+UĠ쇈cCZyЭ5ܧ?l;Nzhsu 8.n;*"6=!U?LS->GsO,S]>%꒓\iI̶ Ia9#:{ )~4P [Di~(Ȩia86U*~] b ={^KKOC&Q1;{rݏ=(##NgQrqkݚv)q$Д؉S%ː l޵/w\](-ع|$ۄu4󅩛s穭owyR"fT2.H#b@lK"SwGlA 2ayju_k=ǬN3;Y\x+,zwSb-ؾs0.~!njq yOLNj6 9-P.w19d}-r0qTHWi"dhm%9M>e>_B%$~LOu GUB1/5m-ms|["dz$+sL4*g~pԧGlMt ( h QU~s⋨hۀg@5q]w6uCG&47fyUkS@vK2 o,Uɗ`zq0J!ЄSi{%kG|w4V~/iP̫ؓt < 2NB1\^\Pfej)J=WLx!C=qp\D H ߢe,63A P`2))^_otVtVg31)H4Ɛ*0a6g*Pbn)Yݰv;m;?<.p>F^%YK(4(%dYcԛr@y_&J2G^LoV+N9ՙ@( I衛>K׳JUCbJ]x|z/""H"Cp2X:t3MKHt}P D]I2Z@4 bs ϮY].?^(RI2:LwݽyMuy'2_=%&!ts3.n4}0TVxB1o=C񶏉DÜPsdOMOP(Oi1-BIdaZ/a'GJcls6BxŢAO/iu/*,И<*~Ӹe8˝r=ӳV[&`e6/CP4)BQ]Ų}(b%KoE@~YQX2gwCQHKdGpAКknGbiXI\X_'X#ckN(qq[p1$ `mfWڽC5R_%i+z`C D=98(NKp&zyºH^tڰ՚hOώo/l㫥zJ5Yl4%'e%"JM>U*/}n{zKL%ሐn-&\w@M7M1(n☕ >g+?7"XmNлZKYlD\ԅg֗Y>^/TD5!!ULkX_]tfh1(0Q^KqSglIsV((Ko7y'vXO .B)|q>6i; \`"k]zغPp Xߢoڤ7EO߿N=}C)H)u1x #@h*ʽˆkQaF!!%Mv6V|96ќX:[h0uTT߲x辊toƸ$R;aQ 2gYZ  ;Y% Multi_Party_ComputationMulti_Party_Computation.Noar_Pinkas_OTdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ĸ(5B GPV!:YYc 2_n+Kӻ;"nлώ7ůn:,c?*2uߣӤ;[ro88b>Bz k1V*kțG:~%6G},= =2-TrP! ۿP٘S0Hox,m.>da;wmN]c跖|[f3'}ḑf]-HbmV|F+PFwe&(fk;ތ=U/'+rOiz6b=}گU%)ԼNK;۩Q( S2VHjx=`m`2fH9 ɫzHZHxpAG~%}@RvSs<0+ (!)b)qewYIÑM;v$س3TiЗC$qQE9Xz;_"=/# Y1N[bXE_x9 w' 4덋)' 1dsoP+JÇEN / kȄ'db6=1 ޡsO=34ǯ8#[K8o/> Z0y[aaXPkt:Co?ʐ0:Q,ͧi/mHaØ<ןlF[≨1lD?kFl &Q"bIkfJDKzKV [dlSO͂V:prmכK;]& j{}ج($5C8*Ph<8XA攻JVӋR/zOPZ 7]:4Zŕ K -Ґd$ +("XkƝIqђ!2B8f.1i]&%n?,\1ZdEv`R2.ӧX< oW">2Q)Ɠ 1Z)Lɝ0+ k;OB OEd6r8g/gؘ᯷-[nC0 {jI.n%ң"SzxJ&Ѝ?%4}Z`p>-vnr[="nY V0GFp@9A%0YJw\N$.U5Az50" 7CH #?61_%TLX6Xxm߭7t#ac"frΩ'?n[',V%gNVNCo;r:#3_­|IHg"hᯛ' gIMlqY=G؇k$@6E2XJmR%Έ$+]SZoD17{ja4"PaqmVz13F ;Q% |Multi_Party_ComputationMulti_Party_Computation.ETP_RSA_OTdocument.tex7zXZִF! ⺛(]A-MՋhvG"uIBm5]pp}Q?x.'E{B4m $`]QcˍM J *hc\YCT+DY& 1ΤkݪmX$m`&:E7Oؖd}MOX䬞1})lnm$6J!~XjtifR T'F<7hNBS.>~aNS/ж.&/5N\ +6Lb˷]vr tQ$m +[}kᖐޖ3I9&'2lwZ:ԱzW%ƒaBz`mFV> )tvpmQT>qOAY~DZgZa:,F\5&p>ꆞ!ݛ'4tZA?U+ B&.SLqsy9x|1aq>b}?38("ϰ)=ß[K@k>VޥXLpߦTHwr[X@.(:5gj Пʫ=5:̤?01gReD,-t^*da\߾O]o~㔢$tRl'dk[~{Ɖ.ŧYbmY#}_q\{vz_kn5ecbjLݯvh6|]PyE䭼k.E_Z \rm>k<-Z[jHV]^pqW~?Pw5$~ƛ!>&xEK&B;1b(ZA"di1ErI L&-.wj yjW~2[ZQG+N@L ߊ>AqO[@1r7P>yO x,r ǀH,׿<m+~/]#%ı7OyL&/&M[³)ZVq6"dRnC r" ^l2`\߲r>};*š-/YJesij[x4_ -(UB@Ud!x=ԑPlӋAJСUA6C#Gl76Hb T O9s9MM#b[k)GɂrsNfge&8R{]Rs 4%hx@kMef9*;C_V 㘿,d; F,Hz fklxhtk^z֗F`G`Aa1?kr`=V?}\S+Jf)D@'sU=},== ݓ?8DJoYJ,g _H)0 4P[i]u2NNŸEo2#tof v5P(aP7 K,UC_\ftb=.RnagP9fI`P\vJ+{Haڨ!aS8~ia&+%bIAia,W_}k- I"RfRf囒ٳm߶ $sݐwKr&{ӫ= DE\`> װ"d۔`Q\]/$*&:Ho8h$hMHxډ2Ӕp| 9=)#EَMS) xoy.q9ƠnTLMUc |麽n6I ؞ +Lԩu22p!eexH5D9Xc= ^rZ42J޹ m~α6(e]7V^}jt΂f[̄$5~r.̑RH7&lKlcމzӹb6dShmPğֻܤ&xK9­yiʾB-RAлV;rR6fWN1ˮޙ\ު}#k%iS D:nFMJ/O?RpQ@"*U۞\ؑ%\;M) >t sQG|X1å0hמHovMs;!rq(ُ_6RhxT ?(.Vv>INXs%I1E\ύ.r kdd+ٙ6=Ÿ.(wl&hIQ8FI1ujF^{x4xEi\2ѨyH).>x8`L~Y'aO)݇賷`!Ǟ$L>O ߮¦R] B"&W库/K%Ȼ| *|{*6'K~k{ĩR\X"i@+onuWWv Z;2607Zq#c SN6؃^yǹX!lXP|_Q(WJV8fDpxRoO=Ld:3QAnqؽۑ! fMdKx<[68!'m8].zrqkP J)>!Y>VZv od*k)I;E׽~(GԺB xQIB*{NĮQC<.pG6?|heX]=ld)HSqiWAV#y0.(z[EBlIoLixvE{.L2&(Ě 'f0.pGEz;"?RS&cķ`7muS9 l/h)S'hExy t-ȼ{G3ջgbY3yyZwHu1)%(_SwIʨB] > s +f(HAX͇}KΑ]-;r),iԫ5U1dX^?h<[6U{ĺ[~BsQx('|7Q釶D yP;$N}#/'M5'aaxR16\Oޕ s%,#IJu;u)Dl-)yG)Z0gu#}yM;\F%P:EM"-}gkHlh+OoJʋy7+J@5cvTD S'[3 x?PH\E\ZVKć*5A1 P͎qkg޳oI$!>=$xnY݆#W!VUʵ9 PvvIU~!TH7:M?cLu^r#\C8>X/8Ye &}[ZDg " xU`3+YX ,0,L%gYBK % 3C2Mf/`5E:4|" B@se9 Ŧ%E⪜F`^]h\ּudǗM0@JvG 2<5A ჳ>9x5VMriCƷ$@pdpg_PQ`tI`79Di9R-77;K*UZGbh;D9X,ц>S>X3&ՄR楕f+i.X-C+j~ۃJ_j| ]Wq,>h795˚1\ُ 7Xobp%V}E )mf,+5iVGy0D d:3ôb[aUR1>v  u{zVG:$IB;+Ͳ}/~ aSi|'gx|VZ6</Y.E- tR4rtL}2"SǽW=!= Y# Ѿ)v')G*j>Nl|@/upcSS 9|::u>-iy@Go'/SYҫ6(0ݽ4]=Nlވ]elϟ7\>z3E|~θvn~S?WR o~7rcb~*u3{k$4iBZgҬ=05]T2?c>( X7p) M,b2*ձqoYɘR( /{` XkVnR´Ac]kcP]֒T!s-ȶ9H8m!=/zϧV(5, L+k&W| L~.v4damKq.A ﶡѬ눻WUFl§]Y(Ay?oGEt#ՠ0̪Q"jҐizmPqVu& %=[jD&3*9#HRږy24BL u= ZSp+Q&f T#~A3Mkx>gh&Hw{ X|,'-XB%ޠ%r ХlwpnzR|Aeᛴg; L?Ca7s*Z$5+Gs@t:bD.ۑY0[gtDkN(fϲe mMs:CލvdI}L 82@"ПJg:"W`O"uc&Ioj,E%Pgǒ4RE:n( w¼UMB%?~ᮀ6jk ,[ $rњPKHpJm yM';WB"gԦ R=]}꽎.;f1v=z#tL(MXh!ot)$LXI *-˗DVޢʼ'⏎z{„ ۆQH$dFVIRPVo:C:ZáesQ{`ˊi$=۽&(?ͭ|RxS ehF*,gYZ*wisEBwDP= {^wC4l㗸1j|m* RHziGcń^`6:qk8CҴC+w!brSb`L/CaD=4f꿸pʯd;ܘl١ܳjU2SƟsm '&ytL1ЭPA>2=%r^@?GȀ`~]]%Cp}}kW ."q+݄#m(|]{y3` >) tF^6VP(Ub)iĿR)櫐mKĥԉ)V RK!4tV5ސCNiVz߻sfsVh-<'֔\~ƾ0>Y9MZZ]hkNux|ZUxX+88=aF9+vI[:aY­6}Y'e=gh#,B>mf 8o.󚐥z Eb~b8FF#6Y7_r@Ys_ah +/}!]k'PJSP1Jld4/S9p L F`K6,-4PxWC̣!>^}U/WgŗEbGbŲ̿eeZ6/7Z5iwƬkeQ@ߚ1r%Ny*t$:gšf(_gީc@6A'T5or BwҶڠQ̦ЇWzs^{% g͕ uc-hGu0RG@8^qH򓬨hύzIV\ Y_b r@V D,K55}~Evx". `l;8EU OϞA5*8լhh'Ejk0CDNU#ڧhE%M}'ž6~xbx*(4;.'l`7ȉڼ!%akzК"GbW?_߹D˔ڳ#s@.ɴCG91iP8CV%M5FR|5WEP!*u`da)Q8;~s VDS_2Ez#&u롡=jqf-5E%eKΦHWlvrκ˅C߷2tz@M#:_`~=9Ǯź|TuKǸHQUoN'Z 30m@6KƀD~kZCH)4#e_M|A)'gfY[!̚ @\$卵|Y)bM{? b}xUdKXzLz ?gR@ys ݢ"NiCE҂^1GOJD`E*%QGR]aYM<&]jCtGGW,ɍv6􄤔%ʭ9Y"οjvJ7ނ^5-zQ搀 VnDV]agh~%jρݬ z:sI%V1 7ELثKrzo5ʴ g{labiVLT?D4Ni3xFq}QgLގq!x7c' 3`ďD` i`櫉N;N=3S&(h ĉ4i,J!@JRd%iP !d J:[#hvH$ᇧP\ 'gF- _ScU<28F00(j%cY?kT Od~roM ޽inʔX!3۾I 5}J݄-67ӖxE<%Rh(⁣.-`'MOL/m1;'q?U*G+z.AfŚ1 vOXuϔQ>xoVy3_d=Xl%Nw%ĊmGA<ڣύ);+%7&ǡ1.KsX;JKxlIr=7W 8 OIG509<{ތtwEW»ʚpbbܜҼ!l&h,SWSi^ݿȚK5Z5乘AÚ"!͒rJKo-ZǍ=օRիƺ|dan18w/tXRC2>/Z4E @qA1.dVC5XW2'ɪ <2@c"'-Ո.GiKPZu`k ״wdeU4f-oXeHlyrZȃ&wy6y;I% lMulti_Party_ComputationMulti_Party_Computation.ETP_OTdocument.tex7zXZִF! >n]A-MՋhvG"uIBm5]pp}Q?x.'E 'Ƅ/um|4`rɀԎrg u.xW(7.iWL@G bWy}~,fTz_aR}ުu~e`W*p?AfQqg+; :Ko㱴EQ] ўAH,𱟺 ^ԁޢ^yvU=*ֹf`Ď꺷b%k0o=/ Y< vR[MbK}{_}%ԫ6ZOP{:[n'`8)K,0*DsW8#CԊdC&t *;(y՞|朏ndUdeQuBH,kF>,{Н'!"zޏ^ 2z=Z!/̛ͬ rwvR(.{6^,g Jct,)dQEa@/IŐdf]ٱ5lbS)ɒ@XrYb_?3f`RV޺4: U+f57S)Ξuo+{7)f>Xv-$3ߗ"|ߛֿ&,!o`EJU)hTqjc!7/س6B:p(b?SMPXˆA9t&SV Xk̸P7ſP'b_ `,=a`3ִt+Oq7 Z /=G猪ѡ(\Z6Hڂdͭ\X$Z_2r&} 2adȗ> +ʪ- >P4p5V@kp%6^kkڏL:g¡ ?K/Zh' "з"w)ꠑ7_uݐA#/J|7'I *y˳v'JyʆgAݨaV7桍'L}LI\ "-k%9'HH3` Bۈ'hwyd!l{@ ,̄L}wCieF1vF*ܔ$|J PdiR}Ǡ z] 88~HCCWVT6yL7^#0 i0<~&/33Xziy ۣSԫ+2*z0!'  +ts:} J|w Ij_C?c=e`e@l }+12O`9;`g4kQLmH&=!D1f(͌?Zu1A6 C^-}u.+]f;m7(E%<0&~EGDVOSranq%i [BuB-k6.GoR~EIx6r%BppM[ʼkOӊs⊫~->5*AC1%%=(Ro v/hD%ъՒS cgN"X34`iaS( xM}1|I-q^^K`Бу^iyb&8V$ߠ50+>?[zu?sh4?+!]1up؉S z{9h) .X[^$}p-ŇZ=PgUUA}>3F+k=3 芫 PL*pjm.Kv%UUOEW8\!(CpM3*%O7>LEYw>6\?ﳛc%9/)j˧,Y޸E)^ .Id9 LKf2չ}y[YS,iVTj+1 3nʆ^\vn装0BcBa)@>H=M~ 9.%]Cq ^ 埳&ϕޠ%_.a). Lh!xN߰d V,P[gqy섋\` Ygf&aquHe4~~p$JW{Y]Xq(;޷XDq"rnOuɋI!}9OJ%cU枧;hqBEy;77Yg8zBV? *ޢ|.JY}]-"Bv59~̊?})۔% -Lc ՗rA푱s2w&'D](+CØm%_ Ȯ,`hP"&oWpnѤ҅qH|?ե9s1IxUC O$Yo ˉfLJ5p*fK-x\|]O k  #s UD*ܘal 3m+>DakOK4% v(Wd[-P#FmYl8b˲@W.[v<{eN{)MZþ,9Ā"JBn -?PYG).eSR|{m,'ԔyTE-b7j\=v_(2*)\< u)Wk\xU3~mo'}4՘o/zXb-OҽgAOB,5Ŏ#8ySb;qǸsИwhJ{(u.B ]"W¯_F^eE7v)J`4k@G90M]_TTQ ,'K[}rdӀј\NTa+NNt_ps(ڡYFIݍR'm_k j(+o{_SgA  cj B[bPI(hʵ f7ll[K,?Ähvg6}nĪ >)U0!캫 @n*0VM UAj_ܢ >F={<:iSѽ!8{>) AzVlk}1_]&.\mOb+w_J;N!A-ƩXDeuX7Sɀob&8HVJ#YoF? 6QHy=)D#lE"i*cE?s!շ[@ k`N35 E QVw=]oQYi7_:0~,`~I#-NWFfQuyD+ʉ;<)3?!1o@M!̡y Q )@WPbbx^Zk\PM3*q#ju5 ͗A0rn*"G1  +v}CQ D}ؚdwY@&|8 l7ͩdպQɀf#uu7l5a J"Ht`p)U'o\oV jF;@u-xY/_S@*NǼ􎮮 'Iua|0mpBoz ҀK:KgwB5rR%^ {ͮm5єd`er4:Vx@6nljv/?PO1g݋LzfL+Y( =-?$k9rOB5} ?V-{d%Iކ~2pU9:!aK&5 :8yaƽo)sBih{MJH@S! ?K@9s (Jk~QzH TωkWQ<*4Su؞do%Jyf&UEM_xVmx_ltt"dДbsKpl6bwm&R i,mN EnSG[*=CR4'8Rgj63RW}Y JeD_U,E ?+6n{?.1L-gzS{SI#v$zLeX4 4|;EN -}bj\$xۮ3S(-@hѩ$NQ@\-Sǚě&#v(c []_H:)Ԧ*,fvzOH52km tPL}0:J-¿(D) ?bqlxk$-Wٟ%~n Ӥ}.lM2&ZVA]Ӕ_IaBR lE2nra1y"XCXvD|Ax~{(!V> |yBET]P̬hԜwl*@@Q$]C% R|)'r^T}6Ý]U:/ ͭ{CH|%cA6WozN x~\ia#qC$.A|}ckV@rhCAd @8mF.Wwsy 8T~NF-J$itxT#'_"E+Qxm=YǮA0.APh%{I}˻We1۩(©4Y %گČڝ-9@H·sهpuBsۍP%KѼ=D6==P:ո ljQS*Ar xM0UŲU?l ,$,^]C]'SC2 I&kg\.]i=Wkq i WG6zbzPe HJG{3 ?n@^s#K8{Z>ʟLt8.Pls/f!yE/a`%k78߱g%d*:wކ !rq^ zM:vG5ZT NLUwlAj!GiuQ * R 7j%@bZr4E?U/ϤmTA"ie'jz,QGD6:y{ 5f UEux`6Nk4~ַ3U%uΒ9p^aoȐ{#>V9㜚Ba٬R"܍xÏ]"t@ȫ.l6.C iQ~ɫab>^SBǻ{kp ImwX\y 3-81`#D68v[]L_:nq yFeΣ =TR+j6\]a 5V54'V{lAr[)Z(5DYB"11̴- X@9<κ 쭗zbHL~[eQA dNI;'[u5r&xUՈ:%_qE8w$h3ԈAbS^qϳb4I.Jbe.3#P͔r ֫2)4_ 7b7\$cz-~N(W.*/Ȱ|i[ J\{<CKADqJTmZ3Pp_8yM oD^c#HW[3n"LlaR'*_0 TMɇfFl)t')5\#mž|w4`R dOjO(#y/:(q mbC`fmd a(';[hZ&\>|٩U5+[[uQc{*Yڙgߧyj ;X yi Iqu_339RXsnڋ^zR3 u@Kgqs-y3 7~BUʶ!e'bf~8sh؅*$/ 3P>e3{$o_`JςY\{"=d=DAXܐAC(^b?_)t/duf6L̢p#͈HB |_8/*MQX(zĤ['9z )l7ei޾)`ӛ]%/ŢaBTi)JFzλdv Wt-Di"eM"86+ՀZ !\A4xX@HDr. C{;"- Rjvs~?N J *b=^Xhg* h,S'w8ʼN̗we>#c,nz$ _|rS)1lym!V`;g}b\AcP)@ۇxg Ad8 Oy>  h04ћb5NՌB j׾Kc&2.q )si3ޔ/pȑh|m&T#s(G D8Ů**_I(\ꫪC> i^[-!g {]GP3Poeے BB]'b,mQw;wZ+}6n8LN"e^N6'4ɴ3v15 ^2 ] wQd]@TrxW $hF+P~Ok2cߑrD;r :VC q#jf#ANf!\ rY?#VeuKѮ" Q$YN-zC+TU/&&DnXtY@$D+ɴ)bWT\e:jǎsla^sN=zr^΅4ync a p:+!\N;O87S8vS X2q8h(n3NX&18fb eP*n%kn!*5 Mӥū2v5o%UP+w EŮӲ39ss4goW=fB(.n+fZO6X015}7tL"~n\s%Bs,黓P">=SY+|2Ƅ+m-6/9ȵ^ΖFNsP$[3ܡ_&zog;7QZa=am. $et "-8B$6r';w"1_gBn)܆ ?JH1lE[Äcq w_{di_o)rVW yH=ՙ ,]-)`e-h&(${p FV(tx~Y;2䎟.gAu`HO ,md>Y6`{d)vBuRT~ ,tGV.qu&0^v>]T8x{&. &6AlVu S\9u?4{unM4 <a[ /BwA(ӧ bk'Ssb^w-`lGPHDߡ*❌{>D `@D4,_( Tx7nu j^H'CWۃ'\aeV=&l^Mx9[?a$IX$ETs]ˀeUqCB0γTM911k]V)Zz2 6}J h4G RDK %}\uE}bndG2adm6DLYZX]*c#U مV[3R{HFpcE磧@{6deD hJu\1HjKkPU"#TMkh*$ o;A ƑÊ:l1Y;{+rzѝ@fo-5HDEOpe^*уGQ#w"@,Wg<4zmN?Se{!PGN(kU;PȄD7g_%DDYa7Lb z-W 0!o=uB+|ۛPg +_Z +2s(NwоՒG S:gZ䥪o퓅Fb=;(TvI D`L8Kg䑷V2gg7 >L`Bj:g<%=ŲaKRsLw")t"2uSFD8FGE-h m'Y:>Qۥź4)p&{`̼-*D'~6k? ]gJ{^)ԣR#A.fuKn/Yy&>z{ raF8''br=$5%ग़QQFTNgnZNp3gL]5"`vâX\ (s}1= ́ N̂Ma81)OYrXknr'V^^,Q3r\Wl{1hsH";} gQ豾 G豔AJ8':pzS[spcF6J>.Y^{LV (B+s:!gW2V2GС~>ws_:Wz`XsF??;݂ 'p>d+HPEXq64H|xxˀ&xRܨxQHFD}荩=,lyKLnJ|Ԩ\yL\k %O3ӡݩZ =- Lv 70z6{L?Pg1.Sk+y6Aѓ40ݥEC A @E8."~YX&ϠMK+i\%Pۦi|RO p2FmLm Qu,V-3!>fW, .]e} ;X sq[pd p^{rO=:N+%aQ` sR<Ɠ.;]]f*r{j $(X჉VC{U%u=x -USovXo "Nh^pniJF-d=å,z]/vYHKI\s 9+)u?2Y%at:]4n[8eD̕@8&EK- NfΪHQPF/1~v%lԭ墟SP^giz$͒ ~`lPZfGB 芄cై6l۶gUPzoNjOcMS Ry5?rv+G^=+vVl'k\m|2'V^NyhE}Jtn/@i+WHOW BBkQ BINl ϶;qx EVpzL2DYiExO:hA]vxH {hq[1$Ǎ'T,ph6 * =MT=@H N$C&%})ґ,.vzk_GJZ4]f Hٰ\' &f$_rc2A>^]_ΕR,/9 OiH㽖SokJ iV@wYBbV|v.½sz4ᄑ;P6.x١^ymǼD )e;@.092$E`ymoo/RcDv|.6N zgd*|DH&͟7Km[c^KIy ٛ{@|NS C̿BZEqomo[)VNt2n!tx ܥ{RX~e=}X=?7=Ǯqܜr>\)!$rN!'³j^!I35+ dIÀ#`~RKm)bp,I:vI>pk.kEG]nT#EznXRjTľS? A0s*:bvDH88Δl=;$.(њg~2bx[P' rmDEPt}$-s*L&GdxJ5XQ:X6)vK~`lD*\pAqU/dzYq]Вa5gBzM/-5$du]AJ@g{fƧI@.jl;kNxGWoC wVKgSݟ&XWfӡmۛC eu/;kӑ'nKjr Pݾm7r<#8}cp:;u<*-9 TBzv.8~m/2!CԪR1\>l%{Mn:ae""ٹh-0#FDI eA¨:~#x\qG{6jd%JsTUN#Rm.«Dwp%0t\o cЙAP -R~Mi;_Ҩ_`oG%ېl6d[Iu8YU DYy5Čc"ˈbҋ:ؒR-c6mSɷS7 ̐5X:Q% ZxebOYT x+"%W!4,kyFB!>[D81-=cjv7fE=d 8 a:C*?wy޲C:{!L8"pdYoO0o *Ǯ+p\ 忚>~,_j9OtНq,V[`6;r/a|*(NjT1g.K sAAr$r KXUw{s Mڡ _~Dmofd#(h'ӛu\Zos?F* h$Ns#N f545GyRjXq^Åf|G0cdxJWN'jBd#,EF8i4'P9щj*z\a`_kAb,鎈S鮀+C]cqʀYӛFr(BofJK-mEX!"^M.8t\(z=i 2o'EAiL =Chc c/Dg#/Rqm5RcгF#0i $ 7]5xĹL=k&hcIEGk=౵87 aSgozf)̼Ldj|%6Uqk(˷::no[ΛT"KNJcIkfGs$w VғLޯ '@0>j @K*$5'L_[gfr.o3 #~+f >Cpz45~#+$,&97HF ;~<^⛣aˈ[򜔚S+{=w_KPEZR˗Y,!*Gej0]gdʒo+q/H5~{~~mV-Mb]+g*-uZA/L!J}KfjB;3m/Nf]{gZ2cbak %8Ϩֽ:3h t̰ɿydxj^QZ~쑏=.UhwZdKR3VS赬r@0?Ab 9eCZ1f1 g8ks9vp|_Y:TA_O^f,l="a>.b~Hf"*dɉgeh_ju-.Wq)yX=L$vT5p/Eη@ͩt`rE/b,s|A)ؗ[٩?MB.y J=;iBĶ([shc ;Pf f`@r~md,Cqws_?HQM[s a Fy^Qb$8{;L€q(|v! %Lŝgi QSBs$Pd湁!Ta~J".@,:)Îp&d6)gW%EַЄ{^we\?߽о˚Sﭝ B w!k&e^_WE} hݱaMF2clXuVP'>f)fV Se3K}bd{^߹jci^EnJ7#ቖ<8"/CXId<~p6df^^k0n! tImnlip~AclL."D0K=; ݄k5$ FiloG%܌::pLrEG2U&Ռ$8:h&#n;'C>o{Z% 9|2Y$0#of3.,eD DL88YҼuCSσh; 1E`Շ٠y典Y})kx/ t!x8& *S J*'*')V"LU&PR*] p_/o>}bUr?(;3YFS2j7n+_$Kr/2 :GTZ(ҡL$fݼ%ͮ@ 0.4 *-4)sKTTY]d.BFI R#/.o\w( W0pLQ;Q0H3tH㯛qZ\Ӽ>&*\Vp󀾒o joㅞ5d˚U^7IU O_8uR5Ff^rʠU "lw{7NC]h3OŎlǐ RpХɿJH3 ?(].$Pb/7 ``;Y% $Multi_Party_ComputationMulti_Party_Computation.Malicious_Defsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5, 3B?ISRVÀnPj֞d`#&K_U)Ӕ Hl3/83EW a܊4G V*ǙWB?'Ay5Pv攺 #&_Pd.zEf+!DT8RfB ^f>F5k*HHHNPnr7nRvpdg.S5 q)_HdZ̖:y>_Ԑ( *`e+.Y S.ޜhP4?ǰ26B 5+||-5a킟b>e:Tj wӛ4-x-'O>.%QjM$dנf0t0,4?֗$z(W4awCA I­Js>MI>k"â5hő|6A{zz5EsRHԅ#K|@cP'JO5]!XU| Ot/Ujg _*7#lH( Rژ^g 2Aƚ|V*>`4xyC DD:DK-0'BK'#9V]Af[꼥jx*iT1o]RbyVpYb@䟉`Yc9g4\'k &6aO\B*_x|?9_6-r?Ś㆚9ElSfQ j#K+w"zfѻ A,>KݒWI{>%_WvuF-!#G[PqPOd޳Co*DtjL` y~KJDnJ"YzNS:ZƇ%G]rco[gBm=]%)&I6 $~ts>ܔ}Ӛ<":39U$r:9ᄀ{-J{Ϟ=!x<)kJ=Us7 Pk&Gbbmh4rz{>4iVYJK( fθNLp/\nv(h.AMIIߘ?Fu8؎DS̲`t0zBsZmQ&iY\5oю3 JXPf4ݭ[O| `Džc /,)2ARrc)4%1@"9Q"6e9x}KՄ<6}%Ѻ@6p1Q8W?ՔϑDa u~"#2&.*)Z8UXG9O=$ )SO˜Ρ&D"j}] xä`#?SA Fbƶv犒7N ' P|a74q˒{јFשHl80aғT\CPJ-[ۥد P_5luc?+Θ$z(ȥzkNGЏF{ _(NEoG:Xa)q 'K94;ECV26+vVwDK@76%-1c?-#6G$x`Ď3yq֌z+LFȩ-PUZئ^n`0?$I$uyxD~ɮ;F#EWj-#ʊBApޞXu8fX,Kň?e {h]^Zgw_FhMvCbH Q'Ղ,l6{ dyNPͯ-@GmN6@CنeԾ R_d( +1mgYZ gg;[% Multi_Party_ComputationMulti_Party_Computation.Semi_Honest_Defdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȣ?@?1ɈY}z/8kܝo*N .f\*j!Z2`+"o8 ,1XtQߟNZG3MuZÊSˍ:* YEwz &{@GT$~TjIR8T`+)gW" :$d_<4*`4R3MZP0t/>uNw)[PGF:Tf>tj+W~@{;ŵ]Onu>$U̍ꐃعٰy3O$acW*ܻ3?Gx|Z{q?:,`+x9tı7zsw&j@!MF>kGz*>}7zxFj."BtO3FYNIj3)-#L לTEUg@e4jP߷z޶W4K&Uj$nzsH 8* d>#F>bAv/UC)CjJ̊zx\=JcAPؔ'U זKbTPQ.0T["waenUEgbǧvZ6#0M ('6(JiX&D[N'KޥX+%4vPCP 29LBRdS o^!S^/ೱsX7X?^~u990g6䨺>&3,%Q[KRXK#X ߃愓_;V0Wp4U4E0xdߺBv|5I)s45f*pLH|5xRĊl2<,YQّ/Dy٧DX\8Ū=eHQ%g ]Z9'K n @߰x(18K;uT^;^V0B Z{|diC۰sMѾ3s^0w<_$r2JkR41>#]UCØd:m1Zo"s]1:*}03)!$Mؐh?V-~'#(S5a zV(%o:xeĆECJdg_& |ֈ*˧j*b#megOZ_ٺwXҩ+.țv"+Ҥ0SA~.""t6HDw)dlJ;ñ􀏮5x8AdMq3g6E~\RdҢG7T2B,4+ ܶrYZW@gÄ Zء&G\o&P̌L6H257&QcUP=;#XHyXSmM[s {WJt'À-Ylaăkl;k5,8:Vq3H@X(bUTIDGV[߂l$ef/YN1x<6}&*^ G09Js { nkr SVN0KWg I.viJh(Kg7/l LR%-*i` LSSLh뷭Pϒ{ZKH ˲oʱ vց.mGg.*Qs(50ICe<@A%27Ǎahޯ\cSg#끉0]5P"Us+SX|E7(x:P~ { Bdfe+ec.gg[IT3O4F<2VOER;r.ٽڱyH^ ǫMw#[_q5h9%xB0$0HsyN8;Ytm]/TE:XíX'ā9(_PW wݴ>8)`'\3AZjpNXhIM^_n(!ܡan+'+߅L) aL`H5.Y K0o_&&bn`~(ETJ o̺7$!bwK/j.t m{ؼ{̠t>4lC]տyl[Okx2Hs i4)>0"_R!y'-߀>[AQž.(zP(g"^n27(|EW =(\ qtME䐼о /lA@ʺ#=}+g2@A*9gV4"j Rp_(>ҕb}<>~p=C=)붮.oDQfB#W<՟c$!% a1od@q4̧lT/ZE%6ÓDQ=*\3 1DpDǑ_w/f:Egtpe1uƲU_~ˆqSYڮFsj,b@RB]4%vpTIV+{rowpaKq@f'o^w*󫅰@Y7wΜ`Bw-92"YQ6Y̨r`qd.өŌIKmOCQ.> 2jCDHHYCGtяR;R砑B{/0!B,Ҥ,ܰn89=NKqxN71G (H+rATY:g{u^a3uFO1qs?oOl; ĵџaܜ3w]=??f)-Ym\]yQ(p1|Jt3>@a߅b}SvSlMؑ\f4 {5i^L ULp@cdbBvѷcfХap+~3z DO)aXÐ=OηB#|;uu8w3SSp|3~Bx;k6;JM~7I:/(a wh9]`--S jJ5q 6ΡbVgYZ=.J+\cMWa! I;bJw4]%44GSg¦S׽WAս<`sΊ2F*O@hbL"'Va1-0M3u$~٨z)L.{`"GqXG@X F-qYUhՓaV|udT?jXTˠL~Z&G>V#\[pߣAsLa)T+Kyֳ|ah>G!Ȍ*k4ȼBڟrn"t]:3;LuL7?!1׊ď |8/HLٴ-ߔB0@!ň0$ɏ}f|A@g"8֕H <)f$,Bd8 9VKD]Z D$0>^uz"nO6U[\2 q1pHG+}tQ* (Z9rܭڌ!$è<񤿷Oqx0XBۿ§e=h`؁qh!HLIfHe)ȱU \AkM;\ Fi26TX|h!Q_4z,ՓNވZ_HzOׂSxXlVU ;e hF Q41 Lꙟ -XGCkJOl캀'<%'{Y%&CR1W=ӂLa#<4+Z3J䡰FbBmפ]RL rfOQt1Kzr݊wVhXCa)ppy^Lj N gSnzlmtRB욣2CK\eW/Bs#57e9^;ѕᆍQ=jKd쐲KP[vc27зG+4x7CHF|hj-Ny@C0ikZ}7`4e&:ShՑgn2&NaN'1jmqץdQ)=x>;P#5.ğ)dynlI-JV-N`b ^Jxr+ wX/!G"ȃe—Od^=\sv

=Eΰm'|>QjW 9gNy)`y X(Z _8Y҃ av,~U%y'!3aJ j</;<ΏL![a9& II.BH@TRu^L@PAhN"5Sd=@EiN~l QN!KfS ֓}q=j Slymme`ήZNGDU{ɌQO]DλYoM=}r>OZ92!Xc/9-B*"ȔRoʵX{`OWdK\kkA̘HZ)Rv'#>RCaU9q5eJFVKƠu[n)Dw4"]ůbсeRZh CBֽ&iwaeeRބ?jLte\9'}7$#v;ą4d`6䋓?.7kߺjB$eeڿ~fj1 1@lX.ajx“;n<5Xoxo藯`S l!+hX6'5,)M~Im,!FYMu$dCW&/YMr李GJK|e-95)@4mɽ?!sVXPϛx-K# s ^N zVtw:;1%qh7 s/ C*odvoh!o4/98{i }&]9}=ф9q^t J OpJRi߸Fxī[?sFax2Ct)^z7.o AI1!Aӳ,`%XF9MA/HxqklB=c ZLC}hv+=cqεƣK'ٟX*II z$\$ES;I\.muc%T;Mx&H`4̷'u!d=Aʧ?w88Z\xRNLan]K^Ǜjw4|MIv!;s0Jh"X yAK-`ʬHMm-BnfA^=ҩI)&IF)rY2ӿj" $g5' @(0p `(L8b[CqZP`^p}bk &ޱh(i艀1f/*^p|+ [D5Qb8?IzBXoCy j-p31H/P@*RھjlP ?4r?тyV'Ʃ밓JAvO^kȉQeJ5׷Ud^V&PP]166l2%5 o5(K8O@"<–r]0BqrΕ\?0 1'XV9wPζH}8-pn)+8hKGI !'`30u^B%a!6Vϟh\T= ";ҽC=~ɋzAT˴kǯq#0wl?"_:wDF\U~k'[,Lݴ @ ?op8aޟ@.Ӭy0+TO\9u !{|RoJi {6;D⒗{I>oUc"k3kyt?hĹ'-U܇8w ӮZ r.p{ҾLxIQ1ǐc"ԝ1EV뒠 Z:mI#,%d#b d>њН6?eP#N\]g}9  ܱ,{hDAxmΠ1?gZHrR.Ot8K !e,G9KOB"qȝY͉=aP3(@Ƥa^okp]Wg<{%Sc/-tA{y yqKTj u?#7/k3JNri^NǸ)8Tƽ-$ 4Yn x}OohۓDXAV?Z VuE =\`u[߽# b14\Ձ)RR}ϥF:IޅVR{ЏOX%N8ǁ9ngC@׽Vl(>^MVG%!^٧*[o1m}bS;0 4AhThl?56ۤ,ͨgr;rRONET$겁5N.= 1?e1|Ҁ CBD0-#g(-RqV>6HM;$|z_XW۹yMDю ,vO=X*!,gL\vZR|v~ j cqڄo?\1sKnG!Tu@pZq jh]2:ꀩ_4GRNœm0ybItjx'Uh2M{.o| !T?],aV0;MamRc/>:-&6B?xtt٭M&\gf#~ g2j0?T_uXYb?Y7BH %@HS;'~0br]=֖GEmە%3 ,FBIP-nRp!"`|Pҙ-zm il[,`RwʶMY%s~Zȟ2l@i"! Ol8M&򚺎?RV0+ˆaR_a_kO5t>{o#?G]Ajo^G+DFw\ ̤CݑҒk L$Ӏ'y:('7*Ce)>(Qo41,/H<`ncH4ډ8(Ͷ~Ko kj;bT8yNXn j/w;&u/6x_.suk'ʹv `ͼ8)@Lf+o8ϴʦY?a=C[Q1.t/)$m$h<@L<_u|%N9I:$!Oo$BΓBR4Df{45jqV ))afROlcE+x/Hb(Q!YA8:W.fق >b21~;[ݤBՙ8s7w '{V`EtS&o?#G|8s.:?% ]%fùʙQQM{o ay$.smdぅvąabH3 YMEi7y\#FJ\_ oY*v$sOzZmقC#>#ot_YVyq8CY6K?/-vf8ͼ&:]wKթSޡ.*4!]?S*@R2 C3 ʥ("i 规D -M%?8zےZVlVxcmE>|WNmtB#"d1 bZv`W{6@|?:U.y,8C}7,GD7W꣱ 8"πAUȮh=wk-}QL<-׶3]@I8Y;cqllQc ſ g>1ֲN^Ρ 2pq2x A]$<8_ͦ<!gSvԽEnJ.d >{AxWb`IyCaa5bG3JiYD[M(‰Ge F.*^ETv|bwA$\@Ju~~L:Hk܋߫84IKIV&o^1{yO$ˌa:Z|{>!;/`3#{cwJ?stD'KԎnBOM(ljp\rB@[R"=+7ϛ/YSN&ĜH"6/RsA{k<&:5@ZRyK сwԣὔw?fbץXΘ$ءއ2_p6``{`]8Y.^VލPғ-J|<i1M7h. ㍏czn$?u+6lrXHDm'JݎG] !~@HݥmU v !`-uPaț_fA~g*0lU#cW2b?k υ P]~ _ kSM9|qM7|PQ?W3ڵoW;D+XB0BBƍ_+NYnvR{"vWL E 3vyɞ E*iN_Fe >[/SBUVnw抦"C*!ׁk+w坒cPA \bw 5V@̴--0*4{ҪNvrH ks (DY{ ̹۳['Rb#^)rGCO)gYZ   ;A% Multi_Party_ComputationHOL-Number_Theory.Residuesdocument.tex7zXZִF! ~F!]A-MՋhvG"uIBm5ߨ32G#dw nΡsڼ`kpěE9֍gR5v_BN) jwg`Q;eR"ET[;FqY &s6N\PiĚ< FѸC-)V:\F#hCB0nqa 0>5K:KERaOS~!]LƓ~JI+eb` w~.9m@b,Un7ŃZ@M˒@x'=){w^9#} U&Ul6b'$P;*> ՛n? w6IO3C\{8[iB%V#2ޘ%Gwa*wF*MIgތmQ0x:))s꯼O,XmvR~qlp^/[N΍}KZdlh^ ƒ';siFʄ}\t*X(M,L)~6$ǵ*f10x̝9]T6\L:S ev\ {JM˱rb:[jZ ,n'0LfЖOjdsR$_ <'Y54kŕE+-Rpy}݀D<°f4 R_e%Sc"]|4aG %N/_Ln_ 2S-OFQoKrB $@y q?]8e uُ= Lv_dx4a83 [kMm?D.e`e +zD,g{{|'blK\o$pTmE//mO @D~FF8m:e]@ndy!VH=ou2'|Y8DGNHNGȔ [-{wl*.!P]%>tBzF`HZ +s6zzkf7`*>ŽF+*$?yg˟Nǔ Ն,+}jʷF;+WBRI(Ϟb]ָ+ƁUѥϨZ] 0HM&d=N?-$*S !0s~"$ a0}4E! do .|yRۯ,7 L%D?PeBPiLi$# s[pi\ E850w߽El#Kʾ#nǜd. ڞ Ȉ-qiqGA-ܩ&&Σ QTł(4b<Q];f>{Zн: ׸ɜ'ݟAODwD/)CYpeYD͢YFts!Fr._ CGܠ3+,Jrt&u/ E Eiy.3jk3N&/hsG{is-礂M,y5->ÃIJ$Qb:4`_-޽7`fާ,V2D nyXC[2hHtH;<ߖրR "~WO;sj+EO[lƮ~P/AY|Y4Te=NiX5!I!ۺ||'>Z?lxЁr{6E+ +8+qZ[hYe%gb*f2&Gr}q.Y] =߈X? ݇Yr6ĺ0R/sh-Dw:|'x:#:oʷ(|#8c),fس NMLS;M/ ݤW Z'/eH w{}L"kG3W[iyJL G~9.EdpA \Y!KaRZZ@Zh5Ѣl Z>uCXVf{a&x`/y8Fnz̼+%q{)4p5+lz1.[Q2â[Z{`^!tXUzOͫplR)e.(?GEVv@!?)~f#g\b: m0 E =UđT58%ӱ++>8B@GL"R2^EJ=R# Ni+l^Is QBiHXdRqm[Z/zMϢSQc1"!;sDӨ4T@;|: P3d_\ό ʽ`l<,j ؂NlXT݊>Ks˿LߓֈLSO~U+~>8 @,t cez`x*6u ;/˨M#f  r*yBd0锋8b@2|!ς*VH&MxCJ(eq#< 'v 6#Ɖʭ;ml{Ksb=W-6Q!8)e}J]j-XN7h- /Vt $Zra'qʟj=K&j!.ņR{%D,nrqU+3KexTC}Aq’Ƹٍgf[Y6AƟòn"Wvah}J?TluJz{|[H["&RO T& 9D}e/̀÷?A/47m?cMģo7'A]}!NV ܙPM)_eMIx ZގJNR,zRWެHm/Ym&GpU~v֒7˼p]dQR\DLrC.6['ON0SisUuՑRUHX.Kg϶8roNVB#EGƭ<îe4&qA ޱ4O8ĆӜS%6gYZ BB;;]% \Multi_Party_ComputationMulti_Party_Computation.Cyclic_Group_Extdocument.tex7zXZִF! p(]A-MՋhvG"uIBm5Q*gh+?6#"ڙHG yIv;qg"gJ5Xz(dn*N¯>۾b? byk""Hh#z?@']i n, fCs">0?v`l@2[P4F)E$㬔ikd鬄L s^x˼$N"ܞ^ TP EѡK̒KeX_k&I?YRovĭ ?<*bƆr+b- x()q#:t _J+uz-}i5FϕkBQ2Vk|<4=8k݊,̶nϩ\m ?G=^ݢ\#B"h 0J3R_(S֡bRkH3o0c}SW-}]'E/ dAẁw6z}D-}4ցݺ[,?cGω1A#]z|lŻy6wV¨̮FW@;I Yu<ֆƇ˓G~b*l|^O&,AHy J>LȏJEr quv!'R~T$ =K}c\u Ij!$+A [nlظn9/Y)?-M41*,p8|䤛3co2bo奖b`4T{^YazFiB@+Y;XL:gInw9 &*ZJtjaFjn&.>>;:L[8hX)>*Zh5(Yr o+dn)x4]ub؂TvLˬ\g:'yBg=d8)YK,LYAmeQymg4c$e|eLqfC#tUQ6Ş(~ $dGB B#f2ZJ@K0TrԛeIߠ&ᘢ-\?qvbcTRU(Y"8.b_Wcv}gQp6q/N>=L?~S ra1i5#ȩ}lzDr w6}z2.>(Ż^;Ѡ׏Б?͜RחjJHd5KzmcMKڍiHNR8J0μ#InąT0ދ)ﰼ3KIYJ)q|h<-s$$[B_adY1.?ˈw.fD:о߭W jjR d|1eE:X)9/\@#|>R(NjȤ w=1` b2n#2H ?O5ۄN a=:no.]:#,̼BQ^"Z>Cl;8Q|4:^e\%1&읎%h@"S4xvW9 I Y<}bUcUeO<\%,f?/|gnD32S=>Cj} i[VńntQQ652| 6 IA;1Вg:羃)>/l8T qu!S@G79dTMV2~!t6jw>6 .( 2{ľ 3H`tȄCW'SP"a؜Ȣ,;jeTfNԫrJ(?QN$*$ϖYӏ7H0z~B/ɶ~ڋebbEx3ʶeB'nwmc_0Ie1qߞy!|o pWp74\5 d3RJt+f{ c,<2WQ"6%YVyc*-NӓEJÉ#7DU%`xGֱN{S+#XqퟔBHs#M,b#Gd 9. ;ǾA~J-\x/5\\sʚBïd$|߶Yw(ajN:Fp#Ad"^m{S ;ڽDO>"K?gz oVe^ZA+Ok9QUv@1v\cյ[3bEHfr $B]a1v kd{m+gU=&4")Ȁ l+B½Qp nhA\:2f̲c)2]se*M<9p {1˹"C-*H_=o[XOd F-_tNmg Ko۷GHceӮcGxL!\FwymڍA,;%*tQnf:mxKFhPݸNG1 wvٝueiPHXsY+>8Z.ARݶC^UR럛A#;t;d ~'8v!ǣyPhuaʗSWJX\)4tȏI*_x4NX@ Ga͂0`%k#Z z6 (<|}򞱿Y* `=|0:7Pr;T/S.Pds.kkE?5% EMMY mN&zz d/H+1E?H\r[o~];].%MOSⓇoaYAd=2WIJCb#K3uOV;׺e[teHՂd՝NflK]wx/4i] ,tY!K_.ER%d[륶s FFtD#ͱ3Òt=ΦAHyF\DUQnF#(gA 3 NGp䱋!A \kLoL2K 3{1ճ/12IgYZz(y>xAS.1p >;:ʠ{jE2#i ~zݚXU԰AAMZ@|'a^t u@xtTEE!ᴽ>g Vtk;2M~;'yw`O"DVq.xגs9D ZWǰhΎ511gZN]c&n6[Yz>2 ;4 K@}1%#b3 h%ef$FAb!) f71/4evx"r$6SIŸMl3[z4<|~Sފqr4Z/B+5] APC!Aiz)1Ya9_sBnjF[8V^F1a3Efeׇjw;f4ƻd ujhJyrd$1dp H"`xe`/R6ᅪ)=iꟲH}|QWTz!%ucb4HQ 9$z2vm-@[-TuI= Q.n.Ue0^!FJ e2|8B U!إuNA{D$UGgHTjw %宼pcuqC'qTvQU ġkfnI0Rn"ڕ!(8&@6IބS2T_X(/U\8קW㹟&!`S ݡ,'u7}z,K*vͦzY/(>ؐU^P}137|-8$/ P/L‰֋ _z`͔Zdn԰0f.}DZ3oW1= H6 XHDTܧr_lm[u%%`΁dH.Dmlt|0fp1W߬<,n|72ti2–Ma>Z!ʄ]jq͔fC9>H,q;ʕWiʝ@-PlfRopU⋬'Ĭ !Hݞ+[̰U] L,t>Ԧ2DG#ƩC#LҕcO#XFΓbڬlEgx+]LQs-j jzU(?#uPhFjܘ*; Ѡ]9z%psUtGF}V)ɢp ̼j2;rɖWβ$.f2a?bDQL%_zz.Bix826smTET8^VVMHcdىF!pQ"ߝ%0"K~UI)Cl7:l8i*BA3yU\CTjƿ%nݭQ"'ރ!;R)=ņGtGǽÜmkUv`A{)cto3y #Y~x٨ϙ&}{[s[: jZBq@ nX6,֢Y (>8ćblfuXVpER5ZRw1XGt{3 >ː ! 9av #(gW؈]eN?i<0ۅ\IC_blTBj;\)uW8h3`; 73k/ɤWBL/k,mRYIlhpK>t!u(HeBQEܯjc8z7(RYܿ _,}[,͉ c :ZoSC ;l仦:DEt x7N;˃^ i#q]Ի PL!ÌG U 1M{6,~S ãUZ~f_<~@4E#dEh<&Q璵pNM~~6\ƸOѢ(yTς_鱴s }I\xsu"ST}6|JM%l[e(\`Mu+[~숻K"dnݎW<#d!m#Ae6!н:nWZ}|;ipׂgpvgNgpghHe57_TxMڠ.|5&*;, KWhRil?r=S|a0!gBD $NcP $ٖuqGM:#CK<KYaOP ۺ!/= mj L"Aí?w3F61btbcvv)X(aM}Ғ0c=%( zgFHJDbsl@AFyp2 V1Ldֹ$2y= [~/ VBynM@<7$Ǹo"Z|]V6H5!`CXg,`XlaɱO+\o!*:f $gb^=,+r^\k L|Dž|gF=cy$һ%0씫!A%:G.Z!db:ƂdcESNZ.k0-PF2fhl )bLYäck}1DwiE0=/chQI-jf1ի`wrw!HŨ+HAUdVߴe;UrzG"@F+nı7aP?;:P)PS>Eoh_G}l0@QAى:+QΌㄨ)+o.>_ڛCi0\7jg @2ύi2m.h^plr~}RS>Š6EmX"WPfǠ{cqɐDe14vn*nř ;Y%7HgUWVˁ2楫R(S *}@;fW]:OJr"@~mTlֱi4' \ ʨ; 1\khjdROl(#QکC"w wY`Zk6rL:2v 8¬{%_s u:! br+~jrf <ʇs6~ k2gPZxdNV*һb꾝A!Xmj{b?|n(;֫K>z9KH$FX(qeJV&WNfp}'oō@r x^:Ň=\Psj:vKe@ =I:c}?e9n ^s\lbz*5»ŃqKrkQYoXA;/rNHK::iSyf*wMWu;L4 3,TV}6ANuЂ:ڂm:1'[t"%`8^ɱgYZ  n;C% \Multi_Party_ComputationMulti_Party_Computation.ETPdocument.tex7zXZִF! Q& e]A-MՋhvG"uIBm5]' :6ӍJnd|5)Ype rVQ~·i[ YZh1"\ꍡn8>@7ylk2n(t0v6&]_]+>&}AKFSȜJhgcȴWuFO=N_JgXsqZ}M d'd1}P.{g4 nDxTD]CSL_qُ `ҵYhU X];ׇܯG;T92VȺY&fo5gpp-lˡOX[ݸ2O&I1tִ lgI#Aw7dDy!($[(b rZT ҩԳf|d[}{iW+B'$HkpޓNAt@Lܢj7񶹹e ![&EHɸ"!O}aڭV>vyl9$.7/lH+)`~b6> '|DD2\#4UDÔ*}sϏ F!pR_v&pOIj K=X!"(B%HXwVu#S-pv Ce?h\a39Ms&O5ƺnMjO3_,jGH6 zt<婝S0@(EJF<+>l"8 .U_P5s 3 hVH'?Uy}#!^'T~[xW5Ͷ/ ˙?LM{YvȺJ9LnR!'BݭH<5|InټLieA|?qy*`tЊʞ=`ɐzY|zșf9a3SV7z_3oU WN.9n|_W% a"1{w4Dql( ZsxX`=bnْchk#Oᄥj<]acaN]XٮYbZJ_lN9ݔ_QE@/{m㮘ǂ;\F:'zn{ 9_  ߐ`gb< /?/$@!6x7ss06_8< \ X5j++IYy1S~c3 ^Hv `W~[]; y|Wyߋ;T*PnyE/R9CUxFFդ_j,!I ^΄Ȭz1̲&ʆUJ+7ݷ#D_$rI$h[D5z^=s{9} TS*x5oKMo*0ɨNC(D&CwfF@ĨBl\ݢ$咈ut FgD< ι=M,Iv0 S6J=:9EjOW:XP$u"kOk4,Ɩ'Ģ<=!YuL(:,Rm+>wd\ 9xf@ 繑k=5iWvsEοy5>8r+hyU`hp'lcd'QŻߠњG.Ztsv'H)H~et @6fQJј {E`"E: zʻ[3#W^ DszhC[yXi6ڳ,tbՄ yqO$bӞ6G!Dl1Jĩ,Yb+J訳ѵwyiJu8-@PT>iVBĕP֮-RkMqю5_0N-'3Ɏ[qn;7m Uz*qߖD3!-u *ŃgR.ˮ:i7կQudyXtS#5K^AhzK _5wA`^5XRI'NSBLxfS]LC/˨\O(݋jGɰ5vˠM:YsV4eÝ Å?w虸2m7m&+BB$ϼ@l.w]d.zKGT"g"gYZo;]% DMulti_Party_ComputationMulti_Party_Computation.Uniform_Samplingdocument.tex7zXZִF! 1R]A-MՋhvG"uIBm59r>d%3',Z{+P'o?F`Dßgꁍ1 V{ ~f'^˦n SuwobMC7jQeJdQ5!nfȬ۝JdZ"J?)pC+gRԐpđ(Ą%5rv6"Xg :w0D+c<$w,m>!d~|﷟+ޛ4_,X`J 򸋘2=ڼ(*s֏_ uHp!fo~&4 (ޝӤ+mi0"P@u7IʐMۀ 7VӻP1:uGZϒ* ԝP `s]SPe{/Ş*BTĘrclwX+d|`Wi+N;oen:'] D9'f,pOr_M1;7 /A7AA$]3EO> ؉)b"5iEBɓU8KY4Yt hvģpΰl{azQv0z*tWjNS%QG9ǥ}]YYƸH\@u48pjܵS:NTưզhb2߇Ėj 8S&G 4I7 yv`hi|ط!PȐMd{pрDI>EN}~-^A  };I% tMulti_Party_ComputationMulti_Party_Computation.DH_Extdocument.tex7zXZִF! Fs]A-MՋhvG"uIBm5g5zaLAG*)/\ߔhLwhڠ:WK5ݑFkå(9uCwid։آ+QNɟs,M;+dZ$ځR1TQM)R#^9)JUhEJ] R$ O#d?N;xA?0sB_͸'0AoWI@8$gV[FtԵ=݋bN֋lj*ae뛸% $1o%{PIU<#fWyC79c*"᾽xpOB q9]#c 9_G gI.QFWkGւbk-ԿM;zp-5/VKYa a!GxtO8,CCNq~t> ʐ6Z |P:Ls\ x{-(& 8c斉k>C&VIC9 E5~(9㓮5IDŽ ~2f4(vpЂJ>IwmIgDHp\E7D}\K2@G&9-.t[r2J2Њ/IKn}ROw6ʽ) 20 ;XsG괅BPJa7*Dp;$%Ba& FTjX".d$v%}1@R8噙mr*]},>תr=ZzSo$` VoHpNĕ8 e=l8)q@=X`i1*cad.OmcwkސssTNm|Pl|O>pR47 O-l@0h%ҧ6 9ɷ)>Y{h 4q_8C d: KId۵l>/|э=|#,hQ@Oj2#sۼ_ NhI~> nEVQFN`49dm!f7WGC8LFQr#?*0Ÿ@ygS9,O4]׬M"醀 z.=c^n)LTXӺia&~e󉑂`R=+ZFPZ?:D?H[VOJ՜` `s+C j=vê #0GǍ,gYZi;a% 4Multi_Party_ComputationMulti_Party_Computation.OT_Functionalitiesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5t5zaLAG*)yпL-_8e?S~zۄY 1m"V``/r>L_c"! .U]}<8oxeCă1h2R}; 8vPG(*ѵ7ƏWbvCM2{F)9VG^RE"AS! ,[Z̶ϒHI'7Ճ?UMX\>E)g~/-r[Ӓ(Jfх)L츸Ai2ўJ.sK~NV݀%/5vo qnQSz]<U9i) f"c畤I-fQ,7Y]:6vj=^%{y[n͋B0"!C+@YgYZ $;_% ,Multi_Party_ComputationMulti_Party_Computation.Number_Theory_Auxdocument.tex7zXZִF! aI ]A-MՋhvG"uIBm5Ļێ*e .>V9Z6K4)^S`98l8MB_`sL1Rnc_!x;,=BM?|IJ0ŀ>^C!Zkb!.=Fe8׍A@KVswSMƈٱ Z[bǾ(ҍ Q5;tŪ]FP&cJ.zs !C<'I>On=klb.=JvuY&g&l3]0,wg5 n`%gxt+|l5FzH8?j\B9YbD 2tHc_:w(v* W{V[GZZ+W}m.{ g 0?cu}35oJfʞGbJUlΟAKm{yv+||ZB|r~g]@]4VpF,_Ǟ?Aȡ ;br&{\\z|@+cwv2 m}+PhHn#ͣ}D-ˬeȿEct+%/ʝ$#]=7OHJvE (\] P](ΙÓWnac&_+bjTt1Kn .VV4l?_ (^QFzZp|`2#nS>ƋQ&p7]%QY|/mR_-p0nqk/)z'XYrl*;m&4xkPm[EjGjEՅTWA# S&oUGõ*o#IڣPV%5qvJPpꁶ1/|cgYZFM<bv8ja < D&cS7)6a^ըN@+uA$$ډFDВMݽD'{6(! f_#LE?ONB!ؘACecdO k+z x,$fx\,7b(l?'*_:밪\D?ĩ\[< B][&ڋWv1 `&y}_8Lvj#-\iAcR# *؊2 ʰJ6_| R/W@\Q9%%Xe,UXenr?vaw?YZU=`Ez)۠PBEzl FT_x&4'm DnX~OWyHe- NizDCL4&{gHNq&9ik% 5}S>,ly 681v0 .JسZ{;l.Z o{!MڟpK a&탣+Kp3vCL阫8 258Gr3mxg l^+U~!sh2zS!ҸXeU.nDӝjN[<| CItx"MF9@d0Z/vOSإ*Oh} WSN_6ƀ9~xx.Wy:A$uQQIFzf?@mbM_zӦVh:e dgXGҚ(}@ tv7A:~&>.cJw#KF=[cVd4NV)CY9L!{w_$ 3~D0:'Mq]NF?@vJ"g_6N(BP54&v7 d HfM7ho>!c\5@U[A̼ v-*e>/X,aF]k) 59A'C> UZҠ=f^p[C7 {aʻw^@ UMBL+'cK\o@|"z ek-|Ρd{*)Wb; uV'(e]**J6/U_ɹC o =fs.EJuѬ4 5 k+Tb[H0emMQ8+WJIDf|E':~eabr*"c@: E-aGQV2ɋ*?zl VIH$]O8,kLaOwgҍRZ`v7_krW=pp{IVuƫRĜPJ:#1, @0:{CWϔ#}~@h Cͷߒ +20y&HNym86N&yjAba_b5E򕻩>LW#,Dc|yr#Г !'' :j< NsCCn@s~nPgla, ɆӨ)] Ӊ-c {ti=yO<#%\{Gvs-baS?tAʳI|M=СH$%`]x~`a}Snf6߈Jӵ/? |E2h1*شg˒{psXF-Bow~nMSAUZݣMàH0_,]5Nz.OQqIS"|M@A1}ZlŪDzoU!ӷ Պ b< h/nYQ\=O &qܵ\u:_T.Z98޿#"") keT$%gTQIxwcB04x7yW zmޕG=H2T#*4t @7 .j썽Z*1mz5ݯ8Q7 D[d/6(`U;D^sHQ%1@K/_RBZ(1hΟ`U%UqX9şܡ\Ἅ',W;`H$mñgYZ7zXZִF! ]ŗXiɟ9%JwPp *}ܓ"Kn8"0sv.!6.. aR-!; ω< <{%G/-fLwgEVD\ׯ.G5ÃxI){ó/N!“qq@)oI9xdQ&=q0Ӎh%c`oPdٝ|4p4o÷ t#'J $^+6FjA7Я0xbnR9%4k@Q9-Uj^kf}C[;8kE$]n}CrE ъ5\WK~o Tvo{{wp8O\`>&X/P`%!E[>*ݻjvڢMiqvyEjlnJhblXIG{,D pWWY` NTU&+# TT[|g\FSAH?nJsRPAGZ'B j(~U`ƃ霈UbS[db45]kiRZlW.1UtV ȥ}fo[ᶧG, YwManbm-&Zya0\a{T=fޟmBG$_#R&$f y[]KӂQKonCeq=⥭+CI&[r!uPZ -8~\e2Qph*s^8YAV Ke7'1sL#EVh_} sN,h `叄KZÃ0g)IZvѬēzkW+.Dӄr!@ŊNG{Gs*`DgFh!ĭMz):E͊ADNmytIz7 p8cs;Nj*?Ī'o>"oa)}<::C*tm홸m`?tkȺR!&F۷FxOu|STEEqb $77?c[l`B)k04/ &uȭϧJ [VAδBM_qʺZ'C{Cby`>+T!Rw6x( #u!f{ #^ :Oo#RIAA1KQ8 6hc[ŲRX :{xԅž>.dz&%{rٝZhDž+PWj`:e8P 9@!k5ʦ Q$)7=yKs@ apn H8.9 tnW8Dp.>p9vs z! R)^ne'3?(.Ȩ; %Lsp6Snѽ(F.߫Lɽ7›耷dz7Um&YJ Vܬh@ Ң(k]P) >XGN_IgU8Lq05 m!n#8~^ `z2eq|>S3[doj!X[X@$D7'ɼϠT4wYRz 64I4JjLY+|"(YT#H/פО:QRQ>'陼W.}Y:%m )\Y<2l+ N\J>:CR\29AѲ']Ψ`6 e[yNZL+HzÞuFK\hky6V3+nb׷E O6 ]?Cסf`4N*:R~¥t { H/VQa. w/ Z4 ^C O$æ6)/lHFMpvk'$7xIcnJѿUKZ0]>"SLyVNm/h4rB?J8QnJ':gvTmkM.J[1kW$YZ$ c FeƉq).O3x;gHҞ+bo1`Քz.vq;䛡b1oK.4nJ@&$ly$t =[o*?3 \noX. B\`>d`\pD zM7qrȱא1Rw "&8Ԙ4Ō$E^#$h)q |s"kg H/Pǜa˻T ң* 򆅪|`x+IV_.&$rNu"~XZCp ~œ{+0;K)[\П׾^f%`v\EWE $j͂ao}'\ ב9|#8 #\LFrp,A-vREby' xX ۞UsZ-<<"ÿ_xϒj9sɪUQt/%s<#":m/uTl'܊k.SJz&q 4hL94c?˦G)U=lv| lwg͵w"ftg!:ڑ N",cr fmxYDpX+ V}YPB^ xZcuooq`.+p@(#1XƲ:?`b BeU^}:ro~h@u `<a M$jp˝;itWv'PI]TϫVb-t6~H{5YnʵjRMl]//_m< rthtذWu&1n;R  VBFWO#WNKs>*9͝ꧩB:`MvOrȸZ_Sr2)#+Ubʘ{BkHAu]]a>B vaYg7dU}ǕbEeNf5;ɞĻ B'$*IU78T(/QPL@[rh)jVُ|dF>7"QidTdtz <>c I"7_g'7.>\3|%FߋZjnJ 0T+RQߗB9,PՇq'y#0L g礲ͺs}i¤Yd5 vk.K/sWWsTLtQ s ϐ媣XTdF k>R8':5H Dh'd-­ӳAU'9gI$ /UpqB[FV쐘"^CϐZ k<ܺH`fKYǥbP٠AӃ,XPbzW@XJN(]2;2 >ⅷYJiQޒϳ2y)a٬ӳ+Wٍ8U|I54εBQΐ_aQ襲S𸃋mYKdaG^К ZH24zof]LF5"H^dkc`JZ2"!*:ė I ƽ|շ2}\_uP,?ٺY E~k>awИ~ A7+J-sjLTc%:¼J6w'yPc؞j,D#-{k@r]p\$1=/ܚi=OxG%_(\|L QfME룦 r@@۩*&\9p4C %Ơ`ASEc|.j'sg kώpՠ D#ϤYxT2 on:@?d  h|]).|[þ R0Ќ h[>b5 lb :;KH=});-D>#~CArf3>CL0 ?M05 FAiY2 i>*c^J9T 2;7o7;iyMK52]O:8I/(  7) s_h{J`4Х]n<8() ʈ;=T@aoݺ@{KO[V?^&DzL\'|~O~DH^}M H( DPYcY0I*or9Bi0y}pyLהyF0S]9W2e -"%pKZjPСa ~. bHAF> ^+b7Ə{=d:%MɵAI|GK"x S՝?Q3qH:|bN闛1Mkژ6yMDŰ̥TKQ:ø!܇]Y#<1 waE ɾjX+ *{EVXcܺuSC6Ȯ)* #{=;EչS{c V.4: @' Gs<ŷDW!.wBCo'-V,nn Tx@0h{[1IBj /R)J.h[uiհ2@JWpX囋ǔy;1bM8׼ t{=e ˝a M KQ|m3&kopcs%ިaځeYlQ"N%.dVvcb2ij0u9K_?A&vAb{ c>+9|,>dLJٸvL.(T-fv݆Pd6G\/Hkg{4/r-۠9ZGni>8Wām~JzMEvYiKq.̣9tHXQ9vIEQE> Prp8c.{D$j v^|U(PN`׋D'5;Ḿ%qKp;VNI? t:Էtho6/)u37g?TkSg% "4O*m4 ٸBܠ ]x;t O^#ڠ3)ER=ԫU." f)*?1uδ۴|S /=j+~$bK.%a?/(RbSi*7? %/ȉpa5 G"rKz:E pTyÙZ| n ^8AdP.kSH{U܆kx+i`JK|H].KɺyS#ޅcPd#Džt@T8TAxqlQGS'̾DzD?泉=L%IK'g ,w!8jǪ!A >qK@ ' oM6=]@}?0&kڏ88Ţlme3ycpb 0$1(52xewϦ@o}6~ Dy<;&ğ(?[x f1(YNO en eb=Ž4I.x𪓮xkbԡ9_f`:YUFw Z|,o^A46QmjO=}3E8Z\ot%N؅a 0Ψ A<.^m݇Y.BLЧn8R$:Ooow͂e+Fcat$aT4G Q|rE\ iR[3mlx`}^xtvefqLXjBWiLA[6-Z! `3P!3<1>)~dp0/hzc.y=$SяC uUV~kiʗ (Z깸znfx&c.c})ٹ$ -D:'58UN heX㋝IKi~H7/W "ݒ[oC8&1EY< 5uK 0YDEP#hklW{CeݵឆYWam6/K 6i4O~tQq@qDU@DGT(qޤa1t\bڢ Υ.beK{9:Q.U,=O1mUtz;f%0FM x tjm^ seɼmNt%o&`".Ct ,ˉZaz b`sD{YD@ͫ\$&7Pm%HEb?Jqi]'<%=DS{?12`WiEWj Xek  VjP: %LS~M`׫ëwE[lgc qBn*RQP 늴v_Vd*wrd!3墶Xnk^b #T:g;PlHY#3Xp]s|o1̹ ޖRy k; .#Z!؛i"vduҴKʭ+hL(L>'[o62փq-錪oP݄CsGcmzL9k Y[G-۬BRL('ri݁8.rvK5Y? maTm7&;b5ƻJH\)E"K1? 1V!xxLI#zQ$Py&)1{r8\I0$X#78js&Yg~t5 mx$!ly[V0Y)^{>czb;v} 5Cl%Ą{wT¡lxY'>om]K]|L΅>µr1x)_#)JjyWѺ_?3`A`/]1v7lM EԱ~|XXFՋsg [Lɰe{dj!|\ߞRwN\EMZe(GnrT8[=h%v mȭQ;fӎl؄"j IUS~[S7,/Mg[֬۱a|,BIo+f͝^҅ŕSi:K@] L^#w"_Dd ms<4zu Kc`gS[7=Yp%GY6[q*:,jp= !rV^q)ջ9#l.`P(A$a!%&ȳ-e}h B|ux|شmW/zPwbJ;l(*/iM7 Цfd@li /FZ͙rgKE(Cv9+SyS5B$U\MoW㭷W <U?\VGyG=DI%`bSבʸog,sB d&+I#nH V[fJ=KSMDDՐIf"mAWV2z?v~ӖJQ0OSӪg.pT$ 1:Y g b8M#3#1uqA ,FRX7 Eyc$;JäsYB2bL) T |8h?^2$K.v|#\n,:5buIѰu ~o6Lf6^i$g-EyߙvuS6ckYY9 t/-;үJЛx( ~5DQ-gV֋0+K6 Nik[<~ƽZ94ʹ+$6e.:NZDVK SRN@0Fbwmr)s qɱKz}iqE&C!}:*%:^E$͉7T7-=9q8{6f^_q7d'{in}`M6¾ce0zT#) r7b̼%DG)ƂpB{T(-y矱ƓXJ֨XRnf&L%-n=t$EtL"ׇͪ=hfr@%?>3~S||sЖS]YgE81Ǣl[nak(1@dxh+*uN)?vES^:BzA+:u'~b g@>*)\f?F8JM'@l `ZY ΔC^õqRbS?tU{a Ad L~?x_? n*tv\ G&qJeN"g1#Ż~i0H3!T$aO -0jw [/^69[Q+$hJgh$?\\y+fb8+0bVM 3 WQj٧{7f42w+to*j2z;6]U|':]Z tXh8OJMևZh$\%+ee=eZ<_T緸!*Q@pn0)zguY.s':rl.%z __U4ѤQ5PUP7Phj xCr)( Ě09~1Vøa)zB|zekZ籒H#T6iOtxc5L.XAmF9@xwdbP qUytWK,5"Qmi'N&yd,a΂2֭ (PIz]!;},"C,`Hm63[iCwAYq=!<y?{ޞ_3>K^Wzכ'7j庴R[ [WfP]jB)w¯+"}$v: 0=T'BBMJx+HRO9g?gĎ頵cOگ~%rUִ 㞁aBm(OIic7P׍[}oO[ ǘxw)OA+p >~*g&WKZ^IQzP83khY[yȶneڒf>V;xmA?gg9ʀtYW,h fseWQ/s;lt7tI-F-@PrN - e,Nhwbg*B0$H}5S^MȊ`q-LDFLAU(2}JKuN%8# o7D;B*'vuh.|ZSv*mNT< m˵TM $!x^{nV("|}ŒU4!2>׷J31^Yy6,tG״]5^'McDzƩEQRhSȘc- )3hcL*ɻQ׷Xsm@>HVސ[oA52DAB߹st7GVpMnqf l5N D ,,ϾWy~P;+mW?XE#%zmEl"Q2s}M։kXTUTd7' )A WI4p^OPerF)va嘫RK&ItN#/+a [c`kH%6(?I]o!O?;wX0Sg }86> 0܂15Í"\5Qx6mkFz?~O@zcf e' Tcxl^֑RV_=Cg1K1,.g[ݒKzR{e'\л+d[U.Dg~;c1{& $&ra$H4'ǬIjW H8XN\G a7ԡbw>P1fȸdem.-4$3<›d=T 94RkD2} L(>F'fZGG@C=lq [mi1]H sU>db$E_U UCHZjoJO" a[* @nKA1DbԯXs KUsgN t!A{(L!qVU3:\p=D̟FԔЍS`py~χ~̊G6@=ͼUPHؒPc||ߠ 0NC rCkqsB,Jm6kqW/U'+Rc8 6VyΏMpik%'h Yx{jK`nϮhr35LBx!nDZ(6/F,@xi I?_I)`; 2V8qpY8m{C֋%ёܾ[^ejH%_."`jZ; 8a O,]TYUWG2zݏ0HG a[zA&Npsx̒fOdYEz1v" %$.2A^l=I}OVq9:jˍ%0J4 ;,0/I1_`>qxFo.%jz8CpWw6aS ] /\ ua4 W'+fABۊ -~W2#r椃rGz-;X7 أh̘N,B̯>BJOw2K˓ >='3 N$l5Kv,)cR],U*AUՂ^dPz(U\֑ M &=`[33K@K&c79hOqIl] yYsZ:n} S^ e`{ﻠ0l2?^RGqvu '$d0Ju(gYZ7fd462b8772cffa5722fe8c59d4fea73b45b718bc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a bbaa32a933fef7d2a02f9d63011d42d381eacd32 499e7c52363642312cf5354a9c967f00f9862260 85764537107afa8e5cd266490482a5eaced71bc8 6a852382ce4d4c22a73e725f3f494114279026af 5f398c78c6c399299f4e709e9f8d40641604d0d3