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  Qvl4 ]/ Codegen:threads=4elapsed=62.898cpu=155.748gc=5.6487zXZִF! ;]ŗXiɟH)0!h]HΦf+OMF+޶eFG h.Ӂ>ᇀ}xoSUCQƍw(-=Uy6p[wgGDMVBA~⩺+[`4uZa;rY8O*=VUYϞlPF"-s/n:0HcA"2ߧC(}=@|K-ZB5y%|YM3y9&uڠkV'dBo>2e|dd4^̰`cn0N+ uoۉ!m(/F&?1if6q|x{Zn`Z(Kyh.$n &_l*`(J\2qpOјYidIG{+}M{W ֲJr7Ai*)M*ߪ&QV5    Codegen&C% lCodegenCodegen.Inductive_Predicatedocument.tex7zXZִF! V/]A-MՋhvG"uIBm5ɭS ?J^+T M&Xqt!5t`/\Զs):@/iĞFv]JcH43"yI*Q |~E_# IXj!;P8g<)Vf q.zbX@P=9fG1ԭf=nB]uط67)`', 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 `      ,=r X-5%CodegenCodegen.Introductiondocument.tex +1%CodegenCodegen.Adaptationdocument.tex +1%CodegenCodegen.Evaluationdocument.tex 4C%CodegenHOL-Library.Code_Target_Intdocument.tex (+%CodegenCodegen.Furtherdocument.tex+1%CodegenCodegen.Refinementdocument.tex,3%CodegenCodegen.Foundationsdocument.tex-5%CodegenCodegen.Computationsdocument.tex4C%CodegenCodegen.Inductive_Predicatedocument.tex85;CodegenCodegen.Introductioncode/example/Example.hs05+CodegenCodegen.Introductioncode/export1.ML#+ CodegenCodegen.Furthercode/rat!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 lMwN8GwW@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 =_-=&C% lCodegenCodegen.Inductive_Predicatedocument.tex7zXZִF! V/]A-MՋhvG"uIBm5ɭS ?J^+T M&Xqt!5t`/\Զs):@/iĞFv]JcH43"yI*Q |~E_# IXj!;P8g<)Vf q.zbX@P=9fG1ԭf=nB]uط67)`', 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 $ y$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~٧ $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 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  F+% DCodegenCodegen.Furtherdocument.tex7zXZִF! M]A-MՋhvG"uIBm5q`3rhmL&DBioTs]VXr4<ڞPtyHXj|k 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 Т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}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 = 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#c Y@+F?oYs`o5͒q6*o8WI/k+Y\꽽n$#i!b*PR+՟1LP%92gCMz#"YoX+nVVrmCf=gkclȢ8*cHWŏ)$"${Bj %! Q^ayߨ8[`F el'aWkm`?YaS{v>. 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+#9۠>Is|9LMGDIF+$=8f#9XbNeƉmGL>'/t=Q H:fD/s~qNt*e2V\q>Sڀ<|Y㲱WsXyKK땁Rh=j])w]D qP+t J''qd4:*f]r_箭⫊>@>}f>Jf-3g Izaz7hZ0d,EuJQ|2?-P=D[)q/xi> =k&,szمN0Wg|߹23~j`E*9[N|2I x3ujp%irl?PtUt$dϡ]zy?) 3̆?a׫J^ѹt F4 ȝӢCQb MqIG:5^V6 #vN^GJtX,h w%6NgYZ7zXZִF! ]ŗXiɟ1˦r+ bVj mGh[m3n'A tOGkޘyGnaG>2q8]{My2r Hz LF&FG7&jŸzx[vTu}B^+YoҟM|6p_F%/g``E]ﱸIHubGY@-cI" 3SpDɿ+ !'[xl$Fw)& f -x@+J CkcqV{y'¨Ei"zI/\h;xލ+Hr'8; ;k  k` ƄgYZ7zXZִF! T]ŗXi%D3[oIjwV:Dc{gQmu:[qo$ʺiEK}ь.֯ ,snuOfy2#JsIibc~G!}Ugu`F R̈ (Tl t۹ -N? ޲&c'E6\ACc:׉~ RbQ-Ck@xkDwv봞ҭ=KuUtGjq N c|2&6#5EJs o~T<KX? ]6#kOT/o#}mہjO 'jx' 4d# Pu E>fIk kR$^j2]P ;qȪZ)Aqq$H7v7HAo:ҐÒo2 NKLrymOss:z]F: u#d3Lar"f멩5I%t{aHH:B3-ݢ>u3fo:ύ47;<9Pi:PxJ0H'IeVtlBZ(KW8w^9"l,a%$ΚqQk &P(VwAyڑ~ѰQ+K'Yr)u'Fm7sj'w@ OzօRNe8%9rP9`S d:0.[Žu@} c6Znrg>Csa zulXl`@T./opս#P@sE$郬v54Î̯cn/99uѨ^b/¥n:Չe3`;FC<05Z ;zwGjFωC sj4"YԴ;B^߯ǟ_k!M})NK žJ7 ɷg6:!;!i-UNSpQ%Ryr \K=8#Wez䄮?Nxw:#70"@)I? H֦ bP H|܀OQpk4`o%61EReɉq뒼Tlwҍ/.'5rsAxi(dtYbE o~N/h/k mj9CrĺD1ǭ">ͯ$&FF&58Sա[1hG@pxw}x*"[v*/oŌ㵂;31ggӤLǺݢ`,7g?N "HUȾ;f0 <{-A\[HsSy<ߋ;3ta27W nL*IlJ [>I"b^߹Z5IFA}HӢs[^Ϙ-2a)eқ6Cy%gesAQA(H:i8 gߋr^_"KN@td~ ^ Rikъyyg"7R[ !}$e!iU9 1N%G=}nvu³@;Sý:NQ鑋x~/۟<;_{!_$&Z-vь[_QMШh QŊdv*6isQ`A)K-V,#G(/}l\BY%>]WeG)RuҸi=*o%J1ekRk8TIsdpAanu>P xylE?kxw4s~q޽|]<b=8yl%h4vU>q=.B@o) }gQTGRgOQ]~5#R7bi14+CV<5&g-D4[22- ôϝS; ~RY[Yg HgFS bt7^ 8=]_EV/`"y{.= .!,EV&ggHueɑwgZgl bquYKSt RHbP!j\~W S.amյexbdYڪphwc\Iu=I|KuVF,cbKILy|9QpWqjq|f͟YT]aاRT3 ۏRc._Øb3 iPy]{ˌ3Ld3d7JľGZ6Wѕ:ɜHAp-+<d.j3Ih{҉ظ%XkH ,/Zv]ROu\o_lFZd<DK+e]uFOۡF\ٛɿdXKJ"{-6"0y^hGG"צl}.jnט%_5XT)w6:Uo$UaS4$_UtؗlQ*Pc7.FV7s([7|BpKctIfk^ Agn2R?,M\bނe n3mo'exBYs2v ;ށa78t xDi5.71o-o^Cp3cH]AP1;\liWjP ˂$ x=.hn"3y#hy/{OG!\? ;J:owh `w&h:}&Qwr]“aژ̂>\/?&0BhYl=A]7-tk<gX ȕcmUb}.Aj&T-f5^3 <ii䣗|w.C2>sn_j @jx+Q籘d3Q+JU(e*i(5ij31|D{C8}$FXT 4v79֛ 9'`u@k'@4N,Y8CTՌ #)Ү!r |ڊBn\:74-(fC2½(/J(c*vs釯)ezg3y5e4{洚ׁ@W)qFŌb^>rhD+}"FznJ_|M*}w'(׹M/I7uޛG6y}{}Kl--Tې s}0<'C Dtv:0z ƭW8:+1J P.7[nY{qD!ٝ?RwdxpP(ZF"ldz/FBtePRw0yDx;V{8gTO;1ѡqjVVTLk~uKamLk |cMylZFJٝhYIWi/H]o*g㳣~7+,=؄AMYrq˩xIqUpmL/OTF32x[>Vy$O&Dn A㮋T򄂚Vj)Ry8Wx5( Wɗ.^$(/jE ͒or޾}ʰ/M =QOU]iE|8r.U>7oŠ P7c^JZ+!2 ᡫx=MmC+5xh5K`kU]M#`yNx_;xK/r`L+|8XIU|/]WTv>&U$p ^U3f;r2T^A,X(Xmo%jZnYyugE,>ܚ4_Ȥ )3}d{@rTpt]yf?I+}; f4z"JAӛǣT4(x #TT*O2/ "/Xz^-?͙݌;eWQʗ+ڠ#yqWÒL;]J2GoYG$uDpk8m7}Uk p[HEFTwj;]u!;^N=Zۢ6l^^uul^E= m3 Cs)1Q=!qOezuI"ArUW{e/8 җ9|NޱX 6U"K9[pY1SmLao=P՛Y7>Xs[39Q9H=텷Ú.E`5p , L3u3/Lu_"Oĉ2z`9R&հyᚏF4fIsՎ;^qD<˨~,wTBtW]>r1 *,N77z Qk\|yn &9_QmKx6K)*R1YCQT~a715Th94mL )~P256v}%/") y?HG 'p~t\[2ȳ4z/5h ,!V֭[Ti~16Դ.ͫ`:3P܀҅:;s4 'K& p:bqX~T3E}7~7Vz ,"fe&Q<ؑeKڙlW_s#+ NW`' '-{dR1dW&gb RCL)Ѯ!^=N -W#d3,0 #X\159b;ZCbsvDf5T WkP|9\'":~!<'4#uLqSgrh[Ordf3#8G7 s??l[~.?e#0)MTz4 Lh{\嶗wJa>sԐ4Kg0%Ld+̈X6kz3ɨ"< d$^fN V;)y>9Ŀh§BDz0k%a]9 Redk2MLJ%>,}C#=̡|UKٷ0UY 9!l_횢ReEu3pz6 6Ӄ5eD`F$n%wzFb"eUInΒ$Tn(@Qv>MxɡIXc{3Tue'T1Վ|VgYZb775b76d13d4d2501783baa0d628b76540520407c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6