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   M/, ]]Affine_Arithmetic:threads=4elapsed=302.096cpu=1032.464gc=42.948factor=3.427zXZִF! VNN]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Í8)2gpk2hsD㏾@|mIzQ@nbl z1ht5.]s|>/Lz@#5>K1y}Yzіde 8g/ki-7Zm<bqhFwTmaw&*n+9>/R~8|Shb&=¢杨w,](:RZ"jMӔ(W$!mk0'YeUڍIP,w;WuoCĤa[D'-Qf`Cl0q(epvG4q$W )zq+``&Cǖv`zFb#xcdB`2sk9Y Yǫ U'󪭳N5ݺ%?:('g!⑜`^i\oF*x>(9?k9Wlt1Q}='sXm Y QpÁa&=dayUWJ,җnF +KGz{ FWVM~:hdžhPt7Z}],3#_SWU$q)֓;4dw "r;@r(T4p]VKtΘHFhS;_mv*!s;p?vu?w>rP(eK_ N u)5O :Ur E/n)`[:T,.[,R4}7e{86lg@dicsN!l2c~ fqќʐAQ]i2_%ӽ颴a<;kdcYG@ݙI|YmL˯< 5xk<OyD [(<."N?$ƹJ0ˬĽJFJ=Bʘ$u$@xʅ)FTG^rn:Ku.~NfPzdRPZW) QKUL4u@0'o2`D"ʫ.1{&)2"4]_\Ջiˁ& s.1<䦾Z i9wκtE BS^ ]ޓBa:<鑹ENlZjo*/`F`[/)+B}o#hcqEY!jK*-!V@=;(!7t3Ў_\Ш .%HtV0Q-XVbW|]g%W׷jCCG(ɜxWdmwjTW$ (`]N,38IMy{Oƣ*Pe]EM|S~v*kP<\( ӏyE{#~MZp׊1X 1ͣgIuUJw&vsz9.]81KH%iTh)JRzݣMҫZy>aF9@SZ+2 QA=#BOL |">\Àޗ=&C5v{+"Tq/v7O 2JK ztu8Ƥ l"<  / 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.MLfzKwS>ŠI2.,YtAmH'5%[QXE ~뱘Cptê2˷ mPߌ,g!C3ujSd#yڱjUoC(K&{?)2ܠGd*G8%8mPC+a) 0#*Bz$kKs?|9GbP[Ř9*}׭p]Psjcl;i65ugb4fhZfr.U(^p) .bBO39A`8ߑ3Ivņ(cH}JԼCBF$~Y?e0OC=tVzb48&[WOl~Rpa()EVSEl#k2YQ?F=Z4[s RE$ 󸶻d|făѵ]z_jY,#R_m#bfܺe=8,̨^󆷅yiaI ʴ₥0_S8zVaT~TJJOi:mա\#*Ɯ֗ږ؅Q HSw|^]ݡ8&'dm  vˇ4>_u@A('Ɉґ@6k`n\]]N[ Xu $^;}܂edf;OTfg #H&a(gIWj$Wsk<0 2TLj1n÷1IQ;NTX:kF`nJ P,gj'D"d`ag%/b-qL]xG=ttX?.y3,Wm䶞ÚX-QC<+*G@D<3:Ԛ#h\dy%ㅜ3mG` oHI/amoq]7M"`CvȐ7p]Djge/ΎU MI-jv`xv Ј=~机#PtZp~G@C\:9lA_"FOyǴXw[yd%R1Pk%܉FlUs - ? >*n^3;QT:xdgsܞoF Tl\ox^_ږsoMuй+aLNǾ'B4M Z7)St]0;'S7ܘ]B7_1Zjl@z:+Vl Г \zA]p V>d;'&/Dev6+tQ mv37_Zw "eB߭&` @Ad+FNC(|ӍAQ@6lF:6T lk(;ʚsC,tbBs ;I79os8q*wHlާLbޮ +Εxg*`M*6t `r7Ѵav嫖CZ֋[TW 4#ZyЉ=8,|i,?ݣm%F[H]J/[`E#^ެ瑱aY:\ 0N~F-\ 5Mo\S11.z ?]3( 띅 8-,?|_S~*l<$hu(Ǎl@õH4,U~)* ,*;9  ٠~Pb]+g89wgfbs|(rJu/W^W>'qf)G(ʅ *V@3W҇륃Wٮ%Y_L P.u4 (5~-1k"Q^ %{qhDynjj;Ho[y]e^2xXFKh)CxEfWc|1aDy$ &*t%cC37oӀ'1 n3Q>b_v+)|_] iyճ 0 RDY(DT~A/U8c;j? ` }X06a rTbzy sQQ2@%~Ojz%zAH4˘iqڀs= vm7G~ePv^~,Ү|.Pc *}َV57bňGg0,aulq㿐iϳ%vtJLOX<+2l!R.[.| 8FAx{=.E}z}nB6@U]l7&EbĂz™,C(j_aʭ LM 1:5芭$JZً'*2$+de_eGlHW;j/MI6X"Vzkc"!ĻfSrCҁ|9cnryL#\jolxV|&E>j½ +cUӱȰ,~DcAfBVjҩmnMz}ԓ+tHrDYB]yGW&/*g)qۅB+xQw埶Ϭ8;t-m۝1Z BEqB4l`˻ WqIތj,S%f#0 n%+X*r36-8Yĩ\~R£ #B&秺> Wp#;#/[c;Z$\1N+E4A$3'UvY4pT Yְ\oIѣA|}Q=3pVz thyc=]d]!)WDJ$}.Ƞ.kfgխ]NJ0um<5/~A=Ԯ)$8z'n 1IImA9c77*RֵxkO ԓ>XAvrU0HjӀoJk΋6n NJ#tV#r 񒿭[BY3Ħ|LF!$9!]zSFp}/N(|wp!PR*]z5Py{}o7FG`{g[=BzyDϥA]!PK浪 =|q&I/{xnD{s܁iu,p]hoZxWv獁ٻ"(.n@Bӭ+Blo ;PdSn!̟qT@aTgVFKsdUR3nFDN^I=|W $Qhɑ pZ<&RdoOUuUȚǝw\Negv${T;`) MvS[8 l؝%uTбl+MfJQ PgUc,],ʡ_ !H7!JS7^p]n*2sSmOy3epRXżCo&Ǭb lW^0 <E?bƮ^P@@9u fhkmJPeyMy1 qοѫɞ4}d?隑'n&Q ѧ0u<O=4u=I I<)[D`Krn]&%3-jizWB1RU3-Po(N :j" ege̠d`l:oC14sK{%L+<.$|jiv${^\V. ۽4hVpG?9릚*.Bw Sap j&nY>?Y(@* an!lxD•|spghlt#0{ʎA2S3+C[}'YXYKOV%^x~ۨb"#/kkDPύwfEbPF$(l'4PS5aC2V|T' ׁN)A}Ak//2 rѽt\v=ؐv֞VYm[>h0N/p\D-3 Ug2QUn2ޗ ViQ'@" \m@ RE{NiV]`y1E/AC8g K뿳bOh%VC-TU TZQQ5Ǔ) ޶9jڬSzge\@S>ɑOчķz8É䁱Ri 宙WrsN@z\=8J_F K=i\z t'WL…:sj7(p(RgY'4bw@!,;\``5X >,=sJ wT} &,R#Iǀ:mj&y:h9t{0Vʃ m WDl 9Z,e]Zwo3 Gxz}&>H 6i18>Ms1y40*AC;HYQpb{g%@.ABZN֖𣡺j6 :Tk5.JqQ2?KU'I=;C7?>ϬDgYZ7zXZִF! E]ŗXiɟ|E\Ât+.*aphG)%uGƮ~JOhRʵ g~p!!ypPQ s#}ߧhT# z' *ۛM/Q};)1 |$ַ: mB磲4X "3Kyf8O^;3vfmAJF2ז,l640eS%:ixM!㲷A{8e ,d'eh&ԥ I\,we)bx4[A+Sf:{E->-EY iA;!t%Qh9Cr$j~3 P&[=E}$.} NP`zs^>!r |ݑ >c穞 Xh?aKs 9)H`|Mn6U 1|2I{9q(Fwt_a 3{10cFi O )Wd,x@͑s]Q]R,V1\ ~[i# 0 0S+hWo#? VdkRusX譱7ayХS6EF[Mh%m F(x{SfV*bߗ~CZl+BliA01z. H_wycVo^qNM5-KO!op(d}/^[Čm 3QO~.D0noaAg9Hya| ’#nmD7!*JQU5^Ȣ:Rୋ3=Ґm^WˆsڃcIN5SV(-:lU!h  7@ .ڕ p-4w}dOqb! 6{Ex|s+U:Ie2΀m>] `$nױ 3K[()ZR+Wy)g{_ vo/$OҚ] i"y̗XP++#rGM r%d$kg>G;(b1 ><Xxᢕչ*IoJRkK;\7Ã|mUz?>}g"d '$ƅm3t6 -1gYZ7zXZִF! TcC]ŗXi%B:b+N9:p Inap~.8(u"bBĵUpY[9oIgMZMt410 ?J6pRxtc,ٳ˶0AAh\)s;"B_hm]f[?ssN -^#?jf8oBc)}F0~Vu`WlˤVEɿVwc{_{76r^t6)5]U~lRoet`\7@qǔAZ7cQ 8YvC.q=oNΎRU?!wV89zwIm R_d;& G A"$R8=V9Ɂ͢;~MWtiSѣ167Eq `^k d_!gOϮ\ 7x:אdu,^}Ԅ2a]b^%_h7Q%6M:ƭ̙1Ga}X'7A;ˇylbE[[PCO)՜.HDJxfɷXj {̇yLnְGKu5Hsm/$p8ӂ81ʂ(] Jef@a8:LC]1`ǶT t!#A)s<,CyZW>W>!}lCn<AtI\9hBU} h,uD _+7$*T&dy}qYgdʹsFp`<*? +bpr'LRLRWֳklN#qG bA WŒCJQ`z$lX}FP#w^FU92'>!`"VsknM$BcYC\F rq= 4 5q?x/ ~<JV,.1薣+22pM!yO_|V4"pЂ}L ب*ON,t$įU|_xtsXͽ7;|PN57%Ȣ,R 7Oя%t=lM1pq߬Y)M/e]6XĢJgz{ah /ʍnQЪ߆תK`lN{h_vLz{*)8ϟ kC1:ahOL^-((4][1DnCG?,.!dZ{VsK?{^ޖ|M |S|m~%t9i# Ɲ(++x7A3yc iϕ%w ES-+7;"y5`{T74{zs1&{2*!?8xY/zs*7w;^9((2C؇ |V KQqWb$F#sHC|ӿi^>l)Ow&S,+W/~:!~US|帟S9_) 8_U+dg% *C^Iql$2(&LY,%X$@2V59֫I;ޙA' `}z1d`;nu_'%ah=4YYN3ڕp]5J~I% W }}}>e ỳs31 uB 'ߢUm߶2>f0~)?T+ hڧ {3X` I^#{/;#Ph1FAY-( HzT RH }EUyb&c'K'R$@HAo\|,ޘ(Ur(*u}9p(Jѻ0kg3A: [op@Mi-$b'W7I[a4O\ lƫ ۓuT%|ԁQZXA1ߧXw6tT0OSz=,M8l?u9ʟ7Œ:w2 [Fqr&|xd?۠Cx$98اLSqGD@vӛ" Wi( kz%ޛg6| ֣P0D=J{d !]BaGqzX*i5z׺kE!{^2g36C G8蹟>6"NqC/m'fm{= #;;+^a-8ɣ@'ƛ=˧oP)ZsFB?^4^(W"< U?ݗ| c:YK `\@^YJҞ 1Q $(0d%OmC+;qDdO=Xe!%P]!#cP5BqeKAI(-&>)#UYN{Y Rþ<<*'0C")3:]5Ǯ6"E>K&3[8$<5k }LQH09HrF䶳(-v~)Wx?"&Np]@bu)Z}Ex[Z#wq~Ο^6AcGQ DVW c6l+)п$P+Xn}W| 4*Ŭ&:E]3!x2h?5{JƿNu޽(Sy(\*}d>e3B3é2hf#>{׀ɏUgAջiržH"lK.JO[ч} CF^(fVjDd@Fq?! ^1==#];g-0d"u c߯P7c$C*bsrz|qF-p`T.ꇬco^';U8'C(нhK5^s~ XÕ[qUFa*tq dGgm.?j}hV&6M/VCf :H ONlW=̽WbtLއ<Au;},CLJ$,e>Xy8j?,aN%p(9帣fk|>)SUF=}x`aMҞvIJVb: yS5>A<{"u &Abmϼxp)CHs@/E΃]=6v_dx#jㄿPŗZjT~86AuhM*N9WP{~4j'͵amgwT 1RjDދ%'Ny*Z!^@>޻@-Hz+]Ti 'e3묪T *gPEžg<J4:]E$ʴ&w3Y&O$|;VߣB;qPiNE@ĭZXwo2b vS LڰЪVFFxs.^]~ _y 8 z. }Meh504&5g(7) L,Cg^]ŠuBkÄ`єU6e͗dȶ$(䮵d5Ԕz9wOb">[3|4 MuP/W OJ}r4 pi+e6#%' zOz:\{Ϭ7׷+CG(2 3 .6'.ؠ>&{@vAJ(txx 7Bm1JPf:xua+E PkkqUlv˩,H ٗ_R \%GY-aZ1΋Wzs*! + g:vz]]?(;R]<'EAEu y$ڏ ^gŦlvFJ3g]F)nɧ>(aI06ӷױ/~ag4$4/WON@;='\J:qBCq}8 I FOFd*C'ݏ:B'WF S "xT*ZǶ/=Ar+'o6]9^r>^?xHS{/A,,{Ʉ;"-0I)2Al̯V"@ gf]+ ïh3>@!C7\auď9 o-pKyr; ;J+*R&vr= {PiWGܪNd9n(_ݭ~'FtoYEIIt6Zȁ^[3IPQ(lAHgaL`1.VƏKT=i*T뮭TXS/;Rc"$yV}lN7K3_TbykK6mbZaE-x+d4y5@uVp Z,ɜ+xam5 :(){]ɺ҄Ҋ8 pg0 $Hi,!cdf rҕb%C7v 5Pa\7o|h|)&9C ] et< )k2v0`UVˊڛkumX.5svjF6rEn,9-E&!ndãBsIXr̎J4c{K yk?=>:r}IǗ{0ms6sDJڊ fv}cq|Qb7ߙYa1~M}Z慔S;{C[pq*š4go?t*ѷѹPDj(ϳgYH!8+oe~`(L9TUMl68vlIm DU_&@*Gs,N4`8y&@'~krt0џ#_$4=y5wyr/oYb.(B2(ݗ_I64}wd@He1@X&b07>T9 W2w@uup8Um9R fڪo7̌% emEIGR//YVb/+EԺ@`%n7Bk8 )8o^/& / LMC Ulʺ6 lm6kd>cOs\~g^-YJͬl8OPځ+b) HeYY]ko[6~,$ufȰb[L+;C`\-O $u9Ex-\J^40H:e5VLJ` m|ȴ/St,vOgYΫ| c:c|y7 Sew%B#^A8׹K*?N߱Gex;ݻ0 /BF_i'/P ׬ז#޵k[S)- ˹@4G\UhqܹmIYX|IXBbp:q&g?&0J{\16鶀{K씥wqZGȟ#?\|p9]]i_'SOg3p!㕆k3V_ZU ˱#찠՛SށHZꎒpWlii]JPLJt.P|alT3J]Y!h ZQhtp~C#:YRYSLN0|BX9AI&.Ojlxz!OV(¼r[!K 1ie$69X!;aqyi9Y1gݬAʕZATz]J;rZZEq6BA /D}s^k& BM\8)pb5Sպ9ITk ր ZW&ۊ3B͈ܯ7I~_ Lh(lxEuߵXvwROA:)cO)'RpG[du~~ #<*=ZyAIˎ$d]ҁ Ka8=[(Z Ky7.|b< }BŒ. ^-]g˄&#jhA9t+Z3E&FYϝJۊA¯pΞiU4tuwI.2=%OV9<O^qЛOWJbŷۊgQִjn,78f1@eF^Hs@C8w$/H{o! ycOovEI_mjtr|t'LzH=R&iP$&f{8P,?P˕f{ ڌ:=!E͌IyR=Q[[D%T WpbL@~ɵNiuV&U)I{`:9†Dɴf3gOꓫU d'#0Q l$:.U@i%M)IF|}Y'Pu}<\_~CO?1^Hg)9#AK)\6:"1p?9C)ef$ڂ~4s#/TVl"N0~[¸~IH+'b_ >B>_ k9nZ ]0~È-oj*_4 F?f̓$eA} /t~Q&/&{'~vN}b:#:++9jw+e9=c^`-& @M%Y λ*wL|*KR6K^@C5 {roovnYh@P3Y|Aj({qL[xt|>; W.n݃HPд-I}plƑ#\#^ƨ&k9mr-Àw!%Z)XS-dPYΐW0g9d㣰gfOFOɇ!Du= `J}sk8$Zģj6ǰ\;6"zNU==fVͽ+ xЏS$ Z#$Xۯù\>G--Pt`8 ;b8od[E) 2,I_".Ld469ZYD:JQs7_{SS]8bSAck.g$aZRK&v:?"L_d8W5)"ۻ ?ZCf 8o!k,=.,B{= Vix/]u1puGW'Ǐ$2 W/]lS(&x4 U`DLθ_r0[iDSZ/ /x͉ǹi;MbtY =lṩΑvra)#* ݯv퀠ܱ~ep,)3%ǖg3x_\ Y'*U\;o\,5't:μAYda{ ֿ!Y{HêVtNKØpJX,ir@#jBp;kuW:[b_'pdM* NJzAwd /]÷\ Kc"O%z < dWFVq@Q[~G跴Oe?n8Tܖ9w% -B -`chfkSa5r3bk/UkK2fMn6'xF#.}ba6}i TNK웏[qf` ]6 `4j/!jwwy`P" ;%pwF =ʊyT҆UyP]g?>:/;ƀ}̜}>GmYn{M ?-^O\f@b(ُڑnqԷp:#ܿCp|֞-`F-Ãm@7H/p+̎mhVǍ+^3ŕD|bJOq:uvX-߫ݥ+K@pܜ68E\ *KMFm|زť~<Uzؽ\mHH%̏5QU%@'FO35W/ @-T7CýŽ! X%~{~Y-.zj=LS}H/69WsF19vCwIڱ,k:#f.owdGl㢏~OhvWN8*14Fܯu26Y7lUbPM Д* 1k"pE{w| z=(wc`RyXoѨIhg.uYǑ6M# al:[#iDgƓ7O`'2Gܦ~'#tvR Z81=fTPĽ(KQDY4 'vB"P@Rg\9-S08[Z׋/s^o!Ew"\U&OT^),JS۸h?޵KiVt '?MD}^<#?+)8`ǩ\6H;5GuG vtFX d%zg@Qt0P(SrC:ߗM,tE`V|!4_|"qž.XH<\9m]tk*Lq\5  юqH٩g a#X)8CPfRSnmȘI0b}~Ձ`H,ܦ1GwlJ C/͕Յ`ƛ(Ⱛ~1AR s{0k+YT|h UŸ6Uiͺ=wʩ8y}̻wb:XQԇk֕0cj Ѵl[/gu*c9[\Ҧp]cۡ6wpd %͢T"L`E~9 ͫ"U-%8g}!Ĺ*&Cm"llf'(]{ׄs2.߄seChD/5m ZA0],GQ.:FhLN.D [Zn݊@2y ʆe,lM\VR0'8"*^;j'ҡ [ş`[9eֳhc'rV8-s/qyS4C˙KRl0lCd1P i YiSE_׶o?3+RBO(SS~NW(u#i;&m:M {0!pkJfLTw d^U`i "Y*[ 6-~50,FЋk! )҂?ZwW{wSl2ϿގvzS_Mڇ:^(6XVH%d\8B 8CqV겋k,?>$u-_Kff6VZ>C2[0sw.ҘXϸ)dM~'j8['/OC`  Q׬ö+{JSt#0O4~p<W#R SI =>3)Fx;į^>] mAm*YʝkūZGuv&t~5fxߤZwaxx+y;x5&^T.a% "J%1Ja$HX.gf%,2+_l=!p6F_E_~P*zB>>ܓOKB_EBbDNV ~(:Y,,#<8nD|;4>dixzv2(bLWf?蒟QtBB771 .Sn0^ty'm D)fc<GjX)o_mBc+k*wH};!h,[GfZ:]^|#|]JQϻ(>JSJ_6Qdf[ls*ėz"YnsRRyn38 Ϭ j{kd<vR1B@ av})V"㙜Z;B"Bb@ V:|&xdq%f3p+hPM/i0CT #g­n~"OueI-qD@V6< >=  %jceЙٿYɇ~l Ș`ِ LČ"Om !Z 1lnT 2K=9ueK#PZ޻td}UT%Rk/WEPcl4s=Hğr{o4n ,/8n|C!,rh䰑X]GOLXރy'[clI9n*“M~HeS }&,CgݩzqTԺ]ypyv+.>K_9"- Uvl&(ͽ_YYanJ{w˒H R Gp裪T]5gU˄X`wPn5M1筺?$, N4RUơ+XKMn2YՑI#0^1d`< @RLo) }FD)J5|Ӭ$(,Θ1'|eªL-86VDRͨљdnY^{,غ|K(wYsx\z:CS΃iɼMj&O"!y@0t9XK #bhf >JuL"0ёk a:C@UK;sF71I{[XbF=! ZBT<#GϻD`_(V5]T8խaUH?H"`Hp6ʫ2J,/0&ˏxǍe3 .*r=nl|c55ovԨW]zC?i-)\d3$BI'`vhFρyfp_!K o@g glХrҦX!6^v]ͪfs̺Jϊ)nHÁ6>6T2d\r"6K&}CK}ё̑d_$蜊kg277NZ[5u:ج&SM\):!/!{7}`Dձev9!Nh'2~O 8“&;$i'.CJn~隣;gaՐ}] z#6NH\{Hh> :CYmk"v]X)#DR9gF( ڟδF_x\#29.s.K$R5reHe!n0igb'7X:aWm DLDNc&X:-4yP, Q{Յ6[ Frop BV-4Re_ԋI~F} ./s@owt;( 3~Yj>L(xO$4|@I"!lpDbE%XQtNIl_;Wnaz[xL[8⦔2&qG\-7ތ`d2df5ʠd԰'^p%k%]\c8 Pg'@em.bңիP7%,6=٣뚈4Ga8w|w'?c9?Q;҅0 :_kzZyc2RDS+;]:/J3|5\,]ѱdsCc9 xߊ>+؄_79]8' -3[OCCJ+0@} O*?AX2qA8`d$,_r!# eXOܪQX3/&Q_^g$6t.. n~R6`-T>T]t@r"ਸ਼ԍ07Jxw`|`\Q +l-+FsZru7?$ȳ~7w6;ye2T&&lɫi.뇐­Nu~$MXP v'4,åE%ygYzVcb?5ǖ^\ӟ4] d;(t[pJe~N:PUPݰI7E$Cr3}YsFI(N︶]y&,!fxUգ$P X` ?o> pFCTR 4}(92>h΢)Ց#HJ^up: )_]>PgF!Ri4FfZdaɗLV;uZ/wۧђƫc} Xք1~8peoqtp52Id+9d6UlxLJ@ E᫰2C'm -ZEfy"NK1{LxB:ޠBonz0KGi=.I%j9~?gd$E!0fWyE~g{.$4ګ}q~}L:!JIeura^~"L*Ulx w+zjUҰ=Mo(+#@ðe)I!L3 gοdSc瑲Q+{z:Ks& c3 ׳M߿QgXgˡ&g D#|/>ptAG`ܿŐE6i9;Os yFM#>4owҮzUqW3QگuYF-iƏdВD).>oH&rb ־np [5y8rlkyXMs)OH֥0gۍjcoéP 3o-0#bsºyc!f4孵JZ.::UpMc.d`"|ԆuN&{:xi9+>|<szR[/ !Cy"u,q@۷3͂<1~hn߽ioԿ̻ulmOw_Dj/#hjޣHQPȆǎ^ 6r#I:|x {<)_Wl eq&߭m5THz RuPy  ֎Kcɂ3$0[wO,5CɺU8n7s| e+nfzmкu,#8ҿע?c<U΀[aqH|sm=m8(R]NM6C9Sğɸch}}>M 10}FOTEõwꇀÆ:D}"(*g@uO>(H3~ANur S{S b,RlszRPq5cBJU+"1:6F\Ϗ8:ƯTaGS, _tkn՝ik 'hŷ5n)K @ PEHy!vyׯ?#?rj}D|s0hOs>Ըae'8۬/Duf5C:\k? 9iYsp߸;K.l`DKrN_Y!ꯐ+~ɲnpH +st8t8NCcC@ú@w-/[/2%]nsZf?I/Œ"VIA靸]oK̺^sD0"+Bkf]#t\ض̾ͫ]\豓\n$MzmA n #4sJIvUiUȦn7ې"bIaqv.G0Hdjz0OJ5YȓqDAĒVcq"ɎjlېrikF~&Y!.hstOݮ Wmx.rm"/. .L[oV_޼]prqΡ4%8Z#p2ϴ&W m=]󕛂 3=bɴ5fMV:yjV=@H: K-~IV۷_ pOK6H1I4FJ[]Q-iU zE,5U bbWX|ElH7)V<5,`YhЦ!8U<Ӭ2"zh[Ӛrbb B~9u Ih*dw{x|1Ҕ I+\315xo+D!%IQsV:W K 1Y#Rs?xu1q_{ +̋>CpU4k2ó+($G'$QVn)*2z\d5L*r#r7-`2n @݊+7t \&ZmL\9_|*QH' wdЁ3/|M}=pohY)W զet=/]K(8:L6yW ÚDž$+A9PN+q?AkJ*/e r_' zzVit7A yRHc?I2pC"qnbK!r`k[4; ^6esb>!-9FMϛp@as IK\:Z@,'f,?g.06uM2 N%g)cU׾\k:aڮϤg'3%0x~)pu-^lSl^XRQkxܻ  0!gxוֹH'5- P ,n;s[4!0tjhpo4Kj8C2p6+%!]^?̔9{!MZWuBYa'K,ڴWBm&6[T0,`&yR-qo?6ަш=w93^6?-/:i3|PK4oj4[ $;{22fsrkTz@M+2c5|/8E'^uxsw"gʱ}tg7(^ Q/ ULiZF9}222@D_<^jk̂mz~ontpC{g؅r;q>spu&+Yj7\}4VjRhfb퍛ډR+b\Xx(8SKGfv3΃0wbQXISMoֺGi WKSkTv0eGRz/RAāT>ΚЂؼ/i'FK! ݃*ε\9 8XHLKCpR~`\|boģ~s #|-i iZ>YwCf[aI|lF1'!]N f~?~S.2ݐtyK& sMPLHWTQ F{ xdŒgw"7?U l;tԿSlp0Ef5`YAhٶa9s{|{̆I1[ faY2`O!?H9+3YU xo#st6z!F#f *B"pq?!xr'lݾkр@շpTJzz)Zonhy$tab`dQHV2wҙKuȣM=-rш+Ącᬎn9+R~! TT9 U\n"R/RzsC 5.l l$]yq0l8ߋIȳ=p-Aiiw]([[˄)0Z+D&l=L 9<<7_-塋kN!6_=;5'C&RhG'1f=G;r>"N;ɷ jAǴiI KY %&PC)Qn+-d}H=5XOѵP2|!NcaQ5Lq|͸TED[J;yjaN o<#.g#0!n$6Yu$2?W=5rk;^na7UK‡ܨ N^)}YHkHs$OgsϢ ZܧuQS47ފP{ʡ%2R@dK|˴y42oE[m3Z;*I&"vVV@7T.-XyK)  )-?鰩ɽYQ6Uה;T̉>د>_ r>c/>jv),ce-oa}! hG? Rj=8)y퍜}8l_q:?~47Ɛ`5"r%R\zgz 8jWlxΈ.tx2YD!TUiYD}q-h ~[!O$GMi+5CEzePpYg"Ir1^@9yŌTe@4)׬đlH'k0g "*0 bʒ ?gR/ƷH42S,sǣ9h6;O3*TJs HX`pu@8PQS0/}}eeow?zWZ]Xv>g@RnU= Lޓb) D{90h1};}/KZ SN,:qI;߅=j| K k@wl+` Ėo6A|k9qYW C;0oՠ)#p& !i&^}U&C[zAng{6vy`3ʆXo @``<$[r|sࣞ|wr 1"% Ӫ< Knޝ4;N,Obǣfpec"G /\H E/nL\EKp-ZΑqjHr\LtΰiGaFZLY{ G(_koy1 \?dhة'%qɠT{ j<#|r&HZ:I 0;*[Ëޯ:Itf;wMI5Zo6v}m$+*v6;9 |Z>NA.79S;Eddqٽ.孑F0By!]/Uz➣*z/E#'X48xąQqkTDZ׷x RF[PTg_3ejS/htlDw/6zj(B njg;C_^#WzYW@\94k-7[=JY:pdZQ x{C);@JulǥFB<ڐo͚xmheV}Y9urDO7$nؐ_ڤ;cwƃI݀dx /ejmn}8G䆼`M4`|˽sąi_衪 fqW$O~ ~յ,z@ں'Q pE|nG{8;Y.t1ԑޏңMu}߾k{eX,.wڟ+k.^DƿDvg@/Úh}Z 2oǏe,gYZf283e56c0e037e242492e73ce6fdddc2b36ab00413f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c53b724d6033d4bb5a2ef0d2faa1767786c648553