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  Q Q5\L ]S HOL-Nominal-Examples:threads=6elapsed=267.213cpu=1211.236gc=140.024factor=4.537zXZִF! ~#e]ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_WWyγNhPWbVqiAк3k g/)mžy/6.]""Emg̅f^Ol#@QiZg( Miɍ{ 3hfowϏ2+T&jLBA3\)P0o,w4Lشs BfT*\p=َ.`^mY)Sv@=(:z<0\yW/ f&ɷBk|F@%QZn{d쯚^e!rvb_IoBkF) qr[;>馾=)nJ 'rF(0*L[ܵXgX* EcmB.E"ÿa:ՀL~BuUr&Hy^dCzHԧ `"az-ǣbFe5$"όUQe<2n[s?HIfRnAޱ?^u5j p2^h|0V#gN31NI@Y3 (@bwCvw;9Poe!SOJiw|{K1* .Zfp}4fH<^1R*S"e7"+ndajfsءq)ṬlKcjJ4%YXs=~(R!0=wfwu2܆Z4Y$j3B#)~`PpK%>;Z=M$^3hJtJ݊E/t%BXi4Hy~r]i?Uwצ3vQ7\^D3O^߼s [ʞ2(F Ԅž;hu2Q7b5&n#&JI*2S1qA@Œ&NX)ICjN_ҘHkib9-,§&\։!0"yj1|g kvY:sNIHS ;MرХofoUYyF(_Q07]+> 7 u>kGay3W&)J40}Bӡ1J)F:&O]zݶy%>l' xr һ/o2MϞ9|"Rdޕ6KьXRm.hWX%`~qIS {&B0o~+b<ę/7,zQ&C}SzYvf?7ʒEזUH@_<4Ҽ4(o'#ɳ\ǑB0SCw&wZ7 uQ<E'̒aG0Y>wgƷ2s+U:^IX8@2+;a|Iۆ*e 6?}遽~F#`+7Rj۔X<:7KvںnaOUTlӅ1Bd_."@S"A,}$ ќx_B6wphnc56S,ުC5 xżdG|.+ZGHB12IԵO"EΎ5j"sJz][$&Vr㞑k2l+B D(ϝsÙT*LI&]@|^$&bҡֽ7w]mKtunaofP</?2aOii HY!ܡnԓ3>&@B{ npDdǶw~cYK;p-QΗ5ѥ%.DTXKͧV&#jk_$oNF"\Aҋ黣I$,W0Dy )3L^\;krFdovm5lV[sX"wC J7^LoiFtKd8S^ʑ|jx"&fM'ܑ8Pׂ|p~;qݚL/Sbgure{(f)Oo&[R"eՐ_&*a8'#եWI*1/@0]z1rBf+Hmz;M}n1U5JB(|򤉛 & Eey.)C&7anvri2"]om/+ʖSmFūdjmi !bZkjXpι8z{G>ᰒy8KJ'4zL0>P-M@ LliE "&YTکPa6âvWŒm ɪ,5 |HNL>) 7.@ U@ cB+on Q+Rl} xkД$(OMv c"8OO^P9xyڎZQezt_QNG#j]r |Ji$5L èNEq(uq~<[Q''+:ui`{b=?p -:.+)i,[@DL@`Tm5_oXՆ%h"2Æk3Q*>"?ՃRcOn_Fi>J˕mF'eNCE8A#'CWbpzQx2OyqUn0/2 ?@jM09m{ީ;~QHx #fHMEYNXZTѯ{Ң;GbL ^ k%I_J ry԰%4puY2;2b() :DUFsԺtC78}͖ wvyNwج& ]VV#8VoV z>v):A9e*Jɞp':|T_(z S'mT M?l൫\Fd*y  4k}ό ^pޗ_bq4@Nܮ]M)d]Av2|^w1:a`QGk~P.]qj̈R|!5tAJ(b9A# 6/Ӊ cC5w}F0Gsf*)o.}eZ?ICQ!,dZʔz&su 3lÞRۉ}1s-6" $=9Pu)ЖJ\=v~,85FB̩ks.ǎValj'c\ҫnmZ%Oktiw#"|]N\4>zeĨ !T ^UUYc`I\.ۭ>'f5z4&D a _tm{tTjiC['BQ3*Ih|5$M!A;y%|N,+f583|̩QGO=X-l,&ʉ$_Z@M1/CRX#F]'".B%@l(O7lB1kI **kMI.׉3+ZoiFB 9܁EL%MnAI)BfBX"xNnGzH iaKu+~@LQ͚~i*ʔ(G4慯ҒZ ](HId i9j|Wt',#A(NuH;G0H-xB༒TVf3_QCmJ7C5#F>po׋z;:4 M(݇Džk?JF4U|T)^1rAU? _İXw|#j-!m"H7@mإ8K5IE$؎Kb߭w;-Զ}zҘ E/"v ~SzB5EJ 'Z2*yoe4-cuMٚ= K!b: sOrҀ1s>KX+N lO}' q|YK |0`js#S#>@Z ^5/TE@+>)ԕ bt]V^9OQL(Z7.ؔ\ f OC18VKH.|{aCo ~\İuѦ^1Y]R"̎vENҼ8aY0jz-ǵҾHli°W: 2Do öJM p`Cz S-xT,/Y)Di RZ"Ċ Ym_e:C$!_B8`8GA ^;aֺZLܗI C SArgX}ydܫ#E?DwdK7*#xD(arv9]Wec>" r^ 2K`y>S.̣nOxPUtR&_@(.9~mV42)Lo]pvrOt,8iYp$XLHpA\§k]÷-cmfŹT̉@DD?D#Xw;_ ̖UFm=/ Bef rȉIszkPӛ*i)dV5WziϱqԶq)-6@f{% ?v"Gie@Wk(Aqj3=Mkˆ}{4&_(vgd$ͤUf } c*!B) .}A "Y@R^w?Ss_|\3i~2A.ٖk/PcJ4ٴi1~}q6G}ZkΝJ "}as1k%}-fL_*Q9=8+xgkujq[73i8Y4^$57C8a\RhD Qľ >Ηh[\[Es8F_餀Na&!dͥh\ey(tDژi;WS`iU}TzrlW6]qPkx _TZTgf M74KTG{.P{Ml?AlXw+f̟[w3`9&gCT,G2((s@ؙK1#jS+@]/ޑ4+_ DZ .NdF^OS1(O dy ,>u66Qcpmx U|0BF}xF0x,&lNaPp[˵"'!To06@ƭׇ:?שּ!L臬ȡjgTd(C]u8x6|J90Bڒb湣F׈1ѩxipvCg[Ԕ=n})w[ڌMuSDniR nf2{3[H! UD0udo_2ll MְM\,} PeWv.]RcM0%%" /ZgYZ7zXZִF! s(\]ŗXi%Bԗ1m<˼%x|EYv]w~( ѣQ) O 9'鮞7G6!5$ǰU 2U,hpy*,RIdy<ĤL)T hSKé#_ic:^b$|{zv882沾9`Qu1}[[w ϝG`}<_)E q6{ ` A=!JtXikFkm4cIO_<4w!r:G{$1MLGa 2FnJ(f,2(A?t+X200/C ب\N4P{@`YE3ޒ/+9?]k`m&6Qs;"RwV1#p@c(3ConЍ?/RL,q7]ԦƲ;;nRZm9Sꢅ(WK26CR\Ir5FjC4y/<1:DڨtPF}rknpx^ e YJOYV!`WY!mo@{C1uA҈>U=<^ o=\RR23஑3S'IDvBDGVJ?7|IzkPY)ʋP]mM3e~*I|af s$RNrr0!]#߿A\LQ$1ɷӚCv3^ @S bM,|b=q(Ǘ.)Wz_[ HΠOlZX`;vi rQ y\$0= )IK]$h䍛W Z3尦sڎDRc] WWGH0^Ŗ>WTAǯhܰLִSo[pfy7H(Y b("pBD!o oJMި۫SbC.ૐ/LD4@>~3 0Xe5U̍F) Z^'+6A^H:RYy#O䡨 { m%.8A7 1튼`R?q|_T; —^eqͮNutwxЗ|I}gj?sڕMˑFDOf&MpD^5XZBxv϶'(蔏яWvDḙݗ<)`LOp$NG>&@ۣrb ݸCE< wkuTY[0k"ıLv9ކހMoV~q,{={.ʐ6gSFrh3"\"-?r2鼖 dL9 0+Di6\WslMh7 ˛U@\5VʀrP]"61#Y \OzvQGo3#)"շ|S^(o;hP &Re+kW.,QG)ࣥɂ:]2 ".7c`/ؿFctZ.)j sS8W+_>3{DoSDkօָ0ʻ>N,@T졂0SU0̹Ԭ']_v,-R/ ם@AU!,ܐ)]h;Qyw Ѱ-Re ]įPXVzm3;7jH9!γ?QE|G땥0K:J < @ΣϠIU^j6鯱nޞjR,eVeZXp!.o;͇}bL=] I 6FX4b~=Dqޑ]Lj!q6l$?R.[I'nf!A {]YF8jud{>ֻ`!D> [dFޗW$RD;$N=zLyaNGǕJr5X_2%,EEk;G(r"T'? |3WZ[1iT$? $iN%dh-ܸzŴ #LZo&쩐UtHDo(+xDՏ)th&uؖ.]DH7]b "3To:j6R  <qsEOO ƙ'_ƅ-"o`VsKR,P9vЩĥ#s*K$n]εX~&OL²Zk+{zsjS jA |\>PtL`fZ.b $ rJ{cG4!1 ߗ#£Z^iJY %“7,/yLmQEl5XN diTX߸wEȜdWl6dZ4eqz9T 4@IŽiяaה#9[̿/7ke$q5i"DKki<";coRCp8*)i2˯^KNh5S4awp^|ѧg#l%5L/hh` cyj sb8%4)5,2GgwnoF _GRIg$*!ڬeՁlifڵs) hpҼYOlO嚅 u=+sot펕?ʎp%9"R?M| d+]<)7c8h>8Wn`QVKWf]\m.#I݇Q _Mc_]q&~5!4ۖҨxV9ilt҈,ψr2䓗({oΥpo-X7T`BqʩR;t2OيA[jix@E£AC9JniBaS&?:' ~νh[3_\w,{R6Dv4#;d>)92ovyE8H1.MLHF@ptS '}ʦG3Ӛl%_r*nĦS]`[ >)Ι!tXۓ((`H))F' PU)<ӓS{VGM zqZ;A x)_¾lmܞ9u*$;T/1!~mD]F[4f5k2*nh9q6mۜoEJ11\o~GzCQe]'탅q<@)Z"s#,I&fq5@8d\x,azk+k]{G)bgQ h݀}*ةVjАZ:evfG]VBP{ce\="֝;O0SL<2S//_t!29x 3C:JOPsDE]l}Óv\h7. zișZ;s9g'Z%LDX&f\-^q]?jwȂ~"5LHtϩT\tӑB pXFIaclJHK%2ޝ{{H?'pUI` _X>DB5O|{ۦN'qGjw˞k`|b s5cZ}K_ Wpaڹ">?QjJ6#ǟq~=Ёv7r>Ȗnɴ=v#qY0z3dX[ޜP^$寐0ິX-MNo ؾrrOj{;=jI2Emw ^@W~\=M۠}rNZOD&[wPu<5(mᚓ{beC h=a[[;IHƻG᨟U=LJ+71 :/ gt5 1Ǔ&ދQɆ. P It9;_]FoWby4XWYFu(Wu#;jhkf`Zl(|F+p蜫SHoDrv+klXԏN{qK=);\ԃ>2^*9M*H %)9Vi  PJh;I;zQv*L*핰2>5> 3lotj"Ƙe)nKp)?7d-lы:Q`˜'bM l޸-sJR*qRUbv{,ϲfPjrB&1͍P|}f>) ;BCM[ Nz|< b$4KG!~6\Q:ON 8S()Rf~k?9(~rtmQҠ 7v3Ol NLpܮ.9θ3@V4~0<}a,w؎ƞAf h ݟ1ڷ$ec6;!ՄTnKNKaƦab|ADt')-w~֟? &[ke[V!%cScl,&ݗI5ԣ~tC 0~wXAfF 3noY9rpi;]13 D+YIuz،gqq8s4d@{w%HJqcڞ72zw/=^+OڶsBq'd5O'):{T`r(>}Z^*:u݁XHE,##:p9UV)̵iaj"n4Fb|Z>[׀nxBmm\Uc*~[]Eмj/lXTԝ},l"$ 4%wpܘSS5~rĠ3XljI:#Y .Ři 7-" m ј[v जhg/-7?S?Zq\ P%6ķHM'H?Jn!+*.1 *SŴ;{ ztBjp6& ؕ,N>OKx{ҨMaAmڥ%b; BiyڙOJmgY03b?{-Q8Ɏm6&Uoc`B7J)_Oe y"j q^H4_4N8;6]#VF<^C\>L;LzE/_y߈PoIc Yc1 `1"}ZK;_zI}Pd>d1A}]n;𓩠ye30lg#7a΅ojߘQ&kmN $F@RX\'!Es럷B#=H0B-AV>d)P^&vwLڎ; 袎g}$f.CPtT[I5s\;HbqpOm [<Tg(&|P3sΦl930{bݒ,wxmEN{3}k,2nI1qHk[0>8eI})Ǭ>-?>R{mr$}"1׭[daaZGNq]9x%#eHDytɳzw >X/ < +I (?e~jo-ߋ.\1l衾1A_3].vE^:[ZZ; iO jH?-|sFg2jwAP> /6GiJ}f<FQ~3pRZ#Рryrq ?E*;Kxi]B9X btcMwO\јSC֤14LV(u},#4$[xy5[KGb(XO?$PI}%GQ0|J򘋂>>waYS6}$qt -9şř~1Vd(S ,Cbi[G ؂~aX7׈#c~49L0$)l$s#2̳p *k uԥRVݖ֣]A"ƿ_'ŧ%hⵎ#5Onĩ &uϷP Nh6}lΦݺw\ AsL8ӫ=ep=X0eUzZs>!nLBmAj9݇XfPp:kI]0MeRng<.h|sf67-?zv^<^ʯOt5)ݥD@DE0,ykRϫrCx0ojQF/J&*A Its2dӶ=M6]f/]<ՁLƭFKbLGwߗ{}j9zhқ*{xm8X_/ t#S\oktޓR9T>]9SK~G, b=C5pH5U^`iLDu nԱ|RZ"70cxtZ+j9^$,1fS3 g *z _E}0Z}_tx%;۞ :Blrf$IcMÂ1eEPN0ȠVpBxhK?8{04UZ#h#iG:EN~Y`SRU*p*DqsoV@,;=M~Jս('_?tCu)ry*[(%}*B/ЉK]mzUॽR#ͺ\j\\u:N2c+諞ybR -fvMm uƖ>ʼ t׌]Xۄbdjk((!O8aFO.]H1(&-7ѥYCIiǙ*I!^om;Ǧحa ^m %Vq1;ڻ_{9\޲Sj < fɋ{xRV*>eܰ3p #GƻS_?YS~p٣udOcK&W.zĹS3ܽ~J PŸӉ wօ0r}ܧP$?B_l5,AV,w7ƭd $m09JzSU LXy' )S M g˄#"ҪȷGBDZ ~n%'\,,!#5 }OBe5 Hvi~1o3g6rՁ4T+vjU&^s[6I4{iMGiIY  2tQ1X/f>tfXIŽ&/4p&dBJU V"bkJI'q)'Z>NZ̳˩^tzI]–='tXGI`ݏ{R>)ùquDh%;0sׁ1 \B0 /?d|+~_>AA#%wº`JEhFi碦ҟp+ 8!kCnK݈dE7R%6 &أ-Qb),e+.`Q g,@E 6wc,d^@^*ؐ#{,M!T+b*1lK&i7_7:BP-c(\D9& SZoinMP¢I AYؙG 6V֗A)5!,O0; NCk7?wyJc`ޡW ik, |/SE$mNG`"C{TTpgz[jRz*m=F*k 4h~Qm )uȵHju;rHجA S06i.0\CV}>Sz8swtuk#C.Ǻ۠W9 ZYu-(އx.k%R _cyNC%6EZ;dגn͗ALάy"WpFt!sAŭ%e/~:%% 2eQq؄w3ؚrWx l\<ɪ93%Bp&9 R9e~uY7| @%5Qd[aA,mՉ$la NR]cud$?"IG b0%:"ŖkIk}{j~I{ًko~t? */oZ׾ +ZkDmV@zoKV ?f$ @ۛ0- l+gyo{gTrs7Jgs:}#띹_55$+|I[XѦc&K{DZkg0JZ&tFe;短 =ӎIJkFtMIeّO%B Eu#B0Q7Od(+0JՏTP-Y!tqTFwl,ͯuEq b1s; W֍N"oNS`:Yv _Ul3-7k0Q5jc.M# G!r Eg`p{b΃놰(R/ #tcYb9G6.ۖScrc:%,C.-(p_=}GyhvubT(GS= ^ڢjzD678YFŸML/" 6,&~MRfX7Fd< !qe{^}EIzeGqϯYT*{=Қ\ksU$񫬟&p$5 MCx$p ة Qvu%ìeCa%n$zo-1SZu)-2a^G3BS^+hGvgT j5ǗM(K&VvU E2Y F[s ֲssf"E2z3-PΊh.@j$Hױ{%RpHz `S@# y8:L*2U?w؏r[`:r1^=ܮEoZ}* x/60| \GGoJ{aq9Mc,yh0 w丙O_f :hu9^'T@A ?7,C )WWΊ ;nÊc+-NƟ LgXTG<}l%cɐzbiB}ng.)&Jh'|tϊE TH>~h:0"ud5lf 5Utgt֐'owؕSrT鎅9V?MSj;]ACjc9wBEaFK*e_KB|l?wJ6%ņezVXi~# {lr jvq]ăEf],VJej%wiϗg嘠H&9DUn47E34*bπJKyamJ"$`RHÈˀfܲnL;3j<gQa>Tx؈{mS=w]J+{hjt 76osu\=|*u>'QSZiŝFPXmyM2ֶ=F JPm{qboس!rn: 9SieZvͺyu)S2w/;%_PWFw3 ^LfU,I ڡr5\$Sq%pLKɆqW:$G$DIѻ&1Xv%nΉGh @!rFr8ANID|s_)(ƒVi n_BTЄ=yy q r{2+2GI4{?z9)PآP ƢUC/ R%8PLl];E1ߨERRWMmR1j2d<"X23E:Zup{`i:{ {QkNMAec8;ݺI&1]f o}j+gʰKsu}c~V o)8}Qڮ3jTF2BcØkgm(m>*HHJrN˾ c4dܙzk;z6-h`ZG29e?c^] >"1| P,#J?$W`S7?TbıhCvz1`;Dȓxi%KFixE[D%՛ s=Sdɤh}7)l MʳI IDJUӃpmhoK:n2>|f!pmF-ݼ7ԋ/1jk5F.TE C] IMq=~1D U|cYCULއU\ʉX-KFu!9OH xiRejUu|^ZԐpSΛ?: Fpd?vݸ>p9pEZ6c{Q 1_Z&PЏ`nъ3McռLDd&bTz!E5Zq-y_+saɾ΋ -VdƵ *΁CȆ mzz)b"~i  _enMf7n}%О0燬 bhpYƶ!4v`A;!Kp"vZSRp(*yu΍)rkƜJY6cO`w V:aQ˚TmvR¾=$|:)``%u, lͫЉ=\&q乗 |ϬhʼM0Lҷa,'ɓ2;q>9z}2aBֽl&v0- [Y~xਗ; &؎[W6vHbMj86!o1SG,M7!u%N}tQ&^Zj!cWӿ󠚙{ nqU+ô ǓΜCI˹ŬPfϸ)xDڬ!4Mѱ6\Գy%U~R/ j5`3"+kTWy":nKݔt 6P6dfjd)s3"D\s$OȾ3KYdn rmx.iۯZ/ D]>92% Pac!Œ>* G 5N,5Ķ^pfn ZzJ:s_,I y=?pU-T?Fy.d3s1!bk. 6IO-'WUw/ Hôq,v`|fuŦNv%=Ճ:1w$h eWTyHIn$a:Tq GYLzmpwT{y~=vyB&2Mf'RU?ݖ""t@!olxb's5!eT*>86s P,i˰o`'vYNY-A9IF3h1U(B^| +p\=u..i˰O<0\OxHU Sdeүsx/ev`Hg+eW"aAXcGќqvI|Q<nj\N*Y`SUf&Y_F SL:J'dTR RF̩@^sLr#Ln aYhCw 1ʿ*/}IU*8^'i(r%zO Cl`^:FA%ykvS/[NAH}tԓj{FqG\G$S/s )צ}as-%*Πnq)a/ eԍ>r t]Ty-FK fQ樂ՠ"yC+C4(2M ! :LoH EKY?rWK7]D G*?gD񒫟V`E,zJlKeO{M2Qs BEo$(0XW>eb1dAYveCUy\[Xs2ׁ;ݏ~ Fκ_R_= 4yMRC+D>jA K܊~#E޼ =7[f}ʄtpݍ(k69l ݢ/= ]k?bg@1ɏ&D5hAN>M<ƁMtg'F3z&!CW#BJB1E.uqXilcDG _EJ1diM(ĽB>uuHdW^͝))dY7xH0šDiI#erE2FeN+>,<|LCܢ{irbw8=1Ʈ)eoEmsLVeڢOSQ3~t1Em+btT$Qۅ9.<M䐝uW);uіEiz;%*s7fB1{q7FUTVn7wpE%'F?)Dk rLi : ;!=rF\jwm0KUY4ZsgSR1gd/L!V\(EqBSH9ٜ>wۣL ;(&ixJ4U:mٓ5J$1B2 cN!1?/4N^eFR^6Al TWͱ̴F !S}4zFgX"7/B%}%.5@ kZY^Pro4#GPR >I %aIvq &ۣT3g5!|lбu%01On=:?azQӘ5lcQ+:, -C*y/vۆJA"vJxXS+QL04dG(3mNW+'Wt]Rm Ԅ¼dψ/LKTJ@k}z(M݈1=^xْF__i2RP } EσJqH&'ꇩH-硔 MUڭUquMbQ*.?vݟWPN%۠?1((fpz- /6){XxTYaը: ;}lU;tB ng`/\@_a6Y~A ʑdjkq] f`O9 t,Ua7t]C(NAFsNs@ء]|n)?.FN-|]fv'(،3>sԺw"BK5ȫ p,JW;;KYԲ혤 CļJTɆG-R{:^㼈n[,Nۣ@;u~ʡN.տ-ҥz'R(2}j%)7XJ=OHvHnDΉt@O' %LMO26OԴBUV 3Ӽ%I. ?5+S"BՏ Icl[¡"+(jdX|MEXֱgaB|d7r2lZkóXѷ[&fg d vV'P*S X"&)7L׮ CDdy=NgbPL^f'$"]D/Q 뮙?O{XYB\94|8a>c i$%jnw `n/TFP >PKx^9 SաLs޲j絡gT>w熔=a`2$V`9y/MuMQ5y2(WȤ 3=mO~N-xfVx-,\['l 4*)r'`l#V[ 5H$* *a׎u2[uRq>=^n:xfz-7@7Ռ{L]I²fRR‰䋴EWr܅NdJ)ڿeTV]F}2艕]⿈mCRRn=6#9'PfeH-rNHCPms˸+^ziBb';JCZh,=zejjJ@hXsg~kMq77v"bC. ~FN{jC3~paSۨS9."<`xmrna):D0}!]ilgǽHJZ\(y.3(Z䥳b}ϖӰyل9ɬ$B|er;1'N-W"+k; Rv48ba9NN乙0!  I+ƞm*.kD=+(ޞ% rܐT4(师$Ezہ;l]iÆy!߶AחƌT.kkPG0%TKz^oPgq>sI(rwlbw?^%#)̒$&pl54%=–,Ж(NvOiFu>fN˸X+ J!Exv}~~WپMKƩʞt>c }8tܫ C eq}htÆ.  [ܐ0&a.`R2دר&K74~:R x\>-Hw:Lj{$BIm#M*CђdR[=[`nA|' / MkH*d)~&Z*iBrH뮅 )hG@g;ۣ9 [1x 8 lyȓF?WgcSN)O 9hJxW9ZOpm(!KJ%d%D61q (,TmON2[?`pzzsR˺}6Ζ8 bsHLվ:oTS7\8sU\]HAԪЏ'{q .V۽PABP&fZvZMFT%fC2ȏGO93]4 89nT+_-p<" xxLa`/ C0rdq_PGX P6>C!&li|Lv+n"7Ԋd!:>6y&SeKlA(u@xg]̑SC/FkyxXNBgk8/=_6 aX1޷2XxjnYND~ Хa }rD3$'!*Ws{ l5LeK1-(?H鴊Z|3gK! 2c'1ef\;8^~ tA (ȃƢnKhIy`Pd/8Z:rn7F&/ljX}p$NRsZ.IA,a̱d%g{^ZѐB_yB>Ȁ},-j:=;r`cq}ZaZ(~!!b\8<;Le`dc),h?rMʛ8SIQjJn;el r’ڟVɎ)$+!cfT7A2c?8?6DM8xKu=; EeEݍ!쳾{20ZSf dTk}Nb&yAőc a!mӐ@KRiO 7v <ÖAI^ #c5Qc5F˜ޤDC>ېtJ ށ?_hXbQ+C\\z.f@b] ]  C5Vg~ {"X. c+m5Me-uЩ|9\Cb%j(ʟ2P:e_o<\A ߛU\lN")9j$LQpFE!6$^ TOQ {~6e׷%0V5Mxkg cGۚlokA"I~.Uq"͚ #ʛV8nRaA7$K-٩;..CAL|㱐~փ_1yb 2PDWb%E'T cDppr -m@̓#^[CEwgYZb4f9b6858e5fec180ba873e3816c1af4a4dcbc34a065929dd1485620a1fe2ad1ab24aa44d802e5d5 ede8de29f8f7a2c7b32f6204d128100843065a70 cf40046c067585493ddf3eba008355fd2ae23943 33ffc9fe49c6922942babc161ec1718f6b322508