SQLite format 3@  .0:  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  8-l < ]S MonoidalCategory:threads=4elapsed=331.809cpu=797.792gc=37.948factor=2.407zXZִF! ]ŗXf[&MoRy x()DqJӃÎw_qi%әO ۊ, ( In;Na5('F 7}'OnS >Voщ7?mHɃGW# #fTyH_N<"q!ϑ(E/¯:xCA^cgY@].ܻbx~u@!wi=U=e`QQEқe4>13rY^s::-T9wU~؇zP dO5:Ek'Nǖnz`n^͒(-h@-g[Ob*UHTE'لSޛ<ڼժjZX,\4mͥ W#z*G!0G/J`8@< ZQ~GKrEq~')9fUr4ƚ+8G2+r+̄߱f'T/Z;;)~t /De E"ZaNϚ-68&NjΣ^S{m4^Ǚ8M2]XlrDǞ> ثb~I4&hSXcUVM} I]@>0v'2p$؋[BK#ϬDT+ 3+δ+2]/8m~& (!J\R zE_tJH"1сV2 w~#*sFw}-K*FNFԱ= ґ^r:͑d.Jg2ĔU7𚓤(Z۳>X`F[9ˈq K5{W}x/(Coɭ L7 - MonoidalCategory  Q(nbk<,NJHI-0gQmyf1(Eu]A4֡3͟tL+ ~ ib+'"Tvr6ax:##aӰc-∎rMk~G#ECp:M/@CGlںF4kZx^'OBtEg 1MZ)IVceMF>_w37㧛YNΆЅKc8" M$݌K6ǖ}@Xೝ:c~O-[[X5bE(Ck:Q'-Ӑoic 3?'ަ:_Mk!o+$:hj/!zp{LLouJvh%.e$6۽UTؑY}0fk!6'z,gB^SqDHr|L.q+֭|6QzP;;m_aDή4²i0ZzXBM}b 0 &}QuGD9 .(Y\a_>rA~cNfMZ`Y8̀r щ0DY4wD7g'ѐdd,#@fР8~9 ?.#2-\!Q5*Kiy/?HuY˼JsӪ8}[bzF_?gOC +KW gdߎ$rL'Zp*8jLY~qx3p.)%vxliU37;uTG@+0IVMw16 k@PL19rSNRɵ\Ds֭j"[0-f%oC,?c HjP L[s "r<%BJӂK4y2zz}Oi.odڸ$ѵd adUQߜwQ ߅0ci^Zs~vRECR-py'#MK2el']#XWgk3ՠ){S;p|^)=)mzEU&ee ^**| cWVF:5z PTklJ #1jVcnzt}n M|h Kvjrsd,^qڀMFJu0,lRy&}S@JoozS+N)=Gs>Ix+A"~$i!)ȷ,?@$~'r,sp;ofdn-DԶ Әbm+5t`vٜ\:~?{ krX6 2D^~a96X7QjL( КtY{ KS3nd}Owa 'B7(G$(Qjdtr2#& {LDC,CXB!"> #Bi,hV-vl[; Bj&B#jbݨ^zN"Proѐvnk~%2.2a椉~)a0jFR#''> Ӽؼb?}g0t77<fi惚sj`%, )Tt%|]Rh }3r;[wِl1ȫ"Ye {SnJ.`[`r|Tz͝9)_^~ Ɍ 3J4u:H, >zKmU X95A6\!׷LgZZfר>[VaȨE{}NLgkFA3:T9>ykۧc[%j3?8D0`w޴m<gXK%l6rĘ׆,rբ(ڋ|`ɩHS@ĺ-"^7m/oh9xMa }-/id/ӈ`#F"p%%:E^Hi`aFkG\̽=$ ?"Lg@hotFt=#90c&wAݥy!(/fu1h!ZDBjA]=REc@K"kr0Wr.~Hʩ: }L0xWB: Z ڟGʪ݅IsA<}4̸-6ו -yP :G:=H"i[Th^V аܒ-M|DN7_KkM(MuMG|ARɹ pGZ{F=VR;X淣μ` xo82].5$P #f ]:$7uErx7Z['GWj$Eֶܓg ǣx2czj~D+ 4:Uz#4pak3k̶|ڠf:[FM#3wߞѦc8*v|i>r9%T*ɎIM~\#)ԑT1+=?2OYuu,ߤ+e ]077*^NpY~Sz) XBVY/"gYZ7zXZִF! Kcb]ŗXi%G:Sy6b(ٹ*P*Ͳn`}m 4 ,Ý>{y:cNMbpsHYfc硷ʌ6 /99[8&l:Op 9$-#iNj$Oyo 4tO}cEK\׊=e?v<*XL&1J](j6UкjR* P F,qQTx*jGs cRU0b2xX\>d9=tՔ֚o,@gqhx~ ͏N*u=jV2$z3-8"H'ezؘ?€ : χ)auX\?0,}D<`ǎ\:wS`\k@X{dgUuoxOI>c(ޯ&m7GZ2MM "OVId0hŔT p=ċ_-C {e&FjU\Ng6E90%#y{Lp!@,;;#b'ltYTWN}.qҙ1理hpt_3zN7A *0Qxt@&k'ЋFɬ;gw.d%Gځ8ޔPkK # m+5Ѵ$ ksH2O ( Xݓg/p=ң>*[0%x9l$[Sl6!=M=.&C B:wsȥoɾve8r1mqu'ycɹ%^x 3T=2hX)5"ʙz?B5Y63آr{aTx@ޤhN!cU YJ~nElV(4֚? x'㿎0-@z3jEp;X;4iN5Ka#m VU.5au%,9DGfVlNI2hg;&0X CfA66w(ܚ'$D L!h'Le/JI ($j~|{^ٵTHLJHk_,ڜ2+b sljl#^}_0?Hm*l4-=J?@A` ins’=مD:+-C}WTrVBe-3,}h'>-U桢M]MAhM(OJU/ӿVXQV3pY|DM;Ɩ!Ao ?y?M9ɼ~߳p؏A.(3Sd`Zv]TVvn&=r-A:wVFD*gZԙ,w0JZI֠` ݔ(ïf埯Vjc83P8,={kWaaщ2oZh0MJqݸ?KIaf[AYu1R03cE7T llq~:(i!\̱uP(\VPO%#()Vp, n},o}\?+,\m2cnv5DTME93'핅M!Da&~ R}IC0?,3Dy,j/9뼰"\;Bl(`.# :ё<>پxʷlSs<5eo +%,[юƺkgZVȥ:23gR܀/ !B'*tuMpπ~HObŦ*;yG,DŽ`΁Qs?_}{@̾| ibN0#tF]Pt!&(T&ڽrG7Mrș4ϡ ʲ mZ|L.7Xk'!f0|1y^ bt2w'sx8'b5:_eXC[b 1 <^ݨ=bc=@=S@zefPK-J^OT[䈕I2IgwOڬ-8EK䅦"mV>@ iȠ}ƜS'ϕ[OS<>zij}],CD%l3YZఋDWƟ3[cm:MQ|7Uc|r|WnZ.1A0rH"C#7уaGFyy~3߭YDKf- Ǹ`}2l0 D(aT3n: 0ИvtŴI&QU'SyF5x`^Oߛ[̿O=N[Cmh$72Q *, ʬ5TԊ-qG\H re#Xi}\N$*}%)Q`r?ҧLwٔ!ych2?hӘێH{#lX1NmLwfGQׇ6$p-r3 'C-.3lYZ4|4' ,њձJdql^y\'Fl쭈T/\u?+Rn| OZ4n6lO:\K.YyZIŝ 0^fքE@ %*ߑTїtp&7`NE(&kkc-g%\~徥|ΟyJN3ky^:CrtD*H%Crd7-oZ4K "-ĤM8?N40y,&:h; Ungv' OKSka$`Uz&];B> ìa#2Q)fRTѻIh'ɗ>{u"$mZ("dbbW!{lvx!F7 e."5}Q=*+ݬ '!N!a?V Z|4y|A{_bAU\#BKHM k+3YJx ]ֺ ^4¹drF'yGJ4nZo)CHBa o_ne1 k!>O"f5SlvϹ-%"Fe۱6z*tęb.F0>zzw7ScF}a"73$4E_mMHn2=]]8.u.Y04NJuzqb ԍ LZV11sFE3)8AbVsu6!~R2j˒EawHZP95~~J _jf]R hRPIw:[N2""<Ұ:m-$Hi(֚|bA}}Գ%+ &b*GYgB#zq;ּ+Xy>>?_AéFd 0ߖ^vL|419EphZi?nT|xid+iZCӲTJy1Xp[x9+iA]ņF^Csde7IMĈ೟ѕaʆ4OVDex0($ԴuNg,v=aw)tOU{GS?=Xg~z9̨~\lP?aaٵg^ށ £*[*KUDžxěئDe&2:ց6yר5ٱff'̃֠ƃ?wS7,31]y1H"5C j3*8obJk;0 zTN/aiҿKA]-vrֻÑ?iWԇ4/۩OypWZ;'^d4Qj'Uĺ0{gQ *>G%G=haV9nH ut\o%ɚT46UKF"Dbk Hp& *[p&&J>A{%/,O\" 'dWjB`"'TkPPuXP9+&^Kw]K@v*lͥZ(ДJow%gYV<׫X*'?ofβp2/ߥdWP55*=ya./Uґt5 Le5oz?Sɩש y8PMF/ȎU[&ڪӷQalZȅ<<|9U O[Vi}dJ6NxH gq"+ֿ7͎Hչ-*pȀ|WgűtO KFoUVfW=8W|w:c,^BYmDڻS8O.ٿ@ 6k/Gjv78e.Vx´xQcм{Et\' )Znc%@FBueX3HU `B7Y9+{]pMȃ /xW&VMpȲT;|4 cT N{(3":0f.Y ŅbS,!w0FL `¬hV ϩzy3)7K @ZJ5#`S=K |=iUf|?9i̽RAF{׫Agj-")P H̒6W7vQF\`,NṴ\9H[љ%QsPSBo5O<mk/{i,bN.M;82?v ZM'cP9B5tVK ccjl(r~q乱H}~'\Y9WƵpCuUꆎ'Wۇ e}#E9&YZLs1Pt;?^thԁ@?u6`0!o CUQ4-]^?pg3;J|˪ݫ酙wr+F9!Z|pYIpEz<8ij[/5;ّ(>aԏDXs;iB_=~q&dExPyt80;pg`V LeHm410j};p@zp!)l"Sb{-Wk Cy 79&&Lb<ʉNfuc|C1 ojڰ- ٺUر'(S&&nMkbuL̗m_ԽM5"^q1%d7UQo"KAS ED2G€;˫jPKdAw%#i TrVQ&m~qnA 9%q׶&ЅpcYE=tW%Njp%YNnE͍@ڜ1$Iw8u֎5x2(!H%-%Pe䣲JKQvAuCY?'tGMKT輐UGbrnVynM'q=~,\f(Ct5Jug,،f˗EJVɡ_Zwiy2noa3*S?a/6à H@t{Fݷc~RBʅQGrbdÅla,3XBml{sbx5418K0 +^;{~0[qzHMƯ{h2K9nP(-W #-Oys'D0 Mڲk2Y{$h!MOػljft$R[Qm^QA R| 1`?B\\cۖB@KMQ&Б5$}jǏo+rl&! \"U#FwDbքn@gI3t8+5khR( PBR_-^;)$*!~ >}=ff'Z*kA/CS^JI{5v qqĕS=,|bS̒94u(_kGvVtʑOwt9 YTԞwftiŠjzGbJ8"ud$ڙ m\y}ZٵF(I 0GV%BQR^" jBO|٢|Szȡ,D?'(J븅Kh9EeE2iCCv18̺jwk*!ιBEKkfvnux31Y_u$=ĉZo{ɚ;8,C΂=xhR#x)FӼ0#" 2 I-,G1\ aܛGBCCYۢgv:їoM d_&GFؔj)r ]kq.4vw󃞼pF AYY~5q8WЕb6i;b{TDДw0v9J&։q|ԶT4Yc@(^*ح쑥Yvep@/8xEDFļQР43 ٤OdU PoB$%(|tb[Vi׫ xɄ.btT1]yb]nC,FfC6c!%8K' dczh=7=RI3iH2go`bX2j~&D,=.L rv\acȷse |Ū@+޹܋M4 U,#}=Hruu\S܁I0ӊwr@J -kUF1ӭX./@NbB$: /(' 75CHy`bb^Ul`=aWl"ZZIfc|i< O%kMoŹIx FIय़q?r(?Z0-L]eJ:q3=SUe6'ۨ,&UI?LaN?֎<J]D"B\o&v0@>(8XrC.D! !Yt!֜7 iÑ*1j&p%YN;)fvhj}(6xZQA1Q!y5)ɄE ,KJ1\!ފڦ\r_ KYlN7 Imrx7rU/S2Vy)#y>WDMb_#MUKE-R b7PʫN˖Z]7 (^4Ph-M ?oG֤RSk9V*fyrX.;^pMBuaRT3kK'*T8dX ˜V,g]67b4d\cю[ljY<܏1ȑ(T:QY $(Zif` OeUg]G9j*m:fKUޅ_khWEOb6ע$ܛz4߫k\u 2ôR,'h9fT\ۦ5a0=pE-ofhmt(2âNI r\T4MiNQקSm(Et_\ 필j xW0Wa;)ox1C(^o[ka*&33M/j/ώ+i%}49}oHt=|vEUM2pt7xաY/dwLPAD +(C܋8{j7^4~A53YP%#w9.AJթR` :C{SU\09#M1͠zF%o$7N|_c @.#ɥk!ӷW\%yLUv[) 䧔 +i]+Yѿ,6g=bu ƴhu@5lD6>!'bd.SVcщmvuMGjwP|.U>'` [<,op(hG< 2a R_iYW#g9ةjPͱ=^>D• Ǧ/罶'ҿjοM4`|b/h9cYTȁ0K $t_- o󎥓3c̿/Ml'hgA,ୄ@O+dx*"O~\9!G#1'ωwĽX $[2 yԍɅeS32GdL3M ,R\Ҕ#jh8:=" ,}ջZS 5P>@sp;(ͱX ߉^l%vW6c;syٷ:÷ fti$}az,/W "®3iXb]?Kui݌H ɾi$KukTg-}ah #ㆣo|1=xTYH<AdG=wvpyq41ȂZu.|[(IUI3n&i=d s ]^6s;lQ>uSN:b7=dl-%̹+[{:plfYJEƠmV)6O?!6贽F҆bln|R;FiЩٲ ec6v۲J? 3KL*<8eVuh EN^7O{NOҶe+!Z`Bz1G HylSLBI@'CGrs MJuSC |^)=85gڃDy9<%ANgdbrȼ[n:ǠԡQyUYJ/(}KgpjR`b<2jStaKW2 uKP>>`(qr&~~NRsn @`Ea ))"\ ¡C;e>=֊~Do 7CϾy# ES=h./y[s1r_?j]J CZmMSMٛ45&~GDZT7 \K/? 漘cʊhΟ-;~,];.^ g,oDN*jЇDŽ(S;e\'fOB8 FJm[b酽l)[p9ө` ?Kxт!I8z -!n]ÖI2s.D.O}Y=W'=i~E'@i߀z-YfL*dZ 3M!p1t9`;8vw%)"(-:]) 8 ETqA$`,lHR+bS7$4^" ʅX̓"]f>)Ժ%T3%z##tbĖPj2: Ў Ȥ(5ElkWkDSe۹\!#]׍יoXD՛+ЕLTGM̱ԛlE;@gfayav6؆ai2 ٽ<69,ANStA%*k{Uv+]\NcKVR5n8l6r? \B$1_Vꭄ cp]@"zzBUEe8̷5w겹 Ž>Լo vBc$B)^F&u3+l->7;u/7ǃ!Knd>jS& ٕQݻvާg-tM-d[ *bMh3_:xvd5oO`~@ QeH(uʇ/gQw9P>)l?FryPi#fݟ6e@}leТCV, Ňz Qb;>aa,VZ3EdR<6?[snE8#Q)?HYё130Yكzjh\p7e`@|sRBR(Q |P i#TJl8 Z #p{"VI'p2f% ~bauy8J]F]+!PWgʥ;?FB|=M?gab Ls5%vG|xOV׊rH)nr8"VZJ"Tn˷/֘H7ŗjX(j{匼 Z=?URz+PH^0۱=pxؠ0xLH:#Aug{E9C})euh ٰߨOAnqឍ.N[J8͘׿B<E\cf" JWAyս(kY}d!`7Q<('ϗ/Vd6!N9M4m{8)6xR}#EfM%2m%I8d&}=kbA[S嬵T׹{?e+x*¶e~݂@=G`|(dbLxM3mݒe a=jvLUbߵ0xfkx\_9?*9c940*q?_IrbPF̃qM_Ḟ?v 0jI}ۼZae8WƂJѲ3hpRJb=vSyhrAD 1>N(Hha0ՙ3hN~UQ+Ş@qhÆeY|xTp;}/c_9 Ԫ603 $ޚ*o;?w\BIB%c"OmҫĊR-3`A?X-~:/ߓlk^ao:t$3s0*;N7#]@bkJV>dtuAo¹5z4'(>'\ T l;zF(A?@{SM*<7^YX!tl܌J#RP DV-n\vM{&>Eق{M! /R㤝 qI*xo[0Uj"CGh Df>ut_&Euй@XC$`ٚi4܂'x1-1 =}ۧnzC_(lLjO5[dL>!ӽ=6Xr:T2n_tn䇒^fJs=ִ OEq*@*hJ-MN`v~HN㠓:$W]a^tS |`m Dγ4=?UDSF"4XI#8SZ,jR>Ψ X>Av* }|תJ%ӾV;WVL3-@[ $[)=X'=a,w :(m :0nUKMPVZ^} Z xcZ@"YcZ{;,%2dh.^X`t}iQ錺rUN,;|LCnq;,LNU;QJc#. CE-V5^fyVpYJֹ7gjL*H  uLRSjM65߯/FQ[TScaw&=v+KUIh'v Hv'(2h?KkL2,QqFTzuEC.6usʦ"J =$QKdJ݃cz^Q{S`u%Wp62 (p~Be/prݽ&z4&;t뻁h^ 3qa$!m+ae~ isȀx Pd~{'"#e|>hH )#J2E |_'5y,P ]Z>h/K,=qAKtνD9 څk$Bв' .V^Mp˽ 5-|L^. c?|M }A*åT ԂW G\_p{҂'9SQwqcCr8_6 DzW$2Cm[$wW>2O˦.f;ڥ|v,nGa߮zD+hJɸ{xVhӖED"kov% <7eiglyKP0GP IX/'@9$/u |݂(I]̈́p^} DQJe_^P)ϹfXnyTNW[n&T4ɂsh(zӗI}x rZI_|}@QZ&tômQr,) PYIcZq' 6\ckޜcي#(?v!Z(RK*@O˜iN|v>L:-pp&{Aozߍ@h`V>l^ui2`;BmxGhe+!]>Y0F<8MZK T:G.)k5p/Si]PD++InA/4:< ]?Tk.@Dcxs͔˰e^X`Z!6A_x__5 btsQ_U,W1zm A Y$qet+:=USy2kXq]i)LX%쩽1'!^HCvT"A`QV>5S=2}4aY)PQ^ 0D?u@яOrY f a3sҡ28Z3YEɮJ"zj߳cx m((WOa-`)}QemBRߥq!i&Y\;"/Ǹq͙"gmEoͩ`BTBYP!DL4oZiu(fJ Yr=$%U NF3 t qYSn9jx!zI7{|uP/Z&u{< @lUX#?q?GA̙!vKbfi F6w )ѪWqXۜcШ /Y"݌X{>/y^,t+^.%g.CJvr„\E5Ew06-3k2qb c ;*z[C-G4%HQoY@ #Y{hÞZ)~"H].Dߜ'UC w^\8윧kƃfBa󛧌 4ڋ/ΣMΦƏތ'Qe Pi/H_K9F|f(엡%=~_-VI0fKjC^s=tI zfxnu 囷%pѶJ.{Xhypi86MӘ 8D 7KvMS1sb^ֵAT+D9Ru?.ܾOhYX|H}Ӗ:Xc"Xz`Ud ͂\hЯؗz6}@s^"}H ӯKI 3wM+o 澒8:29-ƺwڍT 2c8wxI yAV}2ClI yPO&͸!wbzo^kH+CGY"\ÆPڢR~e{scxX5t{UuA&؛: '/9]54 h3mLcm@i$%'l++թ)g6:IIF>ez.A8h7ؔ;#,7^!ڙˆj0JWf=gUAق$mgg)G:gnZ'kyK:+k dfdMuV* MKΖ42L36g7B6%2jAڢ0wPv/1Vϔ~^0>[K[t籁[8VFt}ֽ4Di֌l!ayDŽ8ҔjݜyqxZ,Wy<1/ 1CóWPXU1k3?ɕt^ wء4g&ף*KEdn| L B.92*Dǡ'jPk#-!cˤ%򨋯ȶSۯʫt;19}~LHk\r B\PB7CUj{̼%ygzC V%Z/5xaca9S3.2UF /[ʩ(xAN{lnװ-7)Cy"%@P9#gls##lǯ-&s_v *\;&M(d#;86;>q9eLK ѡAhl ?<|2W^EMT߆fQ p=_XIDuBhQsɞYBƮ&8t'/D}, fbºcH*Oð;ܒl#How Db> ۤ7coF=|!>2|hb|ΜM.X#u\DXm7{p;Jw=W2>&u.R6z"HeX=7pF)*S.UhZ:S(I;"ϫ72*mÞ]_s}> 1@'yw!omЛ 9]K=,itހQMEHu&?&1 E)HT@_:%A>2꼜몸/ mH/*xY [F@j2 K+ByXaqE㋰r-_\v˼Ͷ,})7r̯FV]4-o/i!(~E fiүK~)qa&=9"a3԰S ;&ye:o /SD>?r gq:ရBݚ!!͔.)QP2%}7bWy$ KCܰ+\,p(DR!o!jEϰ 3tNotJgkIӵFaDKCjP2ey19/GM*6 oap;QQlzԘI-2Ÿ!ӿ@"ANutWUa; R!$YONcN[MgFpr@T'0 ,rd@15#l%dQ,#wj`8J]Q#`^`,S>}$]Xid @}Q IS'ܼ=(Es- Pp%GOf}@ gd|r)lP A!PT+J!^W'h|lOP1s,`V+&+LyQ+dyL:'Jލv)A\ YCюk|v0mvH=v&@%rD`)n/=(D,ck!_FsMO7+I;%Ե{poKs3; |+o7o''U*쟌wui2n1q=f:3{0&$"dTtՎ%c.-&iZ<+X)}B]sTAȪk㬋)sXgm]vn9Yů"?n m <͝{*OPᲲp',)Iꝃv/+݅]P7ϡ*sLQ__@oi- <%k XBkCZ04oXWׄScH;-`>M+ {-EΈ\#P~]RcruݔYƐzJքs{YSh|K j#evrQzfVɼ` &{"(;wuu_{:#j ;Lˡ1"f'H>԰DzF!Vzjb7^q4o x 4vOp ?oJ~ä0Q=BDSԮ+xö,/~Zzi#?˴뿌/hyʂ7E4ӛ P^+@pTuʸܓTNp6:/Joأ(2oOs]PfbY.gǔ;;v[,!NXFjG]Ձvq#d{Q~spJN1' S[|E/B?ЮnX.Dͥ` rx(PɮmK[\-ԿYC2;B@ u: 0;$K%r^ _D2~A7؞g ? ~8'S>#cf*B#uŧU^QZ!7zdk¥%PI=BFH0.f2Y~wQT֯32μw0u79E<4-56Yz&xeӊC,wp _?O|\Rߌ7h릋wĽ"K\L$UmVs=..B92PNf5Ѥ\N1J ts *BU6+WӦXӬ3]KWGV}17LrS`(T{c_hC=YP៚)kB&$AX)` )l;$_ѵfLYbz8lb?ףudy(XF?_Ej1-*G@eStJ"V lݹq{FI\ ҋm/.A4Y4\Yq-H{M\錮w5ަͯ hKE8/`T65N4ioٜ)[e%'Qơ,^f^Oo]zB2qP7t:|=Rx9~ʳo*8"?tȺ|%8uӚ6uR"i1©q:TYt%*#WMǻV8U ^"BLQzS3Df[rP@Nsu!nh;Ц R$5}o^޵,2R QV,r0 {q,IS#Щ(A9c"DNe*2O.H%<)zw[p]iGwz)ȡ\O9%3UMQC9:02W5/ho;3eO!ӔG>0WV\֐̈́@ŦD3Q N Q@ͤdYc+HuG=~s- &Li?[m &kX pM}DŽqzrt e{l!߄fs'f#!jB@($Q&|Vjϭ$oNrtxhhvBziB7sdgҀ:ɝHΛۚXtY vz1gex!oURcLn>'zf:.!-ms1%.08X~MGCCUSa]v zch6^n ygNP.,xs!n.uLc&"P+lj -Dmڛ64PVׅ G_/758R] .It0U !blhd }40heE7X AC\KRb*bL *wݦ@$ #UV_J!\gmf37#'eTPIޜ(0 < H 5x!wǭ9PtHHg~K٭4[BmۗkyI^c.YWb<fg8