SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 %tDt ]/ Derangements:threads=4elapsed=13.536cpu=43.372gc=1.6647zXZִF! ]ŗXiɟH)0%oͨ?@&#zg ƖwDL<>F(m zThl)j#m@ښ> *m= S8cB[Բ>54轷 @WWVkV]C9}@RcQ7zS{ I.>z˹d`b#Is'k){jͣ3|8sMͿ k9dtT2!J_;. ӕWΘz~ZҾƕ@bʵ?){j=-z?J@/\-tS·ɘ l3V 557rdXo\{o]XÑ_$q(^F7?ic<لcb1hfqn]A1_HHH:岧`CfUSBO&{a\mZ^2L1%E-&[gŎ j*̰k9lUd;\=!#WHIdk̇z+@x h`4^X*;jҚ`X48 F'=O([}(53aM}CQ^lz43v$k45b Sd!(3)}܋~8z#NB ;YB(VÂ1Vҥ>Чp⓬{ )=7"&A%^11bRY ^@G(Vl=1Wz%s';oILz">lZ]e#y-]mLD2tomOV;r/)DXTza La#j1!vwM*%CaO\pKdɩue} Kq&xmoWkítN D/%{)q$!4?- ȡƖ 1S*ÍLQt+f '?x8Tӭ~Y3I&޽g0~@UFsxJ("GlMϖZxЊv]|~F4sl`MLM#3#66WBlݠ2~鶬X pAF#1v+ a%ݹQݼZb-9}uziyEMXv_>)L:<Sd)Jqﶲq0>>=&%4p?b:#ŮΒ(DNshYvvg\-M1l 3;]`/{E3F"ƎUBo4<D-ЄSl % Derangements  MLWX62Z)cQLݜ#]ܒiOvoR+]$30u\;.D{m8kIV_Ū(s`vrTcZS){?mi"ڏJ`|:WȃK\9˷߭9Τ)Қ#Wc8sv9AN?i(4[ YϦC#umI')pt'@O<kmϋƇ +/<|悡۬nKʀ.#vNi0ڇ~Ihtpa"%JΥMpO<8|#9OOaKG5}Gϐ&hcB.̺F:DWwZfp]8M@IpGs;``O|] wj}$k5{HlSG&)"h#(0A*v~h3(E풁_>KbsKt (42v_AdqH>71@'4AVr)1El;ނ f9Unj]𔲵*K=-/T \4E+w4sdj& ~6aI,5k^BhI.p z0AXp 1"Cfe̅iq9>z;rywZqb ]hZ*7hi s# ];: H1< cd +0t]/ë_3!yw))'o/"yz.hI{i I=*L3.δxEq>Ѐ4Y4_z_g[ [ܢ nN#PE&ta8Fx qc"A%]ye Oƾ5@nvӝzOuq392݂!Ѭ6Nm!}c krU{ F\O|;>7H9m~uRX5pA-%pjaAelU |\)ep8$'GhGsoC'qjTet:XpV SP<-lJi s~Lx8֐]҄]NOha5y1+6lՋ@$XxgvGMjke^͛QZk NCM! ̗Mӽ}h }D)b9Y=9M^xrtYg&ԘR^ʸѾ5iƑ<$Kaʕv\ $aܒOR^L,*APC̓mQWtpI8{+)Lps.-0 h4tP~1bZvanWc G,ҕYp═ H6aC>,Ȳp)Q=ʞbO$MbXʛ`d Ii`m/Y*м.q'W-Bvbݰ|H1%ズ2WrтGg^m c=:lϱјq\zGT!DZw-F*+7U@3y 5bXzT hV7jp2n8>XH$'LɧEf#8Y h\ӟa~,|Ybi&KIW!cUTG8s2ta wq;y7x:qApfYhZ[k'޾λtb1SpkU@ o2PQlRp%bOdK$m]Ė)i>$;M0n3~jm))@wD'PIuu a7Ę"Vta"C/4%Mo|-$atUBع w- .&ߡI?o5elWysՐ(FSM գ8M\V&qQ="87'Ĉ).x}ҹ<7>x<#8KX > YwrXLm}7;s^5RV0W/eZ}:/q ^Z~sgY0g*>^D}<5֛, DI4-6JL1-F"\B;p+/JRf?~گސZWh0۔|8Y9]n05/b_}W]=F @_tb61Wh FuF{ \% XpA.b8G=ƐlU<^2VӍkhu1&@ ~pTl[m-S[.gAHʝ 2< Yf)|.{AȖ$+3Z|?zsfPUW#M vjŝbLm6Nx[,8)=؅퇹d/Pe0klj{XDܐo1úNDMƥ۾!Y>j2mv2aԉ5n$7c/wLwEb3|~n~4qδN &v!H "eXǾz=L#o+P_tQ0B ^nR+5p#-c@6eHCA㟨3LzЂ(1W`X `䡉3jp0>$\est’78W<,5Bg窗.O5e8?rZ"'_/ n%hXȒ BEr+ iDr6w;_5,Ѯ}PU-xEAe/X$[ ۹u1ZO-ISGŀ.AvXjB% `g M\~4@ z >oN2Hw/nuLSKچ,X|JW3,7ˉ%/Cx-Q ťeg"ȮҊ{_/RDZQBQ>jQԾc*xhJ [pngfDem܍o>|'hK (iSl~.{)tTR0Y_HVD hI7S^nQ'˻vbvg%bj ݗTu8WQZ[´2f/qS HTx9ΚĔYy}c%XUQр%VJpb'_"cii]_#a~VN2V3rL.,&t}`sq$> >SmQQB*[bK}n^e7"ǂB+:nqc2q"E'I'E&S=L@Rɯ5'8Q9l)DIG Br祜{QoD"ѳ "%8xS/$8$un ҿz}|}O#IEAHpԁU5ͱGOZ/ $ Iv;RYi||=dk:PYWȉQ3sUt xo0ƈlȔZ;F&#|̲CEUPT[^a[ӻ4r#SqT5f#dUf49Al)sn]0dA4/؜cUruG:Ɩd70Rhgʋ>5}e\9>JW$m*׋ɌR]/_]O:^Bb'SgRJ OOK0%ӨCIg2@ɪ/ / 9SpjȦL8UF|`&ҿiOd?@f?:Yku> bN9첏aU]=V'- 8dwס};Q3o+㓬ShArg'j@1^EnXdWL*H/x4ثb^_92rxr/#@&$ij(~UT3:Xc@|iUOSGay9c0FUJFE~-wMe RypV|s6̆%R0>}4Ԛ ؾڢ56`d:g!.Y'A4 ZTRT ʴɈ5 4CcPk K,IM%TGuV_L_=LOk ;ʱzKwS ־ * &>T]*.-Ÿ,PdMGrqpUJFDq3wا[>nM4 W/YyVutj~I2F~ŠW&O,_CZYZwVMG.`1*vvQfI{zEFP=SC6Lpg2M;&fQ^F%Y+-*><4) C-Ύ^ζ Vp" TUh u <?t`pFpfR qd5XЍs@Ȑ7?h<}NpaG 6Х )FB?DPwSVNY)ybNn :X@*4vpx1IbZ[A֏Ѣ\ |`*=X()_3{= X-ssyI8!hֲx EYins_0Ntqɕv]PZ @{G[nM?TUwn*ʋP"6snjΆPA?MߚI[ l3ZMa i Y5,[Ri$U`-Y6 A IwV0*g\y-ҼvȢd\+y]9,}uq[=&-֬Ӄ$tWJm `.r2$ b0,1i7L_ O5,+$-cQ~>x%Á喂n" o22WVÙ<]y5%.H]IZU'SWǒtZ2:;dMp j;ؽ^c&(G0Id/];qD␗dX+72a47*wadz d/`pCI?_9r{"3rbUè(9 XgjV(/]#\>bFQiE=k m~K)y ASg+nhq%&y<ի~7ضns/2}cF⮥(⚂XT[|*6j׷b[ "ȸa]Iw.apXak\SFv[)an:J%;g_ϯFkLq*4xPl4]kLkah)v6="rjι`3A%, #kkV(_){h/ѷe#[߇8-}35 Μ4Wk&AAM{UQ*?OLܼKHojdYVYbX Û#+'ј>OI(Ȁҧ*m@gr+ަLTWɛ4m-=d4k\*zkw?{C5ۧ3]n'TNx cnZP2ED^;,w/3ygzdDҍH+Euixnɀ0a&ˮE@*T0w8޶Z4;[[w]՘=QR6~O4bB^r%bl%m/oG(?XgŎ˨s,g5096E͇VŻ379>Sb@ʁbp 3jG̋h*cbGQldZ4;ړr` i'χpA=RV\'^(SqrQ},M(nMγR9 pڔHf@9"lcT{\o~fm6ޮ`~;"S OO߅w+;ƻǾ\v2}ᾘ1dF1!F+;Ӑ{eWx&?!+KFdA U屛@OKNzLzNkӑ%b4`*ZQXSos,S*d?'ug$ڦ|n4^kbl/ 9# VU&GslĸMUG88l!/m,2]>Vޱ~A 4׸SK_FMАJ=x #Xs"M{ z&/';Y>jIvp3 ໷ϜZ?~rk6 [*4)KFxcL ?i1sS%OOX8(C+X5݃wuQqU13J03Q۰nne?L#Cv\/caAm߻!ؔu/BǔmgW)ǒa[i2! {lk:e`Ԛ͚S:k I)kM9DgpӫC[9#|_ϊ_MH%Y4oIY6#e 5TzWf̍n݈ɞM5+rd jJ1>fۏX)|$aJUKRmq|\daF\'|nQꛬZsA<<˙wFʈOSOvl2C6g4F+Dadٌ (ZPׄl MRʄ2^KW3kUrEEj˴瀯k?@Th$@[:M~@( @9);IGvc"q9(T' 1vXmVAsǯn})& ,sƺ8Y^bٌώUӈ;!xk^y7GH5➷;G4Xn"0jN}ԅ.F 9hgLg=3-X0̏ Y *] e!mѯĄG=[chGȯe~2fO=Ixذ}9b.BYT2HI= lE^z ]bDpYNW Q̱<^H`4}͂l%sJ{TXp}+XXuJ2Ii8>"F/EA@@sEċUeC"8^CJ R-KԩqHPmNho߱,>_L[Y/_hh IN~BGl37'PLM+#4,`5E^ {j"nL|g̛7E\Yv\~ 1I)_6nq4h -:,7 񊀫CZ ZSV.(\y 峍=ba& 1)thg{c'!9Zbp.&7Nh3$nZ5Ie-vygrūF6mA??(iSocL YLx=IDklJ9O$A z0O ^DuDϬSoM0@}p ?~ej5YW_bѷwg6ԇƷU-lٹÅK#aFiW\Ƒ~!ς Tw ft^Qee=wm.Hpy L  Q#ghgܽc.f$']0_F!+D3DTcZ^bgpqc2"_29m(;aCABWX/59rS9cͅg^SU%v/zƕVM ʾ7ZZ4E oG"uPHX [ZN9h( c/Xy::TV¨+sjp޵*Mdx[!IASģSzl;a K!pٙ[%2NAսtgr͠>gNc.S"Yr\<`mzo7`>ŐH%r̟+JnCZ vj⿧[&-L UGQO:4ѭH c\gmtVRK8~{D䧦#]pcoOkXl}=wX6"[X J-zꤳLhŷMWݻ27%ǎqy~-2sBP7l7:p|{,Z5ɜD8NҴ!@ a *+u@Au񞤒N/6|@I}? '/o5yU,7C,K|g^[ƃv  ET br>]4֦ ]b\Xt'5[3An` $B3K.В=6" e\!DG'?$ÁGgjNoN\WjU3RG|ƞc Kwz/T((OISsK5q-$~Bˠ nu2LA6WH8=-X{VZOE?LAprpb s,.o2/HJ: Dv䧮 n;;;J|.ܯ?iMLv͘37:өݦI/Huԑ6 ,iݩ [IXk.\ևʷQF亰Rh6~s6$u-r1XR+#[40Ez& ]zP b?Q}\hLˆe Ќ. Du-l}"ra>HPVtU&Sb bDDNIqeڦ|$7 :PT)Zoлz'DE$€x"VEB0B:-IA?fE9mq=j[;MWxchP1|W8>Kݐ6G|żԚEVLf6Gȶ90_xeAHw?C3𹡟np(=rYV±Q^f@5mhtvympylG~xmÚM:P@e1Tf@:BZ pKCC@3 ^.˷z UD) [Q9LLƝQUZҋG\Km\)e Q1 t' xRjj** / j/rIzMئGh1㮱YkGbx=3t0|R^FBãgdr%aDF3xkE֌!&%aH;^=A.9`KFd9Zn`Cp 71 XD\Y>`˂nm:0{l;3s 3Zh1fs,}6L;Oxr*K)R !x7\MY2$]cK:k-2h@B{̌V7?J NiqkBHYT'K" Z 6aEwGl%l #PǢlhl}@ƸްCْ%z\SD/>O?K&ҙPA}]ſ,ާq'rˌRwɵl^k ^ B[%FIΑ! ,Z#nKՀ2h/݃F[KH 5^(yJ\4%d@$z8HISBcYbRP?Z(A͇y3/: $83;o/C4*uo˨h~~t|u8ŘW''#c߹o 2sl/5jtc-.H"AVغ{?Y B>"6s-9\V~ݥ>2Pi'$!w6(59>g=,#fÝ.ݖaԐPjEdž|%0}\_8Q#_:݅W1M4€Tz: !>\|Lc] "6 ^HB>&Qj缠˒z/.wGUb?A0W'?<&YrS|L 3#^.8\ucWA@?%B1 H Er$ ;YuuWbQvC3$ĺ4It|k 0Q}oi-T{aݙYaZ,TMݨJ6 E!ĩ|B4 ;E֪=QeȵD]X#WgcݻNDkuG3N&7koȲzw5:Te]Bcq@p :jjfp =nl^8)Kk|bfҏL m±4#詽߄b &GNVOv^܂RuNOwd kb٨V]8m=_8 }1v<@Q)ԃsҢ,u͏5V*Zw,+Zqq6FpzxYLw?E+{io=_>gm'z=O.SdA(1`znU%]&&.Ru91qsID}*Mk#MU6h bF8;r.L(T ;'Kv y6ULe iߺPla8M9x/'O,ޛS}QeiFTtxX=џC< ׫C>z<+fۓ3S1zM}53TB`&=bY=,]{Q;do,w!vb:N(<4Pvk{Q<.?sp3[yG㫴 N>)_;6?Q?i\j* 8_&S-!軿'faSHslqC;wnm Va (P }l(3:+e!8YuAUi( Z5Ȏf_CYҺ7 |ĒPrVMP6t :54t/sPBw!,(4X}B'a>tvS/bAzNx3gz#lQlU\EvcSs`Qev\^rDP5>6?o[ث߮'|}֍$ZƊxyc5w/ &%mȤǁ^+38\ {MU9XT_{1֔Ģ~ ӭ6},oJ3* `\f1ivo8hP8cz-e~b6{n(+- !kE_ry/ '̫aSmh-,'O٨QUID/ǷZ(uhgQ30u4,K=-@%a8ݱq{z2%E4 ӭe~21Bo/߸*'}ۣV {E%FR#]w &-'7,`Zapc<%\Uv->f.N`$dR%^:/ w>؛|_X.~>h!b|,  yJ~lF4֔B)r¨8ɱ^XP57If[ˡ`ܗ79ibWF<AIB-IHI32A&$yzT-Dj˥B;Q-^P:H ΄.C ρ-Ñ_Q)˒=|b/{=wdVSWszΡ*euA W׽3K!u3 twyG\2~% LJlI"8Sd?rô?9_x֓3݁s}@-QB)uV>SY U$|om#Kd(˻"T"sˌ8m?t1$?D6!H"QäF;66 փ}SyޑtU+ I5t,z[m-xZsJP;֚ G>0l^'~FƜ(jRvsttJ(6 ^KWf󾗠(?Ph/#T _+/%ZpYL -R+O"$w{Y,6Aqv[!ڳ( 7۽BpOt;IlK 1?=D n5MH5aܰInCJM@ȞȽ4SJ!cF~0{ra@Q-,_SUhejwVb ӧ;>q/9o;$Y':v!ֻA((+lFuur|6gAfVi3w% S+, f)=L00d#%(VpJ7.J闇AG̝]v(ݰp-L!N;֫Pqx($VJA㘼`θ|Aud #u\E{p XӲ})^{H w igrQ ]h(fL>r)E6( s('Aޭ܈ r )OwK?*]w( VObH?oT[m "+A {_NݒaR2-jgk@n}`<x'luN8ΣlbUf Ǣ!EVK%> ~cAPL?cRdI6_u~Տ{(K~HL>##ZnaLM@ESTӽpWtm!kYey؀u ). I`{,4 z㡸/aA󇱸JZ(4"'se<;^Qm=TčT YhU0>Sm=a/Y]d (Q@s)]}ֻUlHuGrA8hdQĈ4ZlU\yM Rd)6w*s-8I;{0F7˷_ޔ= |cfvg& ud+]X'PTB2",uƐ$SiXcw_t{ɻp#Thk}Inb2##o,25KFQ- yQ?* ΣHMewEU LYHxw;V@Uk=*| 4ozIӦr3!G6+#b2P MU}9i'J<^NofT(-|frQoMDeц5;C3NT4q.2/L2'XJO eyo R7o p{ELu*%,{[dQY{@#+͈I$UN;0AI>`q;Qŭl:yXyu}){BOoƭv`-}*PFIEo$_[`x'ƨ ϑUn!$"[)qvrkRH?}qPQ r;ՠ}Jݯst{Q˚2[tB` [BE7Vxz|Rdjvs'iLȬa 'ՓՅ:*yvvA3 e8rMP Y KTPQl%F,̡Li@L btn*^1!o4B𞷀Hp;kI Yl8uXBm{?b<}y|Cj+j4r~># Mv7AF$9>  UT4Ha}>6uVrHmXh?cP `-8˖) )K')U a4;Vcx{| K^PuP)t|LN#H3x!t,˞J2-M' N~/k#9՘?ׇ2Sy->xd@Xi<%1e="A NO}YAlX 0n8Lx 5j?{O r&{ Eg2^k>`t{$ g?Ax\!0fInWo{G0BzȽoɫRwtbvNlG1 ⵃV)sC}qbz@;FJT`Dl",3ٹb>Nñ͛# hO2whEڜTqc$KEux9QϞ vŁh;Nݼ,AD~>ZEiް'0oJ{j50r;R u#$6eM*eŰ* q,P D+9X3rT^1c,I@ji-CB.d6%czEL|K jv뎈o .)mۀ~LxWa}P!MF}2b ak[:ѬBϕ67GG:B9;>V0fH_ˊUdM CGs^3ܯi O eV")0 J/D9hr)4E1L.c[2ȩ^l%y%/q#e wպY4U&M\ 0y 1p[|&ZИDs`AM%R6d!$ր-$fQ2Pɸ 3+@<`.~9X=Rs|%)8$4b&򬟼DT8 $hMG}V,X*]@"*2VLfw6fG?R=1ջ5`6>is44;O噐'RHR뙏k4jKR}ג"P!= JYuyhrx #'(̻  RoB0 yzN#};şjhQ*uŇOggҏ3):I&5p-`tk mÃkI!(ٹ+_VG%QHs:}3Lӑh;E[X0t肁=tq#,n9M7!1/+VS ϟ=UaRHH Z*-uuŔfN ?*SgMtmOb)li؀oV)<0E`1,p=-@v0Pa ϺC&(2֤k?V#3`svco Ψ":FѕCz?2Zx//_gR4FIxD)j?Ib}Ng+Kn:eĨnOFqٹG]oh8% Bfj2#;6-0 &tB҄0cև=J)I= (pvB$)\2&G& [; Alp3$~ nV.:un?kH t|&yb]ܘQtoҤOk$Bǖ$TzX:TMxd(<` ҖyjGtۈ*9}d@82tn^{]#C-2M%:Y4K"a@kf2ppr;g ?AgPW^/)SMIx, (0Wݙb蓢;ЉSg_C8TԐ*;ۗA3I%m=/̰S2}?!KϚ&I 'ý`L:2fZUW wfQ@9mjFs 0V[ܡCP&vTT]l/4yl{lM+Lwk8}v q Ƒ9}d%Ų%$<2%}>+E7;M{=Ҍ̶g.דq([EǴ=3&#Fińx:WnAJPu(PK tJknOW=7F'I@5B)0R7TȋU,,,(N3e6V2,uK8tp f|O& D>ʍp [%hmDAB@]!]4yAO~!YjslX 5Ք=h!Y| lTA6\1籕\q?$n$ahSQɃt<'|nPMIVs6]y+@ŋNkd'J? ;^p JnP:VeAb{9MԹ}5S3$>Z.jq]b#V?  hlSomM6:מ37 s=ѯu[BۙwbKU^h27?gzҦA`/R,,Cʝ#5[Z̋zx}9VXr,~7\_!C[zcB$ۊ5W}#tRns0^=|v"eskyUZ0A,VKm5\0Mb ۷qHI3{%g_J6B}Us ]1t+fS31 Ơ3n4ޞ3NLV i-\Uôk+9w9hCe= c%> Qbv9"( Y^n6drkH;puIs(`.Îvbn4pX{ɛ ^~q=1͋E[z~5rO}!eULv}gf0[C$?pn/`˹rnQ[q@jBo.R?@<(.l@/zDÓz3y9tUR#e"YA-Ek3фܯSQcӥYIi<}f‘qM=Nton 4ؼrCgoOɌK7~b#!۷$Miy,:س zN᧙ %_A74)^sN)A}hwe$ iܹu޶5!*A@O\%4^0KOTe O>*&zG$-s +$)4g+g\r 9@tZXzx Bz@1ޗ@&V8@Y'/9k*yxhP6 '&>|^{p&-{\i{ GOXbfr\e/ɮ_(Mw{,9,dJ8OǮ4+l<w]7viTaP#3͵]84 L|L[ :.Scx 54nOkGGbpib(0pF8T51H 53E%g5/IMj髸􉢕4ݿXfCq?YP5) jnNPUX})&>DdI ʜyA.}[G Ox42uwZ{#nqmOX~>I7 BqM89, !W*'3$3fW %и {9??MLu0Ҕł C#SHNf7afQѪGc"R>J%.E r'=>]@ B.ɜsQإ? `T=^s+~ {%Qv^yWSJȢvw7G^4|`w؂#olg37LV޸3Rq"UFrޛT9z,ee^*((lz< 'ѯd ?vZ峮NzXC[IGrR *jצ.(K)GUuOicΏ˿T&wY,غ}!JԞQi7jtdɵa NKx3EIpȾ=||.x߭21[) 'jzuSO4{1Hb+-:׊ P~Ii5lLI)#:B7x!rn8X㒿V Γ55+Ru%ldfR;! =f#%l4Y'VוߕTOmJ̒QqcyYi}?;WJ +?A@x梓5C "M)XJ~uB+< {t@+tvC{Ov/"YTHPI =Zk˓$")[vKDGXf)ԪmtJq5*2m2J೗_VI{ucBh;e{3JIjyb4`!e9R4l$w&óC;Ƚx`Dq *.L~՞8J4?P}nR)V&-?s&#LĽ&i,=xUr$=)2LJB |P2oA[|T^Uސz^PħsBk8.M6~mN^ "#^nxf3݁r<%ft_xK@B+C0nsE?Ւ  vd,{&nhW)ݢO [)7_bCf3HI7LVo8*󗌛p6"Te5:pw~`v(h8 >\2.G4ܡ=֣6~ibvqCk B7i7RDx ~c^}rrLRK1Tʄh2۫꒨2sr`ظ磿qTιlj&E⨎VWp¶z`OT) (<D^ Ekw+X#%:ONea8h w1j}!",#Vb{a Ȱ;#H累n_iX'.BHi2Sx08q?!IRhPMI  6=%)r{/m눹 U(cz>=wMSPk˾Gao;]vV;r=vKӅZGӆm p I@G ؒS^~[!ө0FB293g ,&+Yik]TYo0mv 82ʘ&J86v1g'=O s1Tu>q/ҽPj}lx;#0tN~6+-B3UƓךB{ϝ24F݊ (gqYꊬYTb+s?{GA?Ee3:Ϝ7g6+M;-xODN=[هtĢ?KCQ6WDo0c2IN0 p.jڃ Ux / #G2o!qc9>Q,{:m+58Mn =Z? L_C67 jji= ̖Qć$?ӏ ?bAWi pV_]ޭ;ns_W]G?[&+]2x0W.J <|7ϩY.( 0 z:%}>,;M4Dhnd,iI^X';l *|{PJtG0:a9 R Xznj3=ެ/lYGv^̅@1HщMѓ ,7cCG@^QהHbXV#`aGu  MMJZyRV ?$%rȩ]q& Ŷb Q#T]l<҄9Jבe$gYU3Ng;ENM7Oa?NjSi`׉Šv` k9=&@. *ԶhqLlZQ[T*?)3h{'")O&Ȯ ,rF#ƑT70OͬLM8EbP~7os!z(եGE I)c-£>wT_!x4%pYDN04rZED4s:II],:t DLa O8>7qϟ"5 0&x/cdm_9%8"f^irTciUdU0nP.*QWLԜs:Fpdx>4m1~EoٴF8FMèd0!͜O2$<{f`Wu+A$M'(oswUwfxU6'{u5JmK1mM;"ar28e۹nKTc{Yϻ8O*0"2)q|GY;Վq&* ǖ*TO2K L{^ׁczJlIGY%v.y17nsfWt\Y s1o5Q۽e`1PgBOYWG^Tc"JņJ<6圕^pLqK̐sF*e[ м,vNF7XK83>򘏀]qZ92! )V{Β-吪TrAjtu-Zo%zr͓癜}EWJҚ'BO;;Ag>)IT*/\X x'gcNTln$%YIɼ`$vȩA/r͟lMGSM!Eo诀PoոH&w  8Q3ouylEՙuJEu>C9Koi}O^AIǎ͐ޫ:?ЦWx}p5[>7H (>LE]&lxI"_NLV_^MW <@ŮBRd18OcGfiZt򣢤U4UwY5_Uj]]2#gLaō1`X\'Kby8 Qa~]*$yu>% fzIEn 6/U(uz슢`_X#> lCנ9̍AG{FtRgFcDUE<_- wU~(DR6Mpy^iN,CǙ8{mt pعr0XƜ45LJdFxۋ#Aj>s3R>J!-9$W7!? Z*&{ItJ.޷`#P_PqxNJF͆dVaj[\_oa;5s8b.FND6,RiscK*Ȼ&jw\'B4a%u=ǧ t,QH)K$HU OYs(~C dj~ƧymO,"Xuhvt苌{.5{KWnBY\ss|)VwpgǙ=GQGN58ఛч3zF7ΦtXw/jԢ?!p I+8(-Yp(0z[fۑ4Uc%pTwDtV6WXxg"R*8i*@;QblПEh^Ql"'.8j#qgS?'(y\/d~%釟GaUL11^Qa?Ea^۩ջX/^~lë-&E](έ۟bwLMh;>5Z:ˢ&,ӧ"'^U(92aΨzLFal_1=&LC>!!= .ш[ ,&>İ4,Mdն`BlkeW !@6& #P5&D)iCSѠ/Ӄ_e˔^j)~z\#sgY#IƈfaL&a )tW@3FN٪GP$ Vzb*RGOHuܻ&5o*/fѹ[ iD)8>=f VEÛO^1vehF# zG%+A)ʕj=!£m8Y"b`` *HF yF'Q$ݸJ .$'Z-%16vj*ja|;L"vP;0f& Jykg[;\7>q̹umgʼ3_8Ȍw~U]-EYZd3(j8[o~?VLTo@W+S0;ћ/d+\%'zy. h5:>.D⬴#2V0.K(Oa2R(ҫ0 3 0YٸPIt?ܗzq_¿(+NI `%/LHmIlV٪_NVDB*(gѧ&QhrTdLnfȴ!M $oޣ!80)q{?\ha"V\Y+j+Hѧ>vE'k; V츬oN%:IsN`0@0bhTKobcf TuےL_Wؠ V{D9`xG4n盁O!䉥YS˲}Kzg y.#-v&Wd^7LH]I+Y VҌ6JC+wz?Vsߑpv7lpQv@GTx$L;qwϜ åޕI7IW#ˇ}z:|V+CrDi}v;1v̨* ʃ8rV罈I@l1 q'^'Z3e "oFJ>Cu!qA&Qmrf `P^Xm_YT3}G`p\UyXU)ʇY@׀ \㿒˵ț?e4 |WcAgW")n!:쁍{yf2J异RK_&f'C[%A-.Q*ר>SbT5J!mM3]@_mcB.tZ{`A p* 415IqI(t`pQM譆n6X$u'o6JQ;焣Q2:%ޏd^_+EGfg*0}tZK:K$-d\2WuZ4E"4lՌd741Mt]#~Jn>])} -8-IH&T4@Ri<_ i+(>v:v/[ت@qﮄ~Š3UWe_N>{%[7x vB5BnU*7 @ؿړ05߶:2>FX2 #F]3_C*!eV yCoX ,|J%(*Pr>hnȻ* O Iҝ5nSjo!=)u>'j_΢ꂫʙaչ'[9zR%O.\ )JܑmHNCL&N8Dž\#asddLd[S"YXڏN|Ob *likֺك%m yqV;*xW[ThG$SXshB4¡&X 3i-)Qf!@Aqk+r*"!BTZCsImUqm_# BY[CX%tx=m. _>IQ-V ߤ^T?^Vm^´giMW9kKgV9 PHn7UJVxEiO!GNlqr, vecQ XWQ\h)oK(7sV$#ooR1ƒ>1aW$/Ko&QTY}FO՞{X:ZkkB26SR;9Du;uS݌Æ]%i&$=3yy݉-PJ#/+.d 2@l2Vi}y,rD48-:']f"'J" yߺhy0Ft[G7\[x4FGpxlΒ 6U?p9( 6d!~vW.z SώEk<# 1ID(;HDa& 0Pv<*ىjYV 0l/F{E>\g,b!0_Ywit*ų,X/ҡ_&gTM|ʴ2Z_5x{?;'6 {k+CDMRn;Q;qyp5IB:ՅEʾF/ 8 0-_xL6u }C6_r}DnAL. V\ +2Oe3M ]l&'IQ[f혱/}Up#@7u4Q|y_j^OgqgǏ~:R]*udae]@{vdۢyngzQf4zX>tQpG89?s?fs/ib۫Xm-IxdQҕ-Vy6x=Y)wԏ'㳑ɤ .,ѼfВw3sGFQ!W˿otj* ,J)5pϨ M >h#gT9Lq$_b FuH>-y-pN畣8|E?eq!FPk»'xK諯?76#!C+ti[i 3SМ"Zc4v?SޣBD3*.Bݚ-OSGHcDenZ@*uz=pbE$A.^nȽqGvs8iC ]$0DS9|M ;J2IW@jbm0%!O( C^kPbUy7x18rR*C"]̓O#M5Z+˗Jcх^jT,rC l2T~/bL"ai#^1"j3 o7%E~20[͗\tCK/XPuVǹ`n;ɌݣiۃP()^hgr>zhuHyY* sV\dv'2n&8Lq uO4`Y~߫{oտh۷w'4Tusj~soU[TKfjx݇r#1SH$7m޸rv%c19 x;e D'ޚ3{ͼ-^1T |"-RqZS&eb^2L$um!);'0̱D&oo⋗4푶~NOK~,2z?tzI}.(;&:n- ϗY?hK3k}2MDbg <]j2,S?Q/Ia/\(Q8j}0<;k›Шܞ1rnpW 5 i:U2 EZdF)ҡj)a٠U;}͉+8K"w*K=F_bR}Fh2tt˲D[E&ARuwG)kʑiTyT#%bޚ(`~͟`&Mڷ5DVb:$TgZ\V zH呠_ ?C^u+AQ]O֟G󠹥lt ?K .\cx;hs?)艑]l]@L<AutHP}:l"C\;ƽhnYE {P=L|b 7<-#}DOLQgn{WuaYX,9 jLcUjSŪCٹ7b:YCV4.=ۯl 3dz{flTd}Of&J}\fA4,[ϩCddW$6Qq즙)S%~Wmc1Ƌ|~?G_) bgcz.s *Ebdw5ES9M ̟wZS1,\ućo)~4I5t8ޛܮC&VL1a8+[ňy4byAa.LTe{[miivЄzqw<6lVK:,{85Gq]4$Zih,8H~L_|@%fQ6QPUo%ʖhMXaY\EWc^!F1YtkVZko M:%DZL$ceD#+qa̭b0j[ՠ5>Y{-2>* q#앞밨@zm96|`o _f #e< b"En}I>%A%P6 *Fp`Fnq(_2d[0~8rA(٢sM dDmD$Μ8x,.҇V.b{sͧ4y?Zfб/]-E/rĒ~*i9Pl煮0+W/rJoCo$ds~4 ]b2]/_ZrE</ @8]N-=6x!6YJGJl7^S).fqVsfۛ)I`^7寡f9cz9:nvȺC=vGVހ1d[,mS&Lp{밯vɵR&+mlzw,:<;Ȃzf`}J/FåU?<\H=t2Lkac"ɞfY9.$3 Gi6?:.pͤ)OXO&zʉFLqG[, g){yKef0m }L{\MJ3"-֠H@+a] RʡYXűFCsE2f` Ӹ163AY"ae1i<C ;,k1/؉[O8J\:v 0ES~ϺKrQOP1tr~6Z:TT_̀{`=]w; m[/yOGmJG(˒5/0N#U)X2pF RsihCr;!Cf |#o[m@ʪ^"X}t19-crT*P4:JZ 6@ ,ͶT=ʬ* 4jc@ɚSqJ~>Ye τԱW|1WWqBtm]|MX'G|ct]|Nl1q'{oB K=gE]ad^1OZՈ7~J3r SYrN(wݡ9Fj8e +Y_BJߦpw;v*EnϿ@: 92Q"O\PB>yNSn[bET)W_̵cg*3pMPR =;MՍ^T &I~Fz<ڐVƴMpr:1[,4Aw:`oU5st/sdAjEqq/Wׅ˫FB] և($Q! *|O ط/^k?\k`uH m4x6A̾=X;^ om; $#f6&T{?l%ղJ5(=XPהHI $?hzlԕH^c.eb`G~l|ƕַ8W4w"ٔo@sI"pjǫ斣ݺ[u6tzf\TJ8dt":#aRF!C E(:f~7^+g\UF~h+U%hM!HJ+ZP&ǻ cYۈ,?^cI1w艃4A PߛTB(^qTwSp"BdI p"L(=<ⱸfޱ)t.*p2$`NvZ^@,޲_?S~#joks*~$QO$j0 j5=gH2=RbHQ:dAx6aBf[O˥K.+ܙ$$`P^g&#B`y]N-uƷp=<Q ,&OXNoF/mPp0$ d1m25*R2ql45U6gj.Q _C;4M8_h0J*B;PIQ`0oV^bbVtEV5\qX+l˃\KCa1 >VN_(i}񷉭>XV 8<0dO"ٵ lZo*mA_@/PQ XPi7Mm'w76-IO`\f|i,ZLueyuGĮ@,, M*LFeG6y iGӰ2ƃd!w%.̅rj t/w-0Ѥ@dyaR;z:,m ( QC@N/ݧU^֍8li{YÌo??&w+4'a d4*V?2O-iR\eBgVO!]m,(}aB!m[W*PBIZxuShb! ´8!m bfHyWY1Z%,èJۖPtH6SeqĦZpB sk̸r%Tiaq,: ^*uN|]~Q3͡`.|q x]S^Ye{8-^%D921 `Wxu}JVvk˘tK&{E4hqkwE"Ydѭ˞Q_|Ug}VWj~= mi#]p6E3~A$~8kdo_\UkfףO=kTof=8N4XͱE]8kO>CL$y [pM̰5d C,aՉGA#0e*yT)F3CASNd;8XLv~2ihG Ex |duy'vBA& Ζ,PRqʮ+'_jZN{m./be9(k3 ʑT4Fk_=_m6A9uZ]=L_5?Cz)-d`cM7W;!'f[ qjołYG#zTRD|4R*oRsX/ Պ34d2ZjQ {.><:͜Vm g57g)EuIgɐO}McXOLh0t^s yB]ЏZ-[b*jb8%@PIQ};,dw@jliզil%a }uX:Z4Ż_ǩREw&7evvLzҾO.|kɀ1?P/TyK@}\Rny,qdSp6*J !`\ڮ_Ҿ(;򆊓i_VpQ*ON{-ԕ]sE'EjrՠQ. U!l^#rZk2ȇD >Awsc;0 "NDXD7So#q nmfBX$<'\=5: ]Sn.,SJ UɆMm1g 1kJ,^*\^[$슚쮟vH<`J~)Sxuv)YiɊhgǗK;;?֮ 29x'| <:R+,/ _qqÉpb,`u+[]>" ۣ\TI^5sag6LO"%nM~\."v Gw?odG2w}&`C Ճ?dEAj`+{j[ |U6!0`U2#& ym+'@,7^f>;$! F|ݴ|K <ƲvrAQ['"Dg/T'iS=f֤sSTӱk,Wt!х&! `HY8珅9鴮xCjkuOu/O "+}$FL^gdi{4-%)I0?`P#ϰ׶nWy0k%|WS`Ma>n^L e 7Cixwʷ3B0Ĩ l)'ocLŰ:OQ{E&eN|EyD7z @1 PپrXCY#`!#.5E?;ƐB9n$SJ%*3e^ޫ+mTqԅ!|pcoFI7@vIz"#tUkِ1ˊăvѫtm?ޒ)vus~|z! ,.^EQ/ķʼn63i{{q%cʣX'~45w%_]Kﺵ*<<`2אo EwΫ({%6`;ɂ$ubf3c#ԖV--^+e}:C5M>Xoɥ%V\Q ;~$]hlBEdS6UiʪcH(Ħѕ?(v_qA2LQ6KR,." jMn( ̢P7jR9 Yf%ڦO=x|e'!5|/2I[rM)*~'d- 7UfXvz^YIH΂+tVj0t1E]A}WH=BD-"Pᡋ1@K"W1IA&\3lʼn|"`t&tt,?6$?YivR!qVyJ3ff t'pr1:27\U*#<L$G1{/Zj_i#Jf)uϐ?V-@"ʨ KNgpA˛~q:uU52r=^֗aKghI{bD"E%$RV4@$ |r/A z "[a j*ekl=&hd"b$){95$A kT P.~W~$d+q*"SF5#9nHF!+7bZ{NT4m>7`m%CBx8^auvs4 ʵ AL-*+ ;͗"lH"mrl"\u783.<=O0DF5\G#15'!Iy6lVKPjuNH=&ג?ɬ ~Y^;KYIeYHC2̼ylZo6  nP4GZB14Y]|dlzY܈g҈U8JzfMVI633T"l OE[ 2Ra 8! V,c4QԔzJre}UK̏s #Oq>_[ r [sc[la",+~{?l#Hm wR8H7z <͊``p4)bxNuJ6 q/1\Ʌ1҅,4o78S=2GЈԕ![Rd%pc)e+ǐ)b!E_O U|b{p=h.4B4J.Lc22==ixq 8%߼5O+0#mӳ~Fj 康AqoCTD=CZb4tl&XCУ:vH _2)ܹ݋o|M%H(j{;xU@̱ ߌ9ҟ8aQsz(;?"㢅N^יZv"(23 OM zZTZOڞ,kyv cDAƩMlRpVg᨞{+˛# ^/!Ux83P"ϐZ=Tcc͕~B;x)` !lΤ*N/4'ZQ[YR.{՜5bMEdȕ}6peކQ*Ŵ]5<AhDǩ^?AQTú??XFzS- )JS%3-\l^#vW\;UqQ~a94TSPbG$>#PDK)Q-- 0c_ZS-6OWxhQw18/`䃼:U,_Ñ~W˛*}ʍ%(e?cgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4)UtZcX|dNXI75byοFo%3F&T2Px[k. I0NjILn3F?/VzF{,_ڮI:A$e\gYZ7zXZִF! N3]ŗXi%L&'AxR39G|sYZ2Te):ObM_7 Mn@DTyȒ#<|.%qC1n-d 0M7S>cfK ܅iؕjG .ֿQz4cs}D_SzPތލH*%~|}Lk(tVDa E!>LWR~0hǞ%p`QpF6CdUWVFOE\ِB kŽ1}V!YpE 5]0OQ|(TZci?ݱ MJP $^qCda A ׳`ʾO&)spujt~(ɞkx\Z ~]1:76!u#FBш oDfbYo9Kd.[(,Q+uwB6rn蕔Aͱfl? %S_"8䆕q_U-uzsݧ{@ qp>ޝUbE t,px}r;9ܻwc1ZVwx>59L8 O ܢPc͕u%Ǩ_`2H0rY̬1Jō5bx9t r2{]#>xD&3C/(L` %A9̙a4gzJA}O* <HK U~,Q9.ii)=ZoPݨPH?cչ=.Ҕ*;d\ґTb\%tc/?M*SqtO o(jl)Vl*Ii@!,笋Co , @'Ru d?CO9i|%voXjGl(tU=5HIan 5(-:snrqv_&H&?,ƀjAKF xyC b M #w ~:dn$ bBAqdSdO'~ vQEl xڌɾu'@ʨiH[LPNyO搒҂v^vAg6[HW:~#P롆N#XgUyYə+5eM/Nފ_5GmUh⮤gt 0(T5R]³7p}.8?H@U\B>ji#ѕ *S"+*dv޳K7^ĴY$u;#U9ט١,K/$̿3e6q I4 reLqxVYG֏}1v>vWU9fRŌ\}goXnoAǰVn\FZ߮{7܌ u j "G|d0 Wc%Q5M)`t5: gX9mBgdf]qѽʭ]Z)n&aBZ<,k `v/36n5gD² (%|ȯ2=8.䩒K$  e;!gYZc500ab28b20be142d0371b13bb47012576faf5fc9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535