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 bbj/,l| ]]Affine_Arithmetic:threads=4elapsed=423.446cpu=1445.380gc=96.468factor=3.417zXZִF! >%]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&ZC)gdw+xTHC8,YHS#À͠%z4Ь Q|܃ҭJ/>4D2.HC^H(8$>_8t5P+N2!v I}kU|3G6>k}FAAA&dbLL!?'. x}8ybUwQ?k-'kO܅u^Fo#H#="Uh*C7hVsRll#!!F)+:y2x[#5pf cj2cȱ*O>a5ޙ?EU [, ~!ws>2 w>g%/{nm[J! Q4<4~)9-LCn{/Af컽~ v"4n֢uz}@Z idg; p]  fwZmdŽ =IGt;XDv EcÐ"k[G=j8{E{*DIJR/"_Z9,Yg)⋆XNM2w'pmU8v$2Y634H S~՘H@y}|oI;(#Ŗ0,ʿÃ_'^x0v=\|@[RrHa]_j-ې7ZՇkԟV72(&xSpg:|` uoch&_!^gf_ _TڹN#j[" O!%řt7U20{?iӄʛDZ9q~ ^# Mk*i?"!Wfe M*X\JT2B_٧V\r۽6]_?n9I}Styݖ5B7?(s&E$ɺIߦ2|ڼA#PDi AW ,i|=R }vl#F,L*S9[)fM(7}4KU |+q<n#s8q2Hz2wLtȇ\v}a"0';,5ՙCx2$22"2Д#s”zosO!4B/cmּ9)eT@։Z8âESG}Xޘڝ(ɌԾ9?,gfy$Joi YY7?QI1\g`1xyeO]i-_zc=FY:ԃcgZ>i/8i@BÄBx9AC2e WAACUw,ޮA l gm,| Yf‰R+p_bոB޽>ֵv 4IlMUZ8HXe|s #_ذqmvGuo/]v\-X}@PK:A^ Q*J$Ok F8T)+'RHa?TBQrf9EʼjZRq3t{ŚHi>Ӿ́HUT,K{&~vP\m6" ãv>KȪjMz.HNy$bI !*'k ]Za S%y[zQ$@oq&^44x;!v/VcbZAՅW W;xh§|N&s0T&ĸ4*&X+BEEmO9&4fj^ր FX \*'H4T&&%z[4ނU K@s  N: Nky.gyw ( e\4G1vO*]γՐ֔#J0` o]ۅvjsj5mb;|/Q쀘8Umu|`rj8B#8®P.,ן6a80 oG`@Aɍ(FAז'8$([|@LnS#+4Ʈ.hѠr)cPA[yhh},8ר 6<wg7^ՉeA`O{yz^[Sg6)ԿsgvP-GX\ cE?# @Hv\*`ͳ$$Lɦ3C} dYFch\ڋN=Fs*2z/9CӷAfuYC7yZCBK̒A )] i3ƋO#u!urҍ_@D>V0&Scha}q{/06*g}|uXР67^L9T;3H2qYWO4S]]@R+W[lh)GOrh%N00Dtݾh:QZ-7 4CZct^qtA7AmwPC/ţԡKf*%7;}R ^\.E$t$Ni4,ŸQ:HsWz6T.0S F0N]}]rKI^T+{DiV@Tef`1Y(Cmc`mf@2*>Ԍ|05}|S| EL7 :˪4Xy~zSAʛ\oc0ШXqAP+ @Jq2o£\L0.(_c=fdڅWuzH@ `8-O #܀SQ/{ugM  /!]'Gl#nCS/Fi㘴xK8VFs7qb(#n>? !_1~R Er넥x躘-XXNh,8m0}Ǔ!CV<Fh])Η)ZQn3+ F#M=F!WLy(4"y&̰Yn.kTdy*Y#`y 6q O٩ӛEX3 +^;zj1,TF4 L>c= HX唉r_Y7>q7Kql8k9@!pn8KJ2HDfr$,.y2g?1+ ctBSevu]gwFS7D)2<ӉK #`C3磱4t:g&О6G Wb@,W&׌e0-e4!,e*og)g)P~t [ήq?;2ёl!V%ҏ}G:x5EHoӳ( kF^ѹ=s":r\LZClJ$ 5)ܗxx%8ÓyZ/Rh+ZP+ܑ%c5J (U\ /ºИL ӊ4<; ^55kg4Yw{0 oZfOB*omEō =c0c>68{Ϧ[$\R*w ϴvNk`Ftu'UyT咸z0R-@6bDꫪu #I=׭.ѬF)>DΚ\Ld!;WumB(Qи(ʤ_[݀=`%{y5flf̳zbs4[ګwtJɘK|UTi[`h^zI i:B^?LN̉&ȒM! .ѹPڔQ#ս̞ORa@~ݺ]v6})QP](`.Yw)!!4RҜ\r?8E֤ K׹鉧528@Pm++dOa-#R."oW꧟ 8ۿLO0 7v Gn./Fue[EsPӫ̊/O[0x ~xq˲6Dބ4[A2m p|:+ѢdT}e6𱒅k)N}*j?K}f5JFex8i{<ӝ_ZoV!ZVp_߶]RD!znUN qmJn5/0MQ=86Sw]cƢZ:T C*їۡm8o Üj p=bBHI5:k| d׫{|S\lY ;w[;/*NZXv?!zv< C ;Х̓Y]%ʨOsМ}7uPǸƥ3rX :t ܰ>NҰ_?pZe&nDUnԯBzi3J,9|`Vvi/.:RW$YZw<3򸔨i@ULa"7,i#9tpYzMp=wN]%L=O/_e(6֣4̘8hG_PR&?e0v%2foc,8,a4=HU贲"EW6ְeuӴIXa:XMpqB0k&%ڡ &I~8x}%1a2 Nz#`-S HZgJa3<@zT܄ BO0$G+b(N1bVdSWB'Xc2m" *V/ Mi4+q[+9Vr"07o@%H+Q5!w.yvVG݃DE'I scS/fO

]H;Yl`9=?'qi17;uA|S gsL7i4O{S)xe^=]?fі^<p12OYp'"xui>dÞE D&9,$}"j#cY]_ VOH68BDӌu*#|ۜ2rқPɇt~${A )_j "3ݻ RqyBYJK gYZ7zXZִF! zn]ŗXiɟ|E\Ât+.*aphG)%uG䱖0y5Z.Tm.{vW<2ܶ(=LbO0a2l6tdȓd(D-͗UKdK[)F bEk'*A RPLeլQXG%XBg~H'ZV`8ٓXޥ8>_2?.W85W#9Jiֆ^|_f,9yr16<8-n5M~KrZc.{8@=pZEj{"&v^3YJ(D%D5x h<7v([d qib3`K -=@AH~&Xnt*nKq+V|k/TU|4]?) (~a?3$?ʡ+btNE0j#y+Us.SdeAck˨Z$j:̓:Mi1^m=[/@ւq5wj|:0oahr8>;?60Lwf3LF"/2z. j5@ae`{:0|a/d+|Np/^__~cl+C ?6uEZENR+-7?[b^ ǮfLsO4ՠ?"K(|f?h1` 5N`P1>^э9B95>};䭶 Jjh qbFb9pF3˼Eex:_XUs$r MhAt dɧۆ !=vޙǡDhK 6j1 ]ٮ햿ëYZxU*z@bv[( ,PkgYZ7zXZִF! 1k5]ŗXi%B{P5iMCm "_^Ϊ%h2_f.ob.>]aj4H ,t(RO¡tA \4"{ه׹SOQ[E5EAIρvOB`>U鷐cd%B "yqrhS}kqob;}#̠/Do |.NѺ^;|7 PVu0+#]mjmzk-\"~W g.]] b|Fjpq&hJKsBEV:r&2d@q=Z"p A+`IەWj|v6`C%w(@գA|#Xi`k5X_p:I5+?UI395V\3`f-&iSuB4?C* "'j{JkY:ԌfB`4uTF:;[.-_~*e/n Q#_;C{Pk(" ^W ͡t6"u_F,>|GdSpңl 5Or(Rf0CwiZr̓a0Ÿm{6s%7spYB*z34C^L?̭l-K["p~T:Α ){3 b 7]4ZU@y6&Zv尌n(KD\Sh<`fza3A8LpɊ҄U.>?b csR$g{=;-Ŕr/vj˷ 0ab Dfᡒ$1" ]^}m|N9D=1-IU,yrA>NdKulvupy[Gg3Ę25YVk,,0ؙxi؍CF#HA^ZW93h&) j*AtGF<  qz岔͝yйh(LB% {"42m%fZUw[RfZmMjr(\>pNMnw(O^+I$^VГqZGf@ Er_$yV1atQ$'>t!5{ +.7Y#bq ĉr:^Edݙ S<Q?/_\ؒjA)7bܥ%꒢nzͿ(O2)žNnvU=}1}`Qޛ:Ɛ  ^nlL<=e ^2_u`Tgud.H:҉}_/US.@5d>A-q(L eېF2 +T@tQAbswcy&@!Bڱ9y:4,Ox5c\{,]uH!/OFmu,u{h*GiEu96j! Q|yBۿG^EoZ ,<:vy Jz#0;E@2&NTj+#dSZxZj1ĂcnB2 (sɜ%̻AXm4 i7oFJKrI1-8`9x88ƅ;M$3)+$ )@eQ3AjFKp`t5d]LʀwBbJ ۋ ]F[tw;& o  4 NxSSpq0[MV-uO0;8n~A+uݸ% G:VKuwE/OΔ@IJM˺BIZ5V) 'N` WWW9"Ne)&%zQc|U >{Վt:^NmHѝyO#8A~ mK;br@Yư>ޱh>Du/o0S0)^yAH=C#`ӷ8 MQi݆ 3ŽVaֶ%X6`ˡiՀ{ޣNotjPJNyKKHRQ7&-KH_IߓFRA{ t}@<_v6.]·+^sh1pi@[;фL~h2S׀x">A%_A'ړ3A'})j} 5Рlְ@&meUaag煳)eS[?iW%*3!&\Xw4MghBXbA?9 @E Zbpfp-?s16+ÝkXd` ,;v\+A]Ni̦Edao_BpDɻ],wôvi;) %/:( =u/El>b PۓvoaOI\ΜXU7}MF䭓ȽS|ss .I53^8m栃yVѽK6nŒ#?·Άږ]RធBqӐ(/jǨW umO~GOS?΋Lê"+Khu!S8uLQRb}NOq}]쁨YMTnsdJ# 4)sh' 2]DӵpR"XZ7VɎ;;&$]X\te\#!j|ŸAظ˼'G3?0?2KD'NtdA"e5T:KHRE&YLH2hؕպ=I^[\&{j?ضȗ0ŘHѳ?~t*e EWy؛Q+liUU/2vn!)$mT+8bd"|k.ɾ:#} EK7n$STN{hFk܏_-lpfIJq~@`}ԯ4ĿE/L_t]/'.~vG eI%AK x%1ʋU,ƒ@0Ϋ<#I*t.ކ8p^k%H2vmGtLhw :B.H,ab}%,:.>ws jb( XI㿋!j3?gU@c׸|)};7>b<<E<&M쵌,D+t9lxIH(G22N.`5|ꔫ䈆j+ZV$'^=$Uk}G]5\/BLKOa`U$` GxÊ9|vX{V? M5 Bmd0ݖzJ'[?Hi=<М>+x$ wtT$[]9iߺ#)s sMD)I<' m^̆_Ks옿q6+ ݬrwf l +Yvq.H[뻬l 7CoLD8eKs$_L%`4Dg#$Lփk f#-%1Q(EVGrn5]1Qd95/$1R+M_]1\zW PWz)ģj|$/D1q-Y0ؕ 1>Yu0IM \aY5bvGgTUQ)Xu#!]4alz OI.W5ħ& &xAu^Z7o&l`$!ꬎ3 llRHγ:ɌAzE+..VCGlov.Z;a`5[ylv12C7}q܍lV2 r˄`'mРF FIw)i~% |t(گ;轼8Q5!oA0rw n];d-1?~Kj oژR"qqsf'.b)bM,S)ꦢ+.;G [ *-dhZE%l'[E͏:$?zNc>N4l8 k>8 xs?7Ue3yN;ܖ* dynJ48=75@d{{ ю߂e~*am#[rY!OWA${a!]Jsq٢#ŧjd 3lAClF>6I-&ܐBLX='Ѽ( k M4~?En/@OC@ 1f[q CGG02J[n)歓yp}Ǜ>yhJX7\CAkOSk0d^n׾7<=CһJ*-˲Q?_ NG2՚nVAKEVn遒-ac>)oTS\d3x*qvn:g \.4ks+ u ީ =O,>ρXR_tf$QN7R~uAՑh](qKj^@IikAC\!Wڂvߐ#9\ҁXTa<[P ׀Rd2jCC0X:t<$ j ,y5Y`wҢba V> G.?΅b9% t˵o_o  [YR Ts C̍{KgjcwLU+|NoE6!<5Zpq,ldG1t9E!-5_2dj< \L|Ł/P[yExc-7R΢"Ea{1С 63Dȓ&Qn Xu] *vhX%5 y@yA3|O!4\aCt9nmJ;i.,)fo',.7e=w~w$M{5@!( g ãX j͵&a,Pж"{%TvK~B0a\ƛhh-2DDco~TYkY&T,PQQ-3xߨuPiFV=*nE7 unMB}3qIcH2/qpCO1ȕ"6ԣC-LE.,˜["b͗B1~ 5imdHb'liOڦ;^kk_H@,+gU&pb%#^x[Gzg!@՗-N[ÜG㡮 'd 0/_.4_ogǸOe9O&.lT>x-Wދa븭Sc:6|qѱn>KDH" V(8Ǥ̬Z^ ª&{F D`>&K̙pIgj; `/mIA4)5/KM4vb" ֠%,ZL xnNշK-7:E!qS隳:=t?A %{7 MQhNnM¼9YimNJ 5t1z 6%Thɇ߼[2JA).H2m?hB] 6o&"6Q3ʻlۋ#T&2&$9*_ JNѽ(]d3QKcrx_@e._)éI"ЇSQ)'?&2 ^Mc~ͱ.wE5㮔uʑ?c(% wHVw\#=Y'NU{z#btW5 /*&ocǵ7k?1ּ~L8!\F*&<=mKR-X/L\5QO|"ESi\Ru^ r(ٲJ%{qZNpZ{VI$c(ڮt#^ ~ FQ_>h8k3f*jZ 6CB+ub}i kGۇ/G}292VOP|7 Eѡ80Ԧ/tQ k=Н9xPۓ^{!7A(?pIOWAjҐe*Nw[F[asȜ;>5B4TSWY;y(e!0݆ 7Wl51l/Ey$%@?;7k W2' -' /nT\xG>N7w*\\5mQtEtѿ35$PWkKugx\_%JHk+CD}6Z?;;ͮj%9m?IyR (_`߽}cZafC!bP&kFFC_ 6F (662%+uҿ@:LjoS,cr h#--/xa'_ FLCeo(\4#2!zPvԢ/`H.ck5OO9; :(,-QXMĚ4.9~6! q):-nRn4Dpÿ7Z.?z"/܄Ѐ gvK`V Ż+Vp .$ixCImt0Ñ{ddoU'7aEЋHy1$럴aWӅzl=lF'Gcwf`2pb@^Fr&8ttϓ =w[ڋv[`"wܧX7!,ǣUP׻s}u5{Gx;ɣUp8֒"k{h5 $q2:$+x~!x]tyZpb*Uyk֞3|n<n J:#){Uу,\vG8_Í y,Z7vPn@+h,w*%:F3:!ܐpic UV3MpÞiďDmA r| ګ 'ܶX7lB-)-|g¤jT,d̜di|M>RM05IB4QI ᚌ؟ɪٯU^;a)-NsB6aIO!pK;+:ŷ--KjIS*g~`Ig(39jHz  Fd T KD5%FI]$.2[O!/Jv,D/udyKx} ̺ey?"~o='\A-9YcoMbUHmόHՂ`(2G/1xqC{^u1Ze[4)#Kx-W+5HlJo>dߧ)SC-oB%(uu?Hߴ@ 3c\pRJ['ft]Dz9OnPS+(}"9@DW` Fc}N(<:V.ɱ{FeښcCH.@?"Kx/4c]8cq[ R\o aŌLVVBS)^xvk)'R"&3=fLYHVG\dTUFݚ@w -7#? ةu~MCm_q (hz?WU˟:r> KiKA^̇He&@haiםRA F9~G)o9\e k_S%tm}{2qRJ#G4[זr!>޶M*: RHIxJS([z'1d Lui7(IOq6"Ekv9U%`vZk&zjF`t.VEeK4JK22q%j^l]˙C(:| ~R)nOE&ve2E/s7%ASifsjrT0[)uZnH²8R7PaT1x$/߮=hWϣM$eJȉfNvոɰ]?Mz-~0qϦݕͷ]"E@ wI +oMzB({v1"+1X<)*'fFыqgsOR:^||g(c="Q.ڎW2Z򹴆`m&d5dG3Kg 4%M%'Me~n,:`nP]o̯[8҉PvyY׳|r7Y} j_5Q )=.SĴJRntd:2Wðizf6#|ԅVe((]J. ''y8h*4Fe(C{<`LQ3 +Tn_CD0lT]_RsF"|hԭ;NPR+18,Eqvⰳ>ZI>E\ } >.ĺDgKHb,\Qb*| E^ ۟ҞIM҈Q28aoA>OL0`Hq}h)uп ƨ77e՜K:@~k,9SRG/BʳMK2Gt%V}SVI7El"RV}}{N>ơp4m$ @@XG)Dp{ )!^ޕ?;ReJ \!_gQ۵Sk۶Pqv<(%[:0|ߒn:Yi^z1i3 |\w֜T dE", _!R#;@Fǰvr<.;_`+u.t/D7 9+tV5Ֆ߈2o3b,0$oL֌^%G " w|OA .t!(?).Pܼ OM迶t24SyֈE'ȪCDk*ᯝ(-+GyPe GF^1׆da'C ԇU\YwڂYGnEyF@rd"0m # \zSq@ŎMOEOmcGrFM9kS u>bnА,% '?;\b(F7 պiŇm\<xwжsNlvaZ>^ZRxގh43 hK6ۜKgjdzоҌ>15'mX`r^nӵ?s޼֞z` nр"܇`\Ih1Wm<s0. ]z_W?\kWYy2؉J"r[*+<~Hup KB<']6O*R(ރkE,n6_sϰ_`C+pPO{cG^My'W+ ׼A4kK|b_\5`S_ܽQŗ^"3mkzv0=գ(fXrԊ~pb=U}z>3RU1G ${ehbh&s@l:p3HF\>n/˳\q<[5RUT6rXRo TQM-;GS5#n^z;N(EiHߝ)wn=z`%'gd `WLI CJZF,n6Lз?34 HѝĩPGov|^=cL.a4IV:(B焾-gYԈN1JK_CnG֤;w'kvԐ3Ad jCbn:r QL{Q 6hS BvQYǕ<((m?NBsTe9~ڽR"_|Dnty3T@l4|Ú!9HHQWQ]]q&ѧe ^P8.f,r}qE~(cG!7V*_ϙ/ɭY5A껠K)bk2Ph+9¥aY7U0/hM!*t֤#]~R5~x`$Rb'tfom;['3*&,HTmܛĄ _,; ܆?2;"4n|TfðM`cyhk9oWկs} _N-XNJ3]&u4wnZxO *kb]C Dƙ;/14WܽN< lHf:Đמ'itKNyPWvڥyey!yXR輸9ʓ#/Xٜ/j&U-eAp.+<6F* /ſﰶK طx l=t;LQºwV`p Aڎ-ӳ䌟2:` 4;Ü0^=-[o4?u\ZC`&ߙ[\;)P yuXbms.ӈl!< ['#ױ;+(s|p0ڀY=r\:]kR0RJm*{)<޵J HtnG];c X;QAr`멆ڠ):jߔPx*/͗|%mco59ǘBykmx$G4 RpV nE̦'%E* ۭaNM78߾X}ܯ}DŰn'Kl9AY:OP0xcl sכA, C6{u\ I$ ?K-!bqm!esKE]E^1 nx"՚3Qj}0rJ/)yH*ƯZt'THLGd:Ó;s TPD,>QJ>tJe6MӐ&H|c7ܪ{! :VH^L+9m-A hrPBJs`FǯKONy3sc?36pK!|7mh\> X[~4_X!XD]]rYSU4T[; /Dʊ6jf6e|/o2&tltn͝-n{\;`0BٔPM6̴A^sݡ^>vmH瞭ٹw4go[zʥF9Txj1؀K9(&Ϟr$sc8&Rraj6N4Li5;7oT]KyISܴ(7CXJ=^K?oHj 0"pW]k20%eM{LJc]b_Uc|_ 29Zy2 oXYgwǸGCQQhspGZeQ-!L\GU=Ccx^>{YԪ&cwPn Iqp3O!$BkѬޒ [ǚ웓=tbY1a,vhφѶPk©S9i L ؈rK60I[{=_@0`(]Sү!* 6Rsv-fx X;;Z15+;X²VRez&Z\)S{8^,``ƚ?a5p؈l+L'ʰ>m~'X92&W=K乫 țkn"˅oLhtn0R!p D#w{ l;Y<_'s*dncx7YeN%A6b jhӍ!XρQY\( jL_ph\YH g6כohƯ!ס0?q]Q+h&#vBxWެyhlܞ&s4gv}#t ++}ORbzhi5M\h/%Sߒ (\XY>N/)vPzv˽q|X/xBgdr)vqf/{qLUUw#¡ш|lqu?GNJ+"`ǞC!k|h.Ip ƿm%ne ةN Bb ɁAנ_AwX $S9{qz4fVzcPrQQez 2^dkQ*ҮЇWN>gYc3@󺈞K?ȋE=qG_Eg|! Kqi=g?h8] ,Zzx &P9 Ƶ=rV2ؒkzF;,Ɇk]xjS;Vq"1et?  'Z&x{C $륑|z1!=wNԤ:>m;Hz2^np>1Ы!1Yŷ޸yIvGFыmql"zd= aRjSlSb]i Xxmge@Ā$iqiY7 'ɱŧ̳u^,c[*d|,ӱe/ 9q~aCDX  d4{.tycr+_eU-VM,3#^8.RsX'o~!t`$T Μhýڪdktu,Szl?{^dϼ…3L{$b#| 1,,Zj)uAAd/l3$̨[[Ҿ-WLNnsDĠBy5[ebom7z:'V~ؿjBz,9~t悈 ņ118!OJYF7xLeUֽC%zp.dq9U*!Ezyq)h:{Où_sUILz^ twnn= V.aGn].1Ggjqo~V!&ULU4+PD`c1RB>Aq4F~Gb^H'ޗs94I6\C4Ӂ&KU3@SawfxJ'q~ @;@"vh eٜk6 -)\iit *)ք .myt ) 5AMh@?L/y$HKYq)= 4h#?|~eg{l^)6s]A_h;BuL@Щ"\''lwBqTj͔G2'8FPaN*u%&_ĕ6a`؀Ѱ˿hVB({٭4f7U&F\]~^jFʮ0&=k Jp"iqV_GV]Qcn[@toL(U7ƈ3{+F&\E)Es/pQklpalzKyt_,]C\  {V(/?뭞^ל#o5ZKxC'UPIFܒijFFkgxxwZX8 R1,~wu?UܩZ ICJAl SSGHKH'cm2-!">v\)d!qHc"EN@=Ý @N3L'ɮN+X62?`9 itD5 8ȉaD=p˭?U']Qj"FJݒktQRj}1ޑHwU{pZQ`l:*Io",^x=w[nȡP@dlެE7Pm4ks_DPKr`}5TӖ5í>t}f#Kfw @?M. h:).u$jEOvH}ŞqQ5=t%?/: `oJɕQhπ4PXo Is.4OR%$.'&j4zmy>S`&*pRG^ZQYJ3^Gkm)vЋ?Rt0|G&2#bN2~[ALdr)7\#>qwS9R)Q"i׊TCBa:HټvxwN*Ivdw=*vj> F:ej`UtZϊ,U '[NkiNƊ)mfdA'K-M j{| hp>WȯWkmtlƆX 2ސewV,ՋxE;ziq"ttjcWbS ~SeP4Gxʀ^5 |uxsBgy\"P?||Kr_84&PX'Rirٮ{"kīAR$5D㖮\ 4k #>G[#j+,B5U1%u)k 2iqJ6s4O1`S^L?_ciSYlh<:CW3LWd0O&,9TT~]{`A]с;Zs׎Aj')̈́,^l]_[!į>@wɜ4Os ijs"wkfJym=G&X;Lti#`Z"re{4Gy5 GJ8 89>eS`N M.E#,R G4HQ.r8&/DS~ks2WeF\ҕ\ش3“@T(jA"^OvtWp߄i ~-uuL2(SbD wx'x`Axv3m?=HOtZ=L;XQ|9 0Q2z:k2I|^5Uoirї]XCe3RaN(TiӍ:zĶ U͙n2@~e~U0 tSth岐Қ05pI:eM3vV׍l+?H։4W>;"uW@-k™k N9؉BP67̄ϹHrAfLBf*(n}) #i\Ͱ9){ԅ]JOU(<"m􎺱#tNdoqӵݶvZ_ǥBdQWbO >i vNɊ֓ ^1D Ȇ6voL]kNI챺G]YAD ڨ*( ụ1]S\sqL¦iH8^X|4;!LgJ%wZ^vj3`ߋ#MvKid4Q"v {hMt yCYzq$ Ү0/TxR, uU@rn1 u.|1ע hOg\4y/7Pq,dbic 6^j\ºfx'dȋ57*!)5 Gb)1N 9p4\SҜ*֖^~Ci Sc|K!ؕ^ G)żX_l.@U{.>6XR]ʨyJ<瘟˶d8x{rqaZ&XS #OUa(]+PFaT;üEEl>ҟ@}!N!B}KU/l]ho~32H^?%an&1X31LW ə,CaϪQ^kW ~(H 6\8Z= h1lɥ#Jﮕ_V]i4RO"1@=sJO1Y1C[dU\T]UͿ X9Oߕϲ{ 3p :\3{A0#0_KۊO04iwȔ6Sty_!nisk21t;v{+41Ab JJT~ȝK! %u7A^ɴ7!<A$xhG; [0ފ[tv-Vw(">ciMكͶ:P[EV.sfow}Y#)_Q" ^ /cch0X̑}9vČASmח:0eཏ?`d6hUIn}lwLҺ+-yG5# csa;84 ^4+О~r{Cq2 ^R]/pxu]yi#Dc[5aUI7y8$zLVֿ4xkOIO{4Z/ܔ';b*8 7EQET aq?nj+:d#bVЁM"@z"oLFy"7%3N.*Cd?Tz u{ *'mc0Y&WD;I!B˂qD/mnՎzv#L([ޤ%sc4~k.QwCduVs&OFcn^S~bƷEyKԓviL2Dɚ&3E(×6# 9B|fˉ "5S0)QS QRYlUTJ޸}er(Ea\ A4PfcηTupۄ>n+XLƧ{j! J ;ݤ7t^:E(qXW։:yޤk6[:é%d6*v">=NB[^>3ޯLlZӁ9MAԪBecNgfo\àoA<ٟ|[v,钰ؿYm)7?)%=gUe`{7&,W{-S+.}3߳yKofAu]8ڼλK.w-A~ G d*]/ \Ѧؾg]`aDZvcuk\." Ɲ[#j y/ I &1-zf۬ Ѽd.!_S U`:<-bcvQeP!^S(E⺱PPPŚ!C(0%52Es 2 'wD?s/}NlᦉD"ݙgWZQ0k*..Jl f悍*nE+']kJxpg3!oYHiLN3v❗/錕 7$ٻTLʊ E0{ an]KUH_kYx]+#t1+OZvH wcNy2ADȡ\hibeFȒ3LBS/7>T^wd.j2 |4lr =q)S>A6e .gjsOOrycQQX\h2ĊKmi]In :k1{):nĻ5$iSBhUF9o & E@x0G6D!̕`i0VL$Pa0|cc3\cj@j[Uu"k\nƕ^D(=+yXGh¿1Μ،>yt9(NlG='(WyCs*;/spsO쳾fP;֓h0{XՎw\%K/oG{Mq:3SɩHXO~dKG0,ovޛ7;6z~+u FZ>)nHoʿxMTMp*/p#|iI% /ab3nh2oGPR\?"Gg ntIi>`MJl:'ƃJvxe(Hlb) EXK3?%qC{³b;OMZ(Owojٷi)R`!<-zV`bozk*aCdѠ[mY=hAD-\I-O. _e3!S sf@IDPHz& p 17\5^ȹG'i}U?]ԧ61Sr}:Tsk, P%%ATQ*m;rf&9^F5eح8Uc.vއG[N~٦>dI0(QJmc3 ڌ۩m*(i_:wc7?1fa@j "K9C܃ 62@5~@2OjNWZP3єD<8)ޕkPM/UrrɎDs~`BH{MS ӿ9F1a fAN֑Q V7j''t=bHip\G~yز?׈l?H5H740gbHRg7˞kfjT?8B8WzXL+(~\y\@*G= 6I#8(֮JQ2 T$Snآ<,* 2i?vSp7T()/tM|Vxe7j㮤~WkN@t6p['VfkHcؖ3ƄRlێKf3=`neۯԀ)7(8b8yxaRR'kD `e+Rtfd&ġِ}6pͽYQ)R[T$)۽wW8Î{92 u33L{*lr%~ ~q_M@QfR|e *iu}gs,q̥HGOic\sίh(R *L>,y1eM=d%.\[O'[Le rml?EB5T.!0ݩ}XaK 9 hDKѿĆ$T& wxA"ۣC+' 'Qj+.n/.w]^`Kº(_OG!@|; *zw˳]P>xf\9%AePH z,ReGi nz_T΍4f^aØfz#(a_CؗE_ط0v~3݌"V_Yn65llw{-)K pJC2<6v䒽6!G'yO /Q:%,:/Sㄽ+U-~ob =Vd@ 3ޞU$uN쵝 S8@ ]sK*gMΔ3'|O:?a'``|Aɞ Vw ݸUeW\uzI}AQ6~FMKzp!y|umܢWB},(_G4#qj=#+R4*Sw7RGӣgj] ŀn.@#rVBOSdu-ool8nuVU3D:`0'RsnOH63$ y,w,,)Sv`ގɗB0N+%rU4Ǵj8 Y.e:%}%HN+VPfxJAG13@x5ȯ ~Z8 Q2G+/p{ ^b5׋V]HVu \᫏]D;=EGjvOLXS߹tp:a>1,*^f^_L`<" tГ4`/>)T9;Z}8.j+£9٘_j|w4k9Ȥ6\EGFK):"NꆯPLdmyzQ?'1VAb8H !-ŗ(adƂ˃f)ڒc+t) sǫcm"HA "Y? %LhV7J%+ŭ|5 D ŹW>Z$.1ˏ>Ȉ'K{Y A?zQpt9҂W$! Js[450rD."|^X(r`8#?^箋=.S6(Uy]TwC@ȵ}}tZiȾ kXC3,%z%^-.-Ý -qϋ׮h(ɸ9T4=[C>IC0)T3$go¾%0ϺX3|*6Nph%c!lvQ`^mݹF8Q.6;Wj[&g84'ʼ;k}[@3u!PD.b+9DB8N/0oMҷqs C&cĺD8>˴^?BsR^gv/F:~qܷ2R>&Hyb~tYE@glhNaq08KA Ňou$PHGcN\ W:R4 xPXT Z1p7ģSmMior{B2˵c (a7[",kG`4fz~옶f{~Npyvۥ0d >a+AFRoJ-i#'p}镨A)XJ-YYc]H&EԾuKn r ҕSy>/b􁜉DKOТgX1HFM ngYOxF`$|ĨZ`O2y˟i 4,>qu)[ ζ8\|= oI1 ·jMvG/jme7|gԁ:=3R3u"km|L&tف|8?Q?} +9_E5 ~GF2Nr&] ڡfX96wX;hlT[\޹A3!.XrqF~0=j -~J9x@ϊ1ob.m,=$l񝿘}3[YUy o_gߝxr\ԑuy{TC9s>bd>z,LɏqzmNyN}g*yx"Njܞa4%9>-fcp, `s?66D>V@M* I;kebd &gPgk{< AFO1&|h_>MA3Sqs^A71Z:sQ ɍQPo9|e3鼠+$̟?X dPϑۓz(DX`|ݐ8_|hrdzǶ [ }L;l?#,tpSſ Tஇ<(۩B+seHhpf(Q \^h3c =`wg*q6rB+[^Fަ}vīZ:sw'Qb5-ܿ s.%/9{4=iuQ)!l͜?"Lw0]ـe͘UU*'nh AЭ,B0Aս+ίn>vί+:?蜙{ e; H5. T_dF5J5ĒJdN^sܮ1Ī~`jԽb'pe/]-,{/p-|1~Ǡ$d"m8xړz>tC·j.!1.ژ $Z+0ɀ!\EIt_ >IB_xjL mgA0(n3rj陭ŗ@(}DlBe#ĚJx #kmT%Yoӵ`MXná͚#nRIk1@ p q(ώuL hhyy`X@3iqrgxY@cNv;1!\3k?cRkAZKar\>"OL/хO>ϭn1]).dT7`]IvmKǎhZq&oZy+ { E͐|h_regSI3eG.HRb,jřĥ"\paw٩u6ǻ7J!9ڔ#4B!7$b3o3U`4;lww{n tJ(\IJTf5(T"Yy,8 ^+Y&(2,/tjA`lc#|7 ~>m{W.4]cizBi (g SYqq3ەL/:0hxhi7:1(%~GP}pSSCEtЪ ԈӄQ&Ԥy83;iXɄ'x Y㺗_=n׏glt3%2B˧a | |@|)eTz4?pzu˦nEN&ORXPDHd3>l$%mb N.zrP/ &[9њ$;۱gYZ6fe48db02e4b4d1896538b03ec450fc52422395dc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c953cecee2133864624ee7a3d9f1c26cd73767703b