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