Datum
9b54abc2fbaba3…bcad798a4e
9b54abc2fbaba3e83c54f35c1ec4a86a51c882708f532e48bbbd40bcad798a4e
Datum
Constr 0
0
#52efe5ff58872691e3a5e19484b4152ab0f04ab5ac41efa1db7a7e6b
1
List [3]
0
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}
#""
→ 9500000
1
Constr 0
0
Constr 0
0
Constr 1
0
#0e881efbf35e703b1ec6159d34a26ccd42f2c60cb8c5d0c1e865ad17
1
Constr 0
0
Constr 0
0
Constr 1
0
#0e881efbf35e703b1ec6159d34a26ccd42f2c60cb8c5d0c1e865ad17
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 14250000
2
Constr 0
0
Constr 0
0
Constr 0
0
#52efe5ff58872691e3a5e19484b4152ab0f04ab5ac41efa1db7a7e6b
1
Constr 0
0
Constr 0
0
Constr 0
0
#822c4b498c97d610c7a095b84d5c370a98ae77ca2ad4b10c108c3a24
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 451250000