diff --git a/deps/k_release b/deps/k_release
index f4791f9684..ce63b3e768 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.30
+7.1.33
diff --git a/flake.lock b/flake.lock
index 9b14601c70..3d8e1bbf19 100644
--- a/flake.lock
+++ b/flake.lock
@@ -208,16 +208,16 @@
         "rv-utils": "rv-utils_3"
       },
       "locked": {
-        "lastModified": 1719331365,
-        "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=",
+        "lastModified": 1719417706,
+        "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e",
+        "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.30",
+        "ref": "v7.1.33",
         "repo": "k",
         "type": "github"
       }
@@ -419,17 +419,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1719331365,
-        "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=",
+        "lastModified": 1719417706,
+        "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e",
+        "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.30",
+        "ref": "v7.1.33",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index f0adf2533d..cf439e2ff6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,11 +2,11 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.30";
+    k-framework.url = "github:runtimeverification/k/v7.1.33";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
-    pyk.url = "github:runtimeverification/k/v7.1.30?dir=pyk";
+    pyk.url = "github:runtimeverification/k/v7.1.33?dir=pyk";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 61f2c6060d..c17c64ec7e 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -481,13 +481,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.30"
+version = "7.1.33"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.30-py3-none-any.whl", hash = "sha256:7f8de5d3b797593145aa69d92d89ce169e46a1254bb0d48354f1faedaeb1dcdd"},
-    {file = "kframework-7.1.30.tar.gz", hash = "sha256:d3a07d7dd8b8af7e3e336254035ec3e08f12002e94d927a5bde2cef2c2b3225a"},
+    {file = "kframework-7.1.33-py3-none-any.whl", hash = "sha256:a15562f6223494e9959a881548be445948fa562db5d70e70620cb39fa01cc663"},
+    {file = "kframework-7.1.33.tar.gz", hash = "sha256:5e79abeccf65f170bae06301c07b16639ffcda8e78354e2dfdac9f471cc03a01"},
 ]
 
 [package.dependencies]
@@ -821,17 +821,17 @@ test = ["enum34", "ipaddress", "mock", "pywin32", "wmi"]
 
 [[package]]
 name = "pybind11"
-version = "2.12.0"
+version = "2.13.0"
 description = "Seamless operability between C++11 and Python"
 optional = false
-python-versions = ">=3.6"
+python-versions = ">=3.7"
 files = [
-    {file = "pybind11-2.12.0-py3-none-any.whl", hash = "sha256:df8d60b94f9e714d81013db233393d430ebf9f3551642b82291cf1b14d1afdbd"},
-    {file = "pybind11-2.12.0.tar.gz", hash = "sha256:5e3c557a84b06b969247630407fc4d985bed157b4253b13153b8e8e165e0c3dc"},
+    {file = "pybind11-2.13.0-py3-none-any.whl", hash = "sha256:da2eaf03b9973f3e9fdfb4880a716b5770f6bfdc2da32d2e92120173d687a553"},
+    {file = "pybind11-2.13.0.tar.gz", hash = "sha256:1dbab243bdbd72d9f3e9cd0a63f65500b6d09d61c20fab43edf8c5c2ad3a7538"},
 ]
 
 [package.extras]
-global = ["pybind11-global (==2.12.0)"]
+global = ["pybind11-global (==2.13.0)"]
 
 [[package]]
 name = "pycodestyle"
@@ -1157,4 +1157,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools",
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "5288f2a2598fadbd15990664fedd68bb74d715cc11d47ad3b00f810fbf1bb2ed"
+content-hash = "59d1ad689809b7b2f36fa900521329fe9182dd0f9bd6cb3cba5abb748f632cf3"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 61b90b879a..83eb304044 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.619"
+version = "1.0.620"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-kframework = "7.1.30"
+kframework = "7.1.33"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index f7949e8908..1a8fd9effa 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '1.0.619'
+VERSION: Final = '1.0.620'
diff --git a/package/version b/package/version
index 8a4b6a1d99..f669c74ee6 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.619
+1.0.620