w8 · tx · DPZ···gvt

tx · DPZVY7E4XbYsVhvTPfLVs7dDc3SUb76BoDgF2ZFG2gvt

3N8nB5XeXcXTUDeiH6657UHa3wHa2rbZfDk:  -0.01500000 Waves

2021.06.04 19:23 [1555860] smart account 3N8nB5XeXcXTUDeiH6657UHa3wHa2rbZfDk > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "DPZVY7E4XbYsVhvTPfLVs7dDc3SUb76BoDgF2ZFG2gvt",
    "fee": 1500000,
    "feeAssetId": null,
    "timestamp": 1622823833562,
    "version": 2,
    "chainId": 84,
    "sender": "3N8nB5XeXcXTUDeiH6657UHa3wHa2rbZfDk",
    "senderPublicKey": "BfXK2ez9xjdgWtoFNsnaGPRFjHcFixy3UUrQ2iN8wVfX",
    "proofs": [
        "4qUcADLoegce7WZLDrP8vP4UsVWmzAorzsDDak64cZP4ZsKvsL7kYXNdRc8bHbZ3hp4FvYha4S7n72wtbcC3MiXN"
    ],
    "script": "base64:AAIEAAAAAAAAABUIAhIICgYIAQEBAQESBwoFCAEBAQgAAAABAQAAABZjcmVhdGVQYXJraW5nU3BvdFNsaWNlAAAABAAAAA1wYXJraW5nU3BvdElkAAAACXN0YXJ0VGltZQAAAAdlbmRUaW1lAAAABXNsaWNlCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACCQABLAAAAAIJAAEsAAAAAgkAASwAAAACBQAAAA1wYXJraW5nU3BvdElkAgAAAAdfc2xpY2VfCQABpAAAAAEFAAAABXNsaWNlAgAAAApfc3RhcnRUaW1lBQAAAAlzdGFydFRpbWUJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAIJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAFc2xpY2UCAAAACF9lbmRUaW1lBQAAAAdlbmRUaW1lBQAAAANuaWwAAAACAAAAAWkBAAAAEWNyZWF0ZVBhcmtpbmdTcG90AAAABgAAAAVvd25lcgAAAANsYXQAAAAEbG9uZwAAAAlzdGFydFRpbWUAAAAHZW5kVGltZQAAAARjb3N0BAAAABByb3VuZGVkU3RhcnRUaW1lCQAAZQAAAAIFAAAACXN0YXJ0VGltZQkAAGoAAAACBQAAAAlzdGFydFRpbWUAAAAAAAAADhAEAAAADnJvdW5kZWRFbmRUaW1lCQAAZQAAAAIFAAAAB2VuZFRpbWUJAABqAAAAAgUAAAAHZW5kVGltZQAAAAAAAAAOEAkABE4AAAACCQAETAAAAAIJAQAAAAtTdHJpbmdFbnRyeQAAAAIJAAEsAAAAAgkAAloAAAABCAUAAAABaQAAAA10cmFuc2FjdGlvbklkAgAAAAZfb3duZXIFAAAABW93bmVyCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACCQABLAAAAAIJAAJaAAAAAQgFAAAAAWkAAAANdHJhbnNhY3Rpb25JZAIAAAAEX2xhdAUAAAADbGF0CQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACCQABLAAAAAIJAAJaAAAAAQgFAAAAAWkAAAANdHJhbnNhY3Rpb25JZAIAAAAFX2xvbmcFAAAABGxvbmcJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAIJAAEsAAAAAgkAAloAAAABCAUAAAABaQAAAA10cmFuc2FjdGlvbklkAgAAAAVfY29zdAUAAAAEY29zdAkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgkAASwAAAACCQACWgAAAAEIBQAAAAFpAAAADXRyYW5zYWN0aW9uSWQCAAAABl9zbGljZQAAAAAAAAAAAAUAAAADbmlsCQEAAAAWY3JlYXRlUGFya2luZ1Nwb3RTbGljZQAAAAQJAAJaAAAAAQgFAAAAAWkAAAANdHJhbnNhY3Rpb25JZAUAAAAQcm91bmRlZFN0YXJ0VGltZQUAAAAOcm91bmRlZEVuZFRpbWUAAAAAAAAAAAAAAAABaQEAAAAUYm9va1BhcmtpbmdTcG90U2xpY2UAAAAFAAAADXBhcmtpbmdTcG90SWQAAAAMZGVzaXJlZFNsaWNlAAAACXN0YXJ0VGltZQAAAAdlbmRUaW1lAAAABnJlbnRlcgQAAAAPYm9va2VkU3RhcnRUaW1lCQAAZQAAAAIFAAAACXN0YXJ0VGltZQkAAGoAAAACBQAAAAlzdGFydFRpbWUAAAAAAAAADhAEAAAADWJvb2tlZEVuZFRpbWUJAABlAAAAAgUAAAAJc3RhcnRUaW1lCQAAagAAAAIFAAAACXN0YXJ0VGltZQAAAAAAAAAOEAQAAAAUcGFya2luZ1Nwb3RTdGFydFRpbWUJAQAAABFAZXh0ck5hdGl2ZSgxMDUwKQAAAAIFAAAABHRoaXMJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAApfc3RhcnRUaW1lBAAAABJwYXJraW5nU3BvdEVuZFRpbWUJAQAAABFAZXh0ck5hdGl2ZSgxMDUwKQAAAAIFAAAABHRoaXMJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAAhfZW5kVGltZQQAAAANZXhpc3RpbmdTbGljZQkBAAAAEUBleHRyTmF0aXZlKDEwNTApAAAAAgUAAAAEdGhpcwkAASwAAAACBQAAAA1wYXJraW5nU3BvdElkAgAAAAZfc2xpY2UDAwkAAGYAAAACBQAAABRwYXJraW5nU3BvdFN0YXJ0VGltZQUAAAAPYm9va2VkU3RhcnRUaW1lBgkAAGYAAAACBQAAAA1ib29rZWRFbmRUaW1lBQAAABJwYXJraW5nU3BvdEVuZFRpbWUJAAACAAAAAQIAAAAldGltZSBpcyBvdXQgb2YgcmFuZ2UgZm9yIHBhcmtpbmcgc3BvdAQAAAAOZXhpc3RpbmdSZW50ZXIJAAQdAAAAAgUAAAAEdGhpcwkAASwAAAACCQABLAAAAAIJAAEsAAAAAgUAAAANcGFya2luZ1Nwb3RJZAIAAAAHX3NsaWNlXwkAAaQAAAABBQAAAAxkZXNpcmVkU2xpY2UCAAAAB19yZW50ZXIDCQEAAAACIT0AAAACBQAAAA5leGlzdGluZ1JlbnRlcgUAAAAEdW5pdAkAAAIAAAABAgAAACRwYXJraW5nIHNwb3QgaGFzIGFscmVhZHkgYmVlbiBib29rZWQDAwkAAAAAAAACBQAAAA9ib29rZWRTdGFydFRpbWUFAAAAFHBhcmtpbmdTcG90U3RhcnRUaW1lCQAAAAAAAAIFAAAADWJvb2tlZEVuZFRpbWUFAAAAEnBhcmtpbmdTcG90RW5kVGltZQcJAARMAAAAAgkBAAAAC1N0cmluZ0VudHJ5AAAAAgkAASwAAAACCQABLAAAAAIJAAEsAAAAAgUAAAANcGFya2luZ1Nwb3RJZAIAAAAHX3NsaWNlXwkAAaQAAAABBQAAAAxkZXNpcmVkU2xpY2UCAAAAB19yZW50ZXIFAAAABnJlbnRlcgUAAAADbmlsAwMJAAAAAAAAAgUAAAAPYm9va2VkU3RhcnRUaW1lBQAAABRwYXJraW5nU3BvdFN0YXJ0VGltZQkBAAAAAiE9AAAAAgUAAAANYm9va2VkRW5kVGltZQUAAAAScGFya2luZ1Nwb3RFbmRUaW1lBwkABE4AAAACCQAETAAAAAIJAQAAAAtTdHJpbmdFbnRyeQAAAAIJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAAdfcmVudGVyBQAAAAZyZW50ZXIJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAIJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAApfc3RhcnRUaW1lBQAAAA9ib29rZWRTdGFydFRpbWUJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAIJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAApfc3RhcnRUaW1lBQAAAA1ib29rZWRFbmRUaW1lCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAABl9zbGljZQkAAGQAAAACBQAAAA1leGlzdGluZ1NsaWNlAAAAAAAAAAABBQAAAANuaWwJAQAAABZjcmVhdGVQYXJraW5nU3BvdFNsaWNlAAAABAUAAAANcGFya2luZ1Nwb3RJZAUAAAANYm9va2VkRW5kVGltZQUAAAAScGFya2luZ1Nwb3RFbmRUaW1lCQAAZAAAAAIFAAAADWV4aXN0aW5nU2xpY2UAAAAAAAAAAAEDAwkAAAAAAAACBQAAAA1ib29rZWRFbmRUaW1lBQAAABJwYXJraW5nU3BvdEVuZFRpbWUJAQAAAAIhPQAAAAIFAAAAD2Jvb2tlZFN0YXJ0VGltZQUAAAAUcGFya2luZ1Nwb3RTdGFydFRpbWUHCQAETgAAAAIJAARMAAAAAgkBAAAAC1N0cmluZ0VudHJ5AAAAAgkAASwAAAACCQABLAAAAAIJAAEsAAAAAgUAAAANcGFya2luZ1Nwb3RJZAIAAAAHX3NsaWNlXwkAAaQAAAABBQAAAAxkZXNpcmVkU2xpY2UCAAAAB19yZW50ZXIFAAAABnJlbnRlcgkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgkAASwAAAACCQABLAAAAAIJAAEsAAAAAgUAAAANcGFya2luZ1Nwb3RJZAIAAAAHX3NsaWNlXwkAAaQAAAABBQAAAAxkZXNpcmVkU2xpY2UCAAAACl9zdGFydFRpbWUFAAAAD2Jvb2tlZFN0YXJ0VGltZQkABEwAAAACCQEAAAAMSW50ZWdlckVudHJ5AAAAAgkAASwAAAACCQABLAAAAAIJAAEsAAAAAgUAAAANcGFya2luZ1Nwb3RJZAIAAAAHX3NsaWNlXwkAAaQAAAABBQAAAAxkZXNpcmVkU2xpY2UCAAAACl9zdGFydFRpbWUFAAAADWJvb2tlZEVuZFRpbWUJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAIJAAEsAAAAAgUAAAANcGFya2luZ1Nwb3RJZAIAAAAGX3NsaWNlCQAAZAAAAAIFAAAADWV4aXN0aW5nU2xpY2UAAAAAAAAAAAEFAAAAA25pbAkBAAAAFmNyZWF0ZVBhcmtpbmdTcG90U2xpY2UAAAAEBQAAAA1wYXJraW5nU3BvdElkBQAAABRwYXJraW5nU3BvdFN0YXJ0VGltZQUAAAAPYm9va2VkU3RhcnRUaW1lCQAAZAAAAAIFAAAADWV4aXN0aW5nU2xpY2UAAAAAAAAAAAEJAAROAAAAAgkABE4AAAACCQAETAAAAAIJAQAAAAtTdHJpbmdFbnRyeQAAAAIJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAAdfcmVudGVyBQAAAAZyZW50ZXIJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAIJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAApfc3RhcnRUaW1lBQAAAA9ib29rZWRTdGFydFRpbWUJAARMAAAAAgkBAAAADEludGVnZXJFbnRyeQAAAAIJAAEsAAAAAgkAASwAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAAB19zbGljZV8JAAGkAAAAAQUAAAAMZGVzaXJlZFNsaWNlAgAAAApfc3RhcnRUaW1lBQAAAA1ib29rZWRFbmRUaW1lCQAETAAAAAIJAQAAAAxJbnRlZ2VyRW50cnkAAAACCQABLAAAAAIFAAAADXBhcmtpbmdTcG90SWQCAAAABl9zbGljZQkAAGQAAAACBQAAAA1leGlzdGluZ1NsaWNlAAAAAAAAAAACBQAAAANuaWwJAQAAABZjcmVhdGVQYXJraW5nU3BvdFNsaWNlAAAABAUAAAANcGFya2luZ1Nwb3RJZAUAAAAUcGFya2luZ1Nwb3RTdGFydFRpbWUFAAAAD2Jvb2tlZFN0YXJ0VGltZQkAAGQAAAACBQAAAA1leGlzdGluZ1NsaWNlAAAAAAAAAAABCQEAAAAWY3JlYXRlUGFya2luZ1Nwb3RTbGljZQAAAAQFAAAADXBhcmtpbmdTcG90SWQFAAAADWJvb2tlZEVuZFRpbWUFAAAAEnBhcmtpbmdTcG90RW5kVGltZQkAAGQAAAACBQAAAA1leGlzdGluZ1NsaWNlAAAAAAAAAAACAAAAAQAAAAJ0eAEAAAAGdmVyaWZ5AAAAAAkAAfQAAAADCAUAAAACdHgAAAAJYm9keUJ5dGVzCQABkQAAAAIIBQAAAAJ0eAAAAAZwcm9vZnMAAAAAAAAAAAAIBQAAAAJ0eAAAAA9zZW5kZXJQdWJsaWNLZXmuhjrv",
    "height": 1555860,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: CFdGsr4PFfWwEMnaDQeHPhBej75SKgXneV9H5ak4xP3y
