Data mining for gravitationally lensed quasars | Synapse