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