SQLite format 3@ . BBh77otableisabelle_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  b-,< ]S MonoidalCategory:threads=2elapsed=1003.445cpu=1759.724gc=94.852factor=1.757zXZִF! @]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C." +doU{bP~2rUP)뽰D2MD8e;;Mxd qբbr7~&Uc6-;#4uǘ@wxsɁ?s O!rI~I6F: -:=11mpYׁ+ ξ 껦C3Z 1) יvcmGqJ /J`"@V̔цQl(g,K57a`_ - MonoidalCategoryқca?t?jPky w*ZG9?q%[0!JRL%OY9~OcyXA$-| b\vTz0{D rˢ/: TJj7p" -C}D_Z:ÕD8!:f[~IΗȻg|=iwa!cxo2=@PM氫Φ" ])@/36a3ke((+':08Lꪤrԋ+v"4WlPe/ׄx9ۄMA|^ю rV]ҋp<פ1^T2*@:w 烎hIעbR5>R9 _M`-), =|YRR+2nZa ck BՍkH7RF|v/5۟)| VL 5H&QHMG޷\e\Ag?[,*ڳV ]k'@udGTM}nFloBʆE +˓J d:AZSdS3%-LEZ{di!r2';Yc[% XP5B+(݃(P. 8(=:h}@N.j' NDnkk=أPeVPX~2/G;l5w'ELic5^J `fI+@nSuv ĩ^hBZVtbjL6)B8E>ܸs&JlrWiG|Z Q] T77g<˟.R'"xn TJ0X06Bn+n1E'R|`" )l ͂h/2+@'@]E۲︵#j1Ia~e/\dS;l}!gyzD!L8gTCje;k^^wD% ,h7^>_NnzU@ދTK$ScHY? dpH拘EqwjE)w8l=cPHM@<qN%sHtV6׫]̾V1|8Uq =Vp<۲g}TُP'v>`Peg>)8匜oH;s]^f4KRfxl*Gg`ndyP7>';.ThAr 8-j')H$aл< 8IҖ˴7_ص6z,RƑ0.z.*P@Gv 60޲R#G$14U";I^J}yag-V?0 [uh)MR 'ͩ/f#}zSu?*=5<(mQZXJ; ?K~j`[}+fĩj-k#E-~]0- j Xbt+;7l&~є>-庹d2 Wq0ilJ*7hKk<0ҔW+x _A}=Ati؋fAH^[gXH}cN: Tάdhj#)X)ģ$X[n t[Hm>i\_ox &%4Yœ8?\c:-i<XCǫl<bݑˆJC}Ll< d<q+/ vJ չ㶯xu}us>XV!#<`dIS4f#UĠBYq*=o%3AP%oiB_Jo1?zMCz7a8(Z>ij]oz"sI(X [:1oI9|g1GotyTyZLmtk65~)QENc` !†3O:M٭ehEd['#2)'aCTvA? > hf9H#n37 r-oOb(|ř(igi4YwȔ#p'zUH GBs Ԫ״mk__|O;>WVT"!Rъn*̣bL#"bg^Xpȝ>l/rD> |7 &108hK>:;‰y>F12y+hNhGFӬB6o^% JDfd=Gɿ~m]Qq\Qz^޸t&Pb&[w׶ WwftJϦLέ`z ;o ,Y#^pxXk UvIhoPW 2ОRޖwƞ3#&c'K1+iGT"B4 B2Ԑ_N;K RzsR$m)a\tl27Fǜڽ }jJIleǺdyzb4GNUy>թϝڹh-"aNSSz_X܆ x3b oDq~6~fmxatfѮC`VId[RflKlSwBDfU/tKx?E f@9c E1[R(%CTqhr=BS%wNj$ÀX"I`$AT7<8Dts|S!Yj"{h\9|Mֱ?_Pma?S(ԡu>2nK# bp\7n5U1И2zoiEjEǩX~)+Љ"Qt/+"zd$" f6&_V!7s#˔i52R /Х\/bRc9osa|X5OĹ;e)M%0CR*xXF~`#8&mB[Ϸ$3P*iË9;<0KI&ȜeB%|"}dv._ D쎭 $!j;O:f!N%lVXkJfQ_[MƴŷCKtKrR_jW6;!!zmJ^+JAF+g)Q/P ]pLG8/ZWe5ն&⋏܂** `;^HX3%ꡰEaNuQN~ zRnk$WgpdHeI®6fR}n;撲-[6\SEu;Wk ,9D16,,b ӎzIWb+*aIRܘ5CM?D^2k('\KFz4^ _,'`pt"܌A"}҉?]XܻpCj넇,ݨo!TS|*+Ȑ4G6N0'|oFp щɣ$fs`^IZT,(Ik"]gogpĸpѲpe %栣-^-`; %R Ӆ'_;AÑ]&^Xֲ@WZ)`uP͏1)Өu90+t,5K A˞Fk:bM8!P܈V?|OCg7u'TADM/#u.+ÂFL"mY ^I}چ))7( 3Cxj:/V@RW'ꩢKj=4Wpw^Kf/8&^wRsW%ZNٛvb5GpɌcn3#u]]^B I! pHZF.MZ'<^LaV-?o!^I˂@Dܼ:B"u"cjT|4аQgrN8QPF–b!ВxWeSY!F&q&vY4-7-!L:3)ع\sn څ þ;nd 4+#uWFt $g%"}4LaK-(xӟo~chhINoy|4L ?njpT]!,M3۫F">-8 %Nm6SE9LI^nah~Idժ 6gĩxt' Ofl?1^=77pƭ3)ǫ)ځ"TYhǨāC?[C WP=lzyk[ w/i>p-ցZgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:c ?.=4of μ`'#(D  vOǛ{K?=τj\sIxj t(Ԡ>/:Wy^tLj&y8a?ۃllCATIeSi% oK$s_ ­ b:>3AYoʷ"_ٻ8ƴ+k|[l8wXo1>!8x0C,h M-rTb @(6m;2zW)9uRx9uA)th@-1QcÑA>ˬhMګ [Ku`U4XJʗl05bxG_;R^ș vXvV̞e >(J9H%TJ"nߐ)uC͛%4AN3:e#֪l+~Jݾ0 1n] <;ꎵݛWD`~ | .;5rSAcN=kI@sډ*oJ'u?2@k\g:im"fa/cxtx[mѝ7)N M9'}ȴz' SM}Iaڙ8e<́ZaQ-Q1 @۟K* sHH)Ñt7%c0 sf^NfyH^>E2r61߁3PZ7)r^vS)ϴԁYʘRU KJ\OGu{1J R #Z؇oj\ˢg0aF'<9qOTxdj]R̔ PN3Ӡ;ϴ4qe\!Y˅gSzz[tynH#U]*S[Gp.R@xt?eC+5HwozTMfuomSqtlbM'0`TS[d,O R.nw@5$*q$=8689vJDKV/=⁣+F\/}{ml?X|vO^_TYG]ӎg11Vl$Wwy\Ɣ'iNC 76+< |zB`O"] B'' x \B{,}; cm!bE7vfO~ (0 Hy?VwL MvSރyCL`Zsֿxbv1iqĴW誼Fs val ?1%bacDŽCG۰ Κ3 9ˢvsr6MNx&pzGGbv"#h{CXBmn&lgx7 o+q{!D+&0sth-wC_WD첸H5XE#klJ糝lQɲ~3]^޷wHf{D~N;TmILfI\q)ѭ|]n;oOpY%MYZ,r[F56UTlQĦ "pn[>L17kkeSȥF2poN T6!C9b.Z)Nٗak>ݢ.E21ez B=_ύ#(OE 5m!=]Ry@8ʴGUH0>8"L =uVJ"Ҍg`8\!a\,1kLMwsCILK|@l@3PVƢڌdseȅ-(FhŃ&>H:6#nVG_nBs_9^pBt}ed(8KR!bW׊ؖ~*-hk3&dզ5^]~:9oW݊E}-euQ|`5*X9Ÿn5o-.Z=>o~lE*Ksy9`"?bŭ;pCZʱ^%kFܺze_eK]5M7/O>:Ssp6?ky -eafjjWɺ !W^f2zi1=T8Nk>Mh݁Y}q=!PY(%ׯ$7%]Л?*zlŶa7w:cOp H3rܼ'qCۛ,Ҋ x'ZDy3Fՠ$?ЃXy/"PB>*pnZOg]gGN 1] (fXxQ^=ᴐ!n')(@E7x6.-.5]Q|! \wnuC0iz۰D<4ȿ`idI)ė~13﯒y|v{7~z^`[LJdNv )*잞N@/6ҟ'nEw7z3{AnLBfHnF {bw"D|D7hQJNb{l3(JaB2h.G\~8u16U@~݂K^`@cMJAhjLn|<&TX*a;y#ɗvrp.ҳt)pbqHu‹iJL4@ҩ`*,>zޖJ闪9$9_vI&Cgs-ϳŅq- _V.oVA3$&hUTݬ>0DXQCδNNBV+ M2 2ss&WauBew"Ʒre#[":UǓzm8WDGJZ ~VԨF5%.L,$d i:?[|~A'3AIS6kr~նROlK2VO̕l^ttΎktu/047om᪞7nWQmm{;|l@8ȰBp8d6_,TGXU3ت2 w'`RR,Ϝ?k5l|MXciY*;!'D Gk֠aeӱ䜪΂ "OP#f4:DO2⵰=gnԥ&9Fv20ȳy~qTx9ݷb˶ӽ;L,|pb˖d#:a,+X&s/iAPQ&ѧZ9?g"9Sigai{lXK?a2_^r"a츈vA Y]=6p 5'.Vo mW[tz '3}7;la[oW 撒j.afw^9PezԱ=g/_ ٬ѡ{Ѵ RN"؛ nēMװ?A'' :اZMf/rAq"ʿwM7} $F?ú_OܼIFV67 F^)^\gKEY9GUo+%/}(~.RGwMZAcDG d\/$-_P?FOaE=8.E]tsErYJU%Ds{CHC3H !^Tm yGy'`4F0_*x*6'x}~KOӚgn&#K7H`q/TTj[v3.z^\ fWRphOЏީcC}`m&˧)ˑ]JoBT-9 (}aSqtr-)l!4RR9gxޚQ` Y_3>4tq:}`|~a̻vL_r$KCP5@H$c'mfa3_:10i_6kZ\f1xgS%qߓm7)m%F %!lw@Q"FVxزJ.y]XQ R#6?:TZj 5Mz2B$D,:V=ی]7p/sOwVfR%ki>9Sm@BI2TӵIeo;9ɠ0~ TmKMVn !݉-z|[N$ljE]T_+ a!as!)By`tg'a(Oe8hF\es2~czNbSk}p+:Cc"9EA˭vQ?R4/SzD7wn~mDֆib;. cC>3] 6ō ZxgNx ˳3noQG"٫/u7~p%6|)#ۇqD-TOiwlRU >R|lAWI[ WGL6;!QX-urSnjԒ:of@TX6aoł:H9~4# +v1 Cˇ+GN5"YutIYZ8qVj~NHrX&(תg*ˀB45r!GR+h8,]Uĺ4_&\~/3_`Pl:/;:{ݡ蜺g̕P2[')d'H/' T-|J [-7;eMb=g#=H۹Q[|TvwA1lrNʉL`-cmk!'Z=))=%c5=K>, ԋ438U_(n>Ɖ3m8S+%[Xjo-3}'ume*<9!UK4ou8yuL;FRfN)]gwZuUFOian&J Wa`֊ 슎qx`Hlefq a96A.4~bW%ŠV-tr2fRHkYkh*}$ oB7gI[)>BGWlHE!,PR8k" ?{<y#̦Fe6j~Y3H !m0xҩ` 7ޛ@M !`H&!aE5jO#5nr"p-RZI4B| [p:翸Lՠ8/-9`U1ȽX2*;<%(?)v#5L4nI76R'6P~3|bދd"+*ΌꓬB34\ЮjW2 =o5Pa%QcUpUFoM0¯45^;>`f% 7+g ,:Nڥ}"9g\knD)jbO&1j $sEݎ 7d <ƐgYW6Ɂ+GkHInn`^"!\51%)7;{`*8#SW/о 0  g\!Xן8+&ZYW:U e?Mm}|_BucUH~+ޢT~ YQHt^u>FJFIA;~U/vF)+NJ(٠K7J9 )Veg~Q̛Ͳ, ;ԷYp9A]z(q9m SɱMeq:r#BHتZDRCð8:c8TtbFkJ1!]T-Dc2UrC0 5g^ssNR^0.FFYI?FvN-+(JeJMyUNaIFњ̲yMc+%gnb<Rj.=Ϲ a5>ݨmwxQپl%u^kowj[h]+6' L)JWiZvn 0ׁiWZ A*%9f\AcXfZ\74T-,❼~ rlX]m/кo=yQMbaB^==7@Ze>.^ѬADjY-q:'(7圼!rsk.!n8 QɅic< ))#vqb{gbYׅwW*~j#wR [33^G"8y$:ooZ6 " hb"RUcly2F77]B ȟҍLpSȾ4%%3}#`p$̡ȕu ;k6PXmA\+,6h3cb}}VA7T3x7 jڏ ob0CD7i\D&yuJTW*n#T@{ŁjY,'$'AN9ғ1ۘ*ߏV+|xVNxLKRf}D%%1AG(78 !n16 x<:J1Bn䇌31$áj%P2H+1 8?"pת@N֥#ptbYؾ`!,Z3>(S+҈S"FSZƁFQ̴Ui.f> XNz)CLe kQ!qOJnhtsbtcdI!3167s܁oFQKG(SL:Qg2W14mu4|yTD;Kï^ŋ^<ϯ,=K3\#[:cYzzzJ*rQW ?24ù偮kYor{EXU:A4Y +݋WjI͛6d6Yיz}ph1Z$+P`t*i^Q4q{7D#GKV6AI ;<#{n ^eC9 n-_Xp᪺΂p-EmU@s֙fngm!vv]f7-JYFEh ֨?syIqrZy3k^Hn%x ÞY(>35uxN9MzL=M,?0߼ jm;"N<RU !,{]ICb B|ߚ.bYޮ>`A\ьki.^" o^ITʦ;Pī4TyB-b pX? L[;?5^Qk-lNΚ:C=8_&T sϬPN>$CP90 iޜZdK]cM&oʚHhY*!^Lg ,r +$8#Ĩ\j&0К}zUZxJzM仙i^ 0E?-udO*O>Α'#<24as¦,q5ρW(j)QlӖ>x>%܏9 [8fPDkEao >~!^\ /#Rz@UE..o<$cc;_ 4t_fօCsS2[Dl²'篛⴫_}ac)tyw.ڭ93YTxCօucyX@p7 Q- A+ !uO챠rnPn0طơej{E|j ҼdŁې D/O^ ̅o<<˽}!K˶T*7,"fr`cx d|&P;VW9e ;RYZVyau15c"y%/NJu<<^`.7 n2Ȯ!`xMm4B#@-PBs]f^Rg#G 4UڹPkX~>r0zw0?8R B|(ksŀvZFy Xa$'Ee1ѭFre\KtYwLTtA_S4*昄>.yOA$RB~=tV1<7°':j|py+X.usLL9b2qcV\/F˶;wT8yτr02u'G_GX$g@`Z>U|`h(Wշx3 %CȌdRgjjq\J?`iS߃dzq(#v%Doc"\YQ {pmE *njѲǼd>(K;a<*0c4w'Rb ]ML;څF/4CUj5'%GUeX0x,~iC&xfG?}l9ǣ"xႎRDN gc#5<@ / 7Z_ ]0RrsbN {i+j?*eJ.?0sԑ DMuGEkΑ)6.펏eE<&Ȩ>9 ˵kKhw]ժm#s+BQn.~6a'9"UN28g~N஍'@4yВ EyMKa3``?r>ht'Y﯊HӁ7,z86&@ٽKB e2rN7.m2ӷIݵ̿S%.Z>]\PȪ_Svw!JO|Tڳ힣ͽLT u8UӪ0/*3es ?xR x Op/[hp5PӾ!5݌vNkpC3}n1g*;Yl+4;rB@h"mx7&.2b |[r"T1[k,ˊfB$,%"qW|dy RT7vweR_,iKZUĬlGe LN˱ך!>8c $2%ӛHPZܜ8 QrVv|A.nj;jb(<,f\4N\5qJ; IFH~[_. u0iLn&fJ_OI@6]82 Dn_9zbhAFk>]{#7*%PHEj.S\cyq2ּVƙSiI&s9q"v{ݎ´O!C"׈I!Esj,V$8VSqmT+ԩ^~"9 )rgN^hB{10,'Q6j&!)r<xHs7W_R̬+ 4CnE>juA졭l/eNo[Ԫpr>ivW Fs4oje" _[nu&oߛahT`Ēn9rjbl7# F`^])LtxQ g?dr }`҂S(9?[*/&dݣ#< aC?X`]g dx饌K|0l`W[CGi#ɩYͅV}s-ebZFq:彰1f?<E-+B>Y}h"))_BM!HA;^sTv1BHo\Ȳl#dv ;]uƶ|ZK ^iLHM3Y,m7p؜mHN* 5<#" W`XTNwKsn磨jædK1'C{IಜWSllNy^c(8v ЮP񞃲O[?C 3:FbSR$bG%GM$wss)@eͭB ypD]?jC,0":[ ƈojƓK ʚm=[%Ca}rIm}`GU 8 6ש$X*8j' yٯKYx>gOG}lT9'~.QxʰO"Nq<ۜXTZ-SXDjq-#v5l(6 ʬKt:ll6IT'riiXNv-}Lke o,mBdf?RUYf0I$y^Vㄟt Ävڞq*u3329o)_Z+]FkW&NG^FVuOGyǯB ɳ8Rj?u_hXi?#t-=Z*T5Ӊl%8@Xד*./6ވMW3p-[rO:ٛ3( vބ"~,[;,L ڟ T M>#G ё?)-K[qV_K˳x*C‰WC4oD:''#~L$k 5_8|˝/S,FjBs[R p)_5c{8Y,rA)wvӱ8nQԻ۟;\6Td0Ɗhnミ4aI" B0bo>5~8+3\w( \ӡ*d6"Re+M,'D&-t` d9Hd\|=sMgC1/|Xlx5ZgbB^ p> Mdll>?} Vi1..t^ Vɓ`D@H_%{ #CN+ZFv&QO|c c40pW;IUBkZek: As)\z)+*&Q=>Ԫ;)%e;Z'VnS$EuX nqQp44-<D$V`dCESgVZpvǶ.-L,gh *E5 ^i3`t`gJ;pSAf& ۆ lPa| $hߴB6aZjv؟lk5`Ei?j;],3}2)KED5 {G%›k9%,`]7AP6xQJy}ݐ۟#Н rXNqv^}86ENNAyz9m(3‬6FQ)aB "-`ddGd6'DE@} {O!1B |>3Kq7k7[JԇL+&]lc_vX{(dH-{ccN-bWx5eW^E^QVŞaq,oC| ]ߚCduc]+" tUSC"U{TC 62sV 1 \|{TBg(:ZU* (bB:g[4ڞyTIKĈ^4j t+,R>ޓ ]+T1#P#DsTH(#ak0@O>(NJAQN 6 }Yb's=h6\B\sF?$̹ǰS2!)ӅὍVVY}ZHH|iDÌyTk6}725ȼvd)PF/G.$%6t/F5 *,Ɏ!qk1;>HMȎ iW^qd8{ѸFooO2a oEbm(W:n5֬NM[*>8,ϰ#GhwMV&gQCvB@i˵)Dy 5$(`E6$bc_cp@蹽A2!MAa$OCGA%%f#}DBDm֮]d_6Ev9V/j_`r qfQJ|{V|dˆߕWddUh0"Y/OU4.I0*xQYћ":7"Mw'Y.0}R<øhOD348$|_:*x Kcδf_NQ\3;nR{ ,w>|a1| :dNb > &`3CRuj܁S-QdEEf=z<`vĴssͦڵ7\4Oye&wfJCS 5 1 cIZPWNe[Z'R ɄxWntX% qsrVTQt* HEӹf;n5Z0)h6 2$d0ݡBjnySD#Wf=3~BJ) ʽ-BӹG(ɏ/ M Ƨ1o|RgH/痃7a,U8`'miHccثv꼆m)@˘P~f 3]i>NzįH:s^:R>_Y6Y.f{8 zrrD@*y1ۃٝ,g9+֝ސ.dC+Ա۾T7Ȋ#YO ?[3Ȼ(nyu7Q!O8T ^+NI7 5_l)]a2U6͙S^x:! keqhJ+y0ךY8(H0CF?B_I. E]x+ֽQ}PUɹ`yf CkYl1uGƑU+.I2&ިYCkuD Ѻ5P%8/aˁPuy$VxјibX q/h[HQH#5@IxЖHp;Z9"xm۽0 @q!pc$8^4@$8*cm"㴣S}.a\82ag\ —T?VA:hAp+UrNOE& /S?ꧪ#w l֏? mjZ{TRc47$7Lix ).i.%xr - q4X2tj0CtaIB\OM ~/y=/vY&}׫nRt!k:Ah8lTۛ;l -/bI̫v2}ܙB/5lWg0?TY(w8E.wg+M ?O}ltؠ&,RJ-B7Zƫ]N08+8new$;ޟ̽ߛv])SNrч"tS[6Rzwyx8.6ŅqO \Npun٥{\?\ݹhH=O/T_x^[еjwvv0^RS*7 vc U8V(F(+P|_[3u z?]6t4j WKe<-ޓ߫l_0&Zt#,ZfW}CF2qy @p {=ofP OxM&寧= A@^E[dntCe;)&oF2|6h**[}QoI) (]=i qcqO8 |64 m كvn{u\Qq 9g^"p9P9 ‡謹2óy cE_x`.úݎ(zG`ΞX3 G Y9KD[!%ʋ1oac>f!! 2.@/!'ߣվ8`=,@N:y/amiM C8X^.!>8/x߼!>JXʊv3tɬ^LvZ_ww yݐϖ! ^ר`@yn쐛Pރ6ApEUqeTUtLD8eq[(_FʍFjߜE?挔sp##Hx`4܅ܷXej ?80 HԆ ׈B~܈i/sO f⪴yR0Vv.XL>wފovi*n}1 #8O9h2K cHo8`@zr.Q!nTq`InZO4$.v^r ]#խ2C{}Ɩ${aN &Jׄ\SzUćF%Bf'OWo7~7ȤvGؕzX=N}ijvl2ӥ0]1zy G[ee=j%M&/\aj}A|/.4矞z (6} o7Of4O#~C$CLT ~fQô8[/GNq?{.+ܰ!OPKbՖ'b@-y<-^п: 8,D@f$^Q/i*ޅqӲ旰]#-icn08Tj<0h:I4?;"C\s8Ƈվ.xr{.l#gY7aD 9A0H`ѱjTJO4 !ץ.z1OJ.!Mp~__0nccu)cdΎ[3ݵٸ쏅e +/g俀ӻ2 cr$ \,5LkaQ+MX~0t?Ń*uD/DU;5申 rO=v{dr~CrX5$ޙkLE 񐡲S#s%Yϊw؝p!\lj%%Һ "0 !ہFg Cp3Do͈Y͢kQ!+6SD͌Ǡ︪lp!Cz [(@tO!>JPk3>Fo] %H ÏWjٽCw[C 1$1d}БwJZۙ?iN3[pWHQDM;6dk.&DN.DvA%0ة֟dG ({CkWnw<\g8`B+F]8pmӐan> ޖ'^1AdЮcP)+;6Yş" &ܻ!RDM߃+oMw5qyHJEՏl$zݬEc=_v qEi>Qukjx8s6d篩 ڔ2&,Sy]5iiS bf0J`tD|c%Aʱ8"TAP5 W.&r w ;Eo׭9xʅ NUI^577PQj. 5L՝XMHML8XsA8wmLNvm z>JDV>ǵV'W.j69X]QV.7rD G/Ծy_{i)tƉ 0 o%q\w!5K߃j0Y):H$^STu굄 k-fhCjs5ugQ 5 bt~&-̊]e?Esl xURkZh]2Q!ͅ}XV=c.>`]gUߥWhG(hka/GK` ڄ#ih!v6@6OA8v;دD)'Yl;x(Z>du^f/3O#j!B7pGɀR텺n: \4S~ṿ к4?J̓NlO#Sw,6FǕ3KVܰ8OdvJZ֖ACJ ; &̵r$SIS>pTN!%=$OIk/kd5щ;F$v^ Z!eN~A{e"&VE[?\Az8WDam`sb`RQ#jE eRW>!L3jbqx,QMha& -U؅~ |:# s.qe/ k2>;wϩW`7'`փMȖt[@3A(0&;-Hۿ4t[lTjϸɚXqgC*ϼ*abC(fK.``.mmǪ̪\Yl ڙ RV!'k0e᰻.ckWd lSy퀳'G73=<-\oHDUCdr=>*тE72K)t+L7vD.$)%M٨fbu;=amtJ %ѣ¶z `=Q: t:fR8 qx/^0#ђ;,)<0`}ϥ[?F'c7%WQ.E@]ȼ3e;_'!nk**[ܵz,(zHna'8#M%Ԉ|;%hBkmFrtHtJ_ʢ<jD kIūUDXZV8 |0Kҫ iY2y0iw>wGF ^- *[,?W?D9SB P Cź,0*H<6Y(g/k͝bο$yX\]5*r:XhΜ/+)$JYeE| W]+UPG5eνCRfWH' )㸃3!˼,a⸙0`++ԗz&)1:XNo/w2 Vfkd'I+dpV P~k@"`1{e+DAԼi'`V඄)cPD.'"ttO=,:1VQu&P2YE<*O0N{`>nU,2CtG$|"lDs|fHATcU~ofU?+<˅q {*A)Q, fqC@PE ZQ{ۅq@X̰Jt t~S5aBC&}ǪR+fHSU@V4a x1<Z] 9dRB8ȑ^jIRe(!z+^A%gF`}Ya'<=$qLB/X HjgQ,6}KP|x3oq;ӠfJyUfq 3YL?m2{?Zf0_0LU gͺnkP`I9M\w8)]1ruɘ+ԝUyOi>cP . 9~Pd"\'$?1݈u%ť|u+5mq85aWPɕ\VUʣj cr'0R#zxr.C,ogMB:JE|ΪB&MqU/q@Z;' OaOGXg}LmvnL5X%YxlB> u&fNQב< XY[5&IL74oEV eʉs]q=sRϲ-#*=u$7YuJ:# %dh}O}等jM%%*%9nYӃ<`ECGkdfp 1vb$#͒b:;)0 e"]yaػe'G,44Dn/+7JwWdCA0Y2A4t897p#F8o ^lCq]7`oTВFX@#D1 1:IXc:(6 ؛R頷F^k"Ak˹4x(GTKY׮$~N lU 'P7;Ye+3~P4#*#l^Lc*i@t3 Y'%䀝16k ,(20*mQj@-<\~JCgo8!v((Vu } {qrVuƠɢw7dVy H*U ?12$,6}(_WZc`0y\ݪ8/ }!f|Vvm_jrL ~C?G:,ODExb<԰1lk afĢ(AaU@'@Mg ^+G<*]Ф\ )Wx&7sWߘfA>r'V:w=T(m2vCGw?i}%HZ PiQQ=˻6*dDW/@.3ѧ36ˌqG5[c%!A4Lq')C&v .%!iEa}w2#Ji\;ea_ޖzAX(\aM a\'S i`g{i)灶'jKګ O뾚A[ͬݏ &z(bK.#?NHnE;w܈Й)2̜ܢz>rs~R,|or +N|FiwΌ`Lơlr3ow_LvXW,Safo43@6^C Jp KKn7Nn]Ur*| zM (֨pee\V _Cn ]ߒ;T5=2s%\m?Y~E$*G5Ccm".\\rs']fe $ޟiBH ޮ(cUN'~uvS^Rd=*{G~D 1m$<@v[5z@](&(^e; Xd<(gx;p[O& oxurq_31tnhYȨYWWO5>b:pd%*gqLe Xr߹Uo;w zUxF`>?E@IH(| ϣn0yw MJęȏUG݇7 rzGnd;޲maĆ0 Qd]wm LoI!$Zs/ IK{9QǵmII k.xHGmJFNCwaլ^6RJ- v| ߕbjDžA9oΊh;Wwk}wMUE-XߒO]QG붌:$G?6(;x 3.2հ w+*ߧdN]x'np$ώuIu̖@ !Т1+ &dfP5|z.pWdV.ds ΩKyt=G ]e@ֻko:N81img3pIۆ#H|׽^XT Z7+mw0)! eaǔ>J9Ԋ,P7R5s< ηftH5oLy.,bS5UGy'[.4s{7|]I(QSiy>-A(G9L[ߞ=ڽ y>e]"ϕ\#pUwbCFce~J:NJR|{{;.gGiB q+ZOe2ԷຌСLGi]6i~#by{h6xm/ͧ`48J幨 [ko~^V?(0f6*V[5!yv#7x3ηAz1ꈰFKoTz5Uc24*.G3-s8\ u0K۩0Q!׬_q`{ \6 $۽ϑxZ`FgÎӱytP6-͔yb*N)C+)K~=ۅ&6`*}&y6R1}m7ӷ,%wށ+ o,/+EUwd-k l 'WC7Ie-(3)kVss }׬GBEuJzcpoyla_-dQqkV׬n+绷AX'."YCJOxdQ0(7D?EԂ0ٜ@7rsaF֒Jk.03DnKQt6XQ} ˵DX %lLA M]hÇ9tH ^BV)v3 (}o(t !<wrB樌c[łc:lUEXvgNLSЌV p:fT:!xboSWSZ*s3w^3nj`4(}[zNwًWo~,>V!k sƗ|7H=Œ Pf@j6UKv7C= ז FlJ±_GMXg۔KV1O` \*xL ތxhAb6h@:Aߏ{1EX. =*sGKz6rѻ)nQ8^>`ѭbY{ ^[0>oA_L v_,^֛xP&_.Xaa>c"/< P7襴W ӵs]ǶF:4೐Ԉ/'ʛq=*Wlo+oĆJ0z;w_Fy rtbZ;͊1u9Gc!*9;VSrXZ؂YW|l?\APsr2#%fRCrxJ7_E` /9u#ZGpAeF,*7$SSG$ms>Y=֞0.ܧj^_I*Y^8IOT@,\ ^L9#תbI rrWRS:![ *m/X|| q[aE?+ RpgbV8nU37/ jhͰfn0$-1nnnvb 8x>#c CS/"]j{'pHkM"͜2s $g#"@M&#%>BB 秝Oe^jKCZ07U0KptnTo] WGϰ Wd6= ][v}W ZKx~5-Y5dpnj=ĜO-݅WK=eTv׏i%pFEW`Ő%~8jX0woKD+tMeX&WGl7W6{ (s lAX:r!/C\ ̌& GsZpด_ٝ٢;7P:UW@5Cj]%WI]i[I55_ bD=4OD꒚T.cݔ,:|FѮ5=?nR#ָ(i7 "EN+.BߎoM2jC>-*f&so|( 1O9i.6vqdR6,yXBSc et$ƈP&*0wfepeasŘr7^OPiz[tG! ""Z4iӉ& ʥ.t)b_ȷzy2V *HmPNMb\BQE:#O ` lKnGn)IjYd)\yU)?r$|(K[\lh6m@V1g> LP#ɯzMSӸ7(`%]#d;oQ [OP C[򧑾@oW;qrA|Kfg <6F,U,s'eY%q~\(DgИY 5Ҵuk<$hT0KR6˵C6N~CDΧhr^WS5}NZu`a\ (Z\-͓ 5aؙ^ yQ IĄ4BU)DeKrn?/$0xi.5kH>= ϳ'J,Tv:p<):~O`4NtZ ..Oohd͝mnJi,!:U8P. -c@G]@\#iiqya]@'[=5UrNϐxeh&*:DtHhP f!*,d:j%kcj[؝hjo g707B֢ EJ8\:J_s{=(AEgi;l0iuUY|IV_hKxYoarnF|zGz#>bfMe5֛{eqИ}g8cmB6ֶ*eLyc㞵 ՚_/B&+Qc7ظS+*v`6K7q"F6tq,᠒SF[&8W a1sucf0KK" Z չ󯍦Ę,P' Vٳ? IO+Euy?!z2,k73^3_vcá6ܝ uR̟idEyK*fRU[~z씜x' )|}[؃ Gڟ$ [^ =f[v.,tQf 9qyKD4ȹ6{9qJ P 1j{XOzGLKr}ĸC؊m*êT2x a+x7m)̭R=K&dV\(UVY!yaZC9Od~ۘM \d4;?@cfQyvCeȨM~jїgn9ZP0.+֣P}BRZ#J v|~-\d4i1/2#i,Xm0p7G\i5;%dɤJK3M4پN^"qy Y1鮌0(»#'WdGgQ7/>Uˑs&7]\-X7OɃ{3:}'ZT%j菖p3馶Vqab<Ұ;W*E2_ Jw =@/q[F]lr-k_ QB lE8md/ 0Bw^Y3{{&qUJ"0W C\J=#sqY.F- A}qf"(!틌depO4~xPZċu\ qm wQ6i,s" 92+JS)_P#=4P =@'^p.ݯ@Q۪7M_Q)[h\-z?Zxb.ʅ|G ?5C_?PuRBLCl1N&|~5`rѓJ sUq# 4E0E u%]-T?5wum3R?̙ͦ63韮#j&+{7l]lcR&E4ֆ-Nif<)Z#'i=,@jvA?Fq/^z)dC8X C9 @&o2K;eIsZϒxCc6VQF#5qz 7-fY[!Wց ٟOڋ%]R3+fSY  7T;Zӎ51˻]v)#Wf: 4> x apNVxHHۜi#|<0DViH{SyE28XQon߷&v_ ^yIq)4O-4b[ϩLE7Ln>ls>IN9|R!dʾB&'3$"V1[hFE'#waM-wvnU|T(Zw1P.nA̮jyO :ߵgb&~%^6}ꖎt0{pW4^Vi<#V4% :7уR/a)4O*ұj? ?- VXk\LZy\c+ٶ ?0'&. BIȘ)@=!isu-pԢU\ b ?l[3rƀ!9N#~(;@IHGP' *aMأ !dH/Z i*p*YK5isN (| |UG,-OK 2 ӭg1*0SU/%,/mrC+N"B L&*)R,U*P-['a%a85FBPi<~&dN22>6Eiu(-oA>SX(;X7f]0xl'f[2f=c@s :dRgW3΁+#}Sp@tdAÞqd9 Kâ7o'mCF*ek:k13ЧlfoMaEi-i`Y\rMPJ 6%W ?xw `M7vAE♃%bJJ[sBe3zFMh@8d9[rUup=@5ղtHKktۍ0̠Ik7\KH9w"'Uɥ_4EiA}vk=B^Hȹ;G_9CxdN_O 2f젭JK%`a" A0Q֮^S: q;_bdb &A2w֎BaoJ4hq+g-|tA\߀P{N-d]p:M/5$*c2Q7t {dэ~V+Dl3¡tZr6Hx gfWk,9 ~,^=xEW1yJٗ)Iro\X_ȔMFX=g[yNiZ 97&>jbyr@C@KťZc!'OV[t3?&*j |5y'"ß:cE ިc m!RU]Mk9O%] &ITZ5Y09%_RbTEɭt,AH,6m D n?4}0D>7179=1?ju=O|C8t#ncdyч)VS/F?/~D=z H;& j|Z !ڶ4E.֚߄˽e#:+̊Hpkbuh6+z4A׶ʛcf۫ucAgPq%}QLh pwEi0NQQviҐ]1 vZx)mN!q(80duϖ}"&)K*`%`k-ƶ5]eƞfTPs9D~Ӆ6O?=h}ʽN@ iLUb)$ C~6KWn"EImWg>^Z_wc&mMzf\MH|×g{*/ecoDB Dj%<+O;m['I|ly_r2[o3~e~̐U@Q@8g%;K(8ꡧ]'J DN=ah_:wMB|6P*w"djMճ}ޮ`NX@(G胩Jʱq/oA I^O2?fGq$Y {|JM <38OvXo ~C}M01YlQEaՆwk=KmgiW[?\ Q:@<c4cwѳRo܈zԉ!〄+[N2kîI)Q{7l1`ۮ򐈿_0í5%Ԣey~p}|$]KٕP3?2Qz$`AZa{"HDfAe*48 n+3ސ7x^ӥ=dZ x_֝tK4cQL1B|h(gr_Ъ>79eKX}}oUtԲ$L!UHӒ#>sXtx2)ر!G(o(([,u!p1, !} -q6x;.E9,h+Y)D ޫy5ԺRfUFgRg`Skg73ѵ|q3@Fq3teK4(dݦ,I~5$w M1Ž'x_dB/o<;@iJ86^qʐo:ĢP1cW +Qhm,'M1j]L״#үxUm]x@}FE @94Vp Àe`ksmZ<+nFːVIGvZȦk:XXY!c@>շ}bŸc:o+f2n\ovfMr\v ϱ뎂>[~T*Jyr]LNF~$?g"aL.grjUUTnV*.V=6}9ń5.jOT*+"Ӗ:wZOnS,$zX㠬 IGbDh Dͤ Îe W)C T!NY6m+Ⱥܻ&6J`ĕtF])bIBU] h`@~hhEQض:JfZ;,X!q6%5k^Bdd>exQ#\ár*^Idָ ,eB.-lJ,t`8E*VVHFzSԷ#%azHϬg@|W$=HenNV6F);s6yX 8?"kKXy \R×yPW$Q]I*>u~| 7ָ)T1?RP0#a$oGowZ|z%|v;VLpЏ>ql=CO?V!b [3Oz۔tg{Z{wOcQ 鑼%A SF[9Nbe P5 %BչfĖ @t? DFF#L &]βR}Ubli8Y ;] MO2׶ϮO L1N;/3Sq O0@;!IyduU[$׮%" W_mk8MGwB}Xd~ e9}ܨ <ETܓXs4`JluZWk7p( adS*HwJp4Cښ8`/^7 *dT2F> `7.)I>(x5EU=1@HPv̊noFȮH(7— У>yHʼnϭO=(5*Җ!=W |d.iUܷGmZՈk ,*E-:"c=WI1at֘&M*=M_uG&E}Ρ͆ylc;!)9ܞLUa7;YMHeZ#6gtwD/6N"X`˶升TE=\(lRKLxPퟖf SIcOu =K"m,šiY<]Gs7|¥ZdN#[<( @Vq"7J Sb([`k ⺍F,!9oɂI}f-zb&#30 &„8p׈=^Lnx':q{6ӫ8gD_& nQL)q4SA63*˧@9Ի%aS&!9Zy!lemOUJkZHa5kFy@O%*+:1ILc^ cFgGn֡ Ⅺ *Dc4\H|nMzt LY8k=CGD}.}"oXIJ b.VYɌ`S87g@#ʣֱQv9=H\gLtxa:5d:=Tn =1RumX8t}jhpW]@o+S` S(}ַfcD0RUGԭ-ЇetrP|KW,ҠҪԴh%wd]B|\{ ֘D *3}8q-O #'hi>/(.Ȇ~[ KdĻᬿ XM@e SaLb0F:򋙽L¥>|~'oUJ.Ipt!pƅ﬋U>8e^hDR n~ޮ Rc)2(Sb.^H & C~r 'GwCO}A6b6vrt] ؝;um1X.!بЗM}9'TF'9$FJ7$>!1,|(!WÏ5tΫ.XA":T5;74) =?dsS~,6R詊$r> wO9d:zK)2؎= 21qôA3O~LC<_+qq$4 ~ ]D?!"Ҡvk)v95iEcDt8 ]2NVHVu=ujORB2\Özvyɬۓ{?`Gӏ[2WoZ!_KPW#oz CW^bt݉Qk[a6u׃A^^눌уy H!,z1ɢ6HAeCeRtyRڕ[F؄&NO G|Z=K\M(Q H%1WHPBG+~xn3m6/ya[Mjqyb縡Ҫ!C f 8jF~{&21oa/x0bDnٹ=eZ=tȔ 1$iP/u,.g~Cr{~ӥ yIчt{PM Q6t 9a|7m, 9 V,LuƅJqpօLn tNRXЇ3I콏{,W`?*sVIAQ倖)9Ej%\*ws$[M@EE`?eAX  V*"wH):څD2g?O*t.:Y؜A+Y M@K2h*{f8%}Wap:yP^uC__qt(eEz?~JʖT]$ʁ;4H=U-nK?.:iHef `jPBV]" >>aV1$YTgF:^9/| z ԓ$M]^ۊ|%*XR+>g2  F\4')Uvu2?}I9QsVl(ưg;Z6xK$(<9,://>T:ڂCe,K'y"=`iZ^oF穥 YCv2Qzω( /жʍ9ˑZ,4y L%e4 kT2P"-Gv̅N3R?G rE0Le^՗qںy(*"מyYpLF݃5qG eDe[߬PCn _ KR(@Wt0]o^qg4lj""+n)`GP5vx_HS O'u)| 9Uɴ|3%u k/Kg^Di*Q4v NG~sLXSw{cKptO Mb_81wrN&~_l8!Q9gF|1zB\ <[pp8\FǾ'[)jCiHzmhnll21P3MtChjsWԌf06Aޘئ B:|dPkTho϶8 ÛKgzxu-k##2tm&pl* B~សF81eiFK}:*<`"Y3mȃHkE"!ag,IV2Vܘh@I>M er̺ ^#f] [C֎š3CV\j0敽pw"oqs|^+{JpZXz$_2ͽ=ϼ-TڃFGĻK\Y=ݩ#G:dQ4l6c7bWuoL=`upx, @nƳo5똹a80?6˃ly7DY oK%2d<[|ΰY8;O$c@$g0ƥ(<*|hTF&Pb}nԅV- saV2 VʀEaq+ Rz|ufEɲQMXTFƶ^dts[_- 9Kl/X!p)soE|!-:h= /_}SeUg{oChZJHo,c0 eةb,蕍'OnM8R9IYu yt0!Sjq3* '@%YVK"d kftf^`VOBM|s*8>1f5}V|݌kd&GDu5ސg ePzB`e= Dg(Vi¥s%:GjA|M%96?SgW *NI?hqk}Ǯ s=/߇`g{nDj_nIH24~'>3,$L+]/K 93;d)9TNAñUކ3Fч75ӫ^B)ozۚmdcrڅ&~[>3Qu}܍ cGt"∂-BH/oL5R,&݇,VޅG0ҍKkzhO֚?c|p$ɴ} yºe>x+:3)Q0$ǂ-kC\)?jcQÚMt3s) `U~ otg:lF{|O2#ϭF!2S+:(gU{ggŔLzk;yֺLjK`q k3f'BCe'^i^.453x[@Pp|˸ &}AmWAl6LN@:f"GjU +L|Oo] B}Cn|$('l3x_tٖz9X>Kcl(o0;'X  ZPME9NUߎ^s,9MK+zdX/e#gPь1O^bg_5 ic<;ͨ,WV˦7|:Ϝ#NdqtPvHEu3oh]LCU 1NQWE˦ˍ;Cֆt ܧ]~[0,DM>X`CVu(]F>a/>H1+?/~&(Ds1T+ӎhXïH}]ɕ`ā|66d+`y'B-z|.sGMLpleށ+Vyз[$)Rl:%i#.h |,K/D➌zWɍ"*'T !fIGz=)|5,cU%N8RQUJdShX)dPYq6f}jY9SIUyYR_׬H8lpJc;Qk7_eY2Ӄ +&Q1^z%6Ž΁'pW1Q NWtp4r)ds]khF$m4>XǕLHUvhyMz N7qolҩJF|jo۫I>;vM?+' 1$ ܨQ9 )^V,|h}uɄUr[nD*AIsr%C֗qGF.YY: " X=jC~\bhvk+NֆU?B@)wH3Γw1l_Q9.yZ<>?zh!HH` ?҉<%k2+cw]m!sVj"l@E1V;W:fOr(Fq.^8j2 fSKab>aB9%{.i6>*gtMy5񷚙9.Y1gIj8=O~'G)(8m*XܫJ%/%@b~7dNuIGXh &קl6UR/}~6[Q\ӖOh9]ĢYhDQ^Pxx g?֒$g XfKTLyub1AQO5ּ>()B-׺*aU.Vѵ͎qJ>?B;cM1K~Qt,p-JyR CkbO#c : |(ݤpV;ï9yfeMyx,&FxZ> nE@g& y96z\aLrdͿ5%y / ji3Ɏ>ZXdMJQ#6ڟiv៶LNiP͐;H"'m:#M<ʮhk+`#29ve޹q|ufpa5*va|Sŧ* "-]~@{\OhM11\Vl` ;;G=RVWNQ`hM; W{, PKd| t{./I|"SػF+#* LN7秛9%UD;GM{1SwVu._5{fCx*r8txU0?%^ _]"9Ӌs1ng.?> G#)0vor{q|,%d^IOی%S. **1VΟk9ÊO|T`^? )eB/l fO&I@pd!T~QUW }#6}6"YZ~F)p%O/(IWo5U AYtw zҀe}L P/~hc=ܾ 󱹛T ,{< oM7]Rx72{{>]7t#(!郖&yH^tFi8UD/ԎZE-¡#w|["ߊr9q_ @l+paWl0P$u}D'k%]P7f!D4gT-%yk 5.Hў(pE>khuBcPА` {kQmEF˾h&e?C%g)' "7=Eu {}ZMwsC|^(6=4ЯݖĶ!D4  dOѻ/cF}'e'΅l޼X&O-m}8Nk1:r\^@8@*ꇬs8|E* bׅx"~/Kܱp׬SRۜ!\ )K}?IT:Q5k59AdP9vWҫ@["B?LƜx-~,*Vy !bs}wCgxd"ɉg1t}Q1hqdT!Irs.m1Рxݥ-Q}9C/8؁12k叮KT"%ߖ\8 ~!ʃ Q]6liEz4j-G\ ^i|Rب{:9&MquOHzk`U?(Y5ȁK>-aAqgՓic[ W6 )` Ks9:q'-zx7u=!ڄK{o5LB&KD v;^c#>o2vB',)A0Zʷk\lמb? jʊcYwZ~a}, e^}'I_Ls;l][Z6{ՍW&h^nؐh],3l6Q79?溙T #HD뙡`KGK ʀJeg3Ov5}P&ͼ<MJg7>l5FJ)5w%lc˙1c^H|<6P:( 3"l-Acq[ֿxa/*HM/KH/#hO&|F_AUv5ĠCzs؏87̍c)ws$Ti$>-THɠjboMM_ 4SfH}gYZ72b1e4b9796b9e1adb7e23d25138261a2090ccf9fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 874cdfdb1f62b7423d0a7a1d6ba3a7b50b322930