SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 //-/ Ec Algebraic_Numbers:threads=2elapsed=362.306cpu=653.848gc=67.816factor=1.807zXZִF! +]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GEsbG0I26B6S^&>_Zj͉3;x'Xoz7%&Ǜ5ql֘$l*We&0Ii4[wCr&bOK0hcboŦEBC@ϛu(u&UKcvзʎYl_@ibxմdPxsZ)I ^hcMGgbHKк -5$Tpėi(*:D%E1~~L-Rސanl[}U#ȫD~zkGLky]))m4vRv3AMm!inu+"5f R;}N!K[Ma3xl"zƗ&8,KC)n=ȴ' >&J' h%&Zrpj^V:1On#d9. "U?Ϊ$x|) $]38:܊E /Y,-30-`QjT&ܖ:Qzzh"}e,~Y.5'}P_l"ǽpкVs&VF]{ t;fc`3(*-} i*.Y(fiE8{!`G&XZ’2,3 wO ؎pfia4!~W0Z)Lx.kqYȚcj#i`:,$sz< H c*xd;e!$%UO.藱N=G2V̵`e ϱGva8RrBH\$c߀#njgjJݨti)83XL}7CzN/s]b/]wّ8 '&k0٨;ʠo{D@Rm-Esۑ̊횃y^m99pe$Lm.r`iLnΨٻ {/zhPAR_P;'8&Pqg1X#1ך@1N-3{I"W1LaPmwja!N7uim(0Y[$qnr8n:'Ĵ0B{z•2wմ<'T*wgT E+ER'45(1aUGL4n@~Juω2߲g/"Gk@Gkg~P1d*3RQjy3[ E;,1ŗ`TIwR|*.'`~ݨDשEJAn / Algebraic_Numbers'XA-Ϙi6S'dv&͙~2)9$18B s*aޱPp23WaaP em ru'З|StCufj5fqzcHK&mYbro\&W/ETV1?]dBl!d#A1CetqhDhHJ=lV$zJ6FbٿnuLO5WdWXDU+XeY$15,Z)<_4 4<boa!J|9k2nM8 #JkU,@a6/O-m?=K(aC MSY)dzxEuG+D49G{HO hbГ' gQ^mMBxMb{(= v5=) lGĬfXx)I?t7=@D 2?nUǔ6?㫮 ,yX#Yq߇524m-}k ׄϊDS- d׸yi5FN?-ʳ.cRǺ3NV=d+dJwaȍhGc5g-eNMoӎiVk﮻ٺѭ9*Scd+y)6=G iX syf3 Bߔ/28T`K"H('Dw;׀k/ ! , ϹU<^7ۻl϶LD -M!b{wt mA ٣_>o~ZF<9;+]--2 `dCafNʫ ,L#)2VEii[Q:ɯ'0.xhq 9OiZ7F"YEp#N_6qZ`abEZ\Gh8YUg.M?#Te |t֚7A5z K[s7,ΉT Xl|Mrm"WE2t:3wPY Ѯv'V~SkXz.VFJ,mPm3Ձy"$f1 <| <BɭR%ڕ~)VQȾ=>B JaaJo/aO0em#5Ad ̝&JhՋ౭wM#XW2B~y`1?TIVq 0N]0pvu8:F]P*gzU=_X3)>0n_%Ay.!e y 8A#mQRd|b79QئkiMu j[\,K1^\"^%gV@EWD.SsoTIuB.~8 35A| $[k SSb}/ JџoPQaa*Ypzrl ˉ=ѭP,' If}8>z^P!bBO]R<@ÞN5<]s´n֭|,5QⰚ;3>i| N3"#f|9M5.' e GN%Y]Dph7/qϘ %:mZҖԋo>]o]rT %]p3D9{bˆXЫ"!;(0Z6<,LU؂5[[dou\ o]IVWIC9b/ ga6A .]t[7pa㻐R;MÏ,ҨXfd/Bar\R]}N^,Brd/HAb) DcWQNr[r; !Ĕ98EWH#q&h.>  qva?B (J|Ҍd]t}fezNɸbAŽg1F3btS0DNnK>U{5;è }Ǯ͇b0ݸ{- Q6<2G-~ԪýH}]q~X*JiB@z?; Q8,MfU~-)7*)A͗l,(Vnө*Eww$zW ))9eu~Sx講k(;"0'xE{#4[H@kA֏{>;!߮CN:vBYc KrFw+KKm^?Sj^QZλCH|IgV:\ Ao,,pJOVz FQLwy}I5p/}h?|( +`[#?rx*M!E tL?Gzfn²Tԍzh,39)Ҕa 42À1чXJV֊X֮YOooR`NV/[$7)9&Y4oHH=粖,[1]ʄ+UV5 BtgTd9w'vnK-{4xv Yc m^Մ1/J}= xXhjF%^ڄAq؇1DAڋcSYB+>1?,x_eOb]CnGji9MSSz]JX5hI%2igxj("Ƽ^[̍,!eݱfYLpB=d[IƮk]pk|׮6D̖-B!o5`/mtT1 ew:H6eaKl]ξ2qD/T Ry 6U/.]HjS]9LP<NS$iR-?rJ~Bސ#-(J<.JNGJ p4ZQ+xO&Oer0<}7b Z 'ѩ+e):6DQ8{/)vI<aoicLjG:1 @ì[nmXI{jch9܍#ʌ % d( OG^a4ØuG"|\dR }s!rdVU#:"&;X8#/hFfd,SURhr;Vmyf\ ~8aUD瀚,# ,^WVD 'a> {rr`xE^:_I1O8FT1/W)inܥTb'oل1n)-s]/hl|׋5N*ɾѨS}8 )^-/TOΛ>\9:hܵR niݯFЦun3hAK 'Kr1I64~W%6x䑧ɫ"WO>Zuk$1Q"EXɠ?b!G/V`;ޱ{2XȠO=uڼRI!ɞB:1Cj ̫{a؏]KhK$+ m~>Lv}.E&9[>h#/*I"~Xt+Dإ_ 掻 F)VyLJ|'b 8k7GLSQ6+\1A- Hmy$ڠ{{\.w: V(PJ'su1l8N ! ]U#ZVR@b:a:`oJ9N2X[Ѵ?=. j'0#Bz Ye1c f *Ex1@Gպ5*<A@OJw91]9l^ Pd'QoUU+'H)tLⵏ*/Ƣ%p=d Nqє6#XŻȒBz@ |] s_e?:4[l`|s,;  b\0I A;.iDY-Нdضw&9"8+X%89\R\Yae~UQS$vSa{o F.WO"<|\i?:v{AhLOWq`ӳ NKʼt$?ҮMb>H*ײJᎧ C$sn"m l1=@0DZ V=Κ+Դ d^W||f#PG1Y [hw5GqioW`ZFڻ<*CNt0AР䙗&T}\I^E>Q|%)t׬URüV=I%t-Z!c 43*(Hڛ5jeµx55'f\%2!]ǢeDr T߾ ?št \+{>dg|`ZY HRh`)>j BEuy#k+*i1\lz :=N Fb~o+!G:dA{LEJIP̠aQ{9']ʕZSëEư 'U0 P!(&'kWi)J2[ԋ{;;]_Z 3f_)@krk9ārgagz>g4D&.9gw>S.c]{Q\{wHgg-ߚGhfޓQʉ+7E~xT28gr;+^榴=>A9\7T iŤr/7&䆜~Qu]ĢF QY'9~6 k`-Ocj@v>SnS2ZBVPZCf_-9pg@]eؚ;o05  Epԣ}G·5ǂ x0.,ё6?pt\'+n#NҠJo#Ұj.Yd绫|4>]R/F>ywXIt agC}ĒE 3Y_j%q+hڷ`A6{ ۄ|ֻ8z3+Gw$~jT ?dg;ɶښh4E0?:&$Pv%ub5 ^>1Ai4:~xx'Eׇ2o0{fT3o_ m&B)VZ)+߳2jӣK&=Oe ek 4\6f<8e8 J|zX%h_U<Ny*Z7ҌdE4tD0<ҮUpp5 Л#W-ѭRg["(ɰ@Z`h|x8Q/W⚑ !zT1;'\r䗇棽[FÏWF3۴L rv6S{6nna~FWz=Ѓ0I"gRbWYl m,V;ܻOEaл\:ژd<BQ20~|`Ke:YmдlͶ׫9$\c װ҉,av ש((Vʬ-~Γb { ;8\8㔴`%*8Dmx8ϟ#э``2as P;L:~<1^Ԃhɴv(@X\|3i%mm )6U~پw;Hiޅܨzn\iY}KI0yB_3s:18xJ|xc sܦcs\S ,+|Ps]=?xRbbҲcËǎRΒ G5UltOy>}3Kœ:l_*IQdq8XXo h~ яTk1Ͱ_N:HmJo0g{26S Q!xed(*zń&*/ˇ/aE0 ,IJyr͜*E'3tX#`.CƳ.,Sd?{ b +BN:=UOS&_B7*Oޒ3tIi)Pd481k`^1B\Mׅ#NsWdԇ OzO1ۂ%OAP:tkՕj X)7X+R,B:_b0K?G]-}"d~ծ22zJ7Nz頖S@sP)r:V~-< HDDV2H^ac~ybCY2C d+Et#B_cN|狳{_ A '%-g(6X1gfHEֱtW^"2E*q`/{Ei_̅l# łKJ Oj;[?4hZʃZfgT#ع7Fi-5 <9Fm] E+]tg,rWԔ]aƚ$VeJ-=>]E@-<ْK&bD'oH'qs SqlȷU:w!h $U q:i):zgY%mOeʸ%zsTh>8m(k"F|V8PCmB'cqH3yB@rhqo:9\BUgo;D4K{;Ld`c#罙E_ y7 )8jkXiY㏕4phnKlu.~' ݾ?M!K!a F (^b"T4Vw^6w[ku6?ʰlHQITF Ah+! ;_vHϰS͠U@+R„Ѫ7{PHq).TiyH#Ms٨X)mGv wvg=gIIS>1*qlgsF~.uzs\Xx|"wRv. ;ὭX3.ߧ  q/lE23,TU/Z<;XhB{[ގQv̧HB0-*,bGqUo^!d9/#@8A_q4{m;޴ֻ3|}Fbre\OQ[^ht1biYv@>(2m0Jn7 ZcVM1bg3UVlKErzN,l9/٤r֖:b'y Nhg;&c ^+syf;ԭпS]tI5Ǘm.$*t NdA۔/cǻWJdX6z-Eb_V(j&^TXs(QtJt !i,ddrag EԟBح)%V Tr͍V3%`B~(S͆2Ν(Vgp2ݠkEKh!`Qz^djhDa߳}0X' b$0glh3&irC(ŒA$YͿe:tKSc{9drb\*8Gwywl1 / uI"DөҾ=Wt`|VAy/D>dqLiEJ\h\U7ӧ I_בS.x5q2R;H]qmR-V57 y9 cZ35h#5xJ]v#5r%>rL2Dv袟ƋhܨѱAլm NX~7wu(E/4uk%J)j ¨l:elNZi~+&DRmY}>^آ(S] 9|j|5kh5(zYYm~\?TQP܇A?;<@&cxT_D\YB.W HTYcvB. NzYr)pLRfdp^Sx51܇*\{W!S򢨲z'thT6]<+?ġ}h&ĩ$M7ХYXϻjģ5и<B{A;{%ħjZ!¨W9PwӨ$vnPeȭw#굑ҁa4%#Ai`̚[dP eb0TLzI8I8Qw<ޑ䕊m,G3?zDogF-qO.RR(}em#X[BØWuxTj ' N:ҷ#ˆqHXU?5qcq&Qg|K QH\C,%|~0'9ZFm3|ݥi$X]LņR`FH@l*/N,%Jsyǥ7Cy#P_#lb!p򘏾(^">} Mz 3&0hC Y)t1G%/91`#]ը ٍnp 0e͍,syΪ 6M ƥ`>!Zۑ[AT2d\̋xS>,77@)f#%U }7&'="LU3;;M)(uqXMeX$ᡒ>O ŗ *Ck<Ȧ޲\ }D*+~qgtCcuMnܘgXIIe[_Z]<=''ju**,DrNVùoEBg vcPlcx _ ιvrD# B\"7T1P[RV>m2E=zެ^%Ts67F{COKJGkK]POrI#we>ۥ?]c,dc9fo)ocEM_LCbDNhRh RG"`ߚpȄ7j@۪@mvMYCIՄm3|J;>XsԥkPS.Z Sb)1a"4u"HY~v2Gkٚ1$ÈZ#.VjؗSӎژ4G.딌O% +ʺD*]{B$#KRBU!RcLvkT]5yʏ%"6Q[LZ=9ժ iL܎1v/Xm\K+m4W(DW|Y 6y*[ \g#~/ʜn:)ЉBA (F~I^ *M@Hd㴕"ir_~T$9A,?=L&z/䭍"Of/sa4+TWښ1,b ʍkLf_57|z1nP 5?;|1&zM5]Ӈ/I4qNrE yxx`1"b/ _WiJӷx%ͬ{;QFQfEl~zjXw&i{r=r ,{jBFb78sZQ-qAO)\~1)pvE;K)^TO- ih'p`=G_#nH87Г|"E*{ %?0Jfۘ XnqՏmU+A[{_s9}c.kYcc 2=q8-k[?PL|li%,\4 }XL}cSZ, 0e."Hܤv-#iz0Jt|u}-Jb(Lsdդ+oaV uIuz hŎ\A\ay!nLZJV۶UP"f]-:W`a8N DVFm.}Woµs)z22#ͧ)`3O`$Xh ɨѳ 1"$ryTU>E4UX753%C)F~Z=_]W3~R-h/RJqI 9D4Y߷Qo]@bUDeyz^ Ty. P!ノ&gWh8Jaf6?uX1u:u)RaS+N~E2yTȳMۍri7EDԞYPYZ} */a"`q7@2mY93Gs?b:n5Y_4mn <}+,[ɡ}JfcLu$jE F |nL,`;*gmc04_tYEȱ}D3yH\:1ٶ&p1`Nz`S KI|J#T3:`}u^C1 f~NjG)(2V%*OrTEGȰWWsS$3J(@bb).*ٲlT,Qaə Wli/ }Azp3m [ã 67!`QEDri}~cB".30P/s!u[Fx'j? R\¨[@,&0ʓޘE{#/}ɾ8*q|O?R;.S yS䬇 nA*u931rcȱZx_8u_w]5<8ρR>!ew [0$UFXțH܊67G B8@={,FbM+|?:ĢxK Ͻ&ȠpU81HDzCxCsA Q >n*yY7׏S湗$񃗿 (7Q L53VB.h\%S#!GR8݄mqZDG?s̤<cdm BZv?&gJ7bgiJVEɮ'LӴxJR\!i.^vY:Sg~>2z'WxpAD&=0!g#)o,ͬ١'S ?Pe"Ex'd2K{bȔHRuqI2;OLR)@ģvt`QRP̧(}uc! w ƥVe +g%wmjsxpW-)`bm[Vi6Plh)@s@n+~v]B e ?lU544M]b1{3ò팀y28ayd%8c,ЗbOI { NczϠvh.M- 1RL6l;ilE E'Nۂ NMz֋ b᎝~ .eRŃhKgLݗHz=]8U`Z5`>~̹qh 01Zl"h3rJф ~un$*ϚWyj'7]<1@F"g;H?)L5?nR r7=˗XKy_@|® A/CBw$b9'N8YDZ=.1zQ%a kkiGLXoN|'7F/]Rx5_kҐWwt8yvjU4U3rj[?/KL5֙y}Μ\t ֯pZ?4W!2"`B<QRƈyVyU[v+$sx~t߁]pvY4ȋ,/48,½Lbg/ LkY߇R}H 圵$ҽ p%NT| ާ}`E+O#:=1&!5H!o(;MZ %g>WTmPy=%ْnNQƼ#Iu(ߙɛeL&'<1o90pQ.;fQbaN+wji~%qꖊ߁"c9"15XĆxXRSMY;kzoNCK s#biHj,}"aL#7귱y2s0+c`Y(2a|.Rug-o0Nj#ыzWݨePbP9֪kZ6c?Acyh|a\Ǔ:ԧXNyXH췦誘 fڅėcywd5ɺ <Mݗ2M(iAz shRou(IEM VgufÖYBK~tR%2yqW/ڟ`LT;#pt%ڑ/r#bv9tcRs') v\rփ.ma6;!% bK-CMBX)\WiAg!ٗBSئB)BI.-? ^:nu#|'Ѳ##K9)=-@wf\6sm,Q)<[n|Aa (m>c?abcE oPp,yqkZ/;;;_,/Ū`ZuԕԖT4f4k*WC~JvfF92?sc>(. bJyD5@=|"8:AUslWȼ4 #F ,-H >!6KX,+݂οDO 2j ke˯آ kFoTr;(9uK(;~42uqX4;Z.2ӿ)WZC﯄LBBX,üyk0H[;aM>g?j[4Ÿyt _*ǝa#of;LϹ KLj\Rsxx%ӦbNqFț] r{dZ)}EUk{)Kڕko #EdzAG_du`f3*dm%o,{ M"Kk-GG &»$i hS 5Ab4Kg.m[(&Ф.S]a/x&e.Hm!ъ[2Y}P-sg>TB>aЧ:\bǂGi߾cI+s `q'$A)uAF_YD2+B H9L5tbxE;BYMq 2 Gȭ t20;.Hg_@D/y+j~G*kZڞK)2vH$e!]ipږCYAFm?^ޗ.לxRh MS+9v$7J67#ef}!1~A F}.ҋ@'$i_|Ht5qn: 86M:#t,ўdIG0- d!JMk Mw0>FHs%o$1zq.!0jЈƦ{Ih0Eԗj4 m0Q{ؙJ) G(r~ӡ6Q[t-7b˄ۖx rY437?l`))+٘ރq] S'xÌs(qG4wȈ]]vWܮ̃QřA-DI a)`חObG PQ`ӡ 9v#3Zg2KH"tB^E蓥`s6 }uf@s򇛬jrFZbt^%=a^,~)\/كA%":$hN8 afv,f+qj/I݁%>,],Q:0miݰűFe1n5Z9%5⿩jgG81.]1( IrQH_˙,"yMO9Lġc[sVNa!Y(goH-UQux9LG[/vHk *ҢsYJ2>;6H)L=B0ea04-+ ~dL5kx$/yܦO>$4#(+Ea l ,chPVDOQ*t3o#KK votA 5)|*Dgb[ج+KLiʉ ”X WTOr_8 Ti<򧕿Οǽt \T&olD'(ӯkn04C[l0(6A/b M;[cL12T_6^5l]JN! zÍOT_HTwITu/1ŗwecSae0l9*!b0g]w9Aف>b+jP1R{Q_N2)Y 13!EwP6ك+h k?iȰMޡr(#_#S[d$<|¶zwbOYelj [$_ԆW$uz`JH /s oHhnY7%89D 4Z4?i[bNfD&Kr8s(uV zQ`6إ* #&tOr𝵥"jc$6TJBKTM*B^c"hd XH1ۢlաbԀFy_mgNժBzbCE3"$Rl^Ml&,|-]/6;7;`1DNsUXGg&o5v8#0ڲz6tH9ytF\DDxuvXbzm;E|HCҕ@ Y}LxС-<=R+s$k'uZ2 jKyXo ^~GbUD\d$#ȩK8%8& +O4gul Lqn)Zps/z^Z鐋,Ҹ=h6s]f/!(Q_ӧ^I.k MSm|SڗNp{D@ge=̄pz V&n%k̤,ȑN%DTC+z$NB+XhWw%/pp%ɠdÍ lvw@bKa6.**'UZ ,* qF=;B*ed {+u12J|wx#p wyc06BU3'/⸾SOTJ\(z*g 8Qdcs#j$4qhre`S b!My+FW>-8nBuឺ)mp4&Oċlw[EA%~F83lwE~ban%~S_Kme;;þ$:o-f_Ry˩zGoS*/ty<};S)`$Tc'{P%ȊHxՅ(3*)6z=50$QĶԢ GzȲˡ/͹ TjplJB %D3C=flԯkӤ9DkP|U>z(ߵ,!tGgl w&pew7 6fm1Xǹa잿hNdb6ib}Yvec[ g33v7SծBwW] a;½vK_O:$1fB٠SB%UҸ/ɮd T)s߅YOKhxh< n|BqR0ЖnNvD}?|r:B{<Ĵ%qLp rg8Ve1=.|1vݢ/wvwGT,;ީҔ5kj*<]z} -Big=u}x%ça@bA>y׳-W 0g}4*¦jrPČt},^(I[4%+(}zY% AXYV7W.THEb52v̼('<ܶ:;×.?DB΂3`3=MKI#xJ}f4Y &5ℊbh=^=kYjDJ޲&El1q`-e2@SO@)TxH`r(,ih lbޱkSQtȐ^R VX`ZD-ӱxkఫ**Vd` *=#~^>EïFaapGxةdŮ*7rLAӏ!P.62c^G) $6\2tMQjK6D|]!Ś&\y[ ֈl+| 9tlF{r$Qɬhٝ\?9XԡE'[x+[F5&$erfyHB]n}"ʼn\Maa%zJ 'RmR?ˑ'>ܼI*lof?\ $8Iͺ }.v'=k՟]+h>]F\>s-k`V/.#a6I"~맇y(.c(_su7Q[cea1cBq$5. 4HO}0o;pߐUKZKO*as3UjM@bGheKͺ1h ~  ;j}]e'nHڒ QV-(> u0Hq0^ZWQ ف:WΈtY5ƅ?4\oDoP82#IH_]&8()I3W7*,-p< 1Myw}>n<B X.!t^XudyI ;WuX͔W%tw4*pxl} iP>KFN\9lnEяVOEw2NUGڦ|m3g4Olqm&$veX7ߗ#-(Zk{nBdkE[lcOt?%Ikn:XB04܂"e:ц`$ 0E<0Bc3N ^JSU+y+EK w[^ݗiuIH=A@$/ ZԃUޅG4z|nrueG6(%8Q.^NpUqʟ1+XIQBE -M$Ri)"!ߣu%ʌQO$6X# / ΑT69H+W$ O>5d%10 h͟V~蕡 "fY%ݙHBݳO,a %zMp}90ENǬ%mdaHr範=["PfGOU˵xzxfգDW]{OM]1^X/UzrǸYZ'}C>[H"qvhY- Jma#*eTBoB)|Y9̧/׀aO:OE! fuڄJn > ;LWH` A-4$F.t2i67^b0y:z͆+hx_Pzsu^XNW7XnD ,I/,Giѥ0`?=O M\7}BjƮ"ZiR݅m *i :0^`U>_[Anųv2~3E>P57FfOq]P-`! -΃j(NZ׵Dھݾ ;*^~ m'n:j;QQҏtH.`Qv-kL;kDX{iGxQF\>N-rs|_sg\c%9nE4ޓ[9ɢ[b7+yZ1.z8~[AkIk誫Jdui}#^uV#-V 3>n^O )VQ Ch$p 95 o2${jn`]U~BC绠K\D:+w:;nL.ż2&I6$Wu(ILD{&!R֒B^Ij?HsFTSُ|~f+-FAyS8LS={ e̓N4c^Bw^q '>$y1jyia-_W|Er,5Z>Rx=R>@`Kg`.Vl{1xvPjdQrt Tq$xG+Fiww`SBTE8(;߀&9GQL1&! ?:ZXZQ!OX-f#kbuiƒ>ܣ(%\ hE'(6NǝK_.1/tb=G4 gM+)ҍnhD*l|k-U`/}:ߟP)=Y-,^ O@jeEY;G%샅 =ځ5cGɪsDѠM1{STY/=n.58oهI`iz_%g΋״.LWES7|yU%1;II _+X3ȟN6Db/eZFru3!.>{rb ynC)1V*q1`nH,yuFJ%J8 [Bu5 ={##WIg&1 xmSxUVިbVi{9dڅ\kǁ%lg&`u/?f9ϨwkӲ k EWzu 7꺡@+ ׋1&OOG3 zk]*XǸںJ`y,"(fAQxE/ l^yɺ~ eފP8`Hden2O]%Kubn7oҹc"H}- t`.`gwQ5v>0>tBBJ,3N}A8U}v*M/z7w}(>UQz3Xmh%r݋hiVpK`lgݍ?٪"OM;)" 4sva+(>JqrPjG j̶C=$DjxR1uDa.n-O}pF"QE>CMp !t eTV_s A#>n? C":UEázۋ~gYZ0133cfd074e837de7834b2c68e2ef6765827b0ce 035c5826ec86ac48074165bb294178fb02ca231d 0c9a3e373933ca7d6cdfe0dfbbf24bd72afdf4a2 1007c9e544553cab3ff341b8eb08103871194acb 18305d0dbe43c4efba1dda390f65bc830486e2bc 1c5144cb108baba63fb12ce76f891f1b11f4f06a 1e432b7f1f239f8ab6abeabd772bc06d355df3ea 2be91c4cf563f950738df916768371b013ef04dd 3588c77db517a9a6008e92090d20c2917b56e4f3 49440486672f94e68db49d0e25104022d7109998 4ebcf0ed96dc1e57de5fe2ad8bd181917f90e91a 5314516741df9ca21effacb7437ed89a84e657e6 696c2420b0acc08e20243cd9af4998437eaa2e24 7770b70484f7be7508ccb80621ea1b41b0eba7d0 91b1169a0b12d1fd18c260da80402866d78d6acf 93e0042b7b1fbecfc15f02000c3cb3b143438581 b0b2a7628204f9f0710f7532cbeaad8cced45148 be385f923955b38d1c813b567ac413c3be1b8021 c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630 dc9e2eb5a518d32847fec4b1928fcfc2cd5437b9 ee07a956a5d4e1deb2088bb2f7927f7ded92d28a9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 23898806584e02d8999851519f9f37f548987eb7 a6499e6c2907c8581564d0315519d1dba68c8d25 e1aaf8f4dbca40274ce496bb4d0c6d06cbb1e04e 19f803144a5ac4a21d65f587369ff48ab1705200 9e0c28d17c07618347494b08780a0d9eae17334c 5d4b300b4695f2dcf9728a6db9192302b5546bce ac23f8eea7564c2ab28f967add1e4a07fdfea729 329e32c8206e4ed24c213e1df52aa66c108da280