| Hosted by CoCalc | Download
salvus.open_tab('autogenerated.sagews')