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 plt ]S]Slicing:threads=2elapsed=579.454cpu=1003.580gc=17.232factor=1.737zXZִF! eo]ŗXf1-/6vR[]\|⾑Th_&SXu A(ŖAlbI򂳩QHzl3U?dQ+#J)l+DĜTXn$M̳HT^2GO_`BIgpDG@IZf /iՙ-5nX^|[Dp༾F.Q77|%Y0$]I.=3SoX#;gKԼ[hI-.gAY 8Z=j,NQ >U4m}b*8H*w[A kѢiYʣ_tk4p [;}s^ɵsh=p   Slicing  L`"~R}TnB# "R[|x\ ܘC/cJ@o~OY)|EI~AFhf댫gI{BkW^u?J~TPW2R 7=Vd $[օǑgE)d.6K-{/%#_cg#7"vE,SıOYZ}}ϕnSm<=pY6ْڿs5V]I JhTy!ךJJq$%ϕ> ?rrSZ=h皳~P4֤JTM+mOIDՔ [z]FÞ2ngt+j/f-gk8s$G36HF k,t,~&g av!5 i^llKx~V v&VRkϚ ɔ),wAKIɾ^+[S%E{!8%\J^)8vH;Io_?߯W|W:BNy@_矓1ޘHyM/W @iܟMhЭ}XEo} Fx,\JԎY'j4 GZGsƴxmpOZXgϰ(za&XT_3rJEVˍcTWN@$ 9T)SԊ,5J$ ):sjW͐>HW/e'$qj Jf؉_{4- س|N.ʬpJ,tۘ»x*0Ƅ= =GƐXZ[xKf58HȩLQKvL6rI~Oo]1d\9|9kVm@sAlѾ2끋UTgzi\zeXe ",~ e<=Y:zC@(ęS@PBxqogI:97uX,3QT,{9dI Нsʳ4'J48ٽ OC8:yX^Ff5O+k J#o㱕o2@F<./tK}e67WQ֣r,e#017zWW]}B?R-v8g<2*OgFبaǨ?^G7 \Luݮ(SICS|liK3?ɓ9>}O̊eN#b d8"뽇#J>ސ;A7?;cJ;Y HVL &x܂@_.6΀7Db+p_Dc~OJpIѿO-IVաJN|$ã-D&6Jym4ML`1i9,^8;uJbBrЯ 0훉5+^]62+E>;j~iͿJX;3&maDrrD0k4נ境Z/${Ynavڏ]dAǏ(*}*#l N)A YTQXh|>H7'RR%ɑ]y:Tf>#U;ø5+$:S"#n8&ڨ V ͫK]5R"_+!.|p!\1)RS ^SNfZ %<{w~3go-H._tc/J4 .*rgЀ/<5JQ-#{ 6Bɸg4Mcltʨ4n\2>|wjʙ <@Fdepsg17ܧhoNC|16]#hDb]7AbIL&pJz0i!Cl.tW(Mu50T3o1BnL1h#nDMV$hty |_~ l:OGWZ+3%H'ZeWY@AmB.į%í'S B =:4uE3KYb9ZHud D H+؞c)coVGC7!7чڍd}Kǧ,Rp9HkQ q#`:2{}XߓS%IwyZo:Si!xhW;sNl4{DpY $3f3ʈJF36!xeLW';h{@_Ef ƩlH@*Nt4뱂9oc430Bu+)z&@kbv|$W>S?yvWl̄iOLr8  k I.(.kx@ dߎ*kztIFCq͛w`.8fLmh>˼B1QA(Zd8dӫ@ jӀ0T݊PzOGFOXL2p-altxܼx8VȩOID$.ʣ01Xb. Ɣ/:MMa1{5]U-|A?kxvDA'"@= Xt e(U3 h| *Ű-$% JgϞ<{@5T%*3K&^b\SQ9&gϪi !*"u2zeFuJ7b'ȑ,|i{r Y: u㧪^n١Ǖ6?dk67 k?Hh/]ǃnli uJ|!AіԹ\1Ц`S.prVn$?V2^YW|{/1_ <8u-HE0Cش" )`h.d?i)BmɉCj"tVɸ?W q*] @ kUcắ,s(~3m6PUxaK ~G8KR<C Uz׼ D%MzFd&Rϙ/[ zs.OB#؅RIt^ED{Fzi6:7ׯ\,Wύ&]c/F "b7d4d亂9cmqn2fH.Jڟ y{A瘝4642NFvNw e䚼3@W<55α™񹀏o痞+5"`t޲nnpFrpm qk:@gyb. @#*R\9[CH@.%eH8|lTJYL` 7D;»UI=/u,.> K7$90ΑČv+LNJVWF97>%b գYLRjFSPkٚy6Z<$cǪoZ bJIS#rIvq G}!m[`Z65<\)o['΄zHoV;">= lpo_i("īdP Z%XGO7lzӬЁu 秇zdn/S]4?%./ LsL.drNYcN)a_) a&n2N lp?PU6 +a81Nݫ8:]M5ka:+F'g/0 Q4GPM84>1C@,:K 8MTr5 qX㺹Xd)xM)a3 gYZ7zXZִF! s]ŗXiɟ쀸6馀YTg<q*1AbF.wdhe׉,d`NlDMqwQOdM:Yl_p\.T{^Ov?yCs9Rʉ-}cA7H+x^}|Mr=EC]4]\VT9M4qO߼:TF>!k{^ ٚUrY;Xdl^*,όa9qd]=ToU|c)bv⹺.*Nx /1>9$R7d3AO+.DWW>5a$S(K9TnD0Fn$uw1c#hwbR9@'_Em&;| 2ZQ%tlT}WTro+;,߲|<MĒP f8 DN+4\hG֯GIGPw.d5,v4{L<ˮḚV~X} TY(\цI!C@kWǶ!$!2PdK-o6Hj[g@'ڎx^al M޲ Qyu@x|u|Y\@12g̪;Q$aVJ ] QWf;gYZ7zXZִF! '9f]ŗXi%;3Ooe1S=^:e;% ԇho8S/kM5O)eV N-o6`v7 lQJ뻝]>ÒD`(,#v8hx7b H铰,W_7Ɓ;dj~#9b* ۲l[bCgӖbdfαvˡ2XW[6#XOP[\1bN1}zkuW=F.apfI5IL.N P/UQ]4ܽZC;J"ɳ|o98φT[9j YB32i(9#nj1f_v 4z+i7Yd j שP!9Ր-lWM p?K4X2VvlƎGu=L4K^s'C'w.6^ iBZv-E1:.sD0c0s=YBe\!ꟶ!6PaV=vx'.9֒$ |)O ?w~ nH06J}g~T1B:JsmԦ}*m߽pFwm_?/8l1,83nх-`(mc+g1@r6Vx)4q) 0ZǜpbS O(徹PO|۝}U~Zi( Yx 1c?ֱ|*cם|m6:XH`]1!Q*ɧH o>E"Q{֖kӧQ<-H)M@0yosWQ*4Zi[B7]iĎ{Ⱦ.vo} ņ稍L4D5feW{/dO-†9qJA5aХO,w tEa_!F|.8;Nm $Z={15qn`Gx^gyH|Q OL͇2&)<_E U(N_-");?ЩKiWuZy jJT)0s;#0A5zԊ-cp!ʊt!I;+Ch'"&W..yӡs^ ͥ/ XOc^TU4[ѩ1}l ڧ)TEƯU$hR֑'w$Cwp@)žb0S@DxڣRD%QDVC9"S 5)62#W5:Eq=|UiD[+cٔP3ɨu۫x g$)6ot?U: g;g\l /M;OZd Q^ OM#'vBv1(ɞ,tluoOTxVze,c:SO!erNvZ|Hh >)ncL0DFiГ|`&8ɒ '{ )7\v MCc#'ƶbSlVe,x"s*Nk|M4Rko vxYk~Q4afKI&wP2v,(F̏0w^s*"gCl[+OD' yj y(y!BG7N#L[aIiHZPK_Ύ,8˜$+P?VH{xEzo4 %! .-w{um;qwIJ9޾!]R"< p|u㎿Q^}\ߙZmδÑ'od7:h.VwZK AU琸:WV @ o')J ?~r>?&¹z'nE3cH_JЕ#%/#Lz4z)tM!IjGw5#r? * T u7=h~ nA C}7!{ LKldTDnjɝא #{sƾci5<>F߷V]*4yetLL u$F1&6iBRW[ib-@dDWi!edy;Y8gܞIĿW09 (uBpoiIf>Լ l?EIet@ <$X!l*9"TYi9m-4nma&hM!ox5MgFm/:=~E;Zqͯ იqh?W[L/IДg.|}v"6-sis:r͟VJ7s&p+@, SU~R[ZBtLw s(r3eQ߼[ꏦ~)7qlt)D|H|=Iw*ʏV@wx,w  =ekpKD&'/@3~AoVDq;n 잾mjy _?aKwl7 F| 4ҷf|{`оL(iXHDvА΅-i?7\Yzm&qbL( M㩟IЄIQ*!(d{}84`Њ{$T@rJ٤{S!;EKV:Kq-Q of`Gp@:>oN ~| {!tS(m& }c^qٔcրH>I=:E-mfERG$T.)^"OU/}X*K-ջ%:dϝPPd.;?P*JT{ ii1xUa~d+HRe,9 [ۚvkǠx nb~dxI\C6X ѥoW{]V0? vos+o LF SMi6+#t=`THzbSl5e-YBP"2|v@*A3o-KTB~hИG$͸jh(Ĭzdت&k@fm]~k\' +MAci1+|lb]H4ǑOrژAѦOd,|]!u[rتSa"p,YPbOrQ]e[:2s dTS 9˛* aXtT'$+9`[U%":lc{Q*馐 }( n0+6 t>Q`Z.rx RQB3&yv?`j}\/͜2?SZg$8Av3-E+]؝\굻Ի_E`Biݹ> j( Uݩ`V_8}WȻzl$yuŜ*t+4^y~F#S׹'@ Ȁ[+"qX|3#4hĬG|FFsJ:`tQ_qTtfSs=b=l`T%Y bZ[fUFo30]F"u;ݔ/u9opk!lb(C2go02ͲdԋS}E:21~'W{ ZG577e%q$^_H]siLL<*[$!M7aR;I~ > P3u+ EuH@OHV!2-at\}tpdܻw!VOܶ]uKU;aSbpB,>90R m$T/tf|uA}g ὞9M8l3mZ:MDUI{qc f,;\ il1HНǙ@*":9z!@E —tAâ*lXdH H4SUB@qt {0t]KB3mk9ۮ$+C)9]}008R'!V^Qw[].P^CCuViY{)϶0L/}i>>jjM1fa!;%Rh9ɘyAo''2G-(w.ўH%'#'éh9"kOjT4x\$9 ~Dζ bO s6xwW|7%9e5s9xepz*,ȑuΡ8 ɝ*),q?BtT1k=NE;;y!;gg0@dWa7Qm@E~ JK( rȳ//_Yvo{zVG[69m_f H}y;'p2 ƉF<[Bn)K#?* x]j86&&q|qA@x1Zm'zx/nc|Ikr(nB0q x7ߚ7|#9;)NE#Ƙ`O87 tV9Un6MtK\{p$ n.G;v?Gq%.n1u:eH|nr;U{q5*.A.ykS4$S69%LzT %Z Pl"x0|5Cߥ]@>MsȮH{jMRoF fWM g~ʓ闑j&+v}#vƈ$CW U^Y||ܚǬQhxl#kx|}|B(ۙ!EUKx=zܶWYW;9Q' $5Dke7.\''MJGW%1rt0fWtrL;gv+Z60%\*x>֚bQ Nʃ.TVN!>i28Ftz9=t5\d֤<~6ơآ&h?ٝe ItBD^\& $QJ3@dF@|Ӟ2̳}M( PHmPĵ ƊyBϫw9 bz @XbMvSE'뒰P wV"jg''wOgh͔d|V|ƿ@hFHh$u.]F9w@'}X6^ `.PΝ9m $Zے(gLdnQ( [$iU*EZohJx},CtzafUۻl L0^B6d/^{0KTS^4 D*PGxGy#k%eVkX:CMqRQG}uS.| "0毣j~G1h^-wf 7D v,sP>ƄOǷ97V?]Ty~2tZN60do;g1GOO%{G֢blm;uP!#. bvbhIl ܾ2i^A{}oʨOb "@.s:C\35cv3G 5jhKmzpJS3k 40F񉌫y"md:Uyh2nFy^\{Ή W:wl#yhul8ȣVvŧ|6>-AN вw%1A/0cN dQfYI5s,#o0jA=< :%6 V]->5AO9t1K'CT@JZJx>\jg,pyc-:8>m|L5 3#7F cDenik*FBE"婢a\"b{Lq|pCM;%j1u)%Y;R@w?2YJ6Fy*1ll"G]+.hXH?POOnOuļ /njU^&-G1i: WmO"^bP +t1%[<ߊoJvza!bw^KzCb`ͣLSo; hxH72d7߅!OBoDMQwQsLt@h 4{)={s%ʹk==gȢ '|]zXUy>k6 G}AP_Յhh,:G{?Dz7oŅ =diXrɻDG}#j,N]hMvh|f,Jg`ywzi 4ݥOf ,r)/l$=ywtCfצ8+쿤4 Z:vܮ$m /b }S39!/6z{ ZyO"!vٻr,$ <\/ %O6ɼa){)`摽{Ǥ:yP`TY[ms$V_P%>ŧ6zO!&A(%+˜QǪ}2RMh̾˲V l\,CS4M$iUsҲ܍ˍ\VNI]$n=I1H8iȔLif .Yhj |;'6f)/О3o)}VZ@ Re VKHqmЫbIfاSr<+I!5Q8œ 8Ƽ\V}(- 6([Ӻa![-VJ,*!XBU2#`5CGz.$82Wh!w$Ub搬u?Bj}.D83&QZL[l~i;8J*͐:rmLA2RQ|D/% H3}Kˌ+Dğ|ܗ$Z`O_?UN\1JIUZ;8z@ho $F̣/_F[Ƭቬhe갤"w< P`@R u*2DyڸkOGꇍ%ƻϻHBl'fk],/.\>G@b}ʑ= G`g7Y_`%#iV+z6 `krցoMQA7^GWmҖ^L-ߺlW2|S,#N_CHx>t?.P~\`\s w߆ 9$cǽȝd#[dGin} ˨v>.J=M39 p gn\P|_xfI:tLZ°~ŌUվn /k]U[B,aJ.2>Ɲ yDͲ-A53%ryn.\Ą@,$})-brjJK!'ʃ֗>УW|zYPobGWd1֋w6Pj ¥g{aMiȜQ:MCqcA.G{Ҁ@ "!YJJm+4VvHu12JMs[A2<3o8<$?g3g1whai^ .5/f|\b:ϥ`,h1fRn+[]7Y _$Z||u[PCmh;T?LhkJQvw]; (k38(3aVsɳ ~t_G/4e/-('HLp>̢(2CO,)(@?Kh=El( ^yȅ^]fqM31M/fVxy,v <Z_u5׊ ,'}xFT˄函t@$O t(h̓4VR0d.hkOF .r]v y6W6;=13E${!V ae< L Yd3zeu'nz>%$ٱY|;ʨ̸Y,ArhzD<?F& NZIK4K0pH3zQ;\yyV9FT!E7ʺ;.]-)}Hl"Sۡ.#3^u4PGI棥xj51h1a+$4X G !MO`yMjc 0hV8Rvvv" {XWu&ۓH ^x`rM?łCpzƁ$MKL 'z}b(^|}OLPtƝYbUXo%Т%|-`N:#zALK;xз a8E"( j *)Ds -kmgҩ?oB!b1I";i}^.EK (WD-VaEuD)K R=Z2G.=c xcR0lRԸ\hFJu }# a Wsv)G9r,zTwX0`9$N *Y/SB [6s,Z,Zr܁=%Vj0Om?p^F Œؾ6bDF*h]56#)DO2!eTEo}G[jVLUIm(jkQ65*IW@;=X0Q՘ >c03 v[s:U8K/{Mm@QY@͞銤;:Wx3fڶaImr,)Npv 6ew{&;ʴ9svO62 sXmŸqϽÃVvѵ4! Z?AUJ/SFFcRԫ1^XT8l.%JrVrN99I>WgY&p_1ٌslGEIffvÒNCQ.ʖ[we (݉(>3S@C⣂ETqsv%cpf5 HjJ[̦6Nu^{+~FUԬWﳪ_}z"cI?qau[)74#+E\S= a"F#;$3YPRW3S嘴O_ᔌqJ.JL Sƌz $;):`_=I#]%`5ٔY)VjǥmNVD:/y|`60r5_'|mmC:q!~_k]u~,Ӆ!@5MƘnapjEp@->ِ B]lM v*"mY >*6), lI~|ij?ҫ~_RNޛw͛՟UvS41K21%,JB~\#W.dt$a1\qW^XA46flܥ F=ga/dPvoAgKBORCnBC%[_s۳(B*y" 'WG(XEe`dOtӪ:SEU ,|Wo`*<($SNRt~C-eϯ'B"QX_, hx't~A=v'KN؆ ,6jn"; >n L 0r V miĮ'ޞ> ̘>t|d5U$PiԾ}o܌3@RaU$Ys'ŭHtk_KM ;<&*ffMEJƣH"9ZlG~uuG!@ k-<ɟm4?Š)~۷؇ hыƹΦy$ aY Hu=Zݶeg.[{=viVX\:" Ǵ&3:mDay29|ЃX>dpu&{<ǼfbϦy1J~ c<^xM h:`}.DPrWEWƞ#SYwP\('W5ؼHDm=(m{0q{YN_A-tĔ 'H_a^`2IJdjPZ%wX(?)4+]%oo3G8sϓ͟M.mnğ:qAT>~鑿cv7h|y}O-uea\Jqs/J7D1 &CHeE|X~5k6؄s@˫ɠIW*Bγ L)4͓MV۳̆#}l8m:X@Q%Αj'v@ϖ{ %`fd4PB2[j_~?P[06Q&J7 (= hi&3Aygz1`db}4 90^6X6Hj$25 .ƞY ?MJ;*)g;Xm!DFhԭvGgľ>H/I\ I]a:@g%YIzV@c"Eb_$ϳHk)f7fY/ѐQuR6!(=1陝(H_]ih+:5n@+i;@6Ye[yVsOo<قpdF2X< O_h^-f"{gw&ع_aWizw Lߏp כ@?*t_@B,uޚ%GX:%:ENIiNJ'K=Haozo:O42v?>CRU_Q`wPY)g ͢#ayVvI 2d"e\u(V9{wyPt4e#ft:قfVu+u& t'I/r^@24 D$]Rvp$*NqQV y_WesKW_=_,`"UKJ0c)"e %Voxel^mS[ϰ d M Y*6l |u]S>؍{]_z2E&yYa7>]/T+8t$YCǵAݜ\txZ":vv1$# ?^;teN $08e -Zڲ܋Ą7!Nfuϫ"W3џ*<|_37[ m f³+ڎ%Y-*b˷AS7`wtipɾ28= |z;RadҽNgPdiLLP&'+58&#X-{P+Tش s1A݆EXx[-(1ZgBVy8 MvlKov2fykDN/ԘlyfR^ XIKykh{즜9o>2kX6ߡob"^0mޝgbi:<>oq6?{dK5 -n"Éq>깽2@ ǝs];Rn0%^,0 T,8XR-' slYl]JCbvMV@HCϻep gDX: YJdcHvBήfe/hЉ%+De]ob|ֻqe&\ˬ&U$d)K2!cV_Xl3[V/f񵨎G@|WxR@{{.s4.MY7\)4/֑;FALj;D+ir1_\)Gx_%ž]_oPk@ꀑ!:))*I+/F mQ OFR|68c%v{nK}}"hJa}Hm-!'O%⣫ (PVIwbn\Z<^,Ef'@*NY_]BeKS r+O#-f=yL:+3]G<"5M{ `G U\G5G7ͫ%4Qh68_xQ%qˬsu}ƙ@J"c>u`3<F/x۸pӨ9"lmSo_IycFQԝ~6l,f  ޻۸_v$w<V 3Nj"([{1\j}p 7dGZ|8klI M>|T[#!ݴQ$;l?"g;l̽F=Y}L?Ulby{N.$5 a/`\viNrcWD^xe*1m.nKbրfaH.X2~Ln}6kgԟ&L(à|Žϰ"Nٵfşa'Cox!M"iD1S腹tK gclEd cw2 (ubarԲ}x]_.&zamRG!̋d!*F5\+H!J(vGjh?]Hx@ eQnJא%[x†S S8z1T^FZ}+X.2H8ueBd䌯0RWqݒP*n'&#?v8¿%,x㯍 {9%,+YQP0+&YaX,$ⓖ+d-3zMNDֈPBr5ĖN Ks`FO>$2'nSa m `'Pe_9"c.54Ѽ׉}w(v:O84dc0+ʪHp_s'OQ.iCT[[o c2Ìx蒝*ixo<0A䇸rk٬\ݍOUG^ qLSm,IB4;2ưgS0 1woSPM[lɵu(LYf꙲I"2fX8yB. UŸKpcL,z4Έf}ʋsfKA 3|ҕnwjR=WR &c<#7{bA OoWGpn< ;d Hg7YXN?ѫf FZ0^ő*]aṍ48 gUi^ȕnFr\J3-Spg^̄3J?s%2@^̈MC?r0:T{G{}g ~=("%d/1$ : "Yf$[=.nfKcS#%V/m\C.M9H'ՠ/uv#Y6;- zLͻc+戹TZmW˪zF)(OG$Q)^o[ cֆY 'zKi0܁9=M`9UIw[~>}^j+ohUu4G^.l40U]@BLQj3ٌ1O7XlXv6zI^)\@@|7crƺ83`M8V^V ZS"2qw! VnP ll&QZU{~O~O@ ,oQLD n%7 +YYs$@@6ی эځqT X[YgN.Os{4@/o%h__6{b(:R[R3~ޱ"1cC-`[NӳB&hoA}(19:T~\h΢Q #`6ez:;Hrҫa9\qTSEvڥֈ/qjIqY{b𝀗y?6./Kh-9<3 T[tur G|nv,_8 4ZtMh_E>/?Neu1w?QO_2h6LZKbw[[PNN3對1#\l^g[91)SeGwx1+´Si&^p }m#Z{ js4ֶu5Uۘ=ym"M+R`ǍO߀ ;ӪĜ\R+b9mr2t%&$eAKr5je ?`eCx#ǩՠ0B+^(UȔHБ+[;Va}x'5hGSߌ'tNi,Ym\T€Lݹ,+˝]ٺ9J3#R]?F-h_|uh6C "0Gڄ!)ihV\5!8T㱕h \#_nUp&Y Iٜ`(6m{L H rf  1օņ6loaU+t< Naa/{Q#8I9Qu:,X̛ ;^an:ԭCG]?& x4F&&;۟mp+>ap HQ[/X*wDrg]~鮄),h~RR,Q*͋JSO{F,^6,0yWTƧ܇b/֢t;p-Ү LS@FCߧ`%۫p pk19ԂW(FԶi᫮%G3ճ@L 9%<:J m3UkH4VO|5/ģWT> [9s]޹pMz<# t|nEIGFUJ-u G1(}Kq;АTЀip,K2ڶڲ[P٧ æN{ҳPnnڥt  0ˊh<*\a0d*r]jd/jֳ;QQZNeO>> BkQTjDB EpU8%yI BT #rX>DEt5L_1_h52LcJw)g%5/?{M '-jgJeS@Vb).S,*ͧ ۜ5V/zgt@qg GMot$V2S)׀꾲yVh!r"J JI% Ҥ Vt3~P=*+)K63ܞ'xEbR2CF4ţyH `ِgt_攷H5q勳ҚS.)*_y77x]d%!/&ko\L{ /iCo YQ]R>FZ PCou&s0q3nH%Āe\8ih{t$j<E 5F%Yٯi>V0}~M3esŧwꛚL,,U`$+I[Ly.^/ qgtE4N ^@5& m)Rx\"Z}9e7Uu$=&Ax#r E ,<@86"L+0V7d1tJÊ5O,VRǐ$+r75g YP= Z40A>"1tO8ړ -bh_e /wpեfş_@ߟRk-, tTϠrˏ{Q:T"u7]Wq`6iFyq\‘ Lzs᜵NcfȈiœ6lk:_0Hw*~g>*qsld|q0-O c"XFv. i޵n},GUI!?}T|o@y E6z s>:Eܮنmw\IzItF/8b>YW&W ,\"N ʸھ56ur^ NF樉|L k9KnyHjvFuS:`ٕH qƕv`cOՌzKa88֒*gWԥ{Vq:F7JѼKYrti^G`<JP@`ESR۹u.fs5v'=?%]mqRD#9Fit@3˂^taiq\Yž@˅:h.J#0K\/3}]^!g z 1<_]xZ];UIJ0&Y q榞x.|v=g/mcmMs-0W8| Ӎ!az0@+j;Sw8 |aS^2xgQX;!DhJkB,WT~ -_3RU{'62Ig޾esywlȕ8O )pW7̆ = \lޚ "L7qNdQ%R "8fuYTBI.<;>ZDgJۅ?. oz~*a[\#~-E/֭ ȱj2[MTbiNu r@}Gq"MADҺL f̈́[&6 C:K XYHNVu#A=wQri~[XD+ko +@Fe5\N<ގfI0Ň,Hg1mx}V@Z;+Fo9ӧN n[N}H )l0of/qbOQ~FKF^NH) ݦ4,gYZ32badf6f72d4db8b5e1b15321945dafaf9892e32665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 5d487fef72b8c2fc9c57e4ea3407e43d1c4038db6cab75d0b25a9db9dd8fbdcb2e94d0216cded731