Datum
9f1a95fbeef741…fb4dd6fdfb
9f1a95fbeef7419da2b20bdba32d0a80f86fe8759d1b286fbce6e0fb4dd6fdfb
Datum
Constr 0
0
#9a916fc49b8a5791768961324f1519cbe99d867eaab8f9af1407d607
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#13ec948ef3c54dd491d18de3daf0e9553012a081951f3fb56dbdc76b
1
Constr 0
0
Constr 0
0
Constr 0
0
#210259918e34e3e7882206ee99a79778dd0ae01747f7507b0986c198
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4000000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#9a916fc49b8a5791768961324f1519cbe99d867eaab8f9af1407d607
1
Constr 0
0
Constr 0
0
Constr 0
0
#aa1271cca97928f792fdc799eb73f99d52eba703e70f191008843d94
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 45000000