reduceTimeMachines (TimeMachine a b c d p:[]) r = [TimeMachine a b c d (p - p * r)]
reduceTimeMachines (TimeMachine a b c d p:[]) r = [TimeMachine a b c d (p - p * r)]
reduceTimeMachines (TimeMachine a b c d p:[]) r = [TimeMachine a b c d (p - p * r)]