SQLite format 3@ F.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  / /F-v$d ]/ HOL-SET_Protocol:threads=6elapsed=25.342cpu=116.830gc=1.9227zXZִF! +E ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34iiPlqyZ!KtсV4؈TW5quMcg5̟ך bPV\ﰏ>W`hjl.MV^Q"Z$R8Crw/NFQ O?dH^xM@r$$m{jݮ6:2f$^)ް"y=f B#%~jsR#J@>~!Z-HJAgĬC懣v&~ $t OQ]]#>r ?h03i#^lm -}l]v?#PZg1"UDhbmbl<+ ?G&@#캓څ]2ڕ%_ҏvt"e;ϡR.Q/=^l\HjQ4).ȩ@:B2#o]9g3##8K@&r:8oz qN$ΒI,\17;aUC}utsp㵁7*% E+üum|LF΅Sp̩2NɉS ?mt> ;mZ9Tԗ 4_$h*O99.%ڰB A")ʫN{E=YI  S\wϗly:sq F! C2Xc{F[_c%^ͧ~YBZdE3\5<_s ǠxQ5񹋌zCWc=Rҷt@1y@+O 'fL]-QIA^# w!2Qxh șF/bnATrhdsrd{2'Ml4~ImѬOIsPzѿʜm /zՂ(@2USP CF3;d_QcqbB4VKn*?<:\ixZswlNVT/$t~7U?Ce2;_C7A?=o]E֨[wb zfE^69 jn7؞xS3a^|eݭ!c]Jh:Xo(^8:a+z(YnȅkWMґX`O. Ы+h^dOQPpu+) mDtisU| kX۾hoJ4-G#HOL-SET_ProtocolHOL-SET_Protocol.SET_ProtocolPIDE/markup=-G!HOL-SET_ProtocolHOL-SET_Protocol.SET_ProtocolPIDE/filesC-G-HOL-SET_ProtocolHOL-SET_Protocol.SET_ProtocolPIDE/document_idK-]'HOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/messagesI-]#HOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/markupH-]!HOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/filesN-]-HOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/document_id=-A'HOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/messages;-A#HOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/markup:-A!HOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/files@-A-HOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/document_id<-?'HOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/messages:-?#HOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/markup9-?!HOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/files?-?-HOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/document_id>-C'HOL-SET_ProtocolHOL-SET_Protocol.Public_SETPIDE/messages<-C#HOL-SET_ProtocolHOL-SET_Protocol.Public_SETPIDE/markup;-C!HOL-SET_ProtocolHOL-SET_Protocol.Public_SETPIDE/filesA-C-HOL-SET_ProtocolHOL-SET_Protocol.Public_SETPIDE/document_id ?-E'HOL-SET_ProtocolHOL-SET_Protocol.Message_SETPIDE/messages =-E#HOL-SET_ProtocolHOL-SET_Protocol.Message_SETPIDE/markup <-E!HOL-SET_ProtocolHOL-SET_Protocol.Message_SETPIDE/files B-E-HOL-SET_ProtocolHOL-SET_Protocol.Message_SETPIDE/document_id D-?7HOL-SET_ProtocolHOL-SET_Protocol.Purchasedocument/Purchase.texb-]UHOL-SET_ProtocolHOL-SET_Protocol.Cardholder_Registrationdocument/Cardholder_Registration.texJ-E=HOL-SET_ProtocolHOL-SET_Protocol.Message_SETdocument/Message_SET.texF-A9HOL-SET_ProtocolHOL-SET_Protocol.Event_SETdocument/Event_SET.texH-C;HOL-SET_ProtocolHOL-SET_Protocol.Public_SETdocument/Public_SET.texL-G?HOL-SET_ProtocolHOL-SET_Protocol.SET_Protocoldocument/SET_Protocol.tex^-YQHOL-SET_ProtocolHOL-SET_Protocol.Merchant_Registrationdocument/Merchant_Registration.texH-?A HOL-SET_ProtocolHOL-Library.Nat_Bijectiondocument/Nat_Bijection.tex  #4U_Żl2*E ggh7d^Eώ{dtI;*jZ]%St^;DI$>>;oOrPog"S;9@g~O~FuD2Ec;Èw֤ۨL N?07me8QVͥ_&#ujx j`xa4 v[՘uM~PZm^Yo%=iU?7S']l%\jJ?-/ǫ^C ЇJ˨bܓ{& qlJĽ~E과x~6l\!tD;D,!KRx= >edu<3!;>bme() GcOhkAԵPzl6UDӗQ%gS:7uWC Cokd瞚gaƷI_@ &EjkAt\y Kn4ty6{}[x'b +L1MB ׷_1 R$s"@l*0aPGD+Ej7 l C1pewBgTÈlO=3/Xpb$s!tOSįm/<\NJ q@ndִ{ }e皜ؠ,+H} ꄦ!d/nC$u&2SUjg`Ys*B=Q3DX+ݖ7Dmj6$¢v y \)ǓʱcS2F!nƨn\?{F@|#eT<`.T9wY}BP 0Я.FP(HKU@546h\ΏWfZGQ"=<GʟXiA̘Lx)T'Is,$ZWUvPѢ埑VrŌv(]}R™NܥW;#3ζ:@eU8 "{q!uޮtcS ^IDCt y ۞jg4KM'|ƛpKggL " \CIźEYcnqJ^Õ gDjz7?ApU-ZnQdoi+ƄL1,ރ'[4ǻ]: /`YxcЩoOE;V\h~(G#N?!͈, x#nT\ػ'>$4~J; @/xXyX;vty~M$i$Mh}r: "W@ F8 rIVOuWh^ (i/ Mfۦ6Ir_lRpZYz,&زT%2 iU|JnR ,d,ԫ7"^gtuW\Q%#7Lt">I+Hmc~&cI\I[Ǿ/I}49.2z``X-AA" SB @3sm"DtqaˉFՀ}{#-*{ Z@d4԰O^a+s)>.%'LN䣈ngdר͈ΤTˍqr?ĢI5wt~_ BkRȚsT`l}NBNQeoCu hXQ6$¦^(L>~S1s1͍e2 8צl}̉7 U`}~o&/qq ]Tr zEe'| -ogak0n"4jlju7tN$( I\}'MTrq[ĝwiWv3HRzRADb[..I tWdeȣT[ Łlx@c0޿R:_S 6 w"\?v,*3^ۘ+%rx ~G&d4sW5NMߎW?@@ ,tTU:pS" 9M:d_ cZ)aEg7Hߎ3<ՖʫCSj?pƻo sI%3{.i,*_DLH=/LfHzA"N>HIz`Ea/ q*C- dڕzz4Efrp2v=dX6rMR_>,>cod!{g 3_= dS}G>0Y L2{=2^ e&] z @WD$J 5s6 {^y4h 1I&T":%__)=-(d|N՞>ݕ<5-lRP MDPS#&^p2\?ASȧBv*"ǎ8uaQպ;.I1f4Rl8JnX[? n8c @v ?aׂlˆ ͍DoE}=8̀Z!(oK\1{ @Z'i,>)NZyRVKug)5"GgG<%mzpEܐnc}sRp<^|Y Z+FØ^E޼ՀSR C9j;U>}$}$k{~Mu)ʏ:K?Mi=@)=uW]$g{b=3vzRxqC:z 56ˍqk嶁=0KjOiMgp6:(!7-Ojj[fYbM<Gt(rGRsi'M EjT.[SRɓNTN"NrI[bnxK5%7Qc]E[3sqcU8+0ժ%=>w':7ͽ%+ dEwEat4:d|0C&&q3C/!F'nA]8+U"`f7=s5X#fb܀tT .[Jz,n齫˘+Ƹ]!`tiV>++5*`{Uf8ܾЈ:gi;qF˷ :B x\*Irf~/l<%ir]^{ IF\KQ*Vp 36+2#L& cxӴnZZ?ut |m+m0E*OÓXH͓#%$yPjֲ2\%`)_wArF9^e>~iŽ ?U~Au.4vA߉ڪCht*'[&4|ە܊~NF>(+O0|֑o\"a7(""X0=N(!IOw?H؜S,75!;HɟI#h:chh[/c=`ʈL<28ռRy|_̃?~7>[lI67qcuQWBRE5$nq vmPcА~Kߨ./{aTY](k#`" (kۑspv ?"@_1&2fhWiDFEwX&\~ߣP2ba;H]{; T;[f:[<8Xkn/ӷ =s h ŧdhu Dׅ72 wQ0ɛv^S"qcsi!v0طrIz&j̐y(vůrX(ȪOv?L\֝*ڑÃeu[ O2+ElΊv!>Ac o2^#\~+KKQ]@GxULu̥&] 9.]/CQ 4sW#~Ʀh|zs1Fޜ\697sg^ ZK*KϐHAqm[#g0T`%-WAEfrWQQ|ttPP0az4MwT-=)95=adɎ6wO<:+.|:cc> vYsDt0ϯdl*ԩ pxjqUvZ9|.)NCWҗ+,7LіfSrA :n [?D|ޞ/:iW|o)?jA-ŧ*|<"6t[kP`RmU0آԜ"fl&^dtƻ.n'c:ա3SϓNQ)"|lp,mRCjgȨdž,0aZhLT~&*[eC9agGsO#NΒD`mD8/v,M+( k]Hd_nQTƦyT>?&wB hTgE BYK@@nuo"?jAv]EolbFKVM0$%6JF3 >"~uKa]rF}ZAW^BZ?J ;Ų seKઃ,FM:0g95Y~98ATeJPP= GɆgB8#dŕ;DG9`_7(23a$)\1퉯&}(`@_ͬany-l_ΚR{)SDcА?qmN_wN .q8{kGЦ^uyaNxcXό!p9 հqD|Y?e*s>Ϡ\xf'dUD)X"JlmkRK4F%&L[dF+!yZ(ɴg y1YɊ>!UD,E إG<9aL Cl+tEzoguK*ژj9ÖS#oFxnלgwBc^H"6io q(Nc9pljܳQN٘|g)c,KU3NWx|'+X`h.PN/T=&-i;^BԴ_cL7zӌy4xMUIb(xo,VZOìN ?P!A{ֆpA [3OiK-m]"/ ?)r,;zCEǵ  =@Ff/ oyljm -`P/!IAn&Qz ϓNVA94a݄ 3p([U5XL#mkT7y[7vq*wA X 4% k~KNHJ<!NԼuMCwa2P`!5dfБ8nwɻOkyBnuItˤ$mNDm:(>iվzX}Zsӆx+( :|u/3Of fȄnYT+k-Me\/êu@pX8@oQTxyI D~ ]ARؼ~yJ;3-[]/# B߹=4:j; )0n5ㄨ,ًuWnFTB8H@c5/VP"l*HCU(G0,q0mShLq9Kuc2 {j/KZ'd#Mϟʥwfܯ=FҏSٸ gN=AX6nZx@]Š:.,&T3@&M+HO&,l Ih3г :"i IN2a*%il!%LŁ x(~nt/AۜG}Dp]pj7Wz9ǰpت_ǹxRh}"T kѐŷrvnkx.G.)b\䭩n"2feٟl,8AuBxH}Zzيׂ} @ )13|zv@rmz䷵ Q{V_ҔTID7hkl/PF*Lbwk*L\S0ZkںᏃj TޮnǽV )  x64k'ҕ,3\rX@rlhD<``:g"HȰyza][} [XwՋ!,J d5wzl |9"_D|>Y_0)C]jQ2wŜ;ՌB( K6>]]Hd<9G679K1R}#F$Q_s팻-!/ Wy6$+pI`PfDZ*4 o:\Ŏwo Cӽl@KmzpIj>["cS/pUi51? <&u:ٜ!bydH)_>y^S/@'F&i1ڑSgYZ _-?A 4HOL-SET_ProtocolHOL-Library.Nat_Bijectiondocument/Nat_Bijection.tex7zXZִF! k"]A-MՋhvG"uIBm5ı^gi,f;mƋ52b"zq~1kI-j.{;$OP4ݱG)+b>o]9g3##8K@&r:8oz qN$ΒI,\17;aUC}utsp㵁7*% E+üum|LF΅Sp̩2NɉS ?mt> ;mZ9Tԗ 4_$h*O99.%ڰB A")ʫN{E=YI  S\wϗly:sq F! C2Xc{F[_c%^ͧ~YBZdE3\5<_s ǠxQ5񹋌zCWc=Rҷt@1y@+O 'fL]-QIA^# w!2Qxh șF/bnATrhdsrd{2'Ml4~ImѬOIsPzѿʜm /zՂ(@2USP CF3;d_QcqbB4VKn*?<:\ixZswlNVT/$t~7U?Ce2;_C7A?=o]E֨[wb zfE^69 jn7؞xS3a^|eݭ!c]Jh:Xo(^8:a+z(YnȅkWMґX`O. Ы+h^dOQPpu+) mDtisU| kX۾hoJ4%Q5Deݧ| 31B֯Pi|eoǏ m_M>FJapFʙ6ߋ?u.Bȃ+zH>lsXw$gYZ@-YQ LHOL-SET_ProtocolHOL-SET_Protocol.Merchant_Registrationdocument/Merchant_Registration.tex7zXZִF! H]A-MՋhvG"uIBm5d./Am呱DƏ?Km9AmB})WvWD]kƼzkϥx5GR츑weY .Ir_r诃GbY\SY|{\>F+&ߡLyM7_@-/Y\*)Rp Koj9I^$v~Eh%$:JM+Qk`gSǣ=m z+dH~ɚc'!?)1- (8^FDbێ ݸ)e^k߽k G( x/,탊1y I0P~Mwi᯽%EW$+W}oR%^Tq/fTR IGmCJ>#Cw.J=b6%~g616/ͫ}fXh[)5 xaՄ g:6D+BmpNKo3%7;7Ы&9Blv!!B2'N{}à]"2!&qmy E.RV| ~w5-J褖}kE6s`ľ%^{{a6Pn]+ٟg aIe,J$wl Ty@-Δ(|׫Xm4}8NLɏlԷ@tY2ɨp#Fsr3cƩ<,,qE֍q|P`0ec 3Իگy{>hۡ?#P`cQK{_1$|@?j$Rsq#0 XfC(Ut@˘-"1Pl: 3Z,(bLmO!wTP#mHa@JrXqUיCyPK(bӉ d'$Ih%t~d[1~̃~H}D XA9j{E9`OV{bNOu;o7j'6&5.Qy"%knEdgg"Jy3@0cj^C̺RX=i5=,nMCCfV6y3'Cke$x 6zjK5߶R>kZ"^^HΞX!ad,hTJ+6ZQ_=MN0CVBMfwnuźޔ$V|L $;ӯ ~|N7ޤ3_/#lIۗZQ6f"51d96^0ui|+mbazdRF󛣽C5v[HBY3:{H}7Z q=@!"^N}H?Fx7`[|bv ސ#i&įW\ z-ڸEDB[#d9V{LD3s ʗt-#8ث |`TPz3!mIm@N^e̜YOv MvZ7k Bo X, Nk ɿۼY[BƒL wT_o_`kBjTRA \Ub~źm[PҮ'-Ľ3h-IܕVv|,p4نBI<]L3bZ3D -^ Ne2=7>d]xR^`B=N!3F!_iBjF,,UK[ fgykْʳ蟠>#HEox?`, Z'Dc\<ݩgr #ltIƭ yPDh 9FJ[pKyZm:򊊐3Y(uKw=6HT ۾_q]#Fp=sߨnM/(z(B;{e,.5B>t̡TJ55bՆ48o O a(Q[LJz`k0"6,b(u.HZ$f\AláUbk1h>̥@%i 'J1A /? ua=O3Czۥypx 1O?6n:Z^h=(Q vvpϾp#72@>] XQX;xY4} 0*`ma\\](>n,m NqG9Ę-䬊Fܴ6&,H^#(T7c(O)1ڇ`R rC&}LizqnX(QaDw&+>uр*^ ClyYs@,$)deԋT)C+Ls9$i|w=.B& +'ű,0(y]Pe` 9X\C$.#U\jHIZf `]Q$Ǽ-J4R>6>刡')ECއ]w8cJ`aεE /" LEEtwh,B PQ ɝ<Ŀ"FC):Gtj ϱ4"+iI܀KBYFԗeGmz[% F v8;!ϭ=Dikab908H"Ol3jYo-L%FkToV*1%=(+u4,b1*y-%F[&\b_ˉ\ qVǃ301 YfDaK<爏M?,NS_O9Yi‚ƴHShD~%?@Rp'rE`B@yc,S, @ldP4>oR7q#cn $C WZMrrϬCf"4H"h8 ''5j14d;'ψa+NZ$ +=ʷQP5׋ڣGj5D񵂫u,yMSKt$FS+q9G8H Ȋ4HT_ ܩB2㕙VVE0cKJIR~ҩP ׼Pi,q}C H֥E#l3@p|Rr˴3鵬rUks~Wvo!gҥ[Љ@QDs{\Z"VeQz)2&݅C%0$&33Zք(s?EAxգͳ,G~`y|gƨ>-=t0p/DY2B-S;gw:'#Z4ji,56TS+l"p>/K&_O6R%ɔHmInk -|8n%哗6w*q G2/xut)ȑ59ke1`Όa, Mlt 'nV$Gl8 +(pqK5M%*'A/vc֌nwfكWٲRo"(1yv%ǠS꾃aKQI{L]saNzEn^n(51g{e/!&/fgLA/f#M:.r7% f{əyL[S"1K|~h9EFXC4LbX#e} d'¾6ڹf>58U圜Zh8kMTf^fC).[jҤj.hu\H `i&M%n 1rNY[*cm%a׭xXz6*? Pf/24{V١u\7[h9nsX30\*-z W ڜ:&`.:M썌E92} 蒟X!yqjy s6D)8#r&&U5Rxl '0Da}+Fcj.-Zaza`+oZq(:C0"gYZ __-C; $HOL-SET_ProtocolHOL-SET_Protocol.Public_SETdocument/Public_SET.tex7zXZִF! @ ]A-MՋhvG"uIBm5No'clsLB}tPЅKKHdxmy%zGSI]>Cĸn/RύE$ڶ㭗eT lOw51ڀ49OpoxϚga39u%:nհRPY7zqB# >W0kPmrf` c9ܻ'T<4_LT uw6蚒nWɟ$)Ē;g|wo~?x:OW,2ڷFcIaԜ6X@!&1=Z~z"qSD0uFTnVD, &R;6 `w{┍y3$Tڼn>je6> Ş [bP fos)?OiQ?RϷ$N\ _: _Bs撓#g^t9=7]`1|g["G9nm3ZW3]e4WȒJʊOd Wo oaEtT Unz;vߪidƷ,!ދ% a]@azr-ʑ^ GKr +3Y]])\T1>Ǽ0(@xp)D%e.:9;}'/&>F1Z[Robf(Q3Zpl=_qoAr#RIdm$*RӐb7 &9S63ba)bo^u5|,(w( ݚkIcַ^f/fEu!Cו!a,DEش=NALļqfMg zc!F,&| 5 WmՈ|"xpќs #Db@&U<3o:X\cMÀ>[1RB ) kaDP ~h'BԓL'CuI]^Ҍ;A~opOT,N4Îȇm]!!Df,"'诖5}/&Upadv&)OL'@Ӏ+x@.Npqa:LY v!"HEݍmMS{Kr,;R̗QԾ ǫVc}LCq՝9$M?(mƬa(aG:c5" >0 I0 9 ) A u n[nxxi)c?-jA SKoY߫n ߓi.Gf=7o|fb,|7ݾdUDK/ZFa`6&Ag7o2edpap!GEʅ>TtIR)>-i\!;s,oŀtJV㺤j6_&ecȭOjq{5c„Xô)73a]({+$;uhDXy$M`{!F [PD[`7 obv3Oo%Ij'/ԟ5 QRcuMKupܐ0ίBm(g:֪ _(lЈvpg] <ݞ ‡C: |}_G͑\QgW ^+u 68JcAE cWvfbd SqB)ت`]J0a=ž>,BM{Q';PtnQ7]s$ v*n3,dڳrS\^j*3G P}(xCfr"I=K -\ 13`YuOO]lj"–!T]DAFnV$L骓)Ľ n3 R{:^a%l,%3 f_1aσ@G-Ta(07tE4ΨTIY6Jomw`{HT<"fr9rTC;sYVthd Мr`tpdDOgU%EAp`c2 I߹d6Xy3-&qx&17_-&jD]!㳴ņ's=1%ZQU/z3)"n4(*3e42rNHdCs̹9S-]i DߍsxR`TL(@SXO=khX}S]DuQIQ6vlUlhh?C]?;y4$C] o%>J9 j jBl!!pъjfhK!"nf`̿? Ab^HASBet}sZR +[Mde;M\tHxB[BH&&/!4Ʌ2"k!pIN ;4lȑ]TB~\;aG2P-KHP59~(Ag-bYQg t]L/AA3v mnji&^nwD[宓4 V;s}j TS0R/6P߱IN `y*ə?.T K=zQIzhG5* sӗ>G2sWB>4nϮ@g-׎ &,F=l!(X.uEpSk ! #)U8 MM0-A9 \HOL-SET_ProtocolHOL-SET_Protocol.Event_SETdocument/Event_SET.tex7zXZִF! q~ ']A-MՋhvG"uIBm5o1֬bS~K.]8JzkEǖ2 U5(ǖeaq~CS.3ZSPikZ,`\^zRoȦ1/%%bdm(N{tt};8'sxm&,fPKf1-˙Ox U'KaJmloZևU;92UPWxPAkhi6R"{d1ٷoYRCj? JT}z}ᢽHF ]P~q~saɩ[y=`׉@-KFܵ@A.)hY2dYtPLqW.U fE^7(C-bmtʋ˺I^L):m& ޹5:m NN1$@p;]-c,*ƱJur0VF̴U-Fzy)(藽֜aZl}˞jԺ';]H޷ºb+ 6 !:26Wkg^3K ` -Rz62"a D, bdO0Jj1Mv$5p=DE`!3[$Wea cmlt=dfp9DkVi;IQr~#ڥkډ;Ovy dNJd!0bގ2$lϵKFh>%Oxuơܨ{7iFo"]{mLAT/Ŧ(⩾ 3'R/ HJ.qx|m C{ >ryOҜNN}RA &m(Ш՜${k{np̤bS]R-GF O 0㺍zXIUnrVUGI |xi# mY5RcfsiBgaT3<) o C$rsQ9I"5ϣ^)P;~m_<)ͩLBr} ==5|P)kj&]h16[)l[ 6hU\sVbp@X0-nyfxI:/Dvn 9eϢXReKB}N >eUu:v qvNղ16Z*3RK A #8oȗrJj{c5MU9_Bgphc'|vVj67]=1X\\ Mt 'ReR-&g~=&>~mPAi&ROE lU亏_5o| Ź&gܝPO!r _ݼ|ԭ~s;'׮`zhՃeg?g*O*WigYZ#lfI{ کX&f7 O1eX'-[r$q>ޏ?cf8},0w*f'T>&uHRPt0 1nNӈRBZtI猏IԩB-6 /"q-Gp 7χc%;iao%qx5q5W.[CS*܎!C89 O6Kv)y&'F!(yy_.UuJC}&'WěPYPg0W-D,Uwk P,tyQ n4֨Ђz:Hޚ =JUHPXK{]-J)Qy FBHtG'eN-nZ^^Z%Mp"ǖw5C#*I@>#.d紊LYIh].y1Q}^_HiZIOݲ%+5t6Ȝn^nTSnF-w.SfY 6" q@Ʉn'ȌE"=-a>9 3nP5L(|fEyE?Cd+4)jHw 'eN3>K'}SZލL.8+LҐpByx_dEFJ'9`|JBGo@P8LM.&+P06~ zgEP F5ΕgB?UvcG[cMŧ%j~1r,CK~w yr>IJ}uWCmA2@ԆG{&9|ʓYZi ds%f5>>+3bo33w-&qv+kh,JU]7OSӉ?(HFBJ_U?3c]J}:H]CRFE[).I8wC[lB8Ȥ ;K EK[ \>aZsai  &L/,^c6~3fpk݊ ZI#k TVK.LLFa+ّgLn'(d"x\I٨wvPܧ% $̋X&6*bVRWԭΈL].S@ sަo5 _h&$w.p$ E>hP|+MA8=1v*j~tVMۋ8ς{_f%gF:r+ L +G!?3`F]؁{{hs2x\ٽ~XO&zlԊ8`C_ X ZNc &`X;ժlZ3/A8l ='E0S]fVB(u A݈$knqL @NTaK͹ g1-c8kh*tI^X(t~k"}8`RbE /4Rvۘ-WGKQ9_ (}/,2k+@sdxKZK= VǑ2pdqt3=Of;C %q:]m+UI?ԝui*o[igRxGYOֻ 8ҳ7W,IG)آ_.z*'=r9)Z(?cdpR&Bd ψĮH@vAl5$'.gM?sɍ&7ٌg>MU fRǓ6]Ba\׳s\aƊg,]QVFx_L}MmXAꁼ&&HJY7A pLk-!5%eEPUnBsGZbO~PZGp6b n.njy7LtE8HpꭼR5eZhp 3&tW=ߙq;k+eC J4C:;6Y\i} ?͐`J@֥TDžKmj5L|.0Jwzlo797AfY-"KZC&lİUWjjFK=|V5Nepĵ!l]Ag'j7VAۜ_aY ({Ur2h[QUehgD4:Ok5c^TW?0} - ls{t;K5i lw'X+:~a4&712 8)YBo EŅGQ^ꍻt( Xݞ7Ҩ+Cƾs]GXaBD/KpéSЊ^'`V)þ)9ЧŤ u*2x qxv[$FG&eׁsATH^MkIclF^ rxwkr巏teT&Y˸x=)w*і=;?+2{bOkqoaxgICO!\Wi;CVژ#TQ9t"G(:3(ZpdpЉV?!FG :tב{d6{8ҙO_&S sbW$wpkNn2W7ϳq LmsW|CjB#~ yLP9b`QugҤ@Y˽GuJ +.j<^xunwA\.7 J*/;~ULgw1|FϨ+3h m+a[xc۞k2{J.1WuT@[tc<K6Gb5b"/FPS e!Up+ֹVgiS+b5x'VxrV숦…w*&e0'4FnCOMjͥyHub;^DhǜOc5Ԉ]-a <_|syVAzesFiӟhL㋴3ũӷ,0f'x?>F`l5s-:H28RfcB="8ڣ2ɪ48a{ё:8`ۮܳq)hu^(XkBtu:6IR*TȧuЄ 3f Ů#kD֦jD&* ϳvײ֕K르+IP: Hw9wMM5$ybuqѮ#.vMlyisQK[zF_5k2>jp.1XULyx/-Y톝{:#Tnp N6n8T91Q7ޅ6{eBK𖘬Ǫ*ݩD\?od"-:8?B^\,@WomV<!|dȢ"9b#-3=jq?}$\L2P^B%aPbI2gwr%%YdCm!4tm_ZH6u+jO' cҎh|L l|CǀA'-'ϧB¼Qn7̱}DVRjs]fltdM&s0=K"Ksy<=JgP+7ԭ1Q@-g:hkqvj'Yz, 9j62C#;*Q~E3 g)dw-ş5),}9ֆUas^Ԁ!-e. 9%J?KTcPj)t>OZD[ʾ܂<:?-29z+U?l]bxU_/}tURn/;\D%EĜpQeة7b!dssB?$kьgvlsGFlCƌ1-lzfEBZlxNӴC#Q^*{zZ: "[꙱_'lUZ9 |(Qy9yF&zʥCQsYExa'|񥄐 e>Ln*`O~[3_f3gJ]@Ȉa7b܌0f():.2.9"?GjFfy~Nz7uo3_ #@DyS& qlyйs36W\ߣ'IϰK`qX1$Kk *@KXKa8.ᡊ^0rV - A ea `XK$;9ij!ms) \[am*^*~W ߥ.˜V/Q.)M(F;CK{*ֈWKةNON&(9cb,;DHerNZǃ ,-6GEԄ1y~M2oie/AME7{|*@xHж0&*VVs==U k*  T&c8|CW@:WmL"GQj,,,seCRxsXd l{. &Tד~&,R \-x__Rɾ.[H;%h"8"xZh:^#bv@Q'J'C% r~|"qB~P{ +}ZHռcdAhVC @z=p)V[:(bB :#cng ;?h4$7w&:]6^_0X`~\ĎHmW5eۧl4hu3Q>Wn" ~,(ݛ~KZsL/ʞp 5v .W4{7 >kl@BHtj~Ap\~O)qe߁Q;MSI~6o̐I'TGJ֜<4aͻƕ.=GЃ}$|t.V|\&c $A=IrtfoV. ]aLkEHApٯ$Ԝ"u3ஒ g|1u,tMI,f#ՄVI/i"tsgcm! K>OaKT<+ McRkzWe+lpwӔ?ѷo}";.+ ;⦯@SR;fN`K-2M~ߢrIz#pO_ QTU -,H/Q@ L_2Vvq!dų4D|G<\+veQ9HyIOYڈ1_m]RR_OZƌˆC[QsAqU X`bOIiiPhߙT~Rcvkk5 _ZzuLlv#DX%+'L;/[?#ʐ N`'֊!Uy{x9oW gYZ U -]U lHOL-SET_ProtocolHOL-SET_Protocol.Cardholder_Registrationdocument/Cardholder_Registration.tex7zXZִF! 2]A-MՋhvG"uIBm5 xVrRvHˆZį\8l%e'Gd6r3pz:y9O^ubpʝ?uRD. eۙBމF֟!~w-)C[d^k=CnC\c*К'`eucG<(]npY'W7ѥo1fY¼U9Ď1¶6l ƻYQ4eV.BH?T%kC2Ǎ{:xX uA;x.2Fd+`?U[%¸{}P?\TvA Ux@"ʐ'&ʿ`E|NP6}FSvK(#rYK D ]  -E= HOL-SET_ProtocolHOL-SET_Protocol.Message_SETdocument/Message_SET.tex7zXZִF! +|]A-MՋhvG"uIBm5f)18r3S D'̂ :ِ%-fRj3KϤME&on:mP6ܻafQ{5Tro &"!z:6h( Tl9"&J#*j~"/db m `ls#h-ѡIJݜSc)$n1>>ZDPb?| T7p >fI-jk96I?$H *&x7YFCoEиhxcWĢb<.Ҁ`$>tӎ%kz^)Jԓ׋\ <ט31hoG9o2ٵ)mg[b`;U֎ `(Zy]*_7e Ih z& (L R{Or#=$0V}ckWg{NBi>Aae6 hGYp_dnF 畨/70`5whO\ pº_Uٍ|æ{vF(82]3,\7 1U-_<2c\ԑ0OJ=l[qn$4Gj4~kwR\u3i֠/נǙUz3B.zj@l=cA#饉|]IP}(2%[p:IZyRRBaTHy(c+4Q]jD|SPJ%/`SR$Ύ)XbKU/FCO2Cd:X=gw-̈Ѷ Y1{˾A+$U:8t7όAMEo\YdeqN$VnܡMG(|W Վ QW,-%-K'jBw-;w,^l7vOk׊ P([p qd\/ɩW3kieWc!iADY Ur>0&|ڡ# 2 `~;|֣3ɂ06L3OcܠwXqO2]e-o@Rh1H8L Nˆ`G@&yH-藩x=-N[඲ ș^ 5";[HskQn)S@̅hAlgxI$2~p{߽ܬ$2oi涃yq]cXNㆨveMUsv"SJ0VF{fŢ]=QNpM1-/82;*,{R^;4:v]z * [XYϟ<9:tn(&?}<}Cl~^x-.k7 }S"8ET"ch8 ptHE1=`f>=ovSAʡ_RiWw&ojzz`XјLIuP~,uKa6%J e,iBqO+)@_I"%ך] w`謓 ϙ0ZFFUt FzL|ٴR3~)۷5^)=,`jpd]怐.w&Q\(ۏ˦ƴLAzD8b& f#HIޱPU0߬[6/!]CQ{Ni)_CcUɖ}vhzI_v>\و]`VR-aյ^] L\=ǛSϺ `.gN;i.n!ʣWH _giqt cI]J EjY #ӇWE?q0:;o _t,2#yI;"ӁɄi0e NV[#D&Z'G0V}vf F;FRYzX{Hq, ]"OI^~`%6ˬ5HlJ[F[iɶ2$bi S3g)o5u] 2l̏MZle܃! 'lO@c*+,t;CAZQKTpATp+w H3q  Ӵb)T>)!>| 4K( bv(*OfJ=VӁ maz3`hF) |3Qq^|F+NqC^ijv'7oJt !|r ծSo AHbj&$'H/6h cW"=G>,ܳz3-pw#`<#Z]lRA 4.w~)|{٥_eHXy.JȥJ;fÔzEXṷFM x Q 'ZDƿvzBv B$Jm2jFx7sջFW=6䟟b5b= LT mzqz>MMJZ/tX6+pƏqLt}To|{!Kr5ӳSbXсw̥~;Ŏ6\>"Z&ww?/o,=^fޣi=<5Çf?ސ5[<6PqȢ."7#+٥كcv.Dv ^uKãZ&4M4.+g{ D`8֊k…Cc / |p5\jĪh,⳵t5,]|\ qk5`fkE18@w-ra3񫩾@^1h4̶BgsR&?̜]A-}" wOh4vkqbLLN- {&ޭdl&U 5Ha3z՛F b{r7+ox“=џY t$`U ?NBXDLn|)ɸډkyJjLT'5Yܺyvu6>K|X6[yrEjoB*߀ n?F; yl(0K1z=ۉR12{Jˊo-k=VđT/(xBG fqiΜ_c&޽2mAFI7h%8M 8KO|\i>K\S'1w?uF;7w5m&+NfԎ 5bBDbwL˝AݨD-ۂ QNێox Q7 ]#V|XLP}q=/oZB̼K,\͗O%#<9Mw_22GJ?+W'JJʸrJ^|fpk ߏ=ɻLF]`^W '&Bw DY'M&%V袱!bR~&:Sd1&8x‘ĵ=t<ꭣ:eL;///M :á4Ү@ 8' B+Apeɩ}"F? Rk'H]B[Ԛ&.lj'Mr7M8gxL_Eq jHCQ<@*tN, E*i2Qzw971aP*H޳6#S uY{W+AZ+ix[G Ǒ `H_Fe}ˍESo#yq`(?hFf8\N]%//{+G٬ OO<|5hg 9ߌtU"=CgO~^}ZUaZ1O(keNɕ"!SAY3NU@z+c]-e#m8iNaLdz\izB{_Gi^= x,P]a^l|DA֔Zi P:oԛ!*,۝wD:9ͭnDnjb - LJȃwL&&nE ,@m2'7L#'R#yV)"uIp4D=5\TR&1 fj;Q2?Pn m/#@enZZ!Z\r>YP201{?,n.K{#;N+ UotpwIo %ᆫT/ :KoTO@{g^ΕZvs"@TIHW-9)q=$gE|l] Is-zP%,nNU? O"%NX?Fe&ݕBHSMIBb{u?Hl}W$+SlߌM49*wٮ<#'Ҕlt'i ϥMVVXX?\}F O%b턿jU16t7U }I& _ؼ $`<#; ij6zP)kVR[TsQp^ɜY!j34Kf_Ǯ$_pM7)}d=g'櫓:adbViFLYJ6dW\TՌ(Le?(>TL2<Gג%)lYGLCn}C#Cg*g'{'3cX)gDm#u =V 4Ft[|p˝!TFן8%`ߖ1Xdcg :C:0KQd+qv? aMr៱rU8GcUm*;zq{4 D}C3Db3=4ZX| Aʨ@@7G xSS'ף )F"v~M ob_ ] alV:fJf A]ϘsFTN<5PN\,HaW=ZObg yXX{sz 3OIntvޚ\=qRUhmܚuDar`Pg?TGɕEAzϭ5p'%xlscPhNշ{.fNR#Ya^ڂ΅ú +P.?kT|Mnm&YH$^Ͼ'ˊ{t%*qy?nV[3^H\LM1kL.IgJݱӚ:;$i|5+eĥ$[.1/JUUVNJd\Y椴bzxgQ4@^~G@9N+o('Ơ7u>S{>\GM- W}a2;$= Y1FvF#d*ˌ\9{FS?c0rHNzb*>A*QВLit H)IAkkP/bbƐ77~YB~p`\QywɛFԋbIT8|(6?35sK2w2P66#yD~sn,UKE.oy(eU9$A47;M22`Z-桅eY k)먫gW([p=´+x$ƒGAfK}uY"̦K| EVj%UY Cߞ‚$HAwCă!/űTxЀllo^TJֵkdJƸXp!'(u JLRJs.) RZG5UMl-?QD[TO2tWؗmJ)Suஹ ]+4ڦ>n;gr?~Ló.& Z e[eWG*s'İOZt))5kw\N)Z,Do Aoxam;hhZ"i pMٲm#Pd^NR8H: putJHwwx!MRM4ziHxYoZE#dHhX |`؆0$r)sF̀4Z_ ܥMˁ)#Ѽ1Aޞ% E< ux"oԊe x6#vNs)غd@F$K\31=." '|eH=jЬ 7U(.®y| %%}(@aq$R(T d,!Ӕ1CkD(ĢEuXAc y*e8"c 3hԼQF®5kct]BnƧK7>_ f^(Ejkg, hvDTahl0ƜCw+Z.LO^Ϸ83X}w9žy;U2KKƭyxJoeYl]XU~ D}pz`&7T$Y;¨%1gtBn:IE GlP1ip+ wQ >7k"d&l>}83^f}a ,IlKl4*%^j+CnxEW훤ڌzL1sq_!` G'Lxfh+c8#<_F S*02p?l8|l &AcmY93m[;SκCvC+׀Ļ'϶$<^#\?YS]%(d52<7%Ԕ$?tKi}"nbg[Yqcl.ClT-d{h.(%5> ՏPu̝[D3H[A aR/IrRH!73kr3J0stci#@K+."GEpEו(^pN%(el6}0ZG%Ҙ4L Y/A 9tgzw_(>s}  2c։gczL/ARAobP\i>Ym$ρ%X`JȅB|7RuEp\˒xcmeDHZ@ 2zhϰQdWFiT3KmnPEYkr>Eh=|R"gbcR:/i'TMXbdpVHӜP{>zc< ^æ 't6w7| ~xŤNzwY`RѼkOj-z\hyN=1,۬ J"">~w`mp1Joh9Aep r/1A DzTQ8z# 1@ #1 LNJwGXe/2&@I*FZj&@cNYH8OD gyg.oolTT4dN^c]mc{ ]x!^Z`aJ$yikv{l(4 r*{cH*AܘAu6野|[3~C&^\/ŅRE8Vϰ (h4Jhf'uKQA,' ko_6k߬;/K~9- [ׁLGKM豷-E$y)Ix ~sܾ*4q$ke~|?qjڮ̢w[ ,Ԑ{q ;yFmE;inY~O~g" 2kc]߂&g._I+O GR[ަ:l p6z}'Skaa1 ` {Shg`URS9hOԝI@?&FہJgBW6'zJޏϱyǞa _V+Mнu*}z ynsƬtkT+uwy t!T49l)I y鯟ڼމD_ˏ3CU [,pS0;[m,̦jiR$+cp\U::(_9hBZ8Z 6bPQi ;GQGrw,T[zS?<70968ĉso4WkKPKkC?PIW]z@%+ Я\{lkqIw =UlϏY9>͙"MiVи ]DlmZ4,IJf}M/HHbǁD'2۱qMZk+ RÝA2y`&V9Mt+³uEmq(Ũn=i~ OY8wdW A W/m7](xL`}˜F/q-Cx4ů-Jd}gaMFAaԡH8U$WRjW59 2} !ၸ'vcp&"ܕ0gfbŒru0RbctX$C.}5,u鞮!>_+#-;p>ݿ՞ oEtgjaˊB==۩:XLYsV#R.Us<4j*p p|U*[/5%{Z}/f]8빀TD\+U$7RH1Jy>,}bWwRlc%/@훆V%6m06JA5#Vaab -kjDDd={kwEK:h<t~31 i[BtG 7,p̭g(SQv;թ]$*j@elB>6_p/kѐy2Hr!:2iȸy ]rZ䶑ӿiq\AE`t8$53A1V^RKMPm&fIʵWq rGMU{]pQ0_@5-aPzJ}ܸ@G&EW)\>TO_~wnt+WX%KyX YliдY>, o_bH<&!PZ,Z 5|y`&=3DDkZzaM{ܔ`s|aF #(φ@J?0@Zx5 Y%L5 'uUl{P{(Wg ,wkyb=?Mtt7\ʛ2ˌ2שX|ʷĥ*E ͳI H.aWm)4)|kz`Wr|ct^}1VmJk nHu J}:7d4~[~sI0Y 2UeB x钣I$X}5yQiZ!H%e&Tk]F/dLuь >9Sؗ5VC-9sŚ Fitd ˁZ.ot{NZs0܋TVL ]J>L!S;If<>X4]I,8%LS";ܾTthP0!$Q[RNٜ'b&Z>+Iς/P,=W\ful>)( wfV 0i "A d$" ڄ?gY #1Xz (4$q;x{\%x_{2t~!\Ԭk)OgueUEЎCoݡS"*ZɦS]X$<|cNOir*^ t_09MNI;b*˝k& ?#ԇm<Ouv;}QQ0wr#E"mj3n>ަGw+<`&i nBIӤxCL@L?yC#r]xJ=OuHέI@JoY?or?'ѻo3|,O-8TEdZR0έugQޱ1dm4^L0owNn+^c\JHdw JLj^xH17|6/8HA2Ԙ# -}%BGf<)  2?5'$FwnTrZ%z\AŢxTntv,dhDet6wOefeM|4 eMG%1X*b-.DMB݈KSr|HyүQ1$&n0;KFX6L9 4}dʡAsw*gj'Kw,,5*0|EPsY,(Lk-eط b)gYZJ&#yi1% =rF)a ?mڪ`W3fpt e+'.Ǥk;^9uÿz]y 6HYW6Y̾ {Og̟kAIәh@/G@2N`4bP6h%BB26f[ Oߔxz(@*Z>A|x òFS՘"w˺GC($i=.QI*FqP5Q$'ټP^lи#w~C05\}nكcaWr/4za5-܃\IR9ZcE% W#PTeytaOV+|/m6ynˀnԗTyc3`S XBA2xem߰Mfz:V 3{.o' h7UhƅϖӶGޑ^m.8S/"hVp1oGK: 6ApN8#u}>!\˅1mkbȭ]e$ߛ>'~ڿA?>y4{Xx'M$NƇ}\ VW2VD3zLtrɌVr0Cdug匉wS8E[Vd.EOb+ q8#TBAgno0{b17VA2lqHByΑJ75$cO_s -L`P(kLSD凵``W.%3Ac{o oGBi 7teXRB?GrvbdMȰ1nlP|uլz`>9VS:ͦkCPwtoLh%'K뮂XHi4QtYJS6GcZϊ:L fʂH:rE0J,2op,`Ұo#kE,Tkk_/=wCg:=6Ȣ}^f[ d}T]Ǧy`e%"GY'rtR'G<N'È4U9`a8k;z/x _ىckS| v#Z] c 3VA$dUW!ӶP @U7,E<3.j#sԯO+?YrACF*{` HMҞbHo= Ylt Ԥ'I+bXNڀJH.!ϣ)S X~L]i )>\oǵ$l:.7+T܅#эAOa&ĻiJUiAiWby#rrQ0",(\!7GI~GMr'*Y{CmYfcr`?;[LR8]C)tYz5wM#nƨ*8 ۰5Xju픻'sv!tCZv:nu?yeLP:1;~{w;Z^kEEal)aAm0,kM4A|;9ަ\hVr``!~<3U=y$:+x:=VJ0"Z8]%t븣eBp4w+k'V uM~ @iW;.7\1I3v ?OYU./JTa{]bSAnsnX|F->*}PO& 0 EiiA5eZ\m MPF<_J+y,SI&YAVCZ?8":Yr}ޫU9HI7kb$2;#<" wКC݇{{w96;$#" &P] 楧Kp5 $^ [&d q?>\  GG[7/פS57:Kr+Kq_[Ë-|\Fߧ7Z9 WD`zu\|ġեkyM&T <0e*E/L,|PlsM&VEma[AʀNJyKO]XedtSBy hٚ*A7ZcxrV{DDCV*%amH싢/  %%AlPEDr'?|maCaA q!\,Iܢ6T|*] S`Bڌ&K): i8},y)U2N!IެI)!h:(e5_ni _mXKܼ$H.ST&{ѥ6/=HL߿lDL*wtzŽpX;O+#ED CjiPz 1^B5KN4tqz=q@3MG!˺rc224]#V^2m՗g/ .(R5v`gM|ra: _" d|cT0CX=pcU 1ɺ8ƚjQ؝UO)ԉRml.nq#>jB5}E <FpI]K\3z%怊dR*z_]ސ Ůp! =OXfpFD#}rG4'~'X#qFpq#*ܳ7@(L/ҿNi{9jlw2$ѫ0Pldg&< =,S?9m[૛؎`u)@>CwP 5:F2_ߝ%s7 mӆ.*^_t.Ho5\<$}ND*8r1sEꜨo.*&Z"H>O 強ˆ]5 \N7YVe]Rkt9 Ӟu'~GDMPkhb.=NPiſe_ "͉Քj M9blO6M#CA$HxP<_t*HȄ8wuw(z.Dp\Ev1I!{]1wv381zl8dgHڟ˄Mr-ätT%Dk0l2bOy\} ]N ~$j%hQPeTg|i$WBlc+q&NNo13"s`{ՕeW#HCHxi!3G7i/&A7`/D2UX va5E/櫕D&#,ve!M I!ՔDY4GǓ;gj 4%P~4 ֙@^Dac8rSyopIlG;>>]$BQ}+|~pg1Z8< # .dN:Ŋ싍la_qBdVV@dj\h*< uZ[w52La\(v޵gQ͘dSi[DXJIF[0e."Z`YBGWy.QN=Y o;t\P&eGPpLR)Y/[My 3gTf?$< +@1@CݙB]x'GAg,Gy7y$q{3h+"[YEI`41JMڻbI}wް4r#,Mr)'fb2;R׿ 1*(HZ-Kh;8zzIjp,5|_Ϋs'c`MMYSGW/`R5կN-C>$!`L׊ϝ=Sj>6U.їi++:G?9EǕ@iNxvUGwv_k jux y=̈́}X뇃@θݴr-ݪ/l랩Bwc[b XWM:U0G8=p}|K>S'o ?vNQvVϭFg|8<=e#{6Ob, 4˱B-!kHe}[v7f{Ao&t6"`WaNV0Te<9SFMz3L3H,Z9ttWvoA Ȼnu9.~֊\ QlHa0m1 ʳ#XXeo6PNovd5x i-K PVĕLA"4 )@eUQ5u,ЉLM$P=f4R/"{1ڨrJhk flWVwE!2d#w-Ѧy4W63T]41˗aՅf*7>U 7cu"c8b܈[J %G ``R.@Ҥ;-#T(ڕH҈V %l驴ޝu6etܱjQWK mqvZ3e' eh겔S_JM:\ꗭ(.JЮMI23?by~Χaa"l)*zC9CzR 2Bi5ɾP=7}xCƃ>3hF,k戼n5'T{txR5 ]#7a2ۑ/j&Iki W7aoeIbb7.ua#O8% kCN|utHI Yj(Ҿ׾Q%s!Q!I=]F]=}Zq]sQ'\Ӟ4.I⎶8YT1l>GFuvbx5SP$`J }Ag.H Urfmvjn E hQ+:y<,FʄX% deM> 6wv(IV޲khuUhJi`E^'ui93, hb6c*^QxUUzhPGqgpm{9v'L='iz$!! wAaWS7h g+AjP $J艰ugUݽz:Z9A8jjbxARy?lc)-KߛOI.TlD>l܂v%MXdVӦEVm'Mus]]EH¤=I^f YԂ!E[',`#JH#)wL=Y9'_c'θHpu O{~DI4%%ԼDXG:8.FnSj@ ¶hTo#b+NK2is!)|O,ntˈ tWQp%[|HMr{bo~1%vHp%#z+ݰ;P>nI +yatZzMEhoXQ4#T4.JYЧ u)П;6zĘg2 tSI>ıO]7j;aÏi[[ <Q žpX8=s%ϙ|%svA]jA+DPbCēSɕC(dZ*5ANVH[[2UN [7Rs8꩚cpo#q=(A9DƺMA.ýΰBlpK"JëO+1m-8Y3)tyJ''2 M7վJil'Ǩy!{xoel_SxM@f5^,>|NGq헍6 |^{WZ9 GzV*S٫tDH Ti g( =ҠĬ`Tq4('aQ8 ۷&)Z_i;@]D{6(dcn;vu8^%nwZ̽(ۍ#tH]p Ͼ3-~`e@uz-!AiOfojP+ '%>ǭU2Rz>MIYMSݟzRf(:<9/۸n8b"0o8/6+oyӛ`E uaKj 7tix\Bkr"ҁdGno`(Vތ@ yO=$u8![Ytحur9Z3]*dX%6^m(10&O>י/Luά?C p`T› s b3$Ycē&"@ oc[&ʭH)(J63ݓzZY:ϦeS^S">/KMr}I+˵sXƪ?t6~𻢿_1N`s=-:Ǵa*/r[m[XTyc$3V=QgɇB?7A'D4C NNj B~Č+8p@yi >lsG fkh : (W7nxdk;y?ahdYU|kMMC`ڡu\${7>سK'p{nhMP=qljN*0!{zq@)Vhy${ȎI{@ k].RCH'wa7F]ܬb|_*f^869Xǚ>&?LCF|!v 9|yNFܮh&60a[Ѝ(z^6݁HӨI51*{/w}ޥ.4C dqmse j֜rj; 'cMOL/#@hyK%7k?4yg 6.h|zUp}ۗp}H'䮍=U:Ao| `NQ(fS\j]7G"KX)x`pvy8>>Bi;S?UG{NfFjIk9W/qt]ߞ<&No?T}Y~_Ʒ̍Ygp9}x.yb&rGIw2V,v!iZ )1hX+UAW0^]N[e- mKrJ8}q$ f 21Cewp\_?~+#Gwl;F2Mk/H*ĮKIOm!GCg+j@Wc{nITV5d0.o'$TւaˆAE~qSj!/o{>GfwS7s{9uu籧+q,x\P܌@=+{VTD",Bp=%Oj!a`dmpP;{tXyЗTY)_:u퇩Tq,_ |:xQ;˚tC_$څ&LMQ ӷǡ".A6r?/.ײl#,AmG;]]`E^5Y^IΩqT#RC)0!ٻ-SzὮCT~š5ȎV.{ \8@ ahJD4lef(ㄯ3b&zWY0{ _^, $S HsXxt >Y+h>X7A r8.|xz{Jm L-So~wކ'nF;U* {ZqVp͟ -E.%)lAeLqekFS@l{cHM8-?&(c|< vf?ٛuqDY|O>ain}5-}P7`!X9={>αL * ߹uiI#_OV䋒 j,k<\/џ䩞jYs+")Gqݎbw 'رgYZ Fd -E!ZHOL-SET_ProtocolHOL-SET_Protocol.Message_SETPIDE/files~~/src/HOL/SET_Protocol/Message_SET.thyF -E-HOL-SET_ProtocolHOL-SET_Protocol.Message_SETPIDE/document_id234_ -?7 EU+^: a @.PƍV0-'o)3R6.HٶNTp?ۼF.☣p'k7Y;q d5#\ޱ h8(,!^_Fi(OI=7 d#Ži2s^Gd1{rĢ1msHJQjBTz)&'i3q}"e&)k+ ˚-#Y2>-ֶ'頇בGfwd{&в''G KKUИB#7$E@lhl9Z<( F!oE8 \Fd5-9R2 v )f0 gMO 5,T0C!b$&vxiVg˭fB}^k[8? ?ݎO~JVݻ+.VOچ|zm}+ڲc^8BEO3d pmњw@ʸϝ(*V3u8D!0}lu\Bԁ%пXFY֜Tќ;pM} ԗQV54{R(hŊOQZܴe+6%燿sD#_`^e㑖+0hSȥĎ~Kܑ6T A G[Ab "Řsw!OiEp&_5\O¢*@YKk8^bS!3;dooR3bi k]yBx 6XBâTArd~OcL%Y0Ln,Qz ccxk)m)VI$/Kѣފ!i^c+&4mɰS&9:<6 i. DjuZ?maQ0W67)E'+FhF=73ܲ8EJVgS,rs>),s#C>Tc>ϙ}dQ Pq;3k0vbLIOJ4m8/4> I1;Uį!7mY88"UO+WO:rҰeov~4e򓍻=gE=ӶꮬQF;fp=FvM`{կ(}ERWh$⵺Ə:jsчP+#V6O"K@ha-IZ- `V`vjM9?t;%n+*LrZw~>ȏЄnbAwAs Pbv5 |A|~sgۆN$rb%_2<*%Uvlb4D-Q,S{L:*)㶣T˲S=Aq~?#R1D_۞#8 2LHK\o0F`k]J`W ijp[*j0) I+S(&.r\9,TB!0"@p\)&@0ɔX.SSѩ1Ç|>R\ VJWѿM4ިAHXO$f(=y=ozsS4 Ƥ,~U>L& fD@A #:k:FP?\r PvCAԽ֊a;۟+b<F $/ #%JiB6,/Ss^}ia>/`hɔ7tROz+@@:iAz7*&!gi` h.j6 #g^s PC|l^Cusg e ut^X"gٖ߭bPٞ(b qcf?7X.JhS^߰@dn(Dm6q%΄޴`,5[Wz+(! rXL_NsV*4e0^ qkj PK WR46u:V)PTGS{,L@/-vJJ8vtչHǜ-kt4 IuĘh)h^0MYWMIӈXsH2 !*YA^ <0 ؊ive6䙶=ۈ&hRJ$ 8)*Rqb+m]^^ErhvypK3W!OBj_C-˳!Qy(-SC@]\7/|=泉TívAş>wb>!?)^*3EEx,w^aNk]J"N ѐQti!g v!Nqȓ^Lu M[Obi>[yB L=g>zуNrF >ž)(w!:kU~xUh|8r2NimCy@m'@] ChѩDLƙ6Q<M,RxNU;e(;1 OO1Ubiّ,.Yݖل.s'; zL;eFfKlizvc(c8,Ȩ A0$?\^/H!c51g驡0? GGʕxS:rJZ,ꃹCxnsD@Q۳*!l𲄼<8.c` |NSW4ÅT^g6D 5>ᕾ/&ȋNj"W/hbw)!9 9o2VtL98[WS9>D-ș5ÐM@ gąj.c&r9BԐRܳJ !>V"z_SYIrϝ%^Lz>7\:¢DܡbZqBnKNpBcrƨr5)?6h%7hvM.DS\1q 4flȼgjYӏ,6MzQdrz^F23vB{]1%X>3ke~v#Nne-ecJaMᆩ˶% ('mTLSvU ScӊfwMSR V) LEtJ8dBEm0N@h+' "UyÔmgҾmHQK>(*517c Tj%~ȜNL< FC7%'% guG䠋 hMhᕡrɯEMX[ Ŝ_=u?_cX@YXC$me.4.dG&,0WQb|Pېu9y$9h`M8eZD|# cD4()cA׍9Vqݑ\,ͥ^w#Dp L%8pX>‘Wňt#4ߣD77$Ug.m'&ǡp-OlT/c`P/نMcS*6V`pq5N_s C-Mhq[+'+Ey*' 8rg>`U;WZe[>Zg}u?fI9T@\!.ŭ(a|PCj.8%,3RؔͶWXy!ˑ7]l~$ %$'.Sdqrg8fTA7>Jm"VҋCLGn}/g*|Y,;|D>qR]jd3ROǞT 1dVz7 k|dDi}vh5pe6և_TY8@l'\ ݜs-1%mHHFT뉽z̯INĖ-`W I ߱Potidbvp+Ҡb Oxqd~_`A+D`4ϔIʎz}lj.?.Pw]7}V*?(3ԦN%/;ktja % P*]1B]\DԜ:lU QfBk;EP :b+jBb_?J[XDLW<:ڼ)5,/U[OzoY"nA/'U^VmHR(a+`cܧ4b ; r, RL/dgt_r0Dl-'G'H*ޮ|5_8Nx`h?:$@Vќ#eO - :X1*03iz$"L}IJTQM$f!bu}/澹HkV \0h͚Io-y3h%M:"W)T\%ا`N6Xw6:3ҫH"jof&bƲN,)R;eе 9ͭ9l7>Obrb1K8z>k8z8p5+!f})p&vvXCɺDޠkYzT}E==X"s̱mS𬃱&jG[!j]oҫG1F")B:?;a YmJ|4=jcFՄ`)oI ()~atGheteLoqg?f0^MY5\OZ*.i+qAى[_F((":I&Ii$`Nݎ[Xb-9 cx((l7=J%8 F]CWV, {%8%5^8j`(`r!T=#T}`%\->Bu|>8?R^Q. QvC%exR/aI CFLᶫ˝c 3댌4dH5ǃ]!r% YF{r^d0;AD߮t ِ(..p} d)fA xLɰ-W*xwXk,xUmˊ$Noev) - ԛ)en5i Bgڏ$ 6v+|jPz]]rf}M=е3lq5ttlt(xYC<B'5: P9bK71G}=,/*:UU&^yےpA&%\{gTon#ڨL!Jh?uoLxg00<P|niJKJS0ӆzh&#: XLvqDK$kY7oו7&t?'%w">*G5 ͺĥˈ 7E#x 9S㴶 .Ϲ+Bم.&Qی7,tmrGnZ ,Y{Z錷8)Ϊ|ڪ Zi=Kg::PytI>Ĕh\ ֲX/,Wֈƪ߃[0Aɽ Z:|#{?dʥ wZT1oזzJ8JVdC^_#ˑNeMr%!G:7MZxP4VQ:yS`o_Hqğ8.BE5@̇mQ#e}m{rxx1N?X6X|F ee|@U]ǷHEw(xyO#5ƪLMKS;qTwҴ>*<șNZ[ei;d! {QklQgHኢ|GZ Msr(g#O6ƙa\_*ƻԼ=5XirܶSL 9ZV纞$fr\Ys\z܈g;4WN/5Iyjhlbp#q'$J+q/h;b dzHA#b"^A8B2(Bd/Ȋ ?-3^iO;0NN^El"S:+P/D*'6==W/S7X I C,aδ!>Yy--XG54qް1n{m|BQ?%qiYb{UllJT9_"Fr]Id(\r* iSUU8B)Aog͖>B@RHV0 ˖s-x(x/eO;xt۟$jWUiq`g#CG~1A\U#AU:o{ψ^+9#xݧޡH@K>UQE3h1v[ hdo 9B0;@B`X3jCZ'~%>5Y(R_P2'lggCo*7jNpQ. EH|~# +(ivDO@^v>P]ϛ<q#Gp s < 3/rŘgU8+*>J UR-=S]E2{xAbnJek5EѢhi=@y+zhWkڠؼ< N[h9p|^|~[;Cd\$]RDmr誂܍^"|dg[XϪeҕbco@$t Q ^xDCzSAF}!*3|9u\wH:lG;__?W§UXk=P(ʶVYz,~Ά[dxֱURQs+읆+(>ޣAP:Nz LOk&OKl䀀?5D1ľO{u %.8*2?xĉb!ιm@ - *8ی5?VH&d܁_@z#Q @ $ Sx;`@<#DZtİ?쬸l׎̟hWiFGuv_U>Ū~,H`gH?^p9ۭ.&#A3# !_ K:n9>/TS`? ~]Fzq= :@1~ kcÚJl>w\lwȏ a/ |0_f"~KUْ DtRJX/]cO qCDŽȺm111WNE+P{x|R,,<}pfx13:u}8%GAsǡm\c?}ECh&x׬DCW;lj%wW7/8ci>Sg@R05;U HX32晷CkG_t7yX%`6"ɇՖ'=!yeH 8uh," cJnrb^{ӉZMRKE3+q0pD5Pj*2vs**l]9dY#h4n6rnkFUvmXv.quH;տԡt" 6ny贲[]%1&mIϋ*5Ӣ.B1\4(2:h0Hy]ݙU me/aEKub 0PY hpbv+w5et$;[YS~"Np#FKin\?RklWZ,ßa55MOUO.&2<ήsUK!d_6vfC ³ z)(S!i0cݥGs\פvʼw$RϟC 0gh$%& 0 ҿ6(mHlNWw Kz:|HaEkg j-7WV>1Ea@}>$Zډg*Q*?* =[SGچi|DBq{jSLQ3= d[ E ,_$'i F:x[q%S* F dEȌ@+`25sO-: 87w0Ly&Iǻ ?s!C\rbSD7t4/S. @ohhXNaunjR$S[jG[{UPתlhV۱3cӠ0B:(~؀JX7g7|i!U%PyfC5N،G|hZӢM9ftc|mw) EόۤM$iu'r L2Z-Im6o4ُ>Q2ܘ[JKU\b^>pn+w]Hb~m-b~U .1˨Km8'&x1Mr(M nĎ\7Z40Zu_ V,}v1_@\A 1DN!ҫR,,M}K&i|x Vxo#(!&6(=8+Xş\]ظ$"ML@?̕a @H!qD;lH^-C)Ҷd3l2O@?e](US]:Zܦ _w96Gp x1ʹ2]yO /vD) ~ 1ؚ]sGcp#5ɐ0xy{ +Q\ N\ c&Z]a^)/Ip?R g=KEGَDÂ]rLԳENihV^ p+ I%m" ̹D=Y%θՃ񐳠~b%za͡ 8FB+ÙmЖcu/Ut@y(#>qBhI9 #_D|u?㋰`'? ^)-=qfv9Gc_ vPΦj'Q}QҒ^L"[fbs5kv8.n `ѹ7s aN-@{seLh|W zXymSl m68lqXn{AdžBHkƃG|pfxyhٓu|4mRU0䛶Y^W.J?ބ]&ji^DW*rPF9ȓ -=XG%B;p> .+|F c% $u^Un]Lԍ y7ʉR۬=l(׸|)}/3Ynr8hZ!4O[w*Ęv<93Rqiڑ!`WT2Ojlg'$Mcj/d+6 yI(Gs@T ܘp47ހ7 v]3pۈ>GW7=<_77.%#0f^Nm"F=ug KS!)y3T$P'5Ht RŗdzBM{ _vBL&X/5iLsLYU҄@(qH5gd|#Re#LyꆭĎmtR8_`!uNdz38:_4./;b<2[8"{%~NV62V=P\k^H$Ƴ]*s6-2F0d8vaY`HD6㆜pkJ\ "@n~ ATaWۭ⍍m{?SG1]K韛g\76/- <ɰg}_pF?&'NyѢ_Q}<9ljdkh@ktP]FM0ډh4c 25-®R0c0Ҝdh[г γnZTHq?C$ @%*锸IkoM0VHMs~*yIidgm2] 'Ҧ֕.9z##y'ae0㦦g F5>I֯aPQ/2^? rʣr`HB`*4?ꩶlWӓ6sw^pZXy`A>(p, f6KiA.ͳb`a&&x 7Aa 'i5~6׏.wr#Kv):u9!0Q=]E<]='xEusW5P ݽ?nMXN!'~ w 5ɤ 0P=.C80U=݊u؅8zcL}*񶳀ģm>@#Z<: -l< 2fl49Olq:-{ؗSJSdF," d.bp=% 4\}ݧVҗ6ѱAdf4cq$#jLx+NιʋJU7^:Un4X;j.e,XdTpk 5M=K3[#ՅO*<ۉ[l Lju8d`>7rGV~'Xn&S`.&JmypQNBp3 ;y,-K:[8& ykS5wXq a;Rת>/b}dv% PwⷪH ۄ]N-]_FlNm_~WdwRk8v5w>* p*?T`\ɭnDa6*Tk6</I ?+S&AFy(o P,u\:WL͢-]S_/n\K˩t=n]3q%#u't `Hcl!7Le*q) ւ+JB(T[!XRS?OJknLcbXbglߦj!ݯ)ݖQ>*DeT $^^XX08zVxnBhf|hb]cᣞH)a%@ad Y(-zs~ P=4,P'x"D,tkNٻObˣ"1f*3XAuH(hma}GS~j{FLtH=H9~tYPyn~c,3uah*ce~e#{>#@HU貦Sb3tcϵ"{FMDT~GɊV[-(d]ӡ0_'." ;.J$md ,Uf; ҼnG+7L杰;eaޠ[E B8Y5HX-R9Z Tᘧ,5  JA˵W=НuĖlIM P 0K]z<6ENO6 k0}G`ƵwL~b sAb7wC3{_,w=޶4D )^AA7^§/ #TBQGOb"ʱ() m=f2 i+:.tuvh]q>VDK,L4p߹) uRg|2 xSpL "Y-g\nKh0JLj"V[ot qp5<ㆰd}\ɝ}kG~zAF HvɜpӋ4ǣ;ETmcF|Qy0fO#LO=`~V̺e7 6{sw:L<&ܗULҏ" $0 d&EF>Xi3/F0# 5NDJcfݐō7aoז{#v,1X2 2;:YtJ^Ud=4n1IE,:ReQTj i;hw6 N:A6kN39%8JGk8uΜ40Xq +He'B<1za ?kVDH6c<B6uZǁbB4Ο:LY5ǘP&s|bhw֏2j%$\Fk5/&,ލu19Ǟ-2L[9I_0 QWC3}˃#}Q|Ƅ -*(k< RӺtxTW{y!k <|Ds G8lQ`9YSկp>:Li HҲOMILOIzur}#~=ɫž@ȟ3Gymh; >Zܸ(zj~N ϯ#|,vL3upŌ4.ble^'! x1A`σ//=T!Gt[w$umz{4Q1]ſ*6E"q 7am݃8_ 0gM* D_( sy*SCZ^nЍ(FFWN_jNE7Im"##u~bԠ1;%DgH@Z}#g.@A@N+s'!Uh`y1uR~Clהh,:`vqZ{cwܐ`= K|,88.N?@| q;pj#DPN`Ll'R/ @@޺[ݴ58jlIY~Y N2녆,e\?>,OE;)V`u,)O?ƿlYy^:5lVtKGk- )9 .X-^SM"}L(V*6ܨf .0i~uճpYZq GAKC=Bu؏T8dVGNÍ7=+:K7.FY CU UetzUGl 7%[qwڵlu_ ^Ĭm l$>S2:$<}":Gsf;\S lz#1Pqf<Q81(EPyٕt2QWf>WC4"6饬& pnE@_ux.ogw_M":oit?ߤE~hZ"#H nB}6w}>^SJA/JQ!*?bHb^vsfq+vN}pQNBQǀh3oPc<#^}OeS~RMniH'Aq]оd3B-nάIAZ3ݴo@D[s")ǫQDͽΪm,HSDo?5 /-1tmɫ,= y/s t,NV=XDW{W(|*(.L^9b@ңM$.*{nnGfHۀ bjs4ӟrJQ%4lbK?9,R8~q8-2T8mqZC_i2v)qyBD[匦>-ƗFZ]r+nՆ1JY Qdk~hT2yY(VaĞkaݯцsq̲=/8\ v'qaL`V@{DNJ(74n0gfjC&+!X s.Kz׈Z(9'C(J5[um3 TβÇ *_kU6MVѹ)&0 p 3$j꼦d'uAz3rbfz[~;s).1|( SMT.A 7P6z;|@uߺq*0saNއ'"dDk*nJXSSNkc ђ[8hSXE(H΋kG.)Gx2۞yC IOHf|^tWV `T@<:sw|+?{4BO]*$VMVv/(滗Uu\T1 zEM7 |Ey % ˍ_1Ȅ"[f}jք΄eh@\̔=hLD=YRw?TuƊCKqP4<:I sIu=3M݉#i;WԖg>ę"٤_l\!?$"X6q .70 (|ix } h$bޣJa9)pQZ7 eAR!3$S%-UYeojT`NYM/XBP oh\ir1WI(~ }~?Q ʉYhf:= ;`~}#U䯎Cs-VՌ=ә>SuK#[-3IL_}Y &34Af9zm&E AYk"w$XyEzw(i_^Wku \g[`!N>p*2)qeSI(Q8 ܗNgR]ϧMp8##~Idi3cWFWo ϑ-a./%MayBsMn+]kjp X*b Ahb_@ V`^;RI{USvma57qDhJ60@+7QފBAJV_WJI-g q#T'z>sa_ w]1BζY_?֬͜[JMk4 WeV:m L.\ Êm%&@Vx2Q{I$sj_鵆?=eQjKT dDl{؂2IHk/ M-S޿ƅ zCS΅WQ tHS-cP1Uy%M4&K1Yӵ׎+A,qs2UR#ER=,aLe/ל|!062CF^hwnW=_=5}) >&sA2A}4L3A&hNf\ fж'-Jyڻ%ai=7m(*7K嫿Vi2OF=6@؊D{"WXqdwD1'oIKtHMegz̄GHdUU=\Xa}֝p7P ?9qh^[}tNjg9Vܖ؋H\XP%|GM6#9\C/VLĈ(3f7e6Egd8(hkmL eLՃ t Uab83.]2zVX8ޓ;^#St.!qЗ{r+oAmj=Xk;p?pn<.)F or<'u[liI m޳-+qu(9 chՑmփoA}nLgFp _Tj;TZJ/70B?}64I?Ǟzޟa¯qS&fz QrQUpNHH[`H(TnhZ򖡐/5U7q}-M1S7 ;p\ 3t1鐆mw:}q2RrQMVT(ຏo%roc=zZ?w >"P| yH' f> ς)#1g-$#xl_K CHˎ9!9Ae(D;!/v-aGK(=˫ZYrSW/JoQלZ%M6CmѼj\[ʅFcJO8w/Phi4}Ps;-2+9krDSf)RR[.)SoIvE A M/brX.۷=$[!LOq{.ܡ*jYGѵznh5ƠBjzAV ª utLFhlɚ(-,q'sfr~/M%n%OM+v4~gz Váɓ@;[(ٟC-2,{v&!ڹuqCFrM`O#_(y(л z^+_OW~cM٨cf3ZFN~)Yqn±{i~  x7CHa~uP-Z:ct Bt}enͤʏ̉-HkUEO|ew>G !'B t'9|~F[][&~i.ؓ~2.DdK_oߜ:0R2!(֔6&]# ׯaz|Zu,j/<\eu|or!9=&!C)c"Bm:vCvDPȭ\j3р]{((5矢ذɈ#q֥F+uQ U`#NQ fp9%,"B\lL|V9#|_u U"Y ӭ^ʍ1癰!E13W)]QBd:o  ܧʒNK8^J/Wgc|LO\nüG4ef[%2gdRrYM~@W}WHш:VFdD0mKşgy`9ѝ?f/$#,U1T}ͭ=a#vhti09ٮw2E(լ?c οΕ~.(ˆE99vĤX4U[E#hB.KMǠaYn_; b GްpA S syA 4xpf=5?99["(K=.6gٝ wgjsQZDC$g:Ѫf`nZc15d#T>%^OTFaRq :rTN+3b[(<#[޿}Q]~s)7DB͓{,E6\˴aFL3[/5͢ŏ^ pC`|~ }"D&NC wÞ2f27h/~=C죣>PCَvӃ۽P=1ξlLEYcC$2u`I] 5 [M#*4C k9a'j*m8!YC}-[p3lGX4<SnHk s@;)`XX~d ]S~jJM< 1| X&4Aw+ѢۿzBSھyk"%/7E}, jnl}'Ls:Wc16$dcGe >]!Ai_!gS=tb^Xjا1I&6(q)?r!SR2`}_n0 Abξ^Sbёon3#veꭓns;2nYwKvRQLs?z? =8pX#0j]\6Htq +s&T vk.I1ĺ< JڈA ֿam;dp$AvfM\ mnhbٲ>2{jgTtZ}^_K 25mM w(]wsþ_V;s\6qއY0~6oFy[sXTs6$XMou-K&UD;ǒSb/4^Vz`\ l9O{sbn{x8hR*܌خOR;s's ciiίҎA_ c q>^:&g\Z#e9PS:p"z|%y`dj|re(](/D,tu H ęMxth: ]ISUC.GCB4&Xxo+qkJ0O"Q68badk_*(p'cd4uL N"ҖgG?T,l<ζ*M|Z_i YwG()V$!姬CE nEx U6F'v\e@C`4+Yed ᘃ/@ፅXu\gm~c +_sF /2Xh6C0/o"F"V}~׶6l,@s+,'<ƐN$* *L^Ipp, )љ~,vO'D`7q dn5I enq7C òUȪ@ILATzґbMTp#^ cgeX1;6%fY+;{|zQ )hiQ9ɹ׳Êe`hiZ`&8iM[XMf54L>  %jG!X.̨Fq@$EƂfkO#SPduC >ޠ(d1Zf|w`8ܷʃq T!bHAP}Rfa ;v~RlHu"iBdk&6t5P\0!k4A^'L U|Z,*q|*\z FW˶+Ξӣ'&6CXg\ol(j ]Ƿ+2v&رEyhu<3Lj>$q"ROT4dpߐ~y(y}z+,S~)_C]mYVwV^+i <Q,-*gՁ.ÿYhWDTJT`CH ٝiR|pzRf)hp}yU6Uh< 0[ KIN}FB:{+Kޢ\nNu<y-dn 5D{/nHOP.d=D6~'h e|F%{H?2eUg9k:O ‘)6 .Ct֠EKcdXÎjor}JB]HL L4Rf=eicpwQ?K2B[G%l!0H!`: V XV@s'ܸAee=9eA[~rm1ubFCW:ѧ2 ŏb黹۽¥W( 2v-iki$Sw\jlR 7H&veo~YFZ | CL7+cg5]xPWOPgYOf6w] V&+ekhFǚvf=" dwVi?4#*pk%!Yש]GaaXab2"@IΥW{*z:lIƁ1$cOّԡ9n_T `)Q%.D}/|VGt&%LC>jv7iK!PY.YnWwYb7)8DZ5gH:/\JP =^qI(.Aɳ|OSc-SXM;0)ifnWe5kYHp3Fc]uݕEng7h$&Dn3{,j\\*?\PJwsjy={ (i-yV6s~S./榟\) KryXnlmQ x^qKݖ7^0;4KʖG;XT2tE="%3iK+U\טSҦwٸ;Gؼ+FzX* I)y&Bo'liB@GRtαL;ȷƕA(X R +1du~cJ䀺{g%+''>$Pى:nXK 9m_\>Iޙ=ΛZ왼K s ~$PNWg .ts9R$gU '={J"y"6Ofޣ 6T+ wKBӷ^iDU~Wn[&6QqwlzgoHyFK?*^В>ȮjQ?UKMoOLOrV7kiO(ȔE7gOhPΥ(*2!W RD oݬs֬ 695bU)#`Nrt[t$c OX[wd8\!)aܬYxezt,u*u0\}L <690f2]+!0+==  |3])S\\OAi&Ԕ~w ‚"2ZOP]Y lKw%a!3.A2NV ~g`H}AKsfbh8͟SE9,3R/*\ᆉG~._c5* qXoQ-p"?YHN;)dm QC>N[ ;cą}3ɿ'P7ؙL.op׌(2+?U;y:Ձ*7j͝l71]dHu *Z"mpy[ ǻӑ fuU`!*pu$_V#{&'mcnS-z](p<8Xyrð(Ѧ~K#ni#mvEM|Jw0}ӉnW<:/P9eD @pɑm]-LäR"#T(%ɴ GL-]dL⯆֓Lڠ;UzEH2d#sB6|٢#\#ԙ[Ak.$w^%G${LՌͷ7eXFM$GP۵`u %ܭL`iI pWl!3ʳsPLS{H9DO40s𪦋^;^_y[]m!@R$7:8!KG]w dl+̌MVC9Bǃ1zv 5If Œ؆ANЄ60A5x}ܷ!{;wVu;t8"Nα¼b0ӱ7e9Pg(2`M )'0מcgPr𗳯[k3URdIaGwʕ  < b-C!XHOL-SET_ProtocolHOL-SET_Protocol.Public_SETPIDE/files~~/src/HOL/SET_Protocol/Public_SET.thyE -C-HOL-SET_ProtocolHOL-SET_Protocol.Public_SETPIDE/document_id238A -E' HOL-SET_ProtocolHOL-SET_Protocol.Message_SETPIDE/messages7zXZִF! 0=]·Iq n[:|&[z[ȥs ck똳S.! k2n)<97{k!Zv 4tSo$4#5>> x':2Xޚ6W;"u 4j96.0Lku7I!z# 4&G; QMOhۀ8ʦ'wa{[U䳵b`s/iU." Rc;+ o$6;P=!Es) *0.ř5ZBmR  3^cQމwBth{[(<Ǯt]n# u+;t`eԏ@Oρ GNC-y`P={y!N<'?_g:xZZBܼ]2􋃀`&ttEQހD%̼#?ܦµgjCj:$XEd+9疜S(nD|ؾ<\(; ͭmG吤T54A2 l3%!*ujƟB..-(:8bX`KU(=؞]A0$S&48W-Q&Ԙj%-EOe|ZPH 8Xbor9woM%Sn~U0‰̰Dw9"ʉo3Ac$(Tx֕ihTXF)oGh<X5X0[zhcr漈ɵ|=*U$φQ2g|ኼD|  fNǠ֑Go]%_V:S%HeUg3/tj^-yg aq3"f{00BO/V\zqI3]. 80mjC{ GE'zbp !zWId5]`җd>vg'TYU]Tsd7I̬2M,Rޭn0 ˇޤޭw]1SoLxb!;ŻaSqڣiGqREM3)9yG4Id!L(+B-&FMb7VB{'P=:HNQ$Da4gMXD9,][#)PZS/2ШM{[c0F I>˲X^jbth>#WSȻPBl(<|wաq 'g(%m19#lu\i5bzclӊXz[wFАgsM"AY$>|A9Y43=TTOfВ:sL9r,CҺBb;AC]k+@y~gx{Zyߟ[&6=4uu,f$+ԩ{\B){`RA~0'1TF(@>P._HT=B֞"SF$Rx6 67 D43'v<#M tpB]k}Ԕ"iZ)bJp0}㖻/ѺcN߾i=nӘ( KA/ 3W!W(d͘BQfBf\;nrӬ9YܯqIO.38(h!KS69}3IǹqבA&*b';s xIHfSVOF-yPT"jbk\lA[F T`]bPRYbRc-y2B}`x-mQvP>{$G-3S<49Υ^%<'nr-B݀1PHa4,KǪ(a"j(ŖT|1B~~dLp&vn6[TqEPC)D& P{*6iSCa`ƷQp="mR!݊ K4@5@hv |DƥZ>֓ϚY+lH+Ȅ#s ~*n4PqUQD=[} `Y$ȑ2naR$t79y?Oz< jIFj\HV&($1XUu.qsdzJW&+ 6pLBeD $OnjAdg]I<~Vrs<ӺBUkoW29[#b5!/t kg62'_u(k{F5?kP)6YMLq`E\+JfQ^r=:`O[9Չ)2veOs1kY}b-Z۷ A gI:kI|f`0wY` =qqhVYk`2cpmbjB8˷XŴi  1tVͣ^@,#TJ{ HNmS}?3t8]sb׼m ՚@mǗ/a ŕ]Mq{jX( 5\")x5PKf2MBDZ?V`ѕs$.ڧyݺ6?ubIĥ=yLů+#lDxب4W.2rkSk cQD4o,m;ZLqBFwgf`M( 4Ri 53dYVcBd8"t?A w!.(L:Q5ßS+ parRD #j/Y13g`%z aR[D= brAi:(@Q!SW hct >K,lC j(deJ徒ʼISm"]SI> s!uSۙ倥hxH3$\2J ݾ'~, eh坾MU2X3lX2X"RcN:w)ϫ#A= d"!y8uYϞ"ZXUKJ`W=$6s13G\A10eFMD4!(jBpv#LBD9#=⯒s7ߔ~Dq@/)j2CK N<,Dt3$zxuߵC#NEQ^{^&A/g؊$}4"e2@ǟ 6eqZV]F7E҇d&NrV|Jkf.j4VҍFꠏzKSyfZ@n0S4oL՘{WR.jڄ/;bA4ј;`YIWdqԛ[ W]QW?4ujvL:+sQc__ZVq"Qߖ5k&EU,MgsG|u*f=/Гt ;$xj=~IUGڬL]Pݮ}U^D"}♹P} 24,@呬DoţOS~Ԑ¦h>]ߔ\l#}/:LsN ;њp˫+}JpK~uN\H^!B?o{bL`*Vcg*0@]yxmF T䊡gpݨQ{ f*^%PTwzWgX^&3oē44:&q1ZXfB 646Z}c:,/0'yD')]n[9V:KHe쪓Z}Y'Ȉ'x *M&>%mԜ3k/Vɹ_ڽ5elpܣZjVː>E9TWVYk`5">tG"0Z5}gĩ}"j8:_Kt71}ÉʢJdjxnSdڕQ fKb]M&olLxa íN0NSVSu -UpJ6(( 5/4?Ǥ;e EĜFy\fֶyP?N5GZPHqLͣ-D2|U*V)hg;w8 ,->n1X8:B3GˀȂ8lyGJR3X˨J IG0_\XHM\:B=Gŗe@|;z 3.^A'ʾN@SYy5q$/ ]0/=H~ji9)"x둹0%x 4[`>(vؼsē!nW";Vs:8 ! |IȦvh0ehRDڸlV3J`y^ BF`]lخD%6ϫDQaCBuE1B4 TC^FkNRaI-UYx3ZMcEju:meyØq9$/E`}gfdJf巊q۰H^~m--d_>Hv|x81(Ք"иP?/5EK]u Ljɚ kؠ>Y֞d^X(;Wz`WŭnoM:1wKD.Z/?tLGrEẕ2^N 2A3ռ|GI[);(ꔠf%'oDy|̿#J8]; N$,.=zkKI^jy2{Y6V,I҇Zq\ c׋[fG%ttRٓV"ȶEIƋ{i.YٲD_NABU8>/6Ds'oqۉa5V@gZKWI1F_es)g) tu"<]>"qOp˰Ca hLMG,4[S_1#>hxf*% C.=l6SӉD?l`=GBKt%nX;Z]USgїw/6P6 JQXCX]L7giG6S͡C;\Fh*'13=}iF -Xuߋײ?#< MR 9% HS LV s/M6JtkVf^H)}{w9 N^[X'-{^xLU:Ӑ6v(S\GGX9R!#n.T$.[]k|2jfyHS l~CG8mjXYO.o:<נ0q[{,#[-ޕkk/hadcQ#4F^ؑt1W~*Q?l2\7Vզ.c^_w+~WC}n7xs}H"HZ6ןs9"ب S2ieN wlXNיFDG\gϙբl0iOWsˈuJPC&־^Gc{Tj,/ ed)vD <*tPPRc@z<9jnBΠo`DT@.KYwot~lq;m}AɆI i~:tݔ\՜?;msNtp܁eC)ލ# 1nH@Me^xϝTQTUۇJ3),j;\7cOS&鉩u .&~y=y H!{+9 CʮZ&7ޣp^T-%Lgeyꊷ:PLM8oCU0ś7*6޻y\XѠ'U[sS){Kh ~GhrQ$D𫼧!Lz号DI+>K$P:8 Hi-t|մzyDcsUީXЄw.W RBtT=V"YFjJ~a3N܈6/l%?O 9Ršbc@|{hPcrrl2@K9r_eWP S z`yڻH.wiR^AeZd=fc IXP|U;xo=hj%xBUȻJ^:[7j \v_RK^Lrz'Y14.W *\7Qyr=XLK36Iٌj/ZTIFbMbqa&۵@% F)uMԅQz~Ds*:#C_Sts{ħqΒ؛]HW9 O^g=i>$^?5J'mWHN?-2[tcM@Рx*XYJ`/ֺj7"08#>YRZ.v',|iQh† L>f9_?464gøtȓ#\ENbS ,k-;4Dq~ς^͋h&:>Ibj#l(ّCW D?>M,߸Ѵ>ḍ`:3Sbc#a$G4ke-6 k73Hs8be름 dMfs|1s*|T>e/q@",nhS7h(qu[?EW< kxXqV{ۮ@qQTﳟ23Ր+O f"dydD96D7Ǝ?2&7򪡘9 Sѿ3c?PR :*ZKupu0 @ν /@|n!z982;)cT^-?1&0QYBLZ;ǒ}w[muۇ(#Ta1-ڻJ&Dy*Y 1O4Ϸa,V.~AOiPsgc%5'p@<8 0{st%\O,5IS޶yhnQ"fI8,8qSrECeʮҭ)mL *ZʺD Ò]tj/\ SE5}. ~ҖxW)=QЮ:þoݒÁռJlak&d<NnJ,:| @ *Zu+_"هz9?R\9Sri7DyjT:x{P ^K7ttÍyj+I1"3ձ4aVq+f`h>GB=T.~C#EL!x0o|Sj {̣z,e%1ʐ E$S#:Xm*i1b_J3D( G0PqC\EL1BgoUC 50QUJmTS*YrU@=UjlNSZvXlW2MPmY⠃]K^:_!f2gwՎ'\3@(6 >=MqF&]оxߦd1ħy Z=~GLB ѢWM[`*C1㜗c& b&cNG !KMhzp6tR@|gumCAm n`))'M89Ů#ىM nsD%ߪj\KB,&S]'$`<Uߌ9U=@Rq` X)X5ԋ,+V%W Ir_Y]/.rgv4؝k#y-?ЈJ J^"vxC, _^{t,qpyYzq3 c1-\PL"4fގij+, O1(ĭ9Lzؖj^Б-m|+ZS~ߕY~8R^Y*n~bhn尊ǽrki0DxHv3g!@̃:{G s p78 d xiKO#B KSx:,"$! JK@JN3rY Dbj,:E2Oaw*VhŊ#z]=x²'I@ tYft-TmjVQk =;#J`A*xRuͷQ4?b4tt/ &+5??X<0#Tn)]Kp(^eQ}ւnO S)]ڱ6Ei<7HqsPwf97{<컾5-5riǐRfg!M҉ NxZ'NN3WY mQec8 SDJٸ9ezcv-w&w QYQPۺ)tR2}6%/Ȳw{}Z$uH/R%Ss>wJS=X]ƀľ>forx&7LhUw,?< ?i< k ENuB^,ዼ^k#"Nf88̯ ym98@WE ? b~Js~w:NN/z{mBQD "(WvzX} <jqٗf07 ՍV(KJ DT<6hOlʾLJُH?*%`MH}=ü1r7IIM\o T( -*ܡ<8(Kʤ#u8c5!"{$^0?2Ux܁뾲va9 9{ǍZfG+0l[¦8rn5A+ D0u2^nѧOAI`bz2WCU֑(R0lŏ*݌8O\NX3o9?VL46=jn, >0]?<94kSK Ӝk<o7w6y:y m85fThՎȝ fj[̏e;3L8C)z`,ٿ|hp)?ub78BsB7$:#Qe\"6زu\_.`QĀ4 Zf 7Nr>GCzi܍PtzZ`G_</ YW.H,]TGMOjpA?&+_!/ łhZ~Af\W\N?.ey|ejJɱ"d-fo 2~MkY6&}+˂KipI^&W/喫*d5,@ݏC6'f(?nWS2 w;E q=:S}YöRMQ"_P@.1F<ْ)>]eqI}e+U0K,Gٝ7x{:fM"+-GSGBt?&TZ ȃ\588뛎罌'.pc"r!Fj~mHxx3-ջi⌅ᴂ~2=0L/e0hNWZN `9øPíeS|bWK޴ࣽ]:ಂ?Fp N&G`=Dw隱/."D67P0s*#UÛ#?ݛPj=^$ScIe#>hgÀz-8dP+?gP1|@O5%+aeYEG ο3_lFt&ٶiI%x!]q#=v v@(QNtlLn#@J|ExD :Pa7o1ѤKY=DkȕtMlv4Kz}Y_ }|"nҢʼ8?2)Ɣg  Z:XuE5Ov& s("'k;{Ħפ+)'f5UP>,*3$\Ք׃BIJX>: l[ +8zIиzDP$wJoD{-)AkB{{36B[EoPx5W%6CBH"-~$6;ۺ-a Օ@Ϗzvn@8#-XfQ;lLJ(U:jhU;/o۷j|tcC&9Iz~9w16RgENH@g Y49D] nbKWk2`.Am+{neN`;Q_t(L2jo^[/Al>M6@sSxͫuqL>#fhk_ ! va7tT&x?WBبܡ[d{CB7#R?~ 6sy]BAyH~]1uPBx.R=OYxn.B1Ѓ|Ը@@ɳWJO%ʪ Cw/25l~2wN{˺[sD{zY z׬J}zq~& Bi|iΈ5b1ޤD0 cENZZW-~Zda.TSxuze] #/2 X>g%1I7ۄ!˶iyN cT ^a"馈2C Y[qfcA C %N8IsV>x¬jtbyDyifRSF?rX=3Ev[ػY"|HrMAqց溃fɃvZKh λa/-biSr9Ţ^<1MĄmռ>`m3tJ#{&0}B6+ٴ[.p]xBX`/ ]_4G3fWGb˕~e4Hv蒋n{4ؘ-SSirvmUOZKov@$IM*֒s)TOduM@lIt3:[16=X{mo i)DvИ&WO8?}DX_0糩 E@U F6rX}}cOOR#x$lcلXO > kix |5Vjnehͳv7#%'$ג%M,%Rd*M~XV2]< >g[`[ޮ]PoOHMVFEaeř! 7Ŕ 6zӹh1*:;UǍ-SX '(@1068a|ai 3DLvЩx\x01\Z5 |ca*/ذ)j{|(\, IE܀aT~E5<1 綳HXβNZ"Wh6vX <~Geĥgj#+T408';-5Te@D)c $`E1ǒ$Ez=ฃoOqSL Qg/Bk{C1diS͒ nqm3-쨗@,G0*~" t4=ܫ܎[ڭ3?>.z*bbb jP4E +;዇ӓD~7 sE9ϧه@.jp0eCA! Q&dDz-j胏s< /*jT־!UP(N{ ORD;GW-#b9ӠBsUׄ2X8;Sе `O0&^[:KUh%!Ovm7 )(ߊp,lƚ/90ЩIg\ !>|6v~?8wmey'1$F֩b5@_`mAºZeMTVy^ߜ^`J 1ҏA⬞u56&ˌei>I8(2óʍW :TTx'3)S Ho{Owۏ.ΒȋgYZ z5^-?!THOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/files~~/src/HOL/SET_Protocol/Purchase.thyC-?-HOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/document_id244X-C' 0ȟa=EW$z@`țjKEL(P drKg*Gtk {M}9tBcUkA%K%\=ۛ/m! & .W$XK|KoIgwjW811>P4:೯+y }cfg |;~qLCd]|KhhTn-)Qi:w nY5Ƨ*RWxQE9NdqvNdUvDh;p6LNQ~MjK&#=Y Zs^;(-;ErK+9cN#$=ɩƲTƪ7&!d](̦4\;ĥL\!%N;Gᾫ66WD]˟7ؽLUzDz>#Ceu>|^颲8oİĄ ?!lOgLQ|Q||I5~6*܉촬~+P]4 K a,uA = :@97D\ũEӥ_xRZJ.-x v'4u耿 |C/(w" .Ct².[Nf zC"T65:rJkwjkUjyp7 ٺP=8B_ٔLY6?Ga [Z )!~ S-na7:VzOB>LRv'`<jβ4Fk|8Lyx;HMrcaG6XC**g&̖->@n xTQ^ꕌ-KiM%^+L4b DmZ6g어)[59Ώz/+h)q5Q`q}V m_/h27P񷉓oe :d􎘭 :pB~uv"į-?wF 3 Azl+kK ]o YFi+p=$˻P -!. Ӱ{Yhi'4պ;/rb#$b1D[a0}eܨI hM|<͠ᄻ7?yFsn 8;4$.ROU6! A~3'ۑ` nrɢx#&_X-D''kc(=*1gc4_=ܜ.VOo´4D0;OXf )dµK ;Ad?xrଘ 3a:&kS8M51KtP;uVEjf@T2#> 2p*ћ\:eyH5Y8rE)IFe7Dœl`-af{:kgzyȋ+bS* rgZo?D UE H Z_Yw֛:妗azfv>+B:J*i)*;&Ʈ[i;(!cWMI o9z4жϼwXB|Tyh< 6t =^8\;Y58d(0c%x᭛o* xV~޿qˡ@-rũkB˪A;]?Hmu;LQy?0Ѣ_j15v;A]a k zjdTRt3k'7#Qq~\^nH %RQ'cP"]N?\+?FEaQ_Ls$#HVp7U((M~ m%WmuFÔXs.Q j O]h]AW &JTM'`(0#M:C{B?zG\ՙu4dV,'rEtk[Yi)3t~𑮈(VD7,P܍Ib,(1t&\mϾp_p6㔓_*Q6ˢH ࣚQZbVM7:K ԮI;~X%(DRYI_ttq`2]C؋g׵B|헸1d5X?9^SoхGLNת컻6+w?Otv vg?y`.-+8kgiCռþ-!8T@ܹkGhXX u"~). Yp)s1=DeA}Ûf«0x (3y$*^ 8yrW Zr*PMfg`e[_j = ܰƯAxx@YěkV*1M^4 +}bPӣNB_ zC`̋TS?}oZ Ŗ7>߅-5xD,gF j2L,ѕ4j[WиωY,k)lp2LhXĖbp5(/dB!p+S} dTo[nnI0P/^%yr U]X7P}ԔqٍEAQUx3{j Vuz1ڔn~qע<;KJr9E6]{\͉pqQp, =.u7GK}GNa+|+T Ӵ6ӣ>e~ HVϢek&MfSLƽ/pq@0& TwX]Y)mLC?Za8L'?NSFt8ʼn Zӎ̯:w8*d)̟$^bmWXV9 MwzC=S#[Tk.㲊#^!UdrGoT7:kv Gsm:FtºfJm)Heׇ ?I206ĥ'r ψM27ׁ՟pԾȬ%#sYoZ~lcL9Z"5z6sT+a4JdlR''r{Ǡs-ΞN u{.â*| Qh&Sd$kn $tQe"7S:z[y:+\Fؒj"Rwḵ;T ;rU?OuO:D#@#FvnS0גF]9#ᚄQy $d5Lj5WC*jB]gMAp([ BvGZ?nGD8^fFgV bzR]%zH}W0n+ /HOtnI0+0|vw{wgeRwa ħjsJj^9| Tɧb#$.k!WFp̌us^x-J,׏IкL2LR7pΑ`R5Iܛݥ@9,Cs ij򪭐% gCo1$Ol&t#( ̧eeb@2hwp/`g B)lAYH>pjHi%~賔HVUlmK7sl;4UCpNy_ӟa*֨~ u"1%-v84D@GQ 4R{A|[8B1Y@ }4a(v\^KҞ^Y鄝8OC `泥o^omY/s j?c}`b^''_݄j6p 0u.T(r6%,(R$*.hƇ8ZTux:>|ۜ6xdwۧ=*f~vı -x&E"Kf> kfm;D;GvSNaqfvc_?%sj|jDzdw$N@Ia]>AɊJ_hsc+ďK4S}2~Sr2 3G/ib@1jQY 0|F+mb2/pmXe% 3"R $jFt71DxKh;7n9]eXM, .}(j1fʟA-H>9{$4Q릦DC  eIM3WM8];]R XԸGuvVSC3+\@r(Χ)kSɮ ߏk6V5 =ca}e3LL9 @e(|>T[K"a4a8 nbՊ`َ>@sQ%W꿧_0R~Lh$oQqzg^-۱:>A_L9ynE}3Hu8(^ W|~SP@Aa *Oa iΘwǂe *&c4/\)ϸ} :v76SEY&7$H7{ONӯ'XRoIXoZcvBp]TAW&߫ ߮N="|cH'h}tج`@=-k3S3q%=e~}8ƴ@;:6y A5G)•p8LIWn~P4G$S<_`e򇯃PHuV6J#@7i'q}vM BE{O=P' bmV,Q,O?@f8j<4 c .r@m%ONB][goi~[0w7len`R <&>*"pw"*Cj{RuFwLW?454Yޑl~b3Psɂx;suެ"Ja;V#D1LČR`WA~uļ1]̬Mw̿(_)ZEbx ڭv~EDH \nEi7j1C>F\ L:Qr&>HJfr:I{T7HRt%穚̔V]ܧ<;o+(Cg ȯ,6diOHMMfk |3.L,^^Twd1Mk0- $?ӺA;L E9`a&[Ie"q?<\9*IP$ePGXU EHQ!TdJydľ?$s\k?AMKOzZӁ:%D'Y,hf-ׁjWPV{kz41$jEIɞcA|P)둉$T{ ̟>5nNT@@ DU&?"n.n)@Kq9ڷAe] Ej;0J"g[?Lj ܊1*Jl8`8j*$@h{ \0Ǟ۹r4j1ߵ[XvL4 r:DXri[)6zEÄ=UPێreTcWƈ\V͗cSto E0D)%7ܨ{C A@ Zk򰌥8XOf)mBzQw3TL9:G8W[PROkAjGҗāe[TY|\NqmhM*#Ai &ulRoXNd%@Ӥ823'HKRYTh'^rlWK_(GzrX!NnQ@b|Q?bh n(X2\7Nx'o5|^?'_8Qe$uM>ӢW ; BoULJkj;yWJEkd. E:J6: @ 3[Չ쪎\NV^=G>h+,_TۨA!h\/*ڶ;EשXg~hb ޠvIj0 kz/f`!v4Fk|&)RE3*PcupQv#*^v}f 0 .h_[4&Me[Re1$\ç+In٥]b-7~,^WIS:Ek`֪maGRr bfXD?2[|L( `'.xߢ*Ȇ3=_i,Zվ(l/:/a,ͲzEU)Ц(K'oqDۢݪ%PVKȃ]($3мhjwj|Lu4$)up s!JbS^G0oG >)aPnaM=zR >"IR[-hq7E% %X%_[6IkeGU$3*úW⮐}RI ˌJyb#|ئUޚUஒ R ̰ZyǓ dl  ՛ :wI: M響l~twXV'PF3'Q)!@lR, 59|&[K0=B3Ӣ8E L:r2-(f3~ZR=T;(9g#׹~V!  muBmͼޞ.ft}ZBa&a^Q6!/zȫ"7qԬ)܌M'"<f:U1;pb@cK>Ddz7É<0vtE\ @ nFvc/e1ze*&ۼ%g2ksy6s7豶)^/b"em aX*jtw/\oQuѓ΅u,;ǡ+`SbDzSj^7WJPG]XkqhzaVp=C"6O.i*=!.WQV@ «G{ ̔{(YVGh}>hp%?nנ~83x5 z8f5kJgEu|K{4|%[8Ѣ qjԷ)U'P]20Ps:j&}Z)L;k?N*W3B/9TX~^Kv: ^|UsAɞ*h/ѹp8.jYU]<> NYJgH%{}nz/Lש${Y4Oc0;s'g*PFOGX`[Y7W?0AyD3  1 \QLQx$A#X(9ҴfBWP(" īdPٿ[pYP#5S+0ֻ(ۢk^ x oH>EOրg 0)19Mv'̣a1իnh}%jiq<fڒi8 -WU٣(4͓D$L5a*f)i>j<?cEp*Wt1!aiz Cr 3h S!3ԬqII+ UgZҒ[a!s {cgmiKX\|)S+޿ M[f'9wT;`$DO1?͵҂:_.Ai6FwK{-WЎ=Aāv)cZN VZ BXfZyN124|Ԥw*m&@+D3 t+uꪝOW`.0\J ӣ/*hb ߅6r ?^H/3MqE>̤+2/wSql\) 1ș4D"ET`Vp%3=kXeb\fe=3GL9MMe"pAe= |8Ss׻>,"i!JZn"yBAf0toч$gM04v!oO[̺FB¬beD-H$GbXZcA# gt:.֕ 1M׳WPuEbʹ3J\5<|^ɪa&f }s;'vqj>7ltď-kv\no^Y0J6tvdsN$;;F;!c:^=2 SnoL]R(D;K6q~Il\2.J% )x[6M^ZnueC>+i51ݼhv$goF ΤM$Ht9oL']h~*Q8{L1w$ʇث⣭b3Sk^`gKI(F~viĹIXuJN7aloR-[iw>9:K)f<4dI/'O$Αή:X)ǘ{]ԧf. E kޑg@ Ԩ%1Q*S}j/nYM%掙~\Z.n+f} INϵ7[ja<j@-(GO*Ynk*ܵZٔffeeT~x[r~O^RBT.7׌ MF3;pKq/?6aYD2zG {^ڞxXY6n|:5S %HD'uX)JC+[MLpB/l}8e*vaN' ]*6]isb ]r xjc 50WZ"ewe|;8S8k@j#Ʌv!O7WBkQCƼ;Q`9ھ8 &},_-lf' UˆJU^B92l< y4ٙMZ(Kב?j"*CD: Pz֏vh'f H.tͫ PBsMΗNvSS4d`' |@U =Nj00^S g@{wdYy3E޼KG!,SDĆYCG'B-_WNn_T OL<h\څ=&x%V}k˗s-|4)fYx-1#VKbZN >}4Jx^+fΊ!+'ט4I:?]@7t[X--$ش~M?WZK'eBb;JiPC('F&ſxx[YʱW1'%bGGAg-T6y'u" KهMyߔE"V\~^oFZ_kq_k=}Eh,;ڊ/?I. <qiBEKX"CeC u.juABm#7Ɍ$2El8O!c',Ojn g4X~H!yf ϟU:ݻa=d:n{Rz,˛$daz3)Gղ\){?n\{3:_x9ǫ+K2iú[UO$|\!W~AQta cJ>B<{:|EO|` @B pmI-4C?HO[Ҥt<Ѹ'QA=m\yhq RI/8ϼk@<D& >g,[ZJľ>'+ }8Ҏu\~_}(1 /^i ZFBZVdʾDK[F v"h1}0HjA"P,{=dyY1 7v#9QZ~{O><%cO9yjw%sZ2)LK sTʗ)Yr# +_:_=fPy㜙O E R*sr .F+@i*z p6g}m!FC8*/B /JRtggk1A8̀'1 YsQ'iw7\?RqH뻭A{:6@d9%)X\ZBQnN*\ ?dihCsgȕֺ_t6=ClVwcF!`!d+8,2)Oy/T/?d !~tlJ6 A/kКzPg,j`]`*A.‚K]/. pW蜵g,61OA4I@EZ%M?!Č{%v"U^$M# s0w˓->IjH,xȞ1SYfR]t0]rI2tGD$30ABwbf_qT |=LI>"5y]1-&q_֕I;;c_IF-M/f[ƫ*񡭆µ (Kʖmw.dneR @vHJՌl<=`n2pʄZ]{2{pSzb:DF|yx)Opťܗ/#-ϥ-UTR5;qLRT- 䎈%^`Dj( h" Nśn?9V*ۭi,BP[Wq/6/ ? J̋ `A$jb K} pxRlmZM2˭F\!z @mdX#k[J_~ʗ}#&TFfh!}_&6k,}^}$zBz< npntR洛YR )bG}S'*C;"&)r&a*Q{&ldk=/= ldK@k M0Htb'\Y䊒a_CSQC{(e(R?KS7USטNP Ket\G@IXU <֐slLs[e 3"m~~@5ku;[fR6yQrtj+,Kl{y\}F:MW ѨyPD)F  ItfYD@l=UaKTߴiCélR7>ov $!I;c,wڥ/KaG6;񂊡 eUSn@qDl7!3+M_%2kl|&6L QVeS"h>B]˭~!e#yV4:6g]~ z@ÀfqKg`Yϟ@r5`^lq bY- .] 3_ܱs}/6B`tb0alh؂!\ɟze'aqcm~?X+-JzT]ݘYx:>cnvt"snjg YCP*vHrk%a WhR'r>iuDg<=PSIsF0[8E.e1 kĤĝaJo Gg}"kAf%^Q,cfTl'C<<$ٖ+s^eRtX"'>m1 & 8uHDhڗ4Q\RҸn\@>2o1sLaI Ni&IM= մ{CeKRjEndv6rŮ` ֫oȵ,:&;M}OVGX{<hުvVCٜc14ʁ%&TCX 9 e=8Tqh|A](k{c%C9pѠ0 $}^|Iغ s(wRR.5'nJp]''FzV} W r-A?~$ld3e1g<[s}5>?TyaKYM"!'r)Vcx?j_Ed6SVghCP'mG :⯡[-LDMn{[2䔻 ×I5ƜoJ3ykp$4&!W/ rIӈ TBr#S|0ffR: ٦L!1[h)K1=wD 8,N{V14gQMAW`,;B4?}ʉ!urY 5S{f@[obg;z $}$ wy"ng!>0Mgk<2"=9X h_~yۻO'țIc7B1/6EIͪL7x.S׆DϨ֭-Dd@/譧x(JmxL}v(BUEM(9OLL/s Բ4E͡s/aw*|z-!YI"/4 D ~dH(2A¦>muX/1vF6]4Ln #3:Z9(N <٧LKIܦ BYH~v ^1۫&E!{sh ߪ<64q&\`=Z1GiPȲL15EDok;))5ԓL4~X?3mY4\m9+ւY~[#3Hx߷z]]zx,LB' Hs1z,ޯD[_07]9U7bz>`],~6ɓ}n,|ۇ0%GjN>b6`m--9&&7ft{E.8 5{O)3?aS=6ByaQ5=l,K\ 6uX<)g55\+8X/؍I_NrԐ cJRueaF| yݎ/l]`7\(6jPB> &zHuH!U-(!)Z]o [j w3Jz[Ï,>ܒonqL{Cw4I5SZ}trJuO [d{n(D+5t a5/*(0!vrZ= 6pUC#mgBifVq7n'e='ݫ",Ш8dzĝ#yTݽ+L)2Ʋx^pcA~p "ϳ#Z^;  جK\ gaMyV̯=Y.?rHnƒQ2`k@ @> @0Y5͡uStXpB\z{%h-RGi}$mؽD+o Je92O}xc.x3j`.C } =_q]3k)&(i@DVA~T^ۣn/}hg_>z/rV9=[Qgn&+\(׸!V/Q![8.E xsnU\C)!(6>^ScF:}DT j][ X 3Q e3k1Jbd;Ol ;ӳ8:Ý akͫӪEdRss7x/}OXZO7Ro^Pir_%(͖'.߹y˪Wz:EkrMkBęh2_A9 1$ыpvKHmu&WyWh״%F}v)X_]Zs jA}?? }8W &7 UΔ~2slALcJsF1 W`2O ׊-IC *Q8z`=(<}%ֻL%W|C'K&FX7M#Jff -+K@ʖ3&ݾ\'Q#=u`-=U@'KuCI^W  ]; )b]F\vR:0l:xB$U惧٘kMX[CO: *Xd!<ԸCj́mI xe]:~2#uwk8;rc ~aEzz`7{X|Z\LAȉahqu?X ]b|y0D=^ Wu(LeܜkMWiEF}=5s\~\\5J$RutVwǮdL9b4B2D#zS~'Z>J/;ͦ 6qhacF]UDR+_@@y[n΍$85@7s7tٝ5~`2 4?v/N/+Y|٣ΡkWXFxt TǁW+X q8r%84ŁaV{]|充;Nh׌ta˧OvW Iz]#&ks'x G⍋yТ4u+V$sEmR9*RZLFWpB@'r).y+ƘvTJ`EKKo֩8&+dB];mحqsC ߜ~gMhU*6R1#ɼ,kCށ^u[ Q9 xjʶ.'!<! h ~}?)@i B1o^#_A^ȽiB e!0m|.2E< O"~,LDTGˌ:̖{J?$8#'k%3lW;9k`Uz)C4Pd [ 7 5% -"8u1l$ C~>DAalwK,#eapE^׭5c oqe, "0pC& TNDv`>Fj1Ɒg?T8]k0pj|Ub,>nCɱ ._,YqVxҌ(WPr尬$&#폍-XHO";j Jc$>$SҚIUК+ ƏXc3CcaX}$6d 7viGb.J 3mٗp1{, ;go85Vd;Z}4˒-*,MLF4weQ<ͮݜ5Ki?.Q^j퓦m%΄{9ƽSȸg,elZ:94}qAñ J%ZX6m|"TV5 !ekY-"1z?J ʍx) H, ڑ]NJ1vM+ y}b D(y %`ǧ`=]?i G- M+t\*0q#b4FY&jS Ru'-w\+&{b'uyσ RT0wwfG?B%,tH1 pl?2aqDŗ:>Qf`17C<:_9s)DtXMj LΎR']*\ú "+X ~&Mc6N!Y+\X+$2r>wztjT.v '*daܝҹ'#zIEPO;C@z%;bRTx:;Cȴ-RU pqb_LyLI>֋FMVǾj"7,w/ 'mg+oEIJ{+``0xZ ,:kzu(5F0$J?zơ~H6NڬdʯMXM^ؘ\mi=^C4פKޓ*+U䑝WvRhV-m!", ML q2?:spA)fƏ(<7\c? 9\sO) Pc(WM5m.V4G` ]Zz0>dcz iQHxt.?Bˀ@ezP;2o%J/T7+d4+~3UޕT-> 1P+p A[hkɊ8D8tAZ0ju@MIbr|>Exx!%%). ˈ&068~_ɵ;t㙫`CNe0(XŘmYvZ :)UzŠvCb,ZQ@߃Rx˟gAEw:<LnD)RV"Lr`L8z:$zpj<,uBpk`w\|Qb-`#\f8'ݒ^VT/7K'@ӜG?3IGq-8Y=;NP懑;*ƺM֪jOId.P(U5z, ;Қ'gXUtڣ'dKmzOdVKb2o#Efz>lG$h]0G39Xɣu;r^c֗w|@: C 1Ah3hO$4gM\P`؀ tDQ#k R9w$UʆS͑ȉDqb1 G2l9"l>oCFbQnZ+O-=e VWzR ${' G{3xb-[MjSj}^9"*^kϤb~,jAQ;`jf \^@bsLgemzA]q4:c'H5'd3[ 6J:acIq~jV#),ӷj9* DŽ`E|Hzm5zԈə s$o쩡@UC#KAԵboG<+B'< !&w2ΐJkI'A#y8/R>+~ )hH/3(j6EC x'q#팋D|ť)[/#H R`k7$a?+-"ړx:[߄re_2xx;3zۄ_ҁHzXZ (z;y@JG+$i?NyElo,Ee'Q_Yۑ BCɳ6^^폄9 EߝJHH-su@U͋8tPMo%:pu/e;fϗ-/l\$o4Uҋ#ߏQz.y1'9OyEٚPnk!+=RN@Zֺ3SWƂ2LJ]rlᙋHNud1b^01#yй۽X5GrV tNhHz5Jo@[-eƺ uJ9ڝ@>ϲ*D~Iyb{ل&>s Ix_3lGOXdhbtSfZdfoGb)`㴎?Ha?YlK1fYcr~f$C >o)w&+דVn;/oҜ$<^-/ILY?yl7Vų|@*\0at?(/+t~feÚV;F^⑄)yr8x>YHOAi{,L oӲ[c '}olF! faa9ޕdd" 3ƪ TdY}*һ ĕϴu[Cİ!]d̀Vc$X/2{+"+7y { iyw2H9g}>CkGF=Vo XU"I j )h68 ` ]"(^lPA2z9㞗'&-<7sإk6 l{n~${w <^ZL8jԶѯ3fh\l75n &]Y8xPil/^ SFw~A (˞[Xvcd+Q)'Pm˓C}Kk>x1¨0nˬº$cV3vhQ˷]96/6忛i!|H7Pfm.D5.u7<Y}Цԧ=_.a dOYMB2kM8(ii4WcЬ`|y%MU~I:l0G vEw #h^D>+D`*QIJiVF:Q"vDݿYEU֋"gLM-rP$EvVecPEI¨N*hʋp`Vd}f=8crM|NA/d ʹP!,B~jo~Snh۶ J":gV, s =XZK;c/˟|r u.sy]hqa0yuEbV$[KރN6~TO!)܆ ?7_eGf3n῿\](A0}}$J`^e/ndT[TwoĔWز Qy0RAsuK RUeGK0%裓FT}%+lha,\D y\ gSQ+Hr2W8xFeE4p2(oۏ~,;ױZ{[[SHUXONEqo[ʿ,ڌ4)e3 , MPӤҴ9Ø8z< V[ӝ&8%kWd:w)~gX(av?َZܷoJHu5Ye=KaYwf82Kw6 Axx/֭zXBG IN+47&Ϊ :o.˸ XQ!`>&"ԲG5RϪ.@@~JCG+3޵5h k8P. & 3)]"H«Mi 4OJ6ɽVZoE/ ~RvAtC3@wPVh -2˔ 1Ui21{09si ?n;y}- -P WlbI`/>Fg6A9^X\m#Oa  AMO*5XBq5"tʾR8dfVR^8HPSKE:[-h+o X~0r. nd>B(zA쀥xClz;Ymc҈ƕ6^ŕfFIZc*TMCB])a1j7,-ȟ[rtSӶm0b8\mmn K64{)V2[W? íjJQT˛xs)Yh\Zޘ;lJ# g]9skg\"H0) gc)?} Avu-(Wuڞ^`*He FvىmxBF9H$W$ɼ9Iui9Uw@=C .57N ^7XyB=9>JG;@6XKh%]fB9&ηXq=-!#m; w0fmzUb+h`ZOkl(uU"TUAGlսk*A1;3g-V!j\&q'rnM KAa geiojז\.ϲݺK6MRg5P!HbC{JFWזMEw!%ZY Sy``ujrUbmڈ("#v?mu&^X4B9KT;/qWr:K+Yx896ܦ>0/!~.:mZd9†EګO,|FU=+^B$("u*➮oN˒E6Ѐ/-fx`UUEP/qēnEIf7~PafFmO0>xZʼ5sj$ԅQ5A{o8Sy\Y,"`q&vZ?Q &Do 'DsJv[McѨ']lobRŠL(G&0?d_Oa.ϐ?PSPה~^w ҟ l!II+ 鴥 Q2!cȚݫ3M5}Yo c!nb&GV<9m:υ8P\zN\(<̱^n{ oVyTGQ8b|ل HX韴{?Y|$Oa1搋HUXvoI(*o+ۀQOCUAv/tJTO06[_M:i#dZֹx Dk(:O#:w}\+W޲zg63jD'a0uwg+ H,XRIF"с%qҊzQx:i4@#p rɲtƵC&)Tq۫K+vtAֱWԍ@ыۤmRy\9O~r!C2nzyda 3zɸRn2%<^.j a^#Jpgi0j?Lv0#?^G(r*PLTˀ +4_tSLAX$$*b.JIpղ(|"# m2uAGw(zv!MF%,3XAHŔ1?Lb?*q ~n]5r*,@lswl57Bl(~WE^DĠЋzu1SdWlMB9+S\/}e/pN=pGz ^ F8b6 |5sߩD. ?yfW{< {κ=U{dpBJ}V 2u< 2<2QΕÎ[n ʃqG/KB 7dg TUG j"u,e2ѫң/&iY&b\i˱bEqZI@+m]^K|Q"4q:‘w`\T(nn,ظHTN3lC=3'=~d`j0R3!ҷVlކ5)4Mp5{1)e坒CT+ֱ^TxJ%4ө垗PՓ.g_|EYTD0~)Ovв (Ι?3d7*8w9a,ohZ2&1lYجedWMM,b6HT[-[L'MmhhTK3HWw iK/|"?yڡoxX9/UD>˩kaH<Н#1lR"4g8;ʎ,'&1dӖ|͚Lxڡ)HsG5}&:x/ 15k4pثA&c˧G2V ]y~;cPX] Ҕk]IJY98ݦ.&|hz^>-sNڍdz5^xF A7r"y0ljAލ Q5l0t&#!y HB G̉)Zѓg\yChn >EV E X3gpKzUpQy4U0i(%W|=/d[qES;*Q/IUUsi1E0=ޡV]=ct]8ܵd H z4ԧ-l8/#Z0H<ޭX5,LrEydZC(U]% 羭NXF/q^} pJ_^̋m귕 8_8Cę3hG8͆Sp 6ڝUZ7Et^-+μCAQ<݀=[M$8ȰnPB)RGkt "y'QOesTWg`tܤϩ cn{q|OY9͎$b $(3\j;r-/08THbHxn[xօV,:mEd3_j?4S BEn6?JZ=˰nL8M19O Nk1Wή#4@NxUXZ6W$eŜ%1-&;Vzɳ {Ln<] S<&7lA}`tT͉l9!QTS2*z.&?9|`,oc3F͐e KK>WnjG՟gr|yhIiI{@0@wυuiv 2t- žjLzz.]+fvtFmY%Ք0'$52ڰS8Dj?ka^ mEyo7"L@iKǦ*U} H_ F s*J|^WkFfXm!"džCO%Gq53T8Iv?o:i $S^oT.YoR޷wY9CzVn ~|:x+q/%++册^"njR>ָazV-7é<ЦOd ~4߂~R\"G-]`Ȉoņ>N;p1bR) 5Z!N1 ԸXPz^;avx DiXU+y>ӝ< (e!/h> ӆj3~az20w⛫E8ϓ`2 n EG%1W3$p!cv-nvVf.LLFBX>" t^N[(Y f}~7,m|n3o(!8]\\"׏va'<ˊr2m"^Ixiڰ6$X3߉* 7nb\0űv$Ι٢=&MH'X<ı0xt+'M~,eMf+LA#1&}#k`t=,B0CretJQ,7MqvP Qؾ˳:d1,``G]0fߓڊĉN*Y^.I(- C +%*dUJwzJ-:#;(1ȿ@b׍BRfu wJZ,f9#O0l\I!R|:֪ =.vق As'~ؠ]_P3VN5,cљ#N`2tX! K;Wakl#a5k;G2hR.'A*X_ɑE<+w@`hgtq6ebqnݑ6 >[,'Ajj \-W nX%|8=h{+y ">ڬ\+Աrl I œut( 4D'g*޻zuAe&q[51Sq G; 0OH] d@žon tߵ5|ye' c‚Aeэx8Oɉ7$u wƶ= A:O쒓xbώr,Z[.pVK落 cEn\gdM+xiLbQ07R3dYޞi: )-E 1dӤҜ!;@"-z@09آ Ul!|<1&nuq+ŕ);#Sc'S14;k_؍f/I2-0juL׸mt c YhтYrՏA!mh=u0}as Fj U`Qhl.07 g4_V (ڭ)3 yǫ7ڍj/q1ӓvdn1C:f? hxrٸ{\܎? TXZ|.!p_%On4Cq9}Qܨ SZa!#8kP uZ@c珅 8.7/Vebß'8YЩcA5"5 mIõ{+Fw17Brc(vg-Y?iyɖ+ٞ:q}#!miƥXxfԨRe}ߋ3 S1RFI+bl=I *쑕@TZ@ K~gxb72BG225lLӜ^,=Xpl->V$ԉJ$Wc5c`;N9;ᚥC1)jq&-8u_kBAiu֢}5,uڋʸ϶F`NSvM.fl& "Q4} S(L~e޶=iv'*pqIR75aGy+Z@y:& پjϳRdSYqy*vFwSJPA&DצA.^S}^Kj@oܤ|~~8(>x,C`I33(Z1@ݣ~ IeSgtWrjzO(o|!#ϒ]ɖu+Ӿ>bfd/8r,+ ~sgJϵ،[zݏH;J_ DDvR֧oG7Zҡ t)VS/4&{mbg; SMy{{Q5ZS8Hr um . Ro}d_҈Vn[Kzc쥛&˱yEh#pR(i*{dH,CXʒY }uËzBmR|9|:P葁.DH\:я9q;0YZ N`-A!VHOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/files~~/src/HOL/SET_Protocol/Event_SET.thyD-A-HOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/document_id236-?' DHOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/messages7zXZִF! ]·Iq n[:|&[z[Id/G$[ì=z :qxȸM!l\фaPNd0c#S{IMYM>EIf~n5NQT=_ Qx ?C*y"$s󊰞)ߎwCWix09}VxT"=;>#)J)8 2-P | n_͊$XB$Z7-BW@20&veڊ|v!jU9ɚC$%X]lmnl;}/Ԭq͙XAk"ئ#~sP#_3alyi`=eRQGq0ZjD ~n[_0Yr  tŔ=!d&o}&jMY)Eb s͌Gv `K]xF:H| Hthy BĽ4; H 0>f nLT5D򠺏,H LbYz]isw7n!y@9[52zoükr褈"PNj0/e -?# \HOL-SET_ProtocolHOL-SET_Protocol.PurchasePIDE/markup7zXZִF! ~]ˠ)jk2p O6LP=͵gl5f&Dl0zBVe#VWL;wSVT:t|;T5BPݻJ6v9\ȋ q-^zM>^ 4roN# Fg/;()}Ꞃf9xĞDd`T4&'Df†ȮXߙ#ŀ㐦c׻c¯GW_jlzGþu.ƀZ$g s%>jxxy1Vʰr]ӊ?SD*e r’#'|!`*kHE^l+ 8"TՂ(< ȭOaMn! 3?gl,cɵ$VHZe?%kA8 "Z[  웴jV"Ҍ=Pl%F+]7 ،BK>9{.-V5GrcC3>LËT9¢ceUs~[E\13-;+>X{)/]|B9,&Qb>Roy \Exe&17ﲰ@oԚt7Rr| 0B@ H#{+h{=(%}*~<  o)Z D{R ! e@3e{AsFh_}1Wօy[ƭ#V.%>L_R@+0YG a!ӈ&,92kb-0;q]zzw{'(H.qJƒHFY r/D>P|ENdBረzҨeo0#/In35!652dWIp, QIyf˳w &{.T̜| g%0'P8LEX}iUJBR-xzJL2gvldfy4Ǹ74B0-L|$ ʕur{L'vR Co Q?Wv:C㉙dgU w} DZt-)tV&@qܛUroT =({S#8|'*(Z(~Oĥ?_YCc#:1YZ tN,*z@o_I5\> c0܂vឲ =`ݠdxcnfLMe,#1 t,YdyRRh ªs5#bHG!FtO=i._i%'}i]2SX!g4װh%!a /Ц@CK$*{Lx1򥝰G3W\}(>VtCu|[k@MvI.h 'amÓ~rߌy5zDRZ$|t{\0RoBG)MSf.E@[ꏱ聀9=}X^219Rok"xɲڨHǠwP; #F +[=ri]q@- }#Cvh89|˄V fjUt{^CH+5W&|)[FK"b.V!]XoӥxFyvv:!ޓio'mzENԉ&U O*|B4B-f `ՙ=m~#1Us HiF"~tU\C&EՇr4g *+&6uXy =`(?1P(UF y6w]xP3+7^6Nu)-0jZ>\ V–X^^Keݕ):6-Y? >\ǒ!Dҽ5g"; oгnǧԏ 7cé*_ 6 kI2!E0-4Cm8MœrtW\{>0B wbo(yqtԯ?R-TXބO8f辘J \. ]ZkwaNyGS|-EW9 aE7%n])xI2v@VSm;]2 "Ӣ%!2 q=URKC]bD.üɶKOoV\pn9X` ?b5rYo=Z# ҍE jK6spQ~!US EXeeϡG"1Rt $6go1|A )&6M {SKl0{A>0s!` `5; &@hxU 좮4F7[͠wG$wIcPz;by{鞞jpCBӈ*$[<ٙ$FRJ`= 3#Wv7> GRPȐ`:pSm7,TcT_^.rϹ|Jj#*?КpemcY8r}.2F7X?3 D,n+Bt"0 Dw~e>P!XpMk Z պZ|RS 2u@qb2컊dQwA~nZ,-Oc9zAnl)L9]ϠR.ܻ`{/N-H #5kN@"Yjm~ x[ߙ?c/09aU]hDE-#wx ]Fb \HvJ4jW/&s}¡ OvU=w^`P&U0tY z{^?`B'k<- v<0Ci%w4>NQ+e3B78?W0*n Y"g"X%:5Fun7O$owsSI /Ǟn;^u`Va N?|EC8#s薆Cls#1x_*PEZE+TLCGB'r.| `ۤnCU#+fqbt.$Tƽ6`N:zJmٟNRUdh{:7ۜ<.6]Y}d+h'EeauZҾY4C`muq#8(9UQGmK q)K2GR~!dZS ܚ.bfMU8ӈxi`8~fӼ DUćU\`@J#9<ĢBaZBޯn Vɾԃb7$\ne yg u{$,,{a:4́ yp)1;?7&&CQ^%T^\pC=_T7E,EJ 8 !DλgCZ*#m=رP5еE UVŃVQI6{owclx]ܖh0*gJNQV \I ʟr3f0cG 6鈾ܠ;yo)XR O$ԚQD'Ѐ X@\FD MHd% @)a:5qM~ :-`yC5E֛<*y4 &hzܼGKlʅיp^ qKY>ժziHA,Ha12b%x4`72pg4~qq#gc蟘Z.2]a3aX9`HÐv 7-5ObJrSۂ]gppR=P5( |*:ohp]UA T0Q̞y32$% \K,Fo"m'r\P mnl'Ղ61gk4BGOKÓ^90Z!yʌI+iy2U %P@l84@(4z6#ciKljـRCUb gC7,BgJK|eY"+'#3!Y l4%6$5}b2( N|\ pE 6= }-^tW qU^)'SIi^צ]GsiD7RKElW}5fF1JP!? qv5fyTYXV!19͏NֈO{3u_ BM!XpiYv=9df:Kj̷*zW;CY[ďRodc0,0pVYT<}+{?(UkZA +>o#TFevOΦEMhpA<._Nazuc:[Ҿ=hLO";f|]Wtӱ006>}ȴOz]1K@1I)٣زj87l` ޶0#PB1aj_YAcES%We{บ5`ixE^ uyD!nPMj hG- p: +j=KQlV v0VX~ּ/|6S5;#;fWb_$ٛJ4W l|BjaC=bODix.e.,ȑ˦0Ԓipp,6)4׀̬BI{~M0a>0Cۇxь4ij_"КN?sR>0-$̍]WvHfrn3nzǖT{|EJ%4[Fu8xRZ vFvڲ7qƆgڹcf}c[`%k67X[ӀNPM60jFTW]E#C1#yrx>& C Aӓ6vn@m4x)-Eۋ)Sd$# مМZ$j4Bmuu=N,s 0UMq-G})Er<߰tP <hN460ȩeh1 1~X>:< B.3e^<xqK&d9 1Z%C)aqOƂGp(J=ՔX@*aWBI?PMqg[Psydj8+rౙ1;;kuUspZv6Ƒ~:~V:6 z6k<4xʉɴL.Ga'f:do\ifX*k͚Q{=NB֤8 [,"Sdt v=S^i%HAL9"Dx1./Z':>gòθˣ:gXr=(dΖb_4w[sCγ.+J pګ!`-b' $# b̊d܂qGaLNZfWV]Ք0۶r' B&b1rdɯ]#qsPW :T8at&ྀe} uyrVKKNErMa*GzRF,?JK`$keQъ}mBRI͐~8OxҒyns;*({cK̗)0}BpβDm|;4[l_/.W1pސv8J_ޚDGBj)}F,,"JԐLHJ4 f5P=@w[<^=[cr%幘L~|~NMfr/hs8Tn}ԏfX8\,|ڇ:x̨Vcߑ#8stc{*S5v*] wgB9-Mo N %gk:G1wJ=DVOБiu`Nޝm&\lzq^+oeg;؀B/BQzJvvndSwKL|Le;*2NaDDC'r-2jYVf:O'eh=Ǜ_q0 aXNDp3׵/nK}O) [ c']8{L.7{ԖU;Y@da)ɖfd #6a,VU+]<H^Ϲ&tu¥N=00yWbXՍSn1uԤ\"/RlY]*]G))#<?[[~7T\)D%e<7C!؂ጼS0\{WZe&IH8;)%l}GNJ8a]H ,\]FDb͒{ ]2pYy.&cbcY273Hڏ"2cCVTkb= $nxa" 0ZtYKsa9s0g 2\#N:X4M4{JMIu⢶c&I9lg#=t#8X2Ie &1,' c4yJ'g|ބKj$Iҕ ͟Ě=|y"e9 #zgx~z-S^ü6g2S-ւjN|^ΌHRy;vÄI!xO~֥͹H,_ħ;6NVWCW{d+e)F-Ce[}$.q̴k~lRBVyC CP,ڈUOy8(5ѭ XZ)B'n . jr~P1e>nѕcM$E`86x1,9Xt?2231 3 a Jg{VC{$7Y]WLŽYtgp a&ӡ'qrǣ @F8oz,fٴ[ɴzayPIKFbRB`TD?߰-wWcN*X"j Fhbc6,_ v1J6ny`a-xߝ:@w'ŀQc|lHdMM["*dt)zYy 2+YcNmUM}CbQVaA*B7l o{KAV9_L-26qd S1vsD6[k]S|\Szx[@ ٹb^G`n%R1K8KeZ1)UlPDeJ!ODif7UoCqf6J_)&H-8/kQA Zš}+=BFX?|7NAovwU%K0]oS%;`e\g5L% >cZd;L"wl7- |əѥdChhĪM:oiCeYX|$M;I9)V_͢_RA|-(+|O <%bj-anpvu׳ªV6yyYd)- r<Ђk\6^ߪu9#o&*~M +[:ڑ 馟XZЫDhCoj"!%W)89v%AogP91v(7!V'H8l*-6X7$٘BaJYZ><=eX~-GCRr 7[Y0Ό&"ǘG\v}f'.c=`~b&9hWE+,_]Rvjw6,{P Q[7}k/=B[gPLhؕb5P &sOA1[i7}H1nŏ<F.o3}JVrTt(z~2ꜯg<Xܾk@L#u'u# /s 16KEچelsSR#]xC.`&f *0Thf"AKT]GȺ!5\#3 jr r#&K!Cّ SV.TSUI{x^-Kj|xp ~@<AS( X [7LH#6Z ܱ01U"3V֞=}̙c ͏eXIyo[$_c1N∎K̃%A3]3@=bNV6e 05%Xso,2~"K4qZ*6gZ&M>[ :;1ȃۜ#-[+ڇ6aA(?IV2| OtЋE] m-nL0! OfQ&Pųyl4!R5EO9d2cDtM癉SA5S^1_K%ؗ ҙ^#}F1]I,vPonw#/%>B7CjXn`3WV) -D܌;IR[ׂEW(2ͤdM]|A''cWp1݌4_# &'GӪF'!Z_H5 4s!G}J륳*r̊MEE?I1ה5h6j=z"qnݮ@W#T69ka@'^ 616 k$P '6m% ۮKEVώǧKvJ 4m"oAs F#Ldܼ;ۢ[M_r ͋,vVsWV1ߏrّR~ĸ $QsaGgkh2҅Kzvi`! dP0o0܇[2WfHVm##u~UmU}UQ^m[=!<,~>?*)̇~5LEsl%;c,$DI ؽn$u^X4͗$,} Ҍ </Y,em٣KbJK.pW_ +Sr=ghcQCGm"Kj[M|{׸-vfY/klUYו>o &:o) 9/ucK_廪+ݖ_x%0Qp,~EAaYQQt%@GNo My)=Q)+pПcUu JNZX$WaS~] x"㵌UmS!ULHk*Rtӷ0JuG_$@2޸=HClaHaa<K6&mjD.O@#X53W6^٢r] ^c 5έչu Nmi  ':@%Xi$Az+("t[]ԏiZtXSYN *U-̲;vw^B㔝TR%):Eiʜ\@[.>ĔKTsn!RNq͐=RM6;Kioahnj6:lϹZ`΁O@?gx 5[ڥon6S03GdR0I1 Ed+N+CGw P{O]-쁘?ɺ•3\8|1v0#pNA[To5u8Q]}& ѿr,ZL2j 9Zː7I~Y>e$7&PsmfƆ*QH+D"=vȰ'ݽk>^[eT/9 Pw?ux4QlbNyk4z:}=2Mj񃵽ׯ*(ℹbM@0?qU+J;Mg'Ƙn7!982{7Zt:CK#'tqF|F? R _TKgĒ(/-,&LIVtPfMi!`!VIN՞j%84Lw@:!\ף2A^SIIo)a[=W;?IsPs;VUd3hA\bt񼽕%ybiMq*>iÞ.򪗬2p<5*NZv!n%3쪢U"Pi7ohTДYi^x^ޠN{-;FClgT1 CC#(s\r D~W &mHP:מRz.^BԆGt1gYZ  B pp -]# THOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/markup7zXZִF! t]ˠ)jk2p O6LP=͵gl5f&Dl0zBU4zȨCE>|-wveLS+X(‡% 6[6]7[<|4w"oĠp B <\=+/"O.vk]̼'by!:BmRsZ!Feł2@\-ЧV;n=LZea|15Ku&1㈚R,5f AA_Ҋ n;b%:O_Sĸ4ԾHXk6)4Oұ0OCyt9V`"XH9xIk}l(fgbVf]'iEM$\AA1\*b m)C^o.mJG؝n~eHd4?]NNWaF$wJRQ& +2䆗^H:Y-\Hn7ܚ$#E? 7.^~2x6q0Ob7e&{j♛T0ߍs xɾp}$pwU,LD(,̮ EU+Eȅ=:fEqafȾbG8רS$FC7?\J]|.NCh)ow@#mZM2Zl^E} PY8a*2_d(=[2kڤh`=7 g7I;ϘS2%Hv ,u51|1~wIb zt>Y/e PJ#4F}+st`*Ă"mګBX g,ĕDHASfILMV\ӈԃ*u0)J/Ul#uRuKa^.4(Ii3S XX?8­5#z)̓¹j6nr @<~+ڻ<` Zl?f6Y*}I"x`m XywU]U $HI|G5TL޽ϫ} 98I'L_H$5 qb1.]iƇ+@I;A׌1/YSb2vL)ĥc3|-]!rHOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/files~~/src/HOL/SET_Protocol/Cardholder_Registration.thyR-]-HOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/document_id240K-A' $HOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/messages7zXZִF! K]·Iq n[:|&[z[iaM3RW*6%zX Z;&hR< k~ީ0`{, *?e DZW̘g璇 x1u$4oI|BZEO"*6p^^p]y{ԑjI͹wMBl˧f ̪`}+M\<'߀'ۉQ[@\wR uRGen*Ѯb_P0o. =LFXlBܵGO}FzG8|Vd´WH~4Aetd2&3:@gUYLJJhA :& ENKfoi_kG n1^ybQ`pv0`<}=̞^K1|-7tnY4Ki}^*$:C 2}E'LCe7hC5#)k XV[A.wb# OOeK*EK }_YiH3rQ 5Z^D$q,v37|%rbaX'kP3r]xE/X`ܼ=nx #ɮN!=qe4zv ?qJڌ?A@ݼּ#k7J?Ujr-IMxMg3MZKpNמJPKNBޗ9 + r?\K0h4L'Pߙm72oU'({gYZ  -A# $HOL-SET_ProtocolHOL-SET_Protocol.Event_SETPIDE/markup7zXZִF! CS! ]ˠ)jk2p O6LP=͵gl5f&Dl0zBUv$nC֯KUX]'y=||k1x y$CA* {wXxo D=32S"4sC}?P/)q+U:sD9d XHYrW%^ (ar-#6W}FE> n(wrn1shP9 ܮU-'@fܭL#1RW&Ӣclɓ2\:ҿ,,~ް(!Xcg㛥.u04)09?B/I7~F!xb!PJnӞZJ.SMoW;+!i}1g'y[Ii<|K)9L;o8(z>H?i'9#uTq,1WFC.$rV)^cXG$;6br_L0[`, Ek ,LMgoH-EөozPɀ@M.B*uܚ\{|hZmpNP ˥a" }j3c^ׯjܨz֎SKt҅~u`!0 xQct"RȜao2_GQZF;iM/1V~i1bAEA,FbѳՂqbΗn멾lZ`IkwPԐEȉd bdo'CK{`ڴb@sf}/ܩ%wEg+ ";| ^1g0A<_Y>pPu;㙘\D&Xz8 0]HR-;#DžySS ]TKw(45O hWKgV!Voh&I'=-~38<%ʓ@]PR*A8Hۛr^UeA; 0k5GuWa">Lm#?ٸQYpX{;D!3"lrQ105jS%^F4]oD{0-r<'=N #4[o۵!bv}gꀄTN` 2 iN~ٮޯW{`6~ou$|)oS8 z(~"Z/ZO9;LAX~y7zçF'wy yDڑ˘u} :T_Z}FFeਨ@-fA}"*7U@w9h<**0+o48?>/j6^\'*ۑ4^H U]+pp$Q 5!( GyelD(|ҫm5|C<ɤT1wvS:ǽ`@2ciZĒ3 S<9vPðdr9:h>*1ĖBT[/ukVP0%apQ RĖ~sF,L_0}˞yǧ:,kh^J/M c+j- ‡( n0g>:+fV}V/Yȿ@n]@\c—? 1@Y3] Rg_en\-jY5>nٲKQ`m 9]o ޻tA5i1+t_cOBw .v9UґE)p Uݹ1o׀6z+zn?f(*wd7׷Cm 0֢w uYp:`"dF4) t7Ļ>fSI$H# )` &[_3W[غ*I?BLS4@w)ѣzCzb. =#ZMϽ*JD[KI_UF+_]v _`l䡁a\[ mY[ 6.y=Z70E''6Ql#Y&-}/Υ1>g,0 `B5o׬B )kT[$y4P' o.%AVETRsKqZ\p2-og> g9sx+Q& 29xp{r熡L| Mڐ{[usФsauvs{BIhiA2o{4 s{ZB e ei]̸zi'% y+n&F۠N$R2ShB\v <&![++ X"Ar$}Z4kyyP  %bNk`L0 C-^9=Egc#KŷLXgߋOOKz1kq͖YszmRT fLN$>|0j{P(JGhHV~?Xۙ^j%/sv"1 OX<_aP fb߀"M [Ҹ84\2m_\g!~r!$KP{r$5{H,7[ j+o (zjA'}Iu)[D~qBzpPplqɰ:L nJRv6Zj V]~׾ BdL<7bJ3 Sk3-4izd *)G:lvVs4H3_eTl, -f׃ |^%8%ӕ@'?ׁUߗonq7K@R>w$=Wpv8|.!8/OD]2y81 Za[x@w0 |!TWDapy^z%]X˺tNѐE$µ Z>voL&ڮV-5c9$"E+oI(G:AR)ă<4 DĔ:qi)ĘD+֟J@[4AR h&2tg덊 wsIc<JPZ>Βg$ηL^'J9՛JU0c9S4<|!P$A#;/1埞b &dd%[\Mg,/{' *z%ƔZ83QڽL_`L}0Bm^Tݒ>~&JO D)=nx=A05_)M|mZ]\ +,'lÛ1զܾ^V>ca='{Fh|gE73UO=ؖ+O14{>"ٹp=&~FV@]Ou?饺D`Yf$o^Z6k``LUSȷSc-="[텯%Dd.(X!2yg1 aŮ(S`Bĝ2;G!?6 Nj ة ]=m%/jN||,drlMOnq:x8vs WHCŲކɕL yA}4wl 8wB;  XK{cRN'"陁c3~#1% *$ր&|*$.r^AJ*\2mg-\ɥ|R򨅨w>kMGMxL;Z<ʻz#͂3|GpΊ|XlP+jCt/whSߋkA6 Z/taK^Wȳb͒hLݼ8e&f|0+ztrbjl׃̿AU>쯙Tg>+594I `#0LH_?Ķ,*2" ͤ'imҊ=[>9_pJ-<Սs H|*c/:@<{Q|Tf@P5jC8H@RA{ ] mؕFQQJ|-B=Q F~Ӳ">ܮvYB9}TG]n g#1)BX 37E $k} 0&S*khڸ4v?}lDIiCFʖ"}{Vd):& ]0&E(fp_~f=uy]J%|zwZo9@êf=v!lV7z,1Y @HU 4x-" ${;q dBIJqi P! (%wD/F*1qa'(m5zWP=r$;H\0F2_^Q 5S쌫g7aZom2;yy3] 2YJP $`9) nbh^p::dd a%aҏq@1o}@ Moo*"Ɔ)Dg˘1[6_5mMgo~s8|)Jp|si:#Pzj Q0ɶ*<14oOz%u F09~N8{ƆqX3X&f 'y&+ oT_ olq0Y@~ oejƨ&x7j[%3z>ur-B468 83U@Se=sy; h͐{Їj0[J 7~'X_ts2=ST@ DM]ZZWĦ)(2*}+d%ۻ3h50)G?Vᰒ4W`F'uJ0+"5m'JOι^<8!ّTJR~WPgҒix}Ι$8W5慖tJ!t,]βE>uDqP.Χ 0IP%=r2tA LskqI;-˰կJ'hgy419 \ .@CiXE,5ԪI!8L!toEyڭf Hz 3Lq"ad]Qe,~Q>Q'ˇثD{1hXF?E 7f?iBB;>>, ch Qy ɑqI)Ll-Et)1`Dz'+5aS-WVd.P H1aO`q0Y=@2zӶ3LXv)gtܻ<3щS q׮CMh|}!_X OC=$s|Ns6uUtvp4u |_lf.j(RBjX(Os VdqPrBPċ`:Og{oz$0O#YX0ce|ˁDxpZLa0<_.2C+\ncl ;\ (@@Y{W$,*g+vuvNYj|݅˳C)p)Y׽evX*;TM%L+0jIDz HѬ aN26(:*cPz=(rI'94fESU+k'Reϼ1[UYR1 \*]p0,c=-㚌3Nyxw Q(Ѣ^'r?+_;\]=&P5',,h"f'c[>/bW~5e$]Y5GVJߟa}YīU@20LkF wu1Ern#Rt2GsK*^O ӏ92Y?F@OqW)TΩYߖʒyaاavoJ^rg -Z=+d۷K#4PāQݹMKM Z5+?~NI6NSD~7Yk\$"GRMM2] I%-]b|ɴl'r&f &2޿)Kx0Xm9^GVnt |L5t ٹwC7/3 8Q}6g÷Cد^ FpG)0)l+J"ꛔ{ڮΊt;b h\)h'SE-'(9/;f]k y HKcyfKj-i$:Wor/VԼf5; Οnzlbʰnr9Y @"O-N`Ys/˗'^] aULklrQU Po y:fGr OY$9}pyV7cjkP$;#M:XE&}R2LMڞ{+ .vO|"#ҩ- V˘s0_)比s3v+ BQ xYsXi!@dbO _ QNwҡZPd--y*uJ gӪ's&\5JBHFu-Z`fAMREbSs(j|D `vV,RE0 #k"]zuu+ qV.fV>m8)(-cMyXHdÙSU+V"$Ȩ7߉}^ؚ~"e Ɨ# ^kuT)n` :>p~ܓ@M=U.h[/EI\ 2ҏ !DZyYd_&:I̪8gfבe51ф>]-U2iS<b.= vb& MiƉ>O.qw=,(uO\vg{vd\ۤ Kء +';'&*䙾/OH7L$Ÿ@UhKOՋw{ţ_U@":ϲHӣSMۤaP[X/k(}zf14R s[v̼~v%;m{33@-HLRAO)|ʎ¡o6SyIF_b Dʞ)V%Oihi]B@._pl_ 7/*@g5S8gftT߂_^nm  rILu'B%'c~҅вz'u3Z9j\DQ$kK#ЭJ3L.87%VšϻHʉo-uLGTg>W]Tb9y4*С #PC288*^qK>/ܠ4mt_KMTJ ݩuPxGXb]ij*% p ]hnf\< ɴGƛʃzar/1%ڐ2AJ]ME bhuY|m׍3}ʆ*# f4=u*AO%F5׉g y6tט>8/kni3: DLڬ́?%5l\^9<h1(/r7Hs z $;Zp=^PUX!BWi eVG4^WBZ#8i8@XZA*CP%#yw%].vz Vfb˨3atz=H^RUXYH qj#UACg; W aZLk+sqئ*S{.6EO߳&& f6 Α#q @#%5MTo1LCm\}G2Z7ܙaw6gPL[)Q%l<NUz8ϿK>o9\Xy+[PBiSꗜ4bI FV)_WN#[7bC+o0_}>8+K 9\Me]JBsR'2Ù3CPq|ԥiታya``oەު[x"K@țHa_l@K_8Iҫ[dɉ ǻk&Vu/QX0iѕh* vIFyf?([#4Xn(V5K0,z@$BY'(vrPwm,RCza+M" Z}uI?7ا6YjZ@/9sB 9B3yX٥Dw<1zV.| *-m*Lp)9w 7 |>p;Wˉa7xL`ij\\!ᥧf{6 +ɰ Lm3tqj#H2+s5hQ!@DTԛsB򘢔nXeX[=GIKXLAN<- Yڧ" ăNڃǶ%&O2{ނx.@.Zr;a>Keg+,m+CרN^ F `k rWR'|ޯ,( 1Huh~C{=qiSv:B>ҹ'6}D7f,D3%"-@_F𭝥lc[aAd8,s@ͻ9SZRz&YeN]_Qx_c_KL^d?su~LWO}u6h}}xZc:i)V+ #.rIW ~rM,_9N{6h+jPj(Ѕ6p𶰿?M69 Nȝhhcۑj'fΆxNf}׉rϮYϓ.͐]Z ?Zdˬ3Z,xEj$ƅT/ݡR:1?rsCML!9qgN}z,lyZϷBʐyo3}t%#a&`L'LhBt)x[3yPnѵ+jI>x:L>XZdv;w]0Ԇe(0 T!>NtqBsLA^i !iC("7Eĕ6n~/PVo`4N坼@iD4x,/Y4mckni2Q6Sј\c :)Jg|! _ʅնE:3$vC+-^R\Y]dݮ3>~X>H+R_b7!s6\q orj XM'eY\tCaq\ ftɫKq8:,{!rä<jd.&7>d쭑u#q' =yV1֋ou҈vThgvŲ̠]D &ܣ9U4 ʛ6"[!A:IiRH3Yhm͒^{@D>r zհ|&5n׵!C=8<ǂa^66 _촜U~wBw5xnzó}O@$v=tü7K< ڴx8ZΛvݾ];Q;>{Trl2Pix :K '~'V>Am)##5}oJyȽ0^N*q>_[AP!vCD=1[QwܾhӝԱ(}M\7""{%VMMxkC\*#AeFDL #/ɤݻaG׼{"ʪ_, p)ՃJPl)Ab#W|=>53W_ӄP=;>*?ӽË]t/ҾbSg|lSeMWJ؏ gw#ɛݯ "([6Ebޛ&X6H?kRO+=wY_5 19Oda٨ ňߗk~8hXwB-]3vR~&DoȇIORq蒮|D>ckɾo 63_̐'#٠U$lctfF* +#5?1Jf1.hl- c:#Kl|MVDTb8-&iv}{&yH&d6v_ghQEXsd[5LppH xJ3_gZr50,7/B1]gbĤ+}J$J`% /ݐqZiMو{fc!Ԍ+o?1`K͇mskAU=)fv3 cL%}5*Pm뇸< {E8w[^itn&ͺ(LJ:a >3-R_#@k-~O-h'懥TId̋ Oie'H*s|}%O S1^VH^h)"g7ϹH@KrQ +,cLvO~a~Re~RǕ _]T@y{C&Ci%U/EaEޔ׬wFQG##I{9pl"]SG|0?Rֶ_grF*'P8*DQu v}Aqz &Սjy|ʹM@FP'[.iF#)GzROvJd-MCl:jxO{>ߐ78e գQ>W =5*>ˋۈu!;br9?Jfn|1v{4c5xYێ%10 Cb~%f}lmXJh;.k_WNbX%=1#= -",` 49y>f[i7Gd)LfBsB?}vPT$$J'8f!1V=l'A&xF5qmj<B<Љq.-tf0X1mfMi@8-*mB JcՉCIC[eSti{c5WOJP%N!Pu4.|HSmb47uP_(;JKF7EfyJi 1h:kmF1m6a%6h2iOECWHۃyi~3Xg;3-d[6xFd8w{7{-~D]sBLX99eUxPxvv`}9w&so5$G^#o9^*Q 4~V ^459AJpwZfI2^ChA)2 Bv@heAīlwT:.C&;_w:\DwGk;;1B'4=ؤMZ#t (eoPd|87_91j8Z/?t 0_FlA%t#V1-`=BqegEeDV&v~ė5sک T*yenu/G>D"\+Ns\EU8,w@z1܋!7KC&](葨Y4+[7gHA_Dt7OvBeEmZO ;._0ªH9;Rqm=Ρf rccz@{BSɍbBjBxxG8-,dΰHS[䑪`W T /$hjjꭣ<~lGi媚3\F _ti*e{i حfG>6n4Pnt/J4x[ݠ0%(V[CY#x Qv~u HZc{VfўrmGjf/{6cSH~[#՘*ϠV٬a4`Ehثܖm/ɚ`of- [(|u@s _1`%[7le&bA}m]G 9;dt8h{&|m÷ԚExG]~7H+'w>;%f t Id|H?ybY_]JᕨOdsÛ#?\RDKIB3bb ߧn?ouAͶ'HQ%}g^=H@av67swkl8G[xoҙ6úr962ATw|ˀ5r#"7:R$?teczm柹a܎M  Smؚ;]icvµ:ݼʃ١8 8(.u;#+] Mz1LAoP.Ĭ#]!M'V))j$[~rcj9x(Zx)4Oz*Z@sQsـLuo^0%7ty ),(7v/?}Yrswd9+ ?uDa(gWI-/fb  5s.3MuDsEaڷSuT-XˮӚRXzl~gD05.FtM'3I[H:0ڮOj;Ϳ 2K]; K6.NZ?mp19~" g3X](kE{OJM:aٛQ(l )'9) 6AW=؞|c*mf(`U AsFSIJȘ_5:D挙!o =?>|3r?'c6 C;`hy\(#r]O?+0g]>$a!?Ws!1LkܨE%i/?v9.s4UAzP3 VIרɨuē)RB~w up1ag|xXf<QrCUx9[@)Bih"cQmxmq LPOcf}ӥ߃vx!|Y-y|&( 7Tn/c\UF553aKjȋw!vsF/]ĞOϓí=qlK4nMdN܃m)M r¤]f˸-z|U&kA_?m:GK6`}?L3fT)AMY[Lk)=/OH; @l`,̄$3I3! SLPsS3Ye vIAVKԖȯ}~#;Q 4d^ؖ,:gҕ& 8,EºiV\I<5LH' m۳e%k=\ϸ6w?_={.'|>!ZpV∱q5-﨓ißS<7)ppJfo͌=s[-Qa8/Rᇗ(_5MHycb.1bLo':Y26 Ɉ03QΖhkwgk @dU2ןBNҧ (a`seLilg!6Ě2kOXf(4<\?Pf٪j9mq &yH$\8hD&mlS{PyvrsB3'+L+x^EegrUFeFx~ y>LD!$I8i 3%2Z1MY[p{:,rǀ x\^%?]CͭQ h"f$@(@+ F> bq }FW@dSF~/=Y[H,b{ᢆjMEFFX/@P!P{3S\Kc#ciD87Ku9mɠ7\&=@F*:b零7/^$ Oiw`M eU1CP+!(Yf{kP{Z')4E_zLYjZ<9Mjo8sTNKSeG^h5׭+s"(A3c:=sEuEql)7nEa%}H1;X:?EvmaU׃Ǝ94 : ^[ 9J3 j'PMh+w4K b(,Bk;\8}7!sŖ :yxDPEPnJ[;X_.6Li,3=lI!7ϙ+2{u <0ݤs~uM:;']2*x(^P|A,_;H.>t4lS%[8wކ8NOhl5{`w =Lx> N%\Ĺ$ۦ+U2GqnDyw8vJ BE1*y^h[m)j@Et8bHoX  4@߭NytHpq.FYwJRQ#vUSLVHyߴ\YSs^DH"?ͦk^mƀ 1 dw5}ZK/vQdpzTmnUt$NL766bn$l09+2J|؊n:BOJ:q>Ϲ| u`A^ξg|*/vFS_8ZaxN@,buƷ|DZ& Z̶ǰ`Cxo0~̩j)hqѢϘN3@[HpBEK^i$)gȂ[a#=>HeӻhBP]La%nnDh  }Gwq`7\\*`<Xu;ūb^@ :0M]QVok!x`牷![`Sb,6X։cHqs Xycx|Vf_oF3^R֌bH$p^/ܸ/!K12|LXeA-Os 0PE<ٲbi=.D߼$yXZ,qhvK{mܕ,BA2C_ƒvOK«5:~ȩI#m TE-{VMl^ #ԗC6R;S;RJpΖ !od|A*yqIG5'BmP`H>9;oNȌ-Xi4@ogB'-=[aiNjmF|,V{&9%mHUMfEP+9{=l`5pVOM῜w4eED!xɥ{j*"CO #FgjZyS Ɨ:c$аV<ʱ;h!hG/:3pe;e51DA/ փhl!N-|'l4~6z4"P~ ,O1]T(AdWv_$dKO:{ֲN8IZ_ɅSp=H5ߛ%mP5ՠz$b(lɥI ܋. XY||(Bь.Řv_|M7TΦ3ĝf(%T鱊݃&%΢]dA8pdcAmFFA @%&M s:Ћ}xmۗB ǝǔ:ig@`@5Fڰ2@m hke'>M"ﳶrPVϕϟp\$KX6ã0͈e8pY{P\L=rt]bپ |$3bGͅcw'i/Xx*,Zz"<sdkE>%@rF"x.a[:27ׄ&6+̸gpZDZzm{7) 5`ȗxF< %JU2l;i Q쩹7Yxrq*GoM7h]^[]PqBb‚D=Mul*Vbg ܁0Opf[zeQh?gM۱P^ܙ&{EKӀ=\?o?/p>ǃ%O^$TZD޳Bl{u"NPZ?qFA6>qB\,ʫơeZ3g6YYdHt/\w 4GqN(Mۆi{円[#YIՔ:aT +X8 ۟}ߊV*.xcg.!-Z?m4z(syHLxO'ryzL%5Vf.:Q\p4q"{x`bfkN$ZNVVlp>5dءig819͢umGGwJ¶7:#-F8g:CQ.#d2Gi`9N>T l"~IKf0^?Xk5khBgb xY-㇀m'RΥtQF(1͹n?(|:QUYͼݠWGpEx}/RXE0}MZpP;We\1ZX̝H\䖞.]uybK*us;PwTz`_r#qʩ)vױOe#'ڜ=QPDԬт\Vs;T+%>ãvd=;7ܨIp|VY|[?2U 7t=smM֤NL{fmQH JĬ&ܒZ“*(84mAH Kq=>ϜQŤ*%(b^eDwZhD ]'w8(ˣ]hܨƍ@̢*E~-6=ZC $3z Q.:#\&xjb[sj h"sߨ&2 $eQ`||-KNf)i]F=8+.6ɎQ(ZGAWxeHX `+/P}f1^ c?cditё%)g;^>s/F5&@^<LCk4[cpЇýnS.;7o~Փ2+AxwР6==I l"al?ۡ D$( /o[NQ긃zـ*hɗZğKest@lTZSXi3r5`a^é89Nw,kx.6g z=hhaPA1L#lb8xQvS^7OZZ:q4:Nwt/#6ʜ|_[Dzz]#ȭ30c9?챥=)vAC" Vl'2GmzcB"e#QNd9WENȼ"Hr"Ҽ yrR#ֳq^B~@^eՌ-0de{DǡA9;ުGT;Gz /f|oFr<0}բz2*d̠(G20Fiv8pi(LSV'9SW\UC0k)b'ij_v/O8:-g-*g&]#ԅO b9L2苜mj9 $ W צRR>K4) gݳP]0 M=C6N9%dT FNXcP:*jA^vB+eLd ^5L)dvlZutiALhpCi}RnU)HZLgߐgM5,:4omྈMs ^ٝTHf9 K',ւ;u=#lM):^Gʖm2MzyI0R#yq|1RY9C`(5=0[.@Q j_qNVyIƨq-׾>hWS j),XA{kBϲLux_VG鶳{ ,iWS$Pk}X6=:nUl.L )-K0kF5B 2Fq94̕Ajn)yM(Tw8@S{{S6dup_PSZI\.$zle/Ė@SSfO<*BI( 9`h`L&3T_$=_8j0lEr+@W38pH({;X @/bG0sI^_u6s%eurg+ 1 1#9Q Ðc4ƋKq|u,,+=3'K)y`-Z@٥Fe`b89o=Ȉڻ o/ !xBA:Yg49>"  ^YʦsBŔdmf;}r 8+ J;BCYb#AG웈~D3*u0T)Pҭ۫L(e'O;L"Xys.g $K A{.̮̆-~}s@bLS͟zH۞ ZɓLJӇb<ᙟP)4Oa k9ə3*0oku-jKkG%֍GNL-ho+evU#c S}Q9WXhz_e[wn`%!i9i \^n:)'pvakc46P0x/L v+ZLn}Z#.f5O6}FFr[>sX7"<F`A%K5i~N _RE~+ kI#Y%==;Qjtr_y nJ9 }}͍ad Mɹ'?yxHG(u_)G/-%jW6ճ5˝;7K{` cz`9t#V"n]\V6Tk;L n_uZ1-Z%y~q#R{1g5׏< 5In;$|R\8/ `Rȴ7av{1(9}rIJ3SzaZ:tT5y%n@w|^-Q9K\V^e#u5OCBC>[o34mi.Clxv|zV3lΓIaz sδ;OJ-;n~]ꥌ8,lmH vߥ&$ &3-C9a9Ɋ,)ƱgYZ 0Ǟ1,He  YnUٝ=8~a楱F13G'ibΞѲ>pl>5U)?/I5Hj15:r叿6/mnyiG"MVdvey(ŧ:>KeۧEFo 2{NDq F4F7_|M\{ ad/T)cmX)d&2${lnR 7[ ?!V!==oEV8Rn*ei!h43;SΑ@,*_=g=>\`qgqZPLpP rW"TglXעK+CM$9/dL$$/(c +U\ۼeL3o=?9:bZ; mƛr;􋻟_gKXP ukW R./(wMR>@Xo;tzۆEX8H 7MT?.[9> iwkvJh):: z3ǶO%5jj d7c6y$C)@%(fs 9ssct8R6^S!pYP\j.TngGکB9)nQ+J_}w1jyH:ԱT\=a-;O0 ЯW磿ɫWm]*0]XSge<ƅd$B WrE J}"e)`v+M ҬO fR I'>9Qb0~ X 6NF$f bb7'ʓhqT(@! ߏbRs҄lLW⧨6(OvO_U S*U}xxDx kA-w{-uRL4zuN,I_+.[,ChnDuaDtZl-]_aQO9mp;ٴJ"fm3jɚw{O#>X7 Ik1H)׬HֽXWHs;1 .o< |]NmCd-WO&#C1#4GeQI\F`Ԩ/2]]I'Ͼ=Ocͤ?k^#=?bgf:"Qk3_*&~={w ]?4l~&կza0]VH9ijpʋW8ksSVyXFB3k ƜNJ~M+E´C7qǓ2qӾ>MxE`[y QQa.UfFoDUir>|L%JŅc¯e'5h#qG/rh.AZ&V e܋FK̠)nt1d |c[P gȟ0[qWtY>_{E^UMÙ٠mȠU,pnC6p*66Dj,"\'5 ;YZ 6$i]#}U V?E_#<INZg#;N"^|T G8k#{_l9Q5tY65w *@ yF)g㎍>ncI Se2Vks7Yq p~ni-7D34wb\Fsn{1@b5i{o7նG:-$^T(ۆ/JJ7g k A;לZkggd%:uּ?`Ag6&_uQP0 S3xOhMj)ix;aAUe Lo jt + gcX Dίeã'Ŋgz@ _g*3Vew] )=axNf{>kZt&6Dz{ ,"՗]jB,NFM[for(`B5=%VQ[.^w.rz5*kXeH d# 8z%L>" V/E\Ն7~NЇ*<:Ne1Qٸ}0:AVnLأ&ލezۆ.Pp;Ȇ_*PYѰ?wC-[n2yPM. o&d9W9HN[LUѫ} ΕH |3陵_RP[j]j*Bߦ'5plŕ'.Θ- yI(Wfrpg{?jQj:wŗ"Uy>_A&8Ng;ǻMjh7H-JoY {tyx\hW]qQۭYڂ=jNXLywN7F6[pp|f_f7?]ڠuL}|/^C:DF^kl4?plfd'˘rǬi ;: ,& gYZ D 8Dx!-Y!nHOL-SET_ProtocolHOL-SET_Protocol.Merchant_RegistrationPIDE/files~~/src/HOL/SET_Protocol/Merchant_Registration.thyP -Y-HOL-SET_ProtocolHOL-SET_Protocol.Merchant_RegistrationPIDE/document_id242t-G# tHOL-SET_ProtocolHOL-SET_Protocol.SET_ProtocolPIDE/markup7zXZִF! @]ˠ)jk2p O6LP=͵gl5f&Dl0zïgevǿͺ \vt낱VwpX5"rҼ[a46"lwOrٺ n@40 _w=8;F>P ?#RW5H" Iֈ(\!9eO ~k+/DjD:9~cKOOʳigK0:>b]#3boD藘vU@"fQ HK%‡;E2Z J2& 3)?a(8NV-KmBİCAqF$O֣݀1qDT-X|{G ~vA(^%!y73dOv=?9]Du]%QyFuRP3"HK@- yWgYZf-G!\HOL-SET_ProtocolHOL-SET_Protocol.SET_ProtocolPIDE/files~~/src/HOL/SET_Protocol/SET_Protocol.thyG-G-HOL-SET_ProtocolHOL-SET_Protocol.SET_ProtocolPIDE/document_id246=-]' lHOL-SET_ProtocolHOL-SET_Protocol.Cardholder_RegistrationPIDE/messages7zXZִF! -]D?7 {?:fH\zo aI!`wlVkY$KrS1 VJvft]_8,Z9>uYCnmy,`tyK?[(KX:(_OA{DZ L_ (~C(\362 pFwWvQtuJK,&DuŏfOeEO]LR1,h)0rb|G|.etcLbpf+b4*LW]L9殠JcN\+]H z& V j0Y4x>Y2egr[z6eG ?g@:/,CM8g0!;aDM?6ڠB0кt䏳)IHvbjE3bC^SU\R?d%*XK6y^F93PY{vG(od(Q{`=ދUr?11+`G%Yx/DG4K+] NtzOAAhZF{B7`5DJ=В45_Af %%RvMHW5\5K'sa(O Fʶ\&g*̀ڣE|0q(pkM4{MOhV'߹WT g9҄/Mc=BZςǪRsXQksVH_k[3Qs\  ǖ8rªHpQ°ݢ۳ V> `l,(q4ۙx5D\vUy&$x6BΆ5ǎFmt抄[\q`%`ܛ%҂hŠ[:\TZvn&$7\~uS04`N^@i#;?{)I8p{3xCj?s *FRT,1'C6dIiɊڊ{hdIɷjh?O}c{d;#Oe%mrߎsa7=YL~~QΘ)'(!u<=gA⠸0Xg}t ΁IsTB3U?R 7u'Y3nP\.uz4ڹ4WinkpJ#605 %̹^85,c@;۽PM8=]GEWl?<g_6-RoM1ڑpz1Ʉ!#h9 M%#7Kے=4;(7$tlEoHR}]aݚ5.?@HV4ͬpj "|Ϣ۔XWEq:`6K0.,$SZz ` ndHJN93%&Sߩ̢aRb Si NY5ӡ:=V;Xԭz#0qgHZʗ !ҾQe +vG!_x)4{÷|_@pL4tR;i0p ,#f4C$k(F&LN.P=ҩ]gZ;Pxήհ.B"* Px5 FS2nhE*q9ƳB}jL2stIGdGSW֪['}[ M&w!j.T?SioAt||щ?y}SoOC=y V ^|R⧱JD]`=Z*ڭ L5ioseR*.eHZسqj*p5w. :ٜ>ew䨥pad̈,}1mh;*=(]3EXs3}- r+ND,?w2`D:ӧ䓊zT{:nc'bP."Krj*y,U\tď.mswV,-fVR+d؉B~Æ }ۑpeysS5ĂiBcB-p$VcB/vfmJʌb[!CҎ*r: ]A&^Gڶ~q ?"xD˭H0+ײ9waD9PV.g7h\RC/f[ez!c8a]жVxm*ď# b.嶢ۏ5O:d:|1O^<>B ~@V)!? żA9貀[%_ K7%MN&2Do~+Gklqt渼wkD'a& DWb ĆCuyZGkɅOb`ч v0c!A4+aZ=(^ln}Dɍpϻ`q)սq=\aT;N>L71Z*差jC<\5wKة&65/Q͠د= gg >)P8nQ &̓ݔt)ut5?y} SHo ?ilE7({Hjo&9RVQ] dI7Ů {nQLOCSB?Ȯ[ ~V7p'+Ͽ%z+_R̂3Uk08ѱڛ>ɣC:JP#ju S&Cy8A4:'Dxz_Kk|"0k4ѾtjrE𿝆O˯; 38Ǩ딕 ʩ#i.W˅e6dt$SXY1͒msPEERzheyW{yױ0){ϱaOEh L!r:Hnbό#J Eޖ-sخ5, 5o.NBs0Q{]I 6dWǿ<$׭0MU5N)CAӑXr  ^a$ %g##t7ix Amy<I}uJS,QTʘӇ.z۵PDb9eʟ#Ĺom HIy;,-'dH)mSN(eZG6TkT -럺sPqG(evR³DMslЩKT[|eו6.,&(4c).B:MHq?цIrgԒ2";e)zdcmxjb, ܋A0>"|t?`f\LWU3k:@ /Lȣ4Vֆ QJ4[cxLʠEr츰Jax֥ bJ.Mm k.+k5j^-Z?5www %GwP6`mU=0_GeO_ҙ, grλ ׁ _2 '@Ju̧-`,)ɫɮX=^8W2WlTu.EHg_x@" `K)t0~}i\v'{A C*F?l65L "XϸEDjhiYM4>;T.)SG*Dl _ӖVя _bFvq%áCmBY+i%3 `^ :~#E 4Գh[is, 6ZVY?;k%J)BQ<&`HQ)=y!Kg$G\$ק:.S6a7Y|oEL#<ҥ4g340U_m(fn/ u- Ⱥ y/;Rvn}wW1}-<2XI:c)VljWݖK FFTqz.OibBqj!®cuXŌꤶQqU8MkiKeBBr0oչJNDl(=WY JsMSm*sRܤI/m+K{dwJȅ-xQ2%-G|n]9V@gk'_Ehp*LPؾ[:U%mh`O"Ӳ59t77dГ8$Fl +R07TD:_iW%V\m11qˇ"gr`ia`% 3M<7>'^i&=njczk ٛ`Sc r1zi;-o+ڠAzk/|rOL/ e^)`yfkmPp?=dZqEʀ&EGB@%଼!kňTl*wf7 .Zk"A+1A ѳ4mEtPА˰?"AO ;2`IKwS{ʁNBizƙzLӶLHwH 8m &C.Lѷ|=coT8A4!֖y&&N? yjZ9RV bsds5Ȣ2+ϏNT,?I7|λObgb3xZL3'Ǎt`*Š^= s!s> WgknBArxJ٬BB+ӏWiDonM3n/U4ketRQB5#;o0ENC?Cq&j8 E0 J0zzx d?Ѓ\P/35]PukN.+r F.ּ;@QiaRw!m.Ww8{j8 e*s\!и̕kQmw_!0gu [Fd 0m1;hQΊjxS, #x&ICZOS=#w嗸[ݣ*Dس|F$e!P`Q;nNr.GŃeh- bI/yn ˮ148sxuSk h@N)M&ZOHn\W|ގ}e1Y,0+JHR5:A~.;<~VD3y"zޞ-75o8ds5hےPd3ǽj.(TѩUίhҵ|XvKwpڂ'\b/y틃l`?{^*Әek!ǮEX4%J5斑lZ8dtkز7a',pRD Tѓ0F4n(Dd8}6oGÓZnҟVm$MSRq$eBeX2=SIb@@zhU3Hw =mhKެq39'&v%YSb wXŦE%ʔg9-UGx V&GQ^IEG]5+Fz]Vބ2"TOr_'W1Z W,V#/vtcu؄ʌc@ 3mN{b;*}\y\ZTT3<x{I3 $&1 ˘gz g!܍c`Z]޾b\F5_VPS43K yDUSiHdFշ ȎǙ u'ORm>#–FTK ֠ae-U‚.nE<2p!;2Wi}UQ8*(KCIRq)a`r($L+>w[ Ņ'PALg8I־Y,.zc#Y NU)̻Lh)崩f BL 6N†MWF`1]i#;.y%I}T@ŠyHzlQ4J{j>طF 2%W3`fzB7%8 ѪTk ˧Gߒ[) 6G4t_,^qLP pLSLtGS=#嵫rGS{@q77QþEb.ACivP%Mqe2,"hZ&SFC}ɡ&+zvδLW;GJ^0& 7LN J~pGc]hA(Y)`{ {H1%8cj+#I1(3x"HG6 W=_ oZ'ᖞ`|睤-F75q=^ؗU+ T3$Yȅ$B8,?uVkPZB<<ݤSU:yE;4ƈuE ;sQ}d/Ļn&&Ͼ'~_xnEA=EV:\[c{d\vzz439W]+@ U-_eI\x|NXil5B0OL•v7pU5ف(s٭{5H6O)d Haۇ1GևWX* %KZ\ At.?!dn`F~zil98S$`Θ@'=əZSRF`ӟ.JUWN8o~9PfAX2^4ry(qOnHެA]i\pxG8.ْCyf7; 0bJ1~JGa"w[Aom(t| 1Q6fNBG9-l7P#s!rRA3{-kT{Sw]\"PZs ya{q }D XJIRL b?!T+ZaUU5"FyDf\&nȳ/4hBu-oڰEAECZ~BϵWK6Cv-@VG~;l}4i+=>WPZ}yRuJF6e~ۼE`K$n/[DQAa3e_Jrek qd.;*Ag-F]ڹpxnsKh$O\O_ҥcCClI(zQ\YB*T&R^y6ҋ}`~f] qSqnjP}t$9Z(-9tZ-%]O2ajwn8paEX(܁֞o~`zaqMzwvFbfB9xYZv@ASkt@ #E$K~|k7>=_QJMEI˻ "oŔ`Gwe{)(<ؗOK)(E7e^:>w2D#܁#~'/r(n9dֲMc(OI2.;{ǎ!:zPP%\8Ne t ?5b7RdX5a2[nZl.:+tjbWolM럗iĈe9 3W]1>r\'%U*WQGkYhw nƹD 2cC&QD=ĔUu`w JPÀI k|/3ߊ/Yr]F_,_(?H-ky!",>!4/xDexa޼`21S lßT-s-o&0tf Qlh QM~Ŝ-/ǰE@~`4 H5h KZ6r@xJ֟^.B TZH ; =9;˓y3asmmϒ<򧩴 ڍzA=lqv ['=JI7nZ E~j8'Vmqi^I,NЕ]ek\ HR+aOe%3S1_GXokޑ̋yiZS ixøoz{8uNܓ?{VgY@0-Vl9~S'Vv+WZډvxuپWG.-OqHnMɉ ZИaX-ˁx_fэ,Bzh1u# $|FV^֬ȜV-J:{5 8>DŽFZ}7R&"U[ Vj#RM>qop.0I;i8 IY>VҗTI֠vf%?lWe@b\ZWIs Sk):㥆k ;qH")RXrw-|Ja4OdjnwZX㩃xIi9 n f[X,5܋#"3 ;*I.$yx֡{R}O\ %%1nvLN+T:):a 56/GL#>q.tC"jl~?q871t"E[FT6κ]D"a|#0 eS ˑ@o  !tG|ɀmhVH@M0KuЖ_w$,jԂg0ZuJVNae9ȷ 8T̄Kz'/u^Xd"FU-}[\R,NGM%e7tf-)EV^aH!zir+r UI}IWIޘPuvz]?oVk?a6P[aۀ4gv8`u6 >x՜BDI׏m7FkqX!7?)Pޤמq740) &\4uPc^znۧ@ :2=ܻbFi`˓vC6ْwK qJrvX?) \`{1b8"%,i(< 3mlZ7﷭m|JQMj @mQ jm jvRQ4>KVL51@fA2;m껿EVkXʥتC)Yyosr_ɫ NXl+bYl Æ,F 543ܖX0)4Bc$M"2RryuYkԽ7BתL7Tbb2m;_YET*}v Xt7;t.r__GB8SM[,$X!^xd\@ J_k6&ݛsT)X{H7*nEpxShۋNX(V˕0 v3X/*h#qV)bM,neb>4$;Q)WU Lٔ]eBh9ڙØMx%'ž SnZz 79$E9PM5pt#\}9`̧ _nź5P1Etk|:*_)jXo4k/ k!mv`obmgFAA,~POk21/m-~cSCyK:D%U^!te~eP ȱA?߂ yѪ %8Ar mc_> Q.wSƖp怏f+TNxjwPOlc;uySQJZH>Pv}a"=JDHs]Õ.~' ~?O>L= _i\ҥ7~yl JP}WC$pp-z.kBz%UƭS n%@mu#J;M0SM qtxn:h0#\I‹hlWȶ֒`)Z;YM|!m6 PHSPP;IP΁R s]bkwБ! j5wZ#INc1n @.e8Xf⢀sm@N_2XyE'8ZHrǩ| MI~.l5FKp6kz4 %E+(lYns{}=6$9P!GTQ~EH=ýW1qx}@:]wo&<KnzRq "BAjj#skPw1d4H>+j9q43ϊC_eeט$|ldɳk14I(gT{ɀhىJ[PMbKHwy%Ӳ,ء4Um(TԪ#`G9{1T bԉifJ&gD*E{KݚU0˕VUp-U kVk,q <7@p'Π'/u^fdWH:YT@/ 'LlNԧ)=H| + ;T:-ck "0!{amWn RbpJڝ*+ QqUܙު^@b'@7IŦ߼Kcu $ 9tF k14GJ52o )]Əֲnɡ҇E$+k.Edf'ʞ$7Lc Q2%lT蕵2[P?SAT{n7SelgYZ gg" -Y# HOL-SET_ProtocolHOL-SET_Protocol.Merchant_RegistrationPIDE/markup7zXZִF! 16]ˠ)jk2p O6LP=͵gl5f&Dl0zBVhH`YC"v%dz+t}4W*4ȉ!$ ] M]. rvWP^fW/8+i#iБC~>g뒘G^ žy8 )v31,;<&.b aXTv^fAFQ3km48>l+L9^FL圐4 VU*Vvpp@OeK%~gdu.-;@+iE:8uz%"O['fg7d*lz:wsH;+fb5Boثq#%fv3wF3{(as6KFf 892a]!;,jK.W0]rG&^ %p3i݋yotKe?\8ً|$zc7] 뛽$b~31oݽr\Plr7sG jmT]OFQZn-wtKW=Ohj^RF Spٺ[c]ɫF ̩Fch>dGIޞI¿S Nߘhm_":54:~ˀ ɨ7XAŵDơSLw[cCvTՌX]>I2ϵC jE(ٴ^1MAX/XNu6u/~iWړUߵG) ""2]PaV3=Q,%/1D-Jf=|5 >09HxF@&\0ă)?҃ 2`QLB}:,^ ):ȓd<2ﻄmR. 6fʾ$5MdqE1~Vfpn/@m &(y ٫z ֏/]H!qLj㔱G&/߶/[pN& q2aEb|V2 dZ[T:zhF1FCgA֊U Lʝ(7<ČC V2D[Ƀϡ%R]Ww;|bJIq(\dVtqW\3PR*¤xDjsĠl) "ShȖI\y џ=|*3o}]&@V/۩S - ŰVT1޷z^؜H>C-Ke"9C]⻨+ek UZ3A;BzxPCGmU1U* yYBmE\Sr'cu95z˕ 6tj9ߦ$뫄#+lmcD83u$ױK蘍KPRPbq#"E0)p)xX$JnoYJ%偵$i1{ c_AQOuRgaoeb}h*`с\iJ(qcc C=x"8bc͸g< E^%-?!THOL-SET_ProtocolHOL-Library.Nat_BijectionPIDE/files~~/src/HOL/Library/Nat_Bijection.thyC$-?-HOL-SET_ProtocolHOL-Library.Nat_BijectionPIDE/document_id232s#-Y' \HOL-SET_ProtocolHOL-SET_Protocol.Merchant_RegistrationPIDE/messages7zXZִF! C& ]·Iq n[:|&[z["ۡS.Z1N0awZWgCV}ߌZc%$aLuXڎZ9[zVa9EBƏ+&@`438_0 o% zrX~1%SmJ 5F^޹F*;\.LEeD_qg󙭏 /K,*e =44yd~)+&TWy泆iVXf; Wa@k0*B 43w ~-~42G&R2sct˦/W*x[dl%|*&ȎO'.C^O"T1-P{3'aʷ@>pMj.SJQQ:yU7nv4o킒s86Zd &gWA?Aog+zZu*c``tma/v`C8pO>bCw i;{Icr&6[BN1dj e>@0+X?f ɣK\FΚ F0#Ýua#aWr{Sqp5nA[q2S PKeiu!Io^P}y#IxiYrYYCL&}ޕ9Y'M.%A) `:Ez~?)_F #ϼ7j >)Q"pm۳fz}T@}fZPWfm =$+~dXǯo4E g6mV3d m.j,A"tw`P(DR ӈc-uUIj?T^:{ugy~{nZ)pj~]ώծ{ B􊶔i!laNOIN7 c0߀)ړvmkoW5Z]wkfB+xd=#8Dr^Ae *صjL+c`QHK6}p!] o ؃}`V:G3WZ0N#wvͮ썝 #>lcm4 rDjJxG Au;qZK + Q'hVb7u5PQXX^7{R|;PٚXV1IlN]{ Xwi€;hdfC~>x)W;8<݇{Uv߻ c4zf*'9ŁVʊ.b!ܟj=nHa03NAja48m&|zDB*{s5CR+< rTr}wd^Ɲ#wbzE7B=:?-^42 ":Otak~P,L5&u;&\v>c.ɟ%EU{K$ov MdހiA]?qtN=R5i9T˷)p3" m&Kʪci _UU<8LXι{] †AIpδ,rW;b\!W b6)&\~wOOP,ܰ]`OEC:X=ȑ̈)Uީ-E"*gL FV«b!cޙ~G9$j9\5f:2tu!S~oY;IvE\(u[IPt^s"$L7ZtPg/!3?-;ſ`H8Rq^è4$i$H#) RV7h\IZ{(%Vq/Tkۂǟ"3PFHy(̷?EUaGxm\CX:0} ħQBkpxNlc>7W0 nQ}LiqMd< 8MTuݰ{(a tVkSUfvB:N=+ש1\_=*r侧.9[@v6P[\5~%δZr|t[5 ArC{;bRM sHbV&j;c Zl]C͖cD"[&hr|^5 j|p06Er %Y ܕYY[uWrx[1^ ,>+58k =j};"=z+|MW@.xy=EŽWFzz[2Ko8W&hPC@fR6^^y8f2-*2=Et=Ź #ـ}~bT!Z=I,P*IL׈ՊaOYhTi(١ObD@A!O@b`:TOR,Z+x-Т!Gu⍔f+Ctq=+ gPL}Eyg)dWq4>\vQ+:|ђjI]֙Xφ{۫k#s %|+5nGOHlN<.S}= $r&MDKouZX1_5LG3ƽ0+05Eˈ,=a͎7Wb.3&߀Azv(U=-ȦacB9WMeNL z9cZoHBJ G{nLXZ*#E/pVx$a]༞9]k^|dik=-4F'jC¾Jj{ύ?rq-nJ G{(u]3]z@-&ȱ1}L?{m%G%[[5? 1AK&klE:œEl ݼ'x6*+eu8h4A$H2њz ȐtCP{j`287#U+x18QyΚ YL]]K اs=0CecXEՌ-ocky~~Pv[7u@9Y*ya$Jh;t BnL*c6wԘ;u^PM!&-"l -DnM'|q*ɊFqXw߂2a^G*XrqzgBd.zD:B݌w_ij=4iPÑtSA/AmV3 <<Z/ zD]NxijHE>ݾ!CĚD'?h!_ҳ֤8 =3b_!k O6WS$8.-]-B$URmiT:]TgAe0PZpѺ 4/+΁CI&z>;RO&@>ݘSr?mS%B@ H :`-@NkA-4?\uEf#f_(۶m<2IxzAt);1=0/8ȜS>֫}x IZ}ǚN_#( ;YHg̶c(2WD:A,N0Lp6Qĝ$W#l=0Hj% S(kQxveZ4wyݰ@W٩XGv{ 763tȮ^+bupaWntOR>ғ;] [/kȺ>PЭ;KҎOA)]Lо0Kn)6{K?NS|A:yu\9b%E L E被;!m,R3oL9A ɱ59hQ؛E}$sO ÏkAv}AӚX5R5si OLrzX P->R/cC=},Êh-fm93-iSL t^>j2uo­эn/[Clv[s|TF/ǟ& ObxV*9Cs t QhfW0dveEdc6-- @ ࠅ?& ⧝ɅnOk1#v w7ItHР;"iKj#iF'1bUlf? Ce诒3g7yL٫*M49W\Fk3-O2{WM!u6̍:p DVXiM%޽:[M->J-UBc;u1qf42AdԢ ;5ݒ_npˡx9pZѥ 7xd#B )Sl R(j='X2`ǞQX4׮(櫬 SL #QDHΧk?dI쏢׵cХx\wZV?j1^ţΑ MϦs55 Qj Ct'cn @tQj ͏p)&6 ǏE4fA@t}C;7/ Bo1㒵c`P*$pxaΓ;b^ҺnZ/M bw%vMe6[FC"wCS>aC]*jc<^EQ5YE5FI(e; P_uJ.E'tçR/*16JhT]hznJhF:\:PrE\[/)?`>姛xa ,' Z:2hDb13S%%Wč%U?^b-<Ęd 4|:mQDdr;NJV. ngo"_㍱y+%*ٸh@dwRWg=[K%b/@ba(FͲ /jTL?o^ܝwi/"+FR~YΓ 6KƭrUz\oԴ QnąoM "\i G▰29\ rk!ffITOhRgCrV48&piJ_`mRw 6I;0ӏŚЂw]D?s>䁮WxKP \o烃VDxfMЇnɧ#ǣ`pz)wgEPFbeWKTaU(bZRTgB`)œۛUvM(S_9ƦRdL9b4}zĊ6T l~#(+ƛ+\X46ށ@8E{%Tu9!D]Ic!Іb!$#.ǟ Hڱ/0EE$x}l$K9@U8>hx܁L4/-ѸTAR釚CLO :RwO2H#RA\޻]F(?DL]y J&-*V7ۤbeĠ邇q8}s?#q7E"ۊs[/c5[n=$Qpmp,tB Uiox"Yyz0|U?rܽt&$/hЋcEQV9.am.ϫ>3-0Dr?A˞77oꄥUdQ,fi>=pTO(5w7j:aKs щ:v䁍IiTwd;ċÎRL,~(X(D^MpS4 3~3U _E9D//ZVLb/N@ 􈘅߽V{9dܒJE+'=$BfW꤁"CCj}F] Zݓ" V4ըGK⼰'jΝMX*(2k#hS>."}Ko۟?w4Rڋ*0) ~K@ӸPlG_\ͻס=A}(8~K\9^?2+%t^ -Tp@iC+ eQcN!+wy쟀_'wd.U :P^%Y/m}/T c\gtwq̭ U&I#pL WYi 7IUԼ23Dwdv-~.O ]qfo|pЦ+ *B_ H@ ,}4Ҍ^pW0Сɰ hjtJ3\d=^njpYE)v>;\؃]j>P+jMh\|cDEE61Dr; ;\įkl cq!6y$^.߸PAGA8oC3D!}&TN>L!xom*]`3#ZaJ|"eAxu:{# JCS~ Wq$o2˞Q ?-&z 6G=v,8%SgۅIh5EJnk9HRP/"ssEBi.Qu`8LtE0WkD<M^jpc͐Ndp',srU C U eaWC|-`HX|`-7\a>AlC^I6L2GB' Js82ΜH|}~!@:֊5P PK֣K]Y/PhI-v 7@7]OV Gɒ`:"S^ϭq_钆FDz#âO C'Y C9Cp͗%ve\!WDoVZ%{iW* =2mw[c &b$/t#kYS)+ˈ|nF(FяKP3:*ǴjPY[.K_IWȔg;Dɔ;W1 %#Gs̐6)}oUٜU3P|S?јVN/;(F = / 2,&ZR0$J0@U]~ BDy!y^єUnLf*p?854+ db!Ӭ i fSl%Oa9X Pv 4+2Iذ%UWm!a ϦAK*,'|a a|k| Uwǧ$D\o:1HUӫt7jT}vޭyTCH3ړdȻ4 9 ҹ!RNضO0^uk`%-[ njϙsN|NLZʝy1>D$jߠxyE#,BeBbH[Zf Ftˮ[6ǝ#nWʁlGVP?"ۭ34X@`EjST~X{8j{L0*hľ:&K6t鬾qO*ƙ"sl%B-A.t1+). vzt7cX ʦ\ƺTtZv("X-'̧[hJr+⠖ұ(pk12D !~/DVhVVUjZGaD'ȓ53D9;SQr.~ z9#pif3sjIUs0N7.|% :<4% ]VN+-L++FPb4Ձb E CF!gdiVד'}N)[ M\9w <15 Ot|tS k W_/%E3-p,v B3lIH*vS﹫m=9;$,M*lh5OQA9,{| E?o HDYE&FBu4KБ7 Xq0ǏI F䃖`16Fa<&u"dlhi b|1M<0ׂ~, .^ww8ׄPvG GƹzDAi^ǽQWB&{߫ $u{HEdֱ4OIM^_Ǭq^Y̖+&gp>/ %4@z{0!Dr՘\ O8}jŹUnÃ9Q ӟUءtu⽎ =,,l_J /ZGLN2^Β l"׃E8z}ȍn+fCGk?`;s[6Sђi.|ΜdEJZ"V?!Z濭FdK3["du$3L{ͦۇ(Nj|-G/n$Ts$9Zm|} ]1rc8CR(g 0b hA?٦\uYT5V0wS[W'[\8 D >²bSys8{3;yd>1Թq ؗa:˓t􊶧P:J'txbA d@U^WN+9zh=BP nj"*id{KǯN LKjЫ\ZA19Ce/NtI@|'8eԂ LGv2E@{ ߌ@xMtWפZ8Ovq'f CTf'֞;w"㮨^Vi~`[hLX黸1"нG *E /IpȒWɘJZDu a^"!\؛ [|`>bD !3OQϑ2uHG>"._ N.;pPb8;EMlu/ TԱt:m}Y_=5U']Z7=G51ri7K &4w6zF+y%gw}IfS̘j1#2 I2D2PGQڭ0 s"6oAmߺ (zS{p~"( RBٿ=6&!z.yʬKOA[I8Rdmjn/~餁QKUKlShBAo>Ne#bچn+Nb:Q ^C.NA6NTCa82Sa$OO *"村VnO-t7cۡʏD(')#-s2xÑaʵk=<*xx\Z0 ]7gF[t,t!33:G|'eFfg YALɧiHARq:+9|0S,Z#oKG)#9}ݪxĿYo_ځL4Ə=kSG, jO<4":J =zm9%o۸u?zΙYWwr}Fy[3{_P 4E${$q'\ fԥGd|r$ĠPk ,xL}D3o:SO}U\fQJǠvNxǃǫeܨ9X^tgBbҠߝkkFƻQ+Dwh51Jo70_Uh՚ |,?PklOW4pCm^ KoVMnH:QI@YeljDyGAm} hx,=-i]dHQ>Bk\,ऺ"FK5#g]iʵs vfD/{'M+~x#w5VgYZ xxu& -?# |HOL-SET_ProtocolHOL-Library.Nat_BijectionPIDE/markup7zXZִF! 7;]ˠ)jk2p O6LP=͵gl5f&Ddpti"J<;GF{ ܗ%mۢ:cFZ3s`b*h*M9:K0At aKL)Q-CkHkb_{ݛ&N>k2!_6l 0(w=MKяɰ殨Dz#pfML*N?~8< ?, c(y 3<OZ'TBo%c:V2@ ñ 6Zʥs|ps<{0ҁխƲ' i v'@i:$gZg'.E}%O%v] }-vl71ZDJ~.ha?zw;h0^,>wl91f vhA#sZ{ff=763(QMT0v, xP# fաtk!= Q-|Ć:plp+ JRC;1MY!߂ %QS |,1tO'Ev'YjJR>tS%TV)38j<=B!`g唌r :cQ0*W6=i4 ֞m=A=MpST]k~:MXNIpb7Ce7&{ E m4H?u\%)0`-=:O65waJXtVwopg){23m%eM&̊( Nb p|]–aw9:VԣhP>z#6,O(Az&m|17ߣ!Jwdgu{ڙ`S3ib*=ij[Aq}` -l˶cQ:YF6+7]zJOYJA.۱kŠڊi?<rʈ5syj- 0JWkg^Ha#f" +ۮ^ף6x4%⬩cSʍG1e>p8ȘDqjL9 !\_lB67! Nt'FTVēQ`w /Mꭜ~%RS#-;&ՋìȺ+a '&ب&l Doy>n o,fP^ ,-jCd6=oDR%PrAo5ɦ7}%aEyן?'x3sqQd;m=]) / <&,'FGg+:Cb9o0FityD`ػCV60Wsi@($^rHyiU[:+*2Ok9 mgS9S9SL]/ho+m\+BFo;X3U!JbBGay-=fyR6E\qTr::T,F0,XW^ YSTk\quV319(ZuW4s2Xt .SVSh'c p;f(ͅrWW4DRvLO#!d%Wc% xSuN \ BȓYH@mi!CZ|RвrLvPZkwe.og`Qd|&O7MO>R8nB: ;u.1[EB /sk'֕D2b^jCe]qͱ5O(@Odjh )/f,D)8u.ȋejmDv9\<͡'S +![d0Hf{@uCԩ1( ?C+f)J` oLsOVQ!0w s] PⱿ椯-ƛh<c(| NF+G_AÞ4s[7VA1ǻy}Q֬"g62Q7yRjhLa:6aևFBr]<#C>fv6OWe|PE;PȮQ] O7N#-h9rSox@0"dp Oف_"Ci3}+o9iedn/y^L#KV/Jc̚{A/ 3 >JlD:jsl)Ӹ,9YfV]T;hIAa`sClٶz{KG*kY @Ǘ0NA  B'-?' HOL-SET_ProtocolHOL-Library.Nat_BijectionPIDE/messages7zXZִF! ]·Iq n[:|&[zZYm&?sRtS)=|.E+&$bxz\TRÝc <"zKA1Wa|]$ߓO҇ 9J;mv`iFj454=X\iM4ȶcamLlx64:`tF.cVFY,k-PlqHd٠ZeJeփLtYI_2: ƩD}Uˆ"&ћ%Х35;\`Ң}̫\9 !JQVJUG۔`ݏm# XmyQ=POUj~=``((af™ apZD'np *;V+5cظ#-r= ;PF7w>w,I/,`wz|c.Gs &QX 4L9Ը08 yRVpli#c?^9>@֥MɔS_UX/m+IAL .Ƚ %#R&\ ;/NjQ[4b:=RD5sUP ~izS lhY^;ߛ%"^_:㷈w-H7?ѢsJMx^]<k ӈ#날J]4!Ho,.r 3ba,tj  1"`IG=2g߾Dl؏0?UYNpvN0x=V)ohI-EykWӈvIn7Z]V`k+&ƱgYZq QeB Wl#T>VcЅ_蛀9)qT ~MHC: 153쏆fy Fw!$*q^/_<;I@)>Ee1킸 F^ TRS^PL5# P_ "2"c6NS%\ix5rB*/@Av)ha?8>^mY:ʬ?k WgYZ7zXZִF! ?]ŗXi%:Z1w wgm>Ku\#Oºs@VA|"܄WsQ0 LSd"~=TjQ:ZOBM&W.EI%Lmcq +xDf~KH}Q3d7dεVNLSXMR<'"jNquり;`WO>{_rLc`]?CB>ܐ@փ+ I.'{rXD#AEPH'?ʶ6{6c[ z]ڙp6~e݅EdJ,3hW_SÅ۽!g.[fOkD|Я=7MPaM-ŬNUTcZfdnf'ބMiOgwt R^@~e ̧6Wv a{blN o>xX! ^K~y whQم!å*6GH@ ]mTi'[ ˫t?mrw|;o5iNKYBmtra*M_V̩r؛6%b*(13G"lsYt& *xqS\1_{`K92L~f-U6ЛҦre1X&FZb*ky-tҗ}7*C%CrGZɌ} rSIGe #*eRD~> yp ήuJ:)jt!Z`FGEusu. .#٧&mЋBurG x.?Fײui<l ݶxBj,Ar,nʼn DNXI&6碳ݍ9 -4d$Fjq7DP68%#;>虖]:T220p>1F7;^83ڭJ4^R֥mj~ƀ yeZ 2ebP]'( _`/PKXWn ȝ _QR^3JӵH[OM>gh"t7 E/0JIxuUb,X[NEϱB|֊y,DN?؆o_;ݹwk:^:tDv^qTw>iQX$~{D <\B/suWqX%^H+E:b5:j1D m9g͗Yz"`P>)$N'T*&SA籨aSH54͞6@Jdx~I(4+͹: |]JGsѴ\g%UH BF ҅4xT)?\Sh 'Td,v_k.$Ԍ09_^?dgkQCd%8ሔ庭@Lcl.|VI'j=#k%D}L(5@Uaq3'!A{M@kU? aozk"-! Q94är h=bN#dysvK7+G#+r@Û)qAXƪ(xAnYeVh'0coQ- <o8 ebh{ͷ Clo٤kˆ7U݂V\Y"άzܞX6:d_j胿ໝ%o BQ6R6;L}bsoz=VizV~o=wCYL ±`*xp@"]Hl(e?]kj|WGI1U,锁Q"m~n_5@Tj+R- @~d:ʞXWq^m(;dheSfn+ֆWS+CEDjUfN6Ú)Rw\֮.cLnavӲn? l8 4ٯtt[L8#''M:+$NNOf;|F!(Նg KUwex4s0/+FMMiT-Ob4lgYZfc339f249d1bda097eecd858322c6fc0fd2f327882daf564fa5e167bfb536de6c40c339796418a12 64000a82231e88d667f7d806b9853330f2337818