Next: EEzD8YGJHacKnzhc4s73hsxWMivjhBnfZ3FbANWHp1gS

Diff: 
Old New Differences
32 32                      then (p == r)
33 33                      else false)
34 34                      then [StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n)]
35 -                     else if ((o == q))
35 +                     else if (if ((o == q))
36 +                         then (p != r)
37 +                         else false)
36 38                          then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, p, r, (s + 1)))
37 -                         else if ((p == r))
39 +                         else if (if ((p == r))
40 +                             then (o != q)
41 +                             else false)
38 42                              then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, q, o, (s + 1)))
39 43                              else (([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 2))] ++ a(b, q, o, (s + 1))) ++ a(b, p, r, (s + 2)))
40 44              }
Full: 
Old New Differences
1 1  {-# STDLIB_VERSION 4 #-}
2 2  {-# SCRIPT_TYPE ACCOUNT #-}
3 3  {-# CONTENT_TYPE DAPP #-}
4 4  func a (b,c,d,e) = [IntegerEntry((((b + "_slice_") + toString(e)) + "_startTime"), c), IntegerEntry((((b + "_slice_") + toString(e)) + "_endTime"), d)]
5 5  
6 6  
7 7  @Callable(f)
8 8  func createParkingSpot (g,h,i,c,d,j) = {
9 9      let k = (c - (c % 3600))
10 10      let l = (d - (d % 3600))
11 11      ([StringEntry((toBase64String(f.transactionId) + "_owner"), g), IntegerEntry((toBase64String(f.transactionId) + "_lat"), h), IntegerEntry((toBase64String(f.transactionId) + "_long"), i), IntegerEntry((toBase64String(f.transactionId) + "_cost"), j), IntegerEntry((toBase64String(f.transactionId) + "_slice"), 0)] ++ a(toBase64String(f.transactionId), k, l, 0))
12 12      }
13 13  
14 14  
15 15  
16 16  @Callable(f)
17 17  func bookParkingSpotSlice (b,m,c,d,n) = {
18 18      let o = (c - (c % 3600))
19 19      let p = (c - (c % 3600))
20 20      let q = getIntegerValue(this, (((b + "_slice_") + toString(m)) + "_startTime"))
21 21      let r = getIntegerValue(this, (((b + "_slice_") + toString(m)) + "_endTime"))
22 22      let s = getIntegerValue(this, (b + "_slice"))
23 23      if (if ((q > o))
24 24          then true
25 25          else (p > r))
26 26          then throw("time is out of range for parking spot")
27 27          else {
28 28              let t = getString(this, (((b + "_slice_") + toString(m)) + "_renter"))
29 29              if ((t != unit))
30 30                  then throw("parking spot has already been booked")
31 31                  else if (if ((o == q))
32 32                      then (p == r)
33 33                      else false)
34 34                      then [StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n)]
35 -                     else if ((o == q))
35 +                     else if (if ((o == q))
36 +                         then (p != r)
37 +                         else false)
36 38                          then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, p, r, (s + 1)))
37 -                         else if ((p == r))
39 +                         else if (if ((p == r))
40 +                             then (o != q)
41 +                             else false)
38 42                              then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, q, o, (s + 1)))
39 43                              else (([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 2))] ++ a(b, q, o, (s + 1))) ++ a(b, p, r, (s + 2)))
40 44              }
41 45      }
42 46  
43 47  
44 48  @Verifier(u)
45 49  func v () = sigVerify(u.bodyBytes, u.proofs[0], u.senderPublicKey)
46 50

