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 ggq# d ] Native_Word:threads=4elapsed=651.314cpu=670.408gc=7.864factor=1.037zXZִF! IA]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Y)J&ahzP/Dlu C|!17gaM & ٷW^^wxH"<^#6ijP1Kz:R`Bk۬i2I >A'7E74}Z;ƺS!qsh>f&%6 ( tS]*%=3n|`4NE3o.4^N$6Yo(a2 B ]b*vXg5߷ԩg?B fQ4$ʳ& g7 bo6$k*oVg_U>bͧ'F+C5r~R?3&<5Al i5^%%N0P(jQ쿄D.?117I,zMB$%z.HWt}@e՝Dͪ*B*n Jq_ ɏ6O&ݳVѿD0g5j,nIk@\d[E4WVxrR]Rb-ݎ*4Z۳$X/D˕څ?4tG:^(,RU;>!t)mR*%}vsdҧjxiƸhs;X!c5[PC:XRd8iC3|OE^[Iuck&(|cl(.H:RYNGhM(+ry_nXAݩBƜya2&UURS/ŔXjn6NlXO?k =f5[FT ώVP~s d vgo8Tk..C °k!o+B8]k)\@ yt4S_w,MuE۪--8o/TawFUz<6Pf?oBhfOK}icfPBb_U^ Lj0jUR:,#ݤS,$[qfIF# a? ꮥ0X2ZYA;K]F? 2#*rQHI4uBM=|t9T@Ȍ/0@nDm\m U.(i߱G9rīv0]TK Hw~fe4-秷mLsu\m`א)qtcK>1)ڨ͈GEUc+djC𗋮ڇ?UjFaQ C%+u׻~ [|]kp0)ē}Xhf2 WbRUZ4M~R0rk; AxʻڅleoQRF]*P5Jm X; # Native_Word   f#A/ \Native_WordNative_Word.Uint_UserguideGenerated_Code.ML7zXZִF! h] %H  xzQ,O찺& эSezQ?tݷ1v _W9eƪ*풥R\ m l)F\@oKȝaյ}l儼$͑)D 54/G ` RZ;Q1+t~&~R̥㣈%I;!-_롆*Ҩ9xpx_Z4P8 `(p5ot \G!2q]"&7G*;Ap#W"qTl{ؼBH;giXmʛ1 +ɛ[JD[r%$n76ߐ|_\DUbt~aH?cɯɾJ ) T;s%4^CWOlkS'!BƞvUa1 Trb/;>ʮK9_n.kP(B=/>ܲ&%ZծeaAf+^͝fPXꚣkim Bn  ɤg1VjmXSQ.{"ϨEW~w+!,X9^-{dU$ Eӿ3)@UeN`2%ģaXjͷ ;@\I}㪤 "|ZjJG+$]Dz=[(^;?$@d(e 32lKsvAi:/SUʂ̑A\7&u]ߐTGPprysUku|Y')b s/p gYZ ;#A/ Native_WordNative_Word.Uint_UserguideGenerated_Code.MLq !M;kr)!tC~rS%); Uegdl+jۤ8)\FS~iQQ[4QG:a;JT:uGֿU]ܩ) gҶi\5=K쾀WԖXίLƉ)9(O4H5$[|_VUH? I6=52`Znc4L OYۨB].1 -LT "oC\W85:X6]W,1k T#0 ,kK)zJ{Uf )XO9!<@_ _m&e5~Ede7s΍;6'q#o+b(ZRSJS+c`*BA 9P:0r툏ɲ,r}`u|r~lء{8jKi;uѲE!1}C _rcOnYeW+2Z?Xl|[W_A;_%|Nb۴k]eNq=}1 -vy/57 Grp]5S!$Sg$)rnfhw*MU!1]^nmǸ<hX4q:5.Ph7q҇ǣcu=ZV!a'ޕQȩQ'VRc%ula7\f‚l[Xj+,w ~G^Ss2'' C 2ܣmSkO89&vf]}~eDL[ɑYۅRVW#<}v|yv{P # 䊙DmPra:6Ӝ$Sz٫RQҩdyT(LvVdo%!\[tH? DEțxDMu(;AJRۙ: ag6 (]'xfr+cY%70j:.nr]țNG!BN0RgD ~Th pC%|~cruG#^" r9px Dgp%?ZcBlϊQ<~1$ey{!=ֈˠ`#1[5^% γwhy5 hn)4h oNd4a6R"y@Z?,}WS]?rU,s:"ېaٔ^'[k$zΩ Gyx40%迶iX>%8&EA+obvTYȪ|ZT 岽'=UӲ:OE VUM/ޠ5Υ76d/bB0\KHK}Cp G ^ydD7M]57 |*McdV=DUJHcCk5lY.QTv0tvjݗLjه{8x3H0&q ՖUE Kͷ43RD^1>g='b}gQdE} r@Qֿe@vFA=Dt |drw46&#g6p9 aJbaƚ_)) K!l9b3 ΰS_09"kmʚ8€ezt(0?m .uųEꂑ81/K|_._9, g&>MqDݎ0M9beY7b=Q@]|Z2cuXFE&Ha_1Ǻ@s,;rs5Ul|y+\!vAT Jo(AN[.67v,7*1C799#'*TANP y0._pK<8`]dދU2˗h ğSܺiSkD:2iLynj  ܈ G"EN8<qL*Vg7 km<=@=]`.rKIB%1EӮ!=.N˾/_ \Ŕ6WJq jK]Zxe;f G#rYgm%V,^IJ#c8lC`3N5<|QE' GƋM2*4"TnKyOm@V+ '0 +vzUmVEv?׀gv5uS_ ${Bzn[֨[nDgbZl3&dي9v%xkWg)}Ԙ} v5Sqw6ELSI7 =[HbyR<_cNT[{vj^7S\uNzYabX<%8DRw_#2y{2!>rz/`||>,Qe^t/Lܱ퍼V̕]0z\+{dRk,kN)16:s6l)&'ZڗgShLƊkb"<7= yHE xM)6f^ZB-{d^nִ0cw qHsxQ+QtbQ&lAxؐy[jhrm@2lkk2P >;6`j6 E%[xø Cz]bіRW#&؟:} (ewHv$4eu]L%4P/Z%|&4lYќ ai~YF fp0XLZ>м{5{7E\ HV4E6jc l(:hl,GéD02S&P1ȋqהۢCX_KwCTn'-XV=wv -X0ДɻnxFOrO]'f;@V;<2b@>g/MגdY6ޞztQIH+B%$ Tt=p .ٝ妑+p:,ܢ))`)1sgmʌH~\Evnome.X,3ȁ(Z}H Kc8MpnpoSɶN0Y&,'|uz\'.w{|^Sa!krh`˼0po ?Xu*Syn`ÞֿS f"Κ/tsy]`jzؾ$o`мދ?H_<W":3wݙ @.OxO=ۨG,1.=XD#?cZVLAIH>tH~zoNrYy@cy ^FDnFJ|*=TF6i;e״jp@%%j g̾ja!K^T3iX??Oi D WfDNY)2!Ӽ6򓬒( -I Z3i8eNQH ߑj[wXıtFCϚzFu2s(nF kkJ$80u~^}#D3DM&7@0j =O + U)F'34mo l?/ 2^_`[=(B:N~[,Po8drߖ3}m{l:@IE7d8|ųN"=#=+}>;Wʎw)2% 2fq=dW 41 :7;C_a;euw:Ju]EA}]sxb# 7ִG7݌zdA:yq`++5VaSݲ`+^k~+G8)S"uj a5v#;s#oᔿOMW<!,<9kBv2#уQR'b'K O\sG5#iٲ=T|Bf-<˽և7S ;Vfb_TO Ħ7'ݸ-[w+gsF?4!_zrߑ"&ҢBs7Ժ)/yNQ"+?*S+P mw5WWA.og0`.ZFJѴ)a0oQ) gl0IQGJK۽ };UdRb̀5 VMWĞ36'y T!0*Ilz&.]k( S"6 E6KexvZ]xlv蛼OX$!^-vCL G fV ND!H(^wcaL:e3Zy"9Bfbb, k]8VGR+w(,tªɦ3R#ѸG룫ڲ:G[aSz G6tG'5a9^,m"NڷEZB9|St$/g"7,=@!RIS"e {k?t2 83Y8q?27~1H"j~`:}$lM(Yt`>HƹWĚY8X>,{2uB;mfҼW@H*@M"H eVOdS69گJ–s8dn Adv,Ҙ 2=J]Olf cZ@r` S2!,: 504gŁ&GGf(je Mu-;^#4eI$ ӹD[ Urhv gM:uyxmoZAL6'kW}8c*dz F>Ȳ nqE뜬ʱ W~jFNd._D be۳xmf*=Zbmd'}M??u[[o;88'ÍP :L5t}淚m;vIo>mڔVk= 嶾)SR2n{N1K#bA)rGAH9q~tx?j"vRP :Ѝhړә>M$1ǘ 4XtX83B6B}4R~YryYP=m` ؉],OkZq5q*h urЮ -hT'EH/,b=@HgDVʒHq*az0'T!t-@zJ37TP>7[2>I妷 JmCjEK6(筻w<%SĂڠxdU0߻f=>F; ejWFbh|a8y\)+_ii\nո~}w|6LN\r%ѣ7 *tл~ 4g/5?~|X dj/mN+}&Dba Trł`f`ĹT'>52©kx˻x5沕ؼ5UtcG?tAwͫʿ^망ntRoon5RE+hFi!QtBwoI5XBݲI'1~|H>M~pG[OlO!X.eM@}^SnVAotwr=X-0ĨV-I_HDP٤۩Q8s3no{w}^G5[~\Ȭ8Y8jXD"ie+HUJ%M);tdeJ-8=,IJJ96uDmS\Ю_M@] itM2>o=A$Ei:tʜǕiia@j8ƧIFDG!E+F-~jz3g*5^N3kL/Nƺ&ң{ğ3ۃp:l DkЈ(_½@pR'YrJ*.}d|ǡBO}M_=(,&\a2Ol=;) o7a4 'S:ʪq%@nwv~_tbJW&FrR%/d6:TyOg7$'1jE#;c0peNʤuN:Rjۅܧq+hwnJ$l f^"jbI8 RzuŶy,GlYDbIDPĽW3X/u6<"DW`n'ȅձ"m5e݁W HhCI{@C""꡹ * `}Bl:0&:;Q2!|BahҌDtlkqp[/)w_CA zwHȻyiJ684ٱ_ (g&h ޯ˕#fu[i\rϹLm1iO~oxT1}';(Jc\.]R gTO1 fRn%KJ՛On<0y't7[4-p!IQBJW ඈX}֏;^%thd{߫~۞oM=+$J&Ѵks=/ WݷƤ~;I$z&Vxuy4n8' !hA]azB:_f}<)τOs/0`[QXAo!#PA(M>T\eNnn7`)S"0J܄r>GP?,cP9j'iz LcI(j)M8s0 0k;if3'A>, )IpbtݴfL/!6.OM`R"L\T=}IkJp}3$߉>}Mv3¨pYzZz<+۴%p}n@3lw&'t**:(kSBj˓éGO#YtRDIzmYTc ?C '9*zR ^qj4X6m? `8` \OC^ncC[G;CM11H%Γؕ:^o=cTHu^[z7C pwn?FM#l ?.QkxVXڝ>}YNǤ ʺ7B1_n{'|ja\ϹV K?X`'ORĝ/Ňbu(UwqՃ"Inq )nw t3:†6-+͵! Q"fv0AW%8h>C4<&/Y]%DdSC\t> * ӿK [N^0UZGXUXs:H5]eUG>y[$eK`J SǷHmCW擕-$h\/I֍KLݕl_S>|"rT=?}⪒~f@HlGrk}TI[תQw0qu{&&MB#]+bˮӲ)=eˡʼ.̎yʄḣ+tAS*P#3!Kc1s[?śW{ߦ ([s3#ʴOi  M H+L0b,v& niEhONXqJ -aV'GO52v\# <7fuR_`fXV,k]=h/$lq ]hCjf5FH-!JӪߝ\U6-FdA?̦PΧ#t|Q+|nNTFG,ey1W|BB9Zߠ) py@Q)mQ7՛KWA8)Wąap6^YfrIM?Dr+\ɇ.蛾mzg8 Gf m?*'mڟ\R֧J7\<-o/"@;,qaV?.gԻ)ьIR8s9K+s/:  {͍ #UK.6|Υ=^Z6r\Q(V_%UᖤJ~zVFN(m1g 3Vl!Pv@-92𸕪njrYk:$7k{/R ,{4b$zFrݱ2٥BѠ >kϫ'-br;Ogs[BG݀S ڶkG+YaKNޣ:!R͓G5FW봟X0,}B܄,d*сEm";lo cqw~UQͨU36sB l =/:+A]H!@m3c Xs[9]VHz:S!`q`m%/\l".C3щ?loܲ%s E,9p:X2L[rƇ ~?9 \YL?1<5%4 =,\1r.ɉ7ښz&'R9=vYtﳛ\ŧyF2ewSe)Q mB4rIPmFeuZ68ҡͻZ9ѷdFZ>Ϸf-=~ *ؗ}v*UdRvt,ޠ,:̼Rdt9I  y͌Y =0J6mKh\;NTZxrN2r?Yyo[="E>*a;[* yWe9s&yG)ZK[DtC`LіԶ s5cKp'S LiЖ:XF%!9Zov^[JBqbriEkN!GLZhMQ+`Z#9QGir {N\G#&" sOt^י9S4zw` }&~1Lm1YnXZ@ggm?.޵>_gӾҨWaY +h4wh]eef΋65c&#s/]t*&QVG% rՔͨVҤb R-0D]J}d12E_YF;IE|kX.@ƍ]Yı=p5DnGϻ] @ l~e2'.Ǻo,.۽dOW_X쥀p, }(Sܬk 0mv:e d^ qڀVJY#"$a[sO|KAtL>|,ئm7IA.po|j_2 .|j% PrGcHg5pү ]T)Ѱf*퓏3= w0אn<gB 'JJ@y(dH%a;=]|e6r%%\5!ɏ}c%]hd&rPm7&BSazXJOH/:xेqk͖=vsI%?ȑRlʗ?BfZ>_[`Eut@8c{{P|) %16 þ=E5bV~LYS=};)P;1t30$:hd֐b}$vN>H4Fpt8j*D у%BNCidElu]ʅŸЮR|Q5nRi >OQXDՊĻ(Y&)/Q( &<krZ4@4+q)׽\;ss;a"6i<4 \ 4ɦc $RFг|0n/P,j뤞 _ f8]~2W=`R駷<#bZhƁ)W./]wN\j~1ଗMdFjoL7`Jm<b8@Htju.j7WBCRA?87Ԧ& h6?=۶uwxM, *rٚA)BI{=]O/ mYMéy8>reb -(nCc7ZX020RZ&8~*m~Iad2N5"bj,n io18v2~~ 9BG|}Q@~:&vnV△[J0.ד4L.xFBKp TiK2Ӻ'פNjϣ}zq7%GVUL":IH%PR_! 'U#VW%i2:6_]:C#2f]8xKuÜ=D}FnyKHҶ+?9tQ]cH?\,iN~7 6]3N*жRQ_ށn`=s,0?VuBQ3@e8Q:rcxc$oЇTgf NZk‹{5h<5p]DKA0?»a{dSpL6SMfX*aۿc(qZ?6Eѣtnq~ q*k y%.=SM&1qaS! َZ _1WeJ,[\*'i&&ٵRyBFWnLJiq`("3:ˣnwCzk'~\K47!}~L$Ugg4/@9E k J*_sü̅"{ S Pi{E#m~tH{0v"> r|rv\=c`r!6dRͭxCǤ7$O,ifjXUu (eDr[u zvAa~%ȗy_*dwaÊV^oĤ_$>^EPqJmȐn[3)qg5hx`h#*"%rxGlmoEqBT B8L#/MmG,WQZƢ[,>#z>)dMأ=,"[Q2{aJ|1!мP^geX\fpnZjiž75!\?KMGpt8 81U-/%Z#S\dUaoeONXM1ܕdPE܅cu d ͦ'Ɇ=IV"S}bЉq09!Yڝ\F= ]F뤣FxBiº.9w&+@?𧻓dol%:B<)gNk#5,eό@%EN3ps!π \Gd\B(µ@ ;IyW?glJ#U3/1߄tA9@jZTS"'Az&s@W" Im}]"[}DDǍN/0?̊4YX!AUJBm3} ::yr WqJ2m~71=C4s9&`ͭuAT^Jyy?36KHM Q뷑[m4^T>ь}Q[/ }ph֫KKE٬ҁN~Q22 !d ّؔ jP//lPTj& wW+'yƟ|&IR1Pe(i4 X63K BW9nPxeƼpX[%n=:Mٺ@4nufGTQ\$?=S຀۝y#.HM9jObD!3_bi-h=}P Azp9kLo#8VnO-y yT:4S_C`t:wlᮺݠֱs[ɲb=hXJv~p4JI[^q#lљBL34>sRpGe>t<JH Kdu]L~ 82] 2?s4OL |&{)؋;CYM y#"(j%/0 8dqCf;0$ӰZ;)F֐ DKHK7u摹dCAKR&͐ כ.Ir~\EJypM5Ԝ =c;wC4 }:½uPhK?Süu=AT 8e&9}#69FIז[H(A_1~KR:*YYMzn ?Y`Kݱ j53Kl"\X0%he,[KXIyr5 X HE2fBK ~'~oQm;;Bt6l*$D\Ēw֞E_Wt?K0gtY&b[ʟ5xw|iuB0xe #/iH3\QRïT:ҠEM&c$sH=/'%{$gQI_yXf@@2"Ces-^6GY-6w<<(he`vBMhOA JR \#nef#%k 2#۴I%!=ך|$#;z$q[AK-2K(#tNVgƚ\ojNU毳?8Ҵ-fBu"RZ^ۤJaI۲]FRĴN:e0ZkHDY.Ӯo: +B'#+1*HfUhҘ} +E JHmvE*rt܋rR0jI8I];XLqokQr .2YBL!aXBX>ߜ3Fd(bxTHT( }:vFHªXT|^[jN%+Z“^ec=Ż?≢q0 ڞGb24,9-l.'57s@6lЪ&PA_Y촢Dǩ ٭T]_b2V\#=1Vq>1tm&:#} 'C~ :$p\l - '@^g#Pta+VergRBÇ/y;ծu+:A#4wZEj)qRbjiyn(?q : F(Y ۸5X& ac6)u'EԎJ3kzcRfjj`4C Za*o[>h@a]0BiCEbVҙuR6*|YV5j'tq06\,AUiƏ::PŠUNpGH ckB ~s=N8}rV‹Ƨ"\?0-t?ESNt~8V-}s gIr7 L/f[nF'[Cƕgr%tD܈q&о/7@ "|L{TکuApDĮy(FZ# ̈sGr;q%ڤpyd?e沎 #AEKrNk=BF˭g`N9Y/#mВHc%5zSq`䏍87eC-5@dT-h[ze AO TRL+;2ݨqȝ5 >wɕk]g-L+ӿl߼RZ`rLvښL {Q{k%iRjY hO["9Rx%.0 8-t-ܫr6O%2*eׅXNmjk 4jcl~s>虊0U$ `j.üDGFV4S9f'i!G>D-#5NfzqCMip!/4F>!cIN7lMw/B)ayBUs-ɇZ +&V'LJai =kYZRyy˔CI!rmoixNi=3]d1fZq@}i) Pzc:`C }fP*#U|@ Px޵P_#W'ѢY 6D?iOך!{I,khHֿN50cegxWєS˂Q4a3bz$En#K"?aFB0~~/~RDʡcL)tKCc=tut^lofKihzUFg* O̰@{o5o_>I;(/Z$t"w+b/.®&s*7}#~is=Qq6$ @Ђe0lEg:=r,Ɓ- |^N_>_ZjE hZ8c~x&bZd3|Sq-G gn샸Rp+|1G}ihN7ej=!aE.& 17PyZZ`li\(j.=0@ +{3n)nctpKɐwE\mUzӦem^ʼ̷{u=[rW~G)vT ?nտ/nh eJ\TyzJ\HȰ / "l@jJbv'zKc/xƼ9s^|!Oe 8>ՃCtfÖtɲu`ptmSNg gr ޘ,S 2p\n7~ٲAjE*U>g(+.k6`쀀JG.3%QIh; ⡕3>d<% [Z mׇ2Td9i"`\I@g8Pg۬ڕZD&+2/u@A_j_!q%< VL*"ݳoOn1;zA#am+)ҤUp+6L@FS`'ybTa$b4&9wpXSrsI,]FRZ ȶM[Q+s'D 쑅ͱ_Lu(3Bُ\ Fj33|X b:û#닋̯Cv sa]~:ҜvgW J֑ՠU2lhـ0[!Jˣ 'dIڈ[xw8٨< 3<^|d pz,wVn Dw15+IEAca$1LGeM+zu[?-Y୴8ws;4_2?[Nywmqf-ٔ0\⏛#Y2v@a9o:[YӞnʾQ Q :bBrp4*n]ڃb|Zz!l; b*M &VN١wѲ8p c]xmDѪq/p$Y5,TRlN`k EfNsjV2_v`;4fOi?l`k7zb$3Qy +^x 'ٰS:gՎ|8ߠhɌGcD|%w'<O͖pbEG0s'Akcś+WŒ̃\qFj5SWϾśO陔j-lp?4]{ع!PMƷ.q{4侁iNb_dRJyFEV*ryb]GH)f:ʆן=PJ%q[>dQ&WQX`PcJn[}<9P]Rc`WLp֩? SgUIg "Q'r,MvDΕl'3yRw7YQd;M$fv 9ytP0kuHONpXLr nlWtcc:>Ƨ~N6#b~(dR=6m 8ɲ\&!pmnj*KNIw|PCi7EM!%x^9~:X'%1\8V]>`3E3CW*(Oin@]HfdLv; &rŒQf6~6u^qѺ`Y 1ezq78y9/ fsfbH/GM@u#5~&~P6B L 0 F`MOeȼ/W89@`YjxHUw)Lҕy6d Մ9{2ImQ]F1D)F^r$e4IjyC00CRBO̚خG:Γ}NeJ/Bۋyϯἃ x ^`SG,j>ɞGCR VywU ~ҋ& Iu ˛o1jl< nVa5?kn g_+Rc%-KA7[Wܔ>Y+l J ; vf^[)N7T7䧎fhʙ <:3ACxMb)Yd!l_ 2$ 0޾@j,R帜j_U.2o}mq#1`Aezk_t%i``,nV*_//`'o%BA?W_aѯɐT{,ƪhB䊦д `NCXV mo&aR :^S+Mӹ]5lWDHQXĞ +9?pfF/f\{ܽ>L EۿTKNaN0^#!|nƬ<f}~3Ȅ$ +3` gE<qJ:+DkZܰE5q jN|q ::R)zdE8e=`{XH9]hD< d"Y]3K?kɠ#hl0mtuK!3LIgunP+ֽC~L?5ǫ@$Ec8F AJ ݽ6]0o9-賲y'6G!S$؂G]apjD 8m?[_`z.ۮ%­NQ'#\_ p0m0rǟڤ^0Ow[GҺ{Qk)enUf}PpSb?ݏC:W0hS.͊ǫu|2]Za tX&{j_#5 fh6khk. ]›xMiܖCqOCh!Uj}l)yr ҕy0f%/ʜUuU!b(ųnFҖqX]Z24kmn/d_eBc¾ ҩ ч[O3$M4tp{ΆZ\N >[7RO蚮4V9trA.}u\hѽ7LA)qQ@~0} X Y0s;赀^? FeNF#oVoH6&ddKMy(05M\ѦG$aP.*m; xr=#/r&JsISiaW[Dv#|Uv#l)8-PwckTԧðS[#ɏ'N0xE$X1kx4s}yHr0 ]x=/8t: fk>9o:nfEɣ`=־Ë,305\[_~骻bY@_3!6'bu Ҕ ?"wK~țFh\TRqZ3f=IM-Q {ʡŇAӹfI; Ea8Ub(޿)y\̰. p'h6c(^hIj| ͅFrTK CܵU;I sZDd E酙mPs D(;!LМWСlMڞa)WJA KK?,̸v4w} #h݉r8G^.?LkvP*QgҁgI$I@Op[I%g Cd,$t33&J{_2Wˈ­RKc[5pKCA4MBR4y?,cѰ7{`%jAd96 6nhjY<9 r O0bwcBVt=ٯ]֮KDVAձfUPt1L,ϼDYS9<%^aomb{ϐ N`e_Xd|<P;x{NWʊ[}#5`5fs^ AGQkUJbs[6`bn H! jԁn`R$m^+)F{ ƭk (!GS(Ɨ@D(NBh:`^R ʤMNȝ2WDQ6n~Vf[|wev08'8A@u]q=8GDf?j ޖ Bp̾AC뾁sYq=k?"ad4zcGb>> +jE6 _m;h?}"5krgN !ebBwcs2w`*q*V0:$M{Qk+jAaLؠB2eC[+PL!'EqRmnOP !s A*}ga)씳@ x)9_XK`S9Z:Psʹ,oǽPdg--I*I]ABٓy}@DF2vlLl j wd;Uddi6nGruѼf*I jԧQ 7Z}&y 3%CD mRg(uod n`f^,E5޳fQm W d 6q`{5AZ\*dS̍JdjskZPo7Ń1aZa^ެW eÑ= ׬edμ9 jwݡu_G<$@87_F]P$w:^yCQu:00nQ@3" {PHZVT ,DjWNK)DphK8X40mxdb5M$j9 ^Hp> Z˓6&@]BbIgXSz6ЋWL>dcE5-8'uN" *mdEۅ 2hMa(Zf}f$1_u ֓;:5Β Qnz̨ pQ &,NPኅ[))ڿACd3Q8X:6Xs$Vm s̾/C։:cHI߿y/8eUR,qC:PR>~*7 t|IW֕_a EYQs.-VycS3",Ctm}SJ]X_l;9\*AՏs16h j "WNq)r/qtl {y,t׺&<:S(:u*qm}0$d+SQa;B_Q|#;gr`kd񑄷rVWz 4x!&gҹ*t^0hC)^Ϣ6lmmnz4 =G?N)_}.4U:4rFЌŖQHawmx|4Et_BWѭO;5<cb8e#jmB+PvצڢuA49"9#O]Ma+lVy#ip/^(zF#fwrEP/#Bé w;z!e#پW/ zuvNSǃpo=l^EsłӸBW/-:A_xE˗\z3N |(j )$l|SlG ~Q?+yh*0SEK71Ԋ jGl_c%C1KJIvVL2 $I*"ExS\AruZ,I6#f[YLXz՗ΤN!WDx}|![x{mS_d~1r&ޕHQHuXI?v#SN[nKpF{(:z*lO