Appears to work fine 🎉

[moodmosaic]

Here's some sample output from a property-based & fuzz test-suite checking counter.clar invariants:

Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add 1890029677
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add  916570633
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  103791215
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add 1526629860
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add  649378820
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add 1397208607
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add 1925019842
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add 1891331919
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add 1919339573
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  166427868
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add 1881337727
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add 2092095602
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add  502136652
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add 1125498041
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add 1997256162
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add 2069883814
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add 1500340907
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add 1515383884
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  731878743
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add 1494222030
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add  358343326
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  116595724
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add  657214977
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add 1718037013
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add 1672946614
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add 1462901981
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add 1538149109
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add  118568486
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  178692662
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add 1118921274
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add  364269287
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add  274716149
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add 1470191259
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add  147491204
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add  840036801
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add   71583011
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add 1361074367
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add 1509190590
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add  286197520
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  487138998
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add 1755254304
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add 1303511318
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add   81810151
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add  557046159
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add 1765731709
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add 1849665375
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add 1286678402
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add 1092053304
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add 1150904272
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add 1097741072
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  454073160
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add 2021724455
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add   79917258
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add 1860938699
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add 1001780924
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  844121055
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add 1287224331
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add 1476524128
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add  220028069
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add  695049776
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add 1307795929
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add 1914548778
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add  592442894
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add 1303192396
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add 1874434125
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add 1107458148
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add  991490394
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add 1358366319
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add  866994767
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add 2013855309
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add  465075761
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add  782771289
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add 1166555463
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   increment
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add  606684699
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add  481719255
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add 1917785535
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   decrement
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add 1713647095
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add 1518651667
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   decrement
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓         add  516838198
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓ get-counter
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓   decrement
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓   decrement
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓         add 1520180588
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add  105935382
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST1SJ3DTE5DN7X54YDH5D64R3BCB6A2AG2ZQ8YPD5 ✓ get-counter
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender ST1PQHQKV0RJXZFY1DGX8MNSNYVE3VGZJSRTPGZGM ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓         add          0 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓   increment
Ӿ tx-sender ST3AM1A56AK2C1XAFJ4115ZSV26EB49BVQ10MGCS0 ✓ get-counter
Ӿ tx-sender  ST2NEB84ASENDXKYGJPQW86YXQCEFEX2ZQPG87ND ✓   increment
Ӿ tx-sender ST2REHHS5J3CERCRBEPMGH7921Q6PYKAADT7JP2VB ✓         add 1783162546
Ӿ tx-sender ST3NBRSFKX28FQ2ZJ1MAKX58HKHSDGNV5N7R21XCP ✓   decrement
Ӿ tx-sender ST2CY5V39NHDPWSXMW9QDT3HC3GD6Q6XX4CFRK9AG ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓   decrement
Ӿ tx-sender ST3PF13W7Z0RRM42A8VZRVFQ75SV1K26RXEP8YGKJ ✓         add          1 ERROR_ADD_MORE_THAN_ONE
Ӿ tx-sender  STNHKEPYEPJ8ET55ZZ0M5A34J0R3N5FM2CMMMAZ6 ✓   increment
Ӿ tx-sender ST2JHG361ZXG51QTKY2NQCVBPPRRE2KZB1HR05NNC ✓         add          0 ERROR_ADD_MORE_THAN_ONE

[hugocaillard]

@moodmosaic Looking good! Where can we find more context and/or the code leading to that?
Thank you

[moodmosaic]

Thank you for the positive feedback! I developed that as an initial showcase of the concept. I'm now in the process of refining and integrating this technique into a broader, official GitHub issue with the help of @AshtonStephens and @setzeus.

Additionally, for those interested in a deeper dive, I recently gave a talk on this topic which was recorded by @jo-tm, showing the steps to discover a bug in this contract. José has the link to the recorded session if you'd like to check it out.

Once I have the technique fully integrated and tested to ensure its quality, I'll share it for broader feedback and improvements. In the meantime, I'm here to answer any questions or provide further insights into the concept. Thanks for your understanding!

[hugocaillard]

Thanks @moodmosaic.
Are you relying on the clarinet test command?
As we discussed in the past, this command will be deprecated, but you can use the upcoming clarinet JS SDK instead

Would you like to know more about that?

[moodmosaic]

I am happy to learn more about the upcoming changes. Given that @AshtonStephens initiated the GitHub issue we're integrating the technique into, mentioned in #1 (comment), it would be essential to keep him in the loop on this.

