SQLite format 3@ . BBh77otableisabelle_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   754$L ]S HOL-Nominal-Examples:threads=2elapsed=703.665cpu=1279.544gc=128.556factor=1.827zXZִF! Ѡ ]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FR WtXX~'c 4!yFݠڌ0:csfSdYsȜm[T~7pa`% .7.>jGT< @h ƽSKYȯ]χ!E@MZr7¤dP<&Hyy;D'L"=rf+W1RH tFG{NK7Ī oF(N@7da,{]c,){F'\4Fۀ_ppx #u{7hɹ.jUNm:#3eoZEXlloЌ!>=dg3,0nFvCX&E5W `ӜZyD)M71W4nD9ki|_<9߾,A}<Kۙ6NfF=im0DA۫d4S ~<];<<7OZ` dF[CA] fJHΖK>ACk@g_fj3zȴ8.l}'ŽiRRf0i=B9zH! D1XPD+v_3D wa' SguL$M8 GO@2=gky:" } #.-Zվ+w<g{s59Ae+ihr+Hi=,t +"|,%;u'j8U׬9 cۄ(`*qE+oV0^d-k$`-'.K QR*'%k%=r㶇f1׷@N3 "w4~=P,ٜȓ>Xhqf1;0&{|w |8hnbq⡮4Ŝ*?)UXGXڕa-3}nJHH;&X=6r,J'b~KnיɴE8Y=W7/4kFV/`#v=(Qu"/SO$Y 1J}|y0sJk6 8d_&&*[ =9pY!Y 7n3^{Ph-4eGO$nkHvtLZKh]x̿7ƽt@|΢6`dQŝxkBt ʊ#yQHe4ˊ"\,GL] eR)+Qfట<o^/HCz*vr^y@iY!F4)O1sz(o`I$$BNy@W}E%Zꁺ'i)d:#aTgjxxxo~[61rFj)mR 4OtX/3rnh_cG?'> M>rGS6p7\Ȯƹ -]6LOŔs:1#$mmAؚ5J>iX`O#^ l3K]1wMTb[9PͬGsToIלq/}ɰЛi5e(Wy6dpVM3qa(S'9$"퍜`Žá"fSo>%~eB%'bt  ezUnA9vxBO45[]`(`Az(LZLI,u; q)sn_4Բ>Z+og5-k{I `,0pZvH{4bqV£SI.(4nꂔDeWhv1\=Ð1@6ײ&,W>;"S[p2 lAϤ %1qQ ;s.:7 W*Ip1'v+qEL/":y:&M3X[O2WB = 8I/6C UJn\ќ!8kϒM(?4~@Ϻ1cc(CIu^LB7O#a75!F,z.>{5oģv\TMmRl>E-%o"nWn.ia5*]$=~MbVnK!I~q=rOdڷpHU ΰ<9P.-~pH,+ꁐ^{ y{xP>n toyer༚/_@NgPCqeqwQh$LK~M(]N(, o4 L5mP'9ﴄķ>$3s0קDĕ=,a!DX\ צOOīk&N]=~m heL E$ena~F,Kh(1I&vMƶ*?8N$ $Wɤ+l5<[ԂKĺbLn{ri ;HGD6o$y=SUEq_U{Ԝux.gBrv)~8PJ.R jF [3D 'P(ۘFn~u[vu{% $%-I8Vi+Q2.h !4;Rro46 c 4?t8O18QUMߣp\?~m|Lv V*jA 49X3AA ٤Q.5EoD뭎Vh[VD}a:uH뺢oƖ 9Ptv[}vCnkwcL$Azil,0ߘ3&{6^iѓ珤2EvkSL*|M'/;NS&m}@n@]?o yUr }R:t*|LkC'avzU]T͸HƍIUPQw%,Tu8głcN.Kcw.Q뭹;ʅߕ kFFTIqEbl)))*By &np#Hdu.yri8ةlʭe%H:!MȐt7LsrpHIusƨ+ ҹHQ9qF6[ ִm`PO]5 mit9[DH930$prCDx45prLǕ W*e ǔ8GUޭuaãkFkÈZB8mJ=Yt:0l~lag ABJ#(p8] pgBt&r bILz?)}S[#9Wk}} %*Cl֞G,P7izhbm?HRߟ ŸMї#Uka4_4c3+^k8NnUڡ"2-\;Μo pN> S60yH_W0;7;k  U;,h#|~FpⲼ5VЫr)(URO_[G;y ̱v&v/= *1ZqlM$4;D G4@¬W- W[KQp1F>ljlzӤq6^1aZ]ڈ, ?ɺf"Lܯ=T1N:'fuԅi憳 T+ωTV& ^xRoyvS]2f>KFm$Wʫ%H Gq ՘1H F,,qW #CD?,B'q{Wuqr1FxHIjNL]5!'yWtHCuwʯ%|1!@imqߠ=tx73)ronCJ!1x15J}r6<=ڒ6tŐ6 d2>rH2O/`uEbG#/̄%EԤZaM(q>p]!c^OWB#Jzy ֔M:oh9:UI) oZ{~Ll {%j&W=vf;w35o remjH!պ~y-iK|:,,Dbjd|sf|Ԝ S~R,s ^!Uox:s. л9 X j~ZxyKoRnt CMM}Ծk]j\i8ߧs`8FA@]Bo5Kbb@< ls6NA菁Hkx]f یGh8}|ce#bSar3 # }N~"JD+)wZKfOWTd%uU.= @Ul& WCK~P\I'qPIZ 5!)Zd3S^ LZ0bxpb̵Y *'.{2{s T $o0)\ k}Ada-ʩ,qM՛vK7D"$'2L5)?!G rE Uv,kD3mxz*&{wI/H%͡FdC~dsI>aثùӝ ]"V_iL`!'tA; GoJq>J}hjdAB6k~91&E!hk?=qBndc5YୁxPЂܽIķ;#^,k.f,C6OjZ`ŃH4MލءWL{<@$&۔@RZfL )Bm_)E}Ewɱa& LTs 9;x;LHJ'V{ri6v`$g'QPt,W2xeۈH> n,k `b!ɿ`fw5*%@rYq-7"-A~`C^o=`8<ѢˉF=׽MڃpPp4;;E5Nc)_H"H,eZ qՖ F0by̲-쿎vMX0x *+81^1pdPGGL$aHneQ#1,WaǗkLn6 w ι.^$!jS䃓nKd н:ىkFTeg5ի >JX,B>ףּf8xuI wm9q 5m7In{6&ZXL9̻;KI+|>EÌJڭS(7QBٜ# 0 A $/gYZ7zXZִF! e ]ŗXiɟ1ʹ l93攀Lx3 a$V.EB"3%.34{@ gT3tp? Q4S"Sxp`,ic~%O5%XTe5%6R4Jhv*#66yP,(3]Kz(n#Wrlŭt@ ;V-+"kkX/>`^.!2N^ `@ -< ~"]#ElVo1P_yQTY|Ztj唓Ɯv@Vwv1]K9l8턟~WXcnC!gXSdVryEԛ[nc dd$m ɛL}Hx_#H8'ZsHZ$;L@PR„ftw diq~ u]IGAɱI&oqQ$H]Bs "hO%cMy,G o`kX`GVH`ږ홀ERc.YО3oht:uN:Q|SxKO]\Ӱi- w[YX͔t?; KcUگ71 tY43NkZ63˟&D1.r,2xk/YroKSln8jPy]RZCqrj⠈sinTQ1;!Z2)T2,ſx#k~p[ΣjףVy㩒>W[0|ڤg+q̾ȫR~gw|%ydi!RHBJi=g=I֖_jҕ< AcW؍~zoJ J-Y7v7:xEgtҪ"(Hq'L!# LYςWLcvMJ&UC2U,xnĶ Um N{ )EoQ%Lp .u+yB-rqd,A? ҠvoS|<}YhvMS_93Px^wÙzݶA'Cvu^)9b%?}B An_]v^ j13Im~Cyun z^-ՌC\rUm픗`{ky5}<+ڸw #m. qBClGn-ۗo5 >xFށ/kn(Vy&ujӊ,Bu 5X5pnA ZHN(xSp`JjP `0^i^S12Wk$X!$ު 0?HN& # &b9}XeXw glE4[|mAh[>WθQv]R{;b*M,UC v\lW6R*<.Kqj{ca!_ghU9]Ayl0WU_j%Y4)4ƲC\Åtգi1e$-2qέ XXUYD-AU渐c_dz@[ ׄX&$lsQ+/L B1W \ǰvItoYZذ5 <2oDBXJ?3w0 3sV ŇS,c)Su,opD.Z&^'1<,/`1M"XNڨ:|UWA,/x >7թ?L^?+, s2vuMarr9 ЎE-݌%dTTڴ1r,bʌXr,Ǽqk Q'k> f,TM-1Q~#F6ùQTw%YWavtάy'9,,x=kAs? >XTR`J{g!_X9v|uxΐSr7afWۜWFQ8 `5$)*(XbHF%5U!r롗\*geM)TAuΛ"IÉ13#{2<_Gq23cnޏ[|hb3R2h-4ȸH-# -ddrC%˝5"bGn#*zS*T vӒq[m 4БiQzƀK_-h}H7RQP+Cs0Wp¢>֥ $ AiQ$͖c'P,RSbx4;U\'5 PZ͠Zyo{]A˘?D_ԃj='BR͇! FDhZsXSÕ%g!KuR:熈,zx;I@W5]b+$ho"Ԃީ{uuE1D@#d$sp:DZۡ J'wn$ry| .gE>jrڽyX=NiAh<6n>ͺaπ3`xy@ d-s}\7e7G"̻O`,gb^F-x )>)4~74fwЫ'`@6GdPumU=KK:>ylKˮ]cw[ -'{TH쎣`??I;a@„S@x"`Zq0-6xGrOc cnQj,jhI 9A= rpܰa R2fNܺўP7P0SY*\gJyJǔiNpI?xՐ^69lI2a=㔏ߺ<#xݡɛH Kmӝ;_NFlLI@4tP)B\-h&׿ !""qW>Ρc"F/i*; 6hE2JU8O;9E[mly ;1Ap:LZ $J:BPX |nOQPc`ht]xۡؖMF9}} +?+]x AW: ^{% 0h~d|HY~~" 31V|)^L2ydpX{tNcMDP89UxeAnI{2V(Ճ:0`orW5rD^z9:7Ѹ\^#Bw*yBvTL2˳NU:-:*Z}‥&[-V+FYB%).6C(P."%x Ա:m @ʩ销iX3H3}a SZԢ7YbFXUq N3תM~h4B=xHNCu|!Lo jI^j惻n6k!,eqk?_p0}~=iQ̧}#\6zb&eRC$y1e{sE lFќl[;2K$k ȔB~521Ev,rA>?S#3: N7I!-,TcH+\C$@u zLnT/N79y!{?_Aʅq٠p7еUܱ2lHFz<Ͽck d߲yY.Q=|[KRpku2 D|;  (^6ݰeSWiT)HҮý&0%X ۮ$TE/f0LZ mR):+ ,+ao3|@/grc Ow}H~:dt9)lZvM` ,ZVb#T#$>~ho}J?J9)!.rӒ5G1 WG8XZKA#%l4?ASI!>kɇOáv ZW{(@/Z؍˖c|Ս* @,#-F`weJB?y{nDzĘ8}hP@qUg%+v6^dLQ(V X*6vxw}6 ~P^~x^C"Ԟ͓Հ4٭|<-6~5y4Id惈+CзtE1r;b= LSYNj]YgGԉ~G- T9yE8uTS,!bfP@e>\z9I1ibX7;;+g5 .)ihP5:Kv5! 8E[,8D9[Fb2 LT#'&cR] IM 524_E9ƦH+[a4ףՒ|xo JؑTdvr>LxI_`t+ NoHNvݙU0m1Ua68.l/I;Ʋ/nׅ#^Ņ>`#9)._rKϵ(0:H$@xl_SHKpa?Wr.pumNzd}qeO s^( WKɍR’ *(>zd%"?EHb6Ot&YNDU&T.V96;NnN$ n?7B(\i#(4]yZWF+I_l@MZq%>dJVoX6W{%MTVjP6EgO+rN+4$jlt8 ϕ0 lPֿXG,aK3bxeM[GmS:v&#Myks?TtWn)$f0mdol)WLi jGﱀV}I::[z$TJ_u2}PA R.t1#?޴տP &\r ^NiaVNؿsx@`EILÄM-E P~Mw3ǩ B9 TMr_Qޛݜsn*Q3ҳVsuwXqFk`_WMA_+E.[#*^6R5 I87uZh[7,gYf6rpH"MOs׆j$pO#wVkm e0 $23</, HygCI~93͵0 Qa1C lE/ٔqtp?x!2\jԐ2ݫu'<ߩS 7CtU]6AK(U SwfS]ptG#J(Ij!8[oٵ#d$J0nD>5p4ͣz/9&B! sӕ dUޏ@6Adz'*3e| {HC$Wʞ:SbGUDiLb`l/Sp1f9qm{H\IIVo|>eh<5N, L ]3[Y/ڛwabb<mnJ@qy| )eB$6 τo3MN<;A垅Cx)Ok#x$Pռ YÁe;io~RP X4Asɫ;,[$v2(Rx܄:wpq&HtF;peϯ)6>c^H=6eqK_@Z!iBcO ܚ*Sa9晤x`/괬RdJOh1i v[Gu:#BC9T 2Q0GCG(vsesj1'%aKv4H_1$euiL<Vܠа6G7c/- p"oK<.U:S-{ !|&E3ם*V/#T'_&2(`g:!$泿Y_]Ic FSa Z'2+XDuU]{0Y;URވ׸$a/}ȇB;NNk.sdX:VxT/k.< CrJ"#w@y{ڮGJ $ĺ}`ѧN݊C~&h޴ ( S\ ?,L ]I(r,svfLvXЯJ.i \[FeY۲KYƎ&$_յ(;rhORDݩ [gf-P>1Ƅ6ߦ],>3V8h$G( H`|]AK6;.'s ?K5kH@r[ٴ i|Ҁ*bbCz4,·SRjrgwB\ + a[ȈsgUA:b1Թ{!uЭ\ys_)>_mhMi b#嫎$m&NSc~nO/xhMüEgը靎J0փu'ho>G*<3^TINQVkϥ=^CW7Pͳ5q3m4"Sfo:ZOCHQqaVK UȚ#_]?zp~-֑М"b1Nl3kiqdy!C5M[_ 7gcKoUiJAzkvDro0kB$s}%V>W٘u{#<("/<>otF9>- ޵8Iҩ>&\fw"7f#KAv{5yW)d'sHtJ<&NRK#Awa΁|DŽc8hLSދT4C|]'&eVDX8_(v~FOfӴF,#USKY/ʊYSEE/@xXWB'5XhEDtV A]0+>^61ԊZGrwT\;?T'5"|6|EN%B{o`!iesh(j9@ĚKON @,1TfUw4( SشDoc ZMRQ/ݗ{r · TN3]W֓9FrHw(eݼ$J4'bL?ʩ1BMM^*#p!0Ș[msBXU?GlBFMB ʔBlGPCd޸ N3@t=VkE=0č wg,اnբSub|0d=FkKtIgPd#[3iљ X1O:K"d+ׇVGql&ڥnd'KĬa8KIքm]iPh>]RZ% iStO@M H̠~nQM̭DQp2F^t+j0Sɥ8/"!CjeЕ)Hcf!.6a sy.|̨'@lV$YL 9%'4B=|ʶ@+xj˞Gĸ7;C[RPh,uypYcn"3pw wWM ' p~CsJeEpOw*,`K32Qw9oqS~ 6 [{jU$Xu=U~E0(w3}2xʂSR~c%DcZCSQPHf.BD.^mh Kc$WWƨ{3HPǥ9X1^e&u_pmt򗸧C| 7| o:æs7tE@J?v!v g8j⦯A0|fD|b * q$y9eiY&N[sG}=(]ᢵ ,8wKR4KUq=uu|敊&WLE5JvDq f /͐bu) B;q')º2Q 䬛Y%s .{,0g.ऺץCrےAJA=uEqoJYK4AZt~K+O}{7U˿ON4G.zCˮ'e蔐XFErI1OD9k&%C ~0=&u" M o,-x9gq_"}'V9es+3 /ʅ%x U6 g4ɏyy,a'nS/^j'N8Mo1ɒFHi|F@rSɨ~W\wHBOlS*v(XC,B7DZvIbsV.ފbk=Čd+_NM5[xDdӟx`=Ifx/Ίg (c%hϩXFLn]}vgջY/2X!S3Iv+ Mٮ^Dv~7Q jbX%Gi5.{ dVBFƵV FVrϴ5ʼ?af7Xi 9;c,`aE#MfJ7z˶,Qoڰl){]?d: ZEaءK+7De:֤/zy ͨ⁈_f.;mhrB0o38|jXqX5.(Æ ڽ Bz,^~nln&s[_v1l-xwͯ-cyieQ=x bխZ+gu ybtۉt y}L5*x!t~4 $uJ(辻 MԚM=O+kSP#> Rc`̤D8]wǡӲ 1Ƕ%f.d QѮlޝnCXPcMBKɵ x%_S:Bۑ$ ܰƵ̟ y zbvTf鍌CwZV*ڨ݋LJ?hͼ נ* Ҙ 掘7ӹ[pIEysxņHvCg?p>6d s~,`6-XޚZ4&{ pDv{06 x: %[؍CJXf]7borU# ݋ BDX'H7 |CmgW׀<>'UѥOX a۫<' TP#3'` ^1M'ߵ;g7E:>-UkELj&%إb-@ۗ|160')R$9 {\\Y/G-`AV)hU@ רmt5eVI2e$ cmZ'b4l/uFŠVJ\Ӄ4Oy b=[;zq>( Apam=8lcLm_=-ǙZu@jW_C[)řP(%mzRv1rnOxS {RA/Hs1p/ HfPQ j,{{H fx3iqM.8GG:N"$fT'zbqe'S'JNGw9YOgVr̀|< S:Y0CCdo=k,͋U^x|%?a/yfcabiyJw^V Mb/a9ኙD ao)=w&8.iEo|'b7)Ů 7wim@D؞ҳ6RAՋ]%^/sĸf\U1@C:B!|:^Hs똺!ғ=9!Z78}KdدtGM\75PeA+36Tܦc[{sYI-R51''}"K>/ IJg&%O]&O)Z#׈U/x% ~B?b[|S]bQ2`\􁩿RQ&HHwV$@;M[w0ДLVB.~ h{Xlq2٣ |l8q.[QPVgH[*7Ԉ1.->>:#%U!L7_+(c/ |CrpMr64< Ü>tmQ]6:W_$BS0AC^?=p9,} 1ҩJ5-dc+]TA/9KK^̂% =:=Qv9J#fP#P@Јn\}"v=5}N$}fV@ƘjS>ဘ,/^#p:90?<څ)#^gZ-V<ڞ~L9GZf[cAOњյJDȠ6ғ|Lǻ-+g3 'W77w#,UIMPFHtS䖺'ftTQ|bTvPgR|B4ҮE|L+kUuWޕWdb2([IE27x%;3Z@;ы\I2Gw {fթӴm%LEa1ɌW5F3?nؠx؏D C o>/U8j 1P.ƿnOC!ݫhdv9"^B 5|JO(+mu M> gN%1mwAZK+oYL͔MVXc=!G{d!c8ziiӮ`+›RiyЈ~_oY'f"no3E е[;sUއR]YPn2E@#F6$\QxEK>t~ '| f0O nN|UlgRTnP/ϡ7 ׯmU ٱ& DS5XrPKp+Ά}8 ܣo{"-ʝq- º93D~at] H15OjCD"ȿb.JZƾEjQi]X#d[Lm _49$)ݗ!Y[qhDs6i̽ΦbkVK޵\0*dGUb»3w$!D+8z*8 )@8!NOWVfc.U \& u][(dwmFpvZRvNn'1t=RTܑR`AAUX駨DfO2cI-C5ʫ<ĸShJ+9/*mm>@b; `|%$0!R,qK-:X5+݋Pc˚(K2oHã#1W+v61"P~QIwꁃutcF#݆pb]ƇeS41lJł0UcjqAsj8Ll.A}qntTy0掉#W"l9UG&Pטoh\؋=DYx=V )] [@TfIݺ2E6x$ad&Vکe3uwLHXP>q_: ˑ`:$yP5{٢sW9'>BF1zf{yg[0A3~+Ç +e>S/o+y?I<hEL4LJ[ l}]κviu ]˸cӨ{l_Bl=w5` ?*k+^M/̘GK>fvK. ҟoX6ԋ2,3'i߽zJ3XyBt@T1ðhlQz.7sŬSQLC06K[l1c y#։Jj OG+3{>vְJk)-&ӷMR}7afKېc {̿y@F齱1닧T@bywx|w`,[>{uAwut"Yzf˼ y:b Aλs$vT" r9n'*?+;>2}.3Jՙ#]E"b)Nc{ZUCh [w#$X:_wBg]5T6ě:´IKY \XVǍ&d@=[ 4˾Sb6(=M(k Lq'Gj(Ō;M>iWRbD:;B*^;wHSrnQn\Dx@aַDu.}m.u^Sc%푶xc.$Y@ 9lwV6|tk2K_8 f:W\ZUcXSL@ OT$:(7+8gŠ,Vrp{>@Iq|yE)55E|mV#oR+2dǶu0 ~cW[$12'8 J;hL:혏uPzqgAv]qK9dIvz'3E3{(AF֞'WO~A @i03wlٖ|kJ l9%R!q3Y?U:ڲBAW2r|]{8_GHKaMh>M+5B4,V d'e4-Yr/w >MXUf8+ac[ 9++M2jz 5s4%ݬ[ ❫Vwf q~`Tgt$MY ﮆRU0[vI%ͩ7Fw;B*g֪x}8m_X9Hx|PRk~x.+7NYԈ^b _Yk 冫S[|>fr7V=L(ta و#wŦ@ 59ZDzQ4ē?Qa9Q9At$ST4@;F*rNW@O"Us:n&BZ4 ;M`\CǦT]NWI$:u ɯg GHaŒ]Ufhs;t/-b<gt*aϕyw|̿Y}ϋ15 !ϑAf%Dpg3r{vn+3vkQղFȫtNڷdUo =ql$o>OvPc}dL鏔kPD+x}LqTohpA{~\S&Ij9D|CS/De?.=~^ Z3sx+e2ob\Yӹ( ;'R`Wy[8Ff9$?yrBEk ʕ%Ng%h?ÛNt+ ;pe.E0AOc\7`Vbk nV~CvHD.فLf)yք \vtٻpwjT@8܋ZE鋔T9$m*иtL*Xֳ&GNQ-TPf?$Y@J{SI\xL5*4)~K}c&&.GN! Ҽ3V"-PPFq5Kjb^5m=PoF2ޜˠ}B*a$t[_I<_!kY;jo9;fܢ⯹PTPRꛣNS ./eڜ6x7 FKwNq"$BqHpo$A.&AB9OhpLyS4yֳbWG(l~/=! m;||'ዡy}PyD->f~F#DT9FKef&bő>bC'Upru10 R2$GjޕR0a*.jA1t. a| wy*lE0@65h[ZzpOPIE%/M oA氟WBK A;h 'ʈ/cqNbP]{Csڥ/۶0F0FӊMe[<ФNj%Fb(,/0da'09Hjt+CwU>)xwW VTmPGt^}q:qrcb_7)iF2eXW9r7h`UI\9.5YBLxjS"?e.Õ4dg$yVL-qgd`AtKx?D(#u0k*ӓ͖5Nw7$!Id6=`~7`B;jdUfJ > dO^i=#Z=e>;mg+A1(*"5A/DPOr o˻l*3}6 6NO!H#5G1~PDGS?%mK6j%k[>h=N$nfi%o99{G4lX>*-T]4;՗@mAE%pweulL1N-='doNًۂ֍(E`Zi5E쭎N38QeXΨ.WBwcnq/s(x?̿/M+IʥnZ TO@$voXyt)+&з q~f*ſ㬋Kg`-)ò? gf'TB[8wug=VϻdW^XK@AO 6 I qm*hjJH8"'ڳ[^ ;uoQU,CP⋁7 g@(:`sxJEkU9KIW2>'ܲM6j8hJX]˥{ǧB<SN.IyN?|85=L,Ao/3)&*Qn$V蟟_#/1!oyh[ek*,K.b2|uX^Kwn6da!ZD&Sz+s?pOG nCW]=SFj5{njh) $Q$3j䋼[ȧڼ+mrt O-;~72]>s:ŪN/vC?%,3,Ich7Q|z7 jbtQ^]aLA7v=d"ukVjtų\I [mMY,-7Tؒ;UKY4x'$rFK5Hm8p=zi!XpY ۵M8EϿ|&.1(UCQAD*q.DiͲvqd d1>@ f%owG$F"-!xш#رDke#r)~f 栯?@&g="{K=>k^hI"8gq$D-O"CrNOu :TKCj;?Y:*XBDm:H P۞Җ͎5U.`-nsIM96`:2D"`=(w-HP\oF1bOm~߲Jm𫸴Xүjy|r:bp3nG@8$X i zsNsx)~V4i{$Tzh)Ov8ANdmL00zVs_Dj!ӻo)%Z[ /8X!)Y.7 5۩}s㌰09\M۰c! .8Y?~mu_:_+u~ͲPkIc hx GIm[9sg .gtx.H13ZΨC:b` 5%<3kbfoMIw@F\Y![f)b$Y1QsWU-(@ )ԗ .ÜF{W'BAvtv']ޠKckك)C:q!4I9(&@QˇI wcR5 ܄ɯc;覮@*;h_ZZ"WN~o(rQY2.16*80~ɐjuus&S/DDl`.3U[#HCٹhMVڼ{xс8뫱̓`B%DF^4 ҷyeiTKZfRH * ̾+FCۂꈴj~ؾ4'C,?4:v2d G R?YZJ*vp_lw5m=58[2Ya e{ߴ^~`PY1%;ChQwmá.,a0gEHʍ \Y>G ~2 еm@-o P|*P #ss{m.>k 6<`A=u/AqVtJX :8D;S'7iá ‘i |<[ԛvW+2٫[ͱoX27 AgXrѳHÅK39T/R0/Y9x~ ){fNRXPyu" (ˀ=&`="98:x3qh׮1MlzR>@:}Po x=%Σ" um4E(,c;QyTN5!7)~4ilup>Jc ];% S̬V4a4u  tf'ts?q:"}B@#4Oڛ}EBtV1kyDHn#BPw\+}wq-J`D%Ը~¨(ᷮ]:ОW!ļ`h.Dytm.d"8Gp3O{!Lvw^*1_*5j΢^OstCe#^wPAW4'@? SxW$RvaSfH>3m?ًd1nRR$"آ2LtB9 ~}בT]H9.͏dAxcn&mg&e-@c!Si(VӀk6PIlx F5o~2Hq9FfnNzg!F.9 d"{n.J%K@{Z_4L2δv+ݩp\%Ph}~"/Hb\]3똂f q1sS$q'h-_ow^չQO7. .APu!Xc :]HѢ> !KVTf|Ed Sx1"}\n7(`7Vz7 Fcb\EÑ!+>aݩS"WߓqQ!؝"?d#Pk?FV ́lu B0?Ydz gXsJz7#h0&% U|f3^l\䪘>~qA+ <8P4Î9Uk0 )9㭆n#&﹔~JBdpɱd m+Q %64_` 6Wx"YY §NџgqX/r)Ûuux3@ұQ& KnL J .᱖d{_dl3LD|}ukH}$訞$|CmX/2_0?˟vNjk2V?IBPGScn9OEyz WНkJ:C솢y#JgfN<3ZRfQDFdV#jS,^H^!veCSDpm"ޑ18'6(f&)M6re}V3n'OCڼx;~lM`#/E:8 =Wnj ,lՒL`V/K;i ۓOSX*Y/y=W[݉FJpe򰣵u̖#_(#8c.m@JVic,_u: O\w[ bĭ R`d Oi,AL)}"1jC;'+yk]ǴrEPֽdF-0f&ֺ3OO;%Vheǧtvnү/٭㘔ڔQe^1q8Z{{RJVZx{"waʸwNz^ DK@Dz͚]M,p^ݵ4r'B !d/kKFO?;EC>tMaqᶳԚ3upZj'd 6YN7iT>l}]?/H!263Z[9)Ps&*CO`m~e7ذ<#ZP5 3\-a唲+sf讏c&MbfxjktQi -G4 3cqx&4/jqXXJVFk6Ix0;]wL)Vn +ٸ᫬(lg?"auMByNFXr]pEl|c"pϽ%QM\?OIn<.YׯDb^e <G GLr ?Y9{H5BJd{#B1*v`Z tJ )8I}S| wκL.At:\^4ERGof 7A#K0W:6Y {f\ESp,E 7~^, L E&LkWKSl0tᖼc3i8?"< >"-r[Qaȼ/F`ؘޠ'?\\O㫆+[4FH%emФ6R:rObSuαu ]6!*0Va9_cԟ, s^zJIFuP(?>T^ut'E7l)BwZL8c}dE{B^{~=Dǭ%Te3@ogħp%dPiEٝ.{AF;$L܄Xhp@UU:P fIT,CNnrGԄt_m|کAe_|\]L+] BA^: aӺ!HD&>2GʠP.B/c0oE^ [4hJ|-Ks0JL~^>EGruQY [ WF6p#d$Z;_b^ bTɶ\Ne/3Mޣ)x$ ń (+/SRg"2p è1ƍKzP 8 #ّW7h75M=' 5GWr\!&f&Syguj_t~fxAdO򒣅yfv z+b+jEÜH$l jv,ލ b[w^.~IdM51XwkVPP{0xzn1gQ31 `|6vD(.԰%norg޴`DpuNWڼ0m&-!lYFl!dA~[M/([?.A}+0̊ƶa8{ܥ~aL]cI7`{3BY3[E:L&lk5fߋ/ׁ7Oπ :3$ܠfXc~ÍS!@,^&kJgt.|FB b QuI}+@@ ,sſ!_M>Q&3]yNz*C8 )iȊHu p%a/TaZz! chv͕SzblA`!a:z&-'Zh$|Qz 7G;ɤĨs|\bf+ny*~ȣ|&֌Q2i{q8" HO}DVjڬ5#e/ Q.4<~0YsP(}qcNy 4d{ 3?b%M(y%%23S5A^^@X(j?w C'fI2?fiAS-9R$̺9 }"k_2Gm1>Jܿ1`̸ڑbImeEg\>"Og044돼ɋ j4+iOelArgQ)`_+)|SR@mY?a&EFc7iK׽yYu (t_OHid7V >g.)nl:7!'1cq6DQYGp; Azu/lJXİR0'v"GQzDB3лl ~a{jT|wZc=>_&>ٲp&'rف=-:YX >x{r6lxCpC Z2M.&hͣowr?)X)%Cy噭"!/n7<5#a ͨjzMfY[G+!n-ZXT3F#W)Ҏ*h'MqSIl2cK>oN7iC}+rG(eȠ ŠsMzd}^UBB Kyg>dӘ/]{ZJ-v='%,vRHU +]4&CJkp߹(zFP KYX@ Pn=ZWρS} + NztFs1+9]\{њ7 qzUPr}?uܺA7(8o(pm{VrkvhAc8);)/ U}-Vt2^6lte֮-xM GHpln:Z@diEhB`)"C08%V%|$1EPF/|\ȩZSWTpm(Mdғw?/cVR2`qL׋l2#~rsf_LfL9̛!F8MîV$ l԰ϚB>5 9\a)| T "H)h1d(v=fx`UT5iiO_0VlMe7D]|"/)X55GJ0Z66!WOn]|GpV~VsԍTsK c}MRiE&B.jcI91hm\T ܣ ~jK;xg 7蔊y'Ybs‚DQ5)3|Ҝl#ZV~qFmtއ6!d=ΰY-;4a:tD\eΘ#~o^N#d&[hXp$8N"҃א[󘬌1%bm6|-&uY*~Uqcb0_C\JV5G`x*Q-چ5QV- `NtցO24.`KM[+1hJeX{8$o]~DuzGYMl%)݀KhlGyL9Yt f�n&Nr[%wpY >o,T_uh)+{ ,|i)%{2nV)5zڈ1=&o "mtv]F~ty7Ч۱f}^ (PG[}~Jl7&TxCrh`H1=& 5ҝ^<D)QvEɀh?i;HsTi?bHN<j:rW1,<"oce_.']TQ4Z!b՚ҋ^)N/ὅd+Wcm*ѷW4-6J'T7ruAZ Lh(^b0czzMRa(%W¢"~iVw\=;WWXApF/(:!%+t4"Ad+p# "*Y(9Y kMСDol_%-`xct $NgUݞ֚} ӫw$dgOlXtV3z}fS@S^4ϏZ!pV4!Cч.8Oɀ Yi%Dkiв?A۝J;R3C {Ur i܆#JOz0ಁ*x8 9p gWdƪNE{|G 3XUVF](=G{:o>PQN#QA3x|bG3?ؐ(E)5W$_i9{o7B鯓Hϟ|I2dX Y1h3r1g13wF߃juav>w  D@Dݪ 9(uץgD!t]jLSK !|Jv͚;WQ7Ŏ-p%lQ !tP䝖SbzvZ"m1!_ӜC( J +rb)6Ijvy4aK6R-XL[8Yi1 p}q<_kϜu< Jb;m(j yh~ 㦎vXt 'U)26Tia14x~zR6/jc^(l+_x{|O q|W#s$<\㈬L0g0^gc>5\[ {~9پݑ 71=ݣQцfJqDKEi,ABM,_$%0I]|(zۻ2y~%A&׶7K`8\mA?itY3u>%Cѹ0smNPFAԞ*ѱwܙpSՂBtAKgˬfȒB=q }v8bFu$1fDT8(ӈ77UMz& I5ޖ;?~t]orY՛5sڷaڅoPv5( bniKwU[6ŗhCM]J7d% OYPPj!S?kz% iaZJ He˳{ +D _Iu5.'Hp5&J͇N  'CSS]2 n(|\y?iym50'&'15gݲQҳ xYaY-}Z ڀ,pRTe~9غeJ bޚT \"QBhӕMH]8^א{7R| o|*igFS%56ċ놳tyՎcH(7Hqߏ±.E4E6J1tj>;N~D~Z*Neuڮ5MMxG% ]=DObA#a6LZ&_ P5L>2]gѫ]Mf2⤚C|TZ"g%2 W vpseV>br'p5˱8wU~-%] _M,nX\|bhyLTzeEׂVg>xBZV|3I.+xbu_7f-?r} '41mEM>ou.g!li:;n`Fœے>,J3,ĎllǨ~|MM`^fWDuEnFߖ_koo[vNҚ!˜U'ſqhif^+ =3B$`jD/q/I>uΖLBۡ W9J:_1qT[iԁϹ=K4 {I ^g30ÂTE9V:_f" 9Ğs4R][+ωHMAGhJ߄1M=K"MIH.yKhEy;x{tS-֧?,7ո͝7TqxV3y} Sa 4XZQaQV8QiBQ30h?E,:@^ ۑॏqaEt7˖ޝ-3nKFқL)oqOϠ{!ay%P ~0C ӯBNG5уtT5,ϜlOJӁe7E$ buj'I@0HgYZe89eaee6683c63d448428e26f63afa42c6869be21f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0 f13f7bac1a13f36a70cccb34a45c57ca8168b943