Mutante ejecutado2: 172890:checkResultComputed-5.709893744074903E22
91:getResult1.4133880511566465E23
