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 + \l ] Cayley_Hamilton:threads=4elapsed=12.485cpu=40.036gc=1.692factor=3.217zXZִF! z۾(]ŗXiɟH)0%oŤdwkMFcM@ tE/C^pa*s!firpwMc!m…kgŇHY?h H-TPUU^9G`)*I;rexۃ)GokMqoi3<ٳ1I(P:"BNね09;4Z/@*Ʋ̚>$N:sH>rI?]FO*꒲ /pV1S)R},o!K.&z(NWuYh|ŦP,`q^K!G@cQ("}$s|c:I=/M8/Ċ{xVo9J/<;%0{"' e|>BD]|[o-0@7bFQMlJpt "Ʃ)X`rB׳\&]I}S+oK*D$K°ux9So`Ҿ37m-s?$BaG iQHYiήc)gx1PhF6o%BR޳F1V.צ$02> v\p,k٪ wNy rT$@A@F9ƕZY% `+yb5k9"u%y Il!*S0;!1l!Lh\v*h".eo盷>.A=s9Tj9Vp|8A~L @L`M[Kv% MLUy}Hа~=l6.1)A)\a7r[Ɉچ4e9̂4GDHvp`)!9X=,' ;Þ< + Cayley_Hamilton  $jË_X~[lYA8S !,xVLiS"-w1+cLmxp~p`M*"'JSwX &Z.Bk@Fu9Qq;r ~utg[*] ;\߀'>ϓbD cjS2{s堒]5] nFr]J֔uy&+tMk)1ҀDG2)LMJu0Lhv HZQ[e  qǧבcu5: 殁%<6\:p-MXRvynBD2L>:M۔ɜډ8P O&ڵ؀z&Cfo>rC!J#QLJ^+I޵_"Q5ÎaFI}|EXac t9.e?7au-Eu鯏bhW7E_BWc&,y7'Ay~col2ۊpd BiwKi)3(t〥׊`\3 ;@|.r\b}2\y84YaN]x)1IeQ6 .i A+D u<9>{qG Edu''!mO* a:Pw4'9QZ F2'a k~0́vR  +Zb>W:QEA[4 U9\nZb,K 9r;YER:Nʽ =2]A?̍8f# Ӎ=])]T <_x9x>+8$P3 ҕ}>UAs}7BF&(8kGUynRR1;pƪ3E9%a=Z1>8OuY: pql TyTW`xo-e9R]> 7/:z]$VSNP.s٘4fXVQHTCxjDKɂ!):-=pհ^Ihv/ in|MQ%Kєc(ѿmu{`v#*~_T%LHKjMڴwq Ö缽PBՠƸE{. _3#e^ĹET;W[ԏYI>-C82J\uE~|M-8f35;'R'bUϴox7L^X)k)ʮ:8GoS/sڱ#‭s 5'NjEMA]y?e)ӣ+ lO:~uk]uz'A}j̆.i07/~ߗGlۺtS~Qqx Zb=_E^EmUg|rpf"lToյF.l] o#yR0A=;R$Nf^\ RthR6=7Qցn_]z #_>uQd6mz;[Xf!_֨;-䯡]Gs-G۟6Qz"n_=$: a%+όz-Hqi74&18Өn^ ȓnmQ!H/vZ^9\;4MBxMެMؐ$. <fS\Թ` 6n6^F&;GIsF0wJO<t7=J gH޼fV2P^C0+֝>0[722| (J8SCml]~)zgX[*˒M>5wYwt? Ņ^ ';ρ%\ ]sQQZa ϬanFkќ7S{X88jjӐo,-fh\$3dCI 2/\[݂10#Hu6p%A=vbY 7l[IRהMcɀQnYDqfO#B!NHѣ_kݬ >p%j;A.؞ X3o I⯱0rDT}9#Em} oA  c7cV.Li=3] Q}iV#t*s\-uϨ>+t -p"PA@M&l1 f, e XX Mm @| M5BwV1euN}IeFZN}Ta@g'T !aJf-fCZAhEf< p]ǰ$ѹ '/(}R> ۵g_h/|7uϏ'jJpG+NMK]wք4껸Gmr XL#hABsy*ߑ qG<^K~f&"#Dj}Yf*|l.ZaAx\?ӵd*熅U#_x& m25Y -xZOQ!U"ֆ Lص<`>>*E®O!v= qרL8+[E5^N@!/VB:8H HTuug7hBGrKR: 5XW|cS@S"i mĠyR@P bVtSbG`@Q|4f׆mJQ@ymw=zybP(𒻢]W3'm)8O1JԯC D%2$GA][k,YES[pW?Gvk.jcZzF iy?]2^zȯ;tڧna @_TKAuŧ+LwHIs$ekȜVV꿑㮹Sp![SacYjh#a"8kUB҇K} Š҆).A" X;0{Ba?]:B88ԽC/rruv>d< Аɖ+R3.$qllτh9%N|9eۓ4]R$!uY8W*PY Օ@Ǒ|Hd>RXqK s\&my_|~WTD== <)M}C1wzKj.~c&D[Iz~|XvN WMԞlG(-²Ĉ zԾ#fMeo`y1z > aq:AZQT;{'pFWd}isFo#X1&a"͐k㡃+v$;k ST'+PL\:g}\b"\jKh8QQ$yt 7T>0] S5JĜDY ^VY؜ؖ'R 6R,jDM|So>0AaIcJ̳J*Zq I 9Z Ikk XtFPT9[)qCi N,RS-n#κe8@z&,(<v%jok@;En Q~\va, @ ?Jj=Мmrdzc/bpK6*O6jZC8û-|zس$J$N"}`^T[ag桩M!ָ=^Bwϯϙ{θ5`!^6D6<!ky![4 A^heŴ~h2J @ ~3ZݶPfC>xß0,*ƲJ}0n}?] W#^Z2^h$ۺC^vo!M"VLIG$4}rs[#!'MK)K(#k尨 Ͱ ڤNTlƲeҩ=ׇ4nn5?2>z>9ki<+D Pa*Uivqp|7v%HUG̃-/pjtѫA7vÕӇ_hf19,ǝ`P*{7 qh])YS{)W}Ţ&n/O @Pm, gV]rx9MіA:FM:>d5ozR=6WBj>8$p1+CtaǓv F;K2I* . O#Ṿ>Y&QJ\m#ڙQ㔢>\tw翳}qϫ+ʏ`]'~r*ki 3Cg3TwH9fnkk{l,$U:+INxBe9CQlYfU7HC'ZF^(6沵nMG#3U:B5Z!8D1t,} mPP)0uN m=^Cފ1/|Bj,3 UL%R% Vn~%/bmM]qT쇾<6m|S`'U7tS]y;c_J͘ 2Z-/ lXcn0V05Y >MڇK>5e*>ݣk & 6BEN:4Y7glЊ %"^cG紪 _y*4@8ևO&4UHYeg~d'+N[x{P&5H^CW:R3cĿɺ+F-w5wyp$ݿ ,$v]Ƌw['h6>}E#-5_)3{.hDMxF~}XwܬU} yb _^,*>O?\9 k0`Č~.tt1Vx" <%SKV$fß7 ں]*`ͩ!{nm[IE2z՟h"s`UxH+[No'dN |VS6LxMO}a+|qo*ƞ$pD4?:~2>G~N 8 wFЛgԌMit&RkJ+e9b /vuK}ʀ)B?2$MǬ*-nLh~>T84 ;S1@jw9$vNsf 9átvLJL J ~ʮ R^8au9+$@ t_]aLT1 q8ˁj,[Ddۻc*IّL L|dVTo"[m8 6ʋÓEpEBGȋSC1zHiY;m]Izkp_8ShF2qnvHTzĥ}7uXy2n>]A{ (^9]?@΄qfy`msjzL*8x7plscԩHBSw6(pLy-)D$kM-XhܿD09` \4O&)=D+1Kgzc(D&ZpO YΉ.)+>wW|ϤN[3%1>|P}Ux DVt $i[3 /[~\,:> gI/ȝbv'.Ӌ6>~B$ #K n%BM@W{VmC'1P$ o(s&' ދByrVOYY?+8zk̐Q-Dm )-| :x8DW]}JQ81f8oD{_+'+Hsmy)׆{]{ܱ{0""i%)rr8g5Ѡ̅8/@2Wb~gh%`wCO=dڳ6s|RCC|U 軴œ]xe *f iī}8JiKN^;k?+NՓm#p؇{*=ԏߗ!_0IU Q 3ů5˞tR4<i,ȍGR9 S" "F;*c>DhMxLWI`C^'#=!q,ڄ'2Bo+V$ [0cKA\A:NzTaςБޓozXq1Zx{뉋Ԑ,:18(It\2)I|hKzW+)K2$i%[W'&rTo{ڶ$/`p^N؟*Z7gȴ|:*瘀 lꕁ17mT'GMYkֆf[_=}E[Z 6$};QrQ+0D`ء2zJ>\.jio^NEIY8 4 "SXZj F{ğFE5C'XIy$UR1PolDWdV79v`Aj@/34?>}pC"C," Qȵl _kbJeY['6>G^?VME3l&tl@5L Ϻ+ 7QC}F7-@u-S'lb(rJQ8x>0u͜wތyjۋ(_hekzØ2z{}u!fxp6i߲X&bri y|¼#V!sšCgh]Y{C#;=/|Y&<%J#gS^[ÇjKM|e&يS*}cXv7DkYhDyc2-Dƣ98rq?Bؐ>^uр#DeҘ&Jz8#`Ou/Bl+N l pN VKTfTkFhY2p&8գLHU[0Z)`'L_#4MAsCӫy+&7b|w3VR,'Z/tXpa?>܋jBA'ZD/BGCg 'gK$ %cNMM 7˖AT%V#)+ -Mf 0W{X;~o  nO =/y6SdH'=~kUۦawh5Yo0zp%)1#$M`UK"+y,Fhd;ViIg\Pőyu0krs[ Em:ƹTs$aGg{R,$[!bB~Zt;<96H6 wё2W\doUJatz^,*`(2f =h(!TpK<*bq*;@7[:CP8?J,J[HB|UD2\*#oE!OU w(!롲 ]Xtά<߽ҫ|HfJ[lGF_Qʘ(@!dŰI+.}i+;ZsP΁)+QI0LZ|cqfL,{Y8W~bL(,bLwmo>WAo _K7F y?y^cp w)5f'DG^e_OX3 .EjгVnW0";S͵- NI ĄEZDt!Kf[6J^hqcp,5ӥC&KۏaF+{8''m%(xPIeܩ U +]oeY%Ũm^@Fu .woh&p5LJޜD(2<_BWo,OKX>)zBVU5Xֽz,f=ݧ@O殢1x -{f}uK-Ҙ_1cthSrsNIY2<>M'=ʐ_e/0 ԷFoZb;:+g~9i9V$i^V4 g ^.}vߚh]xIĬXIאަz-CeHXoJZw_Wu (PI٠1,w!dJIK F usXYSeCDVd)ݒuvST}h5al ,d{9+dZf(hͿ\ͩ2k_N-ŲTDA% 2rXk"S`Zָ;yA :fZC۟*# %JG-Sx;I/wOc?/ћtn@cků9iGSq5ktG3Tm<&/I܎ׄLmE8`KJTJS0FpI n˾ܩZ&e ]E+ LZ糙!f,/ޠ*fP2f:$xe1& d ݤL ze23* bo?F/i퍟ћoEEfώ2At1nR`FYi7D>kRz&xVu3ԈzF=YxW)>QS7=1ycJ $ ?SI꺧Q٤R{ (// g]@Al\iī 削?: uǚ. @{KYvsR>g23~I(ڢ]vXod'7`&DzAYUE]:NjUE j65V)%x/y9r!okՂ†똛kМ$xn|hn?^lXmEԬ)#u*myKh*P"sRIL o 5ʆAv@F5Fюxΐjі"(Fv爺D, bQ;#w?r>_ 6h^U1zPVE<NRo%!`$Op$-O\3Nkev_H1JٰJ^pBUq?M|~,Zӛyp<GMCih/-T?5jkn 'z<əL܄Iw$Jaq^옯SVїia^! 7Y]Wawt'b5xPi*ʦinxaɀŮ IС1~-GD 3yѬ.4mIn.f: w`%%Jқ8 ݓFiHWܲL2{rn GKF4 QOU2 Ԟ`v$ e^S9za61W&Wh *xRٽ"6zKvX-4G&5 pҢ*WhELoy0jKs)e3ωjjrA}|U0Cl1J

G6#H*ZC=~ðsے4r#guzs0 PI󾉞0]3×8>ڲSէ !eA& 8˵@0T{lHʔX fbz,6܅@-ͻb}K`:kU,5j)GRY쪕2b ݗeU4K!h$m-,(p^vaDe/K-ޤc~+D)'àTWە;Fs/_jmQ6 < Z>권-Xr xR2|bRѐlDyقR/Q~ڮ=d²PNl)mj]%:*4jc>)sZ-Q#HDKYئ>TMk|LCg S=;ʹugeV iGN^ Tvӵ[Brv cg| ]J4#;cբ^msq$^m׺AQd̏EDvG/-ZfƆ 'l b$,\jV‚y ͙s6W}]oRpi> ;U38u5eI>afJ"\W22RncTreԵiӖ~9 [$aR=BZ)Z+蜩 5Fznq@ +ƲZTy)sRrl5Vu‡*@y?\715c,ZXi^?xUԕu(= ҜS"{ym?D컬$hM[ 2Aw0 D',Yn+Xc> p,ȳ+Pt:䣲)sG "_RU ^5㞦n9J|$X[xxZ_V`wEk}:g+-kG/VgѭX37!ilOu1 =,VfJ_Bk;d>,o=8>@./tbde:Dh5 B$mU{ xOe' [f$"5HԉdTF55r\V<5`uo FSXiO~#Nӌ1m/ J}<6e)<=N$uTdJ'v,FUGGH@++'^N)tڪcqdscaC}7`d9,1@-IƗ֑7yj+ntN$mFIՎ)4&!3T곝KTf *J4i-,S3П6. je߄mF lKahNWaa3הĴDY*z;[J@꼖^(ia(Rjnؓ(AxOti}L^\FƎJXj(e@ôXjNyiAĜa@0Pu䡐kmB #y[n镙ٵ׬~*lh|أ%到D(dMc_beɆ tK&=cn9aBhfl?PBB ~I kZ N&zkmVHbv(r#t謎rVV aMmC yxB0nUvD]?=AZӰIWy36?HDYD 8@j%|A^$8Lr/~) 9*?6Ȗxe^H0Qe ]1pyŇ}E浌 oճwljZN{X5\9HNq0V6N)$RǏjxԫ{dY173R3wZ@xAJ+GH5CNIHQ6❢s!d4BB\B] 6 ("ū c"ިB-i%0_Ji wY a4 P t~wfv;*D\7fe?inHcI_/>8׿ŒmZJ-V*JrYo wOk%O,L&/0Q<[~k7kjџ4LGǢ!r Xr{Mqn2t|-D8-Tc[{P.^+g!ٳmgo>eUU4@j2/сޠx]1~ jW7}m +7KBv+ ^N!UZu+t1aȎy@L2q`G'ʑm |AW & ފ'cPd.dT j/ʂcCԦcT2 Z%&cr,2[APBpfF ZHPDbjql˃uNqoYSAf-='~ QЊWˁ=0g0Z='{&2?Ðq.ަ9eFKt417)ّ mW˩x<ETl iΊ}ܽvM$4jhءpCNR,XodNp6W7^1ŠjQ:뱠P+Og{aH u]3|39TDĜ$qH \ؑleXF)<uB x+ʗxSBaxcJ| P ɒY9u>t86] ftH &I/̓]筺hS? 2բ˸ԐH|:mP臸Uw ^{} mG1yekg8H_Sej~Ib#ܧ|rz[Q#,wsaV=M]+ o9:OJaW9c( L*QK7-rF4O+HjcC2?P1F6fIAmBXF(MZ'!VLc7(<Ehp:utXM@Kp5#ztD#,sfN#acx*dB-!O|&'<[ߧ;< Y Hl6Q6!e_)wb ,s e鮹Yqo-ML{ц<bѐ=&n{.bYMy[۽1Q)]Mf*~Ђ?ugYr Ŵްr!+jr-_tVx>xEs_n۫kѕ[JKtc)8c_qb˻-Fe_ * 1j~)mU#*0?=qC7Roa ;qnqe1ʼVI;tNِT/\e9 >ĨypJoI!+b%S]cY"p%>K6e~P@&:w2(T-2Va`}ti6kPWrArBchnՅ^|s$H-n*ALYpf4@M^ldmҬbc[Kg;Q[n+)sNSV${ SJBrJ@Kj~h^`Z˩8h_da fN`|i&dPbWQ5ٜIBkt2ⷍ0zE*r_^CkTZK&.ꭱ< `14_~ΉݺQ 𿀳̙IֵSҪrGS~LeA7J3H9U!ɷhƁBG83ʌ$~J6GKql;JTFaZ;o59yoE P^4eGW IkvVt'Hy\rȈc\vfd('t9#B~HyC=ȆOf/VmאJNwxvr`7A~!klE(WqW˃I\mWj9m)0BWنe`D(wnìk.ѣFRjOz!*k?fMٔVHb~q7Igt؛l0ǝИrgB䝠۾WS_Tvp`7!TInrbyJD`U39svEu7z0ZZpe78]֐}?B"~Dt#,$(pb*R[o2D^sA@- .z(r(ʠiM>i8 [%eO,-Y'Lm7_Z3dTΎwj%K(0="e+h #13/t[+&59X$"$6l#䪴QbŪ&f0#Hme;Cg$9ܼOJݰBosҷXtDKzF{FK/g$nר7Yo䍓sPG)]EWuL!H.ڨ^[p]RLT_f3fljhnC9Xj(,ZZ5Xfŧ?, mg׉:PLjW&p7;ԊNe$ _ۇ$lBa@Jf9+ո]nIFrN)gW6^QфA*`0m%aZ8f@q!/3@h Xm\kaVMoT_8QV.?>[^S_Hj1dX>O@o!)al"drтXfdcԂa::ZHfTTden⏑n,鏲9Y9ad+'y!}_8'C퇨[OYpoȳ`N" Pr~[49=_!IΨ=~'@B4 ykC,c|.e]+ɱM$;YuR߲QhÄ$KSQ;bxPDWӎA5$DL5*xhG6{gN\֗bPro=7Jk)hij.i>Q{GWW?/lb!oY,AXÎڽͨ~~_*{* EAe*qaYN/eflA{\60#)%&+^mS{vp֢CLZ˜(tx\GI MTʂJ{^,1B=$Si4cXl6m#l:m ,՜S$( = zi֖LbMNKvɿdЙܿ/nFtLmJ1s➫PbPn|9huK@LBl퀉SC$$gdӵX[wu۰>4 ) <{ ;iP<ɨ';("i-"(RD-J1agN݂tD&%A Cs]nw^'W9[Zʿ\FթeN_yV-;cqޤoPw *ڡ@6z`IbD4%.5JK0ni"!N@&?\N! ʼnC1YㇲX{EF0.?M#Nh+Nsя`,`Cq]Wb-r+"& ARPZ֢7yxR@lF$0ML Od2}фu FX3M n]D S7-&i5%b%x2dHUbIpMe~t>#;Z_G\-{W3٦uM ippޢ/f:G`L<40r\v"}1BʢR|pra^8۽HUd5F4f+(ڂv)*R#'9:LP!͎F- \pq HfS SS*Vx&hCÓPt,E4EePk8T<HH~]SA* U] Tg&=i0g9;M|ʍ'>gdѽKHo-84֛M 9>B?QhZA7kG9@5(\J/rJX>[!]S!B>{/na˽ͭYZ< PyύiihSV:EE=Ph<c?s1{J a7Na"ɵ_iX6;SDuc=_ (ϊB퇻x¨43/T$ y/Tʁuq;Wt=o#bK[wcH2^+ڧU5~`3!ǾL]aذ?D G|PQb6VȱiP*|<an?QQ(H>H$E_BfiKbRb~õ8xtKc7 ?Ŗlaf.>z+72;o]-W|4Ow ~طZ6ƀ̊N W2_àBT*y-6ҬJ< z8j#B-Fcꔤ6chx 5bK} sͅVXvU:8խ8dS6̲g' EP?`8D( (x^u0Mͪ .ddUt(K"9D[?_)󢛽.AnLdA{=!Swp%E2zx-y%6:\(4|w+i3QdÃUom@;e:? Edq 0!>d Gv^@h"Z'm y.xoIl=C\^V+UF7KFS;6IG1ӐHǴ0$TD Q{~r"6,ކ>9Nyˢ.%})WL[~=UJ3ֺ628}}Mw!YD汜JFqI}cM $LfVjkeF h&wv#VWdYŤ6PCKT ,͟Ź<'EQꗕ̑4Z%f6vT_T1|r_cev^jx\A.T #}v1jU?6᫻Ƿ]`uX! @OJ<5/Ϣܕ+ zU' $w(myz=s /Bk-ڭ?ȋ*X]#W_dZ>F"zp7+ڲkOX +ݨkӢ(-MB("5η[Sw<W 'OD GcJwed-Nj4szG8fG3/AӒpwkj²\te3M]fnT -ڒdžQ 9t"u$#*` $J0'GVv_g{ A[Oj͘TGiƪlgp5d"P41eC"u]-%ïŁƌgp BȻR-Kobi#kҸȢ U|D#ՕIRrvD> l*˥ZR$}:7[Y(ZU凤.J{2(WF\`dƶLnYNR##4So [f:@?&B1rX Lr"R^x`o5O3=S0)n'+f@A%{aI)]ePw .ku=V-3b06B97S\m]n "IDI|bE "uG ̓¡`cȞtz.u|5;ʌ: [GWGo#(' dt1qviÚRb?`G]S (ŕ&T?C!U.냷92BQ[ÍK2bnBOu[pmdbRz9s2UE?`!q;MeDa%ѫF22TjmWlxr2;@H *+srN3,k"%]ʦ^BB[C!2yXI1DRbg}< q<){N6i*/ccinmWcRѸ.]ߜrܚ֬,*{5Fo0˨j-R2&__QSN1]9ߞj{sBZr\meΊDT,^=$7a]glj%k@eQ7vG/h~xKV|1x ݆̰$%߳+$!u)nDʹS݂ghҦfQ!;gkDW` o6GU|!ub54vynr{w؁h/G?ѻɜ `TgI ;4$69F>LG`s.X{R+?*Z2`hQ2@qhnw*[`u}zhpl:!mVֺZ#P7RS(V~Ri8Yȝ&֨:N#h5ی3fl461D`ɱ"@ 4Ip~.Uh|Yz=%w# %uH@4! Vyj{7npup4I7vADcRvQ)7?98 jkxZGǾb>1̯-of&  $yQ9͓5"3Ԏ$WCFt>zz^LݻkQ;lxF ~SpH&w k,H,Yr$ٟa/"e}863Xrry;qpf7ȃ1"e&td5 nh>:#⡜s>;V l< < agMOas"*v*W%HFzf_pi&5҈υoL 2_&|ueZS-tcxV Ya˙{LnpulU"E8%%En;f!?LmrrzmI)3 mJ5W['(Gq.OI"p?[X5}-IdRd1߃KM68brs-M,NSƓ&8 3 h+~ ݝVZ >0;|tײ "JB\C\"߃;aɞRYn=WGf{=]R]25co9Yc MÒʙn8}΂EKOˋ+^T4>(RlTFr,ת G)\D˓UBmZ3hN*.ILϑ] O2A4dRlʟoҒEjF'ZWEOddP[_oqc>@RbX;}UN7դ摖H5t蜛 7yXUEDh]%yLdR .VPާ4-Pzˆk0'(}.zKj;RT[@1$ ڣ ,^H&&x6D@r|ëalp2[Ь۰zm:JQY9.N! ( MŲƒmXfs­uaṲNtDmF+Ck#EՇousJMð`1<0ĨdtX-W׳kdڭ@(^U:'%w`JJé[Ι2{UEs~/8ح,wi$WGq>уWE?޾Lcdњk,"}Ae4()A/!!BR>*"65&`hCU*t@|_>[y<߷'$etpí‡T{iŜ䙖P @jC"i4kbq)v A`7~ ce`DKב^sCȳ+} Q0jɠTܾrh#2F_Cf&+"1hZ`Y\az@ [`>5F,3>!hF|i \Hatl r ט?B*O4WaHȼ EiI}Κt,sK[>xASЫO+*!k %7#_8ـ7)J2~}qmx> ߝp?Xި a,O 639h7GmPؼaϹe4wm6z;v[T> m,ՈĞp+L@\s:AVo/koTr-?εlce9GTu*Hzh ΂vxB!%JKǁpOy# -u ghDtd? ֱ]bwQqY})\/`Q!^* 0ʿjJpc| "WEAm[dz\iRGlr.ހ'+4=3*&25b?N~>ѓ ]޲A6 $!;F\8է~x}vp+bG@: :) =J5*+հBXP,9\!8VjӮ=+`솺?QjGÄ ~J1E ;ӭ ,Hw awWuLB1KJUW]Pgƽ)ul-o.w{1Iy~]!t*VO*$/nK"k2z(1P& cGTC|2@-`1zĐ{1MqZr!ԯ"۽jx:i"?=H _2& !/>CfatF?Gmsh!Y 7Fpʚang/nBd]">h[}$4"6 VVTjzb uY<· ߐB|jHJ"&׀-~oȜ+ɠ2OOD9VLg%9 14ĂvW/eZsq47C[UV%i 37My--PugJ}{-%ie@\\&+R?;mUi,c[ a˭Fiՙ9yXߨCjUh<Ȁ" `ǀsƀl E:uCf\G Vcsʋ4bO8QYK[܉tC252яyz#7=0l+'7}CUvyւbna3_ 'F{HR:UHSv_3E; `pYZ2s+WHLw .Ģ {()MD',Ou'¶(\"3I +u8tUt{2mt۬ YggPG a(mXH L}v+ `gĦ[ x$?TdwsxlJԭݐ.ѰLZ^09Lv66Lg&*nX6''x(G&oz JI2/X%!1G Mbws@N/%y24:8$ehə1s-,3ԩX[ W1+vtra-g%Uda܂Tm{yFh`Y^C`4t*NZ=S23mi +i%DtObZlrBJ 0D lE#U6MVMK4cLvg0Q7{V& qg?ƯshAGr! f$X+&@ۈBy8Ս !gj> DZ!w 9Etç6^dI"?rN u0v^%YG[8 g'λ[F},{h8wLIz_v73` *0ۍa Jy#N#Q`+'=cT6[q%?,v`kd`I=g4a( F9KS Rkg3'2stG'7">1^urza_$HN̴s"v}+$ $arxaeTvx rXV]-&Ie9Əlt u'}25"-Ř`9#[jL銷[d?~mNrJY[%"j*0{uًV6 bԓk⥈[k~鈧y> !v@,xY=f2(}dEd<";`ƒե1 '`б wjGFL@n|f&&HK񷵙 ex-40 {65VmͩͲ.@Ϙo% 1،DsLkn8I?S lt}r>ԅhv".}|al 1iO €BG`1l}h)R\7P W^^ AO[sYViC s;T Q6;` t2dWS{L ZR!' :gln刵T!,\7!Id^pkV>nom5=D[xHlvgna XLC?O1VHj,vhv$6:4HgoDьܾ*@IU]o]9>"kUU@^J Ѧ7ŕ`3ݨ07U'Rw/I=#mB3nlLvh~Y6 Gć #2k;\@=PBIXj/ȾǛ}n(S'HUKs0 EvECE=D~3gyYS-cbPGDєzy YղG3y3ZvFy!H#=NՕ!?8X#/o{YQ MMn ĩԣ>X{"1 BsfEP;EEz!J!^:p2ҙeA?~n[=}HfIV5T<45reehoeT fAK "Dw?~HF} 99/#O p@>BCcwO.ӊHkZG15pqePݿg3w I LLmߢmț{`V̟1V7H+K (q{gW"66#} 6s*@H3>c`icۈX&Mጎ?}Yg{qdV,t"|I= Ǯbm㎖bK01<˱`(*ARȥ_M(b1;SG3OcsLH)\h.ͦ`L YRj~.Q ᝋ@0C(i==t*;ґ?~y`s!f_2&,_/}SqXiX1m|j6,'H=2F)-=d;|>'l!X4)~4{!w 19$-fׅA{-(~jIl+(7pΪӠ%^h/Ł^h{vI٤2?tO7gRcEN\隟7\塣VTΉBa34L&<}ᕍ f OWoNgTHHlmg'G]XL:W`![NU(o {hh@1W<E}rQcAc2Hk^:ےv .P nx78 ė ܂Z?09b_sI/ sp] Z'=E`;0Eq*bf&v:E`:QaNA5)d2GsSz1}> LƝC\ؔdrAus"(1z($;(|]ۼنP(!\1t>/o܎|Tp(5>q̡<-4,J[~0Nc}2A"LF&C!=kڇBƯgĩ0TM"j-Xst:&$߾/=̍P`o } .O{ji >WR<|z`eK \Ф I*?%SBCR˘&۪ $5ʇ,%x1U ; d\27̧wY.<6ց=Qbи)"YEIr ZU?DC2%RfJO")9_Ve(DVr5x# >BRxG-| CuYF9-KTVm@\C(Bna(\V!8sfTdpa'J!:<#xJJ_6+9BXDZ97k>G͹{h?D f~W ?𗌩oʜULnSOOg(PgaŇIGԻ 0ZmnYP8/T$ "ytSCX[慧 ~A Gl: `B*xC'GYp,ZUiUɳҀ!q >J^t_z_L;Cvhܓb` LxzNx 71+KQqYFݧOSH(z5ܑCyCš_<Bwln As4w k Dyb_KOԎ&YXۂGqڗ2*NwDr>NӉ?ZL3w~PI 3!JM ;7=i/"d\LQͯl3=ǤgE7o S =(- ʛwIG5Bu?TKMIm};ڀ!fl k{c9/ q@gI y#c@vG7T&26#͋bv h[TkX}8_fڐ\wRD[jA?h$ g ]q Fj1ION^m3{?zgՓ R *Q1O[ʵ* NU?Rg9*lTČt,nO]!<;6w{PURV=^TPr~ݑҗ ء}hj& KNؿrKy~C'mV=f}Dᜢ"- P)-$rhlMlmx~Lj(?pAEdIlfU*߸Q,# OPkJl #8@BV_>5m]+5[ U8 jgu"6U)Y\T9DHc |%aYA:5OOD/iolNbHjʗR'Mg?I -v*O-\/(BvP&+-!@x2Pn#`Fc{ڭ]CטYU }0V?!._(ݝ ,Nr.gGߩtFX;|/y{0?V-5¢6X.YO|Wq`'a{w4C5[N&S$k^̩W`$wNs2Ddka6KB|e9`$ݢ֙{0-C.DЕǷ!*D SbO?} O!&DھN[`v<[0avP|1,1Ids*>+Y< 'z}v\J51iwdbٵl"+=7H0/ dD'jȈBW83u`\S:7]7E4B35l,4d\[ЮihO <\+U՝ ȯ}6bch5::A#wtKI6s~NE>HU5UW ȘR2s2u#2g< *#=Wc ha9:6Zwʖ-/l<=έ64yC>,:UEo:@LBQqZgqFΈ6/#F?o֢f\h%|te/sVNRZRͻ.xtQ{ [Z?XuAf[?ysWEB%M.b7Ưf3eT̓``#jgEsZ,g k{?7Z: N:f5n_~Qya-\fOpc* y+Gl}d9I8Z*ȱ eŦjhQ/%3R kG 1?0/\ILxx3Mq\Q.J3},t?R-`eA?\.,NH\"-L*ϳ]OXRSfgn 9=SyMo-MvT1ԦXh`KHނ-WP=%2voٳwݣhA7-VA h.^?ީ“C+1E&$z\~ R7dS;/%Yu4jݏE]f :[]x4xmxujY%'T.5_҅|n(Cf&d-}} 4eR_7(Uff]TYϙe҃G'C|Pڄi !&GpTURLgm MwQxfr?A?IS$PV)6B\%S֐oND" EŇ C4;F=tƓa}$qH*>pðY4hI`g%~J ZU"LP>dz4O\=śu&rNأr̮aUiҹia1OALէk-.0?&ȄVha)9d8Rb& U8Sj&OglaJ#ikDsy"Zw>ޡ3FgZI(QK10`RЏ.]Rs$ фU+^3l]6>;Z70ZmBVrc_MWS(,=˧Jb; ʎ倄_w^?iDB+ 5kmA:P^Hi ]Raϔ%$:|pr駕Җ\H,&kUY̲cT\BrF:;">O} _g(2V,U!ȩ}.t7w0 'fGHXHFԁŃ$ui%E+p&-ٜz]oM6:;e88zLp+;(!m&,=| ٱW)<9]Y!fXΫRLJ&TMkי6E_Hi_q_N&SMMkn. `ۘ|jņqcy}Lș~C/HJ⤂7U'Xd>lA!v]kOWeC.`K:ZQbA ą Th&Jw#Md V0@3=pu)" 'en.A!Ҝa}Z8ƣ7 ۘtPDyp{k{t^)G-}]|~@rߕA:+=][܄dxxi_`Mt_wXx1aޅ2!"m a\`>/|`ū^kTu/Ne2͙vU.uKׂm޽#vkխ_8@މ)Ŷ8꫅]VP$J^nQFF Z*؍NA;;B!Ԫ= df֐[LZ*ףN~s:^sFqf-bzD X5E7s(﯈eSëJ2qmV[vK8+2O 7c8i*aF֙CotK-XWCFT![ mUR.H:m~Ah%\<޻O;t8atAT Hnw!Uj> [|O}]k$iuL1GnCWc^wp]I,{(j<48crף,Lt{ͯ Ee o!h6.%h FG¦ IpC1X+4փX""^POQvAxC7Y܋yۆDM!Q^ US"lWL]xjI3Wqn-~ɍXM⟄ V'tkYT XwfϊJNPޮδ$LbwAjFq['Pe<5,3 mҜ_ /='s%!6o0D! J5í+ ID-_\ߡO(^`Q-Fb,I*X*Ca/y5"9t Lä# k@!3-B[ֶ;qك|=6QߧiyXk:[V 1[P׭msqB\$C:2&,#/`d=Q!|4LEuS RY):m))ۚ;loVǡ7Hи\,M  L+ =NY| FD`)!˚ $SxZ-OHڤ\-ZSrmǴ˗ۛ==7 . Ł (gg2AIȰ9R)w; ]3.;,E$T܊ː\bS 5iujÌ*s]=u%/n}eE)ef;BBB إغ(VIϖmO+;q6?[Q,|~zAu*`=H),p(@LЎQ mv H7}7pݒ"a'^ J-Z3-tW08R,e `s`ocԨYCРEypFWjቧ.kײ,Rhk'=䫡2h {B%y .ݯ AfA$%AN'׍1lQ9PO!֭x%ȶkG$H='{ɸ4Qd$iН`(2تKKTdz.*֠;Dx4!Mj"@qlOamKf_I}<ؒ6r;-H2Z }C˻X`0N)_3]v$1Ӟ4@Zf" ufѫ=D|S 6~(e0&x΋OHp8/SDcf٠ 4wvqu\<շD ۩nkhUB[i.MM9DRPcf~yӽǾqz03f)gi;/bBbg5V5KYOkrȏ1;KJm.2**%4uׯW'XıHV\,ӂa9 ύ$:{o@ۛb+ eQ)x) 5.RC#n 0`(}vA>t jC~,Nިp9N P仈Wjǎ.ZU~֦<%S ==j?Zi`:42,<1|˾oI*۪'mǩVA`}{3む4L_}ۺJ͍ pR]\,y9l6Uо{ ;ȉoN y^Vrr@Қ ;7|!] OֹUjzq(O7X?g4zMAߪèb5J8%$lڞthU4;Gr|/SN]ҕސɽCPok\%˚Q4$dx#|)kƧz$=cqnб-Φ_BOH2PVV!N[o4xqF*\`; FH5TYu?N*>8RyvOgPؕ^$YddER5aN.72YO^c;I^W*y;Wicna+3L^7*|W;[X,YXVZ7EIj|ڑ@3rXmb=C"V)Mtmuh:+MϿ#I“.Cc}3`މHYͩ{B }r$VAM" yЮߏE3qA@!M?o5#vi`,7~C)wxF}ދzACAl)h gYZ7zXZִF! J]ŗXiɟ1˦r w/8OA~ko95ા|ywaI졹0KuJ?ĪER3=\rˣ;Fc^%kj\F*.4X/W瀺'%EIӋmh^j.v#da.~M@pуgYZ7zXZִF! Y=m]ŗXi%L!2(̽'+d:Ut̕ L)ϻ\0,OZ9(+Fxu 0B򃮸_ ep*~@2f4ex-YUp5E(@R$z{C*LlFZHWy쎕4PJAkeJN8&ސg31Z=(pQBYlǒꀈ͸fbrUL7kȃĝO>֗T~@{2e!V8|ǫxٍMrLegۊނ6A\)woLΟ R[+>ՆT08Joȥ7 ~m_ ~&!=93Go$5.ZO*>tZm }@GT墧-<_kf@??7zKcbyMٵ􎄿ɺNUBnlH]1GTjZMA_hGkZ ;4&>t>d=8zH\$GVE7y)SBW0(~y(L@N w?s;E ֯iZ<`.P݆AeEw鏄kTvt-+?HjiߣY6EV.%!*T޾k2P^PdeyEg*~@liah9S6S|/KUNFI7)m(xE#?lVotnJb rk w gYZ73a38c8011fd9b520300094eb63816748d4180908215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b