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 #4t ]S]HOL-Algebra:threads=4elapsed=172.367cpu=636.044gc=54.536factor=3.697zXZִF! *]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!f٠x@]yYt?LT`6r8#c+(zl$lIpelh̡KQp/!i[m")@i?sbgi9QG.Fa?)>ד\26<'^@>"7;DU}zW:|*%RF^ B &}Mp0S7R<d1: 2_iYf;Uy*J$z'&C9o?jmbѶU|4ˀgv%⥊3վs~hbOl9jƛ梷Yd/A47^E @o)Ԡ4j17粒h1$3~XH687wRfQs~(0grm]m<8cm蹧XNG='c*tQ:~.z}ʷO<׆E0ئWtVCOGM+&+)ZrI51;,b@1^S =k"˖&0! { =#jNn/Tk5*ee_ߑ;<ӆF/Y2aiϔt xm0&l OV3_o^\.#w 4ehQ!LZ6bj#/15ź(";$rk -2xnI'!hӥ9kӵW\`ɯw )cI.@ Jx+$ Y jF4\zCH,&c~8_bP?knz6v-QY+w+F 9.>&f2w(VDMI2~c]hNzJg~}':wE R=K0QD++xFd uă[R0A_%A'TwR5m+ٟώUק6He:\va4#P8̜6৔B &9I`8>M:H.aKCŇ%3`=U-ϩ?0KY;Q|aP)0V;s%QU}Q^}Ùn$Sؙ$.#_H+X|{8eb`D٨luO?{7M39Wd<8rKsE]ZjD rKmj|@N&}4XHg)v:.MwLh=u|zWvn sb!VnA FܢPYY0 Be֐̹nk:+I_8.Mf[V+?q$H '2#2;&hJ8߸&OჍǤcd; >WVNo*C}߰+| 1ZĞevhff0nś vIxM$.A\>U,y~t zRY m,?Na1=Qػ>^T.=LxxvH{>/uwz OBp6䡃x%B7rKóYtg]xJ-v=7)h 8fi|ؤdHx j#gi㗨ćGtcUsTiG1$}|t `KSwrDzs_]a @ǞҵΑ Q*?X29L~Dٵ $x@* ǷxF$G *REr;5)ȼ/;;xЭ֩ 7?3C9Oc?b9ʲIJt+ N|s9,JW?{rs̩^ "\$ú,$2&z5}([ojil[n5):]x. w [K*eKiĔ}2gn gWΟ!VT5mX@{Sfi\׈7EW`-X&qJKC+  LFݪs^*N6)T1?biScIaHdz  hR3ǐ7{ 0g-=}jGbvRM42B<< Yc_]"7n+R V̻[oZ_oLљAf00>DR<'1Y&,ɐ*Q@kJ[70ؔD.WL^ɾ*w9Oə,ZxK$uYWè|J2r{-q"Zi N;`ݸɞ(oO.,!%QɖݼJb?܉ c*9@iIQ-،k-DFt Mzd>)_X{proC%Ci8iꘝ7Y9*Ն/9d:+ݟ>r jl<^S˸-?2-=gDσxݰv žkxA<dSU98ŪY8,VL5&I<G2eTxnTW\֑ | 'Kyrwr4/\4_s4|;:F~n1l P+Xg՘*o8%ӧUKD~✄2Ɍ4*I?7s z_B` y/Uu\P;,t/1]Tw+e=Cq1b]@:_CiM^Yf$)n }G^a :1j5bY"QBO -ɛ\csev ӭ *6}Ǟr@;*P#8pG͵/YJԻ0f*A]YD^w{ K+/Le+P^KRU7&̓hw׮b:kV-Y9ƒA8C\DxS#B5?aEFx!j~cߒ6'_5*dK>J˴SU0K+QfE2ْa @U}a|Ocmi*)S8F+a݃uvE$:6g+=4Q8_ȺX$v}9\"_U7[ʡ{cnJTofќjN-(sR(*wRE+0C[\uʽq?oj΄,I~PWFϿ+zо4%nIwt*&4uGª1J|XlXu Wz%vc `^n,fQrr|KOİ]۪Gʷxa~%W>PJ,sc sʉ}xŮﵦ{9e/Gdګ AUhShV =zU'B/0|nP+(9;BOJy4dyJRzY7gIEݠP٥h e iojJ"'u.ڔ2noU ݧ$Ie_%?]*6{L]-+¨\:DYZd?#Oļ"@0dsˮc7zUdOyÏ%AWr9.Q< ^s:J=iC?EoU,/GQo]r><&3qt¼ Cp1&T~g}zEVEZsPTF)]o,DSs=A@.*`>eHFm(dD5omd|ԟ ,6YģnCoxK1ĕv1ň H`n(ӟHXc9ixd}ʳoKXU4DdP-Im 3ⱂ!fsks7Io bTQg;9tmGuz254!'Cv%]I !E,%e)%:(TIK?E,A .Qa=F` TߛbuNnK4E#RZ%b7㢶)4纝 Ne1t]|@QiG6E4]WbzP)[t)ث1ՓfNYjk}NwC3 ;+7W9B0}"tVCgNL] MQ)AI׹'؀ D@@Q>3 ZmGw[46̻CTX423 :H|XBOi=dTwOWi!v)9ױm|Z< U#}W]O&S.UgnC[f ~HrXħj]4q#X0T & b l.VQuCgd $".M܇._E~C.׭GuѝOeh%IN5.͹RY$êO lڒ8\iHj2nR:RUgeMն pGdM8 \19I;Ęhp'__tw͂w5X;VmFe˧,to3捭QQ w&39bkvjQ}7i~'/]|LiƼn:S9z/՜@^i Cu,UIKK9"RaOD BA*;* [pp\9raC#p,Q3 !vN+!4Dȁ,$b-滘D65@RV蜵x@,kjH #ƨj!IT j^ȑUfݜY7M8(Gc9g5ߑsJw]I)wҶgk A>6j`ʛ| 8 J< ɕ ńts H"TJYx< {J|Ԭ]o\˟3:R$GF(NY? 'dǹ΅w ÙjZ;=%KftVڹAvFT;+%R4Ϸ-uSec[jU•;4C{Q%K(7sr(꿴(mJnt)p!Fhv$dohA^>eѳ7\k `!+:}c0x ؒ͠5/?x4M3 'ʲaQ*+͑eQR<`eUjYm]0bjJ)8'G9=`\~\1UiZM !;@PI$/D!e䈑ЕO~[_n \)˺w3&7_=/9^Z)q? 'Hg3+75;'{ࡅBNW-AB~/v .|m;#{P'# h .W۬;_uW=-/v+Xlׁ.þP\~K?^*@_9el:d;o ]l*6WEkS#WA cCׅ_7bT۰[fgQlUULKeӓ驾&Cюއg&s2XMy[Wfnb=pŋ`~.|i%U@4C6lR=/go<'vB-$`ߣb5,٪R38_ &oi9;<$cPgRvdfVZXVPRKX+†d-Tң-`_a>˧sl\iL%JMLu<+b(f`|Ud8(L\tL@Ur̉J8ŤRUQm[+pw]:[7EqЬ|keN/S.3䶨I]lMC>3: =u2ˎި,0f,hѡ;:^OX pWMmx;d ^m膜Nc/dhUG![&zh~h׋8,EWg\oVkfkԦ2a#G1 ) ܞ+jY"Lzy0Ŀ=u/)4j$?KZى+'1MKH->R?NʜZl'{V|PV[ .&iUMRe쫜y b!a/K@RdAH\e'.س55j|Z-`j8ُtJiH90W-1'XȆQ[̞@> ]n&:?|!3M\[pN˘0)K_sПm^ыIb 8+o;a!!sǝ_n*\֗BIQ˳;Kehw7`B uN"t`п|h3_Y*e>XqXX}1/e!T5 {Or 1;7H y7[\NqtLf=JY2cu;OJ+`@T_(J~rf}Xȩ&[HО&!զݭx!`m55UrQBAfZ=baO {\. |a Ӥr.V~SM[+c𑽫"`Çx04 8Mӻy:Cd9SK#?.q[/üD\/逭&U(- uTN ^_#t 7R(2Lɝ9:C)c*BDoEi/PNٖ;H ^>h'+.6˰jV3/rNJp^ Uu3GOd%Z- Iqx\DG '60W04hZLA ,\{iaR~hf<fŝ^;t( c3=|6ZbnZ1fϙPsTyxy KR)3!1է^JQY`}q+P2. ځ5&s>s*tMTf7ZZ gl憟|˲ :X%۳cA(ڐSɌ"l^s O2HfgsſW=? Y$M> fe>uSK$RTŪCǕ:~]0l/|tf8cQzrA BD-=C@.^AQwhk\gZZbnI]r^ G7 sQ-φ4YyUUQ M=ri]Pm|] Diqx9R٫pR3Dq{?meu `ptqԕ){?mwBȅU ,Tgۧ*"&fCaHSeҽҷڈd!Vw(aӬo愥L\_“soɹ&8;9ݮjp:i7*P]bBh\:< 槍)h-I^4*5O1H缱ȊT9iUo>bENn\ #s;~q[L+_!+ZZmεgJ_C8ٷȳ.makLM#My1#TiCm@H0+y-a64;lZyNF' Fbbkp1&Ո0Dqf+,o9c8\->+\ޏ%j{z'9z} ڑ!$JcǬ6Ih8s WRV6?G0A"3 kqtnR& @vA)0~Q5,{   NM N}^w*Y]!܀ŸlpVi5xf*9֮m& @Q8XG4%ޤzCZ+el|#U4pd WD *,6@ jcc~`18Y$cu_2%6ynfWyB#Ch@cL#KR ];0&=(4' )$%F߈f~4>9 1Fupo(\pECY!>| Hs(<Sґb=WCOY @oW ců6Qh投;sPP0^05L=w0"# R:M%3U-E2aW8fyPRVXHtV7#bmlD"ZKu[/Pj!Cz|<ofH4GSiDܶ"3Hx6[;[ YtJ!2+[zQw 8oɊΑ7ii,^#'x@1uJEGXE(@U$gYZ7zXZִF! w]ŗXiɟ1`?$ t@D%#eB} vZak/sVLv?EuwI f&8X:غNDRpUn/U|Jވwc ?Z4eDӮP&S:䉴*$s-gb6X86d ћ̧-XMa-Y4ɜ5r0:6g͞):ӿWː㼤ۓh0Ɇpe&ԇi{{m RnkWȋ\ʙch@CmªB(tB b~ :H}:.s%b x^} 9\2 {ݡ;8(wS@y֎H"Nslxo?;tZ YiZr4yq 2~]xܙ) .6vFh-L+Wr )m"oB=`LC2Ks-&.6sևh].A P%=S*}Z^0q4R]TtTM3r'Uts /ߖ5`]EF6jDC*D(D-2詝!L@$aw?U0(+K";I^-+%]V#гڃCR }t4}Ip/%q BGmK%Z r(>b;p1 G}ϫN)@JSAʶ!%Y@|.6*wL2.:}SYr[vW@D7t w1T1c7ź{SzI7އփ806<NdwlH7#1;W A)C<&X|w:u,0/~,3 VUM7Xsbh#LjE( `/DW} wos=+HUhW쪗 ܴmXmz(&: A\ggYZ7zXZִF! >}]ŗXi%Br˷4Ԡ[&xV\/iջ_i%8^$=e rR{ {/d84-ntKڮJ 0iB1PoQgAQM,ZE2J}3o95q/NI:3Qeu&8E=Zg#3С*i8C /~ik譖Źgg%:%Ta͋}B?SД*i>x@hce(vP⌲ki_rGG&FtOth\.P'r ;sWTԳ!abG>v>feYEg v8ѯ\hrP4v3==R'CcymqiLa4 z t7:c$B 8''iXQL5{EzffD, #8 .ݑS=d` Dㅏ9B"|]'O[*' :cca**ƒ e/ە2y`%2JQfQɱej}X,%TkK,<* @POȧ2tJ=1\WnrD4$uLLs^;BBm/J>\IDGcVPs[I@?!Y6!b bVU.IA/0oD|ͣS,5J ^O^QQTHKVh4uuc_:2IHPqfSOԄc[-T/9HɣqJ&O#ɠ+2kiT;-ɦ`][4E&! fBce}kPyIY .kyQa"DzYZ:{. %:+됣j!e@3 Xwaya90H YT5j 2c쓝\ (l|AJR$?3 F< ~:͒TF P2Z ΖyC櫢я -SQ_SVBb%yo>OV5-%C 84ꉧ"|Y?U~6}(:9Yd+z:TT 2 L?W)[u 9"z&쇟^B.VM06h_ii9M?̸·bjjo6INOg:Zc|S`pڼrB!)GSv~C$މ4:8/oGi`E6Ic}u"QN7hqJB@7ԇ^웼Oy!nмN\D[q<+8}$ΏqI-֢|U:+Wf_i-.(QڀᇠokKf/ ٖ|j:ՅiO:V|7`\V~Nz rs,Rx{+XvٓZݣoN@'dQ?q>W Kx㏺oe|d0>Яk=W-Gݒ{i/񃍟,\cUHgb  Roa /kD'r|&1Cɼ{ŒF>2<^jʰSesLBS KBT\ G <|mh+3}Z6++9dߘ@bM?h"hQ L8X|}j&\ԑ˨BywNs{qcfǡl`=Y0<.?ʟTܲdW`| ࡧq].8Lܕf]va^ZM?}8뷓O.e)T[/9݋}B[ Y{~<z,.6: hP,/qI<ba[k`إ\*ew.TFoQ#>{u{Wmthx󔐗7ʱN,\N$ ]L&ZMN*ehʷf5٭ 8<)70/y{/]wR"ہe`z:9XX+ϗnF^ Rq#OAi[1zRURL+CgƱ @0G׌1gD⑩p*+;G`((0|iryaGguN? uKYCU;̊D1F)e5e.ڼDOоfb3Jדn{Ĕ`'$S%`y2gðNw(,Y#!yy~C4#ͪt 9.3@YOu_~>X'1YrPCZ!ױMd_㰄H-*DlM r'uQ|LDm]H|[d s 3NNU`Rc,6hO&\_MU%S)<@#2ڕp6g/dY|=1yPfcti"ld4l1LTGo$/[@@nmF}"s5v7۠`k5wX3CJSgU^mW;e!B_y&. A3?dHE4&Y“{wZ+KAI{P!b'֫mTBxg˯ qCR9} L|-叆͙8A:}-|S=ٙʿYC1b#ȃg6A< HlX<}4N5 ?kx-܃Ϝ3O]s:.Lf=xX/|fW:r"_6XڼxUS *Caq/l/LȽ5ӋeuG=؆q!xGϙvQX]M7:/؆'S-2TQXyPeyz.ʁ*ML֞'6/ߚהbF$8 5}9#M%E@Vl>H**KY:(j=KQ]k '?ۃ3>fAuO\C{A_ {SsfØ{v|Gz/QFIe-m-,%(÷45a:WOI7{8XwbwT\y:5]I̦erMKqU%Wy# s]={a|!p/=ҏsRٱZ{ MT|z8Ͷ-WZX 啺e'i6j[>(!"10F:ҧ +!y( m}q4(l @Њ*GA9lϐ B>ʞi4l)H 1ԂŪ$YBU?=ҵ"y||b^_XK`t?zI"4ef; Y|; -%X| ً(Ia}ӌL;q.1x&fdj~ƢrU 'Y$1a.cSAs"OaY~{Ɍ2 en^wM]/cA.ݙڜUQcgh=0Hn5](1qІ\ϝw,E6οfP 3qXLb.d1./N-Kv)eZK{]h?r\Gv˨qnX8jze\PnVj[h+T6TS#ZUGl/Yt}BJ)gj?oMߴ}Y @8JQJgG䏽'ԾY6-AdzHưV5{z~]sBVS?#)1~}Nj.+N|U Cf97pV7*OR`t1"G kx;K6;*d%k,G"Iؿr)! c|!-,!FPgw(7[7<祓rmo|z:cb=kn55^z-yytCya\6* q"f7^ItHyHgaarS/կ[q5/vOK&/ "!֯r^ϓ)<_iqA!H2}{|À/H. x!V^F+*"L<Ѻa.ۇO[SVuLl6w~wdWy#ud/<E0~!)R승>(÷EC߃hʻP{M SB4ŸK8ƞD[13~92;59 >Q8@ADIĄ;B8y,qCGFNX*FZq0K^zI<p!-ο "OSتCݒ04K'4l_*i?rۓ,b~L*յ+dnVo'wW1mf%fID,/xo5s>f'e/ 7N[ʜakE [Nx(n7X? t-*Rӊ;[t}Ұ7P /C9vmZhȓĒf!ДÁaX4S9]9=-H8c ub_RQm!sj%D^M*ZL(,@;ȋ] o~ 蒅fG?#T\L ҵü ͽtw]*,nDrV󇔆֐^'VYEw L)PZIn8x#_lЖ%]}`W*훎2k+ $dY&voQP"I8bx+\ɕPX|jy g(/?.#4)VVwd7,dkcxve[jn-%BV(x0apU7= HsBhkYLby$P kE2 B)S87'jؑ "';(k~kPZwGㆹ]KdxZ)knNtmvB#2OPS~ڦ?LiԳ"+Qi !^1ru3,B'ŦreSi ~Z2#@|ubLP'P[)_Ch)B C7M o٦.X2Bh:y߻SStS^c`5NUy8P g:f?T|'z X Xo)zD)ֲ\Y'rPl͋)oPd3uu%W ם^ݽɾ{%6UCr F ų׼ K#ou#!? rr 4$/FZHE9/Q\`) ?3`h%79fE2KtL |VxX(Izع3t}!'R_:ʋ4p3dc=cϼ%y0iV\>08^C_*׹!\C3TDg 3q Ms1ՃMW̅,tti/<0 p>ќG*AlOci*zyC /՞<δq_܆Q%Ienlš!fnzJ" UЙOW5A[ %S}XXeq%Eq3Y8 7e]v=GIq["JZWͮ|UХdOAa}͕ۧDOdD̪aSCi0`J? #,lh-V56c/Ը -#'Qн?}t{=e@?+qJ.tO^(qe4b@@~ !=⦌*u(D(XPT*u95!YbY.pl`EU=^k1m?*$Bfouu!:/ЂQ + #J%F1Ҝ11-ja\Z K io*+y'b]Y- m =Nw0B".h@nuJQ#0tR ^dG:y?Փ]j! t?bpEҙWBf!%2x\J:1''y(}ne=|I,E1N#֠vb4n4].Oysч#sD6cNjKJwg*V(;L? ~] cU8S/ENjsj0s=D(/ι 1ũt&VBΠ[Z UYe7U)7AX5_=&i!:RGȅ-BxE]dw,Sv[@߁Z NVF Ys;zx&Uxgz8RXJk\1D(<@FqiaE1m 7Jt[}&4ËG=;13,{kHz~g~&DpS =Wjy *`K;T0u]*[TYi!Ƴ:mi#~)h[kڠ"!O_,+RkBR$qxmPcX4ȅdALgBv.,;s"TPƉݫ't&Y;h׽aa!4}Qg̱h^^4=L 7Yv~8yKGm'&]]HWD&3,mHseyXģ0hP zހDڇcl^'ʪC8X\I$(3FCIfE`oXQ6smW'=jpђpb.a!0gB@a}6l.w\C TE~*/-dj!{PZ](t]P l.#)$Ѽ0*=+ ,V љMYz]롛wõ]X }hZո40+?nJ>Ř醾Ũ} 2g5vjcnN-bBaXS!N p!1뽵 ˇh *Ce EO_w; MiS`_r.^4괉xF9 8f8Kd4؂$3d< J.i~PE97Un`wbS17 Ee>^[nqIz]긤>$w]욬L ϦZTZ?ݞbɺjQғ=KC0w/=\Bz~] h?ZaoOտ| ,^"Tn>ʌRE_MmAs쬸=,w "kbyT:S|IYggYkU'$WJ,MiHT8;`rC/xQ0|A< 7_M`wL>ѕ$8.I\|Mzz +y% v8S_V; "" qpk  WĻ bDT46*B#/L'|~s7@BTƿa[څu$)>T1jfYYwʖ$/c^E&.ͺ+s dU67i]'mYZ3VvDی rBنAiR䜼EV'y}obɸ<%yKtK777.Z[o`;5?bnR+&QV'ѓAHUPpm9ƃ"ɘ-T]l\YUɆ wQ6B췑خ ׼Oq_>˃oNdYV"v+m%ځtw'Wj\q= |+nd5SGjuyd"]#nDEEK~s&ӸFjJkSibfs 0FdB k#f\P ~EP6h5(EV}@Q^)CW+q+ӭ[_Eir{:īSwWGKNLC>yrLGalwi}kVj[xguUiY%<>(ce-^R)mHÊg,ñZ g> JBL\\[Y2SY5Lmf. yȔo#./V9)w'qɦ%]f1FҢt{\Z*; T&/\w?<4מ-ˏctr h 3T5*$L^DE^-}:#y;bE(%K³[YN%X o8a<x;x;$#oG\`_.tx寋jka@ =\'Cl/"_BsB`Wc?~Kg|"qI?}yDNzx-e9OU\GnWByƅܖ)`o-a(쮷b<*lz0iZͬ}>bsm]?VVČ@nbѓs^ݐ?g/A೜A(i?fcVq#Z"!T3:MsX#uL>< X|{(׉|{}'V™ N)I; fܨ`1EVg=a|_ѷ5ĝg׾ѯx_Iِ`i§'}VҒ*w Q߅ Z VT3._~5&ѩgAVZBS,'xB%0g3p(n󘬂A?$wQ66 ?${xw'C%ۙOR07CA8[i jxR6y͕QnV)OUx@UhzSfOGvmT:0Af   _N%J|/dau#ט"'~ A#9 eԶ+Dֆp~jrnxG;WoM65n1tZT@nKEyO^o~)a#LsVvĀZn{kjgqlR1?ԨwPAfok AfQ$}m{FdL_]ML ] =\ZJ@ 5W +~!GwUsR13Lam>&)\S+Niz Vj۝5TcVqv_(0,cL{HKƢw \QWj{޴Ta;(7KW^5>oG[g41-J_%49OҜౠ{L<k^(sA KƦ1/ͻZ0Uο+@ANTfz?FI*+PЇ w^aP3*clPKL"@Mf6 =(%"ׂg?ݭ[5=͈d)բR\ Ko(ATn T*;ihZzV|6+@FK GvJl~2&>Vx;jAGڊ7Fd=AcqZФ+r9S|ta.&dNXx!$P0#Qݺ `&-' $|.w4P*%kFe6e(W!H^I)o$|ƶ1֖#ZPdO.%\KSE^g/zg #,c-YI|gy.4(XƯckh`c<=ė|<kT$bMІhJWizR^.PxXbׂ .W*E ̚576#ꮑR^P74kUٙu.$٬tAG>/Ʈa5} IP<2Yܾ7aQ.QiHgGr>*$T'_dR2PG(V% sH޶Ć ̺P!0ge4 9CEZ,|MfA?]`Y7ӬcC&Yjw(J_6% \6^.!ED6WHP n xlmg9Ӝ@*ɜ^)@UG8<,)FCߪSlU3c WLq^kK'Հ=%`"$*jܵխmw&p44~`ζv"Ot*eOYB] &濍nh4cߘNRxv'mHY +Q!M= F$'Ū:?7i8=OC ~" 3kS5^4l~ m '4`&fY?H fO$w.s):za|=r EK&,{[?0xMtoH=VSG%-ҩdgFm_=n HIbS7n CG[\];tx,\8fwT5 %jJ$1B#[T(M' 7%bR*;<V_knjcظ>QL>$3D;]5+`_*Fwj1bhUk ɱKO۔i^ .:1sn!}eB1 C:WΗK~.EG^ư-wxjV*h@!! QƩ։rxZ3:E:z{-(/+xup3jQmnGsax|ӹ9&зCѫ̦nT KoQac;L\}V]o}jKW%K-N7XK)4; RPeKU2y9Mʐ`}wY >p3\d 5OOBKcEv_h_5N8=޽[,{AH+o/+>9Qȭ nmsb889`ήāԞͣ̇_"&&wlQP ..y1smѨ+5cs@Z":H_-X'L[MA]\DM!l /ykt`Bgw{* } ~<$~|x!)q.͙<dw.7= OGWQUԢ>SnLȑ/4K5[@ɲ9B "0>~ۓ2`GƘaJ( UL˼O$V3៳n<5-xC#PӊZBUT$- T"YP m'DuY<:]%b :4pj8t[~ QZSRrQ=vaY SӒy`!|Dyy7zZD)K9Sjb#2.QK;u&Ĩ#~]Vg5+FA[, %5ϛO ҢFa*gpH4!nsڢT\𡖀ؒ1{Q>j4uN`lgfbgu*Xxl"`OÐoˀ$腷rS۸z=˴{rw-jt VZ_HMSC]a^ǯ kKlݎ!\%#YK\75 66]8ET HLL{Bt;?RTEi\?UZ0,+lX*<jЇ8g"SF}~-ֻmQaä#(KrtQ"/$XOfHX|njw"~bkA .kon,j+[9,qY3U|W՗{;hüj)ZPO6:_e1p.Xb>}#GZYmS1vjR/԰fh>.J gҮbt;ߌ?Pd{ 6.* #=61:Uy]nXNDj|U3))'- }&ZÁTpi1%&_u|ًct b Mbݹzkec:xw800$G_9]ke/Й`~@hu nWJ=eRݨ;4iWK7#Ιᐤ,d}ӿmM'(ᦺpy,C1nVp^Mel(FdO 2c/ӌtϫ1qX3`4|3hvAHײӰ/Yp؟,- JRQ2$֑ 4FݜDT EFtw 66G}zgYZd1097f46d14f6598a75d5875bc609eb31b86617fddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5bdb31ab3431f20b0b68e3f71d90043a7b94f93397