Datum
87826bda89e86c…f94bbd2073
87826bda89e86c6c5cfe9bc45b5df154e1d41f153c11b41d737209f94bbd2073
Datum
Constr 0
0
#0f4e5e92a4e2a69b04f805fdb9efc5a2f10fac5f8399f018ba1e0a4a
1
List [3]
0
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}
#""
→ 20400000
1
Constr 0
0
Constr 0
0
Constr 0
0
#d8e59e40438e824502529832dc2e91ff3285f0fbe15f78a88a5c4f71
1
Constr 0
0
Constr 0
0
Constr 0
0
#60b1584c11976be9bdc92d24bd9924b6b57b9390181fa0b04697296c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 102000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#0f4e5e92a4e2a69b04f805fdb9efc5a2f10fac5f8399f018ba1e0a4a
1
Constr 0
0
Constr 0
0
Constr 0
0
#b6dd962ddb985d3bd665c6abe442abf54a6d5445340be7aa73923d3a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 897600000