GalloDaSballo/Medusa 4th.MD Secret

## Medusa 4th.MD

      
    Raw
  

              Medusa 4th.MD
            
          
    ⇾ [FAILED] Assertion Test: EchidnaTester.liquidate(uint256)
Test for method "EchidnaTester.liquidate(uint256)" resulted in an assertion failure after the following call sequence:
[Call Sequence]
1) EchidnaTester.setEthPerShare(115792089237316195423570985007805007611357129029233400189528868517225480592232) (block=16855, time=404092, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
2) EchidnaTester.setEthPerShare(115792089237316195423570985007805007611357129029233400189528868517225480592232) (block=33709, time=808183, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
3) EchidnaTester.setEthPerShare(419495936) (block=57594, time=1116711, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
4) EchidnaTester.setEthPerShare(419495936) (block=81479, time=1425239, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
5) EchidnaTester.openCdp(115792089237316195423570985008687907853269984665640564039456484007913129639936, 12) (block=81483, time=1859576, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
6) EchidnaTester.openCdp(4307979874743388887727057720423052227999214014098409277147284423302521679450, 1100000000000000000) (block=81483, time=1859576, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
7) EchidnaTester.openCdp(4307979874743388887727057720423052227999214014098409277147284423302521679450, 1100000000000000000) (block=81483, time=1859576, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
8) EchidnaTester.setPrice(1) (block=120301, time=2428273, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
9) EchidnaTester.setPrice(1) (block=159119, time=2996970, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
10) EchidnaTester.setEthPerShare(115792089237316195423570985008687907853269984665640563039457584007913129639929) (block=182909, time=3582827, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
11) EchidnaTester.setEthPerShare(115792089237316195423570985008687907853269984665640563039457584007913129639929) (block=206699, time=4168684, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
12) EchidnaTester.redeemCollateral(2803509297652795400599413633640835602832800965176472240133997708685745906395, 0, 418317042628734229436255126654375821746455191017, 49) (block=250135, time=4693727, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
13) EchidnaTester.setPrice(5) (block=258856, time=5092033, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
14) EchidnaTester.setPrice(62293317925089401509688648843601049169439661211004671448180577891319789722420) (block=258857, time=5293228, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
15) EchidnaTester.repayEBTC(1000000000000000000000, 115792089237316195423570985007805007611357129029233400189528868517225480592232) (block=282703, time=5424300, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
16) EchidnaTester.liquidate(107757428318219494923805387026054950406964599639948825517808218097575764363419) (block=336432, time=5783081, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
[Execution Trace]
 => [call] EchidnaTester.liquidate(107757428318219494923805387026054950406964599639948825517808218097575764363419) (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000030000)
	 => [call] CdpManager.getActiveCdpsCount() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] CdpManager.getActiveCdpsCount() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] CdpManager.CdpIds(1) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001)]
	 => [call] CdpManager.getDebtAndCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000909, 21645968527403989546, 0)]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(62550336490123370)
		 => [return (62550336490123370)]
	 => [call] CdpManager.getDebtAndCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000909, 21645968527403989546, 0)]
	 => [call] CRLens.quoteRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(62550336490123370)
				 => [return (62550336490123370)]
			 => [call] CdpManager.getNominalICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (2164596852740396986981)]
			 => [revert]
		 => [return (2164596852740396986981)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, 62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (17180039074320649140)]
		 => [return (1074617225012223246)]
	 => [call] CdpManager.getCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (21645968527403989546)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (236425340583874699)]
	 => [call] CdpManager.getCdpStatus(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CRLens.quoteCheckRecoveryMode() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getCheckRecoveryMode(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(62550336490123370)
					 => [return (62550336490123370)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (43291937054807979092)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2100000000000000909)]
				 => [call] CollateralTokenTester.getPooledEthByShares(43291937054807979092) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (34360078148641298280)]
				 => [event] TCRNotified(1023444976202117864)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(62550336490123370)
				 => [return (62550336490123370)]
			 => [call] CdpManager.checkRecoveryMode(62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (43291937054807979092)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2100000000000000909)]
				 => [call] CollateralTokenTester.getPooledEthByShares(43291937054807979092) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (34360078148641298280)]
				 => [return (true)]
			 => [revert]
		 => [return (1)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (793683084800320493)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (793683084800320493)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.balanceOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CollateralTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (756883598334364705708)]
	 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2100000000000000909)]
	 => [call] SortedCdps.cdpCountOf0(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] CdpManager.getTCR(62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (43291937054807979092)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2100000000000000909)]
		 => [call] CollateralTokenTester.getPooledEthByShares(43291937054807979092) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (34360078148641298280)]
		 => [return (1023444976202117864)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2100000000000000909)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (793683084800320493)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2100000000000000909)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (43291937054807979092)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2600678746422621703)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.recoveryModeGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (900)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(62550336490123370)
					 => [return (62550336490123370)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (43291937054807979092)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2100000000000000909)]
				 => [call] CollateralTokenTester.getPooledEthByShares(43291937054807979092) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (34360078148641298280)]
				 => [event] TCRNotified(1023444976202117864)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(62550336490123370)
				 => [return (62550336490123370)]
			 => [call] CdpManager.getTCR(62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (43291937054807979092)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2100000000000000909)]
				 => [call] CollateralTokenTester.getPooledEthByShares(43291937054807979092) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (34360078148641298280)]
				 => [return (1023444976202117864)]
			 => [revert]
		 => [return (1023444976202117864)]
	 => [call] CRLens.quoteRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(62550336490123370)
				 => [return (62550336490123370)]
			 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, 62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17180039074320649140)]
				 => [return (1074617225012223246)]
			 => [revert]
		 => [return (1074617225012223246)]
	 => [call] Actor.proxy(0xbdf4625f53bcc9f89a286dd4f09047555be67ae5, 0a71096e9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0x9c6a6B0ec78aA6e4b9bebD9DcEE3F2b071377d07, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CdpManager.liquidate(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x9c6a6B0ec78aA6e4b9bebD9DcEE3F2b071377d07)
			 => [proxy call] CdpManager -> LiquidationLibrary.liquidate(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, code=0x1c6E3ad502068D95025A00FDE08FBd91dbF35156, value=0, sender=0x9c6a6B0ec78aA6e4b9bebD9DcEE3F2b071377d07)
				 => [call] BorrowerOperations.locked() (addr=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1)]
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(62550336490123370)
					 => [return (62550336490123370)]
				 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17180039074320649140)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (43291937054807979092)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2100000000000000909)]
				 => [call] CollateralTokenTester.getPooledEthByShares(43291937054807979092) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (34360078148641298280)]
				 => [event] TotalStakesUpdated(21645968527403989546)
				 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2)]
				 => [event] CdpArrayIndexUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, 1)
				 => [call] SortedCdps.remove(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] NodeRemoved(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001)
					 => [return ()]
				 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
				 => [event] CdpUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 1000000000000000909, 21645968527403989546, 0, 0, 0, 5)
				 => [call] CollateralTokenTester.getSharesByPooledEth(17180039074320649132) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (21645968527403989535)]
				 => [call] CollSurplusPool.increaseSurplusCollShares(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 11) (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] SurplusCollSharesUpdated(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 2600678746422621714)
					 => [return ()]
				 => [call] CollateralTokenTester.getPooledEthByShares(21882393867987864234) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17367685867960225208)]
				 => [event] CdpLiquidated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 1000000000000000909, 21645968527403989535, 5, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 1380561639493447579)
				 => [call] ActivePool.transferSystemCollShares(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 11) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] SystemCollSharesUpdated(43291937054807979081)
					 => [event] CollSharesTransferred(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 11)
					 => [call] CollateralTokenTester.transferShares(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 11) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
						 => [event] Transfer(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 8, 11)
						 => [return (8)]
					 => [call] CollSurplusPool.increaseTotalSurplusCollShares(11) (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
						 => [return ()]
					 => [return ()]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (43291937054807979081)]
				 => [event] SystemSnapshotsUpdated(21645968527403989546, 21645968527403989546)
				 => [event] Liquidation(1000000000000000909, 21645968527403989535, 236425340583874699)
				 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17180039074320649140)]
				 => [event] TCRNotified(976924750011112930)
				 => [call] EBTCTokenTester.burn(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 1000000000000000909) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] Transfer(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 0x0000000000000000000000000000000000000000, 1000000000000000909)
					 => [return ()]
				 => [call] ActivePool.decreaseSystemDebt(1000000000000000909) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] ActivePoolEBTCDebtUpdated(1100000000000000000)
					 => [return ()]
				 => [call] ActivePool.transferSystemCollSharesAndLiquidatorReward(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 21645968527403989535, 236425340583874699) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] SystemCollSharesUpdated(21645968527403989546)
					 => [event] CollSharesTransferred(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 21882393867987864234)
					 => [call] CollateralTokenTester.transferShares(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 21882393867987864234) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
						 => [event] Transfer(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 17367685867960225208, 21882393867987864234)
						 => [return (17367685867960225208)]
					 => [return ()]
				 => [return ()]
			 => [return ()]
		 => [return (true, )]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(62550336490123370)
		 => [return (62550336490123370)]
	 => [call] CRLens.quoteRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(62550336490123370)
				 => [return (62550336490123370)]
			 => [call] CdpManager.getNominalICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, 62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (0)]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpDebt(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpStatus(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3)]
	 => [call] CdpManager.checkRecoveryMode(62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (21645968527403989546)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1100000000000000000)]
		 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (17180039074320649140)]
		 => [return (true)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (793683084800320493)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (793683084800320493)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.balanceOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CollateralTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (774251284202324930916)]
	 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [call] SortedCdps.cdpCountOf0(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CdpManager.getTCR(62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (21645968527403989546)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1100000000000000000)]
		 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (17180039074320649140)]
		 => [return (976924750011112930)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (793683084800320493)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (21645968527403989546)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2600678746422621714)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.recoveryModeGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (900)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4693727)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(62550336490123370)
					 => [return (62550336490123370)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (21645968527403989546)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000000)]
				 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17180039074320649140)]
				 => [event] TCRNotified(976924750011112930)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(62550336490123370)
				 => [return (62550336490123370)]
			 => [call] CdpManager.getTCR(62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (21645968527403989546)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000000)]
				 => [call] CollateralTokenTester.getPooledEthByShares(21645968527403989546) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17180039074320649140)]
				 => [return (976924750011112930)]
			 => [revert]
		 => [return (976924750011112930)]
	 => [call] CRLens.quoteRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (793683084800320493)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(62550336490123370)
				 => [return (62550336490123370)]
			 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700013e4b0000000000000001, 62550336490123370) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0)]
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.LICR() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1030000000000000000)]
	 => [event] AssertGteFail("Invalid: 976924750011112930<1023444976202117864 failed, reason: L-12: TCR must increase after liquidation with no redistributions")
	 => [panic: assertion failed]


