{"group_id":"babyjubjub","function_id":"generate_random_fr","value_str":null,"throughput":null,"full_id":"babyjubjub/generate_random_fr","directory_name":"babyjubjub/generate_random_fr","title":"babyjubjub/generate_random_fr"}