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 @%TL| ]/]HOL-Analysis:threads=6elapsed=283.775cpu=1235.164gc=88.696factor=4.357zXZִF! @d]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkO+&?3&I^S`x #; ja %5Tg6c$EIEP& W#̐oE-tMc|\C5NaC[ H*mֆGk1P1ٜQd5mO X"qg }TXj dUQMLXd]-RT$꾡>au;&t'%2ȴԺlǓd/*{;cdXCYJ|"m( OLr N=;lql 'It9Kg7@mi\y:*2ӄMq;`4)%`z9kjh"k14sД;WHxlhwM3T/&dWr!&e=uD4ܯ~O@fGz!< v`a={X^ uY^ {H}S [tj2ŋ=haz:k]ukufG҄ ~ľ woM"RtbPRR+|nbDX:2(ɐT>@ ƙ t7&q/ħ kwCDp°`lTd9QmɓU.(w[ 7qœtjлZ5^T4Nг"7HQs7kg\P6$k,}}:nUcp^BC:tNO D^UAj~`pc}OR'lHU~&tuvuY3&V[fƧ~Ԧ^'3,*ռ edl8co>Ru|ŀIK ~\gMȝ6ڡf[?h?yڛl4icj䮋-F+ށ9ZyOy@ #6MԜ:M%D9փNª4RS#yRo(scZܠJ'4^A(&\0FW=A- jdnB<] ig+*̕=FP ڷܮ:v7~;'M~epuE0/DT#JPŋtu'ӧcXF:%hC29!nroN5d!rhq>4]Ar+ 7h1Dj]7频~QR( ɖ@VoHeQU]n~bL%]N'^ l*miЉEvӉZ;&H~{_:VFAƞvg8'0h.|PPiڔ %P / UqvHGOIr8G;5W|`H x~"ZA^m$5!UEi]1 1iJ[8I Fq{!f %0#(~`Q(V8EI1` {?e3ly   S[X0{4qPQt&.PZE@荘uij\6׋s/vDȭWY6A&!i~Q[$8o OG]QC[/&zNr;o{F)L'rXG]65'yVAvzI?h,MH#T: !_/%l7ڇy0Fu>h aj vڅ٢`ɪ'1DCb&:JwdY$qGfM֑||9zN*{GUh)T7TSPNx-»i%zѪX̤je5M99e<.ꗪcST.z7Nc6-yĊCF/θxZX6{|²G?صGM$cϦ, UWEh_ڡ'Ēix# lg#2R G7is)n[nwU+* kvwI\ Jψ@ r"KAWA:@wB=`OkapuU]VdϊS^-)QP"J* b7[~7&1@'uՄNcWp#8K!tM3xt-Cn1} <=몁] 5j1P hL ͵wGJ/xq#m6yYx|T+y^j`vܗZz&0{xvs<45Ѩqn]G(ϧ}q2+:['N7H`[)GK\<Щň.^4 |!;6+Qk@$*7-/lؒyǻitxAT2mMy3=.L#AjmYK6euq Bh#^'D{*j O`Kk8 '78}](M4Ob;uF*E t!g9|SUbq1g"aihiOrL~(ECgc,cow I砆Ars>$ߩ+($%hfUo}|BJtT*'Gz3J-Ćx=j[gʢ# 'Qhw6Qf?CǑd_I:$mLZVeڸkMؚVWSe2jK)Pz kқfye *J ,& T&[M_҃BX>GlGؐ U&t>)}u&-f}c?A-ŤiMV)i!Q{ΩOaT&F̝Ps^h޿}TV3'YMFe7ᜑ@#Ӂ 7Ho/d7_*x",C[̄ywvHAAYt8lj՟ pe{1ػg7/>X|PFѮQQ\1 u PfkB@! i;ey[jՑdܜ1-$Kҳzq_rRڊq > uI/4a*ARס?n4FY~[x=9Ihlg%qJaIA-:ƨcʩ+wbe!^yPC-@ ;%SoXZ$,H)`" ܂u غ~5yF V Ӻl*=Bt$l4n=b % HOL-AnalysisnN 1DeWkJ{iTDJf^4H -Fx :Hi"Z NƩ t8 [W(?l:L x]U+ShPJpO p6B<1 ~X5 #Nm c`iRNO&g+"fx8Hj[?$^ns'jq.C]n.B& \/NH׎:P$$'yf#nz4Eh^5w׫?!5lK<7hEfNu';MrF('uɊ+lN4tvt1[8#AB.p["%*Z.t 6~V}qRIbu@t wG4Dhu_KRZ$l!cT0Aeȥ&lh]5. ; [%BR'RUkei͞><5Q;΄'^a^{+ L^e $-YͯCfbwcvmc34 [a2pS͚!Z}y>310?Tcc#af=#,v㑙x]껮iu(@< D-K>^bYLUphV/)cqtPzJ7'L`aDꉤ_S!DzxQ屃 :UȿEӋ',7 D{TIVVy<``[f{1v ܒ$SsJ{̫Jǵ#o>|aU#<@/-7d2J䤶^ k8)^3mvO'^q9>z{&hmsC m8ʍ̶{Ǩ{Ix֗CgAӼnG΃MZs ~͠ 5DCqDcw&^a0k "Atқe RGUAV6 K6Eˡby֩[oyYIkAJ{.܉Qy'yЯ$ 1} wp?Y)\ ;ȉ}{X e~T$ogjnLK{ֵ 4PNvVjcg4tj&nx$OVȡkM}?JD n#FsmMJBe"!Ȏmz"f`;nb̺i:\,YUL$z8}aI a]WjYp)>yʄwGC\T+dsm0؞ 0#檕 q%h[ &krغv:%2 3f<;<|CdUtRXӭU4 SLٕň1aL`^)vpju7Q5,3T#~O^}3<_{ё`ul,bLDQ\ɾ jƔG͎@n9:E=NcX(܂Q:\ 諼jnhGsEʛwn`c]L'Ӿ#>Mӳ{-$eF!jJ "$o^mm3zڠ#j&a[иEUV4{Pd sY{^Op:64d{(-_4PNMKv"/&ui,'*@U_3\6)&xy N +X7BvҤumZ3`B/GI pXջwù˚92\Nta0> Mk9%#Dx Iݰ@ezӂ_#` ߍp @Ha, Ngܔ]BYp4-SaJ)##G6d JѻAUatn݀`b %;'j8l4t !uKq cȕ}^d)w&~"F7P*.83D;dS`lpd( QYoji;z "bq"ۏ81$>_:ތ5lW5{ _T{{_Z"T =Y,G?brMNv quNh$xfձ~޿A5ʍ?O]\QG^ qpvZ:P <҅gA1*Eq}ƺA3HKCj 1He]WA0b!U׊LR@3a1Kǽ^B:>5T$5IDn>.Bu hKߣGQ-nS+|P :Q4un^[4޾[zś壪Zܸw"ؚ[Q>q L[Gklqs'mvB_8au%q}kx}dFN)4C`MV ~;P2+k"dnY9]75zA4<38]2(0a&r~;C* Hvv4ndN=DV/?pW`ϊ ,Lh<kz:SV:8z @JUlQў*joN+R>R-<[6XOmnݫ΅66**OmɃ||Km.Çq#4KlNPmxMX`)ֈy释6?I+qnD;^Ep^4 iljۆndfxMP}Q7#J&)#Inx~W1jUۑ~<ϞHCJw_4tppu+-x.tW}Ğ *biÄJ"#/-R XtZk$M?,STfemu2Op=i[ j4i UvYP>o=E 6Ns ʔZmCݢbrb Wzvrq[".2M~Vc`5F*~:S& Q1ZP0=L*b)Q)ZLI)}VĚK0Xbpl6~;% 5?uNPww` s}L>Rd8{n{hXyY}h$[wg>St=X`-q֖m1C &eQ ,\smSM#:v? t]$F/6Ƨcp"/.iSiԛ M./Yof׆>\!RBˡV`RJ"ݤZ֊Bq6+:\# 4Wѹvؙge|zq"@QzeR4>KWnϛc>y'*~F+m`X176t,Jg^rW†qA.'f<+ĄiKc1=9yGʁ:}-^|]2u5E5JWhlD{0OMQu;k 96d '[ D0G4T_@Ccg$䎩t|&c]^f~HN1z\x+~xCFk6F c+-:%Y(et5yu_ ~ʶ;O: M V?Hf7 nM~7EY_ΐ7gGԬZfN4iOD@M$I3Hz+!+h>Z-9@i-dX-)*>NQ!{V}z!0Afvtt>(-<_.Eλ,1@qD,$LDQ n YP@ϒΔe,S?c^dZWPE:0'h&X+$?c1iB3޼98dia3;%>6<{ qYvۆ! P?b5/UZ RE}> tL6.T˩maɴnpj6~`|?XiW3~~hyvݐ$ ,b5hһJ_%Vd0]ڌ(mUzxoE9w?c^Fw~\Fd7s6 ߻8M旑txg0zvMU):bY\.%Pv̱&1ŽqڼzkKȳadp]Jlj@ WF󀽘yNkC7fnvW :dA_e{޵2AqrQ&6bf<Št~hv|Bjj^);wbL- [(z&`!|$ iؖ fcKìIi892-a{Pbd\}w }rꇳב1u* J#,:e_e@!REg#?)H*΁):ztҰG8JZlЖ|FJ)@^,ƻA3uO6}{C o*n6B[,)FBO9-jULA/DRY<q#1Riu)gNX>yŔ)+r>ߗ#׼֋wz튰U@3m!4\T& *rm\0ؗl&$_p*@6/aeTD˱ҳClWΓ0fx<^?a#--8{1Bu\ypcڶ8 ~Ֆ,H*S33tpo6EPe`~^:N{xe:{ħeP;0ԪfB|&$*J>Qo:v2Hz12g*z`KȈ8&.Fh2i|\ՒA2LLsQ%9z DD͔jvv>7A`H)m\iN`bI,UUچF Y*_€$~tRĿTC>NWpc{wK0{/\ʥQ<{ ^.iw6tPu=m\_:@>edΣxCWiV!ت]_Gfw j͸K&ҥXR8z@k3l:ٱܕ=8(E`ߠ.IQ J;d(U [` La8|+a,93HHv&h[(#X)hgϻy¾~csJj #INf*`Ox_hBD@]jႸWx$NzߎƼߖՂpY~x78ŭ\bKqih[fĹ=fB AP @̄KS`aL-)͝5 VBp- -m?P* G؞!HQ޲e ?0 C񖄫<[p;d`i` 85`3rtma<;$3_zy_Yv (vGYu L\kC['#b`T<֛y $A-]Mιc l*0q:̤V˺*D #x3Gf(65D+Z]$W\H2|Qqo =2a~ӈtǪmxU{bW_lb֡vRA|sPvV̟@\ݱ*{֜Z;[E2Ja΢~,غ':J1ִz Sg*+gG>.+qA=̙}o3V}xmאHPp>(ң#Lbͪ6?DGtqr7٨c(rIc"F}V^DS˞oVUR\M7'6WÅ#D@010ҨbE.rҹN{(oClC g{}f4%p%r%rkz0أDa:OH]N0wk(%Lt?y"ꔭ%64Nd8Ɵ JP—d>W柯b,<#c'oP8Z|3)tP Ô_@o&+[P Ӱ@xn|~_ȍd@?U45'Sښ#\R&8 WZ;K^{Zdh 5" i`q {bWcHs#Hni Yk G*p^GM7;6a9ux$͆%/6oGߑ+uV&u=٤(㫌ZOJh*Qj3sϩX_$#;fPmg#d[pLU-?Т*% Q?Fv]QY45 >xֶ 둧0_|˂E>V#r#n8w+I+1wNP)ʄ.'zೕhn!ؠ E><c @߶Xf&I\?uoS'Ue`٧(a}ݒvD(o7R߅=RbL]An.*Z6!j,⁑%˄M4#W4IWBD½9싵4s˻VAZu[ArQɋM׹Lmj3IsXP0}ڐF/ō$v$wz+A!6s7xS[ =|6I#^wPKp5 }WBU/S=eNw]N`28_Ǯw7::,5B^ERG p;iyv}ULp(!@i#i ձRY`CB#Eltn:[[pMbc* grnҢfmYT׊ zeZCBݔc1Yr; ǟh&.)$s+=:e4BTm6#eJU1 HmIz/5]/`SbY+CjeWKc2ٝatQ^'<ȐI\FGXMDUh3ã <%_aEe)ՊOn\H6jm7@8pjʐn @ WVқnq ]a f m ¦6cxaإِ\8OΎ`Vy&oLUVͫ\_ ˱gjdS/?6Kҗw-DJMp5j\wMW*g1BKL`R"V͈w~ȩAw~5~c~&GBi9X6rM6Yb>oKXHRYVzoPR#A.ˌ'eh\܏ w,[mbK%_mr.^0UjFA>;X< 㔄O-qT!ѧ/cɏ>@`7EsY"uŹ;Nc}pT,G.nak'4`&X:Ey68~u.GSY{dzw|u_eLD.A̼4S1+Бޡ,БG6ܵ"N[XmWsrܦ;d Z3V9 4&e|Fo ]ՙ1\)Hb`ʇ`).tdZEBt<ؙXGi BNCc#_xG|{%i' :DF*fAQiOT t jb+ Tldv{VY9RiI1>BACI?:aP3+ e;16Xq} i./lJ# m[z{ mxe>L7.uh4^mqف~#Uy+$owk< X9n?{ n0+;W/cƊm`?L,-R ]7RD c9\BaĪvJj9(7IhsV5?#]l|'<ĖԳV&3ʋǟg/U-AC:qi h:X@AYp lPhVz%oGʛ>TCy@o1c>/w=]U=;: Qy7Ӽjm:wTtL8pVCj3?YQ϶%;:h2Vw*bp`op"e<oDi*?KbI*LWYJ ˻kzҀc5$HhS ːO} -*55q]jp/jLev zNr=¨Ο:vS$φH2懯B_$OK:ʾ!p=p{ٲ6sӆdTb.49D(-s'4EHnxUl!r&p]9+/Zxq4_;豓`A5Ɠ ܯF$sXٝf@ؽg z|{rܙԍVͶ蘭ϵ+@V;1oYpV6dr oD>`@$7ՔJ&l$QO~D%~MwV,w[ '(jê1% CL:{YI^D)B5ƞTGx$/qz\0rq wܤy\'җ <"v{oMvV"ْIC /[ޤėxM+w2KFa;I[ 5awTJ pgMJw9F,K)Dm slкXM0I;gSq#\=bLU OVEJ^QC\@6ʆ5*1YB Vsƹg ,w%CgZbԥF3 "͏TH0џI},;g *'Թ^.rErqKqLh\2k i{gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4C(ftb1X؝ C{ײ7=a!fVՐC TEpLF !EEW=b띎g*W񂬊9YΰE |"Blc֞#aFyxi|hvK>ʭ} K 4:@!f!?qƕWwN2Bm8Z7"içgReau`2 v U?]wTHFhr^?#Xb .-M ^ y*江ٙS'!u5dmlWt :YGSSae:Q$8\-K,v}`,m>VSHRHwmmxInɵ6'oȌl _0hFl%sYM.2~25]m, > FW1K_wɷ_[W,F~Lj|SD}.U:T["\'tuH{{>M1[J*SEԯHzZZAzd D68c:L-dGvW:iT;Wɾ. `E a匶X&ʏx@N~֝_ewpnP|yY+Kdcv}.1^XMoձBW#QX]oְNԀwV op?YWC{H/|H&6-&s3p4D pcZyYVʅ6quuH0n5ST.Ł/p `L5F~\{5ӵ@ *) $MmE|ܐBXa.Nɖ9#btpzLp,2Bi'($:++H'өE$ m)uBI? njF:y0{XO4plll?(ttrS_TF^>WAv8PtmbTBTY2cٛi^˘S _`n(rs!z;Ρzѐ: OHǕ[8 JDF$?`Ecǥ}Xs7SQsou&Šk$ V#d&&?eoaړNf;>‹ĨT,gu+G.͢(W .y{=DA"oy6},k*h'N4&9g y@ՙݼ)d)M2jOr{j8`}?1£|@%x+R"Ed_؅׈\Mq)e30%>:wt/Nf')ѼYA~=41ՑA:{p5"kB4 1SB}A!`uKQϡb,}#)7y=1k̴O_V̽'1٩K]HUH"` cO6FŪS%w),** ߍ1"=3؄RdC&8+s YF |1unL$alr ) V5GB\{gYZ7zXZִF! U8]ŗXi%;ާ(o d{ /D.;vdY1r6P8~ŚsBĻ~O8ٍ̀Krܠ 8'S-nvVH3) pX3hkPCφVyyGv2A0ϑ ?|秱MǔXJ3@zQąfS*O\| L\"/ `hI.¢P d䰘~YOg"$rx83N@񩞊:ňb1@um> W2tV/e}(4aq+l+>6KVc XyԳ_װyZ:_ɑ^ղ]ȐPzn(x7nf_:1=aZʐrRkanEHpgjץ:czPDPҝ۴W6JF4< S#9N r#u~Uj:./@DZ;b@q$!Au<~ן]0+="P-Dz,16 [Xf#aZ͘4Q1 &fl9xaNX[x+KRiM⠣Ҽ]r8|_QtSdEexO҈U5cUTwle%=գ7k|ՉG5@` !1,:6w b9V5`>$c|Tł5'e:0D㟋+k[U$X8`x^'`$_3?ex"d] QQ1|?ir@?oLV@M{fۯc dkTPO(;w?B4_9dw!)+aZZ=b'jܭ.Do@ʶF4ǻOGѵ>8#MPIOw%Q_H'Y ]ۚ(nBi`pSuOm,ȴ6OEZQ8. swԀSomu Z,h 6}k70,iDGƄ;Ϥ2~5TMX|9!ޠs$V8(랒{Y%#7Z>Put}ˎsGM#X㜯)iCc'jP6?S8 QZ!Y+ҷj%4$ R1Mg !}+c{Pu.`e%Ӵsķ#c+UNojD5VRI}p%-uaPUk;;Rt3.Dm7SA."{N]{ Z/uR(.g>4RV ߉7;P7I_$!HG&Ea6N\ڄǼ;Q}5uDf-{R aE/ ^{36B,.פZl)JHLl]m ׇẍ́,nOLbs::ϯ!*mcW,X<~<95<_ 8G j^0_=5&(_+Zk6NDF6(m'z4hڟ^]N-ޮr1PW=_';Tt|F ӒDnD1 - Ĭ ϧg|AtY#/F - Ãn%XQ%s+h5NO~]N~n;>8eA =33+>3Jt'AYJ!D&~Aտ >?_:{Z]q *6խEG5U-$8i|sĹfDJ>b{܅Gg⯪TPPҎίFK'烎x;<=B"J]ٮk`U$bNKSo fI[R}-P!HUHO'g j@'rRy8+ l ?:Eh1)lTOؐ9Hy@&8Qvb! s_OEPZ҂~F(ߤZR"teXu-H>좱ޞh\אi :rNQls$-_lr0r[xoDee<;H(cGOkuQOH @4<#!]Jt?Q=gDRyG%G ΁gߨ3`]_%-8[M08.\H?<ڥ~P ,_ʻC˜ɏ?Pz\1:bGw>/bU=CR@ "bN0G6b)*xq^sVHtXoºe %ׅ%4G&"O1Xѱd#9U89Kb)u1T!kW?A$>u&,?7ss2_v|əPBsm#'^Ǻf˽s/G&KWA/~$;4GPBZKnBTXitr`{@,ZЁ=4k?7nܝMF0{9ħLMYEECf]Pʫ *n x#JW{.ja tǥcKMũRI?8 Mt*ZlU UtzV@% qE?}$YNqev/nΔYĂ @~Oq=&`*<B$f$ZQr#J,(<} UDhq;$nPψRwଅ)n5qk/G${Wg(wO:VGqũvb}YĒM{!q~ʥ,g1pi,bs~G* JMϠ#v؉Y*;R,:Vβ4AytR!4k&ݙgֵ9;/MMQ,W(cEQ.RS藏4(#|#%rӧN3=ghTQo],DqXQ1W=aI_8^иe2eilD_DEeˀ_ DCnH_+ i<Ջ4ER=m5ۑEz~Z|8&sb[vZ"QdOyLqo YhIh*v>aNf12l"֌If:4>'4CӮ9^cTb ս~/:c\T}*߫9tY4e,+M@vY\)n&fܳdF+RĠE1ۤ"nlCWzhG([{ 0Jn{I'@,WBA4_eB(y$T3nQ6z97 u/lǰ SsZ狥k| Uz㔨432]`RTs 7CTcs,u"UM?w_)Wh~K>6Lڄ?%؛1Y b [Pn`cr4Ȧ?3H&PI8F;D93'mz@t،nrn*aϴzCVvсGG%AFfS|sP4sG_=;K&}9X?;<'fՕ?H OTAl[R_U[[ 8,L^[f;v'l xH+Lk^oa/ཽIO69 _Y>Š5X1${% &5)w61,Pa)Lkx'-GG~TR#f_JFS[wBCͱ:A;8rky%'je+S8,^J+?_ K|qw1[C g?ginIM(#~Skd JUħ=p#b+aJC"W(XSV5+{ I_:Se$)@4{[Ep!*TB*ZyL6s4vT #\l犆@|p&X8 mtdp!j'L\.C !Xe* 'y4[oĻu5$Kԍ 5&JoP74^1f 4--56?Nt -7C  /"}xC:6?D=r\&~ rB#0ׅ17+O\0UCƋuUa*'agQ=HdԭKN!,ocw OͳEao<-+`E?i+qN%+B_ui#luzV>Ee\\$bQ("Q0Gh87fw* \6F~Rr""IAduTXf>7_p[{n6SM8ݿnk?S$).\u*Ypl1ҕRn!o/1NK$=N9[؆`Ujl"Sz,}jlN%eR7Vjn$|cNb55\]+{H k:Ц[U!?D  2kL ˞)g? tHЪFJcc::cNW!:l|?|a~s9haH hK?R8wA+t%yߚ-{7&֦--[g߀C,ՈύiF_⽤WFԅ#SK{S 4E'N JKX e?JxJhes *a]G j@HX*Y}dkh4ȴ\ !eNVqwG#uϬKWЕFWs4U|X7(#3\KzY^B[l^OU\p)էAZn٫Aa[ Dx[rO6l Ԭ3C%Q+Ӛ]sןH.0׫һ()مAZm T]!}V7|5CC_=-Unc8˵uDj^[o)8蝆7Dl濡Ў 9xq*r ʒ$U1ڕ++!K}?T!)ٻ5q_IKjFH.*~JED1 +~+GA=EbEsBZp*q_/ ۩=;>8/o$&'f#NM! !̂9l.6Ya}r5W$)^ )~u p9/f=>gБzN6 t޹bd7$춃SW-D-d$jpʓ!V XKaai3T\#Һ9p{qOQ=oO`p {.f=u869KA*sl+@\@_Dg"k {7G2k gxaNs-/ `@}:ZZz] .Ey X#{;&+Baצ*(Ț :\Кu"ț<RA^G,Rb^|#kBuLr~V'onp spZ ?gqv*s ܛ.1WQAJM˂=BvW}jKWj?} $O"Xc]rNKM6`%5%^9Y86իk<M'Y~O`zUgݘaѴ9 y;$xLQU>r5ps܇C~xN8uldh>pXG4}O-&TC|MlJ{8 Ϋ9c6$c܌bm뙌wvVGߴF4\_qƃDy-Aewc pF+E%ӀVˡbZT5\ ?*/Qz֢2 K.]qBUϟtH~áΨ h xh*G٨yi2_\]&kۙA-1 CYxmƟ2 :hJe=7?{S*]3 b3DWb$yfYPᦡasLy_Q껃;זCF0|VD+w\6E(M{xKMWџ i!o ngJ;≛QvS]>~@u[XB+M9B\pܨ)`&B%F&Qw:Xb>8&E"دHUwEZmki8~^(d!#]fYt>ǑQgy 7c :m e;qs_6ؾZG&v1{?T@K4 uA3!I-Dy! ڴ=i܎h7;a }o8;͉smd7S7#qӡƽ#YݖjH=VR@A:Ito\&Ľ$|Ieo2++P!;ď*Ѐ#ш6,9dh}g|bg"x˸#,8U@җ}#oZYٚc7a/Ӌg:'Oh*/QMkqm@сsˋxNk^ZMN%(c=B~1S %j/#\LrΟ!]=b&3I+Ԙ3M{H-&Hn !2?1qA26U}jf#=rsr\0ъqFiW-8Y֣#]޶<{-(*jI?FtD^!SzL}Cc.|ŴɄmH(nN8qTm.P?--WRs^П 5*%5+yZct:۶I@ gD.Oo"A]Xkaj\7f_} |0%P^O^oK`+ ]g2fuiFB.!֫-hC:.e/M%lMWyY:w%p~K\ ) ?ZPD0vz;a*Z44*l+`2+bOH>A/e[+yexapy0rsCӵ olV!?>tyd sK,CǤI!^NA$_[{JM|p#654g #WO8 w BjDohϰ S$i8F<İ$)ݶ/Hwglok8(婻q  bNG-UzwaGdwxi҃O''pxV߮dlE/Έ=FUxckc0(Z(QU#Z*[vY$_?21'T a{j)V{EFhԱ/x0K[!d«g-k&%!oO _I*|_*E[弋`fږ+ I\/]MXfH2Ke(Yt|a0Q/*$Zin9DךÓgO]q#Kht-ȗGvom=D?-d+c\THmU>yzD7nT$Q*Q<=+,=^{12ifݏ,1wiR2l*\1@K|\El#Jq,OV,/Qׯ+ؘ7p& ۚ03aTk01Z\ zs6֋\}bB -ڧHͲd>cg>rT wdb\"bI'8qMmpŹTX ep6AP=e>cT|-a1봶L}Ahke Qb_vom? 5n[ͯυ\ssJJ fB'bpcw 9?ȉ$PSmĖ4̯g)?%x=:|Wg#/ :4iPXjxmPIzďunV*h0OpyHuZ=k;arpc ~b)ZkbɃf|`@}?۷%ܱB^uMۨ|+5){! _vuWQ"qhCh+sSZam 6')Qh17>ncQ+VVAQҿbkQF$R-TV5:GiiMyrv[Hd]~V h[ܙėEYT7R[c=?`TG(l#tʒ&-Z@$ — A-nU  ZV܍]jt>P?? 3[QQS9e3_9ȸZb{^Yd@0ɛ\^%ΈR'dFWQ&|7S7R"dpyz9a^w,{jrrVVnX񕗺d ,y;uNv/V '.0 KS }Brɠ9GQXWqh[R\B!0K+3m_Q3yO|Gp@d%v'] ~t8?O+&s+ZV.LFN{tlj-dD]?D8Vvcx \@ٌ} zOFxjvQaȓzx="sY|nf#͌=WLVowV CuD5q\4y1$: ]#Rǃyx)y͞K/|4xгMJ hԊb=ogGo# _.Lhy- e_ݻ4r`_Zv )Q] yruab"4 k2: w૴i_5;.xl#sQϰКd)yp^ njM={CU*{tWUd\rnЬ>epn`;šK2 Ƨ˂7; #zwkAiH [Լc@]+OmP$)eWA9 HO5,-`ui.)؋gJyUY ';f3:#)Mik>fE؎BʞW @͢'hM!)VW\E2`&3B<ӚY[81ÊWDkIjct41hsf(FB 5 "[h_O^>SW|52$9B`v3X4snA\yzD;,(~ eyv(אe+cQ=5_C1^68pk 蒴H 8UFg dj#瑎&~Q@O~`{py rӭefEOઝ)١7[Kh{wl&k}̑.D#8!VE7GU"s|GXm3&;t9 .1G8T٠LnV*tiHX 'aʦG= }ڱPw%M.c;駒؛lԪ^'QYJ"=NR:~N34[ z<'VG;-R;,un1Tɞ_K? Q>{ܭSU>A+GݞOr ¶_8388tyLZty/*"b$3{** [EAg5 ]RP;ӃBIHhp7N|Lt"\B%?wק; o$ke^mL m0X/ 6)϶7?õ iGfhm8+fl=n-qǽ 5" v'M*|im`H3DdnȐ1J)& ā̽A'@U,NQbSbu:"5ߞRL7@3E(0ү͓؄Ko&{u{.|s''Ԋ&!Xɏd,&0Z9e;e9,>l㴓!Ê88I6"@\8U*yDќNF=5]cGI_򣖓<&'Cy4mR!Tf9կ>J7Z/Fv"Ὀ AXn0Wvו}GxpLE &e^dRO}%O|v'֢-᭑ 5NwKd=dwiF#3Az3q1SgV}&~=(\aIؓ$oڀ_(BQTýEA3p:\DŚJQڍOYGrBl&loOrlQE#1D> ӵw6)O,6n\h>'1r6'y!#6b`VCM [SP@33 qYPې! gQqzTڠ_A)?X猆JvD_4!"%^ EaGPI }4}%(5s 8A),I~ѥb49KuqXs_h>ؙowQD C4B1!cg2yhrBU'qE^Ri ?ّo)ƺe~>n#ZXSص}6/g>دu[Ay#ys9Bu<ͼD42AͥhHhgBz$ޞxB7MU/&sOX+jFT\m >Đy?ش?1D0G+w2Q$mj>]|~ XbїyxaD皮8P.˱%%O9b^-B&7Ry!rޅF:xƔxqAWpz<ڽ{~%/.PX"l΃1tހ2+E9{- C!e$N]Uǽ; +Iߤ%ߴG\QVILoGT\="2%5I@ҶB_\ s$ _݈'YwHBwaRbP5zpR;' {(j6K6'cEˢ{F*juA)CF[V4U&wvvd9p rwf i j?|*u'΄ SspKe NH5!?Y;t`n=P\ 8E$U@/;bȭU1cFih[ nv/bx P I =6*։liv,n5#3*oBݶ:6A gQ Ύ+3(-/zR%IF(w{Sv,r'  I/@ގWTY6#"+)=)h^R̓6^?2GaԅҾi!ڂK]ʐij݈S__~_)!@3}F;fܦi2AFmC.Z1(CzXtOZ"+ F qiⅹwHSMX{XRJٹ&I{t#R4R'j:DFTQ3:3.m,UwZܑ@rNtUs:)gג&!,M:z2A^RHQI'iJ*p?b;0.ɯ Xc9Oft E)֥PΘ:a9v0;Uv 8H<bƁH.> gdRCd MUS*6Rv)j8c;0a|/ _ T, ՚S)ZQ-3]]a5 @v49{w ;87lX7Waҽ0!P$O+#_pj<~6<ŵ yI3aT1˞ʴQ$k eQ$nmzn IY743"ʖu2D5-Wyq,I#> ( I8캮A@w6XkUhĉ_Pg[Ԍ0a!@mh^U`""m+-Y[Z| ,ȅ~X'EH ]xlF(l\9KT@ϧ0/s- 0h}—i _VMPK.0P<`LJeV&#D)qBRd |Ut-bЄ3{Q =m66 2;V܇ŏG+BdZV иm9Xv[wfduã HK< /ޣNe2aI;A~ Vwo/CݙEGً;Ϗ$#.ҵM>HLrTX?'*@uϳXE%N6t<6Z2)p5|ԋؑWL^Z@t5N1`2'޾0HТ 5{E_&~ oTjG)p LǨ+H?l3&>a^U60nNT7OBFZJC2^l0m\ |]:DFL*58VDrzU?c_yy'xSz ĝ:A ¿ٞ1ǖU_Ѫ ؒm >sa9l#GP/ E<{HY28%*(@jXۗl8ד[!i,p!̆>>2ф[X }FhYe!0WL(Fi ݦ-UxTDP mF [գ|9|a>)zvvP.d44cˉc*MVo\\?&~0h{C0UgZk=Jk\xJO!=g7Ig04\4n%aDt9Q;@R]0jvx3jZb_V]Xq5qYgA SFB^Rղ_O$Pf1zB/Q>KtjB2^ƌu x tmD{^˒_ߘ-6!%)j0x*"GCݏя88F=>ݮy!jUl_w*7titaXxt"(7]4e^), ~+okr!^p<;ɍ8Tt4r6wlT=ɠ;6EݶՁ !4WeuB9s#U0uت$`v|8U+Mӹ}"˫&` mq w{"LqeVuU82s 73ؕ̓;R(Q&aFB ,8 Vھ lSPKT q⩸wauڲE)rV#ȷlW]RSnRIH]zzQ%{5:.Ss*=a3Mv+O'*/fV,J(B vmH 1 zBƼE4ˌpn1ۊ pKӹ潧k_{%%EM!ggmһs%K9{l.[VӼHվD=눷H~߶PlI15SG2CҟLU|Scݞx-ì?ꤵOtrYx< gP16A+b5|삧Y%EſKO}<@Q^4$?Vn9"<ud{XJ'ʓ2 '́'Go|H60 g6)V~)ctQA TEpnKdԓIZ&ǻ7{zc<)[9PvOpc? ,Z Q= x$hС=z0gV䪈F|e " .ϑ4tN` !Lw_:Vuד9krAEGJٵSxZ0c4Tp0.3/&<1lOYH>][z v:I\ս QrAJb(AnJ qYX8n&ˀηҧ4se2v:L*0;^.ɜmy:"+6V %^$Rرc,>tBItn4ϯ0Kp? dD )ԧSHsym%_#pA>2$ƐR$Όy:o-|LȊZELYؕRQvGd? 6%." zH}^8ʥ9%11*Ѡ 0T,fԛ*fJ=F6n|h}%7_n{R5^LUi93:]4 g|>.?|{Sj;_^[ }&~@%8!XISO  (mwVEA5~)d`E &to¸w6K]cs_f.?iJP1irHS:ԪGgYZ2cf8de265f70dc931c4c3c3ccee65a6aeb8c936eed6caa966bb75077c120e012673453f69d500802 269c54a80d587c3b365ca98028240e5f8391db0a1cf0fb8ef7b0316d3acdc08ca337b89017b29ca7