# (-x14 V -x37) A (x25 V x35) A (x8 V -x20) A (x17 V x28) A (x16 V -x43) A (-x20 V x54) A (x10 V x44) A (-x21 V x2) A (x8 V x41) A (x54 V x27) A (-x6 V x27) A (-x56 V x8) A (-x24 V -x49) A (-x3 V x20) A (-x21 V -x15) A (x45 V -x21) A (-x48 V -x23) A (-x33 V -x33) A (x42 V -x34) A (-x54 V -x24) A (x4 V -x24) A (x19 V -x31) A (-x3 V x40) A (-x12 V x58) A (x44 V x44) A (x44 V x25) A (-x53 V -x50) A (-x35 V x9) A (x5 V -x4) A (x56 V x6) A (x49 V -x10) A (x18 V x20) A (-x33 V x19) A (x60 V -x1) A (-x43 V x33) A (x51 V -x6) A (-x26 V -x9) A (x29 V -x38) A (-x34 V -x52) A (x17 V x59) A (-x45 V x35) A (x31 V -x60) A (-x39 V x34) A (x19 V -x31) A (x9 V -x20) A (-x29 V -x26) A (-x22 V -x30) A (x48 V x5) A (-x47 V x54) A (x41 V -x4) A (x9 V x27) A (x2 V -x50) A (-x34 V -x24) A (x19 V -x37) A (x57 V x50) A (-x59 V x54) A (x18 V -x56) A (x49 V x12) A (-x54 V -x16) A (-x36 V -x54) A (x54 V -x36) A (-x57 V x31) A (-x33 V -x37) A (-x44 V x50) A (-x35 V -x32) A (-x2 V x13) A (-x27 V x28) A (-x39 V -x26) A (x32 V -x58) A (x23 V x38) A (x57 V -x42) A (-x50 V x44) A (-x51 V -x21) A (x23 V x32) A (-x36 V x34) A (x53 V x10) A (x57 V -x34) A (x41 V -x42) A (x13 V -x26) A (x40 V x51) A (x5 V -x44) A (x25 V -x22) A (x41 V x28) A (x57 V x24) A (-x49 V -x47) A (x30 V x45) A (x46 V -x26) A (x26 V -x42) A (x59 V -x57) A (x60 V x48) A (-x52 V x43) A (x24 V -x7) A (x28 V x24) A (-x15 V x36) A (x48 V -x28) A (-x53 V x4) A (-x55 V -x14) A (x34 V x51) A (-x36 V -x1) A (-x9 V -x52) A (-x54 V -x5) A (x28 V x41) A (x13 V x31) A (-x54 V x14) A (-x46 V x35) A (-x53 V x8) A (x18 V x41) A (x41 V -x36) A (-x40 V x4) A (x8 V x4) A (x25 V x10) A (-x17 V x2) A (x44 V x27) A (x18 V -x50) A (-x54 V x38) A (-x50 V x32) A (x24 V -x52) A (-x30 V -x6) A (-x42 V x55) A (x51 V x7)  FALSE
-14 -37
25 35
8 -20
17 28
16 -43
-20 54
10 44
-21 2
8 41
54 27
-6 27
-56 8
-24 -49
-3 20
-21 -15
45 -21
-48 -23
-33 -33
42 -34
-54 -24
4 -24
19 -31
-3 40
-12 58
44 44
44 25
-53 -50
-35 9
5 -4
56 6
49 -10
18 20
-33 19
60 -1
-43 33
51 -6
-26 -9
29 -38
-34 -52
17 59
-45 35
31 -60
-39 34
19 -31
9 -20
-29 -26
-22 -30
48 5
-47 54
41 -4
9 27
2 -50
-34 -24
19 -37
57 50
-59 54
18 -56
49 12
-54 -16
-36 -54
54 -36
-57 31
-33 -37
-44 50
-35 -32
-2 13
-27 28
-39 -26
32 -58
23 38
57 -42
-50 44
-51 -21
23 32
-36 34
53 10
57 -34
41 -42
13 -26
40 51
5 -44
25 -22
41 28
57 24
-49 -47
30 45
46 -26
26 -42
59 -57
60 48
-52 43
24 -7
28 24
-15 36
48 -28
-53 4
-55 -14
34 51
-36 -1
-9 -52
-54 -5
28 41
13 31
-54 14
-46 35
-53 8
18 41
41 -36
-40 4
8 4
25 10
-17 2
44 27
18 -50
-54 38
-50 32
24 -52
-30 -6
-42 55
51 7