15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
15
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
252
Assignment: {-3225=0, -1026=0, -2052=0, -1983=0, -2292=0, -3078=0, -5130=0, -4104=0, -2833=0, -4275=0, -3966=0, -634=0, -829=0, -1872=0, -1303=0, -2113=0, -1268=0, -3630=0, -4035=0, -959=0, -1658=0, -4860=0, -2606=0, -244=0, -407=0, -2682=0, -4519=0, -3125=0, -5072=0, -2459=0, -4226=0, -4137=0, -2536=0, -4642=0, -3744=0, -1918=0, -3316=0, -1987=0, -4584=0, -1853=0, -3920=0, -4397=0, -3024=0, -4935=0, -293=0, -4050=0, -3385=0, -1773=0, -488=0, -814=0, -1593=0, -2475=0, -114=0, -3139=0, -4918=0, -2101=0, -2812=0, -1512=0, -423=0, -3775=0, -569=0, -2720=0, -894=0, -1723=0, -4340=0, -1433=0, -3485=0, -3836=0, -2948=0, -163=0, -3974=0, -961=0, -2215=0, -3430=0, -4446=0, 74=0, -3706=0, -342=0, -1317=0, -2927=0, -749=0, 25=0, -1252=0, -1838=0, -1857=0, -4291=0, -586=0, -2520=0, -3546=0, -4600=0, -619=0, -1287=0, -3951=0, 41=0, -4950=0, -1708=0, -4535=0, -1937=0, -2243=0, -3186=0, -65=0, -4845=0, -3615=0, -3989=0, -1091=0, -846=0, -1628=0, -228=0, -1073=0, -2751=0, -4202=0, -4121=0, -699=0, -2443=0, -130=0, -1547=0, -5057=0, -2361=0, -391=0, -2182=0, -1333=0, -2345=0, -1138=0, -147=0, -1788=0, -3446=0, -2199=0, -3676=0, -326=0, -2866=0, -5055=0, -3729=0, -4763=0, -2797=0, -3009=0, -4186=0, -4430=0, -49=0, -2963=0, -4657=0, -472=0, -2634=0, -911=0, -3269=0, -1498=0, -2589=0, -976=0, -1922=0, -3821=0, -4675=0, -896=0, -2002=0, -3890=0, -1417=0, -3469=0, -684=0, -3369=0, -5147=0, -2162=0, -764=0, -521=0, -2942=0, -1156=0, -3714=0, -926=0, -2688=0, -212=0, -2574=0, -1238=0, -3889=0, -2017=0, -2865=0, -4307=0, -5040=0, -1613=0, -3338=0, -4242=0, -1172=0, -3039=0, -1416=0, -993=0, -3468=0, -3170=0, -1563=0, -2068=0, -1057=0, -33=0, -4551=0, -2232=0, -2259=0, -4065=0, -1692=0, -456=0, -602=0, -2146=0, -1482=0, -3285=0, -1463=0, -309=0, -796=0, -991=0, -2980=0, -4478=0, -374=0, 57=0, -81=0, -3515=0, -1107=0, -4413=0, -4081=0, -260=0, -4219=0, -1548=0, -4486=0, -2650=0, -4967=0, -928=0, -1887=0, -861=0, -4364=0, -3416=0, -195=0, -3874=0, -1221=0, -1743=0, -3256=0, -717=0, -2850=0, -1968=0, -5022=0, -2329=0, -2422=0, -4020=0, -3094=0, -537=0, -1398=0, -2718=0, -666=0, -3661=0, -782=0, -5024=0, -3805=0, -5105=0, -2779=0, -3041=0, -4722=0, -1122=0, -2666=0, -4259=0, -2895=0, -1757=0, -294=0, -1642=0, -731=0, -3576=0, -4886=0, -553=0, -4813=0, -4398=0, -3355=0, -1187=0, -2085=0, -1318=0, -4983=0, -3109=0, -4568=0, -2552=0, -16=0, -3239=0, -4169=0, -3905=0, -1009=0, -652=0, -1903=0, -4992=0, -4690=0, -98=0, -2276=0, -4902=0, -1952=0, -504=0, -944=0, -4004=0, -4609=0, -1383=0, -2312=0, -2996=0, -277=0, -3057=0, -3844=0, 9=0, -3860=0, -2818=0, -3645=0, -1792=0, -4463=0, -2390=0, -359=0, -5089=0, -3155=0, -2129=0, -4154=0, -4324=0, -4381=0, -2909=0, -4625=0, -2033=0, -4503=0, -3935=0, -879=0, -1042=0, -2621=0, -439=0, -1577=0, -2491=0, -3300=0, -4870=0, -1678=0, -3690=0, -3208=0, -1528=0, -5087=0, -1822=0, -1368=0, -4795=0, -3791=0, -2765=0, -2832=0, -2681=0, -1852=0, -570=0, -424=0, -2476=0, -3226=0, -2607=0, -1919=0, -1269=0, -1367=0, -4034=0, -3837=0, -4274=0, -1513=0, -1023=0, -4641=0, -1448=0, -5148=0, -3500=0, -3759=0, -2293=0, -1707=0, -3010=0, -1659=0, -3967=0, -4585=0, -1644=0, -830=0, -1137=0, -2344=0, -3370=0, -1986=0, -1789=0, -2458=0, -4136=0, -3415=0, -4225=0, -2407=0, -3315=0, -4796=0, -2535=0, -1873=0, -4859=0, -4203=0, -406=0, -3126=0, -3707=0, -2100=0, -3692=0, -243=0, -962=0, -2114=0, -3545=0, -893=0, -115=0, -4464=0, -1808=0, -3384=0, -2811=0, -1204=0, -487=0, -1936=0, -4292=0, -3988=0, -4518=0, -343=0, -4919=0, -1251=0, -2926=0, -618=0, -1027=0, -912=0, 26=0, -1592=0, -1982=0, -3629=0, -4447=0, -2964=0, -748=0, -3071=0, -162=0, -3975=0, -700=0, -5071=0, -2721=0, -4341=0, -2214=0, -66=0, -229=0, -1837=0, -1351=0, -587=0, -196=0, -3268=0, -3822=0, -2003=0, -520=0, -1157=0, -3659=0, -1856=0, -3774=0, -2521=0, -3096=0, -1722=0, -3023=0, -3486=0, -1434=0, -129=0, -2181=0, -3936=0, -4120=0, -3873=0, -3399=0, -1774=0, -4051=0, -4658=0, -4844=0, -1090=0, -975=0, -5058=0, -4676=0, -4187=0, -1074=0, 40=0, -48=0, -4536=0, -1237=0, -3730=0, -3185=0, -2947=0, -146=0, -2796=0, -5119=0, -3529=0, -390=0, -3447=0, -845=0, -2198=0, -1332=0, -2442=0, -2588=0, -3079=0, -2941=0, -1627=0, -3470=0, -1418=0, -2635=0, -1497=0, -2163=0, -3240=0, -1923=0, -763=0, -4431=0, -2362=0, -327=0, -685=0, -473=0, -2244=0, -3675=0, -1612=0, -2505=0, -3339=0, -2703=0, -797=0, -651=0, -2504=0, -1173=0, -3040=0, -603=0, -1904=0, -2421=0, -3806=0, -3715=0, -2867=0, -213=0, -990=0, -503=0, -3514=0, -1106=0, -2260=0, -1462=0, -2908=0, -4220=0, -4082=0, -945=0, -4762=0, -1564=0, -992=0, -1742=0, -373=0, -5023=0, -588=0, -3284=0, -860=0, -2997=0, -99=0, -1758=0, -3600=0, -145=0, -4477=0, -2197=0, -1058=0, -4608=0, -3888=0, -3038=0, -32=0, -3257=0, -4966=0, -2851=0, -1951=0, -2328=0, -4308=0, -3169=0, -5104=0, -2778=0, -1549=0, -4747=0, -4363=0, -2636=0, -929=0, -536=0, -4485=0, -2981=0, -259=0, -4599=0, -4721=0, -457=0, -3660=0, -2147=0, -832=0, -5131=0, -1399=0, -15=0, -2374=0, -2018=0, -2651=0, -4414=0, -1481=0, -4170=0, -1304=0, -4003=0, -3095=0, -310=0, -927=0, 56=0, -4936=0, -4552=0, -1220=0, -2573=0, -440=0, -2766=0, -2492=0, -1576=0, -3904=0, -1008=0, -4258=0, -3577=0, -2622=0, -4691=0, -4019=0, 73=0, -2719=0, -781=0, -4869=0, -667=0, -3209=0, -1643=0, -1888=0, -5025=0, -2817=0, -554=0, -718=0, -3743=0, -1121=0, -1691=0, -815=0, -2277=0, -4624=0, -3584=0, -730=0, -4780=0, -3299=0, -4885=0, -2130=0, -3110=0, -2084=0, -2665=0, -5007=0, -4569=0, -3861=0, -2391=0, -2551=0, -3154=0, -4380=0, -4903=0, -179=0, -276=0, -2880=0, -3845=0, -2034=0, -878=0, -1793=0, -2231=0, -3790=0, -4066=0, -4153=0, -82=0, -1679=0, -4982=0, -5086=0, -1821=0, 90=0, -633=0, -1382=0, -3056=0, -3644=0, -2736=0, -1529=0, -1967=0, -2067=0, -3356=0, -5088=0, -4325=0, -4502=0, -4448=0, -4241=0, -3691=0, -1043=0, -3560=0, 10=0, -1188=0, -4640=0, -2164=0, -1301=0, -701=0, -4444=0, -3628=0, -112=0, -2814=0, -340=0, -1985=0, -3704=0, -747=0, -1855=0, -1140=0, -5009=0, -4293=0, -1706=0, -3838=0, -3026=0, -1771=0, -5118=0, -4052=0, -3483=0, -2538=0, -4135=0, -2734=0, -5145=0, -2115=0, -3253=0, -913=0, -4184=0, -3414=0, -1315=0, 27=0, -2046=0, -4843=0, -1981=0, -4639=0, -63=0, -827=0, -2680=0, -4586=0, -181=0, -4797=0, -3643=0, -2896=0, -3318=0, -2925=0, -2103=0, -1660=0, -1205=0, -898=0, -242=0, -963=0, -1721=0, -2347=0, -3949=0, -3127=0, -2518=0, -3288=0, -567=0, -1384=0, -1007=0, 88=0, -2457=0, -2749=0, -4814=0, -3972=0, -1595=0, -1510=0, -2592=0, -5070=0, -3428=0, -3578=0, -3746=0, -4916=0, -4119=0, -3517=0, -4395=0, -4342=0, -1250=0, -636=0, -812=0, -4709=0, -291=0, -324=0, -3467=0, -3097=0, -14=0, -1924=0, -2799=0, -4428=0, -1158=0, -762=0, -4037=0, -47=0, -2241=0, -474=0, -486=0, -3991=0, -2591=0, -2000=0, -3823=0, -1285=0, -4228=0, -1786=0, -230=0, -3271=0, -519=0, -974=0, -3872=0, -4521=0, -2408=0, -2961=0, -1859=0, -3616=0, -3398=0, -4200=0, -2054=0, -1435=0, -3792=0, -686=0, -376=0, -307=0, -2441=0, -3371=0, -4411=0, -2940=0, -1645=0, -3168=0, -132=0, -1093=0, -1236=0, -3184=0, -4749=0, -1824=0, -3964=0, -4933=0, -4537=0, -3903=0, -2946=0, -5059=0, -1545=0, -1935=0, 39=0, -2363=0, -3658=0, -2502=0, -5041=0, -1496=0, -1400=0, -3080=0, -621=0, -4277=0, -3223=0, -2702=0, -1174=0, -2392=0, -5085=0, -1741=0, -2420=0, -3153=0, -4083=0, -4217=0, -600=0, -31=0, -3340=0, -2652=0, -1219=0, -4672=0, -1419=0, -4167=0, -3059=0, -2196=0, -4553=0, -392=0, -881=0, -3777=0, -4326=0, -4949=0, -1335=0, -3712=0, -4006=0, -258=0, -1040=0, -4362=0, -5042=0, -458=0, -668=0, -502=0, -863=0, -3287=0, -535=0, -3444=0, -4985=0, -2489=0, -4505=0, -2978=0, -4765=0, -1461=0, -2868=0, -148=0, -1109=0, -3043=0, -3919=0, -1950=0, -2070=0, -4427=0, -3383=0, -4671=0, -2716=0, -2375=0, -1480=0, -323=0, -4309=0, -3807=0, -2781=0, -794=0, 55=0, -930=0, -3397=0, -1284=0, -3548=0, -1561=0, -4261=0, -1353=0, -2907=0, -409=0, -3674=0, -585=0, -3206=0, -4598=0, -2180=0, -2637=0, -1806=0, -1071=0, -1889=0, -197=0, -4461=0, -4244=0, -357=0, -4884=0, -865=0, -4969=0, -3585=0, -1579=0, -441=0, -5103=0, -2474=0, -4868=0, -1690=0, -292=0, -3111=0, -5026=0, -2213=0, -3237=0, -3862=0, -2274=0, -719=0, -4688=0, -3429=0, -3498=0, -2331=0, -2131=0, -2104=0, -2031=0, -4396=0, -2664=0, -79=0, -4858=0, -2623=0, -3761=0, -2554=0, -2148=0, -4781=0, -4067=0, -96=0, -780=0, -4994=0, 72=0, -165=0, -275=0, -3254=0, -4379=0, -4022=0, -2852=0, -4152=0, -2881=0, -3601=0, -4900=0, -2230=0, -4570=0, -1267=0, -2994=0, -1615=0, -2314=0, -3846=0, -654=0, -2820=0, -3688=0, -551=0, -2836=0, -1755=0, -1370=0, 11=0, -729=0, -2291=0, -3199=0, -3357=0, -1526=0, -2763=0, -4724=0, -4706=0, -2087=0, -3933=0, -5129=0, -1966=0, -3561=0, -946=0, -1189=0, 89=0, -1025=0, -1124=0, -4488=0, -2051=0, -3302=0, -2537=0, -4227=0, -2047=0, -5117=0, -3887=0, -2735=0, -1302=0, -3965=0, -2834=0, -1495=0, -341=0, -2175=0, -1594=0, -3224=0, -3372=0, -2165=0, -568=0, -2945=0, -113=0, -895=0, -4445=0, -2346=0, -3839=0, -1772=0, -1249=0, -1206=0, -4053=0, -3413=0, -180=0, -1875=0, -702=0, -4842=0, -5008=0, -3745=0, -3317=0, -1661=0, 38=0, 28=0, -914=0, -3808=0, -4185=0, -426=0, -3627=0, -3427=0, -1980=0, -2519=0, -2456=0, 87=0, -1006=0, -3973=0, -1890=0, -1511=0, -2102=0, -2924=0, -2939=0, -3128=0, -198=0, -2275=0, -2813=0, -1984=0, -4689=0, -746=0, -4708=0, -4815=0, -1720=0, -4343=0, -1316=0, -4723=0, -3484=0, -3516=0, -3705=0, -4118=0, -813=0, -1839=0, -290=0, -4394=0, -2116=0, -964=0, -1176=0, -64=0, -3579=0, -2364=0, -1286=0, -13=0, -1159=0, -4429=0, -2409=0, -485=0, -475=0, -3902=0, -4656=0, -2750=0, -325=0, -3098=0, -1925=0, -4917=0, -3950=0, -1629=0, -2962=0, -3547=0, -2001=0, -4934=0, -2053=0, -4951=0, -1787=0, -847=0, -46=0, -687=0, -1858=0, -3617=0, -518=0, -3990=0, -4201=0, -3025=0, -1646=0, -1072=0, -1235=0, -2679=0, -3728=0, -3270=0, -4520=0, -989=0, -3657=0, -2440=0, -4294=0, -4638=0, -1664=0, -1546=0, -3008=0, -4538=0, -2503=0, -1905=0, -1139=0, -2798=0, -601=0, -2419=0, -2653=0, -2179=0, -4276=0, -761=0, -4036=0, -2608=0, -1705=0, -2590=0, -1056=0, -5146=0, -1401=0, -30=0, -4748=0, -897=0, -4674=0, -1934=0, -620=0, -828=0, -1854=0, -214=0, -1092=0, -2016=0, -5043=0, -1740=0, -669=0, -880=0, -4984=0, -862=0, -3531=0, -4243=0, -29=0, -2575=0, -5084=0, -3530=0, -459=0, -3152=0, -1562=0, -2780=0, -795=0, -1175=0, -4084=0, -4260=0, -2393=0, -3081=0, -2132=0, -375=0, -4361=0, -80=0, -3445=0, -3286=0, -4412=0, -4504=0, -308=0, -1334=0, -3713=0, -3934=0, -2869=0, -257=0, -973=0, -1041=0, -4479=0, -2258=0, -501=0, -3776=0, -1614=0, -4673=0, -2069=0, -1218=0, -1630=0, -3042=0, -2979=0, -2242=0, -988=0, -3382=0, 54=0, -131=0, -1108=0, -3918=0, -3673=0, -1436=0, -5060=0, -1949=0, -1807=0, -231=0, -2882=0, -1460=0, -4218=0, -2906=0, -1680=0, -1352=0, -2717=0, -408=0, -704=0, -1123=0, -3207=0, -4021=0, -4487=0, -3341=0, -4597=0, -4168=0, -931=0, -4764=0, -4554=0, -4782=0, -779=0, -4068=0, -4883=0, -5102=0, -3689=0, -4344=0, -1479=0, -864=0, -2376=0, -1578=0, -358=0, -442=0, -552=0, -2032=0, -4117=0, -653=0, -728=0, -3586=0, -4462=0, -3183=0, -2149=0, -3871=0, -4867=0, -3358=0, -97=0, -3301=0, -4857=0, -5027=0, -1756=0, -4151=0, -1190=0, 12=0, -164=0, -4623=0, -4310=0, -2330=0, -3642=0, -2212=0, -3760=0, -2553=0, -4968=0, -4993=0, -1965=0, -3238=0, -1266=0, -2663=0, -2313=0, -534=0, -3499=0, -2473=0, -3602=0, -2819=0, -1823=0, 71=0, -4005=0, -4571=0, -4378=0, -2764=0, -2853=0, -3058=0, -2229=0, -274=0, -3255=0, -1022=0, -2995=0, -1874=0, -425=0, -4327=0, -4707=0, -4134=0, -4798=0, -1369=0, -3562=0, -1024=0, -1527=0, -635=0, -2490=0, -3112=0, -2086=0, -2701=0, -3847=0, -2835=0, -4901=0, -5128=0, -947=0, -1727=0, -2602=0, -1402=0, -4499=0, -1494=0, -61=0, -1761=0, -3121=0, -3481=0, -2686=0, 86=0, -3426=0, -3886=0, -4841=0, -3970=0, -680=0, -2944=0, -378=0, -1085=0, 29=0, -2938=0, -737=0, -3710=0, -313=0, -2280=0, -2203=0, -4604=0, -1150=0, -4393=0, -4295=0, -630=0, -3542=0, -2516=0, -3809=0, -2837=0, -427=0, -4328=0, -3633=0, -224=0, -191=0, -2029=0, -3412=0, -2617=0, -2724=0, -1826=0, -4564=0, -4141=0, -4230=0, -2630=0, -3068=0, -4711=0, -1256=0, -3373=0, -1891=0, -517=0, -2219=0, -2439=0, -4092=0, -965=0, -2349=0, -1979=0, -3229=0, -4031=0, -802=0, -3962=0, -1337=0, -1005=0, -126=0, -1876=0, -2081=0, -1689=0, -1654=0, -4190=0, -2785=0, -362=0, -1478=0, -3611=0, -3396=0, -4979=0, -3105=0, -1199=0, -4661=0, -2158=0, -411=0, -2671=0, -1796=0, -1386=0, -4206=0, -3465=0, -1543=0, -175=0, -2975=0, -3320=0, -2365=0, -1841=0, -2923=0, -2410=0, -4694=0, -484=0, -208=0, -3143=0, -647=0, -4800=0, -3442=0, -4312=0, -2296=0, -1169=0, -4751=0, -817=0, -4279=0, -3733=0, -3526=0, -5036=0, -1926=0, -12=0, -1134=0, 37=0, -1420=0, -4914=0, -3985=0, -2455=0, -3190=0, -1906=0, -476=0, -2752=0, -248=0, -3243=0, -1624=0, -1055=0, -2691=0, -2822=0, -565=0, -1152=0, -3901=0, -4125=0, -4046=0, -1861=0, -2247=0, -3020=0, -1321=0, -2569=0, -4409=0, -1933=0, -915=0, -2235=0, -297=0, -110=0, -582=0, -3947=0, -1746=0, -4931=0, -2500=0, -3304=0, -5051=0, -2707=0, -2418=0, -394=0, -1272=0, -900=0, -2097=0, -1589=0, -28=0, -3848=0, -2064=0, -3931=0, -2905=0, -4531=0, -2548=0, -1559=0, -395=0, -2783=0, -648=0, -346=0, -3212=0, -1524=0, -3779=0, -2959=0, -159=0, -4000=0, -4482=0, -2570=0, -948=0, -4223=0, -3381=0, -4263=0, -4898=0, -2316=0, -500=0, -4816=0, -94=0, -4767=0, -735=0, -1998=0, -972=0, -3664=0, -3159=0, -5018=0, -663=0, -3572=0, -1307=0, -1948=0, -1731=0, -2883=0, -2585=0, -4108=0, -1573=0, -598=0, -770=0, -2768=0, -4679=0, -2263=0, -3794=0, -1437=0, -2976=0, -4474=0, -835=0, 53=0, -5109=0, -3395=0, -679=0, -2125=0, -2692=0, -329=0, -3596=0, -3718=0, -1355=0, -4783=0, -3342=0, -1609=0, -5069=0, -3035=0, -2870=0, -2394=0, -4061=0, -4158=0, -1225=0, -3917=0, -3174=0, -1038=0, -281=0, -2974=0, -713=0, -5134=0, -45=0, -4856=0, -4947=0, -3763=0, -2377=0, -4629=0, -4173=0, -443=0, -2264=0, -3290=0, -752=0, -614=0, -142=0, -4345=0, -1372=0, -2739=0, -3694=0, 70=0, -241=0, -1776=0, -1964=0, -3557=0, -2533=0, -2472=0, -3136=0, -4311=0, -264=0, -1069=0, -3648=0, -867=0, 13=0, -207=0, -549=0, -4587=0, -4377=0, -4016=0, -3359=0, -932=0, -3824=0, -1103=0, -176=0, -77=0, -2487=0, -3090=0, -1021=0, -4866=0, -3075=0, -4280=0, -2049=0, -4647=0, -533=0, -4101=0, -3053=0, -2295=0, -4799=0, -4442=0, -2186=0, -3511=0, -1674=0, -1459=0, -3273=0, -695=0, -4077=0, -4726=0, -4613=0, -1086=0, -2646=0, -2992=0, -3870=0, -1242=0, -4963=0, -1290=0, -2800=0, -2854=0, -5004=0, -4246=0, -4581=0, -2333=0, -5093=0, -3496=0, -1638=0, -4882=0, -1271=0, -5075=0, 30=0, -736=0, -3482=0, -2937=0, -1151=0, -3374=0, -2281=0, -4840=0, -1963=0, -2348=0, -4015=0, -629=0, -4784=0, -767=0, -314=0, -4093=0, -3244=0, 85=0, -3885=0, -681=0, -3971=0, -4498=0, -1403=0, -225=0, -3541=0, -3711=0, -4329=0, -3189=0, -849=0, -5052=0, -247=0, -4459=0, -1200=0, -62=0, -2517=0, -4865=0, -3825=0, -2838=0, -2045=0, -4392=0, -4351=0, -2202=0, -3632=0, -3289=0, -3948=0, -916=0, -1640=0, -3963=0, -2631=0, -1762=0, -3425=0, -125=0, -1655=0, -4603=0, -4229=0, -3067=0, -4565=0, -899=0, -4710=0, -1477=0, -2725=0, -1877=0, -3319=0, -4191=0, -784=0, 36=0, -2784=0, -566=0, -2670=0, -444=0, -2603=0, -803=0, -2815=0, -1004=0, -1336=0, -44=0, -1726=0, -1070=0, -1509=0, -4978=0, -3747=0, -516=0, -3321=0, -2922=0, -4915=0, -2960=0, -3612=0, -1322=0, -296=0, -2236=0, -3466=0, -987=0, -410=0, -2218=0, -111=0, -2366=0, -1385=0, -4855=0, -3793=0, -1607=0, -11=0, -1797=0, -3900=0, -2080=0, -696=0, -2706=0, -3106=0, -4750=0, -1927=0, -4140=0, -2126=0, -3734=0, -646=0, -2501=0, -5037=0, -174=0, -4313=0, -3443=0, -1133=0, -2438=0, -1745=0, -4278=0, -4695=0, -3984=0, -3142=0, -209=0, -483=0, -4801=0, -1493=0, -1825=0, -2015=0, -2769=0, -1588=0, -1932=0, -4124=0, -460=0, -1860=0, -4047=0, -4932=0, -4410=0, -2690=0, -2411=0, -1421=0, -4207=0, -2454=0, -377=0, -477=0, -2753=0, -1273=0, -1544=0, -1170=0, -393=0, -583=0, -2096=0, -3679=0, -1153=0, -3122=0, -3525=0, -4532=0, -1907=0, -818=0, -2568=0, -2417=0, -4360=0, -3019=0, -1711=0, -836=0, -2248=0, -1525=0, -714=0, -3778=0, -1560=0, -734=0, -1623=0, -347=0, -2904=0, -2142=0, -2063=0, -971=0, -95=0, -4473=0, -3849=0, -3343=0, -3573=0, -3158=0, -1730=0, -2488=0, -2782=0, -4062=0, -1999=0, -4899=0, -4157=0, -882=0, -2315=0, -4481=0, -3380=0, -27=0, -1675=0, -1695=0, -1039=0, -662=0, -1438=0, -461=0, -499=0, -1255=0, -4766=0, -1119=0, -949=0, -4948=0, -2014=0, -4548=0, -1224=0, -584=0, -1840=0, -2754=0, -3034=0, -5003=0, -4662=0, -4208=0, -4107=0, -1608=0, -3916=0, -4817=0, -280=0, -4680=0, -5108=0, -4262=0, -3597=0, -1572=0, -2395=0, -2884=0, -2159=0, -1508=0, -4296=0, -1908=0, -158=0, -2977=0, -2584=0, -4426=0, -192=0, -2471=0, -599=0, -2871=0, -3719=0, -141=0, -4768=0, -5135=0, -78=0, -550=0, -4628=0, -4515=0, -2265=0, -2993=0, -3394=0, -4881=0, -5092=0, -4078=0, -4612=0, 14=0, -4245=0, -3695=0, -3173=0, -4376=0, -933=0, -1291=0, -785=0, -866=0, -3230=0, -4460=0, -1354=0, -2534=0, -2030=0, -613=0, -1102=0, -330=0, -4725=0, -3137=0, -3344=0, -4443=0, -2185=0, -2740=0, -3510=0, -4839=0, -1458=0, -3411=0, -5019=0, -4174=0, -1308=0, -4646=0, -1777=0, -3052=0, -2294=0, -3932=0, 52=0, -2647=0, -2378=0, -3091=0, -1241=0, -848=0, -4359=0, -3074=0, -3556=0, -2332=0, -4962=0, -2547=0, -2685=0, -3303=0, -1184=0, -2618=0, -3762=0, -1892=0, -1020=0, -3869=0, -3272=0, -2050=0, -1639=0, -2855=0, -4102=0, -3497=0, -532=0, -2821=0, -769=0, -3213=0, -1371=0, 69=0, -3884=0, -5149=0, -852=0, -1878=0, -4188=0, -2027=0, -1087=0, -4094=0, -3227=0, -3765=0, -1962=0, -2604=0, -831=0, -1339=0, -59=0, -1813=0, 100=0, -4582=0, -279=0, -4440=0, -682=0, -2990=0, -4033=0, -1201=0, -3826=0, -1083=0, -2099=0, -2936=0, -4350=0, -3188=0, -2351=0, -2453=0, -4330=0, -1725=0, -2856=0, -4895=0, -1136=0, -246=0, -1388=0, -226=0, -5074=0, -4864=0, -1790=0, -1809=0, -4929=0, -2514=0, -3750=0, -515=0, -5053=0, -3899=0, -2498=0, -1319=0, -2412=0, -917=0, -800=0, 35=0, -4692=0, -360=0, -2787=0, -1404=0, -1977=0, -2201=0, -2722=0, -4602=0, -3544=0, -617=0, -2669=0, -2839=0, -4854=0, -380=0, -3375=0, -3141=0, -3005=0, -1089=0, -697=0, -3261=0, -3322=0, -751=0, -3463=0, -1641=0, -3693=0, -1828=0, -1476=0, -3107=0, -4517=0, -1003=0, -4139=0, -3070=0, -3960=0, -445=0, -3022=0, -1541=0, -5038=0, -2705=0, -2367=0, -4912=0, -396=0, -4713=0, -2127=0, -3780=0, -75=0, -1744=0, -4204=0, -1947=0, -2245=0, -1036=0, -902=0, -1843=0, -2437=0, -2921=0, -4659=0, -2587=0, -986=0, -263=0, 84=0, -1775=0, -2298=0, -4048=0, -2012=0, -4550=0, -3424=0, -4123=0, -3731=0, -3968=0, -2217=0, -1422=0, -1591=0, -210=0, -1492=0, -4314=0, -3440=0, -4677=0, -3306=0, -1863=0, -2160=0, -4785=0, -1928=0, -766=0, -2416=0, -10=0, -4533=0, -1710=0, -3987=0, -3479=0, -2632=0, -4802=0, -4232=0, -3613=0, -2352=0, -2143=0, -1053=0, -3241=0, -1171=0, -563=0, -108=0, -1154=0, -91=0, -3945=0, -128=0, -580=0, -3528=0, -3123=0, -4728=0, -970=0, -5107=0, -798=0, -1996=0, -650=0, -3275=0, -715=0, -885=0, -1729=0, -1357=0, -950=0, -2572=0, -26=0, -4549=0, -3796=0, -1626=0, -1557=0, -3678=0, -413=0, -144=0, 68=0, -193=0, -1457=0, -4476=0, -3376=0, -4297=0, -3258=0, -3157=0, -4248=0, -4156=0, -1105=0, -4221=0, -3850=0, -4106=0, -478=0, -2261=0, -4818=0, -92=0, -547=0, -1374=0, -3574=0, -5020=0, -3513=0, -262=0, -4002=0, -3716=0, -4945=0, -3929=0, -3598=0, -1439=0, -498=0, -664=0, -4171=0, -2144=0, -311=0, -4063=0, -3037=0, -4375=0, -3172=0, -1507=0, -2531=0, -1305=0, -1254=0, -1120=0, -5132=0, -833=0, -2470=0, -4896=0, -596=0, -363=0, -2885=0, -1611=0, -1694=0, -2318=0, -4965=0, -2648=0, -2415=0, -3292=0, -1909=0, -3663=0, -3210=0, 15=0, -2737=0, -1223=0, -934=0, -2335=0, -1978=0, -2767=0, -4079=0, -4501=0, -4627=0, -4611=0, -3868=0, -4769=0, -3138=0, -1288=0, -3328=0, -1185=0, -2043=0, -161=0, -4457=0, -869=0, -4407=0, -2083=0, -5006=0, -3810=0, -4265=0, -4880=0, -2972=0, -3092=0, -3494=0, -43=0, -1575=0, -4737=0, -4566=0, -3006=0, -2278=0, -733=0, -1676=0, -1202=0, -2184=0, 51=0, -1759=0, -3410=0, -3393=0, -4358=0, -3749=0, -1522=0, -3345=0, -2485=0, -178=0, -4981=0, -2619=0, -4838=0, -4282=0, -2550=0, -2903=0, -4894=0, -851=0, -632=0, -531=0, -2112=0, -2684=0, -2802=0, -60=0, -2396=0, -3647=0, -344=0, -768=0, -4753=0, -1067=0, -1794=0, -4583=0, -3559=0, -4018=0, -1656=0, -5091=0, -3915=0, -3708=0, -428=0, -1019=0, -2824=0, -1893=0, -2379=0, -1812=0, -2066=0, -1240=0, -4103=0, -3055=0, -4645=0, -3077=0, -4032=0, -1791=0, -3409=0, -1338=0, -3827=0, -312=0, -5150=0, -4349=0, -1724=0, -1879=0, -683=0, -379=0, 34=0, -4516=0, -4189=0, -1084=0, -1657=0, -3709=0, -3480=0, -1760=0, -2431=0, -58=0, -1961=0, -3631=0, -2605=0, -5054=0, -1810=0, -4095=0, -2515=0, -2028=0, -2452=0, -4643=0, -2857=0, -1475=0, -3969=0, -3883=0, -3543=0, -3124=0, -446=0, -564=0, -1590=0, -2098=0, -278=0, -2350=0, -4441=0, -4786=0, -245=0, -2991=0, -750=0, -4853=0, -1405=0, -514=0, -2200=0, -2723=0, -1827=0, -5073=0, -918=0, -616=0, -2683=0, -801=0, -2668=0, -2786=0, -3764=0, -631=0, -1002=0, -2413=0, -4231=0, -361=0, -3069=0, -3108=0, -1946=0, -2082=0, -3323=0, -4138=0, -3961=0, -2436=0, -127=0, -3260=0, -3228=0, -1135=0, -4049=0, -4205=0, 16=0, -4712=0, -1709=0, -3140=0, -1088=0, -1222=0, -698=0, -2704=0, -3360=0, -4484=0, -581=0, -2013=0, -1976=0, -2633=0, -4601=0, -5039=0, -3614=0, -1320=0, -462=0, 83=0, -3242=0, -4425=0, -1424=0, -2216=0, -1387=0, -3527=0, -2872=0, -3439=0, -2499=0, -3898=0, -5056=0, -227=0, -2297=0, -1491=0, -2920=0, -2935=0, -4534=0, -4879=0, -4331=0, -883=0, -3187=0, -1542=0, -765=0, -1842=0, -4408=0, -4315=0, -3441=0, -1054=0, -109=0, -816=0, -1423=0, -4693=0, -3795=0, -4930=0, -211=0, -3986=0, -1408=0, -3021=0, -2823=0, -4122=0, -901=0, -985=0, -9=0, -4803=0, -1625=0, -4913=0, -3946=0, -3677=0, -3305=0, -2234=0, -3464=0, -1929=0, -2246=0, -1862=0, -2161=0, -2649=0, -3274=0, -2958=0, -412=0, -4483=0, -3930=0, -2957=0, -3377=0, -597=0, -2549=0, -4819=0, -1728=0, -2689=0, -2065=0, -4897=0, -1239=0, -1997=0, -4064=0, -1306=0, -884=0, -4001=0, -3851=0, -2571=0, -479=0, -4752=0, -4391=0, -4105=0, -3036=0, -3259=0, -3156=0, -2233=0, -716=0, -1558=0, -2279=0, -3171=0, -1104=0, -732=0, -1356=0, -480=0, -4222=0, -1456=0, -3599=0, -5021=0, -4475=0, -834=0, -969=0, -261=0, -93=0, -2586=0, -3717=0, -2886=0, -3575=0, -1037=0, -1610=0, -1693=0, -3512=0, -4678=0, -2183=0, -3662=0, -2262=0, -3732=0, -1155=0, -2317=0, -665=0, -783=0, -2973=0, -1910=0, 67=0, -25=0, -4660=0, -4298=0, -1253=0, -1506=0, -2145=0, -4424=0, -194=0, -5106=0, -4374=0, -4172=0, -4017=0, -2414=0, -3867=0, -429=0, -1373=0, -4500=0, -3211=0, -1068=0, -1455=0, -42=0, -935=0, -2334=0, -3291=0, -4964=0, -497=0, -4727=0, -3329=0, -5133=0, -2620=0, -3646=0, -4736=0, -4567=0, -3392=0, -530=0, -615=0, -3093=0, -2469=0, -2380=0, -3495=0, -2667=0, -328=0, -4610=0, -2532=0, -4264=0, -4770=0, -3007=0, -4458=0, -160=0, -4080=0, -76=0, -1186=0, -4946=0, -868=0, -548=0, -3811=0, -1574=0, -2044=0, -4155=0, -2801=0, -2128=0, -1677=0, -4357=0, -4281=0, -3748=0, -1523=0, -295=0, -951=0, -177=0, -1203=0, -2486=0, -2738=0, -5090=0, -2048=0, -3054=0, -4644=0, -1270=0, 50=0, -1811=0, -4980=0, -5005=0, -4247=0, -2902=0, -3558=0, -850=0, -3914=0, -3346=0, -3076=0, -143=0, -1289=0, -4626=0, -2397=0, -1018=0, -649=0, -799=0, -345=0, -1795=0, -1894=0, -4837=0, -513=0, -3454=0, -4012=0, -1146=0, -1539=0, -2565=0, -3408=0, -317=0, -3591=0, -1960=0, -2858=0, -4194=0, -4617=0, -1815=0, -2804=0, -4129=0, -3637=0, -936=0, -2321=0, -2988=0, -2430=0, -122=0, -1341=0, -3737=0, -3522=0, -5097=0, -3828=0, -2613=0, -1715=0, 82=0, -3767=0, -57=0, -4739=0, -4348=0, -3049=0, -1406=0, -756=0, -3882=0, -4787=0, -447=0, -2170=0, -2223=0, -171=0, -2971=0, -1474=0, -1360=0, -919=0, -626=0, -4406=0, -2300=0, -2873=0, -4804=0, -5032=0, -578=0, -4422=0, -1260=0, -1001=0, -4560=0, -854=0, -2626=0, -3943=0, -3117=0, 33=0, -2025=0, -4958=0, -3194=0, -2093=0, -4852=0, -4650=0, -3461=0, -3997=0, -3897=0, -3324=0, -448=0, -4267=0, -1945=0, -4559=0, -236=0, -1081=0, -382=0, -1471=0, -1765=0, -3147=0, -1344=0, -2121=0, -398=0, -3361=0, -3438=0, -106=0, -301=0, -5112=0, -3652=0, -1490=0, -1116=0, -1585=0, -2511=0, -5047=0, -4145=0, -1034=0, -2239=0, -187=0, -1669=0, -4438=0, -4878=0, -1425=0, -3782=0, -561=0, -3263=0, -774=0, -4633=0, -3698=0, -3103=0, -984=0, 98=0, -4234=0, -3477=0, -464=0, -1211=0, -741=0, -2010=0, 17=0, -2512=0, -3538=0, -4715=0, -2728=0, -463=0, -4544=0, -4332=0, -1325=0, -1604=0, -3958=0, -4925=0, -821=0, -3217=0, -1359=0, -333=0, -1650=0, -3982=0, -659=0, -1276=0, -1930=0, -2711=0, -2284=0, -2496=0, -8=0, -2674=0, -252=0, -3247=0, -1195=0, -2756=0, -2451=0, -3752=0, -4162=0, -1409=0, -3378=0, -3308=0, -4543=0, -3017=0, -4043=0, -2077=0, -839=0, -4698=0, -3164=0, -2435=0, -1845=0, -4943=0, -4251=0, -4316=0, -285=0, -3163=0, -2137=0, -724=0, -1750=0, -3592=0, -904=0, -1505=0, -1229=0, -822=0, -4755=0, -415=0, -2956=0, -203=0, -1685=0, 1=0, -3668=0, -4926=0, -3086=0, -2398=0, -1050=0, -1846=0, -2581=0, -3682=0, -2826=0, -3200=0, -4511=0, -481=0, -3553=0, -4730=0, -350=0, -1634=0, -1911=0, -2840=0, -4618=0, -2887=0, -4592=0, -4455=0, -4683=0, -4591=0, -4299=0, -968=0, -2658=0, -4991=0, -1994=0, -887=0, -545=0, -2060=0, -3852=0, -3294=0, -73=0, -2529=0, -3607=0, -3407=0, -2338=0, -1099=0, -24=0, -2268=0, -3798=0, -1735=0, -709=0, -2381=0, -2772=0, -1294=0, -1620=0, -1181=0, -5065=0, -1865=0, -1520=0, -4910=0, -3065=0, -3134=0, -2788=0, -1519=0, -4211=0, -3866=0, -952=0, -3004=0, -806=0, -5014=0, -871=0, -496=0, -4356=0, -3248=0, -2041=0, -2110=0, -3812=0, -495=0, -4373=0, -3996=0, -1130=0, -3330=0, -4975=0, -2642=0, -1944=0, -2304=0, -3568=0, -5138=0, -430=0, -3567=0, -529=0, -610=0, -2483=0, -1164=0, -4771=0, -2154=0, -4097=0, 66=0, -5123=0, -4665=0, -416=0, -268=0, -2919=0, -5079=0, -2207=0, -3722=0, -1830=0, -155=0, -1389=0, -2468=0, -220=0, -4577=0, -1246=0, -788=0, -4470=0, -1311=0, -4820=0, 49=0, -365=0, -4892=0, -3347=0, -1065=0, -3913=0, -2597=0, -4494=0, -1895=0, -5000=0, -4836=0, -4112=0, -41=0, -1440=0, -1555=0, -2224=0, -1017=0, -1800=0, -4390=0, -2190=0, -138=0, -1454=0, -3492=0, -691=0, -2544=0, -3277=0, -2251=0, -2543=0, -2743=0, -3507=0, -3178=0, -2696=0, -4073=0, -1780=0, -594=0, -4195=0, -1082=0, -56=0, -1814=0, -3738=0, -1407=0, -4957=0, -5096=0, -937=0, -2320=0, -2222=0, -2989=0, -853=0, -3232=0, -170=0, -2559=0, 32=0, -2803=0, -2026=0, -3455=0, -3193=0, -3118=0, -1340=0, -2859=0, -2092=0, -625=0, -1259=0, -121=0, -2901=0, -4607=0, 81=0, -692=0, -449=0, -4423=0, -755=0, -4928=0, -4738=0, -3048=0, -1296=0, -2171=0, -318=0, -237=0, -4347=0, -381=0, -1896=0, -2627=0, -4266=0, -1000=0, -5140=0, -3829=0, -1699=0, -3031=0, -4805=0, -579=0, -5033=0, -3751=0, -1584=0, -188=0, -1470=0, -4632=0, -1829=0, -1473=0, -4089=0, -300=0, -1326=0, -4851=0, -4651=0, -4561=0, -4128=0, -2614=0, -4300=0, -3896=0, -3462=0, -3325=0, -4405=0, -4144=0, -4545=0, -4333=0, -3262=0, -1540=0, -3699=0, -334=0, -1210=0, -4059=0, -3537=0, -397=0, -1196=0, -3781=0, -2336=0, -3437=0, -3362=0, -3478=0, -5111=0, -1098=0, -4526=0, -251=0, -2874=0, -1035=0, -2729=0, -4233=0, -1489=0, 18=0, -4439=0, -74=0, -4714=0, -1358=0, -1670=0, -740=0, -903=0, -465=0, -7=0, -1603=0, -2299=0, -2955=0, -3307=0, 99=0, -3218=0, -2673=0, -3983=0, -2122=0, -1931=0, -2434=0, -5048=0, -3521=0, -1749=0, -4250=0, -1052=0, -2513=0, -3636=0, -2429=0, -1277=0, -4699=0, -3944=0, -2450=0, -2497=0, -2285=0, -2076=0, -2011=0, -1651=0, -1115=0, -4788=0, -1426=0, -3959=0, -2353=0, -1844=0, -1410=0, -3379=0, -4042=0, -3146=0, -983=0, -3881=0, -562=0, -2757=0, -3162=0, -3201=0, -4317=0, -1686=0, -284=0, -886=0, -90=0, -4528=0, -351=0, -3593=0, -2319=0, -4990=0, -2744=0, -3087=0, -2773=0, -1619=0, -1051=0, -1228=0, -4249=0, -4729=0, -2059=0, 2=0, -4161=0, -4510=0, -482=0, -2934=0, -3797=0, -658=0, -2354=0, -3683=0, -2710=0, -1182=0, -4027=0, -2841=0, -1375=0, -4999=0, -5066=0, -4821=0, -1975=0, -1995=0, -1295=0, -2467=0, -23=0, -4527=0, 65=0, -4927=0, -840=0, -643=0, -823=0, -3293=0, -2695=0, -1635=0, -773=0, -546=0, -4772=0, -1864=0, -1504=0, -2269=0, -4877=0, -528=0, -2138=0, -967=0, -107=0, -1734=0, -3608=0, -2337=0, -3853=0, -3928=0, -414=0, -3363=0, -2657=0, -4974=0, 48=0, -870=0, -4578=0, -3249=0, -2042=0, -4058=0, -3813=0, -1129=0, -4178=0, -5078=0, -3865=0, -2206=0, -807=0, -154=0, -4098=0, -1066=0, -431=0, -40=0, -267=0, -2252=0, -4355=0, -4590=0, -609=0, -4911=0, -3651=0, -1959=0, -3723=0, -2382=0, -1521=0, -4944=0, -2530=0, -3406=0, -3135=0, -4011=0, -1441=0, -3064=0, -2918=0, -2109=0, -352=0, -4372=0, -1390=0, -4456=0, -4111=0, -2643=0, -1453=0, -676=0, -204=0, -5139=0, -3348=0, -3912=0, -3667=0, -5122=0, -2172=0, -4893=0, -4493=0, -789=0, -3552=0, -3569=0, -221=0, -1714=0, -3276=0, -1016=0, -432=0, -3766=0, -2155=0, -1165=0, -3331=0, -2484=0, -595=0, -3493=0, -1880=0, -4283=0, -2189=0, -2598=0, -4389=0, -2900=0, -4212=0, -137=0, -2580=0, -2825=0, -4835=0, -511=0, -3506=0, -4616=0, -3177=0, -2399=0, -2888=0, -4666=0, -1781=0, -364=0, -4074=0, -512=0, -4469=0, -5015=0, -1245=0, -3423=0, -4754=0, -1556=0, -4684=0, -1801=0, -2564=0, -2542=0, -3326=0, -4562=0, -3635=0, -1343=0, 31=0, -1943=0, -1472=0, -189=0, -1469=0, -2860=0, -2302=0, -1713=0, -575=0, -4014=0, -315=0, 96=0, -3192=0, -1258=0, -3051=0, -938=0, -2741=0, -3540=0, -1534=0, -5049=0, -628=0, -1362=0, -2282=0, -401=0, -2095=0, -4606=0, -739=0, -2806=0, -2600=0, -3696=0, -1698=0, -6=0, -1079=0, -2969=0, -693=0, -3830=0, -4648=0, -873=0, -2400=0, -4029=0, -1148=0, -1763=0, -104=0, -3436=0, -4346=0, -2156=0, -1897=0, -494=0, -4127=0, -953=0, -2628=0, -2023=0, -4176=0, -1376=0, -124=0, -5034=0, -3119=0, -2726=0, -576=0, -710=0, -238=0, -1411=0, -4090=0, -2615=0, -4977=0, -3800=0, -4404=0, -4631=0, -55=0, -450=0, -1652=0, -1209=0, -4850=0, -173=0, -1832=0, -1274=0, -4789=0, -1032=0, 80=0, -3524=0, -999=0, -250=0, -3280=0, -3310=0, -3391=0, -2449=0, -4741=0, -3609=0, -1488=0, -3999=0, -4717=0, -2954=0, -1587=0, -2237=0, -4334=0, -1671=0, -385=0, -3681=0, -1346=0, -1197=0, -3911=0, -1798=0, -299=0, -3754=0, -2079=0, -2428=0, -1847=0, -1132=0, -888=0, -3245=0, -982=0, -3015=0, -3145=0, -1568=0, -4143=0, -4806=0, -2875=0, -2567=0, -3475=0, -4420=0, -2008=0, -466=0, -1912=0, -2221=0, -88=0, -4044=0, -3980=0, 19=0, -837=0, -3880=0, -2433=0, -2509=0, -2140=0, -3459=0, -4696=0, -3018=0, -3735=0, -4546=0, -1323=0, -4941=0, -645=0, -2672=0, -4923=0, -543=0, -3452=0, -2123=0, -1606=0, -1427=0, -4236=0, -1748=0, -819=0, -71=0, -1687=0, -2249=0, -368=0, -157=0, -1622=0, -2828=0, -1101=0, -2526=0, -2770=0, -3490=0, -3214=0, -4388=0, -4529=0, -4472=0, -1816=0, -3002=0, -1974=0, -820=0, -4732=0, -2355=0, -2709=0, 3=0, -2933=0, -3509=0, -4924=0, 64=0, -4436=0, -3570=0, -222=0, -283=0, -1553=0, -4160=0, -1392=0, -3161=0, -22=0, -3594=0, -5121=0, -205=0, -4252=0, -5002=0, -2694=0, -661=0, -1118=0, -1183=0, -2755=0, -1867=0, -1063=0, -3666=0, -348=0, -4110=0, -2583=0, -3854=0, -87=0, -2139=0, -4209=0, -1571=0, -5067=0, -2842=0, -1733=0, -4453=0, -1992=0, -1227=0, -3364=0, -2656=0, -2466=0, -2205=0, -1345=0, -966=0, -2062=0, -5016=0, -3405=0, -1048=0, -2266=0, -4681=0, -418=0, -4876=0, -772=0, -3769=0, -3864=0, -4773=0, -4301=0, -4757=0, -2986=0, -3941=0, -4589=0, -3650=0, -3720=0, -4030=0, -4514=0, -3176=0, -1391=0, -4371=0, -1244=0, -4663=0, -2917=0, -331=0, -2383=0, -367=0, -3073=0, -4822=0, -4099=0, 47=0, -3555=0, -4354=0, -2790=0, -1292=0, -3349=0, -920=0, -1377=0, -3231=0, -677=0, -612=0, -1517=0, -2340=0, -786=0, -1442=0, -4908=0, -4890=0, -1958=0, -754=0, -804=0, -954=0, -2899=0, -140=0, -4480=0, -1452=0, -4269=0, -5095=0, -2546=0, -3814=0, -1778=0, -1697=0, -2039=0, -3332=0, -2384=0, -2306=0, -3785=0, -3088=0, -433=0, -2188=0, -4961=0, -1015=0, -39=0, -1636=0, -3279=0, -2323=0, -266=0, -3422=0, -2644=0, -1672=0, -1147=0, -592=0, -2889=0, -4075=0, -1537=0, -5136=0, -4579=0, -4615=0, -1309=0, -4175=0, -1881=0, -4834=0, -510=0, -2599=0, -1166=0, -2481=0, -4192=0, -4497=0, -1942=0, -3050=0, -2861=0, -981=0, -4563=0, -2094=0, -3120=0, -4496=0, -1257=0, -1913=0, -1468=0, -2220=0, -1428=0, -123=0, -3246=0, -4013=0, -694=0, -2432=0, -4284=0, -738=0, -3523=0, -1361=0, -2805=0, -2601=0, -2301=0, -400=0, -2427=0, -3927=0, -4697=0, -190=0, -4126=0, -939=0, -1535=0, -4605=0, -493=0, -2024=0, -4091=0, -4976=0, -3460=0, -4302=0, -5077=0, -3942=0, -5=0, -4649=0, -872=0, -1712=0, -2970=0, -451=0, -1149=0, -105=0, -4849=0, -2157=0, -3831=0, -1764=0, -3327=0, -3998=0, -3350=0, -3736=0, -1653=0, -1080=0, -383=0, -1208=0, -4959=0, -855=0, -2401=0, 46=0, -2629=0, -4177=0, -4512=0, -54=0, -5035=0, -2727=0, -577=0, -711=0, -3390=0, 79=0, -4740=0, -298=0, -3033=0, -1324=0, -3610=0, -2876=0, -998=0, -3104=0, -4403=0, -4547=0, -2238=0, -1688=0, -239=0, -3309=0, -1898=0, -2078=0, 97=0, -72=0, -2931=0, -4028=0, -2124=0, -1747=0, -1799=0, -3191=0, -3476=0, -3910=0, -249=0, -2448=0, -332=0, -3680=0, -3697=0, -627=0, -1168=0, -4716=0, -2510=0, -3783=0, -2566=0, -467=0, -3435=0, -1586=0, -1486=0, -1569=0, -560=0, -4807=0, -2283=0, -3216=0, -1605=0, -4437=0, -3539=0, -3957=0, -4790=0, -1503=0, -4421=0, -4942=0, -838=0, -3453=0, -89=0, -3144=0, -3816=0, -2141=0, -1275=0, -316=0, -1342=0, -2953=0, -3634=0, -4142=0, -1412=0, -3753=0, -4318=0, -384=0, -1033=0, -3016=0, -2009=0, -644=0, -1198=0, -4045=0, -399=0, 20=0, -172=0, -3981=0, -5050=0, -156=0, -906=0, -2932=0, -542=0, -905=0, -2527=0, -1014=0, -139=0, -3665=0, -223=0, -282=0, -1049=0, -1226=0, -2645=0, -4530=0, -1393=0, -3215=0, -3595=0, -3799=0, -593=0, -5017=0, 63=0, -4454=0, -1554=0, -3895=0, -1882=0, -1100=0, -2771=0, -4387=0, -5120=0, -2582=0, -3571=0, -2827=0, -1570=0, -4109=0, -1732=0, -544=0, -3508=0, -1487=0, -349=0, -3855=0, -2356=0, -4682=0, -660=0, -1621=0, -4335=0, -5110=0, -3160=0, -1866=0, -4235=0, -771=0, -4774=0, -2528=0, -3404=0, -712=0, -4060=0, -4875=0, -2267=0, -1293=0, -2204=0, -921=0, -3491=0, 4=0, -2465=0, -2061=0, -3295=0, -4808=0, -527=0, -2708=0, -3175=0, -3768=0, -5068=0, -2693=0, -1973=0, -1117=0, -1993=0, -4159=0, -4513=0, -240=0, -678=0, -4370=0, -206=0, -2916=0, -3032=0, -4756=0, -3721=0, -4210=0, -2898=0, -3072=0, -3278=0, -4630=0, -3554=0, -2987=0, -2111=0, -2789=0, -3066=0, -805=0, -753=0, -1831=0, -1131=0, -2616=0, -2339=0, -3365=0, -3649=0, -417=0, -4909=0, -1518=0, -1443=0, -4588=0, -955=0, -4495=0, -4823=0, -2843=0, -2187=0, -4268=0, -4731=0, -611=0, -1167=0, -4076=0, -2482=0, -1207=0, -5076=0, -4664=0, -21=0, -4353=0, -4285=0, -3089=0, -3784=0, -2250=0, -4614=0, -1310=0, -2368=0, -1696=0, -4891=0, -2385=0, -4193=0, -3003=0, -3879=0, -2305=0, -5094=0, -3815=0, -2040=0, -4580=0, -4833=0, -434=0, -787=0, -1779=0, -1451=0, -4100=0, -3333=0, -366=0, -2890=0, -38=0, -3926=0, -265=0, -3421=0, -5137=0, -1064=0, -4471=0, -1243=0, -2687=0, -4960=0, -1957=0, -1673=0, -2545=0, -1637=0, -5001=0, -2322=0, -1538=0, -509=0, -2742=0, -2006=0, -573=0, -980=0, -1429=0, -2609=0, -3198=0, -468=0, -1215=0, -1704=0, -1914=0, -3756=0, -3993=0, -2174=0, -703=0, -3457=0, -3924=0, -1941=0, -2732=0, -5011=0, -2793=0, -2862=0, -2402=0, -2211=0, -5116=0, -1313=0, -289=0, -4198=0, -1597=0, -3939=0, -2426=0, -2479=0, -2325=0, -2715=0, -1662=0, -2678=0, -118=0, -3626=0, -1516=0, -2915=0, -672=0, -745=0, -558=0, 94=0, -1719=0, -53=0, -4336=0, -2556=0, -4743=0, -4776=0, -4848=0, -1769=0, -4702=0, -2594=0, -1849=0, -3129=0, -1364=0, -5143=0, -2272=0, -2166=0, -387=0, -232=0, -1991=0, -4054=0, -3028=0, -4906=0, -3450=0, -3618=0, -825=0, -5028=0, -638=0, -1142=0, -1248=0, -492=0, -3863=0, -1378=0, -4523=0, -1582=0, -4303=0, -3235=0, -4=0, -3351=0, -3580=0, -199=0, -875=0, -3741=0, -3641=0, -2638=0, -452=0, -2776=0, -3802=0, -3909=0, -4654=0, -3099=0, -1095=0, -2463=0, -1899=0, -69=0, -4996=0, -923=0, -4719=0, -4791=0, -1834=0, -1600=0, -525=0, -1413=0, -3954=0, -2808=0, -4921=0, -1329=0, -997=0, -810=0, -4402=0, -1234=0, -3221=0, -2309=0, -2117=0, -1681=0, -4039=0, -1030=0, -3978=0, -4182=0, -1647=0, -760=0, -1567=0, -134=0, -2256=0, -1502=0, -403=0, -3265=0, -3282=0, -3473=0, -4238=0, -2178=0, -3702=0, -4539=0, -4637=0, -1394=0, -3656=0, -1665=0, -2930=0, -1784=0, -215=0, -305=0, -1077=0, 21=0, -2747=0, -2967=0, 78=0, -4319=0, -4824=0, -2877=0, -623=0, -3389=0, -720=0, -2195=0, -3434=0, -3335=0, -4418=0, -2507=0, -3817=0, -4831=0, -3013=0, -1112=0, -1348=0, -2952=0, -727=0, -3533=0, -2056=0, -2446=0, -890=0, -2830=0, -541=0, 62=0, -2577=0, -1111=0, -85=0, -4572=0, -3488=0, -1013=0, -1160=0, -670=0, -1046=0, -4386=0, -4734=0, -2447=0, -4165=0, -2464=0, -1869=0, -907=0, -2369=0, -1616=0, -2700=0, -2133=0, -2654=0, -3061=0, -3000=0, -792=0, -4254=0, -150=0, -3082=0, -2072=0, -1631=0, -1739=0, -1804=0, -605=0, -3686=0, -4874=0, -3894=0, -3771=0, -3204=0, -37=0, -4775=0, -4271=0, -5061=0, -4555=0, -2357=0, -4939=0, -167=0, -4085=0, -370=0, -526=0, -3550=0, -3151=0, -2524=0, -1217=0, -1818=0, -1972=0, 45=0, -3832=0, -4809=0, -2021=0, -4596=0, -3672=0, -705=0, -922=0, -1061=0, -4024=0, 5=0, -4069=0, -3403=0, -778=0, -4434=0, -4116=0, -1581=0, -2495=0, -2255=0, -3045=0, -1467=0, -1177=0, -843=0, -3182=0, -3519=0, -2662=0, -420=0, -3130=0, -102=0, -591=0, -4622=0, -5101=0, -2844=0, -1703=0, -1265=0, -273=0, -2984=0, -3366=0, -4150=0, -4971=0, -2386=0, -4490=0, -2089=0, -3563=0, -2228=0, -435=0, -2150=0, -3603=0, -4832=0, -3923=0, -3840=0, -2897=0, -1191=0, -4507=0, -4669=0, -5127=0, -3296=0, -3313=0, -20=0, -3878=0, -2539=0, -1532=0, -5083=0, -338=0, -3726=0, -2761=0, -3587=0, -2561=0, -3787=0, -857=0, -4008=0, -508=0, -216=0, -1883=0, -1956=0, -4215=0, -1299=0, -3113=0, -4286=0, -4687=0, -2106=0, -1444=0, -3420=0, -4451=0, -2342=0, -1126=0, -4759=0, -4133=0, -5010=0, -940=0, -3625=0, -1753=0, -2308=0, -2037=0, -182=0, -3334=0, -256=0, -4320=0, -4369=0, -2289=0, -4704=0, -1282=0, -2891=0, -1663=0, -2733=0, -2007=0, -1430=0, -1596=0, 95=0, -1450=0, -3502=0, -469=0, -1141=0, -4419=0, -2303=0, -1770=0, -3458=0, -1848=0, -1300=0, -4132=0, -2677=0, -1900=0, -4953=0, -4540=0, -1915=0, -4055=0, -574=0, -1718=0, -52=0, -2173=0, -2324=0, -1078=0, -1314=0, -3252=0, -4352=0, -288=0, -1363=0, -119=0, -5115=0, -2863=0, -2792=0, -2088=0, -355=0, -3114=0, -5144=0, -826=0, -3027=0, -3856=0, -3925=0, -2425=0, -637=0, -2968=0, -2714=0, -2951=0, -4742=0, -4777=0, -2167=0, -744=0, -2914=0, -673=0, -3801=0, -3=0, -4337=0, -1214=0, -2118=0, -3742=0, -233=0, -4199=0, -874=0, -4888=0, -2403=0, -2210=0, -3581=0, -956=0, -1940=0, -491=0, -5029=0, -2273=0, -3640=0, -2022=0, -3833=0, -1990=0, -4703=0, -4522=0, -4907=0, -3992=0, -2593=0, -3451=0, -3619=0, -1414=0, -1263=0, -184=0, -2748=0, -2639=0, -3955=0, -4718=0, -3281=0, -1501=0, -1031=0, -4655=0, -2462=0, -1785=0, -3908=0, -4401=0, -1833=0, -3150=0, -3755=0, -3311=0, -721=0, -4825=0, -1682=0, -559=0, -1347=0, -4038=0, -1233=0, -3979=0, -4183=0, -2508=0, 44=0, -524=0, 77=0, -386=0, -908=0, -2878=0, -3655=0, -996=0, -1328=0, -811=0, -4288=0, -622=0, -4237=0, -4636=0, -70=0, -133=0, -3014=0, -4830=0, -2929=0, 22=0, -2177=0, -1395=0, -306=0, -5062=0, -2257=0, -402=0, -979=0, -2240=0, -3532=0, -2610=0, -2055=0, -726=0, -3222=0, -5044=0, -3703=0, -2445=0, -889=0, -1666=0, -1192=0, -3167=0, -3388=0, -3474=0, -1094=0, -3100=0, -2194=0, -3433=0, -4873=0, -4940=0, -4922=0, -255=0, -3818=0, -1868=0, -3060=0, -3083=0, -4385=0, -1047=0, -4216=0, -4733=0, -2829=0, -4595=0, -2576=0, -1110=0, -1216=0, -369=0, -4670=0, -2655=0, -1485=0, -3956=0, 60=0, 61=0, -3419=0, -3893=0, -200=0, -4573=0, -4995=0, -3770=0, -1012=0, -3671=0, -4023=0, -436=0, -856=0, -1971=0, -3264=0, -3489=0, -844=0, -540=0, -4986=0, -604=0, -2151=0, -706=0, -2370=0, -149=0, -4086=0, -3877=0, -3001=0, -4810=0, -4253=0, -4166=0, -2892=0, -4007=0, -1955=0, 6=0, -1805=0, -3687=0, -1738=0, -4452=0, -2358=0, -1552=0, -4621=0, -166=0, -4304=0, -3205=0, -793=0, -1283=0, -4270=0, -3549=0, -322=0, -2071=0, -1817=0, -671=0, -419=0, -271=0, -86=0, -2525=0, -4149=0, -1466=0, -3518=0, -4115=0, -507=0, -453=0, -3044=0, -4435=0, -3402=0, -777=0, -4556=0, -3352=0, -3181=0, -4368=0, -2661=0, -2560=0, -4758=0, -3940=0, -3841=0, -4889=0, -1580=0, -4489=0, -4970=0, -2387=0, -1754=0, -356=0, -1178=0, -2555=0, -272=0, -3367=0, -2227=0, -2985=0, -2341=0, -2699=0, -5100=0, -2404=0, -1702=0, -36=0, -1264=0, -2807=0, -1062=0, -1884=0, -4224=0, -2791=0, -339=0, -120=0, -4792=0, -3727=0, -3857=0, -2105=0, -4070=0, -688=0, -1536=0, -3131=0, -1533=0, -3588=0, -1449=0, -4863=0, -4506=0, -3501=0, -4705=0, -3312=0, -4321=0, -759=0, -3604=0, -2134=0, -103=0, -3564=0, -2038=0, -5126=0, -2845=0, -2307=0, -4952=0, -2762=0, -3236=0, -941=0, -3624=0, -655=0, -217=0, -2480=0, -19=0, -183=0, -1161=0, -2290=0, -4287=0, -1445=0, -3786=0, -1125=0, -5082=0, -4700=0, -4131=0, -1599=0, -3582=0, -3995=0, -957=0, -3233=0, -2676=0, -1514=0, -3739=0, -234=0, -624=0, -1366=0, -4956=0, -1431=0, -2795=0, -2558=0, -4338=0, -2611=0, -3448=0, -3700=0, -1213=0, -3758=0, -1648=0, -758=0, -4273=0, -3639=0, -689=0, -2168=0, -2=0, -1278=0, -1297=0, -3314=0, -2424=0, -336=0, -3520=0, -2965=0, -4862=0, -4383=0, -4793=0, -2388=0, -116=0, -319=0, -571=0, -1901=0, -791=0, -4416=0, -4541=0, -5099=0, -3922=0, -4904=0, -2327=0, 23=0, -3011=0, -2950=0, -2713=0, -5141=0, -3620=0, -405=0, -2091=0, -1989=0, -67=0, -5030=0, -2119=0, -4196=0, -4465=0, -3773=0, -674=0, -3834=0, -1028=0, -1851=0, -1465=0, -892=0, -4778=0, -1128=0, -3180=0, -556=0, -3030=0, -2913=0, -1717=0, -2209=0, -490=0, -4056=0, -3536=0, -3976=0, -4557=0, 43=0, -1350=0, -1415=0, -4147=0, -2730=0, -5045=0, -2286=0, -1327=0, -523=0, -2810=0, -4400=0, -1500=0, -808=0, -3101=0, -743=0, -2193=0, -3654=0, -1836=0, -3937=0, -1602=0, -4847=0, -185=0, -909=0, -2879=0, -4367=0, -1232=0, -4289=0, -1916=0, -1262=0, -4652=0, -3387=0, -335=0, -3487=0, -5114=0, -5063=0, -4180=0, -4525=0, -2758=0, -389=0, -2058=0, -1565=0, -1331=0, -51=0, -1193=0, -3892=0, -2075=0, -2311=0, -3219=0, -4635=0, -4041=0, -4164=0, -1114=0, -1683=0, -1075=0, -2928=0, -3819=0, -1920=0, -3535=0, -169=0, -3166=0, -2864=0, -1939=0, -4872=0, -2004=0, -254=0, -4826=0, -978=0, -4745=0, -722=0, -470=0, -1667=0, -641=0, -3432=0, -4829=0, -3418=0, -725=0, -1751=0, -4989=0, -3891=0, -3084=0, 59=0, -924=0, -2270=0, -287=0, -859=0, -539=0, -2176=0, -3202=0, -1044=0, -1396=0, -2911=0, -1162=0, -657=0, -3471=0, -2371=0, -1871=0, -1059=0, -4761=0, -2444=0, -372=0, -4026=0, -607=0, -437=0, -3952=0, -995=0, -1820=0, -1011=0, -1484=0, -642=0, -1231=0, -4720=0, -2359=0, -2893=0, -4746=0, -2745=0, 7=0, -841=0, -1954=0, -2640=0, -4811=0, -454=0, -2019=0, -3267=0, -4432=0, -2848=0, -707=0, -4366=0, -3876=0, -4509=0, -4998=0, -4594=0, -201=0, -4148=0, -4087=0, -4415=0, -2982=0, -153=0, 76=0, -2522=0, -1737=0, -1550=0, -1097=0, -3149=0, -1766=0, -4937=0, -35=0, -4620=0, -4305=0, -4384=0, -2461=0, -2774=0, -2660=0, -1530=0, -5012=0, -2108=0, -270=0, -608=0, -2777=0, -3505=0, -3353=0, -3803=0, -4179=0, -555=0, -4322=0, -1885=0, -422=0, -3684=0, -4114=0, -506=0, -3907=0, -218=0, -776=0, -4257=0, -1632=0, -3565=0, -2816=0, -5125=0, -3842=0, -2493=0, -3298=0, -1446=0, -302=0, -5081=0, -2698=0, -353=0, -2405=0, -1179=0, -4973=0, -3605=0, -83=0, -3047=0, -2135=0, -2226=0, -4010=0, -100=0, -3063=0, -2152=0, -3115=0, -2624=0, -942=0, -1970=0, -4449=0, -1280=0, -3858=0, -4492=0, -790=0, -4071=0, -4955=0, -1802=0, -3401=0, -3623=0, -18=0, -589=0, -136=0, -2253=0, -4685=0, -3250=0, -2541=0, -4240=0, -877=0, -3670=0, -2035=0, 91=0, -1618=0, -3724=0, -1782=0, -2563=0, -4468=0, -2998=0, -3132=0, -3789=0, -4574=0, -2579=0, -3589=0, -2846=0, -1145=0, -3336=0, -3197=0, -4213=0, -4667=0, -1381=0, -1701=0, -4861=0, -757=0, -4417=0, -117=0, -4272=0, -4130=0, -4701=0, -2794=0, -1279=0, -2169=0, -1850=0, -3449=0, -824=0, -3994=0, -4339=0, -639=0, -1212=0, -3757=0, -3921=0, -168=0, -3234=0, -3583=0, -2208=0, -1194=0, -1515=0, -5098=0, -3938=0, -1=0, -3029=0, -3456=0, -1917=0, -337=0, -2966=0, -4382=0, -2389=0, -2478=0, -2712=0, -5031=0, -1365=0, -3297=0, -5142=0, -1143=0, -2612=0, -3621=0, -1768=0, -3638=0, -1988=0, -3195=0, -404=0, -3835=0, -2595=0, -4057=0, -4905=0, 93=0, 24=0, -958=0, -2326=0, -4558=0, -2557=0, -489=0, -4466=0, -3431=0, -2912=0, -2090=0, -1379=0, -3116=0, -1464=0, -4779=0, -960=0, -235=0, -4197=0, -2949=0, -1432=0, -557=0, -1583=0, -675=0, -1716=0, -4846=0, -1668=0, -2192=0, -522=0, -742=0, -2809=0, -3653=0, -1835=0, -1601=0, -809=0, -2731=0, -4146=0, -2675=0, -186=0, -3740=0, -4997=0, -1029=0, -3977=0, -2360=0, -4653=0, -5113=0, -1938=0, -3102=0, -3386=0, -321=0, -2373=0, -4524=0, -3534=0, -977=0, -1261=0, -4239=0, -775=0, -4987=0, -3220=0, -2074=0, -4634=0, -2310=0, -135=0, -3953=0, -2057=0, -3472=0, -388=0, -4040=0, -253=0, -1330=0, -4920=0, -304=0, -3820=0, -1921=0, -723=0, -3701=0, -151=0, -3203=0, -5046=0, -1649=0, -2506=0, -4255=0, -1113=0, -4827=0, -2005=0, -50=0, 42=0, -1349=0, -1076=0, -3165=0, -4181=0, -3283=0, -2759=0, -471=0, -1312=0, -910=0, -640=0, -3012=0, -4290=0, -4744=0, -2287=0, -68=0, -4542=0, -891=0, -1499=0, -1566=0, -3368=0, -4828=0, -2120=0, -2943=0, -4163=0, -2136=0, -1397=0, -925=0, -606=0, -4450=0, -84=0, -2746=0, -2191=0, -3337=0, -4306=0, -2831=0, -1969=0, -3266=0, -2578=0, -4668=0, -2910=0, -1819=0, 58=0, -1163=0, -202=0, -994=0, -4988=0, -3062=0, -3669=0, -1870=0, -1045=0, -1617=0, -858=0, -2423=0, -4938=0, -4365=0, -371=0, -34=0, -1060=0, -4508=0, -2073=0, -1096=0, -3148=0, -2659=0, -3417=0, -1180=0, -4491=0, -3804=0, -4619=0, -2775=0, -4593=0, -1551=0, -4735=0, -1483=0, -4760=0, -2460=0, -5064=0, -152=0, -1736=0, -2523=0, -656=0, -2020=0, -1767=0, -538=0, -2983=0, -320=0, -3875=0, -3085=0, -4025=0, -2372=0, -708=0, -455=0, -2271=0, -3551=0, -1684=0, -4812=0, -2849=0, -4088=0, -4256=0, -4433=0, -4887=0, -3354=0, -2894=0, -2153=0, -842=0, -4323=0, -5013=0, -3685=0, -3906=0, -3566=0, -4467=0, -1633=0, -101=0, -269=0, -2847=0, -5124=0, -3843=0, -3772=0, -2494=0, -1531=0, -303=0, -590=0, -3504=0, -17=0, 75=0, -3046=0, -2254=0, -3606=0, -1902=0, -354=0, -1010=0, -2406=0, -4972=0, -1230=0, -3622=0, -2596=0, -3179=0, 8=0, -1953=0, -2641=0, -1783=0, -4096=0, -2562=0, -4871=0, -1447=0, -1886=0, -421=0, -1247=0, -1803=0, -1127=0, -2540=0, -1752=0, -4399=0, -505=0, -2625=0, -943=0, -2697=0, -2477=0, -1281=0, -2288=0, -4072=0, -1700=0, -3503=0, -1298=0, -4686=0, -4575=0, -5080=0, -3788=0, -876=0, -4794=0, -1144=0, -2036=0, -1380=0, -3859=0, 92=0, -3196=0, -3725=0, -4214=0, -2760=0, -438=0, -572=0, -4954=0, -1598=0, -690=0, -2999=0, -2107=0, -4113=0, -4576=0, -286=0, -219=0, -3251=0, -3590=0, -2343=0, -3133=0, -4009=0, -2225=0, -3400=0}
Decide{-3225,0} 
<<<<<>>>>>>>>Decide: set -3225 to 0
Decide{-1026,0} 
Decide{-2052,0} 
Decide{-1983,0} 
Decide{-2292,0} 
Decide{-3078,0} 
Decide{-5130,0} 
Decide{-4104,0} 
Decide{-2833,0} 
Decide{-4275,0} 
Decide{-3966,0} 
Decide{-634,0} 
Decide{-829,0} 
Decide{-1303,0} 
Decide{-1872,0} 
Decide{-3630,0} 
Decide{-1268,0} 
Decide{-2113,0} 
Decide{-4035,0} 
Decide{-959,0} 
Decide{-1658,0} 
Decide{-4860,0} 
Decide{-2606,0} 
Decide{-244,0} 
Decide{-407,0} 
Decide{-2682,0} 
Decide{-4519,0} 
Decide{-3125,0} 
Decide{-5072,0} 
Decide{-2459,0} 
Decide{-4226,0} 
Decide{-4137,0} 
Decide{-2536,0} 
Decide{-4642,0} 
Decide{-3744,0} 
Decide{-1918,0} 
Decide{-3316,0} 
Decide{-1987,0} 
Decide{-4584,0} 
Decide{-1853,0} 
Decide{-3920,0} 
Decide{-4397,0} 
Decide{-3024,0} 
Decide{-4935,0} 
Decide{-293,0} 
Decide{-4050,0} 
Decide{-3385,0} 
Decide{-1773,0} 
Decide{-488,0} 
Decide{-814,0} 
Decide{-1593,0} 
Decide{-2475,0} 
Decide{-114,0} 
Decide{-3139,0} 
Decide{-4918,0} 
Decide{-2101,0} 
Decide{-2812,0} 
Decide{-1512,0} 
Decide{-423,0} 
Decide{-3775,0} 
Decide{-569,0} 
Decide{-894,0} 
Decide{-2720,0} 
Decide{-4340,0} 
Decide{-1723,0} 
Decide{-1433,0} 
Decide{-3485,0} 
Decide{-3836,0} 
Decide{-163,0} 
Decide{-2948,0} 
Decide{-3974,0} 
Decide{-961,0} 
Decide{-4446,0} 
Decide{-3430,0} 
Decide{-2215,0} 
Decide{-3706,0} 
Decide{74,1} 
Decide{-1317,0} 
Decide{-342,0} 
Decide{-749,0} 
Decide{-2927,0} 
Decide{25,1} 
Decide{-1252,0} 
Decide{-1838,0} 
Decide{-1857,0} 
Decide{-4291,0} 
Decide{-586,0} 
Decide{-2520,0} 
Decide{-4600,0} 
Decide{-3546,0} 
Decide{-1287,0} 
Decide{-619,0} 
Decide{-3951,0} 
Decide{41,1} 
Decide{-4950,0} 
Decide{-4535,0} 
Decide{-1708,0} 
Decide{-1937,0} 
Decide{-2243,0} 
Decide{-3186,0} 
Decide{-65,0} 
Decide{-4845,0} 
Decide{-3615,0} 
Decide{-3989,0} 
Decide{-1091,0} 
Decide{-846,0} 
Decide{-1628,0} 
Decide{-228,0} 
Decide{-1073,0} 
Decide{-2751,0} 
Decide{-4202,0} 
Decide{-4121,0} 
Decide{-699,0} 
Decide{-2443,0} 
Decide{-130,0} 
Decide{-1547,0} 
Decide{-5057,0} 
Decide{-2361,0} 
Decide{-391,0} 
Decide{-2182,0} 
Decide{-1333,0} 
Decide{-2345,0} 
Decide{-1138,0} 
Decide{-147,0} 
Decide{-1788,0} 
Decide{-3446,0} 
Decide{-2199,0} 
Decide{-3676,0} 
Decide{-326,0} 
Decide{-2866,0} 
Decide{-5055,0} 
Decide{-3729,0} 
Decide{-4763,0} 
Decide{-2797,0} 
Decide{-3009,0} 
Decide{-4186,0} 
Decide{-4430,0} 
Decide{-49,0} 
Decide{-2963,0} 
Decide{-4657,0} 
Decide{-472,0} 
Decide{-2634,0} 
Decide{-911,0} 
Decide{-3269,0} 
Decide{-1498,0} 
Decide{-2589,0} 
Decide{-976,0} 
Decide{-1922,0} 
Decide{-3821,0} 
Decide{-4675,0} 
Decide{-896,0} 
Decide{-2002,0} 
Decide{-3890,0} 
Decide{-1417,0} 
Decide{-3469,0} 
Decide{-684,0} 
Decide{-3369,0} 
Decide{-5147,0} 
Decide{-2162,0} 
Decide{-764,0} 
Decide{-521,0} 
Decide{-2942,0} 
Decide{-1156,0} 
Decide{-3714,0} 
Decide{-926,0} 
Decide{-2688,0} 
Decide{-212,0} 
Decide{-2574,0} 
Decide{-1238,0} 
Decide{-3889,0} 
Decide{-2017,0} 
Decide{-2865,0} 
Decide{-4307,0} 
Decide{-5040,0} 
Decide{-1613,0} 
Decide{-3338,0} 
Decide{-4242,0} 
Decide{-1172,0} 
Decide{-3039,0} 
Decide{-1416,0} 
Decide{-993,0} 
Decide{-3468,0} 
Decide{-3170,0} 
Decide{-1563,0} 
Decide{-2068,0} 
Decide{-1057,0} 
Decide{-33,0} 
Decide{-4551,0} 
Decide{-2232,0} 
Decide{-2259,0} 
Decide{-4065,0} 
Decide{-1692,0} 
Decide{-456,0} 
Decide{-602,0} 
Decide{-2146,0} 
Decide{-3285,0} 
Decide{-1482,0} 
Decide{-309,0} 
Decide{-1463,0} 
Decide{-796,0} 
Decide{-991,0} 
Decide{-4478,0} 
Decide{-2980,0} 
Decide{-374,0} 
Decide{57,1} 
Decide{-3515,0} 
Decide{-81,0} 
Decide{-4413,0} 
Decide{-1107,0} 
Decide{-4081,0} 
Decide{-260,0} 
Decide{-4219,0} 
Decide{-4486,0} 
Decide{-1548,0} 
Decide{-2650,0} 
Decide{-4967,0} 
Decide{-928,0} 
Decide{-1887,0} 
Decide{-4364,0} 
Decide{-861,0} 
Decide{-3416,0} 
Decide{-195,0} 
Decide{-3874,0} 
Decide{-1221,0} 
Decide{-3256,0} 
Decide{-1743,0} 
Decide{-717,0} 
Decide{-1968,0} 
Decide{-2850,0} 
Decide{-5022,0} 
Decide{-2329,0} 
Decide{-2422,0} 
Decide{-4020,0} 
Decide{-3094,0} 
Decide{-537,0} 
Decide{-1398,0} 
Decide{-2718,0} 
Decide{-666,0} 
Decide{-3661,0} 
Decide{-782,0} 
Decide{-5024,0} 
Decide{-5105,0} 
Decide{-3805,0} 
Decide{-2779,0} 
Decide{-4722,0} 
Decide{-3041,0} 
Decide{-1122,0} 
Decide{-2666,0} 
Decide{-4259,0} 
Decide{-2895,0} 
Decide{-294,0} 
Decide{-1757,0} 
Decide{-1642,0} 
Decide{-731,0} 
Decide{-3576,0} 
Decide{-4886,0} 
Decide{-4813,0} 
Decide{-553,0} 
Decide{-4398,0} 
Decide{-3355,0} 
Decide{-1187,0} 
Decide{-4983,0} 
Decide{-1318,0} 
Decide{-2085,0} 
Decide{-3109,0} 
Decide{-4568,0} 
Decide{-2552,0} 
Decide{-3239,0} 
Decide{-16,0} 
Decide{-4169,0} 
Decide{-3905,0} 
Decide{-1009,0} 
Decide{-652,0} 
Decide{-1903,0} 
Decide{-4992,0} 
Decide{-4690,0} 
Decide{-98,0} 
Decide{-2276,0} 
Decide{-4902,0} 
Decide{-1952,0} 
Decide{-504,0} 
Decide{-944,0} 
Decide{-4004,0} 
Decide{-4609,0} 
Decide{-1383,0} 
Decide{-2312,0} 
Decide{-2996,0} 
Decide{-3057,0} 
Decide{-277,0} 
Decide{-3844,0} 
Decide{-3860,0} 
Decide{9,1} 
Decide{-3645,0} 
Decide{-2818,0} 
Decide{-1792,0} 
Decide{-4463,0} 
Decide{-2390,0} 
Decide{-359,0} 
Decide{-5089,0} 
Decide{-3155,0} 
Decide{-2129,0} 
Decide{-4381,0} 
Decide{-4324,0} 
Decide{-4154,0} 
Decide{-4625,0} 
Decide{-2909,0} 
Decide{-4503,0} 
Decide{-2033,0} 
Decide{-3935,0} 
Decide{-879,0} 
Decide{-1042,0} 
Decide{-439,0} 
Decide{-2621,0} 
Decide{-1577,0} 
Decide{-2491,0} 
Decide{-4870,0} 
Decide{-3300,0} 
Decide{-3690,0} 
Decide{-1678,0} 
Decide{-3208,0} 
Decide{-5087,0} 
Decide{-1528,0} 
Decide{-4795,0} 
Decide{-1368,0} 
Decide{-1822,0} 
Decide{-3791,0} 
Decide{-2765,0} 
Decide{-2832,0} 
Decide{-2681,0} 
Decide{-1852,0} 
Decide{-570,0} 
Decide{-424,0} 
Decide{-2476,0} 
Decide{-3226,0} 
Decide{-1919,0} 
Decide{-2607,0} 
Decide{-1269,0} 
Decide{-4034,0} 
Decide{-1367,0} 
Decide{-3837,0} 
Decide{-4274,0} 
Decide{-1513,0} 
Decide{-1023,0} 
Decide{-4641,0} 
Decide{-5148,0} 
Decide{-1448,0} 
Decide{-3759,0} 
Decide{-3500,0} 
Decide{-1707,0} 
Decide{-2293,0} 
Decide{-3010,0} 
Decide{-1659,0} 
Decide{-3967,0} 
Decide{-4585,0} 
Decide{-1644,0} 
Decide{-830,0} 
Decide{-1137,0} 
Decide{-2344,0} 
Decide{-3370,0} 
Decide{-1986,0} 
Decide{-1789,0} 
Decide{-4136,0} 
Decide{-2458,0} 
Decide{-4225,0} 
Decide{-3415,0} 
Decide{-3315,0} 
Decide{-2407,0} 
Decide{-4796,0} 
Decide{-2535,0} 
Decide{-4859,0} 
Decide{-1873,0} 
Decide{-4203,0} 
Decide{-406,0} 
Decide{-3707,0} 
Decide{-3126,0} 
Decide{-2100,0} 
Decide{-3692,0} 
Decide{-243,0} 
Decide{-962,0} 
Decide{-3545,0} 
Decide{-2114,0} 
Decide{-893,0} 
Decide{-115,0} 
Decide{-4464,0} 
Decide{-1808,0} 
Decide{-3384,0} 
Decide{-2811,0} 
Decide{-1204,0} 
Decide{-487,0} 
Decide{-1936,0} 
Decide{-4292,0} 
Decide{-3988,0} 
Decide{-4518,0} 
Decide{-343,0} 
Decide{-4919,0} 
Decide{-1251,0} 
Decide{-2926,0} 
Decide{-618,0} 
Decide{-1027,0} 
Decide{-912,0} 
Decide{26,1} 
Decide{-1592,0} 
Decide{-1982,0} 
Decide{-3629,0} 
Decide{-4447,0} 
Decide{-2964,0} 
Decide{-748,0} 
Decide{-3071,0} 
Decide{-162,0} 
Decide{-3975,0} 
Decide{-700,0} 
Decide{-5071,0} 
Decide{-2721,0} 
Decide{-4341,0} 
Decide{-2214,0} 
Decide{-66,0} 
Decide{-229,0} 
Decide{-1837,0} 
Decide{-1351,0} 
Decide{-587,0} 
Decide{-196,0} 
Decide{-3268,0} 
Decide{-3822,0} 
Decide{-2003,0} 
Decide{-520,0} 
Decide{-1157,0} 
Decide{-3659,0} 
Decide{-1856,0} 
Decide{-3774,0} 
Decide{-2521,0} 
Decide{-3096,0} 
Decide{-1722,0} 
Decide{-3023,0} 
Decide{-3486,0} 
Decide{-1434,0} 
Decide{-129,0} 
Decide{-2181,0} 
Decide{-3936,0} 
Decide{-4120,0} 
Decide{-3873,0} 
Decide{-3399,0} 
Decide{-1774,0} 
Decide{-4051,0} 
Decide{-4658,0} 
Decide{-4844,0} 
Decide{-1090,0} 
Decide{-975,0} 
Decide{-5058,0} 
Decide{-4676,0} 
Decide{-4187,0} 
Decide{-1074,0} 
Decide{40,1} 
Decide{-48,0} 
Decide{-4536,0} 
Decide{-1237,0} 
Decide{-3730,0} 
Decide{-3185,0} 
Decide{-2947,0} 
Decide{-146,0} 
Decide{-2796,0} 
Decide{-5119,0} 
Decide{-3529,0} 
Decide{-390,0} 
Decide{-3447,0} 
Decide{-845,0} 
Decide{-2198,0} 
Decide{-1332,0} 
Decide{-2442,0} 
Decide{-2588,0} 
Decide{-3079,0} 
Decide{-2941,0} 
Decide{-1627,0} 
Decide{-3470,0} 
Decide{-1418,0} 
Decide{-2635,0} 
Decide{-1497,0} 
Decide{-2163,0} 
Decide{-3240,0} 
Decide{-1923,0} 
Decide{-763,0} 
Decide{-4431,0} 
Decide{-2362,0} 
Decide{-327,0} 
Decide{-685,0} 
Decide{-473,0} 
Decide{-2244,0} 
Decide{-3675,0} 
Decide{-1612,0} 
Decide{-2505,0} 
Decide{-3339,0} 
Decide{-2703,0} 
Decide{-797,0} 
Decide{-651,0} 
Decide{-2504,0} 
Decide{-1173,0} 
Decide{-3040,0} 
Decide{-603,0} 
Decide{-1904,0} 
Decide{-2421,0} 
Decide{-3806,0} 
Decide{-3715,0} 
Decide{-2867,0} 
Decide{-213,0} 
Decide{-990,0} 
Decide{-503,0} 
Decide{-3514,0} 
Decide{-1106,0} 
Decide{-2260,0} 
Decide{-1462,0} 
Decide{-2908,0} 
Decide{-4220,0} 
Decide{-4082,0} 
Decide{-945,0} 
Decide{-4762,0} 
Decide{-1564,0} 
Decide{-992,0} 
Decide{-1742,0} 
Decide{-373,0} 
Decide{-5023,0} 
Decide{-588,0} 
Decide{-3284,0} 
Decide{-860,0} 
Decide{-2997,0} 
Decide{-99,0} 
Decide{-1758,0} 
Decide{-3600,0} 
Decide{-145,0} 
Decide{-4477,0} 
Decide{-2197,0} 
Decide{-1058,0} 
Decide{-4608,0} 
Decide{-3888,0} 
Decide{-3038,0} 
Decide{-32,0} 
Decide{-3257,0} 
Decide{-4966,0} 
Decide{-2851,0} 
Decide{-1951,0} 
Decide{-2328,0} 
Decide{-4308,0} 
Decide{-3169,0} 
Decide{-5104,0} 
Decide{-2778,0} 
Decide{-1549,0} 
Decide{-4747,0} 
Decide{-4363,0} 
Decide{-2636,0} 
Decide{-929,0} 
Decide{-536,0} 
Decide{-4485,0} 
Decide{-2981,0} 
Decide{-259,0} 
Decide{-4599,0} 
Decide{-4721,0} 
Decide{-457,0} 
Decide{-3660,0} 
Decide{-2147,0} 
Decide{-832,0} 
Decide{-5131,0} 
Decide{-1399,0} 
Decide{-15,0} 
Decide{-2374,0} 
Decide{-2018,0} 
Decide{-2651,0} 
Decide{-4414,0} 
Decide{-1481,0} 
Decide{-4170,0} 
Decide{-1304,0} 
Decide{-4003,0} 
Decide{-3095,0} 
Decide{-310,0} 
Decide{-927,0} 
Decide{56,1} 
Decide{-4936,0} 
Decide{-4552,0} 
Decide{-1220,0} 
Decide{-2573,0} 
Decide{-440,0} 
Decide{-2766,0} 
Decide{-2492,0} 
Decide{-1576,0} 
Decide{-3904,0} 
Decide{-1008,0} 
Decide{-4258,0} 
Decide{-3577,0} 
Decide{-2622,0} 
Decide{-4691,0} 
Decide{-4019,0} 
Decide{73,1} 
Decide{-2719,0} 
Decide{-781,0} 
Decide{-4869,0} 
Decide{-667,0} 
Decide{-3209,0} 
Decide{-1643,0} 
Decide{-1888,0} 
Decide{-5025,0} 
Decide{-2817,0} 
Decide{-554,0} 
Decide{-718,0} 
Decide{-3743,0} 
Decide{-1121,0} 
Decide{-1691,0} 
Decide{-815,0} 
Decide{-2277,0} 
Decide{-4624,0} 
Decide{-3584,0} 
Decide{-730,0} 
Decide{-4780,0} 
Decide{-3299,0} 
Decide{-4885,0} 
Decide{-2130,0} 
Decide{-3110,0} 
Decide{-2084,0} 
Decide{-2665,0} 
Decide{-5007,0} 
Decide{-4569,0} 
Decide{-3861,0} 
Decide{-2391,0} 
Decide{-2551,0} 
Decide{-3154,0} 
Decide{-4380,0} 
Decide{-4903,0} 
Decide{-179,0} 
Decide{-276,0} 
Decide{-2880,0} 
Decide{-3845,0} 
Decide{-2034,0} 
Decide{-878,0} 
Decide{-1793,0} 
Decide{-2231,0} 
Decide{-3790,0} 
Decide{-4066,0} 
Decide{-4153,0} 
Decide{-82,0} 
Decide{-1679,0} 
Decide{-4982,0} 
Decide{-5086,0} 
Decide{-1821,0} 
Decide{90,1} 
Decide{-633,0} 
Decide{-1382,0} 
Decide{-3056,0} 
Decide{-3644,0} 
Decide{-2736,0} 
Decide{-1529,0} 
Decide{-1967,0} 
Decide{-2067,0} 
Decide{-3356,0} 
Decide{-5088,0} 
Decide{-4325,0} 
Decide{-4502,0} 
Decide{-4448,0} 
Decide{-4241,0} 
Decide{-3691,0} 
Decide{-1043,0} 
Decide{-3560,0} 
Decide{10,1} 
Decide{-1188,0} 
Decide{-4640,0} 
Decide{-2164,0} 
Decide{-1301,0} 
Decide{-701,0} 
Decide{-4444,0} 
Decide{-3628,0} 
Decide{-112,0} 
Decide{-2814,0} 
Decide{-340,0} 
Decide{-1985,0} 
Decide{-3704,0} 
Decide{-747,0} 
Decide{-1855,0} 
Decide{-1140,0} 
Decide{-5009,0} 
Decide{-4293,0} 
Decide{-1706,0} 
Decide{-3838,0} 
Decide{-3026,0} 
Decide{-1771,0} 
Decide{-5118,0} 
Decide{-4052,0} 
Decide{-3483,0} 
Decide{-2538,0} 
Decide{-4135,0} 
Decide{-2734,0} 
Decide{-5145,0} 
Decide{-2115,0} 
Decide{-3253,0} 
Decide{-913,0} 
Decide{-4184,0} 
Decide{-3414,0} 
Decide{-1315,0} 
Decide{27,1} 
Decide{-2046,0} 
Decide{-4843,0} 
Decide{-1981,0} 
Decide{-4639,0} 
Decide{-63,0} 
Decide{-827,0} 
Decide{-2680,0} 
Decide{-4586,0} 
Decide{-181,0} 
Decide{-4797,0} 
Decide{-3643,0} 
Decide{-2896,0} 
Decide{-3318,0} 
Decide{-2925,0} 
Decide{-2103,0} 
Decide{-1660,0} 
Decide{-1205,0} 
Decide{-898,0} 
Decide{-242,0} 
Decide{-963,0} 
Decide{-1721,0} 
Decide{-2347,0} 
Decide{-3949,0} 
Decide{-3127,0} 
Decide{-2518,0} 
Decide{-3288,0} 
Decide{-567,0} 
Decide{-1384,0} 
Decide{-1007,0} 
Decide{88,1} 
Decide{-2457,0} 
Decide{-2749,0} 
Decide{-4814,0} 
Decide{-3972,0} 
Decide{-1595,0} 
Decide{-1510,0} 
Decide{-2592,0} 
Decide{-5070,0} 
Decide{-3428,0} 
Decide{-3578,0} 
Decide{-3746,0} 
Decide{-4916,0} 
Decide{-4119,0} 
Decide{-3517,0} 
Decide{-4395,0} 
Decide{-4342,0} 
Decide{-1250,0} 
Decide{-636,0} 
Decide{-812,0} 
Decide{-4709,0} 
Decide{-291,0} 
Decide{-324,0} 
Decide{-3467,0} 
Decide{-3097,0} 
Decide{-14,0} 
Decide{-1924,0} 
Decide{-2799,0} 
Decide{-4428,0} 
Decide{-1158,0} 
Decide{-762,0} 
Decide{-4037,0} 
Decide{-47,0} 
Decide{-2241,0} 
Decide{-474,0} 
Decide{-486,0} 
Decide{-3991,0} 
Decide{-2591,0} 
Decide{-2000,0} 
Decide{-3823,0} 
Decide{-1285,0} 
Decide{-4228,0} 
Decide{-1786,0} 
Decide{-230,0} 
Decide{-3271,0} 
Decide{-519,0} 
Decide{-3872,0} 
Decide{-974,0} 
Decide{-4521,0} 
Decide{-2408,0} 
Decide{-3616,0} 
Decide{-1859,0} 
Decide{-2961,0} 
Decide{-3398,0} 
Decide{-4200,0} 
Decide{-2054,0} 
Decide{-1435,0} 
Decide{-3792,0} 
Decide{-686,0} 
Decide{-307,0} 
Decide{-376,0} 
Decide{-3371,0} 
Decide{-2441,0} 
Decide{-4411,0} 
Decide{-2940,0} 
Decide{-1645,0} 
Decide{-3168,0} 
Decide{-132,0} 
Decide{-1093,0} 
Decide{-1236,0} 
Decide{-3184,0} 
Decide{-4749,0} 
Decide{-3964,0} 
Decide{-1824,0} 
Decide{-4933,0} 
Decide{-4537,0} 
Decide{-3903,0} 
Decide{-2946,0} 
Decide{-5059,0} 
Decide{-1545,0} 
Decide{39,1} 
Decide{-1935,0} 
Decide{-2363,0} 
Decide{-3658,0} 
Decide{-2502,0} 
Decide{-5041,0} 
Decide{-1496,0} 
Decide{-1400,0} 
Decide{-3080,0} 
Decide{-4277,0} 
Decide{-621,0} 
Decide{-3223,0} 
Decide{-2702,0} 
Decide{-1174,0} 
Decide{-5085,0} 
Decide{-2392,0} 
Decide{-1741,0} 
Decide{-2420,0} 
Decide{-3153,0} 
Decide{-4083,0} 
Decide{-4217,0} 
Decide{-600,0} 
Decide{-3340,0} 
Decide{-31,0} 
Decide{-2652,0} 
Decide{-4672,0} 
Decide{-1219,0} 
Decide{-4167,0} 
Decide{-1419,0} 
Decide{-3059,0} 
Decide{-4553,0} 
Decide{-2196,0} 
Decide{-392,0} 
Decide{-881,0} 
Decide{-4326,0} 
Decide{-3777,0} 
Decide{-4949,0} 
Decide{-3712,0} 
Decide{-1335,0} 
Decide{-4006,0} 
Decide{-1040,0} 
Decide{-258,0} 
Decide{-5042,0} 
Decide{-4362,0} 
Decide{-458,0} 
Decide{-502,0} 
Decide{-668,0} 
Decide{-3287,0} 
Decide{-863,0} 
Decide{-4985,0} 
Decide{-3444,0} 
Decide{-535,0} 
Decide{-4505,0} 
Decide{-2489,0} 
Decide{-4765,0} 
Decide{-2978,0} 
Decide{-1461,0} 
Decide{-2868,0} 
Decide{-148,0} 
Decide{-1109,0} 
Decide{-3043,0} 
Decide{-3919,0} 
Decide{-1950,0} 
Decide{-2070,0} 
Decide{-4427,0} 
Decide{-3383,0} 
Decide{-4671,0} 
Decide{-2375,0} 
Decide{-2716,0} 
Decide{-1480,0} 
Decide{-323,0} 
Decide{-4309,0} 
Decide{-3807,0} 
Decide{-794,0} 
Decide{-2781,0} 
Decide{55,1} 
Decide{-3397,0} 
Decide{-930,0} 
Decide{-1284,0} 
Decide{-3548,0} 
Decide{-1561,0} 
Decide{-4261,0} 
Decide{-1353,0} 
Decide{-2907,0} 
Decide{-3674,0} 
Decide{-409,0} 
Decide{-4598,0} 
Decide{-3206,0} 
Decide{-585,0} 
Decide{-2180,0} 
Decide{-2637,0} 
Decide{-1806,0} 
Decide{-1071,0} 
Decide{-1889,0} 
Decide{-4461,0} 
Decide{-197,0} 
Decide{-4244,0} 
Decide{-4884,0} 
Decide{-357,0} 
Decide{-865,0} 
Decide{-4969,0} 
Decide{-3585,0} 
Decide{-441,0} 
Decide{-1579,0} 
Decide{-5103,0} 
Decide{-4868,0} 
Decide{-2474,0} 
Decide{-1690,0} 
Decide{-5026,0} 
Decide{-3111,0} 
Decide{-292,0} 
Decide{-2213,0} 
Decide{-3237,0} 
Decide{-3862,0} 
Decide{-2274,0} 
Decide{-4688,0} 
Decide{-719,0} 
Decide{-3498,0} 
Decide{-3429,0} 
Decide{-2031,0} 
Decide{-2104,0} 
Decide{-2131,0} 
Decide{-2331,0} 
Decide{-4396,0} 
Decide{-4858,0} 
Decide{-79,0} 
Decide{-2664,0} 
Decide{-3761,0} 
Decide{-2623,0} 
Decide{-2554,0} 
Decide{-4781,0} 
Decide{-2148,0} 
Decide{-4067,0} 
Decide{-780,0} 
Decide{-96,0} 
Decide{-4994,0} 
Decide{-3254,0} 
Decide{-275,0} 
Decide{-165,0} 
Decide{72,1} 
Decide{-4379,0} 
Decide{-4022,0} 
Decide{-4152,0} 
Decide{-2852,0} 
Decide{-2881,0} 
Decide{-4900,0} 
Decide{-3601,0} 
Decide{-4570,0} 
Decide{-2230,0} 
Decide{-1267,0} 
Decide{-2994,0} 
Decide{-1615,0} 
Decide{-2314,0} 
Decide{-3846,0} 
Decide{-654,0} 
Decide{-2820,0} 
Decide{-3688,0} 
Decide{-551,0} 
Decide{-1370,0} 
Decide{-1755,0} 
Decide{-2836,0} 
Decide{-729,0} 
Decide{11,1} 
Decide{-3357,0} 
Decide{-3199,0} 
Decide{-2291,0} 
Decide{-1526,0} 
Decide{-2763,0} 
Decide{-4724,0} 
Decide{-4706,0} 
Decide{-3933,0} 
Decide{-2087,0} 
Decide{-5129,0} 
Decide{-3561,0} 
Decide{-1966,0} 
Decide{-946,0} 
Decide{-1189,0} 
Decide{-4488,0} 
Decide{-1124,0} 
Decide{-1025,0} 
Decide{89,1} 
Decide{-2051,0} 
Decide{-3302,0} 
Decide{-4227,0} 
Decide{-2537,0} 
Decide{-5117,0} 
Decide{-2047,0} 
Decide{-3887,0} 
Decide{-1302,0} 
Decide{-2735,0} 
Decide{-3965,0} 
Decide{-341,0} 
Decide{-1495,0} 
Decide{-2834,0} 
Decide{-3372,0} 
Decide{-3224,0} 
Decide{-1594,0} 
Decide{-2175,0} 
Decide{-2165,0} 
Decide{-568,0} 
Decide{-113,0} 
Decide{-2945,0} 
Decide{-4445,0} 
Decide{-895,0} 
Decide{-2346,0} 
Decide{-3839,0} 
Decide{-1249,0} 
Decide{-1772,0} 
Decide{-4053,0} 
Decide{-1206,0} 
Decide{-3413,0} 
Decide{-180,0} 
Decide{-702,0} 
Decide{-1875,0} 
Decide{-5008,0} 
Decide{-4842,0} 
Decide{-3745,0} 
Decide{-3317,0} 
Decide{-1661,0} 
Decide{28,1} 
Decide{38,1} 
Decide{-4185,0} 
Decide{-3808,0} 
Decide{-914,0} 
Decide{-3627,0} 
Decide{-426,0} 
Decide{-3427,0} 
Decide{-1980,0} 
Decide{-2519,0} 
Decide{87,1} 
Decide{-2456,0} 
Decide{-1006,0} 
Decide{-3973,0} 
Decide{-1890,0} 
Decide{-1511,0} 
Decide{-2102,0} 
Decide{-2924,0} 
Decide{-2939,0} 
Decide{-3128,0} 
Decide{-198,0} 
Decide{-2275,0} 
Decide{-4689,0} 
Decide{-1984,0} 
Decide{-2813,0} 
Decide{-746,0} 
Decide{-4708,0} 
Decide{-4815,0} 
Decide{-4343,0} 
Decide{-1720,0} 
Decide{-4723,0} 
Decide{-1316,0} 
Decide{-4118,0} 
Decide{-3705,0} 
Decide{-3516,0} 
Decide{-3484,0} 
Decide{-813,0} 
Decide{-290,0} 
Decide{-1839,0} 
Decide{-4394,0} 
Decide{-2116,0} 
Decide{-1176,0} 
Decide{-964,0} 
Decide{-3579,0} 
Decide{-64,0} 
Decide{-2364,0} 
Decide{-1286,0} 
Decide{-13,0} 
Decide{-1159,0} 
Decide{-4429,0} 
Decide{-2409,0} 
Decide{-475,0} 
Decide{-485,0} 
Decide{-4656,0} 
Decide{-3902,0} 
Decide{-325,0} 
Decide{-2750,0} 
Decide{-3098,0} 
Decide{-1925,0} 
Decide{-4917,0} 
Decide{-3950,0} 
Decide{-1629,0} 
Decide{-2962,0} 
Decide{-3547,0} 
Decide{-4934,0} 
Decide{-2001,0} 
Decide{-4951,0} 
Decide{-2053,0} 
Decide{-847,0} 
Decide{-1787,0} 
Decide{-687,0} 
Decide{-46,0} 
Decide{-3617,0} 
Decide{-1858,0} 
Decide{-518,0} 
Decide{-3990,0} 
Decide{-4201,0} 
Decide{-3025,0} 
Decide{-1646,0} 
Decide{-1072,0} 
Decide{-1235,0} 
Decide{-3728,0} 
Decide{-2679,0} 
Decide{-3270,0} 
Decide{-4520,0} 
Decide{-989,0} 
Decide{-3657,0} 
Decide{-4638,0} 
Decide{-4294,0} 
Decide{-2440,0} 
Decide{-1546,0} 
Decide{-1664,0} 
Decide{-3008,0} 
Decide{-4538,0} 
Decide{-1905,0} 
Decide{-2503,0} 
Decide{-1139,0} 
Decide{-2798,0} 
Decide{-601,0} 
Decide{-2419,0} 
Decide{-4276,0} 
Decide{-2179,0} 
Decide{-2653,0} 
Decide{-4036,0} 
Decide{-761,0} 
Decide{-2608,0} 
Decide{-1705,0} 
Decide{-2590,0} 
Decide{-5146,0} 
Decide{-1056,0} 
Decide{-1401,0} 
Decide{-30,0} 
Decide{-4748,0} 
Decide{-4674,0} 
Decide{-897,0} 
Decide{-620,0} 
Decide{-1934,0} 
Decide{-828,0} 
Decide{-1854,0} 
Decide{-214,0} 
Decide{-1092,0} 
Decide{-2016,0} 
Decide{-5043,0} 
Decide{-880,0} 
Decide{-669,0} 
Decide{-1740,0} 
Decide{-4984,0} 
Decide{-862,0} 
Decide{-3531,0} 
Decide{-4243,0} 
Decide{-29,0} 
Decide{-2575,0} 
Decide{-5084,0} 
Decide{-3530,0} 
Decide{-459,0} 
Decide{-3152,0} 
Decide{-1562,0} 
Decide{-795,0} 
Decide{-2780,0} 
Decide{-4084,0} 
Decide{-1175,0} 
Decide{-4260,0} 
Decide{-3081,0} 
Decide{-2393,0} 
Decide{-375,0} 
Decide{-2132,0} 
Decide{-4361,0} 
Decide{-3445,0} 
Decide{-80,0} 
Decide{-3286,0} 
Decide{-4504,0} 
Decide{-4412,0} 
Decide{-308,0} 
Decide{-3934,0} 
Decide{-3713,0} 
Decide{-1334,0} 
Decide{-973,0} 
Decide{-257,0} 
Decide{-2869,0} 
Decide{-4479,0} 
Decide{-1041,0} 
Decide{-501,0} 
Decide{-2258,0} 
Decide{-3776,0} 
Decide{-1614,0} 
Decide{-4673,0} 
Decide{-2069,0} 
Decide{-1218,0} 
Decide{-1630,0} 
Decide{-3042,0} 
Decide{-2979,0} 
Decide{-2242,0} 
Decide{-988,0} 
Decide{-3382,0} 
Decide{54,1} 
Decide{-131,0} 
Decide{-1108,0} 
Decide{-3918,0} 
Decide{-3673,0} 
Decide{-1436,0} 
Decide{-5060,0} 
Decide{-231,0} 
Decide{-1807,0} 
Decide{-1949,0} 
Decide{-2882,0} 
Decide{-1460,0} 
Decide{-4218,0} 
Decide{-2906,0} 
Decide{-1352,0} 
Decide{-1680,0} 
Decide{-408,0} 
Decide{-2717,0} 
Decide{-704,0} 
Decide{-4021,0} 
Decide{-3207,0} 
Decide{-1123,0} 
Decide{-4487,0} 
Decide{-3341,0} 
Decide{-4597,0} 
Decide{-4168,0} 
Decide{-931,0} 
Decide{-4764,0} 
Decide{-4554,0} 
Decide{-4782,0} 
Decide{-779,0} 
Decide{-5102,0} 
Decide{-4883,0} 
Decide{-4068,0} 
Decide{-4344,0} 
Decide{-3689,0} 
Decide{-864,0} 
Decide{-1479,0} 
Decide{-2376,0} 
Decide{-1578,0} 
Decide{-358,0} 
Decide{-442,0} 
Decide{-552,0} 
Decide{-4117,0} 
Decide{-2032,0} 
Decide{-653,0} 
Decide{-3586,0} 
Decide{-728,0} 
Decide{-4462,0} 
Decide{-3183,0} 
Decide{-3871,0} 
Decide{-2149,0} 
Decide{-4867,0} 
Decide{-3358,0} 
Decide{-97,0} 
Decide{-3301,0} 
Decide{-5027,0} 
Decide{-4857,0} 
Decide{-4151,0} 
Decide{-1756,0} 
Decide{-1190,0} 
Decide{-164,0} 
Decide{12,1} 
Decide{-4623,0} 
Decide{-4310,0} 
Decide{-2330,0} 
Decide{-3642,0} 
Decide{-3760,0} 
Decide{-2212,0} 
Decide{-4993,0} 
Decide{-4968,0} 
Decide{-2553,0} 
Decide{-3238,0} 
Decide{-1965,0} 
Decide{-1266,0} 
Decide{-3499,0} 
Decide{-534,0} 
Decide{-2313,0} 
Decide{-2663,0} 
Decide{-2473,0} 
Decide{-3602,0} 
Decide{-2819,0} 
Decide{-4571,0} 
Decide{-4005,0} 
Decide{71,1} 
Decide{-1823,0} 
Decide{-4378,0} 
Decide{-2764,0} 
Decide{-2853,0} 
Decide{-3058,0} 
Decide{-2229,0} 
Decide{-3255,0} 
Decide{-274,0} 
Decide{-1022,0} 
Decide{-2995,0} 
Decide{-425,0} 
Decide{-1874,0} 
Decide{-4327,0} 
Decide{-4707,0} 
Decide{-4798,0} 
Decide{-4134,0} 
Decide{-3562,0} 
Decide{-1369,0} 
Decide{-1024,0} 
Decide{-1527,0} 
Decide{-635,0} 
Decide{-2490,0} 
Decide{-3112,0} 
Decide{-2086,0} 
Decide{-3847,0} 
Decide{-2701,0} 
Decide{-2835,0} 
Decide{-5128,0} 
Decide{-4901,0} 
Decide{-947,0} 
Decide{-1727,0} 
Decide{-2602,0} 
Decide{-4499,0} 
Decide{-1402,0} 
Decide{-61,0} 
Decide{-1494,0} 
Decide{-3481,0} 
Decide{-3121,0} 
Decide{-1761,0} 
Decide{86,1} 
Decide{-2686,0} 
Decide{-3426,0} 
Decide{-4841,0} 
Decide{-3886,0} 
Decide{-3970,0} 
Decide{-680,0} 
Decide{-2944,0} 
Decide{-378,0} 
Decide{-1085,0} 
Decide{29,1} 
Decide{-737,0} 
Decide{-2938,0} 
Decide{-3710,0} 
Decide{-313,0} 
Decide{-4604,0} 
Decide{-2203,0} 
Decide{-2280,0} 
Decide{-4393,0} 
Decide{-1150,0} 
Decide{-4295,0} 
Decide{-630,0} 
Decide{-3542,0} 
Decide{-2516,0} 
Decide{-3809,0} 
Decide{-2837,0} 
Decide{-4328,0} 
Decide{-427,0} 
Decide{-3633,0} 
Decide{-224,0} 
Decide{-191,0} 
Decide{-3412,0} 
Decide{-2029,0} 
Decide{-2617,0} 
Decide{-2724,0} 
Decide{-1826,0} 
Decide{-4564,0} 
Decide{-4230,0} 
Decide{-4141,0} 
Decide{-2630,0} 
Decide{-4711,0} 
Decide{-3068,0} 
Decide{-1256,0} 
Decide{-3373,0} 
Decide{-1891,0} 
Decide{-517,0} 
Decide{-2219,0} 
Decide{-2439,0} 
Decide{-4092,0} 
Decide{-965,0} 
Decide{-2349,0} 
Decide{-1979,0} 
Decide{-4031,0} 
Decide{-3229,0} 
Decide{-802,0} 
Decide{-3962,0} 
Decide{-1337,0} 
Decide{-1005,0} 
Decide{-126,0} 
Decide{-1876,0} 
Decide{-1654,0} 
Decide{-1689,0} 
Decide{-2081,0} 
Decide{-4190,0} 
Decide{-2785,0} 
Decide{-362,0} 
Decide{-1478,0} 
Decide{-3611,0} 
Decide{-4979,0} 
Decide{-3396,0} 
Decide{-3105,0} 
Decide{-1199,0} 
Decide{-4661,0} 
Decide{-411,0} 
Decide{-2158,0} 
Decide{-1386,0} 
Decide{-1796,0} 
Decide{-2671,0} 
Decide{-4206,0} 
Decide{-3465,0} 
Decide{-2975,0} 
Decide{-175,0} 
Decide{-1543,0} 
Decide{-3320,0} 
Decide{-1841,0} 
Decide{-2365,0} 
Decide{-2923,0} 
Decide{-4694,0} 
Decide{-2410,0} 
Decide{-3143,0} 
Decide{-208,0} 
Decide{-484,0} 
Decide{-647,0} 
Decide{-4800,0} 
Decide{-4312,0} 
Decide{-3442,0} 
Decide{-4751,0} 
Decide{-1169,0} 
Decide{-2296,0} 
Decide{-817,0} 
Decide{-4279,0} 
Decide{-3733,0} 
Decide{-3526,0} 
Decide{-5036,0} 
Decide{-1926,0} 
Decide{-1134,0} 
Decide{-12,0} 
Decide{37,1} 
Decide{-4914,0} 
Decide{-1420,0} 
Decide{-3985,0} 
Decide{-3190,0} 
Decide{-2455,0} 
Decide{-1906,0} 
Decide{-476,0} 
Decide{-2752,0} 
Decide{-248,0} 
Decide{-3243,0} 
Decide{-1055,0} 
Decide{-1624,0} 
Decide{-2691,0} 
Decide{-2822,0} 
Decide{-565,0} 
Decide{-1152,0} 
Decide{-3901,0} 
Decide{-4125,0} 
Decide{-4046,0} 
Decide{-1861,0} 
Decide{-3020,0} 
Decide{-2247,0} 
Decide{-1321,0} 
Decide{-4409,0} 
Decide{-2569,0} 
Decide{-1933,0} 
Decide{-915,0} 
Decide{-2235,0} 
Decide{-297,0} 
Decide{-110,0} 
Decide{-3947,0} 
Decide{-582,0} 
Decide{-4931,0} 
Decide{-1746,0} 
Decide{-2500,0} 
Decide{-3304,0} 
Decide{-5051,0} 
Decide{-2707,0} 
Decide{-1272,0} 
Decide{-394,0} 
Decide{-2418,0} 
Decide{-900,0} 
Decide{-1589,0} 
Decide{-2097,0} 
Decide{-28,0} 
Decide{-3848,0} 
Decide{-3931,0} 
Decide{-2064,0} 
Decide{-4531,0} 
Decide{-2905,0} 
Decide{-2548,0} 
Decide{-1559,0} 
Decide{-395,0} 
Decide{-2783,0} 
Decide{-648,0} 
Decide{-3212,0} 
Decide{-346,0} 
Decide{-1524,0} 
Decide{-3779,0} 
Decide{-2959,0} 
Decide{-159,0} 
Decide{-4000,0} 
Decide{-4482,0} 
Decide{-2570,0} 
Decide{-4223,0} 
Decide{-948,0} 
Decide{-4263,0} 
Decide{-3381,0} 
Decide{-4898,0} 
Decide{-500,0} 
Decide{-2316,0} 
Decide{-4816,0} 
Decide{-4767,0} 
Decide{-94,0} 
Decide{-735,0} 
Decide{-1998,0} 
Decide{-972,0} 
Decide{-3664,0} 
Decide{-5018,0} 
Decide{-3159,0} 
Decide{-3572,0} 
Decide{-663,0} 
Decide{-1307,0} 
Decide{-1731,0} 
Decide{-1948,0} 
Decide{-2883,0} 
Decide{-2585,0} 
Decide{-4108,0} 
Decide{-1573,0} 
Decide{-598,0} 
Decide{-770,0} 
Decide{-4679,0} 
Decide{-2768,0} 
Decide{-3794,0} 
Decide{-2263,0} 
Decide{-1437,0} 
Decide{-4474,0} 
Decide{-2976,0} 
Decide{-835,0} 
Decide{53,1} 
Decide{-5109,0} 
Decide{-3395,0} 
Decide{-679,0} 
Decide{-2125,0} 
Decide{-3596,0} 
Decide{-329,0} 
Decide{-2692,0} 
Decide{-3718,0} 
Decide{-1355,0} 
Decide{-4783,0} 
Decide{-3342,0} 
Decide{-1609,0} 
Decide{-5069,0} 
Decide{-3035,0} 
Decide{-2870,0} 
Decide{-2394,0} 
Decide{-4061,0} 
Decide{-4158,0} 
Decide{-1225,0} 
Decide{-3917,0} 
Decide{-3174,0} 
Decide{-1038,0} 
Decide{-281,0} 
Decide{-2974,0} 
Decide{-713,0} 
Decide{-5134,0} 
Decide{-45,0} 
Decide{-4856,0} 
Decide{-4947,0} 
Decide{-3763,0} 
Decide{-2377,0} 
Decide{-4629,0} 
Decide{-4173,0} 
Decide{-443,0} 
Decide{-2264,0} 
Decide{-3290,0} 
Decide{-752,0} 
Decide{-614,0} 
Decide{-142,0} 
Decide{-4345,0} 
Decide{-1372,0} 
Decide{-2739,0} 
Decide{-3694,0} 
Decide{70,1} 
Decide{-241,0} 
Decide{-1776,0} 
Decide{-1964,0} 
Decide{-3557,0} 
Decide{-2533,0} 
Decide{-2472,0} 
Decide{-3136,0} 
Decide{-4311,0} 
Decide{-264,0} 
Decide{-1069,0} 
Decide{-3648,0} 
Decide{-867,0} 
Decide{13,1} 
Decide{-207,0} 
Decide{-549,0} 
Decide{-4587,0} 
Decide{-4377,0} 
Decide{-4016,0} 
Decide{-3359,0} 
Decide{-932,0} 
Decide{-3824,0} 
Decide{-1103,0} 
Decide{-176,0} 
Decide{-77,0} 
Decide{-2487,0} 
Decide{-3090,0} 
Decide{-1021,0} 
Decide{-4866,0} 
Decide{-3075,0} 
Decide{-4280,0} 
Decide{-2049,0} 
Decide{-4647,0} 
Decide{-533,0} 
Decide{-4101,0} 
Decide{-3053,0} 
Decide{-2295,0} 
Decide{-4799,0} 
Decide{-4442,0} 
Decide{-2186,0} 
Decide{-3511,0} 
Decide{-1674,0} 
Decide{-1459,0} 
Decide{-3273,0} 
Decide{-695,0} 
Decide{-4077,0} 
Decide{-4726,0} 
Decide{-4613,0} 
Decide{-1086,0} 
Decide{-2646,0} 
Decide{-2992,0} 
Decide{-3870,0} 
Decide{-1242,0} 
Decide{-4963,0} 
Decide{-1290,0} 
Decide{-2800,0} 
Decide{-2854,0} 
Decide{-5004,0} 
Decide{-4246,0} 
Decide{-4581,0} 
Decide{-2333,0} 
Decide{-5093,0} 
Decide{-3496,0} 
Decide{-1638,0} 
Decide{-4882,0} 
Decide{-1271,0} 
Decide{-5075,0} 
Decide{30,1} 
Decide{-736,0} 
Decide{-3482,0} 
Decide{-2937,0} 
Decide{-1151,0} 
Decide{-3374,0} 
Decide{-2281,0} 
Decide{-4840,0} 
Decide{-1963,0} 
Decide{-2348,0} 
Decide{-4015,0} 
Decide{-629,0} 
Decide{-4784,0} 
Decide{-767,0} 
Decide{-314,0} 
Decide{-4093,0} 
Decide{-3244,0} 
Decide{85,1} 
Decide{-3885,0} 
Decide{-681,0} 
Decide{-3971,0} 
Decide{-4498,0} 
Decide{-1403,0} 
Decide{-225,0} 
Decide{-3541,0} 
Decide{-3711,0} 
Decide{-4329,0} 
Decide{-3189,0} 
Decide{-849,0} 
Decide{-5052,0} 
Decide{-247,0} 
Decide{-4459,0} 
Decide{-1200,0} 
Decide{-62,0} 
Decide{-2517,0} 
Decide{-4865,0} 
Decide{-3825,0} 
Decide{-2838,0} 
Decide{-2045,0} 
Decide{-4392,0} 
Decide{-4351,0} 
Decide{-2202,0} 
Decide{-3632,0} 
Decide{-3289,0} 
Decide{-3948,0} 
Decide{-916,0} 
Decide{-1640,0} 
Decide{-3963,0} 
Decide{-2631,0} 
Decide{-1762,0} 
Decide{-3425,0} 
Decide{-125,0} 
Decide{-1655,0} 
Decide{-4603,0} 
Decide{-4229,0} 
Decide{-3067,0} 
Decide{-4565,0} 
Decide{-899,0} 
Decide{-4710,0} 
Decide{-1477,0} 
Decide{-2725,0} 
Decide{-1877,0} 
Decide{-3319,0} 
Decide{-4191,0} 
Decide{-784,0} 
Decide{36,1} 
Decide{-2784,0} 
Decide{-566,0} 
Decide{-2670,0} 
Decide{-444,0} 
Decide{-2603,0} 
Decide{-803,0} 
Decide{-2815,0} 
Decide{-1004,0} 
Decide{-1336,0} 
Decide{-44,0} 
Decide{-1726,0} 
Decide{-1070,0} 
Decide{-1509,0} 
Decide{-4978,0} 
Decide{-3747,0} 
Decide{-516,0} 
Decide{-3321,0} 
Decide{-2922,0} 
Decide{-4915,0} 
Decide{-2960,0} 
Decide{-3612,0} 
Decide{-1322,0} 
Decide{-296,0} 
Decide{-2236,0} 
Decide{-3466,0} 
Decide{-987,0} 
Decide{-410,0} 
Decide{-2218,0} 
Decide{-111,0} 
Decide{-2366,0} 
Decide{-1385,0} 
Decide{-4855,0} 
Decide{-3793,0} 
Decide{-1607,0} 
Decide{-11,0} 
Decide{-1797,0} 
Decide{-3900,0} 
Decide{-2080,0} 
Decide{-696,0} 
Decide{-2706,0} 
Decide{-3106,0} 
Decide{-4750,0} 
Decide{-1927,0} 
Decide{-4140,0} 
Decide{-2126,0} 
Decide{-3734,0} 
Decide{-646,0} 
Decide{-2501,0} 
Decide{-5037,0} 
Decide{-174,0} 
Decide{-4313,0} 
Decide{-3443,0} 
Decide{-1133,0} 
Decide{-2438,0} 
Decide{-1745,0} 
Decide{-4278,0} 
Decide{-4695,0} 
Decide{-3984,0} 
Decide{-3142,0} 
Decide{-209,0} 
Decide{-483,0} 
Decide{-4801,0} 
Decide{-1493,0} 
Decide{-1825,0} 
Decide{-2015,0} 
Decide{-2769,0} 
Decide{-1588,0} 
Decide{-1932,0} 
Decide{-4124,0} 
Decide{-460,0} 
Decide{-1860,0} 
Decide{-4047,0} 
Decide{-4932,0} 
Decide{-4410,0} 
Decide{-2690,0} 
Decide{-2411,0} 
Decide{-1421,0} 
Decide{-4207,0} 
Decide{-2454,0} 
Decide{-377,0} 
Decide{-477,0} 
Decide{-2753,0} 
Decide{-1273,0} 
Decide{-1544,0} 
Decide{-1170,0} 
Decide{-393,0} 
Decide{-583,0} 
Decide{-2096,0} 
Decide{-3679,0} 
Decide{-1153,0} 
Decide{-3122,0} 
Decide{-3525,0} 
Decide{-4532,0} 
Decide{-1907,0} 
Decide{-818,0} 
Decide{-2568,0} 
Decide{-2417,0} 
Decide{-4360,0} 
Decide{-3019,0} 
Decide{-1711,0} 
Decide{-836,0} 
Decide{-2248,0} 
Decide{-1525,0} 
Decide{-714,0} 
Decide{-3778,0} 
Decide{-1560,0} 
Decide{-734,0} 
Decide{-1623,0} 
Decide{-347,0} 
Decide{-2904,0} 
Decide{-2142,0} 
Decide{-2063,0} 
Decide{-971,0} 
Decide{-95,0} 
Decide{-4473,0} 
Decide{-3849,0} 
Decide{-3343,0} 
Decide{-3573,0} 
Decide{-3158,0} 
Decide{-1730,0} 
Decide{-2488,0} 
Decide{-2782,0} 
Decide{-4062,0} 
Decide{-1999,0} 
Decide{-4899,0} 
Decide{-4157,0} 
Decide{-882,0} 
Decide{-2315,0} 
Decide{-4481,0} 
Decide{-3380,0} 
Decide{-27,0} 
Decide{-1675,0} 
Decide{-1695,0} 
Decide{-1039,0} 
Decide{-662,0} 
Decide{-1438,0} 
Decide{-461,0} 
Decide{-499,0} 
Decide{-1255,0} 
Decide{-4766,0} 
Decide{-1119,0} 
Decide{-949,0} 
Decide{-4948,0} 
Decide{-2014,0} 
Decide{-4548,0} 
Decide{-1224,0} 
Decide{-584,0} 
Decide{-1840,0} 
Decide{-2754,0} 
Decide{-3034,0} 
Decide{-5003,0} 
Decide{-4662,0} 
Decide{-4208,0} 
Decide{-4107,0} 
Decide{-1608,0} 
Decide{-3916,0} 
Decide{-4817,0} 
Decide{-280,0} 
Decide{-4680,0} 
Decide{-5108,0} 
Decide{-4262,0} 
Decide{-3597,0} 
Decide{-1572,0} 
Decide{-2395,0} 
Decide{-2884,0} 
Decide{-2159,0} 
Decide{-1508,0} 
Decide{-4296,0} 
Decide{-1908,0} 
Decide{-158,0} 
Decide{-2977,0} 
Decide{-2584,0} 
Decide{-4426,0} 
Decide{-192,0} 
Decide{-2471,0} 
Decide{-599,0} 
Decide{-2871,0} 
Decide{-3719,0} 
Decide{-141,0} 
Decide{-4768,0} 
Decide{-5135,0} 
Decide{-78,0} 
Decide{-550,0} 
Decide{-4628,0} 
Decide{-4515,0} 
Decide{-2265,0} 
Decide{-2993,0} 
Decide{-3394,0} 
Decide{-4881,0} 
Decide{-5092,0} 
Decide{-4078,0} 
Decide{-4612,0} 
Decide{14,1} 
Decide{-4245,0} 
Decide{-3695,0} 
Decide{-3173,0} 
Decide{-4376,0} 
Decide{-933,0} 
Decide{-1291,0} 
Decide{-785,0} 
Decide{-866,0} 
Decide{-3230,0} 
Decide{-4460,0} 
Decide{-1354,0} 
Decide{-2534,0} 
Decide{-2030,0} 
Decide{-613,0} 
Decide{-1102,0} 
Decide{-330,0} 
Decide{-4725,0} 
Decide{-3137,0} 
Decide{-3344,0} 
Decide{-4443,0} 
Decide{-2185,0} 
Decide{-2740,0} 
Decide{-3510,0} 
Decide{-4839,0} 
Decide{-1458,0} 
Decide{-3411,0} 
Decide{-5019,0} 
Decide{-4174,0} 
Decide{-1308,0} 
Decide{-4646,0} 
Decide{-1777,0} 
Decide{-3052,0} 
Decide{-2294,0} 
Decide{-3932,0} 
Decide{52,1} 
Decide{-2647,0} 
Decide{-2378,0} 
Decide{-3091,0} 
Decide{-1241,0} 
Decide{-848,0} 
Decide{-4359,0} 
Decide{-3074,0} 
Decide{-3556,0} 
Decide{-2332,0} 
Decide{-4962,0} 
Decide{-2547,0} 
Decide{-2685,0} 
Decide{-3303,0} 
Decide{-1184,0} 
Decide{-2618,0} 
Decide{-3762,0} 
Decide{-1892,0} 
Decide{-1020,0} 
Decide{-3869,0} 
Decide{-3272,0} 
Decide{-2050,0} 
Decide{-1639,0} 
Decide{-2855,0} 
Decide{-4102,0} 
Decide{-3497,0} 
Decide{-532,0} 
Decide{-2821,0} 
Decide{-769,0} 
Decide{-3213,0} 
Decide{-1371,0} 
Decide{69,1} 
Decide{-3884,0} 
Decide{-5149,0} 
Decide{-852,0} 
Decide{-1878,0} 
Decide{-4188,0} 
Decide{-2027,0} 
Decide{-1087,0} 
Decide{-4094,0} 
Decide{-3227,0} 
Decide{-3765,0} 
Decide{-1962,0} 
Decide{-2604,0} 
Decide{-831,0} 
Decide{-1339,0} 
Decide{-59,0} 
Decide{-1813,0} 
Decide{100,1} 
Decide{-4582,0} 
Decide{-279,0} 
Decide{-4440,0} 
Decide{-682,0} 
Decide{-2990,0} 
Decide{-4033,0} 
Decide{-1201,0} 
Decide{-3826,0} 
Decide{-1083,0} 
Decide{-2099,0} 
Decide{-2936,0} 
Decide{-4350,0} 
Decide{-3188,0} 
Decide{-2351,0} 
Decide{-2453,0} 
Decide{-4330,0} 
Decide{-1725,0} 
Decide{-2856,0} 
Decide{-4895,0} 
Decide{-1136,0} 
Decide{-246,0} 
Decide{-1388,0} 
Decide{-226,0} 
Decide{-5074,0} 
Decide{-4864,0} 
Decide{-1790,0} 
Decide{-1809,0} 
Decide{-4929,0} 
Decide{-2514,0} 
Decide{-3750,0} 
Decide{-515,0} 
Decide{-5053,0} 
Decide{-3899,0} 
Decide{-2498,0} 
Decide{-1319,0} 
Decide{-2412,0} 
Decide{-917,0} 
Decide{-800,0} 
Decide{35,0} 
Decide{-4692,0} 
Decide{-360,0} 
Decide{-2787,0} 
Decide{-1404,0} 
Decide{-1977,0} 
Decide{-2201,0} 
Decide{-2722,0} 
Decide{-4602,0} 
Decide{-3544,0} 
Decide{-617,0} 
Decide{-2669,0} 
Decide{-2839,0} 
Decide{-4854,0} 
Decide{-380,0} 
Decide{-3375,0} 
Decide{-3141,0} 
Decide{-3005,0} 
Decide{-1089,0} 
Decide{-697,0} 
Decide{-3261,0} 
Decide{-3322,0} 
Decide{-751,0} 
Decide{-3463,0} 
Decide{-1641,0} 
Decide{-3693,0} 
Decide{-1828,0} 
Decide{-1476,0} 
Decide{-3107,0} 
Decide{-4517,0} 
Decide{-1003,0} 
Decide{-4139,0} 
Decide{-3070,0} 
Decide{-3960,0} 
Decide{-445,0} 
Decide{-3022,0} 
Decide{-1541,0} 
Decide{-5038,0} 
Decide{-2705,0} 
Decide{-2367,0} 
Decide{-4912,0} 
Decide{-396,0} 
Decide{-4713,0} 
Decide{-2127,0} 
Decide{-3780,0} 
Decide{-75,0} 
Decide{-1744,0} 
Decide{-4204,0} 
Decide{-1947,0} 
Decide{-2245,0} 
Decide{-1036,0} 
Decide{-902,0} 
Decide{-1843,0} 
Decide{-2437,0} 
Decide{-2921,0} 
Decide{-4659,0} 
Decide{-2587,0} 
Decide{-986,0} 
Decide{-263,0} 
Decide{84,0} 
Decide{-1775,0} 
Decide{-2298,0} 
Decide{-4048,0} 
Decide{-2012,0} 
Decide{-4550,0} 
Decide{-3424,0} 
Decide{-4123,0} 
Decide{-3731,0} 
Decide{-3968,0} 
Decide{-2217,0} 
Decide{-1422,0} 
Decide{-1591,0} 
Decide{-210,0} 
Decide{-1492,0} 
Decide{-4314,0} 
Decide{-3440,0} 
Decide{-4677,0} 
Decide{-3306,0} 
Decide{-1863,0} 
Decide{-2160,0} 
Decide{-4785,0} 
Decide{-1928,0} 
Decide{-766,0} 
Decide{-2416,0} 
Decide{-10,0} 
Decide{-4533,0} 
Decide{-1710,0} 
Decide{-3987,0} 
Decide{-3479,0} 
Decide{-2632,0} 
Decide{-4802,0} 
Decide{-4232,0} 
Decide{-3613,0} 
Decide{-2352,0} 
Decide{-2143,0} 
Decide{-1053,0} 
Decide{-3241,0} 
Decide{-1171,0} 
Decide{-563,0} 
Decide{-108,0} 
Decide{-1154,0} 
Decide{-91,0} 
Decide{-3945,0} 
Decide{-128,0} 
Decide{-580,0} 
Decide{-3528,0} 
Decide{-3123,0} 
Decide{-4728,0} 
Decide{-970,0} 
Decide{-5107,0} 
Decide{-798,0} 
Decide{-1996,0} 
Decide{-650,0} 
Decide{-3275,0} 
Decide{-715,0} 
Decide{-885,0} 
Decide{-1729,0} 
Decide{-1357,0} 
Decide{-950,0} 
Decide{-2572,0} 
Decide{-26,0} 
Decide{-4549,0} 
Decide{-3796,0} 
Decide{-1626,0} 
Decide{-1557,0} 
Decide{-3678,0} 
Decide{-413,0} 
Decide{-144,0} 
Decide{68,0} 
Decide{-193,0} 
Decide{-1457,0} 
Decide{-4476,0} 
Decide{-3376,0} 
Decide{-4297,0} 
Decide{-3258,0} 
Decide{-3157,0} 
Decide{-4248,0} 
Decide{-4156,0} 
Decide{-1105,0} 
Decide{-4221,0} 
Decide{-3850,0} 
Decide{-4106,0} 
Decide{-478,0} 
Decide{-2261,0} 
Decide{-4818,0} 
Decide{-92,0} 
Decide{-547,0} 
Decide{-1374,0} 
Decide{-3574,0} 
Decide{-5020,0} 
Decide{-3513,0} 
Decide{-262,0} 
Decide{-4002,0} 
Decide{-3716,0} 
Decide{-4945,0} 
Decide{-3929,0} 
Decide{-3598,0} 
Decide{-1439,0} 
Decide{-498,0} 
Decide{-664,0} 
Decide{-4171,0} 
Decide{-2144,0} 
Decide{-311,0} 
Decide{-4063,0} 
Decide{-3037,0} 
Decide{-4375,0} 
Decide{-3172,0} 
Decide{-1507,0} 
Decide{-2531,0} 
Decide{-1305,0} 
Decide{-1254,0} 
Decide{-1120,0} 
Decide{-5132,0} 
Decide{-833,0} 
Decide{-2470,0} 
Decide{-4896,0} 
Decide{-596,0} 
Decide{-363,0} 
Decide{-2885,0} 
Decide{-1611,0} 
Decide{-1694,0} 
Decide{-2318,0} 
Decide{-4965,0} 
Decide{-2648,0} 
Decide{-2415,0} 
Decide{-3292,0} 
Decide{-1909,0} 
Decide{-3663,0} 
Decide{-3210,0} 
Decide{15,0} 
Decide{-2737,0} 
Decide{-1223,0} 
Decide{-934,0} 
Decide{-2335,0} 
Decide{-1978,0} 
Decide{-2767,0} 
Decide{-4079,0} 
Decide{-4501,0} 
Decide{-4627,0} 
Decide{-4611,0} 
Decide{-3868,0} 
Decide{-4769,0} 
Decide{-3138,0} 
Decide{-1288,0} 
Decide{-3328,0} 
Decide{-1185,0} 
Decide{-2043,0} 
Decide{-161,0} 
Decide{-4457,0} 
Decide{-869,0} 
Decide{-4407,0} 
Decide{-2083,0} 
Decide{-5006,0} 
Decide{-3810,0} 
Decide{-4265,0} 
Decide{-4880,0} 
Decide{-2972,0} 
Decide{-3092,0} 
Decide{-3494,0} 
Decide{-43,0} 
Decide{-1575,0} 
Decide{-4737,0} 
Decide{-4566,0} 
Decide{-3006,0} 
Decide{-2278,0} 
Decide{-733,0} 
Decide{-1676,0} 
Decide{-1202,0} 
Decide{-2184,0} 
Decide{51,0} 
Decide{-1759,0} 
Decide{-3410,0} 
Decide{-3393,0} 
Decide{-4358,0} 
Decide{-3749,0} 
Decide{-1522,0} 
Decide{-3345,0} 
Decide{-2485,0} 
Decide{-178,0} 
Decide{-4981,0} 
Decide{-2619,0} 
Decide{-4838,0} 
Decide{-4282,0} 
Decide{-2550,0} 
Decide{-2903,0} 
Decide{-4894,0} 
Decide{-851,0} 
Decide{-632,0} 
Decide{-531,0} 
Decide{-2112,0} 
Decide{-2684,0} 
Decide{-2802,0} 
Decide{-60,0} 
Decide{-2396,0} 
Decide{-3647,0} 
Decide{-344,0} 
Decide{-768,0} 
Decide{-4753,0} 
Decide{-1067,0} 
Decide{-1794,0} 
Decide{-4583,0} 
Decide{-3559,0} 
Decide{-4018,0} 
Decide{-1656,0} 
Decide{-5091,0} 
Decide{-3915,0} 
Decide{-3708,0} 
Decide{-428,0} 
Decide{-1019,0} 
Decide{-2824,0} 
Decide{-1893,0} 
Decide{-2379,0} 
Decide{-1812,0} 
Decide{-2066,0} 
Decide{-1240,0} 
Decide{-4103,0} 
Decide{-3055,0} 
Decide{-4645,0} 
Decide{-3077,0} 
Decide{-4032,0} 
Decide{-1791,0} 
Decide{-3409,0} 
Decide{-1338,0} 
Decide{-3827,0} 
Decide{-312,0} 
Decide{-5150,0} 
Decide{-4349,0} 
Decide{-1724,0} 
Decide{-1879,0} 
Decide{-683,0} 
Decide{-379,0} 
Decide{34,0} 
Decide{-4516,0} 
Decide{-4189,0} 
Decide{-1084,0} 
Decide{-1657,0} 
Decide{-3709,0} 
Decide{-3480,0} 
Decide{-1760,0} 
Decide{-2431,0} 
Decide{-58,0} 
Decide{-1961,0} 
Decide{-3631,0} 
Decide{-2605,0} 
Decide{-5054,0} 
Decide{-1810,0} 
Decide{-4095,0} 
Decide{-2515,0} 
Decide{-2028,0} 
Decide{-2452,0} 
Decide{-4643,0} 
Decide{-2857,0} 
Decide{-1475,0} 
Decide{-3969,0} 
Decide{-3883,0} 
Decide{-3543,0} 
Decide{-3124,0} 
Decide{-446,0} 
Decide{-564,0} 
Decide{-1590,0} 
Decide{-2098,0} 
Decide{-278,0} 
Decide{-2350,0} 
Decide{-4441,0} 
Decide{-4786,0} 
Decide{-245,0} 
Decide{-2991,0} 
Decide{-750,0} 
Decide{-4853,0} 
Decide{-1405,0} 
Decide{-514,0} 
Decide{-2200,0} 
Decide{-2723,0} 
Decide{-1827,0} 
Decide{-5073,0} 
Decide{-918,0} 
Decide{-616,0} 
Decide{-2683,0} 
Decide{-801,0} 
Decide{-2668,0} 
Decide{-2786,0} 
Decide{-3764,0} 
Decide{-631,0} 
Decide{-1002,0} 
Decide{-2413,0} 
Decide{-4231,0} 
Decide{-361,0} 
Decide{-3069,0} 
Decide{-3108,0} 
Decide{-1946,0} 
Decide{-2082,0} 
Decide{-3323,0} 
Decide{-4138,0} 
Decide{-3961,0} 
Decide{-2436,0} 
Decide{-127,0} 
Decide{-3260,0} 
Decide{-3228,0} 
Decide{-1135,0} 
Decide{-4049,0} 
Decide{-4205,0} 
Decide{16,0} 
Decide{-4712,0} 
Decide{-1709,0} 
Decide{-3140,0} 
Decide{-1088,0} 
Decide{-1222,0} 
Decide{-698,0} 
Decide{-2704,0} 
Decide{-3360,0} 
Decide{-4484,0} 
Decide{-581,0} 
Decide{-2013,0} 
Decide{-1976,0} 
Decide{-2633,0} 
Decide{-4601,0} 
Decide{-5039,0} 
Decide{-3614,0} 
Decide{-1320,0} 
Decide{-462,0} 
Decide{83,0} 
Decide{-3242,0} 
Decide{-4425,0} 
Decide{-1424,0} 
Decide{-2216,0} 
Decide{-1387,0} 
Decide{-3527,0} 
Decide{-2872,0} 
Decide{-3439,0} 
Decide{-2499,0} 
Decide{-3898,0} 
Decide{-5056,0} 
Decide{-227,0} 
Decide{-2297,0} 
Decide{-1491,0} 
Decide{-2920,0} 
Decide{-2935,0} 
Decide{-4534,0} 
Decide{-4879,0} 
Decide{-4331,0} 
Decide{-883,0} 
Decide{-3187,0} 
Decide{-1542,0} 
Decide{-765,0} 
Decide{-1842,0} 
Decide{-4408,0} 
Decide{-4315,0} 
Decide{-3441,0} 
Decide{-1054,0} 
Decide{-109,0} 
Decide{-816,0} 
Decide{-1423,0} 
Decide{-4693,0} 
Decide{-3795,0} 
Decide{-4930,0} 
Decide{-211,0} 
Decide{-3986,0} 
Decide{-1408,0} 
Decide{-3021,0} 
Decide{-2823,0} 
Decide{-4122,0} 
Decide{-901,0} 
Decide{-985,0} 
Decide{-9,0} 
Decide{-4803,0} 
Decide{-1625,0} 
Decide{-4913,0} 
Decide{-3946,0} 
Decide{-3677,0} 
Decide{-3305,0} 
Decide{-2234,0} 
Decide{-3464,0} 
Decide{-1929,0} 
Decide{-2246,0} 
Decide{-1862,0} 
Decide{-2161,0} 
Decide{-2649,0} 
Decide{-3274,0} 
Decide{-2958,0} 
Decide{-412,0} 
Decide{-4483,0} 
Decide{-3930,0} 
Decide{-2957,0} 
Decide{-3377,0} 
Decide{-597,0} 
Decide{-2549,0} 
Decide{-4819,0} 
Decide{-1728,0} 
Decide{-2689,0} 
Decide{-2065,0} 
Decide{-4897,0} 
Decide{-1239,0} 
Decide{-1997,0} 
Decide{-4064,0} 
Decide{-1306,0} 
Decide{-884,0} 
Decide{-4001,0} 
Decide{-3851,0} 
Decide{-2571,0} 
Decide{-479,0} 
Decide{-4752,0} 
Decide{-4391,0} 
Decide{-4105,0} 
Decide{-3036,0} 
Decide{-3259,0} 
Decide{-3156,0} 
Decide{-2233,0} 
Decide{-716,0} 
Decide{-1558,0} 
Decide{-2279,0} 
Decide{-3171,0} 
Decide{-1104,0} 
Decide{-732,0} 
Decide{-1356,0} 
Decide{-480,0} 
Decide{-4222,0} 
Decide{-1456,0} 
Decide{-3599,0} 
Decide{-5021,0} 
Decide{-4475,0} 
Decide{-834,0} 
Decide{-969,0} 
Decide{-261,0} 
Decide{-93,0} 
Decide{-2586,0} 
Decide{-3717,0} 
Decide{-2886,0} 
Decide{-3575,0} 
Decide{-1037,0} 
Decide{-1610,0} 
Decide{-1693,0} 
Decide{-3512,0} 
Decide{-4678,0} 
Decide{-2183,0} 
Decide{-3662,0} 
Decide{-2262,0} 
Decide{-3732,0} 
Decide{-1155,0} 
Decide{-2317,0} 
Decide{-665,0} 
Decide{-783,0} 
Decide{-2973,0} 
Decide{-1910,0} 
Decide{67,0} 
Decide{-25,0} 
Decide{-4660,0} 
Decide{-4298,0} 
Decide{-1253,0} 
Decide{-1506,0} 
Decide{-2145,0} 
Decide{-4424,0} 
Decide{-194,0} 
Decide{-5106,0} 
Decide{-4374,0} 
Decide{-4172,0} 
Decide{-4017,0} 
Decide{-2414,0} 
Decide{-3867,0} 
Decide{-429,0} 
Decide{-1373,0} 
Decide{-4500,0} 
Decide{-3211,0} 
Decide{-1068,0} 
Decide{-1455,0} 
Decide{-42,0} 
Decide{-935,0} 
Decide{-2334,0} 
Decide{-3291,0} 
Decide{-4964,0} 
Decide{-497,0} 
Decide{-4727,0} 
Decide{-3329,0} 
Decide{-5133,0} 
Decide{-2620,0} 
Decide{-3646,0} 
Decide{-4736,0} 
Decide{-4567,0} 
Decide{-3392,0} 
Decide{-530,0} 
Decide{-615,0} 
Decide{-3093,0} 
Decide{-2469,0} 
Decide{-2380,0} 
Decide{-3495,0} 
Decide{-2667,0} 
Decide{-328,0} 
Decide{-4610,0} 
Decide{-2532,0} 
Decide{-4264,0} 
Decide{-4770,0} 
Decide{-3007,0} 
Decide{-4458,0} 
Decide{-160,0} 
Decide{-4080,0} 
Decide{-76,0} 
Decide{-1186,0} 
Decide{-4946,0} 
Decide{-868,0} 
Decide{-548,0} 
Decide{-3811,0} 
Decide{-1574,0} 
Decide{-2044,0} 
Decide{-4155,0} 
Decide{-2801,0} 
Decide{-2128,0} 
Decide{-1677,0} 
Decide{-4357,0} 
Decide{-4281,0} 
Decide{-3748,0} 
Decide{-1523,0} 
Decide{-295,0} 
Decide{-951,0} 
Decide{-177,0} 
Decide{-1203,0} 
Decide{-2486,0} 
Decide{-2738,0} 
Decide{-5090,0} 
Decide{-2048,0} 
Decide{-3054,0} 
Decide{-4644,0} 
Decide{-1270,0} 
Decide{50,0} 
Decide{-1811,0} 
Decide{-4980,0} 
Decide{-5005,0} 
Decide{-4247,0} 
Decide{-2902,0} 
Decide{-3558,0} 
Decide{-850,0} 
Decide{-3914,0} 
Decide{-3346,0} 
Decide{-3076,0} 
Decide{-143,0} 
Decide{-1289,0} 
Decide{-4626,0} 
Decide{-2397,0} 
Decide{-1018,0} 
Decide{-649,0} 
Decide{-799,0} 
Decide{-345,0} 
Decide{-1795,0} 
Decide{-1894,0} 
Decide{-4837,0} 
Decide{-513,0} 
Decide{-3454,0} 
Decide{-4012,0} 
Decide{-1146,0} 
Decide{-1539,0} 
Decide{-2565,0} 
Decide{-3408,0} 
Decide{-317,0} 
Decide{-3591,0} 
Decide{-1960,0} 
Decide{-2858,0} 
Decide{-4194,0} 
Decide{-4617,0} 
Decide{-1815,0} 
Decide{-2804,0} 
Decide{-4129,0} 
Decide{-3637,0} 
Decide{-936,0} 
Decide{-2321,0} 
Decide{-2988,0} 
Decide{-2430,0} 
Decide{-122,0} 
Decide{-1341,0} 
Decide{-3737,0} 
Decide{-3522,0} 
Decide{-5097,0} 
Decide{-3828,0} 
Decide{-2613,0} 
Decide{-1715,0} 
Decide{82,0} 
Decide{-3767,0} 
Decide{-57,0} 
Decide{-4739,0} 
Decide{-4348,0} 
Decide{-3049,0} 
Decide{-1406,0} 
Decide{-756,0} 
Decide{-3882,0} 
Decide{-4787,0} 
Decide{-447,0} 
Decide{-2170,0} 
Decide{-2223,0} 
Decide{-171,0} 
Decide{-2971,0} 
Decide{-1474,0} 
Decide{-1360,0} 
Decide{-919,0} 
Decide{-626,0} 
Decide{-4406,0} 
Decide{-2300,0} 
Decide{-2873,0} 
Decide{-4804,0} 
Decide{-5032,0} 
Decide{-578,0} 
Decide{-4422,0} 
Decide{-1260,0} 
Decide{-1001,0} 
Decide{-4560,0} 
Decide{-854,0} 
Decide{-2626,0} 
Decide{-3943,0} 
Decide{-3117,0} 
Decide{33,0} 
Decide{-2025,0} 
Decide{-4958,0} 
Decide{-3194,0} 
Decide{-2093,0} 
Decide{-4852,0} 
Decide{-4650,0} 
Decide{-3461,0} 
Decide{-3997,0} 
Decide{-3897,0} 
Decide{-3324,0} 
Decide{-448,0} 
Decide{-4267,0} 
Decide{-1945,0} 
Decide{-4559,0} 
Decide{-236,0} 
Decide{-1081,0} 
Decide{-382,0} 
Decide{-1471,0} 
Decide{-1765,0} 
Decide{-3147,0} 
Decide{-1344,0} 
Decide{-2121,0} 
Decide{-398,0} 
Decide{-3361,0} 
Decide{-3438,0} 
Decide{-106,0} 
Decide{-301,0} 
Decide{-5112,0} 
Decide{-3652,0} 
Decide{-1490,0} 
Decide{-1116,0} 
Decide{-1585,0} 
Decide{-2511,0} 
Decide{-5047,0} 
Decide{-4145,0} 
Decide{-1034,0} 
Decide{-2239,0} 
Decide{-187,0} 
Decide{-1669,0} 
Decide{-4438,0} 
Decide{-4878,0} 
Decide{-1425,0} 
Decide{-3782,0} 
Decide{-561,0} 
Decide{-3263,0} 
Decide{-774,0} 
Decide{-4633,0} 
Decide{-3698,0} 
Decide{-3103,0} 
Decide{-984,0} 
Decide{98,0} 
Decide{-4234,0} 
Decide{-3477,0} 
Decide{-464,0} 
Decide{-1211,0} 
Decide{-741,0} 
Decide{-2010,0} 
Decide{17,0} 
Decide{-2512,0} 
Decide{-3538,0} 
Decide{-4715,0} 
Decide{-2728,0} 
Decide{-463,0} 
Decide{-4544,0} 
Decide{-4332,0} 
Decide{-1325,0} 
Decide{-1604,0} 
Decide{-3958,0} 
Decide{-4925,0} 
Decide{-821,0} 
Decide{-3217,0} 
Decide{-1359,0} 
Decide{-333,0} 
Decide{-1650,0} 
Decide{-3982,0} 
Decide{-659,0} 
Decide{-1276,0} 
Decide{-1930,0} 
Decide{-2711,0} 
Decide{-2284,0} 
Decide{-2496,0} 
Decide{-8,0} 
Decide{-2674,0} 
Decide{-252,0} 
Decide{-3247,0} 
Decide{-1195,0} 
Decide{-2756,0} 
Decide{-2451,0} 
Decide{-3752,0} 
Decide{-4162,0} 
Decide{-1409,0} 
Decide{-3378,0} 
Decide{-3308,0} 
Decide{-4543,0} 
Decide{-3017,0} 
Decide{-4043,0} 
Decide{-2077,0} 
Decide{-839,0} 
Decide{-4698,0} 
Decide{-3164,0} 
Decide{-2435,0} 
Decide{-1845,0} 
Decide{-4943,0} 
Decide{-4251,0} 
Decide{-4316,0} 
Decide{-285,0} 
Decide{-3163,0} 
Decide{-2137,0} 
Decide{-724,0} 
Decide{-1750,0} 
Decide{-3592,0} 
Decide{-904,0} 
Decide{-1505,0} 
Decide{-1229,0} 
Decide{-822,0} 
Decide{-4755,0} 
Decide{-415,0} 
Decide{-2956,0} 
Decide{-203,0} 
Decide{-1685,0} 
Decide{1,0} 
Decide{-3668,0} 
Decide{-4926,0} 
Decide{-3086,0} 
Decide{-2398,0} 
Decide{-1050,0} 
Decide{-1846,0} 
Decide{-2581,0} 
Decide{-3682,0} 
Decide{-2826,0} 
Decide{-3200,0} 
Decide{-4511,0} 
Decide{-481,0} 
Decide{-3553,0} 
Decide{-4730,0} 
Decide{-350,0} 
Decide{-1634,0} 
Decide{-1911,0} 
Decide{-2840,0} 
Decide{-4618,0} 
Decide{-2887,0} 
Decide{-4592,0} 
Decide{-4455,0} 
Decide{-4683,0} 
Decide{-4591,0} 
Decide{-4299,0} 
Decide{-968,0} 
Decide{-2658,0} 
Decide{-4991,0} 
Decide{-1994,0} 
Decide{-887,0} 
Decide{-545,0} 
Decide{-2060,0} 
Decide{-3852,0} 
Decide{-3294,0} 
Decide{-73,0} 
Decide{-2529,0} 
Decide{-3607,0} 
Decide{-3407,0} 
Decide{-2338,0} 
Decide{-1099,0} 
Decide{-24,0} 
Decide{-2268,0} 
Decide{-3798,0} 
Decide{-1735,0} 
Decide{-709,0} 
Decide{-2381,0} 
Decide{-2772,0} 
Decide{-1294,0} 
Decide{-1620,0} 
Decide{-1181,0} 
Decide{-5065,0} 
Decide{-1865,0} 
Decide{-1520,0} 
Decide{-4910,0} 
Decide{-3065,0} 
Decide{-3134,0} 
Decide{-2788,0} 
Decide{-1519,0} 
Decide{-4211,0} 
Decide{-3866,0} 
Decide{-952,0} 
Decide{-3004,0} 
Decide{-806,0} 
Decide{-5014,0} 
Decide{-871,0} 
Decide{-496,0} 
Decide{-4356,0} 
Decide{-3248,0} 
Decide{-2041,0} 
Decide{-2110,0} 
Decide{-3812,0} 
Decide{-495,0} 
Decide{-4373,0} 
Decide{-3996,0} 
Decide{-1130,0} 
Decide{-3330,0} 
Decide{-4975,0} 
Decide{-2642,0} 
Decide{-1944,0} 
Decide{-2304,0} 
Decide{-3568,0} 
Decide{-5138,0} 
Decide{-430,0} 
Decide{-3567,0} 
Decide{-529,0} 
Decide{-610,0} 
Decide{-2483,0} 
Decide{-1164,0} 
Decide{-4771,0} 
Decide{-2154,0} 
Decide{-4097,0} 
Decide{66,0} 
Decide{-5123,0} 
Decide{-4665,0} 
Decide{-416,0} 
Decide{-268,0} 
Decide{-2919,0} 
Decide{-5079,0} 
Decide{-2207,0} 
Decide{-3722,0} 
Decide{-1830,0} 
Decide{-155,0} 
Decide{-1389,0} 
Decide{-2468,0} 
Decide{-220,0} 
Decide{-4577,0} 
Decide{-1246,0} 
Decide{-788,0} 
Decide{-4470,0} 
Decide{-1311,0} 
Decide{-4820,0} 
Decide{49,0} 
Decide{-365,0} 
Decide{-4892,0} 
Decide{-3347,0} 
Decide{-1065,0} 
Decide{-3913,0} 
Decide{-2597,0} 
Decide{-4494,0} 
Decide{-1895,0} 
Decide{-5000,0} 
Decide{-4836,0} 
Decide{-4112,0} 
Decide{-41,0} 
Decide{-1440,0} 
Decide{-1555,0} 
Decide{-2224,0} 
Decide{-1017,0} 
Decide{-1800,0} 
Decide{-4390,0} 
Decide{-2190,0} 
Decide{-138,0} 
Decide{-1454,0} 
Decide{-3492,0} 
Decide{-691,0} 
Decide{-2544,0} 
Decide{-3277,0} 
Decide{-2251,0} 
Decide{-2543,0} 
Decide{-2743,0} 
Decide{-3507,0} 
Decide{-3178,0} 
Decide{-2696,0} 
Decide{-4073,0} 
Decide{-1780,0} 
Decide{-594,0} 
Decide{-4195,0} 
Decide{-1082,0} 
Decide{-56,0} 
Decide{-1814,0} 
Decide{-3738,0} 
Decide{-1407,0} 
Decide{-4957,0} 
Decide{-5096,0} 
Decide{-937,0} 
Decide{-2320,0} 
Decide{-2222,0} 
Decide{-2989,0} 
Decide{-853,0} 
Decide{-3232,0} 
Decide{-170,0} 
Decide{-2559,0} 
Decide{32,0} 
Decide{-2803,0} 
Decide{-2026,0} 
Decide{-3455,0} 
Decide{-3193,0} 
Decide{-3118,0} 
Decide{-1340,0} 
Decide{-2859,0} 
Decide{-2092,0} 
Decide{-625,0} 
Decide{-1259,0} 
Decide{-121,0} 
Decide{-2901,0} 
Decide{-4607,0} 
Decide{81,0} 
Decide{-692,0} 
Decide{-449,0} 
Decide{-4423,0} 
Decide{-755,0} 
Decide{-4928,0} 
Decide{-4738,0} 
Decide{-3048,0} 
Decide{-1296,0} 
Decide{-2171,0} 
Decide{-318,0} 
Decide{-237,0} 
Decide{-4347,0} 
Decide{-381,0} 
Decide{-1896,0} 
Decide{-2627,0} 
Decide{-4266,0} 
Decide{-1000,0} 
Decide{-5140,0} 
Decide{-3829,0} 
Decide{-1699,0} 
Decide{-3031,0} 
Decide{-4805,0} 
Decide{-579,0} 
Decide{-5033,0} 
Decide{-3751,0} 
Decide{-1584,0} 
Decide{-188,0} 
Decide{-1470,0} 
Decide{-4632,0} 
Decide{-1829,0} 
Decide{-1473,0} 
Decide{-4089,0} 
Decide{-300,0} 
Decide{-1326,0} 
Decide{-4851,0} 
Decide{-4651,0} 
Decide{-4561,0} 
Decide{-4128,0} 
Decide{-2614,0} 
Decide{-4300,0} 
Decide{-3896,0} 
Decide{-3462,0} 
Decide{-3325,0} 
Decide{-4405,0} 
Decide{-4144,0} 
Decide{-4545,0} 
Decide{-4333,0} 
Decide{-3262,0} 
Decide{-1540,0} 
Decide{-3699,0} 
Decide{-334,0} 
Decide{-1210,0} 
Decide{-4059,0} 
Decide{-3537,0} 
Decide{-397,0} 
Decide{-1196,0} 
Decide{-3781,0} 
Decide{-2336,0} 
Decide{-3437,0} 
Decide{-3362,0} 
Decide{-3478,0} 
Decide{-5111,0} 
Decide{-1098,0} 
Decide{-4526,0} 
Decide{-251,0} 
Decide{-2874,0} 
Decide{-1035,0} 
Decide{-2729,0} 
Decide{-4233,0} 
Decide{-1489,0} 
Decide{18,0} 
Decide{-4439,0} 
Decide{-74,0} 
Decide{-4714,0} 
Decide{-1358,0} 
Decide{-1670,0} 
Decide{-740,0} 
Decide{-903,0} 
Decide{-465,0} 
Decide{-7,0} 
Decide{-1603,0} 
Decide{-2299,0} 
Decide{-2955,0} 
Decide{-3307,0} 
Decide{99,0} 
Decide{-3218,0} 
Decide{-2673,0} 
Decide{-3983,0} 
Decide{-2122,0} 
Decide{-1931,0} 
Decide{-2434,0} 
Decide{-5048,0} 
Decide{-3521,0} 
Decide{-4250,0} 
Decide{-1749,0} 
Decide{-1052,0} 
Decide{-3636,0} 
Decide{-2513,0} 
Decide{-2429,0} 
Decide{-1277,0} 
Decide{-4699,0} 
Decide{-3944,0} 
Decide{-2450,0} 
Decide{-2285,0} 
Decide{-2497,0} 
Decide{-1651,0} 
Decide{-2011,0} 
Decide{-2076,0} 
Decide{-1115,0} 
Decide{-4788,0} 
Decide{-1426,0} 
Decide{-3959,0} 
Decide{-2353,0} 
Decide{-1410,0} 
Decide{-1844,0} 
Decide{-3379,0} 
Decide{-4042,0} 
Decide{-3146,0} 
Decide{-983,0} 
Decide{-3881,0} 
Decide{-562,0} 
Decide{-2757,0} 
Decide{-3162,0} 
Decide{-3201,0} 
Decide{-4317,0} 
Decide{-1686,0} 
Decide{-284,0} 
Decide{-886,0} 
Decide{-4528,0} 
Decide{-90,0} 
Decide{-351,0} 
Decide{-3593,0} 
Decide{-4990,0} 
Decide{-2319,0} 
Decide{-2744,0} 
Decide{-3087,0} 
Decide{-2773,0} 
Decide{-1619,0} 
Decide{-1051,0} 
Decide{-1228,0} 
Decide{-4249,0} 
Decide{-4729,0} 
Decide{-4161,0} 
Decide{2,0} 
Decide{-2059,0} 
Decide{-4510,0} 
Decide{-482,0} 
Decide{-2934,0} 
Decide{-3797,0} 
Decide{-658,0} 
Decide{-2354,0} 
Decide{-3683,0} 
Decide{-2710,0} 
Decide{-1182,0} 
Decide{-4027,0} 
Decide{-1375,0} 
Decide{-2841,0} 
Decide{-5066,0} 
Decide{-4999,0} 
Decide{-4821,0} 
Decide{-1975,0} 
Decide{-1295,0} 
Decide{-1995,0} 
Decide{-2467,0} 
Decide{-4527,0} 
Decide{-23,0} 
Decide{-4927,0} 
Decide{65,0} 
Decide{-840,0} 
Decide{-643,0} 
Decide{-3293,0} 
Decide{-823,0} 
Decide{-2695,0} 
Decide{-1635,0} 
Decide{-773,0} 
Decide{-4772,0} 
Decide{-546,0} 
Decide{-1864,0} 
Decide{-1504,0} 
Decide{-2269,0} 
Decide{-4877,0} 
Decide{-528,0} 
Decide{-967,0} 
Decide{-2138,0} 
Decide{-107,0} 
Decide{-1734,0} 
Decide{-3608,0} 
Decide{-3928,0} 
Decide{-3853,0} 
Decide{-2337,0} 
Decide{-414,0} 
Decide{-3363,0} 
Decide{-2657,0} 
Decide{-4974,0} 
Decide{-870,0} 
Decide{48,0} 
Decide{-4578,0} 
Decide{-3249,0} 
Decide{-4058,0} 
Decide{-2042,0} 
Decide{-3813,0} 
Decide{-1129,0} 
Decide{-5078,0} 
Decide{-4178,0} 
Decide{-3865,0} 
Decide{-807,0} 
Decide{-2206,0} 
Decide{-154,0} 
Decide{-4098,0} 
Decide{-1066,0} 
Decide{-267,0} 
Decide{-40,0} 
Decide{-431,0} 
Decide{-4355,0} 
Decide{-2252,0} 
Decide{-4590,0} 
Decide{-4911,0} 
Decide{-609,0} 
Decide{-3651,0} 
Decide{-1959,0} 
Decide{-3723,0} 
Decide{-2382,0} 
Decide{-4944,0} 
Decide{-1521,0} 
Decide{-3406,0} 
Decide{-2530,0} 
Decide{-4011,0} 
Decide{-3135,0} 
Decide{-3064,0} 
Decide{-1441,0} 
Decide{-2109,0} 
Decide{-2918,0} 
Decide{-4372,0} 
Decide{-352,0} 
Decide{-4456,0} 
Decide{-1390,0} 
Decide{-4111,0} 
Decide{-676,0} 
Decide{-1453,0} 
Decide{-2643,0} 
Decide{-204,0} 
Decide{-5139,0} 
Decide{-3348,0} 
Decide{-3912,0} 
Decide{-5122,0} 
Decide{-3667,0} 
Decide{-2172,0} 
Decide{-4893,0} 
Decide{-4493,0} 
Decide{-3569,0} 
Decide{-3552,0} 
Decide{-789,0} 
Decide{-221,0} 
Decide{-3276,0} 
Decide{-1714,0} 
Decide{-1016,0} 
Decide{-432,0} 
Decide{-3766,0} 
Decide{-2155,0} 
Decide{-1165,0} 
Decide{-3331,0} 
Decide{-3493,0} 
Decide{-595,0} 
Decide{-2484,0} 
Decide{-4283,0} 
Decide{-1880,0} 
Decide{-2189,0} 
Decide{-2598,0} 
Decide{-4389,0} 
Decide{-2900,0} 
Decide{-4212,0} 
Decide{-137,0} 
Decide{-2580,0} 
Decide{-2825,0} 
Decide{-4835,0} 
Decide{-511,0} 
Decide{-3506,0} 
Decide{-4616,0} 
Decide{-3177,0} 
Decide{-2399,0} 
Decide{-4666,0} 
Decide{-2888,0} 
Decide{-4074,0} 
Decide{-364,0} 
Decide{-1781,0} 
Decide{-4469,0} 
Decide{-512,0} 
Decide{-5015,0} 
Decide{-4754,0} 
Decide{-3423,0} 
Decide{-1245,0} 
Decide{-4684,0} 
Decide{-1556,0} 
Decide{-1801,0} 
Decide{-2564,0} 
Decide{-2542,0} 
Decide{-3326,0} 
Decide{-4562,0} 
Decide{-3635,0} 
Decide{-1343,0} 
Decide{31,0} 
Decide{-1943,0} 
Decide{-189,0} 
Decide{-1472,0} 
Decide{-1469,0} 
Decide{-4014,0} 
Decide{-575,0} 
Decide{-1713,0} 
Decide{-2302,0} 
Decide{-2860,0} 
Decide{-315,0} 
Decide{-3192,0} 
Decide{96,0} 
Decide{-1258,0} 
Decide{-3051,0} 
Decide{-938,0} 
Decide{-2741,0} 
Decide{-3540,0} 
Decide{-5049,0} 
Decide{-1534,0} 
Decide{-628,0} 
Decide{-1362,0} 
Decide{-2282,0} 
Decide{-401,0} 
Decide{-4606,0} 
Decide{-2095,0} 
Decide{-739,0} 
Decide{-2806,0} 
Decide{-2600,0} 
Decide{-3696,0} 
Decide{-1698,0} 
Decide{-1079,0} 
Decide{-6,0} 
Decide{-693,0} 
Decide{-2969,0} 
Decide{-4648,0} 
Decide{-3830,0} 
Decide{-873,0} 
Decide{-4029,0} 
Decide{-2400,0} 
Decide{-1148,0} 
Decide{-3436,0} 
Decide{-104,0} 
Decide{-1763,0} 
Decide{-4346,0} 
Decide{-2156,0} 
Decide{-4127,0} 
Decide{-494,0} 
Decide{-1897,0} 
Decide{-953,0} 
Decide{-4176,0} 
Decide{-2023,0} 
Decide{-2628,0} 
Decide{-1376,0} 
Decide{-5034,0} 
Decide{-124,0} 
Decide{-3119,0} 
Decide{-710,0} 
Decide{-576,0} 
Decide{-2726,0} 
Decide{-238,0} 
Decide{-4090,0} 
Decide{-1411,0} 
Decide{-4977,0} 
Decide{-2615,0} 
Decide{-4631,0} 
Decide{-4404,0} 
Decide{-3800,0} 
Decide{-55,0} 
Decide{-450,0} 
Decide{-1652,0} 
Decide{-1209,0} 
Decide{-4850,0} 
Decide{-173,0} 
Decide{-1832,0} 
Decide{-4789,0} 
Decide{-1274,0} 
Decide{-1032,0} 
Decide{80,0} 
Decide{-3524,0} 
Decide{-999,0} 
Decide{-250,0} 
Decide{-3280,0} 
Decide{-3391,0} 
Decide{-3310,0} 
Decide{-4741,0} 
Decide{-2449,0} 
Decide{-3609,0} 
Decide{-3999,0} 
Decide{-1488,0} 
Decide{-4717,0} 
Decide{-2954,0} 
Decide{-1587,0} 
Decide{-4334,0} 
Decide{-2237,0} 
Decide{-385,0} 
Decide{-1671,0} 
Decide{-3681,0} 
Decide{-1346,0} 
Decide{-1197,0} 
Decide{-3911,0} 
Decide{-3754,0} 
Decide{-299,0} 
Decide{-1798,0} 
Decide{-2079,0} 
Decide{-2428,0} 
Decide{-1847,0} 
Decide{-1132,0} 
Decide{-888,0} 
Decide{-3245,0} 
Decide{-982,0} 
Decide{-3145,0} 
Decide{-3015,0} 
Decide{-4806,0} 
Decide{-4143,0} 
Decide{-1568,0} 
Decide{-2875,0} 
Decide{-2567,0} 
Decide{-3475,0} 
Decide{-4420,0} 
Decide{-2008,0} 
Decide{-466,0} 
Decide{-1912,0} 
Decide{-88,0} 
Decide{-2221,0} 
Decide{-4044,0} 
Decide{-3980,0} 
Decide{-3880,0} 
Decide{-837,0} 
Decide{19,0} 
Decide{-2433,0} 
Decide{-2140,0} 
Decide{-2509,0} 
Decide{-4696,0} 
Decide{-3459,0} 
Decide{-3735,0} 
Decide{-3018,0} 
Decide{-4546,0} 
Decide{-1323,0} 
Decide{-4941,0} 
Decide{-645,0} 
Decide{-2672,0} 
Decide{-4923,0} 
Decide{-3452,0} 
Decide{-543,0} 
Decide{-2123,0} 
Decide{-1606,0} 
Decide{-1427,0} 
Decide{-4236,0} 
Decide{-819,0} 
Decide{-1748,0} 
Decide{-71,0} 
Decide{-1687,0} 
Decide{-2249,0} 
Decide{-157,0} 
Decide{-368,0} 
Decide{-1622,0} 
Decide{-2828,0} 
Decide{-1101,0} 
Decide{-2526,0} 
Decide{-3490,0} 
Decide{-2770,0} 
Decide{-4388,0} 
Decide{-3214,0} 
Decide{-4529,0} 
Decide{-4472,0} 
Decide{-3002,0} 
Decide{-1816,0} 
Decide{-820,0} 
Decide{-1974,0} 
Decide{-4732,0} 
Decide{-2355,0} 
Decide{-2709,0} 
Decide{3,0} 
Decide{-2933,0} 
Decide{-4924,0} 
Decide{-3509,0} 
Decide{-4436,0} 
Decide{64,0} 
Decide{-3570,0} 
Decide{-283,0} 
Decide{-222,0} 
Decide{-1553,0} 
Decide{-4160,0} 
Decide{-1392,0} 
Decide{-3161,0} 
Decide{-22,0} 
Decide{-3594,0} 
Decide{-5121,0} 
Decide{-205,0} 
Decide{-4252,0} 
Decide{-5002,0} 
Decide{-661,0} 
Decide{-2694,0} 
Decide{-1118,0} 
Decide{-1183,0} 
Decide{-2755,0} 
Decide{-3666,0} 
Decide{-1063,0} 
Decide{-1867,0} 
Decide{-4110,0} 
Decide{-348,0} 
Decide{-2583,0} 
Decide{-3854,0} 
Decide{-87,0} 
Decide{-4209,0} 
Decide{-2139,0} 
Decide{-1571,0} 
Decide{-5067,0} 
Decide{-1733,0} 
Decide{-2842,0} 
Decide{-4453,0} 
Decide{-1992,0} 
Decide{-3364,0} 
Decide{-1227,0} 
Decide{-2656,0} 
Decide{-2466,0} 
Decide{-1345,0} 
Decide{-2205,0} 
Decide{-966,0} 
Decide{-2062,0} 
Decide{-5016,0} 
Decide{-3405,0} 
Decide{-1048,0} 
Decide{-4681,0} 
Decide{-2266,0} 
Decide{-4876,0} 
Decide{-418,0} 
Decide{-772,0} 
Decide{-3769,0} 
Decide{-3864,0} 
Decide{-4773,0} 
Decide{-4301,0} 
Decide{-4757,0} 
Decide{-3941,0} 
Decide{-2986,0} 
Decide{-4589,0} 
Decide{-3650,0} 
Decide{-4030,0} 
Decide{-3720,0} 
Decide{-4514,0} 
Decide{-3176,0} 
Decide{-4371,0} 
Decide{-1391,0} 
Decide{-4663,0} 
Decide{-1244,0} 
Decide{-2917,0} 
Decide{-331,0} 
Decide{-2383,0} 
Decide{-4822,0} 
Decide{-3073,0} 
Decide{-367,0} 
Decide{-4099,0} 
Decide{47,0} 
Decide{-3555,0} 
Decide{-4354,0} 
Decide{-3349,0} 
Decide{-1292,0} 
Decide{-2790,0} 
Decide{-920,0} 
Decide{-1377,0} 
Decide{-3231,0} 
Decide{-677,0} 
Decide{-612,0} 
Decide{-1517,0} 
Decide{-2340,0} 
Decide{-786,0} 
Decide{-4908,0} 
Decide{-1442,0} 
Decide{-4890,0} 
Decide{-804,0} 
Decide{-754,0} 
Decide{-1958,0} 
Decide{-954,0} 
Decide{-140,0} 
Decide{-2899,0} 
Decide{-4480,0} 
Decide{-1452,0} 
Decide{-5095,0} 
Decide{-4269,0} 
Decide{-2546,0} 
Decide{-3814,0} 
Decide{-1697,0} 
Decide{-1778,0} 
Decide{-3332,0} 
Decide{-2039,0} 
Decide{-2384,0} 
Decide{-2306,0} 
Decide{-3785,0} 
Decide{-3088,0} 
Decide{-433,0} 
Decide{-4961,0} 
Decide{-2188,0} 
Decide{-1015,0} 
Decide{-39,0} 
Decide{-3279,0} 
Decide{-1636,0} 
Decide{-3422,0} 
Decide{-266,0} 
Decide{-2323,0} 
Decide{-2644,0} 
Decide{-1147,0} 
Decide{-1672,0} 
Decide{-592,0} 
Decide{-2889,0} 
Decide{-4075,0} 
Decide{-5136,0} 
Decide{-1537,0} 
Decide{-4579,0} 
Decide{-4615,0} 
Decide{-4175,0} 
Decide{-1309,0} 
Decide{-4834,0} 
Decide{-1881,0} 
Decide{-510,0} 
Decide{-1166,0} 
Decide{-2599,0} 
Decide{-4497,0} 
Decide{-4192,0} 
Decide{-2481,0} 
Decide{-1942,0} 
Decide{-3050,0} 
Decide{-981,0} 
Decide{-2861,0} 
Decide{-4563,0} 
Decide{-2094,0} 
Decide{-3120,0} 
Decide{-4496,0} 
Decide{-1257,0} 
Decide{-1468,0} 
Decide{-1913,0} 
Decide{-1428,0} 
Decide{-2220,0} 
Decide{-4013,0} 
Decide{-3246,0} 
Decide{-123,0} 
Decide{-694,0} 
Decide{-2432,0} 
Decide{-4284,0} 
Decide{-3523,0} 
Decide{-738,0} 
Decide{-1361,0} 
Decide{-2601,0} 
Decide{-2805,0} 
Decide{-2301,0} 
Decide{-400,0} 
Decide{-2427,0} 
Decide{-4697,0} 
Decide{-3927,0} 
Decide{-190,0} 
Decide{-4126,0} 
Decide{-939,0} 
Decide{-4605,0} 
Decide{-1535,0} 
Decide{-493,0} 
Decide{-2024,0} 
Decide{-4091,0} 
Decide{-4976,0} 
Decide{-4302,0} 
Decide{-3460,0} 
Decide{-5077,0} 
Decide{-3942,0} 
Decide{-5,0} 
Decide{-4649,0} 
Decide{-872,0} 
Decide{-1712,0} 
Decide{-451,0} 
Decide{-2970,0} 
Decide{-1149,0} 
Decide{-105,0} 
Decide{-4849,0} 
Decide{-3831,0} 
Decide{-2157,0} 
Decide{-1764,0} 
Decide{-3998,0} 
Decide{-3327,0} 
Decide{-3350,0} 
Decide{-3736,0} 
Decide{-1653,0} 
Decide{-1080,0} 
Decide{-1208,0} 
Decide{-383,0} 
Decide{-4959,0} 
Decide{-855,0} 
Decide{46,0} 
Decide{-2401,0} 
Decide{-4512,0} 
Decide{-4177,0} 
Decide{-2629,0} 
Decide{-5035,0} 
Decide{-54,0} 
Decide{-711,0} 
Decide{-577,0} 
Decide{-2727,0} 
Decide{-3390,0} 
Decide{-4740,0} 
Decide{79,0} 
Decide{-298,0} 
Decide{-3033,0} 
Decide{-3610,0} 
Decide{-1324,0} 
Decide{-2876,0} 
Decide{-3104,0} 
Decide{-998,0} 
Decide{-4403,0} 
Decide{-4547,0} 
Decide{-3309,0} 
Decide{-239,0} 
Decide{-1688,0} 
Decide{-2238,0} 
Decide{-1898,0} 
Decide{97,0} 
Decide{-2078,0} 
Decide{-72,0} 
Decide{-4028,0} 
Decide{-2931,0} 
Decide{-2124,0} 
Decide{-1747,0} 
Decide{-1799,0} 
Decide{-3191,0} 
Decide{-3476,0} 
Decide{-3910,0} 
Decide{-249,0} 
Decide{-2448,0} 
Decide{-3697,0} 
Decide{-3680,0} 
Decide{-332,0} 
Decide{-1168,0} 
Decide{-627,0} 
Decide{-4716,0} 
Decide{-2510,0} 
Decide{-3783,0} 
Decide{-2566,0} 
Decide{-467,0} 
Decide{-3435,0} 
Decide{-1586,0} 
Decide{-1486,0} 
Decide{-4807,0} 
Decide{-560,0} 
Decide{-1569,0} 
Decide{-3216,0} 
Decide{-2283,0} 
Decide{-1605,0} 
Decide{-4437,0} 
Decide{-3539,0} 
Decide{-3957,0} 
Decide{-4790,0} 
Decide{-1503,0} 
Decide{-4421,0} 
Decide{-4942,0} 
Decide{-3453,0} 
Decide{-838,0} 
Decide{-89,0} 
Decide{-3816,0} 
Decide{-3144,0} 
Decide{-1275,0} 
Decide{-2141,0} 
Decide{-316,0} 
Decide{-1342,0} 
Decide{-4142,0} 
Decide{-3634,0} 
Decide{-2953,0} 
Decide{-4318,0} 
Decide{-3753,0} 
Decide{-1412,0} 
Decide{-384,0} 
Decide{-1033,0} 
Decide{-3016,0} 
Decide{-2009,0} 
Decide{-644,0} 
Decide{-4045,0} 
Decide{-1198,0} 
Decide{-172,0} 
Decide{20,0} 
Decide{-399,0} 
Decide{-3981,0} 
Decide{-5050,0} 
Decide{-906,0} 
Decide{-156,0} 
Decide{-2932,0} 
Decide{-905,0} 
Decide{-542,0} 
Decide{-2527,0} 
Decide{-1014,0} 
Decide{-139,0} 
Decide{-3665,0} 
Decide{-282,0} 
Decide{-223,0} 
Decide{-1049,0} 
Decide{-1226,0} 
Decide{-4530,0} 
Decide{-2645,0} 
Decide{-3215,0} 
Decide{-1393,0} 
Decide{-3799,0} 
Decide{-3595,0} 
Decide{-593,0} 
Decide{-5017,0} 
Decide{63,0} 
Decide{-4454,0} 
Decide{-3895,0} 
Decide{-1554,0} 
Decide{-1100,0} 
Decide{-1882,0} 
Decide{-2771,0} 
Decide{-4387,0} 
Decide{-5120,0} 
Decide{-2582,0} 
Decide{-3571,0} 
Decide{-2827,0} 
Decide{-4109,0} 
Decide{-1570,0} 
Decide{-3508,0} 
Decide{-544,0} 
Decide{-1732,0} 
Decide{-349,0} 
Decide{-1487,0} 
Decide{-3855,0} 
Decide{-4682,0} 
Decide{-2356,0} 
Decide{-660,0} 
Decide{-1621,0} 
Decide{-5110,0} 
Decide{-4335,0} 
Decide{-3160,0} 
Decide{-1866,0} 
Decide{-4235,0} 
Decide{-4774,0} 
Decide{-771,0} 
Decide{-3404,0} 
Decide{-2528,0} 
Decide{-4875,0} 
Decide{-4060,0} 
Decide{-712,0} 
Decide{-1293,0} 
Decide{-2267,0} 
Decide{-921,0} 
Decide{-2204,0} 
Decide{-3491,0} 
Decide{4,0} 
Decide{-2465,0} 
Decide{-2061,0} 
Decide{-4808,0} 
Decide{-3295,0} 
Decide{-527,0} 
Decide{-3175,0} 
Decide{-2708,0} 
Decide{-3768,0} 
Decide{-5068,0} 
Decide{-1973,0} 
Decide{-2693,0} 
Decide{-1117,0} 
Decide{-1993,0} 
Decide{-4159,0} 
Decide{-4513,0} 
Decide{-4370,0} 
Decide{-678,0} 
Decide{-240,0} 
Decide{-206,0} 
Decide{-2916,0} 
Decide{-4756,0} 
Decide{-3032,0} 
Decide{-4210,0} 
Decide{-3721,0} 
Decide{-2898,0} 
Decide{-3072,0} 
Decide{-3278,0} 
Decide{-4630,0} 
Decide{-3554,0} 
Decide{-2987,0} 
Decide{-2111,0} 
Decide{-3066,0} 
Decide{-2789,0} 
Decide{-805,0} 
Decide{-753,0} 
Decide{-1131,0} 
Decide{-1831,0} 
Decide{-2616,0} 
Decide{-2339,0} 
Decide{-3649,0} 
Decide{-3365,0} 
Decide{-417,0} 
Decide{-4909,0} 
Decide{-4588,0} 
Decide{-1443,0} 
Decide{-1518,0} 
Decide{-955,0} 
Decide{-4823,0} 
Decide{-4495,0} 
Decide{-2843,0} 
Decide{-2187,0} 
Decide{-4268,0} 
Decide{-4731,0} 
Decide{-611,0} 
Decide{-4076,0} 
Decide{-1167,0} 
Decide{-2482,0} 
Decide{-5076,0} 
Decide{-1207,0} 
Decide{-4664,0} 
Decide{-21,0} 
Decide{-4353,0} 
Decide{-4285,0} 
Decide{-3089,0} 
Decide{-3784,0} 
Decide{-2250,0} 
Decide{-4614,0} 
Decide{-1310,0} 
Decide{-1696,0} 
Decide{-2368,0} 
Decide{-4891,0} 
Decide{-2385,0} 
Decide{-4193,0} 
Decide{-3003,0} 
Decide{-3879,0} 
Decide{-2305,0} 
Decide{-5094,0} 
Decide{-3815,0} 
Decide{-4833,0} 
Decide{-4580,0} 
Decide{-2040,0} 
Decide{-434,0} 
Decide{-787,0} 
Decide{-4100,0} 
Decide{-1451,0} 
Decide{-1779,0} 
Decide{-3333,0} 
Decide{-366,0} 
Decide{-38,0} 
Decide{-2890,0} 
Decide{-3926,0} 
Decide{-5137,0} 
Decide{-3421,0} 
Decide{-265,0} 
Decide{-4471,0} 
Decide{-1064,0} 
Decide{-1243,0} 
Decide{-2687,0} 
Decide{-4960,0} 
Decide{-1673,0} 
Decide{-1957,0} 
Decide{-5001,0} 
Decide{-1637,0} 
Decide{-2545,0} 
Decide{-1538,0} 
Decide{-2322,0} 
Decide{-509,0} 
Decide{-2742,0} 
Decide{-573,0} 
Decide{-2006,0} 
Decide{-1429,0} 
Decide{-980,0} 
Decide{-2609,0} 
Decide{-3198,0} 
Decide{-468,0} 
Decide{-1215,0} 
Decide{-1704,0} 
Decide{-3756,0} 
Decide{-1914,0} 
Decide{-3993,0} 
Decide{-703,0} 
Decide{-2174,0} 
Decide{-3924,0} 
Decide{-3457,0} 
Decide{-1941,0} 
Decide{-2732,0} 
Decide{-5011,0} 
Decide{-2793,0} 
Decide{-2862,0} 
Decide{-2402,0} 
Decide{-2211,0} 
Decide{-5116,0} 
Decide{-1313,0} 
Decide{-289,0} 
Decide{-4198,0} 
Decide{-3939,0} 
Decide{-1597,0} 
Decide{-2426,0} 
Decide{-2325,0} 
Decide{-2479,0} 
Decide{-2715,0} 
Decide{-1662,0} 
Decide{-2678,0} 
Decide{-3626,0} 
Decide{-118,0} 
Decide{-1516,0} 
Decide{-672,0} 
Decide{-2915,0} 
Decide{-745,0} 
Decide{94,0} 
Decide{-558,0} 
Decide{-4336,0} 
Decide{-53,0} 
Decide{-1719,0} 
Decide{-2556,0} 
Decide{-4776,0} 
Decide{-4743,0} 
Decide{-4848,0} 
Decide{-1769,0} 
Decide{-4702,0} 
Decide{-1849,0} 
Decide{-2594,0} 
Decide{-3129,0} 
Decide{-5143,0} 
Decide{-1364,0} 
Decide{-387,0} 
Decide{-2166,0} 
Decide{-2272,0} 
Decide{-232,0} 
Decide{-4054,0} 
Decide{-1991,0} 
Decide{-4906,0} 
Decide{-3028,0} 
Decide{-3450,0} 
Decide{-3618,0} 
Decide{-825,0} 
Decide{-5028,0} 
Decide{-638,0} 
Decide{-1248,0} 
Decide{-1142,0} 
Decide{-3863,0} 
Decide{-492,0} 
Decide{-4523,0} 
Decide{-1378,0} 
Decide{-4303,0} 
Decide{-1582,0} 
Decide{-3235,0} 
Decide{-3351,0} 
Decide{-4,0} 
Decide{-3580,0} 
Decide{-199,0} 
Decide{-3741,0} 
Decide{-875,0} 
Decide{-3641,0} 
Decide{-452,0} 
Decide{-2638,0} 
Decide{-2776,0} 
Decide{-3802,0} 
Decide{-3909,0} 
Decide{-4654,0} 
Decide{-3099,0} 
Decide{-1095,0} 
Decide{-69,0} 
Decide{-1899,0} 
Decide{-2463,0} 
Decide{-4996,0} 
Decide{-923,0} 
Decide{-4719,0} 
Decide{-4791,0} 
Decide{-1600,0} 
Decide{-1834,0} 
Decide{-525,0} 
Decide{-1413,0} 
Decide{-3954,0} 
Decide{-4921,0} 
Decide{-2808,0} 
Decide{-1329,0} 
Decide{-997,0} 
Decide{-810,0} 
Decide{-4402,0} 
Decide{-1234,0} 
Decide{-3221,0} 
Decide{-2117,0} 
Decide{-2309,0} 
Decide{-1681,0} 
Decide{-4039,0} 
Decide{-4182,0} 
Decide{-3978,0} 
Decide{-1030,0} 
Decide{-1647,0} 
Decide{-760,0} 
Decide{-134,0} 
Decide{-1567,0} 
Decide{-403,0} 
Decide{-1502,0} 
Decide{-2256,0} 
Decide{-3282,0} 
Decide{-3265,0} 
Decide{-4238,0} 
Decide{-3473,0} 
Decide{-4637,0} 
Decide{-4539,0} 
Decide{-3702,0} 
Decide{-2178,0} 
Decide{-1394,0} 
Decide{-3656,0} 
Decide{-1665,0} 
Decide{-1784,0} 
Decide{-2930,0} 
Decide{-215,0} 
Decide{-305,0} 
Decide{-1077,0} 
Decide{21,0} 
Decide{-2747,0} 
Decide{78,0} 
Decide{-2967,0} 
Decide{-4319,0} 
Decide{-4824,0} 
Decide{-2877,0} 
Decide{-623,0} 
Decide{-3389,0} 
Decide{-720,0} 
Decide{-3434,0} 
Decide{-2195,0} 
Decide{-3335,0} 
Decide{-4418,0} 
Decide{-4831,0} 
Decide{-3817,0} 
Decide{-2507,0} 
Decide{-3013,0} 
Decide{-1112,0} 
Decide{-1348,0} 
Decide{-2952,0} 
Decide{-727,0} 
Decide{-3533,0} 
Decide{-2056,0} 
Decide{-890,0} 
Decide{-2446,0} 
Decide{-541,0} 
Decide{-2830,0} 
Decide{62,0} 
Decide{-1111,0} 
Decide{-2577,0} 
Decide{-4572,0} 
Decide{-85,0} 
Decide{-3488,0} 
Decide{-1013,0} 
Decide{-1160,0} 
Decide{-670,0} 
Decide{-4386,0} 
Decide{-1046,0} 
Decide{-4734,0} 
Decide{-2447,0} 
Decide{-4165,0} 
Decide{-907,0} 
Decide{-1869,0} 
Decide{-2464,0} 
Decide{-2369,0} 
Decide{-1616,0} 
Decide{-2700,0} 
Decide{-2133,0} 
Decide{-2654,0} 
Decide{-3061,0} 
Decide{-3000,0} 
Decide{-792,0} 
Decide{-4254,0} 
Decide{-3082,0} 
Decide{-150,0} 
Decide{-2072,0} 
Decide{-1631,0} 
Decide{-1739,0} 
Decide{-4874,0} 
Decide{-3686,0} 
Decide{-605,0} 
Decide{-1804,0} 
Decide{-3894,0} 
Decide{-3771,0} 
Decide{-3204,0} 
Decide{-4775,0} 
Decide{-37,0} 
Decide{-5061,0} 
Decide{-4271,0} 
Decide{-4555,0} 
Decide{-2357,0} 
Decide{-4939,0} 
Decide{-4085,0} 
Decide{-167,0} 
Decide{-370,0} 
Decide{-526,0} 
Decide{-3550,0} 
Decide{-3151,0} 
Decide{-1217,0} 
Decide{-2524,0} 
Decide{-1818,0} 
Decide{45,0} 
Decide{-1972,0} 
Decide{-3832,0} 
Decide{-4809,0} 
Decide{-2021,0} 
Decide{-4596,0} 
Decide{-3672,0} 
Decide{-922,0} 
Decide{-705,0} 
Decide{-4024,0} 
Decide{-1061,0} 
Decide{5,0} 
Decide{-4069,0} 
Decide{-3403,0} 
Decide{-4434,0} 
Decide{-778,0} 
Decide{-4116,0} 
Decide{-1581,0} 
Decide{-2495,0} 
Decide{-2255,0} 
Decide{-3045,0} 
Decide{-1467,0} 
Decide{-1177,0} 
Decide{-3519,0} 
Decide{-3182,0} 
Decide{-843,0} 
Decide{-2662,0} 
Decide{-3130,0} 
Decide{-420,0} 
Decide{-102,0} 
Decide{-591,0} 
Decide{-5101,0} 
Decide{-4622,0} 
Decide{-2844,0} 
Decide{-1265,0} 
Decide{-1703,0} 
Decide{-273,0} 
Decide{-4150,0} 
Decide{-3366,0} 
Decide{-2984,0} 
Decide{-4971,0} 
Decide{-4490,0} 
Decide{-2386,0} 
Decide{-3563,0} 
Decide{-2089,0} 
Decide{-2228,0} 
Decide{-435,0} 
Decide{-2150,0} 
Decide{-4832,0} 
Decide{-3603,0} 
Decide{-3923,0} 
Decide{-3840,0} 
Decide{-1191,0} 
Decide{-2897,0} 
Decide{-5127,0} 
Decide{-4669,0} 
Decide{-4507,0} 
Decide{-3313,0} 
Decide{-3296,0} 
Decide{-20,0} 
Decide{-3878,0} 
Decide{-2539,0} 
Decide{-5083,0} 
Decide{-1532,0} 
Decide{-338,0} 
Decide{-3726,0} 
Decide{-3587,0} 
Decide{-2761,0} 
Decide{-2561,0} 
Decide{-3787,0} 
Decide{-4008,0} 
Decide{-857,0} 
Decide{-216,0} 
Decide{-508,0} 
Decide{-1883,0} 
Decide{-1956,0} 
Decide{-4215,0} 
Decide{-3113,0} 
Decide{-1299,0} 
Decide{-4286,0} 
Decide{-4687,0} 
Decide{-3420,0} 
Decide{-1444,0} 
Decide{-2106,0} 
Decide{-4451,0} 
Decide{-4759,0} 
Decide{-1126,0} 
Decide{-2342,0} 
Decide{-5010,0} 
Decide{-4133,0} 
Decide{-3625,0} 
Decide{-940,0} 
Decide{-1753,0} 
Decide{-2308,0} 
Decide{-3334,0} 
Decide{-182,0} 
Decide{-2037,0} 
Decide{-4369,0} 
Decide{-4320,0} 
Decide{-256,0} 
Decide{-4704,0} 
Decide{-2289,0} 
Decide{-1282,0} 
Decide{-2891,0} 
Decide{-1663,0} 
Decide{-2733,0} 
Decide{-1430,0} 
Decide{-2007,0} 
Decide{95,0} 
Decide{-1596,0} 
Decide{-1450,0} 
Decide{-3502,0} 
Decide{-469,0} 
Decide{-1141,0} 
Decide{-4419,0} 
Decide{-1770,0} 
Decide{-2303,0} 
Decide{-3458,0} 
Decide{-4132,0} 
Decide{-1300,0} 
Decide{-1848,0} 
Decide{-1900,0} 
Decide{-2677,0} 
Decide{-4953,0} 
Decide{-4540,0} 
Decide{-1915,0} 
Decide{-4055,0} 
Decide{-574,0} 
Decide{-52,0} 
Decide{-1718,0} 
Decide{-2173,0} 
Decide{-1078,0} 
Decide{-2324,0} 
Decide{-1314,0} 
Decide{-4352,0} 
Decide{-3252,0} 
Decide{-1363,0} 
Decide{-288,0} 
Decide{-119,0} 
Decide{-5115,0} 
Decide{-2863,0} 
Decide{-2088,0} 
Decide{-2792,0} 
Decide{-5144,0} 
Decide{-3114,0} 
Decide{-355,0} 
Decide{-826,0} 
Decide{-3027,0} 
Decide{-3925,0} 
Decide{-3856,0} 
Decide{-2425,0} 
Decide{-637,0} 
Decide{-2968,0} 
Decide{-2714,0} 
Decide{-2951,0} 
Decide{-4777,0} 
Decide{-4742,0} 
Decide{-2167,0} 
Decide{-744,0} 
Decide{-3801,0} 
Decide{-673,0} 
Decide{-2914,0} 
Decide{-3,0} 
Decide{-4337,0} 
Decide{-1214,0} 
Decide{-2118,0} 
Decide{-3742,0} 
Decide{-4199,0} 
Decide{-233,0} 
Decide{-874,0} 
Decide{-4888,0} 
Decide{-2403,0} 
Decide{-2210,0} 
Decide{-3581,0} 
Decide{-956,0} 
Decide{-5029,0} 
Decide{-491,0} 
Decide{-1940,0} 
Decide{-2273,0} 
Decide{-3640,0} 
Decide{-3833,0} 
Decide{-2022,0} 
Decide{-1990,0} 
Decide{-4703,0} 
Decide{-4907,0} 
Decide{-4522,0} 
Decide{-3992,0} 
Decide{-3451,0} 
Decide{-2593,0} 
Decide{-3619,0} 
Decide{-1414,0} 
Decide{-1263,0} 
Decide{-184,0} 
Decide{-2748,0} 
Decide{-3955,0} 
Decide{-2639,0} 
Decide{-4718,0} 
Decide{-3281,0} 
Decide{-1031,0} 
Decide{-1501,0} 
Decide{-4655,0} 
Decide{-2462,0} 
Decide{-1785,0} 
Decide{-3908,0} 
Decide{-4401,0} 
Decide{-1833,0} 
Decide{-3150,0} 
Decide{-3755,0} 
Decide{-3311,0} 
Decide{-721,0} 
Decide{-4825,0} 
Decide{-1682,0} 
Decide{-4038,0} 
Decide{-1347,0} 
Decide{-559,0} 
Decide{-1233,0} 
Decide{-4183,0} 
Decide{-3979,0} 
Decide{44,0} 
Decide{-2508,0} 
Decide{-524,0} 
Decide{77,0} 
Decide{-386,0} 
Decide{-908,0} 
Decide{-3655,0} 
Decide{-2878,0} 
Decide{-996,0} 
Decide{-1328,0} 
Decide{-811,0} 
Decide{-4288,0} 
Decide{-622,0} 
Decide{-4636,0} 
Decide{-4237,0} 
Decide{-70,0} 
Decide{-4830,0} 
Decide{-3014,0} 
Decide{-133,0} 
Decide{-2929,0} 
Decide{22,0} 
Decide{-2177,0} 
Decide{-1395,0} 
Decide{-306,0} 
Decide{-5062,0} 
Decide{-979,0} 
Decide{-402,0} 
Decide{-2257,0} 
Decide{-3532,0} 
Decide{-2240,0} 
Decide{-726,0} 
Decide{-2055,0} 
Decide{-2610,0} 
Decide{-5044,0} 
Decide{-3222,0} 
Decide{-3703,0} 
Decide{-889,0} 
Decide{-2445,0} 
Decide{-1666,0} 
Decide{-1192,0} 
Decide{-3167,0} 
Decide{-3388,0} 
Decide{-3474,0} 
Decide{-3100,0} 
Decide{-1094,0} 
Decide{-2194,0} 
Decide{-4940,0} 
Decide{-4873,0} 
Decide{-3433,0} 
Decide{-4922,0} 
Decide{-3818,0} 
Decide{-255,0} 
Decide{-1868,0} 
Decide{-3083,0} 
Decide{-3060,0} 
Decide{-4385,0} 
Decide{-1047,0} 
Decide{-4733,0} 
Decide{-4216,0} 
Decide{-4595,0} 
Decide{-2829,0} 
Decide{-1110,0} 
Decide{-2576,0} 
Decide{-1216,0} 
Decide{-4670,0} 
Decide{-369,0} 
Decide{-2655,0} 
Decide{-3956,0} 
Decide{-1485,0} 
Decide{60,0} 
Decide{61,0} 
Decide{-3419,0} 
Decide{-3893,0} 
Decide{-200,0} 
Decide{-4573,0} 
Decide{-4995,0} 
Decide{-3770,0} 
Decide{-3671,0} 
Decide{-1012,0} 
Decide{-4023,0} 
Decide{-436,0} 
Decide{-856,0} 
Decide{-3264,0} 
Decide{-1971,0} 
Decide{-3489,0} 
Decide{-844,0} 
Decide{-4986,0} 
Decide{-540,0} 
Decide{-604,0} 
Decide{-2151,0} 
Decide{-706,0} 
Decide{-4086,0} 
Decide{-149,0} 
Decide{-2370,0} 
Decide{-3877,0} 
Decide{-3001,0} 
Decide{-4810,0} 
Decide{-4253,0} 
Decide{-4166,0} 
Decide{-2892,0} 
Decide{-4007,0} 
Decide{-1955,0} 
Decide{6,0} 
Decide{-3687,0} 
Decide{-1805,0} 
Decide{-4452,0} 
Decide{-1738,0} 
Decide{-1552,0} 
Decide{-2358,0} 
Decide{-4621,0} 
Decide{-166,0} 
Decide{-4304,0} 
Decide{-3205,0} 
Decide{-793,0} 
Decide{-1283,0} 
Decide{-4270,0} 
Decide{-3549,0} 
Decide{-322,0} 
Decide{-671,0} 
Decide{-1817,0} 
Decide{-2071,0} 
Decide{-271,0} 
Decide{-419,0} 
Decide{-86,0} 
Decide{-2525,0} 
Decide{-4149,0} 
Decide{-1466,0} 
Decide{-3518,0} 
Decide{-4115,0} 
Decide{-453,0} 
Decide{-507,0} 
Decide{-3044,0} 
Decide{-4435,0} 
Decide{-3402,0} 
Decide{-4556,0} 
Decide{-777,0} 
Decide{-3352,0} 
Decide{-4368,0} 
Decide{-3181,0} 
Decide{-2661,0} 
Decide{-2560,0} 
Decide{-4758,0} 
Decide{-3940,0} 
Decide{-4889,0} 
Decide{-3841,0} 
Decide{-4970,0} 
Decide{-4489,0} 
Decide{-1580,0} 
Decide{-1754,0} 
Decide{-2387,0} 
Decide{-356,0} 
Decide{-1178,0} 
Decide{-2555,0} 
Decide{-272,0} 
Decide{-3367,0} 
Decide{-2985,0} 
Decide{-2227,0} 
Decide{-2341,0} 
Decide{-5100,0} 
Decide{-2699,0} 
Decide{-1264,0} 
Decide{-36,0} 
Decide{-1702,0} 
Decide{-2404,0} 
Decide{-1062,0} 
Decide{-2807,0} 
Decide{-4224,0} 
Decide{-1884,0} 
Decide{-2791,0} 
Decide{-120,0} 
Decide{-339,0} 
Decide{-4792,0} 
Decide{-3727,0} 
Decide{-3857,0} 
Decide{-4070,0} 
Decide{-2105,0} 
Decide{-688,0} 
Decide{-3131,0} 
Decide{-1536,0} 
Decide{-3588,0} 
Decide{-1533,0} 
Decide{-4863,0} 
Decide{-1449,0} 
Decide{-4506,0} 
Decide{-4705,0} 
Decide{-3501,0} 
Decide{-4321,0} 
Decide{-3312,0} 
Decide{-759,0} 
Decide{-3604,0} 
Decide{-2134,0} 
Decide{-103,0} 
Decide{-3564,0} 
Decide{-2038,0} 
Decide{-5126,0} 
Decide{-2845,0} 
Decide{-2307,0} 
Decide{-4952,0} 
Decide{-3236,0} 
Decide{-2762,0} 
Decide{-3624,0} 
Decide{-941,0} 
Decide{-217,0} 
Decide{-655,0} 
Decide{-2480,0} 
Decide{-183,0} 
Decide{-19,0} 
Decide{-1161,0} 
Decide{-2290,0} 
Decide{-4287,0} 
Decide{-3786,0} 
Decide{-1445,0} 
Decide{-1125,0} 
Decide{-5082,0} 
Decide{-4700,0} 
Decide{-4131,0} 
Decide{-1599,0} 
Decide{-3582,0} 
Decide{-3995,0} 
Decide{-3233,0} 
Decide{-957,0} 
Decide{-3739,0} 
Decide{-1514,0} 
Decide{-2676,0} 
Decide{-234,0} 
Decide{-624,0} 
Decide{-4956,0} 
Decide{-1366,0} 
Decide{-1431,0} 
Decide{-2795,0} 
Decide{-2558,0} 
Decide{-4338,0} 
Decide{-3448,0} 
Decide{-2611,0} 
Decide{-3700,0} 
Decide{-1213,0} 
Decide{-3758,0} 
Decide{-1648,0} 
Decide{-4273,0} 
Decide{-758,0} 
Decide{-3639,0} 
Decide{-689,0} 
Decide{-2,0} 
Decide{-2168,0} 
Decide{-1297,0} 
Decide{-1278,0} 
Decide{-3314,0} 
Decide{-2424,0} 
Decide{-3520,0} 
Decide{-336,0} 
Decide{-4862,0} 
Decide{-2965,0} 
Decide{-4793,0} 
Decide{-4383,0} 
Decide{-2388,0} 
Decide{-116,0} 
Decide{-319,0} 
Decide{-571,0} 
Decide{-791,0} 
Decide{-1901,0} 
Decide{-4541,0} 
Decide{-4416,0} 
Decide{-5099,0} 
Decide{-4904,0} 
Decide{-3922,0} 
Decide{-2327,0} 
Decide{23,0} 
Decide{-3011,0} 
Decide{-2950,0} 
Decide{-2713,0} 
Decide{-5141,0} 
Decide{-3620,0} 
Decide{-405,0} 
Decide{-1989,0} 
Decide{-2091,0} 
Decide{-67,0} 
Decide{-5030,0} 
Decide{-4196,0} 
Decide{-2119,0} 
Decide{-4465,0} 
Decide{-3773,0} 
Decide{-3834,0} 
Decide{-674,0} 
Decide{-1028,0} 
Decide{-1851,0} 
Decide{-4778,0} 
Decide{-892,0} 
Decide{-1465,0} 
Decide{-1128,0} 
Decide{-3180,0} 
Decide{-3030,0} 
Decide{-556,0} 
Decide{-2913,0} 
Decide{-1717,0} 
Decide{-2209,0} 
Decide{-490,0} 
Decide{-4056,0} 
Decide{-3536,0} 
Decide{-3976,0} 
Decide{-4557,0} 
Decide{-1350,0} 
Decide{43,0} 
Decide{-4147,0} 
Decide{-1415,0} 
Decide{-5045,0} 
Decide{-2730,0} 
Decide{-2286,0} 
Decide{-1327,0} 
Decide{-523,0} 
Decide{-2810,0} 
Decide{-4400,0} 
Decide{-1500,0} 
Decide{-808,0} 
Decide{-3101,0} 
Decide{-743,0} 
Decide{-2193,0} 
Decide{-3654,0} 
Decide{-1836,0} 
Decide{-3937,0} 
Decide{-1602,0} 
Decide{-4847,0} 
Decide{-185,0} 
Decide{-909,0} 
Decide{-2879,0} 
Decide{-4367,0} 
Decide{-1232,0} 
Decide{-4289,0} 
Decide{-1916,0} 
Decide{-4652,0} 
Decide{-1262,0} 
Decide{-3387,0} 
Decide{-5114,0} 
Decide{-3487,0} 
Decide{-335,0} 
Decide{-5063,0} 
Decide{-4180,0} 
Decide{-4525,0} 
Decide{-2758,0} 
Decide{-389,0} 
Decide{-2058,0} 
Decide{-1331,0} 
Decide{-1565,0} 
Decide{-51,0} 
Decide{-3892,0} 
Decide{-1193,0} 
Decide{-2075,0} 
Decide{-2311,0} 
Decide{-4635,0} 
Decide{-3219,0} 
Decide{-4041,0} 
Decide{-4164,0} 
Decide{-1114,0} 
Decide{-1075,0} 
Decide{-1683,0} 
Decide{-3819,0} 
Decide{-2928,0} 
Decide{-3535,0} 
Decide{-1920,0} 
Decide{-169,0} 
Decide{-3166,0} 
Decide{-2864,0} 
Decide{-4872,0} 
Decide{-1939,0} 
Decide{-2004,0} 
Decide{-4826,0} 
Decide{-254,0} 
Decide{-978,0} 
Decide{-4745,0} 
Decide{-722,0} 
Decide{-470,0} 
Decide{-1667,0} 
Decide{-3432,0} 
Decide{-641,0} 
Decide{-4829,0} 
Decide{-3418,0} 
Decide{-725,0} 
Decide{-4989,0} 
Decide{-1751,0} 
Decide{-3891,0} 
Decide{-3084,0} 
Decide{-924,0} 
Decide{59,0} 
Decide{-2270,0} 
Decide{-287,0} 
Decide{-859,0} 
Decide{-539,0} 
Decide{-2176,0} 
Decide{-3202,0} 
Decide{-1396,0} 
Decide{-1044,0} 
Decide{-2911,0} 
Decide{-1162,0} 
Decide{-657,0} 
Decide{-3471,0} 
Decide{-2371,0} 
Decide{-4761,0} 
Decide{-1059,0} 
Decide{-1871,0} 
Decide{-372,0} 
Decide{-2444,0} 
Decide{-4026,0} 
Decide{-607,0} 
Decide{-3952,0} 
Decide{-437,0} 
Decide{-995,0} 
Decide{-1820,0} 
Decide{-1011,0} 
Decide{-1484,0} 
Decide{-1231,0} 
Decide{-642,0} 
Decide{-4720,0} 
Decide{-2359,0} 
Decide{-2893,0} 
Decide{-4746,0} 
Decide{-2745,0} 
Decide{-841,0} 
Decide{7,0} 
Decide{-1954,0} 
Decide{-2640,0} 
Decide{-4811,0} 
Decide{-454,0} 
Decide{-3267,0} 
Decide{-2019,0} 
Decide{-4432,0} 
Decide{-2848,0} 
Decide{-707,0} 
Decide{-4366,0} 
Decide{-4998,0} 
Decide{-4509,0} 
Decide{-3876,0} 
Decide{-4594,0} 
Decide{-201,0} 
Decide{-4148,0} 
Decide{-4087,0} 
Decide{-4415,0} 
Decide{-2982,0} 
Decide{-153,0} 
Decide{76,0} 
Decide{-2522,0} 
Decide{-1737,0} 
Decide{-1097,0} 
Decide{-1550,0} 
Decide{-3149,0} 
Decide{-1766,0} 
Decide{-4937,0} 
Decide{-4620,0} 
Decide{-35,0} 
Decide{-4384,0} 
Decide{-4305,0} 
Decide{-2461,0} 
Decide{-2774,0} 
Decide{-2660,0} 
Decide{-5012,0} 
Decide{-1530,0} 
Decide{-270,0} 
Decide{-2108,0} 
Decide{-608,0} 
Decide{-2777,0} 
Decide{-3505,0} 
Decide{-3803,0} 
Decide{-3353,0} 
Decide{-4179,0} 
Decide{-555,0} 
Decide{-4322,0} 
Decide{-4114,0} 
Decide{-3684,0} 
Decide{-422,0} 
Decide{-1885,0} 
Decide{-506,0} 
Decide{-3907,0} 
Decide{-218,0} 
Decide{-4257,0} 
Decide{-776,0} 
Decide{-3565,0} 
Decide{-1632,0} 
Decide{-5125,0} 
Decide{-2816,0} 
Decide{-3842,0} 
Decide{-2493,0} 
Decide{-3298,0} 
Decide{-1446,0} 
Decide{-5081,0} 
Decide{-302,0} 
Decide{-353,0} 
Decide{-2698,0} 
Decide{-2405,0} 
Decide{-1179,0} 
Decide{-4973,0} 
Decide{-3605,0} 
Decide{-3047,0} 
Decide{-83,0} 
Decide{-2135,0} 
Decide{-2226,0} 
Decide{-4010,0} 
Decide{-100,0} 
Decide{-3063,0} 
Decide{-2152,0} 
Decide{-3115,0} 
Decide{-942,0} 
Decide{-2624,0} 
Decide{-4449,0} 
Decide{-1970,0} 
Decide{-4492,0} 
Decide{-3858,0} 
Decide{-1280,0} 
Decide{-4955,0} 
Decide{-4071,0} 
Decide{-790,0} 
Decide{-1802,0} 
Decide{-3401,0} 
Decide{-3623,0} 
Decide{-18,0} 
Decide{-589,0} 
Decide{-136,0} 
Decide{-4685,0} 
Decide{-2253,0} 
Decide{-3250,0} 
Decide{-4240,0} 
Decide{-2541,0} 
Decide{-877,0} 
Decide{-3670,0} 
Decide{91,0} 
Decide{-2035,0} 
Decide{-1618,0} 
Decide{-3724,0} 
Decide{-1782,0} 
Decide{-2563,0} 
Decide{-4468,0} 
Decide{-2998,0} 
Decide{-3789,0} 
Decide{-3132,0} 
Decide{-4574,0} 
Decide{-2579,0} 
Decide{-3589,0} 
Decide{-2846,0} 
Decide{-3336,0} 
Decide{-1145,0} 
Decide{-4667,0} 
Decide{-4213,0} 
Decide{-3197,0} 
Decide{-1381,0} 
Decide{-1701,0} 
Decide{-4861,0} 
Decide{-4417,0} 
Decide{-757,0} 
Decide{-4272,0} 
Decide{-117,0} 
Decide{-4130,0} 
Decide{-4701,0} 
Decide{-1279,0} 
Decide{-2794,0} 
Decide{-2169,0} 
Decide{-1850,0} 
Decide{-3449,0} 
Decide{-4339,0} 
Decide{-3994,0} 
Decide{-824,0} 
Decide{-639,0} 
Decide{-1212,0} 
Decide{-3757,0} 
Decide{-3921,0} 
Decide{-3234,0} 
Decide{-168,0} 
Decide{-3583,0} 
Decide{-1194,0} 
Decide{-2208,0} 
Decide{-1515,0} 
Decide{-5098,0} 
Decide{-3938,0} 
Decide{-1,0} 
Decide{-3029,0} 
Decide{-3456,0} 
Decide{-337,0} 
Decide{-1917,0} 
Decide{-4382,0} 
Decide{-2966,0} 
Decide{-2389,0} 
Decide{-2478,0} 
Decide{-5031,0} 
Decide{-2712,0} 
Decide{-5142,0} 
Decide{-3297,0} 
Decide{-1365,0} 
Decide{-1143,0} 
Decide{-3621,0} 
Decide{-2612,0} 
Decide{-3638,0} 
Decide{-1768,0} 
Decide{-3195,0} 
Decide{-1988,0} 
Decide{-3835,0} 
Decide{-404,0} 
Decide{-2595,0} 
Decide{-4057,0} 
Decide{-4905,0} 
Decide{93,0} 
Decide{-958,0} 
Decide{24,0} 
Decide{-4558,0} 
Decide{-2326,0} 
Decide{-2557,0} 
Decide{-489,0} 
Decide{-4466,0} 
Decide{-3431,0} 
Decide{-2090,0} 
Decide{-2912,0} 
Decide{-1379,0} 
Decide{-3116,0} 
Decide{-4779,0} 
Decide{-1464,0} 
Decide{-960,0} 
Decide{-4197,0} 
Decide{-235,0} 
Decide{-2949,0} 
Decide{-1432,0} 
Decide{-557,0} 
Decide{-675,0} 
Decide{-1583,0} 
Decide{-1716,0} 
Decide{-4846,0} 
Decide{-1668,0} 
Decide{-522,0} 
Decide{-2192,0} 
Decide{-742,0} 
Decide{-2809,0} 
Decide{-3653,0} 
Decide{-1601,0} 
Decide{-1835,0} 
Decide{-809,0} 
Decide{-2731,0} 
Decide{-4146,0} 
Decide{-3740,0} 
Decide{-186,0} 
Decide{-2675,0} 
Decide{-4997,0} 
Decide{-3977,0} 
Decide{-1029,0} 
Decide{-4653,0} 
Decide{-2360,0} 
Decide{-5113,0} 
Decide{-1938,0} 
Decide{-3386,0} 
Decide{-3102,0} 
Decide{-321,0} 
Decide{-4524,0} 
Decide{-2373,0} 
Decide{-3534,0} 
Decide{-977,0} 
Decide{-4239,0} 
Decide{-1261,0} 
Decide{-4987,0} 
Decide{-775,0} 
Decide{-3220,0} 
Decide{-2074,0} 
Decide{-4634,0} 
Decide{-2310,0} 
Decide{-3953,0} 
Decide{-135,0} 
Decide{-3472,0} 
Decide{-2057,0} 
Decide{-388,0} 
Decide{-4040,0} 
Decide{-1330,0} 
Decide{-253,0} 
Decide{-4920,0} 
Decide{-304,0} 
Decide{-3820,0} 
Decide{-1921,0} 
Decide{-3701,0} 
Decide{-723,0} 
Decide{-5046,0} 
Decide{-3203,0} 
Decide{-151,0} 
Decide{-1649,0} 
Decide{-4255,0} 
Decide{-2506,0} 
Decide{-4827,0} 
Decide{-1113,0} 
Decide{-50,0} 
Decide{-2005,0} 
Decide{-1349,0} 
Decide{42,0} 
Decide{-4181,0} 
Decide{-3165,0} 
Decide{-1076,0} 
Decide{-3283,0} 
Decide{-2759,0} 
Decide{-1312,0} 
Decide{-471,0} 
Decide{-910,0} 
Decide{-640,0} 
Decide{-3012,0} 
Decide{-4744,0} 
Decide{-4290,0} 
Decide{-2287,0} 
Decide{-4542,0} 
Decide{-68,0} 
Decide{-891,0} 
Decide{-1499,0} 
Decide{-4828,0} 
Decide{-3368,0} 
Decide{-1566,0} 
Decide{-2120,0} 
Decide{-2943,0} 
Decide{-4163,0} 
Decide{-2136,0} 
Decide{-1397,0} 
Decide{-925,0} 
Decide{-606,0} 
Decide{-4450,0} 
Decide{-84,0} 
Decide{-2191,0} 
Decide{-2746,0} 
Decide{-3337,0} 
Decide{-4306,0} 
Decide{-2831,0} 
Decide{-3266,0} 
Decide{-1969,0} 
Decide{-2578,0} 
Decide{-4668,0} 
Decide{58,0} 
Decide{-1819,0} 
Decide{-2910,0} 
Decide{-1163,0} 
Decide{-994,0} 
Decide{-202,0} 
Decide{-4988,0} 
Decide{-3062,0} 
Decide{-3669,0} 
Decide{-1870,0} 
Decide{-1045,0} 
Decide{-1617,0} 
Decide{-858,0} 
Decide{-4938,0} 
Decide{-2423,0} 
Decide{-4365,0} 
Decide{-34,0} 
Decide{-371,0} 
Decide{-4508,0} 
Decide{-1060,0} 
Decide{-2073,0} 
Decide{-1096,0} 
Decide{-3148,0} 
Decide{-3417,0} 
Decide{-2659,0} 
Decide{-1180,0} 
Decide{-4491,0} 
Decide{-4619,0} 
Decide{-3804,0} 
Decide{-2775,0} 
Decide{-4593,0} 
Decide{-4735,0} 
Decide{-1551,0} 
Decide{-1483,0} 
Decide{-4760,0} 
Decide{-5064,0} 
Decide{-2460,0} 
Decide{-152,0} 
Decide{-1736,0} 
Decide{-656,0} 
Decide{-2523,0} 
Decide{-2020,0} 
Decide{-538,0} 
Decide{-1767,0} 
Decide{-2983,0} 
Decide{-3875,0} 
Decide{-320,0} 
Decide{-3085,0} 
Decide{-4025,0} 
Decide{-2372,0} 
Decide{-708,0} 
Decide{-455,0} 
Decide{-2271,0} 
Decide{-3551,0} 
Decide{-4812,0} 
Decide{-1684,0} 
Decide{-4088,0} 
Decide{-2849,0} 
Decide{-4887,0} 
Decide{-4433,0} 
Decide{-4256,0} 
Decide{-3354,0} 
Decide{-2153,0} 
Decide{-2894,0} 
Decide{-4323,0} 
Decide{-842,0} 
Decide{-5013,0} 
Decide{-3685,0} 
Decide{-3906,0} 
Decide{-3566,0} 
Decide{-4467,0} 
Decide{-101,0} 
Decide{-1633,0} 
Decide{-269,0} 
Decide{-2847,0} 
Decide{-5124,0} 
Decide{-3843,0} 
Decide{-3772,0} 
Decide{-2494,0} 
Decide{-1531,0} 
Decide{-303,0} 
Decide{-3504,0} 
Decide{-590,0} 
Decide{-17,0} 
Decide{75,0} 
Decide{-3046,0} 
Decide{-2254,0} 
Decide{-3606,0} 
Decide{-1902,0} 
Decide{-354,0} 
Decide{-1010,0} 
Decide{-4972,0} 
Decide{-2406,0} 
Decide{-1230,0} 
Decide{-3622,0} 
Decide{-2596,0} 
Decide{-3179,0} 
Decide{8,0} 
Decide{-1953,0} 
Decide{-4096,0} 
Decide{-1783,0} 
Decide{-2641,0} 
Decide{-4871,0} 
Decide{-2562,0} 
Decide{-1447,0} 
Decide{-1247,0} 
Decide{-421,0} 
Decide{-1886,0} 
Decide{-1127,0} 
Decide{-1803,0} 
Decide{-2540,0} 
Decide{-1752,0} 
Decide{-4399,0} 
Decide{-505,0} 
Decide{-943,0} 
Decide{-2625,0} 
Decide{-2697,0} 
Decide{-1281,0} 
Decide{-2477,0} 
Decide{-2288,0} 
Decide{-4072,0} 
Decide{-3503,0} 
Decide{-1700,0} 
Decide{-1298,0} 
Decide{-4686,0} 
Decide{-5080,0} 
Decide{-4575,0} 
Decide{-3788,0} 
Decide{-4794,0} 
Decide{-876,0} 
Decide{-1144,0} 
Decide{-2036,0} 
Decide{-3859,0} 
Decide{-1380,0} 
Decide{-3196,0} 
Decide{92,0} 
Decide{-4214,0} 
Decide{-3725,0} 
Decide{-438,0} 
Decide{-2760,0} 
Decide{-4954,0} 
Decide{-572,0} 
Decide{-2999,0} 
Decide{-690,0} 
Decide{-1598,0} 
Decide{-4576,0} 
Decide{-4113,0} 
Decide{-2107,0} 
Decide{-3590,0} 
Decide{-3251,0} 
Decide{-219,0} 
Decide{-286,0} 
Decide{-4009,0} 
Decide{-3133,0} 
Decide{-2343,0} 
Decide{-3400,0} 
Decide{-2225,0} 
     Best found assignment:      1=0 ,  2=0 ,  3=0 ,  4=0 ,  5=0 ,  6=0 ,  7=0 ,  8=0 ,  9=1 ,  10=1 ,  11=1 ,  12=1 ,  13=1 ,  14=1 ,  15=0 ,  16=0 ,  17=0 ,  18=0 ,  19=0 ,  20=0 ,  21=0 ,  22=0 ,  23=0 ,  24=0 ,  25=1 ,  26=1 ,  27=1 ,  28=1 ,  29=1 ,  30=1 ,  31=0 ,  32=0 ,  33=0 ,  34=0 ,  35=0 ,  36=1 ,  37=1 ,  38=1 ,  39=1 ,  40=1 ,  41=1 ,  42=0 ,  43=0 ,  44=0 ,  45=0 ,  46=0 ,  47=0 ,  48=0 ,  49=0 ,  50=0 ,  51=0 ,  52=1 ,  53=1 ,  54=1 ,  55=1 ,  56=1 ,  57=1 ,  58=0 ,  59=0 ,  60=0 ,  61=0 ,  62=0 ,  63=0 ,  64=0 ,  65=0 ,  66=0 ,  67=0 ,  68=0 ,  69=1 ,  70=1 ,  71=1 ,  72=1 ,  73=1 ,  74=1 ,  75=0 ,  76=0 ,  77=0 ,  78=0 ,  79=0 ,  80=0 ,  81=0 ,  82=0 ,  83=0 ,  84=0 ,  85=1 ,  86=1 ,  87=1 ,  88=1 ,  89=1 ,  90=1 ,  91=0 ,  92=0 ,  93=0 ,  94=0 ,  95=0 ,  96=0 ,  97=0 ,  98=0 ,  99=0 ,  100=1 ,   with unsat: 684433/1796950  =  0.3808859456300954