(pr:*(expt 120960 6)#x36a09bf56fdee362b250)