<Own>TICKET# 205
ISSUED BY 205:
ENDORSE: 	DATE OF ISSUE: 20060910	PLACE: USA
FARE: USD 2042.08 SALES: USD 2042.08 TOTAL-NUC: 2042.08
COMMISSION: USD 0.0 rate 9.0

ERROR: 0 
from - to car rou  fl# cl date     f-basis  secure differ sidetr fcomp
FARE_CAL: 05APR00OSA NH TYO NH NYC AA WAS M2042.08NUC2042.08 END
2014-01-08 16:22:42,162 [main] DEBUG SecurityAssociation - Using ThreadLocal: false
2014-01-08 16:22:42,290 [main] DEBUG MicroSocketClientInvoker - SocketClientInvoker[1f42b49, socket://127.0.0.1:3873] constructed
2014-01-08 16:22:42,292 [main] DEBUG MicroRemoteClientInvoker - SocketClientInvoker[1f42b49, socket://127.0.0.1:3873] connecting
2014-01-08 16:22:42,292 [main] DEBUG MicroSocketClientInvoker - Creating semaphore with size 50
2014-01-08 16:22:42,294 [main] DEBUG MicroRemoteClientInvoker - SocketClientInvoker[1f42b49, socket://127.0.0.1:3873] connected
2014-01-08 16:22:42,350 [main] DEBUG ClientSocketWrapper - reset timeout: 0
2014-01-08 16:22:48,353 [main] DEBUG InvokerRegistry - removed SocketClientInvoker[1f42b49, socket://127.0.0.1:3873] from registry
2014-01-08 16:22:48,353 [main] DEBUG MicroSocketClientInvoker - SocketClientInvoker[1f42b49, socket://127.0.0.1:3873] disconnecting ...
2014-01-08 16:22:48,354 [main] DEBUG SocketWrapper - ClientSocketWrapper[Socket[addr=/127.0.0.1,port=3873,localport=49757].1e0ff2f] closing
<Own>TICKET# 205
ISSUED BY 205:NH
ENDORSE: 	DATE OF ISSUE: 20060910	PLACE: USA
FARE: USD 2042.08 SALES: USD 2042.08 TOTAL-NUC: 2042.08
COMMISSION: USD 183.7872 rate 9.0

ERROR: 0 
from - to car rou  fl# cl date     f-basis  secure differ sidetr fcomp
(0)OSA-TYO NH() 0  00000000 Y 0:0.0 0:0.0 0:-1.0 -1.0 0.0 0.0
(1)	SPA(0.0%of0.0)0.0:	APDP(100.0%of0.0)0.0FIX20.47986716479867/1.0:	SRP123.90319634703195
	PRO-TYPE 1 PRO_FACTOR 605.0 PRO-VAL 123.90319634703195 NP 123.90319634703195
	DIFF 0:0.0 SEC 0:0.0/0.0
	ERROR: 0 
(0)TYO-NYC NH() 0  00000000 Y 0:0.0 0:0.0 0:-1.0 -1.0 0.0 0.0
(1)	SPA(0.0%of0.0)0.0:	APDP(100.0%of0.0)0.0FIX20.47986716479867/1.0:	SRP1356.176803652968
	PRO-TYPE 1 PRO_FACTOR 6622.0 PRO-VAL 1356.176803652968 NP 1356.176803652968
	DIFF 0:0.0 SEC 0:0.0/0.0
	ERROR: 0 
(0)NYC-WAS AA() 0  00000000 Y 0:0.0 0:0.0 0:-1.0 2042.08 0.0 0.0
(1)	SPA(0.0%of0.0)0.0:	APDP(100.0%ofUSD562.0)562.0FIX20.47986716479867/1.0:	SRP146.6122167993835
	PRO-TYPE 33620224 PRO_FACTOR 559.0 PRO-VAL 562.0 NP 562.0
	DIFF 0:0.0 SEC 0:0.0/0.0
	ERROR: 0 
FARE_CAL: 05APR00OSA NH TYO NH NYC AA WAS M2042.08NUC2042.08 END
TRACE: (level:10000)
0:-1:Fare Component(0) {OSA-TYO TYO-NYC NYC-WAS } 2042.08 <- 2042.08 * 1.0(roe) / 1.0(5dy)
0:0:APDP not applied on [OSA - TYO NH (20060910)]
1:0:Partcall MPAsectionE
2:0:PART(MPAsectionE)
3:0:TEST(false)(($TKDESIGN >= "IN","ID"))
4:0:false<-($TKDESIGN >= "IN","ID")
5:0:$TKDESIGN("")
5:0:"IN","ID"
3:0:TEST(false)(($TKDESIGN >= "CH25"))
4:0:false<-($TKDESIGN >= "CH25")
5:0:$TKDESIGN("")
3:0:ELSE
4:0:TEST(false)(($TKDESIGN >= "CH33"))
5:0:false<-($TKDESIGN >= "CH33")
6:0:$TKDESIGN("")
4:0:ELSE
5:0:TEST(false)(($TKDESIGN >= "CH"))
6:0:false<-($TKDESIGN >= "CH")
7:0:$TKDESIGN("")
3:0:TEST(false)(($TKDESIGN >= "AD","RG","SC","GS","CG"))
4:0:false<-($TKDESIGN >= "AD","RG","SC","GS","CG")
5:0:$TKDESIGN("")
5:0:"AD","RG","SC","GS","CG"
1:0:TEST(false)(($PATH = "WAW"-"FRA","PAR"))
2:0:false<-($PATH = "WAW"-"FRA","PAR")
3:0:$PATH("OSA"-"TYO")
1:0:ELSE
2:0:TEST(false)(($PATH = "WAS"-"YMQ","YOW"))
3:0:false<-($PATH = "WAS"-"YMQ","YOW")
4:0:$PATH("OSA"-"TYO")
2:0:ELSE
3:0:TEST(false)(OR(false)[WithinCountry($PATH "UK") ($PATH = "DUB"-"LON")])
4:0:(false)[WithinCountry($PATH "UK") ($PATH = "DUB"-"LON")]
5:0:false<-WithinCountry($PATH "UK")
6:0:$PATH("OSA"-"TYO")
5:0:false<-($PATH = "DUB"-"LON")
6:0:$PATH("OSA"-"TYO")
3:0:ELSE
4:0:TEST(false)(OR(false)[($PATH = "FRA"-"AMS","GVA","ROM","VIE","ZRH") WithinCountry($PATH "GERMANY")])
5:0:(false)[($PATH = "FRA"-"AMS","GVA","ROM","VIE","ZRH") WithinCountry($PATH "GERMANY")]
6:0:false<-($PATH = "FRA"-"AMS","GVA","ROM","VIE","ZRH")
7:0:$PATH("OSA"-"TYO")
6:0:false<-WithinCountry($PATH "GERMANY")
7:0:$PATH("OSA"-"TYO")
4:0:ELSE
5:0:TEST(false)(WithinCountry($PATH "AUSTRIA"))
6:0:false<-WithinCountry($PATH "AUSTRIA")
7:0:$PATH("OSA"-"TYO")
5:0:ELSE
6:0:TEST(false)(($PATH = "BKK"-"KUL"))
7:0:false<-($PATH = "BKK"-"KUL")
8:0:$PATH("OSA"-"TYO")
6:0:ELSE
7:0:TEST(false)(WithinCountry($PATH "USA"))
8:0:false<-WithinCountry($PATH "USA")
9:0:$PATH("OSA"-"TYO")
7:0:ELSE
8:0:TEST(false)(AND(false)[WithinCountry($PATH "JAPAN") ($F-BASIS = "C-SP","Y-SP")])
9:0:(false)[WithinCountry($PATH "JAPAN") ($F-BASIS = "C-SP","Y-SP")]
10:0:true<-WithinCountry($PATH "JAPAN")
11:0:$PATH("OSA"-"TYO")
10:0:false<-($F-BASIS = "C-SP","Y-SP")
11:0:$F-BASIS("Y")
11:0:"C-SP","Y-SP"
8:0:ELSE
9:0:TEST(false)(OR(false)[Between_country($PATH "JAPAN" "CHINA","KOREA") Between_PC($PATH "GUM","HKG" "JAPAN")])
10:0:(false)[Between_country($PATH "JAPAN" "CHINA","KOREA") Between_PC($PATH "GUM","HKG" "JAPAN")]
11:0:false<-Between_country($PATH "JAPAN" "CHINA","KOREA")
12:0:$PATH("OSA"-"TYO")
12:0:"CHINA","KOREA"
11:0:false<-Between_PC($PATH "GUM","HKG" "JAPAN")
12:0:$PATH("OSA"-"TYO")
12:0:"GUM","HKG"
9:0:ELSE(END)
10:0:END
0:0:APDP not applied on [TYO - NYC NH (20060910)]
1:0:Partcall MPAsectionE
2:0:PART(MPAsectionE)
3:0:TEST(false)(($TKDESIGN >= "IN","ID"))
4:0:false<-($TKDESIGN >= "IN","ID")
5:0:$TKDESIGN("")
5:0:"IN","ID"
3:0:TEST(false)(($TKDESIGN >= "CH25"))
4:0:false<-($TKDESIGN >= "CH25")
5:0:$TKDESIGN("")
3:0:ELSE
4:0:TEST(false)(($TKDESIGN >= "CH33"))
5:0:false<-($TKDESIGN >= "CH33")
6:0:$TKDESIGN("")
4:0:ELSE
5:0:TEST(false)(($TKDESIGN >= "CH"))
6:0:false<-($TKDESIGN >= "CH")
7:0:$TKDESIGN("")
3:0:TEST(false)(($TKDESIGN >= "AD","RG","SC","GS","CG"))
4:0:false<-($TKDESIGN >= "AD","RG","SC","GS","CG")
5:0:$TKDESIGN("")
5:0:"AD","RG","SC","GS","CG"
1:0:TEST(false)(($PATH = "WAW"-"FRA","PAR"))
2:0:false<-($PATH = "WAW"-"FRA","PAR")
3:0:$PATH("TYO"-"NYC")
1:0:ELSE
2:0:TEST(false)(($PATH = "WAS"-"YMQ","YOW"))
3:0:false<-($PATH = "WAS"-"YMQ","YOW")
4:0:$PATH("TYO"-"NYC")
2:0:ELSE
3:0:TEST(false)(OR(false)[WithinCountry($PATH "UK") ($PATH = "DUB"-"LON")])
4:0:(false)[WithinCountry($PATH "UK") ($PATH = "DUB"-"LON")]
5:0:false<-WithinCountry($PATH "UK")
6:0:$PATH("TYO"-"NYC")
5:0:false<-($PATH = "DUB"-"LON")
6:0:$PATH("TYO"-"NYC")
3:0:ELSE
4:0:TEST(false)(OR(false)[($PATH = "FRA"-"AMS","GVA","ROM","VIE","ZRH") WithinCountry($PATH "GERMANY")])
5:0:(false)[($PATH = "FRA"-"AMS","GVA","ROM","VIE","ZRH") WithinCountry($PATH "GERMANY")]
6:0:false<-($PATH = "FRA"-"AMS","GVA","ROM","VIE","ZRH")
7:0:$PATH("TYO"-"NYC")
6:0:false<-WithinCountry($PATH "GERMANY")
7:0:$PATH("TYO"-"NYC")
4:0:ELSE
5:0:TEST(false)(WithinCountry($PATH "AUSTRIA"))
6:0:false<-WithinCountry($PATH "AUSTRIA")
7:0:$PATH("TYO"-"NYC")
5:0:ELSE
6:0:TEST(false)(($PATH = "BKK"-"KUL"))
7:0:false<-($PATH = "BKK"-"KUL")
8:0:$PATH("TYO"-"NYC")
6:0:ELSE
7:0:TEST(false)(WithinCountry($PATH "USA"))
8:0:false<-WithinCountry($PATH "USA")
9:0:$PATH("TYO"-"NYC")
7:0:ELSE
8:0:TEST(false)(AND(false)[WithinCountry($PATH "JAPAN") ($F-BASIS = "C-SP","Y-SP")])
9:0:(false)[WithinCountry($PATH "JAPAN") ($F-BASIS = "C-SP","Y-SP")]
10:0:false<-WithinCountry($PATH "JAPAN")
11:0:$PATH("TYO"-"NYC")
8:0:ELSE
9:0:TEST(false)(OR(false)[Between_country($PATH "JAPAN" "CHINA","KOREA") Between_PC($PATH "GUM","HKG" "JAPAN")])
10:0:(false)[Between_country($PATH "JAPAN" "CHINA","KOREA") Between_PC($PATH "GUM","HKG" "JAPAN")]
11:0:false<-Between_country($PATH "JAPAN" "CHINA","KOREA")
12:0:$PATH("TYO"-"NYC")
12:0:"CHINA","KOREA"
11:0:false<-Between_PC($PATH "GUM","HKG" "JAPAN")
12:0:$PATH("TYO"-"NYC")
12:0:"GUM","HKG"
9:0:ELSE(END)
10:0:END
0:0:APDP applied on [NYC - WAS AA (20060910)] 100.0%of USD562.0(NUC)562.0
1:0:Partcall MPAsectionE
2:0:PART(MPAsectionE)
3:0:TEST(false)(($TKDESIGN >= "IN","ID"))
4:0:false<-($TKDESIGN >= "IN","ID")
5:0:$TKDESIGN("")
5:0:"IN","ID"
3:0:TEST(false)(($TKDESIGN >= "CH25"))
4:0:false<-($TKDESIGN >= "CH25")
5:0:$TKDESIGN("")
3:0:ELSE
4:0:TEST(false)(($TKDESIGN >= "CH33"))
5:0:false<-($TKDESIGN >= "CH33")
6:0:$TKDESIGN("")
4:0:ELSE
5:0:TEST(false)(($TKDESIGN >= "CH"))
6:0:false<-($TKDESIGN >= "CH")
7:0:$TKDESIGN("")
3:0:TEST(false)(($TKDESIGN >= "AD","RG","SC","GS","CG"))
4:0:false<-($TKDESIGN >= "AD","RG","SC","GS","CG")
5:0:$TKDESIGN("")
5:0:"AD","RG","SC","GS","CG"
1:0:TEST(false)(OR(false)[($PATH = "STL"-"ALO","BRL","CGI","IRK","MKL","MWA","OWB","PAH","TBN","UIN") ($PATH = "BNA"-"ATL","TRI")])
2:0:(false)[($PATH = "STL"-"ALO","BRL","CGI","IRK","MKL","MWA","OWB","PAH","TBN","UIN") ($PATH = "BNA"-"ATL","TRI")]
3:0:false<-($PATH = "STL"-"ALO","BRL","CGI","IRK","MKL","MWA","OWB","PAH","TBN","UIN")
4:0:$PATH("NYC"-"WAS")
3:0:false<-($PATH = "BNA"-"ATL","TRI")
4:0:$PATH("NYC"-"WAS")
1:0:ELSE
2:0:TEST(false)(OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")] ($PATH = "PSC"-"SEA")] ($PATH = "PSP"-"SFO")] ($PATH = "SAC"-"SEA")] ($PATH = "SAN"-"SEA")] ($PATH = "SEA"-"SFO","SJC","SNA","YKM","YVR")] ($PATH = "SFO"-"YVR")])
3:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")] ($PATH = "PSC"-"SEA")] ($PATH = "PSP"-"SFO")] ($PATH = "SAC"-"SEA")] ($PATH = "SAN"-"SEA")] ($PATH = "SEA"-"SFO","SJC","SNA","YKM","YVR")] ($PATH = "SFO"-"YVR")]
4:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")] ($PATH = "PSC"-"SEA")] ($PATH = "PSP"-"SFO")] ($PATH = "SAC"-"SEA")] ($PATH = "SAN"-"SEA")] ($PATH = "SEA"-"SFO","SJC","SNA","YKM","YVR")]
5:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")] ($PATH = "PSC"-"SEA")] ($PATH = "PSP"-"SFO")] ($PATH = "SAC"-"SEA")] ($PATH = "SAN"-"SEA")]
6:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")] ($PATH = "PSC"-"SEA")] ($PATH = "PSP"-"SFO")] ($PATH = "SAC"-"SEA")]
7:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")] ($PATH = "PSC"-"SEA")] ($PATH = "PSP"-"SFO")]
8:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")] ($PATH = "PSC"-"SEA")]
9:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")] ($PATH = "PHX"-"SEA")]
10:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")] ($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")]
11:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")] ($PATH = "ONT"-"PDX","SEA")]
12:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")] ($PATH = "OAK"-"PDX","SEA","SNA")]
13:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")] ($PATH = "MFR"-"PDX")]
14:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")] ($PATH = "LMT"-"PDX")]
15:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")] ($PATH = "LGB"-"SEA")]
16:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")] ($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")]
17:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")] ($PATH = "KTN"-"SEA")]
18:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")] ($PATH = "JNU"-"SEA")]
19:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")] ($PATH = "GEG"-"PDX","SEA")]
20:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")] ($PATH = "FAI"-"SEA")]
21:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")] ($PATH = "EUG"-"LAX","PDX","SEA")]
22:0:(false)[OR(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")] ($PATH = "DEN"-"PDX","SEA")]
23:0:(false)[OR(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")] ($PATH = "BUR"-"PDX","SEA")]
24:0:(false)[OR(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")] ($PATH = "BOI"-"LAX","PDX","SEA")]
25:0:(false)[($PATH = "ACV"-"PDX") ($PATH = "ANC"-"FAI","SEA")]
26:0:false<-($PATH = "ACV"-"PDX")
27:0:$PATH("NYC"-"WAS")
26:0:false<-($PATH = "ANC"-"FAI","SEA")
27:0:$PATH("NYC"-"WAS")
25:0:false<-($PATH = "BOI"-"LAX","PDX","SEA")
26:0:$PATH("NYC"-"WAS")
24:0:false<-($PATH = "BUR"-"PDX","SEA")
25:0:$PATH("NYC"-"WAS")
23:0:false<-($PATH = "DEN"-"PDX","SEA")
24:0:$PATH("NYC"-"WAS")
22:0:false<-($PATH = "EUG"-"LAX","PDX","SEA")
23:0:$PATH("NYC"-"WAS")
21:0:false<-($PATH = "FAI"-"SEA")
22:0:$PATH("NYC"-"WAS")
20:0:false<-($PATH = "GEG"-"PDX","SEA")
21:0:$PATH("NYC"-"WAS")
19:0:false<-($PATH = "JNU"-"SEA")
20:0:$PATH("NYC"-"WAS")
18:0:false<-($PATH = "KTN"-"SEA")
19:0:$PATH("NYC"-"WAS")
17:0:false<-($PATH = "LAX"-"MFR","PDX","RNO","SEA","SUN","YVR")
18:0:$PATH("NYC"-"WAS")
16:0:false<-($PATH = "LGB"-"SEA")
17:0:$PATH("NYC"-"WAS")
15:0:false<-($PATH = "LMT"-"PDX")
16:0:$PATH("NYC"-"WAS")
14:0:false<-($PATH = "MFR"-"PDX")
15:0:$PATH("NYC"-"WAS")
13:0:false<-($PATH = "OAK"-"PDX","SEA","SNA")
14:0:$PATH("NYC"-"WAS")
12:0:false<-($PATH = "ONT"-"PDX","SEA")
13:0:$PATH("NYC"-"WAS")
11:0:false<-($PATH = "PDX"-"PHX","RDD","SAC","SAN","SFO","SJC","SNA","YVR")
12:0:$PATH("NYC"-"WAS")
10:0:false<-($PATH = "PHX"-"SEA")
11:0:$PATH("NYC"-"WAS")
9:0:false<-($PATH = "PSC"-"SEA")
10:0:$PATH("NYC"-"WAS")
8:0:false<-($PATH = "PSP"-"SFO")
9:0:$PATH("NYC"-"WAS")
7:0:false<-($PATH = "SAC"-"SEA")
8:0:$PATH("NYC"-"WAS")
6:0:false<-($PATH = "SAN"-"SEA")
7:0:$PATH("NYC"-"WAS")
5:0:false<-($PATH = "SEA"-"SFO","SJC","SNA","YKM","YVR")
6:0:$PATH("NYC"-"WAS")
4:0:false<-($PATH = "SFO"-"YVR")
5:0:$PATH("NYC"-"WAS")
2:0:ELSE
3:0:TEST(false)(($PATH = "STL"-"BMI","CID","CLT","CMI","COU","DEC","EVV","FYV","HFD","IND","JAX","JLN","MEM","MSN","PIA","SPI"))
4:0:false<-($PATH = "STL"-"BMI","CID","CLT","CMI","COU","DEC","EVV","FYV","HFD","IND","JAX","JLN","MEM","MSN","PIA","SPI")
5:0:$PATH("NYC"-"WAS")
3:0:ELSE
4:0:TEST(false)(OR(false)[($PATH = "HEL"-"FRA","LON","PAR","RIX","STO","TLL","ZRH") ($PATH = "MAN"-"STO")])
5:0:(false)[($PATH = "HEL"-"FRA","LON","PAR","RIX","STO","TLL","ZRH") ($PATH = "MAN"-"STO")]
6:0:false<-($PATH = "HEL"-"FRA","LON","PAR","RIX","STO","TLL","ZRH")
7:0:$PATH("NYC"-"WAS")
6:0:false<-($PATH = "MAN"-"STO")
7:0:$PATH("NYC"-"WAS")
4:0:ELSE
5:0:TEST(false)(OR(false)[OR(false)[($PATH = "LON"-"AMS","BEG","BER","BLQ","BOD","BRU","BSL","BUD","BUH","CPH","DUS","FRA","GVA","HAM","IST","LIS","LUX","LYS","MIL","MRS","NCE","OSL","PAR","PRG","PRN","PSA","RIX","ROM","SOF","STO","STR","TLS","VCE","VIE","VRN","WAW","ZRH") ($PATH = "MAN"-"DUS","FRA","HAJ","PAR")] WithinCountry($PATH "UK")])
6:0:(false)[OR(false)[($PATH = "LON"-"AMS","BEG","BER","BLQ","BOD","BRU","BSL","BUD","BUH","CPH","DUS","FRA","GVA","HAM","IST","LIS","LUX","LYS","MIL","MRS","NCE","OSL","PAR","PRG","PRN","PSA","RIX","ROM","SOF","STO","STR","TLS","VCE","VIE","VRN","WAW","ZRH") ($PATH = "MAN"-"DUS","FRA","HAJ","PAR")] WithinCountry($PATH "UK")]
7:0:(false)[($PATH = "LON"-"AMS","BEG","BER","BLQ","BOD","BRU","BSL","BUD","BUH","CPH","DUS","FRA","GVA","HAM","IST","LIS","LUX","LYS","MIL","MRS","NCE","OSL","PAR","PRG","PRN","PSA","RIX","ROM","SOF","STO","STR","TLS","VCE","VIE","VRN","WAW","ZRH") ($PATH = "MAN"-"DUS","FRA","HAJ","PAR")]
8:0:false<-($PATH = "LON"-"AMS","BEG","BER","BLQ","BOD","BRU","BSL","BUD","BUH","CPH","DUS","FRA","GVA","HAM","IST","LIS","LUX","LYS","MIL","MRS","NCE","OSL","PAR","PRG","PRN","PSA","RIX","ROM","SOF","STO","STR","TLS","VCE","VIE","VRN","WAW","ZRH")
9:0:$PATH("NYC"-"WAS")
8:0:false<-($PATH = "MAN"-"DUS","FRA","HAJ","PAR")
9:0:$PATH("NYC"-"WAS")
7:0:false<-WithinCountry($PATH "UK")
8:0:$PATH("NYC"-"WAS")
5:0:ELSE
6:0:TEST(false)(($PATH = "HNL"-"ITO","KOA","LIH","OGG"))
7:0:false<-($PATH = "HNL"-"ITO","KOA","LIH","OGG")
8:0:$PATH("NYC"-"WAS")
6:0:ELSE
7:0:TEST(false)(WithinCountry($PATH "SPAIN"))
8:0:false<-WithinCountry($PATH "SPAIN")
9:0:$PATH("NYC"-"WAS")
7:0:ELSE
8:0:TEST(false)(WithinCountry($PATH "BRAZIL"))
9:0:false<-WithinCountry($PATH "BRAZIL")
10:0:$PATH("NYC"-"WAS")
8:0:ELSE
9:0:TEST(false)(OR(false)[OR(false)[($PATH = "TYO"-"PUS","SEL") ($PATH = "OSA"-"PUS")] WithinCountry($PATH "JAPAN")])
10:0:(false)[OR(false)[($PATH = "TYO"-"PUS","SEL") ($PATH = "OSA"-"PUS")] WithinCountry($PATH "JAPAN")]
11:0:(false)[($PATH = "TYO"-"PUS","SEL") ($PATH = "OSA"-"PUS")]
12:0:false<-($PATH = "TYO"-"PUS","SEL")
13:0:$PATH("NYC"-"WAS")
12:0:false<-($PATH = "OSA"-"PUS")
13:0:$PATH("NYC"-"WAS")
11:0:false<-WithinCountry($PATH "JAPAN")
12:0:$PATH("NYC"-"WAS")
9:0:ELSE
10:0:TEST(false)(OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")] ($PATH = "MEX"-"DEN","LAS","LAX","SAT")] ($PATH = "LAX"-"MLM","ZCL")] ($PATH = "MLM"-"SJC")] ($PATH = "OAK"-"ZCL")] ($PATH = "SAC"-"SJD")] WithinCountry($PATH "MEXICO")])
11:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")] ($PATH = "MEX"-"DEN","LAS","LAX","SAT")] ($PATH = "LAX"-"MLM","ZCL")] ($PATH = "MLM"-"SJC")] ($PATH = "OAK"-"ZCL")] ($PATH = "SAC"-"SJD")] WithinCountry($PATH "MEXICO")]
12:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")] ($PATH = "MEX"-"DEN","LAS","LAX","SAT")] ($PATH = "LAX"-"MLM","ZCL")] ($PATH = "MLM"-"SJC")] ($PATH = "OAK"-"ZCL")] ($PATH = "SAC"-"SJD")]
13:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")] ($PATH = "MEX"-"DEN","LAS","LAX","SAT")] ($PATH = "LAX"-"MLM","ZCL")] ($PATH = "MLM"-"SJC")] ($PATH = "OAK"-"ZCL")]
14:0:(false)[OR(false)[OR(false)[OR(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")] ($PATH = "MEX"-"DEN","LAS","LAX","SAT")] ($PATH = "LAX"-"MLM","ZCL")] ($PATH = "MLM"-"SJC")]
15:0:(false)[OR(false)[OR(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")] ($PATH = "MEX"-"DEN","LAS","LAX","SAT")] ($PATH = "LAX"-"MLM","ZCL")]
16:0:(false)[OR(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")] ($PATH = "MEX"-"DEN","LAS","LAX","SAT")]
17:0:(false)[OR(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")] ($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")]
18:0:(false)[($PATH = "BJX"-"LAX","OAK","SAC") ($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")]
19:0:false<-($PATH = "BJX"-"LAX","OAK","SAC")
20:0:$PATH("NYC"-"WAS")
19:0:false<-($PATH = "CHI"-"GDL","MEX","MLM","MTY","ZCL")
20:0:$PATH("NYC"-"WAS")
18:0:false<-($PATH = "GDL"-"LAS","LAX","OAK","SAC","SAT","SFO","SJC")
19:0:$PATH("NYC"-"WAS")
17:0:false<-($PATH = "MEX"-"DEN","LAS","LAX","SAT")
18:0:$PATH("NYC"-"WAS")
16:0:false<-($PATH = "LAX"-"MLM","ZCL")
17:0:$PATH("NYC"-"WAS")
15:0:false<-($PATH = "MLM"-"SJC")
16:0:$PATH("NYC"-"WAS")
14:0:false<-($PATH = "OAK"-"ZCL")
15:0:$PATH("NYC"-"WAS")
13:0:false<-($PATH = "SAC"-"SJD")
14:0:$PATH("NYC"-"WAS")
12:0:false<-WithinCountry($PATH "MEXICO")
13:0:$PATH("NYC"-"WAS")
10:0:ELSE
11:0:TEST(false)(WithinCountry($PATH "AUSTRALIA","NEW ZEALAND"))
12:0:false<-WithinCountry($PATH "AUSTRALIA","NEW ZEALAND")
13:0:$PATH("NYC"-"WAS")
13:0:"AUSTRALIA","NEW ZEALAND"
11:0:ELSE
12:0:TEST(true)(Within_area($PATH "TC1"))
13:0:true<-Within_area($PATH "TC1")
14:0:$PATH("NYC"-"WAS")
12:0:THEN
13:0:TEST(true)(Normal_fare_p())
14:0:true<-Normal_fare_p()
13:0:THEN
14:0:TEST(false)(($F-BASIS = "F#"))
15:0:false<-($F-BASIS = "F#")
16:0:$F-BASIS("Y")
14:0:ELSE
15:0:TEST(false)(($F-BASIS = "C#"))
16:0:false<-($F-BASIS = "C#")
17:0:$F-BASIS("Y")
15:0:ELSE
16:0:TEST(true)(($F-BASIS = "Y#"))
17:0:true<-($F-BASIS = "Y#")
18:0:$F-BASIS("Y")
16:0:THEN
17:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "BKK") OR] ($PATH = "DFW"-"LAX")])
18:0:(false)[AND(false)[($ORIGIN = "BKK") OR] ($PATH = "DFW"-"LAX")]
19:0:(false)[($ORIGIN = "BKK") OR]
20:0:false<-($ORIGIN = "BKK")
21:0:$ORIGIN("OSA")
17:0:ELSE
18:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "BOS"-"NYC")])
19:0:(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "BOS"-"NYC")]
20:0:(false)[($ORIGIN = "LON") OR]
21:0:false<-($ORIGIN = "LON")
22:0:$ORIGIN("OSA")
18:0:ELSE
19:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "EYW"-"MIA")])
20:0:(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "EYW"-"MIA")]
21:0:(false)[($ORIGIN = "LON") OR]
22:0:false<-($ORIGIN = "LON")
23:0:$ORIGIN("OSA")
19:0:ELSE
20:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "LAS"-"LAX")])
21:0:(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "LAS"-"LAX")]
22:0:(false)[($ORIGIN = "LON") OR]
23:0:false<-($ORIGIN = "LON")
24:0:$ORIGIN("OSA")
20:0:ELSE
21:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "MIA"-"NYC")])
22:0:(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "MIA"-"NYC")]
23:0:(false)[($ORIGIN = "LON") OR]
24:0:false<-($ORIGIN = "LON")
25:0:$ORIGIN("OSA")
21:0:ELSE
22:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "NYC"-"WAS")])
23:0:(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "NYC"-"WAS")]
24:0:(false)[($ORIGIN = "LON") OR]
25:0:false<-($ORIGIN = "LON")
26:0:$ORIGIN("OSA")
22:0:ELSE
23:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "SFO"-"SNA")])
24:0:(false)[AND(false)[($ORIGIN = "LON") OR] ($PATH = "SFO"-"SNA")]
25:0:(false)[($ORIGIN = "LON") OR]
26:0:false<-($ORIGIN = "LON")
27:0:$ORIGIN("OSA")
23:0:ELSE
24:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "SAO") OR] ($PATH = "MEX"-"MIA")])
25:0:(false)[AND(false)[($ORIGIN = "SAO") OR] ($PATH = "MEX"-"MIA")]
26:0:(false)[($ORIGIN = "SAO") OR]
27:0:false<-($ORIGIN = "SAO")
28:0:$ORIGIN("OSA")
24:0:ELSE
25:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "AUS"-"LAX")])
26:0:(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "AUS"-"LAX")]
27:0:(false)[($ORIGIN = "SEL") OR]
28:0:false<-($ORIGIN = "SEL")
29:0:$ORIGIN("OSA")
25:0:ELSE
26:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "DFW"-"LAX")])
27:0:(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "DFW"-"LAX")]
28:0:(false)[($ORIGIN = "SEL") OR]
29:0:false<-($ORIGIN = "SEL")
30:0:$ORIGIN("OSA")
26:0:ELSE
27:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "LAX"-"SAN")])
28:0:(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "LAX"-"SAN")]
29:0:(false)[($ORIGIN = "SEL") OR]
30:0:false<-($ORIGIN = "SEL")
31:0:$ORIGIN("OSA")
27:0:ELSE
28:0:TEST(false)(AND(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "LAX"-"STL")])
29:0:(false)[AND(false)[($ORIGIN = "SEL") OR] ($PATH = "LAX"-"STL")]
30:0:(false)[($ORIGIN = "SEL") OR]
31:0:false<-($ORIGIN = "SEL")
32:0:$ORIGIN("OSA")
28:0:ELSE
29:0:TEST(false)(AND(false)[($ORIGIN = "TPE") OR])
30:0:(false)[($ORIGIN = "TPE") OR]
31:0:false<-($ORIGIN = "TPE")
32:0:$ORIGIN("OSA")
29:0:ELSE
30:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"ORL")])
31:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"ORL")]
32:0:(false)[(Country($ORIGIN) = "USA") OR]
33:0:false<-(Country($ORIGIN) = "USA")
34:0:"JAPAN"<-Country($ORIGIN)
35:0:$ORIGIN("OSA")
30:0:ELSE
31:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"WAS")])
32:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"WAS")]
33:0:(false)[(Country($ORIGIN) = "USA") OR]
34:0:false<-(Country($ORIGIN) = "USA")
35:0:"JAPAN"<-Country($ORIGIN)
36:0:$ORIGIN("OSA")
31:0:ELSE
32:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "BOS"-"NYC")])
33:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "BOS"-"NYC")]
34:0:(false)[(Country($ORIGIN) = "USA") OR]
35:0:false<-(Country($ORIGIN) = "USA")
36:0:"JAPAN"<-Country($ORIGIN)
37:0:$ORIGIN("OSA")
32:0:ELSE
33:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "ATL"-"CHI")])
34:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "ATL"-"CHI")]
35:0:(false)[(Country($ORIGIN) = "USA") OR]
36:0:false<-(Country($ORIGIN) = "USA")
37:0:"JAPAN"<-Country($ORIGIN)
38:0:$ORIGIN("OSA")
33:0:ELSE
34:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "BOS"-"CHI")])
35:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "BOS"-"CHI")]
36:0:(false)[(Country($ORIGIN) = "USA") OR]
37:0:false<-(Country($ORIGIN) = "USA")
38:0:"JAPAN"<-Country($ORIGIN)
39:0:$ORIGIN("OSA")
34:0:ELSE
35:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"CMH")])
36:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"CMH")]
37:0:(false)[(Country($ORIGIN) = "USA") OR]
38:0:false<-(Country($ORIGIN) = "USA")
39:0:"JAPAN"<-Country($ORIGIN)
40:0:$ORIGIN("OSA")
35:0:ELSE
36:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"CVG")])
37:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"CVG")]
38:0:(false)[(Country($ORIGIN) = "USA") OR]
39:0:false<-(Country($ORIGIN) = "USA")
40:0:"JAPAN"<-Country($ORIGIN)
41:0:$ORIGIN("OSA")
36:0:ELSE
37:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"OKC")])
38:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"OKC")]
39:0:(false)[(Country($ORIGIN) = "USA") OR]
40:0:false<-(Country($ORIGIN) = "USA")
41:0:"JAPAN"<-Country($ORIGIN)
42:0:$ORIGIN("OSA")
37:0:ELSE
38:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "DFW"-"SFO")])
39:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "DFW"-"SFO")]
40:0:(false)[(Country($ORIGIN) = "USA") OR]
41:0:false<-(Country($ORIGIN) = "USA")
42:0:"JAPAN"<-Country($ORIGIN)
43:0:$ORIGIN("OSA")
38:0:ELSE
39:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAS"-"LAX")])
40:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAS"-"LAX")]
41:0:(false)[(Country($ORIGIN) = "USA") OR]
42:0:false<-(Country($ORIGIN) = "USA")
43:0:"JAPAN"<-Country($ORIGIN)
44:0:$ORIGIN("OSA")
39:0:ELSE
40:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"MRY")])
41:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"MRY")]
42:0:(false)[(Country($ORIGIN) = "USA") OR]
43:0:false<-(Country($ORIGIN) = "USA")
44:0:"JAPAN"<-Country($ORIGIN)
45:0:$ORIGIN("OSA")
40:0:ELSE
41:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"SAN")])
42:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"SAN")]
43:0:(false)[(Country($ORIGIN) = "USA") OR]
44:0:false<-(Country($ORIGIN) = "USA")
45:0:"JAPAN"<-Country($ORIGIN)
46:0:$ORIGIN("OSA")
41:0:ELSE
42:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"SFO")])
43:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"SFO")]
44:0:(false)[(Country($ORIGIN) = "USA") OR]
45:0:false<-(Country($ORIGIN) = "USA")
46:0:"JAPAN"<-Country($ORIGIN)
47:0:$ORIGIN("OSA")
42:0:ELSE
43:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"SJC")])
44:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "LAX"-"SJC")]
45:0:(false)[(Country($ORIGIN) = "USA") OR]
46:0:false<-(Country($ORIGIN) = "USA")
47:0:"JAPAN"<-Country($ORIGIN)
48:0:$ORIGIN("OSA")
43:0:ELSE
44:0:TEST(false)(AND(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"LAX")])
45:0:(false)[AND(false)[(Country($ORIGIN) = "USA") OR] ($PATH = "CHI"-"LAX")]
46:0:(false)[(Country($ORIGIN) = "USA") OR]
47:0:false<-(Country($ORIGIN) = "USA")
48:0:"JAPAN"<-Country($ORIGIN)
49:0:$ORIGIN("OSA")
44:0:ELSE
45:0:TEST(false)(AND(false)[OR(false)[AND(false)[($FC-FROM = "BUE") ($FC-TO = "PAP")] AND(false)[($FC-FROM = "PAP") ($FC-TO = "BUE")]] ($PATH = "MIA"-"PAP")])
46:0:(false)[OR(false)[AND(false)[($FC-FROM = "BUE") ($FC-TO = "PAP")] AND(false)[($FC-FROM = "PAP") ($FC-TO = "BUE")]] ($PATH = "MIA"-"PAP")]
47:0:(false)[AND(false)[($FC-FROM = "BUE") ($FC-TO = "PAP")] AND(false)[($FC-FROM = "PAP") ($FC-TO = "BUE")]]
48:0:(false)[($FC-FROM = "BUE") ($FC-TO = "PAP")]
49:0:false<-($FC-FROM = "BUE")
50:0:$FC-FROM("OSA")
48:0:(false)[($FC-FROM = "PAP") ($FC-TO = "BUE")]
49:0:false<-($FC-FROM = "PAP")
50:0:$FC-FROM("OSA")
45:0:ELSE
46:0:TEST(false)(AND(false)[OR(false)[AND(false)[(Country($FC-FROM) = "CAMEROON") (Country($FC-TO) = "HAITI")] AND(false)[(Country($FC-FROM) = "HAITI") (Country($FC-TO) = "CAMEROON")]] ($PATH = "MIA"-"PAP")])
47:0:(false)[OR(false)[AND(false)[(Country($FC-FROM) = "CAMEROON") (Country($FC-TO) = "HAITI")] AND(false)[(Country($FC-FROM) = "HAITI") (Country($FC-TO) = "CAMEROON")]] ($PATH = "MIA"-"PAP")]
48:0:(false)[AND(false)[(Country($FC-FROM) = "CAMEROON") (Country($FC-TO) = "HAITI")] AND(false)[(Country($FC-FROM) = "HAITI") (Country($FC-TO) = "CAMEROON")]]
49:0:(false)[(Country($FC-FROM) = "CAMEROON") (Country($FC-TO) = "HAITI")]
50:0:false<-(Country($FC-FROM) = "CAMEROON")
51:0:"JAPAN"<-Country($FC-FROM)
52:0:$FC-FROM("OSA")
49:0:(false)[(Country($FC-FROM) = "HAITI") (Country($FC-TO) = "CAMEROON")]
50:0:false<-(Country($FC-FROM) = "HAITI")
51:0:"JAPAN"<-Country($FC-FROM)
52:0:$FC-FROM("OSA")
46:0:ELSE
47:0:TEST(false)(AND(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "AUS"-"LAX")])
48:0:(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "AUS"-"LAX")]
49:0:(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]]
50:0:(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")]
51:0:false<-(Country($FC-FROM) = "KOREA")
52:0:"JAPAN"<-Country($FC-FROM)
53:0:$FC-FROM("OSA")
50:0:(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]
51:0:false<-(Country($FC-FROM) = "USA")
52:0:"JAPAN"<-Country($FC-FROM)
53:0:$FC-FROM("OSA")
47:0:ELSE
48:0:TEST(false)(AND(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "CHI"-"ELP")])
49:0:(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "CHI"-"ELP")]
50:0:(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]]
51:0:(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")]
52:0:false<-(Country($FC-FROM) = "KOREA")
53:0:"JAPAN"<-Country($FC-FROM)
54:0:$FC-FROM("OSA")
51:0:(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]
52:0:false<-(Country($FC-FROM) = "USA")
53:0:"JAPAN"<-Country($FC-FROM)
54:0:$FC-FROM("OSA")
48:0:ELSE
49:0:TEST(false)(AND(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "CHI"-"LAX")])
50:0:(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "CHI"-"LAX")]
51:0:(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]]
52:0:(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")]
53:0:false<-(Country($FC-FROM) = "KOREA")
54:0:"JAPAN"<-Country($FC-FROM)
55:0:$FC-FROM("OSA")
52:0:(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]
53:0:false<-(Country($FC-FROM) = "USA")
54:0:"JAPAN"<-Country($FC-FROM)
55:0:$FC-FROM("OSA")
49:0:ELSE
50:0:TEST(false)(AND(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "DFW"-"SFO")])
51:0:(false)[OR(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]] ($PATH = "DFW"-"SFO")]
52:0:(false)[AND(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]]
53:0:(false)[(Country($FC-FROM) = "KOREA") (Country($FC-TO) = "USA")]
54:0:false<-(Country($FC-FROM) = "KOREA")
55:0:"JAPAN"<-Country($FC-FROM)
56:0:$FC-FROM("OSA")
53:0:(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "KOREA")]
54:0:false<-(Country($FC-FROM) = "USA")
55:0:"JAPAN"<-Country($FC-FROM)
56:0:$FC-FROM("OSA")
50:0:ELSE
51:0:TEST(false)(AND(false)[OR(false)[AND(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]] ($PATH = "CHI"-"DEN")])
52:0:(false)[OR(false)[AND(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]] ($PATH = "CHI"-"DEN")]
53:0:(false)[AND(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]]
54:0:(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")]
55:0:false<-(Country($FC-FROM) = "UK")
56:0:"JAPAN"<-Country($FC-FROM)
57:0:$FC-FROM("OSA")
54:0:(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]
55:0:false<-(Country($FC-FROM) = "USA")
56:0:"JAPAN"<-Country($FC-FROM)
57:0:$FC-FROM("OSA")
51:0:ELSE
52:0:TEST(false)(AND(false)[OR(false)[AND(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]] ($PATH = "DFW"-"NYC")])
53:0:(false)[OR(false)[AND(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]] ($PATH = "DFW"-"NYC")]
54:0:(false)[AND(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")] AND(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]]
55:0:(false)[(Country($FC-FROM) = "UK") (Country($FC-TO) = "USA")]
56:0:false<-(Country($FC-FROM) = "UK")
57:0:"JAPAN"<-Country($FC-FROM)
58:0:$FC-FROM("OSA")
55:0:(false)[(Country($FC-FROM) = "USA") (Country($FC-TO) = "UK")]
56:0:false<-(Country($FC-FROM) = "USA")
57:0:"JAPAN"<-Country($FC-FROM)
58:0:$FC-FROM("OSA")
52:0:ELSE(100.0%of Pfm($F-BASIS))
53:0:100.0%of Pfm($F-BASIS)
54:0:AMOUNT(USD 562.0)<-Pfm($F-BASIS)
55:0:$F-BASIS("Y")
55:0:AMOUNT(USD 562.0)
0:-1:checkFixedFare pass: 20.47986716479867 >= 11.3 * 1.0
0:0:prorateValue set by SRP: 123.90319634703195 = 123.90319634703195(NUC) + 0.0
0:0:prorateValue set by SRP: 1356.176803652968 = 1356.176803652968(NUC) + 0.0
0:0:prorateValue set by APDP: 562.0 = 562.0(NUC) + 0.0
0:0:commission set 11.151287671232877 <- 123.90319634703195 * 183.7872 / 2042.08
0:0:invoiceValue set 112.75190867579907 <- 123.90319634703195 + 0.0 - 11.151287671232877
0:0:commission set 122.05591232876712 <- 1356.176803652968 * 183.7872 / 2042.08
0:0:invoiceValue set 1234.1208913242008 <- 1356.176803652968 + 0.0 - 122.05591232876712
0:0:commission set 50.58000000000001 <- 562.0 * 183.7872 / 2042.08 + (0.0)
0:0:invoiceValue set 511.42 <- 562.0 + 0.0 - 50.58000000000001
