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 /5x ll ]% Aggregation_Algebras:threads=4elapsed=111.791cpu=206.492gc=7.5727zXZִF! .V]ŗXiɟH!n?珫 xuF4Ys!X| SYo2(2iZWL"C0u>]n`~g ͢B xmu"fRj_wi;x%ǰZf^[7'g=C2Nď &WVypBT?Y2'e?_&C/L+~q-)`MPD릲%"(m waXO†&IAMv`ًGxiDy9C@xr[Sz֯u|;Vwh08y)~ S [a5y 5 Aggregation_Algebras  {h˛FK3Xqj:D%gqr#Ì{?A 3á$23 {B:GCf+|,}N )Fēcċ617n8aUag lf hâhj1]u A#؇DIN n pӸ%=Gj0b6VU7j=|`(XЮiwG@>)7iPqCB_؀)`-eXSoa^y6w{l)תNe_r&&ʎ[^q9gdTEǾ @4.\H_C^\ " /U_ަG{.u5%((|\kX;ʂ"u/Z0B[Wʔ}Ȅ S1ܣ޸1ҙlb^]G$e(~~\y a׫؈r8=/150-G\?_ KLr CJa5P?LmEʯ7'd4e$pT7B1:REJI٪4u04 RS=6CdbB38fÉuUJ`̣!,Ofrd<;oP˒ҢwʗeMJan+W[-vfv,Dh\k% U+Pޏk̇ew'i#Zv~ !NCgYrIz@[nb%V o†Éc 9e ZgSoU-801;z8T BrfL:s.c)o RxYjDP {vL⣗s]ŵcxi6,Ὰ z9&RP8yKʼa.{g]~ #2]fn@7 w+$=Ϩ c0zf>8: Uӫ;; ],knEY;şO~3 8)vnPkV>5 iiǷ,3}S!Y#`IUff_.l 9*%(WP~JK\ o*㪠mz9Y'fN혙䦂'ʇTFuͼ4׻%]{b0i"} J#ڀuhyj&K?9yɑ _ꙧnXƴ0a9~DՒ2DDhw:&x=${XZQ5 ;fC{KwG7Dx"]!!M99+cbcO h@A?Y33|'?*dBWkNUE;iT0U~)FK2q.SimTg :,]0yPj, ì;͚ݻY6͚w/bf䍾iIFl|r6B)C%{C$O>yFazF'4'LUiO!}nG&iuo}hsyqPk;zeH Gn{N tI5]:p l6EїJNl $N.X3AiGIKa \OCxB}}x5 W5R {:"M ZM;5 4k/!p8?|!XHl%ҙ@z=|3*ILg8+-Q1k._'-_w݈:C%sR\$yZE :bW R۳CZ})|Vu 7w4O0w hy˘@:<7KǏٲ*vb,#][8%jUf8){ZS~K@ZZ3hl0T%y;t/pn$^U:|`)TP?e|0(]QkfǾ*jT:l'mQp[ 4*7P#@jIrFi};@[Pl*czы~A7#wZӸTsiykE&mEcz,*c"ࢮbtK՛~&RS$+C _C0ܛ1PWԪ YMV֒]VmoF]y,e{g1(' =>WṕKf`)K⠱lTV5`)|#Wv֘ƟL/#B Z^~ՈgQ^ z^jrЖ.g1 f|4C \@i[)Y{tLѩύ:Պ B[i;S>&CU=;{'vF9F=f:d=e D3@GS"RŚzL=8 BR݄3ݢ72"׾I8WE,#p-q!K+ҟFwlr,Q3 Hq`ՅM5Ҿ_i'6 kX*HS1wKɐz;`LQc,gSƃZnnt*#dk]GdEۅ!iUup{-*į1GPϒ&۵ bMjO"89b5|9 D.V-Ifen-:Qt;lX VCdd̰[qp,U (q`N8yJBe%:6&TkpJ?~R[=$XrrmdUHi`.XHx #4]MJRnO:]#7vCit.TbLFttˉ+@b}?z2ɪ:s* vG 3VHFh/4/F:% :g䦗"<_C?Ƕ0\#HïIҘɂ a^699 XVh)"l)6 r^ 6+JóY`),quKݐǼ1! 2wWhSe ~֔F>xhK=DH^c.Nuy +d{#/$cQ-ýIrsZO+-2* kod6_kj>R~@> |dr~9vˆ0,QʾbhOiXu<#:j0e<%'JmvCRz!.GvC[K EsLgԾadߢ%6`J>(H }mdYk#2}kHVh7 &a]Y[p>`5v[K: ҜJkciW[\Y)y -d8Xj` lp:;c iQ G<< *u?w1@] b#Jq*<4 #Pf}t~pIx Zu#(4𦗣(tSsv~S/{G96)%bRБ6d*洂E#gr(wB_ǐOADMɰKj+{}C(7>(.HrYXyӰƚf'*܋vt>F=hRu3 Vx{q]\gaΥtt=h^'h_=^hq!#q3_,Sג2 "fUҨxz7ny&O e/݋p92ml23@,%̪p5rLHcOVUUră1ERk\ KP"1:dfV+_M'{eeEGpR(MGQnJ`1CHS#Nߗ%sV/y.ǡW"q.S&EyHz7f)P#䰆 ɀh$+k}}xoH'k`,c궦^N (13ԙݲؔ/CQv$*tDB[$_" 7B0EBRV˦2l) "NB~KSz|@ kb⟣̫w/-`'W; o Ք# +>C ~nT|1d1]Kul **lN~Oq&\u;VIoYlgܫ_觑d`.D:셤eVC@ tu8yOB0+@J6m,ƏwjvTlzBEqi_ :t=L0%Q-dͽ>.eP1Y30jP=/z?}vd0糙fY>\ YgKNﰝ~O]?}i80ͪx#/; ~VqJGp*j/V^5թ%XExmXjF湧jOz4»gR-ž~?p>:dXuZ<L:*(DŽPXp"UbBk 1y! ?:vդ7 N@&s\*8=mkg:m0}}u8Or,F1I-lsbIB u}k&`]~ш7kUoX ?; -^o{>̲s y,uE\Ϧ| ټ\+zE9`F,RaG< å1;MQd)y§D,8mfPqu tzW~媸d;@rFPvp;P0s؅.>w !^|ƨa'ДMȰgF&/Z]w[7P=^ 6\IeqǐAkOc:щ6*wrΤgB6vP PO4OP_OQ|Eҁ/ @&tA 7`ܹ9y,'PAW_dҞ]ݩZpKir*~pz~ע-&8"^Fݢ0P+Am"W <ۂ4W1GiQwYC|*&ב[4+/S7f1~7aJOCZM^UEo)F~YpIh-**$rq`{jq RV) ȕS;Rt_ǧԕ?_QFϚ/ܡ_Ef1 +l^Z˲5} :gv?G73"8bz)w&HR)gu@ ;c_АR2m+hȏTDr7_k}W&$'+9 &軧Th 8l[z Ur$ Ve{BnsA{snl9wq6s2iVD ղŢVh K&h;)+[1uwO/)|ۏv; .Kc.T(ŢihңKh-)\鲨٧T S,~څV t)Aͬ4'wv2i!& 虒MH@ECXgƠ|R*  lLnt{QM~W 7;1Q6kȔI&p N)4 }JmH2FETv <*b(-k0B!7"]Q`w8\nj-چ@״ V.iE x%^VZ5' ܦ@w.xsZ AT0J".}Vf)v/0 *+=U[ R:D=ΟhaぃD`r*L"rpg2P!Tt#b3#!^EFJ-0 hڰ f!9(d'l0`f>wTAlA'wYK#XNlكPVuϞF9w _1w9ڬmg<\9{Bن% (4~;3xйl42&#`鶝'8U^F>yRbyh3fB)QLtР~s7 v 9?S) ;a^zKj``Ra@x'om,wKb:{ga@/IoBҊtzD f!xtcC3TLtDmR7 /t|B#yLC; Q7ДERW(s˘M56{yޘwܬuZjyL풍Rgaݯgtژ;߮f *&qF#NE5 W"<>otGRGyC6ڰ"{˜Br@kT!=$HS kV.>.r{fY13u &.F;/,Y;q#_:ԑ$M{ ~&Jɷ F-"@Dب:lrYZ'!ZQ'_t1#'{cÅ9UBnRcj~lJ2}H3-lsM݅%P6r*' ! ׯ7pnj!6_+׫Ó^{ kHܴ  8پ*3~uܠ*nCng$j͚Τ\xN{ȟܱKheS>rhR1jԊJs'ߙ. P+G\`ݜdT93 5ca<"JY#ա^w)Ib Pt}@9:wɫ["$} T~&ԉw^K <FMIS8f[Rl k%|rho^"v OW[J?zSf|šCٰs+{6)4ǿiٔէL ҟ䯓9ó D;O`=eX5ʋJ{]Vɗ40cY_~S7KNYa^JyV[3?w^. ןך Wi?D4b~AX7TRlHNb_-cֿ'HǽlAG'.K&~KV zk? zER| ITxNC]MQ#<5_L@+ ,? >Hm]&n2"#2YF7Peyڏ&҈L)ȠaKE%9c"fd@=rPuASxRtFP1X`<;״|g胨i 6meppug95wؽa#Z'7-lhLk`ޏN/䏸IFãJ O6wʿ=&AVxPtv5hbv 'ZãmM&z8f%`Fx$SOv1e Bu׭r5siqhgʋ>Z=Rpn%TZ߲ي$Z?/Z$9_ S5@O 7&Ѱh}+P\E7S;a!%oPnX2+5(YoOk昃1m^;oxXbnfYC/ˀA"3"WXmRs wآ5{,/?ZKu3*ga@6YDr'ο#1Q2E0t#^ (^ `((Ox.-} h2aFa7Џ{4m(N:7AeCuC$anLVG'(HD"O "oq\{}3(;yDhwSX}wL^ 9q}ߚZY= Lk {0؉ *آ6K؏;߱<€Z\dq49QetJ{xh% S?`wN6H_+$Tr%X">C'kBOm_ja®sY{*W*6±ٍ4ݺ_7lT2Bg;ӽ'6W.Vn^F/?򹰗wxrΩBl&~X*B̸G9}YM/ʥN!* ,uNt`"%х|" š7WK?_F$#⤇{:G tR#䓃r3'A]5O0|Q+9|W3^mHZEmU2%DiYP1Z;'e%gAIAV {A#K? @ nW? k8@gAHea[2q1|z_( 8dӐc sN!~,2 }RkluG1hUw1?!_Ѡk0AsA˕tw#{LTz1VrL Zn}-duj)=Z@C_N Oݳ:fQ/OEG ŀ1`k8OcY&"(ʵ4x>|AXNW}qBL%:.#_ S#"%M>ߚؔ/>[MIܴ"E3ˢx4W>O"G "Ř1 ZF:Tg`4f4G]4` +;]!$-Yw$62g,/tOfT;o.>WvRu4 w"Q(,D&X!jz5Pݏ6s+R.?eiv /_,rAME~$|Zq;`C is{s9޲Sfr&vN~%ΐQvohKb4IAm<ƺ/R`< e~QD~eR¼AIz }KޟC1B72|v.%!z{?͊0tO~KfasCƋͤ 8r&Y_H % A|8t# %P]~(_!7LUl {k,pZaI@ 9$̐ibEGI2=6&ޘ ܕ'_(h[v&x?umF _"U/F,lPE;uGQ'Pr]ΦW饞Ƅ3)Z 9#1~Lܷ^^ ެ/r pbJVj"1Ҫ_ރ m- K+O no2,0҇ͯ,er+ze3~H8Z'#F+܃֯$5꘿9qQ"*Im?ݗˣV5\dh$?JL8]tY 689TztLXBQv)P깳`X+~gde,(Y62 ~͘8wpז1=== 77$UJHNM-15 )a LM]VJ!ȱܚv ԎcBLt#I/E4WBz||bBf@Iw2& tcv="Nc3~j4XFєRY B\o0|W|rũj=5Jf.V(㿯5ݞ2GyT˴}Ȋ 3nVNBQ>!Iި ^bcq+*E ª6{ഩ% tHɿa2d8MjGT^)+7z䏐¯+!-Ng% ɗ"nHL1# 2ߣ>u*㟁t"O~mBb}  0_$2?yevwA62o5f4q"ͬ_[Ǒ\>wu ")ZIcUiCLlmM>|'.|%lJH;> .<7+YIXU& *""^UQʍgÔǏhQ48 2Ĵ?ABvVNbQGdÔtPtU_C{7_ILD6"A@G/c^)Nȟ&U 5Þ0:ޤzGMCV#PZ)ҼH>TOEdDzyBxޣAbwx/$wea@Ȥ*nHq#pT䥋,$X?J|n@BJN(vcUK h?}` !w ./= `WI}7k i66S9[?#-L%PN:#2cӁRպ/Y m(qAw0GGnbfL 6}A}ãp9dĽf+wDUYgQ0GJmvS[oPyL:jB<#U#By.=3yhgUn"vNL!>zJrW  Dٛͻ`oYH;L5)È fGF>NeggAt^)g5/v,<E#OdA#`jJ@Gt (65 J^I1Ⱦw+{w6=TW-/^kfu̥y{x tL Ax yL0UIWJΞDryeg2CShη8Uw&(dbܞK?YD6␝{sGԍhl6hX$d7͂E]X&*u VxY͉W ¡*4S9e]"^BN)twI ˳jɾ }rPS ^sA,2eXSJspj1YjӖdfGl5os6@ᠠ]#O[D\㡖ÙLIm׉m7$)kdrc6*p̛CnL`9;   AA$ux(z?{BQZzs=zd6ΌkN`niZFܞND+snCG(:'9k3?ݵମH 'Σ/ǨψҢFS\}W#dxOywkȉk+NS0n@9U o םn`|C*W%ɍ+sgwzax.N0j( D0O}Ҡ2zJҿٖ!zp'rMyƑ00υ $luAC{TE^sI34󷳶:͇*7("3ρJt' [GmoX)tY&m(ޓn)auEo5p콅Ӿ?Q/IW1d wFH_n?x|ۻ@ps %-Zɳ46t-?;fK!༺#+OMƆ87Yim@a1XMMq4u}Ifv7п=gF8i!tۚv-{Ģ2Oij;Q@17Eف7vQ\s6W{Bd)Q3`ށvHE p2+3[D%iZ t.Qc KOfCF5)ѿT-3RS+6~X; &4BSZPV%$jx?.e>0|?`LRU IEl5n)aՔxPǔ!o?#A|QR#D/5d 3loSxwn㗦NNIfaGj8LLnAGWp~_w[ݠU!}oiH tF_J'0}nToBJ$C*1k>$o 6sH%Az&S]$cjBSc,ə,sYYT}|l%fgB=w^Q'kaFv f?LCuqZ2;n',dҞZӧvC*'BdpK6_b'ߠ(Np5OPuUSO0zH)Z0Ԧ{s 74%Pۙa4GHF$IY”?5@/:="f #Y{8e># 2̩_)#F%H`4sOiw оfk^4BԜ8!]QPc"5ЭO! 6ubTQ TfS >|9\,gXa3[}"$J|u]gHBrཀqa!|݇g"[_j\p~(#NcO^L̜41J.] @H)bYQGqK)Q(ICbd?77o*>~q8_|Hc1yQ5\p۵ irWꧠsú09$Ot{mP}>uof& K 6X;SJo4U$ U!غS]6y 9RV ny L|]KG4c,dCX~M+?Е 9tu9xq.~^fv;!ke֠B0,/Yt^ k%=6i8ɲ)YQo)їR47KƗIr1`:јN^Ϫ.cz?)'L](k?D+Ұ@/J c QLU*6oU޻AQc(y)2ګſ N? Y&G-/5"}4ׇ-tqD>e!0%B}@ZXgmQ m5sVU,E 7ԯ'WQ<ڎR:NmpԼP3uZlm\UeS3?@ϗ\W z_Xh{Miznj`4G>#\JwR1zcs=v'zH5IS85Öb/ ^ky40q&xH5{ <<_? q(_*\< >?NCuC X/5B4UW,F/i7zC>>V.[ă'ו%ڸC/?de3hΨhDBA[Q7Z;U~X;]:V5(,iI#ZV鴣 _.ᾏWPÌ-w {`DuA] ffQЃN)Fsewz+D nJCZXŞ\zF'eFWryua@3Vu Kƕ]oϊ:$;l3֑eSyĿTH1#=K^ WgSIʹz^eyQ*0P@|B]o.[U]@A6V0Wl'eyOVq9VQ6j.έRC53@"Vq%mTKi* τ#;=HnH[8o|Fl]&(:660K3)DEqskHK^;$E"L&=?oݦ?x6=e!v4eύƱw&>6P9RۼqV.F,N [/lt2Z_0L g(UzQ~o;򣶩bhJ' +p޶1=Hwze~rӡ䷄>Kz h?R>D' ͊! a( (1s$ΰtb>IviTX pN$vuw8/N-H>07ݐqӎR6x?Y6dnb~^RVcldA5LfO0_pj&kOj;LBeg N;TX5BEwh 'ͽH{rB,Z 3U9  ^ZE=E`\Ŗxw]ѻX !*G~!/FCAKi˜:T# {-&cF$5Q(!(RЌd=L(7 bӈ.AM8bO(&RhRNZ*;HBPm.]{a"_nȒ)j2}P9ߏ x;@>4zV1ϡVcX>Czi*KH' [-B܇&BůG/N8>_{ڏ璂n0Sfդ8Z{ K3$=` >!p__Nyû [ApPۆL[>2oci/k h;ʖ3;wxqAp? !8,m\@k. '>kZBkѧ]e).˛Kxd\ x-ǢTI OU+w,pSX_9%{FaZ%axN;WU$V;ď2bvW"@_Mq&V_B%B4~Q~<q©M !F9C1% rhCfݯN %lb> 6f8*&&DQԅy8 sFUDM23oڹYiIx5IkiND͌|]wFnyِwQ昁Fxw{|z>rlVK|+`}XiBAD&bsX:i@-*2f( !:{詿7uѵ١NJ`P)M w;2Gk4CPGQZ)v zB1䑯z*!>8Uʟt5h@pU Wv[D#<2q&.~@5D89?6on6VVRݏؓqDfW;~FtIj o!`Nc9hpo(~r}[6գ Iͺ` ~Pe,T\0%Uv9Z;"ow-XY5%9˻X}vܙc Xb{x"w9^6HuU]/=ƀEpZ'Hp$0[;hXզ|;^Z0zdҾT61 l Ayf!ӀY(4X.,Qq1jV!/(q7Ļ%EF-*i|ʱq C d[ؽZJxU[^t`ks&=肤ȋJg;*4~03BoҠ9 ^r lf`Ĺ2ƇX3z[r'FI'6@Qz.n¢2YK][Z,l*ranLov6%956C# ާҨPbHne[EFO8:գhك7]*م~OY!BimJ}%lޟW)!υa~QaZVpKrx珁5DBJvu[iLAA(?qYÍ2|0&Def[m Ǹ>iJ7,LP b@ܧxO5y1#]Ԧ-zJ@_5KxksNV 8RC{\*s&4@;FeS%z ^˞aKyPfv(8kc9W4jΞ],eW#D~VVDžb _#DeUg,>kSi~miMA J&6ș=pzW "~nη@> 7L,nl1O) Kogm/ :,m+Yn߯9~f.0]9A?r7߈0 ®˿ ۦmeTtDŽ˘jie¨໓^qZI ².6vӸyhaZfakU80:U8b1dObjHGG"t_v4fϵZDԛt"Z *ttp$Eφ,82 h``ܩNlSlcege@o*\,5蜏 Seh6V F0V"̸ Ky@ j7rܴ 9KfAW@֥R 9ljCmɸ)6Xt=y!QQpgcVbnyI ?cuq['Dgm[<1$80P c.|T ps 7c&n陌hPzIg&?C f/i<߼Λ, >ﺩJ KE0&k~ٱnOesx|em|SUocXx TlOn_VZ:t9wt"̍6Ӥ{y3*6D$Нֺ-0$9~ֈ݈ؖ!)*mL۸_$x#/Hn餷 Hj}1E(`cYo? lv?zHu.>ѨG[g4IJ? %GJwުj`?(+_ ["LHAK e63׮/ ?VμcF$MeW.KPu23zඦRL4`(tF0{^h `v\>-;UD9sE{ތn3nZt͇MH妻d3|h"!hsV]B]f NsnMhukULw+ӭKN_M>.k~ i9P8ݹ].Yv [h/>sWz!q&^]Q͠jyhdlq74OVgEB!5'eRLv0.SG9%h˕\irȊgBZNCm kmJ=O\=ڗp%3 :_g=1w]78퐔/*fd-g'AF\Ǎ]U+:I<ǗǕ&efJ<嫺cdi7\3O͂`}p&hPt/ur%V.[L":Y ?O% jx?1TR5fLkmZM%YmdH'[R<w@[QD~/7;Tu6{ ~$1[sg@`siՕ=!W~$bEJ{4AљXj>ډ>I@ZWn(x=^LLݫPyk5:QY+-Z ]j5m0jܞ.G x4t~[g]{ Aq* =Go/yZDZ..muԐ2FgJ>8ݛ>m[JO)sHUeYQG2MӪ'WMrV kWҸLF$&#_ kV*۪xA   M.Re2!XV@o4NcXҮ?SʏBX..6FLq̆6J*o 0zhۦ~*׆0p-i! &{w&ZDmzsTbbeXc$vbkǍHg^To_SAX)O Vͪ]z'3I<.g/ýwf0'A+Cn;f+hvY0:YL%8KHBhWvC@ArS."E|@pLrEeW>+y}X< X 4.a&!8^6*?y5)5z@s hDq7 uxV_Q9,Q;yMQ3&秦J=Y_}>at{ү0Fi5nP DHZey] J,~M\daĊ.I!9\6*md"_Gx<ZthG&,3o*aqg^ق@R ԿCWEF\A<7eӘf)P|P8ǽe4;ҔO7.Bk^A$.0>0,MYO{91AIs+t*CV=u,>j04=r+$bAM CYe/!g@d_\ÖECewU%svoMe :j %e:xjaF=}wxL<*AvE!xy,gv90 fD.@8l]]%ަݫp1oާ ʻ.yv*־0L;`ͶBM5n*nf|Ok?7"nٯ}vQN@Ooaśt?VDIfj4 5YcSbDs,E0I.}?_FҔ8)flgmO>Na$d %w# VKv=]G^K);>"5þy4qHa}\o$ፐ)5Q.):ߋ=LRۏ{i/c0Ĭ,mwTqgvZ[3s\m*x0"J,2xd荌W(U=QC60 f_QjUlO0Lc$ź,Ny9йH'5صVtH5L'UR,Q[~[{$\ԋ6@ۢGsZ 尼J dcGntBްD=:P{/D{NK4}1f-"3E{!`arK-JdE0Z0UVgoΗ_q&V,e Rj2pja64ȮIxP<ߊq{ 5a:O{i2Ñ7skr$b\@ -(@|YzQ:s8\xG\{^v7DHP(;#7]uoY 0^\4AһNڮ8;:d& q)iF5L`Zi)m_2"B\5AwtTe ֏t@ )҈sxpN*3Tl87w_4Z53󺵛93r-F+UCL;f) :*dq3˃V!X e0ɂp5>81U ':iDZ`|@ q9q`UH%~i.s`.\,˗v&G;Z9 'B0! 6'cvjwKd}}tҖen:9gjcxfcBaDggOg4D9KۆmG|/M% =Hm=AvmFLRzC .Q@o7B+;(NUM' LM,BJIkw F8J/QU{b՞7M&Ѿ2[gC. YRlq` 櫕F 5Jx3\ߩ'} .s;(?eHlŽd/ 8IMv7REd]Y)>ޖCo/QŨ5;-;[q_Qb=;ѠqI!h%!}9~iH|/vc) ,Uٸ89# A[aטú<ޫ=d߆I 6\ ϯ>wj"G^+*c'}P"0[F3T%Ҧ4kRI h5|DP3, >XNZ0L-P`_og{#;Qnީ~c쟠yAɭ(m]deE"`b} =HYT /eA^]=x=WdjfX[5'#s9/]TH7bɩڨAF$Kf2dsi: s>~ |K$1ɱ=[yOT%gUuZ(miOVmg9 ꯑ /<>.VjO(%QLUQĥ)d9[yfpl_폴B*2Bğ`fTgz3Աr-:37_ "vLVܗ:c.=ņʠq2nLoٟY~.`NOڟKebfb両v + ๑V?t1>MLwG 8v?jb6{epڞ& b/@$1gGn RS-50GjwanޒM(*~,hGDCZ >;2N?GE -v}m0wPXe`u2Vnp+2LDz&nvi}{3eYؙ=*X)J@u]ϓ 8j91-X𰮩rL5vWlgSFa/Z'9?]}uJ8!|Pv)FThu]LD VK-LiAL2!T =4 cWzDZ11D;vF~,g!P,8η%!G崪ٿX1Xy[ݡfng,Ƴ韪@ h$/#?'GR4,¨=̇x{)7uF,Ƒ 'ܓRXhȂyF4y=*!5׀ĚNBJtrw X, _etⷧ^$zFQ]G99gU뜛;Mxqw8J`gs{R'8_Uz)nuO%s~^du]xGfȎm/6? Nڜ:af ͉#]ْM![9,н0ʭlyh6V%aJT2FgltϚޓFlKh̶7n[0iN.vL)KQiTRhn `TX2m_R[0)ZKugE4>ۨ㤖xaMW) dJ@iKDg|@#hh5H 9GBH~b1wGMjﮣ7/ )Ue@ UY N…/"(Z'sɛvTŵ̫* "C*\;A1j֐pyϑo~cUtڿ(ԗ[B&dzxJ'{%QQW%ܠ=x`#Q3˷NR@C4<33܀8F $=X-J .jj"8' z;HKcv5_Qt_@tS^JïS彧!@=~1+F1B^Mv_؉&6Fm6;Ȝ LDˍQhM:(n-fe8k5IwBϡݕ-h:[6NRc@~<&U?, {Q\SY^5fh9>o>nP]5MPu(+ұ+tKF81Huo|Ef׵ۇz._g]24_8*ٟW+[#t΅rxÈ)7*p5 t\ xzR#"3 siCwz=j>&Ӄ E"F6+.*|wIѹ:CS[C2}nf?l؇냒ڲEWB߬):n^C)M$>|SiJGVR~mO2N߲mO0#$B}q l't}3x]eN:8loDV U MrF"K$n75iEM8]DhHvB8_&0hf!0Z2.^]L>aV.4T p;7#$ qxkܐkI#iݕ&mK;a61Ws5˖/rlJ:xwкg2#" Lq w|lg pJ* / x50C~Nޙ&+p 0BW>>A_㓘q6tg@+r+3qDhڮ҂FŮF > tPrcXؗcA1Sq:*oP -wS%#3D>%f9IkhmN[2KC:05@L&*(CnE^$~>;mAM5\ԊYڙa12 i86^FBi^jf?ua3سZ9+ %K]-5>?Ô٨`DkyI#sב7N_;W\:}͵&f&u%H@3h%^_Ȟ;}ڛ=W̄%`FJJ# A׌oƥF t ?4S50*>R.Egxt^v䭉OXN=J"c<$Q-}С(CXѦf(mJk)%nV:tf0Hfŝ>KxJ 7$k m!i"5{dp;:Kw0}X#)mIO0zob'A{{ᲆ^6v2/#ex<̛fX-26lVdM$=͠5,7G lhvd\P}TS!d*umǘTX 3|t~d + |}}xJCk"}{)%&-QjYI.Sy^6uթ͢͠<xJk7h4H:r˷xu8AXg1 Dqf`JKI\^4e:}a=.9yk55@!2>zOXÈQE&WvNq];__k m=e~ʶnQ v;'[ҕ0%0/x]=13H#Q iœ]`B\*S; SGT0Ѱz2xZ+ xqmTB# u5'3-ηJc+vrlP*_ia|̱ΦWi`Piq}z炊˿2+;;S `cW^N|H F jr!`:+tMKa=70^$f&GUtk^$T- &skY=ʱbAvjkoIyr64ǽDYP14__Tm[c!{ǽN6e z݀_;Q{v_!rsnt!RBc$_vg; (v|l!Rvo XSXo H3 : BCWX~hFx d(vjvMU 2}Ԥ y{w f8%Xϒ/G@#Cd_VzoG)#Wv^N71YIEp3zi ENRp6?6<N[r)Qwx4< S# rgCZ;.[ry O[ffՉv ~K>Ącwec>h*y.,W)Q%#c) 齁q~(ś$m-g|\TA2Ґ,݋*|\f' ?aT#e$1u0T< _R0HdLGd*o-Bb VO3GK8GR?*_;r7pMr|և kT"_˵)Ā RQp>X .XlRĪ=O]v XgfPr̂|?'&GWS>38FlPu^xSrR c$D?7vuiOC{ikiz=J Q[@SHIFhм#-فK4QIwČ ܷBj F#Dpr@G$ן7%M%\10*Ф`7Xe0^dN7Rm#~7B z0,dx#r̋$fszb1n`dyXJ?UO . @ZNeH$ iŷgJQm.C}IlBԤ_d%xx )rp|aeDiU΀/:,tsC9CEz\K*#PBȿW]f\$[1yE3W'?Qf/ ?:ˋN?!V:fs.gDܡi#M6?0\4܊]Ш&[ig7aeՌ@W ]öo;w z1\9Q去'2]//WY(V0m\.^( cAG 9gypFʭeڍ7,'\s&,Ѹ}A&'NTgx^.sgW(;0s.7;!<1TP,>N~x2Arۗq|yóڱ-o x3Չ%=Y52nskgaW&7472HʇgKm%jb9ŊP`Gqd܃ȱ7k hَiX.xpgh#f={OBts05k1Zqge!_1S; .2g/+6~-~+{_l=j̆(܁!~?zd7O#3 \%0[! پ M,{^ڤUyםB#~?ƙA#A5: {#׀t?k+iy?؄O)lx۠n wBThFnHʫQ"$R0}, S?YY߰e;W\v$=FseO"ʒ#`)4=t%sSw{MNtUP(Oi"RK1 < 8:5$}̃4X%M`vG Kɀ!ٱ_JieAIQGyڃ4)IOTYPp+3!xz ޿NϼjD @hh86sf.WpTmtkttV诓83{o^( )pquȾW(xDf,T`F^cs ѹqP8ԜMBM#bL2v:Pl;*ߗp=$[Π_&"i6;~zK4ʏ`sGic ÓH<%/" Sl}!n-T43!p9s^BPr?9ُjMty.`$p2a5-zsL_ $boWTt 6oEBt?P 30t~ᵄ4OS\iI/ &uIP Ta 5zVBFNSgsIkXMPډKV"78ۮ'yq\HF ,8;$jCa9#)2i+\^Ѱ=8CÒw>?"\NO8 ֔0YˏoZÝ",}wh;9E|?^뵫qzq}x#U݂Տ2+X/U_'G.D,sθi͟G/w¨xLRw4d"ܙJYZ;qw#c 4{VAHz,JPDQܔD hVaE$A&1HXܹV1_@γB{^MR09 wO.fsEp)-#R=5L"i$ޥ&/Vc#G_p0:] ׅϫYP741) KaVgUie`V0כ W֨-)9z >e;0`J 1Ot&N kUfuےIi"-Id}눬gdՖ< c AۋC//L&>7-j|0.e@yAbFSR"%>rG&>9+15pˆ7ˑ.=浐Ff9$POf뢼95Apw.Ipau'I-F؃tjtΆ>1:4EX<}m*U}Fk ,55'/1.P4Z)0~H,+vxm ($wWGkp6[H :TKSd%>P7$%ЊNcvGܛݑcy16*q)@axO ^'s;^MhGb_svUHI"|X}y wj}/rw}!46M:!C9"2?k7'K`! lYrI~e\)) N4fq+jQ*`Ksi6X97VUhȮ{""_'XI5\Z$2\gt88m Yu{0픎9WQӳ]9~?{$0\dAl&vθ石@gշNP5'D䭐{V1;ӝ1u!̹WCnBOynM GЈF],_&:%6m}Q_V,:߾/"]Yt&^H% >wJ=JUVBgLY gg+"o?M=.%p~J`%ᓴT<;/hK.Gw&oJ&1sn4+s!lİl2V G&ѻ (O&q jFy.M3Sqo -?:OS9GD˚擈KQr6V;UƷoh\Q$k'g`>\]hat 'Hr ;=AvUzd&\??n 8]w14)]'ĴUZXm 1ݥ0g~`0HlJSLl$LP1Ҿq,UaCO6/GޏT.sxX}֑{w`}NC,.yϳy]b1?S",9x^d;~Ejn1[lSuCqϩ %āи\bD2zG~l82)ci\M.Ñ&tXe~QXU9 !=T's\نHO1tk63(6ȪW1w6{1V3y"C^I 5R{*Cvz7W$ ԁgd-MS>Px4O/9 pN9-`ݒf62)bR!mc (#Ȃpz#Gz$n it'