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  r\|, ] IOA:threads=6elapsed=7.120cpu=32.036gc=1.2767zXZִF! wzf]ŗXiɟH)0%o[k_ mNM;zo{'$rb=ef-`K!dٟ}Ȱ:aIZtЬ>͎=*3X H7o3+EyvQRzEG,"4 ݻ70D;!YjMHL+l,zXO)INѼ[FY*Wʧ!b 7R]z+P+~ǜ;]^!q $dw$.&`[$gm.ĀaJ.{l%WZgBU-&=\HZ3M1ݼ;g.n7KɷmQbe^ ~Ղ (fH?VjoPJ-݀b  IOA  cyDOFC/ UlFT6:ŗD y F'!Q|{,u,W-]'7UBcɢN [/ lH.!=ZAj2l2gvwHwakme$&ЊM:|>1tBZzciSyU :@6=,6<^W~P3zxیqo{55}P O»mDs'BRѿʳɪ.,3 2NnܻWY~R0*zoh4^5ɺ}'+~ri}~ Gxda+vij%@+wbp3asᅴz}3".20Nnyhz2LC:W} FLGY1FnS)3PZΪ,NIW%4puc$#,Uj =YPK 8UReiUIR~SzА׫ٗ'@ShIΎˎifFX"| g{Z=gvLٞZ#+&DadZSI4f m^)/=؍ %Xrk+ڲn$>ݤ5(0FQHg2}b-Y9}ρ@@ 4'0I-l])E: Рxr]5N*R.2H55`5*!뎃.+il GDoaJ`?F@̻eSV`rA}k7f:] l^}ݵ#4}2zVҵr5S!8y;Yh8g+αm@֔E`O*Q!2i?Y%Ɯ0;xrSxJLCB Pہ*DVVgەbY>* cm: ?ᐲBb"~a .@}݊V^v)n͟O @nge"0 έXb1yiqƜXET1&[xHi^}*i>xfBow?eo谅,1仍[emVmc,8Hs,vdD~;C* "b=cE8hV<0e$ ۫&,%dD9;=4ߥLjf5@V,qg1&2O$ç:̵x,M |ESy"_R3w)y@ 썒K\Ks8XE+yfz|*2o>wLuF4Oe *k#ӫ-V%-]ua8js/`[Yw4eh^*ۭP6̫"[׹F̝ .3(%g)?&8Gy} N$#m)gcMypjq3z.VC!o_Y샘ޱ$(E߃}0r@譸3CBOqCM=ıK )k _יNEyR\o}U`Z i5_e?^w^6D 9s0P:6Ek/u4f Dߖ0,LI1dѱXݟp]iƽQy.-ߒ>ۦ VL?am:$GDm†/``rZ # *EډX0_'mj (=vg]#Qp!@WM7 eI=;ިXɛD%\qN56ژ{~A#{3ϏRͻkr7$v@iH _ OAzB㙂s/4,˼?To;jwoS>Xl6.T9#js]n56h%mMC1]זTlNxpn;-UPd:kUS6+ %Xoh(:?]oIy&k5+F$WmgsS_| 497]wںJ`G_lF"c[r͠Rd`ڮ"Kx34⑋; E` :l a'SD?Hiz &"5ޅ(~+h}0cDt&9u,Lh1s DZ2*G7WF|`5MfbhF$5"I\wޢFíl/G3g<b@SJ !F9 A?E4 Ȩyp'D/W-"CU\=8 '@i0DwGg?(M3q:oyCy@SXZT$@Yݸ+=U= ̋\47m+B"߁3пZc,ԝYN0 9$L qË4ϋc3z,f&dlZ(s'SMW^C@Y#;L#^̉_v -R pB-wi6%gR!:Ɇ[.tu{쮟QCntX0ZIUqެTk6{P24sWWS/ekѭ\@moBve}1v2ăTe$盻ҭكB홍Ei{ikofu MgD&Cߜ`Zmd"nzkIi2fCڃargaa}3+L^"PW؉͜)hVE7, {۝GfۯM/~.D#{B*lDOQ}KU|ZoIjUbmm=~ͽeAaɁ9)9xc5Sc a->ZѵLU Nۜe][*.!#~f!Inl #*ۢfZʽ34ݡC$ %G&b",*=Eɢ kOٞ>oA A :2"OuB:RmtD")h6+^kC\$<{~G ;!5"FɆ{^VR|fx4ki8Zs0/;se٬4k/(9E/!rmcͯV+s1ۮqƩyy cCrωSALd܉dX-`5Iי%[nNK)*窃W94*J!n'0k93y& *yPaJ3\?M2&30 <54׮[tCm'9.!aDc%/`G&7y]J:MJ3lptAR>WidLuSxlNmǩ~#S=;&(dX2A$fbV uVY4ɋt ́+a-9#9 h.U—6 (EvoiV4GflGq0ꊚC0ta1pmsh|s԰!)W -IA 23$$)3!GI$ ZZ.q)UoQ:lJoOF&֋Ž#o,GrvL6S5R'%5}jfsnjnepbZ3SF2US㽇̀O)24vYI7Fx?peגMX(E0FfEi=gcJr{lIPb||Wl oY@l=oW OU!q;Q5L4Lk rn,'dyG>6sD0N-$y.~麆-1r nidwlvᢘş+ҞXO;Y$nA[-?7~쐍3~67~Jm, YzvN^ѳ=N!?Gś4xlLfy11o 3? )|(8僶KְTk DA%_N1Yn ^)"%53/;d`^_ ҤG1A ˫'Q4B6KT₈IgnZq4uO_>W(MW4_㍛ر' xG8JPs8LMQRx9V=u͔YCl;^`=uX@)?VfZy m&DZ(`ۢ8M:hOv~GF@/諓Ko9X1-򚼏:ЂT<;? k}?!CÛ5.̉੿@Dj1 9¼{-V N>[_k n[ɦYnFnݓvى 32UD0HxB+'ށgwQ&)0P堥PSkS/,ykAcI&L)- )fRŐ#*Y~Z s^ 0lRw[ d6AE|.b N2%'Gn4G+sS5|r ܘDaGmQMJczQupқ9oIfvxq^; HWذbN}-pQP\WLEN"1I0&%ӺҜ"@ 6LEnUKdgG768]i \N+@p!# k }D)ͳjs6'Q-HhJ?Z-s lFkvs4C/$<.kác*ժ:|T5+Is&:`W "\ͣ#Tj̢4NYF0 {F@tgI8I7Xb >&jM dM7A5:0d9M DFJ-[w )*td m`i)s; eTϱq- }?M oǰDےv  =g+zx" O_"sr!]U>?iR@bfJ 0Quq)(0Vy#Ep$km# H}T0. YpT Q)8[OT,w 4!EAj-rF-2R,ԍIDq3@9.G mA 3ز7pJ8A W+gQ{h'T:,I75Fg1A鷤*3w{)ݢƽxEI4Ƥ+$x/R+|^ avEۃT'Ir[ <7b-{--}"5?(d :cIږDŲv YNY9ɌF l~x!z6 !; xr2ĥ.|^G?DSj.s{vZq7ls ~$8sE `q㢇ړ_ְx.U˓q&yBL!46@T%ŽLe5t_kܹ{\% Y9DX7~ 1@T^`g1]±Z!浀nƱF7:r۪dhNԶ9]^Qbbntޝ Nn+dFMn[m Gz#%.-cGd#CU7D6eg@ҊqZ9d0Hڈl#g#Ojj*gOxSٗϷ*_>Hؓò!yӠ|)S1C^tq=4L>$/`r@މ}.v7حcm_5x/i>t#l V>e ';d h g wRgQ@QF MAsTn3pF0$a@4n=Fj^ ej&#8͞Qd /Dcۆ&ڌzS^ZʂQ0b`:SĖS5@^x{{bm"PٓCI2Yf7&=uB܅-NTTtJZx2ž\<qZN,)r^4{݂ovO u쿀!/0+ O{,k_ع1g{uǜR7&l}A|O`Ul /*d2KY^2/0{տ~l.6/V}mNyK)@{Pnȥ)t1Doчq/<`)='1»`>57=kaHyKtk DjXLCHh,aY8:TzKCc1"N͛wgћ3;gr!_E0ޮ"drxfk>qU վF67a7Ppos.QA^`sW?ca]mq0F(?,3D{[ W0 ʱR>˃;;A/涏82 `U9އyȏ +@Ӛ-!y" ?Ql3WIp0m'nP|cpbx|8ˋqg̝v rX5q&6|4:G=Ă)t3 Jy,ӌa Lho쨽"F޶+J!OYpB[V0Y`82ma[@ɏT rLxv{n̐KKQ|"CKs!M&DS"G3ues bj=e“ÞFtioVi*p΢ݮdx=V +:':]48n}}*C`d% nqwLYK8hг%AkUV5 -(rD1q@(H &ѭ3>t`Q(waITi5mrxK~1wmy a*|vF*TT$ x-,uV) j/bRViTG!:jRт{Jc&1G5v|_yU1LuN`^)n0Q0=׻|_K=;C0:^ $u6b330WC:S=w(qOmXb ?ztErxc:Lx2$,u9l"@?O2(6Ng'|V U3`׏miS]W" 5FuFwbgpgJ녘: A.#ȗO+yio;,7m}5!wU8Г,KCm'YR)rnT&0e7%kAL mXF:G:?v)`+k=ې?Ab^/eRnJy]O>sZ3(SҚÌwxP_ jύ痲#[V],m!*4Q6 $L~,`pU|oƷk1o)U@ }{< S:67I+>ؕ !M/8Oq1qQp2Jٷ1BTaĖo;xHKS=)+B}0A_8*^U6Dlܘlwuy_C1},q%^kK=i[9q 9F*.quY_b~:~8G/`0/|{Aߴm:MAKՂCˡA}aXtt,rPG^b9uV\L&beљ9vCҎ/t4[42bg"˂gUU0F"ShC)CuM,+$loA/?gSwpmnԚwzk~LI1Y @>Ks }?7 (e:6'2#^}[$[y諞HlN|@ {g{pf)o V65 e_q2G~epk[jD` N').1 'U{vES`@%~顉 1lXLi[{[+=I'@@s+uq޷~Ӡ;?!.@V3QaP]|C2TosƵuw}{EA\S 8MaK\|!cf(Yy8+myR8X?s ާu*sRUx sj:[AH+n$&TlM@ THIی|S;`UC}$>)̴#Fk^SIHv#qi58 0(yo%1$ø ) ^u7;P -hg<{^s;:7鳸 K[}87xݵ>?#DB ƛ8 fZ؁Vڌpuƒtm-X5pqЎJu-Qh$d~s*"ju>ێ7/%%DȰ1n ogK9ΚZ4JD=̤A !޾T32Lhzr V?>b(KkhH% Eqv^"Mz,rEњbϖpf @\YBH, w?G9GgR sLk  . [?糘$ Uv%?PGÖą;͍T Nt?G*ŖQK,3V&:okڨUFcA.fm!z/`P oY!*0 1ހ0ns2*ʡp+ NRjKS+}W]o@:#L@wR|7&U<4j` 6 *Wzb,g[Un<RߌOkYS"qx}DnVj]H sO6^|h^ޝ\s1z-7c& )GkP0ۖKka\NA_NR ƥs!x>XEzjUh}edf?*Eq?,waMC1(.[ƺvuC]KvrbFؾxTծ)ߙ:?紻;btVe9gcu E1AGͰEGnk` JJ|Fx^k}F% ~s޺MNV H ˨AbV)4@7> .M1]!XfFþ֖j:l fɒBMN*uK7[^cB<c ~-}Pٴ!Y޳ fK5ED0>ͯ9"Z4q賎{ʸBR&`OT'R+[6I?ρiɁ[f>rq%$4 Q]nW wZFPJw_n/" Pxs'~d{ɶJ+ v5h`cX=% hytUse#~x YGA H):l+9'IyOR!VQy A1廀l?rK `I$&>V^A xh-\3r6d/;fR;挽~}PLrcl9m6*4ɳ )F\sRV(5MҢph78&&(L;ilb'p֛q?lcuL ~>AK &UP7$6JңVm1)Yd4Ao^E"PT6/ 5>0ȔVZ0# Cw!VstU x% 褆SdpE_[$~V2*[9p2GXl\R5zRͺ8lO*|^@>)̆,ȿW),qH:# M)e'dѭ(gL۪*PJpm36S/2VW:UVAvιw.\|kTɒ GL[UF@xr(VJ?6XiSVw)MMw@cĮc*:fU_9|,"k^˭/="OΛ mq{ICN"=ƌ>{XOjAc|_؁K=$FheT`S>bhA6VE8suE#䓺ֿX[+56)6nuϾSK| 7 /'|0 uq2sV@ ڐvB0Osbm/[(3M,$ڜu@n@#hTb{f!c)~䋁8tٗI#Y^@fu^+( fVE>=m7NG:'oL,?a@zi: p^^NW^kD9Jrmǐp11Gܲ"9 ˄949왖 N)(;| KB-jeJ]nLg^O"z_]G&h|jvM}+Q"VvlUh)-$d/"5hn>[b4Zkjx !*e-NOk<0E nQ3^v7z غ`BO 'U s6g{?c{6~iy©zL *&"1 YKPF"KrףT Gⳟ97bʌqvDGIhOH=Ϯ33zW".oͱ9Noiyޥ96UvIT_ bi3kU jo&)&W^r]CD1"64aY“yLĄ02L30M0PF| UtuϚ~΁>B&]4DkSұXwydq+Yݪ0{3 O9؟OFYFhN^nFsG%Wjޘkst _Mo%qw]*o7ڳҞ\MTD.Slj@wvh)63)vjcN]i(v$e|_[vW1ywRҨHث[ÓH :vxE;Jp7r⧉94qҌnbU庂h]Ʌ]&  Ph3aYYn1I(ƿ^_Ryԉ/8cB @],]z8qЧ(L}, pu7P5ϲ*qλNM\ 푙bB`ukO#>"x*Ɇ4.r.xpO|*?VXR|9S)DiYXm# 0(p$k+ݒ\zN=њ!h$oqtm'NN8?@fz/f?M@3#h̻TD;|2q}ǡ!hXR2;~=l1b 4t䌱mJ, XVMY~4zAƼUK2%oC6,yTEФԙ#`^XGA6M{TnT.=MJEJG6TegOiϣ(r*CH@ Fx P|E_/F(ú1wbO10)Ŝ5x@ӂ8UÑ96g<F"iJGO2~ucb(^K[S[UtΧruU~>ӱ PNSHvdVֶ}>ŏ+_R49a ԹbRRƮ7fā*t䏅 7\T4x='yP@~:&M>TU^01h=&Vt$F[?WLT?7RڅG|Iԋ>D&(t:}^ۛ_!'XtXکZ .*ۓ+b .hf2I6R3ẾֱVn/=g ΃.@xx*2BDQꆵ:BPyo/~[4gF/*L4s`qa7BX}:%Ra92gFfkyav,!Yv|ͤT<ƞӧm+I Mz2㣩AlbdNpLtD!]8Eq's+6߳^`AE\7,I;6|B Q%2'w9*s<"N`;snwK_E-[@W%{q3Fxo嶟> dWjیFdCʒ%%/.<ƛw']x EW)|]<[|*r )Re+5IR/tp6MʶJ= ۅ/ L$om^@@yWV-K$m4I+^!1^IoIOqKp6! iVHxvSM43ju(f!TI-irSȭ+_>,zW>c.-\F6P2VND3)l Pm칎n#d 7@P/ªD W680ؔ +^Z&F5'Skh~B(/ ՅEbVj<3(x]TOj5R}Oi#xrN(?vmq…n ߄@GI"s˒/,'\^bɎ~/(Zד'/R~uk«wYODWD?| $wC<{|sd2 *3k$gcTQKRJVi5!`Ce`#mfWfRвLE^\}kGM'<Ԕ?ShQ}#Mij犺p72D}@$MY6ŅI`Fb)IVFHp4ۯ$iP+!MS ->\YRs8ړjLc/jS肈dMxԥм+D#PfsSc 5;as <+rC^c֣cGXN͞l6QsB[U)F$ f=S(j;,tjbf:K>tDidcT, n*yLEk^^t9 EǬW[]*.w8>WbSPU 4W|Гux軅YG x$Mb,k̥e,FCLm!sXy&-JYJ#u̫V3~OVwJfTl˷߲=lh$if6N;Q0дLgVn%.t\BMl.P> 6|v>goym'}vSP4=ĎMc]~LA˨DKAqH--\O Q^%WN0B贬VEzħX ;8oކ]Ad8}:A>]"X5жʡPtD}8~,+pWv_ |!-dʸsQlz@ e`Vyύs?Ÿ ) .f>$iA!KLg( !|UO`%%& stV,bUozwʊmxTBY|V^H::3ݳoPL皙@𲟬|:(^pPDJE`vC"WY̶aqгf\* XWrv[)>1fyvL38iw/yh!C-!Չs˞/c'UK<(23I۲>js{x,SөWfÕY=bCI4I91C!HV` ֦ՕA u}6N~RR͒QU9 tI| l& cЬH!0 aFZJ|A c p #F;6SxW7pI;CM_&PMFCjkpJ2ѡ)nN+1d_[A,}49_#nʶeI{ WR)bY<_EdZ<|@-pu[_mroYEDo)ͬИpg #Vg*8$4|/}y(?"E`e.Y%4h) kL/x R8В{UBs\U[dFp%Kfa2ʘ As{?90a̓C=ZgSh;ř|sA,lNީ}Gnxb}"8ܕk>fv{>J({MRp6bE(sI紟"A_{ߒQ{ؔP3%TilՅ5Iv;Y9ܷw}oa%|4uU+koVڬQf4RDm)@W(si@l"9 {#VIJˆ8 /* 4;r[a'YPftklg-=]3kՀ`_VǠ/{>Bi8jݠ| Nf""gopSZIrQAFQX*h).,WL\$Ru6+2#QPX߄KNgNw[N6VZq nC]S+Go[]V Nae0RЍ10 th8&6O!a_y~IyZ(Íu)Q[ؼzqW%]m%"D\{pn >j?v50/)O-EQ2p j=\S;[~(AICU61g$]'1:jol S{*XŒd+d?cbN{[WWIo(@I̱[]D2ƛĩ&6^.jR(#N3qtj-;Xlq\k A+ּdw3 cµ ڇB`H*gLPQbS1>h: _>3Ӗt y :~AA%h? 4/ob2NVy#1nj|w!r>0J*NcCp:ST9y ɨeԡx=pOirw܄Qx :J`|IC4.] U (壵5'κoe\V!BYBXtb}oW|y6;r+pjm`:/+c:-mn^[>h2!v o޿lmQFl@Պ@7Q'Lag4go(Bjq~AIzctnn WO .]~BS"5,c-QJS -<ӌE#\ Y+Wxo>-`͍m$aΡl7 p`ߝqh:eW[t4+H)ih@ m錠V]&|Oox^.5^fl)6 ehbjFTfnc`2@,L%jʆ9 eiMlȯZ詖65kE@ƓJf~AG>ej90h@B/>}MmK=jA.M. 3-#RS؀I~2|DjAmI? c%HjIaA o-&F!4cFڄDE^1&Wmx [>BE/FF[ #*\wGZ4!s Fo3|ܘuHu{9x ^cmQ'/* mRy}hn_&b Q¥Bx|]=-岟EKbxܹNMRģW[巑5⿟~w]@Q+|~ϾAr&k*XqF"JB2)O|q_@z2 q+ܨ 3&A~Y n!P~N3/W J̹v¯V_H3bN^M?NrW|. suGۻ^\BIeXlEMplq^ OoZ0rO~N O혫STߗ-怘 EG|1uT y +TwrYf{{85,z.+sU:[uڻrQH @RwbX]'*6K!t ~r ȩVW<'v9:JB8 ~\veP?Q0VFP~5Җ]#C6nXK)K2?54*kEiz ;GyQNs1)n㘥u舅Sr̻÷K= gv:a:g1H2'ɼ it/0Z+!1q8NS=X 3Xw0ٗV hϼ}HrʮE [M}z.ؐfԉ䳷ͨQWu,G g1]+ypzf(kEJ;]ѹP}OPt:X Q$0}7gOYD0qS̟ o171(XuOмM(gu ,۟n>z >LbN[)[8Dz˧Re&%^lb GTBs"ƛj)y֧nm0ǎ/F/fxFۣLW.],ɱM[Ԁ4nHm8Uc^7TyGOGgd^ LV*{ 7g'{\:ؑw/φxшZsCt笐)r ʄm#yj{/6]Ԧ~V?E{k w%eodp4mzi"z#u2t'sۭz f8@"dJCHfZoWz})[2g]mV0H? );ڟa@F?=dQCFgTrlg~$2}We8F9\94;DGL[ ֆ ]ڪ{F0Hjyreg$1q/kf6_ @i%)V,Vz-zCo6f<&kww)-?p[0 G,X 7=aFdCdT+tiNuqM:k"r~C<`)0"W?u lovJA 7G <:$٩xLw}_sUne r"|~4?_x,/.Q2 HaӅœƿW.|k9Y!Q4ذ|b!{@raaK^.t(? ^/ ?{LGLVݳv8o6U˜]}E&L@,Uc;Lp(b["j53?E|bg+ iyS ZDuVCyo4 ҁJz6A앞=D0B_w˔~#`fQ&&R pTVxHzH3Aw10Q"UEvb,KWY䗪o_,*θMMoP Y i>]Ô?֚Lg"2`nƼ6yJ~T{Ž'5unRyGw^d2Z5_q@w2"!iѾ_ɺzqM7ď8 Y(PPGD!;~} 4za^xbZDIY!;aիtU7O2eT\ kn@f?s`%$ݿە_9@$gKT.05튐L MGDCܨ#0t"ok:[4=K 2{)L2˪8QUʨKϭbȽiMp}E"W'XwZ b7(Md@zN{_=' ?4C4zH4\a^Yb^8ݘGhY^N;F7x9l,41r4ϡDj'zF?}*. CIAZ?ɵ"')&kJ oH͉m܅~ŝoG~EO|UHay#T7 dP46N$?n)Dgѭ<7(hFk%:a"[,\El$A=t)q-}Y{0,֡8Ʈ̬|M \:DhWb-k^LѥW!;`6`N(Wc25{GK?B_J ƍK??/H\v/WL`Ĺ#8HIAa)/)gJ$q,`>odh:}<$E9:\8WVGn #?ii R|PCkf)6 & V| ^NQ!n])/)iϜ[s`8MTe$H!u8*%v$lJ5i/s^9=GBFnz>'S|5ҡP]"Vdi.KGY6sT71ܫmoqKUKfpY8K7U' 냗-4f3)^kP' _݇㫇cE§̤TK]WVc1J)~F1c{Iץ0bqḤ$?L@JRA„=g i`?7U¼E-lwLo[Wh +ؒ*m!Z++lz'QNdk(y#BBӘ%/iZS,@xeF0[ve9Lo.a_KWt@tI|wVQ6T?{ |>0TH_Iy1_}R6M8l*v>;OOd,m\fb< ,q~+Q^EXu03y7=4z_L*mA Cp tT 1L ٤eRi J7:#‚C);gWM6g`ioU)7Ρ&IfC|rG-CGk鱉}9g )MDI*xhF;tp>Q_Bf4GnFy3<8*6Bĥut8\aʷ *.)W{\eZ25ڢQ@RhSSk0܅fLƯF:W]ϚfNW׫>`O9r.|K#3JTJJ3@]-/nFCnVaSdfZz!q *x^I0Mͽg#cwA_y$A^͔j&DdUoTY/+v9IϢv^e~$n Mbw%K Wuޜ㬓V oDiu-us L٢AKd2)Oe[ z˸,w/=X4x찰Ӱ{,=Xvic^!ْk)^﹘oB(>;G!lBDM޶c`Ug?FyO؁a}.ff+^PkW1?0F `hf|BX1¨)CFօ?Yh7U]~JXHIjѪ41CGA 6q E0+8uG絋γ=`Յ hWv9adž=oP>BA FM8K(^q ,oEQScW.?6A ӏ=@ά oX?{a|B\̇9Y]prY DA ߕ)-}gn1j ĩfFCU8 e Gp\w@ %i6u"A+3ܿWtR8t}wibl@>fIo8d;1qEӼ5ŕ\GGmT }i_Yyv3i֞+W1>4Gϖ4UI*YY$IBf κgYZ7zXZִF! ,]ŗXi%L#OuGlۭ˿QI<Ϗ_ܟ ˽A"dUu)ol$||pکg${k/ )p皉owӃڬM\1|e"Xi!F-ӏ2,1 aPGX.t㨮N0UE=HoRH`f+aиY7d(P9I6k@.s7$) ? yQv~.ko̕]+uB֒z%~2ss(Ay c7škeYR D |_+u61`Ti@YUM`JLT8vOW9 Si^ŢZ{TnW$ԷP`ўݩTf ] _ΰORDkr/(vbI*QkDVVS˳(ڭܥI%(Zdj 4:$Szehc2iA:&d j@Mn &LJS)Rh> g^6f"HS*0/F8JDt\& *DZW,q7lj OeM=;a>^>҆nlDzUoGe'e2&3VGE[䛻Mqfj.?E c`G.v"|^B17R']â %C1c^ տjd)9K'^8wuudA:ܐY"Up7}a}`D ^BScլ]V2lУۮ;`~=M, jwF3>M`)uPuA*,bdìܷYx9FNJGO.%bn봲z9.RGDeX11f1O'/N*tO,nu9W \xOS oG>%,3w#]TUj)g{-8|y'wi@ ,큝K4!"vn?>KYk^Nly_\d&L^h1 ΤxpkBúG#M߭S/٤ YgYZ7c58a37f3cb720e2e132424cf08322d325185e7ae2015e5246e1a7618d650fad22191f33705e8e0c 8a8103e86b35297b75bf7c8f4f146e87c135f0be 4cd4814fb6a0e7d48a5db0d1d93915a4826ea76d