Datum
f0801c5a21a2a0…18a80c906f
f0801c5a21a2a03dc9eeedc65dfd79cf642fca7d084fbdaab02dbc18a80c906f
Datum
Constr 0
0
#3dec0ae105b9ad445f703a49085a62e6d2bd0b1b3a0387df4e3018d5
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#150ab2c5523ba0625af82fd3a2f37df413505b374545e8c18f6e7c11
1
Constr 0
0
Constr 0
0
Constr 0
0
#3c23b8632db210d0b966e1a077af0d2a171869aa12af8e6a984185f8
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 300000000
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}
#""
→ 600000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#3dec0ae105b9ad445f703a49085a62e6d2bd0b1b3a0387df4e3018d5
1
Constr 0
0
Constr 0
0
Constr 0
0
#a0fb735cddf3543249cd6e42961b1fd452702c7c5721cbdfda611240
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 29100000000