SQLite format 3@ $- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 2+4T U%]HOL-Probability:threads=2elapsed=164.980cpu=274.128gc=7.896factor=1.667zXZִF! []ŗXf1-q恈wX8-k =bd5O>RWcG!7K~Mm,'B*-,hNLc.Zc5<t REGSL^dwZQ$N$O?94ԛvpf"?SHh*s{.yu$'_3@׌cޜ JЪALV'hm #܄}|H_kH*.Id_=ݛg : F W 7>z,zbZ$k >eW*:0j$aW0U]r ZYoh#a!} 0u?^C .Hn(]$OgH`}i[^d~T/ВrOvUXǎ Pm!z:5 y% j7˥tV"ga 'Zب~=M9|Y9ov:A߁(Jwjn9KφbZy<%9.%ݎD?0F U<+,zXڵ,X4xޱ,{'w?gԒ*LgiXj{Uyꐮ\f ?]͉p6/!{a!A~Z/ BYN >'];,y7IF=:BU#e[B]$4j"7റө ?,Rcl~.H>OЛ&Ѣw]c"nJ&cؿ6wd`k' kIQ] ֶ^H}jGXz:f= N UDd͜DM6i+Vݍ]b06ZZ=UΏ){sj#Xy"J"F<ͮA!p?fI畛&d<Ům. JA'"+ ܸGɜB27t,@N;aj>1ӗxP#'MYL/4~^VYz{?x ~ jH@27ӛϺ`J=S{bݏJ؟?T8ByzNG:.ݻRg HisB([ɡ]1V?/AjZ!Gg2foc7nEhRp;蕩t7$yXZrkpף_1-w*XD]FQ/ڋk?[!eOW5./+@Z qg+xpAhfj"jτ%,s?d@k(˱$+JpfPQw9&pPJd:Dua6 1/- 0n@8?H;z%+4X^mvPψ `9R ev ɘ,Za*Zh?orw$纥P?\N`TBq0U?69DV ῶyAOL rK?jNu3`9Nd?0{2eO7n!,``OW$B_^Sb- =Įue-2=FM-?+R afE-!~̼ʐuqa$;c ~M |d$%_k.{nmOW|y w̶ 9;?70ݤp!3-ˡ~zx?B9OEcX'ALܞ ?lڡ`&YZ փgئPT(iPОJEejWM4|[}S[b2zn )܍򕮑y ^>XtMk﨎>p:8y=/0vc]|'Bsv4R\iI>RnTyаiJkm܀iT ppj9vYdI(̮RmKɴ1"Mx_}-8|nn[Qr֦nXI$袼d>a( nH4eT#Q}5oݿ]7x0Ih.p!mZ0#I/ #|aa1)e0\5ZYn5QV 9tu+@|>:Ƈ֋=LsI?#-vi >x=|BBTn/x1QϊE"(=4>'Dp&\&L9tWAgہCīS꒥t>V7}]3Ȏy ir߉R^ -\4cի8 Z/# y,+cELVP ₮ GYUg E86&TCFg=1"9O^5Bsvg͚HҐMRVir+AJj _~4^رVab- FO*BCH; mnU'g:8pbnsݗaQ,ۈF9ĂٙM%@Іm<8|Q&щfQWa=[ R)%!jryY ,&}?rd:}V 0zҿY(jCTQZIkifvߴX~l|xvLF(UuRUסzK![kldCѱ092_(R7 I9ef7$CWpI[(uJ7e{ۦCK{N˺{8qFǜlqNQxlܑ@ō2.58`NVtl@6TDgzWrnnWI`ҕWSEQ⵮KO%[ T , ]2S r͢:HhJI %q!g7xHUl|wҭ|Ip~n:e!$YƱT|N rr[ʌ2cZ˅*" ̻HӁL7F4zoef~F04G5e0v"}ĀtepbYK;,{xGjK{:?;dmiJf+e&OB5:uÓug)_/D俈"hN%NVfSbB )t&Ѹ%WU ;„Þu&L_w >z\P;Y;ٷþ$mx/Y;հ2xGJ'X[˨O0-:H<jܭybcl³zї>Cv$Y|ց4KE<_:l( >Jjȗ0B`Ee; ١v)sb6=u wU:|KksgH64hghcB#W^HۢM Ʀ ~@M)W1a{ߨbQ =j̔m'HɾtI) s%kMN^#QY[3ǁzK5?=lpo8R>Dh.ґDU(Je1P0%B.0Bd]Ly7D H@{Ir ~^"]],Ί*\GovvoוIGI(d7D˖dP)b p5^O\Y͕&>+hY7b^+\S<L <"X e?ggwÈͩApdnxʴRSٯ Yčv8m#kꁖއETƁyVa]~醰} 5< 0e™vZ#[$GrWq P z 2U (PF1C&j1`6`LX~ÇRԲX>d4BD UD[S楗:pv]xgۂ4Z Ӄ3$i-2 mXD{uW'f* xlju'Ɓ*lbsH[BeGtO֟Wy#xD - t%QI5j :Q4)ۅ+#&o,g}|*-oc6<l۬@hpoG\ Kg9&Cr|.ܐL-"WBFdTUZTSzlCqc_9}22a"@yfv 9sɨG*WQ9V@4Bf")ƶsh$쓷`^1,H~3n7PO |v{ S)|}ڨq&f/m,Q -U'@̗D UpI$!AEȌc9y!_xr\AmFJ2!/1Jfy2͌~V3b+w6e#MUK(Ԕ8܀QQP;o2L{ӘP%1Ҏ$tp=䬡O#`XUV[~: Bún0L9:Ce2BZ`nťī?f,%w~bhqBx,E?hi qn% 錉;8|J\-O606lid!@O `G g.Qu֚f][#pU`Ƅ鵫Yґn#TY%Uy'ƏF9qa(k9W\˚2vws'*n]-K ibHVTւ9>Яr>q"](pwB:8& 5o FY2Mv*h(l/+WPy?Of{=ڪ@RK۶ QF`$[ =ndyeُkiXilkY>E{Oo vF(K%^OZ'N2B $9<€xZq jΡ!~>m^q$S+yFEy &jzеK0:߲[ )q~lE6&`at{E1iVXջ(Da>N|e@w&?pڵ51H禞4#SZTrHB(FBNO #*:j(ڧGUSh r6E=< -ch}F4;f彎8Ԗ+ac֪y @V_ݹގ+1 _҂P> VTP}|nCFxjk|SR?kA 9UGIІwBbt  l"1w*ʕ3ݒ<=3kGwo mӵ_ͥ;ӆ+7;K0dXu kZ[o$Qi8lOIXKs^{y_5p3Kd$(99.=fp@i-} \d\J,]W#J D8Q\T$k)wk^izǢig&* tՋ1 …ݙgZ#TR>bݷ/= p+~[LuINpm(4a )r&9KxುmIiCF%nǴ}Rٚ̽7 34{ca omdua hu~diѽPT oz"*hf0*Ғ 5ոkiTh KU.` we>Cb();l)R*b,[?E:iu FjW8ɏ*qƭ5T:޻"ϰ ߱Knn1ϴ&ZI368hjd.K:^l 3E lw@HZ?;C oR'b0cs:S-3hͨz@0UXC.\xr.U)єq~?2;:Is(uʵ~*1,I7Dm{u_?Kxw`Jeaa7H[=8hr$=e;,ˡٕ`e] t 9M#0miJ~bC)v:т٤i…b;"p0ͻQt0JhE.19t.*aS|L4BF:RK@plXҷõr'rbrɶTn澫K_2Q9h%,i*$OXIVQ~cU`$Qω+Y܃veg5_..W9gug*!mV7&Tγ{8*S`X. ZY#%pr$H:e8Iv9)xj) X7c̵&s@8:y5haP]4'h T=oLZX\!~僷#hޫ_tJNVꐎez'&_蜛?*0R<`6a4!̳0kdd$S̏18{x׳7~~7 vY;cM%̴/:(c헁!v)Q;e/xfy: 9C#ԿD$L": 35} *2 vi/oz<ڹY꣰FD Y0<[7$sFd8|Xȣjw uBM[$|c- %*ֺ=4RSzj߸~<>uJ]dM'sYkt%R8 Fͨ,=7 W Kɔ*%TcF.C4268> ®nXJa{>Qn .9|+뱈wrdgbol%2UEV"w9' ifZ0eRF7y Cܿ;}oixno"R'ĝNu[VMQ].c5nkzs Dq sg{*892S.Xѳ2]8x߀Ty=Am`\؊ݣ/)0"EOUۏlq@K|>i#y rڠUށZ8Z5GcRjZ El*)? ~ 6$ ۋ 2GyVl@mx;/8@^LFHˊul ^hH !ݎ4t?jϗ{T? 99Bw7R* e)4` _&ϖ^]-Mc7/)C@_wmbXAɝOrcUaG;Qǎ9Эƈ+RfgҎ6"fIS+U=LFO9OG :'ۣ9^MB]*{}qGG? cjsB-F=8mU6͡2P&:weš[TڲnN_LYY2* ̆m|:M،3E^r_k %aJé<ϖ!B&, xlfБXra_ U*0 eɸI:&\Y#&(6Z9 8\[ )oR4uH`uJs>"o^4:eKOަ>i2E& a݅=ًiD#Op,|Adnox+eR+!CԄyV#hӶ&dK{BjJl▍fIxRgCIFb a/*Yc XWN9.i#DsIv\#Q=47- T!e+w햆2-(.Fj^ZG6$]bGxR)m~\ɎAv\?kSs:|!"P'@іZOdAt0:lwW?jvO<#`U)A_G`vjSI6#6DlS,fM3sBԬ-k7UǟV; Jn>kժΙO-Y<ki[.PI~=^ Ym.}giaPY;EPZ~ppW "Wvh3W {zP?|Q&[VdiKduBCBbflu$Y^ƱΖ"{ =a 24^މ%K:Bh 7c(-malpܚ JFF3s?~Dn4$(k? qغNap`}؟MRz }w.]:dP2ꍬ)ö?GUw\6On+l䘸!`HcN%JgJFi,W8C"+ $-ه#Mg Nnd>7@rY4'w/j'%ÉՁcds[1)|l >?̢_m#mCuoڶ3f=R^½1]ll+lqAOR2ݮ:Hp-\9RJn_3d?)7ppoG(<^:R{[p6}u֞d__Ʃo!cr=dyv6AB6&gAY;ωǢF,Ĵpt~&3gi#(p. U\ A}" U=3-<y SP+F.ZN:PWe)t-kƵ\L@1mT%^n'~L6GC/nC<8$udW=5F/};D(K!DrI&m-[ZOэMO]?%n 7 ۦE5,]2 1n ߲AX4p}ZUQ6%rI\M0`ev[K Xgq:uXn~M"q]qwf)XorŞ M"axKьɊ[HCYuΌV|>qE%C,4c2`-!or߯: l =PtƩPWI^󚶱KTNe= #Fcup{A.L n⭟? yK" Tv̧;4@ß3d&Ƣޡ iyゎ߭5Ûih+ dqg({pT9t-~4Sj}}W;YD2=VqB#<)nU)@ j.ˌkvE~ViNJx^z;8-7L> ƉfߩwL7?~"!7aygt틟b7* *M7v/?mW*{ u3 I,,ǚ_8HBjզ`cQMN ""c2 Y~csf . =DzQ4yF~S~nR .b`zˢCZ٧-mv Ěuư"'Q,&$H6|2ssJOS&NBgAB⯔↗1y8ɠ?V.q]{0+M$s`pQFIqaP:4M^1l'uoHp <5)"<{ ޔ*Ǥ[DCF ֵR6svVOȘa9ߠ!360#g,No=l^ϯnC@ֈWj.4yL@~J'Ec5MVl&@&7C2H`l:ઐ; bԅzsX^Ygj\7yڐF2QKԆjx <$EN|>ʜ~7R5tʾUC7%WKJM7B˙]لS A9@v*^F +i^G# kSZ^<)n9j bݠ2ȅ `DU"g: ؎Qko0Olrfc2(6A߭j%̮ ۸B|YQ>9(Șd&E /d2j}8:[y ,E6frNC Ƃd'C@aWg+am8;U&ėi:PV(2gW"B$ }_aDVY9y2V=asob't{G#a7C\ɺ$pzFFJEPW*RDIƘtyVdؑNI'tO׿r\\^A>M{* FaO ok#ߕ l%T\;qAP CՙO,BmYhq!^ډoLNetJ*WQ웺'{/%ڞ{3\T1On1;CQ"K&ҲIUn/s@#.w$z#?⑤^3ǥ[dv 66w7bm~ miC5:^ "=:]  ;@g~Sk/^"XJ~I_og}S@g_"r}~̀ MMy1ʎkewCg ,v&v&wȯ*- g-0\4#N>/9nMPj*9 Y}VDGuӃ#9a6zD&;(LN!0T+GDwJj '6 4eoRSɬAܣs"F6jC$ī[xtdB^ld112ڲC[rti~dL9m"K[Ud'#"[`[q EYP-eQlaoqը½qwx9H Z Җ!n}m! ) 5rDiT޳CÍ!G}Ew {s2Hۭ송m_l~/R[n  -TN+kSDEi*{O AD\"OК0lBeQ-G%Ei) ;>=0Q4^!C$ғ\q% 08BX?XBZd 3 R^}@!rI@%o1bZsݡx,WVa5],v0#Z}Էĉx3SxMmɠ}Sb>JR=&4=FF8H 58QsV(v d|Ue^+lL,2RP=ZEW5NlL MYPtrՐl}"#`J\At`nnܼZaWܖ0xR6<[בI@ NP #e[Z 3'$t! yźEEf-ԳW=O~ƌT*н#]Vg77uOL@Xn^$-*t[C(TKt!aﴹv'2L0ƹqi^8T61oYpBKkwήԚ㧐 k}$ .lkl eTMLX"͹&HJEѦc ~>x?NOD׌Ŀ_=)"=i PG+FR5Ff1v5p VSO :KD"2|l- 8<$} xgg^@@3pVT! eO N y*kBⱉt{f?ߝ='RQE\lISbDNDN4nkppm$Ţ1=[wD{TJ_b]EY\}>;cCJj"w=B<>70|48]\dzD'ڏcW2أ=LM3'-96YH6%$ ^ E_r"5GBpxSJ*x-(ř\@)h:w@tc;{+'"p]ͮ783TL<%9IZ;NZ,(F)?4m%#=үsI6cu_%88LdNsV'[guAKUj ,/6ߣ jNv8"d+KD N|8B%b(}N'Xgy0fTaT}H 1ʀv(nl0ƥMTBf̕0#`56Qʯ,0Eh+&waG1jz1< 7Ɇd||.pqe^@"N|j£p[@dCp@)Fl ~b,"p.[싯EdC}\I~;GiApVrU $釱.~GqGaNCT {x_ڍ wEs?}o8۱>F1BpR.F+_&T2su/p S7>`>]WUD(/,'ke3˚¤Y%' _ՐJskDr4=OI?;|7jW/Oth}s5@k{ {P.6/M7bosR_[U,rħL_|H,#^1(~˶s3g?HM8_ڧIW })>ul!IN1:/VCir@p ׵)_ULmoG*|+8%E[¡K韔:TLB?XprYR}9þ$;WPY: cu`(g[I?bZlA$=l%쵸CEnhC_$E0Kt6;fSfO1 OkYTƘۧ.? 8w0 &=m1pD:"vy^5A~nc%e ,G] %.l:P)~ya7 p:#h%ܒszAqnwC2o-e3 #:V$1siA6iF3f;1\QSg"xR}W6^J 9?kr&w'C^Ar&B(8d8n˺O /4q}zS1f|Rm3?llBhEBChsW|EhN۞xb+#Ȍ _K`^{z8\AցMǘ1~4+ZTA{[H>S + W\ms_Bv' YbBψo&~è'ah/-!b9hz]|?%?8kJְ##*"Q^-nJLqC)ɲlr)dk2'jq-0J/~CLp<7[ʸ.W>>U%'&GJdTlԩFb%LLRwzDIG1A)q) XFIPK_4Tlv&y] &7W k_)gKuq|8رMct>oP]8䗸ΆV`:j{x9M8n!g׷Y,~eauc>q< krž1 }S=ћ}TrC?lV>c2!T9 +2ԅKv{Ml4lhdpj꛾ "yjU¶yܠ*nhRq*ʫk HL_Pp!7,c?)1F Fm^O$sӨFbNRl%gɘE I~=Qu~9d!3L9x1OfbLX p Rn|8Ygz2kqǏ2Q-w|Qebe`) KN{~FcOˡ:RK\MJOAhl%uX7&|dgiy1:27WF(o22]ӿTuNHV:ߧ;rżweu.WP& BBuEsW1T5aq{SbE(4,uZМzdjf$XRe=7ݓAr*-yn&LnW@?k~Z; %ћ8P)& |Gsel^:!inBկ|@zRb<%s\`b ! Tju#<+" j7 ]R&:>axgu 8TLa#jp5$-V\]Vx8kR0fc ~E1CNQW-BsPF1%?K@]fSښ=K6qКLoW|`Mdm GEou`g(laAZR yru/!U,>x6chRtZ,m:$JfR,1Ud-M~td0ĜB^NG+ Mu$]%s!ss]K_ZQl}us "OԨjUΤO0ַ3yO ?#>:[Q %L]46V 6jrRp#} rH*RK~(1^ʷ <#K&*S| !;摄nbZ[n@7Tw;oPPz_9d_BMhf9 GY*>D1T\`_} H_Gfz$笒E LP#rC֢'E;OCMOZu`$s̟_%`!cY: D\ W3-]cdZM1†ZHVRWtK K!%e+Y3_`4Y;5VTHeF@;R5F,_I\m.55wFm).&f$G `?@E>HO/6yl򴫒 v>ZnrajKVI.F''Snk8bJal"qKt\n3xj ՑbA?] / ֶu%x3>a\Bd@CK~6|a7 !Acc)D6zLiXRqu!pt{{3e{W6˘D  C dy"&bʖKK6+,+֟QgS 8n"P,P{BƦ"} ԵW#;S- d f"g$X͸Wظa8Z}GfcꤡCZ޼ۣ:loR5U_ߐ]6Fa:v4^ktQcDOྞCv _3R-CGb0;%<_<'zdv&J[z=D`/u<ñ.pgݫ6X~ ETgcpGaW;OU Vg^ĄH27ű6k?Tskm5ҰgYZ7zXZִF! :$b]ŗXi%3/SDΓ5^,vJyUT0ZKCjW& 1y&L~竱A<,=/ RF]ApPT_0oOM'ZPYRSN61`8fih6V-jƕq m#u!x!3M_2>*:)O'eƊEc-x 9` T,\qcf>:I7UaVm@$r~e[(TPҐ9" fqIz-N|}Y<}.9B4f]Z)c >\A8Sg銰?~ uKskX?MUDJEm(FuΓ$0MP3W:9J9;ݭ$Op*k2kFؼ17m?6®-@rV{:0:o4m-}0(ԪTmKxc$U` /Tm:.X^Yy>Zje f$G^?9SM1ڸIv-*II h@tBEيV[NUZhDn!P=D& 9%rB]&SȉvVa֨h|A^w A޴he+ԉ˽\]p|aHbCI`g6`WYLuvʖ\ ዦ|mlhRg6?gC)B_lk-$%}f[h\2@^atx‚V/scѱ}2F9h셶a魩Q('uJ}T( FwAm T:5UߍrSLCKu$1P$5l2O s> xJ8d;YEb`0D%8=t+ވ!@*qPRƴ۰Z&ڿ!zA;N'G:M\aƴҾtXYook!qa!7x&<5c i܉Q`Ή_Ad [d}]G+=CAǻ19v@}"*GSGJ33]E yмjwbvZ#}ac$Uˊ3U}np,*-Jp_apCg|fǫxFm0-Bә;qc{ pz>sh2M}v yk|][2ӂ P 9P"ϳM.eTdF7S=F lOv<."BL,2 L6?Ry_D0XC>^+ʖH; <^k\YŘPrtmq!,s}B0]!D,(+@j-.N 'I8\z/#p.E!=+;#Ih"|Ǩ:-,]B .)ݚ=j/{22]{՗I)`*¹š]+ ׬}'*7q;i EBNQv}rWQxkg!~ Y","Hմ,Jm*ǭ%z,EL aI7?QK7Ho?MGq]O3\ڄt>\nx~{ hj~zoлuXG,#D~ok.c,ZߏL_|veȵ"ZY{"~l+°E=?4`G5dPVYOq38kBN$rnzX֑Q7zFwRL3bcN)y^L&Q+5NÛ!uRyQKd?mSJw_IϮIW{ͅwws&h9҂]WS:@;p=nnm YV= ݟ}))cl..a#D#I8c*7Љkk׋@$vQ##P۪*b?A>HίׅzWvaRfx{'c\HM0JoMϝ%gkݶd{W(o1Ѣ?|r N]-0j5ȌM4?#SY/1 *ӎ} Wjk$~9K;=V8{8kڹM; u G ](Dm%Ot|n@yC=\WIm?cPd|}::ĒzztVvG[)54)dFTI6DBSfb8.v=^}VT:C9-U jZ'v˵ɾ13t+-@lC$ 䝰a^g7߯͐Bne/s, E6<} v"+)NNהL*&(q`<;OLed̿Qy_buEאGKL"vH|+Ҽ?%vɾ*,cxPYfWjVJ7B%|*Y:P-f=۬~S_6HV&=+ C9iΣ ίs"Q>M1jIzëqҋJB۾0z]hiq ^B+&LEdw~ ^o\<` s}ªݗȵFe'7EgT,(K6sT4c5}njZЮ>S~`MG*;?d(Ѩ%8Я `%Nza1>YuTiG4G\Ac)AM["0YOvlUol,'/d\;؄eע`Mvu:4{^̫֒srl 7@V;rkxyou+~8"2k;7'+`ɼ*֍]a %fhk7F3 !Fx _ J\1i%p١G'4@4ct_i4F 7AƹT[ޥ!]k8n\rP2ܡ2@VlNC,J'dJx 4#m,B%%C9b':Di|$l7 t[G>y?SURP \ ԛzBƨ wB ud7:UVkk"9g}'HK|*ϟ?Zpy3r_ DCo*uUZ}\5V.sނDK`/b 1=q=y>^dǀ7`ZfI W7.nyT +uXEY.lEoP\sSp)?[ؗnH Ph* _ \!GfO1V8 o{o %_qSl,S ng4ϓ|'Xۈ?JER[.g0y<ڷ, k!hט6XJ# Yfs)_jmRcp3P} mWgj?G\Ӥ*hĮEb:q2٨^mgJȰ%=# 7'W?q'6X{o5okxZi}xb6o^?m28g5/qj]%h46bRt 77wdI3/ Q᧔qIp7^ugYrׇƔH eA ,G=^чc!]{5iG,hCaoe֣?JI/֋o{Rm? ?DMt>J!51It3?#c"kf[vdLM|9ډ~6!Ҝ u*D Ѵ!-Ȯvk9Ur/s]9N#"jY iJd\$ivMf" J ^>VQgR9cInw?GD`oJ"!m[÷>󯚼"wbX͂(P#Ҫ0>c?S/] ^jx 37Ej^@|͞b?&?>GtounamΞ e $^HR+4,WshOUjtUbO?Ƕ=;|d));á2|]C{(:dt)Nx{݃HMebud#M׹^t'5:`+6%lFm?@RH+ü/!t#9"ڙm!mn9~=K6]e>n"Tڠp`Rc֣h/{?͑0I06pZ&p>[G6g QTS$G: .ŶIdh쥓$%7~:_#L7!G [cbu㰜Ӈ4c ythD]oR?*))qR_~p׽N}~!u&~ &""`[) )(˲XJDk\],-;yoEe#L(Q$=Dqux7wR`5fDs>0yz ;yI;a$8Å{"dr:"FPϷ/R~vX#޶].I@ސ8S!J OHF8]3g[^V}2Ċ HQt,#4Nz>X_\Vt`?+yu}<0 qGo!4hlYțo8ɞG{+qLnzh7X,okXE.zP $7 fu0.g򡢩e)'|6]\,`$ޣƹ7gjMjd:aoآuupk`3 ֹaz|xR5J=32뺦P{Z,1M-pڳyL [3{56d:e,cϏKM:6o]H$gl ȣKJ_R*ffMsh/ND>rz=t,4WkucИ X d[$<ýv+(S3˘'݋30׭jN*E~rbևg|JlI$#X(.sv.s Rf27Mr sF6E4dZ9tNIPNaQytTM|NBaл G,Qi8vz> ͼ U0i-!-d:TkbcV/w-ia@u0Hp72oLOB S<\qp]d&:FqGNGLgx24KUP㖑oǜ;w]5Ijh nzՒA2\:8F} N;-$_#417[33\%](?eu '2$E0bq]5Psnӡ~R&C5d_;-X:[#Qo~yB#1l tjn"/UR&Z~elLPp`S}ba/O;e_U;WFԵv.@U /v CmB hm@X8vayPA(WƖQ5ahMߣ6+ X@is9W> })ɆZ@z%9 fx|WZ~'u(xVąg9bT `N=1yAR-Ц,pFyQftq7s ^kuGTq r޾5! l9eO Y5ls] = IBse rK9QL|UstzawkH:_SHRx^/ǁѭaZ;2UEJh?^/."?7DVHhv+m C@.X7XFK29IDT}1k"K%D ~ 'RHg` G|ORu,o>]GeObmMB ]J%T8V~ۓ!"t_0EQyŝK(aiQ7~~MU ;QBFL7=1d|!>nْT %?ISM*kF (9Qm:wͽC O-0Zi,q(y[zlr^WŒHf&~L#E$fn<cښ&6