Datum
ecf38cbe1dbbef…a980c7e5b6
ecf38cbe1dbbeffc7abd0dc3ff934124e40419ccc0b1dade5cc9f7a980c7e5b6
Datum
Constr 0
0
#77acf208fc5f48044790f99a3da86704c380cd9b10993e6aa73d4f76
1
List [2]
0
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 15000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#77acf208fc5f48044790f99a3da86704c380cd9b10993e6aa73d4f76
1
Constr 0
0
Constr 0
0
Constr 0
0
#07ef265f06dd291f5268d112a21293fe681e06521f75dcba9d25483c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 735000000