Datum
a3554909922853…61371b904a
a3554909922853d7ebb4d3096a22dfbbf500c7d6ab3f25435e07ee61371b904a
Datum
Constr 0
0
#c07a63f437d36536e9ccf430c6450dcc13f201a45d223fea25fdbdd7
1
List [3]
0
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}
#""
→ 10000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#c6d5f1cb2d0d29e368a1e4c7816f4749429ac013fc34095ed24ccf4f
1
Constr 0
0
Constr 0
0
Constr 0
0
#2be5f4f4a5268dd0025933b7ef1005bb2e44ac17e7a61f4cd5e9820b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 50000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#c07a63f437d36536e9ccf430c6450dcc13f201a45d223fea25fdbdd7
1
Constr 0
0
Constr 0
0
Constr 0
0
#1b11a3f898dce182ee492d2b635883f2cc10408df4eac51ae9f5eb70
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 440000000