Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Appears to work fine πŸŽ‰ #1

Closed
moodmosaic opened this issue Aug 27, 2023 · 13 comments
Closed

Appears to work fine πŸŽ‰ #1

moodmosaic opened this issue Aug 27, 2023 · 13 comments

Comments

@moodmosaic
Copy link

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
Copy link
Collaborator

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

@moodmosaic
Copy link
Author

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
Copy link
Collaborator

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
Copy link
Author

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
Copy link
Collaborator

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
Copy link
Author

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
Copy link
Collaborator

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
Copy link

AshtonStephens commented Sep 5, 2023 •
edited
Loading

@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
Copy link
Collaborator

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
Copy link
Author

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
Copy link
Collaborator

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
Copy link
Collaborator

hey @moodmosaic @AshtonStephens

Happy to announce that @hirosystems/[email protected] 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
Copy link
Author

moodmosaic commented Sep 25, 2023 •
edited
Loading

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 ❀️ πŸš€

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@moodmosaic @hugocaillard @AshtonStephens