SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 R/4, ]]Affine_Arithmetic:threads=4elapsed=365.480cpu=1252.360gc=93.020factor=3.437zXZִF! 8"Q]ŗXf[&Cݬ[mpsv:.$CL_SK6xٗ0!~Q3r\;e;I0Jӿ D ueR 쑴:qrRJσT" Z:*)!R{Gt0`'+#T @fI1dJ6v>(o4m9X]@ˑÉ{*zhu 2ss ]`&A1LCe BSN2GѴ=mt}fs Q)>8vFl5z#=l𖩭ǽ ]8-^!Qu#GP 5 AW$Ȓ%\$:Z̐OBwYZyC ύCVHKNO0!yYr$abby Kn[ xK\sArm{6vbU1=p$,s>f D! #Kxʯ98}\g SS]| GV3Kd`+[L& >|m) W[7"#DeX7hVJjq4l p1ެ-9fk-"1ޒ0 Yhem%y#lnyL`>_BEde|ۂ6Fd- ѫe12?,ߩJ RE礌puZdO7w2 ^9|=3FSQ*w5aq͠}|jQ#ggwdlmڃyAb<;sW ;;d(.Ըzy"w`tgB y#;ߠmreшZZ^M[(Q&6GC !0Dk4/w.Y<(>AU,ȅCs2I6I[ $ 5w3Y/wؤF[T20IלW٣jp;Y<`wThI,#b mWiӬ'(m @Ij{mKJQ393Ih 윗WFh-?+ KOV=Va\zEҋN]b|,f; W*,|4N<0ިPyGK̇j 9Ƶ,1j4-Tx;,C-W>t\qt'<2/r{45X05j-2-ɔ@e3&=۔ Q;Rsvu-PO+%FfIZIt[,(}QnDn$< / Affine_Arithmetic  䘞qn S l{KZXqn ^]Vw"ŷoClyW 5Uv4 "EFWğl5}42}BO(bZPߘIgk3ВY3?[^.fuŅһe75L#(9it_an12bTB5G8K;zWqƟā:vםމlQd+WVsIeb.XlBc ;D}P$)пd%QU*nV(F/Ԡt2rUnӛ>i50/,u.Dv]$)-Gή\ (*&hg}Kf澷0I}6?ahH9k HqeBaJb ]\-&]D䒁hoaA8 m(o@z 면8 {E4wH+>ћH^"屮t>V26{-$2f@/Q ?Fmnж87`mOK#h9\Hk&qhݶQfgIJވwd6V$ ̋Tj8Z 4sƫqۏYA|VHgFtKxYyh3*uy #+&AU]8;-A~ f! Zqp)+T֛/GVFЍpK,MgҒ{{ M?Tk*:a{@2ie\GN~lɉH[.lj%'|$Aٳ~LL{d#MyR4{+ˏO)Az>ځC8[\%Θi a#+>*0.oXKґ/5T&,&^@ }Wv&ȶv%, LP/c&P~DxxX76ȜVuK_%2֛27IV _F; YD;n&WB P ^"QڈF9KB(c=<퓄È @T^"j:+|oϽmBMz#g|P |z) mN|t˅1P ͢qq)#r큀)4Rv 7 k753w}2pOl\9zjtUdwpɈ4_9ib,BP'IT%LIͼés5jf0rZ%"vTw&D 7z2"vh.g0Ҩ}\Ĺ`6QGLOjRk@1"[?|WE!'L zDE™trZhf3ĸ@SmPMijۼ\dvz5o@c>1qN:hEk;=&T6Į F?3Zfb; F-"[dwf$ ÂȝE&:@g1)S䁸-%21G!95A2[CR]q7 8nŰ53P/#yࢼ$2RiL]s*f&]뚵~H![3_#/d;xptb4Aq?JT)Gc45 LBnl&sꜚ{%91åMPg_"NOlwM RIkBȟ Idz[AIIYxH@LDP;RL!u.4L; FK~& c49yiۼS"r_w{B*Zz-RkM|#]N;<{UNZ]UdΕ/Tie@$g RK';vEPM X mpI4ni ww<@ߡ09AzK#pLS~ځO ^lP }̡z[N,5 q)'Jt0L n5[R*J`S V@ ́ҪKw1>L mq=d楲J`("=%dqz &[ Ge\~PI/PSjbi XFSIj {PQBn+v좱F 'WçMҦNŜ!jl"м~X GS*͸g"XQ+kE<=YH(ߩdr_%Js@| tSe5HC~C?\U٪1#;odj l5~ߗ@ j%6=Kva`]حRY?z;-OUw>L<6 ,ٹpU ^:m]ˈ[dJ{_nʃb"'uH/+` QGY*`Q_>;S^5y<`fxFq1g'Ͳc` H[pr S6Q$X#~xp{9V& ܙz=aBc"^xr-!դn[)3Q#(T: Z^1a*( O ǦQ˹QPAĸTv GiRP-z0F)}/rtw#v{N{,@<%Ǟwv14e|F f^i j\ ql oi[ 㭷|^a*KĶ!y=|]1h)h1% s܄&K {ZgOcLĺndp+6'5pbEĚg2[c 148ڹq9>tx04<HQŚ7E_ӾSxQjC&cF{j3GZE2ٮzcn:WvG )uIwT1*hO<[8rE_:IXw+]Ï )20§wag@WyYQ49oA谓fM N_\U3t7VWx< ʻN5Ng ;w9ewC^`9[ҺeuK$m5!AKdsZK6'Y"hUUPM\9%a=_ /V=+NaVZ5׽EKd ]nmPo;`sm W.@ 8RN[Am#%?64rkrtt8CeJ,Ͽ1%ْˏy|mL>9ݦ`sƠ&XF`Vޓ!;ʚD= a0iVafhk!P`$xY/|W@A~sml{蕆 0\`t_KP,]P2i< 6[.IYCҝobON-y<j-(9tL0K]”tBJ-5QJRQdR>TZު &R0 ss1*ȩ@N.}\u<荅ؔeWbGW.UwBl&诚,Nox i ~Hɐ?]]Mx/CC{`^jR{j`MI1m\PCC#/0U~MԣZ?lqI#ܹrU7> -?qKQq߄fR21ik &M^9egc&5fw: u,Q !)?65)8H2_rwOyۄkTvDvݵǔZem2&ĴEWVnm/qh80ž^0Y+H CzxY@C %]-؜1I;aTɕ3yC]9efgwF^^!FȢq z4v*|وI M~4ڕ$/|6=u6j![4@rXwtGAs5y>'TyWhZMM_Pɵ4/S$rDVdr#?KgLEb̠pl)N)B~Ƌxg]g>f_#hp697fvJgI :_">ƃ;mwyQҙgc4\ .?Cr8k۵l ^pc|0X"y_-([9& B"z˻!ߙ9x:gUH8,wGf$-ZN'[= feʑzǸǐ 3.tr $?$}9, 1̬ӑ 2|-#,xT涻tfEb;gr 528>+a)̩V~^yd#_rG1>hAECz+v+|`<*ϏFjƏkjK8*"Ctc$Z8Z#0ófAȤbb:oYSUv>G\*dDpKmgYZ7zXZִF! z{]ŗXiɟ|E\Ât+.*aphG)%uG=,\y\*EeR#ހ?PK2@ďPD$t^cd{Jק^JoW 2c<-QH }s$L)BSd( 柈| B( U{Drg-nIvsV7s,4݋pl3+k8~9_KXQ2P^j6]FB/#%Uތꝡ9? LΝ}2?ZE%p^'frP_#-8*uMnݷ$<eɭ哿8 4hACfk?V).jfBNX y[n(?W3ƒ27TÄ0XjbZ v[Lc覤ʐ2]81ٗ*t8fJ5rDoynw V H(07yp> ̕lj|گ~FT mAyKN+`оJ3W  Q Xf~͋=8Uw# ]Ocӽ˩V "Z="hSxթxF _p(Z~3:b%*T:cU! E"r%TaXk>X:2b>50V.$ > ͛mZ!$9pօBU<R6 5G ]A`/Uj,xCVQxp5,A06oTQ\ ;PɑrFκ HVD6`yv1xX^)%]B50#HEq}<|=lqVs4 ߞEump܌jrL.8HN<+,U.A { Mn*y /gbوK|$X"CE;c1[HnShQ:3YzTi:E3ķZ۲E7AՌ[]d[3˦OW@h 񗿭}~V|= &Ԑ {;d!u%g dX2)"]`'U9{001 hݴ|hc͊9Ud5BYfE )Vj~Dz_yz@(x)2"T2J*"qr49ˊTg{dNŐ&/HtjX ,ԱgYZ7zXZִF! _]ŗXi%B4q gB ܔa\&kn О{Qg&XmD.*yL dAQC>2ڲapyDed0Ҍ;I:|a فT'lX\2P ph!8Xn+b F`賠v>_X9n@H^K3Z?㶫jl$]d?$'i` A=eӣ}JVGz܃ @*F]+ 8ﺿ>V 9vPMMesS5yE0^?+y{lb !( x]Wk` +c*WO+ !D/[Ĕl V8A8MeP& 8gOAM1Gu@.KF'+qy%z}vz1+et>MBבUVH;bZ0>dD&Wwfψ䪄-;SJ#ݿR~뺷#8QR$sյ#:Ou@'8c5%;/}7gx~,57>o8 Y`ŵ~dj;k ڑ&~Ty F|-D _ݽJMp!禋21} J;2)/CF&m*4Y,}}}56 5&tM:o+ʯ Ѥ&Rٳ%Ug#ȫqg» J Lmؑr3|urThRrHЎ[Rf5;yS7̶wIY0Yy;tE&ģ+qŖ16_{ t )šߏJ 7w{>pMN[Zaߒd[e!u*LmSŧX%Ԕİ0Dōj?-< m8~?' @ jnly>|\љmM HSEja^e]A_{JM|X F3ۏoun>䊒T+b{+7AA$ ļ+#Յ[/DΊwF)W?IQ9PKt6PlR]bCoŊ0Fx#/mע:dѡ"`QN`EL4;1H秪s6N#сαvfGsȼ%Ճ`{EyF-)n,&NBw_f/.e2g#hp'!;?6).ٸ%_ǩDeeq.:r^(SJHb,YkGAIܕS)Mщ@SA[!L4Tzcfp:]K:HQpS!%U!PW@Blav63{$7+%4$,cV-UCֆoԉ 5>|7~kUҬ9 $v<5TQϫ# 7>L=;tXB"T"`T* Kq(9WrpLE@B0%òTX3-x}"*|Lrc'rR<x/y15zޏJc/ŦX/䈓]=3eE-?)65HZo*@-sӡ`aQ2KޖkMFJY[f*'Ϧ\z?< T)g`klL@ D^Jջ R EkS3U)@6mk?cwB`Pӕ ;܉dC/=ÌQ@0k"[袅|S+0a. dP p*813q%N92ERAJdC!ĵCф*LH8P&i VıxȜreceh`mܷYFN:x %/| Þ깍;$#Z5Ef )g CRFRI]9B6qq6X Y oͰ4 U)Ϩo+_@! HlN'b 跖ԍG5j]_pc&)9zAcZdF TApӉ7D~@;OAؗR4|t'?"lۍI!bPM9^- 0xp6k0 ,Gh!dQ Sfԏ>=xp%] IHm(Rymق]5~`ASƇoqC Vg!ږlPB:z9qEiHtsFԊbdGh"qjY18]W9fi]maM*O[iSrTF6cF]Mg`fƪfqD>]؁ѵ:Q"sy>V:akR8-5SMmJ prpqy]^B-۪~RN*6$4&sj#=S9#!d?W8ƿc8!]1u"bGf>Ok vɥUSglޕ8u=Bc`GS 7"EgX@bS27'0kg\uc[o=2J="@xʧ! y'wa%dN̄γM~3?"7gd9]bF&԰O@ }#Dzٱ۽7J%:\(mMpQ{rNUF()|V-3 ?𓣑,4 t0N$4 p$U| ?R@ܬ}Bt;D[qweaM>^ 3VE*d)ѱ9\b|&1KГ(@4 i%M8-A_X5CWY<1$0=ɚRuK}MC?|L)F^I ]'{ѫR>;3uQŮhw0rGE?ڻu_zN\պf((7dcͥWѓWm7Ӧ,3$A͑`۱:*IU-0n1La"#Qy)}]VoJYhv~}ܠM%RGs,F AވmO]2.>^^ hQxsI Is(zf0>cO,rphzr[ә&PX=Jf ŨJ9M; AF{9M| rkUǥc'q\q xHI,-'len}x"j#Tfv6j'Z娳rLj|4wBVl#|i㇍7' C51 xS 'kIu P&'8 ].f'Z ݪ鶎y ?Mwo8ō ˃~qFOͪY D6Z 9xz9A~?*J:@Ĩer? Yl9\Rן"WpKz= STP2zT62z(|>1SoO?Db b;7ؕCA7ʾTpªվ>TskK-QM-V֥YM9yyX;jwAEjεb܌@A5_yak.屑BM&:H=fx3gii;~DdvbP;sX2'̉>r(Q{$:7LbgHqrW|BWy,ESh;1Zﶎ~ˡ]ϞSu4Y!Sɽt'n s͑gfju-Lbx+)jxU0?-7-ڵaJ sj7GlQ,d* r*4 7<MbڭQ'Viָ :Wy;l;{"rk_3 y:FaRi\͓7 Sw hyQ5*`# R$yuD(5qdओ1#!2Yѣ%~%Nröl#Jb_`屑nrOf+lꡞc2%֙oRI[8cs2KUa@r/?AI@c۫ee?pk0wS#YN˞A#u/c.3}&ply(ž;׋YocTtن$j>B. 7-P6Ʃ0 -3.ztvV{ݎijFqrˍ\;Wʕ޿M1FVشSds`/2p8 !Ddؓle:Jb͚,PuY`玲QۑfMP 0/w$͐:p,ʻIPSUʍĂS.N,yT[!D0~TncMq}ګ N*/laۑϤȘv &/Zw[.g=av# yGs- N44ILe'g=Qc,5wLn .xZ7ó|HZc/Zs(lhO`HvM?yPwo: \'7o~QEaaA3uOu#/5%Ml *rEWםTPݿwOɌ!H;&3H(} :ݣ<ی#tn=jn "sIv܍<.>F5ψd=ecFy\|mlbwHVCϭ'ܖK$ cC%D}XcE$/+7*sTl(?y B>-u j+$0]2؋jFn"63c2MVukRF~^Qa:/ݫ6t)%$rq AiPB~L튮Z45уjm|w:([E|GM,_m7ǘ9gs2Bc4e)uʗybqdj-l1Pn磋-Qe45[QKYfCA~')2#Ŏ$i^ߓ,+l,WoB/ dZfy)4}0DD7IqdBQV>17t4[5 PYCII吿#%xpY'=IQ;ǥJRM f-U?NG4 F! PJGm .2[]ls@F-@«3׍tU#<90߬*cIPr;a/ޅa> }̽ad|EMK,w'v{UM'yURL Tee6ys]"d+ ݏefW"gQTPfV,5(t'Y66GYr4FTV 5 ) d^hl&brl f{ПPPoyYRZInPؑ)wtϾJLߘo٪k1ZCYěfn %~I`"G2꽑e'!ŒF7;ӜTF ,[1o6Q!k6tbqB 7\bh}/W ^vok a1^{*e0Ұ4<*_Yo|*TVF9Caf;@BcWr?.ge o$%:p*b!v<+*3ٳ%LҢ"74N6T3b+,I|*{Cv2Ԁ'T4T3F4Kw¹=ף]Mh^@,y xjǾL{!1>` :h rEz.lX睙LpB v4I%QvxqbYW]4dr~f\ gq偃ұ;!)f$rP,kXLe_$@Vb9ѝ_D^|c"?ޮ]kփ0 +ջrZJ<ܦ [R @59X&WW Y/Twq>ه"qfϖ6SȅA gmO[sƪ\m>CQ3H+G4^ACW74;p>߬{:Og]{bNCçD{{f 8۹?w`^~Jc[sZ4,sSHڄ+xDr)FhR=5Qj)wƓ_?QʱQ!2.E,UR*JŽ~ Ks 5 "I)o}2aydZBN ˢrK,EF!jA4/># ﷷ0,+VS;;ZH Y JWBa ]k k vl< L'hD+)2̣_H? ב}/jSl %q$1zYQRs=\SuTnr$W.#uoކ`;u9r$Mpn[Ruupf^ Rsl1XRz #MӸM$; zUS'cK|&_ epo3ݦ7c`smi`3ˮ+z} RLl>SLG{ҝtRWMaX{L6)6h@+%zu ~6&6Tg$rGcmȮh<b}\>R-_``r| ):$ꞃU9E%fbOP(*zBcHTn| 0jg09_] D ~ٰL|wG@|7,c81.6J ؐ<K"Kl]=Vc.z<bB&\aoW&'F*ꌑuMdDR, & 4Az2S|% ^O9!ߵ)GФ6BMPPgoQe`;]Mq1zGL('`u%>UD~irc9x"Ӈ Um-bXO*L KI䇍G;~qܒ窉Lu $?İ%jQEbU|9[F'~I q1kqrX*\&kV[@yg{$AfFu؎r6b'Rx,c.,J oEBU<<}dɮSqjPK 0/͍zt4dˇd7{7V+y&s )ADy>`Kf|6률X\ 7+:C)Rb}m W;i4E(ϸCNN<;"n;u ՟%UrtL$%k*]"X B l:.ݎ7,&D\sX%6]6iğ2[ X?FHTE[Q= Ӭop(3?Si> [cG? Cٻ0jh\%enI*2K^2J{q1,f㑞/:GxDzNbo QCq ךc'֝?On͕(JklB7P;S?:ba'gqc v>'pb)D5x,-`1G1f%$%87W]LZO#.('[K|Z1=Tqo_^ S| w C HXsX548[<:+}HS" I]:AQ?J [ԣc"ϏTmVs]+QtX^- Eqdgd^m݅dk/NLaY碳_=FMȔ!K0:qtaxп]C-32f\_H6H҉9nI VԄg|U8&{.KB׬,ǒZ3]\3aԛpڛa :6a:|&8"ua 2BW !kxHn2x7S)@,:+ӆCxG6q0}g yTG4#tGuHj;lRҥ}nu#΁6.O;6T7 Sd]ȨPlR "Ϊy, &rL1 K=u 4 8t,}_Y]\ xTKt&1_Vl?C {[uS*6Mk}b{aש)*) ȯoy5T!Q@[n+(6n`2mk ^DF(ɱcT,y!tyݨ6rOmC5KqԺfFf])L#柨A%iїp?=Ny"ִxLr…E/K[|O&lmnL )"l:p].Oݾ>WdzKq71IumuaXz 1Pi!mcDƅu6 5PɌ ŅE-ZX>AEгI[7\&OPֳY!Ƀur;"1Zƕ^y|dejf`&G{DRM{5 [^$b-I16 pݏCobm $_p*@q7 je*ο;)*LSL~spfRtȫFN}\+iE˝\WK` )q' FOȄr}&l6D{AmQ_gj0%oO#9%&6 }y E7ޚ)7|ݕ>`-߈߹]+as8,ؑ @~sג+ d~>s5350 e3}k[Z%G)h^osceDHHn\B#FUi–+uDc) R5 W86XƑ  3ĽNei6e/QâhZ@u*y0s&U NUF zb>v3ģlդ7AO[pb}B-+N,`0c usbrvhU]\$pQ' P4FW瑴(kiSaM2z.(]z֔Y4,)d ;vK CcYnbAʢ6J<΂\ˬR8is?:?HV!3#aOx !J^rg:;?c99atWu6(1V`}9H,TI 3i.PlsR Peը^w 0fDWr"Cf/hUf I Za=#2u wø3:W:WܠlooøFAup=)xTts8+I_ J:U )A*i`V b__=OsY1M_py$-F|ASh@Q]@p_w40zt?bxu8}H0>+d>C覣|/4w^`$}Tmgz67DFzosy ]cp\f=h˰Ei2OuU)%H14 uXXc,3 L@XgV ` 9=#멯i95)N ՐhF" 9\U > I%U =ͱ 78!ƀr ^"W̶_R`J_k [UĽx:V6Px0@L򷿹%nsNS{}seFp6;/xKCtFn<O3ȿ^[%9$RjDW3X>8>Gqמu8~=ˀAREȇ~nU͓)~HR\8:dg?٤L_=ޙFt|ЗH>)`+{NqZ Q!MwuXwN?U٫>8 "yIyA:jek -}չGtE?4*eD<޻(N-Bl_q&"Rq$z[7ByJ6q.Ylu1nD].dQQ;5%,)o vYq_bQkopZ #m-w&\0l5ȫIU_KO.[MAZKqd&(J(1eib0Y-%K2G!ī6QSJfrvݞ"GH yndT!S!BN1~XO&~Oq^ "Y}Z:P HsН-;iOdY>3WXۿQN1vR>=>]!O8}Z/N2 5*j˽688WW>Ƴ q|mU#8@Td#Z\U2|+ݺ.n"\Sj^ P 'ps͹Ƽ h]:4᮰cBI?h (z#74)n>hۑ2 |igg)CwX _rB~&J^jT].їKDo_`Xw5'С퓃u=Av8p&[xAwA3wx0YDs;(t &(0\4a! U,+Ԣ$>Hm vm!h'L9& ϒrxA㣿y=^hBM/E[nXHl#6zOL"ki:zG>}y|qw,}ulA`nnn?܌*fgh&8{saU5GnE7`iIX aEcyhaM!c LwYb d<;M3tDR,5Z!@<~GҪb~7lY1nΒ9s?҅XSK덀~>ГP`gA&( }'*upo̅o9Kd%G= E&ZYV^ZdaĠ9dVTƇ`!=#PAlʅDM@>]4s 'i'A]4͇ϨN<"\#@da?pD^4;}+P{42o,i*QFiQ!9w \#ej+3~c Bq`9S>{+aD5$Igc\e}*\%-Y{$wO:Lg}Nbis!/aG:p#H @6:YYe|#FUY,2-.5tNX<f[X-8sN7؟{B8Wm/7mEa\|$&TڪGȔ)5bSkɈ"֐za]J7:7psEI'^r՝.#PY FjE 7Cr%zhbJu ?,o,$_$նDb:x%|HYB dJCn/^"eL^:_ 4<a6G6]6Ѹ׏b1=uT۵ ms 0} ^-R{؝oB 26-p/w>q7y1g>X>kGL*]yk:]b`j1S58",NBjj,E @1|他-ƘWd_○G@5yKFWϴoR%j87EQ˯g9KH?OĴ Ò@- ꘪLN[1oMKdl$G)b 1w*r !n[{Vʈtޘ(驌f: `2o<{uTh_ &Cv4q4[؆ jF4Un[~bJ4YzBԙUS6O1gVAEcá̅Ԧ$U³ =^3a`nQ9W/`uXNYa$  6]hDrvIN+vv+$k%g3 Z LbLk5d|KZ hQ{5IC=D˻;G9 |le)fcKHr{k%qg4)iy32vO{F%0I$>84H G]rV`G+>G+/#vݼ mDS %"Z;IS*q`p.ELߐ$LBęoM| %O)p*V 1MwT;jmmgbQa9[v)" +a2z^˅%;aeW,C.ò6 'v<;E7Y>6A*DC,t"ugb;Z7"n'r "awKk%r*m¥H4xGޤy1|[jIRV[uZF-j϶rk:61lbD{StrQ@Lа&="`zg]{nڅL r,ʤR RC[Qm#x#39$^rY)Wˬ?3;.<?Cʹhdž+7sgH;eQ0k9w+pW-J.*%^U|L׻f7!ܼwi6|1,~Z3wzJ$!/dKYp)d(hV&i;cds.-pBsM)9d4\Dx~QI 6Ä419%fXp{ɽi86JPf%f:UC՝%nz[S:E3]H^POoiX?Q*MmRGl `^GGUYlһDÙ8+pNn:!ZyNZH@P-IP9e8ĐQ-~ӆ'x`fQO=_F!e_Wm[1S6OF NXiqd8uW8|ZxXqz\¹2?^@>8QZv No%+!)bei<9-'ne@m{mLꃁw~ˑnuۗ0PӅGfQ>$(Y5dщؠ#"rW*L(sW]V2 _ y¬*`n׼¸ƿm`1C%EWgM[,X0U }&9Ci%:B Gw9Rj@5$z0|Ҝ, oQ;^V,fLuTҶ#puBfQ٨:))[(oOsk(1Or>ׯh@. aK~DƙUQ:e,)592s){G(/eSN~ ƈp+J]R_#,'56|"8\=8>:Nm<4Vv[q;ƇrG'1mܔ9-m.(BQ^g4j^\ tz/|cb{70uKG zщhK|>r,=̐Tl{Rw " k>p1~t:xnݯpx)fGltBFflQOD5y06(d 0c8y`DD|grE󪢎Pծ7V0 ScabI@WX;^/$G Bs[X]G1 bﳂ}o}+}W zyב >Wl ʅbXmtG\q=kAT*HW dn{-]p8k-=厲dAYթSH>BIT(Q/aE0U; KB}:V  ~.'l> bXDU3{m>uE[mׯ^~ujWvٵbÝJ2ar\MEdh?Bٹ5\QwymO"lZYx}\]0ygwdzD 6b?,i ˆ fof~Mv9#0^M&ܸt}y-Kҿv?SbWxFPsDx8?; ;G/.?1\J#t*bы% he8MMu~cp3Ԁ)O"e M0Vs3umIʦqЍE=}< ueT+8L'q`BՁyAVqs kVIeVWኧ\$wf>>< ³~%W-weNӱ6v4rHqXOc񟅘Lc}!LTSj-*U+BLg *c~C? @ˈn5T4b1NIp@Icq|jPo^771v8ŵazs:7M;>~(Lmw`O&G`P"|E!N"^@JA8HJBF8lbʋUmρ(lĩfށ3yIu} "*Z(sX$Ysއ'KY. {k !YAj_]rXa,yeXJO|?\;1)6e2GQGN1o9"1D?al4)i_<̣_ gYZfe482e5bd92cfd8475407bde1ea4eae83dfd8bc29cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d863856ccc690f6e9f616efc989be5a63afd258035