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  P#\DL ]S Psi_Calculi:threads=4elapsed=347.589cpu=1151.660gc=30.128factor=3.317zXZִF! Y(]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט){۞ Ǫ9vlY^6>;̖ko=;C]3L 1!WKZlg9[8vAZ <$][p8.lADZj=UxQTq7-.91uV,p1 G|RŒ.~r ]c]Gu2?6Ie :MIQ3wYlJHȘH <>*bjWL|D)@pJ<ӁTZZ\g=v%`,K%Xu1P,3$BtL5 }9iwB8@aYht i#(TP+!:=Q@L.kjFKYc9`3AA0"qVֺ `4+PDIOEuN;d֠ <2|R-dٴ'~Hzrv5 I+3QHwR$6L[Vy3.9hꕠ:)\XV1.'gʍȷQپFr+Zb0B{/Ȟh( \?mǵA93U%$Hx$䴯iL68#99&{ # Psi_Calculi  LH30 H{$Xwѷճ#;jOa-\4P<:E(#0q!^wL JN% y/nn9(@.nD+uuBrmX3Urs u͇dú>Կű(% eNDN$/Tu1j Ʃu0j0.KU ܱ).PR 1W\W3vY+[^UGa"]zA%+}Z$5ìSqge-ɖt4܊)!@ ظ27"KI65<}6b>9Tr#i#([]ZxՒ .mfoX}R? 2҇ue|L#r_R6~>ct1(sqB@=#-Ac_J.2`HxҢV0qD96$ R_dkq?5W5S5)?)ir7/n!وӹ ϩQw 1J٘0!敝neLt1JA\]{B;YN JlC?$%n7p'B("y!a`](gO(,vs1 =i64ЊJ;%tlp+X+Û"JDi1Z //Og`v*3Kbq\d55^zΪ0TYM6 |ۘ1HřGח},JÕChgmyC5da \'c5Y| zDܑGS(%HJ*nÁ;(oȧgc,9\dGG`oyX[ɳ<McK L?yb\ Ȅ~ `I =!KooJ% :6o)&F7='aLܯ%8תG-r(U=( -ϱ3pw{Wq:+ .4^Z %LQ(_D+ ĜNR_Wb$ѥX=>GlogvI!o*Xż%/nYdy%T>U2!2B nC@,b/L>>ͳ Le0m_^2hwC*9֋ZށWg.lر:9r6р&Yݔ3VyYhZt1t_]ȥ,ֺ?˜W |#-?~m"%3d"az' '* dbcZ+Q<MW0.2?+=L3Eϟfs 1^m""=I(eɗ'K:Δ "UxY #țq| U >ԦP+2W\xAwV6;i *+!C5T_ADUsL,H(-R\/FV y :Y4˪ RɖP9^&]|Ȉ&Ý:`5pE\Ҹf@Pe#!^,^AH{`p%\tD^)es ?S'^0%~<3g_wRJBW1DQV\%.2Y';M Wi LK .sϊ;}"᱊P+1%9:{yA{ac\PףOS7M<+?q +/tY:8|N|VYEyS2ࢳp{z]먕  8$|D͈K`>=ێ+BR@ ;FdX6+ r[ @OBv@RX O^3Ą8h5(BmWQC?68WBI$x ~GZWE[+ż;4W5"*l9wj^GA_=R06K}oRZRHzb6*//m+ T i0@|-Ά ڕyeۿ>6|i27G͙7;#*qxpd3[ {SBKӦȿv e I\t w2k&su( Iij5x`C ]HJځQ-TTϦ] @2v7_nm)飵_-J_+{ ȁ 5,+9;[[Z8wQ4Fek#-* A}k:, U"^'9 ],掝NBp` zB8DKsdY~"9Q p;*/’W!̇ik-+5JLD(AW۪ToH/yT_ V8zOӑfL[~7^8Tp[kIkOyߣAr H ?? ݼ^VҚSxF ʥPn^;_7N})P 9;s> xUTA]Wf9AiOE^ h.:` 5~Kg\hMWKگ\03V1}a.dgZ.> S6Z^0ߋv7&[#tbY 8^&XH&S応Aj]Ŋd+%ceЖ̱[jQ_hۉR:p~x+i-R1Z9ާ9# ",؝ ~އ6.+NpaG,\_}*JΨ xxnD'COQ9 BC2MvL #?/ 2OzoGL1 @_E3ǒ8,JC-8\D֖%U֙=BmLn΀({w -}8\XF°a8w Ng;aA@زUjʻPJLG 0uGj 1en-{90􂅙6s&Pdp*v ,t 4cN rAū^ǫ숦LiBŽ@f_zgH#EH}Th|Ʉf@۸L~N;paHv>L3JmqfݩuJPRݴDHcBjb^xKbbgl%aE2$ڒ*JaRFYsy)Opm&,^[.MX^YRQt]LۏCsH{ 6t@Iz#`4k~.D>J^F4M9*=6*$= | T_*=L$!vp1{ R-L HaujMtujџ|uܻ4s~>׈y9yINᇓSM++_ad° ,ʓʪlsoY>A+XN}MJ EJftS5r5+2~Xd!cxaΜ1Yo7j欽`jeql/@?گ"3ɼ&?xK},Enũ,B0`:WhǍwAˍ\%4P);ƘJI/ ߀Ыnu#"+Y?XASBnjrָD"Asd۳sN;_?g Jdb&XWzбLM\!҈iID,:4t @41BrҮMKP^_' KjXكBxJ7L^L,~k}Y+$ٰe)($+}1agMzcB'Q n#WdP ]%pe_4B ǷƴSuudW|9dЁպ$`P '|qћ@L_U!2zG{eM5z^*咝AzX;dhKʰYCerJGV&3p"6n@n?Q˶C PTh4g|JbF33q |M>D[)=&cR~"?juGOv6X0+YE~L7ۜ0Ϋ%"ɼ2AOl5+C}cOv/MMI[xsr!"btp?IU*B01 b~a/QxENc@Sp/:)2kΞY"k_tóG™xh.yMyc(M,*(副Sj0,*MD޲{Z^:=rŷ^(cdC7Vo!ӎ;g3@ fd $xYΌiI;~EA%nB `۽+`uYN XQf #Qʑ`dlym w k+J/َM7L{ Z`Ud}`eRO&H0{VZYhB Ϯ`+?G%B>:vɰԍSR%ض[?rb1ea]S>/ є..,UNw2?A'a^@?W`ܚ_PQϿ~=4t,1+ }Loyu Ef#~C]g@]v?GI ^c"`y XN ,Sgnfko` 6d-t6-DTl@T##.iCxb¼:@Ų!OGRDb $yx'Hg&w@6x(,AP?ѱ?ŘVC]mu[~AaAVo~ ;^" K Cmlky(,?u'. 'q0ΧژZurL)3{oH^}(3Z][>Bk\u\A88SwHB Oi>țTgYZ7zXZִF! J]ŗXiɟ˗̵w'Sɺl!\d'Gsi(@Sh.͊=#=uQ=6Ix<¦[ЗK>$f= 7 "a8𮥈Iw3BQGs\RVC#bɐs$65RmtZcQɍb1Y3]0VJlL.ju!'B}~Ҁ]xA|K=Y^~x+]D;𘡢Edʓ;=Ş1}PY=aB^!:, >IgI M :~-db jyN;-ļ,9a,Υ8M:"I0zxQ(3$K _!nZ=BTe&1ANh rs8w0|%89ƆM0)w)Lq?k[ AgYZ7zXZִF! -r_]ŗXi%Gfz|eD$gWj ui$ctu"ʘ^ ߹F_[ =v~Rw4U|&,SYwnpa-:h[dtav!Aͧ[N#:0h_.4YԻVZmVk%4zdRu۞`C$Wk9d"ĥ)_}DsG<.yGh0!v'o|?n;?CǢ%13|h<32,F0.0f ArH}Z"y__b?P߸=0*8S'r!^,,ѢV/0JI-(+"Aj} Etь )C}aHb&v5?\6Y&#qWݔJo7b 审0Y78?Ȉ*lл~,|$SA/^Ra)EJj^Dљ1WrMq&L 1ZS$mxY2NYfhW{F%e&%ۄS爙{swru&eY mF$B gCTW_%2qZ ZHa7d(پ&OjDANENlDCO]մ r&0<@ f:2Y9$y6Y`Lyć s3|ϸqMNxX|X@.AEkw ׇ]1{괚/bG°aFf5qd9nB+w5q :w6q1%͉D`U}FtX73q(Fѯv_ʊ1BZxX[^Ű%pAtfZ&},Sb#Ŗ N Ì5D>NRWYxc{ƹ٫ Sh8_N>W#ko3] ɓ(e̯O# k7QP(Cɡ^6Ϡ iW|]3{qNN.b04\ `[*rZ e=ϤiF^FS pehnBУs:z=-M>}y~ iDh9D8|d<ټPfKyāX4l]igq}+l&y䥏m[bH;ɧiBG;L=٪$E'zR hox3LdDٰFk R1~LG 89ktj4@>لm>DFkM1OmE1]stU2ҍqУ$`eɽa)֙y^3k`&eiLIIYifiyD:go adIPw/Ub.JTao6}6ZtFGIC5kRҬLz.?2'$xo6iiv+ HEs|]̹:') y٠d t)/"~/!EGڢ_?' g;|0sJ:3 cc&O-9 j-%}ƏmbF]hLƶfo 1R\)d yDԿx92!=(h] ı|ᖇdDv$zkW0cFͦj8^^__{|):$7c BYY{9ٟn)l(*j |۽fS{1;1At= "\Rm )L'k˴ӟӁ w'P$D*tjqHV9}0oȣwf{1/n{ ntIDžƚ90_#zpQR pi<۟sV4u$Nhя\Bw2 1Xm__fCVӱse"T }]QCKX19ٌ3q SByYy# (ioRl9!zf.|-lu]NY,nѧ;.2&Jel]]-u &&Fd4(/Ge=fakq71{F.D|̧]EHlɚZBW+1;Z[STDK^"B6i3+ [a~o{Q7P:S -F{q^!p2CijIcVbW vQnㆴ@O+ДAbG]8sWߠXViޚ@✵ v䴼0 `z^CoVq>1 018%H3+z ɩV&sx[{9Gox7^^qO]8ퟠ{iN/"!l) ejRߋ)Ȕa=x6i8JY>N Nit]Q2|c%+ېS\AY^n;߻9;5HA9k;ާz ̦҇iަ*_x]<7/IjiV򅏁sp n ~e^Sq-`;_`n=_.+2Լ݆A7FWhݽ -ߡ;)*u. 㵪Φ)Iw#-KA1wY9A^3 e03}CD؛?,S~ 霰R%62ǭtXo0G*%_*Ы' >˧=OCo/NըJhiԋ/m0<"ECWsjO "awr^jqLBhgCm#mHn=F2 l\qdv CO𗊽(= =STzD eFv+5]3a*aS`zt({|m"y~ WXa IG6 (5kl $sY˺؛$a_Cl߼RľiC༁9Pcu]ahO6 ȒN+.t${>oŴFk՟ Q*1;A|3kP`/Q:J8Aܦ#C WϷhzqW,7E;7MKRQl@v%4:NJ$~y:_r넂bjb=,8},3 Ϩl<*dɖVtrT;cb;漉}zg4rt E ؠdBZ!Bx?&XhTj*Ż9 TC%6nM Jnag%XoD=Љ|a4b*GP88tUp5m. f8M1gתl0Y6tW[ enx9 e%C|!(WuNLJ3hP|\Ӷy j''P E.O@}UXgt;d[zBbهR=0%Cܳ &ӣ^=8dKjC>еpַ~DF20ahbDFO82_Qz㫆m?#Iׅ鋐[D4QoNHIkfT4C'F{1%`hE"#p3pF.Q^7UBeN+0,t8~ z`V@B)K ЋK%]NMmJ{{H͙6 ;ك:H,KҮ1F͙2\ kuR; En3-I$qU+4]Z{&@#eW8wɺzn~S1y1b9{uSp "8f)с/Gɮ"UzsEaFox3?T32u^yw nP%x.fY#aR_ޏrrX".t.sHˈv~ ޭ&Q3^OR=dA-kݕDz_D xͮ mmG^ co4[?2>lϐ)63vX7LfX ~daY Ttjk(["/KQoV|t4BPyQEQ^ÿ(7/O۠9XJ ܏YLƗ3'&W0(#r* ,CA2'w>&ډ3w^28E,MS!ϯ>||ky Ŝ-u*i㠕O,-<3ߗo4)boQVA_GشǮ=$NyP M:N-qALNqg>^K7ŏ,a/Y#l"mJWL"PА"i*Gsk2Ӵ/TWܻkעbB# RT5kajSNQSꯘ3۾BvQx1$d Q_%coY 9a+62ʒ[9.PAF(Jſe0:qm458I&zpqhǥ{Arœ?> #fl3ѽ[[q~_I2ނqUfݯQ`/{-ʙgKcIH)ZR4pCiD[Eqe\۪Mx ԳÎ'c |ۣ=۞ B:#cJ36;|%md*W= lq  #u'EӸl1{nhGbip {8NTZBߋCG6k|b(n*W;;+:r O50赡oeMtثoݰeZ[XyuZ$^:!vVEuҏڙEy0m2Q韀F5Т܋}28-y+wt`*: !KT^dT7KlVTE|p.ϜĉXKEkw;n[^m=U!-H.>*JkjS񤏳" p=W PB,ຖ\Xxj>u%ASKP~ 8,E_mA)utQoz, xףOg6׫uֿ&*-b!{Ő|~:zU^ͩ-F-cc!(x^pQ43+.wA]ObvJ ~1X}ǘe2"6>ԮΖW*8ikC]/2Qoۉ HElnY9"e~ƼpDK Wuw>Mh6|nlVb,3@ XK/T 交&{kļO'T,76c"Peq:\WOrʽ.UA.SS^$C0f͹q!T|S`P[ ϼVK) |px\F\(:Ւs-?m{+)7v,SJ^k\> ķTF7-tb .d&Dbڅi;㲳T+^?*eXI鹻s!0 Iݥ`ٹm%:^a;i̵'a0)N@Lߨi}qҞlmS1dcF q^q1$"8EIfϨD;7L,-dcā.NԢPYǰ9q:zU~[T4O3^b+O aA,DbhpXveXtyzH<)δl88>w-k)@D>rHjƟ&Q7]m|L']V> bmzd|xTL\OQ -8 !a+JT`}e/sK, U4G2 }Ly2{=~'Kn1 UM};+0'0XaY: ~MחUԪIJgk2!h~,.$%bޖ-wO4]Y ͺOWGHxIP18 rm 4~31Ksy&7?ЛUh8HYآ<"۵*PQ_r_E>m$.³l&6bj RGOͳA2nԁB5!6n7ĄW=cm>ī@-5o /5G5t*j`\!(ark fjpJg z,3*zAĄ{vhʴfJdXܐHphU>tlMƱk1E*uwSdc硑5bH(j;Ajl>9$FB vP>}{d&SKyǁ}I-u˴Y5_$iDΆhbAS uxj1|ZLۜh9\GxCeۚ OÕ=%RN_ IK}tJ].`ڕYH?Kd{VK dxH/YS%>Cǧ?wQ>Ko?kjYlBth;2tq|{65N2R6٪ď{CfoFqr4Mf#?"pێps \hRؿĈh٣\e-7]w hh*W9IUHi^{}Kӟퟥ#}w6ެh§Q@'|#O`Yr&䡞IT ?mJGDzť|kҀ#2m]L+Q1.)U@0oT(ѩy@c36N/BehzVJy6͉l-T֞'P|I0$wf0P#߆hݦw'+D}UryyN'\,+}k6cz'xO.EQMf5N9Lp^˔,7Bd'j`[/KU a[/,vrLӿ9e-Fw3ћS#h={é`a0(W?nUJmFA`N]l6;DrѨWGW+<4ף S r" ƻ]PÛp\ߘ;4]Nj/#OO}YZRĉ.",~)'Olz'tπ`Y ,&!§G` E`^P>ҽXjUk z:\5eIvXa=ݣ[zdrC_䒽DF]) ׮(DmV4-~n|K/~-h(TB-B0yRPak4|+}uɆȥ-w/3B%C[Me[7"+#fY8"C24Łtۂߗ 뺘Ȓof|qZ|ȇ g# y F~¸ M:m4b|151 ,v,WT>uHgaUH8_c|.vsu7Rذ]:3ZG`O SPJV+Y 胙A =<Í{@~'O'Ͼrq-}St 1K&]F 8 XJV@^e,I3m+^a3i\* 8 /Ly*l|\6; %n?9Ws)2'֘@ڜPdfAV-kxG㖦Ҹ%}ň BPdIL0,#%h;pnY6!_Ez,?ZС7"sK柙_k~Jh}+wy#$سrY )Y <k䌮Rnnzz`Fjn*MJRǴTrPZRx sU}nBX)!޽D֓Ǒ`3#xwva8dcP7H8 " YMf퐁*]MXg{V&RrIdOh|ߺcHBۙsǬWnȴ>b8^߫g"pqf:' $IԘ]#|* 5lrJClB]U~ԝ)z¶Ts0֢؃]%3#"xo?iXnBӺZA%:.Kh:E!ڝ^7GƏRmtRU(fDJx~C?@ 7@TKlC[ƈt8YCKх tLG蕠< 'F6¤I3oY. ut3[Vi ;ok}m8(0C}yBvD;szܲ/z9ϵE'.|{ݾe %@j2f3jK'iɬX9ɡ_!Uǁ=vukѪXTa1 #]k/9ݑlN6] .?\5lץ DeߨPzAܚ*d`jT#.}7$(8|>7 ׀ݘ !tp+f k@A B02ub_5uQCu启Jo38Uo. *.Sy-h+;Re'p+VՌ}M+AQr?Z=&r]03f}n/8zZ嶃~Ơ>00pM$ŲA `L{X߃\ )h} tNVQ P/(u?٦gC¤0 `98mf N&u]W&gż}@CyU6 WE5lU8PK/(˚OusEUwQش WI J+Ae 03nVj~l!BI :e.[{"PcXoռC%C+=0Tlת4FY Ĩ1/PkFy:(/:k| ?a"k6 IJ\\Jx=z3AKʱ'IS(;“'C`MG_KT˿q¡@r_իgUs=GQ,Mo8qZJ`ZR7QI_MSzB.5:P;1cZZ JA ԰*_ӛd9:Re U~h`6a5Z X[ OOzJ*!ciYr%7;S?d2=@.IE|/G#EB0=b@/X[1캱i) [%Dmr0I+#RS7c6wԔJ%[g!Moi^X]"ȗb5e=cvAW\ 0ŊJSz&+:>\a x =n>zӫXO Z~cC񭗹(QW*> wN Z?uPiPH]2j-Ƀ}ZgChX r__k{sk=c.cM]jűyЎ$7l5.v1`rD+<@XMtnkTvTZX\$[uo +3^?:_J8N?5O;+kw Masud]D"gsZq 6wនM߱Fj·0K 룄ciN765ڡpr?_. T"*xTjdPEf&ބl/!\N+~P`(8\zbv@1AМp,ٶ@{Za[wZ.V~y#Maر+A*~L{2=0*|H07Q|&ۤW1KD.ݦ?7* !n:gB*qS2Sh/@eRY3|.noXv+30k;\Bd (I'LEC{*sU"M}) Ax5]!t &5LNWe)}9ybW!lX|UA1B=8KmֻmVᗀP,M1RqRCQCT} \tu˲[s_6BWk`$_ЇH1n1*U\`8{F57lN+yʐRG)ي! $Czo_DI`/=`@[1YKz LJ8s;{7p%-L^3{!?6 ͓xt={Sh$mp os"LQ5B Kst$d(y->OvL yǪKvg]Kٍ䥙͟zVyNBOAIXewЮ)`Js$Yn'Sx@3#*qRqX "e"3r;|IޖLʲ*`VtU'r;| 8gF1q&D߇ L9-`21 l@ܦ[i\8ԕ9DHęoXo=y 9Sp4BBIUv+v,:2\MPT?GVYmQEù-j=(VH$>~HR!Hp^aHnLlRߪCisAS^SÊj2m)9=&kJLU2^5TsGa"kL.Pnvfx>Rwڐn_ƚڻ,υB^I BߖLL_낻L$YZdEA1a݃X>V0etYuFyH,1;I [w =^\bXVOd&Gs㖮ID#}Fnz D;#:ԑFKYBG`-sz8ȃ.}}DM&hw7_aȺc5~C }i7wh5^]fLa $S`(i靜  >h>EY@*/ X? lNJ8$i /!^V&~)IֵDtup9߭%'#Hn>~H9 *<*΂ Ljy{Vvqp( ^rOhs5!h 3W*ؚ\D71#N'+Ϯ_ ap4A b]l5z΢^uʼKR "2Gc{IΟn})\I4Xm:17[&sUT<͉VF׽V_*}WG't xٍ缪/IBJ[oޛ|V%S t MRopJb%xJkRy˨P,8)un(֒0ˮ#1 1K$֊2I M5Gg%ke\V`L/VB;+xb)4' ys^a-HmZ])QE ͬeED1ZVsS+7af60V U(3ۂIun 6^_ z@o eEeDnL ^ִ #`Y7=o\dԏeT6D?d ME䛓:DU(:7iVK77*J*FBmP(`9 }#rĢQ]TI=5z6t%!Hh[eD3yO+E>zul*l_/ å$"GnϳJ 7b-IR--mp,t.vr^kj{vX[B,Ӎ`s4yMTg-HH3JmrftNDR O8@ƛ@ëjwbLPiǩ:OfMlq\Ӫ6( 9v{GS{=hk j3B"'v&/$tXtSU=p!XE 4aN7TI*I+l̓kVk7šIh Q@~2]d^S U6@ k4~ l3uh_i]\T*d/йUL-H: Nُ07#Mks1k25MJ"9$x = Kx!fBH$:u1M[G2V2R'0t'gЀl>y{" RuY/238w8p~ĴE k_& `@翷ބS eóz0$!̣zP^1z#(ݥ0@0Tt2е!.U#Dc)%:2AXPKvJ,6%ҕJǢ=>Q2W3_W5]ɡ`1(Cs[ܓU!pcJqVidVVy?!HoX3'U_mj5Mɟ!(99jB&lxr)Ǒ!)Yx;:njݺIatu6o1b%F m+xWU_ޓ%oجd #Ao6+Zr\bIl'+|ZݙEbr͆86M3-~s\HBcs0]q@}SbNTaDqFsMT%LAʪh ;\Kt ⼚IY]9fL+u >.#e`JiJ1u'Nld,۱X- P-Tl-Ba^~X#\3= L`#?RK d\:8E7oi4/_1GѢӄC$#MGo .H zLda g[v Y4_p&ۂP׊6"C2i.LgKK;]N~տSٕPZQ%PЎq;"?HtYs%X&bM;/Mv9v~\ik@ߗ|=Fָ,X$;Vfagޟ/Q+ca e{#GA"\=W)ne4kz %t3~N`éZZʧS 'ٳ_]%aS;OeYl aVwC sןqGƭ2f\pRC|7YnqbH74euS+xb4-Td6ͩ?wiQMS ]9p1^, ^ɘ8eR+dmt:VBܜ%t9)~xuXӡC -yˀ$OE9]f^VsSp2_AK+Q nq̸xE5EA{ր37qeY(O:5O1A+!:hVAwX]j@Xf _.Af"p%j_JmtzC_4h1L.k;, ]Uש(ŀG҉ 33_7a*D5g !^Fhnac.Eku_هozK`bJC\pVv n@˧j|>K##=6pE6Za42eOpM0P>{r& Üj83<{]]Ƈ><) ն{•TNzU^ۯy8t";K^9 Tary٠yq D-T/ b pkZ/#_s'HkCLO[WznTK1 ze_@x\A#n{!D`6ڶr3+RsurhD&'8?z&387:nzHK--*O AE@I 9zNIAxˇ.@VA3۝! TGu"RFBo{k8\ *ڊc:C5@óe8qVY26 x` 8=-f^z$Lj4Az!.ڞ'θEq]l@n4ߋ|DqXW}ªl#.})? !;PъkK2yrj]2c (|jlOL[qvY'YM?}~iX6HEvɻ~|} grV|";)9o[(5ŭvmۮ PXwsԢPߔ3G˯kZ*; (d";fP>g`L?kyD X1}Y||%O U-arhԹH]#VS~x"sѽ8~@&훏e{BeD, pUp z6"8n5UCѻ ¬x\Mo=^X,,s]4!.Syp`dja,'9WIgpv3i!].s@QS@" mӾ]ozgv~QMU5:B!wH ? GksTwƼ=1zwTG'j)mBvm*ZX]y⌉U. 908@8."Z8]ٗ0),ֽ$ 'g**X08cc.A/JXKF T~FXusmݣhoӊ>EK=PDM%G'Q+c-ahUzfKm!{(sQpk"i=h_VLzIMøgٸs׼B] aJyϼj="=LxءÚ4g0\h~Q*jbh(lkqwO ~a"VI\H\C}aY}K^Fw"ξ8Y? 0LI`M&L3evWz75Z etYט`U۴J&lWU~ٯ^stV]΀)mD~q@BCNs={"c}`USIIed |xq(W(+T<@ pJ EkDL<#tz6)`Ls41ij;|E" *;aGʍYD빸^vori[.)Q(gӗ`t;$7IzǑS/Ge }C>~ =:A)\|GsԾ]QƦ]7|E?ePazYH"M#2+0*usPBNK#x1x3ڥٔT0kFWxNӥ1N5 ,=B@~{1b1Rv-y]N{yKpw7qiGQ \1xnaܨg_lB JD:M7@5rYǂ' u%WKZ)v&NyW&'~^?h;;6}ll M~l-:fT*pM9-`"*ֻ"0-X-1Ys6l& jZVXN!%B<2 #YO-5H"y"H,GVݍBNOr@^xvqyߦ6f{+s.r"&:ŷGC.7Hp"=2!=Czsbt%z&vj QZ[66(J5$M_qYyW5L*9 n>Xvx:pkNdG&gfGI{[jFӜ0.45, |_#3iUKp<)vmh 7vRQ)$x/tZ(q w:h^-KqTG+q5=3k)fعp.|sV&3/Sh,8J {xh]7C)dlg'$u4!M­?u؃3m 4Ѓ׏:Jr , !23\o(:9 D1'\$xx~(wz#qۉ;ΐgSyA meձ3YWy#1 fN ?3lc|r.u{@;Xm|VK`PO FK{g,,>g9)~:`!C#N[4ݏfM6)ZEt#w5 osG"22#2e;+gKͰR?C2 M;YV] ;4JJ O| Hͻz0BLЛ&ܒ7})vf'fae9mIe4d@ph,ge l\^2h3Ic:ǷQѼ6 ET2;t;X6.TG-!(@R0&5']-f#ga,N33 Gdv ouD>Б`jV"APu| JMl67mRUJ 0ťP%,A `.5X|#RNtn)}y˅, aq'MnKǁLInw'ׯyjLÀj:,I9 2sCVP\TPخ̆Dtu]<"pnKQ= +F_ >nI+`i4LN|WBK=bX$5T{^mh7)N꫼ 33Zuiӄq<}}ll]Nq  1s\i$ٷ%$@Ĵ.J697zXSy?d8ħmvK99 Q lV,pVIֶZ<߸i~$ph *P[Թ8 N=Sh궳V/Cmt,zB<#GhѶknE/: yns֦lXFốaDz͗hY2ٮ7Y[&[.uW._^6]7sKÓ$?^ 9G0N-?5b1KOqn^-Y~1Sh)9s`~^;nF^u7=v^P3~h5@t-:+QPMXὮ63^?".\~y>k<ấDŽH}9!Mcܮ.YAp9p gֲ1?+-CUXj/cBwO+O4wC茟]esPnD@,S1;4o2rKtƕJڌRB￈ [8)jn2IṦ+J0k{,> NAM@?Gi6i-pHUh_d âKeY. TlEt֘- qg|/L瓻IoO#ߛ˼Q/Ss%NόXFp*-h*e ?7RF]f"R>90:Sq%tʨR47/bmsٜ Ae싆+a9ߖN#طh͖?KA*K|: .`yE.qAm"!sN#Dc*>ou~Vyd>ovDĘj f$3P XI E* BbS)q2!tbMh,a@CTg lb yfHZ ZچhQ|}aA*r5 >erښR+TFB T|Ck,nJ.pB ڻTBKE7ѣ}2a.X7iU\@#oFӫVOx<#➣ Ct  v?jl"?n:ХajO֮MYD[e!EP#G%{6-z9GGΝ2PGFb]@Ա_jDB!ߞT;x!0aun:=p fMd"LNMDi9+q\kj5B w$٭; HW[Ugs QB] y,pV}jXSi IRQ0\/^\ $=ݸKHŸ\lY-hNkKC}z村i s)Ǜaz=MeS ݷe GghA&.dp[X 0+&V{Qv &L/ʍD߃I'q5`RhlH"K& yv( >~mV08B#m-^ݛ tdxN Z+KR|0НV궋}iM4j?,!\hk$ΎeKYI UnޝJ"PANmmWAXkOdSXĀ-F18-"@!b>-HaoN̦\pXډޱS"k akBxդ|b -tA| LQ#,4Jr9Dj¶*l,q[#Sщ5-vp%% I4[6IAJjA,o=/(俩H։1{wtb I!YN#LPk:ft"7 7]wUUzX<}nLܖD^B Mw C7&>Ɨk(64Tg ,qNgbUg+tx1H^gBE"Z25'Z,Sk7!S^WbT30z{eԟLqMMs\Me픂P.24*cT?b1ΩY{Eb[m@X,߭)aܑ%B[tP?iT]Vpg-`sk`nbKeua~LI<ٲmm.'*''ze ꬝ruks ΈUk8טtJW U罗Zf"²= ]*W4Mb).r•`XΖmSug h{lS77p1DAx{H#@ :!ЅxzpCڔ#rd\{\RQ,bˆz}ҔDTvs>&-B&CrZ/gFQF^2|aahX{'˿)ZT!j0&M%M!􀾁K)6ID]LKڻIi~)5m&~ F7$# Sp2ae:,3WL&y:UZ9J$v0DԁB}3kc"`6)j[H?bTi[B.C.,hd_p~Ezh8P2Se9oqbYk1oJep&_d9ίPg<Լx0)-M(S'ADZb~puط@d4E;m ؝-i/@ltǮ5'-H66SD]— *g 1zz$S=ڂ"f [ql}T(i9PrȌ>}T!馧frIrGn`LΔ;.7hyh-_lߞ/02d 券`6398:+ů<ʹj%!'oZtFBhۙ^TC//Unѕ(mv#7sU6c#KJVi|*lT[=tS+߭z5>((]Eݤ8q4,D=C cr?~x6%@.nqEZ2P6/N%w~@N;T{k{$PaE7;ɺe>9 I>g {8ДSŞ<|.b PHm|1?yYE*@3Al#_եȝJFz:+SbM_sWq"S`HVwF5_W>5;nβ ޢϢq)vD!`Mm$}z6#OD d+* VJ8|7~th/Bb`if)8-W!ȋh[4N<1 2ht=o TUFꊦ"peoz< he%< E{<`b q-޾uu!yv,4pg1°£cfсu\+4%1\@ MD Y(5TFZF VZI rl1( `ê_DGn49Va\'/RwDq<${ 7E&ҳ[[rjX+]|gO}DNjz4û8HNO 9A6ڷbN=\eW M  DidʮB$RM.+ݘR(抠2aMјձ$& LPqOK3t$.e%.QN3R%/ݓ$1d_QIll.8}S [7dKD!ucE/iXBWRURBÖs嚐":n-5P~ [Hjޔ.HscC [?w͎\E^þ@ЌM@ql7>x] tvA׻,_ U /ᅣZm^Ι5`—frrh7J&[3KFJ%e^=Uh9D5W,8_[X7d}]?%q^ƌ =AQ-'ɎWX7g_ӤNwskyF67u( |wEWJRSYW YU_Ĩ'QX%ŪLݓyZf8 `ْuBhmX~gԋ8P}vEOpNgz#!]EkK\'oU5pq|s \n'kF++ P3K)*gZA"JS*׵!^b"! Ux_ (s,c|oS>0\ׯ}8&`9?"17bp6,+~v MQZHض 6.G%k_+K(3*jr3rl##VYl@B2md~&{UcHen8V˗ KPGI5emyL,\&(ɟ0Tw9]ŋk1>?ǡۯKbK"Ef~WqQ%٤~+s 4B2\, F+]u{WSpLB 60mO gYZ4437c74aa0420b8a9b6d555e6168032870d2aad21795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be a2ee8d012e68eedfb8f5764ea1a7a355187c30c6