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  r4L\ ] ZF-UNITY:threads=6elapsed=6.094cpu=31.936gc=1.3967zXZִF! s]ŗXiɟH)0%o xѮD_\(zq{r٪yHR>R< ۻZH +0w,I[o#~Ds*8xY?8ƊƛR&4p# [5<,PB  *?1k#1e%v!|Y0ѽw:+MNTM2E[x+W ;֡˷_#m|gzMK8Z;y!ٳ8W&C5 Z/NA$_H15'Ђ̋랹 hp@EEWĥM~lgc'(//9EDsF1q=&/ Q}/0Ɋn#`c‰.|r6`WN=5=݅Vm{FwmnĸYRah~Ɂ'Ǧ6@Rd4je]:ز_34dRY-:&zm;@j۵ z*YTZSOB ܺ}zpq>PF LKW<gN",Z5AzEԏP*A7Rj;,=H?neAN]ݳE-åa>VgX:akވr,FhZ؛].qrğ ģaFGzNvht10RQ*iѾ]魥L.tA/0pK+NC#㣪 @- ĸiUElL|VZiRnL) Z(ӀB%=9B#+W4?P D;}fΨּ6d|`O+KBž/ӼZ'zdsMcfAeB=(>:Eg>^ۭ7D!vpJlN!e-i]"Mgg}1Я.οTCHrOp|":fd.~:m˙7*?(۲B B`brNj\fl'8 $|;|i*Hm` !˅8Bf˸ۜK b2jO)EU$ftZ~ז#0{h) >6v ;\D<`?(0 viW1a?qۀ(xasH0޾?0Y5 ]FN>A)`'O|?Ȁ{p聅)ߙSjlXCRH> %@xK Tj1 >m}R?ܰkXt`>E K| X+glx: Y?ZjHz%S ϊKMP7[9EL' tsAu盋X׏3rVk   ZF-UNITY  LI其qtW~ley>]2V R(b; Y똊w|>g^`/ɑ(}`0;{Ǭ7/ѲIJԳHvYڍ#-C4 *Zn]l] _:  M8 yYE%K M2ݞ7B[HUmtf"% '09Mn7[DVqFRCE; (lmq|||Y&N-q8J 71jviن |5LLRup+xb/ L;'RV\Cx/#! E (vV.ʋ奔63G䝤^#UDaq U%M4+?9j-&kƔ%_X ˮPw}ewAGHS=<cd`լw'P*zDg{>C!xڲee9iX@udZp$ ~!=s%gT[UZ0 $0_Z, N'iF*f|$hF 5; eczxAiSw0`yG7bbiҫydmˑ!>tCXݓ]+)I70mmݿ]~$;U4(9u_IVeI~jyM]FɰiѺM@q4&oԒs̍|iYv6R\b8 +ₕ/HCX5)ayB罽/`pZ@9:˥)uՇpc~\j+J,FX+ՆBc&eY HzX/㣨ݯ2epCU7V)&on?5LNZi/쓟B0㓨}]9C9#-@m(x"ܒ{cW>[ްe UCMn'J2r?=s(i|vHn5/<@cqEޠ\- 48*an!V~Sr#Sd^ox5dwY646|Dq _? C"yJ:1hu~Be-j;G3?;PrtQhߏv_ }ҺA@嫯ե J.1/*a4.aF۶@-@c! eiq{] kz*伽0w_7DRh\aGӛFKOj* G&|hqZb]e˃i@4p>O7s<3!Bd l#'ߛaQk7.AaM;tV-<՜˿Zb -ZG5//lgeP=#4VVi_!K;F@)^ !v[ ٠GP@UE|K~gA$; h4$-QYxA s.όXy%]^oOmO/pSS;?p~lHsd#@pw[F&]%FjeȞNX}#4A,ʂ-ڤM)=i˟Le כ`ēgj_ |$mWwʌJEW$UTgwSPv=+xO&Ū.t:z0n\\ߥԯN>̓4JNtSO~?$l j*ZѬ7pTŁFX&Z?϶+2؅f<l{6͎ޡа/P0;7 i|\-m Vb.8)bz~7!W#^QaQr8~q Ӯ_N*W]!LmX+Dj"Р)_.qdJtbIٛBu7BN2hO<NY0Uȧg,x.y {dCoEP7DdQ9K O]qiqܶr9#`?5u3uVdmdv„3>ĺpKeBXG݊C/2QIL ,*}ik67sa=zۥP[ye0H .|9O=7[sʾp%.pft 4FM):mR-aKR(5[w/rдysVñF"1&llP)w4I̶DO'%"n{7*f_'!PTU13 Kq)ŌY% ǁ>Zmf/N7B x5qPTF(K;߸k31frs/C,ɐ$EEw&hG8A_||3מkS'f |qc PPSB>Qcx+!kg?ϕJLH:b @< Ro * u/ dfv֑ ̧kg#Z:zT:8BoTX;M`i:Ӎ%n͗3$OlKw|61gDI {6:7oP\A(%f>S_&fs#^2O8mJU(sd5̒A{<`:z0tH. d+ZkЍIxiM Efn\67"U׹;pq$!MՆ'ʸjKiSWvܼ()lG\Cuѯ/7AUJ3$S3ƾ{Aaj,(.ی ;u;OP8xVj>Rk$FnLr78pRqqCZ_}l$[3$G1C()FZ5:Beu%ZzaC_v9|x;&WLA}q Xesfǫjˡr%S_q>{Y?^|ثǞo1rE\DuDʎi]WwM#OZ[&!`o=w._>(:WSYoX{͂T f4ޞ"A%:"t~*TB0'^Cfvß踆cm7Kqj'^cS"(yhOaa:_2=@5IFXO VJl g~C@Am>"ҁ?QT5wHxѸOJF+>º@$r)[-͏v(q3neÖ Xⓦ3SJ2W ojaUu>*^:=8ID_pj:&'Z[t9g/9+q .աǧ adtޜrQV H5ȹ"3Ŗt?Fcyb*j)uE;,NcN{dˏj3d%Siؘ#v-C?6?T&"@mBӗz +CGq$np!õ9kF3堲"J+|v\' a-ǵK#O.7rL(zvJ Ǔfw)X /4H#>BtnWӇ*(t8'ꇼ,‰Pݼӄ%Xr>P|.L_G)OyY%NYE/?pu[5H,6Z R-=1ߓ";LQ!2->&q>tdI3uVGY͐ UfV;b1gp)߆RuSICd)>a 0DgՇs:.Y+.& eEJg1$qCW;Mպ}cql/-S \=RѐSw u ?CN{/bvSf6!d("%Q E`}y|M`u :OIm%#r Μ yimm; 7ч]!]viݭ蹛tޙٜR%έ)ecw7LJZtebTu%P)]Q@㱓Dh1 1ԬDKafF%bAБݱ:Gzv*JoApaP#z:׭o[ P_KW,$2LS*!U寭W\">~c;] 4gHQXپTԛY 5-,j\H7O;[&q101xX Y oby~R933zVFǂ;q_$ <%0ٽn %6{l׽8-cyКE@íw/ _BDfA˩Sp;a4r_ DRzܒ,k7})!P'[ ICԏV"*]#F4=p~g[Tr6 H~)itB>0lbyA)_0Q>m5rI; |lu$$A\1yCbqs$t">+{9 0yM8Z+v螲Q6rrH J+=xk/)O_O'T 7~Đo;[3n$2g1u9Mbq9cڕ!*螤"-o"x>,X}f%}urE`ѫ 86D (*n󏟲Mo#]%vλ[йGɟ)W_D%9*p4Z}6h m0\IKPVBc Arڞ飐:}&e|V8=3!?BUp/$)ۋKqnB_+uhKI0NDdV珤1ó9oEk߈鳲q LC!jczq7z¤m #eصdyrA4ck^ƌ -$~ټ rF&er !n#yGʨMX7uocEGwЖ ku4c㌟2ˆj݈3 ^O~J$[ʢֆy)-{0j{HhK C(D4wmHB-ۇxuuh%q~D8ulatAa_-KY5Oc kݼW3Bל%ŎT3&qƪHԏY9T5'~)Y/>:fF[/Xbkx\5?0kC %^%D8C i$\LMI.^ v{h6sϗ' if ỵ0sfZ8[okB$BG\ؘ\4,;ygvJ0;Hg8}FEI}Pf#ڭ RBzjW! mwtj1?!Ԧ|:t9իwD[Ir9ƉEHg(1I pzEpT˔gAb"Sί#5H#H]  } "(u˖V3d/Ѳ*3g7%+jyJ]K3h۷4MkFW@r2悋@Zx:)Z-o/ۻZ<#t+l!ai+l_AR q/hji>Pm(JMe[u>`[b8jUͯhɿCaھ*§9*6 zQfQ!SK.:8EYqY+!1SYQϯ Ij%xOe8G˜GKA tC4 aH2>!kRp3V<*ȥ㈉[n[{jCTb㽓f M-4B#O.e_ҡ!Qv0yCq86(g¬1#NTO^[BCkŴ(ZżJ~j,ih/r_HGpY@r]`o3DUAnB?'y**?$:$=Ԫ:GG\dK nl h}Ϫ6) j-Of72.HА8 Rp=( 4p}Zu*U piޑdh9mv{O<:m]zӄI8cհtlBVPkaxSkKƓcBSBA%讚x[<WQhO~Z9X`i̩OjsT{/"Jl rfS Τ'XFX#fM>GKԵZ /|@l9HDg0&P) ur8I·# D6 gK5,2yڻVp؁7R}d'/os'91AG$7SN⢎S'N$&C ]6^:tЄ)tc_8R>M%A}eCr"m1}=m1T6ɀYI37 c @DCRlG7ؼ/Z%qW> `=\!nr.(ZALybZ3< IyV@"PFu 6MMQe4%v6ut$%<2Yo_coqLBv 2YcetKUIDϸŔ b JV=4.ZTɦyUwX m_(Sj3D11/pɧU 򎞬@9>5 fPK-Eêb*E|ßo9ছĽEA\4G l Y. ͧCˢ58* A#}#; FJKʁXR]׽|x>Rn))@** D[ p uɲ]~؆;a|yy0(Ss9'eom9 GoE3ܡBxBy|;і.ԑ$tѶ#4ٯO__i.15//$R Y`2abXyZFiSLyEd@n^w܅1=g]?Af]ӐB{Cj4lK9]^.V|`bo*)9x!xg~i&a{2>r/bi;8{+؏;ˋnN i%2);aɎ߶K$PDEmd*x  k=ڹ剝~6RS֨Cx-Q8_XD:O?V7NKjG!t>QMQAg?I>vam'&[ŷ=SAQZ윓g?Y﷣$3iSYӕx4dqU\(P0_0kE}mjjѮTm=Jđ+Ez}#~Htb/hS!GgghPiB3c¦~Y$-\>hDll+j$'o֏gB&}koE ',u"_^P1hiLg9aG[f»e ZDl0Yq`@6!pc} V_<[qI,cRqNFxWLjLm=$|['(5wʎgRe:V@2k zvK7 {|E5L{Q?Av3se689t# x8N#9ov `n.on6eqTA:dW 9p͂fk;PHcS(!J "}?ksΤ[[O%CqbJ-/4.oT!y w$5rLp ߠfkNEOB1)z[\񙌢.ڗF [.϶os7S~; +΄728Fr{u!ȀGȣYm{KV+5 QObh41s9H^1GD&394ǧꞏ7l4.o'WY|Lז17!% ѧDR˓T T0bׂ'/@%b*;RXϠJ΅H S?-R씾,GPPe};=-^(X19@ xzN􍆣G<Ơ}JDV"[z1uROtn'K l}Qſ(~/4Z5(T|( YぐMn2?Nz!?Y}H_=$8U^Y?c ,԰M†T퍠LCmis3DKG^` ݍGs k-~DIv9%Ÿ)mD6q䇠UAPT$?uh6,hR ģJ]S5Kk.*qlUa>|~h`=u^ b5MH-iC=|bܓ:mJ_1%=>c @)>tm }3=yra(l"O@Dӽ"ևoqrN o=1ɹa9zq8.ns+B3oce$E:X۪dRQcxr =Bxe|Gi #8vtqԹ@]Ңb4&_E/+?ׅPNX]?֐41S"N ^tr0n0b"ϪE~|0єP7 Ⴘ^*ܜ_NwkthQ<'~z]27(9膮niَ0UsaCN yP-SJ6i!d$X-W8^bq¡[#F#C9((ce!NLÓN)W|^Y B/MDO hȠ tlkO9'(]T{XrBR3b2sA7՚ZhE7:jvl_hqwnEx/N(ǒ`O,, JHTX&>R$$(1v q}E]j:eܔC.lxe]jv#Lm:%ܕŏg]_~bpED"WBnbf$r,d6PK[{{ J9gv{$/IS0AiDOQ@3h@93t[!,̮G)@/#To HK+LR g7{ KrY& )It\olQ6a35B_s\cz8V *opKrs'3+z%XqCdZрK߳>C82K>"חnsM@9!`glQB \8m2&6;Bc_fN87qW`@&]/)@(T'MTc`L)ˁOX"niUN+<^\J`|O!i(SmLBqze9RM2%pP3֞|S׆AsͳZ:j}Hb;3_Uk~ؑ=#Rj/2 =mv^J4E&=@qZ _w)%UVbO!l=^?3U7[8Ͳb@|̪M l^?/Ջ3g t4N}OY}RoG]ndG *caЂnYWTR\B@k-xW.$1Hgt)QH^N]. kp5N"{'A|>`%T* RG{Y53 >z[ Og]%MFhcj!Tn.eΪ\6,9oZtv+^$.SǦ$>|/j3r.n[Kee3ًNOt%6zfA%҆#|kcqi=}g>ga>ϻd /*44 oH$(s]b]ݐw^<;Z i.53}1[˦"9]T,E OydYD b[ Fp]LlT2 ݎmGv08C$]P7t>ua6-^f>`06w'4*P`2s : ~ &.I&-O[Ϸ{d[[uE܏^N` <&6LZl*QļC߷'@Oʠԩ{XoZ[uhmC[e}a_\%@ [?PosM}mKS/>/ Y'VĞyq5j ,w(,\)".>g{̂}SYꏹe h8oeHн' (zuO-\ӈIO.#842صu_܀tTI@6@.&€0m&a7Ê n[c \eR2WCs""|p KW`<&E!ҹav}v8r0@֖Sb%ſ-P[`lqm躹9:Ȭ2ϲr 6DF*oeЉZ˕Dx rw78lmJB{7K%mDx~=Ęh.22uoA ^d*K  )HZ@sFOCv(n9,^-T|"j$ }đ} IϬl:'zeg -eW,Sd5Ǫ';0z*,zP{Ea楓L/B4 \5}c}FV bmF!w |}oyEd[jsk] y% )+qA~IgG4ԜƍA[o&UNߴ+{z 6ƻ7 <|%qMl$a}-5;VެeEK5:t9q2Uq Ÿfyxw=qJ*Y)9m)\5t:VWŰ-b봱;?6vY6_F.KEYF_Tnƒ X ckS=iFWr o{;UώmgV+HoXrƞpf<M%٫,aL"\:$ώsQ"qPjuƺ4wub^y G0i!Ey +h[!0 U x{^]GlO:-1ϸe>a^ }Ƈ,ܣuA],ҽɷ fK̃Q*SHng0B#{lp} X}lb! F4 K{J/m{U쁶Hjlb`Cq_J. %5TEhHlVy‚+|.S"mʄN0\'o$)*~kOH;Y 0˟ڲQjQ1g4M) kM(`O:şӜ(DF[-5x 41H+)6) @X#|T`ͮ݃,] '((8sZ(@j$dqvv$Tusjzzφ \WK Jd$1Rnɶh:oޥq}kx/GϺ_6dʫ[uo)t?)S:XFLvT;re^ ,ޠav/VoJl$`[Tk$?2z]ҥ!{s3.c^oa=|Ю嗥Rocѭ~:%蠀Tu׿NBnr'km16'^0Sr*D& R  KsS~ve.K?_axZO9RS2PiF&!j)ׄӝ&+m~E \E/bCC֣ej#/:Y0 ˖%`LgU WA@:I~U`GAIsLq h"jM}K3#7ZG9WEwtt!9 lnj%/'La~h@&ʩ'ݏfb%TAٛ—^U\p~_c!UiAi|rtSOgB. 1ee/q KIXēd+7yGԊ;  RET>:QoR䣺}%&=`U|2r<Wu[86k3d@l:rݯX+؟ӗfE\#)H&۝qer[HWxYҢ(H ̮kb$ п%zffoaR$dG `*bߪ-9j&蹳S@>uF#YG:r*3}vG/PIun+?̫嘊ߣүnӮoZĊՕyd ~]h.LQ XX.(0x VE;b+a#zUAԨ79E{: uxsDe'_9L'"W$$ۦN=niHp$nt JN##PdVk2N ܟqU)+{#MBcŔ?~w7$a]fB6P]&i)# y$*a8踤Jݍ4&I3NiVw ӟ5Cb «g9#v|.FgJo41H19XwX|í~MiOAkwb:0Cw g3? @m癗odcA$gbDǠ]P$pBYipAO=I۝K<$%Ais$2 fC)gS`5& HlCr,k94&^M\ho%ʣVU0<h7H~agOG*p;Ǜȱ1ư+26Ye"}핺qC\y݌]POӎ~&Xˬذ[)0?HӟI|ywWYsZ#]?ӕ1 xmr>ap>< P*z S _6l/lizMcy POzބeBG,sdPcKSVK.})/)2=6ĎQ~ s\t"),TJ0H8A0ڍ 9oF{ Ўk81ح0!x5Y}L5;m*c5{fb8h7ϑJXWk: Bc`@IӨ*!)wiMRx6Ֆd@ԛ)!HV_Vh.VgP.BO>uKs.ZlBnjȂ-rljc(JЦ쁺 )CJXn}ov.KrI}#f'm1=AK}d06g_V} UPž۬YtV/uz/mդz֩c،#vBc/(j/CdW7:4!VPKZ#R3wuQi/C!/r SYf0#χ gߦ^w Ss{%SSI}`Yu݌M<&S7X=g`͏-.} &!ri5BeuIcXǑ{QfN eMYqzDNZrm x`N} tV퉩R,%y*z{YݜypR~ȡIiQ+1K'ڪ8E]<mI^&&en'ǣj1SZQtDo:_U^`tT|`Ld9I-6튷r()xD.bn7Kf`QNM;_,@wO 0xZ~6k]Qg C90s;EXG@,L[]o2{5La$~Vإ.Dx!GQ"[*\O 7&v㖊dt>pJvG\e'ch~`4)uNg` SH by4*^mlnJC©dU\ ):RQ.Vj nO)jE*L^P~,hr}l4mUYXcZ4(ȺC49hvX~g23b@Bs"괶Ar6#vݝqCoާsL!ƙaX{RiZ49@|iTY{wO\yP$ߓ_~RjuY7x.l*#tKsǍy͎x[": }K4XNX6&>cz6Ih'@BdMZݎd>ʑߖDo%lc)2>D5?'љ7HSU*Fj`$V"β,/R-#NšUS|a= -HrYیK!Eѻ0aw`M>)SVeID@[6/ + 2#_mGZ\ DI.6KbHNB)+I_ϻ!fvEmyCNYZ kxzNfHێB,1]#&4z=-wgMӣӷGƁt[~ 45 PmyFgIq"&צ ASnUƜs6&xyꞧQtUGwT%ԜtSa-":xA2a o S}oH{הmWHZqJ|JV'&/,S-B Ⱦf6PatD NT.GVnLx&3]*֊gkm9ⓔoyb'oκ:a1'0{S/*]W)/~`G@G3-Sir KK[mȾA vohsuH7$/۟d_e:Rw~[㋝%~2Կ ldGVz_7A ȶ2=݃M޲H|J+}/M*D`{:l#\ZsbybhzZ{F[WgM_O zzc2bcIף1Xay%фjwGӝ]Ѱ}A  Y10Xx~X~TI WՆɜc^e;= :O歴usbտ^V:=ӝ(@ˮf]RvQAqY(r'xߡ8 dͣm{ j(ƅS"F]";+Y5pi bt;k)=T1]iXbP$o\gT Tv.z.ޥA!R#4Ji3:. ܨ łbFjIy ZCy5o)w,mX3vL^O%NY^B$\N7otx ;$^SO##l9E/BJ[ |48&;[h| |i5Y uq2o¤@潫Z WխZΛkUqa[ʹ:_o HNcKʏ%VH UyMk)^|>/U]Qݎk-]=HLXhYCPIMPFd hg&G=ĵ<h[=Uq8r3]}&$n[<"l1b8q:}5gV$DvaEy\z ƑY2"bO;K3y:4ţ-Y}|2[>-s|@`B2KffqqmzMW+-Ɠ?-ڼF 臫!cɔ{K=/8` `p6cZ }J.|TԳEkQyCwQ~;./E) MVaĄ)M-OެӾu\ 2KU?<*)+ Iqb'A:.N,:%BV̓ ^xi7B:R vVW}t[`fe| z74;]%,Ip(V ejl>/{ڴ}RD`0Aa'ْ;dSxE)w4Aci}z R=x<ɯM1Vd,CjjjyCAY+V~Ǭ³{:*ٗR 7˒vM~OS#G:@MDޔ<;޹P5vp]jmZ pϣ8!;3Ϙ5e\6OV^ݺ9 (.!)=d q@^xۍ1{ŵkOCfxUkԀ6B TI;=&.22NPi;oe _Y$axB$Eޜ4̦A?xG'սKu Mr)fq!.0#H-spȅCX6үeAb"f5iSfA16]f5ino~u@Rwfg~3re!"7  Ć''ȶ 80d$сN[on#rsHMidH(X2 A3Z;W.6޲5)³^` n"A)rZi2/2eDRtb^kajKA!*ehuaPEeщ}ǖ'v ^LnZ)zoxEʳX3Eg^eG/8ˀ$ T"LK}|G!qT58 Rq5OdͰP&(c9d= ǰ~{,pT|dEITVba׸KDj|=68"ڣx4)'3/hPx9 /ݘe|vH&(|S$XYHZ9|&sqӬZpJak;,q:< GjhUfS&#90kg$8# P^k0,ݒI*O H?CՓ˱}TU`^<Fx&l_>֝>tRJUEjqP)&X| >~clQoJΦEcQMI[S 1LnWn\X[G @ƥNAǽ:G=k<zSF!O2 DUa"}H1|&ǩ|laִp%"gvi˧qH҄yvpUc۴GGՋ}۾O RB4)Ja%T}e":@n␘reWR fhH<Ӻban@0t%>gOj z4(,>d5:c=$O=3#Fkݭ _@О{"Ɏ5$WpiWaMYƨCTt稏-SG 8Q䇠Xy+ 4iՠ,B ӇG޷\Y`rfc@j*/u$e; hE>~ i_E?P9#͙;n<ٸ|T}? 83?[B3~4({ͮ-RzK XR>Ih\hv ,zA\SR^4^B|tRH۹Pj ƅRj]xjuZ* !.$ qJf H_ka8rNX*MR/ Pn^MGG&ҹr~r P"J=LX)VvhWn}Z?#ݤ.1CuSKmMnvlXd$`wޛwݒR4":- $]>*)&;Y(#!Q+JCm.n)C=oV7tHhJAd6q`wW fܞV͑ L|OSn;~XKH>~F4i]hǠwUH0Pϰ)L44Wv1F8TcK l5[A~( \O Ő-ʯm͗ɕYN~L}DaxzjpYR הvذ&Z0`ݔ?$-h|ظ.zEug~*0ty/5^: V~V`YRc-?981%G5j 1 oWQ@}=?;@|\Uz%%^?9/B79K1%fϚP\zm𧷖dC5ef743=J@ of\9eW߻nHъ$~z[V۽cmz$%*&BrpP1b`.SXk;ɶZWbKᢧuM_g& ocYoB[vn̤ǘY'vmBWU3%z2x{N/膔X2†h]#8{WIc/ X{n}*f`GslĶ2+3ErʙR5ܓYh%TZDI}%ϹGh1G +WM*_os0Ǹ}q7JUexf2f@ZԛcGd{ lcf>96T`z;wj֪f0 VJXTDA.KO*k\l4r[b"]WAo`}fg4rݭYȤ|Xerj#?Zu4A5z.0 iCQt&hmriO)|z⌿*@x7M.IYJ}lq)%- i'ԡ_NXq4&}3ouVC ct!n>o<[ Zz [@Tpe!}I0[勓ꚻۛ۠1tj;X?!7 .C4 ׵63@ ( YY3`D6C(\XޭOkdEiئqѷV!QH?AШU){XtӪ6xJmuǯ\,ҍS&c&zJq3?p{L_xgƅ=Xy 0!V_hY;}țҎ쥸 Y2?{5O) 7NF9)1ob)b{v N_p [ :}+3s{c?衠L/U^U&WOV/!@ j$'$NNQ%Z/ʑEIWg@f\1kr5*&|WfԫH~nD?vUrtD< v.ՉIFm\4G^Tଞ5pB&{Dstq5.R[U7e(^pb=UN!(_kG$\RPEP bGHDi*sO DǶRE {Z"c()6YGY",雨\'qq&IPԊzJD8 ylJZkfXgڻ*_6{?>Z_ T)Le-3^.Wdu3M3a7hIUzTZ˕ Q6V)_#8>m6rL}lmz^a'f˂,/Û_Y`"~~cŢH/~sID*K(ZRS:0u7y Ǜa]o&2*1U1YT5فGD̛˙UZ_e|cD\.E!%#ŸˍWeVGZngo ?m*+. %wmL)>1SKKY;_j:K$UDOfhu0zo*"~_&Hr誏 ! zDY1W.^h7i]lǣ&lfv<CX <IeFjfxTp$p=NۻuƼT&,}L 'HZrm^$Ս D֖02ދ?/ƞKI$ѓ5Fy h++aӕLR|X[)Nц #/WF 8Se3Eպ!.Xc1桡ƀu脅v)N8lIiӄu޴Ƿ^@7$&G"?%Q)E4Y5+I5yS /(䌢2Wf}Bgv|. i!uWth9\=x'2ɓ!y*a) >P0ߥ7yzP[Z?êm})R2H?+A\¼8*pk6RJYAoDlek2p^**RL^qX"b-U♈O/d2s͉2Ff!]q/qR'cZ'u1T[8%!6B[n*=Oeh8cn %9lL2b/a-ĝ=X>U]/E}8/١e&0& wă˺Lj#W@F8WRvfrhsv'S/r~T}ŜC{btz"c`5ꈕ1JC[/):REpږP+#/fW~yO>c7}7Df+|eÕ.+-r/DYuTAZdvi>yc$-z}\6\$0 1rY g֭$~̯ hk] 9 B<$鸘)DHw&A]޶99BLn'u@+ S=6X`M%AE#QPsb\3¶~ Xz+:A gbizDKXfF<yhl}8ѩ9!]M1`P 睰c" q=UHk2Jbn(Ȩ@x.ro#qosRji7;ci@ŵ&~t4ЛgW2N6ZÜՙP碽&Sq]el&Xhlm$EwB .}tQб4 )XAz O`YYoWw ,Af8`"\ < <4P]Eid7s;?v%o$Zh)nNGc;O0tWNh =rR,5Dmwp ~ޤX 3-ҎOQ^6۠#HDVً%#HGKFoFQ|OUhb\qn1Re٥D aLϜR[!LL3Y2s!Ȳ,tWp8EEB /mv/]s;atF/)yS;hW[vj#Ɗ_7obr\+QY".5?D%:|‘_=}#<IƸ?Ad2 NvI&}S y``=Onin$C8;"mc#⣋w:DO 3'R* oob!BQ zNd63 ̤,gٓHUQ}P{k?Cj7.e?\vDR4yL?? 7jI.0&}aNՂ7L:“tOd#= vg']4g{j &j-fN#au8>^ <ՊZm SѸFs0rd2a`. =Ȍ JF] ,]1]PCJ5E,.%R:Cݕ 'ͥb ϾuS޽YH֋ }}-{'+v\j4.f#M6_c YY!C?<̤:U>CiJ`D˄80C8Xu[4ä́jB` rP/~TlNO IM uogı~AΩH">J2Vo0jM9"׽ղ5orP> ϡF R-7S!o'[^:ߢ!!_FUbcS]$c)0U4J:FĪk8z55(-*Pi<~}&t{} % -%%a}ͷN<30t.FN&=<ĿkF4LI'ؕ'N *L)ZZ$Mz,u\0s4v(5Q.`-TmՌ*9%?Aò"?? rqV69t&j+C=bY 'a'-ӕm;h=Kixa$co>˛_% 勍נ㦓뛞ABEϛ ŬSd#+pC?XyUޫZwBKNl9Ku ? y1K)ir'Oӽ?gI{};7d~m{">nrKG 4$V0*oF zOtIE*o#&ꃾ$;ƾ&?Œ Ve |E'vAWc@';)ݵlj2yz=(4!aX xƃP᭵JnyR Մ0\%T@kO+0q]pAZ[lm8*]o>0+DeIP33D vGHF*Gu8CY)pƦ%KИ45Ծ?"Dc\wD t :^SqWEMYWSҲP8)=BnZ>kg:]g#.kE&O L!U+[#1:b%;+bl%J/6t2{ܹR)_a h-JVHv{*a?a}%z"m(]8 LsEo+0B|gYw1y3UJ$AUSˮjڋU+'E^i../yMY8Vrkx:["W ءa9UCE2pNIqdE_ |%дg 0ƖO閄˒c2 өJMn/7鵆]-L5X>J qGj:R"+U"Q'8qB"X.!ȖVi$,՛WƽzwqW6VXdڷY _m~3|;\_TYٲCC8/;6f%׈q oz6d>S{4o=#@ܠ2v7Fu) /tQ4g29JVsw(AgxJHi3Caߠd{ǷEX@:F HSmW鋷9͵ǞRVɠL*K@cXHX܉ $zx:IסeK E~4+;L.Uq"6K8k %A%Ypîu)8Lz En&&}ϲ8r "jd& ڷh,|}PZ.mHʒ!G:bALWqzqǍgWeUȷ/H\ٕUߑC3;TڸE(Yh 5R(Vè@H5x˱fs9g]dus pYŠB5+TRҡOLe[COO`r]0~ roX/io0NH!^ T4ptصO0Ô3Mjar h$ \)…oj>K>P ^Hi\NsiUzԥj,*!]c":J(> (hwkmm)D-K-$4_ Ls7on$y6Qa\yH ߫.+;rpա-}Bxd :4!&X?&l#h)2[!i <1 bDFmH0Owx^;ea/jF~JEjxK 2w'dYy+EvFW69 :wpiEr(l)9\~Mܔm mTB!p[+ġ,(R*!څefˮֹ\,)| NzN`e{˭f; :|5l~<0evq']/dY4;&0m2<Rʢ'{A-IÝ{I171u',nW]T-{7PVH;^MC8!mvhEW>%y) +($.(E6]Ez%ϳS'4eVrE]xuF U9- x(ZhV`cP9p4i[w?9n! ]gd]ꧢϽ ~3aR(@vPc KP9EJa S8|E/ ČnP_R*#=ՆF& v*N@n"M9;f'0eXµ<pe׶5X]5Gv2:~A؀ѓ פnoi39,[`iar#a"Ϧ~UC;ZEt_hͻ8B*$*UTBⷫq[6ۦ:T[h%D ;F6`Hyo^((40LAkf=*Ik{I(ٶ;j%e0Nq33 fId&e^FfZqnRݳIf]oXC ]#asYc^PIK)oܤP)Җ(D n+of\۸yy?4hjnpfZ s]uTX#<o,"{ .1"9>sbUsl"oTpa\Β\lGT-뜸BzM}SOg-nSͯ}ĘZIw|PSe1Pk}.x K>ٗgV!꼢u6 Grg'c(9 s68gS>݌yKvqemgΛOxǩ& @a"MB H"EL ҃a7B>%b.[56Iݍ,\zZ%.8}hzFܙckLz:e>TR!9RVXo&֩))<^u j*QZiW_]`>,@G$a"q $ $,h31JgQ?,IL *SfVΧnfA_dy8Q!gPHf*&^pt~bjc BFTGo1odj>R8=bciٞg؂? p!,֖긕˧ 2 Q|'۩ů{rAYM\&ūNӢ F {Hy/G.U Duc{Z^Gt)ڒ(j!rc%] N<_:Đg+/N pLEjX:V>&x5!ʌlz6A-(*ԂEzX8ם]1X_?L#m`.),3=LvE*DLaT"2 {q0kܰg/ebthu:<`[-~=)~ ISa$Upl;0=N/B4|P(`uaKDvu 1]<6hRF/L47H0X>9u[ǼͿ ;VOtNlN"}F-`ظUcI FeY ,lY9ڸN qR=͏fbhX@k֪F?mh&-cD' fa(V[zH8Xݚ5l#4!ӽ@՗+pg褧LIL-b57atj"l^Aj|;v 舃pnFW ̤S<*,Ikqe;)(+;>đא{?n: Ǻ fV8ff[.&;}jxg!hjg^a%hXu?*+}DHVZ:m'"w Z05*PE%şvg;1476f|",yHjq#mU8 Qxg^/z|6]=)1·d+ NHYPxfi+{A?OϾf"R=xOT_!f|hpIn?Ӟ kq/:<EAJ/e@b|t[sy*x~n-UY|iǸƭIz(|\#A4J;C#̝0QY0s@*ƷX.R==U8ߧ^%ۊ 9W 5;SHBݥ`Be{ʰ;oJ.|}n Vx_HsQ"mMi RͺibUm1MO}dt}euNJ?^ Yi$twc>HT'ӚnkDD$΀82$9.fAHꐶ!;@!%>$}JS"P ɰ!DE>}ctWa2ٌ\t/L _4BlCf {dg$Ϗw^E6|?\*p/qXqi_iX> gˮ#,%]Ʀ&+TPnF[- L,^D1x]lC 2{^1#uo M<mx ]{4H(5.^sY\.qsBEѪԚaEKgz#jg0dQxf&QK1ĕ0#|-&"N†oR }HLr^Qj2'~P]ԑ0>Mus4R_ݕ(G_U-$ 3،(k@qze{pc{ҢFK44pX"FYU%nZ9`g ("T7MRjKf{H;z(%`/NXCpMS,AT8 hJy;8JEQb603؋Lw=~=zڻexqM0,ΉR7||cEcgE BY Uǻ# tc݆sW6'.C橅F*ٰs7PMr hAM ulp(,yDO=LElrʳ cB={^/bx>,]E0wk'<mn6 lgYZ7zXZִF! h_]ŗXiɟ9 i:4V;}A<<ګMP7j9t2&EdNg3W7DV>Z;T5ڈ߮%Ddsah ?qB1l=Dhl|#\¿vHH?8l7nY߸nPMmGK/&0AOV}ӟi-RMMmҔh]%b6'Xl%$ӘTcR%eG ]uJ!+j$q7+]*Gt57}[i6CV/(dq=T8R<ǤIXqkV~Z/@?cz  `gYZ7zXZִF! ]ŗXi%L%)V7P$u~l* c#Ok?™kD0Va0{?mf}]6rfhx6elFa9:NJ`җg&z(͠A2kQvdB[l[d_x%Rtr럖rR?mwIҺX/aܡp  QN5Z{W(hib[o`,/v&Jޱ*'1glp `-!vAٮxGIH ]F|<'8@Z}~jUdP[GQE7S6R|)+UPa3Ka߀~nFf=o8/sѩ:9r>ãtG0k ^aieb3 DO`o ~c)/?PVwkR("ܩ CNS%_vYy >ZYJ+&n7*`ȣ#8GZH?Rj IUT),Vcj3f2,Ƚ{.q4kg:9c .0W|e!X@ooދ"Q9A@k#~i0LW\ڧYYFl_Ō䲗P,QOh'/lTT >s Da(4:OAq:հpt6:CP=0DcnyT< Q9ߨ"I^$\EM@Y_D-W*=n@m32DzL'1+|ɥe=(ٸ _XXTuG0&o@s=EƦ1BN~,ċsiIjk_vޮ O[mryKCTWNj쮎 cL CYOđ6콞 *pEO%ov{s;qgYZ55e6b5c944d7248e6d4fa899b7cc9c42c5ec3dac1c609249c248beb27845e050608bb1c731bea640 c85f33a657e956be17d94106a29ca3ca08c755cd e83b4f69e1327847bd1dfb56c310ab5c3edff800