Datum
cef966f8542f90…b5adc8f435
cef966f8542f907e7653fe1ad0461beae0da06bee517ea2bd07939b5adc8f435
Datum
Constr 0
0
#85bb30710181274777970b4a7947e3b3ac93cc9dff71390d525b5f78
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#4a03a85ac23c573fc3475e731e26b2abb161254aad7b870765b8713d
1
Constr 0
0
Constr 0
0
Constr 0
0
#c36986668f238b74e493beb114a84efbea9847cd5079078d71c6a006
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 36000000
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
#85bb30710181274777970b4a7947e3b3ac93cc9dff71390d525b5f78
1
Constr 0
0
Constr 0
0
Constr 0
0
#7861fccbaf5c6b1efb12a740b8ae93e46ea50aad164749d00d104c5b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 552000000