Datum
5aaf5c6a286e8a…eb36d0d5eb
5aaf5c6a286e8a9fe9e5d5231346dc75fc2920e24f9b2df7f29bcbeb36d0d5eb
Datum
Constr 0
0
#717d6e0bb68c13e6821979154e9af5db756795eece8c2b9a3207cfcb
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#cd5846756cba4694f753752bcc8094a989cffd6ff5b4f72d3ff3bbb2
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 15000000
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}
#""
→ 15000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#717d6e0bb68c13e6821979154e9af5db756795eece8c2b9a3207cfcb
1
Constr 0
0
Constr 0
0
Constr 0
0
#b0689cc1dd759056dc1a2ba42a8d0198637b4cf680d41468109a570e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 720000000