Datum
747c9f4a144e13…c9dfd43c37
747c9f4a144e134a7ae840b7db1d7af485daf7e76027bf8a82a21fc9dfd43c37
Datum
Constr 0
0
#44ed9ec1f27d71ca61ea22d62bdfccfd7fa1ed2e6b562f70ce4f755c
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#e0509a1928a294d38fca1edf7d205be5654ee4b4cd50b7dcd1691d53
1
Constr 0
0
Constr 0
0
Constr 0
0
#d868edcb3507d6788f9aa3775a0add09c30331f0ff0d29f2614f5b0b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 70000000
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}
#""
→ 14000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#44ed9ec1f27d71ca61ea22d62bdfccfd7fa1ed2e6b562f70ce4f755c
1
Constr 0
0
Constr 0
0
Constr 0
0
#f7b763e2f5779db02342c5fa80fd55ef7e4fcaee981b5fb8584b082d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 616000000