Links for sagetestfour