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< ]S Psi_Calculi:threads=2elapsed=568.710cpu=1040.012gc=33.540factor=1.837zXZִF! V^]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿Z,\DJ!GaHcMOIa+,)&T`KC: p.;c {kQ8Syfu :]ud5=x EieHfuoG*_Jeg\UTYvLB&A ˷=H 5_۲Tl ^5G~`1qAz#kd_[G{M&x`3S|o(+P/1PnO(޷ AbCajj&KAaiOkC (@챏-bD4:\17&CB>\:gun^Lu+ΏYCх;W KHEϺ>TriNQ$ mO! e^d-F'A?QÑV>~;XnM3/FSzk58?I OAw@;ih`e]C᚞w%SH[-M"C=TXq xSFZ'{4`cI?IͲI8p bjwū=Q\i,c"j[vB׃ڂ jX cY&/|Lkmۘs!W{0EPgU^9YaYlZ4I7a/~%J 7/EFAyb)ݳ{.'GWB*hY} O*k┭|X)@>HNC/FljZ(sd]eYL@:#OĎޭôD `K Koׄq2YGDsUk2\0܈b$̗ yM5=n(}HS2i`dc K(z?^n"6֨!Ԡ,/D}'q{I_)Y\}K2яMK8sX2U5WCpqH SŧVE<.)".؀r8r(=8?(| "!6S|8(.ի%*ONI=Ylz=ݏV}|UZF R޾frJpcf=F~; GP BQռwudD,`6m$):lنtf:K 7ϗPUH՗qPYXᠱ@s\DE[880CȮʪJ*dd> rSޑ9;cJp 3qVbe`mKI,WC0A.z wlٶ-G|r$p[VV̲r(o w4_c(ۖ#LA<,,;*3š) |ՏY-kPp1Bo@Vspnh>4va.3V2\R~C<I_D+Qy!\X;oa9tknMrlkaIj[hc@xfR?VKiinF! 'IR3\yG& B;=Ӟ;<:pL8c6 4܃PWfjC4djgFHR ?zf+%p"r>K鮞+$Y<+pѠ} 2'Q1iqb[mK" sK7P0|f!X݈&ϚPd{1s֓\F J>I&?VcVXBuU)>hR^$uTgТdbc9-,J e)`S5b7Pd̉+xPkXJxN y1= (TX)½]Y_sg;\]A>ΦY2-ӏUV }Ki[u Dd7~ۡ"7*dweҚ2ϜAw=pI\6@m4:,@ګ8i! tzEk"F&5v{&C;jH4AvI6"wƂ.q&4#E1ϣ,"MfPÞ5C un,"i_`RMT2P5 e!YW&/O!= Kc̦sѐ`b=s3L!7[{31'90X*+Vʫ}曏7_أ{ڮ ~< ??D*u?0G\$eJn~V[?w[KX'1HILK%A+tXc҃b8Z9 :D,aU){MSFw%'lnBuQ(9 KLupf@~^&.Y{+ksNͳr^ _=58YpCŒ*jlYvͱD\qRoх;DBu|l/z4 s/. B4lp)$*/}?%zoVJUa]DZ A%A7e=Y{|5C ,).iIi+z./@43eJA_b3WcMyTh.~DtYH9=CFvE`sZΚ.XNɳ[7xCOㅻ֚{ UJ!;%}KFLq^鉱4&GQ$+Xty:h!]m |*7܍+ȧw7LWZW9ĵ7 Jۘ?+FCqKH,_T`nWwTȵlE@#VʃuZT<*?Uʞ7mQ [OñED0dNdG>uPg`8p>LE4pDϱM>6a#*@f0&[7 S8uaA lOBO!hwasoW8'iѨsYqMt6_ #ꁃ/pl"ovٗ'A FQIi4D32řG k꜉^Wɤ WRVH4. sJ4ɖC졠@fnpM(${B7DJf # Psi_Calculi  0zU\ X.۶ A\Kl;(Z }|mf[]vxs/bn "Sğ>R ҞJ帕O" xqCZ4XT6Tw9QnDKq;!id%}TS)8vlCfW}H+bf^Y0?SL'~e;+O1TP%us=]&NA1{1*reH}9InٱkUI.{ +<&]bsqoS\B*ڭcZmJ-H2O1^)=Xy[SA}(L+CgOdmjհ釤>),R-dcŀj@x %'!ݬxoJaVmz}9ΑkɅ"Zfaqe1/ 8$a 4dRhS|*h5mC')Tz[[~u5_Nvw3.ꋉC1P!,s >{Hn$!8DςX;J*x* ;7* ?fז(,tI0J[A1r*A hZl)Wd;_O]22v:L lvɐYk 1ٖ5˩^4Ql?,D\FHqF56: (e|AZxdJpxOBV w`GidCuq[u< 46j^UnO[:a֐W_Zd=Mn&{=Ԏ+6 É9؎7 aqrW^{)okM.kN dKs¦V=-2=?[kidN6uSy R1pUvFp V2+ziuı-R:O{/s+1Ȧw \(û3o8@~rG1okg.ݮ rv]tt|TyP5Pa6J\`kR(,& G&E,&"0l'v@t׳WH>S8ӓ,nQ2@tiؠ*.]f(f{(#ؔt^e.G&|j2Z%jx LV=Η]ša.wrx#|p"j?G F8COB16&-Zy fEJ $o3=&/J30 IN4ym6: l'2Pst7?A}"_3X}D9Q&P,t0^q" pWu#X5N+ZfANJ6$-hA?UFHU/6\ˍ7\ ^k᠂nyf\'f_gμAωeѿ߮,kVH&lS׫o7xA;Y%<Y~JN;@J=ĬYt@|S?(:ZX$q_Tu| ,]{FDc XOY.=RX1q$7M-("GO",vӁqI1snN O&o΢XX@ZϾ=1:U|4Kg2}M%吖k^2àXC'½fD˺A톚UN0EV|:=]˕WF%# <{qtdѲPdg*m %Z+p呼v,"&kc #tLa I}M=#z9csThQAn_-@ pɓb2E\áĴ384d{I6~M'ЗoQ, z\?8 ?svNmo058PJ,<&v-yF|Fh 8TRNs gA0F6LE#؂}lx^rc1Q˚gq}p<)vz\70 ތ^~b`d_eApEʔgsxc=(w\SQ ?]]y^ 8yPt2ЎۍMC},w LZwE ,&%٤u0O`.NLz  )C^׸LJ:V IQ\_LHa 7!R`gQr2 %n'F07Μ|MXWqm6s.j)˴%#&D-pMYmE rM2a. |=+)N'Ɋ@_Uptpbt.wĂEs~U-hTڵ 똈NF U# x0o d.gx<%,g^6?BDlARNLd_0Ok*Lǟ96 Kt/KA%9U^.ޗj%$s؂]h @ HjX?ǽLPZ=B&+kXt>,4OVtsGǦ3j^:@ DAq9`2 w%*"a>>Mq~JhġȿCXM?Ϛ,k_@"1@8hF1: l$]L^f1:OO9߬:PgYZ7zXZִF! C]ŗXiɟ˗̵w'Sɺl!\c kn89 &5Zt`Y4GZ뫜 +ϐ'\t2-MZ?V}^1 `Q=VHq%W ЈԖn ycZ ^gۅՒ7\=dS!alIbmc&EN ȩ 1GtJzӁ|xo>^Pt5$dC fQkP'o܋-)s"τ$07<[뽱YBoi qH:ɤ7q^EiգqSX*3ˏ!1 AtLP*<~lE]SO~R6BZޑM#/h4][N.d#!z'lsFc]3Eot(-ʬ ]{N1"t9k_ctb1ݦxwgNA>&fX`֟gU=ZW1r;2Ij }GIÔ$@R3ݰ:v |W.xׁjUHެv䙙)[r\=|*BvܞU.ć)!w)ϫ9B XY Α9ȂymZhUv;16+ZXV?˦ TQ.꘮pgYZ7zXZִF! _m]ŗXi%>gy(:2ڙ|4ihGfZ0^A!4ocԉ?Ϙ߫qK4]<ѣ6n ϕG,HEi4re]VVD[7Oj4N _k -GL?oGb2) -o'/ҝĘ域+]" 5ҮM1)/ jc5C-r:sT,Hc "Gb C@t>5#,NR_3*X$"b ωm/BOy_ !-,[n`)٢tmrSIdg(8h˼L#d)>0; =9˦/oɋ vbbj~)|4@zu_Fy9#/JL^ uZf8Ҡ]3|:[Q[r b +5_f`KigMyvbe\:xV`ףjh~/KG7Qi-wcGQRCL,\K^.GXCW5<7fNh߿1>(f1SuC/]E8K{7 N_L#r+G[sa^0X>m_ lK- T0_NN2p(JV &PSpknZϨɀ ?sĔpRI A#CQ9}Fq!}x;ei}KCmO}HR|00/~͎Qopo5@'IXA'[X\Pj&()deuezk4^&5hL"[vQz6]ZX5d3=&\!JUۮĵǚ$Ą=i8='>}'KmX1K!C qL(&}(!+=H3j[v/i?l䛊9T9 ӀƸ S,k`P|K-1*hL8%j +L[쮭D?ʮ̅I0wwl~ӣk^JyLv-S=3=X&}@(ⲧ$t)![re*d8d7O֘{RKC3]5Ľq]ʝ#,Vf Fhm/ɜ#{vB&^2< P76whUl1'lk.iic`lbo$~vR+ |T.pijb2~JE H6O ٚm/s0լgwCVSPtOT5JvN yi{y[ہ)+0b_9͘+EU3-KC<_~G8fXCɼ^4Z)vVS%3/g($qĨ |bv{3 ྿ۨRF{KP d\sP\++p'Rm: 7U#R|i'h^z^;%)M_y=[LK>OV~0(&nQu4VIBtϕd &E4hq թ"fLH &oXcJnچK&,Ƴڙ%)9˱yS.Jם$"_G`͇hGI~>.!ztoeD`~)9-DRB#)h"UCVn7Ѵ8E ƿ!!0ID~t=mn?a6 ᷟ M>:I4NzC~J0s sؖqyvgZm20銻n?y77S@- \U &h z;\~#6úߌ܏򠯖릡dj[0b Ku4W ?Fc֠`#oڪ[u /KY|eR"^*Ċ*)>Д'H"AF>TڞߵXB{;E=_f\yi\k+eh ZZ<|I)j͓(&Ҫ)E~4ܻ0E)jH{S-\,}]e̓?@gIyȽMFW(I0 TSaDOl6`x8KŐ߱Ʈcm=D'?Cǐ>+^[uC($8[x* ;3d-R HLŬC+ 6"]P<'^tLaߢ6T%Ho:>82`Ddg#1XhJU~t|N64v  v.Zzgq^  5K*߉yu7ؚ&+7h9P8yrw O!)L.˴>*}=(BX(u-Kv4b saP!hV:v*p a)Ȋ4NuXyM5ee$>O "MBx”xcz*?@Oc:Y&w}1@\Ћ܏Zsφ_A9'~b ;V\D7,YG-S3 ΙyڛezNH[bSLU&3[.sU>KI6M?bu/4g!Z'~a)kӘL(.bh}2&(+4P'UN&fqP,R)Ѷr ף}B(`enyXvKL,HK*x$Q ϻ1BKUښ'vƘuzC9Lv"'ocC4|Z .Ç@Ů"X't^  )7OiaX&ܡ Me}ow9pK.56%v.꿯 B4>*N D{n䯧z^N[`vN7{:.|A`3Q*BJ(a{8[s% "ءK!GYgJRb%x.#~"垠LJ|E&sVc2iC{AmJ'DA-4{\ߤB3'\ Oଓ@!K2xMl:gϵXz.E80^Cs(c!b#J#:Ž]r\sVQ5KOC~i3ZdəD|V޺Y6=3owl ,sԄ8_pO!{3M"[3U2"iF uKb]1 ]Tܫ;w_d㛵@? Jw!zpEYi)VX8FL`tpYpWOd!*02Ba5IʵDb< Y7_񜗏V]g㷒Dnb4[Jnh0WMƜtuRװ+RTMY(@?4xJ]$zG+Dq`<0"|dPRx!@qD.&"!!B* /:|^$og=~H^#tt {]e@XGC.^L U:ɭJlwKuQn1l%ZJ^|xMპ<䅘\P6SJRB.3.X<| NZ3} 0E\J [G6P3/ "=6dZճ5 p"%{pMGP0q)TXJ\}*!~ѷu: ֊fqIC%ɩADM=n H81|fKre1:m@ 4tN͈.ԛбL9q٨p|*L^p |*}Qat͏m= tj-K9-ڸayu*C( je3 ּtFne/VM8L\XtCA~%1__UVm8{5pֿRHT<-ӊ]ߗ9$)=H%a&^ ܀ZZDcq<0M($O';CxH˵SjF+]V[,Ԃ5Dc(IV?IAfo7 )8",^g~nNh4xbt:mȼ:oռj5|E+ĭwNJAf JvgGA>}?\ꎾ3-tڈԴzZx0ݛnjLYӠ{7i%Ia)_7uoJ$Ȅq4^c۩ !jbƨ4Ch A ϋ{o U Jv[$ӧ^4 hnq͸s>\M?9jR:wlhhQZ{j5( ЧkL!J '18">-4 +bvaīh:QuȇRy+fp% VG]sO8\GUbBvm}׻#2<3˝FJh^r, ?UD WP:f!\;;"YO!SZՎ5 \j# .Dvxc*2lu2#"?߾kdϚ?!5^ϡ%pZ)Ut·ٱ=7j?^JIcDZ+Dfrr-m*.,HV>&YHx3Vu]v Hl1Fܨ҆ TƀY%hىqfr5zKH`)C(wS3ۂcc/tOLӉ ӛ M9Y •o8܄@IoPӍP{tp䒝Y٢K 4R.a 9eaH[h,dnac(&MI/ S5}\S%{yLnk搞J"ffBo`zؗ  Jc;_EPʅ +_LơN!_NI4!]`4(f6,N?qoSfPrvq@* # }7c06,L_zIkFZ!rc9,o-!;_pL wѬPZ> }iuQ\l/x=/jCc1aod8ƕŽB:B5I#UCe ~Qҗ/T̻g[tal(sS8=IY5iNqO.xc 7p@qq5xN?CMaa/$v HA%zKo_r^ F.=RK@|A\ Zl?Ҥ/(ˋw]dJfjd %s~]U" 8xZbT7˶ˮ1ެ]<ּ؛8uybI(uփ'x3} kUS+k5ـ Xby>2 -GgV>2p6*iRv.NѥO&ո~HiOÁ^c6gډH8)Z~IK|!PTlOR hH?ZjyLf!]խRdn%r<4Q 4?}-o5Q Ss))$?[nbɳ 3.weNL-ks[MZQgU4  mحJi̕w7Tf(x2x.  {SM3,51bRW-S{ I"VKBi(""U9G+W܁|?j#̯d4">[v$ŧpMp*AM8a<м@w)了m>7 Bھv*j|UfYE&Z81Lwe7uI 1a(x.m⣷E ϡIB8:ô1t=m~oqW!(z [iD8LjR0f I[?|eGi'sɵ?K2'$KKGjmf< xci:P{^Jϯ˷e?eri7.8xʯ쨳/^ )wGsc l 9,hn8VhGh/ d7: @hڷ\X)$%FX^鮑}X(wRz#52rʤ I@db9B>~Y=kn`M.L1=ܻM8T{B;ml(v.#)ZP@lbޢN[˾*:y@4q:V5]Nҧ$癰sx[\&x,ZkN+γ4vׇd[GS7NJ\0QZ`Xh\_P3}QoM%Gš ;]Vr>4 xe? Ȑ4p2w<(ċFN ~<>"Sh#_;ܦb Fi)Թ4H;L{׼žt!8I}q42~QۊI.?U|FPOdZñfg36S3aM1hI1 8j}`oܘ2G]$(_֑&"[E6@&PiiN.0k)뵁NH7y(rKD71Wْא!9`*Oݛ\Pc+PD#M B8U=X - < >*yJ+g*4^,2N^fK'@%옄uG}Vp Y2l2? 7Iӧ%CSA[2aIKhp^D|' _\}۩[ :OɧBn3<#yI&긁C]>"pu/CtuV6fp*%Fb֡ɮ3}K9S[-%SMx?dҽK@SB[r`j=@s͎Dԫcb"QYMyMt jZ _fER>`/a^)^wJHb=A0dZ;,9̺n3x4;77kCs !\oK^960[!zm܊mR6:-,vrAX(YEHcwYpH<_`Dp![Czqϙ|(nAPgA+ ޮ0oi@|gŬ^c& !۾U87I)X'3*?O"B7SQ;e42.%.pru:^Qr2VU 3;L T&xƑ4w,÷lsQ0lW?8ZP=7n$ԁ&l 2ֽZG%w h:ȀzY$'CGi=F궸:?H3T\TŹOX*=!H&ORN6ʿ,{+3YB|1\58F?,uRhfRzi,:+tǛҨ=TsΐWy΍ J@RIMg>zO)]BP뱽5x9#m)h$4H'3)X"-a$yEG@7ocpY$r =W9ʅ'8: |C~I# w}]d _\ˀ{2ɻa{A bW|-ͼ6@Vlpj҅Rxi%;瀬 s:$#m\l -aY)z6)n€F̖ /xo)$J{YkA1 CMoꯃu_b7Uo=M Рuòx"[bMjה# wEϽJX,㬈Pi͜U*bj0=39p\onaԃ#UDWIԹ-g]9nac .,1ߏn1JцQ/*mf8#]"z&K.WdP34nO,2CvxL_~sWw0/\/(384'\)6? r _/0ij8z-n DSP v]MdhN%cM?sS"Ph:{za8uΈ7F%WA I B2xY} 8/q}ϝs,N&uIs = w>Tòt#InR9j·\lRP ۾E; );U FGŽ#AWH'"Oc%e +>֣ n;ZO[sF|oG Ί=`b XFzvY <>~/iw8 ^$N?}! I/m=g3q{b;X\_RIgNӺY7Z.[z;0x'0X>VM_(' fr Z wF-sJU$-%]PmM8Bb`5״ Ĕ q5YsEIfst(H{& `e['.lն[7Q_Ma$c3|6cL!- ctIltXbufQ1dMBEӇDފ?cU DlPs|:Yf`++i#Csx,yZqhB{ϩg6ZN˻nyxE=*ю4o5 _n5ibݱM 4Pd7;BtYg83 ¦Ce ^ﮗy-tRս Cޅub=e2eꒂGgsJfJb ډ̊ GnEc?ՏatIڧU;- MQE}0?MU,Ҝì=CEkS>{ G{rh]*^I.(W=4o_Ym"-JbПo7:̣&mG\2t!B7|ğjBܒ1%&I$G!ufR`ڴp{@EIY7=XS7~W+N|QٿZrLj4OQnt*P2{;FLQ<_H4wgKЯJ\&`\;YKۢAe֎R *!Psz`eV?TgxߒVv-2w6×ћVE"ϋ&Pp6]8/WvR|N r:/3D>0H,)16 acwJၢŜ~P19.'i͏I3q}C[Q"'v\ޭoPz7=/6p5Oh]o.8n1"|iܯNofU;viCp?';FpM2 Ҁ4񁿀q4(< ʽZS?.doOq9FO{>^c+aZ^rq܄ޠӉPʑŗ_o j7;M5y;*9,EEN3,jvCb&:ILѰr8(mM*HwwD5t)~[XDza:qBb?2ߙE::|DGE)ُf0{9YG+· PRhû/05l{{F?8hq`~];ʇe:IWF=o~*BA2.ⵂk}Ə{*vlsY% 07G\ꌱ TT[|Щ`.ܛK? A,eImMr 2 0tb&Vh`hc Ͻ$/KTİ_. dOB>k7/ ^+R) PE&# 4RԒnT#@JlUѴ9`(8n# K3sR>A1/Q>ԂoXM6L~![!3NًnaSg%p@j#[Feؐ.*QLx3ƀ-UD?07>g<!ah"AW~Wtft['F^WR;,*b{> aTh 522gꇂcra~vTn>5~Ъ!}ꅛN pMm_[@L៻aޣ4p%A]p6F- o_Vc\ X0[Nv~ jق 8Nx{"*詞+xWFC57U4ez!g2r+@mtִKyy/Q Xizxv5ѪKA2~fݐ| {NnT?'yU\Y Q ׮ '$8yPv+,,(LHHݙyL!!tm5V@o4Lw%BexbI||57Q,S܌X!'7Vmjq9\T!o@^Hz#Zoog3iŊޣQPgߵW>aiI:RCwV8>Tȿk d]`6JW8d'3H'm0[tjwO wL$ZeS/gw-t 8]{^iQo0:lGTD D 7upÄzKYSLEQܡ('2'a0c~ 6Lmvaj<@ʚwo$a'цm3>X !@PI ݿqoj$H.My+ɯL۳)",z xJp#ςʐr.1B$9y>7I[` w ?NЍ b/2Ar^!퐸.ä2eV?^sUJq7T}S̨Y&d;ڲY=YSUV{=$ @W`:bH͛W|7=HɕVDåO"t/I]\ol;|&p򐆌6pB%lRlDΫ# ~HbIbyD бIc>Fr skq60A3N|g:cb$. C2V W8df#Cj<㩩ؖvޘf3#%>C|^`w闛nm'ڀuI{)rD:Q rrZtA[L~eR9DW{vC͠8| m5:"yckNi4&h]xc3ivAތp@-f/-f9U^j4,<4hJX,|WK4i==QU}yv8.!, [{f}āGP5RUCӷ'B<j)F_x角&"^Aw9T6!3Dʪ}Ӭ70RZ+*i2~1UE򃫞vNr ?,)릒h8sFcVP`Xbn }Z q Il$^ZoFPdP75kK^l;rWyiP~fd!6k{r$ ?'o ztFêdK S[KȡXtݐ5B"Ԑ9O?Λ!knJ%8`GmNH pvJw_A;fe~-ة\I!O ]>{eUzFS?-vȟS]FTq c0΃@cU%|2 ŽgKS}f8#fwY4zԍ ާvgk Ƿ]Ӏ2e3O,a4|Nb@۔-9izcaAFzY~%ʊm9`E@ª~̈́F{?1@f`z$p0Q' e[z* =& X^.롫T/2-;F0/ɿX/k MOtUjrgcv.{ր{epz}MPn}qbuPB[+Ex:t¸U78XH|6Yӝ _ΖSAPm@Jzq8@vxu}i3sD˜ a7/6~ )jfEϻ.;UV-oϩC#sxÃT>+ff8|Ųq6=Ӵ;xivc·9]dCa%*3ڽĆSG|g}u\kxtC\;&@m ΂(ҿZ'IJR.;]Z!FBPjC^:&:g}+O9(fb l#LF^Z` A ,B}ׯty D w@C@{qL1zO.h H(6 }ژ(*ؠB>~7 /7sze+uO&%F^/C z*\?nI W >d3O9;QxM)l E-[4`v Ӥ܂(jP7R3y@:j$tI)*ֵ*y^xO5Yo۔u.sR ,egے1ȏ_穴hY*FPGĈCw2V3ZaLՙ2G> ? D^10?iۊe*t`Yc=xMTD+#Sg]Gυ滘MW (R4/VPND[䎨Sd)o<B]d OwmpkyhZOZٻׅ/ f.^Jʼnx}̳4Y.`:L-* ?pq,`r+W,qA'`|^CxM7_>͉,P`<|Xn Am'^zg*:#u;Q79 +͡4M/wN8%a(|T!Cem:l_P}%/gO{ޕN nۓ{`"}plJ6m;o7sz^2L]HopgcGUvKr#AQQ 62qewb7fR&)Gէ[ yw$ldp[mDNL$gOKTпuq c{N]4[NN懻קKZ?c},Ppͱ{uL޵CpR=A=v'*þ&Zr=Kyؼ$`/Z(2qD j*^NEzѷf|1ܪVj/ xBYUo6 a].r-`{̨ne"Jov#[S|B^wٜ>yi{AhnNr.=`5#@UDK-aoZZh[PPDYRl2ƫ<_ѓn,Mu%.C+''B kX"#J#aP~"e6Y/lk*F yyT>܀:؟A T# ak'z +PڄC\6s\xGz#՜L&7 ;KA8]YHۼhI0l=Ig 9BTru|@NHsp=e6-F% L^Z…n*K@Ng /U_Cep嗈2Ւșj#*嘋abd S'o _ ʊ̚'٩I\ہ_Dn3OB>^N|l}d5}&vMX* oklyjǙ<! ek-Ax9=V~:A^RFJ;# O, d5JޚD[dfؽ3]'7# Lpa!:Eb=rW mė~?hiv@1Pb|B0m&9^#$7^!(8_=aI S+;/g1$)Q?ƘŢ*H-oIȈXFĮ?]3̖DلL(ùR)N$ܓ*X7UwJBDPOIhC`Ah!OPpSÞYmKM5Q궰ƾ#vDnľڥZh:= ާZ >-l::|hu<0>R kCڃk^/]Ċ< O2\Y8Ccgh(n׿<#Dϔɉ :(]@+-Cѧ/2x4A|zx@ZN.y{͝26pi[($xZ[b=1vc+MHǦ*n+v 0@ k-sMt-H)6=ӱEM,2*3GUЧn qv<

