Datum
2009fb670fe1ce…00814c6dc1
2009fb670fe1cebf3bc89d4c8e68a896b26646deb89cafce57510c00814c6dc1
Datum
Constr 0
0
#99df8ac2387caf08999c0720e95a7a6e2af51a6b3a99bdc752d86f6f
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#af832c414b772f9a945db6faedabb9764a333fa85d58436f8e68f63b
1
Constr 0
0
Constr 0
0
Constr 0
0
#4eea8b6b435af9cac6172f070c4b44849f9d479013238749a0af156e
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
#99df8ac2387caf08999c0720e95a7a6e2af51a6b3a99bdc752d86f6f
1
Constr 0
0
Constr 0
0
Constr 0
0
#9ac5693f83f2adcb866102d0b68b624c55ba9f3520f690a214beaf57
1
Map {1}
#dd8a18d37daaadeb36d1baa5b522d964d065ab6f77474b7eb8d57995
→ Constr 0
0
0
1
Map {1}
#42657461333630"Beta360"
→ 1