Classification of differentiable structures on the non-Hausdorff line with two origins | Synapse