Datum
2b8b9d5347cbc5…ad703f5b42
2b8b9d5347cbc548e9567717a2b2ea2d063ec0fac49e4a5e259a05ad703f5b42
Datum
Constr 0
0
#f43f99555f86ad023ae2f8dcbe9e4222dd3e6842bc0cf774f88a0382
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7d7d927c7c9e27f54646d9bf72836ee5af427f7aa92efd895154d056
1
Constr 0
0
Constr 0
0
Constr 0
0
#b6b8095b1a417a31d293d595cb9acbc95dbce7088c8b00f388111966
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 50000000
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}
#""
→ 20000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f43f99555f86ad023ae2f8dcbe9e4222dd3e6842bc0cf774f88a0382
1
Constr 0
0
Constr 0
0
Constr 0
0
#638fb1a56f6abff7c90f6404d24e170637029ae25fa000a6bdbc6c0f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 930000000