API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Feb 25th, 2017
71
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 14.99 KB | None | 0 0
raw download clone embed print report
  1. (&|,p_1_1,p_1_2). :|: %0.25;0.81%
  2. (&|,p_1_1,p_1_2). %0.25;0.45%
  3. (&|,p_1_1,p_1_3). :|: %0.30;0.81%
  4. (&|,p_1_1,p_1_3). %0.30;0.45%
  5. (&|,p_1_2,p_1_3). :|: %0.30;0.81%
  6. (&|,p_1_2,p_1_3). %0.30;0.45%
  7. (&|,p_1_1,p_1_2,p_1_3). :|: %0.15;0.73%
  8. (&|,p_1_1,p_1_2,p_1_3). %0.15;0.42%
  9. (&|,p_1_2,p_1_4). :|: %0.30;0.81%
  10. (&|,p_1_2,p_1_4). %0.30;0.45%
  11. (&/,p_1_1,+2,p_1_4). :|: %0.30;0.81%
  12. (&/,p_1_1,+2,p_1_4). %0.30;0.45%
  13. (&|,p_1_3,p_1_4). :|: %0.36;0.81%
  14. (&|,p_1_3,p_1_4). %0.36;0.45%
  15. (&|,p_1_1,p_1_3,p_1_4). :|: %0.18;0.73%
  16. (&|,p_1_1,p_1_3,p_1_4). %0.18;0.42%
  17. (&|,p_1_2,p_1_3,p_1_4). :|: %0.18;0.73%
  18. (&|,p_1_2,p_1_3,p_1_4). %0.18;0.42%
  19. (&|,p_1_1,p_1_2,p_1_4). :|: %0.15;0.73%
  20. (&|,p_1_1,p_1_2,p_1_4). %0.15;0.42%
  21. (&/,p_1_2,+2,p_1_5). :|: %0.25;0.81%
  22. (&/,p_1_2,+2,p_1_5). %0.25;0.45%
  23. (&/,p_1_1,+3,p_1_5). :|: %0.25;0.81%
  24. (&/,p_1_1,+3,p_1_5). %0.25;0.45%
  25. (&|,p_1_3,p_1_5). :|: %0.30;0.81%
  26. (&|,p_1_3,p_1_5). %0.30;0.45%
  27. (&|,p_1_3,p_1_4,p_1_5). :|: %0.18;0.73%
  28. (&|,p_1_3,p_1_4,p_1_5). %0.18;0.42%
  29. (&|,p_1_4,p_1_5). :|: %0.30;0.81%
  30. (&|,p_1_4,p_1_5). %0.30;0.45%
  31. (&|,p_1_1,p_1_2,p_1_3,p_1_5). :|: %0.08;0.66%
  32. (&|,p_1_1,p_1_2,p_1_3,p_1_5). %0.08;0.40%
  33. (&|,p_1_1,p_1_3,p_1_4,p_1_5). :|: %0.09;0.66%
  34. (&|,p_1_1,p_1_3,p_1_4,p_1_5). %0.09;0.40%
  35. (&|,p_1_2,p_1_3,p_1_4,p_1_5). :|: %0.09;0.66%
  36. (&|,p_1_2,p_1_3,p_1_4,p_1_5). %0.09;0.40%
  37. (&|,p_1_1,p_1_3,p_1_5). :|: %0.15;0.73%
  38. (&|,p_1_1,p_1_3,p_1_5). %0.15;0.42%
  39. (&|,p_1_4,p_2_1). :|: %0.30;0.81%
  40. (&|,p_1_4,p_2_1). %0.30;0.45%
  41. (&|,p_1_2,p_1_4,p_2_1). :|: %0.15;0.73%
  42. (&|,p_1_2,p_1_4,p_2_1). %0.15;0.42%
  43. (&/,p_1_2,+3,p_2_1). :|: %0.25;0.81%
  44. (&/,p_1_2,+3,p_2_1). %0.25;0.45%
  45. (&/,p_1_1,+3,p_2_1). :|: %0.25;0.81%
  46. (&/,p_1_1,+3,p_2_1). %0.25;0.45%
  47. (&/,p_1_3,+2,p_2_1). :|: %0.30;0.81%
  48. (&/,p_1_3,+2,p_2_1). %0.30;0.45%
  49. (&|,p_1_5,p_2_1). :|: %0.25;0.81%
  50. (&|,p_1_5,p_2_1). %0.25;0.45%
  51. (&|,p_1_1,p_1_2,p_1_4,p_2_1). :|: %0.08;0.66%
  52. (&|,p_1_1,p_1_2,p_1_4,p_2_1). %0.08;0.40%
  53. (&/,(&|,p_1_1,p_1_2),+3,p_2_1). :|: %0.13;0.73%
  54. (&/,(&|,p_1_1,p_1_2),+3,p_2_1). %0.13;0.42%
  55. (&|,p_1_2,p_1_5,p_2_1). :|: %0.13;0.73%
  56. (&|,p_1_2,p_1_5,p_2_1). %0.13;0.42%
  57. (&|,p_1_1,p_1_5,p_2_1). :|: %0.13;0.73%
  58. (&|,p_1_1,p_1_5,p_2_1). %0.13;0.42%
  59. (&/,p_1_4,+2,p_2_2). :|: %0.30;0.81%
  60. (&/,p_1_4,+2,p_2_2). %0.30;0.45%
  61. (&/,p_1_2,+3,p_2_2). :|: %0.25;0.81%
  62. (&/,p_1_2,+3,p_2_2). %0.25;0.45%
  63. (&/,p_1_1,+3,p_2_2). :|: %0.25;0.81%
  64. (&/,p_1_1,+3,p_2_2). %0.25;0.45%
  65. (&/,(&|,p_1_1,p_1_3),+3,p_2_2). :|: %0.15;0.73%
  66. (&/,(&|,p_1_1,p_1_3),+3,p_2_2). %0.15;0.42%
  67. (&/,p_1_3,+3,p_2_2). :|: %0.30;0.81%
  68. (&/,p_1_3,+3,p_2_2). %0.30;0.45%
  69. (&|,p_1_3,p_1_5,p_2_2). :|: %0.15;0.73%
  70. (&|,p_1_3,p_1_5,p_2_2). %0.15;0.42%
  71. (&|,p_1_5,p_2_2). :|: %0.25;0.81%
  72. (&|,p_1_5,p_2_2). %0.25;0.45%
  73. (&|,p_2_1,p_2_2). :|: %0.25;0.81%
  74. (&|,p_2_1,p_2_2). %0.25;0.45%
  75. (&|,p_1_3,p_1_4,p_1_5,p_2_2). :|: %0.09;0.66%
  76. (&|,p_1_3,p_1_4,p_1_5,p_2_2). %0.09;0.40%
  77. (&|,p_1_1,p_1_5,p_2_2). :|: %0.13;0.73%
  78. (&|,p_1_1,p_1_5,p_2_2). %0.13;0.42%
  79. (&/,(&|,p_1_3,p_1_4),+2,p_2_2). :|: %0.18;0.73%
  80. (&/,(&|,p_1_3,p_1_4),+2,p_2_2). %0.18;0.42%
  81. (&/,p_1_3,+3,p_2_3). :|: %0.48;0.81%
  82. (&/,p_1_3,+3,p_2_3). %0.48;0.45%
  83. (&/,p_1_5,+2,p_2_3). :|: %0.40;0.81%
  84. (&/,p_1_5,+2,p_2_3). %0.40;0.45%
  85. (&|,p_2_1,p_2_3). :|: %0.40;0.81%
  86. (&|,p_2_1,p_2_3). %0.40;0.45%
  87. (&/,(&|,p_1_4,p_1_5),+2,p_2_3). :|: %0.24;0.73%
  88. (&/,(&|,p_1_4,p_1_5),+2,p_2_3). %0.24;0.42%
  89. (&/,p_1_4,+3,p_2_3). :|: %0.48;0.81%
  90. (&/,p_1_4,+3,p_2_3). %0.48;0.45%
  91. (&/,p_1_2,+3,p_2_3). :|: %0.40;0.81%
  92. (&/,p_1_2,+3,p_2_3). %0.40;0.45%
  93. (&/,p_1_1,+3,p_2_3). :|: %0.40;0.81%
  94. (&/,p_1_1,+3,p_2_3). %0.40;0.45%
  95. (&|,p_2_2,p_2_3). :|: %0.40;0.81%
  96. (&|,p_2_2,p_2_3). %0.40;0.45%
  97. (&|,p_1_2,p_2_1,p_2_3). :|: %0.20;0.73%
  98. (&|,p_1_2,p_2_1,p_2_3). %0.20;0.42%
  99. (&|,p_1_1,p_2_1,p_2_3). :|: %0.20;0.73%
  100. (&|,p_1_1,p_2_1,p_2_3). %0.20;0.42%
  101. (&|,p_1_3,p_2_1,p_2_3). :|: %0.24;0.73%
  102. (&|,p_1_3,p_2_1,p_2_3). %0.24;0.42%
  103. (&/,p_2_1,+2,p_2_4). :|: %0.25;0.81%
  104. (&/,p_2_1,+2,p_2_4). %0.25;0.45%
  105. (&/,p_1_4,+3,p_2_4). :|: %0.30;0.81%
  106. (&/,p_1_4,+3,p_2_4). %0.30;0.45%
  107. (&/,p_1_2,+3,p_2_4). :|: %0.25;0.81%
  108. (&/,p_1_2,+3,p_2_4). %0.25;0.45%
  109. (&/,p_1_1,+3,p_2_4). :|: %0.25;0.81%
  110. (&/,p_1_1,+3,p_2_4). %0.25;0.45%
  111. (&|,p_2_2,p_2_4). :|: %0.25;0.81%
  112. (&|,p_2_2,p_2_4). %0.25;0.45%
  113. (&|,p_1_3,p_2_2,p_2_4). :|: %0.15;0.73%
  114. (&|,p_1_3,p_2_2,p_2_4). %0.15;0.42%
  115. (&/,p_1_3,+3,p_2_4). :|: %0.30;0.81%
  116. (&/,p_1_3,+3,p_2_4). %0.30;0.45%
  117. (&/,p_1_5,+3,p_2_4). :|: %0.25;0.81%
  118. (&/,p_1_5,+3,p_2_4). %0.25;0.45%
  119. (&|,p_2_3,p_2_4). :|: %0.40;0.81%
  120. (&|,p_2_3,p_2_4). %0.40;0.45%
  121. (&|,p_2_1,p_2_2,p_2_4). :|: %0.13;0.73%
  122. (&|,p_2_1,p_2_2,p_2_4). %0.13;0.42%
  123. (&|,p_1_3,p_2_3,p_2_4). :|: %0.24;0.73%
  124. (&|,p_1_3,p_2_3,p_2_4). %0.24;0.42%
  125. (&/,p_1_4,+3,p_2_5). :|: %0.30;0.81%
  126. (&/,p_1_4,+3,p_2_5). %0.30;0.45%
  127. (&/,(&|,p_1_4,p_1_5),+3,p_2_5). :|: %0.15;0.73%
  128. (&/,(&|,p_1_4,p_1_5),+3,p_2_5). %0.15;0.42%
  129. (&/,p_1_2,+3,p_2_5). :|: %0.25;0.81%
  130. (&/,p_1_2,+3,p_2_5). %0.25;0.45%
  131. (&/,p_1_1,+3,p_2_5). :|: %0.25;0.81%
  132. (&/,p_1_1,+3,p_2_5). %0.25;0.45%
  133. (&/,p_2_2,+2,p_2_5). :|: %0.25;0.81%
  134. (&/,p_2_2,+2,p_2_5). %0.25;0.45%
  135. (&/,p_1_3,+3,p_2_5). :|: %0.30;0.81%
  136. (&/,p_1_3,+3,p_2_5). %0.30;0.45%
  137. (&/,p_1_5,+3,p_2_5). :|: %0.25;0.81%
  138. (&/,p_1_5,+3,p_2_5). %0.25;0.45%
  139. (&|,p_1_2,p_2_1,p_2_3,p_2_5). :|: %0.10;0.66%
  140. (&|,p_1_2,p_2_1,p_2_3,p_2_5). %0.10;0.40%
  141. (&|,p_2_3,p_2_5). :|: %0.40;0.81%
  142. (&|,p_2_3,p_2_5). %0.40;0.45%
  143. (&/,p_2_1,+3,p_2_5). :|: %0.25;0.81%
  144. (&/,p_2_1,+3,p_2_5). %0.25;0.45%
  145. (&|,p_2_4,p_2_5). :|: %0.25;0.81%
  146. (&|,p_2_4,p_2_5). %0.25;0.45%
  147. (&|,p_2_1,p_2_4,p_2_5). :|: %0.13;0.73%
  148. (&|,p_2_1,p_2_4,p_2_5). %0.13;0.42%
  149. (&|,p_1_4,p_2_4,p_2_5). :|: %0.15;0.73%
  150. (&|,p_1_4,p_2_4,p_2_5). %0.15;0.42%
  151. (&/,p_2_1,+3,p_3_1). :|: %0.30;0.81%
  152. (&/,p_2_1,+3,p_3_1). %0.30;0.45%
  153. (&|,p_2_4,p_3_1). :|: %0.30;0.81%
  154. (&|,p_2_4,p_3_1). %0.30;0.45%
  155. (&/,p_1_4,+3,p_3_1). :|: %0.36;0.81%
  156. (&/,p_1_4,+3,p_3_1). %0.36;0.45%
  157. (&|,p_1_3,p_2_4,p_3_1). :|: %0.18;0.73%
  158. (&|,p_1_3,p_2_4,p_3_1). %0.18;0.42%
  159. (&/,p_1_2,+3,p_3_1). :|: %0.30;0.81%
  160. (&/,p_1_2,+3,p_3_1). %0.30;0.45%
  161. (&/,p_1_1,+4,p_3_1). :|: %0.30;0.81%
  162. (&/,p_1_1,+4,p_3_1). %0.30;0.45%
  163. (&/,p_2_2,+3,p_3_1). :|: %0.30;0.81%
  164. (&/,p_2_2,+3,p_3_1). %0.30;0.45%
  165. (&/,p_1_3,+3,p_3_1). :|: %0.36;0.81%
  166. (&/,p_1_3,+3,p_3_1). %0.36;0.45%
  167. (&/,p_1_5,+3,p_3_1). :|: %0.30;0.81%
  168. (&/,p_1_5,+3,p_3_1). %0.30;0.45%
  169. (&|,p_1_4,p_2_5,p_3_1). :|: %0.18;0.73%
  170. (&|,p_1_4,p_2_5,p_3_1). %0.18;0.42%
  171. (&/,p_2_3,+2,p_3_1). :|: %0.48;0.81%
  172. (&/,p_2_3,+2,p_3_1). %0.48;0.45%
  173. (&|,p_2_5,p_3_1). :|: %0.30;0.81%
  174. (&|,p_2_5,p_3_1). %0.30;0.45%
  175. (&|,p_2_2,p_2_5,p_3_1). :|: %0.15;0.73%
  176. (&|,p_2_2,p_2_5,p_3_1). %0.15;0.42%
  177. (&|,p_1_5,p_2_5,p_3_2). :|: %0.20;0.73%
  178. (&|,p_1_5,p_2_5,p_3_2). %0.20;0.42%
  179. (&/,p_1_5,+3,p_3_2). :|: %0.40;0.81%
  180. (&/,p_1_5,+3,p_3_2). %0.40;0.45%
  181. (&/,p_2_3,+3,p_3_2). :|: %0.64;0.81%
  182. (&/,p_2_3,+3,p_3_2). %0.64;0.45%
  183. (&|,p_2_5,p_3_2). :|: %0.40;0.81%
  184. (&|,p_2_5,p_3_2). %0.40;0.45%
  185. (&/,p_2_1,+3,p_3_2). :|: %0.40;0.81%
  186. (&/,p_2_1,+3,p_3_2). %0.40;0.45%
  187. (&|,p_1_4,p_2_4,p_2_5,p_3_2). :|: %0.12;0.66%
  188. (&|,p_1_4,p_2_4,p_2_5,p_3_2). %0.12;0.40%
  189. (&/,p_2_4,+2,p_3_2). :|: %0.40;0.81%
  190. (&/,p_2_4,+2,p_3_2). %0.40;0.45%
  191. (&/,p_1_4,+3,p_3_2). :|: %0.48;0.81%
  192. (&/,p_1_4,+3,p_3_2). %0.48;0.45%
  193. (&/,p_1_2,+4,p_3_2). :|: %0.40;0.81%
  194. (&/,p_1_2,+4,p_3_2). %0.40;0.45%
  195. (&/,p_1_1,+4,p_3_2). :|: %0.40;0.81%
  196. (&/,p_1_1,+4,p_3_2). %0.40;0.45%
  197. (&/,p_2_2,+3,p_3_2). :|: %0.40;0.81%
  198. (&/,p_2_2,+3,p_3_2). %0.40;0.45%
  199. (&|,p_1_2,p_3_1,p_3_2). :|: %0.24;0.73%
  200. (&|,p_1_2,p_3_1,p_3_2). %0.24;0.42%
  201. (&/,p_1_3,+3,p_3_2). :|: %0.48;0.81%
  202. (&/,p_1_3,+3,p_3_2). %0.48;0.45%
  203. (&|,p_3_1,p_3_2). :|: %0.48;0.81%
  204. (&|,p_3_1,p_3_2). %0.48;0.45%
  205. (&|,p_1_3,p_3_1,p_3_2). :|: %0.29;0.73%
  206. (&|,p_1_3,p_3_1,p_3_2). %0.29;0.42%
  207. (&/,p_1_4,+3,p_3_3). :|: %0.54;0.81%
  208. (&/,p_1_4,+3,p_3_3). %0.54;0.45%
  209. (&/,p_1_2,+4,p_3_3). :|: %0.45;0.81%
  210. (&/,p_1_2,+4,p_3_3). %0.45;0.45%
  211. (&|,p_2_5,p_3_1,p_3_3). :|: %0.27;0.73%
  212. (&|,p_2_5,p_3_1,p_3_3). %0.27;0.42%
  213. (&/,p_1_1,+4,p_3_3). :|: %0.45;0.81%
  214. (&/,p_1_1,+4,p_3_3). %0.45;0.45%
  215. (&/,p_2_2,+3,p_3_3). :|: %0.45;0.81%
  216. (&/,p_2_2,+3,p_3_3). %0.45;0.45%
  217. (&/,p_1_3,+4,p_3_3). :|: %0.54;0.81%
  218. (&/,p_1_3,+4,p_3_3). %0.54;0.45%
  219. (&|,p_3_1,p_3_3). :|: %0.54;0.81%
  220. (&|,p_3_1,p_3_3). %0.54;0.45%
  221. (&|,p_2_1,p_3_2,p_3_3). :|: %0.36;0.73%
  222. (&|,p_2_1,p_3_2,p_3_3). %0.36;0.42%
  223. (&/,p_1_5,+3,p_3_3). :|: %0.45;0.81%
  224. (&/,p_1_5,+3,p_3_3). %0.45;0.45%
  225. (&/,p_2_3,+3,p_3_3). :|: %0.72;0.81%
  226. (&/,p_2_3,+3,p_3_3). %0.72;0.45%
  227. (&/,p_2_5,+2,p_3_3). :|: %0.45;0.81%
  228. (&/,p_2_5,+2,p_3_3). %0.45;0.45%
  229. (&/,p_2_1,+3,p_3_3). :|: %0.45;0.81%
  230. (&/,p_2_1,+3,p_3_3). %0.45;0.45%
  231. (&/,p_2_4,+3,p_3_3). :|: %0.45;0.81%
  232. (&/,p_2_4,+3,p_3_3). %0.45;0.45%
  233. (&|,p_1_2,p_3_1,p_3_2,p_3_3). :|: %0.22;0.66%
  234. (&|,p_1_2,p_3_1,p_3_2,p_3_3). %0.22;0.40%
  235. (&|,p_3_2,p_3_3). :|: %0.72;0.81%
  236. (&|,p_3_2,p_3_3). %0.72;0.45%
  237. (&|,p_1_3,p_3_2,p_3_3). :|: %0.43;0.73%
  238. (&|,p_1_3,p_3_2,p_3_3). %0.43;0.42%
  239. (&/,p_1_3,+4,p_3_4). :|: %0.30;0.81%
  240. (&/,p_1_3,+4,p_3_4). %0.30;0.45%
  241. (&/,p_3_1,+2,p_3_4). :|: %0.30;0.81%
  242. (&/,p_3_1,+2,p_3_4). %0.30;0.45%
  243. (&/,p_1_5,+3,p_3_4). :|: %0.25;0.81%
  244. (&/,p_1_5,+3,p_3_4). %0.25;0.45%
  245. (&/,p_2_3,+3,p_3_4). :|: %0.40;0.81%
  246. (&/,p_2_3,+3,p_3_4). %0.40;0.45%
  247. (&/,(&|,p_2_5,p_3_1),+2,p_3_4). :|: %0.15;0.73%
  248. (&/,(&|,p_2_5,p_3_1),+2,p_3_4). %0.15;0.42%
  249. (&/,p_2_5,+3,p_3_4). :|: %0.25;0.81%
  250. (&/,p_2_5,+3,p_3_4). %0.25;0.45%
  251. (&/,p_2_1,+3,p_3_4). :|: %0.25;0.81%
  252. (&/,p_2_1,+3,p_3_4). %0.25;0.45%
  253. (&/,p_2_4,+3,p_3_4). :|: %0.25;0.81%
  254. (&/,p_2_4,+3,p_3_4). %0.25;0.45%
  255. (&|,p_3_2,p_3_4). :|: %0.40;0.81%
  256. (&|,p_3_2,p_3_4). %0.40;0.45%
  257. (&|,p_3_1,p_3_3,p_3_4). :|: %0.27;0.73%
  258. (&|,p_3_1,p_3_3,p_3_4). %0.27;0.42%
  259. (&/,p_1_4,+4,p_3_4). :|: %0.30;0.81%
  260. (&/,p_1_4,+4,p_3_4). %0.30;0.45%
  261. (&/,p_1_2,+4,p_3_4). :|: %0.25;0.81%
  262. (&/,p_1_2,+4,p_3_4). %0.25;0.45%
  263. (&/,p_1_1,+4,p_3_4). :|: %0.25;0.81%
  264. (&/,p_1_1,+4,p_3_4). %0.25;0.45%
  265. (&/,p_2_2,+3,p_3_4). :|: %0.25;0.81%
  266. (&/,p_2_2,+3,p_3_4). %0.25;0.45%
  267. (&|,p_3_3,p_3_4). :|: %0.45;0.81%
  268. (&|,p_3_3,p_3_4). %0.45;0.45%
  269. (&|,p_3_2,p_3_3,p_3_4). :|: %0.36;0.73%
  270. (&|,p_3_2,p_3_3,p_3_4). %0.36;0.42%
  271. (&|,p_3_1,p_3_4,p_3_5). :|: %0.15;0.73%
  272. (&|,p_3_1,p_3_4,p_3_5). %0.15;0.42%
  273. (&/,p_2_5,+3,p_3_5). :|: %0.25;0.81%
  274. (&/,p_2_5,+3,p_3_5). %0.25;0.45%
  275. (&/,p_2_1,+3,p_3_5). :|: %0.25;0.81%
  276. (&/,p_2_1,+3,p_3_5). %0.25;0.45%
  277. (&/,p_2_4,+3,p_3_5). :|: %0.25;0.81%
  278. (&/,p_2_4,+3,p_3_5). %0.25;0.45%
  279. (&/,p_3_2,+2,p_3_5). :|: %0.40;0.81%
  280. (&/,p_3_2,+2,p_3_5). %0.40;0.45%
  281. (&/,p_1_4,+4,p_3_5). :|: %0.30;0.81%
  282. (&/,p_1_4,+4,p_3_5). %0.30;0.45%
  283. (&|,p_3_2,p_3_4,p_3_5). :|: %0.20;0.73%
  284. (&|,p_3_2,p_3_4,p_3_5). %0.20;0.42%
  285. (&/,p_1_2,+4,p_3_5). :|: %0.25;0.81%
  286. (&/,p_1_2,+4,p_3_5). %0.25;0.45%
  287. (&/,p_1_1,+4,p_3_5). :|: %0.25;0.81%
  288. (&/,p_1_1,+4,p_3_5). %0.25;0.45%
  289. (&/,p_2_2,+3,p_3_5). :|: %0.25;0.81%
  290. (&/,p_2_2,+3,p_3_5). %0.25;0.45%
  291. (&|,p_3_3,p_3_5). :|: %0.45;0.81%
  292. (&|,p_3_3,p_3_5). %0.45;0.45%
  293. (&|,p_2_2,p_3_4,p_3_5). :|: %0.13;0.73%
  294. (&|,p_2_2,p_3_4,p_3_5). %0.13;0.42%
  295. (&/,p_1_3,+4,p_3_5). :|: %0.30;0.81%
  296. (&/,p_1_3,+4,p_3_5). %0.30;0.45%
  297. (&/,p_3_1,+3,p_3_5). :|: %0.30;0.81%
  298. (&/,p_3_1,+3,p_3_5). %0.30;0.45%
  299. (&/,p_1_5,+4,p_3_5). :|: %0.25;0.81%
  300. (&/,p_1_5,+4,p_3_5). %0.25;0.45%
  301. (&/,p_2_3,+3,p_3_5). :|: %0.40;0.81%
  302. (&/,p_2_3,+3,p_3_5). %0.40;0.45%
  303. (&|,p_3_4,p_3_5). :|: %0.25;0.81%
  304. (&|,p_3_4,p_3_5). %0.25;0.45%
  305. (&/,p_2_4,+3,p_4_1). :|: %0.25;0.81%
  306. (&/,p_2_4,+3,p_4_1). %0.25;0.45%
  307. (&/,p_3_2,+3,p_4_1). :|: %0.40;0.81%
  308. (&/,p_3_2,+3,p_4_1). %0.40;0.45%
  309. (&|,p_1_4,p_3_5,p_4_1). :|: %0.15;0.73%
  310. (&|,p_1_4,p_3_5,p_4_1). %0.15;0.42%
  311. (&/,p_1_4,+4,p_4_1). :|: %0.30;0.81%
  312. (&/,p_1_4,+4,p_4_1). %0.30;0.45%
  313. (&/,p_1_2,+4,p_4_1). :|: %0.25;0.81%
  314. (&/,p_1_2,+4,p_4_1). %0.25;0.45%
  315. (&/,p_1_1,+4,p_4_1). :|: %0.25;0.81%
  316. (&/,p_1_1,+4,p_4_1). %0.25;0.45%
  317. (&/,p_2_2,+3,p_4_1). :|: %0.25;0.81%
  318. (&/,p_2_2,+3,p_4_1). %0.25;0.45%
  319. (&/,p_3_3,+2,p_4_1). :|: %0.45;0.81%
  320. (&/,p_3_3,+2,p_4_1). %0.45;0.45%
  321. (&|,p_3_3,p_3_5,p_4_1). :|: %0.23;0.73%
  322. (&|,p_3_3,p_3_5,p_4_1). %0.23;0.42%
  323. (&/,p_1_3,+4,p_4_1). :|: %0.30;0.81%
  324. (&/,p_1_3,+4,p_4_1). %0.30;0.45%
  325. (&/,p_3_1,+3,p_4_1). :|: %0.30;0.81%
  326. (&/,p_3_1,+3,p_4_1). %0.30;0.45%
  327. (&/,p_1_5,+4,p_4_1). :|: %0.25;0.81%
  328. (&/,p_1_5,+4,p_4_1). %0.25;0.45%
  329. (&/,p_2_3,+3,p_4_1). :|: %0.40;0.81%
  330. (&/,p_2_3,+3,p_4_1). %0.40;0.45%
  331. (&|,p_3_4,p_3_5,p_4_1). :|: %0.13;0.73%
  332. (&|,p_3_4,p_3_5,p_4_1). %0.13;0.42%
  333. (&|,p_3_4,p_4_1). :|: %0.25;0.81%
  334. (&|,p_3_4,p_4_1). %0.25;0.45%
  335. (&/,p_2_5,+3,p_4_1). :|: %0.25;0.81%
  336. (&/,p_2_5,+3,p_4_1). %0.25;0.45%
  337. (&/,p_2_1,+4,p_4_1). :|: %0.25;0.81%
  338. (&/,p_2_1,+4,p_4_1). %0.25;0.45%
  339. (&|,p_3_5,p_4_1). :|: %0.25;0.81%
  340. (&|,p_3_5,p_4_1). %0.25;0.45%
  341. (&/,p_3_2,+3,p_4_2). :|: %0.40;0.81%
  342. (&/,p_3_2,+3,p_4_2). %0.40;0.45%
  343. (&/,p_1_4,+4,p_4_2). :|: %0.30;0.81%
  344. (&/,p_1_4,+4,p_4_2). %0.30;0.45%
  345. (&/,p_1_2,+4,p_4_2). :|: %0.25;0.81%
  346. (&/,p_1_2,+4,p_4_2). %0.25;0.45%
  347. (&/,p_1_1,+4,p_4_2). :|: %0.25;0.81%
  348. (&/,p_1_1,+4,p_4_2). %0.25;0.45%
  349. (&|,p_1_3,p_4_1,p_4_2). :|: %0.15;0.73%
  350. (&|,p_1_3,p_4_1,p_4_2). %0.15;0.42%
  351. (&/,p_2_2,+4,p_4_2). :|: %0.25;0.81%
  352. (&/,p_2_2,+4,p_4_2). %0.25;0.45%
  353. (&/,p_3_3,+3,p_4_2). :|: %0.45;0.81%
  354. (&/,p_3_3,+3,p_4_2). %0.45;0.45%
  355. (&/,p_1_3,+4,p_4_2). :|: %0.30;0.81%
  356. (&/,p_1_3,+4,p_4_2). %0.30;0.45%
  357. (&/,p_3_1,+3,p_4_2). :|: %0.30;0.81%
  358. (&/,p_3_1,+3,p_4_2). %0.30;0.45%
  359. (&/,p_1_5,+4,p_4_2). :|: %0.25;0.81%
  360. (&/,p_1_5,+4,p_4_2). %0.25;0.45%
  361. (&|,p_3_4,p_4_1,p_4_2). :|: %0.13;0.73%
  362. (&|,p_3_4,p_4_1,p_4_2). %0.13;0.42%
  363. (&/,p_2_3,+3,p_4_2). :|: %0.40;0.81%
  364. (&/,p_2_3,+3,p_4_2). %0.40;0.45%
  365. (&/,p_3_4,+2,p_4_2). :|: %0.25;0.81%
  366. (&/,p_3_4,+2,p_4_2). %0.25;0.45%
  367. (&/,p_2_5,+3,p_4_2). :|: %0.25;0.81%
  368. (&/,p_2_5,+3,p_4_2). %0.25;0.45%
  369. (&/,p_2_1,+4,p_4_2). :|: %0.25;0.81%
  370. (&/,p_2_1,+4,p_4_2). %0.25;0.45%
  371. (&|,p_3_5,p_4_2). :|: %0.25;0.81%
  372. (&|,p_3_5,p_4_2). %0.25;0.45%
  373. (&/,p_2_4,+3,p_4_2). :|: %0.25;0.81%
  374. (&/,p_2_4,+3,p_4_2). %0.25;0.45%
  375. (&|,p_4_1,p_4_2). :|: %0.25;0.81%
  376. (&|,p_4_1,p_4_2). %0.25;0.45%
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!