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|, ]/ List_Inversions:threads=4elapsed=12.654cpu=40.476gc=1.7607zXZִF! 铕;]ŗXiɟH)0%oQSSpYo)Z DH\~/KrPkY2dђ~W=1bLp3if$*t ۱d\IՍjwӡbCzd_'%Rp:phk!V8 bP3o߄j.V٥r18cڥ$7#R.~B8ܗV]s뭜v$vWl5ҹ`I_3TRd7(j/183u".eBgu Vj\xoSZʿB"mTe7b/k 9ԗo)5Y!#MyѯtB⸡GE\Q;Z..mV[cP^KU'zqJ9\]z X;7*HK=kYwb0AK\2yDJl[ק CIhZwOoaGh_) ߵѿ<:9pq5+~AO"9U{,Bo$j_@FE/P%c ̽]Q`.t Iw+%v;a^ ' e|"jE*}rʰb~iDUܛXoro{ӭbu=Ai+sR]YHyT<+z=ke&]A4D@<}BPUwb+N\n &̟k`~ז]P69|>m jG)u]!T+Arz06'me~ṃ74swͱgm3fw41 So3_ _?MJѾ[ۏګ<2K*䒮!XϦ`b,=r7Ֆqs\~5#aNI;_'R#-Y 90j0*#5yMB1vw^IS<,`_R A#n9c_Nлu2*deQc 0xИ!X7ӑN%2^ zWفB?x FOykxE3O=h*Q,cKpu1&#~"lT~yg(Bc.i[ JCXT̋Ҋ~CHOad $O+˜Qw'-,B$R Xɻ} g>ѺEX8r%x`YA&gd{C:$%'8-Cma#M qÍ0f[qd{Ld/X_04GQSwn ѢL.DsvZ k"cן(P 0ZَdA"cNcM\x}X^?ۤ3 7G~DW.sCg (raY.XU3'r珇rho'IݿrWUXGNpkTQi3Fo-׹`7T֞Hs6/l(;C(xԇ\?<)Eu/eX2+cxC~cpD>ئ)@^uChD [z0.w Xjeod4\= ?PIcU 6įgн wY|*&JZ:${HcE}(֛K%tYX_+\Kw,-A[ydI 2ls{ ~r^:E4VN)@adU(dxB4c-Y}L( aexaP{{鑙:HR݆)*¦f8|pxGH]mDщōB03ʓ_b^ʪZ!/܅ ( LQmw*dp^ b$2s%l3+LHCW"IVKka7|c/.h HAv{gQQNzkHT&ε1Q|~T-*1HӃ2ϩJ?v3 JuQr)\kMcB_Ra2s76 zJ^-ݿS- f}@*^cP9א gs,c$yx櫎`. q8oD4>jG:doJ9jI1A 2w(k]lO+7x ̹|4rכ5hF.},g?5^c>=FKʅ$HqT?#Wɨfdը;vi#i9,FX6&S?Q/l(@iYelHNޱ0 wKYNF|6B6'oF1kޙ qWMCuLug-UgY~^ b-S$j[IC=PRRUzN'B~9%U+'Ts$Dv%UP~ԡPxl T,znr&߱J WK앛P`xݔQYF@"Ts=! 8Sh ;& bdd(wCBT\|ޤ~62^jj8-TrDҿ7$2/BZb$^P=(i~OXla@Pv bB|B^3DkS46-x㖼< L\s?ijG~W;1YዴSP+F$GJ O_ γ,+di:4F[nE2zKbC`<#S-UJ/;T/~ƷcߤBcz#AƩR"p6(R;04B[:۝`p}ϕꅽH~L)%^ OR8B|_mlP\7q'g~z\1 (f{)E +xA-Ӂ%?j mag.8z@d'?}j2p@RU~vv#6k(uQA1;pifH`2 ͼ\Od|bsyG㯅*gC|6/;lO {" *. åK%>cx+XHgԎ i=N瘵?&Ѯ*;P_5XZ uI[y%_#M y(:@)kpSN;L䋋I6Hp7 :A;Ay8jIkLBVqJeS;29=v<)gy%q@Կ[.g&ti_T(&#gjrpsUvP]I-֦+C@|q.qN%NQ AI9RL?ݏvHzllbw/?NԸ"7̀IF.+4Gl{[c'֧P> Lkk,5¿K,dM nK 1pf' Mo/}G4R"H#*f)k["x>ixdnfH?'ƥߋU6xe  _AM;nt pٗ~95W$:XAoю|'*hŔ%UFk`s!s&AuWVIӔ!FJ^v5CW[._?QÞgsKf7LCnkpIߣqa f%`L҆,1bA0qwe GW u]cs mJN>OzQ5GxQ6e5GwN_ A:E7{nLI`jxlcW\s^$H˶ocpzRA 5=R_R>ui'"9ɩq뉘ͧx =Z_X8|jT*@֒8 ġOboZUFq WdBъ 2=0X"/rHO֌Zq1,㜕vdOt0~fAKr:'L\m؝DԪR5SZ@5,J 0.@aW#^ p+ _I\lɑ*/M>.~|Q0Є UȺ*yzmRep7h uys.7L=I]9cH <vJ5pFAY oſGɾacΑy)%-e{bm+'v m 4^2^/S$Ct3:6:"N59QTKbNcHnATƏR-ވqg 8nZ6VI&qI|`=|47nnlʍSuXmoׄaI3+;O;HF ܆}~{-+, .IDP J-/adOB9`9_&O<7Cح: l@XGYF4^A(h.e" zk\mSyeQl<$ WM(^zR . @XƤ'ZRmPPb߫'΀R-kMb۲3 Zp)g6] -{/Ύc:6e{;u%'VQ2Men^v <]^=+EGqN"GkYsq ilDK0r,Z#l5~J 4VO2> JQǜ 9E*uF<Ԗ~Ճ9f 1Hl]ᵁT/yjܺ^XM 3߾k;Z|&uA\8sRqhFD}'t-) <0\V%q.&*Ɯ/0 W/* K NN8tWIQ*(QނR 䭔W wt-KexҊ a<{],I*3jG%_ &`Ah yalbxyjpPM*>ϻXB95jrS^-'ڋNbDqo7l"dNᓰ|} !70}6i滓ޥoi¨dd! ,fRkuVm01j!-/rg:T}(D|@g, mܚd%C';@+as>e 1q./`(۔sJhYCWHYndϞW)iF|]%\[& N`Ϊ+$.}m kaO$C3Iʎ3y Gax<ْQR܁,-4Gm%zGŅ. N$i@)HrT}{h~!+pS8_TSO‰;~7r+y> .@N;3J3SJ_Y {ux WwY5di~IS*֙A^IsRqp7 o DO۷Lt_Ur#{^9>'yv&!0W?Ot )B'/Xn{2tăEӱ bd!p6o K@ힳӜ ״.%=V+#W[J䜎(i\ 4-J@.ɡ,i \"fŪ̦5D59],kথ~cK L8ٕK> .]_CV\b~=utc?HAkd#Y[s$.B$ɂ31)%}7<.el;5%J4aܰX%MRA| ;jAq٬UfT|vE9z.T b5@=62V MIʩ{I!Bu%h75'2ZFbd-(C($QAbT ^sg9D=E}I"|83d>@zb`{ NI_B O0 NMX~Ryؒo=}nCJg3"ɮAe=uܙki&@E']_ 5fN#?3s>q@A.^3}z&:C6tds Tm!;_s/NRi OzD{  5SR.|$0l+4}P(FM~bjg;!Vx51vfzz6H~Z؇W'NbJf>!ɤwc]#>)ZtdɣDS[Iܓ0 G{ ?-8*>920''LXףּ\i$X"}.?c<]]NuQE$s;KʹU3 ɵhn !/Z== Gjrr8~ಌ̸Q0rWDk.5 X1 װv$oۈrҏ bY6 !9m)iexk TnӚ[U8YأI*Vt=m  X!F uζ֓kQl>`Z (d<:p7L 7.&P j҅FxENěuF_AL pECsh4ԑHl S;? GaQM6 >881FtJwSLܹ;JD븡G$zs{m͍Sv`VIDnh|+]cͅ7ٙgv<ז@4򦟟ʓE ^L*uzFũ,c74Z!BR&t&-*U9erW <\} Y(hnAhI+XRKF3&q#q]`n}ZMp%; H}_ݘoJ(5gu8;{&n'mˢQDhRifa aBu,UR/ 8f}~7Ba_uTxޗ+>JnzN7(c(eznѓIz@Z|Wa%T(;j{k' m>/sC $\8)S.ֆ0)`&* kn3;L1Ft# #=G>s s fiXO4TPHRz8V{b 2=峬BiTy@QM%fqK#Mϸg9DKx5NMY6FN KaH=&/: w*KZ#C+mjUnf+ ]xߠ ?{ b)xs۵N̓┲{HibisSYwkt[}>QS>FD0h$[z]̭"Wz ԬVBj= p>b vA i&KXx*oD,ckŢd=z r.ߩX/%CLIM |rT"義;Wfu" 94v>  /G%"uґO,ho47VjMH֗H?lk*a륌$ȧ5Ut53fiI#M&\ܜ+!-2;><tS*j58:]f ]ȸKYτVTn7F a}ӞFd1RyN % /殉1$/>dAFIdoi>z=3'-Z  tH GM(;A'Nuk?+Wg)V<E\Wb0Y"AhNdm &̎VeT:H ;Mi?+8JEKNeQV,sImy]nH(/g1EoF\in0= 2TrL==NʰW$BzKaIH/z u5e4;)q{*ݨ]!I[v/FjrvURR7Yl߶.^*ɢ[:xU sD8\е<>,:I7WqEs1SK&tO R*i sl~tVt{4|ٚ&jw@v $4.F: J#_z MuWcΧ<&ڧz`Tե"8GA1ȧ1&xΘoRkJ%8\tV(#a\fxi)tl]dNД#g7˓5ի2lG.f:@vW)Oc}g`WVjCcLaV`.V[Xm00pS*08ˉAhnw%KduQh'$F{ZV*s5_}:gҳ:-܆\AHmG[cjh>oVd+x&r{4~[-wdݸI2(Z%_8O^v2 {~yFi'oǏe#rE.=3XD6{~B4e3_z;$G4QΡgPt`BxF+t[2ʺc?v$Mn\/>fgsPa +!1"RWlG}mES+TjItYF<>l ew4K3'r'cQ@4Z:1K녫g./w siӊj#Uȣ-: ƕPRJ n˛MKxQ4IQDxYDM>?~:pp|aӂ0J,\m1_e{6J"y8=}zԖ3 A< Tg;Z"DUɮB*;by.c|6 Ef/j#ލ3uz2>Pv '$).+|t,y j^Lf7T 5"mEvL٤$-ZuX <$|!<%r2*@p\Fjji.W~C^XES󎒥Q7:쥝9x9MC*Gh2R 264{9C˫ؔ[GdJWQwm bޚhc?"j9aI兢'scgMi.|5wwA&Y,&ET^_XhhMkgK}LWP5BD#Wfsj]+r?̥S4޿9}h8o\AR-CdS].VH#nXF=wv4M_t%E h+K]r;lmիf>N\La*)̆ W 3Beu8> Bf\$sܰlqlH;jei yqOH6R1:]teI*4_ qVQ4@^!r *Q,7DAd4@=-ԕ ;CT֭^|L{13miX5.;WS[2- .z$ j4YSE;i9Ej ntK?p+i̖-Gx&wv2P9hm? Y"Tۧ# ;,3&`K `y1=]ygAEGf @J4?P,4e)wVz }yxj, >NhiCO,ޛvUkQT܄c#DOYk91P?Mt̛P)5=T@*x:!B|WY Tx74Vn9rSZANq@jU#x7&BxXČ=HXH{C}SLxnLFb%i 鎙6.=w/S3<}SzCuCU!1 I0l\Hy!.w#hĉ C} >Q4uʯU븫ybQ^,u\/oYܙ_<%2q=`TzyX@Zrl8% @dX}>e,F:fb$ >AE!`] 1>{#X_B:pb~vQ r4bxdxI@bfql`~}F!sKTn.w#&8*6A S־5Rf64[]3kQEaڲv>WP^4Tkm fg)攆h3.n~'-8^!!ݨ`w\_#[ 3@v>'˚eʪ܀fx! d$G,ӟpp&Fj?r虻Qb׆~t e"SyJoԄzG:^|0Ç{qJ uNTUV -B,5/9?Κ4D,TZK {cAY.Dю>2EIDYՀijcw0%L.,WPZB@WK}YOi̜vt wCmkGkyf34qx/AJ_Z}Iܿ!9w=s^':Ư !s:?Zvsv AG4xdYdžEX.[KӉ8b^߻Sva|7^[Su"Jr]8)2G49(l~LAQIH9M ?zlj=1ΚC@"EEpBuB^T uẖe_U,i舌5I,c01BGCũ,K$s^#xף -DFtEѴi؇98XRm!AMrΉm~- B׋N=C/0l0*QlP>a\ʰ .ud2AML#O!1w\Ơ]ہk/O9i#@l<'稑\ɻWFtjWaA$mtlz~5?ƈ+YB;^m/r_yDCK Y::`ǹ启аM69(<>~O煉76y7ڢ$X6u?qk4(HwpZk@L\+WI |nJI`?Y758k=ȌN(nU}1¹ ˊI0i+Xbj46,Y!vV6n-#LǎR֗D׸Wa[жu œ6IUM?)D}'d߭mc; A9Y< #Ӡ>qwB76Ӈh@,m̕/˄4Q9+7A}Qn&wp^0}لr,0zo,el$D5%Ƹڤx_牁;2zң38Z{©*wS&)Ĕ6 yY2(f<"|S9_ ۉ.M>,*Cymƍk;Emַ*&[ڝ핒Ӽ9#чm6(PwhvG/ԩ'1D|dE[LBq^*>' ~Goݸ qR\+a4 !ġ0V/\񲝲M\9}awKR5^mDD+]fY_]YV1%p]%*uQv\J>NNb-heKK9"!U#k?T5gt6 Mj_ X^.؃Baqwy$ƌi ,.qZkh !!'xFGr2؃x!W"|21^Kzq~NN"s_tMd ᖔϳD=UiP7 !5ǁ JN!ᳫC] 9mbʭ[`mCgGdž%)G|J5iJU" yGKFIQd l- rk"Ì߬bۄʮ7OQyIWdT# M.K̵Kۮ9OP2JM/?aX .)dXCxJbUz迌LX=5xWܾU",/ hOa7&8Ix1Y2s3!@k͉IFNPw($-i3+_7:oo#8lCv=`2M%dNرл'>RU-vG"THLR ")IHg ̟q2S$Rq h}sln(ok["il۶=Fha@J7ij!$8ܖ.`infDDn:FHI/@F%qhtLK[ZP3džq$+4f$_S8+kTڳ|R H?M(e[3sA*Ku{z̕A0]ShGzKFj|l| eI` ;|l)ۡ9E["#OR4BhE?c&䊽5E(r!$XĄ?d;w[KA F=CUt_;e5g&mA%r@I [ cCkjcEW吤wP(jOyU-\=NAŎ-'FX\wAO:΃LO4`7;BN} 7[yVi2GpOi˫r]k{ѡō G|P!A8cqb5Iru2wC\lFL4 U!$Vv_&5v/y:>=T %a$ HjjHF}Q,pPګbHS;N+/q7Xkⱑ"7+e`"U$w!{OHZ= y!u7$>gFzM%l7*~PL#0ɬ%T)f=*N7Gߢc Z+]ɶ(}{QLџSqd# FLiq˃`8uΪGFFia$3%~ N|0mRU8XR 8;IuF`sFT +MUmbeҒim#^n/" VO"* &2hQ2bQWtF0IZr/#Ʋl* v+y',4,KT~$Hё :ODP|#7Z_|t "J ij?1X`fq~pػ}>;&sI2p~`5P1oXgXVK# k 0.G*cGޗwx+YwbnůbBsd~ƺL zE_M5Y:9hK4D(U0o:\l!/1W.7J t@D"NSO\7;ق`>'0MO9QMAT Q񵁊NjTn0 Q͡ a>+,WdM/Lw*sYyC)Gm~1vXS/(G׋A+ *19 "'fo8s`ʟ8 6OL:⧶p"LRS6Ke̵ ?ɗdULI*FMA}^~w oeo/xr1~F~ζ5*I3E/aL#or):u=:@F bY&c@( 7 >yY)`]MR.ҵ#H<|ξ"~q1ͬ_ŷzq 7Hmm hqQVg=vs>?#1 _}=ZClr22)YQvV#4EGS (4ŇE|kR$(k][P2[fzh|Թ>/8zО`[ ȷd4#lb{҂-襖X8܊wh)K*~ґOKsr;Ɯ-~QJ/m W9wMvD3Ev0 }"wR8ڻU&43\Aن^,"D߈ۃzk&y-IˠC[3bE,6 |C9dGjL"6myÍiEjP0,(ZfOE? fú*3/I2b(:XyGNFXo][k W6Dayc b(T;"ěX(3Uw. ZcrEYK8֫ŧmRƚ?XvZf&ձ@͉$wY r$VgaqZ*?.ݠ,hkEk{b{@*AԢf-R|h;aY%u˳(6ߞ j! @JyZJ7VSoK3l/!4>y@kjߛĦ!i WN~-*;c_74Dzt/Հ]uN7w&>sx4}#TM -<&ox+m^/`KVU#Dg cUah*ji{JCZT(ڕV⚵TVEKix't W&p^5\5RKMt|c >gƃnNcvȈ>-1*$3c:DtY't9bSݾ&xƴZws.t`7a.|튱AlٽOLΊ( 2]ѮCt4팫LlVMs=t]JDgB]lSP%# )Er(fsF\?qbKmmnðxY'pLCȽ:T9i̴N' pl^& 2vtݭ"%㘲=ۻQ3nyBʊ|sm uL ޒ6l冷9gkdNr"#ƕ^&_Gq=(VdTfޢ99xܻVSd} fBCT..Ld"s*Wփ?+i2ueHR Vp&oorC"bP"g%p FWi;椐f P`EvVv9dQWXP8<ˊ0iy}6i(}T288(ya\gR$4|ټڥm,BeIa=ԾNL}g/1^#c{e5Kyט. bAujBP;/yD2y rk ) _4[5L ՒܓZ?Ёa0Ucسc%ͫUw VPf /}a<37j y  c8nG%Rz=:]tUB'W7}[h{W; ,^fn tt8lQdCn-CQC\oԇ5BZY4N ~@)R]$ -q˼~d/ʭU3L_817G?<a{\nW*zZ0(/m ڳ7d$×DЬ6n {nd8,K9BjPpc/rP;X0| I+OpfBUVxTmATB_?Gjଞ{fd1" %M/ _du2QL amVُs &Qf2壯h\n.S?SS:lI;qėRͨMS5S:q2zE5/+ݶ?Rks Z;n@K KF;Z7 wLI+Y }QJfn[27 אna'7`h7習[ql$HuT{ Ѕ2z Gg*ϝ@[/bo#XJQegqWi ,Eʀqdgw6k-GẂ;@!|o/n]eZy}w'b')rlϞnof7Wȵyr2Qn^O d0z8 .V2VQl`5첓JWbG=:"Zq',"+&LVMgAN x?55 "h5[hf~oq!@+6s,.zsLmp5*w^qAe"Nژ~kW$ܟq de-: ]cP_TcG IKrYՃ?lZ'z4?]RjBՌV @3fH&k&ԙ3LO\]$@i$(s~Zi>U+0||F59\`yK;bigypLjbvۦY.Ñ xD}"F95>=Ga mTj)dŁNA2PxtNi$"3a&h{ۯa"Ԡcf0]0[yx ];o|90'ѱI XɌ̾\ٍ(.@VeÑ q6{t@vNnËi_ز>oQ51v 4Tu? \JUwAqf* DeSYS=2DNT<~ 18-)էn/؅4W;Gz|*yٲ{Tmh:AVTۤ~QêҽjW5sAz`Ohymwv _d;0-0}K&}^ykϠ@=rG[T;$T8o-i&eWNm0Vܖ xܳt[no;(L"`B+Jl6zIc+B#/wr.VxGl!P +֚<wNo.QdC̭wHmT?\<Wq9OpC^9=G;@5 ئwla28*_^AGOxrI o 䴀m º1zѼB 颼x? T*TzEA54@ TpJ|Nam$YW!$O{yjXa*I]Fwі>J՟ 't'|z#m[!)L F:*:҇fM~0ׄEL*mwK"(0.Xw¸&/Iy5l>bﰈXJs^גYfKOc+4jhz(9%Pe>*kCh^]l^ 'Gt*ߛؾ|\{(2V}.i|.; ;=rP_*"\<5C6k$xAZ8h2Wx5KCmOÅ]$}\G"R8_Δ@V@Ub@3 0y#z[: \kίnw6 .ܡ OZ1}ɡ]%MaUؘ70n`8}p~Q͒uEg~r;m6-V >& jwi#4jehNDj74vh8IqB߸d`@Ә/źb!ˡtnhɬv$iHZ ia:uOdJn%Qh/Mײx8ÃR5 ֠AcXi.1b]JBjXwN~Wne}ܵzgmNh~9r45P)=9xu" vH[QEZUˍ<ܗa;FLL[r?bUi>[g ¿ݝ~R eprfB"Sofldr vd7$ET`ͯ9wGbSK{ fmNSS-Qhhvn'jlq=4篴L&B{>Xz3fir7OtM 2f"UBQr9{v2Yd0&=Q4S]2Sq*JoBHEK϶#Ny' 3c!xuV$΂-M9keviiҾ-SK L#@@Ia>=QI3դTp:" 4N$Ec1Ol )$l,k5ewmC$|$컐_ى4+. WJL׎Fa^{絔-55z/W Z.`tޣQX#Ē'ZcRNur#QhSu:Wl׏P0%3;Q.~Y PɅ0:`@;MA)͹ iQb LJT(+&9YjDѝ|z9́\/TgIlWKrU*2V3s^Iy)Რ|tR =(&)6@lMڝhiAܮd[/;GH8%UV&yپZjl^̛Xg83OAӝ6^>><ՠW`b62*iXTa[0FqUXLj^1₈Ǧ+?-8";~zڳCَRk&]ާ[^5]i9v_">(Pˆdp,@Ee=<+|.CqvA(^\p3pW|ʃt8јI-UmM `@~CsM!Ls5aֺr  -H7Kw# !pƯzd^~*bV{kCI tB0gs{hX p"(CA}+hR6'& }G;.KYBqs(Ҽ%8{M01VU>C+D(S+f,IXϘ2A$pjƁ9ӯ e.Y&1`<Yp>4%׿()U`[15V#\{$cX2M,j3)+5c.lܶIq2v{B+zz'OmX`ݨUTUEt?6vv*2u&gS4R'eP.l\N=+ZgsP1 !uAa e]|DU4m +oFAPKn#4:zCo211nOvcw\8wP'A#N$ !=XLYtKXZ+3.̀Lk,re< 泳\E&IKf׺0( ^TE$v7Lcݏ< U)fQ9r0!)Fh"K<| _1G d*+Q bL<.S&ZEVD۔?|~zb[cSX:OpVƂZ-7ktUUGjb!wo+iNO>{ 1?_\\@e0eH{CuPVႹm~k;nuǔ9wqkλ$5؎)nMFxE.NEl'6/€Qvmjƚs$SJLX9%P`Czq1mBG2,UN2q+/NLƬG:$a-^Wiߡ&V[-sB^UгIv\sk+G$Vr޲THɋׂ\*oA+dɴ H'Ao"9- ғ8_𚽚68>w|! sI0os=n̳T`^ۿk5Fl]Zx+ݭ]6| X1ngs%BہA!Af#B۴Uhoi D^u)^52'Ғ}#&g}~R)@v)S P(أX%Q+5^CP҉.Q'|3F)@bQQֆ\Z X'Ƕy ;wC֠*Iş6`9U2!na6\]%3a'A%c/5ǫs@`NOXH:<-|:)LTlRrԥQ0CFkgۮд,ZUk =ږς>w.c2gM`XsU>tťU ]6op HvDt2Qplavp)=o5̐̉6zk%mš "ن>.@AH e[ Y4 ~@ $qf>;F/ wNm cݾ*2G=*,$g<<&`pT7?鮂,F@5ʟx^ν:j쏿\<0 @`e,XT0{ƑcshD^ dyw"u ~Vb[ =!髵Ⱥ.!l||8]Xc~nڋ 5T]-H{›u}M Q>8S&Yn١ˇ ݢ(hg#ym6m"{}ܓvu'+^ <?T[:G D GuU8^}ॵn(Ǐ58]RDYJk?GPkI6NJߵz̅oB .W&&&l>wDdSCN?:~ڡ?ƭf|7JNS] ^6~C#}HAe.j@~"zz x`H6[*92+^ |"3"Q,ÐN1"ʮ|xW՟'yEijF{>DF,Y p.[)*r,"%כּ(b "Z[1)^cVNU,ao+,~W$H5'(<„umJb-G7 H#-goRP-ƹ^nWFY ux skĀvj/8RRB2_a _n2XmO6sm_!3^rw,ʣJpE^T{*{c0װ򲞜 mrFȄՏϋmSPߕ[qvM]tU|jϏ|ph-v|T3`4: [g8{qi\L)u FH%hYϒ]g!"UƉ5HapTځʿ{s %T鸧 I^tq4L$[@űĐ: xB.QCddˊf"6; ț\0CbuP<=MFG*̦Հn2mO`?,BA4wf GNGX! l_==@E@n;d5@#?17#-F^Bsi۹Q|sihd#kD=^Sf.HfEN,ݗ'jS7gņԕnpƌgߊ($\`4A@B v,ծԠ_ }دiR^B"5&001xj )6Yz0*#@psZ$ߕi28@L MRmHd)E{=i|z 8A'>}NF)aV:NV.jz81t4~n~5AX }~ctFG3jXc?5 Ϫxn׎1)k@`L 3_x|LsQ~\ZMFm Lp?p>ӎ}C̲LV^Xu5`ɴja4w~w#E@r)]LVy`礰9`6m"m#퉑r9WtY )]PB ,L(Z%8oj r{ v{% U_82H_i}p;.n4 XlwԎq¶ 伵=Oi p`՝v*^TF;3sD/]a1CoٟF?{SAfgo^."V \xɄ}h9 /bi#md@O@><垞jj9dݺ}S4G^y|+ڙX6g8?~?YER~jz]eHPG6B|VoD!Zm-?CVajmO)B&ߘSܗr$-g"Ǡ'6[`Q]y:ENA<ہ-采) >:v^EuFe]3rRb -ad> XU >vBb!J&2.2ׅ#Dn YZ*q`F ?ioS#WծEY!(2|{\<`i_y4 [4SwzGƻU迼*!YLNχ.XQXiv9 Pa)BX<Ғ8 T\1/7 NLQnYLҸpG~:6pm,V Տ=lJ A_aڐB6h6 uD&1cvf&M΁$J t #=9 txE8!V#o:{Do|9Po~dOxp6l`PbwO7S9/H2 Ϙkw^PBszK3[++sAY/y d/yh ⱀ8Q{b =Q憲da FU  &> r Amu@gnEˢKZa Qqz3s;n"qUol=RO L7N]8G3tZOpvڞTRPvM+&'ͻm0on_WN|$H5|LػE5J&Q jy9aɁU$K!iuD:ڱp}jba)Щm}sC}L~Bd.s '#Mr&:jєyn@#& "-g&fJ\գ%,7}cD3hoy.rWP'Mk7.ŐU7gSL2of:;cC6352L^uc(o3 ^bnɟ3y#a]!aD~ӥVu<A>RI iI"g%K;9cT>TdZm" -,1v?r%:@o IGt hbpǹ'P}},MIi=(_֋/C&6h:HdͳͿwzu"uN>.5T8tjW\\g-%i6; wa>IYs7) zh>gvܰo|;Q Gp^/L2oxL(Vp ]74*gV7{e!;fҶ^]DT$`IQ!nTF\,&Dp.oX^5K&hz (q |M ϶/ kھS N)('p'f {p\)bRq%qc,aK50E82% d_רrdI+\^7rW[=KB`R/YX|I1`rl 434Y{'s8Fr}b^Q}4Vz(]uW.l\q#A@jq]n 2J=n^i%ڽ|MZߴXy. ||ɣ1 Q02'rAÓ |hؾ(xIH+2{ʇ7QȖ`xEv+(%u0E B)Ez&ʱyT8@ys*rYLeUG:c9\v03dzBB-| t}LܟR4AKDG¿} dWD`ddx:98$JH4D I~=r.dD3W@u yJ5=\ 0 pTܯ@'?U-RcJkdp/\ >]vx(6sг#p9ls8XN( ])ɮ{d `u[A}TѫQrare vNFe7d{E|0\ɋZc7PvLַ&LDT>o=E scyK'ȧ93k]('guqi])5f\i,(i ?D/N Xl{X7+ 0Zf9[1~*:pg?Pm֮oJNP`CRXK ,A{PqTL\J,Ȼej;rAvKt7)Sg\#=p 6 P< en a(ȕžcE}~d) 3vKJЀ+{.;f2! |;βlyT pn-4 arл49F6~S_6> Du:o/_gp`Eb%UmݸR5T(</‡diړ5.'Kg!S  xPVn X31|R @H;!rl?ڄx @?rKe'ޠ6,B-mZhZ!Nb, y҅hKoz7G  x3 m>",V{3'E!14ZJ7*X$ #STXaGP7& tϫ7v+`H"'%ߪۃؾ4`m4P}uӑo ATx4y(]/9a*5=ߒsm]Ke=?nJU)ON1T=6v(e\`\xGRD6<_Όoa0yYm~:QǯoR~\|CSʧ-iPCtQA0] o Vpk߸{QRK'{KR;?AJѳnGa流 ;^o-̆#eG{"ZUchJЁQyqKtyMDF<~yP"þ2>a$܇'rBĝm^F {ژpb^c(\mBiU(<8a]zm.49.2̹BZxÒ9w|E?WlOsV = GLG:(K4X1^rzihY+rKB|FGzW%3*-SNYG@/!]t(Z!k"%}ig#zTw)$)- jёS8af*ٷ[`3$uoGκP9V$>(7v- 6>sOsyơZb;Ԟ|iQ*&+mDf7h㒬\(Bp݆ʙ'wm-3Bm~p9Vm1y+ZÄ> cf4EDCP70EI[W6$T;.HRޮ j2Դu,+o(CZ`'ػGT4ǿ͗-IE< 찹gee!JT3ҩ!+t鉬yݕ t|s9)Aچ@N-I0m44Jd mɕJΜ-DMdy8ɔ+B)%9;mPUkߪ&mcw Ȓ|\"~yyw!N4hPnːЧ"t^B5`&!ۦy=B2Xa:w[C0!UgCe>n0 >AI6'ҙ-^+P0P `3U&+ͨ+pM 7d{)V5Ji}ԇdF1\!Q]ZPpCl^>f }Iҁ"'ɩC(yQ+e>~oXu ';e\!6.$U˩2l)ή8}g|ì"Csqyt<, +&d_bܭڒߑ^hmGKE[XC?j=( 9L^]q Ggc},4 FɳyQtF +w\Gʆ4By&eZj4 ]5,=avz5Mْ/TMg!BgBQ:m8;%bUTtw5kP"%hxyn)*J3Ǽޙ~V*3I8-7cLLjG KFc&mzxpc -oM6N\iaTeU髫Ww yb/W`'^+ѤLz<7]‹v^r4>*f$| u(C҆ J-nLM`B$3y0ᅥ8aBc&TE>FObeeE=Y }ZxOmlfuJ14 _M>q˾6+zp) hLnPu3*6%qh`wBN3ZJ9`v}siAӘ#,&<ҰBt#Tn;C/l1&;|b Q߷Ղdu]xДsyi8Kps_-˜}{V{VB9[$1tIMyYD}oؾouZGtӟӨ/l7RLIaBHiF~#vujK`vZѭ.)-c9fCOdQXwuOr~EL60a6%$WT{w0Ƭ -E((]c HlƀnFBP nfq_(FK؞ O4I0Hm1`}mL0 WvgZ'6 8uU z_x?E"s/JM&@D.Ir8|ɟPz.0-MWKYfׯ{"Js'NBĽ)lhqZm /zL;Vuc%Bsn7Y[XdAZAKX%9&37eDe8-Gڶn̯r#SHA/h(cA dtL׊ȏYNäHNVs88h ^5 GDh;X+t $^؇pWh&ݎ)RU! o,jBԲ+2p VUqvV-pC@J׌J/R9ewGWɩ-V Ωo%EUƘV*am]3X-Q)k8OqHp4Fav$hX?nevQ.X0GՇ_d2 I=,遈4`lM r縸V7aT1.ʭ ̊b<7,iXz!c!RWZRq\]XÝD7t}1$h3,%5nU ܨEΘǃ)f _7%/%N%]oTɵgϚqtQص F|,@)B$j:מgdx? <{ǹ ]HtRvV.lS̀Z˨C=OPnAF1<͢[ _x` D9MC5YRɾyA'QǵP)@T4`{/yfbz{93PvD ?bDubiu^.^+>*yFz ,ډX66{ȕi.Uq~MM3'QTM\O7M$Cl9ɒf|ޔN,ՠnג]bvv0uWq`[*g}[f1M<#YjUN1[4A[$&OJz mXPƝs\)ODpgjZ}jU~MBA4g27,u[]A'_wWa%CEػIOhS=F%pvtr%,* SZ@!TOy˔ ^ϣ [ vO%/rQgHy2Dob3yg 7[ "<3='+Bs~S*2*qx+̢_$_J)P&?UnRL' -:D\0Aм{إvN.an2,]荶KB6$l7@YR t:)Co1b}T:+]>Ɵy)2.顣7/(D zLL-ܭ[ЂL!Q<">1um,~ Fq,Ɨz0l4frɦ¶@ ico(l2Ċyp/D>~\8uA%C^>i$nxe@w G':-a-o -8VaLZDzQ̿ "<>AarxˣIU܂YM<#-L|h6Lٚj诀-ZO]Ъ <.b'O"d GcIvE{ 6fm|kð +ףzKvֳ 44{M{۩u'ď0i8XփEhl+dOMD?*e"`85.ɂ/Α!Un1<9B;ak*}uUeŘ0C\!|pDk5#C-0{&z6 Pdn`[gcԅ@CPssOBMnn4)Pg$k|B+DkDm>q^J$<iJ oqH^ҎO?v!X M6_YsJ=rAq"$9q+^$q;ZT 'uC)s_K xđ΍ )κM!7H` xAD$Ͷrj0:DomTNo(_#4!.~!2AO ;';ygXX.<v]^)K 4um+ \+V$曬&{d. \Mý1ؓn@a`#^pnh,\^_ut$IqGX~1始sX=J` Bc{Xp*3-3tڦ |lCuhɴDBުy u G#YV. lA6'Gi*_@Hz˭:u+ƈɼ5τr%J'\hsIBO-$a۱h!K["? A۟0c>fF$~.-q Ί=.){ŌV+Ud4W6ѳk#PÐ2ݝ%/2^]6Ҳ^.x3!K.if`R,N+lFse 8EfUF4nr0oԈ_9N{+',ԄG(bj\ǭ{xu#S8j6ܼz U>xrf s| ځ֩bEt/ :2)tom&Dn9t8 /޴Gۦ0&Ti]iln&yiq,Yz N7ǙjH⌆lVjճ"Az\r6J#σBݰo&/x%G+z1;GP S 7@ 8zԄyչRC}żosH' *R)+M~tKO4l-ϷDab[ I $dں_Fg8Q"cE\tx2 n~y ?)T߭7gp Zp]or=itkk)pYErKabm,~ys[Ep&z 6'hf~֩#\14RKc 2HQ1Gb/Л6C&JPZֺ=>LXG"FT%mFfX#WW r aj}Xڦڄ{\:2:Ϳ̺nU;99F8]-(*M24`D>Dd~heAX˜3:i"G.mhge O=@L$ZXiair,@wD&l:c;!&; 0_ _gDz}4*VOڃ@+ƎrN qkG3$m5Ԯj?Vn< DJ:ԤHb(SvE-.B@ʮVgR91^ t4Wf?4Dex]m(3 "xI:&NgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4b-/k/{!(Ǽ˰y B9?gRP|u_(̵bySY=S${u9NqneOnmvhag>H"e9}NjW .fByF&6`p ӱgYZ7zXZִF! I|]ŗXi%L&C +C~Q/DƑZ'3氺v=4w#/̸ AU&;%8M""KXMwl Bbq?<M85 D[!qAv4U dE/\'0\il78+D7` ꜷ2Cw#IbOi?!] ɠ洵^6AߐsvWJ>poj|(dMGOƩiKIpD^ mA۬s>ec$zi~ه|F?|H^s#ޖ%ҊUնF]wҟ-Dӧ ตޭ۱3b[Qtj(;GUaZ­`5/(>wo29 QwwaTxlS@*RϊrB4++4^ )KKId #okC^;Π]JDWR54>:,ݣ5XeUcyi0X/6 b>:8 W0Cq\?,1~6>"xެ: " Vu3I%W,o4C