Old	New		Differences
32	32		then (p == r)
33	33		else false)
34	34		then [StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n)]
35		-	else if ((o == q))
	35	+	else if (if ((o == q))
	36	+	then (p != r)
	37	+	else false)
36	38		then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, p, r, (s + 1)))
37		-	else if ((p == r))
	39	+	else if (if ((p == r))
	40	+	then (o != q)
	41	+	else false)
38	42		then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, q, o, (s + 1)))
39	43		else (([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 2))] ++ a(b, q, o, (s + 1))) ++ a(b, p, r, (s + 2)))
40	44		}

Old	New		Differences
1	1		{-# STDLIB_VERSION 4 #-}
2	2		{-# SCRIPT_TYPE ACCOUNT #-}
3	3		{-# CONTENT_TYPE DAPP #-}
4	4		func a (b,c,d,e) = [IntegerEntry((((b + "_slice_") + toString(e)) + "_startTime"), c), IntegerEntry((((b + "_slice_") + toString(e)) + "_endTime"), d)]
5	5
6	6
7	7		@Callable(f)
8	8		func createParkingSpot (g,h,i,c,d,j) = {
9	9		let k = (c - (c % 3600))
10	10		let l = (d - (d % 3600))
11	11		([StringEntry((toBase64String(f.transactionId) + "_owner"), g), IntegerEntry((toBase64String(f.transactionId) + "_lat"), h), IntegerEntry((toBase64String(f.transactionId) + "_long"), i), IntegerEntry((toBase64String(f.transactionId) + "_cost"), j), IntegerEntry((toBase64String(f.transactionId) + "_slice"), 0)] ++ a(toBase64String(f.transactionId), k, l, 0))
12	12		}
13	13
14	14
15	15
16	16		@Callable(f)
17	17		func bookParkingSpotSlice (b,m,c,d,n) = {
18	18		let o = (c - (c % 3600))
19	19		let p = (c - (c % 3600))
20	20		let q = getIntegerValue(this, (((b + "_slice_") + toString(m)) + "_startTime"))
21	21		let r = getIntegerValue(this, (((b + "_slice_") + toString(m)) + "_endTime"))
22	22		let s = getIntegerValue(this, (b + "_slice"))
23	23		if (if ((q > o))
24	24		then true
25	25		else (p > r))
26	26		then throw("time is out of range for parking spot")
27	27		else {
28	28		let t = getString(this, (((b + "_slice_") + toString(m)) + "_renter"))
29	29		if ((t != unit))
30	30		then throw("parking spot has already been booked")
31	31		else if (if ((o == q))
32	32		then (p == r)
33	33		else false)
34	34		then [StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n)]
35		-	else if ((o == q))
	35	+	else if (if ((o == q))
	36	+	then (p != r)
	37	+	else false)
36	38		then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, p, r, (s + 1)))
37		-	else if ((p == r))
	39	+	else if (if ((p == r))
	40	+	then (o != q)
	41	+	else false)
38	42		then ([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 1))] ++ a(b, q, o, (s + 1)))
39	43		else (([StringEntry((((b + "_slice_") + toString(m)) + "_renter"), n), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), o), IntegerEntry((((b + "_slice_") + toString(m)) + "_startTime"), p), IntegerEntry((b + "_slice"), (s + 2))] ++ a(b, q, o, (s + 1))) ++ a(b, p, r, (s + 2)))
40	44		}
41	45		}
42	46
43	47
44	48		@Verifier(u)
45	49		func v () = sigVerify(u.bodyBytes, u.proofs[0], u.senderPublicKey)
46	50

github/deemru/w8io/169f3d6 
28.31 ms ◑