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 hhpD ]S]Slicing:threads=4elapsed=374.243cpu=1196.744gc=12.972factor=3.207zXZִF! t]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+k꠯!ەfjߡ!UsSSk~O,p0E{L0J1 qǠ6Lk&BDhoo|"Wơ5_I"~q4:W^ddy}baA@gm\7ۢ^,Su gdIP!us!8K'pxf^GcEnU'B=|Xh3V nȯ1;Xac @<21,"m btn}ȯm4Aڤ~ Gޢ}yB̑}ج tvZy<S]gE~zhF+G215о-紓PiY9MM(/(YCc5"Dd0Q^_- ȴJ,HUyt* dd !~ eQk!1%cEu얩:)CL/y9@o^!mn僞i R /d"p@՝4BG?1F2 *>e V^.nQ|=)e!tO-r{jk@{ 0r?l> XzXwҚ!%C((M"SzoO/W}'ꬕsw`E "\o3Gi;fxQ_ǧ _/ gt'šZa&ސ>c]CöFeRvVxrc﯒M,T4~cq/U eh"1jiLz]^H( 1Y~$`d;,*DTE*x팃*~mJb!O)Gslahq`5pW 3 }gМnjX)q8=ȥ)"Z߀:;~|y{! ߤ-׽ z #u2!.jNӉj3nݮR/Ŷ;"|W -H'P dhFT1Jj q_(Gqbu%& on!.'tު{4<7F+UN썖~E2ˮõnG{g+"r)H   Slicing  / |= qau{MnYh1kԁ;.73keO6,_Ŋŭ3&:>)$}xCj$(&)5*HTحX\7 OzXk<]Rō ;αkl](01t~Bê?ur7Cgb!CTPʘ[8sD<;-Q>c-U{C9\MO+4MܸJW )w~%S] Sa2$yDSd6͔h$2E>2dմmRuxX@d&m^R!ʽw6G9딷+ q,)D|.\'L?i!f6jצdSaocqcӰ{,TUS,3.25g>Իp&ޞsy b]^ Cט0D5%N2#=h^<0 ݁mL u(U\^muv}ZrS](RMP)>wtg6=ui~Hq"24}hXƴ%6?Th+ͤT$һi8\ŪbYA;Wr\%tFwV*D{k@1LpY_iv(˟ ːi ЙI x`y v7'1zO7_MFM+Y>Sf Io, mR&CHs׮m҉`]vqLb뵚e +Wm^ܴ@pD].Iw U5"詳9: y=Z%hfXAc^ZJ96c<u9]Ij 4u|/ƃsx35LD~9eQHȔwbWi pzsYGXȇ.QI}t- 3l2jKV4ucÙdSXUiciUb9T2Ϛ[k8uj(\Zh |^,"RfMiejKMYx}PA!h}kd68纾;lr@yոO4KSY:pxjъ0j8HoA{$ &HOFI|W/{bK Gܡ"omMCՖFA&HC( ȁ(Ķ VvZFv9~Ljv"E12qcBLm ybEr;=*df\gn )NNNl"ڂv0G lDuIW*0[KUNR* XpnfRݑUQ4JGİ>S~8-8 "]`m HjSϋ>oU0ΆJ@GQ@M 䍙,qFeH&T H}'貧L_=YED+Ej+Fl(ɣZ-i"3x JQ% ML A+U=q:7z|xHJs1HRKGtT(wAMk"NC-_t}?|iΔ/Wę>]mHlj^ $鞫4 'ki.w./G|m;7H7_%QJ>T–H c}8'&ipWE4ٓ ñnU4&!oCApDgh_!/ÃNf ~CD({=RjYZܺxT2ufnUӨ2+jw >biPĘ- T doiMf^%2z^;&7p?uwɂ 4НW; NHv.QO3RNlw7XjzZvܮ7;7,?$]28;-*\7%p-r٫Kz}Pb)^\-ZEb[fM)1eٜA\V2 ˰ ٫aܤ\̘,SQt#CtgT>"X>C.ȵ&hnphޜw3mZrU9 v⃖y_4M //I5XO,Pؕے=7}dI$2/n$.M77qʰmmKzJ._Cu1 ͷuHٷf|WES !ҺDF<^Gb>/n Uxe!)ֻ$'=׈te?oFO8Z q9@!Q4nZ v1W|g0zr gf>-Er'͈=uB41sIG׎t2Q@}ɛ^ M{OT+/]gYZ7zXZִF! t]ŗXiɟ쀸6馀YTg<q*1BNä.Dx\\ؘdpxQ+?a+ {Dڇ"YP1"9?vj {^|Ђ u6Ȥ!˯?g{`)H'S(uB'~l7ٹ&0qFE'BLBw@gYZ7zXZִF! xm]ŗXi%BarBum&ސk<&KuPKul`|;\ּqb4<ֶ+0=\ z_eIoFcf{{MV}ǜ$,>wi_ &FvIՊPD9JJ,$\f&qj AD:=s˵*WI# ]Cq2 L^3g!.rq+jqZ+i@4 Dc BL󨂍Wm@b>BH#l޿}OH[@B >!' 2m*Ra :I\cAwPT#UŚT35fw~ &.u-V0TX\=_K7eh ^dk'ʠ(*ݼI^C%Ӷ*;C$5SIŵ}2 SM:T (z%,gSEfO9ɧ[ #@ne9u34̖c"Krvs6~ܓ^?e uim2oS['&+ b4y8J(_Xcp Wo,twj#| t?r-X6 0'X@\6o?[feU-Yc]ޞ{|^˒>涓&8v BhL$8 ,綪QT|#ٓB*Z Ǒ cyDC5۽2arocWjDS :9؋#fT^-챊` Jn .('En]YI|-ywN" [=,űZb{'V W+Ħ0/.^i(fbh6L"!]&'e8Nݙg*3/xnP\|U<5t;3@.']AKipQ6 \h/,B4ɦwKrO7DK1/^^wHcU2Gϟik.u$GX-Fb)gZjnhQA)iD|Z2KA^Ju?iUA-x9J2W!K#iZԟ g[B;qWN~lK$#dO6_S]r1c%3ý-Y<ÂnօlWospexxP]tm"|RmM•L9kr-0կ4{✫ZZ{2Z'Zh0o2KX~a[2d8^55Q1T MkV$F&Q (A0ډ$9ψl=%Hboz G9DL^m_R-Q%eBbY`w/ y-j}'TX*?^`!pIg ]BMCNA;sRrEoS0GԤLtнץ*83?R߭w)92yw7~tI_ Dcйv,P(ObQ45ҡTgM=<$׹܈H߱U+,m`S7Pv@. p $Hc/EPL;mG-[բXark`]Lg#{SM"hEH2Z&ƌs!8GJ_H,Q|(R@C6Q'o'WUp烈-QsycCn41qV8L!#A7ō2 AO7׿'9Dw!)`vHB/ | R#|V: ]mŢמqtGGCtlk 6PT|*S[>}ETڛ,PFwvf\FS .ޓǣV+*&<5`QaR 5"Uv=/ lz'cRt:Z{MQZ^;ɍ̥ARؼle8koq] 4bCY}^-Jfjs+Pߐ F#VI,aVaԜvwr=8 fx`rטbB=r;ck%nZe|*64ņTqb_.ۥSY#P$W^=jN .-spٍڦ9*#ɘ E ;& $1|lp,%tEX\?y?`(d:xfPOr?B-l#]9y=|yy6c.mv/ګ]"/e=V'vRB&Ly:HZmOL -tZ;p۸ b6ycr9RhÎg .7«{%4C9Dhd[ ,B"nOtzҍ t+Ϳ"5; B*ݺ7?;J~RwFdVe7dV^KXn-Z1%:jd”JquŠ?R&kDe~ qt ^Y1Vm"N{rNy?Skj3c&]-enێ~]c/fppemCCWhstUjF @" Wa&U\[`k8*5 w! ,]nF5Q./*As)=f[ ]et.F5$Ҝa(13? wᱏ*qݍVP.B ܸ qAL`=8WRD7yiZ9-7|l $+ fc2N]Ø9ԂU86,b+oF}uR{jψ]4Ll$z :0*eG /~1OitG0-NMM7pxl{ s/_5#r[=(M~I@{}<Ah {,Ǩ"k6SzyB pp}]NS8mK/U]8BbWσvuw)2r8B鞇CTp!㨪2Qpvb~9,>?t K cVz>ҶbܼD(#Jrj#8WRG> R r:^A,a4 JR;z~JPs6UY2a" ;o|%zFf`R@u"ݐg`[g]%9Gc55 -۠u7 SɔQh+G#~*nn!,ZL|R,>|UM٪7݇ poj}M;E7,Z<`D", Dzfъq,A:s317~ kF1\Cc3Ԥq{UlFza~ŗh"S")ގٵ;oOR2rZX_Y=(7Y^ɓ%no!2sc5=_@A˱ &#BJ>6$ rQlT[҈ls, jDO EL|g'vH3"?u>bzu꘢56XsX ,@ŘSEa Xv$bGqPM &uV(qv!e $`MewtT2m5:uNٗƻS·)Rvv"ն)R$D9^F֙)05=rk@vAs\!1[0D"kqI|l;N-@2vqL|:KNOإ+-rzPTz`zϦnj{02@Xs +7V<uM]򛫧V/` |Oz'$,mUרk 3hf`U4BhZǖs[e\G0WqK?BfՉ'{@HVmmḐ W[P!{DSH\Di1Wp}aar}B=%sZ."=-T!pv[\zPJ{4(v/ڟ"u .kʯ04<.bNVCYRCxCAa„S~ W@[..rVUmcI#Lj[)Yezϊԟrۅ1-v2CoJ/E,nSۦBHaYt[w9l~̘׫l7̟V5ᓘoS%g?NW ˃.{eX0yKʫ4iX)9:gDC]kNG~G/=KYh?7z 'YIeNH)o㞜S%6e.Mϔp`(ūׄ ځ!嚩ez&p"i}3t vT;^.:۰н {nr@rWpTh-§P]XDA)U!Äg$S<u@؀S+>mK0{Ch:)iqWjRTѾ"|Ų.QYi܎MQ|9e[h ]dmЇ1$86D %&;c)! J&XH@]5Y;@֋'L֡E~;ѺHFe&x]>Kb.d}RQ0tYvh荤:ǼtWyOxuY·h ^g><@_!𖊕 <0tab O,Ii*9&tO` / [?)DyV2i>ʨ80Zu)(FjH%cH%>W> )3\<:go(]Z*#)ZdP|,+p$u-!h0$<3V?FSsooV ~ {~lPGP9lNT2BXHxFhLQ$aօd˫0~@[t1ŋ%vݫ샲@/)aWZC-";߇!:KC"^1&'J$PhݶI::u[CS|4%^xȀE2mɝNzk|(Q53 @~,f1%;(B53epzo4r N/͆Ա`'GF`^AαQ2e=1df>cUN)#){bP+#uu7ЖQp*np=< &k_c0`0WM)3%7Wo`,H3`L)\4dFb qkʁ3{x=k:% Dc",>eQ0aph}cR ہWwSN{BWÃuc)k_^Ne.3FB=vHBNuEg_=Q9eQ8~;;3"6oP=Yo$^!LX  l`#40#ϐvr3wSk2&5|:RPT*=JfPyɘc!8D-)Ի ah2Ղ}N}WX|a cPLԳ Ԧ|Av\eDLhXb4ſOCY3LVDz+xĩ&®U>/[/yTǼbvv6yd3ضN)z ,ԃ1Ky]yukvׁ6搱jI9E 7{e䈉WӝV}itF5.u,p_^ ன7z<Φo5B1 k;"Px*DZw*eV!e;&~(?ˡe\UuG K]xɽ]ݍGˆ5K>hkWޏPS%#]tۅnztlfJ~C|1 ZU.)$4 "ga[:B"MqkhaAgV `666?j94?!m1&u3 m,gΦni;&>Wzx"ݔmhvȴtڃ }kk)LSONLg_ ſU* FH+V]Y%tS[`f#kDž/GTFc&<~H-f0_Ԏ\gĜ?@!FLI P}x?qJRȧR|9p껠if.IR2,8[685|%H0 oYn{,eUz9RBV&L7Zؤ 9<)IxvE?3ò mܯ:tՀ PᥑfI u(ٚ}˨SRu=Q'_i84{ߎt*%FI#_ 4ؑa,qi)J#s Xd1)NDKUp(k4c\wC8^\IOHϸkk坪$ᆳ`,A^3$_S6; /P\2t?2dj{qїa ç-;|jLgt-!%'~|VK6W̾ N[hKhDR\Ş"/ocJZt2?,(q*!pvFٽ6*o*GLpZKК0 L7;CPO~sM8s$r$t]#Z:09 c;!}Y5=_"͞5hi!d ƃ_jH/3˪4IՑyl@G @'#/;T 3k +D.ڦxQ^R2-Xo=zxFɿӶ)A]`6pC{iϠR"AaT0."o9q5YZ4N3Io9vklQzu R2H;ev)|tO b>2,lhHk>kOI',gRZ?^u d!0PK9J`e1-Sn+ė~LZ]r Ͻl&C+©8J#f Е8OgSf;hv\ evb(bc"nSfvΑV7MSBP1S8ш I'1QP4`[s\iKbK峌)߿1뮐 Gs-[vPq-8y ґQfԻk+ FP,_g<])BQ$CߊnD$<$OfLX# "O3 +6AlOO[Ht}bGg)Nmpxb>9Pgs&DY_hvjQMț#Q½|giL5+7DJuj v@ =L@b?hևRLۣnx YG~TaS[sjPUj`NMOMtxJu2Q.#Խ6)LP1Q% \pcc\< ZZ>$3G;ӊ)",*xT1AL&I4Yg{F#`'sQ;kg) G#HjL0.R)ghh\#ـ^M+d)󥹷:5?T8LK ַ.ā0mJaߌW@[nNV( gZhbMИIng=#2NFP AF$knz?8E;n tQ`zTA6l}ABd bV.*8 wIjY\@2/.mF݀k$MAsgw3:޾XM)3dCA)'N7ypTILa7ߦvHU Eʶv:zP)a~9zyS(h ?n˴z,2q),ECU0A"rs=Qqt`Zސ]Y|6 F̽%|C-]9*ʵg_vo5|?*\OM6^环urg )-{āGBd=c )ClYIK&Fp oBuvNͶp7o~7qr<`-ԣKϏQ1TjH4&3R!]UC ٢U, ?x:jVоO7S)} t'ǥ6lʀ[H4sᕓCk>8DO`H0zJ6D$ݟsNֲm.ae?*R(Yq0<hO"AƭT^Ι*h/`:`5CPKYס5yFMѢmG64R^ݗRIq)02mVD )` 0'st'2cK3U\ nَ]«2it#$ }usPBђnU Q[Иiߝr'xMǮ 'KV OỲ"-KDUQH.frUH@Q߼=\ZS.CacIDVt/'hgI[LP-!_?u5wl>+ 盧0eؼiuj c,|i׵tݳ GTd O_gǏc0wNd*G`j N*-ۢQȣsgntI-%8~3]^638~vf_%y.jH_,]n ]Խſ'^}6z7g"t$xӟCchnOfA/KFEU L=_%~ {1IRY5P(;Ѩ/{؛$S7{L(9]dAEG-E\2<ޣdf`A?6SbM_ԅL'{IZDawքµ]0`v΋fE-4Q]r>To&/ kDYS & a^;%HJcusNƎicJA(Ү)7dSI;2:_&hi~?Q6Aa3K.*C| U>( [LUWA9j_頒ۃݿἁP-js*Udm VkߨoW eU\9ȼoto~Su*h5s%̯tES2 Q=-q]sq3" hGB*b% 4G/\߅zϽzjRm eg dzg`\Îܕ\FV f%ܢbzMV$7uŰ[_,DZzdݟpf +[ En7'.|R"9 O\Žk9A=Uo/zٚGçmx1%Vt 5OQFL\D8pGfkWߦTfRHG1~40Ze[:[?i+;*zSBtQaٗf_ӆ4N(aI%R9!cA[uSB:8aV]@h-P}A@_}aY(Bdx;'NۛSZ_Dps9M\d)jr7ۄe<+Ӳ 3ibǴs2 Brh2%\߃Ay\#]|eGzT}C9RN;Æ!)mX䴏_ܭ+PlAKu*n q]_s%h#R" yd#Cb\4ϯ܆kkmtIdH8yQ[3I0/='F*P1ozbc+HՃ,$;31g)-_+'a0N qQ󧵣ţ{ܭd?̞nqDjI)bkdJQ#d˘<0_s9l:o/m^1+rX'VƊ@`gzζ# Y9K As;ǢTMŕR68ʦvk!q1W!z wO8*ڂY;ȅ1E6]n+UKg~FDEp |J|&Eg k~i_x x.-Չe:';.پ>PKCoȉ? <`<ܱsq3S{A!?v O2Lq7GїG3`nn~r6qaw&ݿ?/V;rUWW lR ;uOV*vuI`Fv,VX+ސs~ (k 31>sQm&[[6@ҥXEr.~_l+T;Q eE 'U e*o&םm]]| !`&"_e*kHzq͆9q[LwSF6Jql[x_ιvyrE$R-DK4x eb_1hu ۝rTwwVa rJ]B.KUYa.yN[¹免6Bt sjPQ9_F޴jLM'RVӠTϪ!&+~EiY>rVH|dOMc[_\ a'K܎f9 fV?q$d?$YN* r7WFdJ KT75z'mCe#JP/-pz:(g1"+/A w ,B5^`*t^tpN})5L&gCb_xvTnа0>Me)ç%7ۚ}]|h E9y (ҧ{`ef[5gU0kCZݴNY .l~'1#%t|aݦ}l]=mZt *4@WF}#hNjVK`Mu {K@wp{ ~o<OxTX͊ }J 8xoʱ޹JbO2}Z}[y)R9W7}(EyڢF@fz`Ҳ+_rf]J?qӇ:ҵ[T.Z˩.颒; XI͋ 5Uas8~PR P2ON #ʖ1jsv<_)ЯCP*W8]ƍ(,-Z<+-= ql5#H M82~+/m֝R% :@Ԇ _ d x=V֤mڹ>UHm5fL0fV8CQt`!RGdm@ k nͅHWy,pRPf{.z{H|;~{y&T mkso:Wp2Ml)}M?eY?M~j N@ٯ ՞:`y(܃Ŵge!/SsQO U]LZ fи8/lF\T26PK joz֨VqRƆAq x(ak4,8uaf\,ߪnjiQU0]E!Ų2<LԼIfC C"2>Ϭ$=AcW ]>PHRg2bh>T+pHE|>>m$r<*TLpgb׆xȡP3*PRQ~wqadTp,>ݙD.\Zk(崤x(v_o< 2w# (Q)Ԇ$Щ89g.Q$aҌИi'(m&85^uxN0>|g IVd)[Sɖu]2EX2PD|F A+S}[xIrr (8bhh-l'Xixb*v4@NSS>>XvPQ 쎷jߠ4['A^/W/1``잘v^{5@e13^܀v Sq֫ar d~5RUs/PW xSbV7 d;I6!ߡ淆пe@׼X/H㡝Fi13`v4 fݚlo#%"AF% U(#,2)9daC29(qAOtn7|\׃ u-@,NK)I:FncbyP`+ĎH_]ecbwYG x8BDgGB0|[F(L{+O 1CL"'*sSlk"*j(eD?WOz5ԾN-$ON#_nB)R+Yp|~)([xO$棫K0hGG*v) u׷-ᔎ_l_]D~(^Ęib(sD؀œ e;D2r!|qԸOwJxӮ%d˲rLx*Pǵ;'<[4>a}Dy /H~%+v Bx!e"4ׇ)$2.roY[OlcIFL[GVx5;W QmuʡrYgdϝzV)b}yD 'g$PY%.O:֨=l0ÆfTB^{ؗu؛{DZ\R ^}Njrt0ώC#,sѵ8 aeKkݱ IJðRc?tw'UdQxv$I9ݒx9!JW$/V;v q4,v _VKh܍]؉Ǫ TU^oiu 7IZP.\hmezr>雮뇜ⷚ ?4_#O}r[ޣj*DΩ疘̵CvY'ggZ܋߿y{Zu 2>nB'?5aџtXG0W#hpx\fv4V7,Q2o QϸlYTâ&=ԖΟJbczt@D} E}bbv1X["y|CFr-v%J/T]ѨƝݦåՐDIhAd*fZc* 8%@U>tWlO{F 7≗1XK0~}|U ~|#\G='23G`jpy%s78Ӝ %_V(`<|>3Ό JS`^N {_`|@b2N3m:C{'u=&1X yb]y=i= ?}3yp1\jrJUhᢺv^ +A/мW- RGղ5A]5 9;6ɍrSU8A|c C8^DhGL.gwR]xv2#a"y8 kB.;=c@=ޖ_;m6~V\NbػWGnjeV'eV uK/@qFVs j +Npl0EPW q1pMKmxO"ߴvqŹ6:Y!͡y i ' BbU,Gm]2oCNeVqWgm\4H9-}҅X݈JiIQӉg7:w9O9'Kc@ n$,aO-,"~Fqww/P}s0f #!, Mc vd:=xU]z,26iR>e.pLm$Cq:H R/rYHFZ_M ǥhi3ډB$JK8 mIv9ɆZgJT&0HXn$QᾚZ?Ü=@ކmɟ9ߔc֙WeYᮜI|Q-d(N֯BTc>H9Þ'鎡laS>LJ=hKK-!3B]3&s&bIIJBλb|R@*֭sǗQZCX1{fG"*R%33}'G5zރX 7{ jN@xVMbGc1065jl1\bMj񶅉EKdPL)AWЈٍV7 .]t`;׎ h}O󲎇^q 1]GSyB$ T$6}@P ,BdtaWmqoq6v>+ߍ㣾\w 4 Uⲁꨈq̜|ѱapqd>vVrOe,i5E:-D,kfs Fz$P*(n:VYȨ݄ mP/ YDmE\7n1U d{ joA4XY[> ][,azPc0FA;obUk.Qyyl쾢;!imf 9?hm±,F?Qg ]$yU44N! _bp|^Yubњu~ (~:%[%X3yB5d\ŀE'UCӓVbxxHg79jC?=#w-%l'jI0X,,Ÿ%́f? ?8ERn53PxY !8 q]rOs1w z'5}\o8%h{q+lq% <~됰2z<:XFEl ŏ6jfܢPf14=׌4.N 7pWfu%'y]<0̣e*nKmRРt`~>F9pCYuW!ĖuYR:[@.8'$ţ$1u'bnʇ۶HSs޸#!-2C?(_Wt۪|,tS2٨E kLOkRmXSVzy/0R˕{n܍O[/f 011KLgiMaC_`+&mHݺDMh<ġ!L㲆A޹T'gf u;FF"~ [.,Lݑ ލW?9g(U(C @fT.Κ.*f<@SCYXS;0c7gueV'qs'YqU:+X{kfdI}3u; ȸqJF~h&u[k2׾lۢj6_l70d4ZTlyxdP8 >n6 ib|{8Yw1!}eSoF{ic =ҫDF7cuQ;c!1) s:z,rt  viEFUƗ䚎AA[l:d)g|{fc;F~ |Wy &:u͙V6Ñln=fzkK)E MF[&e;GHOb2!,)H"Q#h"u,\4}en@ m5CĈbo7g)2,A}Wb7ؒ˫o8gN\ bi*#4Fq3xVJk6] Poh)s?"fM n]8 .Gq,x2j>5e[n8˺ڕk/ϫc Y`ܯT*] im9^%eO7r01t. qڢx.KQ30n7Ldҫ&7#zSc5C*ٍR.HՒqs1 Y&Am%)"N%Jdqa 0GNPFOic`^``N*y)ĥ{1(!-K tTc(qf)⩡[DŽz}}fG[OZ,{T.͚RbyTlP0~A )^^g*iZgʢj׸@Hi:~oU 'y()^ݴ!GP/JrH0IIW,3*|b'>xg'OXULƲOAp45%Zw.m TX;8o"Z0{|=;/.T@z=bW'$bsEW rY?eW/H{>ALإ:K=* r<vXYzum/nvK%;hXty97zyO!LNTs!灺VZ<"CW@?"Ӂrm8ӧ87UAWHA~reUSZPYR sv ͡Mt:fp.DT/Ydg]]kgvk?]wpۦ $Ș7G/-x'Rj~ zp XsYoז 8 #t-z[2~LVJk~i\VUMθdS5ekAz&ނVPAFX]f"6  pOO0>%|1*``#V21< )YV`?T,PhڴN-cĭ>F)[{9B *[+;1 "BQ|gd~@,_@C+um!F(t?"xuͪ@7^:!`04CKhe3xNXWU/)wx_ !c$ݬj//*Ld &llQ<-iB`٫˷O|I5Ň}L4`%;*5AViVW]auw<9B7NdteMYE.;g15"5[h~Vruql+P Kħd9n6辝,h eЪ,E17YSCiœSPԊw_?(ncivGNJ v%V^n!-t`Qwi{gDAI(sk8KsKuFu^O4AW|7_J ?q9a-=(ZktV 7?tA y?"+\>'\Ww샦3xjbtإqi.ĞF11aMi}-s>40t*6] BJ'Zla|Λ:S