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 S#|,L ]S Psi_Calculi:threads=2elapsed=536.375cpu=981.316gc=34.380factor=1.837zXZִF! K'u]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M˄1'w LZFg͟e o뤥y}R#NNB-!SvuLjv pl)Q)-ʉ5Z~286(PSߋyݐ$N[ M|]אg'dDփ`?qH[!-;rN$R9sf?*TP]?hs>LS0 W^ JEO__XZ1'bAuP rh _qNOW%#j{Q,6hm6t{]L~ׁT9HwD.J!w 2Ҋw#xz:uU‘HEJF0>K0cۡ'ס ;I#JB ][|}\@#pa|I줟W{WFUqVOLBtK~TJeb~=/ضq5`6K_!ȝAC+q $Iz(ӶҼ87QLދİ-78Q5tJ܉X ,$+ ?/7 /7@`|bgDj8 D1}ɿ_5}?s&oܠoDA'4 7c\h;ڪs_tx~5%8?8:d}_q!^P}k: rבmLg2Q&2͇pom冒x<؃Jmzԗ餸V 4Q`Z~Ti9 阆z)H8HnB5Ǧ#phP1 2D~tl)3La:H~SrƁ~sI:}b񝀳̉Ҥt`HZrE[]M~[`^Sw V ,t|-G`2B^Ou3wi@H7;Xl8&lvL'RH3q–ijҍ 4]/!?CRKm'4zžr Mݛ3 WE׬ MDJ%1_Ҕ#I#k|ÏI( *vteJD&edzT+G&/}\o*- 2@8fh$ iFtp{> A:zD"֖ۅKDB'H2e}B>}'ɹew/suO|;n0/HLT1ָb!i[ rB MD%ZGoH¿ՅA\ EzMA1JNJ=MU H8cf,}{CS Y)>p[FzNHW1ΚMo7yYˆ9 CGb7v-5̖38/jy鄛AQ~PZ._Fkz P&_4#6y:>.V&$ ?5Ŝ'^ eBK (MPexQ+qR}nzzT2]+fj_xx mA JlٵrGlZsfQ4ج&b}14priOv˼?^?IYgD5H5lBqJj7ޟ vVy>7OsPJ}qXck)zͳtfUX~ZYF?塀yP呢4vFH+ui1[; .[ep֓y7ЮTpex:v)\{/BxWrȵ&}ؙr6KYgy/JA ԣ])юe3I' cXz!r42lt;tF %K)FQwX\_5/DްzD>˘<5JXVH6DqfQ9F@l"uB{ssC]4ݞ0;&٘X2g޶u1~ymIe%" 7vL&7|~9SOއJ 4dF !H1gVΞ5ݪt!z])m/F_v #B#G*V:a!@f" / ?I# wtTh*p]\<ލ5-: # Psi_Calculi  ,;H-x#_^={WY0Rոg9TCgib\94pϦ6;sl(@M6nv9A~BfvLaAB )ShК LlfLdȴxi=5 Sɕ) Z9Zo֣.#хJJ 짯hp1T7UR pT^X-㑆0UAo`^WqC L@rq{x¡ze!Ӣuoﬡ.CLwvx1AN:3B uB*jdLo=h=ͽ3iYe}.J+W=M(SD_Lr5 \ŅS;P3b!G{C^#x>f,^8l)A }Cafk\7*6E\UO[py8c\7i&PX8 R+z\453iY`-#s.~x#0Dfe4^KU/.^+ȗLl`fL5{ DU8Hq- PjSE  ʉ^v[YQ) 6{Պy'wTX,Kѥ^䴳5UgjqY+w?Bx,C:O-$qTBsϵWYdZ^HMȕ1'J+7%PmҵOq2^u?e7k#$)V~LU"X5Zֺzu|p^A=N7s7HJRCB|;[&ahw U9r _{zRz̯^'@tռ?؛N'B w"GB}(̉RB+r>P[gVp7T,[ {e96NXfnѐ3ƌn #^sYJ)CsUFϠJ 1wg@^~ Wy:QGAH/eeX ;;mB!fmCMmh>@+ѦD4] F$UYS"yW0[b^D2m5rњ5L[R._g-}oX1QU@PɡwGօ~hإljT>>+C (W*٨ I[#Yn3-J僴WLW.= ;7saȝCYeh7 LHr :za*RzZ7ItsW&x_aung{4[#It/7am>wBUPS$m06kLQּ=dZj.NA%ѵ(t+?A`9gLw̥!+ ”hx HMdqJDit~h+21X(|m'c.DAW{ThRv$緋nL7a0#hj8[MGE@xFif~*3L(W]2Rly+GWcDۢWU7 b|NVu>ZѪԖ(Q5BB66&5{( _1\m[,bg6 L'C*B՘V~٧5Tˣ9z~֬s$36Rg^0SM#1YnJ"a!nsvU J4(VP]ɣDOÎT]!R¡0+DaJؑ?tŘ\o׈,-MeGlDj7[,uzʐ:шdqs'\smϳYg|CULV'Х+StU=A%X`*wu6#UԸ@i)75V-,8ڌ|ZHlCUuFgE}鴨|d0{,4+>(I B6ؕk̲Uz$g\ P2{ADWfP)/FzZDtT f2пJ>88&(*.@ql{G~HKU*H!b1cD^'RSqSlӳCmQ|ΜYHg|J JГѳ`?q;mB!g9:OBj'!ӄqn&es[GFӈ1ANz Ve)e"ĞXԯ^az5!T)H!f|{e@(MZ&/=#)В|Fp*h9"҇ݐ6~EXO4$U$`4[9{Fr?kMHAnӄ0)6ݛqf:{c纕̺FxQRadbI~ՒeK^T9G @$s,?ޗPyK h{K`u(7@tX gYZ7zXZִF! B]ŗXiɟ˗̵w'Sɺl!\c 7J[i4mOo G-˔~J=IԔ| 2\~ږ}ʤoaI -&h^љC_ͩjo$Ѣ=צx' Eb7.UQ]dHDf Da_c@hޗuُZw#}67A<$V^ $u+vُ';h[9ъ=a(Ahg?ڕ*g"{|hѬEU!0wᾺʓPO#xpy⿀OtnR@ڕ7 >V.چ; Gߌ傐-EhJSgm>Y*ooU"Ӓ e5枘TBIbA;J_l{,.@T" kZX3YP^.MewW aWAcٳHud-Xab_!LH^S8r@Q)< Q; \쒰-\]~^SmdžAhعEU~2u0&̷d9;W910€푸$#}% ԽV@C:{ f?lW0Lbwy?Lvzmp"ct`޹iЧʱgYZ7zXZִF! bk]ŗXi%>gt)){+wnc/[@aB;&dOY7aq i>6 Pa8`" o‚W?8\ՅʂhR.yyemj݅ 0`מ$F(oRx,jKDQv+^Y9mDJT&)Gq-ߙ[+zQ?1~TXSq4mUwR55ᓳ RYF'@*Odܻ7;`Hޡ:-昉=Xe pWh n_8%D{~"n7f @ѥ;IxOfZ~I:[/Tq MBix:[\g-n+d@ou厒% oSS,O̙j;\cZ 8? S\#}_ ?E2Y>n744@V 1圄؟ 鞛ںc߁*L`_ИW,ztӫ٢)(?*<[kK 7Oܘӣ!tI0ECP,ʪ#{2ѥu^A xƐSҡwH-9(#-  097:a܌vUXgC&I#6$2yV'Fko-rڳDky`3骏7?WB[+ FdzГ;Mt:d #<4Pzsyt讱fcKV9$o54]*bKz8U*f Y@"ARC#^.J1Ocj\M2-UM2m _b3/)ݕ~p[;>'e[ ة/wG1+k3&2b[/3ZN}Qy*$K)ykb$*%&c9:mиOVg3fہi#%!%`$ }t\5!%s0R9ԲKjVȗ?.n"B)櫉x[,B>-= Vy\GzƗ(ޝ\U!2Tru6çD(h-ύ)?AНKe< Xd2Y@<~ŋ;=L蛱&Bp_6/B6Qb~(psp:o\~RtX vS ]E`Tq=6jà(-f)bچqӅ,,6B0L-vnu;}GH*]}u/$^^} kx5! >@vncow#x%^鼣#G\"g;Ov S/|8Q7 .%& -i>}`G+ij=%j XTX[߳>:@o*[k8¯b!P!6ޫE|WYюvXJ0)QHv{Ɓ$#L^Tԁm%miysyo%i:ynAT9JR[灅7=GcIBn 8  2ttίNҥs xJa\w UGH)ZZ P{lj{)@Ed1ZC {ͪ,5r[tI2=SJ1Lņ|'fqG\f +njla=sjL;<ɯoRooXp`M/_ad\M䟃xs!j믢3ݚ 502mI@ 1h vfu4(O{M< %S*q8YKU^н' o!5Mi9"9u͘SA<1~ea}Y=)N}PQ|#S<-}.GwV+[e#FR(Fa_{gFVz}u_'hw~g뷗8FuC;z+ԱN}\,0 Έh-.[rZݍoqgVD Hͦ5$U e>&R{(%n~)~Lpv#Bn:KeQt0N̖Xlk+Ÿ1zNF7VKPsfT1ӎѣs+/EMG -霖|U*"+%J8vDh`g!2;װ3C;6_o#ٌ !qey ,le;2s<=wY6$oό?W{ !rXB; x>kB60# Ëfy'xh2%!Ӭ9/eK5xq _jO+`RO2dcw`, p{'ei'KRbI^]0蒇Y S>>m Nߤ[QM*vR=A'?RvǢD$=r8S20Wʽ (劍31Yb\}稬Rp#8Ezf]VMTU+j@;'bTzaGcI f۲S>~ A],gJVحa(Ybו J-ǡ7ڭ.onc@A{?$W,IB⤬gr7c꣙\I㲨|K|B l 2~k5,7<붟;?h76pe.}'9&"rdfpC1 &a[i-݀lec;fD_ɒ8"{MX^5B:q*$\iɻO<Q_4棥 Dg je(? ʙRO\پbj#8}x~cփ-w-Q>1)*3RgxyOuyplE4ޜX  ep>(2KdCP5g|WРC-{T:kݢ&AzfV xDr&үP>%Ko Dڌww&V 2pt.>ō L^\Swh"M @ҋƒ_ٓB 6WaV(?{&N 6;Xf_lg:e|[wگIŤoz S2CU)q<{ퟂK8q)0⺲=YHw%j,G_#sLvJlln͹vɱ4tzYM+h!L(,U蘾spJLt %_oІ!^7<Cxpx2iΟ,|h_o5ϑ3$5[Q]zDOȒ }ēcOv1ǡK4!F 4Td7_-4}+B_Y^6^f }D:O"̡N7zMVUod9\ P )DCoh@JNi &ny~?/Qw#H[}ʋ 0ً98U)N5l+~Ho2arۈ^|[lz <ԉWQH%<;C3?E&*.'\P>6_O3b{lo}Uy{1ׇ˟L6K=Z~Blt۹ NB{kO,c!aiP·xnp ČzP-'.]r ڀJl[R1 Q&ն<بg.lIխFɦ~#6TlF Ŷ:OqJt<e2>K謌rk$ȅ)oZ\hmNnpx"a^@H1S@& M;xQֱQXX/ YU~@@Dzs8)b,Spd8Lj^nT$LmW—;-TDE#=9-{\+LCse+ayMGa`ua zS-GKneI]1 s#ĪP^SվMq~cRto?y8_-8-S 5ʿO)i|!5E M^NJ jqy u6 IO&sI, 0#B $=/5MrU?#gn"$9Yil 0E(@D''d+{!,[n!XGMzTݭ,)e3z"k.~[~D? Vv$‡-d1-.W{˦Gߒ W^պlf/Nrѹ xOC^FtI6]aP(̋*v؀т0.#cS -sKpT-t@ Gtj$y*{⪎VB~K-O_kۛm59/Q(:HV@fF4(l_hϺzH,GP$p'$d﮼ځ tOf|W* & i(adR'z&T>-M#+s8S_6vi3>.JmGEm֖ViyIhǦ\3 t0F\_6z%z:zb}w*8D9\)υbm'8]oL!f qh~ m[h53%[')2Z -˶TϢJ XJMc,HF^bf֑Vj^<:u!]<$stTR=4nz40WA.#Fƞ0f:퍲>53+JNLa"#0BCq23~NZqˇCvSY?ڈU[Aq&us$gb_I`0d́![pٟR0AĴd3^/fb.G,1r4DhOE&" >@ lRy^/V /kU5XciL|.ngsg@zU#02VHt5LRfZ:ң̴ebvJbs5 'D]b8Q$MגAINyp T1^Y,\+zWF?ѨsUtT<҆3b$̄t#RKirJI$=bS Wv @Ε CMRMeV\oLB Ӵ&tqbmnL&H0orw1ϾA #oU"K,Z JQ>h,LW77S0ޮ@EȄr},Z:,/,H}btS{==jy\7bRAr}ҍƴo~խCdkDF.Nnی$3#~|H"~1'pMD`Z!ܽ9>h'‘EoVG+tPljl:R~0vA2#'CpB8K_V-V ź:Y#LӉQҋl۰P> w%+qF{x@gc)5 .Y.VΕ9ABVs?84rB\ l= C~A6f:2[.2;4G?+b;TOUeIfȂ$F|^JWܼv1ĀT8dtÚ#;Dx_ _wHVv.GtM 17۫"̥睄HR(QGG5.yE ^kB }?JA#+P/x竾ν/yd@5U5F2wQ+qZkPHU!:^S&dQχQdtA"TJPmSb?S2Ѷ;h Rldėԭ("-8=^;+d~r}V|/=/@ʿ.JEԒcb> p {F^Ia n!VzpV|Lĸt j?!F r(FBX0J:D5@a!s,+/̵{96BP*i gZ&ch E%C[9]VJe=@T-0U8,6~x`0P*@4"qށɄ O ;r6Zs(%&rh,-XeWZJ ]w82X|5vsrD^p>[`z]fת Nwt`W8 `(Q?xNV^soǥGjظ> GBy7ڮ #9?p~Leڰf)1B!%2 mxnTԬ͡o[>*^,bdٷpQfV+ *4VvgZ3dR'oZ衴p`!@srIeEp>fR 0,B2?gT KZaq^eM}tnR>dvN+9-Q->ؼD`1HJb 1Dv4 r5߳WI 5de/|w)B*x&`Y:8#|j'4'qz l̚PiVL|`eL*YzO3 )/$Lr۩u Tv"q s pKD#BR%ܽHcp֛'9(`r +϶mKKO ARӎ3?o ֭y[By2γ+ C,חkW-oն+~V-~m FMJFnkl>d7U5/n@8o2+6\YwilVZe# *"f߮\/7UT%/nVCt`3B@IzVQXA^.+5[? KjJ;wg4-4)_ qOZ)d]dL{76C eH.bEih[ش? ]2և_<ڱi+֓/?8~$(MR:HS4I2p+G?cy[q}QOV L&zʺNu`DG%$>hr ^r'4{Y< U`NAQ:̒mcMrAĭՎsGC@ b/'68$rD (?~S@nZ2+׀JT"&S ߟNd-To}_Bb"i*bcU=Ș8H[u#T1hS9,[ݩ%ڡ^:IǢOvs췁"nm,cWUڪ|vu&G*7?ͤ+x@ ]|1 Ám]q=G; q+3j))] hjְȱﮏna=T۟`5+Udf&n jS9FjEd,Аbm5VQwS)2H)sX]2Rdž s*7h5T.AWL R]t3I_~H_ nQ7^5f7xްݫMH %sI875s>a#t8]FG[1\D- 9{7-=]ٿ/*6c{k\e>XNv8Ef=ctȈVyf~f1[! Le,??K$(*K[}tbm kK^-y7V&Zz$@^ :wΥ!qolFu6^'OHǫԧX_ A󹺍AE /ѻd'Q8jLXb)_\ u `W8uӳr3./uk@AJS)\3x:A1{HNYgOźn F(8-O'kٯXZJ\社qOGFYE7YlWQjɑM~CB]͍l ,ȣ숚5j)YGN\2e|z7t&7J'I2&Jd%,4٭-`~?Llms/ &&%Vh%T!N#$H6qr_qo3mlTqi{ sٛ$N\, =[ۇɕ-ZC.˲`A3R:/hj9_eIp?Vge=a-Ah(XOMTaj ,Q(MR9M.W2_b˱0I@|9 ԞmE ;ܻA#}d=nKS9Js֜M_9x P G KE10. d/瓓R!}k3d]ꦣ;x*m:w%lQH]q?͖ h/q`O}UV\"V|W8T0aa1Q1/꺣!,ם[Ru#EZ<NLiՌQ.Mew# BOo, %gKP-.5&a%@cyL9}4`s4;?S :.G^o)YN-B$O 8}qnb-\|?욹\ 9[ Gű3ɀ9V:0#(Ks.gyqלIڂ&.Rm]/?rLy[te˿ZPF6[YNlPYi d- .ܻmX$ 4^Hf[Z(BN7˦DB#\'UW(ͻ깠^#wcrweP =}{xF ;F_-<\wZ &x_Tl)݊bʗS$35xT*j&lcN2+iH;=P͖*|vhͰpe~f)sSUiKio{X#$ju04kL>фӵ{i^nQ 3UDr!9Ve! 1xpe0 &J2ZO(,9ܓl'?N.=_+<9vjM%W4px{=a( 2YΏ'H[n0fCʱhӏdC$\ȅ-|wI=kDub۽rª\LϠ(RtC !G̢Zb@lvK|C] e?k]Ca5muDnLBaiIN5Sfy͂ݳ4q5+\ĆrX ^˭| Oi)h)B6@@I&4\ԉ&+OvfgbYӚ 􌃪6M <,}2!l Z ƴ^սۄ'(5u60 \R `wX= 3P_!u"]qex41uC T:ZŶz!+yFvd"ZG⢻9U[ދJzy (Wu-WvԸQ#c\A`%G/j(pܫTYXmaU\zMRm[ҍ$ c/0S;lN2%AvavciH~m]t%7!*q$.;>= JABmA;P|a]0gX:v|eo0F]ɨ}GH⫟ų=a5+۔ , {(y&\tKxN^х@vi_RӘFٕ46pvx(YY4zq3qC8`ٙSE΂- ^L(%?:-+L܌Lks@xa0&/x~a y.׈#tLwop0ak2غ  ֠l+rkJfZ| ,Zދac~|[fBW[ݣYkw?bGѧ@!k w2WK)OJ c.>M/ =:J!l U)H2x•HL[CgD򃍜x2*(P %Tfb}FVC7(u78,q!{yݰW9\?nR[ǟ}koEQo}4іEJʁoDP1C")UL@OIuqҁ@pV`>+K} 6\߆TM>UHE/鿥灕lS [y}*b6 R>t$3?wskrza8VǮEO(2WKJ 9筄 <5~o׉z[=^D\ i55tQҿgY146BwRē"Tx ޏi'\oCH49Dta:*nL䇢٤&6 hI`,k8JW"}y  QxɼVubhV/uѦ@:gJnҁʩolK1fN&; ط5W8HDB"T<8-50)ا#" S}8nu9~ yGXhI]1z 5n"(ikY\w2[B睜5czx$4è BX5>Qf vϟ&`S,vV85WYRy bD%n Eo wQXDC~2/zy v[fzP-V@üZ۸pVu5NpYٛFr1ޢ&:54a{?t ϑ r jo9/PL&n-“[lb#WGs~7)cEKڙ" ;L:րW1y);:E1yUpٲk&Y!9ab>r|Y?P%#! -O z [gr*t"Hi>8kPdoگ%RzK; }E"d+4<%qRpG(DWYQGKNWR ^F>vMtNvJ ~M[SH: κ-eROE4;[0. 6`҅9_L$Ri52L ܨo'=M%z/w2%N!c3V5m:k[T!bC Qb\gx0ah_XA"s X1`` v:$Rxz>He^LUGС&S{fg5)UAN O9:y Z Bc>2 6_ 5 p-D&|by- l_bGpKQ%] /||$C>ݐkOA4lzIq@i@DaQWӡ,?SAq}7S9_C9wp!nnQaa[ cޱbrhGc(Rnߒ_]ՓlƜ'F{m>}^@m$, 3Ar*FTs6C)=4=^>Yo+85'rP7l dWp!Ǵv3@k{mQ j['w$ Љ?t=@1 l_仟. dGpDQؚSe˽a2\X-ʹաDzT%T #4{xhL*Np> u1)4Ϧ. 5Z"J$ iWΈ=(~.ϔ4և= ij,Ձnuw`.amW W-,p#H_v贔]T3)EK'Y6!KMp6Ӵ+fu<|RY}C4+ z睠~@MR^J%ЫWZ7QM6_YXm,x͐8Aws#vl@^i lVg;+kk/`d% msxpK}oxY !y4U Az|=',/Tՙk{mB"&jTu$.?k|ذ&%7t@_a`>DmBЙD2A|thWȒpOL^Qdthw1簜xQ>,1֨ZFڹϿ]4w/ݝ9.]-ZLd1K䜍ӗ $Gi (-[T{ϊs!T3Xb9Rd(E3;F1MlKZKw=Я@,(ơn`F0*ec pQP.^Y|ƒTJC3%! &Pœ]dnU{भQ֥uk;M0[Y4 ikd= ǀ HQ^;(3uu+ؗL8:" =bhUu#LwĎ85456a,]gc 2ⵖӕmm1C4Y^|'BАߤI]`]:R 'vmg{_7z$APyK^bnC˦l6\&9XҲUj2f'fOZOXa֪ o%W-!WFaRNQ_P lrHV/"@kޭ8"V0靱# Rpr7a@fi@-)5f(UdWfnsP%{j6oKw<HϭV従sPYcߚ{${{%mvIǵ'R0To[{\mՠ-%.l)=C8<ĩ O\cbI"ePᢔlp( ѮA t6 ML(aB߼IJݚ0n:1@6\b0}U(næp%@L]$ԸʹoE!gXCԐH MK/iz @\2 P.GTY82  L'!!N򉑱`nD`1ƞɌX #;aEky_V-<P.YH9Eb`52?0]p\6L.A̙Z yU.Z.ʜ$4 J ^X4"q ,}'#}1ej+\/>vvDR2> Д̵<ۛJRΙWuK h)':]O de~4 %xtڄR2bk2KaO7K=hg$me=V ^ t7 E~5RitkdIr:Y_܍@Z(z\(w#")A3K,x b;e嶉F%ƶ\B#O7E",mJ"2/mƺ+j4.xu$y_E X~l=041"o} %1õcֿ?nF5`Ծ2 zuEHWƮ>MP)ȩߢG A,:3"10vVHW˒TƯj(W2"JT@+~.v/lyע3?zY(y`+o \z>1$` ?:".L*$svRTnǴk8dHظU8.yLf/?{;0jClm/zulK,dp6!V$d|,BeѢx 4N]F9b$G8/<,-zsWnzxz3ɸ^e2C7;f0;P\%8X,CH8Qm+\҄HIGo觗@V~dީA2RF<شZm;N ͺt~k~\t^V(B|C\o4xYuփ*c yw !]w@}i2O$M󂵍[)CȄ:c;l^wvqxߓ@uGr|?M&qj;J$#⭘MpyVsZnǬ%by㞣ŦBDy(ǀrdCp5ezn\A 6eUפce~m.]^s<|'~)KU)]yFGC݈|o &3h?!!8LupROMV|Po<ԧBRx ӼL%p1Rm,Re bUtdrtzV}fhkzD]M ݐPTq\P)'BN`CU;ag@]7׫ޟ$.':uNJ+:دtU#y4֨D=$$|K?Y|CӬo3 ]jS0AS` e!<D[]&>!W vM,Uu)1 * ,,J䋸K0<Dp>IV!bUk׸2@F7\S؉RH &Q6CTRlld+WvVb7ƃ[Y N.Ck uH  zLTxO;uaO)BLC)՘Bfeph GGB$57}!FS2OaQk{q4Sj[/yIxpNۜ]{47`5pj8S,T9,B7 Z(xdAM]`mh xI*~F i;=RM&?}tĘg{g R #EKpzjFm VΎ?x>\t;>l#mElJ֢Ц yݬO0^2Ck Bb[[J<#x,۰ Hۻ. mN EPGCXjp.+ x#@S4Hy7lKqos倚"ڊqSk~V1{>J>R:CH&hEC#.WB3Et ! նrj:3ϲ&plJ .B@R2{X>a" Th_v0_INUV"xA^w(C.OZCDN76j;xpm`s0W=Pz0^rN%[J %̣I.@ !!~N0.ŅYvٰY-ߔ%@o0P5eJ)2ph٧{Vj&+X 3M~X͛q$M?Pc2$f%yO댢>[dGDU]ĉ@B.9$O|CԚ.?bV!H3x@-ǎ6WR5+tH &4O18K3Y|OOSFvuO҅8JJv=gvÜkj ,ƀ}Zzcm>T9rM޲ţ!PCʣe;+tJ4P2%P5 5J(`j!ɸ Pr F}kߕo;C7|Gה/^} K"@Z[6f|Z4'l Cs揔-c˟I=Věmt} Snu5$ݺ|뺏\Y/k(.9T%Kp 7׋V:o/(Q;eK7l~|vٳXڜf7Owŧ ǮN狶I˙ۺ{uRX ˤ&g7(`T Y+Wco2|:'@ယP@;J1v0gi$MG@IbҊ4VSPtDhi <ڨ=&LL"7t .-JՕCtT ס#F, [Vs㖄`;l\F~arBO{$tTOPMa;Ӳ:3-Lީ)oQ"z,@"(,jj9*3Qss`,/6a5XS̶I>T%*p~JyّZpݔP[.ЇI{v @7}כ 5C{'v w!8ERuϒ(WdҮIZ y Ex)Ӧ׬{bLt96=k/NKXjg$IxM]d0LM_JY{kWҗSpM+G^Nk{*;ql[=G3ߌvn↯&J$ՍT!7R!1ZH ,2X >s q4cѫl3Dxj& b$_KWK?b,HL@?8V#m' A* Pʯ2n3f|ws/ZP6+`ć~E]/:@B]MF=YԸbrG}㾶pΎGQP{S;]X@KEbA3D6^Oa ^;w'A@*H钮#s.KOP ̰=QBa#Sy bO)y1f K݆PyqLYEBP% cr gO&<$0jC< (CrOrW#|sJb$^Qr`r_sNQ}Nn(̂2Ms:*fz35<1I֧eUdQ9(8aVq:qO2i3Ces<&!̂k5ų[xՅâߴi kj.w1߿ G58v&v'iq:[Vp1Iﮖ>~dTr&)Ǽjmpl0q`> T$}aF*#S&oU2A~ǚrlXKT$|$V|XzҔ D"EnO[Z2E vm%M[bC[4 CRKPYL/e>ftJްB|?~KnCrS6d~#F:>[j v- us@هJ[/JrW'Djo=\J#7 fu!%85x ;`\!I\aY,s\WQH|| Zrܲ5ģY.{16Mg~b6TȽcڄi^[3̪?. Zvq);,ʊ݄>.;K2űRp!= ./Sf!0`G ]Ss\pn@[4{.YpHV_:;8%]:AK.cG"ٰ:Œ^bi$/RSudօ_,"S?Eʫ4W֢`Q*Hق kKF+ExeZ?rK<'*"j&ߣYYN`-()P0 4I\껊҇Pd_iЫ*kGIJ OMXTg\.q?wT$^jQ!NL~5Л^ͫJ6in)hʅҾ'7>a%N j*0u:?f %kS» !f^`ߩ'wѲemrffSwtOOJt~zg2fuJy^Xݬ+:CЛGXF h gbB2ʗ/+"J-/Ls?sh3 ]Gz^}H~ӄsr+|LU $ݠJ@.'nrS1wb[APaIyWzC]8-=ҕH ƘFmq tF0r(bQGi\k:Mcb!BtCvOp߁'6L?0y7'J4u[)=?V2]:7y ٚR8aMJ$y+ eY %SP#+HHʟT@h:Kk(Fs[V9ZK$`ـaO#+B,VTI_q҅Q~y1ջivD+ut]KHV=ob*?+&M-&_YYo! ࿻jDU`1E GJAձ &M@ɮG>u-aXKkߴesμЂ%-_)Nk2rWm`ϸ=+Ktmn=UɩCSFUCt!2X@;ZcL}/,Ydl548(Olba3j,A:VQfz/MK &'uvp‚%śP:l!CUQUXFixNWPD:1TlUFRVAin!a NzFsaomS^p as_BzhNiS;otUbZ=9EtO<6\=B GfK(N<5*G|Ɠ#Fr%\.H1#XY[h360w^~Y ']+GL}d] fzh=:TPc.O%BR}}tٔz!$264U5Qeߘ;\3m&:Xxq5k.Ke C".ɚ J@ݠJi%D6u@ԨT" jԴs~[c̄@,ʚQBb%4+%eؗ[ף y,7M`c^-2rRaR< .b=a4߾U.}Vkx<8*æ2{ 2^vis [lkDHy/*4 9V]sn#9+l%zu_y[֠d|xY:r9%yN[Hu Pe}=Z 6B+rD=V0>z4Q$qJV "ˉk' Hk'~o}U9f~lNyGPa&06gz Ǽ]нOH ?8 BSx?opϭ7$='{PaE7J*_zLU̞=Q9̍(g@È/gGq1 tOmgijRXy>\(j1FftGj'+VJ~O]4ݼMf`ną+xeBpl?adQIImxc\T$edJe%8Fڋ(VK>y0*qRLH~3/'Y[ۮCNwM7yzcG-jd0l}y-\)Ŧ>>FA9iI|OD۸~a@QL7hoN'Abƥ/ꋂhکY`N4K~'΁*(%RfNP^$Vw@,^{9kvuvF)`[Ui!h.WT܁X:0ƌ2 1G$VyLc>X.4$ͱ5á5ddLl";9q2R*C)dL񭷝MPNj->yC RP#CIoa;zA8 *lWٖ:uhrmwF_IF*'x!=NnD{"EpE-*hi@+Q"a%] amopgR`>k%2eqI?Ҹ+Siؖ4tHǢmrC|fN, Ձdݐr ~ IF>'4U2.LvY͇~ gTĿO4=D0-ns[x}X[Xa^zׄm8j,u(eF*{)h֫@/$F@vFǕ6n2{ BU?TMG4{D`^8CwR[j~I"hfNfCL)TtgYZ8166b94858b93a8d8faf0fce1e997b0d2e420b0ca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff be46bddfc60a90d9dc484ab58c72efffb5cc60a3