On conflict-free colorings of cyclic polytopes and the girth conjecture for graphs | Synapse