SQLite format 3@ 5- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 kkE/t ]Group-Ring-Module:threads=2elapsed=250.359cpu=478.492gc=27.556factor=1.917zXZִF! ܘq]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: lYi=ZB+ۜ!c+6( mIfY;dEѨ<;4~zͅ>JpSr|h8}?&4yhWHU|2ro/(3]# S7ʣξij JkRә[ 1dO=@B RER#!cGNrƻWэ_G6S? N, U}5QqODmԇǣV-V0аί:n!ק"4TLN[T2W/cY6{yRM`Z,*.gg[1h[$ŝeY)k\g21|ՏH;Oor3R&㎘.1\Ou>Sr~2&uRK;&(jQ)Z;H),!ݘ;k4)Blǽu]jsW9ՊnGnO9G`E|V}{al/a:9t 8r&Th=-u\Bz5!)SHcvW7ƤQbkhprS^pt連^7xnp[dQcI,_JL7HA^q_,sF  / Group-Ring-Module~Z&Z AF>)\0#WœewZ}4?[:@MA{uwHPK c!.cm ݴ kËT=իRYOEf_I}:b@F@=Fb͘m8M΅pRa_BJMKA&(b,B`d+ ~K&ukA˰D2z+82/+] ә7$pX-H WN,㖱$,!S]m_x߿@ݢ&X-N!<(F~<$An<\.cjO,q&S"䚴rIXGkcKV3tB_NwBn(9׮t,""0YA@B^/$\%< `W @u5,p?Ws 0"vGFƔ;jB)7Or՞>M,7lA8+[ {,)(ș-s(z%75xfeC+R>Va:‹MJSdA|  rLydd2Wu&H{ڌYIz.Ӆ*yE;Hݡ#𪟺 j*+fcʑ2#W!Y00{rnْCQ>:xC4cRGh̨Vu4p-*lKq|.+(!O Vq PqU:A7Щu.G߻?$F ƶr]"ِ[5&9 Ǎ#D,I"DI%1u}V#1yIB=^ў`qy0| eMꃇ9iNҠ>>f~}NS]j)CbnDFb`jR{}5u"ujmpֈd(j~ 2M{Q6ܑQL J[D)8@DKo~fY=8qPJTˤxl&3EC1tILb_L2ɐe]0Sw%G4t3쓩N"6WE0_XeB+g!ѧ/L-d&Œ &]n!ty Gy{Xfk (x 7DyE9ԃF4_ ]iэt[߯Prxr|5 f՝*#Rx5]֎qޫ^FDkpU{<Lu՘"f+$3@J2U.Yds„9Q R{@Fs{oGƆeHhc}y3!0 Fa0,?G^D+H E%<sav?5gUA O_d ~tTG= (~KX@&zZjnؔtyPIYbyI8RKklIixMeT~=-EɬӲ8dWy8U!kK1FV`zw+V_l-ᬥLϪY.a^t 1”<aW@sU9 @ 3*"©>m5~_gtU8m%]?Kh>5}PZ 2M Fa\#ƃGd^?AOC1Kƣѹ= z4R+Dj XLm IX cK.jӿ$OJ5;ٻ#P*t#̛K[V0+0UF\B*-W d̹@^ c[QEe{;W~}3O"dS|S􅉼_,haX5 eӞlf`g2?.@_*  F 3A~d/[2ۦ2 UD962Ymo* ^JkV:ͯ!fԩЦ۩EC EYJݗp$5QqE W",6(c)$dž~\j[0 d]%8X6P|w0(":(>9H3XobQ["CSU G_7aSr)vʕ Z9C?̝k rY95aE+!i#y4/v k1%4Gz8|&Yc8%?/͓xkZrA5*G*>Ÿ8{jfeq 0pun'7E$Jun~`4_`@V;>#b>W&Zwzx^Ns"C*fI{<4iZK94ϨUcS†u.1auWe-K{^Jak{Ã~2 bv 53rj;jʨuV[5Dx3h{\4y:UR8.ua"D{I+imJȾ + 0RA oWc"%팼cS$d)W̞ Emeg1 G9{pV!] {W,3"9jLtIl; ww. MvUKH0*_ .< |9=hHCI}W4dX$|ؽQ4MPG_S(gN$e]M=˿hߘ r CEH>1|\+9$`r,f9G !Hd@ܭz:`hISBa9;Dr)sCL9,߈"?(h+Ž|9Badc&IB[*c% RGUr) &k46Y)_ aԶ1yzoswSGĸLZOSX37>~?g':[!Nnoħho.? M&2Vȶddq%65>z1h߭4?{LEO4knek/9׷jg`2iKJ~-OؤMKeɤ%Ж} ,y0ac @sP05]"F6Ĥ_hm QP,6w$:}l4R|k>CϷVP_w KϤcv]AѻGMT&ޮC؅+|88i՞KeƹS)OT>Twem/Tꓘ7^)n麻C`k^즧h'c<֥8d/g[:GXV'H=3i{TK,M(,.Y\WyV#WL-)qCYfuh Z)ȽQ{HY%0Khz;eXid)TҘ(, :@"B Qt-te9;.nsNv3W\ 녺S@]OƱ/zlY&:.#ײo@0N̴W*%5ٔء37^]Mc[H#"b#wQ-ݜ;ЎNu~gi5hxXOyupOa`ÍxSr|-N/ʜ6Ց/Usd^iƍtmYV@9Lp]7.\}#_GsۏaݛӬ^ zW + 3@UMe"_#ތ>LYi@q ȪWI{fPAtbL?4j;k]erIDeFdDhi g ,fe[gM.Km#GjVcI{Fa?HN+A<9bl% fk=LW dM(dNYMM_uv_Cza\iV|,qyV)iQ 5bW-L`tUw '\U8~J_?aS{s,7=qff[M͈^ jx A`';y.ֲ_/QD˯ݖ9>@nKzl (lZ7ޣysd^r7z L>WTԒlȦ$7g`nr#l64qv% HSoв?gSDuK|?5P|}x~I|N ?z8(A>+[4HjPft-?]N_?jǒZY9;m*pce>_Gف-5J›Y s{?ǡzd%0p.or1$nRIL 'CecuGluѺ]@젮~UPiU7!I#vmǢ>B了7hp˒>E˝6i: #!(#8IIk/L BtqřiD4*^:VY>7fy(5 +7b㦢6C"d7y@@JbޭiB3bHF>@io}V: p }ºIE 9>5šYΰbr&jX81|:Cx`}\Ổ8$'BH)fljgyg;VHZx>s6CSĄaSAz]z-3LxQ ͫ℩&A/C> 5]pډR$Ň7'|_WdQPĘtPO.GaLs^T/ReN{q};4VEd#oxF}ODz.; Q ~qΤ%t]ᬣ( ET@0@>&3_b1^<~؈7ZWO"Ű&G_߃MƎ D]m1܏W}@̊rB˥!d : u=Vʰnj4fn1cu r>$?- =(j-3}MG{x,N!OǷDiw`t[03c22&6k4*K_J5ϴWѯKj^_ X;{ $Wh:8QWpȸ`.3@+#S0]]A:ηJ" )X6bu(K>׬JcSqq)D'7n#OGtVY$#!a8ӿ:$_ kGI)NrLjDkQA8(-pH+?=@VkpWDy ?ƨczFI (fԐY" orHR8 3з>/Vήq-`Wb5t8W)VӢ]ƝH91/*|MW"CdRzD&'CJMifU5g"VZwwZQ`XS_Td0 )ؕ@k_ٞIѽ^FW]@F4t".X}1:ݷ]O,:iFcQʶ uGG sDLy'Eӑa-PW'S[';jFhS*i.,j1`MfJ~cr)lߌQWn"}q9xx:nˡt{5,F,K$F+1F0&.ꀑR^Sm #@:'S㑸hok2]r͉I SƋJR #ӿq (Meb'R-uIM911 ?ԷJuf)y\Jb;0 ",#x ;N$+ @^z-sVHfSTN,ˏyWFv&ޭt(͠2Tb j]6B2J6iOFKrV.5 @!#yZ87W\ӨXTԨ"57"I(q:#YSZNr(ܳ[5buH]i=::Hٮ;GY1) ft$*W>ڗ@,_ë.w <bZ<_[mgӅowA4GlrygB(Y|8y` ,ŕ]6PD0ZBҗ Ĥ~ǪC x4fYQ{Pm[3wTK+U5{}I΄=7HjKy^B!qPKk C﫞~hZzR*;\Q12CIϽI}%.%WPdrh)y~|hW׫y7(O5dڤF_N*L\?>Z8VfVh c)b;y&3E8$2 r}fY|/zZ0& akQoaI9ÁLl~uש~ð5,mȗwB1,N &.)+PM;0Dp^܊[  ^nodR#bMiڑH?x ">J?^Jk"#yz(Iu$+6Ehl@SHR~vDo.X~gw9" rbbI}Ze݌du>]}Q]c\ebOۥ}b-`KI}ho h4 V\IUԾR &G~(/ylMg1n Q}Gj,Z"ҿmX互ْ$Sҳw,a!y[0 agSg+vnPQ-X}8];2_VM %!<`uaՇ"|`܈i{*f &I1./_`PDzNqaGEXep˾ vNxATb.гrEiD解]?O>Mfr[[A$- w%k^cID*6]ѮK?vZkPVMH5a>5[N#.˶JZa"v>ԿIѠj3cF>8'r4WR1}SLƹԼIq с)Y~e10㵭I=i|13@217Gt3]E~iM[K4ಋva@ &g} I?+ SsCȊ𹝝@8-D_r^Db.^-HQ]C \Ȗ!A!IN\Ӎr[Gƻgiv&yΛ('pKp#Y/RR3ƨ+WJCx<*c{\+OCZPCiA /l8/iAY;0`\YO3DW!E~0E 3)+r4VP)| =^?¾M|)//1W?nu"I;si`VK <x&%[f$mBM#«j4 DFs0A]/k@TNU!MaqaG56t~0oˆ#GLuO <.Ky0aPj?8MG]Qa8Q`/F"Ŵ` LGw2}ZY\3̥sZ4nR6<9\䟅\ tM*ۑ k5# &o<>@/q¥!Սalq/f8CY kФt,v랆~|~?e(_ .:IuxUwaHOIf[[nA⒍QL/}N24ҭE,r"Mѳ~TP|M Kٸ<> /_,4R =+P?D!i,qrVV.z! qufyz}>h4$@ .Z?Omʗ84$B=zs"A%Cz=N!UmBr!Fff}1Gp )?\2LUQm~`!Qg*2"-:*q;*oVy{JcMd9 ~[ wDqN_V">Oso&eDTƍ׵E1fmA {5~K෇|hh89܆F&6  {@@2iM :G' IBj}VKv+{K+@ q0E^hqwt<|76JRJClv*ỻbw(' *G pX1+H` =@'3IzXrw'5lQ#eqν$j(:%1: 95uNu!ݠrF V_e4;<db:RY?eʰGZ^{By*}엠f|JsZ4G1tJu( (E3zrMi"ČQyB`)zwR:ݦtp6*X^[0 F1!Ņ )GS=]5!2Kk@ܡrSXn'(Z?#MLjǮ&5i8qѐ\3BC|oXڵ1*8z#UdCs '~j'!bm0^ZCH3EXH!{妓 .ue`('K1z[X8}&?nLs/aTs8!=;15t05^w  dB3[G VNf)Ifu\a|B0|ҾS;ȵ3kgY1w aâMw rO|<ZXxU!eٕw6u"sOd% %ɰ8<i:jOה UE( :6-IRVd |e~'Ćր#/(pCYcc*_$S80F^^-3$kț{Y z@~ҊZ>?[l|οmiw e\Xi;d{dZXh}jJqnCCp"rl7bL['' M`a 7~'l 8O6.oȢ&jR-j-cDDyaㄋ*]̐\`]b')z^0Am[hA[J#x%xau(*џ P&ocItT5 L9AS|Mh1 ~JÈ$fO$)IlJh\`&@,qz=-7ot)juWK]4ISw ?܉R8H*P'tj`.+: >kc=plNi4u}遠TRӊa!Rwʄ~hYR{Cx#8~ V˖8B !E,SC&Do|D k֟LZz<5Yv 2ɌBL}8ݤ{d'@~nf&}~Ee9p#6I0Bz>t+Ɣn{BؽW(?M#ZDr.pl|!O4hasL вxP^[6ьxW{= = _)\2*0~IӇn{g\=!ب{+EW)b X6 E:OWuNf+;O? Ӭyw'+yazܚBҪ}y r ( ޫ5;/+oJQ2">6IÑ#X?Nln XjW 1t/SV߁Cl䬼)lJϬ,QUhw%@Q")T36Klou*ģm{Nvgsuwf6 }Pz) C=)#7ȧ6l`:oz.[1"N=+H]YzՒ+ԨȖbe~5pr]4̤3^@Rת=Tށ_Ƞ-IH 9X<2?Tʩ@LȀCzߔN Εة?1e0ʦ"hYNY-3??wGlob#7ij1|_zKŀ>pVOd}a1PPwŸgancr;tY[J9ț,/NrfJYzsėW~0B_4m'0ה$W ^IS+]Jm,y?dM;19orQX`R,u;FbDVFKXe^!_pb-oA'fЗ&#!H5x˃˩~8!#Gcmn͟S@(*OJ`ɗ p=Vx 0PʧN!hڷ5F?@X.5PO bW4`IIW p%1ƦX ,t!ecE5Ւ&p*MHq̃5 e3c %?9!3rh0#;SYX3O}>ٕF<+-FtlOvt19ohମuo㖒Ǝ IrVƊ=}JFu<>Xwz܌QN ;ی%H^1VyO'{{&ͻi|QvOxjhG =/}п|[o͔gMɝnBH KC[ֺ'#ԕ5x&V wSk2?Lm'>(]X;PT\rc&q]4-]a|wE=qwm`#tm_2:_7/IEMBQPA>|Iø*Kۺab89Xx^;H j1@t{Z(RQ'4ciT>ւ9rne4}fuVVIl?ӹp5'u*$8)"(9)T,{sǭI4vQ{YUVu)P{Qܨ\voX{An9#hi7msHZa6@\+pBziMIؔ,\ H_ |;[ЍV:#%'8MؽP>6_Όd,eg8 &ۼ\r20ky=kX "DgBi9CA|uuD] h_ᨉz?YFc}gcx,?^#z`Ym8ȈBfO*Q BW~ r.ow2Xyf$m“1= a޹/ɥJS F|jYT+HVYIW9wnW+g|loۤ$i{L~f~-PrÀv&ghGp@Z &}I=M:L-yWDs@s}!܆3ԛ;0sgC|/c 8V*xTDҶ&52YduIbTҁkVF.W(17czCڋnq%bQzދA ؎vmC&EnҾJ_z8m+GÌ@X|M}|Uإ$B]#}+4'< I#;懦RҽPZpzkO2\xiRI$]tؔ;k7Uӳ6%5 83R/S"7CNsPn)?T%d>K{nřЄ .ǧ=Nr!jnwKm,Y.?o('7_"d6-8 pObF/ _rc~18>1okL2 {(Pĕr?"S[7`KM5$p¾*U'/ kjzÍuT61Yqal`ս*Ȍaǥ)E@}hM\z8"n|+Αۜgؒ@]jm{-x7ϔwR$Y#wlBuSpvA\pokrQzAÁ{`~F<݇M^_e֜ƛLu-k}q^hg2$l-x~BSH=}q \PRSQiv3ߘSNd4YCo]`q6\gJfL* I#6{p[!HQP_G'~ Ӡĭpbfw)38Hs4xr3 ƙiO`}"h˫2kN=eRJuȅ_{e/ջ01q.gpzG\v,,̠Q@1WvmQ= 0r΁LIDD} ǵM+I"LP=9/BE])Kmߘhz_Do hyHnliRTc ޭ;U"H$L S:VpZ%d8yc`#Hϴ|%%Yh/\j_<4[LWEBLlj-v~ a$"zge@,!sYǩ,IQ|P.vtmͦ\+J#j~ sdx%좶i2<*'ׇ&Zczʌo|st6Q2v@'|K኱ [Ɖ] 3P6H&ܱKH[3m|9"$"h , '"| ho&4<잵qu2%2R !ѐh0Q;2BhSFaMm> PTAg2?fȧi}R;^obnF@ٱCܓ7 rטo= I;M >.fsȬF~TEgoSt}o9*jsFB5/O CˉJz2 >#Nf Hll5c÷*kg5_|E*Gd)S&uN,ݡ㡣{<8@Z%O2y0B}f52ÎЊoyԣ_ iXj@!YEl:jŪuY}< K9]HUC20twBt qQhc0ѨiQyȤ?yDNsqa ߏ}ȓٺHvAF.I2f" (,y4ӫ,\ZϿW.WuXQ.om\ 7c-gwZ$PW&g|a};]E$D ڮ*%0F{[5s24%Ds`CN! P`r0]ޔJō~KlWl;18;ңNy΋Co;9C19ƌ#jʢDhYr(aQ봼māطLhI (FhȡkhL+^ q+)V7/FOD)$ #}!ll8e7fHʗ&v`e!GƼVsA5fZBFyl'էz鑛d[sO |T|WwR%7؂GDؾeN@'3%`5AbχطōB.+)]kplʜTaQ)_Ak!;;݊O;xV=!0XM݃D+cGɇO{ϰlxQ ]PҐcq~/s v7Qq)X¥T0ܱ9 w9JT4I;/ϯ#w ]D.qxWAVlW|ÄIrfJRȰFGj%<ň i[ h&ҽ4tUHv ƢZ#x[i0o:#g~ yj;i VG%IEήO3@K:zԢEsq,gl:ZCCzC#GҪu}{쥟6*ŠآƟmSG/1'5:^v|m( u=zm2Ŭ8ѥ&opx=\7 !rUR(8ՁKv[qedv#CQ4-i| -+BV L!F|@Uտ XYeTmxRxԽs;sj:d"Dɡ\$=GpQik~X3Da̅ o:9]7nm9u*ĺLlR9[>v%"ǖVC]rPc)5th~.gNjٲ-_fX\)֢Ndclha:*iA5Yf(i3i;2|# [7i3!.S |uWqhw][rRqh&f~@I(pX54CAAFYI%X >> IVׯB?<=c\GflwH)A $5,An (\!"M a27fs06c/p" :q5B3IC]mƣߢɯZMu ≯~mRA,109Iσ[sR'*IڂEv[ICfubVq9nI-7De6&.eNƓVqB-G ''5-!6#;ہ %>`4~DqF:U*ok+η>!;C=DڠݑZ`;S_Z%f2fKzM$d<\ ZЍyuIn hU0\\hÛ3'>[o8HˆUۊűf9lJӵ.=֏MoWIQL *,?qk[P%0~=|1 玫qg&柹ћ&ny^ 6B\i5Ţ51ňvB4#W8ޙI}:Š7r0dw]SdPm@m}cp"CЂxՎ6۝6a"Z}eg6^Gn5ϰkB;)̆+H捽4_59_,Á/VaEk<16qVLB̀, FXi#HĔX_ l'׭y-WO YOGϔW۹>k|Opf^pN`e!Օk.?c(A BN>"=d_x)iS+G3NL5F bA"sEa 7Za=t;~h~qT d97YA[euXٟ4LRxl֭NlqF&'h82:xc‹&ZUE6ve.?1JWHa-ZBnoCzP<7mue?&;Ρs %ȥIY˝ZĆ(PW3Ԧ8-&sʫzI5u5CALM΁y}XqSu Aظ$KlZh9sO)[OHz' ?|՞7 s9wmJҖ ,,w6$߇){oovکb:{|Jz{(\ZҞWKJ{:uT,_.!7#n`I X8@Ţ }o~9ŒIԓ6Af.ˑT4t>b1~|O8?c4v ɖ ׊^^a< 9NF2*"d]Б!g/jK@4odէ?>^t',SWSڭ`P~@/fF#ۋ4]_e$VPWMgS&B?h+,JBH.:9fG{Z.KD<*!ZH }g w4kC."6۲_|Mdy 4,#|@M_c.c ZMjajrI L%hf9*޿J@6G ҹKzn$Ȕ0d4)-s!&K.5=K*܅r&-Ԗ¥ϻ+-TAVYr4[-3wʌUL+8L۰RrkZri X>Á?+# ;saWP2}Qs3eR{o+Vb۶Y6U/)(2Dg)\ rgom|UЬܵ5V . B0< .f[6[ +qK#ƊūAO!xj'j=T;3T_^:}R^턝UL  7Oթf{=mRhCJNZQ({P /yv)95p>Fd}9qrsP$NPPʸ芋My^hNN8I i;A %Ez-ʋ(=K3NF 5w97Mi4hd [ P @<򹪄xT~t0®̗J?Ki,P+o7I5ATk Jq4k<QQ' hֹ/ ({jM0918p[.Sy %1| ah[чb%hϕO3f2 >ЊGUYp-GÖʚaIx-.uO9u{>ۼD{[w6 V7A<^$BBF4nU3ْ>;m螛p(-X)TP3m.P "$ozPʶͺ=jlAܵ0/ϮRihSmҩLmSrB(<כ+*9ay$ x)ѤjȤSpR}f7}YZr@.XGMWbUyU ERêw o3Kui1|84L_ljҡA?9BxfZd#ʵVaTXgߥr2oV+<^ ^ؓLTo(m6Ss0vSحI>>P`eBrH3]i#O`Y!!vW5 ZRe9!sn7eV I fՌ~ Ƞ4F^@]%y쓋 |=!PUtVԾ1sbY)!φm£"s=ZHD:-H1ӑ#N9aȡC>̭;y{NϨ9VIhκidHK35ޗX;S/ tb65؏u4̆x6ng 7MqRh3]e K$m߅<؍'FM.}5HnLA֖Tki3>YZ6Ϲ:&fg # f0x B dPoHWs Ŵ+ݗ, TH׍> ,mP;HwJlj)_e';pݜH1Ncy-/0BFn"UŽ=XWO+0&;[p~:\^&f%V3Ĭ cLg&HwJ0tU /Z9˩&Y`^m5ACAgR qi`hg^q7kډjMF8V;rnLP^ s5MP_&dG!t޼*߅6Ay;Qވޱ 5~{ܑr%IgX&p @XP.!/w~FhlcfknuuPX/UġkCF7#w'871m^jETX@A8m}p^EZ+*-VghnWJg:+lZWj7X)_I7WĈB 7[IR+ J~ؐY q8JZŤmՎ$u%VȈ@E5v#"Q{A'qF+=I;GBH<&ʌ)vO;e!H!Mݣ'ޕxўw'>/j5/ah@Nf锒blc( d;qD<˅ v|hZ{~SJ Tg@>3(YKѡu=+oo /kjl$va$ĪQ6!~Wvֿ9 K-uD巉~g4i`p"y0x_ѳ}7u{C:ةp[鏩0S!N83Zٴ3 []יį_N8HkB65.o,P wY.GNE]+0Lb<YP͎BpÄ&4sS,K 90=n֧ҤՒ&RS'7kƉ)<հyt4R2 H͏E(zGJĊ|37IsN_bkT͉{DO#~ Y}M;Tzю^%-CeNb?7a!`PѴU~"4H3S#W$n܏UrvGsxcQɗfsnYҨ}gܪiF+7oN# Oy[d )yۂ"[M=SH'CVN%ē69&sOd|FB5gyB(߯ZcфԷm;:s3(E|{~ժr73:N9<"fOHv7e#`騐QIpga±1Ug.UzTXwY`s6l>5X8孑3fbڼF{$CRۙk\=&ֹo 91y:1@[5KX51e4incVG>yisi ^f9I,o\*byT{>lNJwuCXF0J~vq@땭.~~;G82{uM&(`x"@ɝq:MQ`6f{JR3rf[}M`sA+$[VNqf&H; ג텦_6l$;fuoQeVfe f K9 f{,1 Xgybllš,s= mO(&/,xMoBхTN%ݰ&g\>f̣ъ-#DX-xޟ`3;JLxƉ^W"^Zq+HSQvk6adp [4$z))3 "P' Z!g7sN Z[WbiK|5WfV"RXG6=?-̸gSe}4lGD9/Ϣ*(YB,1J0ƹP@9%рAdpwT Uŕ24qsFJ$߉v~B`O ¸i`1r;BsFK}0}ԯHtܗBK(LtMQ,ơZGb#u8(8bJy,Iy.!΂#F:Gѭ+Ibz к}јC>ٮО. #uFaKXzM׃ 2Dn^RLH Г1%/Q2Qk2+sK*ϪÖtį'P Cx7u+~z7;0/7Gmߎ1a w QUЎa~)Vޜ5IAdC?e?΂Tg-ُjCq ,h(TacM$[be?JMb'H6m#R~ -nuto,di ]cb}C/A8 y%%h߽N9[LO/;-u]Rx V_} eR?a/dT4H^,SPnTQ-A5 Ά@hu&]qT"읝+xVO'zͱ [V0'5N[ ቯgeIwuub5D& QRM /=JJIخ bŗlw0ClLN+*12)ymlC۸"ԩ& :Bwbf)4SwG>p6㡢 ID 2cC<]Lm yRwt~%7D5vPZT|Be 0bz8B(*6VC2kKau}^VXmE2ZmgDԝ|ot}D,XoB-| nk\ҋ1D?<&$%V*3yqȚ?`F EiP<`kTTQz~ܖZ~RIB&߈;S_K[TXII}Nd"8XDtwai+(ϳ\rzp)Y+ǦQ<ʯ`UaOeȣ_}0$ Z[xb>_*,ӾƏ u1 զjVDDn*=y󃎴2vr!|SAA^6;Ia ,*R/;&koPm(˻7.v,ɐ%j= mY- abCVa "‡Ha?S أR4A5HR0GH0tx1C([˾#^r@Cl[K#41 YI0`sx>))XZbN]/MqN> 'F8CQI&bk+ꆒ=8Ќ3;6Mpc+ZK:~|k1F|³3-Ң8qwH_H; vQp&PmU~K]D r3 vQ2d D{gf,,cS&"{uh/a3;aD㎊Პ`/s>L()6jKB95סo@\u?wT9Dٜ,ێZ_ȿ0Z|Q<6AB9y$ehqw!٣WX \6BfO)+sHmWW.""e(⪅溜qb/0ѧo:m5s~1tHDL9k} Z:9X\ sޚWp|q_g G ? ( e wd&A9.xQEB Θ䜟gv~,$?vYiJ 75/S 3>QBy9";7FSxF3^ɲp 7*Q:ÏIoa- ]|20tUv+5X*j_G5:ᘊ%>U/utCf Z{%üPJVSzmO1ydg~E>7No2 o3[HO\bJhks^-A[ q;EĬ}w«_c@[Ќk2KVh4z0=vjPNK¼늉d e$ٜ{`';/3b2ڃlqҡȃ ǡocE[%:>˟(N=LEϵA+:!7#Eåi0FƖHt-t0otI:):x+kT7=a%̌NY9-&rX'#CZFPU2AzGH16CCl ]*<>)b?6x%ùAei5⣧x+z&)o6۾dzq~d:VVKhyE@ +#9ľpRm/UJUC+{(]:ڭ2]|3 w9T|>t &ؘ\K,KG_}zhdKKPa6izSUh- (t6ILel0`ّM4Td#u*g #y1z&y`qh䩬pZPI`ŊH;+Ob&NrbCERpIaF8`?5\3i$ז%1錨Jlpq{sv?}_Y yF5kRC & (ZqJ8:#L\ jM&4嗙"q> dGk['y)rj"@j^!t}3}ٌf:-^ ~N}᡾ MhՆu?@R b<^e`GWt6i?Z3"o217I6as]vWyȾ|7wTq4#AN)S+ 4,w2f2p,ҴC: u<[_oTG굹D쪔P-O%r\ % 9~gQYjF>J;Sm;hⲖ)O~d WvJXb96'ZIYsE[x;S}^@UC)cb4[!μ,uYo`yz?5Sf2̵2 G讍 XJ3S5}N![.HAݨ4ԯ!׶6LY"h],@RsA1 W<|[\ /6ؽ m%vCB ^uOQŲMVasn]UT**qX"e/wʒoebpDk/WY)H0@LnӘ7+ 棟s$*#~Cw%#1YVP>h"*MbOS:zwv ==)"NI + *~x#l:ZA_2CJԳ6!>B CJ_SՉ‰},r"'*[.7HQ Rcs*o;{B~$< 3Ū+kxwHկjF3}< ~vb+PʕWsz$ih,NJzOHסk.Ob#"!\@.Se !C_PٰB#!0V.L|y`wPx8F )pSAr=by0\WOGMC+4W2’zA}8|(Su;Ѥ02Ƒ:MN4w'n,hOrB,jWp'!"%h? >!qUSM >xPm&s< TmŽU[4#[T. o%c!AJ|o;@Zjٴa=(G͉nU*=θf9t(nYx +aOJY$oTF?5z_`4S8oG5@D Wc43Q ܢ|vJX,jGwW}Q: ڇ v)W&"ż~1oVNs<Z3 W˨ȗ[*$'v eB1ZK/}ò vaҍH",@ȗl&xAʗzK^F Kì4oq:%kݖ¯P;OPs7z41SE9FNV>Щpn%ce<6i#7G~o)R~oTZqyL5SC)Ԓ f?\A%zL땫ܽ #exZyxyNhp(D<~w@}*g&~li*,!!LZK >S{Ipc l]7u?k[#3OVC}ҨB-S:{\A[AOP*8_sQT^7Ȑۚ}t!"ǺX䧾9 '駟^q+2\,<VާAޮDŢ<=Qi@UQ=vH˓x.WaaxeM2Mo -xR7p:i䡪"SE[͡Vcp ӥ+݃va^LUhVy =7zPZŅ\lNjOChv!.:hs&Gݿd8T c:.Ќe9}m5C?#C(H$_p|2nJp).!X̙j%yRZ,ݞD:߆hfR)e|"oX`dp !{i.j@%7Ͱ=FIɘJTc8=IMy[R9mҺ0j-fՊǐ KPU\uYe(1)C)?UZLg,串I-eeM%̉bAZjp$ =iadmn6@ZωzAž3_wzN MB;1Ɵ}VÅ!S/ٛ*!| ³; ywpޚTz>]$5G(>9as ΑTw[bAxbAP"-9G184zPxzAdJQ!f]nvXOm(~<@)aU}6YOdO!j5v*)t$.BȿiFh}*֊3Him+5' *nj{Gg9SA?ic<-aۉ';>X)8N琍<,;гu-x%'cY7୾ /м%K5he#3*\~Y4iMײ 6biAYv/(2x2ڸGwՆ\4ʻ5tK ")/7FY%UOiZ/0n+<>4 Y Os/^7=$B'x'8SU}Ǎ;zŜpY_aZ"Y(~+ːacR7h꤬7R$h5@CQcݻ [K%,WRAwU(uyRԲrpI[sT8<e)s6ع60X)!{ԒIݗ*I?gYZ7zXZִF! V/]ŗXi%匋!cw-=Kprvȧ Z<6[wQU9:Ft:i|ĽnD΃Otl ,0BIFsǎMY^y4ݘJsay(`+DmaZVcƿB_%;*yҎwAx<+()86kɰpGs݈ă^ѡ^{vo>3}T? T! 6IE (s WY|+T[kRn8! r ^opv=Av{-P,fBn_鑡2a>?^< 0~7&u\8e;!u"GA%WƂ%Y<]/OѰ0|")DLSDH<44 YGUޠדS28%%}!.jCc4?Z4p,V?ݶzynZ*N c\ BR{< { $ClmbL#{lT$'=3uOĉ sA?M<4jfrϟ&蘗cJ0 NWA*3艹E> Pp xa⩃2'!:qVzI3.yj-^IN;*6x{Jп7LX@Yai<" @S,a/@B(C`kf9VA]C wkʗTR"@%ʜeg#PCV~ϴFv;zTiwt<֌3S=+6DT]X'?>^!A8 :Z1BD8q\G 1dZ/Ȭ xcfZB"wc SmgvU8+V 9@1I k%rIkjYswZ}-Q(`]TzUTJhC[؍0~$OP$rw&.$uLiebm@pM,i\3Կ҉~)D~'aߥ |?L@_`q+M:~$ñ\Ak&dJn Bl:k)Ah״?u+iEjӑ ka5eQ]MG7A [>-B;=CZKg+Bǧ}c(SĒ|uT< QAag6TCaQ]o0ٚ\Ela{ }&xO[T'e={? LjϢ 1)[V"v/qVH_hŃP.¨J>loLlo*}r(l+ֽ5++/C4"߇D2Ti)׵ f=(xONj U;{ 1!7cT7+HV((GĎzd(,`XT/wx͓FMx`Inn>Y(@q)Ul8 ١C nGZ<ۯhT_耻q}hnUJi^\Yd1g-Dl@DRa@vPW1#GZ2Y2Ptr'Zzcýn)^?K pMצac#xiۡWK=ՒF˝Ӏ({p\'" 4F()e$=ƙU>."iP0)w,np4V$Qp$H|Ħ& #X8$\@J :YI@ $9[;:~P=Cg+?"S AF!AjEsȬgf 8𑪖;VȉS="]Jl$t\e!T ̵LZ Cؚ $hL; JI< IS*Uun[q -}ڒƴpNvȾE#uV-X)h_z+q3 2mrGP}ŮZN*ϩ*KbI mΌԪHAoC:K'c_;S M#\o;Q/J&b Fhi_#3uMbhq%d[ێRv ,zPoqiЛ}ZrLiFcs[sG>̊ +j ?31t#9Ίgw}>zgJm,|9(ujbAMN7rXuB*ru[YBeK1J]iPC0TaWL3&aHMZsg"@`8NoLklm;p)N|lL`OYl4; }6۹ A%Bjk6#X ZW}SZEL͕gyN8ȜHOJp8$(trBW:lhR;ȳQ|jR4Fۧ#K>4LB~zL#B?DؠBm8xnw,@~$_;){ U*ju( 6nqTE Ҋ&Zv'"x&LAi>]63]et|1۞_)A) 6g9";)s9(%U1꟒`J|%?/}j #!mRWy ?ū ʚM%' D\*9/]񲻁©ȋ~b!cN$#4U.8x jem$F\/?P浜Zo=Jtg_6w8؀Gξ;Gg >e|o~ۘCL }Q!蟨*<L4a-TMxz[7^&[VƳfG,X a9dNF:+7YMn)GP8(}̷zr.X̃<'H\a g{EDtPbT;axz*$P_ࡾ{fzHAdԙ{?~s6:3c+q:4Zw6b5U=z:]XG=4^׾W=^F,0!Fu e)wѯ~Max(r)ܓw=KuWc[3x|KK{ܛJG-K,\mLWM[~ VJ><ς:uFR <_L2 %KF:Lj{LaDFOm>l0DCV 3@0${s2¥O*QX<@ ?DĢ7SL%*#} 4o vKE~9'>PZI&B>WS2vPQD+Qij$B"k iPq>bm8Lo +,i^P m*<O&]T SՑܬԪeYPqhӉk.ݯFW C\d`;F$6aqs4 TpM)P&dkE[&Y>+x훡 ̯ldP)eA}FYش|- D[xBXZqr.OS/;M2.yQO7G0"[sJzWU2/.pEUȹ*M\+><+1SҠtx{V IoMvRyM~ mYs+Lr!T;$jQ&T61Oi;wwM<"uϻ(ҽXsٞSF0]0dxXq^nD&Z$o}n%v[pJ%ocK1T_`̶>D] ڈyз\XfD"!&̹ҿ3$9 k2<-ވuP0^#y^u[Q'sD7:pf:q%s[!"O,o> WO4PDX7t)~`DsEil݌ "B8ַl~>9O?6[wEŎ`)ڛn2H(p7`lK4j3!," UKmrl LS.{oZIpLg.`Nј*C;UND\c*JBMݘ$v.^zgopU͐4;i2LkP] VX]Z+ <7`OG_T/}$?-Fi.uS͖6H$Q27t4mٙ6̲T둁 {2CQ&}Iە}R Zhwkl;=dX+fh3Au\`bI3lG}|,2 j{"AivoNJUqe]:o%KT N 5TАxv~M Tq h9}ѳ~jJ#PA^-d1}0׈#)%S(W(-{m(Qqb.jI*u4Lnv- s9q=/2DPqf !gx,G7\x>"l9)rY4/Q8FRA Z*}cIiF-j%{D8?; \S$uwFg$*7VdHG٪;"JBhvwmAh#"T׷ͨxi{+_Q4H]xZB;GVnڭH"hxq.E9ۭ̅0yYC UxIr"j%O.&bFZJ4-sbhx[O/'=T`.U,#,`Lj.ZȑԻ/櫬Fw+e{$. ]x?]/ ?|!i/Y&Q;Qo;rh%_t%O-!DXM _^`vº<#+TA&ԕp9{uH즡z8Co&$A$|ɞ+"[PZ?}DƘ KQ'1iOѓq_eMjJ4fCKk@p=4xb NJ[wmT'YmkhXB=>xƶ$zjJ! MBv[QUe)Kh({baaG?Vjɽ_b$1 >A<Χd '^˙tDmO%2 pƀK6ҬV2Qop͋:>T|Xژ+0 h0esWw#햴q9߸^2 r4g]Uؾ ŎDcFbH4ډ [S5KaSdXtoO ?;?cVp6o 8C-5Ө R&H`* mFz !r9XK4ܿyB)Ӏ Wٚcu) o̠c:\y8>fNKے닸\cғJ&(a,AJfR>Uqwvݻw.$$tdSv̗ԉS0 ދ }hzj1bI Q࠻IB OG:U;ZԌ2۟U ,,S/)ەAB9M~ewKzݧ^v,͊F 9e{cSk_o3lX{Uҿ( Y w,61ҹmAnu0||#o[s>-?5bHٛ+TFH3t @;>¡|ϖ6Jz>[+ש ׀Y)]8׺mKH AzϡgxO0&Y%@x|u1jͱ̕ffcqjgԌsM!04IS޺fQg7f8KPgIG7AeJlbaS68SȮАI+躺U-,sq2=-clz5 y.jQYO$әS#EIcs n>> d^(mV] :l:H.`\d_u_!e3 D1 TwjRX:/;Zo_u&?iHD) 'T4)nW` xf,*\=|%ҭD34k=졞[ap }ETg l6NA/w!J|D3 s/·l0E_X kB".mVdK@rT[&H-s٦$wY*(1׈4TC,jڄ~J`H!麏*7\0({w0D"OdZw'X^ä1.͸J$ۧDkp#;bCABx5Qӓ&i+cڌ!4>l`n[s;v#|HJ>:m-S04/)jJ)@j07W,TG!}[0L}p -rͅ^il~K:c, '(df^z3j?zܾ nS`Ut#lST7"Xr3Jy'aW]J3̪O([ noPD:]Rˬ5HԷRKGkOkBޖXE<,o]H!lg}F TdWzOG㘰3MȃhGZ|>6lsBxW.0^6M@Yk :܈#5:fkvbyd<(#1C,uM)%f61P̊@*aδ4oOc6 g[Xz0Fe drxEߠ(,^kBw˲l|m$)HyRDV@& ] ؏^qQӿ&i[t;g>p)55u6_+AGRku$ښ$Ґx|i4 \'_;E,c3L"VW7xHhZtQa <4TjTcaxw{:m;Q6.kLʡPVu6FZY5?HƟz dHc{G 2J Ի4"߯{̵6zN2T[z@BueWIZd09{Sc{8 F>V'!'PL+ IJ> y?FxA3WeOrzH?Sϋ(=>>,b+GAqSD WB9Ěѯ%+h_A) RG@yGf9<}isLJKa^mMGd╬*G$p-IMP_3:Ku#|ll.~y;[#ƾ$:E a؅;ZiAW&!Nd'h#'oݮIg^+X-1M`}2Mk3rWk( 🵋Վ?^c~9?2֠ZU ^p̢;7"CxWG2n$Ϫ('KSKrR]"[\\oN_ڢ㖉B1姃lfn75ݺF}, Ӑw.ː,0DE*$#rxaE{_}Fu7D/=e48 ^ kny`[]e[܂$A4ĉ #ěm`YAjI@Ӻ)^VrK{̽#ŜWi{kX-M6 OlU*dIXCsN~8i*'%8 =hV5+k:swJ%1̂ hLy=mA}kw>:x`L,&e"hwò\W%N6 B5,`9o\J<w=LSlze Ee \/fhKM  X쟎D/\UV ]%z9,il>)@YT!!x.z6-Ĕ:S6[?V-hhIBF".ṟo</j VlU_A Lm'Uh;g!=Z#n4CW*x V%v^XZw`D Rz6M2ߘ=TkD"}U\6vdNKV\t0w-wqgcu9 ɝq`[7銕*Ew}Žkl<; Ɵ.x-] tՇC7>|6)/XȭښAXviYku}Hk %09E>W}}}FxbUEk3NbkY,.bPyDLKh*g~"LBMehخ+?'D#1u9\ ?Bw(qW?HyϙF>H=aw2tO_@8F6'W esRTcLOG,譠E4fn̉ԿJC9J̮vݕ)wa5=0[wje&>&"}V.rF]y5ys-ԉSwJnlMhC¹mrL׍O  AsEBEϋ֎bŜac:e i:c<;iKL7&_t/ b!a~^7*~sС^Osٷem %Ѧ`4{RZ,#$KˉYE$O[l6#oQc+f?ƀ+\+1)޶QqKhCf2kfa |KWO*@_aWy%/[,6?,ޜ=ȸY{|k [ԅ^Eѯ]LDMƌrFÅi|/V-̕ud^זcĵgYZ138608abf9943e1a6e1765caebec65775a98bd1b 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 35ec4e2de1f71465859c6d662739cf54a8befe0d 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37c f310cff088d0fd2457c434114a12cfb40609df4380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c9225a6f0485df9e87e8087b3c05c70114db58042