LaTeX finite state machine. Cincinnati open 2024 tableau schedule. Spyderco Military 2 MagnaCut. Loudspeaker speakers price.