Database for finite mathematical structures in JSON format