out

test.blif
type; 20 4
type; 19 3
type; 7 4
type; 1 1
type; 20 4
P0       x[-1]0 
P1       x[-2]-1 x[10]11 15 
P2       x[-2]-1 x[9]9 14 x[8]10 14 
P3       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 
P4       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P5       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P6       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 
P7       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P8       x[-2]1 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P9       x[-2]-1 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P10       x[-2]-1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P11       x[-2]1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P12       x[-2]-1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P13       x[-2]1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P14       x[-2]1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P15       x[-2]-1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P16       x[-2]1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P17       x[-2]-1 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P18       x[-2]1 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P19       x[-2]-1 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P20       x[-2]1 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P21       x[-2]-1 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P22       x[-2]-1 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P23       x[-2]1 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P24       x[-2]-1 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P25       x[-2]1 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P26       x[-2]1 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P27       x[-2]-1 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P28       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P29       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P30       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P31       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P32       x[-2]-1 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P33       x[-2]1 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P34       x[-2]1 x[8]10 14 x[9]9 14 
P35       x[-2]1 x[8]10 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P36       x[-2]-1 x[8]10 14 x[5]4 7 8 14 x[7]6 7 8 14 x[9]9 14 
P37       x[-2]-1 x[8]10 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P38       x[-2]1 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P39       x[-2]1 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P40       x[-2]-1 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P41       x[-2]-1 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P42       x[-2]-1 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P43       x[-2]-1 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P44       x[-2]1 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P45       x[-2]1 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P46       x[-2]-1 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P47       x[-2]-1 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P48       x[-2]1 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P49       x[-2]1 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P50       x[-2]1 x[10]11 15 
P51       x[-2]1 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P52       x[-2]1 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P53       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P54       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P55       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P56       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P57       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P58       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P59       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P60       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P61       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P62       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P63       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P64       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P65       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P66       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P67       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P68       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P69       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P70       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P71       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P72       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P73       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P74       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P75       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P76       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P77       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P78       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P79       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P80       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P81       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P82       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P83       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P84       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P85       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P86       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P87       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P88       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P89       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P90       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P91       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P92       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P93       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P94       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P95       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P96       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P97       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P98       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P99       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P100       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P101       x[-2]-1 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P102       x[-2]-1 x[5]4 7 8 13 x[7]6 7 8 13 
P103       x[-2]-1 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P104       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P105       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P106       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P107       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P108       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P109       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P110       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P111       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P112       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P113       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P114       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P115       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P116       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P117       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P118       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P119       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P120       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P121       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P122       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P123       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P124       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P125       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P126       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P127       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P128       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P129       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P130       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P131       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P132       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P133       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P134       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P135       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P136       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P137       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P138       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P139       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P140       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P141       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P142       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P143       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P144       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P145       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P146       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P147       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P148       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P149       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P150       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P151       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P152       x[-2]1 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P153       x[-2]-1 x[6]5 7 8 13 x[7]6 7 8 13 
P154       x[-2]-1 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P155       x[-2]-1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P156       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P157       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P158       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P159       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P160       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P161       x[-2]1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P162       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P163       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P164       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P165       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P166       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P167       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P168       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P169       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P170       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P171       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P172       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P173       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P174       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P175       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P176       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P177       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P178       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P179       x[-2]1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P180       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P181       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P182       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P183       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P184       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P185       x[-2]-1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P186       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P187       x[-2]1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P188       x[-2]1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P189       x[-2]-1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P190       x[-2]-1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P191       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P192       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P193       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P194       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P195       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P196       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P197       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P198       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P199       x[-2]-1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P200       x[-2]-1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P201       x[-2]1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P202       x[-2]1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P203       x[-2]1 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P204       x[-2]1 x[3]2 12 x[4]3 12 
P205       x[-2]1 x[3]2 12 x[4]3 12 x[10]11 15 
P206       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 
P207       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 
P208       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P209       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P210       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 
P211       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P212       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P213       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P214       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P215       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P216       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P217       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P218       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P219       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P220       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P221       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P222       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P223       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P224       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P225       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P226       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P227       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P228       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P229       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P230       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P231       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P232       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P233       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P234       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P235       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P236       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P237       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P238       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 
P239       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P240       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[7]6 7 8 14 x[9]9 14 
P241       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P242       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P243       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P244       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P245       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P246       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P247       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P248       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P249       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P250       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P251       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P252       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P253       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P254       x[-2]-1 x[3]2 12 x[4]3 12 x[10]11 15 
P255       x[-2]1 x[3]2 12 x[4]3 12 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P256       x[-2]1 x[3]2 12 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P257       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P258       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P259       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P260       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P261       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P262       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P263       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P264       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P265       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P266       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P267       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P268       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P269       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P270       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P271       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P272       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P273       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P274       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P275       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P276       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P277       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P278       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P279       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P280       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P281       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P282       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P283       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P284       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P285       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P286       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P287       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P288       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P289       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P290       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P291       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P292       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P293       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P294       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P295       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P296       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P297       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P298       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P299       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P300       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P301       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P302       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P303       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P304       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P305       x[-2]-1 x[3]2 12 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P306       x[-2]-1 x[3]2 12 x[4]3 12 x[5]4 7 8 13 x[7]6 7 8 13 
P307       x[-2]-1 x[3]2 12 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P308       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P309       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P310       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P311       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P312       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P313       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P314       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P315       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P316       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P317       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P318       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P319       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P320       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P321       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P322       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P323       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P324       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P325       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P326       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P327       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P328       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P329       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P330       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P331       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P332       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P333       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P334       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P335       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P336       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P337       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P338       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P339       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P340       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P341       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P342       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P343       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P344       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P345       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P346       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P347       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P348       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P349       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P350       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P351       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P352       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P353       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P354       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P355       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P356       x[-2]1 x[3]2 12 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P357       x[-2]-1 x[3]2 12 x[4]3 12 x[6]5 7 8 13 x[7]6 7 8 13 
P358       x[-2]-1 x[3]2 12 x[4]3 12 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P359       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P360       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P361       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P362       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P363       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P364       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P365       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P366       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P367       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P368       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P369       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P370       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P371       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P372       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P373       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P374       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P375       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P376       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P377       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P378       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P379       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P380       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P381       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P382       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P383       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P384       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P385       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P386       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P387       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P388       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P389       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P390       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P391       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P392       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P393       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P394       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P395       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P396       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P397       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P398       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P399       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P400       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P401       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P402       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P403       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P404       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P405       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P406       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P407       x[-2]1 x[3]2 12 x[4]3 12 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P408       x[-2]-1 x[3]2 12 
P409       x[-2]-1 x[3]2 12 x[10]11 15 
P410       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 
P411       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 
P412       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P413       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P414       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 
P415       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P416       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P417       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P418       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P419       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P420       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P421       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P422       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P423       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P424       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P425       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P426       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P427       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P428       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P429       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P430       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P431       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P432       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P433       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P434       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P435       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P436       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P437       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P438       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P439       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P440       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P441       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P442       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 
P443       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P444       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[7]6 7 8 14 x[9]9 14 
P445       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P446       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P447       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P448       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P449       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P450       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P451       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P452       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P453       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P454       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P455       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P456       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P457       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P458       x[-2]1 x[3]2 12 x[10]11 15 
P459       x[-2]-1 x[3]2 12 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P460       x[-2]-1 x[3]2 12 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P461       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P462       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P463       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P464       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P465       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P466       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P467       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P468       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P469       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P470       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P471       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P472       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P473       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P474       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P475       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P476       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P477       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P478       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P479       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P480       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P481       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P482       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P483       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P484       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P485       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P486       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P487       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P488       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P489       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P490       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P491       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P492       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P493       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P494       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P495       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P496       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P497       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P498       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P499       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P500       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P501       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P502       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P503       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P504       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P505       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P506       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P507       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P508       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P509       x[-2]1 x[3]2 12 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P510       x[-2]1 x[3]2 12 x[5]4 7 8 13 x[7]6 7 8 13 
P511       x[-2]1 x[3]2 12 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P512       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P513       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P514       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P515       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P516       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P517       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P518       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P519       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P520       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P521       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P522       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P523       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P524       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P525       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P526       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P527       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P528       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P529       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P530       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P531       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P532       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P533       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P534       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P535       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P536       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P537       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P538       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P539       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P540       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P541       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P542       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P543       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P544       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P545       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P546       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P547       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P548       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P549       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P550       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P551       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P552       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P553       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P554       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P555       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P556       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P557       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P558       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P559       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P560       x[-2]-1 x[3]2 12 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P561       x[-2]1 x[3]2 12 x[6]5 7 8 13 x[7]6 7 8 13 
P562       x[-2]1 x[3]2 12 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P563       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P564       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P565       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P566       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P567       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P568       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P569       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P570       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P571       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P572       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P573       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P574       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P575       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P576       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P577       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P578       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P579       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P580       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P581       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P582       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P583       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P584       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P585       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P586       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P587       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P588       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P589       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P590       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P591       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P592       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P593       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P594       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P595       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P596       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P597       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P598       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P599       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P600       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P601       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P602       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P603       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P604       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P605       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P606       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P607       x[-2]1 x[3]2 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P608       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P609       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P610       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P611       x[-2]-1 x[3]2 12 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P612       x[-2]-1 x[4]3 12 
P613       x[-2]-1 x[4]3 12 x[10]11 15 
P614       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 
P615       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 
P616       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P617       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P618       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 
P619       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P620       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P621       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P622       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P623       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P624       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P625       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P626       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P627       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P628       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P629       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P630       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P631       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P632       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P633       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P634       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P635       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P636       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P637       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P638       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P639       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P640       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P641       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P642       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P643       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P644       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P645       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P646       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 
P647       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P648       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[7]6 7 8 14 x[9]9 14 
P649       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P650       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P651       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P652       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P653       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P654       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P655       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P656       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P657       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P658       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P659       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P660       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P661       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P662       x[-2]1 x[4]3 12 x[10]11 15 
P663       x[-2]-1 x[4]3 12 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P664       x[-2]-1 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P665       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P666       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P667       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P668       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P669       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P670       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P671       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P672       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P673       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P674       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P675       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P676       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P677       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P678       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P679       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P680       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P681       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P682       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P683       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P684       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P685       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P686       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P687       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P688       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P689       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P690       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P691       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P692       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P693       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P694       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P695       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P696       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P697       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P698       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P699       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P700       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P701       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P702       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P703       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P704       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P705       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P706       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P707       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P708       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P709       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P710       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P711       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P712       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P713       x[-2]1 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P714       x[-2]1 x[4]3 12 x[5]4 7 8 13 x[7]6 7 8 13 
P715       x[-2]1 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P716       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P717       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P718       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P719       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P720       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P721       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P722       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P723       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P724       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P725       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P726       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P727       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P728       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P729       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P730       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P731       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P732       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P733       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P734       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P735       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P736       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P737       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P738       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P739       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P740       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P741       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P742       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P743       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P744       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P745       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P746       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P747       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P748       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P749       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P750       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P751       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P752       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P753       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P754       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P755       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P756       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P757       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P758       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P759       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P760       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P761       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P762       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P763       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P764       x[-2]-1 x[4]3 12 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P765       x[-2]1 x[4]3 12 x[6]5 7 8 13 x[7]6 7 8 13 
P766       x[-2]1 x[4]3 12 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P767       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P768       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P769       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P770       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P771       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P772       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P773       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P774       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P775       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P776       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P777       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P778       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P779       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P780       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P781       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P782       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P783       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P784       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P785       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P786       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P787       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P788       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P789       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P790       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P791       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P792       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P793       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P794       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P795       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P796       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P797       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P798       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P799       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P800       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P801       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P802       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P803       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P804       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P805       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P806       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P807       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P808       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P809       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P810       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P811       x[-2]1 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P812       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P813       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P814       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P815       x[-2]-1 x[4]3 12 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P816       x[-2]-1 x[3]2 12 x[4]3 12 
P817       x[-2]-1 x[3]2 12 x[4]3 12 x[10]11 15 
P818       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 
P819       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 
P820       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P821       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P822       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 
P823       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P824       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P825       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P826       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P827       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P828       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P829       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P830       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P831       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P832       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P833       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P834       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P835       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P836       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P837       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P838       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P839       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P840       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P841       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P842       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P843       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P844       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P845       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P846       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P847       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P848       x[-2]-1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P849       x[-2]1 x[3]2 12 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P850       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[9]9 14 
P851       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P852       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[7]6 7 8 14 x[9]9 14 
P853       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P854       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P855       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P856       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P857       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P858       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P859       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P860       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P861       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P862       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P863       x[-2]-1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P864       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P865       x[-2]1 x[3]2 12 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P866       x[-2]1 x[3]2 12 x[4]3 12 x[10]11 15 
P867       x[-2]1 x[3]2 12 
P868       x[-2]1 x[3]2 12 x[10]11 15 
P869       x[-2]1 x[3]2 12 x[9]9 14 x[8]10 14 
P870       x[-2]-1 x[3]2 12 x[9]9 14 x[8]10 14 x[10]11 15 
P871       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P872       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P873       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 
P874       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P875       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P876       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P877       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P878       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P879       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P880       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P881       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P882       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P883       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P884       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P885       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P886       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P887       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P888       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P889       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P890       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P891       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P892       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P893       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P894       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P895       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P896       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P897       x[-2]1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P898       x[-2]-1 x[3]2 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P899       x[-2]1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P900       x[-2]-1 x[3]2 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P901       x[-2]-1 x[3]2 12 x[8]10 14 x[9]9 14 
P902       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P903       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 8 14 x[7]6 7 8 14 x[9]9 14 
P904       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P905       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P906       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P907       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P908       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P909       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P910       x[-2]1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P911       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P912       x[-2]-1 x[3]2 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P913       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P914       x[-2]1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P915       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P916       x[-2]-1 x[3]2 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P917       x[-2]-1 x[3]2 12 x[10]11 15 
P918       x[-2]1 x[4]3 12 
P919       x[-2]1 x[4]3 12 x[10]11 15 
P920       x[-2]1 x[4]3 12 x[9]9 14 x[8]10 14 
P921       x[-2]-1 x[4]3 12 x[9]9 14 x[8]10 14 x[10]11 15 
P922       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P923       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P924       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 
P925       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P926       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 
P927       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 8 14 x[7]6 7 8 14 x[8]10 14 x[10]11 15 
P928       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P929       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P930       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P931       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P932       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P933       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P934       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P935       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P936       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P937       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P938       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P939       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P940       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 
P941       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P942       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 
P943       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 14 x[6]5 7 8 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P944       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P945       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P946       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P947       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P948       x[-2]1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P949       x[-2]-1 x[4]3 12 x[9]9 14 x[5]4 7 8 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P950       x[-2]1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 
P951       x[-2]-1 x[4]3 12 x[9]9 14 x[6]5 7 14 x[7]6 7 14 x[8]10 14 x[10]11 15 
P952       x[-2]-1 x[4]3 12 x[8]10 14 x[9]9 14 
P953       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P954       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 8 14 x[7]6 7 8 14 x[9]9 14 
P955       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 8 14 x[7]6 7 8 14 x[9]9 14 
P956       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P957       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P958       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P959       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P960       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P961       x[-2]1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P962       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[9]9 14 
P963       x[-2]-1 x[4]3 12 x[8]10 14 x[5]4 7 14 x[7]6 7 14 x[6]5 7 8 14 x[9]9 14 
P964       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P965       x[-2]1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P966       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[5]4 7 8 14 x[9]9 14 
P967       x[-2]-1 x[4]3 12 x[8]10 14 x[6]5 7 14 x[7]6 7 14 x[9]9 14 
P968       x[-2]-1 x[4]3 12 x[10]11 15 
P969       x[-2]-1 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P970       x[-2]-1 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P971       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P972       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P973       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P974       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P975       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P976       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P977       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P978       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P979       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P980       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P981       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P982       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P983       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P984       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P985       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P986       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P987       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P988       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P989       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P990       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P991       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P992       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P993       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P994       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P995       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P996       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P997       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P998       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P999       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1000       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1001       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1002       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1003       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1004       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1005       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1006       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1007       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1008       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1009       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1010       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1011       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1012       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1013       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1014       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1015       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1016       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1017       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1018       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1019       x[-2]1 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 13 x[7]6 7 8 13 
P1020       x[-2]1 x[5]4 7 8 13 x[7]6 7 8 13 
P1021       x[-2]1 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1022       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1023       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1024       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1025       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1026       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1027       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1028       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1029       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1030       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1031       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1032       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1033       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1034       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1035       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1036       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1037       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1038       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1039       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1040       x[-2]-1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1041       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1042       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1043       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1044       x[-2]1 x[9]9 14 x[8]10 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1045       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1046       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1047       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1048       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1049       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1050       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1051       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1052       x[-2]1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1053       x[-2]-1 x[9]9 14 x[6]5 7 14 x[8]10 14 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1054       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1055       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1056       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1057       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1058       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1059       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1060       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1061       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1062       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1063       x[-2]1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1064       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1065       x[-2]-1 x[8]10 14 x[9]9 14 x[5]4 7 8 13 x[6]5 7 8 14 x[7]6 7 8 13 
P1066       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1067       x[-2]1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1068       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1069       x[-2]-1 x[8]10 14 x[6]5 7 14 x[9]9 14 x[5]4 7 8 13 x[7]6 7 8 13 
P1070       x[-2]-1 x[10]11 15 x[5]4 7 8 13 x[7]6 7 8 13 
P1071       x[-2]1 x[6]5 7 8 13 x[7]6 7 8 13 
P1072       x[-2]1 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1073       x[-2]1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1074       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1075       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1076       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1077       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1078       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1079       x[-2]-1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1080       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1081       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1082       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1083       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1084       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1085       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1086       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1087       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1088       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1089       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1090       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1091       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1092       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1093       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1094       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1095       x[-2]1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1096       x[-2]-1 x[9]9 14 x[5]4 7 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1097       x[-2]-1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1098       x[-2]1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1099       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1100       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1101       x[-2]1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1102       x[-2]-1 x[9]9 14 x[5]4 7 8 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1103       x[-2]1 x[9]9 14 x[8]10 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1104       x[-2]-1 x[9]9 14 x[8]10 14 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13 
P1105       x[-2]-1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1106       x[-2]-1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1107       x[-2]1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1108       x[-2]1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1109       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1110       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1111       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1112       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1113       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1114       x[-2]1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1115       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1116       x[-2]-1 x[8]10 14 x[5]4 7 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1117       x[-2]1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1118       x[-2]1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1119       x[-2]-1 x[8]10 14 x[5]4 7 8 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1120       x[-2]-1 x[8]10 14 x[9]9 14 x[6]5 7 8 13 x[7]6 7 8 13 
P1121       x[-2]-1 x[10]11 15 x[6]5 7 8 13 x[7]6 7 8 13