⇾ [FAILED] Assertion Test: EchidnaTester.redeemCollateral(uint256,uint256,uint256,uint256)
Test for method "EchidnaTester.redeemCollateral(uint256,uint256,uint256,uint256)" resulted in an assertion failure after the following call sequence:
[Call Sequence]
1) EchidnaTester.setEthPerShare(115792089237316195423570985007805007611357129029233400189528868517225480592232) (block=16855, time=404092, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
2) EchidnaTester.setEthPerShare(419495936) (block=40740, time=712620, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
3) EchidnaTester.openCdp(115792089237316195423570985008687907853269984665640564039456484007913129639936, 12) (block=40744, time=1146957, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
4) EchidnaTester.openCdp(4307979874743388887727057720423052227999214014098409277147284423302521679450, 1100000000000000000) (block=40744, time=1146957, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
5) EchidnaTester.setPrice(1) (block=79562, time=1715654, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
6) EchidnaTester.setEthPerShare(115792089237316195423570985008687907853269984665640563039457584007913129639929) (block=103352, time=2301511, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
7) EchidnaTester.setPrice(0) (block=130696, time=2879181, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
8) EchidnaTester.setEthPerShare(2000000) (block=165160, time=3363998, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
9) EchidnaTester.setEthPerShare(0) (block=172728, time=3432912, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
10) EchidnaTester.setPrice(82285278906087398580450067438089294380665901572087672736762423182149092468347) (block=196527, time=3816033, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
11) EchidnaTester.setPrice(43668797500704985857059604839209951450045446124570540230426684625672463825924) (block=225237, time=4236062, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
12) EchidnaTester.openCdp(70762271765144138504320969577856151443809859536040064937901198820170491378124, 9) (block=225419, time=4236287, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
13) EchidnaTester.setEthPerShare(115792089237316195423570985008687907853269984665640564038457584007913129639960) (block=277064, time=4357565, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
14) EchidnaTester.redeemCollateral(79413797682304944967680475100863094354319664081522746482255136088817154736788, 52515232537856253545683954515158422785142891989262923378927284703483981925507, 115792089237316195423570985008159790110705963349247292101029222941123132810853, 190000000000000000) (block=284133, time=4521682, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
[Execution Trace]
 => [call] EchidnaTester.redeemCollateral(79413797682304944967680475100863094354319664081522746482255136088817154736788, 52515232537856253545683954515158422785142891989262923378927284703483981925507, 115792089237316195423570985008159790110705963349247292101029222941123132810853, 190000000000000000) (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000030000)
	 => [call] CdpManager.BOOTSTRAP_PERIOD() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1209600)]
	 => [call] CdpManager.getDeploymentStartTime() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000012)]
	 => [event] LogString("Clamping value 79413797682304944967680475100863094354319664081522746482255136088817154736788 to 921756836994144243")
	 => [event] LogString("Clamping value 190000000000000000 to 0")
	 => [call] CdpManager.redemptionFeeFloor() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (5000000000000000)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [event] LogString("Clamping value 115792089237316195423570985008159790110705963349247292101029222941123132810853 to 338103800990664688")
	 => [call] SortedCdps.getLast() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001)]
	 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
	 => [call] CdpManager.MCR() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [call] PriceFeedTestnet.getPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (66586111869862979)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001, 66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(20035443245145937747) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (17521635338044930182)]
		 => [return (1060634155238185596)]
	 => [call] SortedCdps.getPrev(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000)]
	 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
	 => [call] CdpManager.MCR() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [call] PriceFeedTestnet.getPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (66586111869862979)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(2188345828455575888) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1913778354218343858)]
		 => [return (10619254965675408559253503563852748)]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(66586111869862979)
		 => [return (66586111869862979)]
	 => [call] CdpManager.getDebtAndCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (12, 2188345828455575888, 0)]
	 => [call] CRLens.quoteRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (874531954379894377)]
				 => [event] StEthIndexUpdated(825897488283309540, 874531954379894377, 4521682)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] CollateralTokenTester.getSharesByPooledEth(599307865242680491731891981586362258) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (685289842459367395472392832737207178)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] ActivePool.allocateSystemCollSharesToFeeRecipient(685289842459367395) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] SystemCollSharesUpdated(23960107273754252486)
					 => [event] FeeRecipientClaimableCollSharesIncreased(685289842459367395, 685289842459367395)
					 => [return ()]
				 => [event] CollateralFeePerUnitUpdated(1000000000000000000, 1027805997169691841, 685289842459367395)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [event] SystemSnapshotsUpdated(24645397116213619881, 23960107273754252486)
				 => [event] CdpFeeSplitApplied(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 1000000000000000000, 1027805997169691841, 60849137912342690150297195149929808, 2127496690543233197)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] CdpManager.getNominalICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (17729139087860276641666666666666666666)]
			 => [revert]
		 => [return (17729139087860276641666666666666666666)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(2188345828455575888) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1913778354218343858)]
		 => [return (10619254965675408559253503563852748)]
	 => [call] CdpManager.getCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2188345828455575888)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (218834582845557566)]
	 => [call] CdpManager.getCdpStatus(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CRLens.quoteCheckRecoveryMode() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getCheckRecoveryMode(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (874531954379894377)]
				 => [event] StEthIndexUpdated(825897488283309540, 874531954379894377, 4521682)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] CollateralTokenTester.getSharesByPooledEth(599307865242680491731891981586362258) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (685289842459367395472392832737207178)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] ActivePool.allocateSystemCollSharesToFeeRecipient(685289842459367395) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] SystemCollSharesUpdated(23960107273754252486)
					 => [event] FeeRecipientClaimableCollSharesIncreased(685289842459367395, 685289842459367395)
					 => [return ()]
				 => [event] CollateralFeePerUnitUpdated(1000000000000000000, 1027805997169691841, 685289842459367395)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [event] SystemSnapshotsUpdated(24645397116213619881, 23960107273754252486)
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(66586111869862979)
					 => [return (66586111869862979)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000021)]
				 => [call] CollateralTokenTester.getPooledEthByShares(23960107273754252486) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (20953879441268229368)]
				 => [event] TCRNotified(1268397600530825697)
				 => [event] GracePeriodEnd()
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] CdpManager.checkRecoveryMode(66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000021)]
				 => [call] CollateralTokenTester.getPooledEthByShares(23960107273754252486) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (20953879441268229368)]
				 => [return (false)]
			 => [revert]
		 => [return (0)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (825897488283309540)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (874531954379894377)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (874531954379894377)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (825897488283309540)]
	 => [call] CdpManager.calcFeeUponStakingReward(874531954379894377, 825897488283309540) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (24645397116213619881)]
		 => [call] CollateralTokenTester.getSharesByPooledEth(599307865242680491731891981586362258) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (685289842459367395472392832737207178)]
		 => [return (685289842459367395, 27805997169691841, 20403393536118909079)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.balanceOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CollateralTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (854713785016787434225)]
	 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000012)]
	 => [call] SortedCdps.cdpCountOf0(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3)]
	 => [call] CdpManager.getTCR(66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (24645397116213619881)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1100000000000000021)]
		 => [call] CollateralTokenTester.getPooledEthByShares(24645397116213619881) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (21553187306510909859)]
		 => [return (1304675401039496505)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000021)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (874531954379894377)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000021)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (24645397116213619881)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.recoveryModeGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (900)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (874531954379894377)]
				 => [event] StEthIndexUpdated(825897488283309540, 874531954379894377, 4521682)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] CollateralTokenTester.getSharesByPooledEth(599307865242680491731891981586362258) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (685289842459367395472392832737207178)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] ActivePool.allocateSystemCollSharesToFeeRecipient(685289842459367395) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] SystemCollSharesUpdated(23960107273754252486)
					 => [event] FeeRecipientClaimableCollSharesIncreased(685289842459367395, 685289842459367395)
					 => [return ()]
				 => [event] CollateralFeePerUnitUpdated(1000000000000000000, 1027805997169691841, 685289842459367395)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [event] SystemSnapshotsUpdated(24645397116213619881, 23960107273754252486)
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(66586111869862979)
					 => [return (66586111869862979)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000021)]
				 => [call] CollateralTokenTester.getPooledEthByShares(23960107273754252486) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (20953879441268229368)]
				 => [event] TCRNotified(1268397600530825697)
				 => [event] GracePeriodEnd()
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] CdpManager.getTCR(66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000021)]
				 => [call] CollateralTokenTester.getPooledEthByShares(23960107273754252486) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (20953879441268229368)]
				 => [return (1268397600530825697)]
			 => [revert]
		 => [return (1268397600530825697)]
	 => [call] CRLens.quoteRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (874531954379894377)]
				 => [event] StEthIndexUpdated(825897488283309540, 874531954379894377, 4521682)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] CollateralTokenTester.getSharesByPooledEth(599307865242680491731891981586362258) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (685289842459367395472392832737207178)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (24645397116213619881)]
				 => [call] ActivePool.allocateSystemCollSharesToFeeRecipient(685289842459367395) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] SystemCollSharesUpdated(23960107273754252486)
					 => [event] FeeRecipientClaimableCollSharesIncreased(685289842459367395, 685289842459367395)
					 => [return ()]
				 => [event] CollateralFeePerUnitUpdated(1000000000000000000, 1027805997169691841, 685289842459367395)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (23960107273754252486)]
				 => [event] SystemSnapshotsUpdated(24645397116213619881, 23960107273754252486)
				 => [event] CdpFeeSplitApplied(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 1000000000000000000, 1027805997169691841, 60849137912342690150297195149929808, 2127496690543233197)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(2127496690543233197) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1860563838717531079)]
				 => [return (10323975992155602119895907742002028)]
			 => [revert]
		 => [return (10323975992155602119895907742002028)]
	 => [call] Actor.proxy(0xbdf4625f53bcc9f89a286dd4f09047555be67ae5, 672dbf7a0000000000000000000000000000000000000000000000000ccabcf5a652d7f3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000741a917b578b185d46001471d4d1349698824ebb31af50d05c76cd45736b0c83000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004b12f9d9b4207f0) (addr=0x9c6a6B0ec78aA6e4b9bebD9DcEE3F2b071377d07, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CdpManager.redeemCollateral(921756836994144243, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 52515232537856253545683954515158422785142891989262923378927284703483981925507, 0, 338103800990664688) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x9c6a6B0ec78aA6e4b9bebD9DcEE3F2b071377d07)
			 => [call] BorrowerOperations.locked() (addr=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (1)]
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (874531954379894377)]
			 => [event] StEthIndexUpdated(825897488283309540, 874531954379894377, 4521682)
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (24645397116213619881)]
			 => [call] CollateralTokenTester.getSharesByPooledEth(599307865242680491731891981586362258) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (685289842459367395472392832737207178)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (24645397116213619881)]
			 => [call] ActivePool.allocateSystemCollSharesToFeeRecipient(685289842459367395) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] SystemCollSharesUpdated(23960107273754252486)
				 => [event] FeeRecipientClaimableCollSharesIncreased(685289842459367395, 685289842459367395)
				 => [return ()]
			 => [event] CollateralFeePerUnitUpdated(1000000000000000000, 1027805997169691841, 685289842459367395)
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (23960107273754252486)]
			 => [event] SystemSnapshotsUpdated(24645397116213619881, 23960107273754252486)
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (23960107273754252486)]
			 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (1100000000000000021)]
			 => [call] CollateralTokenTester.getPooledEthByShares(23960107273754252486) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (20953879441268229368)]
			 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (1100000000000000012)]
			 => [call] SortedCdps.nonExistId() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0000000000000000000000000000000000000000000000000000000000000000)]
			 => [call] SortedCdps.getLast() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001)]
			 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
			 => [call] CollateralTokenTester.getPooledEthByShares(19478337766977888287) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (17034428795426880309)]
			 => [call] SortedCdps.getPrev(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000)]
			 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
			 => [call] CollateralTokenTester.getPooledEthByShares(2127496690543233197) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (1860563838717531079)]
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (874531954379894377)]
			 => [event] CdpFeeSplitApplied(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 1000000000000000000, 1027805997169691841, 60849137912342690150297195149929808, 2127496690543233197)
			 => [call] CollateralTokenTester.getSharesByPooledEth(180) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (205)]
			 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
			 => [event] TotalStakesUpdated(22457051287758043993)
			 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (3)]
			 => [event] CdpArrayIndexUpdated(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002, 0)
			 => [call] ActivePool.decreaseSystemDebt(0) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] ActivePoolEBTCDebtUpdated(1100000000000000021)
				 => [return ()]
			 => [call] CollSurplusPool.increaseSurplusCollShares(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 2346331273388790558) (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] SurplusCollSharesUpdated(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 2346331273388790558)
				 => [return ()]
			 => [call] ActivePool.transferSystemCollSharesAndLiquidatorReward(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2127496690543232992, 218834582845557566) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] SystemCollSharesUpdated(21832610583211019494)
				 => [event] CollSharesTransferred(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2346331273388790558)
				 => [call] CollateralTokenTester.transferShares(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2346331273388790558) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
					 => [event] Transfer(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2051941674139365265, 2346331273388790558)
					 => [return (2051941674139365265)]
				 => [call] CollSurplusPool.increaseTotalSurplusCollShares(2346331273388790558) (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
					 => [return ()]
				 => [return ()]
			 => [event] CdpUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 12, 2127496690543233197, 0, 0, 0, 6)
			 => [call] SortedCdps.getPrev(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002)]
			 => [call] SortedCdps.getOwnerAddress(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0x51d51e848cf1252b8d3ded7532c7f2bd405301a9)]
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (874531954379894377)]
			 => [event] CdpFeeSplitApplied(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002, 1000000000000000000, 1027805997169691841, 67335226378975225371212019771338886, 2354272816233131020)
			 => [call] CollateralTokenTester.getSharesByPooledEth(135) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (154)]
			 => [call] SortedCdps.getOwnerAddress(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0x51d51e848cf1252b8d3ded7532c7f2bd405301a9)]
			 => [event] TotalStakesUpdated(20035443245145937747)
			 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (3)]
			 => [event] CdpArrayIndexUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001, 0)
			 => [call] ActivePool.decreaseSystemDebt(0) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] ActivePoolEBTCDebtUpdated(1100000000000000021)
				 => [return ()]
			 => [call] CollSurplusPool.increaseSurplusCollShares(0x51d51e848cf1252b8d3ded7532c7f2bd405301a9, 2596433620494341470) (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] SurplusCollSharesUpdated(0x51d51e848cf1252b8d3ded7532c7f2bd405301a9, 2596433620494341470)
				 => [return ()]
			 => [call] ActivePool.transferSystemCollSharesAndLiquidatorReward(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2354272816233130866, 242160804261210604) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] SystemCollSharesUpdated(19478337766977888628)
				 => [event] CollSharesTransferred(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2596433620494341470)
				 => [call] CollateralTokenTester.transferShares(0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2596433620494341470) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
					 => [event] Transfer(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0xa8896ba6856f1ee1b207ff0b4f9cb6b12f014dc4, 2270664168548581424, 2596433620494341470)
					 => [return (2270664168548581424)]
				 => [call] CollSurplusPool.increaseTotalSurplusCollShares(2596433620494341470) (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
					 => [return ()]
				 => [return ()]
			 => [event] CdpUpdated(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002, 0x51d51e848cf1252b8d3ded7532c7f2bd405301a9, 9, 2354272816233131020, 0, 0, 0, 6)
			 => [call] SortedCdps.getPrev(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0000000000000000000000000000000000000000000000000000000000000000)]
			 => [call] SortedCdps.getOwnerAddress(0000000000000000000000000000000000000000000000000000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (0x0000000000000000000000000000000000000000)]
			 => [call] SortedCdps.getNext(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000)]
			 => [call] SortedCdps.getNext(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000001)]
			 => [call] SortedCdps.batchRemove([51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002, 9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000]) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] NodeRemoved(51d51e848cf1252b8d3ded7532c7f2bd405301a90003708b0000000000000002)
				 => [event] NodeRemoved(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000)
				 => [return ()]
			 => [call] CollateralTokenTester.getPooledEthByShares(359) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (313)]
			 => [event] BaseRateUpdated(9)
			 => [event] LastRedemptionTimestampUpdated(4521682)
			 => [call] CollateralTokenTester.getPooledEthByShares(19478337766977888269) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (17034428795426880293)]
			 => [event] TCRNotified(1031142164919554110)
			 => [event] Redemption(921756836994144243, 21, 359, 1, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)
			 => [call] EBTCTokenTester.burn(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 21) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] Transfer(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 0x0000000000000000000000000000000000000000, 21)
				 => [return ()]
			 => [call] ActivePool.decreaseSystemDebt(21) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] ActivePoolEBTCDebtUpdated(1100000000000000000)
				 => [return ()]
			 => [call] ActivePool.allocateSystemCollSharesToFeeRecipient(1) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] SystemCollSharesUpdated(19478337766977888627)
				 => [event] FeeRecipientClaimableCollSharesIncreased(685289842459367396, 1)
				 => [return ()]
			 => [call] ActivePool.transferSystemCollShares(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 358) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [event] SystemCollSharesUpdated(19478337766977888269)
				 => [event] CollSharesTransferred(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 358)
				 => [call] CollateralTokenTester.transferShares(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 358) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
					 => [event] Transfer(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 313, 358)
					 => [return (313)]
				 => [return ()]
			 => [return ()]
		 => [return (true, )]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(66586111869862979)
		 => [return (66586111869862979)]
	 => [call] CRLens.quoteRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (874531954379894377)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] CdpManager.getNominalICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (0)]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpDebt(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpStatus(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4)]
	 => [call] CdpManager.checkRecoveryMode(66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (19478337766977888269)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1100000000000000000)]
		 => [call] CollateralTokenTester.getPooledEthByShares(19478337766977888269) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (17034428795426880293)]
		 => [return (true)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (874531954379894377)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (874531954379894377)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.balanceOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (685289842459367396)]
	 => [call] CollateralTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (854713785016787434538)]
	 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1099999999999999991)]
	 => [call] SortedCdps.cdpCountOf0(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CdpManager.getTCR(66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (19478337766977888269)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1100000000000000000)]
		 => [call] CollateralTokenTester.getPooledEthByShares(19478337766977888269) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (17034428795426880293)]
		 => [return (1031142164919554110)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (874531954379894377)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (19478337766977888269)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4942764893883132028)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.recoveryModeGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (900)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4236287)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (874531954379894377)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(66586111869862979)
					 => [return (66586111869862979)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (19478337766977888269)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000000)]
				 => [call] CollateralTokenTester.getPooledEthByShares(19478337766977888269) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17034428795426880293)]
				 => [event] TCRNotified(1031142164919554110)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] CdpManager.getTCR(66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (19478337766977888269)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1100000000000000000)]
				 => [call] CollateralTokenTester.getPooledEthByShares(19478337766977888269) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (17034428795426880293)]
				 => [return (1031142164919554110)]
			 => [revert]
		 => [return (1031142164919554110)]
	 => [call] CRLens.quoteRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (874531954379894377)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(66586111869862979)
				 => [return (66586111869862979)]
			 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d0700009f280000000000000000, 66586111869862979) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0)]
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.MCR() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [event] AssertFail("L-15: The RM grace period should set if a BO/liquidation/redistribution makes the TCR above CCR")
	 => [panic: assertion failed]


