Advertisement
Guest User

(d=5 raw) @Vepir

a guest
Sep 25th, 2019
117
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 5.15 KB | None | 0 0
  1. (o[1] == 2 && ((b ==
  2. 2 a[1] +
  3. a[2] && ((1 + a[1] == a[2] + a[3] && o[2] == 4 && o[3] == 3 &&
  4. o[4] ==
  5. 1 && ((a[1] ==
  6. 2 && (a[2] == 2 || a[2] == 3)) || ((a[1] == 3 ||
  7. a[1] == 4) && (a[2] == 1 || a[2] == 2)) || (a[2] ==
  8. 0 && (a[1] == 4 || a[1] == 5 || a[1] == 6 ||
  9. a[1] == 7 || a[1] == 8)) || (a[2] ==
  10. 1 && (a[1] == 5 || a[1] == 6)))) || (3 a[1] == a[3] &&
  11. o[2] == 5 && o[3] == 5 &&
  12. o[4] ==
  13. 2 && ((a[1] == 2 && (a[2] == 3 || a[2] == 4)) || (a[1] ==
  14. 1 && a[2] == 4))))) || (1 + b ==
  15. 2 a[1] +
  16. a[2] && ((3 a[1] == 2 + a[3] && o[2] == 4 && o[3] == 5 &&
  17. o[4] ==
  18. 2 && (((a[2] == 7 || a[2] == 8) && (a[1] == 1 ||
  19. a[1] == 7)) || ((a[2] == 6 || a[2] == 7 ||
  20. a[2] == 8) && (a[1] == 2 || a[1] == 3 ||
  21. a[1] == 6)) || ((a[2] == 5 || a[2] == 6 ||
  22. a[2] == 7 || a[2] == 8) && (a[1] == 4 ||
  23. a[1] == 5)) || (a[1] == 8 && a[2] == 8))) || (a[1] ==
  24. a[2] + a[3] && C[1] >= 0 && o[2] == 3 && o[3] == 3 &&
  25. o[4] ==
  26. 1 && ((a[1] ==
  27. 6 + C[1] && (a[2] == 3 || a[2] == 6)) || (a[2] == 2 &&
  28. a[1] == 8 + C[1]) || (a[2] == 1 &&
  29. a[1] == 10 + C[1]) || (a[2] == 0 &&
  30. a[1] == 12 + C[1]) || (a[2] == 4 &&
  31. a[1] == 4 + C[1]) || (a[2] == 5 &&
  32. a[1] == 5 + C[1]) || (a[2] == 7 && a[1] == 7 + C[1])) &&
  33. C[1] \[Element] Integers))))) || (o[1] ==
  34. 4 && ((a[2] == 13 && o[2] == 8 && o[3] == 8 &&
  35. o[4] == 3 && ((b == 14 && a[1] == 8 && a[3] == 9) || (b == 16 &&
  36. a[1] == 10 && a[3] == 13) || (b == 18 && a[1] == 12 &&
  37. a[3] == 17) || (b == 15 && a[1] == 9 &&
  38. a[3] == 11) || (b == 17 && a[1] == 11 &&
  39. a[3] == 15))) || (a[2] == 14 && a[1] == 14 + a[3] &&
  40. C[1] >= 7 && o[2] == 6 && o[3] == 6 &&
  41. o[4] == 2 && ((b == 6 + 2 C[1] &&
  42. a[1] == 2 C[1]) || (b == 7 + 2 C[1] &&
  43. a[1] == 1 + 2 C[1])) && C[1] \[Element] Integers))) || (C[
  44. 1] >= 0 && ((o[1] ==
  45. 1 && ((C[2] >= 0 &&
  46. o[2] ==
  47. 3 && ((b == 2 a[1] + a[2] && 3 a[1] == 1 + a[3] &&
  48. a[1] == 1 + C[1] && a[2] == 9 + C[1] + C[2] &&
  49. o[3] == 4 && o[4] == 2) || (b == 1 + 2 a[1] + a[2] &&
  50. 1 + a[1] == a[2] + a[3] && a[2] == 4 + C[2] &&
  51. a[1] == 3 + C[1] + C[2] && o[3] == 2 &&
  52. o[4] == 1)) && (C[1] | C[2]) \[Element]
  53. Integers) || (b == 1 + 2 a[1] + a[2] &&
  54. 1 + 3 a[1] == a[3] && o[2] == 4 && o[3] == 4 &&
  55. o[4] ==
  56. 2 && ((a[1] ==
  57. 1 + C[1] && (a[2] == 5 + C[1] ||
  58. a[2] == 6 + C[1])) || (a[2] ==
  59. 5 + C[1] && (a[1] == 2 + C[1] || a[1] == 3 + C[1] ||
  60. a[1] == 4 + C[1]))) &&
  61. C[1] \[Element] Integers))) || (o[1] ==
  62. 3 && ((C[2] >= 0 &&
  63. o[2] ==
  64. 6 && ((1 + a[1] == a[2] + a[3] && a[2] == 2 (6 + C[1]) &&
  65. o[3] == 5 &&
  66. o[4] ==
  67. 2 && ((b == 18 + 3 C[1] + 2 C[2] &&
  68. a[1] == 2 (6 + C[1] + C[2])) || (b ==
  69. 17 + 3 C[1] + 2 C[2] &&
  70. a[1] == 11 + 2 C[1] + 2 C[2]))) || (o[3] == 7 &&
  71. o[4] ==
  72. 3 && ((b == 38 + 4 C[1] + 3 C[2] &&
  73. a[3] == 20 + 2 C[1] + 3 C[2] &&
  74. a[2] == 37 + 4 C[1] + 2 C[2] &&
  75. a[1] == 2 (10 + C[1] + C[2])) || (b ==
  76. 40 + 4 C[1] + 3 C[2] &&
  77. a[3] == 21 + 2 C[1] + 3 C[2] &&
  78. a[2] == 39 + 4 C[1] + 2 C[2] &&
  79. a[1] == 21 + 2 C[1] + 2 C[2])))) && (C[1] |
  80. C[2]) \[Element] Integers) || (a[2] == 2 C[3] &&
  81. o[2] == 7 && o[3] == 7 &&
  82. o[4] ==
  83. 3 && ((b == 2 C[2] + C[3] && a[1] == 2 C[2] &&
  84. a[3] + C[3] ==
  85. 4 C[2] && ((4 + C[1] ==
  86. C[2] && (6 + C[1] == C[3] ||
  87. 7 + C[1] == C[3])) || (5 + C[1] ==
  88. C[2] && (6 + C[1] == C[3] ||
  89. 9 + C[1] == C[3])) || (6 + C[1] == C[2] &&
  90. 11 + C[1] == C[3]) || (7 + C[1] == C[2] &&
  91. 13 + C[1] == C[3]) || (8 + C[1] == C[2] &&
  92. 15 + C[1] == C[3]))) || (b == 1 + 2 C[2] + C[3] &&
  93. a[1] == 1 + 2 C[2] &&
  94. a[3] + C[3] ==
  95. 2 + 4 C[
  96. 2] && ((6 + C[1] ==
  97. C[3] && (3 + C[1] == C[2] || 4 + C[1] == C[2] ||
  98. 5 + C[1] == C[2])) || (4 + C[1] == C[2] &&
  99. 8 + C[1] == C[3]) || (5 + C[1] == C[2] &&
  100. 10 + C[1] == C[3]) || (6 + C[1] == C[2] &&
  101. 12 + C[1] == C[3]) || (7 + C[1] == C[2] &&
  102. 14 + C[1] == C[3])))) &&
  103. C[1] \[Element] Integers)))))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement