SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 #J`R|hL`9M|&Xy3 4qr94 j,,lWzN*@',ZG$`ńkd?'L%]>P 2*>r2Z-44GȖDImW[bS52he\Όq=QI0C`*} vс:~ťA>M2 sH.N׌Saz y ܴHhv1T,$fy1K[2T}%( i # Psi_CalculiׁĄ @@Pl 1"`Sd}ֆQ?Y*4 =|l6f"F W(1v9JƖ)"|=ԂzP%j>ѫYۄx쎃D68x/z (Dgϩ 7U j^VFNa|Y_hz~k~l"&8{}X;g>Th6FU2jO]Ya%V:[؄PX"om[GY5xWd]RtCux$,;mOP7*V\ߌKC#(0G6ӦvGX/;RqJbPWJ̾ͨ[ o5KRJ rn/lJL |мA4]+忸2 []9_Ram3xBo,XnvxWT0t'D`.r}Gvڽr3;.UrB& Քz6'1cGXpVWG42A)Ь{8 #x8Ntx/P̎dJWPǾx Z睝fV<[WڙgU@~+[ތgjw`$F-իי KLn 5SXVjrcU"km܌BN5Iʈ^iRqo_`COh+S{Dfߕ'_k 샆X񧤤K8kz RMRdO8kN WFIxȅR]!7dzX׫zXU&TZ+Ȅauj> v^2 )U[Eܤ>}Qn8YYFYY\չ +P^LU6شRXok8gPfjM8؝gn˖2Fn;-m5J:E 2f=,3D0ɟfq'8,Pؓw~^4uZ\fCsA!<ͪ*٫M Hgi_}o:(cHc4<d4PcL7figao(t6kf7B5:z@\mXru1  ^P !2;y Im@ƅSѩVǝ>V)Z-yj +," ohJ@>D wLD1Cv_܅mlEd'{౰lAu%NsI:' ۹LgY3:.4۪\;?g>2ФQGѳeN~UOJPXdb{={'"5=-teB/wjQDGyzȅnڇ6x-s]⟹RcwFFL.\a{,ȇ"چ33pӴw}0WjQu?hkߓ8?U s 9]M=QjoCBGؓMڟBH"V[ .`K0ifgJ'Ay Efb_^kfQ=!6`fG`4bwR]ʩQnIw5)1қ*XTJhZn gO9&|@ .O0gDJ`n c2B`yys\Tкi^o,t֊+`Ukn|^m^'YCE44(kIn ^U"&ZenëLf\6P4aI|e}tm}R.Eɗ C,.ur8wuDbvTϠL+=#Pd"nq=D%ZJoY]_Os_eƜաcۙYı.7^G Hqu]KwrM6!mhëAE?_4S\T"Jqt"oh)?4b[DICڊIbq8@_B\ F<7nVBVo cB*q^C! Nl;TmE n/6 .δ>z`58XȬt/3ʼ%3/ ޙr2hϴmBL5k 4 ZYKPIے $<| 20䨎HHAH1mk;,;O) ^#QNn3@_X?,\h.i}jn兎AUg·s0c%d][ 9x9m.o/U:aY~s} `:."h%YAOm]z.Xhg^$ 2(NPm()č~'HȨWS.+/R? vBGgڞ^>op #mJ,^h%bmbf+H>5g{TakCS B1Gmer#e L0<֏;&LV Ts6͍ "c3/np?5~) {>Wv:t@ i@ 9K!\tcfVVݞ+-ߑe.UF(/vǚ  Ê.Vf38=T=N枂W=jlʹ|Y[hA0V* \+,d~fo#(yW`0SJ~FPoKR8|P3vlε/SDLLKuѼ2T8k$Zuod~ǯӁ>tu"{$`_f"()oNǏD_}\~ OZmRWlNe^窐<2$TLhP0!CTj i^gTOu ^d꫾X?kz4*C)X| ec šQc">,[ys&[{~6"Yх@s<UކN1QL5S~аǀ^򇸙3h+nY4N\AsyW2pYĈ=F?DncbmV JHr7[$/?h AyK|!pxqE4*]7txcHeuȬmuq "b1ߧ kCF{>DBo~iQz Zg@û_ПPʫ|[|:.V2Pz, $`Ni(:fIY lEh`ag^}a-+8g&,:q~C罼@rr.)>rv:/ pܜ2>66@'ܐ6!ak39#d4땬k ϿG¥ ͢aQT %R>5cctP$)7GZñi?HXF,@Bm 'NDG@V1րe* U4nm͏Z}ZE",ƘSdu5lrO"mh^M~\iA.pZ>ˬ.~POa/{۩V6.U'UkEmMΏ7jaL۷.|y\Xe69FWת9l|]E-3({N6룁JdWݼc*Tp\hM67D6-TI4"3p!Z(n Y]bۦ%bjL"fؠz41{b\Y0,%\ -|1 p# Rx%dw\ˁ+0bgp1K Hڎ A37y<]~qLW.5Kalețsl~ &L6دWIB ^c < tm] Y;d4R<Ɋ/b}Yjl /zģa(HL1r\o8nZǃtEyXԝJ6Wms'q˝ Kx%:&`֯NV$G* v97$'c9Dyli̯lцb ;ߔ#뵈>yZ;[ix{M"Rn?}O^vSPcu(VΝJ]L<\ K>RttM0qZ1`6Q^WQ숃gZpWfV\ifNk Ն&. ڜdDOAI]ބu4>?2: 䇚i۰4O#%8_7 ٱ|GVw1̤G%|36&ST,oxũ0X4B$"_S DlOB  R=)_c9+Zt\MA O{*;}'D_}ni:7 s e`Zs ;$bB*F65zK'XKAFXkDmN5'D,?e~aeթlFA&Qy%KyZT ;|Bl R Ĥ(/owK+ )0 y84PW#:ʽgYZ7zXZִF! r.]ŗXi%6֟ >% DO0Mb?2;3uS821PX^eARKU)d#>^GFʢ'hU͵Pjn*KU# 0wBڒ+H)tr gwgE%!"sl'dL9\~fSfZ= þu`aT'Q=x)A&۱@sRoXLhj71GufXo M"6+?mzKRo mJ^ƫ~M?1z2ϊ!UB8m1S#х),;ꩫDz_h?U7w-9/JeFc41pTemw 22ޯ;DbgxO&weV&mH=SEKF;A.[:NbO#:e*;v! Fk5 ] 4ݳ7/&J˳CkŎ !t.~Yi Yq3F6}|`We/]2IX7?Gb< 6>D_˯VgKp^aO85 g UDsx,YU |pR9{pw8qaTOVnq9]z3Cڎ#}DC>=% s. (17U FKxV k)iV|ow??NUbؘQ\_//kR =*\zήU2-''T9e)>6Ti 8!@)b jD-=kG|1>h ')qFy4V*Hqr2ZK_[( /6)U|Re|X:Sn# 7Uk`΀k+}"=86ܒ1⸽A2V\hQ9?QX{3SI;05Ir%V?.fE:m9š #hq@䨮K p,@\~KH飈C& }=v'Rؿǟ'3]><~Er G߰RC R5 8tLS ʊ5 c$% ۄ5 Jj}Ԉ-< ܯl5S[װWCNd>B GU.jMGr,&G_vWF^yPh`AH:f4ar2i݂8o'O\$ֻUǼX((緺LV>^ꝌckM VJ?&HR@カE aRee6̫[Eڋ~t}tk60Xޯ vE~mq<$/& Cۥc &#YٛE:؏ԯ,EID p'#4rȘܯ'LϠh2#7Jjp灬P$\v]E 3__.hoʓ4FIQ+枟!(tt-"YkTRX *w0B(S㩕f`+C"$RhK ɌTJHr&ToE_5yZP%;EW"hMn@*fN,y{z{;gzW'kKE;;~&ҩXNEc$mQvFHi;U|Q扌`HTLۑFh]d-2̎y;r)d(`&5@fʔ֜ݞ '?"ڂ dRdo[_M5l8N[)(lm7mN ~;$yv1FP/f$ qĔ, 0?ɗVh .qHs 'v$grF+U򟈻$/En7bïMZ=/V{ބ WlvvAgZ7~1AS@2b&PAm_$PIUc6\exjx#Q+gX!P31GXɾo#z'`dRXÂ=YgKm*B(b?9KixRU\ c,)LQרc|Y?VO`;\v pjPe: *5#q۬σtC8hZbcfJԙ+s0x&qT(NLNJa Hb ~ոG>,)d]qxsɘI;a\n1We%-tQ~}&qb#B]T@O\h&(ih+-APވpKW(+j\ 5(6WZ˥0:?7Qx%pqa]ׇ8'#<FLy7b1!'w)C u D_[Nx~=6Wxh13&_)]48yW :#Le9H:d;tu ?Ė2 'S:z%ȟ@`/XlNB2[T>J"/ mbQ 3fF=KrZa)84A }@uE$9OtZ;%6ZOcziOwf5ؐ) 6%VxpKy;(Vb*f4^c8wu 8̜*0TY[+`a]B5(FWwO~VkjѴd= Ħ8fgsu#}zsSDLB/d3{V^\ ×Y}0G\WIg(o/J.or8k*:K,0މrJ;)s3 ȅ0:=# QV d^/[YU0G;kR@ԄbrEʘo'Ad9_JEMC/jRp105Zโ`qЫWuZ.{ˆ5> N)93/ϟnhNqU,;EE9Yu,섵> Tg50r0)6"q$ R%B|61Q$Q7C! YnBUhTa*ZޒX;R\rɞ5Y3mMs,-Az D %ݚg@*^j2C+eɑ?!l*k9Ccߖ}cAz6W7L؝GS:`SQfwX0@pB"vF.%]fk=P@;ǿ9K:.yrj40E[4a3n36+6v딿BL2Y6k`$)R2mãxxWazZZ:>@=G:n[όQ{~L)H "xs+1Pr hRdcc{>QepmKVoDqIlUSCn`¨GxK+/K')TxcᣪF^C?r3n4RF۸*۾?{iհkڀn_]ߕӶ2gTo@i~d#a lwVp̈́%%اO3p@+ZnmpwKF4]+>YLfkTTxOMH'Ö@ Wj6l5 Y&RqTgR;6Ej2kz0ͣvּ>9;R( ;hvd0B⛜<]{򐐘ڇ邚+;7S=C,`}񊔹kx@Vn/I;lJMbT+\H8">.ᤓFESok(Ӱ\7@ p8~")5`@y-JuHwCöd9ö]ӽN烢IsdozfK!1=9'e=g{ <&̬GQcfvhW Fpm71|u6CAuҾ cy>R>"YńgJ<k538"Xo-,}xSTEwQy- A%T/ZW&8ۡo0Ujjg&يSNR\<[|hSAX컕D/hэIs㷸EqA"<žVphS16+ "UQ7R }$2 WLW 1,)IATi4Cq$)U6-;f"5D?*ЯTv MI!]~۞QۻOY~hAQͮ ?JU*xL:]iFߖ!f#,DZ`$VJ'jbJlB; Qb*GJQFUg9^R*3s:J~E~(G7VJ*˰ς!^gXYpR!zpLl2lN6SbKWE{>|^Q,DA Ctoݰ F7- xF},QA#P wJ1>&m&֖k%%U}S&UE/!S0|A˷mT :&G(5ʾ,7JB짡˺ldqrW_T8e`%/tE D欰4i@̟Q-Ms,j\N}4UrgT{tY,k4҄`۠^,r}M9"EIKKVe>DzH`:1FU}#Yٌ O`cZȚ*_WP娖 }j|NS^ yӚm߿'XȔq CU3^q./Y}cnECdZBHW-SQT}BrM$ꧪ]tݑrvn]ZEB=L [qRD*8qRa v$OsbNRlUnl0%;ZJe>K[ ~}uAQN<8q1,Fe5b(r=toypGйc{Y3N?Kd_!`'\8|`ڮ#9#3F̳}kj&)JdWEg/P;i6nB;^5rԫNn?|$, 9Q/0V~2;^Wj<{aڳ(Ŕ$xYzdVpؕP;;9L/gfbsJƅ"+IJ⾪B3! 8X.I[(w|a-b$sP~fC1f1ָK@+1Y"Jt?#@U$;sXs3&qКZo>vC٧Q]ЎG ń cI=Q=\aձZt)ફ(NrAۯ[M3;̃T EO㏉}JXCAXP0`'<();F@Q}}ߜVT,xfb̷,C%WE-^˚Q Í2DhW119\P :4G).RSsL4ZyCa =!M.+D[h3zw8Z_Uںe‹)2TZ=9}*ꎴ kl=n6GYxO7,!\H `-zke("M't?f~!'}#>'L7)*oF C_ef 4iҦ+\!2mLS߃IDEZa1=>D We=+)^w@p.u@sr3%5@f\4.vJ@#? אxiq=5 f&؂aO-]Ӱ/@c-k49@+sn|-Rw>]H13F7abV^\`,jiIfB\&wRݦXbes+LN9zjyRfAH rn&/v#O>^ _fSA>O DMm\8U\pPbPN"D׮<4wJH9WdN7VW)` ԘS/ wQIgZ;ɧNX$ctK#aChٖt{ jqW0CVH(zfnۖM p]%HîamqRҸu2^po6[I>x(QD$ lKݐ.rL9dvGOBj aHǐ`Z{vꎏuk֜'LbMit q{?*ʐic!P\[/}`Uw:O[^!_@jQ.nP8`bDm *[^5WT:߻_ &/aF ;-WȐh|fg ,[+owڂSZ_+kfzaa)mo k:ugalpY-N]VȶPG^G m03a_&d[#X$k珇JO(+|ZHA+i*V]4c}X>)6[ o|d}d x_?c+R٭#O)dBTWD]+ZY-ujyQݏp.'[ 1WNmaiweJ5 v/B?OΊI-!lˆ%ƁtD%T1<~E*HPr^sݱ3cFujQ+j<$T {}J@ a):g dB9u%m3Vϩ_\E&?>;^Іg'ŌGWYh5Ep&)g` -،8;Ta׶Ly#Mqи}d={^ђ>H˲k<`XSǤK=z*ՙ7EQ}HyQ˄enāg}8' a?ʷaL{]JV (j@V k&6g:OօXׁ/U\8}2DEl-:zZňշVIKF,84-T\ O3,V2Ꝝ}cf%-뉺E:;.z"TCX(*rDܭ92+0 {1(B]OIbXY݋J&>+ SUWd R=-$!Z 붌M0 ANA#vI*}Y*Z*p/Z7 kR"3GNIA} OD\G]Z|K~̫]3R(ǹ $?WJqI;jj<\&*\7$7P1Q' 땆7g,@Q7SߖfA 2LzwĘQqMW2lonyZ4OHGam(+.I&1]}_YSW %tjc?I.l|U6v$Bsr{us${ +W yX6pM W?BsU}IJ,S n3_4 ]jѴb`Cd.,Y 䮡jdO`U?y$tm` LQիƗKd+g%-tT/&ϟ>GΜ<{Qnh' XnUsbR6^!  s@,kևG;`qÀ^ia! ~O>񺅋"hS/Էk!iZgڞleav7m1Y_B4k (cT6+9,+OBz~/_5s _hMB\ xO-X5߉.Ƥ)6;PwŇ!2~t|:ȹ eDfӘ "ГMRJPS l˚3@G޳qN"&yU pK8H~32ѥKn}zD\mw`ۺscv}R, PCׄ!,al]mY$0JCHLa]|r=[`Z3@m]n^Kaɉv3vPjr 5B.j&[̞(?Rذ6F`TFYŦg>?`۽ߵI2=ScLjM,WlǦOx72QSyuxK M[@o Vz;~S/E6?"ϟsҚ@D=<1zDOI :.ِ Λ#(r[|;~b>W>Z<G䶷l_y`”ZxgՆӆCmEYtf05R<}Qxӏ$u7> gk&'K21"c><4 JhXUC-/yaDyAeqɣֵg Ä=񸘭EG91vCnքv~; #> ~S.b|9FcE!8u7 BK *q3K#*pVLd0RKXro4u+;th3$!ӵz[NaZb '~H&9`.-tQbĵIۛzo`#7Ԓ\@dzz?SD<E P5aM{잦g!Ts/.{|ibԂ8?7#3![m#x( 3q ʹuGVOŊTpI5e*Z6vPoY’cٝfX[꥛)Ar4d@goԷ^0nL^HuPL ixƢHS&FSDj$N{תS* `U Oڢ7>$UWk  Kz\ue!槲&T\,Dxt]Dou~&E3H:G1hsk{l,*>R2As Te\qn4'/E:?=A-=r@BQHRuJZ|)+5bֺQl%!p/ƒ% 7 j&'g#zF/ZqvGq%h \&qezh3A[{$8153 c._ C-v1B[= iW`J0evJ=OmT^%ތnٙ(0 0dYkMqv€YtR B\Wx?7PjQ\ [[>F`KQrԚzZFQ.n$Jp/T35CyX1Ld凱PӔ+sL#E3QkIߛȪMjJ뮢Wˬ_՛Uh1U,s;$\n1Xt1J#3;HڜUe[fFvJ RkYfêvs/ӿ]h_Rj׃?q{$04m}6A]NqY t/Ҏ̀V*1ڗA;VVZk_ _mU-]Ӿ[x<]}O`]V]AΔqIu 9*%jfH*iE8 O"9mg eJщzvvϰUcl~Zpe$Dm@-\|'=NJRVwf4cMnvNft=zoiq:5ϠQkw3MoU!ümGghUI-8]ĉ @ݓ-ݹ. bwMiGmd|aѷ5u4#|JogϞu^ݓɶ`ҿ+JKknv["$*{>"]gfh*YO1dLᗨԀ_C"Nr~6)ù]Վ~OUٰ`~C*1+zr#,kS}o  cÊ@>L9M);>>2 NVӌ*PÏDUF`a"H!V5#u]|HAԐ߰Gmg?_K1FD!Fioa *&rclE|4JJjTm=omW4:un`zn|0I`7V! &VCO$׽5> L-M̞xzYJ&|[tZE'zЙހFso՚ڻ g,c?&17LfUĔ_lS6QpT3@$,972Qk/#n-#wXm67@=Y1dXhd6&bpJK ]*,ؿM<'17 m5Ԏ H9Cc;=ULZHpv<9H8{j^д>ȣ=%uymx?nUc`lFVsOW*4d7>gؚ`ty2*b[Qmd.Z`fb2_?m.pW0\7 <f=u.90!(J?pIsu QU >%29hDCUJ}y~b^+,rb[MFP02%@a <s#Q҇2ېF8]RYuZ,?,۩4`seMQN/. apQ&L,/z&Y*'35E N|- /JձZ\>NY[; QϢpW(@lpHUrqOH{OziM9gyՊ)YsH~j=%3MmBQ[# *R0{f0X G5niM@0.bO '%G] )Iyd]76a<8c3TP(Zajlȕ}=HtKrCG?!PR5s ^1t '*Srrr33x7SkHwl1u@sT0\|w++\=.D7 Bה Y#^c h4tt `=P_ "_:Ia բ3ټv]Vb0édLy:ĶXBdg//%م]*EzU=0"9B|<}1[1RQn WwBt~eHJiz?~Ot'/[n>";e a;>˅KsQB2ĭz+oh 2q ?9+%ijt>[6ъyZ:1 mo^v2]zF{NQ2eV]^Α+ʴKUPn SbDU&r= U+[56dbJVA=bjeBVEoz([%;eVRCO[9mGm$%6>MҼMosHVU?-¥sDʡŸyy 18> 7N99i{6+<Ī>JFLUԴG+F_&h.Y9ubY*eBo#&Cݯ`Mvޣaqt l5U]nK!'i;Eo>n}H`NbKBL3Ɲu˦f[X]Is O l/]՟i+oZ,t&eWӎQg7*zS|`:Ry (omK况_ .k^瞩J>eU/#ECP#W oBXܰ-Ɠ̞7bu9 9cT#i(ֵܴLIq$\G*OJ\Y]1P\Tԓ`?Ō\lU Ys!a.9.Xv[N>n wHwi|?DHI,ʬDv{a xP>yyJtxqQIW؎P}COvS'-29K`= (ɱevRS̴3o/ ך>+8%0OoElA#C|ùP` )/@~A VpIOC>e"}ŭˡ y BtOB1fZch>>Jnͫ~RCbl,ٝއ_0tm0LDS7xӢ܍I׻r=[zrvvdqdU[&1}|j$J)L+@(;X,`T#t/Ɯ2ttI#Ji Ka]C|Aùuȴ &bvg!glyJŝL4_r))& L(]ob$2տRA]fѾ.zGXc>V*w>۠HyAXkvTmł8$ p qrxO7cl^Q{OI㋀pz puM;@c+ơ}Z%gcc1{WfWeuDyXs1_e}K)YV,Oϻg]#G͔+DL\["KbĪD߂t6S ҵvs$yŹ7dq=bviX9`0r/yY?Ή Tڭ I Kx͐;Y_j!Dqk+fuQ]N?DvŘ4oaNXDͽW9q7DŽ8}믷Q*Q( V]DN_-m 4fY՞"`$7&*w-ǁaT ;4K0ڒmuwA-h)o+ w_G aO5(n# qʻR`yA;FȱMUҺb*] jC'5YB[2NJIfՈ+V;"IKV'z۱_ (v5U)'H6{9u#~ӛU SHE84t r_70{9T53c(@x1xsi{SBA϶48y s&RǺD*DMi9Mko{İV), mi/}R.@1Ax>/'&UQ6{a.@`K`e583,|j]c(3Qn&1[pn#`ɩ|ɬK(Pnj6ߤ:qDGH p?U:5Hi~ Q H1YQFȡRRIeH[Lj]}&:ew2"PSG/ܒ4MszckFHވ/`el|dlO~,-r׍'XfR3DAv+.Tp6W_$ӟyݼ(ֈ :rEiZYo:{#xCܾ ^LEu^TM8©K4>oMûRYwGSeyK}ȞZxaL8=צU 0𐳄:pg^WPf4#ZE)!K:i5)8~]iw1\bf'ܥ b 8G *[Y U`x|ϴa[b@fr~ik$)׫)ЄPTmwB8Jʺaǰ cgڊ< \v'?zf&%g$ɡ=m'*a:) J{sLԞT?{ֿ)"sQeG+0x*JΈ=$'pRXOqX~y>} ʎntvuG?A.DNzF(/sAHl)͸@5G0_Nx4 [|0XZS%1[Td<01ikO$ m<9InA||*Y;fGDҏ=y/3>I^OqWBkicRO(o` Oi HUH;p1e>! S[hf~^ fZĖ[neeW!e'^5Qzئzx +̲.?rd7vDF;՟?r)^A!ڙ,|׋ERk$U 2xp<;VɊ20: cܝ5:;܄b9[V뗠(nuC8gA PEz(m+ZO\^>!nq/j'?v3ݾPȺ 0AfBG:(pЯaMľ=8|=GowX%SqGb̀v{JgV%Q~kIOH}GC`oR%BD|N3TZ-ſ0Di>k\99*}͔Ǵ. Ǖgj6mW pzrb>|>euϛ3\Hb l [F`"/CƒFIƱ}f!>٭܊TvXP-2܉{3ί=FRЌ|LMTI wU 4 4ԭ#֥=Q}$~0xh0Umeu3n0oBJ;.(2^p)'.%۳ XȻx %k켥.qbuYu]?t[PE9gh sHIs18uK \Aemu0?i!/{Gmv&:TN84#ܟJ݋=V_'(]7q!҉nzUUsmLtIj/1 ."I(Xif+^Cgz0}"*MZgfz8e0X6Ħq:ș4倬/"FTKĞgS\[R1Guĺ{ccݛ R>H2i{8#NZ>5m]”e$FcwBi,c^m%,޼6k=y{^ut `Ur%g}KтƲSFE7 ?|a\2v> 2^UQ2߂Ǡ>dhSl0l*TkCܝl Bo@ͱQ)%R3ʾ)ϑe hiL]۲l|S6l J ӥxoDmt*_t{vaaI#_`rtf9IYP[&4.K#̗^nS9ف\@֕ZfՑ&qLqCs狫cP6aI6l*J={m8}[ v|%釚<ƞ<P}m企7s׳],q2z(5穠?o m8-xde O=c:G.WgnJ޿ȁd"EOB1 +J!q5`)(7̢rKQ։9]Gޚ+XYK\"H>?6'|:a--ǤUV`|+ h}g Y"7Gީr<8S8`@(x:HCa7"c]  \گ-&oI@H{xӂ{HUj!NLJeZĪ%r)(^ݚ .==V~/|7.MB|!|y춸C0z4CYidF ;nWJ@YU6SqdŋA_OΚg"qٙit17BHlC$Д4w Dƞwj =sGW;>IiF/QS(: ԰$ݟ%$*p78 9ʹ^Yg!`Bk@eB;Gj\AhL*wWPjr"`>, 3po'1Yowt />pųi@ )@3oLwlld&צwF=ۆK&s8M)I a=8"o#>ЯwaۙЮ&!n:VƨBTT$HtQ}DfͰFᆔ,MK%d륙od]`F` }vW㱭9~5 ݦP .#Dc|K}Zg,P4n[k9bfK_ bKQ61)ϰDp7Z[pAD=Zu4٘D$$ ~B]tV:^Ɇ-IuX $HлJɣGv'h{rO>5MΕU6OlDM$[,4kH X*5H0(oP Se=iuP57U\33yXP3gS~"-8Uy%U8m3`I*Y`#"f@[ Ƌ/9PD@l '㋓3+y&s 鴆irp-_ɟ#@q% NQH`ͣ ЧjC<.7䌪U,%y!4Z,6v*v(HLyU;˝=dr+tӞ.;M];8,jdl;[YaɭuS\=0+3whL"w9qBIR^I&JCxtzTY劙BOǐu6}1-AWMҬ?!@d J& dKL WqcytIs.!۬D +<\YT޶)7>˗o{ `bA/Y|[a8j<\uFfZdFQf)IGW !,ngZNY-N +* cu̞fw`H)[b#]]j/ .qKL'DןA`~Pjiw@+zTlh q4Orڏ&pIQa\{'=@1^;S(0̔/TՌO4k[Y&.Oά]jr‰ @X2m]F~&!ݫV.̇/PQuYzfYp+#r!.@ 8TS} (+t&+0"yhb8:Ohh\2&ܤN2M 9FOt!$}@Ig?Q}-{0&; @϶2ypQ.Ӥ9;dSub [ޙCC}KQ %U=NZ~Qq iE!qڏ\CR-XHBQEQLTo]"p/굧YI-{ #0#)jSۚ/ŭ7_탂@`VWZC+u!|lijQbAοq, XOPatE04r#=S|l}3>\*>l#9d.g;4D^i}p.#EVOcΐJMvڬfh:njicw/#RGBي-}kXkWGy 9+Vx./?C}!:'N+T!*MnYU"5h4 t%D.[vJr xNυO,zYjl1=t8WvVG3E>_ǾǗ`gX_c$ca"ei9̼ѷZwŜ8BpF6]x`rȬ#,[YɎʢӥ' qS];1 '7nAJ3!0@XЀOB8~u6jdz^Z &T VԷ%t94N)1p{N<.DO0FW ڸey9nA3L7eۓ/e(̡dž[1xfD3RJ8*#"jS?N-=삮EH|6QЙ[[jh{W,N:viIG=`I{pْj4LEdk7}̩} ".QUlڶX@*fD\Y\1+ "`\Tom l A-g:NYwa1:JI:)s U]z~HPjؔ='\#;͖,Q,ǘ.$[r9j%i8+;_dmI,2r1Sd5 r LDB&Et\ߺ?/p{lri1I?\ ~|'P=)s䄣óP-rj|*#:'U^-9lÉN Ct42]G`žJ` QұyQpqZu+Ƿ+ dB}])~SqHm9;gP&!dg2Ԗ< ӡp{ q\KS μs_ӻY|ҬLid"!\GF2|sO΋pxDѼo0U|Y =SC&~>Ժ ud0DX=!"m(T-a<sg?6@oYfaQ.0ˊF-߹jH (p@.4J@L&K"ɦS ;CZ؋`&c܋IBVRt{e3輩Uj+ɻ1 ! hf0O2Bi$5S`ϡ.Ԭ|Jv%nh`!7DqMk!sr1$\ҠAv` L9E?_G<^2el&Ua0ty5(a}_Q$Ϩ?@#:PrPpEs1FAiiQdhև)k˕hgn in;8%D]M N%Gk=I%q"20n@˗maŵ)ʇ:;^P@~?^ryBWl5aˆ^{z)6%,nSHi'fG;gm>o+a07pl*Pr^s30V[-W{[6f9d!Uȣ%ȑIz ozTp} )zlL{\+W~8XL3nNj#>cd'Xe@S3*P=(7L㖄s0ˀﴋbOvI<ȎĚ6Xn-MoM㯱+rʿSQMGݕzq6 AګXdyHE:+{<ÊDea֤:>'fd.,},*yZiu3K <5lszz2;7h=]+-F0R"W)^)In?=/qGREO7شARH?BB"-!'k̈́S9шNn'0($^1${HM“2s!xŶkPn'mGf au:ˈ| hUhty+&KRITf"c߻4tW4B չ4l Jvpk [G-E=J 91k DݫX7sRm'pƜ<,'>~c>$9gփ d+f4~1e7ɋFnV[()nҎPX*qgN2Q?as lۦ* SR:֕{'L(&}ZKDS]ݝH\bhǘ?;iõ8RN|k!_eFQmEDjJSg&Fsr1X^UjA4oʔ0+m{rb=ޠ:4|huHbSɭ@tЦ9 p{[q򿰸tT#9RP/g@;ܼHU CA8:O+gYbn "tFە?F[t@ƽj+f{TIemHOB{f^SΓ5]0 |. ?5AA`C I`2PRHZ:&8#SB*,gT7WEIqb^7l.,*(s;+#|O{2I\%IMXC}\׳n8=0Q_wo=nG Duyǻn" D귨wg<<*{9HR~D;zi]0 pFU>-r~ZP-–{Կ zGX1wrg+H9XV|8jmȼVG zXgF-SbmI>%t5q`+1& NV @jjѺ0Xmr"Cb\,7ˋ}k @k_@c^S@2qp))Ikg e gz?6\dȯ=?|Gt${#h%?"uBG9heuNl>Ow_R73dnX =haP 3R2Z;T yWZ_8})iIL4l%EbsxW!b"GJ:޺kniqiv7/W$rt߄20KVc:Wb,lBlp?0Kfd%4Ƒ|8!vʦώ}^'WdvCģPL CHGCoMG.˞ʠǼUM:ΗYÛՓX꺳N4ǭ_n5<3|,s#[#cℭ[kɬ4,C!GwՇrUyR>(1*iHyXF`G>r's Y0C %$&3sU"P\띗ۇ@t ܫyh o+Qa\C<}N/@99p6 1(%1F53zqDs/~3 jrhi,"P`r, T^0@>\< >=ˏ%qZ `Ԋ{ڥXzss7cdƉ0P9l- H(v2?c]9`7[faN{eq6.Z1hu!~:?$_~♝0Bj 6HU&. H: U#KBl(d j[&C_Ԗݴ-#gIdiv?Z\)8WeK@5>٦'j\*\wYE2l%ŋ!blqG"4.f\T\_ }d?|kSQ<߱s Tۇ+.ayi?&7g'Xrfxe!dՐ*-ik' #2>9ڙ^'yJw~qQ`Va{>:msI2.lC_׮pXn`#1~E|J;?5 uǫf݆̹t'v)@5bo+ϗ-$a 7.mVmƣF;L q=Y} nv9N>0}x6Hj|s1sZ3B_]30pn!c ΅7~u+.&/l lHDA2T&ludnVjɼ}& E$ooz NW,8b3Z g'Ҳ>!|N(k q"[HG$⸙_k}u Q}&BCpK,)~f7(YP7ODMe (u<n i`m)hc=*sG1_2F w :`i ^g#4O,5ny@"Lz jUU8wTQ?D;/0k\\EECj|#c#W{gzN.x"Ԃƣ'n'jBo&eTx^j'Hv5ȯ+;ˊ5Mg5Ge廑0:dԌWΔHDEsB!3TgJ*ù⪐"vm_YOZJO(4rdV;Io$0&Ȋ+Lƫ/RIו/kXGRK`.YݻCᜬQw]6^awZ!ȄU% _dj=EagÅQ=ա6?Ӫ39ِ)gՍ!^o'qB Y ) v }$uAQ 7S~o6AZc8ۃB6Y-_rO0UJ/.1Ќy-$ 6P.9/5rhFw-~2EM_Y~6_ 7GL2/Br%k<Pa6o0>Egmۻ9.PW EBER$P R0XŇ|Q^5FD#s0vaaCGr]_1eYE+34dĖ i3ڞgMn2V˓ɍ ۋf7Q*@1`$e1dFHݪ) ϲD