#!/usr/local/bin/sbcl --script
(print (* 70622 (- 63784 403)))