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 hK,|, ]%]Transition_Systems_and_Automata:threads=4elapsed=251.194cpu=911.404gc=69.616factor=3.637zXZִF! \EO]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{mX qu KRDO4"/`HZaN| Z7uQ0icm MOB¨S5'~|z&;@l۔(%~ ʮk >F VI i7'&p&f;>4ɨԁ_7rJo&#vH9VT nDIQ@xFJwCeDn-5D`Qe{282} 7:L_59HW|OPw+-4ݴLɿC G/AdfXn T40|$drs#fI–J~\C4Y뮂#X'O8tfrWxkD4߅36Z?BuLqJ#|a,vk!BՆ Ǎo`y<q@jSi.O߷ŚTbL2xgcyO" r%ݖ, qIA WFP/&+Ȯk$/cN/+ʦ7̱'&NSC~D4u/؀o1)=QTtzGES<H梉]0JXжv J:+jtハL i%)T7ͭ\[<2~po*Ic`#2+1ChbO l swfǁ^bTUH3m(~͏$걢et.^Lj9 @ñ -,j$.$],ǚV7=v{!f0tޚ3Rpu1^?X8$B$SR Yx}odN.ǑH(V+s50Oy. 24x{?=]I\$9 QcqD7eL\mjU] sY»}"ӥYF ilԉ:wی} 1q!݃{ v,[5Jb d` `L؋WՀ]s$e ]y3ǟ]vLnQx^ح pr^!A\+6k5lRfOXHyw`A@TKp]?UF/xֽq3H C.|)Gn7$=tea5A4a/uo2͌m *lMJs|m9(nIF=i}Z%?3=@W#"|=~k«f#{ Yhy.9Mꦨ*T=;g 0U s~Ƭh UU_B]*W횎wKmK3ݿ5v3fH(Ry.Z0*D.4faTyﴈ2}.~{<8ۍvGn "ץx<HY=ECP[\\cMl7ٙ]H+\> F47dނ4O #n+>"(k -#Db{T ` 6 =.. c`م-PbG.t ʙF )WөW0:C-]hR_ꊞn +ͽܼ~qݐ}jPS@h<]b@am^]Rȹ.;o9Nb4 %1ty5']3Iհ^ciD#zv Dkh ?zgb3Jhks)n:bnY9A[M w]kҤ´r.ш\tٛOfMU$qL"=As"?AOpYe`# ל ]9HDy1}jvƕ[eqy-&5 \IV">OOŁ]ٽtsZ= d!4l?T=O!Y7*X0KJ9ybLY~YIfJzcPL%kJׂĸ8jܦw VItP.+n$)T9>}C)BN4hyIΦ!Rn_PUr~%7p1`_koשk[-GjC{4 0˝W\qo#6,SKOՉ+qel!9ȑ`j#1#>T&dq_%]^ˇ_*niXQC$>T2o|Z' DŽ=L,)Xۋe FqkOÚ" |h,m!z_BNb@oM tǹ-N<3^n"[1$u~!($0"FJab ˁ8Ӛg}K! L<3kf=Y[TOjr)9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%dVjo0|հ%WZs'dF AW`J]I 2 Q| Xt9G,o2;[Hɔ,-F,ikY+܈mBNO apb+d"'@I#o\k<>9#5"A!iʟ =}x+_ר(D fS*@s&;Ώqg(4:v1`.0+: e la&9J/ςGIz)F܇ Oȓژcaj "(3[7[Q+v%aSw FybjqQv)KBN; *m {6$h"Zҷm%9D CRZ)$fd!{夕1f+ןY?|e7) oh=>UY6%|38 L؏fXlz ʂ*}{ SD/~ps0VyzG7f;wrּ L×T[0G{IfMԾ~Z2jL {^h js?CEMu #8!n!ICx)gLLnje]H5b7Fkߛ*Ogq $#}OyD[mVŧ@CXN,i>ͭCY=1ìDwԒ+S+/\,qoCE"l"E Baa(\"B&g4{eݞ憚Pa x0Z~ީTuA}bHV60P=|;,,ڨoMu,%BC4шS߄S$EH2 .J\R+B`{Ĕ%Su^4v+EjN׺I{l]C8~cȞNyycWedcM;1X1rq>꾀T% ̈I5nMua|eq5N -ׅhYT7bASbǑ yy{Wk ,f}2~/kVa0$ogY̹l&k`= }-xe6un-$]"O |tng)to 6vDX\+řu' wiT8t)q6b b{2g3ԛ g6}_,cRD(gJ0#.Wgx-S߾3JP92=rǏjU!3޻9*vfq~^>u8 Jj$AFhtƌ86K'0LDRG5)v}5f|s`D;O./:9Tᒶj9vIdZR^3An[F~->u!-v-V@=V]ԭUtt?}'MWp':3܏S)B԰Cp/{D^<.Ӧ̠^'/m*7^ YwYU~3iIzbE3Vrei[Uaյ9rxႜ=v4Ŭ]@0RA4p|']B7ul1HUPeJN,i͢+K֝lꆊɠRf I/ 1дms4vf1H%YT(qX*޾ `?]dQ/q-}x{? aܶRwf;2.Y`Ok~%VOQy%)O xьF@u1.| S p/O椾qA:@is=YS"%H'al;N`r ³c܍?Cl9Bf̽|oDV<\JV >uwGq4e6 9su)f{WՇhtA VKO4DK+Q pk/eMs53[Ӟ95ge(*-?_ sν8]v7+k!ʁJb5cQv{:w fokkM6$?D\;^ g[B1Cv'|e0`O0+a1oG] bhYϰi7&Fᬲ)^b9wf#BXגkb=O^W؃oDN+LI6؆n ̭GmʟQSHiOν+m;NWsW9i1vP-z>sxS/^Tdnz┐˚RCM4(,͚РH죤xEZs(~͉+jQnhpV, ~ {U}t:ꦱ8R3=>|2hFuUY^2lm[p̿]].BVߐ v$n*|JE S\Owa}dѧ瓢 wwVljpšĔ#H47u@[ټwrԥ,AOvB&,*L>x\Wb.[,)#?.dQ@[?32 [tU_:xScQ)F㹩@;k3։H&*XI!WqܑگȤFxʯ~K+Y!Z?m5^QH%YMC(^GYk&ijgһ׏^9`oz)CPST*:^EːG8Vd3@W{\-Ë )L|̨S\!W^ f`Jƣf-6ZLMףh@~$ph[֤D٫T&2*l0 M*}*z%'Ů"ԑv0)oz0l/b0"uv"V: 5gCMBCʼypr3CG $)op`8Z!xHtWw+yOWEG>ƸLDgYZ7zXZִF! C]ŗXiɟ>P++ \D;?!W 2SFfH7NukRmd4 rmN-&gA]4qޕQV/MT;&g^:.TVEc7D_ĕۥ AUyl+wy5 Q2HԶ_yI)o,R1@<#JQWHXӆBIGwqW,K_~!c6w [Q'[dgn҈jPs|1%O9@&%jdwf͡tYBb?`^_ _jZ0~ Klwp2/AY$1*E>eԞNϷU]FJdH qԋ;ZVkRK9Q nzj^=Ek30i٫"ܞEu i YiJ__@~+3=4~iĿ" Tƀӷm|{9 }{E*J.kk 1)qC'51a$\#}2K]o%R;eNBiGs0Z\R35%}H"Gbf*"`"0$`RrqB4zM2Dɂ9+03D%QMJR|nʨ#fjnPrqvaC Vk7j&z)aWȎAQ(g]*'r:6ei፽B8VBMk⢾d-iҰTG_A!q܎Wnӳ>L,~Pڋsj-cvh+óbQ2^ {CP%LM d'0u/ ^ SD1x!oxu~Æ5,9Ê-rxxٝQNٙ㜠J7oZG{헗 ͹czνᑳ@s*F㵜u r^P+$[:Ǟ=zK(4M#_xJE'\\`L[g-RFPm0ӣX{P^c'U:lƁV.~% /ABU^\GWh.M#SR)W/4"!{{hk,7'DasFF}C' Kj2í^S'J\Jf* 2 ?& G89xn̩ NE>(ftU׹dAOy3Y͛o?1V!" jG'785y3=UXoRמ$:,7Yi`U+/Rx"A5ޗ%b@'ʝPąofœjmI)|d*0:bGv@ԑ]l^ 8HNgYZ7zXZִF! cIUP]ŗXi%GY#؄.K{gpoeY^}FU֎"JC{_ֈ͎/zVD; J ڍ-Y  ȼG{d(2%"J Fޮ,U5RS_Đ.u2@G-Zj݆B)eyAŰEe2y{8{H[ S߲ȴPFt}ܔ8{-I}A'Nt5ToJ 1-J ]SR0.kו* ;:XSv ^Xi@W8-ETu'wX|"N>=ĽۮzW+^յ`sǟ+I\_DuӖ si. 0MrF[EbO_*f>&3nJ /R}AWSAjg`VGI:Y1%DG^*2 z) VVҁ]-O[WaȲID\M')0 Iи} ab(Vp|,X+nOY %: ޻tLc(ňiyuӳ;3"(&_K3Ɍ2`:ɠ>C< ݎ_!U' U6@#S5xEY%՞Q8) ]B 8S/8R/bcrTb3Lgtj[%q*-%gzBd:[I_h.c&ER eRkP܏WgU{Xj+Z4,Z$aG[D@ 2'FEiљɦrjׁd !mhbn)\($c9BsJdPN,<D;ɡST?\7L{'@obol cMńϜѴݶÚLU0%_eJ~uSkick ([S n *Ce2PW,g-A.oVFS A5@?`5Vv[ 8}S"S'@ui Frj{$ÝO*6^DRD^H]JSg%#qG /"NCoS!GuE @:.4К ( @n[#\\)u~ZT"Fc{#'uĚ<j}0wT ({oK^TRuv+ʹfF.k鯂 wEޘ5SwH\p5 @3/^ﱺcwC$uS%]˺z7B.&TbM:~wN:5:"E)un1.W37*:KQ_r ϒ˦2|=\#5F%5ZN)2h0(lg_m2kv4Z3mCճvii38&wꞰ}ܽ &'(SYN}d7DS׷-:v!d+`&Ԑ뗜zc}~YU}F) m zA{qcd5Kҗ"7wiV,+W3%қ?os`,.Z5v1e]T.ymþ\RH м, 0'vWՎ&!ܼؤQ=?&][IW^ 0Oez}n-vdX13ƕ֠x"d$Z X(<@0$B8+,"p:1YVV|c] }o?k'&q99zKe/k9DQ[H1c 8abS!i#TUW1#M/mraV6"7fk0+fTlaU:Ecg&7_J$V>  _OBF̓F#M@hw=O#-eUUӇ{s` +\哹M+u|Y-Pdȫ5b*j胕P@\Ͱͦ?=cѵ~u 8FwS5|H2YOdMuk|?5rl&C20MJ i5G=e.%  8ܺ"ZI5kW턋[8R]J-E<)lFz#3-ǒy,5&gVi:\@;RX[G(L1 jṺovjid{.q$7(pz.q)ZǭˆT.!;GYb1c2l'ΛI( i +}2n AH`_O&!>QIH=FH5fY9mhOSQv1/j߀uٞx*5(3?3_H| (bz\b5x?_[ˬrS!64~p,8Kq n؊ Q;nΖxbǟ@Q`'DԪ.jK\ty<[:gP[7;5?YGF;ucmVLҩ{ \ ]r5 <L$iZp-T@'Vƫ2/F. +M*MfWEw6J-.E8U߽ ,O&*#m\Hl,j֦?+#6EZu=yT#8 LD>ë]l$)gƿqC8% nT:) #sdՔ NצLD7zŵH5n8 lkEX] V@jRJj)Ru[L_xьj_҈nޟ)J Ц5E~ b 8=HI1GjkI4  ?lquٳӓ(hkuJ(ޙk`U]Y9QFdB03{T?\~19epp3ڢ:U5jj›$QKE);H w|&٘PZl84*[dDFl {l>X40$E1Uc{i.jNCx .D%B& BC)/{EXx65ia0+ -6^`=X:d=x\I(S1D * 91^Cjgg}/{ZP&A_(o=LeCk2&2%ݸ>|#RS>"56 K{;Ϧ+S;dF3/՘MfiC!)}_{ c XlF`wk5oL₞pYkeUKl%w800?66Oռ^-6JƤ6HM%:}XcG :Yt4:lw0;}K8( / $1BۻU46L: aTyU yȞM{L8]ĜG?.a< 'X\Ԟ:0 MI/{he.6m@PS!N<39K]W 4`eǃýY0AZ7~Y obDZv1I5m訊t+ApR ΀b8a+D{Jy:jW;U.BaÊu٘ВݼI(qfn$[;bA|CȆB ϑ7s4yߢl뵽7Wj[D͗AUlHŽ5&:~B87^߿dLZ?DhikW-kAj΂Sz%t9͛Tt9LwDOK?Yc+.ӵF c$% #_P^;t'u_ ~ Vjqj{tz ~\!Lb~H}?.O)%Ji2D֢*ZI&J4=8#=uvsyԢz_GXLHG"P;T2FMz9Pb*(:n%쳨.ԅy2݅U=+ (Q6ðjoF4 P]Yh~* g"/5K  -LKn ,ʼn_l K<`)k8V)X->$ݑἴ$n9T0:eXnC_`xxY^Rge]dEu-8?­lG|A3!CCVl0FX U] *YEuaQ1slR  -R7b toRY7A[ 15/)h+04$VnZc)8VLb*}vkhdnא=+F?[8:O9K)'|#+f9Qx/֣2V3gиtVhq{7ƮDE 9Xڀd̸7޻J}TZboAi():]ǂAEg [iJ>&x/4X.$0כѰj|{L% V\Ka,rAj!3sJ(M$M[ H\^.o*-I-hxFXQ6ֵ\`7, TIGIVt8zjdT2RkMRNv!&b(EY6^X0rQDǵot8@;'< po{M`'Avwæٚj'2آ*e̘o*L'ť%G2_-fHw\I'΋w9?D|FF5aBeC og#qdNVx(A +/~y"b8>+sZQJ0(m0 1V:n$Dp02 @T B%+<\؅ԢOSST5LaϧKI[h }zfmxR&Y]c/͞˄t0~Unr:j2)J4HW%1~*LnN..n b5*3PQ$o7)vm(<ݞ5\'3vx>oׇC5.dفjM|h.^Q%8$O͖K)#?(Q`;so]s'3.ݏ؍=0nI9C/&hT$y8l𘌿)s7̓;|[v¬jHټuQL)3w~`G D"֡D= ma* Z/7 J7 #,, ٴ s=/,+F) L=ia<MBWavCN׻K^}1DpQJ$UFiNY*z^(!Slv.7*##BX\ʞ[ ׌d~oMedGxolRCJlЦm(]>™5.Wxk(z 5 Rr$nN@I ┠6"1 .Ž6K0?.j ʯz $"  BhXp{\,{evěܡS]U{J7UN^WR}棻$x`9+xH:Q6zoy ry1O&J2KekyN“-!X6+422`B`7=`܈ *z[FhƑm^JJ 7^ϦJn]n2+ ` sm}+Z0PYNnaQ *7U:)k|<jY"勢{3ú? L"/2qP`TVc"9O2!DŽ ݲ'8j+WP0.(QbB|6BQ3O|Vu\JF%9**7QEW=I)ARPPed=,9%6ZA +_H 7oiG !x)vέ{d3G\p `Q;Ah[StbSY:,&bx>5G{' \C8ϿOw,D̚ f/IV_:r̭ e1E5.մgǬ7N|CRKKc+f`^Blq+L1..wŖjoc}R05P!-@MO9Ws~"y;]:eO^6IY37@|U* ~Щ~)'qhW(WZ]ͣ83Pၭҵ u,ifB~y `hRLZ94M.1-3"zS;i4ˆ6,YK@`wm:+Ia]Ib DP )ۿ/lAtڗF찀iR1Yz`IM.τ6㓨8E:\Kua o 퀍Ssoܳ,ZzvQm2~?fz. <8's #TeŐ~61d^0#cU ؋dzQQgiY'w UFW0|OX.Vqi~ Gn]I,{Tʛ -HZ? ciPnЭuZ"6]-we~FYo"6E2k VbE5C?z_pEno91R HNRUy ˡ ;$~Dؑds2㟄뿜cwZ%7ps*Xsy*p|$nPe |]WnXyo Lsޕi{f$Qn,qsW+ck#XGz u(ă@Q }-׷rv[q`Vl+hRal}hE[α}rTO~&^"߀H MZ {6C[+nQ"6pOZR(sݜlJ2QlF$!40Pb6K= Ka:svDIouGckY&OUk[qyvnCu. ^x;81W锒كw4h껛ksq:_cEef>Ш:]KL@ÑSؼIړD%OmZĸ-On!DY|rP+s UCG"3dM{FG_h_JK= Y `?VS!R_.*LUb;4.^6lMN 6'2CG @1=}{. 'y,Jb DXxiZQw\O@Ǵĕv'L9էdM.˶BJIJJ}K9݃&DG=ϧm2\ Db5dRayePv֚[z}'bV0gMW|5OO`b5 ^f'ؚVRp_1uJT ?NAtla +p͐<׽ّ 7JK m(жD)ʼns{K@0V͂# b!F?6tnϗGO,Mһ\fP͚[C!4?#LٻZ9RǠtMDg=x{k}&j_QEk ,I/Ԥ T B/U5+жR&@o)JsW+ ;ZѸX_&P) Wʸ~*V\A+0p!@'nTdv;/v $ޕZ4į&Y9WhE?3**7 6 H?b3<)S0S Џk dm@5Z"X 剰r@uuP>) Î`'y*6YjizΙӆ̑~yn+Nӫn YKdQE-7 f{]ҩ =Q}VCX}%to?NRzg 33>c+tڲ'ЈyȦs] (3_28*Gtbū)*j͖'FwѻzD⨿Uвu;?j 潭 K q%F[|}`ɿ]EMd֘WgN|ˣ iVEf%sGiv4#LNhT*`~V:uF[Jytw9:^UQ(orwd+GGSAMh[B+ڱX0ai;6.9tU.3If&W%`uHCJ{r 7ud}Q|@ 2|EF6QI++kA]Vx(ூI߰!w/2ґ*82սtg!TX$W)A0KN{)@>lKT! TH~+ȁ"q˺?_OZg뎧qV,\P5LS&?[2SN<Ԓ* <0:/Mjbtwk2~I&xAUiIvnи=XNw54 _2?菿:))&-(I¾P?Sp.ސp:&ɉ\6-a|h6|Hz.XZ TKSNjJVxV >sP+gwy/߳H(!G[!0o"BF5Ic Y3|mL2NPշ{ߗ\K)N &U׽=ɇfx4RK޸rr=^ٿb24xQIJlJ{My[~Up[@1A;#ik4nQEe-\۟Vw+ 7gKxZBRMvr} 8oyYVy$\l ~*Glo5 hp|c*>d o `5 (d{6}.֍[,&x7WcMA`r޾!hski?f F>5Gs2RNݟId!D 'wLB.M%@SMUg*hlC7?֐Aj)7&_֜vnk 2ɫ1eĤt8y IN2h(QcFŗ@5$_x_Zq.ĕp#H~m;›KuOp>t{n? ~M'y8V?#'Q"LZ *a~5h@2`_5$QY8Vq{W; k;@"$0v6yPVAa{rG]+%}]Lg{ E7X73Z^A_3g]UR6&( :{@[NM^Cb 9ng*^J9u !ic_'7U '~[L^Cw|K\Lf8oH(($.&I~kYޒmqT)QСN\zA7&P|}˧Se JB4gi-aϺL'|^3!)}@tlXN^g^M@ȇ̢wo 4{q۽6:&=X8?ڈŏV\iбJT;AN>L_myV C տW?D\?lQI uЖ h!Z#d NV6h]OӼoѤ  Ci6ދ~~.Ѿ7%-AʪEatYQ>v)BWv$˖۽|~gj) PpT@HAjy) }Ύy!gi>4ꡒjGHG 5j81'+^A{lQqnvCު t^\KC_ñҤ݀4@-\ߣ6/R!7΁|[\/$bve|mZyb _̀zDr%"m(CvC<=9f2"gl5Ԥo^?or1JgZ@%eӨ'5S pMb}N`rfiȮ@>I@u+K $8 ~4CJ(Iq(, ҰVy5M9LŎ]{BSP*QK au8 6M.`[wc+?o2%6QBqG.d܈:7<3q9K%?"ZnK^PL*H`֯,WW{Jj`.%♣ʻȺ}i`2Xm|]-[8n=`J;CIx 9j~ZWgE\sW>(ȿ-Xw@ýdIa.SEolL/l˓"{˜fs DxVھę 3M֢su~A!l/CgLXI +g ʗfoup;PC~m@='0iwcH8P$k5/@~|p@ljAx|<])G,O!Y2|I M^hgQqib2AP5l-Y U˚k#$ ek(h7o)socU 'MS:RTowrQP}1D&"s;W'YL]mέ0of"#f`f<ʬ K7Kt 4=gB8\vԒhtiA!s>I=6d í `MgWD$ceZeg(.{(jUڿE (͎ɈP3'E?DA*#c*$QL,2Is肷=5}?3r/KērFhnſ&%`?\&@x8~x)r65Q-U͸JTP6m[Ă戠|X۶(#ouG \Pe>׺heIE쌓d e2tYgPp+JZY 1xCdeV=Q" 6=E,ٖ7i3 ?`02秔)sQJ8kf& =xe)Ԯ0wdU7/f,d.8؎YlN\[WdC#Xha#n5~{o}%foDɘаXZ9N;'3U2kn}#ulN)RVWTi3'"?' !/S'I| &0tہ@o6!&viekf>f KaY^[#>/ hz0QwH2Hz|+b8κ}YSF7AV*SjZRI.9H0mU t-:RYH.7FwXsKp(=Jްv!8,_6Qq9$\2#VZ~n{2+~h/>h, ?0͋*{m5ZK 򒻿 X߅e'7Ș3BnKrX"-r:y uƢ6ZXzyHD )rLզ鄃!~N6&!aXa.LbYA$RDj/L VQ_VkqV,JY{:R]4(3 &F HA/4㒽8ɡ kN(f8B^թ@m"yUj ٚ0jk#icS\ĸ#O+ԣ`!771Ӵig C5H~J9dHIOO7P6yY8jFAWjUZyB9pg8e޺|@ ^-3@cr*ؑ_ 9\Qڝd N9᝙;+JXa;߱ }wt3W?n)BS-Tݾhգ~džB{ mp$݇1ە {-S=DU_: #pn0&1[+fp.ɫ>tw :&J<+ *Oz >${K-UaY)j9z ,󖜊Zbs-_VcdNuqRuTh[8#9]MV usY[Sa 3m~q[gRB,S|s`]VOPdr>+Y.fC>ƜwoSM功q4RT P"`\t5]{IݥI@xL!JvO%)F[ &]Jrc#B<^ s`0 z8}MonMҠĜs_GS<ʱc8/됑N(Iqb;i6>Z_0Pk"zj8*aG H+ch`SDA~6ަ@4k(+@gc *;h\7:WȡxT OqBaЂ}'Z:Ca6HmTP)C$[i1#%qY 8ԭ)DR3$$" ݯ!(_/c4I'M%z ||Zy\>O_"*CYk82{ ^) ?a'iSPQ`c13a(/妇p~m+l- )>VrS:lnI+ Ȩgqlw.5y-y bnvvdz CwB 7aUC =Կb"ٰ`NJqx"K05>{ث]a!7PB%nfXu FR8B D^=NMrwfm\2@4$K*|WciF"r y3d@|}NV~pBҔ0ѥ@9kSh\+QW{h;MTJU{JlyfO4`ݎSon(S=2rX?=kN~<4(zK$*uΫfq2pt[%SdvĹ=>.=V푴4ڗ_vؿ3ZEoḹҾE(jb=pE1tFcnwodKmJ[2f YZqkR Cl"MُnZ:8R;(H^]/. :pƂ`M$x;Hm5$B{7zXِ4 p9?:ʊMԫD8_d&oClUTTs]T=^4܀-z'ۙ 8  VRi%5 (1<ʏ3C9svUW2\C@|eݹ|{`)g,I@"͹bK u͛Osܹ]@><%h4L.]އd+% Oy")Y)NBq=1t3Qd݂4)- T&q" @/34s0MSK:c ־&*Y$*Ǭ>lVlHS5-C<-_kbNr5ڦ uLMhᣁ 1ξ M&dC- +؜q5 t\ۜh=mY2z{+'TҼ0#*['!q0g,ek.pc_)@nvdL"P($ևÊkmUf=)'2ypRZ)X|]mx$?7eJCDq.0I ;)(p _㫜䃦Ͼ8vϚL8hh>p*kVOХf)OIaKxde拺(2̉2ӕ `7$FZyw!H^dE}-PO#A6O椁?w/N8U& ]  O}H@ w;÷U`(E1auL06 tn@m%e6} i!oi^Ρgݱv$v e&$v+! Ix@j2ttmVD]J:!p&B1=vixՃRIY8J^?$Ycb>"{IT ζƟ蝵_;09b10.yMrƠ?^t"ެb3jۛɡc8u*?D޹L2Ͻ? #w_{Tcp]S-΁~|;엦(~lw,h飍 Ku.ҋӰ,%qtP~޼?_ZV$g]1jzlhPkVnTPP[oSCH -G c۲e?(:%u+a:!+~ZX Nt1Y<3ͭTtsjƌ|$E h:b~-u7S 06Ք[KzWܤ /hahpƷweh|xat #XM<}lwWay!\O~'[8AĴ@@G|Y|OY[r!M+ZӁ/c!Ti)rz"Ue=gh{];8Ӟ]G1|ڳ{EG.Ñ)u_?r@ \MxjX,[c+2y2:^hN}8e⃲'Y%! _S62_`#ca3 ?7Vtƾ޸:X?лT{`O&rIi1rQ tP)b_<Ϣ\QyfR5ThLgYZ0e3371f7e2d542458f90fc82feea5eab5195586c4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 e650868a8fec8e0f04be9c5397bdd9d9f03125ed 27471260a385ade7428ca088e4bb6e156c7ace1a 4ab85b266e4e9756142129cf2f6637814181d291ab68fb6972d0726872bda7879c39177bee1d3060