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 &+   ]/ Decl_Sem_Fun_PL:threads=4elapsed=22.842cpu=82.312gc=4.392factor=3.607zXZִF! PH]ŗXiɟd)&]HhR⎊J%}Lv5Νq NDLWbƙ0OLEdE OYB_O[d(VG;5FQhܓSj\yύǜqlsY*:'D:3lډ{5 MZ,/q:&zwA+'b{ȇîF%z/r.vV](@3^j$m-DZ&EQRjF@,Iz;u$@2 \lW#% rɋ>윈ủv8+9הk+иJ ZIjt97ēkD([m~p(6oN %;^\@5^99/XS_&@&&ڋK\;ED۹S5E0VFAW@VZcCWip](j+È;$|n *5t%Kg18 PϚD'?ڥX%aلV@}AwQ\JɈeƳ%Tb|Ջyl O,ع>m^Ʃ8Zoe/}4Re}a{v  # M|D] P0}AC]y޾ify$헷՝/tCP -캲(hyܾ8yߢc3^C է@eVc\@5)n!&n -h%1/@tN2gHg7*[*o O(*@HBwoΈٽmlNJ[emru2S\tx +wbBXO9\xЃ 9]v w7,a) ͳ bv/qr9恳!m FX0@.Gq-B]cJh+|ۂNp+p4Ez{-cY37`VIe2Vd2R?Bd.5PaqvŦ2Ũop/\{U2gރ0.3K08g `Gv!j.q1ռ?j%"N# A-ce-* ԗ}q%):ݩ3?nyrDwE: 5<7Oim<Lc34 Ȓݡ7ݵA٫*?\1eF?MjJkyN:ρ8ج.dмp~ypqorNsQ*z]e2C_Ń-DLv'1Nz.gb}M^a m;id0~քuF 'WIyĚ:A$:`R*Xj|Ɋ2 dׂ*Z`4,df5"A*MKqѮjܙ߫f_uʕXvDIV  fsxgz~)D1າ{Xq1ҽFF̕-{L U%\"q<:Gj *O5@^:8JP{1Fư&j'(.0rml(Er Wm`T1jD*y̠-s+҆A#8|,/Ǩɜ`+6ȼ%2R.Berdӂ ,U*60CĥϫŨ/U<)xR#)DE:S{1=hP,E2|gr  \zfQx{+iReJ:8}Xyt_ }`1?&RljAHSU + Decl_Sem_Fun_PL  뱐'o͔2>kSjRD&yr$jZ*w +-!UYNf חw廼,;p46)O!Dodsk0L@pX٠ȷPME}o?͆~eD\mkbːɺ%pPs`=5{)W{KA-/z|S+ iqZ DEnaO-\"+X|P~as^D1nXޑ "椏xNm5wk$[2}8u:L[ڈ^&zB#]R n_8\',/D+m$6VrqDq,yhΨMݮ#|F+ҨI+cq/+׮hǷO&2ùZUzC FB8;lC1+0v|FJ|}nzov/ؕЛk\3u C>DoX,kQo%9ǥr{c<*Lgn4Q}g@ .UfXBؤ;,x~ūTUn۪և^/rVzb\{P8۾˩}a~@1F6왎1gԣV)RYLB/%d2{_FCѬ@yj U~9+ww2A:a–8pϢqA\&8i6:TD+p@G |>7:H<;AYL0 ڮۆ Ch'w3ƅddDV#(B9emM6B;a/u|'Y_Am1V/|H%Ƿur9 alj_ Q6#6ih>(T(6I R҄l Nx|MpKޗآL~6Nɇz m`%M"YbJY0/}-ju~ґ#D'nWty=W&x "2=GYW^@D  a~+"];8 * $`nT>+VM5R \A>I eUS%A{N3=ڽO?s/Lz>FuF$xJ1=|IƵ&ߕ9'{i\~sҤ,t\ViL Uc஁o\$rG&}z/[J* G\r29K;LSW Q0o)<|5MAjB+%_4"Xhn IP,MKsZW1y1ͭj+OXM );z'ygف(K2#U^h6Jֺctg_ $lT=kEY*ɒi٬RM9q^DDs㵃tz?[&MD4۞(FwShZBS,e?ydѨJ+#vIu{5SG*>@j- ndt9 +y .@Z )?+hG5v xE<8De v +lZ#Q]Zd\3Bʶ\%\-gU9WFL0 8aD aYce4F~aIy ܲ eFXwYyͿKA|fD~-.$=E/d<"9@.$_G(r3TY.^@TV|W `x+}h,.z=%rvE0L۶kb>T@]e9tq[]}ɺ8Ukj&C`Rz4gJ*syH zG8Qag*A Һ6 | l2I|ܜhu[23Gu?Aq$;oB&*ӝʫoY"ud9.35w(Ӿ3uN  >g:=żƘ];ӣjH-X3Fcb_ft{Ydil8 XJ A"wAj\%%@snWxtR Bb,jl>`\&wB#oW4IAk #^,"*y V̆,ږxkxӄ5YΝ o#mk]a,pjHP;oh4nQx"l"!sFBN3 z['.ZP)pso l%Ls!_i3MN aB8F7D쯹5Ц ݾC/6,4D"5R#{ [Ywdics]}'pYpVvh!/^՚x…@1yFhS5QFōQ|Mr1y KfJ`o?R⓾4bխc1\Hx,v+7&1`R;S{ℸD)1?4g۹4,:v``T1;dBZJw>G~lǘPW=P[f/HIהY yv'mk>MA^Z~kpO1u,BH. #[u$l&iYdk}^+_^פDp733$yn*lo&xG=dEKt+!8ײ̿kt3S#Y)љN2*ѥ.(HWR2a'm_^IO"oYXBx$2-czty+HV Ek=1DL$ Q4J2}ݍh w EhGy~K8=.؏ `#)+9U}Ri'x@"ws%d|^=@$9mYjс<e>` ,{4I^ x]߅Hke}w Y`j\QOBQocPuuzsI"N'}`n▏uC{i( Y;d6!ZΞ,ّ\}h|*Kj]#K!aUi/>Ņ0x#{1?lZQsW8rWaߌ8i#,Cr47<"A닮r; y]MߴOn FN aU! %|M^\ls\|aBӅYCbɢLPĿB·Z4pBܐy^fƎ*'h{ XGmZW& }H40D=&]˗\x@aw;Cށɕy9iҙЗG0''rK 8"VnoXF:g:f@&J*|`xrrk{TN*aS$(U`t/x|8>u=ts\u" e{hAxLd9OҭkmMcR+KlJ*H%C0hTn$p)%$֭oj >dP۷!Ľ,}+S/PqAAo%xex<]^A%Q wP',#+H BV2ym'SM< *gTpEݦ\,҆CP) (+`Sx<|˵ƾB[xzAZTeLBxrh;7@j6У^^,8VwTnCh"eyA9:Եģj.fF ɡWlMCN҉mv;~y$rcCzmRV(P0JLB=@7>*z~])siFfaKȹ"e_rIi&Å:t1ủp~Y;oD}`Hreשim+^I]zB}5S1tt[*uh?ei;#PHY-v Nx32ǘ@LvШ 8O!pС%I?P[ʨ%Y,}7S+r(V=[['ѢO3Moā\h} ;Gw]{d1ȓW5S ҞBj: 8A&)',XqMUF'!sͩup ,I7P"` TK2MUZ$mq̃qMﱑA;*R<_Wox@B=)*Z~%4i.`W[K'ξqE\>a=[fBwCt܇ʘΣ0Gcrδ^Qॶ5B@vkS&k0Dt=UJ;C\t^1-Zxji# 7꡺XnӣZ?cT!_) ?C E,Gp Ɓ i"SzCM;6qxgIM7f1T<Ğ(WXeI)msPoLoiC3[JK6άQ<∂󉰢Ǐ{c^(jctP?gTny}pFxpPBűmD/m AFjJnAGa#~;j:6Ak$`|GkC~͗M9ipQ( /ET(u 2HmzdD@+m6姿/L5TF>Wp_]YruTQWc gͥn{+'{%AȼEaF:ǷATbZ_NBHi#SC"Xm6bJtO2I`?dFA"t;1n] wza 4> GRm:pMSjSX # Fj~+aknG][m5fdΐ8@p[U\e0C[R \c*K8W4\} ]gU3˗ [:7O9Y.+ώJtcZľN?ێp]]7Ƚ'l>r'@tFfM+m'Im\e2::~29BZ?ݒzBTħ\c,NK<|@βp0^=r#;4'@7 "!/)(qJ3m!N?:,G.zojtQ (#R,.Q$ٌȝ̏%ވR[+MPq2ous F"*` k^]lUv\ګ5NyYe&" ^ n8N'DAbt[oRZkkg &+T(eAtq.Pȣs'$/hRkunFɫw -ڡx_f*& (5)ԍ:x鳨(@9z<+c †Dn}r Zd  'Gga~wl׶Dcb9ԳԤ ("! :eiȶ$ ͻAE[)Wخdǀ _7J0`R;GZYZF&כ[6w ~*_`UvDjb*Cx B 1mZq팦^a"8j^Ƥl9še/cg#_B.0DNp%z㕠~#Z BD)ШTTSFRF𬰿ʿx<ҫjV:o3Uqa1ŀ JXH9g$0 dpCb(n5P, L?I]tirq 0E1݉&)ڳJ;Q'1hi AtM+ҽ/z2[PCƤdu )B+8sr[,[Nd_K{9U$Vc.d9<[*d \&DC~mѱ)Z !e8hhMQ٘iw|`B"uHOug-$+B{_/46WXv90(ExI]# z7 uY3IžkiJEKн|o}ą%z%2H)Gd]C{"_04aN-')x3 m^-kE gE[Z yk e)i l-O9#%,2_ ð7J$zk'^,@<;h66h P.y{޽?*_f0MHs[ $r&3cpBTv;)>q.B&,  1GO Ыa*~gcIV'MԐwhw3=r֜t,pyXq bXН቗ކ8~l-${*lNXGle&uˋκAD,=9  rr0^Ad iX3n]#rGC8@;+"BOQF?,vkwH zNŒU)Y-1y3ڴj\M+ 0xD<*4g5gaԑR A95)wmtv]S:8Q]_gkIۢ箘 |IYQ@/)ÊbY%sQUdʺQ ,4D)b!%GWR~D^A!vjOԣq9;!XIYGՍށ70v (gگѢ8:ivd֘WJ’#h6dhrE/v?4h%eĝ@KadV:.6Rjl^Roj'H Fʃ}2]}7^"`eSFIPțV.~-cawD` @"*G魬 9ėl oƹ>&DzX(y_(A AƖ5 M*ƇԲ/LdJ;b4">(Br ,[6$s J~˹y YyPPxoy:FF/ _D@Oz/AUeT@燎K@24+ٍGL&p$^l4{D8B&]t *Q@RLZ?\<.̃ ~%nD\IR8*#-hyHT-g͂\r 9L(aouxI7qf57K T܁bm`N,+cGMn~y }I͹ 0-u&uCB߀klv]J5#qԒLϐ!'U!+X9 B@%w뛉mJ3`=ip En{^SЫO4g4fqP]*(;'Su]C)E[_jx-l*&Ak'"TssVC-د^VQŜ9q0F%G]T/y{4 J>/ߠl7r|_`@M@]﵈PffJ&n[j ^'3Hc%Qsc:_BTRF ȍ3Nܱh]G>݇T E nV Ys ",7ʂp$}l8Ny F[ʈ5t";L`A*$h !iбAڬa:;*OUFPump"[uvIIk|݉|ѷ]X^~UA͠]4ލiCqq#)jMwH'Ҭ+Q:$0L"|/Ѥ !Ze+k?2Ho $or6* X0)&N+mh)7A.V9]rԏi%J_{Ă+;fkj.␩WA lX/'`.DS ZuE:R5ۜ9~ 2ӕrW~xO(!%HXn{,G67C~/0,a4պ~doe3?C[0(D%)u;z?)縚d,BϟF .{0eİAOn~N" f^t Q+]̉8]3$|F89NPZC }_WܶgvvwH/;Dʳ8d|a\Gt:(TVgT\\: Kʷ)%"zLH_D&<\=b PXQ"ox-sdu~bz7&NԡH$0ffZ #krK$TKSP%`?YO8&(nC˪%oJ ]uVDQTcػWOMLq4k!݄\"I![{B'ٕB\۫-0^m>B&5-4:S쯐pHqhŷY}qiP{E/.Jvͳf,]#Q#.1 C% %MNcg234(EOpEvvx>H-~F34†APYX.C!G/ A*'.晲C# {]>Ax'V:*BM]uCAMltdb%{'6WLo}N6ȼmn尯b [bľ?~5%7T۱k$RROz(*<ʅ=Liy_=Rʟك3ypfW^V.h,޸.@EN@a58D@d\IÎ˾wT.r5HP2x73]4>r2]^^zs%BB+ah(cd }Eh,&޴{t.잣w-;w)6_I%^52m:ǼϞF""1p>$6h3?3@,T!86cGf+={ +iuldR|w-~cX$|%ptChwWF{43"ҾL8eiXM{!g6 ^X 1~'|aU;dZl̵D8":<J{7Lg^a?.yb:-+{3=+ Cp@BGiP:#ypLe)(J+m-^n{ Ɏ~ P&_`SC=/֙!o+3 IDoh@w̓0ѳz)2ժ"ZstŒCkT ӁN汯_p>=Buwb Տ2~7Ͻ%`h2,yC0M I\.@TQn~)c6H!GZ&zD;G/U }ta?~޿͇{K<|Y;%o# -rv̗\Փcܬ*C^P? SPc? \2'x4Zd 0e)˲̇ g^{K F vsv\Zxb,[,(yJSMH^p5x+T" jo0\G)ːpcH0Df!6Wc ~>rhJTU<,դ+'ɈMt~ 9t7K߹?+{"XA0@O͢~]QǾ656w9' ګ뗧)Nʓp@BEPV.89r,6Q4v{!r4~C<1LdgWr&wCByr. o>ERRA|yd<M_aoEJ %T.#%4񾺝Ņ+O7q}[-ein@IYiv0>>^Z|PK 6 -0󦴻`e},F=m T;-wEo%^y,,ܵ-~ :2fs#)m6!}2v*Nx~_{Lgz֓FϏs]2s'pV/rs \(?%5Y}_Q xX~G>#P^" FRAӚGmơ74tдcO,>₷5,2pL~ ן%B?4WR]9-+S`㐤wZw Qt܂ư%~G6q_$ڄV*6 J Sq![]"ܵ2v?!8xuՎ^FJd7(850jրW. i{<~z6Ԇ->^drD'} uiҸ %M k ڎ9QV D >3ڟtd#/1_ ǨĢ$ K~&YY1kud`F Ѽc`_lֱ KXz25GFaԅzw8:}O>-80/S4&Z9R b&dC '!t- 9P%/{Xhb枮=?̓|}~K*MWBr8 BXb*[P٭Q~d9LȚ cj8&YQPPCնi]6D&"*#}Vi}˶F* VrÅ0{x¾&{o4PO,cdgܞJL^O|juM"dkO8VqŵC=͓Έ^)8is̭WcqL |n䱢#8|*4P@ڳn` ꫃:jzj|DK]f2u,. thn]pb+" MI%"xDs2etEɘj瘝'-Xa:'O0"ح8X^⡃q,k pe3TVڑ,5SÅ 43:jMzϗH0r뺛*MfTR؀jGKTsEHק&2#R2x!OZi'p5]"lNTvڠ_-Uq [BbFˈTgY:2'Xi_d͓* }@8pl9~5r=a|oj'I(Ս FAo pZ_OQhgp xO-ڏo>j4#,T^p w=56|Sy ظnh~[X/%xgt Z{UQdd b"[[c(P&A$#SN5Vd ? 髆 eds C{]rƞ")HQχ 7?[Ds=2iIނ bg8;Pe:Y@E|v*/6=^coh(bOTƅ6=t3sʡ9z1'!xjb-u)ruTVo`aʮ+zzT5J=ۻI8".Et$8K aC k4;MLJ4g2HΣ3I }Z^/׎c? *nQU!V|:5 9% \`\7I#Q?B:;!PhЦ\̵{RE%I>2;ފ-g=Lj"cS{%XV\γ0Tw?0d=uO䊈{[q3yzYȶhka^يh`te(\<&W- N{gw25.z2J۹M0Hx{ʄkl[ZceneMup(J5dig,W4enmćQYn;BnԘKw-tvܱ dCv|yhs xKrb%:%7݅5*RE02?;ɛz !fNfra {G"{;poWv- ''  O?UګJraA~6WsʠqMb]j2`;c=ˋXm(.YokszZXS;I^'x&.` UCR:-IL<Ř=hxL.DC1.i-:$ dX}K {b&PMa+ K(Gv9aLA]{{E%%c7<$E)v#sd(ԁS#Bc>,.|.@tz02ʤ_-!Uy茉#=&@\)>nbB! |-o/ L:B46+:7j*sXS\%p IgU^[#7,pHx H>薆O!܂ҊQ(/XkoZ~W S)G0O<?N 6Cb,>`=7,kɔC6'&Wp؊lܾbJnDhtҪsBs؆&A)/f3KOsĠ^|BR gQ-BwC퀌[߾D/.6Y-n"kN6:+@&*&m=%~J\բJGg`D c,:`ȑa \SZ=mjzLL@ "::37\O74 N@XU^l 3/#noc]"lA nd- w=<#oǣL$Leguq&q _qGaV Z/m3l.Ӑ`͙P47k&4` q),N/iK-/yJvI6 (82,Z8GzPp)1*w',vm%G @.)j.1 U<U]/ߞތZO!kcQUO>OI 9{Ѵ{ٍ9&Ir 3e{IeꈾR?u;&c^yS.1bG:wjѠ٥Ҽ% 2Z;Zjqr?, ƭ*^R֣*焩|"s(C,h1P d8=ЙtGnN}n7+:u~|(F8'h/HPC4  bpEm_{i)絫=w/PTsjK :L k`wK`2VB=: (Gxl:5;v=ϐ9z~]@]]R Uٺ˅܉bfk}nꈂ !%jAOKq0{mI*<19<"lW$D!rRH\JI&Tq. x˻5*#J2mn\D33ql*Bx;[2Ly3c`sm$x8yϾ(A<0\~WV軃렴 auP Zp0}x_֫"V)V ;O+ iͅD_ W t蝣XhH:OjO87VjCfjbXM[\ݚQnFz2l vNKCXJWȡo={':[o$ǃ .y:JM',!AHn7|WzY|vMU|w S~JjQJ|,a<(76aIOӭE8 GtԪ3+BnФx}<2L$F0 Zq^UJwKb=>gd Cx_#@[_pV4A]e8Bb}◺~Aj'b$Q&r%d O/\UDFLKFwU^2>ݷb>OiV9d ɴCAj惝e_b:{ be` r>WgphkS{a Zh=+pQ/Ogy"=4%sv5o[\F7rBW(;j,Zi8YPazb>,z(ո7몝jN:DÍj="Z'*=Od9-]}~A0o҅ j(bBzF3GO%T L$ Y+ wCl}8PY[ec-%{'Xm>SF ᙂ,h 6?78 V~˵;nmm3R&@F DA :ޭJeVz5Fوb_fGFj&PFυ"4p˧]0ܚ.s"%M/jVkYceYt6> ֡6ZFT9fUxG-`e-/$7<.,a$e2XQlLvnp%ks'jZ+Z3y '**r[ cu&2Ra9^?`h^B@S162'lZث x{@FyAɦ"\AbwS]E1OM$ù|'2~q( )x 暉ayq-+?!+v-`vP;.w@^QV$`4q3[B28ݽ R5XZ5*WmqQ[ɜ?Z?4ou,SkQ썘niũd-s5o~U0/Ox?̿P|aTp#ܧK5w!Ǘag15;w3">ʀb>b븷` vx}xb+m{u8ݑr\ r#VXF\cI,0E.wŨr>~ġ|siKʒհWu'qg{1|!G㞄6ed*oBLV26^I9Yp:2:[DuWJ^ +3˭US H+]ꠡK'ٸX>Ϫx[=v΃G7UǔU =1 UP_:+8Ps}{WđجIѻNH*+{`85ߘחGsc@+ʻv[}pW<1GN \~2,Gի|BJ- O>wO7mgYgeRtϰ7d큟n ۅZ`kIj*'J:丨,(hݲ"r`{3d9ADyO;l?.Jit~+gojbVe&䣜~ ʙP<z[pTZGb@`|P*!9+hAz>{ -9?-k${*c1<&:I3ژb=͝ X/m)hykN0890Ej?.{Q %y~yp#g:S>u`߈P;Al2!Jn;ŃP`?BqbgaVg_YoP vW"a|kI~1P-z:3hG3׻Kls_Ah!xa+#ϰ}: fQ dȌ+ A҃ၗ;#S;B Lқx0re?=asn(BYŧʺs: łr?\YFU)@?S:!D0]r+95kiGL]%rϣ,T(֙ Cg{/ϸr5kt0kB䉠jUy ^Ӂ_a'V*!Xk폁Gk(3XcH#ft}KLpY<íw(Uf5m&f4mI?oW,z.ZLJ;bJl†}O S3לI{2.!@mw5B[Xcwfq 5WUUbi Òci1p o21 -J~$fTHG+ b11 [۬;ېfκGY Obo5Yz˾ȳzT1G+` pp>@xhҐŻ> W\?Ϛ_p":z=%˷!--VAg,S5Hl޶m)FNR/b~"SӀ2;CEAFz{,ď?Yn8/f}8Z ?#FTQ`!Oi;d &lv }f5IS> 5n)2. :@H?k'`q8w'(n19b߇PcJz_)3\yApVF ]Iaksuwc6J'ŹxCB`"$fr^y]ɺ> ? o@l(KVwo,( ?d`z4e4~J$!+gji,&zoF'%wokqqHv%kM'}L_YЙ.VNjDY%/Ҭ"%‹ɻLc̿Vk1Q ؊ܒxE T }|[Hfs!Bs l1^Dcfԟ:tj BēoE(%^BV"} m:[ xr7Ki\#y}(;%d{+eQUf;ZSvq?~\ٺ+ym_N$lhĖ28x nod_1 (|' ŧ&D{r>̭kFLE<'<[*ؖ2NV콓;eQԁG0+3w|oecw]%/2 y:hI*xOȜmt r|]u W̄ၬ|UeHq攦fc 5uIߜ*Ր Q@3^TS.{EE p>j)3<z7.rgx$ ~pRW{cdۓ Y&(ACh3[XNrBd L&t^` bLSeƛg!fà#柞}"?g,/UTn%pi;{_jeKLѽ\p ` spXq%ċƒPjP͏wФ4WqIsV]˼ 1s_׬U:.@t7*Š ^"=#R8 XB V^3eGܫB9o)n<%.;s$V ʊ-x'~PUD7vvijP %^4ͱ"EV )1h9-VMs:s# '@rRA`{>d!ZCɣ?'{q;_(UQ!uLP4cuԖ@vmipNsÌd|=k,6@oQ &TB}O-0LkwqSYS)sOZ୛n}?M u}mF/;Xq'@Y'9-?9kF`֪6`]M{*:Xc$C$OxL|o虷&ӀÚif쏂UT '#bKOJ#EEYpު<| b]{hS!n"ÙQϘOSE!/}If=R)AE/+VG,ZÜO0(I+м  @"CuC[ذBs PBG9UP=p+d:cHسG8d=_痝Q%ʪ=0䃦sbuؘ5h[b &Noe:K f@1p>5ِCR7#9z˟6]ykpkmױL-f66~ӂ T:gY0Pt=sQۼZKnV]yvsەhs_2#CFY~ PZ-M;>D5)D1 ; Ek1(8Jc@mB/ؼCUp3ٽ6BqQ*I_0 '2q*QS RⲶk 8v3R;7wI\ڪ8]~pѢڂ͓Te0a *E-c =qNePMlSlβ{??0Zpнp}~p٥jU6D?dXXa?b$.f{J bF/Ơk^jyf3J1gr A΍D+C=;8[~ PBMRztߢ/pobu }}"O>;&lZʊqzɓpZvzpB,i[A# *-ma3?9.TH{PXn{i{N}BGЫ;, {ueDjR,E.z;/WHDҔP8v-v/% ښ6ý&׆3wSHyaȘw1@HzW$I8ULri>(H>d uM}'=#Hb&JKf0]0Yf s,R=_̎7ԖڽLtU}}z~;KDTp<qH/,hOlN1.fk]'X V by}Aӝɲ a`pTËlk ŊLG8={>vPY]ڙ8r2S5T庝rRhZ/nw#)@ZsWd,W hBj u"ɝhRA ܰao;ylLDj,:1xRS*M ٹhX/|`]E[*VСw}MZgo eJ:rf&¢1IcQ!xeX\p4I &i[?Z#S%zNJtt0i[ĪMhDYu,@<5В83S_HR4yr庺mRW\T^eع7 3gvuE:z[jo8z%ݳBⲀЃ両"5v%3蛇5-ūK ۳×(]I@mL~rD7,c.W+Ph |3#vGLi2 Y*A>'ўg%-faq+K4x<ҲI? K.,%$(Nc-6wڝXTx>~||˳}\_TND"1K؀&rLf a<Ŏ]Vz%W\!cTIh`j>{.#@I*3ߌ/|J0&"X-5e4{dRic-4ޗΧ "w@tx|: io3 VUؤ]Θ@sWӅkq|yN3t% N` Àqž\( #sY*|ή𨝁?᭜iDT1HW@Ӟ~+*į:K%9^g>KhRbyˌ 8W,j D@$.ʆ#n 3"c>>#bR*8iq35S&o8RY&a)BnԜrz5,&vi͏9;?:YͳUR|Eό@|>##p_T$ԗLuXE; IZP Ê@_ #ɜHnBq:kFp&FhӾ!5p~"^d{L7bٿu|\X)9A\rM"\1rπ`s|36s{Lotb0OSڒ! M`KFmЅC[ 96tsѫ.hѺheTYhL`ɢerIph)Q@@J)$μ7ȣ. ]WzǓЯ򎊘=qEr0_ᏞY^o+;Ҳ sfC&lFi/)F¾JmF6&>+Vچ}>n@Mi?z1^k8جy6 Jw SIGr}~2A-x R;DS{Q1ΊҮ @("jbftj1aYBcWհep /Z# {2u$Gv8Mx%?) F%"^D=?m' I9vQ'Q 2Xm݁{sa!* HȷeHQMs.yP`uW$Z!lhmyW;0?媱AKmB=D 7Aͥ5əm Jm'ۭb{I"zз.o_ƶ@OVC n;ЄVIKI<ګYyUH!\1pKWn둷6 SV2 Pd{pkmXg]SDAfbS4&1a^ӛ;]kX#ek"8w0E)s#jr2aZY.2ÂH |c?0ϷNtm(0K2jȡxMx7 -~*l+ CBLE-PN |t^5ca.ʐJic>@rOC% j}צO#goRвEklC ? xF㬣Y=" "%VL(#9evܛ^мJuAՔ!A!CU8"V7Pޤhw;1$-9 Ж6-C͕4T"Al:́w0aWMgC TrX0< H'Z6FH[S4o߸”c/`h'G=0O&J?QHpRk`VLhiIIkO)SGt#xw&~2Š8\T-RkP3<` <.+;}uuG+>q6{'y29߳RBTg v?;UȖɝm'}S)%eF2ؑe-xښg?.W m?mKn+Eec7f@ ӑV>pZSưw6 Ww-07^ތI(lG*|GX蟭G{@B\f]Z@}Q[۶|Ty=%P=q?DBLA_ {n7Hc>XfJN1P jg#̴ ֚e阡^$%,J8~*~ax)S/\(߆F;ru}0ٝGϔMX?Kt3X08]B `OUPߪe-XA~mK͡L5IoP?6 Inc%n2wK LĖh>d{,++AYK=? Rƣyd&(VJJM)ӚExMu$e+/* rPh"@v&>0W d߾EXLi®H2AR=mDVXfU3# " |hi!K] {_\ٽ*Xj8>Qe%:{njۄۀI׸u7ŻZkD_-d |_*nDJ2W(mˌ%g[yST(&H yChC/4cJyV|K Xݵ:JA.9u9@\~AIKTJ.YMIzYn r[0?ǒ/* U x_-8ͪރ5bsi0q_KsFKI*-&nv}efkp &2K>Ya5O%MwS Y:IKT5ѐYM=W~ >0 !R e0ȵp̖ _7!IJgc-APѬϒ l"p$6O^h˧2쫋1,l`像_9y]ک 2 FUdΞ(u: ƩWs\1 ym,K.3!f {1 M Z<tSD!X'$cD)f+$MŶi%%YMer`T*gR{{} 053$\ؾ_a$FV(]90w8oEmb1w'L٬H= X&a&Mm%Pףܶ5͆QDMklFO|a;ӥkEU-Z3ɂ6E?68:zq`/U`/ _h4DKX'K;%#5~CZY=LJn1?g?2T%vϰ㖥SBB+CqBlܜ.6ɖXD/2]q4Yh]`$e8YOmDЪG̛=\/T֡>e}ڹk0|*BRQQRgn{@FCdZZY%j;sE0j \?gJ8L6."ZdKN`jy ;N: ߪ7>awU^\/}k uǠqPˢsy4T9p>(! '*{vJO=4Mbt1'Œ* ^b7u<2 BxtI.~UH 'd/,Y{.X4f7\K hЋk=~oxeI0O2,0aA*V B MxkTRtaxT"K'MX׮9t+ V2/WxzE$Lmʽ-?>=ߎ_iI2uyl~W6vQe7 卻'Ϣ gzy^V=!_R/yyvbAdBG(g$9.߬PjSrK/t:ewq+~lc(%!hXTI*_F!ū#VKgvt0}Z0Y~c~seۧ1rGDTO1l. + :H|Tnc4Z=Ug~d$2D(SC(rجk\H 嵹n'+gtU(T*; Nиy`r; d}6=+y4 49c"r?fUTP>Wo5)q KZ،qI9Dzdf\l qKe[=ԝ+v :Y@Š -"1 F*UjGA5W)_dtyɈ")k`P`OBă=,KDQ !5w;YEb;)½K0@|'%]z-u0t:Q(nydj l!`#|C%&ihu fu~Y&.u v½g{_hw-o"xGցxrsg9R̅_;2dXM)5\q' ͌< r[mabo ٿFW 1u<.۲fOtOFT0<+|yD 9r/b)KxGܱ"xhMgyA؂'~ln!ğ&htI6b.Sz6 av,s!=E_!_Vń~# B09 Y&o"*(tҫ;> ,67bi4fY}O:%3 Y& =XpTHv_ Sc5Mzjd~ ;R;SìVc:i#5ɟu/뾢MTZvE!&#|&#)+egXbacil~K{X-Q$ڜ^W_Tܗ(Ύ--ZKsplhNi%HO̷`^U| ^K=z 9uRڲ\ˆas6#!%?y}}p6T*ۦZۘe550TueynhQ 8QPPr I'sAtf5(QVj+?85.ĦjcZ6s+X<Ĵp'd`/R?D5Cx>R) M~QݻN tS0LsYq3ˌs385&ye yS 9lʢ}ڜ[It*~ZMr N^snqni#f` -lJ-&u1CMfDl[PK txHY>*ܳE|[7gwRA2 eEiGb"(pN4w JND kݛ?nҜ a&ȃ_lc;yZFɣ+ԙs DF7aNJDRkZPJFYz3 Cm^X#,tJ܂h߾lcP久aM:΃-mJW0*4=# V N$],֌c!'Y׮cYskB!Kz8e&_'o6oX0"\1. "൛nq|owm ?h "IL%NVZx>*){!ɠ;YǹYUѵ晊?ƲU>Hs9mrC[);¦VYW(%Mv(Xޔ5܇qR K#8J`|ԙ 69]M򫅝^ʾns w&$cK <*fAhYs_t4Txc du͏f gM|'S-hus}>|;ZsC! ]'O׳Ɂџ16u|MId~/Ζ1ͧE>v^DV78X )RQM#>}G0#QU;iL냩9YfA#Ϙ(>*#1$õS ^&LbJ PK  odtU߈D %@ߵՅ4%A* fT%mhv+L.B9hL3Q=S2P;`Jf8*j@dk&BJ@Q-[ۚ=O"n&ng{;G'n |d;="2|ҴOzm耾&vxGdnո Y2J{eQͰQUJq啬u6MGAPO5}.n4%*z# %  +{\J^ aIH [/)  SZuߪE5蚨y)A[.(ܑ!P:D m Ct ?.GOVA mNN~B{C?'PY"3\#=[0t*doo?"2Ƈ{&ŃHzw1PH2[\6]ΘZB )~b5fҏf a6}oJ x>XS'܏xF,Z3'BD!''jTxmbE}Ԙf*@JE&#K(>Gl]m <=tGU+2jvXG 9H|h5"Ei!ɰ'@NBTPLf{MGx>[O JT+×PDMTխͨI@v+mwGlh_ҡu}j˃x_*)Ǔ5W|aT_#$~ =+yku8m\}s{K C5{0%tY)Ha:u#ϣ5!(I3 @qU0)vKϞ-o+(~17SC!xan{Ӫ`׮E̡Ľ[%x ,-zi#?^:7uj"ę_=r:cpʏI+? yXoKՕ!} )r;|ȶܼ%j!>@ s`mQ| i{XӛP 0mu[4ƜC6'0Uᆀ$ڻLÚ"Zk|2YWEʰ^>/8Y #2q$+R? fд`Wmn_r@, 6=3-Eq<ϬShaM)O8Xlu$ ?Mo˦xAӑ@ E3V!)6LjY7''Ӫ&iPu*"&~<_ Kr3-Y^gNМ[;͉`(٧PRd4(LlK@ĥCϒ!"j DŽ,[[4VZ"Lr;%Oi۴.AFm<(=""JQ*9!< 0+ZZU,[hOt&|bg|o! x>, jNygVVWqOCӽAsf5-k lb?Ƈ;e 6~du9|.5bOQ. G8 ]IG47fI27< 1'nErR)`|% nR}g)[{ș%I??+-6̆XKr|P X"zǶ^R WO^DjTyfmoV eԴ#o~7Wr]4Y)=Zײ͂.i\5fqk+)|M+.6j5%Q~VD׌C#2ٲG:U>fylc^4es,t^.+ <3Ҡ!MNY-k%|=-rk1a|_ޠ6GI;bX_u>`!paKvx|@SQnb:Bft^ °cR;Ejt74joxxK0n1BMMT\Bm؁{Or9Wش zӤ,s7S x Gs/? wY-9jxi2@bZ JQjG d[ri;G0=G_Į#Gi MkX^A q(B]]_:kW@jQծl<;n '_L[*嚿=4sd2ZoJ &y(!!-Y㍎%˽ٚVICFdnq,?Іރ&z+Xz(5P:(+2E-}mC V8وU;OQ;:quWU:%k%ngYZ7zXZִF! @]ŗXiɟ1˦r~KunύNN{㯡9[47h(jr1z娽#b&6Gs7H*ylm1Ax8Iȟ0j XHDj8L 厯+2F /UE<^U8Nʵ^CGHHC !{,D2YS?( Ep Yuxj ^I:,]A}7n/ ܚ*ddұgYZ7zXZִF! ]ŗXi%L!l+HAh7A 8`!SۅxSya t̾vOD"'dkIAcϴW o_`;k -賂Ky>ixTǒ2VJ x9w] PJԥH<=hwD7C~Oo+X\T`4GP/JA7 1zT;g[WтES؈^d[/M_RSr8>LVb ]f.T"/`t"! &`yQIḮ`oS Ɉ6McfH~ԅY}@yHzlҬ:HzK[Xmzcs, >}~DӺY}&Yvw^f s eH w-nW'!ITHp Cz9GR-[3Rސ) 0b j cOj36(x м\^[Mڢ3RH-9e ׁ3xYO &OQ35- ٘/nznry@+0|7_d8U MaNtf  q?rF٘f#`i9]2p ,U%|Řo rfj8A#/&֑/) = l|#廻3R pQ%p,zݮ:btV-Vq+OB dɪpq̖oLcM0#_F]E0-YqQbm"d~`Ft[ҝQج"R&ߤQ+m =,NvuĮ"Kg ?wvZ7+{MSe_p$&ٽ@K7k a?,sxs~#Ðm0yw| cج ¿y6Y!K`( 2,/Cy6"X3-ιBd{d'lζoE azbyn\hi[g6=笹qeC0*Îvg$ PvlR)y")3@\ "--Cq=o ,G`d 6z3L x/ D#qt|1<ˡۋ.Ugec[w=,Sx0i,ɓ\v5yf@eʢHqEM76o,ѭܡ6O̩@h5G6!v$n>EMrD2Etx81` G)dl)Z&raH|[A? *AOC9C~Ξ# sQB)c{:m憞!^|?G4I1G䟚اiƘT]v^*z_mf?Iy?d[M}ώj9p@^5?d[2T.TZlSEʼnR}iwz:=o"VڟxfFsp8kmѦMr3>u%F7($PMtPN c3M ?Uɯ U^#ݶQݻ>h蒳_ν?L hQ5 :ʛvZR>s xw ԀWxS.F{ڝxO?/ ӆd"ʔx6$ {,&uI6( {cg衴x' (gY \P~d)7MSG&Zݗq u.J! &)n41kCc L1 $,.WCвuט~0g|wnF{T7lmث? į k D ˒GQc^#]ӄ/4SJ9pnd/~%+2eݶ}6@A6m2X:<߁&`[&چ^v_-bZw2= MHc d~noZ~۴$u a$Oxo lg;.3Y,޸dT\<;蘮9ST[cH1XIuQU}#UI;s2?г~NţЌ˖au^}_Ʒ@hh?j&tMϘ܉D#x+MuEK-)z0T>z FCmr{ڭ2lV.U]A}^+8!;~O;g(*/ɏB\E QNta,y c$t@Vl _jX3JDq!G}u+(B^t B 4F:?ioI㎶6t%(x=pڥʼn!d\$F4w\JS`EhV|_L`v T}gYZ06b2562cd308c6477cdae45266a93ca063930f548215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61