Datum
9ddb88166ca303…92d4e72df3
9ddb88166ca303d85c96a4db857308a7191193e922cb1cd5c17c0692d4e72df3
Datum
Constr 0
0
#14227cbf4b62ed151b46fe34545a3a2974bbd99c43624726b7fab27d
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7c9e186340dee98eba88abe939a1434e7ebcc4c99051fcf91934d89e
1
Constr 0
0
Constr 0
0
Constr 0
0
#5b8088e8b2aaebc9e3f3ea43d69c2f8375368f5289e9f628f6a8e2f2
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 3000000
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}
#""
→ 3000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#14227cbf4b62ed151b46fe34545a3a2974bbd99c43624726b7fab27d
1
Constr 0
0
Constr 0
0
Constr 0
0
#c12ea25ee6bc636de5c58c63216d723a8e82d987f3ea8979b28bb203
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 144000000