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 (%lT ]S]HOL-Analysis:threads=6elapsed=269.715cpu=1165.280gc=74.188factor=4.327zXZִF! X>m]ŗXf1-q恈a.W[xQ$j %sp"3`Jb׫ޣUcWA9i6̹+xW2Y3D5o:;*LAuYbKu!Ho8xXPT}pVp-`\,sS-T* HY0w,e~PTl|2"EXѢ="OMEIЭO-I"C~]K#Q!k׾C~ig;s<%зʜD ܩ֙6\õv %NiϩgC*pFbYcj % HOL-Analysiss~EkI`3F*RiB9K S3.HR6*N}T8[QA?qzv>(=T1Rn5`u+84%U~\_P&K26$!F 0sD-]9ݐˍ8/a-sGPN^MASvC,:L}~;1KF8CP5zl1bZ g @\R5TtP2͈3H{D q5'R-{F$`rWj|8BQjA^4&;*ł!gM!.>y+9~ḋ/Ud6-#~HöIl"ͪu*3SߒZOQvj5t{;yժdq*9 %8hr%tNukԬy/c'hM*۵?ywA`]GTQYuPk@T8^VfRs[]k\{ʼZ6y(Ɲ w"`k^pIXRmfIRJ;O:9^hF4#k %[ʵŎ<]L*Ŵn} ѻtlV7>b3ZXe"ՆYh$!;>%mK)]H;0agM&u;0؄qIƦJ<yo]LũA[3D1=TN7äe&/vM kLFi`6WtF]qgY^}]^Cvv <jVWO0olPև-*{BɔL!I 8%4El'W0!;4^P-ر `'L3'-ӨGH|_3YHIs܋9:\bv^$2IلpnB/T,-~B7)IYΔ ۷#K2WG@~ڤj-$+Wrʢ^_m ?,P<:ExQkKr1Ģ[&2xͿN%466$RQ9f\SWK=kM?՟^!ҹT.84ff'q@QbFoQuQcRʖ̐[݀\JW  w ;:܍r 4BǓB[IqCwbH/k(@\' uW~r|o"cT_5eE|$-!ԌU4xwޮ" 0y;:.mYleN.pvѢکoo54[|[ bJPwhĚa>uU7|%١h񰳠OX ª 4YfʎދPkoer%Z6JU r"{(^,oNN/gg]\`sπ-sM%-,tfYwHM<O *:Ig+j`E{z@?5^u[}j\~bLnU~JFȔ\p,HiԌ"Gkkk nۮok( XiEPsq̠b.B)W)ϖ\ ИvZ1ߔ- BVL#}GMzhqMsLuxNv=܆r(Ο|D7Zm1"wKPPmv]ϊa_gصutd^F8*z+@sAry&r?] KS*LF㦥QˢC9&꡿݋5 -(; 9?kU SS2tzMt@,) _?d<[ZvSc'd u% }@D+ ,g(T}nx֘]ar3 Zs%"Rvr?Si5,@6rB[y"B08aM9&9ŠEAZ\<޿va\6^6.%;%XZ/r6*3@r)żu AfY吱\&q]4jb(u[\- mk2.|YP.0rd5~fJ ګ_Hgc\#pTw웛|ꅕwXG-{p:Wn={̜VO뢓x2RQxճWci(I͕4A_hɳfWԐ&|/ző/k.tOueM(3<^~+_Als}:[?LKO1^"Bh.ZJ  g)z1T豶Nw0޺sG3 TB\av[:ʀ[Sz@8.OTK Ϻ01}145 ߬ y8}aa]%MHw AP%ع @5^ T.l]|x4n/W0 mx!7˂g٤hQCALdďUy vfHJ6GtN?<ں(,g8f HM` oΈf(joT%c)ʞ"Ƕީ'm j.G #OE I[K{a:ĶEF,s-KH`3ެ Itc1mF rސ}3Z.n[09RkT:)&^ “|רR0SnQ19n4mZ,]WE~A yPdMԚZ)vF̶j,4,C¹A]BCAm/Bv说*!QHiƣ=- a3m(mrz$2$83cІG*% `Mri{y PBg-q<:E}4MlPLCT`0εsAdgGxwW>^@bi!h*xƢo[^aT*~m?&A*ln_1KO<hX(+Ae4g~9˽6C&82*1xDld=Wݚ;#{R`Q9y/uaժΗ'xw{Qq'u(C=IaB2f.6(&r֒;~ت[*A䞄` ^qmh-Ǎ-ANuwǯOPfM Ӹul * sI7;w:$X~~,h0"wF"Hc)onLd ,q g~7.峭'(͠X&N.jVtQ덠4+]xA .U, rؕl iJj{rwLj_'~e?L(Ҋ =߯sE2ia2lSēebԣ=.sZZ@#;^yR.4s,OެKi-Ҋ(W/q_MXRoaZ2ݲ= ~6`pD l]ʍ%?`rvy| _z^A~Q!ݱ0hmR5h ݦR6lt=Hq잔 YmNKV4 "sΉ =<8)t!QH4 秖ɯb>n6CfZYXDi0I%8;gi}$ɿׂmWm'tȣhԴO1' ]@H9+d6AHY(onaw2Hd-P"IK* a($7Q? ;Щhd>M"@@Y\LCH17_H&mHpiO%#ہskIbx45BI瀭c12"9F3pe$қFڛ7u ɻ|#eoɈ%( !7i$![@l_]p8;1L %1tu25r9-[s݃ E57(ذ5D&((Oj/tf_&e9ĕKN4j7>wM=s"wb.sPM /R?HJcde(ñ,?4pVJմsnx,yK)b @b(e7=*-Fy: T݄];"Pjh 3HSd~D#HZF!t+?ªDaQ НJ*lܔ96ߦg5awvǹd9Ifޡ֤NMy(bJ}rԑAf:_ev 'ljIْFn/kD1!,H3Jνf4G7m+Mڢ!hگS/u|s0'M{MpS@'~ZIեXϙ$*@^hڕ_ \R^pޔ@2ZjcDs2? Վy7q$r{Ï|OOnJZiq'T7R1XmL+貆EBYx'S|GuںGa=#*'_Dksj,< $:Ә9V(@?n'Brs7yE`x~z*:08ͨzԅrp97oc7e}$a ]5c/6R mAyr ߓ#':B ~2`I%g hͺB Y6[ecTNnn7ǭ#I mWdT⟶<ÊWYWxDʙ!|wݵ7}a8gpUQ3(2c;_Td*O>RWdau3gYXE~-h!c&bb8no4get=כ>6D%Bl ?R\{fCG?ĉoب ׀d@fR 4v wי9$T%=WiOXV46>> nϿXQ"c}m[!4Sx#Dž|eLTFH:ЅA9 ]}dKG.͒@ñl A/сTrDr "19~ tzIB$.@pLv抅m| /`n(:VJ%Ii)X3 < "KGpXץ~z]nDXOōc*ބk4w|xXx*Mg҄ J4:E<VplcT?g\!El!s g|~?F=$:gzɁ𳿌{*$ɑI?l~%N`,{2zByrSkBC BnA8C*1>ܸ᫘N~l}b+iqoZwKnoۯ C3 Y %/e^Wr%!_}q 06@e*$1ꍟ&crni66|4R|4hlUrw ?e{Q)|Bt _kmMyRȤPX&VfL8Ld?k0Aw8܆ v3Z~vw;kH[ <(ZfD@̍ZpB@Vf^H?H&PqD%8ZIN>AٖK L ,hFoC$B)a'U|d {~ꚐAmrʿ0Z/x(T*\ӄ̽Qq0E-g -B &).j '8 -O(_4M*c9AcTT?dΕQA |ue.l{7bKd"s˽`( ~j,`M[tGOk.w߁o'6W-YCH~aqhX#G<eY$Ug򔖑y`R.nܗgܽh&ؼug?AmlD.sr1h݉2zS6=H!Zp-Ic)o,3ÓO;6dgz)I3 xd=m>nD3,9h]iqp_6 I>[Rx1.SQf:П% ]"H޽1k/^Y>5h!\_H9dB D<[g" O/Y~˳.k?pH>|Rl)Xn"-&Im-ԯ9  jG;ʃ &/M/d߽e~;=rS:=,tp$ȳr`sO/3!"Ceʫ<+e_>KpZGX 5vk&eSŗQ<7`9A:QDkk3fRhWwԢ1뇔= F;H t) &KsOXQ%. akR!N2ǤZ~L>R@sJ(ؾ'q}yϒCJ@| 6yxe>?䖼e̥Nܳ}+E7 ]Oia-op4o%L;ҹ7[ٚ\GuޜS [!2"qjG妭oYp g z9lDPv~q" V5R^,gNʾ?yD 8;CDD $!{$$-_+%xx=T)QB>l96o`1Þ.qXX !חAK}ά] Z=m%mo0'OHsῙ {OpCrlGq V@Df;kQ : ^yNr=% VP5jYzڣ6abxXoREܥ=(`r?3QY;($K + +XZD`o5}j=wL#c^[[f 7h#Y{Bsu啞XBxm,x]֘UvW*oJ*ѨPZ+:T~6 fѿDR/\;R*EQMAn }ubo i'WV;+phEl%39 RHZ tW:c Fגٻаh93l[QK12kcWGC{3k*(sblbPqw̸\̉(hNʲKp=2;Ey`Y/zZ 115UA\^}fƶ&VIʝl2S 7F_`a]ЗVҁA(؊u;W6;զTF|sUۢ#DZ2';/H[p?! nX`m=C o\阱\tȼ?d┦noD¡@}lvᝥ-"כ<a=wÓ,tKǍ] @Fߴ( +t sDy<f=(>qa(ocz&k4ԑ* Q'!*t4:o Alx]~Œ~a%G$;S59nLD@+jǼ$fFӫU*MIϑ5*O6r8c~`o DHi;>,:6'BIaol^2F]10G  9"`d⣓B94JQ"OBb#E@0-8b[^ PCo׮*?#Z5U:>!ă l@~yu +E$Gba7Ϧ+sb#o[@f SJp`2b -c>)ʓE1=L÷֣' OAݫ0Z] \D4=lTL 1{F%} ( 4뜕g_H@sb.IT4Y HcZnBI'hAEb9Avtp :۝_OqC&4T{u׼ q[ I}%?iDh?P};SikZ-AԐ;d ZstCv1COPl_Kl hÀ)Ks*/pSFzfx΃?spBXQxkvC>"ZU^lUZ5Cq@^mұxotz/ tblBɊQ[H=9kuPf`w(⾏`)!%)#:/Y^^?R1ڌitt@$Tdx]&iUÓs hZq/ngR5o HM^Z$Q\NQO\Wq*:nl8V4Gq4Ҥ:=`viW+uS(-2IdۚTVL aNj@ 110E<'J5Qt {lJlj 9e;@U,ɣby5hQV]ѲD,eFiF tUMxoV%>HcJݛyEtQ*v1qњɽq*mi#lxӤQ~;t+H*LC] OSVhbEpEÏ1u( ,Gb)̩![^ښ5x_Mxj*C#iW2^jJnL29+70e_M$̎gR#;H.` ?B-ڟMbs̀.NGtbKn߿Wd):d=2[|(gH|Y-[RZQ;"˶LxTА`:}oڃYKsm[UB䲹Ǵ@uu;wv?AvIf=nI>;#ێx|륷n[ ^oov #r.vzl! ϴX*kY>|Nr%_.i)`".=^XםΘsͱ=D$ӌ-`Z;R(Fm5I qN]%7F'sds'5y""T/Hf[j.w 4SvuK1n{c@GqK? rK7Lr5~KAϸ(S΍`KqX \4y# Q"v<Łz+=kJLo;}Y6D$~AEX k k#c!M;R_eDHRo{IGka!.q]ɂӾ;ns)? $4=Qsa)mިe ayt/|8WSl<lB2$%3)]V2'-626+bAyA3FqS`nx k\-0]z֦ w4tO0eqE}duUD'a~اQ64 #Wt/5;~j#IDkla}GbwiW0OdfqQvg7XUIv ގd!YTRSBѾYCLvTVUSBӷH:6oÓ)o!?~X(]d/\a6>U%D>pa6+ I#r͒N6Lt2!SW]/靚CILB{ߗe]%6-{U7mCP2;u\?{~f=΅5ϕ~ڊ*ܥ"X`*[D'!TktEb49MNcTy+dg0BȥF*ɲg(#CDcH[+ׄvAL3Xd&YnHYooX-1 ~Z{ 5z.7s'ZO!Dż2y%zۏQ:1tZKsi>Tml ϑg_wؐms冎蚧gBGBñLEo^)SÛ StM|~sUZ!@1A&(D $?'Z3$wA݆p_$VHJ!}T;9@9T既^u/)ZshIAUuf3BAߞ,6R'G`QVVp(#XMƦAt ,He(Ha *^yIf9#5^E˭V9 ڏ aT>{"[\(͖@Õgwmp&58cռUtLz8Ɨ'񀉺aW[:aZF]zϿ.}*`«cOnE=JxGj%0F4F򃷘%)JP [YFC$Sܻ5ShN.yc]"ӽG8J*"Tp\ 2)h2듡Y]{,,)÷a;)$E%'$.Be`ݺ&(u=I{WemLqiI +WYH՝חa7?SV3Fkȡ7>5#)41O4٤})Uվ[a#|&4aab`G ]UL6zEKc\iG2bQDrV]1@pRi#D~~ڷG1R"Nc)bT(4&9 ,S RlwakTl#_ѿcDpG2n|L@tovLs .c,ʊ`)9ѧRPvWi#*, boݜE}4LG.Z5ϫՃ`׸8>Bn-fVwI#Xˌބ?2!ޛR4R5Ħ [SSچCM׹g%__*CM47"\01V5cgKʄdn:I@oT-2v΄m|1vM'3+ z4ɹGE~VG "u{TWֈ$ʫ`5|94_~x.8he< .PzSVpӁA9i ^T)K"B!v2#w)ζB{OA^еp.sTePPB,6\rg­-ߑ@^44+3\Y J .]S6{h T.Nӊ&Z|Bi'_(T<-Te6JHƒlgc_P>\]\-B+r)=`4}l|/X]jReL 'XdFC>o٫<}*$6k^ 8%rR[vmCy2kWcNDgD-kQw8QbИv&o'Zp⓼rU=V;c߫#43;ACs[* WhHsn5zR7N+Kc ! 5wVydޅUNbuWvG ۪C+r:W}X\\\:gbi5=p3CNBvǏTKAy65_Р'I{)G` ЦE6d E?/VyKddYTjBUUO?V" kN]RL7,ih~bP2Ԙ(?#S(^?W|4so#$"wjo;+Q$G<+RP I:sWIia HkmvA\̆/橻NN(%58I-\E&8\텸q#b$XžMG$aĿ>|߾dz#/͍Q k*5p&yC0G )$ʼz"kӎ[$Vw{4 ~V! s㩎Ubp3jklqa*Ze܏3C&[wB1GcvpSp8i" 28VqL#J'^>Yb쑗Iz k`n1XPcZt|&"U4LW>CnT3q VrO( Ј!1`t8ȆE҅9nX2K ggCk[F(s f/h*vyzxmipw2P!lA;ku iNy@}Qnܴ0G\㥡 -,.Z- "AԆ4Kn5C@THkͯ<5M3$_|'WSrsp9̂G/ p#mݣAf ּ e0gXYǭ!jsVCu0uyy5-ډ40ǞUڬYB'ӠZUn"$L /ĪFVLGϧ,_(Q,JUDZynGꚓ?tp`KJ𽭃eLx, ?73wi/3b+R.љ4i̡H:)@9CVGt- zWE9iq5~EU'1RTܐe\l)p \NȪ߭ M3ּeA9@xwZ*B擳sY9ˇKget# W+?~ZQ羱k<j; kS EP뇶Izj0ݽr jM $`XC;DwP8(t^a6ҕ㦖^$Aԧ#\Qh%IuG舴e5a/l Y AΌE8+5`иxD 7OL\/,Lǚ +qv(EϟU BFiO ˩:A{NU\A4Raq+‚ׄYϷM~0<2rzf5 H7L>G0PLyPwOo_`X>t|x(8zbwA8 WQB!XJ`ӜW$~zxEUs>5`P <0({'OhO#RH#ے(%G=SⰻR0p JW/q9zd`j9U -4M}`>@l?^Sͧ1pE;'?[CRcWsq:JUjKg-3k4pP2o}QԦүfߵN_"ݐWz@9Fln ʎh-}*Pjr thޚO%?(ߔsaA QS\7/dS6PymQQt+IaWXG[4إ:.2.b6>,? &]33/HzՉ|d4-{ǠA19<'|/iXS^ZHSƧ=љ"^ jv+iwh7}OBcBMB `_rl j:ʼsw+ΐb-Eᭊ/V+F?zoM~&Oi1CLfiq %O p$/_,"2ί^=#.k'Ͳ9 :՘!%;0f qu30ZW{Ә:cYAV 1\U?,CP#\KxуGуBZ6B *yRgO`ž-Pl ;p\-D) "ޜn[b/)EugS^|neރ#]#3T ?,tCFAK \XnsQls\PLXN8^e 1r"ɭw}4%qne%C^u/JJyO8 -`dg qґhNy5`$2Abt\}9wR.)8 H !ƻ8u tYú "ZKA bmae-LxC )Fu{O (׼hҐ7CE{?lj_V}?k,:U5NR@!zR[|Kɋ d;5VR6",Pdp+R&͝[yMYunցSL Axmh ]5fE7k! 8.Eo4YPUZ=R%PLFɋGynQe.i+t@0DO*s%2"OW%8Lk dx/b(d'y>dݮ}vF3Q1"Y45DZ?H'%|⋞ռ7.6ђHyX0L'=wpsMPC'SƍKHiMk~R&2 Чu͸ ,r̋IMty>\nRܗ[UO 1szKL5vב. AHHS4Y8yi-퉪DV'3Mw` t<բD >{ hEGf.̠x1>T8A/*b1 >9W]-9UU#]%t z\҉DZ İFj$CO==ܯ_+w%-bx^Δ;$i:țV[`*]\ $Dtdzz2v E*-[&CTJ*2.x=PG1tE):7fuE3<麘Z̢w2TNrK rw*e>n#;3qK9^?7.afY"  quxZ=y?eDy.>QDFH ,e}[OV[<Ëڄlow om8͉]Ŝ<#.G %ȭh_1+io~b=4 p1m,=DE~S[>;ql= -%QhA?'`=#dvYc,(d>-ݕz ~MXJEd0 E0%`L0D!.%{>w{krp+IH{oYD. AKPwkOseDKB*Qq4&CU#\W~_*OSNJw0eWh$_YNIp\>EԻXX5J.$Lgs@&6]Vռ #-[A- F-.XtErBp< ܟv$iObҨu$S݂h._XR@8':}TCܥĨ˸S)a@ DKq)3MP~F~4SmW5;'Pgịկ(B#9aOST{RL :u@ISeP 8>Llg*^.4҄s~ni %Ǩ !M6Hbs6ϫ2+>Ha#iɳbNxW=2(AF5Meaj;kf؞,ۙ҄9ʪ-^dBnJNʅm} k=3.zy;u61qYۙثc/~#x ӿW>QgGCڟnLP1 e{1,9v_ghKBLi-6/%(l7OӜNaR`(!KdH:U9^4{)6_4Td<2? ܄}pGzZ!ѕ9-FjsV]ٝxX -6%д7JzTPr=lX4Zl"1 ܅߆w@,P`arQBrkŀwD%v8ulvۏ}f{h5R ~.Yd16]tHcܦΓ+ 1^‰1 ]5&Խfx1,d%eE rQ Gc2tA-uz #ɹM"B jMK+{ÃrL#*gK#?6}k9K#5S>CheW"cJ)T`BeNwziפKm=lG!P_bUP_k.Ė>Ul|<{i wGn;F^{PB-eBms)9DS|ousrݴ{JL^ikZ!;C;;@ 5b6Pð^b}TZ!ګӢpi1n^ucp+i-Ϣs \3!׫i$rS @=UH뢇A^F:0 J&s0Dɡ:tyn6F0.5f݃PQZhQѦ|C[qKl(2=ʸV DXi1K3`*|E^י[5%$n.fvyӬsmfhI0K^3L$Op#6ѺNEj)n<OTe e1Nq&~5ȊSg)QYwYEfE13Yx61AW;$69FԍߴW*d7 ŋxTSk}[ rYd6-j~c.Ч0_otMP0ͥFfo6:aNSIITny[V]ZR0iuxO͵?#dli3y+iU>m L5)dc0l$ŞP_uq L~et&O*V剋#soH̟$0@?ZTN\`ЯD* ŊOyDky9a˝H*m'qͰZo8(;ҏGUq%״UPo܆3x^:Cth7wb;Շ8{vϐ_ygY% #Gq$5ِ~e œw~18H_cu =Q5Hl|x1btmO:96AҖֽNA[ ?+ͱ=;uj`axP~dG}$lLt\S?3*!TEF#_k-DC#):Sq6tuc^0)?68/xcza/Cn8`$;_zj Cs? k;G!ë;d?M +Viyoۍ]&vwR>'}}j~o.r5<{jNZZ:B`! Yە?C0*/UR,c;`P&jѨ;Yfn566\hs2Y;٢XI%eo cg~/ꯠG*p:2O Ǖm'\AiѓZ}!梫*1,>+XAHHp574{Q)Gewi ; o虇l25aɼ23`}z'_dgS?K` Фb좙=d8p;cRK_)7y:to?q> kStRc%R!_ƗĆB]KJDp{T妈i1Lk9 :{ ڢG:GbƜʓp7 90spT*DP,»/BDӲ@H>`A?JwLAe82&w#:GZ1Q$o7gPO00yDx8,@;Se=ܐOr oLX(;bpkda< @qT?4uJC}4s~Fcqی(P<uz;6?Ԋ!Ș$&c4 R,װP9nmA;LTf}fdGONt$FGl.6:1 󊎭0hL D5-[Yr F_e$z'.i-yPԡea.U8(r/T/*Iz _\)HZʻo(B%Z`U8sf$ӫⱮ[QZ ~?L-}o <|)RfGhEP$PFe_ \t^+)Fz;~hu-7Ec_ٺϫźwY#[Q -& vnK}?XSn'_or֤͋C;DJfk?tl먹[;>t7qsXDrFHg1#z;yֱz,S7h|B h- +bsE!{07*45Oz'zInE@3l@C ~7*qsF35ft!u`޸6ߗ3A #JX) $b Q_RlL;r]|7ߊχf~ nVz&ԭG/:fLi-ũ}1Ù Kp˕N0O*'Y'l-[zcc]TqÞIJl5\O PhSh`yZ+qkGis79{7J!m4JBH۴+\_$z{V 7g<( G6UXwba 1,Xn2׺N[B;en%"tY8Gnޛv{XKq-:}mb74ˉ@-W,-0"yJ^BQXH_ᆐ}0D+PٵNzz(qz8Ir:qSBNxہ9gWLdN2g/|lauc'Vyg`LQtey7P 31i W+;XQsm5+*j|lZU/87{MջNHO uKƳ,;A`KJG:i o󒣭XcMg%kzw|#,$tA_$dÊ6ܚH)7G[h4 ]/R|){HfYZM+XSh(ShL𽱉=Jez%v›~đ2nCcݫQ0' `~j0k`(^#RxC&tzWq ED!^YY.c9Fi,eQ'a&J=,TlCSHg r9!RAG "<sW6 zq!Iz;bDr'ί׹UaCXU!;64U r3ff”y՛=A$/Z&s$Z>ve^=5a&\J1EG%X0EMV:(45Zh}yom R)f( 6s +#P%76͞k|h^=67P{o "] KxJrQƅd`,-\+:ˤ\9 BxAnHK_ȋRuJуKQI;*/NOS!x^iv~&ȽK%#pj!GuMmQѡ7`dړVL~M_g4F{NJ0U bkrUv>} Z΁@o-4dX1zRhoAoD;w<~K<2trbs֙ߝFMPcA:*Z kE!@ `J`$Os1:M8,~Jebk?9#QԺdPûN'Ǫe.D2KLr>pOҬwt&{^2A͂C TYnF $k7=z&嬡?:rJRM^YFi4 -o5p5N#ԣ%7b{dw<%\VxU w}Ұ|\  DEwYL"P U<0X?(|/ 88E+1c`N`~y+n뚼,4lX_ B޺\yju{o@gdj/#Lpe٫NN}D?L}WR1VL[:ԋkf5T ?ʌआؼSATN0JsArX`3W2m_gh'LFW)4&2 g:TyWƘdI$i`}$b2y=kRnOH7_/h]9CWယ |&}Ԡ*` ^腎xQGj >dndG/RUEua&yzTR]Oi&82:_#rZB+^0ƻC+(DD mAX{#4(j֖br#AQj. bF!RueȸT-œCNHH&yuu:׼< ҃fā- vCΊ(|آd~i=ܹ^$/ #9dԾQNMJuCD\ >nnK hlBJ4j$fKC?^;ά1g;.Z_!:+!^2@g5;憟эqZJM޸/&󬩆ᷣ/1:3bT >>eR'o` qbGTbUJJ'7uj53Ce1agߧ׼2 D1zjʾp8A?c$]7_>AЍ0OC֓5I@44~cڇ1e>Q'fءY[HPl {u䈃ser.}1nV3ՊS) =f` Q5`WzR==Z Cp;#W,%RTݟ-xgʷeޒm~O\$ϐ3j03oJaj琈r'̱4ՋLVߴIÈh +DE: w{ȟ}nDz!??ƊF@fvW7sԭ/rͶid@/ʠK%cyD&ca ,rJ`HE=W[GcWS܊Fޱ^z\S.W2FG'2#\AmQ\X5jh?9hpBi+X$.g~Wwθ n]+\୊xj[;mh8VO IMPo5)oCWEّۛ+p̑1lE|rmε+oQ1aD7G@,bScW>K}9X8v޹`efnw'䔃Y)Um $9ia|FOĔK'_!8jy\ɏmn^WC&DiB.rϥ8I ؤ*,IbEcV{PB۝>ps^Q /?|g[a}6aͧ6nn[X084s9t5.rcW 37] +8gTߡf5H#@[l'heijۏڀ?셞<}xі$#VJ8Wod\ͩji 0q31yyE"hI(MNiGl$ʔ?xL{/;t#&kznaClMX5\R_uH8 }<R 7 u#H-8Fhsf'2)N3h"֭SÁ",hKޱ 8dt9GryDyipCĒv!hgv[Cm]wz~=!qʹG m vxjw ;J鵤%m1rQ΍dc}+w[CFȷ8 Ӣ}լy.%F`=*UKEiP Or2 54fiȉҜFƼ \'g(Z.e-L`-28I a v}'HtR8eCN7`t :]mqʉM1DxO/ڰd/58jԞ[I.1@~e$OmRG&9r)`:0AĂ vs1 ɠ5I6)k aԴe#P1TgC2 k&&19. _ɞ\ButTS?K:fT&5K'nNr9W/BsBZ,Z sЍHLnv& zะ 3$1΋OcdS,N+I$U\Y$G 1{JPNYjv~l74r[1_Yi31sXˑ&p<+)fK6P jʂc4ͷhhgbЁBmhC-ڥX( 34Eo]9_uZ`/ө3= ,G0bQ&o^0VL8hBWitxVdRo'i"OmV+Mv!7Kn?)G*+%,oj*1,웛0R?OAN)-':hݙ?Ř` ]1WԱ"xx5ٷmؑao挬a| =K"2m .i݈yf=x(g@%;aX2K X"k yeB(E9l>^6?KKoN]^ I@pw}C /enؼ\u ~o$h]syĭaWq\.xǞjz@L Ӕ0>+8\kq@SK8+?ä&Nft/UVuA}*َza\̦Qa j\]aMط>v zl LuBdC0c lC;;cׇ*[|yw_: ~UigcC;.joJ^!?{Oڝ{nw:6,C_8TcזX-| [oٻ]>$͈r1uu}& )P@(}Rz״R(ٖlB]s?`9,7zvjύ2ܥ^^R+ .Hq| o%̬WqW3ޯ{oxuSw΁~4zE[-ͪxl s b N2_Qr~4UȘ dܖa(nuJL@;5Dٽ+ %p!O!|ƈ}u $)3i&g:dl\Qf^ޞJd\Sv$7JZוSM!SbNݡ@sߘ]e1.z0Nx({RD_{?lɬaIʹ$ Lb[)3ۤ?j/o{HwⒽ-g,Fӈ@_o4;_ÀIޖSUC"M#1i߼{ *D%B#`BW?M:n4s wy[e  L?$Ӽ=;tI,;'oO )O= T8 rFެd qՊrKDGݠ^:1ϔ9./p3J_J%9Ιh3N?Sr߈@k"  Ȟ׎՟%mht-@FkM!zNg{*=ɔĸ@q2$W~}ޯCg5 Z5 %ݞ֒`V`݅$+K[ Ջf: WϞ?:9xmGw\D1rnb4ʧ 0v#޵q2ÀMNA㒔w4Xy ȐnS"pA$e}RI>v7CV?/ x U1YMG5$} ܂@ ?;NUӠ5~\X`e &U:CčZ^8jb"2\Jh \8teWdE\}`= s&| ڬ\ Hܺ2Uk~7)er)# + |wx*ǩ^}K&1zD=fwZtXdiY_פWf N3)!ΧjYDZ!˽cM073p%j8;v,C [gu{Kq\r2XMF.w(%< ^<4wMbOsdÉvl+t}>uXz洠18tdOb`FE#@mQVCxPۀx8G%Iq?hZ)=Mc}i?ԩKI)&f DNڌV?6egcOb&}/w=yK0]nnCJm+nOf kt@3 waް453/=:s }Mjo1|TUfؑczǶ7*ѭzu\* 9LkT/oyI!dAg+v'G=9L`ݩx4zj*c51w J~~e3't,ܯ X R[E*jf`+۩ ,9J!e_҅eqm壘NlM/ nl:kȢ!36A(}ʘ+ "vXa.. fOHQX@^E֭0[JbӊTCuq@٧t3"` `f>]#n\='g0 Ht`Pq]h֧6+<0{P<,i8<[~ZZ`^o^(/aqov;8GCmUOcCSVV lu[Ԧ3%{=}ZŇRQBR4 ph_Jjhc RoK}[m yS6DL:N[, ςfqO_@sMM^eH"1fD\8vDfkaݰ֫O(͕TN/#s\fؘKrpje| b&!{үeyy.t)QqY|?j|.ޜ'_b {яws%'@) DH ##Ă<|ݍC/>H|>CxsJCC@~oH힃0c+uC,ryL~e-R ^Ѡ y+g&/dR.djLsN =.6g ] 7fX1Es&A> ~@٫hLe+վN+O+A! 4TdbxִEEKm#7_v"\#I=jiTK#m? $Q.B|. c7w0lFw\Z+C>Oؕi8G u!jҸKDì\洤{7P F a#J/0V4- EL*1Jq'H>1IMVzƟ> qCҾ߬v> Y|sQw N {r z%cڲ~VѡjOE2T/@QxvñYBwGTj=oս%&#j+Lmˆ%zqgYZ3ed9f02f093297bbd93172879217a0208605421653f1d67548a50d94a90baccfd7c8ce511a3e1b4a f6118ffad2997e518d2c1b8be12985c8c95a4176 2a8703cad3af920728df8d76be477f3244bc91ca 1f591d418b5d96bf6b20a2ddad17717dfd84b23348c1c80f4d70b7408390e1f154a8c8b3ba7863fb