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 44)4 d ]S]Incompleteness:threads=4elapsed=608.372cpu=1396.100gc=15.568factor=2.297zXZִF! ሂ T]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0aA1/Wa3FKY/R7~;f,*Ֆ8̹52P*Eap#M %Thg25e$Na…&(!ς;ºUvN_&\00{p.BeS}67S0FdiDu.HJSN.j*p r{Q*8#;- ҙQI@fL(1x'M_P3@BqjPncAZ14c*S?)I㽂j+K|{׆$n=~Q&6>3w͍Y@ObQ'6*jz_w%}77k \NǪaoV@*z !ZB|ɽȳ5G=bRG)VEȏl}Gwi.1Wjĉ{"?; Cŏp~^Hɫd_A|c($gK%Co ~ƽǢ=Jg<ǎNs@7peJR?_*2Io}m`sKkz-(|xn#xX\^|venbb$s6 yR veJOkO..fN֐2Vjŏa}C% W %! lP G}GzZEѐK&u\W4+Lw)LuG1jr$r1s N&̿hF&.grhEW]xCWpɺ^8br~ySMR  7W I@J"s:bԓF~X)JDFB"YMӉOs~kj Ci$awD'5g٤ܓ.M[|o?*iY}@T}{.P*@#C U /b'fsmR:lcAM+]Lmu!12]W3AߦMܲDzjN6Ƶ*ٓQՇR^;hfސ?%Lnm8 Erpx0 ֝<I9ooPnKy_eDs-q \5 ,zC׫cJCG^J ݃f9IYw'089&1q2p$Z lJ{97YAx]CcU e˷yڙ&Ao);>qΝ!%K:6*']: _SVR͝^/^Hs XR*x<𥗳Ca)^j!eɹ;)ТPW~K۪jILD4= msR*cx٨;R@ MFF2OS`_lxvNXR?=}F# Be[$1śrZLf:lTt QߧS[}ޑfO# ] uϱU$-WE_黎STXxD{?߰[<1$Ϯ }{sё9Qb-xMy{{ Ð@,( $j9/;{QC8fpFm~4TnV> %t, [y2BPlxAT@J1c9;QsWUj$Ou;N6R#W7ZOPlV"_@Yy 9 h"^I\%77ˉܕ *K(h~|d&A@E*@ @*@uUNXtfUXHaBsLh4}s҈M B`F}[')&&KsAkX'M̢e$\2qj[7Ҳ o -F,tZ(]@ׄ>o4[vn+JM%0񠃯*NfgSz5 0{dh@Z<'5}bqb` '~1Zy~'hVq^tf׶6K@6:id1LHB!{q4$HLzCSD A(W Ip=s$})Sŕⱼcx%R(_BLkՋ4/%Xf2K|b(s_ JMz3{C$hVMHC=AtGO@E4d Ătf7}>,5Oii؏H\BҦ|Hֈ6Mxmϸ 9HgIn0)" 2Bs͡'tCcb9y,q.HI `|P\u0>LV?7`kʰ*)sidFތgpFAVGJ#M*/m/1l-Mdz^Ri|2 ~i bpDJ©vDTWla.2[i'Fr-y`r3LuAN슐#,WreԙD,Y7D͉B8v 2J[)BV n )l"kfhLQL8=:{V ܙ Գkŏ^L+Z/}%H17H9ޱByС'NnM㢽)j[% æO )A=e֐a|㞥@&5磄.5x(\|2ٸJ4<|1XTxwww~qe_r/fvKs[Z'}L.xbQˤ|ՋEƤ9$WvZNyA6pia<֕?)q;bRqOxbڝc4 >FWq唞nE0Qu^M82Wx=`X׆18Kʵ~v(ݷ-Fc~l UOʎBXflq7(s s *#C~88r:iw˝1'FqmR/Sѻ(XV5HAq.? >ciBr ԨX*6U&Z*o/a;(@(lM)mwNc@kRB8Y0Q8Pr AJ >a hCQDs 8ڍň7Ҥ<5nÖ=hOb{,G3U:y Hj-V7N2{9>tZmkh*QBS>@ҵ@gg}Y?HL`8b\wicqqۙ 㺣r @.{X -hXg[I b6Omwl=\%DpMn&ơ[OX ˂ps h?7xYCh9;W'B9bq_Ӆ+ͥuzތˑJ8 oX"#Aty5d"ID`9K UAo UeH?*64HIL﷾úc;0bu{ksb`s j+@ȭ WgcR,cރZ|8!>9k}(kaHi ,RkAйTY[D#aU O „ԏ`v12J wScjB=GC\DK7o}%%q&fB?1 γg2(Y1oJվ;gW(H T%]h B2uHB:^1!羟[ |>{@X@$_2[ 2HHx-0O C<;:1ڶmL=俼i7סHey6҄km^8buQ+TRD1=Id=XC~2As؆ء^P7 39g_lp[1m$sC688GGOF5\EKl&x>"UyJ uy@d XkYi-sD u܆y@E\9U Ap! aI !xјUT`:̽ް03a _P-x0z FcP%GƤ:]␈M?3MZVf>jBſm 39b*YǍq%-ˮq:i a(ڶEa M|ɎXgc8ԩ7 7`nh>Ad>Z^ՉVWfm'qo:јKՐ$OQW/ST{M9h_y.B .‰PoOĸI]cK4 9._mh2oRȡQOzLPFmi#AKfO׈KoPG&\EZ|]8?uj yL25r?\US` {N炸-"yBcOÕ^:^+˒4`#q4oLL~U_4z8Vn]0d$ 9<8)W> hcMu6bizⲛp9i|@`cl_q/hLϵ5%ŲV)Dɓ?5q9ūT%+9D=b_i1%Ҟ6ҥ(zxI&Az,1l_森HT Kܖ+,kgS#Z|2z|ɘ% vy\F|~ 3s`+Þ|eJj V߈@u1 _!\2X? H;yB'zJr aNfL &vHzoQC6&=ި1'>J !rԃ3ZSfnZvȸk{ѕn@_G5{X $/Yu*xindog&,z4R-dzoŧh 硽˞[ RV<\sNN[W9YOAK5rz5ݼ."KcOfӜRG=mVjZy̜U463,9+[aԱ:EcL48Dvkօ=Q6U/G/Q>CE,n7'K]NK8Ӣ g2ym(qBST.,J{I1X%d+$\ܮ_vaL "Ѐ@S۱gYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$cc0bfZeP+k[B#3'B?ik:T?ڏ#'jE^gJIVyYeun4)Ł0~ 1CU6|} -z*p=r .,aH$^7 g|q;tSؼL#9l|=>os_кjkeuIE"?6ayE)oW`q5uQ>ߝA\J]<\u!Is ;1me}I+j~en37sIц ] 2_Q,Unu{ aıgYZ7zXZִF! l]ŗXi%Ebb%`~89~tvʜFjὤgl #gnT;@î%C`㹱s!ï5t5L(,oPF3^p)4Sz(_%~,U]hJ)﬇ns{РދQ* fweyr~3,,RȘMj"lq?mt%\UVjر۟^e«+2l,_We2 {;4:unL$rc䁶a^n$Yj[G- 鉊U6=2ZK+ Y:2sE/!2\罏i*+Lx 2arݸ"Ki[4 v0Un؛5(pa l |K`DѪrsPSC\3a#mBMKQu<#ܻZߜ=S; '&RiF&mA޼7.%5!{2_S>nwa_;U%?ɇKMmYZ&Ѻ0t2\&ҫRRu |өbFz>f `H1Âv5 Chu7`6(-BVoTV` HwU7Y;Wr]5~DSⅷ]NcZNvv  aa^xžW&A'THu@"ո% #ylm +}esLT5K41%͈EVŽ`g!p:2,ۼH]i亓_ Tӫzg>Pxzδޫbdcj %9*3&]X(/ڽ~m5 ̝(L=\?|m? n _TJHNz]lKլ6{a=X@$h+7i>T$$j ĆB[a-HZx rmB^ŃAQ?n WLM":XVTo&u)kciD[Hhnpm5jۼѓ\-#5M /:gÑ()^E&.al-r=3kx4/<8lc 8Vњf%~F$ XMcFPI!^#Frh5_@O{ =Cp%%k6u>vd hvakH?gCK%ɺ&Ph}a nE|'3txEDm~]d,z&4Tp{]:z̠\Z-<""z szhq2v-^Y骦ktl7"om(=v56hϩH讐m!VP2NZғN<Q]JK5κ,WQ u Uic jSKRP.`7KS+ei9Ơi,6, {3&{A ȕvrvC͈%e ?Bz7BUxd)t u9>?6b<ؽu)E$:&Ui܍:6s{NXSH]sɘ*ItiKek.aPI#IZtt){pa pT-BddTkSNlGU_(?m,꣆3rnY҇Ne21V~IIwQSvPn!"YI͎FӃྍ Mv:iM&ʞMU7l.,NR=8" t'ݧICљ$!9.Y` rlW3_:~&"嶓,4^ j2(6>.]}6Y{rwBM>"@` /u,FɫcpF"A0tߋ+zKp Q8{~Z/(i)}*ҀżnEH WŠbO7Gy_ ?FZ,V^'AhH};G{B /o i'uܱoy3)ܗux.վ4=;_uRq<:5uY^ض?uQ 9YR;鷥 Q*WLE)%Upbи 9w!N>%Wj >ryDzt]Ks )p_N!h\cK˹mEo.\8wI\b)TucnQ=xQdOrxpBķ5Qd[x Esk[Mbn~ hü1DZs x0؇̡Tfa9d@bWA#HCt"6-e1-.HWL8Sڴn땗/&Я3.lU=t31rqc] lx\ik<ރxT`N@Jy[XZDQvUXT6pk2[ &H,gR›X;LT {s}gΘ. dM1hKq'NůD+6hvgWNh(OT;~L-^/RKH zƦ uBAeG0B^U[85YE"_G@J[l(lqUڬUWU%CN{z# !57XܦGL˦]}0L Y}$62d.@L/[sp%_Z#]&|Ɩ vXd+aKcAeڰ1PgVۇRH@ #W  b; QougU't'o1tJ= oOĔGϓްhNZhQ/o-u& ãƨruUcI-X:@'Ɣ]="8.N>ihef? HQK;U:`^K\a:~뀯 H{Bl7?k:B`5vɟp&u6VjL2!SI1j>\%"(ddZ4MyP$If'_H$DgD qbQ*3jN'ATm/?+QOԏJ }4R.W>- "WJPxbp3~!-Ev,sqgM˻3W1d3Φ._9l#S7:aVKз=iJbFi٪\&g;_-umہm~ 4򕵿sb<qd;H_IdkdAaCqS%?]/Ol!6"ߡQMW>P>ANT_sfDkNH9ܘ0d&ZxhK->Xk(~ϓWF^v[T4^8~6SWUZ)uz+qK^=Nnr5vַǜtE\Kl$=B7ve˔V.W#C#^V] :5Yi jE*'j%+ܔeʱc|d81TK-YDt4)NnpwR"9?AU^V JTQjG)B%T3B<Яj5JnB艸qOA`ӁxRɢ ?_kN"F7AOtA!Fr4'D>4>crԞ/1jP ǯo(i il"j|Pptv!*UnA,ULvEUg_@*'ry> '!D8 3nc("uP{;L,6Y0~AȞT>A$Z/ٖ4 o0GWmyYͪݲlrwg4o [ze7N2k SFн)JZ=&+ǢX'w_}< кN%-={hW|dX0&0_{$yزQ#ZJ&0ع6Hy]=Q~~#]r:XSr2y(g%@wmnZwH-s Z//n3Ҏ~Td6vw75<3S5JM hWE>u5]JK7"Iz}1v 8~u`9eD]b<]d":PK*cK/>/Ǒ|-kKyy]^Ygh".?zj۷9E1lE$LJXAI M`ĝ`NUd/ ŶԳmJJ?%ob5+F" B17ؙр\Ic*Fʹmr:)U DYmx0.<;Rn۵‹↦y}κgVe>8gG[t6UGA`j.s¨0ۘ dH%b]@?;dn_M7Ե˶_t׌]^l"%QqI$A(/uf~LU>t[82.At2tӹj^[P2rv!$Ae: !{3)(q("_V49)P&L ͞\k~_]GR^C;Oǔ~)96^I^f}+@>X_ϱ!l*:lv-qÑv݋tAz0LIN8M޾#/. וD ԰Z2$8UUaV 0cIJS̷]xg%n_H߶`>3ޒ gʯ=ă@% &ж׏S\岠y,ڤ%4wDyuάsԀTud3dy{?X}7R2HJ?PSxiw<~%[Jn?'BYBH&s܅ %Mg䕁 'ز ;ip'?졳 o,Yz"'0S +Jiw̖4OmSr jj ~@%GԌ ȟJJm+Buok].]/q ^Sb^6HaNҟQ˜\pu'n^퍘%NȊ/(w("UbCta\\XւjbcAA(Xc ^l*U):8:'!uGon1W%F*3.,-JsxqpqXB 5l2u"D,<+1!]``3bE'mX)v>m_٠p>\U$e>5ыѝ*PYd(w 3?~fob D)at'LhYi#A/&T [eE}+N"RlՂC[~v߾08Cv/)祶g!r,m+c 7vv A£Z3y0nwnnGSe=򲝨'&ˬ('Ul-<8a=׿<' ҄"wR%.=}yfY>n?Vv:DɁʌ[.v%8 _mX?8&i8ߕrCRI 3'woS:8f;PH} >FW#?xoUhqt56R Q0]J3|'VU=S"A2hl!a; ,ˊ1rޑl q,wDe=20&Lv _9 ~ ۉU=I@93N5_cy M3q)DA4(˾P's0*;rӃl j')Xv@Ճ;Ed XjԉM&:h2һէ9uVzG=6,1b~4/@RUWVv]KGdq~"dN ∞Ah43n|hMJS389FGc}C =)[g2(ʽDC-ʩ{:K#3H$ %73_IGHf݁!sMnv&HVeP\J_jGCp\r^s ޒi tJK,N}g6QSB ]#P3;Ṣ 6O Lɧ~F=. n䄱.;X[~I]0B4yD]i)bW®d* ^eɴ8v qjԔH3rorirو3z8n/X tל1ڛ ɗ"URMWjMJJp `CjAw?. +8N@Э>"--H4iIIlBqVzӻ;#eR^+C4Мܸ(-y ~]hmkcp7ɿ(|B췋Sx/yTຜl{'60Ӣ ̂:= ~n =T\uVE}u+wz׺m˙xe*neMXt_v LDU•6\)gnX@ΠDw0 lRUV֓Fœ2UxwaHZؚp[7o p<^jA|iq^$b&, 9{Zv*5FK1CI{Ѻp ɢ];|&tT ڰ3h7mƌ#  8.A]'JM6;^gwYYt JveR'ڻY@<`KwyfX-1ݜCXM\?ϔ"jW L\g]^6fb"l,x'r)XK ԡUܐDB1@ϹVcbx3c \EFҫ\U~4en&nA2 tj%SFjN_U1]'\_Mb[˧_*T{"iJejJ\&Z\6f1dmeO QĢ|'t[% IEp;ngF`bHm=]#1|E#bDqOJTZVR: g6nu_8 < 9m L>,h*B[/{o-r+f5ZZ>/r5_n•f[/kYYArQxDoX#^1 \ք{߁j#lEoKc[,4*\F9hdõYuU~&)o7@7Y U,H RvD y;6ܦI܇*hXks_F,&bURnِ i#>EҳR\-zkylX¬/U_8p!}r^\̉0fqW{:TZGṗ!P>Ƞ01: .V[ck/sln_o ʉ3.#fYtҏ #FmNEü:v2)c]eN@.*HH2S;p:kȤr}69FؤIϖ׌52aI7IԢ,>uj<=e!It,lCXXZ 8Lm䉣?p)zY\F)|w\4nuLqpan*&u/ԇܠ_'z&"4.3\&*i()*jܹضoi\e%7N |X ,9H~d.Ak}T0 @35+L{)[`ݨ~z`a0F 'Y-#3DSP"Iљgp!*d9qAyFDў1]QjݤuA|uB. 39՞4Ͼi3VBntrc8 W[ tB4ccm [/|'ډtjr>&5K U3zvQY.݈ öūRj)73޵+l>&*mNz{w@{D0/*#BMZ(, `)D. t4ND<%rsd7p5#WeBg6-|ػ8eykW y&1:PPjXN&K=& rF:f=p0 DˍM;bC긐55OV3_F)o؏\yxN,C%o=nݩ CQO(c0 0e]ǝ78yDk%8LJ}}r΄erʙdAs">YS 82NeyRK/N#zkbtĦyv(ZSp . H1ibYhR }Y"x\ cV3p܁&ֈ>Q#a e f+H.-X SbR\$ m@ ?["WG&gpF@kj@_NRGNp#|þޠPpwB ]'Qk(tNKxfk˰sLH{߯B5ހfe^`Ƽ5lpޡ BP x]У-gx_0+R ! {PspTd@. p&,'! 5,8A(txV~74^v9}otϐrJVtW0OpK3Qh;KAsWXDpP3:hgْWd(YI +rHZ%;u9VxDVӨH?UfRF!ok۩϶1 ]h1%GYgqEx//mrV덐$`q<]P7CLY83Kh8SVj5{D\haS q;ntFm*V@$!0bnXO1BR(ꨳ%zIs!6k>X'vXoj:-z 0ED rc gR!3׹5@ZjP/oDn,dUmWx Ql Ewro<#}@s+l*tCGhFs#m~P. ^#$(g⬂iOy꧒YA=خ!jvE 6FBx'ڨӬ(0.n>-iV[k YDT޺bs3qc$eG7#!pK,3HX>L;d7uS= 5[To2pp)5=?u *3 uKóoʒ25--;׵v84 =.v]Vt;w@K߲0q1xm&r8W?(eBWmin"8mmcZ-%w+i 5UvNW1qAq1apOw"1](A wZy,N c7+Z&ˊux  O(n%[dTv}>H!N X<~x+OR2#B37h F+*4R-iH"n3 KEd0?jkb6*r@5Xٕƈ|Y#'uy2/׸8433~{^Qcd@s1buy@HUԅgr xi2{qcfĸ 4 ɶA+#{pd^?ڝMh\$ɀ o?HD+4:%nd@Zht hje AT+dbʩXw]u?#;Uq "uͱORg gRڐkkiGKpcڭC3=[pH {v-})rypIX#2˶ 2'Gxlg%Ԡ,ͭPC0vX13. & h]X>$:&2w#{~%xԙh謕GI}WAtKr$8Pgg!^Mm9K rY)SZsjËƿ)SS)$ K8$za#SnrxqɧHjfoEZ3Gޛ t؞eWÁxauf% p$WQfp̆DU>tĠ9r u KB+yYkLhFNO~i1;/Wp#9ʀg#/d'M!您9P,&؎xrKgU>6Ђ:IBSs5]'gPzlD-@-R$9) 4bwx:wP5 YYS`TƑjUY΀чԹϯ-JkHARSTM3@RC%`/Yí B3ܣ4( 庾KRDFGtFS2arJ= ڴˀMk%I.A#64퓦b&ģ,~@%T+GuE? Q?)&Bߙ64$Y׷ZjS:SuL[쓼qt9" oC;wn~L ס6Y. p %c-Uo3?s|-2$ 剒U=0aAkQb"I(8)u[k۪&zR%%%u¥`:}+g<&y7c h.^IL̀w`̼=/,"!Rᰦ, mqݍ6uČՌXK ; _6kO9ծ2cC O(Y%No\ ˧=pR o˂˧k4w}Ɔ\ًV {C<;2p'JlJ̽!L'SOV qŌ1H-]^&QwiP_JgCr#]xqyE֙&N96^\g<{bپEBemĻ\ex#R#??5Qc #JzӾ3hx|d ᑊP5QEANT3@`.~6 J)60cZM*o;stvz l㳯kjadDT7|+=/I9\.[ܡa랥-g2hoJ Ii!: Ta(&d"W!`:L6QMȬ:fEDH_b*oL^>%zhˮ&wŻ/Ky\i曃n['nE|HFvc'Q j06xk_Y܀Y5]xv4s'4mew >N+(G;5SPVڂ9] C#*"g7ICiCmn+cDm״Zf K-|T2x8<6ߝ^l6?'7c]/'xg&a;RTZbف;U#ڷVg;zuq}Yw =ڪ"= W!aZm.P&`h}ő)֖Z+/[rK8l7=!Q56=AZE:y;䤭܄kڼhF6^L.tO<|>^"v5 D%4&2ȭ'gɵ.FE&;A9Ɋ7GH:ݨ87(IsW~\E ׷ _nX=澔`Ljp46HQR9.AR-HT=K>ˁ!Fu}_1oV>dPݘ50ʬ#k6Wa~?wR;L8qUEP7pmfsc[(;╦mkf_t!ᯉNONJ?uD _|A7Q~09E ǴZ \7*^|نM| e}ypCVQ\h,M4~{T"|Ÿ!eVՏg_l,8.3nlOʅU$[^;3/"tYmVb_@]-SG#D]޹!G&@7|X7f:uܦIB3ʐ<+(4W=mr.>Z% r߽hw;[z'v[54f  &q$x^8O\58LL[Uì \0 S:7!Hw )OG;8 67 f (ٟݖ ^ÎpDƭ #7 qүSyOxq'!H&K wGrYd%}_oMH5%ˬG\,2jȔm02tȜ[<6j@aykGܼ⩣ ۆd`VVcc !1-p(/d wJ?S@sAQk0|k$N‹wVO PI~}#'Nx+bw F}@3`gAo˩ȫO ZzƗo2b]Jb~pm.~\şB~hE'*C(]v$'%үbC u}Xc՜'dh=cۏg bdA.뱽4+7`7&ZZg$\nQ.*m[+3LTp&-|"Sp\<)YL0TXB1!{CJ0cՋfk6lCӫYB&~t8d&Y7aYRi0 e[KWH 7T{&ER*_e_2V'<ܖ8ia<XǒAlg?۝ mӸ+3rby;+Yu۔G?,`v", >oڿG ,"Ӆ䱎zfKP"xMNї39,-G:E.[&- PD˯$͠<);\sZ|jk$uDJ{QW W9@ȽQˬKԁ;Oޞ@Q,PwU_Y1Ϊ ӱ^t` }Wa^F&6<; 6,(=}Џ tp;08@Jk2`yGg ͷ+LGhXx8+NCgp! :`&᠄)ؖ˧HLI ߗ0G:@4Qa *8rBԲɻ_1p $yq`hKb'C8sC\%."zETpE :32Ac(߯V/H6 ~uU~ ,dGͪE ɝ#n8Al6=mE5F&R%Mqtlz٥(8q^m\ddw^m`F&7TdI-|8ق:=殜<[ع;1+mP,Im牆L|忴n]oi;D*R r!|s@BXT^lڠ}W)py!Oce1nMH\*';8ܺXc@IJ_+yԲ:[ORj`KuevȆœ„.&n }Ny >[Ҕh92U9%ZOL=nn|KxobfY D Lq_"GX: hka8Gnvr wek lNI.u6+5.ԱP lcWo\|]#u &9;RYC f8k.M(m8OBZ5 OmZ,+2 _F.@%WJMD}:NDm~HIk YUr+)P,eIk,VƠC3x/Iv, XmQަX&pjpx;RN/G3|CٴϺ:h-6=%zD̙PW%Ċw迹 Qр3Ie~ 6 v ?a@] ]I|%w"7ܕ>ѵBwpHroH?njo"3;#OVoj7f:p]ԫr0ɹwpT62@1{}# D6ÙjL z]WT(NV o'.~׉k`A7 YRt'Yf1?_3s0p2AJ򶁼"cr}WTsoAf$4'w`Xqß  +s̨+!pZ*)pJT5~C4Zr#8T|.,v_h7Qi3*Ub$FDzz Ji`烨<1,7dבdѻ/^TŒcUJfL`t);g`$e^0ؤ%y按 y)T{8k_(;PVd|8GbZXA!]0Ŧ*)ΦTZ*eh K6xp΁9 t i.pXDIHaE.z/aH;x*)2E@ r&G_ݖd- " zf1DžKm:J9FTi'υP(.ZhsB΀8C Zj y˸تN  XSw'DgVdr%)%iiJ aHx9)=BHQECVt  d(VJ;E f`^37w)[d1K)_aW3r-͆$-pӿj N n[#lG;: C ͺӒBȹE9Hv!^CF== M CW! /IZ+?|ТI %-('R [gBaͶ/ڊC]rىpY?&[OgT8uUh $(YSPܶE5WR' Zh^Qɋ6FtoqH)z7ZYl0?fsN,S&^p4ARXɁ:thRG=Wk!I5NqTAT!~e3w7dZp$=W1Urb%e'Mϋ ٧iSl?X$P =`熜\'KYU8S`n-+Mh{e:GDCU`1k7&!RPը7r, Z9}S]b7꺃- P90|@I`, HCl&FCNE'M;FΎ=r߻3G a.f *L6CxP,%qt,J.EI&ڰ$o9ɡNg9m?B}i* F?iɗ+fyzuRiNΛ)SqrqqvwR& ܆Jh*TH؄儡WKE X{9[9h ݄S5,Wk9f\Yi%N t$):?\t\ (6!5 eŢQCyٲ =a 0! &9 [aKTH~eܾDzq1T4;eVH=waW>՗G/|\bʃ1[sF} ؁e{2bZ*XqȈ A 2E*?=lY q$q7ܲʐviN1M$9ő80~L|6O'UdQ9+,ἄ:GӪ"Ga84+(r|YfÓdCG \w6Q>w eJ~S$q)j9Pĺ} G,rmRJiC\ې!xTTə`EIg+kxNWXmAhǺUgs N~"3|,a qV%IDmagʀz:r9j\?Z*fD0il!HLNIobor`P?N/ LB;@L~%HP Ҕ,u٨a< IBA}?Q(Ԗ*cЪnΘy3v,~PTyRIt˜Uz&s .NDz#h+ߛeJ {~% Lh ?u_{S9к uU ӠX \nj#ޫm^oH;uٶm( #\ )$ޗ[@kDuID3X;[ѥk|~`ue2ְCSXWpț/^[|y*f~{]T<  5qL>*3$f%;;o \N4|؋# auVq?*ft- ޿B!Ȏם< Dއd_qU{񾴡:"d7/$ϻ\4`[ uDjFLrx>~ Ic4t>ѭwLuF 8uϘ^Yd]BgVMa}*{-Bѻk;^j#IaD9yˇv#-nDfGR*yɊjmkn꧉4'f8<rX"|/`ډǯ&~'cWI@DsĽ<  SH]4i4( dVB^!Hj]=Ϧ%7CuN_n|zr`eOh4zYO ނ^:$ ([7p11s;n Z`yQdK>P;BzfC)3oK}W*'2N1_1Z!ڔ ׅ-rӞӥ 32CiL$JHžIJg3@ ' `( _2ƕ*kRM#[&ϞTS2H.k~oaz)@1 OBy'8]!@:R-S6btm^3hwW&}BdµRĮwX-_e4G4(kOd?>Zu)Z݈ϝf@FZӎm$;~UhXj IƘT3CMw!Gt ַttfNHHǙ9r86,ItVe<W/+zPv⫿ {s0I /;tخ"X:rMM5HF;$ɴ gпw0D>M=0xg`vAw+)`FAu2vj7)DТ?qb2G߇}y{$6!x;/a#z@amtpY42DuXN0ʔf۩qRrzO|?;(6 >=<ĹZ)ﶲl *тe ğ&G3'޹Ʌh/q,=^xc;g!ZRee|,}Q YQp^,[ ڎ$g'DpeTcj_':"=u e @;SM<<2F.>MDz7#Vw/9 DFc'cu>1Vrr\!i) u(7j,(?g5z]Q-/5y?;amJ,b@}sKa)F{f""0yTB'{Uh0i"_"Бl]<}vu WBL7y=y [ 󘯐`$ +ȼ7-UШAiO >( e.s y[lUPzy~UD%S?:`u(ẖ|q9d[nK/ͅI{QAHNN"7sF@ya}<P[rwC?A ņ08vsouS^AT!F;.2r:h 4>'"Upqbwv{~) ?]1;mƘ fy8kba0quNl@;<ꑇ JTL⮷+ 0z |\u5 Lj4^TQW#&\?1m'hfPV`7x~|#;Jiҷ |eT#T݇o~~ydA 0RXuz/"59@c;o`vub`/?AV[Vۖ'(& ]HO5DA@U\Δyo.G-+si:AuP95A_?gJRѻRZقZw l|1 uvm DP%g44?kxB?EAb;Pu4%1On2S:洪CЖq_nR P53.K{]G铈"Z*q&ci,]D%n.h$oOijZAqfK~(A;ûrc 'cS!^z/"}Hٛ agUUlo3:hDlfvXiq0p%ߩ.@:ם㓭CfL'[f)lA@x)Wibќ> "EJh· `xM 2M7'肱D+:힢&uǾ oEP ]V8kê(PNоǣb-s4JV$YgW `a#Tρ ~4@k=w:|cf3(lv'cPuRAe1ԧ 4s-t. cQ/#;'ۈ[{6!3> Rz76'QӠƊwlZ}a٪hKI/cSQ8>/Ma^x9KeqA+m(20[v# +PMHAëeA@sF3Tdj~RHȃQו/i`.86EsDiY`h#%0>r 6QaیơFZY^n6JLJRxB|H^FgA9ɮ&G Q'cVVxڅA((lS.y0 ^u-7xZk!E%5TR .2Vp`JGF'M_WBR~]6?:(?LdXbS5jo4NΞ 5.EqĢ9g JNSUU$Յ0|F</(XMBB+LY IL$Bc=_q|S./L*iT *>I|")-%;rBI =X[LjmY^%*;UO` DB`X O ڊ2GtĚ,tCkˊ-*vno?]~1хي­3du*FJ}?0a>^͎q]q{TY8%ZgrHyu:ٟ詘PGpT8j2-j4ˆ} iްךCnTK7A?|AsTE M4GXʂdzn-g-9U0e(ia> 1 GǠ|/3 OZ{%mV}:&Q) mtmb^դ?.4 ;jl5@ӆM!fszS\l,,ځ]p"(*tnT>D #z,"YƔ̵"-`Z}KКFzVE@ϞHGLEFNvu/57yao;OӜH9Bj]beSjZNTg9ps6()a3I.("&Nv7_={{ 3؉DJ^>^ dn?kAs1e/g{ObHҡ;X-\}7ᾒh|4m)[~t^"%Ϡ@щ:j/աny JOf4vJ><ڡ۔a>tTrv`A吃 Z"/fI++Mhh'_El):.L@t+C?roSw6D q򬭷}$ѭeHVz`8Nܗr"1SJf Ra}_.ME%ZK^9! t^@EJqfܙ7_+Б噖,YBqx,se#l% ENdKė\8@ ,4P$%&3833̅Z_|jO?U[?ewa\:IR۽6!Z`lZ Yu>?|nX'a-poå]RXگR{H\ͪ>MC=Z֋G5ʢ#LԦ=5ϔNzW%TA> MZ/)L?^ykDI <'y " P ,fþns)CrUv2QPM׹wɘQn wÌBnrM]v= 3cywXD&OfțcB %ŐD#~|yiT,ţ"n?@i2李]Y&,ʓ[Pb5O+VA0L78_̉!6\HTFn1@s߿%`=%tB!u$z[~%>8PUy {rYB@}AF%ȓkL>(1|3NW_lxsUo=c> [cΎpɟH`C264* xԊJOipvʸ7"Ucp_vٷh@cPr4&EI: Z:b`,rzb+[Qe|)޸V\ V}"t jz/ p7S=H5:67hv 6YFc$T'8Nx!U_c^ZTk| iDhs>lDQ7t;ݪ_u".,~ #3SȔJYX; ) ԓ@e9v4J=BiՕEOt@䲭͎/5RRVmTe.R=i[yDԯo0FܲS.,nR-M 7 z~`d"yuE[R-6R>FnRq:?-MW:oVX웍mp>YH^6ё3 $TVh5.%4:”AWBO }Cu1T@)'GdozNsajrCalX EɧcmHHhf,!FO1?yt RyxO=JU!0lv..;: Y@"^G,2F? ;S{ܜm[< %Se&*u^/0 9\g?Bb"RVe'I7 cI]$$&^/|f [.$VMf豷ת+H^%KC̓>iKWmaߜTw6!߲G?~@nYqy/25y)w~h"1;+jl[ԅąqZ_WU`S!YilF ˨~0+Bf7/nPž͙ml<<Lz,,!$c=eJ5tԝ ^gGIW 4qK#qņ:" ˣ碬K-BIe -Bpf1 8 x4;"Ƈ\`3S6h^oVnJW9T8t!H eA.*benb sA&?mw:qy(Wzl~M"sk1;p@r(_nt[_ (4mL$Lt2hb@{S]pʔ4nmQYGnU?}/%y5vU5DVxj8(0d %ZM$*sJRζ:Y}TIm!uq`ߓ'#-y>If188l SҞjt8!W<˗AI [w'kwLwMv#+w*uA={q`gax~P3ZTP~/K֡N.1BZa,3 nS?Q.\D LP~Lw}jףū |^;xT̏RPĿʽjg&naF܊GK/I$v B}kUol^M^Wt-^)#G [8|MuPp8d eBo[$~ `gGN1ޛ5JE 'g) FV'F!fA;s +Ӷ׶.VaoF#@TFR\z8bg̈́nvCceSC<#`_.ol:~%0&t.q uy Za?L-swij[D6m,?mEhTҏ\0-_?z-](Oye[Hq1Dw~غ=Nn+Su6cvz] @^eO M]^im޸#Ep$YsM4楏]@q6jF >gF8/AecWPLTL]X5z&֖WBj40|H^[_)s#\(,L%oQ`MW'$]0cfԓPD9[[&KÁZh6E=)^q/#e_APA9/Ϊ$Un?[BpԊFu/zynU6o{.G +ˡg5N3!׏l]nB;o3{YY;YXWxV;)uty*UQZV]htvBK( 1+N[kPΛp Hy}[oN"TAGMc&+]JJoBdy pq@!TG\ mߖVtAnߥW_Y~EFĞ@|>LQ"<.׊jmm0iIcC{?ۜ&*e_[-H ى$D}d8L ˱kZ$P?ltmr&2x3ex] s\fz\k-޿n3jcC'*>`PZ~mkZ \ nTvrzM\PwljNXh=~C(W5ºMBN76p0鷹WVEY<4xfvGATEwcylv^sOE{ӸV֔E^o["hԪ{ӬOSLRڕ&s%JBTn>,KUIq \SD%.ҏ^*mg뱞ʛrvzqP0Ta]M^z<*Χp)5Ы0GQ!dl ozc#ktpe <ۉN`%"?InT~F-aU{QoAY.c 81@x}/!+Q lFe(xc3*.-V{B ąK~eEǯYLio}#uW/SbZvg] -D~H;\Da4pIygZ ;Zަ {6~v +q˥-.4^W|[Qu}9cz;ǻ$xc[ΩRq1N, xN,s7#{ XN 47< W9&q,>gG]Y˜΢lX!<2y} RȒF6ֳ(ϓ|) JC3&sE$!m_EXBJu:?H8]f.10ɡP 'Jb,;zA|7Gp-#hYm3xzS!vʬCwүY7Bƻ@7|:܄qcfiu_0=T/K3n+ca;خpFa‡#e]H?Pc+/TqJE_/PwfzGOҋhQ@ÿ7!y|rl M4>DIW&k="w2TjBPC?*jc?DoTgh9>@X9,Q I 8.cK9,ZÔgv@\}u7C #Ys9~]&:+\FNū\;(3헓f?]y\ٖy^YR1 ʇVS^^P>B## Rr#\# GQ6W `>ևIƣ>5g>/a\T&kݷnv͋ېY׶kz-anϯw;f&,b; 9XO3XTEW&v$sg4-'"} `T $:_~ۡRj<JWΤ )Di.pb˸  t U$4VJR5FkD rsӟT6,LI g,d>#S_k(ԹVNHPEqO^s.u*R&k܃nc+&JQ̉ܩݒލ.'>d3 *vcU8|@ +$ tyn+z9c=QK{:GUrlIٻuMYm[G[vk jB~fp_"h(䬳>"$j<+yG\-&: u28imn@W3=R(=rM eF<KߢbGԑHϗwzte 9 5!=ߒ5s|љHJ5gTc֘~\EK ' j>82o_IQ۪?*ٜ}C갗ާ͞+ (0/¬VyI f\ݩ0uZVEz*;0(kjEs)RLPXٽ7Q*UX;i|#aYרSW&+o>chbƱ^kM=&{D&Rdǹ!PO='D^T%3g(Yx+ Z3]oz:$G{;qhˇSWӽcRTv"JEG mC :oqWXi7 ҝc~zΡYOqA}YO47%jeThs-8b- 6Zx&AǂFps06QcZceQg^@ Zw6 Q/u9:ɀqS5]YH7kĻ#*{‹OD%-8YBì~ٚ- I'eO6\[ lځnH]lV>++F9 q͕`0qw\Z( p;M 2ywNSuz y0)i;H̥FS -F{2m"T׹[pc/h @gĐZoA;@N@~?`}"d骂& ڂ-swޖNУSQIkMC " FxFԥqj'H'+f.-Dp z .bV> PDnUb׈bmQX4a^V|[J^:2S X;P.K\gf2tmV]rCC< ͎7<]8aJ7sdv[4iYol7̭СkXo?oxU7 HWeOG [&1Sf'@WK'bdȴXM(s@t:MUf]D!?t5LZhl|iꓲIlg@.g4ItQB*$P"@3PN9{2,V'X3,Op. AL֠7_-GXh6BB3ȩ՘,ww7ojKSH$66Do<*479 n?}8[W(ABJUM`5d0aw|ݾj;! UmblRlCmTKMJ*J,2|V4B4uO@+|o2U?-Cpm'i&S\z+&bH`n Gp-<r5EgyN @Pe~wߥu%FG)Ѷ77A F>U91䙑.$ZZٗrq ;.3ܡѨF}M%^ "j%jtg9ۚ/q>ܩjV,Ά4 Ŝr>]s'bePGeҚ.4ϗ_ty3QS "BjXߌYaK p^[)FHWBe#gvw4+{ $ kyivSZG-ۄX#hϢiĿAD} '+"R2/C{o8;v]젓:T>: ԃ@6? ^-}NyP"4]%-]fqW $sWI&G upeq^pt+3ŎuqBD/FN߿X&U".[a >C?71鴹T>E@6Lndb44D?yb<2gVTp˥cpXvȱ[`6n =r^)^tԨ]RXFrS+a-k.*uLh\o-JǂPuA)mZE-'6#}>p{P/y}G\f6Evl}6%(Nrn뢳v /.kĂ ưV@ࠡd;`CZjZB eP!zu=}R qhdU /ѧKhǯ19Ziu_:C=idz68#gYZfba90cedc701466c4592a7b0f9d90f06a9caa8b8eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12 5762b04fbd466d00f5ee45c3dc381f05990da89607438f190dfe952d05400367038b180b699fa4de