Datum
28e341950c2f57…6bf41f58db
28e341950c2f57d80b24eaffdfadf2f055b8e14b51400db4c822076bf41f58db
Datum
Constr 0
0
#23c63cf618c715ff9d999f4e019656885d414ee408d947924569a4e4
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#3342ca8c073a11b7664bd105123353e79c01116cc465915133fdcf75
1
Constr 0
0
Constr 0
0
Constr 0
0
#d6c5f6f7562142b9815eacc31a3a1579991452e860aaf60573722018
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 40000000
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}
#""
→ 40000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#23c63cf618c715ff9d999f4e019656885d414ee408d947924569a4e4
1
Constr 0
0
Constr 0
0
Constr 0
0
#33d0c9db1bc3b1e3f17169785d4ca0ab55d14e14b15e079b15b16074
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1920000000