Results

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for THF

THF	TPS 3.20080227G1d	LEO-II 1.0	LEO-IIP 1.0	IsabelleP 2009
`ALG249^3`	7.80	2.20	⁺2.20	⁺210.70
`ALG255^1`	54.60	2.70	⁺2.90	TMO‑Non
`ALG257^2`	10.00	2.20	⁺2.20	TMO‑Non
`ALG261^1`	3.50	2.90	⁺3.20	TMO‑Non
`ALG262^2`	0.70	21.50	⁺21.40	⁺174.70
`ALG267^2`	0.80	4.20	⁺4.20	TMO‑Non
`ALG279^5`^*	81.60	0.00	⁺0.00	UNK‑Non
`ALG282^5`^*	TMO‑Non	0.00	⁺0.00	⁺1.40
`ALG285^5`^*	TMO‑Non	0.10	⁺0.10	⁺1.60
`LCL603^1`	9.90	0.10	⁺0.10	TMO‑Non
`LCL625^1`	0.50	51.90	⁺165.80	⁺69.10
`LCL629^1`	0.60	0.10	⁺0.10	UNK‑Non
`LCL632^1`	3.20	TMO‑Non	TMO‑Non	UNK‑Non
`LCL694^1`	TMO‑Non	0.10	⁺0.10	UNK‑Non
`LCL713^1`^*	0.40	TMO‑Non	TMO‑Non	⁺134.60
`LCL724^1`^*	0.40	0.10	⁺0.10	TMO‑Non
`LCL725^1`^*	0.40	0.10	⁺0.10	TMO‑Non
`LCL726^5`^*	58.20	TMO‑Non	TMO‑Non	⁺102.20
`LCL728^5`^*	44.70	TMO‑Non	TMO‑Non	UNK‑Non
`LCL730^5`^*	44.40	TMO‑Non	TMO‑Non	UNK‑Non
`LCL734^5`^*	232.60	TMO‑Non	TMO‑Non	UNK‑Non
`LCL737^5`^*	239.50	TMO‑Non	TMO‑Non	UNK‑Non
`LCL740^5`^*	238.80	TMO‑Non	TMO‑Non	UNK‑Non
`NUM021^1`	1.50	TMO‑Non	TMO‑Non	UNK‑Non
`NUM636^2`	43.20	TMO‑Non	TMO‑Non	⁺68.00
`NUM651^1`	TMO‑Non	1.70	⁺1.70	⁺34.80
`NUM670^1`	7.20	0.00	⁺0.00	⁺34.30
`NUM679^1`	7.30	0.00	⁺0.00	⁺34.40
`NUM680^1`	2.60	0.10	⁺0.10	⁺101.70
`NUM713^1`	113.70	1.30	⁺1.30	⁺34.70
`NUM717^1`	6.70	0.00	⁺0.00	⁺34.40
`NUM719^1`	TMO‑Non	1.10	⁺1.10	⁺70.00
`NUM738^1`	0.30	0.00	⁺0.00	⁺34.60
`NUM743^1`	0.30	TMO‑Non	TMO‑Non	TMO‑Non
`NUM766^1`	TMO‑Non	1.00	⁺1.00	UNK‑Non
`NUM775^1`	0.40	0.10	⁺0.10	⁺100.50
`NUM785^1`	0.40	0.00	⁺0.00	⁺34.70
`NUM792^1`	0.30	0.00	⁺0.00	⁺34.60
`NUM800^1`	1.20	TMO‑Non	TMO‑Non	UNK‑Non
`NUM820^5`^*	6.20	TMO‑Non	TMO‑Non	UNK‑Non
`NUM827^5`^*	8.50	TMO‑Non	TMO‑Non	UNK‑Non
`PUZ047^5`^*	9.00	0.10	⁺0.10	⁺35.40
`PUZ094^5`^*	TMO‑Non	0.30	⁺0.40	UNK‑Non
`PUZ104^5`^*	52.10	0.00	⁺0.00	UNK‑Non
`PUZ110^5`^*	12.60	0.00	⁺0.00	⁺99.60
`PUZ114^5`^*	135.00	0.00	⁺0.00	UNK‑Non
`SET063^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET066^1`	0.40	0.00	⁺0.00	⁺1.60
`SET171^3`	0.40	0.00	⁺0.00	⁺1.90
`SET171^5`^*	0.30	0.00	⁺0.00	⁺1.70
`SET591^5`^*	0.40	0.00	⁺0.00	⁺1.60
`SET596^5`^*	0.30	0.00	⁺0.00	⁺34.40
`SET601^3`	0.40	0.10	⁺0.10	⁺2.00
`SET601^5`^*	0.40	0.00	⁺0.10	⁺1.40
`SET605^5`^*	0.40	0.00	⁺0.00	⁺1.60
`SET606^3`	0.30	0.00	⁺0.00	⁺2.00
`SET606^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET607^3`	0.40	0.00	⁺0.00	⁺1.60
`SET608^5`^*	0.30	0.00	⁺0.00	⁺1.20
`SET609^3`	0.40	0.00	⁺0.00	⁺1.90
`SET609^5`^*	0.40	0.00	⁺0.00	⁺1.70
`SET619^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET620^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET622^5`^*	0.40	0.00	⁺0.10	⁺1.70
`SET623^3`	0.40	0.30	⁺8.00	⁺1.80
`SET628^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET638^5`^*	0.30	0.00	⁺0.00	⁺44.70
`SET647^3`	0.40	0.00	⁺0.00	⁺192.40
`SET669^3`	0.40	0.10	⁺0.10	⁺69.80
`SET670^3`	0.40	0.00	⁺0.00	⁺156.20
`SET671^3`	0.40	0.00	⁺0.10	UNK‑Non
`SET672^3`	0.40	0.00	⁺0.00	⁺199.40
`SET673^3`	0.40	0.00	⁺0.10	UNK‑Non
`SET680^3`	0.40	0.10	⁺0.10	TMO‑Non
`SET716^4`	14.50	0.00	⁺0.00	⁺34.90
`SEU453^1`	0.30	0.10	⁺0.10	⁺56.90
`SEU457^1`	0.40	0.10	⁺0.10	⁺77.50
`SEU461^1`	56.20	0.10	⁺0.20	TMO‑Non
`SEU481^1`	0.40	TMO‑Non	TMO‑Non	UNK‑Non
`SEU498^1`	TMO‑Non	0.10	⁺0.10	⁺109.50
`SEU520^1`	2.70	0.30	⁺0.70	TMO‑Non
`SEU545^1`	TMO‑Non	1.00	⁺1.90	TMO‑Non
`SEU553^1`^*	TMO‑Non	0.90	⁺3.70	⁺70.80
`SEU610^2`	38.00	1.80	⁺1.80	⁺69.70
`SEU657^2`	TMO‑Non	0.00	⁺0.00	⁺1.70
`SEU685^2`	0.60	TMO‑Non	TMO‑Non	⁺1.60
`SEU695^2`	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.50
`SEU702^2`	6.00	TMO‑Non	TMO‑Non	⁺1.30
`SEU752^2`	TMO‑Non	0.10	⁺0.10	⁺102.30
`SEU767^1`	TMO‑Non	13.30	⁺41.80	TMO‑Non
`SEU775^2`	0.30	TMO‑Non	TMO‑Non	⁺1.40
`SEU777^2`	0.40	TMO‑Non	TMO‑Non	⁺1.50
`SEU827^1`	UNK‑Non	0.20	⁺0.90	UNK‑Non
`SEU828^1`	0.40	0.00	⁺0.00	⁺1.50
`SEU829^1`	0.30	0.00	⁺0.00	⁺1.40
`SEU845^5`^*	0.40	0.00	⁺0.00	⁺1.50
`SEU848^5`^*	0.30	0.00	⁺0.00	⁺1.50
`SEU849^5`^*	0.30	0.00	⁺0.00	⁺1.50
`SEU851^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SEU906^5`^*	25.60	TMO‑Non	TMO‑Non	UNK‑Non
`SEU909^5`^*	15.50	TMO‑Non	TMO‑Non	⁺34.40
`SEU931^5`^*	20.70	0.00	⁺0.00	⁺35.50
`SEU932^5`^*	13.90	0.00	⁺0.00	⁺35.60
`SEU939^5`^*	91.30	TMO‑Non	TMO‑Non	UNK‑Non
`SEU947^5`^*	128.80	TMO‑Non	TMO‑Non	UNK‑Non
`SEU948^5`^*	42.20	TMO‑Non	TMO‑Non	UNK‑Non
`SEU949^5`^*	26.80	TMO‑Non	TMO‑Non	UNK‑Non
`SEU961^5`^*	TMO‑Non	0.00	⁺0.00	UNK‑Non
`SEU975^5`^*	TMO‑Non	0.80	⁺0.70	⁺105.10
`SEU998^5`^*	TMO‑Non	2.30	⁺2.40	⁺72.30
`SEU999^5`^*	TMO‑Non	2.40	⁺2.50	UNK‑Non
`SEV006^5`^*	173.10	0.40	⁺0.50	⁺37.10
`SEV008^5`^*	107.50	0.10	⁺0.10	⁺40.50
`SEV031^5`^*	66.40	0.10	⁺0.10	⁺48.80
`SEV043^5`^*	0.30	0.00	⁺0.00	TMO‑Non
`SEV049^5`^*	0.30	0.10	⁺0.10	⁺34.80
`SEV054^5`^*	0.90	68.50	⁺68.60	⁺269.00
`SEV059^5`^*	4.40	0.00	⁺0.00	⁺34.20
`SEV066^5`^*	0.70	TMO‑Non	TMO‑Non	UNK‑Non
`SEV067^5`^*	7.30	0.00	⁺0.00	⁺34.60
`SEV069^5`^*	136.10	TMO‑Non	TMO‑Non	TMO‑Non
`SEV070^5`^*	6.70	0.00	⁺0.00	⁺67.80
`SEV085^5`^*	34.90	TMO‑Non	TMO‑Non	⁺1.60
`SEV086^5`^*	61.10	TMO‑Non	TMO‑Non	UNK‑Non
`SEV107^5`^*	59.80	0.10	⁺0.10	⁺183.40
`SEV109^5`^*	1.00	0.20	⁺0.20	UNK‑Non
`SEV110^5`^*	1.00	0.20	⁺0.20	UNK‑Non
`SEV136^5`^*	2.00	0.00	⁺0.00	TMO‑Non
`SEV142^5`^*	80.40	TMO‑Non	TMO‑Non	TMO‑Non
`SEV147^5`^*	78.60	TMO‑Non	TMO‑Non	UNK‑Non
`SEV169^5`^*	18.00	85.30	⁺90.40	⁺1.30
`SEV177^5`^*	0.30	0.00	⁺0.00	UNK‑Non
`SEV185^5`^*	0.40	0.00	⁺0.00	⁺34.50
`SEV194^5`^*	0.40	0.00	⁺0.00	⁺34.70
`SEV222^5`^*	25.20	TMO‑Non	TMO‑Non	⁺68.80
`SEV229^5`^*	0.30	0.00	⁺0.00	⁺1.40
`SEV238^5`^*	7.40	19.20	⁺20.30	⁺29.70
`SEV239^5`^*	32.10	TMO‑Non	TMO‑Non	⁺33.80
`SEV242^5`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SEV253^5`^*	45.70	TMO‑Non	TMO‑Non	UNK‑Non
`SEV254^5`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SEV273^5`^*	0.40	TMO‑Non	TMO‑Non	⁺101.30
`SEV285^5`^*	0.30	0.00	⁺0.00	UNK‑Non
`SEV292^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.70
`SEV299^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.70
`SEV300^5`^*	96.00	0.10	⁺0.10	UNK‑Non
`SEV317^5`^*	43.10	TMO‑Non	TMO‑Non	TMO‑Non
`SEV318^5`^*	252.50	TMO‑Non	TMO‑Non	TMO‑Non
`SEV401^5`^*	1.50	0.10	⁺0.00	⁺67.70
`SEV409^5`^*	6.30	0.00	⁺0.00	⁺68.50
`SEV410^5`^*	6.40	TMO‑Non	TMO‑Non	⁺1.30
`SWV426^2`	39.20	0.10	⁺0.10	UNK‑Non
`SWV426^4`	35.60	0.10	⁺0.10	⁺122.60
`SWV447^1`	13.80	TMO‑Non	TMO‑Non	⁺1.30
`SYN041^4`^*	0.60	0.00	⁺0.00	⁺47.50
`SYN044^4`^*	TMO‑Non	0.20	⁺0.20	⁺54.80
`SYN984^1`	UNK‑Non	0.10	⁺0.10	UNK‑Non
`SYO004^1`	0.30	0.50	⁺0.80	UNK‑Non
`SYO016^1`	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYO020^1`	UNK‑Non	0.00	⁺0.00	⁺1.60
`SYO030^1`	1.00	1.00	⁺1.00	UNK‑Non
`SYO035^1`	19.20	1.00	⁺1.30	⁺100.90
`SYO060^4`^*	0.50	0.00	⁺0.00	⁺48.90
`SYO064^4.001`^*	0.40	0.00	⁺0.00	⁺50.50
`SYO068^4.005`^*	TMO‑Non	0.10	⁺0.10	TMO‑Non
`SYO068^4.010`^*	TMO‑Non	0.10	⁺0.20	TMO‑Non
`SYO102^5`^*	0.40	0.00	⁺0.00	⁺34.60
`SYO115^5`^*	9.00	0.10	⁺0.10	⁺34.80
`SYO148^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SYO180^5`^*	1.00	0.10	⁺0.10	TMO‑Non
`SYO198^5`^*	0.30	0.00	⁺0.00	⁺67.40
`SYO209^5`^*	0.90	TMO‑Non	TMO‑Non	UNK‑Non
`SYO217^5`^*	0.40	0.00	⁺0.00	UNK‑Non
`SYO222^5`^*	25.20	TMO‑Non	TMO‑Non	UNK‑Non
`SYO227^5`^*	49.80	2.40	⁺8.70	UNK‑Non
`SYO229^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.30
`SYO231^5`^*	0.30	TMO‑Non	TMO‑Non	⁺1.60
`SYO234^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.20
`SYO249^5`^*	TMO‑Non	0.20	⁺0.20	⁺75.10
`SYO250^5`^*	30.30	10.40	⁺10.30	⁺34.50
`SYO265^5`^*	7.30	0.00	⁺0.00	⁺1.30
`SYO271^5`^*	139.00	TMO‑Non	TMO‑Non	UNK‑Non
`SYO276^5`^*	97.10	TMO‑Non	TMO‑Non	UNK‑Non
`SYO277^5`^*	21.40	1.80	⁺1.90	UNK‑Non
`SYO288^5`^*	0.30	TMO‑Non	TMO‑Non	UNK‑Non
`SYO314^5`^*	0.40	0.00	⁺0.00	TMO‑Non
`SYO348^5`^*	UNK‑Non	0.00	⁺0.00	⁺1.50
`SYO359^5`^*	0.30	2.30	⁺3.30	⁺18.10
`SYO386^5`^*	64.30	0.50	⁺0.60	⁺207.00
`SYO391^5`^*	TMO‑Non	5.10	⁺5.40	TMO‑Non
`SYO445^1`^*	9.60	TMO‑Non	TMO‑Non	⁺139.70
`SYO448^1`^*	7.40	0.10	⁺0.10	⁺265.00
`SYO449^1`^*	12.10	11.60	⁺11.60	⁺179.30
`SYO455^4`^*	0.40	0.00	⁺0.00	⁺161.40
`SYO455^5`^*	0.40	0.00	⁺0.00	⁺169.70
`SYO457^5`^*	0.40	0.00	⁺0.00	⁺155.80
`SYO457^6`^*	0.40	0.00	⁺0.00	⁺169.70
`SYO460^4`^*	0.40	0.00	⁺0.10	⁺156.20
`SYO470^6`^*	51.70	0.70	⁺0.80	⁺267.90
`SYO487^6`^*	0.40	0.00	⁺0.10	⁺167.50
Attempted	200	200	200	200
Solved	170	146	146	124
Av. Time	23.18	2.27	3.44	55.92
Solutions	0	0	146	124
μEfficiency	36.67	322.09	212.35	11.09
SOTAC	0.43	0.30	0.30	0.31
New Attempted	130	130	130	130
New Solved	114	89	89	80

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for FOF

FOF	Vampire 11.0	E 1.1pre	Vampire 10.0	EP 1.1pre	iProver 0.7	Equinox 4.1	leanCoP 2.1	iProver-Eq 0.5	Metis 2.2	E-KRHyper 1.1.3	Otter 3.3	OSHL-S 0.6	Infinox 1.0
`AGT008+1`	⁺137.20	TMO‑Non	⁺49.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`AGT016+2`	⁺0.00	0.20	⁺0.00	⁺0.30	0.20	TMO‑Non	⁺0.30	19.30	TMO‑Non	0.40	⁺0.60	TMO‑Non	TMO‑Non
`AGT024+2`	⁺55.80	TMO‑Non	⁺46.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ALG018+1`	⁺1.30	0.00	⁺0.70	⁺0.10	TMO‑Non	0.10	TMO‑Non	TMO‑Non	⁺1.60	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`ALG071+1`	⁺3.00	6.90	⁺1.50	⁺10.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`ALG176+1`	⁺0.10	0.00	⁺0.10	⁺0.10	48.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`ALG210+1`	⁺16.40	22.50	⁺15.10	33.50	TMO‑Non	14.20	TMO‑Non	TMO‑Non	⁺0.50	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`ALG210+2`	⁺0.00	0.00	⁺1.20	⁺0.10	TMO‑Non	13.20	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`COM003+1`	⁺0.00	1.30	⁺0.00	⁺2.00	0.40	TMO‑Non	⁺33.10	6.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR001+2`	⁺35.80	24.20	⁺71.10	⁺27.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR002+1`	TMO‑Non	12.10	⁺77.90	⁺14.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`CSR004+1`	TMO‑Non	10.50	TMO‑Non	⁺12.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`CSR012+1`	⁺34.50	0.20	⁺18.90	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.70	TMO‑Non	FTH‑Ass
`CSR017+1`	⁺1.40	0.10	⁺5.50	⁺0.20	3.20	0.80	TMO‑Non	30.30	⁺0.30	43.30	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR020+1`	⁺1.40	0.10	⁺6.60	⁺0.10	1.90	2.10	TMO‑Non	TMO‑Non	⁺0.50	141.50	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR024+1.009`	⁺125.00	0.30	⁺67.90	⁺0.50	TMO‑Non	2.80	TMO‑Non	TMO‑Non	⁺39.60	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR025+3`	⁺1.50	0.40	⁺1.50	⁺1.00	0.90	4.00	⁺4.60	2.50	⁺30.00	8.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR032+2`	⁺0.10	0.10	⁺0.10	⁺0.20	0.20	63.50	⁺0.30	26.30	⁺1.00	0.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR034+2`	⁺0.20	3.10	⁺0.20	⁺3.30	0.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.90	3.80	GUP‑Non	TMO‑Non	TMO‑Non
`CSR036+2`	⁺27.00	40.80	⁺3.70	⁺42.00	18.10	TMO‑Non	⁺0.70	TMO‑Non	⁺27.70	2.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR038+3`	⁺2.00	24.60	⁺2.00	⁺25.40	210.10	TMO‑Non	⁺7.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR039+1`	⁺0.00	0.20	⁺0.00	⁺0.30	0.30	13.60	⁺28.60	10.80	UNK‑Non	0.10	⁺0.30	5.10	TMO‑Non
`CSR039+2`	⁺28.00	41.40	⁺3.60	⁺42.80	12.00	TMO‑Non	⁺1.10	TMO‑Non	⁺27.50	2.80	GUP‑Non	TMO‑Non	TMO‑Non
`CSR039+3`	TMO‑Non	TMO‑Non	⁺44.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR041+3`	⁺2.00	23.00	⁺2.00	⁺24.00	1.80	TMO‑Non	⁺7.20	TMO‑Non	⁺30.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR041+5`	⁺219.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR042+3`	⁺1.60	6.00	⁺1.60	⁺6.50	1.40	TMO‑Non	⁺4.80	TMO‑Non	⁺42.40	9.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR045+2`	⁺1.30	8.50	⁺7.00	⁺8.90	1.60	TMO‑Non	⁺267.70	149.00	⁺1.30	0.40	⁺0.80	36.20	TMO‑Non
`CSR045+4`	⁺188.20	TMO‑Non	TMO‑Non	TMO‑Non	113.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR048+4`	⁺280.70	3.40	⁺57.60	⁺6.30	186.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR052+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	216.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR060+2`	⁺0.20	29.20	⁺0.20	⁺30.50	1.60	TMO‑Non	⁺212.10	TMO‑Non	⁺34.30	29.70	GUP‑Non	TMO‑Non	TMO‑Non
`CSR061+2`	⁺22.00	35.30	⁺3.60	⁺36.60	11.40	TMO‑Non	⁺0.60	TMO‑Non	⁺32.40	2.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR063+2`	⁺0.10	9.00	⁺0.10	⁺9.60	0.70	TMO‑Non	⁺0.80	TMO‑Non	⁺1.40	14.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR063+3`	⁺2.10	22.80	⁺2.00	⁺24.00	TMO‑Non	TMO‑Non	⁺33.40	TMO‑Non	⁺36.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR064+4`	⁺189.00	35.10	⁺173.10	⁺38.50	113.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR069+3`	⁺1.50	0.40	⁺1.50	⁺1.00	0.90	4.00	⁺4.60	2.50	⁺29.80	8.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR070+2`	⁺0.10	3.50	⁺0.10	⁺3.90	0.70	TMO‑Non	⁺0.80	TMO‑Non	⁺1.90	18.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR070+3`	⁺81.60	122.30	⁺13.40	⁺123.50	100.40	TMO‑Non	⁺74.40	TMO‑Non	⁺43.50	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR074+3`	⁺5.00	91.20	⁺2.70	⁺93.20	101.30	TMO‑Non	⁺117.30	TMO‑Non	TMO‑Non	98.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR075+2`^*	⁺14.00	265.40	⁺212.00	⁺272.50	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR075+4`^*	⁺8.70	9.70	⁺28.50	⁺11.40	5.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	183.60	GUP‑Non	TMO‑Non	TMO‑Non
`CSR075+5`^*	⁺10.00	49.70	⁺205.20	⁺53.70	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR076+5`^*	TMO‑Non	104.10	TMO‑Non	⁺112.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR079+5`^*	TMO‑Non	97.10	TMO‑Non	⁺111.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR081+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR085+6`^*	⁺268.70	TMO‑Non	TMO‑Non	TMO‑Non	7.80	TMO‑Non	⁺28.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+2`^*	⁺14.10	252.70	⁺212.10	⁺259.50	145.80	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+4`^*	⁺8.70	9.50	⁺18.00	⁺11.10	5.90	TMO‑Non	⁺123.30	TMO‑Non	TMO‑Non	154.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+5`^*	⁺9.90	44.80	⁺21.90	⁺48.70	25.10	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	299.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR088+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`CSR089+1`^*	⁺9.80	51.40	⁺31.30	⁺54.70	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR090+2`^*	⁺14.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR090+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR091+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR091+4`^*	⁺100.80	220.60	TMO‑Non	⁺227.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR092+1`^*	⁺9.50	53.70	⁺24.60	⁺57.50	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR092+4`^*	TMO‑Non	24.80	⁺49.70	⁺29.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	217.10	GUP‑Non	TMO‑Non	TMO‑Non
`CSR098+4`^*	⁺0.40	0.40	⁺0.40	⁺0.90	TMO‑Non	3.80	⁺1.90	1.90	⁺7.20	5.10	GUP‑Non	TMO‑Non	TMO‑Non
`CSR098+5`^*	⁺1.60	0.90	⁺1.10	⁺1.80	TMO‑Non	7.40	⁺4.90	4.30	⁺23.20	25.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR099+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR101+1`^*	⁺9.70	52.00	⁺110.70	⁺55.80	5.70	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR101+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`CSR101+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	164.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR103+1`^*	⁺0.50	0.60	⁺0.50	⁺1.30	2.70	TMO‑Non	⁺2.60	UNK‑Non	⁺11.00	5.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR104+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR108+1`^*	⁺9.40	51.80	⁺266.90	⁺55.60	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR109+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`CSR109+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR114+24`^*	TMO‑Non	106.30	TMO‑Non	⁺107.70	7.10	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	30.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR114+30`^*	⁺98.10	101.60	TMO‑Non	⁺103.80	5.90	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	30.00	GUP‑Non	TMO‑Non	TMO‑Non
`CSR114+9`^*	TMO‑Non	109.40	TMO‑Non	⁺111.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	47.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+15`^*	⁺63.90	107.30	⁺4.90	⁺109.30	6.20	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	10.60	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+23`^*	⁺61.00	109.60	⁺1.90	⁺110.80	6.40	TMO‑Non	⁺1.50	UNK‑Non	TMO‑Non	10.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+41`^*	⁺60.70	108.40	⁺1.70	⁺110.30	6.20	TMO‑Non	⁺1.40	UNK‑Non	TMO‑Non	10.70	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+78`^*	⁺0.70	101.20	⁺0.60	⁺103.00	1.20	7.00	⁺0.90	UNK‑Non	TMO‑Non	3.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+87`^*	⁺69.60	108.30	⁺10.20	⁺110.20	6.40	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	10.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR116+13`^*	TMO‑Non	109.30	TMO‑Non	⁺111.90	3.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	34.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR116+23`^*	TMO‑Non	100.80	TMO‑Non	⁺103.20	164.90	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	30.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR116+29`^*	TMO‑Non	111.30	TMO‑Non	⁺112.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	31.30	GUP‑Non	TMO‑Non	TMO‑Non
`GEO085+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.10	⁺0.10	0.20	⁺0.20	0.20	⁺0.50	2.30	FTH‑Ass
`GEO087+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.60	TMO‑Non	⁺33.50	151.40	TMO‑Non	0.10	⁺0.50	1.60	FTH‑Ass
`GEO088+1`	⁺24.30	TMO‑Non	⁺90.70	TMO‑Non	2.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO093+1`	⁺16.00	0.10	⁺1.50	⁺0.30	1.30	TMO‑Non	⁺63.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GEO094+1`	⁺1.10	0.10	⁺0.00	⁺0.20	5.80	3.80	⁺161.10	TMO‑Non	TMO‑Non	0.10	⁺132.50	1.80	TMO‑Non
`GEO112+1`	⁺2.00	0.10	⁺3.10	⁺0.10	0.00	0.00	⁺0.10	TMO‑Non	TMO‑Non	9.00	⁺0.50	TMO‑Non	TMO‑Non
`GEO117+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.10	⁺29.90	0.80	⁺11.10	TMO‑Non	⁺8.90	TMO‑Non	GUP‑Non
`GEO118+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.50	0.10	⁺31.00	203.70	⁺75.70	TMO‑Non	⁺17.70	TMO‑Non	GUP‑Non
`GEO124+1`	⁺0.00	0.00	⁺0.10	⁺0.10	0.70	0.10	⁺91.90	TMO‑Non	TMO‑Non	TMO‑Non	⁺17.00	TMO‑Non	GUP‑Non
`GEO126+1`	⁺0.00	0.00	⁺0.00	⁺0.10	13.10	89.40	⁺100.10	4.50	⁺47.70	91.40	TMO‑Non	TMO‑Non	GUP‑Non
`GEO127+1`	⁺0.00	0.00	⁺0.00	⁺0.10	42.10	TMO‑Non	TMO‑Non	9.50	⁺240.30	TMO‑Non	TMO‑Non	9.50	GUP‑Non
`GEO146+1`	⁺0.00	0.10	⁺0.00	⁺0.20	0.60	0.10	⁺0.60	22.60	⁺5.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GEO148+1`	⁺0.50	0.00	⁺0.10	⁺0.10	0.20	0.20	⁺28.50	5.00	TMO‑Non	TMO‑Non	⁺3.70	TMO‑Non	GUP‑Non
`GEO168+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO169+1`	⁺36.00	5.80	⁺66.20	⁺7.80	0.80	198.60	TMO‑Non	TMO‑Non	TMO‑Non	0.40	TMO‑Non	16.80	GUP‑Non
`GEO169+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	257.00	TMO‑Non	TMO‑Non	TMO‑Non	134.20	GUP‑Non
`GEO170+3`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.20	0.00	⁺0.10	0.30	⁺59.00	TMO‑Non	⁺8.20	0.70	FTH‑Ass
`GEO172+3`^*	⁺0.00	0.20	⁺0.00	⁺0.40	0.40	0.90	⁺0.20	3.90	TMO‑Non	TMO‑Non	⁺34.30	1.00	FTH‑Ass
`GEO184+3`^*	⁺0.10	0.00	⁺0.10	⁺0.10	0.30	0.10	⁺0.10	0.30	TMO‑Non	TMO‑Non	⁺15.70	1.80	FTH‑Ass
`GEO186+3`^*	⁺1.20	0.20	⁺3.30	⁺0.50	0.20	0.10	⁺0.10	2.80	TMO‑Non	TMO‑Non	⁺33.80	1.80	FTH‑Ass
`GEO187+3`^*	⁺1.10	0.20	⁺3.20	⁺0.40	0.20	TMO‑Non	⁺15.40	31.30	⁺0.10	TMO‑Non	⁺44.40	2.10	FTH‑Ass
`GEO191+3`^*	⁺100.60	1.50	⁺6.80	⁺2.80	0.30	1.00	⁺4.50	0.40	⁺1.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO194+1`	⁺1.30	0.10	⁺6.30	⁺0.20	0.20	0.20	⁺0.90	0.20	TMO‑Non	TMO‑Non	TMO‑Non	0.40	FTH‑Ass
`GEO196+3`^*	⁺292.00	11.50	⁺213.90	⁺19.70	1.40	29.10	⁺57.10	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	3.90	FTH‑Ass
`GEO201+3`^*	⁺96.60	15.00	⁺5.10	⁺27.00	0.30	0.10	⁺0.20	0.40	TMO‑Non	TMO‑Non	GUP‑Non	2.10	FTH‑Ass
`GEO202+3`^*	⁺159.70	1.90	⁺21.20	⁺3.40	0.40	0.80	⁺0.20	0.40	⁺73.60	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`GEO203+3`^*	⁺98.90	124.10	⁺7.10	⁺195.10	0.30	0.10	⁺0.10	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO255+3`^*	⁺0.10	0.00	⁺0.10	⁺0.10	0.20	45.10	TMO‑Non	52.60	⁺63.50	TMO‑Non	⁺1.10	4.20	GUP‑Non
`GRA002+3`	⁺7.10	0.10	⁺56.40	⁺0.20	38.20	7.50	⁺45.20	5.40	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRA003+1`	⁺0.10	0.00	⁺56.30	⁺0.10	0.30	0.10	⁺2.40	0.20	⁺128.50	7.70	⁺1.30	3.30	GUP‑Non
`GRA004+1`	⁺0.40	0.00	⁺56.40	⁺0.10	5.00	0.10	TMO‑Non	8.00	TMO‑Non	16.00	GUP‑Non	8.80	FTH‑Ass
`GRA010+2`	⁺0.10	0.00	⁺0.00	⁺0.10	0.40	0.30	⁺0.70	0.20	TMO‑Non	TMO‑Non	⁺9.70	TMO‑Non	GUP‑Non
`GRA011+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	53.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP001+6`	⁺0.80	0.10	⁺0.80	⁺0.30	1.70	0.10	⁺6.40	51.70	TMO‑Non	0.00	⁺0.30	TMO‑Non	FTH‑Ass
`GRP012+5`	⁺0.00	0.00	⁺0.00	⁺0.10	1.30	1.50	TMO‑Non	TMO‑Non	TMO‑Non	0.00	⁺0.30	TMO‑Non	FTH‑Ass
`GRP194+1`	⁺0.20	0.00	⁺0.10	⁺0.10	TMO‑Non	115.30	TMO‑Non	1.10	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP642+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	296.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP642+4`	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP644+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	288.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP655+1`^*	TMO‑Non	53.40	⁺204.70	⁺103.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP655+3`^*	⁺299.70	20.30	⁺49.80	⁺39.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP682+1`^*	⁺0.10	0.00	⁺1.30	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺4.80	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP704+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	4.40	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP745+1`^*	TMO‑Non	266.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP746+1`^*	TMO‑Non	23.90	TMO‑Non	⁺49.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP747+1`^*	⁺70.00	0.10	⁺86.90	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP748+1`^*	⁺76.60	0.00	⁺51.70	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`HAL004+1`	⁺40.90	3.10	⁺62.10	⁺4.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`KLE061+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	TMO‑Non	4.80	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`KLE087+1`^*	TMO‑Non	27.10	TMO‑Non	⁺67.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`KLE102+1`^*	⁺213.40	37.10	⁺180.40	⁺68.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`KLE104+1`^*	TMO‑Non	16.70	⁺96.00	⁺41.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`KLE132+1`^*	⁺0.20	0.00	⁺45.80	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺12.30	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`KRS144+1`	⁺0.00	0.00	⁺56.30	⁺0.10	0.20	0.00	⁺0.10	0.10	⁺0.00	0.40	GUP‑Non	TMO‑Non	GUP‑Non
`KRS145+1`	⁺0.00	0.00	⁺8.70	⁺0.10	0.10	0.10	⁺0.10	0.20	⁺0.10	101.10	⁺173.00	TMO‑Non	GUP‑Non
`KRS159+1`	⁺0.10	0.60	⁺0.10	⁺0.80	0.40	12.30	⁺29.50	TMO‑Non	⁺8.10	5.80	GUP‑Non	23.80	TMO‑Non
`KRS180+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.90	⁺0.10	0.20	⁺0.10	0.10	⁺0.30	TMO‑Non	GUP‑Non
`KRS188+1`^*	⁺135.30	TMO‑Non	⁺87.60	TMO‑Non	0.70	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS193+1`^*	⁺0.10	3.20	⁺0.10	⁺5.10	0.00	TMO‑Non	⁺0.30	124.50	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS196+1`^*	⁺0.10	3.40	⁺0.10	⁺5.20	0.00	TMO‑Non	⁺0.40	94.10	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS202+1`^*	⁺0.50	0.40	⁺0.50	⁺0.80	0.10	3.40	⁺110.50	TMO‑Non	TMO‑Non	0.50	TMO‑Non	9.30	FTH‑Ass
`KRS216+1`^*	⁺0.00	52.00	⁺0.00	⁺67.80	2.50	TMO‑Non	⁺11.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS233+1`^*	⁺2.00	TMO‑Non	⁺44.80	TMO‑Non	1.40	TMO‑Non	⁺28.90	TMO‑Non	⁺38.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS251+1`^*	⁺287.80	TMO‑Non	TMO‑Non	TMO‑Non	226.50	TMO‑Non	⁺27.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS254+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺0.40	0.90	TMO‑Non	0.10	⁺11.20	TMO‑Non	FTH‑Ass
`KRS256+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS265+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.40	264.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS267+1`^*	⁺0.00	60.00	⁺0.00	⁺79.80	0.80	TMO‑Non	⁺0.40	14.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS268+1`^*	⁺0.00	23.20	⁺0.00	⁺30.50	2.80	TMO‑Non	⁺4.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT297+2`	TMO‑Non	TMO‑Non	⁺266.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LAT304+1`	⁺2.20	1.20	⁺11.40	⁺1.80	19.40	59.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`LAT331+1`	⁺15.50	1.40	⁺236.90	⁺2.00	TMO‑Non	51.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`LCL414+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.10	0.00	⁺0.00	0.00	⁺0.30	TMO‑Non	FTH‑Ass
`LCL465+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.30	⁺0.10	0.20	⁺0.00	TMO‑Non	⁺0.30	GUP‑Non	FTH‑Ass
`LCL473+1`	⁺266.40	17.30	⁺18.80	⁺23.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL482+1`	⁺300.00	TMO‑Non	⁺80.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL531+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺0.30	TMO‑Non	⁺16.20	TMO‑Non	GUP‑Non	GUP‑Non	FTH‑Ass
`LCL541+1`^*	⁺57.40	7.70	⁺12.00	⁺14.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	FTH‑Ass
`LCL557+1`	TMO‑Non	17.50	⁺17.30	⁺31.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL558+1`	⁺291.90	12.70	⁺21.40	⁺23.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL573+1`	⁺44.40	5.20	⁺3.90	⁺9.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL646+1.010`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL652+1.001`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	43.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	59.40	GUP‑Non	TMO‑Non	TMO‑Non
`LCL652+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL658+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL662+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL668+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	180.10	TMO‑Non
`LCL672+1.005`^*	⁺5.30	TMO‑Non	⁺52.30	TMO‑Non	6.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL672+1.010`^*	TMO‑Non	TMO‑Non	⁺76.80	TMO‑Non	46.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL674+1.010`^*	⁺18.00	0.10	⁺17.50	⁺0.20	1.50	3.10	TMO‑Non	TMO‑Non	⁺0.40	1.40	⁺0.40	TMO‑Non	GUP‑Non
`LCL682+1.005`^*	⁺32.70	TMO‑Non	⁺57.00	TMO‑Non	5.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL686+1.020`^*	⁺0.00	0.10	⁺0.00	⁺0.20	0.30	1.90	⁺6.30	38.90	⁺16.50	1.90	GUP‑Non	GUP‑Non	GUP‑Non
`MED005+1`	⁺18.40	0.40	⁺1.20	⁺0.60	0.20	62.00	TMO‑Non	228.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`MED008+1`	⁺29.00	1.10	⁺8.90	⁺1.70	0.20	1.10	⁺61.70	0.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`MED009+1`	⁺109.70	19.20	⁺11.40	⁺26.90	0.20	172.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT025+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.10	TMO‑Non	0.20	⁺0.10	0.10	TMO‑Non	TMO‑Non	FTH‑Ass
`MGT042+1`	⁺8.30	TMO‑Non	⁺29.70	TMO‑Non	1.50	21.00	TMO‑Non	3.10	⁺6.90	1.20	TMO‑Non	TMO‑Non	TMO‑Non
`MGT061+1`	⁺0.00	0.00	⁺0.10	⁺0.10	4.30	0.10	TMO‑Non	28.60	⁺4.70	TMO‑Non	⁺45.00	TMO‑Non	FTH‑Ass
`MGT064+1`	⁺0.10	6.10	⁺0.30	⁺9.10	4.90	0.60	TMO‑Non	TMO‑Non	⁺47.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC010+1`	⁺3.70	0.50	⁺45.90	⁺0.70	34.90	1.10	⁺40.10	2.00	⁺3.30	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`NLP143+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.70	0.40	TMO‑Non	1.70	⁺0.10	0.10	⁺1.90	TMO‑Non	FTH‑Ass
`NLP149+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.70	0.40	TMO‑Non	1.70	⁺0.10	0.10	⁺1.80	TMO‑Non	FTH‑Ass
`NUM301+1`	⁺0.20	221.70	⁺0.00	⁺224.10	11.50	TMO‑Non	⁺1.10	UNK‑Non	⁺42.30	0.30	⁺34.90	TMO‑Non	FTH‑Ass
`NUM328+1`	⁺6.20	TMO‑Non	⁺13.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺187.40	TMO‑Non	⁺0.50	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`NUM466+1`^*	UNK‑Non	7.60	UNK‑Non	⁺15.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`NUM496+3`^*	UNK‑Non	0.90	UNK‑Non	⁺2.40	7.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`NUM505+3`^*	UNK‑Non	0.20	UNK‑Non	⁺0.40	0.10	0.10	⁺28.50	4.70	TMO‑Non	2.00	GUP‑Non	6.70	GUP‑Non
`NUM581+3`^*	UNK‑Non	9.10	UNK‑Non	⁺11.40	TMO‑Non	3.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`PRO002+3`^*	⁺42.60	23.30	⁺247.50	⁺27.00	TMO‑Non	97.60	TMO‑Non	TMO‑Non	TMO‑Non	66.10	GUP‑Non	TMO‑Non	TMO‑Non
`PRO014+3`^*	⁺36.40	TMO‑Non	⁺64.10	TMO‑Non	8.40	2.90	TMO‑Non	TMO‑Non	TMO‑Non	0.60	GUP‑Non	TMO‑Non	TMO‑Non
`PRO016+3`^*	⁺21.50	TMO‑Non	⁺53.40	TMO‑Non	40.50	229.30	TMO‑Non	TMO‑Non	TMO‑Non	24.30	GUP‑Non	TMO‑Non	TMO‑Non
`PRO018+3`^*	⁺29.10	TMO‑Non	⁺25.00	TMO‑Non	TMO‑Non	25.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`PRO018+4`^*	⁺22.10	TMO‑Non	⁺11.20	TMO‑Non	TMO‑Non	3.50	TMO‑Non	TMO‑Non	TMO‑Non	43.30	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ034+2`^*	⁺18.00	TMO‑Non	⁺46.40	TMO‑Non	58.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺78.90	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`PUZ074+1`	⁺20.90	14.20	TMO‑Non	⁺15.20	TMO‑Non	TMO‑Non	⁺35.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`PUZ128+2`^*	⁺0.00	0.00	GUP‑Non	⁺0.10	10.00	0.00	TMO‑Non	TMO‑Non	⁺0.00	0.20	⁺0.30	GUP‑Non	FTH‑Ass
`REL005+1`^*	⁺146.80	0.50	⁺31.60	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`REL021+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`REL021+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`REL025+1`^*	TMO‑Non	0.60	⁺295.00	⁺1.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺112.40	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SET013+4`	⁺0.00	0.80	⁺1.40	⁺1.40	2.70	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SET076+1`	⁺0.00	0.70	⁺85.80	⁺1.20	34.30	0.80	TMO‑Non	7.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET096+1`	⁺0.10	0.40	⁺75.70	⁺0.60	213.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET117+1`	⁺0.00	0.00	⁺0.00	⁺0.10	4.70	0.20	⁺254.10	6.30	⁺0.10	0.40	⁺0.40	TMO‑Non	GUP‑Non
`SET122+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET200+3`	⁺0.20	0.00	⁺0.00	⁺0.10	0.40	0.00	⁺0.10	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET796+4`^*	⁺21.00	24.80	⁺171.70	⁺30.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET936+1`^*	⁺9.00	TMO‑Non	⁺133.70	TMO‑Non	TMO‑Non	TMO‑Non	⁺28.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET955+1`^*	⁺0.10	0.00	⁺0.60	⁺0.10	TMO‑Non	TMO‑Non	⁺5.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU007+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU049+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	11.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU142+2`	⁺150.10	0.00	⁺61.30	⁺0.10	TMO‑Non	36.50	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SEU147+3`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.60	TMO‑Non	⁺0.10	5.30	⁺0.00	0.80	⁺0.50	3.80	FTH‑Ass
`SEU263+1`	⁺0.10	0.10	⁺0.10	⁺0.30	1.50	7.20	⁺0.10	TMO‑Non	TMO‑Non	0.10	⁺0.30	3.00	TMO‑Non
`SEU350+2`	TMO‑Non	10.50	TMO‑Non	⁺13.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SEU364+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU418+2`	TMO‑Non	112.10	TMO‑Non	⁺123.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SEU420+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SEU437+1`	⁺26.70	TMO‑Non	⁺203.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWC351+1`	⁺0.00	0.10	⁺0.00	⁺0.20	1.10	0.20	TMO‑Non	3.20	TMO‑Non	0.20	⁺1.10	TMO‑Non	FTH‑Ass
`SWC402+1`	⁺3.10	2.10	⁺64.50	⁺3.10	TMO‑Non	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV014+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺212.10	46.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SWV042+1`	⁺1.10	TMO‑Non	⁺45.20	TMO‑Non	TMO‑Non	53.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV048+1`	⁺0.80	0.20	⁺0.30	⁺0.40	TMO‑Non	38.90	TMO‑Non	1.60	⁺1.90	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV067+1`	⁺0.00	0.20	⁺0.10	⁺0.50	0.20	0.30	⁺0.20	2.10	⁺4.80	TMO‑Non	⁺29.30	TMO‑Non	GUP‑Non
`SWV162+1`	⁺1.20	0.10	⁺75.00	⁺0.30	37.70	1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV171+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	0.10	⁺0.20	1.30	⁺140.10	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV188+1`	⁺1.20	0.20	⁺0.00	⁺0.50	0.10	0.40	⁺54.20	8.60	⁺71.70	TMO‑Non	⁺12.30	TMO‑Non	GUP‑Non
`SWV202+1`	⁺1.20	0.90	⁺12.40	⁺1.90	0.90	6.90	⁺142.30	66.70	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV233+1`	⁺0.00	0.10	⁺70.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV234+2`	⁺3.30	0.00	⁺1.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SWV235+1`	⁺0.60	0.10	⁺4.90	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	36.70	TMO‑Non	TMO‑Non	⁺26.50	TMO‑Non	FTH‑Ass
`SWV237+1`	⁺0.90	0.00	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	⁺27.30	5.50	TMO‑Non	TMO‑Non	⁺0.80	TMO‑Non	FTH‑Ass
`SWV377+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.00	⁺237.80	TMO‑Non	⁺0.30	5.20	⁺0.30	GUP‑Non	FTH‑Ass
`SWV390+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.10	⁺228.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	FTH‑Ass
`SWV437+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺2.70	10.30	TMO‑Non	0.30	⁺0.30	2.40	FTH‑Ass
`SWV450+1`^*	⁺86.80	122.20	TMO‑Non	⁺207.40	TMO‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV452+1`^*	⁺55.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV453+1`^*	⁺55.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV454+1`^*	⁺10.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV455+1`^*	⁺10.80	TMO‑Non	⁺74.70	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV456+1`^*	⁺57.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	⁺231.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV457+1`^*	⁺9.10	1.40	⁺5.00	⁺2.40	TMO‑Non	3.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV458+1`^*	⁺193.40	TMO‑Non	⁺170.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV460+1`^*	⁺0.80	TMO‑Non	⁺71.40	TMO‑Non	TMO‑Non	17.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV461+1`^*	⁺56.00	0.30	TMO‑Non	⁺0.40	26.00	3.80	⁺2.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV462+1`^*	⁺172.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	9.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV464+1`^*	⁺14.90	0.20	⁺110.60	⁺0.40	25.90	79.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV465+1`^*	⁺200.20	10.40	TMO‑Non	⁺18.80	TMO‑Non	6.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV466+1`^*	⁺14.90	7.60	⁺160.30	⁺13.80	TMO‑Non	51.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV467+1`^*	⁺49.50	TMO‑Non	⁺8.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV468+1`^*	⁺9.00	TMO‑Non	⁺150.70	TMO‑Non	TMO‑Non	70.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV469+1`^*	⁺14.80	2.10	⁺60.70	⁺4.20	TMO‑Non	43.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV470+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	8.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV472+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	13.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV475+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV476+1`^*	⁺51.70	TMO‑Non	⁺168.00	TMO‑Non	131.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV477+1`^*	⁺51.70	TMO‑Non	⁺67.00	TMO‑Non	33.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV478+1`^*	⁺15.10	TMO‑Non	TMO‑Non	TMO‑Non	263.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV480+1`^*	⁺51.50	TMO‑Non	⁺66.80	TMO‑Non	34.70	275.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV481+1`^*	⁺59.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV486+1`^*	⁺14.70	0.20	⁺62.90	⁺0.40	35.50	50.30	TMO‑Non	7.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV486+2`^*	⁺15.40	0.30	⁺63.30	⁺0.50	29.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV486+3`^*	⁺14.80	0.20	⁺64.30	⁺0.50	28.70	1.00	⁺67.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV487+1`^*	⁺14.60	0.20	⁺63.80	⁺0.40	2.50	0.60	⁺161.30	8.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV487+3`^*	⁺14.80	0.20	⁺63.20	⁺0.50	32.60	TMO‑Non	⁺60.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV489+3`^*	⁺154.70	0.60	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	⁺72.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV490+3`^*	⁺51.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV491+3`^*	⁺51.50	29.40	TMO‑Non	⁺54.00	34.10	TMO‑Non	⁺113.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV491+4`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV492+1`^*	⁺56.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN067+1`	⁺0.00	24.80	⁺0.00	⁺34.90	0.40	34.90	⁺0.10	37.40	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN074+1`	⁺1.10	0.00	⁺0.00	⁺0.10	1.30	0.00	⁺0.10	TMO‑Non	⁺0.00	0.20	⁺1.30	0.70	FTH‑Ass
`SYN075+1`	⁺1.20	0.00	⁺0.00	⁺0.10	25.40	0.00	⁺0.10	TMO‑Non	⁺0.00	0.20	⁺1.20	1.40	FTH‑Ass
`SYN077+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	1.20	TMO‑Non	TMO‑Non	⁺46.60	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SYN332+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺32.80	0.10	⁺0.00	1.60	⁺0.80	16.70	FTH‑Ass
`SYN353+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	TMO‑Non	0.10	⁺282.60	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SYN386+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.10	0.00	⁺0.00	0.00	⁺0.20	TMO‑Non	GUP‑Non
`SYN452+1`	⁺1.70	37.10	⁺1.70	⁺46.80	0.20	276.40	TMO‑Non	10.50	TMO‑Non	TMO‑Non	TMO‑Non	59.40	TMO‑Non
`SYN470+1`	⁺1.70	194.30	⁺3.50	⁺237.70	0.20	TMO‑Non	TMO‑Non	83.40	TMO‑Non	TMO‑Non	TMO‑Non	91.30	TMO‑Non
`SYN471+1`	⁺0.50	4.30	⁺0.50	⁺5.70	0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	164.60	TMO‑Non
`SYN473+1`	⁺1.90	85.10	⁺6.80	⁺106.30	0.20	TMO‑Non	TMO‑Non	13.20	TMO‑Non	TMO‑Non	TMO‑Non	120.20	TMO‑Non
`SYN474+1`	⁺1.80	26.40	⁺1.70	⁺33.00	0.20	TMO‑Non	TMO‑Non	18.60	TMO‑Non	TMO‑Non	TMO‑Non	112.30	TMO‑Non
`SYN475+1`	⁺0.30	42.10	⁺0.30	⁺55.00	0.20	TMO‑Non	TMO‑Non	11.80	TMO‑Non	TMO‑Non	TMO‑Non	77.50	TMO‑Non
`SYN480+1`	⁺1.00	21.60	⁺1.00	⁺27.30	0.30	TMO‑Non	TMO‑Non	5.60	TMO‑Non	TMO‑Non	TMO‑Non	62.80	TMO‑Non
`SYN482+1`	⁺1.80	25.00	⁺3.50	⁺31.00	0.30	TMO‑Non	TMO‑Non	29.20	TMO‑Non	101.00	TMO‑Non	83.40	TMO‑Non
`SYN489+1`	⁺0.60	66.50	⁺0.70	⁺84.70	0.30	TMO‑Non	TMO‑Non	25.50	TMO‑Non	TMO‑Non	TMO‑Non	94.30	TMO‑Non
`SYN503+1`	⁺0.90	38.70	⁺0.90	⁺47.90	0.30	235.80	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN548+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	26.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	5.80	⁺66.70	TMO‑Non	GUP‑Non
`SYN550+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.60	63.60	⁺1.20	TMO‑Non	⁺0.00	0.10	TMO‑Non	TMO‑Non	GUP‑Non
`SYN917+1`	⁺0.00	0.10	⁺0.00	⁺0.30	0.20	1.30	⁺0.20	3.60	⁺0.40	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SYN938+1`	⁺0.00	0.30	⁺0.00	⁺0.50	0.70	TMO‑Non	⁺29.70	TMO‑Non	⁺1.80	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN986+1.002`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.00	⁺0.10	0.00	⁺0.00	0.00	⁺0.20	0.30	FTH‑Ass
`SYN986+1.003`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	15.90	⁺0.10	0.10	⁺0.00	0.00	⁺0.20	1.50	FTH‑Ass
`SYN986+1.004`^*	GUP‑Non	9.50	TMO‑Non	⁺10.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`TOP024+2`	TMO‑Non	86.10	TMO‑Non	⁺97.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`TOP024+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`TOP026+2`	TMO‑Non	78.90	TMO‑Non	⁺90.20	14.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`TOP028+4`	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
Attempted	300	300	300	300	300	300	300	300	300	300	300	300	300
Solved	233	219	219	218	174	119	113	88	84	81	58	40	0
Av. Time	33.00	23.89	35.06	26.83	24.79	24.08	37.02	26.58	24.73	21.96	12.90	33.83	-
Solutions	233	0	219	217	0	0	113	0	84	0	58	0	0
μEfficiency	23.54	30.56	20.82	27.08	23.40	16.48	10.18	11.04	11.32	12.30	14.99	3.94	-
SOTAC	0.20	0.18	0.18	0.17	0.18	0.18	0.13	0.12	0.12	0.14	0.12	0.14	-
New Attempted	150	150	150	150	150	150	150	150	150	150	150	150	150
New Solved	105	94	90	93	70	50	46	27	25	34	18	15	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for FNT

