. . . . "Proposition 1. The time complexity of the microtask generators is O(|T |) for the Find stage and O(|T ||Q|) for the Verify stage." . . . . "2019-11-08T18:05:11+01:00"^^ . .