501636842000/(94^128-94^12)