i\m9>$*oYJ%dv8y^mM:.27d lf aBq/_*5zTƹwu!U͟?dfŨ"02;-~-`@׶0`N Ӝ-J ׻!z`lR>/-1^ٲ KwRppWl$FCNsAzCh\'S<8A.Mf+agt!@;jD^NJcϻ%ZppWBFɁSL7x. gwFt@Ķ=tZ1Q59o+Únhԁbގ!l̸xCvx-9$A8 tIwW"\/T$F>r5I䫑8 ȟ㭅ArI];߿>UQ޹ Mq]"uc(@u~#juZk*Jclg8W>0H(k =kӋWK_v_W}Ӏ3d&i-SH-S%?:%{w 2=2ܴMSQբkp3ROE ;H  cZ3g?l=N'0LOtwVN}(K-ǮEt=m'!a*;pb !FdqVWͶF$ik)B6en9I6N uMKw_5tV^NkmŲ#7s6f9A]n^S(-C'!_EQixS;,0-<[Zf7zj[n!+yYӧd9E68kg bO'k7-v%@_ty ^?JBDŮ%6/,SMn|c,F"UWha&K oKo]L"|~xqTȍpiʘ0`chqjRX\"tpB-s" YR >ޫ -bPjR|G`B[7}j쒛<Ҟ=wu 3z\ʵu]pm.vhO)B.˵ b_r7kA_gA=whf뀊FݥLzvb`co@7GZ)MFVGm+ c\VD6!0LQE'kA9[ଞuEDN3H>4G6NAm ư5,|4X*'H|UBd2^g03K W$_vLe]?U h=H|=#FJ*Ő\VY{m!fUHT)(*9eɤ"EBŗ7@*J;EkbrΫmnp*(J&M 4WhKXK06]o ܩHQv!!1qkLR}x-b d~mӅY<]NMajk}VO^x1/ }h2ee!V(ΏhWz˃bB]稴i*8 K3QTU<  0,Axꑋ B| (:g] B-tu==[s;57LCU? _l2[,<SB4Za멨S˽l7A6j3oD u\,ܬu>$Q+fZد]=bGPA,TgYZfa9af5c0708ede5b61cea0884fe8be0a37625bb697833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 946a1962bf1535dc40cc19ac2344a1294febf80c