[hugocaillard]

You can learn a bit more about the JS SDK here: https://github.com/hirosystems/clarinet/tree/develop/components/clarinet-sdk. It's almost ready to be released (I'll be focusing on doc this week)
It allows to access some of Clarinet features through a NPM package.

Thanks for mentioning @AshtonStephens. I'd be curious to see if there's a PR related to the issue you mentioned

[moodmosaic]

Thank you for the information regarding the JS SDK. I appreciate the heads up. Before diving deeper into this and considering how it aligns with our current work, I'd like to discuss with Ashton first.

As for the issue initiated by @AshtonStephens, I've only recently started working on it, so there's no PR available yet. I'll keep everyone updated as progress is made.

[hugocaillard]

Ok nice 👍
Since the SDK can be used today (it's just not published under the definitive name) and Deno will be removed from Clarinet in the coming months (removing clarinet test and clarinet run) , I really think it's important that new projects start using it.
There will be more communication about that this week (on github and discord)

[AshtonStephens]

@hugocaillard, right now @moodmosaic is working on https://github.com/Trust-Machines/stacks-sbtc/issues/691 using the method here. I'd rather he finish that up using the existing method. @moodmosaic and I discussed offline and this approach to property testing with fast-check is entirely decoupled from the underlying testing framework, so porting these tests to the new method will be as easy as porting any of the others.

@hugocaillard what's the team's rollout plan for the new JS SDK into repos that currently use clarinet test? What will happen to the existing clarinet test tests once this new JS SDK is released?

---

@hugocaillard what would be the immediate benefit of changing to the new JS SDK?

[hugocaillard]

Thanks for joining the discussion @AshtonStephens!

working on https://github.com/Trust-Machines/stacks-sbtc/issues/691 using the method here

It's unclear to me what is the "method" being used but I would like to know more about it.

what's the team's rollout plan for the new JS SDK into repos that currently use clarinet test?

The new SDK will be officially released this week or next one along with migration guide and a compatibility layer to avoid having too many changes in the code. For some projects, it should be as easy as changing the imports.

What will happen to the existing clarinet test tests once this new JS SDK is released?

clarinet v1.x will still be around and available for projects that need to use it, but it won't be maintained anymore. A v2 will be released later this year and it won't include deno (hence, the clarinet test and clarinet run command won't be available anymore)

what would be the immediate benefit of changing to the new JS SDK?

For you, it could be that the new SDK have new features such as getting the contracts ABI (I don't know if you need that). I aslo know that in the past, @moodmosaic mentioned that fuzz testing would be easier with Node instead of Deno (don't know if it's still the case).

And it might be ore future proof to use the upcoming lib instead of the one that will be deprecated soon

[moodmosaic]

I aslo know that in the past, @moodmosaic mentioned that fuzz testing would be easier with Node instead of Deno

Yes, that's true if you're building a prop/fuzzing DSL on top of clarinet test as I did, for example, with @njordhov's PromptECO/clarity-sequence#4 (comment) (scroll a bit down on that comment to see the Clarinet.test syntax).

Stuff like that is hard(er) with the current setup because Deno doesn't easily support TypeScript transformers, Reflection APIs are experimental, and fast-check's support for Deno while being good enough can still be improved.

I expect that the new SDK makes those things easier, however none of the above are blocking my work in https://github.com/Trust-Machines/stacks-sbtc/issues/691 since I am not building a DSL there (I just explicitly define generators).

[hugocaillard]

Ok I see, thanks for the details @moodmosaic @AshtonStephens
I'll keep you posted on the new release, feel free to reach out to me in case you have any questions 👍

[hugocaillard]

hey @moodmosaic @AshtonStephens

Happy to announce that @hirosystems/clarinet-sdk@v0.1 has been released!

See more about the announcement on Discord

I'm hoping to release a v1 along with documentation in the coming weeks, but the package itself shouldn't change much.
You can find more details in the README on NPM and see it in action in this repo: https://github.com/hirosystems/clarity-starter/tree/tests/use-clarinet-sdk.

Hope it'll help! Please let me know if you have any questions or suggestions 🙏

[moodmosaic]

It's unclear to me what is the "method" being used but I would like to know more about it.

@hugocaillard, the entry point can be found here together with the accompanying commands. (I just open-sourced it.) AFAICT, it should be fairly easy to port this to @hirosystems/clarinet-sdk -- if you do, a PR would be welcome ❤️ 🚀