n_tasks = 62;
n_res = 4;
d = [0, 5, 3, 6, 3, 7, 7, 3, 8, 2, 3, 2, 1, 5, 10, 9, 8, 6, 8, 10, 10, 1, 10, 1, 9, 9, 4, 8, 10, 10, 4, 2, 7, 6, 1, 9, 10, 6, 3, 5, 10, 2, 4, 7, 5, 1, 5, 7, 5, 10, 3, 3, 3, 3, 1, 10, 1, 7, 5, 7, 5, 0];
rr = array2d(
  1..4,
  1..62,
  [
    0, 0, 0, 0, 1, 4, 0, 0, 1, 0, 0, 0, 0, 0, 3, 0, 4, 8, 5, 0, 1, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 10, 0, 0, 3, 0, 6, 0, 9, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 0, 0, 0, 0, 0, 0, 0,
    0, 0, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 6, 0, 0, 7, 0, 0, 0, 5, 0, 0, 0, 3, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 8, 3, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 2, 0,
    0, 1, 0, 0, 0, 0, 7, 3, 0, 0, 5, 9, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 10, 6, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 1, 0, 0, 0, 0, 0, 6, 0, 0, 0, 7, 10, 6, 3, 0, 0, 0, 10, 3, 5, 0, 0, 0,
    0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 3, 0, 0, 0, 4, 0, 0, 0, 9, 4, 0, 0, 3, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0
  ]
);
rc = [33, 16, 30, 22];
suc = [
  {2, 3, 4},
  {6, 16, 38},
  {5, 20, 37},
  {7, 8, 14},
  {7, 10, 22},
  {15, 18, 21},
  {19, 34, 53},
  {9, 11, 36},
  {12, 13, 41},
  {24, 33, 57},
  {23, 38, 40},
  {17, 27, 30},
  {25, 27, 29},
  {16, 28, 31},
  {40, 44, 56},
  {23, 24, 30},
  {20, 26, 49},
  {20, 36, 50},
  {30, 44, 48},
  {39, 40},
  {22, 25, 54},
  {27, 41},
  {43},
  {35},
  {35, 43},
  {32, 39, 52},
  {55},
  {36, 45, 58},
  {31, 32, 57},
  {39, 42, 45},
  {35, 46, 50},
  {37},
  {38, 43, 47},
  {41, 42, 55},
  {44, 47, 58},
  {37, 42, 51},
  {46},
  {50, 54, 61},
  {46, 61},
  {47, 53},
  {52},
  {57},
  {45, 48, 49},
  {49},
  {60},
  {54},
  {48, 61},
  {51},
  {51},
  {53, 56},
  {52, 55},
  {59},
  {58},
  {56},
  {59},
  {60},
  {60},
  {59},
  {62},
  {62},
  {62},
  {}
];
t_max = 83;
deadline = array2d(
  1..62,
  1..3,
  [
    2, 5, 4,
    3, 2, 2,
    9, 4, 0,
    0, 5, 2,
    14, 0, 2,
    15, 1, 5,
    19, 0, 0,
    14, 5, 2,
    12, 2, 0,
    9, 2, 2,
    12, 1, 1,
    23, 1, 0,
    29, 3, 3,
    8, 5, 5,
    13, 1, 4,
    21, 5, 2,
    31, 4, 1,
    20, 5, 5,
    20, 3, 0,
    30, 4, 2,
    14, 3, 4,
    32, 2, 2,
    27, 4, 3,
    25, 2, 0,
    22, 4, 5,
    35, 2, 1,
    30, 5, 4,
    19, 5, 1,
    25, 5, 3,
    27, 1, 3,
    42, 0, 4,
    48, 5, 4,
    20, 3, 3,
    19, 0, 5,
    40, 1, 3,
    26, 2, 2,
    46, 3, 3,
    21, 0, 1,
    39, 3, 5,
    48, 4, 4,
    26, 5, 4,
    32, 0, 0,
    42, 1, 0,
    42, 2, 0,
    37, 3, 1,
    52, 4, 2,
    46, 2, 0,
    52, 2, 1,
    41, 5, 3,
    35, 3, 4,
    54, 0, 0,
    67, 0, 4,
    52, 3, 1,
    63, 4, 3,
    60, 3, 2,
    60, 1, 3,
    33, 1, 5,
    58, 1, 5,
    64, 5, 4,
    68, 1, 0,
    60, 0, 4,
    83, 3, 1
  ]
);
%s = [0, 0, 0, 0, 3, 5, 6, 6, 9, 6, 9, 17, 17, 6, 12, 11, 19, 12, 13, 27, 12, 22, 20, 20, 22, 27, 23, 11, 18, 21, 28, 36, 8, 13, 32, 19, 38, 15, 37, 37, 23, 31, 31, 33, 35, 48, 42, 47, 40, 32, 54, 57, 42, 49, 57, 52, 33, 45, 60, 62, 47, 69];