Datum
8a284f55c5ccb2…a620c2af9a
8a284f55c5ccb2f44ab24d87d63b2acb6980133d3d11e8bd0e18caa620c2af9a
Datum
Constr 0
0
#b879a7c4c45d47974036fbc77cf37f5ea7439a5c6f7321e3330d38a7
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#741e8ed6f156e16e46be86a4047f1ab5c5221e791ac0305c14f22752
1
Constr 0
0
Constr 0
0
Constr 0
0
#d2e719643014be3ad2e8d7dd4d6f222609fda367e0c0b4aefe738332
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
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}
#""
→ 6000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#b879a7c4c45d47974036fbc77cf37f5ea7439a5c6f7321e3330d38a7
1
Constr 0
0
Constr 0
0
Constr 0
0
#2fbca8241ba9735f2253f18dc7c7c3e8df2c2ac56680050513f8dd12
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 282000000