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 |% | ]/]HOL-Analysis:threads=6elapsed=317.822cpu=1645.856gc=88.760factor=5.187zXZִF! O]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE!pSPGO\ wqc.G{7 "[GdS @3Qg̗Kllu2wV5#/zQzD'U~ 9o:WQ]s0kGE!҄ uy;9`CnѭH"pO|MAӺ+Fxąx(Ÿ=^g6?|8L!w;醪~ok!,wFFbwI:sy wx+C'j0qnp1;=f 8+"&OR ZZx'BXzQ _i4@N: !L,kU)ʆ7dpE0-)[/CEI ]rrMu( OckU>ќX,%N!F\apTZ9`0΄ Y%x90$.;?+mqb6@u)]Sq1_鷪:kNX~l?'M{)  ;#3ɵZ ̎d4ȥ|y[$ԚuQ9K&31״TN Oew7GVQKaƋ76.K0 ?a~ud;9l 9ƠQJt_foHpYg$-_ڜ1ؖd9s}07 2}μ$܁`9C/z>U-|gTF_njq{P3VqZH?;=lekMI6?*aE e5$U#QD8`rbY)z 8 ;jmRczIS2P_"K<@*пks*+rxR`hL-3ٛN=-4DDċ mx8.R? >.QĩYm;8Ay P't6;ܖ@Mtf} /28UuE.zvY},MbىK l<4ٶ }&4? $${grkБ ry30kx ׼0bhNBjJVt-I"!|-JW NJCم+)]x6 Tui`%Ӈ:_gS\ӻ2)٭I)(:ˎW 7JFsMR?X ~W9xgT4O 3ʖ?69=W5#Y{:R@|HCc{ɸ.; ~ND*`G*~p[ΕaEQA-+]ӂe㋍c^/IG0JZUҰJT`=X2؎3"n.gb|8g@| ɍTVKM;: Q,WxxnWzǐ=H kɖZm;(/9+M0HS:;;RK2EC_ouX@WI- KM6T{Pgаq_Si' Uplv$ٖA8%N:xʱvU8Ɵ/Ȩ}o i|ґ%a9}+UD[EiNKB2Xu`>SV} 8"_}N3eHͥ}?bҒ>r٣ ۖSq"/wN?r aW9qsSQq:tpѼB;|%6#f"6Le_GSE#H=FSg o޸a~n$3P^W]oF`h TENU_ִ.ZClt^ihV?gx =dݾkba"ZQH=/?8ywmg;Zu?exJ̸S7B?99}Vg2Bb . ITRD37ہEOZ]O:ԍ gxloQYj=W2gP}Kzh`>>>B 5F`F"_7!'AQH/L&2;L&?Q:Q`˫W>|r7:vЩg)Iؙfdc?cvh %⎦F?'3_mJ5St`مTgARg^G Wl {(uਆv"y,vV̏-f`M>2s02X[-eTࢪJ_uG< Z);6J (35T ok9j% ΈOHfoѤC+ -,ehM eȚc !vOF ZTxBk\ y,_mȜK]49e|0̙VmYs=NRµ%l4`"јW\x*CD.M?X^o6%6&Pm1f7+,Va${!NSlZ |Y8(@z/h/|Ah^rZ+UKF~+he_+FѸF_\|ϧolnT9fXnu8֔*+f>3 -[d v\&CR1[¸) Y@!#mOW&Tfµ5v aqoIlypLĜD+$ِ1ht Oh@M KACsz RLZU _^m ;}IdFo^Q [W1Y 9q|_TVnMS{ā \46ԯzi%%m&sk9HesƈQN;9K*pPgx\O .^>Npmw:†Bb$ ϔ(m',PbՋ?n]9uS)5 mTHGYq+Ƹ皛ͿU3+U߂fJqTtbKX c}mmV= 1hmK&8&@Z c]*9SBAzED_9𣒥Unu6&ŚK>X]Qmܡ2ː2ɗEì]?5/%KfEWcaJ|C垼 eo3hhmDX_jo)c'Ӻ鎗1N|8B`]B 3)MyVyO*ə;}㢸p=Ys7qHF3%PQw2%89zU!j sTY[T*x:IK'}![u{qC";oD`p"^U༺wDCz?tb~UR ߒkXx[//9߇%*_f䞇$qSܧ w08<%tk[t^ &j2}ړvo'pYJ׷Sz/F\f}śSKVDzg]_93܁]Q&ϾBHE_ ̲P2 )cWH6 A ەN[ۆ2D`_:"%?2\rtÝ6mBp&1kPC3wC*X_cĥMk<ᎆ^0L$ɜG3H!&9&_C3pa ܼ1˫I2 /bY9ĩbiF#{ō|. 5D|AxJTܺA9/C ndS~ B `rB Q)o2/9UdNȽPRR bj/A BWUPKLS'*榤o/rk|X7qD"k ’J {@s~N-FŨ6mQoVfep9i^M!ek@ղlL(鑷Wͱ!=FOƉb!3+|laW?Cr oBV@*T]ԣƒZ5qsWY=~K&;6UaEX̟7?MH'}J/!7a٣X"b1+t @y ӼjKZ0A9q&z+m*oȅUe NːI_ymLlƱl1e;#-~!L67C% 0c):+Z茓+湘`xޭaUYT3/i9љ^iH3?^iqv3X8<;[w_$~ӢP2J rd.AbmTǁe8?g8H+,T̷F] +{%XMNiՃA(r @$xbZ$,$a OTڤ2Klk9 ;je&y8Fpl%1ҵkd0K#,HW=r ڴz֮jE( MgܜЇ-fZ O|]yv/Gtw&,z_J( tR"" . X֗^ܮBFLOf{U!tA,; @cln9In\Ol[>+ >Ԩcה46àK5EqNmB_\S ~KKԿ~XbWқ~+Sztݶj(T0#EՀ{:{׽h4S5/a3w,>F);`::{:S2Rr'n!~n~XCy(/iI1,3I )Lxw2 f,T`4!;O/ wxK.rq=jyK+J1{Prc8fUi8{<]7{)ѵ V/?T^A4^ߤt>8Ogw^Ryj;g Js朷҈wHQ(k?=ޑ"x׳0zfV3/=CzH#!N4^<.ޗ5Lt8ыBde8ƪSTV5~E?@.u׽U 4%Rjƀ+􊡑o>~x(cc} %FDsr,Wl/|LTFʥN豪?:QOM=S iab9y} F?k̑!hu< RKؚ[eAX7$ϕ?7_?ֶNNu_O)!}Τ @q!d~ޑ9_MV\f%KrKYȰ[ÿV`G}A\+`-1;$bAu{54u W<}~mbTKW<1f7QVUzu_ܧ,HȱŃ3ݐjf?~hj AKzIe>reHHT_r@;wBMGtUؐI|F6s5rw.AOh_0^,WhXGఏX?F9NG*i\apME#2~=F6sP*7)]0%Rig)ҡfUC͊[,xQlu}8)ؼ1+Z gY.~39'()@ n9xq^nBfcYHb1r%toBF2^u+} &o07N? sUCt4^ͬ$ 0.[ՙuQZ`ٟըz3Vs=8&5I1؛B'YnC,Z3SduȊCʢx80nx-jgK|HA|C3̐w)B7,GG,k.QI"ElUga|T9 t u3r7~t"8(k.}˂ٟP }&O"Fg^_:3kky#\tMnf7"2A|T9P cswf]A]X W=nH׷~x8FܹQi~(޵ޢoԪ"_j/"ݬ DIOVe ~Ӳ8\_~"WqfeR3;בx fB?&1;h-;dj]Ӱ ^EƆA yآVYøD,'o75))68nfD-_x%H 13*Q;Gad>d۰Il͑Z } nY(Qdiq䖽{47M d 7gչ޲X?`^Ծ "ey^D{F]EFZdhZ#}#d`T~I4DC~7|aZDgҚ΁Tm%-} K_Inߖf8ltc}3dB3+dPnN'20bRG=-|fH.fM\`xJ^=J2N dQ NMRb2zU_KE<++ TX'U+WqEѵԐoxD^)u?q.ϸ6zuѡV8`+B1NA׭|Sh.k[G0 qkOJD+y6@|"iL,gslbz[M)'Nie jVUEm/y3TgD˻>%)kn@$U3ƚ4dryy >4=}0Gqߩɼ[Kʓu["=iI}?=kS]0 CG^b͵/c[ y@pg 8g 㯎B{ۡ-|'vR)k`z5f(-sct%!_8&+ f%eREp"!튓Tp R &Y6S k" 2x U8o1Ux͸ոy;\}p=! 9섯pfHL[heLRYNLBoUC@Q1KQ<&KˬKbCzh&qp'DkIM(8,Al 2ӓ ml.Ñ=Md,\4SRKn.Mws 5{S0UYDtZOɫyan}2Nna5)IrqcT+=!T=`< nmq(Wᶂcl fER&4s}YQCAi|\wғ!M.vEXrU9G6ސ}yAX֍y &@ Z>x=反7@+oQA%Al SAb9o,^%sqoU: NI+OY)sfhNU {1u;yL׽-͓M$<_`GT y]Vkjбh"pxakOT*~8'!%(IbIvҧ|0ωmz`E 3Ѧc{3G>P޺$"ў^>(;/klH[>MԒO]tMD:ְ s%RK{Pp]_łBb Zj`<|{~mҾKB_mn0#n6!_6g-=7KA"!i!C~%I8&H@塩vueĺ:+0a~ٙRuę~Ymyk7iUv,:.‡3J630Ia1E5U׹²ܨX{^xm"Aޟ~<;(g{@ +jЮ_ؓ5v ۵T(0GlmЭE, 9.<&!݀\.{WoIQѰ/z =?fK(&0.Nn]U*@% 1eR^M!Az hUjV~&LBILD.\D$O<j}#b $aMFnF : !@{dmc2v\ڻ 8lT#GMh{j_X@{&j#fMNm?v&<\!G qKSIr8 ZhH. ?/c"7vcRZn Hnu ]Ct4ws1a)k/=OEE$Z=:ohɨ%#9 KTL:XW2R!)_ tt{ťm E>v4P{9wC}v% nF.kO5Hq":~ *~[' A 0rTJgEqE@1-s,rd䕚Z_ѕމ̙\G0 6 gH tSDp8cHpvZPSk2ء R!*uy"ol~ Vt͒JӖJԊ/l@߽%#~NxY;+F#3dR[!l>bA۽akGqmc3{)X9mNW<[~ˆrN UgKɈ\k|`>ES/4IP5-mjIL *XU&{`$큜 w1Ү *YӞ .?$Bye 59{f .D(,ݏ ~˅!H>uaCTPޒ>6Ŵ5PJ*~|$TR^lm.6qi5`c֣5>Org"4Q.=/sM^$A|9 t_[=p9](LIc`}gK)N_Mt6ekoSwD̐@i5qSS9w{vi2' l/Rk8Fl"MU>V!5%ԙdcKXcgi^>VFu H@ <!vl%|d/V*bӒ.!$ŧbrসv.)]LkcEzOR _ѹ+=@KܭJ_t䋹82)8Xܔm` ~DLNgT)7xg$KAn;CzX:AaceSY菤$-;+„ψlO xxAdXV+|Z7 |n|ooYW0̡ےFSn!`*n1|fY4nBS.).B$XR:א0v%r %zF MC{ n~oL.z,4?Z+hٲNPQ ć$6_]h092jF(/&Y r[mf (C99=^2O&7MI .hw0J0)*oM,RF 3nAXQ=t7{a;cyz}#Ns.Ϻ7wZVע.RӪĹ-,ϗ9$5!qvV5#LbE W|P"&u5Xh8P)SSz= uf:[Nv>!F'f3)/Z4cFG m{leIE 0=/T`rg?3r 06ۍLY (|w>GV:5@2pz.KvK9ڧ yr\w!vX؆}yiwP+fuKr"rt98e8xwQϼ?gA "СV$;a1b3[݆TX$k.˟t%`3)݄iQrUip[ 2Zu57Jt$6,R6s}{΅ ?>5NѬ d:/% =xn*P/ ZAye MM҂z)6leB-!H| Z5̞7g\ _O?"]jUZIJsr_KL>!O"VK!L[<ܚCP{㈽D(^x0194j"l1uR `Gj(OI545D8hF|Y<[k2&˝G҉3 7]Xꓠ#}*<ʆ:!D7FD vHL_ U:F +x2Ýw QC$do5DAϝRrIW `j{W=NWZ;Qˣ8a(y#Yn()SU&*2P8SC8E $_GACfBN˦C"sDz? +RR;,fpDS% HG oWDwE#`Sy*^k c`7E:?$B^@Nȥ¯,x0qEA%+qVn6gx.ސ'iKD"~uya"ƴ\J.:MCf_h+nXgږ ޑ)xe>]ӂ"nBI3\>Q:Oj"e^םD:^;,v<"yhNfHOk#F)TiyG8g::FqAF'Ϋ`/@_WiSJDJT&DԕXS.MW$4p%BZ_FY\}H~*9{>Zs|<;S[gz{suu"{R?s+Ðq U-HiNFjEǫNG+t+3y 5dxTIdwVE#} 13,K-=ؐ^+{aeeI?ț^˧?B唪!ns ןKOqA2ٖ'yYaK)b-q8,!+*^Kla k5 ǣԒ2<DŽ{Ɯa2w4g;k0G*ёrgiJ,6ڦϋxB^nʉ&D8p8?`/| &+Mi IJKIUB8g8ű%i_+:|t"J*NSD,3ڜeɦNe,lS<2:edx?+M3-/|/xJ4/>3%HW=͌Dڙ+i V܊Δ Q)]ݔM,v{F#%h@wFllf!?#RCpLP}9I違4MѦ9#APuꇘ۞v(ԇ6"y+ g[K֬<+w0bt4Q^[g_%B ?B|#F*Z6TmJ4 >tΎQ ڝCZW dڀGcx:S!OqPeE*6q\ϳ]~F]ղz) \VJ[9\8nJf t]Yĩ1EEB\`Vf  Ķ2 /nx7"S{-AT9Tn-0{0hL*4m9>+m6MNbXy4NDퟹVf,Zr[]b߾^&'z[gW0;w-`X!Q>w yk7@1`hϓݍ*9v&oc>&ޑb wn9&)._ b(r i(6@x͎#jo9FYI^J[ B4wqCh 1{C*(:~A o~pr/Q)^DA/5h;Wj̫jG/u*}T?_0q=r0"m2g@oDпqdTT!NÚ6^%;?.ӂg;NG?o옒iJXRۜf,shGc#qd45$tN[qCR612nfBG5UR6A`%(B>.$Qi%>E;0]("dGJ[S/Bsn]k-RhH"81;T<)]*Jr W^g8hV>uQ։'`b "LzO"j%#RSA&_~It"tZh$YTUs1{aCHʨ@~]g |gRWbZB!̫בlEJLWoGj3FSLA}Qb>@@?t@-Ct&4@`ks$-Wvgspu -i>$Im#3[$q@JD?2mWW݉ߨ`Aaj!ܞOY̲p}&˶ A,sʭԠxZϚ0fڲPƚ| P3SSNg):)gCz ;֛?Н dƫIX}3sNWnUM+*~@ <IAp˞:K{sJdml*b! ">z&amâKʼnxl/{hY?G8w%i^R?œ?ȩcymg'R-->{:)bM䍶=n^A0[CKp%z$Le3C3)9[AH(fVu+?&Z-Ø̣BT'~T$l_~OFU+J͹ 3K-]δ3VMm09 5Lڮ4w@_1&#廋Β~ePmrD}L?Riok'^d}ej2ߏ_4p%8K)EeWVT@¤sD㓸F<ۺO* cB+gߚiLEhx;L Uvlz<_j$,xE}=GOrY@3lZKtS;vSs}Eǒ=U)6Q0#bk~˓GW:z2ںTM`_STIpWj 5 #BA8وRQCmG޻kN<~dxy湞q8zpxrL Fw k RvA5}.$9\z K0qb$ QdحeYGѠƘ? dǵ]Ũwg.}q$d{^OE4YttQxQ|Uvn5ۤ>h{P;_ LL)()'q)y&yN!k)h9LX:"j[6N|8eNOpq]v;+\;<D!ܿ9u6kAV`O5%US\g[r A! (zHw'o 1Dޅ6Ečj, -Qjƒw&8,⎶Txuh1A~3X P``19o0"r_[6s`yvzd[~6<5D?K$pZ:)qUK .E+( zJ~l Q m~BYF:zN-\}^(vT ;{) 5UekQ|(sje=[[8>=էMun- B~u87"SD\36qƕ,uzӽ&؎JZ߇ӑ+Q? 7X֎)ڻmEA@B}"+nQXlq6s76@o8ߜiD(($9K8MmgT#GV?V#Y_6~鐹jL}46X\ V:Foe#T_fn-bf|B˼ԴHgx=Mw`0[Rt l^) @K',ه:A0=~P *F0n u˹Q$+szvO\0-<Ʉ ҉'*`[.@I^1c[/ήCV?Ns7_G5OUO ͕NxĶ=Fk 7Ñm `SzzQRٙg'%Rl9y&䉧*ě&q1Xa2] %Yw=% 1_~LK'ݦ28Ro{b)3!vQ`(RϬ)#)` G:gm)&}?Za'io fކݍ20qV/gY`FC-ߨBSs. c{sA9HƬQ(yLǡej!60"ĸ%\0!G::(rrcPo$b*t24$ \D0#vy7(YEzi/)@̓mkQ圵,?CE{ӻ,L>=pd,i*6.)Q B-;Ռ1 jAn3i$&{˞lo;Ayf.[p. ]K_?foi:?HF0!Y@ϻ0pDx!G}IBeKl䷫fn̟FcHҝZ ~b)9:/N vC"{etac*&Q\,;W$t M/QE3h>Sơ14DYML4kԳYMo&4>D]׋91gw2P&NOfe*"#q}nYD^+3OUmOQѻd"Lcm;؁to=,O shF4(IS`GHдM^Y9HO=魸6B^{h*!ʩt2(ɗaE;8uRԻAp nqny ,Vn¶gvr؋툀\-"?Spcݪy^~r?I`h {AU'@lT&{IF!N={uK[9ؑgSۛ#{ -|g.RJ0Uu\9<`=6HYO;VS.N>w6y~]Ö3rr5)j"d*}Q9 apwLva~Iyn&bՠ@*< G#&zDR2*.I*YDӣ wt.ŭAd]4HS#ǶTa̛O͜xK-kL~ttLD oV y҉vY,&gz&1>-h+$^حqLfMKL4Uëz{ B<7mgJmh&-FL I]RRycvyP˫ /@::B7q'V& AtzW{1Avc>Ϛ~ >1 PBQ |MV FasHP22orڊ}+.`QM޸:# mTJD*9 A&SCH8;^&S=dvWOՄ5=C;t+K:ueKxA=̃D[Xb02KD4&VЗ r[lGźv嬗\鬟7_kS2 ٣PMӱgYZ7zXZִF! n8]ŗXi%GfIX&ċ7_\$To@l~nK~d7D,QTG󰝖>7L[*[%[%.NG6PBx_-84gh"W&$\'=9xIo 㲱De2k~*%<1&f Ys!d);{nKыuWZŻ^ŔƵ͐.2[eQGRIGDH`Q'%Zǒ-~zx֔zl~ 6rZD0voRajȍ]dab;q\ie#knft{aXpU>A-{ʹ'buο>֬fXZ1}.BˆdSMq~E{R}xQפ};U&V85=FqWWP+ cl)O&wzjY{z׾p D ^G[A|EȈ_: !:4bRn%FLY]E``wXC&w(hS7~܅޵{2hHApfuǯmsCiq[ƘGFFXr(tVUؕ8^Wwt7W!q c]&*̵ef?oAg ?p%\FA.1eAAh2@mWf' \aSR3g 1Ő4"W"4뭾`"PD?vj'([E6)v `hC3"^C}bcפMlwNtֵTgm2N#K9Q"N WU?XmjXJRa?,\ݸOYʁ՘_3JCX5rlR)u-\$Q z7PF= ? }3D[vQ:Tϭ撅^y-iĚ@Z"H\e,d"L4h+ /roPΆܫvՎ<`q^R?W}zJMd(YhJEMuuҙwJgѲԩ7G-u?f~k>?Bo=00)NzU ̺ UF??3P=- j.{6Yh5AQ=W]!LFx΢ZxGLu0jg?j}A1(m*µq>K -5RfQ"uImƤ I^}Y$\Wy">~!2҃I<qz{wՋYQ|6e =m4!tO{N/ 9u^. h{x˭JI2e֊)/0 %|H2E*{k/-lTvs͗uh冤TN몿=c(m1?M#SROJgF!).Spued\} ץas5Ir]i1 83s5 HpHkPMXJY/Wt/Xq1:j` -?`1{qc3#LNT‚/nDb4$3x5G0إ8 V&Dc* q4꫞[E]d5#D´6O=̈}~:!h4,4i(~w&&>p O*\Lt@ JCF]' T '\_PG/c4| zfQ=vz4tr8 7ǗNSBn=b'76p靎FK[Ba\VBKEpsK T*&1{ pžRV5QSfDunޙ3^lcbٍknnoW9PuX#=g݄*p~*q f^3cC ~Zd?+#sE'|z.:g-&qɯ<=/b3۵3'Pk ek0w 30s{›n$ /TH|8v4g =NǫzB۴sid3De%9H%_d B/pDu&) Zur P*=;(L , g8+Ƽ-Ln}o G{'lC53qQz1 FG}z$);8%Di4)s1vz O'xoRccw!G5%˂#0+2mWh[rP(KWokQ^7HDP@jb,pMxUwq1P(#0]U!, 5}'lAys'vX(/+|_n+;{B-ӹ@(ųhvGb{/P%)z5AecNѕr,1|Jv'nka8uiAq'G7 : iP؜(83ZulVKXL{g뤘OTzI|m i/ڄ w>҂'O ZQJ5DGdqX,?Mo>`(r GCNnڪs8e譬RV ,G Rr; e9[P.%p70Ak zouZ0>mւӓJYPqt*J~"kiĎyA#^on7 ތbg\U-?I2$b(/&}dAo->4rHXAKh1\#T Uv]%Tͬ-w?z|}j̈́Nj |6!'a?2#A,lv} HǫNӣj >}?E;%%IL:;%rVC\p u_+ Z,LcpZH}i,DZqAQTY8W!A;wԊPw@Q5z t-$5|d"kI@flMPEAzEO-JLRP> o?¥ "v3rȔy}χ֔A"|d; u1 F IGN7kTl`EKI&0վřݳbaW||7 fgӢ/ZGcp؁=L lqzBZ(EgM5' btsw?+U"y x݋m`љ!70ڵ~2"fLԊΫ(˜(NfnxXwDp%Oգ;]f%7t!@?bM&# ]Hp%cظv= _04@Qm y| r3#_v>&2G(ґp3è5v7fȷ+p1 P/$#e한Z~Ւ`poR}InlXN$æU:s`~j:<_eb`YҴ& f& k)_hf(gJ- 2xAMZ&co3 v"E0kO`=(@UY{ knR 8ۀΑXz<*ig[c -߼7% CD2͓}b,:!I˃˫VΒkls;dѐn<Y6,1` V=3bʰR T%s0$W*v35CY3nɀNJ Û-B0uxS,o* ltj΃ HB^^4dSO m'a'2FZݶ9@Fy]ndzǤ*1ER撛FL]( 7>tF*[)?_0EKhA3S`hl5x3YcpnWa!v=zt1n6ƱC-hRpLzO;d}| mN&BP}cxQѶYU`ȴXS OF}L J>t mnHw4{f)\ya oU|N$ <1X:V}+iQ(4<[ JЫR#YʟJcK,Ԟ }+]N~L$HDpߑT;T#íJRր&M1Ƙ)3FG9/{^ iْ!;iűj*]R`1>TG\ÌyH;(bU9 [;?aeO),aqaJ$R_Ȝ gSyIhEh= {GGOU*@2g,@?;Yoa``Ws7gѳ DG+W5CSI9ټT'$C<"2& r N$*3%kP%7XS2[utAQ<|:, 6^XOj(^ZP*b ?2ã2mqҎ+k-N]~)VZ*RAC}UN౩NzZЅ17VTKf<6/Qpp5cUnktT3dj8. n-4v]es\F]0|0`c8ЛF v*R&E7^@8ϣULOaqb|kڐr. S !25ԭD ܗA>L1Z5*)"'cXePJ~̻Ҩ'G[#mtN>F臁L4 K|ldBzEmX4&(P.#rǧO΍Gmfa^fy7.D>B;m/}\N G0 Ǚ!4՛[2a{챔[`OP{pzd\x¿R ^(J;$ V| oCs^W ^RlKɂM6WĎ{ލ/>7k}5FϺ03I:Ro,@hZ=d1_fݹ} K): On%0LFX#6tg} L6h$gEmY7VثR&s o*+ 2tP \ 3 P U#Ԯ(Kj]鈶حt,J)7M˒3UPRh&QBpzZTeE{e@=AG=Ъ*{+_WZ*we^#Js47imu[iW†oEyI•/wd<;}PUC h|ɺ=i<0ȝiw'!&=?CV9l:U @Ȁulb)"Gω\p̰7І9t*<Q󖴯IOJ%M.!ʺr9towlPtac-S *k঒KKj]eǚ~宬e sݙeŶ+Ӥw䭳Թ͟gEj}''NYB [p?U7vBq+|Xoi?c26v/#!=[gvaAN:@pKb$qj ۈrI޲D"ZT% qD2_\jmժ֔;%U#t- {\"DUPHAqDU(ZxR\~N󺕫\zu2# FpĔ;۩~3vw**9rG!w4xUbƋ}\FNvJ%!cp_ Z1|rig4xΨ-ۓ3r6:Ʃ)А=dNbv|5!+rbFe'ZR{g3]zG}nl +ILJفukwE;lռooZȕ6ʦa_C}nrG0b+&pE*i!f%0lU{ <"W#y^[̹Ե[ܡ>?O]ZNd.,_q_p{0 Q%%!ӡT-ƀS1RS!EP|* c4l!EerNLѕ{_ tPKY+\';tr^9Gy$ŨG+ && y%պQ֞rA>Sjz?3|qrh{F^JN+1н n,IuH u2KczߝUP~c?-3Hfd!JW޸)4 ڌUm2Ewf =.ffHX 0[N Cm}9!3NSP9bVK}}jVaђG!6L+Ua@Q4,f-DIWM訿"I-ڊѳb xDjd^ynT_cDY"y# 2ޭ>6jdE>< >"[s7LBujӟ|!$t=moܾCy%ΰKX}P"|+KFCg_d~*fHfW)h"`Uw[HPDUT Éx8𪘑s=Sޚ6b\<:J$OôזnP a^Tŵ"bAmW˱|\2L |e'#bqA<|Nk howkٚ/7P,NA"l(؊o7mC oEfU@yԥFClTOTllTF:or1;0KYr 2Ӡ_91pMd8.(\꤉0Bb׻м_t+y Թy/VxP& cVvvxԇ|H1|1E1EtkزBG0jr:FBϹ l;>rÎ@~^Qի jQ(5zzFO6Vy$ X*lP{*5y+I+w) X'F$ft\#^jX(DBSG_ e7IbM 3Kr9TW(ą!ٟ؛`3%,[dH2g"0Q:wϖQ`&1@+OI#!uh\&D$JJ$ٲ77vc2M\딞K91WZЧ+e 4y'gĽޞN!ZQ#g3}q<$魉$A /ͮs!HcHa 5^/Ō夹Ehy?50J`җIm0~&hk:brj3V>ڶsaQ*[>Eڦah%8`2xuLL٦m%% Ufj!maƠIP9uAHl'HjUĖ/ipbgEF(U8.v B5{BpQCte(QWV쳮qt .Zb oB" SB 0ܐ;!6B~J= >qEhɧApǶ"{3dAzԳh(SwdZmGNݺCO|6tXPz{U#-#rqihiMkS%w֕~hqwR"r 3+(]z[3 5F`;82M3< )s"Hiv$TOLhC0O[c!mX 7}FfV,Mto@,@ԃgn>qH7Ɵ7&Skǵ(^?>0!XBP˸y+:H/u5V)+vJQȁFMrƫgœlqѶ?-| V 0WZ$Ygj'm"Eb!B]E9ӈWiaSJ_0O;La ?*>~{ VqNtX~!4үABbP]70|iz~!U IN4Y~5n|ChmuײX'2`p=@c)@+dza"ս +p#5f`vZW:IP'rlڀ!g*#yMVY| kXቻbH՜)t9Ek<PW%)m>h-U#dl 3u{g:?lK~YzY“dg|&Bh鳙yOgX?Y&YGѠU,L~a5e>|!}dz)?)/Z1YOՇWS{߮}/@t6WOvx: 9{PV)aI#NFex 3­ˮWc SYGh>~v帔3b)J;aۃTE)h;kd.4L¹JhT^r0K`9 +N _$ϟ)2wNh@\{P뵩3 3~w *r>gݛ^bqSHKI͎y0T! xR˧CT:ͤ#:M׫wE $UV@}s&r ZWiB̏zݹO[kkHLʛ =6c1gtw2Bxzf7M{>ʋ؏0gO y 4yvyRc1he+ J84gm~V =V˫qޣїi(( xoرR5*#YAvsY=xT]FMv$s,_ZTG8T}zoO,[ }Ar1tuUo`ahCӨrRQzL&p¼YBAR Ye).G#=ɬ-&۱G1Y\x>f5e.-vIRM 0n+ gJz>Оg+5181e;0˨`͚7e%.jv8VH'UܔA:+]8Vņ{М|g–*ٔQ`5$[6O(=`ζ^QlG#hR jK_Z,6YPa 5$*=pS\WR"ozz8fI0\s f F&sGv/2} Ɛ}1'P_+^l>IuwѰYW%yH2YoYQ}]" yCrcK#m \p>N abns0n^B1t8,rvr'VS9n\o3ƽ"h$uK]^ \)y95i;* Ϣxyo/N*g5&<ԩ,<$[Ţ\3ˢ{O33k!S9E8_%aA@ϩd. dF ɳ86?fac42"Y| sA&k/:1HSr ^Yoɰ?&)7qxw 2_f9(dZ&{wD FE Jt?I?1z0̈́H@tf}kcX14۞jQ5|ls$։72\lQY@! 0SLSW+` PT^f;L}o0 )EG $ޟ h3DLGp寫:'O~)5 >0GK7f19Af1 ´K/Kҝ~Z9Ju/İhRj#b_TS69%#LoML4$PNɬo!ݚ1x"B_u&La] B~~7СjQw)g^ҐPuYxzI7T'f8^|ΤbM}*J5̦DH)'Qbcc~CD -fO2'~~^;uMnq^r $ :^~BF'FiVڷYw3"\HCKXƎvp- '8mQMas=oCr IO ] j)N:W[j9m$f˪iE\eI 'ܮ\* k㱲U@6y,ـ^<9HaYhv9ra `ʼnN򺀘+gן)gXK_5ևX(xB5Z_AZ'>sj'&$MXyOy(+ vWjZ]5qΕ],MI>zagb!ϭi7򔢅xʝJZrz^' W2A'bJ;;s`rHQJۅ W!QP#iJC}'ezfPe۩p(%G{;9_ .fb4%:R5#=rBZ; JE1}8,:J'ZZV}t@0R7w2i}Oit9vEi1~5-X(Lpz:I;U]%Z͈" ^fpJvB$)ݲ}5D.!^p„zM/-^@9R;B0lsy %Bl[%Z"v'_X?<~q |"WYeK#;1 Dz_8B;3{US4>@ s9# d,Cta/p2İͱo QA5L5mױbu6l)v@L*2^ {/=@ IB0=xހaΪ@އ.YL,|`^0>emvhq!ʋ(5# EhNWabȩYS&X;6l76 һIVS]؄"Xu>KP֡p,@<`wlFp"ϬX1"ʡ!1xQ1vgHSZ2XHYWj1&ÀtSu=ْqʃMJHymg}nT\=lD>/x.pO8p)=:"iSUcڢ&,9R]+.0;P+yT G%w@5V͠KMs?4A=O{\v'qqjpB8XXX droEėoQ97m B#(Wx}EE`A;^U , %.{GZΉ?Z ٯu}#ǓsYw1TR3nc$<:ǓIGǸ6VDƔS83':W:D@i}:s˿ֳKBNbO\DUF]ٖ!캽ċ ‰[g$Xif-3^V,1o-u5[tbh+gZH80Xs Y>AdވҥM,X5Ps*ic\fw#)*]n=jE+wUmKUhݔ_e0/ %oi7?œڹ wJ.ߟ= ݣ] H*͖MIp\dp)u)TvG-{[!M4\4BEzG uzsAۻHk2f=$E^}r,phkq$ %bK0u\nD((S* 5򘧭oeIYcqdNØZ\X_i|'Ȓ`t?O& 5,V! lNTf)3Fv"V#1;iq;' Plf; A~o~Z9N՚^^"'VE@g(‼`H(-s;3{{L}sN/B~TPx3To ܄62U0d1eAOdpdd'EY)N R9*7H aw~n oABaJ4ͼ&a9U>=tnqr==37ش`jn>=o; z cx} ?•5txtA]h ŻxXPgЩRW9 a/&5?_7Y;U؈_U6ΏU3'gd68`N]vsK"PJ[ +R5ïn딏 C<%$tϣ,G= ]o Pųp3'*טh"ΣJI ;^;JG5i} Pă}{h~eG"lGs^RJ:[wHQ:I44oLacU'OgpЮh@).gd䊇_d 4u OxϜ"gqkB%qaZ(ݧе%c?,ՈN$XrS C~Nw)H+( rըZARCxλΖ7ig;x9@}[㞻e =ܐ%j%.zeJG NC%ȿTFp ĞK@ iZ\C)7N_NYJ-DɽnF?_5ҤK Nm뇰aCԇFD +Z 6nil`oG gm(ASoR=!PM:|mg皼ЊsMo$?ݒ@oP Es! !`(F'ss{&o B5P8cʀ?}2ݥ̯1uxnf I3jzCo_smho&u1փqnIshy{dy+!-ؒJ.qP,b!.,"^O@&Iؐ5c?C}‘>?'.~zwY`% 8Rjs$P~U41b) V#F31.S^L2?s{ZE0*=ljMOgUr@j|gc)9圗hϝե a]5"Ȋzs1Mm3MZXN؏Sj2ahfNk {Nڃ:4VTG_02/bFJN{ "bPĊR(8N;kժmPL7]u??ܴVR[Y4쫐9# 6`ZUeYP5,:mFQ*Bxot-m{2FhtfbDGx%Ict=pܨ4OǗ8!Sdaa ͘rMmL։)ڣ}kYwk2.\RϣC~{Sp{6D#|}Gv7TcA:1+x^MX! +r]L]2p˪a Cen)/wmP^k l Vx{v4zVy9b4u98ѪV8[hMO]6|DA Ҹq$H<6׋Lq2%g.b'Lmȡ[ɇc~4 ,(R2"6p~IQCrݼ,P@fʷNekBPhs:0ml1ۿ1](DH9p,}Rňe^>$nN3Tt7uAGoTx| vU瞚*CoNLܒHKrIbE>$?=uJa5ra+J0 |=^yR,L㢭̦NpL(]5tO+ ~ֹZ2cyR (ls9$#Ø=*kY's u蒫 +ȖI1\PpGRܻ1.Ij5MRe}. uz5]·/.j`vt rInŔ p)9H[yp2zn䗡{H%Yb5iXT4ֵ98u\<@3+c9=bIV7cn!b< ! W9[v Pv+)|yP\ P2G}3skoǠ,߀U?Z{ ctoԻJV$pDC˧`[_;^nE6'dd ii@:#%*ߔUb|7vfΏ]qr[FdxAZ|>T݈>Ii ]]Z}px:Ldm㠇kk:N{** ?*ٲ ;uZbu,vR$['QY.{Æ<.LZvN5 v9LɫH3="WnmgktC qiJέ[ǢYT(_KX_Mݺ;!JF1;f{n>4~\k^XRʏW?ž ҅)-Yl_hg9.eW?߅L!Xɚ8ϡ[`m"c?+o͌7,f] Y)$2Sx^h⢋TZNW_yc>E0>%J5o;ۉc࠼>ҷ{rOh[~yl _Y2hbZɄ(LM}}۳Eyyd^D k K]LV?h^[=Toz:7Y@ ~p 'T(ϡ Tz}[Q|A:nnexZB) w!I*Z_|̞{bWqΐ)Lf7m(z7t_JݻLoio79v=]i]lT;&HدS]"QuVͩzz [ 4*ɟwת x+<.y 5o*g':Dg=s, qJN`nDǦ88'[}m%GVZ`eIɂ^XxAHe {OFJ_jCU ^Q~II4):ٰ]) `< ae|1_*!\ɱ?ܾ<]Q[ppJ* 3qh1,[Ϗ1|@3S9P:r}W@#RTDHlޟ.~w67gmU >'?EE-Bp:VaPV6^kHjW9 W<31rjbMx$W_W"32sb&P`O}6U ] C<;6Y'4*;b `4rK-pȞ9ȃJP2Tû 2lMZ쑂Ibf.DH4@tkt5,* d"a(Ds{K21Je?%FEujhÚ.ETj\Rȅ! @M 툉s;<꣨^P:8L~~`[*#Cit(Xu暳*+;ᓢ{$+!Rr:lNkpł = ![p^zhi0N{Ľ@SM /@Os-o?]ӶBu2*nmT ΰl[Y,|רli ITx+](b!*-FUI/P0';1LVt@1t[5#VCIkUSQU-6ؤ0Þ AdmxcOJݚ}v1#ʓq^O *(R7J8? O=a1+·ynGQPb]0Dt#BT*,)\Md pY E"Ґm9T5ň2zwZƽ%RDz9 ]ͧ,(mGI|E0Hv2͓9X@&[en@Y2g, B$&, )ccneyiy b+ L~vH+詛ĵ7^}a+I?"evoz @m}i=dQȜQm@=5-⧋u Oѿڜ$'{<_d^Ji怏uw˿tF (u\:S*-FuuPی$X9E. Qm$;3襤N_UI \1#:ѢzXZEȠaNN>{ةn48 Bar֓c kdLǷ;ᘖD˫މfX:}؉k@dNn+@vPЅaVƊ6flk s1dH*~yຜĊ0(l$:꿯8Izlm ^k ZZ,܋M_"$-Kq^v>SzHrUޤ//8j)80'{Ms݂c~ a[uu7e&m_&8 y]c o@_aͻf~l&G-,Vn-7?VȘS|eə&UƔޑ' @t$ӓK1ˆn68>dU@Ѻ%"M:O͒)EVR:N2*к}4Vc%5/hu(Quơz;$8Âwnϡ)ib׎sa=EVaQ2 ҁޗ:6Y3^a9-q #5gMILP챾X̊>fe0oU6a"I7eoڽcC 1 /D'}N ( e*V7[ )ŏ=3-OEʨ".'[v&yU֍5sIAJ@ȰZ2Mkb^0UI\U['?W' Q?tǬy2+隌ł]r̜s_~sAAD4  h;\{a{7(IFR۳ fXp 0v(<O@n=\(}@jH+B\4}YdI3dJрCKŷͭIԔ^b2[^\qӺ`J5֡;NT$Rk?_DL5KywiSSe-[UbdeF|Nr$>5QGۼ~NJOA7)EIN2`2-Q֌f57|b<1;b1>w՚U[,, P\F/+F" Y< 0#6Alxsx*ěs{Hu 'l#7hz9F !̿՟ 7aWj/^s $Yې7H#+ROb[,!/mKN0uy[8݈f?'v^9V}HGO\4vcTw;*0zfrje#kY)4h# \ `r+?I뺟bmXVzS{Q.~҉:"úob(ڵ) ֵ$ ]ޢ)KngY1I3%h(/cL\w5޵"&k]2I5#R7A__ojN"3(˛YBd;url?KwLhBVGrD55q}$ܨd 2O2@*DmwH!qYIPyB~Jt7C,7Ü+$ 8&'GO+tC۴ʪT:'Dc)~-k HuP޲mu 923+<"@ :Лp˩xH}? )Lm4=z ݍDs׭mpoqh]E'/,PPx@iBǰգ8dމ/@8B"EڜRS_aX>ۍaVV(]NkzD3]I5ٝ$s3pìf2]tZD%Qb?`JF۹YoE~Ln&L8#]pi4cf9MLgT9}10Hp4 2;]-l/aXrn5L|>ň-?? 8X!rHvv JożD\$2f ACXJj̅;Tx sKe0L*{B]ɡw#-w2Zɬ{LR0FDUPlmr(#%195N7 4{-AF3!+Aۖrk|-Q\3Ďmavp[ k×AR=߭" ޏG@K//K2/p3J#pz6^v<} ?MT*&ں/a'BU:ĀɭN5ӓ:6}\nrjOqED3ɵaLc ϜmS|CSE*䬩>AZx57JgND㓯E!rղCT&̓NPWv4-SUE;:UIb6{QC2םAsPL᥂(:YOKֆ63+hOVp!P3BP䧛OOO>xG!ZCLBLs=qC\YkNOz`ozEᜲBN :4gZjB]75]}n=H규:{^g?*LS> ,xI3PRWFqPsr) t^,޽`A'| $zљ2?!٪1\Íecc|%8ǰNK 4(w 8`;C/HĨh.;a{@ !6O~WU#(z'wk(H2e}. A%̧%&)v'Bw|ho|C^-2?c!^M\gYZc22fdb443973e03f502e39ffad0b5d0f4455a3f26f335b5bb8779b347644e460d18a9f6245b4d5ac cc5e75d1df4beb9a165a03b53590ef0a1708c25dfc7a2bd7abe53b838e0ebb05147fed38dea4ace8