O(16) × O(16) heterotic theory on AdS3 × S3 × T4 | Synapse