Un-deleted interactive.js so the basicsolver still works.