Datum
4a8be806ecc1cb…42bdda39b9
4a8be806ecc1cbf9603d2c22bef02184571cab084605e6d3db14bd42bdda39b9
Datum
Constr 0
0
#8a4ff1f1ee373f274e718c7146ec933cd44607b7fa851e938af0d91f
1
List [3]
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}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#e89b6fcc883747fdbf5045f265409b80a1000c64c73d0a1d2611b8c4
1
Constr 0
0
Constr 0
0
Constr 0
0
#d1901a98e880566a35866294236a7959a25861086b918a67c94e2fbd
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#8a4ff1f1ee373f274e718c7146ec933cd44607b7fa851e938af0d91f
1
Constr 0
0
Constr 0
0
Constr 0
0
#177266b8b606c5645df8bc54f1180d740f3340ac91bdc851da5df6fb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 44000000