Datum
31b2cb59b75d04…3ccb5db4fe
31b2cb59b75d04ce4825bae100ef28e758771e2c07a3b3eea75f043ccb5db4fe
Datum
Constr 0
0
#2c0a9c8e8d6fef762db7509e4c3411a311155552ac865eb6df61c48d
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#983a691126d149282ea12abacfcd1ceeae39614b24ef8cc52a8fdeff
1
Constr 0
0
Constr 0
0
Constr 0
0
#9151e0f73c5575b7bfe984fbe0e3677fc91bacdf647f98fee204cf35
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5400000
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}
#""
→ 2160000
2
Constr 0
0
Constr 0
0
Constr 0
0
#2c0a9c8e8d6fef762db7509e4c3411a311155552ac865eb6df61c48d
1
Constr 0
0
Constr 0
0
Constr 0
0
#18c175a6bcdbe05c76adb2c23748dea147710c06784c8323d4286302
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 100440000