Datum
b2bd6abf714e36…31fbdae00c
b2bd6abf714e367564387f481d95bd62de6b1323d7d028c8cd307831fbdae00c
Datum
Constr 0
0
#5fa2d1f1b9fcfb5af4c38315956cf6b7331af63f08b5e0034850043a
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#fad311c5f3574cd30b841464b6c9980147a33673ade5f48ce6269459
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 105000000
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}
#""
→ 42000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#5fa2d1f1b9fcfb5af4c38315956cf6b7331af63f08b5e0034850043a
1
Constr 0
0
Constr 0
0
Constr 0
0
#f9fbca78efa15256f1271284a1380eac9fc66e4bc6d1fef5251fcc2c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1953000000