Longest cycles in 5-connected graphs | Synapse