Datum
453ce254f6071c…f5fa303fb3
453ce254f6071cff5e69b288448c9c3d3b823ccd767e9fabcc86faf5fa303fb3
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#39205385067d90dec1a53448b67cb16b8351f8c50260d6b4ccf32b02bee7a7e9
1
0
Map {2}
#""
→ Map {1}
#""
→ 1000000
#577f0b1342f8f8f4aed3388b80a8535812950c7a892495c0ecdf0f1e
→ Map {1}
#0014df10464c4454
→ 2400000
1
Map {0}
2
Constr 1 []