Skip to content

Instantly share code, notes, and snippets.

@desaperados

desaperados/status-js

Created February 20, 2020 08:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save desaperados/204e510ec37c77de368f8f11fc1150ba to your computer and use it in GitHub Desktop.
Save desaperados/204e510ec37c77de368f8f11fc1150ba to your computer and use it in GitHub Desktop.
Download ZIP
Raw
status-js
HEAD DELTAC
├ 0 ❌ ╭ ((#sizeByteArray((112 : (160 : (130 : (49 : (nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 3
│ │ 2) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyte
│ │ of(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8
│ │ , 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nt
│ │ hbyteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(AB
│ │ I_who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nt
│ │ hbyteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(AB
│ │ I_who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : .Wo
│ ╰ rdStack_EVM-TYPES))))))))))))))))))))))))))))))))))))) < 4))
└ 1 ╭ ((4 <= #sizeByteArray((112 : (160 : (130 : (49 : (nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who,
│ │ 1, 32) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nt
│ │ hbyteof(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_w
│ │ ho, 8, 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32)
│ │ : (nthbyteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyte
│ │ of(ABI_who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who
│ │ , 18, 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32)
│ │ : (nthbyteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyte
│ │ of(ABI_who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who
│ │ , 28, 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32)
│ ╰ : .WordStack_EVM-TYPES)))))))))))))))))))))))))))))))))))))))
├ 0 ╭ ((32 <= (#sizeByteArray((112 : (160 : (130 : (49 : (nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_wh
│ │ │ o, 1, 32) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (
│ │ │ nthbyteof(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI
│ │ │ _who, 8, 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32
│ │ │ ) : (nthbyteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthby
│ │ │ teof(ABI_who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_w
│ │ │ ho, 18, 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32
│ │ │ ) : (nthbyteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthby
│ │ │ teof(ABI_who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_w
│ │ │ ho, 28, 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32
│ │ ╰ ) : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))) - 4)))
│ ├ 0 ╭ (((VGas - 1169) >= ((#memoryUsageUpdate(5, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(
│ │ │ ABI_who, 0, 32))
│ │ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ │ (32 |-> 0)
│ │ │ (33 |-> 0)
│ │ │ (34 |-> 0)
│ │ │ (35 |-> 0)
│ │ │ (36 |-> 0)
│ │ │ (37 |-> 0)
│ │ │ (38 |-> 0)
│ │ │ (39 |-> 0)
│ │ │ (40 |-> 0)
│ │ │ (41 |-> 0)
│ │ │ (42 |-> 0)
│ │ │ (43 |-> 0)
│ │ │ (44 |-> 0)
│ │ │ (45 |-> 0)
│ │ │ (46 |-> 0)
│ │ │ (47 |-> 0)
│ │ │ (48 |-> 0)
│ │ │ (49 |-> 0)
│ │ │ (50 |-> 0)
│ │ │ (51 |-> 0)
│ │ │ (52 |-> 0)
│ │ │ (53 |-> 0)
│ │ │ (54 |-> 0)
│ │ │ (55 |-> 0)
│ │ │ (56 |-> 0)
│ │ │ (57 |-> 0)
│ │ │ (58 |-> 0)
│ │ │ (59 |-> 0)
│ │ │ (60 |-> 0)
│ │ │ (61 |-> 0)
│ │ │ (62 |-> 0)
│ │ │ (63 |-> 0)
│ │ │ (64 |-> 0)
│ │ │ (65 |-> 0)
│ │ │ (66 |-> 0)
│ │ │ (67 |-> 0)
│ │ │ (68 |-> 0)
│ │ │ (69 |-> 0)
│ │ │ (70 |-> 0)
│ │ │ (71 |-> 0)
│ │ │ (72 |-> 0)
│ │ │ (73 |-> 0)
│ │ │ (74 |-> 0)
│ │ │ (75 |-> 0)
│ │ │ (76 |-> 0)
│ │ │ (77 |-> 0)
│ │ │ (78 |-> 0)
│ │ │ (79 |-> 0)
│ │ │ (80 |-> 0)
│ │ │ (81 |-> 0)
│ │ │ (82 |-> 0)
│ │ │ (83 |-> 0)
│ │ │ (84 |-> 0)
│ │ │ (85 |-> 0)
│ │ │ (86 |-> 0)
│ │ │ (87 |-> 0)
│ │ │ (88 |-> 0)
│ │ │ (89 |-> 0)
│ │ │ (90 |-> 0)
│ │ │ (91 |-> 0)
│ │ │ (92 |-> 0)
│ │ │ (93 |-> 0)
│ │ │ (94 |-> 0)
│ │ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)), _-Word__EVM-T
│ │ │ YPES(160, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ │ (32 |-> 0)
│ │ │ (33 |-> 0)
│ │ │ (34 |-> 0)
│ │ │ (35 |-> 0)
│ │ │ (36 |-> 0)
│ │ │ (37 |-> 0)
│ │ │ (38 |-> 0)
│ │ │ (39 |-> 0)
│ │ │ (40 |-> 0)
│ │ │ (41 |-> 0)
│ │ │ (42 |-> 0)
│ │ │ (43 |-> 0)
│ │ │ (44 |-> 0)
│ │ │ (45 |-> 0)
│ │ │ (46 |-> 0)
│ │ │ (47 |-> 0)
│ │ │ (48 |-> 0)
│ │ │ (49 |-> 0)
│ │ │ (50 |-> 0)
│ │ │ (51 |-> 0)
│ │ │ (52 |-> 0)
│ │ │ (53 |-> 0)
│ │ │ (54 |-> 0)
│ │ │ (55 |-> 0)
│ │ │ (56 |-> 0)
│ │ │ (57 |-> 0)
│ │ │ (58 |-> 0)
│ │ │ (59 |-> 0)
│ │ │ (60 |-> 0)
│ │ │ (61 |-> 0)
│ │ │ (62 |-> 0)
│ │ │ (63 |-> 0)
│ │ │ (64 |-> 0)
│ │ │ (65 |-> 0)
│ │ │ (66 |-> 0)
│ │ │ (67 |-> 0)
│ │ │ (68 |-> 0)
│ │ │ (69 |-> 0)
│ │ │ (70 |-> 0)
│ │ │ (71 |-> 0)
│ │ │ (72 |-> 0)
│ │ │ (73 |-> 0)
│ │ │ (74 |-> 0)
│ │ │ (75 |-> 0)
│ │ │ (76 |-> 0)
│ │ │ (77 |-> 0)
│ │ │ (78 |-> 0)
│ │ │ (79 |-> 0)
│ │ │ (80 |-> 0)
│ │ │ (81 |-> 0)
│ │ │ (82 |-> 0)
│ │ │ (83 |-> 0)
│ │ │ (84 |-> 0)
│ │ │ (85 |-> 0)
│ │ │ (86 |-> 0)
│ │ │ (87 |-> 0)
│ │ │ (88 |-> 0)
│ │ │ (89 |-> 0)
│ │ │ (90 |-> 0)
│ │ │ (91 |-> 0)
│ │ │ (92 |-> 0)
│ │ │ (93 |-> 0)
│ │ │ (94 |-> 0)
│ │ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)))) * 3) + (((#m
│ │ │ emoryUsageUpdate(5, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ │ (32 |-> 0)
│ │ │ (33 |-> 0)
│ │ │ (34 |-> 0)
│ │ │ (35 |-> 0)
│ │ │ (36 |-> 0)
│ │ │ (37 |-> 0)
│ │ │ (38 |-> 0)
│ │ │ (39 |-> 0)
│ │ │ (40 |-> 0)
│ │ │ (41 |-> 0)
│ │ │ (42 |-> 0)
│ │ │ (43 |-> 0)
│ │ │ (44 |-> 0)
│ │ │ (45 |-> 0)
│ │ │ (46 |-> 0)
│ │ │ (47 |-> 0)
│ │ │ (48 |-> 0)
│ │ │ (49 |-> 0)
│ │ │ (50 |-> 0)
│ │ │ (51 |-> 0)
│ │ │ (52 |-> 0)
│ │ │ (53 |-> 0)
│ │ │ (54 |-> 0)
│ │ │ (55 |-> 0)
│ │ │ (56 |-> 0)
│ │ │ (57 |-> 0)
│ │ │ (58 |-> 0)
│ │ │ (59 |-> 0)
│ │ │ (60 |-> 0)
│ │ │ (61 |-> 0)
│ │ │ (62 |-> 0)
│ │ │ (63 |-> 0)
│ │ │ (64 |-> 0)
│ │ │ (65 |-> 0)
│ │ │ (66 |-> 0)
│ │ │ (67 |-> 0)
│ │ │ (68 |-> 0)
│ │ │ (69 |-> 0)
│ │ │ (70 |-> 0)
│ │ │ (71 |-> 0)
│ │ │ (72 |-> 0)
│ │ │ (73 |-> 0)
│ │ │ (74 |-> 0)
│ │ │ (75 |-> 0)
│ │ │ (76 |-> 0)
│ │ │ (77 |-> 0)
│ │ │ (78 |-> 0)
│ │ │ (79 |-> 0)
│ │ │ (80 |-> 0)
│ │ │ (81 |-> 0)
│ │ │ (82 |-> 0)
│ │ │ (83 |-> 0)
│ │ │ (84 |-> 0)
│ │ │ (85 |-> 0)
│ │ │ (86 |-> 0)
│ │ │ (87 |-> 0)
│ │ │ (88 |-> 0)
│ │ │ (89 |-> 0)
│ │ │ (90 |-> 0)
│ │ │ (91 |-> 0)
│ │ │ (92 |-> 0)
│ │ │ (93 |-> 0)
│ │ │ (94 |-> 0)
│ │ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)), _-Word__EVM-T
│ │ │ YPES(160, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ │ (32 |-> 0)
│ │ │ (33 |-> 0)
│ │ │ (34 |-> 0)
│ │ │ (35 |-> 0)
│ │ │ (36 |-> 0)
│ │ │ (37 |-> 0)
│ │ │ (38 |-> 0)
│ │ │ (39 |-> 0)
│ │ │ (40 |-> 0)
│ │ │ (41 |-> 0)
│ │ │ (42 |-> 0)
│ │ │ (43 |-> 0)
│ │ │ (44 |-> 0)
│ │ │ (45 |-> 0)
│ │ │ (46 |-> 0)
│ │ │ (47 |-> 0)
│ │ │ (48 |-> 0)
│ │ │ (49 |-> 0)
│ │ │ (50 |-> 0)
│ │ │ (51 |-> 0)
│ │ │ (52 |-> 0)
│ │ │ (53 |-> 0)
│ │ │ (54 |-> 0)
│ │ │ (55 |-> 0)
│ │ │ (56 |-> 0)
│ │ │ (57 |-> 0)
│ │ │ (58 |-> 0)
│ │ │ (59 |-> 0)
│ │ │ (60 |-> 0)
│ │ │ (61 |-> 0)
│ │ │ (62 |-> 0)
│ │ │ (63 |-> 0)
│ │ │ (64 |-> 0)
│ │ │ (65 |-> 0)
│ │ │ (66 |-> 0)
│ │ │ (67 |-> 0)
│ │ │ (68 |-> 0)
│ │ │ (69 |-> 0)
│ │ │ (70 |-> 0)
│ │ │ (71 |-> 0)
│ │ │ (72 |-> 0)
│ │ │ (73 |-> 0)
│ │ │ (74 |-> 0)
│ │ │ (75 |-> 0)
│ │ │ (76 |-> 0)
│ │ │ (77 |-> 0)
│ │ │ (78 |-> 0)
│ │ │ (79 |-> 0)
│ │ │ (80 |-> 0)
│ │ │ (81 |-> 0)
│ │ │ (82 |-> 0)
│ │ │ (83 |-> 0)
│ │ │ (84 |-> 0)
│ │ │ (85 |-> 0)
│ │ │ (86 |-> 0)
│ │ │ (87 |-> 0)
│ │ │ (88 |-> 0)
│ │ │ (89 |-> 0)
│ │ │ (90 |-> 0)
│ │ │ (91 |-> 0)
│ │ │ (92 |-> 0)
│ │ │ (93 |-> 0)
│ │ │ (94 |-> 0)
│ │ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)))) * #memoryUsa
│ │ │ geUpdate(5, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ │ (32 |-> 0)
│ │ │ (33 |-> 0)
│ │ │ (34 |-> 0)
│ │ │ (35 |-> 0)
│ │ │ (36 |-> 0)
│ │ │ (37 |-> 0)
│ │ │ (38 |-> 0)
│ │ │ (39 |-> 0)
│ │ │ (40 |-> 0)
│ │ │ (41 |-> 0)
│ │ │ (42 |-> 0)
│ │ │ (43 |-> 0)
│ │ │ (44 |-> 0)
│ │ │ (45 |-> 0)
│ │ │ (46 |-> 0)
│ │ │ (47 |-> 0)
│ │ │ (48 |-> 0)
│ │ │ (49 |-> 0)
│ │ │ (50 |-> 0)
│ │ │ (51 |-> 0)
│ │ │ (52 |-> 0)
│ │ │ (53 |-> 0)
│ │ │ (54 |-> 0)
│ │ │ (55 |-> 0)
│ │ │ (56 |-> 0)
│ │ │ (57 |-> 0)
│ │ │ (58 |-> 0)
│ │ │ (59 |-> 0)
│ │ │ (60 |-> 0)
│ │ │ (61 |-> 0)
│ │ │ (62 |-> 0)
│ │ │ (63 |-> 0)
│ │ │ (64 |-> 0)
│ │ │ (65 |-> 0)
│ │ │ (66 |-> 0)
│ │ │ (67 |-> 0)
│ │ │ (68 |-> 0)
│ │ │ (69 |-> 0)
│ │ │ (70 |-> 0)
│ │ │ (71 |-> 0)
│ │ │ (72 |-> 0)
│ │ │ (73 |-> 0)
│ │ │ (74 |-> 0)
│ │ │ (75 |-> 0)
│ │ │ (76 |-> 0)
│ │ │ (77 |-> 0)
│ │ │ (78 |-> 0)
│ │ │ (79 |-> 0)
│ │ │ (80 |-> 0)
│ │ │ (81 |-> 0)
│ │ │ (82 |-> 0)
│ │ │ (83 |-> 0)
│ │ │ (84 |-> 0)
│ │ │ (85 |-> 0)
│ │ │ (86 |-> 0)
│ │ │ (87 |-> 0)
│ │ │ (88 |-> 0)
│ │ │ (89 |-> 0)
│ │ │ (90 |-> 0)
│ │ │ (91 |-> 0)
│ │ │ (92 |-> 0)
│ │ │ (93 |-> 0)
│ │ │ (94 |-> 0)
│ │ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)), _-Word__EVM-T
│ │ │ YPES(160, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ │ (32 |-> 0)
│ │ │ (33 |-> 0)
│ │ │ (34 |-> 0)
│ │ │ (35 |-> 0)
│ │ │ (36 |-> 0)
│ │ │ (37 |-> 0)
│ │ │ (38 |-> 0)
│ │ │ (39 |-> 0)
│ │ │ (40 |-> 0)
│ │ │ (41 |-> 0)
│ │ │ (42 |-> 0)
│ │ │ (43 |-> 0)
│ │ │ (44 |-> 0)
│ │ │ (45 |-> 0)
│ │ │ (46 |-> 0)
│ │ │ (47 |-> 0)
│ │ │ (48 |-> 0)
│ │ │ (49 |-> 0)
│ │ │ (50 |-> 0)
│ │ │ (51 |-> 0)
│ │ │ (52 |-> 0)
│ │ │ (53 |-> 0)
│ │ │ (54 |-> 0)
│ │ │ (55 |-> 0)
│ │ │ (56 |-> 0)
│ │ │ (57 |-> 0)
│ │ │ (58 |-> 0)
│ │ │ (59 |-> 0)
│ │ │ (60 |-> 0)
│ │ │ (61 |-> 0)
│ │ │ (62 |-> 0)
│ │ │ (63 |-> 0)
│ │ │ (64 |-> 0)
│ │ │ (65 |-> 0)
│ │ │ (66 |-> 0)
│ │ │ (67 |-> 0)
│ │ │ (68 |-> 0)
│ │ │ (69 |-> 0)
│ │ │ (70 |-> 0)
│ │ │ (71 |-> 0)
│ │ │ (72 |-> 0)
│ │ │ (73 |-> 0)
│ │ │ (74 |-> 0)
│ │ │ (75 |-> 0)
│ │ │ (76 |-> 0)
│ │ │ (77 |-> 0)
│ │ │ (78 |-> 0)
│ │ │ (79 |-> 0)
│ │ │ (80 |-> 0)
│ │ │ (81 |-> 0)
│ │ │ (82 |-> 0)
│ │ │ (83 |-> 0)
│ │ │ (84 |-> 0)
│ │ │ (85 |-> 0)
│ │ │ (86 |-> 0)
│ │ │ (87 |-> 0)
│ │ │ (88 |-> 0)
│ │ │ (89 |-> 0)
│ │ │ (90 |-> 0)
│ │ │ (91 |-> 0)
│ │ │ (92 |-> 0)
│ │ │ (93 |-> 0)
│ │ │ (94 |-> 0)
│ │ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES))))) / 512) - 15
│ │ ╰ ))))
│ └ 1 ╭ (((VGas - 1169) < ((#memoryUsageUpdate(5, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(A
│ │ BI_who, 0, 32))
│ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ (32 |-> 0)
│ │ (33 |-> 0)
│ │ (34 |-> 0)
│ │ (35 |-> 0)
│ │ (36 |-> 0)
│ │ (37 |-> 0)
│ │ (38 |-> 0)
│ │ (39 |-> 0)
│ │ (40 |-> 0)
│ │ (41 |-> 0)
│ │ (42 |-> 0)
│ │ (43 |-> 0)
│ │ (44 |-> 0)
│ │ (45 |-> 0)
│ │ (46 |-> 0)
│ │ (47 |-> 0)
│ │ (48 |-> 0)
│ │ (49 |-> 0)
│ │ (50 |-> 0)
│ │ (51 |-> 0)
│ │ (52 |-> 0)
│ │ (53 |-> 0)
│ │ (54 |-> 0)
│ │ (55 |-> 0)
│ │ (56 |-> 0)
│ │ (57 |-> 0)
│ │ (58 |-> 0)
│ │ (59 |-> 0)
│ │ (60 |-> 0)
│ │ (61 |-> 0)
│ │ (62 |-> 0)
│ │ (63 |-> 0)
│ │ (64 |-> 0)
│ │ (65 |-> 0)
│ │ (66 |-> 0)
│ │ (67 |-> 0)
│ │ (68 |-> 0)
│ │ (69 |-> 0)
│ │ (70 |-> 0)
│ │ (71 |-> 0)
│ │ (72 |-> 0)
│ │ (73 |-> 0)
│ │ (74 |-> 0)
│ │ (75 |-> 0)
│ │ (76 |-> 0)
│ │ (77 |-> 0)
│ │ (78 |-> 0)
│ │ (79 |-> 0)
│ │ (80 |-> 0)
│ │ (81 |-> 0)
│ │ (82 |-> 0)
│ │ (83 |-> 0)
│ │ (84 |-> 0)
│ │ (85 |-> 0)
│ │ (86 |-> 0)
│ │ (87 |-> 0)
│ │ (88 |-> 0)
│ │ (89 |-> 0)
│ │ (90 |-> 0)
│ │ (91 |-> 0)
│ │ (92 |-> 0)
│ │ (93 |-> 0)
│ │ (94 |-> 0)
│ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)), _-Word__EVM-T
│ │ YPES(160, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ (32 |-> 0)
│ │ (33 |-> 0)
│ │ (34 |-> 0)
│ │ (35 |-> 0)
│ │ (36 |-> 0)
│ │ (37 |-> 0)
│ │ (38 |-> 0)
│ │ (39 |-> 0)
│ │ (40 |-> 0)
│ │ (41 |-> 0)
│ │ (42 |-> 0)
│ │ (43 |-> 0)
│ │ (44 |-> 0)
│ │ (45 |-> 0)
│ │ (46 |-> 0)
│ │ (47 |-> 0)
│ │ (48 |-> 0)
│ │ (49 |-> 0)
│ │ (50 |-> 0)
│ │ (51 |-> 0)
│ │ (52 |-> 0)
│ │ (53 |-> 0)
│ │ (54 |-> 0)
│ │ (55 |-> 0)
│ │ (56 |-> 0)
│ │ (57 |-> 0)
│ │ (58 |-> 0)
│ │ (59 |-> 0)
│ │ (60 |-> 0)
│ │ (61 |-> 0)
│ │ (62 |-> 0)
│ │ (63 |-> 0)
│ │ (64 |-> 0)
│ │ (65 |-> 0)
│ │ (66 |-> 0)
│ │ (67 |-> 0)
│ │ (68 |-> 0)
│ │ (69 |-> 0)
│ │ (70 |-> 0)
│ │ (71 |-> 0)
│ │ (72 |-> 0)
│ │ (73 |-> 0)
│ │ (74 |-> 0)
│ │ (75 |-> 0)
│ │ (76 |-> 0)
│ │ (77 |-> 0)
│ │ (78 |-> 0)
│ │ (79 |-> 0)
│ │ (80 |-> 0)
│ │ (81 |-> 0)
│ │ (82 |-> 0)
│ │ (83 |-> 0)
│ │ (84 |-> 0)
│ │ (85 |-> 0)
│ │ (86 |-> 0)
│ │ (87 |-> 0)
│ │ (88 |-> 0)
│ │ (89 |-> 0)
│ │ (90 |-> 0)
│ │ (91 |-> 0)
│ │ (92 |-> 0)
│ │ (93 |-> 0)
│ │ (94 |-> 0)
│ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)))) * 3) + (((#m
│ │ emoryUsageUpdate(5, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ (32 |-> 0)
│ │ (33 |-> 0)
│ │ (34 |-> 0)
│ │ (35 |-> 0)
│ │ (36 |-> 0)
│ │ (37 |-> 0)
│ │ (38 |-> 0)
│ │ (39 |-> 0)
│ │ (40 |-> 0)
│ │ (41 |-> 0)
│ │ (42 |-> 0)
│ │ (43 |-> 0)
│ │ (44 |-> 0)
│ │ (45 |-> 0)
│ │ (46 |-> 0)
│ │ (47 |-> 0)
│ │ (48 |-> 0)
│ │ (49 |-> 0)
│ │ (50 |-> 0)
│ │ (51 |-> 0)
│ │ (52 |-> 0)
│ │ (53 |-> 0)
│ │ (54 |-> 0)
│ │ (55 |-> 0)
│ │ (56 |-> 0)
│ │ (57 |-> 0)
│ │ (58 |-> 0)
│ │ (59 |-> 0)
│ │ (60 |-> 0)
│ │ (61 |-> 0)
│ │ (62 |-> 0)
│ │ (63 |-> 0)
│ │ (64 |-> 0)
│ │ (65 |-> 0)
│ │ (66 |-> 0)
│ │ (67 |-> 0)
│ │ (68 |-> 0)
│ │ (69 |-> 0)
│ │ (70 |-> 0)
│ │ (71 |-> 0)
│ │ (72 |-> 0)
│ │ (73 |-> 0)
│ │ (74 |-> 0)
│ │ (75 |-> 0)
│ │ (76 |-> 0)
│ │ (77 |-> 0)
│ │ (78 |-> 0)
│ │ (79 |-> 0)
│ │ (80 |-> 0)
│ │ (81 |-> 0)
│ │ (82 |-> 0)
│ │ (83 |-> 0)
│ │ (84 |-> 0)
│ │ (85 |-> 0)
│ │ (86 |-> 0)
│ │ (87 |-> 0)
│ │ (88 |-> 0)
│ │ (89 |-> 0)
│ │ (90 |-> 0)
│ │ (91 |-> 0)
│ │ (92 |-> 0)
│ │ (93 |-> 0)
│ │ (94 |-> 0)
│ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)), _-Word__EVM-T
│ │ YPES(160, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ (32 |-> 0)
│ │ (33 |-> 0)
│ │ (34 |-> 0)
│ │ (35 |-> 0)
│ │ (36 |-> 0)
│ │ (37 |-> 0)
│ │ (38 |-> 0)
│ │ (39 |-> 0)
│ │ (40 |-> 0)
│ │ (41 |-> 0)
│ │ (42 |-> 0)
│ │ (43 |-> 0)
│ │ (44 |-> 0)
│ │ (45 |-> 0)
│ │ (46 |-> 0)
│ │ (47 |-> 0)
│ │ (48 |-> 0)
│ │ (49 |-> 0)
│ │ (50 |-> 0)
│ │ (51 |-> 0)
│ │ (52 |-> 0)
│ │ (53 |-> 0)
│ │ (54 |-> 0)
│ │ (55 |-> 0)
│ │ (56 |-> 0)
│ │ (57 |-> 0)
│ │ (58 |-> 0)
│ │ (59 |-> 0)
│ │ (60 |-> 0)
│ │ (61 |-> 0)
│ │ (62 |-> 0)
│ │ (63 |-> 0)
│ │ (64 |-> 0)
│ │ (65 |-> 0)
│ │ (66 |-> 0)
│ │ (67 |-> 0)
│ │ (68 |-> 0)
│ │ (69 |-> 0)
│ │ (70 |-> 0)
│ │ (71 |-> 0)
│ │ (72 |-> 0)
│ │ (73 |-> 0)
│ │ (74 |-> 0)
│ │ (75 |-> 0)
│ │ (76 |-> 0)
│ │ (77 |-> 0)
│ │ (78 |-> 0)
│ │ (79 |-> 0)
│ │ (80 |-> 0)
│ │ (81 |-> 0)
│ │ (82 |-> 0)
│ │ (83 |-> 0)
│ │ (84 |-> 0)
│ │ (85 |-> 0)
│ │ (86 |-> 0)
│ │ (87 |-> 0)
│ │ (88 |-> 0)
│ │ (89 |-> 0)
│ │ (90 |-> 0)
│ │ (91 |-> 0)
│ │ (92 |-> 0)
│ │ (93 |-> 0)
│ │ (94 |-> 0)
│ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)))) * #memoryUsa
│ │ geUpdate(5, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ (32 |-> 0)
│ │ (33 |-> 0)
│ │ (34 |-> 0)
│ │ (35 |-> 0)
│ │ (36 |-> 0)
│ │ (37 |-> 0)
│ │ (38 |-> 0)
│ │ (39 |-> 0)
│ │ (40 |-> 0)
│ │ (41 |-> 0)
│ │ (42 |-> 0)
│ │ (43 |-> 0)
│ │ (44 |-> 0)
│ │ (45 |-> 0)
│ │ (46 |-> 0)
│ │ (47 |-> 0)
│ │ (48 |-> 0)
│ │ (49 |-> 0)
│ │ (50 |-> 0)
│ │ (51 |-> 0)
│ │ (52 |-> 0)
│ │ (53 |-> 0)
│ │ (54 |-> 0)
│ │ (55 |-> 0)
│ │ (56 |-> 0)
│ │ (57 |-> 0)
│ │ (58 |-> 0)
│ │ (59 |-> 0)
│ │ (60 |-> 0)
│ │ (61 |-> 0)
│ │ (62 |-> 0)
│ │ (63 |-> 0)
│ │ (64 |-> 0)
│ │ (65 |-> 0)
│ │ (66 |-> 0)
│ │ (67 |-> 0)
│ │ (68 |-> 0)
│ │ (69 |-> 0)
│ │ (70 |-> 0)
│ │ (71 |-> 0)
│ │ (72 |-> 0)
│ │ (73 |-> 0)
│ │ (74 |-> 0)
│ │ (75 |-> 0)
│ │ (76 |-> 0)
│ │ (77 |-> 0)
│ │ (78 |-> 0)
│ │ (79 |-> 0)
│ │ (80 |-> 0)
│ │ (81 |-> 0)
│ │ (82 |-> 0)
│ │ (83 |-> 0)
│ │ (84 |-> 0)
│ │ (85 |-> 0)
│ │ (86 |-> 0)
│ │ (87 |-> 0)
│ │ (88 |-> 0)
│ │ (89 |-> 0)
│ │ (90 |-> 0)
│ │ (91 |-> 0)
│ │ (92 |-> 0)
│ │ (93 |-> 0)
│ │ (94 |-> 0)
│ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES)), _-Word__EVM-T
│ │ YPES(160, #asWord(#rangeAux(_[_:=_]_EVM-TYPES(((0 |-> nthbyteof(ABI_who, 0, 32))
│ │ (1 |-> nthbyteof(ABI_who, 1, 32))
│ │ (2 |-> nthbyteof(ABI_who, 2, 32))
│ │ (3 |-> nthbyteof(ABI_who, 3, 32))
│ │ (4 |-> nthbyteof(ABI_who, 4, 32))
│ │ (5 |-> nthbyteof(ABI_who, 5, 32))
│ │ (6 |-> nthbyteof(ABI_who, 6, 32))
│ │ (7 |-> nthbyteof(ABI_who, 7, 32))
│ │ (8 |-> nthbyteof(ABI_who, 8, 32))
│ │ (9 |-> nthbyteof(ABI_who, 9, 32))
│ │ (10 |-> nthbyteof(ABI_who, 10, 32))
│ │ (11 |-> nthbyteof(ABI_who, 11, 32))
│ │ (12 |-> nthbyteof(ABI_who, 12, 32))
│ │ (13 |-> nthbyteof(ABI_who, 13, 32))
│ │ (14 |-> nthbyteof(ABI_who, 14, 32))
│ │ (15 |-> nthbyteof(ABI_who, 15, 32))
│ │ (16 |-> nthbyteof(ABI_who, 16, 32))
│ │ (17 |-> nthbyteof(ABI_who, 17, 32))
│ │ (18 |-> nthbyteof(ABI_who, 18, 32))
│ │ (19 |-> nthbyteof(ABI_who, 19, 32))
│ │ (20 |-> nthbyteof(ABI_who, 20, 32))
│ │ (21 |-> nthbyteof(ABI_who, 21, 32))
│ │ (22 |-> nthbyteof(ABI_who, 22, 32))
│ │ (23 |-> nthbyteof(ABI_who, 23, 32))
│ │ (24 |-> nthbyteof(ABI_who, 24, 32))
│ │ (25 |-> nthbyteof(ABI_who, 25, 32))
│ │ (26 |-> nthbyteof(ABI_who, 26, 32))
│ │ (27 |-> nthbyteof(ABI_who, 27, 32))
│ │ (28 |-> nthbyteof(ABI_who, 28, 32))
│ │ (29 |-> nthbyteof(ABI_who, 29, 32))
│ │ (30 |-> nthbyteof(ABI_who, 30, 32))
│ │ (31 |-> nthbyteof(ABI_who, 31, 32))
│ │ (32 |-> 0)
│ │ (33 |-> 0)
│ │ (34 |-> 0)
│ │ (35 |-> 0)
│ │ (36 |-> 0)
│ │ (37 |-> 0)
│ │ (38 |-> 0)
│ │ (39 |-> 0)
│ │ (40 |-> 0)
│ │ (41 |-> 0)
│ │ (42 |-> 0)
│ │ (43 |-> 0)
│ │ (44 |-> 0)
│ │ (45 |-> 0)
│ │ (46 |-> 0)
│ │ (47 |-> 0)
│ │ (48 |-> 0)
│ │ (49 |-> 0)
│ │ (50 |-> 0)
│ │ (51 |-> 0)
│ │ (52 |-> 0)
│ │ (53 |-> 0)
│ │ (54 |-> 0)
│ │ (55 |-> 0)
│ │ (56 |-> 0)
│ │ (57 |-> 0)
│ │ (58 |-> 0)
│ │ (59 |-> 0)
│ │ (60 |-> 0)
│ │ (61 |-> 0)
│ │ (62 |-> 0)
│ │ (63 |-> 0)
│ │ (64 |-> 0)
│ │ (65 |-> 0)
│ │ (66 |-> 0)
│ │ (67 |-> 0)
│ │ (68 |-> 0)
│ │ (69 |-> 0)
│ │ (70 |-> 0)
│ │ (71 |-> 0)
│ │ (72 |-> 0)
│ │ (73 |-> 0)
│ │ (74 |-> 0)
│ │ (75 |-> 0)
│ │ (76 |-> 0)
│ │ (77 |-> 0)
│ │ (78 |-> 0)
│ │ (79 |-> 0)
│ │ (80 |-> 0)
│ │ (81 |-> 0)
│ │ (82 |-> 0)
│ │ (83 |-> 0)
│ │ (84 |-> 0)
│ │ (85 |-> 0)
│ │ (86 |-> 0)
│ │ (87 |-> 0)
│ │ (88 |-> 0)
│ │ (89 |-> 0)
│ │ (90 |-> 0)
│ │ (91 |-> 0)
│ │ (92 |-> 0)
│ │ (93 |-> 0)
│ │ (94 |-> 0)
│ │ (95 |-> 128)), 128, #padToWidth(32, #asByteStack(#lookup(((keccak((ABI_who, (0))) |-> Balance)
│ │ _34), keccak(byteStack2IntList((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32) : (nthbyte
│ │ of(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteof(ABI_who, 5
│ │ , 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8, 32) : (nthb
│ │ yteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nthbyteof(ABI_w
│ │ ho, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI_who, 15, 32
│ │ ) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, 32) : (nthby
│ │ teof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nthbyteof(ABI_w
│ │ ho, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI_who, 25, 32
│ │ ) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28, 32) : (nthby
│ │ teof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (
│ │ 0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))
│ │ )))))))))))))))))))))))))))), (#sizeByteArray((nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 32
│ │ ) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyteo
│ │ f(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8,
│ │ 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nth
│ │ byteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(ABI
│ │ _who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18,
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (nth
│ │ byteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(ABI
│ │ _who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28,
│ │ 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 :
│ │ (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : (0 : .WordStack_EVM-TYPES))))))))))))))))))))))))
│ │ ))))))))))))))))))))))))))))))))))))))))) / 32))))))), 95, 32, .WordStack_EVM-TYPES))))) / 512) - 15
│ ╰ ))))
└ 1 ❌ ╭ (((#sizeByteArray((112 : (160 : (130 : (49 : (nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1,
│ 32) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyt
│ eof(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who,
│ 8, 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (n
│ thbyteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(A
│ BI_who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18
│ , 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteof(ABI_who, 21, 32) : (n
│ thbyteof(ABI_who, 22, 32) : (nthbyteof(ABI_who, 23, 32) : (nthbyteof(ABI_who, 24, 32) : (nthbyteof(A
│ BI_who, 25, 32) : (nthbyteof(ABI_who, 26, 32) : (nthbyteof(ABI_who, 27, 32) : (nthbyteof(ABI_who, 28
│ , 32) : (nthbyteof(ABI_who, 29, 32) : (nthbyteof(ABI_who, 30, 32) : (nthbyteof(ABI_who, 31, 32) : .W
╰ ordStack_EVM-TYPES))))))))))))))))))))))))))))))))))))) - 4) < 32))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment