SHARE
TWEET

Untitled

gt22 Jan 5th, 2020 120 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. {- *************************************************************
  2. *                                                              *
  3. *               Constraint tuples                              *
  4. *                                                              *
  5. ************************************************************* -}
  6.  
  7. class ()
  8. class (c1, c2)     => (c1, c2)
  9. class (c1, c2, c3) => (c1, c2, c3)
  10. class (c1, c2, c3, c4) => (c1, c2, c3, c4)
  11. class (c1, c2, c3, c4, c5) => (c1, c2, c3, c4, c5)
  12. class (c1, c2, c3, c4, c5, c6) => (c1, c2, c3, c4, c5, c6)
  13. class (c1, c2, c3, c4, c5, c6, c7) => (c1, c2, c3, c4, c5, c6, c7)
  14. class (c1, c2, c3, c4, c5, c6, c7, c8) => (c1, c2, c3, c4, c5, c6, c7, c8)
  15. class (c1, c2, c3, c4, c5, c6, c7, c8, c9)
  16.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9)
  17. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10)
  18.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10)
  19. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11)
  20.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11)
  21. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12)
  22.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12)
  23. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13)
  24.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13)
  25. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14)
  26.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14)
  27. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15)
  28.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15)
  29. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16)
  30.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16)
  31. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  32.        c17)
  33.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  34.        c17)
  35. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  36.        c17,c18)
  37.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  38.        c17, c18)
  39. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  40.        c17, c18, c19)
  41.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  42.        c17, c18, c19)
  43. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  44.        c17, c18, c19, c20)
  45.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  46.        c17, c18, c19, c20)
  47. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  48.        c17, c18, c19, c20, c21)
  49.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  50.        c17, c18, c19, c20, c21)
  51. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  52.        c17, c18, c19, c20, c21, c22)
  53.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  54.        c17, c18, c19, c20, c21, c22)
  55. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  56.        c17, c18, c19, c20, c21, c22, c23)
  57.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  58.        c17, c18, c19, c20, c21, c22, c23)
  59. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  60.        c17, c18, c19, c20, c21, c22, c23, c24)
  61.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  62.        c17, c18, c19, c20, c21, c22, c23, c24)
  63. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  64.        c17, c18, c19, c20, c21, c22, c23, c24, c25)
  65.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  66.        c17, c18, c19, c20, c21, c22, c23, c24, c25)
  67. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  68.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26)
  69.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  70.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26)
  71. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  72.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27)
  73.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  74.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27)
  75. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  76.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28)
  77.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  78.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28)
  79. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  80.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29)
  81.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  82.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29)
  83. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  84.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30)
  85.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  86.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30)
  87. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  88.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  89.        c31)
  90.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  91.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  92.        c31)
  93. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  94.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  95.        c31, c32)
  96.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  97.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  98.        c31, c32)
  99. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  100.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  101.        c31, c32, c33)
  102.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  103.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  104.        c31, c32, c33)
  105. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  106.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  107.        c31, c32, c33, c34)
  108.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  109.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  110.        c31, c32, c33, c34)
  111. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  112.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  113.        c31, c32, c33, c34, c35)
  114.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  115.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  116.        c31, c32, c33, c34, c35)
  117. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  118.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  119.        c31, c32, c33, c34, c35, c36)
  120.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  121.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  122.        c31, c32, c33, c34, c35, c36)
  123. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  124.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  125.        c31, c32, c33, c34, c35, c36, c37)
  126.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  127.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  128.        c31, c32, c33, c34, c35, c36, c37)
  129. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  130.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  131.        c31, c32, c33, c34, c35, c36, c37, c38)
  132.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  133.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  134.        c31, c32, c33, c34, c35, c36, c37, c38)
  135. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  136.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  137.        c31, c32, c33, c34, c35, c36, c37, c38, c39)
  138.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  139.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  140.        c31, c32, c33, c34, c35, c36, c37, c38, c39)
  141. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  142.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  143.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40)
  144.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  145.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  146.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40)
  147. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  148.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  149.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41)
  150.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  151.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  152.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41)
  153. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  154.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  155.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42)
  156.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  157.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  158.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42)
  159. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  160.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  161.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43)
  162.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  163.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  164.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43)
  165. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  166.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  167.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44)
  168.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  169.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  170.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44)
  171. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  172.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  173.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  174.        c45)
  175.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  176.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  177.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  178.        c45)
  179. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  180.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  181.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  182.        c45, c46)
  183.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  184.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  185.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  186.        c45, c46)
  187. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  188.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  189.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  190.        c45, c46, c47)
  191.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  192.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  193.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  194.        c45, c46, c47)
  195. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  196.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  197.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  198.        c45, c46, c47, c48)
  199.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  200.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  201.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  202.        c45, c46, c47, c48)
  203. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  204.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  205.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  206.        c45, c46, c47, c48, c49)
  207.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  208.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  209.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  210.        c45, c46, c47, c48, c49)
  211. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  212.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  213.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  214.        c45, c46, c47, c48, c49, c50)
  215.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  216.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  217.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  218.        c45, c46, c47, c48, c49, c50)
  219. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  220.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  221.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  222.        c45, c46, c47, c48, c49, c50, c51)
  223.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  224.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  225.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  226.        c45, c46, c47, c48, c49, c50, c51)
  227. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  228.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  229.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  230.        c45, c46, c47, c48, c49, c50, c51, c52)
  231.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  232.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  233.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  234.        c45, c46, c47, c48, c49, c50, c51, c52)
  235. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  236.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  237.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  238.        c45, c46, c47, c48, c49, c50, c51, c52, c53)
  239.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  240.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  241.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  242.        c45, c46, c47, c48, c49, c50, c51, c52, c53)
  243. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  244.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  245.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  246.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54)
  247.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  248.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  249.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  250.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54)
  251. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  252.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  253.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  254.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55)
  255.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  256.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  257.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  258.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55)
  259. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  260.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  261.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  262.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56)
  263.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  264.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  265.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  266.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56)
  267. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  268.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  269.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  270.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57)
  271.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  272.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  273.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  274.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57)
  275. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  276.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  277.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  278.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58)
  279.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  280.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  281.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  282.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58)
  283. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  284.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  285.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  286.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  287.        c59)
  288.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  289.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  290.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  291.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  292.        c59)
  293. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  294.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  295.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  296.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  297.        c59, c60)
  298.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  299.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  300.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  301.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  302.        c59, c60)
  303. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  304.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  305.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  306.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  307.        c59, c60, c61)
  308.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  309.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  310.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  311.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  312.        c59, c60, c61)
  313. class (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  314.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  315.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  316.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  317.        c59, c60, c61, c62)
  318.    => (c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11, c12, c13, c14, c15, c16,
  319.        c17, c18, c19, c20, c21, c22, c23, c24, c25, c26, c27, c28, c29, c30,
  320.        c31, c32, c33, c34, c35, c36, c37, c38, c39, c40, c41, c42, c43, c44,
  321.        c45, c46, c47, c48, c49, c50, c51, c52, c53, c54, c55, c56, c57, c58,
  322.        c59, c60, c61, c62)
RAW Paste Data
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
Top