SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  r r/ $ | ]w Game_Based_Crypto:threads=2elapsed=40.697cpu=79.664gc=2.860factor=1.967zXZִF! )K]ŗXf1-/6vRZV4hQ7Zbl=A8 \i;BHP8Q+\Xゥ{%V2,HTM=Sn=pD̠g;dbXD=KC, Q. :I8/g0X|>DV#^mw3jܱg,"$g-_+YA$_!'mĚS4h.gM䗲ȾPl!x X{AZ@a@uyzuH ccX1K$|,7ʔ1\ߩ0@E!8ɯ0 V'!2  O@H0Qmi56ʭh ]!1!tT_Jiʚ Ѕ[{K3<-TI@?{6E$`S6Ps:13S3Z6RWtVm'GQ=P;;{w 0EHVЇiD}8s F $~@B:-fI٫:wn(Pt!,t0ÈTTXSʾ4ƈc~J@}>d:6o7O *޴ HµI(_( t~3E0+<&qԚ Q SZ`paAhX Plv3RW,njkF%1 xO'(Dkkhm>\, |lcj`3D.y0 %֡}VENE{c%m!">4]#J?ӛi=)l'R1P/yofA.lMlխ"$~ACd^%cV`*[@VȲKRɦF h+4V*"I;2%9P^)Sg<<"'_';W=ت2LXKr,uEJsٕK5?j}<N(3hGc*݃#"jJ}G3 C'R?@[/n= A;ُOҵ-+RDFj*rļ5>M/>\-/ ^ĺ(R(>f"1¢DQN_},˂;'MmȾ86SǧrJn9:ނUQ偈ձDna<9p?kBv3N{[_C"g@7:@f#( b6mG*8рGF5(qIA0<#rdk1h !bD5:JkQDS|73TX -C>. ?2anR ᑑvV|S4S]D*٤qg<MAb\,pּ'KҼ# .{I[c &S/'͆R^\vVrqzr)H*\aG1URmsEJnI XG51ȶ9x5-qnaO7= 'ry'k~XfA*I-?QJ#D>2# Ĵ\'K&?BIr41 YA_[B;׺+~^TTȥ."GAkڭ%rٖQߍk$k졌_bnyXd:![*&/" T0dxYJ+  +Mu7C=P72`|N/g@r/ uF곜RoİXQXs3|F5]aA'0zdʭ㫑A:^@Ԙc<5H.6c5j`'- bVOAE [8GpG :[v?`=v-MSZҹa w pL0|XiVx{͋~8Ӝ`LgkM^S/ٶU.1Q"%4C= z=#VQh>ƀ=w=?(F9)% գa+t控Bѫ5.ޠ>qP O^+sI"..݌L롯&SƟoL7 uGq I%2枴@'h{ɥoK _%U,oF1,Kݏ൏(zUsW[絮ƋEU|sC?c1;M >dQe-آjG?vWnm%Xa@.y?\0.S}/敚!{5D'N0& r @:>ñV}(_W       J g 7: C { x F/S%Game_Based_CryptoGame_Based_Crypto.Game_Based_Cryptodocument.texN/c%Game_Based_CryptoGame_Based_Crypto.Pseudo_Random_Permutationdocument.texP/g%Game_Based_CryptoGame_Based_Crypto.Cryptographic_Constructionsdocument.texB/K%Game_Based_CryptoGame_Based_Crypto.Security_Specdocument.texA/I%Game_Based_CryptoGame_Based_Crypto.IND_CCA2_symdocument.texF/S%Game_Based_CryptoGame_Based_Crypto.IND_CPA_PK_Singledocument.texC/M%Game_Based_CryptoGame_Based_Crypto.Diffie_Hellmandocument.texK/]%Game_Based_CryptoGame_Based_Crypto.Pseudo_Random_Functiondocument.tex K/]%Game_Based_CryptoGame_Based_Crypto.Unpredictable_Functiondocument.tex </?%Game_Based_CryptoGame_Based_Crypto.IND_CPAdocument.tex ?/E%Game_Based_CryptoGame_Based_Crypto.IND_CPA_PKdocument.tex </?%Game_Based_CryptoGame_Based_Crypto.Elgamaldocument.tex </?%Game_Based_CryptoGame_Based_Crypto.SUF_CMAdocument.tex=/A%Game_Based_CryptoGame_Based_Crypto.IND_CCA2document.tex:/;%Game_Based_CryptoGame_Based_Crypto.RP_RFdocument.tex</?%Game_Based_CryptoGame_Based_Crypto.PRF_UHFdocument.texF/S%Game_Based_CryptoGame_Based_Crypto.Guessing_Many_Onedocument.texC/M%Game_Based_CryptoGame_Based_Crypto.Hashed_Elgamaldocument.texD/O%Game_Based_CryptoGame_Based_Crypto.PRF_UPF_IND_CCAdocument.tex?/G% Game_Based_CryptoGame_Based_Crypto.PRF_IND_CPAdocument.tex5]?&s&i+_KΓ.H>DXk}϶򟘏v 5K죺JE{JZ4:b+oA莎oSTHM?,xJz\Q?G)nŋ|hX@> 7/ѼE%_9Π4E-(:"om$SGguUǺ躽#:Zy z<<+.ΐ>2v;_Sq2ScpVPO]$NT@G,v!ڑv: i$6M1_qZz 'qJϩj)i,zsR@D,*Gt`pAax/_qe^&2yz4͜k\'5^Lш!G,YXoN:\4J^VZb="^js_:4qPI۴/wPU>Ut*8D fޫkp=^#50b<֍dw2Rq!yƦ0ײ"󗙣Cq~:#`GpbX oh)j;5E] I åRݦIi ۯhAÑs>=S"3"Ogto=BBLCuB@VO"sITj؍&eR5Kg}O)%lJg?U _ISQunZwX:ư.4\,&Zuu2_љ^{2ZXF:·J7(֊-`rc´gkӈJ6+H EF-@RkMq4PfZ}USY=7p Bڕ \PKCrUA~2 4 FYV#hG{z9hkd={sjپyN;i1y-P͹erץ’9Zb$FO~ L^ǔ}êY;[ 3dEihRa1Dd6`\m+ƪPM$ȉ8+ڑ]JxJfY*/OFvb4;rFVehW.XfZ <R'y"]=F&I? ׻;ܷ%OZ6_1tcj}7r9/`Ąޣ/2.$)Շcю۝S5L'Gߙ৥Ů_c.[,'>/YksSoE-1s(kBW3vTaG|*NN<[4~mmӭtZ0j͉}7+Ԙ`5E}J#10%h5z ӱc~eP Z q#q^#ԍ {w7+>`o vDmYj畓{ $d;[z>Hq6K6ڐIAya@e !`vg %eKZ k&eLĒUj6n4@&Om$Ҋv$`\]°WRRUx,Ԓ:sUf9ʇQS Mvu3~Mt&ܬ=]JXO6Lc(SM*$I~.6V < *^-[3/vlo$*]yϧ[v *\8@Z IXuBl͊R&H ݒi X፺v0skOOzn1E>.x)Ξ5e\v 4)d5"akzݥAx_"qwOS{ .Zz82`jE+MfKDk`u`HA:W׋Y^F4k8WdvUe;aJD&~PG)N#CմyP=e1S[}'P} Q}3CWYG|Y"U(6֧:jykƋӭ.\(T "р2MĆb7C@/$}Of>8ڂ>ź1<7gr(a=r: N8 Q)cdI3$U7 pLEB*m)Ht /Zn,eW#h ᔄ4p HB2#ZGG* m{4bŀXTy6)F޾š38]#8hԧƁ ==見d„FǃV僣X@>maw]Og 2@@eӫzEEo%ȤL˙y&V@|rg6AzINrH.[+^JB#);C$?`L-șRV"I fghnWeBZ]ӌ9pY!J ChGEP64P=Cէ iO3Ğ٬ m{&m&" K%BH(Y'K0+^ \V?x }bAž8͵\38r`^!dM*O&8E!^dȬs \_uE|2CيH O³!dO 1 kpHgxn[Lq }]xYF9Yhr"4tv* dbS;imŗ^4IP@jˍp]EVc?MĂܮ1^0-za\uնhj*"f[Hv )\~K&FֹUͬih~(Ǎ?ܕmÊG7^C QP0),wm1F&En,%pH':(PF}oj!g ~@}8BT")P{仲MLˏ:IT5 v!~]䊀ED::%tvb-$ ͡P|n{U`&~M-9I6Br^2 &iShu8[L1<98HGY`b7K6ŎUqSJpR.[)eI}ؔ{ՅZ8/HZf&.oHdl MŁpbDm㲘ݘTXq)~p7hd@śWHD ^[()@.",)v/|Bƻa`,s>psHki0|-WJ ҆)@AɼME'OҒݾN_3id%R*Z|=j +_u=%2M:;#5˚<}1 ]Gz޹dgd$Z79&vs~4|M1Nrn7v*9N^ZG >̑RoqIT%Ơ4%DҤuK}/`̩PJ8*xM;tR*[\I"ccjfKcN,h8&UщzzPwr8!MD)Q\ƸfzƔYa/N~{bUO51]s ޛIpyYc^1W5VixR>9?%%Vx:>Ħ=:.C !16ތrxVnR>D9R&UWoWuHU3{b(Y q<130<%k7±L e}LB+xڼir+a4$"͉ܗUA]qtAEM2h厕W뭚JoǷeʣZ7mZ׾KUW_m b$ҨP'֕.%N~v8(c~TTUu˅Cp8B7e_"e`bq/+v=@ tqò$-묔;k#0qM3y؇ D' i+L:=x6Mx6mvo ~hy)`&9o/0˝)4E`5>k\ q?ɐ;<4AzYxGbz o U"cMAC% [^\5 ow>QZ`p dɫ7e&f1%:Idh:}Yl'Ce !󙫱[%vR/Ϫ &h*N}'Tm>t,J8muWqX d2zJ)-L8W,x!߁k@TD,r&ԌY[#z1dJ{`iN&Y0^n6Ц"|˫G==>  v3- x\s&}z ƛ IR*YN5w^64 Ϩiz$_]o4x`YFf!Τ4V^ٿ".Ѷ̻yb[:Yl'-6vs_!8\UlW}O?уndh/kUu<,/he I~1[k 5%`g9g;qbB=$?0rr?1I8[kɛ8R"fȂTQhQj1CzeE#lݛ (5_1} $+' X"}A%/!aX8x {n;F{d CH<^шAvY8oH<@=!ԙ d~:5B+ &mQXzG-}AxPm%H:0-"7[/WJ(@LDy!*dAigRf/=2KA&Q=Uԥ}5$dτ@GlM`ܢM]bC`hwۡ[x} ?(rA#6l<W~Y(f6g1ǽͩe= 7y]@E􉾖ŭdC:jN,`_ܽ_v |«y},=3S?kY{ίhxf%9W6fN0(5qrIYkL(*-"qYPިS0jeqȯo apxV5.vG+;3y!3e--g&==(/w|DmrY' Xm߉Z> bJUu/14nQAJv-b)iuaN~ h(rSe#(0T&<ϧR4py n< !k4(o{Ce+kP6}h9ObBc(6&g4@ ץ#"a$KTPי]ѶN[n{5u"ݤ6Nb41ƚtSrUx<{.MM(k8#,om6'I0Ʊc]rA4l"&*/(JM[WD;zBj6&+j M~%6ѭk\fcqZ3 뻀_f ƗͰAzcwO z; 6*T9(1TFy4i岞 |L1 ֕2 asF~S!܄ -Ö. 6{D9'^:v[qg0JZ(}kKpH$.?ܝeĔ!CPNzM (J/C-w|֭Hb[2oYeRjM,faC^AdIr~k/=jB,s*)۫Ocj&H&RL[` 8}2`k eKvgYZ aW󹽩kVMҡ!``ݕ6GN0<u񞦀!DZ3V|  ơ(0f8\j2]:zI(C|yeOL#1]o:b$<>Ibp 즑2G0F'sDECh.vv=`O4qȗ9ZQ$:|^Բ P9!KAGzr{Gh\P51hyWcP2[l}o;{!ɮQxSOo+-\17y?]Gnz4H8vB;_=>wjdo_u$=I8`sP)ޱ o7{0s!xur,(pRJ¡_Qv2|m[mn vBP[PF^|b-HxAEE5Q \t{wr7n$wMYCs؎$zQX>,)jN+upΐ7Ɋ67&ODBapJ8c(ɲ'_>fBlb//~̼r޼ߔ3E>RۂWy_?Nͫ & ֏@sV1/B 'pCim|:<{7ŦF=C[To<8ʶ%(Y`L]ތ>i\$%Jˉ[D&786g_fQb{1ȱؗ#:ڼڠܧ :6:Έ!+ZS&=Yg\[n'!C|ՊF1U sZ&41ћ1<]3p+¨n#<,&_S/z*Y]05Չw4]&of)9P!6@۵Z ) qkf'g+{ӷ-6~ăݢϺ#Ȉ40tmOGQJdAr+EiOff ?@8|D3'JB >[>>*;O;Z`/BiqBb`$s6GPbcE9#Fs+?x>NrNB2d؏ṃ n*FܘHNQvO! -ľn9JU9$$w'WԱ/ A kU,J/lf[X\DE)F0 MvvpHos̔8;( ?z9Dv%)Ƃ& RVG<Ƹ7ڪJ3lȨ"=7ǘtmo{^K Gu8e,6`Zh+U䟳uW %Tfk{/i2` nn-7Cv.*eT.*U$p?{.J>_X7́=ۗBimVƎ6*\Mk~?qu6/,6 j >vFz/P5-r8%_$z%8s^F@2'bxgDnTeR˴N Z M:|3C9z= cqz3t҉&:􉩷V%$!N–>lŋh4)Ϻ *o^,xff=}[CkxPz$)?0bM;ŎTx{ɥ,΅ d"o|bDF%_`a?j{PzbQ+`& n?XVYW&b;^ x2Mr+61 Ie0.ad8/cy,;a5a$R<9L$8rUN`e@$!teY/rq]]IMNp 9|<㎭);oIv, jM@Sl-@D̔# 7ɗZ{~',vdW2ۡ=op}rKf;dszA FJͩ)d71TaXP=2q5Ibt=n">RgKl?nz%$ G'tֈ((1&PJM1{%shYf@}E!n+힥0t}0ϐ 31)|8ѐJEGJ>-=4Q򽒟Rm& đ~'!Ols\9V)p*9&=[Pj[1pQ]KhG5prRb?O[_yW) dP/: ⽹,zTDXQ>?0˗_$z@f]'z#9@9buRۧW"[Z0zY4.@y3ztckZ7 #)׾ϼjZbkD{먼2ޘNc=Pz*ӉbC' ziVئcss)L8 +aT)LXޤ,noˊyj BH1tPjC cV.j AwEڶ"^(*ZNwR$7#ߞ7= :9TlGJ0~iY)$;hkfN4Tf]* [&$vqf\ꌸ„C=݁ GPOR]%b$d~Dk( qyu>o$*!TϢ2TCdSڱb7v2Z6 6li\{g-C#zk`ɉ<+fU;څQCBE.(>wOC*H4%2 1ݷpIX zU!󥆲0'(dh[z'^;sс GFDG^jŽ6(dV @qc`lƬ-EbfgD?V7.y#Ԍ747.[O>)UfTI-F UQY:[0=sX}U(cۡAj4$|b3Sj00ӯ:`m=14uZ7YF~!`5lHm)(i?Y^5B`HlqE< ^PQ-p:nTִ\0F.X:3lNhT>~DK$Uj'v.g<[i";n2lr<9;V"[dEl%/Y [JOÕn{v{?Ψ JUJ :]cbIJ[mm,pYu vas:+f QXFw ?gF,1P׻L6=E'W)sGzZgxĖb-YRϕcl0+7{6N*#πʿ8bjsl{p shʦMEo 0v5v4y,Z_3&ŎoG{**;D9c@ay~`8/^)feQ83ktqԦr9$y=g'r,4C,(mX&Ӥh^H c{ /vX^s-ɲyEՉ; =U|""ȁUŗ.-}zr~gtʹҨq ip@)Muj'N'Pt̵YƢTG}Y jEGnjQjSy7<2Ύڥ|&@a}Qc2m%Γq!BBǪ* Tv˱a3or"5MbbfりE(9YIC+Ϥ" :Kϫ2M ]a8+8sIO".z *N"m&/- 6;t}w fFOYOdB.6@'` S汓_syO8 Ib1rE6:Ǔ% ) [ݣ.g.rcM;0v,> SOADmLBͫ4B,03nG+Z [+!;֔}Ok8 )wGgNœd5@Y{y%qf |㙨] YԊ710"b D\ 'G_W0Do2otڙO&*􀘩 x\UW9FL=]G9s—6P(+$3P`*2n]+oewlB ["o_;?nEL Bmx]  Ր sƆd"$+HWV oc4)󏁌Z?Q]A;'FD|$Ha&Ǜ:vFL;L(aeum``i;T֨2{ve 5LVMkHHg,spy(rgozNzye#!#lAg%iQ0e"DL U1<| Hm88|HpQv:T{ҤY%VT| z$OM|&6ig(r?;P =ŔH]"+ 6дC ׽2zq\MAB̦bWټVl^Go$.]F Tŵb'`qBX>oyLBtJc5!,zc`&~ u:48!q/ uZes7#C{A ȥ>drfWarN`"3V82DxdM*Ƶsϴ`V9a :FhJDRp@Z`g{Lh=kMlӳe:N@t_V1e5@ޮC`jWnnJգ2ix捿B\$GUYiszb OcM'D(̤вa=^"d<_92>CӺƉ%b䩇N4k2aSErd{8/쐕r!I:0@E$kz{(#4R &6T+[)'{cT=6S2C/t?7vV}⢈C0V=,ngg6w9b30~Ъ]1| 2o[mi7FcD}p|B%E9}Ja˟ _y?21PM' wAxoq.T-L\y&ʳ|q 54 fD:YE LHҵ)RoEnR1'Ch~=IFp^:<8jIā.[kөtd5q&_f8Y2՗S{%ש;bBn{XȲw+1d?ۯ8̗?Wz݁D!_n2iрPM,3Z=૏ \*O6ݴp(̇ pP<(5ŅoeG^ժ"4l/%}svaq0 £:-J6t!I9Pq^1" H@+{[lA]{D<>+φ*H_DX[ e{}ҵMأQHc5{_xNUbpm95僙If!ٿ=G~ L~ޜEMtMgø#eEƵ|EE:5bx`?ae!"'H|ϭws=jn\('.ԭrgIC!nU2 Wk+#: >J6X|*zIMTkYM3k,kR%Pj)ʓa.dQO}<:K.&%.mE'Rt=xy;`wW_i/6 &=b ʨ1~*Řkg<u7#HKɖ9O=7(]x@0)V'r2[ix)v%=8;GPe r`ԍ?{/%Q2aDY,~mGdX0Fӝ*wԓQ_E\}{/iH麗A xt?R" e.ŲJClj%Sw?iBVmlTHʆhЌ@({E3*S :tFM6BR<@Kw-Um|$ʶ__p8s$:81TIX'\3i߬H1V>"ӟ124OyJ 3WZTcLZ4$UF;f5%·.$*N\{cX 'H&5 <> 8Iy&qhn1dfKb:2f2co,UzmzXMJ*_q*nu9E!y5 +.1@̢~C@=a-0ëXjBw`~y#ÌCi c:) 8ogcesr7l dh=uĹ1 禰ZЊCk `t'XzRAK Ŋ|`^D98x"ޢ+Ld{NlϗVE9ov, ]ǥ|YAՈڪ|r 4`Ђmoc*L5?YNkRDM$gC}mJ$`n7NiyrD0 ඳNZœ݂],BRMGԒ-Br ԦY}+{8b'!Fs.K=bwʥv;J"FaQ`~f,{- Io6(Pη-rB3~o|~uc^Od9e*a d8叀˜#I̙%}yJ,JL-AGzJ$C?G;.:~y0DU|eʵ*fx8HV1]'{"qC qQ%T0̎c֤DxyrZGQdiT-]%E(@5 P)F9*^/LUa`}z*I]9}NE ,7-m296][s47d 6X[AI+CDZP?$ kh*'Uuk;M~5F 'D40&o ,UPAP!Sz+> OŀpTI~F22 V]T%Fo8dAyARBۗe+uE?瓁Jvut%崋odR7nޕxu9Չ4h)RNwH܈+ځ#NͫPy+\4Ve#Tr'|-1Nci&/_$)(7A_1*Z&$ YH%loslٻ#?;Y9_mM&<EJ UE!4{V]7%3EgY4&IlCÐ><xy7pP GHc;5C@,V7ހŋNaYߜ([ɤȧAE4)9moz RX 4 HIJYڃ(eQ d_N"'$njcz{:uP_>bouK|Fp?w*LjjrZؿ!3*TiG>m&qsl ~ tuf6Pn9O C%uT91ANU5έ)3$0<.#K[k&9D6ؤ'}խ $|o?CHT+i^mkslZO`1".N4{S;g Q3Ґ})~^ti&e! reSI}x=U `SLňH%޶̘/V@bf;uh{ 0Q7Rm:v'ȰJA꧰AZ #}ܼJUiNcrIR ъzNjp' )FZXQ^1XxO_GYf K Ie JtB62꟤ 'Qbe;o^" t*|G!QΫǕwٖCUqH)e )Ӕ][n&R= Tl^@d";<|{KkjM+큿sg1+٥7pQHPm򫔨A&ЋH n"IKʶzSz,!vҌr[f^&nm3g|Vw[/rH2 Mfh܍!Ӽ纘K X{ ze:2Qm#=r21p3us=ۑAV4+c*-k*.QXIR($HA JFY6/qj֣~80uKiűӸЕNDj/w'4 DSk-޻"aMWVT?bkщfLj(4֒g G2ऄ1On2O`BmYVh^Mm."%Pqp?Iݫo\jo)d߁<"(3 ƣ& OnI u$bɿ&Xy5&[(H7u U^q2~7dU[y٨d%Nfѥ ꢀ1~!hV^܅.,_E%9>ၶg3A9g!md#zvU^JLnSx' fJM@>k[7@_V:X۶wٲuQ5(Xr;C?KJ9xp>3QMYאҐ!Qe_}Mk{5f2~#r ޜf&i:mr!Y%Sƙu5iUyN>bk0=i #37+ɇ\N5獵,:_ Kޱf0`':M:t"j6͊̒onIT9E^?nL%0{{og0|{Lo}nIbڎWsR,=}}r_:. LpNWD>}g;d^u5q&a:V+ǔ~zZ8K15Es qgRHP(K3J>?Q4Lduºѱ@u-ùᗏCeR3\(6pIqdcjֺٛMw;NS)̎pX3z%Wvo@g%%Lb=To'7m@9$I,L)pI$yu*=Wo.%`uQy֞&F Z<2l g 1gh .dSa}D(:rI%#1u}T&]Iyx@<:-_tEѽ%4Xl9/ Ĭ5ާ]fV2$+>nN*|SgS'mo]N@ҏ٢RK'5܀end7=OԺ)XyYJ}g;uM\\̒e9 mfI05S `Iz=EpCfƤ0.vL$9vsL(}dML[F\(k 26תWJG<\vT{ϻLjb:GD>P^呙+㉕m3(/-pD(bCFrn01oY&Y O\*!AM^Y$ޙhn6y{3x!O؛yb/-=0oR@@DEdf%FGHOd/fC=ހWu ';%Ή:uC O: g5fT{vLµMk]ŘJR\&?jJW*Zڹ[(yJ IẜmP|+8cZ iSg,H$!>u.tّV,ԆXD_2#v};ω٢g:d]58N$P3R8~D#7sA[.wGXZo[-vkOULE-5][`,$h% z5لp:z|ի7R~I1Ʉ=$GsTPOTu!ld'JNnWk%,M_ڵlMisHgה%$o-iI#PbE^O#*.!uς "e)sNRMlw#!p:./AÑ6(ƒ Wy~[9#}u%74$|^tѶ{+DU-_՛ Xq1\vplvkp>D’#Pu"X2"7Drٰq|+7wi;ϭs *}zh!.| l߶v41 M/W=^gCi%e_Uc,K顺^XB_H~f@a4F]s1_< u y?{UKnC/ ZWSOX{@ԑi+bj0/l:Ѵ1' tX s93@̰V=G2C!˵SDxMu;OK(jmJ=kSr.ϲ!D$i}{yۛX;Ƹm7SP|@v">9;v,MB&^ r6|6m~6Q8\';q(eȺrev5`bUO]wAϋYۧ? |ZBn"QS*H:IA }3Q{q bm!*JLIED YWQY۬"SZ)~lYDhK l,?ω`h72A>]]m@ s'$' e<#S/ iяAMY23e Kx|Q|e` ZTl|Bhї5ǻ8#lN kk{PbG[Vst Rj9ւt \?I@SQ%"S'ĩ?18MIq .nnt'sB'՚4ZZ}*zulZۀ;hq]ܡ|{|Bx0JPG |64X.5X^"Q`~ Q \y"H4Ql yrHg#z`d9@V#^^}P7zO9cH 'X{$Y)Gh`ћ[i¬GЬ@{ɖ\+yXC]'楱1eidp3J9p4iGRce_ॣUI/C X_1w#Dv.'݆J b8lJd3/#d)iЊ6n,[Mߵ8,weO |qB|TB AՐ6(/W"˚F!+"'AqX|:,۠I"5-K{Os2цM^ӕK%4[˵?g,wi"t:&}ժU=onԍ.%KcU. :>B?5b66z:ÍeA 1ԸϔUv&|F㵶Z6V@hhJόۋFNJp)؅ 4¥cmX jT}=g tBm8:sW/`@{N~ ZS77PHt\lR$yIġ2pmD T~c:QQ@ňeː7fMV Ц nP_>̬ (\?A@Ȳ :D͡ğ,ZTY"}N{2;3#eC JKN]E&`s.#M®gdbXD=KC, Q. :I8/g0X|>DV#^mw3jܱg,"$g-_+YA$_!'mĚS4h.gM䗲ȾPl!x X{AZ@a@uyzuH ccX1K$|,7ʔ1\ߩ0@E!8ɯ0 V'!2  O@H0Qmi56ʭh ]!1!tT_Jiʚ Ѕ[{K3<-TI@?{6E$`S6Ps:13S3Z6RWtVm'GQ=P;;{w 0EHVЇiD}8s F $~@B:-fI٫:wn(Pt!,t0ÈTTXSʾ4ƈc~J@}>d:6o7O *޴ HµI(_( t~3E0+<&qԚ Q SZ`paAhX Plv3RW,njkF%1 xO'(Dkkhm>\, |lcj`3D.y0 %֡}VENE{c%m!">4]#J?ӛi=)l'R1P/yofA.lMlխ"$~ACd^%cV`*[@VȲKRɦF h+4V*"I;2%9P^)Sg<<"'_';W=ت2LXKr,uEJsٕK5?j}<N(3hGc*݃#"jJ}G3 C'R?@[/n= A;ُOҵ-+RDFj*rļ5>M/>\-/ ^ĺ(R(>f"1¢DQN_},˂;'MmȾ86SǧrJn9:ނUQ偈ձDna<9p?kBv3N{[_C"g@7:@f#( b6mG*8рGF5(qIA0<#rdk1h !bD5:JkQDS|73TX -C>. ?2anR ᑑvV|S4S]D*٤qg<MAb\,pּ'KҼ# .{I[c &S/'͆R^\vVrqzr)H*\aG1URmsEJnI XG51ȶ9x5-qnaO7= 'ry'k~XfA*I-?QJ#D>2# Ĵ\'K&?BIr41 YA_[B;׺+~^TTȥ."GAkڭ%rٖQߍk$k졌_bnyXd:![*&/" T0dxYJ+  +Mu7C=P72`|N/g@r/ uF곜RoİXQXs3|F5]aA'0zdʭ㫑A:^@Ԙc<5H.6c5j`'- bVOAE [8GpG :[v?`=v-MSZҹa w pL0|XiVx{͋~8Ӝ`LgkM^S/ٶU.1Q"%4C= z=#VQh>ƀ=w=?(F9)% գa+t控Bѫ5.ޠ>qP O^+sI"..݌L롯&SƟoL7 uGq I%2枴@'h{ɥoK _%U,oF1,Kݏ൏(zUsW[絮ƋEU|sC?c1;M >dQe-آjG?vWnm%Xa@.y?\0.S}/敚!{5D'N0& r @:>ñV}(_W8ǽhȮ2x^S^LYbF"<}Oֈv@  ]/M% ߪe`m`|fSE3٧Q}ۺB+*'Q Sӛ*g7Rjjx|9hlW "t;C4ɜu$LvfNr` )e*gMqIQd+'#_iNEr%Wh31kى9{yjz~}[ĵm V1Qo\w{mӄ3h E\ONWCn}A"UmHBX/?jÇ`:g)Vnz z[\)lȂ_ Mc^FS&%|hwF(:UfOOۇdj13vVO Z̿fz.WC.r}Ў)%p( I&h!膨:VIYEFXP6_JWbpxC$!֎3Mj2}8t `_̳ёo;B1 t7#>*ٱ~VB8ɦūBmZy:EGW5iДGx(['KXnlJVhi"? vj{dI~Iƈ5cD JHұgƽ%8cD2r]fg#A0Q(xbKvڗ4*e,CH! 4!>^?8<28o}lL9?Cس"6G(2vŸwݣP'iaRPNbX& Pv3{M,2_ ֧AZF::M"tNPޛc"huS   ׇ,ًŃȇY Lz"KR pda-#<|odd@ֺIۑ1ӥZV4Um+MpKڟ5b%xyFX8靤</T!:!nw( ( BgC^>< 0%LՐ)HϹdg VP0ЄxKdWŖ [\eT۪ ye4#mo?S?wemR\ 0FufntlP7>5.TU16= 1 '12\d>#_BR9uCp)Ԍ,e ݆= Ky|bۍ#2#\6 !%Z:wCG 6c-^&e iFm48qJ#5i9;b[yœyjTȽSW 69$ m7rz(ja} {i4pFF pjoğ ܡYjv1rSujw"_izff(1- oHmT2ROp*C,Y^!zT.<\/N=UDO]z\D(0.ELC c[/Ӣդ^&J*zshZ}1-L$P޴0p^[r/9Hip6gU!ݐ2`)4"G=QpOF}[|;O:@+_2jspoCqlIG[)k& WIuWOQ C82'tHJ ǡswD9ϻ p#Q%e\KpfyvxL 5 'J" +^u#T< %w~>TZeD'ړe+ %eֆ$}+F(kT)*UOqt=GLE*N2%$3Y0vć1宨$3j]b}AVIL*c< (9 ! ν %pҥ^$së_zɵ{Ң[i|/&- bXE\L&W/@yw69貜a=8, xECgb ُҠg<{GvkA*KS%]24z |H SHX 7,Oպs=cQgYZ o/S% \Game_Based_CryptoGame_Based_Crypto.Guessing_Many_Onedocument.tex7zXZִF! gwh]A-MՋhvG"uIBm5:EiƘ 7_,bbZFJ#ZqAa[*1ɲn=*wl= 'Ⱥj®h䁦TCpܷ蒠5a>Tӥ8pYI( JYZ Ms;:(ܙ8{MY:~zH> -lp $@ E6;½!ω}`qΉ J _-RI-7-5a }Rjt63!`$zch?7#!O>)̇yi߬wg ޙx:iI_3TB4ް@CtWULG %$MGy#vZF$=xcR)!t76hD0cTR4YNQu;p#6#ys$|:S #fC!1*0`2=i}$_r&ڴ}" x9K^}'\6KfdԂM{4`甦D~LզsY3ϙet5Nx^-PqQ0Y5*t~zAmPhQ(1r#Z=ІvKPo\4$mސ ^D'}e,@|?76GOa|oͺvfa4͐:J׼eS!N|U2;05Sy, AW>.5!6bXźH%X[I8Y4FsD90-Q`;ty|=Aڊr{"?Y%{4!Rڨ06]izwk4QwdF)drzqv"_ttli$̬Xnfa vw7AqK&]wKMES[Ӎ__|u}a*rPa$Q zd7}EHƩSzCW1:DYuN*(xUl۹@jfˈP~NVeI;uixo8G _ XZ_Uuyb)x6} Xi1QLj~o(3FKG21$"~E'D7L/x<'ܙoxy )χxF!~5k +]Еb{]G9]Qj=en# v x[_.KECۇ&wtRM3&$00SЎJ:0,XhfG;9wk.ƕ6=qZ᰷Qϝ$śx\>bb嗌)[xCm\F9>弗!Y<8 ROaxd v~Iv!]VCb2g,}\ǿFd.~ܕш ؇>Cbz0*t3OÖ9=HV F=[4c5f"Iı*ɏOLw󒋣_1@C՟:gVS:㦐F FIs4C˴&jji~t $,}J_I|74L@WٟQWnV SyNam#KVTaw =M/ h c3 (JA!XrVFǘyId?11.)r*Pׇ4⦦Vdz'-!L wvh[$ӅhހL^YcMϛ/\{c5+ wpv6jA>h{]CyG}ǰ3u`mh8ZRq2EYf/|w`UyXJ;T*2[5iI$-Z䇌U5\7:%N坓 Di/>pt)oWW3%|PRe*V@=^%v.]`c9_;v9rK17pM:CbMHMP_yM!ZwTpfZj=XUEBi+ }NXbhMujǝdF8;Og>hg[<~fOeb=w)Y:]+CpI~K! y50=r&?A@b{ÔBDG޴Pj׽c>a`;܇Ch履r[<1[al^6BQ# IzŐOgaI9g)L-e?b⪚vCbyz!+ ܋M m@6v'҆{ο{ʒyHms8w=]؃l Z>TŻ9^i4?zB+ݰ.[gm3Een1ڗW=J/1˪lqwE“lGZGD9PbD^)[zx%A6O!D:&4< *{;i)417P4_aHPED+DUa)yN0TMG0j Vp͌'~N1=}cF(.x9\[3˚@ &5M-$ɩzTq=G~{t5å!aZhjr zWdғ!aي=$Q"POOC#oV=U~G$(F gy0COk(W&mMdT/ P~|o:ۉPs *,r,|^/CA_=!=#qsgv֒ g Cw,O [GWV@ճNoo>TYhi-p-`8ģhLw9%p?R٩Tc\e-@ع<_U`B Wv@D%xhYtG{*EUK)+yj2&K7gנ|;Kr?gl.]gyz{s 5lT݊XCJwfR"o Of}h8cdy%sptcb澼̝e8nAM[A΅{{D?TU|$q(R%8#^ĔxOJkԋ;<;T;E~>m?Kt}]2ē|!+O3̷&{,[dA C_[}e"[gDB3,*%fL5M&g>9-u=1q-5<;˓\^;⋐NRϥjљ%F8~m7Tqf@7OT>U>ɴ6=^%bzC6í>ٖ&E@ҮޮsP15RM?H; GXS ~8habAh0E.H] vL؜/vWpw2%\g#sK]4[ s6,L1ѷ-rEQvwx_-bdo[j&|h-2?'iRbWJB\p $OtIh$i7=@cG$3ÓPr$)$[nC(>Pt+mPy:_jx#}4YL*IB10@R>N] ~}#NytXL0W ՊMB)5ֻjFN(N1ҖM/Q 0RkվX6r-dCը¯#sDS˅ʳ~kWL9Q\hś} Nvxq/5r+8֗$}팅6LmIv!d#)]sAQV3X݄q(%&:=ѻՐ%ZQpU΄O/L Or8wJLr-BwG p/Kϣi?3ڬئJ6Ts_)To_w k0%0kjCa @_ 'LAV'C&1FNL$aA Ž|ۼL/x*v9w(R46Dooa3Va逹62eet:&g vZTD< VA!qX"@3 +Szy ה[ԪVI(aSNEj,@jjg3Ϲ&,xZ(ϽC%pnITլHdr$6ڗ[ᳶYl X7څ9dqBγq/O.KJthMCnEGm@Vx)3,0epB0?ْr`}]K'{K xf<vMH#XY6,tz"?"?0IZ"d}qe׈M[l2A _sijݹ ;?$2Jvˮ$3r02lSOP3- Ո°qis3-RmNA˕1I$qo1a67s-YxM\iڃjPZg!]AjPH^DU/oT&kX W\͍ӋLC$o-[71ȝz؆W8~@B^/^ŕanցR! ٿd>&R?L.n'@Ъ!b`4jJ w,ά~>\'KVX(K~fÿ?4Aʙ{'c`w"مA&kvn+ 2&;&TC3&E Fkb3rM\Fn <2R;S'9ZZ |jz2;,dp ME K][hlJ o!srشŊω]vI๾|gK$ Ofx mQ|Tt;$'< Jri;&D2@tʼn]&, 5#帠h.r$/fڳýjmnjM$dgrUgӏp~ & w).GL"܈ԊzisZQflOk~?nF\d@Z6Q.|.#YOyPOz3n}GNҁZ4$P/&Qͤc8}f d(V"Wė?w~eJr^X3V(|߸!=n]A:|'(Ez%뢹J1'σ}Apgb$+}`;.цxᏔ 4XqK|~vƯjoX`;4R8҆ϊrmYFcq CecBG7 x2~'-49!_! vP&nlgx~T/-dHJ14U]J/Rӡ>LPvV^<}W+GPEj3Z}LZtvIt^)n"=ʵ}:KSm9LuHHuvBrz)?Ty:MGէ =S3% :ֲ,3^f rA5FCQ@^֏T(`]Vqdh,J)&4j4[ULBzZ>ЦՇ2R=(&Ar i'g=`RH fpՍNcN턾0)܇f;&H>(zPx42TNZ p;(F XY(F}!gjx;m<l|9Yn6 8y_xi+,]g7x'gYZ %/?% \Game_Based_CryptoGame_Based_Crypto.PRF_UHFdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5mn ZO9E\8%ϋci[by1mW`<'KwpKŰG-4!NӶ~!;ΞI.\Zj$"%v;ar)+_߀i>0yKwbّ0 $e4g +dԋ+VgƒuVT͂ڨÐF5'-ȸf{Բa(.r FƆl6E+OA?W,ۍ5062,'aR$aj{عQ Wչ:=(Es<ذ":bx|",@UFJt:2.pj1[p0H185T`H0eG|rTa=!|z&tl$o JgD?J2C2ay_ҘTvU 8wZ*-$I;?EAuK "ct5BKA(=/R#dԯw4XR<?n Js]Zn/*qmȬ3W>iS,~7{uQwL }~\_]x{W֯jFJ.rZ> zw7DYy-aQkB><#oYu (>M( 6I%):/,\D;Z5_]5@0D6fAZ}r2prK:uE Uyyj ­CRChޘ*HO}zq$-G:dܐ|_6E沛"]PVI7x5}6lw3)wA^*d1J"E6BBɿ  1{ 2^'Zw?$ SYU]$227 -oAg$Ḕ!i6<Lk ݑ6i p5CyRǰȒ'Z˛iBT8= и93 5;ǎq;HθVNO3LjV[!drR٬v"PF^僱NH.RLG{PM4VKL2@aK^܈6Tcj6b8VpЏ)7i6/,Z"=ȍSs_uQm\+)@ w*B"=O^4F^a?o>q_$\i$_s "h)өż  wx p} T|#MB|x.PpQ[~}%{ jc746;1僦yx,S'TB ]j㈰:}9[:C;xUIb۞p0y A? V^N ib?g'dld!ȟ0>L1Ǔou!6)a#ieO=q/OW'pmEZR157OESm-{0zЕȖ\?Sb7th}aT4b&Ds̐;hA oiЙ*~c)7R͑gb>r1Y#:nƈa}˚ ^1ʲVf8"nfJ}6lh'h~6]IfD4%C ip`2oWdVǼņ`{['zqW~qK)5:hh$a.c ,7+;ilͤMD'E񧎃J`!%/w~#jo#'AQu4ː?K)Ĕjwc\L΁Ihz@a9rYa5* |&YwgisjXd:xBf*%]eɥz;re6!w3^9+l,zI?@tx2|m ~YO5Ľ-0K,@Gȁymo''AHm* 6TUipNX^B؏hwZR_l RcE26QDt.qj~ hA/~0KB/Bs+y*pjR$b̨w=?^m)64`xÄfD[r׀i ȇ9?{73p9B AT;8 uUi4]O7P)+<#c:^RRЎc f䝆\R ˵å cϐ99,xi98'@M,'qf˱P RZ䟸dCn *€8\a9zŚfB쬐'V쭍9b*RA/'źX+)ijŋTS3&{mJȹN2[D,TJےJbzAЊEO }Rȯϱ&H+r@YwF0F+l?t+'mT9l1` ̀HPt~% ~S_CڔLWO2INvrd^H.L6? F)٩o7O;б6~<slJ3Uǃ({w'j.ލeD反wR/i-L$;8륫-˲˙|Iuy(o o 2 (^LG#Sb|vMB7=(+VMły뭗cISA=]DCxQdw:]L'G CZ:o8F&:]#/ᵎ2\١xUvg I-ᅜ_LVY`[a^E{}R'lͫA̾W6_Ugqc[c!1OZ1`{f./iYOXv%쑩UYUJՏO7Z}=q{wS?ߏz-'ER֯@mH#ĥ!`n/VD߬1y՘wާ2d`T.Ax lזw.]a1IuQgj_jƳjɘx?uoL \`zzυ܏)j-39p]\ i%$0Bꨨi#zJDjC-PWTer9._pUP$Mslƶ_̎2د@O _Hjt/uum't8K:f=فDz2C$j,:{Z|W7>;5{ ?.%=2R\@pѴIr1upQU&EX#p>̔;'zz{N K< =[=1=H|f:IWKM~[mgÄX^{Y n͐}BɁ`#Ydd{G"BG 1 Pc1e8ś4#3LBYȿ~<{GԜp;5iOU/~n RusN33HaւaYQ6n~5(! z"7rȜPDAJ<{P&FQ)iJpI(2`I*v]*Xl?8[D18v+YhPpx<6B],*L:FP0M3\->M˅7x D8VdqgLw]Ox;VNDO xW2VVf"K^Шb!0~6Sdʄ^<.ua5gJ[}$u(wdp(rST V]Qtfr$NM)iY \ #륖U[VuUH_YIq]1n 6{L?:2W=mF_̐:9E+ah!ADȣ,?k[Ma.1OJ6u@EBt;{DB?Lw <(TܶW(ul Ϻwao;Ke:jxr,Oh,jæ·ij m5@=#wdq^f՛ks(!͖/twxQB;)~vRy2Dˢ=| w  O+]ώA%[_+;37`f uԘ,! wKC"IPQ.7n\АR8c0S ؆Nk58Ĝ3 >`:mex@U7-*@#Su0' Oilj41nv1ŹrWqILꀃѬ9_A]\64 a_"QS 6"/J@G%\]3Yk[ۙ<g$`:W[;zM Tb69_QZu?׊0}k@\bc}TjUŸZ5%&'+QKJn~A߃&1>DU$c:2DɅ(<+\};9Pq|kUM9wKE0%M5yFi/ըq[kb6=QxFb8k q`^QdX(-UjrJl ^Ňbk&tሑ$t[_\Ac -YܽI\͜ TiA-U&96Ჷ1)vu~#sENŧ֟\Li&_PC*SNOwCSo3 3M0\N8tܪ</~%^ l\G(T4.8?p;;vt' PwxfA ̨\[Q?^WW.he4z 4}|dME9 4,Ƌ|S8!^v>/mO 6:ouZŀH=M_hd :4fva&[*'5d 7vBh+oi`sۄ:"M+^;\d \i.WU'})|±gYZ  &/A% \Game_Based_CryptoGame_Based_Crypto.IND_CCA2document.tex7zXZִF! ෂ]A-MՋhvG"uIBm5f;Qӂ.~M{{6m}J=e1ͅΤ%Rz:+}^Kk:u 1CzPt9;^lWjdo;{4Dޮ2w/lTI Koup[BZyK99o!g.rr!JiCxךh*b;yؓ jM x')b^{um4%LWTތyZBqξ y,3y|z#ݗ2 :2 j%B1/tC u \'ynWX|3&OVF-p)9ۤYmWDx?|:0`kψX'k;>+/;% lGame_Based_CryptoGame_Based_Crypto.RP_RFdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Δ^ c`m*~H8DcP>1>z+AAqNa,d/>9ЎM9-ubt8S ] ūF8˫vtЛ((X&m?cTWnՔWO6;Փ|e|%^IR bEuq%|TʔG'?iG7fr`0r~"V=:OeZ1%ASr.8 h1Jp>1y(S { Cv]] _ɗЧoSVɚۜNhqY潃~)`}@^@C}[\ @HYyYj %)>"qmc^✼>muApS'/zjXcaH^sQ 63WR~A9\z6w% |WgH@ jdw!O4ioQY5X>THq >Hb!ۙw2.M+O'|2Ó*]{FbBvzAiqNb&PlPo,ɋ."DL ˜Ub%qL-4 ]1Uȵ*w0#,3^ E ey >6Jݯ]9'^[Ade.;aԝ"4JI Ӌ (wnc}zF/gfnSt]t уDs%4|uz ]d=xګ q`G=›hfMe+u^#:! BhgDh&b^8q3"Ź̜UsZR+?`̗ QG 6UU<JLZt zgتY¼,s5$=|5HEq&]@ܥ'[-4Q8D"_y"쵚e֢ (ę#Z':qG^oXicV¶:{#~X_qg$S/6i Γ$nj"l)uAIUZ-K+K\]Њi}a6I2 #+oV6*烒'e1ҳ`KGdS 5Z炎/ڙ]ckq{5Cudn!۟V* /&^>Nu8z%&Dn 41uXCrf~;2BX9xAZW,%1sܮ֟[PCIoMpwmG t w[-ƧxErbuhȽC]\[b$٪Il$ceiV8"גCT0Cv4B޾jzB*5U^5g3mišP'|xE*DhSf% eU-?i]*k+sl2{`SϿy#`șnkUXLb Ta~)BVk"?X O\vjv0Y:''r[e9&A57-@r0{P20!&؊GJ}nSM$r@x32ٯ.ծ ËNs9SgIEa}^K;&E?h$Rl#W2I.+UF!<< y6׀RTmTx:Rd*3腯i*X 60mЋs3ަL`@UF 0Ob'(h}yKi@vΣ7n̎ av!aRPHL~GÕqI_s6~5|O> dUO)L"cS  t!ޔ+!9X~p +6@ؙ쀼>rxȵ3+MB)7Ox.~Y5n9 5zY|yo&d;@"D $5!X;=\qfЍ" tnB#M@>ñkOFJD us9=rVQ}ڼh1ɳyQ+DT;[8Y <%z/ghPGYi~0R+od>N/[}׵HCvh«PNNۙO}`_*C4dQvi7=:C76*=KE\b\pQ1s']Z}[z}~'wCh/ďy|9m";a+2$ݯ駆OzD̊wJOhf˿,\0Z89iNLÆ[3. rQS~ yاn9(zƷCK/TFʾ:f RZyCD&e faCwB i: 'ݜ#v0_h-HE)O# OQhO!9sqbrՖ9gI3{uv?ReHZNdj_7bq WC2{5R /g4RwP!B$QRX @H&kRPofH )BYSJ!Tи7J#Gtg \py K<$ -OugwCTI[Ifl("Yl*ꨶqO7. Nʒ>ȮɑM~}1̉ VJw>MRےMw޸@RpN7|<\E}Z ݦ0Bz`jO?jG/}s.y=Nт"Yڌ^h[l[: $tCBAkk:RhI|qjG(U$a!P.nՏٖmLC Cn\ܓ0 5 U@1٬jY>982VaI~Fx/74dJ)#X$Z@;A$aydtL8R=᱈hЗJدSF(vWӳಗ&A;HGWWPd+ MEENƳ|D5j6(4 M5H| <ZrwÀӶ ԒBPpW >0v!EI0v=fߒRn>?4kdܞ._%+xޥ/hZ 1XSn{ԟ$TgyߺnZR{$~8C?|5IKW| /%rmY^[CJDU4i^͢ڪv-A Fr{J[eF{!F]Jۯ,"bph7GNiRAZoSusc%nHÿڡ}m!TC*+YY89ȷm†vNOr]"b[hhGn]KvD(b}ʲ敫 .-hfXjSӝBH8iPCWQɜu44e;5$\/*=h9OnB7DP|U]Q ^Lre%)[2B4k\OB .aAtq,ށu ӗO}ĨXGܒ@`Z)J0ݓzH*EJ(B ,a<+ߴnpL';BRE`}XJeSzUeSScW ]$:f:ufٖ5%>@7\M,))ZlwFUsVͤͮM훀N$ pgZ0DtGs;fފ"(;G5~2tYٳ 1'5wZ/|Hwo)/|PKA7)^Q#cRK9~5a6A@.bg`mHKnㄷ]IϬ٩˜=j:'@|=}Xөm~<%zj59C񢶵s%ݯYuw-tH83yL1h?Y3{xGwUwbӅvɱ>(ez!U'3ine:Ey(l?B.sN` $Q~lS$3+RQ?z,~!H/+!^^[`\;ī^s7^xWjTc p6Iկ{#8AlM~$;%Y![eňYݴIІpz>u fk/P-,cvC86A!`@m QϨ\O$,q^Hj3!RDZgYZ /?% 4Game_Based_CryptoGame_Based_Crypto.SUF_CMAdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ț4P9S)e~~M{{^8*vK5dh~ġ@IjueTڏ/m /qu.jp vcXL_v/#mwwL0LW q-@E֗G/uBEdbXe! ٟ(7S`泝Χ=5Ȕ<>ZDz"PI9O-=4$6i,6O|PFcz8Z'2)ʞ&]ĬdZY"mR-yMչ@]6 [x -(90O aT1. r0ʒ{邏`DhM4MjV \2YSK+Y7ȨӜQhW$<qszBj*Ŭ=wZMF/Qu!=Mb;ZZqM]Fha!_c:Ǐ"Son,;֤93h]Bgr=pP=U^vﲯ%  \ Bj+(D 9:^I KޞaPXG2YtBު =vŮP&˶yJ `m(%-+*4 +u@Tm1՛$Hn{aH9SFm3 2mB_ݒmRK22*j;)ti%]B VFٝō LK 6LK^gJw^VƹF{fμ ZLkIf^5N3Xn/^Zg54p,3?`WyUɼϙ_poro;R;7Q:jaZ(|J"g#Dp_l>*1NMNzIf3%Wk\e% 8_׀:[17闗Fy:S$U{S#6&%.{{`ޅkzv,vrKzk/AۢGX La?<7`lڗ8W3 DI&]Bg}虃ԯ=i D܈ѩ`T6(u|Wsg嫲]5a}ХZJV#jLeu$ =XtjAP+U"9{{$(qS1>vTҘ4%qb?l(q+XVti2|5basU,ݲ28j͉aQF٪E  )%n.No?7Iti' Z~l$l2lNA j}8.,t#O;rhQuZ*Ib"b8HcC5|>_SFHnwrc?4:nbL9&wFGODAZuQg_m'2xÈw)FPOn'dhk\ "3Eᡳ&wW_ٳ)4;d|cEDJwu.BbO/+]K]y=(߈qRPGቁHxf't:YݜL(m.۹>^o%6"b؛}vfDD$h{9 wg$I\)/wquS m|qy 9W;6nIt+כc}4&6.vK[,W /TU*82I\V+đ}_h'ӎeStt`ZYŠaXYMt~V&C !@Rg\!?EXM i'oMLSb\h|Wi3@ҷ "1*[M#HyrCc/s)_e,x8pEʈqQ[6ϲrSj.1Il,5"JԑTtO)Crfm귭iO J!E<"e$O_ 41n+Mei boN1,ni\Ip{&ױɈgΡD퍿Qi;4#0 g] eN&,7>OaA3y/mgVL[ĚP0z)GKXv3ffxgm-{T'p̜6]凁eJ˙3D ›_d{-3gɉt7k{!(RӃn$qF ڗFIU<` 1rδ̎|;FTmG(z]WZY'{P/ -Ү;)UG Zϊ݀R<X#xjpzP^s1BZ0<.y ߊ_J9IBpmG1X:;@cLՉmF,[b}/ϑSel,|PM~S 4QW9y.; ejS&"~hU*+X_ɇʵM =gYZ Q /?% 4Game_Based_CryptoGame_Based_Crypto.Elgamaldocument.tex7zXZִF! h ]A-MՋhvG"uIBm5n0;5PJ 68B61ǖW` Y뇂df.iQ¹<[Ez y8&ks/0Ṫ_&Q"#ax3T|ct|"eώD|3pBR\+rqR*cP };@7]Ey,DMc3YL "c qynϯicrXdEX5z۔ 0zJxB;=HeLs1 4`y=45Ѽ1B泩ٌ˜`ZQ\D\f̠M2dK4Oy1ȄZӯ1zQ?}iao'`=u''-ڡ!񵦀OH!^yXVjDfeܰHb# T߄Y_A<l+2UefG\r:M<Ojw6l"՘Zc'<pDEBbgmt^"~6ݓ__=;; 70n=-ŁJ-,S}v^)IK!m w:Y#h銙P&JX=լ1RUA[.!]."YDCr 39ԁň˪Ck&|+d25h);طI{RmW:@# Ewh0c@[aAͦt?_ [)3XF'2UwOjFNR-W4^ZJ+{n9m2)#i7WIHvI(U ޣ"@E m,yWFԆ%"uqF.Ǯ5X(5VB,7.qrr("Jpz[1q9 yԂ%oY2)=ϦfecɞbСNClb?c_BC;gӐ>o$h=] ?h\.˧Zt=Gw~48vz[mcuZ* ^&o7=зM M*go(NZ ę=?|} Fͦ]NKپ/"T4O' ;[]jsK{~1qR;yJN<ٕ3 nk\_\,$/(~Y;HU~D Y7̄wœ9Bd`ҷsݠLWsɫ1Ijʒ%3~ l* 3^-~_T60W?<ݧo~NT C@x%a'7;fg!pS _(ϓOD0(;w9p28ݕWdOH˵Al$Nz6MzVTPLHSͰ$/ژ_FD(Tndfr@I|cַ$:?hTCF*i! g򬸜-)gYZ  /E% Game_Based_CryptoGame_Based_Crypto.IND_CPA_PKdocument.tex7zXZִF! :]A-MՋhvG"uIBm5f;Qӂ.~M{{L{g..ڢZ‡BBX00S&)_}s61pQ =bDH`df.B^^F_/i= 3)^dUss'-O2]"iz }kLk=XFNfP(TDFe QPFb?2+T͆kAG+zyT[AKN(UH#1rL|OlB(A~dn3 ۔ޢKNIHfΜ_?:l{n6k' &Kmglݔ4aTBwrm7FApV^w?u#żv6!-m4qbTrF;iPCJuKr&6:ڏ *ˬCKPV,. Eq3za PNj(߼ ) h JC7Ξ>P\DhEݘ}mU0N?]Jٳf"ks4Vm`p8K)2ݵC/jOoeKEX5  ?vro>E+kLh~{a(ڙLTS+ Gaz}Ay|߹7J]t!bf IKz1,K%!jm>:~2T'cJΨHՉS+: kF-x'j"F$"!b/ ׇpS'~D5vJ\b~{e 2&sRcIXBfG˖+%a2r*3M7Tp(n PD(PM nz a]P#"5V||%lDù!l'a50tl&XCX{*S>K#qEFcO9L*+.q1#,qᎅ!? Xv ~Hɨ_?xO#TO#c? 4Jy'awr \S2X<:=hWטYwE֌rWnHz]uL*A$p3Ⱥ_NNq&nsGQ>v٩!rÍM@h -{+ xX{~" 35=-N,nr\ WDA(,i-.8@4 aV~ 4ʝlĞt P\'A~HZIui3?$nu%W ]:<|jB?Xs sd9اL cf1}:@Vst_]Eh`OVP8uBtM(U^45 lin{+QY +9":&j&GE3C!X$hiFMaO10GEH0>;w:){Dh]rA' mVz3 gn=r[¢S\]g%_߲qx6 qϣe !|2 !֫_&OI~\%ԚsU7J *`tYjD`~߲DTd4݋//0lb8a> ߯V ] R2Gu' i otJ1gYZ ((U /?% '$0 MH>ڪѫOrƱjҊQ;4 ? ՗uكV(MZ9#4}d vy >5E/9 VNz1^ ۉ"#!X4i3^άCGlN:CLGFk yˡJ8.`YH:nۄ8YR= :"PZ.0]r8^Պ `;ߴ-|nvf?`PAC73w^C@Q $|ߐ5%J$(3,b@=OlsA+B`cQ^'1q7?9v$]dnRMl}[D(~'g`U.aT&LK-ic6|^_yk*3b* I>,V3嬚7k;B!N饡gm?xJ)6* ^㊓q#ŽocYPO\,oG9d[y m=SpDCb.Wl9n2n|5q#%`FR)7ØH6O"i_6 ꌴ%hia=̓E&S_`,χ9Ǹ(xjsR#+q<em :h}F:rc7 j9{u^ac/x.6N?xDl>LeU w :頻˟= - e]_ܠ {r8pȭ\hT9r{G̔G~3bQpBn!i^)X#lܻ"dņIFOnHu~r=jqm7ѮVq͓׸uf:wU8 x1gq?}sek>՟ep:DZM/#QC頊izB#SYe>'y,>zV7"CUkqUx2ÇYCsRe8?;Kss<ԕöݒxdٲ[k>HNk5Q2CwZw?QI{KmĝPW?|`I'gjH㙵ګH {8hG֧~ $V 1 \ r6(4abAIFB#'XQC,ʦ3#jD>E}Mr IDT5r00ʋ\@xޫVu0"m35[c1I< 늸cY:c-ʐ1RFj[N;iHٷY)Z&FDQ]4ҶVBd% "ETh_m\IM's|S\&//Q8Jh!bL%Wۺ*da_.;oGX: k0_ @Qx1jAgQ\E:Vha%B;T4  ~ePĭ7P`̺ V9T q#Yuy)l%ƣS8#,XR]~~vnc/0._v֮נ6P#R$yH j7572`&ㄮ ޚ2Ʀ굚/t" c3 U-;ݾc]QkhϜ#[^45-d"Pag5Yl̒],"!,: g.j..ll=^96v {-}fܪZrZk[3oa^P#Z'FaY$$8 48@Tm0f%!x .l럐8h}x> Z:8)J@mYHʆMܬ/In6#Dw3QƪC~8gYZ fqf/M% Game_Based_CryptoGame_Based_Crypto.Diffie_Hellmandocument.tex7zXZִF! 0]A-MՋhvG"uIBm5ؙ%p $(-M|<'TeT`SyK4=W?*YRC!Ict,Q(hl_zv=(C|IQG8M|qeD찢:,~j\ۚ]4/oւʦݼej%V?LB*95FE~r#x;s3 [qśjYAHB/'}+*_5sۻпY?qf|&n&P-W3z*xYGfJѧtMOYG8IC Y yekLzqe%|]O c~+R0Vٟ4O 3Jꌸre=}ײx{;dB~RɅ!L14bޞSg GdY6h8u2%I5?\߰SZ`PtV<t%)\ {lEݰDHR?M`]J2uq)cΆJZS6/S[`!GHBR{ɔ˕۟!f\ʅ`>O ѸJbwPm;$@j$_Y)uA23QAԽ-K@'ELjR(6WY  " .51(@GB”pZ.WצpMphK ~1-kAT*c3U]|bw3c^~_I]kaS,^F+4/۪R[ Y/xCQcVXН8QmY+Q9Fc-,ZX*T~߂9QY_x G ƒP<` K,Ez3+G} ,͆jo`%W^Fr-`2s N|O}{7e'C IiS\zsՍ{D8NPQ"{5'zRR{kDy< mQc\ x_μGڛ__feED!%%PCsGfuF$u`X"Fy󨻐'!YDv),;P9JDf afFS`Y0 ;87+ɱ!|:@kMl& `A'RIMru.i3bH\TڊX㙧@˽{Լ9T ;Ft `'=e8}tb>'wgȣ.3M߼uFCSQ7*P.<8J> a|p0fgYZ /]% Game_Based_CryptoGame_Based_Crypto.Pseudo_Random_Functiondocument.tex7zXZִF! >W]A-MՋhvG"uIBm5ƍ@Arai @2Ys*S6\Ұ% gƻ>sp61_Sf>3no1d}@u6 y0Aaƶ.Ej/7\rxVҺzFMm xtB Ɋ@/z*@ iډĶ?7ݑ%B_e<nLB"qV&9XCn}j 6Kk߂!q!826AVDk(|tBځ2a*[0с^Xjp*)3i5 g31I\?!W]ZIo qF}hؓ]uEcVXl%%-* WwņwЉ͡BSBbkN}r@2{/կ<<1!x88!Ws61(# ';2LuSLЖ:1}& 6}+A? }{`w>XQ } (?>D`v<e[ B*f&ZoӘq@k0M?Gh<,\Q1l=$?Qd<oq 3QT迖řKvc4ݺ"e*=-gPcӶ}x#V~fv7aC5B!*% :CFxVTp#`e{UH"nqee!y/S'N$7.`bXtԫXw=Zt7Ua΁7bg~#4Rmp.YSnC&ތ0GH?5|?Qct} oǯo.iB1 N4JYEⱧ-c;>i+E``%ZRF`1i }|JA,\i0d.v94_웨!f1exVu"yƮe4/k*Et 2- i۶GGBG-u68`j YBHK5e6,-" kDfoKmt[ԜD {ڱ:(ڽ*~x'}Zf*I+˜X4XSf0΃jSU esӇ9ЌfI cړZȇԪ/ւ na^-aջXJ5̮+>D4g{Tqڏy'λ^(R\ ?3qۦM -!X'o1ᛘgM.# 7vx8ӣ䯽.Q}Ê:Ai}n6X$5'/D\:HS\F (keqg_>/PbT5k2Z4a I+K;jF[qm #GNZp4IkȂ xJ5̄+[M:\F3~]?xr{М`#p8)%\fj7,^rFNc|А*~;@e6\񘗍$K<UT#d$9Ymotˁ0VCW¯JZyW Atg q9F'=ѕn3X Ii3d8WU)_H|`3%Q4S>gd7.~ *; #= ϹX\LbewĔe QGL`/\ 膌gݍudGg) h[j>'궍5N+Ķ[~lO4' #W0|H+xܠY4CvzSR!{ΖN>^8ߌWՍͷO+i+ҋ\S=gIC۠ ^^\hlO\\c `=1`[SFTs T@2GI2*"Tp`ӅHp@6WY=3EIGS<E Ԯ4d:B%dNv9Zpٝ(P #;TDt~C n`bXh6V(m*҄8 ᜨޫS,Hu:tH 5\ te+%P{ZKb…I\c]Dz}]>2TT4WC% 3=O"ʡi9_ 6\qLjرQmob[/5I65ժKyLa0Bj?n0v'zhxԧ+JjqeI‚~9@Ηx$qhGfk Y6%vT3)6V/WC3-Ӌu}XZ~gY*2?A4͵JKSR^)pU?Q 嘝/ʳ&G6EF#|cȶMf",Ajz SK%_TJLSx<pS!p LӄʱgYZ[/S% 4Game_Based_CryptoGame_Based_Crypto.IND_CPA_PK_Singledocument.tex7zXZִF! #]A-MՋhvG"uIBm5f;Qӂ.~M{{L{g0:j(I\ΥsDx=`P_~J=%)'&_MSՊ@ e&{XC ~Z[-IPGzB+pPe?AiLoiR]u7la 9_48kQ<|ҕ~Μw8UOvV@vkHH䬴ţ.&1 Om1ZF0u*&{TBAL>Fkհ\a0 ŧKG,$~tAdW^rhHwHfU*uc_F(F1kʊ k3zE|w.BQ'Q9KXϙ31>gKm\- N~wGPrWA YPmN 9qFOMkr~d#%^ay;ÌUg[LeUC.l .kժO-"^^/*}}YmHJ\vL7nF㳴&}fx H$)iqM"X T'/EgMp\5Vjhp4T~zV%{V$f7OdxT!*I_<+ h>}zWLWZlK@:`LWgu̷AWWJ|@L GΆ9[ü' 8ާ]bZ ރ<[>Q#tr=}v +9ղ~\Pm3K$YH1`c`(H-y].Q jD0@PCvEyڋl9'?Kdj<2?O^ Eۨ+=3JWɁ÷Wϙ'9ß!Dp}F vNUT,j3ΧC@3~V1:.<:5;KX!蒆KL[G23C6Ƅ֝2He>VR)C0Vs5|9u{e;s|Or5'ank&Qʚ*,p:h1O}KKLu+M/BpUkA)yk]?2{MͲfm!- dӧpP?_oECmҩY.׭w h+FKS72H֎]GKeK=~{J^d: }0f¹גGhH#V4V5g՛o嘙1O;3+ϐKCI[+@G[@B 'psf4iqEXsZR9X>xTA 8[H:U4>'s")CC qHKP%2C˫B9z"1桊5=#n(ʉƏo}"5A2 eHy} 5)!zyF"cH8ZinyjCDlfۚ=`ǖ>]/R+]QUvcU6WWAgP7<^H!,"ϭ4V2Fxjwl"߅ tb&ۺ4YhZuvgʂ$I[+ڝfF"ttԉ4cB15xFq' ^|HiH"gYb/@TTu:m^n-Tl(5l|$NG/n$zuKr;k Υ2ʶS76W匷:qv\z>-&D̋#&=m49hӬaL&%!˰ KD0@bؤgd8B89&/4b))u(1ظǨgE ?RF'M xg M̍$L3]`"uID~Wv b?'CEu0 3 >@gYZ}/g% dGame_Based_CryptoGame_Based_Crypto.Cryptographic_Constructionsdocument.tex7zXZִF! k]A-MՋhvG"uIBm5ߒ񙺟5X:n_ lj-4$F_v1c'[qg )UJƅ[2rcd k/ɤXs0^ m*ǡcX O _m䕾.G"ϴ9:i=.a`!0ʛ0ߝDOISq<(.&YEӕ{t5agg&pܖ~-"FvXqYw (+`#Hs,tBu[=P^L<-a8s mB ת5Gf:w5 tq47],R-cgYZ3/K% lGame_Based_CryptoGame_Based_Crypto.Security_Specdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5H}UV)i9W cKcM֛O#:a #!Z(# 7hIW뺵nbEE<<ύ L ϫHx5t^ `A Z(>xg}ypu:6t}(#uM RQ2:<_L( i# U*P5SHgm;{;R:|&ZU:ka 4F3-J'DVI[p3_9LSTd I4'u gYZ-:CH!vg-J Eo[>؇ KzSduTu@ vѬ,a2 +[xP gxO[٧cq@'"*9kkw?teJ &M͞2`IBZ:' .SMs~#Xܑc\Vd !ɫT}*Yę5:]-R "@*w>]ph5;2enh rg4K◐6.9$;a tN;#Iog(×2QbcM 7 vy eU ?'!F|>rܥi8ǼCqI9()/:KsRh7m.qKS0!h@@<=`A0D+PJ0,v#㰋ۤgM5WSv"nߟs:FK]dt/;%:|f2\X9z .0Oe%wp ]Udh~,A3 ߲ "HLZcc `eEHZ]θ T]~Cxam%S!:cBgP|`@ EdDhvxLr@qlKcvdMc*L{XUcv+Rd `~@5zGsd(=@Md2_>2IڥG+ 4X0L'm: &Ma>4oɨהm>}&o:.ýܦĒ[:dž-Q.(Gve{G]4٥,T?_с6X~ j ԅ%8 gt{0]!vxkCrn_~阙'Mيa}^@;?wZIwжk~ef6˻dvLfŋ2ӛ Y7z{ [jyC5|u<*G,_sfJ:C=Ο$<^ ~>dNm}ee( ;wtjʖ|]vTba}X)V<^A jF 忆21Q度_J{kVtQO|_}hrIqڎs҃|#M _T h@7 D! Nȇ;%L;<ITݮ}oX)gJ!N-d`FY {Ė0$=#25w!b#bc~"OɏoSPnȚR"v}ozWN3#LNND0.]A%&ďT Z.Ҵ$Mk; !A lwCǩ|rte_"ā_Vi ж"t%MOúBT|U&Mn* RQq3m3WMBcQF.=cY%ا(3to.`Hct~#k{5 R7=b*W={O8?%WsY2↞UZ6C(!^q𫆚YtahcSX9KA9ɕ.NDYehl1P&f#Vgrc%|Z֔۽T_@M^|XrT㟌68,D+sRIKeJ((:X?_٧޶0/O M5aPeB