Datum
3c79398bef1eae…b2ade92dc6
3c79398bef1eaea7113ff1a3187b3a2fcc8e5ac3c0d3c9ca8e7767b2ade92dc6
Datum
Constr 0
0
#9cefc60a442a2eac4e2e9fd5dca9e5e69b63e979c839e0c3e870579d
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}
#""
→ 1100000
1
Constr 0
0
Constr 0
0
Constr 0
0
#169e7d67a3bc1d48b5e5563cb4d9eb3261f8b81748521ad61f8c1308
1
Constr 0
0
Constr 0
0
Constr 0
0
#b81fb70b184ef3bd3f570fa316f7997fdf0ac3f20528f3308fbd33f4
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5500000
2
Constr 0
0
Constr 0
0
Constr 0
0
#9cefc60a442a2eac4e2e9fd5dca9e5e69b63e979c839e0c3e870579d
1
Constr 0
0
Constr 0
0
Constr 0
0
#242614da8ba7f669a2c4245aad758cbeec4c1c63b5480680a5654d34
1
Map {1}
#fda1bdc8b554ad8da319335672587c0d6406ae6e91ecbbf404bf3c1e
→ Constr 0
0
1
1
Map {0}