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  /Tt ]]Affine_Arithmetic:threads=2elapsed=532.695cpu=900.980gc=85.192factor=1.697zXZִF! =o]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=zj ?_F^l蓻 MqF bsgKQɂP9}Xh츽5J]b~^7?/pIoDD`1̚rqES\WGaNZ`~e -v$(9cezGA[Fhs>`K)ABtz͟7vA{6İYڦ#is$qX .mHp٢!m[9݆ W ;v8ĭ-,44엌 W@?MF~%k* NAPն#eNX[=g@lJ f⡾EK8'(L@g~UR ?2{k芽/gMӏ»zٮ}ZOQ'>7C촥ϫpWin?4t<W䜻Bp G=O]Qcvۻ%J4*gk]J6 7ar-"*o]sN&ږݒ=@QxL!/sezSN#:7zܧeI)1eu=dowF^1e8_rWZ~dk$lWqՙ#$-VBfG0#1&z XQ6 /v9O;8َ֔Z:؅s5w]bD?X!ih[:ɥ`.Ŕ-6n 뼢5V~챶X Ѱ{df< 6ӝec`9zcj&%Wm6u / Affine_Arithmetic  ̃)r( .0iPv[\RbƳARrJ5 O ka1@eB7Q5:he\O 2s5DwŰ-)4F#~/q 2)@zz9ԬpM?C 7g7#]# -#'Bm*N!㕓N/ OA_g\.ɛ DSQκ; _dĝ}ͽަ؋zy@K&$^4.ƛ~=HBp.2*4kQ9~gXMjqH G Yl1mÊVz|t#a[}@Oov^^ 0'npGwC5x1if#` IA^Lk{89p ;w{ ESK,BBѝ3J4^ƙ5TRRiQyr]Wђ>`y'H^9%\'T͚2 w9To:c*á_6jR? * g$z)my!1)tJ<[?`@.D62ʫ&#Ij ?)]XbDh, ~8 Eқ :s u FMhq:Lh9@ #njc`wn ^VJ[o+0wNSk푿%SKy,vm+ p]Ծ^H s{R/:߳㼹?ÊQ>eZp'_Nݬyp!jϻ⻿&|V#(K8d'4}mh-%=Z^_')Ob>a>\ K'# a8bzPqLf?.5S.,P \N[d& %Ӈ⑶Y$qn ߀=y8T'˧@Ef ~QUG`nCFF)`h$3N : s홅5͒,ie<lc`e뷴cVGĂ9R`Q!7goU"ƞW]73J;Pwj^B>5m<pt)ٻ hCT 7][éM4u6rK30dR&z4@G l;2aYѣD058XLS5LŦ3UM;RazR axyT#* E ~-u@_#Je>瘭EL ~1q"S0iG5ƚ= &PM'e_pH9s>T~thF rl%u /k؈O(>}.qSzL^:$~oZj wA.C4*pRա~-Zv2>%6o)jUU$S|yP}v^Z, \M,c*:&]G V'PwPP%'Or0*)A6U0G{5]UF KU~ Xo^2iN; n%T-LU@]a 4s*yE|59c k)(`XjEnKNeq=s uFϐ?>JyheEA RkT^]N`6LBE * eV4< l ٷQJB>OvՕV3B']7zqϏWq'h^vȄԙJ~RVՖ^;7yelzQX bpEٞ٠L.CNpai]MV"iR z5Į)r-a<.Pr'D{豳hOð߁j_QitQEπH恗;hGx<݇1 wI)#W"D1[\k{&iaQEiՓtCL%1OrK0lcd+((_I ;:b[fpQ(c+_{:^9 "52®a#:e&bs, ГaC iZL' \З7 7cr3 t9be [KI{p 6sW^OЫR>t=xDw9=tJҮ%S o@qzGbwyW|;@D=AZ߳ɩz]EICD}Ijz$>E4' ^7L*=jĂS]&f`@ϻ_sJG0ICzaײ{9 y_g9^,1(:&N:-?=VOj~jx7~@{t])uϺeE͈`9Yz@Uy;w="~\&Ei7Gy(ѱp$I\bťXTk@ rYhtL $:Rٟ U:hp+.>;,v$ RsQvO1߇wRP",}qI10Dֲ8O !okˢ wˆi!@ٕ)%փ$S/yz;55B苟y{{Kʹ1՟bK1@o⤔|xOf<WO=+W2}r@N(J ;J' 2)u)C8m/16zdlYknɼ#;WSkkyt8YrtE' Ag$`!D@OYkFbyźzߩL{O|>uZe 2ηpX$JIX>"I/t2[@[Z԰L|a@0跃lwn%T@\!9uL$[k>\O52s1/mqNyw~nN7e_zvk'z=&G6(7m1(pXiC6`ׅ]Lh>{T\^XڑizX[0;o*P҄r l| 4I=)&/wIK vwMANb|bcNvPHm3X5ghnL@&jf`TcrC ɸ|Q:J'ɶkP]%;>ҹ붬<#s*( 빔YJ/-" =ehF|$w4_sRkwj."=ha|}=!EGits4+e֡%3 lIq>怭 5@m^!L5g,@cF ?YR</(V0X)+R#y;{(2(yfW8pdz;'-ؐSj2&e~pR`!;6ERj4j"-{$U.2no?s%i @_ڣIL院θ܀[fh L 籴 k<*GA{uX^Q_ ԗ+7B& w =hL% uj2[3+ZDK:'YHGpfH] mH쩽6 b̑981$N^Ph͟BGq:4eeU«{r52b@xܔ׸2.{Y3=ʀ0xIrLrnfM+#jy2sģ+觉Gv1{xi +֌3WXE&jq !b e.$ %q 토)0Tҵ螀.uA}AփSM0z6S5oډbItVL6. 9ȤW)_u8{_B?.8Xšnhש8'4arw8!w/%~me73}MX,r4;:=U/;[c _F ؠjvQ(vr_'ywVR(P{;`A14BK_ݩ].SfX`EuY;֠KAgE}ξZїPkuE >OiD2oSwyy' V{Q4]Q%W'n"b8\F NO{18N< ~P3ШVөߊbstG!ovS&ԥzK/VeJ~G(ow̄+%_Jõ*a8~l@#;ujъiQO4D]Jѱ,%)91SÚA!N nRNa<D)Q&BTy»ݲ˯)~>2u&W6蓙k 7핥gYZ7zXZִF! l1]ŗXiɟ|E\Ât+.*aphG)%uG%C@{6Q3~m#1vV_nS!PwH<1%4>\`fgjjLKe:(Ǩ}#G^}o>b{ /lGG.D/">5&Hk:`7\eUD;s'L$zV)Fg$vrZ~e9bbaL*!YףbA߹A>3⬲HlQ4yRJ=e`KXk-nTLOl1ƗՌ8Ǟoy/4pO߇.tc]a mnC6O#w5;+-ή"Mܪ2b9| z6%a,)S^<8VJ#&Yu_d(M% A) 6YѴ2ݜD:9uI=5 Y\qF59!jр]0oxz?Κ|yG[;HUݚHZ&הs\iGKj$!jQ|&Cpח֓8U|mMwZ*?O@JL}U+>i}WHs#@oվ “Pm2'+*L: t5e9N-p`{ bR3x$ S;P<>`24׊[ >_&|/[휩۽oy(X*.A{f/z8)̕`5`A--(IA7A@BDZa.k,5ۆ(Y_}c=XAgÀdGB<0s{WGğ* qm* jmFd٘ 0[?bKB!+0"?}צMV}I Ƙ^f1y3gM wDkYO0z소M 6uh4lCN [r!}a)qZ?`6?;3T45$3|sX a L ߸{l|7 ynX^,道_f%?R^DlSIEg>(Q6Gmp7? " 躸U kpH+g]gsדwc y9 ݊EUkܵL&ds(1LW偵2ܬ ,w1gYZ7zXZִF! 0p]ŗXi%;\cͽn G9BQnP?vy` @R+"dUUI]T ¿R p.GO"OU-s~`j ˦iU_v[U_|^*1ۚ !_7^Hψ΄4ws=®.U;]1#o>x~CUj檍M2m4sȻ׉ܪXh-~~;R`86oTbM~i0'%+ ?oRjZ(; N>,FAr nc6Ld^{*;m͜X:ŃS ;Ư@40?#uÌ'@ޝ3~B e8` vok(JM|M1\2b iG(!D1 rSjuՎqO]_D\gK R棦5eO,b񍃑j3yY^#1:iC_)ha߁jh_ KѴq]co@˶⺚09%OFlMɧ;Quwk>}ɄAHDV+#(]M/ʕez0IۇKٺgY"$uQUQW8?.cjX>j>ɯ!Ce$`-lyin8)U!2G_3F- 'hhx?DԨ^~V#>6QA#x*jXOVi{hm>#H \(qzEaET'`EHتGRbxN.{Q=9nMsʙ@]X¿^= ݥ;Oȝ_$,N)5s*prٴ%w+ _*jX[|d?eL889e﬿QguJV"{ "8!KcwpzH8oΎ綢A8z#az~b{je{ReZoa7X *9"K'ӓ N'@}&$%M$/D\" H-!%C&'W1ZxUk̭;ϨA5%#²UЪy6HXQe9DLJY?H5C> 'ӱYydcg0 y{ k p˽L~c@\nNǣ7=:`] GqGSZwh.8"oیky t s3I:l)WO-@/Lm3;>چmS7[u ghw(WGorS ;AJp EPj3حEUG|D+E/ݗsz 5dU9Serod'#kOՅQeXڴU5G5XMjVG^5„wu3! бz qMFmև #BG[ 7)C9 HH,, \,D11L# P$z`^h/n9MUEcmQX JUvl:8BW PjBCXFmEYu} gҮF;7-enC ~Ą\KJm@[O \`fNݬAx',XZθG ,!#'^y=z9-c )@ȇ4>H\G-8D#e { IMs_Se liz+ݲ*7xz4r]F?Y$VYuROapSi z>`DRygM;u@ĸ!M^ɬYY9t{u/_W.}DgBw$4?H_l/.yטޡbfR8 ?ʣ̭^"_5g=mCx@3pOCXTWsBʼ 1o:4 3a1bj x8;̵"P6˃ A2zӻ߫S).b%oDa0T7s^"?2q5DA/IVJ5>6u I[3romKN%vꃃ^g(i`$MX`%Ln(ɯ$k5EkiČIod 35\7á/+SF$)0V,ʦ7,>1-MhOh W0yD n(r,۠O*GICg1efaa-u:~hfFυmCfaY}8nRn unw9crfME;Idv]Wiw"舾yN#{4+^CsB=ҤXE>g3 d@#d];jaS WmJ;""𨩐t8Eb>;%roX_;!qhP5mǠi'xD*_Q+77lgpe;{-ǩW\F3} 2/buۍ/h;:frQFuBf(N0П)C>N,RG0w7nн8CEqSz5 Iuݧ ֜sL ғ=)&E9 #<"@4oTt P]#AaLYB[2h=U l[%Ԓ:-m (+)ԏ3e !`: DM3)jhWo)Hbx6.wY6rAo?jo8S&sLWҦF`S1'`0/+̌5*ZM<2?EyNJϋp\/[*Ehzu3!!C}~Nwqk?_\I#^å56FK2]*/+;Ʀc" ci) /H3 37E?MJDd1Ҙ@^[% Ѳ t e}UhZ_GRqo39ͫId7^O~Yb. ѣ#cU~_3fBADMD>l#N(cc$ _]TI^cahA ]) P )B KyE!]e b|O^I(e`h}ꤷ*7զ]R} w*Zޜi@mP}/Ey|j+BS ݠFJ/x~f5?2SkߓBҙMx؋,bk:A5fiUƁʭhJex9a9[TND0W gz.ܦ l}=;Rw3ezKgwo2th;Aޖ4Zw{\7/i&T'ж ?lEA%i#U .ҟe1iB[70Q3aٟz(dO槢mGbf[R259^³r"o=Jf'kUP4OOsldB"5Bp Mラ"#񢣨h>U- W͵ Ym89=1&^$U7,ž o~zԃHXZ; j*/yV%c n0 " FB;Usz@ܼ>SN=ېߝIgeƐW=mя%RF^pR(&) JDp+2ȍEQp9OfU$=#T9ء=fx~V<F>/)SI xV=Q&TUZlP95vPO[arqsuaXsI&ȷ);pwp3՚&ABYVn )u@T}943Ao`(3rKTԧNAp Bhaɱ/ʤS oHoP`!IgP|7ACm`0lBrnԪPJbzwJ@nߎ:F;oNI UˊE@Oj( (gR}9&^e  dÊ񃔴Ry2w,}^|px *C'TL:)~jxt"dYwLNz>B+[WXDI2+|JUm$X{U1'ev7VEm]¿ U/Ov(HwbK]P40[eBeiiAuj=;C77g]8J@E٢Wn3YPUrs <ݮχ)*#5)"wÙ .'歽~˺ ;^A̻$]KVG7Hp )@t$m XT_)$rCUd|C= )Ffvq{>FwO0tw*i9OA8ZI \-xΗEp)S56|ز-v.ʗϪ7 Rp:)AouǡBw\{R=c?=ޗE,Bhi0Q5LkH̑Gy^Llkh\-[clC,vЉ(r`Qe(OVoUy!# t#j HD,vB=_z\ 1q.}0-JռD><={H_`gMxb.s:i, +V3SG<45""πh0=FR.~jS3@h]14 -IX%r&d@}`Fo!I\՝9DkǮ1HBYӣ F.k<ܹh⒪Faoim?5wFys# 9K}R[e5F6ʐhrzjc& ^Wȉ:BVGMRu2w|TGŇqI'?`7J$,D}}Ffyl9E4|D~V>UO6deO, bJivHW:I%i?c(^ N,$QɁٟ>*ϋ5mQC>pD;)9zLi+ì02}%4:ҞQx1*X˲;iaS@ B / ^\X6EAGy+r? ZDܦsA҂*Qs|^ItawJH-/e_L)"L^` Wq%$%\2$D&2j?gIyvp}\K]qrPC"霯`.g˰уF`[a=ǾT'{'1%}NȽnd[)v FiTX[Da[@e#2c /D!0C:[b>{k8$*Dt1 >0ʼ{$;?)c)#6ދ~s8QԥbpGmZ`|.[֎z#j1hb*'W9H+X)Z3D!aHlR-dGpfo3v@"LjVMzѫSB`< 8s 64S1LL+:7f,L@ 3SLI]H;G`z:m F fi?Wf=rǽϴZoas7BWqr=#*+&R<+$߿|tm^<`&ֱxjucWTss.:>Xg~bj7rx8i1a_8 ^JCZUT6ZO0n5x؝> i&DkE2[1jr ն03if>_X=@S_SD:V@Z@Km(!9TQ vi{&Ͽᵚ~u bH kpld pW#9,w%ugȀ/|'d( +fJY^@''X}A\oAd3_lh1cJGCBe%gR?|#L#sZaﻧ/ d얡uk1TyfJR"钆 X.jYnTXLKW g#vb̳uRmTzI(|& fUe0p? <^y n,d=3W£h6;jmw5A|\[wQ13`<Y(8 sL~WHmQ-sfZA k5EΝ<6 68|\g KoqYl&+BlZ ]<_n dxEN(c.?8U>0{ ='EK(MxPڈ{Yeu\\IN֍:^cs c2x\4y3CGJҭ'ל{6U$Sa4|Q8KEk K7@&OU%XG3 Bp3ハ?1%L$8q{5>@+#v=zn%KIaҾP'Cb+G(9YpZlXIdIIۙ(ݨ+ Lb R ʚ`bR8mA%/A>Z;eQ~ӛ/x_:$+80q 3?3".^ϣ?/+ǩvHB4ln'Qo4~ٱO+KΡ[fO0\vFOפQhW.N!}O2 v=mU_e'WhHNM.iQ(EwbM(gaN5TTzO$ί:GF_t>@ b߾f2:ěo@I ŰYBS_$"ihlv\v;%!؄~BcGD:7-EOv5Nhsj^DR EL=N% gx( : gC.~:wb/7c**,bA:0O߼!-8#HpX>9_`?Xe[Wzc܈O',rxN݀p)̩:F%P*tn%,ZTՁԇxCn}+C]O5 :qL:cr5d.D ]$[#*짙yث7<ʞ?9R0^=? zu9~q >˧0:4 R$]txGy-B6@4g 'adL)jwV'tafW|ǰ~|v}u"?w4\ Se2689XNc{EN!X0,n0R=t+G31җ 1yG8)j9#4mtY~`ܮ8%RQae[|!T'* @UB9%$dd)u!F8bBmɌ xQٰVD2B3#'G#MyÃ4!|l9ϜȁңM0CQ$xX[[ $FWUHT:wnQy0Бd!<|̅q]܊66nuӜ^ROceGӹhv۶Tݐ֑)"/k%D ײR*=gCˎGrydڮm趹kFؐJ2r/^ûgF i=c\:z扸 # | .'X{" Ȇ_"0p.yJ!.`]w~) T>w\+lg~E-]u!=1yϷ>'/:pD/<-z+ "AWpX5ܞͭ%N&F^V<@+$+X5^38JyW 49u!J5 4 `0h3{rn?J0og(^p:g5I#dԼGˡmMwe yms Uaۜ 9hn<Bʃ~ NFX o j0+C]_vUoDPaFN ,@N5nvfzΤ85 1d4;??Ywu ջ@7gX#!'MH%<WQ^."d~v➱1$ 05HrV޽4>NVVNശK S>$naqeA%m)=gL{TP⛿ĊF&5J?@ītim.qhDFH"Pk0!+131u񱏗$~䋙n1863xI!Pj5b:tA[Tw&oq^h e>(M(ZW&kM$֖~4g |)1U׊wSBsE@ DUyLƼY@ { I;CZD6^ `Quv+lGhFggz CuQi!fY]lؓ{Z.{Γ{Shqʖj+YJ)mKŨڂy!uH{hr~YN2IxT] Пʊ}߬()y^]l:V4=@- :g 3lթ[K!mJF!PܛI]3?JJ )NdB)f=fxT0_4z}Xu~6@BjIs7D)Evf? D+"ݸr}R\H@|H!SQ^)ဎJ<#n&G١a=$>_WwܙʪDDi~3]f qk,EđeoaRve&΍uwJG X?t6GH2!|U J2,"#PfC:(g(.A h`zUHY­,[{IFFt_-Usm ggfy*aSK.  F򏁩p$Qj\ x١'߳}'U"ERŽ+"1F"Z{82ϣ{)aö A./cuJ]F`+j#pV͈TD3uHyWOLTlɼ`͇i^x2[V3w <ʞ@I|k߶)}_7Mf{#"tKnd +XzkCa'QnVxP^f fssQOծ7&W1].!vx/шkTw'x].IwΦX ZV**/f{Fg&$k֞[=5fvEx.`fAlB"@uiH14%}=R9pira+e "ŋn@X41GCy*ډwMQ̥ &L!>J"_|x5g|:eJ1-]nBE?|N%-?֞#EZzѭ.EjިM܎^;V G"FKzɦ w!lC0{V֙<9q0;08(&RK%` h[{eA[-o <*Fvz{sbze{g@ ;SZEx@-f<.LM2C;L8 UtCٸ8Lx}7&% YCt%Ӱhv8 ,&2{qQi3 oms\|11RVoQFL$: M#w6Z(nr@j$Kt뺝^Wz%QRӠC}*ϷaGF_1݁5/ՊL_X .n6/VϦPS_Buo?8Z`r9Af42s[ѕ? ' N NHFD_ 2CZYֺ9k0X\-‹P_0@ v+h=6,k_..?q4}0%iz@1oeoӜxzEx~?h\F<q%@M@h $i_ ֹ5>؞UNx;b֗ D$KBTh>"Z#n-)TZ/j#,BhbBE|cK'beɩ=n~uԩ8J"'WJz)Gq ,NZk@m0.C{6WT~u/1{{Oprm2Rz P|fZPELLby"I. (A* *:0쑟ksJۿ'ձ*wf`!*C#w2G8_m~.Qh{Y),ދ2 no|gS j}9G!G62u6aTʶ8 ֫?9|gjZ+q RY`h2es[hݢ b~T^!bQqf)qb{r+CxC׶UᐇčRwL6[=Vٳ6A!#&̄y@ArLpX#FOܟ'|J , d@e`cKS;u.97''L sJEn#B&P7Ome'.q!WoQSz7^0ه o3xwS:snOW{zT+ Chٍct󵥪8Ias~;cv1ɰ[QqޢS̤p5f$/(49ۊIǷK1wؗ?h[( ww;/Qcx_#Y1SR[F^mv254KsoU?B%duf%*tx|cH&G]" j`դ-5GI =iP-oc RP -3(ehYDo)QO"HBKk7Ӥ3tD-0^VL{xHc+?cZow{X0iB~ "_땩*{J|CUȪ>0ѵ2H{HSB'RCnb#ԡe4JF ve;Ruh|;!Qd ~Pjƻ?Pc53]H-EL` N2N_Q n,!|SHX˄N".?cpk@"1ݷWxVV[ +6L^I2YM[Sk°Bt~gBA9mYCO[+%72iv_{^@>E؍ UEfhP>$4 pmR3@i 9`pvr&U qLD[3suuj򹭒(Yҟ0;0;}lWtVcarV'1*&a/c<1<0Iԟݛ8l1 .?; *rQg$NX;Dv%Rmc{QG %  Gz1HF#J2$ȖLz[5:3!r;ܩE]mF"u] ,>xy+)A~ c`Ip&XaA*;BsrݶT|}+/k?|kzB.O0Ӂ5 Pt|HaV.`W-km@=u۟Y5PX]{DL>6wݫM>axhRPS%P}:M t$+4T/՞8shIEϕi:"4<߱f(@zYDZ~e ŚE#3SevJ_~vxS#Mt 1΃ Zof>?chgk~+bk_Vv~+7YTJhQ5wK^Fenl_S\7оzfʿ_C`jYLeӍUԄ2 6JEȒ f[uxD GN (r:;iJⵌʍ+ʠ#_Wf;NrWpA5H&z͔2St'fˇ`g[`GoXD#J3$.MZÀ7ζX2D^mgn2֙ptqe?hX̜ò?H@,*WD?o/ vUKE`C u~\IΤ|b<}GШH2~Z?KAhY%0V~xAaS*;>=TC,)=3eBt3{Q'-i ʆ KJ{fţ}i %KS).+1jlk5pb/!.S(X-|mf"]űY .d4tUwkl+$' $77%F5lR%Ei& ner0Ho`˼>VGW[V|Y%CN[ gQ _o3 {sL}BjDGmwj4v7~5vWc+uG1 ( h#60o3V64gY~M OĶ4Jàbha3q@b0A7𣶫JDeiAׄ.'~c3KXvv [&8k}dS,xcaŋ]y \լj9~z=ÇgIJ˺OL CN8#NEfz>*yFQ|60^~KH@kɋ[8UU}?:HHnPc*t k|]b?4Cʎea\1Na> InV(cM8ϴiegJY9sM-\-QݝKm.2ƛEPR" $0 ӥ<ԏon(L?&σ+0-2)(Prl_+n}L˅kxX/2FϬ,y򳯁MU-֔X׷b)^=[%k`> Lv1xݚ*}p ΛAէn.y79"v4Hj#X)[;P\K)*ɖFd[zkj/}}DZ%1z.u8z7s]2jM ta5E`2GOX}UuEۃ T+!.8ځ<-Ɵ T}1;:OR&⯂nE̦}|f0ݴ܂JUg)WC8.kTD|Ɲ2L67K]FRstJͤ_ڃwJM&D^,"H+L7Cx,~rº":{ɱmʄ8]-#&]UeRl+lQyvʪkj2o[]w >4ilfzÖh)U123P⳽B߈1\VaGR>@c߆$px+459c gO`j9yit Wa8k4Rs Xy2P9k{"=Բw|%}~g9s3\HkDd,,ѻF~}4(Dc#'zu4ǾLYi"6Y7 u` dT3"ڜ{56ETmUq/[*@%[Dy!P$gp0 d;HB4 Y Z$X(ρ03")SSN.BܛdFЁ|9d|<DKOi-Zi0rQ,4{39a_K K ¡\e0U,T$Aї1!yR}]ǹ r@Wkn|39Ԍ@l~9.?{g\8 v$_rnV`:!$(q7?NRa)(Alj9瞹lNvrb g2QurFΝ3ns2-!pz4)jRgB@kF tsF6Aк{'L3uGQ*n/JNZfaF+ x۲6>+ 36)<ԝLO$iGmmu `X6%CA(gZeR=`mrPOʶ{dN)'}K ۮwӸJ,MuP{{N3(\} jVtgWPʶB)8(k ~ITbñM|X!:%P(nA;)/@CV9bUz&I<oc5GR9N@W"U]W}\$ta\";Nckƒ*-7w E~MT JnE1Qk8+v 2Cu|Dl]kA5 rܢSZS7c/D+Wim*wvu)o`r{̕YERbc7VGH-GaMH?k_Y"EG~N #.Z8qŇ1Y K,GH*y6J@t1֋F~X tM6\4ދ2+ȾuO}%Gce=`ڿ!Ƥ _fW"BVdԙ{ˮCzWN=|&aV &oUmtP5RFώᇜU@+Be)36_1=1p!u$@e>C}O),IQ4vK m+A÷U ĺ_us,*~[/9tAܴ-G~fÊ&z^:L` =1 K( ;@DʌQR %:ITb>=s4آPnp%,'4k o q A` .v#  |>:ⲁ:28tyS&fLk0z;U!?u٧5,}ѱ7YH0;]ak*v37kU WP%#q#ΌkfD@ZFZצeFB, lZ~7ۆ FO|wq+}ymc^0yxGXY;ZOYTK00Mݺql|5*iVG >'RWiF~Lۋ9XGYڥ]|YVA<'֝^qh\dIg2.DQJEzڇ:/s;x:4mOvPԎO`<Jb(X})_wT/7 8';.If,][{%FXC`gb{T0|5~~>wl櫝y󎠌N7BڢnaU :v(y8*6}cޯ)Hz#N5N?Vx쏩4 9w(4鮶1A|np养e Oa:v@M3̧PC]nZ`Xp7g͓Fe{,HH@7~ee%1aIifIp@ʖ^}g`mS E˚ܞ)tw+_f("ZuStށ@ NŴlggϐOc#~KK8 0g @T>[Wd!"1X7]!G ySɑJs>uYp ?m%>GK_>x@>nSR{2;)-m<퍱"f'?3 td8 z\LQ6; lul+拖Y9ș9)%5[LSmPfΠ r3S9:f1  e@KZT2h"#4Tv*kQ{>ZgåER y$3'ư)7D$MH2u\E-i ޤ?C0pFgִ\٣;ȴn,k~׏!}ێ8%% Ay\& >8AR 1馚~_w!i-b0F)7W0Z!hV[ F="<%%X3}4HRf#ȱj*q4q/' S>aبzQS#4ǝ#sSII{&zу/z Dk^4=g|CDfD% LM^]$$(3SC,Y&VrMΪe 'B빤/~d1eS~ -`^۶`#>QE7lJ -NG#i[.,+CP|诨^JcfHאzuICMͯ>I>jjHJ&nH*r = P}%"u<3}R̽`1JoB-y31!g@<ihOőGxz`83''C*3(KS>/jRE("]oP5GN%y5,ҭ$b{ڀr;IöDAmƪɜ~9!=rʉgJ7v,B ]:q.$NVSRhcQ1/N ']ޏ/⻷NPY!!l@b Cy 1U:9k0vW6YEWv#7 .-{$}$Jf84l`Xd5EE5Ⱥ۞E@zOU h'H 8ml[l}2B+x^8%DZTɮh:#m#m,呅V2LJ8qGET`RAQ^9+wSх5Qxk+/_1~ וG꘎$7 `T֒r^hb%QnMIjctmM4CO"~Hp%ěX!G?uo,.G[]> О| s $-'tjG e/fXΧq>Q; Q'|b~@ts`4\jJr`Z?1ރ/KbdwӚr\ŷ~aZag)qg4bY)榮])' Kh&F*%VrFai6ގ-H$I8zpƶXK8 l>jP]I=8HY Wa@(UzԂPrf@Ӊe_jnTx}Nc{M># mJ9MwIBȍ!aCrp1$>azrg1`lj-:\[Le&aB (pp>ǃqGZ90GLw8fX|B|Ӭ{f9Kap\R9.̓nkyLt[e'j231A c:w/c^ltXǮ;#'yQvZ>̡O#5UiŢ* !atC<^3&#X*&1"0a@qV{s͔|Je6ZcY{׋64z?9U>΢) %v֩QQpgyR}őˢO8G+`*xSŃO4zPHUm)s S52$}zЫw#m2r08<ZfЭ]`{ FƎ7&o}$?LhXCdVɌH\GNgw*ky1&uٻRv.glu;z?r%WZRXU;9BBwOx:54wb+ <`O-f“ ɧ)+Y{S9ZƟׅ8?ה.+q"$a8Sd{T<ңg܉9FD(oIKc|g8 [yj䩦gAxgJ.HCy{1豞e#6aҞ `DTG #fa>ƣ'dlPHMƷ}eH\^Q]BR(G^="Y v1e(%}[ STo ڀ-%j{E'w(e@aӘ߽!sӜvok 2-uƅ_K`kFhgOh?aQۅ?O3"cU`Tmub8"t ^7a&_zL#Вvky]Ԏsԭ+>T"ff5T+RJGa>*(&tW^MǮCJm6OP&K*~ȮFcSfj 5h_DQRIԝ?@l|uvN'Lc\;L:9-Edl,!7IbAElqB\;$BI @MjY n_ϝ.ku*`=:OC< (7Ѯ+Y"ܗ9_5HkKn6IxbY(< T_ǎs: E/+2+TjDѿHUF&`R⤝'H^w։rv%EޅY+}$;x&S!xb~w+—Shi -чVᖗE4E/)>?MENRGG\=iiGI Qixf6S:4Zk:$ V>0egL"|~FO; x&!J/GeiJɹIę HG伸a*8^T"hsN=KʰR@ jI܊UL U/i1;ίeyLyc9aj7!Ӓ{osC79-gO-/!#!{ޔ3C)j7.$GSGabE9U?,zѻLintCjXjUI#G$q]v1CnOFʁo@.iYtEdb 4ou*^l!\$MYKO)6"P -b91f)<-= hkyxc?l&tDqR:Eg:L n Hta&jA\^%mbP %%q@]ѵ;&KNe/CRe?1!O ቊ8)`? AS |]h;B_OQTMC %=K8 _|u'6ΦyOL~>V"˼dᢊv#ÑdZĀ?6L7Z9A0or X.4FpZ{9y3 7$n`j"+baYf$Jan"V7|7Z`H롤6| 1ۘ 87nG.r$"jqDyg{e3tKadl30ʘls(rXIe c޹/DάcFO΋v\hCG$qKnzap }}ӇuunOQ޶td']8Dh`.6b&x 3{+&.g6l".g.Ļ`,wf ف!1t8״ ZZ4:5NpppSFu 9(}BgѢB?^97gm,a>BK@I(\L*E/ل]VzjRNg/ \ϞVw>u8o6^iYyp9.$&W7<u^:ץzXGP Yo s9E^vBn_{K7A*EF㭗5o* j+9r:>XBvCk267Wy/Ť!~I^3 ) ?baP,A8Ȍcڃ}1#C߶0xPmjT`%}o ZJh[~7(`92OP%?,KeĠb*Ұ A@Z` 1I ,b  Qr8Ӭ#@c8o{ط$aE(DO9 >rUOw ,WCX֗/sJ%Đgk)4_ha(hy4 m5X|HT( (,m~y/8 #- !3"т#m ֥IBH &xӡ| aO|4_5%8Ԇn+(!qf ?)Ua|+ʔۚUΖhrԯ!'N5WJ,ތ׹7Dd8:Ce~73Zr$߆@7zvzHrmt#62V!&> {t "gvl!u'"Gϔ 0Ϝ 'B 40PZQp7;]rר*3#=ݹwvgvؔe&x@nWo!?(<9~N^v-4.S3Za%/Nc#A4r-/qS,478u?`}Y 0KPL/GUl>Ve{Fa Vw.eb ֑!S-k*\J^Zc:t}x.5$)Z ;m'iM Z&_Y\p8 { v056+`$#Ḁc aNxQgU?C+$y,*Ԉ4 w-Qh%w<?ţ*m7c0*H2&f0gYZ8baac8d22d97fd1d71c13a65c9f6a94a4106f7bda70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d42064a4df0ef930cb07a90218b225f66cdc8677e6