%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % This is a Prolog-style database of experimental results on which % the paper % % 33 Basic Test Problems: % A Practical Evaluation of Some Paramodulation Strategies % % by % W. McCune % % is based. This file contains one relation (job/7), ane each % member represents one search with the theorem prover EQP. % % job(Strategy, Ratio, Agenda, Type, Problem, Time, Length). % % Strategy: the paramod strategy. % start, ord (nonac only), basic, block, super0 (ac only), all % Ratio: the selection ratio. (1, 4, 8, n) % Agenda: the selcetion algorithm. (giv, pair) % Type: unification type. (ac, nonac) % Problem: the theorem (33 nonac, 13 ac) % Time: time to proof, in seconds. (integer, (S), (M), (T)) % Length: proof length. (integer, '---') % % determine % % (33+13) * 5 strategies * 2 agendas * 4 ratios = 1840 jobs for the paper. % % The strategy "func" (functional subsumption) is not included. % job(start, 1, giv, nonac, 'CS-2', '19', '6'). job(start, 1, giv, nonac, 'CS-6a', '1', '5'). job(start, 1, giv, nonac, 'D-BA-1b', '(M)', '---'). job(start, 1, giv, nonac, 'D-BA-2a', '415', '158'). job(start, 1, giv, nonac, 'D-BA-5a', '33', '52'). job(start, 1, giv, nonac, 'D-BA-5c', '2', '57'). job(start, 1, giv, nonac, 'D-BA-8a', '93', '207'). job(start, 1, giv, nonac, 'LT-10a', '32', '16'). job(start, 1, giv, nonac, 'LT-2', '(T)', '---'). job(start, 1, giv, nonac, 'LT-3e', '51', '87'). job(start, 1, giv, nonac, 'LT-4', '1', '8'). job(start, 1, giv, nonac, 'LT-5', '46', '86'). job(start, 1, giv, nonac, 'LT-6', '109', '219'). job(start, 1, giv, nonac, 'LT-8', '(T)', '---'). job(start, 1, giv, nonac, 'LT-9b', '203', '46'). job(start, 1, giv, nonac, 'MFL-1', '2', '23'). job(start, 1, giv, nonac, 'MFL-2', '3', '29'). job(start, 1, giv, nonac, 'MFL-3', '8', '28'). job(start, 1, giv, nonac, 'MFL-7', '24', '57'). job(start, 1, giv, nonac, 'QLT-1', '4', '23'). job(start, 1, giv, nonac, 'QLT-2', '6', '25'). job(start, 1, giv, nonac, 'QLT-3', '(M)', '---'). job(start, 1, giv, nonac, 'QLT-4', '10', '66'). job(start, 1, giv, nonac, 'QLT-5', '(M)', '---'). job(start, 1, giv, nonac, 'QLT-6', '(M)', '---'). job(start, 1, giv, nonac, 'RBA-2', '53', '53'). job(start, 1, giv, nonac, 'SD-2a', '2', '34'). job(start, 1, giv, nonac, 'SD-3-e1', '4', '32'). job(start, 1, giv, nonac, 'SD-3-e2', '2', '23'). job(start, 1, giv, nonac, 'TBA-1-e1', '168', '50'). job(start, 1, giv, nonac, 'TBA-1-e2d', '5', '42'). job(start, 1, giv, nonac, 'WAL-1a', '140', '33'). job(start, 1, giv, nonac, 'WAL-2', '7', '17'). job(start, 4, giv, nonac, 'CS-2', '25', '6'). job(start, 4, giv, nonac, 'CS-6a', '1', '7'). job(start, 4, giv, nonac, 'D-BA-1b', '(M)', '---'). job(start, 4, giv, nonac, 'D-BA-2a', '140', '174'). job(start, 4, giv, nonac, 'D-BA-5a', '30', '93'). job(start, 4, giv, nonac, 'D-BA-5c', '6', '75'). job(start, 4, giv, nonac, 'D-BA-8a', '30', '104'). job(start, 4, giv, nonac, 'LT-10a', '3', '15'). job(start, 4, giv, nonac, 'LT-2', '924', '66'). job(start, 4, giv, nonac, 'LT-3e', '39', '56'). job(start, 4, giv, nonac, 'LT-4', '2', '14'). job(start, 4, giv, nonac, 'LT-5', '(M)', '---'). job(start, 4, giv, nonac, 'LT-6', '46', '110'). job(start, 4, giv, nonac, 'LT-8', '(T)', '---'). job(start, 4, giv, nonac, 'LT-9b', '287', '61'). job(start, 4, giv, nonac, 'MFL-1', '4', '30'). job(start, 4, giv, nonac, 'MFL-2', '1', '34'). job(start, 4, giv, nonac, 'MFL-3', '7', '30'). job(start, 4, giv, nonac, 'MFL-7', '15', '51'). job(start, 4, giv, nonac, 'QLT-1', '3', '45'). job(start, 4, giv, nonac, 'QLT-2', '4', '27'). job(start, 4, giv, nonac, 'QLT-3', '(M)', '---'). job(start, 4, giv, nonac, 'QLT-4', '5', '55'). job(start, 4, giv, nonac, 'QLT-5', '(M)', '---'). job(start, 4, giv, nonac, 'QLT-6', '(M)', '---'). job(start, 4, giv, nonac, 'RBA-2', '19', '42'). job(start, 4, giv, nonac, 'SD-2a', '2', '52'). job(start, 4, giv, nonac, 'SD-3-e1', '1', '15'). job(start, 4, giv, nonac, 'SD-3-e2', '6', '27'). job(start, 4, giv, nonac, 'TBA-1-e1', '126', '39'). job(start, 4, giv, nonac, 'TBA-1-e2d', '2', '29'). job(start, 4, giv, nonac, 'WAL-1a', '137', '31'). job(start, 4, giv, nonac, 'WAL-2', '7', '16'). job(start, 8, giv, nonac, 'CS-2', '22', '6'). job(start, 8, giv, nonac, 'CS-6a', '1', '8'). job(start, 8, giv, nonac, 'D-BA-1b', '3', '27'). job(start, 8, giv, nonac, 'D-BA-2a', '185', '206'). job(start, 8, giv, nonac, 'D-BA-5a', '31', '116'). job(start, 8, giv, nonac, 'D-BA-5c', '4', '17'). job(start, 8, giv, nonac, 'D-BA-8a', '20', '136'). job(start, 8, giv, nonac, 'LT-10a', '1', '14'). job(start, 8, giv, nonac, 'LT-2', '(T)', '---'). job(start, 8, giv, nonac, 'LT-3e', '30', '65'). job(start, 8, giv, nonac, 'LT-4', '4', '27'). job(start, 8, giv, nonac, 'LT-5', '(M)', '---'). job(start, 8, giv, nonac, 'LT-6', '30', '114'). job(start, 8, giv, nonac, 'LT-8', '(T)', '---'). job(start, 8, giv, nonac, 'LT-9b', '296', '51'). job(start, 8, giv, nonac, 'MFL-1', '10', '32'). job(start, 8, giv, nonac, 'MFL-2', '4', '34'). job(start, 8, giv, nonac, 'MFL-3', '8', '40'). job(start, 8, giv, nonac, 'MFL-7', '13', '55'). job(start, 8, giv, nonac, 'QLT-1', '4', '42'). job(start, 8, giv, nonac, 'QLT-2', '3', '27'). job(start, 8, giv, nonac, 'QLT-3', '(M)', '---'). job(start, 8, giv, nonac, 'QLT-4', '7', '53'). job(start, 8, giv, nonac, 'QLT-5', '(M)', '---'). job(start, 8, giv, nonac, 'QLT-6', '(M)', '---'). job(start, 8, giv, nonac, 'RBA-2', '13', '44'). job(start, 8, giv, nonac, 'SD-2a', '2', '52'). job(start, 8, giv, nonac, 'SD-3-e1', '1', '15'). job(start, 8, giv, nonac, 'SD-3-e2', '30', '29'). job(start, 8, giv, nonac, 'TBA-1-e1', '177', '37'). job(start, 8, giv, nonac, 'TBA-1-e2d', '2', '32'). job(start, 8, giv, nonac, 'WAL-1a', '187', '29'). job(start, 8, giv, nonac, 'WAL-2', '7', '17'). job(start, n, giv, nonac, 'CS-2', '22', '6'). job(start, n, giv, nonac, 'CS-6a', '4', '7'). job(start, n, giv, nonac, 'D-BA-1b', '(M)', '---'). job(start, n, giv, nonac, 'D-BA-2a', '100', '248'). job(start, n, giv, nonac, 'D-BA-5a', '35', '117'). job(start, n, giv, nonac, 'D-BA-5c', '4', '24'). job(start, n, giv, nonac, 'D-BA-8a', '(M)', '---'). job(start, n, giv, nonac, 'LT-10a', '1', '14'). job(start, n, giv, nonac, 'LT-2', '(T)', '---'). job(start, n, giv, nonac, 'LT-3e', '27', '62'). job(start, n, giv, nonac, 'LT-4', '7', '31'). job(start, n, giv, nonac, 'LT-5', '(M)', '---'). job(start, n, giv, nonac, 'LT-6', '(M)', '---'). job(start, n, giv, nonac, 'LT-8', '(T)', '---'). job(start, n, giv, nonac, 'LT-9b', '(M)', '---'). job(start, n, giv, nonac, 'MFL-1', '9', '46'). job(start, n, giv, nonac, 'MFL-2', '10', '77'). job(start, n, giv, nonac, 'MFL-3', '8', '60'). job(start, n, giv, nonac, 'MFL-7', '9', '51'). job(start, n, giv, nonac, 'QLT-1', '5', '55'). job(start, n, giv, nonac, 'QLT-2', '17', '64'). job(start, n, giv, nonac, 'QLT-3', '(M)', '---'). job(start, n, giv, nonac, 'QLT-4', '45', '46'). job(start, n, giv, nonac, 'QLT-5', '(M)', '---'). job(start, n, giv, nonac, 'QLT-6', '(M)', '---'). job(start, n, giv, nonac, 'RBA-2', '104', '74'). job(start, n, giv, nonac, 'SD-2a', '6', '63'). job(start, n, giv, nonac, 'SD-3-e1', '1', '15'). job(start, n, giv, nonac, 'SD-3-e2', '50', '41'). job(start, n, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(start, n, giv, nonac, 'TBA-1-e2d', '4', '42'). job(start, n, giv, nonac, 'WAL-1a', '1343', '60'). job(start, n, giv, nonac, 'WAL-2', '6', '17'). job(basic, 1, giv, nonac, 'CS-2', '17', '6'). job(basic, 1, giv, nonac, 'CS-6a', '1', '5'). job(basic, 1, giv, nonac, 'D-BA-1b', '(M)', '---'). job(basic, 1, giv, nonac, 'D-BA-2a', '118', '228'). job(basic, 1, giv, nonac, 'D-BA-5a', '12', '83'). job(basic, 1, giv, nonac, 'D-BA-5c', '7', '24'). job(basic, 1, giv, nonac, 'D-BA-8a', '25', '80'). job(basic, 1, giv, nonac, 'LT-10a', '3', '26'). job(basic, 1, giv, nonac, 'LT-2', '189', '25'). job(basic, 1, giv, nonac, 'LT-3e', '(T)', '---'). job(basic, 1, giv, nonac, 'LT-4', '0', '8'). job(basic, 1, giv, nonac, 'LT-5', '26', '85'). job(basic, 1, giv, nonac, 'LT-6', '73', '131'). job(basic, 1, giv, nonac, 'LT-8', '(T)', '---'). job(basic, 1, giv, nonac, 'LT-9b', '71', '68'). job(basic, 1, giv, nonac, 'MFL-1', '1', '38'). job(basic, 1, giv, nonac, 'MFL-2', '8', '37'). job(basic, 1, giv, nonac, 'MFL-3', '4', '27'). job(basic, 1, giv, nonac, 'MFL-7', '15', '58'). job(basic, 1, giv, nonac, 'QLT-1', '2', '24'). job(basic, 1, giv, nonac, 'QLT-2', '1', '29'). job(basic, 1, giv, nonac, 'QLT-3', '(M)', '---'). job(basic, 1, giv, nonac, 'QLT-4', '10', '56'). job(basic, 1, giv, nonac, 'QLT-5', '149', '52'). job(basic, 1, giv, nonac, 'QLT-6', '152', '72'). job(basic, 1, giv, nonac, 'RBA-2', '23', '49'). job(basic, 1, giv, nonac, 'SD-2a', '5', '55'). job(basic, 1, giv, nonac, 'SD-3-e1', '12', '38'). job(basic, 1, giv, nonac, 'SD-3-e2', '15', '27'). job(basic, 1, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(basic, 1, giv, nonac, 'TBA-1-e2d', '37', '81'). job(basic, 1, giv, nonac, 'WAL-1a', '69', '62'). job(basic, 1, giv, nonac, 'WAL-2', '(S)', '---'). job(basic, 4, giv, nonac, 'CS-2', '21', '6'). job(basic, 4, giv, nonac, 'CS-6a', '1', '7'). job(basic, 4, giv, nonac, 'D-BA-1b', '3', '28'). job(basic, 4, giv, nonac, 'D-BA-2a', '59', '241'). job(basic, 4, giv, nonac, 'D-BA-5a', '9', '18'). job(basic, 4, giv, nonac, 'D-BA-5c', '3', '67'). job(basic, 4, giv, nonac, 'D-BA-8a', '17', '140'). job(basic, 4, giv, nonac, 'LT-10a', '1', '36'). job(basic, 4, giv, nonac, 'LT-2', '855', '41'). job(basic, 4, giv, nonac, 'LT-3e', '20', '73'). job(basic, 4, giv, nonac, 'LT-4', '1', '13'). job(basic, 4, giv, nonac, 'LT-5', '6', '57'). job(basic, 4, giv, nonac, 'LT-6', '43', '66'). job(basic, 4, giv, nonac, 'LT-8', '(T)', '---'). job(basic, 4, giv, nonac, 'LT-9b', '28', '70'). job(basic, 4, giv, nonac, 'MFL-1', '7', '42'). job(basic, 4, giv, nonac, 'MFL-2', '5', '31'). job(basic, 4, giv, nonac, 'MFL-3', '3', '37'). job(basic, 4, giv, nonac, 'MFL-7', '8', '58'). job(basic, 4, giv, nonac, 'QLT-1', '2', '45'). job(basic, 4, giv, nonac, 'QLT-2', '2', '28'). job(basic, 4, giv, nonac, 'QLT-3', '(M)', '---'). job(basic, 4, giv, nonac, 'QLT-4', '6', '52'). job(basic, 4, giv, nonac, 'QLT-5', '(M)', '---'). job(basic, 4, giv, nonac, 'QLT-6', '(M)', '---'). job(basic, 4, giv, nonac, 'RBA-2', '31', '48'). job(basic, 4, giv, nonac, 'SD-2a', '3', '73'). job(basic, 4, giv, nonac, 'SD-3-e1', '2', '23'). job(basic, 4, giv, nonac, 'SD-3-e2', '3', '26'). job(basic, 4, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(basic, 4, giv, nonac, 'TBA-1-e2d', '17', '74'). job(basic, 4, giv, nonac, 'WAL-1a', '33', '62'). job(basic, 4, giv, nonac, 'WAL-2', '1', '30'). job(basic, 8, giv, nonac, 'CS-2', '18', '6'). job(basic, 8, giv, nonac, 'CS-6a', '1', '8'). job(basic, 8, giv, nonac, 'D-BA-1b', '1', '27'). job(basic, 8, giv, nonac, 'D-BA-2a', '43', '235'). job(basic, 8, giv, nonac, 'D-BA-5a', '9', '55'). job(basic, 8, giv, nonac, 'D-BA-5c', '2', '22'). job(basic, 8, giv, nonac, 'D-BA-8a', '13', '126'). job(basic, 8, giv, nonac, 'LT-10a', '1', '49'). job(basic, 8, giv, nonac, 'LT-2', '(T)', '---'). job(basic, 8, giv, nonac, 'LT-3e', '14', '101'). job(basic, 8, giv, nonac, 'LT-4', '2', '20'). job(basic, 8, giv, nonac, 'LT-5', '(M)', '---'). job(basic, 8, giv, nonac, 'LT-6', '30', '107'). job(basic, 8, giv, nonac, 'LT-8', '(T)', '---'). job(basic, 8, giv, nonac, 'LT-9b', '37', '80'). job(basic, 8, giv, nonac, 'MFL-1', '6', '33'). job(basic, 8, giv, nonac, 'MFL-2', '5', '52'). job(basic, 8, giv, nonac, 'MFL-3', '11', '55'). job(basic, 8, giv, nonac, 'MFL-7', '22', '75'). job(basic, 8, giv, nonac, 'QLT-1', '3', '45'). job(basic, 8, giv, nonac, 'QLT-2', '2', '29'). job(basic, 8, giv, nonac, 'QLT-3', '(M)', '---'). job(basic, 8, giv, nonac, 'QLT-4', '5', '51'). job(basic, 8, giv, nonac, 'QLT-5', '(M)', '---'). job(basic, 8, giv, nonac, 'QLT-6', '(M)', '---'). job(basic, 8, giv, nonac, 'RBA-2', '26', '43'). job(basic, 8, giv, nonac, 'SD-2a', '2', '39'). job(basic, 8, giv, nonac, 'SD-3-e1', '1', '30'). job(basic, 8, giv, nonac, 'SD-3-e2', '5', '29'). job(basic, 8, giv, nonac, 'TBA-1-e1', '127', '39'). job(basic, 8, giv, nonac, 'TBA-1-e2d', '2', '38'). job(basic, 8, giv, nonac, 'WAL-1a', '52', '70'). job(basic, 8, giv, nonac, 'WAL-2', '1', '36'). job(basic, n, giv, nonac, 'CS-2', '18', '6'). job(basic, n, giv, nonac, 'CS-6a', '4', '7'). job(basic, n, giv, nonac, 'D-BA-1b', '(M)', '---'). job(basic, n, giv, nonac, 'D-BA-2a', '38', '195'). job(basic, n, giv, nonac, 'D-BA-5a', '11', '84'). job(basic, n, giv, nonac, 'D-BA-5c', '2', '23'). job(basic, n, giv, nonac, 'D-BA-8a', '(M)', '---'). job(basic, n, giv, nonac, 'LT-10a', '1', '40'). job(basic, n, giv, nonac, 'LT-2', '(T)', '---'). job(basic, n, giv, nonac, 'LT-3e', '25', '58'). job(basic, n, giv, nonac, 'LT-4', '3', '17'). job(basic, n, giv, nonac, 'LT-5', '(M)', '---'). job(basic, n, giv, nonac, 'LT-6', '(M)', '---'). job(basic, n, giv, nonac, 'LT-8', '(T)', '---'). job(basic, n, giv, nonac, 'LT-9b', '111', '83'). job(basic, n, giv, nonac, 'MFL-1', '7', '38'). job(basic, n, giv, nonac, 'MFL-2', '8', '109'). job(basic, n, giv, nonac, 'MFL-3', '6', '78'). job(basic, n, giv, nonac, 'MFL-7', '20', '72'). job(basic, n, giv, nonac, 'QLT-1', '3', '51'). job(basic, n, giv, nonac, 'QLT-2', '12', '53'). job(basic, n, giv, nonac, 'QLT-3', '(M)', '---'). job(basic, n, giv, nonac, 'QLT-4', '30', '46'). job(basic, n, giv, nonac, 'QLT-5', '(M)', '---'). job(basic, n, giv, nonac, 'QLT-6', '(M)', '---'). job(basic, n, giv, nonac, 'RBA-2', '247', '69'). job(basic, n, giv, nonac, 'SD-2a', '6', '68'). job(basic, n, giv, nonac, 'SD-3-e1', '1', '30'). job(basic, n, giv, nonac, 'SD-3-e2', '42', '32'). job(basic, n, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(basic, n, giv, nonac, 'TBA-1-e2d', '2', '39'). job(basic, n, giv, nonac, 'WAL-1a', '38', '81'). job(basic, n, giv, nonac, 'WAL-2', '1', '30'). job(ord, 1, giv, nonac, 'CS-2', '20', '6'). job(ord, 1, giv, nonac, 'CS-6a', '1', '8'). job(ord, 1, giv, nonac, 'D-BA-1b', '(M)', '---'). job(ord, 1, giv, nonac, 'D-BA-2a', '(M)', '---'). job(ord, 1, giv, nonac, 'D-BA-5a', '109', '60'). job(ord, 1, giv, nonac, 'D-BA-5c', '14', '35'). job(ord, 1, giv, nonac, 'D-BA-8a', '129', '71'). job(ord, 1, giv, nonac, 'LT-10a', '30', '16'). job(ord, 1, giv, nonac, 'LT-2', '(T)', '---'). job(ord, 1, giv, nonac, 'LT-3e', '70', '82'). job(ord, 1, giv, nonac, 'LT-4', '1', '8'). job(ord, 1, giv, nonac, 'LT-5', '44', '77'). job(ord, 1, giv, nonac, 'LT-6', '108', '282'). job(ord, 1, giv, nonac, 'LT-8', '(T)', '---'). job(ord, 1, giv, nonac, 'LT-9b', '192', '48'). job(ord, 1, giv, nonac, 'MFL-1', '2', '23'). job(ord, 1, giv, nonac, 'MFL-2', '3', '29'). job(ord, 1, giv, nonac, 'MFL-3', '8', '28'). job(ord, 1, giv, nonac, 'MFL-7', '25', '57'). job(ord, 1, giv, nonac, 'QLT-1', '4', '23'). job(ord, 1, giv, nonac, 'QLT-2', '7', '23'). job(ord, 1, giv, nonac, 'QLT-3', '(M)', '---'). job(ord, 1, giv, nonac, 'QLT-4', '13', '92'). job(ord, 1, giv, nonac, 'QLT-5', '(M)', '---'). job(ord, 1, giv, nonac, 'QLT-6', '(M)', '---'). job(ord, 1, giv, nonac, 'RBA-2', '46', '61'). job(ord, 1, giv, nonac, 'SD-2a', '11', '74'). job(ord, 1, giv, nonac, 'SD-3-e1', '7', '34'). job(ord, 1, giv, nonac, 'SD-3-e2', '45', '39'). job(ord, 1, giv, nonac, 'TBA-1-e1', '193', '52'). job(ord, 1, giv, nonac, 'TBA-1-e2d', '5', '42'). job(ord, 1, giv, nonac, 'WAL-1a', '135', '43'). job(ord, 1, giv, nonac, 'WAL-2', '7', '17'). job(ord, 4, giv, nonac, 'CS-2', '27', '6'). job(ord, 4, giv, nonac, 'CS-6a', '0', '3'). job(ord, 4, giv, nonac, 'D-BA-1b', '(M)', '---'). job(ord, 4, giv, nonac, 'D-BA-2a', '142', '164'). job(ord, 4, giv, nonac, 'D-BA-5a', '37', '59'). job(ord, 4, giv, nonac, 'D-BA-5c', '6', '75'). job(ord, 4, giv, nonac, 'D-BA-8a', '46', '80'). job(ord, 4, giv, nonac, 'LT-10a', '3', '15'). job(ord, 4, giv, nonac, 'LT-2', '(T)', '---'). job(ord, 4, giv, nonac, 'LT-3e', '43', '65'). job(ord, 4, giv, nonac, 'LT-4', '2', '14'). job(ord, 4, giv, nonac, 'LT-5', '(M)', '---'). job(ord, 4, giv, nonac, 'LT-6', '48', '109'). job(ord, 4, giv, nonac, 'LT-8', '(T)', '---'). job(ord, 4, giv, nonac, 'LT-9b', '295', '64'). job(ord, 4, giv, nonac, 'MFL-1', '4', '30'). job(ord, 4, giv, nonac, 'MFL-2', '1', '34'). job(ord, 4, giv, nonac, 'MFL-3', '7', '30'). job(ord, 4, giv, nonac, 'MFL-7', '15', '51'). job(ord, 4, giv, nonac, 'QLT-1', '3', '34'). job(ord, 4, giv, nonac, 'QLT-2', '5', '28'). job(ord, 4, giv, nonac, 'QLT-3', '(M)', '---'). job(ord, 4, giv, nonac, 'QLT-4', '6', '79'). job(ord, 4, giv, nonac, 'QLT-5', '(M)', '---'). job(ord, 4, giv, nonac, 'QLT-6', '(M)', '---'). job(ord, 4, giv, nonac, 'RBA-2', '20', '45'). job(ord, 4, giv, nonac, 'SD-2a', '4', '76'). job(ord, 4, giv, nonac, 'SD-3-e1', '1', '15'). job(ord, 4, giv, nonac, 'SD-3-e2', '30', '32'). job(ord, 4, giv, nonac, 'TBA-1-e1', '127', '39'). job(ord, 4, giv, nonac, 'TBA-1-e2d', '3', '32'). job(ord, 4, giv, nonac, 'WAL-1a', '147', '31'). job(ord, 4, giv, nonac, 'WAL-2', '7', '16'). job(ord, 8, giv, nonac, 'CS-2', '23', '6'). job(ord, 8, giv, nonac, 'CS-6a', '1', '3'). job(ord, 8, giv, nonac, 'D-BA-1b', '2', '42'). job(ord, 8, giv, nonac, 'D-BA-2a', '214', '248'). job(ord, 8, giv, nonac, 'D-BA-5a', '31', '110'). job(ord, 8, giv, nonac, 'D-BA-5c', '4', '16'). job(ord, 8, giv, nonac, 'D-BA-8a', '43', '81'). job(ord, 8, giv, nonac, 'LT-10a', '1', '14'). job(ord, 8, giv, nonac, 'LT-2', '(T)', '---'). job(ord, 8, giv, nonac, 'LT-3e', '34', '68'). job(ord, 8, giv, nonac, 'LT-4', '5', '27'). job(ord, 8, giv, nonac, 'LT-5', '(M)', '---'). job(ord, 8, giv, nonac, 'LT-6', '30', '107'). job(ord, 8, giv, nonac, 'LT-8', '(T)', '---'). job(ord, 8, giv, nonac, 'LT-9b', '302', '85'). job(ord, 8, giv, nonac, 'MFL-1', '10', '32'). job(ord, 8, giv, nonac, 'MFL-2', '4', '34'). job(ord, 8, giv, nonac, 'MFL-3', '8', '40'). job(ord, 8, giv, nonac, 'MFL-7', '13', '55'). job(ord, 8, giv, nonac, 'QLT-1', '4', '32'). job(ord, 8, giv, nonac, 'QLT-2', '4', '18'). job(ord, 8, giv, nonac, 'QLT-3', '(M)', '---'). job(ord, 8, giv, nonac, 'QLT-4', '7', '115'). job(ord, 8, giv, nonac, 'QLT-5', '(M)', '---'). job(ord, 8, giv, nonac, 'QLT-6', '(M)', '---'). job(ord, 8, giv, nonac, 'RBA-2', '29', '42'). job(ord, 8, giv, nonac, 'SD-2a', '3', '63'). job(ord, 8, giv, nonac, 'SD-3-e1', '1', '15'). job(ord, 8, giv, nonac, 'SD-3-e2', '33', '29'). job(ord, 8, giv, nonac, 'TBA-1-e1', '177', '37'). job(ord, 8, giv, nonac, 'TBA-1-e2d', '2', '35'). job(ord, 8, giv, nonac, 'WAL-1a', '224', '36'). job(ord, 8, giv, nonac, 'WAL-2', '7', '17'). job(ord, n, giv, nonac, 'CS-2', '23', '6'). job(ord, n, giv, nonac, 'CS-6a', '4', '7'). job(ord, n, giv, nonac, 'D-BA-1b', '(M)', '---'). job(ord, n, giv, nonac, 'D-BA-2a', '115', '275'). job(ord, n, giv, nonac, 'D-BA-5a', '36', '116'). job(ord, n, giv, nonac, 'D-BA-5c', '4', '24'). job(ord, n, giv, nonac, 'D-BA-8a', '(M)', '---'). job(ord, n, giv, nonac, 'LT-10a', '1', '14'). job(ord, n, giv, nonac, 'LT-2', '(T)', '---'). job(ord, n, giv, nonac, 'LT-3e', '38', '96'). job(ord, n, giv, nonac, 'LT-4', '7', '18'). job(ord, n, giv, nonac, 'LT-5', '(M)', '---'). job(ord, n, giv, nonac, 'LT-6', '(M)', '---'). job(ord, n, giv, nonac, 'LT-8', '(T)', '---'). job(ord, n, giv, nonac, 'LT-9b', '(M)', '---'). job(ord, n, giv, nonac, 'MFL-1', '8', '42'). job(ord, n, giv, nonac, 'MFL-2', '11', '78'). job(ord, n, giv, nonac, 'MFL-3', '8', '60'). job(ord, n, giv, nonac, 'MFL-7', '9', '51'). job(ord, n, giv, nonac, 'QLT-1', '5', '38'). job(ord, n, giv, nonac, 'QLT-2', '19', '50'). job(ord, n, giv, nonac, 'QLT-3', '(M)', '---'). job(ord, n, giv, nonac, 'QLT-4', '48', '96'). job(ord, n, giv, nonac, 'QLT-5', '(M)', '---'). job(ord, n, giv, nonac, 'QLT-6', '(M)', '---'). job(ord, n, giv, nonac, 'RBA-2', '107', '59'). job(ord, n, giv, nonac, 'SD-2a', '6', '68'). job(ord, n, giv, nonac, 'SD-3-e1', '0', '15'). job(ord, n, giv, nonac, 'SD-3-e2', '54', '40'). job(ord, n, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(ord, n, giv, nonac, 'TBA-1-e2d', '4', '42'). job(ord, n, giv, nonac, 'WAL-1a', '1370', '54'). job(ord, n, giv, nonac, 'WAL-2', '6', '17'). job(block, 1, giv, nonac, 'CS-2', '20', '7'). job(block, 1, giv, nonac, 'CS-6a', '1', '5'). job(block, 1, giv, nonac, 'D-BA-1b', '(M)', '---'). job(block, 1, giv, nonac, 'D-BA-2a', '471', '158'). job(block, 1, giv, nonac, 'D-BA-5a', '37', '127'). job(block, 1, giv, nonac, 'D-BA-5c', '2', '57'). job(block, 1, giv, nonac, 'D-BA-8a', '100', '158'). job(block, 1, giv, nonac, 'LT-10a', '35', '16'). job(block, 1, giv, nonac, 'LT-2', '(T)', '---'). job(block, 1, giv, nonac, 'LT-3e', '65', '87'). job(block, 1, giv, nonac, 'LT-4', '1', '8'). job(block, 1, giv, nonac, 'LT-5', '52', '85'). job(block, 1, giv, nonac, 'LT-6', '114', '250'). job(block, 1, giv, nonac, 'LT-8', '(T)', '---'). job(block, 1, giv, nonac, 'LT-9b', '243', '46'). job(block, 1, giv, nonac, 'MFL-1', '2', '23'). job(block, 1, giv, nonac, 'MFL-2', '14', '33'). job(block, 1, giv, nonac, 'MFL-3', '8', '28'). job(block, 1, giv, nonac, 'MFL-7', '18', '58'). job(block, 1, giv, nonac, 'QLT-1', '5', '23'). job(block, 1, giv, nonac, 'QLT-2', '6', '25'). job(block, 1, giv, nonac, 'QLT-3', '(M)', '---'). job(block, 1, giv, nonac, 'QLT-4', '11', '66'). job(block, 1, giv, nonac, 'QLT-5', '(M)', '---'). job(block, 1, giv, nonac, 'QLT-6', '(M)', '---'). job(block, 1, giv, nonac, 'RBA-2', '62', '53'). job(block, 1, giv, nonac, 'SD-2a', '2', '34'). job(block, 1, giv, nonac, 'SD-3-e1', '5', '32'). job(block, 1, giv, nonac, 'SD-3-e2', '3', '23'). job(block, 1, giv, nonac, 'TBA-1-e1', '187', '43'). job(block, 1, giv, nonac, 'TBA-1-e2d', '5', '33'). job(block, 1, giv, nonac, 'WAL-1a', '178', '33'). job(block, 1, giv, nonac, 'WAL-2', '9', '17'). job(block, 4, giv, nonac, 'CS-2', '27', '7'). job(block, 4, giv, nonac, 'CS-6a', '1', '7'). job(block, 4, giv, nonac, 'D-BA-1b', '(M)', '---'). job(block, 4, giv, nonac, 'D-BA-2a', '163', '174'). job(block, 4, giv, nonac, 'D-BA-5a', '35', '82'). job(block, 4, giv, nonac, 'D-BA-5c', '6', '72'). job(block, 4, giv, nonac, 'D-BA-8a', '33', '104'). job(block, 4, giv, nonac, 'LT-10a', '3', '15'). job(block, 4, giv, nonac, 'LT-2', '1223', '66'). job(block, 4, giv, nonac, 'LT-3e', '47', '55'). job(block, 4, giv, nonac, 'LT-4', '2', '14'). job(block, 4, giv, nonac, 'LT-5', '(M)', '---'). job(block, 4, giv, nonac, 'LT-6', '50', '95'). job(block, 4, giv, nonac, 'LT-8', '(T)', '---'). job(block, 4, giv, nonac, 'LT-9b', '353', '61'). job(block, 4, giv, nonac, 'MFL-1', '9', '28'). job(block, 4, giv, nonac, 'MFL-2', '7', '34'). job(block, 4, giv, nonac, 'MFL-3', '8', '31'). job(block, 4, giv, nonac, 'MFL-7', '14', '51'). job(block, 4, giv, nonac, 'QLT-1', '3', '45'). job(block, 4, giv, nonac, 'QLT-2', '5', '27'). job(block, 4, giv, nonac, 'QLT-3', '(M)', '---'). job(block, 4, giv, nonac, 'QLT-4', '6', '55'). job(block, 4, giv, nonac, 'QLT-5', '(M)', '---'). job(block, 4, giv, nonac, 'QLT-6', '186', '113'). job(block, 4, giv, nonac, 'RBA-2', '23', '42'). job(block, 4, giv, nonac, 'SD-2a', '2', '52'). job(block, 4, giv, nonac, 'SD-3-e1', '1', '15'). job(block, 4, giv, nonac, 'SD-3-e2', '8', '27'). job(block, 4, giv, nonac, 'TBA-1-e1', '133', '39'). job(block, 4, giv, nonac, 'TBA-1-e2d', '4', '46'). job(block, 4, giv, nonac, 'WAL-1a', '183', '31'). job(block, 4, giv, nonac, 'WAL-2', '9', '16'). job(block, 8, giv, nonac, 'CS-2', '23', '7'). job(block, 8, giv, nonac, 'CS-6a', '1', '8'). job(block, 8, giv, nonac, 'D-BA-1b', '3', '27'). job(block, 8, giv, nonac, 'D-BA-2a', '232', '214'). job(block, 8, giv, nonac, 'D-BA-5a', '35', '126'). job(block, 8, giv, nonac, 'D-BA-5c', '4', '17'). job(block, 8, giv, nonac, 'D-BA-8a', '21', '136'). job(block, 8, giv, nonac, 'LT-10a', '2', '14'). job(block, 8, giv, nonac, 'LT-2', '(T)', '---'). job(block, 8, giv, nonac, 'LT-3e', '37', '65'). job(block, 8, giv, nonac, 'LT-4', '5', '27'). job(block, 8, giv, nonac, 'LT-5', '(M)', '---'). job(block, 8, giv, nonac, 'LT-6', '32', '114'). job(block, 8, giv, nonac, 'LT-8', '(T)', '---'). job(block, 8, giv, nonac, 'LT-9b', '361', '51'). job(block, 8, giv, nonac, 'MFL-1', '13', '31'). job(block, 8, giv, nonac, 'MFL-2', '12', '35'). job(block, 8, giv, nonac, 'MFL-3', '8', '38'). job(block, 8, giv, nonac, 'MFL-7', '13', '55'). job(block, 8, giv, nonac, 'QLT-1', '4', '42'). job(block, 8, giv, nonac, 'QLT-2', '4', '27'). job(block, 8, giv, nonac, 'QLT-3', '(M)', '---'). job(block, 8, giv, nonac, 'QLT-4', '7', '53'). job(block, 8, giv, nonac, 'QLT-5', '(M)', '---'). job(block, 8, giv, nonac, 'QLT-6', '(M)', '---'). job(block, 8, giv, nonac, 'RBA-2', '16', '44'). job(block, 8, giv, nonac, 'SD-2a', '2', '52'). job(block, 8, giv, nonac, 'SD-3-e1', '1', '15'). job(block, 8, giv, nonac, 'SD-3-e2', '36', '29'). job(block, 8, giv, nonac, 'TBA-1-e1', '168', '37'). job(block, 8, giv, nonac, 'TBA-1-e2d', '4', '43'). job(block, 8, giv, nonac, 'WAL-1a', '251', '29'). job(block, 8, giv, nonac, 'WAL-2', '9', '17'). job(block, n, giv, nonac, 'CS-2', '23', '7'). job(block, n, giv, nonac, 'CS-6a', '4', '7'). job(block, n, giv, nonac, 'D-BA-1b', '(M)', '---'). job(block, n, giv, nonac, 'D-BA-2a', '115', '271'). job(block, n, giv, nonac, 'D-BA-5a', '38', '112'). job(block, n, giv, nonac, 'D-BA-5c', '4', '24'). job(block, n, giv, nonac, 'D-BA-8a', '(M)', '---'). job(block, n, giv, nonac, 'LT-10a', '1', '14'). job(block, n, giv, nonac, 'LT-2', '(T)', '---'). job(block, n, giv, nonac, 'LT-3e', '34', '62'). job(block, n, giv, nonac, 'LT-4', '8', '28'). job(block, n, giv, nonac, 'LT-5', '(M)', '---'). job(block, n, giv, nonac, 'LT-6', '(M)', '---'). job(block, n, giv, nonac, 'LT-8', '(T)', '---'). job(block, n, giv, nonac, 'LT-9b', '(M)', '---'). job(block, n, giv, nonac, 'MFL-1', '12', '37'). job(block, n, giv, nonac, 'MFL-2', '11', '77'). job(block, n, giv, nonac, 'MFL-3', '9', '60'). job(block, n, giv, nonac, 'MFL-7', '10', '51'). job(block, n, giv, nonac, 'QLT-1', '6', '55'). job(block, n, giv, nonac, 'QLT-2', '18', '64'). job(block, n, giv, nonac, 'QLT-3', '(M)', '---'). job(block, n, giv, nonac, 'QLT-4', '51', '46'). job(block, n, giv, nonac, 'QLT-5', '(M)', '---'). job(block, n, giv, nonac, 'QLT-6', '(M)', '---'). job(block, n, giv, nonac, 'RBA-2', '122', '74'). job(block, n, giv, nonac, 'SD-2a', '7', '63'). job(block, n, giv, nonac, 'SD-3-e1', '1', '15'). job(block, n, giv, nonac, 'SD-3-e2', '58', '41'). job(block, n, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(block, n, giv, nonac, 'TBA-1-e2d', '4', '42'). job(block, n, giv, nonac, 'WAL-1a', '(T)', '---'). job(block, n, giv, nonac, 'WAL-2', '8', '17'). job(start, 1, pair, nonac, 'CS-2', '12', '7'). job(start, 1, pair, nonac, 'CS-6a', '0', '3'). job(start, 1, pair, nonac, 'D-BA-1b', '(M)', '---'). job(start, 1, pair, nonac, 'D-BA-2a', '237', '175'). job(start, 1, pair, nonac, 'D-BA-5a', '24', '39'). job(start, 1, pair, nonac, 'D-BA-5c', '4', '42'). job(start, 1, pair, nonac, 'D-BA-8a', '122', '81'). job(start, 1, pair, nonac, 'LT-10a', '4', '18'). job(start, 1, pair, nonac, 'LT-2', '(T)', '---'). job(start, 1, pair, nonac, 'LT-3e', '48', '59'). job(start, 1, pair, nonac, 'LT-4', '2', '8'). job(start, 1, pair, nonac, 'LT-5', '53', '100'). job(start, 1, pair, nonac, 'LT-6', '40', '163'). job(start, 1, pair, nonac, 'LT-8', '31', '18'). job(start, 1, pair, nonac, 'LT-9b', '68', '40'). job(start, 1, pair, nonac, 'MFL-1', '5', '38'). job(start, 1, pair, nonac, 'MFL-2', '4', '28'). job(start, 1, pair, nonac, 'MFL-3', '4', '20'). job(start, 1, pair, nonac, 'MFL-7', '8', '40'). job(start, 1, pair, nonac, 'QLT-1', '6', '39'). job(start, 1, pair, nonac, 'QLT-2', '5', '23'). job(start, 1, pair, nonac, 'QLT-3', '(M)', '---'). job(start, 1, pair, nonac, 'QLT-4', '2', '23'). job(start, 1, pair, nonac, 'QLT-5', '168', '122'). job(start, 1, pair, nonac, 'QLT-6', '146', '41'). job(start, 1, pair, nonac, 'RBA-2', '43', '42'). job(start, 1, pair, nonac, 'SD-2a', '5', '33'). job(start, 1, pair, nonac, 'SD-3-e1', '52', '89'). job(start, 1, pair, nonac, 'SD-3-e2', '4', '19'). job(start, 1, pair, nonac, 'TBA-1-e1', '103', '42'). job(start, 1, pair, nonac, 'TBA-1-e2d', '1', '31'). job(start, 1, pair, nonac, 'WAL-1a', '330', '35'). job(start, 1, pair, nonac, 'WAL-2', '(S)', '---'). job(start, 4, pair, nonac, 'CS-2', '34', '7'). job(start, 4, pair, nonac, 'CS-6a', '0', '6'). job(start, 4, pair, nonac, 'D-BA-1b', '(M)', '---'). job(start, 4, pair, nonac, 'D-BA-2a', '113', '140'). job(start, 4, pair, nonac, 'D-BA-5a', '15', '16'). job(start, 4, pair, nonac, 'D-BA-5c', '2', '45'). job(start, 4, pair, nonac, 'D-BA-8a', '44', '72'). job(start, 4, pair, nonac, 'LT-10a', '1', '15'). job(start, 4, pair, nonac, 'LT-2', '(T)', '---'). job(start, 4, pair, nonac, 'LT-3e', '69', '67'). job(start, 4, pair, nonac, 'LT-4', '1', '16'). job(start, 4, pair, nonac, 'LT-5', '45', '83'). job(start, 4, pair, nonac, 'LT-6', '9', '82'). job(start, 4, pair, nonac, 'LT-8', '16', '21'). job(start, 4, pair, nonac, 'LT-9b', '245', '37'). job(start, 4, pair, nonac, 'MFL-1', '3', '52'). job(start, 4, pair, nonac, 'MFL-2', '2', '32'). job(start, 4, pair, nonac, 'MFL-3', '3', '30'). job(start, 4, pair, nonac, 'MFL-7', '5', '44'). job(start, 4, pair, nonac, 'QLT-1', '3', '36'). job(start, 4, pair, nonac, 'QLT-2', '3', '17'). job(start, 4, pair, nonac, 'QLT-3', '(M)', '---'). job(start, 4, pair, nonac, 'QLT-4', '4', '23'). job(start, 4, pair, nonac, 'QLT-5', '100', '52'). job(start, 4, pair, nonac, 'QLT-6', '116', '46'). job(start, 4, pair, nonac, 'RBA-2', '19', '41'). job(start, 4, pair, nonac, 'SD-2a', '4', '63'). job(start, 4, pair, nonac, 'SD-3-e1', '5', '51'). job(start, 4, pair, nonac, 'SD-3-e2', '10', '24'). job(start, 4, pair, nonac, 'TBA-1-e1', '32', '35'). job(start, 4, pair, nonac, 'TBA-1-e2d', '1', '28'). job(start, 4, pair, nonac, 'WAL-1a', '233', '33'). job(start, 4, pair, nonac, 'WAL-2', '(S)', '---'). job(start, 8, pair, nonac, 'CS-2', '33', '8'). job(start, 8, pair, nonac, 'CS-6a', '0', '6'). job(start, 8, pair, nonac, 'D-BA-1b', '25', '49'). job(start, 8, pair, nonac, 'D-BA-2a', '149', '214'). job(start, 8, pair, nonac, 'D-BA-5a', '25', '82'). job(start, 8, pair, nonac, 'D-BA-5c', '2', '18'). job(start, 8, pair, nonac, 'D-BA-8a', '27', '92'). job(start, 8, pair, nonac, 'LT-10a', '1', '13'). job(start, 8, pair, nonac, 'LT-2', '(T)', '---'). job(start, 8, pair, nonac, 'LT-3e', '136', '54'). job(start, 8, pair, nonac, 'LT-4', '2', '22'). job(start, 8, pair, nonac, 'LT-5', '42', '79'). job(start, 8, pair, nonac, 'LT-6', '6', '88'). job(start, 8, pair, nonac, 'LT-8', '14', '21'). job(start, 8, pair, nonac, 'LT-9b', '393', '45'). job(start, 8, pair, nonac, 'MFL-1', '3', '37'). job(start, 8, pair, nonac, 'MFL-2', '3', '30'). job(start, 8, pair, nonac, 'MFL-3', '2', '30'). job(start, 8, pair, nonac, 'MFL-7', '5', '42'). job(start, 8, pair, nonac, 'QLT-1', '3', '50'). job(start, 8, pair, nonac, 'QLT-2', '7', '39'). job(start, 8, pair, nonac, 'QLT-3', '(M)', '---'). job(start, 8, pair, nonac, 'QLT-4', '3', '21'). job(start, 8, pair, nonac, 'QLT-5', '97', '62'). job(start, 8, pair, nonac, 'QLT-6', '100', '57'). job(start, 8, pair, nonac, 'RBA-2', '15', '45'). job(start, 8, pair, nonac, 'SD-2a', '4', '44'). job(start, 8, pair, nonac, 'SD-3-e1', '2', '43'). job(start, 8, pair, nonac, 'SD-3-e2', '13', '37'). job(start, 8, pair, nonac, 'TBA-1-e1', '14', '35'). job(start, 8, pair, nonac, 'TBA-1-e2d', '1', '37'). job(start, 8, pair, nonac, 'WAL-1a', '281', '33'). job(start, 8, pair, nonac, 'WAL-2', '(S)', '---'). job(start, n, pair, nonac, 'CS-2', '34', '10'). job(start, n, pair, nonac, 'CS-6a', '6', '7'). job(start, n, pair, nonac, 'D-BA-1b', '104', '63'). job(start, n, pair, nonac, 'D-BA-2a', '196', '210'). job(start, n, pair, nonac, 'D-BA-5a', '32', '94'). job(start, n, pair, nonac, 'D-BA-5c', '3', '17'). job(start, n, pair, nonac, 'D-BA-8a', '(M)', '---'). job(start, n, pair, nonac, 'LT-10a', '0', '16'). job(start, n, pair, nonac, 'LT-2', '(T)', '---'). job(start, n, pair, nonac, 'LT-3e', '72', '56'). job(start, n, pair, nonac, 'LT-4', '2', '15'). job(start, n, pair, nonac, 'LT-5', '(M)', '---'). job(start, n, pair, nonac, 'LT-6', '(M)', '---'). job(start, n, pair, nonac, 'LT-8', '11', '21'). job(start, n, pair, nonac, 'LT-9b', '270', '40'). job(start, n, pair, nonac, 'MFL-1', '3', '43'). job(start, n, pair, nonac, 'MFL-2', '3', '33'). job(start, n, pair, nonac, 'MFL-3', '3', '81'). job(start, n, pair, nonac, 'MFL-7', '4', '57'). job(start, n, pair, nonac, 'QLT-1', '13', '44'). job(start, n, pair, nonac, 'QLT-2', '13', '49'). job(start, n, pair, nonac, 'QLT-3', '(M)', '---'). job(start, n, pair, nonac, 'QLT-4', '6', '30'). job(start, n, pair, nonac, 'QLT-5', '(M)', '---'). job(start, n, pair, nonac, 'QLT-6', '133', '368'). job(start, n, pair, nonac, 'RBA-2', '10', '38'). job(start, n, pair, nonac, 'SD-2a', '23', '53'). job(start, n, pair, nonac, 'SD-3-e1', '1', '17'). job(start, n, pair, nonac, 'SD-3-e2', '13', '37'). job(start, n, pair, nonac, 'TBA-1-e1', '(M)', '---'). job(start, n, pair, nonac, 'TBA-1-e2d', '2', '38'). job(start, n, pair, nonac, 'WAL-1a', '227', '40'). job(start, n, pair, nonac, 'WAL-2', '(S)', '---'). job(basic, 1, pair, nonac, 'CS-2', '10', '7'). job(basic, 1, pair, nonac, 'CS-6a', '0', '3'). job(basic, 1, pair, nonac, 'D-BA-1b', '(M)', '---'). job(basic, 1, pair, nonac, 'D-BA-2a', '71', '237'). job(basic, 1, pair, nonac, 'D-BA-5a', '12', '65'). job(basic, 1, pair, nonac, 'D-BA-5c', '3', '12'). job(basic, 1, pair, nonac, 'D-BA-8a', '5', '62'). job(basic, 1, pair, nonac, 'LT-10a', '1', '36'). job(basic, 1, pair, nonac, 'LT-2', '(T)', '---'). job(basic, 1, pair, nonac, 'LT-3e', '18', '83'). job(basic, 1, pair, nonac, 'LT-4', '0', '8'). job(basic, 1, pair, nonac, 'LT-5', '15', '81'). job(basic, 1, pair, nonac, 'LT-6', '34', '262'). job(basic, 1, pair, nonac, 'LT-8', '(T)', '---'). job(basic, 1, pair, nonac, 'LT-9b', '19', '43'). job(basic, 1, pair, nonac, 'MFL-1', '4', '34'). job(basic, 1, pair, nonac, 'MFL-2', '3', '31'). job(basic, 1, pair, nonac, 'MFL-3', '2', '27'). job(basic, 1, pair, nonac, 'MFL-7', '7', '53'). job(basic, 1, pair, nonac, 'QLT-1', '4', '36'). job(basic, 1, pair, nonac, 'QLT-2', '3', '18'). job(basic, 1, pair, nonac, 'QLT-3', '(M)', '---'). job(basic, 1, pair, nonac, 'QLT-4', '2', '22'). job(basic, 1, pair, nonac, 'QLT-5', '150', '142'). job(basic, 1, pair, nonac, 'QLT-6', '179', '55'). job(basic, 1, pair, nonac, 'RBA-2', '(M)', '---'). job(basic, 1, pair, nonac, 'SD-2a', '8', '80'). job(basic, 1, pair, nonac, 'SD-3-e1', '12', '60'). job(basic, 1, pair, nonac, 'SD-3-e2', '2', '21'). job(basic, 1, pair, nonac, 'TBA-1-e1', '54', '40'). job(basic, 1, pair, nonac, 'TBA-1-e2d', '1', '33'). job(basic, 1, pair, nonac, 'WAL-1a', '68', '88'). job(basic, 1, pair, nonac, 'WAL-2', '2', '26'). job(basic, 4, pair, nonac, 'CS-2', '27', '7'). job(basic, 4, pair, nonac, 'CS-6a', '1', '6'). job(basic, 4, pair, nonac, 'D-BA-1b', '15', '33'). job(basic, 4, pair, nonac, 'D-BA-2a', '58', '234'). job(basic, 4, pair, nonac, 'D-BA-5a', '10', '90'). job(basic, 4, pair, nonac, 'D-BA-5c', '1', '12'). job(basic, 4, pair, nonac, 'D-BA-8a', '26', '69'). job(basic, 4, pair, nonac, 'LT-10a', '1', '41'). job(basic, 4, pair, nonac, 'LT-2', '(T)', '---'). job(basic, 4, pair, nonac, 'LT-3e', '22', '77'). job(basic, 4, pair, nonac, 'LT-4', '1', '17'). job(basic, 4, pair, nonac, 'LT-5', '(M)', '---'). job(basic, 4, pair, nonac, 'LT-6', '44', '135'). job(basic, 4, pair, nonac, 'LT-8', '(T)', '---'). job(basic, 4, pair, nonac, 'LT-9b', '256', '50'). job(basic, 4, pair, nonac, 'MFL-1', '3', '30'). job(basic, 4, pair, nonac, 'MFL-2', '2', '31'). job(basic, 4, pair, nonac, 'MFL-3', '2', '28'). job(basic, 4, pair, nonac, 'MFL-7', '5', '42'). job(basic, 4, pair, nonac, 'QLT-1', '3', '39'). job(basic, 4, pair, nonac, 'QLT-2', '3', '17'). job(basic, 4, pair, nonac, 'QLT-3', '(M)', '---'). job(basic, 4, pair, nonac, 'QLT-4', '3', '24'). job(basic, 4, pair, nonac, 'QLT-5', '91', '110'). job(basic, 4, pair, nonac, 'QLT-6', '131', '52'). job(basic, 4, pair, nonac, 'RBA-2', '609', '140'). job(basic, 4, pair, nonac, 'SD-2a', '6', '83'). job(basic, 4, pair, nonac, 'SD-3-e1', '6', '74'). job(basic, 4, pair, nonac, 'SD-3-e2', '5', '24'). job(basic, 4, pair, nonac, 'TBA-1-e1', '21', '32'). job(basic, 4, pair, nonac, 'TBA-1-e2d', '1', '32'). job(basic, 4, pair, nonac, 'WAL-1a', '71', '68'). job(basic, 4, pair, nonac, 'WAL-2', '(S)', '---'). job(basic, 8, pair, nonac, 'CS-2', '27', '8'). job(basic, 8, pair, nonac, 'CS-6a', '1', '6'). job(basic, 8, pair, nonac, 'D-BA-1b', '10', '38'). job(basic, 8, pair, nonac, 'D-BA-2a', '52', '339'). job(basic, 8, pair, nonac, 'D-BA-5a', '11', '118'). job(basic, 8, pair, nonac, 'D-BA-5c', '1', '18'). job(basic, 8, pair, nonac, 'D-BA-8a', '16', '71'). job(basic, 8, pair, nonac, 'LT-10a', '0', '41'). job(basic, 8, pair, nonac, 'LT-2', '(T)', '---'). job(basic, 8, pair, nonac, 'LT-3e', '46', '70'). job(basic, 8, pair, nonac, 'LT-4', '1', '17'). job(basic, 8, pair, nonac, 'LT-5', '24', '70'). job(basic, 8, pair, nonac, 'LT-6', '18', '126'). job(basic, 8, pair, nonac, 'LT-8', '(T)', '---'). job(basic, 8, pair, nonac, 'LT-9b', '148', '47'). job(basic, 8, pair, nonac, 'MFL-1', '2', '43'). job(basic, 8, pair, nonac, 'MFL-2', '2', '39'). job(basic, 8, pair, nonac, 'MFL-3', '1', '33'). job(basic, 8, pair, nonac, 'MFL-7', '4', '42'). job(basic, 8, pair, nonac, 'QLT-1', '3', '52'). job(basic, 8, pair, nonac, 'QLT-2', '6', '16'). job(basic, 8, pair, nonac, 'QLT-3', '(M)', '---'). job(basic, 8, pair, nonac, 'QLT-4', '2', '21'). job(basic, 8, pair, nonac, 'QLT-5', '89', '104'). job(basic, 8, pair, nonac, 'QLT-6', '120', '56'). job(basic, 8, pair, nonac, 'RBA-2', '523', '142'). job(basic, 8, pair, nonac, 'SD-2a', '6', '83'). job(basic, 8, pair, nonac, 'SD-3-e1', '3', '61'). job(basic, 8, pair, nonac, 'SD-3-e2', '8', '31'). job(basic, 8, pair, nonac, 'TBA-1-e1', '17', '24'). job(basic, 8, pair, nonac, 'TBA-1-e2d', '1', '31'). job(basic, 8, pair, nonac, 'WAL-1a', '182', '77'). job(basic, 8, pair, nonac, 'WAL-2', '(S)', '---'). job(basic, n, pair, nonac, 'CS-2', '29', '10'). job(basic, n, pair, nonac, 'CS-6a', '6', '7'). job(basic, n, pair, nonac, 'D-BA-1b', '33', '78'). job(basic, n, pair, nonac, 'D-BA-2a', '155', '265'). job(basic, n, pair, nonac, 'D-BA-5a', '22', '108'). job(basic, n, pair, nonac, 'D-BA-5c', '1', '17'). job(basic, n, pair, nonac, 'D-BA-8a', '(M)', '---'). job(basic, n, pair, nonac, 'LT-10a', '0', '40'). job(basic, n, pair, nonac, 'LT-2', '(T)', '---'). job(basic, n, pair, nonac, 'LT-3e', '108', '58'). job(basic, n, pair, nonac, 'LT-4', '1', '14'). job(basic, n, pair, nonac, 'LT-5', '(M)', '---'). job(basic, n, pair, nonac, 'LT-6', '(M)', '---'). job(basic, n, pair, nonac, 'LT-8', '17', '15'). job(basic, n, pair, nonac, 'LT-9b', '98', '50'). job(basic, n, pair, nonac, 'MFL-1', '2', '72'). job(basic, n, pair, nonac, 'MFL-2', '2', '67'). job(basic, n, pair, nonac, 'MFL-3', '1', '69'). job(basic, n, pair, nonac, 'MFL-7', '3', '42'). job(basic, n, pair, nonac, 'QLT-1', '9', '20'). job(basic, n, pair, nonac, 'QLT-2', '19', '114'). job(basic, n, pair, nonac, 'QLT-3', '(M)', '---'). job(basic, n, pair, nonac, 'QLT-4', '4', '30'). job(basic, n, pair, nonac, 'QLT-5', '(M)', '---'). job(basic, n, pair, nonac, 'QLT-6', '168', '263'). job(basic, n, pair, nonac, 'RBA-2', '350', '143'). job(basic, n, pair, nonac, 'SD-2a', '15', '54'). job(basic, n, pair, nonac, 'SD-3-e1', '2', '35'). job(basic, n, pair, nonac, 'SD-3-e2', '9', '40'). job(basic, n, pair, nonac, 'TBA-1-e1', '(M)', '---'). job(basic, n, pair, nonac, 'TBA-1-e2d', '1', '62'). job(basic, n, pair, nonac, 'WAL-1a', '152', '64'). job(basic, n, pair, nonac, 'WAL-2', '(S)', '---'). job(ord, 1, pair, nonac, 'CS-2', '12', '7'). job(ord, 1, pair, nonac, 'CS-6a', '0', '3'). job(ord, 1, pair, nonac, 'D-BA-1b', '(M)', '---'). job(ord, 1, pair, nonac, 'D-BA-2a', '236', '175'). job(ord, 1, pair, nonac, 'D-BA-5a', '24', '39'). job(ord, 1, pair, nonac, 'D-BA-5c', '4', '42'). job(ord, 1, pair, nonac, 'D-BA-8a', '122', '81'). job(ord, 1, pair, nonac, 'LT-10a', '4', '18'). job(ord, 1, pair, nonac, 'LT-2', '(T)', '---'). job(ord, 1, pair, nonac, 'LT-3e', '48', '59'). job(ord, 1, pair, nonac, 'LT-4', '2', '8'). job(ord, 1, pair, nonac, 'LT-5', '53', '100'). job(ord, 1, pair, nonac, 'LT-6', '40', '163'). job(ord, 1, pair, nonac, 'LT-8', '31', '18'). job(ord, 1, pair, nonac, 'LT-9b', '67', '40'). job(ord, 1, pair, nonac, 'MFL-1', '4', '38'). job(ord, 1, pair, nonac, 'MFL-2', '4', '28'). job(ord, 1, pair, nonac, 'MFL-3', '4', '20'). job(ord, 1, pair, nonac, 'MFL-7', '8', '40'). job(ord, 1, pair, nonac, 'QLT-1', '6', '39'). job(ord, 1, pair, nonac, 'QLT-2', '5', '23'). job(ord, 1, pair, nonac, 'QLT-3', '(M)', '---'). job(ord, 1, pair, nonac, 'QLT-4', '2', '23'). job(ord, 1, pair, nonac, 'QLT-5', '169', '122'). job(ord, 1, pair, nonac, 'QLT-6', '146', '41'). job(ord, 1, pair, nonac, 'RBA-2', '43', '42'). job(ord, 1, pair, nonac, 'SD-2a', '5', '33'). job(ord, 1, pair, nonac, 'SD-3-e1', '52', '89'). job(ord, 1, pair, nonac, 'SD-3-e2', '4', '19'). job(ord, 1, pair, nonac, 'TBA-1-e1', '104', '42'). job(ord, 1, pair, nonac, 'TBA-1-e2d', '1', '31'). job(ord, 1, pair, nonac, 'WAL-1a', '325', '35'). job(ord, 1, pair, nonac, 'WAL-2', '(S)', '---'). job(ord, 4, pair, nonac, 'CS-2', '34', '7'). job(ord, 4, pair, nonac, 'CS-6a', '1', '6'). job(ord, 4, pair, nonac, 'D-BA-1b', '(M)', '---'). job(ord, 4, pair, nonac, 'D-BA-2a', '113', '140'). job(ord, 4, pair, nonac, 'D-BA-5a', '15', '16'). job(ord, 4, pair, nonac, 'D-BA-5c', '2', '45'). job(ord, 4, pair, nonac, 'D-BA-8a', '44', '72'). job(ord, 4, pair, nonac, 'LT-10a', '1', '15'). job(ord, 4, pair, nonac, 'LT-2', '(T)', '---'). job(ord, 4, pair, nonac, 'LT-3e', '68', '67'). job(ord, 4, pair, nonac, 'LT-4', '1', '16'). job(ord, 4, pair, nonac, 'LT-5', '44', '83'). job(ord, 4, pair, nonac, 'LT-6', '9', '82'). job(ord, 4, pair, nonac, 'LT-8', '16', '21'). job(ord, 4, pair, nonac, 'LT-9b', '243', '37'). job(ord, 4, pair, nonac, 'MFL-1', '3', '52'). job(ord, 4, pair, nonac, 'MFL-2', '3', '32'). job(ord, 4, pair, nonac, 'MFL-3', '3', '30'). job(ord, 4, pair, nonac, 'MFL-7', '5', '44'). job(ord, 4, pair, nonac, 'QLT-1', '3', '36'). job(ord, 4, pair, nonac, 'QLT-2', '3', '17'). job(ord, 4, pair, nonac, 'QLT-3', '(M)', '---'). job(ord, 4, pair, nonac, 'QLT-4', '4', '23'). job(ord, 4, pair, nonac, 'QLT-5', '100', '52'). job(ord, 4, pair, nonac, 'QLT-6', '116', '46'). job(ord, 4, pair, nonac, 'RBA-2', '19', '41'). job(ord, 4, pair, nonac, 'SD-2a', '4', '63'). job(ord, 4, pair, nonac, 'SD-3-e1', '5', '51'). job(ord, 4, pair, nonac, 'SD-3-e2', '10', '24'). job(ord, 4, pair, nonac, 'TBA-1-e1', '31', '35'). job(ord, 4, pair, nonac, 'TBA-1-e2d', '1', '28'). job(ord, 4, pair, nonac, 'WAL-1a', '233', '33'). job(ord, 4, pair, nonac, 'WAL-2', '(S)', '---'). job(ord, 8, pair, nonac, 'CS-2', '33', '8'). job(ord, 8, pair, nonac, 'CS-6a', '1', '6'). job(ord, 8, pair, nonac, 'D-BA-1b', '25', '49'). job(ord, 8, pair, nonac, 'D-BA-2a', '149', '214'). job(ord, 8, pair, nonac, 'D-BA-5a', '26', '82'). job(ord, 8, pair, nonac, 'D-BA-5c', '2', '18'). job(ord, 8, pair, nonac, 'D-BA-8a', '27', '92'). job(ord, 8, pair, nonac, 'LT-10a', '1', '13'). job(ord, 8, pair, nonac, 'LT-2', '(T)', '---'). job(ord, 8, pair, nonac, 'LT-3e', '134', '54'). job(ord, 8, pair, nonac, 'LT-4', '2', '22'). job(ord, 8, pair, nonac, 'LT-5', '41', '79'). job(ord, 8, pair, nonac, 'LT-6', '6', '88'). job(ord, 8, pair, nonac, 'LT-8', '14', '21'). job(ord, 8, pair, nonac, 'LT-9b', '388', '45'). job(ord, 8, pair, nonac, 'MFL-1', '2', '37'). job(ord, 8, pair, nonac, 'MFL-2', '2', '30'). job(ord, 8, pair, nonac, 'MFL-3', '2', '30'). job(ord, 8, pair, nonac, 'MFL-7', '5', '42'). job(ord, 8, pair, nonac, 'QLT-1', '3', '50'). job(ord, 8, pair, nonac, 'QLT-2', '6', '39'). job(ord, 8, pair, nonac, 'QLT-3', '(M)', '---'). job(ord, 8, pair, nonac, 'QLT-4', '3', '21'). job(ord, 8, pair, nonac, 'QLT-5', '96', '62'). job(ord, 8, pair, nonac, 'QLT-6', '100', '57'). job(ord, 8, pair, nonac, 'RBA-2', '14', '45'). job(ord, 8, pair, nonac, 'SD-2a', '4', '44'). job(ord, 8, pair, nonac, 'SD-3-e1', '2', '43'). job(ord, 8, pair, nonac, 'SD-3-e2', '13', '37'). job(ord, 8, pair, nonac, 'TBA-1-e1', '14', '35'). job(ord, 8, pair, nonac, 'TBA-1-e2d', '1', '37'). job(ord, 8, pair, nonac, 'WAL-1a', '278', '33'). job(ord, 8, pair, nonac, 'WAL-2', '(S)', '---'). job(ord, n, pair, nonac, 'CS-2', '34', '10'). job(ord, n, pair, nonac, 'CS-6a', '6', '7'). job(ord, n, pair, nonac, 'D-BA-1b', '101', '63'). job(ord, n, pair, nonac, 'D-BA-2a', '194', '210'). job(ord, n, pair, nonac, 'D-BA-5a', '33', '94'). job(ord, n, pair, nonac, 'D-BA-5c', '3', '17'). job(ord, n, pair, nonac, 'D-BA-8a', '(M)', '---'). job(ord, n, pair, nonac, 'LT-10a', '0', '16'). job(ord, n, pair, nonac, 'LT-2', '(T)', '---'). job(ord, n, pair, nonac, 'LT-3e', '71', '56'). job(ord, n, pair, nonac, 'LT-4', '2', '15'). job(ord, n, pair, nonac, 'LT-5', '(M)', '---'). job(ord, n, pair, nonac, 'LT-6', '(M)', '---'). job(ord, n, pair, nonac, 'LT-8', '11', '21'). job(ord, n, pair, nonac, 'LT-9b', '269', '40'). job(ord, n, pair, nonac, 'MFL-1', '3', '43'). job(ord, n, pair, nonac, 'MFL-2', '3', '33'). job(ord, n, pair, nonac, 'MFL-3', '4', '81'). job(ord, n, pair, nonac, 'MFL-7', '4', '57'). job(ord, n, pair, nonac, 'QLT-1', '13', '44'). job(ord, n, pair, nonac, 'QLT-2', '13', '49'). job(ord, n, pair, nonac, 'QLT-3', '(M)', '---'). job(ord, n, pair, nonac, 'QLT-4', '6', '30'). job(ord, n, pair, nonac, 'QLT-5', '(M)', '---'). job(ord, n, pair, nonac, 'QLT-6', '132', '368'). job(ord, n, pair, nonac, 'RBA-2', '10', '38'). job(ord, n, pair, nonac, 'SD-2a', '23', '53'). job(ord, n, pair, nonac, 'SD-3-e1', '1', '17'). job(ord, n, pair, nonac, 'SD-3-e2', '13', '37'). job(ord, n, pair, nonac, 'TBA-1-e1', '(M)', '---'). job(ord, n, pair, nonac, 'TBA-1-e2d', '2', '38'). job(ord, n, pair, nonac, 'WAL-1a', '226', '40'). job(ord, n, pair, nonac, 'WAL-2', '(S)', '---'). job(block, 1, pair, nonac, 'CS-2', '13', '7'). job(block, 1, pair, nonac, 'CS-6a', '0', '3'). job(block, 1, pair, nonac, 'D-BA-1b', '(M)', '---'). job(block, 1, pair, nonac, 'D-BA-2a', '305', '242'). job(block, 1, pair, nonac, 'D-BA-5a', '26', '39'). job(block, 1, pair, nonac, 'D-BA-5c', '4', '42'). job(block, 1, pair, nonac, 'D-BA-8a', '122', '81'). job(block, 1, pair, nonac, 'LT-10a', '4', '18'). job(block, 1, pair, nonac, 'LT-2', '(T)', '---'). job(block, 1, pair, nonac, 'LT-3e', '55', '59'). job(block, 1, pair, nonac, 'LT-4', '2', '8'). job(block, 1, pair, nonac, 'LT-5', '58', '100'). job(block, 1, pair, nonac, 'LT-6', '40', '158'). job(block, 1, pair, nonac, 'LT-8', '37', '18'). job(block, 1, pair, nonac, 'LT-9b', '82', '40'). job(block, 1, pair, nonac, 'MFL-1', '5', '38'). job(block, 1, pair, nonac, 'MFL-2', '5', '28'). job(block, 1, pair, nonac, 'MFL-3', '4', '20'). job(block, 1, pair, nonac, 'MFL-7', '8', '40'). job(block, 1, pair, nonac, 'QLT-1', '6', '39'). job(block, 1, pair, nonac, 'QLT-2', '5', '23'). job(block, 1, pair, nonac, 'QLT-3', '(M)', '---'). job(block, 1, pair, nonac, 'QLT-4', '2', '23'). job(block, 1, pair, nonac, 'QLT-5', '178', '122'). job(block, 1, pair, nonac, 'QLT-6', '154', '41'). job(block, 1, pair, nonac, 'RBA-2', '49', '42'). job(block, 1, pair, nonac, 'SD-2a', '6', '33'). job(block, 1, pair, nonac, 'SD-3-e1', '53', '89'). job(block, 1, pair, nonac, 'SD-3-e2', '4', '19'). job(block, 1, pair, nonac, 'TBA-1-e1', '110', '42'). job(block, 1, pair, nonac, 'TBA-1-e2d', '1', '42'). job(block, 1, pair, nonac, 'WAL-1a', '409', '35'). job(block, 1, pair, nonac, 'WAL-2', '(S)', '---'). job(block, 4, pair, nonac, 'CS-2', '36', '7'). job(block, 4, pair, nonac, 'CS-6a', '1', '6'). job(block, 4, pair, nonac, 'D-BA-1b', '(M)', '---'). job(block, 4, pair, nonac, 'D-BA-2a', '132', '141'). job(block, 4, pair, nonac, 'D-BA-5a', '17', '16'). job(block, 4, pair, nonac, 'D-BA-5c', '2', '45'). job(block, 4, pair, nonac, 'D-BA-8a', '47', '72'). job(block, 4, pair, nonac, 'LT-10a', '1', '15'). job(block, 4, pair, nonac, 'LT-2', '(T)', '---'). job(block, 4, pair, nonac, 'LT-3e', '82', '67'). job(block, 4, pair, nonac, 'LT-4', '2', '16'). job(block, 4, pair, nonac, 'LT-5', '51', '83'). job(block, 4, pair, nonac, 'LT-6', '9', '83'). job(block, 4, pair, nonac, 'LT-8', '20', '21'). job(block, 4, pair, nonac, 'LT-9b', '291', '37'). job(block, 4, pair, nonac, 'MFL-1', '3', '49'). job(block, 4, pair, nonac, 'MFL-2', '3', '32'). job(block, 4, pair, nonac, 'MFL-3', '3', '33'). job(block, 4, pair, nonac, 'MFL-7', '5', '47'). job(block, 4, pair, nonac, 'QLT-1', '3', '36'). job(block, 4, pair, nonac, 'QLT-2', '4', '17'). job(block, 4, pair, nonac, 'QLT-3', '(M)', '---'). job(block, 4, pair, nonac, 'QLT-4', '5', '23'). job(block, 4, pair, nonac, 'QLT-5', '105', '52'). job(block, 4, pair, nonac, 'QLT-6', '120', '46'). job(block, 4, pair, nonac, 'RBA-2', '22', '41'). job(block, 4, pair, nonac, 'SD-2a', '5', '63'). job(block, 4, pair, nonac, 'SD-3-e1', '5', '51'). job(block, 4, pair, nonac, 'SD-3-e2', '12', '24'). job(block, 4, pair, nonac, 'TBA-1-e1', '35', '35'). job(block, 4, pair, nonac, 'TBA-1-e2d', '1', '44'). job(block, 4, pair, nonac, 'WAL-1a', '300', '33'). job(block, 4, pair, nonac, 'WAL-2', '(S)', '---'). job(block, 8, pair, nonac, 'CS-2', '35', '8'). job(block, 8, pair, nonac, 'CS-6a', '1', '6'). job(block, 8, pair, nonac, 'D-BA-1b', '26', '49'). job(block, 8, pair, nonac, 'D-BA-2a', '237', '285'). job(block, 8, pair, nonac, 'D-BA-5a', '29', '84'). job(block, 8, pair, nonac, 'D-BA-5c', '2', '18'). job(block, 8, pair, nonac, 'D-BA-8a', '31', '91'). job(block, 8, pair, nonac, 'LT-10a', '1', '13'). job(block, 8, pair, nonac, 'LT-2', '(T)', '---'). job(block, 8, pair, nonac, 'LT-3e', '159', '54'). job(block, 8, pair, nonac, 'LT-4', '2', '22'). job(block, 8, pair, nonac, 'LT-5', '46', '79'). job(block, 8, pair, nonac, 'LT-6', '6', '88'). job(block, 8, pair, nonac, 'LT-8', '17', '21'). job(block, 8, pair, nonac, 'LT-9b', '479', '45'). job(block, 8, pair, nonac, 'MFL-1', '3', '35'). job(block, 8, pair, nonac, 'MFL-2', '3', '30'). job(block, 8, pair, nonac, 'MFL-3', '2', '30'). job(block, 8, pair, nonac, 'MFL-7', '5', '44'). job(block, 8, pair, nonac, 'QLT-1', '3', '50'). job(block, 8, pair, nonac, 'QLT-2', '7', '39'). job(block, 8, pair, nonac, 'QLT-3', '(M)', '---'). job(block, 8, pair, nonac, 'QLT-4', '4', '21'). job(block, 8, pair, nonac, 'QLT-5', '104', '62'). job(block, 8, pair, nonac, 'QLT-6', '103', '57'). job(block, 8, pair, nonac, 'RBA-2', '16', '45'). job(block, 8, pair, nonac, 'SD-2a', '5', '44'). job(block, 8, pair, nonac, 'SD-3-e1', '3', '43'). job(block, 8, pair, nonac, 'SD-3-e2', '15', '37'). job(block, 8, pair, nonac, 'TBA-1-e1', '16', '35'). job(block, 8, pair, nonac, 'TBA-1-e2d', '1', '47'). job(block, 8, pair, nonac, 'WAL-1a', '367', '33'). job(block, 8, pair, nonac, 'WAL-2', '(S)', '---'). job(block, n, pair, nonac, 'CS-2', '36', '10'). job(block, n, pair, nonac, 'CS-6a', '7', '7'). job(block, n, pair, nonac, 'D-BA-1b', '123', '63'). job(block, n, pair, nonac, 'D-BA-2a', '311', '231'). job(block, n, pair, nonac, 'D-BA-5a', '24', '104'). job(block, n, pair, nonac, 'D-BA-5c', '3', '17'). job(block, n, pair, nonac, 'D-BA-8a', '(M)', '---'). job(block, n, pair, nonac, 'LT-10a', '0', '16'). job(block, n, pair, nonac, 'LT-2', '(T)', '---'). job(block, n, pair, nonac, 'LT-3e', '88', '56'). job(block, n, pair, nonac, 'LT-4', '2', '15'). job(block, n, pair, nonac, 'LT-5', '(M)', '---'). job(block, n, pair, nonac, 'LT-6', '(M)', '---'). job(block, n, pair, nonac, 'LT-8', '14', '21'). job(block, n, pair, nonac, 'LT-9b', '339', '40'). job(block, n, pair, nonac, 'MFL-1', '3', '46'). job(block, n, pair, nonac, 'MFL-2', '3', '33'). job(block, n, pair, nonac, 'MFL-3', '4', '83'). job(block, n, pair, nonac, 'MFL-7', '4', '59'). job(block, n, pair, nonac, 'QLT-1', '15', '44'). job(block, n, pair, nonac, 'QLT-2', '15', '49'). job(block, n, pair, nonac, 'QLT-3', '(M)', '---'). job(block, n, pair, nonac, 'QLT-4', '6', '30'). job(block, n, pair, nonac, 'QLT-5', '(M)', '---'). job(block, n, pair, nonac, 'QLT-6', '133', '328'). job(block, n, pair, nonac, 'RBA-2', '12', '38'). job(block, n, pair, nonac, 'SD-2a', '26', '53'). job(block, n, pair, nonac, 'SD-3-e1', '2', '17'). job(block, n, pair, nonac, 'SD-3-e2', '16', '37'). job(block, n, pair, nonac, 'TBA-1-e1', '(M)', '---'). job(block, n, pair, nonac, 'TBA-1-e2d', '5', '43'). job(block, n, pair, nonac, 'WAL-1a', '299', '40'). job(block, n, pair, nonac, 'WAL-2', '(S)', '---'). job(all, 1, giv, nonac, 'CS-2', '17', '7'). job(all, 1, giv, nonac, 'CS-6a', '1', '8'). job(all, 1, giv, nonac, 'D-BA-1b', '27', '60'). job(all, 1, giv, nonac, 'D-BA-2a', '218', '276'). job(all, 1, giv, nonac, 'D-BA-5a', '37', '118'). job(all, 1, giv, nonac, 'D-BA-5c', '6', '24'). job(all, 1, giv, nonac, 'D-BA-8a', '32', '106'). job(all, 1, giv, nonac, 'LT-10a', '4', '26'). job(all, 1, giv, nonac, 'LT-2', '(T)', '---'). job(all, 1, giv, nonac, 'LT-3e', '229', '134'). job(all, 1, giv, nonac, 'LT-4', '1', '8'). job(all, 1, giv, nonac, 'LT-5', '36', '67'). job(all, 1, giv, nonac, 'LT-6', '72', '244'). job(all, 1, giv, nonac, 'LT-8', '(T)', '---'). job(all, 1, giv, nonac, 'LT-9b', '89', '64'). job(all, 1, giv, nonac, 'MFL-1', '6', '34'). job(all, 1, giv, nonac, 'MFL-2', '7', '37'). job(all, 1, giv, nonac, 'MFL-3', '5', '26'). job(all, 1, giv, nonac, 'MFL-7', '27', '47'). job(all, 1, giv, nonac, 'QLT-1', '2', '30'). job(all, 1, giv, nonac, 'QLT-2', '2', '36'). job(all, 1, giv, nonac, 'QLT-3', '(M)', '---'). job(all, 1, giv, nonac, 'QLT-4', '8', '69'). job(all, 1, giv, nonac, 'QLT-5', '(M)', '---'). job(all, 1, giv, nonac, 'QLT-6', '138', '113'). job(all, 1, giv, nonac, 'RBA-2', '14', '35'). job(all, 1, giv, nonac, 'SD-2a', '26', '93'). job(all, 1, giv, nonac, 'SD-3-e1', '11', '33'). job(all, 1, giv, nonac, 'SD-3-e2', '14', '32'). job(all, 1, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(all, 1, giv, nonac, 'TBA-1-e2d', '6', '34'). job(all, 1, giv, nonac, 'WAL-1a', '104', '58'). job(all, 1, giv, nonac, 'WAL-2', '(S)', '---'). job(all, 1, pair, nonac, 'CS-2', '8', '7'). job(all, 1, pair, nonac, 'CS-6a', '0', '3'). job(all, 1, pair, nonac, 'D-BA-1b', '(M)', '---'). job(all, 1, pair, nonac, 'D-BA-2a', '188', '259'). job(all, 1, pair, nonac, 'D-BA-5a', '12', '74'). job(all, 1, pair, nonac, 'D-BA-5c', '3', '12'). job(all, 1, pair, nonac, 'D-BA-8a', '5', '62'). job(all, 1, pair, nonac, 'LT-10a', '1', '36'). job(all, 1, pair, nonac, 'LT-2', '(T)', '---'). job(all, 1, pair, nonac, 'LT-3e', '38', '68'). job(all, 1, pair, nonac, 'LT-4', '1', '8'). job(all, 1, pair, nonac, 'LT-5', '15', '74'). job(all, 1, pair, nonac, 'LT-6', '40', '197'). job(all, 1, pair, nonac, 'LT-8', '(T)', '---'). job(all, 1, pair, nonac, 'LT-9b', '23', '43'). job(all, 1, pair, nonac, 'MFL-1', '4', '34'). job(all, 1, pair, nonac, 'MFL-2', '3', '31'). job(all, 1, pair, nonac, 'MFL-3', '2', '30'). job(all, 1, pair, nonac, 'MFL-7', '6', '53'). job(all, 1, pair, nonac, 'QLT-1', '3', '33'). job(all, 1, pair, nonac, 'QLT-2', '3', '18'). job(all, 1, pair, nonac, 'QLT-3', '(M)', '---'). job(all, 1, pair, nonac, 'QLT-4', '1', '22'). job(all, 1, pair, nonac, 'QLT-5', '71', '44'). job(all, 1, pair, nonac, 'QLT-6', '145', '55'). job(all, 1, pair, nonac, 'RBA-2', '641', '142'). job(all, 1, pair, nonac, 'SD-2a', '5', '70'). job(all, 1, pair, nonac, 'SD-3-e1', '16', '43'). job(all, 1, pair, nonac, 'SD-3-e2', '2', '21'). job(all, 1, pair, nonac, 'TBA-1-e1', '55', '40'). job(all, 1, pair, nonac, 'TBA-1-e2d', '1', '28'). job(all, 1, pair, nonac, 'WAL-1a', '215', '89'). job(all, 1, pair, nonac, 'WAL-2', '2', '26'). job(all, 4, giv, nonac, 'CS-2', '14', '7'). job(all, 4, giv, nonac, 'CS-6a', '0', '3'). job(all, 4, giv, nonac, 'D-BA-1b', '2', '26'). job(all, 4, giv, nonac, 'D-BA-2a', '92', '320'). job(all, 4, giv, nonac, 'D-BA-5a', '14', '76'). job(all, 4, giv, nonac, 'D-BA-5c', '3', '65'). job(all, 4, giv, nonac, 'D-BA-8a', '18', '129'). job(all, 4, giv, nonac, 'LT-10a', '1', '37'). job(all, 4, giv, nonac, 'LT-2', '(T)', '---'). job(all, 4, giv, nonac, 'LT-3e', '23', '112'). job(all, 4, giv, nonac, 'LT-4', '1', '13'). job(all, 4, giv, nonac, 'LT-5', '6', '68'). job(all, 4, giv, nonac, 'LT-6', '39', '73'). job(all, 4, giv, nonac, 'LT-8', '(T)', '---'). job(all, 4, giv, nonac, 'LT-9b', '38', '76'). job(all, 4, giv, nonac, 'MFL-1', '10', '51'). job(all, 4, giv, nonac, 'MFL-2', '5', '33'). job(all, 4, giv, nonac, 'MFL-3', '9', '46'). job(all, 4, giv, nonac, 'MFL-7', '11', '50'). job(all, 4, giv, nonac, 'QLT-1', '3', '60'). job(all, 4, giv, nonac, 'QLT-2', '2', '32'). job(all, 4, giv, nonac, 'QLT-3', '(M)', '---'). job(all, 4, giv, nonac, 'QLT-4', '6', '64'). job(all, 4, giv, nonac, 'QLT-5', '(M)', '---'). job(all, 4, giv, nonac, 'QLT-6', '(M)', '---'). job(all, 4, giv, nonac, 'RBA-2', '23', '32'). job(all, 4, giv, nonac, 'SD-2a', '12', '81'). job(all, 4, giv, nonac, 'SD-3-e1', '2', '25'). job(all, 4, giv, nonac, 'SD-3-e2', '4', '26'). job(all, 4, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(all, 4, giv, nonac, 'TBA-1-e2d', '3', '36'). job(all, 4, giv, nonac, 'WAL-1a', '44', '60'). job(all, 4, giv, nonac, 'WAL-2', '(S)', '---'). job(all, 4, pair, nonac, 'CS-2', '24', '7'). job(all, 4, pair, nonac, 'CS-6a', '1', '6'). job(all, 4, pair, nonac, 'D-BA-1b', '14', '33'). job(all, 4, pair, nonac, 'D-BA-2a', '135', '253'). job(all, 4, pair, nonac, 'D-BA-5a', '9', '96'). job(all, 4, pair, nonac, 'D-BA-5c', '1', '12'). job(all, 4, pair, nonac, 'D-BA-8a', '24', '59'). job(all, 4, pair, nonac, 'LT-10a', '1', '41'). job(all, 4, pair, nonac, 'LT-2', '(T)', '---'). job(all, 4, pair, nonac, 'LT-3e', '34', '56'). job(all, 4, pair, nonac, 'LT-4', '1', '22'). job(all, 4, pair, nonac, 'LT-5', '27', '99'). job(all, 4, pair, nonac, 'LT-6', '49', '90'). job(all, 4, pair, nonac, 'LT-8', '(T)', '---'). job(all, 4, pair, nonac, 'LT-9b', '224', '50'). job(all, 4, pair, nonac, 'MFL-1', '3', '31'). job(all, 4, pair, nonac, 'MFL-2', '2', '31'). job(all, 4, pair, nonac, 'MFL-3', '2', '31'). job(all, 4, pair, nonac, 'MFL-7', '6', '45'). job(all, 4, pair, nonac, 'QLT-1', '2', '33'). job(all, 4, pair, nonac, 'QLT-2', '3', '17'). job(all, 4, pair, nonac, 'QLT-3', '(M)', '---'). job(all, 4, pair, nonac, 'QLT-4', '2', '24'). job(all, 4, pair, nonac, 'QLT-5', '119', '71'). job(all, 4, pair, nonac, 'QLT-6', '93', '190'). job(all, 4, pair, nonac, 'RBA-2', '491', '148'). job(all, 4, pair, nonac, 'SD-2a', '3', '48'). job(all, 4, pair, nonac, 'SD-3-e1', '2', '49'). job(all, 4, pair, nonac, 'SD-3-e2', '6', '24'). job(all, 4, pair, nonac, 'TBA-1-e1', '24', '32'). job(all, 4, pair, nonac, 'TBA-1-e2d', '1', '27'). job(all, 4, pair, nonac, 'WAL-1a', '190', '75'). job(all, 4, pair, nonac, 'WAL-2', '(S)', '---'). job(all, 8, giv, nonac, 'CS-2', '11', '7'). job(all, 8, giv, nonac, 'CS-6a', '1', '3'). job(all, 8, giv, nonac, 'D-BA-1b', '5', '46'). job(all, 8, giv, nonac, 'D-BA-2a', '63', '225'). job(all, 8, giv, nonac, 'D-BA-5a', '12', '127'). job(all, 8, giv, nonac, 'D-BA-5c', '2', '22'). job(all, 8, giv, nonac, 'D-BA-8a', '26', '75'). job(all, 8, giv, nonac, 'LT-10a', '1', '41'). job(all, 8, giv, nonac, 'LT-2', '(T)', '---'). job(all, 8, giv, nonac, 'LT-3e', '10', '83'). job(all, 8, giv, nonac, 'LT-4', '3', '18'). job(all, 8, giv, nonac, 'LT-5', '(M)', '---'). job(all, 8, giv, nonac, 'LT-6', '30', '102'). job(all, 8, giv, nonac, 'LT-8', '(T)', '---'). job(all, 8, giv, nonac, 'LT-9b', '49', '87'). job(all, 8, giv, nonac, 'MFL-1', '6', '33'). job(all, 8, giv, nonac, 'MFL-2', '7', '34'). job(all, 8, giv, nonac, 'MFL-3', '4', '49'). job(all, 8, giv, nonac, 'MFL-7', '25', '102'). job(all, 8, giv, nonac, 'QLT-1', '3', '66'). job(all, 8, giv, nonac, 'QLT-2', '2', '28'). job(all, 8, giv, nonac, 'QLT-3', '(M)', '---'). job(all, 8, giv, nonac, 'QLT-4', '5', '80'). job(all, 8, giv, nonac, 'QLT-5', '(M)', '---'). job(all, 8, giv, nonac, 'QLT-6', '(M)', '---'). job(all, 8, giv, nonac, 'RBA-2', '34', '32'). job(all, 8, giv, nonac, 'SD-2a', '3', '65'). job(all, 8, giv, nonac, 'SD-3-e1', '1', '31'). job(all, 8, giv, nonac, 'SD-3-e2', '6', '29'). job(all, 8, giv, nonac, 'TBA-1-e1', '149', '45'). job(all, 8, giv, nonac, 'TBA-1-e2d', '2', '36'). job(all, 8, giv, nonac, 'WAL-1a', '67', '65'). job(all, 8, giv, nonac, 'WAL-2', '2', '36'). job(all, 8, pair, nonac, 'CS-2', '46', '7'). job(all, 8, pair, nonac, 'CS-6a', '1', '6'). job(all, 8, pair, nonac, 'D-BA-1b', '10', '42'). job(all, 8, pair, nonac, 'D-BA-2a', '64', '287'). job(all, 8, pair, nonac, 'D-BA-5a', '11', '110'). job(all, 8, pair, nonac, 'D-BA-5c', '1', '18'). job(all, 8, pair, nonac, 'D-BA-8a', '17', '66'). job(all, 8, pair, nonac, 'LT-10a', '1', '41'). job(all, 8, pair, nonac, 'LT-2', '(T)', '---'). job(all, 8, pair, nonac, 'LT-3e', '43', '75'). job(all, 8, pair, nonac, 'LT-4', '1', '22'). job(all, 8, pair, nonac, 'LT-5', '24', '91'). job(all, 8, pair, nonac, 'LT-6', '41', '237'). job(all, 8, pair, nonac, 'LT-8', '(T)', '---'). job(all, 8, pair, nonac, 'LT-9b', '172', '47'). job(all, 8, pair, nonac, 'MFL-1', '2', '44'). job(all, 8, pair, nonac, 'MFL-2', '2', '39'). job(all, 8, pair, nonac, 'MFL-3', '2', '33'). job(all, 8, pair, nonac, 'MFL-7', '5', '45'). job(all, 8, pair, nonac, 'QLT-1', '3', '53'). job(all, 8, pair, nonac, 'QLT-2', '5', '16'). job(all, 8, pair, nonac, 'QLT-3', '(M)', '---'). job(all, 8, pair, nonac, 'QLT-4', '2', '20'). job(all, 8, pair, nonac, 'QLT-5', '58', '109'). job(all, 8, pair, nonac, 'QLT-6', '88', '75'). job(all, 8, pair, nonac, 'RBA-2', '496', '124'). job(all, 8, pair, nonac, 'SD-2a', '4', '91'). job(all, 8, pair, nonac, 'SD-3-e1', '2', '33'). job(all, 8, pair, nonac, 'SD-3-e2', '9', '31'). job(all, 8, pair, nonac, 'TBA-1-e1', '198', '45'). job(all, 8, pair, nonac, 'TBA-1-e2d', '1', '28'). job(all, 8, pair, nonac, 'WAL-1a', '209', '78'). job(all, 8, pair, nonac, 'WAL-2', '(S)', '---'). job(all, n, giv, nonac, 'CS-2', '11', '7'). job(all, n, giv, nonac, 'CS-6a', '4', '7'). job(all, n, giv, nonac, 'D-BA-1b', '8', '151'). job(all, n, giv, nonac, 'D-BA-2a', '99', '258'). job(all, n, giv, nonac, 'D-BA-5a', '10', '63'). job(all, n, giv, nonac, 'D-BA-5c', '2', '23'). job(all, n, giv, nonac, 'D-BA-8a', '(M)', '---'). job(all, n, giv, nonac, 'LT-10a', '1', '41'). job(all, n, giv, nonac, 'LT-2', '(T)', '---'). job(all, n, giv, nonac, 'LT-3e', '44', '79'). job(all, n, giv, nonac, 'LT-4', '4', '8'). job(all, n, giv, nonac, 'LT-5', '(M)', '---'). job(all, n, giv, nonac, 'LT-6', '(M)', '---'). job(all, n, giv, nonac, 'LT-8', '(T)', '---'). job(all, n, giv, nonac, 'LT-9b', '135', '134'). job(all, n, giv, nonac, 'MFL-1', '9', '33'). job(all, n, giv, nonac, 'MFL-2', '7', '100'). job(all, n, giv, nonac, 'MFL-3', '9', '109'). job(all, n, giv, nonac, 'MFL-7', '25', '77'). job(all, n, giv, nonac, 'QLT-1', '10', '51'). job(all, n, giv, nonac, 'QLT-2', '6', '49'). job(all, n, giv, nonac, 'QLT-3', '(M)', '---'). job(all, n, giv, nonac, 'QLT-4', '15', '81'). job(all, n, giv, nonac, 'QLT-5', '(M)', '---'). job(all, n, giv, nonac, 'QLT-6', '(M)', '---'). job(all, n, giv, nonac, 'RBA-2', '122', '58'). job(all, n, giv, nonac, 'SD-2a', '14', '51'). job(all, n, giv, nonac, 'SD-3-e1', '4', '23'). job(all, n, giv, nonac, 'SD-3-e2', '47', '32'). job(all, n, giv, nonac, 'TBA-1-e1', '(M)', '---'). job(all, n, giv, nonac, 'TBA-1-e2d', '2', '54'). job(all, n, giv, nonac, 'WAL-1a', '50', '85'). job(all, n, giv, nonac, 'WAL-2', '2', '30'). job(all, n, pair, nonac, 'CS-2', '55', '11'). job(all, n, pair, nonac, 'CS-6a', '7', '7'). job(all, n, pair, nonac, 'D-BA-1b', '21', '74'). job(all, n, pair, nonac, 'D-BA-2a', '86', '182'). job(all, n, pair, nonac, 'D-BA-5a', '11', '97'). job(all, n, pair, nonac, 'D-BA-5c', '2', '17'). job(all, n, pair, nonac, 'D-BA-8a', '(M)', '---'). job(all, n, pair, nonac, 'LT-10a', '0', '40'). job(all, n, pair, nonac, 'LT-2', '(T)', '---'). job(all, n, pair, nonac, 'LT-3e', '106', '58'). job(all, n, pair, nonac, 'LT-4', '1', '14'). job(all, n, pair, nonac, 'LT-5', '(M)', '---'). job(all, n, pair, nonac, 'LT-6', '(M)', '---'). job(all, n, pair, nonac, 'LT-8', '17', '15'). job(all, n, pair, nonac, 'LT-9b', '111', '50'). job(all, n, pair, nonac, 'MFL-1', '2', '72'). job(all, n, pair, nonac, 'MFL-2', '2', '68'). job(all, n, pair, nonac, 'MFL-3', '2', '69'). job(all, n, pair, nonac, 'MFL-7', '3', '45'). job(all, n, pair, nonac, 'QLT-1', '9', '20'). job(all, n, pair, nonac, 'QLT-2', '14', '127'). job(all, n, pair, nonac, 'QLT-3', '(M)', '---'). job(all, n, pair, nonac, 'QLT-4', '4', '39'). job(all, n, pair, nonac, 'QLT-5', '317', '101'). job(all, n, pair, nonac, 'QLT-6', '89', '58'). job(all, n, pair, nonac, 'RBA-2', '301', '128'). job(all, n, pair, nonac, 'SD-2a', '17', '46'). job(all, n, pair, nonac, 'SD-3-e1', '1', '33'). job(all, n, pair, nonac, 'SD-3-e2', '11', '40'). job(all, n, pair, nonac, 'TBA-1-e1', '(M)', '---'). job(all, n, pair, nonac, 'TBA-1-e2d', '3', '63'). job(all, n, pair, nonac, 'WAL-1a', '184', '64'). job(all, n, pair, nonac, 'WAL-2', '(S)', '---'). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Here is the data for the AC jobs. job(start, 1, pair, ac, 'D-BA-5a', '5', '7'). job(start, 1, pair, ac, 'D-BA-5c', '13', '18'). job(start, 1, pair, ac, 'LT-2', '803', '10'). job(start, 1, pair, ac, 'LT-5', '6', '10'). job(start, 1, pair, ac, 'LT-6', '112', '5'). job(start, 1, pair, ac, 'LT-8', '602', '5'). job(start, 1, pair, ac, 'QLT-1', '6', '11'). job(start, 1, pair, ac, 'QLT-2', '19', '11'). job(start, 1, pair, ac, 'QLT-3', '854', '52'). job(start, 1, pair, ac, 'QLT-4', '3', '6'). job(start, 1, pair, ac, 'QLT-5', '119', '21'). job(start, 1, pair, ac, 'QLT-6', '431', '5'). job(start, 1, pair, ac, 'RBA-2', '19', '19'). job(start, 4, pair, ac, 'D-BA-5a', '7', '7'). job(start, 4, pair, ac, 'D-BA-5c', '9', '14'). job(start, 4, pair, ac, 'LT-2', '748', '8'). job(start, 4, pair, ac, 'LT-5', '18', '15'). job(start, 4, pair, ac, 'LT-6', '438', '14'). job(start, 4, pair, ac, 'LT-8', '137', '5'). job(start, 4, pair, ac, 'QLT-1', '18', '11'). job(start, 4, pair, ac, 'QLT-2', '35', '13'). job(start, 4, pair, ac, 'QLT-3', '(T)', '---'). job(start, 4, pair, ac, 'QLT-4', '4', '6'). job(start, 4, pair, ac, 'QLT-5', '79', '22'). job(start, 4, pair, ac, 'QLT-6', '713', '40'). job(start, 4, pair, ac, 'RBA-2', '8', '17'). job(start, 8, pair, ac, 'D-BA-5a', '11', '7'). job(start, 8, pair, ac, 'D-BA-5c', '12', '14'). job(start, 8, pair, ac, 'LT-2', '896', '8'). job(start, 8, pair, ac, 'LT-5', '31', '19'). job(start, 8, pair, ac, 'LT-6', '788', '14'). job(start, 8, pair, ac, 'LT-8', '114', '5'). job(start, 8, pair, ac, 'QLT-1', '23', '11'). job(start, 8, pair, ac, 'QLT-2', '56', '18'). job(start, 8, pair, ac, 'QLT-3', '(T)', '---'). job(start, 8, pair, ac, 'QLT-4', '10', '6'). job(start, 8, pair, ac, 'QLT-5', '76', '20'). job(start, 8, pair, ac, 'QLT-6', '833', '50'). job(start, 8, pair, ac, 'RBA-2', '5', '16'). job(start, n, pair, ac, 'D-BA-5a', '9', '7'). job(start, n, pair, ac, 'D-BA-5c', '10', '10'). job(start, n, pair, ac, 'LT-2', '1463', '7'). job(start, n, pair, ac, 'LT-5', '(T)', '---'). job(start, n, pair, ac, 'LT-6', '(T)', '---'). job(start, n, pair, ac, 'LT-8', '20', '5'). job(start, n, pair, ac, 'QLT-1', '207', '23'). job(start, n, pair, ac, 'QLT-2', '54', '18'). job(start, n, pair, ac, 'QLT-3', '(T)', '---'). job(start, n, pair, ac, 'QLT-4', '77', '20'). job(start, n, pair, ac, 'QLT-5', '(T)', '---'). job(start, n, pair, ac, 'QLT-6', '(T)', '---'). job(start, n, pair, ac, 'RBA-2', '4', '16'). job(basic, 1, pair, ac, 'D-BA-5a', '4', '7'). job(basic, 1, pair, ac, 'D-BA-5c', '10', '14'). job(basic, 1, pair, ac, 'LT-2', '662', '10'). job(basic, 1, pair, ac, 'LT-5', '(T)', '---'). job(basic, 1, pair, ac, 'LT-6', '112', '5'). job(basic, 1, pair, ac, 'LT-8', '477', '6'). job(basic, 1, pair, ac, 'QLT-1', '(T)', '---'). job(basic, 1, pair, ac, 'QLT-2', '20', '11'). job(basic, 1, pair, ac, 'QLT-3', '816', '52'). job(basic, 1, pair, ac, 'QLT-4', '4', '6'). job(basic, 1, pair, ac, 'QLT-5', '240', '28'). job(basic, 1, pair, ac, 'QLT-6', '411', '5'). job(basic, 1, pair, ac, 'RBA-2', '6', '16'). job(basic, 4, pair, ac, 'D-BA-5a', '7', '7'). job(basic, 4, pair, ac, 'D-BA-5c', '9', '14'). job(basic, 4, pair, ac, 'LT-2', '606', '8'). job(basic, 4, pair, ac, 'LT-5', '36', '30'). job(basic, 4, pair, ac, 'LT-6', '295', '14'). job(basic, 4, pair, ac, 'LT-8', '141', '6'). job(basic, 4, pair, ac, 'QLT-1', '18', '11'). job(basic, 4, pair, ac, 'QLT-2', '35', '13'). job(basic, 4, pair, ac, 'QLT-3', '(T)', '---'). job(basic, 4, pair, ac, 'QLT-4', '5', '6'). job(basic, 4, pair, ac, 'QLT-5', '78', '22'). job(basic, 4, pair, ac, 'QLT-6', '701', '42'). job(basic, 4, pair, ac, 'RBA-2', '5', '16'). job(basic, 8, pair, ac, 'D-BA-5a', '11', '7'). job(basic, 8, pair, ac, 'D-BA-5c', '12', '14'). job(basic, 8, pair, ac, 'LT-2', '683', '8'). job(basic, 8, pair, ac, 'LT-5', '25', '18'). job(basic, 8, pair, ac, 'LT-6', '510', '14'). job(basic, 8, pair, ac, 'LT-8', '118', '6'). job(basic, 8, pair, ac, 'QLT-1', '23', '11'). job(basic, 8, pair, ac, 'QLT-2', '56', '18'). job(basic, 8, pair, ac, 'QLT-3', '(T)', '---'). job(basic, 8, pair, ac, 'QLT-4', '10', '6'). job(basic, 8, pair, ac, 'QLT-5', '75', '20'). job(basic, 8, pair, ac, 'QLT-6', '(T)', '---'). job(basic, 8, pair, ac, 'RBA-2', '4', '16'). job(basic, n, pair, ac, 'D-BA-5a', '9', '7'). job(basic, n, pair, ac, 'D-BA-5c', '10', '10'). job(basic, n, pair, ac, 'LT-2', '1086', '7'). job(basic, n, pair, ac, 'LT-5', '(T)', '---'). job(basic, n, pair, ac, 'LT-6', '(T)', '---'). job(basic, n, pair, ac, 'LT-8', '39', '6'). job(basic, n, pair, ac, 'QLT-1', '209', '23'). job(basic, n, pair, ac, 'QLT-2', '54', '18'). job(basic, n, pair, ac, 'QLT-3', '(T)', '---'). job(basic, n, pair, ac, 'QLT-4', '77', '20'). job(basic, n, pair, ac, 'QLT-5', '(T)', '---'). job(basic, n, pair, ac, 'QLT-6', '(T)', '---'). job(basic, n, pair, ac, 'RBA-2', '4', '16'). job(block, 1, pair, ac, 'D-BA-5a', '6', '7'). job(block, 1, pair, ac, 'D-BA-5c', '13', '18'). job(block, 1, pair, ac, 'LT-2', '1218', '10'). job(block, 1, pair, ac, 'LT-5', '6', '10'). job(block, 1, pair, ac, 'LT-6', '85', '5'). job(block, 1, pair, ac, 'LT-8', '1056', '5'). job(block, 1, pair, ac, 'QLT-1', '2', '12'). job(block, 1, pair, ac, 'QLT-2', '6', '11'). job(block, 1, pair, ac, 'QLT-3', '484', '52'). job(block, 1, pair, ac, 'QLT-4', '1', '6'). job(block, 1, pair, ac, 'QLT-5', '255', '21'). job(block, 1, pair, ac, 'QLT-6', '171', '56'). job(block, 1, pair, ac, 'RBA-2', '18', '19'). job(block, 4, pair, ac, 'D-BA-5a', '5', '7'). job(block, 4, pair, ac, 'D-BA-5c', '6', '14'). job(block, 4, pair, ac, 'LT-2', '1033', '8'). job(block, 4, pair, ac, 'LT-5', '10', '15'). job(block, 4, pair, ac, 'LT-6', '225', '14'). job(block, 4, pair, ac, 'LT-8', '239', '5'). job(block, 4, pair, ac, 'QLT-1', '4', '12'). job(block, 4, pair, ac, 'QLT-2', '7', '13'). job(block, 4, pair, ac, 'QLT-3', '900', '90'). job(block, 4, pair, ac, 'QLT-4', '2', '6'). job(block, 4, pair, ac, 'QLT-5', '33', '22'). job(block, 4, pair, ac, 'QLT-6', '274', '42'). job(block, 4, pair, ac, 'RBA-2', '7', '17'). job(block, 8, pair, ac, 'D-BA-5a', '6', '7'). job(block, 8, pair, ac, 'D-BA-5c', '7', '14'). job(block, 8, pair, ac, 'LT-2', '1197', '8'). job(block, 8, pair, ac, 'LT-5', '28', '19'). job(block, 8, pair, ac, 'LT-6', '582', '14'). job(block, 8, pair, ac, 'LT-8', '223', '5'). job(block, 8, pair, ac, 'QLT-1', '4', '12'). job(block, 8, pair, ac, 'QLT-2', '11', '21'). job(block, 8, pair, ac, 'QLT-3', '1511', '120'). job(block, 8, pair, ac, 'QLT-4', '2', '6'). job(block, 8, pair, ac, 'QLT-5', '27', '20'). job(block, 8, pair, ac, 'QLT-6', '293', '33'). job(block, 8, pair, ac, 'RBA-2', '4', '16'). job(block, n, pair, ac, 'D-BA-5a', '5', '7'). job(block, n, pair, ac, 'D-BA-5c', '6', '10'). job(block, n, pair, ac, 'LT-2', '1659', '7'). job(block, n, pair, ac, 'LT-5', '(T)', '---'). job(block, n, pair, ac, 'LT-6', '(T)', '---'). job(block, n, pair, ac, 'LT-8', '22', '5'). job(block, n, pair, ac, 'QLT-1', '97', '24'). job(block, n, pair, ac, 'QLT-2', '10', '21'). job(block, n, pair, ac, 'QLT-3', '(T)', '---'). job(block, n, pair, ac, 'QLT-4', '18', '16'). job(block, n, pair, ac, 'QLT-5', '1519', '89'). job(block, n, pair, ac, 'QLT-6', '548', '14'). job(block, n, pair, ac, 'RBA-2', '3', '16'). job(super0, 1, pair, ac, 'D-BA-5a', '114', '14'). job(super0, 1, pair, ac, 'D-BA-5c', '51', '27'). job(super0, 1, pair, ac, 'LT-2', '278', '10'). job(super0, 1, pair, ac, 'LT-5', '4', '15'). job(super0, 1, pair, ac, 'LT-6', '11', '9'). job(super0, 1, pair, ac, 'LT-8', '26', '5'). job(super0, 1, pair, ac, 'QLT-1', '4', '7'). job(super0, 1, pair, ac, 'QLT-2', '7', '9'). job(super0, 1, pair, ac, 'QLT-3', '72', '65'). job(super0, 1, pair, ac, 'QLT-4', '1', '6'). job(super0, 1, pair, ac, 'QLT-5', '36', '7'). job(super0, 1, pair, ac, 'QLT-6', '32', '5'). job(super0, 1, pair, ac, 'RBA-2', '13', '18'). job(super0, 4, pair, ac, 'D-BA-5a', '40', '14'). job(super0, 4, pair, ac, 'D-BA-5c', '5', '7'). job(super0, 4, pair, ac, 'LT-2', '280', '8'). job(super0, 4, pair, ac, 'LT-5', '3', '18'). job(super0, 4, pair, ac, 'LT-6', '25', '15'). job(super0, 4, pair, ac, 'LT-8', '7', '5'). job(super0, 4, pair, ac, 'QLT-1', '2', '7'). job(super0, 4, pair, ac, 'QLT-2', '5', '17'). job(super0, 4, pair, ac, 'QLT-3', '120', '55'). job(super0, 4, pair, ac, 'QLT-4', '1', '6'). job(super0, 4, pair, ac, 'QLT-5', '89', '7'). job(super0, 4, pair, ac, 'QLT-6', '62', '6'). job(super0, 4, pair, ac, 'RBA-2', '5', '17'). job(super0, 8, pair, ac, 'D-BA-5a', '29', '14'). job(super0, 8, pair, ac, 'D-BA-5c', '3', '7'). job(super0, 8, pair, ac, 'LT-2', '311', '8'). job(super0, 8, pair, ac, 'LT-5', '7', '16'). job(super0, 8, pair, ac, 'LT-6', '48', '14'). job(super0, 8, pair, ac, 'LT-8', '6', '5'). job(super0, 8, pair, ac, 'QLT-1', '2', '7'). job(super0, 8, pair, ac, 'QLT-2', '4', '17'). job(super0, 8, pair, ac, 'QLT-3', '149', '89'). job(super0, 8, pair, ac, 'QLT-4', '1', '6'). job(super0, 8, pair, ac, 'QLT-5', '82', '23'). job(super0, 8, pair, ac, 'QLT-6', '77', '23'). job(super0, 8, pair, ac, 'RBA-2', '3', '16'). job(super0, n, pair, ac, 'D-BA-5a', '21', '23'). job(super0, n, pair, ac, 'D-BA-5c', '2', '7'). job(super0, n, pair, ac, 'LT-2', '709', '7'). job(super0, n, pair, ac, 'LT-5', '1421', '43'). job(super0, n, pair, ac, 'LT-6', '(T)', '---'). job(super0, n, pair, ac, 'LT-8', '4', '5'). job(super0, n, pair, ac, 'QLT-1', '13', '21'). job(super0, n, pair, ac, 'QLT-2', '4', '17'). job(super0, n, pair, ac, 'QLT-3', '(T)', '---'). job(super0, n, pair, ac, 'QLT-4', '7', '12'). job(super0, n, pair, ac, 'QLT-5', '107', '58'). job(super0, n, pair, ac, 'QLT-6', '89', '95'). job(super0, n, pair, ac, 'RBA-2', '2', '16'). job(all, 1, pair, ac, 'D-BA-5a', '58', '14'). job(all, 1, pair, ac, 'D-BA-5c', '39', '7'). job(all, 1, pair, ac, 'LT-2', '290', '10'). job(all, 1, pair, ac, 'LT-5', '4', '15'). job(all, 1, pair, ac, 'LT-6', '11', '9'). job(all, 1, pair, ac, 'LT-8', '27', '6'). job(all, 1, pair, ac, 'QLT-1', '15', '3'). job(all, 1, pair, ac, 'QLT-2', '7', '9'). job(all, 1, pair, ac, 'QLT-3', '52', '59'). job(all, 1, pair, ac, 'QLT-4', '1', '6'). job(all, 1, pair, ac, 'QLT-5', '29', '7'). job(all, 1, pair, ac, 'QLT-6', '26', '5'). job(all, 1, pair, ac, 'RBA-2', '4', '16'). job(all, 4, pair, ac, 'D-BA-5a', '12', '22'). job(all, 4, pair, ac, 'D-BA-5c', '7', '7'). job(all, 4, pair, ac, 'LT-2', '269', '8'). job(all, 4, pair, ac, 'LT-5', '3', '18'). job(all, 4, pair, ac, 'LT-6', '21', '15'). job(all, 4, pair, ac, 'LT-8', '5', '6'). job(all, 4, pair, ac, 'QLT-1', '12', '9'). job(all, 4, pair, ac, 'QLT-2', '5', '36'). job(all, 4, pair, ac, 'QLT-3', '83', '55'). job(all, 4, pair, ac, 'QLT-4', '1', '6'). job(all, 4, pair, ac, 'QLT-5', '56', '25'). job(all, 4, pair, ac, 'QLT-6', '53', '5'). job(all, 4, pair, ac, 'RBA-2', '2', '16'). job(all, 8, pair, ac, 'D-BA-5a', '27', '9'). job(all, 8, pair, ac, 'D-BA-5c', '5', '7'). job(all, 8, pair, ac, 'LT-2', '269', '8'). job(all, 8, pair, ac, 'LT-5', '6', '15'). job(all, 8, pair, ac, 'LT-6', '37', '14'). job(all, 8, pair, ac, 'LT-8', '4', '6'). job(all, 8, pair, ac, 'QLT-1', '11', '9'). job(all, 8, pair, ac, 'QLT-2', '4', '26'). job(all, 8, pair, ac, 'QLT-3', '139', '90'). job(all, 8, pair, ac, 'QLT-4', '1', '6'). job(all, 8, pair, ac, 'QLT-5', '60', '23'). job(all, 8, pair, ac, 'QLT-6', '56', '22'). job(all, 8, pair, ac, 'RBA-2', '2', '16'). job(all, n, pair, ac, 'D-BA-5a', '16', '15'). job(all, n, pair, ac, 'D-BA-5c', '3', '7'). job(all, n, pair, ac, 'LT-2', '607', '7'). job(all, n, pair, ac, 'LT-5', '737', '66'). job(all, n, pair, ac, 'LT-6', '1482', '29'). job(all, n, pair, ac, 'LT-8', '2', '6'). job(all, n, pair, ac, 'QLT-1', '7', '21'). job(all, n, pair, ac, 'QLT-2', '4', '26'). job(all, n, pair, ac, 'QLT-3', '(T)', '---'). job(all, n, pair, ac, 'QLT-4', '6', '12'). job(all, n, pair, ac, 'QLT-5', '89', '65'). job(all, n, pair, ac, 'QLT-6', '53', '8'). job(all, n, pair, ac, 'RBA-2', '1', '16'). job(start, 1, giv, ac, 'D-BA-5a', '24', '7'). job(start, 1, giv, ac, 'D-BA-5c', '61', '6'). job(start, 1, giv, ac, 'LT-2', '202', '10'). job(start, 1, giv, ac, 'LT-5', '13', '10'). job(start, 1, giv, ac, 'LT-6', '615', '5'). job(start, 1, giv, ac, 'LT-8', '816', '6'). job(start, 1, giv, ac, 'QLT-1', '3', '11'). job(start, 1, giv, ac, 'QLT-2', '5', '12'). job(start, 1, giv, ac, 'QLT-3', '1296', '68'). job(start, 1, giv, ac, 'QLT-4', '17', '6'). job(start, 1, giv, ac, 'QLT-5', '206', '11'). job(start, 1, giv, ac, 'QLT-6', '293', '8'). job(start, 1, giv, ac, 'RBA-2', '44', '21'). job(start, 4, giv, ac, 'D-BA-5a', '59', '8'). job(start, 4, giv, ac, 'D-BA-5c', '59', '11'). job(start, 4, giv, ac, 'LT-2', '165', '9'). job(start, 4, giv, ac, 'LT-5', '90', '10'). job(start, 4, giv, ac, 'LT-6', '(T)', '---'). job(start, 4, giv, ac, 'LT-8', '164', '6'). job(start, 4, giv, ac, 'QLT-1', '134', '11'). job(start, 4, giv, ac, 'QLT-2', '62', '13'). job(start, 4, giv, ac, 'QLT-3', '165', '51'). job(start, 4, giv, ac, 'QLT-4', '19', '9'). job(start, 4, giv, ac, 'QLT-5', '237', '31'). job(start, 4, giv, ac, 'QLT-6', '177', '31'). job(start, 4, giv, ac, 'RBA-2', '16', '22'). job(start, 8, giv, ac, 'D-BA-5a', '59', '8'). job(start, 8, giv, ac, 'D-BA-5c', '59', '11'). job(start, 8, giv, ac, 'LT-2', '384', '9'). job(start, 8, giv, ac, 'LT-5', '834', '20'). job(start, 8, giv, ac, 'LT-6', '(T)', '---'). job(start, 8, giv, ac, 'LT-8', '51', '6'). job(start, 8, giv, ac, 'QLT-1', '134', '11'). job(start, 8, giv, ac, 'QLT-2', '63', '13'). job(start, 8, giv, ac, 'QLT-3', '193', '62'). job(start, 8, giv, ac, 'QLT-4', '19', '9'). job(start, 8, giv, ac, 'QLT-5', '387', '11'). job(start, 8, giv, ac, 'QLT-6', '178', '31'). job(start, 8, giv, ac, 'RBA-2', '792', '25'). job(start, n, giv, ac, 'D-BA-5a', '60', '8'). job(start, n, giv, ac, 'D-BA-5c', '60', '11'). job(start, n, giv, ac, 'LT-2', '960', '9'). job(start, n, giv, ac, 'LT-5', '(T)', '---'). job(start, n, giv, ac, 'LT-6', '(T)', '---'). job(start, n, giv, ac, 'LT-8', '21', '6'). job(start, n, giv, ac, 'QLT-1', '55', '11'). job(start, n, giv, ac, 'QLT-2', '57', '12'). job(start, n, giv, ac, 'QLT-3', '(T)', '---'). job(start, n, giv, ac, 'QLT-4', '19', '9'). job(start, n, giv, ac, 'QLT-5', '(T)', '---'). job(start, n, giv, ac, 'QLT-6', '169', '31'). job(start, n, giv, ac, 'RBA-2', '17', '25'). job(all, 1, giv, ac, 'D-BA-5a', '2', '7'). job(all, 1, giv, ac, 'D-BA-5c', '2', '5'). job(all, 1, giv, ac, 'LT-2', '44', '10'). job(all, 1, giv, ac, 'LT-5', '23', '14'). job(all, 1, giv, ac, 'LT-6', '29', '12'). job(all, 1, giv, ac, 'LT-8', '12', '6'). job(all, 1, giv, ac, 'QLT-1', '1', '11'). job(all, 1, giv, ac, 'QLT-2', '11', '9'). job(all, 1, giv, ac, 'QLT-3', '122', '73'). job(all, 1, giv, ac, 'QLT-4', '2', '6'). job(all, 1, giv, ac, 'QLT-5', '23', '11'). job(all, 1, giv, ac, 'QLT-6', '29', '8'). job(all, 1, giv, ac, 'RBA-2', '6', '22'). job(all, 4, giv, ac, 'D-BA-5a', '45', '7'). job(all, 4, giv, ac, 'D-BA-5c', '5', '6'). job(all, 4, giv, ac, 'LT-2', '19', '9'). job(all, 4, giv, ac, 'LT-5', '3', '5'). job(all, 4, giv, ac, 'LT-6', '147', '20'). job(all, 4, giv, ac, 'LT-8', '4', '6'). job(all, 4, giv, ac, 'QLT-1', '4', '12'). job(all, 4, giv, ac, 'QLT-2', '6', '16'). job(all, 4, giv, ac, 'QLT-3', '23', '41'). job(all, 4, giv, ac, 'QLT-4', '2', '9'). job(all, 4, giv, ac, 'QLT-5', '53', '11'). job(all, 4, giv, ac, 'QLT-6', '24', '7'). job(all, 4, giv, ac, 'RBA-2', '6', '21'). job(all, 8, giv, ac, 'D-BA-5a', '111', '7'). job(all, 8, giv, ac, 'D-BA-5c', '5', '7'). job(all, 8, giv, ac, 'LT-2', '54', '9'). job(all, 8, giv, ac, 'LT-5', '18', '8'). job(all, 8, giv, ac, 'LT-6', '719', '13'). job(all, 8, giv, ac, 'LT-8', '2', '6'). job(all, 8, giv, ac, 'QLT-1', '2', '12'). job(all, 8, giv, ac, 'QLT-2', '6', '16'). job(all, 8, giv, ac, 'QLT-3', '37', '58'). job(all, 8, giv, ac, 'QLT-4', '2', '9'). job(all, 8, giv, ac, 'QLT-5', '63', '11'). job(all, 8, giv, ac, 'QLT-6', '24', '7'). job(all, 8, giv, ac, 'RBA-2', '5', '21'). job(all, n, giv, ac, 'D-BA-5a', '164', '58'). job(all, n, giv, ac, 'D-BA-5c', '5', '7'). job(all, n, giv, ac, 'LT-2', '299', '9'). job(all, n, giv, ac, 'LT-5', '(T)', '---'). job(all, n, giv, ac, 'LT-6', '(T)', '---'). job(all, n, giv, ac, 'LT-8', '2', '6'). job(all, n, giv, ac, 'QLT-1', '6', '12'). job(all, n, giv, ac, 'QLT-2', '4', '16'). job(all, n, giv, ac, 'QLT-3', '(T)', '---'). job(all, n, giv, ac, 'QLT-4', '2', '9'). job(all, n, giv, ac, 'QLT-5', '(T)', '---'). job(all, n, giv, ac, 'QLT-6', '25', '7'). job(all, n, giv, ac, 'RBA-2', '3', '21'). job(basic, 1, giv, ac, 'D-BA-5a', '19', '7'). job(basic, 1, giv, ac, 'D-BA-5c', '1056', '5'). job(basic, 1, giv, ac, 'LT-2', '172', '10'). job(basic, 1, giv, ac, 'LT-5', '---', '---'). job(basic, 1, giv, ac, 'LT-6', '598', '5'). job(basic, 1, giv, ac, 'LT-8', '416', '6'). job(basic, 1, giv, ac, 'QLT-1', '3', '11'). job(basic, 1, giv, ac, 'QLT-2', '5', '12'). job(basic, 1, giv, ac, 'QLT-3', '1224', '68'). job(basic, 1, giv, ac, 'QLT-4', '17', '6'). job(basic, 1, giv, ac, 'QLT-5', '201', '11'). job(basic, 1, giv, ac, 'QLT-6', '269', '8'). job(basic, 1, giv, ac, 'RBA-2', '11', '22'). job(basic, 4, giv, ac, 'D-BA-5a', '26', '8'). job(basic, 4, giv, ac, 'D-BA-5c', '27', '11'). job(basic, 4, giv, ac, 'LT-2', '136', '9'). job(basic, 4, giv, ac, 'LT-5', '192', '11'). job(basic, 4, giv, ac, 'LT-6', '1821', '19'). job(basic, 4, giv, ac, 'LT-8', '91', '6'). job(basic, 4, giv, ac, 'QLT-1', '131', '11'). job(basic, 4, giv, ac, 'QLT-2', '62', '13'). job(basic, 4, giv, ac, 'QLT-3', '160', '51'). job(basic, 4, giv, ac, 'QLT-4', '19', '9'). job(basic, 4, giv, ac, 'QLT-5', '236', '32'). job(basic, 4, giv, ac, 'QLT-6', '173', '31'). job(basic, 4, giv, ac, 'RBA-2', '7', '22'). job(basic, 8, giv, ac, 'D-BA-5a', '26', '8'). job(basic, 8, giv, ac, 'D-BA-5c', '27', '11'). job(basic, 8, giv, ac, 'LT-2', '312', '9'). job(basic, 8, giv, ac, 'LT-5', '157', '13'). job(basic, 8, giv, ac, 'LT-6', '(T)', '---'). job(basic, 8, giv, ac, 'LT-8', '33', '6'). job(basic, 8, giv, ac, 'QLT-1', '132', '11'). job(basic, 8, giv, ac, 'QLT-2', '63', '13'). job(basic, 8, giv, ac, 'QLT-3', '185', '62'). job(basic, 8, giv, ac, 'QLT-4', '19', '9'). job(basic, 8, giv, ac, 'QLT-5', '243', '32'). job(basic, 8, giv, ac, 'QLT-6', '173', '31'). job(basic, 8, giv, ac, 'RBA-2', '778', '25'). job(basic, n, giv, ac, 'D-BA-5a', '26', '8'). job(basic, n, giv, ac, 'D-BA-5c', '27', '11'). job(basic, n, giv, ac, 'LT-2', '696', '9'). job(basic, n, giv, ac, 'LT-5', '(T)', '---'). job(basic, n, giv, ac, 'LT-6', '(T)', '---'). job(basic, n, giv, ac, 'LT-8', '10', '6'). job(basic, n, giv, ac, 'QLT-1', '54', '11'). job(basic, n, giv, ac, 'QLT-2', '57', '12'). job(basic, n, giv, ac, 'QLT-3', '(T)', '---'). job(basic, n, giv, ac, 'QLT-4', '19', '9'). job(basic, n, giv, ac, 'QLT-5', '(T)', '---'). job(basic, n, giv, ac, 'QLT-6', '164', '31'). job(basic, n, giv, ac, 'RBA-2', '10', '25'). job(block, 1, giv, ac, 'D-BA-5a', '197', '7'). job(block, 1, giv, ac, 'D-BA-5c', '235', '6'). job(block, 1, giv, ac, 'LT-2', '308', '10'). job(block, 1, giv, ac, 'LT-5', '10', '10'). job(block, 1, giv, ac, 'LT-6', '529', '5'). job(block, 1, giv, ac, 'LT-8', '1392', '6'). job(block, 1, giv, ac, 'QLT-1', '2', '11'). job(block, 1, giv, ac, 'QLT-2', '4', '12'). job(block, 1, giv, ac, 'QLT-3', '392', '83'). job(block, 1, giv, ac, 'QLT-4', '7', '6'). job(block, 1, giv, ac, 'QLT-5', '253', '11'). job(block, 1, giv, ac, 'QLT-6', '356', '8'). job(block, 1, giv, ac, 'RBA-2', '40', '21'). job(block, 4, giv, ac, 'D-BA-5a', '118', '8'). job(block, 4, giv, ac, 'D-BA-5c', '119', '11'). job(block, 4, giv, ac, 'LT-2', '255', '9'). job(block, 4, giv, ac, 'LT-5', '181', '10'). job(block, 4, giv, ac, 'LT-6', '(T)', '---'). job(block, 4, giv, ac, 'LT-8', '282', '6'). job(block, 4, giv, ac, 'QLT-1', '66', '12'). job(block, 4, giv, ac, 'QLT-2', '67', '15'). job(block, 4, giv, ac, 'QLT-3', '228', '52'). job(block, 4, giv, ac, 'QLT-4', '8', '9'). job(block, 4, giv, ac, 'QLT-5', '360', '11'). job(block, 4, giv, ac, 'QLT-6', '212', '31'). job(block, 4, giv, ac, 'RBA-2', '15', '22'). job(block, 8, giv, ac, 'D-BA-5a', '118', '8'). job(block, 8, giv, ac, 'D-BA-5c', '119', '11'). job(block, 8, giv, ac, 'LT-2', '549', '9'). job(block, 8, giv, ac, 'LT-5', '(T)', '---'). job(block, 8, giv, ac, 'LT-6', '(T)', '---'). job(block, 8, giv, ac, 'LT-8', '85', '6'). job(block, 8, giv, ac, 'QLT-1', '6', '12'). job(block, 8, giv, ac, 'QLT-2', '66', '17'). job(block, 8, giv, ac, 'QLT-3', '219', '60'). job(block, 8, giv, ac, 'QLT-4', '8', '9'). job(block, 8, giv, ac, 'QLT-5', '415', '11'). job(block, 8, giv, ac, 'QLT-6', '221', '31'). job(block, 8, giv, ac, 'RBA-2', '15', '25'). job(block, n, giv, ac, 'D-BA-5a', '118', '8'). job(block, n, giv, ac, 'D-BA-5c', '119', '11'). job(block, n, giv, ac, 'LT-2', '1314', '9'). job(block, n, giv, ac, 'LT-5', '(T)', '---'). job(block, n, giv, ac, 'LT-6', '(T)', '---'). job(block, n, giv, ac, 'LT-8', '25', '6'). job(block, n, giv, ac, 'QLT-1', '83', '12'). job(block, n, giv, ac, 'QLT-2', '61', '17'). job(block, n, giv, ac, 'QLT-3', '(T)', '---'). job(block, n, giv, ac, 'QLT-4', '8', '9'). job(block, n, giv, ac, 'QLT-5', '(T)', '---'). job(block, n, giv, ac, 'QLT-6', '208', '31'). job(block, n, giv, ac, 'RBA-2', '7', '25'). job(super0, 1, giv, ac, 'D-BA-5a', '6', '7'). job(super0, 1, giv, ac, 'D-BA-5c', '6', '5'). job(super0, 1, giv, ac, 'LT-2', '45', '10'). job(super0, 1, giv, ac, 'LT-5', '16', '15'). job(super0, 1, giv, ac, 'LT-6', '32', '12'). job(super0, 1, giv, ac, 'LT-8', '35', '6'). job(super0, 1, giv, ac, 'QLT-1', '1', '11'). job(super0, 1, giv, ac, 'QLT-2', '11', '14'). job(super0, 1, giv, ac, 'QLT-3', '162', '83'). job(super0, 1, giv, ac, 'QLT-4', '2', '6'). job(super0, 1, giv, ac, 'QLT-5', '25', '11'). job(super0, 1, giv, ac, 'QLT-6', '37', '8'). job(super0, 1, giv, ac, 'RBA-2', '30', '23'). job(super0, 4, giv, ac, 'D-BA-5a', '35', '22'). job(super0, 4, giv, ac, 'D-BA-5c', '2', '6'). job(super0, 4, giv, ac, 'LT-2', '22', '9'). job(super0, 4, giv, ac, 'LT-5', '26', '21'). job(super0, 4, giv, ac, 'LT-6', '164', '20'). job(super0, 4, giv, ac, 'LT-8', '8', '6'). job(super0, 4, giv, ac, 'QLT-1', '4', '12'). job(super0, 4, giv, ac, 'QLT-2', '6', '14'). job(super0, 4, giv, ac, 'QLT-3', '43', '75'). job(super0, 4, giv, ac, 'QLT-4', '2', '9'). job(super0, 4, giv, ac, 'QLT-5', '58', '11'). job(super0, 4, giv, ac, 'QLT-6', '26', '7'). job(super0, 4, giv, ac, 'RBA-2', '14', '21'). job(super0, 8, giv, ac, 'D-BA-5a', '21', '22'). job(super0, 8, giv, ac, 'D-BA-5c', '2', '6'). job(super0, 8, giv, ac, 'LT-2', '61', '9'). job(super0, 8, giv, ac, 'LT-5', '75', '21'). job(super0, 8, giv, ac, 'LT-6', '1672', '24'). job(super0, 8, giv, ac, 'LT-8', '6', '6'). job(super0, 8, giv, ac, 'QLT-1', '2', '12'). job(super0, 8, giv, ac, 'QLT-2', '6', '14'). job(super0, 8, giv, ac, 'QLT-3', '41', '63'). job(super0, 8, giv, ac, 'QLT-4', '2', '9'). job(super0, 8, giv, ac, 'QLT-5', '69', '11'). job(super0, 8, giv, ac, 'QLT-6', '26', '7'). job(super0, 8, giv, ac, 'RBA-2', '12', '21'). job(super0, n, giv, ac, 'D-BA-5a', '15', '22'). job(super0, n, giv, ac, 'D-BA-5c', '2', '6'). job(super0, n, giv, ac, 'LT-2', '354', '9'). job(super0, n, giv, ac, 'LT-5', '(T)', '---'). job(super0, n, giv, ac, 'LT-6', '(T)', '---'). job(super0, n, giv, ac, 'LT-8', '4', '6'). job(super0, n, giv, ac, 'QLT-1', '7', '12'). job(super0, n, giv, ac, 'QLT-2', '4', '14'). job(super0, n, giv, ac, 'QLT-3', '(T)', '---'). job(super0, n, giv, ac, 'QLT-4', '2', '9'). job(super0, n, giv, ac, 'QLT-5', '(T)', '---'). job(super0, n, giv, ac, 'QLT-6', '26', '7'). job(super0, n, giv, ac, 'RBA-2', '7', '24'). % End of data