︠53d8efc3-d380-47c3-9acf-b883336ee404︠ salvus.open_tab('autogenerated.sagews') ︡2ec57d05-5bdc-41d2-95d5-855b450e3860︡ ︠a0a997bf-77c9-4530-899d-1eb82cc3c20d︠