SQLite format 3@  . BBh77otableisabelle_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 p!4LT ]]]HOL-Proofs:threads=6elapsed=767.030cpu=1803.820gc=221.608factor=2.357zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba!K"t+ &(ƇKZ3CڠFQ@pgZ RkTȦ.In 2\5s%i3\G/ȤPp"+,R%Uk`&q}Cvgz }r,66/c)Mr>4q~&`m ]Suz:;+5WXl!Q)aZ/_D V)*Db2gB _ :3љ'Ol?P* }8eʞ>%Z1 ]ŌQvޗ[c*KU4Q_-co:|jތY; ?˽wSVt:eVrc^ag-or/\J zI|9dFDΊi=Ǭy$&5 &{A1MQxҟH`V&I5~9ZpmiNG9_y%EXdS]_-7YoƍƔg]*Sx@ҫ3jy0\UBȓK ڀ3C+9LgyCn. \nG}5jF.n_T|ҋF:a uGtag=cMI `q 0~|y$o'Q|:X ;Z~>ńV@ 'dᰦRBJ[b}rw""lL|Jg G}fłMX]ƾ\mβj5)VT^l*ey3GѶ0=bʶ@8o M.O߸!ӫ|ذmTDU']2 wevjim:l@NAh_4WYc0dl0+‰KGr9sq4-_"Bkm3ndlQ u(P{A;~u0SL1Ў,y't&qɿ>8{IF*l-̯jR6#*Ah|Whβ$w8Gʚ..TV" `}_41'E.3 s _)Fwy 8NlN ԥQ?#/t^8)0 N!rT_BtB dV lz޹mU+v\ŔӇQU3pWK-c̠QX!aЯ7N+1,!f&iB#GSeKdp~W# ;_8V1qMiф`z:JP=/9T#!PcXlVff _}G..E)FW4aU|9 Gؔ%~y^bm bI"ҫ)A  ac8lgA!(Ya 5r/<07 G+@HI/x_P2,Jn_J|+kI?B0B`Yn,8p9UAVcSoAuV&!ujұ0‰6HM/ -ůe+YHE42p@`I `β#\r-c\XajPٌFt ĔX{m(bPhN\c}-ƍruWCwԅjbAKŷ0#Bj!C$261;G I1tz0R|6B+:R.G`nE vi(lsB>땍TSkaMcrni[ި6Ka"wٳ?vs<%#?zi:Ve;zAl_m-CGMQZSaUAUlG ~z/35(h #q\5 Q=L.KX(^u"aQj\U*=MqPԲC!:-3$^msWe=7?`2#9DLzdjIIͩO')^JOZB=&Aʁj BN0t_~;7y3 V:$ ߽L54X&R;K \w^y6+M'c{vS@LdJLHaG(xHZr܋PkJVdDXZp!yWє/M^h%mDžPWXw*-ѵҚX+^H %Ykw$zCs_18|V]lJǰXLU/n## Ba6b JX,**[D lNv8:%=6NѸF|Axp,5ŕ"uQRff$QS}P%k\1Sdb;U=¼SâRA҈T$)z:9s (-]jḷ&F @uF9͝E/0+[[@;?%vAw̅t4sd՜5ե\*59"UuXb8XPV>@`He?!@1a(4؟Aa%-fk6-trjтe?^oB-zӈ(Q6wuG⢛<i Ϫʋ ohL _"#b*1͔!N+j+tYONTRf|`4oDIgGd2q+`A%wGlTq1<V!xLi5MxcP:Of`߿IbNIG#I7 Sng1 ݏC^ 6iؠ9%,YQ`I QᲤ l=19cW*$;l|5Ǿvk0GX&xϙ[=7)uBbv H@_ _uEd4W{f*!w|W̢Yrrp\ ?&m]qVH+(s0c}12DL+pr dlCdֲuGMFg {]Pa+⛏`"َ"q<|tEyO.K;&$E98j(XI97(m3'?")inME@]5e(x :~k zsbE&7[02ɛ"pC}^]NgbNȜ @Weq+mk|>w)VU`@_ƹ{W2S+JW>85ys@WhlzC41 TkҐT>pDh 1UNGﶰ6u5DD:zWLZbJp5L`稵39殞/ CXEDgū ln^˼Wn3m!/^xOi䟵LSYlűp׺.[&Ȉ-|?Lq;W:NLE M!`KُZ[tE7butTlr5Jz1ju0sMHBYc7h4mºup}Ogw;yH-;*bn)=CN1)HzMEQ0MVjPM+ҬfNONܤ$C'cL-yvM( &j\=}/6><_-o]`i` FoD~XOe)K t/ ͙Z*\'[Ջk\~T7IruFfI8lŎY6H;gYZ7zXZִF! l]ŗXiɟ29aoʼz[%U>EM!!*WM߲-*F7G BlXPj~%C%ޙt;BzG1߃ݿ!+39sV>"n.%(@L3"z&H.eEx e<;<* qunaĤ+7"/?`Dq{6uSQc:dDV9MgED$ '@y/Xě,Z(@i |I:y~Y2|¯#*Ѯ%)!'BǸ1 Hw S9\\ :"+E2No}a3KVi(2$hz&|)@Y i0OAidk?j}6z-yL\J tZ]H{d5Z`嫘4J/zdT hzeTWK  .~hCt%GPv$4hoRiZ}*8}m{̄T1n3xu| Lvx (S#p=1I``O;rEꐱ[qq c)[(+DE*yibō#En $ވM%Y1uљޑhF,^%Kͻґej xmkM=lNjZ1B0Dfԧe9wΖ!^L~aZXñ;|u:sU0ǥ ?xܕS?N4tDސ?it<S1f| 8=g+G+B9JHt !k2Je<"RO8X*vsID'$h%2[ X8/d30X~ X9 {_@ȍM~̂Ү"dWޏճNaẑEtv`(Z)Az$9UHkeY Z,ε %\1}!#Ú}"~gE8ԣ¡jv,f9| 14YW[EH)@UXuC 2aoZgYZ7zXZִF! 9NJa]ŗXi%9,}w SHwAuv]Ŀq>J\̍|:ȊD]UA?_.M\ k}"$zzS:ϺwNJKut<8MZ^-ݪsf:6;152 0H`e'6m`JTZ^mE`vO!q&vѦ2_g8JjAW2,xΠ;"<ڷmx!Bv;x(2M.1#v#}2j\D 2w\EW{ cf+bvH'%0m@KCe(x}!yDS^M#lpۊ&pޞw8maq&,bJ0/ցV|p܎Žp JꭶrUpEqt>#V|j'yYeXG FV=ۼ|a˥C2oy`I.5>hz昹:A9|&b+`:U*Ylfj2̕9H+rJpr`zΈ 2]RodMsq֓5pzR%Iq۝DAjCC#c5JKFCؕqg]Uk m |2|;>!fXJMji<5RT{`%xjs3>/M^M-p.PNԷ´^k3ݩHݴA|/9K WnEOq:aͮ@CD-[ #dUhE:fm( _6ΖMȎ& HBl-U;{aT"dۅEҥ;9u F!@F [ A8%ܠ/#$,XnXqr1(!(2eaѭ`զhYˁ1:Y\U%w)D0άC$ A0JJ*Jpr C]}[< wUdKd}vc)5,woR !W(Ejr|'%Pj͌p'0VV[Khzeh4gpЏ&Hja KvOs/-\H tҤ-DD}Gwi~oeZ~zY:^V[[b;Bo(o>yDtP #uVtāH|V̒A}bBzt a>\TpT+w-uP4oZ;$CƥQp'CG,1neNDbñT_Cr$d 踬*`0pL({%eD:9"sTj m*|4jA}͇ݡ)GsamV j+y5>%nT HGpKw.!f)`; ZU u *,zrCu|=tkZZezn*9J5ac$t"U-HBXtssn_pV 5'MvsL*g:NĦAO0KTRj%B@ ;Ou=wDY/a:nܒn= $M1ڼv!yլi.TJ|g\gy?~m%Wky9S ֹܕ"!\̻HJCp̊D Wy y5᧪9Zlon5Q݊V'2Ϲ=џƑū"3"B>e56VZuTPZsSLtce _~;w/ݔeFFa׉냢P<~0l=BVPa&725;.|M/g9E04X0xѠh'su94<ȧz.*'%rKsȷ\镃Sc"4+**I#۾52k9FkyI;U'`u&!7)i4wOz}!ߜ} C2Z*P?;46 V ?l?K[a (t҇YѵJ壾3;h/[q*Tٵ$nc?ԑ&?yJ=- 62ї K!/UEԻ]V|2|U;Ne_\:Jj5?92T') ؘJ(z4Hh}F%M֭>k[f8 I~uZáL ˥Fr:7wj6W[ܲ!2v5 zmzb(l{%-lgN"l]Hz(0sAWC2,dz-#{JDu*hj3 UQo׶iYdCh f78al? ;abinYd|Ӱr;qA  6L-HqSջ~/4UB m`x3봋lC+`(/Dadp6G|2-u>e>,IEN|H`1 nk%i7'xwLվӠ_8&_EŞ\m;c [5w]G׹M`Oݳ8zHB.n,Kpn <ieM,/q ,UeA! >3%8}@؞aPP?iC67|P"_'2r15-1RU3rAgF/>d+E!&OS$ @ݫ_iNX#+u>~4{yO1}h(;6Z!ӛ{=7egm湺@D"tSXg GGhl6K̊e;qʦ"랡gIrs?$9.{IN4gf@S1*~SIȄZt+oC7v 8p} '#_%[דstk*rN}c4L jx0&pPκ0QhmSE!rƒF BԳqBڷymZ4"g!#e'2HE׵0Mf[ }x<`Jc jq  l`LʀP!AY NúX-7\x256!"'GxLh5?SdR$4aJ ynJX/0dF?>ېɺ"BGp>AJRabS\6qBT'q(. /J< a{gR"c)>δO>mKW{*3e꘣g# ʼ4D]LF&+ydKb*R/:,fb1V.x6M=G-(, w{=&Mafb/OjxQ* &|D>2oԹmD6AO@[ ^x;&c bFXr*ŠR[plDTR;X?y7 !ѼuhNPZ[QLWsXoldr(wوkP1J) a&h7X6* V_"Rs6JؤyPx" PYdtxBȺ LaqHffIԘ{f9.}BBb!~I]s!jv"0kA0%9 0`4Ǯ0}g[R!^DejO,-0aN{@GzĝkבvE]nZ/J+\ٳ m"~XsMڭ}ӴGKlZQ̮H\iA$ZK.&3T4IО 4]R-I8ˠ㐡8~70Th Vt#Zjx20ǝQ*FFюR%i9B>oC!~j܁@n6qLc:E3BD~%l|2ԏ?hE UM^g6:rŶCNՔ6YޓEU|;X\GG4z[e^s@DWF6t }.bc4+Ed=Q2T6.3߾56uo3ϊsЪzd&mSnb}3%Tz !~Ԉu(%U `4ug6VU$z5C0VK0U2!grJ#Jg^^ ]uesvDLKB3"C;>gT, ͮy g>c۵ܐSd~TB;#%7SDѻg]Z3S.pZ8VldT<e`xYJ.`ؼtaG{Wcv[%a|ĺd %W q$L m 1]JsƼIN Zΐ %8+.,iM68s|u|iy j$y Ep^R`L8ЈdiOa8i! >05gX_ 8t gڰA߆"w4Yf3[,e}c_jM= ҆|x4&^EA7 UP2M< wdsheFNzxt`)Y 55U9'Y5%nBЮj^) MW%E䗑LkthNhuE17<͐"k@'Ėh~c?hs,}qxUC$e5k3>눆GCD:n鋼gJॹDOBBO7`w.r_+H7c핻u[*qo*pK@RlG a㝸5v}ӫQ!Ǖ(fR6Ò_uj0 *6 j0~evR4C_S?^$ }cT.4X3V 2ll.rJb/q^Lr'lJTcNauP@`փF:v'؅zbدȉB5<.bb lVS"-W(,#ߨk"؆q6 =M7&w-):CH4M7{\&fo414A WOROkek8o!W%t4t_4p"^+B{@cF,wp"{꠩]Vٮ6h,A]kt]hȐ!̧$.q'nM!4t\ϋ:$>@}& hnDF6=y3vl,K\8LsNd\=m&bmyoh>^o.e(1CH/ Z)_W~W qwU 9⦴ cm('vH\])-\^8~\g(_8I]5^1[1Zxa~- cQ -D#!tgڣ Jwuȧu"_XhaG|$$'m U3Uw;Aljy+Ql|\Cf3V J;F MRpYtUk)?̨>w¬h@>CbЬTci؛Ǣ\Q7 xoR^XE3a6nQ#ci$uK7,oE056ܒlnϠRFy=:VO ^' jYaWW>I$A\єR9-[S] ,$Srw}$ov4 D9,.yǹ_$aGR2d\ 4lZNcbI) /O^mR?0ЄLOʂY"py?Xkyv tқ\-VA[ B$>EǡI|OttARO_nyImWrC\Cb4F) $}+Q/PWl!CAgNV.6`Z-OLo, y|] >ߑc;`[n &?$Ŭ:Ēn~uC:#FU $ƋVxqcKV&#v+^G Yu)7@Sna.h˕uͩ--w/J} Za"N~`MЧb"IBXAETY.nj:{vׄRz},-b*^qOqLN=}qhv889s@/m17E{\i# 9oGkx{#NeJZ@w2Pj*^Z0>S.t M O}>|Fl/bA@l@U]huP>%f,R=~CfsYiP!wENGH}ON7S#!2n>Y_;yAeryjv>'E)zNΟrzlCH#9X[ Fԛ,ZzL? xߨwT2M$ïi͕S<A:w 2Wr6+ʮ+GdS$N Jf$lD+]Z5 -R&Rׁ8;"WTqw Ұ[Vii,]H'(I7cOO:3%=Ak s(C* ?"%ϩD't(BRe&6FmUc vƩT! &q^:c2^zS P^O%g[EXqYi:c 6ȿki5),#E󮢌}.qAEp{Ҝ(MO\}~Lhua#5n:N\r‹9bkjͧ`n%Xc֎|8LMfK<:kuhxQ?ԯA51X!~8DL˪cE藇w9;IԩhqcQE ߧ|_,֞4:l f6%XRFk>OʉE ;|+bhUL9OM%,ʌ?H#^?=$ޔ [ezԢ>5ŕ@WZƣUKr+{ jMRn[jq^COQ56jBNN=ȗ.9Nٹrݖj*Gd3eMaknCEPK:+&̣B+Ǝ58 ,GEåua"nm?&: D8 Lɦ >=\67wW'ixh*(njb,fH*lKےۏm!H O(aAJ&sLcLLZ 2ҲNk&#} Z&\:3ʔ}۶ fM(JB75=}"&/jF(M[FFL<^=&p| >'^}s" =~a Bjt[yH\y~Y#aqک#Wt\ &;e|:X۾G m7¸m 7/U`&5sMp q+Ń"s\Ԋ.[kdf}Bl3\ 7΍kuk:j7H9Ȁ®ڡos_7 dkpUߣu%:RXjځtyWxMlJOfWk!3a AB$WGJXH(!nX=D%'`v_]r[JsnD-l#T%fz 0[V*$=WǐLz8+aZ<.YeM;3qPվϴsg L{vH9hvvi QVg/]d;#^5ډ5 *{H,Gꏻ50%m" 2sSѾ )7}{dѠ N-p`ԩWKٹB2Y3o H?Ht/d!mCQ% GhCJh`}ZAqeM2@DAȂHoFW,cN1T _ԿU G?}8{i\H)zu/%3m-^nq5~- kjBP;igL[aǙ}8Ӄ G> ]60F^O 7G;xgT ;o3RYJ&z|bN1GTJGJU2O7'p cZv%ä A1֧4DCBfMtTkI`up>9dž \w Qc~~gUb8;T]= eT2 siDjl!cͥIh}ޙǭq1[5j%Bx%3ߒ\?J"4 ؄9%"< `"X@!! z0o1(8 t#i򔊌S:vЙ~"|L l]m5(Ҳ hʆS@D@(K|H0p +!oTK**|ѲPǶjB\sν JXƨ-jtzŖ FC;l4R\oyy !UAZrBnCI}pXZ`͉ű1 ܲGzFDP #KD"CyBfg} ֔z;PJB(W-%.0-#C Jx{!ՐW=';?K<"a~ŨCh6c-'%`x:k(,g'Q:n/4΀Vb{qCig" 8V$Vego:}B ^wIE5_dj6J)liڀ/uŲTnjYb4VjQ~ۦ"Xxn 3nDH 0h~ j]Y O^FgdӸgU}=g52 Q{N)9O!yU?up#)kbU2ڶ!8';Q o&QlD1Xjj!>8NPC`x=mIBu bܺ.sTF#)pЪ vZTh/KygsChF1 iu-+<}:wLpUφNQq0|[]wT":<>z_xY{yCm iVp2 q HMՐ|P#ѳx XjE~ 19u&JJ M[CQ/C~EϧrƪZtoBܞrOn"hlCB5 mأĞ=u9)%>kn?xZ%qLJ%3nYv{}? 29?ь^׏>oP OEpWP? ZjǰUs'e1D}s4ImK]c ~yj %{9Uj>- gkju&H$xM]G[7)9Ue qô%9}}>S0y n7DEjL|Lu!lջ*&fᑐ%/ttjRq+4րK‡ߑ(x󼿺aM6=هopp_de,)k_\6?#WъƄ[ ' ?~9>&ұjTZSO_4K% Js\͘@r $iTt tEKdl]@EFL'Nx&P TbEI)8)5#h1g;tZa,&u ToʎiatI,4])m[ R߻O;Βjz&8\̎%䭝B̯B^LC//O@h_~U,1|C3|hiupS! G#JK`C-@vI/QD|UBT"< MRlě8[{OtuP WU[E/'4YV;O2m6.&&_-9[V;I͊dRٵ:x1y'-ʴopthqƄZ_*}3aHFqdnㆅ,5|t?pW^$ʄ'zI$'-l- OW6oyXBp-Ye6\f@]c"2k.aA7H맟zbbU syz}޾0LZb=Owt,DϩTº :fd <CrH}@p0K8\g/K6^CaiqA2ex*#v((k}݃נ4rMRjtDt#=Sc>. nLEVƷ臹Io@ك.}(B BFqk`9L&涛#n.wMDQ@ID捙QF/=~_.E{l . h~I-5D [æ[W(kj؞P7RU>!mUB;FtI / Ibetml)>J20ׂMtJ8&\̈pRCe#,؝/1ϴM]Eg'}F3Oi_\`?R,;z5Q"@8H,@] AwS%2! ?N!M}65+X,\o:')M280@;gY|40͛#aP=bw *zܚݳ=ڛoO/rܕ llb7i!뿖*9+~}m>3)d֯쵔H"s(&x4κQhuhW ޘI![8Iub|ӈfϵT"k;U!uuRow@/~8(L-#P٭Al;M^\ŁA]q=ꜽyȚ S4V=M 0@d2"'.{-XZ6ƚzTgE^\ ?_g ɤl66$K)0փs"fiy/x%8 Bly$f|G(܈x<,15U@UP?aHw/h8.Iv$T`9i ^-"*E\8Rӽc=*`N]ey_HB.EQU'b>_"D6(!>вOÅ$w:@C XfW@d:Y:,`=g 7S$h3*M]",3-Ӝc\2?h2MN LyX[ꞡE|.g٘1)gwyQ0(Gn7(Ev^90ƚ-~_T+A-g[݇e YR3tfb O[Nt;5ߊXM4f NV34E9턂4\cA4 ֩ۑ'1@JPF;ମG|MKX6YCbk$`W) [zg߶^D l"֧M_Z-=Sm|0SPraFW8@Sjbfcv sz2l(xa9Q%<006P{(1 *~ǂkRnMF9kjc`Yñ#̃}wa6kcn[+gƝ5m )q_$4٧.k/'bгJG֡ bolVsO.i@'/6RcK|cRR;6FrOISqU "!YѦ*jCf5#DY墜;݊) 7Gz?WfO-6jйT̫+p#'eIJPU[¯2K=&#qnjN=[4GE:#l,dD%/᷌+ݗ -;cz@_H(NCkQJ7̰gj^ _my/C8Eu w:Y!5(É!-F~/ 0~`VXfDQ>ʋ*-)g~owgFq$DYJ FP*KW!* r""}8,wU78ITh~' ww//xKx&Cj[ה=ZsY<>z^=!3+&c>XyU .KMM+0ʔ YpCyoȁ}i^&3>ƒ.r `^[kٱn,*MK)z6c؇3Ԑ0fdӎ +BGs\jQjYD:_J:)E5G,r_*ha+.3:BKq4m3U)bHa_{o b'i_SpS"@J|CIVRfX֒Sһ*i|?`V?iEHB؁z:.)ISmޡwj4FSN kk鮚mSF Y~.ĘWHa)vvͿGo^0>Re?;p rGs.S_OEA&iEZ1u R> }g*˰.H"-J:"~\(NC\ڸJEPޗШN u)@p]|.BP>> lE1PSvvG zY\/HW1ȹ 2sB fylA., O&SknBWD 3; ]~f!KZr@Slۙ/$Trs P'a$ W^&Ǵl U`B&~[+=)Wl%.W8 h8\-pLRZAu()C㹐$V@' 3$Ljטo-jwBҟah\Xļ,QZ" HLdBU7ݶ&//~@/ɾaKsgȝզm W-R(WY\d}nyh`xScȈ+4Hk4(F/@)uvީ__ho&6Q>&W>39_W\,ay^W 6A@"ڟ[lTc\Gӵ@e5Jh=NP3@l^>v#^ǩi!J=sYZl;h@2sg"7,"skѺ;3VEET02\kJVfipDPK3I/6%Z 12p4@P+hed`0-<}E{}*2閧Sȃ%Xޱ֭زNC~υoVfh7*WC搏N[3*0|!J6ωLA dk+Qjf'9b >gԎzK'Pօ{>zHN9\ԩw}kPu_dĭ]5񉅱lj>wevQ r03T}X6lr#fQqm3t9_gPfXG>U.C{qjq~@Y塙qi! ٣@CWN\3啒9 ltJ:j;N_x?Vu.匷1;Zh<EP4%{2xh€A 0:7Ҕ9ZSBL/E\3$ F| Šx$@MfSDW97-ϦmݸAxY˄ z i#DZN?1;*:kyFR9i g ϿtTǹU^}<\Vљ ={KQgkbԥ On $̶H9|O ȥaB{`#)a]Ɔ;Hf(S#ENB aU$t~@{Pˣ1mߑEa8? {j"jc1W3o&o'̞pHU+Bi5kq,"|E&+p}X\~&RJfkb'f?9T]-~}РX9:2)ⳛРGޔRevL81j6:CLk쇂YB99v Am8M59ho},z8HߔՆyկg-n`JԄҙWMQ'Wwn>֭ 5L@l}Us0jo,f"yN̵FL:2uX(bFV[+Y!6,sѼؠ<ҌzzUf.ͦ&縣»"~Dcj5)#VNW`\*/8H/odSRy2v,# zjI?bR7`tu8][qη@98uJ-k m}p:l yeh]Bk}%L׷5%t0@l6:uaL`vD'PqT]!6|V].Lf*=+ "y&Ò} yD1кKvdS*gl|觑ɘeh';nIĘlY>wOsA4 tdƫ)[$cW- L>6?9? '-"h@.@`8S=BC>Ko 1C llv ->|j]/Cb'e늝I<*u.$p#;Ф,-9kD^*d?W0QP}P &`/f e), cXCdhDG&ZkO҈@# VOV\E¸2{K?3) mM'%4hmEђWrJ4i8};G6Mč Z\8Zk݈ :UMQ~t!I[y)c{4>sZelmq5}/\R>4T7aOJEUMVɀ1ղ;N|Cke'>͞GGX!9su 3}ޓo5\G=0X-ixe 5491ϴSѫ;8^RR*f5j" wMve5p Ot 9 \þ*:>Hƍ|3^FRZL* (W juc &bь"~ ( *W 꾴$vhm5lP?uZ~<mxU Bd#Qwzu#!Z3doL'܀" Ng1Uϓ/Pg=>JN4w>oq>L's^xXUquDs$I̯o35UM/MCFEE!=~H7 ^-ՠ,m˴&op8J/$@EP\HЇ"+RE~D\n 4gC"M㙇l/}?1NF,#O?Qa_Xi]ڹ* TǐpdkcTݟqR䓓,=qvC'?^QEQդdT{xp "n;:,WNZF":w:KT$crc랍3iX!^kjƟr!aM޻q K >J#)]*璀~NCJB~ J#>ȏrL v,j76>6xiq M4Qf22I.R,GS>h؀M`orCbue/É$هZ=%]oj?yGIۆcs4xS4یBS&:=Mh;RN~q0Ƶ[QZ8֭PmVRyr;)d#lg8%.5β2ZǞ<C( |,l4?;am;;U )rs7V T6)=nf=-?dƞm[7-OJaBͬwPaCy"]#^~SW5 /HkE4_Syúf75"OBM?;< ]@mI8ө59I BE4QG||T y\R#ɼmMvVC.B`| /fDž 2_ R_8#"4N<FI?}_v<`}< /( \ݴ"jvUnjZs*̍P,_߫2T:LC>e-@!r$d|2pa>CIl|0AQIrgTdkNN/F_itawMTxt$lweK cQe{?Az̵N >"8_g\㾈7 ^(-VQȯ@?^TRn[b+;^=!ʝר{S6zòjم{k剋krpI-5N*5`C<}گj*ү61>Rxamy!=Y+wNə͛OfniPlb'S,fiCvzFOQ/(٫" WiQ dCXz]qdraW2=dp#,poxqs k,ZWYsI-i[m. ƠP(nC" 6*b!c ׍x0ۇ<' "b2'?? u3_NĺژG4r{W R^=)0e7{}k]p9-oB&ʘ( I?=Ү%y VE{)Q0> i,o4LV)N efVF<\QJ{_8r J4e7܋?6x~A6Ӝ}1u-~8Bs\vM"l*v6rZQEՃ .(Ε9 n. }ĸQZqœ?`z@n1eKHȸ?21D-pF@c/pN9 k.SJ)de'9m,}7lNr%׋Hԉn?W:D QCZPǼ]t3ohkҴA{,>VpnFĥ֭li/A-"1]0W h,skșY%VdҟEӿLדZx XRU#RMjHp㝹xh\GTPȥ3ںkQŒ2ڔ.zD)deǤ4HW'xɺv-]"QTb2amTI60'lN8!f%A˽sul$Ps%4 '/%{*IMQUq)1 p,  l)/$_+\hЅ“>,dGGdfqit;jm&3i4iW31cu*L7K]ͽ=/H}0' |s: Zo#$FE\?U:;z_LmGRhJq= [Z58s5z=Qݱ2aݔ+3FG! k~JtG2؋]a.=܂x4DFZ] 4DJ2AE[6>N&;̏&'}4*FrŨxRoɵ(Uypq`+9KWbd/KTo N*xuE$?毅u͏쬤mT8Z,_Xv`Į/ \lKB7vx]62Mͯ@pc@Y؎k_`=#룿nTJoXw]v珞MjidZJ '#( ,kROZv΄Qcp&L;h 2sLS;21ᐈphg#> Q+ NZ ZZ=7oW:S G*JbY)گt%LTsdsHYp~|(-6f1vt$K &a\V# '3SZuҳ8Z *7ؽ c[D{?ݛsS6Rm0)[6v=(BO1C>b|T'eCz%)'i06ҮeE>o+&zJtiB a8>J1p?~P`H#ch/Յ؂7׉;b'K*3[omN8;`JHe Hn_C z a܀Z2Fǐy ֑C8(:K0GcO< u6v($fnTn^GҖ++埉vI3 O@9 .MZbh9MLk0Ž(M2n9~>Q# ] Vu }B`g2S4GC0a>9Z>b  ;72+W X](do䳶֬DNM f|NwB3>!YG/OmC !ZiHlUZLI~b*ﴑ)l$I\Tcq<+k.g.SΙ +gDW_i<p_@J.R6Kvn(OΌͽ ķV~Yp:odwxnƦ3˨S PrH&/&7ΗPpLf#O7hs~&AO ύvnQR<qfXD%\=q/Iv]Dz0;WփȀ|yN%ky=0 LB48M m?4͓iΧU_P:;e SRQ`h0>щ|Α[ߡ }17AJlzNlK A R 5tR 92$P|o2=<ڶ-hwNԙ#!-x VT tE9yNFbF`r\.%L*pWa=r{ak_ Yy[č<[0)Lpf vKr7 Xkz?*ϑ(pRma4LxDrB,,LBǐ ^MKbZY5FLTf*ÖՐxq$_[nؒ gBq}QEA˫/w&RD?t)F-δ\By1+dkZyU>Hyw^-+v%4gvʢ^yxQt3MKbM,HZK@5Ɨ=vQF~n~v0,nP`up<]yf S22@ڌb qqTڅ?r$Q/??1AigQΆ9LR{f4 xIR逾CI} ZlM=hVN)PH:-Hi ͓.ॐOM^!ͺ%A=8ͦ7x1"!р ]HʚXd>\x5qI<çd/Ѥ>QcTDqaBg cR4x;"J%A ꈐqַ%h6~) 4oXlǖDE8DwbP˭A.dݤ &} 'fՈ%eP'KQ_-\dzf3roiڋTŨVQ'Jb^t-ŚGNԙ^S4JF'm ٫go#" R&ZI{%Eb4MH8 <^gЏY[Ba i#zaW*gߣ!M@Z4)̚Bp|UM%1Dsl/vB=6DxCbpEF7dg%b*sy,DEJ[,ۚYEj :ij15cD.6C1{LԱVnb~˿9)d@y $Zձ8W ٤xln^ Zaxs VVg5ΕM=r]G뎧.α b n7uفz]n{%AHc(0'5w]~MZRK>+å|hs(7}2Kջ㞫B Jlԟ l٣DY7MxRH\$1dl?SzZxf/N#okZoٰ<O","K@q;,ٍbD n+IeԬ9:'OhR#b|&C݁vz^tvԪ\qlro-l^N$׭RBL8Dtᑑ}=(A URf/ꃚ]5T2g̓Wis1u4H>(ImŒF`vf+ì i["&{0* o*o)G厖py"x~H"DQwJtF@ Wu_Xw`6mpW͆F5y(V>vwsYeG?/M+!=4@T>}oI**LSM>AF0Xrw>ɝt^̈́$@MvH~2$I5?A26t!: Y]J]CKX3+bHQ52 Dr]Yi;*EMȐ=ۙI*Ns\R2Ug}O6 %B|B:WC: |U!\هS> 32, bEe"VgiQVC@PU#h4Iep{TYpp\]2ELi}9'Dys;@l2  ݷǠ*H Q`!w=冣a 0ݤ U1i:3NQ|h4(wqEK#1Sڱ{Ww%Z4-&ԚrG+e3h +w= .Q ˟І#'Q՝a\Sա~+[?Q"/a|_W~" o{;'af|<ߪ[zj(e@)Նx˛ >9U^Am3pd/QŕX{d 䖓,lSg{ AgStP̈́cn8뵥 ~*cnsN}A:Ō2C_(ӴvU8,- Txu!&8Ƒ:x%Ri+R}p4/auМz6NDH{3>=dA׌3#cH޸E.W`2.1>|# :e)X]j0lW4=A|} lqmllc0nDr؞mVz74*i= J `y*Sz>Yy3qdoьw}ȧCDFb^e-˂Or(^Bmp<@ta$s{ l-׈q1?z? &a4FAָJa\ M`eiѮPAnflɟ{}C!U==d~Ra=g@1KFhٶA=3 ]wX쿯QVO:OmyQ֙R(NiRLyeeҲ}*Mmd&qE=-^73~teV1El)+7z&I}$eV2Ho|V }0OI$a J&C+Z~l*NTHhDr^PMP5 ȕ6&ɱDerB7[r0ɓ܎uT 5Y*yK!hO| Xh#z- k/9{h+Kx# s=6|YX/ԁ;ߥLoW "I9l`Xl1EK8Co@kjBN7LtZ4lB;"Mÿ,Qql_5taaNx=LWh7n 2Ԋ ,R;J4rHS9 A`b䴔2ߜSF~ht>8q p+Oj%k}z: LPbZM`!p\-ݫN~g3{#OJS |߯Ю~P}'h&ƿz _Ӝm՝[vGA eb(l|4jW+d/.9Cހ֊8C?S6/F3.2Pg߂*>;@f:Ϳ69R)pvv?:2H\ $oʞ}"W Fc%oSz}qjR.]3{%jcHP.~  f!r`^X tO+=(s]chL?y;ve1R [tr{yyn CFuͺ$>z?lT9p3eXsܑއ%0^ܽ|#&˿H($J'WȲA|Irǝ/ n9^u r'ajKms7;NY{e+WܩYStNFA__[p'I Â_:<u Rt5>6i; #17]?hqܼ|  ո#Q{| d؄\f|K;x${LQg~p>:'W&dWD740/W+JmxFCvDj`.Y?%(jhj`GBZl>FRYf`1ُFc=aÇ&^؆m.w{E*|sm\k Q&sSH3n| #AwΎmG /6$@*0f{0z𬃣ax}Nٟ㰁 tq΅C6r=r4^k_kT<[cc-zYzx*Rily_>@u+֞jǐ?ѕ^:l[cȩ5x& E/mGpkFcp2V[^?|ku{}^U5'EJnVYjJWjNǕv C#G)!1eF3-1srs0 0tym=3h賹Xoig/#2wNN{Qm% Έ_7Bolevxo_!FKocGv!VT٩ >!01,|:QgQ̤uۂ?]󵒭QR(JvZ.xJBڇ|Pg1th\eo%;^mS\i󢧄oy% 6[J 晤5,ެjwݞ.oD#:H:a}v~r1"1"7U>ƎfʋX~G_D#Oth( \R+Ξigޞts> t;3lt. 7,"<\C!AõH\NmDYC,Sf"J[r*ZH+r_j(눘wÉ(?=%" nC~!PٍOm}l#`"uDm$'?\;7\W3ג*2j#|Ԛ^ZN(hhIpf -됐G{F1u6.ay|N۝džIO_ ?o%,sb_|~~:{iEyj:HDÙ]c!YdF4 !5J"4kUQʞ$|m_> &G ba rx=-֑N4?+F&#p(J\z}[Sݸ3JRpNL>(E=t\1>8oo?Pa>~hϱdz?7ԗoÝ-@sjJLwmz>+!WKuŸ9tA9ȱ(m:9CT60С!\~-7y`:kWF/oeۼ{_L>Ѹd%$ۜgT' ͤONSqȯA䈌PB-dx83f:h'03,3u7_7<(d~~Z޲Ջ:YM,A{vH>"h6}PXE0w }|Lno!.d)4x"s4rOegYZbbb80c8a98217ffe7fe48e1583e343370972583b6c234964d2ce00acad8abea2736235d9c47e1057ca508c11a6afe9079cd02ca7edd6368a226b3f34