diff --git a/ulib/.cache/FStar.Math.Lemmas.fst.hints b/ulib/.cache/FStar.Math.Lemmas.fst.hints
index 1bd6dff907f..f7c5806bdea 100644
--- a/ulib/.cache/FStar.Math.Lemmas.fst.hints
+++ b/ulib/.cache/FStar.Math.Lemmas.fst.hints
@@ -345,7 +345,7 @@
         "primitive_Prims.op_Addition", "projection_inverse_BoxInt_proj_0"
       ],
       0,
-      "a98d1a7b04e3b7a5e7dd5227a75da862"
+      "911a505935c512ccc1b0be38cd51c7b7"
     ],
     [
       "FStar.Math.Lemmas.add_zero_right_is_same",
@@ -357,7 +357,7 @@
         "primitive_Prims.op_Addition", "projection_inverse_BoxInt_proj_0"
       ],
       0,
-      "06eebe7fa08c9b814cf84785cc16d880"
+      "7f1f1241e53cd251564745b4ad16489e"
     ],
     [
       "FStar.Math.Lemmas.mul_one_left_is_same",
@@ -369,7 +369,7 @@
         "primitive_Prims.op_Multiply", "projection_inverse_BoxInt_proj_0"
       ],
       0,
-      "8548f90ceb6a7a59b2a7517152639c0b"
+      "495f37ceb52e62dd56f459b5386490a0"
     ],
     [
       "FStar.Math.Lemmas.mul_one_right_is_same",
@@ -381,7 +381,7 @@
         "primitive_Prims.op_Multiply", "projection_inverse_BoxInt_proj_0"
       ],
       0,
-      "83387b46c95a4bc75952888348d3a6f9"
+      "2e9b6378da8c954f3b1816e1094f39a7"
     ],
     [
       "FStar.Math.Lemmas.mul_zero_left_is_zero",
@@ -393,7 +393,7 @@
         "projection_inverse_BoxInt_proj_0"
       ],
       0,
-      "dd086967de6a1f236b59f983fc3d3af0"
+      "5ddc541bd07d7b26792b4fd3d5bad44c"
     ],
     [
       "FStar.Math.Lemmas.mul_zero_right_is_zero",
@@ -405,7 +405,7 @@
         "projection_inverse_BoxInt_proj_0"
       ],
       0,
-      "7e080f7a31a7f2235410143402f994e5"
+      "a7ffd2c3edc285ffd6c81598d7a179db"
     ],
     [
       "FStar.Math.Lemmas.nat_times_nat_is_nat",
@@ -470,7 +470,7 @@
         "refinement_interpretation_Tm_refine_eccf147327f3985dffafc88d990d08b8"
       ],
       0,
-      "b75e625baaa8532f84748d95b25fbcd8"
+      "76e3e593d23d364bcf0dc13b4344755f"
     ],
     [
       "FStar.Math.Lemmas.int_times_int_equal_zero_lemma",
@@ -483,7 +483,7 @@
         "refinement_interpretation_Tm_refine_2b01395e9078edff94f88e62ec027673"
       ],
       0,
-      "5f5b7ab60913c02b1b5b8dc6defb7eac"
+      "9f0f95ed45728d0a01c5bb31af72bd03"
     ],
     [
       "FStar.Math.Lemmas.pow2_double_sum",
@@ -614,7 +614,7 @@
         "refinement_interpretation_Tm_refine_f2401d4ba36d8474358c8199a7a3119a"
       ],
       0,
-      "79609231a6e2787141cdf36f826e6a1c"
+      "babebaa1eabf0ba0d3c1817dd5c3b5ce"
     ],
     [
       "FStar.Math.Lemmas.pow2_plus",
@@ -2664,7 +2664,7 @@
         "refinement_interpretation_Tm_refine_774ba3f728d91ead8ef40be66c9802e5"
       ],
       0,
-      "86cf398d45f6fc842a29912546c716ee"
+      "aad1d90885aa7394b86d7e4feab03457"
     ],
     [
       "FStar.Math.Lemmas.modulo_sub_lemma",
@@ -2680,7 +2680,7 @@
         "refinement_interpretation_Tm_refine_774ba3f728d91ead8ef40be66c9802e5"
       ],
       0,
-      "23ba38ac175df8219ace488e6caa12ea"
+      "18ec287a5a86013765bb0fa698fc2764"
     ]
   ]
 ]
\ No newline at end of file