Profinite rigidity of crystallographic groups arising from Lie theory | Synapse