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 5%d4l ]/]HOL-Analysis:threads=6elapsed=325.160cpu=1689.388gc=123.524factor=5.207zXZִF! R]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V0dQ/!RA%q"˽֗i&@8{̵>A>/ mwwo, \IWpˮ xo^E`7Z%^ᅴy ,' ҊǏxw)n9L[+ 820e/`G+HIjۦ!נ] W)gr5}䐋85.Nv:4ff̵=ߒ+zH 5o~D†A) X*@~yBA2ZpoiPƣ/;4c d͔rP&o3iNq;RtuxMl ^M aHƮǼh+ĺ .q-#p [ uX@ǕCwҁOWHgWy1ZxkR#6DiJMD7D{S'jscTnnY%`.J.*2Ue`ÞPT9P2-KPyc{X}2NpApŮxW7Y! =FcݼLˊ77Kolo]8m-:{yc:*/ʜ}|34X 5Ƭy|ڷ64eAT/(Ca^/lB;cJ=gFzgہu,g1kp V^ӱc'P;@J +CA*W l#?buώD G)>soEꭺwh+x0;7u>W02âu[a^qۛPexz) ʂC4%Xo}_Ixʥ@b/+3EG$K6)EC};HEX9=/>~ƚ5(wS LLYyS{@ f!\}GxwLjTy3T bV]0a'[D8wQ XcA@`erܪ/,8Y8"kI)t^-T+v=,_z8FbX/V.wLrȲ19c`]lNVzѳNh̘[n}E(ę)G󮳣ƾ+G,x<Y!/`v~|ٳ'jjȌ)+gD[A$yIkXՓfn\Aɿ3(yS߰p(Kd5ڒG=(f[C37UN<fP.NJ!]'P7#'[Lq ƪboxƟo_Cy< ~:'>6.[-V<ΪcnM}v7tt$˸^يfLRm.#*غk0`t!`Ð D 0$~qQgڇ72;g^FzHl>FrwqOJ݄+th@Ա9aN@Q@ Wܶ,3lC{W5K}Ha`JcJwW p@kT!ɬsNI8Dw [LLztg )M>2PhgCkUDL&<#ss-Q#A2+oҽ%Uk=U)g(@Vmpp:渋51}BS0wMPc$<'`>޲Kח#,2sca.]f=:%4\w%%<*spJAz) 퀁\̸ͪ/ɯw:u#=N8+I4fp"K;={XÅ fAbL/2@պo}f^s>3母Ng;? %w&:}s(VzuϪ.IoV}{ Z`hbBeȚ.bF? ,ּ"g!-?vՉ)%&Fw{{MR,FL_҉^ӛ6UYw( ^gH@Ζ{6 <*dRvISp#7.vxQhfh?!P7pS+vy}tVߴ,_~x5蠞2ȷ/*ЎsfYUd!#axtxlzu u뭛5:E> H1C~ )%5*WK\T=([ zLߜ"2ed)W{J.țXۆEmm>O}y1BK[U?+RN:+|OlVTz/]a+W ge+ z;2ϭ4#Oh궹ֺlZ -ܶI¯fxHO!d:$ixQMiISF$~n+Z ]ׄoY C+bK3\9#P{&e #~8ZEg:ͻbzڕp!S{E䘣zW:LQ Q_{m " á@ՠuK}>'@~2Xn۹lDc5#-?ŵ 9Dٶ3;8wmIBY }RL EGG(^9_$)с\W< % HOL-Analysis  \{Aa<>xჃ&zb!F?uLxogxt_i2TÂh!? ")ɳ_*Ys|Ofwb8ԴY%))־^F/kbIY_~eXIG]c-m)pݠʭklxײܢ/ױWނ[|Sad`zjv"siF(4,m1dK J֍tҿAҵqke'X;d҅ *,,510 ᏒEt~*ItFDƔ->bsrVyg7b]gV}n݊ 7Kd8Ԇ!D >w.'3<3aOISy`LJ2ܿ7 +g Fo :?~UH]wkHe/vWS *j)XyQ*e#\nηZq Gf&-6W"F6|Vt4I•.#(=93 Э{u )9ҳY|OM~[unoEe݁f{.WK6~="M9`9ꟛH!!CxHL[ u@p59o$l Rnܓ6k T5g%qXsL!Ug!V$ x cYLE1Q`%Jl¼~ԯ2CD1Ghbm/>Sw9Ʈ@0sdάq$*@mv@p}/n7kC9Ժ٨zga$#^ห.g6u f>3g7<hoƒmʪ⦭ۥ(EB:na].# [o `oh#j7PTbk[{[QKƉY@}J?hч --Z>1\f߫j>mw\ox1z>K6q/Dr I1b st]>~԰}YŪVPwF,:l7/g<&a^dR܂}PɳA{X^d3~՘xZTpN%VY6SA@}Ku̝]H{=u· D*SNf 2cP [hx c7om>q}ښ}J$?ؑ빷&h1cWфeiaZs#1D; ǓFl0HoKmܤVA pa =>/A ʆ:F+@1FEƓ&/ yћ()g+O]U/A8ͪbïq&πL}8,5͔b( ln~s5E^f#BQыڊ"`Zf?RN}I60Ʊ}] ++OHV؏= -Ơg{3׮ڠ(i#H!?xW٢ Lyз Ŝ,mSFlqD2!9f_U堵2?א=el/K\=&O "\9@!(yn;ϒ٧S _Ue"2SsB>pu0hv_ȆLGJQz/GWmKґe Y|J,eO5jC@ݽ: c$xP(萋#/I; ?zô/(R nV.K)-sYD^xէewOs$"Y3UDבQ8Q/SUg8v3>ۺ>M3Pw/V<6Fw/ Lew80ce]~eOjJ.}F=\>TOg?NR!W+:hveJDD;~Pe#M4E }<]%KJնm6m =UG|EVKŌ,p jZq (F2vD |M&cv, 5A{}PߘP bHuhS?;hwzsd'))Eޤw!Ңxꁂ>h#l}4H9H4}v;\(q EZ҉"֐13dRMuN&s`:x`~@iJOښA]\)߀9N`j-*\/p8zG%Kre:w8ІXviSLj@5uAIpL*\~ǵE%?dW@;޲y]oEL2W{㩕FezWmT@xYsƢαؕ m-ZIAZK$0%%ς4^#ox$rN򹒳 %:(R9UhK}]Q)]o9xxBXicw%hS+3 H'NA+_b@H~ɝ*Ar[&U.\zƓqQ}blѻ'LM1sTw;נL_DG_ʆC멈 *|dԩi?_kvoV%=Pd><lZh Ws} =1b }(̮T2G9|mF@K\H/Ѽ} \: h(b꪿}\9ϛP7(jL 'v*N As1P}} ]x]k$xE?y¥'otxzyWtP=۳/hL}؆21SFL;Q̗\E .0??5̀CQ ܻ%6=_ _&WJST9}[Z".+mk݅6U&y#@٩[9R"vjf,4@CAvQ,8)J5X8]s"*Dӽ]G{ Q^y:.qT|t ;ex %EW~ǔ.Y;Q`셦2e}MɽRrOGm*WP= pB;LSi+Ȧ4NH䩹^ @/qGX}QQ~8B Px2 ?9_uxof^SL~n%?ΝLAtUt/d[ G7""C%%)m;7@k,M\ygVY Wܔb~Dj/7x$k| NC$Gm2Y9E7 cEW֗){˜X5}<~QJU0|눬#y+k:5OsYM+BRnS}CԼ6m0y*l%T::Q&vËyf>\|;sb׶;P2 k"t[]24TONcVW")~1oT.đ՟ulǼ6qXփ6{04|nO@D8";?ڈ ;9f $ +l ^i'+qYle&3+VxzqТƐ{/W)?~kÞQ 7c~QqqG%>m'%Q[~2NH/o`=&g^M#4|vw 0xS7$ڭ1凱T4"z<"\ @wdzwQ~7"ҐW?g_R'(vK{/K)$nd0&iFG##Jcі#g%ץcT3~K bIM>5|_$W놥FǺQӠ4C]$<( -Vxl7E?IG{/אJ @Ҳzn/_|>g9Pq5qKc2# +o<;,lB|bPD poԳ XViE>z1}f?JC;\|hUW7\b`BW)dI~8z}y"ԥJ[hn?CSǣ/Ηr !T(ۜ>TCݵAa2ň= h Emwl;^ֆV/8}CE>,M(J3^I#CZoLmmx 5)Hgq衴v=!$#B[SR]l1ǠƮ(ԵYL,Y|6<寲Ut|uzl:ߣu8B0WěŊVS(+a}u]F Q |S$}ǢY !D8K?:X}WS_$$Y!tojMZyqLyp,/GҡG<8r[{V6mLF/KдFH􈓀sjt7lkz-5?b}&3<+UNHl3ů,FWT R5.)i KIsU#XO-o hG].T;R4z$ҁKhG(J:uaI g)sI(ă|WN[t5rzI--9*l4q=!;4X+"17l`u*9zJ/| Vf\v!{1tq!{ww: eS^˱j}[O98-'ח UQe60ȪbvX0:u 91/7]}7OZei8ǗzIEQx&J X)vٖl+fP!9*-7`*|ƟUlVg Чu 0z|8kሦ60_q -?UxV{+Rv*+W\x[bШ)1Dm ]m/e=(~ [SW3x2Vbfh·!f.}R_n G=qSn*  pw-M $&?lC/=fW%yw 5^n->@x:2tu}{֏݀5B SC{,C4GQ3mZón7l li$bֱ5+#tp`ākg:u.A=RP De7еmcuAks,tŰ;sֱ00g$U󩽙J72}'Ј8b:9JqT.>pЧz4+_a gJiXHO 8#_5,EQb~_,U+Pev8S1 k49lLY"F Ÿ .ʨ*CF'IJpvѰ5\?=R)$ZZzYNdpb +ow 83OcC#>`qKӏd%E{1V5(1傥 Jzgnz)[4[ӓ`yLĔh,AXڦJ=i: б+cb-֠Fqͫ.$2e&N*)?Xfێ#:ؒo๪7$pȀR; _/?bj%٨RY+'ߘ|ȥ,w`ntQx(.wƟ{^ʘ*SN=UHvN_';!OU*@|*fP)%|ޓ9X@%}߮F[*J&#a0/m]X-᝛xdCf/V<#8=x[j>ԍK}]֎HRryZK#(PG6XA,VjVB+ R*=*\fsm9hd9׾U.K-[^QRJ;n|3-s(f٫ڪTݵ:ҬoqC)F [~}~[-]VUinXIB1ݚruȏ82pfEף5If2G="BP>b摸] s$xMq1au1WLg/c$C z81A5AF*܏l=ưJsG?1S_ijǗExKOdSzѱ:"uwZ<z2\p* ;1kW3tTa!%`*It%+dXAdtq)%۫3{_N"JӠ;}Ҋb<]I> ~O>IRٽ%FJ !=  Rc jMJ+p_{I>tLM0_LjIoK}&&eO֔/ `yx"+r2B_C(' EeIcg,l}㡲|vcs4TM_ <~^W"d\$T  t!Y5OiD!7SKE\uI_:Tr;֌"O]b/Ձ6 c,{^rc K,l泇%:Zɚʚڂ 襰Y8,3ƘC,KPfŕLr^#'uoT՚;f Uľ G.zU s޵$0 Ff1&ңnL:U/>h֋:m7G cHUa߾-sy/$]868y6fٱO5UxKkO~)(4XBy漚}h<&Hw-0 _7ShA4շ'"a3φrNLb/0sř1~ a=Lcs{2lZ#7) 'e݈!k@2]"ix*@rI +P5^_b! $.zB6"(Q v$IJr63sٮY9Mo;oφ68 1Ǫ f~ZU%@&:2QpBA#X!E5*_D]<0.)?LL2BYZg\x1MPTix`}|מat:{QN3\/ Q|i:|@~Z}=wLFYCp*!}T*j-3# -$Y!߃ceNddn-x'Vod6VCi $*l7tT3,HFbzJBoxն>1UYI5:Yd5Gh R,ZKXS\;U{TA;8}x=%ted'"* 8"Nh ~>N홡mNXu:gf^;-T!8VnK@8ވjmzTR_ |0&i1KNf>%v2м$\G W1'Fk?{Ku`CF+)Bbi͇K _W *k+jFtLn ρGD/\L`Y3f鳲XkcM(Dni]XrE_}) Ԝ ^]G1B.Lj[O~K#p} 7FJٿS0/<,.0$lQx թZ' #N6h f=B6hNLUոmP 'D4I8ȏBk% _J461L܇xtZC #_aXKex' Q{#3%{gBpј$CbmR&Jt |26fVzu6~T[vPAZt&ʉ$JE.;yC͐QkDp*t\}2+tfsJ_"0Z+7»ć<%׭-)3t[{7g񢫫}nDZЛ.5,`@i݁ܵB.w , 1/kI~|!?KDt*_|ko ԚgT*KyRSvvv"ЂB4! s]>BuS:꼘7,_|<$M'Ѵ u:yr,蓕cjFjؼavT'yi(1cUgt y-;|epBE Ps-/52> \н 7TjHz3^}p:x+tf܈#1ܬD| 14`-MQxE9 4,tsf6,&#HGHCzUn;% BI  3V);[IAQ$ь)㠔նdPI'@/&{c-8 %~՝*ܨO};^M/FҖG_*T-m!\ fX|6n BҮVuO2`wCJ7׸u.hߡm ##2;n!:)k#oPxB(M;++k5 i+1b w .kҗ F8ԹOC*d\N⩶94Bg=Pz'lu;>+AXM ,S EK#alJ@a,8lf5{#)d7'cbesJ k%vIvqŠQ]m-OkkTu R!ۣA)c:l;nVMC'ܾ9[ &5?˸Hv6)|ݍzx1 gf%iLo'6!Smw׆)Q<{P[LYo&~\u9E# -!MU .@UƯ~tbXv+E5" ?ZQFrȄ?vGALPR GTc~d!|vaԞ *4ӰEp'/PA dB% a0WS4ן 9SvR_F\쿬ޣbC#RBt ԇ hB1-oPԋALx2jYUveݭx?`b"7lGJSí_{? C!V6a<l|W5]AF :(r+R"VH-Zo[-׉429>—d*R_e(! 3 L# d6;{<`{Iמ$1]6hF`<)r>n6zN7/3}E`=ljf΂/uș9gܽs>,1JW8FNT?)X jZ$iDe(ޑCںM{ds6;@63sr=3Z0V*#:Ҩ^L1t̝js"e{*L쾼[ =C1yFyŤu j섶neml! 2rjt5c "7Mq<7o@t9jf{ܽQnP)?K_V|с$ v]t-2A2*[ʨlDnNo7w^B2U!Pb"~Nf ="{7 9KC*'Լc_UR]\L.5#bYf-Ksv+S{APٟ8)SKn؄zI^EʂA A5<0ؓ" X|r=o$k-azlW㹾p|ʧHqh'fIp}ҀGc.!Gg(7['LkB|Cxʖ{bp}6 Dtu>Nz6TFq-?:'g,6a,zVmQI٠O; L0m YTKU܍5(`JGʐȄIŁ v}i_I'9MHʼn>{r4x|3jg:zxk*dtWixu6ߩu`++g0m=Wɗgb}h!l'Ka3Uz A`Txk8K;A?H~5"wIž ܶ5*4RG{}H75gܰrFBer+D&Fs4!&n ߾7K52!  & cVv<=_;=Ҫ 9q `p@G?(k;g{aJ VWNuw:*ӘBXA@8⻏|lxM7gyZU]"52ڏ&>-ܮϟsMygϾiDX6UV F|i~unj^Ldi90ru1bc:Ă>zp.EgqRt"LQӒʄftWn%n?n׏e^ ,gEy2aY9^?E 1]J.i~ݹ?U=QįgS"+RʛCdЌrғO`0BPKrOtY\iV=2~38>l)4Ԁ)Q8U}3?V.]\IO3 C{C\9l8$to/{h6H)"'Cu3ޝR,xE~o.T~9)Ѫc t*yR;dS=lOȴ-ZL< @9 FaTX|VX¬*I)8e}U`2`dK-3B EG1U(փlޣ_s 2'WD{-?oe6Nyfߓ*==OȍX} .4-&O%Tr?W(TY1,kȎ iE*$-˺7 1%%5t/gv~d] $2l3uawy%"6ҀS6ݞ[VnsB:ʆx~{,.~hYŅtѵNMI- N3[)Keǜ/upr0* {~ūώ]uj;#`9UfR2\T':wgm&IZ[#[o㦤ˁAU{ 4. xKYw~SD/G28xk+l V7V}qZ3O4`oiT<}lJR>Jg BK-}-C-=b{I 4xI>j,=NOPQ!c4  @n<]Մ߱|R=$CTK"}N\&{R'/LXn;[x9hQl:㰏=|+~84]?͌F#ө*tn{JO(+iTůK,>;6m c+s#؄:qm>C)j 66G^4U)36e=fZ٦(ӧ 'DՋgV\h7H&bOmO-Nn9`Ap4+.e_B4gX$`\9ִu c4la3+\sLuͿm˲=U|<ϗ`U)bT䦛@\'o G-c ^6< 'Li` $MӖ/HzvN t3~Hrg66y81ģ#A-M<^!7.q38oazԌ46R4X&2J'eh񣨗;IEP'o {@!tL1۞d|rƠ A^ ɳ gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4?7YjP ʊŽHf>K}5fu3l*WW>0ʎ^2{KG$G7#C{ &](ݚTb\Ws&2JE9@w] 4NevCW%>=ѷdPkq[ gg##Rk˥کFsek efelkn9cNI>yR 5^e -Y<3rc ˘;ɨ0Gv`mse ]_^7GCyۗL8omT$#tv"y,\\^LI3OxDbdT"1n+,RpV J }YV:s,C"@iB7T#\iun&Z&h#˙G1=}00u>ezྈ}y︘r뒨fHPkmpR+i5|,g$qzlO# 2in iE0M՝JQ e6<"~:]?0\Y!5Q+Z*WE+7GZ$=ȕ li 9g,&Hxv5)e( />V;95Aˢ'lքR\8$g ٦.~d;%SMMH]h-(A~$- x9T_{.IX𰐺;3$G{4Mdi*YyRM%E@+IQ=.܇ Ysf ^g>L'\{xA(mof{ BVmȠJ i޵Sj'Q/ZE91@:9ʄcfX󵐌R}zyI2F@}N/$qԜLy0Mvk_ׄt8B9yf\B hC |ܞT a$ˉpp`eldTQsoX{eqXsNsHF?eIIS8<{a8IkM%Ѽ0p:z u8)= i{`ƕRԈ]f&x6[Z&tv'7N՗fոZ4 JM󬋻}AW ȲDe)!PO?a; /%=]7(RM⳰M :FvAL$t>tr1N& XŬqcgx3ycJ xpX,uоU9*,kgZl^B`~Yz5sVm( g$DV%J Br]_xDDU4aCwL [2nkD zUPrcv˃'6>6 }>G#p #͏& `9=gpL(U'iC1#f,n }-N-\%&X!iY>Nĕ[(c2(Iϊ OЅ!խYk+{'Iۃy0LDPzu{A4%9λi0U;a߃L;&,E9gOɻYDe#et< QEhe֩])ĥWfk/X%52 sdvƅۙM_@];Sע2≒$z?y8l"zj]#RG0_*qGrg1H MV|Kl]fR( V[ϘcT"R?=lrlT61@a8X#(@AD?M 7<_I*&|-̵ʾsT&fϨT|ZQua:}HL7FR"%sXGZMv.ȀA1mr' v};73-Ǘ]\ctfY >t 9M7BA E ԕ&T<=0İ<K5qY 'J15ILl-M{Ǹns٫0 |EZ::C]baۚ3M3Ѓ~jߨY2RN"Ոpӥ@Af J?o.͑}# hN) Tv JZg_f''Q/Gۚ,8h+YAjTm+ё͹Q7F5آ6=ÉZ+<= h`A7SnZ:n@̤Oޒ6y$qYLh :c=C[. ɣ*hmϻ{\`SiɊXTMb)aB I_6?TFci(@K)îa٩Ν^4vSV(' A+ƾ٭\sO&gńL5!rF4m.q2*RWiY$vDa:t <@`Z{r@UnW`L/y)>ul,!j}!̑K8N7djܜ3dG|&Q/P;0x'"4kqR~ ɥun @R)1@:پ4е~q-`lD1U3%0Z^}bD @nKMϧ#(5cyeVO~,ۆv`؂-:PѶȝ2eXqRwE b[ȡ?ivي-O%YV8&"jӺ2/nՀ9!e++cDYA ߫r%ݮ7~Qixt9C~I%H(5))^%( Y>cbSE=&Q ЀKWy=xg9.ÝHt6>ڣ|!^Eq=ᰭtzuzVa#GVy=a(ϱ=0w=NP%Sc\̎oyG(Eޖ)$Iu5 qQS=><0ZXp_S͎h,s^Qj_FjlFW(4.$.馼*Z@@t񽙩8 xC$WؚmaE541Hw-B'[L $ &HdՖ|Zq}-:+:pGBCud)ٳAKyVyn~sɨZB4NVՊ“ih?͊.q'Է%?d>z(Qslor%rns -1`jŽyB7.^EDam{ +?y+>\oVYGa9 Ř YġyEK~OZVDcbog^ 'XZ'ý|NeD0^n]\P!JczY'A۶l\G((w!%oGSZog^E^WyX_ǴvT:TpUs{t{3=9J8@IJ!@sJ/–L3 q= UݒD˩A<t׏mÛi, ZtۅValzL}sE?!|kd/849CyLy;n }q]UQk_s/&#7u &;~!q |8uRnJJ|l;ax\D8noK ًaI9}p#_k#gwr?glDu4ղ= I)'p͖c:_ ~]v:0oX1CQTł^46HX{[vJq7ꇠ iDa98Dݍn8[IĻ3LG[@AHf?G UBJ*,D ovy;eSCm & /kH>y0Pt8jE ln3u85gk"ix?dbijЄ^R3]vJ^xL7iUs1Q!vءnd3o+62/XqHtZ׽ZR~g1Ͽ"kEXQN tU_%)%ްJ'&''Z7Z"(T:C}ZюO1mK<&c"G"?P;s8SP;Q<s1jyeUsr'0IB>6>"$b:pML S#b%fRZv[IO޼HK88ȼ`[ǝgNJMct &0 As`tF ΂W*cDV&4+"Rt8j>բpWX{E>ktn=Ǻ|z\a.? NPx4@ ۀJbt5EכPȋguV+_M?\T/?NŲL7qA*ܣځRw ݻ=q^tf}0e<ĀJz@;e<L(zlVд1z7VܗLP|_xs9)o$fhishف*$nK티c'!oSZPţhh.bFFGq{D '54jhc@)RQ(ҝ] BEi^.@C)[bM<V KJg3loEC >?~;WRlQNq wB jHe Ǥ^<P0[Ncq-}̼#⳨MGFhjTz8TlaF)\߂jJn@H|+=cl:FAe=|Qr?4VNg{,_hG:qDWٙpyLTjC_ |PfDs HrHh($\wGb? ̫=u `HhJa{Xvhy6Ji9ο9#I*~7}]W7F/4u$u+BNRƆY\;+7\ .ubJyJc=P&SD㸵W n|Ns54 + ﲪO=Q9xWadXF^?$#/QzqU 9 ̩=cZm ljш>wɌBYv N)CdWM~ie^&PyuhvtvefWI s3GNm%T%P5"\XucpfC- 5{sڧ,x7-)[F=6 4'a΍$jucj$(ҩhDBMFUw{N嚤vϷ#U; #7!M\½6:3ou;3v76ΫH~d?Af}=-?D~J񈰂Й%ez ?݂=hqCnIrǏ'#MC{BSRqwB݋ݍa`<Hvu,񨃷)??mʉ^6@sHu=i3H& }V*k#G/>K Ǣ؈h 7-u-cw@D.G8&75k' hMdDŽMuakvߨd@w-Im~DqIpyRpN0QkQ)Y.'YUD:syQɑ|-9F+ :A=@#n[lde%!+G#p-}8̓w 7[(ASƐܽݺO O5OS0tGO1v;6jnJY8xFs43~yj ^&I* fm'75'$'jL5 & t U[|l-!ٌdIlpf ry_d&Pot}&xSW/}+ktQnm>R:b *B"XOr;=ًآ`Ly1C.]-?[/l‹mrIknCVIE,8>}ŽYF$14΂nkm۞Ov>t`#9\:WQ irZyQk_) 'uv \:hi3x@6PR^8Xz-ςrDR;GҨ*& c/T=9tL K\ŝhQL_*Vx3۴E[Ԟ|g,% 넋|Batq217*\Sh pƲB2Z%Fu9lܼ "*J12Kݟa?9;:NWRӊ |#A)<$`uE{yUKCw3_%L]f fjhIxFK+~n:2ܚDux,xC }:|M3=Se)PhYz5apB#L(2;*vgG)a'HaD7WYt&3bNhC;wJx7&UsSf'X Ơ\[JMB >E=>ǵwwF6FI1o\ªPs.ܔ a֣ybl„42_xjH*]iSu7?^B7^lFnD:%A  L7G!O{^+Gnڕ ]'}!wg6H`C@ V w_Bp= qRݍ+xg;Aj" }Na^&yTJu'gel&V3 T5/:.& tj k0$)P/LRm}"'4RU@r،/n i\Ӏŋ6fTv*{Ĝ+)l?em}ɇaBOta& S9ѕ;M2.*Ijbg2c4,w CsChU၏w5b[=RG2ܹb f+tp"N"x c:2c0+-4[-WY,|1_3@ H/5[0߸B pG,r v;6wNJU;iSѓ/IEcwہRL* G:\Ϣm maBq |]姛lo0,m\*r7KLIK]+ްΪڰPIi!ϫA_' (^A|\:f}RW(3A$m٠ &IEPi$8w2:Ji.ktH)O% n!Ou rƽPvmƩ8~*Aq@wb\:Y)Bx 8O Te'yvU.hKB`KCDsMH[P|WrJ+͐MKQ yv%qNC34.:T"5ފ k([z9˨ pDD6ܯ\WJUɳ_ MіM42H?)D !{J:"ׁuA&?#[)Sއl#?UZRO0t)j98(g-ф,dt{SP`\- rxZܙneX?UBlǯ[>"rWP^(R*\JqY\$z I9$hRYޭ\%Yx_Of;'χChae, nde{j |vm8=)j@Aǭ>r/)~r m&* cuE OG1YFw4CU7hs z[GڟD ǫn5\ɨxk%UgP:Yrt,z{E~y4o`TpkjSB>ۯ&jPF7;LҀL_Δ.Ga^I2 fGkmI<C#Pt~wg;-Bi/waS ?҇ H|Ah8z]%{;6~~{H~*uVU@3DlT)g[Ք: ަ=nV1$4]|1;GU΁|ʆv qpA6#~c6x2u^o;%(br+Kl01Ķϻ^՜ĒtSwT_E#\0%Ք5 w;rǒ1/[YЩ~~}ek$jȷ_KDHk &Q|.Thv ";LT7ad4h}*c fRaQy?k7bz?HZ/~N[šdd}xҊ(@~t):8ˡÍ춬W|HB/)څdRfK#C4P5SA'}h_O+_tZҾS9B]M)ΧB0y;&-3½;qt;:할u(%¤ ]w5k9<ؚ t/)\EIFp{cFL4Ec2 4/5SR1^*`KI}o c|FSgI|#L~x?;2]ZWCAT\a\+.oPTޚ]m)'B}nYA}<P[Wdn8 'ԈAqXprG餱<86k6VGWIHx'ڬh+'ILՋĔYÛ}bj˰Y9n.D?#R z6Z*h1Et).!M/"ӪCAbY+yiPQ rN|<:'5-˞߬ۍĂw _O*6m l5rx€$ x2q>o~\}| C`+er&z -8L$! :<p9' <8oyWy׌&SpX$=TJc0]Sf*<XG&tL3~HoukgD@pcpt,_1"77H{'gTH233#,>6K~#9WL:gIdzF گ+|WP.f_۲7Z3f+.HS,kpͧ߆xf'crR/)Ai2S)|O Ewsa[ZFQ8e:t*Qډ[} t#)kL Ơw(iYV^OZV7.fO*ym.:YPr7s(/ks$/jxwx \Q?)%cV:t8hgL=fyE 蝲hBBuءvz-xd"s]ؑIWY)v|Ң洜vDo* +iGR묱Y~Aj$mJgjm;%)tT"/$qYI>.Z'jR~З{vΓ#mU] ²yO\te:WرrHsN_}U.ᗇ,kU7aJ2I=IL=:T`_;C Z+<`%4 .g|q8Kal  .qf|ltY~*Z=  cׁ#ɵ'bAhaؾd.V+JRuyy8MM`)uBApcn doV-O%P.cq'hs8 b5@<,. aq2{fod CsS|!#NFu_Ⱀkr>59&_O$MdҌo$lحOo^?$\//*IdPc`qur}>P-Q[Q̐q5n=4 Yk[Vj4퉇La*v!uM&:ec~Xn\r =}2 ׹U)i`jG1|iܿ,eC bALJ >Ң!tzzbO,K-)Mz~j2ݷ6zVG=(D?Oq&[ }wXBsĉ$]lwûOqg:UkpMmt!x#s ҋbа57L=#dA*G(RBt#YN1 YqƬ//fw+gB N\#J=0p!1L/T )ux$1 9[*aj(+79a޳fIr A8PQ7"K0 b.ϢyXXcBQ{7^Ӵ~G"g5 qBxMƚ2X y ]2 ̸Em)g"BqAhDN&o֐ /olTpJ{w%r\°)]~ 9H 7zx>^|<5U^k}K]";:H Pe hh\q>UZAEi(wz4G^(?j)>8Lk.mL'/O۵w]_OWGx$C7-@`=X^Ζ S {9X;;c'qHˀ=n@?/]lGPr[7K}[m^AfE;ϰ%ldOS4Gc8E ɏI hkIAvVyS=H\8"Pj=V7)ef2\#L澒O{*Q OzVSG=q?BUslx*{ -!8U΄,m<9.^-_-V7oM2 *bd)]T }FEʸ=IoŜ5\<彯R-'yn6U5@:&lR<Y%ʯ>2GmsA}"q\S12OBkX q+`+߹^XUs-'JE)~MjYBd6 lA{2N)k:/5WK˹ҒfP^lWoȳ6"1z$QxYD`F!pU3kpm#tL &>q:wώ =DQvUUF 0*Ği }5jB$zp@`םz@ҁ_Mf $4Wps,IvoO /;=#Y hYե(rDoc72V\3/ƞu$ԦS=L G$`, FJQp;sN!u%岹ArPX%s;8PŴF+4&ǰPիr?!'ɄQBo|&kFr n~BCޤ ,tݻ,$|buK3@JKJ^kjx%䴛 HRp[ o{٪6JIhńrPM/agg#!}ttӚaWO&.9Thkq8ne.ИWv,61r˩9po8ǽ%o᪣"~T|^\p4|L&hNS5_fi]:ֹT_/DϷB-ia-g\ ,4H &*(A.sv?u*D-U GySȂxG:ynO uq|Â~*.^AMݩ7L"<##::=)GFhn@<ڢX ϩNuӊ>%&&Z/qȞmҲ3s36q^nĦ0zVvA8'Rz- qᓗd'a\ʉIHWaJ@Tdb5`O)  \h# @ϩ0R?1(|az,t^&%Q-eM<_`SM[!M3Fڽ&ﱿ gߴ/][,ۡ]g3þ@›Ǐ3[կ@Syhu O_[HGkո7{g?zvabʄ/,`M`+Y l#_̬oOfI>OrBv8{i `ʂNѾjyWDIAm u$T ,Yz=VY=*h8 A'`I0 hǑcD L#"Sߕa{X{0 M.|$1'[W~}/ȟ1/ē%[%6qXIF6XR҈q_S8;@^>]R0QBXP k 03[9FF. AϑNs ]0*K̙;a*43DT]ow&Vt.˪V,IgF,2 *c.$KЛU?1Ӽ˱Bse4 hߝOn#棰t1fb^6~xDݕXL"J.YݤtpnOMW E'+Dwn*0{j`pʯr몹yn (jЄC-p96fտ()CT.XҞ[C#HvԈSpzLDI)y6u 6!4OxvokgQUa]98e,ӈ,.,u.os=[4gi_ݛ uUNsBݯF4x @ȗW},ܔe JAl@ ״R'>Fk0wՓ*0p3{%h ZI/Z.hW82s]s ~9Ѫ-MEr Sˮ43`7k~g+C)Aq3c*OlstTY'f| 6d~7aLuҤ}kAB~hViљT]jUKgIЃ8djh$Dkj߀)ZJ4)-*_H) mX+^Ml΀=*{cq]x|}7}uԭiNuJ,i:x g X;Of`=ыOQyUhji3Xs6dFqEYkf;~O ~&Hl[6ASb Z bĞ"O3lLqh&7pBsW1_1E=!=8z/d $_*AGhq&e?\hqxI LD\e? 3t˹~u(>o({Ol'6 ק٬mgN/zZޟ*g! ΥQљ,oKͯ׹v}ga\xa?S:0%XJnB<)|w,Dp.gܪ6s|ZK̜yc?ctu} үLXth \NO#r0 3gTXr߁)37n0&Yi)pj¤+BJm!ic g:uGD/pڠNPa{vp !:Dfqp9tXmEXƯ)l E/9{]e5Eƥsʭ#t G)lnٻm.%SZn "rVش {$d@y#hP4 :tV}18eL[x߄:?aYL8Ö|coCOqѣQ 4BSWQFwU[G`J-3%#2؁vf+9X_L9[w |7ϣ~\C> r>N4:6e^Vdnp%\Vި T5&\7=g {ȎsO(~"P@Ы>v ֠|n!z҄DʷiGB)HBⵃg7rMğTOhD-@0X^EPd cc0-wN2F\mLE^R >VN ΊEfȨ)T`jOP0bWߞF4C>m~DR5P_U-Jq~>];ʎm_ӫ>b҈>…)fw2 2ꨦ2>n9ZڶJ1ҁ7r}RlX/Ls_*!Oɫj!w{$9a.{hHr]VL4F9/9ѨJG1Ws hkAsV!g!/#rW%CS^7&A͸M 6 q` he -vdu ɱJD _{sN ~SrW_]Ų̏񩫁RqzO;9Ґ;q>$LU+xm@;2vbK%䘻 T&13?S-3Q+||V:R7}.AR6/ܘ67k E>yן e9Uu-Nɢ׵G;<?m Ae]\烕_;Qhk'*a;  B̶;] 674>mZ7dz9b…6AY1tnuO..gXWp+e:QTZq( O/?Jp!#m "5>L[nh 4jv}ƞwF՚z:5Ot[qQ/Wvv[&L3^ii1.W~h` ^.8fI"`t3 p;Ah{S9L{߂u"`y-0ٿ. Dca(tkupww<QnENpkf쵲ɳ`P*:RK❈?{wz#^Yrr,Az#7658_w(1'5u φYg 5L7n?u8u#ANqN 0mWpȽxxδM$W$ϰwKPKZ4 Eܔ~Ko;q?^Z<! ӹ88]jJ,vÏQ1P)u1;0 ܙLQx}'ԁ"^mxCέr:aʲUj3a Q:%: &SF剾n娨 +w><vȣyFJK0'9J-`a(*?7W%֤-fL8d}mN+cDpܧVX<<* ϐ ,,@De1fI\:i󩥫 ؆xj\nSl 1i h zՕq =m> t@%ܱRac&=k-P < . c K񺩻ƀœ'Wk$`fSqe֮nO(ƢCr\yS-&Xi'1E5Ud$.cYNڼA 7O57rO+N ֆs:⽁fyd+y'Gm>)6P$Nۀ~ PFx(QV9uLnT866ZHkd͝8f>|ܥ'p$|Ix+rdJd͆Fnf]YV͸G cvp/ךG?Fg 5zo_мiĝ>SwqQ Z4,=EǺNk@@U:Tpa$w,$5Ze^iߣ/j)9&Թk2vVB8`u o-Z,KBs;Ν󟮼%9a4k2 m$[k04瓮=Zio?lHoOpG0QRDdC_ g"+/_drIdYDD*6( cCQ5YSiqsׂ5f@]$;TLĵg6 k<)61q[$+l4^kSޮ<*#g $=1=) ?B~[b&).9GDT٦}Z'E(rGW]"FRP-1PJN2K#Q<9aRNQYw/D= w >Cbl'Mo]sNt݄@OAeZ^mA7@qe]Y.hb$/ap$E;>nde@`9OE=vfE͵zϧOkc sS{~ 8ȿ4X.^3rȡhH.>}C,bKx9#S-eW)F E-˘y)/){Q]\^tvwR'd AAߏ\+XB|uW=iC1A7,Lϓ\$V[߀\ƾN<_U^jLڳˆLPS+a@Qrcʥ$kV{ttg-3:yHgU O*v֩"~1~"(Àĥ\u]Wb^)aӭս2ƛBZg.Mp%.Z<@C]b >WGow)s xW,UQgGxĂW=?o>;l)3!KU|̐Ľf@٭jsF^:шi5 }ՊCc9b!{+l(Kܨ\vZm}"Tjؖ*zDtt+}sa`W fPQ| NHjp ξxZCS(lX"W)$t[DƑWmns_Xie^ϓ RPK̹t8 /Lm*?b+X0= ]pHkHƻ$O@IR L/#7 ?XjqJ4ŹP,kL@<}lT*!ۚo)i *sj䌜ȀQY_YsJDuNТՄVy<'a[ʆ!\ؐwǖ4+-㠸_'^7~P5Zj2 犔%O)Pp_N/o`[E}`mĉۛBSjw5sw)7LK#Q|u;|! k1,/9KNnC4+Wj|J?6S؁Y1pq!Y9;V֔G|\V/J(0!h(2 :+usZo.@T~@U2ĵ^Iڧ7wOi-;d><䨿gyo}g ԡ4g(8+J;@1+^c~A¿ #[`b#-/=%k/ ӽ1y*覾bZ/9a~Fsh) %NzSԠzWhpGB(,V7tTvWvY)ݽ`oeT8]^*{۠J5smU5y@QW["?w|JQ3bxyJ{wFrYtg1Wq.TmZW )"⍭2THL( WUJ`*V\/DcJΫErGw:Q] #:颈b}ULzu jcWPDƁ-8}(o_bP*IKNF>A;'`lSm\S*82B!JyVqnP,L3nQ--rq]tڟs2清ګȅ`,w8܎:Ӗ$BT0A.*`ɨ7 W6ȣ3+qo; hGд |p ̐ǗB]GYD߉ Ws%˺{ xC>W-}C+aPUYbx 3 H@y ObuBV7ƭI YHJ}oʰԉk oh/҃ Hβ w- l7 FِGm[ܲDC΂S۽f *gH}c&~shŒ N" t`(EY%^WS by<rcUWCߘ,1P0 7^7;{I)k@Kn?dk4ąsh-Js*K93|u}idسNID\hh&PZhm{,o-3w\m&ޣX @TP='%x]ѠLj E0Ebͱ a|3Us#ʫ6t+\Pd=98"%wX7k lIsFp 0GM