Datum
80fc705a524843…028911e01a
80fc705a524843dbdaf3ebc5259b0c1591af7e06e273de64005fb6028911e01a
Datum
Constr 0
0
#a6a5ab3f90c7115fbd8c4b40ccaa7ea3d4a6a4c189aeeeca5a3b0b56
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a7903410f01a71323a6689119f0e1a19df972740a37c144cd6f7b0d9
1
Constr 0
0
Constr 0
0
Constr 0
0
#fef7dca3149e0f49706ecbc7219af18c3c859336c9d77aab8ad89b22
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4000000
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}
#""
→ 1600000
2
Constr 0
0
Constr 0
0
Constr 0
0
#a6a5ab3f90c7115fbd8c4b40ccaa7ea3d4a6a4c189aeeeca5a3b0b56
1
Constr 0
0
Constr 0
0
Constr 0
0
#1175942af263d1bff587ea0bc7b3a82f8e0b50157664b17b7b3ee4f4
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 74400000