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  4%\$ ]/]HOL-Analysis:threads=2elapsed=739.665cpu=1325.804gc=53.832factor=1.797zXZִF! iAe]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQ^ ۿ̑W2"CƩqt+B.nRhQNؕªGqqǻ3'Ё9NoBczW v%=G>dAҲ; ~{MS Ż,vt?cb_:[ MK <=V#2PUMزrvt5>ao&]La8!5҆Em#XÜ]+_LEkq?ֶbKģ[`h県-j1A/ME:["K>cE8=sT_5rdg>a^Y"_mWź:"sL _ĵ9^2zO %!&NVTj-lܟQ? =;l*M|F$'g >̺y^%Qq\9l{%5Y[XZI( &#`#HHzn`V*jbڀ_Dgzh2oo9qc23m| Aעg9|\/j!3Etɔ;z a!0嚙d|m%dđ8RE+ƕ6G4[Z崕9ߠl]Ysr'"y>V?t|:[:{E\ ,6`=DY6z|w:7ΊǤ $BU);Vk-K ڑTJXhğ)tNz BHpc=Nox;z'b j_If4Jj ]TG}UT9q%9dVV7f+B1 a$ etD@-nF6"qšpA'&>Ay<njS9jSeC~ўkziQP]d*~6uqAҴ6zFG%s!.UZyR:N2Ràm]8C"!Υ!-;&)-m,,sjɚLL`ntT.v..'ǫg>Fj7~cb~P}<V0I-)СI^K+c-ŅيBhl|t5"2>q޻F'3 5t׾~BunKXUH2~M^"OIyوa\X@ìi9Zc>l'ŶfK'y p=/Ϫ#GиRֻ F&{g9B |UW_eYg@5>4|YJ鈒*1&VZ{yn HQ"b % HOL-Analysis  6$,×P; k 5lӰt ڦgZQU H<5/TXyg,?^8bG:k.q"p y 24TwY``RV Ul.e_qFN= XCAt@My uocG7zZԦL%+XN툫2NF Bɾdq7i{+DJMH_/e(a6Еg->,k˞ÍH aIϻ?y(Žnb5h=ir:Ony^(1;//]s}~p.G3VfUjb|GoՃҚ!wB Գ[vERw ou&\ ؐI6`moIRxRm3A0}wcM2L ͪɃ X՟\߭xm)`q9,'Kճ`Sd& e{3:2fS94;UWеڀOjWLMR'EX^v&ZBєW 2LҴ+ÒqsqSφp{^>PI҅m1 6Zm-:bzV?R=0$~DP;[s[yk-Br~pw.>Džlp TeJy/9"pVzӗ $=n!ss.3:]"IwZkJ1/[Te=;P5rB}*ێz"zy_3 ӱ#6OFޚW#?VZ xş}:aMptiRT[i_Ұ#Rfm"D%s,Ϯj;,+`ZKE/dI2jќ,Μ!ck3Ic9'C@&Mbɼ@*LJ`at@5}%bMs"$Ѣt7CBRW޳$_\ |-<:㤹L1$@@ej]!T#H޻bG׶d\ V9mPS0bjς) S|xt6b~%lztlQsKkkC4l3dԽ˟_$`YĿKʜ8l:rR~13w-vӊ1ZS,.א?ɾa3&."zq^Mj W? Rt)M:k uX47"r7 lx]%xu#O<5@x" -dN?ڎ ÑTxrv!$#@aέ{+c74ihōKdYҪ\m&տDœ0!b&WKaSnװ Nk4FWgj5 P%VSQC)&YY)7.RNk@NF0pgKg@Өô"G̐xX4 , 6{I˖p|ݺ,C-.ɡWx8Wr_427=N P5ZS*qVw3Z~)Cx"e-3Ktaq3 "Fm_>&c3<MDJ棻*J7 8<}$BrL*-M/5؂qRu3 a$שOI2z};h$-uNHTq7l#yZ\`\ᇰjߴ>U"Lr7Oi:*?k!i5TAhpJ^GDUԂm So mX"h#6u}T!E,IQL#AaOk[qEYj?GM4@2Vi[5F+!}|9$tArK׮f "}bcgPJ33YňG8Y| ם*,Z 'C@b?uE<1YK*i)Qhp c71slFɀ: wk}3^+T+q=O8> /"~`&ճ(bصP8Z&x oC1q=Z ҥ+OҴ]}' &J4ްjpv͐a?TXȞYCvFʊ ~륗xg38&nձjxU{ROo n7x{J[R_9cXpq85W027X`bFv<4?p1R66&gLI4iLmL4+SqIv?ڬT1>]*[r|܆ Ҹߝ 4fpKkg lݤ$ٶ &l;YV`Rd$Z=/Kt':4)tJu<=s&l_TseQUD,hj̗! ;D)yFIuc( QUXb]_rR;BpmT_ ho7_i{o Vb %DFؤ.Jqe{q$CQZ#7sKAwvυJ buxg;227 Y*M.%Re"'Kd(sm||~5"rD:Z Q= 9ED7tQ ,%;S(^23ٯ8 _8nkGY&/IxҗhD( vrQ1 B^0k[bR =^}h*ԯcW_w+^Ud"3"}~e2T-SLqLo5Ò6&\вiE+;mpV_;cPNJ ]|V][P#6N>^Z}DBte/dʌJ)53VTB hf<;8 ϥc 9ҿ ,ܴ.b"%18K$S TyW',]L2w¤ P*=zzl[@jbN6\ix= 3{ ~єR4C4ȇ/aQ$Wx2u#ZwgPuymg0񪪚ݓyP/ɚpQ% Z(UM 9t_V/WД^-$ t埀I@ qa?JWl&ˇ8BI!QuWɦə]˱juLښ$,U]$a^cx\L#.I֫Ԧ{0+z&|" Ox(}֔v7Z| )ćyBP9Um.,M_`ơ1Q L:XCESIE/3fw}*{D_b+MyĀy|iِ秒ɈD*͗P1c)$L?,տƳ{a2oof-Fāu$čUΦ</jK;MLJSk^?S6YUJ.zC\Arz`%`Bl O &a\=P"Ź«z >r>Q[jzQw/u>ڳs\c,p $Msnz[bJ]ܥxHN(] 1s Qל1%$fP erD(IO(ÑĒL DTq"ls r`arW<{ d,0T(vH+tNxuST\?0wD}t9@f;hg?*C߁Uo<}9'0xhfΝW&+4J6} l4yѮ9a pLOOIN^(-1CC/[j#,ir b!X7[I/"lyT^Ji$j-ZH1'g |X@`PVl,} ~>F5 OT͊s̯YHem]\>9}×Vab.o^o] % ^qką 96jD[%gqJ ې}cwwj|^V ǒ}+ևB y_&#u uv6'Zu}>!F4T1\BB"iزK&='/|Z:t*T\r2s6L]> 2 -xt04t U.7 ytUBk2]beKZA C.Fz8gq~pLx;̃Io3O!V۴qފ4}S(vH}<چs_Y)lVufQOH(9X(<,A9]첈"dzՄݰƢ R&2_hE!Dm,+>'fq69/ GYғj@:sV ^pIt&B?*t{!g`&,&t PI^.F1TQGel XMYXyh.ua.) _DY;8,`R]݊Bx&> 8CJ]_$JEsb"u5Bv,;/!$%8\oEֱ948A~Y>RF|C_3pG?ѭy\V bQY2aM Ľhn4CSn0B5r:R]1 PNSVvXVTmr9 , (8Xo,2&UƏo:ԍ)~DGwW]d?Eujj(pY2 qƮw̞M 729c+lXR uD p7Ű1 <{i@ l"RoF>VF YEIPAz}f_Sz=cGΒ=)4 )REtэ@7OwXVWnM=΁ZSG! mC7* !)xXVQ4q5aHGjod~$O:Bgp^RVp1Q9 39MRu,g':fzUK11r¶; % dTy/ ~ fUBRN ¤ _up!hsXSBjAΠ3?a9k{ddm>5FVA{M{l@sfi ">o[ 2N(_LI-|w')V^T؏dYv~)ccn~s;lZE Ss IiUNT|yjܤ/\scbi.wllHg=V~^Gfl"Dk >eך|x!L p1~6g#j@"EM|t7Y;$o>S<:18uQgP3Dz'޽4z+UNԸkfqݭJb˶r |XF*l0&KmFJi< jZO'~͌*O}|ֻ @:+AE1+!Zv{v}uHy&2Y(-4鯪UPS"k;}?rYĒe#SalfB% #_G0˚ N q'LV0!k5zUhy[fC+"af+!4yj\a1Dz-rW"^ #yiornm l]b^Pv=yLd+HuUh3]{mg&D?xDȡ\HZy{l4xb3'8,픜 =YJimjhonh ^YVu4XW./ f`x;A&adFVJSӝN'm)7mHdʇT[@O-.ily岆E-&Ö!6?nXVn*|U뜹dLkt*}vfvcRy ܵriц:jdqKhG\XJ7*|q^fr%er;tI#鎯%+z JI@fd[Ğ53nw pLHx΢dev :AHaNdmnPl_>Sĉ5ɺcW }Cuc.ܶ\; lyl/*t7y/vնUwH0Dgaol\agsB:!х v"$WPSG>xً%*U%]/69Ja_єX_A!,-?۱.F-F\f 2lkp}_Wegڙ9ٽqHKݹΦPe+QAj3 c<Βi_[DC3Qu0uivP sQS]+-e?;<# E;BO:~hS}S9e}EJ%y$ ]i;d|BgOķŠq%Oɻ֏B0t z=Hb6kyD{ âo/u=YiPGnuCj0#=X *N]p?a.3W s/C7S\`.juWr uRVsgjCcQƶL^._/e|Qb.~|*e]ޮIq&ӅF) 436v*f_^p> McVΫCӆT>.?E9XbL*2pҵgΟZˆkѹH`%[ T^?vYQvgodߋ9MV'# e4vo(y3Oiչ-f-pMT{zV"6HGG:#%7gOq(*]*ĭے^"(]@ict·vՅaĨU/! Z@ Ө6 mBb}aͲ2{b$s =A=F|t&Uo,Hu=ciF+;m7 4D ~&5nXL;2ehr j:Hۓyd7> 2yᘒϸHٰh `^һ %L ]蕘M_ZwT]')pJ~+NjD{ފ {$bZpg>sEvTYֲ ^[FCĝc-:M0fXJ+W#p%4~F%HCA! D/Pc27(+SWvRl3 \ar߶l BB*,S;V#!V^%7+f1D*Tt7ljGF53-N, |Kqs 舛Se[8^5%S$V:7k+ Ku"AF{cW 7  w6gyPk2jsu e'ibfgnSuȶf^7 =4~_=JܵQI'츎++J'DKqZM\nua~anI)\ LO_lB'mҐ6ҷ_b"ny2D  1˸WF:CaN C[򂛮b^ g cAZ*{~Xirqder̃ )Ott&L53S ziq kH+T>őJmSUR2944`O*ӎ$Ty55S4bR;{rɤO _#sǩeIskK} fR&Pi_ [)k[JzqV!q~0UPdDZa̷ 0ٽVqm:%ݜP4 9"6Ea(? kAs*ڸq m/GԺIήz2+vbxW3SBgRce(-+ TclzXнlào-Bc n-:O FlAT2/wb \,)Wc2.oOޠZR E ,B|ĉB(rG"o8R(6swLWN*?JT̀78y3IwJm{vV ):GG|K$q:;MFO}̢)ЈQ` Ɋ=H6 K$3ڻFd v) ʙ}#2f_%~ĝ+{B4Oy6ErA>.;ʗ$K6ej6hl7/ fCNg~/U>eͦ(6`*qޕҤNraҐ(7=(TT.Y6M&֥Z3 W{oa29G0}Fx^W>iHա#Uݘgm+cwYBۮBoG;,z#ٵe'[yJb{ 0 qOoȍ첾͌rFN)b7ފ=;Rln_V;50 /հ&Ш¥A.9"(fi5]ANw# PZ,Դ:J8>q2d.'2:l%f j"Fcq(\9,{ILqV /%K3L,XF=c |x1zT&W}KF;3m P5,i6X8klIq;n04i\N'Q$eY^̟RX?=6\%WI/w.BV// lQ9uly'bkNh,;Z{(A4b`SimKoY bp/ Z; Uʶ#$T~空9ׄmeu I6sPfga?wDл|tIqCq;&>=ф~@#?*y4u(Xeߠ^ў 4zׇzf1>wWKz}YƏw.j[@r)-b+iFh 3EbyN=w8_!XT 3G9J:!))iAaZ`iysInHm,n(TqR_pHa5C&J=W$:,/d=1)ͳE?>ɼ7tXr ć\@-ɛ.aD2-v`7&wulJ?ǎ/2 8U_3F)8m[j7>wLᶡR,)/{Y/eh]64Q4F/>~ܺ=˕wdZN` hɚ uQfBCdy?~txW%_F@6iiV[1J⤪ D qԆ%]p7WSuD k: ]H@Q]w}X[7bi곛`)w[?"`{4* 4h Kvju~,C. h|X&T2c v|?і .+>;e2D)2~e'{qeE$J!XLP{E0_ nZ{9Bz޲x| t>ֺԖ}EԺP%Dq{c%;ܤ4{:ykgfq+ } zJn~,/r!,"Y$:F\\!NrBtOe=vL"ɞs n#m"캓Wy5w'64-%%Eh3:,sj}|#v4(DMېp q}ee ߷H!329 fk4kЉ<>X,9ݞր2>Cege4pЫxGYF s\O9k}qSW A6Nz =Xj7UNvэm0@_݋+wR:yȨH _w /lO00WZuh[WC8[{D̿.#o[.ΕQ VۧW;'1ASF8&R :mBTqIz.50f v855)+u`ؘMelJM:0'1ĢfXVLoŭ6iHJ^%h h^O@`v& 8 s %@awrRR)_]-m<0rŤ&4'x X5-22A g%Kώbht1O]AЭĮ/<|/I&O&~rv]K{r_nО_ ;\ Vk xdͤkU`jv}>ŃODODaxl/\*c \KOY-]ZT-RBUo`/L`NF;O#n׉e>erŽnxv@|_DO|S`Ҥ;VUmWݲU*PSc1NuyacGJS$Ez^/}^_ Hgԗ}'?8{C|0ڱgYZ7zXZִF! z]ŗXi%;F¼ja*qg2\M*2FkׇFq/Ala%Ix1Oğ-rm!%"q'i2+χfeX<򱡾YScQ/ls#:e9zj_*e]}3v졨JuT5 GNl EJ:JUz Sxt0C=TZ2p?RõEjidwBíF_Nu%y1X6"~EVTڌ=egJFspLē ~2tU`Ddb,x9Zgd2j^#01Y+"[}Gh^/}̕6#QC^Ext扗Mo1]mNGEO&(`` RT#ow%P"O:VS&]wϵ$JjE ) V_D,\n4Eg#C;8\eZxWYlh{w=LiH $ht( ,?qDab>" ںƀ"ekԣJǡ$R{$;Bcxѫ2[yndf(PIieU4CxakRg^oe2XeA5^?3cNc>O?> qO}R^0(h3?ST³Л}ƪ8bL|hޮCkpB[Ҹ^OB$S짅Ihl]Lw, ) r=M7,m}ZPקR%[U[R*́..Q[#tw-$<ve,[gk\r, ֱW|)aQiĵ {(48#ceeVL9ܗ}A0CaBc^)8S0`k>qqPiyaf%&<9T606'pVjS %.3qGF2R> Z7`,~_؄ ]l<07$e4) f I"ePσY0gdzƲԙ |p^֓y42޵+I#y)R͝"݇<٥בt,xt]iֈ dO7,1C8B(S* QYaсz2Lti[ tltBTUȊB]@ FZT3~~TqmKL)Ь@foi19ۑ1".x헪[ʍz3:AQMocv {j&y=}B"te0#PP;O$@h8B?mqO `XAQN+xb aA0$q9- %Q _Ԉ!} [[7^l\fڜXA'u ck9ҡ_jph #`V ( *"ayyR&l%loO97h2ZkU08vȮ@(ݢ&)&}y3%a+1!4' e`1]BSPCSv3'e5SɼN +kljfa{Y^i7B &F+;U ,;P!5Bҕk/#_l&EkPg_ {[K_?򱑾ef,պҲ2yG=+f(!䂰TTzi"3B&ߒ}EJav}خ>[6R=q s7jDP'(ʅiț ҹԪ,w)(|rڗ}:H<$Z?Hwx5Q3(3 t2:vҥ l+yϠ@"9aa0>QܮBh{30+ę¸bע*"zAe5ܝA:T77ޠWS=13)W'Bb#HISh.:j/\Kiߙת=rlT!Lr^﹊p7l˶oUR*I6~fvre-: `WlBݭS.s-84 5.0/ ]5*(~C'mPiM;2; ΎL-$#Xp7SH%g,s#)+J8 =ff-7A(dx‹Hs -QӀ`|]B?C=ZLY?Zgx&IalLap&|wZgQ4J/^h*FD-n\_z`4mAKg:&8 rZyӭjŽ;UY> Ko;a{FeF'Cфfn(Ldl2eZ6$SF$McObNM''xy~ܸ3 aW] M3<א/{N9CVᦇ4tIA+:ӁlԪ7C:\# LVH?p#w1n!90,d16+(9f[;dD}SB"W #MҚCl}Jv`#5%S>N:CbG'Ȱqsgr uϞR !Vch}|ˀ<%{4#Ar)(QB䙬gzn|D^;$qǶƘo*k,٦ |!}ʔ*n`Πc[*}?iMbB3Pϟc)& A]=Y̛Ai49V"hmhmI}s⏾/#*#ܢ@Nux{|I X.#k1F Dftqo~s5Ÿe-M\)T-,Y 盳u|!p֘n(<~3sko%vtCEY罟M,o#؍ΎX` y=ۖr,Cl0qF%ZԮ ̺U8 >Y{.,>vy7ꭚm8RfFW@Ѩf4Z@׃sRa"zF1)Gd=S+>Qg Agve;!Z$cxIJnè74e뙬r#"8: R ЩR;C@ "пtvCbyI >V1&XozCM@,z؍7x\N$$3,^^A)`JؐgD Nӣۗrxi> U7G;7\ dlDz!)d/c9RTض3 sh#VӨʠ~a?fAV%>:uw]m<8hJҿgo?PjXw9JkqLj^(?V1IȪ y?m [08KFU'Niz .* gӠO<0Vӽ`ϗMքXOmÝkȲ E q4%R8 ž@U/n& W*T+h4My3ȐZyOhYIL,]3S(1;LjdW_й-FShu=%2x<6;7CJAuu"W ^\?TvJ흄,ķGoĮ֏ >R]Žo$D<[{ % kZKb' k @O }אowbd4Le?f5f&S9~9(։+e$e^evIEge 2*9Dm~7Gb߬! TF4;%RVذ9ac_7`q|cwO>! `dAf>QnI'cpD=*%h¸_vDea~d)k`%Ⱦ EjGga1ojHGI2}ƌ}?Jk j<_$KwGZw'6Pݤʢ3F/X,wZV_@cvHXwXO:v{ !fXAe ,4rlji OV.<(3 kewFo;/u!}@| ̿N ,Tu0No8'EaOC~F##C&$'nxp^FVA>7&UFw N9S˭Oy3s\B׋>7O;|^~3MǒY*0aqtM BGQm &2#.jmr_G ~7^`\깕)Vy_ "3Q㨻E0)770v2'vx#~=iLqFAQY*;|!- WAH-ZrR_]y(t;mġ1pCԙZ?p]vSXrOE&^hEFBZZLz4- }ŗ{ 1}R"Mŧ7W NA׍քPht2pqҐ8ÁӼ1CrYWk>6U{ IIzu2jQ@@q5?uX nORh2;c!0yaT~ZQԂѹy-~Q?韚"(ze ;Ga~vLF [TU4KJd抢Tf<%(ܱzDč@U } XQ*]dN< ^:ԝoME@`]'75=0(Àf=s|{W3J#9JU>ȯiD$,aMa(`2=϶ajaxq7sl%]!(xbߜf% -N_ҟϸupmPZ<#9XWZD; ZTFŏ<\ߛy#?aSZ,? C6ժiM*}t7Q-vJxIr!"#*+"_w.(*p0g?loG^njPA RTN =~e(-@wmsL\Q3/fKT Ҝ7^,lil˗-)Kb20P"Ybm!{Ābpe'oHI1PXZdځfte>A5 $.ZsP$U2K6&W^QЪآ68 MtR,%N`-PX᥺ n^pEĦ-ޕz.G[~C?3DQ*GQt}s:vW䯉.`Tլ*8Ai-Ir}_L4NE.XoC'TAZgҚu*iI9PZ $3o~vR G0@FdߣԊ"5U+:J+ϮSˈ3t 6,Z c[Ӱ\̘[t<"Ņ*yGj)pT;2CR(^5#hڛ%`\}ފ? ^v@v|U5_T/A`r &M*qHMƎڊNGFva\ D&GL3m*xnJ_qdӌdڜ9FTIE8*i#aP^ 5ǒ2vvSoVT4?𣛑Pq>u]T)A/A- ˌ?Emj1߼229@j0`+UWrlP^2 u rzI1˙;v'&QW ;>24O%f*+%>KP_sՕ`"u4r]p]ų>mףUd'*Kx/c`)}D웯1J\W Mo0}uZo,r+m]/L K}1b%LQRg$b=JGNETC†r?@Q78]5 62k6>\pt.{Ǽ -Ӄ=#WgٞO'~`c'U+ļQ!bQ۫Se!BQ6_dei枖k62u7N3{XM{CSېNڰe"۞m0%i(#>>;_\I`6Ovg?ejl^ϙM\YJ &qenw]֘arF7KskT#&b+ۃ/Kށ[!çޱUsm~ۅ,tHQ.eX 2}Z! b*,|*m:G ?Q婐WcaiT&툦Iu18ѦT\m=G0줰Lpa¼=S+;#XZ<Ί?:~*8DɄS6z}*MPM޴#T{ 0Cxct8YC]p`}ުxٟL&iec zkќ{L'\v~Q0JgRnO UϦxv ~s+@z"ZGU0]I+nbٶ⌈.:S(V u7gOn,PК szz[}{e GSaETq`Sc9w{bϯ_l3 #g?8@Cz7fۖP0}g}<fTĴC)PH|3:4iy$@Oc]e#vfO,R > }Q/G=:0*}W5RWM騉.e vדeBG,6^k_W[?e(8QjcE&xPV}rf$Fh^{`C(9?/ծI$O?wz3dǍ={0#"yKKBYڊQ!̔KSJ|NnR 8 0OSmQP̭1 P<&]nݯ!Ǫn\1ƕɬsʇV,*29^Q|cճJYCpdկ#ʍ0u^ټ#nZ'#(pe 7uzPoHjkc:Ĉ|I,$ XCFBPE|}&ְpZ=aˏ·g=_)hN8^Qk'ujS@eτ{/U2"3fe.,,wfj\A4Nqp#:`b(Kr<5{]/eG%7Q@3M Q'U%@w0괣!پWgWVTW4Wjt\17KO=5ϋT/-rp$ ǀ[Ue.Mc2:MG(#y5Y{h0?M8IkۅR]a/neؒڿr>bQAJ?BFQ]}/}ϧl͡vqQP-J! )ۙp<@K@VTވkQWxyDK,hj EZ" I} -'EVqHKXY7( Q<CxHK ZnjՕNm{)bsd'ts+m:ωuE2!:Lf}}'3@2=Z `KDIԲNu2Na/.?*:(+{03%[W9 8 gX%t iNuӵc5TVFbFbՏf+K4cِ!F8.;,n[lB/ ˭ U++rE!2;I@}KsY<^=; Hr_6fyY3v5 ;0j8(Xc9W~-ߢsoN֛KBb7xEUq*ظwu>u2JBRsm@ߎ1xfLw[B`,(- ] QE(;gf dbVUzYGEu,Z .z}=gE{=X/& 3#ߘeb)C.49evMxOefX6M2Z qd1zkxo B P߳{&% O,8 BK;L~2S'"( F#%oLxU]6 ,O$Sݥ}[^Pض/ȵ(3?3n]j>1\ѶwK7=LVJ2WOj.򥻹AL]̴4jw7[6dj ɋ& 7{R'jI sOJi*!~QN[;V6͔Iu\ P 9%[Bb*vofE^Fz#7gjι7W;EOcGAMOL:lVmm v4Hd #l&SGb\e6Ť>f0fA#XR$g }uyz6?N Uׅ&>ۘ^lU /Ket owM/+Q K#B-NMh`FV(6E|n:{1رωLx|/=n!m۽xU^]WPzLVdk*g%kOP8VǸ>>'0}.=#lAe z>g[c:}}+d&_="4Gs>(n [d7 qӕU0ٟMJڪ'%ރIZx{[qX,m5#z+iM%{v9TSN*JLxͤ"_&ŨEEV~4 :Hj5Ş 6`’EoUw!@ր/4a{P!VѴ '*YZ/ZZ"j]?$-oO^6WD"_!;C~Muf_}YwݽUm {c["C⍇cj[>՞m οܷ"mR% R!SU} (-7WQ+F?Q&762{7|Ƅ@ac;XdE ,Qchd ҍ~E+K.qӣap+%(=,u. D+FKQ\za\^?2eTJ"t`pb$܂1kq14_ժU;”S }1yh@a ^Q(»!7#^jzVcF)83Xx¢* ]sjdy3E3ÏGy6cs-\tZ5UZr}*Gg>Cz L-Z60ϵ3^&A^82e.<Ճ1=C=ŏd"r} M*.(t[`ȗ*eGTsv2XF)45 %͋ tf9_P.ЧbPSq"cP(xdIer2=@8,@z1ugnoĄ O $CzM.EnEj5>|jխU*ʋ^Co٩W$9\N~WF†ʊ`۳tp)ŤkS#4 YVPTww:n}~Pe/f޲fa%Ϛ1v˪U:xsFAgXZs\E  {oUqsSۮo{nԀR &QĤ͞=p6.$Frrq=pP̡Ee+;t]M# D[ %[y(|RIpC0󤼲UA6/F.a$;f!N1xZ#{ 6q![:!:zeVkZ7F'|9J|L?]:)1f_^a>tYk24vZF?F:v*# IE5W[~6x7}r6L=r`I gD 뜌kng0Qa `ah uWj)D _WR[ʟ LepW'ۼӲ|^YAw9|‚zU- U5M-֛]È(zI7Khv@d09* (.Y+8 MGߤ^ PE,+ K`WA<ԡՈ#^H0=3eXO/,G _R\E$ te'?0>JgQsyelK⎟`OQr 8+Z|1fXo"|$#KQp?F8VߔTӨ^y~K}@ީ/df6/5B6{/sKȶ}f7T2hS~^GՂ0.2Pbmjtɾ|H%yؠ<{- j \-~2B޵nw` zt>Ke- yI%1ly}x[XzMK=4ձA1Ba.\E{KB\l˯l2b穳 bϬ'=,b e?O2,pXދ\hO.o~cڿK:W4"F.bXXq21Z;&A c'V}7LcIԮ1=^kHd?-˄hwc|1*ZAz<:PuHBHqo:,1Lwfn`y*(ѦM ~WG15;VRQg3-aOdXD >\u|I-5c%=+ҞDTR\#qGgD4iVT׼|-&j qJ`-2("mO,YRIrPl{B/ZHg)VA\@  ݣC34K @'Xt5e+MaXfl+9"d04L2VЂpQŗ|k +h!n$Flj'O:ZZiu)tW0yy1нBYvf1!RQל8 NSYdBnYcۂ ~u=? *$R4@1(K.Q1< G\_) 4~P>cG"h+op1\Z?G_*Mb+.LE33!ҁq 3$~ĨW9#]g=iH5)tQYtNdkc8]~fre0pEX6^z  G9>Z4lL.nZ lX ,^Rq;O#pfXRfҖ੬]X@ňjuDՔ'og#o3^(P^Š!{q ~-r&W1=˞ɼb.qsI< i}>Zz7jO2Ƙj/Wg=]].7j]"'<.Ӝ\#]^g,Zz!ǖ[\\ k +DhlIK3&5o U(3[H\Xt2Zli R|Re:)$p>(95X"8|ifmFTeD o@Ve]Y*\Ny;+H̻VX]{{ W,@%Z඲zDzyt@6bWcj! B`O5i)B v8jC5%L"xI}LĻA~}k&'M4u*Pbauˢ›l Z7uS:}+*mH3XgaqљVjߦӑ춰k{B=5ڳdd@e(ak=;I${&*dR{^^D% /U3Βx8[@v2q/ |*V08$Gm^ω?% X隠Z,O :}0~34 ^8O~#~FΧSे@jrW@^<Kt̖h?5;8N}YUC:tv8#S4N :vBH* jc0[a#웶HjtA! ?ǩ#FM܃/Kt؃$pēHQ C+#VX <*paiP"uo{vWeO4OŠDF6M-)+>BXVH)*\tڵ~<~B 8R4zF񘥮t5"a ۊv;)e ,SF.i9R ~-VdU/!U(>ӿ  Y+ɤJ:G4 X/jrTP/Aʹ)wuօ=Gm s̐ M ]ExAk*%bH NfvHg^eGRءdu KP?46,̽!J^K,cz\yVrwtgR)' >,@<QH*ًRQ؀vUiB݃ZBeKGà3 ' L"養Q͞C'KpB&RjJpvl."̛@𒛴a!CuL3~FSiDV~ ~1!z$vmyacL܁EcgQpݒ7 X≡᜻,Y&AeWZޏ+{~%~d^o䭨`CY5/g٣.#}/um 56w)Ow2vcbk+Jj2pVt9;R=Uj먿>`O.Sa[be7L;ztW>- &i z#|`IbH7?3_b.x3҈ ͍)`Ǫi1qHvuLZ%K2ѳF.gW+? Wz.Xg38ÜY%EV 9?h]!77^&WB >U{-D=eɛҞ -9b h]KCɕ@H3UK7n{oB_Z&'YoX 5eWvM &i>|H_"'for>KC+HCWj:wtEA7HBIf'"g԰p\Zg1s'~^j[ &I3DaEeZ;}1셨=}0 6eZ ϦEQY`Os0jfW(bSfE]\Hnd~ Q .ܜ|r V?f%}>_9)Iv@k%D6czE2'Rr񟥄|~6 ز9;ë@@{Oc(#XGC40GDbZ wnRۣtb;Gz{ɯMBI:g7"<;蜮B4,11$zM *LWX_%Xd'k˜^fOUkޗJwxM' /!ٕ!L@~2~6W|蠕،eJ!|GPx&el7:6 I@W>huv]0 V2`Q혞-g"xw3"-~07YŢ-Ynp"D?Nz&̷ _-3# ;MhihJAV &~ix@n6oE`PZ3`oY{n$&F 8$m؎$X!7:_1H1XQ1lTk:3bBai|^wC:jG&d #a34 Unpt~I' *j}qߔyzInqE&;2K4l̨ԠmR2$VKl/S9I~j;t՗F !$j: & oaa#֡}~B@ɯӣCD(<|Lf '( ~*kURmf}O^~w^ B]h̺l8 >sOHbzySmmq3C+Fw32 ]RGJyHǯב{W5KdE'wLּxQ`?fWu u߰$/yR1Hrs ._:yiuK9ͤrKk0V ߌȑFpOwn\e 5-gNI_ 2k`a!;hn w}K%ހG .VBA쀶V~^PC-eóמ9}|*PMJhI5GphN9\Xw0SԿ' jn"oT%ISf +̿YВY20m:; m#7S3Fd N lSJLb %PQ4ū&y~/IyE^[< 8 qv6կSޛYʙ_j6 ؇C&%i&`j+G~4; Ǵ|Exo' P64NelC&ZHx:yd%E(o<Ә+Y6< SD)АRJȨh3]緗RYkT8+#3rˊԼ_;keX~: d3ZO+& #~^10jۥl: JS -ƧpQ_;H8ISpچ3XD\y'1OfVq#ԁ:Ey%[=-Lf=W8ƾk1suI=!ה"rfsZao((h81zEe ̆Q,Y3;9yt*48&WH-T/ag[:_EAbJfHf&wK/D>hfbJMalTFIDS[?Ь\kFNGz{(tV `j`-sq:!|;JeILTcĻ@Q;ƐlAak,+XQėКTRןdPҩŸV7<aa2x=j2'0OJlZAÐ=C6dR*Ѩ]f8%!&#f?Z5_{"wP;g;Rp*N)m @ubzII.]&|  gϧC`LGR R$J~w[U'3o9G `댦M"CӬ"r ɿ}22!F)zG9)TgGFWXIBܒ/<}*fޭtpL}%̟ʃ%qPOƕ$ Ю\QaFs2QzoŘxMmp%}n@?]}hL!{G~_8Oܘ+cxOA\ƶtJ ?kYo]_*r0Yu[JD0I(Ezɞp1.m UeY݇a3OF#HF*b}ʓV(4!r\LۜgvƪI_i3Y֪L\מܩqh(oS# pjʐ=-a#+m.$&6!1Ild.kP9< u_ e\H*EgISxm! d-`ڲBX;$Xm/Ms*aFf`' ܉D.$r,Qw1m+fJKW8R6*&*VBEC5Z)ոLkobo;$vޕ|h( Ή)pTInc@ʨq.z,.5qxn5ypyE:jC͗DZxehNo1!`}UGz*AG+Z~ Nږ6Lmko5 {@n!iQY9)̹b,: Q5-\f`C2uHE1'HpɅwꅖ[u1{2f|˻OdmOqzrYgjW0ִ&c٭W0Sf |(گwEZsL7;SXkMXlp~0*|&^i_cyV'@2V7w'o昦A>*4FRcbέ7}Nu^bHH\Zh8Z;Yx '+| q1F3#H㏥hB6uҏa88j8nAͶw%E^䒞J,`"dKV f9\^Cc4`?P7n+VU ^um˄_ #H )?;𝛛[Z_`7y]ηtPC?P.`e[{*{GϺcӍ98?fWOBФ|%+xmMu4 MYS1JamC8\].JP^E6ј%S:} @y{7mpM|^i[RB.6E=O)7"PrM#%FdGV/0uI(lxBe&k՘yrG4ң^s 9#r f~={^O1eЗ*(y#c^zIvk)IG~>Ͳ p3~,!("9(0 ~&ÒݓV\pKE&h_ݵthvHIbl w=3_)7Ze09VMr;jK Ƒ^{qq0ol`o[!3.)N[ؼ .XW)[-$K'C($9 Yӹ(yo}t18])QL*uNQuN4ԃ dSO}9o+;SV [.x[{K1yդ.kIΖHN竘٠ ^r8M E3H.F;)=Mk23c:>ӝFeC-YEf=V:3'EH]7nܿ@mu^\γV& hbf6(r]FG;da6?"B;s4ݼ!'),)êZ-!`*{cF5Ig,[ߒLd\`n=譻p鎯qŒ8wUx;5B<d$99VAUk%6zӨjrB^C;<"k˥mUЖߘԱ3Pj1&lLǡGSc֠nsQc3&0w& B.xu OUn_:y55;5\h҉zve6Gc6gso 9PtxZuMQupYWXB*(2{ӽifA/IMqM߼q%e|I'瑉t4X"1_s"r#xORĩ> BYgFOI: O .&ܖ$<rRu/nY֓x f#[ZWVv2,aذ:Li Ha`J*mi?dSHI3:;YFq7<#se+XbJkIy?5*8(P}L) HgwDȀM]mSԛrgR(LTEX (5I cr t..\~.IQ1~`J $ySsuFl2 G:xT/: ky^wk(B8PC-q&$vF{щk2oLvNsgr FjU5M)-rmLNzµBKwCHbqQ2x@~8|'D `_P0fF0ʖTf< ȎHg_ f;)ITjrnP_tB:W;Bb4 aDFb'/o'VE85ʧ,ha9|*֘f={WHQ^L-ϱ9$Ƭ!AdHA&/8,U$6aue \ꩣ'Xy>QS<=O[b4—31B* ~@A T) #L$AZbT8 $1PU&:-m/-2F kI-R($ A~EJw{)eMb οM=f5N(z% | aY⤒Ԗ gNXq9E]Hdg%OwL׫7NJ H5::aĚ/T_ECd7vgL(v{fBo:֦ֈ=zBV]kQrS%zu@*VG5mo!q]) զhNnV8 {VFأoy5\,"j]l a . |Q?<0<>Gl`ܴ#8O+YoRXuHᎅ`S IJtN"낧h Mx:$1˦x~~G$WQ[79!ʹ}2uS G)FZߣ >:UJk؉t`MI乒uVmiGD6fXESaEBP!W猟Y6D]SM/2ذD<ʙk[ՙXg2(ARMDthRi&cY?9ރXz>A;3 RiVdB&;@e>}L`9pÝ@t0Ȗ"Nl@0`u'>+G(h8 bD/ors4%,Rv[WwHUiS/zH3@Y/ E.Db.?J-pVW`J\Y6l|:(PƉ̄&B0'C_\D~ 41:W7ÈcL\>>#)ٮ5 /m#G*|OSy$BaA/SU}D{Ӯ@%9/U<3nI1@C`GU|{&#hX0z&bN\EjacjgTMfB_)~5xorҜ؂uܺE7.92[QWP2*^<ЊHHYh8|Ve]~Z+_4['}8\ S"*[e {TN`E3Gz9cjvTCzxYf,%4hROz[F76 .3}AyU[HLt)*װ70S/*=KJImecl1/L]e7pß#_ ^bFqTFPwE\=aC)Kרh9U؈nuc |P{]=Z,OC%Y]2L.Bwl;-!@".Ѱә} 5j^b-dPs¸`_e̥ ^=C](I_y~70!OOʃ.>??M]n8x<ஜPwo侑o~V0\"7pdB@+Y6fpͭAePtnf؅ V'˕ Fian1a82 WE;+݊珿?vPo +$pmyZ4ɏl Sdm1 D A4ZwAئdp[5=5'zIZċJjY-%t@HJX;@%lҩ7$)ȪβjOYcSL  hi`&Pv{|^ ۹T~N8 YJb%BfIXh3>l.h`=Ay"Fmedrc802&<Ҍs7G'@T\T3\W&E(60 Uw3Kߐ5K[leX#KIך{ / /w^ш@hp^p~i1cG&ME0naǻ2 75bǟfFO.6|[phdr= ^#^8GX=(0O&\!0qLJSаת<½nFIy9a^O(9*@ +o+ x@/&eZGEPPKELÍ<:~/OA?qwm4ko+\z4i qbtώw!\~H`[G}*YH#0 7H_)L W6A -!/xϱL*wT}n֦H35SIJI8UJ 'j0SLjLH_7VUk*ŔG/^99I+DAc-&l vS]T?S @'&݁e&ac%|hE6e#y<ػ/ҧ3&4g;Kl8} 9어#un͔K\pw~_9 g?(`,[\q\࠿(6ve>Xuje M8]Brb\V[+jp0D^0; d;S%77G<4]N^ϕN΁BehD=xh` =6\0$F_Na(ۻGfCyV;[Db=%khgyP"S}'mQȏց.\>3Եk8<㡇_UE`B:A>`͌f޽16(#{~je2QWɁx,Mm>΋2e6#Hce+`8r4x .U!s'}L@C||8?`D"V;4P &Nn&7vCTѼ!K>ϊVëfڱIAR_6}Vsʤ D1 lB N3;nJyNIWnn(L3xQDu_/lrHW1N8 $ʨFRh@p{Ն4_ҌguCH+_]_T}@}@>ڞ2_ΟCY4YI :A?^VM<UܞRb0}[K](ټ hYgb:@lQَXBy5Cs#*]3m};V>Np9p +l۲?uCunp$XOS3g7'AM:;,n`R q$x%02Ȑ0ӻ?+ʐx(`q\>ɫҲ-4B]l"|zL^x+/5^/3d/XBo ~K~栗:LYL?돎2͵pr gM@c9eRu`@e,Oae%cs_]ۑp?mh6N m`B~k|ͧ\';Y!=:$$v1p=Dzܙ{x[=K<GtǪB նԢIA: !hۓVV~nvi ka ʔd2/8q ecp%C\̻K=^z}眖?vF_|Y'd;6_cODW0sيFU3m^2~{M̄3 Ffwh{`B Y{bԙ:a]=–NjcԱk]qJ/ꅅa?$ТiMiĕ'[ e*vBNwdh;,VEҀ'e~8Xl.,%# *'L!\u&rn^|XBk{<:mkR)TysII )ˉ.D`y^NtRn 6\i5M ]_gT7B.jȢq:zq PcGܿޞ46Ai eZYvb־Fa0nI`忁]\].Y*VxuXOD '(l}s$(YbLKkY̅'kYs|wƪݩKOg|6#11% ]myo8*:Sr?[*!IO_i4ۦfJ q5~CO;?v`4WĶu"T\vT(YxaN05Rh̛8R4J)}t<6 4(CU[nڝ!.ݸ8*T/6o..kn.YCCz!V (XeNA%<-ưÚi$->ǫ#q{Ri:GiTef#'i,+aUrZոxbOc,3N@ 2إ9Z\yU떈yE+%Z= {X[%o CP2aȠ>NN5b-j"`'1boE{ .ѳվQ lhCW}ΐX|HjV0VcUߋaL Ι'aUQ1Uf~Yf;.<ĸm;ɓo15\QU^%_eاrGȂtћ(vK &CjJke ())>>}?\JШ=XĨqNyC$ZW3ЖY/e`,w(xy'%,q'Br}lxjX;8A]$Ổ ꄑ+!@WbIKEN>DOcĢI7,E)d ÿ9yW< Cu{S|\Y-A)kvՂ_)2WSNS_I^fYʨ_q0WY!HB޿ ㄟ"pDªup+b4={`27Zz!Hǩ<`ՃRvЩcn4,Q5@!aP+_^G;+ M4ǟ yD"9P=G]c&$Hs^z\ jF/ #q( '.+!d+5z`l;S#(%+}:Y=[6-! US_tc}k::]wdߟqyl:X&6`vVV[`4l)YKAj֘%I*d|bA,$T@%0A\4<ZPDrT.߬3U~S[eC*?KD?F3KJGHr *D˼21;aT#Prܙ|Zm2KɠcG|@;忿~~&e*x>~ E)3J(uxN t `_3;0+Ot2]b؃}z]`+2c9冂RdA yThoslyNAADkl܋5;zS+$LuGXS^ƩH$ 7u RkFpfMl:j6Of}.O̐sc,TB3^И'uZՏ Z\] /3򃕲V$X-jCPƖ<&~t# TG=&6dMtmt,mSɮEUC|O+H-?+-D (%ŇB gX"II PDPFb"ez$8RM;n>4YSQGy6V-՚Žwv0ƅQ Ì0tSO[ nmCzMj"gdc1 x{_|pNЄm5l E^\˾"mJYBom \Ɂ 䯙rd l/٥*я¾/{+fKsūWKku;UŜ%ܢ[XhBryZ.b[x-t- 5(ۿ< 㸷0F߹意NpHdAQx,rD4k3!jqiɄ=)_7W.X%,ë`fm/tpr ޖ$%Ofy+E`e|֗!6uUBuڥΦ|Ľf̙ʁbJh._v.D$E)r a-FIX29PgG^ eɁt| 6Dk@l}8vw*F?ϳWD"Zudj7ܜm`/WA|͛Ԫ™T];nmQ-3hӄ? ߼=P:8Tӱ"zՉ?=4eu~wpu{BLpe1*z{qT4*''zy.;Y'4+EM ~,> 3f(d }oc\Zj';`* SS0X؀n#'~ǂrbjt|*86u$+qw.b1ߌ~>v@(c5|7XqEaI/S WL2rR<$v T{~pƤZ㿩tIRC7F6aeT$̭)X*Γ`^Cי^gΗM-% ܟb4C ` !wchVg,!( 6 DO:Q>Hr KV1yE~=<@!k^|ۈqp PI H\vܧU3JWDe#}@M/XDZqZ%X k6uSz3~SW'Dg : ;VIYO\N:Rj2Ly^zv%ޅլBA? yLv*%7:g_J$14 '9WgYZce708dda3916275b62518d0e95489e01fd300359d50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a5850724a3dd9482651e1a4220ca4aa09e69b8dabf8c99