⇾ [FAILED] Property Test: EchidnaTester.echidna_GENERAL_08()
Test for method "EchidnaTester.echidna_GENERAL_08()" failed after the following call sequence:
[Call Sequence]
1) EchidnaTester.openCdp(115792089237316195423570985008687907853269984665640564039456484007913129639936, 12) (block=5, time=434338, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
2) EchidnaTester.openCdp(4307979874743388887727057720423052227999214014098409277147284423302521679450, 1100000000000000000) (block=5, time=434338, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
3) EchidnaTester.setEthPerShare(115792089237316195423570985008687907853269984665640563039457584007913129639929) (block=23795, time=1020195, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
4) EchidnaTester.setEthPerShare(4) (block=67557, time=1278403, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
5) EchidnaTester.liquidate(39634669486238882012786710726155925241356167384823482087788348797598657572769) (block=80229, time=1629750, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
6) EchidnaTester.openCdp(34585782663900066849750391538624092671172457813683957854851982156581049990083, 7496) (block=117330, time=1793767, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
7) EchidnaTester.closeCdp(115792089237316195423570985008687907853269984665640564039457584007913129639868) (block=131405, time=1835108, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
[Execution Trace]
 => [call] EchidnaTester.closeCdp(115792089237316195423570985008687907853269984665640564039457584007913129639868) (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000030000)
	 => [call] CdpManager.getActiveCdpsCount() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] SortedCdps.cdpCountOf0(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [event] LogString("Clamping value 115792089237316195423570985008687907853269984665640564039457584007913129639868 to 0")
	 => [call] SortedCdps.cdpOfOwnerByIndex(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 0) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000)]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(74280000000000000)
		 => [return (74280000000000000)]
	 => [call] CdpManager.getDebtAndCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7569058154229088, 2000000000000000201, 7569058154229076)]
	 => [call] CRLens.quoteRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [event] CdpDebtRedistributionIndexUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 3784529077114538)
				 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
				 => [event] CdpUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 12, 2000000000000000201, 7569058154229088, 2000000000000000201, 2000000000000000201, 3)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getNominalICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (26423366807963191115508)]
			 => [revert]
		 => [return (26423366807963191115508)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(2000000000000000201) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1654536387472420808)]
		 => [return (16237021880031879954)]
	 => [call] CdpManager.getCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2000000000000000201)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (200000000000000000)]
	 => [call] CdpManager.getCdpStatus(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CRLens.quoteCheckRecoveryMode() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getCheckRecoveryMode(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(74280000000000000)
					 => [return (74280000000000000)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417595666246372207)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7569058154236585)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417595666246372207) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654536387472546951)]
				 => [event] TCRNotified(35864298744952651397)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.checkRecoveryMode(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417595666246372207)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7569058154236585)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417595666246372207) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654536387472546951)]
				 => [return (false)]
			 => [revert]
		 => [return (0)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827268193736210321)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827268193736210321)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.balanceOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CollateralTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (825448203709990658126)]
	 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7569058154229089)]
	 => [call] SortedCdps.cdpCountOf0(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (4417595666246372207)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (7569058154236585)]
		 => [call] CollateralTokenTester.getPooledEthByShares(4417595666246372207) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (3654536387472546951)]
		 => [return (35864298744952651397)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7569058154236585)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827268193736210321)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7569058154236585)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4417595666246372207)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3784529077114538)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(74280000000000000)
					 => [return (74280000000000000)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417595666246372207)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7569058154236585)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417595666246372207) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654536387472546951)]
				 => [event] TCRNotified(35864298744952651397)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417595666246372207)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7569058154236585)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417595666246372207) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654536387472546951)]
				 => [return (35864298744952651397)]
			 => [revert]
		 => [return (35864298744952651397)]
	 => [call] CRLens.quoteRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [event] CdpDebtRedistributionIndexUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 3784529077114538)
				 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
				 => [event] CdpUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 12, 2000000000000000201, 7569058154229088, 2000000000000000201, 2000000000000000201, 3)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(2000000000000000201) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1654536387472420808)]
				 => [return (16237021880031879954)]
			 => [revert]
		 => [return (16237021880031879954)]
	 => [call] Actor.proxy(0x2065f9fd93926d51c169f57b7d38497e7a14cd55, 14e67a039c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0x9c6a6B0ec78aA6e4b9bebD9DcEE3F2b071377d07, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] BorrowerOperations.closeCdp(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55, value=0, sender=0x9c6a6B0ec78aA6e4b9bebD9DcEE3F2b071377d07)
			 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
			 => [call] CdpManager.getCdpStatus(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (1)]
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [event] CdpDebtRedistributionIndexUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 3784529077114538)
				 => [call] SortedCdps.getOwnerAddress(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07)]
				 => [event] CdpUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 12, 2000000000000000201, 7569058154229088, 2000000000000000201, 2000000000000000201, 3)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (4417595666246372207)]
			 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7569058154236585)]
			 => [call] CollateralTokenTester.getPooledEthByShares(4417595666246372207) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (3654536387472546951)]
			 => [call] CdpManager.getCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (2000000000000000201)]
			 => [call] CdpManager.getCdpDebt(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7569058154229088)]
			 => [call] CdpManager.getCdpLiquidatorRewardShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (200000000000000000)]
			 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7569058154229089)]
			 => [call] CollateralTokenTester.getPooledEthByShares(2000000000000000201) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (1654536387472420808)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (4417595666246372207)]
			 => [call] CollateralTokenTester.getPooledEthByShares(4417595666246372207) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (3654536387472546951)]
			 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7569058154236585)]
			 => [call] CdpManager.notifyEndGracePeriod(19815926370549469107915166066426) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] TCRNotified(19815926370549469107915166066426)
				 => [return ()]
			 => [call] CdpManager.removeStake(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] TotalStakesUpdated(2417595666246372006)
				 => [return ()]
			 => [call] CdpManager.closeCdp(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 7569058154229088, 2000000000000000201) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] CdpUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 7569058154229088, 2000000000000000201, 0, 0, 0, 1)
				 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2)]
				 => [event] CdpArrayIndexUpdated(51d51e848cf1252b8d3ded7532c7f2bd405301a90001ca520000000000000002, 0)
				 => [call] SortedCdps.remove(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] NodeRemoved(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000)
					 => [return ()]
				 => [return ()]
			 => [call] ActivePool.decreaseSystemDebt(7569058154229088) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] ActivePoolEBTCDebtUpdated(7497)
				 => [return ()]
			 => [call] EBTCTokenTester.burn(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 7569058154229088) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] Transfer(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 0x0000000000000000000000000000000000000000, 7569058154229088)
				 => [return ()]
			 => [call] ActivePool.transferSystemCollSharesAndLiquidatorReward(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 2000000000000000201, 200000000000000000) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] SystemCollSharesUpdated(2417595666246372006)
				 => [event] CollSharesTransferred(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 2200000000000000201)
				 => [call] CollateralTokenTester.transferShares(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 2200000000000000201) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
					 => [event] Transfer(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07, 1819990026219662872, 2200000000000000201)
					 => [return (1819990026219662872)]
				 => [return ()]
			 => [return ()]
		 => [return (true, )]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(74280000000000000)
		 => [return (74280000000000000)]
	 => [call] CRLens.quoteRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getNominalICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (0)]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpDebt(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpStatus(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] CdpManager.checkRecoveryMode(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2417595666246372006)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (7497)]
		 => [call] CollateralTokenTester.getPooledEthByShares(2417595666246372006) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2000000000000126143)]
		 => [return (false)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827268193736210321)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827268193736210321)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.balanceOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CollateralTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827268193736210320999)]
	 => [call] EBTCTokenTester.balanceOf(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] SortedCdps.cdpCountOf0(0x9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2417595666246372006)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (7497)]
		 => [call] CollateralTokenTester.getPooledEthByShares(2417595666246372006) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2000000000000126143)]
		 => [return (19815926370549469107915166066426)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7497)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827268193736210321)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7497)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2417595666246372006)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3784529077114538)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(74280000000000000)
					 => [return (74280000000000000)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2417595666246372006)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7497)]
				 => [call] CollateralTokenTester.getPooledEthByShares(2417595666246372006) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2000000000000126143)]
				 => [event] TCRNotified(19815926370549469107915166066426)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2417595666246372006)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7497)]
				 => [call] CollateralTokenTester.getPooledEthByShares(2417595666246372006) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2000000000000126143)]
				 => [return (19815926370549469107915166066426)]
			 => [revert]
		 => [return (19815926370549469107915166066426)]
	 => [call] CRLens.quoteRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827268193736210321)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getICR(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000000050000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0)]
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.MCR() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [event] L4(825448203709990658126, 2000000000000000201, 200000000000000000, 827268193736210320999)
	 => [call] CollateralTokenTester.getPooledEthByShares(200000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (165453638747242064)]
	 => [return ()]

