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 WWmzL$ ]/ KAD:threads=4elapsed=178.407cpu=297.544gc=17.2727zXZִF! ֮]ŗXiɟH)0%oF~q*H~߸w (oSbjg=zd}N摼--a1ө^L%!ۙqS#C1, Rz:qd{>0hB8^( m36Z;Ƥtv.ILVEV&[EwtMe -Ʌ>uH<03 Q$1cƷN CXkR8j҇zEO>!T[ arӖp= H#=Y+= {\CiF74#%I7| ?mYKD\KzO.<9+εBP36Gc*).90a2[R! OQJT5ɣt9^PA>!|n,"F:cFGqqHO5#wĉ|*euWu= A{N}?pPE ˔XUpŻt[Gkc3ED =ǸhO"(+)zmK|ƥF,nc M 4#j0HZsTR @ E.y10Їn8'A,nϳBڼՈyOMUu+Z/t9LM8mf,%,R#Hh@#-KK/a09*>?=xy. yQ ~N[J}BCmv0URnQ-ԩY;%+(r"gEng¤ܤzn&ج+2_mNfrԀX%1-%πbE%Vx䌎SƙDpnv"4 >A}3+ wuD[A_7mQF LPnE"M~i.w,D"/J$#{nt(2+NjQDS:eOPCpL;n!"o6$wJ:@$$nnY.+[ 5f HZ55bئJ5  KAD  `ӄQ  13KʕUH%^93N[*C“PKzUgL'y'K*Ce8E.#Ege2E>RI*/JuҏvW2߉cݳ*HRJ%XXoXnC +\/fk2ZQ(Ӡ},2KcOj@Ny :Ytyg9 ,3v]D-xQpӽ'Bn}/E)mvG\߰3{З*5yʪZI_??>&V,gz\"a?x":E )Mz B#L}ċQ,(噑ktoq zcGWoFyMi$ij!hcw1+)3zNVS!D88-ۇ^a]_ KD4r3vJ8!iͅ3+\"O#?N<7GKU+@vn21t2{jܪƇd4yX%KȅW;a!ryC'c}Dzοآ5Cnʞk>6Qa }$y0○3MĮNL>X%'B`8`Yz f>68ܸ熕ÞcyyQK7CBim.S3m}4wF0/(jP$vGޡپ6|]|֟ ˃>?P+&̌V,9k kF(ED\8vTָ-{X"H$I= v-cWϰ2"S8S:ɋfHK#cA.&)]7 KmEFDFCfJ / ; GfGK9w5}7! ބ~fS' $2Ked+Q*9ĥ8$n_P)%+/E`LhTgYTO\-v [yI1A/<"}h|znTqf [ۛ|Fרw#oJ:?gT{A^w^-eDK"$#9a9nc>qn '% m,=dz4Md`5IB'ÑLiOZDѹHI&grw!^ J Vr1'ENG0Eiv\z1 Ӱ.OQ楽Na-cvRC_24F]߀: *p[ M'`sH3~#Q8 "DLoih$άXI y " 0qXt rra; }oEăY.$V%P]dB? 3fYTU?@d*f)C+bίy<0b"yF#]. )q_U‹bD^gd#$g ^JCQH_~.`L |{`]uc@L,Nhx] ;nYϗ)'ѐp6'*1wHJY@ҰYRiB@눫{K{EH S{m' so0tP ő&Zf$!R.20OW?l(K z!G Yhm?EՕ7A)ƅ'Vckp$BG;u'1u2eLV[UߺBt Wuژ0xd' TՕQ(ZE[X0Sj&4\󹬄_V0ZcR8ߺ7m;q$ǻݷm!" 8+d¤4~3;t5 '&fP0U.+n[8ͻTRY$]4pF#s7@7n2rJg쁹[.yAB 1t7N!ǻ߶kK]6cv 7M~P;nˉ n,')f"[P?D네%]W@&_qTce6B]?1xa`-5$za͑L-ՅinZ,L%b7I[, < i<Թ{rhFy$Or5ǏBk7G8x^!CCnѬ7I4pC g,tt-= pdm/^6S(&4[JB ˸(S{(>,;T7bk(lſ c`^&]mrj1' B5F/r>1Pų3v n)w6mݽr ЌP{YlkB@hH,q@!v$.}L]>0ܓ2s?[6&G@D]EoD[.#ﺼ画r|zJpL*~fY9hdA/!_'3HĞuc5G$SkZMg!=^}$ ǣWˡ}x uS_k1ikL#Biw  f$Eb 7ʍ8qy}PcepeIڦei }Ƒ Չ%LDRs6SA'xl.!9 +{]уݬ8f1H&Υܭg/zs!i7:쉧ȇ桦 %,OMLyoWȲ^-_kU༓@o#iҶ 6]@LdXL|~zA-[*a>mNpi#m:K䍟G}RζJC:ٛdmNjq4UnM8~7#l6 c\NJ`\g&r&zS c\^6mX&6wJEFBmW(H\EJ?v> %ΐ:{0Ye.+OMPr}~<`g*Lu_?$Y SFhFu+dSd$H?&ٳaT`5/Z% CuE F̃de 5dvF ،X^ȘD_nC.\M֜r XR6 ZMDFt!15bAȭ '2)u~]sDp >BKA#ZU@QC<eeI=0Oo~m]8 mm/S3\-^;/WGȇ͗-J ɿ.ㆮ*tl=ѓ_s|ϟ{FO]h=rå?bG}Yb|{|4ex-n5ct?n̏OVֵ'`inHUˎ-.`O})s7SY mwX ]d*9"PBᖸ;plڔG2tA6;eɰ޸Iˋrg1S'~.en-8ti~D+E~4?5&Wbw@±ZSl"+ FRůgn}N)uI,wԨ?ڍtE ıxE.!l԰) ~(4\#$8{W9u!bne! *t\jp3]h*:UױDÛi?S^BT,5nkP>o/z?851>Wv>7ztRO m*.M/U4Pg;Bv@1;S_N fFA(P Z3^bD?3k@>JKT(-r|o#G!i.MybGr]<@LbIO*V-sm:l_%wT2ky+yTpT&BR,v=h8gۓ`qX 8wN{}ˍЃYBʩZV4p05 t;ϖns3n4J4CTɻE4HJͨ2 JpJEjV1=%8+a\ωHTN6$tlclPۉZQ\*B$<{JMT/5>GmזtݑnXlCRiYov:e?ww9_IV䫐 2H5b?17TnÓI@۱ee_gWSQxdB>Jq(?jXͬ{ؠelI0]-Ƒy {w"6_"}~Ҥ曫]8ծI(9,w +F>daY _;@5MCv c3z|@Џ j"۝>E Zu^_8{\> m` (Y(X[3ȱrRZ\*EB*h4tzXGn0(.Jjrn&Bgց ]'C0tpN3TFm]D&mK`i[k#2TJ} Ug+y?m+mE"4cܮBPe~Nm9QO"+O.M !E=?D)1R7({cUʵK$xIŀt l9S9qjUȵT/W|9h=m:a\ ~lׂdb43tϞu:S:K!D/ԓK`GmTAҼw!M3$6W퀏4 #v='+UAxiՆ+ =ނ[ГgHOM~# "`vҎ@NRׅ^[} 2vkjuN4Z?¸W/FrsK>K*]SuAЪЖc 7S÷Tڗ=ʀ !G^":2|g#e%[v3iEu)?b2m7&PɎ NR OԘ-]Q-5:Cϧo@R O Z֌QUTFn&nh\k[$maVݵhH-`{ go6 zH9DgI*T:7?#~wXE"C,ung6[F@z@FҁR6\m#!I!=Izt<͜rTd20vjoܫ ΋Jzr8Of|a}kW_" 9H<Ѝs~]", (#(Qu> <w]O1l -Йq!t Ir7ie$04_;OIyù e|ZQչ]| ۢ&Q[yG.#&ᯛ3z,SK\Lѻń{f9}g]A))F!>.Ili1PgpȬ\Gס%W~\ɫ0ɴJ=T\_%)(pb/-_CQO7nq66gK'@;m7s!x 8{wI+Y r\\2b.Y"uwft9c*-viI^|sS+]뵗1#h\ѐ-n8-ʢEԶv#'|볁x^ӹ#«!2dX?wgz68,) P}K9+ZPoU %s7|8$'?!sIyCIOr?2!-zťIg=dRS+i5|F))DU0\oXr4 $uxK6k^>dW7 }#8upcuOMeP~ݮCd:$W$!ڤMRKZ~,[f6`7e:SkҠ$CyLXCkN;̤XhLPb{ZzݢJC iPF , լ2Yv@1 I "ئA{jE>PyCe#H-iyv?=?.dٱ, un-2YHLWߎS[ ^T L5V(7K2jE' MO*DGkO=:H|bҋ6 } v8doLV_#(F"ZQdM}M/!\P(EqIu5m;*tT{f^DT.Bn3ԓ4}''9=aqjbb 8wam<ζ"ǟLE.*nl^Ino1UQo+GIȃ\,r>DF9M) stMk{v<rQ0LӱT+B/v?1J}k;냷 ܂M *|FyAzV]TDXa+@S9:8x۷6 nq~|Rʇeм[ʿ %b?W 5Ű:[q 'hAnQ6u$n!ӂQ-%cKt[EB%Ks3eQ,-7)\~:GqKh`KZz0$q ^I3;u8լ%f u&b (Im0Hm7R_(–#pPmĞ-+3s`؟ {IsjO9?!ف 3O D E1v\ܺL:꺅Jh^ "#:~FlPf+ S4fK~հg~\9 [O\l ǽ[a%PƂk7ܕ I6g H-]IWh[$]^wFڢaZS:nF:v ^ӓc݈aMR:MT1Y=ze 60!0{jK1fAx&,w YQs&AP55 8pANaqJVɒB ;@5|֪BG2a9$a$7lZ.t[ǖae5^89ʋFo"#Q{ aĩfF/ސ݇Ϙ pQV xz?^CS@G(/$H=yjzgۥwcJP`*xs(\LP'{* PtVlMbd{%t9l凐1eg7k_dC`ӷ&zow_SKT-9'?h _ohˌ.TYf0ھvvwz>jcKߖԨ?~VS{PGT;4)?3~+7\% %~EgR\5L4H4i";{kA@W[r̀' Ed_&vRػF`.\!fAWyIh᫖[1o*)_Vm+4>+}/ Rc U*V+DiUyM@>VcJ &:mjCbK~pW5w:T]&L*]Q+9{U ܟ|̦P{xxiN}hH}jLAAǰ0 /i^+D\X~q +5ftrA(.=u]ʉO}@XW*;C5!'EW5lv`B]lgaԐy&a+ym[ N;^'^]!|z=@F/}(WHbc6a9H y<B|ЀSWY`J),)U;t9CɏBH̤8e\JyHžU"f Mkb>iq%2Id9iU  cZm*BJ=9n :I$PF0wp~߉TZza MqG~Ugm3&"[fLKnPQ*-~eǝSAu^!fz;]aFP{rbw:=ou׽J9*s^hV4vM2vm !QZiIT^vl]uf<^6NL)?Q#/>cnx~155 x ^DM$,d({, BXѩCadEkH8R×~&Z$u,Aqo 03(Fnϴ_s' EѯvtiHP?Ւed- `BXcU<{_ ƯaP5Iį EM1a$Ѩ4C?5U>Vwܼo3#+Sj F']?]\Fg_M*e=|GAӮ  W7ۀXD3EKb܈p][=Ysz0Ւ=-5v_8HEx*.$0l^p͌uI?RlHz18M8|Mx"+͇)Y>esQȓ#~* 1 ':B.r!RfW& FUju ''}l9%QQD+afdpW "wzq'M%ܘ&+KY(sqRıajx5?v٧(x{3؂+ID@/u:W夅 G)/_T7Q$["[ S+O01>S]/K2 5pɵvC\ߝw=n&Baa*焋~ؽE"HA. A{{֛0ige#ZWeF}ber‰Ӝ5(dyF }9*5{vοs?܊/m a_[α.MngR:jѦuQf.[!r(tZu|R8NM=L~Ϊ_A{QdQۂd:ۈԞ߿]U^b8KSkFb$^//i;  1Y josFM7ZYa`tI'XS.?۶bzEd0 1MA除+ҲP)8%ʪj:݅ɬȤܠHnZ;صcqSsBΈW _4[[6x $4'F*W7X%ݮE~rP O, 7ݺY vYpj~f-s!9:lcց0vEA弶d\pڐ{`tᶮN]Nh{Wf AU-1\ ޶RX -\h?kG)-ZjZvl*>*// k'q:)Ƽu 6PT 8ۙ8ؚUJ[c]qLj%8eS[j&RZwPgw ^$RV0KI}2sߣo. Z+).xկ)Cy{1g\d jd4IzQ1% MDܓ?KYi'+s*&(,χc69 8mkAMO&6q5kt#!Ը~;6ʗ 9%3--7$Xvԡm?*1o)IʁOvk3a؇ S⑕{ҭz7*Oʜw)@To8s,T1oDبUis,eyR77IDA6hlǑ5+U$a=`hPy1Cl.Idg_D{(2EOP7뗽M3J;$Hp/L(iq-P甈ހo@jK9 utJbnjwJ^bGɵZ.7ޥ%p|qRV((,3Hۡ#`i uQ{p.LYɺ \s4oPoj]$ُ.Eٙ(~0h[S֞9bwB~R$ɘ˱*38Y-)쪺<6?ѷVr\ طuO g]})ӺfCn<ւҍ.DFlI꓄Ĩ2*L%ܿ%L729,TaNWas+N->M}JU m Dp1hjx1 +ɨ7s?-2*rYDؕD.VgGJ]n؜11@TE~2w%Sܘϵcr`-f-zrb=:3Zgu.@:DvЃs|_s9Sg&y{Šף,讂%2#ḩ#!4%ӻfl 03P@s vqSp?]aev11"oBsD@džu~n^-iyuJ0)Go)Grku;3ļENbX )@iIK7lJTkY~:4Kmwf,Doxbݝ iS{¿}J5gwd5HKY@1żhTgǂQԛWYy` !"_ uR6mIhƥĸoMNdjQt &UţtʲLG >yd ܒWSWiLF\x6Y<͐'/RH0ӠTarAbfj%OJYYDsƩGX1nOq%!OFS|Iއ8'Y$}~}a Z:v;i4cLJv0=88 VBVq㍢Wf#}ӊiV\Ă1[~pf~iВ-D8+Yx11 dR`sLQ#OcF܈nv>wuu%r)S\/p^[pyZ-4ɓOLнԆվR˟8)9Gxm?Ioc'xetG[uNha;X/7|~D0s8x٩1LĔ$9×_M/&(w 7L18"s3=_v_smJS֓+UeqWOͥ)+|uiXVWycew/`0P; )Y󂬗C> ފ V&/&>O1-*ณ@iTlCn/C }jŮl(`6""Z`Hߟ悮޽P/|Z9jcF2Gi#PWSfMן.6)%_ WNvj f:)'W'Mь$4LnZZi͐k}[Kq7})6Yiyل_b_pN]:dƭ:NN9Xs:aa|F /WSQr73ǥvi $'zZ1/KW8XA,D<=`$u}O]$AŪų9iʲM>4J9Ǩ[=6?.v|n' Ra 6܁ϐv!"^ɻ iHe$U"4ue<9ԄNy 7'KyF3e7g(?=Ji:6%J Z=h%)ֱ!wժjR Mȃ.!,q xJYk!$땾9MIϨIŨEA;zrVp8?ՉK.܌+05dDkoJ\1:k#֐NXX{Gv4<iʡ*PF|PUl:<ڕ-JaignҐv| _C=uTfUCсyDg3j%M$]p+ dt!cfV 5!Gm( 5x+u&n8 lR_{Jܓ&8#V|lsYM 1#^e~Ak92R'v3n'}"kϏU @t%@#c`Y ^,E`B0Q@Q1r#QJkG}'XLA\sIR,HqYwr  3>Z pf/s`Wi4c.ﵮ Aϡٱ-ߑwPUۜb%X|\ hSF轒)^ӀzuЎfKĝOuϷNz8_M m`ittIkZ5'y Y_%xb?Eį;qGwFx]'/ MZ+FFG|UJ0;NV('-å l~-(sn\EvUXI{ɼR-u=s^]'|EFy'dRM`mcUj\__f!Op|gi /3-@ H#Y4 ^|ιZh cqӐ90iC\N#0Πp=ufwh _};nf.0L\`GY \S;nKmQ9 :NN,Oxp.PsΩl1P+l% /*<ĦP_·SJpy ̜e[ݔҹ|@=V&~Q?Ddz{AQ3Sd#_:&Y bLxL(,dCV 3qsxdPHAgU k:EC5TpU-љeƥSrĚ Ž,6#}qu~@Y'č`6%`]ۜ=z:1Au=q S3yT@leZ8:"SYRx{dby2L&+ -EOh,ԛ 0P$;C Y4+!Oy3X({R ]ㄷƧ22ωHQ E9ԏu;&Y8Z?fRjԉ,bQ>i&Fv.<r-~qRnU$&5]j>+-|$8vШ;'zb_rQYq:LvCGtcIaLfU/W~tȼqëRk#1}G[2)ϤyNljтY8)cR-' Gũ RÓ2I!tL ȓJ,֯g{+)8!{g;9kW[\lp.[*br td5P))VIz5$g)BlLcd>;9Wg9S :0XzgOe!^N eNRS k?v$H(lU[Ќy%y)Lljk*fyi]Lpl?!A{FFb+*PO¦(F~8H0H圆Z#vʪ>'}8`FR"ա-VÑnmƶm8t/Hyذ*3xf+&mknuVJbKv 8EYO^S% \}%B/ٽO8TWyc_=9p4I&*5AȻj~thV_r}ϫhlm3}|F.zO{0&l 2YRJ~Bi/h'O[|=~ ~Q- 0 Ė塯DVB<mF2)wXeh 0ӹ 0iD$'D>`"BZP[PK4U #[ޘF2W CdjO "pA)f@GcӁ c˄7$ׇ]z2s*P= oLk8C8.¡OtqV8s%uTGFV+iB" b>>[s3ݲdyބzĦȷv|;CV|"eI;^7/rK :1auӲ,] s/^؋QeyKK5f$H9x4`p& qY~Lyj&lq`뽐G](c.Vta4REESt6F@1NkhBozE\;1+8ZXZ]A7*ym-$U%"(,$J IA yS/󞜈^F,ju5lwgm7&\'f[ؑdrl;ഺE<0\ O&9, d5|/6se= )WY$DNa6u*6C`JaBӿ|ހcڂ $2Т_֒ hlâm?@!l˾ JtuAe}jPMwܥKaj8 ^Z ZE,A_q gȟ mrByP]LC2̋=p) ZU9h-,AlKJ=\/h‰Lex,qR^r-ج Gz̫#i42'iN1 VRl$|[)ƚ05ot 1 N跼niy\z@:܏G3nRQ:P݁"8.SN~h^Y8Øv-TnG?ln_e$&P)jө^e.3S#v ʋ2rh&P>mE o,RYut7k`,[FRfllh%MmgD (3!%G˚|b!VTn|$ 8)mCӪzCԆ(0ٞ-󯶎)X@]5ZgMl}[ןzml?|ZVvp++=xX )&MOKVSE䋯 YtO (98jax ,He ،GmkdٺBQ DA`.:O#y?;Q>G=N7leB9L$QUbb{-+Mkո` Q/? 4\XaK j@mI(Jeيk=EAnJ%1n;aeA@5AP]?ߦ *߼Lx*]>rf_& uieR:lWh- =e Zᒀ$3~}\$ \~վ{tMYa_.kR^EG0܁/jŗC;|ُ Yl,ai{{1@EjԽ+1Fw#.n S|ZU\yP;֪XNbV4Չ\kPl;rn{+$T"L'#,UGJKk f 1fe0+1=XuɮK/'iĕ0'ܑ8p]Q4; VΖxm%&$*j?eEdKG|> YQY-iz$u!$O'PrMI qyNb𭚥Y+d0%H4 C0ۼWb9 2a_PxSK#X27jG: HkήMSοNSa^i;{%(MvBI6peaWG<} RO=?s܍N}~ԞU2$ȴ >/u1(Y;jG`xu\klEti &4/ h4e&5rzKi@A*lM@l33̤*2Ċ[I#կ="`4w8-p0 n Ɋaw_W1EI^NucRz<_v}ôxbdR#`3#5 r7r^_]d9e1wX\]J%2Fv>S}@h,\L쐠P/Qu)dYxwDtxEsWp?44YhŢ{OwBuJ`-m$G]7H ]b|j7j 9!(SN,m,4Nnp|~& \Zo '!^Hq~oLCXiIU|Z,;q_Hw:vݕja-JvI;cNim@lk9V %x=`aR;΢nI8&:zY9CCgY8K 5j0|F\=!A(,/K/ǂ[tsoI;ItPW4->!_׬;K3 -k-0оE?n~q;C/W>8N9ϔ2!S_ChSr>D?̙why|굫s!3[8J ãVsT5=ɾgnryP{6ՃFC<$@z;(u#qZc2C2e8erl^CȂ A(}jIstncihJu2aLIY! )PebN*}:!CTHQ%\{DύrP[uE&Z$kӸi%bam#bݖ5dhӎ_M !͙ױט ׫\`K "׭ 4mK{wI"-!qw\Tw2S4щblKM(|y-N{,5Ê4}n+ov*uoC?ĘMIe"Xvl q/Lc]ZJ|T ;K9v5x9a8F7zr p6%m'o>ūD@ ~"РlJ쫍-.%~^ H֛Ġ: j o$0XFtڐ88Z϶4}@GFJZG~%9@(vQ7=S G6ҫ$F/u9'ӌXhTW5${nԣ D:*#|v]plo:).MV.̷.6_KCyhM)Z F_7O6L?PޙVʙYؖrt[:ڴy~/k*l3Z`|%N59,$F`P n$ g]:rHx:~gl6ljۍr2ref}(uϑcJޒRvՎJMeZۜQ(er$&S9Ul-T{zD05NϐlAE s(H|[XČ܎$uq8#n[à;Lk@=\^!Y<2Q&$x_¬uEð@'ZCvA9fj JWPwj(j[2t98BmSTͅi5(aZmRԦKP 4^ris/r5Ѐ_, UJY&vUQabU&{Gl*cFU7Ubf`Vs1yXQGmM2R\ vc7]лu4C̚`$pj՝{#IfvDd Ɔu/U)FuPPN}D+7׿2eS2Hˑh{ЪPb-iE>*a$?^i? B&%=\A24Ѥ뤖8?E9BhJؠ3FYKwۉ)޷]o>e{ ҨZP_P|ﭯBRP5[2ΌN lĴz-]&Xwz3K g`㷅h )_іoK Q~:6F,U/Niѧ(otS$s\< =Q2|bM/\ԾQ -󼡝HˉY7"c6#Qط{:Wp~VCiց{KҳO>LMfDߙZA釳7N$ e.[ǝD\9߂~ #5ҊhQLx.2b4>B$:%o=cPCll/yd:[@y>VQ&\ NX@NJE-4iL/zڬ P,!KؤC,2ُά=9 }<7H{Fik4OyͶlDžVjb˺rZ0`z ڵ|''Q2ٓ,\Hy K$rM;?1k Oy^ y--K [Y-{&5崇Sc7aa(O0>1^ lTmLr:R^n?.Sf_#ZQ3881' : [!!2),Eʲ|0FXr= Nsf}"5!q !3Ж*ViΔA)6cq -2%()rո3=Ku`Yu` _K:y}*"5F!0߇t=;R֋D9Tp\E`ʀzaX*5J]'jGAVv0>g8yo^D[ٓ9%1^5MT%|#hီexZ-7$R&"M[Jay؃eyab{J2FńtD񖹋` eA:'A>21Z܏,> ,}2N)Tvq-?(aɛoѴOytt6Et])Q!&"pETm8n5. ϙMم_S%3l*V`ۖS?~ˉԹ=Ma2oՙ,,a~fSӅ0G=ķuGŲHT^~~^cqؠI8vfGa滋b 촍%2kd!CJO#@,}&7{KҩԄa%^vCK= q^orň$n 62;8Ex1ہۣO@'RƢ[^;N/`dLtΧȉr`IΖے3*rn_k-$(&' ,+Nz?ϻs ds@RmNL+-XHEQA{ɐ0CpCn1|*bD< lR NlozHi}茾ij{ u)Ą'= 2>#mMԉuo,mOO -邫ѹLIu ! xr듟"! X&C3v5 ^YL7,YX^9 UTvJaYM͞XMF!Уϓ2-8ȿC/.t cdAS$*<Z7ڝ?3^W[bz0RQ+q]{:vKmAL+.bH#ZյD<zXt~ɶ%C2O=@̗$/S/5b_|SكvxVȨ3.i7#^'KvDT'G?1A65w`TJH&686~)*lA Q*fOAb0|#ʄ?:$ f\l7)0!8䑵R|3vg#eeecA@cZMQҾR=Ue^Q( gCCׁrx hܪ#?g`ULa8 .23Y'ފyX1e,`y),$_afESQNɁyiDDZĬ8;4{Ӝ؎h0WYcE_X"-%4rψ JpNb;c~L^Yܰ@zPg# wȡe63s9:+X9,KaSSRiaST.rH)232u B3\vǑ_B%AbnŃ1_#\F+m#CHd) 't.)7$Qcau!DSWɷw Q\벝Gpy1-ט'8 'ߢ9{[MHYxh_"#2JFrb ܦөM nnMzѸ;k\G/ۊ(ܷMtEƈ^FD*SUz |1C#B%Y@ub혌&@y%.V0"2m+UڎʯRA'ڏv3-G-ms,ؿjd%sx+5*zKTk"dF^||gn"[tAsV*l0orZ60$cp/:4}r"É ÏOn[x˷yZP?1R6f!{]C5v` =]Q$svX/o8G|E%Ϲ1NwFtx/{6ZUBV]cPO$2g.+ϖi?䅜ipH͹vYȝE]_p_I՘oPPA$L?G(HgQsOMsc0o k·$:$J{sרk!b}pUSV-#+fAz+n6,ŴzΊW8(%m`{m9qHP{N%FgɩXϕ5sS偳N;ܥ$7)6l4[s>j3$RdHh$/ԄL5J֓rƘ `1{E#Ɵ}!7 ZHG0Go(]-\ܴ+sG"Z9ޔp<yO5XZ3eI'oSЖJ VixgjK.1wJMX5*E@N8"h,p\N{?o] e, $~RznK(@`@RO5jB LeZ=+g5:=؞QXv4օ>Yox_Bc8[/aә(k 05 hɐH8P3yir.D/XjNDw gavlPيP(yWԘĔ(o5TޖjNhPO{:)5H[506@ޗ&`jºyDIPǮH'@՚!K2 1I~ݦĨ?v<c]/m)tSK- ` z%z)eNeD9ҙ _;U\UJLZ]?{(?iN}BLZc2׫b{n\{jUjGe<M!v V\>*BՕvH2+Sx=U"ty$I7-g6z=+0O1</s,y'a޴ViYHmIsSVq0K1水YT Mz Kab#݊xyTgH-GcW3Ix2 % G`D^+l𾔸4'_,]XʼniubybD #69Ý#B@[P.x Y^]Ť҂C .hO ;—rn|(O'y®]6_+ X|.OohP"2i * &)Z,- pZ `C>̧i]CdܸWfK$9/̐톘#5ͷžZpI/GY PlBaL|=ŵOpQPE7DȕXǤ@r7PR0Hާ;0/Y)..EyWV.^5:NyٹG9¦nXaQY1{ܧ 7e TZF+V+~#Z*`<̩&`ǁ;Ę=T8# -CkSzT<|ZrNф_ܢ0ЀEЖ΍'kX`M/ w-E`{3vNq+uIJw&=8S/>(HmQUeER@UQ.z7I*⿃$݌\U{т }(w71ϾH}NHe^ F=RkvJȯb"5ȭŁVLu׿xcWL%iL ]E~>*P{ˊW :#5ȇtB9EXntZ; 9jv n̋\߈됡}×3zCWߊf+1_δp//@|F-UuH-&nc0{Ƥ 4眑NLs ,kK˙wYn: 넻^TV$Ƒ h\ <:"(*D"]V\jH)h5>垎BOF?zc N Ƴd$|[L7[+E\{QIUe\(Vk esthk.8dfldRtuSIQmIjW3 K "w[[@y c}CZ9n3Fa?Dv V/-. F #sw,GbsIRkH)nJxټW!h*( r*鸉;SΈBALTJ⸎P.IԛL ;TnIj_ #] S昧S?MXU7΀3NM< zi]My]lB;#F<.$D8(/Jƙj']3!q"&h~bs c -%{yJ+׮p0~~ӷ #]]$iBF$$vf5zPCv ~Mφh=g_0ς$ A3pxnL`Aک3ݥÂy2V2|/9-V+Ewim0BziGH:7R-J&(Wœچ"r)(K)bi)rJ4eܲ ss6RNځڨ]&M_KUK8 ` [C"z׳(jޔ1OZ$ U9%~ nt+bq&j<'}sR>)̺Ӷh$qYZa}l30[?D*@ɜރ:Ab T~KƎ=c۳Z'2AKy1BpD d9@wDh8{<9`FA>U{cc~',,zFDٻ2[fXqy8͉Q @)4N8fjuk1pEX Viaj@EYY@Mzui) 9pO9x(\FP/cj!.Lsٴ`f[N0NFB|0yq*댴'5=]xnnvT"Cc)+:, `h]ڔWggvFN{ڎۡ夝|( j c] \tI\|t]WRkM??THg'Ů"!h߲zh͊)[NOV٥p#<^7\r-bP4OEiɭul %x_#,X55; BL#uf]Jf".əaY+Hi0L7x6GW'Z\ piJ*Êr Ck%N">qy>8{T2SbZDwuWZ7t]GW_ l S3 iRT)l{V%u*Nuj# %1[^u}Va"9\dGits_h ֆ2sE 7\ CIEPn-0Ln{d>_Gң//< 6*bv zI#RKw (&,%@IͣWޚɶ n~lr{dUvtcqo_szTgz->Rzّ{dou@omtzko>ե*W}iQdôBM"u[7$+=xGҵ1LvtJq+9Ƙ!xi)'S`2I3E4sXg{ԙUBUKUAt꒦Zy`d^$ 9d$yRϷ8ۘ?'~(Ė(&Lg B~>4//ERFO, Dì#".e%#O.|pNPX@8!ע;Uf;ݶ\LOT=L+:."ɪZndGpݳ-I^r歐:]ftBH0^jtZBbӤT3 ise֧IOMsVAeYà^s|43߭ٽdq-yke~ʟ!Mƻ.$o MҶU7twJ&}iE WDžYԼ $-ܕ($f[Th5VJ>0Ŝ[ѸKA 6LuCBZtF]ѬYI3bΚeZ@OYYLqA98~Нnti[ gƒrpVd` 1n5y6蕦"7^O`q&h'Hx#9I->QhlVN6RrybY=92_@ePk٫AؖW'SbӴK^c65X.N'V?Z =P9)/Hw pS(G# NUxd7U"Mz_l߰K#e,\.9A)TХR2!FA"W2XW\}~|G/^]S>]ɲQ:2g `qDp`ʄ ]6 %nqtnA03>Ap.fdZ,[alXe4QuS_/V'JinWl*LO6s9ICRۅp]mM! B%Yܒ0 4E. %t *(1[C Mƕ' APU;i]'4]GT{Od۰gZ+XiV#z<`)I{ 5uc}:2Tn$쐩"GԣrW/O9BP@cpC?`W-_";Umi}x!Ct2W#@b*͛CH2 h,e[ңl c:D,.Cm ,t sK[SzXSckr /NJ,X CڰwC?![6lC6`VXYQ66qP^ah^Uu0KUgـ 9 kI:p8y 0\*?CIڑAXpYEp. ׄaf{|,bS?svaENNRN3"}.1Ei'B/QmyJ7̄oSB϶u36Û3lJ7~gT'!V !-IM{ 0h&eX[E,Rj2pak lLG}5zǜPB|KńޏAIIn?žb7y?moM9Ƥ^,2C~۲G#k)>xͱ2{mIf-tqfi&=b 4~8!.s`F Xu(KwYD7ӽ07 Oɶ`ν7'NO{ 3cY)_y[N޳4=DtQTܵQnY^JůQ~6ΨpJ oX(C: 6Wm,u<%E xFo;G7j!-exyUb߃do<D^b?-95CC:n6e 4*L*NNSj` s{gdcl Lvx[Rw E5X#IƘxaCSgf`XH3xؐrSOM0xiw'J .8<᥄-_q!9n`vd0.`ϲ{/+*c%n7I54Ƙ h)kmYG[_WZv] $?H1<6,Sk[+xEB_uVNERqyZN"5zUKi% R4AáWfdua@JeW9e;1Dί<+S 8m'Êc'&Nhg'f>=򱅛[,@Z3C*nͿjVydRȧlxokaqiI?Y+ʞ)SHFvvѺa-uYίRNdnxid脋"PBQcJo?aR*^i 3Mg.T{op-*/8O]kx*SAstૂ:wͲ>[7kT_ ʎ'#ˠ{Yt;ɑ-Ց""eq O c 0>dϖ22u.aE*ۙ/⬖dh0π?6qg:DFa[SeEs.0&bPܾ߰Ѕ^PcI^\muM+3^lzxHyo-UD"nn)wY7<[u\m~ jMDz Ӯj\}O)SnRtbL^ڐT, Vʘ!dBdA vm3P%JZQ`5FUg*.DAǯhS'bF*~< \PĶ2B"EiL*uI!Vw )%m츣Gl'"QtA'nEW;7BA;+1T&)&øy|r8tG׀Ɗ8K{uv݊i xv&]̯ M JV+a.p[Izt@]$Iz&zoDBZ} Nص.TD&l(6Lv 2ѻXy.AQ5b_0u}Ī0{TRS>yׁ5(-ed_%#5DgYZ7zXZִF! J]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]^O&ڗ0_xZ7g*>,ԱRۙn K+e}OI/'xeRwԨ[; d}N+ Y2{ ,nh 9k3xt,0Q4BhcS̘ c'[z7/d/_}zH62p?Sȅ{],.*e͌c}f4'M6&$-Ĭǭa?dA-q+Pp~ y=_|%.腱gYZ7zXZִF! 9*]ŗXi%L&2SA]yL##p߻q^P,Dٹ,God==|4镌'q96ےcsAim;jbzު Ť9hS%1su5zچow؛I6<.k[gW>qȩPe5$^Z> 4BX 84Z2V,~䤗ɡj@2gXH08=7bvcw;?bv>s|ruhƛMfu]2q|%&'5G"ЪJO u-PoF̩RjU=>lRo8[D _կXD'YA< Z:3o @;xX0k܉171ԠoA%BÄ_;:u]Fe n~bwW`\ɀ8%41Pqu"N_xd dw8;iWh/dKӵEM=vXq(pʾugC^5ɥlf$,9{bad !wfpgveL,ZC̔5%;IjhCE؁t;I ӊWRYRmS4\G\b)PR$8NWSu/M=mOWT@B 9A]Ƶ#ԓac諔h3.WHe)6&,16͓J(轮9=PI39\#VhbgjY1uxM@< 5$R{lUxcHw3(+iQ Ib2}߃: mnB[P߃TۆMP̤/"1SBTt} dc+(?ŗ/&ԱRQs'37oP^ N\w|``b-3KDqF!i9Gs`g=q)܍fZapiΚBMEf|טB.vJ^$$jW s~Ю?Ks`9P%'1k+SB>w.gza#Q`f IdѰ5O8XB5͕hc"DH@eN3t~nKS۽q$>ı<,',;{޹PfizF́N(N!LԧEߤ=Gy?@a:fV~(dHPa5`PBcQ'bi  6jvCfѣ&>Xa2 o4>Mҕ|J.QQ<'HNU=r &ܣ5ʤ E*%*Aoߦ?8NU0̗P93ndlifCj˄ܛbFUX-ag)JptH*3^-'P,z;'4 )+{ 7!`ʭ655A `a2Tl 䠃dݝ>=P껦GFb01ERypI~5|>I+T`TCf&/w߮{ɪAЉo/PrǚA+!at٩Q0hTN~op=y8:|aJ{E~BD5?FN ұd~\s3dUxL)3o琶GP6 OHhA\*c OD~_Ea KҬwA=uqY{osR P^:r](/cVǷ]Bg'^ekΈj%b 3!f<^Ha7H&Kg v4XǛ *QlG_0v bJ;?6=aU7%XX_s/j*O𬣸(aw*ŵcQ[{^~w2Q>i. *U:};,m7y /M%^#)H'3LnتDleO=g$=NL˿cҽ ^Ȥ(cAS. qqPpƞs--ؾ#kU;Nv)}AjəH`qΕ ng\YpJQ~b<.${S`6RԢ@ДR!u>+EuTUaIjqLdsBA吃i:mn5Lÿ pyARtJ`D4' d^M3ܝ{(7 {Oq:p=ADЕC++o  dAsY=c?\\}GcZvI w]+%ӭ0ߒG)7Kx%#RijyjOI4ri/vFiNE;>a(S:*o%;GrwVo 0^lhi&=(1E({MQd;>FZ&fUوLd &Ќ*@$05<ETўPn&C-k}{-3Go0і!܋;!TlzxԪYeܦ$SM63 Fl7سx;A7f bZ{kESzaNKRіGjjodens+ 5ڇ ЏãT l"㧺NinZdm4 7# >(nDHKz S2ίVBڈq8 nZVP%v@UG$iˌ 4|vhY#qUA6QlS2GB6oo%YF{+s3' 7y lhp0:DbC$;0micBaiF3̓J7s~vdz#Pg]F;%zOt+ՔIc?2Qkyde;gY˹HFf ;4"@?x- e7=-N%5Y;v RA2)v &0>Z[ ՈdCej(F9?xW.^Z[1ԃ&M峥Lcbj[} v[&4p(˔ FY!4&K46R-脿@Cl얏ӃX@0 PפN*|6 `N?t(KFV!ۑYPU&S-d+DiDܹ?q$9 ah:VN /!~>C׏UWB(nߍ>/mƾ2XU$dRdjLҒa@n$qC/%bàwyd B?e4J({_<.)nx}P }9<N:Qm )TqnڨE c0}GV"RZ~ec%6T&hYEj)_v3WPI{H! P1->#ӄL&=" \-'?2QMV8ZsAA5蝀1ǑbX0H!SZ/5mݞk_lY>*;s \! (]шv(|pb<| s>H2U svՓ$f,C}$P9%!iĞ}:WIWu7.HIwm" ;ۤvy>Xtc˝ o uP )pHԣNaݠ4LuXNPO<V8VY0aR#r ۚb3ZtxCl;lByq3 Z8ߑϬ"%s*oHG䫏> D2Pgy"RA>oRh˃Q V,˛}{' nJ\;U2QR@nd@<Ψ&y=Mp2N|K:xtٔ9cՊ b;tcxhMN?Lo줊n"˙rtlwQ׭Yr0>,iMpO1ؑ$_tao%6C16q0»e ;Wj/eR~4ǯNiE^sN:K^4"s[TqEWs)1ƳEPeD}w/[^7k+P.ڤP0]SqN IN5߱@S/]"sÀ`⮵vh_klU熏 X %(R,NY4xUۼһGwJOL-Zٶ4@}#a$2דkEd /AZg5ŏV<|:j#޷" Ofaa'G5yDG:F7*dZNDwf~8Fp5G\|/5ysĚ@(rcGlm_ fm4fs&]|4/t('6Ã}+%Ŧ~WaxGOqC,Kޚ'D²/eW&̪1ISHoҏoJ'{!`^Dt0zK>Ϋщ~{j;apX-3J6.`Pv6S)}xM۠ުh~3"f *z]sqY}e@ Y1bq熄MhPMU͹2o#q9'i_TyJ/䤹Iȇ9x(-4WN-r% Ԟ:Ư xdžX.2Jx K"U &(,$JtV'{]ԍdoaMM^,F{QdJCNoPs4(926aB6ZSCHOR㦳+ =Xv^٣orwza$|s/aMmk[%Ms ٓG\Z}%U_!Pd?I&?دz#|#ɼ_R)Av&qϏ|iY/_P펫b/Z79lk| %q58(+(5ڔ ̨FV{$j/أaK>>Iq ցGl; P Kd#@Uq6:p&>|>\?Qqe eX0aAnfX6^|k#/mġhH55ѕis ]Oo`U֛ >U3N(ʰ%GLwRG?RqhML*2+΂X #gvüu3٢is!9o:ۊmdoB]zPVrF8F6Ret~#reR}ȸ~!ޫ}gpqϪ2GͲzhB!xvPq|ĥrT4B2O5Ŷk2]K">6QiP-wߺBx9e할X#MxB$ecviwF-bcUH,^ãVVr=W!fF^KB6P#"tTjBsN嬇KDY Y8&!M0㜃a1{m'[cC8ae%ꦹݝթso1jF=m\3RNy&$*}[=cWWܸF&]˾7Gzi.RXA}uEnYz)7 <pٛ{xu1%֕dT^s?nVI>\=Em1*e=&Yg^ uȿy%ou*vJe^p<1Ck3*=!ɚ||/Alڻt~T_Ȏ+Fw)jث}\W ,DNɪ{ Y]nNZ'cL 0`yU $wm+"ԨŧGud@nSPK-)K|Y_ܤ핥?fFU&f7,߶-[#VB;gz}cB fc;T Nɷ9}*Xk AFA!I>" fq/]Nd[JMrV  gYZ9a6935019b31d6bd6e38db51d0e198284ff83e6d9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535