SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  %T,< ]/]HOL-Analysis:threads=6elapsed=334.475cpu=1603.668gc=130.452factor=4.797zXZִF! aM]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE5 >dҤ)CEK̜YFr'&%*'@WTC S7wذNv2 Q.jn 76XKt7 ӕq  sv8LEf9b0gSlunb쎨dYFʊVIܷ'3JV(Cr`,fjH"DHx7ෘI?w/" ~Qp| JfH e;w@߄Um`?9#w~ab*:Ҵg]?KXr{\HJEVe!MJ)3 /)끠E'S_0]Bm:&bgwv3PJI)>\TȻ]O=VnHxͣXHؼdCkB?R) :gS$U^XSl;3yUBD'8$zDH3 MWFˀt.8ϭ,UD;׺wχ Nk/&;NɶUVzĭ y MkTď,nו;s_oOVsL{4KXeM % HOL-Analysis  Ӈ[̸(}=٧s+.5GVln_^ndN1r# EQ4,ώ?t[(O ĐNms]ymR*r3U '$_-*znkKD׍Gt{io#2iUJt)L3 MﲄkgDjzvzwy +0g8xx\<*a \5l-3ǬK(&wQVIg[7{.+F"S)a*R\)<ʾx~aLK[2L༿3DxE1L}~Ryo鉌pNS;ȑns _]TD{0ߕnrK Ze=o?zqLⓢS:0 wd %nvqd3k% Y5P7\Fh#O}1U0~f 0BT8d̿xl &zt:#bScF8&'I#“j8eC4B3Y؇.#>ͮfs.}t½Rj"}F`qenspWΐu6-M]]}R41緊tO5[ƲBVI`%j\NnhqA }ɕߊaHI+`4DDavwB Z`R&YFtk[!G8Y8"qY\_uY%-kNKcRN)[$dw.>$%{5m) $O 6u`$9!FQO~<&i!g-ܡ?r3 \n )&Զz! о)TRAC KMI8^e"M!:u5ios \?#$Y您O|z_N^鏞AD_Ȟ熚ly璼{ Էb>wҋ0`!UV9hޣ]Ζw )\A-;6v{6b` $UR"Znyn8kE4y-Q܀ѫ SOӒlG%Բ[>ւtI,WN;@XߍH#ݖXXbķx;6g;n"kQГ32` Ys]dL~0U!c`+ż.։qlPt}6ﮗ0LJ*5C? C (0~c w_ٷ( qȏy0=M쯉^{$wB<<)@Ux$q{JigwCuH7gP}*ZOZfee(;:}]hx6{z=1ڻ3< nr KE QL$F2FI-?)^mSX?).y#D/ \n0B)A3BD`\_@{\\ {"3YUDX."ђ*4634s,SjˁG 8Ǿ:nW fkE-h.fߞLR-*('cfpiVvҮԭl s`` !MhuPZZA0Z~mX9"ged l}=zCТw=0U6aPLԫ_o# BSP/A <5/> DyDz;Seސ'L rih%]Zۃk[BF?=mluAחABkcjĢ7S!-6́ r #Gdb?ReZ,|0Fa8`''??=;4%ڑ`xw0+aêq#?mO*]櫭Dy~L6 T'Uu_b2\֬It9c3W†۠w+9q{.vq3e[Yۺ‚rw!svc/5+CZDb9[ @"p62)I"ePN˧_hy.0 ~H SmXhJ2kUq\.6^r/XvC*pqyC0)'^C1P[x-l w_ߟ`t EXUvhJHU8 xk9K.(^7XXt%aGBl4 B^zvuMUǕČ+DYjcIΚOg{O|GɖTk)|i:N? ^,QA D` F]K@^qg:ߔj~wt:RwHȺA:JxZi c9uBud*r$=7DzKf&2[T{j1yW+-o\JU5 ~lYdž@NTP,f0_N1g3-mvbN$&/zlN[38 Kc k[buođktB:My؂VVpxdGĞW-}ŌDRC1OWe9M[dP`s1*S^Gy%󀷪0U72ـm%u<0,\mnnqS-ls0u[ $g_=8;6UQm9'zSa-eB`Dmm(2@VJIsI˜i&wnNq -u)06F]n( c cgNAF#FIp;[ %*+h~sypv-|DouCaoHO4%bڌ@]L@޸\ܵ`fc{Uvo4wT _AKW[{ZdXrJ"ܹN扟HX ^Y2nAѳx=͡f"kXrSLfqi$Xrw2(^hj5<>ֈ9H:OX_.TffiV[0ؒ%Yg2τL.pJLF~V=dZT@V2}'d]߀P4H3ug!\f"B>vSqz#!6HbGTa])Ɩe sy@??_2`EbP<r<'Ƅ9ok (T^Qϳ$=1E"}'cU>*lNek.PƹcݱMX0Uo{ĵ,!fuxǽ]8qiȽ 얈RVM]J<9G?9MTߙrvNJoNmrt/~MGOi/Be*;t iX㊛msr#nR3]ߴ0Hd{Fhy٢]ʌZ՜" V8nn&ugyZ{?1k6; \:f&(B x[/m~9{5Mig6DwZ& F^$I}dnGs>̦CrQ~%T8;Ogϝk-v8?x#\ДU~-\x^^6l!oK]K?Qft9yE\.]S -A*fnrW-%k$uZ&ɲPִPP9#qoϩr亩M5\2I\.;IZiIlDzݢwQ}VA?׽`N^b 30V[qsk}˔HK*?=≔rѭ{c^mOl>,٪/.db#E"RA[2uViK9ySSAYYFM >z#Jz7bN;2ͷ<[iɬ JH0^x{9፳":GƽX=p'>#|΍j aMZ ֯yLwaJzZvUgqп^MZb>sqGg`>QO+Yl7[Ey OcA(ÕVA0pjU5W* 6Es ~%0DE[vk ?`p `$L"nO}Qdz? mSBkQ.rr cBmutr?|jy|-0 zS2URokw\ћ&QlLw;C*S].b-KP֯ V]kqʅ WaXšOwY0~a,b3HK`V;,m;?E#T7izeXlyV)&+eq.E4rÜsdtPI:TčjSTu9iB|n[5x7>n+״tUQBˇ&5sewE\RJ]..IJD%NUNF%vvVf]/i~32a_!*ԦK2e~ vVD=ɧ0`(ݻkrDV-7KOv]՟ #NnmSuQj`QW3e=)!WH8[t_Vnt5>,'FeCsVz^2HIJ *MkU5SuN9Lj\fRK.]q7!p~(Daahfa"{HN*,+F<Μi碛\4="_#ZGbLlEǭ_ƶE8&P-_ELE0c {I2g$ &m Mfu69V9&XKP]6kd'n-Bri '~itk榅FS9i¢>|vZ%!Hpz`.p2{^>IQ^?- g'LhD>Q]gkB2$-TXv뙏2ɮݵwov?s+ Sgdtς`N蔮ya8p= iī21y}LPN2([\ <'R6)bqS!$ ETr. "E?U%ɋ蔒Jvg翪ۅ(1ӑX[EA`x=ŖMџ4¾CsQw=5sU9ی{%$rh`i|(8E͏ [5t[;-)Hc QIr45$up]bDq RspmL%dV"7.4&7K9Tr>6=}h,&YɮriX:a8^PcWn:ø<Ex(|fKH:< iK^uDLo<&R sEaCg"^`AyhV(=vū1S%N!J:Ac~:3.$/uW<9Z&}񸨱rrZs]~_u3rx/rxtH:b΃jV+b%LVmt#],g+.XW$l}3C̔YxZDHXm[FTxB',ճsįp~RPPtQX Gh&gp]Ü}Oz 0 f2pl}9mHH^fUM\G7=0u+k_6Z9:]ڷ"bfsi\gu~5 `Ah6C/(`$mHႆq?U#|mND32ؔ⩁E>E/"$H>RJh})L0cCo@<=#)MPOC`#@,il ΰZ(D7KAdԶ/{3u !$KtynDICQϜoD(STSKwbOVLy>fl(|%gjrD;WX&} m^"fAwAIҌar \ !] b!W .OsIEOh MHNXq.cQoZ, .)8&Ϯ0n 27HZ$L4&vL;KV#Ovy:uD5O<Nư!#3;`<'wGԡ&F$P 5l59M4"\~Sʉy瓴J`,ˊ.Tox2',J' w"A+xdͪ;Jޭ $ t#'pM*B,{Q.vZsŘx{#/qDYD⸪FNwE='v%^WfG!ik`{t&>1pR3uL/p"-\h{zp*gc97yWx@56BMU\u9jͩӺ H<[dto 'EA虥FlRbouV}HBIǞZŲJF֏Ԉ=ɻD,sRn2<$E un,kR^fׂx]n4{e_Dll 3Da4|APF$/SFXla. 樦)^j{c@c ҆*pwQg*HC~2]Ou?XM )=|As7JU>A؝36i)/I73fy%Q{Z=ٓ0Q퍈,_-}rh{dĴ)*(Xa4O4CVTVuN:[nzU~qadD҆xGAgI)'t9/O~W5w)g_.{,Ycq,w+IE;c3vtswΐK_EJFL _@a70X|ug!|+Ƥ!SiWNzI PJ_ Gz"PNp5}y(T[OgeD{=`[N@F>B{4ewbT7j\w]8:icm9/DXaLŠ`iScdoM": PYJ s@M}Z˨6jM*Jsvu=/ ]9gL_Ƞl|[n!LSywX%؄>H/ 1# Q%hvF;Wg:QGՆlQ(ץkcf4ZSrn@Zhڬ?JM=924V!-u'(F}b-ev:8 |ʬ0eԿfhqtgP|4P;1"姷C|1 T cdQ5W}tN镣y&E+ƚS'gZ15`\x~[| 1ňH!}"]^K7_i۠KW^GD1)nK (+G`[:U>c^v U",bbKv]+&1 57v!t%}qY(ɍP #ycC?9$-M\?S]?|K7kCNП:+,jg;JM΁BZ 7z ?j`(OH?p !B(]ֵQ0TT$ŠsfPزFx|t8{-%:.yzҍҴcDz84'}!;}ƌjAyV{T}So;}S{l Ss&cԔ~ʾh_!4D'afxUDWWxJz91opB8Y>EWe7 aR֌,_X E?Bn9%;{YrY~_2wjgxYZ}H.C;a~b2$.Sw(|V <^ɱԨQY/l+Y`}?@{i<(ѫhM ⧻ 8֍E.8W/Y>Fl+=Hdɛ6(Zݑ ƞ^[t6q :[/"^IJzoVOX2diMx,zSuIͼJ&vG{0M$?k5$ 4uUG&BvB S͟3$|/O8n89l EN& $\t 33pKoxDه-tqΌjQcYmwJaD4!!Ċe " ׫BSWd~F$kγܩxȞN*9 li*Li)&!qUP-"ogrqcU r:x^Xpz810b^;+m!T@6q!#Q"keX'GQ L ejoCW ݁)@poK69~rϸA:%фs?y6s]u-}lK9]SRhxl6QK'1e3# Q-%$O+|YBʧ\B UY %q"' D7ԋ[\U'63~2IݶLj1eyYmd2곛 䝝I<r Hy۪-:}Zz=#ETՃDpު}#z 5ZDhCW#H l]8yFP jnnI.2t^S!xF g&Pw@KWjZ011Rؐ@M.lGQv]ξp8BTIm0f*XЋ0X4E-c0n8d2FWl㓬l/X΁|mh:9AMDƂ _1,~;#2E:jTބ+>TBnFw⍞c_PN &bz:( xoY'%xǼ,Gt8@"Š,\$!Ƽhzɼ "/ytoϩ >cf:*^4=,Ɏ2"?QxV4}[;Q>z%xm}'h9ݸO>!Q,@7+[Mt-`kt[g{9T|͉SnvzdtJ>.68Hi_p[H4Voj>3+X{#ݳ}X oh[17ϴ,mLTkƧ nY7HLQBmK1 (nXXm^*ݐ=G9+iaߏes-`U%@ @9V(d4ɕXSR>|G H"trWtvf5[=*L6p^/p\/#x8ò]~x0Eڗ EmJ {c-HTbkm9d>@蝣o3;.8G念ɭVF\?`aʓ'C|.yER*MMAc8, T!!u 5\5HRײDi a~$D-+ǝS׃0b<_@o^e־ثʉ q㞣4l.F2@/ d!ipV^ $| ίX{60^#ܐ<{=$8iwMFFeNK6LP' rn1m[ڢMX/R2f{*:ݿ'aiX}i=mL;õnh  /Ϥz q'Rf1 o:kzԢ!r"]UZL\;NAXqԜm5bWgr(exwf|8@T:Ok"Tp mZP{ܦ S;.Л^Uy3 0&)SJz2ݻp!=_h 'vv6y#Xu'v@g.x<j4IMtkG^XnmAa@Ir Zzyk~|uc?ҽzE gVzmnȘ!T&?T@NM6gƎiAj`qR/<鍊%^rbBiVҜd J`J|?XUEھע~zױ \mM\ht:C'h0l^ tc^8k))ZtfFj.o_P2YVkH#c:3E<-QE]:0׻WhU@#Kk@Sϋ&P$4NvtS[ [\Uth}u%8-,pfIU\\I:p9i~(*HXfue1@̭zԠ"A9$ZA#M aX{fUO_WEq:jA#[_K-顸q_WL8R3ZOqn:7JHܒYޝСBZ!E{ߑSsH <iOb`Ι/n4yؼ). EYNf{rCˎ81SN<5UM`YǺ~'՘)w2nھ!Ŏu ]+J,V8S}ur5pT4dsНm+ܵ2!(SItъ,z1<=5*nC)B&,,֞roQ]@)Ex +( KfT/L>da9R&j)$)<4uˆOeyMoUݏ_3ŞLM&yWw@;Y.01OK.+B; ^*޷Cx~I!w}{cx18  &2vmGB b>#"d.>,'`\b~Y d/А:DBd&vFY !?*֨fy"8*"[F="X*ˢTg_yL E]xGt`2}5n /ꃢCO69aƌ\ՈۡhD U@BS.pKͫR5痕6(hTmo@6[ >oZj;LډJ2sc18T7<xbg*kOVa{Ձ8<5nKf) =fld#yZOfT񞅗&=ٯn&-CTĪ]Qx vrl+8aJ&_6Vo6pγegjVkV&0bŌY8\s.$n_*fsnR¯Ѷ{~&8],*Α8Ul:[Oq?bfAZ]D %[&e=8aC԰sDD*W4U~7 $/RG38] ýN Oߩh1Os` X7 }8J'MʴeM<_Y%6wp/RgpITYh>u8p&:&}Dvc.2wAo9ʍqK%fv3/4WDeY n UL^wCT+I25O= 0|ǦэQ=3QA3²qsτp:?;K:ګNBDd,Q#z~庋me" U,ճe/gݬOQ:..oEI\eM#m,T ;7s=1Ĕ|92J-s:yF=nno 0u`rHTQ 1!Wo%&zoٖKZkU_r 7x@< SYngHha[?Y:-jl@#}k+=V2Ml!"_<5E_JQS 6 +뤯6ae,E\qx]eh]6fh2M)z?=s.;HL:u@sM 3a)#z[Y<B 87^ 9RQNk9/Ĭ]g +2xQRӻG}]i!a,l]7OհWj59f~htz<=TK*}J0Y*:x,/ĎGOߺD ܾӟF&OFr)^{D,S/A4b# 2;DOr/k`w{ ,k5#^gT%4ٙ10%ssO cΣE,Ǯ2\fņt*Gf/쐋}NFbQum庪cs'Yʵ8Ypa 8;6 [ 7.(6uJP WqrOȔE#8]tߚN2U#c)$̖yffe1]eǁj1Ւmp ϝh "ǼMHSYP[[rU9iCFw,+{n t`:3$w7j?A栗W/0cUfmSҀWbwv,$J'* S86T`C& 涗h{#:?&}qGTNl8F38ꆈ[l'<-hw!i;LPWXD[2bd.1,wͷiWqDv.hX?ñdK.څ *xض`gN5mq, !gګubɴ@"?]99:Ϫ vEN{2vc^kyy*vEmUҘroA2R¥/vB5qg"F"y]XVgf;8OU<#`ljw'1W|^/y3d)1\Rk%%JC6[nlM]~q4{ S[A2̆T $b]uA4N6J /Z2PtB s1cS4zJw᱀>Nf(Ѧ~U,T:VÿH!Mz+4G0Wy$^G㰅+47Q!emAm-L~fӰLjev tEkC,kET4ۓT+X)6J1'-_?;$ZwY_ś  mMVx%G +E753뗙RO,̰ZyIzh:TUcE bJtC, $}j\xN6ݺa>*Ҽy8Ͳ߉e !ϧv8Lz T"dێJ:WA8)3Г_ 'q7|.0}EU4gYZ7zXZִF! #GO]ŗXiɟ1˦r!cHkMeBd45CY|"&R =TG |T ,́%sfSs .?~c8&!pƎHd_}iJ!#evpE蹀GX&[[OZp: i#T%#r-£qp50nNþrw;*jc#[_8P]A9=@qv3U:Ҵux Cnu8 {S2r!q8:^l|VYQZ 6'4&)mnI 1Gmݝoάq".* M?7\@13gDiFJ n+ܡ^8dMtYMV6m7 t Qsn%F:mZiPСm. "!g7G4ӻFA!1BT:e=ˀ~I)sP$ E;D Xb|5LO R ]]4 _+}(%cZx vpyBaj`9bΒ9SsEm&_2Ս%R5"#i4 B \U6b~֣Ĥ\ym@'"d3 I6WIU ,O[T/6囐0ˈr7\D?ݍU>^ᶫP2RʫCnTgd)^,UYH"+j>;ќ 2FCYX $}Cq[w׼~Kh"Ck@ OB0M ՐaI{w/St?h=*w,΃+lhemmD;+HM}H* P1^jq?JIsqFÓ#'䔲~x jʼRbMOKldZ6E;2$Id=MƣPOn6ND!Aus "] r#u:EOlŠ!E=  k߿6 Ïu(.ZbN(LN~x&U>\م%]c7 2\h9ǛZ2]!O+m R ajQ0\.Q-(~R9x>yZ X5~g5/sS^"J-+&X,wKb!76! 3*J},!TG2~AGl۸>هiE#\⚪ 7ԇ1."tr> Uv͎܃E^1'?s04xh4׌tr4rj apu.{_aQSD?:ɤ1q4?p6wTי0̹p:7GQ$5k7-EV a 6MɅ$ҫ"x,Y=3PKzo85[ F_Jَ2GɄu,(8q5Ry"N+DT'iB⋟6K4)&V{qKyI ¬8:s2ͷWGlΐzlCu:pV?+|E܅Ծy8p,Ym(4!.n|ke(\984}nG 58P8\rRXqC6CWֳĖ6IP{R@WN;;K@&D|my3^|a[%ö i_F2@™K~]3*'D|aU0Vd"PuT\wAc*Ϛdi~7LsbWlGx蜦fՍSXx8Tc6Xtym930DO=J-krL٘Fv[!{7FgYZ7zXZִF! Vk]ŗXi%@`cz˹KDQ@Htco*A᳦DSRC4hD]T"hLNEh?ŁP\GǷ AͲ T3.xc ꊤ„𗖋offwN7>:*EegZ3&o7Tʇex )i oq(ΟRQ4[T*ֵK 2` & +*mԛҢǀ/z€Ack<#%_JEh7 /DP8w \@YMA)B69y1%ғ/-#ܓք㤥ɥ(d}9/[4XћH Ό:?? <^/ 2xm̒& U2Isvsz"_]Fjq_I`録>A0 eIˆMcL"Єh"XzR6ErPk' o!xofD!2b@tv-DcRZ+CVFLoǪj'jlWȡ#AQ] J.ʺFś-!XH CT+n㧓G~,vCӜE&fb0unlChs3fRKe 4F{{8[1N3}GQlVw b,< IK p&i&`DԱhۄ>~s`epg;$8e^TDCpo53KI9ŻZ.fzkZ S 29#@A Q0w8`mg/ l2з<*ܢuГ G&^;@6  '|;'lϴd UׯͻY>p}WxUei$O>\As@0 $Ctwjѫ`l Mz) zO(ūQ +pHEjxeU䟣`]K]6Uh"rVOQ][.+-{%}=]TYE![tT˽Mox$?C /]m[D86\&xΡ,K^~#@W%8r|wʴb1Aq{xߺyMBIc b\F5DЇܠ`҆k8øDqk㰸vxLI<2 ^0GF(-%U+܄DIxcm4~;<;z*~i]Ӹ_CGOa,KA]e3UFݠPml37>")%xi kQ8^v ^GΓ$qv;Ly1jF~+'g׳_A~hȌ,ҷ (`&k-ζPV|*ht$ L2Mn\AӺ4IgW/R)r|pw r5rr7n$hnpIjqQwmc,.{sq֖(sxȐOW+2 {䐺K,k`1vvne ƧCS+%@TQ9W4ZeyЬM]f-Fp R68JiA`wvj|^vkowc> MvgaZG\KVsIW{ݞ p^=Wi˔SހQc5BxuH'tPBž]NDϽ4O4Dn89hUx)l;0D:Vm>Ńm7srfKV@* zsv0"u#MP< lw兲L*cfgOUUиڹմtைjuP1ˊ0YLA9L?VOiHwbmUy,rnD2 rn=\)U6>hʇC8XO$`ҙ¯/{ ; g%M/p$tF4moؠ x%k"܌ tdӻf=lLLm<−: ½mŜb@}oMmo0fZNidFh3pdz_ u=TdQr?~4.6hw(Ǐ›AZlHg75*To O+񎐩 ~/.#A Eqr+>RJ.ު ɨP__Sܹi&H)qViO K(,vkUw>=wܛf'ߖRڋտfC#<^&,)[hA4s7?Ӣs"ل=˒@R]&V 6.{l`Pq}P'tҍyb/U fE$:ǵQ([mLJ(OMTqV,ºz`~jxIa5y?5SHтoH7"jqdKwGk?X2<4?CkΣHh.ӱr"`_f{[HAtm2\3&᱉F7KTj/=DqX8dC,77am̶eiLG{5[)ySS%VJ >BW%Vi8lcbD9ȴ/M邧2OHk7 7xl\c>#FTlkZPxYno"&4%`w1GǵfМt=)?m pzY.m@={gS|0ʁK>j6k `Z3rwF:#$.7Bmc u Hpd}eX6v?M?ul&ϟN30=NBHkp;!t>K-ěR=KMzOCGWANM ΁G'7x U 4r}GY )j:9'o˷W5)g+ _n_(o[f{/*reZCta9a p@D:섪\~SXswSWKcx!y]>Y~8ϸ·ruݦFµ! ϠyTe A2rN.ꛥ!N hb忆?G1jiCQ4V+֚ꤳ6ѧ# ^cU@/oH#]#"B;g\)4<q@D8= ~vRƘ\ z*޴M 9lg:Ά@-z!m0ގ^A)wPS|>dKMJ␊QYnNgE MLHA :v'-E| 5.=%wdQ5h~qYh 䫀P]&ѓBeǨ#lpoΊNԥT饪&L%yh ~Le_v:[~hdl| )kEg솗9:B9j͗{3FJ"+1O]8ƻo,{DZ Y3\o ܑp.#fl >LaQ%7>[ESxBMf>sP 3^}ZɏI8wsNfp==JXT]܄UD#Aq-x /nlSel|f:-b Hp.Hƈ;m{؃tZʩV>4(ZT<ڰA(hQOpu{Xy-Zsϧ "M|i C%1Lb"bJY~JhľGMؑ1:v'~k=?b{A \u_ZJݣ#nzb:$@79T|h/2ԝ\#/ξB|BYŀFrjV!ܼ) 6N}Wr&Ҹy0U=0x֎8fTu,x?@QEq'gagȦH 9t 0elwqLn) c,SjL 1V|w]E t pT=en0`[j];+!8u ٠wq$pvߠR{񯐲`(13Rkږ٢ R@#a J7DfB gu3c KdZhP}q=}\kdݯYͱc9 -}3$sELhf% ʻr(pJZr`Jm K2A@{a"<ѿ(Vv  \ .g:] E5x jk!o=KTPl*=d@"PpV9aUDO|(ok&he[jBY(o`Sk,D]§:H;cCW=ٖg-3DGԎ5M%/yd.} T\YNJ۩w}{wz_W-Aę " 2?$r<+]06y7֯ﲦH, hb,&R$tܦGg7E4f%pRF9}7mY,E3s-eTFc?g` Masu,W Qzj&˾ZҲS͋n!9(]&TcvXN3%dp~o%q4m Ɍl.5 JDkY;#ǼMΪ{o܅"DU飯POq;wƐWNWBWb4$Cze{ ]m"׿$M9Ǚ㈽$䬆XCB{MdcVDg#26Hl)i֋GM G߇.Lm5%lYc Ieډ\Q[ثdR:GeGKr,6W?{ȺT|ݥ.{5DyGhPa46ρӀX3;gf@6kQNbIxS6nZEZ5LDE&9ܐnψx00 Igi5vx8Uh꒸Hn|J0\DDm:¤ 3ý*s֐}MtVq,CZgtf6}-5KRm58/PpSh6r &|twSm$z 2=LP/%pP?"ŗ&#uܤmdqR7L20!mrX^gN)@ƴ@ZRo]rk?&%^9DkRgV<'vl;RR:/չ /R2igi{{(x,hx3.|ٰ̃PC߻]OI2E{;&BDqEYGL^QlrCԇhsO^uZxs;7D"o6zӯ; Ӵλa"g%(aFM`a=hf9w)}hDp+xQ66eb$)a'>}>D\i>YM5֍?|״Aۧ@% '[ysce?I-c2V(cE.<(^g!;A0M,=:vgz'ka)AFCe)sO8]N=W&sv.j@R,)7ʴݭ^1o洶#HVkw¬6Z>l%qb@ ^20% ,&7<iE֗+p#레: Ra~(T.O;'J%H9H$ wTPr ,|k?Va/lbX .:=!x531K)d3&R&?Jx76k@)S, Se7J3%8ʉ4u1dU = ǬTr<>||)yư1MLZbx̀Fw(2 ._TV"8>{vT׸[I6Q>EȠP9.s('Vh xx-Ԋ6ƒ!1y s~[S썗/Ak߮>+hl9ha t$@Ho͛~ZE~˛l ?웠ЛX,ȅ "f-iPsu5YɣJA,Tes d lkUh+~8&^,8 XfdHd>93;RP7ڻrMJ~Po^3?b~FvZ$(Ϩ;Dx)xHu K1jhk>,oL_Z̷&zͽ%-F$P+g%Kc?y I}dO' lZNh05&2kL=r +\b s\`M`/8 ϝA_2"m6&CtX qFA?J6f̦s|/Ħ^#m_άo[mxUyB8< w#LwV <1Xr_1;)EV']]3`3HJ/2CS=b_v4իz/R<8VƔdK?6Q^{hHu9G|OM!:OX'۳GpkԸy(h|Y4#!l*3p.PCF *B/Ãf:Mgwo0LOQtNǐuYdPf8smJ9lǀ4ҧ !hԗ$?  ljp<@\tX ;=R>=-|#SN& ]*$/+`fuu&SO-S:uQ,T2Gb'؜T3]R!ؑOUKy֯@ ȗZ9/bK'a"ֵxu%潡t+*4$#..^+!qkeB?V+)d`5aguoxKl Uk 9z`##>oGy-2Un~"M_]'B<1L zjB20)d;>$DtOI֫K/0pp`ғw[cdܙ)giCWU W 7̎S-\=\pWuPdhV7bz:u)OG,u`2êxU~_ /p3:,K18YLCd3 v" »n+TA[,)@&+tL Ԯi%?{(.Im[ 1đVma.ސ}cg:Y31DKj4&i^YQ.=YֿȈ֓HYtqQqSNr&vw9 #8'6)h zYZSO5in)W}E4D#l7T՝,!_F"1.wFOmj6!>OC?a10+]WVrM'G~IwX UeJ<e7ahpGެO0i&@Ii ։Q ( OeiBCzt!944ն]zіLܥqԠכLod~ ^0MWV3ީ͡Ad ycOR]JF5btTCxuo{62#bb.fwRklyvOeY4t \Q;qW$&1>). $Pj"X=gʃq-;dg`.@ޱa"@r)p!22G@@zKrW꬛/T6>vl>;G`>wy_1QX`ܚ 0|Y)ehpy緖{ =͊.|< 䓒*wۘy =j5{? ƶ MDkB Vg.6MA{kWᬞ聦Lʢ/'ml[lA 7ѯ]nt^l%u2t_Ni|Mbw}*mx{8&yFCX;R}3|r"g(-eEPGzjJՄ!Ʒ} 1q.|pm u>#V;ÙS:cKDR>6w?]qwĕYAp L:B–LDSR;ޠZW`cҼ;1&~1`u=:?.UԜ8] R-[Y3һWA.?Eubڣ2Zy\713\XoIJ1)H06hnQ߸C&>W0p^݃M֙kz4`LgiN% (i?-?r8GI!]) #blμd߄n|gp$-_Q< r:m*ݎ@;mZ([+<Nx!RmE@[X jZ64)(}D-L~Vq@MKA 9S&L CXVVa7߯|+o2h>e`Qwl,ǚxQ "\\&GaAZ =>g͜jJTN,?*DHZa:XtUU)Z-. Y>[[OFzf E1Ԯ.Eg,-,Hќd[/xϭKC1LɭP4⇣f1<\08ԍ¨*vĹ,#m  \ĐOwm9E1- ..o D:*5i+_W v?{.Y{9v2^8oede䨃W11?e862 Q'QRT0MB{(d?"An_X?⮪[siOeK|_cC()O@HߥI0b[m4*OpdiUͤ]̲2%Ap5Oֶ92TA?;Y8W[2u͆r뤹kqªhqhy67L`\*]{^Sy{WACl'g@l*PZ?ْ~ HPKs+0PV_u͒TX'YKIWQei=A|[2$G]u2G_j0V̑ΊadcJNRu F8$-Uhګ8ׯt1vr%S4 1g82i8pkU"dUV̈́6qޝ,(NK[.?fk_':C@}"yw-6mފ= ҾC kM@ Yɺ)]|jײ $H3" >d,p:}TJUwL>&\df?9|P){aim0_|NKr#NȔ[Xj,f6j\ }^+ W~9͸l[S<=·:SUC H%c|*|.8.zxZͬEU|;WbGº_ E;F1 F㟐); JJ_̝M =xz^ ׋kaB4ݦN㳸кR!!"4ya,am`>x1gqBDs.6b)Z9T(wVn2][Stkph>~.. %i32M3[dE~-'?.]c;.j>>} 0(gH)cmkè(x)DQz,\ +q̫ 3ku4[_PkGCA)[-ot1߃e7IJq帒M[$WldSEVz_;3vMg2ז]h:`Q;?l_]PD3ĽؽzD5ȡo6u9e\QUKg ]k"]{fnM՚-:܂V49cQ]KHbcNΖa jV`M"u߂W%.1(V1TC-K-0~|r^9{؞Nadk}P\)S]G^9fr 0G ۋX(WpGԒOʤݒAI+`6>v(tTgd$JWfJAr0)P*~X/G8BgD"LE[(EPKM4~ %$ağPxZJ0U9cebݽc>5K=v,ƐXP)Tt'ғA;r;pA˟2Ԇ} ^d-:/gNO+eDr~/@w7mݤsJ[9VVĭ8~ǂ/l060t6^UZhe*{>"Ce0U "{bYtT.e}oX>!l&>@{]rP&xƕdHMO|.]% 0k֧G{t ]=Hm/+z뮔IZO8&pm&fjiy!粼RD-0Fl틆pdQV(7{zJv-+MEե)q>\=+']lu]aՠ<'0&d sӝV@;.5Ejx2YX$fwFc+i i)7㦯3㻾ߕ( I v<-Œ54sģ6D%Dz^P(^<{*rϽfI,`Σ40B)si[L?<'0⸴Cym$Ƨw=츄dP]?Mh}pI )A"^okg3[9fL0}I" ]8(R(w%O{]}Ii4{Z *W%4Ԛ/5ܐRK֩.#uض8)ݭr}ȣV%k\y%b1lG.>c +WLJv;/Z7 Ja%=ElWэoƃL)ƿ\>V'Ӱ#Uv}aN $Zm>6\D>>j+ܾs2K#jNqst͝2T&q ҙ@z_WQA\)2j{:CT/(Z y5fd /ƅcQROC0N-X3DAV{b|Zl 5g5 gΧ?$7-5k%dqvbǙ~}smDc_]qc;>1Kʍ@84UY*ڲvI+@ ^f3֥ecD:r2 7"՘!&Ԥ (t@|t)m~l7+:ZOg=܂Q`;s0N ֖Afǒx8|'9s_ $UW ri>o~wm (?.#S3ps, \Wj2xgϚ Brӛ5O;}l@xaޤ)<\&Sj־Lfݖq*X [O/)VU-_ TJLNxR UuD 1Ɣ‰TN#DxSxNJ?{ +x[[W)։٤?lA nyc?ɛA_Yeh"1 ;x KRڼ:JEg! 6օm3қBY3UP >nLDM;8e@!'0[?.3"l\aV[MY m#tM|ض{1_\z~%Bx2|zu%Sov(x0pRQ0litsרIypJ$I=<ݗd:DU'ϟSYpr#cxͺh5ޟf'w95 tTkPJ[h-EE¦I/-IYmȥ@dpܸPj/siaS$=^Ra\V|ύ>if,s ( kπ5Ym}љ>j|Я?z`?-+{%UȜ|&$5P [e?܍0 rEQؽ z]wœJע6;<~(.C:kl % sF 94>+oI.J ^fHQ4ւic` uh><4Ͳ&(JOmv_RU7:R=|jQ$6UX{ywZ)i7ɗͦR8\IY>x/oH5eRTqDT"UU Ǹb݂@Pc&(%~z5B{oV T8!!7ԋ@{j⧘`xʾR=NuIի,0(%J. AdmДiJ"!h&?Ilq¿CWY%襍ܛ~0W}ί[90t%$.М$9ܒꭄFE4?/S$Q}d_t /f_hE;?X>nWi̡tn_]CW wJDf2t|e>Q\"XBmJf )J,FåT7aYmVō1MRl#Ig\^K4$#$#7Ήa _0vi| A9շ_z#÷ pxX|eܼ9\R lM8=oLrk'Cݺb%x3w*MY#Zu; @ܝjl :uwMS  8-Օ!2E.]x|' $x Fo%'ta bQ{k\4bQo 1+3a*LW!$wͱ -ۦHË| ?<厣ieKʘL;+wlE~`2bEN9bzDXK#g2ZI!;L +plm橂ۥ&L.Kfzk44+7YzP Y|cQµsE# >8' oJsu"SՓl_行*_"p ZF2}z2#/W>gb.G-p aqͲ,3ᛉ vh ?` Pm+ p _ TG#f+\@UYb`M򸢆G?5' ),fX Mr5ګi~vH`ה S-cBpcx΅pG\cm;qIc NחDI) _rW%n;<fc<[ ,bF2i@zkd %;3ɦ> ӻ<>Rp@u$>A얰,5wtqDBr*6q4쟆FcǾT`ϯ\ V{=hQ^)fIMwcΖ\ uE&mKCנ oy&Z_Wfub 99 Y0,9vK9!`F^%/.dDiQp9E +$h CiV GW?Ijpul|,3T[jz-[ d6:O_RĖ_9gd>ʹmTUcd8i$X^=6y\ǧ=zE6ͼC9OmW>S_y'hx*o@Xf Sh0N%5E??_$B8zh2E?O u9H 8ΥFfCZ 8"2vfehEKw#NO"q 'vunWWUJ~pw"8:J!"Ese @ɣ0#}$lLl2۸Pѕ)?BD/~Hsm˶S4,Kb}Z}zN2Гy^okuOd(#mDE#KzN밍4JMhE˜f_؄х3C^K~&>Yr=Y䞒)͠NP~XM0]27>lF%Tؐ[Bz2@`e+[GL.7CRi- ^wdg3']8?֭zծkdXIXO4Eg!%gKCF]+I)sōwOV~!9op0eY52T7Gy-oRgvM_(9ydUNŠD[#{2 <+.@I >C,t4FG^9ڗk:\٘IDaTn+p.9OwBg)ܜԵ?zoW7W*!'H-e%QPLROpјċ)۟HTA+ɍPE9߀]3I+6m]cn)G/r(pH]@̰Nib;#k`f_G2[ zXM8 ^B̮mr3,MBERU8*m6ieebdv~4',b}1v\~?L6nXl^(8lӯ,aRMѠ˘o{Uigǭ, TY-LtdMXLJk8LI՛am.jҡ$ 0u컕IIP(Eu a_ܪcGm!oPBb{aX !BovJG'ncK0:bMk֭$I&BV%%tB`jO0m)<}D+<.a]4z:@a^r[Yt^Nʱ7IK| j땔VPՠF{*iy㈯H>eqPA (QA,"@+]2k{~ b(l_foO*bXQnGiΚSknjV^@-=%@WUoB0ϵ(u*k7w0z0+}\*B.P.Tzl')݅@0"SC 'Jt"6F> xr,:Z,8rdms4WcyܪC͏o{|r\_ ~{,q .l0O 5L0(r'!贏fRdj5w@4gfMxJ )d7[3)d|7믷NY7kʼn\ ho^o[D֪*DHqhH<9{GuN*N׿¾dfi.2`\"mE8@]'N?ΈRjsfI/%)G@d&+~lʤ,=|$( 1]>ZԬn8\tr\ 2g:\kz3UOo$s)1!w!K=Z,^=V/w_{u2- ^0_v .yY%Zq&oXb#ϰe h^a XckـP2̥Ag*=sl6JhBR6ξ%lWB46@i5ŀ /Q((~ }O:~NO7XEtggh)Ck%5OqxخbH+tan[BxK#ezE(9/엃(?٥`ٸq̊fKc35D`{H !$Z$U] Pǧms'i!}ʺ`.-?4FMRWd;P IMƊبdUB3m;sxbduSKR>%$7ٵ Y_![ox]LBiLǵnMJH)%鉰暔*4$(İFadpp]Z|&)tU20p-g8%Y =ljw4S^qOD{'ij[GNb${'71;au(a䩐bWcnAx*ݱƭIuҔi}c>X{VsGXuK+p_ sEV4))֦V];Z_iR F:s\%twݜb~ W;>z`Us*M;;F_eAJ  U"@XÎP8c?hܬHiqnHH)}}Gkq-4y۳A}İӡ ̈́c?P' ZlĀKů+wyX]S>mɰEg!GqnE΅)/߽˂tj?!d_'VV>L>۲@U@Yb d7gvVaFl;,m0@wԘک cQ9- oa\o`ȫ+(% +0q2ˀ%#Ϭn:&]^)$`ʍΒF v)zM :n9ak +Er޿F9^T%x]ZUl6ǹmB+n\=y^/!#akGGNڌVGnns"Ty(jx