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 ||\#  ]S]HRB-Slicing:threads=4elapsed=390.517cpu=1137.080gc=25.616factor=2.917zXZִF! _]ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BQ "̔e{ m:ۜpz-CD\oQ|r)JW$>x|n0W~ьӃ ц|Kѡ&8Z_"K{w3޻ B8@Ր ]EןKopn]0"WY,oCnn):mg/8CSL"iT:AdA|_EO*'i!^H]@M4gv!EYgXèlfS HlɾQgBVs9%ثYfy7%Ǯ,YjD=\v&j)tr\*:R*7 l]kx3mx e-u5xAS=X PV@0-gs!'|eЌZsjδnm77g|n֭֝+l-j(s8I5H3Pi~*tw G; 8\>eq7. lIsOL#lK!u!ceq/Ke>݈? [tCCZ4Y`ilݿSB=Y3Rת/{4ΖJͼINky#قa!VjA;cU!9=@Ȩ店_L~o01wX5ߖÍN<\%P)^KpMkMB$X\*E/p&b8)7Ǭ:t:?GkV] p@uaw:ܳŕsqܔ?s;K!/E|Ӝ5h,+)Wi!A\$dK20G>.<<(TP!qLpCLmbȃY_oWk\rf`=0ҍ,O΅nToBFpU? pJ?I,fnMÝ^`H#zKP@NnUVDQy]>{HuBpԖxmP\uвU{(9ԋ-LxZnz>"ecq ?N|@;fM#8/̣dRwǽiB -Ե \xgd!ʊP0EnUCg!玉= P^: ) h+)X#Rp̿DPJXRﳚ:ZCJH)UҀK[b 9Q{mi^FXPǹ`ԁoT^I=Z8B^e7 !T?DNQD Y'<qVOIZax]kqP'֞mGsԵӱ\\rs}M* .}cLFa֔( ~xfPPϑ0gjiKi85f=V+Dw5 2i?9_6zfջ\uj^Ȟ)q"`ŋ?qڤiJJ02FnqrFlYv0ht!;BS_` ]RJd3U{ K7I*w|΍X#9'4(O_dW]v;r]p[I2/ 9FCznM1lG9;~;߯Xc~"Ҁ-J.؎ CAڥ$X 8Z%C*3 ݪx1?\2ݗ KRJ=9.,D;vJKI .)3q+>̢&S(֕BmZ|Z}<[)*AX=ÍUkc$0ӁPW%(A;}9/HG2Lj u[5XcWkR-J Ir9ԭ`mBÍB;2n?~-'b ~YJa̬tpPHSKǑ0YVl5?{L' ! D4>=zc @"ܧ]\G|τjcw/Ml'޼1*TabdH& :X34X25Z``L2@~g5 ߰%KwG !Kr=^̼%sg9 : {l}fzPLȏl<iYpܾ$R1!qV^'PHO47MN}f"fuOtPU4aBk@R#EF`358ezڿHJ1bIK f7TLČ+*e۩7'&ՓaHi0 T>I#_V7UAlA?퐈bWTm j2"0ﮥJ|lD 9&0dPxfD.I^D];`H^6^{Jii[qDX|m. :If'?>HEcZ<$@2[Od:\X*`}AhYFPy>@/PufsfFV^nA g֓4*uAXÏͧVhᩘ|x8&>t?_ݥ1aVڱ fHB&/UPZE%`{aWT>LgAHE.+k z{|W%kg~i7w # HRB-Slicing  tK2TRUkgݶY:`{0sNUwmL4ӓ0^;=%NMQ{s1)ٮuRЮnE\1pggR{tWT ZH BbtWqrV^gl+x^W ЄԆLx: 7*(}.QSAI=PN%Ɨ13hs_FaA%Z&#X n $D(<կ,tT[ZyX $,Md @N`9}i,mȮg+قo荦+Z @ # 83IMs@F>,d3:7-HТAr- T;HE۞7,娦Pr'ydղ^m49u[dom" 'enCy݈VvSЄ@8 褏Dw&9Ո Nt_+ *%8[Dt ?A֌{65To' +|3{c%7ץ?ؠHtsHSp҈A/̑aMQ[xO#wdR o Y,A$| Pm0sb!􆃝&b.X~l: pZR(CpEg\9pr ,TLDswV&II<+ET{ʙQSc0YO8YA< خ\( <=A4>M@ΥCH]>WhE0:9izF;$jsʈy)4UJ<bQӱNn^D]/0 ŧמ]]>=uW[rIs F JAG(jUS48E"v}rJSL62`%ݣkzXK7kll^7~]%Lynt"9d_F: Zo}x|Xl hi$d!ߩ2Ȕ[bcٜʉZID 7 ǯ~ɵ(ɤ؛r?V/_S=ӱMũϴح9I{DW[$8QպV'**= ->%Ǯ1\9ӱ8P߼ɾ/ j3 +#ծa#P9˂:.b@ SDA7*zMAOx<8UC0g= `H8F c=?bRgv#$1.wrAa;؊߄v+oe pUD9/e X mpknU1qgFk{qm"A:'wqG¥p[Ub"vPSfxFݡ-a8EˎۜĞ3s z6.]⶷&˄,$V~>=_$f'N> ;e~"?tß  Yk^DΟӤێ>ib.*NSYg=QY=O'M7I]Ţ)Z#bnZDA&F8Q#Qó4Z1P+] xݛ8!'L^CL+c-@ Jbl{&q+|k@bfg[M[dK-mA4ٸ,`|QQ=1w}'iDr56eNTwXlcEyU&XM9I q+~q<8Nu6}J8]6K"aL cX̍t(ut"˴12Kmoj6Z}Y67"W 6aT˙-K̩ Rns??t>θwiR ѠpVWм9Va4%-5g:4[x~ !*.ש onKgui &[u DB:8FkFy Q{X yyuΑ,WisؿKi˰t(37 usޒ׀kJe e;W`6j ĝ?#p]茄C?r| G'"k^ٵ]SіRo@m@iu]>VW&֟Գvd/]@'>I3,,:v9t$⹥"4׶HB3MSBPWRhf FH8ӓ c͵Oy}ryreb7@n flb35F1pub|whоVЛIQ~BjN 2őRDjSe6?"*1)/8XH DO*Cر՘1~ܨHɮO0 v=i[#{Ҥ Ҷ|Y6n`xDڈ?6doV1s{N=H=7xۉ r,.+#e| 񡠀%oWz1@4l6+*$:j5:0}!Dy%uDXY}?¹_i3(cDXb2T* Hٶj1*\ Pe"nŌ#Q|'~w(k،MNl L!}Q9$i9=|8]7 K@WIxԗAE- 80 76)OUيzb!$~&WoQp.&}'s8>,\1'1;<θId_|Eco@7;6 |+%>YYOoeq.,J7 =êMD81!wǜ֡&~TZ),LVwI #l=Md/(,ޭӊ:KgYZ7zXZִF! a]ŗXiɟYyTv2tL:ݾ(ɸk2zLv4p(M0C*P;8TLAp7xRwlMۘDD>BH*J}nIfl.G0"}6om(Lagk5T9Vz #DmƢ]h^Ge0xf_U:5600%򧷾ٜ ,-G$]c($'"h4450- S'bŋcNp*@âHF- I}'#&F)xsbPҡ`|-/5*]Mep8"!هSKgW՝' SHꈳ / J+JwB$PȾ, {^ܞt}5۷Zw۸GUҫ! ȡ $ +gJQNh^0(q s*>sbA?n6`u {{XO/%sޡ8!QTցkdqO=ȴED:M6nhc#kQr+psހ) |+[gDT&WD'ϣ.٪y o~}DJ- 4R1WrQl9cHsL0L# xѢt5/^$:zFg<Ӌk DA.PnoN`Ү^|7d[6ऀ8Ji9b'3X70 η4>|+d\՚kzPFcaXPx%mKDёhg󔓄{LfkyڳtVk|glc߻[wg*(p$o^?[uS cv&1,EN'1l}aOmKoOS/7EvF vT]q3h|M=+:勲N%:/1}d4Ö} XXZLFx$I%Ii \XD7<z] h]lڴl'qZf{vQ=J/z7)mW-qrjnл[H=Hm-^DDǡ [cwOoxܮꅥÌC7ۇBpڋ%y|~9~+e=w{)Dꍍp%]#T'u'#^IcǿCK>b#|y r$zFr.,fɐKm|/p{llIg]߈:@>LǀT|;=z=~WC$r%ޕ+Nb|9O)*o*riz՚:v !%X7|-v0x*U%~0Dqnȫkx gͧfby?w(15ğ䠰#jf!kȇRʍ8/pZc݇Ԁa~}=yP3(eP8 "9Qy&4le>Yےg}  hņ[c*e nC5bb wf-[Me;P"cO͎O;:lkPˊ(R-vnWhtbiZ$HR\3< )}`yǨ{K^)L: )r&~L$m[(OTGI9,},J'Th'/H5V=?7[4zG2\uk3*ZntzV%cf=8OxK1Q l(-uͤ>ON?~`嬭F?{t[Sh\s̏l½;hC֗ոJ; 3cw>uEb|3EJgD,WxgQ\u_'pPl_5[[mw:܅޾Pٱ)JjD%$Icv|#3nRAV9\K\jik;%[2wb%K9րsm i 2Oƚg%n Vu GIůN0sf g2θi54QLF>VO˸¢-XxÅ)蛅wcT5[@i=S`STd31[Bb`ҲFzWp ߰=:j L+efj<;3r$㵫wrr+5ږy)ë?=E6=!Mpo0g+XƎȖI8Ke^Bmǧ- ף݁ Knk@OQ&A jCZEs~ T:K$pɞdkA+Sz[8:,×tZɅ]eS0B;< kbC, Q;w8ϻ% aU},QU"]}0s[s܆vB*' 3#3tZ7:OѫNd vMHG+ATGܯ7| f(1> yMAMAoA4^ȉ7rp?BGup9}nӌv1 +(W@l,{(Zҷ"c_pdx@'Vauq@ |[34Iu%oBC2|u ^)4-1 SתYz4De.x/e)y5>U" Hs`\?wm()C w4.U~zل<%V≻a 1AŊwMbGOFm; _|x%zgmTgᳱ,ӘԂP4ˆʫqqs&\`nՆ. zM<-%b?zaik~/ɸcZpT#4&89͖gY*u&>S&WkVZWc1%n5M0baQDa(ng7DGoGH p0dAvh sti 'ڎeC7EqX>ia'Tiε%!a.܆E訄G퓝!gyX=kDVy^u}.-=~0\,4| Qa_[aONtb~fɥ~߃5zxÒ{q8l E+#{wu} +N{IPϫS@rU; uhwZ!ULMyyi OoNOrzTo:;A kg*D&&މ~l}/jSWTկ8W:,* 3+?wcHR6a_ /6?߈>Y[Pi)Cr(n;XU[wfoGGq]oC,{pK7P;<{ZҔkBz\0W}`2r}Nє6ebbo` #lgy>4D JXJ+=NCr (&x3u}6"XX$7Ӻ=>OH9itbiWD\s{ /B|x1>0<(ǹxG5^lM_ 61'mjxmx/.V٠mf|SLY[-TZE١! ٣|TB2~\OuԟGH;-L0(uW6";;,*X/ ;;<8b `P$ #3*HT/#?2,ƺ|<0F7Ӑ# Ԇv)ژ!b pq6~G^9 8״F>CʍSuxE.݊0ZCU4 2ϞNX>EwV^' %Jw/+}k.!{Y\ôKj)9GLᫎrj=ŢCnedyU,Xk6C+7,5,X^ܫ]ލ8灈0J365Dv![*E:4Nx.?KN^m4uiEj2hR\q:UhgFƗ]SxOdT6}jU"^_z1]U=H:<*ע!)hAwsK gDT6[mJ/ ,(_^C5;Heif*q|5p:DP6`R\n3 *RUxt4v2bnæ* NѱB$mb>8V(B5`[7g1YI']6[@Yr+V@e_K BT#,$]~qK!ҭbGecQԃ2:8޼7N%Dܳ&tvsґڮ&2DvIXSA,c8` 6y& Dru*l1blɣR@ \!g|u桀 $'xhyA՝]Mc`zR 0ͫdwE+o׉|Oi?SӲ?W;ov=aos:-hg)pK@7i{#xb&V|ֈ'Q8ܼDl蒈Lg/_8frSkA,{Ic[O4 +y(^_[>aBuDƴSYVj+ MS? VN,Dq;͞ӹ\a2RV*q5\ٴq0!o㠇IܫG-8ͷF0O%uYޤ61W wo0/ G*U' ;Y.Sص7M꯴w4k–퍈s=:!n~3t6ۀ[Lkc@MdyҺ)Or-I5/p:kj7㦤ڞ*jٗXJ 3)cGJ ZH(/.d{ 9~fW-?hY9[b[ɅwX,xn5U$O{sʮ9<9<0 O?=0ճb\Ϩu}#Zu@SSRRSqo T,6 nJy8Lڐ|&l@Q<2(z~lVc eKY{u_Je5sVG sUqR{ +~4 , 'dy)$)(&X2UIVE+XѠ]M  -궣## oڵA9q 5bGȔ6/ GXt/y},`yF%g6PvnEiCPߦ!l2tnR̺H1y5EE O;cd7ZIӕza=Jb jHТ`(-Q3Ui仓}` cc2?a_%)x`e0-Ck=Se-hqXဦ#WKgMnF 8 "16<\9M}g2o`yû.r_ՈmYNr-ÆFtGϓ JOfJߥ=pbrH5:Q-AL|O5~#0,b >!KPiv/o#e^ā?}FŤ $+|JzVWKRDV(eg&',g2Y u:Wgo\|hR+ϢCU".w\oёI)I&L;B\axj*~ =Ɏ_fH,:)!j)|ͣ"aR\T)~* 8&sy^bEU[Ѝٌ ڸD&Hq(QJC*rL=4bt3`#!_:U`$hBI*y%dO#¯΅ͮc4p|΁O! y=0=GwH/{x $z=\Shٿh[; $ ?}}wOD[I~iLQ$IseGZ:p7,0J- LC*6 ,r C]f-tg!Tf @ՄK`wdXR}9r$5#b Ϝ ~$2`zus3\,j8Kjx>QiBhuIpNl۳,(,˝Bqbx:#Y6m`C0!ƽ[y4늈e,nxq4OEglXX0%, h BΡ&sr!$u /ch8ʵIC RU#`A,%xW`hI9܋<K4/6"{`6C7hyy#ڿ,n'UIv @⻱ ]٧kECUմYb :{ S,5d&b]՚_{Yp';l)ezWn+FK),#L&.[J};dx ` ΩyhCfYz׃}L@ !$‚XʴF n-k͌X 7`%Oh٠y<6c| p&Nbg͵4GG*A/lpH xiDm邎߉ X6)Bpr3mƳx/ʬ!Y5.jk6V{!VS,Z<;(KֲYƟrN: ˔K|`N)&0囀>Euy5`Y=4˙Ԗ|QȂR=H;g ѯg6!!rQpDRDOOm0)}Xf^6->w?2`M `$Yk{\p>{6Gra6e6ۧ.(,-:XS&ZB- ]OFQAYٮJgĕkH%,ꉶ{SEJ4難X ;8G ^o6RF!Fby?T β=:s0ô6tGtZ&je:%sanDOڇ$ˡufz>gE:UQfW+ ;38XW$*9 eQ#{H66gӝzkfHZ>3)|?]V]]ʠײ-U@z˾uZ`e!oڇJjƬ̊M=G t[MY"Ҫ90[+Ȇ3`fBO{ُbD;67dOIجJU^J$9ݿ{Zs^Ssm3 ݬs5'a\;2,IòT;TR9~(AY]ݼ~3阩w9H0tr*%_ZG/s&2S7`@lD ºntb%ܡ"&*a<0 7=.HK3*oJ=0IGݔwft@EBl?y0HHOʅUOޠu%YDx|lzg^Lj Ć+J/hI8 kko:twTקme`Đx~|"thelj7RvWtwf-#eÈ5Zu;3?"j%G!0R~W[D CH- 塚\3K~©7~]\my/J !"Lȝ K{f~4 u/r]%KbG}9h$s؄KFB8FNȞB޴$K;Ҝ!/KI,,6'4]M!K!axpU^x ,DɨAwD, 6 rt1L#ҢwQqZL9TeV`Nݰx4? 2Pe$CEoQLt}cQDŽ~w6 PӴ&K|R XWWӳQw=uy; u5Ӟ"Js勀bG:\&a\; ںUb׻qE\mHW殴Z} J{.GZA#0EH}'΃b\HK ?aܛO9TeߐƃBɌ/"n|*3Yfe\b|B8p&tŞzimgiK ҇4BDV$R!xV,(R7Lr%N$ɼY뎂56w1J]j>$/W8)D9 =ܱ4[tS!aU0)&0O%= 8:@gdcVOv2--9Cp|k'CtC2jؑ\r;½H.H[JGrf[Ʌklk!_B3qh)0gwGnE4L$}odo+wmc'UY{׺R-x8/9`IEA m\vrK'3D ?ZDOz|CnMbmJ#b[Yx$h2N}z(<# U"Aqx}' 6!7)v '#m5R|zḾr諳[<zퟖ7P.&-_% {*z}|2$-JXLϳfV >)ᗉQ};X<d1tlR~DiOn%LJC.I]4P o : 3?(zHQ:o0EdH9Ffs^ | 5)0٤b?#q !S$^QZ%#OC.)|T8s9ڹ@?XHLgZ]vBSd@r㮔L/Y0fv1̤1OjZ^X 8dk\nVg`& |B#Mqr: g7A\[lH.uS))殚n#ozU{08lGV$ x}]kOj+ ԌO&s#S1bh`{khϔu^ ;t5H vfTh,_lhvFKgE;[DP/GyWx>#i DOǏpH#h#c[v6QJj~ۼC&|O:sS [.ẻZlm0ުeEP͢y9@8{#ELU7E\/ZW]:zѤ=W+.C;(i7v̛RZawnYYRy9%.^,/3H@:uǗfXV|FmjMa70̖@ Ϸ5?{Ч8kuEweV}~u 0C~0!3cbci1I)BltT*S6ol*><=|OНf]CC=bKBhO{'PuJBg+-B>s$7X.-T~uYkQWtgw+rU,1ٶw@}n߅mʲN?:*KS=YrwU!JL,L|CXGK J[ClmˬLXT)>V]v9Pel"$o04@ZHGqogw{C9.R8uB ,Ԕٟ֧X*]K!C- ڠmb=&6$IK_*^lE&> C]0:Ȕ` SP qu..!BjŽs*IFУ)6n\OZTbHEBi,L/"Ϯ?ETH<1C}B$Uނ .RW2UaRS f}݌[4>O_<$yшr"R&@Zm?K=+}{W_DAQcBc$y@8^])yhBczWj~j"TWv:)0>;B潤HQtU,ֽV9խu`2STyHC&]B9ibl,A>%Lw\$ idS]mN,gvZX~{v?I: 1o)5FNU9(,!^]` fVt6tR}׹2- 诸@k!kJ5 #'=kP\zc ,QTJeu~Ty- cAvϠ-EA԰ %A?(Ec\$P%^S0ܱ?}ɱZW7Ybg׀0z&\9(s$1F,ЋƝЂ뒾z[bE_^jo/4BUxi^J哰oܥb%-œ:kb B\52ж0Epu͉/k;C-!s۞($qJMlb"B-pޓ낍Sɔ%F]sbBk:-j5Q#|rnKSh ʧt|&I$7"6]1|>2g6NCUrBhd!*[Έhu&lz}[A^8$R#IQ\7Pxdx|C혖z#8ϲ 9; l|`7KDX6, lSP$?8`aG$ĵ)N=I=2 b֪PHϛlȳ4r`gz:+h8I'a5 w/> nzzm^ʩF̕jT| I/ 䝛 O!xpӽ(0GE(d' V)qwנ͊IIl!R^D;B2)<"$1:jX,tQQM}^Kթ7܊ry.J>\93$QTRf$.nƫRPcavhv%,s}̏ [S\S6~i͒i!W?Iou.nv;EF 8KyJTabʲ-}~vK @؄ߴ'XFO )kw ].]o4sy_}iEr ]Mgu~{ѸW29v;?"wy Vʼn„e 3cr8Js=nо6k7 j0Cf9_0V.L`il(alX L7됌:L#kNja\ cԣ2>`d\wCKh7qEGC[";6hpأdRkAwn䉜0!̖vg84n||V)#!W#&3_,e5#^`<@a#PE$a_\5)ghj@Eg\L|CmZ_"w4nz%׌aR+q653r~Mpk-5YXbvLܔX5ptݯHPzp )B޾SDW;k"ǥ Ihz( #[)Z9f^_x Q%ZZ"```(w5U7vjO= I#fhzV;yu^`fL 1#i'TQ7n8zZ~˼()8Ֆm Xzh0r)q>\EW{fU @ d0=Ҷ*,4pQ5\,bW :hDKY]2DS j"jNH$|͞9C-[B4.%<)5ۻ'Rx|csiÖu󚓅7_!;z$ֱTLlmE |]k] =LQV>/ϱ2XlpE6rku%vp3*~̺sVv2&d<2Ee0d7^;8|$x榵aDyz礖$Miu$IѦ(YyarWӡ44eZ*HXnZOUZ-gfJvY]Vΐ_z 鋠jx`=nIdrxC*9I@r>MOҠe7F=hK1L6=~d~Go(Ģm;Ҙ߼Kf؀EYj;CX}گXm~0<;H~"RK Z!&J-$}>K iMSqHEGIm0^ycFCEp3~( ʉgQCM 4Z`7Ǝ܁s8Jߊֶ?JUyOV73䝉L'V(VvG&XL ͉!TΣgzb)RE~$MnENM 0E(Gbݕ7נ_z񔑴m/9#b'z@+g9OMz+GHBI!ޟq[ o_BXXˈ >Ѩ-ôQm,ol8[7ms'c/߻r8 SmĭqG GUS9hO>i\)XEcL fhr];-[8mU(3ȒUSFۦ0:|Cvw~ñ(%(t v!]Z] Tj eHg U N7hۀsiX3o+X"^C//zTd+S ;(Q` ڪq>YwIF7L$Rt8X 9Lw(6/Q!xv&NǯmȠw eoM5bB;Rh_07Vokd|zS%(W(GK3U3|ЯO!!.C?I'6'B{\TP#%% m]<{tEu¤#c!ASDScZ_ 6)tIrхyHI2aq$Gqzsqfq Ƶh'v^OAPáZ SГA[T@|;>Pl9wgF֪po_<_,/!\}"7ܒxjqIw N/P!t1d`2"&8?bt/u+0󹱮(-3} (K'ldڇ뇦J66TɋK ȓ`\6D*0HKms FQ>Hjs?^(CrAu[oy.|.)`3FUZx5_Ď?BLA8g)=/mNdc%tZM )]`xZ5:NMyJh"G-M!k7-=,_cmQ?t69y^Z욎c@Yy،"^hs$re>x5S2-w[@]_v5kh fF0m 6@<[kY2W%/gGpiHO:P5.|n]y7ihw<%!4^>)} MI@YlVerz?PvJerjhXE-ݿ?/BNJ S!d88Fo%;ڝ>Md9Z-ŘLGz΂o1_\> Yͥ ]*V@x|Z/@NN)ɿKsޡZV?O;ObrvV>!@%xDLOzch;u{e}L^H0! e<מ+Ņ+/rj:P~;>[GMc\ք)(hb (z/ͻJˎ0} D8;ϒ>x[BTJAD1iֻՊ= ևΕVt!ƳI_z{# MagN' 3C`2@&v9c|n Tv]K|]\'&J$úHp)tHXK5N'opG!pң/sXFej~j雌'*vMJqtre]ro ^}#awg;D=479 S6?9&!6Z"9T`KeLy#vodžFAWwzсNWPR9%=Z ^k|Y~#4$֠O~ $@iT<X"a EȺOʾSDF(:W[~E$'[W!Voua4xaCJ2ݘdy7ָ0  $vXǖ AMfik9G!dم2Ҕ ɖ$u uṷHPhF>mec>&>u`Ni5T: YaD_'iA0 ?>0v,q};"#Z|9;5G39eo<8&XTlp翃?3fM3͸>)gT *N4*~ġu{T:nlFuSa!8p'wgP"شo,X?R 8CS:iIy~\ -SXD +gi|!>[;ieu.V'G3I2 =I]IOI% nfՋI$PguͶdٚ}Oaʋ\uu 1w,X}MzzߎsFs\_kopU!▊׈)=b04oY4Ji=hogeLnC af;YFK)7 oEZ*ߕ.d(՟$ߔ'U(b+ՒȈt@Z؈.G?{:&la3{lt=8pxrxPe}cWp$=S'C{x 7AqԆI.o@HY g] yTpĿ΁y_e`ŒQ/ϗc5w*'۵1)qSܻa닯[Cj1к~;Ow2tb`3d7KJf>qd4lUWY.vok"QM:m̬lԸ^D pjoʹ#y/PI"Lw$B?sFy7 =CV7y1RN%FHuj'@mu.].4אT!|W~r`q^hS\+`k{V4{}RW $qn6w8zsfg_ͨem5x=c)/tDn]sW*MEsː_ܥ=`*{f&G[sVlߍxթ5k Q#<քo[Nmsl/FP.g=lj01csHŌ.2IkJ,gu9z|w! ]n:n  " 8;Q$#xpE1<чY)fUQ 8ߪ؏ptD~}m}^NriGp\HS~VrH}ٻgbk-"x>=kl}n!wJnʪ>oW)T+iͯt~p)qU8i8֓hȗ~jk?"s2&eC,iOieY757eRY (Z?h%WPԮz/͜hԦ=آT $7J:MvSNtr~4"Z/gR>OsW刦n7ϜAI$R]8́xH֑P2S`oPDa&~+lB֝oɯp)i0{ސ=~S~DAeJҕ"G0Nf}c+u: h? B ሖ)%d8s󭪾lK3P;4cre̛M`h_I}m~8E$K:Xl`}'I{p1jBNID%,%C wR貹U]XJmRigy{@Y4P\6s Ynὧ3XinHqzuk$cƲùfX1I@W)>.Vo }k<'IM\iNDN63,G7.ǿv8=*K|vC/G-?PR;U) ψ86fE|zbݥ+hHzmc)$w),vsMA35 %j\ow&M@% w$`i(W]'͵=e2gv_Fͫ&5_%v"o$ޭ2C;\xYD0Yb7@I%s}`Nmw j7=g{e)K b>`X8ڎ(z,@?.P 3e iM{jJ-,F3O1-aREfftiv`OB))3 ^dJ/3i+gF_7>(>Q"r7[ÅEAC).ev̕<̮X:N$ꝫ[\;ᆰ0 a|8QbH։ `I 落&A[Jbicce[&9?cTO izyW*[9- aUg:d-0i9髅[^A:/y Sw}$5;rz`ĒA_}Љ6wI]r~Y/`JY[ߗ[F6i5G_A (%QG5,5ȟ#pt^`Mtr /`mksqe]$M?J2e6􄲢 fLwI[EPb0i@è9a]ؙY>g.'hrY$&wS߳Wkz*'=(v Ɲ!'#թA=XdXY;QMᧃ7J|օRXuE[ZlΠrR|uPt*BJJ Z*wU_ 7胏.I'k&w64`b)8ؓfEvW>pE} AldJy=+eOO%ǾxD$E%͜lnzʢꫝE.po53?~ leS|؛U9ٷȯ" l3GvR[v,"oE`NOu"朾;+("w~=g{v>|`e ]X46%̂6uwMaBap"F!I1