SQLite format 3@ % .;  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 [/v\|L ]w]Game_Based_Crypto:threads=4elapsed=35.829cpu=129.188gc=3.2207zXZִF! AH]ŗXiɟH)0!h^<3Ĺz"^yfrRQޓ{x^|PX'~B5 z;12NWI ?$m!V $ZN9YqTJšql5ޝm[ Ǡ/&httZjrY#|#6c2%#=p\aj{g.CQ_4jZ,x.Fd#M^$;o`TzoCbJ">=&4eċ!J\~0BCbE'^;*[ ;lx9Gk(.b/*Yз/dKI'a2Ҽ&5Y{͝ՔKh;Rg T@Rܛ>JƑP!O֣񥾪+NKOJI{_6>H@2寰tKAa@qru.Qm21 h73eR/q=*?1 HMaLqRlWDJj ECW1v<<@ hh;Զ;UF]蕳DZt6w.,gYZ7zXZִF!  ]ŗXi%D3Xe^(R8WuF.iL3vll nS%% &P-wuJRJLڡNQOC4K4Vmd7Tg 2Pk+S/)Z؟fb,2(guhJ[(Sa~,i^Y|,/C_4Rs-2W<ƘS>PPos4 \rAY_ɤM&ϧ>FDOwv-}v2h dai^FMOM) :[ex պbHu=ݘjhIy!HЗ(ɐF{)U`\brt|_g|Pb+mvVrqzr)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@5]?&sR /M% $Game_Based_CryptoGame_Based_Crypto.Hashed_Elgamaldocument.tex7zXZִF! p!]A-MՋhvG"uIBm5{?4[3$!ܒ+ujtVMLbٴ羼cH h鿃@a~>ߪe`m`|fSE3٧Q}ۺB+*'Q Sӛ*g7Rjjx|9hlW "t;C4ɜu$LvfNr` )e*gMqIQd+'#_iNEr%Wh31kF/S%Game_Based_CryptoGame_Based_Crypto.CryptHOL_Tutorialdocument.texF/S%Game_Based_CryptoGame_Based_Crypto.IND_CPA_PK_Singledocument.texF/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.texK/]%Game_Based_CryptoGame_Based_Crypto.Pseudo_Random_Functiondocument.texC/M%Game_Based_CryptoGame_Based_Crypto.Diffie_Hellmandocument.texK/]%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.tex9/9%Game_Based_CryptoHOL-Library.LaTeXsugardocument.texD/O%Game_Based_CryptoGame_Based_Crypto.PRF_UPF_IND_CCAdocument.tex</?%Game_Based_CryptoGame_Based_Crypto.PRF_UHFdocument.tex:/;%Game_Based_CryptoGame_Based_Crypto.RP_RFdocument.texF/S%Game_Based_CryptoGame_Based_Crypto.Guessing_Many_Onedocument.tex@/G%Game_Based_CryptoGame_Based_Crypto.PRF_IND_CPAdocument.texB/M% Game_Based_CryptoGame_Based_Crypto.Hashed_Elgamaldocument.tex!W/נwT1fA*D]مrdhGrHS {NfI[N$mx= R+׺*l[V.)Iw[ 6WF5ubޑvz^ GN퇽zV?O@_ub6_=<>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𑎜30Ԙ̱DK3J }`ᇵ(Q>O_piF[S 6hhXĜvY1d/4,v184W|φԹh ,vn\%MmM}@a;C%4W|tFƚPق`Gl ,f^W(5"CAɽs#`qQ[P@=o#ݐ4Us*7t`> f^3* + كW^r!)gF+R2#(MӇx"Bv:'M m;T4{e_`Ɣp[D9jPg B +Յ^۵ex iTcW`QW3@T~͋MH gٱ㰟@_Q JĎ{)pHS+= d-mmH??Inn8ۂ1VLwBruci**WE&x ^0MqzT*GsR,UGN;vv\B1-*<^ =Ùtc*D!4@*B.8n1%?$ PM*q=Xxr7<ȟydEب%ʈS?&*vkXۍvvy ʣoStqBsW?JqAX*ƺI,2Ro94ͼ>˓ds\`H8[~:)\9(e.#&W1 t^\S2hz<Tm" EX&Y=pae-J+7cMd^)Ir8RC[ )}L={{k&qt݊ oTj_ ^/"ZE w(ؓ@S>CsnH0:Һe4ȭb{(Ym#g?#(6z 76{.۸-44rIw} VBsd.Aa{{ں3d4Ͳ\$-iTZCCJrTɄxTr[xdJi}`&+MyutϢyE7wKH0ǭ\8If`55&r|g<ƲnTK,y?{/o|6F:4=4bc`uNi8˞241zd2e%c>39Ic_bǐihۧ&C씖>3P&~uWz估y$$DxOh\6Iߢ/J\\Gq&{BA~;m$-vHHzڕls%6SjM*s󂅄$y\@ij:>WY{[){緼NGov+ GD u]vO03mTC7G<wy?Carunl&,ŧF#ؕWWkT(,;æ>-A =&q<Ü3Vđv~}e^gA"6-um=Fv]W~Yx eLq;fh]}OHF/,`[Gq~g6Z-Y"PVL hmD@K޺rޣ-N{vOZ}d] [E H-Ơ璲ڶ'ñ҅0LKqH˄ 06ѐ:O3@05zv0BN޴H2]47GzpڏRl @]3_~CgD]j`fQ޺wk(WtǘsOTT1 =iX1[|V´G(WBL$*pڽhp~7 /{r.2hV5]4g1FP-+?"8po;K;CY3 fGlj2GyzA y?qǛ4>ԮRk[-uFb Lư~LQa_ƓGrn t 䂤vaz7΃[e ֥`4@umB<`7W}'m)?Q+זYkժ :a Tzz:pܫ- zsurXJ|bvnNHo]&K4c0}L \~ϟ=L8Ev3QB6Mΰ4 ʁt,xck3˞xwpéU[Y1>Lu4P)4(sz&X,"$;,hn2Đ:e CvK \m5_/ŒYdw##DxL %aEguEx$VDU7 輩NT㴋JtIcضFj/Y"Fql\ ԱH.9Bz_/^`e֣J{wឩх]%%Q-BiÄ|`()j[@@:q+"aMۇ"4%^Y.L#̈́\v" A:,mˣ;\csVJ^R#3Wm:b,5{1aNv"';|d_"wt6 kwReJToQeO:& m]86#x*eKj0!@ ūdVpVR 9?u.bHFtc'&=tUFpm0A=~6K"¶]F衳 ]ƖQTk)=ЛA Dcw>$d2!ל: N(a?nGl%Ϡ Qѓ88G  C<9<<M:ov//jHOYhYK׺owi$_l uP4,I~Y؀,L'a'ui8U#ŸŚ gWnsNlX-I^zhƺ !Wm1VMWa݉mòH>H3tOԏC6o҆1*daHUx-[2P$;nfƽo},M5S!Z9Ď u՟ e2.gS +hKLR;jCLL%Rk`$V(tU:9x%#" k+ߩ'@n|<zC"&9<Ӂ\@f[r'U Hq`|%}%J.m5oPBRp":VojY5ycl,2[6yD T|iA{baXcl1X_D{b.|zNߧu NΑI %&-ѭWb}ۆd3!'hhm6({#o.D t!+ݘU*+sޕFWFPxum]j/C mQjw%@.#'HjμAm߼&%X{O4Xa~m$VybRQZ rE$*hc;&J܋P[4靬BpʞM s!\ˆdAMGe?ZeX "h7QpA@ (5#nH#+(lupL @iU81GD(߻{m8ҐAE~o[EUOՐ֫Gq/vW+%CFZ\F-rw w+ļF3gqBeSycp;bW$)Pz-\&f `AYgk)bOaξ /p#/ߟTy&CyTjփId# s/>#8ND?-o|(SC^HH"[8P1&2vB02KtTG㙣ԩ׶ʇҶAп>m0(PQX<#Qz=5ۣZFV˒&(.coPDnpzms@G~?/Kk^%\:=nЇ ~q=.V9k[)N>?/hVA)|vr z+׀s2j <Л@Y(\@8Aޤn\VH2M2Emf*/!`ԧ[%a/paOU.C=dgYZ &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=UtLzC5앺KdAJoYMz{fiHyoXq!`b~h v#3ruH׵Z2O)OVZn4AOIB>:8V554Ɛr_pCH("l\#\J9uAFMh pQ2z=4!4 Z=XPubԃҔ !"nJp%mtThEjMm8U$m \{9-'JLbJWn0hT" D-dH _v{c@ bgu䞀T@@܃'mFnJJeil\w4\DzoE7̡=kLO_3gl-QXIdm{)C6 PJa ҥWhB5b['Etwv6[lҾ>ڦBXB"ҫ?X\Y42?/)^2]̊4$&][+s/+)[M*ߝfHNWf']R# lwhQ}n9IW~Tf v-u/1 vzK+R]0_ oJ-ӜY) T~_6m?۴1Kmq (^#d'2тfL- BySfj I=^)3-GnݲWk(yf! Le:x] gqvO"2w-Sr͙fp#HU`ow(^ƫ㈺fB!I1CMȉJFZ=(AL9X_a^HRWUs"3 gV0}m-z"M'7r9EDm~;Im𺨧K۾LI]0mؒFv[,MΫA %BD!٘ơH @m2BF-lx2NdR+ibk<}y2u L |s4H\)y)}1KǬN={3[|]xeǎYgm\CwRGRÀsW>@% .F 9%oF܍ bqvwM1>0-J9"8-xVg8܅e)D^`$' –K5^6!?QPUY@eޅpXNH/EK(i4n^<1#Ssz!07cc:rkadi01qp$@u\M5wG _A?DyسI$~\7V1 ;7۶Q"iG3(FaLjRZ u?MT_SM:-d LtP;P&.^nHjrjN҈o71 @)_6Oif79ى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"_0n MPs,,P@qK榌&Oe *e98j>Iztal<p*tÛlCHr!O%5_k+_a ZFUGu@;0'Wr= p{qh m#S S'hYBGLpOw=4'鰎wp0H7}l{tگCI[Ky %aeXܜF ʡ]ք'P oіo0s:ʛkyTMkp 8as0pn+^b*n/&R_[_.1F)t;CGNb:|}zJ2%܆zhs (~_'Lvfk`f;E`7x*Ű1~ A? :Du .sqKXǓ#Z|[EI n?|!] y>WU5i?xP^btX7t?Pey %|j'4~yg7mY&62o?  ? _wP\K ]x;oXw<=d O'q#q;6FC<L bJڇQ&qn : IUwUQIKB SPC_ܮ,;mIʪϸlX `΋n=w 󚗈v3@o(̣֒fXIϽ&g5$P@@Viޱ7.7a9YO%K=Z3wi>I=Q\ڱgYZ e e+ /G% \Game_Based_CryptoGame_Based_Crypto.PRF_IND_CPAdocument.tex7zXZִF! %]A-MՋhvG"uIBm5vVrqzr)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@5]?&sR /M% $Game_Based_CryptoGame_Based_Crypto.Hashed_Elgamaldocument.tex7zXZִF! p!]A-MՋhvG"uIBm5{?4[3$!ܒ+ujtVMLbٴ羼cH h鿃@a~>ߪe`m`|fSE3٧Q}ۺB+*'Q Sӛ*g7Rjjx|9hlW "t;C4ɜu$LvfNr` )e*gMqIQd+'#_iNEr%Wh31kTӥ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 #~̖R$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(-UjrHEIpM=Odg, ~DEio7GB musc_ @-ȷCtN'h@[|H&eɤ_MqY tL\g'V:d23M.=$C1=մc 'Tm-24v^txzHKHWoF-Yl 2Pu]{?9xKZ<ܔog7Z+j=F>I<^$-HNE~#) +YYcs.%6#d&nΉIHƑ<A! KK_IKi` <7 !<Ͷ[e1H`Fj[lbioaGBWcwAh증{LsP鼈ɠK7&3"2 l}wi+euI\B&$p}ҜG@W=֓pJ:ܮʴ+rmg &ɽ#pP30B~53G&}-sGОF++!GO5;б)IȡegYZ  $/;% \Game_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¶:{ pj=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 QDoԜa!r+$ϣ&bD)n dB6'5p/wR{b T(D=n˚CL ZFcMh 5~:f#&gYGn]ި'ᣂ͏]D-kd0jΎiكw"^Ru>j:/uFû%B"< xTjPL ӻN߰x`5J6('@5[0`A~0Wvlr bqQ݆Jt|W(ބA#'@ $Q]3xzk9.%婁j#QmnDdgFq@z %)SݶsܿCm9l{`.hRmNvɒBw_QSy+:UdTP:QkυE6~{ er ;f#Q{7Lg˗Cd [fOsy-7sVs8-r+ySԫ-"[I9(<{,%Llky{qoq\R㯦vglZ\m*r1f5 ,Ic㦶W w*6]x,9iE5Z#(yT;q^TZlW;^-Pi֪/U*I:D]XW`Y ߘ[m082 AQNʹn "Z9%i\7Pʚ& GVKcuص/S:j+)1S{5(XSLgQtw|TR-F93 &#g%j{m+g-ucZP'`,MudI HS.R~%|fLťo/KY~2Oʡ;X@K <ø8JWk `7DZgYZ "/?% TGame_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*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,'g/qOH_|`t]<+ xj%#)}"! nG.I rZ|Þϛw/'ǽ#/\qvcVǩL)] hs8Ld]HܭT$8V.;ZJAv∃=pHk9p}PW J z|T1QDr zW?PGs gY=h0DtmrTXS# pxF]BGOu?`-Ei[- )<>gFq/sP) z˛9&":W T=? 6XVˀXbK=J@aξaF2;H{XӞkӎwhYjL5_  N!6{ ę.vQ{4$}WesX?7ck>C<˝ܭg0;i3+uiKM;m\*Ruo䗢rr %15k}#%RAڿJd[貐+K koW\ω͝a)#e D1n҄0 WFh1|cL+m`ܕg#КZloH3?p $RdW#=E4}K`5Uq~4z=٘.`êb *׍o X/jDG._,KfF%p :zEQĜ}F^-+L68ϛa{"zazjSm]^W3?bnpyuYv3l-1J+U͔D?HPdbXD=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^\>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`}XJeSzUeSScWXcz{X;(vj ()1`/'f`U5=*44T >zԓx%@`rD7kS;n,r.ҘMY \3v͍<0-މ+CO`Nl?ŇKlNEb+\&Bt0{v-Z6 A4%F$ŝW~R d*{b3#wT cA>"\ kߕT8f#w}imտb?%h`Q m}8+mޠ2#WQgIkB;zJU]){4ʐJ'?%pGES55nnvQ->qQR23CKp73+kuR-~7|xm 8k{]Aa㳏PXYÄNU0d4q(^G{bᕹ1P#L4xh:]mNϷEѱZ@?f]0)9;ȮI#ƔԊ/QuS-zUvwpMO{*#K3$0I94H>e?[3![BgYZ  /?% $Game_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귭"[fyѣȤu]=L1J{؍I<&\ҏ[;ZIǕ-m^x&1Yy !':{#1"j7dQM>X7/{芏9#Ur` T|Nkql]qn/hy@'&룶-O'ɰ1z!k}Ei4% okemUZZ|ջ!uz|q)e PN)z0Ip % h!(:7gArN~-6ph_5W+yʗh󛒸怭U,~,mʨ rX(=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ݓ__=•zpV ~ 7 ׾n*D k2Bv6wv;;$*&{|@#3|ӢzC6t=lӳxb;Bn=I6N`/X,0_2ð'mظzzZ>Z/Y_AXieI :"> dkgh 'pFb(eOvSvV "bTuLמ^LW;?3k͔y_!@Z tsƩ+BkbEP^6&$!%L p\{%b2(`^+:v/^ww=k4ה: 7 ^3[op̂n Gh1y0uq&qCy9,>wYn&X%[)5٬k< (KB+A6 +?ltbƦEaЭvڼΰp㎸; wg陬R?*g9ղ#orb',I-4Wǭm1< xG!eF ieʳ( cr/t˂ye<@rOCWWVᴞkmd>H#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 r_lBpRv_ 9ܤ !AIa:(_8awT+UTe9fCo-cP PJM$@u;nx@_fcJC60hSI_S"lR]Vlڅbg˪I{}-("$E}~x_x} 2~(!M*4Bw45y$AJsIm$u܄Doc KYhn$ϱx #ވRsmAœ˨it V$ gYZ ++R /?% 4Game_Based_CryptoGame_Based_Crypto.IND_CPAdocument.tex7zXZִF! 7hQ]A-MՋhvG"uIBm5f;Qӂ.~M{{\U2g-5xF9Q";NO7WֶI:? A[F1&A2)kze-V;()CݪXx3Su=jd}YϹX E!a/I}]#GS_Ly@H<9s]"f#=xCD8MK=j&w4TX#vgj/])062`jwblQV{ˣgdMW ^Bx6lkr+qeJL },BC/)'^R\SӃ`Q46í+#lC۟xç"KͶZxKeUD)JR([carΧMhu!]Ir*CN$DI )\|Dɡ@0IτB|ĥwxJfق*+eZ8/ \:4xIB mTY'$0 MH>ڪѫOrƱjҊQ;4 ? ՗uكV(MZ9#4}d vy >5E/9 VNz1^ ۉ"#!X4i3^άCGlN:CLGFk yˡJ8.`YH:nۄ8YR= :"M*fս.k ` 'd:Cs@&胅11?B›9EnoU .*酁a<)G#r,)eۼڱAY9X܈_ކ MY⚏Y=ä*IZnxGm@W@0HՅ(hnG$6:Mswn%)& 7h!m7=37!$Bj g-\xq1VI?VnQgYZ LPL/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!%%L߳h#߇vK\aI˼za}#j C>88^GښԹh-\̏z]˞[qyITAqr=$=0 FQqb Q>:xL5\8ƣND]N%N덿 f蕥ftJ-R Ray[ZƄXoy+}G oBYc(ǚ%:n.z m'Fa[3 bHDPL2TZ>hsp}dbEٖ`_C angYZ- /]% LGame_Based_CryptoGame_Based_Crypto.Unpredictable_Functiondocument.tex7zXZִF! ?b ]A-MՋhvG"uIBm59z_ 9 *uat#X =i0}ޝhO hب}ˈ]JnwpwfF-7jPB>73w^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ƞWcz'6(K7 2j;SV V CLn8M}f! 9WI@ΕNr[R|B}SK(,fVhl󞥭x/f]ps]^Ҝ@M{Dž0/]t+qmFEG@Lšp:xzqs1SXO2#̎մs@򖎝||FjL {䯽:BEUߢ>J@cr9yh`D2vkUQG{Fa17O>f~;TgYZ x3/I% lGame_Based_CryptoGame_Based_Crypto.IND_CCA2_symdocument.tex7zXZִF! &T0]A-MՋhvG"uIBm5f;Qӂ.~M{{6m}J=e1ͅΨȺ]Bz1!`Ț_jWf'ea6wGه$<"2H,(v5 aaskkOc'}`$@=4B,3Z|#Ͽ=g1:1 Cgb5|~n~ g sjTWWq,Bqj6JfXb9URz@7l1^Mr“DG+BS quPh ]<%I4ۧ+tK sA78I[xVS,k'KU_7ssM/b0E{0#>%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?nC TVG2M\" R8A[#@R!@ y fy=ؽM RT{&\ kn %E:y._3Q0367!dZ0ta;}2D""=\C2E[:[!W'7W,0ǩy ]崰nYFYF5([5Y@ r<+34NVPr&Mxw\4 {GRVdK LڅgYZ/]% |Game_Based_CryptoGame_Based_Crypto.Pseudo_Random_Functiondocument.tex7zXZִF! >P]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¯JYGK rG-9xt8(#L|Qwu}(wpпh&&o UIQGt>(bIkNGݎ <ѽsk+ ղk8~+>syHcQG2?7Ѿfrc+ο##tQҫ#^J0\=27C!%6BmKNvi (Mb-PJ^>LZ"l覃L }P6y,[;ׯ_P榃O  iԚfMy+9k#z[A.ȵTqW|XAgYZ * *@/S% |Game_Based_CryptoGame_Based_Crypto.Game_Based_Cryptodocument.tex7zXZִF! 5]A-MՋhvG"uIBm50M2ʲ:yy.IjQ܇7|< z{epKčJp4oBx]G<;8Fs GߢwuU_)7mtK6!;$RgGBo+J,;+ ¥U ̾Flck9]Rv0Y{+NB!K{a^l݊uv@6 €52%e>[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$z\5MRO9j cǒ7[G{m'@<.,?|zv7 L68 oNSOzᛇ6EgQRH]{Wv{V K>&\};@eA$YT&#xR*={o2V,0\^~,Ed@Sq_bwgՁpyͶB >)^gYZv/g% TGame_Based_CryptoGame_Based_Crypto.Cryptographic_Constructionsdocument.tex7zXZִF! d]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ܖ~-"FvXqYEGX+(/*@.F쒞 tDI^;'.FxJa`Ѫ!Lx/`W¸.p ?H! &bYgYZ,/K% \Game_Based_CryptoGame_Based_Crypto.Security_Specdocument.tex7zXZִF! *]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:|&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[G> /]+Kp `VD1CWp*ͩ{O d^NQUlӃ-_x6^hb|Uݫ??"!rsbf"i&vn*>%i+MVAJ7 pv `v:ex,om G6gYZ-P'>r $VwazcR=j ߡhDk~)7h!Ucr?UٻfonT-ʙ?FA?qMT2*.ZGf'21mo%(uKQUwOsdgeg\gX:ɒdӧr>"3]x:cZAjVpQZ%&dv+uT>+qj~{: }Ԏ ڗ~.~C{ r h!]w%J?U e$JtYۏ,_.wpT],K8n؄M{8EaBe+k6\A%7@;@pML`JۓxQJ^aw~RgTA|ޗiNz|wc}ɱf$Q:-@b=N.:®Jx@~uج(ݷ.u(_n49ΌEɕ=Z a6^c9 }vvȆs= غsBeYahN,w ī`4<`Q9~6Tf)];q/6]p= j $/l@ARO~ #s_h ՛9;JM $quF'#0h(_pi:Ծ$Ь r)KD/]WdI4}e鸻?!WtR5s:Ӯ_ֽ?rӡ"Ty!trUE7>{9UV*[Շ'/7Nuf7fOH,4;pͽߧ~t6=$ 8?ͽD2(75\^SVHfXX#= /nDcB+|1y;{_\%-n-N{[°8`ZGyH6eK9X!P9J&^`m:+^Vua%;ǯHx=ELv%Ca\ #C}t<әHkAqƛ=>g2> Mj#()[-;y9d'ygx+,i)z2V0uEXoeH3o}Z4'/""XQT-IknG/)'_䠎ڂ¥<.2SHnb2YV^z6?!$B2P4 Z(r=z1!Q*UwцqȼVnL-\5,jtB5TMnL؊&9 _!]L"N Z9Nrh`zpf=l[(m*NZ߷hAE'G[P(0/Pfxus}y 6&")`ȑ?cr]3 !e uKIC8kN bYtEԵ^1xzV^ʑ+$zW@k xS#XLEo ţ(ֽKpib6-K[/l6IzY7b*=,8A'-eLF2&iw,e,O䓚fY9nZc !CQXdxl#&.gDS2u@Evń4lԬc'yCg|C٤JѼaFzp';.4ߪ@GvN0b?ODݖi`#)s^~p!>muoJ(iȲ<7޳i]xqzgP j_;un̈Zź PJp7{`kJ~,hH8jS'BS,Lhwܽ}nKDiݙwp '`.B;cՅS{ 0b;(ANIK~9UКARH2A-EfkQC(UJU')4Zf$C& txuG W5w{|m\{˃t8?*.4z%83H6TaRu#F@!–Fv\x軼"*j3dyGvʬY@485ttw(FV]!Gά ' ^P'X` *|Rx nR ?u]?yydϴat3 r9>((~tEٙ{1wXȪ!hR.tSBs\2eu}og w|Yj;[U%3tq1i]sd.Vzy8譕 zE`XWn(&U]]zHb U*x4"JS AM H קkQWQR` :j2 d$.nB-(fŭQ4cY~$$o>oů^ RH-˸ ˍ#" F Kr2i5&Qmbk-.~HG't "&ԗp'5C$PtUY3mcvKߞjIpo/j#vy5; 8)44%ɒgb7bdtut"5|] ]PȺ,T֚Tm컪5 fo4^;rrJ<^F ԒFk7:v wW`LFwL\A}oߟ M_y37#krx߸)]D=i*fZ*CAvj1/b8)HFp3j'T,I ^)Y/ 9ZrhӰjI[W1= +,bQYg/ڣoWC1bmWw~!GZH;G?Xp;渐utb苉4h{CtdۃA{:U&inz'쳶]2ľEi눡YamYIac;9~q(aJd)҅' ܋JU/~{vFG MpEl٪җP„uOQ)nR{yWY2j DQ8X^t<5d$M0컏iFPˍȰ0͞E;%{#N5f#P,F=U]Z G;11 n( PF=2?s~R[|co5V1O ]UOYIL VeeN_>|۲W\8 6 nF)_K@GP4^ܡrAE9МNQy=&S?8큎 Ur]IjCNgg<ʘl*ߘ{x!/1Od0CF:$]3VRL6´zB@נ>-ˁhkNM ;*pegMt~p'eϱI]/<2c*t:*{]4.-|JLJ-[J7NnCI-6^>X=F9 bgjx::5`Ԫ4 nhAV0;Sٙ CZw*G-A}]>wUmQ} >TKEici88 DK=0 P3\wjh&0?pݷ̉':^TmW@#KL'MCOK%l/}~ VL,2'699YH-Wp8] V AF^5d0!%~X!xJ_o<7{ج IKyps5Ej]<8[bC)<ȕc7-0V2I|X_JCEod˯{ܮʮB+ƎqR}*Įň'_,0IR,|,NTT'@#W4%wH WMO; %CRk\ ˃?%LAn7 | zM'6zyҮf׌GojVԶKXJ'TD![q֝qfN<[^(4w=5}%ݿ'ݧ컦V ;Z1D.@"d mP;˒Lvog& :!]GK젧dmK(|M.vI>vɂkL1_ce<Rt9N=ENxV[5IQ^EXB;ھAѮAc8TZ#mun!wz 񷔢 gj%afbeO]͖q}b"+r)yz{l@& l-*{ | Tw{<2G&1NH8#kZF~kMֹƚε( [s 7emȿ)c,yAVkn tEp,,م7$h+swm~W ?\%-<Ff_ LB8n< AS"-BqR>_HS2}`y]hyuXz U#q m/÷KG,蜗mӹ6B[qSMjW~ÁEshz:{1㠜Oa=WcsҵEư"2ؕ7-Kdla.zx,`t8uE` ҁ;@9n9clKF-O ۱PITi>FֹlI!{K$OC?-/P3ҏNbtOm>@-d}["55nk@#k`CJ4Qe,m ϙsPSlڪAVje> ` J c}-yjb׫G."Z-g`yH4@JeQp~W}NoiM87g#_qXrt+7Qy>M8x#EOlܹmu]`փ%%<^q@~[ls熚\H>%DFX!AY箠$93v;`rw}R+)YDnxFf~))(K[#e) u;~ZgڎISШ ~yQo<Ί`NXnFE^au&"β oI?ia6F/ui.lUWbj;N]!$L{hU@K{gh[j2Tr%y"WPҟXB˹gP~vS”ڬ v m~_VZ@)mݳ0s0Qgi6_8{n줒cj-' xpOE7pߏp WY]IM @mϬ2`U}Y/sfRICpi/lpSKf>E"Mm[mCh`B!դ2槛iA>}\EFx~̘MD3apI_70O: [jNym֘ZӰ 0ɚ"e2+NhE-Mag~1NS?rLϝ吩3%v&+W|^~ }, dzC[/B˥,h)PpKu * Ѱ֗ETgG9 ƞ1G1D^bt̝HYP!d~m1-Z(@vqz2̠~LEGr/R(1ZVU[焷Lԣ.a4Hvi&@ I+D jQExAհGωM +$і+E cW]_)9VHL ݝh"!j졖.Tr҈$3 ]~^pyܦ?|`dkT7!4-8j.% 47;Gbg&w hQ xĒ=.аyWK6A0_FX雹/]D獆HM+c"9L1I'NʵAp;b7Ii׭/턶y <".pSyḁFF^k/Qk3oGBq,cH]P>hՐ>#WUIyӨ F+!ha#ttKd;b[&:![r}۬D31q.d }_4mZiaT~yQOH2\i2(W'T*FdyrLI̒Ip@Ӣ"vFu#Ѐrm#jG?!)/-?[ )nˀVvR K{1o&ChqkW QRiVIy@nYj ޝ4,0n2#T zp}Od̄ C*- bx,AXctk`0k{Ө_sfGaLK`HUD'jvKcsEכ(3l>i`;tlO)OhfdB*cJ6cMCÞAc?# Yh.R K}rϮfX~H14Wj7LPϲKYm1t4˫{:!^3hc#V 4)Ac'E(y5L˴}p/qV,aMfzz}{cpzKd.zFO͔rƥ s"8*&e7E{}:RT@nt$T|NoD;U1q7c3LqK%@YԳQ.Yt:eN 8N-ejZz2΍ľԄleLX5fT29'*6S!>N&|Ȟ`Kzz:ՆAR'LS!|W֣C$-I7} 4a)|uUN ,Cp,J='MiLb[)D}==@boq5Ʀbb,%;"l%[ߦXnLZL¯[ceES+)I{1DMqs-A2LO8`MNH:Wr&~b1y͵N+Z[&g"-nFjx, a _{ꗜ`NE3s[پ]W}+d ;?fQЙyjiU(AC&LjJ+hQGAG}Z?fKv&< (0r#gUn;&6tK]!2F6s`?=mM*F}E.{ZSv ԣ :\5zMc$tYihu%OƉ{G(4oԿgcZK>4*ofSnNAZ–ĬFLSSϟa7I̯~qVIx'&JN֌ZCt:>)]!%'E' a٥JNjvO%u"9N dNc]#>P@"IJ4Z)  *t;1ep$[ QU2)R ]zWX:X⾥v?;!Uv"rIlckSLC3Rb 1fKh䇌A>تQu./{yA?p"y9gQLX#Tnj-!v(gaETsEC`e2[n8uyDI/^# ^&dx؍0iwhGW!џH0渲+]^_c<|o.sg&#sDu#MHs<͢aW1ym'rTJ]~ scK00w&_&d^4qs?}{YsD9@ nA?)N{;c0;m x{iBnd\܄nT,]o[j"{E>'>"=" l$zDbbP&Rv`jӶRhRk6ΰ4.$uyqE?\UWS$[]SI- A jesINJfZ[g9N&^=5Ctƛm7mb}*aRSy[@u?3^47šOp1a!ͿqB/*Vlǝ@v;^pZJi=".$.FCfNqPb,ܘ9/8[?4!ׂA>LL즟 (SWi|&#h 1=\431x hsE6oNn[oTRy,U'kB$e9.w{}T<3_jy=M|MA1>kpq16$V=@*g22(jOů|{@º${;GL4dDF.6<>6_ #濻4Ӭh_i}A (QUR{kr^LudWB>)VIrO`<"o먈OSa"Φ%#ețTq*QIT0-A5Q*s X.8Ӈ.1rT}[~xFہb q.A B:荓yxY҇Gw̫G3 @Av44?,0o!mJG{P[iМ4YϷImJ]BLXCլq6G J^ְ9y?=fZo~K9L 3 [tE j9gisp/ə!r5h[g FN1yw%vN1nδ8))WÃG ֐盛ZhzGnd?0=_!l}k/ ZO,ߩεHgDF\r;|LRk^F֮y:e-!+pdUg 4ו<)FVcs.^frpFEbq1 SGD[tq;)}Ys\YmBHІehErшPk3:`w^HŸxp{H1 lZA][&t>U]+]rBS[1)yԮ2S:L4t-8ye Kq4~,u`q/"ei'r(ܱ3$ jCZQ6w$̥{~:a_3x-踡gTݾ${aińE+Fﱃ1 vžiq <&1:NɎYL{vPa-\,m E`FPDr9؟TPEjp˔_Bja~b.h&n.^E,{𲌅Wv J  9sH}}}^ 4rA0X] 1ո%.gwU+8N!4hkbHpjNMG4O0R`#Ʒ#]Ix'@,xZ5F^0sS7Pt3iajOh mf8ڄZc?ld.,4)q`@])X(*Fj Q&Щ_JPuì8g{qdKnj⎦#_e9q D̆ҖXxNrrfT =iD5D8^lF;he͐m29 h$܃a`piV] %rGuG!V:}},\d /NV (RJ#skϫqꞅ- DZ3 Iypvqa aW1yϳ4Άcr4ٶ'|H"C#%kUQȲe;(FE% fL g+Vf&  \č9g^_h4(" Ù`unP~布y,~N*X!p=2v{6^PDIOI#{;) f`њkRѽy[`} 21+o[3$QLh%zU-K)#>?M˲ YL^ *WehbG _v4]7֥?y(>(8M.Qu `vJaK_c:7bYt@@ޡ1 M`Wrxl_~-[l7򸚮GcN<u'Q(T+=\Z6囀%S}5!^xbCB]˪P`ʣK}d4Lv;bsĈYZ5 .0GW- cgN9Ꭾ-عr 1h[DYO_ OMG ;[A5zFJa>fK]aܑ~eڈr*s5cXP}@v ??ErA8Zn nKB3{eӊXF0E!,ShF?YV:]ISHAo=mT*:WJ¨#m9YSU%g(AgYkE=Rr[ ̚l13#=mWlp+AR*Qܲ_;}Ϥa0v]eov#!$QWE* Uv~/n c_vD+ gVu}gZ37|B,oM`"9`Eh=\P 'z#5]xCRH۬B 8|`&}-Ma߹EH &3Y!Y)ZTU5=eue ^J{|YVM{ bW8`~&xj,b:PE(UG d>Z(]i\>A)ׇA+9 =GSm*̭_$tGJ/TA~/0ʡJbiY"F%@VWPO~婵]C5J ,"cD1VC&I SQi_`v f,)g2}܉&2qW3X@OQubE|LK||1ʁd{ $A5&Idj13F~fG"_؉K~WiW0 IfMmʌ s9@Cѩ`aomzV;{ &c]/WxkdV M=]vq=p*"E8&G,bDGrJP/×u|{`7!;sXhgwˡ雱p/,~`+!2|2:ʿ^/QONS{90LMI@< DR37,2u$q椗+B.1z#yr3aLp{ضES-Fܟ!͞힠?V7ןW8UʲpV7@dACH{VeTZ&c5f.;_ik*ZQ)n.M<Ms֥W mU9 R r}XE m 8S`I7\2K\0s&%߳jIsvC)7NLZG iBV8'ծQ 48 TIJeS wRg9!lXa<䐢DppʾLEo'Em;|e o RFWjlK8t')5mN|zX/-y~}SUϚX['AL6LF١ ͉ W#&\dNo OԴ_h8u-bװ~ힰ:7u.`}57o)x)+MA/GXioS 3ftg5>DK[ Ii-iLxxMgvlLwAPd_UXnՕWQoGyNݑ)R-q}8H e TĜ02ϒRn ,'2.cӖxO̪ ^:~Z2 Vxam‹NsWm5 Oc*?aLpg5N5Sϔ&:^{sR([-G[򞖜Osv9p,>, 20fs5""4 3-St54jO |Mܦ8! a9nΫQ)P ,;'"1_>>U'`i%s&Bf%D@$%)h?ѮJY gy2 ^Q9Em6HR CMq]v_\pWt@Vyq.&C)KQ˫9T#ma5H|ed)?rЛ/FP2im{]@?|Ni&K0#tFޣQ}tj (=zxMpVίosȋ z+ ZZsQ.bi7H`]2>|J59ZBz+L0)H+@oəp,NȞ6 :$>ێWw£x73*M9'2$Yb8>́^ ǀW v<äwc@c]EVii1pkTB尮Aђ0)4-Ňm+#BJE Rq.4pújNY&ĺZFGO/ep1&Zf zmZLA5.=Ew;}= |)C˕zWDwiV!I:q6g+!N [ npwSO?i*_}`jGɳ\K?@, ƼX =@Қ) UCpTD Ǯ[Pfjgc?cZ{M,fĿdF3Uȡx&SIhE G (6mod1RU?lj&pGMⶠUMKd]׶k񙺖3C}l{00v+¥% TO6p6^>%%!򇉛g  7eY}ُ -GMDSjf*R(2&_hշ(S=ODŽf1Q@muQVݶ2P{I^Շ i'B/xwiNX2U/omw}=@^<a8R36vfhP5 ;ΠkBB*~_i5 Z6*XKKPOuH9 aBMH?M!h;N\Wcyi"z>~ Xw]IFTU,y VrIK }H.y u޸eRfFLQ QD|&Q0Qg XBuPDƀ^)o*b%fmli7 xIlAUt.֩#$a>|Ul~ކ {deHN7~HڥHblD'f@=\e4gQ;oԬ`uf7Ę2Yz4`Կr%&1kk Y9jV*԰h8~v".ɼ|Z ~V!Fl߷1_Pn$r\+PNθgy_LZjHB4p[pbA!)q6m<@tc;i U>+ J4W眕Ue7U֌fl~G@"vh9= UveI0C9'I`jU̝ aWORPjTEFGF3&{xG:&T+鱗ZH6jĭSʑ󳢗Kr%3.!^]>f3ieCbyu'W]Lf)O\nyћemCJsw܍hT~ȕtL0;&pa}rdvl,--g(f5R eMVDhbz@n2cGAUIۜ3iHl]|bEX5[\yKORwhL%8Tj&۩F7S`ńC Gf݅.jA@rNRم/V9Ұ!HJyi Qߋ186 65[esm8!Ax?E]LMj0St%qBrٽ#L)2͉Ɏeq |ȷ3O 8EջgĖ|-KbjB*M\_Q_OgK#_z._mmR@_,Jku=ցO7m>Vf@(\Wo4tؓe vc=.%2B27uI`X`[/$`_'ʢ&^0Ey`%aJd2A9rs.LXT?G<7*>l}nU9"wA|¹ TRNr_Ep@`vu -}@VhA zA_*E/ fmXJ bRMQ7AGg=ԄNnf@z8ٱ >9}>{7/3ǀW+JJFɦ{VA:QJ C?)TL 2BӢ-f=>f5&84, #rƟ($T@l@irz*[2Uk_|A虪fqcuhOɒ;3 ߦ^:E/ۿ@tFQl8o"+ wi: *SstōoV;eԗq8FH+B B2۔ J?gYZ I /S% Game_Based_CryptoGame_Based_Crypto.CryptHOL_Tutorialdocument.tex7zXZִF! j=]A-MՋhvG"uIBm5..zK-T<~myw["F`y$.4h=[:=" OÂ?W$5q$[iSct0ޟkt8.rIY V-#`3>KL6Rݧ TƧ0phVX澷YGw$/H/ƍ%` fK7uq@GfE~j_'-2-DYQqߡU9 5IHd!~r~jgpԸ-h[u1XY ]:B,SA;`S6RՅК@nRjeI; 6]34"P7 B-ψ8(azD95Ƒ<<۝4 wK||NvG nRv5]^ { ! \b"m}P 0EYpR BDx-N[eвV-&-y#浓^NbSC5 l[,D1>x֙ƨz8V#H! 5xV*Rtغy3Hzr#PamW~8MMڤ1Z` єI*@ >, 7:3\Y0,܆AʦYh+ZYW"NT W2Qvȴ|dM֗Tʳ~.\yɖy/*J ?'oW=oP^yRd)kmRcc3~|)aɖc7R0lQ;\pIt.lbmTxwU5ZsCO CɹKNoKb1ۿ6Ta a@(UW2TZcOuN9q'Q/8?@{q!8Uӊ`D=R*)t.ol0 (S@eiS'ta"&*Kd9!,j@Dw̾b&w)Dtq|:C89e9j(];,I[v%/J)1"@!ŰLp \;}$87)0-1і'Q2Jzd~V" 2`\ljo/Àðʷ]8 nњ$YH)_)ȭMu!@[WJ>6?+V/,r} crVBXV +Hqu'9iq7$Vm2#-S!=,j1զram >;٥qᔏFk7DiXOBo\)(mSzrrQElx1? y4P6I_;붣b?t<>A8h0WT,smFOga- =Ȓ?{fɕ2pyOжHJҿ_Z?lm<,B);?.r6=ߊESFDGzoW_ fV)bڶ>A7gSѦ9?p##vcڹg7k/#ثT3%=5JЯbRf>գ+폼%%㍕ E,~YF$稃wzҒNw`ܷz.ʛy\!p KC 4e2dž)}tQ9|jaώ"DuR%oD-$#pabKV0xiԧhF1)T?V|IY[͎D .Հ65z`vʵru#(i˂C+L|"X iyi?~aF09ʗ8d9P^FpUi)є&R%4XEa;B 1>ǯ5b$pa`ݯA (k:., x~_6J&>wuc$G^Ȫ4<:j&qv<u 6MR6[a U*׽1 kla-Qr'0PRFI5bk\x 5ڧT;Lm_isڲȸLU5ܔ!}ibFyËIhVGv+ZMP6DΘb?;tl;[Q?U)[%)ټy _Lক I O #J#P_qmB Pd@j9YVѨ#ѷ l_sqE>A6 9# ކs[Kc^"Z7K+ ~헽S ̜Hy (d;:M%,!גz>yuѷ h񳬕KHp:r{A^-vI2WtB,>_c~QK-Jx`Њwyy~عQ=@\qhUz(&g:1_"9ߝRۡN{X ˹ t O{vv@ w_uJeqѢE]7p B^V Do'!c/b fTg8֖ZD}! ^(Cr00lOr9ހCaH\rij/D'ӘBjt LܠVD'@`83ZtW>/ϩpP9DnuTR !$fpi@_9~*S;_Mwi)|h"-}tޣNp _'x-W2̐E1(LT 0 8Rr ܜ۴@V&ڮ5:S+~ӿh?zF<{Kp"t_ ىBÓެ, .UWy5%&?Ff׳L\XU4>̳Y4JbCςwS ,\Gk[@zdT*+/ "ٱq$,~T?kcAuO,%.HݸnC  5n!bx#j Xd2Ѵ&K>2S$}^ t 0(/Z80C78\`URe{<)4YCuVx/jiwLA[Mqlcͯ9Veɝkux'NY)[&(}9yJ^2,F倍 ;K?܌]St<1B̚-/휈[?':~]8XR];[3l)y܃ʚ7jۄbO8 5w%D s5p;p2E|8 E>-4\pxoH !Gf]Kcڈk#׉Pn-L`;AjBj;,YaZؾ`!K0+5 _VBĘaV|3Xs<3rnvW ĆrPEYN8p>J׳U6qCۀ\.v3Sjy|!:@(!%&م5 OtIMf27?_!!(-,W4Q~)<\oTߋ '%I|NH8L )8䧯rv~ިU.zJҨL~6ӉGڈJlIpraYff֝5ʝN*_eGy{GޯSUfi}'/u1 rLY;_;RG}(Z\TޜՅЂW|vܲN Nlsg0_LZ 1""[Dx|rz(vaN d}HlgJ6Wݲ|7 _%:tǞεg.ԙqcP2A1xaw~,2Ԗ[抙>Hzsu8e _@f`_k/BT1J2[Y^!>4Oa.}lx+9؟]X(Z! g~j=xh7(a0v Se#ilkexe7JseYKے^cS!󈦬}fqXR'ƥz`O3S)t$CI5>LJYDs*'/_kHyG_f)q 08fnkĹ91Wt3RG4H"j+n9zd4VmYCn^#|HxN@~ ]'/3JUIJ&-鶩?*H# ,>aP $E:J@LuX}Qw^? C!gWD^CKfw#[Ҙj9E֓#c8d ?K(oCK]s&pӮgYZ5f591b61ea2bd2868573d52a792b04ccac6d9c7bc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6 a03c8faff223c0aa6a1a6dd5212eb07ed2f06d09 94f2ffb3ff43f723bb1a5d3c99b9b28de401ce6a 5de1239bf0fbcd013d8b88d19ecd8ef216a89e2676645f3dcde56b856a485fa23f3cd3adc03ec3db