jsxgraphcore.js 499 KB