diff --git a/integration-tests/tests/common/suite.rs b/integration-tests/tests/common/suite.rs
index bd0d4721..1be5c48b 100644
--- a/integration-tests/tests/common/suite.rs
+++ b/integration-tests/tests/common/suite.rs
@@ -426,7 +426,7 @@ impl TestingSuite {
     }
 
     #[track_caller]
-    pub(crate) fn _withdraw_after_unbond(
+    pub(crate) fn withdraw_after_unbond(
         &mut self,
         sender: Addr,
         denom: String,
diff --git a/integration-tests/tests/integration.proptest-regressions b/integration-tests/tests/integration.proptest-regressions
index 176bb3d1..46d379c0 100644
--- a/integration-tests/tests/integration.proptest-regressions
+++ b/integration-tests/tests/integration.proptest-regressions
@@ -13,3 +13,6 @@ cc 3b5397f642639811c6e9bac6df19d6233280bdac4052fa151d021b307f91ca92 # shrinks to
 cc 4c5e400a717190f22d9e2aeb9ff43ab9e3936da0693130b8979a60bb4597a1de # shrinks to actions = [Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 7236), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "btc", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 69537), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "inj", "uusdc", 54028), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 57474), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 83877), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 24013), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 90308), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 27173), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 97754), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 70189), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 6483), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 26165), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 40230), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 10724), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 14267), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "uwhale", "btc", 55703), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 87097), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "inj", "inj", 33964), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "uusdc", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 76509), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 63613), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 45535), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 35659), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 22998), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uusdt", "uusdt", 78582), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 99522), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uwhale", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 11550), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 31729), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "btc", "uusdc", 61993), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 91654), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "btc", "uwhale", 58904), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "uusdc", 21422), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 49420), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 6031), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "btc", "inj", 42736), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 69542), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 14313), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 46892), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 55242), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "uusdc", "btc", 39594), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 50171), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 46077), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "uusdc", 52799), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 91567), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 72093), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 7423), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uusdc", "inj", 32140), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 70165), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "btc", "uwhale", 53210), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 13088), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 79789), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "inj", 87604), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 40248), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 20980), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 3858), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 28365), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "btc", "uusdc", 32769), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "inj", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 35685), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "inj", "uwhale", 87867), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 25335), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 59893), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uusdc", "inj", 15776), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 82083), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 92711), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 40155), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 51717), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 73963), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 25236), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 98417)]
 cc 2c9f7f5f13a2e07090379394696ef1004b07644455db3dbcd6048e6e0f2ae602 # shrinks to actions = [Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 38194), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "uusdc", "uwhale", 34410), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 25908), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 10759), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 85448), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 64080), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "uusdc", 20207), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 47894), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 42739), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 34582), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 35518), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 47124), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 36670), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 8145), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "inj", "uusdc", 95857), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 24202), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 45055), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 61880), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "uusdt", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 32050), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "uwhale", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 20375), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 19301), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "inj", "btc", 75963), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 88451), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "inj", 6426), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 36342), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 23939), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 7873), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "inj", "uusdc", 31364), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 18594), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "uusdc", 38259), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 26572), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 5163), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "uusdt", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 12304), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 16984), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "uusdt", "btc", 42098), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 38151), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 87055), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uusdc", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 41786), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "btc", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 59219), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", "uusdc", 45717), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "uwhale", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 42681), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 44913), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", "uusdt", 52352), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 88684), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 43363), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 6448), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 75395), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 12839), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 23620), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 66945)]
 cc ecc2eaff3380b1953a71ed02ef82aded2fdebbdbd8a0e9ff29f309c5cff34e4a # shrinks to actions = [Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 46559), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "uusdt", "uusdc", 2621), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 76510), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 35262), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "uusdc", 5257), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", "btc", 90781), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "uwhale", "uusdc", 69472), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 50460), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 8093)]
+cc ee92f51b1ed1f18ff72fd4f601d9f1aa7f2abdbd6ad49741111558446ce1d403 # shrinks to actions = [Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "uusdc", "uusdt", 514259), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "uwhale", "uusdc", 421638), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uusdc", "uusdt", 863087), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 914416), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uwhale", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 303034), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "btc", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 918840), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "btc", "btc", 56677), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uusdc", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 878216), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 344092), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 913754), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 553201), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "uwhale", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 911859), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 563549), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 487709), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 667783), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 370120), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 720100), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 716287), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 891495), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 309736), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 581665), Bond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 927762), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 373200), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 953096), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "inj", "uusdt", 393638), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 309155), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "uwhale", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 563714), Bond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 274560), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "inj", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 405844), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "uusdt", 10884), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 293731), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 728934), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 311455), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Unbond(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 134112), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 801321), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "inj", "uusdc", 547760), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "uusdt", "ibc/BEFB9AB13AB43157A0AF6254AD4B1F565AC0CA0C1760B8339BE7B9E2996F7752", 746955), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75")), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 182706), Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 386757), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "uusdc", "btc", 978298), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "uusdt", "uwhale", 736435), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "uusdc", "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", 408449), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "peggy0x87aB3B4C8661e07D6372361211B96ed4Dc36B1B5", "btc", 501728), Claim(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y")), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 605408), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 864267), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 327260), Claim(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"))]
+cc 6a4b664d50752229b2735c4b690d72dfcb085a3c9ccc514982cdb23065281a74 # shrinks to actions = [Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 3201545), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 10000), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 78485416), Withdraw(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE")]
+cc 6c4bada671b422b29faf8b2ae6a7d9ddc7379c41d6897c984831757cafd812a0 # shrinks to actions = [Unbond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 14616899), Withdraw(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE"), Swap(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "uusdc", "btc", 71160609), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 16252762), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Swap(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "inj", "uusdc", 18149359), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 39469324), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "uusdc", "btc", 76079066), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 69401619), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 7254009), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Withdraw(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE"), Withdraw(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE"), Bond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 9051053), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 51842970), Withdraw(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE"), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Unbond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 17052991), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 26730141), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 9585309), Bond(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 83719067), Withdraw(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE"), Claim(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3")), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 60208522), Swap(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "inj", "uusdt", 24599698), Swap(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "uwhale", "btc", 93803445), Withdraw(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE"), Claim(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7")), Claim(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40")), Unbond(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE", 6786135), Withdraw(Addr("migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE"), Withdraw(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE"), Bond(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 73634365), Swap(Addr("migaloo1h3s5np57a8cxaca3rdjlgu8jzmr2d2zz55s5y3"), "uusdc", "inj", 43800601), Withdraw(Addr("migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE"), Unbond(Addr("migaloo1lh7mmdavky83xks76ch57whjaqa7e456vvpz8y"), "factory/migaloo193lk767456jhkzddnz7kf5jvuzfn67gyfvhc40/ampWHALE", 56261876), Withdraw(Addr("migaloo13y3petsaw4vfchac4frjmuuevjjjcceja7sjx7"), "factory/migaloo1ludaslnu24p5eftw499f7ngsc2jkzqdsrvxt75/bWHALE")]
diff --git a/integration-tests/tests/integration.rs b/integration-tests/tests/integration.rs
index 086b766c..f2f296aa 100644
--- a/integration-tests/tests/integration.rs
+++ b/integration-tests/tests/integration.rs
@@ -211,13 +211,19 @@ proptest! {
         suite.unbond(alice.clone(), coin(10_000, AMPWHALE), |result| {
             result.unwrap();
         });
-        suite.add_epochs(79);
+        suite.add_epochs(1);
+        suite.withdraw_after_unbond(alice.clone(), AMPWHALE.to_string(), |result| {
+            result.unwrap();
+        });
+        suite.add_epochs(78);
         suite.query_claimable_reward_buckets(None, |response| {
             assert!(response.unwrap().1.is_empty());
         });
 
         let current_rewards = Rc::new(RefCell::new(0));
         let bonded_amounts = Rc::new(RefCell::new(HashMap::<Addr, HashMap<String, u128>>::new()));
+        let unbond_id_counter = Rc::new(RefCell::new(0));
+        let unbonding_amounts = Rc::new(RefCell::new(HashMap::<Addr, HashMap<(String, u64), u64>>::new()));
         let claimable_rewards = Rc::new(RefCell::new(HashMap::<(Addr, u64), bool>::new()));
         let available_pools = suite.pool_identifiers.clone();
         let claimed = Rc::new(RefCell::new(HashSet::new()));
@@ -229,8 +235,8 @@ proptest! {
             suite.query_current_epoch(|response| {
                 current_epoch = response.unwrap().epoch.id;
             });
-            // TODO: >>> remove this once 
-            if current_epoch > 120 {
+            // TODO: >>> remove this once
+            if current_epoch > 121 {
                 break;
             }
 
@@ -373,7 +379,6 @@ proptest! {
                     });
                 }
                 Action::Unbond(user, token, amount) => {
-                    // TODO: >>> check if this is creating an entry in the bonded_amounts map when it shouldn't ???
                     let mut bonded_amounts = bonded_amounts.borrow_mut();
                     let user_bonds = bonded_amounts.entry(user.clone()).or_insert_with(HashMap::new);
 
@@ -403,6 +408,12 @@ proptest! {
                             });
                             *bonded -= amount;
 
+                            let mut unbonding_amounts = unbonding_amounts.borrow_mut();
+                            let user_unbonds = unbonding_amounts.entry(user.clone()).or_insert_with(HashMap::new);
+                            let unbond_id = *unbond_id_counter.borrow_mut() + 1;
+                            *unbond_id_counter.borrow_mut() = unbond_id;
+                            user_unbonds.insert((token.clone(), unbond_id), current_epoch);
+
                             suite.query_bonding_rewards(user.to_string(), |response| {
                                 let contract_rewards = response.unwrap().1.rewards;
                                 let has_contract_rewards = !contract_rewards.is_empty();
@@ -422,8 +433,8 @@ proptest! {
 
                             suite.unbond(user.clone(), coin(amount, &token), |result| {
                                 assert_eq!(
-                                    result.unwrap_err().downcast::<bonding_manager::ContractError>().unwrap(),
-                                    bonding_manager::ContractError::InsufficientBond
+                                    result.unwrap_err().downcast::<ContractError>().unwrap(),
+                                    ContractError::InsufficientBond
                                 );
                             });
                         }
@@ -432,12 +443,51 @@ proptest! {
 
                         suite.unbond(user.clone(), coin(amount, &token), |result| {
                             assert_eq!(
-                                result.unwrap_err().downcast::<bonding_manager::ContractError>().unwrap(),
-                                bonding_manager::ContractError::NothingToUnbond
+                                result.unwrap_err().downcast::<ContractError>().unwrap(),
+                                ContractError::NothingToUnbond
                             );
                         });
                     }
+                }
+                Action::Withdraw(user, token) => {
+                    let mut unbonding_amounts = unbonding_amounts.borrow_mut();
+                    let user_unbonds: Vec<((String, u64), u64)> = unbonding_amounts.get(&user)
+                        .map(|user_unbonds| {
+                            user_unbonds.iter()
+                                .filter_map(|(&(ref tok, unbond_id), &epoch)| {
+                                    if tok == &token && epoch < current_epoch {
+                                        Some(((tok.clone(), unbond_id), epoch))
+                                    } else {
+                                        None
+                                    }
+                                })
+                                .collect()
+                        })
+                        .unwrap_or_default();
 
+                    println!(">>> user_unbonds: {:?}", user_unbonds);
+
+                    if !user_unbonds.is_empty() {
+                        println!(">>> [{current_epoch}] [{user}] WITHDRAW [{} {}]", user_unbonds.len(), token.split('/').nth(2).unwrap());
+
+                        suite.withdraw_after_unbond(user.clone(), token.clone(), |result| {
+                            result.unwrap();
+                        });
+
+                        // clear withdrawn unbonds from the unbonding_amounts map
+                        for ((tok, unbond_id), _) in user_unbonds {
+                            unbonding_amounts.get_mut(&user).unwrap().remove(&(tok, unbond_id));
+                        }
+                    } else {
+                        println!(">>> [{current_epoch}] [{user}] WITHDRAW FAILED (nothing to withdraw)");
+
+                        suite.withdraw_after_unbond(user.clone(), token.clone(), |result| {
+                            assert_eq!(
+                                result.unwrap_err().downcast::<ContractError>().unwrap(),
+                                ContractError::NothingToWithdraw
+                            );
+                        });
+                    }
                 }
                 Action::Claim(user) => {
                     let mut has_pending_rewards = false;
@@ -465,8 +515,8 @@ proptest! {
 
                         suite.claim_bonding_rewards(&user, |result| {
                             assert_eq!(
-                                result.unwrap_err().downcast::<bonding_manager::ContractError>().unwrap(),
-                                bonding_manager::ContractError::NothingToClaim
+                                result.unwrap_err().downcast::<ContractError>().unwrap(),
+                                ContractError::NothingToClaim
                             );
                         });
                     }
@@ -510,6 +560,7 @@ enum Action {
     Swap(Addr, String, String, u128),
     Bond(Addr, String, u128),
     Unbond(Addr, String, u128),
+    Withdraw(Addr, String),
     Claim(Addr),
 }
 
@@ -536,7 +587,7 @@ fn action_strategy(users: Vec<Addr>) -> impl Strategy<Value = Action> {
         prop_oneof![Just(BWHALE.to_string()), Just(AMPWHALE.to_string())];
 
     const MIN_AMOUNT: u128 = 10_000;
-    let amount_strategy = MIN_AMOUNT..1_000_000_u128;
+    let amount_strategy = MIN_AMOUNT..100_000_000_u128;
 
     prop_oneof![
         (
@@ -560,6 +611,8 @@ fn action_strategy(users: Vec<Addr>) -> impl Strategy<Value = Action> {
             amount_strategy.clone()
         )
             .prop_map(|(user, token, amount)| Action::Unbond(user, token, amount)),
+        (user_strategy.clone(), bond_unbond_token_strategy.clone())
+            .prop_map(|(user, token)| Action::Withdraw(user, token)),
         user_strategy.clone().prop_map(|user| Action::Claim(user)),
     ]
 }