Datum
b4fc9d80522cc5…637c067ffe
b4fc9d80522cc50f8dcad526566ac67be21fbbbe5e687a77f897ae637c067ffe
Datum
Constr 0
0
#484f5b58161cbae6c5030d2b204a154a45c6e2ab226f7dd13d51bd04
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#775e0dccb517c8e31450a2ead2bd7cd98211517c5c80c82baefd2ae5
1
Constr 0
0
Constr 0
0
Constr 0
0
#f26de5f2c60f85e040a5654a633e3fd22c2af69ad5a10fc3fcbac194
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 9000000
1
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}
#""
→ 6000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#484f5b58161cbae6c5030d2b204a154a45c6e2ab226f7dd13d51bd04
1
Constr 0
0
Constr 0
0
Constr 0
0
#e823b4e6c5862c267790a1577ead4a42fc9829dcdcc114e392279ec9
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 285000000