% 
% 		Copyright 1985,1986,1987,1988,1989,1990,1991,1992,1993
% 	    by Microelectronics and Computer Technology Corporation (MCC)
% 				All Rights Reserved
% 
% 			MCC/CARNOT CONFIDENTIAL AND PROPRIETARY
% 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% The AIDS database
% 
% File: airline.fac
%

%
% Flight Information
%

flight_info( 'AA100', 'Los Angeles', 'New York', 2000 ).
flight_info( 'AA210', 'Los Angeles', 'Dallas', 700 ).
flight_info( 'AA220', 'Dallas', 'New York', 1200 ).
flight_info( 'AA330', 'Los Angeles', 'Phoenix', 400 ).
flight_info( 'AA340', 'Phoenix', 'New York', 1700 ).
flight_info( 'AA450', 'Phoenix', 'Dallas', 700 ).
flight_info( 'AA460', 'Dallas', 'Chicago', 1500 ).
flight_info( 'AA470', 'Chicago', 'New York', 800 ).
flight_info( 'AA480', 'Phoenix', 'Chicago', 1300 ).

flight_info( 'BB100', 'New York', 'Los Angeles', 2200 ).
flight_info( 'BB210', 'Dallas', 'Los Angeles', 800 ).
flight_info( 'BB220', 'New York', 'Dallas', 1250 ).
flight_info( 'BB330', 'Phoenix', 'Los Angeles', 410 ).
flight_info( 'BB340', 'New York', 'Phoenix', 1720 ).
flight_info( 'BB450', 'Dallas', 'Phoenix', 720 ).
flight_info( 'BB460', 'Chicago', 'Dallas', 1520 ).
flight_info( 'BB470', 'New York', 'Chicago', 810 ).
flight_info( 'BB480', 'Chicago', 'Phoenix', 1320 ).

%
% Agent Information
%

agent_info( 'Sanborn Travel', 'AA100', 200 ).
agent_info( 'Sanborn Travel', 'AA210', 100 ).
agent_info( 'Sanborn Travel', 'AA220', 130 ).
agent_info( 'Sanborn Travel', 'AA330', 70 ).
agent_info( 'Sanborn Travel', 'AA340', 270 ).
agent_info( 'Sanborn Travel', 'AA450', 120 ).
agent_info( 'Sanborn Travel', 'AA460', 180 ).
agent_info( 'Sanborn Travel', 'AA470', 50 ).
agent_info( 'Sanborn Travel', 'AA480', 150 ).
agent_info( 'Sanborn Travel', 'BB100', 200 ).
agent_info( 'Sanborn Travel', 'BB210', 100 ).
agent_info( 'Sanborn Travel', 'BB220', 130 ).
agent_info( 'Sanborn Travel', 'BB330', 70 ).
agent_info( 'Sanborn Travel', 'BB340', 270 ).
agent_info( 'Sanborn Travel', 'BB450', 120 ).
agent_info( 'Sanborn Travel', 'BB460', 180 ).
agent_info( 'Sanborn Travel', 'BB470', 50 ).
agent_info( 'Sanborn Travel', 'BB480', 150 ).
agent_info( 'CitiTravel', 'AA100', 220 ).
agent_info( 'CitiTravel', 'AA210', 150 ).
agent_info( 'CitiTravel', 'AA220', 170 ).
agent_info( 'CitiTravel', 'AA330', 80 ).
agent_info( 'CitiTravel', 'AA340', 250 ).
agent_info( 'CitiTravel', 'AA450', 150 ).
agent_info( 'CitiTravel', 'AA460', 150 ).
agent_info( 'CitiTravel', 'AA470', 90 ).
agent_info( 'CitiTravel', 'AA480', 150 ).
agent_info( 'CitiTravel', 'BB100', 225 ).
agent_info( 'CitiTravel', 'BB210', 155 ).
agent_info( 'CitiTravel', 'BB220', 175 ).
agent_info( 'CitiTravel', 'BB330', 85 ).
agent_info( 'CitiTravel', 'BB340', 255 ).
agent_info( 'CitiTravel', 'BB450', 155 ).
agent_info( 'CitiTravel', 'BB460', 155 ).
agent_info( 'CitiTravel', 'BB470', 95 ).
agent_info( 'CitiTravel', 'BB480', 155 ).
agent_info( 'Gateway Travel', 'AA100', 200 ).
agent_info( 'Gateway Travel', 'AA210', 130 ).
agent_info( 'Gateway Travel', 'AA220', 190 ).
agent_info( 'Gateway Travel', 'AA330', 90 ).
agent_info( 'Gateway Travel', 'AA340', 240 ).
agent_info( 'Gateway Travel', 'AA450', 150 ).
agent_info( 'Gateway Travel', 'AA460', 150 ).
agent_info( 'Gateway Travel', 'AA470', 70 ).
agent_info( 'Gateway Travel', 'AA480', 160 ).
agent_info( 'Gateway Travel', 'BB100', 210 ).
agent_info( 'Gateway Travel', 'BB210', 120 ).
agent_info( 'Gateway Travel', 'BB220', 170 ).
agent_info( 'Gateway Travel', 'BB330', 95 ).
agent_info( 'Gateway Travel', 'BB340', 245 ).
agent_info( 'Gateway Travel', 'BB450', 140 ).
agent_info( 'Gateway Travel', 'BB460', 140 ).
agent_info( 'Gateway Travel', 'BB470', 80 ).
agent_info( 'Gateway Travel', 'BB480', 150 ).