Datum
44d62fc3d78505…b55c15dcfb
44d62fc3d78505fc297a86e01acfa0e4a5af49919828051f9d7a52b55c15dcfb
Datum
Constr 0
0
#aa092ce5a6f8b0e27468f2a8d4480b9af81c0d2b88e45a6a08ad93d9
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}
#""
→ 6000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#dcde1e951d29f4f44a53f90b7c4d8c26a8077b6de77741f3a2817824
1
Constr 0
0
Constr 0
0
Constr 0
0
#082f6218458bd519d792c1ffc0f396ca7bda53cf96e66f7b03b616eb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 15000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#aa092ce5a6f8b0e27468f2a8d4480b9af81c0d2b88e45a6a08ad93d9
1
Constr 0
0
Constr 0
0
Constr 0
0
#98749e6e9eb65e027e6b9d167596659d388e4cd5382c017c9529eb1b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 279000000