Mutante ejecutado2: 172886:checkResultComputed-5.709893744074903E22
87:getResult1.4133880511566465E23
