SQLite format 3@ C.;  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  N N3x,Tt ]w Sigma_Commit_Crypto:threads=4elapsed=76.804cpu=263.140gc=11.0127zXZִF! 0]ŗXiɟ"'Dbs@8y쌃& f<4eO9v:t g?nEY\Qna2Qd{Xk3aGqxU%ALP+{QEާk2T5"# "n+;M @;te*lT{/]sCruѤq [Ұ'"|sքmسEϱuvu`odb~oթesh}8ֶZQO!3z<.?[: 'gV{@R74s8A7<pFo2rivcdUpX32s7ES^=ӟZj=琿KEZ f͑t krnm':Wei5̶XXs[hݚSwXJ2ָYкP(EAΒil:V#+AZ::Y4cz 6a nحK$j½Im7DğOOƍkU .@{9dBT"z5bx""Hr+=X4#Ytsv6=;?#0ʣm"]qjUu7) noYźC^{~3qu̓K3F:Ha'H6 ''-BP :sHM5#CK:m7H:6"9 azP>@=rF./+vڿq6aB 畾g+ t\!Eܙ΀2Ҡ:I+گl"qm1 \9phx\=|Cl ͳ9j(Lj0G`~888 RnٛI=:[oDSJ. vd*|f Mz{?U~qfY!)/3.ƱxЗ = ̖^x kwr9ANȌ#nyY𮰖tպ&Cf*a^zd.qk$^C$p&=e-?D/ll'`Sz8ө -P+"]‘Qذ2ܻ﴾oz {M?NĈYhvNgE@ BĘ̟x-L>ڣd# __蛯@ul |IϮmo4$trnLQy׏7cb'_-+_K-eَidf/b֗$D| шV@L>#^hH[F='g= =748Vۮ%]\-$?J>NjQǼj9_)%5{Ա~Ȗ/QJO1[xfzOg_B%d^Qw͈lu0,DYqNQ$TW>6 9tNoTL>hkWL/bXMGgRpZV]Q«.AOn ;čsFaCLtI?-9@+NBJ#Rx1q(yG/$$B8dXȘf`i ҅]n-M;@x`/`y&^# %Oi"ZVbgD]7Etbc͌@L.A3 o[]6wi#:ZXSkpG' m -y: n.&O%`wj ]EXP2)B^(Τ<M(cGp5M~0܉ԟogB$uGf rx`6="QF T}SeQsXQt7;dM׻J?+٫1/d-Fh;l:2pCac͗;\~Հ'z(X72u 8G/LbxQpÕo'B69T9*X^=bK5j2h^4GXx Wj[p4%Dt|YsTםU~o/nQNِ$9J[ۜ o NxJh\qф'`<Vk2p+Gt$^L8oY^3ϩX7V;+KZ4CB gr7Dq_th%ni{ΠT=UıZK+blTCB0oSz-eb'\~ \t/bBUvCHߢ$fe+ӗR8N웑] /4o&m[h%C*tϾ2oR0ms9p#r.ӘHfYj*6tUk$,S<:57lYS:;( hj!C $?>=:41/- ) ' $    = y; g} = /  S v  ` 0 *833%Sigma_Commit_CryptoHOL-Algebra.RingHomdocument.texJ3W%Sigma_Commit_CryptoSigma_Commit_Crypto.Number_Theory_Auxdocument.texE3M%Sigma_Commit_CryptoSigma_Commit_Crypto.Discrete_Logdocument.texK3Y%Sigma_Commit_CryptoSigma_Commit_Crypto.Commitment_Schemesdocument.texI3U%Sigma_Commit_CryptoSigma_Commit_Crypto.Cyclic_Group_Extdocument.texB3G%Sigma_Commit_CryptoSigma_Commit_Crypto.Sigma_ANDdocument.texI3U%Sigma_Commit_CryptoSigma_Commit_Crypto.Uniform_Samplingdocument.tex<3;%Sigma_Commit_CryptoSigma_Commit_Crypto.Xordocument.tex731%Sigma_Commit_CryptoHOL-Algebra.Moduledocument.tex?3A%Sigma_Commit_CryptoHOL-Number_Theory.Residuesdocument.tex>3?%Sigma_Commit_CryptoHOL-Number_Theory.Totientdocument.texA3E%Sigma_Commit_CryptoSigma_Commit_Crypto.Pedersendocument.tex?3A%Sigma_Commit_CryptoSigma_Commit_Crypto.Rivestdocument.texM3]%Sigma_Commit_CryptoSigma_Commit_Crypto.Schnorr_Sigma_Commitdocument.tex A3E%Sigma_Commit_CryptoSigma_Commit_Crypto.Sigma_ORdocument.tex H3S%Sigma_Commit_CryptoSigma_Commit_Crypto.Sigma_Protocolsdocument.tex >3?%Sigma_Commit_CryptoHOL-Algebra.FiniteProductdocument.tex ;39%Sigma_Commit_CryptoHOL-Number_Theory.Congdocument.tex :37%Sigma_Commit_CryptoHOL-Algebra.AbelCosetdocument.texT3k%Sigma_Commit_CryptoSigma_Commit_Crypto.Chaum_Pedersen_Sigma_Commitdocument.texE3M%Sigma_Commit_CryptoHOL-Algebra.Multiplicative_Groupdocument.tex63/%Sigma_Commit_CryptoHOL-Algebra.Idealdocument.tex935%Sigma_Commit_CryptoHOL-Algebra.UnivPolydocument.texA3E%Sigma_Commit_CryptoHOL-Algebra.Generated_Groupsdocument.tex53-%Sigma_Commit_CryptoHOL-Algebra.Ringdocument.texL3]% Sigma_Commit_CryptoSigma_Commit_Crypto.Okamoto_Sigma_Commitdocument.tex\\tr{XOj}Q#9(ߡOEs~\ơC5̱JXp83S"p7X0h&M0#YPLG[ 1dq>zt&ߚZ~| +ިkƺBMu PD Bǒ# eȌ>w$텡-R]?)?Hygd+Ra!3_ҊZ*/KGalК>h@H|^AN$̮\:aO ;18H6{;ڨ94(vvA&(QGNr0ENZo!s7{le]I%.b79}ݫ6˾<:C*QV8(i{>~$':O5 QUF:#En:ލ+Zq=4z[Hy$h5ݠQ\/Xsgm#{ M5@twSܧ3Q,򓗈x5WwQۗHA;7n5n0qƆ(bQzƢZf4ǚ8awP1Tyi |UXJKy*@Ӣ{dSVyhI{d+`*+#0j,bbzHmD6ћ%vQWɱ\?ygA^|~t|P+`_U@o{P e.81 ax1j @,!:FHG[#UpUMdOb50#u1zc`&"81NR\G/px:2?PM_&IԞw4 dĽС"B6^ף#߹xK?)Jxjv(\qR$j@>\jK-HcTH1ώL@+16'i)=/D%r+ݍLWWZC^ hwbFSbnY z-JɌ# 6D,yWH؈Vnw5lGG2lW=UiQ%29Ҭ1KCG3H!,-FhȮ*i@> BZ;Đ QApaDܭNIVb*}Ik62D:z)'Ν7rz~>ho5ՈPuYy%;qXBq֮E}j10*õQҤwVxen)%urgIp豱^((9d٨"D_d&XSh;2(mjuqI i\^vvB 'wMu.iA%^(Q.6BpP8B5V6QQHde} /=ОS~=bݞbXvZ.,\bL9e&P8.f^ڧ4r1}cS%`E<8#)lلD \7jF9,YuvC+/6K3`WLs* nh|[oZ7eKͩ]g5ߙ [f=?5!mY#u>KgR>>}%Jl';G=OT5[[##N^ah$9I4Π57\F6-_:--Eec668y,Yβl.\ah~3B}Yi yx_my +n[[>L?\I#>n찲W6XU1Xq x5un&i$^lTuC{ˍb@( @">hγUmCT3T~-,qq>Z9G\bב =ew0div3)h#;Ř_Wko h+Y0{:IAI׷EڗA`-1ݡWB7J|(||Ĵ ;00{|SN'd`(MsOE?j7LARX-^`Jֽȃ7~ITa(Ehr(78l}@lmˮA5agKS'ڽ޴:u Ax%xyVXmσ\6k)i%VGHd !^ >lH>>Ց ,u\~JR٫֞j q0.7%K&vl9J]^Iwټqg.ͬ@Bg 7S?qѣ#᤿hNxv:ݺXXc SDp9*i'O] ngDBhZeV~kL9JI_E)an0,'doQT_Ud`1hl5/YS<uPf0h+S40/q)-|Ġ~Ѵ Ԟ]7 Rщ ZyN634Y^,X?AcR%HU˄ &9= y}u%\,tx,2ob"f˹J"B Ӹk6|6@ E|ޡL@v٪qV.7b1~Gv)/9-rY0"!"&D?ͧ<̹ r,,5ä'yb0mf<:-R(T=K.@/h:9UIƤd\gm yTݵ#?&bсQM(Ԛ"X(r[t2rݍ.wv"ϧGGZ碬#z(M>?=fWʰ] 8z(X&v먥 :\wi-9ÌH*{Z.UlNZYMdxuIƇ77]byucjaWL:Yq%;8KeNbtO43'nͿ1K)' qWCEZl#&3t6)2[0 AV\PX @ʢkGd@{f7@HsE.p3)$ zL(J(tƱC."PP'X)I=l $eMe]) sA#yף8ּ2T) LZZ2Լ+u t%ӔfJ ܫr:u&\ MmE`gopL|^"x ko6H QvEw,ћq}QR_l'golk(u樶d=Y\2Jj٫=4pt1&4j.% JҸ* 7 ,/adДa!+ƒ[=݁REz\/ҕ-J_nmDk#]kI]+I]k0 bI3+pV rb`o]m[W!r(X]oj[thSע!xρ]1wq1)V&,^xyW`Hˡd古A1˙O6»O`Ki?x?'waK{O1e#1g,wz5 IɐEc-jޅBq9r|f)Ԃ 0 $%j&=pnULxwQuuxPs$  :O{8d#(%^3ex5@s.ʕ4,JNZ*'IwFAhV%k˺L0-% a ia R1.i=}݆.S(89R&Z|Q%Z?llՊ{胇\;W*=uz#4fI ?D<߷$OT \Ŝy\Li S*&9{ek(@YKy+g|;z1}+#SҞQ+2nG0)F:#L>{SruX Tʞl3dvwN4P\giuY5*);p3pe߮KIiA a30t){QFIANWgW<~_ ؼ='-$?gƙZQ%ʶKkܬQ[a8ܞT#qGX@f0j7/ZZX&FY{Gۊ$p/cq]o%'!CIY>{߾Ӣ"5d,"@4*1iu]P{_OGkZV8oQ-B_t_}:a`)nݢJuqȄxdﺫ4Ana _TT{&R-QL">FȨ^;Q^-E8yxAo%݂{`-Cwn{Usx\i*0=P*S3e)ލ/ V g'Iv,.id;.&XbclP_Tsǥ֊@Qx?+[$RRk]S#M, -¼V3V},>Ek>i>'b|IAiwƶ')bm:I^_J†s\Y/0 "tZ#-ޭdTXP<j]T@L=Xl6XR|V/&q.檡eq]&?QifHXjAv1CRx&Vj,ZZZB/도ЋFSēϣv$~ |鵛bŰkkTlJ B -+_>'UhLjОͳOG(Jp&\ze'|\//5Zcuŕ|' _Th;Ҫ[? 62AUie6ʏYK;}}q{tom!,FnfCi@I ϰOf=?EC~(!q]: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 }DgObuBUu|ŊJ/|+DUC5# +\_遞9I}pa K.[&2b BƟg7^:@] i9Ef +u29{g%h 0(EDDCd6Bq2sLȕlk'&">Mw* "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 vYvP 3-% a'H6 ''-BP :sHM5#CK:m7H:6"9 azP>@=rF./+vڿq6aB 畾g+ t\!Eܙ΀2Ҡ:I+گl"qm1 \9phx\=|Cl ͳ9j(Lj0G`~888 RnٛI=:[oDSJ. vd*|f Mz{?U~qfY!)/3.ƱxЗ = ̖^x kwr9ANȌ#nyY𮰖tպ&Cf*a^zd.qk$^C$p&=e-?D/ll'`Sz8ө -P+"]‘Qذ2ܻ﴾oz {M?NĈYhvNgE@ BĘ̟x-L>ڣd# __蛯@ul |IϮmo4$trnLQy׏7cb'_-+_K-eَidf/b֗$D| шV@L>#^hH[F='g= =748Vۮ%]\-$?J>NjQǼj9_)%5{Ա~Ȗ/QJO1[xfzOg_B%d^Qw͈lu0,DYqNQ$TW>6 9tNoTL>hkWL/bXMGgRpZV]Q«.AOn ;čsFaCLtI?-9@+NBJ#Rx1q(yG/$$B8dXȘf`i ҅]n-M;@x`/`y&^# %Oi"ZVbgD]7Etbc͌@L.A3 o[]6wi#:ZXSkpG' m -y: n.&O%`wj ]EXP2)B^(Τ<M(cGp5M~0܉ԟogB$uGf rx`6="QF T}SeQsXQt7;dM׻J?+٫1/d-Fh;l:2pCac͗;\~Հ'z(X72u 8G/LbxQpÕo'B69T9*X^=bK5j2h^4GXx Wj[p4%Dt|YsTםU~o/nQNِ$9J[ۜ o NxJh\qф'`<Vk2p+Gt$^L8oY^3ϩX7V;+KZ4CB gr7Dq_th%ni{ΠT=UıZK+blTCB0oSz-eb'\~ \t/bBUvCHߢ$fe+ӗR8N웑] /4o&m[h%C*tϾ2oR0ms9p#r.ӘHfYj*6tUk$,S<:57lYS:;( hj!C $ypa@N↺Xk >Aق)g:AbYy0>g: } +D4p^ QQ  3E% DSigma_Commit_CryptoHOL-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?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  D 35% Sigma_Commit_CryptoHOL-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:ze1tc 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 ++ 3M% 4Sigma_Commit_CryptoHOL-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,J1qFBPLtћ]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 PN͗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=_v|VEWAA- $<9 m@ 5 5.d} {Fŕ-wAJ]Vš9aǠP@ۺHvϺgxhh.<_XF4W]]OEQ#F_:i>rgIg0M2.qlwWiyYH[v'ml>E4*gەƏcfRH j:UX=jpBZJp5ÝG[=?෡vc(% 9sn^EwRꉏ?iZ  rX8ߍC KkIZ2ra.gh"]lͽUuB/~_G)Q_9G R^ҷ$.;|Rq`8GkLw>[D{/ƹ;jem/2^€Ԩ4v$٦4g+uEPxOxX6u'XF8,~vxÕPn#!8|5RlS} {w};&Wehkm va2e+bip)CcP?V9BvʔX$NiEPfW0˰ƸDSZ*`){(? ~+He 8."Ï"1G^4XŇf|Aaٰi(HU/gE2|6++]q/B8v, 117V s)W%$,9m=%oW!Io\}3^todj?(XtHp⊌I%5CU^T( ÷w`}1טyT -LzFTԅ?-~@³r)е<//@ /-T{>"iqث݇[QcsDVQ/@8V&/*-ٜ$i-F|e}_!QFt;;XN)z'c/Z D%Pp<`}D=.wS|U9JtO'Ykq|lQ:amH!5R{!k0`u>:>At!7sɟDTE`E6LϰcydNINe9OWomwgIM_>']8֌ziy&bj-ޢ|@ (*?iZBr}ѸN$r2 1 J᩿ m)$WӒWۼ1e"=wQ\\?=jR `8Q 0k ^0_-"Y+e328;u]oKU7Gq,v4"NP,Ab4K4]3Q/)A)yjN;2p(ϜGVlPv;;VR7>_fc59,5+?9\9I. #V6Qk؏2L#;<$Պo[gv@.XG["`FDBV%]]џYknXq0~-K/Vx_%JD\\RbCuq7\03{Dq;8{,.B۵Q 8@'H:FrY#c "zɫ fHu7dbJ$x*v%*z#{iéXYR,hEHݽhZ}ݸ%욐'&sf3胎ؤ|◵k|=+OTWs  bF,0m2 6P)`l1M Ɩ/ї7ڿu粨C>իiZ/LD];:"r:e/RpRy2dĎԑl~8p d14iSٯ㛮%㲐cN̯wdC?fR*˦Pb9}~~,ϊ_N7!.a^ 73~Y=UDJҭW#nv.(TUP30t vXtu͡QRfuԳL-ƶգnaMn^;KٙlBIY$9:h"+0P%N|"1=bʕ.ŏ1"[osM7ZP E\`km KFbsW®<}JER*,C,~)I, n_'Bv&f5D-zaXI$*;'IQJ֧eIIߜ?hE yªD_.9YNQ(=p&ԣp;2,:6+V_KR@S/ lح`d}ZҥE}cIֆ9 ?,4۶3@ ~S$Ϧm>vU{$7'{[,$[ O8N(;`u_Sv"EP|+'ɇ)'[1j!UT[(Jtߥx/BW߀ VVJTct|K>֧K#'_v> 罵pm6"RJQ֨_ݐ&DB)J험,6&Hnq46A J#dӰa;~+QtYYd2_% lp g5taPԡЙL. }ALU./r rx݁GTZ[4P,҃ _ )S٪eRu;lSl+6agòAk ъ'0#HnVF\CP^'apTEw`*n8RQ9pv]FMVNG%zQKvPMQ1 s?dU{0$njyܮâtnX牲8 oH}D!QcuM֩bLnP2~?^sB^<쐍(WsO )M r5tbAņ0/ lF/y[eT J(vZ+="MO VqpWʑNÌr#8Zed)m4JkϚAfM'zwI"ёrט} N- *E;sn`"D'6q[o=E:r.r*𸀶8[ eRb嵴,IL^k~e8~e9?T(|Ai\۳?W]4!37{Ӂ(4mU,^(7Huq`7}|f*L8YQD` w >8Уk.4Oۣ+D:YO*-A'w!bI*s F- [- (+C~|RZQLoMO-_L gV,A'<4wY_{W9!g^nҶ 냮.uPͲc!A5I`;}Y {[ \B:EHUTZ1*zEAM.5}ʕ\H;P`ػ). 'Mnb.Yɦ7|Dk'y ^`2tˎjZ\B @RE]H˰JG9gYZ  ) 37% dSigma_Commit_CryptoHOL-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 7 3k% LSigma_Commit_CryptoSigma_Commit_Crypto.Chaum_Pedersen_Sigma_Commitdocument.tex7zXZִF! -#]A-MՋhvG"uIBm56R G}^)KR#Gk1JîNwBۦ1F7u*QOn8K)PW׬]F kNxT,f%E{{Yչ\T 2qz;4?QE~5)b)eМP pBjtgm]  &n,ѥ$Q;S#(5A&oYjU3ԍZD ZctG |X ez{kP "A=ŝ(N.n_zz4_x{KvUj++!(Ld49D#6toh j/uQeG0F#=ĵIb0и^_:jKYit/!SFi"d 5t ZE(dܖ9'>{0yMI8i41f[\M$s;#O"g5}JTQ -MS]-/B7>D(Ӽ`n%Ͼg5a疑E/s;ryn|CjNE"HŠSM>wc@ֽj 0HsOpZl`31B٨ 5k"LQ"᤹`2r,N){;)J6DbFhͥ؜c;s-PI 4-Q׌9da&x9?! M"cFeqcO74cQ=vK1D㮈 h<t$)\f=xP&VGBК*h8܈<`$CV*0 !,vHu ˨lWuPqjyJ[`>w\& i. RZ7b>-?ˆq/š!@`~11Q=52هF36$M$U4\Y pQ*F;fj [KDΑ>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#o.)ȶ-t8ኔX@Od%.V [|fu| ɯmS>@?Ŵ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"&%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 LL% 3?% TSigma_Commit_CryptoHOL-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 ,vZI!㇔駁*ݣ LdHTLAI$%$c97wxPeX}_S ?Si V;<=ȭ?ԫ'\!t:%^C %R2Z2 c.eRd=K :\)6bޥ+e1vi NjݦE]ok.Ʊ*=ܨDT^tv0E3-ڞm`V{8oz|RS&bwu;LJq%a듚S+bp  ;b Nլca C׬مgo Q.2hDP.ekIB--B 3[)Ssi'MU[w~Gtԑ _@K.5ݐแdAxs(VKP_3\ y[gO$GY0'eNw~uQ9yY8SDb8~D,v}\48-2ʮUuYWD7ndvFmЅ`{' ׁj^1ߪ o<\Jc'a-4[£/ߗ L@3J55(v26$\+U`֢4/j|${svͭqJTGc;9upfˉ zB@1~kLdԟQzv38· YJ*&>-P6SiqUNJbƓ(7RqCymi5V͌6Ʒ|onNź5PɳM;'zV˅)iC3#g0F}]]F[ME;:n8ר8b(c&*jTq4 ,l_UK{ȋ^:0/rZH+!߾!9N1H2UyScB/jX jaҚD'w1%#A#?NVVXat>ׅmmdJL׏E3EmZ2UtUgƱ:Ү.ԃx̂)?zivj7Slu"DCɜAІW ͼ\5w5I/#đS]CB%Rx&!gF5ȮGa0A ]PZ!Bî+OL-Mejr Nt/y-zFn:cZ۪wkĜMg(6f Txh`W7/{4rOH`>Ev(4];$)cG4I H#H2;EE5rrLn OpێJk-{,LnHG~ \=Wz>@s&GFr#Rvi*į}nٮ98k*Xq]X<lfajmU_MjS . W nNC:mNpn3J^;c4~dbOjmU <Q힃<'f$%'EaEUpuD**p M]|'&y%~3tb"K@=, QSmG?lM#f*8Qwƒ˩(z1]*G>SkaO]H"A#*Ng:8P?ask46Q1`f2cAW&@Up͵uO +cO;Fgn&@e㷲_ Q1ai8Pr$-͍,ּz/(b!dS$c\sti ,{|6%ŪIʆ0("LH=bHJjJ,2--Տ`AKU9ޏDޙAm*Q rX3'/ⳝ*GUC5ZEADn:8'@NkM3"w:ލ1+e4&l2\lG `Sg wC"dyo}oE(M_چj[<wg?Nik_4hF=AP?9|JMK IDXs߅]V&Q@#_ 5wȧX G6$Y9x? x5RZKrO&QhOiVEѻ\-ql:jqhyT3 c4XYW G_Z?O,CoQ+:ԝT|LwTh-t̢WV aAbbR1Q՜D#ocZ wN<b_u] I+E)p~³ho@eU&pc%}hP=ǂx@=(pG yQdm^-V\ Sã, όylFH M 2RI iFws+CR+k7@9tM;\Ϻb^3sn7MT,T|7ik.C ֐}v. Fz=56kJ#V>V&C @鏬iXܮlV$5g$D'„[F/PP:1\YvEcɗTX@ r' B"0x[@ 3g60h$9m(.~NX wTY14޶ T DH}u*JevVܮUj$,䎧g'/ L4Iq)Iϕ¥. ez]8DX/U6ӛW0k61C'twkRf 7li$%mW6nz W6*'3mKh?Aye1DRt\VPtLXtg#>qyI3:" F-\! =m* #V W,JDF ;J zMXs߿漛~ U>s1CxAX0h j0snDPDŽl2W<*̈́LL׀WMުzsŜ}<ˬ5t//q6?mZA~ Ǜ*˹XĆՇ2vrAKI'gjP `&8&6/1ǖt ]5{~`YͳƼi`Yއ,BӃƺ QAodVI!1\wfSIpRUY\4^]եnpoGhk)4bZ xdxRz6"'9=2,Eu%;ov4Qs ϔʀpIzzyfHfK$dUh{6|֢S2gOtc D튚w5(5(?V ORs? oJ eM fܭqhPBkcPFahj# fpSg X) j~U/lۏMhaH ;͹.:uyg\ ~~<]ٟ (|* }/$8,2{q! ke5o60N+gYZ ++H 3E% Sigma_Commit_CryptoSigma_Commit_Crypto.Sigma_ORdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤJGqpAcpxt4pB]'5~'EBT[H2#Dn4qJ>BCY_ieB0A1&Ý$q0l- "!GFs Lv1kEa: Bw^Ql IXpJtވ`nCZ"`v!+hl*jOzT7!=v}hduEZm2q|K4OH&6d!zJ(%TL$  v:=}Kظ%L210F *YR/r_"bF j3xL DžD4{n E/`*Z 3S% ,Sigma_Commit_CryptoSigma_Commit_Crypto.Sigma_Protocolsdocument.tex7zXZִF! #M]A-MՋhvG"uIBm5ȤJGqpAcpxt4pK.@.VtNk} XԌ4vTI?\&0HojU0 KֳR ͑XJq)YNA+h}sI 朼qK)`3mbΔ,)ܥ.{~т@ȮEm=,p{A^].kq6-˒*'6vNpnJREP/ǂ,V\>H[;o|.(ހڠX)/ۦ:F#HSe\MJˆͤW2i~J0Н"Q-Q,bbQOֲr@&H7j+ğA*\cC| m @lM,n @70>L`o-]VĈJɉm6֧(AY8ũ }#J GХf%mS.z .JQ |$nDJc.ko,ٿ4M<78㌌ζ׶^O!GvtJ 55W^X3kSU 9e}[X(!Ca 62dW=/G>Gd2ԐfQ@ .Ф@ˌ[AU 38z>1(n$}ƴϩy/=u|R>be=C+_뢀#{eΥW㩎"yF 2Ei*I<NB,L|cxn7s`n.NMd"fe3E%:$ g%f#_CLHņiƍ[ Lo}o;sZ^‚!'5R]0K F=Q}AdB؏=3H^Ltf3OFg;J!g^,9)a~&_RքÞ~u9P}הDc> B``ZSLU+^_ Y U]:* 3Jnd"^Ayf)"`}@abҰk p%3=yIeHժ}r>°70D8z:ò-ho /'i{琜9yc80(? <ɹcMz@rL_Sy ae}ℑnG|y}٤\ \̡r7Hg~XѴ>0>XgݩnED3Hο֋$!A҈蘧96GAȒ IoV0qɎw AHA-rΛY^1|SpW9OϷߠ0hҹ+rxVWB|J(ɔ]\`w"c/w5+ARSePa8 x{,?üNjb)vx=gP\Ăx!\ XKH@ޛ+}aCdԤjaHtJ- :,꜆֝P,W(衬َSǠ\1("#id6R# ˖#.p9g*2w[n[vmDߚ* 428f'QQ{AVDߜ9Jf3Bɘ=б+|E܋f-XfR;Xt-I8wT?C&f+d(14밑@guE >.A2\/riI($#KEzs@䑍qoD tCʗn4MLL~ D%479 p|G]RGn=U :`6DvO҇yr|سNkqX~)=?"w꨻|k6_2 }yuų$`獝4gl܍Yll"{#^\ClLc>u-{ݨ/7lsrgó4)͉)T?6]+]?t#Pn1țqLPpߗ.GLq#L np"& :RFĊf7 Nb/K+p,Ηm$|;Z fWzBh=*{,Ng2P zjt *}⢼XW6Qb L2 -7HM7@~-;p]7 ˋwҭGyA;6p:wxhFLA|\tܺjW2昺yD̅$93dX[ܢD@@m?|ON jz9!+.ٰ!&K?}GMacMGe5DtMއsF2nrD 2&S-X0Axol̼$*Hh9&cVu!g(+ |yGlJ\IB>ݝa$&gA9g g+]sJϤ.p9꨼00g/Ne,kbrLKMIX32G/;%x!AG uf@A hA\oʼm";67U *$+ =_.?qk7dl\ӌ L=F"^H[;~@lMlHmhBגtg8EzzqBNG? b3ϯd\9:&Z JSh}:ml8B}|dz:8;Dl<`3ѯ((By1_yɖ=}Zc:R ɶA"hM`[W#U(F2T9EP!֤0{_JK1Q9܌v\MG;zH Ս8GxSQ>54 YW7nRi-Y%W({UHk-^@KeƨJvpN+Lv!k؃+* B{VK#zmUdJ1"l./jvYQBv%gh+׀,muw4,ףr5ɔ$.Aj l&zF/൝(jK !-< ?MFr!MY589;<|)vJLqݏ@*هxͣ`T>̄U]?~hȧ66z%t5L.^[~VŁFza y5#G*X]DFbn#w,XH$c\JnxbJQV8kFX;\GK4Ȏ۷,8ֱjрo:Z^kKĕS4qj72 ϮOEi nPi@V@wD.:Vf߼\ւ\] _އ"@k)9bRh-ccyڌc?[Ipœ:CHWjQ%[T*a3iq-9M ."_$i)`EMBV'ԂЀП$}(yb6\a'>Vaq+훮22FT:#vPX3#R[S<égЇC)5+dr#ݓPn[EIK7)1 e]/XH.n=6q(ХCĂC\r.q)_8W'0nȖq8 >PƬ6FGA^SYA4NvIn& w0#i[ߍWp2ZBa-@3%7D2o9Oz2# %>pww6ds eޔmy>=j'/FY5po& 1d oHꓶSe|_p[i*/*9.$28:S@+n<3um2eˮ{+D2+%ܻ W5/MlAױ 8ͺ4ՇoabY!2 t6pGRLW¦I̅L0H,;}(7BT.F ~@9F5mLTFJ]劊d Ѫ?~<u=27GWFd;*WgPꜿ Um,Bg $ &3,uiwD?VVL@ʧw}nm v0:VЩ7m3DlpG+[_b0}}I5Q_5#%*t:ĪǤSDpmDrn pDaRz!ȱ^*xr6Y&^&e%K-ẻz>T1b98a*>.|%~V4"p/pe샀hrmg^<2C\ߟuYzodj1ľNbLS>CL<^PL?6t [pWl4?ƊɀLK?MO|xd6lLGgF"9 G F' ?h)C&fshne\/$⟰%8V" CZi mJ|1ͼ\1t#Ǧ=o) K脌Q37% ,dd 4< LGwة &#:%hv/Ц(syi^$6]IW~mCщ;*)NJf`ʎȲz=qK!Lɪ`g|HٲW>aZ_qbQ<ǩcsԧA 7!Utk&qM:Zte G]gS/hBP =LbH )ƝvP2N;#E;i9q+Zm_cee:$OV X/#ނ}0xϑLZ>TZy7UZ # t=QP˱' ] 4#^O1Ud,5iB,i t_P+Z;'^1'm("Vkot3R48 Jr!!xB,Kᠾ9qiU=\ ^JaOZiSMxbx WI-A&ӻCyl:0RCSL .pp29:3T#3.V`0EsטV,E]f"j.m_}&±HqE@^׏G0dq?`ugO`X-Bds@̍ &m˒$/M%HV!Խg]GlΩJbf(=b>FaxH\i4A3{R& (P./heE"iI#;MH:J1)t{,Q=iN;:̋%r_Zbj !dw19'sPs_v7welʅ_dzb4" ķ}`U,bÂ3,3iT= 0Lq= B1ȼLb/#$vE0ZNj%>f43N,It˒~ޛ*{"#;(@ՃP{wRȥpKIJ֞D:}yt&"mFNQ0jTʿDst`q[V1xA3XA'6f{ LQ'|1R1$NFϱ{$~, =u'ۊtC]+W7)>+%,T,MZY=`R7Jaۣ}dbn/,MdUK JJ|#[!(5 0財:Äd}I?h:S*+_T:WL;D~_˧U)KLkbvc^rMkn͇FP*VQa(woP'apxe!YBUQ;'M<3Y{v6MG;HK-$6=EXmQ2 mQO#Dl֚C` 2dԅ+i:[e!ˆ\`?.V#6^S$3#_sPP*GWq/s&:{}"Ҿ]՝P=M_x#qj%FyJ43 IxF>nRɁ&4g!r:mI޿v[.*8=qYPM&(KfGڊD,S㌵=\OG#e 7$^OL 74W 0q-y␋(L\u0SBL! il$sa4?HѱD4Qe;Jȑi zVy س)"-@O#C0>_*B:V.m>_ҏdtPPHSa8T =o#jH,f_1J{bG>OƳl#Ӡ0pSx R``!s !mL=+;0s_\p'Z n-.>#^GNsg;lY%s. co 0U?/!%˰cA}C"XN5.k΁~Ԗ9L&V`@nFp;џ=Ae*R 5zqbs' y "4a*sSfk DyS)tAȐ~^[][!D--ԉV*2+9@L7]` QJCY50>]h5\ʘ\J*͏)ꫛ:PInؕ/Fv\ߜqioDpޣيrZPBsMRy#OTKxu/mnz&B8UD^fZbYf9ܾ̅##o޴"{yWQ0:il!|WaM5N*JeEXB `e.=1|@ncs22wJX ~Mjw /{yFTjxfb=0IˡʇAAm4r1KPTUp/JdD-BTKz/`UVؕ 2d -oBS0OUEdg:vS.X2-_JlMG[^/ 6N+}ze z@@q# >̚D7"QX}]1+W.xDxw.Wr!q3;~,RYNgOJs3Gmٿ ׬982$'R|rlfoQr k>8P.VV=XM 5'LW@w(F-%X~Oͺ@[?̹YK=gYZ)fg#Q M2|Tkޖ}`9 ß6)",mTdw\D/ek,x|]&%^e%nj`Wb А<>R|#"14ɮ7kpH5$U.`p^nVNT:Qk]V!< XyHtjG=b) iɞ̚))꛵kJ=4+yWQ?8w^fwlT4ݽBj:Z{"OHC}q7C'-(- !h{ڶc `=κS$J_C╈a0lro'^6_ۧYQ ی=p^I] RPG.bUaλnl*giؿ׶04avaeS'[V;N(gc 26B*e;J= ?_D(g|5THoO#/6xoKw $9YB*uNt[( ܉t򇅮ql}0=YfU1 h桃duQlxl.ZYd(}#uDuЯ?cjrrS4!}H$B2>灙),J5O:dLT7aFꭾWO#үX7;33:hNBQXp*G0n.+'j1ZkjtܳM x]'M֙#7OoqkISf[v'K kI"35Ah gb4ex^؎e%+ jC*(` ;r]s ^vh]Yio4LN04<C *e )T .;fϲN{E|Kegor[/é5/N2Vd)Md9-}UI^`ѯa2%>]|@H6 ͛jC?TyRQ;雂L:=Υ=V"@_]ߊo{sI%XM&8z"@6mUܭ~VmZ&wPIIPSaH*'p_额*Y ']em**.rVSo>FX iO  /d*Em<5)h$P`opjh#R m!A_\* ld$|'^. &6S9bCOGݵ['d<^1NZu9Ex pǙ)"^l_ ư r(/)GSaIv9;iO[I62PհYmL&IRpfGKB޹48W[}9@Ҹ*X YA^wq@v΍ 54ibu|/ OH2s EAwr#&wZE 9;,5FvAVثx~MX9pJA!ZKٜ16^eksGoNRws-xe{bIk VOX% "9B"q̻G.4Me$*|3']3 F0'cuTZq?{z w)д> sh˿Wp\~Z^B$q) G Mdž>BVeXo_rrPp8=%dB(p}lj( +u%秧hEmZ67%<&*X|oGb!1ɫ^.iB|7{[+1Zb"LNGԶ@;>+*Ib[^74ǁ 1M9PJ7kl31Y)#AT:N EOC^L"̠iY\֤BK:;RjKZʗZ_d[*Kk14CR 7A2+}YkvgcK쿙Z6.dCN:J+v<$@\GQWe-r@e"~"V+8$BMNkLf(Cö? LacCtvg6iQnQihGŨ$7CJ}D9(Lioo.l b|鞖G U Cq{TS%zԆ+\{_t<ϻ>"jHn^8@I{2#DAhD n ;C .m1EYr XI~_Ӫן\ΆʈUJ-`(Nr@,T{|xxp|fyίMq!f%& !L82F |d|6-&c:UL9/O_54Ǟ6hIqHu*C5p.(II\.\n0r f[ѧA ppw]Z7j)ߒ/vbԽ ZgwUތ<&L"o61wN n;z3-reXf}r. Bloy>ig)ɱD}/Q܌P;䏼6 %g/l pk.[$h| Nǚűhl8Jסz ЉV}n)nMYҪw JJضό+ӈ"Ȃ?v^^qNnXWr#R'T!^zHzdy&߿ o_<[녲(?0"z0 GtiG hB8,3Ht4 S{1]Fr֚O:/Q/oۍ6Φ+I Bۚ).u #7i?a^r:REչDeLwCbuIGn4(M]si-z]MRW8O'r!/R+2@hnNA x@ jj.6<{55es Ζm&nQ$wCp;R&5A<򩓖>Czm$LnJp8%/̲}t&9!DF$eLq%έmCJzO QYv'Wv;^ ;+9@/d|eV=gyH#(򧜌^cky eQ"'aqmUq+<Λ2Zv³fĘl6#GʦVo2z-`-gLo *A7\j8 9 kIt{d%]ƢoP}tF!ΐ J1X|9[ƱYbsWKFV3e0)=i3xR գoWfcߋ+ Ԇ5Ǯc ~`hԱh,q>uZey;ջI'x]*YԏK =/ޫgYZ 3 3]% TSigma_Commit_CryptoSigma_Commit_Crypto.Schnorr_Sigma_Commitdocument.tex7zXZִF! oF]A-MՋhvG"uIBm5ȡ)9Ԩlڞ>vB'-'9ku f}nc'~羌cRRTH3uǯ򏇆-[97.JETym¡O$"M"u@YzV{;  vB*)V~!}b@8իtYui\sU `bO@xʉjV4Syz2+f~D4o؊/A, 5, ͒RF9IŬCd;S5ޡ?m [! V1;0C/eklOJоnxYao5"XhoÈ:2sOѥćR@g0zyOBeaZڇU<3*Ľo\h%{9Y.^-Sۿ35}7 'q k{^uҳ__XY:mHҸ1!7zL=*q#]5~Hh4/lhL1|Uӽbl>-齩1W+QWt. h%Q)f#kMBvէW5g~q^N髀0UZ노rP4E-aa4 ܿ6݅r2:ma+_TMg۷kqx&ȋ)Y:ߢqv#Qz86}nS*%:E`jXf<"V~Q~(m7ȃ уG,lŮ97l=+V F"Ttcr\τ[OGb&p e\coq} eB.Ea{>%p/M^˜. z :b}@$.(8%f-5z\k& U9`df(QO(FV C"uC\K}i^\bq]'H%&K}8`gsIV/7gA~7 Kľ.5ew :j+a-ƛ`sr $\ t#E1J Ž-5M'TpPݫ Bo:v:@eҽ y}J&ꂛJȸx|MT"HֻP6xtڮPнht[Փ#|֙w U3|}.AUvOVjRhEY\Y~fjxL.Hذ4Znlp2AO-Vit= *@k \=O#jNڄxb77PYp+Vz{p$qX!QIlɄH·.+s͑Lr<ȊAO] iR+Y.^YExbV^6xÄ <ǩ>>5Q6IV#dMv7'-79Am{DНt6׋ұ ׻dEcw#X&}Ra.Rև*`rنABBN|)r@-yTF?=$ĐK].Zy_YI &pp-q}vl&CLvsbE$[eg+f=? /w0˩l^0{MZW|vه C/.SFW,t$,0t=e;:dHTݩ4%;6*TxP(;;Ku^.T#,pOMpb^-s1|\QgS+fnrɺ|WQ 9O`ij E|aN!-|cXn>1 XNv'/i'笛]Ip61?ƨ *ެREXקݤs#ȭCw[wcV؞t$5$zGD q=LM͙(k(@ƶG)37oHHQI2PR3T*&UH$4BHy!sl|?I$,J1pj#LP(g2)\_uVAZ=yb2_nhp $6.xh Bxx;"DUqQY$Z M͢t.gU3Ue@ hg},_N ZmŤ_YCw@dowM~,uzgڽY\ҽ&` _Z!-+v#OGerVK6 OmLR[ju$ 7{k NQwh|/f1VYHWКU-/0"W䃒7FEۮK΍C^< ΋*VQk]C^s RIF6}apyl{k9ݫvCL0JUFi3JbL8i \Kw\g0Y+U:aEߞ܁+ܨ !dQuròi4 JYR2ō'!;5HĞI7:4]1w,v{@o尡<wĎ3_1;ۂT$eiCK2c8Ykp+x  iU+>=><1lű3f瀓G>rV{A082c^$Y nG9~DB7Ž;Уħ[OKKo6ޚ5.9wKe3ítBW< R}Mbx)ײtv2@q\ATҜYJ@,L1C΄ Y(rc(a"H q {!ٮc%yxB0F*^}-Kqi~O,(ʪJk.EM#nφqG~FS=45Qr PO%Pi@H4Sz{"3ɣz爗@c/mzfk^-&]KzB.m#뜩.$b#C>u\ÂU}s¿(+ӯu]>^L-ZMlRNQ@ӗ-#/ _h|pR}rRJQM*F1w)X>@z hz.;=%p镫=A.xnY9aJ0pX1v|Ƭn?Vɳ":^q9A_@3QRq7(yTuA){j^RdƼO3Vh,{\"q2%wH76¤j'+jxV)eYvn(h'ufq[$GOݥh L6LY1~h^f0^.rtr,{(⵰k+p`o׺`pAXdəVltIާw K$>G`[+=\6gU7hRN%NJ/l6 `X=p ~Ov<%RJ6hT~`I:ʈ8qrb7(h UƐ7KZD7LVt H")"hl8DzC&'0659YHu2o4R8PBI7'x*w8.+1}/k=Fm \hꔇ 핐?R_Vb4~?}oi|ش0tWi@CD9!#%fF^oRQU|$Z#okĦ&A|8qRV5c>YC0? 7jt9~P;}AԳC7 S^XV)=XN~"6"=i#U6܂w={uXm,{QU!n=r%o7w҇fLFnkxmJcN3QYۅU{r#ŬP.j\`.foPn}#:6ILU_iOtڻ|N#&܄[k pU68Z2!pZsj"]9 L{y``g;\h[-W/1OyFL'K2Gcv9hktZ?-7X5x O> ӊA+ִpgvr*Sɰ_{$b8XѰv (xb̲ eTHg} wH}8yzπ-33dUkBotzpm5=i&0 Ģx SGBg;F`Dssn,se߯ԩ4뭇ʛ?PCe p&"5VW5;Ib̢Ǝ( OݍW0\ص4ˤX6͏^^uciEx0_fB94Τ"DÎAؗit~xF( y`G"sncE7`e!" :$&dC^w/zAU8#|߹sq Oc/l&S[GӺY"ۆ/-s r']I&Ϸ,dSGpTr@G _9g:m^蠘[&jbH̓tɵՃ,M;{^1دX׭cq p?  zwQG 9ZJ]v%\1Kkc_2 x)d]b@?\UΞDVͧPMݼXCP" ״)o^eB)2*x֊){Qu`#`TYRF(r' 񆐴gg]D̢!Vط+7=>t"&HmAN`óPxHa{]\[_7tCJa 4=>:C+G|;?, 0pB],V~]?e`"űTE{\Mc(qп5<9\f2HpR82E>* 7ԡy,6Jd+i_> %J)6RـakiO4-i KZ,B}#Z*'c'dT]ֲ|K=nEaqUDw:Ѭ\6< 뼛\5FRMO8Xh'b:ygSJ1I`Spf)-8@q yI? =yu*)à Rk;+Ӛ{5K5b[Ć*۾ sma>F0f7¹h)"iO4̻~gYZ ((M3A% $Sigma_Commit_CryptoSigma_Commit_Crypto.Rivestdocument.tex7zXZִF! ]L]A-MՋhvG"uIBm5" OU^@ ROeR&VWŠV6t`u{$qx$p^\[Gz{[e tA 5Om;riqɿ΂0Q ML!4Z`}[ ( 9ŦcL_qc$̡r=]3x1T P+EaCιqlc8(MTS$gQ!VHHڭfܨ/5Q|\sHp`t!63KoSZє wĶu߲6 R<`uo/j-™B "S0ՅŋҷOQD$ iIhB7aܱ9Ʀ&>nIP8\s-K6,3KMIVhe+ñ0xxBe)M߻ %4`$bO*._$")&PܩQw=5,P yWn |UzNX?UCvo0:fēFOd6䂢HrO{ӡ g槚հg dE.C@q#<ʧ&v :w;p7W5}5j8x9Hǝ)AYi)H3؍⮿yj<&n& @Q1ARI׎㟌0Eʇk*Bxu 1~3xY-N]iD |[ X`:('fuq hF'hWF870fzǬ0 ĵtl{ :eQk)-=фgE~p],cwI~|*wpXj«"fr4]:Q!fTsNGȗ tF߁֏Tf}RO('^-3ʩ07NavuӶ':[K`7S FsQ&xwS_~R"9 e.162 CQZZ_"BrW! rM0g{4[#ӎJ "cɜ{6k3sՀ?74?Af Uzݜ?c?gr 4j-*A\AX$ȓl=.6c'jQ:~DF%?Lm[ ?o-a<3}T~^ҵ=SkkYU2rUy*?JrYJR 6LLq h]ڌ=-9ѰW}UYO,QSYNaZ$Y=`!s!0˼Oߛҩr͓q[zտE&VV1Hj/ˍ xV1sP:;[N}lnЮM[ L $*?/ H:t1obUZ[N}G2SueOJd~"':[iX$ Qy@U?&^OjTd˚@A6G^t$Fu9IQ諐e^\jz-4:G \yt轑xt:˯ҧ/N*;Q2ϴV LCzGU#"5xG11َ6ɢ)chdnw_y"I8/ᐃ`iڮ(h}=JMOdIm{ *RYyFeO{Oš NW!02ɪܬtemvDWOac}=HԟsvႠ^_,oM,D }Fj: Be?au Gd :f,z&Яey;gME޹26CS.M`l 4 1{]` }MPǞ[K'sZ'`d).<ќ>vVWgC38"Y5ʪdQp[_|`EމBGccY>L>Kˆ`oYkީFO !s:z$N77D@2Dc%v Z Ϧ8 3nd,k$REK}hXcv"_?ꪩ"A4W)W u^l ev ;p8Z4cƵ.7Hz1޺3"VyI̓By;@;ұ⚳RqH}Gfѽnser@n3)B= t ]x=跇M?k]@u&7KB Zsk^U+2dOLKaPLm?P.0.AdΪ &k-ڞ et b-7>21H': KӖF/]ƕk,_|T7uNFɿ6ۆz!3@S "iS:Uwb2oiKƌP@$?a`d&T ڠBv$y#(Km@PȽO/@:|~ NPKWkUkZ<"m>%pcHߩ&CpDJVpM Ŋ~- KΒmM 5W`ts.n[J8»8[KVr7KY<4wV@*L v2US,ji]<ϸViM˞.x>ͫ#]K)N:蔬BJ&wV.şUF󊙫<>|Ʉ=L4Xv eQ+^9Fp+H j9c݋VO^^7ZK m{ ։kF+a$i1}yw6^#>R=mkEAvy'$#*K8asGKŏ2lDL8Ȣl ܫ҇ JrdRjE^#B+黚7b-_ۋpWR*_ dN>ow bE p] ׳y֙4'K7RYy ڌq?X[AR~.,?geάEgP'f/{^ÔASEX}iY'o 7rƉmIW:9=7!wb'g*@3g7Ԯ oUр iDơW WY Hd2rPbhg;ߴә'OB g;4-_KqMDp&3;%fPCR04/%M8>-v9xdfk8.Ni;V)#([IjƻݿX`5ICm`/ǽti>۬Ud.mv+0 @;e{-E[Γ=hT^ %SPc>_x$1Nl3}K:),O^V g%3sʗ&<ݜzz YGoO-G? MO9߁&l! VnYc?φEkXvXR'A-2L yHkK 6Ώk`lńy7j38=|M^F>Xo:|METdO#/pڌmxN))_no܇3C' NfYnD(D֠9l9ؾN)}Kz ]5*Nxidgf_!:{n L'dr=uZba w4K3zT8N5J,qv^al`v@L}ESUm.DDٛP\~]#f?pZsE𧩿^W kaT&Q}yGyy{_wR$5P|:OvHF)lj~hE_0DUs<':>*ZI\` i|NaW/`cYB,d,P-mcOʠ< -G%>l "uE3׎heE)6W@f&4 h6pbi֊wKtɤhCvзE5o#D, E81} )mSB-L \"wJ+ =}(,S"/P< yΉa;y4<0\ILfyjװUXeV60o|V˒T+ͮx ^$z:`uOK(oY2gMtYVVqpKG3&.w8d޼p =XMB@BLRrJ#B7 t2>^M|O7?2v߈R"B3rFG^\AH:2çsExij!Es%*zU ĨL@19RMO]0GNV?vJfgE{M%˔ײiV= }='Z^M]-WUO͵A\&@QLV\[ 7u A1KKF|X(:=)B6 kϮbE:n9)ߒL#x^o\K9K`LL&ۧ9,8D_|̼rWH}˵܀؄v^4 *zAP`B¦E/s'SL4ގh=&5\Qj;/=n#/̀kght 62O%Z-5RoVg>k&j $_ FW͖kUfh)pۙpΐ67yMA%yw}+F筯&^muffpFpϤquj=HzsflwA#0zma;1[0cT.Y?I z \U%b?Bh PVX7܈fk _T@|>GլC߁XBZF58RmX(sRp ػ) d( 3w5#dɲJ%z@yE$&0mu %cY ؂&TO9lԀ )&:;nrz18t˯4V᾿w;".>0o}ퟧn.N_/(^OO2 1"xa¢Nq ѺB] eiL6aD)/t ?1 <XKdɴ,oR{ )a9d %S" (M|X(o >`Kq(F1??12 =p_o!R>O:Csf-#R-sgYZ   o3E% dSigma_Commit_CryptoSigma_Commit_Crypto.Pedersendocument.tex7zXZִF! <l]A-MՋhvG"uIBm5FEɃ\_|Z  pH~{#]nsش<#84d"T+𻖙F< TV%-ϰM1ɮWW3?Y,㼜l1j7Zg~\8֡ B=8Vd9b|t EcҁG@31Ӧ9FRop@Lf`z2(L:6 (rIA{w~&,rmC'se{?pIgQI.XpHebjkl  ?ǔ< 3qF&DtA"3r=¡Lp(ӱA;C1ҋx~Au&RZ Ifޝo}rx&#kfW ^/Efn4T)b ˣƥvrࠥlɜKoT00@ :eu۫ l4$MyVfl¼IjnAС.0ȪsPp ThStD>WB:t?Ͼ,b.xTܝިL S/%eM]P!Nz:8?LPPޡHh:A'ރg~؎crjGwVAuHv9^n^R,">]1ޢvRgp`ƪ~>- _j;ҽfe6X8KQBF(6O|ֹTXnx,q0fƵ1`c`;Rr!Oae0C_xRLiSƌ+˟9c՛>Oy<;IgӁ+O[eF &o_c*W֔PJiᘯ߱w?zT_oP?g&,ᵀY'lL<G}-= x ~t }-XM{8,~L6α&{܀<aL,cZi i朊@`[i+0,d>N[^+OpZa93\Ec{*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-mE3;% Sigma_Commit_CryptoSigma_Commit_Crypto.Xordocument.tex7zXZִF! 6]A-MՋhvG"uIBm5̕ *FqnV\{h.ߐֿ>`Tlw2X3;{V.k9Nr^]wxR )QTDӘs̷>%E)v:D_kvg=[nrDzBг ʋyI3bj~|TAF|ȧt_|v}Ү/͋ ckHݮøTѧ*zaލ{wlL WQzh~/!Tib9}:tƣ}a/ŗo^ \9eB*r.[&xq@ݸSmlBvJ!X9$GA+&$c=/_8931% Sigma_Commit_CryptoHOL-Algebra.Moduledocument.tex7zXZִF! ֖=]A-MՋhvG"uIBm51Vhحg"X;f°}ktCY:Х<i \QߣQM%u@ěk(V:#ɨ1@C8 s1Y?^C|IFF>Ú"!͒rJKo-ZǍ=օRիƺ|dan18w/tXRC2>/Z4E @qA1.dVC5XW2'ɪ <2@c"'-Ո.GiKPZu`k ״wdeU4f-oXeHlyrZȃ&wyk7 3A% Sigma_Commit_CryptoHOL-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:KERaOX!"^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/26.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@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+[[uQ-q}UM(xD+b*ؒ7/b!zF7wbZLoQh"t$P{"  $|XR&`ֿ /f(44'QAD$@{I ϓںv5ڨS(b.nl(P_5%JCk[P9FwgS89ϡ+ =:+Nwl'w*_&HpP띉*ụj_̣2ʂ=YvU|*˪{sv$އ%E¡7@ZXf^lǕtZWprrb^Pg[5<~s䕄,-HDu[ƷHMd͒$U$Ư΅$p~ul mJ$!a֡gaw4,(r!0{ O 8avhWD/΢՝{808uﭦ>O[pXɥScA^#2^x8;ggS mR;aeÜ`+8["w";)r2֔,|1y4?؍Uv}CYY:b0j":/&}83J$¦] Fqicޕ ][z*Dp}z8g9z| hx/}}"6Yΰj09ab@. !V5/V^GȖ2Nisb1V:+R8'O?(qT*{m`Q?ۚ_> Cyx'쌋q߼_[ 672ڼJ`%9$sZ|b"R(@}&z$?01)Bofi:ъז0V\"l+5-ͪ\rfE0boSBS{9BPXP|r'ƟWD@ MܜjZOTaG!ԸXngwL?ƒ<}UP-S4#J fP$zҥ<;WHE$+i8:8NrJ"q1\Z5PXCSl~MXןU3W. Ñ .I!Y>+j0>"}Zwp|Bk1)Sh񢸿~aNyGf;ڦWy ifCk\ R#sӿ壇#|#I}/mKQ7jZ`<{ A`=sH1mC>Z$]i/sر8gLx{sMGvH: ?B{^w מqG25 D(`C4GVn;\c|r6cL:q9@a&ʯR "!!lM-r=>&,5~ ǒRj{Jn"Z65Q'_Mtb׌4_JVX.J/ oh<'-wI_GYv@` `1p̽IЮpT<9"(rFK#:npYF7uK_gf'%qԕN ʤ+ @M"K5ba6TBJ8J#m)@F/=WM*qTgMYyb6Gt֊uoo|MLmqvx-?f\lmUKk)(bGR $lQO CݎebŇn4o^_AX; `_ǒ`'@hZ=( \^n_˭`JbcF$XPh{s?<;$5iVsst;mqCzwț>֥Gla~_oaƂjO>Iu{} rpkn4DnD*VGH3z[iB.މ/!-0_cB18OsϊNoc qTW^F}, p%e>Vo:V' &E{mUriƔN26!ʨPfZD`vmZS8-P;kOZQh ᾱ\!oQxJ[sкY_h/Sf36$d`f}K TiP70Z} Cu!/%IEsyVt+ ̓aY8‹j5 b+é9:=Le3|/K3 REbZW͸˘5r .tgBӛDssa yLOEILbop#t,%XHh ؿR,iQ;3)1D!Xx9S ?|յ1ZS+իm`]WCd^Z*&g6}Uom1(f(Yh#B8k;>̽lb;9V7 -x=lFD#2K+ɗd T^.~ c'dwoØYSKkÝD/TXw7f`=-zZV 93Q m6Z! $`v KڟDTC`g\Rfj7r%1fRNrQ/ P VmUc+0؎gf|yiBtNV"gpth-]JE#h8!l2ܴAbs3}ۏ X;56|G*t{!h+_@Ȩ {T#aޒV͒gpXmHw -m ,I ^Ц&8PO}~ՄIT`\CXtx򢎳BXJO v$0m6ޠ' zx$MM_,UΪ/kptTfadO3 ʁm->SbDAfiC ob}o; &pKz 5Sp.)c>2 &̓\/ jII<ɦq{R"\R͚9u>uo!N\eP-f؛[&zS6xG/ 5]AOQ~ˎ#/,L"E' cʳ;k@z Ȃ:U"CRytBщTPVBe* vK6*['?[s0\3ĶnVD*9"Jk楶zJ+Ǡh AmԢŤ$ʖ y@z6LUŢh3Yإd$OU&(FumG:{ȊkeXpJ*kʎ>K|x;~|( u̴=>ZC?oALg/^gS nQ69.Gvq'6fnh(k Ճ l8Hlj%WȆ3V$ _P%b~<+M{ YmUltvdO$ D=al0\ks]ȏoIĵo#=l,T[Qe!jPYhMgf/ & =8|ccǁ6&a[5 kDkIhu_czL\>]ST(kuA٨u59Hho :reIJh[`'uvȧ E˲p"l#-dXhGdrLAP.[-1ɱ;Uȍ<,YO%/vIwŽK/y-uӕ@ոq⺉}AOBc{C;%+'.YeWʍYmKzʾ E1\_P8T!˼:t9,ڱuU*Ϝd ']d9T!bHcptZw+X/Q \} #z_w3T2τGz ڕ3=WwMB`8`s@MztmC΀_Hȶ6B\hޣe]^ 6&P<05&ר_D'?4q1) w|{<=>9ehQTy,SG&֝~TО"poP ڴ5?M'׮i⴩%wئz֫gg! 5iHKϮ,MqJ6Ĭ ][b^Il (y"`V}Ov+H:- BY&0%5KlU6qw84y*h`DZA36U_-Tage;#yZZݎA>@(۴F`1+P/FbwCqZ`ga׵ƇF%0_6KNXk88Ɣ#DM(7!ſj;-kՒRGAP3wZq~{[^\V^j`MTSbD me{m=]xkýlGd yG9,pl>Ov렂]ʇ (b9*Fz4)h>@z21$ƄyQu|S:/G@VK3.kZQ yM lOyRWs[1cx,?f2y7tߐ01mU}torF@MZ61=!dartl$Gӿ84R8\IZt\>ھL~#N%׳Z3 8Jp|Y~:xQgWy 4b!Ctt`+,~uPKeFKW&z-- ;2h@jO۝Xe~%GU~rFcn\uc]ɒpڰ(XPHJЈ/i zj-N/!mE(ђkȄLJ؎ (L q!X2MQ:3U4skذh̜$9!U>@#>hG-rQ"JdA>,!TqԡdRfM7:ownYV.mE8?V~^F%&16λl%5ٹR-GѰ6Ӵ}V70qCvA ]:< 0qy R3ynI?}g ɍ/G\k3||s<,b嗈B%$9J URm9&NfH H 0͗ dkkmjeլU2[ITlأ]9$x>SCƘ*Rm3YiHsUݨk~qf %ĉؽw@WRʾ+,_KG*1Wq *tj/B cˑtFm\IiotwutS6]TEcmBXnf7Мt:2&y3=I_RixON֬]"|M'z~ahMMCjWZ; j}[۾b? byk""Hh#z>0\ % )AbO–CY45]\}6 ]7_L3eS)7 iM^t0SMMxiz"dRh=oN3%f3o~^a}+ewW|nQmuYA%к!/ђRR&^ԙͧBSu|x.TX |35C_Se"c[bwksD?>$0 pU0e1zos H!K,x# +sQ~ e}JG+UfHgP5lf c|r@1әze37A?$(+]> \o^bF:,<)y 6yA1O> (K5Z?_NuȀ~[m *$~ymA#F4%nmdF2)R~4m'C| |W]L%Uː<)65ȜSZ VLQ\ȄT| Ui?VV=N+ˠ* ?@֓2*U|u5uc& /v-c541|cVQ ůx%45D;՘.FfW--1 (O4&{G-u9z0;igt1UP{6É@IB<ٍ|F˜"s~V  j &Gt0x-OlXDB3)%M>fTNJ~`8ow1nsjBRFppwZ8yYǞR?v!ѩxC:v:`C&;sgeuDPẸ?y7}r,%W-H(VSftx]'3a3U9I^QuԪ@2rRNI=R󼂛aG`[ SWC |vl0/Fy? E<3G% $Sigma_Commit_CryptoSigma_Commit_Crypto.Sigma_ANDdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤJGqpAcpxt4p$,ծFϨW+¶?33+Plzd7Lt}ecKM&a;IZn["O@-,+U1D,4VTQz 5o-H]#GkUd|k<@HXxͅn]tE aFq! HФ2z҅%k?+`k"cUgAIy}U!P˴cVŒBD(aC _~ I'۲N@9sH餢xMYkHq*ګ#Mbtf"2m19t_/9M ^TX +Iz OW";s3U% \Sigma_Commit_CryptoSigma_Commit_Crypto.Uniform_Samplingdocument.tex7zXZִF! ?K]A-MՋhvG"uIBm59r>d%3',Z{+P'o?F`Dßgꁍ1$涠7L4;i$ӫ3ln^_YJKˎyr`逇6;ӄaP4WydY^ Zq$">Ğs1i!O<Čؙ-w?~^[70!ntĚ?N9E~G)n`f /;s>6.u=_\"_JM)M,JhfJ![7fV՚&G3pP=` U>14zsm״]mo0bHOVV5V]CM ]&[vS{\jw[N |q+ +@xJ%a[RhX秩;q`A[^(k3DJ{H}n9^|*vB~ v0:@/8e;c46,Wᮼ:aa.3D:Q  ukL SѼ\)ux,jM7+Cހ´:F`n4/bj C|6 \QVY-ԁ2 |H[5,C.88zͥ@=Ypi66< F|B{6D99Y;PJTxzOj Eh=%ki*׸qJᓁ}P>nw:gؙϔIW1S# b!~wԬRc8jՋg+_m~9W0aDFt@?u,+V% ^uDob*Da @n0Cc4%q.~&+o0A ,"#m.;rN'bn# ] ^5kyKv7t07˫MIjM·5ODH-P.<|(8b8>&D#xU]/NG-@^I dB`$>N}YGr@O/kszz+*m;Df|xzShW:ϳr4vWrz>((W˛6I#Dc[3P*s*AM4\(SuReF7dlUPr\` =ȧBf}`(F?56OBzGGa;{%(p>u3ze0"1,{*7#2P=^ =oP3nCRspeܥzRg;0/W*qDžqKX{ ^WxXy)HI3MdFÃX0Zʙ8x0":> A>shpStk:op9qaՑxaZV;l/>mb/VjrܪNo(D (G<wrF>F4-]-GlUhD9T"FJ'M4OS*;#J񾲿#'cC*z{4,5 c,^>ټ@y]ؓ& (\*yo^H4yyC5rW@76-lN9;cz~#)kD=D&(~ g*瞋'xnmsz(؁O`*qNiRj ph ^B90Jd4|C8\j9I{*}: ke6!w?~Э42{=r$qJ88ziwD̍o%] J4$n1dgM$$ӌGc݆g Lq%tu uV4Sm\{ꃕS %0 U "K.ha9Z{,ϬgUw5qYнO/UJ=Zܲw=HO,JE 3~3R5{/yX=XK}~n9F]# fg)tKN$49Ijd<~뮶Y`+Ce| $F`]qZ⾷..Y)$O+czkѡK\dQz|nf x?f}w"QOʈQQ̓ `4"i-y~@˷a*lM}@D^ `Su#11vݽ`HoPp,ObHap`Dn= ɞuE C)d8)SXvVR,#s+_Χlw PNIo<"TGHTӊU9e+[ :C 3)·[CȵFm> HSdf.cC#Pxĸ. j ]%vaIjӺ0 FQxQ\=V >˵r"%^6"K\]vNߘT*ֆꈞ)ҀM#B4?7̖=umͭ^0 D[vM6-G}q?z;{|{Vxr fdc**քڞ`]%4w(w=`tATR&89eaMI29oa:ʒP.`};$o%k?F@%駖h8jy-W*_9IU cWeg|JLKf Jr/'0Ha|;Q`Pif7f}k|@REA8׊LW]{7nIY*u<7̕;?-h<4H1V~p5|̎Qɵ{ϰQ@fx\k'#JzЖ0U 7ˌ<Ǐ"AZ"ṳ=cŔ*ALnR[7uhOdp E=^TI23tk7\d[) 0 \@S=R׬0vMO6ǦF'e+b[aaFJjPG&Kb}k 䑳 - :8]ȁ #xJKX4R-e)O7H*lDvp1g܎jW;WG,/ 4n֏Hbc eSdFŖA gM g2[ $xk@#>[ zmw&ky6Ĉ) Cܹ1/w>3O lʪfz:zzy э? *xmc=xd̺C9Wi>@2>hhmVJ"Uf㩐J$Nub}648O`\eqɊpX{vL\+x3Af7bяȧxc]lTP&A7t"+HT1دDb -/iOsX%<DEg ''ꛯ.FJǁ{f7I eOi F)Y.] ssB|]jJGsFgyWۑa;MITnB(=)zUֻdM;DGccxzGY_Xj8RaK\CW1nk#7UóB^zԕp01| }ꑪ͆]k }mDXpU1 ^ NG&ѶO|Ű+M!0~( GөH g_G`[M~kdwڳ.oq8[<~5ĵ`a-uc۶I#n=%-ql,($x0xFv=YpOLDR*g LxÄVԷسկwQ Q(Y,gEE5<\:7 Y+xa[AAdV*cĉ.c CNt,>XU^m&$}Ƥ^õ',&V=Ii So5X+7 YU4u[ ~m}R|a;x)w !,9\mِULJdf5ژu| `\OQgVi4TmEffHȧ}yܮQ~6Bv "R$"`}# ӱgYZd 훊_^b&aVW }|u~D}ܸFYr iE<ș74;?6Y<-."29cq'5LDhگ@vIj]cF0QTm\3SZ&h5 iR}&q 0=P w>Xa 3asi[;uou5YEfHaeY5/jpMȓs͓ɇ[y OYkgYתZ5dh3`"BsCy& `,XAY5J?CH5p :TCu}idP1i[.־@E&~eˆV-:ïZs;nنqLзLm/ %a%߭ kSGe ;vD5A?uGcQGOE|euʎeҳ=j|ׇsQM$x;;ȉ2޻g5)%NYU^ATӦ-J2f3<#/G*IwT ȸ А3]]όg_|"@qKVSNQlJ=zhi׹j -[U&ɥ~ d__dQLY κԔ".kb~H*P +1ﳋ4ϸ18A-^b#v8[pM0ofa gbV"GĘ+t= 2l,PK $=/1ø8XЩMQ 26=+&^Cg ,ܓJ\_>{ޘ=qA lS}%}V ^~+tXwcs8٩gY~\6b^\ⵡV3RUazA4Jڂ^sXs0!v} Yp,:\8>~\.2OEsp`z◀+Qәح1sy4Bx_|Sj5%틵sQ>e+Ib;>Oz>~뀰LA/]Rk$%)G徍b(.qʤ>|9Q*:6ѭ P6'KuwI+N5k.n2DRr!i!v`D?y:h6j,S/wN+ s8<jȪ iQb7/moax'cv܍?SVvd&G"K'Caa-SiexѬ7!RKH78Iǿg :e-NۭcL {'Q9Rep TH'Ɔo|v%Rlo4Hz!)S`vL|utTI٥U.F <qw^st9#^>f9HI ~ztш/rǎot哫4kLz[ړ $X aHM`3f8`H\~¢m C6<m)A[4b40hEsxnv{W\N,BE{l0|`z NH+գ+2{]&T$~ 6"ti /O*Uc#2p i@(_'߇@c.^E-A_`v@Gwm Z&j.vaD\k{ު vYN^_T~,RI\2 rĚv[>5`n@%^2GSU!Qpx݊" aT(t,*s]RmS}Y5gpB;zV'\`~Ha @& =ՕY)oۗK7#ƕ%v0tzN}RY vht$6/9EJ枃RFiII蜞7b2I F9RWzjK18X_{j4Ck\F{ ZQ_3MZC*LUZXz8 y" ٓ m_KrͱYl[d_&XòMݓ]V(l{SE~MPN?LRQ6`Ζ"C͹ލ0A1x;tפBUrh]$ʺ x6y:|Nǭ0n±Q]Y@ItUkR#"A wUd$fJ;:n`v4rq^'gǴ8U8=6Sǟ89LR-1AvB*=)VDbaٖ`EeX62AIELЋe5ᇋ9Pn ld]!X@BWksO`cUd;=c+ʊ~˫?r*(t,<MMK-&g JC]}6aySB>!3f^yz RrmCyf<`/ 0ΈxNrrYz4+ZԗH;7}J&rI!o`O[,Drt|JI^p+ȩ-|E,[Y4r8╙? 6>[lH53#o$A.?gu0^Rkm֟5uCZ/xmKfI Xh?iګSϋ@טJL%KH^kY-t:ЀXh|]Y\TY9^?(2''ϋ.m<^D hLN?qFXdgJ5ϤE~Fim1$oovESP\)#'&ثJuδ 3UpUcUkp꿱T&+:~huTE;5W2CPqĵ#~I'V-fW6Ln@Aд\* 8>s^XQ>#?t_x8^I&wǗyن/my枪wh2kXԵF 88"9rJ2(rQ׼ 47+?Ru }Ί+s 1 LʣⅲӃ rWhC@vߛmo*|oLI W!:BȈq,g}*Igpe?kS\c@ÆqИњB>Jo(LFYR=4YkkSҖ}.;w XD)cPZ+ pMq#=SLك+JGTOU 5+g:dRvmu_>h>]R?%sYj~(gYZ =3Y% lSigma_Commit_CryptoSigma_Commit_Crypto.Commitment_Schemesdocument.tex7zXZִF! m]A-MՋhvG"uIBm5XB}&uNԹ1~) ^yhH-[{b)^ca<*({ }>r~j v"̈\k&`e>h-,'XwH#d߲s֥}S.> 8U8 J^3(2u;AmǗ0r]yQc ôdž -OCU>ri qyH&}6,a7ZҖ־2͠qg1~T|nsSgCJ_z%.UibS[߁PG/:\CF&D ˍbҳ'_hYD"V^vBR5CT IQ._ex;`<[؅\u][41-nlw #cmPap_e<"˓ɐՃ"IsSX5(81<.U_5+.SQn IU9WOU;aBA8hJ= sBJg'NH5UafB{BE9}nk@]^/5M`tgP㌴Ds Aba艥 &%#4 e2?שWwJDɥ)dq +3GOR~%SO'oa= -':LrU\~Av7Q.Ii~LdR͋?a%u<+dduSQUd> (R&,9eT^ȨL'/, z8?bvXREitH-OI H v+2XP}O})$2/O|[eۧ;cr'7["D Ǐ鯖rP9IPQ8V=q(YjhozvҌ~XRSGggdoR4TG^Zz5MH)Q[qav$/&9*"GN2vo-cE|׮7Ý}|55'zЧӆ<椼aaS%Bu2G(:F" s "H΁L}؅+=D)MŠaR-28cXp#(c|_+֒N]LA ~m#GneHKW'~OQTpIN$\.iw/r:Dq=FKdf}I$F=O=[>߷7#f}6IzR:9tR?k0~.ϔTx%E" H UV_|ˑG"l!(oRW|l_ʧ!FdnOl_q g6N6ֵW KTԛ?*Fg)ݱ8J"y̞5 O+CQ;g R^^:kS&4*kez:k7{uO1ԭQ3Zӹ$Uݴ)SP~!6KLôl}&%&{8Wh1ɜ[dί ^@sI}pgLzThȹTwd7P)!ءz?v7֮1 H&vBbU Kݯla(gٝOP3e _ ֡lBnX2`b] McW`=B.mUVTkV˻Sd/l݆YwT.Im"YzS3xj2࣏]IOnkA0E Hc60X?h@HF >zmAk,(@bR[ ;Jf 9J-bbw9 <닗~8Lh9xxXq&Z2cm~y|%=;LPΒvjAM/c{1A@4j˶mTr5L5z|+ltvwWad݂8 ^B1cVnU&^V;M6{맄rF'R->J ?7'1L¡naϒ5" =af_/ĉ!nr ^d ]w"*(iž;43+żXas&ީ6;(4IŰՑqzh=%8ǻQhƦ>;Qp{K+y馼'Rsy%l*k$qׁ/4+z~05^|>os(Ճ7߷_3sNyUTe䉏YA8H3GmA+5 YN:ԕ^)a24}ITtn@sA<-2vfW0B&Lڃ{2/ oK6[`çoce+k^vp7b|O҈})X(02P28j`A~ nx7!Wgn ͠DV%ce]ө9O:0hgN8b꫒rt'3t?/ępmp@ظjrPp:yF^ұtûo=΅ka`cm4W_Y%lj!%SyD:~ݷ]A-MՋhvG"uIBm5vb۹<.agƃ{T `.VӁInsPq@rHv+AUg7^Dw"`?o N98~^Ȫ]3 X{waSf^hq7u=8n)'?<,>eeVhƺo[FLr]WcBb3rQ N`;޽e+-pnu8ZG Un|tca/i4c?J-TJVVbCk{6(l i,: e): !"K9b39+&`LBkI7)WL{HiyN`DSfzfsrfSCDͶPb!_}SN>C?xIԖBZSs"!]mdAա7FGFVipo!^&D n0A(01!-ͼGclFEB=q(x{ Ɍ}_jūU;J Zcvށ9 *PJakZ}ҕ !ݭmC'Zj-!b)޼ͬp.ɫ,v^ `= *O8a|z [gNOmxxzZ*Yl(NՃ& DOWӃkS[{ì?s?ԦЧx\?T& _G{x9@aŹ—$ :D^[m#no| ޿p4p ^{{eP-/!kT%a QF3,- m{ê(MB޻7}دM#ZOΑ4uX$daagM~wD7: Ӿ%{$6ZxޝVTJ:2e׈:eA7H9u 8C_MK#>f)tZ']a:$Yh7cM9y1^ouP10`?4+UEQKLG:*hvx-Q 0M Y&!fKJ.iL:Az1ndu/ˠ}jůfzV9Z6K4)^S`98l8MB_`sL1Rnc_!x;,=BM?|IJ0ŀ>^C!Zkb!.=Fe8׍A@KVswSMƈٱ Z[bǾ(ҍ Q5;tŪ]FP&bZTi8+I5Ɖ zYTQBq̷Nat1 ; l(~hD&O_n `NID쓶rL fZ &u-gNCcރﬢ##_es$-Xٗ괠ܞ<rK1>* BW t:oC4ל$8 3O"R̖o91V,qs3 *.+|q,/+[ RDf_tSwZe^Q^ǃ:Xfn*r ^#rͺA L]ct|/Byr †N0yPe=#X5rl F$ fJ *lW:Z9 %-W=E('`InVBk_u Ʉ'ƈ- OE$Vղ)g TKBw5JkX0$ΪmO#gupuf2y𷱬x qbrmT[í|'] F<EGs邞M2E}TM[9%v``boqY/z1M %I ˄?%Ё<9 *`"֛ &~]Nmh"GFE7B@ʃ6uae7ѻգT%lb`4CoL?DE+w,؜{\8 Y] 8$@T5_=a.欘;N\G(́\nUdkdڔ#5| 7B٫"VK_Al"0UUL0X(d9Gs![L $O=}({@\Wg:U~K# nuCfwdzmP;XrIکMBn)2\7Kei3evz= hf5#IJ/u^kYV.gQZ*.,ćN~AWXUD:#c^#iDyמco/ ESkScq:r!C5OL[˝x 9!N5HS eb˶"M?;NJJvj״a(JJ/ Xh]vAM@>x* Y@k-?i^ >^j@^3, KBw[T(wohMb|Բ"^4w7L@g @W,=]IegӤ5鈇Ow90pPO9B׾Ȱ&ŠgG0YCz&ωm@_I,8ڢd>3J>T_ZhNDJ1uJzo6xY -y%k۳7QsVXGb\S5 *$28ȰPS6:9EÍ1->tKguu 9sJ!9\qUu>Xc^x]| n\Bڊ!cNY$ _o un~35B6w\i Ab1YrIP'qN`:K7U'åL j! w?"ni ]VPYgHM:&?zO N 7pC9(O>ΨՄFցCe"m8]L3 w1@XjgX a jh$.8~@=y]?̈́)lr>@$b(d0P^ gYZ ??>33% Sigma_Commit_CryptoHOL-Algebra.RingHomdocument.tex7zXZִF! (D]A-MՋhvG"uIBm5Y?aQ I[*7 -2rc62\ƤA/ B)iڈi>S~!]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%6gYZBԁr:sQN1$jsD:fgoXTcsy|T pozr+Z.GKe#G)u;/4OmRKqx'P}ªAۃGܑ=)TѓeO~sW;傪N0sbns~wjE^EdJ^ 30*OZ~ 3~0\q,^E6Jt͋wG`>9 d88ί'lOs̨ 1x=[6Y Si9w逃e n"fs·qL{R|g_yt eFxl_חiKhՁ)r3C'vd= ²,| ?V&snY~WUJ$r 0DY^} NǸoQW-R .!ӹ_Ț1uTK1 0;VqY{?zպw#0LFL//ʌ㐳~)SK^֑ФIGEsײPj&*3|9ĺc 3J<0̆Ɩ25៮P [ֵqB%x/8K D=תtc i¶'اl\|_R'LZ X8*JQV 7 m.ݶQ@&^֯^Az/g ro-stNe' !'$g}=;y'sR=k8tFS3 ly5枸WzJcb@o$=k$?VMbLexMQɾ k7Z[ᛈޠ R,*\qv7Ѥ\ѩ97tٹr?_М>~_g?-v09,.!E6W:Y?U>*b&TA6KU!5DJ9PЏ:<z>Xņd n:0Q[P'u75t7Z59 a3cKlAF:R>O;轻1?Tf zZ`i 1I 'na؃C԰m8š3 (Yͮ2FT4t5ۻ\-H<^rm܏OVm{"],ew]8l*򨈸 xE>a'т3T>@uE[SZY5}["E`1P❼2ߐPcH/H- c$ǃJGY ~U4C|p- GR#2<1x,U2{XÅ:@"%&-T{h\Yɶ%xU qe0#JjIm/v6Ld44bA}7d`pYiĸ˳V6oqk.tqk!jJz[لD8Dr |1Cu ;\CAxa2o)ԥ:OYC1̀ROܒ sP I'Pd.ZWɈb{5j(F&8QOjG0*.) { Z6XAIqI¿eXOiѥf;X[7}G`H wMyp@M~Jǔ!ewfnдӪA5d2CXA8ZV?RN$3'7$0dq/, Dj#$_ZK(&D|̟Nc3^rQAqSs\a{sA3;S-9fTcc vНqP1r :\c_)S !BZftiʙ\\ppS  V؟>>BP t\DJg* =Sr Ǿ)I 3 &wz(e9ն?hۋ֛=?'"5ߠV$H<cO;U ^$ػA\2^cR&iuh,zN//PKvk=3ޑv=BYe%H'd`mfk4O&?#/;tk^꯸X JՑ(+f1&UtһpG="]H^8ʨ/$b[x~2ndW9Iَ^՛oD2Ӱ,tiDe5/><.QrV5@(BCjSdf^TU2y?q蛄 Rv!4 -i tO6ЭgZƼ2ۇ$wûת*;}uً77XHY$N[B( YkŒQIH|O&`)}SZB *y3+G"Vӟ5c5얅ނsJx|lN q:? s$r(8BԹvl\ML? )h8t#Ă-mHG$G|)j$1c^=3]Q<ICX#Kd9kAB =bWkRW}{3Sgkehbjg0,)HhtW2^>L`%@5\?BFԆ͆ZPWbI7hEn+`wTz8`Y٭C@_?d|cc9dCfF2h6a"|q."@&kd` ]lCYrXHU[n W$/O)!ˉ栕$k?D f3G!P!IiF_~I9% O;ͅota(xpe~F]|0M?]WiEKx!PDϫVe6h:2r̍XOzP[Hg-_4#I`a٧gɎBGrA8<^p\¬5L0Y"`x  DƱ 2bl°"5Lɹh C&aο KiD aTʬܮm~5$M:JMeJ=$ V$gL @VU1B#qŔ#÷h~3^tVCÖ$r:hQMR_"Mƭ^Qfk5*sf/2{G/<0[us7Ϳ/NR8#IJ?ŔRK|j OtnDQ Cr4>WM` ͦt* xq23N#?\bK)/ي~Kr3GkK<&,|3]ً&1C|'}P22ҟw 昉's &s@H_=Q@x:KXφH#~aUܥPg|UOКآ0a$`ңe!s{Gbx ũ0h*FyҚC,y0OӀ&XTC- MUE֭OhӰko B({bkUl)O IG뚔]7jk"рF5Ey)bb=7`x(QpK%} @|ɬSQ.*~.'6A^[F A5ܝ ?4$&?Ojĩ# 0Vv%buY4ulH5PqI(c0V o~Mj $7!F+pQ xQip}p&ynQG9إly}G-h)E! o"PtYp`}}qN+'yjuDͳEKU"$\#;Mx+9EULd1e#.`gyxur|K/|+P.Q50h1FhcFh:4bkX׮!`od^![v|Oۉ*Vg"IHOa3W1Klnd yG#fcy ҴJ.;css(KjXKŇeY0D8SH%:4 q8Y:ט(э^| ) $ppS>4$A˺ ɫ3* {p-2-v9FQgغMI=e(~jXdӄmp}X"$shVS 8>%u!wg͕wA)H6h%ׄJhɩa?ˉR->0ge#ެT:'Rt+4Blّ#獸l^9<^jjjS2|*qQK{4-d٦`N. P"0:$7z|G6T ٰY4)D҃{},4jݎ𾒂-/PIץ1h*|":SD49Ͱ)C o ݉w8 $x&!< OX+~7,ģ:fE}6ۥvajT &3h$\P9Mǿ:p (뭵#a;X! Sf*D8-;6cbGuV#`/ Q slpA`)Y7X߭JGv5rVذVJBv_rkN_RCT俉Jxl<\πN5C >n90.fˣ$4HơnW",)-h'qP.!r_7I1ayGʥ ƑD2[Quω6/sRImYKTn4aN?ʻ;|X6uoM8s%]T6Jtrs%Wrɸo;%6sz̝pJmT,$ es5n-LD$ݚaߧ& -b|WvɴL}L3eXo!xk4`<">W@G"I @VgX ?_<)+a>4$7<-Fn `/Տ_ ;y8g{e=fJ{!ͣ Ng ,N"@ _Cdˋ#g,o$ALH?#1Iّgjg-~;Ydn}4F\Ǝ0 m<^7WhH:r?v YL}G)k' @Gh5Q8'G} [9"$ķ{2ha1]=讘ߦN(h ;A$2W.Ċ7_2Ck$(epc-<5=rTSIi WxW?{>+u}'U#etrjfE *`6YObgSj{# GpnZ\T!N؆ fOً$QƄUSX}0Kq"ا7E$piʒՍ6hqY#QS=I-wQE:VEm\ѺP]e7{r$~9tj;V ق\M!ԍ+^5l>m;YRkwQŕN1w) WS .ZHM\nδg!$Z+v |Y*?bF%(n7h}hFWcx~%`)4>@ !%LpݲSQ.%Qk ey`Osngppٷ"M?pF#,YvtƴM쒦4)O*y]?u'V\eِS#vg\a=cU/Z=$ǝr,&r A~ohUB\!6R6u[Wzxy_Ĺd؂aWʞHN-65gEI P"xle|ē_s sz;[?\V?OچN?IG~7sݟ~Vgy ČXg-  Nd~8 c?UF.m%u%&0xr';eIuԟg/VҨ2f*k۸( q>Q´J ّf zV۩BQ> } &|4-:Q#T7$ܣP<ZũB糛#eyEy.=O22 MePO/ȯJf+ml!,WuN5^*]c0Ͱ/G.aR|hD*[@n``iL|j)#:$ɆA$wF_;k)6iCޗ|@ߘ;[P+?di-`PTE~(RzI Sp-t q\X?w@ڵEʚT%8"< %ͧwxfͣ9Eޝ)=R@Vb43J a%B-Zh!ʞdLsi3iah}!nTbި݁"@kɁM_ 9׊呹_}xB`OFUKC,ѝAz{0Ynit=4Tw]p@/XgГ74F "/ZB[-lyQiPc6,Z1T'QPM"vh0j^`q]ov P׏fvy*`rLinMj]v}n/H9}"\0y~4  WV ?[er/ˌzz@i|C1_ҕT)嘯?b*:ꥉ ;f7*>Cε|l`9B*Wαv"]0DlUh_V9I`LG1S^sQ`,Zyagn@G.@PoS2RU*J(FI\SPL qÌX 7%M ތivb57V(ǂW)Co^>yhp%+hӽ'+#)1o:ӣJރDYěe!VaH..6^>|=zbzn4u ʯ8}G(c/ j\n2WG TC%"uS@aS)lqOxOo"k'γ8\OEܗRh$C,6)HK AŎւ]&up1LJ pҔ.j?k_Y2Nb]MDϏ Oճim0 b!ӔِJ Dnh )ZP;o"]R,=2(=ЫKiE&PSSOJzQ .tਚocޞ _fEweE_YԌ҅\մa.rbUCIF9Sh{bCnSL5pG,3Gب^dhFҔ}HFʹ/*k{lu&T RFWHGn"|CЧVX\lK7*?osM|HSڵ$1v,gCz(L= NOs4%lCjݵO`o>j<R*[,wOpKVpzl7*@̥ ٹgYZ48df72d99d13910f3b17c9f3f4997746ce312cecc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6 a03c8faff223c0aa6a1a6dd5212eb07ed2f06d09 94f2ffb3ff43f723bb1a5d3c99b9b28de401ce6a 5de1239bf0fbcd013d8b88d19ecd8ef216a89e26