prettified state machine json