SQLite format 3@  . BBh77otableisabelle_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 <%|l, ]/]HOL-Analysis:threads=6elapsed=280.023cpu=1232.488gc=86.216factor=4.407zXZִF! @5]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x'ot,pfj>E<}Z[Yfc t{h=`^(=lD*!s0nҢA}f!B|LZ"$ &rSDNЂփ4_b?Z`RC{D|!N^[W0濍?xꂀ GŲ"LeFyX ص彆bb" BVcgf7lQ.S1wBă | z{V/7 }1")6Q|_n@pRNm$=f@0H̴]mq +?oQqvp+׵U{<<\mw>LSa/qmw8yYu :>LOc9}?.]G 2ZH,BVʮe ظ6.D:m-dW;[GF!/%|vhG2|dmKcF+1+ǟ2ч>-aWh}>禸HR@VvԘnSWiAІ+n'ԦUa\ަuO^ytvYVІ@b2NnP0,<:%i]( .Ne9p_ /Ȉ雙Fwl; #p*ѽTOqD+{g-|uĻτH` c 1 ; 3?Dѩ|BфEPbCǥKy}>ug@q6錽SԔ<5ºm=ȗ``<{ ޲-I\ FBAEŋּҕƅF:_6a9~{t 4=N?ideGaM>B-o~we05@s%Aǣ?`Sƻ6p#BS#2uZ7TFf3lbs5M9H.*vB)} A Q䧛Y=M4C iVRgw2>kx)9IW+1Ѣ`lj$ڹ]TەV) _ѯAʐH$Ha4fKceꟽpz-gQ~1 Rt0ܚLs9]>xKxOI^]w* K)pmuA3ou4PĒ¾l/CW6k;#Qf1ɠ5Dzh,q]odqjED̎1/pGg?L|̟%k$ ,ӥ:hx HtIx8jfRu3 :]6εnㅈ{4)J\y5 T~a4 K &5?, 6RArGj3+IJP2^VpO'brJ5,k.o_PEvL ϩK 0.3NȌ@᣶cwrVMw 9NU5^,d}؛?bS]~x$h00Sȧl6!&-1&j +NiQ/=v Oe{aԳ15-DL4U jfC `T0m ?rY!๮*GSwe\hC,UH-EKCNjXo(F4DtO>?$CZ4Z涌 u+ VK?tA_,_hb hR ` ; vy7>YG:ViB}VJr]>s/є5>HUQTՊ5'sO4,qp8Ɛ-yy6Kg0EEsWrb-hcML\\%ImubׇzbpLdgP[p5=ynĘ-19d("7!õǹ }:!2+pL&LQkZ]h-=r)2)9Cy5 ,rbc4`FD1x;{L7A";B ^ =+a&@J}u,\b4$T^@fN" c2zX?>wM5~55:Y?E}FW|?]6 ^nBwkM{b߭^So\۫;^ 6^Xɞ_r$ۄ1yim?H}kNC"ɫttӱvuufav^Ԣ]$ z% ȟ/=6W%akb֣2G#Yg].c|-P -d#dGΞb6:u߁=G?~ĘUcC;]^%Z<Mv`k֗l&86?[ rPًq=PkW+_=#HԪ.'c/}kǞrAP}R5ϞE|z*U]*:0t@ŀucEL~$I[ʇu-"B\9a!:6H=Yj,3asBv#r4 WkF+&1ZZc9=mzY"fg`֚ˏًp Cn]]<\im]@qU؅it̲ #)A%g % HOL-Analysis]dj8X/E4nZKo]!FA:t|6[kԡҷ]{QOWDt};G.2ax^_DK}OSoShZjfŢp:BGN=+ Er&R8I)ϱ b/G]*$}IMUS 9{>63lЏ?qk(Lډ"F\W"z1nYR@O‘H P>ϸj\EPn{ꎴ~?m)e&cB~uh1x 8 iau i3w0|3+{ÐT II_O_w4j5B^vkU AqFM' tn׻.Cn/|Ť) "h!! lKi^` @rCkFǢy<Ʊ6IBψ=N4E$YHs8.3B׾WJ׊ _0Pw?L<%vF 4>|jU|p2n'N-Е1מ/p%$vg%ڸ#ENܒ0@+ VН! õVc^&0l8y)%؝Ūtڗ帟4[8m8''ŧts {2 =B3AnbL>G! \P' qc.3'tX*&iė{UԶ*akZ:5*P*U90 7YtǗe*f׻D2g4 YޔJ+ѵb;{;p=m!`w2^ONs?GLhEH +e(ͪUu{ohm[cSƄ!X2&")…We8biPcZXan1>*+^[5K]Z0T/:u|#v?t@/T|ݷ^ɕJ1i/]fkr~E{<_EJXaI"\U2[%[hHiv[6AjyfPSA"!`΢'u5 /h OGa8tl/ |uu~ B*mTޅA9܋nL #()9!m>ȬwStN>7, $ ޺2gދ=G^a+,z#3qn}#jrjHMf ) vz˽@uǺc:>9OXzc6<8(и5ۉΩM*lJ C9;_"#qXn@oMd{-| !؁Kb !oqjL \@]V{)i6^49sJ?gCSN/k7">cX shsX*_v 8LHxfV27$z q ΐLlë$B~Xv?`AܴU9vL=2qSy)DVTZApܥW4Mݟ]):,]z`a4PT|i֬-2G8jÌ9i^zT_*QFN/h-g stAEڭOL/;>e6PZVS@[O7ZQ_TӛDm:S uL/0T6=K&O:ƻI\^`q; ,9bȹFWυ N~\=i]4{!L #8Z ;SċPXf/r;ׁeȏ5M[qTt`u[:hV`ASB'~dVDJ5QOVS}|z34ˠ_w M  Hٱ> z_݊^ I3Wדi5rNK!fO"틳Z"k|.Ҧ:- /]؅boaRr">=\̈́MQd3k\Ǐ;uhǻ@/8MҎpxsV:zz eos3]ȏzG2T4-R/7~̠ ;ǚ5B ʰnمUSJU%24:11Q&Qnʪp޵zzP (=糾O@M85~ib%_@]kʱV!'P7b%k7Kg4kWQfS&LX̚TaKeJ+ o_HL!G5Nce<*S?ECzzkD!v2UyAѢÅL!-ۤqBU5vokt4cb0L;So^ySjU/P4 )ٚBT TKUdBWT|[MVDž#pYwsZ 5$+:x;?r[O7V 6,C`jBvN 'RQclgԿx~ݕ+H>J6GIem=G-buH/^)Ѣ!6!a7 VE-oꏉ$KqhQTEztEuްQF`r9q"r9^fj`4 W eq up.(EPz)aV/S, !ބ"h 74(&?Gܔpo|OJ?^go 8Mbs$ySge 1a)|rr8`ˋ=`]k DTbj-{ʋP{HGcgy] zcvX5սsl-4"T#ZhG?A)#B9EM QaM trYG%|#i؆mZޣ"e{b5SFHH{!r5sfN b#D'EUTlgp~>S["qzwu}sʓ[k'K*KȮqɫ~C:VbS~QWy#򝑉 @[T,aL-V/%Gh` Nzߗ,Q0<(d_[F &v0HtSP?[-^:6HDWM(&%&?8ш.Jd#ؘ!BHh28h E(z.q G͜p O)mtׅ푇|S,h$D?[ b4m(^Q.#PjF|cUk\]*'[=:/'` X-v'S5JsNDg*F1InFb<6Y} >f=GW;3$R}?QfA ,F\ FӶp"y9u*ϹH*O=8qn4@o[Qpq/V ltҳb q/ c WO((:=6=wp!rlƺeʵ X~ń=0dLC֍hYSL1#L9҃&I2׀/ ɒXN﬉T })`=wlYo3zz!/2;GהDMF'RP8Q49Vj\)Ocĝ^\L!(b =%o86_Ia0@TS% Mā_)e cƢJ}`,:N0q.Uz@tYufK27=HE .pmyl~:nU>cb;X7qEU$5.Dfgј1J`:tl75`Jo<ҋfȬ9O<^[4z0J /꘽qi[Jhjٔi,}yOUv'1kt:/zL1(pS|n&&E"։g$#%. [[[4e=DdtͫFKisxax. TZ⌶pJ8e=s^1tNWBca$8e Sq]$%=9C-HĘ"#'D3 u RE).Pr X1G6e{p"^* CEyr׳&Rnfc:kLʘCGF3Dp И'38ԂQdMoN : iQ_ֆ>;hBA- 2U|[L2#&}O*b,}86|ap*;S+Kk nNq?Cܹ+J\kbsRuͫn0lվn~Su_ݚwV^M@E:LiC\M܍\_1}Li!D~׆ _gZJ=QQDUo[dz[+cE^W:q\Zj)JtRd +YyQrpF\NUӷ9!Fb\EX.)4;ݙSBXgpԂnT-31^{$5wI3;+)Ɩ v=/#>wm6!#ajF^W&SFψǂCazŷV*^G 2l#e!r ABqhaXhz􄾓KxչZ A$"uRW^J:52S Og%T=nxe#ҋy0V hAcꨎorn{D #_UE.u}B%I㭽QC{w&F1Go)vmg+CHBfv2<9i״!Kt wCbb5h9%ioL TӮ18  33/nZ#P!Ǵߙ`c=àVFQQG@H:f8K̟M"hѬN,>P( b/u@,E[.o4I齌>k^"kޑLUG!ZzO,/&]MQ~Vvמ)<²65[8 EԳ#|c##.}7L/%ʁbs?,A^| ꢢj4FXέ0C}[&#aKL }D!3@6JVYD|v-.]>HnZ 0EZִq V(eUj1=Jܪ.XQ6~H20wWOhWcZ&ɯ4 !,0E6!LSJHFLtԒ CNʭ'Ʈ8%jRUMK?ku7PU8TìUlj񔚍LXFeE9v'_2K ]#>$[|Yb&Q[%;:oBw!8S;Ƣޥ5uв?蕦ryyÈG8F3gp(E\>d"^g~z>@Z ƒ͐ofR_0-7}Qnl=N!IGuaB#^93Ҧ? q)nHAenQ-qu1vccBLt6Jt}EĬ@r7G-9 sz83ƹߜn!D(k -T6 wYrU#4ⶩ>Eeߣ0a%?Jx($l6, e%NkE2%o:slt)%gnbٜ%Ր{:K)Ʌգ b-axiMZwXk@=v>/Ad8SuUڶ~ba a 1q|߷[t!tN-OIIl7ѝ4գg z8>ЂE})@TAC?6u3-\؜R2ge=Ե{u3B5R7a?IkThn tiWG'N H ܩHͿNqP]iD 68+uȮZ tabFTU5v-Ľ%98,ɟUК<$TA\UC IQS- &ur je-*FULGL8V,M{7$0B h؉Q\٢F )MP[NB-ęެdLd 5ғ+tB9rH,ve0IĺdUEKWC ~G(DW |')GghNo{,Ɍd& a%Rf%tW 1Z4hFV V9 ޠݟ,km\B'N 8e ]z7HLܑ>gCC}^cWXmȎe)LBەyPא_ĝ-Eq^ hJ r2gɴt2k s櫷K2'43kD\Bb9v$qIT jrqf:_Fy3cO)ǖ3rQQ=z8Ba8' 76#T9\nl^%LgRq&Xy&~a#W!?Nu !i}Wb2zb&{aK:/ꑳ#$fКH> 2Q zθ}~(< Gl z6x;`ug4|=wRC̞ɥF^ dӾ.9x4!L4O;4$IL ?ψgüs1%3ɾpn1ʂf~7yqzF  ~#v%` aY1Be{"bܦ潯.$cd4jA/)~`Ov9[VZo͔H7R\,3&%oiU r M JI``Y\4Ϣ6dF.3vpSqʛMnAhU뼗0j3TЗ'|F|=j6vBk.A^!3r[T뢆?zȰd嗚zB$75ބ)Aan23r6vh4Bqau2Q.Vѵ_$P=Y}|2㋤kXҰ4c#蜿IU)s% غ Ma~mci[h<]u.*9I&NԒGxK$u!s4#D^( JDTT) $"cFEN!pT6pвj&=g9dX^|NaT4"7bZ}w(E꺤6 d7_<T^d1A\_,]k*N]wֽ5*ޑ5myh }Knu=VBk~Cer7NK^xGp 6ގz vxY>E\>2&$Kh *5qȭ"Ii(gtkdJ=)RK?3z l/+ %X!wKMEg/Ӗ|@7.[㥋ErO>+3fixPA.N^~ <7?\njye28˸jáj.o_ =VT i$ I9} C6{NsRt)-YWcNe#?p!-XfCJE}j RQb)ĪCt,GEϢ~@}z-8 }n:jURZۖR @2/d#2V6| n\)oa,4 e_=u Y@,S7xի̈0a!8 Af#2]'xZ'*EJw̑ѹE@g `V9 ?]ou T&޸Kڗ%i(Ɍ~9tYDuxV?g>MX.=Un׸?sp7EK uSˁ^2[ 8P"l:O|tiY i3@{vF|U{#J^o3S6#:`=P=ޖQ^~c\v(3@~%8Oao{0/Jȭ 1AA@^g^&b_Sp֐j S\4U| _=r6{CQ|;K pA|P|Qr2+HOSYg١o|b^F_KXac\ؚycK% &˘Gv;qrNTJq<µmG @ALmz:qyG)5y9_y# UOUՙQsQuXEr~¬tD 8q` 0~B8?d4<\2{o~GwO2 JΘq=ZrsI-qRus/lF#NTJH81 H;1̙Л!=ߋӎߝrڃЦv { azM1Rc}|κzLJlK`AGRU?cjz\.ܶ~x ϓcD5OO݌gj[!Gcr!?@-eр "gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4ba''tj܍ؙÈ>ͩ/[5zRn-湤Qcg_+/YX>6wXJ } e n{YKVulمB\Q>$C|aQ ';-@d)z\,ETMnlqWNbYvGDD~dlTJ%yrV̘ 6hDOXبBy`xNpw(`>*Aa҇=pbac?R`N+ɺj)tM4A_kЇVneqGbĸ͒x%8+Z7p3F}]  .!ҰћGW/xP%owl5LI^J5=g*H=2s'v]@6^LV1amA˄WL1Mpp 0ѵЁ̣P.ѹ Yߔ>JyOw5sᦱ:0.z5^ kGRqKr4R"p$KVQ%y&GBIck#W{ -NqNcW c~Y l(?QU4vGP95$@^uʹ5\&9fB@A{*C۫]a4-Bj3*${U\8XWRa"1:%Qn-n}5wQm6r.o 4{fd'>doX/90b&!hiP2#(o1tfzRn&Q\$Zo[ayeE6)XnS#:6+%AIx> ?Hl(港.'>:A8\3A P)l dBE:0x4M5U&0d 6XZwcufvsTsr2d) EJ%Ez%uY\Ϣg? *6G9_d!UM5&WLY{'G~XDmy6G`pFLrYӫ#WuoP~MEr#a܍jPLg"{bN)d .wDr {']>35l::02XXqCV\ )F( UٌA bMw %MnPЋȃ2_K9rux #țԸ$%Vabuo!P:tZdq09u"ɇA'J+ا PW &$x-geR2|lj ќA&|8$2d4%NƟX_}Axe4k5 h<0> %ȍB)k>ԪCkĊ_3噜bV)^L) ou+Xǁ0ʓL{O.7MŊ?Rm*2lh x>"%@}W|rmU;Uu3XLHL!3,yθ8(?q`v d6 <=O.vI\qL?rKųlY\ya rMzy6h#aƜⲊ*y)G}A<9+sO|Ŏا4XHM@GGk$dQ+Gyfl*{? %;Cq&s2ALQcB W9'iЃyF4LeUr!N o'7$3@:k#ݠ[ p( a9뱟ڣteo?I< w:|m_ |l &jq}l:mA>8UoU</ʉN%4cv6:*ӳ>gl>eJLZ5XԪ7c[h/L>^p\k^o0`!DqslL=qI'&<:-%ne*Fߑ L_a.)]'P t\K%`ju6Yݱ4eLW2W櫤'V\BfTqxaȅ0 oX=oS>Ky %Q0,2o,rYyaO6CVsdlw?$jz Ɋ)%թdbcd?2V2ZF;f*L&kWv@S&=r{:uX>)5%@:RR)$ch h]]\*`\T ;~N2fu[k [NxLa 6.ɔUzsñkPd%U(&pȽ$gvD\;"ضǕ?9ZqW6 6م\wZ);Uk⡡"Z7ߐ%20'okd5kj`){lLYr 6p#$4m=q }ĎYRؕac}&-[L7' gŘ3vJh,G}h~Q'BRUȁ}Z#hN`hOAЛn!E0CDݎA/g+Y7`iG6LAy bqI[Yl~\G !X]Uf㰰NF|$3ESjRf qł^R17/ޛMsq/+3u˙- ܈T7c򡜗_X YNuϺ.6]W" lb +_ 3 IE+VsMw-T\ѯx2|HΗ :Ԕ_sٵEۀ5 4W'x_P;PP":v_J<8c3[js!m,@mmgHouu۠*(2TB,9.MPJfJq/0i !OK©FIMywiߜ\B/` @)dcqdaDlzNzײE?*'f U6c9=4j mx\Z|+3 CU?K}o~W]kd@ii8}a8&d?rMd1^FY*g֎1vT[bԮ>~ ]=pU0Z0 !П$lBSfb=Cf=XuN%K /Qywe/&*qjgLka:^#޼㳽 ;# Fa6JƬ(#?U(ޟ%R7렆oIg+B& 1s٢r UvA`i% t >7n3wJcea V),-& 95Cv,i&O .im=ɗtu[H|.R_דspĕ/]nU$]CR-!f0>+HB=Wx}\S/wQN9nP9"~}3O}-ۡnqfjOv-HˈYT9NV@=ܦcJRi0NCB}Pք%Z;MzQb6hbh Yl7h ٝM5P5: Lq^cN }SMIC32? '`dk{!^dΰV b1 ֩Gm-;]Tsقg/NFy35+H h EH24ҟT8WrŒ7Glbڐlxqh\(؞jjY8 zXoz\l @_܁V"GOa)GDk`6 $n4Z]r#KQ{b3_} cYTF%ycR%INs{\gr|Bq`9` /Qx5/ivAOFSF8o3ބ y.whT˃o c|G;/ wPh9UlWVF 8 Ϥ0v&T;v>{ci4D䍳3"ԿSeWclї2]DU7`:$ [3ʦa;?4׉J eg(3d%)PyТ!}Ɲ<AdO.VV4moeVjr\I:Yyu钴vD^#LPèlgp]oH%N4ڵ fK$]QH}M7Di~+{ ,\ظa}sCD`q?r(59d}/8h>C~=ˢ o)}ݜ[A?#}V}!tЮ¨-2)TAJe$AQ3i x4^ӹV܍{V/dbVI5'1rF17Ȑ}2 Ž.}>`ު=Aϝ XT8W.!G ! .&V5J&*FWq ,;g/WQty UQlZ.R8*)"ř @eԃ&`s'OkǞӂɂ'/MR0~(".ٞe↬^&3u']< 7nn`_n%dmN2r 8csRiٛQte~4U`yL0{GW$|kg0E%WwLx ֲq Np{_S#kb,mMU ֛ : B05C1">bԟѦ(5j6[j2 {k}e?v*u9[䯽䈈ޚ2c4DDAd -uoYTnW.jPVOQ#;5s&< _Όa98]I4lJSY]QQbEsLM[~-+n_+7>zgĽ\.ut *$&5M*6!~zIP!ZhL"?ky)\{wfZf(mٛ@uc~K pIG(>@+m5|<U~0.e,҃U&ɟfD;u՜:0;_1c%]KTS5YA$X]jY;}0 `{{S-: 8 [6LsNC28} B^ؽKu+E0m(ZZFPO?IUbOWsyuwLِh/?lں̷dGB #5ċj[EwYf}Uajۙ}m͘Yۀ тFX4%e h "bG6AG,H}EM4-AZV̫)P|;Aw-KF.ۂڔYho;^'ӸPWԶjmҚ9+PTˀF zR;6{?z;waXM[`~$艮^mESw75fܹy45}#>:t0~2A}UCvOF='XQm}[ju?/SAR0Tָ[4h+H|t.ww kJ_:e#BD(v, <^R;lwj/YQp;+XyVW]8TuQ+7@n{nl|௕?QoQt? |X耞osCDUuyϺg8)~vw}-xŝxI EԺ<:zDm_J11?짎Ȧ.{;*΃smկPc^LU46k[Tw\= AⲙXT5P`10cBV՗˴pw@)o 5XY$$Zt`%}i36,c~hr1`PG;j z5+CXeק ^aNjiZWSy_dG YP[@$4 G}nW8 /&?QGq{ŵK 9*O+]vAJJ#֒i J=-'}ң) DEYH2i;QX|gWI-$PߛT10c+5b-֩0sbt( JD:񨽠.1[,AQ \,|fJ뽅OCfcSAO枿;)f } eun?I2M a A m|j< 2H\#Y:6_rW _ǔy ` zVtp<-Ӱ2Uv=JV"sooz.66AkP}o<iҸ dA Z;\Aԯ̈ mmeegu%Ae] lUrӒm<*U;K 'f3CMiZԺK7#~06Th䗥f6R;v##+Cbk.֦N>*7YQ.s)&?:A(r*jՖQ/A |O%Zv\Ǵ_,e wUn˪tf.G\=/Jȶ4nՅہKo]!atq/X<p`!h& 0̼ǤMmXڠh^̂3}`\K} VTF4yoұУij+[x"~~m/epU|GN?v' ˧ Fu6f%riЈZ/&ijuVԁI" lM.mU"¤I/ ɜN擢}}:;>x4r: I֥ R4MLpL)"hAnQ++l^NIu?7mWVxhz&kPݟuJўV:J7/]:‡âNs"ApsojOEG7&gǚ1nw4w:Z> GM;E"/8ba˂zuWdkDŚZ9nZ+FBNi.GΔ/@&Ȁb IEirqX/?у1`タlOAhgiF@ 'w4Oc@["wq,[ޟOOah"3c7OJc[G3Y5/ʞCmI:+{r6Q6kAF_OfPҦmF)`JTuD3QԨa qh DC#G l7i~b>K;.sA~:?At"S-Zcœ˯ȧYn_x(EWKP=a̤y)0::_XWpЎ3yAS/fRyS? 2!;~PM;k=:V΍X+xYr>Ԟ7EZ _qv4ry&V"3}2!ܡvw7qKny*iTá+(0ՇУ[(6I<!c6Cwʪ8B bi=y4,OĒ{gywy/3KA hXjT r*Wڝ; xC8-Ke ^+ɵ{U:tyJAB/a'HI?cLΐ_D' beN3)VN(,|JJߎ݉(Cb9)9u}ł}WPܫKpo6G;XJ cHAGNHSq×985CvòjK%(,a$ ~ߡQlivhXaP[i^cG3PU(D=1ezm~firI<r/;`'W= %hYu :` `sUra:wB#ARwv/u3"MKHEMlyf#xޒ)g_#Y [mRbuTbha$磪D E+Ұi 2֨4q 3C]ߔg od4.Oklg|/4 [ȃ (.A?LWLߖé X$~mw2?^-`s~>hl< l23U5dV65uVĽ1id}dde[d(wej`ō b]B@CFςܧ9}܆7DM> _9_zz vkz@@)WoJtU aRy?RJZ+`)qi^Sx(걘g$ ,a 6{ rPj,̢׻/։kLC{Rugą <%:_ NZ#j]u$pvb  [N@Tג3+OP͂k:ᢥHQd29Fo_@PŰɢ{xQ`aͬ6§kQu f߆89KbǖZ|G :)W Y'5V T;s@JZ7kw;m[c 3iVmRKW`@7=qGMF;;kߐεzѨsЧà[ wCwXQivm0"6( #& ]4GjF[/ e[v:ya(țUmsLZJ:'a,QO=j&9搚^s쌶i4r-'L1,u."4#RKvȐxy0+sl%9_#~`P>*{dP`+F]Tīd9k,q2g{F05SR ۜʬvvuco7Ji;S=S._8H˥sđ:+ mt/g:f>JUH=ubzÂ[a46K"]'QgP'0ցH:7~u(ЋsLrw.!LNp0=1*6Z}@ˇT&m2GHxW yx)@88io[IK{.s3xsdO3C(*SP$y%֗b$ͥG?@Ex-꽠 ) Z5 Axq r|\2n@3t(jț K|їII%^/Xa/eD{8؟ܢ pyZ}EX_g"PPۘJah"JS*HQvr/97akuw!NZ -[E' ݈}ց[F*$\U6}R" $lR]H̫x7E oKr S;+G&pj˳##;0BӊDiceY?~?\њ\Ft b(Zܒ 9ŗR?zD-zHȞUwr>-HD,CsR@')5ppbvjc%ΙN}P iByFt&h4f ՊHc}~}ƙ[Q:`l= ޤTxBGVkx֔"3iZTM6VFuaZn bzĚʟ^mT!K,$Ĉߦ Fx@'[9bxb)Hx;ProcCtEǠ=j zS j]\0N zeV[}k,oR-4:(*#l( *5=uN?IՂ4 O&KJgׁmzH4Z-/lcd1I޽֖+Sl1ֿ?鯴}x-/X%]Cy<哵ᚖ|8%Bю8?(5WqYMmk=D5˅:=o&@GRgv-h:_W@l׵[ຣLppfl$kٌu>=6եЂ{栰aep';74=ʏ5kݲ8)F4u)u͝}"oj̅"?󣢺qA#>+EN-$̒; ^ʑAB#60f G*RTe>v̐ '#6ѭJ$#O#[}INT!*T +v{Bԗɢ@/x3 +\U۰1&džcǯ)?Gzژ@qNbNSxR`sk/33d68I>lJW䎇qObv^g?@H -\: /nPl`WZ]ۆ9̒G`$Y3ܵlƢ~Yɐ :ѳYM(=Ǣ*CL^\S1(RO'=}l٘zbh_%s& j*~V@g˰SI#s Eq4{Eպ $1+Q6?+n,NC łcXVpG&D=b(AJzf^bmd'Eiŷar+z92dW\6k`C ᭈJުٌ!gH\|1it9 I\m8ԤQJe(Ў1 HϷ^DՔyO?x9M0)y|he-"3Ia>~C&T qRE8 :rDӺ۷Vo^8$٣cgҜ4 /Xn 8=Gg=IKyEL(GQxAd}pfކ:ꌖ{G)):.b,wL,:sY27hBNP^RƞN}ng!H$ ^ްw,v"mPtZIJ.,iHUxYߞQjU$siΗ/igٝuK i3sg"-݉4>+qs&8MiEű(o@tȍl7٠7>8pFa2{`#mk<8̓M-δ2\Zy)eHV<î S ?p>Op6{t$؞|sPԩ]{g=eNHsHd^L1aO;VgsQZM>ϟ<`d2ݓuajIT=JO|@KWL鷞{N[Z"1ȢF&@2s~< Rh6;%9ɒIp$1,G)k$,W3Grbf!:U>!QZxK}gASgb2]('`MElۥa&DGD\(@3/O<>8(8* %sa(a#Jq~_W5UUo#UtԋS7z2ߜe}oxVִ[N3HDM4؊GԉV}YG床 ]ڹO#+Q7EK%-@.W}(1MR܎4yӥrP9#θ?;&̖>szTߟ Ns#nxdHq\#;Ra4LT̟'^SKQft b lYq0 #S!:nCfvΦpw~ |X_HBYY0@K PY>~ӓ9:jhBhdvp`@[8W3KJ﵄̕=5sBfՓR%qoˍ4<( g=Ų*LÎV9f4AR?[v ̊!{4oQN$xL ЎR:9#0au/n F&^GNG>BfOgOܢ2Ez/8qDΈO"֝_bâ0Bgh!pASKG8Rxp{|O]\x l=P)>QJ/S˜ξQصсN S:>#u^ Dԕ *liXQr|t\Q[WaU0B~n6' Kf]N4ۆ0bn=2VvN(yDrUݯ[Af~..]5 1ݝDžVT'.6S83EK3c"dP<zWc/P5-"sR{BoY6̆Wݾ3M\K] ˺72+uUBuVޮ^{^h\yeR&1}7nױeJϿ̴ h@: ߠU)QT)wmZR>u3gXunNŇXb3ዖ!Zս΄CvÕ+c73 0A&? 7N>(%M]"Q:& \sty ֝5.Δ/T/9ScAO֥_jfIKbU# p5?}VYp)☒ <<5L\c[!n^wO{ &!u:5"5 W ҜFAaDmA*=v<,3҃m*M@ϊjKÔ(–KEgI>.Eξppng[v >*fجjKD$_yU.8= ̠)U+E7 ORY>\XɷfKGwѳz6Ԋ0;÷5##{H PPaChrമ#vJg6 HͲjW GA蓛3|0ov›l\Ԓ!9~]tj!&8+~ᰜsP-S ۱%EؾBwMLS]L*8-M/V -:Q,QSe!.+ K/GxX,7 d.j}$q0J#D~h>@T.cd/.G8s4fƞdBH46& ] פ8]Ֆ|K^Ħ<_3(=wMw$S}MFHEe;K^z_nyX+9;`=6Q%1+^z^%:1lDY# R|^rSh&l1mjOh=_B/o@p vᦝ)Hd٨G+ ?uA"hHQkzԵO .'>&~%_HTia ݸb_b2%t.|0 je|31ܰv!0`>^`[O)DEA20L X**-.A1 sK%:>݅a_r)usa?]tyz)/x('G+f.6ꕻb}Y1%jMy9EDڧsC1b( k}E-ի=zq1;Ӭ"5Kxw2?υμƢte'K,CP1f<zfZ>oL.)WZv`1\Y݃eQEj*q7*~=Ǥce{_A1;(OSݻѶFAI]3R7 L{TCu,7i>)"$jy[@0g+_Eg 5z7iD y TadS !yBZll=H 6kj^ƨ>hLBZS7^d\boJ~e<Chy3P=F󘡺w=\^ϨW-bfj*4=]:M,Qݎ8I@}` z@|j6͂)˧(mOo?9` eHB@iv]WX|цARItS."`4q U Ty/]o̐N oͺ[֪Փ E(4kE?A֭fB5d*Gz!$dZR hNXq{}}mt|}(EKZXSrC[%TnR1I|b :8+#M)0쵩܎;#3uz"i",w(*([7ɨSD`yK:\ô'Yo_t%$=WtCȥ^ K'g(kM=h_I@Yd0f ~opΎ4 Kb!9l0Ɔ.š azndb5`~b O.q6V0vLPye{eY7`I@ʡvnWJ.FzE s ٓx²pt"r2Kx~/fJCf]8A:dSW(}F!mo|zFuB` ȥv]gUeZ7cu+?]92{gAt<ᔅ蘪`j>~}pR[sW($J~sjVlP;Cd8VmFwW}I_(kEeO7</Wx8|PFs^"YQg_tSHjsjNyh1VssR)ߎ쟶>N1@hzCYWX%ykuRɷI`*&gH݁@D tԛ4|ܩ24Gi9rQ}ΐ[w>=:PY^E8) ie4Zu"NʽC%_]UC"#-)iyvyZ} I)R gg6{~)8Ѫƈܑ.iV0N߳_SP#MjVC!Ņ|Dx* WBjh}D]uv5S~d~: +^4]bByav@)AԨQ]wIĹ;Rfj9ok*ܒۋҐ:0ZۭY]yF }-Mܾ}Vfg򮉓+K 3iTZeⰻ|]lNW.I,Q|y²MG`wP2gs,C3svz&~ni ^hr'8{R mo R".zl_4YՏJ%`Q$ V*2uAiP:;{OJzad+%VEjCFGF{iFHH.4NawzQEfHcm4Ȋ{ح$Y).njxn%FG:RSiI ^YVuqqLZ:mč ,]52p+d: $K1nQ\{w-~*=ϻ$js\cTrfH%H<#Vm] YNҬZ`d/5UЇj67\ q@#Wn7iaaG^fTL<,̺hx-ETEұMN7a|'Geʳo8 zEP[ ^3;1dx#WƞR[U!ހ-̩-xTNVx&5rS.^OUudk#^f.헖ԂtCWl!iCf!WPsm-#LxS1u{b _ b vRBJpgYZ853bc0e8de523bc23d84ac9e2aed91cde0f550429884737fddd3e6081253c712523f8ecc142c72ee a26171661ac87092335660b10885b138f27152974562fa76b211b563e3afb809ddc451ef0d3461b2