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  (Dt ]S]Slicing:threads=4elapsed=313.588cpu=1039.180gc=12.760factor=3.317zXZִF! Y]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+kaW٢]BUk,柈̈Uxw]շF 4ByV#@yMk596?mGw捒o2%m+LfLkF뛦l0@Q"ڻǁw8Hc+=Gc% eQp̆/9*HGZ2rQu|`~"AF"2a_3Iߩ'@ZтyRwx?Uʻ5&Y#Eixƀhŏ0/!&2Mq IK:cߜedHSM,:^AJBU!j%k~+Bw&^t.[e?W5=tR `8l'dA_ .ñ[F uR%~u\cLv.4[ig"ĭZ7rQF/ic#;wph KuhU-yovь,uX(ݝ+&.'yێGoL*Oɱl-} s 7$z˄媲E[Yj6k&Ćd!gTFIK8K,,RB8Jlw~]$^Qd` ol΄ЖM@htzZDw7>*@]HWSxh$&2#^9!l$@Lka5k3iC_oi/TrLMO.-;u /9+V%9Y㾶_ijծQ9D` 'e@Wm,DUshTIJ;MNV8:Q:#墲//VbjmQn^Oe7e*ʣyplG4?WҼ ,grVt8O+>/*ˡ${jXȄIAF5z(_/pʓ{etf KnߢJ }R})8U3F,@TKzE;4'–3JyJAe p+l~zo^0x@麁<嵮Y="i¦$Z鲠܄Q˘C#)k3yCޕiU\ցFۿ3!WQ`\RHRMpcd9֣gwG$[RjQM? ,2&pGV037$5I %K݄'b 9&:4-۩( {:BRI1ȅߗv's.;M9ZcyX0P(,Vɣm@dSx@O̤Qsc5 @P 7Veңk1@G2%/M7!. . {7HL'?\~+@좣M 3GàFG6$cЧ/{am{Q̳Jd }C0ė @-:{g$R"w8IU b`sDzrXkUVt|HI,xH4d91i-_˞ \rE -qeb_Θ&JcV40Qdz$1'$QnX1՗.˃,ws? /td"KY3Aj@#=T\ cOY{]Os|u9ٴO ֮no`#f!{9V61kcȈ #=h)W FܻOKӴy#BBls:,JOrN5Ma^,Qx,hʢ :D}/1BۃϞ?e*Kd GTǁ7.'R34Xd*~+Ẻ(k%h/h6Bti0 6d@qvs;_n{9_t7OːE#5T 1 5MaPbhhW  g!A܍W{NĭDv GX`?t( lIS9R(1M|<^uX#cc|6[@ӥ!u]*2M{K#<V:! d8} {Ыs|˕t fJ5q$k ;, lNb#de[ ]Y;.\=|g 4/~r7RJ$#5={KYk{``C0xmxVAOD:vE r\%}=y1Lx*X0h9TBaVdEjLW^_"QX e\&zZdJ7n8RM*&lB,K4lY2֕p933f/ѥExbiEg0Z4E\m2:ABuCr_@{6)h+0'~,J.GH>)IIlTH'",hK~N/ޙQVb-X{YcǍu)-%;5]mn}7`Zƙ@t8ٜi4.1 kuFq KhO1(ȣX qÿrcx& +/;[ky$ȱOʗ]?'ZT_Nvz( !k0KLXeYO={؋~j %7z <>_j)bA@ [ `*謇{ޓ{x.GN2M]նK>pc1E^Q3k,*}:q:PRT4V#nVi[N%7"1bB2srӭc4 ]TΏ wl/3:\7񺘟a ׷WS.<;;E}(}su#s7!j@XyX+nhbEps3܊ 3zS= `9I\l0e%1q]D6 &熄.'j͓C/10c@`Ѐ$˭r(!A;Z8Jk=}1|ثP bU$a:\i\W#Q A !ވ~$iQ68<ϱ1ffͱ=TXCՆE|zKXtN, <5!E]il\TmV X02ֿZK9g-#"(l`ۗ_%iq0j(sC[*ҘFYW6,WM^}3fy:MHk|nCdh8+p<KῸ{m G72ԤLzn%43~5r9D9 gc.:tƴ@2vd#?2i;4Ӫ Q/ ɂ)^bıjF #pdhTV9})%J-q1ZS9AD V?!zdG"˾NGO )<90o6<ijޱT$}H7lMG[o v0zV+iMitH|V +8G։njg)4”ԙWI vEۭwr@~u>AKgwwMUvr@P1RK0a!,#|N>9^vJ/bfozӍ!yg:/NvىET %]3ve;ۘ[R$lK1%3G0 ̹Uˆ}r` VA(Njug*#bCRƖ,XlVWV߉;$G,$YȘK$҄D`Jg2Ӌ(*9›(|ɘreGcIYrfsy+ J*/s/ 5kM]9Й솀,d'bTYoKQxW\k]1h vtғQl[ǟ_?(UԱQZHp2*l, ~T&TSٿS#84=/J!TGk{ i #BU'^å-> حA 4>-(ggYZ7zXZִF! t]ŗXiɟ쀸6馀YTg<q*HJEN~W9=/i2(:ptɎܷ&Oȋ஄hy) S2\qhn*oq8eư&^Lش!l*X\k IKWqJdw3L3ԏu lj6I]P cu0̻hkFb86QGҵZi]>y.dJ+PT26m8zY3MԿZ[ sDK)1<هȃ` ~1xi|oRDJg3؇OXun]` "\$hcCuЈv S5x@9"BbO` bYA[:/vIg抰̅7(RqO=^Jb'He vl٢lބ$&RJ)o3[P SBr1w pgVʨ/PQA_L:èy),L25 $Rmxck'ii/oFƣC")QnTj1@&{v /eC%; EQ0VE,Vgs2̢)Wv|gNV tEfHgYZ7zXZִF! &Z]ŗXi%GPQ܉Їɧy/x= /r}SYm3Ow ["X?jTҺoQ<2fZJ1J'#'*RiG!\1s9 ;[Օ|DJ~<@LV0eN>t\] jWCZ /)Gf=Pw mKAu4udG [*{2)2I3> Z,*`X u",#fnK+>27hWZ,+PR)pZam'9pp- lwT9MsȯU]b /oc3o-PuR(KAsYc\C Q'B !ݛ.\;m{5oeiǀDvN2l$[| l/pAzľ>P-j`.*$,zy]3uT:RDBusLr~+xZY=cc`clue+[x)֠?72Ʀ?"Ͷ-HV'#KrffWdN @%dӶlOhu1|cxgݞ%cx,CęXtjw6oط A.wпlHYe]]qC^B@lЌcUVfhfTeqGaB{wo٬?M @G.Ԑu=V `!G[^JyW%I c+i! vck ^)hr}ҕ$mJ34x 6كvc!*wp:xy\WIaPjreCG<=ԛy]+BuLsfyR|//\9\@"eTD9N8!։}Eԥ 3pF߻B|͍zWE $ B!#Pzۙ)F=tcT- z$9 ltcYGM-n)3WȬxM+.n Cw1U㓎d5ƛ K]]P*G|aΣHUd4YRV T;RN5 ѻ:nꩆwktԩ4'Lx<; -,%pxWPsbc)kjT~[IR.r@Wm̵SF[SwXag4֟mpHiag7 +gv< l"@s%bݦű ̉҅gF,ڐ] h:(&v0]bRL |URs /8dSh1n[Ѫ)6 Bمb*:ٸb(چvߊ6'?\툢ղr<7TI6%!u.}u_- Ў `*\±JhGc`H-4o"~b4)\8̀NJe`4/!e>tm]7 l~ 0-k Z^ UzEo ~bDӰ_[viSsIj*vWѐmr]pGe}+*Y0eݾ|[h,pp||)}@ iID}A?E1= vS]ɽߍ2h@_y#˾[*!w:P k.Cu$b^{~!>KKPfC(`Qa* (~DW.g }5X:z絪X``:@/vURg}p[YM  rӋK#+(ilTۮ WNth<]0Fyyqۚu\Zgf"nHI\~.P#9z,ѯc2) ’_w7^^:`FqZBuc/JfTwu 7c 4l<(=Wlp9W>3T۪蝭!0O:$U|8F(ҙCN_9ys|*=!硘rܲ#c)!mD@V,|;ΘC,,h9C/AZ!e)4<')b ½0Ӡ`ʔm[w2Sm}ij^H=s9}X~.)-e7`UYr:O bg_N3Vs`xO܍@Ju7HA~H=AlOF g[CZ9l0[~Z4V/5nMKFYyD;h稡4 Md@r׭5Xj]\Z5iRFf8CX_1 FԀڳVƃGְ!%YXTmy1xy>߇CgWѤ%jǾRבKhԡ3jO⭄>u9jT2k-+ cR]xw\AQpVňƃ6Ji)']vcxR· I%pËfCW|Lď6" /ܻ,ǚ1ZD8G^xgYɀZ{%lܡvMl_/ "Y`Cdecb^]<[/ zz_D\" uk]}̋pG;V/{nwo)16W$HBpj UE{tH'~mƖ?}- u'4UB-+N>L\Zto8St<:X>)Ʃ@ǜՀ @}5Α\l*DE^,9i5l²,*t6#"?rTeX#[b-RM3%B?4]`T&l_x<ڎ3Tߧ``:V릵v+ˡ xUb U〲R)}JvrH:fy]j(.IA㶇^g5ԎlhAA]u~e-Q|.DyB v&'GžNqE8RD>T1JHj*uw'EHeX8Xv暣K-CIPƴڞ:E0[;߶9yZ0RgE3 8_uM6d(4.P[ !Jm(YOAK5(zazAnk)? mBrWlu``[`uf#EZP]{-ڨtC8,%_ r%XHG«Z|e_DOv~!=Vg5bNsa;*{&%* z e"CH[5 #qeP*=2,ݴZ*ftjĘ89Vv˙@8B&.A  ~)e&hR(CKY=ֻ0bPpLf6aMK)VdxR7࠭y:?km~ioJhȳ[kĝI)~@2d=OUV^>fOQws+Sab z33<.(+Uw R;i||jH5Z)h&I8mdF4Ln1)cdQO\KXV۩X4 9OGDЂtJs\5LAp9,ʑIېaVvZf,u5 忪>T lGko==zS2Rg$g<ֵPo w?O4j0%mk,%d 6BBYR$G/&m(싡j]l6w*hyi6!I+ 9BJ!ٵns:rVN٥T֍!2iݜ^*ļsz]c}E*=6mGXri ȟM#t-/LKՇ~GQ} ~>e 8iW Ŕ0R乨 %$ᙠyj@!A3hcxz K:0?tد- 25b'.S DqL`\e&9?#,xUٚޏ'ôy-/R1Z 50]l/jJ\[XR鬍yN9E*fWnϭm?b𮕟9_d0lЅT[x}I(壌F$wW7/|QQ>xK}Lk&s~|Ajwb};t9Uv(i?cM~ocV!L;Dd~F9DJʰ!;"}x@rڤI R6aNIe]m!+pә/{irC]RAB:[ȃ׷aV58/;lir!-甖H#cMIcӁd  pRqR<!]E1,IaI܍ZFq}ٟOՖOk lKV2b^!kX>3=b PPlgPט@6jw&,f]Fw5Іd ؉^'`ں&]!KZn]_Xܖ`+|Di˲7ɓ A,THv &M٢쩑 3a6e>Lm\JT4^t$W|u)eWWwoN+JLr.iC[>5dHԉn@ˆ tlȒƒqe&< ܠ8kz)m54 $"^+g ?6őZ+Q:g0\*Ǫ^;Z|nZE'wUҁ`^Ɍs] E2 IY9Fg$6:r۴3%!01$xVo_&L'ﶡ9oW~(iU_UZqg `[^ْTAym׵3'Oe9.h5أ3'26a#)8dJg5D~/H-^OVvh(Z>-3!%W2'IB9ҏP7;w$! @Ooj6ɘkƺu8=[KI@?m(6ˌ}|wʳO1 T(/U#*hxNwx=Pf }a]-Mʊ cۗv [ɉbunSxĪ|$yfV dcA9yE!3=ttZ~$bQ~q# !u  ̮*8{Q*]:3:,\sѫeZ٢6t`ͯ^6%,\{Qұô{#!03Rsɑ߄өj:Zq}yW?dn,8rn7Ѷ@HGFF!p{6ھ̥}|n ޻IcQ8A`@M` S/@س_{CnAd)j,ܦS3jlF?)k~R/2ņuvU>+'#B=sQ@~i:ΒXe%BcÊv[ ۩BjA5ըL_ Eg.)In.=P"7WM.~SKxBd PӘDJ !bPȥꪸEk3̑Y.FCPZA?.23感;h|PCg@^Bl87Ǖ￸TJ3n+wSG|fa-[%,j['Qz'Fpyg@ύOs)þUYV6E~,N|\6HuNXT2ͩN(zeջʱsG;'rr u\u9ty+bB"Bs1%Α-/".HR^>5҃'OJfR(&[ruruTMdžKVoŞ1fPJq& #s5N/OZS 5ӷM9Vo1Hõ]Jqk#k 6xNvW[+GU0qoOim]ٌ36J[Ax1%tɢ,ZնR˰6Qc5FG2ݤ>"\`2ȾS>1׹Tޜi>*>nUW{^SJ>(1 Szh_n~lI!.5V{SʚFOM;;OƮj"ys}:>u4~ \Qg8Jy<1@hGh> bѐʏ'_T S∴:O26.)e(5?*;92qJ*V unC0@ +5)4G-G#ml$<Q|f5N? @ӡz H{'o0Wf:/?z}\!9fs`e73KtsMY 9̢| A>1K[h*kำ|PE--+m_^t+ u9ߴ/SqNƉar{?0qZk;=.@ fxZ$^߷zkuaSI/B[.!tjҵdzVOnI)rӤ9jCgjWS*"lfm  yEi>0`p#!5wA჌ľcgO7O2`fnNiGkGb]N$Ѱ_n7B9}3=|M'^fad7ZĘģ:{*kD};@@9Fe\3(O:" LR&!bo6I#IRWժY,^RUh]6|nb}@t Ǔ*-DtzxhEK3ل"W|V~ןK}ViG M՝E٤IoÏBIH =>oYJ%f^U%!i{cЧ$ZO!6˥=$H߶#7 B9=#>/).'t?{9vl=Nw1! LYlE[sjEBoHi&_΋4S4zmXGU3W:j`ZRn fTZ4"pԥ43ۡ4C3x1#6 鲿=<;xgx?g)1ԟ,q):͵gFd6 N'o'_dZy̾li%P><*1dŎ܎ 9.?i[Û9tJˮrOc9qmL]ɠPiiKAf֕Q Q ˟ AOh6^O1-PY-*-Mv/ |h~P8Gyp2 8Uvs ,ʑ~T&NbShVH\CUPx 2QvV=Gz(t$ x?Nm} PPkG'#}#Iܸ#cW5\/ XhV2"Wh󚯿X'8)JD j ꮵMp 4n0ڝfov8=-)T QFo,㩸92Spq"jYڡ.o_~+l&{3i4SejSp1s-Td]AUQspclO 6ޓG.+]S36tIJt4 =!~yg[ [)ny|0繈U. d(%VƁ¡xbq}IhLA&o&61H?zz-< Cy%",q* dEHb2ʵ;y7ab[yXZX8;b.N"~ ,+ɋ^-_R匽W0]Ӄ3&J[n%u~ߖYiX ,\"v'}:gٻ-$.jmtJjyŒˁ]R1(?<VS64N;?wt"zȊ w'jj B;`X (], w^ $ { (?ݨP9}u>X 86A,#֓]INЊRI_![L;٧) *9eX\p}Y0Afg2X)*I˿T5`qe.l>2*%O%lW{}.6+ސjPݢ2Dn̸"vO0+j_?dT՗C 7ǩ#qq;~3Eg6̈́Su mLqwPӱcf0\fK %3U@'O+IbV]SjMhYY\]>F"WjeUp0/E/'<3i? YЙ J}}b)YN*%q >7{ %N=d6f {pUNT2B oJBrLysFv0G,;KQ='Z֭G7q(h L6X$[|/!+o䗞ӳ޾!N"}>u򲟾 hf G/6ezmhȊbL%޻LiHчm ܓ2.;E1%e }pN Geڸ`>iI:g!0L _C66f.\/#2&ݽ!MM',/9eݛĽq#a"O2v&~J6Gu8hY뤱1U*?~[D_m*0\l׺QxLҤa鍍y:w a&_J<ДM8I? 5z4Fu[({==DdvF|¬HA APH,I^˿=ңWth;FrR%JIiJBW \qQK@}S^-4ZC[y'6JQ:q:M%=V .ŶV6 S!n8b}i.Č>ˉ ?F\VQ8 ͒)1W2[߲5 ZtEJ67r -m6AFYYCv[B0݊3Y4 xϜ~igJg9v0 ! p/4zp<\}rIQ3OQh mF p0^|X0LĄG:^W˜1Yr_|%!")Uv_~:EuHkKR+~Ld&(PoQ;u߁ۜ=#b5|EÒRywrb䇅S-_)}]&=tAنw"><%ȋomZpੱ+PAf<|5˔ct4ׇ;dVfUz0C?;C-Rqs<7,^>ySf6]TX.a0F. : 9"U zh-=ʈ8r+uCGz+`ŐJ…8^xŲP{ ňja!"757ƾ)P2d;ޤq.[<{a~*r2#g۠=28S?ʓ"OnPWMUu@]y8taA"#ЈX*3 ~f6O,_a8"1emBѣs_#ٚ-q6ϱmqA\|@YZT34|? bDA0/.2 vfqOoŘߵQm%Ǡk;i#])"eOIak!=+\NHBQA:8G&4`$6u@\ɎR~!$o**ԿP?'S#TϝM"qC(;.ކEH˚gh^!Eml YY2  RK|!.Y1m$Cc ,}Msdk2Y7jN0$k T8lNwa5!O)I֯u3 udEU~2yp(~4iM "A._n"$JoW?JIcu3ljN,(4m[Ɓ̕ov<u.` #*nѻHbݙqpY3#Qf4mҸFUरIKyg[@݊5B!V7NyK ԀA26̣w˘憇֓Zpcgs>[$٥OsJĞ h{R#鄱</ xRҿJ/ 5S;m<9  R ѳ)}4nPtlt`V5{ΰ8 &V5G2|<-;ڒ& .E%vtjvb17پK#MP#tJM= Ϻ#6P5> Jb5lh Mkԑ{g!ޭZ #^7G30*(-Ҩ֜7`P|kN֗qO E6L N u#? 6G[$)QnN}W2ɢ]s+l yvl`i36iR_EG\O%9wE6/ "1m[dp c FG3`Wk蹚G%o." סtU5S5hv7yHf79Iou _YJV5 D>FWE9ajtW`=(}e&d-y}0' A PQXNƵÒV-΄BJOZڂ)~q, ]MQ'HOp:9&/CgنڢaXBFhs qm0<@&p.QI>D^l/у$%}#XL 庢'ɘMu׶ɕC3 :Vl]|޹3ax;`*xx|hGi6D-O.Gby[9l eA?"{`Y.Qχ)F@4-E ^d񱠷B_QlvB]m34Df]s t @5@!>E1.*uPyܛb=)3S酁G)ӀjA|&&wf"\C~^;]M\[!<\F $7x ;D>TʇDCϤbYTVJ qu&T5(̺dc ޽3]iRqPCd[r 5Ds-F,&ҜH5tUḴ ND w3Δb;"KM·^D #%v hI;#ؽi,@vQa6oꕭ3$P↳H-pS3Fq&K(> D;Žo׭) ƆTve2;>*8&"rN-֑E {SgjhaƵąK$Z`'Vo23nP}iäGHOu:U |ęB.mx_}218xL]V]wJvÜ"BSn̎gJ 6S6+$n%LߢklKTvH87MgC̳wQ,ܕ='/ٮxMeͰ)EYyqWPlC6"+Y?jA-w/Sg:jk+ǕG%{p//0M%_wM6 4N|a([_k,&7H>5~A '޴Kΐɓ nC\n^A瘭[Q,bE.)N)K;xG<[X=yH X:D~EI? lmwM a+1p=nN7 6$!7(T1*-/ut" lQQ5Oh3KqQקbGvUUɻK$XQ[4sS][ْg "LoVWѥ,!FߒApD[R)kiY' -*4x'.~Ƨ;[7e}HSBZEk /w{bLvDKYN̥BAoiLCr"e>! !&|_4Je6,T8˶./$}O`]/ *!@XuB5JZ b t$ E2A 8 ibӌ"GQ~dhNۛravFv\{LBlWfL7,[IYF` ]c q2B7+DT!i!,:^ݙiC{F З0iRh7x;tBjeD)¯k9;z䩎.+kL}E]e2# ͊q1ڷy2=g oVh^\1ʀ;li"bei(oVL?(\:Ъ1FEyGY"A~ cv5vw&T? y 7oLBc_?]rO uwpuWg7?a_̦WG1W4߄O~[.t+:OIJ)4$kj8@Oz'oMQYr9Rb]p+S :SEtr>#ؕY}")S|llPD_>TNژ@7Cemo$l n?aoP?x=Ic4g>wAm1x浾OKl[DTZbhZ{a6\;kQsd<)6Wܣ RTdHP ącL:KtO Y!wy*]+79v-!)e c3>t& nI|35}CZiXE"oWcHS<10u .5kJn{-)p(p?mG:meyN[v%0O(1:e(+|uh[)0GÓ|A5(,R mN=! XA]d!6) {KtT(ާ4zq@}??jݔ>d.B0!ـOgZs( cr#e~sKӵf;я6.QpAM4*mD8*Ӕ";3Kb*HZZ[vV#s "kǾʘU {M>bhV| %DM!0@.JnpVM{]VW/ {=6ՃO`'1A!x豊445Wڤm;u~IfK#V,HE0&nBlgpEB)~t wxl1]3tnjj4+v~IWt2*׮2ǖ\lLxCu@TyjfU^msT+#Si@/d.DJU޴J\^9{ k"_%UxD ߉8T~E,ƥP+N SI+% cm'HoikP[CpY'0_kjbW|p1zkRB"W[e")\_gN@1L53[9ίža+,^ϕo,P [@xU$ToALTlXGk2 InwM_v)3ct#590')%D!tz|Q:rFKzS7^' @>r돮 ŝapK>9HƯ4Nv&&?EeAoNF-h h`xq&qx@gNQ{a_u/m-'q*6֐a}˯S<a u'H;/p!jP+척KXio<r`1[ʧ)B\rFwDڲCbs< +.m qG[w.'3KEhW$նaF Cf2/v!<2Q/'qVj|PU (e7>N)cЉ 2SU ue>p ȨTNE+#ċAz 3쩪+eWxD1ZI%DyˇEpJ gIFM[;FR|oJ{[\~3"mO"(%3q~Է>Fz|k 6΢oHp3R_hB2lP$Tٻy9lWA>[QL@()q"SW&U,H6;`wv{1`(3^ 29/a 5H=[L;sǒL &^WH-Cz{cC?ťm30p:r S.2轮 !k+8Q0I؈7 ԍ އ_b$ Pqi/ Uo@@sK\VK,/rn MD@p>S%\"мh)o(kcj xU]PN~DӁ[;H^juli?N?t\kMZ6 &˽HI$qC0 ri6QsO];DtAcq:@׃zQx+)ҕ,9  1c04 @9%8X/͖vOD̗ȁ=e:ܝkxC!i*)˓kdn/ LUsiu"ֹeq~S|yLIc8F#> | [ hX(qԜjo7x "P騕|nJjto {] V @ 5vgB@+LZ?WtU:j!KW% _V=%\pz#KhJ tΑv <#[#e& Z(I(% ޘH [|ՈLo'G_nt󑩅s5:YҠ# Y.$3n>p\XcpvU>wsqbJ:uJ%,qư8E}˶5aYW >j2,$ *(\'Z ϱ~/Q;-O]5hvCNvOT\Q1m/QtZV:343q0Vyު C3󏗺@bI@[&E'g7rqR@6 0>>_Cw7nVAgK RcbDIyO cpZAM]ZaC0X:z=1qp/aKԧlߍ|a[xb|jNSYZ);/.7!EcC -5h؝we>)Ìl& XYYjx9ǪP/ץy ${ځvsh͗-$qM8l$p~^nÃT('ZprΏZ^f%j&<Q"\9zRY~j=?lE}лKMȿj,"0a׾1 GI a֦& M"sՕ ; U&3iC-6GUԡHEe{NRm"9!Ꞹ`ʱQ-G+2)cֻj>0K2sSy(Ԃء 3$SR|zZ4n=ڱEThjKa@6> nq= ލ~9 f"Ǣsnӯ蜂1sm{],!hl\ꐏUOۊƬXiIE)„hDFHR-J F S$c3(5f(V.;~qpDuoԙ)EopÚɏCiiWQ /T, ,]ûu{x2у_(KvLorJ|1kvk:y& BЁp@14<4Tf9{6X^3!#%,'^)qȞ~@s;8\y$Kf`)~BR?Ϳ4{G%(ECߗxieI,̘&sJP)<їu5O`6`֦ b-֎L}~w'݊w,^0IsTXReFXbjuѻҚ0Z5up3ՋVN~,;,xEe0q'je~N~YX\7 *Woou8Vogqx&s4tw-2ՍmV&:5ތB*>aAG(;H@DnZ;$0'1*7/L`&ƍB*V#d_xR@ib^k=WSV xy ?$`24 {.H|6\m LRBc*L/HE mi\Eiq`u 5iiœo@2K;ӗg57L3RXI _80V!q,* |gu!|lxFī*gg" qJ~AxcՂ 􁯢@&RV&RI4(9|+={gYZ2b2f01e705945fb3c7a7c72665ac59cc8ca99c934b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 88075f9d1279cbd33a13add82dcaf87ca372231712d18cae28ffe1aaa043495070dc11e4fb0554a0