SQLite format 3@  .0:  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 k1,\< ]% HOL-Decision_Procs:threads=6elapsed=214.072cpu=987.680gc=90.616factor=4.617zXZִF! X]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1FmXߝr{{*(V}>fxAJ+BL4|^#N. c_Eb'L6 )5Me4}XɎݩr3EY,{4#dMREܕLrVՏY0@J6C"lzN_YAR@DxMY59 Z;)撬6)˒c,vqH1Q?}/YHvյTkԥ"  1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ w_Lɜ<_=CvkSj o˳1NYFŶvb0Ѭ@됩WnbH2 T:%W߬?k/xeWΟab>^W +Y@69hn' D FP|s0 64nH0B^h Ȏ{s|m@jpp|7A M/4ys"uAj&)M .M2RjW+ yV1.9=*?'.ixٞ̉ZuEjv.oc8ZL"(aL% .bp:9zn-!I_U*Nȥ=C6 |n+;3e h|4q<`#YLtg-Fnjx]t|U j`) \7崏x("`ZIzou@%Uu_兎jx /x[7$j޺ywLg84ƢI&5kaP&<&*OxcE֌Y&a<~sX3*2_ڒKoU ,x`OZG' # mKqfg`,6 ~.FӼ_D]QK1^{sœFN~Oo2+rRr-1qNL5ob~o"D/QB` P`[^0b̛&ϜBwW43[ͳϵEDm%\:Eh/"f%N;36"&w"BMv3xHtWݖ2d ,2ݒ@RsXoD3O`/`GU;Ĥ ̗d8]s( Qiں Mxz 0s{D gtE uO JEz~,P 0&]WSX[^cdb?@d]j!72ZBkMaGYE9oޟ3^brjmGsQ Ȯ2jCͫ.mI5Bd!-<qMxnOU^[ |mK>WpOS_Ga ;V0C*"73Btnw"\1(7=,ޙq7z)yl̨U2E £#aH#Yqb&0<ײ4~;oyA-t}یJS./%EtU ~^ChIhɪ/6 yt\+/mCi&'9 Ӽs{uuD"!WetU OLjaHU=IA$5W6Ad'f81EkK@{sfzۧE#4N<^x4"źlExܚʸYa+Fnoy z[P wrQ&^'30 gEa=*akBc@ZD-LMyeTb$_A!vBLq!}_]E>%o2ČȒ_(Ey_đ =u!jcHRVqhk8%ʍ[7NPa 'k.L LDzKS?ŒwZߏ:qf)/fTn`N3r)y$tjQ[z_ܔ-@ ^h7,|͎‘HiH7)+t.yj#0|4 Xd78UמW pθc+YK6 p }E^|U=)V84N_?ϽdA^^Yl@' Kr|nE"^;a:G"aUƵ"䮍vXIQ*"9~NDF.5'g1(,o>3!Y}vPEZIp&/ɇW! sϵ\Y*G58G(Bܪ8|g'{7$E3, JFM=FRDJ𨒎 2: 2TiS3xO%Šo &g ]ܩ#o.yQ_v LcJoT/Y/M9OB9@Y̑EV% ryGݬRϘQ=8,/tfX!BN)֎VWuԧ B|S:._ k^:o/kp 8<=HrZ&jL%oc1L E5UxoRQ/ O⁀YHgs geH4_S:3 /سSN U"a:yQjh_!:^WCV>_?| _ !rޏAV)oU0;"@9UH aTJ/%XVڪ5dAlGۯs9P={ p737:"r{|Rz}"t|I#|:}odF_ F?&i|cG4mW yKDXD-b.mm !TG/M*]宁m܁FwvӗM0t-qCoLs   vy6xx0 恣7,3P9hPZH9 Z W\q/~|~CGPlN@V= = #A#>@$ ҉˗T`p _ɫSY,kd";!n3ot1vM5xyߟXl3[ޚ!PLu?חsYz\20`Y=ݟH3zJɌg9 rMVCr֝ aۨZfcgTE׀w89;X^}P THaZfܙjw,S車oCb,HBF #O2Pf?rWt>e5CDJqk+ɶʾ<;ER VRp:N9 ^#f#RUF/߽D3V@L9j2 ߊq³QeDlh)F96 HvM ˜ڛdDmmÂ2V=W!-RX)גQ7-ݧFĶiZMR+NÀK^*}|n1mü KWX{s tXk@@H6拏NHyv[)PN htz['TMPaZ8hYF[gG#%PQe ςЗضݰ5/31Ӎ[z`%KJw0gYD?2:b>jmЩ:J *z{ # >0d%$V5:J_@bڢD ߂>`8zPqP i"Qϭ>;M[!BNT>j9k=m#KΜS9-$YFY;xR"?mu>טKOCU"Nʨ} 5_EnyZ拁[B#l7^I6=Cѐn]w씱H".z 0߉[܈x\ySL>p/f~X36智?PjorГT]sZÁJKݥ6ؓ[,Oêj5-#t~3ַߪk"#ݎ\#y7(IuiC9D- )ofٺddYeBMeiAuV'c+B4{vj4_.4$a$_,1]jk Zv\QZk_'gte'aL#K. 96^H:=&?ҳӹ߰Xc"YU䥡H&$rh%@T͚jtV!Z煟 ?~NJ+z·@T)ȸ/sw3Lٴ@B*o9#GF`#BV*B1(e-h`|*̶6̩צKW&3vm(jPў`Ҳ[O?GqGeoBXGys{U]G#:䓲qŪkp b ӣ kѴ2A_dSCϋ-Qz>Ĕ oT ֩& K7A R5JS7CƀIE}n7(mrK|mSrx7l(L쫶O!< r"~e3OHu4vX~#uOb૶S> RM DpPfΞ5Tå` vbiDD yP&e3\Y\̕WS11N;zo8•/b._dږW/^cy3 \y2}!Z[=*p@ 3|x7^u:ϡ;hQVƌew)i$շ-< ʟ[j>,JR~^! :r/f3YoPdn&wZPY/I"B&DiaJtN8X.= \1pC餢&Kzxl԰A+X|@' R2q?9yjKHծa_LޑbF5eLփw_Me) $ <.g|֝)̩ƾLEǜ{o+1]m2O5bxXGG`rn]jjRċ0} AOfTlu!뉽:j]":O-@~5'j>ߍ&p ȳ`&vF,jq}{\mCPhI5M~nU"\k1a7@Tq睊|g1}d6?d/tǦP w=n5I_u J>7ReQe(p |v(RH˪7>Е(`tp5D,L, 6N'AAo6.b\Q@lqT#.=ȪC_<AV/1E&h7[oaG=̖ujعCg V|G<ܛ);Z½a&Ԝ"\GfpUW:b"L(BEߋsD0I@@ JD }+s+k0ȵ^S fxoG8xpe\IzM#؇.f_9$& |%Ns6o,@=BҾGF5 Bp%?2Ք_(eJEի+FJZ;:k_8ĴIig>9cCC3+E5K~fӤ70@,;rNapKI8 ;;G)͝m jRC 6&)&-ύN/ o '/4<5W^X8BC5$V(Pl~ٶO![E oOB\;RZN_%.sDb`BDLK!W!Z-ld~8}a~ю2aqDS]sA$yqtr߆L7Ee•UkT>7zgaתKa`}ͫ!ΡL!+\T{i!CTD#ED#uoSÖ+:l)OUmᯔ Ưaw:) e.|9E J~͢e8wLUW Cȯu}ETY롂X3"eR悇t,XKhNS.nѻԧf?O5 `e1xf&yCYM(qf_}&1YtG c/M ;QW:k"߉bU^=)3Rw? H׋|rA k J+@G̳2XN:x"B"KpU`7,{w}FKǕk!C=upֱg1Uٟ|XUz!/qc*XAHy6Qև&m/G:a5sŧ }^1E,T3V~˃N}c[e`ŒAV&-zx6k=$d?l@-M1] 8Pq*Kv}>6MӃ5 ]ncfyf?ՌD?*Tv|M'p6hbq}RM>΍4N73ϻe) ' wL)/ yNikt{̘n{]| bX/fB.laҪ :8̵4O1.Ա/L~l{fUo^\?W̗(DC2Lrt ) O6ʺv@*)O?vLMCdvMJˤZW&k֫"e5!"o\I?mDeiy\\?hM"$|zN*ZNS.,)N>qD6+>t+q$j[}_A7 0O%lO7AO=ETkҜ)T /C%!SӧlP0?Fy?~>riRHd~IqAµW nZm\Yq̻K3l=]F. z]` RIx;%k_bMx՚rG s&n3#8y|/L7=b>8 'FEp]ƅ.:;&>D" ew2sS EħHŞ#y/*uNeriP"KA$;ˀZߤQ&z,pnXm^>DLqgXD!))hHg2n8>6h-ZUɐ]-t6iLw٬b}煱>~D X_ !g7,HB֓X>Ѭ2(|3!?)tdCfFEFZZQfKMZDəic񾻳X)+ a8tFn\ʬcqbqyR]Ū),*t8)E!~wlznq|:u"R@}Pyь\OA|##Q/ ,rq8!4+7VR_,uΘ }3_UT[mJ7:_„H l+c)\n)KKJ\kh Zګ=aud7"!#72^K]N4pi5H{\Cr)ߥz Bu$x^,{k(U ^hLSUt2wʗ3-X oP?1XjTtAmfv;1Ṟ)3P*bPkuE>Li/8 5'F}kH*ck@ֳg$> 4\r/RoVSyEy q 2#_=+ȚޖEp mm_(bQQaKq$9 j R+7p-\ūŒ2P棔 \-X@uU'3cg Rfdkj߃Yo[jZFE(s,bD$"=Ҽ9*R* 'ɻ7aZI_2(/诐30Yb5 Ӱ--f} sjXaqRK %-\{g(:6Vt4|3ON 47S8;@|HGKH I vuLaZ#'5._؛—Vݎ({ηgOt*8:1V܋[BbpMZ @A~N9EAE?;0Hc#šK⅑!B!S8?O*PqϾ5ji$lT Rᛨz)S=7Ȣ.i749 \GGފ(^w E KBA%x%Ḛy/\Ct+ 9/樏P?A;H{h*"QB;pf|qV H[AQfl(_9 >һh0r=ޏT8v~' -lLkE8&:jXz;)j`v+HyH5lk|r~@id 1!M{4;ȧ[jxR]iRUqseJ ~İN9]TEW-ۆSJ>V;ttFFy&Dp6E@ -MvCN0uW2Q>Z;H]2G]rrxR0"QYkTB4se剳'n7Q[irTH~FĘ- }>˭\v=\\vbn ]Jָqt{A*%_Cd9+&m+Ȭ" u&OǕν(a'FuF^^6r8I,x'a-X]xxχH @D AhKءAlZ .G!*ek- \H4s1 m] 7CyoD, \Y u&>tYWgP98X1yYtw7hJBRC1j: f|AxZkFwѽϏGro~Olp4L,50{. Op}30 pKX0?>űMko"7Kh`=&A J@L! Ry/w!Mx}`Wh"%]hC`Mds0UH%BF7&2+J\#,ΐA"ITY+QA"DjS.22=>NcBL]JxYgmP'F#1cʧX xNǾ32cdp@C<"|6̿i7%>IrS<:Sdb&;FJqW?8NTGA8IC9 ţORx_`( ݗla 3$<& D_K4[b˄#Bi}Ka L8~06SZ\}AׯX{xWղ&N-"E:p]x =O]f^^_-^}eq_2R%K%ՂŃeIccflma@ fOv#4[ΎMuf$Pf )A1]UB#-L k;:LR"X߲$S'3!A2m-hz\z1%R!Tfi&<;2##5 GPYs9m#m#O[C ?A|5N4E?MLwQq9Vt)_Jxsz2k?3P ?(޵C`Tz2J,G:׎gBsz fєg(;J{mJ!bsRѲm/iʰe%~)X7"4KhGͷVm-(/: Ό1j3LtP]2 bB<%hC-T?gix-ʹWn朗o,v۷sM~ssex@`}Ϊ}TPk uODiokA+8|d^ ~* 9s*;J&Aˑ#cnմS"v/9VÿJ䗎дH9*#ϴt+k^ Qڡݖ݄;du()*3G (+n;=4ؕUH 2ueN'ht ۚ3~y oZwױB40J?4-Lm2݄TM2(|R7w h0y#WuCsiPjr |;uU\&#[|S<P?ܮk֊HͪHSDqpok5`_.Ϡ>ITM}d\ a䟂k6-'L- :0"c) yr?9'f8A.JGO6k;dwSdKh]y?TUw9~RjWn'')m # DFAP\h<l/ \2oNe**wىJn8C6(GqHL=x[17 'R.JDQ8U5@~M+;3O>)<ejRZȣ @"XdwC)$C+jK\g4 .'iYX{W5MNP͘pa?Ig_q)wP{Ô 1 h|L 8 yA] ĂaCCviા(a%VĠy9ie ՟AMszI4>3Q05OoulyOҺ:"(R&ۣ>wE%#:u90ݒP-=``?L'#ƚv]m0daH RV[=Rh @PBไ.((MXZCDH5t0 D>3R?%p23i.Ⲕ!7m:m7!\|=M ~2Sl| r1onfsЪp\*Wm%]us5 RT[ u^ݨfN&"K"yc`rAy67 gd0;/JM"iџw*gxSQD56.q޽-Sg7DAۖ}g=ޟȃFXs-Kr[P=o+ȁpd-N e۸ifN.-wUͯV Z_5Z }qe\PwqrC}R휡,S'.[o+}{domR~um~RW[H,Nͪ <T ׄEt4Bu[w<4eݍ Σcg7?XR(qrjoFTe~٘*ATˎ`+6\(^ "`_yPQ#5>s pQ^ wBŜ UҊ{юdě mZZ 4_/}>6*}@L2z{ z+ Cup6?t%9FALC={HM:|J:&LrϗksGWU;[L@O{P~&hQ˨xղA`SҌJ,K#|HCұmo/qEwWoۙkEeaᠪZP"M9qHB2q:~W'z:vdL@'C1X?)=V; Ϫи=b/ՆuRn!%VET~ye?,Ze]S9( YT嫜VEBpX\\e(qon| s!x53Hm ̔|x= ?׬BϐPH/\qE?C"[餔GlHo!oXm'jAӫ/aH( t̗сg@V%Q_'iqkn!@3jiY<ʟԚ%Al#<1w<d@(9ƻTr՗\_$5*O82]@mx`n .Sh_4cm? .cmJbH>PTGq@;w [n׳ gڱX#Q+S (KЧ#&ey~6iZI#ݻ @2y=..YuoX +bM >a^fK5rQ+Κ39Lz:P0U$V mlm.\N95=,\t ڻy+O7J]GY^/|h+L$~r(wݔ#31(i3Tdܓn8_\9(.Et{fI4Ni}w~;OznY] VG%yS?>Ug0~Q ]k~ / 2Mɡy؞6Ù{ yȋ:zhk-6>JN^o>+ Ŧ'A*6&DŽl/UcŨY] mAڝC&v ]T!${$"̵~f`!m/5 ǺHJYBMόIDдI" JXP%4սsYpH5̥ImFb crhj$j!,N{ZӔ,\İEϟw{a1q>)!}HE+I"xQP=iN )mK$ 78,sRc݇3>A.Q .צ,ӻ#pzWVu9d*dXՐ50qZށǮFP7P; }_0`hWB>+DdB-5t!~=,Qgc%6`g&a4MNH򣡈K؟l(38K bU҇˗9%'Hc:Zr<"Y+t;j\T;10 bj52h:~q1*95Ȋc*n\QiVE,%z;#ҿ8q@75wԩ2qя 565ыz?6Ϲ6CY<%%ǏLSk]t!Jd1bAbp!O"ڢHvVՀ]-/rZ.e۞gr&vHͭ'2+l  wmJSߴieq=Ql![C]gb\h( N<^Q0O">"ktY /-?is"?xKªtywG_TKioN>vdT*8"Zŀ' *Kb7x)0%n5$0\Kri3]'jr:@&eA^] \ PdnP:1\CX?ص4ZE:H5ggR~]s,*J1#xB|c,V6M`-{Cʉ2:M>6Vؠ鐕iFp^`YH}IBW WFd8z f=hy9FVAW .XLܧO<@zb1O- ȼTՂ$abt=UFix=R\s[zAf@7V?g{9WR+ڮ|Jz(hrRbp aBkTHK ŠfA/./Ӡj\ z>酑aj;b D:H45woYq Lw8ZNF(9cp W 3o$ؚh{r͕ž"h;G<s*;#N90v|k?UD4m T- VvOCSryǣ ſ[1Qbd' e{իnpMWMu'Pp)xzS׏$%@zGa\-^q8Yl}XF^Oޒgfr:2x&[=O=ۃw&.e%_j{wI|1(-Yr8B,M\gҧ_R! ✬ Պ⥛< PYGfRnUhϒ9er{2Zˆ "Yo$X' i}#,Y^-ijޟQx-=9)$Fpz-)~9k'<ɇؚ! 3Qm~9=ZuYy݊7ܺM΃KErv| ;{sݗYļd+-_;fLD9>ޑUitl3Xxnu'!YЈeKуc]B3; Ŋ|uSnSs]Ab](<\5_Y(p#W?Zϝ  l{3L &iMn'}aB Q氶WNvaū-+5Xʠ/*˓CBo/t]UxҾw[$ gz DH, ^:>% b*5`C=Q#-^5~0O2j{XZ+TS lt;Ah&Zi/DOqMFoK] 98%Hghp|g4R;+?Cc͓'ZOJSL .Ajtƻ>{45ECWcL@o'7x@I'&(UAc&Z[NL3 ttXy=(/@RsB}|9 4Yc;A|f2y55n3ɝ@d,HJSAr0jyOSXphs\ \ޔ0ȮD匬K msYNY7<Üg4F"r*4WL tb) 7CL}-,0z،yTW'2$" D?]Ʌ}i-$t"g`WYÉ^ʅqFۧUQj <Ƈ9] "A~_Jel hv7PwRXq܈( >.[D9]դr/&%AL%P0Fh|DUүXm1 V2o;d nosY;'WQ@RzP YT,7hF+-*iU`gRš8!426 w j}{-R*3 Mn mA+?N,)gwTe\ThCZ;; Ů3fnɇ6XAT%yNQ2z/R&m(O{TGW֧*!ZjJ~_ڤmmA$XE~ͳzY jO3#V)7;ؤ,ڸȣXS'юڇUy|)v?0/I&t{UGC 8Y9~xu<}^yN]{P%[udằ3jnJ?*`l8$S[XpzgOۛNJL1D2~ s B{Ah p @ %-a~SWun_7? b(4ǼhEUBL&3Dێڄ(4/ÅdvAYӔk4>-F:ybbhewlЎ}=UeA~͉m"g #U}lXFTػ6*#ivb6p]㖲qfa"۷u$v6_IY&ePz"s=$[qeguW(d/i<+n̆BOJ]lneD}2 .>wåy} ɱs; }Epe L2tz'e舂sx@- %x~4w ¹eX&sQpl| JM%!q]X?[]ZMUӓ8 9&",ú:?KBHBLWǼ׀L=$ߕCAX+IJˣ=mgYZd6cd1accd1e21136bedd482f81d83fde31b5862e902f55b990891c03dddf854b84aaabb24ee3cee3 e6e8b4787869145ada1a85e687fd48496d7b5e76 e4104b5733d86025b5642d0b39adeb91dfd0561b 827884a8ec3d67702fb4ca56e6d5e49142bae1db 9ab904e293af57c45088782ab191d2d4ae8e2933