Datum
401c519320bbd2…d0a9e27802
401c519320bbd2c2664dbd8ac8d580e0b6017d8d3a5934824e7de8d0a9e27802
Datum
Constr 0
0
#7c1b02b7a854e1ca6715cc8082ec114d38d090d7c0aa3564e762cf41
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a910027e4a8ca431c22c7604dde303d76cabdc895d43adb8a8005fa6
1
Constr 0
0
Constr 0
0
Constr 0
0
#4c45c23fb7a15cf43684f3eaef311c5ebdf4e6f4b019f002f962199e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 42000000
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}
#""
→ 24000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#7c1b02b7a854e1ca6715cc8082ec114d38d090d7c0aa3564e762cf41
1
Constr 0
0
Constr 0
0
Constr 0
0
#d678b29a935fd6f0309f5236af0b3a3fb778517a7d22252cda8ba73c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1134000000