CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="390"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "zbmath.org",cType: 'managed',cRay: '92dee4cf3f85405a',cH: 'HpC8xptVivLub2z_lysE1NuU2vGMYE8TO2sXSvs0fzc-1744252976-1.2.1.1-QdKS0MohrWKViUWBW32yHIyI3hisvfRWtqRuO6D5FW_IFeeOBfRRQ4q9cb7h7MfI',cUPMDTk: "\/software\/320?__cf_chl_tk=0GgcLn5dTFQ73585EO0Semeja1PWQj8vGMI3x2kPUFg-1744252976-1.0.1.1-QA5Q.SIyBXR66N2.v7VApUUjnV3aKjx0pjQEOw2OKMQ",cFPWv: 'b',cITimeS: '1744252976',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/320?__cf_chl_f_tk=0GgcLn5dTFQ73585EO0Semeja1PWQj8vGMI3x2kPUFg-1744252976-1.0.1.1-QA5Q.SIyBXR66N2.v7VApUUjnV3aKjx0pjQEOw2OKMQ",md: "2gPCvqZ7G4ODvPedTIFwMAIzNgax.N1QNckaWUkbxhg-1744252976-1.2.1.1-nvFHojx0jHcATvbhjpriVMGDMvtAH8befFf1wzHXjLmwFsulMJNeJTV7_xG0OWikp8GBw.D131DUqqm37N8YEPuOseaWMuKoVruBKC_3aoc11qudzLIlLVIZdhEud6mJYLoYblXDVelp9RO1CHPexzmtN76d1dzA10JGFA9.MebrHE3r0FSaIQ_noCY1BiYI8EMuQxF2B2QwVUINEldCgcfYjO02x3YyXdPqjPs3EsyvkSMH4EFq_FF6Qnl2kScUB4PjqvZUo1d82mNVtVOCoM3ZiAvD2xu6YxhPKpB8_L6ss_v2EZ7e5lMqZezBxP_1.duEihi_GFwppJyy8d_Lvk7IWm4KPseWcG5YuOCk34o1051N3cG7WjrZOrEqn1OSTrFyh8jHeLj9xc3zz1r3SUz41iRWVuOKcNNHHMy.uvxbEEILC6exPafNz6hMabPNxxFP4vajzisdX2.swfcc400el.Dj_.839WsfYl_FbLfrdA_Cs.8lcLn_HD7D57rDRwBTAIOrzg8DBEpKXrYGNFkcDltQ4gqi8J4POVifHiBMt7wrZBzmJn68kYFXq6JziVTF820GixHs.6GFhgOAkEcYRGWuLr4xujT7I1kxRM5yWK1HAurPcwflTb9F4qDplTUyUCJAZ5TWlnmJMLQO.IoohAZqlRlZqwvPSog8HtwB0Ru84sxhDjdmOUrigtkrJJqesJ9n9tpAQVkW8isB541f__Bk.EcZkrt9U2oJsmG9VdAlgC3aLe1Rx.S.Ew53LwSwFLMsNNLGSv5_ovQ5U231Nzw9K3VHDz9ta5RRzT1vwXBYigxEjEir4fbqXt1wBItzFJMH3qU0Dp8U6GSdMnFptyvOhTD_s0713EA7W_Olb9iKj16lxvERVEekSvKNg2ePJXzNaBiSOQ0s3JJaulCU6VcRt_DUHqvvc0EoqahuBRjvOssRTVhIx1ZI4FcQBbqYznV06b7NRrWlZ_CAPgym6ebTz2u_DzmD3q6uizwmaclsyUIePIuJ29fPUr.Qbbd9Y.8nApmh1K50ifYKE3apdtgSGShbjUbJ37yYNzAVqAaopYgmMlKcWSDIu.eondKv4SpyqY3inxsOvXB5NEBWSLyBchnOzHqxMLZiVKJlWrdJ1_ZUWb.bnjUi57y_cA93mqcn_Wc5CqqzlFYpDJHSP7NID4uvk9iqwb9vzBMajYB2K2EPiltnUoPhZpZ0",mdrd: "D5iVchhU_ARCRjx864ORtg25dooe6y.41NbxOBO7iO0-1744252976-1.2.1.1-YjXivGOLwWY3QtsDri7DK7aOAWfBP9JK5QlmbG.Y4QS8Z9Gjj1d9u64Iot3ErTY0tc9NbMsl_4bWTCiSRraz2LDsgXSvLGYYn2vRq3W_yEoduu_sAVrQsVXXG73KZtrhVXd9d5bK5tXlBpiZ_E0VMU2v0cUQgXgeY1MW64wFngsQHAFK.5e4d3J47U4rytrmzFnfOFeEuyHGxVjf8gzaZTMZUCjJbHmNPxY3A1yvm.IJfYKBcgpKpoUwLg48vHrmsJ5vIksqQvZ3hLPg_MPN0qgxcJ1shzzhhz1DzGhGDfyTR89KZkXgIrXfCgvpc8Qy1zxUL3OaDd9HqYIjzYM9s3NZnxzwcXsXSi3imxKnJrdkgHgmNIzezE.zz51TT0t6buwobve4cinjyF0BmIPHODktBVUD3OXFmZtmaHmxG.7viA99W2qOl4EKkS7.0eW_7whSodH__pvdc66sYlplEIZAL3UWx3ER.nMgPVv5.b6Bq__OxWDiHL64Wlns4B.Jiyamr63lZTTk4eVIuggvt_aoptY5hhcZar3weKWNGvvJ4NJGuK6.Vb9mQPQCxxwgifi_6UVJ44Fwg8KD8uR0hWgbO2RK2K3F0aL2EidMKXhCBuBPRBekjU79GzR_pR33rlEi3xtdRR1t71WZ_5ToYbpRbYlnycis_KO84LOI7c1bf7xQzO5cqE.qsRtsXcvamI_NAbPAntA3irSiCwggmfjVFHv2MRE2_Ai67eRLnfAM_1_yAYeIgniX7HnjhM0ECWKdD3MfhvJkToHSvWJ9KkEEDBOaTjp2iacichIsLAXOY.tQuIgrFkkCdlIlVGf6PghbLW0gZSpNrJ5mnfk0rKPsMdF8EtsfZDQ_z7rhv2tHbkIa6T2SLhb91OZZyEBsLCpFrDeDfjLGh0_NV4ixs5hwYuv55RGVkLerub3YgLe874ARF9Wa.bqoojrX2iu8HHG5euBf6d8x6pAjFiHmrD.rvGnoKC4opylJ_3wDyLlTHET1MTjkOz4m8m4rMXGMGKyjL2lXbF5eO7JowE3sAmVzXF.6U0nfYm2RUH1nZLxfSA0mvllr8JfrWimBnmqvOlPPxGwzSHPme5C6a16.eSgoI59sJp8ZzznUavsrTXy1Gspg5KOrSbyMdxGnyKsyJTfZRiKsljcNUc3znsu5w54WWuTgqtGlgczhj.71BOKPx3US6X6rN1w72hJUVPiIHs0FkPdNVBoeXY9W35BC.O14dRD7JMGVjurUxZhli5ZlKOYg31lJpUXJoEVcXbol4GNfJqw8MUyqDLnl7tZixYEf5OfYznXEssr..JDQRtQbCR3oV97cUlMdgzd27w7IPUUuSElVZwQBQL3bpVShiybmu7nBSiMD0DMjO3UJx2UuIEkbG0UFq6A2gJrrL5jcmDGWqlcILjP.KlLJ60QFgOYwcvMLNuwlmrLDB1eyOc3kNkTdnp8liYhaO8aPsC4oGsvhHspPIAXzYdMHrrncojZUXsqeYZAEv0OM1liJfYaydzncfB_ljG0cZP2Oj6IVftXOI2q3f8FBz0kM3qiGP1tlS4P7k_rEsvBjA.m3ovruZJ8lUh6hdJzBH4QAMkJNHNIDUgwVvkGsxQsQoFLEY4c6T2vue82HJRGRLN9FdUYiklYwnQQm1qQyf2SHRM8O.m0w7tghh3tPrdyDhp8qeICyI_JnrRwEgWKVDSVX3OL6CITTQURJaMJaOkVLsv6asvteLOiOBibISRPom.LeFNGAECTS0jlwiEnLyQCHuhA_cLblIQ_rgsaB1r5YMp4LbFZaEyAQMIuqV8frsoNjxqiBPBjCYvFf7tot5KkWgH2iOM.Iy93N.cVKS_grrsvVY1uqLwgMepWDJF44_bmkCyv5N6rSPza2lvOIggYRWA3tynrokPvh__hIC2SS3Xf5QWds4DKCiSBYvV8wIn0bVQIIJLBCv8BBpA9F9VpgVn05.acEll2zI1dOcULrvPLXVCVrQyOhjXa13rEgO_dgH3nFnB3E7k0r4o219rUToO.DYKClPEy6mZKvbTOZKghdFY5WE__VH8e987KaTcAGjw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dee4cf3f85405a';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/software\/320?__cf_chl_rt_tk=0GgcLn5dTFQ73585EO0Semeja1PWQj8vGMI3x2kPUFg-1744252976-1.0.1.1-QA5Q.SIyBXR66N2.v7VApUUjnV3aKjx0pjQEOw2OKMQ" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>