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 H!L<| ]]]HOL-Proofs:threads=6elapsed=580.357cpu=1400.484gc=187.344factor=2.417zXZִF! N]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXbSY$ ҫ#,c_xĻfĭ^,]h&$Q `8tڄӐ!%loOˊ"( 1Sc(Ɗmy \kVT7UxURpE*D Ѧ+G_Q"&݂.\ (z?RKk2@WZJʾ~+`!)-7OƿBfštNRpdTqԩBeتzv֗m ]  ! HOL-Proofs"bZS dlGz_l}+6 +wEԏ'ULEuP@fE;+9A=eT{OYનϩXsK]~l? <0?7yB& E|a9H5.Qp,kNva1k8U4P6 oSjfas4cPK6nFW[si@:Dh_yq\8ы"h"U_)L1x -DSEgzs#I}U& b+i$(]rDlTY&(U,ؼi?q N/"d^lO &-ӆƬ#:^Y/H!u\b06x;܁s0;t;㽞,rUl&#ۙϼgZlےĊa0{W\襲),/L[$ IfةfG]\jn{*eVZ7F4 πz, y[]c3gsѸM@nVPtL}**"%,21۶&^Ϟo^[槃|MunáC{aEu)E9FQX{qZ1۩T<k OSr}xKc[a5Sk]#7:$*DVR.xk]An[ %?tNQh}7dR|& KU f+ܣ(x`sfDv -ʼc㖺X/t`ȔP[}ޮD;ጶRV"K3 .|إ&c|=@bLnGM<_T=,V, ڇvZ2!8)v>ݛ$y|N/W#J 3tDܞÀ%,aVze=Cr`Pr Gޗ5Z; ڡ)*gr&F2Ukw('uT%ǤQ΄m]l٩y;ɵsYsjClJ*0_贁HMsDꁡyahj$ *٧ -W},[q4`ͲeP}d!]K W~!VC-`&;馩ίcbNxz 6ԢnQ)?ܫ:{,‚e*;AnI["$Ղ8M&dV,#+\bnkŭ>b%p3U`P B#<.j%4@(/*FNez=VHX487%ui+i[כT,FB(9fƚߨo9!(8X( ( $7~3+$5(}`Y{PCY3|Iq(:/R`MPODޏ;! }p9cZ֭'_9b'j~*vt,\NK|aE |h3{wa4Iz?JF4l <@}9(4mr xԌE&MDqJk[1CuRlno@El^vs^M@pX( 1C$чw|0{f<re4&^!"74@ *]J L~ ]3N.m܆牚A<(-KQaQ#X:h54h1 4ML2l]1b]^xzC)n< ȯZzyQNLjěsm-[b79=&Zc $rM>|m?`w~xD|E=VTyꃰc#{lWLIs(gke73j0jg֙sr K&?n ZxI׸irm2nG7CrD[܄P EX *[4l\y6{uV/] K.î~…%cXO:R[>^P  \=\^w~)@jZ5uU=D; R3P&DG\|$Ib3JJka36X#Ys它 W?Fߡ)DWTyt*IcںUթ}^Qf*\~.T NVy?8t0DHW,܇nj$.MEwݢzK^ E@Wƒ (U\B_ޱ{̴ſPc\Ej MpMAy];AR!Qږ6h+*n.Q efEE?OZ@B/JPj&VwquPؘ7v3%ks~q}ӄa|'XѼ kiTog[dgD HB5C: j<8Ϸj7Y,C2N^Ra|J]p#H䜅)!֥hi `$j%jL=Nh9;}1az$N#'r0n{%_ZiV2Z'bfvfe7W*ݸ-G>f% jFfi2P)[- +r,AaYqcBܧ'ȁ  gg6?Jw侴?p%=PYb@+\+LCCnѫ; Nų4úzIMiQ~e>fs9 n=5j5#X$!HeAvQL_ CbaoP] Twy_W}GzO$VfNFa3L$"RZyuqjxTH5$:I&Ķ^vG!7 κݒF>yCﰰh.F ,גx ҮS NF7聩#)Κcb YIr5iШA $i'pV7'Q|)6Sk;xZ{YNHs:bwdPDMeǥ=l2J((ϙC;*AZ>aQh|c 0Q71B:x)G5I1t{(_Ixc>]2WMO?BT% YzʲXN#'Lmz쏒phPkqErV5&Dz׸젠Ohp,Rmih_s m@cCJE*,xj\(<~C3yRq#d:;9g̒0S֑ qc0&bay;D]ͽm7Q=I jU(:|zYp!"˔ 8 !"dYt-P n=nl)š8@?kK~ lgrڝp,U.e~)ˆ yZ8Z}U)ͻ{HMrH8Fq_k|h ED>BGq{dnIqdRR$V$)j䴅$rECJ8E б֯_4 4bXצ5ήؕZס;菚bց4k KctԖ 9An}hg@&J`^"SO<_ȰDv?JO%Yh%\" x<[_8hu* @ڲ~AJDG$wvG@jX7gL0e ttʸ۷*VΆ5h#_ႃ%Sg:-".4Ǡ. *-ה!sTDv8 xWmN %dfۃ]x~!4cpS,0Aރӝh \<.aRgى /|2}3ræxˍDDdo s%u'5iu`wLOLo =:}+xI$R)$};VL]}nK nQ2/EE "5т=NQgixTIG>C|<'; -6οjAE'\mܜ=%&@䟛At_"ߡ~k6 Pu︎'- S +[8@yp%nD]>3Ԥ" m:".ݷRe O]Ngk!|fÌ`lidzʨ†{qouZO4paAEpZ+ `kSfG6$q0Bhݏ93q?q<)LԌG74q{Dbe#|^  #cqit)8I}twC)jVzidԒcS,ay (:n֮>FzROƭI7ԋ|R--:Y-=Ҹ߯h /ϮGR,&gYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!BKAf0hJnPr192 "P=n6x:0%JFW4VU--Rΰ36.MR݁ѯx ߕPRVӄ 9R6dj[{eŜ <ٿVvuDxMVF0)(7b{h^_i2+z$^K-bѽ} (CJ#lRmIw׊>ӱԓZdpѦ tS<@܌v߿&]ѸluKdc!.[]Zj@X*Ѽ0p,C{9=RbӯHJοq?5H<To ,$t=w_O]piG{T9-EұFspD]P|]D->XM=)s#;\ԺF,vǕ*(:1!.]SbJNLYHpeQ B3KH[t<ֺ%Mb̭Rղ֐Ӳ-+]bU"]|`=JD!_4:l6n;tn&8cb@yՒ h1MM=\3U]aw#u7+"hjzS(ȡyyK &.>yyM=+"r{b=#DMq6DGHh$ qYIA\oSz[ VPOO+rl @5ĒYulf4FOpu4ow+ɯBI2qH^S6W.jBECϒ^%4Z4>芦=\2L >>,Q?e] j%C`!L3_NvSvA0adNg[/ d(.q\,1e%L(NR1TTn捧x`&,3][.5 @>Wy„1;'Cy;t?SBTL퇡 WڐW@C+J&-%zя(壾F8/t~E_79  ZV2C6C<1e5Yr_9quOy-W$s&ʪ.--cl,ס( kAŵXݏC;0HD+,S/Q걋瘟.8'cn0}U{Lds Bֲ4 pbS߁n2wMSۜZ0rEݯ^s1}[|DڤEL$O,- Zli8gql*3a U3JJITm8)6"FHSs"sؗpIC ]%o7[nga yFnמE|7V)4Ϝ }Ơ.`L NEQdrl}ƿ?ew?ֿ+99NaB+$YyoD.oo$WwŬ|  e%ЫBZF&{hrvg6s|ܿ._jE1-Q_ e8KO*jk[HxʅT|wk08خ!]JUWpƕmtxYFߘw > 8ʟCe Eʪag%}gix̺v:3(PZf}t3;#;xs69 $IŶb3BM|)Vd,Ņ%EA#.lV?dQ-TT)D$31yt0 `tAoݞ1AIwf 1v2t{jpAVʰ^ZGn8XT鲛}ןLGW_ɽrhk34? s9E!]GqIX?,c.ׇa>|y\c`85d"MҨz[h&=rN9,euwFtM(`z&nW(}we[J!"cv79 YrT _s{E{Ltt6}o-;sq P%2#ɢ4f ?-9{bm2?s=ݭ;0} p~*뽆Gj#ſ9biA\9G_TǼPP涼2KM$FMf0{у`$h" #.H;oÄ1jESܤ予k^wN C}@}A}^H}Q`\dDqDqPmltZHskeC$]/PmJXcu2.S{%߷V J3O MBW)lTȕ/ 3w$_Cˉ17cwHTՂ^rk{YT ҶjR-5<ϴZg ]Cq0 ~=GRz[G4ÊEgbn&W"{*H.ȜR vEYkzFhCxoLÜiJ@bIJF/5p8/ J qKmEǰǦ _,rA (}8"5O;佥Z(kך+WU7 ds#bZq!+}*N_5Ke;ט(zɻCp &@H ^]拧}^c}wRT 6{!IA"gBQꆨSD:@ʺWy(ȋ,q1O{:I}xԮHrt5)O|mjHx#9FԨ*T mVB}o%-BO>IpE`K(o5oPyX SŻGE9-McvN{_xE@9#U|X7sL=򺧞 >G% X.;oPnD][0:h%nWw2 '#n4]Z\y(Ƚ{0r${nv@uAs܍Wu2"@ 0K$#/b&!%&Bs;հJQI ^DPZQ)u vߌ!%J·'nE'1a'CmD]ِkfzT_qZ~.59oޑ}oh<߲[u;fr(#>;p_&ɞ\u0EbDL*&X1!)cS6kuyF2# Tkb"33$6 Ҵ9-i 4WVd@|~Ę7k22 # JgMոc:H@+lݫ.Nl~v+;SUt家.nGK>QF!4b eHrCL:-VϧyJzRG=b,EZ0 ([]ђRZ>'i`1_k|$ =Y{p*[xu ܯniU&;CMdl> U[:wXy37=2$JԬHjAÏ,ʘ# U>6ǯ&QQ˶EUբ⁶ĬpMzI_ȳV)rV1]*2aw9cf &# MٌySd!tLKL#Hl O!T3~u ׳68sC!C3 x.]@Fkߥ_cd<g#EO3ZVMuLonM6R?3cu DSwך2λP`w*,b o!l ^e;2-O@N49'X%1ۛ%G$U_J+\)}@z*iҍ%zt!]y}>$l {+,b%2~;;犏PN1BdS/gQA}w!lr$*EVoq 5kb9ҟ=qkREի@&X\B"&=y2}rbglB\s;3;*zu%2;lDo{M 2}~t>ZZH\EC] VYƾ^uI5R`m9 =A]g?hpQkjSY3^$sF3uqpW+p#}bT]D%fϹ#Y!aQ2GVhhM1бJ@(,i{maYx`.^z#v3 tN|uKE 訚ՉAa;ڏP̷n%IGŁA(5T *x; Fq&%5}ҹk 禥ٌ]I,`x1#-hJ$ˌ-#ghT eTp2G@f8Fp\|C +ZL 2jW?Hۭ+IM^ƭ<Oe&YU#'Fj_Gei*%BWE ﳰѰ.+ߧ;WMJf ؇rP007ZOl$AHsƊL@S[7IZޞEK.\(~M { :ͬ{ L^)Qve=v ;ԍYN<4FBq f9[|=]NЂE[HDx.@_pH6>35F8HUڃ~|VbNŽ1xBP An4e;{ܾ-; QMQr9+MF_2oiяyYGK5?哟F 8 J`{ Nk98; $b*Gw6=:X,#=ryt%As8A+tpM oNeriExl=FwKeŘ;sYߖc16jE/ cDi8a40ǩƕ*jUq{9+7LºN=EJ4nT&Ԛ"mD-9v_;Y,PҫN+cAB+fn[9x(gW@l "ֺh}M|FcBhO#!GD3߳ ٓn8矄Ypߡ#$56N)V)'*{iMuPXg樿쯠$WCϗ֍j)–6}1'۰RgȌ' c2 6#._.ؐz>WVX>U{G|kh[C;&,<7> k ~bOh5k/bDϴfuVI>#b`: S?R_V`y TrGZrj9,k00iF%i3M;iڦ(Zlf>_8(T=_- "ػBKw!L*A%tYTFS SìVʹG>^}Uj-D,fOcQ)#ba( &wz'vjBK[P9~)%7-`{Z+{tk5gut =!k:{<`:+5 kL7v׵I} okq{ >n+p*h+dfC9_ԞӶ|;w֜v$-5S=|je7IhLm(e1&,}D90)΋KbF &:['2*}"a gz;QJ"S59Ǝi+6C0R5NĢ:~7Ҕ+ &bhSF/7)wVvxW Kdc{a#rxDƹQc,CI.xs(_jz&9{[ވ):u^801g0RTj5PCl^vaڧOQ#6Ty5Yybcx3!ִ3= uX\UϦzB{suMoJ'"yOy}yImKV!p b59JppqL[QF"N'N6+nbw|# 3$EC@m3fgO@5N&?C9'V`MYb_yYP#*W>B+^7_pfmؠ0x _2;Rhpafж kLam\ kHk.Ǽ%3{1FD1CsqQ5-Rb{EJp ft ؖgΪ˦?[:$^ ֫EAsܖtq[FB 8wY@-2D Wvc3= A%V+V_*ݓpfYuX|~Η |l<бOq9#xGuG##P({hT̂N Ø2+/8YUZ~ )BԾ 0ӯMz2AN0Ŝ;,ȐRɮ%rۘ+C֮IMٌ׳/և@bJ_4K s2cMn*k]j h]VsVWvǓRX3*VH)AHzs":ỹ;xSB@c;#Df1AfzwN{k~h)A})@Z6ݢ֫-uL&SIN0qI'6HF)sq6z [0I)YvbfT<'GmV5Ұٽ4 И0+Me Hvm Л)ct ڜs^LF?\?TMSx"B)5VkImLOz9ʰ1yb+w~j-?{ΞX5sl4Ysu22Q4oa`;ޟ<Z][lZWAbLnfp`M8q9x&2z/rؐ=J偄w/V(1dw\ݲn뼪ῡu,kl%[ޓϞ?v3bgU8+D4sA&cŇLHm))RJHbW1x:RX<%Zsܧ)rz\B#¤"kYXY HP%Btj*Rxi"1u;4|33募HXnSE551,ŭ8j z BSLoR+CgX@p)G+ve%Iҿ]~qR=Eq i B> ]_"_ձΜk䦆M gWҷkTWCq15/+[$ɠnb\{.谛IYeCٿs̥7=!P3fJk$n23VaN;[=-*_J> `vӳ$yKH֊jLϡ6> ()`"Iyɿ;z˹'~+yL!U7j_z`owsnqI]B >授oi3i=')+yL}"דS LG@k& mʲ0 /sL)yem.x20X8 ?4_q<|4$E(tr)޺kg n$Q6i2Hk6㮕 Mh&:{!. Hw"7cKd_ xn蓑z$ lw078G(gEG[ 5GT Ps7P 6vQ9%li}qM{WYՀ0 eItUa9/m_rv5.t?v=dsnO{ȆKA1 $]C+Y7EhOigLl)I}HMVnf.#[,N3ƧaIWf^:LEMO`(`R2nGjEsKokq%7QWʊwyOuߦjO7)o-U#f<\ ߖ+hYQ%c% P3u{DGpb ǕǞSdOJtM5iGFf%)xGD&ag( q_J /[Wf}͡v eC}4>T-@}gD MRd( . }ȍ1e~ĸYum4j^Cw+< _í^PaiJ!hoU5+ϰcH myE?,|#਻vFl&weLSq}Yc _ E7ra[?ʟMRi&B7['ӺNa3R7|Fu=]߭d/~ 3KE-&0KI5yV7pix\+-*>" \<t-@{OhHy=C&TT)/^-8:HCJPMؕ"y8gieƢH!!q="1 9}V6T>ʪtvaI"o+n*ڇy^Q.yG~g$D/ XGIvanO3 VsyG_s Y?+\_"o%[0mUJ74fWE5tm)KΓ 6 ;9` L 2.$jm;)c$KOꮽ0? VKq2n CFEѮdlWQj5.S|m &*WDo|g].[4Kͼ&ԁy(CJvw^eT?dE90HMQzkjP`9>ۓt3ttHu|ЂT ا yr#l|9[ū)P9duk?sX}p}6v 8YZ4|6 KIa X?X䏪jDzx0+H5J-T;،t\c2y1S3+V>CYAv^dGAu1 Λ1ZnYK4';ZP">+`_;Tio\oϥSt:cf|^2ڄU0|x c80'bsabty}Q]I&-eqkeA?Qqh~9 h*?1jASعA|K p҇|;UɭJ1@P"[Uպ叆A+ Ì#y%=j9b V vkw){N8mD4( &B'[p[MK$.Wm:?vP"GՅp YPg,56sV!;gST5i("yUi+O of%;EdD;z",=Kd!8c)^*] ϜFí֣Y}P\erLȈ'v%|!Lo7}Zxc_,IWkVR\q|-Ea% JW1\wхY}\s\A^*.OuQUFΰ^Ň{֚mo?6idU|ruum!L|*L"P fp\YʳFx~UUԵ\MI,x;lߨ-3XunTeNt鎂;_VP~:HI|CCՊF\D###h#Ь"5]/R\tyMkCo gqZɄmEvu @,눚+(?`UZ>ڔ =ցCb5D\}ҒVXi^''DduQJ 9Z3uAGEuU?H"{Ilc Q4W Rt|'\TԜӺ@u~+*#󺥶s0͔,4( Ƌ@b19k~*112Ac>`Ye3WY[[mu&_,f/?ocr2ý욪)mf#76 թ 6N'n L=h+9%ōWtbR!72dܑ:3 %BvEl-R052o-3ݢRC&pds p !:RAQJWQIε2Hא3t~jrw5~2ͼl?=a ybMidO$IOU ‹lpa1y$/!4*d=]B.xy>aJỗ7kTCRNi "{l 8 _xx_Շpf5Œm\K~ "^: QF >HuJi|u-##WI$سir{&UUiS  [?a@)?||o޽y uGN5n.da ӎPA $H<0RBGzWP px9U,,t*\tYSzՙWwut;-+b0o[c}%-eL.,4|.HFO^Qơ\PnĖ{K`DDT+y?hyStn!wqS%\.!hBv6(+@)2|n, I  \ʐ~0["lb> n?xZ?)~~?ROUY‹23GkFUYGG; H^H Ewqq"-ոjvN4Ŷp$<0i0Q BD(Gfj !yW0-#ZԹadFG#%i}=͋q`[O3}imrpcʲ- O) $Q|U#H+:}8C:@(JMIJwͣi"+RkV2_Ч_-!8- ~@ٿ&8Pt3D a)T FvD5Vs}zp 5Car肐P=FtGk-"3lx^Xc8z@wʸрVflzBiHU* 10[8nDjhJO+PQ,Yy1Bqʨ`&ogO-pe`TjNYA [BwBi?9 G)wɟd` dAk>ʖ1Շ7!. +έ!U8#h~ax>iΪhg(Cc+Ȯ|,Y2)4'*uagkOA>yўLٞ_֫X7 2BT*Y,q\X8Yo^r0OjM9}AP& m˵L4i{_{ -/R3 O8ɽ|s}9uoV܍8?..iw@Xo,m+5rCR:ҩc)5T\2c7 mϱ\ @2@F[nJ{C.?23iZkWj?ԋw Ǿ}/*׌:P {Łe1ݧgNl},޺M<2,襂[* 챫[Li`G $IeBXWǹSY9tI8Z1pA>qY^ENV\$`ֹwۥߛY͸fuZmw˔mj;=el ^زU]~Ym& PR[C bi>]e0ɉ`mUsov1sH{d0ݫ"C7 8`cchh*Q q\CJB(U3~@ oך_淅m@_wf篁Lp[Z >ub(cw+pRPZ̖k"g&2u} :j=^>G"1֗loXءgB"R<:V_Q'Cv&յvɆW-c5.k,*'S%xf u\FTkp䙉y\٫G"Zl y0C(IvCVM77fIyy`؍[ |拹zد77Ǧe;Ow 3EWkVgL dq$c3$ cKtɿQ}nkSN,oQgcMe9v5(c~ϷOLezm<yCsW$n{A|srA" | bVHFpUǎ3t8 6ţ@sB)=bb+ҌIb' "JqvkC}u:7'U'Cf; c+#4ۏڗG-6{WDNe>4|8_pf>˨uP#VDSF.sV6}u|p:; /V/2TO\I .4HUuuD}h\O~vh͛~#oG q;*piN?hw\,oBsy1*i*RQKs I sPCH 6ɽ=0jB \$ţUQ#rKG%]V=hO{ٙFqU)5NVoSHS)nxa{gfC("x(tП 2 ĕޤ4>"icZPKkqǩzG̉ vd ׸Z6DcM4&ֹ\3"F{"!mqhr7"1G3@duR(ܒ8̖N"jgtϿ;8BX΋EVC,H2)=ucO,1 "Q͢!^hmzQʹc)!DPB8; hwsljإBZXje0:> k <%Vg>,z㢛_k&ئ:!Ef{[SK*Z5Rv=۾bbsbbF kWM/g!/6 WיҩgwQ&*r5ǺկriKY-o ˕c*N(ToKe,Df=isQ>A9z` 5oD@IYOU{;u3?*B&EkA% ]6.^||*`wxVOpF!Xb 'qp[ZH&q^|E΂3 ؅n:m/lcgN^Ď'i35uB^~Xø8; "?;l`C[/YX`*!AT{,m5H8B2Mg$FJיg(suԴU':2zқVn~d{br1 @[Z([~5ŵ!'>uT[:LpSF=,рNZH3qEzJ67O[]i] ,3m>jwS)z wiaa0╎)ekya7_}= DY)biiz+9 LL}ͤ]3$$LjN T/r!S8tz"UkM^t q3Hsf<*B* /N>zBLt fC:vL6=T}탑7R"H,,vI܈՘JVU#U; sVlOyZ clWTeoz"+ LK3&x#r4dv!1}RGk u_ǀ~[TŸwټqƌS'4_䭡tFh`ֽP"]%A'D\/^gڳK A"~VN#'6G"F$f:pPC<[7'/}bX,@ 0 N}w3I4dlfz0-oA"MRyK}k% BuӟӯȘ#w"E'$Wumf_;wBÌT^DsPEصy> jw$[cWImFٹ1t>:Ũw7گOX\O304a%@K9Bq<{JJ؉]f`bǒ aƆY@ HwȯԲ:@} XWWp(.O'~c b`^v49զYOuxͿ>$~׮'FvuP7A+ rRcHh6nx0Xp2ڠ*ֈb`.Ϳo'K\<-H[֡u`!}L3F &qAs#Qt)s|}rC=`4rlqc@1B~m?vj}R=:*{Ca]_lףm4UKl8de3UO8~;88Y:aBU*$L8]qf-zkS$7ԟ3A@KQ:c iN-H,PB{RTrk ^Ӷy‰'Zng`̧zmEq+sEGa}Ÿ&G|yQ`W* n(8 R)Fl8Hyܰ[h*48d)[[8As?;Tw%e⣁n]t,/H/ڳ8I3QxP@As \i3 饀MM4" UڠܓrE6!<*s&ͤ`G`(ȣB:H;L&2_k;ibaZd$?\RQȐ赕H!Em%^ҡfbuL߸ΓUaÁtA(V3_ˋZ%vf(Ť-+JE17VF5~1BWεL՚8/:weIo9]xܪ& mHnj_K]8*A1jTYR|l)% "x;"˨Ƚ?#ޞuq ":*J hܫ= r`Ћ HX(ߙIHcv(ʢawaqO6#vסQYUHPl#Bj=tp}l& [I@v!~PkX|cb1?h̉ dX\P3\ʱ p , u m%$ ]꫘$:, y8P"|d|ogӑ:рA9U`{ Q`/7cIS9DQ:R|X_+ 6p:向/yubߖҪ%mW??~.iҞdŌ-M8 8Go[@YV>m$&h:㚑 B+7^!&ga"l+cEKeYŹ𠟮Lz% .4UQǝ5;G6VmQƗ}n=7>#!N9mnq > շvϮR<9`It2z뭉myZ$&.Y4ɳ([+?0 p^@S+\õ2G1P!0u_VK%QRIv1FxὝ ζ;&EhN4PK4h`$("*!:\9 _\TevT?Sөr]iU2b\<}(dG&>hx,Br z6B{iTD!gc )iBA&L̍msǼA%!C'sa>my _lR}EFӊQx6Y5驰UhieA3>&PYq#aiƯ K`S]߄S/1k(Qΐ_yq29Y ` ^D^ɉB3%Մc ^QXXhvKz#f/]plM MZ *!~!)tz0-mHBĸcխ5dd9{Yo=6_X7hh~\$B)ûM~d+)\̅Sm2[}r{7hq"-pX j?-ZM. 0z"Rڻ J"3<0dP}Ss>YT(gu2=~5.#V'cs ~ WRqo͘ĸe1+̬`ZNAFpİ]kU} U݂` Wyy Y O>Hfm]G.i@Po,hvBD|"+:XhQd{ݷϟ7t4Φ HZJcQ%-cyvi&)}nUaPق/'vI1_b`v#]P& 쉷rf9XrDMqF030ċL|GIRjQ|k PC(QVVg2E<dطt$5BOI[ؓ hXv50d ZWZ]>%IN@kP.V4K2w&RU7NnL ܻ\ηNQ \PhyWڮ2Pe2Ȓק 2 a#qrD! U8UU,i9hDWF+W_Wf,@b? y5\]^X]>řp 93w|vALdTBfUGr4`fad<0P-=RC}J19/W rd# Z*1Mn+$A?Ne[x\/Y55=^7>a)Ns)Y$k^w4_Yjqb%墻؝ aY-Yx7BvgsnN8(dp]jKpC=䞺_m%]+c1{ )FכcsoT9,4x\wg~b+.*ι;t*YJis(oHA,KqZ oTj5 Enz=XeȢtb{obi!CRO-ݺlÙKe=z>$ u5pDDu!#Θ=F)$%p_^4wR{`JHZ8PEmdMKc٨;0(`(5Ǚ"Ηx˕US+l[Oy:׋CXҍ)egTƌuaR"Dh Rg|݌YAH! xF4Y|ouwYKNBg薡~M\#ͩYۣ{5]}TNߒ)K}QG[cu5a4E6 ] _[Ď)\ 40o(NW^iwsHՎpުJ[<y;#KPzp+ˋWK)~CGSU*>O*=qR%ibbA{yGC#="PK/, ?dfZzl{ՐG)=K?98) W043_^ul#],1z5lފ(?t{f,/Hb9E]ëlK egL &pEl}"_ ÖF\Z93v1]dRQ}OLwkCJiNV.tjz02#ٚu J*$ ,h vYXI ժ.xKb8|&v*= Hш!^]c"-j7,pG@-Y#99/EqٞHf3mBvqL] ڄ^,11;ņV3;DD[U5G;_vJ'JsPFA7Vo|Ck|_ido$ @&kWﰶ$ qDž(e`>~ F Lsga+O-.6>(e;@-y@ |7?;pU_TSEW0xV&= uk4*.c]R%yJM7k ?Z|cw_Ef`~).a4Q}(_ ֘o"[(W1[ҩs}5O~r($ະ9_<0Υ~oaRPU i8~o(J76 4+tf*.r]վB"wDKDMޚmj<Mvp׍Հp: R !S祯HB]iωջ Rst J `j";ȵsuHZQlNyn⨄FtɟLH'q E$V*O3Ox Uy+P2McN%IDBĚxd.p/0V)D"84J"\`}C{Z$x+dž45Fa<.nxTWተ<9; vMu º@q&QlIo}I a|pPȼ[V)uMalR6?d#F9ERefH8CaN̤P=.31z'2] ž:fG|]CUV:Avfqrt݂h/\i<Ș#M*]53BU>rی3]mھF8O=;tv#RexVb7AYJEw,Ɛ #&j;(2^ <^ 4S?w>!%IX)Sea&&L7mMfH/_=ax\rRiaIw([>&h8T90h!rmܜ j-CUfkߡ\9s 8rhwP)t&͟%: 1\Խk[)U; jM_ gPLQ$NCE.޶U"V*f}B* /d^^8AZȄ4 w5wp֐&m+dP9;4`Z7,t6:1~ur2˔,Tה,MAZ2O4"x=w /v[H0eQ7q9>=hCD+Ye#w8 .M犿}I L֝$N9U*xεx.ZѪj>5LZ=$I}4U"Nc_Aoj\5}[$1>D7P(xؖ&ܾ>Oיb4+DA2 t4w#[dɱZo[NY^v]}#Z3!݉vm*O0bJT2 J~(D8@ GkI ƿ[;efUq(VA\4ޙkE(j BMqb (葈2Mͫ^K&be ˼px7 AV^0ȑ$$%7wQccs~]$y&iƫ6%5Cs>;Lk!zq( PQ;r71>&R QEC]k`Q$ : q=@'7XΣL+٫:hUC =ݹ%A8`x*9()E1EIGV1Jj?ĉֲ̗dF$q=XdӴ'euTՓF˰Q*,u,GVE~%OcHn-Bgi6a7GǴ?gyfq zkމ6͂_4/.w&\NA8eu}'gW##ݬQ49=>'] j[?b"y(%^z!L%Rd`=m=\NƉ%E !nKiIF|նP ȰQ9cGW+8tA)v <س?'QeAGce̅; 5xjNd8ᄜN̠U$|W)+I^Jr";._zEΠ(o|Y|fEm*K'I#yӊV>@ix r]˿*?#%Ccg /DD'.@4W79(7V %aHs*3T'/y.^_ ϩgWپART%rvykIBkBXbv/?~zZGYx_-cb)d;PC>`[xy{W3 L[L :)%+"j` Q72X}[WМRN\h|^o i068xWFǑi3os6;O Jco3laȧ-Dr9*uj7ET=aťaΉJ7˰=4y[*YH-9"Y~>eT<\iEE?@\`I>r81^j oLfV4~P1(LH 46tսKz~ֵnC)sï: 1w*':Ո3E엨$?.f^u LMN2銑'RG`F-'?ilOX'klegYZ0c4181700ebd22ecefae42f4b540d6645fd49cf4a46db31bb55395b3dbdfc848f24a96e1b1255d76e9d4490f4c51e06588c58675790019316dd38ec0