Computational reconstructions of three self-checking historical trade ledgers: the VOC at Batavia, the Sound Toll, and the Spanish-empire royal treasuries | Synapse