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 d/tl, ]]Affine_Arithmetic:threads=2elapsed=551.872cpu=905.384gc=73.380factor=1.647zXZִF! 8t]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ҳ]/~REf zq>d԰'e' %bB i]1`~Qt|H7nTE@Nt47wS9J<# :Xר:U> +6wN3=o]Z~qͲwjUs2}u AW e0 / Affine_Arithmetictj#OuOJY@3e ImAw\nnVWqJQDk*ה {Ky\s TQ%MdXPX16~9pj4? W} (. w''enXm7;N#9d <3z>F7#f`߲x泰͋:XW:7~,TJtTX~Kp )k ^(h;&fRZrϐ_2)Ϛ8{,WU 3QꞒJ,?s^&\=4rjAQbmUk#v? jmPp{ DYRڢ1[DV@I>Uz/*X^ pV,sb\ƪ;)Tg;c%m:`&KXL[sI{m[ƅ3:Fj[M~cpnE%➖=:2SӼ2X0Aˉ4k0~HEcOa,|*m& ܆kW5\3F[{5تGKfQ 0ͲdHy}1ڀ$((WtR׵z!!DLQ>+OK[KrA6듟,X*˴`'v%I~U_ބtoM$U!q3jh@R4 bMe?O\Zaelcg/ji+yvMx8>/I9`y%\TqÖk4֖>oIJQ rTZ@ӻS6AYu|_&mqoɅPSn6ӊU4׃G /uokoj#뱟gH9βO T|#v\.bI>p,8¼t9`!N 'md5M7їI4}ƉM be1}UD\*0VԾt/}nv^U2ޙ86ȣh6mdDT42p!W-_zKrm>#X;5X콐\>ZK}$08 p?G|7l&UewJ}vvІ-,C@n@S~Gd/рN}\iqֽ6 7ɉplmJL7\]`S;\[$>2Z R?Uڛ =gb#wϮni#_ctaXt?34&|.ɶ)~G o8<`P$;T& nyN$a(k2yP'-+TvZ# pY=Fh|7SW'vSQD˩v,êAr=d(-.qgWZf^3 V RǘᲗeiOFIXW u-ZC7EӮAN{c`N"W~C0WJ)*ѱ\g>s j͏4X t/vW)cZ|e ]=R JZLn TF\gy߰OE!2q4pi N#EYLw.TzZ{bTˇS|@yu B<4KIT6ѝ.(J"k nd ~`֝ j)NY!2TSdFM IP uRY.Y >E+r9: $ݭvΫW_5rLMXyyoӇ5c5V@~${b?&SY(F}_[Cs=1gWZ xuŪZI3_ tZU*$f3vo!~"?`1 ڳBr:}TZo}h=|! 5,r zNj coQfdf'֠H&/UJwi~&&!obB6t67Vy }qKz*n$vgEfbU4:샭Xa"CaN*`sDz 6r03юFD""|Fmm[8Zi q$O7PB8[͵Uᵌ<[^*fw/K^( APjxź|@LyT"Q[/1p\|[0D:pPFqvKfdiß h#~*v5nU֬SJXos(3S@goFPMS nxϱ.KmM3 9ۢ8RT[?4*_F#$q~!kԺ<{j,\I}Z̉?w$3yؼ@ h@UO(Wh>Ъޠ'Ă;# }fRXB$!u8-@b;;KT>~Zw\$b}2?`2J|Abˀ'kч94Ϣc$r/B蜩};ZO2,+IG6jM꺹)T)C/DV>@9*ԟsKVoz9;(wJ%&0JP%,xs T˼%SQknDQT{ +~ - ytV8Z&EW/Bj'Ce`@U-@1{tB icz("@ ?%sOP}9$FfBܣe]JˮYO E>zxYԩR:p#m@ػ<GlQPɘ@ф> '=I.rfI5@Aιj[Б(fByKݬE蒲;x!A'(}r$2U9aiZ(wY aᜫym7r+ g(#jAݎZbcCqEH~L`[F[yLu1L`G6VA&~[*]jq:Iq5YS'AebgߚՁ@x.T\0ҩAE_2);%;qUNJjt8b=ke`Kz&ROBv)d%ia݂_)&Qtt mFQ(Y<3ot\0_]!@Csf.rAKL*9QsfȃWZ`K {/.w-h q*ބpQ3Y oA'd]-~W,5"po9cӁ77ܤe.!(H4ck`B(4B-R,:I5uJȖr5%!{\J%xD(VRIfyg .( |$D|VߔGdeI; )Ķ4Ź k"Bj_VNߥsp.׏ Kc/\:8*?_ܜeI˚_?;ʯLtPyYLgȲ%"DﱽJ֗IMfl [s4n?[YH 9|z0Zmd!J*ĮN-ot dѿ<^ۃ*zhmwԈwo"(g}2nM~cUEJqp 1tL.mo~z_@n%XNXׁX瞩&n[bϺ|(9#l% JC  EF ~'5ܝmj.0H- 9 ~|+Ce. 9"|B{?Ւw}2o(\%nmTQ*TmZB3 ;~ ]ثm'磋mPj4V2D-i =AlK7z]1]Is@?ETQ4 D6d]"SDOUH^5m*7L+gYZ7zXZִF! -]ŗXiɟ1˦rnzx <@0+gM:SfjMyK5!MZ$~$\=80.:ubG~!ZcW_ sVsI*(  "3I(4b?]^im4dxއM=[ݴ', I{<_ϋx8"F'Y$(ZZ│(WĺS/Q&oEqQ)86t̲x|4"s%֬3gĩwǯZ ɵ2v 6)K 9)즴;UNv# 5Xc@(QѪYD=d? oy!r/9 g& /1_IQ\ _0IU/qNxX6vH3ƼBRp]k) sVSQ)Uh㜍GOԕ_8XCJ-]ifqwkn|BTo[fKݟTm" ~fNbCꖭ]13 b |xv; ;Z`8 [4C2/$TI\r?+?P&(O iz0YY; LC]#G;0Ptp{+$*wƮ^DgOkmUrt'V{/@|j]T܅)Tt>ɠJUU[I#;K, 3/|F>T<q(KsN:ީjOhe2cxܘ= v$Z %l4I\h xk'/z \BJޛ &ds8wq٢e&kXy;_E T^ʡ{A&B6mX+Q,muQ.qgJ= qrT=|NZ!ȿ>C~UH,!or~&7L s j ښ-/<;#Jf% /50!<KX?jQHh>=\Dn-Rŕ#a-Qw5.(_X7|ZKMg9@UsFǀm,y9zBfRE*_d5߭M&J@y{:$Xvdi.uε<qfA3O~%uЈ"'޻T8$H*OZJ3pƾe>矽:U:4 -GgYZ7zXZִF! ?n]ŗXi%933'ND'͛ x緛sN$M7K Ž,`Bo}2mGHF#w #&X#{ NV1k*D3mf6aL[&hT,> QY9c@6MQbOǴ?)~A\TZ6x"Z~X́,;CX>2fnqb¿Ə2F6E%P*-CuNa+tc,% `>2}nzV(SƉ0Q('!^{ H۠P7J[GoF b#VD_] ?Fa78Z*1683'tM S<[5 #Z)K5sc\LzǟNIq#lмJlKh3zCWk cFln >8H OW ^.R 5ُܻ/mcu9s S ,WȤ{N̟21e5Z1A[gՔHɶkb$ &pG2t;4CCWSОQDu\ܱ#+'f=RXOȧ?*+U\S41:tz)Lg"X_a'tk?MOG`0MRiF g;R]ΰiхf((ˠ4cgJTFȌvO,C6^8Y4Lք b$W?]r_81ŕ.z"rn,gt]-I띞Uohҭt֍O"J@Jm*Zk9N;latFBFyԯ|&HAA<% Dh!]a+==?a$] 9WMPzDbXC#o^$)yA\I-߄/A§=0]c:g znF=AC_P@2Vg`)HqDLa{ eLǬ/S#}=V6Le\ Ar/457u:3/}~Ny5±Zˁ=_YVu 5}ns#hk/S3B-ՌB-EX^ˏ*bwn}@+u0\?֗,LHVFÓ\BaJEV:rk7wn6S:Y[N-5:ei>0'ըXC` ޅdeDJD?TU29On˄ a8$?Kfrs w0^QʚRzJ(^' s1gp[Eك@p/ G!7N2q (p;mdD$=8mkyK.Ёa bnR2&Q-f7]{p/sSKd*U-ҧ@qh˯icP4–ĭUm䟛}3orF yn1$^__$1ȫwLywkӹ!6*c":8<ǯuBg'%= 4of0yEӶEiyBd{l ݱsUx@P,L^fh8q UQiKi@iGv;87D&Bf:W#nTpG|5/Wx*_T~@6, K78+Pewylcy=c8vgҿϐ-<ĸZgQ<|BS!*9𜎩! Ǵ$G'ݳ=Jr1O8fIjK{F2i:޴:\,f {wo|gn3hdrY[yOaN}ߤgoVqœܓY!Wg;#6̗GtddžB6ꡙ@F5@<_ѩm 5-ŒpouDۄgNີ^7LSAhیi)z>N7SyiI7a05$D3sbL`Oe]. ⹏̳mR1[CG߰&}0BTy}=,[ 8A鱡h֮(t P%~IaOV7|nʏj FP~!Ϯ֋8GBG |=[=zrPrK 6Wv /ҳ3݅f°boϗl>U ;OÝiY҄%B<: q:]dKػUޮNn<nR`.Z3Dž+x&A-ydDIvjw Z ˺}EN[K -#2&"ec[O]WLusRW+ ,Qpb~x,AtqUn׋֒)26LIt>.; Ԝ!͙"*]3]:r.{y ǴwPuyf8d<".Bg bգef˱d7\Y`B W{!4l"U&@횘8WUZjz,56b[VCJM[Gm'_VEQIL.ن@;͆eAx*#W/]!S34pbHe^<0am?)K\} xRFt3jPPNr~%>|# 5{Q==Rh8HJq9wM?[*kbYL`K[2 2BprB$cLr&=pQ0 Fv+Ű 4y- r/г}]a/V8cHAgUOb 4WaDfZ h`{LPrr̅ L;  hk` _qfcS7EEm& 6Cj#ɻ;t1rR;P% K~S0^ӗ8jSRZk,*&/oL88 Ϯ^Y(Zb @c֘AzC'#!` Z{#KG^Le[k:=Ww\QFwg=-QH 3C:콮]oV2C&o\ ^qj#nXb-dV&޲1mt2-/; xߒQc_i>Mb/>qk@9JJBy'On`mZ& $ V_~8l`㓐kD4;@ݭYM3ߌw+rgGS,Tuӯ UWUOVWU0cm.CGN۽[Omb;&,azn-MIو[Aa;9`rǺ<2Qf#{@=zn -Mg=ǫ4.1uT#Z~BwsyDMFʟd)ӈ>'w´G_JuڌVz%U:$+,'MR$>iL>C&ʀȰE4^/|"uKϹyTzq&/U}gЂuӲfoh VWO=RiWSu"*6D^/RŃǦY0Cuy8MN[7M"R?BA8s- !ŕCuiA𻵊;xLoB|[UkUk=i:+v qV'_ u!k+'q M0[y<jEsb&6nx5>0>A=R]e5Q1$7;Mwp~aDny:0 :Ҭ?/iX8 ;&g6&- F~n;O'(hOI%SEo8Ob'>.lzMZ5\"pTv% Osr?]zA/p67P8ޣ7YTIޥ%iգHa+?3;ۖ%E%5ž~n#:GL_gY Xs]%"m\n 18MKv@Bfvt0j3P>\dp&]Ф43Oi-lW>9l)vA 30 nϱ4z\*OW`5'cK)> pu4-X֮g8z3 [/v3 "Dz$p/\M=~ҟ ^ɹ́PfA%,ߍȺ_ f{Ϻ4l7~?V_K6~{M93&KNy3.8|"adz ,ǯ(3 vGFbh vFM4gOY${X[Jo3km' HΧG@l4ejլ"B9(X[ur[7e&=T8,] _UYudjrvh(?rHwK&y TE QbU43^*mH`'j^vW RxZtk9r+d.pKaa.jXvM<Uig8>z{}I٫7*[#G{Lay{[OaɆ)]˫UfN7Z&H of0}oN<(5|/r BQ 1ګ̚T=lA$TX }c'(G*u 0Q2S!o˧'!ȎZ`کqnEGNͥ&՚3h]BQC0`Z@O>jQYuN~7,i4X"#JI;I۳!\~=:nsPE[ SC(Zղ_zli&3-]n%5_ ~l= 3XWp(ikC2raH4}a.S/vi#8NKF]=J2h ַ2&ɔ[FPB7P[W*^&,?<\[#4Fj|$}:*yQCm?o:[QoՐbI!GrV'9[L7"55M+zf3h>5uw\RHH[EA:{Ji.[7MI+ Fn(ӣ]8&Myp~$dx(5aK>vq'Nx eNoK).œۿl{W$`YQ$+Z4INfYY[@0+4!]L322^}OҺE;p%gWb0mɊ,/f,1bF%忳6 ֏ \)'CEqRa[e c'3RB/iq\2Ojy&=X6v0IY j;ۚ⇞\'Θww,P72X7&lTOIܳр"7HItO2MZAܖXY߮(}vX(?{*EKvπ@~m }\θ6=Q![.#ȱG؟;Y喇WtY1aaFIfnHg{㉤ઁLQDb&'N0Eg#Ay@k#oD 3IڜX2?zUª/K(qαAqb[n=Dsj|D~?Ipߺ,g1-Y7V6G-M÷s.3wwrN@/L׽Ca5&'dÜ 6 ~XޯA8{fHe*!ԃ)AzT#a2,sc[fۭ(Op}9(κ$mYt 2˩o6ʝ}1Z#%Иvg좩ޘ9:QimV:$ )Z"UTa ?}lHKN,{EZt{YHا1)5Y@Lk HEPȶ7?I| LԎo+1h.\' Z' rUsW.C)_Oskk@\њ)i. E ' M@m!^^,ĉEs9~:+P^:ު-Oq"9B0gs͞ֆ >h=ZQyj& ^CuU -G㷂Ra:3 *r~ <ޓN.zǩ¸ĉ ~8\ADޘ8(6-V? :no'qרh:HHA ιyMG5C9_$!BX<& 9f.6'ARTXҲA \l I۸f7-cah7 ԽRDڅx OE:OoMb% WN cSݡ.\=\O$2U>K2^8{_l Hڵ:`]=|g A"ZR[- P*sk[b-lx1$ iY؂.oFVıHW(2(Y {ԤzT4^=*` )}`C(hG`n`-bw9[+6R軁f\GPw^1\nV~\_q:0)5bDD(('p$C]1XuH/ -emB|(Tca҃cnׅv._j<wR%#EX:HOHqQuq4ↀ>JskHtAFIJ|͆Hᱛc%wzk+0H꬜M}DVX"mI- MQE`\RqЧmȨct9m,qtߕ RK[`@ѱ섩ɿwJX9c&]}fbM5ZX ],uK9)בLuSoUC^,.sYaIoj졞ӚkSk*pE9f4lRDBWœub#o<%0)8R,<Ǜ*%ccJ]g$JY$%VnI\9j%[*jQpFGq)t׵+H 4)8u |nM7^zKTk33S->6"Uj0ecde",V$Hs+19[}i66^Q"O,vWQY_0"4rٜ 981iI=[H?z~&tFG$VrԳkaep@sב)ٝ7? mRxV0i9\X_..t,?/0"yһ{MӷTh(3hX̋`9oߖyPa}4aƯ,zrBy5$;Pja$hptwl U._~ 4W ݕ !.&/cR[[Gk`CΆYCe¿ 2Clha=0"KCoXADn:x0C) + 9VD0Q<$*^ ̕З'|&8C+UF^q֑CrkKV3SWweξ5y15awB@a8u+Tc5B_mCy Z^ETYW9CTvܘ/Qx`pm_b8IXʟ;14Hi3ˣ>\9L\g̯ڨvZ_irB ͡M{qV_pGb KMi*RՅ$Y2ĒE$<=XO) >ͫ6L=cR'lI F$B.xr*/Χu/C#~t\g MZtCkV8:xZAGeMqdgx׽e_9C5Vƪ@<O=1sԏxTF.٢z7xϟu5[m[zՃ3 5wl']lVu6,WX?|Ԫͯ|Xpi:,az5RrPx^>XX‘!XxTYQ l}I>a*rymlN~ (w%lA"y(v jx䘣s0wV#]шweXs&\^y'֪u68O)sY)рuc Mf;#ߎ { ;{rä [}K*ȷR+k۽FDGٵ(;JE?&1Rv_mJg#Zqq_KdI@qe*=K/9Zf`Ѓ/ę8M;Mw@$V{(4 t< j6tŇKrl>smp;j%٢:1@87 w8c`,D&qCHu czⷠ_̙6cE" )EMnƗoo:CNs3t ȹ(GLnWYvzݞxoꏤ?}IփP^Z C4֖vWDvf1fgcLGɛAC!-!1 D|p[u:T}ҁZ6:G&QC!8T^L3]N3sTQ `8¾_s(IIѽF'f x:8">UPnBC09]Mߌ`9ҖAUa; ƴwa/2ƭZO}\)9]6t;\|e P! XB=z` ͵J25\ob 4 6o|Ĵ踒.k\2=QФJv3`na(eϗ-S2&]ݯyK'_\kqƁ*$Β m*nPuѨ6UYj YgKw7bvv|c0N/3/B.t 쌘;"DJ?\pե>q Խ/NGK r%5F%L]xdgrz]tkЮB[p7W\j#aY7HI nH/ه]j*$[dUv=Xy G[<`itҔqo &2HXǷ[IU,M(e/%K7fZHH9adHj- ԶN!yQ+E h:s@ C٘7ӛ'@9?AиKK+eo?l,3FhtAb؇œLAuq/bۤ1 ˎfrz+ ai2tX+&Hۦ/߫Xtu۽Lϩtj,I'<;6֫#"Xʼ;j8vA. GFB=B'"^֭ 0 ;>?*WQl:]еvER|'.|B:trzN84Eѣe8j?L.W8ϣd)q@"uLvNB?Du6t;6 cSOֻ',NaQ^КiNJ!JuX=սfYvqcT҆) rlcXghHas}K#w,JO&x7@oRTh5\<@ߋn$h/ 5dzɂ$pA?ڰ!T|K8HPHQlr.!M`̄24ɀ2@$| ɜhmC[v4cI\HxLY>]  ˇ+Z5m 1K,*Ob}nL[L>OD ޿Z֤JU͙QݮMƝv11:h7ۑcl囊I2(_Qڬ W?y _wT7)ϋ47u)z+ 0i*(&,]3P8a1gVg3<3Ш%)*ab́/ɀ͖DQ9|kԊ*7ɽI(J3(p|"8ЦmR"2kAy/9uVC{{c˂Q >Z,N9y:ɘa4^f(` 9߹\ҹ=]tVbjF N{8;tzmxBۯ0!Bxs~zpPYb^G[[^tkDS@~2 hNO6& .GB>!G^?_ՓmVیV; ϦѠFC'ȃw^ih\sbJ&VJ912&*Ei_Dϙy8sPn"Vͫ,uOM{"Kn!h)_B 0p1c4n/;ϺکKg.+->, e8lfәs5S-с,ybX֥Dq8:x53?8#wO]p nM.t k翡}m;rTg}7-Ԫ3DmY{u 9WƎLl0)ȺVY  d'i3=ݯ'\ xCqnOqKӓ< lILŔjK^B165Akjǐڥ+=gJI ׁu%Z!ػry5q:hAٝpx.c & 8UzG :zЁ7ڙad<NtoN|ڄd97(,0k~/ B7Owi;Q=>]/W=ݨǙA\a-T:{yS0 (LmPd/sWFvDθLN2Ba(Hę3si z ¡Kٗ pB6c~Qj"u\!wAI8hyZ* c.kȶ?Gy't$FԖQFhH|Tg" h79@Ԥͷ\s w]QxW'.fUKp#nz=sX5 epP (XQkP@9a[=^$ |UEIz,~8,bQl+tY&SV / UagIr@ͤk sgo:jPN`K%Pq@8 M1R~e~dj2&)LpB{Oe-n.@դwʼ~huj,%~bvVcLA86c & }#[ +U ˭ss>@M<0 <,Qس` GU_be:t\K7Wlx_rt&WvAR;h}Oe[QP:}j~kGG|ۀ7,E#I O FK&5D4SjH:QP:NQ9ADʌ4V1* GL/wQw'( mV}r`?iNa6-H/;c}u eGb HXZ[I!vTD&&!!hrc*lUɞ=mAߢB ҉jAA6l|PrL!Trn%`"Xj8oL:.֐=ݫg%}=n_"HыPO˔1(㶌Ƽ^A3 n~xuuDf]Q lb6QI嫤"FmTqBg`OIkrUꏔl]}Ԇ- S1¦ﱪ7cx*;&-AFJ2fZ2Ur-:ZĂ.=M#oѤ7Ksɰlau$1gS.tTZ )-8pP+Wf lFW=JQ/U6[CfN4W4x:6иْC vƠ?}R3d̪?_,)r8 ,+H0%`u诹iw?F9B 6F :Qyucl߲\;橛'ZHv k~Kaj+r蒤~GMy_[cbŢ}x+Yc/ lά̜{+2ؙ4X E y{<ɋm߄c##j "hL!xRXv=h(.@Obp@ vem OXVlX?o\.dZ] $SEa*_ p V6 9)qV,Ki |;3|%:"\3âHuSkėa;'Q"GiOX|8@y"rDr;X[X x1Y1&܈ȸ(_.;! uzvRKXd`'LWXu'űby ٷވ3H JVeq ;0D*x J%ax,ۺݲHHb^q y,yh@mF6gN?OxTSйQ4 ;8% [Z88%!=>qrCмVS8Vk/cP?\+BiPDR^xӞFRdlTM^ԸC|A5aA$mHTmZpAAz75s(5\Zi|OX-/MUx^M mSnekTF (-!5t:`Ȭx~P%Օ:ɥwD@gC=e/gމ[{Q[ 6 =‚΢"09# v&N&>oީ CWzPLщi7_mbYw:_\o惓֟)غmĔ[~A 'F0)=iQ^sA7[9Bx {z0u->_  ӷj!gRQ؎B6&ZMg2ao,=0e^wTJSO쐀Mzj]ZX'fl x=vr\A9 J*uӰ"Xa/86~ 3!jLV48likF 8kK|΂ɧJ(D~bFNcP f"Y+Ss.t]Cfb^zQ !Y?2 RH_eBNSOⓓ7f=ÚA6FTt<\YxSh`#E#/ANDC}%2@[͋BC".וtyn)@6MAz/6˾f!Qv1ڛ숻rhmDwg/B* 'gO;d\J? e0y4oo)txȏƮfjeSP(/="|4[<'Z/Wه*3O&O;F|[˧[=reӛ3J+[)ߕRm6?CUAmNHHD#y=pNJ5ݣ_vA`z `aFtn,961^Ud:[(=z46+&\*[ ?.hͭSkʃ|::DMHP'7z&l>mP+z.g{G'7H@e>%S*-j>jX&n!XLu\D\jJN:~7 __5l rmzF;n_kQSЬެfG%Ҹ^"Ha;o_)' 6Fʶ|`=4SX*{tZ @!g5H)lXF2i]~˓-h1L|P@g'Y ! Y{-`˷2*cܠ KF Žc!υC>W* 6 0l[!S' uNo ʸ?BHeVL|JR#z^(ЍM,[IQLޫɸbP'ӵGŖ/y+i.%.+fm'&-^8\XNW*q䈘`D18.-硴7 A3WŎZHҡn[\"&`_k7gYfר†w,ʛ=#K'i=5dgv.iwM:yz>cG2V)||{X} fL>kwCqthH9C:fwՒXk{AJk}+}77T,.Nk'C6O/AIq6> xI,0V,#kDMjw|[,)X褺9/!`<2Uyil_0m6J|=iaAU^> jؙ5_ %Ѹ˸ |BLc 醆^?s--QG2;\8Y?PvE1kV1 @߲]=l0m_0w5?UU*CP)(KŹRMVOkWKTm}F473&Ow[KWN#jnEyvнcalpdbo+ۑ2em֙`4oYlwSMZL:hrG/|j>7UFK{6E(`* 4Ed{ S%M`ߨ!ܕނɞW̩[wDD B_tLNU3/02tFL]nR2Km+2qnlM>4)t[ ŘXs PFqP5u;EzݹN7 $D4nRzohdͯWO 94kZi{;^Z=2w ߼0<3;ifTm_^sxI8af_cF_111%9KSHAqmBzP <͍NBonW",cXF aQ9xה)%Lθݗh@rtR?adR7xǒUljcҠkYx'd 2{#L~%'ԃb4<4QUzJ^l]1jK0UwV->L #8fZu~s;g|2|M>B~TRrM[TgAE͖d^zDq6Ixw< &{x61,'] Tm/\{ cvg7CɫqvomCExSk=i=$4?+N uH8ﵦ!l+8?:Wй hz!`62߈G]MMnJ4"mHJ$b =b2>˻͹_x1xk QU]Fz}xxf nH\.>!_Yrtka/MMr3ۡRSZCҾ=gp^N(YMuu]'`HkT?'*b3 ׻Zr Ħ_xd"MYd]݆T|D3RqEpGacqC Dde&F_#|SP睫6|$! J4qhD5OxQ|v&DRs(r-+9ߑ|_NP ;e1:|J;4<Tނ2Xq>G8uv .ު[Psc+g2̂>"}ggS˔Eu( øNL)vKS%hۿB+TwBPW%潁pJt7s:eSɩXNH`{s6;cK9{aJ >rĀJt*D^ZLsvrGF7jj؊=ZcH~C~ "ep`MC+=ȅ $d4߹$J;rVH*"4Iѭ L wZ]Sܶet} >[4 gm/Y׽l\u޲vF 10EvdƲ pST8?JBwsa-: h@.>:C %'ycṀVI4+FI~s  GPeOg=iIA⎥\ ˡꑋvM#0Wʼw!Q7<ÈC8i~XڅHo4Ō}A+h11gH”;ThtB[4*I}Hv s،ٰҁ}< KeWbr\`묔7jH+h q cXn6)a6:] (r 74UqP{wNH\oymJ:)Yb`p㉫Z5>saX,ah镳 =l̋_0O4OTy˝_ QӢl scUrfҖΓB~yFWgq>-B2:'o7S`iLs}+ 7x{W܋KcL^"$/ gil֑BADTAQ^&%?B/95ΖGZvvIՊA2TxJx2H]~Cn̚`|T 4RNJBjJa݁].x ԔY&sFM$3g s gdbI Sw2՞t3kt!['3F~${flcu=`"#MS?$Me fK+ ,/(EBr̂5 b)N6G&KR`*tV%㧆)_+]eKR'ňɲV70;mEԜeNJ{5(e7P=,ڿ? Jr@A| XDe=Z)jA`* vi re#&cX))<)9"^#д>sc$XC͌:O+˙mku=B}5s?  f.䩁O~{5Nmk)6j̯P~O4}nݱ]^'#[0WWF H !ܛU~\; @"X3Af,M (uCP3p]A 9,y0IPTsuS/v'j/1֚iq$x|OO>Q%*A%bP Hx Cu(n!iN> Y2 1QJ(#۟0I)_+∪iUbrYǎ~}Z H ,eo<_u"iBɂCAو)/<\dR#]qh(QX5Ɩ#uI"m!};ZyuMPpZ86f P0+N@-sa$Wdpp`Ï3-:Q–X[hci*6*V֫ kp ݐ U"Jb(bhu`u1-~za\巸3c(_MsMGr03}].^4uv1?wRF SC_Z`(2P#7¾O|Ҿs&CgO.PO!(4kG~ކ=P Y`[kiZ>0yȍ`E7>P[97°SZTtA<Gsl;|qazRÍKwaڃODOSѤVf.tyo{€kg344ɑk2a,h ‘CLwWC]jE0h@j}%鈁)6t8_{73YvԪPi:ih#&}KvkE@FI*^PЉAR #]U9ƒ#lڑG[dtb1N{p ó;;F8TSZ]yeeYK[\t=Ӝ~s%( Q淀55Kŏ'4)_5L,-W-Qt- .G?Æ쩛?Z _Tn%J_h]ŋIv0zR%{9ݝƮal I8Yh՗QrD_!H޴4h1cFI)?stconڌYq 1mueٞZw֟YO寈dϱ#;6ȗw17-qoEr̝.^{߻9.{;dSdJi:MR MNUm/0)4&OL;UjRB(XGuiev+wU(S/hf ׉NֹVB.nF3!rسr.&}v.#|:Ss^)/ O_lQ'Q-Ύ'l바1)Y5;#Td@Eo|bƋ^+0Jn{n=q0%jʅ) mWa}Ɖ6&jfCp<7Ga!_цm O(p4c^%Bl5I,B1Kt.`SfPÁ>)rݞk%&&d`?}m`1ւ2^9zFzDQ^^߇0~OH+JzZHܨZ=L5!ςY?d62frA'kƉCoW|p8%/Ĩnu.#X~i Xk~Uj?wel͙N-<cY0 ?Qs 1B5i:ǽyץLNQN:֔0IO_M,nugOwE冷;ڸ;hNoAfEm&R4NG@E`*~M0fJHRs0,MPR 2"\X$ BRp-9)eOI)܎$/Gn s-h, 1 c+Ÿz]!jLNCniUP֝qk SQo:ig j6!;gS_atv |M?xIvԐU1Su ЦUzgL^ !כ9ٳ骍D:=|6i9 $`KG+z]+5MYPZ9 !* I2O3@\rrڎU:7dUIe/,vPcBۢy5ݎ@1ima؜8ߢ609.9E s'`ɨ`kǠRPv@/I $d%׾ 7 x ;oe/hF:7=Â]Q&޹3=ihD sn8~Zɘ(:a!kLnhEkh*_q Oozzm "1. *kătnDmCX9~֞[orQgJOUIz#8t1QBкIkNH9^n)#fj̫<Hb upy,\K!@wW&I&%?Y0Z3@N·X.$EY.U3_1"^ 1?E|Gyp[BSQT&m,Agj HLڍ.aK =Y9(Sph~ tݫk4?kejzK]\o͛]vUA*hS5PWN\״K?=-)!?v?A[LP|QɅ^rXz'ܫBKU5l7;Q-zN-`9Ҧ#Szv"niSǬ;9uc]H N<6.'சO./yD+4#"b3)$+ pF݋*"Em++S"fT&MKd>cLr,ÿ{bvs%(<"tܷ"(#}h# ENr)+P/-:JV$Rk,I-JA&o#30+:ҥE~آQmaRg+omm32;UDLڡBC03/&=(3T^  x{-!50`Q5O8B\r[`))aFOg6zxΓAMkoĊ2q9>h ضC⫾.u EtnA̕kB@#9v<_z. B\x)XdW{ ٪ŴO%731vontp2hYû :ٌ1j-O!eܕZ$"SrkAL ԉ%'G gYZ7387767442635e78f1470af7d54d8c339bc2cd87a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76f05e7c41b193fec6d6a7a550a84ba5db20185066