n_res = 4;
rc = [ 62, 42, 50, 54 ];
n_tasks = 90;
d = [ 3, 1, 9, 7, 7, 5, 8, 4, 3, 3, 5, 7, 7, 5, 10, 2, 5, 3, 1, 8, 10, 4, 7, 10, 5, 4, 9, 6, 6, 7, 8, 7, 2, 1, 2, 8, 5, 1, 2, 3, 8, 2, 8, 7, 4, 7, 5, 6, 2, 2, 4, 2, 3, 1, 1, 8, 8, 3, 6, 5, 8, 10, 9, 8, 7, 3, 3, 8, 1, 2, 4, 10, 5, 2, 8, 10, 9, 3, 3, 7, 3, 3, 7, 3, 6, 2, 5, 7, 10, 7 ];
rr = [| 10, 7, 10, 4, 8, 9, 9, 7, 10, 3, 8, 1, 8, 7, 2, 2, 8, 2, 9, 9, 8, 6, 6, 5, 7, 3, 6, 1, 5, 7, 7, 8, 9, 6, 6, 2, 6, 6, 5, 8, 5, 9, 2, 2, 9, 2, 2, 3, 2, 6, 6, 1, 3, 8, 2, 6, 8, 1, 5, 9, 7, 8, 5, 7, 7, 7, 7, 9, 1, 3, 1, 5, 5, 10, 2, 4, 4, 6, 5, 10, 6, 8, 2, 7, 1, 6, 4, 4, 9, 10
      | 9, 9, 9, 5, 4, 5, 2, 6, 1, 2, 10, 7, 2, 3, 7, 5, 7, 3, 5, 3, 9, 5, 7, 4, 1, 5, 2, 2, 3, 4, 2, 7, 9, 4, 1, 4, 6, 5, 2, 9, 6, 7, 4, 8, 6, 9, 1, 10, 3, 1, 5, 7, 3, 10, 10, 8, 1, 1, 4, 3, 2, 2, 7, 1, 2, 5, 8, 9, 2, 2, 3, 2, 7, 4, 1, 7, 8, 6, 4, 5, 1, 9, 1, 2, 3, 1, 1, 7, 5, 7
      | 8, 9, 9, 8, 7, 3, 6, 9, 3, 6, 4, 10, 8, 6, 4, 4, 6, 4, 6, 2, 6, 5, 6, 9, 4, 3, 8, 3, 3, 7, 9, 9, 10, 5, 10, 5, 2, 7, 2, 8, 2, 10, 10, 5, 7, 9, 8, 8, 10, 10, 3, 7, 5, 4, 7, 4, 2, 10, 4, 1, 10, 5, 10, 1, 4, 9, 1, 5, 7, 2, 10, 10, 6, 4, 2, 8, 9, 8, 9, 10, 7, 4, 1, 1, 6, 8, 5, 9, 4, 7
      | 6, 5, 4, 6, 8, 5, 1, 10, 1, 2, 4, 2, 7, 1, 2, 4, 10, 1, 6, 1, 4, 6, 5, 10, 9, 4, 10, 9, 1, 6, 4, 2, 2, 5, 4, 10, 2, 1, 7, 1, 4, 9, 9, 7, 1, 3, 8, 1, 2, 10, 9, 4, 1, 1, 9, 7, 7, 3, 4, 8, 8, 6, 4, 1, 4, 3, 10, 5, 9, 9, 10, 1, 3, 10, 1, 3, 1, 9, 9, 8, 10, 2, 10, 8, 9, 9, 7, 8, 2, 4 |];
suc = [ { 4, 7, 19 },
       { 6, 10, 33 },
       { 5, 8, 9 },
       { 13, 20, 35 },
       { 43, 52, 64 },
       { 17, 22, 76 },
       { 11, 15, 72 },
       { 12, 76, 86 },
       { 14, 42 },
       { 16, 23, 43 },
       { 30, 70 },
       { 25, 26, 28 },
       { 31, 68 },
       { 46, 54 },
       { 31, 33, 61 },
       { 18, 21, 29 },
       { 24, 38, 57 },
       { 36, 37 },
       { 30, 45, 49 },
       { 24, 40, 66 },
       { 40, 51, 65 },
       { 35, 39, 71 },
       { 39, 68 },
       { 27, 52, 75 },
       { 69 },
       { 34, 75 },
       { 32, 37, 44 },
       { 46, 77 },
       { 47, 57, 85 },
       { 36, 41 },
       { 51 },
       { 39, 62 },
       { 43, 53, 55 },
       { 48, 50, 51 },
       { 36, 82, 90 },
       { 44, 53, 65 },
       { 59, 89 },
       { 45, 49, 53 },
       { 60, 77, 78 },
       { 48, 70, 75 },
       { 44, 47, 67 },
       { 45, 55, 56 },
       { 56, 58 },
       { 79 },
       { 50, 54 },
       { 48, 57, 66 },
       { 50, 60, 62 },
       { 59 },
       { 61, 62, 83 },
       { 52 },
       { 56 },
       { 58, 61, 74 },
       { 63, 64, 79 },
       { 58, 68, 86 },
       { 66, 67 },
       { 63, 70, 71 },
       { 59, 60, 73 },
       { 63, 87 },
       { 72 },
       { 74 },
       { 69 },
       { 64, 65 },
       { 78 },
       { 80 },
       { 86 },
       { 69, 73, 80 },
       { 76, 80, 82 },
       { 71, 72, 73 },
       { 84 },
       { 74, 77, 81 },
       { 78, 83 },
       { 87 },
       { 82 },
       { 90 },
       { 85 },
       { 84 },
       { 79, 83, 89 },
       { 81 },
       { 85 },
       { 81 },
       { 89 },
       { 88 },
       { 84 },
       { 87 },
       { 88 },
       { 88 },
       { 90 },
       {  },
       {  },
       {  } ];