v1
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v2
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v3
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v4
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 30: 23, 24
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v5
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
tcas.int_alt_sep_test()
 22: 15, 17
 49: 34, 35
 50: 35, 41
tcas.boolean_Non_Crossing_Biased_Descend()
 19: 14, 15
 20: 15, 17
v6
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v7
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v8
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v9
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 13: 10, 11
 14: 11, 12
 15: 12, 13
 16: 13, 18
 17: 13, 14
 18: 14, 15
 19: 15, 16
 20: 16, 18
 21: 16, 17
 23: 18, 19
 29: 23, 28
 41: 11, 35
 42: 14, 36
tcas.int_alt_sep_test()
 24: 16, 18
 35: 23, 24
 36: 24, 26
 45: 31, 32
 46: 32, 34
 49: 34, 35
 50: 35, 37
 51: 35, 36
 52: 36, 42
 54: 37, 38
 55: 38, 42
 57: 39, 40
 58: 40, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
 26: 20, 21
 27: 21, 22
 28: 22, 23
 29: 23, 28
 30: 23, 24
 31: 24, 25
 32: 25, 26
 33: 26, 28
 34: 26, 27
 36: 28, 29
 43: 21, 37
v10
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v11
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 52: 36, 37
 53: 37, 41
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v12
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 19: 14, 15
 20: 15, 17
v13
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v14
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v15
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
tcas.int_alt_sep_test()
 22: 15, 17
 49: 34, 35
 50: 35, 41
tcas.boolean_Non_Crossing_Biased_Descend()
 19: 14, 15
 20: 15, 17
v16
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v17
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v18
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v19
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v20
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 13: 10, 11
 14: 11, 12
 15: 12, 13
 16: 13, 18
 17: 13, 14
 18: 14, 15
 19: 15, 16
 20: 16, 18
 21: 16, 17
 23: 18, 19
 29: 23, 28
 41: 11, 35
 42: 14, 36
tcas.int_alt_sep_test()
 24: 16, 18
 35: 23, 24
 36: 24, 26
 45: 31, 32
 46: 32, 34
 49: 34, 35
 50: 35, 37
 51: 35, 36
 52: 36, 42
 54: 37, 38
 55: 38, 42
 57: 39, 40
 58: 40, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
 26: 20, 21
 27: 21, 22
 28: 22, 23
 29: 23, 28
 30: 23, 24
 31: 24, 25
 32: 25, 26
 33: 26, 28
 34: 26, 27
 36: 28, 29
 43: 21, 37
v21
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 13: 10, 11
 14: 11, 12
 15: 12, 13
 16: 13, 18
 17: 13, 14
 18: 14, 15
 19: 15, 16
 20: 16, 18
 21: 16, 17
 23: 18, 19
 29: 23, 28
 41: 11, 35
 42: 14, 36
tcas.int_alt_sep_test()
 24: 16, 18
 35: 23, 24
 36: 24, 26
 45: 31, 32
 46: 32, 34
 49: 34, 35
 50: 35, 37
 51: 35, 36
 52: 36, 42
 54: 37, 38
 55: 38, 42
 57: 39, 40
 58: 40, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 12: 9, 14
 24: 18, 19
 25: 19, 20
 26: 20, 21
 27: 21, 26
 28: 21, 22
 29: 22, 23
 30: 23, 24
 31: 24, 26
 32: 24, 25
 34: 26, 27
 40: 19, 34
v22
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 12: 9, 14
v23
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 13: 10, 11
 14: 11, 12
 15: 12, 13
 16: 13, 18
 17: 13, 14
 18: 14, 15
 19: 15, 16
 20: 16, 18
 21: 16, 17
 23: 18, 19
 29: 23, 28
 41: 11, 35
 42: 14, 36
tcas.int_alt_sep_test()
 24: 16, 18
 35: 23, 24
 36: 24, 26
 45: 31, 32
 46: 32, 34
 49: 34, 35
 50: 35, 37
 51: 35, 36
 52: 36, 42
 54: 37, 38
 55: 38, 42
 57: 39, 40
 58: 40, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 12: 9, 14
 24: 18, 19
 25: 19, 20
 26: 20, 21
 27: 21, 26
 28: 21, 22
 29: 22, 23
 30: 23, 24
 31: 24, 26
 32: 24, 25
 34: 26, 27
 40: 19, 34
v24
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 12: 9, 14
v25
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v26
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 22: 15, 17
 49: 34, 35
 50: 35, 41
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v27
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
tcas.int_alt_sep_test()
 22: 15, 17
 49: 34, 35
 50: 35, 41
tcas.boolean_Non_Crossing_Biased_Descend()
 19: 14, 15
 20: 15, 17
v28
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v29
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v30
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v31
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 49: 33, 34
 50: 34, 36
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v32
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 43: 29, 30
 44: 30, 36
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v33
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v34
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
v35
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v36
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v37
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v38
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v39
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 29: 23, 28
tcas.int_alt_sep_test()
 24: 16, 18
 51: 35, 36
 52: 36, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v40
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 25: 20, 25
tcas.int_alt_sep_test()
 24: 16, 18
 49: 33, 34
 50: 34, 36
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
v41
test_tcas.public_void_<init>()
 1: 1, 2
 2: 2, 3
tcas.boolean_Non_Crossing_Biased_Climb()
 16: 13, 18
 25: 20, 25
tcas.int_alt_sep_test()
 24: 16, 18
 45: 31, 32
 46: 32, 34
 51: 35, 36
 52: 36, 42
 57: 39, 40
 58: 40, 42
tcas.boolean_Non_Crossing_Biased_Descend()
 14: 11, 16
 29: 23, 28
