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  s/<4d ]% HOL-ODE-ARCH-COMP:threads=4elapsed=657.732cpu=1487.376gc=15.416factor=2.267zXZִF! 6X]ŗXf[&}k%Th[ɈrCH꘡ XK`!ߙcvIrd^|+p/o +jt2ǟ*â`|¤}EZCn՜/wC-F;b i??O)7 !WS|+Ŀ P/*+xj f~bP=YI<,DU9w 7I( 6L.p5"aNt1(7 :D'lYg^#o `8lv@CKڗEC"JƟ^hy ^ȅ [jc2 1(H tV=; v?6l(-aMm?S`/둨6Q?ܽ5|Ԫi΍$;{qvkn|`J4 F2 cF м&WXRyw?_`ԍu7]Vze%'O4}gYZ7zXZִF! [W]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).Q CI`FxXe} tvN%fs\IF}YZ7zXZִF! [<+]ŗXi%GI$x V|3#9|JդW);vnKTgB'4Ϛ58J,򬿱d&as=0 Aj  / HOL-ODE-ARCH-COMP  #*G+j!bs͸J(`,To7Qӽ4\Rr1&Kv`Ȁ;Ѫ*qp^Ȣ]֋$ݧĴZP{,t1STk',x*7[zkE2OE =hMLl#Qү"k[}l\.>Y_4sMd*M T< m'IiYa-[ߏ™Y׿ԇqm@C5bҸ"X {; L0Y.N?8!f;:sQ*r;BOONSwt{WU1QG^aƿI\1ZCY42a *Bt/ЮiÑ'kO7*AG{_,9/ {t._}o`"ԧSg+ HJCL.9WVѶtZ+g} Ą:2].0=1G&bf}gtidۤ>s%;_'A40&JԢ[Bgf% :Dڽ/t=J T?%?v꣧~!t+/8v1@K#;#ػy9Yq7juD.T9_ b!>LO#aȼn:@dA  CN Z i>IjW )(ܿY>I}ٲHiY{1ҏoXH6-?h1 . m:=֍兊W͔M O&TtUC4 eƓf??}fPf877(x6m'OaO"ϜlK`Պ*|#ɴv `cb?oS8833UJ5ƆgTϻϭІIԬA(x98^);z󊵪X#ɐ͐K]) <]{0.;Ej2Ӊ4ن @̆XDU 0ך4dʱ|*h>t V~1 Ů biKJe)'L7~[rprAɯ]MR`'Z?zqo͘BtA'#mVa5vz*|\o-S\f?*c凉j6#T8qgPuhz~+E} o]L{am.oMo.1y/$dg1Rw|,clMhBG%kwtve#k?4nGVAx Bwm3 SkޚSVܕn`XEc'b% {&a#D_~N>`%ҟ}nUmhW(֘I@<%8;wz. 0dm?B-mn>,ub枍~e $Z;lF[}J#9Zk]wB)AT%^%#Q}Yճgʘ{zӼτ탥5 &fFrudl+Lł >FJ*kT8V7 D>3r>e V/A?key)y~^ZAH^yP5#OAaC#+L8"܌R(i(vi*d}wɏ&pz #<_B粲QبK޲*H/e9 dV Ӕ ΢ !(AfGnDhݣl,-[n֓ P&2Q6xNɘUn f52-ULjXpΟ;2|UP=-FM kHnDr*F> rdl nt+:^@ ͆?r<ꄜ )q/ vnuGΧ%| ;FI,(=ԫy,TY;,"7CNPg a95IE4lM~`eez/Ev6?=~jqQ3}4##Y<~B,sQddo(qLNw-c\;5qAjVXv:b4rZD_cob9r`F_6E.Z%ӄ”_W}~SO ,ŏ`1)n Zlp`s }rqo70KFHNԂ@ދXݎ& پMܘՄ<#[yވY%|*uکd&>.SK2ҏq{ $֜Do$?5+cCŠ^3>Ex4H21'aAŏ4J*1{9}W#oK$:g0Ttu0 e~s0 ɞ9)TpW^-8^ZŰoag,y e" nLsbS[kr(1MMIO6tO mՠE3e\ԅ6 P4TDEixY^ U^*Tesm ߟ(z0Xw/?jS u8J547AmSRyȃ4UWqD=,ZO}t@S) !hJG^I1C dwm^_>ey j=+)$ef$ 99a6 Ɇj0N/ϛӗIE]l*Fn.]{ןP,[Ǽ}gzSxX{t9UFD(b4 8|j# dHj<A8.[mȆr -L'7D<̻E>w΍7J+k~ݓ\ŋ\s1ݟ>[::}}+)`Vl}pE wͺR{#jhx#Ѩ , Z\WO0sϲ( Qd^R1@w XL(6w/[Nwumz4/OK^ 5Cg;Ԭ.JNh&`1nMnj^O~ֽP،uF)%'K)'M'4^ɸ6)оӨ\D0 y[YVwcܲ_AK$&mF:* Z*%A.fp ןP\{U [QA[:jgꜞW'%:72lߜ~͇C S}p-"/!wExžKzG"8B==Z*! :R6:xS @Dy =aVØ;q8*Nw80>N:xVAG]qA$ޙք#oXX }|$Tt֋m7]Ri] ?Ir2!V#8rAW(fV)?;XFCi5<);:$1swEɔ]N;ꏑB0V^]T oQ̈uβ t#6KR9ofeAx̻DReJt`C9vJWi5@މ3y0vzF7\O X/]rB˞x%5#.>@X әH1_c ЪZ[˿2&~?[H-P.ksC*5-1RewT%ҸDOEN+MFj}%Rck Ն›Ea\,/r=OO%Ue|{_E m"qyϧ@ű4e viG.Շ"C _[̷af`-V Da|QkV#@%_* ^2۶%oʬv1V9Ҕ CH1nC?w]RIuFSIm9&7V,3L18D!fͿB|!+-r:,A}.ZӬ ODcp@ ߓ2Uꛬ2IFwkr\kMÙ" bY AnJ`]9Z*(RA0$ʳ3@x;H.G/q_ޠL\m/VYcbWfŸio7"k#ZgVZG 6"O`!Ȉ5t)/3e3񺍸Ɉ^'|G"R'5% rlK̂A&iA@8Z*,zHMϔtl)wm:@o 2H8U A\|+s5[` $:SU)ͬln HZ\eGY:ABqDk);v_pv#Q ?!Y{ӫ5..}{$װvӴ`L.`$n Cg;+$m*׫$slPX}3mOSQxMxS1asǃt" k0M#sYmUlF5Eh@T#R0BFPB03kD8[e!Q]NI)C3t|u>m M5Ij 3C!3lMJQ-),(m|^z/w״ JГR`5)*DQ9f2r(@6 _@1۶+ .GB0E9K#i&Y@T b6C׋>b~Gcd +[.!jؑ1W4'l*{S qߺORߠ޲a&Xꔠt+bJ,Ejjg:XrU:ǔˁѫ"Pv# Ul^w2M`6&KW#鑥İoEyUy.i)PY/.p;YiSy(^/8$7>([" 1I>vg򗡦CHJ*7<ˠX%A!7r 3ǻ(Odf_Rg`)bw5MU(Sr)b~6KTRkzpБs"*22@IDp49,_ef!jcŇWxٚ@n)H,W֮Pir^$PQ Ð|<ֹvJh*/RB0)x`f *3Zjfے%ȢOMc\vHdFO f^Ae7/RwQ> `O'ZUvO.tN{|.O%-%eDPKօmƹ*;.|lkk%)^횗zn>惖ЎIhOe yPYJY?rFHOY iہ~ëHW{9. {à$Н İZ7i`9AADU0k>'޵e4ܜc`rRb6PIRhC&B)9&)0z3|6ol>5j)a +\,AQ8f89])Nز::6ϓJܓ ՠ 4o`nסxx,.7ImiU3y **W/){v[e/Џ꠱-EnA$}0B]xf/%K)}/jolMf9,>>B=QDYŏWr Nֻv(w@^r@&y&NC^=QZhM?DyxFj=[.;,Tl3㷫v~AR"鶖Xj~^o:fH M= 3 r2oҡXoq;3/~) LaEP%)1x_O*ɟhȕ}3{Иgf`?EKҋmE=F!c{Ra =㚤?%!Fn dϑˏǥ`|Ɣ`ig7@Y~=v6QibAb@S_ǮC9nAV6'&L mwƫKPg1 NqpaH<d—I ~%7^f ;ki@H2w)#\~V sEPr1( "їX1<^TJX ~ExIANN!n>XHHOFu6V^VjE#-S2I)Qר0)-/\M#>pf eP! Lf/ROU7Cv"o㙆mTy䭄YF|t@liudO:28E^"ٔ%.sa s@~whBDYZ~7n0؊FQM3gKk`p+\>wPl8æg쐋^R^)m<bb% hc& &4xNq1OO< N^u./:?|*vn^M;!ɋ |['70H\i~٦CG%P@ $s!!hˆ`"Y4MɅXr"1lANޏ Jr2aDfAqJ Ҏ!"_\ Umhh(h"6% e-if'`̃[81ݏ -rlУ^8_=_9YnnNEgCQ4(O5ɼ+_IZEeJl!M9Is </ڽ\[G7#37B".<%n)Cx@zjn\Z5ٴZ3M 'thzXT_ya@˜l m8D ?p{v ̓1̆+^χ|d:k O&jɤaDȡK=R)gG7#tfPAh".l\{}UmrQ} k JɃuX@s:(ߔW>:Xšl 5!Z:T I`$@խ@v# lExrJT7G ܣ 5uE$xj쉬zLfār9 d:4՟JJ,:`^eVjC3v.Mys1v[fɻ󼥪۝>2Qb;wX fߞc#C e}I^ \i]zCP|68V'Ta6T<(a׿RdawzM?ygՆ9o@c Cʎ~FH#$9\7nS,I5*Lͨ',{P峰 YBC;TaGZ$&?zo5)H`*؁'\_(y7Ys@4Aj. Ȑ+w)O]xp@ ~?7_HҜ zS+"5 <k ? WnX}sX>ka/5Lx&o~s/c9|w7oDڊ'_e@RatHik5ȯ *ӑy/"*Xs^$Rg-pWCCE/WFP :ljKVc, DomYAe'ޟcfAftD)d;(`i]p ~0t m#Zn+(XUk4:eZm}Edɉލ;5O^ArZPDgE~)5܃`8:sXR&s>Rz#Prՠ\z"!Uw0rQ8ͥ.#^?,?%#\d\o@x}j[q=2#"K0ݖLt*ΧW ҄,~#v>&uW$9pZ%Hf~a E_+amM6H7w/&5~D]z% lGjD^rBfk!digf+]W}Y/ݧ_Ń[uZTK(ɯ\\`+,: 3<9YЩ&LQA"ps66q]\z&(͚L;q(?(Bcu[ᏏrW$`럵&6f[6QmLsdI&l̔wjֈ+∓X'tg#O&/,%gs[=dF3Uo3,QId#u,H?˜mZ{oM͹ꋎ`9Г U8iQB_!{aw:$#O >iH,e? TTݩM1` G SEk_aixN {fǍ$;@:C~é]@jv@J z_ጰ'kE/ ILbͷcѽՂk):V.w!m9n?N~;Xrqh50ML[=*Y+M??-U^7׋F|$-ޢ]і'~, ~8IK_'OVt ]ѺڨjԾRYP.ej''0g(<|n0w驓7 X>i`(Vpj!l+| O q42x j@jJ qu˩g]Ѣ/I=+(}Ӫ ,+2t'|2GA8ZFрX+ԷǗt)<￴,ozgg@vdFSX!zd`[VKkePHG7xp_2^͖0[ݸY1&&wZ!րq^} o,5&%D ,ܔ,H68i3`9G'qF d69fb\[wzAN01{" cܵ(䂬5e"%\v"! d~<@VqR-w( y!*å{q;9#@Ӂ+ 6b}sl7ϥ۔Z0m8PcA\g*n_\SX8͢+lM`#s}!|nv4fAC>30MO>џH_?apzYG~8Ă֗FFmW)$BRM!pBetpJSn낖#{bUW&@sMd[MdvQ2X*顃~3g<69K}7"Td c,[x ?J!SEcaN;%F͋f m(ﳲNF-t?EI !1M_^'Z\9 EW$?~N<Ɏ2>W'ȍ'<;I&*a:|t8kee DndOܙT-8@65_BFEOLJϬlpޚWPCXjrx$!l}@nx# !iڋ'#+93{]BStaAȑ> ث`WW/s1{1"viԖg>",)(/q6̌\Ѯ&&(<2اKeW] 6(dA44nn14^dcq%Tm07OQuD`l[ tRQN3}GRrsSrazMJ[dפPQ2-(WmwDBwR˵@`~4P;&M5އN7QOH^ 6mw2oYÆFi :cWV7MbS)1DK|E=`q6ğ"bO%!,kE'@AxlR"4bPsn dpwgmq֕wS7o3rP.K^7tʴI @q<`!ӸV%Wa  3E U\13T__o|[ 2Ыf!c!ڀuf0a/]G׎pmޜNIt}@cF>Z[S- Ƭ<^4ErN$ss>r@m`Y 3 Z@Z(}{誔%+ݟPk2 YmjˆcaRT&:]á"=i!ѩ?R @RDAX(6@_ZX_W5_ A>59_Nj-=ys\ Ѱ#TrZ}6K-_/2oxGnKaGޟa*rK'KAY`Kb`B#44K%PbSmWBwB÷=6:lӿB;Cq\mRqXV gix31$jiH1t6t5]C^"SP-T'a ; eC1m [@5i6[ǁ5PQ>ؙUJBgO3L!zg*hAݍ[@_ E?ᖏ;[9!P(1o{}jCU٠iE<^&>'nqs{Q(zFK5`[’I"gx(u)qB}NN_xH2tʶl~~z %m2u%X? _Mj~"ܷ,iѷ6=ٿ ߝ{Chc}BX(Q:? ,8GC8ܝd ^".K}bDy t=fNK  +ZTGФe0!h6# Bb߻{=~ HrFN2TC H1YAˈl[Y=:EpG,ˀPݳ#rM?y<90u5ƞu][dтI:9Ju 6GCʼ 5PG=чڴ,,j2R=,\G? qgC۸3 =~B>/w}cъU_UXf@RH bPȋg+RRdIpuaƧ D"{St~6XCD+|;VU`եJ_''^Tn'oS[_Ri"#`D p)(/}1!1p7DC_G֩e#ŁSR -vp[5S.]ًs=^44) 7?LmQ?? ÿi`Ls8h6?P$_K& B(\V(=́jK,' :!~ ՘ѹ-3(=Bw_ |_K)6i L}y|ϧƍp<b1xBE=wٷ4@&տN|--K{j경[y.qgS|d{(M&ˣ)[ETy!:4*%$B2/VP}A!gn?T魜0N_s+k:xT'gw9ppͫ6@>VZ `Apm%BlfAMmĤ NSS]o] 5b"W0G:+8Џ@T+֐P{}$"V(k'qQˮ>_X[se[7vU#DAØz6X5\`0lSʞm;p1;7tL5%_h ꌆeRwbJ.ay7  jiط\ ꅾGY{ZF()~3=>߲oNeu\7ͩs yLFT^kOo5տIUNm=E/鑔L&LX +^!4V# U[RȉVޫK}HO Dm%@J+n~wh7`76l5#ϕY5W S!Gs祠皬enH%$է˭(Kň|Pp6`\!eC ,>0UYqnJ!ٗ**Kۿ|J.$GX)l߫-B+A,!4`H9O5bk1MW&>~/( z \wÕ a'&I';H| E|/w )H3"UsGvIw,ܶp& ; $k%gS0bG;ՙNixsCU.O>qKqee՘@k5v8kvP55aouq!!ɰ4r>Yh`Jk.c r/|1yk>b zak~K~xf=Q2vodà .3bf -ǝoqYx>!ݓvv-- r+ mє\C#@Z* <{`#pJ*Kc0^ٖQ1I-i`'Yc%U$]W^Rzbe?^傧~Q lWĮyvy= m0m.zÿD #fƦ{81UͩX/I<}ǩtt'4:F@.vJڢH` Ɉ~W|y1N)DUJInZx1ty_ s̄U(?&85E]g^ R$役ZbRQQϩPwlqP˜<#nAב{[R+D=ĎRp]LYd2;`s)Opd9!kv=y[DCf]=h9cmM: ~STu{ֻ dTEGD>1;btkdcvQDnlw!H$P&oF>!AӁT$dQDvRAgVV%Ms_>D~{5v? sn'Z~'sQZ9\u\K)o iS} 2#^,e@Ew.NVǿiXcI~kf{KpGu!%g:6^Hqu̾INv 7 uAU^v0/R}X_~hfV f/pz:g-DT%m]n{Ȏ Õ>JMP[͋[rWCc*9 q`\t(ȑT[m:JN't%6H6GZ;dioJ{+<@$d1>ᝤ23;$ زvuWdp'RqIN/hq(ucwkQȆ}q@G]@&#C=aBQp`,s%~:./M1 DKb~V=oL'\UH=g4/jb "\Pl&}f@oV. ln*xfVi(KS3Orx5Ӓ*njpSI"+@IWeoFb[0ehr %CAmk8!TR~mM^ƢSFF ߺ`85Up^k?xñ}gס"[DB{4Nx/ž_\>g\uǦ:w,yՒ sU7k~(SLp0Q .l'i_xc 6:t 6jv^v%PLy\9JZQQo :ͯL!  UW3pU 8٠\dˆ dv%XclfzGS{!ALsp(1KbO$Q@`>K[L6Xzl&#}CP<˭ڎ1 b /09/\5afw5x<;hzHܦ+@vtzBU/HVȆcљޅ,VޠJ )zJ`Me6o7J}zXpVoMUr5a]户K#d.lj0bL2Vo7:4sT4}GPxY`e[JJ |N Sӹ$Oi4@~W+Oj^ǘz$ѻ(w;G끟'4 -yڟU/@ٓ g',$׆gj=^[pp܄&(94"vm*굲nz6pǠ\1Χ޺T9C9q=, VPL_lq˅,|,l2T&Eu*֩'V+`>}lLrmL9b2I4 (;iJ @ <\XUdY18JQ p$hnvߦ\_X!BfP:@ njNOl3d  O~go!dP NA{Z 1JOxЇJw1 8$yXXVU)KӴ:5/c+;cFF[JWlu捡CR0sbi#5(hL e329ߎ887 &gq x(0p3I"NbV611:&&vJZUR1r}[1s6 AH4PeSҬwQt<_gPW)}+z. EallNvT3LjO, 6%\H*6j|7DhsGP&#/^p>TދTy)Vvu'A=?Ytw>fd {/S*(R? GQlYf٫ b90,s~P*b zlD@d{||/[ Y.TY_&UΦ[i|a\U&\KN:_9BcQp48_Qo4g5-+K( kDKaSȪ`g!aY9TI[/<E)ٗ\qHpwws kkInRKJy19vHGyKyٶwn޹uglBWkwTbcd] ŦYQ]ԛFߔ~ȔͯRŦMUCՐk:LT_`.:4yz;ZRd7$# v\'4 v\q$NyR" N?,76^iC`8)ikԄۖrU`Js/?`{G]?TD)Xe%G'Kl6{{|zgŖ&dosۏo5 (5}Z|%WK+?ݤk@˪}bJ1<g(`kT2\Ij<&t,H&H9m$w0a߆Rmd䵻3J:)-RVߧé͋|c; 9l.KT}SEXdh|lJV).>wm|oQQz֔㎋w|GAcE)XqvĤ|=Aɇ*ʴu=,Yе4HVT+pκ5$#'… q<ue< [7% v9bXd}* :Nezӭ˖Ns9%  wC:nNX]i2zW`݊He۸bTq&<[X8R%ߓc~ۛ;;2;B3[奤NKtƵUZ~)Qǡ(_#?o`G9|ȧ)Gx_+%uFOe^}CPέcAU>Ot EO'B]25hV)8 2 )ԤN2n.єh T+!A ~5©Mx-}G0l5xXEUf҈h=@Clz ,eiӯmAPѯiL,"m%MH #m7=7lmlMK* eBbf{? ]9r^KO-+ftvph5Sr(ZО d99{s@$\z()׾S%XZ %61丷kPQm`q>fX?ݘ=/5$'%oYG ƛ blz_`H&+gy3+}#Dyce G~hU.C-P|ry$ۀʼwX DуCy|GV "-g6UsȮTLrNc҇^~^5b㮸j_dXJ*jqt$ sBn7AFB}9MK*j=S&j\!Ky<@Bl`|/ht)G]Ǣ_!ىF WvQ=5Md$1zLIPF TUrXP;8'?)?f,tAV6q>OVQ()rYD@N8BX c*H}.יƙ6[#hQSCӐ ᘞËȭGk$"(%F7+6>/(Emt%r"oޙ`5;8-^ +{[UhƉ4⇰bN'4K.uJCDnhԔ|EP7K2 } ]D%,V|dÃ{ݾ ryT;͎)oG+JweuO9ϋ}-Anhr&5b܃TY>vXkûrU V %LV!ak/^%@ &sLLy=3Wݔgd/?wjɊν[2c3vK<{',=λ l;@!K2@7o5ZD") ;RudiZo}%|ѽh`-&;5{<ԁJ$b͵iAYt j}%w[U8qzFoMÝhY0 >i)/Ziq $,Kyk$^oDP:7ƖB.NU.f.%>F`"r>=S{"j˝ᲪnVxh9ψ$Ts]-r֤џnT49}z;˴ I)BPJB/ےHvFZ4M*fU efF䱿Ҳ.8,A|xaVD1c;BT)$VL3ОdڙbgvN>w s)AaQk4ܶqTAv^ 2fmoNn?_x >)4q>2q;~UGM1I"ϫAė#RxD"M%4Lr2Edk;࣊awWwz>sIK#z)(w{">,ds؆u q::&:\/d&cNSc>͎4͒O9dvt*_*^ûWʆ{a+>+ хL.禲`$$1~iI .ԘDP-t D.Ӳ?:H=7Mv'72%"UNEu FizǢlH.HX3qx;eׂ2m81ޟFhvv WYEe]j[ž1!vb̍B[^AX cZvΧf]yhhL;Ew! n}ywk$>FQ%Aҹ[{qpG\݀Eks[c`Hı֚o_A76BmXxQH9`[OڀAakln$Q_Αus'KnBTf+I+BsVdlTO^pg2l,os+ZX{-AZ  0 >=a;RR,b3CǷ[}Mw 05ȐpYVS<׀`dF5_[kbV'j9=Y'`P4q2Jf JrsMjmޔh*X /Me60p𣓚ŕM}N^ZDZDU˽ l7x^s#YojYu/jRۃ 9Z08M=faMl~c V W0;[P].)ShܺoraV/T8E@T}>,t\dq# M\"!n:n-1^"!e-U:e . bB7 e$dq$\@8n Ji_n((*NsQνbg&wjLJO^94PѸפ8mfEX1>XB2Wf5g\IzLٹ$pQ(ƶo%9Ёh>779tF D68$Y6KBY %jrtxhz7k*VeE8uisK[΃Y@/ý勌`ڷκGj?dVqBx~9 _? _FO.ҶR.i<]i^tPl+#q+H6yeU&'\rfg'3kFP - @:Gg8UCOloFf!Klf ^'&{ּi)B*`ǝ˷۬U[$dfeeM V75 \9ru`QTj<PQv~+?'.ݥӰ]ͤlig6 " 욂ϦH^إ*74kF,sa-kEћB>hmi6UD4vC uE__F?`QUWNm[q"a^X%&wsV͡V^䕄Ԡâ,eCod:1j.ۺ"n%UhVU5v].qa\j ) 4U~qSBp*|59)-H0cX| *;[J0'O"JF+эgiE#:`Y aQq5")0Ӳ? `Tങ1ou=b8ߎBB{3۪Sp{_nuW~Re$rݩ4 "2˅RpXaUA#픈w33#\p1NAf1l;1:.?aXZC+a|l[NXgԹHMʂ Y~|#G)ʒ$`M,TW&>h ,f5o2f:Ua>,$2~e v3֯ ׷&TPC6nknνW``PP9!WkWg\8%=)4:hwU!M}lTRiػ[_JXvK5%2kկ1!ogr_&EŲYm{jѳ~LB2V2hs1o<}4hB6qԺzt^⦤ZXMLLp G\@[si]nJl؍BNBl>4U`}#7/8qގ(g0߁Şş$ג"!b2peLo6JXɊ=T%fDyaA$('r£=296[򓋷E#6Ckh6R}pSΰ LBkDŽG;_ {fGPFܭƯRIP>Rz~]`l=e@NSIfŁ@T"qnw:z঒;j>(n NDw,3r5")H1ЙX>JF"_ GU  [t5hTd_ع,2c(:m5pcd5i;yڬ1`Ip#ePR@*q" Q|@3h̞&^6@S̿؟dX$y5ZE§/C<+\WZ=X y.~ Kh-%2xɱ.y5> BJ6}}dT31ƜyL6Yih61[)ҫ `e8ŸQXa%(O&֜ٹk |xC{/a8p( f!R2Yц?]SA\9PoS,i NƟʶCwb̷<)P'h QnBLaNo!`m3n߼-g Gcǽ9P.^@;˥s&kMyWoMmW2zA3^m*u2lgOwFvȺ׌YN@*ըo @^*z-Ϟ쓐6Ђ2> =KM'Jjm=z/]= 88zHV@0 Fܗ8ǨDZJ;kݩh9ޟA5%T#\g̾$$6k*ܰvLfYa~Nv_ƈ`{ 5\J43OV?ֶ^fm\r+!rXǘbfmQ#Jevb"CcM ?,ItIqO;D?&^KRa! Ԉy@VbdRK:OG􎻒@3tc/G3]# _pPU6mfsTŚ)g7:Mhy3anՅqH rF>O,g };/vSѪ/SVs$ٷ8 CiW; kJ&cz2".N%P,%v#i28m$YBtɖ3+g+wyz;xL-hWB61`x؆U{NMb6H`@ NM}H9uhzt%e6UcFG)C9>iW``j` $/#TGEd8Dgȁ` =<*=hZ Grcwk6Pl<~]ΗDtA9e59 !2h̀@!JW>}3m:pSkeR83r?4a v0Z6L={s]HXhe 62T"h0͞qG?C!.y#C!Mӝ~r1s=i߹`X WA瞭r&{HDZRO9-ڈC y;)Rx)1M'W g= MfZqj7;(yi@rXnï=CxxfvI-UsBhݏ:|ޙUmH*[,yK.5FlWj5i( d gSBQƬ Ёs:A3mX+Sl{`9MOMnҀq9ܳ4MӡVX$ >Q{=S:y]_}J>c {xȏXow ?`ܪ0m]2FN|eaZ9*ƛxd!z9P;p!]g,tZBt,ݿ0UsZ$oۀYY jW)ZQ)A%[.GǑ_εjE5mQt#V v'N[TҫmT7Db|^YgL.DuI>eT. NJ61ЮvW .(͍鞦 0IknPo1k5H%Zbܥ6Z,^EV+ۀV'.Z‰섦}*X]$v |aRHIx Wϋ/I yjݲ2wMWTZB NQftӞC~ Nm&:/ ^;VAab,_SxJW_II6Fb4)9. 5^3 + |Y{&7UYI!Y+X+"SީsR)OI" EjtMf [l%ԯP_Uhyj1R dtLmXrj>x}hڛt*$8'Cvo〼񀛦TػPЋk{tGmv7DӚ FWnޚ; SQ3;O-0q`pӂ}ⓚ !5hPٓ%YnW~1Aq#̏?॒s8Zm*9"sf6o@V^Y};t||뼥~Tk5\i#.]H8l`7-ޜ,"H)BjEz޹G3C|wdϒShy? B0$=?YmX Խ嬘z8Vsz|c[D&7ls\U@սt19\81Y+]#IƍuY_YXe`ߊi(WqČ4lүHxl{QGF+c8f|e%7dC|,Mu%>*< 0l=)}+&S4՚C 4D3͵KTs'yy2Erc[Wǹq^bir%3LU˫R xS,| $Z%Inf}*O.\tg7zZRC>hiᔅA)SJ)bb9u8LA:96` Wgr=k=DeCȨYU/~Aѿ줣&RgSj8 nT̠KS7ۆ /+My.X_#궜":?p ڀg)6sQLCI0E>Z%v#(]a+ M]5ȋnt@?ʂ%&7߿mZb~U je hgxaPcDv߅ {~_L,X+ ]Ўf [QZ:kB%V|Εtt5g^{sǗT >O-N2_sآN iYJ(٤"I]n[v\-/q?spyD9 >e?et$41;C_1jrQpG+>XR-?{乳9KïUEP i thST ~ MvSBf .g]0d2`h=sP>?@eJV`Sn!VIE*Mi1 uLLg8Ɔt饁u SzPRmJ4g+)MuXDoP_@ěC /iw捒/d"3vm"ʕ@;Va hOS͌j|-kKT‘,e_SlaQ g{.i֬W L:kgX]0%U3ğqGǥPreXbx<ܸirE٩k p8@<;B]ߺ.?o oNt,`Lv}gl/9cŹ ; swUp& {P0˫1ВEgVK-#q{p::NP TY:#JG/( [tP d Z}0.k:\Zxr&ZQ~fy)cEb$-"sVj(6?h,Ԭf/RO|0nty]ЁGg;Am*0#RJSF6[ʴFER*[7М( { •32^[HL{}Veya_b|nLډiAuUr}1cnqwY7-YG]ηmԣ'4uD|GIX0O~5mHV{3_h!>9~҄髕0[~dh LP}@rݍiY  vAJXULf,O_ JH#F!/h"lbo,X;$U$ KnlFWopثy&`pCqD+Z'~$Ih(.8Lk\J6(Q`+yR*pf2Yxj5 q0xc[gHmƑ5ٯ䰯ن#M4,PTT"[eV"r@ &A{*3 M{J?A2GWIag]b{b@)8ĸs!dUzIf*d"((U TB[*iaR| $6C`Qp;2҃glyݨrQֵ.f cq,@9vEr2>65lSuwovnؕhJF0Ŗq]+ ަ&%U6 /{ka`\HϨXl>ABd60Z'W.hq9"Zf#[T{ְ&LP:JZ3,XJϢ_lxhMģj0N;W]Cɨ'e>+Fow={nYa)f$䐗A,21~夿WLle4XM"p]cMҼ!t/zx֝2o ?'J܎PCrLs]ll'B//D._ƬS/jR?-ŚHmfHbQ V rh߫)@c&1,6nnϤ)ug2L竌k瓀"Jr4*VsBh%#YqpQk