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=446.120cpu=1939.144gc=91.332factor=4.357zXZִF! W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpk!hJgCapcYmVE-|F6_h^$,{:o8鹤RL MS1&"- yT3ImNiSN.IMAJJ,T҆̉h R/!a>/I7'G]Sl9N7i;1Q Q hRV jJ{57{ ҟz 2\uF㥇T SKltr #߫[$:R}yCcQI[$onj8ƍ=+ % HOL-Analysis  Ix|*:|k 0xٮagoin5Nos776&0 ;A .f8'~e3+bj^aBz'c|,q6[1o}9ۏ%p~8xqH!3hV-Jcdj|4ӌi7wXP-H &padX m ɒ)J%Lݛ4~aiNp7lY^4 $z~9Nf2GvswH厱ZԸZ A `:a t1:P' ۢWcPUyu&rڞްXٗ9Xj͝6!o*&vBoT(KU37eBVQCOPÕWcstl~n@hN;ahZ^'Q:ՇGF㷟Lc+7z X8sٞɘ4.=#l}_Mn1oT=׻"e0+~xC'O+]z%6**ē~lE19ڥ@1Ѹ|}\Y=ߝuPM}kzj2Gp)w>PVKI Z&)0:8R; .k_zm2b6),pzQBgu} ,1I PU,L.V4֧E V d7=Z`w: oCՙ~U]N2hKq $deKA4RG @wxW^$z2<,-ۊ!k6FqGPLjyhc |D*= PHa8GF/5A)[ 哦|jj6v1FԽ-&O$;hyӍÅw ?D鮧&rc,L5Pwuc9rIoU05F!#BMzS%h+fkg&mU--ϚA wFR;FŖn&ETĶ1m.{'eMCP+}A` }P,!CKKݺNKjC/Lip]_Ւ޳kP&誘JP.Ü1X%"Z*9=@GȖX[Wq[r?} xA0ƞ-t.=ԒO >8@V$Чĺ$A!䇢A(!! )@Cpk Sd̪֝ 1se`fk MG<'U~Yĭa}'96B$AMBHnq(6֚h3sXEW>G!hQv UhByL4qz9zTԒ(E Xļx~s 4Csy@c.M jI>̘7>#`y JH6a+N?P߃j?; 4ql,V05X% dLRLAZW-4)z*v`$P;2ڐb]4) p^@2ˑqsN:wilH4єwi>pj>h}5դ-uDin^K$\Y P SAB@ {lRsjT֋ă@ $U}! cU 1 g PoiC W]lBrT?'e/L)G_P25e7Q&-Y哶k+%.tqsd"Å.zٱϼ)S/tN^rZ]tC*B !&qwm1Ow-iRbA68+;<.Q˓#zo:rG fnA^x Bl瞻XXf)ޱ HcdY0.ИMX h (%rJ $!`yn2!hKfv 2g eWbREdn(%'7M"B/ӡC訞LQʪ"D|zo"nbHUMUm*C33'0\MK(S_drݺ˫RS C .=jK$cg-*LW:{Q (pKYxBaOuk>;<&! 2%^,P2P fN98mnDP";rZOmJ3~C!UKMJ 1E^(=QÈߓE#l6MJ(^洪K$IYI N S~':5w$\GMx Rq99>iv:&ygT6oevx5[ir[vf+K v-As |G 5X,Dzu󋱯eЍzלbU?qbE;?ۀNȟPsu<[?~Q6E2]+یӣP(7١NKI8d֦0n_{^q8ُlZ[e7`aA+ۺ$F"~7P+u2J@PKX?$y4鵚gϓjbOW#дN='Qnf4GJ0M`ŧgLЬpx}H _,[`< .%2~Bx <VIy\iwOiKGuկe>4:= (>.&Ҙ|k6U@sIuf\#|4qYv?;%e;C&N`Hk&6c!m1t-Ώr(mЋw7!ͷ6@ ցG~.Q૦x|NBnbɾOA#ܳDg]Mgbޤ=WEnABSs;qc_WC7[,;!f7;]esA䚏qjR10W]Hh j ׸aPH )[ch'E:m^k'. 24jȬMf3Yik ]dK @f"UAI cJp&sbkc0Nqr{Z}˅,ۘ$oje-I D45-ֈ xХ{fQ+T_0$3`n@]YύLDr%ZS eIB&P15*:Yۚc-҅"dB&?G#c:NX@.}ܟwD nFaཙ[ + "(iq .g{drZsEnW\hk= D*WuVr]#(O9q޷]bLދ+U@}*H{햷W`n /Í=?9QwjY|ncƾj*m-`]yE1{czv13&!E]neEG DG:lU}ú aP4i0$*%+w5 !>_9%1^()uzjJ3Or K|4;}Y W2S)7OepRbU Ķ2U{#$Bv 2GS Rh''zl*I]hX=.`q^m5ʺX9\jR)h('T7Wl6BHh7[1 Z٬]>K|<@&;`Nk#oRp? : mBa;ybL&L ;PLҌ=v<)-K\j:a5ʅjL '3$S7}-DrISF >Y{rkInnw9,nr!ghN,<í8q`B:clo5f$(ħ,Et!*QQpK{G#iSc6 /yfW %NofV3]'p̖MFp@C\=q>۷<ș.%g61oVa7;I|{5v9O;LM+Ge)r">Q}>iܘd> z/|qH.\X-?M=ẏqx^yJȖX*!odXmtRT,lTd6=Xnn^1f4WKW+|z2f~R=E/-GFGX(VTIpy/7Ymԋ͖C>SNҕ {*!9ePCdY5:($4Q>>^n|F5e@6ͻQ`WJ;xZGjgvA,U X1c̛d&=0Y<'oBr/ "sW d t]"Jtɋ t'+'y ͅmɉa?sPeYBs?S)tTό@hyJ|C*:E/u?RÖQ9|llkiĚ%!j. ]ڜN!N3PBt:~ҙS!vAY`~87XĢb qs$2Sx%r}T)=fWI9t?)&E?8@ĔKW`6^kѼ1eP~yA<]ŎԮ@zNjE[cdGxC 5Q9F vI5Ri׃ONkߙڶJaWC4U+#tA⺜&lQ4lO͙YHSǵ$D*J<ǭd(:%U4D<\x _*vi,dJ:271%\ezN~w"RPj!`%I#mL2r۩n[k l}2&-P:}^Kvt̯22))ALvC!E``ɾ OC3x'4O:Yj8K!O&,gRk80MʩaInu0/:9ƚ/':LՀ. ~aaU-_NʨॖN~Ͽ3~~±_cNOQq5'U-թ dXxՙ2P(a`Q* 9& ZʯMu㛳f1r%GEʜ)>&RwK[-ߝRHY=E3#g6}84IN[:YmL"!r2/{$\*MvFe[E11hI/01C5jc4hto0>D6ыArfWΪ)BC/iᠫv8& m8 kv &;@u6=>ai  D7,ZY`3w f,o"TGM`ߪo`QSC;4BU1?ŔIeu?z31"+.I>6VKT/\ W{X8 IU `5 _Ь\1Iu̅@ܸlGR6H罌:8-bs%],?vO@ l "F\JV.V>D˶ 5'F~9QDLj_1U fHG^7X1,C/r-u*.̩(!qJ<̜3IJp!VhRP4cN2S~wK#8*|r)Բy.1}3GQǕ kDj׆,+3*S=N&O-AwD*/ݬ2SX{ۧ#AhޅíFbqovC!}I;bp6|I'"e-$(&utbGU}acZ|OfD]-BҠ\1eE~xr$HE"~n#w'17݅ ?/ %jwZ"DwJW'!sa*@5#$=ȷSMu/5Ћپ}$M<'h$*TApF1GKHYDL©9 IAmbt$Y@Î(QLhF]cB"vע:ZUAwC- ZCpkFs`~q<$ˆ[_OVgۭ",BadU[ P䢷~كV^wўIgIyE͕mA&O}*D06YO \`8$2|oeY?fs@S8w~Nhf3*Uf~;@g )ZHx̉cW㏀RՎBL LX=Jv*xQ}qNtkXvαkV P%fk{J][Ng:kn\-wPo2h^Q8RbiBi _Z;wFBH2X́i>HD'nI`^yʞP>Osf@`BWbE2/ÑDU5/pakҡgu-6D1BZ9柭z0>!am`ҎЊ,iC0H:aW _TA[INcXm+fecCFl T? t'J8$]j( jVv `Y g2E:WHR2F%.Gj1"/y#8|=MȒ 46^UFA_NtN2XQvϜеO53 T$; Ч9}Y'cr.6aEl&Ns,'wH~~Б%^j\B5.T,pdvfiK$y/2"R+AWMT!7(l(y ,rxJ( 8qz)<2v`F&4' Ld): U=ED,yĉ84 LPYhxGklv:Av14zzڒIςju}Q(W/2!8~,#qi,[o@Y> 'X=Xѥ.E†\2Խw&9 lOlFMG#l(xjN9 M>t`jγuib"7R @G7 8Ѭy6bdrcltRU5X:/OxoGр}y /EbPpre,[OW1'b’Q-3XNTO qg|V#CG.S9E R ><4#%vn͘$'/`*$W~┽#d3S2gJ'yrJĢVċ>h X4wLF˅4 iSh{٣ʍ)WÅaTP~Q!=C'xE^Yeȕ9z_Y%qILX k(HFhŁ1"%Y0f]m 8_+=^NOu{dnɹ3Svk3gw|C&z*>%`߫utLy4\?c]4?n am4fib=uV(R/lT!d K*Y&"}m5.6-6jU=N)*y.2V25:^ /9)2!,B#<Q*uIK> w8T 'S[EWws_%ZH] V:%: 's}8jhSeT#Aa[) %$rHCtF̭,)3#3tax@a |6PgT}~`9'^ckc mͦ7Ué\W}}Uк1:g 06V :fk}96m|ZF@O@wLt} SmRC9d%H6E}?=>dpWFON ~6B%o!'JOw R"r8g'd) )tW.%i3 Φ%5)W)=VkUo3ezvN|Zo dQRGvON*.D;ܺ_^*}u6id.W^#zW 2pDtcٶGFSMj֤&):2#^Uȕ,Y4PaQXu7VL8ņtT3=j̢7j (auSe}X;(YZlyi胏| RP\ҏzv%(ICvvײk (69Q|(濽55c>]r\`4FXl﩯oB%b7g[-pX"iC MFb'+^4jEP q\]/8g,ՏZ0k5[(F&*c;\ķqDq[WlhtWڭh*Ɠ^9`]uP/R:/ rS{#$ڈS^˰u@:i:lW{,(yjnKI~ 5DFU7'Էz71ްnl36:˻mw; 3cCps31y66W/3+]gۧe#7Q\䛏ACS p7"eJ Y͗.rr2!EҀzzQp+  UVCﶷPN1(ju73ƹQ{u1o h,{i"kFxv fr}6M]t}$,yAfXi}7|8g`.W*W] tJLyhgf3%aW#f7.WY%DՏݶ6\4v~k 4ֱ;%<+KiUZUgTYr+)/® RI_҃L8A*'=1f`|#:JU 5C=nI) iðrcL-P5]> L|~?}x'h[*?* =@uUEl+@$nEOL!W bB; ^'e`%Ϧ3ׂߟ KbPM^nDmb;~ Y1wBR]gO+2S u:o!~~@tȈ|dH789oŻd{#d$RUR(B501ݷ'{Q!CwH1l^?O]Id3-aOAy"zS̓+)CU0E E/ Z!7]%ZOXUu}cU A4tNe &N'BxLD . '崙Lա+ܬS X~Ims9-4X(Q\7+aJ8RKO1z i~^ƒg}21t-(&j)? Ϧl胈hΜSQJJ'1VJ_48a΀N7+89YU,І`\:z:͌SW[Ҹo9I'"Jru>>攎A8J9GidXlp%MHMcG4%N|ce('5R30Fv 3WQIPSy#pYa̢EjkhS5\$ #u+D't2owJ@wWIG;YTahr(6(Hn3qgqiQgXjxF\oEDm%^{aLLDg Jf@,n=#8[ж4"inpe Rb/.`p;E/B0e! m) Jqo6X%O|i멚B[g]B-8 EM1R?sZB}C}Lgh@<^6%31ր%-I&}7mBfZ6!MB7#֦m g~`YP/bW|@wI%.3,BD$PH2 ّV̹`"=ݴM }Xy3SIH\J7eB*4_^qD处Qޏ9`^o4Zko0=y}}OFhVyn;ll;gB?y5hp$LyI9%x?|`֐/!s^xǀNc!`"o4)V +b-6R̤IP>8Cc>BZpN ;yڎ(2xZ{05qiFE THtje$GPhQIx#AWjJ"[Ab hj\7i #!r9ss:G!phlVqu t 7 ±~Х[woF4A2ȒQQTtbh<7XεtIF]EZz()BjC-֑A\tf*Y2 VM33[¦iӡH___ { NA=C/!.!B.1:օhs+_kNhpbcd^ɜ-]HsmhnW>._bvc%9V\Iۣ6-Y΅vr2nWqG䬈1tU:>(cG?Cu[1J |& |$t.TqŌ'Ev t=E'|k53맶jHx |]2*,+ZG JGl2fXg(z 8 ~:R29 l2}ȋsv dE?%zGdh]i #,ǩ(z-nE}}P)icUhEAY^>,b6G7`@WGF雺p_nًÑݬP$`J[8ݬz3?di0Ze qZ ?$VY6|fuʪK[S⥍UB  i)C >w~)5]~{vO \ Χ>㟓`b'ڦqV&ҋJ8RكgȠea NTX5Gd."w9f2&JE!wWu^;CMbPX,8ɐQo\.s8W2:uD4`4\h>{ErXrr Wݗ%My@^X/oDAS y'?UJgB!0. b1ZKڗ<1I K׎4Wh l=,!C;%I/QƅUN-zn>^fmμ+|zlmbF#LV22C;3h>֩$ỵ}tH^:d 8r_;q0EO'> s˔pf,:j@PJފW6vf5Fx [/7ϺGqMDy ]rcRTEO5Yx=sF"Zļ0wW9g!C|v7;4FS, Dq!Zw/wfbHꑉ9'`Mp\ 9GW/C'ӓEAin7-L.vkė>K@eEڳ .psq*V΄e:Ou!4(1ЭXˉl6fB!j,U0g4_c0tAEF_Lqk,=bNJBY3nտA:{LHzkĆRO%aw)xCbR@k(Ϗ}#̢9A-U|>! س.+P9їD_^yDEЎW7h]?"uV Bį{}ިKG]RƁcPx/ )W&EޭnQP"|6|lZUY*݇B|L4k}TK>$<>0jnXZ>G=['P̕: }?Y !W f+8x>})MZG#٠Cv3-*-+YD mb\*JKYk?x"QËџHZL,?.{j=2雉Cx+<^x*#BxOy)lieH4eyԜq¨y2C*QxkfԪa4<IT&@DzpsS*C;;<2s#4&c#}BHzI}'77}Ws Tь0@u{VCvp*x?rE"u 咔!ZJ.¿fE Z3`r.i՞3Ѽ촤';R`N p 2I\bf{(jD ֿ5gml?l^;v`9BI5D G٤^ 76(C{/& _ّEp c|% _hqdrL_k/lD`ry19h4d`yޡ LĚ :>5JtY}b gghggeOG|8 GUtл+ `!TD m 0^W4.K!=AvE ED'xG:/.fFp`B+JTV`],6B3syBYö:wI)]֮r`':F)jXRQ\2tKv;`1q^ @+҆aBݣmmfh N47ܝKN ~y%sֹoY髚ȱ(o;C {:~0(`2 'Bu$$qd͍+vgª@zI-G%!%E7qJ"CCdTd1B=,fJ_+bvvd֪J:C0N7\'as`dB9B7{{L8R >/uaEdSkFѫ({Bj='&'~Мz&C OdՋOW$G~ci St/rަ,xF{uj7.^сlJ[1jgJt &5gZ< ]"eePeV{9&5Τ;Mk sm`V*#c+]hFʂIxwOA'8eʼ<MzWݠT*2%Uk VzyR/\cOdC?NS6˦ C3Aw.o,㑼KThFds/[f3'CPj| J br=QX`\$pS7Oפ"*718pY=*3#_:;ѥ1xԬ3DD~6{5;|j*'nEZ/%|Ox' ĝz{߉t  fq=xnDc76lӯ{d6TIMg&'iWTL,zKDpe>5M;opG7w fږJa \ L̟.ډvfsp)&]E6ZVEz !5y)VX~q(-oWč@^k-Af5}(0/E3MZ5[As7?zbZNͩpgܾ1h?h؜jAl N^t1uLC]:ǖx7 q;m5*.[o{T%YSB}E,3+jbno9#A`6={,}Y> >`)3SyϩTû(穐Mov̎xZO1ruHnr6{Y勼28̍/7"ZZ+($^؇Zʤ .c_p>9G QVs]u/U %SJ TdVb+n$r 3nx5_Ѩ?(hY#vus㰸{қyFSi+mIk3fThĄ(ki 94 y a TU_:T@Mp0I~Aaن"(QLx6^x]*&qvOPdYy;47LB!Z|qa=@\TjhZ{Lα):j6a$]!XZٴtyŽ:9p&9fN)I߱aF{1 J4Hd|x:*t&S2S;\!;=?>Kf4 #J*f OX;R0MRw6qW$8jP@yR{@~4*jxPS'2-b̅Bַ57 wbʺ?sdr-[>lM#nn0>i k V5BFU'FcwB&\:A['MC.{GQ GY`'\MH3=LbŕieI*l35Yv5&9*%u4AcVzHOc_NsSrUR5Ǵ9M_Gb8)% tH^y] 1(ٻNQ I!]9Iv T]jORJK,jmyknnqh~HlcZ<JiNW$=%K@f,X`:+3pUra as]RO9ԏCffA`j*l,Bt҅.R(aލ(K|i4svp2li芐k SaW/+_%]E2ǟiX"PZ%B&k! x/΄4/rј ZRC5?u9<Ag:̒ jf(Z|띣o"}n@)vRϧG[>f)s;Er1lډ1sB.҆̔"wǁ: [BO[So:pfVs4%LN4L0詟d XTpDp"pNm%ߩr+ݒ5OI)ߧvMTܿ"Kπ9;t~Qs C2\eq36HGPDb+𧓳Yzbm\wijġ]r@'}!ӂuP_DgYZ7zXZִF! ]ŗXi%Ed}F3 'ԁ`EK~;(;Ô._wm|dɹFHIp3Bj$mi e{$M))Du"S;Նծku0_ͳos1Q#KVR^SG P8do Cxg7/Kr)uYk#y3$ҀSȴK֑-Fck좇htL h_T7V?Wzv7^T8oHOTuaFZ3 40yҗe/" `^CB&P#E^'kv!W.ҀGBCw݋0CdE"CM wM"=\Q-߂]|K= z.p- %?Ams\xd~Ɖ5us"lH>Jǁ AE<.n߯ڦs60=}fya5IWt$֣]WT۩Mx/0C*c:eo(Ul$ VYgYc`8PY^i%%li2%COۿ(hKga.w4o\AزkͭkuZdols2s_a&5qﵢ_ձ /ːD^я'oF f#^8C?|@3;r67Ytwhl CΫ 3sy`Dzlyr' $\tͳf3=9>@aBt9GsXʸOvdaK,%B߂eAPf)$0,BIdg,̂OT! "'`_:u:N3 ,= O-mf ̦C@I*GTAZHVQDriY='Yh( w q@T9zt oۛU^u ᣯ4*1@xGAeb^/%jinPw>Ja5Ფ͸ai&ZҒ]3OLaHz M 2*6\V1*2xݚit=hzrs1%JXE ^&&dD=6ұm>gO΍*%<-׷+EcI8 ;H'i<ݟ}7m[˓<%P󺊝- JՅٴt_sˏԝq=:n:t#͡?_yP1(6\}:eol{j<`lY^L|L3SC|I?xYTqEG!*Aw!69[i4 +1ȬO!`[[ybsSݑEZzxC0<>%@~7?5ÝѦQ܇22NnY1G*VJwf.ooHp_ourR|GR spr JhNx/$YQ?`?L#Z( ejm@%C:ȓLV[iCur!yt>,P#o t[N X33duzYP'DP[֋ Y*H,;p7@L7"r$66}ZhvaZjWir0v4>H0 TjjIkPw:{+qͨHalӡʓ7ʔDQT@c7i}SnLPAvq7c <놔C4FןFZ1ۄ*#} gnV8+DϘb_]G+֎L vm]<_~,/khl_L YBmWn"}! \ RFnMEL|ء.l} N\읣ߍ;הS'J^@\%TpcU?J7c/=5x%ͺ*sV)'3$͈ 8o改'}cMҧ.SƓ0"W=mq5Gr!6CM(00.%p^$zc@lXFג/_AjL6Λc Z|I}o_A+KӱOy*yYޡ I Q2#jv~/U#潈ȓ Ԉܒ^` ?1jH=j`}( ug1[OGW|75@w_]r8>7PPdVq2]^ZKt;i ni9az}^ƫ/hKp^kFI)|陒Q%螼3$R09qKI*EW/ PU7tn#hþ<"}3훩GsR/a^cjED&XD>ڡ3p;^N]oo|zgj̨K-.ך 9 n,KH[)!'m^Em\,Y|ٕC^t%>hU (-Nҭ02>* O@ ͅa n6XlN&9e@b~,r$puK?~^뚍vrz&4QXa|TlR:).%$b{rѝA7yQ/`h N]!EVA _sre&Zx*ȣfW%0n2z=׹F#q>4 uL>seȚBJ-r1 7P:i>=i 6&e\:%.7unH43"*PV)^յFlaW sx4yKۗdž=Nt\>]= [Z(V$.gѲmi;'fqi[.pmf#1AO=VHx@n`UJj }Rz:jmCL(,,Z2/q]dL]@Y8&FǚIվ]LȻ jOиxͩtMc56_vCߒ23FӢb~S9la Κvjf<u^ uoV5H;c)![nw쒹=G3U&T guɒ }V' PF'.-rW4Au%9=y~H3"#5xU69Wu`:gUTF ɍc@<5]F872&~` XeNDwh=F4jF/  xՆQQ QpT[BmsyhB,zb7i7_Uˏ# JtHu0ؽ`1־:6ziZn}x^Ǥءj\ s،,,YСF]rAI5d5!$ |ءCo?#OCa1 Zp_jdѩkp]l|Y'%ѢƿPGYr}IE+©/(oqθO%耓[`pY8Px<˔U!#")w T(ݢA!Sq B ؙ|'/tOCWdm`HzătWCc%t*w&Ej(o "c rfw QR̭>Nٞ3\&. z]4x 3Ffח S2l g#WUyp$G鑻=R]ȊuY ]782*޳)RЕ]׭`5vM"tp4 qML}>s6we23P1Nbfs$`9 6ׁ"6tt]]#͌_!QSڐ.6d A}6|&$F&^ar]gW0ץdC: C2xƫA+ǜ8Be|}n<FB{nR|`&k-3yK.X2=<aq:f=KLzD- 3M-Z7z5&-.Ė[d 0agFPBГ^,*p id:x?1PiE#.|b4ZqU9a40 "ܼ}-^)ê{)h@MoP~ܳ{M;2r \:V2O8OPP:#sYg͏3!&F)(gTtWmh'PCV I5zTq1Ի6x69u Jz7KrTx<= ϝq >nr|p_bYvmEJx5T³B^0-neU]rQԈ_J:Q[x$O=g;Hπ%gA ˵ EL\-O78+"K>EP7+HdUH}1шȤH'MSBb8T.(yh7EѬNo`X!cvպ&M< 6Rs4Jpϳ>ؚ؝/eOqQeuub;B +4jo.c5J)`xxو|:5QJ?ΒH<zx7?kŚ#D޴p$PkLSnw1LKr$!s<ٗn=GX_{DE^UW?G fX{q}e[!R" Mt@6vv|jm H1 }KcK֍X&iuގR_hO DUSs!`Wq:aPQ7Y纑nN2g΃To*@1 }- 8w7"#K5_sSRX!?|ӯ1ŜpodsI_xʪy$28',dșZi;>ȰWvTr}76s sy'ׇ9|!xVTSQFwBHcX>\$#s=vDŽ=JkχvcO(͌4&de &A& _^(^iHiQOu5ۅb?j*9m׎\S[M_`kq(ldb-c Ygk`~ˣjWRKPo];J%ے!wxvQguY#u<#OBRDER}] LB |>b0Q胗[uB ,5o^M`lz/S[T$9}ϜA`C>w;^ YV\P 0 %7;Z!IYWC86Lma%):[E?5F;q}kXl!S;~MU-rRōt_\-ڲfU'B|b ٸbŬ,5_ Nj< OR^rulltӎrPK~T9Lk^)a'䭤MaZ9LW:"T°Sث/t9L <ƣ~( 켔[e td^(?[9BS.VGAjWH FR;jWJz`#VÚ,Y3!+B|_ԃx<&-Q* $-~KQjm;bSqoC=H Q,;x ]LuD֐x)Otyobfki.Šfߖgcs6iP\MEXE qKlT)m<+/ ;>Se+Q{7ŵ 熼M,$ZVwl6:ӄu!󜿾f{s1Z+Z ̢=dًƺy ӱ33͚;CzIgvG$ Ɓl\5.ϔk|+aM+<4g$?`yNYo uߖKkR!2n/ Үԩ\Ѿ<٬Q$) E$uМFUi[GVVӛ΢ƴdP;B8 l\e}[&;'#hĦ2n+L7 (3J[:VjvV t=^nlsa6n%\[P)tP|q$,/ VEq^@7ZNTI#d_KfB m&r]Us03_|*Gj5=Vxu1>opX> /DZQd^'^;_[vCdǩG~lOH,$걏20RyLPnQ8)%8kM-M{D<ӵ,C~?{N{jGK Oe݆E (:f [sO7M~m0_x -fdaw$q,c`l0|[*C"+|uy<>E51BH=-ek yVxJfDKd#TcdI%2Gv'ƅ!KܽgXQmPQbgFsTZ*+42U+\N~|ljTF_caðZ+$9S\V֣+3('~)Z<(&}3؆/hJ`a\ll΢ eeoǗY% TIEKtͻzٮQT\ڮmud*L(kcR@e u2m8(debȃVC XIL[."XBX->H\+9VHwTܩ3 !XYrQ%˽hsJBA<;&԰QS+8q-L\*TJ'No^w-1zVY͞O1ܙgӇh8=*ȍnngl#ھT3Kǖi" u h/4?J$=G)5bHWzDseȇh![U|Ɲ!Ica@Q.Nj:CتgZg?*$z>x#q&kB\N.W!̅jy%+;@5|bb^$Xx3N-|F[ة.(wWc2Ѵ&uЗW go'`1sa]U*i T#fXսLL8w.R<% 0V37XS?#Ƥ t6.mKAZ ۆM$5%jLF^)#jFΣ+" CDpػd[zLKЋgR_mx-BM560Xh:"v kT%Aše䳹bgT&˿WNDd ?+ePQJOvbi+ -yo}`RCIrHj^2Yy`X6 hhQ(§J*])uH3} ^C|2/ {iXal~ !!FGð$ ypJcnD ڏGoF\cw5L ;_iRSyB Iĺh%ī¶Q( B[U=N|MR rCPg!4Wv ܊4k-IDNA1q dnj5B$)`]й1ҹRDMFEj6*9FAE1cǗa-q ']"=^z-APW]j6EnyyKM^r:tdt;$V܏~R?8s}U"v^u9ڏig1Qn ;KF o/EofCOC쇛 =.AD` 9ԸYPsW]cݕfQ̓]&B>G7†t!0O SGlJMc!W9:p?-y}|8]> 0C :?LK/b bN$ãTiT3*Q4F#hEPη Hm7)( X58?L4"p-o C{lC\@PW5N$yV8|Eߓ$^ L }w2ì,q:z/=Rz7(nj`vA1"bP{SK}h4ҐxY _$< Mf~:@^Bsy#}=T*LٮlD>uVpi廙[ϜB{1^?3 EƷZp$g2`rːem5;܌c== E.3DK*F A-e &zXzcLv *ȓT l'OLJ'XUdׁ(MYL`5YU#<=af;%V`'tW5RDr *M%Å! %^MRX?~ +DU|l.k+yNnpOH)4۹(ej-2蔒N?ouoF+M~"p\*ZX^Tmu0/J\XQb|D/;A鵤_*}bBlf)5&q6|n`2=C[ušVCr'|P@x^aPĒSHS0E5/}I!IOw9|Vah=NF #4(g}9x8"CXx ^ k~XoCU=f8 vXаR6] S|Ꞃ¶Ojx`ulqL*nFב!$/sN6%?!\Dx{#:`t̴ɚJ.ג1`ݥ7Qig$PZ2-#DjTm >5/2(1HBo^Қ%HvHPun&k^A}&Qkbx` ]9U+O<\3V Uz p=OL$g p(#Rd.o@._lc 5h;f X,H?M9mP~EN׽RnEcѾ\/}A9=R~&zkmҾ.@+hxrUdڋ8 kbxp;_6 ~Jkp<~jEE%u5ˀ,~*"OKFN,`vW'ÙwPxO P$B0 Uڧ=c´;.ҍ,ї}(39?|6P>AqjN;- s:7O8i⏪>K" >q G,*p"97A$̿> s 1q9ШމRt4 uyZ58dC;ݸf (vͣ^=h.qV$}bR7LP ڊ'Rx$J8e돞?N~`>oSX!9 p-t\fRxIJ,R0IduBrP_\FuBԸ?m~nϣ jph?s-,x`jkHYvsSFwsL+8I>sڃ zԕ$|C~wob94s9bIXhvWU^s[rk ` &9Շ^D; O O42gŖ[gN<1jC~JG OyZRVdKb!)D>+ *4=9\útzw[vkNa9]NB9(޼lH0_):c4o@`k=LD;Mz/ $Ir4w9!. tl9ֽރv82]ܫ H(}W_i-)ع51nZ;;![}K~ 8XM b-ۮp)w8TFAʄ g!gᶟB?R R«#.5 ; cͫPFN#~@ 4T9ziH"91Nu!1"aEJ㻈а"pV_ń']pOCLn7*^'"AL}Y-ѝb8+mmie5N/>,-lK͢"G.xy6=Ѡ|KWuPGUoѴOy5L1 |m,Np~u,eqk lu)%/s>:VdEfA(tءsA aPF }+ *$°6~(FOpXSzt6<'dzջׄݲMؘu2nd\ClJЉ?Zj&b S4uا6&Bjox) m+Z ,HT঱2w쐦&X2Ƃ9ueݪ+RMD 'EH}ekfB(v@ I.!W@P>?Ƒ8ۉ`e\7<)Z(KTpsvxT0lS^Boqԥ{TXw?:COPzIiҚQM{ pvmVQQ@|nit(Ebz fw\V,l'[tڏ8&LŝC6'N-r4jN܎}nw]nl84%Tm,?4h\ #ń| `ph"[bQ'XߡfH;@hak*yka"7蝛ߨ:AMLg`I !us-jam6_}+1*m!2ui Y q@=_ Y*wOOs( "4l{' ̛& f̷km[ (0{YPxBǟ)g %|=Mʎ ׬StvKL/%g;GOBhi:ce Ct[_& ZDyÎ4 3=c>0 y9rbdC7vP{Rؐ$Kr wtV;W SojIjZ b1api\B(凍O\w\1^1mM| 0B_VS';/߶=znCQyA)g9#H WUF@ދ2nyv; j]]ju4>jAfGA,(񵕤A_z?< ?d;N" ݄=~ylCb~w)P K.ui/)K"U)tEzmQp!\0X $4@hTKF5$B@(z#C*A$wEa/",/Yil&*M>Չ˯f00"`3Up (4IZRXi`;W؇!F?A,WP {0;\%wY!#|d8*sAC<_]*LkS-dޚU琲 Z/}vrn$?Nw0ErJx~u9<;H[yrUL^x.ͼ%/MӟFOKg@֊ym 7` >OAY?A4`kpti$r~["@?$ \kt?ݥ 60lb&4D=v ])ҨBD8^+yu ž'^q4WIxL7^◤ФEH Lӥ 1wո_Ό5ּ_:6-GAދt_P _ޏL-,ˊ06R4hM6X*{߬u{Zd9h=D9FNsGx-2Pa+P2o r(Á驘w',`ujefug9m@|_2bZ3ʹL}lg]O8!A?D_-Gjy\QV(Zh(8 &D.Jd/`^Ik? FVP\Hb3 hq=_V+VH|?mHx< xЁԌpGNX[*A`2IsdZA`!{]&r?)>l}X~b$83=CWDp2TRJ4Us+ [7V }Ww)jZIp<.:l$R2c"{(vNs/)_gUz{!u/Laė. 5o'SSI7|k;`X9Bwo4JVR/T]\s;(ErT=D&bpG ̴Qb`rz8-+p8Tk{-IhCr|wit9]E->2T^5f2R_?d߃ʹF*lչ%ɚw` {ʗ𡓾{\?ʃJާagl%v8R*LmxȆ~Z6gbܨjA`&4Ûq'` fDQJۺJVk+ZnM6wJn/w66:8p5oŷ}oXyWSڜREƅ l8~S/Ad5yL7W{O^HFЂ]aΆfnfDVRNӯV}`X&PL|o)F[(KKW&WtJN';Cgbv-44&u3',80 !cChC2 p: < +iF'mN#' 7FJu1g Fը2 '=w0)Oe[0L74E|9zF |;D/~dyֶ=]]$* *gߗ'@f3? A+>GĖ& 8b8*ڏs}:}gC aXxSUfLg2 *ڬc)<6wp W`SۮeM͸{"@fjQ\cDC[wof6rl,@jU0F5`:!± xmǚ+~}t`EEWiE/"w r:^<4Υ]5j50U r3dPR,hU {XKщ> 꼒nC^xY7J-@n;T@쐛jq@fZ4fo +^7KhXmch$ 9y>O)?Ym7γr)N? ^3 VjNidŻ5X=DuTlWytתy2p9vRI4U{|o uSv'f/UM[ -9q Bs0+kuUr1@,p;Jo('2ӗҤin9e |ra-߶G''v؛bs+ul\aB pi4:Y_d'V@ԍgKpT3SPqFho OtcfIXeP cC^ 07_>K!uZz|9mp|i'թ b֧ďf;ec k{m߀,ԵY<7‚)29NSLR{JH&aiX XȈ'z 3(07iBAcCJ8'HVI %Uj[5 ͩC RrH^= }r4I]h'ՠccWsϝ-"y]|X`*;y" yxznŲ*,1OmѺjHzkq[aR1*H:@ Wjcm z^ѓOW 2ʃwXV]}pihP;d`o DV-|E!rnS\ Ÿ -Vs.꿗>akaMtQ߭2nB\Ӄx̮J6`^3> <[\wB%+tQߡb;Bd'R[ Ql%YXtbݹp]mBR)ʙL aH!4ĤV<|֚E ]lT\9d'oruQ| eE럾r8.jvHN7)(J~%=BT]'v,K\fAēbNDZ$ReivVNO+n jYC(Dc3,C/ˣeqb9:"X?oXн&o4S;.>Y`bF|ĎʾDuupFN[E|(lJyz8+HQwQϽ@[KaVrJ`t=Q뒬gDOoG"<.+@h ۤ9R c-֐MfSļ"bzL.um/4Q'ӡi)Ӷ܇XɌ[nm]qx%*g*"Oc IZvM2X2-JvA] ԯ/1gBkz6V|ABi7o g&ym7լ Ȱ񦨖$iΉ٢w}pIi0la]IUMziEK7DYB'B ɞJ({;yHEܗ{F\ۓ6c BҠD-CwFh7V"L;g50+58܇N>.0 />oHc *̭tӗls@'%TϨD>&ġxYL1e;X.j ŋ6HF-?d~C0IV߀2J1Ɠ2q)z#|>jF 6|Ns҆3x% l߼E}fLH?\Q<Tc1;(vZUTIR?ly3&m2%zJ N$8 ]VIׯU3Hպ*sW^턆BkEaN[m^*U^DVw&k<>R<@?7[ Mnχp7ҽ}9)LdOjcIP/n00nX`z=z-ʛ$'iܹo,lbO6}fRSJH̵*Xu]۲[A=%zAB-)˶^OMQƥX/y/le:8"E.(%G:)RqaX/YG͏0Pw~*(&׿d4y䍇arK|S?q䐩vKj7>< !O0EN1d>[b:{Y~njN,,8AQ,+]Gq{N@0% Fg'E AȖ*;`Fu*+d[hbrp_\ey+U֩:tv+ Yh9"1#:ŽV"7ӮfW7s~)&5/y-2o$:Y-;FN!hiކ?/w~TL՜?:!aoKb{;WI;ƎS] և\hl |2`K [=Q8qԴ%+ܕϡlKHIӂHHP&P,\,Q>{LRߏP >|^"DVmu;xr1:*g?R*b.oE=—nlI2Xd%[PP]nnb<{LYpp5tKو_iXQ՝l (﮶lCD`y]#˥NP ^BZE'DŽ! {&ƃ@ɼwq+BozFQ'v{$Eàn Q-Fo㔠ʵ HR# g 7&?[ ׻ȳsoE\7C3N: \l"kB2?]qo3mgCq~޷6;"`y%5MCGZTH?/Y.ʡB2'.Q̦eU R2U$9X}rX#1`ͫ Ht6ymgRS04U*@;+x8f!:bLQ:nۣ(앒@'ѝBhqHPO!)pdD"} A.yj1*=|rY\k2}\8!/="ıZ`BRra ^0P&?` $f:47 sA}EWKNiF?w@PCW_vEBec:!ݲ&)QNHD)zÎc+s: _Q 5>oAeȴ&nEkW䂝(0hڊ ai~{'-V`KڢnGVYvPjeBaɆ4$8X}ș1ӪV w3GJg p*Ll{i=V|SnFPyC-؍x40TorhI\I˴-6 rq' UZ|K:#<-->k;QG{<Ǝ / 䐌}Z[>u 0S˰IpBq|zY ꋜ$$>v-lx ҽ'cl AT3悛y s.u\l2&SFL8$vm,p5~H՗C9Ԓ!4w*1:Wp({ љvڂ}V©?eC]o 4ɒ<9ԏ"uXVNk.,@c,rG<)ĕ!sG0v#X\A)Xi0E\o'izѮ}WLN~kJF&1U6K6m!R$US>hxW rbbyE_9ح~'$*b4C0$J0&^j1N@5o!F^2CNK>G1w]51ҦE:JcrjH OT7 ꄠ; 9mr9 TNMAP~!c ;y* [iDh;ZJP#NGWvr~(y8Un+2:jSmͨ^S$s#! QnxwRaO.ׅu~!ʌ(p>%!b T}z-_TP5 VuN{/Kun~5I\ECs&u+MI9eQ.jU`c8K1_^M7w ǁ"`y#ADd5Rgθ^QG&yq1[2G;1d)?;Yp f9#=n Y;U NPsP.2BQ\`\iiu֖cΡcvXSDaۃ,ÞGzvT!!1iZ( ݣ4ڨjPiyBa  }'H jE]O V:(0(SFyQLY~.jfTmtm%5M6L9vq+nMG#.DPrΥݟI+:td}c(ҠIв ¨?&~h YЙ%;W?7I.ǼVrM@wT$SF0k*QCILE[P󋾄c^ (Ȁp,9<|FH̭+ f*a)}<զ^|aTڊ[]8 RH8ߓ6{?8ip̌b;X| i֤nuӥ˝^ׂkSiwbg6~ )wڋr]ZMMgd6c@E ,{ TPo4TֿR}\xFY}DEvS18=, M_\|XC"u،p>rf # a;(f`Ӈ @bv( :C#zn!4ډ?q$"g|0?ݩ&ȗA͕h#|VS)*—Ts1c\H{B/62O\QƘB0?~X n@,yE\f]y_̊O_ˍ@0h<l"X/;"8-oǧGGTtf#r!DA41V/Z v[BgLG9l*o͞SE4-I0V@ I Y=,ђmI'\ju+n9ޣJYXoQ!AD>htL75#;u=]V6yyυf1>-lۙⷰ*np$:.=HI]] {4lH1,]Gp" %x 7:&!ժ:Mr΢.2&aC`ag&6*F}:vrp:`#SfD K %F~dZ1^kMa8*soC`}y' nuT[ ~&m Bo1~gLL=힄NNnKʛ4>=JnǶHL ۧ3> MVbQyXaYI1TL[P妯?Y8x6[}h/1!3Rt̂q8F>ݣԽ܁[ɸѨ $H1'F ;Z}rNW=Eya`*zq<m/+ ڈe8 ƠkEК" @{>+72alݚΤ MJKzSLd?3f^|sJޤ kGn)''|"79`wKŔpY\MoefӖxR%wwޏSyo[0QeL Tβ շGAf !O j&o,CD5S3Ѯƨi gPB[iGz6*= 0L>Tٗ Va2@bDxT!?NA\GIq}IebB:nƓ[.zo(؏B h8dEIVeN4(Q\zզtg`2/ 76/GB#aBap#_%Ge=Epl!זuɱzwZ 9'lX2d"Uw#M=wwmS6Ltٳ_d㟶#Q{͗1OC~xBlPO+*9 QH\\q^rOvϘj\=[JcZ[OplIX9вV/_i h> w%{fĞ;s.&tb4kEvZcy 1)B.=#%4jؠ 4S1({2'EY'e`XK{\@O~4s$N֑r?4:Zo]j&]1ӔW"LQR'b!, $9-Q)[:6n36+c ]%DFX[v(%H$z|2ɗ` WX}7ޞ?j)e.t$,4htϿ;[L>I5BJ`1Z[Վ+M3h C_\W t<,6) tz $Gs}~%3ko[wPtR`_{/aŤ ޥ aa)9EJ~TWJ.! <dn2Y:i!_mY7W6.T]#p)pb(qf3ʙ a8pK)]Tx:7mf"j=[;2y>P&7)8<,&^hտh=!ƙ}SH .n-^wX1>*8VtL&FW XU2밐I|rّe'>̶/DS37Evll mI&3r[mN$%fY3c),|mcG^,߆` "F{eC,Q(d$$bP!y}Q[Z[!Z+=dOԳ k^݊X4=<߄&؆ w05⢡Q0K-sYSu sPbH9K ڌg߆fETpҵBgr׫ߑ8 *m͒&_JU-"L _]#; iM`ƍ}Ei2۾t5 6*2gzTS&-JX~lUUsl#fN Q0,RTߔDFL_*Eh͢(r+.Rm3*\鞇FP}Ȑ벌k5"_i\`dX|#@:]8"BPF|f#{5LHHZ0NI1tTAָ"\%zBgxf:%odC0Uhd* #C">Qh^#a_ENvW͏$-U2BiDrJ>-X!r F#nd7i$QxMi<^yqm6^W/-ݪt<$OI68NJg)ԇ!7a!Aj ӿF=a .2Pӹ4WiTeO,eL=->8X '6&\"V-$C,ۯ%S 6zZ` EM?8gd5(4^ )9v{D4)o ٦V5m^kCƌ3?[L+| PHFqbV:˝%&&pf>n3h)Mس5_&aH$*ͺBi[j7h94%ot`-^9u/sQrq'ҿ,;;Tj8,>rFW䍘_IV_<ٚn_Sr;˒࢟wi,>bj!A FH.ǐn7+4]ؼ[Z/Ň*j)_|G,!b_(sW.x ;m: '`GEJz+o)T6׫Qy =7;`Ew\fotҵz;/4LAx6l/ݰ":p {Dqm5[QYE]?UVoparq6b.ܕDe%9؈;CI0 m}>o;"ZS uZ [NERI-f`4hIlg+Q=h'-#ֈo2ﴜg[^Ugvτu}01lQn>b a7͐V_z)rzyIV^!]9冒cDAP= i&Ƌ 7AqZ6h`6K_>C@w Y3ꆼ 6I*e4I&q?B?^lTGuw` owɼfdOc IB+Yzvs|3Fpeb[QQ=mcd!8O1hH !UdV5z͋G/232 {J52vP ]4w{>6߇L/LlHS|1LHc3\Gw&7VL2AC2hu|'`Kd'y,3bvܒddUE?(5Eb@ʐh  B5Q:#&4~$,Kx09gFBpl4Qp{&k);%#MbP<ZSd>tc*}zn.]JgȽSc 1xqFxJ$G3-25AeF&'AKdι-lnQAVn/,a ZNԍ}FeE7ASԞ<2X"̀CΘu3n4÷;ңt h|S/ٙz4ƔB؎vl>3&COGm:zv^%5 &ږY\'C11hk=o՜hXcAuKyep6,eJ[Kza9#pD[i爉K'\R&1u4IM.5S68FCفTZY%;O\ߣ P"ire-&>q+U*0 &RH;?ϣ+ u-`"nWJ@cRke A}o'),Hfuэ+%jH!p28|d946/k_ZC:eS&H yw-`3$dO[ \[X{qW/վPҤw]AA{(WiBp6);f/&' sgc)spz'B" t:fqdSC)p>kAh KR߅t!^-j&\;zZ @زbBSZ7A;. 6yON [=7'B9y-]`j$?Gk?5a"L„쁔U/;7qYsI,(mm%bܴ-?7nze^~f{iL;t8Sl& 0Gة$hJ0# Y`C䃝`p􈮊SXK 9.Z.yeOIT;x uz|vq(`Sl-pWNu_d,%Ư~6NCzVVQ p[7υN{^TE µ2;B&vY #‚q\d5&eJ9nUif58AwxuCǰ[ *-9mLjtZp Aww y礤@oNi EJlwOc PI@P{SgS_UWh:J^ׯpA9ƴ -[/N/G1Am_'rT??Z{G!qgQ<p!PuW` F,Qg=I ם&i75 "?x"Qŗk 2Q㣆SAKdL=| ]xU35I] >f%k꛿}a/mŘs?4lkAyUehkA\AwT@Rѿ$/܏,]d[E𕥬%ռvslxV `%n='7 ӻI.w$ Kk"ǘ}jIAmtKh"(r4LEe Ev&,h/TfigMV|ҮʨNNe"5FE b%4 kdM, ~~c7> S8)n -5,e_-oX 5<dϼS5P q%x&f;2D&-@ʾ! 7eSDZp2/Ҩ@Z2)cYή0-$OMTRLՕ⩆ώZaSk5JW|[i1q-MѪ[a_`6IfZKVSHϗ_yHD 1A}1WpqٹV8@ lA$C혬ņ'LP{0.:\#~X^$ADMS43?}u@v=Jkh Yh1P}Ld::c [tN}c oEf5&YO[o桡*q{gSxɵ =;b%[8ȦG!9K+'Mtn(31n޾3*>URe,!/Ϊst܎WMhtbk(g7C):v1ܝ4zƠcuJҁo-j/'a&eg+4ڜ@q]'q<,ʾH;[;OùbӃ")N1ڀ낲Ν&hJҺ:95$҃V-~7V_Jd\x[]{% y!_O{ l ˢZ* WgCG^EUk(@I __)T\/}=E^R@o\asCq.r-ί׈|Ci6ܘf% 0,424PY&ɹ1exԮJC YZ6tirn;w3