-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathlogic.cnf
228 lines (222 loc) · 9.49 KB
/
logic.cnf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
hidoku with size 3
-------------
| | | |
| 9 | | 7 |
| | | |
-------------
| | | |
| 1 | | |
| | | |
-------------
| | | |
| 2 | | |
| | | |
-------------
def a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63 a64 a65 a66 a67 a68 a69 a70 a71 a72 a73 a74 a75 a76 a77 a78 a79 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 a90 ;(~a10. a19. ~a28. ~a37. ~a46. ~a55. ~a64. ~a73. ~a82) +
(~a11. a20. ~a29. ~a38. ~a47. ~a56. ~a65. ~a74. ~a83) +
(~a12. a21. ~a30. ~a39. ~a48. ~a57. ~a66. ~a75. ~a84) +
(~a13. a22. ~a31. ~a40. ~a49. ~a58. ~a67. ~a76. ~a85) +
(~a14. a23. ~a32. ~a41. ~a50. ~a59. ~a68. ~a77. ~a86) +
(~a15. a24. ~a33. ~a42. ~a51. ~a60. ~a69. ~a78. ~a87) +
(~a16. a25. ~a34. ~a43. ~a52. ~a61. ~a70. ~a79. ~a88) +
(~a17. a26. ~a35. ~a44. ~a53. ~a62. ~a71. ~a80. ~a89) +
(~a18. a27. ~a36. ~a45. ~a54. ~a63. ~a72. ~a81. ~a90) +
(~a10. ~a19. ~a28. ~a37. a46. ~a55. ~a64. ~a73. ~a82) +
(~a11. ~a20. ~a29. ~a38. a47. ~a56. ~a65. ~a74. ~a83) +
(~a12. ~a21. ~a30. ~a39. a48. ~a57. ~a66. ~a75. ~a84) +
(~a13. ~a22. ~a31. ~a40. a49. ~a58. ~a67. ~a76. ~a85) +
(~a14. ~a23. ~a32. ~a41. a50. ~a59. ~a68. ~a77. ~a86) +
(~a15. ~a24. ~a33. ~a42. a51. ~a60. ~a69. ~a78. ~a87) +
(~a16. ~a25. ~a34. ~a43. a52. ~a61. ~a70. ~a79. ~a88) +
(~a17. ~a26. ~a35. ~a44. a53. ~a62. ~a71. ~a80. ~a89) +
(~a18. ~a27. ~a36. ~a45. a54. ~a63. ~a72. ~a81. ~a90) +
(~a10. ~a19. ~a28. ~a37. ~a46. a55. ~a64. ~a73. ~a82) +
(~a11. ~a20. ~a29. ~a38. ~a47. a56. ~a65. ~a74. ~a83) +
(~a12. ~a21. ~a30. ~a39. ~a48. a57. ~a66. ~a75. ~a84) +
(~a13. ~a22. ~a31. ~a40. ~a49. a58. ~a67. ~a76. ~a85) +
(~a14. ~a23. ~a32. ~a41. ~a50. a59. ~a68. ~a77. ~a86) +
(~a15. ~a24. ~a33. ~a42. ~a51. a60. ~a69. ~a78. ~a87) +
(~a16. ~a25. ~a34. ~a43. ~a52. a61. ~a70. ~a79. ~a88) +
(~a17. ~a26. ~a35. ~a44. ~a53. a62. ~a71. ~a80. ~a89) +
(~a18. ~a27. ~a36. ~a45. ~a54. a63. ~a72. ~a81. ~a90) +
(~a10. ~a19. ~a28. ~a37. ~a46. ~a55. ~a64. a73. ~a82) +
(~a11. ~a20. ~a29. ~a38. ~a47. ~a56. ~a65. a74. ~a83) +
(~a12. ~a21. ~a30. ~a39. ~a48. ~a57. ~a66. a75. ~a84) +
(~a13. ~a22. ~a31. ~a40. ~a49. ~a58. ~a67. a76. ~a85) +
(~a14. ~a23. ~a32. ~a41. ~a50. ~a59. ~a68. a77. ~a86) +
(~a15. ~a24. ~a33. ~a42. ~a51. ~a60. ~a69. a78. ~a87) +
(~a16. ~a25. ~a34. ~a43. ~a52. ~a61. ~a70. a79. ~a88) +
(~a17. ~a26. ~a35. ~a44. ~a53. ~a62. ~a71. a80. ~a89) +
(~a18. ~a27. ~a36. ~a45. ~a54. ~a63. ~a72. a81. ~a90) +
(~a10. ~a19. ~a28. ~a37. ~a46. ~a55. ~a64. ~a73. a82) +
(~a11. ~a20. ~a29. ~a38. ~a47. ~a56. ~a65. ~a74. a83) +
(~a12. ~a21. ~a30. ~a39. ~a48. ~a57. ~a66. ~a75. a84) +
(~a13. ~a22. ~a31. ~a40. ~a49. ~a58. ~a67. ~a76. a85) +
(~a14. ~a23. ~a32. ~a41. ~a50. ~a59. ~a68. ~a77. a86) +
(~a15. ~a24. ~a33. ~a42. ~a51. ~a60. ~a69. ~a78. a87) +
(~a16. ~a25. ~a34. ~a43. ~a52. ~a61. ~a70. ~a79. a88) +
(~a17. ~a26. ~a35. ~a44. ~a53. ~a62. ~a71. ~a80. a89) +
(~a18. ~a27. ~a36. ~a45. ~a54. ~a63. ~a72. ~a81. a90) +
( ~a10 +a18 +a36 +a45 ).
( ~a11 +a19 +a37 +a46 ).
( ~a12 +a20 +a38 +a47 ).
( ~a13 +a21 +a39 +a48 ).
( ~a14 +a22 +a40 +a49 ).
( ~a15 +a23 +a41 +a50 ).
( ~a16 +a24 +a42 +a51 ).
( ~a17 +a25 +a43 +a52 ).
( ~a18 +a26 +a44 +a53 ).
( ~a19 +a9 +a27 +a45 +a36 +a54 ).
( ~a20 +a10 +a28 +a46 +a37 +a55 ).
( ~a21 +a11 +a29 +a47 +a38 +a56 ).
( ~a22 +a12 +a30 +a48 +a39 +a57 ).
( ~a23 +a13 +a31 +a49 +a40 +a58 ).
( ~a24 +a14 +a32 +a50 +a41 +a59 ).
( ~a25 +a15 +a33 +a51 +a42 +a60 ).
( ~a26 +a16 +a34 +a52 +a43 +a61 ).
( ~a27 +a17 +a35 +a53 +a44 +a62 ).
( ~a28 +a18 +a54 +a45 ).
( ~a29 +a19 +a55 +a46 ).
( ~a30 +a20 +a56 +a47 ).
( ~a31 +a21 +a57 +a48 ).
( ~a32 +a22 +a58 +a49 ).
( ~a33 +a23 +a59 +a50 ).
( ~a34 +a24 +a60 +a51 ).
( ~a35 +a25 +a61 +a52 ).
( ~a36 +a26 +a62 +a53 ).
( ~a37 +a9 +a18 +a45 +a63 +a72 ).
( ~a38 +a10 +a19 +a46 +a64 +a73 ).
( ~a39 +a11 +a20 +a47 +a65 +a74 ).
( ~a40 +a12 +a21 +a48 +a66 +a75 ).
( ~a41 +a13 +a22 +a49 +a67 +a76 ).
( ~a42 +a14 +a23 +a50 +a68 +a77 ).
( ~a43 +a15 +a24 +a51 +a69 +a78 ).
( ~a44 +a16 +a25 +a52 +a70 +a79 ).
( ~a45 +a17 +a26 +a53 +a71 +a80 ).
( ~a46 +a18 +a9 +a27 +a36 +a54 +a72 +a63 +a81 ).
( ~a47 +a19 +a10 +a28 +a37 +a55 +a73 +a64 +a82 ).
( ~a48 +a20 +a11 +a29 +a38 +a56 +a74 +a65 +a83 ).
( ~a49 +a21 +a12 +a30 +a39 +a57 +a75 +a66 +a84 ).
( ~a50 +a22 +a13 +a31 +a40 +a58 +a76 +a67 +a85 ).
( ~a51 +a23 +a14 +a32 +a41 +a59 +a77 +a68 +a86 ).
( ~a52 +a24 +a15 +a33 +a42 +a60 +a78 +a69 +a87 ).
( ~a53 +a25 +a16 +a34 +a43 +a61 +a79 +a70 +a88 ).
( ~a54 +a26 +a17 +a35 +a44 +a62 +a80 +a71 +a89 ).
( ~a55 +a27 +a18 +a45 +a81 +a72 ).
( ~a56 +a28 +a19 +a46 +a82 +a73 ).
( ~a57 +a29 +a20 +a47 +a83 +a74 ).
( ~a58 +a30 +a21 +a48 +a84 +a75 ).
( ~a59 +a31 +a22 +a49 +a85 +a76 ).
( ~a60 +a32 +a23 +a50 +a86 +a77 ).
( ~a61 +a33 +a24 +a51 +a87 +a78 ).
( ~a62 +a34 +a25 +a52 +a88 +a79 ).
( ~a63 +a35 +a26 +a53 +a89 +a80 ).
( ~a64 +a36 +a45 +a72 ).
( ~a65 +a37 +a46 +a73 ).
( ~a66 +a38 +a47 +a74 ).
( ~a67 +a39 +a48 +a75 ).
( ~a68 +a40 +a49 +a76 ).
( ~a69 +a41 +a50 +a77 ).
( ~a70 +a42 +a51 +a78 ).
( ~a71 +a43 +a52 +a79 ).
( ~a72 +a44 +a53 +a80 ).
( ~a73 +a45 +a36 +a54 +a63 +a81 ).
( ~a74 +a46 +a37 +a55 +a64 +a82 ).
( ~a75 +a47 +a38 +a56 +a65 +a83 ).
( ~a76 +a48 +a39 +a57 +a66 +a84 ).
( ~a77 +a49 +a40 +a58 +a67 +a85 ).
( ~a78 +a50 +a41 +a59 +a68 +a86 ).
( ~a79 +a51 +a42 +a60 +a69 +a87 ).
( ~a80 +a52 +a43 +a61 +a70 +a88 ).
( ~a81 +a53 +a44 +a62 +a71 +a89 ).
( ~a82 +a54 +a45 +a72 ).
( ~a83 +a55 +a46 +a73 ).
( ~a84 +a56 +a47 +a74 ).
( ~a85 +a57 +a48 +a75 ).
( ~a86 +a58 +a49 +a76 ).
( ~a87 +a59 +a50 +a77 ).
( ~a88 +a60 +a51 +a78 ).
( ~a89 +a61 +a52 +a79 ).
( ~a90 +a62 +a53 +a80 ).
( a10.~a11.~a12.~a13.~a14.~a15.~a16.~a17.~a18) +
( a11.~a10.~a12.~a13.~a14.~a15.~a16.~a17.~a18) +
( a12.~a10.~a11.~a13.~a14.~a15.~a16.~a17.~a18) +
( a13.~a10.~a11.~a12.~a14.~a15.~a16.~a17.~a18) +
( a14.~a10.~a11.~a12.~a13.~a15.~a16.~a17.~a18) +
( a15.~a10.~a11.~a12.~a13.~a14.~a16.~a17.~a18) +
( a16.~a10.~a11.~a12.~a13.~a14.~a15.~a17.~a18) +
( a17.~a10.~a11.~a12.~a13.~a14.~a15.~a16.~a18) +
( a18.~a10.~a11.~a12.~a13.~a14.~a15.~a16.~a17) +
( a19.~a20.~a21.~a22.~a23.~a24.~a25.~a26.~a27) +
( a20.~a19.~a21.~a22.~a23.~a24.~a25.~a26.~a27) +
( a21.~a19.~a20.~a22.~a23.~a24.~a25.~a26.~a27) +
( a22.~a19.~a20.~a21.~a23.~a24.~a25.~a26.~a27) +
( a23.~a19.~a20.~a21.~a22.~a24.~a25.~a26.~a27) +
( a24.~a19.~a20.~a21.~a22.~a23.~a25.~a26.~a27) +
( a25.~a19.~a20.~a21.~a22.~a23.~a24.~a26.~a27) +
( a26.~a19.~a20.~a21.~a22.~a23.~a24.~a25.~a27) +
( a27.~a19.~a20.~a21.~a22.~a23.~a24.~a25.~a26) +
( a28.~a29.~a30.~a31.~a32.~a33.~a34.~a35.~a36) +
( a29.~a28.~a30.~a31.~a32.~a33.~a34.~a35.~a36) +
( a30.~a28.~a29.~a31.~a32.~a33.~a34.~a35.~a36) +
( a31.~a28.~a29.~a30.~a32.~a33.~a34.~a35.~a36) +
( a32.~a28.~a29.~a30.~a31.~a33.~a34.~a35.~a36) +
( a33.~a28.~a29.~a30.~a31.~a32.~a34.~a35.~a36) +
( a34.~a28.~a29.~a30.~a31.~a32.~a33.~a35.~a36) +
( a35.~a28.~a29.~a30.~a31.~a32.~a33.~a34.~a36) +
( a36.~a28.~a29.~a30.~a31.~a32.~a33.~a34.~a35) +
( a37.~a38.~a39.~a40.~a41.~a42.~a43.~a44.~a45) +
( a38.~a37.~a39.~a40.~a41.~a42.~a43.~a44.~a45) +
( a39.~a37.~a38.~a40.~a41.~a42.~a43.~a44.~a45) +
( a40.~a37.~a38.~a39.~a41.~a42.~a43.~a44.~a45) +
( a41.~a37.~a38.~a39.~a40.~a42.~a43.~a44.~a45) +
( a42.~a37.~a38.~a39.~a40.~a41.~a43.~a44.~a45) +
( a43.~a37.~a38.~a39.~a40.~a41.~a42.~a44.~a45) +
( a44.~a37.~a38.~a39.~a40.~a41.~a42.~a43.~a45) +
( a45.~a37.~a38.~a39.~a40.~a41.~a42.~a43.~a44) +
( a46.~a47.~a48.~a49.~a50.~a51.~a52.~a53.~a54) +
( a47.~a46.~a48.~a49.~a50.~a51.~a52.~a53.~a54) +
( a48.~a46.~a47.~a49.~a50.~a51.~a52.~a53.~a54) +
( a49.~a46.~a47.~a48.~a50.~a51.~a52.~a53.~a54) +
( a50.~a46.~a47.~a48.~a49.~a51.~a52.~a53.~a54) +
( a51.~a46.~a47.~a48.~a49.~a50.~a52.~a53.~a54) +
( a52.~a46.~a47.~a48.~a49.~a50.~a51.~a53.~a54) +
( a53.~a46.~a47.~a48.~a49.~a50.~a51.~a52.~a54) +
( a54.~a46.~a47.~a48.~a49.~a50.~a51.~a52.~a53) +
( a55.~a56.~a57.~a58.~a59.~a60.~a61.~a62.~a63) +
( a56.~a55.~a57.~a58.~a59.~a60.~a61.~a62.~a63) +
( a57.~a55.~a56.~a58.~a59.~a60.~a61.~a62.~a63) +
( a58.~a55.~a56.~a57.~a59.~a60.~a61.~a62.~a63) +
( a59.~a55.~a56.~a57.~a58.~a60.~a61.~a62.~a63) +
( a60.~a55.~a56.~a57.~a58.~a59.~a61.~a62.~a63) +
( a61.~a55.~a56.~a57.~a58.~a59.~a60.~a62.~a63) +
( a62.~a55.~a56.~a57.~a58.~a59.~a60.~a61.~a63) +
( a63.~a55.~a56.~a57.~a58.~a59.~a60.~a61.~a62) +
( a64.~a65.~a66.~a67.~a68.~a69.~a70.~a71.~a72) +
( a65.~a64.~a66.~a67.~a68.~a69.~a70.~a71.~a72) +
( a66.~a64.~a65.~a67.~a68.~a69.~a70.~a71.~a72) +
( a67.~a64.~a65.~a66.~a68.~a69.~a70.~a71.~a72) +
( a68.~a64.~a65.~a66.~a67.~a69.~a70.~a71.~a72) +
( a69.~a64.~a65.~a66.~a67.~a68.~a70.~a71.~a72) +
( a70.~a64.~a65.~a66.~a67.~a68.~a69.~a71.~a72) +
( a71.~a64.~a65.~a66.~a67.~a68.~a69.~a70.~a72) +
( a72.~a64.~a65.~a66.~a67.~a68.~a69.~a70.~a71) +
( a73.~a74.~a75.~a76.~a77.~a78.~a79.~a80.~a81) +
( a74.~a73.~a75.~a76.~a77.~a78.~a79.~a80.~a81) +
( a75.~a73.~a74.~a76.~a77.~a78.~a79.~a80.~a81) +
( a76.~a73.~a74.~a75.~a77.~a78.~a79.~a80.~a81) +
( a77.~a73.~a74.~a75.~a76.~a78.~a79.~a80.~a81) +
( a78.~a73.~a74.~a75.~a76.~a77.~a79.~a80.~a81) +
( a79.~a73.~a74.~a75.~a76.~a77.~a78.~a80.~a81) +
( a80.~a73.~a74.~a75.~a76.~a77.~a78.~a79.~a81) +
( a81.~a73.~a74.~a75.~a76.~a77.~a78.~a79.~a80) +
( a82.~a83.~a84.~a85.~a86.~a87.~a88.~a89.~a90) +
( a83.~a82.~a84.~a85.~a86.~a87.~a88.~a89.~a90) +
( a84.~a82.~a83.~a85.~a86.~a87.~a88.~a89.~a90) +
( a85.~a82.~a83.~a84.~a86.~a87.~a88.~a89.~a90) +
( a86.~a82.~a83.~a84.~a85.~a87.~a88.~a89.~a90) +
( a87.~a82.~a83.~a84.~a85.~a86.~a88.~a89.~a90) +
( a88.~a82.~a83.~a84.~a85.~a86.~a87.~a89.~a90) +
( a89.~a82.~a83.~a84.~a85.~a86.~a87.~a88.~a90) +
( a90.~a82.~a83.~a84.~a85.~a86.~a87.~a88.~a89) +
;