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 ::/T$ ]]Affine_Arithmetic:threads=4elapsed=294.474cpu=1010.412gc=72.460factor=3.437zXZִF! a_]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HMؕ. "_uZ' <%MMLd eN&C,uBƦ|2INw]1y?C VvzVe!~L?(?ʃVF[ 3>Q'5i?B(*,(4cvb9zJk'\Qx#]c< ]f%_T 0pdAvuk؂pѣ++3aFwGhΎ':qsݬ 4UI 3 L?Y{5֯;dTo{OY+#u?C wMY>YfHPZ$SaTQhD9! i?l{Z~DI/Y4Pͽ}ۂyv̆A>ERΗS4t,ðݹ?2{n6DŽU$jV#ԣu{V~4A8rtFO'_zĦ@4cxuR=`&qgcXFW` <)yna7ЏI3`JUєXbN*)z-7;Qs.4N>' .bs߮oy^BwWEPQIcˉnU,;HڍQDXbn*.TDi"5S^wC^h䕬At!t^4wMC}ڹEM.-w4[тLj"6"wD\(a_Bweau֫ M& TlK ,vhMO1CHڗϖ"d{wV>1yDH$2M(P`s a]Q{bm&,`uj${6Z?:nJ0܋==921C% 9 agȊG"osh]7ƒa Vr/=]Rv},H\XzX1*\ xNIJI64& 3_y )LVXC{uP׏f#[d~!`.F0B7r, [\B,r ^6oj(fJڵF0=*Kp0̺)+{yG3k/2 =;1_'<H(8mw \j {+}}BEt܇Fsg6T8TSVto-ލOHQ]WDn&MZ+z]^4_-河㎋z{iC/xy%a7B")Y.e*mr޷@焱nh-vⶓ+y,"P|d.حFrFn2]ae6=I²"aȝǩiN߰z<=4M )jJݨƌN0Բ`s@/0mV3 ?*-Z|vZ4`2w 6fOE Ê#J>9Mk ܺ.0|GB-45z Ncip->Nܝrנ$u{R΄Dѣ;7l Z0R*2};t"-yZ$s@+6S!{&zy$ѬD"$2ߝ'6 8(: NМȬF` 76UB8?dD/h\tY?jY$^/Q+ ;m{ -U{.׹y3˫E)dcIQv/v=zn,fO*Mԩ Zqk>d-4n.C0G+o4D0\r sQ{Mi kC ܳf> royC *r$j~!jr6{AiB,gMF XXO%y7reg? TrdGhz"2F-ˡlܒrϮ0jǞKzSߐyjN`Q c~^6(٭}r&*"zyG]Rgƴ?G<擧 =w;Sw4(HqyZ_9)2Cp-W#7rk:_)|-`Hמ]fv#ێZ֘Vk{6Nn1ȀW"لO~R>z~R{bj~eYS_yИ"jz8COA/3\zOPME+z_q+:B=nf5]oǢaZ&wU=޶, 7t* O9_P3faeJ6ڝq}Kb Mnݼiyp E̺qD KNd Yۮ18nt!Ǹx™`Z˯a[IqDsӃF,߰!.7c ؟r[`PfV{3w5JnLglǏd*$cM!Ʀbn(fԮQ 1g*W4/d=w/rߍټ?`UtAM / 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.ML&8+cVE$HwR7*7:Ga>rb玽O) t@]:0FOŀ*1C\kӰ=d{0 ٣6];%VJ cs]/qaʽYG]EEka}ݰD-qB׼Z3p!7=8+c$%83K$"H{U|͉G}|ɼ&I[/k@2I/8p:qA0FCL# tLH&l<E{a2蕷0 FAw}*Ue)cD- b/:2@CqCze"'Q x2(TP+xHm_تV S`&ޔ(`TWh/"5:(H5:7Q}[#g<殿$^>/̖XW\'qJ̷x[X%(}D0#G>g 5^^x6fahB׬y7c5犉AYRj=oj,բF踑㫗6!T0T4d͎c6}sX0/Ecreίrc~щ34\5VFO $q-+ F*hz,nM]_񭚖S 0|5J;I[@w{nImu5=YAyN5dCH>M ,)*?% }uiէ$wY x^AB iy\}nNqio}Kw_ 1B$Bdb" b2OH\:BcA}=lەd2]BmL}5zŽts\_;`qFGӲ9)ߨϖeZ]GBJC6ܶ.;C+Z/J nb{@f u /@C/4 @ջ~E{ uxW1Рv'o?7(x-4{W@1@@OV"[H[?hHܶXG廝 ->~v2]N >K B C2@.&ޠiB$ 8)  ̲ӣ3wS"d z2>66h4yYmg܈A%*a0K!k?FH(y<9Sk\/[QK6y6r(X 04*@~emդtoY7L +.-u怉eJbh7dLI7^ىo[MV_x 4HES܊NpTmcד]FGX ݟTӗ7bSeO鹏Ӄ4zA9Im[-Z%+=A(PN*Yq_@=eTpi#)(Y1N(e1\)J6Ye0ɶ\td^!f5\9?T_fF33te+~'DI$]A~~1PsQ871m#ؼS?447UÂ\1z#ɴCUiVuJ[[ H蓚>wȄY&z%nRȊ٠8|glm{7$uNZ z|V(}O4!l?>rՅcfɹIyOK,RFF?imdt*m=dGOnN8]~+&$$|Ұ980_wl۳,*wP4=Yz}DZkXLDZ;$jo-@baVeA6!ri iMTY,XZGFɣ_,&~/aOxzUQ1<]`W\Gx⡵^n¦☵(TbdUeo4'?C](~2:h}ŋPq)SYDlnovw5"s57ft4稤Wtq׹_/,>;| l=I=:܈kb TAb/Bh"6wEjZ2%9Pzݩiр190Ԡ-JwU| ?6oL|ʃN|j7;[!gaĆ&5D3 qS$\S_⧮H!ǙyDgDc[NGQ#y*5Yr\He3maj`t&?-(~=Db$RqNڟt Ն+Ļe4 HN):2"elȩch-0}YɪIZr3vf*3!1~wa3U0Ӆ1˰"|0Sj-'v6j2ߑ3$4J dR;|wքk/P <[)‘nvՋ%b,*vގ8W(B,,T5vIQDx ʉg G;tber qv\]S lj؋x]kEi].s |Eu$zgO B!mi9@ w+qR\1()OX4rmn<tUA4|v=2V.?DVabZ*SUYEp1+ͻu+Ģ:'T^"A4p*.\Lع6߾E-߲b;Yd,}<Cv^,bݭbceϥ bYsU+X256\ rvqFSe-=5yS;P!3gA14DP+txܮl}ZeԈnRj ƽ$0'#/=7 F̶{+rdg@Pmm+@JŇYciJop\W@X&4F!hMKͬbv@PXqtew|m/a@(Sbwzt7pWNhq: i@K Zdlg yAfZI(x:,L^BA1܊l⏱Akɕ_3;wEl@4>M ),$':Aw C>YWY ; :[@G Xg4DnقbSЅnvvD|FĿadkKa&%wX3` Dېl3pvCyW/ gW$S~-ng2sc1hqD\o)$S*Ȓ8_e`HP ī_M~^W1}c{pK!Y$<7BmtNM37[Nvئc%Դt,3iO@l7Ч̓57uK LN8xʨshY6Wy!o_pD^Tny 05WJqeԖ)b=7)t}~Dҍa_5( 5g|$0SRe̶vEnZsu~=|KiKyZZ90dI%~vE`up7:z%AS\ipԃ!7xSd]#?jF2ŷWMKAqEwMd?=gYZ7zXZִF! ~L]ŗXiɟ|E\Ât+.*aphG)%uGTIT|]0 ׺qXd o̡1u^n>|@&IK&q2@hF㖀f3\|b) 5vl,9~ ?CX enNcT Z jI{*X0˝)bZ.>8ȡіr"cx .CKNn ᱤ eXW",ʙ@D3&Kc9It.qo5tc٬s\sW$G }؞13 K\w1k*QlypiQ&l ~ʷwf suK)O W`2jhLoW,0# Cc{U&҇&PO)Kuyo9s ܍{^ٱ tyJbey`0=J@HPix4C[eNG,dk'67VtJF5kU.^lWY!} A 3GX[⤶ILd{Ĩ8s+g~^59k ʕ[[ h+H4V=-2J˦ `}cާ{)_~_-Bƿ])p"l\lS`<ۮ4T2[;GPOqN#ݙCwdYx:DE࢔QݮRjy\x_?0ZsHGy]R[ n:sxy^KQ{-Z h ғ| Ippڠ$ED > <u!nJn C%ӄeW0qZt5gŷ woQ0uŷ*t.ݎM^Pd2p4ߒ?ԅBD.ATU;_vˣT|iACeǘb`;}AbI7yx4LbN9tV"շEsn |_(cRx$KCPwvC=p8{ 玲; ̼ +!э/ETѡ$*\хhF1 f Ep:b|<\C b ,제gYZ7zXZִF! vFdz]ŗXi%Gkͽ-pT ܺ:>%<3^Kg^szk4Odeߝ=~Zqk%h $|JV_Ԅ+o.=PMOX~l[gWCoT}US3Y2+$92P!Љ>F$\qB}: և}Ű/ᰣ ?U'1!}EGmŀ%(5l=a /2>m }$|7t?AbQ%#㉟!CC\z\YQ$ ~ <^y@;SM5h``w g!QEA^-TÎ4p`6;HtiG_DCY6@O Z X7@lG.ްh˧IeZb/:uټ D&;L)NXA" S ;|O*MyWg͟✱D^Mumܘ{"Pa R 9PƝ\K5<4p+kYJ=g+b9%D/=.(U-Y:lcEKTDc멼_l/XD~BK:W-th8vLNP"c|0!;s8 dsItj̲+ɺP2(= ]SV`9+;T bU4׮'UF^CGM0Puy~ã1E,?sdOm^elxȿvʭhnEe"x4 ?^PF0]e^Zk2 #?~gÞ Cp1֎jC>%"Z!0m* ;)s2 _z{4uH y+p#5+c:O&:-RUJN h&TF^dLHvceWUx*>6ۑp4ّ9]s ZD90, C{>˄HP|LM7A <Ѥ=ZPl}NysauvB񵄽oJt5GNc-e6Bhg2JY ClWw0~ɽ둝oY<>p(..eH#lIj;LTt 6U`kʰ=؊N{+IFY2 FA@dV2."eMnT@ĝ>~yuy/kڳdY웶_s]9ՕT{u[Q^]zlnA՜b [H8.c8 h\A"M A-9ݐGIyADI{ [ ,g;A%wֈ ù @Kh L2^fNȍ1NAOjg׵s9cɜH!HbQ5wJ 6z:< y kޯ JPV'YBc`XJiv2SY߶`g8yXwta(ߤWWr(N~z6ر9 ޚ~yPڋ"FA&|vx ; H϶L,!ƅN"&y͔rM'oҁ[}W1_}ժtC".̆XxG!Nqm{٤3>:o*!i5RP{:5S-|-I{=)MnC2OJUcTϢz F|HyrzqX*Ff}?f˃>&tt:adZ|ŪDp7SI8$24J\5?H&=3:{+q4b/' //₁r7J?zaR`b*ל`ى/qpdV%bv'r􈘉#{YUmIa*Ъt鮿0v2ui>ͮ@iͨ6մے?OJhO@ YSA-_?bOJKʎsHhMV2lZMJAlZƙ+E`XAY7$vzBf>jXڍfPa!NϧcK!z9?Jhs2ǐ.ޗu~/XrO\6ߝX#z &>Ҥ˛]ӟ~#4%aӚ:Z^POF}qNJ!;ZZ,xl@gڐxxCZJ 4"KI-2Бmy%q:Qhj<4X2Xm~h+_0jAg3fAs/JɌ*2c[<֒g:閾 p tdqKfǓA>n1s no k2~xJГ27^k).W$BLd3z*fTBkZ:4*"UsQ ӄRy1JU8vL[qwvAʀk!Q_}Ť'. NW#qFERx-DLoMV-D1cqʴǵהUڢ1mô6?Y&: ?%.ϩTWAU!oKϗzZ,a&ֺɓH#![ qFư+HL5KEZ1%Al|Yuܫ*IL&0b'͙dֲkǼF_s«Qo(\b-Y:t~#d  L}/umD}F8\+BH{50@wض5;$^2g]Fʖ,}! [N-!Th]$W(~VdLj'E4fvO-g<rмMZ>r\(|>sQu9\I-:tr Tqn.6__TӥIVGq=ԌpA浯U#6R9VZ3#K>u͛ǔpEJvQ2C$wgZy졓wO+Fm9I󢏒8EՀ@Q!\b35^O0p/h%專c!(?Ъ>ǥQ OEk<>Rɓxy [ )uF=|"!8PsQk{0윫9)fږܝ q(;H~WΩB<^wrFzII~WIt|EfMA2xxRR q f<^Mc=o"=ݠQQU Y4N ([=ia]jAzǘEvtFØR"̮6EU6@1UX7>XdIomU{-Ǔ1ZTR[տi(`׀+e@[;XM8Q`9U1aZحh]Ԍ? <dfׂ[$DK|UHc2[fl>O7GN3+֋ĂдTgMPWܺ?ԪTTlTseVy)47H+aEkR  Q?xOGIYpE(d٘Tʃ@? E0܉s~\:6"U=)E_fuP/[y\ BeQb{0Tpm* 5Kg%.q53"Й +aa1fSt6ޑ|j VxP$~S7R2I~z~\U|EUt"ɑ18}{ӄq!_;AXO![sl]4LHg|.r+>H]wR¸8"-䕗jvesZOD^bdl! ½UDv16|Gu!`SFЪЯ@!(c/2s܃<`]QrD kO eH 8U77Q645gc5:.OoNΈ-=>8[1YLWPΡHUTAAϟ[{2(Sut1Yl)ighzH/ӈV. {)BpRK(_~ SL +*jҷ"sC(l5lezj5Pdz"#\I(: !={<'&m ߇V3AijH my'X0Y <8[C>X@;})=~Yd^g-δ&.>EopEL+ܴG@\HeaAD߫Z@?+iTc޾~|qZg|E|)L f M;#ۺTE_!!-׌fyGi' o4[-tvjM>C2-+ ᯽T5OArS?X0r aRJ1m#d} MА\~'x:,*_}'-9NAUՅoW=n=<jۈFY%5[wEQ֘t{6eϖᇗvz$B蛝Š܍*ts?}?]6j¸ 䄍]Y xT3V<;wI,K@/brokY#SC1UHp\1\{8Zyi`cGs*PTڙ7#q*:j* 䱟+#Ce}"5t@<@vypKT<1`B%g.PD7kU*56n$ >̭5 '䇵}"M&mԮtk,r[h!2crC|5sMo$_|37ġD4ҎŻT#ox{yV/R.frN4 ۘ\w)W8DS.CĽlm|L|T82zhsY[<[:bD/W"xWGD@T8\"OɩAGO?Tk/+~ƹ%x¢\RХcuAwNTs9J /wYNДKϘ~<@ĉW8Ne"Td+-ك8Xw7!sF R88w ;pN>k?Uz%Ԛp ff2jdy=jqє+),#ZE@(INNvHQW8Ƴ~hNC Z;g:!F%MfY[tXP-R8q?^1Ad-5e͹w6W8Jdҗ~I5 8)H@9r*:QPL ځP(3Dz 2d@N%$JGظ(4̨M 0!S#z׻au,&6M[;:<6E=*`G.|Γrţ`6A+I[2SOq ۛ`h%x–WMtyi`:I#ݣ O`Hx*`|xqړc"1 VFC5s"TN^43QI~1Q0.MH9<@=ԛ |@ʗ@}ɾO~c5ĒqN?2nu\z:t$\KU.Zlf6GAvWM Ǔ؄wu:G!좫1o_1*׏Eۺ@R\} 9IN 25Ʒ Rh?Ӓh]@ǁƌju;:RwnE$u МV]O[j~ j*&EZK䢬vn!R߫i8fD/&9Aۖw @y5n(V6;IBőb $m^%rqndwekuLli`Bxj.Ũ׵vWa)40xT)J+xuj4I60.ϩJ#tVL~GR OLEC?M⃢;z՜"K0q(9vL(ia@0k."D;o2 % ˤX0C(ؘ2w3eٰLZ@ϻab޽ee $ł.*JGv27KR[|эu7\S걁5Xg'y~* jr`8A<\ah⾟T؇+;FJBcX~HpR uPdʍXwLiK9al[V%_1#CGZ; W )JfJeV}/xUQap%"-#07o" [R3Gw2v@4*6ҭ918H\(˸vP{슋+zsBIt?P J7kj|K82oRS\)4chKBNjߠ$0٩scfvSw% XqBPR@ſBE<0^c¦[)gMෝ(佊׋lƥlB|ax +Jć2 yPGxD{Z鐹¶]=#,OW0a rjS ЈƨH+P"G SBI00n*͈8sxQvRgZ~^=Fy_JtȄ1uin-, \&dpNA] ^:tR|%y?CxOt8,WOxVUEtBW859O)yax.X. MW}Qs{}t*BXUG2hH[V}zK@ e v]o?lT (T.+8?"uL/yYJ k.$XPT Ӕv2~Kn3aUm\Jg2=׍0Dal^Oq5xO |=[iV@o6(^i&nq$oTܥTLgvyړ>Qfvh\Ɓ}MR$j,=2oU-j3[>ԜsD)kz@6@Xa#R Ck,([uPT|Jfh*C`vTyv6ኑ3R!G"pɋO|qMpf( XxhLi({#hC/CFS¸$N/ 4["7xh8߅^`!+ ]?dܸ>Ӑ\ {EAinfqm&n2w98-S1Bpoi jK#ճpezG>Qfw5ǖ+\˅FԀ47>ׇ3X4Jm`Dy+'=U&AM k?fNzIs(E^]mQn-6Z߈pmf`Ze "F Jy_Pn#5Ӿam@#sUKR;ԨwHKp2SY xa/uI k[+ T ̬fIi]ͥaVƊ*|Sz>'W+S J t=饈EgC׿/ānB:GmjA-ET 3,cǶ(a,9Tֱꈛ1lK*&/ +ٳEN)5k;4ԄǑih#"j?DFOM˿/ %ϭm, G!f!ν݌Ϫ-ˈe(u%cN9E~˜:H@s(s`(b‚HCU$RT{CA9 mVmzrm7 p[Rk\ulͫ=Zᨁ"]`H3{/o=5D}IZ$WֵD^9۷ڼC>l+5v~mt&/?ܫ)$+Wṳ̌LHFูWf0Ia{U*UC/ Ĩf#Li75륜,Ok>Qgʽ/1M.\qEўq@YxӡI%9tbMZ:;sF En)y϶B.!N<\4&S7OC !LǕP2>Wb*2;b_O.EgXxH?(6ă3Ox &p KQ_Dl%jLql}ٝri#L>Ϳrfr&|:P_1,)&ɉ@$#M{Qu"[DQ:Q!o~8AaɤiAױ; I\ȒA prF06Z@K2 ^`I-{)@$U/nށ ]jSES۾Py`7LSZYy7"/$A:ńrq7sS{'W_|x{;F'qH$ 8Z=Hvz9ɔ 2~xe!YgXM((5y낈^E l2TBhe( b)7C30~m!%ȌwO+>oìx]ӗy$:.c1XrQ赧f]ی[g-铌}bX`ipV-UK89~@Vu/;'ܦRw?TP0 b"$3tgaM LP/3WE҅ /爙2=!ү27P5اrH qY^˥ntf"(.xt5&Q y5v=#v} %]w,Tk26.,Y) "DzLoy RG?kF*N*M +X9?b,y>$1▀qil¥~DB6Y]ݏqĚ1>S>JSiLdb XCbF uA/Hxd@ZNY|\YJ/SkкHsOEfi+%Wbqik Gnэ'V-[a`u֘McQӍM_wmR?]y*V.矃PfN7ʕxrj*'Qׁq. jln1fn}6W" s:RXOAx,i仉I6މJ_f.ƢF}A*RUaw"XJ%'js1}Ntg615ɠո-J?OB8%}D%t6Aupve #x".{_ tQl tnR/A ܳcLƅrl%͚7zйKETlu1|WyyaF 0ahg8P09,ci VOx}ӮWΊnMYo\(CqX~&s>|M֓[d"I-Ąuk.QWfhForVk?96@QD AրdP?_ Ta-/+]ΘZF/ũ[PPpiOm2ю %8 ox^ mMl95AxoC: ?2#%adI&jq|i14>~2VU(I})zlHö́aX|j̮}Y4ikrmCS_(k_5.'6)$3oaQRioww$v tylD_~C?вw ϹXʉRtݦ(L2'8[]Et[RfgMvɮUA"ב!0=3x>*uF >Iت(䮆ܚ=:l,B:9:QP+W!*Zfyb"dqdѰx(P^"uk 94Q-iѾg_VrWxpmDH- Ǎ0N'J!p=6,8$C}QSΛiC;; .0R4 #ƢL'2EwzS㼌oxsIpԺ!׎ IV_Xiw[mj(ZeLdh˹,׀ ,,V$-A{Fª{)N1a3܂cv`4,3hWdJؗK0JQuo=@{5w FPXi>1'U,n|k@xrrHBXf~ݡizwgX,6Cz]e\hn,;ř .`!CZhyýOo$;oݣl6Y+N=Y~:JeQ8C_ob_G* rg2vayXR>.gdfsu ex6sΤj}P<4!^c^"u뚖ÆG pq'3 `3wlE#oS׌j˒Vx8b; 0reԂVJF4r^{1R]ThUf~gs S$QT]աM{RQvo |2mյgY8rs ֚x"A_6?].=h4 UI" AGϜFx\!dE&׈J=bepFZG{7@R(Ac-JO2SÊ@ڥ}Q%CR+;ϲQ9{$Y%G^*uP$VGI#pl=;36& pkjh-ѳoNBDjb$H5Km E4ړ7lЏzuUj]YyRJ`#nㅓ:c?9f& بycYG(x-#OP8/DpΌi]x[CxuբJ=N D" XA톂Bs?4 PޑqŠըklsǤ ጗M[1BU{ Sebos9J*VI{1SY7b7 .Sr5 å &T`*4E y!3P#rS`7#P sv~,i\Lс¥NJ@wfĩ$d3}B1G~H % M~ Nİ.Av~& +aᲨ,ݬ8=*oz0lmWGwTY6m|#kH73xns9ǡ`$$ ^ r+MDTsbvT,? %.a BO_r0X$&{:Acqo u|/|!mj2wj@v7=dp.U 6kP+H . 5&e|_-Ai.̌#%/Waf9evVh'oB_GjHk|>>%0.i _bc1͛9&bاaX ~EAZZc95.WN,'ř 1{BPqtkKxybO5sNmߖ>."4 aHxL~lCsj£KW$ki3v%ekvǙG@j\)({F`y'q``Lx 9%(- r8gvoX=Qۋ>뱗VJ׿WJo8{ _*,Im1&+-?:C e>Xp_ZӏE!L3#%dg%v xٙ(,ʖbY_2YVWnT]!Ԭ&$Ah[ۧkjڳ;jOD !|B_S7KM$,#}-BlTi(ER\8vc/xDRO ̋a9怶;W'rzEw<5+ЙTKgC۷ ֔'rܼ^fMY@$|3|@)/s"h*L ޱ? :ąTFvCK) E6fSC8i'>au:?OQtdHK~fxdJZ<0JTE }3qW mc,eB٥u Eˬ>ft4a~mZ}6cIcoʪ|KNjA97`#qE3X%.ʯhN?x Xh:~VkHH=e66L r|b?r:F{Sfb^5B5eWL=_"q X :; LQ)o)qIݣSU.PtTQC7=:HWRkxsOĬA/EێpѦ] Jye6|^kxčYEsTh0d.=;E 92t{zMYt^bYm+gc$Fz*ۧ,S^5S:>R:~FҲ4VH .:Wx)YhH#jho}V'@ʁ]-'ȳ4df #Om軑aJ_(Nb Op;-jG{Y`l] +kx/AUU7$||UoPW/FZƎRfa1I|Cc@(VQ"Iq 7C&jXU]H7o#Fäe󺼌)$|*<վGWuQ-J}[Ǹ+w`5'H |({) *-=~,; *d>b(6Z<`n8>dR4j"d;LP"OJ& QnΌ&_cN[zY_wE(TZ I>u@(f˄҇!z]$+;KfY$ Zz' DhV5O҆J>uc"O dS`}[ɬ @*_պgQ% ק\O9\^hԤ!{7SInDA}7͙\ &uXhQKe k#b^T@$Z4W ps~,6f6˘DR z-WΕ&FB,%GqџPfq,kU,q&V@x`7Dvdv6ɖq]b2|2^^$:>7 6z\`90g$o :$v^nv{IIc9┷ZuUѤ*Jmi4=%bD-I uC<\]yn绘iRA VQty|ED)D&RΤMFڢh_N~+CѸ%" vMk\3RJ@E,BBq1, # C T2|곗3'~ĚVG|tC0`V`D>xanw($=a6rz'w0] l?,6wlY> W.ɏ -Z$Yb=4XsB] !g e3 ܎q&nm3*@2- X|n}s!t65hbfs&*V;[D*Ԙ}x†a-jhJ}4=o6Ɋ3|_iLB9r$<L iCw;;:tUrl"_6]J_\ Z2i.8[sJFElNQL\1ncڦ4 C-.v޹Y+p-V7>ԅ Hp,_0{d䳢xƜ0/$~șU"Sfo yEX,bsMNMyx q F)gV("+c8U>ZJm/IƵz "0f>3uAŕ[es+2j bIn1 %䪉b4t8tb> >=KyS>PVsC'#{;%YiIp6IrMC"?c֊wE51`ٕ^rY# t'cBOst&[[Z+9kSc-M}X O^t=HW|)0c~oED×NVbi$ST6mCrW[G%=޻i0Y B2Q:Fx.9ٿqo{؍O$uTћ'Ԭ0c OS.  b$фWG}S%i8*_Qx<Qޣ1bӫA̓އaq< .{ \ {(Gg~o_pRL߯%Od*"J#$ <V'z3VW^VռU߹gPyP@'e+(qV#0E& 3Ny+I#ʅ -!r5HHW.< JB&E+ 2[p40C賺A/vTQ}Rc'b"ERvĈF: b40Z1,_"|Xs퀦xz3FA4JX^B/.^"`fV`igr1  -%('T$;0< 6o<7ݾAHb|Ņ8VG8hgۍ\9ҥtmp,=MʰqQs\hOuaNF7WImA3V8A)?ݩF2r"uPR[q Į@< Ű&єnnk3jP%]üM0Z֢.izJMӖ@&!<F0!`܃[-cW[ c! ި`V@@AWBڻL Tu]Yq:bNlJSUf 6`Eqp֖}Lw3fj2˲bQj,כ]0oMUmςa XZsaaѭ}V;mmפH^6lF62bnW0G$W&Nz 8)G3`}~^s\1B;5ъ_@L8M)x@54?>"J\kn?!"I.sOɪm팲#Pe#X)[xѾDٕO1Qm*bh$iQ5炝Հ( &t^>t8߄M1R9~)sk%$P跭 K/@2z(e$>XfE[:~*)g{E?ޑVnw[ol`ѱkܛ x"BƱ}_c^t: L-XQw_x`ea\e`6TX?{(8xcLw{:䀲dc/ MCrL;Yr #|bV2ko]CFF`>_n4ȊXЩ+P%JRPُ&Cf[1gÂ;b>SK!  W 3bve3#صbp;em㜕Q2z=/)eٶyA[eu_OCg,Xe4%JQɝ QIhF t_Ybt' c}XDIOyg5KdV*"7-wĐqܞOg2V3X>Ŀ Tۇl*)0et=E5[G6(`qZG yĕı˪nuԒ~Ļt0Dsubr={,.` n( |RT7%~pB4ab\S)p2=K,яD_D>Z-|#˵b ؾdx%cыPjw=C &T9NO?,t%Bz.jBvvGHqmm ,__p+zV8YaKdf!5ȹ (vF滺911tu޾_CJ*xm-xPQ-jI?Kpͮ.0; 8MmV֔`MHO`nS~V؊1LۊrI?(4G?HE9qU/;c8[j{qWfΡ:4 2(6 畯JuqՌRXq$q=z-~9ɚ#xREX:K< K"K%Ԇ:f^ $no*0CFd ȡg;!1 o>9AQ&"n~"̞GӸref, dDF^J5!9aoOt ^"9r&#'ĀI泴A*+?(/%QQy$BdadfRwCGGJ:etW(9nf'W@;+$^r?βTa'-IoʻWeS_%ݵ73oC-짦:}OG`*w[蠆͂:O(Lsv~,je99l7A^QrgȈWI97"q2I J:4PwSnhL7KX&r b~yBPQ֞ N>EmP='HViPJɼ L^D⬸ZpFFB{xQmNa+Io>:U)EX^RTri{ȶ~YC* PQ$HFljs`YywbZǨp`0i8ƦeBBGV.fQqɸy?m+`"ѣ[>,r g3d/it^UUa6P~:|)].LJJY fеlll%f-C0NZmJctJPm!7ɍH Q~7vv]D@ȁ *e=IlFR}cj'&e_8+L5+Pm%&f04kea6'T)\?_&Hɨ/eոu4q^2 <bc%tFO_T)\-#/T`W'HhbMx2]!Pҍ{5 b> ѿ] LJDSX֫sCJd wAmQӀg7͎G)ǃkAF iܦơX9O'œsW\(7waXimue^jp.eGIR!3|F!6."+EѸHT]GiҤK8R|/WQ/rjeAk40_|ɺ۟7Lzw^6c4 ,nGVdV@bFpsK#Gd$!81k2P$QTDnE.-]m8,fW=vPΓF&-I. g6J& 6(dchĸt:hqQNH9zMcwOPUO9 Ϟzj sWlN^|9Ⱥ-iww4F'% r|ExQsr$~%"S1/4b {_8IbOqJ`j 6\|Lxv6%*R1GCGv$[@{`$Ƨ(D(ryJ.O%zz.:$⽟ m MIyZࠡ<8-c9U­ egwȓIfKQk OW,y+-CV,!Wƣ%+܋k-N e @ݼb