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  9/ ]]Affine_Arithmetic:threads=4elapsed=289.245cpu=1008.508gc=41.248factor=3.497zXZִF! MD]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VJzփWr+QK_ҳ&-۵Q`ߔ59eDlwt-lvi!,} xe.aZV-G$_icFomvxvޝ~xBRLڒGFn/{b߭#ɼG} Rʨϑj 3YzF?_χ(D,^-)<9zr?^9l$>H[˓F?HWLFL2T_A>1># .c۝mNCh wmtp\NK\hSv* TAĠ6%5=RƹE:eUHcVLiuDraKy>6sY,;H넢v.|)m"T_ , X|wRr / Affine_Arithmetic 00M/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ F/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.MLUX Tbdq!Pp?[lsȱ1j9@].LڴadM+-ح?9I`dM.JI'#?Auk{uY߮J /X܃D '{KΨ|wȺ{9 VF td(\\*tx(l+&f$t%CR_Kg(:ﯣ lkc#㷂*cr<׼>7̈́[uH©K#,7 K?IvD+k ^hd*Զ LN@\tC'G9}W.iEBubS^nNh0ɡ᤽|SʜMlZ5@0`<1һp4n7ݻI.EZ~U\ėv2S;Xix#kZ[o>Ғ?:Su[ 4UI¦#Q-FCX$Mӵv1)+9Fq-zObsgģ=*IaBU: Vpk,MgNmgUy*ȹ$e[-]8 Uu0,DTzq;]H 5u~G1[I WK0쨑\N3q^6AVԛ7r&m4\k\WLɴu?+Ir:t`6`y*&}6[S͟mp\jpU<9JrDVP'G;v;dhۢ>q7e  0\DuQ'u{9,vl^P h-WdT"/3KTY*tAQd9_mdT2 Q:l@;zYBh8iKV j=rϯ`>.[òu/rUSpkQ➺fn0Ţа^j0$P0p;uyp qҕ[k-t2bDq S:~[XvmoܙL*<*Z8ze)8Rm9\ Qk x̳c/cIk*aFMD TF)R8F6:K{) Grq7+<2b N,3ٮw_?|!EgءdPZIps!Hv9ob>⪉,3ECLvNr4ip[7_&,,86Sy3EjQ;P>ʈV-Oxa~"fpqKkvx:Sp& JO ମjLĕ-8<%pnP:{1_!$Cfk81G-oeۭ%,ky{EP`"_'=xfqH!eB/kC6Wڕ1<Ԧ"Db}qp+ͯ{hb?Y=+uXj8R&R,2ô(߃| qX|KEzPd &_8M~SO*JS5TNwpx4 $`N k={V +4!Vr"_ I5E.6;)@9J-x<|+F3T6MMvj-&NN_  )@l-7?[)9BV {|GrHtÂc_R_[Mm5"mo I=%ae jaCj*/~E~nv~n$q`e!ZKxF[V`k~d̎U']ҥv,لiJʹ8l 8JCPZBh;#SBd%XLk_-?=$alEA!4 s]J'w G0"8%"ۛ^੶H7;R`q%$d "^K[m.t_CCu/f$-vη7܁A1;= GcKRF¯(¬{e0%``c\G%#&U! 5H֐=y aL>RLkֿc_5Yxel=t*Gz Yaw #.x;Mm@~>S(a(b+3`SEs !zݒ +'%4{]*n_q?Cf"O3~d eA;#@4k3Nkװ+#^N  vv?FО2{H_- aʻp!T\WBg+etngئ# s¢8/P`sW87:Հ@2ZECikOoPWaԸBqg&ŦV 6LQ} gdH9Yz~qImg˜DC d48nH$Vfܕ[yiYhBu]~jzixԸ5.d; : ky m)  `p :IjIbh㈈aJNujhX:Ɩ1,'t4aYyq%44ʃf2oP%j.KE0nGZXNUE$5KZ=.`]D(v-+^ . wv\5%+FdU2yўBS+rՖLfV p|} =D=BPhMm 6u7'fr~ZĒ#d]*m>ģJ+aGBW,Gnj I|k.ڝm]&h+~^u|>؍n>Wo\2S" 3EVg*@A8W+Kסcs;8BBz"WPH8PGc;o0t]Qrq|ӣ73T{1֑¼4;X/#yȪ (y1'Ʈ͡ҭ{Ks74rArF%Dr0E|ã0%xwbէϝ|C J R~Q3 @A=B< G?-l!@!EU׋2L:Bq`fDZȹԶkK+l:%U<6Fyo-) ;k,*Bȝ:e.ѦaYmW| ~ܘKLj?ᇛ. ^mDU Q``]#h$2jY)oIa_|Ү־)Vھa)yt?4>>'J<߃ɜ ojMui(/H^6Hz}-ְWJAb$9Q>mVnȱ :U$X` *OlokظHl5n=b42Xڢ%" -ly ZϔnI,r) zÜx8|% ma1[ Is M7J %v΢@N]6NL2g>?ֱ!{8FMCcyVJ;+wo]9*dQ9;BB |~3γOQ3gr<)/uFt\V#M%>s?XB M۠'TW1 ͉2CA~sMb*$k(Ecׇ[@>f8~ r4>)k*ac2̍UX74V.w6Eܛ nyx;nPKc 0|cZΰDu/6YC,fcx̊aHg /W-bSy' ejmRª3qGnIS5Q%%W L^#q"Iq7O9fk : `U L,rk膗-WH 9:rr#$Bivͮ]MJhW{>%4F]w߰C7sP:o%BU] Nm`sZ0}X6Yz_(2-:~z>}Q/egn#g){2 kaq;mɿ_5]9Eh#G D*@+,( BOx鲡oj<*-3C<&sM[%֒vZ1|vh*F &Z=۞Mw-דدPb9~,gx͟#(mևԅ}Dz {x*}]tI KC\!E62aIM[-/:u<>slˇ1Gɘ_,Acƚ6XQ` H-$@JjZ׵d^m`xl`4F5KQ^ZO}]cqz+cQoM̃5Әˠ~nMEʄ؋j ݽI7H\ 9hrnZt.{R;'bpUK@K JNr|Jj{Aܦɐ(;9bFR!C`h&GҰ05 BvxI% hK*א!pkVT&o뇂VP(MLGF~'s]}ZY{sU(-Zo e]iLehP(ao1NuΝ|:%)r;nͿ o p/Z$ \hdG-;#;Npp~\D"sxV6(p6\dBn ao.{yevXfy&_ڙt,q59[x?E`?>ɝn R*}T8 ڽ Wb!W#ʼn]\ˉ7eª:Ҙ9Mb֐Uc@h<_=טџ ;mo_b8Rz0h% &%)sfןy~b;=W=c{TP̿@O7տr\|ojR)A- pox?sGkpy-] ڋ}==}Cw\=SJdk U-pO<¿THvT[^ҋˉ{ [`[:@9Wh^EzȳQ0GC]rܕ EODž3)a` 1)G:VDN ˂\ 0K;nE/<ɡ2 l5J@ -εıgYZ7zXZִF! y_]ŗXi%Bh, 8l"vr{Hx@RvyAPd*P );#_8(lIsŌH"p>?DӪ9we_5ҖipEE5̹EAHzyӍ2t11Ep0m*& Նt% 8Z~.(_H2ԺWlZ=K  ʠF,*^kO[v̸Vq/D|8RƘ@`\A%s5L$x9.RuBZ F&.JਥW tek&݁VϞ֮ԭE*4eNf60H9 6c(qg%%.y%ژ%.ˢ#HƦ"!^fB"gM5Pj)]SVmQ~ɻ:l: WdI'a ڄRc25FD#Y'S^rSՔŠuE#zq:a yY;"Xv RTn˜>J$ `댒ſ~,^_6Z's -]AKg!߅Rv OViC y9;O0h)g;6yorb?M"m8 %ikz*UXoZR:$j9괚ek2F7@am:7=Vmh ,']&tȳoIz8 ΍-6ёBp3 @\ɘ҆ym¬`+qP3auN.,`dfܳlKVkYq8F$ xꞈRХa?ҥIEѭ+`yDayWW- Y~0@Ău19֑7 `10W9Fb#!Y=PڝP͚w~\|hdNG1!:~_lQ5ogs;LxBEY5 /jv,/ՐdБ#~NlgY~nf$-YJC:[Zvy.H|{PŠ@ eTLiH "`M7P۪%}yw߂"a5`.8|o9PZmPzYqxchjf#XaU A$@^GBߏ C &KQ!`ZyzhTBUx[&b/ .N*@ylw 8 r,q!E5-8VׅKj)XFxa?tO[EX? r!N㭻D `ӓ U4ƃ._Mf#EsF G7e̮w3|ڞlM0[V4n%dYsdMxu[9Eɐ/k{daaYS(t8Mi Bĭ]y<|,0cftyyPENьxD׉HErD{˱?{|& YT Q=kOFJ=&1 5vQs'Q˿GXÈE]u%0ofWPske1hb=i51AGICVWyk9tDS_Kkg^Uc4ي <Y%8Z_\@߹CWJqD/+CXGt4>-+MpTQ b0@ℏ`rr:WhHàϥZ~ƪZFpsTi7Pu+;ַGܖ,H#GHkU_>U4mJhhTd%LNd_V+BW-uA16̰ LM;JOPp c5Z4T:Fp~S'ep8P8D$q Gv yAxl*q(rk.5k+/k k "xk@JqG'|Wq3X-.fӯ5_7[:(WS;VA1Q@t,ş^Я2QQ g IkZhphְo6@(Fb(%b\km}BxXOI1gQOIeκyN˒&;(Z=I,E3^tмML2SNWd~`HZ ċ'ɒ>(w .#*'@ɆjE~N1eO3lӀ?ȥDk[;wI0V-.n&A7Bsxi ;(K,Y=I1~al&B1?µ0=ZɧЂ*B^Ja0M /DnVJ [K5PYk tO~YZDy8A߉v7ltO+ExNj ;ݻh=գ8->Pvjx5A@M8SF,cY Qu=9=\?? K6l }b=^nkOΖL Y߲6P 1OAxN])^+A{ 1qDG!˰%z pHEAoaϋnfg_DYpB 6b jW״RA^H\HX6UAe땉!$0=70x94ArQ;UY#s JQ*ȓCan푀≠&|8F9W֗ s2,^xw-;!)s<,2/gT5jrdo|Ӈu J(#p\WUiW$w<,LY'!XB6۴U<[7Q. {nfC b1nZ?<0=D-%+2Lktzh?kh\xfGk,|j aMsɆiT9ߴ"bxn(lLM/o7PmD;@(z^2iҸFOXB}?=z}pJ <7q*D|ԋ#=|Sge9TO^&\v oSÁ0V C[<ɽ^oKMqN;OwuD.6=i ZQ?X/F>L4j5v;s|W- (%*t{uwD"2D^O/pE 6#ljmU1XmذQT;Jb7@/Iώ D!'ّ,p#.tbIp "n.-^æ΅"6awe[lͲlJV&$g'G|Q&pYZȥB^lOX5GİŽqO@"LSk&9#%>7scg/LAUcCV) . tF|Bϱ3W݈0qZe@ gFժZT-1x0]C^p)]M1f_un2a JE枲;B(,R2ZCH9p?"gXjI%nߖxz-:R^e=( 4f#6J s!,s]'n0qiѠS; H\\|[K[P'=|4i,؁.F;ؙc8Кj)Qbo)=v%0$8tbb2q|cЇ ;O #+yf-QԈюyyd* ޒ*|xRvPّBFIuh)<*c,(v1b5ȣ׵UԉI0 _|+m]U\Ŝ~qUуQ*}mYTcub:TgI?4WP%W#Bӭ?CDR̄Qvz!Mbʽ_)x16+ 8kF]W# \w\+)\-( %?c*Ҟ]<ͬ۠5bx`g`pWet8_(;w{k O›ۨ0|t]|Zї ;"7&Crp#T[iGNP Bv.YzT{:P*2}۫49qwy>bJѱn-苅Z*{FcdDuZӫme^[^tTGc*r?yr ,QBG3QQ y'ն#L 뽜Wk;WdIP,_rp pk&Uh/&CmB,֡gbamyYf%Sbyph!Ț~sr-Xʑk9t&em6 EM$\-BڂNwտ{3Te0l) !֪ i]{1ktBf2|-ۊ(k]䴾Zets!RꨠDW6|)B^>bHN\GWyYI#zp3OkbY!-XjKNv5~R?ج2&]*Ma>&'kNg*-fϲ6"i`[8=*(q܈cY;,9vya#iK^ؽ6LS,x/X,ҜcbO-mF;NؐNC_SeL3ڜhg/n㹐tDs`20rx+1"zk!(iFgn?Y 3mkٵ?aW ׂ׊L !o(!O^1.J<λ)$7 )Gn.M8˒ ʫw ̯XM0uvsPIa3mxby%I: <̤^BlpWBl)X Ӗnꄡ1C3oeM8TE+e5lV=p ]_Daa D]&?Cpn 3gR^ރK48F)w;oS'l: e]lE(i\.'íaPAweෛFEY0 E:Mz-Şk^ŻNKN^c#pGIaDcBTXuQ>My  D1ƒthv0UJ,gi~.1>yX/Gkg/^s7B1|h,HJ Ӝ\$`@#/S=MyF kibKE=v#-Lu|-6ZHgH]f;@&8MKi@{9#̜8z0ZXA CcӞ읙إ*/`SژD ,<6jHxxwFĻҎ (^<0ܣ|*)h!ۧ U|45 o L16h;,s3aC-v|'0U7ޅ=9vS:"3jSx˙\2`Q;M9ثDd#r'zFav|òɁ\Lp?2?ZdZΐ hq oR}z;h;̲{$lK-řӸVg#(ׅ=2s-T, Cmko|Jyr<Ԯ*/τvsCX~]iwO.9uG~HHD \@*ェ͝܂WxM+ _~:q_57kEn^V^@Ҳ^3\ݐ+kr>RvjpNT `kHk6vU7 T7:sXcHO~XeȽ[i1KMdNӟ( >A=91 :2zrb[&Nv6,%j*.OVq0Jz aY.lX69UfCUe 8לlnz( T,l(V07.ib.n !ХLsk\Ŭy̠q17PPAe9ySu9ɮ @5/=%%^u;MS?z\5pSnUNoз Rbtz@!l:#` 3]ݨ%f#ְ1*,7B@G~BЛ (~hQ?DwU ݟ,={!;w Moɴqx.=%&>VOK%mDv"+7j[kWrK?ȏqP)}v`FzaDm? HOy֎֋sMc<+xLʇu^˘ 0V3 p2* E"^-Qexe} /ҹQ!; gW Pu5 H2u1X{.3뚁rðͷL鍐<_|ێƟxd^ɾG>#qj҄ή!+s ?cLӗ˨~U%eߓ CBqb) aA|33>_ Cn[CGڒ+oRLYesoMALV)Q4|go;ʭ^C;擬3rXUvFO,^ W}# n\wb)o< \}`]tg@!kν%`@S}8ˌm lwsű>8GCB (ݏi6ecVD>5*=(kBzEotu!(pR[ 5XՈU՗k RrMi l;`= ǀ@UGf"fe2Y#ˠ4{8/' wICP΃3Jz}nYlXx?%#dGb~i^~pĦUMq qpfY_7@ma0B|6jNZ4ϰmeC[[׏&ᨹRji=Rp,70D=UDvmE765I}%+ Lm<`vohG8?zDp_m/gJ3D:c ZzԜ vjM˻XK6y:d~Uֈ.`r-:WRXA3'!B R_py.*Lu27ӊS\qN1&G;FSP+_KoZ}< y?|7Ҥ-jj bȡZcX@ۂ1{QP/V>/ 8: W+"}9çT?FB0@Z F_8@ײV+וݮ5Qv!ŭdAʇC F+ߓʀFߥ-?mOKɮ0Ig áCLħop)pDT$|AIešh) iON= =:#ؖN6Y;ԿACEGD,r[(CCnFB%ZөEOeI$NQ^d LU`F@ ݽb%&NM|(?X.5}/-{>>Vg>kan4^OG+4J=iҳr$Cu?6J#\b/$f,W@c4F~݂s }q}W?e*ӰMghi(*Yx[i3n nX&`d,*^"<-IqKY+k׶ $z̛@PA84"ŀ"E#^xܮO+ҍqcz:38!` j{W9%4zۙiPgڰ4S2a3y0yhrȨ>Ci"霔QSCdtw=5'tغ$da6ESMEMRE+|Nt*Ι}c~jbo?w</g9&9A:POb{de#VEƆZ~~>[u\j=\s_'ʙ YϪ?3hd?tO.z52.%s*V^ kcl#T3DTLvJ[?}x&Vj޳0Tly%H;f/]h"-^";X([$r݈pV?+F@p遾'VHtBGҸgB$El9,Yߠ;z7MבM+^rZl$_3_lȾljjGN 5TMA0=mkXA_K MlwӜ$B‘5IU`C#8ğ,{M `J'" E Řhy ղ.g,m97OQ:zMJF2HMp}#v'޽kVMȞ˪A$Vt?ab'Y{;>L+}lNqK$Uč9csZ{>K2L1MtgךD tEe>fݓbphv!֫հ|1mòO4XOA +MNV4W KG v2F@cfOޫtsP"TVLk/n,Kt8Ӭղyou&8# $)v.tIPEXu\ <ÇiF1ZlK>׸ƺȐG &v1{Q͆XESYEd5)Dfiu|-)=ߣA"bQկ3"Utĝ 'HjPq]:lVez9MИ bc:6B".Bo8P9Pj̭mQwfѰh[*)~7wD5A3j'/VX.8nц׿K5%܉ΰt|C'[ k/; _TG:,gslB;=s.^/SbOazAh,y`n;ӻbYJ/I__rIoſRWiR\7CqWJzAeܢ1zl$LWL&o,\uDYoc1T:֒+ipkVrZ{z* يѝM,taDX!X{'~p]NZ܏mTs5=$Hpf{af{|!ܔq#Ui74 +rps%7[H|vǂ颡, ׬T3kּZlahF/^j}̦o "<зt&~` *X|@>w0㈷RkS7X A̎X~o7Q K)1Gbd,42XIs4E[ &P A@P3&34U)%i=p:YuN& CqyDq'-QR) 8@݈q,]zTCif+oc;7yR*v:,8"y7b5t?_aIeiv=@#( %hvPz$]ì8Zk4Y h0kʞM=z_u3YRa`{UNrԂa*22+;t~Bׂ#{Q3[rz%#UH_*{ GO9mt}E?{P RKX}QoQ_XZ-^DQIhdze O\UyT9X]Y2Zޣ,l;E!Pk@սHYfL(q=& <6Խ+g8USJuSgLFT%ަHT K0 >kN׺摹&#4mfܞ/n?ůU W),RS8%vHo3ƽx9UnʱRxRNroCYkNcuEx9SS' Pze 16^M]i NHGrRPN ~'}Q:\ɣP_h._%&9?e$BuwC.f]75%ٵ0^9G͑aQeIgz7TpR?0\=TAdm@5R0~Wˢ~`փ%e{ܭhv |w)wGH5~ q VW#<; Jpg!ETH"Pj6{;Յ)r,@?ҷ|X69kM)KsϦ.P׬vmSKY{b 5}!%Ϊ^.-s(12-Ňh3FVyD9"0e/ ~"N W5*N0p<mÒb5 uj4L/'d)csdң~;a*䷃]8|2Ff=!iѺZ]*<*4ɋ;MJLh 櫈,G r,?""mu 2S(bWJ6@eMx0`LdJu=+8ɡDzIp>sBZ|ZL:b;% L%(X fJsF j%,X4y0+bv rBsګGxPpY /ڊ Fqrje;p2xK$_U*W saj'R^Kݛ*W瓋 rÂ2;AL ]gڏUi94|`Ψh|#K+竅;*"Ks2K?31M>!v%j*(3$n'po*V4 u=`t> ̓DpcG#b-YS_=NQ.%a ٤QDRCB1[հ'(hW `8l]L《m̦ A[1kDĂSNQ<0&E mE9{x&,~ ;\5%b|Ǿ!Xٟ\i0[5n}$A^ 3\ "}%vm=Drأq5gsJ5Z@k.sEЅ帅0Cc( MYQ ]؆L(vj?oRisܽk\qcb}9Mz\V56vvcA}t?XqC435k IGfEr;bFv^~}ʞjAfio98B!y֓Aɻۘ=nlw2+{ܢsq7so޷uYGIMk\*wcmo;Ű!CB;jY:t  wIla8{|tLDasN622 HoL;XfcHa9`>YP??͛ s'Q?21DL} W+PǭUA?'PCj)ݥSN[,:JPӥ)6 ބNa/UuOvv_(C.{&CnJ_~PAXŇiueO,K.&%Vja_Ĕ sSW Gr(|ރ`3EB[,S eb НnͲ..?Y"-DaXkJ^4bgf-Ϗ{ qncRXU_HBdjօdY{0=64QύUQ1j~`F՗sԼ$>,$da-w0Y?Cb7j\MHQzM|#_~u,W:{- ӂ,ewfQ_ECej:`[uŒZF%khв"”/6W66(. 2Yd_K1k҃"Y5w'JY.X>EZS1忮4>Xۅ4*(m5Gxa NQ^cⰅn`1j :_`%wu>(~W Ik%:3#caub tUjOtswB}]U; [WltMeJEazz9uI|T~V=hh)ˊ>\.>p$ck=a]W7j3'084|+y+ZE{vAPtԺj$CK/v= ncZ*mfo"R325 1;$9XZD*y."̓+B`;z{!K[Ԟ ǎ3s{QﹶC`K:tɨ4qQcՆAM[po5HTc?u~ X7/U^KP[2ʌh[o@[iOƖ.W$Pc@1>b;X%)2=1TN0BV_FK!Jt'EᲵ ҋ{K 0X^ރڦePvT O0A-nŪM.g &TL 'fκ)Yx􃧐q-*X+뤰nM[<P[NϬXz-aT"dd yT^G+?]1ƻ$uZ%jbzG8{ zo1TؽᕚRNggMeSH/ qbe!O,L``Mϻ?f r$LR 1Oq* +lm}+VF!*G> i<#Un^7p} f X؎݁2" _ yEJB Y 0|.2'-Rpi{ t4TbY6~2^!H]nAF&뼪ջ˦Αdm( 2.q| qs&"I{%wbUX`^)*!83`rͲt̷l${ aiLS%K8 V.Y`X|6xwIc\mTwrp83=N@$芳bu~wjXZR تM|I4 mT)4xbJ~ DÙoJ?ULz|g54 TLѓ{!'_"`K}q%.EXTh51Dr8\#R_aίI-r5_TcZ%}tQm-)Pz ܼb&\^j»iYr*tREƊd=n}B)449 D|/uMXWcH [lT`}VKlb N?C~gأM P8 QoVy L%-ih~`J:-.?HjLU*X S.^lTg4l\i>:$cpMɧ"Tl:O XP*ޅ~$5E_#هD/!.ds,Ά0`LnǨx˧P[; R.Y>sRe6b vnC޺4bڂXbU $YhMs3<7TRoH G>>*q~ Rn7u&#ԪT|L`es|hT]&s} 4C՗g[j]TZ $~S`hON9zW)4t)%ɘxSj}tV5ZӀlz &~>xܠgSkoR:/ctQqY"PU̞O]?vssPD`NLڿ۞݄ʉr^N4v_13Rol54_xBO cw!AqOm9^]USI J0OcS4ge-ϟ/$m !ыV.>$.rUG,gJ$S e- h'e n.+ (&őpTX*F%xZmꮫm= }ܕ-K4e?0kfۏDG1N@O9L6M] &֥1/u%$2 ψ|+`q"`# &QDyQ0/xZ d0߰ _cL$z9xئF %"a2My¡XF(Jrӧ;"r!>6ƣmZdFO9Kix&ܭr.c 1ԁ`O)CdWjx A&W Y w_պWJ2 7i4{&H)S̙&Kn JK*KLj`WNeuVe\ 8"[**<3X[K9g WO90gK'Q&>d^h$ٮG۪ u '-dЄ\yJ36G0$`ޤ}Lŧa~ԣvXnG>0UUC"w`CMgo"ND="P{2|Ja/;ޮHGcb7hH+q.ն\b;,2NX }[9#)ՐǵKʷROb(`1} ,wMxs?;e$ 9NOR_ŗ14ZNOV#SfOFb(,mR`/%5[b{i X^L!E`bAeXO\3N tg& aCv 8J5־1}UЄBr`~63~=7uisɩUEH .WkD"ѼP"PAhyZ{MlT.K\lE RXC 3/5[ 8m=,zw.lD)G `K<%T `iT!]4H\|?}cl?BnRv̢Q}Ѽ_] 7Y-)&ۄw?sn%QAh331bű[}MuMIV?t_V9:'ZwȾ )n`leU㊫HS'D7^uv$ [!x qz!媘a^EGWFQxHѺd$ Ofຫ[l :Dt Ml~DZxf]Dv3)B41 1Vö+&&GQF|# ui3b?{DMͿaF) (sh0 0`>U‚C%֯I(gri`=!U}äk,8r 3x_UﷆP'> ( @x"c.^EH(rD5` aVAE* QWdk"N<2TFWmr-< … cIgz{zT}ߕɽ9G8ad,O{zr\$^&;@vvU3L^ɡ){dǧrr>;\j _ X*X&b/N쨞se%=c1a*$d 25Z<ҏw3l{jX?;Bs*> >[db\)A5jھK8}AJS 3U6QhN0VIw!!|{x6qB3ʒ6|1>i\Vx/6wuq.&[JN 8ajC9l~ @$]WGخWAUݻ[ɭLZ\"D T.AJ[ƨТ]jIZ$:& jX1/> O0Ywnz|x">ۂ;|?4Lfmti#cɉ:72%m_:1G,w^:ou6oo} %O^C]o"ZV]b"5FGJ=!؛z\KQA0%|"zer^-S`ݢKqJ:&=kz4eA$H:WITUe}7:opPEŶ9)n_s~6M=+5(,H6bS5zԅh^8]/Pz%{ _pot ʯ.{Etsl"bboA) %UY3D%MsMe] DqMpWOP|n2(*"T|+q ȝuz Am/SB{vS-G 5AAkvWƮbSTMgo75ǵn<U}L>8"u.ܖK3 jJtԦc]m0LJڽD@m֪nenLkt0~9 #9aK[0^;0%S g9Zi cQ]7Xha gt[D{0cFUtfaƓED7S rUӇ$.Z>ҋXSb̢HƤ695h$u,K-t3f!LO~ÿ!&uAFT&tZ3oXmTo?ᖂ2JCU?4*͛?|X?rY9#W}CDş,T,Dڡ~^[#+B=$K*!d!W >رԦ k`&˝ۚf7NRNpԽ4^Mj@_$Cf|doQRd 0D8 |yW0E,ȧWoU1j#ƻO zfpy?Q(~f뿵z6ƍbrxYWNX_8PDZ^"(|HJ0I(B;cJ$&>1`r# je xG[)uęS.Wms9*Pk[ƸHC9,Wo얝G-?(YXkP [d d*˚laDnrY1N+w&5i][ hNNOr!x!5ƈ+VLAf需Lꌬ.ы슬χ::(i d+yVKd;WtWgOB_yr;c|ޒןI)b [ǁ .g@ꛈ"o@YҸ|vvyX R,c$M!B=RU]_ F4]jw1_D,d-pMZsV|'C!:T!]W5`2+]/~{ǜEKaye-^!MA}時ث}+, :QN$u_ qݯ'RunGu'Z+=]]&!ŬNfE64G<'Xi /H]o ޺ھ8x]XQdx1@=An]奷#T[kh<(3v$*]r]%6x%BJOa|H16!F{8@2*; Hԛ|G@1'D" 3{mϰL@ Ox>' Îw Pl}Ж 0-U^c޽3:ϒs~y&\kavEf;]ͬ@`˥xqodj2EEorO7e'XahyFkD4r7a=^;qgb9HQ  SyKPx!t߭ξHYuDl/>0pOBuH%q/q`VSZ^% aib92n"b4I?SJJd}_Æogc8 =Qos&ya?˪j78*!Ju.E/=R2VܒS$RM]"aI2BLl,E