SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  G#t  Psi_Calculi:threads=2elapsed=589.201cpu=1068.460gc=33.136factor=1.817zXZִF! V2]ŗXf1-/6vR[3:CCp w{ uSZ@B_ˠܫ[0昿4q+n!fk:;戮2p[]k{#x/1y=Sieduz {QxQx\CM\/~[x@ ZQ.+keo1kY-xsQ[ڛT#ŧ N*֧~0jWo7re~&]/J:wv&u00L֌>:@6OSk qCS򱛵^^/ɞnT;°Xх>w9PϲH/4ɖB+!zQ/nGc"I׌S0 2HsxM)UNSwhg!*; k?^Tzj_]mEoĺ, 4_Y[j yJRi\`Ow”9rrG_:Md-=@*I0 Z8+@mz-a}PoqChzp-(vJ }ZDh=euJm,xx^?ПH4Y7؇8awmI4/Ks}ו&GB=-H160 ${jء[}P:%N\G1u}ܼH.h?tHpn/=;K?&yʡ( w뿪,@tvw # Psi_CalculimmR>5`B4E0>Z]L6P9@nfp>JS GsEf$ӸRqL[d˧9/Q|^1[quWc+[# na7p'ڪG,r(iu.}_L"\ it%3Sx1d)kX\4{r( [eHpbm~iZY$r=>:*&Fj9YGdr AoqѫYe@@% UҷF;,w 'ú铂dFM$1~AbЄHoR׸0e[=<}v&3Gi?O?ğDrW #/P̉\(YLK-ok6-״q4̜O΋rT+_~VQf!ULy&@IO~nWNA>ɁR4d)3stzz-D>_DoY(gA8jLk>wS/NTDڃw7>!gR!+!Z`5jȺH=AHed =O/Ui܂:9>6SF͠p%6v3g[v,F/|G[ 0Z LK7::#SFGL ڃ}{|5{;ΌA;# >k  o )$݁Ì`?,|`OnlE+b2hlKcՇ8*.cNrě%jA禪$!3lqwqUJ# ªύ:駦& 5C b;#B 0CssS\HV#G|B3L!DUctNhӧ8￰qNq*yȣ#U%Ir/~^!ϼ[A_ۛ8L@[l`.JсOO)$R?>|wa(65o4VLz cU`M3J8Ⱥ;8!Us+EyE mGRHq2ND8 d{v=|*irujN[N] xm,o$SߛhƑQGynЉ6`CքV Iy1߯W'}2_~]/oDHlv`^#ʠ:mɇl 8tն݊N^E*^4}G/:6B,sƎ%m0 P\|oHxq]CQj͢#Uzbb9EƑ3R( 6p]ۻZ=^pgxC#2@;6{X@'QDxR=si1r/<@&s+RPYۮ6pcӌyD:2|[-݌JG|;iVĬAb1{ch4*Gl.`O7!3XyJ4&ʐ[SkUlA/;gUG/܏k$&_Y{7<(?Gb79Fy $N:ug2V%(xaM̔2)J[%FJHaY{;iVToQA˸д 0ђ}&#AȯG=&R ڐ(=dћ?,c9hOi,rfqX}?e|$U1ٳ9 J}j rm"NE% !ڜ]Yxq )<*(} .l}MmR -;Z = 9g?2Nw^OiqNsjq4_tQ )d@izVk~R(Nl y|"F=bEG=*dLT]v3Wt2 h@5 _> pERt,t-Ҳ>}Nʅ#Q4URsB&@geJ u 5r++ZFl'7oY77]@}sI#@C7Gv,Ƅ~D`Whlɪ93&"g/^2ɟĉ M*ώQ2 Pg|\-,O,[Xyӕ θr7EH_97CТ FE&C\qlŐΞoIXu8 }ڑB22v^AV%<%YvH2Q.wJR_٬&v4~ *?~>3<^GJxMQ3 %x_AݫXs?ek -CMʪtx*ocDfе^Obj# ͎ OħS0JLe,$Ǩ +HVb/hmsMs̖V [*2;{{J#m``'柰bv݋C<򇯦sN!K&Mi d+ Yf9OAIB:ĵd>Ȏ$֍#ZGoy5Y1$O")~[S7BZbRzCSa1@?:K<0Z.- :f92Hu gF'w`o6sXa$mM&tЁ:*$=/{v g8(y*nb'1vkvN51 uk# gXtS{i; ഒF>P- a%fGx D\"DLHs 7sL!.>!y2B|/~Iy+fΒר0>N~PE4qr *6Z{lK}Ew\3AZ1" XaDDTbP[}ڍY݉dvH#X$롊FsȢ _Q_ ͏HԳ$;URv5!e&wfBC 4M  *MEd\ kw?o|߆Da62H-DҮ|^݈5nJцwG=>PPvWEJ>pCI6<ՈW;'z7iӷ&-/K0zpioiXyd/{n !\X94CZVKDrѡwcyrp(66/"D$Rc"!ޯ$!&j"TlןgSVjHg<=蹗$./L)dN@?g^7E`[fc%cIrE `j=\O4nl: qD|b,n{. !Vʣ`R|f %{*8'G2@ѭ_/Cwv 8࠷ ČfVA/ CZu)Kizi0cVdM8ᓈA (N)@"9;Xʸ:),Œ{hlq?W'Ů,IE2c 9A7-_QSIcK'IŏB vqeVByV1AYSF]<E %>9cp.|͂ypoM1;?;]̲çQG)Lrf㌏f3F~ś _ۥ)ZXz&@6Wíġl̟EՊV3qxT0UiHMجqZؖBXY7\#FtAduNV7*|kzA>c}n'Mra#2' M.V.錛_KeQz k^o`P}ܭT2g0׿K#rB Π^ʕfZ96+{Y ̃9I<)ګ UӣgcgrNcn)qΩ 'dp&|wx<[/I'g7PM`?KPY z"wwj}WqMWA#n m$Dڰr)Rvvɘ0LuSBsP,}RaOW7Zc^eu~QM`@.}Y`O›xy T؄2y󾦼3Juߪ0v##g~i2]*0ղkO z5-c%91 qACIѫmv%^rԻ@jHֻ.SoSq+?*:b3ÎyHw훦\~j L Q4L{$;}216|9F&8v%F#_(?)4Ӆ1C*(thhhľⶔi-bG&Ͱaj(̥Y?>TMT[yDīwUF*GC,OGICJ{p(ٞ>qU8^Z&9I+1")2ןA,-EL&( gc!%$ˏgELr;kt"ɰ!eW{(?EYñG"Q'INPN""Mj:Ϛ+v˯t2kЅi7et[`|8nLm$Q~ ţHƌ U6d愢J3*?Kqp&(3ݓBS.yfc&%/jϫ `7NOX'heRф5 @NH>?hzm#\>īMO r,(iy?Bty]`Z ̛R~ab2["5[TI*z_hdyM/DK/ `+;t"h%Dj"s|羓#U+hR3ӟlxǹ \B j!"pK6 {PXFAU4@Wzm|d⭪bw3?::ŷǩ;!._ĸA=Ys }p]NzwpYb4#Sz6xU-к{N}@3pj'Zi(8/+I\=m_]1ݤ@*!1f.dVΘd 6p:˞/ {-L|  vK8D&x#`ezv&bW&ܸn_k7& +ku60$zy/'/ϲr&j٢ &UERBS%+ |=Ld*£.uor47 y2$+M5WR' Kv N\/2eöeAQs/ _= ÓD-pXgҨө!V$؇! Y?.xo^2Vή3϶EFWr"s79-e%ԕIV*_.HSPzIb OUKo9HACޑS烉~Z oOvL9老@d OO\ Ez=0aNF]TzFYu+!(!4p"JP8H\ PN43ܲ6JfNe/JCeP.M:2|JcgzQPZ{YC{[hmz\䓐XXE+#'X>6 Mb\sľQp_ SebqaC u6 c&ƱxT3/F3>♒KT K7.MGrԗOXlڄRxFw=꾥*IE+hݻ5QGy/smV |^>h}~|_v}MJ?~Gψ#68D"Y:2$| 6HެsD&P$a/mD xTnȶ 7?3gHR 8gh[y[3^؊}l?" V'@"kU Cq3^ >:OVm5y&!<]'M#Tf<{3ZEl0zq;3N\d P$/R&9}Ï2lbW"p:M}W$D `Ɋ= D%WѺI`QYزŎϮToHi#k=akUF\鹔gc0u MlZ\5_A̫&D¨!J>CB`(<=p+-0z]5#s#0 N}D<.az ≜@R ThPc;Np^ k#i@站 )n ,,+ع-#P>^hM0?/ߣ:&z1p'!R.l=Zف]z`b=%USSP}h~GaPLW<}I>3#S'l")mȲn3:kǧQ.Bo!$%ו@6 *Z11r-Xb 87MsS)Ã[E]9 9a((䠠^ b>|ۧ2®G݉d`*ߖ,5[7xj%"h^XdB(\3jǭ^kI5%rI7|.Q6b9W" ^(,pEg@kP3^w?3-dqSyKپVٟ1.) \/^YϞ#0Âa\w$ѯ2 l25Ew8J>0p S%־nbQY.xrR_?z}+դp96F(O4sOdn0riۋ [U%Gvu4O4/BU -Z d)]on5Ѻ}+%x&_Ok"Hm|۽L\zhEdGtKeC :xQ=t'n.v$2wݟf:NQ~VhdBk2%"Haf>ѪQ//m.4Y}l,/JDz:qNlOrۙwh*VW_8K=;E#i Fj?)K#P` xuU胪vT'E.5N}_, r`%wk ]0Drۿ Yhhz Th7] H-~*e͑ձc~Q)S. +:*lo4{VrntBd=*EokcUua*G0s]ԫ: ӴLg}qOſc=жC[ğU!mJmA4>"keHJpk_dމ E6| t)lDڻ< q4s!N*8 $ظ^+4JI#YDq &&&J/9 C-gI~; yVJ'ƈ곎 c:PQ\i;f]Z|iwtk87$- ӨDtJp51S!EHGQFs?OQws!5KiGy*oU̙pyfR;ko|pɖb&IO͡|V$L{V() 5׸ !mOypɅgy!SJhl(\Ր ͅYao{1(e}_{؋y.7]-Cb#Dkȥ{/1ae(SM{ΙwY@(e?SvDiG^C+WfA ;~[$c_ :]sl9}ټfclͳ8=v^6!ZTVt _8<[٩ kÓk[͓=gq/Qh `8zZ7v1hxlpԿ}|\&铑sE_Ymoe:Y]1ЁTz*crKq/S} ( lӔuOwV&lLtHOUh="k\:l7zJF*?k8mmЕ Io"br[W_OGO;p۝"M\|VQf޹wس4UB4l{'qYRA=zn0%Or.W_cbv ?DV^Hazx v$9/m<2PZLnx \1#؀g259ѹ洒C-D=нmuxDEt7_fHkxj؆wXOb>fSa'Efgљ-@u8ш&sg<GwS"S2.fLP&sz7[&h3Bxh5,?ZI]RRn3QNCo|"U0{i?PLRO K0ʸ*9TR(F}iqy܅gjPB-܋#XRRI(t*‚9`g:_␦R-hrI_QUOxOr>Rܦesv ֆP^߃?(Vj1 Q<=dh -KXդ~բ<{d% n96=uB?y(Xj'HjbHŃRd_ٰʩ<8d?M!LUiwTD6OwXWg c@C4fO,PPf!ڴXF= Œf-z/2ߎn2~puD6 n:0 ՘F?N{ DT`K#9"o>a. [qOro1@HYĮ< eyGj#C_*>Yv)P;-bџfnj.C޳ЮU0qers[ C XF HAb?@ @EI/0f FjZ{{IE8l4C[HLq3b%125GBb T'HVWe@jv:.[1_BCКN9+I?l%+*w2h^VHwpOmU׬Qm'Y2D6.|zrF jf#74?bqDga9[tK"{Rf1.<%x|"N<p0+l̏ S "g4? LCK] y qZ)BC~N߰k |ԉPknf*B][ܥ/X g/=2{nG~(ҵ .r掘X-! aS'Kse.0$uQ=&f);TaDs<3Ws@lEcwb?\B3ODdoU/R @LZw"ARǡںYʂVxb2z8onSy$j )Rmk`zI?~@Ҷ牁U02Ŵ4d%י5f>R65ANArj) f/M/FpŭwI ~ܽ}B rod3)3 )Νʊ Oook FIe^z\͵3jdYӜ3C l(~0{^[)sULf e!@X>JgS}j`oĤ^W{ )_+EQ5N(tH)Qϕ ՉA]%ueLp5u=l?Q&ꘟ,qEFaHe|,;'HM1gott 6Z[MI,dX=DW@lY8+DiZ7&"kc VL&;U*c|(AT6s(pȘPǡT^a"qè&ktSQ$IDKt4؄S +IgW2f$^K73L>8N5oX( TID'0Y@N̝4(fTՃ0(cj\ci!F"O;0"<]Lѭ77+.W8 %](nVP]~^|{M1E#K3ņ;ԌgbuSDjlQ|TMҚ4{dvF_BJ=Zeu>[] 3_!6 Wl@-:m:x+ER'q׭RJ cvi/3'AZa{ܡUdfܲNC{|L 2pV" lTT ?IآF}[$pvU؞OCxo ӅU8 S[ah RNJD|sH@VT{?WkŎESbZ }Y|LENK0IEi;.2 {Nl J~FSDx]}0LoWz Q`}H$9 <-*-Y6;sv!*mIUΏ*X!lXA~kJ ZT@%8&hDӷ2(?+p~.4&t$J8}n~liwElO\Gqo׌U0OBc L̿%u＀.` u!+0B\?z`p"fE)Z;OFF^"b9W3PX+\O.[RkD R2` U%RŻ,Kί3p[P HbFLH6񬦺"d!1L\٭R(&陜`[JTe"FLK [Qi.b|'MxB9 kn1@y#|FjE4kP ZT-!sU_&cxp{tJ<9ʚ' Kuf|tm좉Kz*EmIVvßYBe5y8]I4P^^ќ yGf׬.<%7 |}sɬ$M +F0]<3K"ga`3ޘyU-ՖOy-td+ N_3տߴ&Asct^vnUTIBC}O:̪Q%Z0zR'mMsNsB(Z [eٿZz ^z(4sqy,fM9]PF$:0dAmg0`5XB5D HJMzm .ڊhCMC>c2DB VCu;Zpw~XNG*bG(n^ùv𧶙$q qۜ _2m^%uGϫ[]$z֑umu%t;+8_$/j)ٚS&կ/m pJ~-q<4hO*Ic=LqKeP+DH pk%dQ.?ڤɪZѧB.4 x) nay N!3 Ԙm>B`jusO=枖leCkE" 3ŒMiI3/Z#|zOϻ+( /f'BNy(+΋@IDūb^ ב5{On  0$C.6کA@'n!؉vE l>!}  9LE84w02X''ϋF's5ŰEaV~;{r8~IAY8]q'lAHo!ȂFoř nMވY/0>gUWj5zŗ1jGT{(H %eE]LO$]yݿ M Ƙ -O!pٱ2/fO(/&V, 'y&PWŷ'l0d#ï;(| EPoPz@ʩU,eS#6#c!QVu<{*9aF =R&V)%G\*j=ꩆ -S j#PyrGD1 #\L=?FAI`m"Yr(裵d}PypJ Lp/+8j0y-hgeKӅ൫.DqD跸zoS@ dmUí*@v;A]o\O: ~ʷ:d;Yg w ?S$ y׶= kAr 9E7pLPc|pC⭸yUK@& \@/WQA$0vc,9KQ Ż4i̠Sgkì98j7C }ýY URu˻y@>t8vI9_N9>*~wUvB~ &`KL5y>/<[d <(a bt 튌$3d>\uk@f v~Xj@MDc>v__\1E^ykHn3ǟ:cFަv{|.eȋL:̖~ܙ8?FD(8y7xUliP} k?])*ZbJ@#}ߣZtKɛZ}5~s}y'sTBC[Pm:*AS,J.0i+椼G7ZH./3xQ_}6/vjlӨ_1Ӳ*`zжuTؑj2#\w*Ι {>P:v ^JV_rJK'K҈ $>^mZplG]]%)C05ֻIYyN%β)}10QT6.} ]f\%Λ>TlГo|md5Τsա(5u~y7Xwc6"DyQlP̗ݤPBdGx2 \ ;G5߯ $uad})~k,tQ>=es Ɲ'T1>-Enh,] siK&qA O*NKX`zAIְ= Hd+Zu{ E \ZR6~_c^PS'wczmLL3Fড2I w3M;q0˛ L#.çg :d;bg8OI* AּjjA}wדpX!O~YY_-G*Uqa dFf)-.cF2|k@)o[Hwg+م11Y:KL DQ Į@ A[P0R"\|yl .[yJY'rNo$ƒrU+&U,4yeVV7k>"Sh$0.*m z%u3RS>!.0-ڻc^GV`HT{/;4ѠhM5_V̓H:q OQ W|;F,c.VT|*uM:X}ZIy}aϐR*\"vl0+jp .&APE駱;rL-9TZfY"3:9Tvf[K[`lwrOGll~00zF鸾͕x+쇆Gp!Rj'BmmPQT#N Їma)>~X&_CCfidEoyDǦ$yG926nJ2,(M|0~scC>1C|Mb7c2^vnn4ϪT2gqN IѨW >-H}K|ln=NSg77ZwuA*y~y Z??blc IG^g/S_ Coi#IZVNXxqw6驱[>i~_lOHФE1Cǔ,@ .zTvwU5([pGN:| -:E8:@O[o=^x)G{+IɌo|zMh`*dlh6v012o#X!2E:"?;pOXSbRs :7݉K۠RV9*.J|lЁmjT̂_09 r~`jiĘ#MYc^aC 7x8@Y6NUu9w#JP@ܙlsqOu֍h6[f7(iN5W"^@Fi650*G8JުZ'1UnQ a KI "WEPDVQz'S=a'9=gyݾ cF5˧"BߠerB*'7P~sΛa ƝgCFUzdlzwWO.Ǿo* s@AKQ7. UqОQv:ՃF.VRL)Ymm\e7:&TӺLXaE}f7Gx8e h|*VX;; Sܧ KpqF̯@}),vY ;jX=XM] D1R>Lns}y,[.цeOiѐ08|tU}}/SC{fMLų-s-0SuJρ7w9F!_FD:R@Ãǟ3C`W4jL7}\8֖ ;qvR|pqi6n8ђ!l–C'ُ7r~,Y{E_UYQCVCGmJ@,iO' r=*9=C{Q [l`5&ưwђcA3/o$c]1J -' ɥќv3/kCy.1RQҹzaɮ.{[Rߕ 9QjzMz`,ß W;"y$Q'UT6x5besşW45M[%0N- /N# mN7X #$`fN,ߍ_ KnV>l̰S|IΘ~d .da<THM>uCS]э0Pњn-z,_ȡEvR$U/K pӖrH)DvkQ"#Qc2["a! ëJ8=kGL}DU&cC~͙lR"J=#Pt "TGlpLa/i775yU7-y웑*j v69i$L"z@[Y*5]!4#8!P3j'26 ٷƖǫx@)KC1҆2*SI޿8oT5aR`Z(qhV$ʝq#vrzfIb72=uٰNKeYP|>whKk+'2IGҦ=a9, 1\|híӨATYHm (EE{&B ԬVplײ„r礓M!fqB/^)ǖNCqP2}1_'r>T3/t Oܓ\KI:3UϡG Vƶ[ףxdKQ7Ʉ.!stSf0P[%i"":ef^tdqdQc Tȯ.P'ߊ$P.s4VWu׫C'2q ];%({H[tD%_feT\-&8$='HNc@lV!_̆Ah"B 8T`jW ߀H_=dn\;HռFƒKݽ#.E Gh`WT|58l[~s24f'd>'(6a|2b7_5.B=r jF|6DFH2G=lWES|<dsNO'0|~02n^7UKJ;ͶЮ |8ڮqԥN`2Kr=;+P(lȀَ_.mr'Z(PNs6Z0S*Y-=AsD$9^IU[r֋KUP P6Yix~?ו#,E~Lc W\tsiAt<x[apξd+YO(=z#;;{i*42%g/DM;jɑ Hh$W죌RbIFQrU X%xc"RB!A*hUv%窌q}L##j2~C5#,CqXqJwG]\tuκNp:Zmg G5aԥ}$,4U0BTǽ<&=BOy01~+B B'X3"F6N#$( G2ʁ|&YOX; 7(V";Jܬ Mgƻ¼Ǧb>3B-s Je h[z/I1\+g8B[M<r8%-pqm2.{TnOى&?x)U Wc(Tn,`ħGeQK1)Pm:%9o40O?gC?'gC=RktysX/zA @d_`.סWHSoȘ.Ga{;ecZ87ڬ*W7Ox * &FK`o_`KheO. ֗qֿ"hR,^Zɸ +|{X~VӿV?OsN6U^R]@3ԡ*hʽ#EkΤ)wF z`} %URWznF?w/GV+k;~_@eZ[a.]6d|b-ئ^ ҆FH8&#"9ǽZ?P}0_$N#o7AK;0F nu ZL }D(x(|6@nc{\+v654O=H?:5>mm2x0!F*GlB=g GZ˓m]e @k`;3\<e5՝h + yE*,a/⒋% v?6#|ml96qjòuH)$HS,nj/آf.-S6%8OFo??L0|[4HWҧAK觸oy/_3('NZ^uej>B+0$z Xu|sLI kM|fWC,|'%l`UƸW9vB`/&\xtb\Ɨ.lh{i|/Y9[vu{+g!г:*4 &>dyl5V1c}?o(spIX_ivf+hCߒ3ԃj*UFC ߊML5TTb+CHϽ=+|z]t&{RŎFL$6 prWu9:g8{g˿%)_dAu&Α^%F9̔948).Cy~!$ ELGS'>T%)kdZN@dypnԻ] DfGQ?RxвQIn&BjͿf?O0Jͺ#mW_D]4|z:>l#pBc*с.Zq- .٢enY##v?@"K OX.7+Dh~"HxŗltRO (}f~x\F{HxRGLXu ,håA(;f-_`¢k3h88 Zl`SJa(B*p$/A9Dog1߫w.&TUz5B`  of<̗3ms5ԕc2q<neHp1:qIN{ }W؛JIq〙!ޯGܳt0$,7f7+*WeX!2D0bchhC={ں\@+&Z,3\(+""؊+5 _,ލ=kT$~-Bl:DFdڻGc%$K$؃PYlKy"'\D`c^U" 2 D=DPבFt#`d/cBB_9A:̥ɡ&U[`QP $^V*Ґ"c!tD)M / w(Mpc_e4R};[Y2_so)~P}WQ)7޾yW aN,2[oD. ӤC41YLh!3g5ħx3 /#65W]/;.pj0~\ͱb;NkRZDHk;ď1+xgu>zvfսs uC¶<ծ WA4r, a*AjD>ʡ0TǓ R.,ڰ/͆>(g<a`k|ќl!ZwL$Gг(Jg*mFpi[ Jq@sx#`ޠ xjEtW%s;.H'>5XJ n9hXAg]ȇʓsFˢ]ڃcH)}7? k^Je&[*['4ˆ#Z}='7 t|k*!ߠ/K jtzgu|$3NZ{"~uDCxtU"n TK6cڛq^5~7.g<`:3|C|G *JdOT|ZW^@MORbTX+dHOt S)+ؽK$:ʬԳU' *9s^ Ba6nSn>q_6Ab'GG[C%9]b_߫Sp/j'apD, ,g vd}=Mw:ܴ H10'nHə‰8i7d$$Vw1 CqJ^&:I3ɰey<^/;gW&ydP)}[S0 " _,/5={ޘ&#@$kkHq4MbJb)gڱ4U_f Q0Ie3&̈́Fþk^aY5HE480fBztf[&#$UxqQm-ʐ[ةY 0iï>F|o'ԁt&?ٯ-̮uH)8m ,Ծ[^b_߆Aڌ/zqׄ4𔷵qORGdr^]%:ZABYJ ӬɌ)p"(!D3ڧ}wh;1MF>BItWJEdyfZ|=]^RŪ`sdBZ9'|\xRo۱uJ'ɨA97Эg Yt@5U貀VAN *oZ ,(+<25vrQ,#O,4ضMrmHРފ5?mO8nIvzJzCW2Kq`iA^]lwa(Adc"֋92DGܖ^aG`3=)BIjjѽ9&z宦(p-$9!N'Q&p^i۔1Df9PN&/Dߧ"5w`5)7[ cn@؎E#.6SX?pLBE|#AO'{0R]uHƸa]/*E6eaV]'vm^< Urwm8j4iӞ]U~\0A3znXWtѷ",-Z'zp_z.KI؉ȗnY m< zLpsiiøN$Fu_'Q3)|m pNEt$UەHcVYڠs6L Tfpzl)/<ÿ~[kn#H~lޑj]/8o6qҦyؑNk2"=D~ iNNݿ7Ոxk~_ HdX}鵕8voT7*x-ͦVIωԕQA$hKQLɬe<^*_~D ˪5 2Y 9@X-l- 0K6)ΐ5k]$U <`FRFYzjc#k&M4TE57h}$mP@)HgD Og%.ZX1~._?K!V˯*,#a6[*(W^^l5CmKcosR=rꆙz6 #9=ªMrZ4^e笽E609Oe:f _<5)v(_u&o>K | ZBo͇aY&A2kv {.f m]sWMSUۆL}hL9KeN8NVxAKyFVn"`_}wǶh"'zoKe…\a0x]Cjw9yWз#P;-? &WojJ͞sА5ZUybLEߖ,lΙi+clȝIbn% Wm@>皯uw(oCm™-ǃf4s6G@(6b6 KlTcEhGZQ63Ebk'=#eWmo9{_BBLqW1T4LI!ctq|q£~FHbnڿkPq{soFGv$I-yخQAޟ/\K8U 3*Xc_Ϩ[3}§X7.8{%jz]Vg-|uE+u+šZ~}|f6],lA+cP#_a/_ٱa!n8S`=:_JUBj-+3Hh)? V7@Ǜ3[x1dRRr R{<7ʧS=3֕ awIdt.: s >2}p KMӶPZȼjÃ61aZ;Ӹ 9&$sӠDbwxXk븠[l&ƷDu' bp9'(Jx}a2s9AR\NvG&V!(|I ԌVKݶ);IjOZ>`A`:gԦNWzH V==qa^O$\KMPa5bo$x^ֺs"sp1)%Arrsf/[֤0/O0r}7צ!nEbԦx|(s2T¶<{Gz&IވW8ȣ=qCYjJ I9—3-cy%thL^aCP  UPR;js]ND_b/c$u { P`S9CJ2A5Rkl}|ր.GXu$VDsp--I^>a/*V;ܽ4Tܭ%5f#>faF^ʼ%Nْ7J/e`^G(LmMPMqyT@-%I2d>S"}8l=ZMǘHEC0G?]$o膿qBW*wmKhkQ1Ӝ֠c|#G=p^pFk;GjvyzMV~&w0 ਅ1mXӦo[aß&@U~u+fa4aKrDEB6. 1iS%}}p{%o &\mPG} *WS{"HdXWgeǣbͳd+pryhQT_ꃑ¹b0 m^X7M FFpj\{|GڰAE튢Vk = p|; 'JJuqsFJd9َ.tfڨ±#3'uojb*PI>ǯϹI=n=e%YjӅpX|yj]`?TU򳝽Y0_߆9df)jX#:Nᖬ]pC!ɢxM1$n~av٧ͽw845Ri^`ǭXYj{y/-KNz,3.Ea͛)tpna$2u[i:uoEү},[/2GGH^ Jԛ@f=ѯqVIu/<^[tlvreT=5qNtigb DKË0cE+Ԍx/P3tùq>YĴc@nXdow*v x2$ Д#~obuu*XZ~-Ewb299A1.{BU4_ dl#B$g9mKw5PU[w^xNx_;;[Ď~t.(\R; )$_|#Rw1*;^@QZ:`pNeQɤn)2~6@ p@qs*r8xnv1Ӑea鏗j&h絧 )] д5Q*?gH'3ʯM 1fDNJE@;_=nE!ƛ,G&U\wi2# X!5Z'*lzEbO%Y+VI82c E"ER[H=KKY4%A/IHXndjE.@;V6h QhХuM~9#GA)T?Ww֐zT&Ev+5Lp2#xeQKzfIJ[BXveu%ֲS*M`zq%npdq{_zO6&jT+7ND 3nuT&i-{Ͻ(آ+_J%#)bCg5 #;{4%v"/fQ'bF[JsX5Q"$Qtdу[]kjФNϻ>ke5 {݇'|{tӥ4Ε[sz5!]W'HxNvT>%K =J}]1aIE`7LK+k%_2w7% n/9+Os537z T hN4EaB]]zϏS~(kf!a?jK ѫ[>DD9͗,YKv*7WCT7R۞L ~Q#o఼!H/]8 y{N>sEtHygZ4r ,}inIk9iJU"tMT3Y<? 6 j ֽu:R7!b K<ă ;!E_cRD+((3(֜^8kn6&ڧ&7`_:j$Qii.)!ʙ)H 3IkZ\לrĻ uP%.G:;SM}$ʜQPTԃXfMFq%JRvZu0@ytrڗ J%#ε5^ejgQ#P< S:wMr=:鋎Xυ AUæQ|4ظ>fVu,~|T}d;w1؆r@IJ )It?H\ 9R$;>9pX2ҕrtUQ5 5'8ϓz6g&J3 PH:煦|ColYWeB_s$C‘ʰֱ,&4?G1e^QES.Õ3Shl %٘jeOfi3 3p pb˛[ى]o&#c۰YItff>IJJxp}Sk~r!|g{;/S}Aa1ةZ«d+򄇤*4|%($ 0,+`9)9L;aәCx@!>0euw w"sD ]$ߧLp` 8ƏSoL;b|PF5jnjU H,U?iЛ zߴuk;78zo8tv@9'Uwy4WxEX7=0Ԅޓ)["1+5$v!Fo~h,iM:D+xu`3\Jw{^=`釃~|T1қ*^Y_wTX O `3P|1I.skļӺǁdRi 0 7$P ,9k^HV-!]p裰wW*D{ ,_3 ?PYa~hU!6Ѝqz5i*J ٰ)&$,6? V=6 H 69VrÌ_!qOf .M1]1BY6a741$cc@\,^n"BgMAֆ t5?*Vb;eZP6j0{Bj{{m \fSV)%8*sD7T=p$oJD Pɳf]Yڬ,IBR&gٛ9?`IcW(:uF1j+!*f44&kZ$O4ő#_0SYcgjjUW^*C"㹕a!l ZJ=9uI26?r];p &p N97dlA`S$s)`3"i7S͵UWq d^mWvL kX,3$\~wD4=K?+- x'we(mgr<[K49ت3,5h?*ýK{a ͻSEHb/WF9`y? :fr)S,/-$3ɰ|FBAI &hᣞwNd|='לQm?p,ޠAeaBDFδp4)@- KlZ/˫wo?̝`cɯUUPHKq/$b;*ϩx'1cJX[yc!+' =%q O; gUhdTb87PS2W߻`܁:h-EZVXT1:5FT eqGbHR~r6O=Aȇq 4G?R3S@ K78 +# }K R+b2 ;1#xτrI :T ֭ |Xe}#:N9ΫgVߠʷ-C?bQ{Hl0DQhøg(&|>m}BkABUިP,j/Ee2T¬%|/U`&7-6A'U:yOL)%|+KY#Sf 'l4vR![*A;C_*$U(G}&v Hʜy%3_QNr@Q&Kwz".j観 #o0Arn{ %ߺQ `{41LoI_zt"*q|I\qT}ibTgc~;Y.;aC+h- c,kܲѠ)^ ! bWhP>f*9~K6 Oq@-X֟boT-ى2Ri4 h;1f7#3WJU6/YTlEBzt▐,ճ` *?31i;T,I^º"ca$J#ǔ$nfIXƿD'&F-WjpX I, |v4{)lGfc[aL;WΊf墢!MӨo!G!Qv#Jڝ< tqB>zKIf'#5sοKf PjdWB ‰2bJݫXj_ Hⳗnyqto ѥ .Q# WtT9Yp:M -706{7PMU=oŪ} OUTG#{°AV*)oêxBU'}G@c}5 3{G< Li ?xDOL=[ڟyKfG -Ś=! Z$>*Ӧ/(! oVRK#'kaFsm0i5T zYB㗠?!Ń'/ȟzڐ!qEVŭr5Ƅ]J Kc Z]#[M:she+&KU:НUV6};RXl')ulc`MnS,>x@$ ^!Jɻ`܏7@b߀c5&?Z~#0{sXԍBOC^5ܖ'h)fmXPF*XN%ż<.68C&CRu('3(Z=iMb)t\/AVæ/3⎞ ]._ &} rx [bGMM g,j-gYZ012220de8e5ceed75fe083de86a6a74f51d5d1c8 091d5ff629e386e1e129ac71475d75c14d34092e 0c5fd7fb18b3d024a5dea33e42f1bebcd90f6141 0c69633aa21241e58a4c56efd99a28f0bab7aca6 0f7ad1838b622b3de2c7df5b755968ec389ad49d 1588d5515e84dcfcc24cdd686a263757ef8279de 1afe0f3d27388ad9585c427e82a2181f136b9519 21d51aed3490be66d4d1b3fad5a0ca049cb292de 238ecb4808c4b74de83cf0ae256a4a0ce909c0e4 248e7751f945385a73f8cb7795dd175732fc7b0d 2c1d4ab20b36f835ea1237b9f95cd49e34e44c72 2ce1aaa5fe2b7456cea965f80e9858243ca06c9f 2cfeec2ce1b31633ac9ea7bd8f62c8db8d2b23e9 3814102a03314ddcb22a0f81a3d929f282fea9b7 3ae73c343700f4b89039379d93ae794bc7ee14b2 41fc5d131148a5fbd04526c5df9fba4d987fccc5 4663dd9fe588d274eeca0ed9ae03c691bd04015c 47a1dec0cfefb7f818309767db56e13eeeba9863 47c150d0359a73c1596c9f82c15fd8dc18e0afbd 4d976b00ba4eef38200bd9e7a56ade5f41b4825e 4e805a4dd2548af1c28b3d7a50c9ea929c651647 5861eda4aacb980c7ace76d5b54269b92253a531 618287869d6d796db5122daf163f82f35892111a 66ee60d9dbd65efcd72ce5ef66f86922d6bc025c 68c42fad69d7100fec79c1afb3232ea2648bff51 6b28dab26f62be390046313327ec21adda6d4954 6d13246728804ec2e99132d3273b0974e2a6019a 717a30adb3ea44616ed3005c974683a0e7d6fc19 7e650c9a8599cf893cc4f4b8981293ac522c1000 8389ad47258905f7a57a32ed62ee65e2bad966be 858dbca8245af9e0e91875eb3e7ec93c58658099 98304bb72c978855f9e415b5cb1b17dba41cd197 a15ac3884b46cc76852124d78b1a434686535d1a aad474fc2df6fbe773919dd2099fc67363e450ad aaeb32e6425d888c6443f527dbcae450186bf0d3 ad102e33657f7ff9ea736ff86666e5e66718c035 bebd4ae9009a465d7ae720fed4e0bb47247bb716 c520a36fc0dceacd9681ca3bd364f65243c34b5e c6b0ce58193946bf5a1ca7c1c619d468d3b3f452 c89c9186823cf4ff412ac5e88fb98debc9477e88 dc785c4c6855f11013b8d022ba8ab06b1cd3c3b3 f2faf48c66714eead5633e237a996f9bac973360554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 28607e75167823b0e62e8b81f875fa85a7d55bcf