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 21L$\ ]/ HOL-Hoare_Parallel:threads=6elapsed=65.319cpu=345.856gc=7.232factor=5.297zXZִF! J_]ŗXiɟDYK<;jFb7@S_+fe27Fmc34RjbXoKϬ4bX}5 Kw\)KٓjM)?GCWP2=dt*f}DR磐U ו}W%H3ߨ W8hF̎bie( YKveͪ`P,Lԫ =-L F+fukg޽MNڙf+=,A^Y/ d1\RR 꽭ɭ ;+8;)O2ʘN7'_"TbQZf݁~}b{/u1پ^0v"F DrhuW̅:)1)ɧ{h'掎U^ jٔ=JdiDN! Bx&_xG<zAZY;1Av7jKp\Z^X9g NiۺÚ{ lEJBh-q61׾)O#Qt.xĹ_5Jl%YPi7šVsg@@V :GZ/Kj MbIG~f!Əu >дǂ;뽕9 Zf\_Qnub;.؀δ:T ziB^!5vN17@y;u:Z ;Lk8M[@O=5abhb!6Rk>Hšzz>94{.^Wd3~{=!<#Y $vM)^=m>EDvA)Tx}A\Q8 !JERBI>&/ih|vi KlM9T |PJsvRIXRq9d$^ Tʸ U%ӡZ"6u!Nc(i)__Ōkw@qċ&Pcz'QIʔ >`l׸GMH3˶ JKnT%\35\mgL Uss@.jBR2]kxe{D*g^rWcn2wC-8۱6[5|}\2;{" hXY,gα] fe3I-D%e ɫqWGe1`g@bgйy>䧦 C?JlW"#]tMv)J_v7bkĎEA'z`-)8ٿG`&B -"; ӟI 㩄Bzic 02_#\LPh~ֳpNk":} eyL}ճ(,]L & lخ%10rLCd8H(Ǒfqĉ \TV-dA7GJF*OJBbo&~0Dj!NcOg>qY^:x"ڥ0P Vƪ!*Ы\ɲ~qݸ.Zh-c8O TqpC8ĵr="ڈ vgbh 1QZJo?$R) %G6"'RfCc__:e!Ҍr0mhXs <ۊ`ݽPl_ǁOAs#O3þ2CX3pS_R.5n/x%(xߒoC]?~{R0:*iyCg(0T㴻5#8O+SE0~2[WtcϊCEtB392o2T`qVÍ+[\Rn݅}K'dyCXDJWqN `Ղ<"W';[ۍ$2+@܁Z 1 HOL-Hoare_Parallel  :v+/mXX6p4wg6RkFִM5!=b(=;f EM9nW7QBM1Ήt4%~Wd^#A!,%n2L#e;IJ g>Ļ!HurL?nϿCDN`DdwFa"$[b5lZ4 hѧ9䲭H`^<׉)A;xh]Tmʎ!~@eL[DK3dNG-OBu6+oZN\"_+݈X<d{?wƒWTG*B'c@m-0}6\:reDA53M@3w\,^bŸ[|$ JJUUᓭP@:PvԦuM-Fa2Ns;rBO)7مv9?>$8Ds\Nb@jܔ-R#XGlB׫ί*gȗ;b؊h(ybIҔ&4N=m3 KD.R0Q;]E"w "u!Ԉ? Wf`;xo̚IscOm0UėfF.vJ1 N&OQo?g@ %] JbMfNzuZ@#+u/m/nOGJ0mXeO8^HRDxWpjRVI,upᴤ֧ "+ATX^ꏟu\0w$1l"n$2W厦ҨZǦP?e@_ZГ;Ą}]P֑*pUHg sK:|2g\IK X[k+%Dfp ~K1qkIǼ^^(E;w5zJB۔eŇwOCJUtL#O[k_FZ*Zi،sUm5Itxw,A7}-۪ 6o; =~Za;.ݶM Ql^o=Z 9XP b qlg ̄{8~ϥ =6&[ >;= @xeSCG)NptKk߰fcr:L4'^=)y@dPG@@th1DE4+flWkv%P@%U'T/w~GrU fguBN O>W9.̦5;^DH L&*[ Mr`2=.AY5*_9 ؎1 8n$cv պtw| E t{FQ|d|K^]O.;,@7hz ݤO~| %ܱ.C _l8}2TnX,4Džd֛uȒx+0{{€[xѸȦ w\ 3RzkwV:b=nu}wT%qLce@m>< s8[oųfeG;&+8{5x=My>?.ϙFV (sxZIt/HdZodnb LIS~]Kdr&΃hl%ӅaP{LigDvme:s(]&=.5ww4'*=,)܇{G*ǎI&_up_~Y"<` QPBĻ0<k@׿ܲ7`bHo9>V@U6;#8Ia*CWayj*A~E*t0,qZvc%X/P?u3)V]-޼^HhWuQ'hRGxVS7Gi`(mAVIWUMҍ)_'2OJ*0Qhe(^ʔ5BʺhCKB>[I3G'#ek#j$mT/7rt&Ey){ ;L'Y̘Gg_g˷C[d 6zy<Š$)nGa!)+*0.8&s!3rx i+vQA)L/4*kmař\2X2 _oSpyilaQ&Leԑz;b]{t0 4{}Mŷ*ӧYAyfE1ul $3OZd<;q'iK!\+džR~n4?!R!Ppb.x;S㤈-ԼbNMj?7$|<˔ 6TQŐo;v5(o@VPJr}vw Ɓq U YO#C4+yG{g7J1.ZйpA|E_ɕMYL^pF ~IΏQnm6u,}5 @f 5p*5䃄AKʎN/LUW#ٷvr6=* 4V-#Y<ȏ7)[@İ)B@eACߍBcfr{ TdҬbMʀxN5rtDԽjQ :Y2qه*T^č~j16ﶖyw 2&a8  _"RO;Yj*c/-ts" {;[e.:k\B{-$pY=<k]CsfC\`HTc|Vwj4yGR)*K䙥tduz4%r 1/8>} (O!OˌGmԺpx?8{DcvuXZ1#q@b4)wYˤb*wg} 5TNēhwJ,H֢!rU5DOoqP^~Ev :1a4 ~_Z G.ZFfS:AU.%u7Ī{SρjMFIbx?daU!JĔG"1膣T\ EN!"85@Lt Zឮ{ĿsR-7wx]x6Uؑ^} |$w'њB*9UwP}ٕ+1Vt{.Wβj^2{kt᝶wXfZ]O  LE7oϷ-傃Ї%B/ɦqjݘ- o,"(ׯYr$#ߔj(՗*Q=[2ج"42 G-Ȇb CsvUt%rp-M"68[;  ># !<>l-i j+1OyTH[eW~! d!Tܾ ,!G*] ]i*~ *eEܽ RrWYmly|P'Rg 83=|ʻOR];'m7< ɠ6ٝy.kN_ȕm,"Zȅ LG[ /vn#Ͼ;{͎}fzũ" FəƳ$w]d@c;{Xz]6%S<=) wMH.…a}SU2GJ=Wp5w\8g9P_Wa`GHnT1$ke:pbvPՇц {'LfݓH^BH1 a[n ֒#:RPnvs 9|Fv#EsG:f'r(l D'-/a3Eٮ9yOByNriv6X,K+m#Ps # :QI9\n+QEC'*m 孵;ڊP+3癊 ƙ*Xn2BxύTb NeP8{;=bU \}.SCpA0 \ΰSG˭O)~p^MPNAfV|W*ffXg.|tj`nv7Q})׊~+,v|̉V.Wm <捻 !6s]Uhz6/Dk#e4Rw X;oX׻1V<͍v.JkMi@Qa4> ["'=tv[{FBΚ rW!c%t^Kwv"nX˫?fDƅK*Lg"b'1HRn {:>mJH+9C qҖSitbe짺8߱(`? PвW-aESƨaWļS{1k;'$Ӓ,k=nLVه DRW9߇N Ӈ9I&%؛(T(Z? /yW:\k \P?сW^oUm!f/ԯv(c線5*n׵ ajtX\5A*B8GzL9)R=c0⽽2}2 jjUJWۚ?[2 ZEaо$9qƶ8y r稒]Fjɞe_ ^[Gh"[w?ۜ쾅a_!Iáv9Y%B 82FѤ/=*F\s gה0N^<{["oȡ-d$=F{ai6Œ!l߮2$S+\ ,UbrL m2Gtk>XV߿J_Ãlϛ0ADY߃r owJ,n<<~F!st.lEĨǠN)+r-)Xl*/om;T>C,/{(L-|:?.:3sv]UB?) -"Qɑh E2~SB=GuL粄aGV#*vi R@$VþwMLqZO;V&y=vV۽jۤdNb9D8jVwz^yŽ{zMԳpȊS 6h@g1wS̄@_`Ak("6:)N RSw' >) AGA[@EJCCO\STTfB\Ip.T_ךK@`!|"YrlU&L$Y_y; '_>μbÓ%f9ўV/]^BLbYB҆Vcsuhj<[K_~ uB_S>Uѻ Un1XHXeY`]a$~T4 I1CyLj>d/k\SkZ6?5? RGnk"ǜ‰Rwz+̯n!w;tlA:--kû@Q3Ei,l Q*dL-ڧaX ~(.Ǖ^;;`pck l slKiˠ*Ƕt-Ŏ\cEX8 # N.! ꘁVP}B{z5e~\0[m(2^?,p!-WTu&|Zٳ}n{%K{ zM"^v 9kP]7<5M:Бbi[Q;g(WF8Ps & oh0246{LRmfǟm@M98()ߖ{X8?VիX B>qvqjKZoAKq3Տn\b?.EC15ٷ%bC7Yw#e;8cx %+L uL;GrY7v PyisFL[$7ͩ"pv+8]m1J2ʈ H`fW9,~F$Gn)^[Zm`8&Q {l8H3GԽkf:+[V"ن$gժi,?͢-bI}΁‚Oٮ''ЮP; %u1NQ JuWRe0a>di%4^ՉK~Q)ϼ-v_ zi ؿt_CG) j -Nj6{l/-9{#e/Oyv l4z BY&u'p~z'g8m+Y#ɍONmLNèqjO¤4=`nH7NxZss6T,F_\N)SD%o蜠I CL,}V_a.w( * "ZXb68=*E=C2`nh47xZQTQ@du)ڗy{:j4:.r0dJٳ>oZhX9xv):jjbSRN7ǁj4RͶ VP܄8xY߂7 (Jygp "ro$@nrHM'o̶w@ wG* z)ϮPf9Sp+aiGε-8EH<7_750R#oOm  if` &8A7 9z, 8֒䄏W( 9n<pU4Cȣ M FcNtrPVlyV`a|Fu7/@ ۅxXd5?ҙld8ƍ\ulxCQyъtJ6t'$E;*.58 wv%)mur:vNj%Og9yԮjph3(" Y%S\г`6,N}9n v^RoĖWR8Y6Hk* VqYRlzF9"CmWҞJ4bhz*RS|W{i \M+hz} `9ާ"1!׷h/aY%6AIߴ l!xwdeC2?Q܏ CgWe|N2AZ<yT Xɱ)aB|";Šِ~+&maO0'U$Px%S>}PeJb\WLZLNPus@49OyGd#?M<Y&3*c)-W N]u06ڑ 8cW6t}FzHYNKbuħrKy䂳<ӡ:~ҧ͛q Qdw~&gO̤n'&_<Ө }>]̲xV}e1 Aa5%:NEU";W1OWFrkaNλ1c@TťZ7"%4 PB+ps. V$$OU{uo*r3Uy.hTwߡH#֕ƫl@Ŷ6D">MQ@܇u3hzJ ɱ-̍ CsMRǃGs&Ŧn$В֒O,Kl],uy^xH*Dq.z ƛ O} FFް6Hp!>ؿQQS鿥?u'Yzn!z7E[/ڥl 8bwBz: FfN~o|f- ߻$!;@퍏%Sov@HT,}J rRr%aApGJE}aspcPϟRA ЅB{B!p7D EUQ}0IaW;ZZh_.ousqOyg{&P9kfPq}X7ꃙWZW^ɽvUj%;y%ZDpj;;W&Xs}iRP?Yp6Ts0Ŕؼ#ܩy8 lp ڹIgM8S AP觍wbn-%؛["$V oA-$ c!7i͢fw:~ڨ>QzE!?c4f!l m =f"ǹv >srXذ^%~9oCP7Q?cV h LZ7VoA|pha0'SeCSYmFM|e`eE /Qo"`V@%#/ɳ׏ͳ0Kj#@=1>˚MZwbSMwV9+|.3O1ZM T+{zː )MRlyaU"UòS]Mi+-2(U19!fvhՃvv}ӏF2"xrqvUVvɝ 4ʊ'i:JXL(i9! 8X`^t7ct^mSf'״}$Z ;1Hf{қu=k\|⛟p (|,`=(q`:nw/`|7l8` Ji3CdX8lud+z.&/dSn 7`0!hCq<S Lg7YMkoQ&b~22OVeqFDBϐ1R飷on>+[2НXqH{FpZ1~{_~:\S-Z&yS#\i)~,*W΁bQ] %dچ6m?Dt84?^R-)yq nZ~m YZh %4" 1GKl%R JC? |q>.lɒ{k |PL6}Ԛ-<"V|κ,nDWmYFzN6} hꋖMنvؑʘwl;]q&![>jtz_5 bO:T;[;s79&kV+NY@L4 ȹZmIi k#.(SB#?RιvK%IԞ CKP#[e{}.P9T39úT'CWԷ $I/D- TT$BD~-;L]nn}rԢ~| Iڻ/Axd1T a3aW!Gs~m޷*+LbrVǎed@̨V֓P_ld)rɴÔYӭl۝CyhI8Sb[QI+&!; BO~j 6l$q]YȅO푟>f[GJ(BEzg/˥@RhPu,n{_-*OKsd,Α#4켼1J 1 Vd m8 u.DxHc=f>+z<)q(\-Np={muE8u I @;G:$)Fs~jW% c5Ob\fjuЭ=8rA`_ jvVX(r/߻ّjS1W=A*%!>N2Djh?f"h庶)7äˍ7d&tN-Nkn8)L3>gfa$n;+zq!ZOY[?(r5r:ѐCG'T ^g*\mtYb ՅK^f9m dhTFrۡz x$7R` zy5rzIp5MoR,M<ǒ0Y%3׎Q9zez'V,S5j~]oYpcV.lzCd[Ɲ~[z ]  ~dq,hJE:,U#vNœK)|r,%P s 8,|Ի϶*~ KNBo<"#%v+jX Olx$8ƠHv8e\;uuHzuGet9GŦmnP2(q41Λ톺{#Oz |:i#ԒkKTaX]ɹV1TTٝvsV{Z:)2`,i ܜ)zbĘ,Rk'AQt~}gQĘB ,[zSLj1 &v~['1/GOoJ[ l!y ˀ+;2 uGTiT +v!R{;@]us7%'vS*BΟb5q)Ip(sӃBj3ȱQ\rmw>bV8ĴiO)f!;J Fzh$C٠I^t0Yl8UxӃNuqE] ]0FFD&,Ut&V*IzȻ?p>5U"ScU@2 8v#W0n͹V΀5O ʭ:OxK,-g33N7cG[≼#) c[Fu; ڒ3K-Eػ^>"w8Z mPm-(lTZnoԋQT>нUC-!ٓfaAIҒo694kZfsH,y81\Khh's.j&~%W. !t/uHwf⺯xi\_Tv?,[!HG?-Δ]-lܡ1)JTPV gM:A*c|2ROJw76/Jr+8MQV.،%Jjh |U{Bhwyޤ<{csŝZ a MǼ{afXsxS+1PVDZ/xC{JStɪ@pXoA@ͽ6 {yl9{]ģ=6}ׅ&U d !տGgN?c'̺>" ݂~$Ίr 0̠UG1njHmI~pК[\mV^:/+v~i!24WS ~}e -n=}51ڎW/Jɀe6+;,(5Y `*>LԑQ T= \9psHL܉:r>åʷ:~6'V4=py;2\"k/دXdg0X-9v`31aO$0 o׌߆eVW|#AhuhW >fu *&a.[s:nH@8aڔa'c"! $J@rq&l&w|e;`| X+p9{I:dߓ݌H` Ϲ3]7#"eJP0ݮlʂYl=oէKuŪi2]xx>cZ6'TՔ@.L ݀]7fb)V]:ғDO!$nZ"*I E3ZniĔYlC5ĺRgԸM& # xF;ZK`RM:E 쫗0bpu?Luo|xu&[98<(;l"tC|tqw)?0b4~: 0_&3巣-d\Q'#m_Y'ێVUDlkc SEm{fV(l].>8_g>}2NO%Xڐr29l⣌E/p,VJ\a.b 073:[ѲVݲqj ϙq(}f3[l3Aj)>:Iʌ~mL:a40 J;Y>Y'l*N35yhLRMHYC 4udd=Ԫ52e'*‹Q"򸓲ʼ9Ҭ!zan%/ m`]U$|a?GuL z6s+ x`>97f& bv8ŘF{*GM(P#̡ Y_-eYMkVbH̱t**Env,QT`_Q)/չ q~ئFƵ3.1ܡ˻HAnB~:?Rs~m8֚q(e'Lpgs{l2Ha&2~Y -̭(5Y _˗-\ agJqq0 cϴwdpEN؅'ۦw+< ;h1 HBJ_/PC{ai8 co_5GtmM@na@#3 k2[dmΙFJv~0@Vuvuk@Ȃm8)IHa8Iz@Oo;Bv܁'ʞ4V|P1uxΦm;5:S$푌 XIsa7:=v@fjI3`7 Mf*p$+M6|b\zrg}#L7gDL鰺]]7JWn `˒;)ܶ/0I$xcan֛ߦRI' |ofSIJ#WJ&;/Emg;FrpOǞg/6rӎ'.E1R[kBQA;w &8ҤW9Nta]36~|FZOJ5a-Pqq?W/dJ8x3?Uu{ o|z=ef))?YzN 9"Puhõ3eGDdkem=+MU//'M_0t>o@ұBZ}-Ģ"}Cau#({z&Ct'glcC^JZ{Q?/bs6X!@ HIC'qָԯ `MCVud϶6<&ingQ` 1|ϻiE|=w)ʃ]PqK6ټ@{UX_=EQ]}7݊~9~hAuC]7&O\?7'S%ܗ*Wtع`fGHS[A> K8l卬=L-|zvLx29foG̀W v/]NԫOtyKYJ뢴˵<V+$/PS!gzoGP,#wbEZ0_?=H]防XƒnZ.a)!۬#g"-rg3~H svL}̀mrF\;$jY^m"%LI ;!%WǧI5@YC!ꃜ}3ԡ/ӤL-Ͷڮu++a-QroL9sY=4d4965~BxG(TghD5dv`'MC3Jeo?`^}4kVp:Z\â KzTRβhh5=>Љ`fw6<)E.Qes~A ~jXP9)׼}䎀{5ہX{za>hSTˊ͖ I՘}>U.(o¬XsvX4MӉ].I#-tSXE2zIGHf=e{SOA ۰{V a@cODZqZ m['q7G:DYRIjkxկ /(5乘-1XdPlC|UWlP¤j-3Lb_p G6U_+(5^PAgFR@ۦVGH:H2s.v!Qt\ECv( mKpd׭VG0 {-yyŐ2oZʧ$FNȸ1Њnٮ8~s"ɼܖ 5Xv]8;/퐭JV㬭ټK1brYs\7j%؀C g LA8ӰR!7.hErٞ =SnWѼiÐ~; ͌Kӧ\cŒHpg#vC{LoaK#CJ O(;Z1f1Q3@@٩Yj/&䝆֫[@ ^/)ĝs?Z{$A 6}n:(G#7^~އVO\鄩BA+")|%ŬjSl{B:WU1υݙ^H t=/PPzRV@Q~%5b͈t4I$?E܄'[C*o>Ye2P? &i| 1_q*/gZw~Čʪy&&-(~֒ .c )GnӠFUo!@QpT=?xi{dj*. 2%Ef`)7 PiP ,=ϻ.Ɇ&:!&#3Kdι@܎H?C*ȳ\67\Kiʵp:a#uM` 8u c ޗs r]6.^x{I#s'R>njޡ*Mc84N/;TWl6\Q"-'@@nY$URr>Ǻ=7U<{{ i2`"//>P!]k3y¤2e~z˖n%J#"09!wD~ckdŲ#؋ Bn'7$ۧTU&ڽP4VNߣl+WڛZ9ɵdu Nw}ãIoEEoi!ɯdŐ3SiiCbaz*w)V,G;q9>}6˧I`m)+ e=w #Wp|:؁A^t5TH襄FzTV&lnUHb`:M5Daw}SḤ 7}+j,Uw6휦=]]q-7,<2q[bnl)Yc8([F~b +Cb;A_r͋J2涉T_BoJ~d4C1O7i;'V-%d.]+GM3H*Є[`z2.:~1Yӊ-%MeݤP%Iy 7ζ97ā8Ev l;3>A}} :YbI)x~:hdqw#>6~͂sjFJ 6ԜЅs Hv"OxMvj =I|]E\m*U&'qSڧq7cEȈ|؛ҲNva;_AgyZ5%Wc3pfQHyAuWQ;w{6521/@ k3~f|5FtY@Wݾsڄ_ABr ާi/^ahmB;@K^]y O7y2W<#e_GI;=:f:Y{#e8Rpx+!=,9|eJf?w–S rQN:^/Jnnt`].i\;t 0kAC,GBΞ0R%15;S3R&:PQ9K t 69٩ɥ}/IJ!am0v֌xf] ˱h,$(X/v}Ky\K%Tej7^B b * S 5 n65hP}֕3<['n3ڴw*5m:="R&;R~%]нI!,ɲIBkasf7•=JeoCjȧ*ݾi`V/%D]\ z5~n|\dbywlDޏzHkbxtKl&@j(u ܜ..Tc;faLx ZW]-a#jIf73'sbbKR9{6qҶnTr_.9@DC!gnH/&Aջ^݈_1s~d,&ꏸQ H~)נѺ} @'-Ӻ s)+. GLHZѯtWdj_*Yݽ'27ALE~p.QrA sh1]w:N\WrJ6pPf>A _A.cP(P~hm+h1qD?yUE-ˆzfxBV"ltFS=1fæ*'0FY|e!"+ n*.[LlPFĬLpK\{;YaU[Rlvoc_^~<+l7X"(k|pіe|LCT`J{Kҏsu "mg{E|+Ч$r e+ [Vr|X2MZZz &&y}O5QtB礓 Kr(7iL5_[ÉONOۖq#G-MYD`?aa =>3$kNL T4u1[iݤװ0a_mC)bjHYSxc* IZ%ͲDsdm дr<ԮN H9FBیl{}XVY#G4u Tkp‡2 Q":Z&B^m2dh{Z$_+x <~wD'9J37BG5@a^d@@[0؊w#K4]8,.>rʻ?KH[BbbF'N` "s*")P#; ߁86Aoټ>_OŞ%g_%v9X#o"Tb[@4 ijP=d=:?5q)0y>Ƃ,@'>+T_-pت:;]̥]Ou:Sɺ1瞿v={Gf܈2A:a(aTENp}]h% X-U=l|7`bxCmAum8kŷ=q_w_9IvD'?4[߭dsg⯲XC/ۙ1?M/UQ䮛il![vu3SKmї1d@un+8_ !uqzW} }yuz BjD#Zlh7Kn±yt=ԥ ʘ9x :QI,â.hB~d5ʿ=]i3.uuࡡ!XzUm$D[P&^w\'<9㍷&A e^,+Kt",Z7 PzRDʫP16wpWb,knb˨3V-|b7d=İyusBt0~[ikSGTq\lGϵ=`M߮3V=" :9sGP'DRR@yG]ۍɱm+yAtȆh+b8x!ZȯY\kCp#]^5*] 1?8VWZ[Kjw%V %_}4οrx8=e;/J!lHt; ZrytgڬYg9=a={l>+ՠp9ӕ cё8sUD5#_.~ :ei{tʊ6SU&"nj:xQ1kZqP {BڣŌd6wmm$BUt0~]GR [7JgvY?h(IE;(I0tP.g-sA@^oe`&ޮ6ꐧs}4kόNؿ֋5;+RIJ[֦R%lՕ|:` Kȡ{;CQM7mܜ8ZW& *p&s3{':(<*Yi^nBл|"%ik*nNSU\\3~{14:EU>]6% B֡O% Fb ]s?,[wr EQٳtG"Bn &T0e;)udյT>7 SOv=_.:*"rXp-{ ٘C.$xEF-LQ+<KJ7=UGCLP[K5(a (4hh {E8\$XWWHiυ"T;5g j%*Bqlq#-ʲEԠrzp]ZPa4&fɼ9}$5lѓ$VpKj/|3 l812$Mh!mT oЩ=c?x6:H(%sTъA9=o8nO Q2d}swB߆Z:c+@#VE~>,TzmO].aUz*hn. OKK0s҇ڌ`YQ"sSD&lGz(Kޤ-/=q 7^w*W ݢ.o'-zL!=R ^:t-}9smҿbjt;lBmsάPl%>}z.^pgCLYcRJgl')K A,^# ZV#^vJWU;NaitU,sPԩOlEc3iqB',F$ܓx TUCMg}#za < ^HjljDE<"tX.PEd66ru $v*y>U=N=@`ӵ҉h/UGe3dqi5J$gk#>Cٝ>8 elLgK@,s#0y2C=}Ϧ0]蒱]ЈhQxbTޗ8d&VB{bg\rޑT; {Ur6Kkpk+&Yh _-ς^j:ocpM|D1o'x 9g ]8TdjB'ϐ751a6nפ_yc7k&螐c0ŪbS!p`&P^4܎g1Yo-}*7hΕV_ )-\Li[Z|qJ.]QmE*a$s fR^.l̀f Hv8 2SH@} sD@6/o |Sj+#vSIe89uPĮɜS : b*u%n“Y&Kn:"w8?j+n\^IovhN62- ? 8Wox/C1ahȈq^Re% r[W~/VS$tX p/E7MW=H! ؏ڮFy'&KD`dk _//MM0|ܱV5")G ̻B<;!'҄zqTo:}NlU/ zF6$Ns~J(k\GT=\`v"椶$W ʅ1mP%^Ƀv1='Zlc9rO%"j[*3 +m; >jrn}>+=0UYNvʫ^;vys. 8N+^gθg;ܗny W#NS̥W"V qCM%x"{ˡa3փ;'qy *g8Uݷ(;ز] |v~Kvi?b"]<LBz"Mt+Trn9< p.xu X7-N6?YTtШG&`碑w֪&Ծ"@>\Z&͏* w+N^G}׵T!W5|h$ c9m{)G.ԣm Hfي6YNZHx)5%+?p#<EcIGj*lRMcvy8 KJChl[\yxooo߳[~`ǞJr׋KρFRx6g4oЈ]-C{3:L;/$ #ne]}*ܨ'ϏyI &hv7lϏid`Ok*\Y0]e)qOeT5 ~˅J"Tqрbʲ{͏s yƯW"Ʌup0VJ>| A2mI(JI^𢠃6Tŀ5bl+TO_\Tz:~\kxx8PxxoՆSU vRi'o\]zA >"ʨh*T ( vu˲Qu xs}_(2EȦu Vw'(J-ZP߱e4Q=1e`|*F|%)篱̚ ; |07fL܎O֥wAKrCn-KnM~nP)- :8lUeBcE6d6d5%|5:4zhAɹpj|tCJQM6cV]z.'ۗp)) ]?'c 3GCVK.n@RS6`w_Qi{i83*o H0b4,eE{Nb}o qng=ɣ[LnJ 3> }@MqbCE >5laoA<c|-L5X0G,z\F6{sCѫ50^jއvb>2xwn.oFWE/@BƄf ׯ{C+ )~$:,U}XGXA0$lCԧi{bJ/˔YJ18* IZ-deſ)8g .?iFYu8: Cu>f8Rw6kJsl4lp 9}t:1{Qr@ZaVۖ Dm(e3_R2;3U. C f?Q,޾Q:%DbLݗ֧ u`JRؚ5.]^ 8S{M(̙Br)vE.ldcWPL X1M]U#[g/D1HߣatV877Mh4# A]"PMP; 7C,s1#NuErWƨĠBK >&tCDce }IM @Û0ƊY+2-@; $d}M!:b-h vʴ9f3p͇U#.h fUg}5R ʰZ(g,M0B ?Alȟ99cͭ@>骹iSyyy6pC;oӊv F&_f^k{7 !LzzWV=e;t'`:)7] e='QMb%]/kj:K[C[2ȓT"4Fi) :!7 ?#صE+ғ(}Fr-&^:"'}g=Kq6(cr&Rv! 9G]KKBw~r\7ȊzU!&< I]SKi3I9|ʸ7+haaoHS~#ak{͚ Cb-QT#=-sn2LNcoKwB>}6ؠoAW'RsnYqV^&O@Y4IYL[hLKW?i5*]_)ӈk^SH-cː+@vsA $H߯V;Q!L-dA`>t?2HKD%t),;(gW]PJO l'5r϶gm5rߠW꾜_ŽZYk(t,{8㟇ơgŎ|u,xXvu6[p~@̾A+U!|." x gknhX|9SKi9p9ak"S3t@N*nwPGbݦ?@3'w4潉/s3ex Xxz:gdi`Ў#k4iLޝagŒ9a4 2l852 wi+/)A'nh4nÏ5JyK~ܼ(܂`1s3Tt]pUB[z*4H!~~ѐX#\|txT/akVP쬊^0 s-8v7"z)y*/٨"z@Qfa7 F"eس"]Q׀kLp<#wV[vU hXPsW*S ɏzt{7lI0R"(guz껑]PlB,0ڛ?]!T+ v͜MVXHNڡ Vz$ľީec۰t^9{~"fb+_'+tdz/kr7M({*YUe;>-|l#)1[n#omﭹaq 9i$?(_%k4z+gdRፉwI>Hpfǫ-. ΪzNSr<0(m+AS%QڑFEvos|H /PwDl+2?oVA0j'3" U(*ngRh+@~⇚g]"r"??l˗s>#$J&'AsޑҹkÊxN1#4d=/ֳjIάJv7ӔTSN7Jl6j߃/k<ĵ 矤ix2QCvP|c)a6*AEf!%Ȩ{t %]) U C!͇HmfBNDAyM>rв!w?Yݬ^([!+2! S 6+-ACgPuŒX4}'}KC8p> rJܲks?щoO\ ԦǐځuJ:0EXj"6'(dUV_۵.z|i`Ȃl'!l#tU@Bt!6iHbUgRzOxEnR* N @ˋ]ma.!o2.F>{%㿞"$$ӧݒ̃kv ߸={CW.7@}0MX՚^R"ꐚŏw!6L#.YSK!] >rZt@yP~!*T4& f͙ RG}kf2w7݀rS\Ιc԰|Cnr؀>*وC5#h *iIW3zĂ-jWWb+||]0I8RVo׊X ^HX"wSœ-E]wXE&vtHzZor2H" (JRtMhL;:z:P_❞Dӽʸtōÿ1Cji'1L^CE6zQs䨆Q`w}H(7J$VƄnSo]՗,[6\Uզ&1fb'db큳#ucR#%q CS4.[7:FzB 7 #=!p$UNh~Zwu+flBp"Ck c{ѡk8l+13Ddt< 5|0 |##EژHh/Ю-ڻn(7SW1LqbJUOO+vc9&OzHh8rGf_LQ8Ā-C `~*ix޾酻$qCzD>`} ʀXeG ;~\'sO 2р^zn@ǃdTÛ|Ak5H;H^I!A9a_⤙u#/xGX0t6B#{ `e,qW41Kr'{Y` #T4W-1wB2 9%bksب+3~I$ p1uh"c{Q?" bҼCrqQ:;!rw@QVS0Aș>y vAR iUy(XGNkmu9?*;F),2|y M)Bէ.E+Q"幱]뷻~/"Is?BQ[IS[/("M$>#,st䬇Dm\RZ!(zL)Gʘ»NK~vQV5@7^s(̀`LdqE݂8FoུC #h7cc;SQ ^{fĮ 5+a\&e: l;MNX/PQXMB"G|ǻp,@;/b> fJ |"@(s5aWr'[DQQû+IEI) )} u'>;sq8?lʾJ}IjF+i2ޥ,[r/ 顾cN_/~`%`č摖c5ӢOn7"y#oŒ- 'Ɛ`>d˞OڭWhn$:jޕ OtQ!j:c GSL C49̠{"談&#"QY!4˂8X3F7 'w0}+\Et~^MClB!tzU Y郎ϔls  >e4õҽP mK+w ϺphU>N=~NiǬt N|Ma4L^䆈#0cfMjM}a}z 7)jP=ӹ4Ԃْ:#LE cu z]2d<+*p% 7lYlr޵VpޔI#"F;uC]k"Q.Ϛ/ c>Q"ho-ƒ<)$y|`VL CaT+z) /pUXOd "t[Ix|\ZD=wRǗ\ sT YBO"AS5pꍄ5'r ;k ?'zF[r(.*>? 80Os>D}(xvCn.ľSAjyCE\v]0f+ݖۄuą CVP1p+ܸޭQ/B[aiKQ5xG]q6;!}y/\δ PظH)fh3#Ͱ@TqD9sep8KibH% R}j>a/ܩ|bw(rɩq $Q(k.7i [SH0 6cv3#L&ׅ>HHL+Y{56DV}β?bB[Q*C<9 AvS3ʐ,.zK{҈6֦Sv܆~5_s_қA+Q@ȀFOƹL¤`stFK`|Y|FAQ @"@SK 9k|g: ZpA*{{NzKrmf;;ĝ8J]{KW"7&4Txi+tB2N~q\P Ź ,hw}g4* 'f 8l:|$pj9zFUMmPQ}mnA.G Mj}8\Ason  4!1\6xS[E^],F7zs28[G?|v-4iJcwM}f/`DUu^YW2Vg<_0G8Ujp;E3pq`&-ŭ(,;K}<=zrgwOk!*G] y#oD[·Y NϭB.W-t OAd-cb7sd Pػ,Ϝ 3A!`-A>u>˜av K?!;(yysݩ[04Po..mW!*F䇯y|Qt;^}O} kvQWx'2@t>vMH,su3 }c ir/O)1 \r$N3^ݤ EK.O$+Sh SqƪLLjs(M?ک쒔ɂ?Z^pfs_2ژD 'llY|ߘL=|wy7pYe{c{H|౵Ssh\(9Mk\J66$TB~N)ً[tr7X5\$aV/]8 ->HˏBG>0 !׬9!GSE[efb I]&j ]TMmrnA$>JJa׼̫X@2xVPN<@H+Z gƧ#u$%N|LD@so/U9 o~9MLmn#FT%Ho,l9oEd#@;i|*eoilECnc!>V'UƇJ=+rtߑ]z"[( 9)ҫ0xj[:K"l*.(x;XJ)zi-4V59 36! h=8ȡ 6{l@p!>GD+ yB)̀M,67~n#{iX_uuQ#V`lBYaFՄ&gP ~IjX>Y YY*jm$+ϴ"3:lWx%)ұ?DLUIB=J¸(7FŪCRNk`40B8ܰ4 H$\j"k3}Qi BHjbL&(/qxF h0݊']W[W9]&^n8k0-e؍`1bAi_[ym1 H-pk/˔טs=! zj\s#Z76"S.,DC osYVІ,U+VFipXt0_lM6:|;ż-ރ0󇱿2"/+ꨥ+IP~5ZDҊkmx]L#}VՂ뎪l$=}0otE~d)agb^t~K7^_+iL`$9]/~RLY*ͧ~]1]ǑD*7T4JaW\Fn^{훲JNijYh:_ }-2Qirl^U"c8Z%pgT[}M-&p;9=HtE b9Ⱥ\q [S3?3IWAk_rlP >= c4gcE">/.Kl|IhՠV[mCG.?X*-ݤ ȰO~Z4TXft%`W@ !,nt0迲Oəp2I}9B0A=5O dSBK+\{٤a% VOPFU%*_Ss`ɮK3 0X$+[AU@.8!M_i,wcNNijdB rȢdic"&Ru25㲁&4";QO PK/ =P+g5ȆӾi2`)ԉщZinJBRA9>f~)R/}C{Fi; G&2ԮG+BnFLs 2TGS@pǍ.xo:BbZ-bg_6e&>,r [&6Lޙ  [H)Ҟ+`Y%͛ C w-m8:k2{Y|Ѽp@s|c^7A({cȹҧ;D%N7bA "@ۉW ضO&DDvnc"-ZuF+Q^P(Hk 34mmYgĂ>?̌` Y6)𭀜v(7MarС2a$p/+ϏdN&xs?$ ?n@ۏIh ikMxbN];=~3%-}N<9B^06 28) ZR|mm(׸c<` $p_$%CDS&vMPóΣ0yEimEǚwׁ\Τ}F[$]cD i~:jVÛ^Ti?YRqĩi"n[Ҡ) l&zBìB8wΥ; OMQHYe^2չEx)nvJULiE~{]يYg6;U..*n' k٫h$H@3$-xIgGX*(ͽ@~ԣ[Ob$hjEk M?oGi ˲w+/^Yg@𨻎 \#\+Zt b6? ]8^!g% '?Plq(b{h葉Fo2ac/ox ~ݕN\. Q [4jψ72GF- -RG3fLr6< y YY2p3 u=&O͎0ҷ]iC53ק;sT9xtokwqJ# g?_̧S"B [+YF.8v", PE4PV t0rˮo1یӡw.HJ487!"km+(Wq+PIH%i06D$"Ci!;)x P674d%byq^sb \%Fuȍt3Wmb)iSI1N|{n/+si龵w> A'浉hWtMM3(NFqL09C*;7]H_rPA;(ޘl|G5Ai0ɳ#U*siEFSag:HIr "b?_s ry;hU:T)oIn ݵ^ I?Sׇz`k s:3%k{/b2p&!~&EFCƣnH6S%|xb@5jSЖH.4#2*si\#;ց+ks`gKgb[Oy>ub1"NRa4@C o?} wtSL5k_<]=<\|i8Cg\I/[`OxpNƗO ^f9kG3Oh!Ri]2[K3F}75"ɀEEa'Y#RR}~o򸩻fS>. }'1 %ؐ"Q1_)ǥuQ-8_e/hnvULPG.k'L8E|IfA3v`Aڻ,⃨M@ 1FemJӤǗ.JH'ԡwL$1K7g<}B\?fU֠}-N9 [HD8J rV{YҀc`|BKfDZx3:j [O k)n ztcF7GdUt-w$v+?=%TRny)?3m:5RԩۊN1I| F}A=?T~+g?T*4mx%1pw؀KVUT[:GӷJMOX9"LdRrLN$k+kSĸlf%%؂hl #ޮW?a_hS_Ўy*pL!Pt* +A h պ=R#2O"uKbo- Qz8:~68|nLK`=B9 FC?E[;;Y\)z.R=52 -㾈gsHzf *JM1ll$iLFٳpۯPK5mV;[Pݝjk#zqaï4/ݢ?/Xg,-7c䛜)/2eCn2>}lYt1*YWTZ[ J-`H%2ldλ =CDX\8ih̝Qd](msUaۡk[o] *4@@$1E3O7}E ;:޵le_֨;j/;]'MTfٝk0,@/2 C BDP*SZ#͚g}(Sc>sL~~a0~eIYS A;atT+ȇpi5WmzfMp̶5^ߘk \vWZpAjGކ{l~4=ic3tZO]!w6ӫ[ #-u=!h.egpxX8ҤC(#`n5=H>48<*a/-{]ZcqQIٽSO#^-4VXe#nQpeY3RԞɾJ[G<t۬1P R[mRhԪ?l[ ^ĀTY3.mhߍPǵS" :&7f).d^Iҳ0`eu#o[@B*C_Hg>b O^zc[/v$e@7z DqT:eIQh͹ލ?bPo'j)?6yeb[A +馇iGXۥ(\S5I,l.Nj7~2G%T@dPX@ݥ"GC>}j %}igYZ7zXZִF! K]ŗXiɟ1S:JI 5i;\ŮIQrEaaQ?U f,c\J^P{`25n[qr58{`;37Kdb>a!lv@~5nXu\Pn*UmJEEKpX˻ |(ߜLdaV`(D KzCࠜhSKӰȜ O&M1MKt+J 1@l}7HJ/?o=Km  oƒ3F ',حÐ8w7s]_Is񰲎عH P}էưPW֡[]&Wd$ LԟgYZ7zXZִF! o]ŗXi%L 7AVM$&+ŋl(/UPzBI`gR&Ce?ehfi+F'k 8T!7WqyRD@5RMl{:{{$Щ.@?|[,tflw;o;[JaK/FZks(t k૯L몭[|oك]bE<.lVÌ*C )vĆ0#/6[#0﹊-D|8ij >7 ߅:j7Ϟpjp-^ ,>"!vvV=hYw$1xTj*Cqi?W@݉IH=)5L$j|($Q^W;5([OGbn"c' 2 > XwM7Q3:zی5p2a16Sq+4Vtad3z6n5֓-Hs 339rńL^S3-C4n3V"87yĩJQ<i-$c:[1tr.GRkS3!l Z⋣Q.I MT͒Jē ;,&In>VԨ8}Em&nYԖ0 P(9ÓLCv|Z@Z" >\df\ RN&`5[I+]K ބ@_8,TL3~hU,oPW~u>0ҌuLؘ8@( :l[6As)p3%OD>~뉫`Odz_qWzvTJ7} 1d@N|/!/0aK0 dY'MMpKVY"m8 Dvnw2R b*h[`ȅM6L0 -'"&m^XXŰhwe8`!pIy٢A9+@FǯI)LeX|o7`Mv:hs*4[,I;k]wEA:W!ݟ!݇.* #Fcӆyz\/;^fEM !K%d)yGq%Q锉3y'Ȍ'sEJL{~)jk:@C2bﭶU}@ Oue= Yx/Æ%SBC 9]AsR2u2k3PkShp#+E"f"x=GwB %OG.A|rE|M%r^Qfp ByfSkJ5si9Bbʨ@(aI ~^71w\Ֆ\BIh-$KrU5DH<*(*|/u4 MQD3dg$1`gkSz$f^UO :~hL/|zڇWy|_TD+N0n?nlx}4EI`HUgT?~HN} WU(ÒS1E~|Ya'5*}@5WI/Gje'*Go䨾}܆t=@3 c8((?r3 tF< &_ AyE["Sza=6pz6Gjyo DS^HMc#MkKni ~~ΪW=w DYL2#sUqU.=:9Vz@y'3 O:/$NU4:NȈ㲈0#A|jѶ~d,ҍ]tں_}?O4B/ePN7 r3V8ŵCf> ȼڦ,xe`E_D!,e'Eq?@ɉfeA?6|ǵJ_Rq$~FRňQҸ+Q[Tה13|eb?[`.45ux"T-t2WΗQ` AP̡wփR] ?>9gF>|"4!Dyn#cDGhM=<]c: x[\ͯG} ⫃#hۦQb$՟u Y2Z""xRCYjHϑKYZe~X<aN{/q[Q͏ LV \j2AX ^헏;Cn`?WnqH1FXh팗#bW _*#N>Imx~̭;iBIqOK warУi ci1#qFTܾK9i`xCP_Q9mxI< *X:b9vS뻖E:/̕hFW]AC&ie>Vetލ: S,^FX-_+޳}rpvːC0 @W*HuOM<.S\zbu ,\6 [,gWdt㪈ms\9,>pEk_SyGi*QmB*No.JЖ'̚5)JȱtXrv gB' pgj3N{Yڷ cOB-pe xJ4-HA<%'-J+ .6]\$e$3I%o>Xmc׏٣uNΓRFoGyµ_M낎 ÆE-Vny4:3RjJe uMSe,*VSW+!89E*_vm*WϨ,oeN$lN0Zzj~!0bXy^ߌs Dq wvs 1oOt؞ ?h@YۏyhmT&]~:63H'[ArY =[?D^k8G_jٕ HM]Q0|BoMw#/7?bJ%ēCqom9ӳ| H[ͭ; ăW"(PMk^/3y q6]ō|LsTNa1?myq;7 Ug(v׶b, 7rc?#jPAW;Ek`%#uE_dwl).#9L]Ft UM;ڃD@He֍t[&yN`˸1C15YWrDuSV1ay7L5ˮqoVږ$bqETG7%b [Oxd&W_w,whȁ`0t bD2EHeUm?= ƙG T$}++`UQa/{\!}42K:kͽrT>HPzT?HpND-CNvv -Y: H)2قJru~LQF3°;ޔ]?|4.b ɱDjf'8:kZE4RrR5h i'~F:™K*N+F\5|S k[: ŪMZm;{ >—ېABXW !*IB?fw,πرp?Ƨe=vD| ?D]vZZHɶI[ F !uhWM.88 4pZJ>B:p9ҢB圖҈bI[V0e &]٤oo)u2vc TRWa+|.S G24Lz ѵ0Ŵ'URL<,\==zlXIOdmYpurfXvYP!Z&PO8V!p$.1Q-N.hBk/Ob؆K(DPynxAI<uqmKօ9$ޫCrꟂ(2m,W 9(q%=W$D,$,"7t Ǜ+kipR=ZT5 XuFn@,ȶM"=<%U@0uyJE4W2!&vdgx)EIymh,R8c$+8r)߱ۼL?*