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 iiozL4 ] Safe_OCL:threads=4elapsed=173.943cpu=339.608gc=18.2887zXZִF! 䕷a_]ŗXiɟ TJd`V_Xjݍs9Ֆ۷Jb ;|yΧ ۰a tIpg0 -D ۣwU*X锹YGDg,srޓ/S?5\j,oO\aȁ S Xdtl]9#DriֿCkg>3&u >AȆZ !m Hgbभh:gA8x&&/—֟<4ZϦx^9:C{ NjtjJZ%񲅅F+~ߨrxvh?/{F3=ֻ^dZ,Wo/ܤ,a[FccTLsByA?U9Tf4NAe_%:e>TcPqu'wݣ~4VN׽e(W)eb`Bk>uLwS1ʤO }U򎜶y@6 毇usW3to"/!pF x:G+d{Fvٳ EdUsǕ)Nb44XGeؑWir;x Dy $ tK8,!U @)yX G6Q!T8q^4ªZf#Sb"Q/#i NJ؄;egmZ'$0d]ьJuWL; 53{Nike|yVܵ ]Kc&fr'{c Ǔ^ Qߴ'_y0V<̭M/D%ϪY/L¿$Cg:Ĩ5 IhlvAVhfh\elýeSp#S7c5 Υ޻jwsU"|:hlCqvDYLQނ[J;4VVv1=1e>Wn(J"=_vJ86ٔLDM+u9󠋕Fs &;gξJVJG ヤ^ڍGę8ʉPI˦;AcAɰCry -mʋЂG= 55gp!>r_),o\PMaU 8 +I7yu0|ՌT筒wK_gP`EXzgL"kFvd]!̵گp9>^_̵#\(~k|YP,qU 8 VDX TIڸٌ/ %c0 ZWL58xΤbH΁'p?0aԛJR]J9FUh}X5.̢[@ir8 :C`UhKD-Ox6QQh[tEXVm-Wإ}' OvW+?;VpSD6hOs % _ l\3|Lhs{CEҵ(?.l`@I)m/ck 헧[,p:H5e, ť?Hh326\^tusa#[ؠD-l%k.sAxp+5gLjUD^ ,_^%_^P : FZ?D6g;i-ܵú7AR1p[zE[x0JF`!h:> lQ7Q<2-ɪ[ }J?(EZT_0mYC)^d3* >ͼorUOg3iBj]$-V{,Ǫb=DǨ<̖?}vv7|[|}LƞG9ձv #m DكVa=6{0~ "y$ˇEE #:f (6cȯvP;0+_' ٶ/57EPE13¡E8;q&!'%nX(_6Mxa4~pܤ=stuojf\cJb~J-&۠%mNC &DJ!3(. 8GQzo6ޕ; s6C&Ҍ>yyzL95Oo  +:r$8N D Z\"dCdd8 ?QRIPgM;%ޒ<TnI۬S_[wy=scgs!l8lO- <=>>_iJR^e$PύSf}نhA^2C:"`\SAb}+LAL =C?ptTw=Z&UȓbWpAU++g"QW^% g鄠CjxOrg#aFp cV,Vlﱸҧ`I4 9{yҌ!w 3˅uw{kCv:m^l;{E@Mbᅥ8.#K|ۚiV;꭪CfP~I\<25;6##'ROWu,A%U^6Dڦ-L?棦}u ulaQ&Z \xpV4g5oP,W S Y:qm~ Fۚ#u%? V8zd׽j54D1i3{@ @9C?{m07B =vzdm^:63~ͣ0M @ݠM,)q>I㯃}≀a ˯Y~7-b`6rjC1hqhށXQr_:)=m)؍ݫfYU_zDO#3p,ێ*&-MS@¤T'cfY} r:o(uR@7qaRk{ꨏO\v!ѥen BD,{Mvٛj8G[~ Q@*ݍʯ8:8_B@vbU ROfz:l4?\OW3IJndzQ'oR Ǥ^9r0)Kh%OG"}5E&(uf6f]S)ׄ8.w^ 3UγR7c?BO}ĖD- b=`HṬ܆a֢̗ 'H56io+䟲ůK.r }if F<ڝlnכcbVD@S-vY<.Us3EI<yC!I @ fܔ6Tp<.F~ mFqC깲pI:cֺEcu[&Rmh/`2rLl @|{ӌc$'[_";T^+x!UO]>} Si<%t'h&1n-ꌂ'_L.θ ȟxuKL*?-!0!kauC {l}Щ WCak  )U$U-UR:CݞәUj$ 9oEC>JC4'sDr^(Y%C psppanD3`;4"S}edP [1XcPVD_Ye%| 654:1mC! I2г3weMםd"3@ "wOmXȝp:>ɠ}tzjF((rpX^`ft [xţ*o7tտґWhDСşϧPBώ̣]'1'i~y3hM/AQTeov9A\1+y,$=&c3Aa+Y(y;ӏsMh6(!bG1=_ZYbJ Q0x_׿Y+؟RrDd@^:v~Qa6[i`@/Q4܀͠Zl?+WsN&Ů 1}@*t7m?lvۃ'o ;ؔi#'%AkEz(@!_A8׹^M$i+=qIq'y2U~Fu۵4b0z&V/*M}`oyH Zį;b C; SpP1΁i<G-]U3KTQ:1Allk5d9gjಚ0T.Im-hcJw2n G5مWs ،qJ­Τ]VԷe6D9?ɉd5h]{w+l[H>7py9 Y^y+1J"#5I7d̋˩B!=TAJ^vN.O= pvQ([Efj9LR?CTƋ`ZI f `;Sh0Z0{S4ꗏTS=mQfWv0k16 a`!&d}K?$W ÍUEE0rPF;|^mւ";PO &ǁۆMνhG_])pou oGC&{1^a &af:0/8U9Y;礠$p:=^x6JT/̨ hɹ&= 5ur߸x/et ‹D}1 jVHP&wG @b aYk[tǩ%A)A(i,(n?!=cOvݦGt/.>ObͶ N.<Ōqz\I|/&ˀ p]aİf \s4#oG84v6r.cfڲsr _~ jpsRݭJ"fǦDd*z*W6 =a)!즢pO9yOhOɑCcGX0fJPX6r]>9.Ǡ߮;T5b)ԣ G)s+UL-47B|^ݲm9GQ9_U)<ޢP#vN2kFNEǐ8rb]+c7 ƛ]f߂8\u.&"IQoC,з[%~Ovzoi2;EuXp-1cZ<_@NVXX 76Es;\^u_D~f7r jÚ3 T\-HKXBឳ Lݶ6D# L]>3z!^]eϦ(uٱU?ˢ'(+Eg/: JYkSbRMrk?N푚j_(y@lRuܹE± ,(S\:kJ:ɵF$s$*H8}!Ppi/PC*@NDK6~C9wz@NM˹Q^V)[D0@;7Kov:{9^MPuvC^]eU&7~ % ek}G4C7WҟyIm]~;cU{-ejy-22eBi>2f͡2Tqfњ'u_rI}j\wSS*WATsCi5^aT*:T1v2;!ZNDm5#}MCGPC9T(\Fsؐ膵sX]-hUi|0/.˖|Γ[4"Z2ǢTmڏi3vB}M}XbkpZsq:Wtr§wGv?wC%VE|P7F43Kʉ|b:nwBH=g߽gW=Ib< ćI)=<03@)q)]-RF5irkFB~$%vϻe9#/h ~LKZ5YWBA!Z(.Zwq9\4Zނbgza)ljHP;܏m[25]>lߌH~n[ >'}H QN'H5$"`N*q|y*w k*%I ;9t8JUDi;>(CufI^8<OJcUu=N%S2+sHE$$Ԅ]N4m@e_.h^fH4>.BBi|q*˘ 3ͼ2etRT.a"qz9uV#Q\0(WRuTvw[lL\2Ydm`ius@BӺ y&e;MsuT8 Xw!~hTP) ]&>htƙu$'!ZzroF*rk Sz@jg&4H tNvdMz(iKcJ!`^p7Ybst; /XS[g |a jg"'~U쮢>S٦U*Z[ ڈA}"h]9[9T^J@Ah?v*fF5Kd}yITdYݺW2EN~Qx1 o2Ֆ n;}8 '6F]zc28Y=C|l&7W>87K:XGOU G:AY]>ɹTj´m_?yOr]VgX8kˌ^ ά0#Ly+yuW2;|t/w-w}[#H bk`VA&7e)Ȋ4j!-{_)tA5(K}8.kzKR@Mᵒ<$E{S̔UMžY;j4 {<᪫@+e~S |-Q qJ*]b/t2zX0ǔCpr86͇^db.aQ>쭇'&+[{po.b)AZ? IGo!yo:هWxKIsPb'y3 ={g%ezm@VZq>lR+ORnɆd]e!3GXq;0HF膜rОS|H4x3u4b{iN?=C {\%vkTC0 Θ}Tb~vVW2+[ FeVS1P6*rG L +Of8G/:U!4a˜Ϗ,#U C(xgP17y5q# )rs>!r4"LblN(4G eda,_Z2{O;4N a1^<68S7L fu%_w$0c<뗃zm0̼pv0跙؜ ~( x~Y,tfVH$"cٗCjp֙<PoQKMgE30$ZP}α4^V7WBW?r)kGiJ@LTqMy;@مd}V`nSsKeM l䩆bIcQ{Evv0Kl%PxfܪB*9 ܕUJm;X< R2v7sd!-{mߵg5 ;@)!X͂貮FՉBxĨRX[};H$_u[t5VMwcoLJ`tbpƹ.&y 'l͓Н&g,Qeex88 {'#F*@,ݬmœehnv , nޢG  yK(>m3YTԋ!+.sCj8DJKj 1|Y~S܃;6gLǫ{i^7x%50wmAۧp(S)m%Lˌ*k˾53̗Lm0f_;ֻCS?&hMrw!Yiy}0)@3'M%|IdZ`tJ*MN١%6կt+)h{U C"[ ?ίbRsPu-\*RJlH=|iYJw7Y-ME*t~IX:cH6 $2 Մ]k#!dŨ{Dx25ۣi`S\1{TX;ǟ !OOآ{*Ȓ9Чr'X> >'9k$t# 4h8s22~4L3t")or ᲁ>,G1 DžLJd{(֍ HG)+_"Z|ԄO«3Y!-h @iՄFdCrM/jUxY:y얼x_VG =`6rv6|f{%'naH]d1\ 1eRc.ȳ&>} 48dMӘhX#XMn7eƁD'ws%uMS3q2ᅫ+B&MU*V]YFCv$G=WK 01T.(SMˣmjv6nXKy BÉpMjN;n@]hG8#{)(3d|ED|^wyed$Buw=?AWC7n~zύjM?5('տuu[0p'ԟkشԺ$U;={2zkpɹ'D4Qĵ>5,ëzZ k'dǡ?`B͌v`޼ 1Шy! `4iiկ&Իhji6:騺xdm݆, >d8ʭ+;]+0?SYǏ^wv]H#it]21 }ʬ!DPċ ʾXؿo-9$g2Z/2*_>E袺uM:E qX ]='t6sY - u6KTFuqe? }ҖgW^q#T3ظeP4lO]/V ϜN/H+˃9Iζ Dh+چ d#gY:+l\ {ebgZDP%Ak: )3|~KL0_(bkbX9a>gg#FgZw;GWl̗~jC\pmB/0lL4]P'A (UxNQ2 "q+\- WrOצdNjyG6 ,ԾFW%W-͌)tjE5nbGWWT6 zopB1z6~C(9[U4d{8,ᷯ#oi2!I!Of\_/73{r.ΰ86[rZFY"M8m^^|LSaC>2∕-dVqFY~,}YܽPX*wh[&WBtOfnt.v˕~2,sO\GD'`ˮ:T͚, iU`$FRA1'l´v=O.><3grx>Bsp%)3R8RMRb.*/:>-'ЄRIg[O62wpw f7ewZcb _J$qdx|I]nC,hّʎ[UMu`D~,2.kД~ lhpiznAd>gVl=m0W9M.,%6b1KdSVAOիVȏ co1sm,I kd<t<(p[1\ &/XͫOrP~U9h B>lv*xA1ea,7ҫ<ؽ 1Rc^&ۙp{W)'8pK>2/p|i2O/Muu87lK Lx,MXuJ %T|HBYVWts"WaMJԯVbԗmtd`kkpO#Nx+cJ4kK>ݣ{k9T ԝPM4yPKYHnf&V!Dc]Ɋ'%5Nf1KY b|=3\ bIrd~ mLPk'2E-I =,{ ◫:<`aޙk|tƵ23#n@<^fxp07T׎{@R2N*-sHA3sH܄{ =Z$ 0 d=&nAx<> dG$}LtKk :Qz3FY׈26ۉ|JmY|dBWJv@9&AYeGPAiH2;ı ذr|Ӡ٣k",o%hUgOR1 Q?/iE"QPZ3~'P\NT;F##~nx‡YTmJ^Μ' -W&aְV/LMRJ-y+6=Jidg C'"4Z[=>ٓr|k[쇴ɿٓFQh5Rm bjWNDS !L!f)-TWNXkZۉ2⌎UJbD)37BL[ImYrʀؘrA3?ٲhV{?o,wSi8+3qa]=~%Υv1mx-ʻiSIVGPN%r"ʐ˼9yoӐe*)*S闖cm+4LRFsvEU;*@ sOM`Z2P{s׬_~3'JίHleBɪ #ʼn6淐\{!0/€W8w!\=um`P: SRkU›gn&&CUL\{"rTtIgl8P ΤcO;~q Um!RNsN"R.'X WRSlj=XPYS62b'ĩ}^(w**dg,/#+6or<߾dV` g $k LU 9鷉/ ՈYɉx4& eFW(&mu0:jTh㘹%|{UMAr+(| 1nmL?A;E>@Quv9aib^PSnZRyX=g#sԋ ra'} 8 () $Y^ #ԥDa$-5R@EbM'U纽 +DSx!VTI=JOړ1!t\ωo8pH=e=>'-@LWנ:oJ20՛+e( qQ腤#u'w YRjL E]SLfxrt[A|һ}^')NWX6Pte'kS\&?$!^-mɛ{5$L[Oy0".GW ^ lcw9iu69~I :X(\/'8d*9[fiv ھ=΍rWJnw8*ˊ-(c3eD9ϙ&#)G^F1;2B"GD 5: jj0)3BTj?C)I\V >W&e7ΛIWEfе +`,[{s0.}m*`rMحћw3A$zv{7>UAls> M.3( N\# \fW+Y5{9ĒC]dH"ՂP@aڄTau$$s!~aJn1n"T1Q.s'1nQͣi;t4W,4vg,nB' `,I.b8(bł=3כ=o'3uǙ!ZPh@t*ȊyoCiE1{Ve= v |gnbsbXY𲟄 6JխyHk{VEܞ:~,P;Rk1w$Ox KD ֔gQS7W2YCpU Z- D^@A|_+P3]r5|-/6aW{GLYPF0*03;:d)JM*]$n94$ֱo^UWQtn \5Jf 4CZF%(˖dKE_x TvZI%q?:N=~M߁#m5q^l0g/&fl:*f=nX(aœ^<%WbO< <9QjWŇAK^0=]s+{UzNu(;زӓWjnU3 'G8DF%'fpkQs<$q$b9rEtk7HQ]NpG;b 0 B$K5GVR`4>LOS{;k!Y?9Bb]'٭fӌA  >MPXzac5dPځiXgWDƶW<紥GvflH/߆3[#Y+0C]UM$mBʠ4#튺XM(|TkMrU ,PRCe^Я!vGŕ8//ԇZDDg~D[>DM^G,cRkAVsyu 4%; Aа6lDl˓{ ғsw h8^m 9C۷Xdq@O>%}sS5 gqkRUWDo~ %Y$[pކb"A~΋VuQI#h]L -pQTLѸ^ЦȯX n#Ϙ,Epk<\WVPqMξP{OMDorɈG]Wش ?2]WSmeyCyrgG㠶{g ~Jܫe~{_xvoְj{r aُl}3 CZ*+1Bt-Ge5&N*m?v@ǐ w8z0)94zIk6e HٚU{RZO{¿'FMtsa-jk ֶyӒ7D2֕Q I EnlmpLP;qkxjMOtߐ/8!ԹIBFd@\ 8TxI1aнfZ W%zx6HCGBЈ0~x11ku )yάYWeȇ¸V!fj2RK*ps»maj P6pp6[p8hCJΏ4;CD(Ft:]딬*|R~yM$i-qlÂB=8!-mP*A7_K$,ڞ^i85{b3di8pHY)lK9Qv^nC8,F,{`L[L4A]MCalRm\a>YZI+rf<%&`L~ 5=?(b!d.i6zQ 2zA^aPT8:ƄE@nxnNj sŽ#,;qM'TIV^.,QIdW':xS`IqHx3@XV ,a4GMl/)I$Kr1rc؜'om|5}3GWG71wdh: |\r]3S6Qջv[FP;.rl J{x|WcthQcĢ7f8yT%@hw=*=ad68#+kI:-p\8OP:목kUU:DE3^˟.V1c\qJ1WǷ&/vSPrXS-/m5eS·P閇[Ә:/͑bj]?1NR<1w6# @@&="Ux@0KT@=/r]K?œA $0ZS?эyVHA*3"4D=@PJp?bەsςx/79/(<"`~J` .+v+GH10|_S2T{k N'Bд$VpE*ln|`?-/y]d뚥io60mE@TkGItp1.,\^ALPvs// NVh}+{7DE<_cTN.Nr,C :9;֓ L]6X)Fa 4%lqr`MtC+g^|qM;}"ɣyJ1;)|"*nK' IEaȁ%kiuZxR$ 049*Z$ A2V [q{U_R jLVNb9.p1f{ \d$3Q'lJv{k,2[DGܷS"]Lrc,%ndPT" lqzXx'LI khIh/Fֻy-,7X} ufa9ktմ ?4% .9dQ Kkq~xߪ5@Ɗ:b':yq g/SK`K6u\@6im+J`O\ $n Hߜt޲5tc1dI9,aW{D# `cیL⪀Ob'|Ŷ]ձgG1"%'P[5MT)C1)9Ɗ/[v;oBd_:;[0T^: Szv{knc{i`+)l =$-9=u26҅k[3@É]:B)O_#Ș5+Vq^&er3?UOZU W+6ۃ.}_UV5۱O> Pn?7яoWĀEAٷ!?X/+^惄=/TPV'zT^ٲsH8/zi%(g']) yHY1.{'aX <dqyaU.ДTHfq t3~c3ؘ,E݈{`pΉ ݭPܦJsN+>eׄUH,ږTyNo T*|DvsjR)nu-閿It^|ÕMq/ V^e[T_"-"܉9"u3Ae3Q|J"|)(EB4]؝)~׍Os )|N8gOyT'."u Δ1;-Y!Lʭ"Y ,77fD~>U>vy#Vnsj wqn7D'=g`V.^#KUғ~!%^U?5Wn@lqK@ntڧJ`n;<XHadG/D g鴇? ke#жpy6_DN&;\t@kF7/?%ꛉeNܒ[M}ULFmuZe*EDY,+>)C6Rt!ށ,8x!E+S)n@`>,"@j[ T|JͲ7lW@ZMUrÅUp1,,0i~NCl4`~D8nhs}qٖi蓬."`1XmewadBqh {֎hVxR@R_Tߪ|2|C%ib8krw$oB?X$h7-X ]MLGmZy"$504A|VO*>l)eмE45A#)r{XW}>0W [oCx.~[V׍jM)QՒ\Qu@!;P ,s+ +@zʩ?l00>SV{!-۔.wZ(?tY zl$n3Xt#$IIs\FK.2 y4u*IN1cvH@aG~y['\; 7PƳK"ޖ{Mu?% |o8^x7:HI 6"JYsy?0\XZ;S!)̓ˢ;zٰf6׌̿ 3c: E1 >>H[u+B^/ΒKk[̙{"]$'V:wGK'./Pk/PcGȍ$z\PWK 9uzEhVGAҏ!.SG_mEH+B%#+r칈)²y17Lf Zrx[ZL.H40OYC[lɜfe.-[a? EihF%jψP= #YH w~t0[:>irf!#-9тsOH̿+aõ>|Cf7BŨHثT? rPB5?;ܛorNO6^1P)4̒P[8Q5[ V~y΢FqyքC^|͔M|g!lIZDSқܛrQ[<1`2I 0jl9zzCxPU ݲ lZipeGDϟZngYZ7zXZִF! H]ŗXiɟ״o%..(Jm J!>n;Ol6%%s9s{%_/%W ]ZLee0⭯+7琡?γ |rdSL?wQ^uF7Rx D!{ֶ|^`Ll1eEJ6V>$\fҭi^6:Fr8M&(]{r9 h,&Hz],y `|3=g, s#uXX ZXh4[%ӮdkK ;ڪ j 볱gYZ7zXZִF! /*]ŗXi%L&˘qȐ>_6 WRe> ܑPw1.:( AGC$̾Ls[t*4d5A%_Y2`ˍ~FKƶ\CbF/+~Y6ד o/Ruhc}<ܲSJx ħLCn,l ^ {_c:Q*$O7&I+|[;8[_b{QQo{X AںSmŗ ``[h6ؿ(訲P5Q]t`vިTKwp um3c,B#&ySӱ]we]p5T1@Ȭ)=~ OrxƟ+,ʼXQLshj> YT?8 |§: 0!ˊN7J_YU2TP- ,n-eBVC&}TldGxJ)xN=( kdЗ_%A9qFyPfH 53mN΀Ub`pS k{Un/a?˿I7ªoԚ _HO]hOe[p/5NڳR{2jq'd (J1uсTŕ^J*3X?a4tFB D7 HGfd¼EIPD?֓SCieSrE<rX}q^Yr93s9l,m~bK?,I5˒%wa0`D=}4@o(%Y0prqe- ~jdnJ9d,h$p}&;#+#nPuWuc}lDqrJZ<V+ KOdeqƩ&RˈŷDg30xI~(H6걐Urwܴ2r.Q ^ܢd6 \A{0W!1he-}}@ۃ[ L)`h1]/+<07ݥڳyLMTd׮S1VO@?<Ѓa뤂 ) 6.8$۰IEbMј[?-idzx.64>-5ןHP2PbWROe« 51^̶xbxB2\>{o'gAnk4oi#s>_l*KxWā60B7#iaPi ,s#ln#T-dPfr pؑ (g1(iqڨXYy/^9P Z`YS+W7VMK%y#m[#u#9 +a NTYɕb,~g5 0m{rN/Lm Hq|8 ) 'R~G_ d"oYh5*sF)s'-<>~%X (9;5c-PT7'}wt>FS|V;f߱0W>%^ g=~\l&Wwѫ%jw@lb=kN.eJҐ)*]zCCS7O2g X[=u mKφe YZ1A5N">ۑ#q0.1(쯷%7Z is&tl ^`VѶ#GDd.} sJI/ 47|_bZG&'\k59E{ ̈Q5޸ 燯; J)*mV I_?w搙ȿj Һ|mg(Az1 2N[[rRvge,ZBE ]@n0 x:uzMי7;sBVDkY˰vO.'UD7_j8qW1#(4>֛,s6 Ce=ko5Y,1Ist$ΩHF#X'D)HֽL|6yvh8CN8SŸ2M3Ĕ@m33jPcIϒV;^VbJ| vp e96wdv'haL\:34YF%Dс$t~m-F>^T|tbSTլ;ANPTqD 1,J7ݜҗSsY8賲y,K%k>b+,-<ED\/,} :рF(ZsqФz%FxL-(VLO1N,jo7+ԼdR݂|U(X.k-){6N"+^nɱ]5v\pOJ q b0LcĹrdܺЗKwrt~ONғ3u3s(i N^a}mSg[5p[q4 Fk&U/m%HaM,kOT}:ڢ rVEQT6ڭtV)~.5$ xZW0Ƙ -LIG*m)1*x[tϥЄ:.'@R Qcd}d۷]#:2`q"I˾L~I:eFMvD"雹 ?pKڛ弋?qտIN=3NUL2I8}WLOkt@KҶIX{ KQK~qq3MmM;@*$2m dQ'3=c2?(qUX+ /m;=+%-ayŤ`vy? ꈉgޕ^C_\1wNIԯS(*GMgKBMF~u~jf3 |>²PuYS5/n)Ȕ,"LZZie]GD'ah>H˭M(W͵;I㧗'յ 2ô&R8/T IYIZ0]āh6{?3K[9\ .8TG[c\{$'ϫzenWJr;0#]iMLn~R@CpP+OyH4s;Ve;?`GAx '[ua ]䊸.鋓K6(=nȥ lgBލ+X{`"x)p`zMMFs2 xfuKXG .Ά.\w$B=-w<v#5Fʔ(I!%#jLS b>(o)ߑf6MyŎ(-f[`{mJs5;m@YܱܨW_`p#W-X\LVxb.vY"%/xZCƱ 9{/~U &4SvE`7*:#)CZXJ@8OZ̟R~' K.V;$o11J "mZDէb`Lw AUtq #bk^zW Q" H9=(YW~90G>zWUP=9*Sݵx'Yo#*-' UQ2O&<%@5 mv32I[*,ՉMheU."-)mv[XIF\T Wu4V@̣o\aLH*Qe`\s@9\0S옆Gjc;âFlAy#b Hs>&rMBv7#QuQm3tSjPݱ`CWf~CJQ ]o G]V[xRt\g5x$ۛ`?1G"yXa!)E M=pqe^ͼ~@v54B<Fj.˞W r]!0B2%<` #΁Z: e捩Kf]*蔨AįavȦ^/=.'7k%|qmhcX:8bD5rY'[[96A_Klv ;q1bzb*3Ǿ̇nesG.Um"EW[o`lar\1k?PIrX^j@W]c$@6š2y `dؚE)a×Sd<&E6c\2juog, [S؟,_?vjHʤ]E,ٿhr6UvF# 7Oꢰ-t ?߸*'d3FHJw #$7y292Isz#^]dWk<+#N@SRHq`'@| esy;xPQ6}m0(I 6E&, fjQ_0bx}3?d>{($ryvD/w)FdBJ&kw^V%z0Q;K6>@Dl> wUђf(bq!˷B*idϥ/ULCPLնC[,kk>x&""ML)9v5* BX1.$ou8%p_#˭ڢ:3a%$ ɾ:(X¬Y|65l)cCȰ™ں*;.&tj懡$]w#/Ƨ.dR5r1%lԎޓPj#i׎XYP#ѓ8j]u΢G?Qk{>jbWI\)3l2l7 ɝS^5dJTGV-`J>{qԐm ۉwVU]>OǷ JEʮz1x4PGZQx/gIQӭG+O8W[\qFBfŸisTCő]Z3䀔ئeÜ8 bSS֟-lV0wEaZjI}EcM`)A3;D;=^4rC.k#>71 o켺Ҝ-)Oq0e>1Ov X*u3zgFsqL'X87]ƓUcwkU+S(.X$wUS]Ef/bW2:}>cA^zա$SCy_h>%-'_`%}h~qh'f0DO^ .d6 4f3 d(oc2'j,!*KB fR`Ql)Z%J&K "q53}fjx;D̢Nܦ#WLƊ*bd7ˊ2Ha 5lC7>J!!hI |_Bl:EWKlo&u)t{hmk Gh r(iM'Q{_h L-o!95rALkV4qQIpvG=7waW{ ^ 9g冞' gF]vcsF)MI8s=8m9=^, mÞ*tJ{@Rz57rdMyQ-=3m/)ǝK+" V 5`rEM ܋N8<@&6z("5:Z dzdJD- 5lV,].=2I6t_H܀EcXXӢ Lۦֶ[IKiƁCR#i!}l:dE ֍&pT0ԃu % ,YXМ<3/,QsCns,߅f)ܙH$WB~o_& R)㏀/6DCC Ň3HRm.͑ת!#|DU4pjn"t[!E簂?6X$?m5 zP8X7HU)~uv1!ķjSݴߜ;㸧EU79Hfb26 [L y8wV('-=ZI5 DQ8D]0Z<̗OSŅxfyUeg.-dUD7/ls4W sz+$K6Ü!KǻnjΈ2h}\5=L}im7Tpm㥪&u7Pٸć8}cRi[C94bϗbĒd\ࣩ~yGޖa_#S4!$hϒ̙T aVgYZbffa8f957f9d5566ec296bc1a6ac2cceefe2b2b59aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b