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  -|l ]S MonoidalCategory:threads=4elapsed=372.349cpu=901.192gc=35.600factor=2.427zXZִF! 5]ŗXf[&MoRy x()D0p§إ~v7:K5!?aj=^qQȯYɈоw?Yp OSKi*a 5KU> gbR{7cG9BZ4*𝾖g`+gPvU, +&) b ò{m .q:zkW]߳GS@-l>F섔7 OUadP*e}g)CO tp1r '=u-A#3qsWqn=?c@"joViWmzh&$B΂K\&X8WtRٵn˹8ɒgD#Vvx}M'hC=l/یǠܞԧFR=і:AH;I›$6QB\9RZ֚Vv'.X0;76pÁ=$j#z;nZ*iU#U,{De4BA&Ӽ9feĵL+rmx&=T՞ΥL0auy^MvS*|R~5#`+2ߨrJHM>{-KWِhr Kva%%ՠZT VE#y |rsv|؍3E= H :6M]Xlozh+%H0e&W@ѵN&g|T"}C^ }3v2MW^GPfMgFP>$,#$ kP X.|{7iM˾y=D3wW>wGnp3t@.,J>H/py4_ZP6>FĈESR'hҡ8 dU9HA|˘P lR&Aԣ4zr4<kԵj-B..0u* ZJ?ߥ,Y}|,b )`rIYz!dq!|PU !ނT=}OH PѰv]QN*2UB0*(fPqs ~kxK6b[i~*le2uDavb7PMb3lfҫ|(k4Y /њlL 1Mk+*[ ц-qS;KH X6N~?{[NtI#lMXۈpF. /7~} w~xU(i-o+w(b>**!^ao;3l5j b. |H(z8iqpv4AUηZ>:1ZjɽìǴa[!,k{2i)of@bE1 vW3{@BnyA]M4`d" $ ;tD;q[B)TA#G+L?n}[T>̢9 -ޏ̿iۍuV,y;QL 1:_h]Zk<`Rj 6ڙ(_<ƏKmCl1Cv1Gؗ?YyA`sX_kaO?$&NÛL&;7Vq]:0 '5aBV#G^5(w0?0PB.YςC+rd,y ?j(P¡,3.Ȑ/sf34U.qc֪S13\6)I M\eLjF/ zQ*{Þ$keoKw8hF2OT8MLJ6ЕXQ!h`.CQ*!N \?]_!^33}͏DAUV[$'X6mifl鱴4]]k7쉥u?ixFkg3p NT c>Az-yp_5PUU$JC*Uvll<5 $ȕ5T)ӲIRŦ-..l,HƥD8A?/JP%lJK`f;]MȤm{A% g'xg5PVu:T׊ۥYa\|@UI#5|PO={7q%$K.C:gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:aJe k0s[>VՒ?k&+u<iX[-i~=Օzm}^_ө#D7"8j*M _\ܽ)tnP-[2?_gYZ7zXZִF! -Ugn]ŗXi%Brᖞ/u:+eFu %@Hd 櫜G $6|޾kW ƅ'8deEzjf-EYk(;7D6Ou^Cd 3! ,ZJܹZ>UXɄ1-0N]>TgϿ-jL #xX.í&UTPM/)oմcg۪3 sl01OTZqԫBVSP7:}*=+aXr=" {C{fl֩.F/Rʥ4HGW/VSGZmb` GxԠ҂ sPh5繨$hs>r8P>M].a"BթgV!>4i~TJq:@D˝s'ܱTu7}(xcI˵`reoSmR9w8ŲLYKPf0y&Ť7Gurܣ+Ϟ?̛ KFs:$ųluqn \rQRRc]W?*g gݭ$ _ b@4W)0,IT6fX &ӂuPxEbautOFcwR| b[-]'3RZ'SK +\榡=EfJ}&n&q䉥/j- 35dzD w,G聂K](mv! ) ЕssTزǴ@ >jql,Ƙ2X_wN%,zJ4Qsgo̫6IHRXmGe=O5Oѯ =TFq(cXiћ⒑rd۽.08 N  _ *&wWV~ds.9((]< Blv#fN,Kgl 0o|_RKGUP'n.Z xAA*xF+AEoE|`>n͙Hj_R<8.?Ra,Ӹab^][&*8l).98Wv"rb ":q]0Eɇ,*u!VEi'pSTMB%%BPOmĤiKRVjq%\X^g),p:3e#I9gQ&g>}]"lq/5R֫KL%5@SgSI H`[W{ДrxH˓GQ7}qqFe,l:wD<Ѧ3L+}A%a f2c[CO]2'`*q3Y 'jzX<= IlT!cvuXPx]<)Ɂ+?sAZ θfӌaOxE?VX[g}Z+3.L[ka~lcz־YVv^zU~E3OLG8=R?=M.9@fn$>TG=^ؚ9^HơuꐬEOu[+`NqC1rGHrgQhG7֫WYNZ«gZDr PxR p.YPAji:|:M$lZ"(hʼn$TFLzpz\e[ʷ4KQz_-N1/W-Dbalg8κlikq[A9l[ ]ZCV:fʪ}ӛRrߦ4i@0Ru;+#r|<ZV|SGd*-Lff umN9G knyFvWI5f򻠁>b^TC\(CB|"`*WԒ>~e7{uKM]RW[MۈrbW_W#zGZ=k2 !_άj[1^%oSa in%%lP߃pcJMܗ-cΠW*~g2?%?y_{+xuh,%z9hDr ]kޯ*^ +,6p|'VBQ߅sD{!C.xwݴPp-bxkd /?Yc'/кMߗ $tEu7P5n0 ǧ'eEi|Vѕ͸ygJBĸУ?xt%.62gD Ašuy0AJռ`zzZ XvƁ:ntK |:"9bFf1;(e"yÎft|H@Pp.W8Kyu7Њ[T>!y1$2͢\Y$)7F#S*s* )FP3" #h!'-G _sR89-A`+{?x7I̩(Ɉ:Ug!) Eo yaY)&[Jtama񞌪A=egk7I_Z`q-mj!*FL@> wE~`>Hb]@i?;f7ihqHLuMGf%vn(Q6s#lfkŽͪ_1F| > rدożG1DW!;M Rc}08(W4854) ‡>q+rWBRO=Ϊpho&gx2AkZd䇑"XOV&C<9yhVm2Ԃ&[f-M9iB.-Z*?\L$L4VEXm%"c]umdύq aG2U_$KID~Ý8O2Ѕ~Ӵ }x}kqƛ-T`}0޶7ݸhsm U(7Vi4-'X4rg! C09poUXNF7*[f8N J3_+KV=?`QerLT1)4>΢ Mc!V)!e} <bߦ(ag뱠wKC|_afNYGV#7PpѐۜcNe 9'KGEqOlUZGa RU)#-g2;X?虰#FѝRVH$LnPb*IMt>|{pN %O}I{(J1Ql$YW{Ρfn|xJh'\+W-%mT.PX#|#9 2lj-Y)WpW.EtRG˗:9~` 9 41_e(GH҄Ē.Z߀DRLNv-G3Ԧ$P_]!?!վԛ,Kq ݪ [)yK*DH>anxGj "x Pj)~rǖ$%Zc޾-AW2.@b1E ==.C-ڽ;.h3]:'8Rʎ%%VZwB{'ت2 >ω0 }#אsYvmJ|mV0fLHS r, Pc5o/F`=?,Me_ Z!r">|lkh5;+hDeLO>v1QN.ėxnP7xjBe<7b_jDVH"h8i ۪-_0fH7 Oe`%=eTSqr$WRށUm8~zD^m>:$f#< P@R)B矍a9^Z›YRX+}qG IAo&JFגeHn$p[ޜ2~mAr%10*Bug(Iʺ}U|иnxwuBF/uҒd4v,2s>pCS`e(2)ev:Pz"ʪwDqaۑ;>>lKD1ʓPuAB8ѡ`eSnJǩ,ś'r8f cio9SڰtFs3U ԻéUO2޽JéO^ыM$b OkE,uJA܆ b02뻷9vmBrLlzjDMk?6+t p(=r( 8ޒx0Tx$3u6ZBhLUU_iZ%ӱ)Č(cL}/}I!=AlDZ!%!,nQQY6sʣK|i(=xmK"꽖{).$%v49qE{(Rn¼Wc2HPf|˨,g~c[9Ok_?WPV=I߾d ځ<B%_ʹ8k,3/WF~Uvz"fy@\j7 GsȰ+tC3yA4z6:l.-qA/M 1H2 b Ga Z ÷Ѳ~GIQ3̶ ~}$%|9҄mÕӕ]F%$C/۠*oɅDH4@Joݴ&wCpxDZ͊6ͥ{^)/fOUR{S ǀ0r0km勫` K+XHoѕ~u4Q&@=v-6Y?Rd?cuKY8M6ǗJ;FIHm۸m]i9.]6Z]@hČ: >0V# >WAsZo Y7}P,GEìsrW-5GHnvGĤ нY:CIh(4& XGDtk<1?/DܰtVz(`l[SeeݙMmd6Ɩ[D "?E}FboyZJo1 \Vp@ Ef|\`F!A=d~-Ϝrr)kGCէD$Vl Ef0#]fH\(/Q(ޮ^5lv?/MH Cƒ: 8""?s!Nx,\jp'tL?)+q* 9 0;6)iCBlN!Dh`D{d0pr0obvS5 GoU:D]O@ ?w8I=>ٍIߨ7B}c :3%S\v,ݚVJ_C2Ռ"O''辀ɇ8L@.`XgI-"VD _ayPr"N ]Bĕ^.}ƪ""b^eIeu*kڔh!B&?ڭ}cʵ#l9 n{ 4ኮYd՚#g 5-oTjsw ȓ|G|K,|wFvi1FGN'Qe DtPiCc|!-𾪙Bt̐]A5e&\7C#+y^tSHysat𳐨Qv+nj6ˊs*t;?8Qq?tw>ˮNSdo:rj |a|+b!`ga8MQ8#0Qά=j&3]{S<)sNF9vbtCĪ+Zo5Ηd\E5R#KW96j"uEB e>x=QmQ[H4euT&(XSM?0aKG{1--c7! QΟ}ݓ5|:ROʂ{X< LB?)AV/'K.)nt/l؛Dml[`MhEKtMΉ晣\*cJ‡Z8@o=NZmxqj(XaSn䜲i1Q¾y7LprO c<,%|$zp/)ʙb0~.ŏ*}.6‰ޢ@bac\Zm?&_`1LZ 6uh乸oE/q I?}'mPĔGfOSךK"p[U^Ao(pLa\(Us|G Eۚ4"N$n34WE@Ģ^j27Yʷ[&Pʭv/2oLEG(;$ȳ@K!ÝC.̗ ծþ MxϢ-M/z_)-+PhV $(cRЂ#VoBD%@"VyӘ4O5@<r}  `I+T(0 W^Oz{CA6fd4 aﮉFRW< t"d7jQV58p(K<ρ ʍzZɱ~@(2׹WǶ u- ͌.iQ&5 As$5Jvlhωr]8ߩ'l)^:BIZYb8Q%>;-"ێ~xXxF\Ҷ^V3*)ڲbVo.Su#H՝,Oop㎊qnZuxբA*Ip/qM 3Z18 /xiA"~Qi\ !&ʕ`=4{|/~<*}cӕn5olaĔND󱻑𼽒Qv2j.xImv.`u6=:-|h'*=@0(eZ}(B-p\HlE> 7AQd4X2t8tZ :U)_JΣL*Ж;G7qTϙ,^ Y9bs?ԉB@bix|1eRoSuaTj +y?fz 0ȩs$POx` w5822u(e+  |YW>-yu>USIh56fDT !Oy)oz_bsbikwY-œ7;;=ĉ|aT{뎅Oj4ٽG=BlLCV Nj?SGW:Ee&~ 8ٌ6R| &FK.ia-cM 9^фP.$X1꟡nm,Dl❱nvVywNt! `Khc =A/!KCL_XuQ8 +7ꨃ>x%`H$7wITpH\ iO*).^R-/ȭ1ϖRیʠm s(mxԷ'ɺ >tVuՄX YOg+qI>eI3t`Mg7Z G?ò>mH'r('QQW_љ9=`jW &U*6E%&h= =޹`82 D/b;b¥,E/ Es9KG\EI>sNj Qw'DbD8I IͨЮڵVԉywUZQ<,⏜݉ P5m} xcd),^ђN0=yMqQ)53D[=;_@;DfE{V7Ϗ_N1x( IoG7S,n /:qdy6rhezFE{ lyLЙ\N݃ɧX,<.v%Bոi G">7FWsP,iQ! |g6s6x/Q뼁To4b5)Y>?0>. jpe4NHm>9ß#0ڔ+!atvJ;Sw5JNlSG6aڼXs/#sݼ_ )Zr[IFǩ:ƾn]>ro!"h[IN/LTEoz'}sDBP3c(!Dc;{pE:7- }I[" *vĒdzhWnݰ?\jSSށ௻J%f$nu}*k.80,A"5w®Q&GdEb[fo }$:Q(/ JǠ6 2A:|~l>ο8ûa 5cƣ(?7+hJDG]88mq4ۘx(3l)/;!1{ $k%yIZ2"&x/z494 X{DtN\} ;GA$x'\mjJuƕ%_ PhewX!Hl;gѼ نXZ+ݩxEͳ&DHɉT{gcG{u4v-ٞ@=0,oғM~t`8s =-;y >: DMNzFg8+HVS^yv%=ve]|=9F.bM#3> g?U<~^tt+1>Ggjrw],beq}f˧̆a]4fԯ&ƾ\+ٳ* x23'{yn`Ry'-<}6B80G'L -ԩ\̯TX括_ w7;> J_FQW$3ܓ>.jv_1!/,f.1\M!9=5?'$*!88"y@q‰{V$:]Q- w /=% tT7o@!.fg4!b Eq"]KYFM%/>͕7KhsR r,0 )3瑻jP18MLKmzһnu2*=6 mo IrkFr)ᵣosP4Cr+P_cWr2+6`8i C) ȁMAz5hՏH_b^7' V_S%M`j1 `m57uQ> $~}w5OiRu9&7x s1t^ Hnۛ k+_ð>CPj.D7X $^%='6|&:ځ~y(̐D阛j o~`LKHvMq:uۮm^{U綞j0e&LxKG`gyoz0L=jrKaS%LBN7DVreNH-%G)*G4ERr}oaY6ťWnRUO;t3w1̯{oc *ԯК,vE/[Z_ӏpi,3_:W??$֫vƀ  ~d.4aB9&1ЙhD>QA_-ڊ+u{Je}yѽG=ĵATM$n{ϊ""ͼjx+7q`/$*g&sJΨ$Q k2-ˍ e|۱Ԑ k ?d'NDV2vL.JG Dy9L{|TyȪf,s[a.,׺eihLI*yg?X1E(`gT]y\jC҈+l f%<{\!vж\udB}`dj'_a38k] *Aۤ-qKhH%kr+({y"&{ذ9Aw[Js>Y s"i{Ұ:%qDm# !<{z^J_mY7aTL^r`,k4,}`Dq^p*Hl!9w٩E_&d Rw[V SV]6zk +c R9Yh65pR`=GВ+l9Z$'l.$Vg|>*>qӸKx+ow]'a¡5w%jdoRG*UY @,U bn @[WͧAL[mFF"HbQMf @m5o8(V(r&csUHjK%lʀ×K_vJǻ{_DT SY|#RhU^/4+Uu)ki՛m? 2:X|Ea1MvmJ |OwMz .es_#I ˹Lݡy'kx Tr(5ߣo^4ta`Vz^qp͓U91_XEݎ's[nV݇ȩ> [bM׹6Б a^:DVDkS*FCeh3X$MBP9豮`pV-H1b QE[$zneR϶:=>BCPe3NDހjaDf8_=RSA5a` rS^Kniu]%!oZZidMկ%Y%Ěy|ۮgsϢMcՏR/<Xh}яrKݲBIͫ0FĿ '`[_G:áyahǧ(k]/xIi\;BĤ8i)\5`ѥX8, 2iZ]GptN/&ǴuF 1TK$Ăa8:PuϷ=f8" p{bCۧs\c|3bKy:l@bzq?K38~z&2,&@Rb=4]q`kE\fP=wy"gUvkgeM{f@s)\r{>ǒVP u'5s'K+hYy\t k4e4n]^VrSED%@6@EHb S\Z,#$^/vp'./Mʪcsd;P:o!n]Ra ~vl6S<.^w:_d`}Gq rwd yzyht!u¯Cn@&wxYh5IuwuGϯ].*< ^.iM(bEsiROj@b C㜂1#~/P-e'~Gn֩ՋL&ǩ m{{Ws%^r.oʩqPPEV)Fw.7`YV \wHѵMdObCzrۙLm"~xSfziC#+V(PӲtrhwa޿rB+DU]3re. Eb c[JE ʯ0enxQrXۏ="pQX;QwPUer[vHzKi64f f jkօ]ER|žx+, l^GY G->Oac?EOpYDAG Ix+E/-5E%8U`H!fP\“рhw&W| $O$p?p(XLMR[f"R|x{R֏cd,NA-%9aKqgUoڻL(ꌆR|Y ^^5wI+;+l~v7]R: ܄0U LNtLvPH/ϕru\-s@$^BAP]gNL@^\5qv_@3Iut_m 2moui9,d\|졲`JuXp%{DEOܵ$ 2  3$ /ɗs$Ÿaa@ 19:$X3`6Wks֓Đy#B10l. n-D桗 'BQniOd>9#,A-zʙ r VBQ/5O jbW) ox!,Rz i4ոi3dfp:YwNQOvU$^1=Pjq[V@Vm (JS`#yO2I@9lگWPi'pn݂]2ſ0*&k!"s9B/.V:2鴜 &=r8.+=Lvwa_awU sRjO/8籴*QS| LʄDʹ^kEU$a}Դ#;$";}B3aĝ&5K)*$2QM!A %&C'(#tF̈́آpLxڿb)NJwcQ涃>G|r^"݇J\_0įO}d7f҉^i2[U}{)QwY@h(ϗVD M#sR^ɟTܢ/M6{[&v)O(ܯ 0|ŞG3:mV"h[PoiA|U& #@ X<,aa%|Q ܔU7:(h2{_Wrٱ-e@᤼sp[xpͷX 7f@hjiAJ;vk4{2]HR{$;{Y=3<ױD9gTxb2"N8wEq2Ms[;#$A̖G)p1]W XyjUZj%N=Gj5؅HCfO}vώیZ;@n!Φ?U䮻k+ xߙs}N)0kxL`Ưc4r.|h^{uHm4@!2ay oN_d]G2?^?nk MgjR2K0]_V?ߡe+[sNrok:Bl$̪ KxItMG#@!s,>|2W.$yfGnF`US}+ RQZdI=Qgeɖ6FEF Ń x3/c6`oiT~Xo >7ձ摈?."; sHf!)l.D#J.]q7! eHcII-RojCʚ4tok%bnXkjX(ճ+" %gmeWc(݉S v?:OuBw45kLyP777^X횶8ax^%-SMn*i񞧅Cr.\W8s+h~7,+bf@/qvBdqw~-?*]:$ٺm^k<ݜJVqt'}!Σ9>kS\t@U%I/Y }J*B BV (@ kWRqLJF6W@+SA#NRlM''da< }M׃r~Kqoخ 10~1u"$C>s=f1䃘4N3 _F;î39F| od![ U2nEY?2BѢz_{ႢX O k6WK5c=l9eF@dHzo9<:<+!nq1ԯ#cU= Fa=-rwTs0CZA`wvC?kn`q+j#ogn_ (AJ]%N w4;َrIo[M٢~NEꚅ1 eɵO>vQI.mѴA'ٌԳܲ1D6MhڬEjґA1P nTn:GyYg4kBj8spx&[d%󹹣^"8XkFl[}h%2lP>2懩nr-9". bUaE &VƆST[)D@m9:{jxLu"QIh~Ww_ t.DrYKr̄Fv o .q!ɯ-• +FS+Pk .ZH,J'7w07g1_/mmo ܹ8FG;{̲9EejP1b{^ +w}qej1[;ӭa1X,X@s  Y+AWܺF.n7Okzį=f^J+TΐW>Pl纇\[ZuӸ|Kr&6#ips<>.PJ}p"4cPeXGMvTT96u $yBBݔߓ>FxYw:#s,A_}ħ2iM8_]M|Uyٕ]_yکVA34m8RI[q)AmEJ_íZGV'D0` {dRzWEY`1βvG̜)wkUr?Ymf+Ғxrxq-}Y^:T+`/=p䲙uMppUL}$B^VN' = K&5ɅP슾yޜRZmN7:GRupQm[yZYjMB= wǎX>'n\Nr@'?ZZڤۇ-R3\ Pȁɩ~; ;,~WRLϘ-WLAae38_劍@PfIMk m F+ >Ӝܑv`(4}f~+D7u3?c|K ϲm8lɵH)1n!7m'bNF:FY˥G՚X;xLSM៝^,z@9GTZ,_|UE3mf|?rHh*6kj3)9\(sc֑I7N˭ô}YZ'ɒIL*([DX&T'=*r|":۾2c\} XZ Cy]JAޑ8|2Ӟ/},1o7 Qb*4~'TnTލ.x .E/+XPQZz^ mXg#?ױF6 =y8)J%7AHy6kwe7(mluHK)欙#;t!ID_RN!.;1U#iJi...ɑXBO!QFR<Q́Io9T /7܈O0<UAVWp,,eQb]j0t9)=u7dIeyH87B+b(}oU`40LT틠ʡVlr=H§‡y1T(eٞBA !sTxR.'[Zm78'«  )޼f`Im9j=Pyֻ+cP+[UYyxv_!A'I{Ch >Sa-ޗ#;t߮),4~i|SrpAb =udZl) `~}N%h~eҥW^<ݴEd]]Z7K%7lLt-:v7Sh <׹̅?pK*D=mA8_D]CDHmZq6j#ԫlQ`玙ib2lwcl0(u$5ZZsٟ8Uо$ LjTMl h4CAJjm~#oY v{Knc@8^ߤB/]VQdOOY?}0<"7Q Es}HnԪ?28X`{-h䰽'Tz0IfWbiWx'\A/P|J!'^Wɟt)I7NDŽ R\EhV5|'a苧y;֔;MBѲWc>Xf" _V)A)mnM+hl@_iy#X EVWLHܚ%aR6 mN{!HeXq͇ +ݸYHRBY- fGaЦƾeJ$uM79hf@4.d$XCNm솯A95-ksP% 0#YN/.G98Ԯ]gN-emezܽ\{mYTh$' ` p#gP[O,- ?1<N܍,qWLb[i<s(у-:MDT E>Z" lGb_KN[^ ozZ?0[6`#~E$ҚNN=^[j_}?H }܁  :{.4Z$TTx!gZp&?f,kZ,Ż |x0> <΁!De"v;`%"ɹtnl1Ez@ `H9l*9._`+A-)H2d\x'ȝd#;s~W0:VdJq9Ҟ ^r? SVlDJ'7 ] %T(1櫨 G+k *&~ $~HP3>s ӶSV;H)RгYֶζ=i$"^:R `߿ 0#$wsmJ1j3J${ ]ʯ52wв[̽#oi]OFfQ35.ǍIտ6F<B{U#L8KV]qrL sΎ =r;ɘɟ(dQ\|5ͅIJRS`)iIpS)wYw_N[^n"t9W':&Yي̿? TdvO%ZۏLj§ILn=2$Kb[晈m9L5D0kMҔun!DU*{acst-ZdHN&-tlNF1U|mFSB3`Yc巂̽;E?0=YtXw5)Ue~v:S锞|$J1^[8-~HZ2(=@B9=) },kJyպD{gW" 8 p/2N f+L?I~: uO: I%-S&I{8w V6'3k)#O{DA ȕ b?ac4r;T)<!rZʯ9kBVƦaH@X;8mrClVѵM~׳fUbsQ$OK Ci|U]ZSRO%(ЛuRcc C/ uX3OWI ـ|AJ =h~0%d5P`D)#M nip(\Š?ERl wYye))aIp-/ "Nh %/6`KPMf׹iE;Ai(r[>ƌ7}^R]̞Ɓܝ9vD|ܤMYbi|.{LoLdT n^[ [+)(A\ąy½ϭ+(ˑ bv0Như?%O(<"1Ixg*pml{J~E4wA(0V-^F0Z7'9]GD9YV9R}l0VxH iŘz&~$bۨR,4Ϝӛ__i'Q$i?1tT}1 o| 3iv*{j3;}_{טq_ෟ4av`]ѷ&NE+" G W|@+-(bɗmO߾@HE1gyl|s3Al,sȕ")ĢõJ br4Q]RΥMI{٧h3M5:J=&[ jub{?F&V< ;/{V_-]H2 $ÛjR=di4Q($L`sJLRfFńo}(j:T͝+ߨr~Q(VCwX(2맜c~8Yg˴ЧV̔ M}m1=4!Q- ۦ&iLڗ K3y.9y1EV =4bbY*x|U\ yh3٣b!:D,pK:!$zgMUb'i*w7JUd7fJolЃܹ * ={ U[u1SWE!ǏpD.lM`nk(|A{"g[pGD>%In.^ALkJ7OlJޑ[O85/lإE=]JUP5oQީ[',c[$rXIG0Wה)bSuY8Q-H<02f[m嶷N‚P}~ЁY{"ͼ] W O[ G Cvڻewq/z$<CV9 ogMe?~h1)*6HcH N2$˕pOU4dr0Ǯ[AM %2/(4P2®+2EԄO\j5bWt| rQXZn17~y+/8EW;Kcl0WK"@.]{kBHhrO4/kPolX4tc!waIsC?#Mƴ+;_`hw@z(zsBz*l_FE4_8^arw@ǒH gh ӿ:fgYZc8cb19ebfc72f3f1ea6fe141a54be8a65b2e9e0dddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 7430d7c77cba92e705e3e4d2034500b48599f9de