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 N)\T ]/]Stone_Algebras:threads=4elapsed=56.451cpu=109.728gc=3.360factor=1.947zXZִF! p]ŗXiɟH)0%oڊ̏gT:aq"Pϰτ?=Y#^;~}%қϩ͘ |fwRPe ?X5ش͌K *4 ] )̴$JMz{ T϶dG~Mh}hPOt!f\:E.Qkj_Hƅ_g}^"~i/>W"nV~ئbh>[ن7!גBkc8RPx-5V]Yڳeʫ""BK!^Ȉ½YШCTaAs d&%u`5(<:Dߍ77z[37лWyqw՛uݤk/KJ$% 3r+~ˈ|&[J/Q2xK'VRǍ___onn4o݋],T0 M# k1y;Bh/ 47.ƣB\>.*D|o,>_Ҷ@CWLY0760^(GRX)F?A<$X=urF_- ~^)k_F1=-&6S.VRCL-y6mfE4%uvh1l a)c)w  #6SCz!-dRas-N,_7Bnx/B-Q=Sm,MBw/c `t|/:ް2ܪ\xgl1@a~BsBkB~;*܇IYzl^1f+֩A@83V.+-;S&k L-[e?GE NSoHyuE-g kV"0Jߤ YY_>x£Va 笫ytrAͦs]S.=_w77ur;tf)K  Z+>?D`:6b 1YiX.6(4+5Qd}1/T&9&˼D!g %|ĭ1(">~7L}X!Q 6ΊԵ "b64M{+fU.eo 64T.:1x'sVWF˙FL i#N0F Dwko!Q1DAz>J#;&so`Ei̓{0i/DcܷfjK98nÀ_h/鰏8F 7:JW)İ`jev4Zƣ<5 zqv}d?HKہqͶ/4_}XUbP]@Me/?*b/]-*d, A lA uWoTdNNo; #O;`Ž\֤hS˗̷DI/+*/; @ኋM`UDuهǘ%t FlBZG*l:SHO_jU ygc%8ZD~9;gG 6s߬s{6dWZw5eصBA-E z #[(ʺ (ӾtbCY< u]Lo'4*zg5ҒH)e -E.2gL~rō*F +OY_Ƹ=jI$$hu;F*@ ihY m-7/s Q,_6w>Evl~LSrfn-&}AEV"g7x,|&g Qࢮ siLJ ;ԟXAL ->jȏ Ή2?$k~5e? &d7+бGy֌Az 9 O7%.7SHc#dqN:ƢD$%8ޤz]rԸ*Y]&/WG+AX=!`t&?(3/ȾL"E4HcªӨ9XP#=&Dx ;%Lq9Eb#!'/%~ XԁE؊$i@F{OG M+\Og3[ )Z+OD'?iU+Ոx|y=3FJzLۻG>Q(K=ziȬgvD7FwhA{Zz1m Z3 j#Sb&'0sm/\ 5rX?j߳(>-S/iCGٹiAiz Jp~V)DU84Ђh| ??ÓBH>{w-^=&h#oW F=F&]6~3:_:'zڑeB'M?}-K%dv;B+Az}Ceeà*Ts#ap rLkh}9r7z&j 寧j`td{"ۮA:8`zGũDc2aFԱXëcƚ -J˭/ÏgUdmvX*qu *yF=unbI `u⒮`5ZZ2nlXpV<oF3,)Z塪I$v^=( HY*04>\[W|dzTRLsY <xTo?6OmXh665w` h,DXSrU0X9ސ1@k?rL܍Բuzy`dZwJuo ϝ5.>]$Lu3MkeAtZbⲡLt[qƺt$:0gaA/a {1E@=Balhv'KDZ)7>Nh88Z?U뻙QWء%sɓ?&$sX:~?l侘ӄ:w~g )3d|v/.)3!M: ]v}&#"ad)gF(RמGD#( jog) [7Ʋ{BV\d&8/!(7X\ a'CU6Nϭ ,&1h\Ty1Lq6# Q5~Q:Tm@{-i6߁c'M2EQ |\9A%6.ց-ny-㯝4h$bqڌiU+K(lTB+y{MT8bk%xi~!۴Va3ܰ c2EQޖL;T0kxQ_W{HVUr)&hz{[Gg;IN\W feo-0e%%W%!u#\:8VAnL jicc0+Pm8wd`P +]>\&;;5YdcT .@ʺ {mR=ƭ(N-(MjUmP+MɆ#%-e`b.  +G!2Zd4a*{>ċ`r5+o-OqYgά*H P 4d O_]b#.0s8(G4ZOW΍xbL|u傼Y#8?* KBNE~彙[q`).<Ć')K'hraAWNZQ'D+\nߟe/h٫zn7";=Ær}~Q7NhD0OtMD9;"}Ϸls|'5FbP *]}Ŗr¶ tx6IY03]:FˋqU1k|5Xb1&ġBG6PS[ *]d16 [kk zi[׽"V7jn8&1S"ZEY]^Ki3^ 0U]F`qL3{7:طkch*o1UOsuo91v,$Ϧ5N I۩D9|Pd@\aO3^H~8O7AM SP%@;z,Z߽&dO7 4(MSovUb.<;t.GOHQaCLڸTU2ޕie!r;.{q@φCAbu:}um'&ןs'qwcey[(\K1x{3ɫ\~ARMJ`CwSUiш5\-ƕj#./irU4إbg-4لKOJ;tڭHgaQc͇e+ұ}[TrBDچa0Dݩks[Vx TChrTP1^X>@+@8DXocn>a*~c liA6_DҖ^0xoJ.Y+M/&;B֣N 0ˑsd:wGUx=/9`ϪcTT/*Q'/MbfW#M]gGAɁd 0bRga9p{O8uq[ )B -o+!̑$]4z#L4UftҤ 8+IV.nteGy&#S5 uyR%s?6> MWQM7z: QMy7FyewFMnyup Oȓ] \%uik웝#p&Vۏx |h>% M,D ' FY1zzY} Ж'Y=)o22ً}=TJ8/MlXܛ|}2#44DsKn^z[bI(|0V.M(/Hڊ!NHRL6oA{ϡK:_ȎĜ:G) dz wAַٝ"-lj `I=?]ݓ7pRsU7C(5+qq2q6$Wmu?rǺm65=eKi,]f3Z#%x$U[7*}b#4ةQ+c[UE Y4~檤p`-~6 Zo6"ȫ&#f J䭱voB~ TxE@H~GEjn&؍ᗚobƆS49CA Ȓ'YD)#-wHD>%TJQe,qٞ0'q!~6E̕i BďJmZν͙ʺJ^}#ÝWBxJJl_piZLHwp)m^ђ֠*w^~eB$ ! I,~0h1{25B'&u!ȔQ-P vp1`:v<#b6淋W8"vֲ> 2%AOqHjޝ4]e -R:t⟶-?:@|GoKe7bZx+_o2Cg~iy]K0@8 # Pq:1 QP? (?Œm@r+fS,SEVds#"{o5?qT~.MH#nٽW1)-&q~)8H.>7aZB "ˁB˜>eRoi+S޸#aڝqtu" Ŋ?b%p+{ˢIAlHD ċ"A1nݟ$b8Rs4.tg]I\Am,Mq>,) @[ )Chj6G͘S(怵9H~g*ؑel 3Mu]C4=/j\jGF=lYM M2X4LmQ`k'f %T6X$$fFC<py%Y6߭Yl1Tγ–9?g (Wc'+LjOgJjڪ%!A $n eDI&CIkP.ΠFy7'r١\tZU>q׈)?rl4Bu-| ;*B//x\-~c4Ci ԾOQyJhs/~eV_XUpĊLBN7sX?ck*1%)+tɟ#`z(g5hω|O _xt\yyɨ-}ÖxU%i3ϲS-C. ,$94 2C M_ U2r2rbÄӜ~! c9|3h3k3SxEx,yD7_Y}kv@[]T+\'lhvRsWJ+YOf6E(WwyU p%#. nIGen؞ uaJ"qD_#xNxJN*w.,W^=q TcO7(nKW=B[jʷ%lR=#RiŗhlNZw[' r2n6I!tyee+ !vC6Y9m^;T8D0JEL-&Qn7+p?DEFoq0a&Sϧ1=Kөy$w}֎҅xG{~vdmi*vHH `%p J#m5IgcX X|XODeQ(6e'`i PTԏ AAA7(\T68VVFZYxuuYC'YL#2tj3ݢ}|Z(JL.5IZw])1sX9%ׁԘp6 |Ѝ|0vWYW|q둣-NIpn o d Qxdj>&pFdze܃QuwZjc-H1q舶N%W8_F2G͒\YdX͜ Cӈ+9l]ņM/AsfeXN͵LƏ^ĩeM> . (,m?-7_!b]ӚU(9 ֝j;@C.R{vC@TeǻdRl*s1|9o4~t1>u(vydA@at{v#wSj}-pT*d\^]g7|*A{t ^e3ul~t6J@ä-9Bpc T˱7/ybٚp1Qe$ SyG%*T)k(b(:E:XZBuC4?׽hx-3`ɂjl LLh#q`:`ڮxt[U*YD*vD(U!@oE\Fa;j'%n־֝Z{6Pԡ($JĞS.($S$w=7=ڴSFcH"4(5 931心*݄l{:)OlrO)FQv8`}C1m)AQ*D0%0"R\ ƚM gXeoGب-ff#L F2c^e nf>eB"wR1] ʼ#i2[7G2íju0aP''[cR 8L^mlE A゚pK?]=!y`眑T{WQNL ѡ/@=sKPB0SbP!5}i_P֌Zm3bXU 1٢#g2F& &\Zzxya>o2:mp1"2]J)5FV۵Wr_Gnbz駆riMSh6a=5qN$`ETi:_KdtNhrnC"><ǰ<>:}YdfY?=SbaevgQKX#6_P|2)ӰIW3-ڐқXw9 0(E+Ym- >XcȷSIVbQ̓;4C!mzm+ W;Uս PӅo‹-ϸ1W=gL,hL]iZ1fnonrT`$";`ok \@kbcoyK# qcVNUg+7QT.O!M=ěۯ.&",V]F |1g zDz2zKD0m<E5C{jUsk-Ry(}\# noSǵLa}TÖl: U D09HNmsgFpXB ;hj}VQ'$nXn #N*&A-脟;Zg_ßY::O!#IlKQŢ];RSA^Yp\3XcP)cx}av6:MEY; ""]ע {f^>}K~ӫ$0ER-ɇڡ1-ONM!ekMqE\Xe{+Kfqh2FRj*V[ԓ}8Fp;&j|uě B}f^y1/c1Jx\Ӭ!sW(*j+DXUZM O3 0Df>?}4LL8V"_Mbfn«9:@L9 .ʠ֛[7> -?Vs(H)EOؘ;pXHg0,+h_W u LQP9[|{^ť:뜯i@+aXR doeAa-ӷP% S=Rh,˕Tq,υW6]kܟ [ܜT)}mթ5 g=+z Hn7y#{ T26BBp'*.aex/ȵzz7{[Us0 Q57!&ѥ,3w/g!bySJ_}9Z|FU[# +- >vt i@s4W]? nkg9Tmacc5o+u0&9Ezp5i،[ %L6&ftں@bY̍:Y>R<\m{l_ma ܪ OKn4ul000D coASPgy.vJ+XZdIj4ut6 .kRC*/>J w .ӡg%µCkc-ʃ]_=Ulڃh޺j ce;w0“.:>Z !`|<ސ1>FL *$KFcySJJ7.E7!CB( G`:t J|gҡ0,a*?Px[%K4U.c̎6zҪ{t?#13࿮ၬ Ʃ'ɱTMB4sYX}yNĦK33\m uM$\y_LInql9:OZvGGYYW6l^WMs8@ZlU? /BIsxVuqaqr$dsj`[Y[Gyx& \MT1_7i}=ݼBE1Xx9(7O5 DC^홁ѣFJטz͕ ؤz1z_ p%-e&tm(nwW>D!k[ߊ=?rJboi&]{rn+*rr 3<7Dz_)F&X9rO~}Bh9(^2@J"'J.|KM$3Eng\R/矘_u˕Xۋx!T⡧7(D`uLG$x8]稧F1wD\0,[$Z%(KI܁2>l+!ҔNDw16KZCX䑧~kqЂ: YhAr+u@ .քv`Et0]ӓP0S4TU%7[m=6jòG%t>}<9FH. 3W0Us@ƅZP^$ ̒,*X^;؊+׭k6pBH s73s<.xTfe;5~$r)_1O|KjnZfN/=Z0;+B[A.Xk"،DwXc$rdTp5q 2[|NdUև挸5 5vw"O&}TMP|Y?Nzf9OU/s&t:^s|`/OxAp 'LP*S ך DLөe*u=78xHQ0 E.`fXdZR^h/q)ǤYV; .za'4!JiZ[|[OWP}l>sk.G?~;t[k!mh'h ַP BwAHNRZ<>[ -O?=- =2C_% ]y!:'8F>IQqu_=tȣw-[v"\e&!t ~NzՔzIi( d^v+YHt̨1O-C8-rbUKdVA)0Is<&vƲzXZ\%DۃgkENrlls~LXe) 04<oH'XGsJitw.S]ݥW@[QIg"G .jf"(9GLZPS8:0v/.N',O]"RD<ɂxl_kWT\VS9.7IvyaHr^{]wKt!Ju^ ʁ]E&shΑޞ{hĕ3%eA'$&'\U$$lJ;ZxmZ*-O+2j_ӱk&>yN$;Katf L놟,l{"FQo[>sFUWgBMM-Ђft&a32, WC@Ցc%zʄvVT6\sw!t`S2jU-o *+Q-KUTťZi_xf(7VS <TQq`*gQ傳U'6ǼzomX.<9~=4Rl/p]bGwuL&34pA%Q"H5ZM2G eC ivܣcK(Ij.߼ CRM.ɵ]Cx#ECJ l27^ܤ?"_rjP#K>gY'#[yhuf3śHB46Dy|bzO"ViTϤLmwU{n@G6/`J5ǜ6WP QI%ն*^d],ac휆*JLx;5jq1iMa$~\j2<+nG|zoD<>q3⵨ $E.7cz wĨRlxϷ)Dh05.|w<74%:(B5(Ġk4OjnӬ~pv TQ0tul9SBvX8Dh7[w 3(oYm)Onf($=N4n m^Kģ12h8Gɿ=\&r~ČE/VoSҺKίM:MUivv:3#. 8]N!85Fb6>ʱ?MwWv|7 v32ok- IO > S-VdH'EomVVWl53BLrr{GI*F^zfnH#L\rUڞbE4S#1FAY g,d8&%Y\+ʣObLS㱱?P"X};p7aN%$XwW5[v 1بp2kI5EU>_r6fF"(uDfP[sڔ5S9]i7dn;w~jЂ㝕E-KR!HNvaz7wrx?ΚǮ~FZ٧f.=4,x2imM&"Gq i2>Wׇo{*5Lt+;\t '2D?oBǒ}(n0ZD% #絛(z L!<.u1N>Sۀoy##Jg^%0bE6Cԍ\^sZ_=;QVϑ _ OYA- PB;J^M6C hjJwhU=wxǮ锡f!,4`kCgpM ( I]*6poƳQNG:CҴW`ø7DL*rV7bb\dSTWIK7ە^6Dx?W-iuc_\5bcXCE6@làL hBrx`/Y{WI(R%(v(#>M_1~67WAw%5F>eS}NXDBvj&xIP#5;;Rm.P\8sL qRݽksƒYԫ<%fqR*HHxEW c#)V ~+=joTK~:uIjTnC2D 'FQrOd Lß[ӃT"=T./!)ʯ͓TUAԯ/|}!Qko;EOSƒ5Хp҈w6Aa̷X 6%%i10 #y_/1M33U]XT.tÒ^:bP"BrG) ?=ˉoBT"w&wkscT{nbo hu3WT3VO6j'vc`R`cbbƸ?+3(qxwU lNAGe׋ v"=7#E*f$j9D*pa,ARaRHO֫I?) ╬|l]K)wwr6N eD+Lwҷi)"' FfD wGAW44+PK@ح#}.3$Qyi3;Y_Y#v^W8T,IB=pĉN^ FKQXeΝw]QZ `5ȷLj͢e .S p9G(?'|gJ > $mFfޥ‰Oڭ-n"n2t6 \OlZa#3 *aH/~t!*EvCvFSy*(-2vʪ VĈgDqL5jAcmɕ!5&&g&] M ChX4sʭfǷjg6Z]>VolCWYB}B4Ai?_)qeZI:HW])7EbOҶ'n+GvG1YjD}`}$%^>pF {W[ lH:RɃد" %,Ys۔誃쒥[R1+JJ;.l=iK}vi Z|WB/=\p.`Z[z.#y'N忷z1)~m߆azgEPH*H)&?;`9{x'sjpН\+̉b>kSpBpch2Bp f=9 p~5-DvJP9q)VNi:T1;&;z5 ) >a]:@V m8vYXNltb=s/4d(6$z؏ g[4Ǵ]3N$k!%$c~7 !'-IҴ`:$߳rtlfxe'*¢AEICNv x4 pU 'QRev.5brF?Ll ky}]łJ~GU>݂9=n0Т.Lh=&cZ35eúS@(IQ.8:G; OnLvH B2cI2S;Ӷ%͖/D&v_| l2g3\bV)NC>+ ~}O?41%~yKCڨD.d€,=2S6pPFѸ޹r';M=h+ʯ$wKU_]cu^miCħ|8aTaK utL^@{tVACVI2`+JdWHdP/̉iK?,:>l4|boGSap5C9i 5L:M'O3zO {D*A%4pʦ1oD9& $dhIl,Z!efP. ]-r;mtzBtl!,v[p%(@˛/w^%ŝDwlCrY#W`\ oS +?űц˸L,|V/x&yY/cc`7CdL>p٘G|A@|M-l;*me"Zڲ}xkD{JA`PGtm9ORv@j;p9_Won4!}9tQ$h\W?1{ ,`oÏêm zޘWi F, JܖO qѳGWOkk+e_6<ಈ|fnfeKJz2<%eUapmj6\4[P_)AG1o !zl-?~ӥZydA UE˄5+t̲ :\LŞ5se_lUڡmL?CRWN8 5z4a0h3cW/]5Oz"˟o 0d. bnpV"\WW] ~`wwON*/?7_56=>1er4Kf0 l`V,E( ZR1$X ;!+ mz.BߢE|zŢsDH '=AA{>Zl}FRlKJgAJR4?qLv՗U눉sl2 Nps9c΢̼.ی틃?Q7mvxblV=Ṕo/؞벱vsuh7q]9pTL|d{^Shl(Kx.%(?@13J2U쟨_/.4OuٟM8ZS/Ɛ>,VZ_Y~u78+:V|ބMN >2*#XRBEEf8 :vNUͣ =~?i7M01ZґZ)(o~8g!+{9+'݂V/^[_vvNjxu SP`4J` We++Ǐ"~%t&}CMztgoE]E] 9(Q`7mdc<"kdW+m84O8IK|4b۽MxnTYiCĵ턡1AHLlUybu[s1cmb3!o* "]Ufp",gqKI"a)#Ů`F2C\! Cѿ_#(B>! 4L'iM}H2Egs?&bӳC :FGͭ%O Ky테M4cZH_]YȬo[(% xag $|tU: ߝf_SdE3VTt0)oӸ@|֝7GC#m{J$G 'O$ŕ(q6h){36^C^ӋM,H)ac.B|M1G-DoЄ~) ]ς;w*$,E f t )9 cvT:}uB0ܲ:FLMFyjpgHs<+B$.KHª@S+ HCZB+Z]xNإO0 hmo%bUp2J!+48ܘIBBj6t0l<dI0GJ=ybx*|}(nڋ{?DcJw!7BXdQ>,SIu&/!y8۱Uŧ]z95:.j׸1Df9E]w|WEG)$#a &0#;@a9 g: ܁KJB[y coxVO=<"aFY9KXY"2__BfaJ5L@heq+eŭ( ޶jT&)!4^~* o<@KG= ,="j7ѝ߇#C:慿al a;TnWp}<* |E]F lmpT$Uڠi;QΘbǑilP} #v c,3%1 WMpv* zhQʕǡWU?D J+%r㭾r%"IkɒKj+a2sDl}XPhI]4 ”T RR[ց)VsJM<@kz-L%CnEs(ƹ*?d30QL>"v` ,9޵nOw>U@I5F+=e2F`|h,F_KWfd(aYIJpԝCI̽1ǽ 6[x4dMFr*T٘ÊԭUo5'?M#鬥 =L6t̔^26RX!_mf ^O4η^!_wr0 yv{A%cר%,UJjM#1P[]tv0Yxwc֗Wa4w<MpGiǾFg~^6H lvx9h!`T-cF=ZB;7* g|U;aikȾcSӺҀFkQ^wP rI#QNlק:{Ѣr?RMD 4s_L,%leVt]bϏο^!ȮL\ǵpז//zuAݭNh7=UDjK5)Uk5d$kBIWAIq'F o,a4CV&7qS(fܾ13)6'9C~ UO`o4}Hp<lO&9d&Z`.1:DoUBOO55p?*"cKML`Aצ[kϠB }-:hFTQH| gaJק!+7{w_N(gYQDl|n>)pb'qPdaP)o?<%rUG7u?Iw>Ȥ[,aauCXW#ط[޳V\@Ύ2:ݾ]X]>_,U2+-Z}ܖgYw*kn7QZ2WX"޴wt4ȸs/륶*ml_q}#iXa.3T_1uL]5+ZB΅^V81/JLڈupl{a;NcM]dyoX̋^yOwZI(R 3"M‡ćJPw_7ܺzxAF'dpYͱ;Pv/&iw9⌜3AɊV2cc${&n9Ll<[n7,mRҤ2!P6= BsTYO;^%(q멷۩k*[&bDwMСS**IӾi&3"s9ca wD5`cm HU5t]m$4ڸ5fzCȣqA}|`{3!5ro.؀r~a^m0LV@&L+IQrPz;M5apeրw׊/t 8ۄԒb$3?ӫ)8ޠCvĊpz`rBuŖ1  Uqw9wi)=N!F`AiHW+1ꚋR27OsC@&@(yfml!Owzyѷ ~'M/ݭynF 3~Y-[xk(r5@=[[*b:b=1kO.aL "c/hW1Okx4 p3LK;HF*u8V2Xݷ] YP"M R2 a|ͥF:rc?Emsr&9֔4Pcޝ )C~tƧ> ,d{\J6ZGvL^7{D ϖFc{eZt'u 'TDŽ, ^GmA!5#Co2kIi8I-^YU7rNiO)hA! ,'7Yǎ4´,]Tu{v}d?5uʙkPEk4{bٓ%Gk{I}㠥Qs&εUsS1C l',dq"D/PjzczWGse&v#83&z11ȸZr[U#ԃ&P yk230FV@e9<YVPW[1s`{E`?X35-o2hL|+1N Dr ]%3X$۬L| yJFsly<-!oQRJ m/'+OM %[.<)Ը8!k8t$vryotuHqc]t4۰',D𡚖UC Q{*1@vaJ6^ƌEmp%̃ >3tjwJQ8RL.o՟^/7IߨAӾDV# ܩ?p+{MMAB'R^Y*ʒDFW=/|T贰kheDuEήD->³>h/[ܑHP7E$xb4v2>-y/7D <P47*B.nc"q8)sXq@[5]}! NJ_:R a"6[omCBG-Qs`@˦64%x炠 ["w^hKu̯1]kOqP{}%Yɝ⁰ms;U͡T5ۏI=KFH҉Xk /w¤"@:Ye=>]'9E3 =r\-unF5΁VL?3q{`'DU ,XXT|LD`9/YOtag[O~4F_{0ĸdL[e{$}(#OFF,%bJClޱySyK7&i"ɒ]iWʧZr0S`r8ax(5Y.ӯMWV0˭H6N*F>IIQ%o(_ `tU5a&BV ~.]Q{9(9 \2`s2fZ8|@Me!T.A_ZͺcS=;7yHU*?%07"XFfUHS.mFWG$\e'10&1Z|Le ~L-CY\l8,;_IyL &0 J*lm Wm_B}Ơ=И)<IPCcf:<33#ƞs.I[ _d꩏0 a<7dV Cr0jKM/u *zql1;orKz>=BB OH{-j{[KL~z~f\_#@8ˉ4σkUY&޿Dž,؜=@ή\$pEjo{χZAdeu5[eڝ-%0D}ЛE%T0 PXlmrQP͙ȩ[ޮ"U%xS ג24 :[%M}ʓRGi`зTi%Y<EE%t6GNg2Sl]692#(3n?\7}/ '0Oe|Jڻa B4"[|-z BEzr0@P_tiv oe0ѯf&NJ_fUMw{w1:2Іwj٫!%IO٠gX HwV780s\3.@U]Zvn 9`-}8DFK8y;"xA[/YXIz;)aYsa}ZkoВ)` i5OyXh/%lr90}7۱}opۭfxw_5߉̱gy *t})`W;7~bs߅g9HVQ9`)+ r P {xʊ6"[2ƴc]O^[rSTfjN9E9 C4n,׶{&}*u4p0 :$zZ!YcL{6qwK:"ql`fy+~ҜOkԅA|/% Q̈́QtjѤ҆C[,USM ;+H9)YG9L59KF~k3 GdTZ[!C@c-n lZo&f%a*]r ҃ڷ"-ㄫ&$^set̀E*{\Lc?U |ػK;=Ph_uCpHCkjc<T/:*Pto “*BK94(Wir)~"*|7{MI_wp>0h]|& jܯbjΣoTm "{Nb*RVB_!ɖGU󄼭udP82%G9qg;MNrz`ӣmgG @cl;Cg];@7UbSznݪN)]L>5" f3Ȯ@Gwa*(E@~~9 uP#leDUSLjpn 8ƠG-R3}/`]@m|Ԯ #<鼘uP.㧇OiӪe (B)Ľ?py${֧HUZ>V7:PRRX1(&IznQwȰzV54Gb0΍kpVXkB2jYNhu4h;StY}:|F9й}Ҭl>l4{6vۉX9)"K!a@=@6Iy" $\(pD;A \K&А-8x_Ձ96+(s.'[qжP *k6\Ě|0KyzI̞:.X3df7j[n5T[ ܨNE|g"Zo>9=#:;[t RPWmB9q'wum{?a|b@B`b/D=y,(E!6}S7`PDl R ei&WLw>?dliY~Q(aEQn,"4M1az x4F*n!.րngWA?+Qi>>:WWѡFuUs(d2ɬĀol[ h)o7~/|AVYl[ILZ$0v]/z< -xnc5Q;tƵ [|9K{C{8u  vo#.MDIJg%̬oxNWgT5/\~lzԵą@g?'e zmNXl>˻ ߳^U*@s9gv7Lzfڂv\ܭVQ#$$VR^Ƌ~G6` r5m^*(XNE]]EZ{ZA8|pל'OBmLnU0ɩ)rVOzgF}NQkX]R:*L|4$>ۊG[锗ҁ8q+$'2X{ƊZ.ԝO稠z3i%A1 lb Qi!gBf?&y=ZbG|.1oE%䄠 BRƐ;7l3 V8k{O4_#x>V|+G VGZvba!vDtj9-R!tU"owu$zM$x5.*W羍"Yh<;|MnX콻3oֶ`5E{#B>aATMU Sj缪LwlNdO @S CK,W#qp5L鴯Ed %HC#d+[׮ާx]xPėc+7(v 2m@k$ft23S -''5;A=t!L^fBF`%c?hT3Z{җI VzURLnVކ^"003$d%n#|nMO[nM+Sf`p \޷]X m3%ual':_D(Jybyj:սߞi_ |xX s- klL]J1Kx=(l&Ya+ber]^4n~ *?#Tç/gYZ7zXZִF! E]ŗXiɟ34ZEU!jWgYZ7zXZִF! W?]ŗXi%L!l+B8=`%ݯdF;,|waTrfIMmͺM{ ;yѵj,>!=>"g7a)@u:г#EEИzD|0$Q|T>*!Dfpܱi䥫zVVSDp<%c/ǢM؄ZE'UYTӢ)k!Z*aKM̺g#{Lp6bO ?LN4nor5fR*\>yO=㴽j*8_#q% Feb9S2JB1Ӥ5:pWV u׻O]k6Ӆ0FboޒM^,YϒC[A)T޷Tjn}-o€G QIT&P΢`ytJH;(0Eɚ:@Ժt%j؇:U[PK?JY7ڪC0N#QbyyOi]䉂te?Oj2T|tհ-XGi~d-ƣ^ E]&;q|9=sGHtƩPaMleU][4LX-".@r%@!EG&9˳ x˙ު%`i:Ϛ v] WՈ+=_!2\^5kt A;tD2خEpvG寝'<}J;G+v;!eeيrgTi.lD E-)䍿6A#^M]'J*̦ޭ,Nh FcAk[.TP,GqyRߩezi=Jq\m|#HϑKM;ґ]Kˠ3lWy,!7T48䮌c_?^=͸NeP"$4*d@U;)% ԲTfh f"b9~vr:+NbVv<XFSƣG:3w sd <5˾,r5[K:.OLH~rϘl$\9zk"q *+;A5ll94]d󒞃`KqNl_ƔLؿvؔ#:.y{pP?(vf%n"˺WP) //yQ Y:MS[c,)8Hv JLOlynEo03j̓.jåN%v󖃏Yxtm -TSpbvPUƸ!eQW1 Uy@B.Z#eQ9cDSύ4xX6E{~\G'&uTS 2%zs?swO=pxcGNE+^J R((YPHP8(4&dlx>'cb,|P4 M3/8 5"a9o53#{"u+BBQf{r+˺6)XwoYV1;xHPrFlU<7$MbHM'WˌCtӌ+*'k{8*OH)g>Ti\ fۭj C/ ~sCNvJv.*1VJVi܎TҶ7ϱڬu%xOWi`͍ 'AN5M.F+. ZɎϾ cńڱdq a_GaR4wpdz6%Ɏz1#[>#uUQX'}w`ӡ!^tB,$(|/@%M:ݼ3\yWwOnpLt|NNjQIE'TB2u/i.?U~@#ͣO P/݅~PAacL$a9g iL>URSm$R6lo>WB_[𫞼Ѡ-{\A"kŚ20~S:?@{\è3nOK*@k4,8brokjO]ۘ+~o'wY-)4SMC8 𚓬Pq4PNWE33 dNd[C|ˢg&uE$WI ybքڶ #SuZKi&()EhKV @F1_DwЬa6lz%8 3gGEH`Fk)`͞V.Z|m>$;";T\iwXMA`f9mHe$wMҲuHj]禴"dְ0aZI\sZs)T%A{J.V#1΀/XDx'U5<8Myy,z҃17iQY SS1(3GwUYK3sIcI&b\m=Z|x_LV 1N.蹮U/Wi]A=>MI?Cdhf:^urYjX?tʓ-#jly^y>}9|XD}QD56€ҁhJB`Ac2zՁAzs#M(i5{&hƔi-f wuz DNKUb~B[%r@(}8Q4.x"?Eo5鑶 OA N37B Iد ob`eX  w8-wM]\FVaIL/b{B.551Bh >(ҝF:9 l EȚ' 56p}`SQI\̇f4B?sEG^(Uߔ8WT ϕu3Rկ sV{ +HH)֨:,۬ne 'ϙr.)J!iEDR!͑g0@͎Zd g"1u/8UG[ Go:&<~poHx[7k𚦋c8\[FK5dz*h J vƛ|RUK3߇8dX/K27C;&ˎ,>?nУFrXLPw6qY  ||ȿS oǠp n$wKИ+ɘY"i.5`o@`D h??A uϦ*$<N:I&vtdı֋*)O;+z=/Ӓt;LxhX6nS="B6(N3 x PB a@1R*E,>0! cqX\ՠ- ҹ*RTKbji5{{gmK]d`{Ycyρ[)AEhK94%!'GrmRwrje !"ءS8ⱎa0+P#`1\H/(UeDTj3 qҪ"ćHxLVPR҂aȝS=72yz0rVJP L_pj`Vɝ"&n8?;cf‹*"+l|]`-pYbrlF1HҲY4_#a%6o)d%Mv 4Ai<1 +%j0vqEfLϋ׭艝WӓyS̄D:^>[3HV,1Z[>S3 $y с9c q )ο"ɯ gYZ4b7f507866ecece399ad579f33d34fecb1937cd48215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd613cc12054eb661e048e3a792ac4703b0f2f7f363b