SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ''-7 l yw]Refine_Imperative_HOL:threads=2elapsed=271.806cpu=466.572gc=17.648factor=1.727zXZִF! KJS]ŗXf1-/6vRZ[gYou1-qF N w8D #@\pĕ-F Re(e (Yjj l& >>l_ e dK%{MWzbް&`:#Ԓ,wz)UIpiσL:x H/?EK#TsE#BA ?qx01{1&S'\-Hm+" 0?wǬ%Ǒ@'`’(Fdהqȭ?%W,!Y'ٷq>4h\7'z-c_}*ml#$!G'd0K$Mjpك#{C6o;#}ALCW=?AD5`TgO;iPtszDi>Bn9wzxtAb89WKN~jf`4?u) tMFUnNK{A0!RMT5s AKxIm.uaM.Vk%S/,J*5f' 3h"3kٔOjp59`IߍʗC}{n޾EzaŘ FZvP/N$%@p%5CQ3sOƟ'Ǵn5Q^r~. _o7^1_c!6]^xT)WIe:Ԉ>ҋǿ;w5LJ*5ugxy9tI6ؘgL ɣ; "5#~`)vdFÁxh ~2f,=y3d{Sj]]{iI:O`>I lS- `c9'Ģ*ooSh\ PG[F ڟѫxMhd7z=|)3q;\L6Ž:`kBDZca00hb,vR'|Ph1Y:J-IH׈;erE\~6QZ4 .Ds3e-- Nq 'ayh9>r/zӛ`atT񧇛70~cVUHIcFo[e<_i挡 AJ3J#&|!mUp|4EPʗDH .vvݩ7"BtPpeO1bG{(C,۵:| V?NV#F忸 5GV,So_ΦT~H--D/z "&` F`l jm ?^P]R/0(?FԌCRzJl;l_[~hЊhfXz> 3 ^1)\|5K域3+_!vȐԬ(f6aH!CKi639ЯOHsN.Cn=qi:̪h9\!{3340)LMUI}F_Y+@QQ\|#"۱Z~UB`8-E履i3,](`|T}ZM\O-\" J=eB4=W&>l-pIS8 #lep!q1]35c9rm7\" =?J[ZMD'y \Wm?ۜg ;1—n Gij&͒Ů굪Ȓy:>Rb J_b\#xAFPiy)YW52m1zh,_3LwBYm0^2p-{ FcFV;CJ Zg7%uc!?<%3Y\i&;{j}_;ZY:r#^6Z@OH+}.mC9X.0ofc>qn?F5J;'ts}jǗuY烰ȃ,ZRP0z+[Xu\!qL ee+bQiBI>ÅYs|CHn&RUO +7Ib?5#/y'+i%SMQMQ @˄,mTJe|CŖqU@)Xo[_`7 Zl]< }Ma]I`޼$-Aa  ILIw6L2 \NmʵҞD,UF *շ3jXݿF d&(䥠p^5A>!zĸz m}jqP %S˷;raa_^2n- 5MVCXrK 6y2s,+f慏kKW;sS{O,庁iU^ !(SDr\Gl= `-iFP{(uy*ǷodÏQR0ZCz[5"~WWy*û> 0NgIA+SmwԲ Wo%zH.+e%d㋟|;J<-U؋'NS0lʚ[vb =z\p}ReQJds-oI7Ud~kWv6[p0ͯANWti_~xZTIW0[+=>:o:Fw[aqǛʙ#GǪn \'"Teb:-ne BOւ>JAI*9m MumM'w4arnٮ0HCl Ⱦ-K֫7SŲN)NxVr48.ղ?iw|1@L)4db^Z HjtH6i&Aq,thb3r.Ø{tQ絧Ɨ vۂra^h8nk- KJ>ܷ)q?MAԡր Yϱ8ZhB[H/!6su1ܲgP EWSFY m%0ojAE,i ccFH.ؖcTǮbo&Q yUhVPtڨ)֘jz0ܨ,rc`Y(ѿycV+-&:oF+m%J/L  /˽hf,y)QN~ٹq ϡYF+Wp7}K@yF3`bb G^6rCWb5z k4kZZ!BlhiJem nd( w<.)[K)3ÆY5BB"]O=0t68j%3!;mS~{w9u&réuIKm;>)9jDV|W)إX Ғs?7p /.=6vr+MA_17ޛWY[s\RM0$vtl$˄bgt3ۏ e獅*@FUx qgm`Jrjġ;4%dZ;قwS'v"40,)RTEVy-$-3MJ^yDb",yxȖKփ#^1kEƵI=^A4#,)jg,+v1oڔx>n/^Q9aVt_$Ucy|兎Mcee< #t.aT .iH|%P KcLK"^cabN]D҈ɳ|+`rO_9rSp&brM_o>qtȢ +$fV$AW~DdA EGQ,6vN԰.&I/7*BG|y1X\>HוɁt#L\2z=빿J =\UV,1UKOPn/.ьlg-f);v԰⇧P=ioAwg% 7CDλlN]@]H1t?dz1{]Ì=P2/%7nr1l yJ-s{#8_;nRG "Mtcu1a0jROӅ/j߈R*zxn3e=:OVFj|=IXbgY;q1pZ/M@/w{'=-q0M9P* 0~?Tx̱ '’D{z*SxmsXvk\ClqnSP ֻ ?'\x 8{!BLF| seAZg&< PŔkPvh)lo pn@ņyH.Nvv?rظ'rB 2C){P%p.u|n#zKg QM=`YT C6@[ iyvH1upgoڦuM|<# bӾiYxXod۳>! %",nN}A%yea>#~ԸIO/%_;mDc_ XdjҲQAhX>oƢ jO= 6,jT5LGJ0K9n? 47rt$h] ,f+5d+YD ƒ3QӠSr)Qh J' ٶ* |63پk7*} ]>AD%0%?sp$70X4T7/37L FAK:oEN|hcW5KacVW谓`F´>\Zs!ۉ2l[Pe<5v躨JH5qm]]O?jqy֩ <$ASI0^WX~Ӹ8nep(Sԕ:kEFEd׵> 2q$c.p(tNЋy!2Ml)Ӈ+̥Fۤ%B<{ X.5UHV4B.L)Φ?'^VL3"7;=Y jqP 1aa8C*$8Fs"Nkv}ww¬<Ηoz_o f{hEFa!uZQp??S~si o_G^mu[+mSm(ZϜ{h!2?{#?u{4VQ?kM&uhRM5`kх)8#}#E)s6U3d9D]mG\ GL|!LD \hߑn+Űl D6Q ΋]7|=J=f-A[2}ӹ oLmlj]/)#+69GAfVq,,u g/l<-g\U)QxM̩N; 2FIP6 F-bԢ T-zG].ۀ|~oSdt$(GLGWZ/s U4'ǔKBo(gʛ+H:0g)~بkgs,! @6߃=\ъXS#UJtW)F0gUw(,?/׎%%$&Ϯ 槄 C>]8VEJf(jE(1pk&o(e3?԰h6-{c& ƶ+0 Dtc@*M×y~W"쉲ōd-3#?@lkAWo ,6FB.ZU>uuDݍ  = lV 7_!M7Pt!KS O_>*7Uv o,/߁vTvy,;}7ěܵ9F1A6U*KFpwu:CxC6L\^;>'?i9g(i;+i,^Q7 Bcf ˉf% 3#F(fshgaK4gy6w~06J|,[p&l3MHi%,~ɮ.ޡv ,XcJZ#48-Uٷ4_DžQ$=xT(&7n?ALDC]Iq#x;)Aj8 wfVGBU%9lM$Qi1bwssSKZ5{0UbRg?-l`ȟAFaS"묂+@vBa2f|i! VEĩL6bDTk|=?Y&CΎɭM4d^&}4W4wK 6{"} ?f@a[Wa/DO'G, T]zz^\5o_zHC~+>a9vqNhNݪ8w!YE O?6Hsoۍ.,S%D *E.>èΡ n1 J _E2&<BVƿ}6]9s}̚!]a5&8 +@.HUV;ݻҦl[|/ .<4+@)6yɗծaLd%Vx->coQGnπoFFh7ڸPg}X"+o#N'^i? RH>d꽁GWvjL򈥌d`@'|"adc1`V5ΰ13j\rPs${hVHnPerNwNJ(3Mi X_&S?-}#؛gd%[gG5RhF{zTD90gTl ^PNKdre Jdll]xem3Ur"` bs)!&刄p/ۋ6k ;<4<.KQ zXѕa%u@U-0zLt#3 kJ깉?9ZEN4Fp9>mIy+3jq&BO*kEtʹHZ16q5\PM֌[F]訨?QǪ[BK!T"F2zqME)vV~/˶{S|N@vN4):B@`Vñ;t<'S*Ej$ ]Fj znKqLa$<NU>Fʒes]Zl[m0R\kSR0rgyZwr,چm/74Kahj-;u9*l: V4;d 8G +}>g3J9-i oʼn977tc>"Du_d?δ?`*ʕeלo\<D7TZĵ9ߓfvbe,0sʹjĘ7 4BՀwn_ՠZ[<7[H$1#]9ު9ZZ'!X#`oex+>vrC1q1Soxp= &<)h 7'p@l@< U 56Jm?bg5|ΐ69)vv#7/%L32uhkm:׈w&zę+3:i,|@"ɦBQm? >sD8F& \$)zpu+t2{cu=QᄅXl B8iPuWel_H̉JT4cؽApg:WC`iDl^0"~vgMy$iyn4҉Ningj:kZsMh=cc|?X9͛;>8GzWR_piaRGY?vOd>ͬ'̠%nlRJMn5YYdX*ILMsZӇ"Fd32M6\IEZ72$/dVgiChČ% @-!Q4HeePìI]٫-asY w~;SeE2ACnʨ0_$< |Ghf*?l]^/'~+SkCa4ݳe,y%d3}?1<--|jz/.]I=#If(p-7BՀ]mvSGvmU`Jf)H.sw%hW캲( cy&2~ѢGW¬(+P,r'Yف7^@J#weK+SBVHw+eC5uOƳԂa~Ɋ6d^6y4t;5^!Ƒ/?Oa"I t N]ӞaLeK4%`r-u6C2/[>+:㒳RnnIK~TÖlKMA]cuʒ{D~ߞWo1<̷ '>dm[{ߎ+Z+}N7>mU՜0~[P@ J~7#ð`h sVƹ8/YIQ%Ds_tKў8ycH@Fr~\jL'Po`UFFtX/)eCr׵^&k50OuAȸ葓;[ǜҰ)O)Q"@t7%`Cj| GPJrήLQf3$l-->]Qb W+'ެ肝'#UTw8AreeRy{k;a  SBK oy owuaHB( S :SzdTK,柴 L̉A@C3vk0@wq G YuLP\a 18Y^:#p6+h&~ZzQTB;фP#<΀ACF<zM1ZCȡ-ÚA#P>KC& >6U,G(7 !9Fw=4Oxv& [؍:Vfz;Rc!9hQXvZ( 6ȐGkBGhʿoV|Vx 5k8<c>O $d|}.fPND{OLDN J -61E—Γ&& ZJji5eܟYC6DQq9؂_W_mry~L.9e%!Fep+T(zqoIP.oT:Kc q'J]^IYvNa$24stj`j`*w.:[)3S&N>REsWJ0XdqQUF]q xa:;E 7{}J+xgxF:6P17 ws|[a"&'InmKYHIWm1t"#WO8A6)).Vo `lWfFfMv5 )AGG=$tKO~)qDcX(JD!&w…'׹ hXV(^DkO8q&?+ DbQ. tq^<8"ki7/B1jV[6=P$ƈLjVX7<2;=)2lcmXZ_{h] [h"W+nVsQ\UłH\-K_I`#žE6VTaw"YoHdp aZ (UOepnQ(?3 Lh~ _n5XO1 pC K- WT I2ؒ_ XKe܍>UsbB48A%϶6aw_mJ9EXr8o)u̾"?lŜ3_O5W %̅m;}չ1*%?$ odHHpFS%f.|B6NwxTV!)_*Q.#ud?'H+ϵS6 Dr[V 4~aN dc,NN7\N2>)LR`jG:œpGb`g?G$a]">HAgP兰 PEլ5,EY >ĸ-fW͸P}hXjW֨ ֵ8W9DdFõ-c*~\֦. 9T^[]5'kU}#$`qp̩/," Ⱦlvh~~.I3kܰCC¾OVwVnasJ;+:OQkԹ%*5N@cgg6swp>LD 9vIGm\⼘$U9Qʃ9l3u1ݧyc!%V7Q5[*U+#qAz]C!ҍ13iX{FR$F|(ndF A8H:9 ?:|L3zP]Qa 8p/'-M}mCfjd3[ sc?넘(ً `䫐7Q;*ix8?s8AE|6(hB:Ѽ0OնݳK u8ͣcarKpEFTU?(jPoA6ߏyqӭ.] r`5ZISrY*)/;h97b))&Q-0Y[8ZP>·}7r$}w fGL+W3HR-,%.n8nw#0GNZV\};rɥ&LփTnR"/V"&}]Ϻ2Ds?am3]oVю-6vz[ڟ(UOHAt`bw6YSusotMk]br\j}STSf5P%ʯ{/q >7q[h8Np=m?׃fT/z$szh3GuZ\ OY/"ϼ>mp=?#A]'/[dv|uۆlHyԲ >$$M<͕ !EG[؍}uUt=uEL҄J~'ڹutPBj(p ~xqHKw% c[rBz}pWI!*f) Cހ2j~ |C' b$c]pe@6c׾ll?f7N¼bwAE;HӋe}V38o'CӪ'yfl5Ő5n,Ao]@PS_xCճ9JO?Ket*˛`>˯yb7\O^Ry+ʜ6Pի;SI6R0&L6Dm*v=am{Ү^s'QZHU@зk3!bbȟ]i*46'0 '$XvʻoSP{fQ wg(%(BQ?HIg\JN@気xbC22#ȏX؝h~'?~H|5a|9In\Xo^6gJUgzMuҕ?18lyE/wSVFEβ{gwo Av.tz +MgjhhOBj.m\knY{^>mBI@V8vow?1 [e {Sci)pMމo1~y}S2j}bJqgg6e#n&@!//䌃4Tq/͕g&:LKIo"' _ٜy7k,xQŒޕaF1.NkXThvrw,wE_ܳ9E\WC/NF:pf>DHz#׆\aNWtx" ҳaΡ8XNLjXIfP(GMϸ ]H PbY7ViUhXM- -9%c1z\hD$Owz\v~#Ja8hZXΆZT!;WL;X&Ó^?.61j1 |ޢA,YFM#z|-[Fiɽ s"4﬑c~"M_kqLaDpJ:#:!d\͞\yU@$BVca G[0.F4xS!~:<կ0oid/4 >Q ZlA)^IE?t +TCFz U3pEt;"S0A;2 D-8YXȊ)2]mסX,O'퇉r# Rhٝtȝi:J(6\-"tOЅȸRKiCn?'4!S6fd&";nJfL%;\D3̊U,Hy^2[|ۋ*#Vh-pj@-yp$c4'v[Y.2;5XWbKtQUy>*BO9E:fbKd+H)u?8DF+n}ĀI FA1&{:NVio B2PzOu9.{٨&]Nm_-[S4N&.gZ\(E\E\Hm%lykQ?s *oK.[5"hFq1 pCHXĭ~Cg-Ojs墶 lf*đ_NNqI( dGXRb[A ()>߳WA}o~n|NX/N N[ |/ 8.m5>H/% bA1mꃻPAI2 w[Tg,.Xsyax\4dG1Q|B?:Sw_-)2HeES#>%.qr2Zh)O(ǷSze/Yʁd]X+;Wn#׮"=H?pPѝ?E3Xʏ;lDMj`n% ZynÓ޾8ʃ;HWwI䞋~6cQn#٦lurOEKc6cЂQ M v|mc hM}[ftYt\f(eb>-[' mهC' m.HWzG[|dxnQ9uq8N*iVU " nc?^%+u>?lJ J|_ a3MI 1U{Wݬ϶C允!~DN%,]Y@5hke5.M@P P1WS/u):a5!3;0/bZzn+qWWeV_Pi+)ȇ{7EzYeul.?wԚ) ?,v, 8J.Lb,J6lE NjS'"RZc@'9mSۍ2˜5] gD ->%pHs_VxғB~۝1S#{{ЖX -e9!=NY,c5tx+QZ({+ y/L2ݳ.fwIJs9V=߻hԪ-֑ut^sodD^Uknzҡ[KP "* 20ϥ _כ3d_W|_Erg;u?N //L1@qEdDoq0 ˪,uk>i6;ɶ\S& \=pcn9Yuz鼭*Gn',ID) %טʭtP֒F_e7n BD= (I[eU`Rftlftu$vOiEZv|۵ YMGo⻅}dݮZME/$Gx:WW_vZL 0W;i`Ȥ7\bhH& &#TgYW6l!h!Ћ7K+'Ŷϊk(V8K$#K{Mk|҃R?ҩ Gu[!*\ NlFgRsbz䯢o^vo%ӎ}EX/JUJ [&}um\:\Ӆx/dž#AF r^2dYor1ג p8Sm6Eq!{aX@F@QJ#nZ;t1kĜMօqs[ɒ]͹~wk{"(M'ՕfA(=}B1?ǤNxv)I/C/'xYɱE3Rv'{P" e"5 X`+X+D7-@+[:R8 aqQ7$_⑈Ł*̷m0Di%=I0:3@z\Ywj4)Z` ɝXA拣fmť>V%KtUx=:ܴf%.Եun=l[Hj~ȒL?!ci_ch)- wSxY(;/o%:ڭS-8[4Q#pd]q Oxx{SY+?ς # :a؄a]Mh"T+q"d;sDon>|] =#$.uk:fYf [~R4^{Tt*B< VoOk8@9tϨҽBL]VKY dj.b7seĎrK'?GrDKCnzQs@+>'P.Ȑtf;>v| 0A19 bO7iSH,ڻ#.QXU}`HUH(o1iꆺ6|ߺceu+8Ī P9| vUe~0f1޾9]0Xb;4hE#[J=-an>)\4#,z+f^Ss bnmtW]ozC%eCO"\*9TM}9\7|y#wY["ݯj]Tdi&d&f`"r_Tv?—6}~J0񟲍E7²튞uz{]2?QU4Gհ[y hpO[RIf~.,)X ͽM /K"y;mx[Ǝ&Qxg,iR`#v kӠ6svAio81jꄭ?tk R+:I8$Ed.VČsYD"HeьIChw-U_no~ 9>],K/+ L\ΖЃ%q!.k H7龂Ǝ79e#oA;ڕ2Mq6pNUWccg5>gK$OSvСz |k0Yf.9] f$螀e3ס~@sJJګT0dx~:F"TB62ob .B$^Y!'|%;MDpT^"3-̷쯁"NDιVI<^~1o0ЕYGC[r:s$8$Ӓ@w¦;nt D3*l{ך=NTN pox;B$ӍJCޙ<|M%lrJ#kCY!I/^U&zPa}&#jmKI_ =p^bU-7N m+YIa1fET,%2/Ovct R(bI0-'QQwsѶԣZӇ9tW_}xAЍȂ&G]AؚR䥌`^f Zprx^nSJ[@–>%Uao(hUJwt&?5=ʊeOܭ0ޖ^{QM#)GfW=P^gH daŃ>dq s7R1$8`ޭWUXywEn&TlӼ6,!H1ʹ^noK'|tݕțT,A-{5iV w'10F~V8hMi>IFG 6Ӌ(6q \;ǔMӾ#aivܥj;oKFdWo9JЧI abƳ;e*z\ٜ>}78\Kl]q.TH>?h/քu>0ARa"K?}S9M+b٧˖ [gYZ7zXZִF! 3]ŗXi%oHgd҈H`RaaF@wtM)Gߒ񺼑vH*K MvHo7%~wh5t 8N P+9T?Xo~r?%:^Kg LcA9|aDlIsTmpW9-><%oSJ^bNiJ$H"yc9d[dsxk藧H7=T rdGj( H.3+a -խB7lّ% ZBm^ Ȱ,3q=4r+ }.ՋZae3\Gh 5H 274^JIŨFE7bU!yMK"h2>$6Y/ =b-gKw"5%i6< ^2_}O-YS7t>f p=g),  M~Ŕ);<,Sxy9}*FcwĨ7 "7%(z9)/qc 6V|CZ6+u i 26YԾ⋱EogO- 6߁2 mm󏫣 +XǷjCFv |' <+ihsgy\|`3p`}yWFfO"adUKZSfpAb_IUro!6=Hۯs-eQvJB jJFX3&! oy* uny@ ~0CbtzɬfR.,7?;P- IPX=USʃ(T~ x_(8ShNI܂+ɱ SeGb=bG+Iㅂ)H>AlVS<c%نU<! l2 珟 >m+Y5o)J>! *34ܩ^}%ZLBa/ۀ5w/.㛳8a+-](RvB|f:]r:CY֍lNV|W{.9&-ݏVwa-ձlD ?ا KJ\ǯ2{3 zcK=9чrj G/.ΰ , 烥HHs sfVRi_ =QSS2OYFet)ż[`!J ln@3[k(y+c a͈{%WKxG1u?4l;eMY_5pdp&Tu F*)|8g}IGIEξiL%:]Ɗ<]UwL^Yt7Nزr5#G# lQs]=jo"4L(I170 dWSz+1f1Z96Eh.%阘Õ}x"*盡;b,!'pjQQ+R .LWAdݲ R\aZEݨkP[gNvqaN;uwT](t(*֬GJxS@11s^ʸ T?^DzqiT:[kܰݞ LL>%: ,kIl"n:g0-u)}Dg^֍Qx$#B4KPc0YMk ׿6S F;G,=':݆#Zcm{=܍R& YN%~RIA(#HA0 hv~hTD6Pسsz1@t+@uW{u46yUG.s奼9BnâO1ѰM!7 N =Dtn$sؙ6 + }<=L|E@ѿ\|gĴTA,4'΅.Ԣh`;u7͊7;:ͤiWOќt~Nv-.#NqW H)<W! pMjؤ| FaetMPXI#J䆀qc"S`ƶ쳫apW , LҼ|[+Gh.c[Pq'Z82ORu 4PmH 'GG?Y.r<\kRBx!# ƫ?qtmcffEm /낱hzյJlfX : a)h _+4bkNHP_1q-ڍ+ONze6ľ*=K&S>_YwTAadZe fqbS>Su p9SljhS(;^E{|lgPK |uI+D*$:rKÌ$a&PɾTXBܙwxE}UU %NarPVURL L9X،nk3ݪ˿V}\HupYD3sԘC3 1PAI<6*hkXKc=+ G<+NU?;\ zb0qPξXgDpSĖY$tx$O~Pќ_Ey R B2,ў\1X;UIa#RNxcȃ|| PVyv3kȱ0P#]8I>.#q 3/q3[7ɧItA6]UYs'0[grT)IgiOC6@PGd4Νb[Ba:.#$5XB!MH/7Ʉ,6'F:FqӍ~M}!Qskg#ow?, Eg=e~=YS{^F"Tp">ByKҸ^_fM/eaQmS#'>|V壥՚= 7l;|LSۥ ]OIP5 Mʹ$]CT *ECצB,x2,rhw u;cɅ܊콽ߓ. 嚙g"ət2M`)5kggY=TAw5gPn[vMڐIc9.= hz8-Tzrз́C&XtR!×_hO(@0;sYְ-R`ŨvjҖ|Z0{za8$3+/ɀlBֽX gakק]wᯧ:bpu I)l=7{*ֵ7ctNy%K.w2şyHB`RW [Zkh΍ ]vЗ[Mxx_hZpy57_J*5γ=3Yh/.Hr:S/YFP[jAp,Oߋ-yđL&6|*M9+!vPceV| '(~F| 5Wk5Js|~="VWбm\`ITvv*g~Z 5Y jиndΕ/xѹSa,ݐкlcEޫ5>~wSUmV%Cliߚ|Vϑ(݊?76/7# k ƌ&Ő&/)*fp/bX׵FiPeVD%Uۥph B Тss/iq5 m,T[Fu׾ /N~`N>goԷ)IBX) wlA#۫zE]@As])cMLcіE:}Bj{dOO, V~Z o$a3!\\.!~1 9I S(B7|P}[rD `[].)S Е*[6"Θoth>W59Q貽2j,љYP.5 Gs ‡S:(ڇh-F{؇? UdgԪO(?d/Fk/?q1pq(6A _( !c"ϡ/'<2B L~X @J7Q8?Aȫ6L2Yض+UfotգjuCdifiW[ .ӛ`P=ω01YtJNmVr\$Dx P²0BhEӃM,;1 c߶77xYV7KeX)X{ ڧ Stp-jH 5 R%vCtz˂Jt~8$6oE+uchĔ[ju= ;[b /{s3P^ջBLVRt9FeS"$sMBJ9$m:a$>g\lb5,*5C WG2}/%Y3t[䋖f4@=kΩ]"w6Rz"2cK%pWgx\ߏ9Tpf+h C,;ăq PU ;+#;,$"F8/ gYu윷fnڱ*ݽM7Ȅ&9?ObYt魃U]آN{[rGv~yg|KS~`@&T E0eoGаzmj AED,G57\ʞ:8Y4W֯2oLO-A{8L&sh) ;؋gL?IA5ߢy,Aˊ?> )Yۥ2VOs^e~XӠ8Tlt@rjBB8h">pc-2R'^ԭWaOd mMVP;*z^E۰ִRߒ_c%C劖9l,7`J<&oVƊi9SGl{QM=&Q68saW l ލˑN7 z>qՊ.cDJ^sԢT6''ntԁga.'F#Bb|}ARu!Y\/mKi5wpiԦ"'^nt􀻖o)nfVڃ+qB5S לZ&t s;kVavpe&aBg^1ARZ/kY@]~Ͱ߇d:߆eaD)ܺ>KGr\Ղ4ҌgG<<-E1`@sfyx8CߓOA%*Wf[LŒKԁw+P"+ O88Bu׌3LgRDF̭WWF'q%yTP5.`Wl81'XY2-ڷ..X>Рaɛ-eX%r4Zf';!(2^wpvNQHSH4t\xVF}b5?oXf嗹4^l,T޸[6 p}Tt"Y/Eh 'S2GXX%ø>Pz0ğ q}Sݙz|@(C 1A[jboo7mwk EPB"lj u8C6 z N4J S|XpE0N4\\>p'H pD{R?$5|#sݲ__c(@2&B ƇS,qFIv $B~_buv?VkK.ْlRhNpι&x7ѸL׆8iLu*am0vPEVIpGDDCZ/a'>6>aHW9R MX1LL[2=ϭ@b0Ȩ{w~ | ,DI=#Д򉖈W}K2ʽ[d#x\t!] %6eMAdSwWZ% pmWhu)5Z^ :1pYŻh;d9gg⏢ѹΌa?7EAϽ1<Ļ]θ4GW-CO.gA_"S-TB۝[&;Y3.8Ů\{n 4QOܚ7Jnf>їIG{x@_3Mq"j;Lqu̹-M̄ 'Y-PZz mmi?e H]=>x}횑KmWv(CfFCԚ)r M/k =BhʤU.`ؚN8n3htӟ)#&s5SITuhc/][.J=bp;])(܎ 8s*bX60vgwbs_ji$Kڦ> {|yO㡫sz f- &MݮR+\xM-e'9%ph@D oOpՒ.1Q6b4=b79J b]-Lp.2UnrAɭ>Ӭ!Ш5ZCoVZ.'[xJ@n_)9 K1OMC/f՘I"=F6`.O"maAzR;y'cУGUMY˱-Tl|ܔ!9K6hپI*$%}un|Wv#K,$x1WTܧvD',"Dv哸+9f>8vDDʐTא?U:&o8WObBա3 -!邧eR/w՚%aJ=AQN)> FH^T;qm|gMPD9#ndw sb,2ﰆ4A^fhM,Ww;CP)cת7 RT}Ao B_5^{ ҠE"|=M' B4Vֆ4,@].ff" +ƱP_-4'('fY5켓xZO,cm&d+ -#!{IPbq~c$dO| =3n`ƈW_s\0q 6vmAJK>Ŷj|O0$M۫Ɖ KxƆu{lz+y^鬌KdX,mǦT3#T-mM-t|P ) ?^[PJux#2oD1ԯz#-TY:پl|\v4u>!F0WcsL>p42 7V8f B-JmXEn ~*咩!(99XJt_9$i2k_P* F n$(Rʷ3.φfcB&KKXBtvÅ 1s EwJ,EPدx-M(Iw{: IUL@(uҠ$;iu4 iG o3*H󟯤Q?R%go+/Vn g',6GPD$$=Vbr8wDZg}w|Q!6:х6:^Q$vÏANrzJK?w̗;ss~ W-Ih9d}g@pUf:ed(,H2y发.|P}b0BъױӨυf{ 6@&ȻA6T/s&šY.4{"lr]U/J;ِ ]>ls+i#1z5л9NY{zbS Aeʭ2ek2Hz$KdHboN-26ڝ.@ &=+r]ٕLgu@y..2JFҰgՀ)Iz$-ZH{E _3@0B:C > ļ<.i]@-7@KS6y^&gX SH(T:nSŀ/h nf) 37#0Q^mDis"i3A/(N GR9dxbGg?N |d9'ՖIDb i <]y‚B3ifr@[ݬ1PKJJ`'W)ԥy^#l:RBF ⵘ̬>Rp}k]*>ڟhFhy鎍G\6N}Pu!1GnчvO|8 7&˻~Ӓ%= FPYd9Д`*@]pMF=:bpWVɚ,{NzxiS9 _( W ;+he}Z b :r=,|~I.VpKfzV4=T}Gp`2NnI.K jCݮڴ}s;NpJO+щlU<2ZeCGαdHΡ'?蓀Y濖stF 7k3WnΜT %rlm5ynU%p e%yucn.NPe?[JeQrvAT;ʧz Slدh"1P% **,9=XҺ. u"ҞL.ǒncuZdUsPu Ilń{oȖCck3{_d̂Ǝ! >U|!cil_j5}Ue -\xӔRVcT>QSk1cGN],"m Rx ,Ȕ:G=%0Q [/A9}Y. gZy0F6%in`pBӑT)76Ia0-AգgS?|D%wc+t@ \Kp||;'aBW9@~N"B&8F ͋.C疎kI{U5X~nX ·X]MŒXNx=QXF4cIZ0fZMJ*_̗>"vApAđH,CAb zfyr*`>X}%oqy" mFePե:}!  $ڷWLе+ wI }VH0>!T3%6/F/޾$,T[Q46۳ll pNQ[ջZ?}`L6ݭ)ب:PȍMXjH[?޹q&i54 >r1z)ju h'_s֭[CԬTjs*`/mSv m8b;_PXМc 1#j ~90n&8%/!azOLGĘ7GI{H"Ld11eW0NJ^[CP(RyV|>-BaSzy 0=+~6"}["d,d\kNUkN"=gB?aJ"W;$~3kíR, NaZ"ށ#+k-f_ %FB&dA7ٞc¨lW:6rl(3p|'ak'!OBDaq`?'_sKY1O)ta Q@no142@S!_5.*LH O9>J!ind)ClJ0-ғXD@v$IG' <^%iRb?=ٯ_ vE* SoL~wGX!^fuµeȥRy}LMOu Kp1:n5? #݂i FUc{܍K)}?(wQs(}9"} q \H -ZkR>BL6O,MvN-^709  t["Fp_{*f#\vAl,Xicbw0Ջ<=Ik?%Kc޾,} ~/ϒ);H9Ҹ <-1,e>y!ZLjѪ>WڇJ\\zgT´Pu4wUObpa< PĢG#E7ؚ"[\L) 8m;,1>8E!;kH`-OƖ($17A/"(uC;ޞJHƼ+L$Q=£yMtv>W; Ɗt1'1ϛQ~8p es^7ioxSeo4@csj$9ؐlO0t7A">wԆp$!C!} UuP6|F$4M HbѼ,r ݶ)͌ MOa~N=pp˧!MgwM߯& . tkxb;)r=?&"ƌS%^nv21|a9}H16*AIQ>BE ڊ-Z5ޭR%dsrފMyF9ʫN=>ճVeH\]a4!@E