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   <%D,$ ]/]HOL-Analysis:threads=6elapsed=326.269cpu=1681.324gc=93.948factor=5.157zXZִF! R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$k76uxT}f@5_=CѸRY3압1RfnE%ހkP8λ .<-nnXEŸiYjEY(kowxzx=(r`IGUzWlGW/b$olA:%1z @A 3=_3;q@%-Z5f\~^TRKA 4(!q{8,?] 4 Kw>vڦJf8~Qb}*hKo}Gf<G'*r]8 d\ge˜A,< &}{H(\3ϲ`>;<P=+8MllKe3\4_b'H|CƿA '\S*"xwҟ Π:kl_@q?XSO˩܏팔>ݬ> pw!m khi6bUU>j.{WcWC3TQNw}9׆YfJUY 3Ae|"[*)ƀ&PjLW̟&iz)cKWD7*Io{f56,TXX^B ->gʼny̍߆z-j`~A+4ݑ4ltG2%!^ sX]Oٛ3u&G8YSx& ;Ȯl ̹ 53+e%6qҫ07':-a44 Lv'6H͠3b'}9 Kݦ҇&S{_ F(_4DH- Q5 vQYFrIeXxR|0gDW9B/E>Z77PԇqLNI߱d0E),nYYeA: "^Rjx 0!Œٜ_0xOdž\Hٶ`nm:4"|Bu *db> 3y`mpi x|& z6:{?ϑN.$mx U[`$wKp'</˻rcYsF0V6pzBh ,^`먏LyQo! KlT٩M!M*<t%\%PИg^ 6w: ࢔?҉4At r|;RW ;h|c{} $(\è6YpGL fD3b]W_10%|Fs,m)oR] 56n/z1){b|0*s;RU=wj{^ę󔕹QO5nCU401BFX+FP.Rkgy\,}J &6%E09 ZZaq6I/ןs šHI(үҧ8= GfTƛ*khL=fM)WiSK,q_5yCsv3EBF|7e:=Gm{BV`|F E}vRl.}M;8F˒*g!wǡ\m1ϸ]V *@SH?,OV % HOL-Analysis  tbetY4%82Kq֑9V7eV8|" j%7"Ǎ5 Uߴޜ eNK u0hА[R*&*vW/%3 pI4}V,]xJᱻ:sZL(:'j'8jt>=X)A>X%q' ֍2Y'- Y(8/=W1T.(gxF~f1 ׶Zؑhѝ<(/.˴e;Z!&%lOK:6li^p}#ʝ{|C3( )99ߴ*Gz91.[yb8(lp̨ lV40?8v^Wp#j [[Oaj8bsm;Άѫǰg0N\3a"1dvĘԌ>zjOPe;w[_aW>ƑCR;Ѧ{K%HH8047}!Kyl"3}4NHҳ9UZ_׵9;qApN]) 8jF6M=݀&U9C"EՏvsH2/ƺĉg]cGN&OTYs2hWv%gο; [Z[8祑3qE P=WEjz9[RgT|Z6%|˳!Xn<3=%Z5A ԳнBL8QQ "8'A 6;a:?׮$/ݭbZ, UD@H64{eOdJEnRGYFC7^5cHL zsGӕ>[NZ:ݽrlAjԨG3yvO [M/gP jԊGֱ!#SAI[0r鵟6GZC6d'\9^<&A*Xc,Ayw&w"9273҆t~%eqCk剏J {jy kǜsE6mp(䐫n B8o̓zNMMK.Q<($Eo3,5U@X/WdٲRk21e`Zyv5G{:rF+OULh}աn<Vt!'soBv[ ( }S ZtXEt&Hup5Ƽ ٥ p/3e_5_KvU6#˵ 喯IUU/ϊgx}sS9Dㄋ-q,xAnRVнw ._hG-7dCɡY,CvOHɂ=X?3/vaP3v/˸ Z/ԅǍ.q| 4;_>iS x!I1*H<52bQ׫_EᐟVM{^Yc$0p/e ކ^JQT!!d$pyڨgN\9C J4hUnl#E.۽6 ~my2NܑQ,SgWNt$HGNs?@o}P9m8<6wZ3Ic~=Cg ⊴洵դ-xf͵e%8529y?a8RZŻp-jIj}CoK=S)n[Vfr=p%7ѓ;KH0v8~ Zs?)VD䔄d亽 p愾LЩAwʋ؍Ce b w b"vF'5ew7M7Q ݉y<O.BsfJWe' kʹq h_|B ^r˜aV;p9ܱ|p51"_#-'sOphs[+B}f~y%؊(Qª2&$ukH d y P!S.bOZ_[m}`[ *`-qmm##Ҿ_9݂Z8̛:m|S9z>~84W]vz[9Q(K%M]~1Ev9*g(Q2cL_D DBu8E$^Kd.Qu@PmC1M_FaB;QYEamu^zb% 8<Ew{l_niϔB.Qx$(=YHD/rcU$N,hgݍç~g:hВ;3Fjs5H׀*XrtB4TS r1gp9-+6ט=9VWA_76Ӈjq\.z{FĥܯUʣ TkL} 1"ښt#!1-@9%>@ss;pԀ\Q?*~2BDe~-En &`5tAz;Hgz 1=Cqj'F)-oe*X Nen2/P%xBb15ВG3knHKMZb\>"_*Td~&p /@V"Rf9p;nQWo"ȗc? uM>ﺁ8ǘH6恰VEC˥k?mqG{v:Nl)Ő.,vG o[_B@/ rX1 GR+ 3 yO+pHS{Pa9.{fAN֦z,/В'5W>1u iRmQ)d W7?KOa@Pr_eM˴uy mҟ:Zdp Snrw{<ɫAGN#?/+reT?,FbqRf=PTbB]c:ipq}vUVZ1ήڑ^  FrsH؆:'<+%4F7#^ynܶ )WzAͮ7[%F۷CL4\?kݨXoz4$h3C(SC"; KqRY^SyL^.~h֬"j$#H]9QJDBa|&O!#_ $3śP>sgZ6j#g#fqBn9提@QEYZnʻ{J0Q㸟3VDɺ$ZDP88#g}k|V^~ `d8?udq쒰fw)㨌wwI{pfSnE eX-V]TR"OELJc?V uK9+uXvTNEL4>O6lo!Z^l.寛k %W%*Ň_juգs;]%e[ୁ mN\f29#pݗ6٥-ÆL#I[`^jX_Qlg)S*eu;֦i=gβJ5“{d)g ICz93Ǔ oW# 6ހ^]) ܂Zɯċ;A+. 9pm_0 odi ]-xںa\r7O79RGw{}v5^X>B!W#'+7!s/MTX%O FQLnA%= ngkG[鳀d1I~EˠY5G0bĸzOGMϞΡ (Ņf`J|0[y;_=Zov[5ɜܔՖ0$Vdx`kGRV鉗,yVn(0$!9T ?69RFgl y9ll-Kp,v>:q 'g=b_*0bFs Tp*=41{#: 9Nbŷ2g5= ѸdT*^Y:X$/x[rC $-W_z$վI!w ,vCSq?3%]ns$H>Kß6re\aXBS'Al*CſA;'Y`Ub5Si!g'ݤWhl0/,Da50maW%pS;jcjvd~;YȷYv|$9;98.$׶gӲdTQM1(edXrU~3SXG\g fr4[RV=Q*Tb(Fotp2MH9p؏4U ^O,f&לIgE.L@ѩG GLhhWK $a>FaZ_bZi+tS7}!DcvVn\ IU%ZW-epIy^ӕ!0 q¬LAL۞[PH2 _K^~|9)d(އ4pCW ]?3MF{c#:mvzOG 8.:f|yQ_ZqdpOK\+mac(34AEKS* QygOnI/ꨒƷmCɲ5\ q7Nioe[CjzIe-`j6>5V(w HzE \EA>(QέR/Cudyl+;xZmޞ_aX֭CN[\ex1Qg3t|rȕ{G]sSjXZd>)?*#ʏs-TUaqhՓhtf %% b$M p`pxwm V^b25ф= `7 )]&bز? ڢߡGf)(Kz5,=p)D \۰>D31z8Nچ-I{Mu4ocz< &*BSuk=Pch}΢\::c9قPhKCl<{(KsEs*&fQfQ-95QAI] [ BeZԛ/@pgu$#c!ZvP՛[ HT' ¼?m/n^^=ۭ1 ͨudV ]nkc>hGMR0owa *kD8O T~_ BlWԾP Js߆}-L8,8LA;(ypċUɔT sBǔk :w@:/IŲ_ŭ%k?HVd:cfDڏ25@9Gr)Jt^ͥhר3⒝Ȋ;^qOzŊ@IV_uB"pigT1`@æ?fU6wl$z%RGZ c_1J:+&ql∾ӘgAKqH讼@ N鱵 eNNID_ImK2GO\$(:4J9z[txTTXܾPousZ+'Sȓ.o>gCst;.V6Bt^R9P?P2F譸aHP4J8 Sq! IN12tFVs-bm7 "@Bm&S;7+aĹ%q2bPyiM 4XGobuXZ>pEwoq<䄯8>LS-`*\,,/l\= v(Onrͦci /kXvR-4/.'a@a(VEgD zB|}V-kSOTQae %aپ[#72!3B|P?L(7r.#a_}~b[A^oBz0Pwd?#trYs1\ArAkYw}ŽH<@E&TPW R!n[0xUvW,GB"7"ςOII=mܓ6bEV\od*28Wrxv!Z D?Z3J<7GPwW!IЁ`>)(s]%J#sRDvܒWwRh5Z, |{"ЉT0p@r/iJ `$]_P\H5h 0RSI鯖ºk K.MA:/;љdKy ó:ۤq8t.MBk&BuilɸGhNnUqˮltr<&[[SM@~o@NBSĄj'SWJ#Z5pb}EK`V޼][2inX`R)rVތ )iQs]nIJY᧻N1[t;Wyis;ٍ~|,( pO!`ꙿ37Ff_R21u10Ɇo8R}}L"Tϴf.;g9 8gsM*#ĝ$ 0;*V1mD$]q?=@Nj`7edY⍩yR@;5γJ1Xg>Ӛ޷K[ S_ -@CB"Ʊ?Rn֓ B,n5͏\k4#bJmT#$y:5sG [c(64ݦQXf'r0O+?/QTooT;N1I(j4h1sK hxD7eU:!H4λ8OBZ Ѹ';DSvrݫgH?V_ZU|#,ŷ~j)[43`Up" .+-B{߃ EV*V|.ch^K@Pba=<\<'oXM2G^^i\Tܨzs)4/`8.me%0ӝerO>rQ58?S#1WUԅwBw'ϗpɜ &WԺ޴3 vsT<9[6#ٺ+_o$닐#i=JM#E}3&Y 5#¦>.am} oqZ{t!TJkKxӺEM0#_Y*0zk{V ͭC\sbA>2>F}zU1(2!neאV|5Jv<"U¬jnٟ>)45h>  !F 2:{Gaw$P(,qU\fy.4S{p[?NE{jl2jmIJS=y2+/G wrE?xeY9ROXlJI;NQl#LBŠ9+[yjM.IG2 C.ؕVY`$ȷ2x]U«E5}-Jl(>*g{OSΓa"y/YEfp.u~OU.묝2l#5]9#s*UOҸP.;M; >Vɧݑj ; 3qzg{&e$щ;R*^EUα|v/dlY4hǞ(/Nfhw͆=5+4QҔ9Xj8VO#a18ǰ?&>.>E /T7]:Oy<'trql7^(%m- F£/XE=|{Fy41<8]&Zd~7xjHYth}롐wq ^w_&iDf-QB@?< POU7Iŝ&jkFȩ贉ȑ@ 9n< +/+!C¹d^#ϓSh h)D?g k/9Vʪ$98t]TFimb*X Q4:a#UFۼ;zauQhkH?hEsEK D3Sb{ >IVdwxN6v|y+ZZ% ^:ƑnUHE)2]tv}(SCEXK'UP[9 aळpO &M`NJKY}ȏE)3UA5M4']#?3/Wx4vT!b*?+W7W7GkjՃß8 wK(t$3oTɐqnb⎛ȔfwmV4GAE9HYǞ< HzLi 3;2sF"*cV:ͶD (58</|;J rRvcM2GCUkfU܊o6b㠛5ʝ@ sC9+*yʣ/ˊO.F~53bw^#8X畬\ƀ' F4T)F;5W&BVLN?iiF .BʪxvBt 0UOÝ,0@!£]&V!R D߷+yf⯻UO oƜEOWFq!}^w#:ю~B^qqzl  Z-[߈/p%"~뗢Yh}Zfs/4H Q)UOLA6LX'@Y5öx u9M*msHđUJo g^m]{V^y~Xge IA r -Y@Ål2YsG9)NiL%J< ֮a=2r?%ٝכ Kr[L=TXi2p^-' MQk [@N'71>}L}3dX xgա}ψ"ԜK~IeU3Nڐ))+@@ s=|wd8H=,fJ@Z"5&’a9!gSG*YsOoFB#)-GDaнWFr:?F)NvQA.E< I:H=@̉ a.$sHn-fw>>j{"] '!\v&0[Bt_W&!xJQ5?pUm 5SmZDu&3j Ew`$=2<ޕiIݳ#@N?AԶRک}Q/cWןK=8Kѕ鷍n˒1qsH8Ih AlkٌϏ]d07%t:6ОģK-;c[>]'h4|?g)Z~H|6:׌/rq6a.kW6xm8(ˎE($ Fv!݂{JATtȐY:=}޳&::/`'R/TkP!H3M[W]G [%d㰎޿+JCwtF϶E%u El'B3Z -)lP1/Wad O&it:mWQSǷ!Tz5!`t:~/gva+V6m}-]ЅWd\޻:qUJ1MH4vZ-䚷b^6h:Èv{ޯ#{1w2Qy;ɸ9_cX͹,?b#aq(od8)?K G "IhvO"EtmO XItg p_M+\LGx 23&.ܤɋ D( =Zƞ+Kw ?sppLs"Sl7CSDžIEd͐FvFה'66+c Hg_ !#b(e `hoނ$ &P0(y̿ut J'Iv*(LPWs4nuY.!,ꗅ|I37ʳWmf0%tzW\v^,x:PuXaOr:#hiOONhgh ușݠ\'_]L] o3/{2,NNƤк6Fӄ*^m3H^ľ{P'6cu sz'wй)% 0=+7f`@0$ тԀndz >6^ʳ?(HDcWnm$ALV&&r*WK4CE~B?کK'w#uobTaMWesTm]SZHZ[vpL\qI  \BTCY{k,~MESdmQw嬭}]BFg֖➌DثL{ZI=p~0==F"N%\ b3x MwTisaDjZnzg:KBs3gKC bʄBIX `k%䆫?NqL8F׼_QjXʌk( VtEn|X'<&ǶΧ3Iʴ 8И*OP u<-;!$lXѯ8W?yE *r֏#\q>r .Tֹ=ٙ%n oxd/cd,ŒFBҚ0jfL4D@K!ḃK)f,¾.$OɊs2Zǡ̐SVQ1.ˍbB~S]>{іzFS7zYQpݸ++dłZaN*9Jc7Dw#AUD hG[TxC]WuI9%?K 36EU[ xg$0>od.2K8~nyͱJl@d&V'wMJ}*'K[b͒/1( Vsk}G4J3p%4m y QqRL Yyk0=u09D΁VfO>㯼V %Ehm%_KS4883d07 ٱQݱgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4!3Kl Įlڭ)hr̨oޑRP?~jDr?0:է6;zf%ʂ5p.QH J'4B%s4Ɲ$%:&8$W7CHu!]}&E]>w&_IݘhGUfMtNm k0xa7 A;/#ɼB&>2U;+`!T^L-E ,=.>hij&"ҍ5ch/񤓱ڡ&_Wl8V0lOsnB>zC^+#b!RLRbordm埰*X@x-.@me򞳌 q' 4sw^SnGD `V~߯y\$dM7TP>.`!`ޞ9㟻eR3u vŊdPUYFjpcTKGz?Jc ҹ.)+P`1!8L-V[IC&ªBV!];oH8ӖÑ5՝9iQ{h%YmĪݜ?& #.KmXu!)?, [пF R`jy`3; 0l_5]Y eP[A% V(Г\*W6eCڸ(;;ơ0ʋ΍4u6۱. b"|o G7<;T)^bK f+~&'rqa@uS(,Ghc}ց=%v}Ap;C?f9̃*T~Hi*[<] i*tNUdPjpkl ,=L.%aN=ExW@9 ߏk<HGdFVĝ-zN%A"(ol|C`>GKCyY&84dz%Z16q/A'UϻdpuCyJƬ{޴,eq=H@&R 7mZ#H+ ~аA̝}dDK icxŭ.ua+ ^9Lo9/Ǧ^m{-x3 y@KvhxhUsj[1!Pm.@rg޹ȱ(TCMg,eV ,VL%;s )nC%CCՠIttJ (eE^tM~D׎|5v'Sj8!dfҞ,ysUt1 f ؝Ե{6֢5-|UZ0,_Tbڛ>&~ f' ;@\'[0ZPF.qH;biAi158/O zL΍-L5E~bq_e #gxAC,lH`Y fj1;M%-b)_7ڰ/(4`FWOeAR( zޓ j=KПa(֚f#>^h8_^sQ&ūib=/(a29âj4bW ޛM]MbxA̅ӳ+-N3F_1BZQFho4ԾNɪѽC*uX?yщxZl^o3J#Xeu{V @PC̏p5͙XUȐ.6l씍|v" @<@?;\E7yBD<9Bi8|QNZxD>~WCq/_k_ Dh95`t]U'BŬF,jb>s UB9r[rVM/L,63n+crcC{=N wMo՞R o"j41VS#{UU|gY|ۂ;ҕ \,䱵a<&i-f q$,4Rk8>5:s`q-bҗ(̡!: xיZpF/{k;dlͦEvo[mP/yZsM'A&ѐ~Pv Qt* DC- gzU^Uݲ1X;dE#h%V*"L} Ġ2PQ)ИDU{UϨ/L>Nջ;թ^Y)^IQ〪_y@+ oFV|(6`-d? QG6V.k9$Z/lig+J2L1oPta\;x¶ !CW߼3$Hȳ[Ki5zXo*ay8Ձ2~ǵBrp 2Av9l;oBQYvz<45q_ZX5B\{$gka}،lcNw`Op8wئ4^XDž@e]OJ5FQ?aɕNtZiӘ,#QL};տes+Rx 㪙i gt7iܺI \:@2#kM/N$3?jNeܤH4bAu6T#"cBȡH"7./'btvnRhsJR^f6\G.Ĕ"_dckwY$u[Zh3M"Ql@sk~>x)CIܙ!N.wt^0C3-Lll뤑w,>Q(y9k8D.{E9ᕧn+KtN|0ӄarT_6T ;bIĉVbx!oc]ǎdd <։l 0<Ru3*PA$_ڌF<^CSBj GO}y!SsKL2v1#P @Q#5)Ñ"Mj> [o;^e "НT7*,Ff֦V\B ~?lbNE$3yB}GB o81*VjRM"Wlӯ(l? }~ub,x\{zD_ex?>\E1li0_&큫mK<Mh CM%k ̶y!%?_܎+e,zhtvr,ܩɣ *ΐTĚW:`/ 3twvsl݅ȉxQ-t5ڋ$#v8  mG9I 2Ԟ ⤦d81_J!~)|J[lJF4|k#2սQ:+c0Sh2 pxaKѡ_n6`k}R&b p2o/k0'wѰI"BAz+UrV8Z{%43RSA+Y&p̬jJl+s9)}Y` 5 n`p[][2xsGAabQMʚ:aDk`|geqkuP{e}S"ڎ$=K FG֮^k VHMY}Y3`6̙woU%;Tx>R渟uAFIY5Fyj ẖ9C-Wmw\޷Ml7 32ٺ8w%ϕj`fvc #KK4,XDaWH<V.wefz0]D q0EJHeط-5\ҕ>~wX.4a.p~/鿍 Gi~!XX0 р\.h_+sj6O9ީ!̐;4{9PhlàڣCRu7*1VkY[ R=:}J) (H3jǴu3NO =؆Є(snŪ~bUs/ks6 Q? kK{{EjSsdjÚN8*Uh~weba3jF§6N;,84K[8[TWJJXJ 0g fGs8&ŲcSLJ- fs >ؾKYk3ƢqQڊ㳎ioT~ @g}lJH҉ieQwTtlB~Ak ]\=@֗r6В\#28hTf`>y\>,#s^/:UJ/QͶ`8 9kspvD s(v^Dbv7ޥ䛼oHAq\~W= : 0H /ɅO|f]*Isa 獤݈15\'ʳxgknSN_#o t #*KE<߻b-ęn ꉇ?&mkBŃLQ4v3roS BhـVB=̲ ^z3d,D~GmfN|$<¹]832x=f`2AylXuU"EL؏)?ݕ=b:#P9J催ߓ(0ǁNسq"`~)3UEx:o;l^Rbk*i_kp T<o)V|1'\1 9lOq?}So=}S;EeMT ŧj|,,Z:ӒLø_(jk;r n-BmG2pM*]ykzqElXʧ +&2!0TĜ@hq#Yoາ"r/v助]o?檎ĶTs6}F8 >np`ƚ|ln (pÚ#Xͷ‹]4~4UoKJiZ^5׵"϶ÇLc&Qf\ ?h:zY*'6CmP`0N7RC$P 6-%Jf3'DPDQsjb*,jQ-K\d˥Jt)-Uc8y*ie6OqFVHB_IbN=?F|7P ܏a9XWNZV?yf͘閒Efo@IOno>$oU'od&*B>tQ(?+2C$ػ瀻G_$x6]rNd4Hף2*Ͼ*|aP7ǚ <җT};PbP pߚn܋i1^oaw+Hʸɚ"FY][t2V |S͹$L[RAg0PE-"E&ÄQRd1A*|~}(F᎖u)wFB|KJs`@ PGU .*?IA^j.NP,} )ϜzVS\a̓HW0%NeJck#عtS An$IILVuYmҫIƏb$7%84b16qe׌N?XD]T&}rym&c_Ph_h2"GÃ˫a9D. 6^YbCN ^ÓmBireeڭ4yEɾF2pED`n+!S<"@EZ5m&P Xfg`#ȼ1$0Wq@C}a'zz~VZeELKiTHxi`F*髲(p_l$߄@Ͱgzʣu땆xK]wee"2a+DǦah ;ȵmG ؤ;ufvƔ湪f m 4AJߑߡQ]SjrWʍC c!m'34U0gA%WGx`$quƏ)݀j /JٹeBb5IX&WxZf1}sl^1Cٸr0/ӹ}A+^C@P/!,F;fd(: PaB'BٷwB(lu{"x7Ҍ J¹:ÁEL̞&A˂ٜQ l)O>&8EL4Ar=8YH4d}/oW `g0t?S}ӹ7hlE3|x( 0q JIkIDeDxh~MTNa&W2vie_ i?֣%O.3jً@nfӦc 0#=f3K5]>x8XݐwHq1ʹqVe55ܠ/ !n$!9}&FQ61N )BgI0DimۼW X) ;wiW LJutD%!f[@%a co ,oW[ dg1l9/i\Y\xgǩ!߱ p#ASA0!7C;=T(f6)m" *ȭ*eGH! QiN&/6=o),܃.#!+[A$0u h"jzqpvU0G i𸈟!=tzD/B+M7BZXIt!!/Rh /,DZ8)mYK`% {X.ۨ^z9Gh F s WÜXГ} FD~+9!`fꀩœ)=v Y8GE\TP5SN%l KX^@DRqDt#t Edg6ۻ6v "QQlP27 S;\R'X$̋;L !g5ξXDw&3lPWv&+Œ5zLNa1EqJծ }# p?x_Kʕ UOLuv3f:9j(}drВ"%kB08Ja/%AH w E(ΙquT񞻤) U(׈mpya|} tk":B(sUi7V&|[_h ;Lފ6[߃L4lG8 ^S-{&s[0~h1pj3"+ OQNm,)b!RG9)2)R* D~ %m"A]2rdP}g}|\n]u'N=*F<9c%V?Ҕn<^2ة&2~XS8JZm2ݱ$련QD͢ CV)w),7٥uQ9 /YpMϧ^26joH|5F֬3|9h -۞{""]~|u 8vpu OHe*sd2 #M.7)57++u rH)d7HH?d,JQ)(y?34 ['lChᾲ)qWvguh,^RaO;>".a^3u*LvP,S3ǹOl[^J,#IY򖔡~/PkQ+gm`4{=7:=G#Z)[1;mem]bX^ڌ[2TfB_u)JLx|BqHѢG߭ږA-'}Fv5*v' Bs>=NIRre& ǀ$|JF&03w@Y0kh3C*eB@ۉY쉣T~К?PzgwQwD| 9|y |3y"غK5C?+\4Z/:y>|&sV)7em/C2.D9FӮK_DYe^]<6'`l{pEV>O3A$,sk4O -UOc"辐 ߮Dk1dx1U ;eI#}#5U+z' #WYtZƨwv^ +b8!JBy #FUE-7jivFjO%1 t3hu[3($NiO)Y{J мtxb=w%>=0$b{a8'4"_D 4\zƇ]ǎ899 ȅ3ʣwB$e${U߸!߈K9a`>|1N'-MDdc|;.-pgD풐!DqwQ} LglֽOae:zˊ FnƊf:وɅ+XĦ2K˺%xx@2nIg.UpxѫC$4)h >+be~$)]K@kHdbVim@glY~țG Dm6I0eex= BlNn3Bʎ3LaL udzVz_d rB3S{2/'9CHfAB7\N)FR`OWf n.^]e"!wp0 &ثxX jOnJzk]fa+~ u9aifwF\[1NoVjpTռBYPa?Das< mB&&y%c,SEa(Vڊj9W02P 91PrMhy_i gie$7 hmY6Q8BqƩ72]X`j|9܋2az+^(V5 mTnjڴ>]ţ,lE/}M9/ YCAVxP_M͸G5;O9l;,6aZՊ$rώ7:m;aeZrTJJZj4C 첎ƤT5BtW0Ju.qaa5}ETX 6$ ޾Le3,/B ޗGV(zҠaƎS5Myq'^7_!7X5qy:L|ЕP2 -n1vae|FCa_Apђ6͟nJ9՘f&SXKX 'V3#?9$VfKdf] tkaZHܺLTp!Ai]:yЂ2vm&6Mu'"Md8F4n^+z72ձEѝD1mvV,ر6+,0zTFwPj[*]aNePFRLK=g:>|:/dʪnX7pGE- pMnU%)mp{.C(Ƥ*MMn:I#h\7 G|!p/)z*th#oU+>f"4 T<(Dv}nǐhmIMA8ΊilĄʸĹ*T_Lu٨u 7!!ks@SaQr> T"n5'&Jf!%f`kn`%dDs$_S!Gt qwWyWV+{>Nc+JMx7󠫶.*+鱬*&ꕮ)Kֈ mB$: ^r{%Ao#Vg=TDd_j=>b k[p vpdDvX;g .Ұ FwMLHx8`[-{)&㋪d s( -V-i*iP+ҨgG-UE(-$rʬ;]ۈ]|@m{&vn;ΰ:n@!XM_u݇twiY&m2lhx&rf><hYoRfC".(3go f-|ٵuu?4msm|kQ)'FmY_<7ߓQ@?J88"\ %+-+KlXY%$_ LF8<+^ xi,=lzUPÀ#/h M^,%U$r>|g2b/Φk . Y8': (U"i Lx_?V v)Q ̯a! >ۢF{Y- FerƇp !hj]5Ĥ]̵YL\HAY5!2o es=i'?nLy=Ũ;uYiWqatYn;˯:wы>&U9$(2N9a5AzF,(*X"*]zsRhzR=) yqDM^Ω!gE9)XBT/릫*Zs!f2ZAsBWi2R+\1&€4w4Nj=ӏ8I&nlb 7^I86"W("-|`g|ߓ: (򀏜)A>OfTl;,> $4c4F=w- \2%DcU?ߟ3Gm|&]DEq4:!eE49|#T?eUs žL:^__U+l|r(kb<.kb=@PUTg:҂>7(#FnRI@{@7|~աOziqIPt bLY­5A8X4<9`}{䇁9d>jٍmk˸#[BQ11W虌f&`f0:]bpN~q"Mځ鼙mNA58ucfhxJ>b\w-rI?(f.eB T~0dY=_Z0cs@toz>}uq.QuEr_eQ, ZFfq>^ՎpAj2j_ ܕBb%! !H: 9Îf/iQuvCƒ!nw9Ӣ2fUȫ P般*їU!mM.1Qz}Ӷ0!R8Ao0D;b!sؑ⩮n3VȨ,%̙tz)v4Y r?奅 T^Cm;vWk;PE}D[oO/}=3?3[MQWWg-/Y wWa/"Dƹ-UQ(bbR )HPcGG>Cw"g:k_gtp-BZbN(& ,J^ ̠tH~TxnȮ:(䍷\o?C'FĊ Όb@j%#Q(}n0la#Vՠa䶼t8KfO7O +p!YXljـ- uҴ[R3<%EΌL+,U24Q~#Tل`R $%]1zGr&u9*/B1͹q|{_p6+"ʲ:nEX{|,kϙWS1?^SƑsjzWKLKc =q!1LC"I:u&THRV3 w2*BI9LۣLx>o9V9kq9L ;I>"e  Z1\.3;ntozXXv[#1(uG6:qzQWp奬G~Fjh |OWFZ.NЌS:ڐ[ O9.%nˆԄ^읠Y{%5HqTDmWd΢5@]3 .hAJ ڍ%xn5:8 `]Glqx|ыJj t@ĕLkB\Hf Hd_) HtN5܂BmƬ^\]H8{K]ljU_zdM1TC6-O=V )D d*?wtl%v-6ߗ\®xͷX}c LZ?WIA]%nQy\˚.\xhLY6fX~2{VK nRY+ajMWI͉)!#5,48S<-v9Nx]1{l_~lh-܅7GMi4&icH,xLJJB ^ӟlNpŐVS;rtfkm[q"}xOKg,9F1'kC8˩{i+f_o#nEiLZ`m=QkUJ} &jGK?e@exb)r@J|pH{P; EÕ|h.itH:U*ՊȾh6XxQ!k{-}Lؒ3<Ɉ":dFhaM|&v`rRNx}P)oEDecΤy( z0` a߄bz6l2.6]4`UwwHt}:DH J8 d967_ڻcU~۴~CB͋_Ah/FI\r8CkY&U1wvt>Ɖϋ䟑.r,^SⵜO=36MccGͪܓ(>@XW"P=~,=G/6 $[KN7W/h_TA5/,s7+q b\Yho; й앜 Py|޻NH1[0Пi5-,>e6 x{I*=~/g$㈢9ZxA "MYXzh:z+D7 ޔgG3+_*l҇LIXtkR+1!x?1D$ Jfc`> MSk'{RD!_0;0C*XtuYY%+h֑>K,&GG<TӖtsሊE A0n@2Mȶ7yw)ȷ} =tZJV4xt6^)og&0ϗQ *CH_X{dCr@$Sj1 󈣰wݙ7j"]u})u .*=9ϼV3-[] :BqO iƟ. Qvw]j`٭hB^T{3d%tarxJwA&ļ9m $q#itD},~| xiZg"񈔄:}Y)qEo_d>de,)FS@ y7^䑒> Q";ő?& JTEIߏ|[ސ2g,t6VQMWWh\޿ʚЌ|b 18{&hg}ŒU$LtIL[+D~hOo5_XOeȊIqHg@&kGSl\-߰ʵKËfҹK?FE=yMC<Ԇ#({ W)c`桨=~L1b ոWnkNTR1yN +})? %.b,yTsDn7YWPDp6[Ȥzyg" Gg#L|QKڮR2]:cL/̛>F[vTl{X?F7`[kwJ N+69yf+2! >vNJ&O!*(i>yk:3] u`&Mg_\l0Q*Kq(/lK t{H 3 b|ɾ-A5cFj;-1֪ /4G^'r 3o舉A#}hj 1og5YcxDnSo6D!8Փ|>eTӷ`kHCM*w{]+4mb.xU}lp;g `1 X%$nC5e xP$5E 'ZEC/E&(B9,N;ֈ3I=7}90W K>?}|e!:[MrOVR(duͣXǎυd*xDaG+7YVKHb}<"*Оv1 P{>˴X:h+y ᰢ$Vx؈; VUe]@ vBfAN·E|)Pm 9JJǿ_,EI8*:Zy$Ҫx$+ u"\5.fgeXl6p,J c y|x~y! I'[ȷf%Wx.+g[T'S&&[>;6S_N1n+< g32>}<ƮA2FQ|]MӦ+M#{AWH~́-+~aӞD>{&2\ mfv*SfrL2 ]bJH Ύ̤-CvMwK޾lt#IByvUzʵ5Sޥpǜ  3Q8`(Mno߽A2U)SBr Tͥ/lmt=,ff$mD&s*PFg*.޲3,s4jΜi^UvAMH1#SQ)/:>LIuW$dH6ˍ`=,gqv+d/{wl"yCAswFV"qڢQfY1E1<y|F=ꍼ W4 ѳg ^[j_@pkJ6➧T?y=: (q>-=>`(A?MҜn`M~룖.xݞ޹>Y\=l?g:,X+$jjS2gB#к,9ƴE(zN$?.M8>47gGe9fCF[3̒tgu5d>ܩk,Ɩ&9m l}q~f]s(GN.zCWոɚk##XaL6PZԮ(4~ +fhhL) ҆ęUѩ)턑zu P]ՇSeGKV8WZp^-TF{Ll3Y+)?VC̱ݑp%* K9>j2@߃'fu=lv/+4$EgV 6&4oIEPB6P(j#16n:SÛ/nEr /LMC'dҴ2ܔI;m\~BIgck-}IѴ@>(XpvXWCsf9RgkIZZW4z*h 2t1g}Pn>YcP&z LPV`cn98s-XTF0+bc q -" Mi .Kui {+Sc~ᡍQ.>ʧ踕t-Ք?:D>ϘW1p6@Т$UH;n$¦"^ 9si& K<% ˺n84(L'^R)-$?Xh=3[?  Zi_ͮg0a9rW ϯobs<,G*KR;(V6(exc3ׯEV(ՍTo8HoBH%z b#-,C"n3`_ؖL!\[6W$r3xzE:-QƭrΓ!qO~iYC̜Tϐ~"(po?57<5/qIsD5|!.[}ck5CNGx"iN/p *cD (i˭:@ HMgztX*NXY(XrWزoZ?D~fϭo6(>)T6yBı'a{hI4"| %RYe7A*NDvR5>_x)ƙU I#c "ktÅpzQ9?!u7#`Xj37{]>kisjgl|QU1n/i\A`2;;f|[`'oT@`$dT{H+H 끘,Jpg$)xΑ8 J5q5+V4e^_,Z4 g6khAQ078 &6)Jp\$ m7!f9.@EVĀ5++,.dO{w:^cek^Q/kKi%-Fu6j@s?`GA쓢akkALOg1 p ud-2EExbsm*i1IvT7tTW'wG/sPf$X$%e.-saۣw{UHàD&@Տҩ;#JbW%k3tL&0qXpyi ko"Օ}ׄNSy݉%8#Uq)MvU&݉+S4ö4fOvP~ -X; O+:Y1"F#J{g_~h)׺|u"/z]h*Nc}A4FW۹((-lIs|^ֶz g#Gm8b5@M!gqn8mN4X6 S?~*gȭ+$TcmzcPǭf<DNRᰠSfiX[THJe @fD 11nAWwMfkd+k`׉ucSie?6sFaPEtzƷz| (bSLa W{8I /6ND0V.ik @Tvr`H]tpDQcsGqWff͡tckGgA]8lZ|YZ~%8W~{@Bܜ'/8NDFAJ sxjtfoaQpM.dآ,J`-s:8<TO"c$I6|ʡOPl \ 1\n.M4Z#'8A.2Lg-%z[TVWZjjP߰ gm9ID$|7*#GD&JVPc9b=:%At䌗cR.n)iO$hLupG;Av(AuO\[rm~!5L[mh#?P2H}F:^&XccB8 R \ >6 33wP*V KcA\mEydƏ sʄ:s*]i?4Ws F+ʹ?nF(8r|oT| FX ,auSM.boůI ;gq 1h;R9]dYmz~> A[jc7GWaHIh1Tʬ]S^2,lx{m