Datum
b9c7e353ccab11…3dd6cf76db
b9c7e353ccab119feb5476155504ad5c03e45e2efb7df04a56b3123dd6cf76db
Datum
Constr 0
0
#920f8df4cd2835c67e19ff7d1d26a3f3a385e656b76afab2f7ebbba3
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#6d67a452cad9a1745896bc1aa5393ac40b286fdd402ad202970c7d03
1
Constr 0
0
Constr 0
0
Constr 0
0
#60344d724f88e6a81adc0dfeac544bbd8dfb652ff9bef4d042abf40b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 10000000
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}
#""
→ 4000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#920f8df4cd2835c67e19ff7d1d26a3f3a385e656b76afab2f7ebbba3
1
Constr 0
0
Constr 0
0
Constr 0
0
#fe51f12ff06902a9353b0621b059179f5a77a709700cb15a07d29ae5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 186000000