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 /#ld ]S]HRB-Slicing:threads=2elapsed=518.650cpu=913.084gc=27.164factor=1.767zXZִF! F]ŗXf1-/6vRZ;RsTct.{oۯcZ %y2Ķ#~T˪%A "C^b?1Pe7A[ɪ`ݢNJk[_|tseDK3Oc -b&t?L~PSRy x䳒ƷZ]$b@ky.fxR6ℓ>b=N0 QW8Qp":~fYdPx;*͝NK4t˧2G|t2)wt'ܺ#yCzVPwn9p \rRq6OiCƴxl#bd*?l`W.r-2+256RPyFB2zN=JFLgouAc pkK$%2 }X˿KM횮^R7E'⴬- f iA\TnI~;^^ST r-͵kj;B$u[=%g$ndRIn n6?aI/_d''װE%mqyxₗ/x()>W,Wo`W>~qprqt23ֵ!tRu7KblQ2Z/αV4@T7'i2w*x_/:]*M{ud;.z9EY_M*n+o'9CB__gƭu]@(m!F2mEDOī[J~(ύ0VO?7ޕ]),wBW~]*c!#_\\,5nQQ|HP<[C2y&VXGVK)1~0)D+!ʪZ%/ Kn2?J  Gp|w5 n̽ p{?Qb?q'730 qW2Iq_ O2#څ}F}1!=J z]o0L-ƢbH0j-v@B=Λը%)):&8J!m2K|;[ |Gb(vNN>>m ޕM ;`0m("$Q'Թ-o4֋wzAx&e kR6OpWxW$=A;ROSI^I#0Vŭ"Xw|hX]+=\*#@jza?mQX`(3$QLˁpCrNivzJcZ H0'?TyExwI9ݛfa3i5LA逊t-y8=dG7jNf%m8,gG11""^ZO3d>(5h CW h<F3_dJܖia*rX/z2<>yJl2rØl=K'=a$y[L䙃vmrKc>>SaVJi{xZ"F}ޗ=R36PZ*T 5PgER.Yj$ F[aJ\%w$J # HRB-Slicing~teZ׶ܑnCt{ )mmo = OLU^.8oLCwcۍ&]RFGkKtOtp.;9[v`A1g A&& uOwfO͔r&j͢*5!-4]7o|m'7}'3+m(} :94fIL{3ցvw tv!)beGdW_WNe$}|aΦHB' Y#.o#w-w,5e3!.xc^9Q9V3V p1M1,$b"DzŇ"ut;K6֣mDnؤx^pA>ܺRR9J_,lz6{V` @pA R/20`˜lRX컑 ?H$t88v1Puu;wӵ;q21G0vOXv -t9}Is-Sgߩ ?BDy3{w9bI|+ʗ=gwV2 W°/J 5Kauᖮf0wܲP4(e'Jz؏\~LAR' `b i(l3"iig:ixclpAXR>瘌noSQ=xUv *szzn9='o6̆ ѐR i'n\hP 7 gW*Vs3 .k`EK~Vf_T FZuw:m% pH`}ҷV[=`!K?tX=tW} (ƵNtSΌN՟93A&&D^];.*ޯ k_=b}*QJL<7YU iO* Ώ-u~Jvnm>GK%녷'C¥vUfg:r&ZX6ƳhZb(`Rs9Qa9.VE]HWazj K{@Uv0 *dH?\]66 :`%3Cݽ:0e]a+ CLj~HX0lp/',c_>JJ"+:,U+NY:TpwM+5Ҧbk.̽u˲ tʈUK!}WxSzTw gOEhkg7er :U0^C]ӣD2&. ]xo{ś$ a-G:?P㭼rl@Rh8 e8:nͳa5GVfBE#kc/.ϤB|%$ mw őų!? ׺CӌLKJXa ? ˼)mx%}Ȏ{Ɣ-08O^{RG3]WFGcKkbW!OE-b'[,z8[J][[aZ+7'j.=`Zb߷!^iJ1uR 2L)lpŪ;!kC4 Z`>_ A.^p&te=BN] {[ݫ:Դ!߆8QL y .^ZJ) 27BqԿ!]v#kwqq.:ms YfK]8Y^}ɰzUɨԲe0{V)Ǥ *6vGF{M+~?B<%UFEl;O}k4&ע3' W7+_I ֵH  ͎ &w2;?{5K^!E:ksKEGS*BY' T/V "9T1:-U3Ѫ0x >2uwjYXa)(cP(YL܃{Eiq^|t(k5VvMp|dDK)iUj"#;%hgJ{ ۝j]ǨIw^uFqZPdՌUHEwwAi9d/np.&mS,~#"6}`|x߱^(iӓG+Z;ΔS?uILT4g\t@)zz[VUh-XZ+$WmB= !|ٷ^6cH E'4 FK 1#xz?"`k?c9h'F[`7*AU3fU򪥕z{& W`0c@F RCpZ3lDEl,cZ 'bV1=gYZ7zXZִF! [i]ŗXiɟYyTv2tL:x&HΝg~^î9tU'WF,5Y=%4[A//cw(ʒéO(*25' ;'(7c+6V8緛g4q4JE5w& n[>њeGJY$ICV&/vH۟ {Ln('Q#`Ǹ4 SBfE ;e @1UV!j=Pen\HUmml$MŊgˉTZGF4!EWfߟbXs¹6@- i7?Kr /E) 6z.-cbeUj{|QӭŬKP<-]O:dx#{J"I]r6G똀0wU)Q<.,ep A="#ƥU'FUQ=EF-9~3sܿ*3s_B@EzGaWRS rڭXF8U{_Z(MBNfnN=xruLƄx_>zM_u}4Q@ۡ"bܵwBJ}z"?CNW4dQ'"36øV!f!b""'I2N!8Fl%Npy#vE2c} KZL*,-C7'|ZL15G8̓yQJk)0kfJhZ0 e&x>Җ_s7*$"NFg g֠GSo8i8C&u͜ 7h5Nx Z|$]>SѮF?V; Cxѽybsno&#6_!1+)Me5|\ %CGjzTxhw*oojͽ0Aps-iٛXQ9  #=.H*_m8axm;]^F/1S{3)MwTp(9]댱FNT蘔läӡuZi!- 5٧{' .b,~i1s⢎*Ǩ؆$ ,g;\تXe\oHi&L$x A=Xk1ϲNit^ӽ`xWeNFhT]aN@̜B"qY*ḡ9Z3cv Cl'u6?֟ZjDMW) 0YLI,R93ة,#')o_(Gw5(fRUѬ!5p],ۡ˗=LK38_ӨZ0VqVH"@" Yߏ;ie#zFxݵOg ǟsfWя;^]]$M^:EfT21IZIK}dabvb. ~7,Vd/}Q-GW2+M۸80eٺ 8拞w"!2K|l6~1kwM,Ϗ4ȭdD؝M01W6 #о\A,UbqI11s&Gd &125TtpNaD$HR'("(t?wMܸAMɱ1Bg'4~cnŬtN'Jn1 ߶H/ ʋ`F qbăhO|ؐv|a68Sڭ<\]/$X}-U _Qsۀ<Ѳ+/`0PJ}laMAwUpە# IA[ыc+tI)I]>R䨖v82#wps^2oQ ]BgKnþœ1 qˉ^2CF9! b}RR߲QH'=OTrE7nх;֔blkT.#k*TƏwѻ'(bagy^f%ĵt|Gb7ZA_wӝ8rsTڐl̀q8?lM6# u-Q49(:VN;l!sH򸵀@V67]23L]PK>LP'e:9ytnqIn__&2 Rio2-5[#WX<o)V~a/ΌCPDqw6fj4uh{g.1c]lU)urt}[ں>,xϺ|\dMͶA&KkM@P֓4ບSP;Iu=㑱}j[QTznu؀XXǙ=4mB~w[l D73,GxZ;.4n hJKc Xߋ ذ KcUʴ)<* Vsn ) ֭GP&qM*/>G FH7TmaQxT+z_ZmbқyEzpV|6=£#4 B@L"'Z  sxT1͕DW}:ztcCx(rB^U Fdˊ(;=|z/`Q%TB<50Tfp̙I`'x>W>sxP1B8.Fn뭝PTҖG\a3W$NIOfQdic2ᭂWϡ'_3twdǛYR!E.^ri w8 wqQQfT[?ò;O9[cc0.' ~ / "SPO/BQ J 2r$6RwZS-ճPy f>.HQk:1ZVSأ5̾:b麽E0҈+DeNI敢 D'U'8m;'/`uX,Lc4w?K >\̍59Sg**Frp _mI[c1TCEÓC_X276[ Y/ӛҠς il|@R\ @kcF1Eìj-|ȅ2೼%3/ˀi["y?v{eH{\T7-0y-ĉ֙ nH,X ~_Ft=Wx.$hecB<Ք"9?G蘻sᚘNWvuP1]4yJ eJA«w瑊pdH@HqZp\X's:rbF*y5F"ΆD9T/F%:)Twubp$H✛yKԦ$Ɖ{ݸ 3e;XѨB܄7xl _L_xEMw}Afݼ@ p[o92d5HdSRS%օmH|{ït5F[\-ᣋ >*6}Ep{E"Y~@޲~b{WdɤeGSzxf'do;9&fcLG,*- }KM$LlPGfcHoںz73x7IT3"Tr/ߴu2H'V ɐ`5f{Tg\5رy0ɲْ?Ư/ s ыQJ[dl:sCxS5)l8e8hݶGXuS?$=)a_<FaFd0$r%]\fpKHi,6PuQ\~\*w?&? }̥]C3y:ZϭBX.5JX|볥ȗans+~je\-e+cgc1oأiHu8RhT/ P#mNe.Τ(yNlQLiѦͽBIK9#fԫ vZ,Jxe] `#*K~gԦm'ě@?jv|˺+dKs7s`wLan堺 i=uCg\B[g=N#GaPQjx7DL!DVxAVpMw蠌si 1_Kg~jx \$*zy4+u{[=pU.6çoBif9S038=og[ίzّ+6:4gA#!S$y7jh1h! 0Q/|呅̽ aG>ҎU]X/xuINP+d0+eI'oBǓ AkmBJF>gOS3p}EL:6wR9l*(5| [[֒يf~Ѥ,{F`ShdSr0DVAs'+dRiw~r HdhVf"T"\  \$y?\ DmjR%ሾ8z|4e+@hڵ T\ $0iCZL,HM7"NH`%@`f!\[GA4w[)̐ZѾHf1R=/UחU6Jc dMqouCwOmEZsD)3c} Ez}t>6,ugJ篢 >6uxjc4Ks%j[X KrWE6{3q#f0XhieByI?WpM3Jy{HYIDBbb2z!.z)1Eԗ K k Fz|} [ 4FrQǞA 㐹-X~˟ [}r'cݻ9<.h ^{qM{}`o-[/weduh:,aa*y%D1 8; ,Q>@4bO zOMMp&ϒyE%/Jw4]{?hWn9uaD[ZJeps(9:.b!sGzR"SԑT[~+u4YMxY– ?jn;PHƣ|J̘)EZWnN?@Ǐ[hk$FKRwh GTYsoKG~g/#cLsŒJE5,»Z+5DBo5ɘY! i_8@9 fdn]_? CpncS6b#/%J(ty j$^%5ͩf^DARp$a#5rbp<+mR'z?FK:Vo'^IXSG-Lq(VJFln`p^.&y$&ϸ)ɉڎ|[}ޤ_8䟪nv/2ÖdU9emA&+4WaV[6!BC~|}ЭwXJ$3vzdgŽR[$-U~2Y u~z)Qn%DTI" ŃABcb+swh*{n3 )Uż;x@E\J 1QN*@a(ƽF?3gQ\~՟}(&VKJUy{6K($͘}٘?J:"}n̠Wm@b+bH:p ]b7 Փ.G~{ڛo7NcYn{T9CvLը#k(z;r)6qPo)pcϓ"u84jaiW|8֐#&/mv#Ť|MU3lA[[c0i޲!)e)穖h[˄S:| {JS~(X'4ݻFGPƋ}L߶O^Yr;R;D''Ԩ5F-bR㮈%߮)U{WV#A'pa=;bXeXEDp BJ~7ůT "D}q!wR%y ); C8EE.v&xP+ ܹBԺdsewxb=`ިAabzZW(=FHDi` ﻒ^-`?zfʩ֪LrCoA6e<|L>2Dgvəط't\<fș)M6V_Rܫ 7")HIe\̗f36X f_SpΪ}nFHhѤ>+9) ˵(go ՄmXsdp ~7ZY1\?i{Y"I'B.۟#oPcd|x;/5mpuwXwʮ>;ed3NiqiR\1 &*HtߨƒrIlOC)ix'zIB4>L6cPQlϣA+vg%eq[6U~3Xw.N"Լe8I@ۧfpψcbXQ\x7 vR~|]W LVkqvumϹB[Q.ȱӡ)kbr5+P@caV嗭!mQrw..B)~.63]/\Js~qq.!W ٱL$Ƃm~混B.?SϩѴ\Ru|yfvr[6MY< Á xعԪO=Ri bP?ƻobݡ|`go@7,wa`f)|N=U`0Բ}}l-UFxqe y_2I]G-PT'+Ws5תa*WHXvjbU #4O*\toTa5BxJZ,^L8g|OOɨS59zxru[݁MM{oTuO  rH&UNwkc";tW tG2aW؞xaɗ2S&՛AocQw2j٢X?-#V{ƫD7І 7Zv6p/q&8SА?ތ=,vz$e%jG4_^'Nq0ud.'uZ%\qHBX g /LTyMKHc2y+jޛ 0ɑ:Ј^,¤V|,9% c9jk0I =Sϕ , (l!p9>{;b6AvCOs0vXj疲<[U %FF'.2s.*K}PsK6tuXܔtݭ <pw?u&-5{>6fK08g]+|H4cY1tM<[+Cy"JfJrJYw =F$ke^ʙ,ꟽ2"cU0E>sZ jFׂ~аxkS5k\.\'}hy,#r'nc{P ]&OWUr 'f&fBwF&Y j&_-!廚|+%Ak#HWQm ?(N2'S##[۫O"]N pjbV̔=S*2|7t+uJu.6 ͨ6CYȚQ[Jm[-)@t̂2E;-lC"8K+=cj>YX*xVV=YBVUA)c.r a9}Nj\ ƥT"-fۧLQ?3rc,hēÿQ_MvWi~i^[D\~ƻ}_0LNmvAkjæV5Ѩ6znG ):ĭGj ^?oVJa.-%uyio74رi}.(] /=˝.t[\tRJ0nHI5r!n Ķp#ILSR/緝 o V,6kkYXLacPdk{G1&ădG C?Qwԅsm0]`ax+(1x@E?M0$$}>c\Pr~4gIR:(Sd ׶2j0",naiނ` cveYΔF!z<5;v\^o 6 9XM'5Yҿ=\C$G ytsr+;,HUcOLqюΞ&߿l4BI38&GA zF;ɛI!3XDz |&k-"6*?[| 4_sqf:CXuk[.%@8jR}^z}ƛ*҅>@ r@Sc52-4%"Zatt}thc{y^#Bjgom3!Mŀ8NAF֊h`&+EVO;RM)K`dA3s1 ;mS^ַ4KEn}b&ɳ;clw@իc^'S`" ,~7t] :os9!ZTZalU$L#Z y$5L,ϏB9ڂYяf\3p2??`RjX=kA\s?Uj9N6jAF(!vCܑj-qP/,|R* -2ѺT}` @)w{U,G!];!ˬVnRT=J q9Ɣ.Pǰsm8h|GAP6%h8.O~6fdIy*~d5ه:k []XޞPVJ:䐐@\yw؇j P{^UWYVDG{GJ;giJ  q-1"1jV%&,(%te0=9Ŷ.UɃyj;%eSO P;a|>Q)_C&lkL)&=L~x%A~]~*#9 /M9ڊg4ӁmL-O\w!ܑ_hpHB;5^Eó,@,B<-yT3$w-D:GVL{M}$:[Gn͌Z>9Mb E ߧjXPWc(PNMJ{zkw^J &C}z8 :f%'ŐTbWҬȅZRd}8L0%vN6y07Öi#JЛoүlًK_^Q_U4 ]}>\rI\HeŐ@ IuM ^UӔҾ >ơ^Է kHˀf-SRHS2zД,a'(n\J ZʼrH P9!ajbx e]T~^3rˀ9<4]mHx,ɡz3o*ъxT/k5ig-^i`$>.,VI%Xb'&jJ. J J&5|ݯI"ȡn3K&(J6 c--Qqx•^qoE"7;XG|w'GzU\Y1?HK>wCZu@!EVo6T6byU?YQfتnnKܹ8s1On<\Uy&YFb/Y"5L4(UW= 1ɻ/Xqa&˭L'9hӻMejrHlf6+ H`ڰ>54D*!0I0C m Fx]i [C"|Ax_%O&d(C=ږ X.xhGwB5j,\_Q$tl2u?2t֪7ΨE9jJi F&t0wkZZywK.J Z&*w'ǮL(eq KB{`*EeF>@y&^Hyl:I|wh nF}cUe֧@ܤAQ7^  kF(lL"ۈG209g'5E)aEDkB*:]1jqN?~6LZ[NbT ; *;Cb0 @U[˗1s< ۞k,:}$;ۖjXS4wc~&?xLnX[H_Up5؁_ t5UUl!/xbPXQqJ0ү5a:"@b|26n?2IY8d)qBĕ)RO=LoJ`v9FhVV+IeXA{-%k7`}]%%bm)qߛ:)XBq`ۙ\~W!cp* `.Plgm/1}J3\;wZCRJwϪTcK5qFm|f>x)?ЌՀfE_;d@#r -eŴ)uE\ "Dh3JH4\_)ON#u3ѥȮ y|d1MbZ{U9NS艮2W 639o/W ە}q=xaӛcGUkj *d ak?YC߃=>>c T7[wi`_nt[\ f"CifjV_-s4 {5&ݣffmUPzWUSwI!cQ/xW~0Ʌ {-o0Sa*.캘!x7fb/dBzKNҰ_ضYf\|rGߛ^R[z ydEW*jjcacaFǵ~QC6hW؟_{^BT(_ڣ{ܐ ]|ͣ3DzP˦TZܿkDc P1I1y >4Wj\Z(SٻgK!pNN5mf=ƀT{3{Lwi\_laa<`7zA/vڴYk Qn#CBc^ϻ)eaXhh;)5YA{aكp6@ˤ.R8,kHRNX\SLm/zیtH/X~;2aGF%'mU$&’>_. &Iyqk[z~G 4kvއ gQOF J'G)㪺Yu>=@blj`De|uHMGJ'vմȹC>慜{lm߬P(uA ƾ%adx~,C>V_\ u  <(r쇇\ΟIMjs@$dc3]|㟘v О=eĨvac>7Dz_p/fuj-ߦF9ѶnfqDS~%,^Zs1\Mv巫>V#nolVq쿡vW2{ T8_vG!ekfGB.$zMk|\)4^FuM qH>Co^/j GEdR|7upꊪ)"8ȋTM+pY_A{̭6 Ms#߈2XK/IG}I%bI*[Ɏygc:?̧$#B=@Moj경- 1Ƀ4b vKc p# ߚP?;DQi5>˵h60k&U (2۫TjNW+⡗}=%twYEQ6̥<j\:%S8drßT([E҇ VU-rBvm;)ByG7-&@ oc -OJ.݌SSK෯~HRr (BuYNWz,Sv'Ҥn8ߩ1o@\OtpeHXj0:MF_"\ͫzWq$n$BOD,N䰍_bOO&=t?m 3[tD5v'՞򫸉ֲ.s6Ҹ=0OpLRhr埮wᅪqnYɶbi I? .v]l~2 Iq1=$J4@L>\jW HNݷ]it_hJ.8TFo<׉2ehۄ{ätyIؽ1\{~إsgOzmema஖^MSDt ?4\7Ƀ $H*Y6ʲN5j1{(xA ?fCOiOo>9%J/20U 2N!L2Ou*BxBSX=FMQ.S"JV i0D"-ƸUSh,e)S9"'up~kl]?<-M:έ~)H;c Vheo`iO H/BtQqwg7@Ak%x  \BBrxxhk tq[1 eV m/WO(TKL |E ToC]ܝۛ=:xSry>RHR@wDfR%vT@fN }$j2mBMLPVazYˮ7čH~G3r@C$Ɛ ;yzL,M|u22ȶw(߶"W(3@Ze$\q4o8qexkSyHEu":έ?6mufqE:a? qTԐFV|uK//,@F-ț}kqQ>ќc;+8@qv7bE@O2P\Æ3m83ïgE@̤o*M7qӝ~#Xѯ/} nnSmX&f}k]m[݅Uv[HC_J_N_b)m~/Xi("[ :u qAThwsϗpk\S A++KEΚ^Ld][OM gf9>j?fE 4,ͱQiME+8>Yu3z8~5w܄*$8IF] }ru0 tv9ಧ{n j;/ABvjo$eMNZwfq&$ LeZD[!5Bs^y$N+\s lf.{y0R`7w8z@KMu$zyP{z*xؙK.?c3Dae[}5:%6eWBѐ,PS AQP\ތn8Wn݀W Q+օZsǂK.ܰ+vrcXҼϜcuZ>wM +i f!~PYjq/8ٜk@ 7 3)_]8"݌i.Ae7]mkϹAfD|rte{iўb:Y=ZqHx hEN\ovT:oi-UmBi$MĹF\c!YMp{ C_?#$dP;~!a$DtX.3q>_Î;DjNWt` EY3s4mLZ;_3qqEvOO4>{ctxy, 3+28my|Cؓå7t%,$IN@GL.4cP ;dI,zN SנWJH~H̿rVs`sF_]t3GtM&y3M W>6pj"eM\UhyBccӻS.޳-\+|go]AN-leudg1L ? ~ Amv6)}?LgYL/IF[ƑGFyDsMsu2J2ePVStӎӟn#Bdq1<(l2WX7[Y5*#q%+jQ'-պnwc\,WWyDj^*%;d/oO1#Ax-Ъ1^f)ufn y=b)wzkS g,?*35盪 v5anISGKLVNRE֝U>. 0 P[>@Hc~  _1I nf`6+8{Aqo4{&PYB\ռ)GoL1S̥qҽI{x}JgXǟǼ3SOW-_Exk[ϣS2)`ڔ?طX)5L{͑$5Nc)72Ɲx-ob|O9]<9,ɐ.A9`;zY3."JhG`-1 . [.= },]Y\ԍ(mN +:#Dq6輖h^lۂl!ɐk_t2Rwi߯ hkaud,i0 `(?il :zAXtpb^^SCV[+(TgB;ZGwP'n#2oXih2QN_.'L8ҠcuFQ^ĻEaMyp,8hE>ֱYCL 'cyj:8!ըʼn"Ӛz`zm7#9K*ΔLr !/pKmeۺ"~%]raʘfwP$Q./'" rQ?R'/W\0(dv -ϜH ϧRyћ4Bl{&VPPF^ephРYP3 tFIu2co(!E>`Yrr,[$ÖL^?4QeAEJ i$B߭J~qK&b#kOyKwnSǧcp𾼯㢽h/UV%C#w,|%$7]:AaRUEh{E67Qoq^|rs$E``%>)_fj"K ޾\泺uZT !5gPg[]@*gZdm:ta[; M#_$+ e(o\K)oh?TTnfO= țպ/ }_3)}2U@d>VҖ<ͯbEc7)ͭP'A>w{qP24%ף;gS5řw¨4 Wfy." ϒ;1]jXAЀ-^=_5fq_`G{󴜔n[?9YEZ]9("{*$(`Ms>т+?c9;tQJn܉).qҲ޺ꊕRmIt@ın ˷w)eX\N[72٘tmL˴QlfSL.̑_ p3y-mغO{TJc[xҦ}ډ09\'c,rV'NSgq2>(0pOnˊ燫qJ3+vOctQȬs iR]0,`+ؖ@wSg@+Ӹ`aMI\3ZxioP zVWy{GYTѷP\VH׍ 8c-.&( SLFB=vE1PB0)[,#z*{d'T Lu7u"&h/Ygeѱ<=ss'fxGlfSJ$RO̬e&[sc`֎{XF&ԟh[ b;Jj%Lo?V.Je$40r Mg'DJk|D?S3:;qg (7 ;ݫ(ƜF+E^mӍ.q|n6ה;~9K!AdPx Y AhI…mmPrB[kxmns=dN2zuYkzO ;.ΡXuӁQGĎ1.b9lzN01B=kږ6D q{'ygYZe2f4c86c432d35391b016d8c97619daad9b7c7c6a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 dc22c858392f9d2dd9a409d7f624a25295bcc9b9ed5afa527a88adaf4c5d02a1a7d16ea854e3e145