Datum
f8e1b4bf0e334c…0e93ae40c8
f8e1b4bf0e334c7ce7bbc2310b4bdd7c7b1cf2d65a71e506b371800e93ae40c8
Datum
Constr 0
0
#14216a66d7da5b87589584e30624a0406628ec7cee9606146a90a3ae
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#44cea33c412b620ab8564a90b91cd782ef594e4c4d7bbf21d68c0369
1
Constr 1 []
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}
#""
→ 1600000
2
Constr 0
0
Constr 0
0
Constr 0
0
#14216a66d7da5b87589584e30624a0406628ec7cee9606146a90a3ae
1
Constr 0
0
Constr 0
0
Constr 0
0
#4ae3f0d14387df9b1c8daca20ba19c868d8e86888df200d8da2e0494
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 74400000