[Property Test Execution Trace]
[Execution Trace]
 => [call] EchidnaTester.echidna_GENERAL_08() (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000010000)
	 => [call] PriceFeedTestnet.getPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (74280000000000000)]
	 => [call] SortedCdps.getFirst() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a90001ca520000000000000002)]
	 => [call] CdpManager.getSyncedCdpCollShares(51d51e848cf1252b8d3ded7532c7f2bd405301a90001ca520000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (827268193736210321)]
		 => [return (2417595666246372006)]
	 => [call] CdpManager.getSyncedCdpDebt(51d51e848cf1252b8d3ded7532c7f2bd405301a90001ca520000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7496)]
	 => [call] SortedCdps.getNext(51d51e848cf1252b8d3ded7532c7f2bd405301a90001ca520000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0000000000000000000000000000000000000000000000000000000000000000)]
	 => [call] CdpManager.getSyncedTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (827268193736210321)]
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2417595666246372006)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (7497)]
		 => [call] CollateralTokenTester.getPooledEthByShares(2417595666246372006) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2000000000000126143)]
		 => [return (19815926370549469107915166066426)]
	 => [call] CollateralTokenTester.getPooledEthByShares(2417595666246372006) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2000000000000126143)]
	 => [return (false)]

⇾ [FAILED] Property Test: EchidnaTester.echidna_LS_01()
Test for method "EchidnaTester.echidna_LS_01()" failed after the following call sequence:
[Call Sequence]
1) EchidnaTester.setPrice(115792089237316195423570985008687907853269984665640564039457584007913129639929) (block=3024, time=5369, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
2) EchidnaTester.openCdp(36, 1) (block=7906, time=240393, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
3) EchidnaTester.setPrice(1000000000000000000) (block=7912, time=506303, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
4) EchidnaTester.openCdp(44123017348912576180317745456189857733780478953582148509153709115247120891823, 200000000000000000) (block=41944, time=559544, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
5) EchidnaTester.repayEBTC(115792089236025542474717890602061087714962172848589839170759584007913129639936, 95571420959369745694826866719103162119721698779245449771307988634382398211900) (block=100429, time=1060027, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
6) EchidnaTester.setPrice(0) (block=100429, time=1060027, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
7) EchidnaTester.setEthPerShare(115792089237316195423570985008687907853269984665640564039457584007913129639888) (block=100429, time=1060027, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
8) EchidnaTester.setPrice(2000000) (block=144042, time=1384809, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
9) EchidnaTester.setPrice(18870505843869326790218533495488989580514021948712036856077228608712571954616) (block=191920, time=1936624, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
10) EchidnaTester.openCdp(115792089237316195423570985008687907853269984665640564039457584007913129639926, 12) (block=228382, time=2535682, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
11) EchidnaTester.setPrice(19) (block=228383, time=2535685, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
12) EchidnaTester.setEthPerShare(85650688759117182694493445002393857618500606488787071585785820659767877770018) (block=228388, time=3077670, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
13) EchidnaTester.setEthPerShare(52118120532757472476105950557232022966744770538667663391183106322047167264793) (block=228388, time=3077670, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
[Execution Trace]
 => [call] EchidnaTester.setEthPerShare(52118120532757472476105950557232022966744770538667663391183106322047167264793) (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000010000)
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (912833267244439982)]
	 => [event] LogString("Clamping value 52118120532757472476105950557232022966744770538667663391183106322047167264793 to 966687794084370693")
	 => [call] CollateralTokenTester.setEthPerShare(966687794084370693) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return ()]
	 => [return ()]

