SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  R Rv' $ ]S Budan_Fourier:threads=4elapsed=21.397cpu=60.124gc=0.912factor=2.817zXZִF! V]ŗXiɟH)0%oMumЍΎ"8@~J)k/ ҏ>8P*ca'`͌[Õ_&h/D;<@7YnfdO^b{۠*ZN`YP ;K60f5^zae 27|u,")̏WAMK8u+HPC)y{hJ5f?ѶDarby%5pj?sb}96}f6ICvvppy\v^~Y8}g+ɜNxwGiߚ02YY!zNUY+m5?0zwmEk'D7ӈԻ)$n/̆ CID٥8PYP.H'ITrz{Gee™Jb?A OXMV}"nk; 1ٻgt7#Px9㳁%O;܉,IOw)scʦdHc,6+TS6(Rvooy5ъ%rdؽJI4Dz%lأ?7,,3 i8G=Wѭ[T5 ) \lJ6r tUa"<@LP|]`n5h=ɉiAC<-m%-Şi??7L Yfl>85J)0UJ-=f6k*1Z+?[?3U\ L/\2:&),{]mbмvn:_ ' Budan_Fourier   Y`荥AR*0o@i̲z{=!vh}fQZz/lP]dbH6P|5SVPQP`8'1}큧E/ Pu6e-hEZ WA56'hsSBɰW IlUf|L/,Q]Z f#єNЈbPRC):"Q"$pðD^<=rYc˝Mpl ^T5ݬhMOv+o;#rޝZopZ>m헑#_4yb]nݞ`#!$pylJJrgKo)aToB|CJ.d4y*zk˴LXJ (=MېizS_soOPO qd+*/;*tʞT_;]l t-U?T@ҟ_"MlO[{R,/v rV3U'7JN; /}/3P*Vlm|#S/n2LKߧ)3~bYeNsE +l`p펡BX,mmjrC 1O۴BYMz$~WT[%& š[3r"OV%oFA+K7UfFFڹ0_\B7F( 5?(:i,lr.%AZɞJ~r9ZP-ήwxBg`: P{hb #=w acch4W_ue;{2td1ދm$u._neZsI]IُH]G:#x=D \UC4 @^-EG? yHRNYP1̈́%oy qhkGOj=4dflHN]Re:#SˮFfdfly?oYejWA⇣]KXC-<+u(@m}uR<azJz"Ӓ tM_F6SCT'0ܠ|IW -UR${*ήs`2'K%}ͤ{$F~P:͖$ 6z;'HoUBR#Y9%_X4ӡ*S8{9Ÿ#^PXJ*ɎӪEST;wt{WQ7Ki:ʛmzWZ{6 c3,1W?b&j 囔cgِn:ïV:qUXpeBwՁ݂al^$(;u>6Dܹ%BAwv eMbjq'\_,2֗aG|XgN4'~Jצ'8XQPBƵ?`8"H$bfKdl4^( esYi}q]FWJBLn$jn>bS˨bJD{#1gDNup.C/Wu3[oQNm,OY{a|ڍ]ǠmyT}Ӛ?#]DE mgb _7,#{hu\xmNeJtE nڛz']Ŭ TLA5)EgSVF1 /j/H6`ec셑c2_i$}v|5E+"[UTe;=l lF!+|}ZdcܴgM!08;=j)HV1ȗ h?a݄e 0%S)lEϾnW_?c!t5Q_:̬xΧl}E B.'H5PnjgnyHرQal^ 6s^<3vS$. VOb7gyM9cN;PZj0MCx-ǿt6 Hg`3(j|?qaLĻSD5f므fTeNbGm#3]ȱ -!5heUaP G(2d]lj~G_ 5Xo3=< 7\5+OvU_ۡLH3WX͎ i5ESYRA '`v˿-}t {^\ lϠѕ68% ׶n0Fc 'ju7t+>+Au{wZ1Xʑ|(TUjރ'<,]9U@­g*iABp_݌Ѧ`h=BTaG &J*Ht,nʢZCg*b>ጸ.4yd)9'%&Ĉ_ef^RS2jY6u-`X䮼67[)Os++fX6t=d $I?2}usT2З?ŲA+ÿFw`#[ x^!hcI 6"I݌k2@2` O>Y(s)t о5 [ˇTo-l+ S Zx}Y_D(񿌞bn@(^ Wb%_1 NjKԄey#^ !&U4 t]eHӝ[uTqHAim>M6响2m@mԿ[i=XM澼pxG5i@LlKޓ=pdua=p@eԝK[$nsN9 Ep%z԰]a w8( _[q2Xk~Muo:@* iV3f@ E]<}b55ՙ9tWo$1*xQR`9(jT ?H-'+0o©ZǯȥG 4{UHUȷj#kj1Ynb#&ژ%B1@B` ug9ЏwKn?p|둘H{̐djUA+\~i x 1.h 2(H{rM*hR)3ћg֠{v'Ð0 q f:.9!N4/Ygl 3$eQ߲kq)̆ĀᔿpbjM''Yԝwߣ*Om@[{9 n4L=Jի+ WSO)QZE@V#4Gl! c"y?ƲZVWq}1ڝa7ec%{?_,SvFHnB  ^Ӄ0~]d?}A@vB_mM83.ұM|^޳VQ`]?lV;% >ޮ*/C06}2^NeR(`Hݦ&&i{,wiw6Y)UbdqI0X&EjgC hbpRD7Z]]GslHnʘ dV==!)!z-a3[n|{ָDB2y4A7kr~YKt֨Nc-%Ѹ0&LRgta N# 5.'QUPi%0!3ZJ)& ݋AIԂ!,64fR) 9K_teH_k(%:ŹhMj,OVOÒ F7[HKxo@~D6%+^KTeyFjbWi|^w{;!<u]<3ʰUv>H*rk8)qlƖ3.yƚnj,dԣgz|}e ꋳL*dVkg/3Ȅ-?ߤ<#i#,[&+}*%F*M:[ :d[z콧+pa2!N굈WsR78Fr@ ~\z!`;_E>o'V]6ո}3sA܃<-<%reJPo %A 4RImyN+qN (76ͭdLd̶׀j2 I#IWk0pGYf澾XGMSQ)\|u gP s,@{J8=? "^3\[;ByMuYg"X(7ax1pזe%z`p\"8%d8|h<@"J.]&5;&/>m(rzOMYj|]7MTD)wrGkU q%"v7"-nSSM s _{Wei4b0/&<~"p'5'ta_'Gq9U)fHbnh&(-0JH! stN[x U~,ʊ5P %uT}D<twv&ip DV_^<`eeFoG8^˯:PPq;6Эc66Eo^'|f#/8&]Mrh[o||DMz¿ٶKPF"86Y92PCkyZwXˆbdb!3wˍ GC]SBnûI!GbvøM 1>NW ,ɋuft.|l;TMI3$Ƞ7 WN\Yc|LpP Շʟxs<^E뤦GRe|!X3ObbLhLI^[?r5߯Wg\lJ+VT+[Yb=ߡ,^oWip{ <#s` g J!|51݅5TtqX7vdV:}X@Q=s.~k0(v3>w5!7uvۜ g,X@TuxUCm!= GvDafrý|ja'J:( Ό\q\k jV{|- 21tӼmP`ZY耔(aig!*`ˎ <K7ȉ ^LsȂp ˫K&F{!n=7M25dkk/_硹潿xmys6SxZw̨Oz^g|Ea@f4ahoUc2󞨭9m( t6R7rsYM,]U\\(,ž)lCKr(PYb6ȩ!quLRZ@,vxU(iOGӡձC'"栀a /2(USw^+;LPu2VW#r+c30JD‹Ǡ%b DdI4F=j7oLNe,?dhIh~w&ذv#[҃ uqTA T)Qii2~arkXqd 8 7OMUck%wu(./|yx 9Bx3>&ErL} McmDpHIM| IKn ԅ0$7Ty,<@Km_824C/h"t2F8,\Zq B[ǡ40ʸ#0ZF[u sZΨ\7BA]JʜgXKXCw&R$i34pٞJT3{>Qv>h%1ڐr)Jɗ=?9dxe^/nOo7dFzZ~Q_b0zcPeFNBm~(w"D[JŹq6jKBrXU$R3^35;(ۏP/S O?CS`\|YD{nY@},vExOqYSӒ"׺ƻ@ĨGf"IF $+Tc ($b֡vڕ]+tʑ {3 zI(?]H?y{@ƂSWH&O H zHG6%1`M5xCTqg `s3d' =yW549{o (Z> j"T%L_a&[{xӖz8p{MRɦwx{'MP;o@b=nq/sqL'R#6k(I3^@ w.ؕ9v5$-ɿ'~]]@cMx xHƝ./9 Yt5hAɂƊ7'b}/pyWèneRAA[1I 7!du*6.Ŭ?Nq^HNWuĸ&ʶܛYR(vuۜ n-Y pu/ٵڏ=`djŝ ʞ׹"F7}ݧϖU2xrgiyWc] ͤXH? F~U GɒgyH#%Xcs+rz_bgO>2 yV:C4CVL;>@ "a|\vkMzl=ŠO-2~o <5B8c1֡tfrJ"@R}G tD9FB[ۧ8n WyO+9HivPWr$57dbplT{ozڹy7/+41Y|a|GU?;xH2tGmܵ$WuJRVnaR}@!e!~rG}eB.ݠu$~Г .'g=Y6z p~ѯ1 8MmXCmy0KS[qs s_pYB]FH v Kz<{c+}=O}5$I31OvZnr:|(Ф߼q/䷂L;Jr [l:BrO)Wm\0xJ>Iu;39W!ZK%ڝn}j1Uf~TФ r|k곿MʲDąqHp89a'\vUoske5;&aiB9`&: ȷ: z #OCW ak-xL2s#>!eh4 +wV}WNS8&ځIS{Lup6j(Q0EH ,!Ţ7ks2%тJbjj t˽~+HCPwK,W:J Q(9{8ݾ`@٣Nxw9 -3 T(kFa7R4` +\s8T )[Tɸ<:oFG~-yi@|F>G\KKY=Tyhyv"en%D.;MF]CtcW/V)z] /_)=+Z`(KX^^{LNR"`ꑨ&b~R۹Aqb/x X^jz"%J]Yȱ Qţ0 NGo2M4!cJPwR3uZY'}ƅ?V 祉&b˱'±Ir7OMrC ZUC /sN St`;Sv,AQ2_$vŠqa0M^xRCڛWjN8=u4`909!\;zU'sf孌@ʞѪAF*}Z6E4G/pkz}zU2u\k<c[E{I G?l 07[k$&˳N؟|Jo9 ?RֹDS-508pR($-P[rouuzM'@c*O 0^{_<F& 1&yxqywφu (DޑS_P" gYɀ(<6i}C#Z1P9krt)oS%f3җ>QCZ6Hod&Lȝug>;/-SzDq/jfW洊J)p \{1jJ4$Gy~X:۴}(x&p$y.ArG_hFk6.^]1aq,-%&F-%h ,ϥ5bWu"nKYA֑QB) {Q 정YTѣEJQ`JЏd5mpy<&`ah3?AʫwǺMH_lcl#t`'Tu .j@OzA'7Nl@/ǮޥM Y6|ksl|8gB2yO"$z8؃k|u K1A,rR U1i#hskX^hSF.gӌI"UD}U=F?MkKtkr{Dl=l=/WIh (>iU'E< "\&bm &_$.dhP}{7>{iM[}(B7/pRA' ۪mc+9=.dPBL||h<̳ǒ7m;n@pP-P޶q-Hd&3^> Fh<&,RrDޫo 5 xf82)y)#:<*Wq*ӻGη1Ea t^9C{+??G4;XܩEQ5b@ӭw~XvD]x^|NA2T x'Bu@g~;,\y!w%9]hѫgx{_\`;#q`# Qcx2ue^P Nc@ VSRPœwfH wV(֝ hEtz$Etb^cåOml+u63a}boV8j_W+jԿQ4p|_ LޢMb {JCƲ bw k%!; =W[C;5GeKLlSjeֺ22~ [$xcU:(t 廻c>""A <2}  .ƥI ڢ{~joգ%sFМ/:|žlYk]K}@hk8O㙃sTjȀۆg-nkϻ7B轷Q,3GmP>Dn }ؘz >W" a`%U紗! XөPkF GBo٭sv>"8n??j]a\ e oԛ&"@:%fi Ę֖r'ST?1vgad2a¥.0R0YXn6M+A^ZLx2 VY.eN2%!Q1*UYUf4R `3A2L'ϵ`D|n6QZA2~U?Fp_ r A'RyU&=PHZn 츖@I$5=CN檽4r2y}4Zc*A!1+R:ϴU[qʎAwZPV%ܽ&ݢ+n(W`r™0j,$OYbF-j wP|6 sUuhlЅwwoDP/>L}H0ݿ!ܼl$L\ YXAI@e<:K?WlֈGC}YfC[E/44⻦..Jd2z;A~nì b[jjXzKH{E5 GMһ^BLWk,g:ST<ު OKJ,H_-&&`}ȝ3S)˷)YVt2bm*BOѽ Ip9Ԟ NUDnXm3]Nǭ t=NO=ȥ.,8=Ǫ$!Շ{i]L kZ. 8UF<ˊ(x@&{)*hE0a+l!"l(-іdѮ(TXZεY J 1(hZ  "LO6'wptF K>9d܀ s\recp6E#-I(KՏ~t"Ht55OJD##0Exl( m+7j-(fw,|2z%O a .VBW&Azx^F=H\[lIY9>qh4 xuLNA9[Lj]c5 Ҏ0YUTMT61㓋o(lcK`6 -m<]O.5"*Tj>:m H[p7X'VW幙rBauahD 7yy 3N$~@6 B"NKgp@1C>0Z/یrP(c֡|".VӒTd">~`&ş\bre)+p>b0լ )n)𕑈|AMtvWC3q6|yuР@䉴bG=%3LblC nRVh ٞ jkPxСG 0q# |V5$5d%rlS}(FBfۃDu3b̙F`:>:mC$""yv\͋7LjpewgD$Dv&Dg2g8R-@{*uRGcBsGhjGY>5i"7C)饉=.(>=k%*_b0pu(e>gp6ߋ/$<\th% " 3[s`Yd]E~vXtUK XO*VJ@l( 8A"Y !;qmnn[>vJOCwQN O,-V9WABxxJw$.N+;h˲52:)RV(0-ݨC|Qko>630; 8:m0s:j'IK",vvK*V21'm((]a8foQʂ}xRզ}Es`c"FxQkn)N4g3ːE 'X$2M﹆3CTD/9r`HLvͣLh1 =4Do[HSYOeؑ!Z&ڏˋFgs^~F6̞tqx*O9HPz^DTT>5ǫAtQ55(_C[$sg׎ce``SaJB* K$uiÇoVed-vS"/8fsbj_d $o7p\MEr%sH:{ &"q48o`9Je~gN7"&S6mLW5iNA`Hmw&_i?Dxu14TRe֧Nڑjp-IBզ'^}vʯ!PUk]]Q/8W.@:N-2f}E8L2ϐҊʏ,PF^] N%fTZdó+< 8b kZ|>o[%H|{n uMs$T&Uuy-dߴLuI<,˄ie' +DG3}"EX6{V{L(h&K5;,Ki)35i:^rU(O}! / >'~Af) E[5(2R N%Jl(/4?e\g3\JُE2pmOmT$+V4ʼb&g=XЉkzMv HߣxVBqMNɍ#±ճmyτA!F@&Å~Cq+v 0RYܬ %D5 Qt:ܿGHk%%5AuhgvZ_e%).SƷ.\WnpН]|dQ̪6Ńi;qR  ;%*Ac~`/p[i:^@iħ~a`mؑ0>9bz_qT(U>^6 5m.`w휛E & v+ud̷hA?يiIf <+kqrZ C66w~#hόi=ҍBܳU<n`'Xdb8&(kNJ=!bifбmnŒUN0E&4/1.9:7lMPQ]ebi xޝ[A:θ{ހt,UhnIw%;m'y,(-ԋ_^d\(,\زY@j[nA_!W`$U( Rgp&Q@Eڮxמ:E8ix `E{ L֭iq]ޔy ,f4⪷`Lz$p%{>}X $j`[_s@Z2V=W1( Ku` s\aQ/&׳ ǃX?m'_#k+)oԓ=CxSiը9Q=#/hQw);ZAIM }6ș6Cw wn'pŸ%Q L_74n1q aC ̔gka{/?5t#/y{FP׳VSϽ<]N\$ t Z; 'Hh ;c@>M/,̀I0ա\Ic8dI.ZYLB{OkxD^zxpZ'M#|ӣEdI%V^&g ;bQ &xNp ]zGgjIM @8<8 .34ݩ .XhRʄ\ |gS%٫|H/fyPN>%2Ǒtt8 1gLnΐ6mXct"Pu*(åՄzۇD1XHE3jŠ5%@ZBVPeIDXI|v.2\-ґ)1 pnyd]iB<uy)*%38icN)οЫ!|X+G,GS\ܢA E7ɽmgr98$pq3}f8 4O `=w(j@ ??T]TN7 W, A)~}6X;d4kc(1_0Fg"uF!!|oFǃ Av ]:0SkϾU"pVi%L=sk!dJǚNh] txէsY/ޑ3՘qw8( iBbHWjf .!> _Y[mQKv#=D0)\Mx+@(F]}7t+3435oc&$ i";]ɣ ]̯|#vWq@yaO- N&C+J>lI]0 !`Ýv4 i $,p QqP)02SK3MT/pP\<`36搻:5#8WKf5Te]bs փ=<`V#cTpIg?>7(]Dn?.r^-6K5[ ,% LL+]Ú~b~ ~I-vc,yT3lhщ2:J5; NJ+ 4T*Ibթ]aK-ӂj#R?r'Yܧϲ-VFῚ/ .@mM 98c'5G;Lo=@ga6Nt%5CX*ӊ-¼7VDJV8|ͨD5)`ȝ@K|R",5N=t917v@S|$rIqllBn?>:~"+l+GWyL.ȭQ\gjBiz!Nh@'\Ñzl2E_2t#o㍶9Kar!pUǧoW[?:tqlZHJIq^2%wZu?Pk32MiTȯ'qZn36ŷKo>m]#6 4aip` qK@Q[~)ekʙnݜhK?i8Y*9M}3G$8q7V2V} ,DCq196?=#|"ڧ]Cn[0PSwThxcV2gz ?E1?-j݀:DfB;Kޟ#WȔ O5H}ꃜoFP8J g/aq-,DR\EѢIz%i#B u9~Ao+j5aX+kV ~cI&|QozKel3qWe׌;:ث{6#+R(PWfgu<Fy8r9$ٱRltbƄ CfA@+!EDrya 7E Fezt"Z4檉|۔XRzyW& [5aˡVw ^P)h[g ^WH  i.Ot\D ts96V TQ$bOY}r{ԝוOeGFzum|LF~{B)THKYEֿ?δ/+F\&xi#cnkg_{^LG[@8f[ HUdR{dLЭa)|˨Ϻ@=X5>(_pQ^Ȳ""?vzӿ B[g(3'yhl&([ alH@u%Bޒ&Wa| ~V/]!؇v6/'}m>j ^G={=]qܠXv-F!b "OBc}_O1+ \]ةL=B#˹8 QC y$:OèqtoSkbp"qHw9{udy~㦄/l 5pˋ.bm+*Ҫ) ee>:ॹQ=pYATy^ Y6%30S+hD=,WQݗo1HUv#VɴE1/Wڀ 3nax=5x[LVsX>w b.Hm hfZ^V]19F Ե]I!{oKس!{`'J.*ٞq_=;|5=%DixءZHHπ(HuDfJ"STt7&LUmoӅ;4\yw0:_L;@DH>o&bLkoF./aShå.ZiY!-C]{B3m3ޜ$ ͹w"s@ln΀RVuǗDYoȖhʑw3SggHGJ8X(%p ɜY97 n.(Iq$G1Zs' 11?^ReNκMA`? ='0'G?7)5b3K!kvG'6 .}P{PY2ʃJWb+3˳H~0pD-P"e)o~Dzw+L9f}s@$0F삺 r<镖ZgrPO:l"/QOU=A𾉂c[uL{$ '1b۝3jKwS !?Ej M8$){8B[8XF>OPt[O *~F1no?E7ܳCU-(|+li̓\G|hwf <2j,&R5Oe)o+6>c_b16\ @ijN`U6i[n,m'lxhjEB<ѸZofO!2 9;Wd҉A| <Z(ruݮDs5&TuGevM{预_C>/NOf;_AĢ^!/4;%թˢ:Ý7W Twevl! CmXZvU* +A_,r,b+HL)6x5ZаEF_Ћz@51CG7n1 G˟RO8eN$ˣN1a>>ϫG \؀=W 31C=yUw]SDm벉.^^ghJ,V)\咩 {F[Ku-BgIetŞ(lh0쵘9qM};:.Bt_VDr-wR/I;7?J,u+yw?y FV#rNuV ꗻ*ySӑCgS~ET. x>;Av\fykIq{6dhzgqibzDЩ0y}ox=lq >Glzc:hE npf(<+Ke1Ab"o_M_Tn3C`l49Uߐ O)}rI?ӂ[.:|>7DVRw`$_DemN4n͏<4?eԖ.!VtyRjbs%"ǵhi 2fzc|0@7*&g5֏K6~B8ZqV TƏhExw u>2hWY\"=߉Ɋ#?#8 Ƕ#[8X2klb3Y6tk1<d.q 1vnlqMFzp3s1X|l`6ըިpZ# %IWMNh7 k+]'ZfS~,FG&_e֫ nt8FZf;o]&0me6HGx%*/U+J c A`>ܛ{1BZ5<Ǚ2fgzDH "oE2"8eYIfZS "IDW!x?~BI14<`24-6'%#-҆VBMN2܅mu~%*dD!abT_RmزNk'KP4P\kL]>ԓBVaU|PW6ڂ5N@p6]1.Կ&:!>Um D#"fsrNwꯆcɎKg,O&.QeJ-~|H.O%5DaỲȓSھG+ Ƴ{Gvd~/gj2EZ9Χ~=H6BX^H#mm }vF4<&SvgΪF ^o RJV$1¼#&h~hQ) VY[YhH)kJb(ҞAP; O:s1j66^ڠ"`= \4<5@ǽ@U{L Ȑ%r.=ͷ~FCYwgH?mJ0'w 4/lY⧂53Cd6[[DMGCQ+6 hOu.!vnfkyPF{cD&Wl(BaH7H\E(CAL*1hw4yCYM-~^9U@P-DiaDֲzM+& 8&ۦGpF18%f7Oe,,10AVת#hv|K~؉K"|~iQ*R:Ces|8^)e 'q>vKU'BI#6MlUI0 tIZ;Vb+̯>.T6'וzyqND>~uw {F} *5V*|:"R0 3jT?qҠZ qhn'Y+$q4$ .ؑ]A?m!Yw=be\ЭDf5<&T(@lB3–8$JM'Q'i 4Hn&X#Q鹨5l]}O$Ssëب&;e>OIuW9=#yޠƪPSy!;Xv`t̓.5Ry0(>hy!&觴" wcDq>$ +'e2[/q3+ mȴݎ`{4݉NgIS7!c1Q,AK鷡[n'&$l ¢'wK HbpB@tglG(k?CO pgPKeJ7Ut\XUSI19YN.ę6q/b! 3*%gs/Z rh|^(u< ci0!8mu_h|?j"[ ǬS7SFI$uR7Sy FBo /)~3Hb7wf ;"r/m@hf)fٴh>Ow4Agsfrгa"eEVeVc 7AU툻%BhՎg.w 8(ea@_ f"mpj8.TGu85A6cnÝy QYBIŪ.nh{'^/^c$} }DS%ϝ+ck8$%"eOH"[r W<ˌX&2$=0bkУ^ n9nyul4AgJA^c2 YC!cnDAALJשHWs`\w&*jDB[~zFc׊F3/z 5AX,Edn)qKnH/?ض\\SEȬH(pgj+ׇƝ_1}Hw dr?cA85 %6q!C+!ꌷ?CXʯJ4CPqmH߫nN o}YiaGW(YB9_Ae 'zPDPN{dm`Vr_4^1FKj˚9]}]7~ůY#4 D2"W9Hj-f7cKĂ苮 +W0VMhH-){<靺F5~eymk?/jFblm5ԙR;RuΞT*4B-^>I'7A={6=<ƘLHXZ7&ޞ5DA`;K'RẨ/UJ 4ۊmzAFb[:ڹ|<"߻b1mM=?*yvȍǘ'T>ſ5cxj2xK0vKd;XJʷvy,n<1M΀?кj?l輦 PאNB̖"rkGHc5 ʶI1ʐp O压D$3*OK29?Q&B0 (a)X1)LO8y5>dJ-ԒKG'o&@@ujf'9pB:BTCW5j'hx=Z6ړdLjQxuë(XX4}č/)o&x68 WA(L{Cׄg$R?Rfl~ q@ X1f4㶋!-sLi0KK>N*Y?-njhDUhMVʋA|?PpX ;)\gm[6:QlS _ƛ)^)!n[ zC kԕ=.=\h(tOXCgCqn{a :"|'%/V 8u*h-ZPf.H/p%A ŶyJZõA.2D\v(dž;@ǐ32}vxWXX&@Yw' 4ۑ/h[ns^=r,b1 Uz5q0?bN .|<ވ+HQXo /-oe{u2Tvȵ5A 0 Q'5| \b{qCH 'U(;p㹐K ~pmP nf,J7iIK|s&uqvٳYQN_hMXkͭͳ}ۃS]$rQ(u!t j!nJ]Y9PNi0Ip(8cTzwoS7m[ nqM<{X"n8J0~Q {d5/gf{P45IփXQV3M^5~ƌ@H\l!mOY4=H]XE.v~ۗ%s|ỸXgW$?\pf·%3J emLt|)7oO#jqe뷩DHu՜@s%`#8k29E{6  ZA"K3zȖLغC{ 4/N'40SD]a# E`[Xe.ל?L+bZ4k5֯igdS`5ʿPשObpH@OkXDk>TI띉5u-9f-ed,VfM QHkmTxغzgqxG?O-#q~o#MLcsK&g7:JXs z9£Y˃y9j^9QrY:RdN=* Wbs:>97 5Xg}>o<wP=w,n ;jPF'!shxinLΟ{ZQ:"Jg Oz m7Ӯj«/N659_t"̫P ]kSfB 7BEt`1H EQM]S^5wx=TRv,jWd!ɠsi[RtP;bU3p(qu~ ==9<6D\rN u?2 l,Wpc\?>Fq:^uDȏd@cϛ9 x9+,$o引#=t]R=8JRqA k%\oLn?5ѩNd WͱYH5b~~J CFGi4_'OaVq=h15ld(W@ǔudn0y8r52KgyJ6A@:sy D_r[.qz%V+]]f" ) pk@ioܩfRl6EꍴBDGBM{,R{ӧ 0 8fE"u&ٽ0|inꍃH+byhWDY0Vk\559XswpPLs *攩!D8nd4nZ} X䝄(d 9w*+Vg#sN>Ccr Asai,b1NΐOM Yh*vAQs89«-CpS O29J-#\9Wj}13%r.*^\.[@8_'o5=߈kha_6 S(h=Fc7X2Q!ı'~7\ <5C X$p5C0'?lZׇW tz;l6yAuyDbtjLe!!k&FX$Pʏuo7A-3e5C>%D4qy1/D­TR76{z2w+‰Q1y~g Wlmn0XOml^nx z-,e$BEDsrl߁pėN9*!F/(Y_|HnϒhKkɛ"=Qx:ID᪉F"b`VPH;k*&>}7.51ܡʯr`-98MG_شkv. Y3_0)GiksTA7P)o(oY RCuK- sk0RID^evRg=n2|aXw(vРe;sq&&Ou?Od-pEQ"oh,F* <+k$uUnPOmIŞdZ#$ sox+.7R"\I) .yAp@T74 gosm8n4$r1(Gs4dowk{SJt"ZZleJkDZ90N8Zg,s0]M#yk++pAcpCnS6WV ,~$ubȪ P0tX*k1ю1Ǫ=P~rqP~ȣ)ZOiwtblzMn~/:9ɼwt^P .jàZ.TKuEX8 S~)46o"Δj)Oyy)?qHYvfqI}Fc ^(2 R)ӣUԔS6 c30`$lDix .67E?Ì `7/`_ w+xhǩyT^0]$/FWN@3CwIZR\{'_H=Ll-s1ZfWhTRq4Aa2%qI ^LN~*vY+OxM.܅8 ҆JDG0c&\EJjoiҌL'`1I5Tkx[E%-4tV6Y>A";r iY՟\onRײYI~qK.EXt%%fC/EB>ZK3wGϸ+BH?k@h*O{<#ڨOMxXe^a, HhD+5Swr랧JyW4*Q `tK`KH0X%ؤN =ZP&$Fp [>wX!VQRiqOnZi1b&A+JT]iB l Qj1@JIhtpwTjm4GKP`8+)e["Z<5US?p-vTZߴ0VU>0P <D7U whpA%J4jzxp(Y [hj6=7'bPX7[>@'MHN?m[Oryzx2)\J7"hhT8 RO\D۫UG^4@(9H7~@ ?I?c=#풜hu6pM" \Z=4E ~[GN5-;hlQd16pX_vv0R%)m4K؍Y…_֤ ``sFB0دߕ't<0>)ezm< 点j,Thm3)0}79bA5s@ӱD{"՟d^-UZ|9 ueߕĔq@JJej$kCe*%AfEP7,&:S\'MNg~F|[z7.kcCDiuMދ"ZYnM;.u_K`B{T&o+cŏt+M&W`4+.-5C~h]ڙt P·_\_yq yj H+;>>ƒ2 n3lUcLeC504W[6ǚ[!sv| FDLo^)ԿJ }?zT|"ZQbÞvw~g8qĻÝEgl#(B)%h~Pїͪ_jm}5G>{̱N -5e@bd#pײg Ax0i{~nt'zN' 'i &R:g]tLQƘ\x.(^::z$ lQ[2# Ŧ ,@ ̲M¿Ԩ.T^p-OSξNQ!^e>kOHwCr:lڗ4(컅Ǚ!ZI;;][e6\kaW`5ʫhx^ϓo2ęː?pm.(X olTw熑4T/ x:E S)Mdh<;*"D -`ЃR+5Gz']$L S1rgf;}qa)!%=FyﴤF{R\f- 6!҆H' Cjx5|4C:{|W3wCfQ)9XܭZ?3M0¸S '¿фslϳrv O@;po_?&H/}1Lr梨rd;Xd4>vG!~ =(΅. ٸZgχ~'J3łKAG6#mݰ2my z725Axl+' w",b]l*Abnath} OQ,,ɴ=IpYq[&!kv&t+]Sx_]x]6GIuH}VkןA Z rxd׉v2_IipI pg !#DެI:6(I6xOϞ|\,q.-LH ?{K,!|KW[ oeHiu^-̅A3]FRLdEd-Qi/'))nܫnbw!q<<oŸId[\3poCU~s:(0aH vQ{Pnޔdc45;.Z .0e-7=z|]8D%}H i|VʁD+SUB'2 2xJ?G(0Yy (A^4 #iA֙4X(W\Ħ'!IUQZ16SdGƟiqG~%J^ QǬ I3lz-M"9ωPZoI%؞dG+Ǣ⎳C >=\+on #2~'i'A ,v_g`Ի' yEv'Fdm`㮤}MA^(fvF`I)cSʊM>sz^JO%tDK!נՈग़|u9`_2+nYR0* e9ޯ;%"? ]KpNfiGС*INLCUcв%O/q9 |~9tR9q;c]+Qc͘Mp>ؑͨ 9?\Fte6>;daאC^"ɂnn͢tsY B aK`2]溷1AmޥP\VOMrĭE w-_J e=@N Whmȁ0YQ'=Ú0w ZxYi=fV@G*vAT BV)}6:Tc덕=G񋬿rю:'Qh81H$9JIyX6S(<2%Q8^J{#ާT{s038rEEa'96r`JWU4 &]H!oN1CeƠ8Ḧ́g*mE(|AV*64$ BY5+M\9R)qΦM}b8]@i|_zr&#Tm9, T2#dؓ%#[; ݭ(J)N in]H~3cL4,X((Ȧ'=>v&p$h2V,Ƙvޅ-5Q>->l]=}bM*8j%$ߠ*tos|S1"I[1a,HIzK;;6'fmm)Սk)5s|5~8x1XjV1ϸD넰+;A'EXwٖDYuy6]h E˹:|S楸E<5S2LP#K4&h& #5q+cxbW5 *m2`pO>WTz?Os&kV薷2|9r|@->jX8 ,2խ#t.N~LbI8l_5wwӑ/E!iKҋAk@ك?x̊B $%zrJВ.r.iY6Jx9ǿwn5L|,/#(nZҞ vt`gtoU1v'`~>?{n;.}Jm? ro"!LS:iXVbC>&x Z5KBߋ o@1&j'$  |Js@\&姻!Vnvwrתs\dz `#)pH]U'Hv *QK O@-Fs{ha]tIZh@Mn_oCHTI0Y"jvH<~銼 ."ԭFWiX@X>!b~{_\̡fwty+ZT^RXZ-#4?>+"1Y阦~-%ԥVu89 p}lFhs *'6Dwi{̚MxuU7&8jdfQrWsƴ;HԳdAfeJb$gk3ulqbr }\j2bOW&?f'49rHTM4+tJw{"K=()nyqk8f*1kU-)Un]VQr |'A[3*uquVR2\Ѩ Ƈ@$8>Yh:&S2{u7I$QCȈd=e| Oo$ ɮ:;CJMr2L2{bY 'LgJP*p/*&VQ-1'!7!>Sڇy3meD$sЛfN{VG uPgc0M ꂻԠnAܿTԊMC7=k}?72u(e4> !^ {M~o$)[C{z5.C]U*P*>bCRŹil!oG)RMPtA JҝD4s?07j; 3eZ8?2 PCd~OǮu"7D7S;/L-kQ'rPGC9bvOZhOH5E3Quy8&jjlGIXCpǥJg7?Kd30?wMUVo{ kBY_EdW8wiVnM G *?4J<"0sx=`U!qPjG `#F'_gF l&(@4xr&yI゙ԥl_ 3󟢅.}f~mn=Dn]yV('d_ɚ@ϰ5SkB>,GX4DL(.bK:/oo({Fd_ ~t1THNENdk.r%y<-9bG5lIqU0#XOԇgV\?#삒c@.fT!v:*S;|^d6n%P>>i'2e^_6p$P'TV~= K V:Γr]ѕIvE՜3zHN$[/nwǭxRZ9(J G0ȣt[f,rQK=S}qhߋ/4(vQxq@3(B+i61Jc߽IPoP?My> H0&Kzpp_4n0zi!LQkL[p [vm?L5ih|IWqJ26tuv8S;u]G& q!Y>d̅<-O$D2\x}/'?w Zu 5d8 a.͛x#[ Ҭ%G^?FH[>k7%#nEP)ّiVw;kdU뙟$y QOXJ=!c`uRR;ov~$[rgJ?aA2H=FdЅHF+fc`S4P !\FJN$OqDѪr ҮaXkh7啰GЊjբ}XX֞emM'0bysQ?:=P8:~ujbȞW *x!7c*t-yjk5 l;VYS~$͝tmA.$Ӹa HBR%,MXir:E81ɻ^jׯjC ⃈LdJYAm/ w)ГcWBO#\}RDHjP7xH\i>!LY}{Mek4~;f)QF_g_t6Ҫ;5 tWKfGc$籉}pv"|ْв" t$`E2l~rt )NB݆PZ$+"*nR I5R"{iC.T*-1]遹잳>ovPb:Hko߳{dU) [b?cY@ ֘Xg}p?:VR*w Q#o;?l\´ 2pK_y8@װ p@G ͈8LӀ:Okw~6Ysy%sůCR?vBu~-̿Gr4x zmʳFy|~_!I$!1-21NEy_ۢ Fkm? ╠x1xFij!K>)@#%,9 DNqiI ֍Fe:IDg6@n 9BU%΢"xz3٬ov]8RKt60]h4:mLKibeq^!؍Ǚ-}USChK^VڞWqQ9Kر(X4Ѣ9hcKyXg]d.q $Rq 7v!R(df;ʼ xEb#CeU{lPƺqxސ2bJD-#e+>c buUc1 Ve;9| #1h6r&uAs0uȤD1a{\V8ìhd#fÍ|Uso^yq0*Dİ|\&O,ڌV}y U|tbHJ?DKZE X1M=ִ\vePz-|T"?c4L;I/IM>c:b"ܓʄik;#EQK9e(u|򺣷X}FEנ@dY(,@~<{׈4/m0"Rv09ŋ0C]8ܶnWX$7wVGgG'I.O |A18!|j^,S9֕-:+܏'sdW%BH[??[=VC&)dbWm{m^Eo;4,PEPokV :͖ͯ8Drq(E_$Hwm:nKr>(p#.r}y{ Gh !CҒM%sϗ5پ~eyc>O JNkme!d'7,է<ɓe*L HtA(XFo~#rȨ*ᖀfpX>zrzoOP@dIJaX_ upjM@dKSw =Fp(~|u!>zFYc(WXatf g )4yo+ЫD[l_C游̋'nnj)߬gB #5ޏQ +w]>:<)M/nZʠ\*:6 ߩ_ڢXߤqlIeFI KKȶB{Օ ]P"ܵ8Qvyb-@Y CQ@Bst}Eңl Ӄm9bOx ubw^rX F:^c|\1h \'S~`pBF.MV(fCYU?e{<ɒ,ViCSlMnOŝ1STa4B{PVU[ovz;i]=H|HjOKsrOsd0{gyǰ@#h<"g""/KŐ?s$-j3%Yh &98YؑDkp ppI)dX3F9?0nhNS1- S,+znx&ga]ORcˈv-/"|&;S|)7Fh uWXoSbVSV!`ev ߢ}3ׄd^e&e)J-canq~uY)40)C{H{ (s.4Vx-x[Pij)wU-yΓNWcOģy>.R}!XrPzNdp0U+EmxfJV+=cԇjw A@ W㋤s1@OWHLQ3bYLk%ovK!OY.?WܷzJΠl:MXFl+O* &}L4cFˍ%SN 6dgꙒFOSm~|~ϺWbv${wuP=`[0P>W:,F^ KVy{hjN 'd[j!Z \Hc(uSwz M^Ty"EKaFj Ab7vҝkH|֙u(%ELXY`j=U`9fh-uR3cXMF M2S*Z1u5c졮9IT71w'jiuxeK=7rzHM5׶@+~ĞCxs fL%u'8luX| sWIvuO-;|›0Y/q5uї0&ѭ<=K*Ӵ"9LmG^6q fyWÏ}`5~E˂Y&q=:>sN c7nnVelÍS^;$Tx14?d^׃gB̤o'PcozĠƤ] J4|ܵAE Y9<)3cur0ZQ~kH Xs=y'š,Vߐk21E@pvC 2t[m,$C2O[-zNnג}x]xGXG?BȉebCޚ __|9Ld~g@.RYS]fi+yi85b% ,j$) /~ =7f0ܑC1hũ78ڳ6@>p*Ĩl `U,XI܊4xɞڂ8eMfM/lWn۰6:3 TCџ`QTq SJ?VuvNN!YđKN) 谾N͙gq*U s Rge\cNJZNc#) lH<c @e(l!^"nѠFMI/W7-m|v Ae6hזAdɝ,6%d mgE|ԺW?& ӆm̩v_vbؗy[â:5oKN\f&TeTDݯw;D0m&8do3VEMlq"\P4w=Y?uE57^x4? [b&Y3!9̽ bEt)DcUlǠI=~m'Ex25}8D>:n6׶#FgYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrC&D$0x+YE"6//`ɨ^kMY9ckgYZ7zXZִF! 6 ]ŗXi%L!l/ZWc\h`x.H|Y 7wu8Rk:Q(= "6 ~w2JV!{R˧}$ 7N<篢K u;z1s,`'AP8DnJ v4(];DY!Q!oOƎ 0BbR%?f˽^ex}`!zߗQ!{K}qֻېS;6lppWzuu"2BAv97ȒXmK`1!SmјzZ:"iEY,3`pY@k)jh=mqo,VC}^4=\=YJzw {Wgm[2\C8iqЬZlu}b0(* \;&Ã5y QAck;Z-uxytĢrYA1;q~'y-?.g6ˁbx%j)PDdf^ ҧXx݁+"|zl gZ7V|tX2c|Σ,҇Sz_3-fq&V@2y$܆K[L(֜}U]כq(nU:j,@r8>  ,^%{Ph[ޟpt\.{~<:Z+z 7$,`ORFP'\.aL1[¸cpRJ~}Fd2ϥ9%%b|ҒdTߖJy nZӻ2n@YwZlfaÜs~dsIb1%P8G8X.9 jgB왮E%~IM[)gXu2 - ]Ìe=39.Pʑlރ4)˺!ýg}tގ'LIʸEv'b;񽌢 DsX!y8>* ZLBv#/cٲ*|O:xSS3(`%*7 oϸqн=TWT^;f |_-hH ^a%Mx5=;S!XK={Ss<j2? */Sd`WOe Rtz5K!~ro`ܒ,u`dBVav+gGJ\AI\tMΧ hfQkV~*:@ln6-ɳpZtQݕEXCB;+S4iCT|$.ǁؔCg.r M$FoNUxRhpM RNW(Pl ]|!M|Ɇ?D^ﺢ׶%3xA `:!z"e)UA͔2}1;{/Xj L=)jUhQ#zJp#mlA~'@09? <~K.B8Pɭ˝z)Sj›W{bFqR^_Wu /kYa7%SȾb)W.E,k1ԡLI<{?e`y0 {j&mh%60n')g/䮅nE0Mn ciZv p3QK;mIW28?OC3˭ݨjJhbϮ~-u8IԒ+1C^`n*([(epԕ52P!SBޝm2;x4(I 'maC‰G|;C%ϕҸTrjs_~9=$b5Wgl1o|X6ʉdTk "F7\`V死 lgYZ83484f8f449b6195cfdd0f02770a656a85b2cf9b8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387