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  \ \|/l< ]]Affine_Arithmetic:threads=4elapsed=275.950cpu=968.440gc=41.108factor=3.517zXZִF! H^-]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_CO&`=zY^%.g^7I8I{L^ӝNUcd3JS 50QŰIkwfKV 2U0C%}=:^Hja}0^%r?X'])#}AR*`? m4cS=(jGuF鱱3H}{oTG;Oq8I;4S4OpOirdXv]ufG+>;dzsdY (p-S{4Oզe$uz{HV2 ڗіhCپn<HI G ƔځtװO4N5g̅n e{5@",-JUS_ Yw -tD]xMl.ͰnGp$.9} n/\~.V0߶Mb5.J{e(iW / 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.MLl"G(*/[ ~sGĈ{Z)4#|,Ybm}Oڵ-dÛ+X$hUt<^XGʐ<VY)v~ŘV=o^̓pnh="Y /oL,ip/`דw<Dĩ ԁ5 :v@!Cr I6/HRqmϧp8Ȥ:])m1DBYYQoPEjSq_dί$&tD iXǗ)قo {o;a<|űdrS+HPo^N& Χ'lIۦmZd>%`^gƊik2w /7.eq6H)JZo3}@5@J"Z |/ԊE:y+2( Ղuml]Q-tG%J9od4*$a^l:G= AӇFW“Ň΢8sP[ID#}`oKK 1Ӂ)B0M؁w͇|c7@W7'9Cl冗X8vpws~зJ+avB̍ OPDL, V7)Yl!ʯ"Xݬ =չz!^"b; /}u(!h +*@=} =ӏZl1$ }J~2һhCT[xi-d5t^Ohxgf9fUq4{ t8e??hOW,?s +)DHU}CwG#hXI&+(Iib)O\Ņt&GG? r^aj3k\]Y^>JX܋ߣ[XX<67ˁSS"2ġG/1>1=AG< :nEdY}g/VN aO uR|h>ծAӿ"Paem%#u"wZ3 ˣx?7X=4@MA&Eyȫs s8q5~ މh8=~hXN*$R?%Xw(d?di@^X&jgOBCbTK$yfK!MCMX @];K5 J ] fض~6;}MXKU+-FG,]3T#Ź9~Q))ga99nrzw%OW.f`rvC..Kj GA&1P#4?gUm/,otޘ-3'2,K|[< {E׮3vl+KD7ԯ%Ft9OA9"90wS*=Պjga m B¬r`x*v1fIt aӒ{΄4Jʀ)NlGmx`=;+yN!(#XvT \`M_Dpdg^;r>j̭Xm&gxN5>x)ɨdhaTkz LGx/FOp"NdFUHnt, @®^ITW@.<ڄ6tYtWbC4W3œL  D`Fw},xOJk?Kh4@ Y kU>TLoi?['!̞ƅaھ_τA$e&\o'bh*v+ѝ krt POFDäv:%E=t+""K~[zc7۪"EX8*ڈ_R(B((gǯdSIHėV: Oֳcd@3_5aoG-I\I<+q( ׎7,䳛T F{}Hz*~\ UvBWZ4]+(p7~i->&jn,~F4Fdo3~<)-S U~l# lQj{#&lu=f_&->埘fK|?Z4B5!)NfH{ Be"R.%@:; O~2cRs =׎,*<;?x'e UO~$NNoB[o7б%gWoBL}?-0 ANoYbBGۧgxX7YiA)֗y][98FۨNn;rDO. icͲ2H8'ZJePɧL6%ceOmk@@Ob!\ Ё#tjRLN48hELK7ᆵf%?(93u/~:ceKoPJڜ,|˔XU]1:4q#R';JK-_i.L,yq*T S H,4r3./UP pw [IKdwcNзcνHH $؜u85hĐQ# V^wuKMv/֭5s/<|xA>X= c!IC~q|Qԅv+R;M:4 Cu~z53S<4p"H{Srfiޙ羹H[NgR^tx7GR՗]r)L*`-q bG*j~:v!>d馔QQ4dLMjҀWϛ u͡,(A`kXhmsno Qƾ6vրY!|lԐ)F&gprX{~&<1yL`^+[cz,׮b7ԍAE? ˷mpZNGD\w2}VB91[Y9植aH>r IG[@aטA}̞Bπr{鶧FDeog6'MX8U.d?+pFb՘[VѼ!eQB=t6 ŔWLםYlLS B& P/> 2VH0C73,WɪfӉ["y D4mCqk.:Q2BIH,;EU/Lbx~Erpb[aemȴL?O, eb[WiW_eܙzX$f~86k #45)vESNy/쮞+>ׄAȢ~:%BtIM\b gKaZ9O=ՙ>P&Eg_ &z[垷r}ʀK eyptv0hŦքa$;K""&KNj< tRvÑNv'fJt&i:&9 %lcP5Eқï>+/̲균2le 0}4]"ٚ`rH:lWжN;+vܧdsqĢCCm2KcSfgGA܇6hK.5yЫq:.žK* c<ɉ#0L㩆nqpKFB45". N)(ɼʖzC]c.3;zmApޚ3tl1-,+zRmnBv9&v Z"~S88^ʔ Rv׌n/S^ !XjˌH y8GjWZc1QcrhTœc}lYic}oQ&'#)la:+~k̠uNٳ/8:3?ZmiQb8xX հzI[*\ZcaȕiqjhDc^LLvK.wȩ^z=+^.ͻԛvYY)-QoveQ[E*y֐3әî+wMm0qdz|z=ϸȃĿ)a^T}&z}5oW}W=bX'BN^%*q|h<P ^NT*qkgɏK0$$-d Rpec CO‰>藵GJ$F8]Q^QaO %K1A&,@UcD![lҙ+W5'`I%\2IW_Ya6^B/lȭHp5\E1qu/k:/KO>I =Il U**9$Z<"3&]tJOD-Sc_fWˣSdd] 7np٤_T?+P9C? †S1>;gPn}c=$YpUU|Blnqvv&V5J~MG>e)SĉD`4JIKnTM})p'B }=ެ^K28L o[RXX8kzEE ^Iia&">M4Si"!E4l zSX3I44;#"˜F EW.{7*%# e['@KH~q~X9w@S { 0_( 21GҾ a(dMvڪa0.HSd^IϤFmY!h%2GRSKNl0c0Z\d;(͇3T+"]ծXnY t8nx/y@ucO}}A7'tF#ԵHF/c@8DgnL%[\rژuƃK^j7GdX\vђqf./߃if\)y1^hU2eZCNS`/Y]p}vZ:X}Zy,;2QXAJ '.eODZQTPh_Z$m(&m'#$"pNǽ1al_bFA^<5Q2ekmq+ŭFgtKYb nqqjdJ`x9[^,arnpjVj#@`ZWto%ApG =eɝF+A2k3h8w*V ws3~3!]TiƟ LF/"!-3k'VG '@H%NB%lo,[a"X {Nw?AYb["M$ҽs}p*ȺŪ+~Ja1iy{Na~Jr2UēY;)vS;}a;bޚ}M)d8ZLifdsovq@?9s&og۠>Xj+r :"rXf(vȈ!_ À_1p-ɛ'`SYS'R Se$5cM.s.#`If?Û:Kt: Q4n2׈>ues͗~@{f#S)ض3TYTsO5pjXv00 Tپ;lH o'|=8Ďf߭qJa H^F.R梅5>G,')VmP'<<ߐ\+0ogYZ7zXZִF! ~A]ŗXiɟ|E\Ât+.*aphG)%uGmn7Oe43T y8c~gU<'X_m27>V F)٥DU}ʮE U\`W>>N貗f.:&c].C(`!ܙ''Ăx#ӳo1rٍ|#$V]%fN '=~ZΥ/uɸ(e&c]Pv#өng'H@tjAg]AW9bQsmAcbH~18aAmͅr8qPtQp\ 1)צpGy+s둱J<I7)!jôIˍPdA y!qAbG5|fᾊ/ypAի.WD{6ǵiLI+7ibic(X8nocRE026`hnNOAzB*&骾sx*K#Fҡvkv* ,zȱgYZ7zXZִF! #]]ŗXi%ES3􈉫4}#!reV&Z t|$Ѹy)*3ΘFGQtv^Cx_C$ZHkoOɭ$֪˷V984̧ xIpO;Qf!};c1JMHc!U*h` n regG;՜1j8jR3;HaQAw̓Q69(  }ʂU; -@:WkrTH;wMEWmB20ǡ b;D` 3eв=,=ڒqkRa懸7{K@g$qeb<.C'f)ѝ2|\hY²J >}1iWw%?@s. >U4;}}LT869":^cI|ޔ@~cn*C0tOjko燠2Ap/ĥ_6@*[~QRD*kU"XkY6[}>픏n/dP_x:D#Ju/ B]dMKi;2>v!?8kw "/zp<G :6SR ;f} ƅP擊X.}OxJ}2S.d.V^v.W|py^w@AT;͂dB2⹡#װIC+zdxQܷsd.#C>x}ۏB.RHՊzEn1!Y@84ϸHN-`PTmU]7U S#\TOz]^qcʯUJ1)EoZ@ޑRvԳrF?22|\VZB~ (V߲vg #Y_I-ݼ=N 6mS PLKGc僮2O!\?JHJF0 -J{x)D}kd [lQo}YZldkww8{HW ͱbnkf6+Hr)Zw' e؝zD X;&gl8:RWr`NSKR^b6X?վP]wۥj5S*R6O|ِSlޯL.VD,puSQ^Ba@ҌՅi"qp / -(.WK]h\#Q; <~ikdͨxc3=$O0wfd},P[1_;` M.3Ւiq.xz?[ZՐ(RoLoL W2YI]Kzxm|j<2S%U<[X5R=Wfp+<3Xl2F]Du/ R\x |(GҊvN( gZIXHU&нXW-jF.œQ][eοoMb͓lZl }iI LV3DM\4s6zBm7LMAR?8M)ze#Rk K5Fe^H귘6-+cKJ;QXV[BS[7x:^~aJHҮZsCߴB-YLnmgJ$3ON<.::QA+=Bx>N>oko@/kb⅀:[)^% NCgn@R~V'ѷs>«+8MSS/X.!r/z0g7S:~Ȏ(N|#QY{gP"q0q>]𞆾O(,j}"R=7EzBم' V$;-cos2it!(w۶71oBFVL\^x017ao_M-.'fVחy}TAyMLcs׽](^=\(CCaos=&B:n|]d.l߯HzRqNOAX%D~IT*Up;X-dsNN>Ve<-pt|A`;[g0pe&s8_F|@WtmU|7~<'& qb4pQZBs={{VE;^L?Y|0KZ<:'VCf'D? M_=AT(nW m//q(d}y c{td~(+gp)nuHR^# k-h0^36o`nf9zA%J~Vuhᖓc_29t]=3&$c};\ xrl(ϿΗӿ|"QR%0mIӊiFª>wUbc׻䦉5io@27| {]*81H [ҥ)]p9u{tG2-{bG .X[bG?3`hA0#,dbn fpAv|D0 Kz"xkɖ@З{B) NsIi0g5;v016T̙.ZPw7v.a7E𑡞,T16ڳ$馤/oGϒYZ;OC!Q߅1^q!H6vM+ .Q5Etg/MlO;X@)|=g3 eBBLC8 \Nm$6H0q>}bUQo?UӮ2 $~ |JGꨏU{dd9㔨ˣq"0 ۽78v2*JS1>5)yV^1R{863(}0GoȾWn_˓ 1pibltJ+fH+}A>N{ rk6NE 鸀gNdꕞ6H-T,fڑGyvhXT?S-!c|ҝuGo$x 1힧#wA@UbxF |;6^F"5Ⅵg=3M-&;4?V@l$3&G͓wuxz[V0<ťn ~X/ʳ"*srT#%(NM$""ts .0}3!Yf. f;qxWWtq9H(/)b. i|#rn]-i'ӡĹ҇7>ea1iksBXzܺ'݋{}U{*c$kJ}skM^ۮpPVXG̦@L+ǘT QrF@aG{`x8Zsp>n=[ ˘aE]pdlKeEXLt%YI&#@< F4lEIx QLtêXEOɺ <]ֿX 07kR\t=ds^_'1~DEL>㠄)T8KqA}baMisYiy0/ $3O5dv>{m[h|H*X-؏Y2h?+Ѽм/Mߦ$Fm5nC=Co G~Y,3nGh; DS7cZl*䏞5B=ʊ>S5i>S[mwQ]Wۉ٧aW37.Nme\,<v5!Hpn1Osd/VB&> 7H.Jjװ u BsTb> k0 Znw8؍19^lӮ>oh"γ`ERcj.pRlNP`l%=oJ$nTG&KN?d񒱼,H pJYz`ĈjaYI?*(뉌8ָ캡gfo#xMeGF>>cVzl@Kޗ1g)x(zBHߖEriztH ƭ>?\$P7lwBR&kP|iy5(wzy6/D !t\Ko]/>䙿+timzR[Q܀LQ M?GRxq=jfl 1l/r(Nk״e@ (# 67J-l/܏2|hOYŌ ?UkziIlwD(Eycw"S̶- Qc[{͠M9iMe|aR0b j~J1Z"h=hG`pl.&!yq$~ ˜t<{N1e";gੇ ֢Ve/b{n s*MTKrwk1. ;l}l $H hb4/[#wya#N#䫠v/y#Tg{wDl0mpУe?雐?Q*,|u3%F`-]Y-5s[6taysNmmdx+)[fsiX4K1 ڔ V^#Y#mj0/ 2H[\gT_Ѓ^ćikip#(>%Q3(4 xZpssn"S-^Z8"+]|{* $ \eʾrH;Y]B9P$7enk41y@P<f:;"+:s!4f5ƞNMa,OڵME|3rT {,h rq}CU"zJYY tI*h3^էXCJGrsiI}nZ+/oQk[[BjNU[tbi4mjb8~W|bךW!6Cj!%3m',az7+s3r .~*}ӓP Wlpgz%[3Կc{Zc/+dCo+I_0Qu+>L['=i00dL9% L޸E5G|f癬P#fNiT3rFpw@%m _]B6b꫿mzWǰD;GX&ArO?HF9A/ ^-{vL3]z-dIs6Ult-xCtJ\-9/R(quF0BeXbZG co]J#ZV`GQr=]sB&i2Fd͉ʁp: LzC"8$\@X(3 ,UNθd {P<>\kSg*H]ʴpހm9P}I2L?q4WCB3D#<=)Zw5*0p{ӽP˱2u*QF-ēe2:)Ox0L>xV+BfGurZ,hZjJf^2DA\)He䑧:똖W|~:Th\lXOB~kס6 qd߸-]61V3̡9 7RmPB$عM)oHoP&~0*Y&}YZs @ bA#8fs?}`(Ӆ!j͗Č$aFraμ˨_5׀J.cr"l 3v 3 HY4#l3q{͞tsO۰~4PXـK`{d|$SOi>th`Ah?2RMDg*4Ҳ Nxae VaWfeZLI6E$z<$gN +MR9T~Yt6~?m+L7X3e\LS3^v&IX&0^-YI"ϔR{k:W)EHƊcU2ݗ9MCF_"[hIDT\]h63h+Qxmq bO]8y憪Zhjgrc{R)U}-xwsq1WƩV_,Xe)_ۍU6(@X^Uܾ!v lRitOBW|2)!TG*'TV[iT;= ªMgIXgu;'<.֠w7۞Qe>I.ӓj.(윷sQJi0?t5AwՋ34SWxK@jmixwnޮic_uTevz4Sp#P Vcو7?r0bfG.>k<Ϻ' A}&@=\KhL-gCuv(s0ܞŐYŤO(D5p-qv$ΧwMP|-E~Y-fs+x<= 6s#4} TS=F+*4bwoj*Ɍ+#VUw]5i24f9&#y|+Dy:/7ĮzK=4*& [- ◆;9NkC^w^kكjr1m?U ̩ǣ,gEqs%mvd[!ςsܰ!tI gz!s+*ݗ*N; 1+H\٨`2l?#es"%~.Q|wr2@cG*4E+]*ĘR6eIwxOV${eKXSiuHY[U!}&E[0½As<J"q-Ph-+%pDUI|< '\8nQDԣE۟_ |skci\?x8SluvxG&xkbs,cUPb+fXʤ |^#pNcqPJcԕ81@2w<;/<LI('2jXehL+lK y*=I'5zSLvVS؞w*MSȗ4lF ia8eֿ-ߥ{<σ\mRJ)?tj4d\~ LHa?_tR_fE(K}iN:s4B> e!6=PIn5.p¢(_ P5"h%w{Xw+}]hDɸej!ĞL7gOsWyy124h:BҼKPBefUY!ې82PeԋnkPEm'utĺj22be;%6@F1~%ݫ~פDrqhX7})df;~xH*B u\T8n_6U4!F3%òdO鞿 &Ka~ꌬӠ`~)m~6;NWr sݍrqbcyw3P6UJ*A$YZjHʿRȅ"p,1f8~1q({ǎÙіP2V bҒV7^3CxT!.?鈲IN4c7{# R+xM1a @شvsH?- 99^յ3݁GC3zͱۚ +6fF$3VIka,`:27aNI\^ah$JNv+ZvF/efr$ ټfO*ҼQ*d0ߠl>%LJJXlNnDG!i<"p? ]P-Iis`HQp8Պ9 j-QgӽQ鶇:RP~G+bd[1Q9\*ݧ7lQ].+xE̓X?(V"Tksjǁخ j1Tgv} }O\ٻD>)n"3F:vgV E]0و<{ھ{ ןą#9B.h#wkvqD6_Q_\g=朘()0Y{̝@u1=(D=JIߥ'A&Ge&pd,+ATk4a_e&8-qwcZF)`0;u;LVL^ۡFjolޠD: Brfܶt;0G4' a+ZD6p {%56 zse'Gz6fQQHCNd" 7= ^v϶O[@gO*C*<ʠT%ڜu|4PQg |A{3 uul#6{jĸPQϧeL%D[ܜ͕wGWVouPֿ@v{3$@Q!2Ӻ=' sK@|;'ͻFC4u(ިY8@b@g)XKP*s!7l^ȿjfݕrt6.=(Դ? 0Th!_Ez ҔYψd`XG]qYlqH% @Vhy/sDfclzЭ^Q` /΃svje.dZcS^}@W]|Oxs /R剘HN?`c m  36 eWe}^VdxE&-A2_Iz:@-f"n!.{󁫏u;82H$G|chi}}Q3aGBvIBHMQXGTd A2)yҁO:d.5ϏS`Jn0 H3Md=D@;<}ftj<1ٳ޺ʀnT)82|)wh'9%3 @^Z7> IʬΌMHs,UcP႙hg R&c9\-$&gE0uf^@ ] `| t@tw6'P$\z SdQ;mu$fvH䞷hܺU[+O5>Acð6 Ydt9+x G"wyaW3ҕQ4q0u;Xx m?3Utb7dؓ<9X$uTSGP$SA$~›Wg !CRNgq졅+Ul JQ KPAm[d SW5i3ug5gWmRW.fxx`uTyCu: ` şW5adُ"zvsoCֱހw ~dVWP  ؛Rv#XhuD ;̆󧆝kIU5[̘3+ŭkǿWzp76潢"?Ȯ,2qU C`<Vn P*Er~2 /o*/X$DX?Տ1Ajby>">LxN|=KIr xPoBތh<&H,LN3f!1E=l MHH7o3V=F;[_@cH%'U Z@M}ROF.#k]_TV`1Eo-o)2ʔQEK4$sɥۄM{m>RwI}tJrYfNj` h KP8r;=8qհ!j3kY OḤ֠rpS1F_ iL?]љ6Mc6pѤt;ʶ7"r9~~HPfUzNy~>e\ zr %\!6x(U<#-d+D*Bӏ1Ȍs50l:qS Ao0q H;0@ +ഺTx]/7!ƁuiA}U7˖Ng1A(7٧FA[![ &g6]^~ K?t|u7Z4JF >۾գȨ6GA+}#hxuN:t,IhPfv>^W=|U_Ǐ!{y)UN KXI7 l-c5I2՘w2R!/vBCB-  TVC4)[93^pe4*Ce.΢&:'ؠlkҋziDbSZՐv<'U%S%ӣ'UX0관[ǩhBh e AQHVhF է ~ߞGkkj,2 ?QmzHQe{nK U) *u9H:V_7V&A]9$ 3;bl0gvQ;Joǃs"&%1LyAd@EX*J>r2}4f|UÐU,|h1"=hh ll QipDa B [9zj؊YtXTL8A؟F*;7Kc+ `vRvƷ3)(SOkfi֬&U ,l%'2UR# $~8 }ne5:$LԞZFLboU4# 7N`4fx`|A1< 2tK鄄}h+n&\2? tV)\2(}]D'){!S1z;0ie􉾝s|hfrW'j&Kd-wz;F6l0p6&8UC{3<5vzOnGNdWU[g~DkE#x#Vd}2ujw^K;OQ3VL삖c,Jʛֶơ/obC#k/^]Nq."'y`;D&=1"A <%g2PҁLNJЃ5f~@L:`]襭K[ 4v*M2ɑGy,>)+e`oi X_ q/trqROZFf?qe`&+?&؜0E17sӼBd㎳lT_ Ғ}!5rĪ71WYP (G42.ϸr/ R]8O@ 42(S6EkgxK?_Z\8`ǏΞe-ʑ``%pl]rj€zd!c@ :zG$wdbϷ})8mSOlO}wyk fW%exNYf'ߗ"u1PQʛ5dmjl~A 9ٍg7 O"Gb?*ztl+R+x"E:g){*Cmp|2>pe0z.倫FH{<#:(S\IJ%Õ;)$65c[o|?(1>uk^wX>Dh,΍kW )L ʧLRo^U>1.n:evY%_uTJ\ Fo+i7֫&ָƆs IVU,mKHdpɊ2,E4B` RDOY<{Vs].B„ ОMr u`R喽L2#h?'!_s]=&C'|O#23hf5;Ȏw.OC!FS*,<-Ҽf5 L>GKu޼)XF5$ 185dcL|Ye_ G8yab3dO%PC@L< q3B. oɉh1MSSó^ NuFǯn -=|t5(ic.#جwg)/fZjqv-D25r~q8%Ne*ݿ:Qd~S̄Q;B,M @W> 3Uu>_p pK w|9.0Y`gGuͨ9m~@|>!ݓV{*H^Hcܨc wpC&crFΐ92֪&aa)/$YT|7`BቷZHK:+PEP>1ƃg&ya {YR95 vY:KMP] #";Q@wK!t$<uz!4)ZIeAN̟q6d_^ky9r\oыOmyn}H)I0w+yC^IA<@c;ApWfLjrtD!7JYgz~tw=^;d jǛ5VzwN8d徂 r]&з!v*[;~LMՠF&O0Ks> -A'ΠWs|'F ;iB7&TUi!79swij8:WDx-Zp5yKm7ٯT@rp|傃 3]JEHUK8)P^z( +WW| @?MbeDP)!ȣAUٸ R1it.A`ӌnlFJ$طm[k/0-W>#^]5{,C~Ż< ɪ}9yr_ ߵsL*}rG? t)inkp31o"7@|uP!?@)RI7 -,lnFmcdb&\K9TuE(ktC7swKb5$`!y ^M[`6gS%U\BΦLm«kֹ4ohh?(Y:! 0F9eu#5SF ANH]rr?DcqҡR7:l3B{cls<,@clr{SҔey{Vf:-WRmzjk(>.li"H\t8ҙ,`g:T Qt^L{=N.b:PHcpS/qV_Vh?D+06l*-D. ,_p@wzH-Ns]D]tY9B5"ly6e?Fs)b'ΗywsY|rYkeugލ7 ˔Õ 4$ 6 _!rwIDDŽSBy!Tr 6鑏ZՑ#\y麶0\o1%ԼӒ'v%qJVW-YM n6ӧ4T#UZo1n7* /d绞_M|*K*oD}M^7)LAs::FM#oC)6/g4^=[8>^@fp%SB* cL.|mĩvr/`b>iR/UAn,=%YZoKt;φ$}06s[FqG[njyVG 1ťG ~b=PM@b~}[;JyJ4 vٰPiؑC$ j#x+g[1g"Th:-CvZW\TP / Q˧H4 @ <֝מs QEH^m6'3AHQ%Y6n_!L1_)1 [ _jDr7F?Dh&JEg_Z m\X`̶S 2F G_'|ڵ?[ȳi$*˽ANgA[(-x5}%Va_b\C61ϼX&Y8cvbE\c,_3.AG蚈Fa/7|эߟh؆_loR*/# 0AƘUe sRʰ٩ӹ]caS6=r_e(810K+RuCdK/^YjZ1]ckO mZ2@8 1W#M-.:ĕ#l0Ef=++J[@Lg6|'{AUʻ^S*# *ѯY{ǃG:fɜ(2c8ͼl \СD^$HU^5ӆq?g#*Г<2@] c"nHP &DEINCN846w{s@ Qr>6^.Sos='sS#BUhG[i/bD)ArLZ!Teځ} xNM[IdpT{լy皾ktlB\pn )['{X^it.C7a8lm I/^2;~Tv0-WT7'EMF`l_PU!sޝ2J[ 1(m^/(`%Âx ݎ·n(1aٰ~ '+`_?up^2w'”p~tCֵ((mP1 3gؽf# iW*kH|2A0`eΆD=6?!-Dx~Xd< sj5ǡ?]I?9E?Cgp֤fg!n܊~"N-7iOqp1~Q.,ٿWf~~/ݡ5|-Juy? ˹ۻ2| DG1Æ8Q(ۢV~w'M?̰ټo:&>?؃잜:bU g 4]yNk`B,8 |lu$\Ӵ>?M}NwstBN&;JUlNf64OV 3i;fvo|(Q^h=n]x塮Y.p@ڌ{% L씴0eG|qRbWfhy$}.ܠH}\!\x[ylʦ3D)*nv|X<(az9GZ $z6ϞC~,v[/ wL-jɜ1Qh ׎$®ZtRB|X'k`s걽S`:Bxq>dU#|c-`K O4A?oahZ'bU((lCcxAA7Z%՘Qԡ/p oEF;taNM"f5Ɇ|}><˗͞{ Ƌ ' VIIGd\`W빓[u{En'ǟ-">"V_͊h&>鵾@Ӂ[=ƣ>,I 6 ,="_ܵ.ƿ`tN2k%J1bb?cZR25i[WI|Ql>l"xC")> J&==}wRk[n?PV 0?gYZcaf3db6885011995f310442995651c768b247cb776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569aee5928648e51e8c4b1eb47741e3ba4801d506feb