[Property Test Execution Trace]
[Execution Trace]
 => [call] EchidnaTester.echidna_LS_01() (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000010000)
	 => [call] CdpManager.getActiveCdpsCount() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3)]
	 => [call] PriceFeedTestnet.getPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (64514885438085956)]
	 => [call] LiquidationSequencer.sequenceLiqToBatchLiqWithPrice(3, 64514885438085956) (addr=0x9491F0Dfb965BC45570dd449801432599F0542a0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (7092303005820677629)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (169686701610309501)]
		 => [call] CollateralTokenTester.getPooledEthByShares(7092303005820677629) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (6856042747674742536)]
		 => [call] SortedCdps.getLast() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001)]
		 => [call] SortedCdps.getFirst() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900001ee20000000000000000)]
		 => [call] CdpManager.getTCR(64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (7092303005820677629)]
			 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (169686701610309501)]
			 => [call] CollateralTokenTester.getPooledEthByShares(7092303005820677629) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (6856042747674742536)]
			 => [return (2606667512700256484)]
		 => [call] CdpManager.getICR(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [call] CollateralTokenTester.getPooledEthByShares(2999047551261612301) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2899142661683221632)]
			 => [return (1102254065358041937)]
		 => [call] CdpManager.getCdpStatus(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002)]
		 => [call] CdpManager.getICR(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [call] CollateralTokenTester.getPooledEthByShares(2093255454559065312) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2023524497822779502)]
			 => [return (10878954263183086172499962225906159)]
		 => [call] CdpManager.getCdpStatus(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900001ee20000000000000000)]
		 => [call] CdpManager.getICR(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [call] CollateralTokenTester.getPooledEthByShares(2999047551261612301) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2899142661683221632)]
			 => [return (1102254065358041937)]
		 => [call] CdpManager.getCdpStatus(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002)]
		 => [call] CdpManager.getICR(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [call] CollateralTokenTester.getPooledEthByShares(2093255454559065312) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2023524497822779502)]
			 => [return (10878954263183086172499962225906159)]
		 => [call] CdpManager.getCdpStatus(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x9491F0Dfb965BC45570dd449801432599F0542a0)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900001ee20000000000000000)]
		 => [return ([])]
	 => [call] SyncedLiquidationSequencer.sequenceLiqToBatchLiqWithPrice(3, 64514885438085956) (addr=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (7092303005820677629)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (169686701610309501)]
		 => [call] CollateralTokenTester.getPooledEthByShares(7092303005820677629) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (6856042747674742536)]
		 => [call] SortedCdps.getLast() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001)]
		 => [call] SortedCdps.getFirst() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900001ee20000000000000000)]
		 => [call] CdpManager.getSyncedTCR(64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (966687794084370693)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (7092303005820677629)]
			 => [call] CollateralTokenTester.getSharesByPooledEth(39852485814748342929829313428395985) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (41225808434351756077658523494667166)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (7092303005820677629)]
			 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (169686701610309501)]
			 => [call] CollateralTokenTester.getPooledEthByShares(7051077197386325873) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (6816190261859994193)]
			 => [return (2591515597244524469)]
		 => [call] CdpManager.getSyncedICR(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (966687794084370693)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (7092303005820677629)]
			 => [call] CollateralTokenTester.getSharesByPooledEth(39852485814748342929829313428395985) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (41225808434351756077658523494667166)]
			 => [call] CollateralTokenTester.getPooledEthByShares(2981614827401343968) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2882290660309856862)]
			 => [return (1095846934288325623)]
		 => [call] CdpManager.getCdpStatus(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002)]
		 => [call] CdpManager.getSyncedICR(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (966687794084370693)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (7092303005820677629)]
			 => [call] CollateralTokenTester.getSharesByPooledEth(39852485814748342929829313428395985) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (41225808434351756077658523494667166)]
			 => [call] CollateralTokenTester.getPooledEthByShares(2081087876791591139) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2011762248911389862)]
			 => [return (10815717584765373349679338081914839)]
		 => [call] CdpManager.getCdpStatus(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900001ee20000000000000000)]
		 => [call] CdpManager.getSyncedICR(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (966687794084370693)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (7092303005820677629)]
			 => [call] CollateralTokenTester.getSharesByPooledEth(39852485814748342929829313428395985) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (41225808434351756077658523494667166)]
			 => [call] CollateralTokenTester.getPooledEthByShares(2981614827401343968) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2882290660309856862)]
			 => [return (1095846934288325623)]
		 => [call] CdpManager.getCdpStatus(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002)]
		 => [call] CdpManager.getSyncedICR(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002, 64514885438085956) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (966687794084370693)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (7092303005820677629)]
			 => [call] CollateralTokenTester.getSharesByPooledEth(39852485814748342929829313428395985) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (41225808434351756077658523494667166)]
			 => [call] CollateralTokenTester.getPooledEthByShares(2081087876791591139) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
				 => [return (2011762248911389862)]
			 => [return (10815717584765373349679338081914839)]
		 => [call] CdpManager.getCdpStatus(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (1)]
		 => [call] SortedCdps.getPrev(51d51e848cf1252b8d3ded7532c7f2bd405301a900037c1e0000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x1A4652Fe54709A39bf1dDDA84ef325F7ABda5A69)
			 => [return (51d51e848cf1252b8d3ded7532c7f2bd405301a900001ee20000000000000000)]
		 => [return ([587be02d13c624e65b3d98c33fdf3eea13aaaf970000a3d80000000000000001])]
	 => [return (false)]