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  ] ]w5,4 ] HOL-Nitpick_Examples:threads=4elapsed=178.759cpu=168.920gc=3.824factor=0.947zXZִF! ڧg]ŗXiɟH)0%oKW#UX@/. fK&:_X3snyB*nNGJkJǮ9o-Mg s$@v*,cPdt^;^Ov5Ңz=F%m`WU{SY*&)Rj;8;dʴ=L-(]~*fyhui=p\WD\u@:D)"Y\B-EO*լ2n^@Z󦉂3,,()mɂ&tU/DV,fï,6*&;٦]N!9YM) i黌U0#n sU@Kcqbm pG[7m*(š(XBPVmN(kvYh}ZrO;} fo4np-Q5w=b_.BOw} MEEYՇ<愎NiU'G/p=ET?|y~'hb䏠ͥɅ+*GhzEmfa L&v>d`\UB"3 ˉ6fZp$P9ۖH%2lRrR 5XQRjqI?sh[(30~qM\I&A2 7[J4КԱoEKuqlj(?kz&/[Ԟ/Mw)9&[) 5 HOL-Nitpick_Examples   27:#+֖w@>EV 5J:?e[j "@wDۼeDfnŮB JFQ YĐ`:? 8Wdֲ q{0p_W=/ 4 eٝa3~6Iѩl azٝ=&|p#c]sQP.xQfTgAOro#..䣤EV+7(geKK^W[}Q uRF ƐCM Wԇj5 JxYƻо֝4AK>σДR>Z ¨tzʱOj2qvXL˜UNgr)_F4>4 amu!/hvX @1kW|?5-[[Y\Lܣ7oT6ڜ]<]SsQLIDN j\j DPI"Zf]1FNt:>J_M-7BuNPg@0vAe!9X upqY+#@1@ A= %vaY} >~wN |"PEe-1_ !/ixa4lh-m^I;FVHfX)V87CO57LMrW30F>b4]6%\ܳg*ΑJT47`3񠾳v1t^g|aHkL 4gu:IƔu`$E4l\(46Ug^EIo)jюR`m 4HWvf%vN$ )lt'$u 7Ӯϰ1e0x1 ~Jnuz*os%3&D`C3p+DIWfV@+AfgZ :b'4&nGg/2Qr[3IVѐ@j;̳Og6[L>^Guk^b#O[i_bG} &5ե)s3Z1Q>^jEf1q&45u"{g",WQ2OIWOSGX3SI= pGpA:54A{)@ nNIqë :ѽu!`@7V*wzoC唟)=8yfZP5E^>5͂ז_Q<[d{qXGx3SP𙺳b7U1W*io&LY@!Ħg"V|MKy0W_U{eؠ*}j BGbڂP?8:}WEK i<}ewp&'L]sj-ߞ{tДm}~2/,N#)z9+N'|ZFzV("6"/4lv:CXFs\vprWl ZM !9oY VչfTjrT)0}󷍱>{=hr1CSk:' Wu'mw` '򍙭_.+b :{.stlJGOWo[l`ik5.c-GEiy PMU/~ft[aS\7*1m ~R lsg1i)R{Zʾ5?04T>S`*a* `liTPby ^7ĿR?>gub ܦ̶!c77{swhL!V6FbH7'jF!{<\gG_ /M+*Dc3egw"ū|l#HPq"ݶ݋9(ƪ|^jCc+&,(F>-"i "ͮ*Ic ӣ5AB`mk)3C00fĬ7M;vl KgePC%=5\{q& 0BOHa;XuyF\?VW}䯱1nv8"WTx so%o97ɈT}s$ً&yC`.S_ oTd.[ꜫŽ;ыѴ.Wא*(C{_Q㰜:Yx "PFi:'``׼th`NɠjNo (P[cJ*!$!VVg7[{ 6D"g5XJDcNcZѫW/8H/:$TK~GgL Y)ωn!8GB" 4r똻j1\;s54פNo&Q{qX=(\—cY vg3{8٢[#pUC)JB|Ӳ5,;eTguSP9i|T`}Kl,7_F`h':IwXcL%jv~i[A~;ߵ]4:qirRel>[īsAՇ՘$\_ر]P޳ =As3?"2xCj_vSskaI_Tgs-O?W@~[Y"^i6-*Q"eg3lJ}y5U} ƽ2劭`Ͻx!rC\:?:8W"/Ġt~ަ;E;iy-/eྟiN{5;Fؔv^:zȨunIy=NRqَt^?5z)@ `o{hՠK0nڌH7^c4 :8˚T1oGG_AXš׫ $,2J~>֚;]b@TBt\$_tX$yurʉ!|ū <(۶zZ c#d1@ZGia@]D˘7\-Y:(߭rk6^%S)jX"Lb (ݢ`TdHen:,AdyXW}{)qrƈ8o bRѨ8GQg5ݑ΍8FF[مb*Ƕ Co50li,wP*Ea;w~XRt"h8q*gPjsK8ף ^@ "n9SB`6ЂH5Hesq@]4JY5z O&͆m.Kګ"s uc"XLyk)V^'VU”_Y, "~  vdۙYBK3 cwt]M}AV2"Qfhe!c=!r 0|iٿѩ,%" xE~no/+;L Cץ%@Au%quVN%Bm͐c!]UzŭdgeCG^eo@ ~VHu#嵽eZ )P$.y9DqmZRJ'L8X܁=IU& @- 08d8m@u5mr3!YZV2 P} 'B`ok"j5q>ńIÁ:|`k$q Z)_Nj=. gC4+#吻zЌR B1; ҄$y6X?s:FC=j3{JaI"q%>GSu &7e)?y`)3R״*㏭b)A&iZ xPOȥ"e^=G'|ΨReD#EiSqF~3Vgߒ72 Ɖc]w7bUy.\fa=`i os{c"Nm^۱p4HsT5Mi/(,,.DϹ n)pozCuF)e;nx%ȌoS6+z*/ )GO3ǟF*`X*uwx#5_-E"r_*ég&f_Nfa؎Z' t*p,J#33Tdq1yz `6ۭ#2 ˓ -}:Ӳi -TL'3e{ҧBdq"%:]@S)掼A7`SpBgʉfa`$xັJh,ΗMaŨU۫]߽d@soVuœ*$=0Cʟp rmg?ۍђ7sD U_WH%x /n*x?#P#HE5RNfrp[Re\y |>1V((_CJpC ?2޶5@MSREopꙒ>gAImO F8J HXf8XA iVdtml3h4V\y-$/EdJj8;x 3:: xu-.V8R_^in/n'\Uix#Hlۀ~՛ڗ`;~l$1 ^B\w =ʫBKWes0oh E9ъY bVkbt:^h@(iy##}Q$J"s>( -`05>Iu64\\>5HY Z4g(l1JcdK mknUm-Iax}r҈38|ƚMYR0c4?^T? W 餵F!^ %XKp~?$[[~ה࠸5@4[,6-)ᴦCEPܿ [XDFȀǧET1L9yS#_1|*FXdCq-f}V(89@^ ^418U,hw4$j7ktX9Q,@49 Z95o`1)[î3S}wҗlR/$Z'"KX(5'6owGφ~f86*,5iynx2-P54ry?ܶ'LYj:bPb"J綝r#9YiNp ?/|[ֹR\ G,!3ʖg< 2z߫7U+kk }uZ+!%I, ~x}J˃HT]|]!(9Lhi>g,N.k IA !D_p︚Q)=_ّ%kß<ڧT jp_*s&E WZ\p#'ys1Y_8bCXYn]1o\'bB75sKe0d5k]zAaRw9P#d v噥.YW/}Zx9mΣ>"d {b0E*@SQ:otn)q1u 7_'%{,RY}w68sGrۥ@_=Yjq<=8.c1 9fT PB"u}|F~F"0E=-v9SB-Y/bQ1&h)劤:vh CMAB&IaqШuoi暾3xRߢjmHWf2 nb~M;ZGs=K|so犩ʯ$#nfKRdž7Q z,o8)+L*DFI4Zt+2TKA Nwc'6rMg.R%b鲮}"(jxub1㶒n9 }[ FIt"eO9|V[u u l7/sY=;ňw'%>'nGHa))fm?Cǔ].D/@ÊGN3&ݦ85詗;AxNKHjw7D|}~R̂Q_8 "Jz)Iu9r_"$%cRJ&*O L mXQu|שV^N >fy14tbjNޤ`w݌M_ڷL©B>`B\@3&>!|tmԗ@#|ў3A88Ά $/FNJ~bQSdBW6.{2'GlrVj` T$Rޕ'nplrL`LlC|wwd>)\c/16I6ca uRZEH7Ϗ0c. lԗ:-ghcyC4" Vn4a&9x5pH-uuDTx 1) 1 qSoSV~_w9xn=)\[Sap4cyc|/,Lc$is _ <7[МUK?/#f="*B:ckvIf~)bN"2̈z&iި!sN ݉YVl;ğo.9JKDO |~QoStQ\RLeDtT&.ΓټKT wcEa=D0$5Zr0Fb8#q@$z.޸ERYHF,Hzx}:Q~q"dU`$8HrQA!as)zW<(!_'%4IwBID8 IR{{nLUupڄ $*ـeo'LT׆1)NnH*< sщPf"WA#ndPR=0jlul}w"O*>!}9<+iqa_c3 KL}~R?^Jb@kq N?g%*?zB^.M\rl)P߾C*=UL?&I #R I3 C;uځ} t.^;ʝ g7M(Z y S,W Pg`}l)q^)gGNjb+R?Ne?"ôur XOaHz{w󉕻0A($\@ij|[^Ҕ_ Pv޽L:| =ҽ3f< >yo4l*aHGKEDf OnˆH|P; og!ϸ{O3v2J=[)G eUTA١nq43L y"[ՒzC6$U#>,Y6%sW_Eއ..u<ԍ Ƥmh_w_Ň轧qh!FU5/HWgEkzwn'M7HပV.fwsp"cS\0]Cj@hT凵-X݋"K\GEH0'׆A$#^F o\yGG}dXz?w/#6 wX:At_;M [BKP[ڜc+9ڡrp3 zJ0NBB%tF}v@b9Cx6jgFh{uWy("f)ebjlqS._쪚OO}~1!nӋ1,UǓAM3\j}F="] ;If /.5$歕;IIM&]| QwMT~L*qL9k5$uOi5GwͶ6{5:hX"`uc\.i C!NuH^9ε a쭡k̴1Mb^%aӕ/>ޔWj1^ - 5fBd+3<~^F|re~." 25}<<܉8;ĹKG<3DzG2&o5]- VSxDZ5_jt_ VD]_N&'C5u2qaBĊkGIoNLd(թou1[(P+̏ؗ_lXqlޯi0з"8BzBѾ:yO_~`?J_y-n(oVie>5A]fsQZu+ʇb{NN-k-"Vב`'ŠQ@ќ`Sۆ_ua%:52`r)#9sVS%d[b6Ì-z<uq-j#. qJ&iT-A9?q1P4W+@-HiۺoۗXM-mKEwjc"ϕݥך @dm"<)g{~N2"Fݷ@^G@6éƄdPu `!V |q%#]&<É_6fF`թ*!9px\r#<A?~dE/n .Ej'PslƝG{rZ$H i/W0ߧ ͅ֏tEIzY>X~4qXbaiaC9Ss,ȵGS8L3ປpN7w HQ&`s`qKDrd-1k`Z\U;KLvRV#f,pܛGg\ev@Q}W3.Ѱ>04Izz@c *9j[# C R>fXjG[žAFR*L9c.0ڷqh2Lo? {EGa9)2vnOm7 ] b!qRq۰@'ngJ*jyv{Ġ!He۶Q^~pv5 ]f&R!P[ _ntEMzl ݱN}rc"ұ|Oc62 Rr)9̔qw^5<|DmB<4ىǛ\ĩ p^7[Z^#[A:nk}VY]O}FA!Br3F!rV2=1L`k%3#t[9,}^,r83L UQ+C"ޟ0 09Bϟ G[:oݻrv4dԪ-n2e0c/#UvOhOo/=N;FUŒh'[M~<45{R-IP*N.XJ0ҘF:֛1ZiPEe庾I٨N&FNSNsVW{JAǬ~DXQrjo3ΈЌ',tEj-Khc1S0Y]4EJϐCGq ,5 urR.x* 7!m7j08x}I%H"{)<&|M_?(RRUPۡ-#)_(\VH`X1Tu3nN t9ߠy0#VMIfejQ`pܼM>1(҂%~A8z7`` ^9$P_#{H/3!ºm_H*Żu1{uҩ.>/>ԕh=moS[)вfkāczLuԻ8zceߘ]qmo48Urjcnv\5CvArRV625K[4dEDKxxwwߥ*Td.G{wI7>s-`b#iE>e{4GqK9xϣo  K0 b8ԡ".aW9c3<[ %{ 3tEZ9^"8L]S%S`w?^SHi+S,prey'XUԍ^aKEk#?e?|s~uOXhp`Qc m72ıpI|&C/"ڟ&rI>|>]Y.am\, Q Q ݙ_ط9"z[7I|CTH+&`!#!c|u=JsůEdN0wB)`m_}.v özKMv"or3} T0~pβ!WSREHYp'>Z V>!$[;ǩí&uq>(IFnxI~tR#|U kD1qyAT+ 7%^- OvTE̹߮h²!GhO&~1ؼ)?MLi^pJ\!n9+ S5Uw(`Jd[qCҌL,t^ά~OdB-_4dQ.PMQ8fmd46%@wVlxo,?DMצH/ЬaV0OԺø787+lBDqףωAWz)So6Bu]`$PtwU BZT'a`6T.%6/e7jf? ;b¨/j$ٲ ])#EٿښMKLɊPDžG\`i*70?PM$@_Nj$PC! @FJAמFp1nJ\Xm$HPhΛzx mӸ ehXsݳ3&V BaL7E-1Ӻ RG秂XyD>36[!~J*PżjVZ0Pl3f$WM@Bw c8O  9Ոļi-AKJI9a * e6B#õo@1]1W$I ٕnu[(sQF0Pbׇ 4#Sv&ބozt)9+ESif70#CtL"c;OEuB.^[- 33XʹILz﨔LhMoO.Ry[븈Y}2Ok> Jօƺi2qSEfLdvo&bknS#|\# G7fsTC?ٹbIVPN{̰Gq$&fy\akI@&9Vvɻc"|lgPd8-`D~ n%$\D:],;EOƚ֨d]wrabFI-v4 .-ۈk9 i$+=I*j9ҽt,PV)d{ujӮ|f]]#Ezyv ylɏbeG]VZS(m< hD'Fw zj ;,yHt;?*庲(gZ 5{Se3ؼ8a}6DPج/FjP bWb- <F!p#޳"y`6$3H趜aT}H杉1s " =ԋ\ ?P'[N/1밲sQ :7Y_7 Q8l$#I`>DqҪ,aX uOm)װwrٝ\i tP.rT h,,;MMxKa7^J)rev[mB|̫D<sO/qnۚGCu޹*`pertKOI@&v{ȏJk +zOl6LڵGi3m4; {zZ,U԰AjQDLǚe91ݪFa z+b= κ@Vʔ  Hr!@D[3_G*)k⅗P%CN>ߝX;ӿԑy}8y-{ %i(XiSeQ+u v^_ DQ@ubIUYy";'ۢf3/\r*d'ǒRÀ` F| а djxgrR 7h`Jڇ]MWP١:Qgx=p-G_:! Z;K#Onj 'emk:Ϲ"z/yE5قqbf-怀i8/j3+&M:aT,}ozP-ꈮ˔:1Q͑t<"PB؟? OOQ ]9,+ctQS1P[< OwYC"e)k#-g^|ҿcß!_D例P¿k{#ߧ0@3뿢{b5f_LPL{]ijpW]}w_I! @}֌ŏ!Y\5X缉jS! 6M(5$n#;ַ%n~g v2[V4w{P0'"afhEn 71Xxdf"O~"Jțmȹʕ8eܵyJ7aO-Ugʸ[&d#L1֣# 9J*}Jr]I0xP01];b'_N[ႉց$Xp{Uxv+piU8e2j̛CO/4 V?zSW~T#_1{MbV^6v%Ay\쁖DgKa 'A,xZ,ĆݓPlnC{m#w %X_^k!J)\/KRHAq;~0 "IqϠ?U+ xsWb{BdY  =j"J @zݙ=ſZWPZ|nȷ28\{/YhDIe38[}E4}W{Zyo1p_KqTs'abY1,y3$Ɇ9d6#د#? EQez"_Mp:$O7Qw'L7UOzW](!A!lǮ\vu3m ]>2SSuX n9E;z;8s9 {8"b^4.zO4t1\zCi1>׸ځF2d H"x*-5pyulL)C25hE%$s02LؙN6aBVI~!25 9D@佹i2t͙NT2@(۟+%b/cgqO$HDka4 aR% Y(yL8/@GJ0LQb &j5q٫wL(#_fbՖmbRAz/?+Z K3P'K7W\I@39ps uǩ>\1Nh$!m؆49aY"JP780t٧w5؁WQ?0GKs_Jl"̨O9F['pQGbߜ`=y''N@ryC엀cu~3N=.] tHJY0.\?9ܙ12ASw`#v~)DM]:fV9w=ZMJRexjiyph(q EhL@P,+Jef)5Pl:8`U lJǖ2+R'a:gÆ+2RW½*z^ھM$Z;[p9&Z +@ڡϫ!o2AjGu_SKjFd]ˮTؤik%- 5n&'CE ]1sCQYh>ȐNhcΆA7Q]Nw7٤)/eIDطd U4Sza']7ٶH'ZıԜ[ȖS7 7<*oc˩W0, LE;t━ mmSU2+*"#zo=!/ MYz3IVRRr8n9+#a8sdiw#>ZH3ԇmGX9©0-~Skmv4 ->%nE ng0 f8jA/¥цdAUmV7A:9AZ@ xl U[':erhVJ`.H0r,fqE 9CxͮF`ٻa+U4q,Fvp1W ?5C<%6'psd?1!V6SB#nroI_=+މԑ+d AldI) ֟ءLz[q8Gwƒ:.*R 9$ז*XC[7:u_X,2l) `ag'sQtb۷B Gţc UY{aDt[YecQheF c\ok{*m8W`h@X0.( %ީOڼl[UfTM\cm9*a${%TqWyEDo{L  lBV]R> !:{V sEP/`4RƛD `AևmXwr`?f+Ve [#EUp'lp)|c|Ih85GL&w+#/w{o `K?Z ]?aM9)(1By p7mzq W25XJR2~l#*,m^eǎCgG& Ѵh E~cUU ^ir'x{)7sVSeN7ˁS׮7Yy]p0A! Qt G+k3Zx: '^i{.A.ϾߛŞs}tRaXX:)p,MW y =\!hVOՖ ђ(!*61}@xTX*R`(dܩ=GIU?$ @ Vw] 9R|K9ȃڜIUv3e1>kLM n~eWױ (סJoZU$O:ý"^R5w NT AUՈA -V7!ys>S<]!7H{{5Nu~kPHOCmzMvg]EQ6ogYZ7zXZִF! E]ŗXiɟ1~z2Yr 5G3l˭$7W_݊;JiVf?B":t][?Ύ6J4ww M_HE݋ Il>}? X}l>H,0saP?7{pQDs b7%zf8ûC&ks<cCS\1s`Mӎ#՛&P&=l~w2WObC'= en߱7JNjmyWt?pug?~Vb8;BœY)"ϼ\-6OR\m> ! gYZ7zXZִF! ;*]ŗXi%L!l/ u:bh @Oq Y%Z ~ L$h;鯕a'7rbkJ ^FS 5h}/C%vҨ Amde)ӏv TX*gmouي-<>?Mv At $z!#j:/͐ ')D'(Rd*}J_>F0ì59/nЪӣ_Wf-/;@6pJ.X]Cᡳ`2>iϣS,>`M)I%+$R;wH)X^U_$/7Q0Q۠Z{0SD49SPXPxnK#O5j;YkY$>]8KQX ޕ@4-@|MO*3l__.‘>,¯ M]/mw |,")\>wJ2xH2NDdi$l1„oUNPLό@VUE:wvׇ~,G+K#t >iD=NFn4*q--SB#tD=8Is<)w8-4%Pw/^r2m)5лV1;u_}Di2TW2f`zstB\c!װF*C*BH]W  ك& &rY^$1WהHjLN̟ 9V= |+*59Z\ٽuY|XTuiu°֥Q itb'-l4# oܳ`yABГ tX\w=9UԸ?E>̜-PسUۀKyc):҂}YuPc䪱(YE_[phAmQ z:#@j ĺ&-M)hHy{"bDR],m!~w]^YP#gpĶ2.-[ ?s~20]Bfgg|TI*L#v˴*d|=G"hRMqF'y*Kǂl#o~ |Rd1XmDhn~rњ^Zn]FħaxB+HK-}o)Tȼ@ ߞx`hNde 7JVb/V0 9*?3=@(`@ >'d|o=*jѳJ囁&S!|)-ٙ}>f9V۽vɟK [dW$0%%gXCb!O OcI:03!%cٹ25jb$uOgIzF,05G> 3+3[RpjK]˻Rv7=Vߋ}ʁ*>&ecd0eK--2˥|!AMS߾'0%dfۓ7H󆯧2Y :n.~u#4y)Ht$V&u'HҺQ`rnG_qi"(Y e^wA81vO/)}dQŬ@PDf|+ P%NoX`7|R5zWLޕvbY57ƎB{NI웋i͓f`ߢTphW~ ̵FVpC<:\i{|cq`B[<6A*'ّs:sU2ZZePHoC6~khUC3 \t5űb":rݵ)E)6DεfjucM$]q^THgR zB*#;)ؤc uur:a|-{W%QJۃZ5Y_|v8soV|F`/t#HCn=ƂWﺫ՘ڢq]æ+8[dBCbԔw"[)G gnE.Z 6+Qysx,m-y#vѡ>iN!qPQr?U0ki;V.O$2 }L[1LNɴ]9ٝ^|pfba"rUҢIkWRIXywH24Z?OT^pW`>g.ܸ[U#эN5-Uc8,@חD)[&:;};i|y`[m€|7իCZ-yV%]=!yru񊱏\~=Hwli(˶F`_ٍz%d/*-_Ԋ)՚e8s+db^g])U͸,?Y_d*P$ii8(TKv:Slw,a ]XFJۜ5j2bUE#v`> =#o~[m`;ïiV/G Bys ʶBûMfgZdUQ'/:ʛ0[(j,DL#oy+>"rl myØ+ͮ(';m^c?/ v ?t ."&^R5u gn&_Aه[.%1svBg5y}*~}kC5Թf or4 ~%VƜ[6MKnZ7 wGig V-`"PiHGfP^5eiǞ{> 4zu!yv:O= ~xQ藕*W zDaP^4TݫF'^kOrw5K UBz$ @{]o4QA]p H[W ^[]!8E~co8ͫfZlW@16䄍V Alʫ"G wEq0_Y||+2#-L9)U7>ͤ]RFJp[g@#.@vK,1 Ahbر"d%{C3G?ħêMs*f6q{**#6TAZ:9L]  #5 .{Y3, pȌ@'NyNT[ 8'#Fc?QIȶ4O̒$R >'bm3vquRU ֔ j(y1HĻE6#  S{of/kky0(4v_@y iHruOEbAo ˗gTmN8uY; PSC WsMʽg[y}b=1)`}= pX>ߔG06)blhֳc1xX p5y [CA/՚p] iq7koΈG{SU i:%$jN^C8# /p$rp &`fd+b}Wh_,IGVdD\⧉g9u0k]/geB `@"U= &Hp&^t;; ;.K.!7g` /rx~lRѐU5#,#마sųR0|Ϝ[GӺ0O25ۇ EoWJ*a4;b) >"b"Ƃ- X0V]BK[uN6Rz3xy}@}`j=KF5qxBPL,Ym|ٕdiהԎh0J>v&,(B_{[@F8;ϭBSd[-CWB?s\a!Uq_ss}:5rMBy|ڒNLM%$/>F3V+Po/z׼vg@6M{sŏI1225]F]ƖnZ|'.T\_%QBuŘAns.(:aV^=$3k d{RXQl.Q~svm)[XE|Nۂ5J[;xP.x k'3rA(a&f?U~K5gzZN?(KgKnoDd$o?j%u5d'#ˎpUH }F-gZi:xA-8P"b ?S#exdArG~$?I>2,.?6( ~5L̰C{9 ZJ~pྟfY~pK奛R! oа8":C2Wʾj &n31s4C3o^)2/sّV+3, q|j$~9xğ(wXú{Й'̊2E`CG(Yr~eޣк7 `xtBV{:5|KUp3RAV*N8)ʵGYÁbghA0yWQi |Ry*P R,z<:<-UM Ni׀4t01VeA1vesfY\uf,c(ŒF:| _[v|: L>W&PL]vTYZNr{ 9"[1ݣ`'KGFIv4<ճ9ðQ0N]SreM < [Ҽ-*,!n䑇a[yƚ QSDW4u(vg^cfЄ|xҖ mxNxݽ\5}c4KjLqGJ-WHFެCXޚruZI.$L $Ϫ[Bb>5#*c_ R?R12Vf\uLHh4+ɬn9i `c'_dst}& wP7]42\VWwQ鳩<}xSފf.ĭN'y+_˅MvB":ٲCBwo@̗yD-XJd1~&FN{NɱK&T,#HtD8`8>;7a0B`A|r tmp0Zv_J>mְv?lr!H"G;g{MKC(fKl#[}P\JD͛\3$+ŏXvw{nNÛ*  栰C]&`0 Ηt}kU v=j1,V}5׵ .BwCU5>.l[l3E.JuNLg86qB͉1ZXg% !G4GrTI>ڿ+"y rŞl`ʣFODvwꆍHuLFآ/,a%V\/h=.N\i~qc|f7uk'~+p*`1) 7ו]O 7wPy4$foQw'1"L۞L20nZE͙c7E- | gM;wjh+gbܣ?Pcy ވ-V;ޛ-tNEOe3gI9$s{.ljDe5Me&5;=c\"!=ܜ7rRQ!/Hutŏq܃6BU)Ta^.@.jN8JuW˒2.rA}aP-[1Zʹfϑ2]/ׯ{xcMfZ#T5_"8G:|מ埅_R8bZɥ+4Pݨf$_?J> dX4F>)ıbpgFM"b&Z yل.3߈Xyē>S;OJO(Q&3G@)˾w_҉ T8zwQGElLŠ*cIr5+ɸ GH-x6UB,q (K?IX"Fs'"IsuϢrߨ'@hs_۫nks=Y} ի~dTCwezP|d,tsNuT5̟LIQE4\> e֫{hVA+858~DwP`4W#|ȡYF(O0\P&Eݦ)gtG\.J:u\U*d+)1LGg$|ԏe%3 -4rXzī>יqWzRt8LZ[Z!l5$H<ň)^;wo @E؋۝Fңw<B2-v Ab'> g)C 85c]w.pnn%4Obу #l2y0.BRtv(;"S8b6Sfˁ @?i[4^v9v9~Ev!D)C[S܅zWsFgO>^NU[d]$D DN]~, ˛ ۋp5&S9݉FU[@zí>QUA'rOiLhic߅sU%BauaC#/H}0Ge\yH3) gO⢔z$h[(kлȁC%b;.1׉b2ٗ,j[{t2K9+.'T>;HA،J%& E CӲ6^'JљyjlRHZ>l_buYS\NS.E-qZ;˳v{4yW)`7{W ;}&#DZcQg짏ֈJ QY\axcs\۾;j1yuVM6Fw-8Hm&cF5Qc X1"猎̘Ŝ :w)S,[ym݂xD[ŒF  I;%=SKMq&D1 &-t҆^RcHLE\nZìɍ|q&Ӑ}x/ZͥpU;ñgYZ096d521bead0690ba0f2a0cc93f93bced6e886b88215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d