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 {5 K25 uu{م#2s(&1~VJ1lz'}PΠ32V^BtKTI8+ Xj_>$C9{JqЧD-f 2xBzX`StO~#XKBҽn3Y. ۫8q$$Db;ľ8uxZ, {giEЂ4Rbx>qؾذnS2U29N., `~'.<_`YC,Ev~~ tx.w1Ck,ß{ wCE r4qc3lOG^vWGg(HW&*A.ʠDC#"hk^Xa&^*x ,YܿvKp㳤!7T^$[!s鬷) Hǩ1cKAҦN0>0u 7w/|2nO;aio}/rQ],<:3_Y箠B<*vT6k^\@UKjICgy-I~ѐGȂ'vhF@*8>5 L+{EXf` (4v j}R$_AREc2|U_"PD;W00M,+i̙J[<(`);R|Q(lsvy!d^#=tb2T44+7 >ss1$t }5jUZsx-OZq#(cϰpHԦ ܦ^Ǽ .ec=ZV>xKW?Ux1x>VH,T[*sVNC-JG܆u ExLųݹM=5.{mν `-mfX#p^JL \_[qw=; q8]/LR1[4` ;Z=K*0v{e; Fn8 M~E1DZe1/A!S 1PryQ K {.@G_I.v$>c= उ8TSRhO6ݧ3 $J§"G3 5 HOL-Nominal-Examples  ϸB"yzRVo;e?Xlۋos?+w_W bb|$IBӥg~mysCI us.h~uMgB1mˁ@ laBL' Mmkdi3٩%i˞S{hȔDǶK>I%O$qlZ=2e4nFj%xP>#c5=N7 ,8tx~l0LS7t ;ҦtV]NHUK( R\|+bqs(ۥBDfdʸP`nQ^="t,\q"E"R*65QT{E^pW)>+,Y^UT4_C=b! ds1OV=a=BA5>\yƾ1dm&+2vHB%4O nV{s]gWZ-b")2՜ٍcZkˇn=r{[ʴ+%K´@0ңɛT/0('ldLQXĴap 0̓@<\"jeJΉ)z{Uc;TQM{{#"n27ZNp\ O4.X(~;0uVҹD<umKw~ݪ>cBl|k8k!vWM GgD45Q2f3?#ȷiA"w G5a ͘:e(M#ɔMtQl jɅeZ"ܗKVxОZ7l`Mz 'cEts;z'۔Yu֑T(j9YtQ`` N%);ŀƎ"C>WaE![E 3h;qP}ŀ OP <"/JR03=7|6[_jǮj?{āq|j߆fΨ i/vafF6uOe.NUnAظ_KI;䜙f='8?%x8]˙K5z5 kpanQ":rӵ)u^tE-:ZMj{tRSU]7H삗}7?;)N4_xN(3fjj$'2O=}Z\>v2\y.8ܔ eqxgRVhIV%6巙6A:$Kjޥ<$og91w)8_^D"U=e?ȜM*^ðtBM߇`pN꺷-LA7o6yCejZn/̥ۇKcp6{C+'W_Q 3zkǕhK?N CΊ$ax sk&{u%䝛 Zn6(|M%b=o$L[F}1QA ( (b7~T.ZpϿ N Ye!PGL=Ԃe,>߀8-R'sD6V .Q8\o )PણgǛq)i(Gy_[]9ê+;br6!.*=Cߧ^/I k<ԺHi!N\t,j]HeuK/]3w3_jd&M#]jnyw/(bQ<=[s$ Q ύ1NuuT)M:9ZcMf..NuB Ϙzx@D-5& 7.abX4pZ*Mw{#ݺNZVCiH,80⽏E eiQo+0C$q[_y3Y?ӕ7kc*eMx7Fy,KSeg"+R34OKf!\a]@4Q{^Y7?|se$ aM=%iJP6kxe'r*TkK`քο[Z?%s|dS>a;.ȇbv0o<@\2iڱN ݐN+%+J<sH6#$_ {ˌ.#B8vh)q@MkmU2ːԃ{m6nw͉15HOor[S_z{EcIcb2s)&BA@΍~E@DmQSalGoDo `-zeeɀ34xr[^>_$ݼ|[sGcOBoh bě&:SSL»xc|5;]0c"ѿ{ ٴl1Y5xr|<@OǴȢ:Hf_ZdGLTfz"&TH3Υ33a!l.-o[ l{AT7T#> (~B)"-焬<+9I[-݃i;ZZ/BlQGfc})%۝g?d>AOƶ +޷ {a6k`~Γ jԾcy`A\k< HA5bpv?b Mi ™2"jA!~(gO|^in 1CvFuhJe/b̀&ko<~_:<`F8AfHs7z$F3wt|!sN5j[`OfEo nx,`}.=U/s vNfN9|1^n`d]&L&?j$grx7*_*cjWdn?~Icwls/"X%"n?/tK}f܀[*PnAqeolǔ>WRyJogc$O+͖u=wnOC҅JUn 7*4LsCC2NؔhB~7_]Ȩ&+ ,**e/m-WJ83};Z 4"tm 8LC#f#V<^ݨ/G$?= G]ġK׉i&`QezFr>Fߠ9Dx*20QݕW[.u%4s汬zʆ2#iq *O5ɡr]y?ا30NsX}] fB^h׭6{Ĺ;W:'<žG-3(5Q.| Ǟu=)Ъ) [iȲ \}3gl8,4sApIWC I4R j2. OV Х )i7+J_  d /YWL]7 $N7xֹS+icPz*nZfdj~gPaڼg]k &6 3O;[w qV'W۝g3Uӱ$$E9"s~y}|6FaeXS+qD1O' ;Ax!ś#M{řt/.d$̧̏9FTÙ@L-Cl$>yUM͌%DT.bNQ)PM;r[ehR.!R*/KLp WEZ䘔&:Eœp\nސ}NN=e4>Q]۽cS~H|6Y#w+csE';N[( b+ 隚~\Du3T䝮i@g? b~. XD͐hXs-T4L/+k/FYh Tv(3j,=ݲ|*+U/4` GF!Z#E\B$譎Wwqyӯ1alg1ˮԀV}m#~^,& "ֆ5R}.-8ԬPo-jТV~Òf/X Z-6N5] ޝ?.7|]Ҭ$[XN23O!rL#= `&usu Ġ)~- F+TPbT<6,N xNs<0,5^@\/XZmk3sv 圑zi*, > bi3TNCsL(+BðR 0A ~@eخ O6Y. cד8 i-1G<͠V*d_)%Vَ`հm4?X{Q_$FǺ gC4n.ۍ_׿c{MܞɱV*kPXXKnwW: |y"Sh{*ŀXjz̯L]n$+Sx|'U;8WecH&D[Y\':i^ǎ31z\ >j.}`]zKy7y 6}%,. ;N V4> ,:DT$K0h F斀B%u||ył]7R݃R;JsD͆Q Y: 륉3xupWptq\7*W^ad%0U\R䞛ɸnKdE (giRxbw*]u5NjcZNiABvtk?Nxm￝h>M0x2+2r=>]#fQ yާJYiTɐ~9t4d͞ѿ㸦CHz((PKc{1|7];o=#&/ 'ߴfՄ)UtGI,Ai/=ޟj.j 2q(0R}ѐEnנT5%Iš0\7k系d& ^/ٕ hhZOD-(8S製}æyZ0pv+5Y^NQj`ƙlOAf"I@r\񖶆>3ϱ{ ]ߨKk'ВpX́M̯T"5 솧ДkNv:VTN_]q@ j)H{5UQL OX @yWoԸyXLXQ{ F՛^S%P0 ι|IމA~ݷ_']曂 <[ѮEZt5rjmƏg ;ddꆠs)&#/t8vk!7B"p!>sѮ*ޚ0 :mO7zgYZ7zXZִF! r]ŗXiɟ1ʹ l93攀Lx3 aL 3FόTQ7Hm)GSA!,Gc=4s'|< r'~44iIvfl$=V](Nk>dX.l=kruF9`|L]FjCB +G(-壋W*TNu>g!Hd"gG`] aQkgg%t@䖲TYUl+*5Od 7$ vo?#g-> #%qW*XR {`T?^7] Ŏ6I7P%ܮNVxf6cY*! 2v3 ']B|" {#%÷e ztm=\z qCV + D+e]"{Q! rkcI{lk/fFgEq:]%pVu۱&PxU<[2?70c|@z)tby aweS$D!ܞҥxҾM=֔ɯ|(N_@:ωvNqzcSuSl3JV̥ 7aR{_Tuo-RP`685 :c𜂎C8 ܶhRp vzE?<2hyB^&% 1|IOIbҭFp7 Z8 y-W.}d1bjXk؍젞Kw9/]z".O3LQƆV6馧;JPB/uH~zek:W~FɠU&=qh}e?m, D){<"WCd:[5wnBܵutOX"1qLZlwE a?ހc W=x#A(Q_gWƟnn6vE+v Ď0ACb1l?kv74@,NR9i `780rL?-1)Mo΍5{|y c_%H-t(E|vӘɰE9@Rx8TRjT$dٚee)][a.}&kld(W|.t>ۏzE*K&c/yN.ݷ&pX /:f _HpdU67E+3ve #JuW~*ƏbHW8JWHCA5|#H}"1>8[R>utؓ)CIAO6ׁU;Џɪn?^ _7 `SslxF谺EھB}o we GlR!?hx@4)Et|M~ 4Fkm@RIR;gYvJvb":( dICU+A$FDZݚǿvQbB:մ=jmU,!y4p˭+RD#j>"]վS,ҫ' "/珠 fZ:r*ʨe: $.y6zn=̀ʲY5K*Ix6 ⴆ(D*0Bcw q@g$_›Du4mrHy(IQg~W*iP o\G"n,eft&>%\}!x 9pNKCxQ%a6tH =Z g1G@gm^Yv{qjiKNwF2C,iFַmD`>';Y¬)~|=Pz<47 DthM$y[fҴYQ$/.6Vn663-xs+'v@늋A(w`hOw^8cKq?%8|? tc%D:*dj/0xqxQ,"}؜8u';1]q9ÍJ?BK^'[W߆`:^5+/>@bOI65@߾.J@ #^Vom\YųqT0;-j>{+a$1v2ҵF ` b1{%gfBOd>DbX*-2}ޚ;s%==جFE-?;m^ 5- LJB: `Qo?=j+3Neݖ!z͝K ~Т') Tvvx|cdR0 {& s5ylyc)jAd oNEdu|/*7}199Dm2,XǓ+r-1xRL?sZk6P]0]ԗv8Ö嘞6(Rqa~G WuUX_b[mG8 1-&RHq]c#^45jF jK n:@%dfQܖ=k9cs \q7^C Lt.x'`sK$iXEF^HxۼЯi8uֵµG֤Vv+l ΄YݑWqd~6CB6\X[~b ;CA{g-s.`bqSin ͛`B UW_S3m60P] P03Iy 8Fv0~N{:DOqW_Z`N5?%[O/HӾ(굔?X1 f αJV,LeJ- HFkR ^/AdMHy ]0֍ѻ9-"ծ@uRI 3_&&;Mǐ0kbMO xPQBw+c6Qc<]u~c#׫ j 7yF1-N:66kQA{˽m]`Z !IWv$nպwYBhq>(Q 47!d#Ld&p#{=\䠫C0]:cȁVA۱D>ݦD1]7*r|p-8])l)9ZĥqD9"3IBmrl9 )S2\ X_ПdbͰ3M"]Yн&g$VWcֽ7GR<:_}`@(M{Ep ?]?zjT.Dd44sXϪX UVD|&9+`/~T$GEUbzn˼љеot5ÛQ,* c5ôb _Y^? k;jJ i09cpK4uZ :Gu*q4/6W*o X20&ZDz_f0"1b-*'zo|VgG*:Y-^C)y 9fO9R  q[zLO #O(0Б(,r7CPi#[k3hm_x6yKO*:knMSy<ZXT"Z<=nnM{.QW_ң1L- O,‹TDh*0;{EU8f3qj=ܟ0`<]ȄU$ 9," ̯h Ra'a=>[TiVVVZQ%2}oT=k&z庿o\N_Ѥz @k&bDz[J)qxsJ衮3L?j( N9ȟ\0f?\*q9+QvJ^ANw0@r:kY+*sT4Ypt\_*Hq0__0L@"bO]FVz{\6}4(?0:;LCw|aIͣ~j _[;w(}wVN@"0y0~,@Ԏ R0xa F zPHnD.$mecr̼FV+ybcѳuV=#;B,B>S9M!#wy @X?+LFVNkʡ|F-mwh ܹD M~2c:%o/=l™DH~6D(Ew udqcv%Q|Afgޮsƃ+N;諾UMwˍM(Wvf,'I(؞,;v-٩oqg`wvUne-sNZU&LNF_soB Dz9YT XLvړ#{ JW>IfYqG>>b%^P-]0@k_fNci96~፤"i}>WqS_bwTt~!!h]E*f^~P{VOr9P_xl}.-cVTYEʆ~ٟVktpU: EKmEbqt;]\6v ~R1ɴ$Axx'5[:%}5~JZ#и8N3J?V48)p}9x"FcH6A,"LyF*uR"+B>d/? P{CKK6:ai жq#-ǘ)Ĭ[ ʽڧQPRJ9DeMl NXCwZ$LD* q :nۚ8Qrȯ֚)͕"S'!OTV}2֣s!umCߪ!iy"un1{Q0*;G*JYEJJ G;?(ڑC3* KI`_px'%zW,'2gpѥe'UH?r̸-߲\8gUCގW]<ӄ߅loݜ-3זG'53Gp r|˃E$ŀ)u\⃐W?):Ej`)D}ڧ^>qFx3ٹDпQ޻ ( n@ ڨ&1I5rTn@vH3 D#c=A4.]hx3?ʧ|t$N'Th-B;>,B$'G1sk#LDѶEL?Gb YB&; jcXW 8rFOgeC5v1<6ua@>|m; hëHHJ@@e8躎nۿDRtm1e ^LEdnM?BABWL >_c㡬J|MIښK27m8x+5S yӶ\2 :qnvG30H`ŻA%曜­+ /N(\E+о3?Q'v[ax9f0kKB~=zc41V̗x& 6TrSnTl#|y7_f=V/Z鸄'%/qQ6sp/'e9&dW+Mm䑹dJ×V߲GQsCD5wtjMO.~_w@x!QĖ)/鯇y> z[œ``qƅ'ԙY'^sbBTw܀pΜTI3-`=&qtJw=ț4pBc{{n'fwKfwFZED7tqd nDH/wRLmkSoEgٸC>~koj׏ aVZ V0֌8h]Z;bj2*V*☼4|Ak)5XǑI<O#OPE(-є>[ɖN:ӕ2Y h+׼gj&jp9a`~ǢFvƬlvŭV |F\NC`6z4rdY$7W\+Bm[מ݋M%"w;3`d!h O iJi#`#`̠nԸ_ɣ n!\>ڻH1qZk" "nϓ>3}}9HwH)?S R'VB^~b#j0AM_']U<ȱC c#LPp(pR]d t>vȩQ/FPI&mLWabF| .|>?>?)gBX u:==]Qs96 oӀ:p`,MNi 2WDOF8Ύ0]6L=Z4`TtuwAm vKÎ1rÅYvQsu{k/(%jfpd_SܘثuM3z'JsY F׀xxo: J%]w647~10 AEmYu,ݜvXEqmz7* !@_c궬B">^*Ҫ:D׆Qa&?U~w"$IQgZѐc`QKG26JMoV[v4t4n=(\9>h4l<7m%Be 7ن7mZGބI͒i䐂|XU y љ ʂ~LLD6 ϑe}q`< XP BdJVX`i_"7FD~Ͽ罵4!}RH PMP*GxȾdGkjW\OB=`ϋeе+X̨W,r(is*$0}Έp:-Nj0Dd+ W[*Cܹy "9LGCxKns:ՙ)jД19)f= kla feڱ\})'Յ6=}ҏ9aGWtƄ9F֐Rx?Bb\&!ՎBI̜.7,Eb.Y>jh$x>m'`./yj!&20؏i| k" >w>%i4)9.CG:cU弞rt bky<%FhfKD`a tx*k@f]9{ O[MFx<+jAd!ea/|N6?]v ]k,k=c·%O_Z:O=5Oan\LZ|3GiE~;D*}f\IKو$a(Kua_$N+!~8gP n͔жbMP#RyGX&^ Y*F\ HPͿUr'(t L]_H:̏5 NLEϓji( s FLxwKSVB֓Q ￰mz:֮ G^-,Vt^njK7gYBHJovWVysa&qB^A4baH[!S2Ef deH.xt 7-hۉVteUxuL_flD(((j`GPUsͰm3ƘG:NH08LA\v+`miJ%U`{!s?!D֩-R:r Ǿ{v,*ݪ~`Dc&:AL_,/7xd[!>0@tkLDmrO SNH17bc@Z(c4˘[/-GX돿g7ChP B,(m1;S ǘнgO|u[L{PNOc-+Eak[*e쥣hmةt;Jf *~l'`+rLjdVc*,. :WK0N@C<t 6<(=#ۘwnHǖdZyv]j05%ϣ-Jbӝ"OQ)o Es6|H㧞 w&%(/dt 8COܥ<9:|D$ KD)^̀WiԽvViq[ϴJ0"юŸf7&{\r`veˤ18kTVpCZ89GujO; ]Mʻo7ʊ䈗J|gmFih<%-Kދ4s| =CUR_Y#GQJ2פ Ƃ闲πC?^^ah–k9 MmnS |\p!d6nlp%&HJB:4wW+%@Oc⢲م#}!(K=!J唄u(%uy\52f5tĢPU4гZOC,xHB"=Ԫӯv{o}uA|NԕXͨq-%kڲ`h@ᵾr$="u#]/˭K *p1K T[UQeM7vt YqTV{W-mz xNMaBJP+50!ASfsmIƧXOYVgP FǁYāR2f㫊a .Ѳֱ}l2twQBWy48`b%L{" @'p7S0VB] Sqpٲ+LRirk`V&e*EӼgJ<^ƍWC9/e>M(جgOPS{CY4𫪆' 6U:rm=B@^:2xLT$J޻wRTkI;a8MR*q i% #DKS $(^{4>)yД4vM:?O3:YMi"$nj+: 2֚qǗ?VhU1P kHR@/ʪyCMcR1EwAqlwV8x8p39.O2Lq;J"/}[?aBCJ)"ֳJ2`GudWgND)dUS0_>V ]}/ZE'E@W7lHiʱYGYY?\KqmRPR%0+P0Yήi{E+ 򶬨-mOEs> JH!7}/ ˌt)2IJ!)Vl|l]*FDŽHR7~GThCٹpHD{N#&`iJ*pʓf#fhV>- Tƹ>?Sts9d0 }R,+(n՗ksxaR>~'GCWZIP4LB5k9@:[̓v!El.[-UESLt $!7T;[lnÝ+胠fmr~V|Av8d=Ӹ?y_|4oCϨǢ pqd]V]"ᖔD¨ݹ;iFf1}cHGrzRz&”f=~orwUy&j>50Gi鎱2,n 4ovlJ銺bYЊ.u1@ _^qf0(ciSϛ@)hQRYl"9R< DTD!r,y.5"_`e"nZT`M@g՛yհln<:C1v (jRHX2> Șfg~.IY@ ˏE Y?=)_>R ͣi\SEa 'Zo=X !έ >KǪ)mxˠ'n;M};,Pmxe%'KKi8GҦuSe.3-&~r^/>]6EjUPwϏN0fr-gӕ.E0 QΥR~G&c[}^ǡ_*XU5X(@oWХO4TTVb\Cۦvď]0/|8-C1(3SD2!e``dJ,z/a~Zmĥr) &'슂qł5 TK&/>b6EIgG3kۈ8X?+Rt.dm"ɲO>wTYm[6!(BSL:䓴Hqt (>ZRB[Wo#(%Һl P&kD<tB)F6>SZ wdmR8Vjx6/L/B~|di] AmI&LtppLX{0&nHJrqQSAʛ8Oh1 D)#t|xXzٴp &>r j/x 8@B(l5$`KdB%mAΜch>u&TX*%CӨl 3|c1ӞS_RJ\Mv 7qE$ғ5tXȰ*9Ls vPt|HSJR Щw_ V{ vx̦'צpYY" #3.[9mAǝæwŏl@6KKxzDq$fc\%PkYa }` Y:Xo#}!o'=TF'dgq9qUAZjwij<ܥ~ܯ+jcSU<dREw ilmcH ]ccsJSX^ZȆ0pɁ[ 1xh9SW#t!YAD@fEb΁HW![5 S;Ԑ}l퍪 ,viv\yvCliKz/Jཱི%(m!%$Ci,s1lw#YYA?.=W7W}"3@G,^iDN#`@l)$'$|.pcE!OڐXpw l3y$ 3= RCA܈݀6q#[Toš`!I># uы 2>Mv`2 @p 45O$暸݆%[k!U8YS9wȄhV%#\&% S#歭ŭG\ gzA_fL74='k^X_֠O_ήQqsYPK Ra &{,ָySS$7+9hY=%_˝? !L2IǻDT\26}wr𱌛7`)@܇2\Jg7f[O J0>20%/)|Np.QGvOHЕ.OO|JZex{* *D|bgh\rF JĝO!:9[DHBE-NL 3.Ӄ /m#dm 1w 4*1[5R.N ٖs *N{׹j`>K 7 *Ċr6F>ս4F!CdkVbރ'MebIo|L gx!iD)3kD%GݳVF롣qj\² 5Z ׈)kAX-OWy cN%Xx3,?s[ J'FgS!,4ep‘Y|3?иIK [k-f+U ~X4IK^H]KfR3Pyՠ s/. rmE@ѨRZFS'MX#yiTrV b}Υ~9ď'j~b;{8Cz@fn;4FV2~3fD+T?t;!^`i Zۤ-i#t"H3- mt$!e]9?;=CsK]9>o]mP`\GK\\n/-6LYEn=BBQQ"+eP i<_ڮ]۽MQQY#P ֮DL'ԫͩѵPB+F]z`'WyR0/ p[9T!CxH`nM>k_x@B:>6@[>S肰 &`#% /ι;YSjyO8\m(jUpQu*B_pf\frCn [`@/(}usiKB=!>!rh K}@&3kH}\V`m;+4cjFjk|8j#J J5|> B%` e'uʺ~,=5JӔ_:v,쨱{h>!l@¦Nh}Z:8q DLwCI%'H$: ӖSxovtZZ;_)&y qK"}1^<;.Y04TW"Ƒ'd9r]KP-W–cJbakחŋ_H8_wj'De:uSnş,S)r)~՛w0&]OiCvOmuY#&o8+|@#:SZ8vggQˈp}^B@'2<.Ԭk*F:?X7o{:W!w>^*, [i~%f~PB7XUjpGn`z9!>":0 BƗ`&Iuo)/ӿws$fWi$sTQ]{]4~ZEjz {UhyAn>0bQŞne)#DIF/+ ;ӝZB ~UlwWi7(-N5ݿ6@W5 [&%ԔA Vy'c[ HC`vwgB| e}P\gX 1;#PWrNisZfi?2OgbuYZP`- SPΑ2~MQFF+>v;?-_~S>ktlzYP vgd*; ܥ8@/QL%. )%:ܥ?Nl_ew a=_u"R_Jqa_;e ?0dv#LF$3Ze&%# T)} b7bD RJ,խDF8g4g4.mdzd Cq:atf ¤ {cC AC籮tf% n].o`$eu<%J'Q 24Ts{ $uwޞQݎй % [ȼ4aRrZqMkB )QFk* n~}dy@woBd#A.x؝^ =~z6EVYr3-%Ey&!J [Nm<-ohy"5?M(KSjIF3RMoPˁG%y<@ɕWJߍRP$+L,䛋|&AޣA9DFJ mD>< :4̑TbkKȥuPpM[x@A5M~Hr_jC0hub:pl3U(*O,^(zDSRR\77$2  LPf^Kd)!i8UM s;n r>rL`B%9roE bIz[FDpY ڏRmT IH, Kg_(/xрy#ǺY_ 0!~g2Gng~ M'R _8H1,0p:GuR"Bv4|GJI0Y5cؽB!nU-qTyY?WhT@8#KcN?]CIW|t Ɨ1myz6Y3T٪']<*n(V ֺbaVDPR¤k;`:pf G+ɨ!w hzk\-fG- xf}DR^O,'肶y{h Uyfy bci7=Iۡ!VbCrDDσ!VPK'Ԑ(Aqɵ yb{,؝9ˑ$fH Pa&%A-#V`>:5K,RkkIpgO“k-VV̏%LXw'/^͓n+=nhC)8%vvòb2lx9I7;rwC\+f9D1zI8J̤ ,5`܄(V5Rh@P)Q\dr\x#2^ONU*z:;Q[-#9aji̿mXLNHïK:'4>R!MH#*fh)t%P,nU6Eʵw׏x|elĞ>d¶"OV\D1;/`J;C0!ҏ@ҘyL{ҭ;?`5PHZ'UBh _J?$nĘrG#C'FЫ// fzU;bki'*N(ӫNW;ȜNT~oXع Ǟkx3Ӗߛ:uAҺ+GK\it<u׋a3#Am]F3: Hf#9쾈SgJDzP?AשbUHϵtܗ;mLއN"]tm^%V‹G)sGePP4AV2oYCܮ< :C y.]?T^ʽ+hˣ$#̷wa9'!٪VC5%J> BJQb[ЍAnKC7G</ US7AG ;3nfhn̘猑lh14ΉAtvZ7 ļvIQWte:{kFbj2QIR5c?\>6p;>^E (?HzvcmV]2X jW|Y'3MxF^MǢ#^e޼J/|^1r쨍*O}] A~fw{vQEyAmYT k1 Tu9֑1^y=PUa# vmU&4A~M=, EkeXAKw\J "& b߻C`PW;d>¿~H)cb,CRsظg%^`X?9؂zkeKK1W/wuEwFԜ0Qט%[Yd'MͶH m"M˫w}p%;Uf D\ ~=ҩ>!YxXHp ,A~?|@فz+BB^8O4NwpM=n f8hML3k8"ZF:ڿP5e 14<^rDttCmˆ i#%PfdGE/\Ď^-}"69LkXBJ:qhĘZO~8RsK}ў@bmY]o,suvt 'XR/>Fx-)1.VҊ,sSwq}p94y,YwMɲ9{3P59jtKJ)5nh ַ{UE[X2&&M>>3)>t `u<%ML65O1sW<) LJyX>R[۔rtK=Y8jԼ3ɵe*N IoIꄬURdwmqAm'1P8Dd$_Fiw0Mֿ8>1AH(a?C-QN`*vs˶Gz%(ԐyE>,Ř܌ұgYZ1d2b22969ccefc6aedacda9e34f70af6dd73511e84c5f150ebc72cf821b3b4678a9a616134620443 4c1d272de29b5e01aee8aaf8f3867a1586e98acb 7485ba66cb2d677b756a18791b402cb297305641 53b19be9617b1d8e8b1cd69df609be9044af0871