SQLite format 3@ "- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info **R5l ]Berlekamp_Zassenhaus:threads=2elapsed=206.487cpu=375.628gc=16.460factor=1.827zXZִF! J.]ŗXf1-/6vRZkBNs_wlL_w'MC@rPݥ[#4A`":F:R1Q%gtF }[`FK0' Ҽ /7'@: "8yn,O4QTLX:wD؋g$= κ3/gn%d9;fi(wyl'.w[xV^X5;7>W_PwCή!1^a%X70CQA/ {?\whB/mS9Q}ޞCer-v 5 Berlekamp_ZassenhausCK`3E?%v=pj|ur&U[a/XI QQtjf+H54Lq[la~:X% uCYA57&hgB .˄-ND߾ Ǟ'@*-@Q绿 $2/i9>{"2^%]nj;UF(y > Tk\ Qu:R BU杧naXjlXS̖;j `FA|x|'A=mēB1`SSEU c% M>M\_^(@x=YwB-}% %bȎ$G!( t&s¢-W?Ye&WNg[êH^}+o6MBީFJT!TC f|5}~B+>B_x_XBS[_y3)J~@њv(صS\ʴ &BKRCc?|gPgZ YʻE/:us-?ZD!5cV1Uv_+t2!F~WMXc79]z|\ mtn]^]; z[=ad'ˇ=rMɅèb6黊4PIg#]G$DQh 1 _7Qu"٠b{)`έqLB7ί$̩D%LOa*:d6(';BpSgNדKT ecǸGEI酗BS4r;!XhPKxGhU˯YZ :QlXz8@'RkJJ)S%^[E .:8r416&5 ~q8TDz|=B$/ҖY<-@i$WaQ KxD G˸nOU U^G'0CS#l"%1*Phk Y>lo=f];C;lo\*E=}ukKN{G2NL+7G)oT4^7g]?zM]tEL dpyZܒǯd^ us\ _Giqx~@/h' hQxo"Jy^si'Tod_&Wrfs R>> 2&606|".cb)4CEcg2uQ′G,8˱VxW }MFbCP[ p6ݔq4w wS#2ϧ`P߭\`0eG0{ؚU.) ShD78s-y2DPBb 5IC^iDM\n[_ ~ =q{/#;zeVjQ3FŃ"4Q'bqRs"}}"p$kzs]i]Rn.z_`~Л-3=LkBFM 0hx:0o7˳Ilt@!%@b-HEA0Z=H,,NGDwrwD/Ǘ۟)P$'nJ :-="]V*ޜ3:D\=|Hr>o U+׊t5EGIڎZ'ڎqQ&1[UHO#eC|@)n*qWfJ K9*&R8npO1ai#H(}`XPjq7l?%E[~Os܊(5t{~quÏ]r MTndujzR߆QA; .F2md|AMn |b .ߠ"]oY ][8D%t'0EΨ-3yM޸4PLpj?ʪb/.K$vzW R:hk94i;hϔ蔧9ɞA5=h;Yǯq-) T1|\oÂ*ul=eҔq\{2-VdܹgU fbZ!n#HVelDƖ'?M{NDCpuP*+f0>]s7!uڷ" |by%SV!puL&eO2|n+`^^!&7K%mjm`Hyu;˼\g'("%3pQ@F߳u4ݜWD 4!!$;RW&mE QK\r\T+O;'FtsȳfΝ:`:>Q51";Y4PEPiA_E4bj`Gq%b?չ2ˠ0`Wqauɞ**مb)qN=uj6Dv`iLRCaK{S}NJ5AVs"y7*kOdP ij+aȻrnUnAv&菻pXXD۸D%3% =;<뺹{1'ε:$R-y3{yN1M͟r1y#!xwvڢ$b&uץ=}:4%0˻,ڛ~ָXvXP؊RPS V/:O4 VX4Ek7Pyy MYSwD ͔_S0>mt@?wzzt>rg펿ZZ7P_ h##$mڒ5gumf.} Hq54ވG7XDѭ.l 8w;%Q{|%dum bœ': zV$iR`u}A483x-5p(kpBƚ?+Ț}kZ12ŀ]$!9.JZ vY$xe;p%|fbG )J+Jai !?%~m[ZDXy+ge{)ۇR(xd~PGxf(W(vMan0y'j%5ttYx]_ 4d6 T7\3z4 q0t~B痝.+? VU#ZWȇY{Ȁ5p̂)LFh `l"fl|߾#{,oYr87ؠEV>!܄OaYaᚻ5?E6y$Uk{SrӤ;@= -  ._Ifpz}=x^=qD=l MlڍjZKO%fϕk,t9cC-(m@*8ӌeq~Dʻ@]޴sפ^Y\2w߻ԫ^: u*qb :֒\DsA1?N ,7 0zѳl:ѳ:`F,g\$7_4,aVjHzh+\F`&L"$Sɤ tӌXcP;]2z,8/BV7g #0zë`z>M@mt?EֶN,b@" h[C)(^a(vx3JL;pkWu1 4i}GS.[&{Znd>gi{/PS_i">sX[(y{Ga0~ګP xs6ջ)6ȅqJ2Y !1ýo?ΟwߒHwJod jO6F#/,3%w_5=fl]K!qUCd*q/@ΖFlwЬ> +@AFU)#K&>Qe*_JraEPnau _q8 GG,% 䊺l l x+td>}Ҋn{7ƻ&"P) `s"YbD՘j'$hM5(~FN_ʍ*}r(ה2Zw=SW8`Ȇj##ݝp$f5eH|@:KʍN_(65@NhWxh9ZA't]4EOWGY۲`\DGmӆIUuAu4,*U ^ >Ǹ GxS¢K p-Ǿg w#r٨Au"qPgq6Od't!]5P <Ca~+uG~j%xQ ʮ  ; >R ȆIPLyM]0~wlI%ʹQCz&]H+.|aIl a#&}^nԼcy0_2RHyg~F'Y 70r!yK6QљL*BD\ .Rk5xТ 6B'־Oņ7Y[dG&>76^Y*%~e! @5!do=X ~d&aTTPkw\~)F5ñ֬1´f\=@}9LR$ $!lV 9 ]<~@")EWaOGUӸ}\:sX쀱s*|8š:o'}(!9". >0R$(lO);O[|~=xݮc }i!G\f%ziyk;^x U#"_1 Ool)ߦ^7x Zg!ȃB qG ~CQz0d;7I%N|鳴#{ S l&QK_ʜ*m\n/18m+ pP+1j lL^xeքwqaqS $6S1(Le"%5 ~J j Üw}$d+ \A<8,|fijV,iDpJzY+. q7!W'T{оmۚMr2"u }E:֧E8HpnU;y vՒSSڍukOLEw&\4BP6/5%OBcND@ 1Kh{p5`DuqS4WcR"' g|ruwV K@eeesJSm,KpA3zTٖRK.d;Q&r,k 4qqGlr$DpKy^XYd(oYJY,ÇSI3zb#сe)Sf[@E=9fF*exIZU_du{|!(EA0IR-[Ry_] Aw:M?@F%]jk{G)3F/&y,)%W|5 |.U+rB"D+)lVlU%]iԎI;HVFЬ( e(C]C> twOhMͫ$|=b f۹L=:beBIM~oKR{*!.kŦQ_8Ys-L9^ l)>NWT lgU5m'F.H?a9Ł}XZҝEe:mvo F 1킔JWOaPoL&W'AC.fř7)@( ?0znt"q]7⭲:1SLA}IO\Jv>r"ԚE ŝP |^3FPH&].D[wh*[=;3={qV)}vOsᬨG>WDa#уhY՞:s;V0RՋEC=0zsjδszJ,u z z_2H3XFEpZo>SŸjKOYd:0pJV|AiV^9o{ntS"giNdgtmFA0>%Yj^#FEZk=B=Lop%&KR.VJ+~7 ܝ/.<&Ql2z\Be.OJkdǃC\wSv򀂓Х+,VS(V{x&L2nWWQ.rFz/ }-V_1\Dhz:& [*gAS';Uro!Ɍ6CJ||CUv`93X稑U^%{FY 1A>hF"8O?s7Bz-z`qbtEZ`j9Fљ5&ʺvr '^r`5X{6{?kWHʇuzFv`-H8&[׻[/%F۩;4qs-D2ŅX#cW۹zWY{ìwV{a"x\u|)3 ʍCzxfAJaƅT-'^h8A]c"O;Bq,{N!Vqa?~nvre5*%)Ewli N2 Q *C?0O+,_g\wg@{kJB["g-YO.VJ<1Y_|tȼyqcq4,Bӕ6 Z `oQx?~"::uQ@l(ݠ;Xj.s9ق#hFv;&UDd <ía#+bg#ӌ®KfkOT5Q2|*Ȁݸ{+z~*İA>w8yb1M" P .#Wd6duԷY9 X@ԇߒeAf& G,h#!+*GCdH5PI2{zG?^' Z0R\{``xMͦOytQ+gڄ [(\Ѝ8Ss3!f(uzR1PNmIY{VVQ;eS&d|ᑥPP d${揕sO4'\>Ꞥ8oP DQ5D1;PE45_\'=g[f'ګv)@q#ɢvYe1@ r(1.i\௨sOo)][Us0k"6N⬞ '{>L  O+q@m[@$S!S:_Rei U;JT ~&ԃ*Oзo.T"Xs@\JÿD-pPd0ؼi)xI0=m!o0Sץ>6L茭0`Dop*u6ť# _(mN'[ "7.W3'4P2.*lxQ0 pg_ZdfUx~dzn>¹ċ#DU+avڇN UW. :y[Df#5Cuyi+s{EakLvm*OB0w-R E4 gE<Q;$k px5X:'q҈ڀX]P`l0NMZU6*hձhqL͞凳)Ls&џGDaAGk?JwE+ ('02u ơV`aگSaHFfPH [~Cߍ{,!F87gD\Ը9ne)x:Zn:LЭzb>U#'l8.g)t/hN:'vd>-i:vҁLgTFTKIx$~NʷG?Aק{Sf`n 7C@: )Ӑa)SM$-ME9AAbl--Sb//cM}ՕF<)jQ"0,:ʱacl!QBg9kzŠ\*9E$)n#2(ߓV'KdDm؜nf?#I&=]j&tY~ PB?XV35;Kg7ŬH u<)q*݀&A0zx~ziKJ {ӡa1l.}s[#D:ŷWj'cLpt/Ґy$9,!² V~g"jGX?$>T%:߇_j?-rEvMBA5>PۖtTL8~932jض. Ԁ9 UC ?dabCw H 'srŠZmLj3ٟp&O_VwP&߈&,3EsW>S`or27@9ڈO OPۂboe$)'Yv?"3G}ݏ7 c:Ӎ 0oSBI夏8XB l\vzYA_ Bw–~˺ CM3<#K"* QjQvIuݓ8o &T"N,R'~+g/ Hi)XǷgg_v;CO+T|TǐbzvFqw^ԇB|%ޟٛݷ]'v\s!/L2R?.G!%`AD;eC5KL2:Ie J?Vx:pȬ%l##_bƨy5`e';WN,5$LQd_`rŤ{(ڧ7T]/I¨J@ڢ4]xm6FE#[#9-D4R@a$)_GTC=œ/譂a &Mcc۪Tx5)^p3nWM^/bCeY;> ~uſUPCtZ+ TdL:dߝz~$6ԸQ?J_F=_.~tgg[0(WR|mzg+iqܫ eߗb@x6yf?]H3hq8W. )a%it,B%0R_6BCDĢE% ΖDg-HZCy^5._ʒӟKƀЇW1D]*qa'6FH|.@vhx|Im/x%ʼ)w}No!m{wOLV4{ӛ9WpX·̿·D# VV݆HX(U}96 );a`x;d^ .%Ƕ%|fwHYtucȹX6RX%y[AOhQ-Ē /a21E`լ;ݻo[c=1js'z $Z+u p^'J17̄`r3"w!i|",U=wLtOցZ3H3C^ڍ b:Xy%]&*1WZN52}>0mcCʤ_5ݑI H>bkfaUw\[ nDI'q0n^*vPz'aԩ xBh'O6͑g_cAGi7+ֳ-ߵfşpC 'T.!fÉ :K}fT[d%?Nl\ 'oUOO1E0_`bu\Q~.V_g"G@CuNgL[>䜋sWesW%n+le$)'O2.ݤ">oJWORJߤ^D<,X)h8k]Y*h~>te輹3E\~(moA2#[1KŇZG[ج]V2b(d3Fb5Un–3Cp8%k+?dZ{bjPm5BtH2} 2..:J-b4Tx9<ᱬ$ jg` e7frKX&szf W8Dz97 7qxc ȳk8FEjd '{L PHw۶ _Cs+g7"UL u-i^aypsvKTɊw];<6 'Uk\ᇚVNbWIh!S=Kp,ܹYG.[ݙt69tSbDNv/%3>Pb@u#y-JӡS |LT($L(Ҋ1k=* ^=0 L%WsjkwP`hÌ6.,MvZum6t-dz]{㦚THsYa{Y{ξkk2mLv\`@L:y!?njOHϟd'u2݌6k?aGSD;S(ھL?󗔂&?DX93`mќtr7DV]W#14'=eSn;!rOAL2z=eX_YkڡzFh z:BKA-1r,"Є6ί'jflY-7 gYVX*/jm 2!Jsӣ3ݎ\.K] J_GPHyJQYyl9˯b3i% GѤ\uD~e+9H,Bl=K(-ԈğnehMܚ$\vIvftz&SixhAgu/gKt$I@\0n1g/4t#PNTjO%1I5-RIb%?قt+ QE&d6wg~՜SFz80?>Ը:% $ƇLFWw4?"KМq~腶JDY=|rQI*ғ(M̪Z.jZ~vDsS JB i[kTй7I#@# >6@P2ޓi%£X,PNc͵8)G<*mV ŝ$|Ȳ%]Kr:Вj2n 0a<s}!)Vov'׮Vf&س?{J';W3icmX'iϺdS?jk,Zq:q*3^ *#Ů||g!J3Y'$5y_8 Vo;}w& +c,߽۵R q}7OG"6>vukOW$te[P.yj4&)+FmGXn}6 Ʋh[h۞I pu6%~a[F! '|jUZ`kr@/g(Ɵ6ݍ\Be\,F";pO\XS'AE)bK1b_6Z Tm2CjWllf\f* RP+YKњ! X}N4B|^2.Kw ybۿ8[ n-9)ߛ6P\GBʊ2 Ly59:ozQ5YsE?Y~ޛVܛºɉmA{v|HO T6E_!aKZ*li6VS.7i bmbj3iPN#!<vow׭V@}z->Fhhr␏+[0qf}=Ҁ4OgugXNP l2 ğq ]'B,*D hv=rzNU* l+8Yf;|$Y ) xǽ#E_".Sit $lE: J:"GJHgQm2).̀dž̦ݝuO/?#|&  3ظLWɘ^Vi/ԓ|:!o/U׵V -l DB铊'Ύkf.)4/7>oY{(ӭK4xkÙ)lTTS6C,!w_r6Ԩ$[ l 9NiC'3aDoa/x Rc 64p~Rd-ep4Kq`Qǥ2۫u;IVڤ;Tsn iUgp\Ѽ HNȖڙP؇cbv|5>=1`?(BȰKh~'HJ}߈ݫ"שv0\GviI^<;&DuTNэ} ֭<[ a\n@e>ýX"  yml=Cu;Cϧ*ўEPvh̫B1#MrR\˞bftCXz M(#ohʇAȨRO𲸞BNMQf昰VZ0 ,,nXJWN*zٞgAZ$n Vi…)acCuy`c7@꽈A9p ^bUjf6`#:l rD#‰$'6cdۈc>EO(Ō({ 6cJpqG ?j4,gGQbvZNOXlt>9?D/㳽|JBgM-*6_#Xk:~ݛtۤO/:wcg$C;`K&Zn}mDRxQe))aR gDa,:Ȋ{{2c KSHcbв)eɗoX}ǭT0L(ͯ 6Y)n!ƒjd_vP+.2S,>nY?7>Eʔ0nױgYZ7zXZִF! -+]ŗXi%ToCm~%?L'JHq] }ծZLG@UZ)}@k?aO} 5=t;z5~ f?HRJwDx~|;9b{!:qglk]$i3f)x,e}$oA^+M~Z6՜uKG:_4-}_ Tt]. z"Al3A %*SB^\^|V VH SNf9SwieB3C=^&vIKhʵxl/sAK%5qQP31䱜3߬F:_fܔcGrlpB/X$2\⏂T.ɋڌsr=I#}N),| @7AFkee9rr1;99^S١A_[4-Ƈ.пIM_|(t#rtQtSQ>wyY_oKAOU~yK@ie[BUoʏBm]VM}"w_;iHjOWC σgO Kݝ[g 31.7Cu])yD'[mX1 l`ɗ7T?SNp,hvetwƉh*|@ eD\戅}$}qBC4}(4+plڛw֛V0A6@4juA,=k!QO?EkВIc}Ib,&T>yY uYc_mqDK)êO܃̨WŹ.;Ĺv?y`Ո<~JZQzìF-ύn,\.cܽpg~ˡNE.&.j bWҳ/hL-ڙeuL>ٞz$ [w53>Qy9p3H|L"tbmY_y{bWhtE%ޏ2ꙓ߆?1vlk쿑hqtߜTT-ߍ:oӀ"t/7.b*ޚAot[U6>Y>kUMrayKQp ,)Ji sl8)Oev8KHu.@_}щ>fm*z~[tU`9',3%-X_h_+\ג&^w&{PY@NM؉'I?\Kb_`lyHGPŸq_&n]L#(*T*9]Wʃ#i\j*S(psxX_{Nw%c^٠z"Q#9h7$)VnxmM@%GH`_6]6x{#WU1Y0]\+T^K),d v7Cfđ nV|F{`B aHĝ H@Jph93ܨ53yapR٭ll(KV[_&dA4kDQ{o$Go[77yR1Wn/^NR:߾5}Oi,_mf\m]xPà ;pR %*AgzJ}fTK-(-BG5;qP13 1ގo/|1W3˂fJq:>6ߩDUv;+J`DY6 VI_L a:#`$Ђn@ط7o'h@j^9O34X^5xdeǘ(8Hb᱂Qy_9̦D=bY̏/+\cSH:IHꑰClt-&ۀX5DI]g )չ;(ە&ح'RM:Wq.]J1%HfF?ˋ Oꆄ 'aPB)$?ؗ`BңGh_h'3Jҳ =אI$o;''&6V,f=f5~WK`; |XGoB p: }/Z4LeS."ɒ*CoaHO>+?7y vjՖ! Ghn_!Ɛ1jtjTj͂4.z#,%6AQ307٥5eMG놲`gz*Y(&*^*hDG|UEBl52ՊNRmV|\0m1GQ#b(w$j(:YD;d91/{xHbe ~t3iMWP.HrVE5>Kv`qv B>Nʡ8Ukx?Yzz2j=RS* s3))e&|<i. iL5rxl&AHƧtDj6Yb-ZW]{jԶ"{ Թmz=nQ8߄Y6:(č*C JFo"m#$#)`߱By?XjmOn ˫BSVϞ4JPLJHԫk4]B)K # S#lEH(AMvN (]zs.*Y^Hq|l9Y;X|ޯP|zU:IjCt8A-I|ySJ)4/yz0- `(G쫼5SݴX_)ҏ#c[Dk #TVv&@.YcpJzesbnm9op6zVNAqP :.xAux4Y3r#exݺ0Lમ?, QC͌ D?.f(4]}がG|nb&y.ԆZ TE0W5NO[G.KTHBm"kڴ B$(oL>+4 tC4G4=% /&jƜjG\9 kgxp6Ľ@d{BթI m .Z%.Z'_ VcRrH64kl)[ =EYsy=.ڳ BXpjV:M2@?h$1vu)tp8<#PXY"]2nBm;=[,tUTif6Oz*sy;PuN%\/QE XC-~u95fE!Q::dɑ(w[' [ )B5r< ~<,t' r z4EƁw٢kk"Hv[T߬,+C\:T^`GC%()(3FT%RՔ9F+/.B7D z׋$ }2+qo+Eepl ,};/H?h5coU }eaCN35}+6i .vA Uț|}lpF bAGE1P\ys.C]@ H)E^cɆ*j h2XE\+!w<>`aH]VJ>Ez=$lv%u]vpOF,uA"0hAz9 eLD{C*F,T>vzEM~q#M8kIKX+Y(k.wjɝ/4yâ قW '7<9֊ {؉^%GeSU TYk13Կ37h찃B-T*f4!*{NP"UUM?>vk9ח7*V_*]|+V!{ٮ *Rk4F;X?$^;[ U&7`vM6Čn'[&ᩆ$X+22dۤQTv'5ۙD׎60-_4tr uOU,G _5g M: fjOL67th@UT VOFu4"C+>1XWt@^</b?4 _;k겆)8$H`NEвG`ACbٵ԰*l a*YYaIBAid$Nzbzsm,r]\ oE7r C%+xoGX4G2֌>?\ՆVL/Sea%Fpq[Ζ)ڌ5w SWzk}.P$r$6k78"SJXwl!`0܊l\.M syaXs{; c]7gF?lb| {= ެ\-dT ( }M {t)XaOQO<*9P|'՟ž!_>:V2j,q CB1YO;[#"r̕$j*)Uo}#}֫-ASMLTDH!r:†$> bPTWcr,zo]غ(Fk=-9r螺sܾ2Xu9TnG)E#" Fuȥ5:k͉8lSqߡlLʉm8jX"?{nfxc>2 TaOEB? X&2<$ h_0ʌiK5)ʇT%r3.H6 {G 9Ѣ"c-넱XmXey%7ü; RFTBt}6{zc9asVX/E8'8T{L| p/l8L3'$E68N2TK<N7i1/6S!9}mNbn>(܁BEp\5)݉:-uI %A;ͯT Q)͗ue8|1G'7y t96箢1fytD瞏X_w+F)D(4Gޠw^񁍡>4]}c4l^oWg(ʷ}oPpXiz ك)N$Q)lceZwtkzVؤ:4M&pePQT~z!e\հ4ƥ]Em` $`+fGtʽe[%Ǒ _RS%G&R(i Fp1mTP-lv0C9]""~#"NJхs&`ѥ|[զfg;asB}ڗ5eᗄfО7|c5:~H4`T_zM6HHh|ؿ*pjjn<ӃGz|ڇ;6 VO`5!J[toTe_hvx^a[#5M#& LLcSU]łm*IJ\+YbvG2{\8p 7#Lrhg|#qi }˥4w~V&omDj"y*7Q$jEuk.^@ږ:^@RjGU7½c$nh^%ވ_ʃbSpb60v|Yӑt^h',RHӶ 1o5{c 5ZpMĥhTJţU>t۞ݗ4ېF`c36e҄|"v7 b! `vYm¾fYR$j!GKR4oÀ D;}| ,KQzf E'ܗ2ԽR7($ܐH-d>\0x#a$ٻjXdL(vD@yՃgVl@4s%2߯ ];5Iy D\ע8)Tifd~ ^˔a+Z`L|h\@ C M"r""پ}aZYN۟ka?SL0m Kqd׆PzaWt8… ě  L}.zxrkrD6рEj9* e%9 Q#\Vv%H:p 6'(/$+`ɸ,pբ< Ы31P`/ܟfn nu~n Y9t]gok ˵Or7ĖkgMdŞ] cg7h'ߙOo v ' P<[W0dHtv?I~{4-$N}(OΟؿdnh[RcB/0A` 1.xjVKDF;ko=Z]m79ظGLѐ,|{+3%>E|weI :.CB2vEEF8}.'WI 9Ga܆HhKZ{t> ::pSpO6g#oXyMv!t2 fɨǯ>8R#/v-\(E^aTP/PXWKPȰtr]VT8˟ԹRy$!|Ŧ[-#KjK o( uI<ܖ)ފa8/dIYǻ:@Aj)~3 { EO؝h|Z9?^>"W0iD5g/c5$媤֪n`\&,` R.8A-7_p9u7'v' $I [oxg6B+KpPyP[+ZttMB:+Jl* }`wT'ڝ8bUD6A[bLׁ ϢըΕ~VݱG!`+_Q%k`>Ru Yڱ_\ d{QWW2>*kAn)z$ :يSWV' -Gs3S: ~Pq')Q37j m;``]~OXU.ǶIĖ?'ۚ#h @БWTj _q+}w`h% ߔ‡G )(Z]/26s4JxU sa;1* !X6 ` 5a;Ո' CIb !3+1G'9~8?a Mh\lH)c ž}1֤p(aYcqM\twcbTPm7ydnP^̣>%i7';KfNvѓKu0ۛIȴ4YIvZԜ񶁰ppK42Қ+ .qS]å Ѻŷxfe Խjfa⦦"Л7&&I#j='s6h3St5qzF16B=0݃v:~{7X } T}* ;Y1ybxLϔZCDŽ%{AZQ9w~F2j2<={L-0VnI#x/56W ~GVr ݱgYZ04d582ce4655c4eff8b387fafb7c019a6355896c 06880a3f751a06a3802a703d1799694c9ce51e81 0d32006e86fb1884f0b468ed4eb0679516701db5 15d1a28ba7281e4172bd9dc8b8f0f558baa27d6f 18665a1bff146874682d38d31beecfec043af95e 1eb7e5cdb081e28276e7bc7a6836d112d8e6e3a1 2edfc0271f5b3c792da7f3cfd9e5901f2f3febf3 3360a17ba7ae5a206ba7023b472452a06d0cf9f6 360b7708f2b475f97248b745e03ef848a81b45f7 4c683fbd1af737452f49f54db00dd90b16ca631b 5011362d65e0464f8182bb6bb05a4860b7983d32 613b3bbb189e3d7b718138bfb48fdd4f6bc5e8b8 689e899c26fea63a5cb0eaec7acd23c7e16b20d5 6fa61eef90f5b968d6354ddfa0c14e6617bb0810 72ba744488860b13a5875db9091415eabf48535e 73e493ba8f7bfb6b048d8d94b394edbe98ae4967 73f002c89959c224dc73f4188e4386e30f5e0dae 756339e08953e87dbf0eb031e41a0722903c4637 7c2173f387c6751c9779477df355b938273a0987 85072cb940774586b7e8b249ab205b5f62bec36e 8f5b7946b127730f24a9e7182c6ba7d9255a74b8 9974db86d82a150399e96bf382f4e91eac603072 a965706a4a5bc7c9c0be9b6141d11a50eb9bbf70 b1ecd8dd5b758128ffcafcb1863a45d8e5bca6ac b33567723ce63ae12bcac14accde58c83a0a73c8 c1ef46a052d3ac0fb4258917bf8c0639bea81c1d c266cae6b956552ce954fc590ca7ddc1cc1722da d950deef3c024c7091e58f6af5116593234fec43 dd43521945f0fbd536987cd87aa86b47e2efc2a8 e0aaa8549e48c2dc4153a329b05cde836d2c9b96 e7c3de8840ca5eabbd0599f844f04360369bfc2d ea854281843bd872b79f0e9286710d7a3edbf43e eb99d709f9b9139df8beac90840ef152e0fc9a5f f5fc512a27ccf26e77dcade5d199779cefef2a97 fba1b6c3b592044b134d6380560393825b0d4883 fc1fd8048955089964a042f763e6520698b9aa6a878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 770b0724ec92a2fa88f83a40381de2b0000fc1ad dfa6abe03390ac6049cd8ac11fd88513f00193ed 4b8bafc5243ed3c58837fcdd0abfa605e56863d9 dce6d0ab3f6bc9ebc23d6eda665b34c30bf42b0a b1233118a21bcd67e696b4e6834e2bbf72ef9df0 eca5e8ab4b24d4587ef840e87466644d68a5a0ae8e63a89805dad436388b50ba8f1cea5f7217e84b