Checksum: d80fb78b86c7c02d2c6286f5edcb6d95857b90f45df49fad9d2f8297bd09c4bc (page 1)

• jsxgraph/1.10.1+dfsg1-1/examples/optimization.html
• jsxgraph/1.11.1+dfsg1-1/examples/optimization.html
• jsxgraph/1.5.0+dfsg1-3/examples/optimization.html