Datum
7f6a323140ffc8…a6d9162fca
7f6a323140ffc885a52867b587989fb804fdd52c8cccc3148ffe78a6d9162fca
Datum
Constr 0
0
#87a6648d7002f3fe51fa051f7c2559bc438852ce68b0726a5e636d08
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#8c5c6defce9204964034bd41934dab7cb95d18aefc4e832449bc717a
1
Constr 0
0
Constr 0
0
Constr 0
0
#180fc5035f38ca6b0b17f447d362f9e91cbb9e48777477a1f4d80963
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 60000000
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}
#""
→ 12000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#87a6648d7002f3fe51fa051f7c2559bc438852ce68b0726a5e636d08
1
Constr 0
0
Constr 0
0
Constr 0
0
#37941cb47bbf67bf76096982ca6aac827abc9e7823b4bf836f271e3b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 528000000