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 / ]]Affine_Arithmetic:threads=4elapsed=305.665cpu=1049.848gc=67.912factor=3.437zXZִF! e ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5JԬ(v}rߎ֋4GUKͬ i.vz?FO& -qNLSԲі& g n 1qz 4~Ra{gw~p@۝9x 1}]0PQ z Js#UGPS}cgKyΎE)7Za" ,yTo+ݠuxƔSRh)[RF(R$YMW3h8MW߉HmNfyD\:r*UZT`)ۯwCh /]pNܱG"r12$IV[ #JjXdyRa̖xz,&f>L+9AE0MXsmJjSZԈT-ex۟,aKܵ:Ang'i~v[xMִJ'maÇl 9pI.EHǸ7+GJcnRۧ9.5 ,37GaEk*gz0@o(k\p.渊gf}}FY'TѰMjKH]Pv}.=z=>ޣGSUE!~P?p"Ch=fc\갃C×wE8~`'q(1C8-/NlS-!w9kS>N#D<\Ze풣xb~A ÿY*((jhMKGRlzީYBLx<6ȃiÅǭҌ?3R}Z0  :1cI+\լeog@ŶMHdƚ9uc IT5IULn+nJxmqHðő\D팻LO<d: `w)`'IV ~̈́S7KG4BVb8xXm^ ;b)2&gө_<lѺʁy͛ p|؃mTQE2 JJxT&t&W#ڕy?~?t:'暶ATvpS[qly\Y0!ŪHUQfo$H O0_Q:~mFba/U@qTiġ(~eI~nK0)CXQ+ŴzB-I|CѠgØpžSU'F^/gYU?=BE o֐}>WW$KZ dA⎂j*mm7jYPW>o(hi (M#)择 Lp B{D2H\2@Vk-gGų Ѭ<؅/QzUt'3(UY0g 0 >3|th_L_^7 }bP m7x֎2_``BN06 7B|}_t$4.u&Թ3[:22f*@p x(>QHS3Akǖ0Hj@_*,QY`M)La֍ М{%7~5S+rRtq>$а>=1![4^pݱ=,Q|o4c25ShT?a6I˾T\M)oe5X1Svh*~,Ts8*m=gcai+g"u74\5)dݩ:R~um7ᵺ3mD L,屇2Fu*n=gE,}T;Fe\|4æZOƟ̐m6= [ (G?`3 HT jhխ ,:H-?4 N]X޾b"}0Y՛ЬajXW̌{?! v7:v۝hQ:uyyQD0aY;DA#ƟSP^sP*ꨡ@ -(G=!6i3 Wq8+ QYXߊ'o3gۏ፟7 i6by:辑\: OhuIP\.RhF2?3u/mw9_YZ\sE`RO+ ioߩ_*hF;pbJ=3R 0t+,i"D >A`2Hu ɜw(sh1"KTGԕ"J@3^&HQ x R6"Cg:y1_KiNT}UsJc꨻~'w=o+T%<2VéxYq! }Q]TԺ!g"hQXM4*Zi7%>L dۨxj >PK҆vCJTjl1d*>|ek+Jq&m?4b5@\R8 .]O{K| Cu:6)Ckmy<_\_%"--T&Bpdy!dz&ԒM AKut6#6kjkDЭ~r`4fe;W]'`Gn` l jae 5Q@~kP6eRֹ)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.MLW~H+PEWy4+4uW PӎHL>=,{yR[~R7fb ;YGr/r?p֭ C_Ee@ JGO<܇I,)m tkfN PX9#=qݳFADB˩!0:H;( ۜw%X?DJ_U[sZсTv&`GmZ͋㎏8NNQTsE՝  Zvë^J;sf36}Q<=So5V퉃dW=y#\yb 9Tn o$SdM?īZ=(^N)RtҤP㲛jPrZgt(WiI%E=s!¶ ^ Hc1+ݺY:T)SrakY|7Eng d|;AQVł3 iKw_!$hctt2a-xZɛ[h  .c~.#ڼċv1dON)^SLˇ)폎 Eӓ t tcz[ UT9Uef9ـRCemGry`Z~D℧Zkdm~>Sa\XrHi uA w^OU`Kf&-zt̳1'P#Mxʆnq !Or*n1i$iE6ȱmoӦlt駡3]Y9\`TLB2,O+CHȷ&4S7&m,-9Σ#ʫH"B& |ӋkF:r45PQã&1c|<`UYDsv^C#Dş#1iF'(@aje]{1M i1]\@ 9̉5 Ij^1M;N]Y0X("imx+Y"*Ta7#GUɡu/nv\e;-EJI1tkxVFc$o$:~_Pri1i .(9~AϷ,$kC4L9겴D~cG}:xyf[k=fbP8hE_`VmJ9fϳj vMP#Ƽ7uI,M=`qe]¹6k8T1V;Yac|!63@cCSh39y \,P3NEK!d4H-Ǫ9whz_0c;A5,j0`DhݞtLV5M7D?h%j}쑅3(oX2#<كy*}akt> ~ݓsb^.Val^2OXD g\.ЊETޑm/+{ٜ<﫹}Rcҷ vb,X}ᬯZ-yѿ5ʩ]TVsфRKFpe{t'8Xg}WKRn'(i8?6J>-(j[0c&*R}Sew]dYU%So/rݬ{sZ=Iϝ݀(vA趱gYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uGm>P^fCqwj 翲&; ^EO'* cthFIg>e{}#{g6nU||Rwicc-OrɞQ8fRT6 #^Ye sm^QِSȾͣ)\»"ĸcgv%ځ@g~QIP&Ċ@8 }6fQCnF~m &A*ˌ3oahk|zKN?S'&#c^dB{xLM%Ƀ9QRDDfE *]D4Hz;ǚԾT.!_6!6~u6XSX/מ͈Wd} WSԽLYhz\ rѾgIA%M3X:/Ñabvux!T-?{G2av)(/|EK'i`7}f%N<a(|dT=^$33Q|۔0{)5Sj??Ɗ:~؍Ѵd}{í:jݨMZ8C#]S<8B1*k/r gZ1#aGkx{m7sfN–{&,nlZyP н}hSބ #|ńs5%<[asWǣݔȀO6~zoA7Kq7[/]SrUpV: k|W 0r6D~hV}7l4D4mh 7_AR?k1iR{DG: iShvv~ŮPUrDs8 gJ/VBNtYK^D*3GOE㹬%4\8ωH?sУ"Μ};uuG\8Otk`h0X׻D!7žE{uA1`0>ҪT"M5T'H'Y*\QY<t\1Y2dw~_֎Ǻ|?WVp^LjI ڕq1O8.#X#;,ZaRDF]]SsOy~ItV%ýs.AX%i!r ~4:' (iApLخl+.ވH]q*v.C.Zy=n &_bZ߄rݤ2ITNXևOH_!Xb7QUnk !5F(}&!עp+x'kϧBi"!@`e'x3x:daHc7j@mV ͝)n2澉2hiqU;&K؉j^' Lq6<^`I2!Q3+'`^BQ$^d[F&9&-!:Ȫ|ǗCr[fU Y$;87ðdOvOĭDl/||¾2JS0sUW#gQ5~Gξ#?1؝&XcVCwr k^;L1(5j4P^=CK\#d} `b!-CV(u]Pܘc], so(Sj3nu +kJ[/Kv[ ؛ *[NO+^Qg@$PaH(Kl?b=چgeqQ>H` 6Cn 9k{\98/؛-B"](xUؕB(dZܞAWr鶾yy[vujL{4ь򮑛h$]ZxNotf)D< \U;J{u<霴!L VuXk+f̤;l`iFCC o8x] |ᬏMWn*ڀzQX_(.""unZVLe1AOk3B<u?W7I"e\YvFf'eǼNS'JjIw*O =O/}1LE=è7D* iNh:%5By\IhJwRK0vZ|= )9HՑ[wC]&f EVy) K!_ J3QvBOw0o FbR>ЬrI;I5+2m58dWÙy#VkRZ % F[0S6FRSǛjq |[C\R=w&*B$ů[L|hM&Rjmqߣ)+w*FQb0ǏȒ>|10Mc ,Iؿ4 '톐Gr;ϊJthEnQ?*Z.e QZLolVxe}zd9V_goofUY 1< _RHfYI$M_ $HҤh5ɒA`-2v[rO+6 cn9RGv~% ٳrorBo)iՑ12 9- lGB#^LWhS+ R~t(E ז=,1"WاQ@-5eĶ2 dA8+Z2%E|ض`_rq|xfo֓&&\ <,jG{>F %T+SJXL7k0}+d e29VK\0%9Nsa@J|Rݬ%`#cv?`8r \Q&Et'GFjDE]Ŭ(KYuh]>f"P#wi+ԝ9]}v"K=sSZ?ƺQqCӋޜ9*{Z^䥥qVHO%8W Qxm›gF2nAyyar_y)8]h1=!=NѼ x:МЌS$vN_?Д@- pTMMO4T0lZ[!;>dDV}$fNz-7<2N؍&8ڡʧ @uJgau2Y#SeNjB_]AOn"Q]uSlnUx6vi7mǤȕƋ{mn+W,k@\H$4xV&piG ۨ#2w0 \A 8/y7OAΖ6y\MҪk+@S,ҵ_ܤ\wgUA[y 9n;߽ܞg90PgAdNNbT9=׮L7D! HKEF{ iOt1Io7oQl9Ub-7'rE? 4+Z&K<߭>{̑"&r-6;/&/i,TԛX<˦HCkQ;$wB옍P[yEW-tUq`i>ht5t R(ܫyoZ+o.ZNarz~ۜȼ8LjyU Z:ڜηq4f 8N?3MhWU(s63-@;Z1ؤ¨CAE:# ]F=~hݟz\fTj37iI$wMˈ ]O׺Wk TJ WwUKD:=R߼i6 Ur^K5_TTٲ6zJ([lI<# 'F !^B|d }4*T |S4_Z; O,/Frk*V;G?Az՝Nrq~(eaپ KIT6*\[ H%8r@\vߛM`9̱;s6 D&Fex-j N(3jnv |x.&'CmX;)iOUf;w7Z @B-H*Ց40j~s&w|HYdhoucY-mF'T e|szijQondB_I,iRV\ xV(Pˆ\-ӫ2P7С9WO\ Ǝ+m1)]音Af{ZKnj]{e񁾘ИEBZO֊yj_RD$ڽ:%y]u{w jRD UbDNyuE*xz纤o6_ȊͶh%|jWXwč`[34cܴ#k]?ggZn_p[mk>t 'd3Pw(cji9FtxM6t_CЪɅ_jo6=Ҧ^1 9DW@o?ՏE&=vA㛊" PHx-p:!ɻTZG#X, [n>uzu0esuCj?PKlLƚb i:7g?~iuk y T;2nPvJ@Bݚ!5ߦ,ޭ-!q&@[tqɔ7;/{u^i 3i {c9uV:n`Pmm#w5U[yVgmlTZa.՞a B9QeY\^VqSyRVNFH%ى4>"oRK4^5NSQ$XR: bij74gkccC j90*ʭ 3GgA!Q-/=% hCلxۄ~k9]]a>1IY](`nx6!ؖiK}v WicbZ}w@]&Ӄ p] z 尀7ZN9FK?Cpdj,GG*5 r&rtZ֐lϝDeIEA?Vj>Ѿȓ?{+,3gJ؀C\fLP\gװ@IYNՒDVm<{lvD2$W{ \CnRi t`r0̺9byY/\ale !Rj2sytz1rz1_YT yM {FOhuŋs&B~'5+vÚeg{b.1^G38 ~2((/k5웋yѴ_d^c6;lt ~'V$ V^X, jfWzڜ9qBjT~NxJ|- 0xZP2+ڙ 2{SHL#FW;eugҲHDʘk0Y:q@5xB\ݽd&! .w'uttX>``/iڟ1M)+J5eEߦN65m킍!`4tߚd~#|1B횜:0cZ ºAy³e6=c,ƌd5Y8 ǜB)ǯwL!j0m~3h`||a*?GL&vnG֪Adq[253&Æl =wB9{pK7}ДyF@ønj rJuM&Ig2`)YhZKCyRG9 ngaDd^Cj%n;V_jo(@q;n&3foˆ4N@nN(?JET7 6g;kʔOKvw]Czs97}Wr_*GpΩޅ7AW=OXr&e&|ҕdy{h%=U{bPqG}%![*ye#CV fqQ_SvI'%E^ ۗFvw7pRw%a" ݱst }Qs P7y]FyNCV[J4ᖮ&ܳhDaw/T2]=q ҬY{*j{렆630o57z?0m7 ! ߂A%V&T2":H^b2`A>*'M"F~ sh c*w,N[f2~6LJ|*aXJguR=1DP# >dhN`4/!zq"1e gJ9A|c x*T6< NPPWO+ޱa8vCpf8[_e{2&L0 EE*ZWaۍ+*˳vc7z e?n~Uh_,TxC30Pu[[l)k{oDOjX BgDcnp}XNa㻆y_qM|,$KDwp?| 3)*OZiAdCW6L8L$6>*T^cF;mf]f!z ڞ"<9R83a^,fIYoq$̵Q!ć!ϕ2n<,+C09, (ѧ* va 5K /86꛽/¨PD>U|O'=(plUx~8cݒ%|7`) IuKB+BJ!T=|Ύ->t(%ll"Qjߒ"Σ~0W_鲮vnꓳOȌclֿQ.:Ђ~얙CK͞Ua[}ti}UuH3^E=n1`'+a*U+D 9rcHYz»:m}vNޞ/rw,gk{9LΩy}G|DI 7u%ڮor iA_k s[O7?r Y+pY;Y%}ߑ{a<D$鼄3.%B¶#" moAx }@OV5/5ORTk-MT v˶sx٥K6h2~[_ ̳ѭpZejQL1YO%6僝 Zv-u٢+X4[ݓ0gf^7r@/4h)I(P =b3Џl27&bՔuf4DK.Ǹ'אkcLEUM~tT1ȝ`I5@w땫":ݱA AȦ1@9*W֓b)S0O#"\fdk&rnR,gA!].e2_O|@bׄ|t9^W ,*N(vZ^Z7|&4!^L6gi- ay'ɲlcޛUEܢm<SͮGM3-;vA{sOnahĽ(VL|K4JD _z7Ԁ!1:<5 (דS@m1U"h?%IRaZy U6NxH;$l]bz2٠t2*m{YŜ:IJO,m>e2Ůg̝'ŕo "`nǿ ofV]'2~(H~ݘ41󲝃Fg DXq]/LF~k}t;V eꚖv" ħ# &zp<p_ ¿ݝ9]= ̖S^Z0?N蒞{U$6%?i bʘsOX6rUTAù?v~'w7< ЄPbRe55PxB\ɧ|+zq8^mu1iA~NIk쉌ePfo`CsK*ȬIΗ2j@HcƮsho+@cl@ KI'"X3̆YgF_h,n%1mvaUIݓzAAn佫X_iIヌ:(8-vr 9-{z~ tV9_61Rq(:̊wi-dB6`kز6 c%/봖@([8r:x%#EX7!ѝ8 ?0$y߈9*"#7)]OO1DL_1@lNh¯֥֟"Hgߊ$)tfg1m+jtNSC'KՅ}OKOSArQO(wa+) Ix s!%ߘrdsfwW==YAHmKSU& -hIAGeQ HF;VǤ鴣/f8Ve%0j"tڃyl (*BX{{4BrM3dpKF #ϥ\6\_\gf&V&w8<Hx^.(Pt&c5rsWG4^ͮ 287o5 w,H> ) R}GAŝ"kwODgUA jz6X4 I&&dOҦZNЂS"11ޔ~vjjFﰻo#uѲAvR D9BLHcQ<;CQyi%w 9BsYVZ;x Ϝ]F;3a[mba4>&;F0$,K\ XYɌVQ V@A˚KދR:K{ Ede8!xSqͿ&.pV\NkLZOJs}E.]Ld'L-=N"Ab5]#QDOr>Ka^֯j Koi=WxGlN1ɵ-PNCTrHNa=zdN8dLHn@ :x28!UJ9JJAU&BP7gwGxNp7%mL4P%}Ow'43V*Sm zIc]/xaI7Y!,A!@?5(}YZd3/wKgi.rOR3 ShR}NkX46_8i>N&y ^Ɍ (R5\و^J&.4b&-; vpW 9VQ,\Έ{xb_"Vl:#Arc>yyiyy; &:|ocI@6=vhPjHd -05c{&!jϥmxwUUEܗe{7X+ٕ6?9a^[䙇n^`3ݎdEqLn{ft|Tu5@'qb~r!>SoQ* G}bxg_j5yHyPq@N 4GIo'qdTEI |YeVvqE:,y*@@:IhN_fEoRoވ"IJnϩHI01( $r2ZK&{!^ zi@:F šHC%'^uyA-Dz;J3X_1>T<[Gq6 )@8hٲ %92d@mVCU >@%*TyQH W<#+ْY<`ő>n%^X`s_Б4muX =n6r7*noE{p Y:t>?8OmPIŌX E/=.<J$-VF$0oR?w ;1JqCԇX-َI^Tj}E!&=kNB,LHAI'RRؘ%sNKKa0͂'S 3 .7.CI/Uołg C0yЩ pgL%4vRhl8Z&lu1eգ?㵓T3[:((v8f|>CCo!<$x<\TY(?50 _qT)Z^xDoZ Z"dp>[-;Xn3=t,4Ⱥ@Gtwh a#Iʪl~s\q&O3g0\ 1"ٯm0`m.b-ݛlSʑ] rom^DK*$,zLlwSL~h59)ևr=ŋ`MP0wQݘj}N]xϗ8'B r@@.'F(Qwolr>La:l(aLx &4.-=/UfkB5'8rLlZK;Èt 꺙Gtc@ DKЯdo+J05.gx>9̒yRcLw=T{t_kc-Kw47R]~؊;9f}LJFYbu CrE+E ~ 㕣9IBcn:4YJEK*Ig@Q ԋ8J_z"iqPxlpx:?\Ͳ+Qk9W4ߒI$ҹwlb6lc|a#LG|iO0%Й-bofKQ9>Qz~63 ;&XQXrM  FӒ?v quλHT^$ƿDfiY! T{N8CF hBί)UՖR)N]އ}1Օ-F^"7|i7v* GE?-PY3gfA~Х]װA?^Mվ 7/.D3fUucGBw&mXre z[\B#‰IJb?Rwl<^܎ vDzu a0p)m.hnr}Jd/f1, 0$mV6A*$M՝Fܿ~ I;xh}y6 g?ٷO,+>yJx<ȇ$.֏9/J6< ~: FewDUWQ^QɊ&'߁{5B9ҋ3V*_Y?C3ɐtv)J\=SobrK,86koOU2 -P<>ĜyL n4sm0-Z{#2sj|K9o;<^(x[@q:a駱Jqކho^IVDV^y1OGgx# rU,=r @T Go1h!O-5cD4љCsf 6cDo_5*Idy\D3wM.<x+Rԏq3U׺ᙥISuHOBz$JbƔv{W? +ޓ\R)Ϯ] 4kCT'M;U@4XTӅsa|\6lo`'VC8&jLg~0\X:r1R 7O Ab* 0GGU&&*d7 Cfi Pӝay|a>G y0'AD\UVSRڟ$m.=!NT qi+oV>;ӥQޝ,:fdnF|;X 0~*R;I_fdT4N#;d6 !O$AshG#SEf$ 2>:́m{n?(Qhf٤GuxtB1`>;Iw nS!ޕc$ZX yQqO'lɴb1َ4>A G"+{04XW>1,wXc=C n'7̶Fݼ$g*Ο冣$]f9WM>t\-cy;V%E;t*8[ErS&Z>GoK!sٯDU8{mc!>5J=tةs_MvMsQB2`yF5Q0Nϣ,) f aYɂ|'~󕥧հד^0m3Ŵ3F^Extک`:;BlvBRc}CY FLd8a/6O_:xyR`SUiMud__0ė(6(1KI|wqB31l۠ۆW 8$7EbןhԊ^])cLAH{8f>||Jb}=yaqfb-th 'ᛶN&yF}bNpϩcEhҔ 2p761xA<3P6u)ՠNh!Z|T=*DDg`SQiן5~.?hQ`ق5UK0\]T5/LoEl1dmf"CT;J .iAa*7d ¸$$@Ssx퟾`O#ʳ@yJb#ګ#R#i7[u0Gpj8=ﱂS 55規[Sd24Ga.TU'8"tNHA攵ϩx !E/9ʹ'z-H Ν:T =ץ6.R|(cd2y'fַ|4Cj QZ 朧)P(%QB:,QXmJ1nN©zI'O}U(LNy͢{m`e`aèP:g ohG*prrX# [[TxviWIG.cz$/*F\>!;)5#B fZ|L琐/35NgO % S$e▅˙-:T6.wa*)oH4$G4qA 'R>{v^J鎘*t@i'hc\Ծ }$-8=bX >nt׋+&cK΃r{gA%;wOO@[^:ga{lL9߄t:Kocqx[^fu a+yיjO2 ݼ8y$?k]G06>~0<?ԭsن??zd?hv=w0<◘EiL4p(%A6l$tz^~Όh׉zBdo=URnlIb 32x0:vnJEM9KQrz짂BB V mO)>o E_aT OtNԊ ˇ:=`/R4(\|% 첿v>>}~K/\)fc x~ @Y۰|JLyu q%Ej Uh$UdHŖ4Z1֨ 0h$ȊYE/-KPϨWZ$h@hD"ju-^|O4_Wrz!Zt 2ոޚTZds 햎vғϻpx;mHZ##ܹcKxR)I{߬-Er}k?Z kģ8-4O@kLdAbFʂߛR|f)g {=0j}߻2"ffp1܉D " T(m0aǶ\M5-Bs}GPSy張` j{ w,ε': fZkn{1cǦ{n=qn6I ^6Y"2,"v9F4 ړpsEy02o+q*m1p^L^Hc,w_Q *jbNf\۸&wwEO0G;)nMᡤ͐9'1uF߳x(1# gj=`C6R6+Om,TxQ"NxXl?v'Y%{DB0?:5\g,B*ɦf-pŘS?$F4Om%zDËuk5FpPd]p 0Z^|ΗU` ,/2y%3wsqz=Uf'.ZU企i#TИqws_=5fЄ|a3dyā?Gel!&1pE.`_UuPQ'1+&!]'cHue3KOz)(V:vwe9;/7vkK{ojh s-*Vo{@?4t(Pnt&q=&}h f֙IèVYO(}i`"(Z }%92һV#x?/OjH `TSx.ZY u15rUpS%`oΘ`2s=Zy}Гމ$(Ui8؊Q4;7lenv~Ъ~9LE,E9kQeK1}3ӳ("2ѽU:dv'* x`E&̣ f|H/2C9׉kt2{2MWI~7فe";VAmLVYF()ikKX# @O׿pSN`M~\9JD}#U;<.$Wo(ݥbt0@!fd,.WHmhL#ޡMpm%_xh⼂g=lŽ犗,j=j-os"MBr>Xyv9u3,JObH fD;O;KNXqT5fs<: xtVCONTd3_]yFJKțqDfpL΄0~KC6CPAON}YtJQlӡrDfc3\UEzIM<(Yvi %rQy#6 ܧnw} Ȯǧ?v A)g(WD\$ouvTx9Ub㶛̅eq D}CNgUSL:Җ3Kg׍:zM0;WĤ< wjOEvQx*x"ܷT5F@v ̱`8dkERd+w;zg`Qxz^u}vrxK<̷7|#շ4 ,a0f@-jߎo]h)`og6W ]IWq]o|o%fЗE&jRf:痭trέt5I8"\i&T=`mIĪaҊLםtꪎ:G5nLg06e!YC)!Q)qJ=)X5v4uE!K벒nXO3 xdziµO3uc^?7d{9QLDCshF#F~ flD)a;n`bKVa;4WYR*L݌Ld=Tj[Qŗ-AL1dd]J{hod+LSOP ?_l@ nzO&cw;T< =I9{BCr(H) v`J9H<Èt~N8nm9M6ҴmB(bY{SuzC]#X1 'cgyBiKe y}@o竄EGFDuZD2^ .BE;o$V$f"52D}!D3=!#YLa]DCo!\X`~5CxXSDYn/nu5xF՞̱u;~w̍դLz\EuWB޽LuؽnH>{`~KODfے0M15ћ4nqڵr#nO6{΍s% ]'継 W<3?jaĉuwb?iKə{]?E!v;fSF|3@C8EFt -蓤5_Z, Kx>`! 2=HCg&y?5}Y X;vЩ Su:go:fb6QMjU*![QC-Bq;Cݥ\=#g$8,%Cwjt~t!y$\άn>[ùT&Fm; Bx0SOK9wO>R%z6ϠT2[</vN:ȎBBJ37jgc^Nߥ?mZ63.nN<,~x6dn8]qW[Ta캄-6bEn;jjjSn&{fJ :_}(n.μF(ǽmsx̐IC<oR0 Ø Ӊ׊}$dw/ޚحݺpKFoR{ dS ZS <{;% ݭ(ڊӺ}y?q9 NJ GEK@M_!Cu:@rƜ)&W 0ιkRET|JY0(x衚}R=#?H,9XUugAx""B&5u[DI 3eG [FblDq2W]u@Ad|ј= T5 L PuLM.6 wfD*5XSECgt՚H ԭy+U I.' wrN{o?AoUY:f~$kvgqݔ]R(J+TR\Tua "2KX< )Uf:-[kIW#&LnˆK#qE!8g\wh:ղ„8w^JE,),IʮBbv2עPx11n+ugb<r0{HCO`$IiɆJ ?XVNvY<>Ÿ#dKKYׂ3k |-J!;Y, eH>'^Qw`68DU=Bζ9,o%f*J V6&Ta&z5Ũ(HhZHܾ]CiNn`21"Γqi-~@Q>Rd*A`֮1Pl$tjxs+ch }NpdVgpf9\n' #Tɗxx,q,eNɯXWAԛ>7 xA/mo'ÀOu=_8A=ipJd{86X+MLC]sI3ŝμuut$=IEbnM1`$:¦H7 Yh3o\eesJV=55sӕӝWrG@ۃ V(M;)]LzaQ*F%Y-n7L`RT(tU4nd Nj-Xl'5R‚! E옰Xl>Z;Ł:r[:0im@5.%&I6oM#\-fTUl#TwPFsٌpj[d0Vϔz!RK)&_Sd]o Drc&a[,k!ԙґF91m]jS]B=#蒂IWâ>4cd@/Y g;+T$ym3Cȏo ӧBT=(Q}gYZeda9eec0fa9b94e3f710f9f2e1076761a3ce50021795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 736d5c06b62df891bd9077332c5b7dde9e009115d5c1a6f93db68c04c54ba3b7a205970bcdae1442