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 x!|44 ]]]HOL-Proofs:threads=6elapsed=552.530cpu=1323.784gc=129.776factor=2.407zXZִF! Ԫx]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ ^d{ 6oN$0LsK7402N +:>_)QNk;[)^?7ݭ <l4gD/QLIkTCЎvW4ZzLL 5hJj+*hb4 TO9+nҍ_w#wck1PXIshߗ/íbw~1c`\Ursp9ruPRfźd?N ԉ)-;Zk6LslQv(ߊ'S jL6^qO[5~Ֆ  ! HOL-Proofs  tisBE:4>쑺XQww՜zS3bP7TNM/d5H?|J7ْl/:u=(es},9KUqNJY}ouj gx. m2g>Q48CcPʢ{5(ijSŏl9-*/niH\c7UF*mmU$s}eY!wƞխe#x Zl|zm:6sDŽ-0]*5B`BK6L!X 7Ubfn>2VsrL4O|Ϧ ?qZ."PѦ3,^xc x&Xb$Ŏo*{u#Og#tj&8%$wwhq3X@)I}V.T04f,nvl4pfL-Q9L)?j6Om;+=㋄ڤCZSJ6aƪi_ؔX%tGr3daa 9ү+ Z$ʽ7GN258Mkg&4_lU5CsyDJ>X01mZ[! 8jT z5 spP&/OCOfEv=1]*|>VT%xCI5{+aJi67st c3D,9i~) N 5$b2gi7#LZ4KI^v9˗ƌ #an@~sdoNf8"Qگ%Ъ%cq`q3 OatlROD 8ӌREۘ/nM!or/6 OMBD-srS1om.3#ǧhV| @g&E|BiM3'|%T/6)bX]w|L]`ݎ6tSp pht^g4Ϣ&e$RX$s59_!lĂ(X(xS9DM܋EZi8tOМsRa W]TjAL ulLƘ&{E+U6 ]lIеE]N::"Lsw7*<(BYݔүgmJCڢi:*QfYfwV.y}Qj'8N ]DvU^a.ɴ/p4isvIL`q]$@rZ )rSlmД\!pNK_Rˉuf"84(;|Oq/D,:H*r /VltNEw' 1?OɽV?J=.ֈRF6֨Gp@p³y/֡µ06 V Xށ#)Xol Z.Tv6K]l<#a̓P':`e2ZQzeʿU蓿,YH2F< l)1` i̺Ν͢wSIo%K <`ԙ-*I .6YIOH d) M1. 栔DOMۺ~jySNYJ( P*"T<2˟G|zs2 )JtaH+RIzA+FMfK:Y=6p7* _d/N҇yUs:4U) l/+P\ j+uR2LI5Q+(UۑS`3ipk@ڲ@>=qqtʈJ&ԙJ9yt ][H/B`KI`*}o$Hƃ^rXgát9aSK4l(E?E嗏P/-!2* ~;'e#r T4Ep3hVD-yJ5W~9EMRɲ0' hxk|՘;쐞FC +%W(s7{6i)x!jSiae,)wJ3u'O PavqFЅ0zVd3K(;HEbjp(CzHõqE+Fd[qVyK(?5C$t&VF(%{c6a'6eBD߫fPaDŽyGN)k ʦ+bJڑmkBDBg¡nxܝ۰ֳP+g>_L$/H|D ݎvr֜, ymyu55`}:2,i-Hzr=FբqĔLK_e| K+ FK:{4⮟e %PJ-SӖOZN' 6+=0]^Ч,I7Zh}tLӊtx',l(lk}.*r* f Wg JY A ޕf6rsyO`IHBd *e΅Zk" RB %e3x"52y 7xk$\“TaN6hw\6#1Ink$ YπY~/:P8g%*ЅZtSP;bm%U|f.|BۂJg}v*W+S2ŋ\=tJ hSY}%pcI%JV f=3)K g#A "y1dgYFTljB׾3ؔ ±bPHsXW*1Ɨ XHIrм{3{jT!eYMc (,|"YCVg6$e!zY_3u5JCZMB]phWRz{- )uQ!PH\wk Z(]3]u7XEޥ?]@]"Y$EV2F7м, irO +Hy@[vi$8 I}XF=:s@/ B7eMLRd*lA M 4{ dߕvτT݀yUսR 66 f֗gmft6% h aҕWC AQAwPFL,umᗯJs *ehC6"FhSUvr|=5֊5X<}pZWӜΜeDh{ KFm?Xgl6E˨#D!BM0 rt"23Jy@aNrSOl^l b 6% o` 24\>\5x˂_|}!m/|2 p3+%܏6 r$(G|~Dp@q~4fr7-H\"~"ܬ5DZLydށF,Qe]-~{/${P mO)O:ۦ&nq֦{d ҥ6lZ \pZؘUDh^|.ɂa ,NrUI5bwe/xRZ /RO@;ͼA`LGnJ: 4v010 j/&M g_-UFDAENPKs z}d{Gas\ohy͈+C"ׅNij>Ri 32sȅ:ug5|Oq=0γeIzVR_zcA]cprT5Y1>"{4&ZdCR4'4ql\-q:!f%ek~ 36:5!^JqAOmJ5jvAp+ZA]Eh(@-v<i5`'"|4駎Om s"׷C=`Sd\ȅajxyq7e<(7y4Z`?Ր[K :eU9>|yu%_#ݩ/uagYZ7zXZִF! ]]ŗXiɟ29aoʼz[%U>EM!!*X0p78^^"!0%nW)*IuI ե{DF#G:S>~#dSG]nTQ]|L)[` sPߐ2%c+T$>XŌq >b{16\&+3czGJBEigVpƐqe"~(}x+1j(mzQq+pP$)1k/Ĩ{F,M_;) If漙fi?Oϒpn֡獥եɔº O>9xHldoB~g[5yp3sխ3lIQ)rcƷV"Wh;S/驑Q8R_8b܉:ݶ}eD؁-q fane54y.FLް{W ړ݁ʘ-N~Kh]Ƭ;M01|LÀ&My}_WZ${* ]Fo)9;]$e8E/%[LYf0 nY:iȠ(6ޥ̜+ͱ>L`Y\1ճۿcR/`NR0Z4#>"W*\EkD6Tࢢ=e䫚?Ѝ=СMl<yп%ݕák3J:@3_+S Es@/؋fx"Qm.~V(ކ)c@EN:c%6Vw.)8<2.V{&_R5J<' ܄,QڨDRzgHalW,EU@=/  |R"$aP_gip .K8Pm8+VypPڹKlX)K#K+b Q2 B)$aV#*s:6C(齿wcOwU2^o~Q %"vۚ-D/kAJ*׷N<>/AA&¡WwS}K죕H<9<"lh4ɷm[ڍ5Z'T%4@OGrq6$<)lk~dbj/9>!j /%$ >lȧ8E`OuE5kڢL`']ڶ$oQ/ȂDyV*+li.a:8ġ7NJtk 7u")Hg7pEimÍ$"  ՊD Yåh8^Iן]-rE*ޖ[7M >+/W/ȨprC"jr凯='){(2͗1N޼qq L9p=㎩bUɲu=*-Y/mͶW8@TE ϽMfg פx&_N0qc~_3:e=qr썤Np r6d.mmgfIY#$s}JI(i F@WQ3^M@u+IWۅg>Ioΐ2Yhjv 26"90]e7.0VKՆMKsbqN 2ʕgYZ7zXZִF! 묱]ŗXi%BK֢[]F\fW͵%TѫnHߒڡѰ ֈb`]8;zɬ*z5S 31< `C>[^dգ]ōj"S ֪N5:CD(  xЃ l^u;! AmW2v`Ǭ5i|UtޠT;͋UItu;4ւ6Prpih()0^n 8fDMeE'H6kQ oE~Qcʺ4^/?(S|NY~Eu mL^:X#I MWGP\\)4mgbSi9Bd5Mk1A ufcѽhNQ;]2IܫxP&/.9K;/ ܌^{ \?B"!($nl CB'iLYZ2trԽS\ڲM=h-XvʂPC-x[IYЖu>>i] J%I0c=%y[;avbho!?.C]i `jJ;5([{]@tۿS Cxh ԴDƷ͗cՇ]X޹\%EՉgssΙp ,G|LvwWӯ5-%,Vl3$L"^ |o?|'^h_w-3!|mbcb#en]ZTк\9{5 ܧe<8M+ WO2iI\EIbFs9=vƱ. %c|Ap[SWې6ج64r&Y6uZ녦m E Љ%' !֏1 ^{]q/hw/J=3!M̈&6| s>m@p&PtFxrzB MJRْRa6O1#x?Nb"ýNZWMDo`#Kl/vܴ,T *R1R+Kt8K~EQ=GScGt jT<"ȫ:)n{kJ QCX功\AA%^\iؐ1]E#GQVumfH'm{ك?Rrn9 ~JXMRS&y$h[XR|mv{K u-CԍT6DĪs=t'x@!b> JO* (G]"M`9҅tw|_}%p="ҕ7qm}=I$Oj2hgMwz7acCK-ip* _a3c?Vu"X&~-~[H)ۣ%>W[B0J7٘yWTOKV$!-K46Rjt<ESf,b %n0+ ˄ ;<✯)NVO%LX|jm<)TNj.mwjRZKI=;A\S% =*FERVl]4n-@?.0:6APCrY辰QOV ^W.yo<i]OyۃO1őB \3SOx]Q?jUh pׇM S>R]R='&\<1ۼF }ߎЈfS.>ef;眭=?_Z| <"NL$1kh|a>HZ-5}4}N0-|'6u?|q s0]3})&;k9a[0\&;F?捲hQVdmD_X!gHH;G@LȰkbxbmO%77 } Su#/'y kŠvwߩx}X/IphYtbhq#qZ&CbBPb}X)tfmq⌑Ss oJgDV~U"w$v~Ib,L)㌍ts\ziD^c`'gwVl Q]Gyl4E/p™?Ong|eh5oHKSJ7.cQL(F9%6ȸ83{ZzLL$,p]yq}ڷ@nH4ODif1R+Y!}>4k¯\% 97"CѺz[꟠ǘl +4o`a`e v*mZV՝Ɉ-hvb/~%S$ҹ\sM:QEhG k/}N NPvN} 6y!zt5埝 |Tpa=42=+B*tjWKLF駦tq#RPU.:=@*gBr^'AjU2r /%ı-=V7PCS1'An3Đ:X: iG7S =Uop>uK.%Qtɉ_+oi ~3`fv `Pyx>;+$ȂH(`lD} ANs'nI Ȥ %7xNSnx82'?WIZ 0\B%n ]T)Ԍg=ǰQ 6bBɌK4#NCň0sVTAc`I6;ڝM:Մ˦{ڋh-_{kjCcu4g}$bEPk %[UkU\|Ŧ&{׵ 7xzZ7r[8vKFVo4PXV@7Hȥ}=Muϰ5͓ԣp{BSŠ>U؆]".Աu#ٍ"+7d?d}A$րIz"m5lټJzM'gQB_Y72J[f&@ y]YԝoES"G2YN9i i-G#gLoRJ$5dR?%y]rFG٣5D- (<)AF4"m7 G_|7pʿ sII*囪GIgIi!(h ы8i& n`BN8*'DυN H55o%u0GglYO79Ͳ*엥$GAI6M JJ_p}(#ZÂ)Sמyjf_y n 0zrfX-(¢UZrL8Xu5Bl/ U| #aEgSI$dꍶaWYP1@2 lm`Capיgص΃ 0u|4טa\IY}b]&%iSEՔ2*ZgO}ǵzQBGL\b̔Z4x"ܭ7!~=fTvw:9J/VZs}HuUwm `efq ҡ9ԚYB1Z1Ѷ@} :LNkIPE~-٘F@f%2Jy<XP{T|D D7F/00H Yeq`Q4&{@ok]Ai Y7P ac¢}7C~UΒV+Le.j'#n5d_uc7 kTCRAËvcch#Du$yZ :ocz]pZUsMs|m ZI*.9"l#H +mŨ4J_rab} $Kܿo"A$)cP(`6qezj!z8{L>˜S|8*Lߙ`q7 ]J=gTM?z&$Lb 9ۓqzz 0dH٣QJI?"_} ɐ p$"ԥ!?ӅCuS1LS vez>Fg00o;-- R Gx- 1~#5u+X~ZOBf#ƱqE|CBvG{zˏp ?)eH kƐ'9p XYFS3GuCe__'cď(.5uA_RjT! yGGLۓ-M|,L 6.=RDZ0KpyMe!صvL.r1rtI2NarL?5a`mS~YՍn^?Db-Dwˡ]tFbVglx[˥Jmb[8%kXy-i*{ hNToCo'pL t3gnYɡ^M zn%v5e:INs <nG~`UPqq=.˯m>25BUIL4` mHK~)r3۠l8G&BOVufRN EKt7%<%V&`DǛ1V?@99L:=+ oCJrf~Q;ˡ++%q6;.Ea!:# 5ZtnYQ+?c6F! ^" H"Cũ}+X*˛v4':j} 7>#n|cRXSRlC,n.%?vNHOC7!NRM%@t쪔KRG ]jA0*E Y3xWuG&b@gE]}iP?Ks{7_CS1r#륭4&ѷ.ލQ Y 8UD?r5[l04Jx(LHqU24<%R~cCތƻ|Mލ2ĎyAtiCע8-9ni$[QHkrx_4X S A/3lnb\sP*7jvưJX5o&;? mp~^9t0,8`jrBQwp˜0>]` ^J^s"4hvrhdB(|(J_@ E+0痧bQj%(}Hz8ޚUn`oF^pNևcl+\055AYE!L=rf5CsI%ٯ rܠ% b֍=kwH$yivuDw=[0=!ƲoI) CO_ B@WY2#9$gW䄂TV/i}LDguہz?Ftj狀 B>Cq[p-X,Y&dIP,M!zZDlE$v ] p.c;}n..f޾hɾJ"WQi"EpO 34S~[”d:K<|Jғ9RC 9E.`Rص&cdj)E"Ԇ2s&M4{A?11BuFg0Gyh4`{S N_kn$ |S0k9I~wGѻLۑwplЈ%խ@|?֯%r:os!|e;yhnHSq7yyi?vJA*A+{IOS0Ktc`/AF*<^)MAS~ C9ՄH3E>yyq(W>IJ'%p?aR1\iV@FfT!$QJ(M pHI[z|w,!\&E%,&jF8׺S@$`MN,bs=$\̿zuv= V_*kYN XbP{D)io7^ʴ@eg\vSݪ $Fcs֫ZA\G:ڪ,htgy1AhS1Ӂ4XSף#< d#c#=MƎNQkx-d:,>fm !5z_ Gs? m)X|8o4h'֛V'p8. ;жV <.y~b,jK@7D{d JȳQgS'~C *2x"6yA3zBH5K1(BW$N)gGJ JD-syW\Tc ҙS:Yfzw^"Kgnp g&<%tŇINJjK5q*6LI "s0zwҸv\)tF\N!"qwv`Ye-*T^y⛫2v!~[ Q%8o1ך`]:4=ekڳԵTNĸ[7: Qp84Ԯu"U3 X݇~/Bsvbu)%b4 u}PS4<*v ':Xoh8pEs!:d!w/Sn%m`m4C}ү& u= 5Ò lDc{ϓ-ihH m6t!pul^ -w$]5_\z0v< iܕ^ÀޔC抿AzM5^9*Bs̩ {1?FeTclj7x2Ty)wTjb|! mtu9:ܧ2< \wkɼ<'~g{nDG"rB))מKic@)ψ:דĥUEjؑV{9۬m6[/B0]֭OL(N?uG C m]eJ\8gGo#l#8 aХٞCPj?X528}j%=b:;uv>5OyEP ,y4 KIR!5XaS|QA*8.$' ҰB)c7LM=Uvۜi-4wwfY).Z8,BGAwp:E{օi$.*a *طSMٖbF1/4uSSF&\r7 ^yrS4?"ȯ~A*c0pG;IcEfM1b b* 뿼:ۧj8$!!%t$]$^Xz0+:EhW 9MrC<"/ci4xZF4fڜ<=`]f~v!ѿAt;q*=9մ"QCOÚ$H2ʚ]G{Cq ƥp5>̆$ٿj!%x[_ 49^T\tĵhH6l3J@ EҸZEޙHvD?3`$KJF0-ԸCTָT_&B*9ge27e3ϗ7Tti;;ieD9 mU,FbPbUQ|Lvz>gswEVT0ˎ$qro‘bmy@]%k/xɝbsMfAI NA ̺gBPD)8ԝ)p;JVl|ܲ!/[XA[PJN0_6R*㳵r5CLУKda#u!2 N ʜNيk@J_A:lڀ|*vp ?m4iny_uӣƖ=u x炬H <| 7R.%z$? 4x=wT4Ar_J)xBHm<%%; [l }͕BV+\M\R8/.H~aVcCZ J=Kut2Opo Q4 ژ,sO%VRF|߳^.WiY{W!ruc.*}YCͭF"i\_-cރYO-z1aη{2պbх{UVQoWd6Jb"X?:_.tBVLAKKmۺ,K)8=șan=cG I-GY;9@2ozcaCQ$C4HUQ/ JNgu=M<ϥ)ߨm>Cbܙqq q*std[h}cWj !6`FR".Bn&d|'M HTJ1Z#2!Lby-k7.+\QK8+V5:r>C19w]iJY%V 4uǺWBK5L"plq]ԱAR q` X9X[ SO5OKa1*XueBoyt0X~ДT"RKȾGX5'@&5BOZD{2H4άN8Qb-qjpzQ7&y^' ^쇻nr2uQrv'sǬnO%oZޗ߽VähON1RWKv趣 fe”^s(y\jORO$Y'A)$zWeֹ,D.0MNazr*RB] yP"3):G"[K?H"<6_7]MJm;H?X_~ϵx0V- H 2XQb/':kDWQjB8^&֑p\u'E$Ʌ q QBj1 w/Z^>MCϬՃ*Ujg> @ȆtI4dtO)xs_OhP UZ'd lGn>JG2' ÔW+nq:!Rm(:}}PiYkPee3ң~HF^2z]uڰwT\|jtP o?نb#HFM!C1 Re&k%4ZjK>Y50*#[U1' xPIN՗ا`SH!0_G9 m>FbJ 63u ez$Ԝt%B+'H ]і']?(c:)~'5[ _f;&À*q ~BmC;v /ӭ¾Ic(){17;.@@d#ދ|~~ xհ6nn>2%N-P  mIPiƷ"JEt1p$jR>?qUw#7J|Qz5URZs :"j1['nq[Y8h[zgScJ3Q׼#rڝ8vI{1':BT{6\GPPP}sXB2e PJ_Kϸ̲\찋Mdt Z hr XYxNRե-_p(D6x'k|+uJi>1;+w"rakLO8hISPp!rD,ABe')U'1w7.l:(Liq64:y,b3!5 8i}ت m+3: 0M^yQ:5d 0l{,Z=Vǰh F">/2prm wחk,f~@6z{dϦ!|PR=D{ bl:kbZMl̇(4X< qA 7`o^}­@-Fȹ wFӀqvQd`-J{L1U^ty KMfi&7AI S8}+[5V)1rƙp®S?1f}mo\e*ϯ.#- xmhۋzrbC.܂v4*[d_ώѡ8W/6{ݺ*} ]/,=gMK鎥rr~R$Wl&+ \E+ϸ8'>|eW9; VY:9f<E $x 'Ϥ{7 j%t>א.Z@'BAyU5u!FUغEUSRGT/B۝!z hәZA(E2xFN( 9$+SSq(XiV)c;ZbV?>XtU"E5UwB/mw G#[FOALb&*weea-.' <9Sa00t[,397Ƿ71bZdk%0*OX["pR(.6]<8dyTð| 6daT}á 楒baf6~l 9ԳX(& R5c5o59lo ԖirT뾞kY\:@ι AݏVFV/$e3}ADcH=á:uE!i.(LӲD!kNj9uSi B5曰g$ڢq3g;:Ǭ7%'QDU ._3jpČiѡe$iA2.lS{_uk/b B9|'Zqv A&^2bW W\ %T\^:c:Ne:J+<.o]4wJ݈-Mh Q( c0s= H)WTf)&u,vr4.%s X6AtAL%,;|8V|M'nʖWC1i;v^ (<#&Y5=@f>p02BCu{I/'10,l…Ub[e~W~<6՛LfOE.IY3QB`:lC[b͞Î_nLFW  ;rZ _ެ+BjzQs1 ӧVlOE  Q֌0H{Kb%N$v\* }nwg~ #|YύZL9hZt ]h>\v1ˉ&{ľI&KiEi3TN'VxuJr$%r3 R&d>DL/Hy=]1聒Z6w\:h}pYz9D+A#P72XHGQN0,/a6lhj/۵4{΀p*RjŮ\h)fg ]@g ";}:Rfc @h^Oz4{Gb$eHz89~&m|A=GI@;\Sd'#}[?Y% n*zsVQbdbs{271;̅߳ҵ|/sAq0 Bϐo&R*a!T( +6+iK۵ F( 3Q#qQb;S W/8*!`Mr$}k? \Nӵm` ,^6L(U0$Ytt;|Ue$ 'M#űՑZD06zD8,CuR2xDD =PP[lҧ'I`$V>j.(8~"N)O\d:@lQ+U?sOHFHJ "G#c™-g.M#<Ӻ 4PxKI:B.Ր us znYQmo{ӢpxbߪM4Ҿ2jr vDp(@\\ IƠ5 ۊkXJiS: 3BŜϐɠQ,ADt+;p[y-<]̆{NA!$Xo3Q'2/Cʂna%d z1}_ 3 GK:HkՋrDri 2rʟ 5?wi~,g6/=LN q܈P^1]4eDϛ"f \#gȫī~I>u ir9p;+Fp{)ZS1$#;Z[T{L (lIgo~5,6ѱe0BΥsrIHcEH{{OXoMqY|<6`~0- tbKqy5G#' %Tj3Z?UzЕTїaQ=gR,_sv:OaZ 4/^v!|vصdJ0+`2E(v~!yVHkKHCY/32>My*()'a'Dgu෥9X=<<ȗ$&aqj8&?̮ 3@02d&RWe~D 0 y#hڂĥ"n'G^^;ի똡/$߿.(fp* 193=zJPԬek H#:J/thBK0MpngSc,ҍS@1TCEpL\{w(E k еp'%{ 5jcN{gl"?kv_+`s Fc^=UmFꟽ,CnAEĸcjIBc:h{J£ >/(]h~W9k-͍W_{ >Q HgBJ$:A;B_ODCwN-n}1̏os段P*QLOW|N;~|[?&J4EY}u =/w2Oý9R ԩ8? &{XCDMI'dmy e:[5I&EnHSatìHz/%BwuحEsIA"a0$( Ge uS̊.MuzL0Q8Z~E|9F pvҲTv;Az NR"u- %Xfw8=A `My+N1{ |ȩLnE=Jk`8)A.+~L^ DyLO|"$9XZ 褾G [O8wTA P GAKu:P1#U*)D4I}\+z*at4ӫ6[L&鶾F\d~ˁ Ίp=gE]ӰͼiհKG%X4҄e;༠*[催d1|`24ˋ 슕ŝvfdz s-`Wreg.4:қxbSmnm}9 Tyʎ*h.b1YY‚R9nq~x̰eڪ䣙.T/XR_}1Cʼ!GKSyKeN IlSCmkOV}R4*0ɲS &JbCմ(zP xhW6'"c(,?+Rgh?qKKjܥzw"` }X{Bd(U泌o >k'ɩ ~ V\^O] K x37>Sό/+Z;jjZ,6 30h;+Nߒ޹Ct TE϶-.{,:*cU^niv X}?i|9 {lfԢ&1%Ƨ^# N{j=+*xe`*a{<6,VKpT>Wgiǩ8!|? -#=WG`ܵ`6a>3 |($Y6h?^̵㱭U/ƥ=?U>wi2m|d"k Lp^*"[5dר8w]7pț:&8:9j W,R =Ƞ3yQz'(”G夥s֡%h||Z_JI8jOƦl]yJՒ9]@m|FDCdYp? !Ȁ9YNtJwWrĉKQX}ƅrMɟ؞6Tf a!s?],";Srűbd ji!Hv$w;/te~ D;#үjHU cHRMpc5/.Sz|B1Zu?:3`BQ6d&ɇb#ċQȠ:oAvw^3*z; )jOSv#Q6b3\AUdP#rVg,׹ځׂ0C5|`p X3|C?oҨq Zjt#w5ai@*&u(x7 / kenmpH[=uͥQp^g,\gа.0&n̊*82ue,^$_o_(zJ&LYfڑ'8Z j3]HVߣe Dێ F8N!t-S7ƈmoƧB˺@[bCk_9?` i(>?|b:N4-v9]B5}c*v)E#եLH~ r%VhvsKy<ܥ|Â{"dQ푵'#Y$M~TRL:>nėȴzm<:5ucSѬ d?h1mIö2".6"|yPE] o-‚{cPxVH9huW˩2Z aZ;k<'[ w>׺RfzN":`1zF3A~cѓq(55=9I5CJF4` 6ˍ ͥj2sAhxb2.&B 8n&byt.@)Zgeg V/B1ަH~2-L tE* OUIrWJi|J`p1 rv;`W>u@PQڋ |lY%D+@B&3M}ctNlPLU.23bo"_L UXnM`: C&|>F7XO/Wi;8ߧꞻ#9੫ݫƲ8;pT y3o(?o&!$ fJ^%YƱ)jR|d3g5y\&Q?SRoq o SJ9syދJ_kS M舜uK;--qrQGRlpQm/jbLMVM|َp h.f9F/ː; /QA ZhMyr~4Z,w" N3@j_FMZ]v:(U8ݓ͆nvabCW'*DK`ͅ~LB$bJgNwKeb (jED +Go kmPp:b%fDD!zX]Faʡ p!Z4=cY/"@B1ɨlQT1%nUD#VU޵FBsٴ@JS0웘NA{K+_c2 4(Ab~S(rB;HM&5Tccjb5$ yzc^dIJĂ 9t>ڬL=տ\t(n߿fh{g趞_xLET-uԔBrVPcF' 1YSZMNfv[fw}䆴 `Sc(Gz2sU/:YKwZ䥪>̉vSQ4RirjmKTį*fwQI3^h発n[ʝ+Ɛ؄aM,g-J!~AF]u<Ѳ ttj }A&dG*]Gj+؆hJ8nębD2Oh풛4LHO ԞlHwb `-ۛ:,ẲJHO3P;jȣqԟ`g&/@JrXh[+mrRc 4HMW4V$#Ĩ8޵0S:oS7}ķp}G #9 Vn|"$}f}@/Bgᒌ@vY}<Ǭuu *TtUA'ALQ߆Sj6pZ1$c}5`4$d.׏.hDļۦ_PF/)c5Gq(M$M/ H4eA@K2 -:W\*K5U߇kבȀ5(otߜ+T쯊?r˗ 3((JI|q  X)xtIz sBLaO :K QJA_yߖW\75tKdkɅyx`$#%8|i/8GCd@ go͏ubl7ȯ2Bo.PGz]'6Q/kt WD*q̭ FYwm/AALKXx 9zTeje+1UrQh5#0Kw-;F9 oxŻƠ,@\L=d_ 72]wGAq?vj;w&D:Kh;a_=; x:k;<0[eQ_bͺ83z4`vauJ䁆n%eĭ_PFMs+lstw;)>S/my:+{lcuvuE UZhX oG|F}46/lvZu }Ua!%Mm4ꈄJfTh_!hث#v4pE0ږ45-GRE& ш@:BW:xeA*lˊ#j//W?s$<܉J.L ~xKH²Xf S%Yy6x1ft햙F͌qw_sA@_)2/0ƭV63z`o@i B!8"їrӊRٓ&&LiMM[;gK uW v@t(DUS<3οP=}C r:Z;C_퉂ޏ- g240_–_Ǧ:r /4&QՏ0fIu^l -=CXOs$Q~v!W[Q!uL/6 &YB\-rY&5֭@`ּ8j;QOrOK2v7;geԺc'lɳ4U `î$=nCH!dPtyu`mӚIMH-o N~t[,K]i}x}]!iIqw6,kKTPϪh4ܳ<ZeڶZBҤZ7Зv|ϯY)c*#,ktNhp[D) geowX=9YE|ۥlPUg7׍| a(oR R=A.F{YzJfFp9K5 ԫ%s3.lG2v/zEqH#,1b'aKp[b zzV5odbULQr_?(O+ˏxc87o%>ğ)`gXI ξӺ2Z#rͰo`iJzx줧m5=  ^jF}:TVAxسµy쩏x3ϥ$6SՆ*`vLVD}4F- ʴ(KUºnbz1l`\?%CALOz+([|`)4wg.~(o[ ʹ6ש+$,X8c9LJ Zx]##]#q(@$Б1O4Ga$'RtnIOQhSMK+q(h:Myi&׺zXYqe);>.fghk멬7SME'iQcKM#c'sV;c[b !_ GA-,k& e._Z8#_ΑG H Wf~3!T("oT;CA 3jRfLcFB{͕llʑƣ"ZI&Ҳ?}Hߏ 4Uu>WIfHwJD<Ǐ<}zAӰ@X: :_ 8ЭڀxiP @1M F^`{ހvM僔iMAa&&M%TQXYL¤К*>L`qTadvYUp@(JBѮ19?jʞm}Ph>Bz랪:ckoXW!>q䊿63??4mǪ;//O&Gޙu ݣ62m. G{֞u^/sDn FU(SIߡ61X׽ 9CCK+cfFO.F^jXobB f2A`ltd#3:$F^{[qXGn^先CJ oz]4K|v]ndzqd[:A'`S*W"睬jHorGpG0"ϛB{SAgKPgBWR!BLN"!Ij('Y4v-^ލg젩Nt'pJ7 k$Œ3z ! * KʊaoCog:m.O(hHy3l<\K.U<^dJɭ@iszZz%fqmkX1}y/xXa(QV`5)Z] 5*{1n '^;KJL04`,Jy2, {O:C1@ƅ<4lohR t eS A =4 TǔW L{ تmۭ|[D&GF 9`"ɩ0u#y;_nŅUIaԞ\wtr=81O%8*ZJ2@T)[Z]󥿎&lU?MV <'>{k7$5:\n %G@R9+vGK3(R /3[;qE|NJ쇧Pm5,#m93.*1ZQhE s۳`(%B{NG:G mS\ g:64+_bĝ⇾%9<Z>/wSZ# HNT<~-2-hInkZpXJ#ջ#?򪑭, _|!ݩ_t\b2`cl^F,U7~ou}*6?FTd=bF.U:#>3ꏲ:8w? [=u\Ih)w{5,jAn5t%KbQ3Bd+Fen<wZrZP\0-nB3D. ^l}Tk4> -lƨwg^b,Tt׬Ar2ߧ 4U1CVkUNB[&|Z'-I+<`c\~\~ZB=j=u0A+=Ȝ\(W\$O'C6V13%0 @U67SJa{8tX*q~ױ^s"#җs =Ӎa*kM䍼@W'AԻ/:kSmi 񘍙 cj%]l[K,k| 6t\ 9%kNo/ "$]C՞LFOAۭ8E]EIU8JiR\-5kz_7q[cGRast3؍ӊ07sH}FStx/H[3%h[w^ \zL g[H+>œh]@h·CL;#0 =",qMd)gܼj8?}GlffΞ2e&,!Ҥ-L_/Ly=~?f[q믗,jF!̓D LUn{9Ijhӗj0hM󡒗)oy‘ohB" ]N)0 %]&X=4BWͣYVFfSD\v+t6㱲~8Dz'LR_ LdJOڦ-uTƞ=@mƷ47(SQE`ڔꬣ!NvQ#]M֕˶ a3 VPFvhzB"K :9]L [ NKHBetccfn u #crh#.kgy\g!Aџ=9NAN7\{!b Cе-eVu@ ʄ'yPOt4.ypOlٓz8c$Dߕ/WДSs}ѿlٯu|uP+QAO fM 954Τ.sMM Cl3c-c^,Hi# zb8\=M\~6.(fS:n{VH6t-L}cѩB]sݧ{Ul}܋Z{pdXJu;oXz*%32^Iծ_vyE'+q|*};|qW/0h[#*^DDA6j->[݄ ٢ۄۘ_'3nO='KreJh}@`~-8=m^wHJ3ʹqOZWP 3tc}BKv,E_sni[s_jYxߐ@|3=p.I*b֨q\ID=UJ23Z/xܸq6-%e ,gtFۚ=*iWg67gF9Q{O*c$vJ$W +fT'[ TgKfi`ܽӤ"6'i! 4ű*o;CL-gJѩ!-oG>^2R9dYXeo6;[mOPYקfp3]ĈezٮrhHHy /ȦlΦ:XR+EVdc䍶j}b /.̠\jc[%J>OAiZK:C!OYj:8bv`OWWih/g6'-4X/B}Ҏ x Q9C@KAO4Gz'}f#(v2SȘZ.4Fd/3_C`8OWMwLl^2X>j8N r#h[h'$1 ~T)/ߛe|ۥ-_BLa9 (Pۊ8xܤh{1 Ym~bFB%&KDAwφZ~}nH`6vWXYý~qE.xbrBq3梁YIcWcA!VU71mQ=kWU\~@$ɹ=`0v{qDa\+N_1-}:zc@cӔ|q4Áx;j# hӅV,ظkNɵD"A ։>$L'RE4kuQ|ʦtuB Gk/~d@Ud=tdyA^PR)Be<+zq=Lڎ ]Z~7gË3m哵ÖVУ{4]xy5VD]S.%zl q%8ngM\@D dYz![c]X}tфp!m̃QQeC2qSHr҂0qTK-uSk*śrxv .wm'3m֥j#{pP6iUS߭(` 1օq~(禹,O3<4Q7XL6 jI #e/y cA=>qԉ;u"hzS'\6 H#(;%h(=O|e|V K -O`EK)ygA &%S#&K`*h}YKm=dwTbD2HT0ԋySK)~ubWZN"sS_OȂB1ԕxPs#_c=^DgsbNKoJ.օ[R5#Gץwɓ\~"mnL.SOȟB>,Do$&"f zY{`a𕻱ӆ VvtA׻=yUXcuDg*6n1 =OU@O]~NԦaarHҷ9{x -y ~RD /7_rdչ Um?ڽ8D̥8oXAvƬrhv;yA:aN@܁hk6hO:sW^ga8 ¶%a0 :>,a V@/o- uZOo"zir>tp@ DCNtYb$~\u$;5^nS ;MWNaȑj4C,tb RdM-=G %?\#N$޽{V0u;"KwUQ:=Y+gy<$&6W AܪuQZ2J6j+684ë1ğNyƹ/@1֑$CdRKV0@[GlOkow4c M} *YkBR*Ġ_*nGu)Q^?#CMz6+461>h>zcL@":AhSLho@mXZS8\d+@8W;x G>0LY0I>'WCo nHvwof#谵 :ͪӬa6Ul/xvE26d-Aℓe @9 NA|紀F3^7{ۓ[t}L_挳еtkMW?a[_G*v%*uUkT~W!1MXY[ F)pq~Qh(y -:,܀z4%PSvG}wREΛj*fI 4?] {#em*S>ߕ pw΋[@mM;~~I.7>JIp[8juMq 93 iy) ]ve1-ԽQDwl4㰕K0cV|QԈ{6\QJM"køՅ A%=ѤU>W"~'(K*ԋH$\9<\_!J8m}[y!`.cW_$ۼJݥ#*#K0*:W:觅#CT(bӻG V]j]c+eX+(n0dk8&ҚB H>wP@lW -2eS=ʥ{鐻JJ;'99UʄaІ#bU,<.8߫ e"ma3c+|%mN+S7 !,5ڄAK@|So"nϔKk +cg|%7'Åo<[H'.|*gYZ37ab3ccc28eb9b0e993b73722d0f90354514d99c895b1b1b83f37732e07998df22f424d78074049608eb9fb5e22144a81dba195d593979142db6cda5