FNT	Paradox 3.0	iProver-SAT 0.7	E 1.1pre	EP 1.1pre	E-KRHyper 1.1.3	Metis 2.2	OSHL-S 0.6	Infinox 1.0
`CSR111+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	30.10	⁺55.00	TMO‑Non	TMO‑Non
`GEG001+1`^*	TMO‑Non	TMO‑Non	3.30	⁺3.50	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`GEO206+3`^*	⁺0.10	GUP‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO211+3`^*	⁺0.00	60.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO212+3`^*	⁺0.10	61.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO213+3`^*	⁺0.00	61.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO214+3`^*	⁺0.00	60.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO215+3`^*	⁺0.00	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO224+1`	⁺0.00	62.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO228+3`^*	⁺0.10	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO229+3`^*	⁺0.10	60.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO230+3`^*	⁺0.10	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO254+3`^*	⁺0.10	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO259+3`^*	⁺0.10	61.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO260+3`^*	⁺0.10	62.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA018+1`	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRA026+1`	⁺149.60	25.10	TMO‑Non	TMO‑Non	9.60	TMO‑Non	TMO‑Non	GUP‑Non
`GRP733+1`^*	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HAL003+1`	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HAL005+1`	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS034+1`	⁺0.20	125.00	2.30	⁺3.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS040+1`	⁺0.00	2.60	1.70	⁺3.10	254.70	TMO‑Non	58.50	GUP‑Non
`KRS043+1`	⁺0.10	60.90	0.00	⁺0.10	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`KRS049+1`	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS051+1`	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS173+1`	⁺0.00	0.00	0.00	⁺0.10	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LAT383+1`^*	⁺0.10	64.40	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT384+1`^*	⁺0.10	64.30	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT385+1`^*	⁺0.10	65.00	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT386+1`^*	⁺0.10	65.90	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT387+1`^*	⁺0.10	65.30	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LCL354+1`	⁺0.00	75.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL647+1.005`^*	⁺0.80	40.00	TMO‑Non	TMO‑Non	195.00	TMO‑Non	TMO‑Non	TMO‑Non
`LCL653+1.010`^*	⁺4.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL653+1.020`^*	⁺37.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL655+1.005`^*	⁺0.30	64.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL655+1.010`^*	⁺1.00	261.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL659+1.001`^*	⁺0.10	25.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL669+1.005`^*	⁺1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL671+1.015`^*	⁺25.30	63.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL677+1.010`^*	⁺0.30	37.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL677+1.020`^*	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL681+1.005`^*	⁺0.10	63.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL685+1.010`^*	⁺1.80	15.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL687+1.010`^*	⁺1.40	63.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL687+1.015`^*	⁺5.40	64.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL687+1.020`^*	⁺15.30	65.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL689+1.005`^*	⁺1.50	70.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT033+1`	⁺0.00	3.50	0.00	⁺0.10	0.10	⁺0.10	TMO‑Non	GUP‑Non
`MGT033+2`	⁺0.00	64.90	0.90	⁺1.40	0.10	⁺0.90	TMO‑Non	TMO‑Non
`MGT038+2`	⁺0.10	64.50	TMO‑Non	TMO‑Non	0.30	TMO‑Non	TMO‑Non	TMO‑Non
`MGT066+1`	⁺0.00	0.30	TMO‑Non	TMO‑Non	0.00	TMO‑Non	0.30	GUP‑Non
`MSC014+1`	TMO‑Non	0.00	0.00	⁺0.10	0.00	⁺0.40	0.30	TMO‑Non
`MSC016+1`	⁺11.50	1.80	0.00	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC018+1`^*	⁺189.80	0.40	1.90	⁺2.00	0.10	⁺1.90	4.40	TMO‑Non
`NLP032+1`	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP211+1`	⁺0.30	TMO‑Non	0.10	⁺0.20	10.30	⁺1.70	TMO‑Non	TMO‑Non
`NLP212+1`	⁺0.30	TMO‑Non	0.10	⁺0.20	10.40	⁺1.70	TMO‑Non	TMO‑Non
`NLP213+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.70	TMO‑Non	TMO‑Non
`NLP214+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.80	TMO‑Non	TMO‑Non
`NLP215+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.60	TMO‑Non	TMO‑Non
`NLP216+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.20	⁺1.50	TMO‑Non	TMO‑Non
`NLP217+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.20	⁺1.50	TMO‑Non	TMO‑Non
`NLP219+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.70	TMO‑Non	TMO‑Non
`NUM445+5`^*	⁺0.20	64.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`PRO007+1`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO007+2`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO007+3`^*	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO007+4`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO008+2`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+1`^*	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+2`^*	⁺0.20	90.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+3`^*	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+4`^*	⁺0.20	178.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV016+1`	⁺0.10	2.70	0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV018+1`	⁺0.10	2.50	0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV238+1`	TMO‑Non	TMO‑Non	121.10	⁺131.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV439+1`^*	⁺0.20	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV440+1`^*	⁺0.20	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV482+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺7.10	TMO‑Non	TMO‑Non
`SWV483+1`^*	TMO‑Non