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  T!t  ]]]HOL-Proofs:threads=6elapsed=541.623cpu=1318.664gc=125.720factor=2.437zXZִF! ѵ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbOO2=&uKK賈H/췁TA'ECB8Cp7vYFk)p%M[" tf뮊Ii*1R\TXĀҝC7蒏'x?CeL !s9)ȍ54ixb$]S)ˢ.6ݧ`rQ.xpb)$y@#p,5 BJv->߫!V5#`O{b7G2~ǯT`j+a<Ŵw" {#!(x%u_"E.7(YKx`C@tV(KWc=#{PK F'zb͒KCg5_{r%p&eKYV0gHDDu ɌU7]!N7GwVϾ:U_eU\#4 ^x!TBt7Ax9]Cl_.Ϭ1n0EB<\/h'G`11"eH^-P[4+ nb^ V yu0<;,T+Pw6v"ei{&K.L$"hާ_7KOJo *~=Eq|t @aVe`V 07Z|`E$ra`r T_j^BcP  ! HOL-Proofs  C ; Cu!-+ HOL-ProofsHOL.Code_NumeralProduct_Type.hs7zXZִF! 8]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.\[T0SE=BrFA@&C M[~Xb@_L#1a4ԛ~^L2kqi!+]]S8[Sܗ+] JC}]w˙):SYcie4>X}6T~nn-#^oo@璁SJV^ͼ7Ʋ} H&vC2=oFo٨`]367mP3kcO,3Gl#/ a%?ڍ gYZ /!-+HOL-ProofsHOL.Code_NumeralProduct_Type.hs'!- HOL-ProofsHOL.Code_NumeralArith.hs,YScY;q'fr3 f*`Cm62v/^xѢŽ*SiBpj$dًE 5E)G :C+EVx02`M'-Hz\}`n Ph^BHl $#7OUedغ[Tºk ˋ[n3#\R 5GbU^j(|LE *,̡HȢxf Pie';C!٦SND(%Ǻ}`ӑ#ȯYF-vآ"( HBf¾=ݏ<"jѝ=e?lʷ Q5CU6g}OpLU$X֐.{a|a:NTAN3V8GW&^I׾%`nD5"`%G`(Hx7 [3$(y*r߄ams3n;G"OWn |?&}3EWMSs}ZqmS+$Դx~Z|` #yLY1h@0Rᜅo߶dO6;KI" g@7Kmπ;gxĶJ^EsŤ$հMSvn|:WP(!<\!G`rmVRpb@YTu9KEνp|~"4l]ӝi$;Icl?Q0ԏ0`Nd/Mwe'l:??_myB_-,,؆$=U $Xt+^|^F YsEː:*$6MUl@R)첾Hl94Q[}H. /Oti)7GfM3锶Ƞx`,8 q"$:ϼ(/JׄƏQ=t1u;so(t6L1xfI (c/Ь7!R&+){AORr9MxA (QR '%8 \,TF. @;a4};ە49%O(A:OY/,BjO0jYb ȿ8㼤֖^ CXx4|zaLh}?# 8,q@֊^UP0 Q@^~oib&B's!L~*uJ7{Ճv4X4"YAdhN.Dp%&6:']A7} U[yn5ݩ Zo@x5+6JrT!.$R}hcv2!gbZ=glp6K+eɺVZ eUDKTE@oT@"Z*J0DR?b%ÜDJ֦ ~۹.4қ%*Bq1Em]Xs?źorזCw-'AUc6PVwob?|RC[x6D! 3g4 dĴGoRX? o~)ȡY+ZG%pk!W""^͏va$T@MkibIqQ[呚 H 9ك'PA}Ni^s|+wT7u鬧‡tMG $9}$Rb.ؒը@"OueHaDؾX% ŁLf\@bˉ1I\B!eGls34KktT%CiIh9ZtWt45}oSs qY f#/X+R;;e^e`S_v3yd AN'BlZ;DB% +,c)ljJcVSRLOR+Bݡ(0f 8T8&)|]C-=.~k7xPcuݦ2}Zii H*tPk$CcD)/[]5c1>O8:})3؅udj&޳K.O=؂ x럯?64Ldt`KXE:f0Gh leDp{iQ8:#;kY,l0ն?3jlsmU^ gAdaO/FP`OtII?LJ;`Y$A]w#~k7#Q7$j4 YPg#6NJpT6&ǛGiȟ&2䑺'ݥWm+ίQ7c#R,-pIm9 VvUotm+Tq!u uL,2r{ϐ;]˾94QT4)d.Aae/O6<.ڠ0+χa<@mƹDHt^p,;.`6-jdV|K 8\>$ 0B `lQ:0URo 5q^uJَ7^uX+j#Yg;]'wUr?8EQ2O l9ҪIZTt݃XIRΌu-3CI MXW CHZkнjc1_Q@,ZHPvY_v;A}:%zxu{K\)"W]zl&elb=LZ ja!]QMojߠt0"m]#cpKslJt0j64e *3ee蹔nX$f ɃdJ (:fQRFkBFp`S3UFKY9(55*8̪$ŋ7a[:}UmofGCZ½Bs_\ېO[U5Kߐy{nBL*::u%V8sSr+sW sey/ #isIS͉ۗ?kr@:}:O|tO/+Ɔ޶L{׋VP*eNyClz} 1ooZkGTAIp> 4f v_2ǜzJB#g!@G΋S|VE]|HNMB0MMF+c]mBA۬c~kHutLn AgɻP| _bwܦ~-p_T`vg4иESf\/} ָSQ M<;8uN qQ9 `l41G)BCF7NVmE EfȈco^Aފm\r *D<< ָkc|*{@)C]#ZisQMBH;']ʞSf$ +ϾSvS:3z$7<ۓpwr1Ha*>?=1xkX>Mu%a NsD U.-`trQ *.4\  ٝOau*l,~z{? ''=5u qF>&5̒5}mo ^wG9߆㉞IkJ 1YE؅h>BSƺ3"QH6ɺi-}CPA 7~IR3c8j6+xȿT,3Љ3T3uM ]3i;L%s]z@!j*az钒Ua^$59BCHS~"Ӑuyf4@9s{S 1DϧFU>gGN)[o3j V 2/']:'R(ܦ`‡ u][9g=◜EN%k-l?RDK")e&H?|rFxk8niO'1xo'Da/)1N齆1᥷@E5?>(2F3qJ 7[,莝QDʟS=8(9b@}9唈4Rr,,>F:bT7o=IީAseޑ?#M.Ym!wc!^at0fmbϸ q(|06N? 6o4!ȏmubx,O[ Y_r|;=<$9,x\~)99nj?5r\)%je+i< `\πj#P."s\niXY#$ħ+ -t~|9ԢD꾾 Qg[_yaF>w/ ֿgu6o&&,0G 6k__u*; :WoIL/, . BHgYZ7zXZִF! _]ŗXiɟ29aoʼz[%U>EM!!*XKAvF `yn0LvHAvd2 f}G=%h\o#6Zz2pJ E1mg#Y{35u*&#Ɇ3t,S! XAR;8ZAnx4bL J9e'd8h'bơXCreSXJQY+w%,#G5iSe}m:&1u}s%o^OPldeh}n|)Q(yFcqWE$\VQ>z[h\"! L/<șH9e\`JtW| ή4dWd'5*bd8a^z֬]R49'|dO nKR%; J OBwUЦ)wa|/y',LVRW,2Ɋ E'{ ”Z(~qgK:R~sI C1OK`:|\GBn &phV W'%%N(uZLM{("8rZglz:,}ń=w "@jA88p(J[ɚK)BYX1vv|HByZTf"kݖuTUMY2ΫOG ߓșu,g:ܧ:y)dY[tlGg~ܳ*8^736U$Ӿʲs4t)tq-b 9?hYgү_I=>&9B@\lJmA&c3{LaL\nLFWl N24Є*f\Mbng̢8~SK -ގ&fVZLZ>c| E+:D/3ɼd+#mipbQhGlыjL < R#;<udFW%r#!%(X3`Ca]yyIT߄Oz@txP=@=n\"ݎ~p]+ k١z=_QJE_4ńPPZbnٟQdPk/#?ZikpZ䮧\2_"WTE2X:L47O(XH;jF֒ixDz-+e^SԪM.J,R2Q^bn}:'O&w8+K=#n'[l"y6ė~|H 2FgYZ7zXZִF! f}]ŗXi%B@Ey'\LHUa o9q,(4/.Ԗ%^9Ro%c8#)jL wJ+͍G`Ce:P ] 50#&`F)#DWԅ(ng؋*=vCfxY:]bPB!IGjxp_ 7G\G ^IPGQ-7;o }l*(d!h mm'4dx 8}sf$a r?;]n>$I-gpc>mb2 )HqrlImk8 ]t dGFRK"ɣm[%zO~=S qpmfl zO$ yl܇./-,[fhm@ykUba4OSdjV8O{PFrNU- B?F*yaޛİ HPNh]!؎}IbRe2}33~/i˔*(JGJ/Xf4 ւ*'K`(ˎv(;=Op so#EH%(7^#]R 4i@0tP-v,[F׽nID!JlPFC9( ӕĀstT/|N U%UXt3@I8[Q@͟9‹$4DlکB:%ݙ{7֪,X%bsu8v_pǘPE)0[;,Xx5KY VU+eQz[& t2z_sqG z8n;腃Yq z!isPeGfms 2YǷT_bnYx. /)I_ADrOp¹/,FbQc9A6gZ1O' V:aŨJyF1"W90jvߢ`\]yb@{X]Qb 0 v)rYh2z"QzK*6\VAF,cE-Ekt&“ir;Kj }E?+Y'B/` l,빝X*O^"/8Dl6< [dνkr4᠃BgjFO严5a٬q9 bOѵq0ُ E{H%ۭ 1QO)I txR!-"+Rq)R+ ~MhOA Ц}cqy7R%b2We!3N4JeJ/u\QoB(TaEM<=*Eg_򛼀'YI40(j9r{t?ѾW0FAy 3{D,ÅH}Y(7Ex#L&fyB?=9ƨ'װB݀}%z`}\lHϻ`#utNsŒTZ|?r"bTMpUpsm0ᘦh'j$LHĉS@uHb)?åz=5~35w'{?ړu^.2QRhaV.T>{?{ &9XOÇ>W9j^>"EJ%%;c5cDhL.'3,Xa6 2Į7 M X_ $Ig5}P7-HH=ZsYn6uhߛ%w8+/~ȏ=Cz҆ EHЯtK7jh&DZA/J}`AtNNF޴%:iq-Բ0e>Xx5$6.5ҨxDsPu!̐qUv7:iWۙ̄H)J{'bp *u=]m/"-]\L>qst1NƆ)!ޒ2锎:#lgD3ĕ׼GHʃ:D!e lnIÒT>֚7;2V 00n 0BI :J7O롚0 lP]&׶u}O(5>i4)687wo~؞|~8q~9oĪ[1ֺYYEiV0ʀK,m~4 @w-X%g#!jtXC%0~}k=,)vlsuj*S.mr41_i_HV]?SrH1$=(p vjTKS~)S%K61|LgD<͐ ^'%E3:=u2a3sz%$i(–7:Xp坮e$X9Nh1L3k_Y1K0A p7pյ.#@XI$# dShĮT6*IQKIb>2Yw̕6Ad?39%6bD`&4ep 2 ;QЩerJȚlj3)1q@xu`)_:_H4hi{Vr"L}X>wo{q ?ԆyeDqM[^B|ZȰ,^B#M$iZ} jdm@_Ip)#tZU7) L<'M[i!Y(W|7ɩn/ħY v8]{$In $pqxtD2mPni,"ڬ9dO !dBVlyHq>:r5т ,zPb(=If$9N 1!phP2.v}6$6&MfJJJ6msAJ}(=vJB'kHfKcZRXnL؆Y;Mװ4Hj1pY7LTr&*1J t@"gK P:@@-]W:a?}YTقq6!(q=K8uT?\jNg>WM̅%>-RH= W8 *(|na)Klƀ:N&T\ֹ= 0@¢&ulRj}efҖLʘۦPtc1Rd`8JQ9P*NJCm&󞂕)f*)n9_6tWG5\O69rû.~׋)"&j~hsV ;ke%mu)# ĘG3)PiHE  )l.V\}mسk!kYE>&,ZvQ<[d~#EZ Ƣyj:@0%ǍqTw}W Ѩ׳'(]{DY J"$4 !:.730YӒÇjz:2twk (EiAhy|u&֤E:[r uO]x DI+_j}[k) Q^t~Er#,%b:>l9up^l?rL91~x{Ѓ:ٯ@:6]Śdoh-M4k@;[]>gdsT?iVܚql8V""J׌뽿ںĈQ P7W7Iq?!nj?y HV`R{`7 Ę|_C9n$rnAm?d ,mP eZ?4 .8~9G?/unBNʹ;S8 q{ 7acoelLG$u㶚l6vZ}xZèd1bPل Kq*ن tgMa+`\*L;/G(AI"".zϙVb4 8g V0;  C`by8eSNgTEvÙc#/墆^@˹5>C;ԬAlz T&ci՟R|7MBxZ:D&E ՗Ǭݡ#O#UcyRWI*? tsðjdZ"\8Ȕ'hhϹ8e |>} tKz);^u(a S룢/Xj}q Y A~C XeDGjkt@_X%GZ3,gfoR1JT)3 +m4UηgGxs,1K翈m^Xiץ.qWT93Qlkm" XxK5 Tt73/=#ZpH(Rz"P*MAwBŬ~:*Z_OFc*eDQ?Rӿ[8c%R_/TcaCcq""ڑը cG7ȁ07j|Pb@JqGk8asiul2=rpk/3Rl'ImwT0zfƔZ YKf㭾Lw%虌aKw?\ 뮒ox@JUpe?wr )/6 -;Bcڶ7SմZYq` /?)NAi@؉8[|uv5f8q?L&*D $`?| )f쮏6?֨GK)ȕ2[q:]_ Dϳpٻw p\Ii5r^ìJ`P~(МpŇ)ڥ"< YR^ (6#ˢ a|ӑ+u(u&$t8+9G<{lZ]}'&$SFn1눘C[cjN-5c(Ƒ>^NyxGmIQ*sę)P|1Y~0#a`3{3Z*4eEjjb[%w6B [}'|o"| (d8DH! ܬӍZoo笥yL|V?gZt_<6f΀u !Y3PIiCd#S0 NE\ )uNI2"KMЧYP%Q Swvw F׃GbUli~kWf zXկ|7e)rUjL }`-/fN̥~(0N #:H">쵠b}m=`n\r,)\)Fh: sd*čc DŽْak-U5pL%QT<͉ e`iiV#EȰ\tR:Ic b>^Cr+7N $|Ḍwh8W7 $XTMd3zx0S_s.E{C#b_:,jS΃tW)y#{a FyuB8ܸğn, $dcO{VۚjF %ʷkV=2ɪsTI໐uG6".t hN;l%婥B4l?]()^"Tb!ˮc~H׋g^ ̑Ft>lqʬl ߧSF/K,WrUL†[CX\OԲQjY'˼* *uQcokQ6&^V ^T?CBM5M64.EŪ$uSxeOI &B)+;rXġR:$Lx%ʑSѷ*N_3)ZN@?JtN;Q6o|ũTzh~O]eh {`gMi씣tJ"(z7 peT5D20Bp=cV$Y\^mf;p@sEFPAV._g %pSNj]5(Z֎[Fy>;o UܴgR[z۳11H=DX ;ni03F8Ak}Kܥzs|u< VvaL8OBNEE607No}9RKIOBYW)1AC#8:U߭#:cCճO qwzm҉Q0j,YMb$ lnzVhS-9) ^N`l%jƧ Rj;; z+,xrZljA:*[[+'#:~id `2U< ԑ{kVqHQW` <ˁ:bSd^Buxؤ|hҕS ڦz^rdޟqb.D\SE6e{N}Aj܄^N4Lk1LH$<,J=Ĕ$T@#qjEG$]Fc_l(X9qN@77yD"\??'LˏqL.i2^^w\<{ &[oTt^"nvz& ^]LI |\4mʌ0%[N}mD.jK[E?N_ 4jwlHI:^>Ⳇ/QC775%;} ?*` =n4>AhNY+'cG 8k|Wc 54L2PL "0<HFj>{zvIp2f˯ $O#fr㷙e!F}< ^rSÆ;TpZ~w6'}^~*ua)R/.n˜Fe*u \QXnl_%sy; IH УAlD/H^9KGLA__-/W2 >/BEP!aJhj3i]:)3Z34~sFrQ7b&B|٬iBF**0Y kQ\7vkzWpH-`-mg2db:8,:5s1.kV[eH[$*欐謁Ǥ#z=|0nwjP3x2wNltP,ۿZBeN%04 |k1v3p:DrѤ;u[Wt}JҭȾ|3ߚ BSͳ|3gվU Z%>"ɍNug5 Zu\\p,1 D|fzSNG7xЈ4©[h˽ Ǟ$f{hIԧ3z>ks̨)@FXb]'oxpO x Ծl09j-CO{H]4>f$5zBn+DjT5X@`n<vJ FZZ"1N!9l@. ˷" HE"ɦZPڶuy\s1i$QÈPc8)].hK_iKQv_%Nj 5)3w~鈞t#0fob?F_:k #<[1*p="P/}I'0 :"%WU>`4IiB>bDYh_cף(WH'!꣤-Hm9Jn"I SU)HF}֚_Lء3 Ό `YYOLVX8o%9zSL{&gNϫf !K QQYAP|%fiȄbϋ$]~?b2X rS:AbdXL鴲JgƟ M`FjX\jwz:Jc^=ѵuBՍ^}knz)e^b뗛p6DQ1Oo 0].˄*8ZMOg-z˾PbJ`%jRp"ߩp׏U0pd.s4&"w{2Pt?!u| k^\zhE\Et0L 1Ze*a7[K|ʥV,,X =ryሦP^Y -@DwdRєd|v/f2ڵPWiʛ{S9*{sBY8-[?VKSf++| ajP<2$݊Ő萤[2QBt\k\]nU]N`͛sȈI`nhFEnDj0O)<]p6zlC^!눵5m8 0g[:3hE:e__sy@y8QE RxѲ%O?YcjPDNp.9==T+Z-J05HGoN HnlʴzNńY">eE׬ J: [X!m*`Bk2iY "!-'3^E1ꨛL Y @5vL{N[Z7DҝʽBKñ7TC*F@}(;Kz^2 +9hy/d's(O}%_87b}:Qbȑ֐R]/&yĕh&;/)ԉk,EA+ T},[ճ,Aaͧ 23?B= pq={{ߊtܭ-`8ɾEQ 8]IUWttB-C%5vݍT\Ei x_2: DcJ UJ*&>WQdd>&q,?X՟lIeNbOJZ6k:1s$Ax煭Tq4rWĦzY/&]bʴiv3So @Y: o:dC3$']R%,uE6!@\_8~631?ͭKs/yL&xpQqǹ=5;b=9Z`|[2&yq} 8N&X\/ 6ɄEx;1E%POB:!ۉzIئƎ O B"MֵaW6D-q42j^|5l j=1V2x[;8 X)M9sLdE pT;ǜjKJ`lo+"I$)pR^Bѥɰ4q 1*V{`z& *7r|r '~B>h/Zh[yl=Ѓ(WTn 67f cJB2yuN?|N;^⭴O"?/hKaFs1)zR}qlI!55?xu>)L>Y{*f.uy|"@8(łyP|iߖMC15 r'yM`V~$#uPd(ja38A7`gs!$?*4n UYY;iq\f  B~[i#z韂 &=[rsB$ aAgtm=Y\Z/!+\T’sd˄sTAd߹[#1?Sֱpvi9:tQBII0gٜ^ (;gL]k4{&OtZUȬҌG&?Aq7OߞLQ_QN-kT ^Åq?( E;\3D#'BFzTlZu&s~,?5\-hrt]9MgSG!837Yנ#oŝ3jzW Rx/"a!q1k{iEXԂtʷ*\I(jyދ8;(NolkK'0<̰FXMampy51He/a[p$|-SE2u}#X\{=fe Bʹqm9C_052{hF5x-2AM?/GiBJ|1 "3Eo[0@+УeW7ظ3)l$s iCj(K/ed AEn C/Ue75Nхf$!Q ΰzbhPwQ1ّg[#-{9aRjTd?Sdl@9~"H&[8:.k)<^yL )|x2NH 2W˓DT5V.Ћ8:- T\X>oI7fn. ͦ{C֋ s_YFZI-{t&c$O`@<%ES ZۨIRkZ_Hxiцά1/I:$~v,`3,mK2}cA=sBʮO eug8nuMPsdžЁ`_ӲJ!)gn4,'MQ9D ?&+ {L'V5yzYe0Zmٵ@,p(M)`%ŀ؞B%0CnQ's[qzֹJ DRN o+Ajkc6DB  [~rM\܋[&ͮ{MW`@*37êҪP9м7U,j`xMNMRJVꮓ|v6HnN $jI?ۘqYRuD>0X.#$`J u8ݐ ju7fJRrg6eEjUIX꺎 "g ;ݙ wxArF4gT<1#+R[lpozF9eAZ#nv]ֵA)J$|J>GFt5nb"OU%)(8:&5c*kZqo?r.7 <_.^'I|Ǟ9*> 㖣3݈'~gEC+q3گ@)lSY* mۓ;'"aTCtLm9J[콨':g7v3<.(NAxj-'}N8#ݛw<)4o~P2b{y,j7 ?|4+HuGyY6?[^εҳȭ# }뭒Y>ױE܂λ`=%\z3CEY`X>/k܌ g􆚗HhKvDZ#= xs+H/kpp~nd([O^&_Cu9-*G$B[MTF6yp$Ǒ@:6\QPiڕL`?JP`V5uǡ[]X0cy1"~l 2YݼbE#p<$p:B0r|\l>j-3n*yr{GgC3pmtΧT бTrM VG`,?jŝ&B9NKI^g7 FV⃥TV_o"۹A]GG+TF߲RC~".!=ں WV!{A(#g-Cɵ6k6҆7>-| 58. MZ] IqDwJDG2-FI% ;ۼƽ[aóS`Y;@zy0*ͯN6 (oC$f70(BL9\pCow9=?2I!4өj14|$ہ޻KjA6"@D\!ksJX "xYI ?aGe6E{%-ɃQB梶a@k"A2dq3jn 4x0ӿ&j_^ I>;ǹ*ڜV:E B7z!XG.ab[<=-.PXyaOw@\gnlqb],=tot0K<o8\]ʸGzd YYy1KIhޢv,g1dʟJt=ZZrCi/s_%|j> iG(;Z=٩Ǥ# FY Ut_iHkHe\YZO(& e|z8XB`mU-̺@vܔ?Ĺi7ྰ#\&6(c%@&2E"b5uV@H_T20…6N'_X{!Nrqrt6F3Eو+$BHkWh-hS{9#ZHN赠RxG6 BGJ۹(z!EcZW^H{Ǧlddcsy>@^|NcV ,^)yosҫR;TW`;O{,?$HBUEnHM/Ba4dd*V ,CQ9 6fwɟ*=[S7:~ OIV.cSH*iWWLF)I+P lWD7txsLE}jV:]<7H@n gbȚ;]r}1iId:.e4f21!*nk8][ -Sݕf-:2 gP`[hֱ@k2boc&|F,"ᬘQ9̹Y_=u/*h^XOR1/,Ϛd֙W _T:hlgL:p]% Fs9?ym,)GAKb> ȴX=j횧AYLbf¶. K,q<8uO@%i|tUŪ.TF3*B3+*K5}obLF[^RVo)T1ޗup0IvaKctt Il_\/Hq42]Nj3 )u5¼EZ4tTN($?5Cz\X nR{fCkd&1˸A,~ m ֋S2^82}ѫ4Cb! 3/,>WKbsN|_g1HAD C+-iZB $eҋhcϥ`wBVI.')_}"@pTimjSg*5I\꤬华 k(4%fT}y:'m vVx->Dj^B+銻ۤy)ꓩڙgJ^ӛyA:5de-iARj!݀eISr/Ixj/"H۷ #˅QBs\3 rMμb4Is=Ȋ<.]PM?(٠nVTܧx>pUġ@$EW2TWT=LSCdナ2|o#"xk{"p'E0 7֗ogUÆ$9'~΀:ۿ }RZ}e^@*O%+mǕR>3k ûMf vv/uLJ~)nwŽꎿ6.P1me al.TzB~Zb\һnz,}w 얡M}KV6ye9!*Z6gؽVu{5bJ\"{k%} t `@UyQ~DQCwRLפl8 d\Sq0 -ȁgqNϖC~\w.*¹川}C0w4Hp3NOG7@q'?L4c0` c3Nrb)7QC54`{J"0R\qMńIÕrٴf|I䅴踏鼷C 5"~JTM=s 5>Da?6m߾ bqt6g>9x%m+J8|(:~W{+w݆]\(\cḠCt,MZiš46Yp#>#E8OL]8,7X;`~|^P $ D+,ņPqb')#EX?D1`NP0sb}k=q%k;"t,9mK$p 7 z咼 %Wn5GM%1E^{T4A&$u|kY+}{Ї(ʉ&Xb+wG>cuM ds;N4Щ RI.SfsAL]Ó<ö}/( n69u@/ߖ>,>7y[sG\鏮 4IiptUJsa*EG|W ɃC_Hu ]5ε* l}7 *g\:VlEQE tB X:U0wCbHrD_oDm\8A6^v*<UttMoR2QQVR!lEx e꽽a io ghd) /wckGPLh|\bQpw8pne}w;QxfUo@%fͪyUOO-m;Y t ׬f2nwdFb ~(o}i p~w1}^Cŝ wLNޓ.qYꝤDC*&.R*7Ơ+e=)$L 5vF?g6=[M/xn-UOovAV^qp =a Ojd9] nU9]₆U$KhX] '7$iM4Ϳ)~KUd8B78&Ö́(KX 5Z* #xT5Xl؊*J'HPr)-%w;9Ez5=st% UѶ$6s8 Ղ@t;L;De{C#C_PekB~>-D$Gh PVĤ7{7ܣla"Cu}ceQ77q3d;MStOfĠTS2|wzVj<ήйiʻ{Sw‰#?2v+/&ӑVk:C&F;o@^d}C[?K(R 1Qb^ʼnzlT9TǼRR{\2k<}>Bԉz%Z ^Y^u?X*%࠿|1_)7tRBW9`tӮ.Em{WYzG ӣ,Yk!s#?`Ӓ dRƏBa3YO -AIRӼ>'$'c[FUM䂔Q#w3P4YFg!Ws O{|$IVh]Y †&D|{hyr/v`z T$%z8ŴeJx$.61 |?b*ȎR͜m1mJ"vʧ`̞Ќ 1C&=l(q=Y%d-/Փ|S`FI JxP عϑBýfR4|;\ҠmCQd^MϢpztkװ$?oic˂F+jM:#E"NByqv+ NM">iDK̥mi:~U`dN_ޣНglSkhQaGy3 ɪXNAeR $UnxO-4;]`FxeR7m-P]p4>4sԅ=+54.޿s5^=oS-*skdO9-t)J)<)Hfq(|D.:Q('LU±8e<a@<E? ,ςaK\5\)ALݳ*4e.RF}p zf&2nS1e4z)ˢZ!&SRaMz4hiV7M_vVQ$e] rQ}t?/EXY"C =J+٠uByN']x>h& uxo%Ү2.f0ŮoXY(,|rOo7Et,wPV+t|Ŭ=`kVS=}+ 1+;~xxT*1H' :Zbl1j;kd >A"pYvn"HVݲGGhCb.7=\fZuO"^ʐ9nVҶ,^u)ג Xkӓ6,$V6S.=j-Wo@vR)pNN` >cs@9#uV8FZ??6ͫϪmZ\ǣFA9f#z*aVpd4:B ۏ}Xc4iL+tSXj\O/٢&BZ jZ+Z;MJ߱ˆ,yMS?o+- _yhpA7o߃joE=<Ԙhz`likFh_9ƫ,d&_rO3"Ӣ"/Diʃ+&'E Q;K=px'zqyj(=z&#ؠ&`uhuEᙥJ|M?8 aiV@fc7Brj+"wIEh(>P_$mV51WQyo#"/Qtx\˰F\5sPӔDXut'9ksBs,f.I:dd˰;4LuL6pćۀD]Zdh^Q+ QatTY Â{F@FW?dkF 1W'qYAe FY/&ͽk7> %{jl*gQ38eoKG:M]P1ЭVh Di.X#ݸT 1?AX[^t/6~` ..82zj{}5³iS+19PqYC PڱpUfY]4##?Y#Q1Fw?G~7AWmΩ{-e(~L{WrrҸ$zB`\Y;ɫq]V% ɨ>VZO<7@A?Sw%) m" WMʀ,oR D_mJ ]1 ܆C1n9w=\OEߘqk-{Yb\YKJ*6 Fk!^l bԳ {OB/;:ډWBNА& (<HAֽaݭɴ׹4UsJZV FG6 B/Ԯ99IotH ߗ><).ٿ_pm1Ok6_0rokJWf+v\7"$0XAթ,mb_*UXW踟B.2N@lB1B XwKR ~5/ p[b:V)H^sGDJ1e2X^N\Y7q˥?OSs;@O[Wf(IX(|J>A;؟78~ws*eMQ < \W 7\ 㫚X/m|\c pT҅H-!r]Kfo[P lT[MfCDs{1d)O4Ibe7-J̐r{8mNAN q{3ӥ%E~(̀sңF69?Nn.v:`o'<*f:BN=\v 9_h{jG \vQ=vvj3V*` (-旪dƯ#bEa@0T= I2%-7,B#<l9tWd(<(3V+Q,K6ȼZɝ,8-|,z!.< V*Tc DjOȸ(pC*'DYɸW4'0o:uXKl_{=35|~byqƖDB> >tO4^ B('1 l#Ef^9i xxx5gSvԝ͙k.3y*kT/(^܎Q~Z&7D[hf jC:)?pcQ~W`e`Y;5ӤF>b 6\vk(٭?Tؠ{AaOJC$b%ZY+bm{4-no,kBim{HhmxV q> U)C1Vؗ:YnŜGx=%V{s$d^؈A*bL="3r[G)(^=F64*{ +b7Lf8PiцɰM@$pl(AzInlΑ+a#tDrЖhVd`s$S97 #?5 jAZ>匄͍"nN`Gyp P+2X:8X=x3O.a:7E#u& ]՘uO]e=q"RJsGBb g="hBGGWp@=F7%DԎU'ܭ J%|Kǃˍ]?uNβ; V%7]ef_AqaG NOU Rsy)%\< JP| )vb.a. k~,kT {[G{GBpا OrX:cCGuQT{^:˷M΅o%v{ p*e3@JEfFYB5fNxy;E &G!Fzڌ۷7)5Rhu MN F<%=}-+=h'.L/~K떫*oN#m؃K7."ˍEy?>};uW#wv!.!A^G.P%J.ڐ(̖uxQ )J ξVk¤%a ͋zQjǒF龯b-Ss vIܽH:2R 2rd? ^$m7b' r}ҩs?|q'zdUu9/PmpG)dNWr=ʤ߱nG8K!/,:U 64h&@)=K۰6F|J^{aNFiTP8 6g PoLT1ݙR $SN(=ܠA;Kku|jQHг2j8E 51 \O)(?(dyYׅHTV07MN seL~N헣DMuNqךӿl\Vd" DҞzX,&R]5=2j/:O{zU i\in)=mژueBcM-tco;[+֑Vd5 }p{|u)N V, DEC⪈O͜0 BMq7J-EK̘4s? \}أɁni,Ф2\9!X7GMRIxy1G"13$ol1¢* Mb?.׷M|\3) .]O,B8c"4WykI]vG׃ aUG)3vQ!#CW$=hBNn~~a6 LH+!3nClRA-_wÅYz~S=`YYewHLs eP\ *}}\[q x2aݓIitǢ3(C.#_ EӍdjMdz~]U\{eєs7w PbQV 4ag?cKM ޕ(B#5kcλlD͘E I~9\'GuxnK#3P+H}..W6ξ0N`)c8Tdمu/TnN6dgɽcce=mУ?MWa]|N&~PdXm4my:!L~SiSu_TᮉȮw6 WqZsv!me%(W]zip--ϺiJ2:"ZP[Ho?/C`yRB}ڳOmvܲ6Q\  hӪ=Pc g D' ),#(=vkig[3<.t xcm=SQzٛgg,@%9sGR/E83m}ma_Ð]-u bRTj_hE]ğ~$ WJդ3(»%Wm\XºR!)߉qێe`scgpn<1sZ;[ B]Aڟtq*ZIڗVՂ*O؃N<1,o:'QfXF*M Jbб8K=3>D_/u(KzPn<_wP!5U-oQ \P=zPszF]ff"\t(WCnfވy ӹǓ$sO!!ܬj2'krMZԜbeiXΜ)}P:N7,RPH~w\aL1&T$-)OxǴ#&u\xjGT4A$0mcF.qܞخ3rډl*g(n ,qi q3J(y&ۅ*͚J? ‭r8=Pw*-;Fc?o[#z8yRM+[SЊU3^{.}<8KjBLU7K.\xsO`I7SںYnnaN.0#8nA0/öOZcҷ_ͶuK<^`PQ6dcHlr-TFQ-.N"R˛7)CQ{F$;k>BHyv=z2C ɀ6O:ʑMVWр(lUaM;KUu"PDO,og>o>?h#A$YHN"+zp5kLFSgi C~.}ePN40a&^G|w ({%W.f~;z][WrCĹ|v *e67Fh1~OƊný:f/UJ3G;茦)?eYZL;0DHm^֝1VoM[4[BaU;Z~5x!%6軩8eujwAYv46@=վ`tV h`,4Hj=q\n|O?߲Br;أ-!XΔiDZ=R-|o{kFh|BU7\ՋzEmՂhmP/ffobu4=zE{Ƙ 4UG/tv>Ӝ;L;7@cˎYH|3q S&_:1_<>F'_6d`W7ߒ"^bu¦zjH+4 ~D"ktvuyj_LlAƤ5%췅2ꚢm"5 V =R);cY9S̓=. /Rȥx4Z1Z~̆4#w䔕GDuKԐEv-$ߡs/\FBϳ}% YӤ42YƢV&Pd7 D bvirlӀ*Aײf)"N\q5QT< wn#h _l9)[]=c _|R;vÍ0ͥdn`* s<]͇=pq>6!EOd%D*l.WN525;^\4cG775ZN0׺хMcNwM ]ZY~o+[Fq֖)S9?oU[4"A#9ۖhF!ܙi"SqiU"uqꉼ?[ (y0 $zjncu,—cnMhi*̢g-H؉?H\OSv5,?as]; K6 [^ P\({"R0tT(dmN]{T i_UkDۂk6Ymթ iɕKWEG"L1[uejm#s5~|px9`܌/T?s$OUh'5AVr$ ;;oU"4H7 5,C|-lrrMK;b_BQ}Moxotؚ$ߟ~wQB$=ښ6|ί}XkpMiL#7A_`iկ^("R&+ \3O)\醪uթN7׿uRX#q0l \8l}J$j{l[ }&B[sz`ÉG1]BueXiى"{Qj!.ME:HltЕoO4wUFT-hcfSiV_r/ߴBS$([F{ >ETS7!x@KUlzPy3ܭpUz$GlS~?C?t8? «wa:%Pㄽ2+!v&A(<[lhgn8sVxBr_>i\C`NRUOͦ PZ8N.ab7Lk{3 +X^ȌgҌmS%IѮ4穀Gd7˿", -sgYZ0dbe1962c9f2aedb96964bc0c929fd0f71aac4f3cb3b4b88f86f707d123395dc0f54d7e406fb923139637681f52f16ce321281a83064540f120e21b9