Datum
5f67aa37dbdefd…0f3af0d9ba
5f67aa37dbdefd3c3efda087b07d78cca2eeec863380a2ada282760f3af0d9ba
Datum
Constr 0
0
#8fbb5e86505055cf2de28fa937fb3271cd0b2f8dce2ec1d87c2f1ded
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#0b3893bc765ca160532f9b36da7ea48d5277608e4ced2714be7856c9
1
Constr 0
0
Constr 0
0
Constr 0
0
#1292ea5223ec0e012be2b549026c01d0858b39baaae83e6381ff6f32
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 750000000
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}
#""
→ 300000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#8fbb5e86505055cf2de28fa937fb3271cd0b2f8dce2ec1d87c2f1ded
1
Constr 0
0
Constr 0
0
Constr 0
0
#d3731fd016ff51abd81009f477abedb257b5352ef9f8d13d5afe3da5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 13950000000