SQLite format 3@ .  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#|d ] Native_Word:threads=4elapsed=705.946cpu=733.116gc=7.992factor=1.047zXZִF! Kv]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&іqFPdpSt֯;cPՏ}pҷIbq,0/Y&tgDI9o4Cߢ,KDܸ+xAA,jlDԘ\-U5apmORё=+'z:ЍwCa_3)jK> O{@LM?BzA5`r4Rl$J82'8M~)n:HMe-^a'6AjzK^.hW6`}ἑ‰^gg,hҤ?Ύ_`qH O u]:x\ͷ֭(S4+unڎɃg1Zl>>H9v2L_e=N1@WU;9T"&k1v㘳m soq Q~#VFúÐc$BV/烁oxFK.UX(0vrty̵/&ey!:Saܷ" rFOd񠺉A#~UݣCVyx*7`V 6&Q㺩+Cf3C^"&_`gTxF>RJiN]cQ#z{s AEڹV[~WIpaE/B)?7RҒ{lFImy(]&{ _'vAvṿd'+ɘ}rI`74YӍùt[_gH`㴛 EdsZg(Y@)UHZVXh".,jk?$^߰XӾ4Z4UrYUS.~ b[:0hy[vC,|~syP&jلGH*LOv'0w:t<_ 3]an)>ib{`\Ts*ickv 5,H%jL.(xl СU3DB;u?3y+r>kI'oNʨpsW&E-8I) D^奟2Mvc F1-m?vEZȮ%@5- ŗ 9py]'{4{םe%4=6i|,g ŕty8/r}و+C\LoTda䤲n>F̝ 沤LqE\nr 汳qy2Jm5P2olC74+C_5 ҦRe;=!/CԪ2&75wE?u/Ё6YN[0[L-Hqʣ3&,7k'{Q9MkS/!?_e{}rS/%fe[o.`m6/_' §]FN)ȳ 1AWXǵaxl>g"TUKF"k]cK]qs>I ' # Native_Word   f#A/ \Native_WordNative_Word.Uint_UserguideGenerated_Code.ML7zXZִF! h] %H  xzQ,O찺& эSezQ?tݷ1v _W9eƪ*풥R\ m l)F\@oKȝaյ}l儼$͑)D 54/G ` RZ;Q1+t~&~R̥㣈%I;!-_롆*Ҩ9xpx_Z4P8 `(p5ot \G!2q]"&7G*;Ap#W"qTl{ؼBH;giXmʛ1 +ɛ[JD[r%$n76ߐ|_\DUbt~aH?cɯɾJ ) T;s%4^CWOlkS'!BƞvUa1 Trb/;>ʮK9_n.kP(B=/>ܲ&%ZծeaAf+^͝fPXꚣkim Bn  ɤg1VjmXSQ.{"ϨEW~w+!,X9^-{dU$ Eӿ3)@UeN`2%ģaXjͷ ;@\I}㪤 "|ZjJG+$]Dz=[(^;?$@d(e 32lKsvAi:/SUʂ̑A\7&u]ߐTGPprysUku|Y')b s/p gYZ ;#A/ Native_WordNative_Word.Uint_UserguideGenerated_Code.MLۘ>YZҐ$,Uruv.X{`vUvZ,"ٴjDueL-EP6Ce9ԓ('8¯{G=9Unj21R8ܷ`鱸b5#BMpaQΟOvwx=O 㛈@`ԘFTRw\ȫqI20Vr|Oj̅/.ZܖնgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM] n26S'@0}"ZMc^̨e &真v-PVS;})m2C{eRsQu<;K:vB0;`9jpJ6wQ4eC9cB у J3"d<~՜Nd"mH $wN\qZX@!k_i`s<#P!8]i5k #HKbnip mߜ_F*GS> <7V7T],Sv&g2(i;xC>Uޠ5ַL*_X|ն6(LՒ |ezKIH6bh/3֜;[xT'y/T;,2ٕ3%`0`lvT , r.'jp^JJ`<"`e,]p`ig$*/wѣ3iL)(PX: JP8yt>+`1)e7qډpHPvo M y?hӳ65!HIIAl\9c{%vbz RV'E69gYZ7zXZִF! +]ŗXi%By JŚjCq&ϝ*jܖS0p&ŒF>aKh_jC;)%`ϷUchRq7( cܜ<5*{7 C6`ႉyPI5;1upl!J 渄Z߁|' B o0"&ɋ?o"pāxCWs3ؑt dWNU6-9cV*!֛G$8̡ea aof.JIJW@ɍt b12ÿ=!!dw>="P\$^)W(*aU4IfI+Z E4d k¨w㇧C.)s,t2lWeANriW89Nj.hd5vB<%t_2~͗aQV~C{j~-@ָ@~CgnAWL1Ev3Z6Hʈ?Cf"\^&"ޮ g6-{GʹW9gcĸ4PBVhdZ1ogw4tc$GܓH2I(ZHx.xeHb3wPӼOF25P_‚W9-fQ biu VI _nS6i]r17XHBB[IP ׼CVpc/ Wup&~D5xlidk|'FcbXAizMY97ܩ{}\ce0d^޳T"(`.݊+n3>. k`F)]b.BW~7Vφi'd%r`k, 8S=ܚ M&M1-OAý\#-[<<+T&q. AB?JJ6()p;Y"[C0CAB]k gߡ53ZG-\M&3HyIb6?U[_h*4) ,B aѕ. Ģ>PH2Gq埠wlh#9nB L"LԺEn!#vb Y5Ou34cw1v:O=qz ezc<1UcLLf$}HUr k,gsqG%<;P]?]qq?Rw!y.J_=)Ħg3y6z.\L śܱŸeM}rj: P=ɚvWRv =Yd}F lXC3 )WUg{q|:,%Y8m>CEv_#Fە,c8{/>wVd /Tv7 ǎg򜴅F`$C,d.h;ψ _C \GXƺD(c0UJg<  16*+㻬֌wkpJ`Qwfl%1׹}KCn6[%:@Zzu0"QFf5UhG(af|+ ݚbWN G|`h!W\eަ (!5Hc&m$_cg:)&Xv=ZJ;y'ZSBI{((T!gm@h1nY4GυX϶%U+e*)s)ZiدrXLĚu9>zt$oOq^rH?pOӱ٭*|xّUvI|SՇ+>A뢳ZMt\ bj#7%/[4ªOAN5TY=[a1ޙjn(CJ.Ͱ׳ 9_oɋ[$wlX*^G8z`3mQ| /##ރ7vwxM@KflRgaq$*OGĺk/a!<5ӵha%|aO$  i܏0HCSw (c{#2nIcѺ0 ЗX\ &Ohxe&eEjp x[NkTy+d7bIknf8fئ%y)uš&VfG/,ᾎՉj7 wfZ{`>E/)sC67<ϱF-Ѝ-I׈Z 195 +Ɍ:f^}i2w&Z4{AGܡH0C2WuCnXfʢwgs\DSLEQBJX+~˒DNf(q˺hh7j$V'K,n:\1rXO3@ŋ-d/,)s=juž:&zL(}|QMALBmK|UJc&@Zo p3pt;.$[lK5f#b5#tq>] F1o=5%w8/o.yAH;/0(&LgP<@>G6TtcgH1Q oO4H%EU|P̓2 {Ib+%'yKn?^+o8L㽀H*nRyq(BI{'){'u l0 "eYĻTduJ|֬chW .kfbmĎc2ʄ*:ny Yb~>6mqWoY᭩4oA[ E%bJ1_nՃ/NlBz&ҐG3W gÀ|;rqB~Yi.Z@9E1EEB. L8KIlq%$&edZw G n{cSj0Qf,Hi[)͛yCǝG}n2"*#{ȋiޣQ}78z\d?kK~FԆ"G/{1="e >9]RW#h*p66#bkJ]UIQJ ,> M⿿hhm)\hښ}2 Eo6!Ro~؜tGWRg4WJv?CȬϮZVgH0PΈb`ۍAi ?^$R"#5͵N <c<ezxWɣDoDњUAav/^u,ōѩ:F R얝RcA 1қy?v mr+6牦SRJrj Fmֿq'0-(y].U 'X'1U`[#ŋHa.ZicWಞ 4|˸ $nTdᰊOq=Ҁ1o숴-(FGdGvC{=l*S] Q`p7,-}%ԄPpTRj|/QW̌8ȟQ5 0x1p.y^)VѦh , 5T%4rt( mMFas[R)*lLa:jx6tbʿQ8Zdұבp)Ξꩶ30(oͺXϙbw6O?(S gbmf^Mm0Y{Ԓ0z7K7S~+ڱK(ՑiюBA#r z`&OȬl)"n:a!<Y;jazkĄ)d|[sKړ FUo5^z_vUnΛRFri)·ǖUh#tka8;:33ƙ8 Z, x`T NCHӊ3S1׀|A}ʂ_ A~1PDWohTEJ-"j<7 Ro@Ew࠻o]?өz8|n]yv7S -KB@D\]o?xqKL\zLR(fvYŚӇnz]?L O8`)/Ե1FYZ\uGB4lGC#& msZņxRэxdu)ՕI8kM;9ZAһM/|Axbq 8*Cz u°>.HM9au)y#y:TANP@vސ%gclɫތ5`EkYri:cOe8lt,ne$#(fD]%y5J `7|:>%k=Ъ4ש׾V-_sjq|O3mᄽbKKEǘZ*-j?|*L۰d`j<5N{}-B޿fl38-DX݄*k;XrsQ7WoǼTTQl{Łe"8JS kOsuwO }FۢeK…˛y!*ThTcTGET箣X@B6Ӣj?ȁm"t/5LK);Q}Bs:" &q{u ` ;uosIFƣET"JF*Qئ&*^ _} -cv0p=+wQKQWr|>̷%V6[pķ.$ǫ _`w 7|&Qt`X Sm\[Y|ɫW-8󃿸C5oc5S m3kȹ%7PYЀ1y}k5~Чh'"|ّhaVR.tQFrg@qGF]Bd sbM {L<Ԗt %w>RN'b8KnZ]Ux WSx Ͽ~/l#R 9j>T ōc?bB][̡O4m2}>'yZEZH&zp*Tqj-3Y }j? a8IgPέ;<z96|\.ET ƨ‹ $lɽ8L/p|VϔsfKXIW`\Zv&gyls* HQ8Ìx#&e 5{}:!=Ze 7ea /N]En}}r( OʟNyH=p`#EJH?`\*r{ٴ@Q9Z,k @=:jD;1uq o 2zQ{mJl~/k h} y Sb[&jvBh)rޖ3X/C H= m2/[dL3+cx7P`Ft[F .a"֣IB{WgE:+QQC22Fƥ_fͮ"Gu%4ְig z1/|{LRʂ1|z| p[G] gmu' \OͿç@CRvM+~ɌƇHD=ј] cS,A>a|?$Սg ÚAyvZ2b:6Ck,.?奤Y"F# ~ Y cK)^ A\O6g*9sjd[fhvکjǚ)xH8~G,r\Ѳ9HM?A$B}  :Sqwvp!2 hRԡK Ăi Pn0%4ű7ip]i|<>;??iZ簆 u1x >>ݰn&WcROtrD1sαpW<,/}b 3?dvk4>cͿw- RoY; i )حgU JS4Wâ7哩QWӤiI6󙌻h<*/9`z贽M7Տ`R\ O?i(ؓ'0ehîtN_bRg |Ud|7 m1 6ddljB q2:o~Ar\Bvʜ= tCa|@9t,L“J[pAVz~~'D=F0hs)A.%g:U[-#χT),K]h n2R7i"[zUTONbղ\qʫG +g<Ūl ٖC `f͝)!ˆbH[Cd?^ۗ̀Wdِ39rm̛)G]):8Y* icwqΪIhי3_N3KC{Jb|[`=v8ƕTÊy/@G(wMjݧ}X[**\%VMM.Na\.exY3+7V<h 'Idk蚾P)%!W;K(D+뺕=wމigePyRheqٟZ-v+qn2 G P˵Jݤ (0;#eQ)>8z$w(-*+Dq$ʎC:ubn IR#€ ]5o hPX3mȚO*n+iLr N!N1CE4)qbaG-ȳLSFK,$&+rlhܬo!@kا*E- kfE4ѿ*N籩۠gTa K+ӣUz}ǤuuvPqOGL/%ʑ 6L;v7XD)H#_HHϧ6\/&|3W WYbR c2|Gm _ MQ\yw!G{ߠ2_Vf3-V`g1FSt#" Sd{qQ;Wf sJ,xUF sE- mjЩ࠵\YaƘB7sQg;u,=:Fz$&Z麷IvνK#t8wt?*ef!&y)91JIz#$m@8l50z^?5V $jZXS,Hjc5;!fN%Ow饌dzSlL uy ⷱjT}<= |\˟5b Ķx˜Y&Xw ~!0!9|~_NLAӲ 9}%E7mI@d5o ˈ&{GdwOhC׻Uu^4̢$8lB 64YtRc}rU+Q"MOY+`mPzicȓyy,nT!D3m~BD"7*/ؘ='2vl(59n߸l#c6/1ӘJن6݈Y&>)ز{YO!j:&q2K:L[aoD+b9Uu %z[tAaƞ5q3"\x܎!+'idAZFڹsosvАpdid/lG+0yƵRKF$UֱS ի!iT\e0D-l"N=UՕ Ԟq̭wBZ?ze1I` O|!E,# +#ɇ =(a;u䧉>W ]]Uy J{;.3蚥w?{2Ox񏼛+&"qܣ ~@pa/$ bGW]u/dn\(2n< JUG3+GH2FP@ʄ)h& _x@(6YJNfSqFiwbW}S*#/AtE#Ç 'Fd_IF320 57o's ciy&w m*-ȯ7LQ7yL J;4r:!ԫstF,-2a`EJ{\L86{+d> B$߶=J!.mF_2ٵH톰)EfCct>Fտ`{H(*ZW7Ȩԩ5Ԟn6[ `\de /[f<|]V+!PnS|D/E6IN~:0+fp.}&g^uXODB vƬn]#;)I5s&o^#"F9kݞCLz$>B]7˧K*- 2wK|[т7>IӇ0f˗@ b>m Ƕ`mx夨4# 'zKqwJg"bx? 1}caPWo=:޶GO"SEt;Avo7鷣WԻwiv< 8άq5-tmնj_#֕#:2p}e./8G<òR (lϊ 휢[^jMHn_!/Hvu {A29?G0'sP}G)۞`0^т+_z5D7t ҂2o[UyTR)8.ۜ*j@VxP9fs֫V́PX}Қ gHYC1._H%mqPJ4,buK=ec:eI߫>(t,;ccz.Ǧa^_Ovu6Y+Se "$#]>G2G&nEpdSqMQ)B {s}QMK՗:"+ ; >| _IGLEwb+ȎP Ś鄑v ,Q,hDƭ]YjQ3dGzJJW^.E(]s7mOۆM0/9#1Q3Xzˠ(qp*>"%%vG[g/C( 6ס WN6 -M|Ї%9ྦ׷C ứ ء(߈GHn1=HT+k.=/gaI\RjOqEc5vJ" ϖp9n&^=;'o ^+ 刚kZ>h᜹$N!O,i(ˇ֙$),[=m W= `r}KR%v`ffڝZ^aT IJ /76Z_&ְ+*.Ep`,"=qib!,# Am>?C$708qa %2~O~h1xr){UVȖ4mqt̓XqSޯnh J*v<;^_ܷӍ85nr٥t.&@1^ if7p|#"_Zu­aٓ@Jチh~ENl-("qE,僛վoM4?2V^71=؈A ؇3f3cpRBҸJ̯Z亗>ۗ l{>F~.gZD@cDDlQs9i%GPc䠈1q{ږ^-q^Nr35*0moA7uik*|W7lيU0$RdL|)(fk [m^F<O5TϳvFą QhoHOUmǠ/*&@5iEd@w7ݽt@:6MRwp,zaK4F,oJvJylNs4%Y["FU?0Jɓ\aZx؝y[00kfIAVz,TwmOMgr;!O Y^fr۠DL ͊8lrO[E5Q=vF]g|6TK͝]#hFQ%#I YQ3+jZI2b0ʄxǥnY6n> _AJKYSM6Q~,j>gZ?mL`5^h ]bQAvh%Z~W)Tr uh5A#i*V~)#h ;*/]&\=&}92'v?1e)Ә2> LV!9 0}?p+w'&UބNbda+ ODsegMsbU*׼jCEΉ}olp.].*w_gFh3H v>;XvWbFE=J'G+T//(>8@fDQ%fxRkHa!cb[aw36i鶺tx mG DZn (W~_3?t l037P !*hq,/Txi0 !i7)\jX6Dof@՝oIHѸ*jNyI(D"$Fӑ&ՔVJ/ӄT"rzhiٔQK-V)hétxME~%30.3L&v3'!,Hk)sa z_(!ywi/k)*1FrnLdNنl tFg:Xcb@{djUbrl`iA\>}^ 8A^Kٴ!MH6Vs$M/s3#<824m.X/#a[ aw^ɹ"w@8L)`%ZrkF+cqy!0p^ۃ䓱c'Co]]:X%(Hec4}7ْ>~/di=O@0PįbrslUȣq'.| k+PqR `0Fe nݞ^u+Wd?7 $EWq݃sHɚ Ib'@ȷY:A Fװ9gK!!oZ™C~:2z ԓĪ#9^+~)Fˢ _HRO =.(r5b$r#]z_W rϰ\&FciQ# 9Y^,TPK1a?E ?+>t^T;.pR!`Lrgx"Q]g 7$h5tVM:ǹ"MBmh""י?/w`SUF4e xUw=]Wy#G@V^$g+J<֧3;*^\E޻af2zwS^Fr]z$!9V^R/`WI5䣝PVxk6Hjzx)A%1m? 薇xGjx+9czArxw9Ct^P~xS,4^ٺp|Q' .QRy;GK1m'qHUx"dt.QE~u Jw <.Er_~ȥg 6 /ƹD0(3 rh[Niч~V:q*J649qE >z E 4~2[W,)sE9љ PIH@a ?UXn;Ķ׆H )Fȧp5-S%jO@ۇihHFh1#}ɕ;ꇝ@) AȵR3ĘR*qN3eBNȆ{Vu;rRl1l/0uK9pյymUv>ɚ[VR"9p^ӑJAyOm@7a-9%mk2\V ].oYڴf&=CG~;`p_Uɢ p2vL+rZ NIklg?T$!>i5r?0nSww!yks{Tf/j7Tڞaޥx6 ~|r.b%MF#IFa V%mջ zL^Ry qЊ*B{ {9"^ >,'VUBP enD,r"uSoEY% #H*j5֊anHU5b}Z}jw;<>355ˣ2KNyRҥj_}rO+RTӛ6&Fu=i ׅjX&RZQɷpdZ iRtRP@ƒ̶ 7X ~y9"n8 D} j~9eS6k5sNt7]&G -[RYFB62X8@6%"Ry0{ԍ U66$Ed;o{au+R/wCpbP'~}tА;'top,'Lj77KHoM,{*[p[?o~:ii M1Wp5!V۹ Ń"j#Cf}zFٞY@~0[Y0H܄b`uS-Ūy0Sa:*][ؾ;гJرI9ȎDcz1HH8 PN>+W%IqfJ4t~|fS[I~͍[h;l w)K4}sRݙAUfKJY~{F3G|­FPL(x@q'^,ui:Xbz~<} ;PUD8Dн\0{%1 pYt xrz7Y]o0 ˟K[$YWq=ЉgSHA0{tN k$AޖYAۜw3y93QVO8qlـMH\JC˗Q$]N_)'rB%xxe++d@yC(3}qD?Ǒ#>&T?ʧ"Q17[FqӍpN3AZ g=K>V|ڲZftl%~@Cب$$G4yF s`\%/o[#AWiSNtCX- T L1 TI ^qm?PTy-wΦQڟSa _c6(ga+ńMf| eo0rSkFĔ@8vx īl2KL l߀N3_c[zЧx^`ݺ#ĩO{DOsV[J8`Tb8Kg$~= wWP/Vp4.w[0dY^lU=j&C3$h|_ 7x7zO;5 ;#PUC| fI;&ːHfJ"y[ًSߘɍo.fq/3͈CeH.j6T*MtPC;A|Tq (DIo lTUW=ϮOz]0FV[$cʝk*[4b+|,7ۢnN *.dzZ/d#e{nNb$lUrU¬[g?/??k/m P)\B]߱S-eq$%!Sr`lѥkMgpnXJhvAG҈O֊Tfrc`+3d.cME9pv_a x҆Xh܁B6u.h=C PSBt9GX?<}8| r_ uҫÌͥ/]i_I kpmؒ$W2)b-`GFϧ`0UXvϮ^}MAҪ%Er?Rٔ*RO$ epQβ#zQ֋ )ڄSB5be"HL M0ML~ a1wӝN LF2.AX&}bC_Ca&$7 AآYg-zү[Z2݋ǼP%=kL=$ÐPމ%q8idpI)d`&+6u"13n">OUO /itwD-(Tn"!TU,땑㤗kꨠIyبs0Kƣ,7'ޒaRT,R5Z~ NqNZd Y吵U/Ȧ#!p) 4}ceJV ZOp!T#7 1->o W7 [|؞+HMiԮ^c_>QhyEdPpW!rr_ѬQ[10e-議!?AYnOF-a ǔOЍ2-(OH]/u,-I0g͑c,G)W!5Vua \ |ث# 9U%zuꏔ9A߈9Nx{,^]dQ3a>%WX_يjU3xJi+뵉d<3ב_/GT&CN1 eZ[Fa'x]Yޠ;Fz  ߽jfϑAY d4V>5czP-xse =<=K;KTj 70@v\wAj$A\:jhD',O[Q*(F$$8\g52 $3f]◉lBz&dz8.f,J+;.ɊۻJ;19n_:Qc"#IX E}}0X˞F9v8~"P&3DD#g, UySKnE&T7Cp:1[k8-uUsz 4mxbVh`\cOзnO#VR!N-\ܪJ5ƲbzP<D$CV0!WS\Ր \'j;d*}-F{QQ<14@FT&U(5tlv&9Q#BǼCԕh1ͫkR(|.h7DgYڰS [YSWh [};~Nl2H(hW~VŸnglnflWhU$nJ?Bo?V]"QBx 5mӞ;7!=* &]]Z=nLp#ΪZBnuŷ>$-J8,mK9"?YKd~05Bhs_t F1?ɑN0\ 2g=6z&a)f(l-0"4黪Omí f YT>Hr@ۜ @7J<bޛRQ("(cM䕛9 3 5< ku4hؾ$?hdG\R'v InNW-UGp{/ I9@wx:.܇8\~͏16YBK>`Op\Zyx]~Z9-%Rcp-ϕsk-DFBTt'G#Tj0wO֒fTmouxcNv!LaKIt<sZ\otXEҶnE ^#ň8}[;E6[wZ}p%˅Z35w) c'U^ю͕ؕae7gˢGki1zH`ǩ iJI,bLXޱ' 皷Uzc_h]TpZ}y9=kfwN(垝L.: -g^Gtm)C5da9EP7-X̕*RfFj"xdmN O%11zn_IyZnAhi/-߇H*#vyүUg p@aj~+,e7O\(p= 5OQPtMU <tYXf;Ζ)/E7 FFvHEdg%9‡zw @y'$bMܟGt6C˺u5ť)&a05q)Lp ]FlI 8r@l%qvUR%l=0[BFoܮJY ڈ*?X.K* peikUɻ~! r* +ult*gbs=k# {Gmis?H rXztq3v6\(ٔH%L`95QpRȤ.7w u zbU5Ȯ3~] HdH'|WQǢDw [NP$I|1j+Ta/8I/䴐z@"ӷ$ɲjdE^tyFFVQ%OVgecu5cѰБQ:Jceldá=cL[),!1c'̡sc@}MQAi4/L$H/qL*|0z\ؑ@0"otr+ ]ۼ_ V-Z2F\:Ѫ>~ݙ )] Q֫^mڻq:NiDԯ5l=+>[ -V˩z#; x ZGNhƒˊy0?fhԌ]䯊3 ДR;@Ю/<;޲)s,S%pM2|rJm2kXX9Kć?fDvFɫR-(iIwć\pgDv)}si+gv_T*nsoEp 0,L;^HTVf";œNQo9+0,}7idҳyR\xd$UOdCy54Ĉ%#r:|itBbٸ")Y"a}mHh_6P3#2aTqշF}gz/!\ 5ŗ=GF6qiwNߘk`*S+=TpDlz ;J"ؘr|({3c= 1\ccdYoIV ޼ğE=4 &'5˒ XAV%aZN M3o}[eYSâ~9CQW57WZ1ߛG&T6R `\J2E7Ffw!^ .0ԏ '5XJSNc c璃RWS"^4{" KzV߽0OiM~b':5H伏GWTRS('KNq$5V׌4-5d>u3n\׎[WteR'fi_1hKo CXp(۽;؟ rGO~(j|!Ϲ.l{ +)b3wq}لkۭI 4 g|@{6KIqB;nb6fZH҉2^UfZS.%&/?iJ:} y>HT DxbG0lf~$ | ~5YSnė`4F֞`F8 [J~pSgнG:4!FĨx} kY#SVvCH8F`VUP@HtM7K|;^*Zuw!(ǂ31Lċu+LTD]~ \k 3&|֥ɴst^N.rxLW#L)o:Q5)ΦV^5i ڜI7lNwq}o8I8Q3,@mP~ j)v14@[c bpYQ릾?lU)" ,ڟMH`jfP@xD [{ ܀} ѯ}dUC88*N* [}Br3wU]'S@O}%=RO{ V9?^!$sUCjRF2or.S_MVdT0إ-H(LkAsP. \P7rH~UuH7뽚wIկ% 8-N('왾]I.{^L62=fYua@(͍{SĮxnۭ.գ8)GCD*ERa,[H/57}y{ dyTSeH˕` 2.Y_,'x '~&6G)Uy(]/M̏çHqWKANVd@c֕K&fɕr2- ^wɅ:.Br$jv3NӒU,Z Ȣ0a^dGW =y*# KrP*`Z3i֞إO< p6_xPZ 6BX@#f @&>EϦZ cݓ MLl{8EF/K"u;pal*B,3t${!m0>i[ nRÂ(u'zʼma|NJ55'd}8@%=&[FS4ĀRi}[m#*\ kk}"\xI;,\;%F5ÇlO%RK;632HB7$˱Q(Ijeg*Fi"WǫZ3׉i(ٝp EN_6lvk( f֘-BF[*M^=2Xͪkٔ[kä>*t}E <' وw` $hn8+4\TLwիӝe0;al4" @t58 MԳ I!T2md! ]Emb zoZz7 dv3} >YҟVg/-tiD2&l4d=5ţ .3LP:(?v~Nzv"Xg-ڊ3aª6v^ sS~wT<ًŮs" =́Xt. |4`fWퟱKF{ьΎD hϚ^Jm,^Q!Sqε׊|Cy7QG@5VlO/C;A߸2^"w_Fk5S\Q9f? &^T鵁\Ma [&@0:Z/ s@Ȭ?#)9)~䵥iYT[J+paw(@ωfU̪S9z 1*(ftƒ)VCi,das}[ ĚogޚaįI-}s(]3~Z&!I2H9V|{aZ%1w _Fڊ\ZŃR7b->%-[xbO1cL=jvmVnZ*nĩ!>lCh/Mp )6^/JRp>b/BEk|/ɍ}A[##m*6b'AC_0cL>1f[]G>R ucƻQzS-87H N4C]5q`<'2n(B#DnW/e[V( %m ulDLs8I=D{J\IRFn_' $Ky1g8vLq#ɂl 3r$`(V8A<ô>z<H L2Ag_!>2F LB-bT#Z:8IIg}8RUXTsjd> V5'\&iy+rPܷ*ݶbϖ2xQbO1hߏ0JsnS=+v9V.q *&X-q٢\Hrِ;ޖÈpHG7J ݛURwrl72x |i6v򴑌~ʜ%J i;h\W{US;%"ޞ0&ctfg8#6I J$m eyG}L/V6@Qqn3p;?&3766oQ=xٱ0có"QZĴubb"͈bT"媋6wQ1T/,K5'+/&3/bOm:%ҍ sxOynEMp_faRQmۈmVDhVgUY]Xk `g=*>SK^l?Vgcsҟz9IAsuX GZ5y\uñHDIgv,N8=L$/itpr3q><&oB8\ *Ol NEL U{s&[zZ'=M oOR`/g/ۓWIe2f@ [euP)y.ϡ/bGA7cc{:Avj!0bSHtVRӵ-쑯其C-RǛ`E3 *^@:$)S :[muzt|9UO=>Ds WgNXZ$Q3YK{rcS/7}n(ݠ嗥52 h.M JC!bKUWoa !J35; 7=b|Yi>|k3h7ճxzׅ@;cMaa_m7MQbi}"Ñ&c 2r pyRu[17G*#ZژzS <'Z~};@+RO|m.%64q*H "id~ۿfrH݃K fa%S1#SU āX?,@vۮ"Ųk1Y}Ým]4-RT*Gu[#~ ~!YY/.ݓ(>HdtSP\ya'^Q׊=7)nLk~aQI9֯j*9;4urs5b Vu #A?De2H.IFĞjc֣ؗGÉϟZ KI͛#`=2*).\4=H'[C (v޼bo(e-wH>s䥲 }6:b Jn5 .(cLa8x_uG,䘪kzY"|LeRfDiKSRk$~##6|0UQRR;n~ESgS#)|ȵFmv^Ax7A'xC%Mj"*hdXI 0S_Z5ަj?aY%_`U0Wuky$T A]OF'Xs}cxdozfd?f$(T PO#XlD9 ZґE*\._tnaH6,ВUfӔ< _F5ɄX\1~Afv#S@Q1zLIEǎ*AZw^)QRdv{S=QbDϣ ;.t?2 m'[n/B!t}`WiiFGD .zfj,G[_T.*~VT5$>| Q CҞG@Hm[']I0)HV8cHA`1ؐ*>+BM ZO8n2(vr)7ٙF&ŲK[׸aӇ<ܷ(D[D_߁_{r3mC 4 \aY)};-J3a>bžrv;C9j)V%Ï@#?Y:<ǬԵ Rdu F)3?&ccxef]YbJܸIz$, B},c*iy,yQ*|}vf*tRpH 8nx]_.I$`BuK++iխA#l7hǑ9VTEVk;pNO%aqGJ_Z )O9 &.?&rS`-0 Wo^^euwL' T)8 32l;niz|JRώ 7g%BN('~Ls;ێ}7P&vTI%mZ,@##5bO*KC6zyeFhJvƸ\NFBJA0XϽ.w*Eg-ѤF_P/]t[AgsK؆6kk\Կ]Z + BMD]3etYdJ70N8r'v@"C;_v(vȕupj_A.2]+YxwyJ-51SP!{(NTK~F.urB?"Miv(xװ)!:R6PaA8a+JC,؞gf@ PD`٫ġZ $Płͭ2pyLeɃw @ \ pavU%.ԽjP6`" 4v *`R.rTDX1NnA}2vN&ɂ Ax T%,r*ʯE;jQO"dC<;d?_]ED,H-Z $l~0 ݹMD2 ox,3]8Z#S"6s4eDp 2:)h{ lcj +%Ѐoua"-k # ~ϓE c'?DZf?dMkŸ4~.2׈&'5w q+Xz*6ÑTWWEHƩq"{Fcu6Rɰ{#~hstQLnYn)O\톱FoiŘ a* N̆SC{ى*4:W)53uf߂DTgT"9D/{|B:êG6fjIZ+]ZUIu'|?%sn !|L71:ky P.;F~BXxE5~&kXjv^}Fs?6sm|`xL2y _ XCb!l&#fُ$n/e/L 8qљQ*3 5u.[~t&AV,C@Jg{'McW;^'0sh1vHCw#:w%&4\<Q˼3#->?"$b5B-)tXqǟRd~+4p.g5k: \躟pۃ6^+~Eț#D\e;|WT fX1N+$g2n^t䪦a<-6@gG1Zm/bm1Alņ5Fp~Sbf=XGDCG}B!g}Jۗ .D-ӌ2Ey;X#PCa 㓧".9Ӈt![X$mكkC}p7&zcKLt7Cq^Fj [tO%܌\:^ stwAEcF&."S/H ('zVsËÏg&e˻X^{;AmkC0fz=Uڹ0cÐo{}cK.7C]QOSѠ:X:CʪeI}Zw[Ude?l_Q5  cӃ͙G;]t}ȴ]YVA@<s¼101DjLff$R(fc"" jPyy a3ИzߍS\d{e2V`/xaF (ww"_ K]'U`B~Nj&H`4'1W3~EϘ1"E`F1TIɸϠ%*!_"Sz=ٮzVL5ibn;63/KǐI8hXJM>nV]ۗ*FRJ5-q}  }ln Kt( )@~g/ *ɢA10u+}h=NjTd:AzdH$LqL1P}E}!pӝ{;:$P. ͛M5O(Ru\]C߀ö7R/5ku,ֳb.k.۽_+ ('r3yC)`Km?zl;TI`I\~=2(rF5Dp'CZx;T[Y tAUFt۪<(XL= [I[vikHPlFxYcc.l';/93--_6EG|o5+Ѿl&UUJǜwy&zkᡦChCފr^n߁ qvitMeߨ*f(aJ=ucF1qFԔO4Gcե'yh!0D¬ E24i_[sm{)G5j]]9vxت<+ݗ' alMF,#PtaG*u xNi纊kh\;|g"!Ex'p^5jX#l¶`ٗO;_sv:ϛI`PƪfBe`U ɠr# Zs]cQJcJs0'@0My:ך2ȍH9ڈg!0*ػAmAnq+va2_cf!0IS~X̞fc\FJc0ǖ= 0wy,y'PM]yCX`0,=;"݋#zU.toh'y{2?Sh7'ҡ-+o2j 0Lrźҕm=h7I6me X<-1V~N0X9ŠɵS(4]IHLRtClV*v?-dS{dz(DM |1h(֦ ,874֗m[#N[ 9  KX1娛+?\l<<"1FIΆPX*Ab9 pQ^5 Fa*.OS+:ۓES5[Cp?_5 [@dP #RsD&A5( Yd]'y آ4RaF\uCTav&0ClqڰWu#cr$Gu4he4r qo]]ߨ+9.}PF]s#JR( PN8 `PߊaM4r {\4ZmmYd#*V>HV'^VNڒg9 j@l0~cQ9;Ts RVb~lA:V#ʋAq*APg%LBi޼Jz~?ȕ[#4N0i6=c];okv"g VoO6%3n&;7( innOz\z`C_x@.b (-Ox4ASAgs .{hqwOYx0:%RA$McQ z rJpч;׼nh6-pVj)[AWOΆ0Fރwg!U@W[ 骮neysdB_;$Q#Ŏg10ZKj6S{b8xΝY7BB~;]y-`qH9q=2*LB {R%( pediٿQSBUEBJztm\35*^D=2ǖ>agYZa79a8c5d7e94f087e8b83cc970b82cc1bae3962cc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 8622854548ebfa606d87b757cbccc08190464127