SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  1|Dl ]% HOL-Decision_Procs:threads=2elapsed=563.565cpu=1042.752gc=94.120factor=1.857zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_C@BOL@Hv-Z߮WOw aeUf#`%?X+vF|:HD@Gak-8H҂yvF'&;L"3<)}D<"2CFB!7ܻުJ@^,TIuTfwߐ=;[gC{.Ϥۄ*5P pˏ(b XfC'i+spX8*Zn2`4q&'nNo V9i|F.)s㜧F)N((FZ1ồq0관wd۸ZL6xgnh1@Ujq._A҄t5iQG|I#S YKsYtRcswIɫXr& a)iѠ ydpXF+03Qq&C(J˞q~Aݝs3 /9Њ?6ZdŠzMe<"1 w^5uvމ(~>L+?b/b س~N麷z, -Zv]f[oc\RB#z~#D^ 眅^ZG=3IaƇ ܔj LYzJ4#lPs@.NŘ+xOr'Jjj,޺}"{y75VB:x:\{ .%lPf90XU +s~\dٙFo^lAtYZB,#;Ƹ6DeJ' =$߻ʀͳrzB8iE^O?ۜ8ikׁm:b<"ܺ(wԞ܃J)OAbڡp#~e]ˮ )u哎g稄& Sбև =UMfeLې@<J]rɡLi;Ln%#˴#a+xYQ}#t%'_{%} vXf <s ,#3g<}I0t-18pX:i3K\m Gk(wWHN59#˰"/Jt^Zzmz0*sz2[+any*S#1^rne!K`:$곯~3"] _6 ISNiJ.NkgQ.*MΑBhnӥ[ѾߥxL@I|#!j@P_jБC@ i5Пo5ĤGr\ec4Oj¿^P{?,dS,L9(s94_7yL@te)IJP*Jtҽ!,xXW`vwgl#9.a4OқkM?IQnߑX/ (ZɌhZs4)>1B's JЂ'Y^z$JppfZ 8=eכ4{piS[d3;w1gꧡ% -EB[#hT$$(<}s?߻n]7V|4v>m_'>#xΟ-* 9,(]OYBsbVMlgEU2ǯP&}nh\`QQP֢z ĒG0*I`D:3lwt]Ep~="߭.1uIDSZfDCRio%/(/{S (, v1"){NxXcMX5[E2|U:ȥ4z.[>@O_ec$'o ?jWm\J`{eHkF]JNS&bfU4xQ;>U?E"z.$!5ʎ!A3Xb 3(Һ>fZ'ګuB^5*冫@c:eszG '?g/;k_I)| ~G<`oqbtoag$-z)^?xRz56WqLx".C ~:ة*ĭ9f <2kقhP ;*{ ໱Q3S ]ؓ>N4V; iaz QiTf;wS# N +5\Vcj\R9B'67*2~#\R'h(JRLZ_UJ *96@[z&5- im?5ٱŖ|9X[z1Lw%!֑ I Zpnxx ujwU;= lP" \9*!ۦ9|ٯ+zoc+1"VϖA9lEGC)v1< Svv{zb~lа(g-G|@wҸ~K%*jLd`.jLF) {SP#v ~~l[9|OJ~IsFoqؘm)ph); z{k'FL1ֺ҅ c QxY f$'j?)Qxf1ޗ mL\${.2]K{CD0pE=1_ 1s/@ɵ'E#6Dn0&QL$$:5^°! IKImfg)5Z_b0zρ D>3YP]sWi[Mƨx(jϣ ޓpV뭅WtwbU}"oѕIu՞mfc a'AؽpbH]L3i\[^֥IJx8vwH GΈ<=D`(Ծ|k*YƝn2^\SKo. RLA6d^b#J+5YlbʼnbGȯEC Ds,Xc2&d-%͵AFYgtXB-F-Ntu:.0u9$^zk$T$`<388j5x<{z<2c@Q~nUcv2!-ӅDiixm/vUY2%SёS8iP=00Ɯw U[My'g{ . m1A@]y؝N5W+'к^-zuYmySz>hs)Km`WƏO:2-+r#8-pͨ2"k<^% wl@5[YR m;m!oDoYW:c mˋAb<@wآ$\<dtYR mq4Su=ZfpT 1 HOL-Decision_Procs  /'Ab3Y%6j NoRXB >*@r> 0C 3@vmW Sj'KMe ?D'SDžug( Q00չf)1 F@xzi4W.|/ ^ԸB\%&=g6ΎiT!%O=8g*mVOL;حH^ \BVx,_F@} S:Od;7iunN= g*~i(Ae]LTZ~l7ubS]p  ۡ-Cf xt./f1JzCلN pE\Z C|$MNqfRX~Y?]`ArO\B.'2EP`6e?bԛj :-Yye]$_ ko`$NRq@dЅ6/C"?}> k$)^s !Q2_*=W-T@\VIbzYzR^pl\E;3r_ZJ4pi:M\(&mڸm Vڧ 8*|"' D4G7&sDӅ 7YMUƆ9X+Ѷ͎$;^ -<U DF) \NN }<Ю/)@0<_RA dqKxb8Sr>g: ?yN۪Z*&]vwf&UC h/FcqދZA c}}-xuaz6L1W, LNS |%sۿd(^৛{gWaj]D#j0LwG;0bhbif^Z)Dm6v*͙:}j}˺՛0lvpq>F/o!fJYR%SC/wM 7mT2j,P>90Ѷ͟q !*}XI/,q5{E_Ww3o hQ΃' DagYZ7zXZִF! V]ŗXiɟ17L? KxlWP8SաM~>fٺdd*!Іۜ>D6A)"V<.h$H˰Gl_xt/4.2kKM|br)|t_ЙGRӌ^DGFgA͌ cIHh8_+3TYmqoyF >ٌnċ_9P.]X5 Og qvMn /luB|nk C T\)c7?2D.*c^Khmp:R*Od#?! As~Q&* 7͖N#|io:l>Xeʿ[]̚MRӰ0*m^ ^v#>nf| -0~ UskoF~4cVf09FX\T$5'ԁ9|.%%l֬eWWekǚiR- gYZ7zXZִF! 5w.]ŗXi%;Cep"YG5(Y˺n^czLF%"<2fAT;F'OAN?ͪao90>ڰt ~TCs\q3$Mrd; ?Wp*lH_Ng{P[cc<)ʏ>ْ N (RF1&100xnբjxHС!x1 jP$Cdi nKP=%2 o#7cLC?f* 8+8_yG`1^ 1vY5$OE"N쑎O#R6猊JS̿B{T#CRmF^ @g:ԧ'ORh9Yh::0v}'[eعSkS=0 OPB,|xpf \.G#*}>ZLWjhmpgUt}FpuˏDտn|ů"*xbJɄ* lIPrĒD<|BI|WMPtܡ00:_j"'riCڤOJf]`;箾j{H.2}4::xG:-Z.k8"Ēr)\#@7i [)̮q!fYyee] BQܝPh3nu. MP9ID],BZ=kwTslMlzqg&Q&j͡f.&*Tv Q_`͉&CqJX{+3z%(Pd8R.`ǜy`wy@ѹɤ|0Z2)^ttdaĂSϯq/2vqn><2o:d2\w~W[0Yi.eЖ 75zQ1,S7E5y)a$7m>gCS0X)dɀ ,PY4#(RsŎfǶ`@uic>Om:=6]ʞd cVsXz@k{ \G)RZ!fXא+Q_I' xԕbU&׭O jthdV\!\O34Cx} #_T9Q^,TF|3 BvL?%jhl<}; |n#GF|J&fEw򿴃ra`i|ZvrY]BL+2AJ=J/((&!ZSw"Db`tȣ$mb=w!_r>BY}P/Fqz<\|'.5'"CdXX&4هQf3%C+ڝ;V/"zJ$2i)Ak ay7+Ҡ> k9xsƉy!#XjE*RK?+2bD ʟM/ {l;qـ(E*´4ϛ[,H?_&Gʍ=3R9ސ?q!.42YVFJ;w"eSMVLyp恭)V)ޓ0нwK>jPCLomA@=<j)M--[jͦti]eȻ$?:2kG{, RzWhr]%X56*‡ꩲ]qjˁZd~bzg ;OBu%N vݐ7=Fo޳wzٶ&B{jlɲ>:"qL-Ny?tܺPӊ=j4K ,os+彶M(f%_Y+]G&F[j iʎ ћάrM WG[w鑢cQ3}p ՛'"# p77f3UvQ&@G#f9q W0ChǝG꧃97e忰U(M܂#3njXE`Y;LӰg8aQهKBwK4 G-ʣk(%"\-LSt-,:vF_X#S>hC8EΈPT*.8M{t\3o4R<-; 6 FtgO{]#F, _,9!2R*@S>81#+'ίX>(TwUDۚe>}Eߦ`\vۿê\z¼ |qjK춱L^Oȿh* nmYdA׌QxgU#ed|' Wz>`~LYH[/YAE(ĎF.79X M.Mء9@a$.-WwǛ&Zܯ p)6{9 +@PQ 1S6ԕD̫'[ /1Ҡ[+tIe W'41#r2B A1n>#P}i\6tEi!?IV'|3f_Q}"ղJ Bۉ__g1e/H/gdW9K(bFbGÏFJN2 8EU hV3屾6(i:f:6O#'0 oX?m(D-Lg,7yڊ^W V^ {Hv"kBʄ[=Yql/ܯ3z"KX/f'xa='pf H$F#Dj޴bS?jA$wmzl}!w@\m~u]BxE5ـPM4P}TҊ%1 > 7ל wg(f+pd'Mf7H#Z h:ģԨSRy抯Y9dlo/Z(sTwD[(lYJl4 W 8 hxa ;|?`1myU2ө" ;^k4q4}.h&;< Ņo-+p,61R?l&yעDrz(E-5& Jv{HjƒǼލz v$beTCGmq 8-vS~J9@D]$bcig7C4^zAjwQbqO&p$v}Lēj#oZ$0F_K.f K|}oaI݄Kxwn7pOAat ԁRz}/ۼ /թlP'jɒa"Aw5n!o)4](QQԿ73\}ﺰ#O}ٸH<M&v6*T!N.nE &F ]ODL)9'@1?KKy0㘍}CM"=@c4Y5|Bbե_GXyʌNL9yJKF=>#[n4o@>I&?yT0M0p 4SuNL?xM[0O(.mvB}bQ%xLy=C'׈U ݓIWeVSOQ݃y>iſLU)f_<CGYI6T w&uF]LHoLub@TR/ veøMrJ%ߞbhQzOPTD`LK}HA_~Dգ Ur8d>XUo3{idWx|[y\>7Fc)wHHZg4!EKȼ[ hі|B#k";!(2yؒ&;+ƫ(%CsͶ*hS5\# RA2e7 KJ.f9*_YB?I, ;!tۢVmi{,eqD`^86 ]Kbk 1ct2ɜ`= 9IGGYytҭupsw oEI?"rڇ#On-ckhr'_}VyQT FE7 ~-P] k%x|݇}6YEU֚ sS媴AHʾnΩ`i  Bબ)ɏlwOP}Q0L)*f` oM~v(Lhc={?^s$܅cPy}tS48:iu2r')ZMMɻA0SQs;E3,@k@8hj(,I"ʢ ,Cz \QQB E|#)#RY o3u©2rnJUJp>TL<"f¶rm}_AHyy lg3Эos`Sl&&Ӯ zs5C< MEjR ;Pxa,ǒF$3t[6;jee~|+JӢ`h|d LMub-v@o½ć%QT0n"m(D1yj\̹͋-lȫ[mA(,kbM~E 4=`~l[⋿(+y"4W_e{ ~QqݕMJƺZ^\#9Ia+I_r:4~""+:*=CMlA^~]4 >YXKxhE*׳anG -n$U$mP/zkG?"_|^{i9IdYpIAkNdԽlr\fGŅE)eQ V%czv}hdZLJքn( vb d "2LSWꭀbp@9- +a9Bnw N2G᪥P{G`oX7`wײc3{i({S* ýtkդ4}DuB^Ir̢L5 j0^)c!UԱm2@e0Əh TQ3=u3sB4=Mt; ,FɅn1TE}sڏv篎_ӚH1##:!:)_SGr.$Pd9 c8G XzVx߳bhÕ2cBD =BLU@a\Cu*[ med{6kvLIGXi0`#VE} q6L=9M5!ˆ$Up{)/-TͻGf-BmhټUA6Eّ^ZHjD@GJ4Sŝ;,$=>Il+r-8I-r`RXHҪpQ4 /Dp{P0[3|Hޣ.$ҩظn&^VX'.\HZj=OR~8L 4m=ğbއV+#<#Ӱ>3_xL߭&z ɖMρ:ުXSk3E1>\i Q斂imrVP8`HIjqB9^6Y:SBytN<$LMnK8ptR6Ep@? 4FEϷT7Җݰ2/ٱDQr&0<!3[vV#ETWdˏ`;KIJQܽT`֡~75#bsK%f?r[E\O( =$z>ti1)72U 4 dO|Lٟ-a6!qЁwS?h)4'NSZ1>˄ ՘!2owx,C!OYMc bk<%}v;Fxj_(`7OPub#ʔXwʨ8Ki==-:&oݫ0ݎKJsUCᇛ>VA='(8,r9WSuN"կ^wMSw4;z8u\xlz:uqx |x+L6%dw]币%asyy.e\ågŤtD;9J^9`{̐w=*ڋ1&j`@Zny=UWJ0fF {%%,~+z j[QܽM.ݟԙXAaz5G:]թU)|z@4q_*PFIN6sZ͡x]Qr'ZB,Ie Ra/E4o}S #DAUcbڛYLYIpE*TW#ᐑT{D\7W¶{ZK:QejVѵSHcm {ʯ&R1:* nNRkj# 6! FV bcBγg;xLV zzַ;^Ă$Jhڌg["gVt/ 1V\gnƜrq>[+Jhy_\0\L47tu"]5STIJx+ehusڎv7w1K-P| %tf?u+ ї:J{l']0*n TO)wMgCCO%g -2E3[OSv\NF{7%27XBLx^䘉Jc Sd bАP;@q(@,1dYGNg lz4;f7-P٘ߑyKE7laČ+yDZt8 kA1rFz@̊h3ީ@D[P;CJDǐǮٲxx'Dln[[~4;GвITj𚸧;جF3 )0f8K&\:U}bI8TqAژX,>y; 7O}[ ޤ~|`N$/U=DfCpe2WP^}Ekh)7)h@r ,UE V靈W$ :{`َ=HbفCB<=7'6= 0Ĥw,b5.uikpi>=F6{ ˴[$vVP潘Iw3m,ujai׎jV p:fm ĿX7*u IHF,4%r`S Ⱥ8ZK[EXŪ9 VӸk7T| ?@>0$, nDŽ? ](/MH3F/>!+[&;U?dcgs"6=5Iї{=Rp쑇ZLf0?֞kRRHT=iHp10 1Cf\lF^N t N> %gk8 RCljq  ^c´j6`3dt*rYXūel@,B9g\՗m:i¸\ZZ#(U1ʯmV 3erc2[ؚSKObXuEl_a>(~}O$R,q1&7b]rmx!BOG{@xJ 8(kEQn"7k*ahd},u4PB@o)) @I}ry aC:ɜ₋biHmD ̞= .F"Ks]%[u_p$c^>#{ ip˄a5[ >'ݤ]7p^e˴9(箙lT9:5f knl&;՞Y'~TV| @GT2G~<{\0* -v .d}/"1E۩-x`@pY$H^sN_ب#^9go;s'_ԋ\- 1~b-xdF&4dtbgDժQe!5v7qÍB_gv1U@8s-'(r?t$:H- mW|5S^'y4gM mto׬G*v65/S @fH2߄IYV%VHNm?+QhkA%ZNےCPV, {V5_V mK8HGY*#8pb oLpی|LDx,[ Lv S&:s.^+>er_A,eUj<::e)TP^(rI`kM,2hikqpqˆZ{35֏[ȂW_%L | ?R>MW19Bk2kY5 -d o,̇=LK״d3}Q7J&g0[`rI+_@Bݤođ)W9Q dQl:zuf"!g!~LmP_YTlGz}z)x&i&"_8f1M){'4%pN# =lJi&9@;M$Gcb,gJq"`9( O1BܚLg֊.?%5Gиe[ou&WU2H/{#y{Fý-y7GvXȄjUcѺIաLwq'z>IFM%/0 %Ot)'P Ȍbs'JpQ{A:(HCٔ+k].oޥUTOmW,ݒ=^?iyCe֮܁]JQzlB<r2JAiz շ-epÎY}_ף>adign Z['ҿsƱM:>IXs^F_E|q0:zIwZɉ@bj1gK^ebZ1sVB^k.o ʖjb|Gv߰O ga3aQGIbYү‚ L>dTp^SRM}}l܃(FaYz쨙m&,ćJjJ?_oXpf3L(k $m"wBSچeFyUQ:})63vAiX黧jR֏M'kBAu~am"8//!6V GB9fYb:>K!u,bϧEYj!ǩnK6uGǻ5qBTě9(ubq& 7eN&K7tċX z)=MU#A/tC51l`2{]6`(vΨF@W`NѼ#l1dD@1:[d;DvGΒŲ-lQA4?*#YD缲oXsbs"uyBW5(PC)vDƯ^Aoit7( ӈzri8 &T$T[M`pd ++'4:*K%EZ%L(@ ;EatsףFDw!fQW_s.mԳ$^"/{(tw8 >G&`:ȭ8JʅNb'MVu-Uh;Repxa)Z<,Ƈ%ܒ 9r-BňiCJX( =yM3@&~U550+7@IrʼcuDCWzT<%q4%lP2e=8O瑩V~%ךgnq žq~#k*''kKPÚI%\ #FdYI#P6uh::WN]BCCtj7Lmm4a˔ePu+r12T̢5et#֮񸎚Wl'jSF۪rg" WFe9`bf8jI0ޘD*PP G|az?DstF=Z? ' \ VOSJL&xXv@JZIHvȰU3.Q⮲yMۥ>c,0ῲ?9jSӤ$4ͥ*>_DCB餢` c"N+pʸ }EEoPS3XRAuD;p"aߙרW@\,t? +3<.)Oe'uqHlR*~a #6S,Vq|6r'mnH1RK-x?9Jš;U7=0<XXyx}`%`@.u8o4#%A'x~: xۚ ~a~k;P2"ic'SaC*MP>3y!"i6F/qKDnC|iyedem1zדƸȄ#Yi͗9vnA@5(*]Wϋ ^O|_,Ts?>~(Ӂ2e̱0RܵZ4,rʆWitϖg1=o'$+mPǜ_ ~ z{r.V.Ĝ[͋e(FYhno~4~DJa??7\P_ͫh v^@VS9z~ nluܮlo;)zHX8ղvb ZcH9F}z.IUx%.iAՇ$- o}.tA ;Pv]SX1O(XƆ9(ڗ;wUg28b6[WCz~1,>z Ŝ J>OaX)%ȤR `ۺX]<5qs!oڍCMaɸD|AIa$2lvv4 #p 1hDVW ]pNM+iB FpAANKB2pO.DBFJ|*fy<\q5(m$5_.%u[*_[kQG|IW hg IS@y1lk?VW+P4"QCwz5RO0AA\U=R$V#I#OX ~q+MHaGGG]holϖI&gô8gk# 7 ;r-=/p yN bnXڶÓL Q$$2Jm]}T683V:bhS ߽W**ǂDF0Jp2Re)2W]˝X[\ފf19禓)"!Z+>U m\²z2e *l6z&!?艦Ԡ)l*j%/?pQ5,yVTt^m 㫁]MAr!3UW(Ob +oC~vA 7v >r5߾d=7yrv+Gbl7`H(Z8$dQ=^4}ϙ5pR2! (Rߩq/ FQc8v*ߍ>2l7.T4"q:'g07;_dԚ443kXJ5áPs;ԣƌ"dOe/G?9C!݃p"Xݥ)=ozy8DZf;1b2\\eW 'Wł<s{}fIxGN`2&VmZXk9XU<AY NKSMa%5+jN9^b福hq5hlhWWe-1dL!ԥ]:iC, u71(Ox  Kk}\bLrס9鍌KŽmb~xBzL pwYz|DW&)CyJ 6ery?|*, t)MqgM{F!kE ?xIcT;`,K5{N1"mHdF)0E?eBZѤP:ܛh ZEῌBlVX=rI]YLFiH+BNHjy7wہ25_u0+RB;S{\%44fk#18.L2о=D|9q"rl]Ő\Vao-RP;"Ow>WɅ*iJ"6x\nz̪up҉p`F7kGw2 56 ۢw$% >(7UW ?Qg%rך=':"Ra-fXU`WU˗ &}Հ*.M^Q g-pۊ{fos ~13 5M%ׂ_= \iq"u+"`-FTc9NLP#vI`#9x]6A پ >/2~U4!l@oJg_.y"H5C3m 9Ch)/vWTTWA%'* )6*٭ NSi9 ;5‘ _?EHSEQMhDEi4@6x'~O2+0Κ@{8CzZzg'|/nIK\(i1 tЯuCR ވFx@$Ƙ:չ]qmoZm`Y0J|Yhv|xKoRЯYu- #qAQ!9[:\y^vNk<QQ,# 22ݬAh;H(LO!  ιxE'۠;>?t4y-Xn=9SUll-CӍ;y*2&y{S8z( .~j_&^-ŷQ_9B`+KHO9dw.vo-PkbȲz ,F~&-П'k5 N7Y:M5l/[H!ר3Z1퟾k[]/<|E>N"g򲠏|nBO֚LVDֺLk4ڨ7~xË#%(gֺSR.QK8S W ߪiklB}C̢aj;|fӥ3IG#]jk h:h>.$1LwO6d9mf~$ly0RɁʏws`mE:X HV.%NaC?ާ 9``/Z\aR2gxM,~p"2YwFTYkm@rkG?b~7QGwtQ}6n#2с@)"3קiX2 ٭C9=VO4g{~[fr9Ֆ9 Qc%abH;G>jjK0^lV۰'%Gz!rWAв+Hv-=;q/P芛ql['BB~^jW1Ipr~?}ILQ̫Gۮ;NG+vC_@ a4h;ڃ摘]aT DQgӶ<ܝk\&&ݞ0RlW^!X1#=_zf/ݍ:ib*+1U+4,3&FqW_|rv+A KђJ*荥8`x0_!q m: ,IG,ÿ)^>hhic#8F *~ xo.&4?@(?d`(s}܌sD+_`̊ 夤-|4NG "{XcOؽP{yzs' d<1X%S-H cDOMu槣m3r3ڵ~ ob.j5|[!nx$6KLX66&R4@=gXѿ}DhbOn~jw01Q1 Y(* NaΦ|״n"[\]9 Vo@hНKتx3!'RD& P?dž%;YQl I":&RAmөq$/ 5Y~}j&T|F:6Q&~sTT 2YbN vxA4ފ9{Oy5G|\c>/6E@+ȥ9tzvP cby'uJwWM3\/ 6S Z~, ځ&ui7RfМ=z zZF!yr.Buͥ ɏI~ TfuY Db{̇EfA}oh%Ƥi_ސ+?F4/qD?5NlVAP|+r9sWʱ mه ,*tYƬ(Rxl7>nKՅ=H0+_;*R 2;+o.C A 16%Hz|sjv@&kzv"P&t)ě(0a&2!Wl @՜ߋj?$ XNTO@]܁ B_2/MY(MC uTq^YCL?l33hr3ԾJ@zwYL̠XE]LX:?yWX;,JhcW{\t MEkP"}S"v˅JUi+!謊%^Dmg=\DH]jݱyŖޕt I&Nҿ|k5A== mDBn3L:>*̷Q ĺ_t;Î?V%V{)};)cG nBck¾6jR4Ia Af ,U)+pzFBp}ϸ<$9,=S5r7?r) *Q" Z7*@h^DzX߁gp4ytA!vDv/F_$Q2^v<{%a&U< bnOD@qL"V9}dm3( z2;o &hry*xF@j?'~ _<òs딄&C&MAކ+CtwIʴFSM¬h=WfPc/5,9(($}c/iJ b}od ;`TXn ۍ9^vvG{{^C^LzHU&ľB_Ag_q%/yx|UtC|_>Dv%dX[>w;VFg*(f{+:d:gmL,M7"NQ}ҕQɤ(-;尺tgճuyH9= =dUT4tI_H8"nr:ZVܕf=}2 WR.P62fir0mG ܅J\2~EÿߴTKo&86LLfch\Bp79皹l fZ /NcҕWl9 uYkف(iNj 12p82 mO֥ճڭ(Uک&c+ <<@e3 vF8;-o'XWպ[6$uȮ{Mqul(&tyH8mRv`PMsOΘ_Diu"[ַfj frY[#^Alj$23#ioI(IELo f呫MS[K,V\F˨ sm}$"nkChWr2O{G9ƭ@"ZbJcz vR\.o3ɥ9J&Ah'Nϭmԙ^Ŕ)93ž[0hz]1Iv*PR5]4O#2FHo";GSL1:Mw-q_'f iHK¿/f^>VgYzs؅N#HtŽjTҢkfBaTcO&xjҞ#;r 3,^m Y<=NNj%%;(6n[kה=-=)bN`lOYi6q"HƏX?OV~~jX^a8IG[zԚDm'W\ڞ-H\2ʓ Qv}~*a@fIrGiR7`(hRj Ĥ`.sTPU_$jVs`I s6IA՘|z>]:Gg<+\ɸn@X"CL*-+GW}?]6Kmp;࿿.z2ft&EzȂYC( h%[ h*9K{EO/_EKA_K~9 ߍZl;[&,½:/Y&fGAyrƆh]p:A)#f>tnZS}׻[eYHf/eЙN5wNACFp[M D^c&vtD]P|@Yjn^ ]6o5td́Iq>jo>tc |݁0wMx4Hb bk%.${3 +-`MkJjBʘ*CdWp};޷j91F20\%}^.lBjA75o1~w"Y= *F980-r0Btd8Aݮ;l9Yqq!LeAP)<>U}$5_5:!b`qn?bJPo4\o^6vel4N` 2O.,p? B \hQ؊J-o# z!Ǧ^ߥq+CyiJ  |w;FO^Khht­S(Ku H!S#CQ!7J`5[̟2z9AVz:0V@;"s 9 hD{ `;n0e%{@8 A[Z"kjL$q78aDbBUWր0x >gv$IRɾA9TXn"enim-eHda7yx5tu<[;<:s+f'Z\Y-,[*It+B!B6<ZNGud,>Sl zӊ8w9΅񆒠??AaC ;aj߰C|uX2)6M[d0IIu]%1*Gځ(M_ y۽hՖm} L#a_OU.~,caLYՓ@u} ;B0/e sUga+A*]~}o+vS^!;,VEvqWҧD-'TO]Ͱ[d@X dWATj+DkL_𡰳3yU*hc[Җ)'i{Tr$wV=K/f|S|C` (u\dʩyckI=Qr:-~"puEt0*)6O=v=FVJxz0\)ɟgv\;'~s."1%^DQIk TڹnA \&YK](22N)K7.EsbbШ3Vz hiaC)5J) .mT*o0200'b-!TLݼܞ3KNIw⩻TV |60|RH0 )g)u$k-sFB}a;Br *DM\#Oxn|^l oW[kd'뽇鮥1lpG(h_JD=Fd4}mE@H¶"*eH.5<p_͈nII:XcF ^Q˵,v2 rL WH{A@e*!չ{"bI>Kq3 䅲ٻjN LJ ":XR?WvX?yvl{<Y96oOjCx\`ODS#~lVuvq& v -x A`cp= |SW"@F jDZW>X&$ZFUY6@🗘B6c|j #DFvZAs_o︙{}\uMK~ğJW30bq螄l=]ݥzWD眣4|FhZK'8smptr X2axRb-܏~<\ZA^fBv9Qo]qO)܌ˆDBMw_I֏#x=]&: 7_֕Og]\> mo;9c-h(M|$:{Ä =B+yL]#֜+j!P2[H+!oV3SOnzxe뻕X.xD_[b._5@OYSH٥HMnԨw"$!7O&M24=f}rkrof[2=yzAC'K)< UεR&TP׼^/YW-I3PL0d8יH<^ &MPr3~ϹJ˯D,?]ǚԤ%Y}SQImp@^>k2ϩpň?<$$Dv(xG%+v#hR/A 0nBI a30'^d8:/S۩h%VAy ˠl9_ 0ct zq67K+Ж1N{)5t>Ӄ}A: Nѷ,d9p6&f>œ> _puiT#`drď^ `=' 4"A 2of,6KJbEѦ'tchɽ/4T&7^v/Rzu߂s<p= 6'غQ 6jͼnd)lI``pT^Sj乺| #z*OwLwiZD %- XV-w~>}IݨkLޠ5a"oGy)y~FO(Q60_iayF D!7OBf&&R_c"h7?zY|\Y{um$wڑ]؉!jh$Եl 'Ij[FY5Hl8{ʬd6X㌭vo,\`Ӕ6bK!I.OZAT]fa 1$u>MA!F'2!?тϱ"HW:X  #i bBdף-ZEv;!#luP􂺶L)y.b* sxCQb#DC1c\cG&$^a#gob @ #ʔNAwusp_,V) KcbĂ%PJLxM\Ȟ RY%_Lr"nɎ^5/c_TbEi@A;0uwLX>,dIv[@(~{2UkJ cgI{CqAA6p;1h.#3hy4DlPjCϽΡW.qJ\f5 WWEvxΣ=bԍE)&σ0JO3~8U)i":-@=_6K•q`i@QeYhj}#ۑRkjXt36EgV φq4gClKP!oJۂ=oJkl"Ȏ!CP*߃*+٬aԿ*WxLяc[qqK/1)*o(p=}f4L4h2hJt g&s&]Dԥ/-kEڽq ۲]iC`+~zM7+0>`O1Ȣ*((kKO1b 2i D<.ќ8>%۲m8DMx]h@v(Fυ~47B Qj`:kEK#l4(^-լ Bi^dv z)v-<ظRb$η?_ٮhLrm(P@`w\`%1‚;PL'ˎc |[c3Xf*{= #dFƳ8(60WDމhh5Hk[DDvAs:O v ~i@D ):xw:m IIdL3GמX^BVl։ECTIv|̌u] 8 ID$Nɘl;/;YdA+b"~KnSHN.8}ЂY޾=.6##'6Y(=~ U Dz2$L< b[bËFbӼĆ+,.l|rURfP@sE!iJc+!vu/1]p9P5 +dzdC̖K8"I_A*=fw,ZhOGƕ{ -wNyEo{{twn.Vv=!U$u;~ FTa4r}Q1L]Z\U,H<󲷜֣NssKTI8s/7yՌRO#HjHBJĞnHΜ#5Ke2"\ܤyC|Wa` ڗ,u w#/t3I`Z shsNd=;Z6 RY$5hZCºZG[ m8M/<aqXIQlk<ǥt*'O]};uj#^0^<$_qP3TZb^x^J݅k+^,9X6J!m1{ c-Uo,SjcΫly%2>#UwPЦ7q\^P<`xQʨ |؍  w6ang_ڎ&ޙf5։$5{X 0rD +C$BkT``FBϘ8WRãs Ԕ  eR2Xh7VΣ8#@ra|Si~fs\7gZ0 P"V9tĥ], wTU`XG*05$^0uJSK;FZ1)2ú ;ƦV{V o3Y9MGE A0{+sz}##G=R'4&{|O!G'm89}["1G*ZhY|ٽ 5QK=% ~ovx=pZ @ʂfj5<|)pBJmX]CD/xHo=N;=X7Gy'-INV陇/ŒY[{߉O{>she?7q]zotXǹBx|pn򞳺tyQ(|3:P4O=G\\[qvti.a8ۃZ6ֳEJbLr*/젯VK7o[w:p_'qˡr^FXJJpZvQ>@HKdnrh#l݀kW-fۼ0pFhe]:;bT aꐇhGHl==d3fTXU@i$f+ ވ:Q MhnE9b%Ev@s8*B9(|f1f$YER"9ʼn$*\/X`J|pH?.vy)/P۶O=H2H#[ _.YK2-^Zlsuy*Rxc@+<hLA_( ؅g^ |x;JjĵEK:h0zEhN 덦n vPdVeVsoPޅ(98!kmO6 ұcqiZ.32Xty{M/V%-Oe 9څtf7zܗF `:Y׸! ! >ٝ1&+ܓ_rܞ'Dh%a'MU.xUOQgez5X/%qwkHұ Z>^L *C+02ytAȌ[z2k0s eΜ6ft/plY! huF ;!Ƚ(