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 FF/<$ ]]Affine_Arithmetic:threads=4elapsed=328.054cpu=1137.280gc=91.636factor=3.477zXZִF! i!]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H I 32-9qR¶L kKFG ` n|f,$ggdlV^ ۍv85/WJ!BQ"sk$EÀΘ:P+'zdc:5`{2 DϮ?kB.Hn?Ƌ^;\mSGL)>@6.&W[/7w)Aكz^FX4Uݳ2O%C:CYY'kq}A:|ts/^}=8)I|PMy)ZپOnZNK պN\큹z֎U&j'*r59"_/HcG}Ag'Jk2& DGPYEak3K]|}|cȠ=+K+db{QGmߵbg3I r#7G¡G!IPat?75hlqJH,Hn|amFқmj3HJa"fhns+"l 3* D4+g(X!cvѦ]O% )Dz bDFB=ZL0']C;"'WtN凵aQ+>^ǷijYzs5/>UؔzNB· 5]y $gb>8,3kBԈpUG jҝ bH\.L~!&1DQݸ @X`ggH-xtP}5٣-ؙ a.yrJ;?3DVRJr"%f;lcn3k|&^lν}ovׁAӶx)=3  thOY=k !qJ[܄9%g;+m?JYq.ȵFlJ;c0Ffo@P$j -]64q~8{[?|}{]'K`8rNH~>RUJVKa]b 8|C$6R`kOQ8`e&,ݗ\rYН/7n e N?ۋ]>w_)I=S$m+ {1؁SVu`-z҇ !ƆGsOV̮nI:H2Ql8/g4`ğN~ m"?AL-M@=(vBiM$bMc6 I~wRD@3SlIo / 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.MLT㧳QȪD/ ~W7M nVfGϗJʖ7"T3ie܆-jfm<:r ÂFOfPpZ .n`!BSmykUy3[**AP(1 @R?z? '9J[j޿%JgY&b/Ȭ 86BEgM-zk*/c_p212¡)ݳ=nkz'WUMؑ .piңMAB+jz7 ?#i'˃`ĴCCw׌׻_a]lxvAOqiV/z1=-.)D|}d*Fh9Nf7i^<Wxه#W Cr{#?3j zX݂Ml9JO<+^η$Y9WT ۑ_ e.ǜRCI_eV0 c-{SIvE!,{kHIdq tg[l-}]U&>(ig~D,jRj'G}C߃kEԼSyfw믾aYJmf$U`#՛_\+ ٩] ZVXlhOܟDncTx+\ 7@ i#V=}zxZG1%凹tŏ s.*:/04~[cFGhƳF\e:V6}ebS Zr, h }^3_m&ONF;ޑfis}e']sqnt:'l-&ص455oAh{Πc'? #XO4ƊSu ,SNdpԎH )U;yh F(ޯ|˹+}"Ǘ*Q*J!a(Ƹ˷GaR:d[lңޠNٚ$T.q9g)Q(.ZnHq>z_01H%6 A%% E0ͫ_݋x>mzP]/[J!͉관 ?.ҹ6RI  "~íh{o6%zp= &Xr`|,Oq1&[& Fg/߽{Ηg|mP+q'`欰6e`j$B,Fp3{3~&JywV_fEzk,~0r㱼#OnϓlpK1|Fipԫ-:xŊP̷˚0Ug9lW"8Qܾf΁yUcm/)cli4bD뗐LP..ÏAp}LjtѾ|zQ b!I dz}G9$6 (gl %i moxtތ>5jJm{X4\ hҤ9u4L|L-*s`bcfWR9(H$5W{[G0swMI+Qgq9mid)E0(oW >uDo%eO H}N.CN7MZiHX{]`k8+@^A!wN&ӫu齂]J r~6c:,#Gn.q{CkIac)j.X;|)./q]Gw'0Ew{()2)a0PhV2c]㳎gwy T;_E_R,sqORV0dn857}#ȹ}v,9/M LWS^kxLO=G\-SwH$}|euE,$3E|@_8-FSp$L.C efv!p)DK% ~(OIt[SOE0ijnRb#}j } ż9v +9J"klyC;ڻGLꉽ/j{mo3/rEjtc#;n,+ϨQ$ujw-ʐm4n)\RB[zaNqMĜLu 3qxq/5Fώ2MsmQg3+RYɩ-n?qYA(!/h1`a-|HKb@;Ma*at!FKK^Jru}Xa9vl^(:n(aoKtݬa;{8.6. "x[2dT߇d86,k :`"l 0U")2|)pOsxiO Gʲ\cӕz #?%jU*uW),ےޯHlQLzGzl*ulbkv%N86GZ$K>X c$t6d\N50"]E>6BA~LpHXcg&\h[/EJXhR};/H&,\~Olx60՝ $pלPP:n[FQ#5a% PHx*]'TQ e=\liρAk,j( :*/ "MmDL^ ۸ywŐR3TϻL!ndn2v!oH+r Q%_[Nғ6ZWpzEKmW f[lpKct웬n*Q,}2Ɩ it#H7FM9 VcI2;,pn,]>6FK8Yd6Bv"56O) 2ې4ʜ2EFusA9v;1kJPSj Mrq˵퓨rr=h8Uc3c!A7_]ݜPmB̫9x^, >olcSw< hy"Ȝ?ee*n U:VcNJTYGu.FgRB7Ckm "b ԐP;;,&uXNm؟؅;{s;D_Q4ب9.IJҢxg"RBgYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uG%9*B!KG$?5"=xEӣEJa+gNy㘥4yy.*o|h3Up+

WYXUb3³/]nmCqΨUTe@b+͌UɽDet72N_g2["/}j|_GX0^il> GD<t`AF  62 ;̗VCTP/ $6Y*4:ҽB ׍wڀ_w< <,[LI>M~5g J97 [ڲ)ݍEz+\K/>1#nȆos@4 }N!@m@a;G4`+2y:?/©/.[f 23+*`@޹*&P`8@c '*j T5ȼR!rҀsg$dXN_gWp^NfQ-W mjsL{#PnYMWtIb"w,t5Z4C4`XеaxNWZD]Xh ,;!N+V Q}ZՎ_rSWR<RP!-.łCFU Յf6q#(я漜`.F8L޷,8)voKe`h{=Kĺ:Ꮡyg$tmGޫ ",>UŮGycwk h?ȲJj:==wt-zMhδфt AǾ&-G>(k;ͪ@3PGW9-Ažֈ-WĪpKfu s*x`Ed ax#f/n0;.nc.|A3duMŸ y๴zLBqG8Ѯq5k#(V= .gYZ7zXZִF! ._]ŗXi%G}7S+zy}Dxw-y[g -~9N~@&Q ܸ$Z~"u)=4w7 Z/ !e8VMyZ9)5=)E&@(U!`p"ީvlj6JЦ+VBJRBoƬy(bnnm8r?ogtSٰoR#|al}_0r A~ez<1ЦzRhNq*#~EcWL[Vb}ogK|"߸`H6 2H{aaMZm&e?4Q6R$m a&&ջHMw d wS'_q) oT."Bɛ͆A 30хM}2(\T1 \* FlfjNC cB)uQ?jPղX"mQz6M-i%LRNNC ?NIׂ)3uL5~iD?q僖iS欘Z_.a$VdZ^,?n #}0+Vm솜>>V#6"O1 uʥ׾ݞrn:_olzE !a@8 Ni dS7?AaR]nߵ:`am ʐ%!>ʽIk[c64De)Ձk>C||HJũGDžkw'ֳYY_nt2ʾ YN އkW^}c^nxus\XjOګtZ;k.8>^ʟ<`QBsAՍ\Q݉VT mehx757]Y;1)8Ps ՄEjcNJ[דS8H8 E>R$:rvXj+I~uL+U~QDŽ-WC+XMF9H 7)#w e.u`,4ͣc+_\P'a(|G3M /z@yZj0u|8Xxq4,/bsF_8p&,=^J^:"CQu0{!eϬ8P3}[У;' c[Hļ0p<U@+x::>Fւ[4-р~Ud?!³ECtĹ e*ȕvS-e<; YA7BqX!c+U8@XQ)!\x(E}.r\pLq* LON1'Цl: o,`70Vj(aT?,hu qPk`*íPC v4DWQ$'Хq"ҩ&`D~KV h@2IH²{K^6˲, > Èѯ4F@m 4rp(H2H$RԚhI@FP F)vcXr}8,_u`L!p:^ !rC䞌$;jn@wV8JkS _3"+U0}eQHB?XŭSڻ`O| PJ1W X=[4/v~ވ'!PX6~8i~WQCdi) fB c}.#i/_jP-^ 6{袏"3ﶆۦmRIEyb5 d* (5kÀ,vһ fK!ؽ6 |ݕ*gUJ4JURU'Q*mKK!Ay˽yQjȞ')BG+fsU/6_ՈrI\IU:f3ҪBe Kg FmPVqWW >x Kho6 >PyqC0!̃Dp!C\/`; ^3W"v#7`k%i^WTr2FC7BE0wXJ]iqVv'kdr,I,Om0lR,\GN`e}e )My1G,q )VJ/maZ+vÐ+)T^7>yT7W[_"vYZ򥃆?ڥ}w٣d[ S(ǀ.N50y;F]{[yW x&|nQaKe3dHp eS4y"I5{&5RWqsݫr5KuѰ! 3(ITmvࣥ5v.@j50oFi@Rgr$o +#`\**W7AX# 3-6a#m6OλhS}~ew }50US~A! ~IF`["JπjцZ7rҡvKUN'<|-1SѲr׼;R$9,zH_OXG64>Hw;)ɛ$Ќqiy6[)\$v6ktCf,|?CxWq,-ӘHsؐF3W&›-?0#(݂`R_ڢwQuVeM0ۦ琠_#Fne镗=~@WW7%mK48m,DOS % xH:^F[/pQk?\²n -Bք8tgnY"+;ުJ:So-\zs8#gM8m7/El? .98y2TU/T(*|#/ G ge?-/rq7أnT9Gߊ/CϟumZ>e1 'UCy^?]qumXlՒ)}G5uNHox:m5I6}Xn.ܣ5ǿTw t@o .P ~Dc5iLVJXs鈱Fw;fT5qp .FT~0ų4i14{:$X}mWOF7-7@HnϩR{(}se̼uJ݃SmToj^عsaӠ=t,ϫAن.%o[2u2(289fJ"s cs(޴0x)GNjႢbgVu鿻&lfJ v^ ;H8^r0,E<8QH~ (~)[nt#klLH~ոZUiQ k_Fs]ơ C8.x|^l]Wߴn׸&F5[ M\Oמ{_0!Nr"As ,hnģZ Hzx]Хη0Qux66PvU ()*1<c#SbC^c Ma0M/~э8Oq#B5\X&{'$ Rpњj J4*Uj< sv//O<2E{uJ|"˨( i!Zf+n[:vFĺochs9"7d?Z<`Es.Yz6&-Pob';D bS#?Nh-3J]*ڒzmO߿0 {My/ŹkcOїމ` hTIYǮ^͕|<tVԄ*[_)7HJHT{BIѲCc\7F>{аQ8,^f!6'>7J D<yh\w:eM)5oi`Σg K#ٴf&C9njhAh*H\[Z0? %4fF{6k:~?ċ=څqP,v 's%GrTLwh0_Ä l;s)Rά, 3SrSmjmM>gAnD<\d#uDJv.s0DlB\b~(Y!A#oWWWvmd/E{Y[5Ju浓 ԁk=B6 AL@'y }8Dy*߭xSgp[x_qr@[pan3lU`n]1U]Wt-u ߨ:8[qm&1U21lF5[hhl Tє-PN&RYoy죓˥V1NJ+;ݷ (;?E{.aUq)쳜d Hw~`1~P6BԜxq"?,P-0)(w7/j[&>[cHSKAaoGPF\st$?2#6/!eۤՂ4wge&e=" N6૰Zf78(2DZ6m%X; IcJzriXϾ:Ɖ s/bIյWH>dw>Ti0 ϥ,3Bŵ_}ӁAmU7q 20azu軡+b?23v`<+n0Ưd+W* K`g{wF1C=#7"تYz Ʀ~{E!ҧjz NdGU10!f A1LWӋȹqјCgp+8TV}"qй 3miW_(MW}Iv~ g|9*{ȁ,^My>0yތ"QE FOuBQ#(V{_ܻ.<_I: #eW[͏}puW4$!<6ePvaN}iEȳ{ )ɥ|miˌkS,r,Znw=n_^Me H%mbJ4#Jh'8CEk07x2j=$'D43 J&Ȗ=,o MEj(j_ .kQ{ϼq][Da*r)4xǩ!<+;GF)? $aloB8}BZ U dVPqFOVp}w .\ )&" I3oS6?38YxV?!P'It]zqq9 ufiR +ХljO <ʵ%P tCF&\ڱҨZD[1Rys=SR\q4.ol4E^`2&C!7uV&DhF7S?tކMDtW i辤u=ĝ T"Q >6ud,y_s%~續!8 m w("C :L؃_G9 71%yQ; DT],RX߫8=:>{ءK^<6^H94w̼rYwZW5jZޓHbbY r S?WTJjA)eT4@'K'#7Aed~+2 _ja]5gw.wq{ j_׶_#[g+t‰kz-o@~̳Iғε& @ q?՚QW!wP=w^&?s;21B :+v1϶@3eCM9{ RA OSK!W`tE"I{‹k"g2Y]r1,9Ԕ;=;B]z{gu@K(OBu)Oޜ^r8RACdc8QaKm26ER U&V{hwK"@ j]g,3U|ܓ[rJwq`y~u3Ynj[ow(lFE&Lg˱\}-Ćj5&9N:O)NM)MgZD6 K9QMc:/z5W ?ڣOLF,HbHYV H]bAa~'_"l4u\*.^}y}LYn }fmZxs1͓@\m.1IV\E6TC}{|Za jDz|zU*J-RSgmzWCtpb ޑP1۠]2"CU[aۍ4ݜNMWԌF K J9M( 6;#i^kP᱊@.*hO|H5KD",ڐ,qhKه\1 xWQ0ngEұvkb7_ԕY/;9wqduS+Sv`tåG0v8w*_W7T 5'~\=:Tञt!nOjxZ>6{!b9yk6ks=8 ]Ɏ GiqP&ej;^TF$WZ]WS1Kd)"7|Oh2Ety&=d_L_4 M?68/ }f0/ qi}O3r9^&u9`}=/SVb~ZK˟T=BRlB;:hRL3p {(hLA&  RE w Ect3 %"-m0CY-5?}ܮI! Mu:!9yl|g!wC)8v!ɇmH9f993B4l}U~R 64dM`Dp^F Q v*YmXS茯ˎXiwj`گ -<2/? ԀzO9r8fDOxg,&޲>e9vf >O1 uY.(Y|6b\7yKWNj%=HG9-4hk#{7Ţz&{Ks[yd ~ru$u2V`uͲ65SIƒDJ6Fblxt:){BD L1mt4 jV*BA O˚ u |9k.nMCZm`S,?OnZ?799p{gO (Ӑ:Is3n L CB!A3{?Zu?4^8.bX)h}| 7Yk}w&u)nFO|ڞؗoc~BkQYr?L5mLT2 ShGpBAJ;_|Ku5nbrM(d? IB{Lvֹ'h?Ul!I6ǺHlj?ϚM+vU[HNwк`ItybpRxߡ!uyJb` au++RiV:`5ZڝɆ*Q2{tΤEGP'y@oQ-u =4; B&s PnM>L_-RG4WC1S(|Qػ7ɞ幘sZZ2=OǽU||uzd%ff7>M(cɵ3I`_R'@Kw'æT.:!{}t2cױU8L 5vF4N0LQUrt2L^ZΑO]!l#;Aʙ:dSJ1x<().HA9~:v% OIpk&Akz]k6d ƠUsه54TіG!b[ M\FbգfI'-P ٌ=6Iمd3]j}L'vpeH7 e"*Z$Cr-I޳H Xhe/LHI4c+xKǶًx~|g)Rw1~ޮsS7Kj(T;x;gOjw' 2def!y`Dfܗ&5 nT>Qf$4ɦ?*̢Fmn,=T1/Y#7d_C;j)ӁWԙ péy,IęސsǦy2"GlYUht-%ψ(vf4K_J>FzD@)vAw wj.B? o,%]0ng>θS& A(j y+ˋH}=؊mDߐ'K"}o8}ךtY n] NX|tl- KCZ_s+0ѵ[^Ɔadw{DD]o)~=i7Y.R~5 d]S;zRAb1&5>aiCf՟]Q<"I)WS6r?GF\/d:/;b|ȯv5]G]X^lj|}j(a LI9-H1[ c +K+ml8,AY3X{BA:C]!ut %k%)CV.jTd`>^)ˬY;$jLBT}BXбazOdx-2+TN@WLC>$Ph~943g>I (TɾdʃNq3>Ô.d0%3/6iwʺ]zODuiٴVk{3'0g37*xk?3=Q!0H.&ѣqPbE `dzd%'CQ50.vh?M 㰦ېpxS(Z_ib˗= X\`6<<jĘLR_)7A=n=mZAEˑpviRwjP cǾ3J(~8sƀvÇ h|2QWMAZ}#Eq _ҳѲpqmnpa$E@" sKhRB4'J?߸Rdl"'UOQN\z&( f"/&`1QƸ m{=~d5-<)qӮ",(p*xcv4aa%dajVe4$^2_iޞh:P ٦ 7gu![Tҡ=#+=IY|/YltnvkW]uv&!aߧK4L~>za={"iI|;D5ňʱP.<֒Ox :fR5X94C*_UƷ(ϓ$RѠ}* : HM! 4ʘ~8,şAv˲ɕ cˡQV|NPʂ"(2+L` ar5!z 6kx K0|-B,TJ d$Q cпaZ8- |;qL <٤U/M<-BO<-q}RRnsKq&]kVwmVΝ[[QztP ӑŀSb ]>4$;sӤ[re`sڣP?YYegB0`ě (g%[ rH1 e2 ŏeGFGP )jhYjLz.`re1Y["C>E0*y;$.>Tnޙ֨A50:"oȦCIt$ݾ#)~PTUQC*j ?`R).(_ $4}ӕ}& dU9br<%6>W{# Xԗsn#InW)jOM|tX9_2[ Q̘Y]7m{A= C'){~5]At+NbGC4:_ث򂧅z"dgA$_Mcc+ɞ1Px+`n]u^ߖ (xT#ٙwQ)bW|Nŷ !a$}m.:lR31J+8`s6R)908=g^Ӭ ޳3.gRpRwY4Dj8hnWK X\PoOGn=΀5w]bLzJ#x^z޵7J'8(AHNd'nn (ٱ]Mͤfs;{}D!B7MLMt.9q\F]@E 3wI-rP<'"k-ʳCqRcExyXւ t#`7/3!U9oJځw.d<8&f]+M{(9K円4 &bO/uS%q@5`#o8h}?l77{&$}\g\ q*!Ik|#Oeٯ7;E7d3bA={!ysoTrZ9c[ O&+q\T6%Noذ<T~顦=xBR<]$۞pdv@ԒgY{umNyɕ te4{<F쥷?(8 hHB月;?k{x_i~z=f?'xIF{)~kW9E2KorW!PCŮXM;<緘tɲd^Ɩ &q$g-aΤ!c{yZ荐1gn$b/bQCDU/SP=Q's1i )&a@cͬ@b/t44ۋ[ y#sq4\jMySS&`^oȠT}􃜀G@?1yӛ׶/X`OB!e e.dCKE]ȚೠU6wjZ0 >+6+i}5s #V.?&B.o0i2uivřqM(wgܕC۱s|9r:.%jau>kDUS)B ] #;(?'1ޒA5q4X4a^;`'2i8FT'=e9-:`!;,2Z ,St ܕ6WHx8-7%laZlU k=`7cQgѭi`Jut {G}ۻY2)>H!=q;wbsn@z Aq!+Eޕ蹬~i?:"YˈíUD,YܹWEE% q"(tyzD7a;}#\$]qiƻ9;r'|+@ u@nWA/jhMAw:[.H-$>eXhzA"s>H_NxOGXA .+5QTBf|b$( )늕TEA6ͷ)V ,8W{ tM?Z(Gu1/ЂhA5b"шMa =%O%zSӠҴvmVY. 7`j>W!' 3M_B qPUŲlǒ?i_;u?1kdf2f_~ZFWZ%M^r`%}w[/JRCqkGzd>H>8~fDgxWB/PCdt.N`b8w_l SPyOV[dU<Gɾl\4/6$aݒlWkUG W=+{@W}% ? qB;Ǻ1ɷt _f E^]1n7 :\3G4 -oX)MS-077hCī`Q 57c asHDCo^.ժO 菞(ݲLZ0-F|]%_x1\}9+FWphrl]v7ÞFQ^E3˃vi =){JfS$pܝ1k;`,!p''j:gᙰWso ir67O N~|y=ldVФ't ZU{?UVTjb.O%N} H<ۥcjB]i/(Nq@+EYg=%t p^tVsa\/U;V<<$Ts`ZkavJP>DS>D8д &()5[^&@)V`vN4쮩\ 8!PZ]k贉HXŰc4 n_K@W<A·m6 n '|Jsگ <"nS0UiEy0tQ`8 cYQ7K'%1nd:xcʣ}͏ꖟ!}i,T\yi x,ynnXc3ZL wDY9bNha:R|z :^쳝.5Tvū!&t𴖟ж MwWp/"߭qSZB)(se͙Vz#WڂվҐ;d~b:m瘑:  =ZLazvm /yz«?d/-xs"7/~ޘ l +grx* GD=[BwFo#W!{'9AIf-aV] ΝS7oW Ik$"ȁoQ=Hxj < I UzG{܌;GAue QD.-ƀ2`asFΗ!6RT?ߢHg4**~ kwZO{?0 DMGr~~S 齀]b݆@en ]`y 0tB$6wKVX!Euy};Y&\"Ǽ J;:Acwe)ERJs_A+ )SOy(E{!_=}blٗOsV{gl-nOd8r4@(*t0MwfnL>%ȼl/j2)8zuiMqD*`tN>\ |`b։8Fj ChIza\ '9Ae9H+Fػûú#%مS8L{2p'RZ5bB%g&K8S;'3%c'UfPK!AppF yţROZvdP("19KN4gXkUx <9-p/;LD 6#ȣhD{パ/r#uuj6O|U8Q o׆̰.(.Z%^Pa!{s9 ڲ9A2"mS|TH\xdSD !t 3wuCP8xZ/zM[z^vm-O~ ], :@&RSٓ?0W3sz3DewawrC*ƹfSD 6+jB{oPnIOAҩ{ c$}B}v$y E|Kf4o 7S9 zH> u^՗H20:>?"F)p R^cRQGƞn8"4*,l?I_s}=/֙ QcAABc$jDgk̬\aOEHxiT_J+HHO62^,F6CWKMЭu23+f!SŜqͳ{L1jrQa%+f׮D1%=s@*AR^Ͷl\nͫOJ^P7H_/xǟWbK:ˑrmyv A,|M׼;iѾ!>P{\WϾ4C{75}ZO#L@9#0)NQ?z*}/ܥ5d[l%$"8oS)Μ 2dɞy)1f*I#!5(z]y7C/4R)@?HWn8dYS yWjffwrX=2; napE?J74^{]j﷦aݾm߀Zyu#Nމ 3b:4Rh&-v@q.E;8,QDq,+׏3.XA^y4VzpЃ2 }7Y?Mxq#?IcKRtp;k]!]pbO69߆}=R]Z % e2L䚗uQ 4žVt_'Clԡ  44;BP796- a')[ңy*qR4` iT4VZ TlNjb8SE6hNkdcn:VOne_:WKs #|݊Mr!1 t GGeJ4cQSK;F}!WkLpl9nk&^c@u<=a2_}'4ejtGS%Z`&Cą0ޞD{1|ɁyX^2C?,nY vuɥ\|]No_zJG5chpb,֨x?\/)w|U[mf`Νˊ9MZesUR{EkwTbM4y7 i{j͚kǢf9~_v`UIXk ]ڻ0XJV. =g}97&,wL>j.htw?x/leږo>6e/gȏ&iW4j 1?Vyqk= IeZӘP}~܁,/K#>㲎`R8khO^jWej6Hd72T=f$.t5X:0pv_Lbm${gZuG-ncPԄǣFmsSy99czs1$;P9Mpfk)|%:End$ I&Kć8{fgz{OrZgK9eEW? @tb+[VW$cM&]OT1BҒ: <uOS%Yne%$=?]wo[8iGŸBkoMSjz |67=f3cۧ܌omW.1KžAr!Đ`} EQ[>Vݥebi<2Z0|R*I)iGǎ{UEd3rZ쭋y1供%*uE=zj"Dzs ye pa-Dvk0ڙg#t_&A5ߘz'8&T'Qz]ԫ ҔNnOґ,&Z*I\u <,;@SS KiKoԘV9_Qqʆߕ{Ef.zFZ{oqIeqS*֌WZ٤"Uv-*I;^(9MO}h(-d]5$rN+.(!D^5nԹ(O /0CZq;ֿQ,i`w-L~pI)ZH(TlKtnR BiSfr)۶KtKHuN)y-K7$]< = x`T6Pг>#ry867H;;/,S/@y(Bc%X G_CyspFNC#@vwf4|#v}fЈXKXWJdxV?Rp.?\(}[(,'yZ KsR8UӁ#L%ܢFVew;~w{tم,0$jmFhfOzUav- ޲[DR*fttѱޏ\fGKB!zG36)8?T\:ҜIx<%lМ3P͙ιU,w g;3Z8H(U5D=O#%0sǻZ)\i%Ehj ͊Gh7ךPbƭnbo 5 fPre}6}g]N"_>Dr{*%BYD6`5%IcuVȔjH1|P0fSY p}( uD5xe&g9/iM+B] ^X"s-u6b)CtX#L,,Vl%՟n#-)v,\Z4.8XlNײ>YrKXz ٛuVS\(HB:.=yЋ U{ DZGZp74_p8ח <+xW*וǏyGٲ`#Œ**[ BD3jG1nHz-[HSW-Dž @ /if@z(u#PJ.!J9v*6ۛHq~/jVlW0M*ᔕ~ 1挒2Kg y/N T0GenuVY8 ͒mWHHXDqםrpw#GyH[2 45;*P{ FR{#?zWgG1Qko$fw[ܽyJ!faАvbBUi)eI L!rBGub^]M aQr8Ɓ"N1k5hCHK[dC@h`kV@Q6T rw E$tRﷲ\:%he ȬltS6;ND*8܌U `yz4 vkKulHڃ3Bwk3wrǟP} o[洴Wy U蟤;ЃΚMgYZecd1aed2e064e6ca0733fd34725f188ec439f2f778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd940659a1ecabbf4de82b2cdcbad9ca06fdd7ce118db91