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 kxt,L ]/ Codegen:threads=4elapsed=120.648cpu=208.996gc=6.3807zXZִF! _h ]ŗXiɟH)0!h] ~ގv O,#Oے)|%s2Ɂ`*j- X}tfmd{z\|s07 s'NJ[Պ.L4 T֕zx́C]c!0KJN@3cND9`/h j愽H-9?mGZO\!pG~f2w;qФ~>/O! |hv~rv!z\' -z#˶WwT t;g/-!ߤoh[%  eBVS0h`Uwӫ?ya-R ‰O__"B@)79N7ɵ]Z,ROȒN@ƾ@ Lӂ䮷pNjsz E(T`X(itw%=9E]xNB B^Iziz?ni$ѡ툔s30\ 襅њѰESwnnA"4ٲ28*yflwHkUr_l*MSuY`9 :&ʤ/,J O#4w sӔ !ycjd$q (jبǏMƜv`[^Y8qBa 6L8>_s[~3Hmү`J󀸿VGGDYq! RtnqO vKO%9u+fT"엵k/IsT&륽GRoNUBhbKUQ@s膼T'c {`lV>mcGhs @qrheCWbWCT/MpMu^Er`.5hҮHe{#;:s PPw;ŘSň*v`F瓿:v{׾(N0#o=~ 4ֵKjVsG{PI Jh|y9:tP\&G~Z&FDGHf'5z|+HqqaDxB$+r[^t'SnIT$ȻP#RN*u!8E(ׯOEq'0Cj? khSOo'Pa S9e]@("\vd .=~=F=H2փ Q    Codegenx 5% CodegenCodegen.Computationsdocument.tex7zXZִF! N"]A-MՋhvG"uIBm5XJ]9Kv%pGﭵ 213Hj$r(_6GdmqwKm͂' ZzbufįS'@>$D5Ѣ; N[d$1n`t2yF>0׳?[d1ZH{Ɣr9 |W)NT5:Է|V-+xŭ֑t&`/E7`A^O#yA/"jsIZ yDMlQŠ_У7fSmFA3Ě'[I 8 R:P={RUm'ܸOW=REe]yy&0UkJ*`)?F\Lߊw)+-;}DS?[*[ѧ6c3 ,|q6$$^<LTkނ[rl0&Y7 'l܄bki~g|̌<(j 5; CodegenCodegen.Introductioncode/example/Example.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmGچܓDgkm1VQ zimcc2 V3K?u=-{GJTY+Qa0g6dz9X Rr7DHP<-ӓuI%ݫ_ZytqQU:܀"$+r[- C8 mIL>]_~=NFk SQ{-U×UklY!SSsMM2O44M+s+T+(&Z[@zUFgIՋ8tgzk}_҇4j* xU [Ȍӱёa: ؠ*嶿~ajc?!&'NW_/"bo9E7qU?u]M}{OLcqnqI˘W"dT;wܘzDxl);| glk:F)JlU0~>0l+W(`U.OOQ~ O&/uJOi4/+r~kij"(>ѓ' VfY*9W^@b6{K(qbg~5orEqoQ¹(7ɄF[9x Μ?ѫjPkס9Sf ˷{g̎L3P~R $IOhҷk };\W|m\EP !?la \ģ]IT֜ǐ !ʉzטz?v4Є%3n~vnϺ;@{u9pxi "GK_u*(,dɊHCa<] mϛ@MSye5m`wFEt)/ $+lor61RSfN RCL&C% n퍢?&gX$?1;ִؿ8#"ƎnfÜ;+.aÓp#*K kg 祶a)ӕ(L8Oj}72Zy@ϱEQ[_ ٖڈ@e*ʟ]]N)ڰ"4IcXr2h"@TąEFFOfqLF3!ٵoR K_>t˿1>';eK (oWKWLt7N%ѲI ^tmepٲBϩH,U,{fXwi%1ԠbɮGLJ4AcֱT 7M;4fBNk@| _L6}W <6XD*{z₁V axWŦA4[U Vy=-R7눑FЌNҒ5*s8 Qќz;@f@U"k'[I`"F%$b8ƛz&ҭ}՛KvB'‡6? vDf@-;2eݮg=p7d1ۧqưqhhfGWX?!p`L_vJNz*z)AջZFm,L7J V-Hlжu%ͅL+3rJ7l*-Xy: d{< Z JGfZ$,(9  V\R/5cK9*,x^ԫ$ <[ۑH h{;v:3QZ{扠WL-fQWLi!A"(uKC^p5pܚ҆= VvbjNkvK `      D,r U-5%CodegenCodegen.Introductiondocument.tex +1%CodegenCodegen.Adaptationdocument.tex (+%CodegenCodegen.Furtherdocument.tex 4C%CodegenHOL-Library.Code_Target_Intdocument.tex +1%CodegenCodegen.Evaluationdocument.tex+1%CodegenCodegen.Refinementdocument.tex,3%CodegenCodegen.Foundationsdocument.tex4C%CodegenCodegen.Inductive_Predicatedocument.tex-5%CodegenCodegen.Computationsdocument.tex85;CodegenCodegen.Introductioncode/example/Example.hs05+CodegenCodegen.Introductioncode/export1.ML#+ CodegenCodegen.Furthercode/rat}hbmyCV1(3ZV?M.`TXGHR\fk7wlMwN8GwW@8j6`O3JAf 7+zBUAk A۶BYș!-sGW&tgGhoL0ڌ ANIJvaf47ӼgaRqrkDh#rI0&W(FԢSH E4tI2+u7v+ɗO&zIDQS_2Ao[ԹjnDk)1bh -VX?v2^m"<_W%Oͬ9'[8ddnucA#fylrܤy3dyFqhUSM#¹+0}Ea`ŝE6`,Yt~yl˨ՁU;uвfKbưd2L6K\#sl)3v`My,yk>Lֺr}\S9ٺE2ҼEnء rVuѹK qʹb# cQI.G ovaJ%hlK&.O~%B3\G*.$a[7VPf5/U)E$#dITeI0LB@q{~fh;ꄱ)~x#-%&ZҖ0UEkI  kQ\z~+ !DXKA;#ogE12@3HiD0R8\3ɎBb3khSLߐ6< 73Hcr4LI]}&ڪfEp]%6I΍e3qDwYY$4 @ NS0PUԔm.q۳s;E+'녤vMo|0j2Oj&8lt^iq$k?TcIi EF/GeQ_^흵P'EH$ٰ)o/J|Dsljnq`wDB[0<0l!b4Hbόۗ؏d2A {Mt10t,uV5;+AI%;D'33?.nin + -䑯?Ϯp4oFaǓK+Zm4e_cZߐ]5rKIjhq[L pv4PI)\v0xli&cJɛiu3v$APl) Մ'0^Ѡ~#[Əkzq Nr3$g}5Eʰ@y<'DHWq< U) Z'9/1{eEEFn/4; k[gget 3\1ss1h ^Q㯲;0GDqH>Ϝ] rT= /Ĝk|`6 zuo8mnL0B[-x: ՘EءԜu(@Z 7rm;R"3Wq[ > {S Ek,/嫞6@"F.cix'X#햖9 /p=a+q<ɿxkh/&!Gh4f>Mׯ{,vE/OU=R <̧?Au@d+Q~Ҏ/.#wJƥa>#)ÊJOp7) ^1)(aljHCG;bcXT9c71d` h s{SCAQAae&CϮo-2/i=Z|>BBahZdDIHܮ|F 5p׆Xg^!*WLz]k8+A# |FmO#Xi=!IƌK!V#SJJ%v\442JD+aOa1nἔxE<^swm*0[g f3 ʼn1cQ'dZEysUȍӅnVGS5䥘ОI{F%f0+xCCʞɄ'h$xY n؀m4yM%o7DLܧ# |EKw_y=xn |RO'gX0h*ʐ6,-$9gfP(ux ͈.|wf` 1+lK2fc͎y[zw;DE`}f,_v#" wB0&L| 4P,Cxd$ŀPƛ-Dt=5+8(.} 7Yl"Lk=$)vX*k5ٺW} hx*ο6WA;a0 ) M< 2kZ򤰁Σ)G~M<"AQM*D؞bBV7"0_psv;i> -,^&c,GaH2;߈.rb.u PiH* l'W*߻b7>}_\=N:r-M?$cnSY>/?(<,8s~%ًM_ҌjlQiнxE' E"PlO69jq/sT Eĥe}t2횳i]]ܨ.Q|a13 0U^c7'if!f6JJ:6m)R8&n{2P{݃ ;яڠffpu4V~EbN34"rC`ܡ?Y~ >(* j |6-IGZl3+SQX>6E"f].>Euَfe wمTd :W[ Mh֪_UXYV҄%2v䳑ϜޗӪd,?|Ssx3WQ<vǸ m1wWٿ,(JyFfUV\ellH)nREI:\i^rf]Nf]+h7 >Qh-uZ!8Pp_w,4tn~nLg{حL-+ Dcj~y }]/Wm)sLW"IBಂ 6-Ka@vAZ[ޘv:XrN@z F:Džr o\\H4s$5(Wg{4*TWZ?.gIq[fH,cK$s~٦(T8@|,ҫk/i$,;[`DژmLaqrxRQ: &ˢ%%=#& 偷; #I#`{Y'p@c g:7b+]{BQx 7Y6Ja?B(PFZ3'q)IKkrUx oU`~ ڞ03!݆!ƗB<@2:2!/48N "gq3V[L$v\N":zJn!y7;29ub-KBFm #tj&s%X߃^S5j(@{k F\Gg]r1wL+I;C)4OT hӭ&_,&z PiζΟpoa>!5EfiC_OOBmׂ'[nǖe4_&joY|?6'*XJWDBz,6弑Q!Ӗ*ykNhc u94MpPIrI`XVS?ܠxi&vGz:LI%cn `6v^4f ]Id|mkH&@;9_]+(ytz3;6z1FY`˃X=Gܛ@= dxTuc]RŮhTa\yk nٔϽ}5(Weriyð]%o>wJd7 |c6o #KW4al?|ר#e%ZL;A,簸#;Hn{i0kWV0NHb}2j~a((mW458)l0AmA&ѐVåC#Hk9T()9mR9ߓՄ/Rgc)B:p|/u :GXLIAm:|.Mw!q9 a8L`."M j27eӇCD,4)K] n> o#VJBs n6Oʦ(„zvß f>'-frL\Wt6cq opFPp6c{'jf ߞVbN&C݈-͠.%>N4j@#8P3'vzۺ·s{ZI4K ⏵9_* P.2o=,וqHE1?孪RKw`CƎ"lHn A^, v*j$ݜe~__U cM]r c H0/\]LtI6@bx9$сoH "i #L )+:Io.f Ɣ-&hwW'CM&e+$^^OtݲXT_x5HpԫS%).?q1IHΦ1OX-Pb$x`9EaͧI}6F4XoN\fOQ!ey:ŀk9.vSǖKOo-+e2>7`Q˺}\|%4^dkM[8քꅚ t-~^zz U(D ܽѧ‰8./;;|y,i2ޏ{﷮OMÄ%b?DPk.46&IڈIT52i9>sW@QA]}19S^Kޮ1~>B Zn QI&bu}fFE}yO^Eh{_M;ڴ*c](g/7¼cC)m+l@d"ϧ|<wg`>;-&%#xnQmu#8uA.T?ШMcAizУ\ <'"O\mDYb㧢䒛uHߏL^[Qcb30#(G[a:cG?j1oڀrHsK]TE›Iܰo<}kQ~e (wA|gź""Bڨ;uݒ0N]ѭCA*AX2^ ؈o3hb+Mڧ.L)B=L)ll__5l@T4ZIFg$+Ȉ}3/Zyk+o'hjm7Jg4/@4 (y͈P X4j%_l8WWFC«m`b,nth]F*"9 -0Zbb4ȰkA 윤!눲fܲ)?6.: MHJw=`#@çg^#K043aߖ i\vSt =CaC1"K,9^[ih۬E4PnB1`JefDe Jl3&]ś:4TeҖZ(Hcj(![A!/̫u03޶; W KST6 @8? S~fDx_7 Fkیdvk!'KY_d\avAE <#3͐~~JH( g-!I qmkTe,2 n'SIXiSyh˓碊5_ UCzBþۯJ`AlG*p ҍYI@A\N s.~(9f:ӓEHrU[]eʹk#x,8IL_zZ3у_m`l\t: GaJ }\w8ا9 \'`)KsWNN/?aΙ?E/Xc #1b0)њJOɈh 0yMC>T<E,1Xrv ѝMŐSz3d:&iI3'\Pi$dɪ|p.{Ii7Z #'_Qל$%@MDZԯ֕35$蠶x9Y;,C@ʁ+m6~UL@-nKd){%b?!uw3/}2e$ ;/ N*b3D s;%!; 찳x熨z؟8 aJɳSz^h6kX&loRPYca.}La"A:VZWcS0=(`/G][W[zܪ(YːDjYd}\+2Mwv:H[?C2wrL+޻Z^~وxQ.a_ O _ 7C0OAGXofV@{Ȩ@+3kn+v+ϸt>jmZ&uwJ+dqCLy)8EH9fO W"՗?׋UG#1 Dϖ}6gYZ!ALHo]hf"oSZB1"jԎ\w=AxYJ3ߋFJ0tx_]t:,$7ntůO< ϐ ~8rh6G伫qd<˽u<)~su30D+Ӭ6dU?G鸺?Ý?ꦙVr% K8`lͷC !y__T{gR޺0g 2-9cYX$YAd 潲8'jkb+sR! !Ao"._) ŻtGKηcI!?vYĀ2tgR<{ӑǫ) GXl]vk!`)\@SW",e?n6kSQ3qQЫ껢}68l&vRɊ%tTh &1<:W&7 D]ށ GNƕ-؉VD50RR\ Co@ur\:;q@cKnMzPl42Fa*/VN6 jW=x 9Y|cՍf_<9[tDz-%#w!95o )˝W-Ş]TLVNDIӃ&@]Gv0xiB*s;G-cIF?bO:5؊hh  f¢)IP?yTaW9@[ߧBƬɉw͵l_K$6[3峵7$Ks4z:},pC&B=znڞX)h uRҸw<5H-+i5}T" dznqjEkz]WTJx\?hۻ紨qź˫,:8RmXm4k~:{p[NPR=c-!^jWw5ιOTSpӟ}AG6^D t?? xJ lIRb.1JK[ۻ]tn9=JT_ |etJROr ?2>բiwp'gN%D"=0u$ S Qإ~\l{$E\ݰh˸ yI~ h z=(Nv|?TpY <{"Ugl#phS7K9͂t#NHNQ -aoa1.ϑfU9^a~ȍ]B)=9MNꏕf$z "[i͝#Rꅈj!%Uqf^SeCd%UwX)LCy d{A \1Z"(N]e@Ğ_TY`dwRˇ ۃb 1xjO Vф 9/ǾD`L` 8bJs S(L#gp,` 8h~@/#WoF4:PKvLU J F߲[E>{eTH.z-+&2խhIJ, hVu[O~3@Kk4tk'# ZSGױK !3ˇrdz26XJt6F:fn+-Q'nqu*Ͳ_f:WfɆۀ/%!>aD-/@Q+{ ė406^ˮ?bB,*wh6`[wʨ9 nvdrytu@Fhf,UVAzK+s$8 Х՚V޿g7WFx?LX˺ 6~3g 4*Jq<8 7TFtNTqpNTrP z'/ZI+*.k ݅=ݔ{ J|^Hkˀ\%/']ApP= =޾؍[M1uӭi@c#@ XdT3vLvh@c=F0eC'ݺӣtJ)49&xC `kH>T?ie<t?$8!UY(3Llˣ X0'JEu)(tCROF]z$|(N3sv9p0is`qjU{XNX&T ђ2yҳu5 Rܩlv0/;tl+W Qf΢ ;])N}2 *ed!ܿ wnML1(<꼔:`k=l 6ל7&vF#!ہhgOԤ_O8LN3;K8ۻKX,AVS&o nuFO7 cN/S/*`hlD@P):3nMvydꉣ ^.dzlW Uh<' ɔkԸyvb\xə(j|^bS{zÂy^Nk'v{O!EfmwcVӫx=]1s"t+N6;l|)‰Q鸘RF5,֮VFd6*':F^jaϳ`AaĽ7ɪ[͡LD@&AZv$VZ/ߢdHMi"l- tɤJE+6L u@˭Ans$qbΤxCGSe:%[Oo]L: VRa =ؓr뉙1wET|6rJ:fUd{K hЋ 8%-2{l=5wy'$w1cXFAJ+m/M5ͭ4i=ᯬw $D5Ѣ; N[d$1n`t2yF>0׳?[d1ZH{Ɣr9 |W)NT5:Է|V-+xŭ֑t&`/E7`A^O#yA/"jsIZ yDMlQŠ_У7fSmFA3Ě'[I 8 R:P={RUm'ܸOW=REe]yy&0UkJ*`)?F\Lߊw)+-;}DS?[*[ѧ6c3 ,|q6$$^<LTkނ[rl0&Y7 'l܄bki~g|̌<(j 5; CodegenCodegen.Introductioncode/example/Example.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmGچܓDgkm1VQ zimcc2 V3K?u=-{GJTY+Qa0g6dz9X Rr7DHP<-ӓuI%ݫ_ZytqQU:܀"$+r[- C8 mIL>]_~=NFk SQ{-U×UklY!SSsMM2O44M+s+T+(&Z[@zUFgIՋ8tgzk}_҇4j* xU [Ȍӱёa: ؠ*嶿~ajc?!&'NW_/"bo9E7qU?u]M}{OLcqnqI˘W"dT;wܘzDxl);| glk:F)JlU0~>0l+W(`U.OOQ~ O&/uJOi4/+r~kij"(>ѓ' VfY*9W^@b6{K(qbg~5orEqoQ¹(7ɄF[9x Μ?ѫjPkס9Sf ˷{g̎L3P~R $IOhҷk };\W|m\EP !?la \ģ]IT֜ǐ !ʉzטz?v4Є%3n~vnϺ;@{u9pxi "GK_u*(,dɊHCa<] mϛ@MSye5m`wFEt)/ $+lor61RSfN RCL&C% n퍢?&gX$?1;ִؿ8#"ƎnfÜ;+.aÓp#*K kg 祶a)ӕ(L8Oj}72Zy@ϱEQ[_ ٖڈ@e*ʟ]]N)ڰ"4IcXr2h"@TąEFFOfqLF3!ٵoR K_>t˿1>';eK (oWKWLt7N%ѲI ^tmepٲBϩH,U,{fXwi%1ԠbɮGLJ4AcֱT 7M;4fBNk@| _L6}W <6XD*{z₁V axWŦA4[U Vy=-R7눑FЌNҒ5*s8 Qќz;@f@U"k'[I`"F%$b8ƛz&ҭ}՛KvB'‡6? vDf@-;2eݮg=p7d1ۧqưqhhfGWX?!p`L_vJNz*z)AջZFm,L7J V-Hlжu%ͅL+3rJ7l*-Xy: d{< Z JGfZ$,(9  V\R/5cK9*,x^ԫ$ <[ۑH h{;v:3QZ{扠WL-fQWLi!A"(uKC^p5pܚ҆= VvbjNkvK `I5tgYZ J3% DCodegenCodegen.Foundationsdocument.tex7zXZִF! e]A-MՋhvG"uIBm5nP$K'Nᦘ[%FUB2<G2$u^s9L^(4"dYpF+_}ueIPp㴈&q>-Zm2bק$JȌeM99a6p; C[{Gߎ*uw6zG ?g̳${+DJPΊA us'g4F{^HZ|ؒo/:ct: m%Zx-_,k=YN+>l#?:IٲӨ #]B1K_.&KARU`iIa٦bj}+5~Z$Fsc̏yg`Aۺ=JӮmb @/ !z17n{܅m7tC׹nzh & nt;wf-2/N)d&' om tìА j,^Y2z;j$Rw_\B'oNMmfAdJu8dأv1/[__{aπ-VP/< TX1Bc^ш͙ElBI*D[ +H@x(Aڿ?u~B@+`䅚i} *>WLhO䴃KNjKՀȥv%c} Pb*U-?;Ll:ƥS3#Wqj*u8(f}sHF m)rփĝ1A=0i-֙BiG pWeik=Z<@7!#*;OTƑ)]x?@k1ܪJ vu|E';}=h)?a. j^$U9DYlߴMְ$ Fd8^vpc.{  j_ٶ Ly(x9SkC@1e6}ni 0}#q #IrI e(d7|G҃68Sk\7ZuY/@0d١`'zY4skEQKi;=&XTGvcӔ…HLcw/͡HT\adyLLmدS Jq^Fy[UzRz &` 7өBhW:@TĭСdca]*օfd*R@ƠنN?,vuA w HłfAvCtE(6U5hq|B҈Lл+EwWuˉ.~$RA=='/ 4aj,hFc *&CEp?7؜+>mutؐۜG$zxNM&cW4m..l(#4 z 9MQ3o@f~^2bέ J[g==mKs 0.3Z.zh-iI֗m,vh_ISޜPOߝR].ӏk`: r|DJ<^U0BxJ,bgJ}6ɞB:[,\' RU2tjϡZN$v28}AilhrfBPyC(6_Ĝe7+氢wA날̌G : c=8G:vl`dFI)Z1ϟꆛ<+%y@c{EJpYٚA23p}O'd\[y "Sd >2dO~5>'2BxNv-DO#PjA1A>֤anT_/ofi{7BPoj9&Ϻ8E`sj\ĚTzuD U/ qC')nG/H +:vftwr0`NhV)9'RҗNߙw}:5imd< d4?I]·lS[Qת {J6]WZ9À Eѿ }! 8@0~٧ E_# IXj!;P8g<)Vf q.zbX@P=9fG1ԭf=nB]uط67)`', eSUCٟe.S$:f|XЁ(ǻiP4au'9,*EW!tY)n<&M0VfBVEq/T2SPWDKS0GNn@[HM AVwNAu]`ULd7g*'Eg$IO+VmnB_md3x_+)_ i5{BF HJ" &U2?3;|>զ?\gFKCtlcݮ#2{;hmj|nY7/w-C W+8!}-ݚZu j4)r Eji(PR5^P|ik2p2'38=QNM * Y–{h$?O.aPh2D?9gXXݫ1_ }Hn( P+ƻ1X]y/ a7ѝNӯeG I` JL]]UMYu2hR^Z4҈p{CJ, l⑷tsqWP;kj)iUm:#I Kqe`JkUfqp` O%w-:YqV3- 쇺d66鞂ChNV7ߧT夛O4XwxZ|BL qfAbYdUkc|NUX??=ܝLM9a'̥?'İn[G|"^{JB'Z%"|/ hb -RE h8,3Dvz? N{BKiiUF-#MFwASٱL_{[+04*)lR,>k!/V[[byսޣz~f.c?$N2n |8ī 󹲓?yg8HU05cʸF4^,&}-(#B$?cԇsO{0!Oͅ:P;`kGh5TcϪ uQ0j*,]UCgZ# t ytDV^p%`X~/5MGt,rКBݲ w(y*/\홫bbhy{N%b :'! *8jIZ}U-M9}_Iݵ:5%h]6vPpV0ts*4T9<+7bP0Ү%dl_K|c̠rj:[S<[ = v"leyeb]8 SQJ175˵53^עCD'zdTdxYP3y$!-k̤>b.="6 5 ,JYo="=VOVeH_YXMk3Sl[9b 12. =3zpdoncݧkTIy^z_/72~վw}w^EAtzIEyO=`|1)Ug`THXwŁBx^(YxȃrV%uFI3ql!o㖷O0gI91@XDkht[mƉV6)n q&%,\}i}ySO?m<|D,P|U L&o) GVR8D8]+7utsB $EPG`E }k4l@u+tabQbҤ>p *RSЎarךC8=6yWs/.]k)sB-ɲ 'pl-v<k @ k+B,5\ǴT])nf<ta/R<4F3/$:JkP^J8*1_Y~qŨg6RLXtK̑H Ud <-h*aQCKɉ%(<Pd,> rKVὠГٗ 8‰yCK&R#P//hWB>Gal5qHTzS.2D n!g|'ij_[_?E~Hqya+}Qg^e J0'nN,0AowP#ZC>۝,f~#() G7'ndxl̺amLնNAӘDRY`6Z[a/Ֆ[KKC9^8Ink/$FT2=oGN .T#&g"m|,^GSDo2΍;Mn)&ki<#XB飅ۓ#IU}1[OʕJOYn\ X6%zq }^$aS< H@c="w u_+f87.zi Kov%i<.#,}n/t_ĒA:1]BGwWQ'2R.ͪ ]OmW{3Pn 68a]2;C.d(0b>3Ƕm"Amzjm4qEB,gKFS/W&jn5eGZ [\-r׆DŽT1+XD-|}GE&Sc vdH.Bo=TYHps#}X bpZ𿁜x*3/Exk]i(lPJ[R!$RY: ՙ;|`}3u/fƬz~VJFѶ[RrQ-$/\:Vhc7~7/g{eI}}J2 pO{F#ކl֌vFUJ2wQ9X be nF,eP^/:~/KGP[ :7CY6Oz-][b(JE @~I3}=nr1feu}tΦߡf|AdMzV~#B?m{2fn?ꄥ4(,I;S݌DhN?be_kA mT}r@a?`h. /5V&zqO[*XVݖSz̀gB#]pjŘHȫKO8/u' *"oV-Ġ/J\i"bR`VmG }Ƴff _BKu~nPY0{R;0V#2QY~C(@ӲOblYzm}F(_oYhk٩^J.$ 5[@XP7-Sێsy%V@y0QM@66qȺ-pP?;1'hte~0~U 5dz$Ug=ժ֮*tx 젝#j4Rspn!P/|fڕIN㶊"Lo?m-rRg'NOj`_[h R].t1rc%}O.,2}4Ջ{K X ripzn У#1Qn0 w0 5hiQT`b%fR``&tD'K$OORXZ $ \5qտQY8H+m <fgqqaXVpYQ]Ƒњ>ZNZ$&D߽IqcpA3Ǫ5:Wҥ-|] M HQ- Wo-?5Õ(zߩv"((ϔ'>RRnz݋aPs4އ5dޚwaŕ6Gق8SrL$}4ؗxjvB 5vKh}>sf4a3+\ u l&zg't\޻\`ۉPPr ML01ht_pfȒ~M ;&2@ipׁIYEzx0bwwI{.$Z~joQ:jk G0B>I|K?,F. 2jPci, bH绡m3>^[bj6H"(Z2+dxHMHQg%15z:3ؠBSer6./"e:%;є6yOy:-Y(QŚ@ j_ F{v;CIâ'3AYJo?Ze>f&rg+ T劸uiE(=#gzeۍڒ 'b80B(^~;X;gkK@Pv fxbTl+w(2$$bm*ĉQjHUw8a,y* D><#9pyQ; h4MЀ2 F!kUn8[+Mf\!;PPh>@ѕO)7N:W-¿U'GGA~Ѷ`eC $4jD Z7Mi\etyW}[&\[LC91pG~Ǭ l7,ET E%*A+ҭn\ aHa \C%@"K6nM1#wEV|o"g*.K{k\K7$!K?Zׁ}2h0 G\ u` cis_[wGOu}~]&?FbD5݇ӆEZ֓)ыKW4a%W G*8(`D9n~%Dym-d(!ä'gS K6rR NHd/ވw燐4Vz3q 6,}R`q vS4P(lƆ)!_OPCKq]GzUhv@bSMDEU8*Iay)+!x,ȝ]|斳T75OタPz~T23` d @T VM,w5ͺq`Y& .7Ϧ,צ!O\;5(R )d\\s(R-IPC쯸L@ih[畊-9r[1YSQz)f55O?ȏs4Qu;۰%{ SDSudB9b5pg'O!yfa\Z^ +r si>W%>^[zŐԶ``m89ϙsPYOW~#.Dri.g*ʄVr,k=yѣeb;RWi:E'|4XKLRޖ*F!^{#}jļ1V>tjȍa+ SNx*yqh;2-j|Vn8))y0oV-8:-2n`49~t'jPZ}Y2' hS@y&;:N;\?Jf )%.hѯXo&*r(EV(Ѥ (QTaеPn!ub.yu%?ve| `2\ D|' ~I_.'_B70C7OUv4C&~J-Ix?[ǐ><vÃ>.QBoQ)w%hT&W[6*PDM$^w}~ϼt?+hA|ǂQ /YCn+64Bo' 'ZUfsϢ|ZF|tU!AR<E.+%H&gYZ  %1% |CodegenCodegen.Refinementdocument.tex7zXZִF! z[]A-MՋhvG"uIBm5N\f# ߃N$XrBփx1-n (}pCvqhiaRƃXqϋSnqi#ٜtd|1qgwwd96 X_"r/3&кvXN;RHp2ІrsX([Tv iOؾϖ Yw ݇my있-?D.Ӓ,$gkUZv^=A~! Yw m{doFa(o<ygWf` < ek#78ζR2jKYme¡+f=;zmS:rS OeKd|#+ԋ?cLľ뱇b(l- n-m;•-VTtN51!ЈFv&w2bM&Io\[Wheș{O [rvRWVxWvWiWd`@RU utK ʷxkHrFv9j p-k[%/} "=mdP#2t#Z%2or~xe3k7V>g.=@'w0um})aaEQ癈'4-IUθzZ$C9@ -r7U4Y\k%[OH IXh]2pG2oқxeD.$Ko67;.M頢:p9Z̳cj#B hA$߫oԋoqfyY 䚅…,WrT \zQm3aUM%jooc27%4QL ,[s#B&2*; ~Mg`ry 3et9`j ȭrpn}r[1էQ#ɻD *ѩf/? [uP)JOԬO0'/,%W!ݴ;iWۜgyg_̰qae6LtVFys.H)sV =1% ,CodegenCodegen.Evaluationdocument.tex7zXZִF! 3 ]A-MՋhvG"uIBm5|E!1c>5I`4,1"&>T9@>hʵmQ)hvq'e°wYlu6w 챥|Ln[u/1 Q5t'3BY=I,un3h5+Fm<)^9ɎMV/Y*Au\qɃ>N'E3ׂ: TYO_ ;&lꐜi,8V%^˦{768Hl/ xe0Dy^R`Z/+@QZuVEM=Gz+ *,LQQX0bQnN=w'%܇B} oYE翥Bȹc~mPk\siyé^gKFP~ZJ.?GhP'x?/1JE5 մ?}-i)*ަ.*WEWw$ƣRk!6A3Bcl#&ggeiqn>6H*f,2_)S-߫r>eAqaA.}XptJ8ج2?lpҕAL ^ NڛFh25oWnyCs:aYj-PS4B\+Nz"c~[aR{ؼ[r/>@`ޒÌ,b TejYjp┺c^0+2ȆXU & TXsN:!86ktݍZ%ArkOy욙lyo|\L,ټ-Ï GitU6*)k00^ZXVkh% 7irwJhsR IYwZ2UHwٴ7?&b™{vSy1wn<0wv:EUu BvC_.eyVe^z=,Eh?[Eҿ]o\?ӆGyUbK(^WRLY . F7;k}:eqC9yUkj(kĢ}5JY=U&b Ff P<}t+`7=ZĝN"!B3[`xgQmh&Z}XbEIo4z3_r| u[|VyJ/Fn4#=o#~T?:(n7@d֛b:nȁԇ"K#$홙9QheyنPǿg>cLr,wN9#}VE96?jf.n‰Yazj 5;Z柸'm"Sn ~|T(7hJ"\| Z#DyERm(TDf; 9[AG.=WѦf»u =A^2JPQhO ec#cCbN(; 4uH0G-onaTR ^ Iy_WJV[?M6P̳\+0!θ)qg4W<+!!!H77KSƑ%5^ycWP#a,Ka%fɜn<xC>?5  Oh,McDD lPQRJ~"Jn](lγw aj?d]6U8P XDs2v]-+7Xy!cy!ӵ4$ThA͵y[N a ଝzx.c镚ŇZvA787,K;Os< Nf{)F^um;WJ?mf}x8uK@^^U),֐LV&mN1oj`<z*^;˽ƣE>ʿEDܶ70\9 @\57]ɼaKVg]@%fALY +DU|N^Cy3k[aqs' [y0[?NIZ;ο'!evCvK"ㄳT7$vN1A񏯶O ɖNтsPEjK-jjt DpefҔ\ |&kAGR#VuEtf P\+a|, b, [vL!+1{44 jDȐFahgO07%pqG!u,G(uUem5wG|p`A,,G^}m y_bzåe+},bZF!UZ|]B$+g&U&'YpgFې_p3D="8>ftaLYGՋFߕ!/T6"en>OcY炄/]#OE rA 1($cG l#n~^N…faש5yΟ$V#{:a~R ~C 5B5>_:ևRX&?#AYAK&X> X+9|ӂQ(lԱ{.42}1L= ~nE.qW31;Z.%85 PWU0 ?7Ǒ3ALM??d 2X8=vP(/`cs_npeT-K^ORxWg"TcfLPPMr`"2X6E<'L^EiYXWgh5۱gYZ F +% DCodegenCodegen.Furtherdocument.tex7zXZִF! M]A-MՋhvG"uIBm5q`3rhmL&DBioTs]VXr4<ڞPtyHXj|k}8 8# 햘#oTFE_3 z! S%\.κF*&rCR ; 73Yw En.ntZ{v %P#9c`sP t8 -0koeJ, 5tt=PȗMqM`ֿs'O&Y[OЈy.zDOG|I[3 ?Eʎ!. R;![OK:|A`"+_ Z݌-1=ݰϪwyXģFSP~ectIЌ5Zg8 { ءbr`t!A?<ۡ䨁ԎfP.09l]RI[؞|U\nnH23*bi}3@UVAigW%:Vgawyn+S^v?H yk Ϙ̄fuæBw%sS)tq7`Km(W~b₤1\.8>)RƋ$~q5b$'qu`F_h4jo,#UݾY`rޗ.\LJ*ʾc%eAG U0{oy5[KBs5b{S g-:\!]C*ܿ3Bl4gYZТrK-tXDt5lˈz8]֐@1SL*9z E܀&C.@t}vU)e - P/ zF8,NtR̼a}6nGZMjFΊ{~nid5@e<؞QFƻ8> /̽LHK<G5'sy+j bȏbYCFM^Ysnh+fnx("n\ur#{:ZK}}?I -6td4&prk{R!JZհP dQ H0Ggo2B Of]. %6Z6oW1$QqM#)98DqS F(=V+H2)Kca h 5QbA G⃲)Бv,;Y:3*`fJڪAcbקAx9{drc@I( 5bw9w@2%oiqK G]"Ky`_I $ĀN-l_.'Q#X ˍ㥲0EvKE)0k*AȷC`ڤ]õyt vfBe%_9&}3F'Ag|7aLq7ƮC+KXv.4`|Vrˁs)l^JUL&u׹?:("\91N#&%Mc4[nvJ#fWM`\_ 8omZ+:N-x Q )TplUT*eHSw.m׋`ydGRC4cPGQz#^= uև]0U-f q]a>-#eߜ?[1ʼn v'q/&.K.oazA4?3ߕL6׹ $Nmi #kL2r%vxWlh'P;6 p4k'xjL-QUi .iAL,pgg$*QJjg(O]DlUwu6U ^by.*kC]`#=:\LJ}AQ ye6Z.m':+Z2|r8 .*Ҫm,B[>׉#AwZDc?4$,,tGzҮܕ!)V.nD4 M'adoEox9?+@.^QIω|-MKۭ zռk)o9ܮށoIV֝gƸ#h,@~Qka:UOFCXBj!ݕNa d:C^ւ7`vlی/ާ6JяAzGS7'7:kDCz!|x׍B٢?1Pɺt" [>2@*1i[k j;(9d`%D&Guf@'u qZC L;r6r\ s.τz`Sp qh!TXjG~|UE?M۬3G)[F3{h C$?J~ j؍ޫL߰NI|sCҬ.(lf.ЍGn^-9/5,;<+ScB2aΉ9Hd:Frߑ`'PQ yČG(Q2~qL ġriყ~\KKu{lH[j\][VLᆣe^\{MI).jB9>@[v~"e6zt;F1Cl&Fj|@L樂\‘#4TWXuw!Ճ7z< ,F er/_:=K׬0OnרRW ďq{*n Q,:4ƤZ牏Ө<ؘ]0S&ȁ4N dj:k .R֙6Vv5W'>i Ӵz'}|6NYOc. AІ}ڕR!|ӽnş= Z=`zlG (x+Oi4[$>oSxm]2-&ECa7rM i e䴚&T>Ӈ.}]0{7/$22*u*pF q+ZbV.8 U4V1!rv3UMϒSm0|Ci.-a$Q!iJ-[)T{¢N!gGXP {qhPC !O?;yx7Au|dK4&׶̔5HKYM- +??G7{:%;W7̠JepF)V?k(,MSq.(M0i*n̋ x2dۄ}HsJOX[ A~d[Rv VAuGF h ӮB#2֙q.?N@FSm4a :_?GqjP1=Em򞛐'wy(ݾdEu(XN%i񜳊Ñf*݇=T~pI. zL!PM\X3fVSd+^R%ۧaf /$*² glOiU͝[3u?(w-Т\w>#pNEzA /Rjhފ*N|YDMU!mSPe/CXӱ5N#YBNh\"4jO^ k(Ӗe :r:%ds22n+,HρV!YqjjX1',a,KWFo⩛ ` `cQ F ^4Y̯WǧD,ƣz>;_1+{Zj5FL|VK;&zAM@~`HԔ˳tBWJQVMهeb.̤u< l9ߏN}ȌAxonCv}=AS +air3o Άv}~*z:7 gl6;?j NM'!)d)%SoM̓z jӶY蟠\5%6e3nرޞU6EcatNAG[7 H"!(x\I_jG}1:V }89ë0Wq09bh('{f3f83 Sgp2،[#eCܘe dž]$c̬o_^Zųz{>[846~mDSh(N4=fKUh} ҧQOdqɵuޫi-rCM'ӡl=b&Fh!|yTŋPoL!1<"j :Nd\uۆBZ@!\(E\OT8YheR^X_ %26_ 2UTq٤45^e[F~*nnj'2pZI 87tV=u&C&*] @%>T,\*c&R6,E9*|ЅmN=rt\6g?;ȻȨ{Tv˩g"B@?;UYNj >s"/r,Xn/QO|FInmp3MͱZv*9t&uоjx^{x+oI|1\.+;˝nM>@\4 LRļx:6x8¸ mBQ֭I܁*Ftge:gz"7pHz7ygYZ Q 1% TCodegenCodegen.Adaptationdocument.tex7zXZִF! ~]A-MՋhvG"uIBm5z g>qT-^ if~wQvƊX,o:Q$%Mqߋ.:Պ X.`6=tҔ+^}Ru+! E 맆`>;4]q%ǹv>}ipBCiNOtx=03w焒IP.(*ٌƻadKr3s\=f7?pud:k6ڔhR=UCOyUd_!4ho;a`зİۣ(XD;b=U?o<*WUCޘ.VWl2Qn$5Hp|pFeP_ϻ_$ J8|] hԽ)arX}]碳6w212z"_ `PAuQT5z7r{~J@K:sUܪv&Ahcۓ;(6u:nffi$tur`}uMB}xVh{d-Ѡ>0ʬLM%U©p2@&G4t@~cȕn#%=BCICDGu]Jde `KeG)Vm;P؈sNX~$J:0ݒXջ]lFw1Ae>hJ>_ʰEeC~Hbؒ'O1 CCUH@0iR4L>WZ`}(Yh9@]/Yw|[dHxXJ`# lNǓy Ucar^սD\o9M.zQC?泥4M<\|v| 彯F/Ru|uG3FXJQ v{ Y0c+XF m %ncCiM GȈ&=RqHEɝGd|p|;2;ר&S~f֪:fMH9թ4wmq^#-ݒETym׳W`Uecr|9zKIӵ^ DA3i0CElDn]9x0(ː!' ̓A/+ol L4Rnb+4!NĄ{e~ |,%z;!ǃ{,^?xw.7̃@ar>j5-ai[O KA:sx=N~z#0 ӝJ5#5B=%'u tHYqi?|d|z-7Q!L75О宰Ĥg*MQhC76#O15PT}%*Yyx`r=>yWjwHo_az?6Bd@U}q"+r9Cjl<;"] K *˿E< [5'6y"aۖz̷L#x&܄FD=iKl9'O{`-n`ះqF˜ E8E)LAyd(+JK0"wNs#vl91e+KPU elMbCLG>wO\m8MB9/XĶ`P# !KHiF,eQLo;NEW~kJAY8 U[N*iMQ1h3gmQWT۵K!zΗC5B.Fp4N!jXvbc! FEҪG4 ^G8b[bRz3TAHJ){ $ƒ[ayZn*ڔ(HbzR 3K#`FD9xe!] d>I͞yogls픭 >89̲ǰC#̇Y$w $fnjjE|vVgV3C,~K)yEP6z `!moJk-oiryR8ӋorX߉M5>w)_Mp³7|)|WYYMl GI4+ W$6`I9_`zaVjwi#e8e#xpNSET[-^$-J^il*쑑ͦ,ܕZBJwѹkӫ X}H9V x^5v|qٯz}PxXvHdNx{Ys]0SJ)hc@5o, ˞sD0fNVk"(^I}7%!oj2Z (le=Fq ,!g8":p,n vH󼶝3aH~g7pk'ߵ 35T$E?/P;sakRG )hۤ@č4O{٪`jQ75L|D=qY4=Ҏ_{rHwynž[vEf*"8շkJn$Z96W$oQMet皂BȥՑSؙ #WC;Ul9K>ޔm"p?ї5n ;PvAj|aH4\nnIy8ǒuD@b`wN2Zkvx:;Һܑcp"[A ]8*!,xR@D9Oam!g~XP$T4xqx> hlӍo1?ruBJ5q=Ƈ/a%h!ָ_(m+ tΜ+pW-pDZ(F.-;j~H%{Aq.O.&ox-rl~œ(y$As4ԝZax)hC+ aVR(a" 6eŴx!7tg=|oY֚ج4ȸG=̝e8E8է(IR2Jؙ4WK1{;+LuUw'vʢS5ԥO446_l{V@71ݼJ6@cLt9N("Cdyyh3vR]{5UGR=H]p#T{V4t3fo<W3޷Mk?jr !Yc2XQңw՘-$tUEY6Ko~yxݹtT|ipU߾< _楊8 !vU!mQ3 p"M)aDsKѣ9Uɟ|XT c%4)L_O#b"b/\gj G JЂS_)\J͘]H7ĐܖE#u۽<} aj˃) "ٛqamh %PIHsfjrMZs9b_~0aו{>d5b-/"iȪ&,"4R GS,3S\Xޢ%wU`6 U87ӄG=[Rפx-yBtRXr_B*ӣs϶B`#ӱF> pMQ+Uu_ -?_]6ŻGIJe⿶aMI4D҃nM.CEu 2 c ߘ*ݪh ( s&Msc#6IlpT+HAYv;cֲVVST%+.Q]Զ$uHcZ羱QebӴ<1F"Aއe3bۡ덪D2:dx(] )cTS"`³|S bo_+4 3 *%\P |Ӝ AuŁeF]VJd:ub>j{U)vXYv<|"=ڪe/_Vd~'`V9fvtrݧo"#(9j=DuW4P8]¡'V{ UXμ-BϽYtVKJ;LL''j?ENJ>In% \[Yԥ]ss:W*9^'%4&kY۠KQUw eU#SV {ƜtQ *!\.F*[ 9cDž6&ӄ3)R't]Hߚx r&:Rĝ(l'0^[М^# ڔ0^k`8IzИ>e'`CxMKJv@9$PG9n<.'_j`pʷ\)I=.ħ?mN\4/2c *S0iSNpE{-DVe7F/3K#T qS0l?+Zg'u,/VDVc-ǽڤ.aفfE{Տ3#")p.ATeaXWd*5LcF)w^E!@ǜwʴ qiaX屌"bh`Rm~sLҞ&SX~=O5ouF 2@S33y1C)MdoR7_R k)]?nz+ʃ >ZfˊK\׊?n L^'k"G+-72F :5pT+Sk M/abr| gDX{nT&6Hj2lt{W$ht+hcRQzaNiX ٙ9 BSaοy~0GC;IzU'%b: u2_X^8)/2Hy1Bc+ik;Zz`YE|J;pN>]]jJOFp1zc߸nrʈ0HW=Oͼn`[K؞g,&Sp!s9lv+JL”:>vvDt㫢/z(/:r~^dFYߋ=G#ŪFxEJ)ASВ-vϩ SBİvQ%Ⳝf[7NstںhWJ.ꞝ5X[t‰^.[kޫK#%haS<ꗚxn?ѵ Op@ "{*bVYAsqw&˻xuqdG0CkCi."Jy^OB 5َHQ>[SV\=_CVqNؓX|O'lI5,mgJh=vUZ X:C,"<<*htd??'&{`gV^#Nȼaݑ!뀜58ߐ |(pM*S /Q&v` qjئ:"QX6;Ax/:GnHH$GfV8A `]^g}|+"C11f'@D2}g U7gPopMėʛBU/IB925~o ǃ3 ^Iu@*^y +1 JK+gZ8!qL欋38N7$P?@r(P$R?ZpgYZ7zXZִF! ]ŗXiɟ1˦r+ bVj mG愚)%w6p0d]%:|u~Q͈̒Rﯘ- _*Ct3dT0St΂::G7 P2Ka#D{f y=kԳYXx^y&>Ϝp:LnBu(WGs?Z޳E<e9* CWըH_q#ӜVQ(А9FQCBX=^q@ v9vwvAc|RoeW  YgYZ7zXZִF! i*]ŗXi%Dphi:}+@džs/ĿY!.&QNڤ3}3GP#Dƙ>jGwr+ r'G?JjN5cܺEfXfAO\v=/ 0̷R/ښlźA/s6,c)J@c^^Ku,qozF·<_X}Z ɖ!"iu$aEzU8#0M0UOٗ[ܷ.ziPkAݹMFȵrc{goQuvnj/' ĉ<f-h ¥uI]~EnK>_:r`"?r[׫Ӱ/bo:9y" #VR%=fm:?Csu J$f_v[s}䕙l,e2X izGS7tM6yNi\2j1]a\,%-wTBO D~, -`޳_4CkmSRTfuB_g"-E!IRj-2P/H _M>M<, 'BF1"CAU-7r.}^Py#2Qnh5 b@qPh=k _jej[xFͼ⾖cG$1/GvB29ïo9n|#i<qhtʂ4t } Es Mkir<>㊚z)IWu̮-*,/+P(Q:&Dj^gKn<ÒQ=hIs4[6#E7@ J4(oV*5vWqO|Ѐ0+|y@a%bJZ`PݔᛔJ|ԟ)P#l[, {4p,)Wtd3DI .|2rv$k+R]B&F_7z9T78Njo YғuɨsfҾǹ MWjo(2&1#݄l1T".U V0u>}.tk4ӛѻ@* ,W0Q\[*fޑ0:{O7T?o(9):/0G SZѥ^oV湙RTdTfwAj ȏstDFB,/nU";^L9H0(D;Z=aXΘ9Ͳ\0+>RZ/jK(ՎF{6 KRoׁdzT"ЖgyZvOZ~Y@"ɍZ0 U +P/Yj<ҧa۲âV8_2-WU۱p2j e9ԫ/BUX{Y T.qH&P^L[nGhՓmuψdr}6((UACMp6&o/H q-:G< u"0py=+Gt<|C>;=nyKƐj}'pgqv|":#iMWnz-9i %Dž |1 ePA6h/Jt;I-Ÿ:lz6h zکj s)i*U䃭16KȢ֙0-PYfu+՘F#m_'0xS .D J*\rJۦG Wu> NW)'^ rjWG"uͥ.TSE9T ^ (Yl؃bu.Aua/CwSwJ3"9"\v2pUm sҽ Fr|\ak͋chP 0ǣtw$]@L7ȏs_dԣROdnV^X)tڛ`F`ЛyVp1Hs!| /c֫5*J28 Tfolg"RKCFϤB>CИ ]6M~\2&.ת}c؄eo-"WùkK S[C!5. .U=tC$ڶ-k9s)F*9#wv /HA-agS6?KvE2_nu ˤLJEѕDA}ƈ~ç\ΔOK7&}qGmk}i8nPk$t` tKm ,h Dc-M"UTNO9ۨMp}խrE .!~ꤠ:PZ_??x\N, [rKԎV*  )f破ioLmrZNyc-5}Rv _C~_M*n1X|xZu @.ztꥼ8 ;DQ|(U1Q ̠}]emtx@8okq_GoQkJĝUtt#G!HRw֒=xnU(;wɸdíĩW9CdTE }$z&r+Θv$om0edƹBdWn X)n%1䡴Ė Q&OV  Sr;O)TH Tْ͉%`'x _ PM)/ᵲ xGJ36!pNzeX9ɺ_؜"gФGoDS^3^~8|d%5䩂)SH*X`4b?}TDFqt pu8/cu 3)~uoidb85*(qBak3_%&#q)λ5\#ww.oF-S,^j7v1I/`?[݅pDڍv7JAfp7NoG{>c Kcz-X Ե [+g.I B]"E$cjF B$0Px̜zJ󗘋Q, -@Q4` S :E;/ zd_< >?rum0zRά\ I9b w$t0Pej^Xu]*uA%V 2? >XPksJZwu'ߣ)!5 DcOj9zו){޲~ܖŖ󹿢b|{K`J]#e67佖Aw 4n>N~,9;kANrǦ,gLnpnWwnPh@M>E>FW[qF6p*MvMLFtĴ4~D Rj#=@ܜhhNrATm9ˍDD(j?/+aLzchgD AUT4Cf?D TQ~u~zpiEoƗF5 :nqc^F?ҍOޥ=e0W 6̍fCJ˔$pkU$"Rsۙ 2ZDIvn0 #8+EdDj|{.-a9$w)h(xQ_׉=tHae$5^85Pq`g\ݡ Uސ6^'q~`9JZ$.To >}v%3Y3v$1ZY 4.bYy^ZPN1Qy4n#iU0 sƫ:#fnn@Ϧģ)| / %s:Clb3LƏFIa-UmDk"l/-ĻZ{i!;udo3>=X?yC v6rDx'A΂W-;$&~ctX|3Ғ[1W':cЉZJ$NtdQu^@A/!lKݷ~nB+w+Nأ}pWhcV+y#2`l'|/' IPxZޭ2 ~$"#5٤Xuǯy`7~;x=uO聛P  w>=VˏgG:]Ѐ|}*@wXVkG#:Zѳg/"ې|}'W>©Zi[aiR$\Rc@יtKGΦH3%Q!?\ jA[ֿ֒0 }Udת&(sJ/X@.T^'Rkyn݊xZ(ѫ^c]*n̾6W!d3_@3ߞ 狿c ֪YU}<0GW`-%d +~e3~ f.NOu8ğY(s qSF8% 0oXкUl=dC dVKQ^&1{Nw }hV$ι/ěCl]jOmc“y6mn]Ʒ&55pS8Z3~By{^`XQF _M"!eʤ-}z+$K>*kB)u+C A#1ͥZ6NQOEhdTWËtzYɰ ÇXBwV !Z:XX7*]cx9l36fD~Ǵy!<ͮ2mA7aڏ4l1Nz"!J2~md *X蒉GZ4E/M s {3֫ghJa}QsT{`5=#䁹 m9b=0䵛yW0yBnآeF'DHg*]X~TqC" [//=YPVշwGll2(D`ۗ:*HT\Z˚9 aQe׍MMgѪ]~Z^'>zlW < t?+,YE0 j +xd yΡ:ZH~o_ڢLZ`:D ;^lؒZ EQ9jO7p/cosrZG V8H?t KezyX\As!g2_77Sy'R% tH_iAUB7 %RVAM:SȜAba}VitO="-|ɴt(m#%擌XG-"j- 8Ql`Zْ:T*x4| X)v0Qt_%~1hmehxcMSbMz ^-$thYo>t_?E*'Z'ByJP&:8PZ۶4l˥ɹC!lk ! 'a'ٸ<8K.P@H˪['l7dPIm_TNU}ڳGHk,:V!]|Z;qmSv>T=~ǙXʙ\]T'cV.1,r*[!uN=3^2.s(7 m+;0=3Ǯ ]Xϟ*UX(}D'Y j'+}q