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 o< d ]]Category3:threads=4elapsed=452.579cpu=1353.100gc=114.132factor=2.997zXZִF! %]ŗXf[&wΞҌyP9Zm6"08 a5#'7$'aC%0&7V-;Yhcf99A Yp%dǮf}\ NlI1G-pbE:SW7Az`h7M籤1Nr==lx/Da[ED+0 ^*f`ox#WňGʹY:}Tit- ~=C6\4X|4#K?P&sw+q]yQCvX5$Ư dc?GW=gq %Ep:v$dp /n22 uoًo=;IB7S!{   Category3  ~rnk E7 B1]EgxcVvq_eLcEj HO,~[3ɠ6bW {cۻ7.2n6Z$r(:*%!knQ21 #dOB{x# brYrgȺpzeٸo&֔Mݷ$4&])4\8ľ"@-Phu>h{q/ze| DO!L}U,)eD]~wusN 􏷣r6.cl[b'}G.FH Ps1xs+ϳƛ31DG5H)Dr'1N qqgފaᵹcӔE ~-{uΕT6o}ev.^ üĺrF=<#<)"0ICrs5IO|Щ{Ѩͼ=CȓP@-VH5Eـ*j ^1GsxֹhPq媡#&>5Uپ,N^6$">›v_[ƴ9g"?r==x ².U;(KDj?7 0(o#Xjkׂ-FRMtt gTQP_9y1GcT;c$bv|9ՂGa`SiM>Nt!6¾ܻ_>Ӧ .ɞ=ʞĊȎ^Nܫi;B5'`@n&@?\j]M@ӮJ ǮsifJ\Bbg@'mk^SMfĜYc)ͿW*J^ Q8dfyMۦg'I+l 4KoIG uzst1 wdC'-)rfP57fHBH|$ }fԦ"T@HZ_PS 5_@q{wGQ;,m%D^1Dh~5c6qRhk}_J~m}2rZn"C4EA<5pΪCO/8 k1KNTR("P $ʵC\A;~q`z.3oDUwS)mndmHP@}k7i8I7[,YWNI!mJ`]b*?1" qà32/4ǩp ZZ rޗ*VeЅF-"Q&:CsUPZ`d5[3 ޳g rؼ\8Ĥ[aB0uzGCti/J!ǃ9Ȧ+5Mxy %r_J$0.і#.HWomm ^dT!68L/r fe6HߎgG/1=F̮5i?*vK>J iLȞ4 I`=5Ňg]&~6!z-x g2d91 [-<Xs?q5T3sY:y&Q +U98'p{XB3tsb<ӅmU2K{L~#0O"_gj`P|MXC^uުU2YmH[x`Yi> LKZ]R:&Ce$\HW8f8Bn0կL*x<,|tUDm_ڨ!\;v1!tAX[g _+rIjfUEPDXy z&M?V)+b߉ 93{] 83'ۦxɕ?wغ圅K ^hƪ7|N;xb*BjP%`QKcEtnekܸe" ƾX`oa5'fWzlI!Αr8Vph#tbqg zGK d5_cgblҔ pg0|ZJ}C -""x8s/cvFF<!*C}#?{dFw]&s$N< =);.VIC% 1{^wDw4zئ*Wl&4E {#@ajk km/]";=N-}O!kԛ76EIC%mC&#Ƴ} o6}" -R?~A*HkSh@ܭ\~~;_8~;ELݏPlq?Ga0v,zɓh[{_+= }+VŴn?ބY;N*RCbcyk)8ЪK65i+0ܠw6hI)^3͏BU16#Xnߴr?HҺU)=&+DxsGp4S55 Phi1yI:7`FnΣ1WMl +;rtBV_6*{HdeJ޺[2<)NvKY[T0Ar`D趭xs?ԤJ&h+cZ͢i-^1Ԫk`\Ֆu$q qW85y}2ê9CE*QAF!#=>c,f7ϕUra:r)YLsgy7Ъ^'A=_/D_|1*ً`ޘa :5MwaiDoOP%fZX`7S "DZ<`+ml "2fʇHsVfbNsg\A7%/V3Փp41-}i(+6oM _T)ZGtSyzc<լôEJMB5=^g/n(2LD1ͺ QoǻsgR@+kNdܤP\΢=$<ۨr l"q8Y 8 =k&Cֈʐ8/|̀ЃV;2}Zn[uj ;$kF/xL'"|L,& V]G3q6햴e5kP@qwfyҥ߈۟!*l$LҙG&윌.F5,W7P2o})#׋,1_p-RQ'4?u^x\9Y+I3 K7ءjq=]??E|\ (%AldoP5̑ V{x"-yAuh`dl[ph&9%2<fizNr3d=w(O! 8IS|a$[ BT! /KOJ.f&pp_#aC'VQ8VGنm㥈m<2 ઙzL٘&ްg~$MEFN~v#Շ'd0O$M#O9r5Б wk}e$raJy#4?~1t˄>Z_Tΰj$ QrSڌ`2۩ʻ/ݳ~!$n4C*ɓUV5r3=N7y8yK4YkX$ Y?W "*Ơ]5Ck\ޞ5'Xj>-%Mct ݇Vګ-Wau%.Rbػқπ͘E; ֯=,Bjrf 8[‹~Nr)Cr+Gր?G9"jIh IuW-6thl4U5Hbnۊkիuf>;{go p ]~ϡ9FVY ǹw(=^ qc:<0!%Z68&kh6d2:U uv^O~o_+]pVwfM58[Ԅi]C5֏šc+4PS`҈mMY 3EfR׆)ޏ N$^5ˌ]z3_hZ3W7$Ugi,%S%sK}h吤W-{\uhgS8F yk2ge@t±p՞F OG_ϺXR%@499*VQw>(RPV nzIk:v`}`%"1SR˯9oˏ?ه,/AEJK;Ki-7\蝱s V!1lr/ۺj{{^uFCw*;+{\Ɖa!O]!9ȓdd^? N2ag ^i#A5޹Bswk %veꋎ'Hd#H` H`u;$#g+j|(adK0)-<QˀUzה Kgz\j54 [w@od\R V V ~f"yKB]+|L FCM ;O(gf'ŨCS W=\!bUgm޷QiObm`ԻZE3\Y7zLm>FK9 "~߇)g"1sP>$ -\lpm}w8)۾uiXbywswD? qoHIQoIN;oarf)H:cZht|'e emm=`Cn(0΁ I'S(t{otj9ϞbNn<+Ɇ%*N:7l^84)z-~g~b(JRF;LE 9x'm`J^asN6U^e>F6_MG.$ۺ8~`:qg;aO4r—?Z!N\Jޥ\Ih`/)n8hYYz΂efeKtk glç,vU$lLr Ašh$@Emgj-EN].pXMcP /hTd+K)-IDdS 5bȔgpHh-L#:>#jn76QY6aĒR9.p7Rb[ƳP@ bNc6s̩SVա WOYu1_J FX7ă8:6-gϖ_h>X'^T *%vo$4/yk"r"(H׀`E&׷gKy {^M.o/ќ zK E 9gYZ7zXZִF! ]ŗXiɟy>Zrw3uwe$!,L/oEx[޴v͔ uZNi:JUI0L h?#m4( ?f$˔QQVfѼ~~j;z=OyPt.@8 Rgts&$_2$L؂q|*J>Фcv an!cs}-":wMId]Ak @o1k2 d"X`&tv dpVAIqQD# q|5ҋ5c$".-HϳH9]-_ -'(m[ix{͍pqEU4̮lF8UMGQ>δk݊_;@7M90f1Q]S=](m*r+FW&gC^~\Pp$@1¯n 5 ,hO`}xV4o̖(n塶iZNH'|Qd7Yp]ʙ%GSwgݞۈ 1J1K L&?\F0ZNs}T #|mBuԹc`AK+'׏~Q&AFmݿݜ[EWGv5%$ &MSȤ4oSF^,q&2 A]WӋ Xkk8%AVER23Mѕ\*S^ .&r&ŢdHA@mQÔPy-_cd*Mgct*m<[a7uQ- :IW7/ 8G7L[D gǀ^ו2pNէb\o2jeaenCׂe? c7x.={!$Bew$@f&;XuWKLJ^$qjA/7Wy!o9lL3..]4&s#tZZfi*G~YiIi{sSSKqc}a^~+ p=7>Op-'&Xq{&jȼIރ`'Hv3<~ҝt8v0GV+roGԆ#2PpKj}>C_W##*_0{IqðÂZrGPEnR,l~rS=BRfAz>7 @:ZxqXbH.H`ƥjRjû-lM3fjdpl*;EBe5ks+1&5o 8K`>7*m~HU\c#)bX iG +(͂~7[XLaǣm/}1 P4or#:; ~0Z/cw]d0xK@ NopAJ"b1T]ɶjȲǣT|܂$9%r]A qx8Dy*P,DxOd I-q˒XW fGV:&1Ihp#(ړrC"-׼U}nL %$,M*i)2.zYXĂ"=).>,Y] zEy4連T)fwNfD ɔq "6ee+Lϟ{zkn/5>WjBh! z&"ה,\[sASmS{hp3Rl4%IGڀޖy1Qpc^-YE"iMeoQoAX2x:3R$4t?'6 ]1 J;WB@<@;+,ꏤr1Z0KP/UC9q[,͛~xB^*>K}diLnoMi*E΂tW1_tƘdfB&יIi?N]`{>g@x|}5_Ǹo.}Jr5umy7 ۋ7H0MU 5wÛrS94Y )Y~mRVZM1^oܲ('ߡ^l8zܿMWD/&̃.s<3ʭ+CiV.kǀT\v]3[ ˦Q{)TwL Foِ̘Ϻ:Y 4Y|ܶ/XK@MDxMKV^HJVl<9w%Pb ) )N)eH%kdc\}AҾ`B(8Y~֣,=idp3U4^9G`>6X9]= A`_U5{ Vyk>eF\i *\B+W3<(AVtBZ5VDLA 5u&BFF64Fū/&#zX27bDUz5(3 7H ald\[Y0˅v1U1TZ] Yr@PRͩ?0l?e} N:Qt}'3 ffS]Cb f?5^,i7ܟ'ꎩ,SQWONΖˏ+%*FxjQ^F.f:iXG݃wFQdwva;" +A5dSxQ >cVOC_)nT( ףg`5j`c'0~z( 4bTy˗hMkt]]I`[Gh4ZM`8c2shP re+^jɋ,m8.Xd<ZbU,*,HH`<1JaCB%w ĸ g$7*o?-ʗs˚GW'[D.^fС9Z(Mc 81ZT 8TvŘ9N3h%޹w㣟^!_9 3`Р`N2uKd|.2>K Xl[0r촨bS]dLD(u/ )9ie|<.1&@F}^j{5D5a67[.E:@) IGFQW{7Q iԑzo<^rk*:Ӵ gl7= Zv Yde!vQw}82a!p3y@cw:O>ǙR:~jh6k( ^:@X ػI }2)?I7{eR ݚPF۷DŽ!lGȎ7Λ  Tπ".A Rb?ex0R \M)f~inqǣuY\c~g7D^_#rfOpK+,#{HM/*fBqMhCkž k`lͭ b1 >-|B.U%ez1|r@2̟P B;YI1W1]z|Y9iiӋxa,iw@z3ovh1& O27t AJ7ﮦ/\'V. (vHh#5m&9{숤(}zp~\91s2%B;.svUcftQ vI'~_{=S,}% khyI"T]E`D߮T8f\2"+19\;Q?˱D0;*pvo۴0ʴgdj6{+0 ?K ەOk9h@<+da&2{s,ƭ^E dma&?0FLְFS̥sZ]sgFHrsa|+2"IՂQ Y\ɘ=p--md VGe։$P9UH=еa4珪s$]őNn31xN2{#0ڄ^M.Ƞi :_I:_@d<T[S[\ EQJ =({ws0fr[zeb)nwlLܐy|K5z\lC`1naj8MNc4@s2LR|%?M. 4>xb6Ĵ&JA'T-.6e% fwuMgw~x}+ŭ 07t=!ai祙DpzjPRM[V WZOz$t(D*uA9g^rhan>ZWFwubߥk//#9^֞s_<. ?88Jc+z&#l'D[S+GYXl񲩚4X58]a;LXn@s@zIoG dJKIxHTD 9 cuA _4vPI/˅OS5VxMxƫ6}3Vyu 㕢w+9C e@/)2msoa?L"MQô fZ08LՁ, x/1#' ΋v9&˚B|1,sMH^ a.SԇUd}ji@X5t($;ڌM@`,nFLoU2\\ S٫ج~# uN/@Sc.(h [`}>`Mޒp3&]cS`^ax;JWF|2bt3rm G 5-Pn.e&HT2&|ěvdb~񺫠I .v8c?5%CڽA>~~ hc"@)rOGsŹ{F1XyЇXY6?+X7\^Zz*B#sW4Cԯg(/ʰ*/Yޞ!Vs3b[t qmBJI >?I2I`&n8qYj/C09roQ;% 6ɺQ [H 7c /my\5i5qTQd+g25| ,` day,JEՆp/ Qد#2DWi7|z]ۖ&)[2t]n` <"Gs +ƭ6φy!1m8Ls2:|_g˺4|ݫF;oN S)ND $ {4֙$L$7a9k?$AЬL <5~'qr@7O`44nE/7}8KnRɽ2?y\J43E@6PMk nq vx( 6.uo)NAC*hΓO4ygf:;?IC]X^oItڊud 0uQ35-|1D.O7#sƿhWϿA;U|\ 8[f,nr [I<*e@øKdqOVnv[O9~4jQ;əou_sVh9Nbi&]A)Wݩ ͞WP$oXyfVQT1OM>KtB̞o\C .o*Ocw2qKQ>nD8mN#$k oV&m)\j_y_O=&d/K1?7w|3L!)4v'0!Te6W)Lj ;OkE#1Os2$o%E)ITzQ{R 18_ه-U'Kmw̥6MڊPQg?%5 qyδC]B:c"gkG2襸Ӷ3`cwmΕL5WFHKyWrS>s&܏jΔMwAJB xM=ß"V,ʋaSYLZFMU⹆rKqf6_ H e*-;%a~h8 RCZ9͉uZ<NLQ]dJ*ӳ=35_AQi㔄EʭB,LUxo3{)AfO36=;g"o m\8sw LY Ô*ST1n]y 2ظgBr8vmDHw$.bn!.bHkoNȼNvCmo{a"DJc5x{|ljPKY곌%Q[fjr+_ r&n:Qlǵw|d,amHs{]=EkjPw R 4H4TIө$]d#%-Tj"؊0K<# @ ̕ywtW{z˭{9w)BU9N [um8R@"QN^(TbNL5\ތnO rxqއNnCc+d!,LWׄC9J̉lDh{0 ԰N"w"8n>pxքL fC.eP|)D NOgTپvQ.ucA\ úT"v䂄f5m|:T})=:m֘|$[j cޝ5!f]3'dxƀ2Y-U:a73`Jb2Ϸ5:qRIz60f ]*x_FCQ%um4áJG+=jv;]Z A- rѱ+]g9'㚱yw\[#6E\'񲭨\DCB&@&i1xgt2QD:Z}{ueX盞huz_. ?06SBx{.d$YnC'vhu>㡭Yqe7lI$n y0Kvu[ ֜)DY+^w DIlŊKu/ J1-ps:!ع_TT~$/2:3x 1Źَy3Mi&Qq6t]qs/f U+< xԜ}Q%WhX.Քlm9$6*~uW MK=S҃u(!w}?Z6sϗʩxh^>#t|i 7`OzL<Gu _)H*FeEHĹv֒ԌX :+cLES*\fffp!# ]%)& ʮ&ٜXwwfrڃFwžx"jg,4VbX@ -3ScBo b[X朑t*謿mǪS3>Aθ}g$svґ}\ :́P(/@Q2jCJ4T^4`̽,ߖlwԦqԍe+B xAįj'SdFbD+ k!wᴇ+R.Nzu(wj ug& c,CD/(N'onqb{OYnZU whZq`@uG[BE7 ]D0 2Xi jM\N3HfJ bupXHuOBխ0 ZRӻB@M2fJyoTi9n[ &G]skBZNcn%>R_;}zɨ`RNթ̏T.HPJ,:` AgmKZ0T H9O1&d4vn-ѐ'߼ iK<:2Qt)k< M`¢ÞkEr{(/jC`M&PNf!P+KMX3KӀ8DV鮰/}yی{1ih.{W8Jᚁ0C78o%$hkIh<,W8pa@۲-3a5< {7n,hLE@̀@HhMlJEtC)&Xf_6egl,@e~]3V6WX^Όc#;+L8;غü9 ҩ1vi(kD|T8~٥k>m5ihaTz T*WШ"E`&\D W@ڸ1*[wYaĹZ 5@bmMLgG`:ț(BJŠ^¨th z%l2heyU 앨̷JI^34r7tlO,y73."#&ׁҔ SsY ŎPtm}1ںF>s!y}v.=sf'Hјg?F ȂqըlS\=p;8 %٦[m-sG ,]:GWSc3'cKS Xg]rպ]h\-"w}7+yRu"(P-M4rRQe ȼAo82}a$񲅎n|p ^ NB*i># Gш//d ,N$5mV܁)j WG%Jnp*)NJ[v X#^l?:ߊJBDr]OURz;x4v&'٧~SW!`>Sz0*G>u0̮F+Aua TdBgj(2=<$+v%4 -6Fܽز/7_}Ȧ\m|AmTJco'*zdJExytϬ"zTR+_PS1VKb$/3In֟Iw&?%M rt|~Fk c|o[0dzVb5n0W3%Qka!(vob]TyMZm6{q@ǐLVZ[ڭQZ& )-2iX߆ppml킡*'9$@=Rr2&k=%op͞GV̩r_IQ/|DFP xnʈ*#|}w \lSٕDxyy^UAgzaX ^`q`25+|y(WXo>yE{⻸?z(Яr#~#-FZ\F.62p8sdǗ<ӻyj'ݯۄ4l{Cs5 E>%?iKdR)t|цI_T$?}5dEuf\D")Z ,9f^8$}O\/I*N0CIY39/06z87CqMFkhA$y:띬Y6jH!19)_6ch{}1s`ٰ6=ԭuL >qk%0e7B•]l P~}Lz|tkEN roi%a8IVMB|#6~+ֻ޶2'%FD KĈ-7@$)T("* _-tj$uȪЄ:{WYR*2[}PjDGEXf30>\a3IpcgQ2"Dj*"`m7{c: R/2Ym;> Y5,"z,jڈyG :ԇ-.r8i :ׂAjV26tzQzjoς 2/u{Et _2bsH 5ͧ"̌#ת$uCf8D}kJw{,pcH&l|PPƮ.xwoUe6|(=|6EZ灇5;wgӪ$=3)O"HnMG wC t.ưRz 4 4ش_v!@ࣘ=x7* T,N-1r E}bSE>k^=hF׊|ubt*̟`j~nm&8_hzZZ b!fe@ȋ$Â\^JDtgQV҃fc: LU ۦBq(sd ^b2*m~ Y%;C CGXXϔxa`f 4hKRmyH b JVDe$"6f00 ((5GBo*G?e7.+yt#gN HOɛS]h+Wa_HIFȮCP$'\b dM#A Nay5i'کOJ Yb MJ  xrK ǩ@$Ҡ<7PĤu#(J_kA9Y@K,? _~ǮUvra#йȚ)fپtke*+cfLkeT󊅁Ȋ2#d( Q 6U@ ErG)p^^{v޼%(_ TIt-=Zk=kE&~|,Oj-J]pEu0e}0OT50e,! jJKxuW[鎢夶4%*xRN#jBA]e[qalGG,#Pw\%לjVу|"@fiAXYn= `[<Yӣ4 p4oG-@jY QV:C]2!F}Nݐ߇ 7lK08){e/KRA6㑠Fdm(ovÏo{ĴFΛ"-ԀI&z?^*yԾg.6 Me!Y8D<$DO߼y#}x(HԹ4*P0F㰅4 eǼv"%1 iJd@lᭉ^}6fBt3hGX,=FLj`T0.8n鸀Bt,TA\QxhJQ4Qa[v[!Sp;E8. 4k|YiO#)늬$ޕ Nv~Dgb枘f ع&Πdcz<<-[;e܊НE{b:E&@|6 7›__&i4XaϫZRRv} (M-ؘL[@tb; P^w]Cf04o>p7A|4PL8CJM10i]p:_s̆M/h׉fK,*D1)0j}.OW8#OC$hOXl9#u `[kܡ}` tmHCthtɻR.$=\u `mk'>&Cu*\|n(f1QFK7c|;3~Jp d/gA1 ЊkKAgIYD#Mv!Bُⓕt%=U"E1^p@gWq}aaaN? ̵f?ϴKw "+`0/tEu*߿6v4Kg3vvqhڜU-ci( f y)iؑ*4^A]UZ's%q~rV˷] y`tx-0spP75qZ9ڷya[sc H A Z cV..hUB{`UTyC,US.0ׯ?%F?%2Y%U@<& !G(uOCŸ;d>[SL $ϻ~Z%>DM[BE?[>/\y-GecpHt;s[]sXvS_C .¸:pQgebm$]y7w[Uptj1 dB"sU+3*fn@Bf|Wy?Z]"WMҦ͟lYTb:&ϒJ] 01rL+7:v=2b`KkLM]j`yE_3nojthQCS˹X`s^yo5? 1LKt cB~Uhi@LqzSŇ:]D QE) fG[h1ːcJhSC:@=r,_c?T@T<->m!o`yO4΢!L?S1S8 V}PG9Em:? bXa_[t ^ɛ1Z9Rc_lXjl W,.8W$6rU z!k CϯactXQ 8!YK#-kWًj>n5RC-E0IYytdzoKe Oź׭O{N­5Z XA%>Esqu9AUƿ|U*5{ {ҫb(H} gCI梬0duol"q=M e2^Jy/6RWmKa[65x2rlhA!"k-ҵՈIqs>53t ,7 ZWE~8:H7)xp6=D_s,y1Iq(C,]ԽȱOfR% X{5uJ\ EqG5<Bs +}a=dփ+ o7ВA.GQU-rWw~j HecJ?1&J+(A[ BǢ*1t9|JJJ=t5m'`(Gf:>VOm0MLL= >Ō#wNrgAOv6Owp`F=v{ j7mgVPݻK̻3x1 Q+B+TrWO`cXiT{V<粬|(/',lb+>%Y}(HinR8+h*:a9(;\~Hu:uyɸ La#)A7g0x~'D_i( w&DZ@k$l0ۦHjyZ FZn=91 ?㺅2zG Tiʨ!=C R7H} -={;]pByߐќsXS?da0M[A7,|1ϠТ&$)J+-`KKEEQ:lIJ{` E;ZؔmLn]'o ᩇ_^'|PΓ[`Q0;x] vx7O]`ב`QS,Gl#8G|dbF̆|x$Ri]S(JMIi%GgE'$Nf 0FnI1g?$|nt48 "É3S-/d\N99I;Ycʒd`0nh3P\fzi Xk2FAâܕf`*JqjSbS|}ιxti0\2ESSRʎ}~. f 6x]`?7›>%2Ϋ>1AB1ڹ8oT+<'Xa[-%cO죲gUTfOgv680Ot"?dCZQҺ]i~jEt^=#^+Khą̷r]Pp`RXECr4 OSt: l5V  _2=^d^lw wI!i N :^e??LD Rj_w[b`_B֔-1k]i%ںo Wxcu{rQQ*pM77J9eys]M's# bEO9%wf%*tG !2i-|,q>2=:XF29a|wKş _]nkvvN@@R5 r&i1V=x\S$xXHt:m@պTcS53mhs&(#gL.V2M=4jL26wC3ա$CѼ> 5u Xo[Y|!oto"C{&?D:֏nwdt\ׇdTU% kj=}}řï3RߝѶ2[}nP34桩bMB`h<%Lı)ҷvBh7 {ߚ5-&#n]jgYyv,KiB hh!Ru,tZ<'Q?Mg䔡1Sy W:^9UaO 9Kz h+F?/' T Tq6̿T5Hj3%8A$50a3hȈ:goq[1Q&ZB~DU󑜾L̔DWm=Sqcq˿uz(#!uSZ$gYָ{Z8iYlN{¾URKB=C-vf^ Q܈~(>h@*NܙLG4~ Gzr"\ +پupcPd`S<Y<5( bA}ʁȊyΊʮ(dws;($mlW<|{ &cƽlĒo&ږԞ'PYƶ ڪmyiD=r0pV>>*y+)}EवG}ݧɈ fTcN9T^'vf4Em n05/hwTOn֛l+. 0ޚ%zݮj%mlRڿg)﹏3΂5c(%R[UK&uGk|O2o,WXpY8υ&H.{E3vhl0,* tdqtʠPr]x;p@/!ߩ✪FyXmK*Ŋ7tVU5p^'uxPd쥖r8{kN[%=]O'r*Mn~G+o䊱ꗐU* q䌆|zK잙pp0_*p=e6x%|Z.EDS[%G }d)oAY>lDg.Ʋ黳ٗ쁩X]Vs'RBe{?}Mhx.=#).F' N2"&3IU=%&3"-ca':L[.@Ce >m߆d9KO!]%(z}ܩFA~(wg%: L1 0iqZC5(:05`A_Mk63/9w7MDcOb qh`? "DVǒzbnr$!)6Lh 9hXi/ 9>w_d;Uը4QKnh; {0/LLpQODU01O# {$2pJ bx7Lut )H<@Šw{`ys`걲SuyujFHa,|QrE{`-1MJYwȶc`@# +UMKygO?a\򉤙.!v[\~@wdgF~2!A/ ʌ(4KT gӷW'aB͹[#G ]/ė'cy) ,4h)-7BX+m^&wK6^If՘P[_<&PzH}ӟ&,Ê2؀FcBliHU8G=!X_<1*6#[hŕ.;_:cdX˗G'g V2{~V.8)4Ğcؐ$a2 GS;`ܢtJ}Hl DTD>.|I"E7+|H464 5~loiϥ YGf D2)^jOj]s4w t K0#MZSHJ%gVJV+G[;ml5yQno/it1 ~͛i;Ӭ㍛~T.7~0H>wy7-8׬I1uctOC5FzѢBBU Ŧ""Mۂ u)*,7*-ڻRNhي\J0͈0g(,U; )v0 `#˚'Q6u/}B%{z͔ K$YUR&X^`W zZ`ybJJOR zܗJ/,*NK2]77#Cb_bv1! JFw1P= i-.7Kd4Ph5aE|k:uR@}oR˴3A/msWluYٽO+i>,BS4p+ZɶxuȧpNdp~rjO녤o {W!ε-wj.80432oaI8/ A6tMKVR{v3e:/q*џU}ܮY-d95 sCC21KoĊqS!E8Θj8n# oI2RȠ>}\.zKg$U^ DžZyrP ⥈67d}&cPP&5N[O.[[8;Bn'9Ư"ᖰ2~3TyK6t w 5th -Nvnt"J{^Θ2)pŀklևRssEj:k]s hdotCJ(!țRyp(TRÉ\s.Ka~S.Fl,|'2ĵs_2CQYVeG8nbP FNi HJd+OAdnZ/әЪ.1̕Rϛ[ţ)T3hb82i@W${Bz}[9$-4 ZŤ,(oE.W9p׋\)\8F a8N Q6]i $u .^/+??4.oJ|ҚɄT./G"߻Ig5YDO!_z! Z1D;4^kK 5PN}&G/@Lkgp  kԆZONlY*+)ifTg\hݚmðtH62 8NPGUp.&.DN!iVh"[I2ѱ&L]}_Έ8Ғs9 1`9[g:V[h]0 ] Ь۩B[0fzQ(3 Ȣc`1:Tnȡ$xKc5鰉-8vG-,Ƞ.[g6ogpk'~Ĺz*!6P ōqӡ{}cO2m1ۯ<(sw\PpubKڬ+Ya@P~^#ÖsV"꺈rV!)*Ǿ݀.u΀itAI/8Nb ״6ˎ_50-=N/ 8V `T87=\G5cb+>G0;,B2x-/fqܧNBtu!qO]Ayr-y o^VmDp'W]IfZ\.W4ͰL U<],umd1t8 tIC/bDE>h/YMc#}/'ps~ (yc [+.C] 1zpi,Bl8hweш\~"V? R3F;)@)IH%a*Z̵(!j嵸!KM(&`S.57;]\C94c3"gyDRzxUHpcVyrؔoSCZ8#i cp: v%~~ͽ: MV_*1ף}B~aevAd~ćU츬K @ &lY|\:ZП 忝fx0{fNPQzk:Hy~ ï7R"W(\A??DXJԏ>2,YFOo?dV]K[-\X2PY, q@+DRoǣTbx@f3 LDPy )A`8ks^qjIdF[sv@c]Sm,sd9R, c5L?f1/,7Ҥ*)Dme _/Xh&,eΥ|S>ZzSjioJPGqeA*k@S|6tE-4rKgr$]tj 4;x"nFZf=Ϲm*"oyr%7#=.5uٓ| 9Tu2 ,QV@N8D2</#cp]L&&ȭ%G_W!T oA{gD{4o()1{K}gV@L$j0mWjT3@@K4 ̦@84[AS(CoޭCk;nN%3>|*A].4%j,%koS t/s;:a^>RMS ҋEx*XoX%:QtSeV>9>aILgU-݀ȢNQw˙"hp$;~43:Nn-,3 mšՌk>CiZ :^LWw)c}&l^ls_fV5t1r?kO~Ol~so o있Y,|zb }#7|i5h(Rk獘snR&x8װֶnos?!gի{p&" G#I`oK]DpA{fȞ$uXƖ4=X3(2#ipJQX605 mrFno3ÙRf-0TxF 枉pzG\ΰ F{z&.p I_Q tf ɢMMzAix)^Fs3[Eazإ?0Ro* t3NӼЅs)$^qq"p%JJޱϮÅÔpCP oFm-.W@ۋ. ھs ߗyzLLQ}L\ࡼFERټHڈ#"5w*~agH뵜'@/7P[;B=K%iz➌u~YlqIgQXmvћ0r>e_#ҽ|j`\V=$BRmKsI$쳶w`8jPYRE<&@R rYSjѤg;sc~\Y;u,~͊IN cBR4ŭ v.}xA;1<( Ƶ&0eeN—*cl dge v?VJs q-wǃ8 6YH@7l,gQ>jq-v0[ULvU}cZGJFp+Vd1KP(u1S#MnoO]s4|:g?cǧcJż\g >3RjiGL]Pwg#~+|\ڜBoAL*m&AW/zSvfȏBO0\-5\5OVQ[m9[Jx EEEJ1G=m/8! c}_#]`I@Ai ?憐a` n9!WS:p]#0&ðҠ __Z6JM'/sos*IB `C3{ J84Rq%Hg䔐Lllud)y/| Ԛs]g UܣUsqpP Q9Ѿ 8j, (a"DD! e2(>(:.06_x!1-cgYZ19dcef723e4cacc9f2aae4b99702560b5c72d64f9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c81592cbdad48d826a817750696563b739ab25f5e