Juiz quer descobrir dos cálculos da propina atribuída a Lula