Datum
8091d8a4d23773…b3e5b0747a
8091d8a4d23773cbf0faede68e7dfe4d530cdea619fc8848a09d8fb3e5b0747a
Datum
Constr 0
0
#f84f70b3f7f455844ebafd9b66067eace78333f2e0e7ebc04438710f
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#1b1d454b028a11b1384ac878a4fdee81b86704b48318670ef39c1abc
1
Constr 0
0
Constr 0
0
Constr 0
0
#8fb5406c17e839c977ae43b4ad2f5370d69dce313c7c6c702e4bc78b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1000000
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
#f84f70b3f7f455844ebafd9b66067eace78333f2e0e7ebc04438710f
1
Constr 0
0
Constr 0
0
Constr 0
0
#b5efb74b3fd6fc3ebbd6b24bd4b1fdd3b29fd19dbbd229e8d2a45eea
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 48000000