diff --git a/Makefile b/Makefile
index 84ccd11a7c0080d78e3f2e8f6c6426ac463e6bdb..d1b71a1c8bc779a3ab4f85fd450246016026acb1 100644
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,6 @@ gen_version:
 
 ci:
 	git commit -a -F log
-	make gen_version
 
 
 lci:
diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 2d44aa9b21b94d5321e47f8b1391650fa0b74666..f284f5340c3c4896bf3f7c3465b2f897576d839f 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -1,7 +1,18 @@
+V1.47 (25/03/2010)
+
+* Lurette now accepts oracle that have more than one output. Only the
+  first one should be a boolean, and is the one taken into account in
+  order to decide if the test fails or not. All the outputs of the
+  oracle are printed in the rif file after the #ORACLE_OUTPUT pragma.
+  That can be very convenient to track why the oracle failed.
+
+
 V1.47 (19/03/2010)
 
-* Correction d'un bug (dans caml en fait) qui apparaissait quand certains
-"Floating-point environment flags" (cf fenv.h) étaient postionnés à vrai.
+* Turn around a bug in ocaml (cf
+  http://caml.inria.fr/mantis/view.php?id=4932) that is triggered
+  when some Floating-point environment flags (cf fenv.h) are set on.
+
 
 V1.46 (22/09/2009)
 
diff --git a/VERSION b/VERSION
index bdf756c31a8dfb8dcafa30af2fa40a2aeae383be..c0673e81c9662261f318719adb210f4ae8b35dbe 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-VERSION_DATE=19-03-10
-VERSION=47
+VERSION_DATE=25-03-10
+VERSION=48
 export VERSION
 export VERSION_DATE
diff --git a/examples/xlurette/fault-tolerant-heater/test.rif.exp b/examples/xlurette/fault-tolerant-heater/test.rif.exp
index 46b535032796f8b4684db3ef58ae2430538eca57..5405db954986e2a79257316b8ef258473a4bbfd7 100644
--- a/examples/xlurette/fault-tolerant-heater/test.rif.exp
+++ b/examples/xlurette/fault-tolerant-heater/test.rif.exp
@@ -15,1503 +15,2003 @@
 "degradable_sensors__eps2":real
 "degradable_sensors__eps3":real
 @#
+#oracle_outputs T  
 #step 1
 7.00 7.00 7.00 7.00 #outs T 
 #locs 0 0.05 -0.07 0.08 0.08 
+#oracle_outputs T  
 #step 2
 7.01 7.00 6.92 6.93 #outs T 
 #locs 1 0.01 -0.01 -0.09 -0.08 
+#oracle_outputs T  
 #step 3
 7.13 7.11 7.08 7.18 #outs T 
 #locs 2 0.12 -0.02 -0.05 0.05 
+#oracle_outputs T  
 #step 4
 7.25 7.26 7.27 7.23 #outs T 
 #locs 3 0.12 0.01 0.02 -0.02 
+#oracle_outputs T  
 #step 5
 7.44 7.41 7.52 7.53 #outs T 
 #locs 4 0.19 -0.03 0.09 0.09 
+#oracle_outputs T  
 #step 6
 7.56 7.64 7.53 7.58 #outs T 
 #locs 5 0.12 0.08 -0.03 0.03 
+#oracle_outputs T  
 #step 7
 7.63 7.71 7.68 7.68 #outs T 
 #locs 6 0.07 0.08 0.05 0.05 
+#oracle_outputs T  
 #step 8
 7.65 7.67 7.55 7.55 #outs T 
 #locs 7 0.02 0.02 -0.09 -0.10 
+#oracle_outputs T  
 #step 9
 7.65 7.56 7.69 7.75 #outs T 
 #locs 8 0.01 -0.09 0.03 0.10 
+#oracle_outputs T  
 #step 10
 7.84 7.76 7.76 7.88 #outs T 
 #locs 9 0.19 -0.09 -0.09 0.03 
+#oracle_outputs T  
 #step 11
 7.86 7.92 7.77 7.95 #outs T 
 #locs 10 0.02 0.06 -0.09 0.09 
+#oracle_outputs T  
 #step 12
 7.99 7.96 7.96 8.04 #outs T 
 #locs 11 0.13 -0.03 -0.03 0.05 
+#oracle_outputs T  
 #step 13
 8.03 8.10 7.95 8.09 #outs T 
 #locs 12 0.04 0.07 -0.08 0.06 
+#oracle_outputs T  
 #step 14
 8.16 8.16 8.20 8.08 #outs T 
 #locs 13 0.13 -0.00 0.04 -0.09 
+#oracle_outputs T  
 #step 15
 8.19 8.10 8.26 8.28 #outs T 
 #locs 14 0.03 -0.09 0.06 0.09 
+#oracle_outputs T  
 #step 16
 8.29 8.33 8.23 8.26 #outs T 
 #locs 15 0.09 0.04 -0.05 -0.03 
+#oracle_outputs T  
 #step 17
 8.36 8.36 8.43 8.38 #outs T 
 #locs 16 0.07 -0.00 0.07 0.02 
+#oracle_outputs T  
 #step 18
 8.46 8.39 8.52 8.54 #outs T 
 #locs 17 0.10 -0.07 0.06 0.08 
+#oracle_outputs T  
 #step 19
 8.59 8.69 8.67 8.54 #outs T 
 #locs 18 0.13 0.09 0.08 0.01 
+#oracle_outputs T  
 #step 20
 8.61 8.61 8.61 8.54 #outs T 
 #locs 19 0.01 0.01 0.00 0.00 
+#oracle_outputs T  
 #step 21
 8.61 8.51 8.71 8.54 #outs T 
 #locs 20 0.01 -0.10 0.10 -0.03 
+#oracle_outputs T  
 #step 22
 8.70 8.76 8.72 8.54 #outs T 
 #locs 21 0.09 0.05 0.02 -0.05 
+#oracle_outputs T  
 #step 23
 8.79 8.77 8.84 8.54 #outs T 
 #locs 22 0.09 -0.02 0.05 -0.08 
+#oracle_outputs T  
 #step 24
 8.93 8.96 8.93 8.54 #outs T 
 #locs 23 0.14 0.03 -0.00 -0.08 
+#oracle_outputs T  
 #step 25
 9.12 9.03 9.13 8.54 #outs F 
 #locs 24 0.19 -0.09 0.00 0.08 
+#oracle_outputs T  
 #step 26
 8.94 8.87 8.88 8.54 #outs F 
 #locs 25 0.18 -0.08 -0.07 0.07 
+#oracle_outputs T  
 #step 27
 8.85 8.83 8.76 8.54 #outs F 
 #locs 26 0.10 -0.02 -0.09 -0.08 
+#oracle_outputs T  
 #step 28
 8.69 8.67 8.60 8.54 #outs F 
 #locs 27 0.15 -0.02 -0.10 0.05 
+#oracle_outputs T  
 #step 29
 8.50 8.42 8.56 8.54 #outs F 
 #locs 28 0.19 -0.08 0.06 -0.02 
+#oracle_outputs T  
 #step 30
 8.47 8.37 8.54 8.54 #outs F 
 #locs 29 0.04 -0.09 0.07 0.06 
+#oracle_outputs T  
 #step 31
 8.29 8.37 8.24 8.54 #outs F 
 #locs 30 0.17 0.08 -0.05 0.03 
+#oracle_outputs T  
 #step 32
 8.20 8.17 8.18 8.54 #outs F 
 #locs 31 0.09 -0.03 -0.02 0.02 
+#oracle_outputs T  
 #step 33
 8.13 8.18 8.08 8.54 #outs F 
 #locs 32 0.08 0.05 -0.05 0.00 
+#oracle_outputs T  
 #step 34
 7.98 7.97 8.00 8.54 #outs F 
 #locs 33 0.15 -0.02 0.02 -0.10 
+#oracle_outputs T  
 #step 35
 7.89 7.97 7.82 8.54 #outs F 
 #locs 34 0.09 0.08 -0.08 -0.07 
+#oracle_outputs T  
 #step 36
 7.87 7.86 7.82 8.54 #outs F 
 #locs 35 0.03 -0.00 -0.05 -0.02 
+#oracle_outputs T  
 #step 37
 7.81 7.82 7.73 8.54 #outs F 
 #locs 36 0.06 0.01 -0.07 0.01 
+#oracle_outputs T  
 #step 38
 7.81 7.82 7.81 8.54 #outs F 
 #locs 37 0.00 0.02 -0.00 -0.02 
+#oracle_outputs T  
 #step 39
 7.68 7.68 7.68 8.54 #outs F 
 #locs 38 0.13 0.00 -0.00 -0.08 
+#oracle_outputs T  
 #step 40
 7.67 7.62 7.67 8.54 #outs F 
 #locs 39 0.01 -0.05 0.00 -0.09 
+#oracle_outputs T  
 #step 41
 7.47 7.48 7.41 8.54 #outs F 
 #locs 40 0.20 0.00 -0.07 0.04 
+#oracle_outputs T  
 #step 42
 7.35 7.39 7.28 8.54 #outs F 
 #locs 41 0.13 0.05 -0.07 0.03 
+#oracle_outputs T  
 #step 43
 7.25 7.15 7.16 8.54 #outs F 
 #locs 42 0.10 -0.10 -0.09 -0.02 
+#oracle_outputs T  
 #step 44
 7.08 7.04 7.06 8.54 #outs F 
 #locs 43 0.16 -0.04 -0.02 0.06 
+#oracle_outputs T  
 #step 45
 6.97 7.02 7.05 8.54 #outs F 
 #locs 44 0.12 0.06 0.08 -0.05 
+#oracle_outputs T  
 #step 46
 6.87 6.81 7.05 8.54 #outs F 
 #locs 45 0.10 -0.06 -0.03 -0.02 
+#oracle_outputs T  
 #step 47
 6.87 6.93 7.05 8.54 #outs F 
 #locs 46 0.00 0.06 0.09 0.05 
+#oracle_outputs T  
 #step 48
 6.71 6.80 7.05 8.54 #outs F 
 #locs 47 0.16 0.08 -0.00 -0.09 
+#oracle_outputs T  
 #step 49
 6.65 6.70 7.05 8.54 #outs F 
 #locs 48 0.06 0.05 0.04 -0.05 
+#oracle_outputs T  
 #step 50
 6.61 6.69 7.05 8.54 #outs F 
 #locs 49 0.04 0.08 -0.02 -0.01 
+#oracle_outputs T  
 #step 51
 6.58 6.54 7.05 8.54 #outs F 
 #locs 50 0.04 -0.04 -0.06 0.05 
+#oracle_outputs T  
 #step 52
 6.43 6.37 7.05 8.54 #outs F 
 #locs 51 0.15 -0.06 0.04 -0.01 
+#oracle_outputs T  
 #step 53
 6.41 6.38 7.05 8.54 #outs F 
 #locs 52 0.02 -0.04 0.08 0.01 
+#oracle_outputs T  
 #step 54
 6.29 6.22 7.05 8.54 #outs F 
 #locs 53 0.12 -0.07 -0.06 0.04 
+#oracle_outputs T  
 #step 55
 6.25 6.24 7.05 8.54 #outs F 
 #locs 54 0.05 -0.01 0.01 -0.01 
+#oracle_outputs T  
 #step 56
 6.21 6.24 7.05 8.54 #outs F 
 #locs 55 0.04 0.03 0.02 0.10 
+#oracle_outputs T  
 #step 57
 6.11 6.06 7.05 8.54 #outs F 
 #locs 56 0.10 -0.05 0.01 0.06 
+#oracle_outputs T  
 #step 58
 6.11 6.07 7.05 8.54 #outs F 
 #locs 57 0.00 -0.04 -0.06 0.08 
+#oracle_outputs T  
 #step 59
 5.92 5.97 7.05 8.54 #outs F 
 #locs 58 0.18 0.05 -0.04 -0.01 
+#oracle_outputs T  
 #step 60
 5.76 5.76 7.05 8.54 #outs F 
 #locs 59 0.16 -0.00 0.01 0.05 
+#oracle_outputs T  
 #step 61
 5.57 5.53 7.05 8.54 #outs F 
 #locs 60 0.20 -0.04 0.07 -0.09 
+#oracle_outputs T  
 #step 62
 5.46 5.37 7.05 8.54 #outs F 
 #locs 61 0.11 -0.09 -0.00 0.04 
+#oracle_outputs T  
 #step 63
 5.30 5.30 7.05 8.54 #outs F 
 #locs 62 0.16 -0.00 0.02 -0.10 
+#oracle_outputs T  
 #step 64
 5.15 5.14 7.05 8.54 #outs F 
 #locs 63 0.15 -0.01 -0.01 0.02 
+#oracle_outputs T  
 #step 65
 4.99 5.01 7.05 8.54 #outs F 
 #locs 64 0.16 0.02 0.02 -0.06 
+#oracle_outputs T  
 #step 66
 4.86 4.95 7.05 8.54 #outs F 
 #locs 65 0.13 0.09 -0.07 -0.09 
+#oracle_outputs T  
 #step 67
 4.80 4.90 7.05 8.54 #outs F 
 #locs 66 0.06 0.09 -0.01 -0.04 
+#oracle_outputs T  
 #step 68
 4.79 4.90 7.05 8.54 #outs F 
 #locs 67 0.01 0.01 0.06 0.03 
+#oracle_outputs T  
 #step 69
 7.00 7.00 7.00 7.00 #outs F 
 #locs 0 0.07 -0.01 0.00 -0.09 
+#oracle_outputs T  
 #step 70
 6.98 7.05 6.94 6.90 #outs F 
 #locs 1 0.02 0.07 -0.03 -0.07 
+#oracle_outputs T  
 #step 71
 6.91 6.95 6.98 7.01 #outs F 
 #locs 2 0.07 0.03 0.07 0.10 
+#oracle_outputs T  
 #step 72
 6.86 6.80 6.96 6.77 #outs F 
 #locs 3 0.06 -0.05 0.10 -0.08 
+#oracle_outputs T  
 #step 73
 6.78 6.79 6.85 6.85 #outs F 
 #locs 4 0.07 0.00 0.07 0.07 
+#oracle_outputs T  
 #step 74
 6.64 6.65 6.56 6.60 #outs F 
 #locs 5 0.14 0.01 -0.08 -0.03 
+#oracle_outputs T  
 #step 75
 6.64 6.63 6.65 6.57 #outs F 
 #locs 6 0.00 -0.01 0.02 -0.07 
+#oracle_outputs T  
 #step 76
 6.46 6.39 6.54 6.54 #outs F 
 #locs 7 0.17 -0.08 0.08 0.08 
+#oracle_outputs T  
 #step 77
 6.31 6.38 6.22 6.25 #outs F 
 #locs 8 0.15 0.07 -0.10 -0.06 
+#oracle_outputs T  
 #step 78
 6.13 6.22 6.22 6.06 #outs F 
 #locs 9 0.18 0.09 0.09 -0.08 
+#oracle_outputs T  
 #step 79
 6.12 6.08 6.02 6.03 #outs F 
 #locs 10 0.01 -0.05 -0.10 -0.09 
+#oracle_outputs T  
 #step 80
 5.92 5.85 6.02 6.00 #outs F 
 #locs 11 0.20 -0.08 0.10 0.08 
+#oracle_outputs T  
 #step 81
 5.82 5.91 5.72 5.81 #outs T 
 #locs 12 0.11 0.10 -0.10 -0.00 
+#oracle_outputs T  
 #step 82
 5.91 5.97 5.95 5.94 #outs T 
 #locs 13 0.09 0.06 0.04 0.03 
+#oracle_outputs T  
 #step 83
 5.98 5.90 6.00 5.93 #outs T 
 #locs 14 0.07 -0.08 0.02 -0.05 
+#oracle_outputs T  
 #step 84
 5.99 6.04 5.90 6.06 #outs T 
 #locs 15 0.01 0.05 -0.09 0.07 
+#oracle_outputs T  
 #step 85
 6.09 6.07 6.01 6.16 #outs T 
 #locs 16 0.10 -0.02 -0.08 0.07 
+#oracle_outputs T  
 #step 86
 6.21 6.25 6.20 6.22 #outs T 
 #locs 17 0.12 0.04 -0.01 0.01 
+#oracle_outputs T  
 #step 87
 6.29 6.19 6.37 6.23 #outs T 
 #locs 18 0.08 -0.10 0.08 -0.06 
+#oracle_outputs T  
 #step 88
 6.44 6.38 6.43 6.42 #outs T 
 #locs 19 0.15 -0.06 -0.01 -0.01 
+#oracle_outputs T  
 #step 89
 6.44 6.43 6.39 6.39 #outs T 
 #locs 20 0.00 -0.00 -0.05 -0.05 
+#oracle_outputs T  
 #step 90
 6.56 6.56 6.51 6.66 #outs T 
 #locs 21 0.13 -0.00 -0.06 0.10 
+#oracle_outputs T  
 #step 91
 6.58 6.67 6.53 6.62 #outs T 
 #locs 22 0.02 0.09 -0.05 0.04 
+#oracle_outputs T  
 #step 92
 6.77 6.87 6.68 6.68 #outs T 
 #locs 23 0.19 0.10 -0.09 -0.10 
+#oracle_outputs T  
 #step 93
 6.96 6.93 6.96 7.02 #outs T 
 #locs 24 0.19 -0.03 -0.01 0.05 
+#oracle_outputs T  
 #step 94
 7.04 7.06 6.94 7.13 #outs T 
 #locs 25 0.07 0.02 -0.10 0.10 
+#oracle_outputs T  
 #step 95
 7.12 7.04 7.08 7.04 #outs T 
 #locs 26 0.08 -0.08 -0.04 -0.08 
+#oracle_outputs T  
 #step 96
 7.31 7.22 7.22 7.40 #outs T 
 #locs 27 0.19 -0.09 -0.08 0.09 
+#oracle_outputs T  
 #step 97
 7.47 7.41 7.50 7.54 #outs T 
 #locs 28 0.17 -0.06 0.03 0.06 
+#oracle_outputs T  
 #step 98
 7.56 7.47 7.55 7.46 #outs T 
 #locs 29 0.09 -0.10 -0.01 -0.10 
+#oracle_outputs T  
 #step 99
 7.67 7.75 7.71 7.66 #outs T 
 #locs 30 0.11 0.08 0.04 -0.01 
+#oracle_outputs T  
 #step 100
 7.69 7.61 7.77 7.61 #outs T 
 #locs 31 0.01 -0.08 0.09 -0.08 
+#oracle_outputs T  
 #step 101
 7.78 7.73 7.76 7.86 #outs T 
 #locs 32 0.09 -0.05 -0.02 0.08 
+#oracle_outputs T  
 #step 102
 7.93 7.99 8.03 7.99 #outs T 
 #locs 33 0.15 0.05 0.09 0.05 
+#oracle_outputs T  
 #step 103
 8.09 8.12 8.14 8.05 #outs T 
 #locs 34 0.16 0.03 0.05 -0.04 
+#oracle_outputs T  
 #step 104
 8.28 8.20 8.34 8.33 #outs T 
 #locs 35 0.19 -0.08 0.06 0.05 
+#oracle_outputs T  
 #step 105
 8.39 8.48 8.43 8.43 #outs T 
 #locs 36 0.11 0.09 0.04 0.04 
+#oracle_outputs T  
 #step 106
 8.58 8.67 8.48 8.48 #outs T 
 #locs 37 0.19 0.09 -0.10 -0.09 
+#oracle_outputs T  
 #step 107
 8.59 8.49 8.50 8.49 #outs T 
 #locs 38 0.01 -0.10 -0.09 -0.10 
+#oracle_outputs T  
 #step 108
 8.71 8.70 8.66 8.76 #outs T 
 #locs 39 0.12 -0.02 -0.06 0.05 
+#oracle_outputs T  
 #step 109
 8.86 8.82 8.87 8.94 #outs T 
 #locs 40 0.15 -0.04 0.01 0.08 
+#oracle_outputs T  
 #step 110
 9.02 9.05 8.94 9.11 #outs F 
 #locs 41 0.16 0.04 -0.08 0.09 
+#oracle_outputs T  
 #step 111
 8.95 8.94 9.04 9.11 #outs F 
 #locs 42 0.06 -0.02 0.09 0.08 
+#oracle_outputs T  
 #step 112
 8.92 8.83 8.93 9.11 #outs F 
 #locs 43 0.04 -0.08 0.02 0.08 
+#oracle_outputs T  
 #step 113
 8.92 9.02 9.01 9.11 #outs F 
 #locs 44 -0.00 0.10 0.10 0.02 
+#oracle_outputs T  
 #step 114
 8.73 8.64 8.65 9.11 #outs F 
 #locs 45 0.19 -0.08 -0.08 -0.05 
+#oracle_outputs T  
 #step 115
 8.55 8.49 8.50 9.11 #outs F 
 #locs 46 0.17 -0.06 -0.05 0.09 
+#oracle_outputs T  
 #step 116
 8.37 8.45 8.45 9.11 #outs F 
 #locs 47 0.19 0.09 0.09 0.07 
+#oracle_outputs T  
 #step 117
 8.23 8.26 8.19 9.11 #outs F 
 #locs 48 0.13 0.02 -0.05 0.08 
+#oracle_outputs T  
 #step 118
 8.20 8.20 8.30 9.11 #outs F 
 #locs 49 0.03 -0.00 0.10 -0.04 
+#oracle_outputs T  
 #step 119
 8.02 7.94 8.12 9.11 #outs F 
 #locs 50 0.18 -0.08 0.10 -0.04 
+#oracle_outputs T  
 #step 120
 7.88 7.95 7.82 9.11 #outs F 
 #locs 51 0.14 0.06 -0.07 0.07 
+#oracle_outputs T  
 #step 121
 7.80 7.73 7.76 9.11 #outs F 
 #locs 52 0.08 -0.07 -0.05 -0.07 
+#oracle_outputs T  
 #step 122
 7.76 7.73 7.76 9.11 #outs F 
 #locs 53 0.05 -0.03 -0.06 0.02 
+#oracle_outputs T  
 #step 123
 7.67 7.59 7.76 9.11 #outs F 
 #locs 54 0.09 -0.08 -0.04 0.06 
+#oracle_outputs T  
 #step 124
 7.66 7.67 7.76 9.11 #outs F 
 #locs 55 0.01 0.01 -0.06 -0.00 
+#oracle_outputs T  
 #step 125
 7.61 7.69 7.76 9.11 #outs F 
 #locs 56 0.05 0.08 -0.06 0.05 
+#oracle_outputs T  
 #step 126
 7.57 7.56 7.76 9.11 #outs F 
 #locs 57 0.04 -0.01 0.07 -0.03 
+#oracle_outputs T  
 #step 127
 7.57 7.52 7.76 9.11 #outs F 
 #locs 58 0.01 -0.05 0.09 0.02 
+#oracle_outputs T  
 #step 128
 7.42 7.33 7.76 9.11 #outs F 
 #locs 59 0.15 -0.09 0.06 0.09 
+#oracle_outputs T  
 #step 129
 7.35 7.38 7.76 9.11 #outs F 
 #locs 60 0.07 0.03 0.07 -0.03 
+#oracle_outputs T  
 #step 130
 7.17 7.10 7.76 9.11 #outs F 
 #locs 61 0.17 -0.07 -0.08 -0.09 
+#oracle_outputs T  
 #step 131
 7.14 7.16 7.76 9.11 #outs F 
 #locs 62 0.03 0.02 0.02 -0.03 
+#oracle_outputs T  
 #step 132
 7.03 7.06 7.76 9.11 #outs F 
 #locs 63 0.11 0.04 0.04 0.07 
+#oracle_outputs T  
 #step 133
 6.94 7.01 7.76 9.11 #outs F 
 #locs 64 0.09 0.06 0.04 -0.03 
+#oracle_outputs T  
 #step 134
 6.78 6.71 7.76 9.11 #outs F 
 #locs 65 0.16 -0.08 -0.01 0.06 
+#oracle_outputs T  
 #step 135
 6.73 6.79 7.76 9.11 #outs F 
 #locs 66 0.05 0.06 0.03 0.01 
+#oracle_outputs T  
 #step 136
 6.64 6.69 7.76 9.11 #outs F 
 #locs 67 0.10 0.05 0.05 0.05 
+#oracle_outputs T  
 #step 137
 6.62 6.70 7.76 9.11 #outs F 
 #locs 68 0.01 0.07 0.04 0.01 
+#oracle_outputs T  
 #step 138
 6.55 6.70 7.76 9.11 #outs F 
 #locs 69 0.08 -0.06 -0.10 0.08 
+#oracle_outputs T  
 #step 139
 7.00 7.00 7.00 7.00 #outs F 
 #locs 0 0.05 0.00 -0.04 -0.02 
+#oracle_outputs T  
 #step 140
 6.87 6.85 6.86 6.87 #outs F 
 #locs 1 0.13 -0.02 -0.01 -0.00 
+#oracle_outputs T  
 #step 141
 6.84 6.82 6.80 6.86 #outs F 
 #locs 2 0.03 -0.02 -0.04 0.01 
+#oracle_outputs T  
 #step 142
 6.66 6.69 6.63 6.57 #outs F 
 #locs 3 0.18 0.03 -0.03 -0.09 
+#oracle_outputs T  
 #step 143
 6.61 6.64 6.57 6.51 #outs F 
 #locs 4 0.05 0.03 -0.03 -0.09 
+#oracle_outputs T  
 #step 144
 6.52 6.59 6.53 6.53 #outs F 
 #locs 5 0.09 0.07 0.01 0.01 
+#oracle_outputs T  
 #step 145
 6.48 6.43 6.53 6.45 #outs F 
 #locs 6 0.03 -0.06 0.05 -0.04 
+#oracle_outputs T  
 #step 146
 6.31 6.26 6.30 6.23 #outs F 
 #locs 7 0.18 -0.05 -0.01 -0.08 
+#oracle_outputs T  
 #step 147
 6.12 6.02 6.18 6.18 #outs F 
 #locs 8 0.19 -0.09 0.07 0.06 
+#oracle_outputs T  
 #step 148
 6.01 6.03 6.08 5.93 #outs F 
 #locs 9 0.11 0.03 0.08 -0.08 
+#oracle_outputs T  
 #step 149
 5.94 5.87 6.00 5.97 #outs T 
 #locs 10 0.07 -0.07 0.06 0.03 
+#oracle_outputs T  
 #step 150
 5.94 5.88 6.01 6.03 #outs T 
 #locs 11 0.01 -0.07 0.06 0.08 
+#oracle_outputs T  
 #step 151
 6.04 6.04 6.03 6.03 #outs T 
 #locs 12 0.09 0.00 -0.00 -0.00 
+#oracle_outputs T  
 #step 152
 6.16 6.23 6.10 6.12 #outs T 
 #locs 13 0.12 0.07 -0.06 -0.03 
+#oracle_outputs T  
 #step 153
 6.31 6.35 6.29 6.25 #outs T 
 #locs 14 0.16 0.03 -0.03 -0.07 
+#oracle_outputs T  
 #step 154
 6.39 6.40 6.47 6.36 #outs T 
 #locs 15 0.08 0.01 0.08 -0.03 
+#oracle_outputs T  
 #step 155
 6.49 6.57 6.44 6.50 #outs T 
 #locs 16 0.10 0.08 -0.04 0.02 
+#oracle_outputs T  
 #step 156
 6.64 6.56 6.71 6.64 #outs T 
 #locs 17 0.15 -0.08 0.07 -0.00 
+#oracle_outputs T  
 #step 157
 6.84 6.78 6.86 6.84 #outs T 
 #locs 18 0.20 -0.06 0.02 0.00 
+#oracle_outputs T  
 #step 158
 6.84 6.88 6.88 6.92 #outs T 
 #locs 19 0.00 0.04 0.04 0.08 
+#oracle_outputs T  
 #step 159
 6.90 6.96 6.85 6.99 #outs T 
 #locs 20 0.05 0.06 -0.04 0.10 
+#oracle_outputs T  
 #step 160
 7.00 6.92 7.02 6.93 #outs T 
 #locs 21 0.10 -0.08 0.02 -0.07 
+#oracle_outputs T  
 #step 161
 7.05 7.12 7.12 7.15 #outs T 
 #locs 22 0.05 0.07 0.07 0.10 
+#oracle_outputs T  
 #step 162
 7.24 7.25 7.24 7.15 #outs T 
 #locs 23 0.19 0.01 -0.00 -0.09 
+#oracle_outputs T  
 #step 163
 7.28 7.24 7.27 7.28 #outs T 
 #locs 24 0.05 -0.05 -0.01 -0.00 
+#oracle_outputs T  
 #step 164
 7.29 7.30 7.22 7.30 #outs T 
 #locs 25 0.01 0.01 -0.07 0.01 
+#oracle_outputs T  
 #step 165
 7.44 7.48 7.39 7.35 #outs T 
 #locs 26 0.15 0.03 -0.06 -0.09 
+#oracle_outputs T  
 #step 166
 7.52 7.50 7.51 7.43 #outs T 
 #locs 27 0.08 -0.03 -0.01 -0.09 
+#oracle_outputs T  
 #step 167
 7.65 7.56 7.62 7.68 #outs T 
 #locs 28 0.13 -0.10 -0.03 0.02 
+#oracle_outputs T  
 #step 168
 7.68 7.71 7.58 7.71 #outs T 
 #locs 29 0.02 0.03 -0.10 0.03 
+#oracle_outputs T  
 #step 169
 7.87 7.84 7.79 7.81 #outs T 
 #locs 30 0.19 -0.02 -0.08 -0.06 
+#oracle_outputs T  
 #step 170
 8.01 8.04 8.07 8.04 #outs T 
 #locs 31 0.14 0.03 0.06 0.03 
+#oracle_outputs T  
 #step 171
 8.13 8.13 8.12 8.06 #outs T 
 #locs 32 0.12 0.00 -0.01 -0.07 
+#oracle_outputs T  
 #step 172
 8.32 8.41 8.41 8.34 #outs T 
 #locs 33 0.19 0.09 0.09 0.02 
+#oracle_outputs T  
 #step 173
 8.45 8.46 8.45 8.51 #outs T 
 #locs 34 0.13 0.01 -0.00 0.05 
+#oracle_outputs T  
 #step 174
 8.47 8.55 8.55 8.55 #outs T 
 #locs 35 0.02 0.07 0.07 0.07 
+#oracle_outputs T  
 #step 175
 8.54 8.59 8.46 8.55 #outs T 
 #locs 36 0.07 0.04 -0.09 -0.10 
+#oracle_outputs T  
 #step 176
 8.57 8.48 8.54 8.55 #outs T 
 #locs 37 0.02 -0.09 -0.03 -0.01 
+#oracle_outputs T  
 #step 177
 8.58 8.58 8.56 8.55 #outs T 
 #locs 38 0.01 -0.01 -0.02 0.05 
+#oracle_outputs T  
 #step 178
 8.72 8.73 8.77 8.55 #outs T 
 #locs 39 0.14 0.01 0.04 -0.04 
+#oracle_outputs T  
 #step 179
 8.78 8.73 8.76 8.55 #outs T 
 #locs 40 0.06 -0.06 -0.02 0.01 
+#oracle_outputs T  
 #step 180
 8.96 9.06 9.00 8.55 #outs F 
 #locs 41 0.18 0.10 0.05 -0.01 
+#oracle_outputs T  
 #step 181
 8.84 8.81 9.00 8.55 #outs F 
 #locs 42 0.11 -0.03 -0.09 -0.01 
+#oracle_outputs T  
 #step 182
 8.76 8.66 9.00 8.55 #outs F 
 #locs 43 0.09 -0.10 0.02 -0.08 
+#oracle_outputs T  
 #step 183
 8.65 8.71 9.00 8.55 #outs F 
 #locs 44 0.11 0.06 -0.09 -0.04 
+#oracle_outputs T  
 #step 184
 8.55 8.58 9.00 8.55 #outs F 
 #locs 45 0.10 0.03 0.08 -0.02 
+#oracle_outputs T  
 #step 185
 8.45 8.52 9.00 8.55 #outs F 
 #locs 46 0.10 0.06 0.06 -0.04 
+#oracle_outputs T  
 #step 186
 8.36 8.29 9.00 8.55 #outs F 
 #locs 47 0.10 -0.07 0.02 0.00 
+#oracle_outputs T  
 #step 187
 8.23 8.30 9.00 8.55 #outs F 
 #locs 48 0.12 0.06 -0.01 -0.09 
+#oracle_outputs T  
 #step 188
 8.08 8.05 9.00 8.55 #outs F 
 #locs 49 0.15 -0.04 0.02 -0.09 
+#oracle_outputs T  
 #step 189
 8.02 8.05 9.00 8.55 #outs F 
 #locs 50 0.07 0.03 0.08 -0.02 
+#oracle_outputs T  
 #step 190
 8.00 7.98 9.00 8.55 #outs F 
 #locs 51 0.01 -0.02 0.06 0.07 
+#oracle_outputs T  
 #step 191
 7.81 7.74 9.00 8.55 #outs F 
 #locs 52 0.19 -0.07 -0.01 -0.09 
+#oracle_outputs T  
 #step 192
 7.68 7.77 9.00 8.55 #outs F 
 #locs 53 0.13 0.08 0.05 0.10 
+#oracle_outputs T  
 #step 193
 7.63 7.60 9.00 8.55 #outs F 
 #locs 54 0.05 -0.03 -0.08 -0.04 
+#oracle_outputs T  
 #step 194
 7.47 7.37 9.00 8.55 #outs F 
 #locs 55 0.16 -0.10 0.03 0.04 
+#oracle_outputs T  
 #step 195
 7.29 7.31 9.00 8.55 #outs F 
 #locs 56 0.17 0.01 -0.01 -0.04 
+#oracle_outputs T  
 #step 196
 7.11 7.19 9.00 8.55 #outs F 
 #locs 57 0.18 0.08 0.05 -0.08 
+#oracle_outputs T  
 #step 197
 6.91 6.94 9.00 8.55 #outs F 
 #locs 58 0.20 0.03 0.03 -0.06 
+#oracle_outputs T  
 #step 198
 6.82 6.85 9.00 8.55 #outs F 
 #locs 59 0.09 0.02 -0.01 0.07 
+#oracle_outputs T  
 #step 199
 6.75 6.75 9.00 8.55 #outs F 
 #locs 60 0.07 -0.00 0.02 0.01 
+#oracle_outputs T  
 #step 200
 6.58 6.67 9.00 8.55 #outs F 
 #locs 61 0.17 0.10 -0.03 -0.00 
+#oracle_outputs T  
 #step 201
 6.56 6.65 9.00 8.55 #outs F 
 #locs 62 0.02 0.08 0.01 0.03 
+#oracle_outputs T  
 #step 202
 6.45 6.65 9.00 8.55 #outs F 
 #locs 63 0.11 -0.09 0.06 -0.04 
+#oracle_outputs T  
 #step 203
 7.00 7.00 7.00 7.00 #outs F 
 #locs 0 0.19 0.08 -0.04 -0.01 
+#oracle_outputs T  
 #step 204
 6.98 6.99 6.96 6.97 #outs F 
 #locs 1 0.02 0.01 -0.02 -0.01 
+#oracle_outputs T  
 #step 205
 6.95 6.95 6.96 6.88 #outs F 
 #locs 2 0.04 0.00 0.02 -0.07 
+#oracle_outputs T  
 #step 206
 6.94 6.97 7.02 6.94 #outs F 
 #locs 3 0.01 0.03 0.08 -0.00 
+#oracle_outputs T  
 #step 207
 6.92 7.00 7.00 6.98 #outs F 
 #locs 4 0.02 0.08 0.08 0.06 
+#oracle_outputs T  
 #step 208
 6.83 6.82 6.91 6.78 #outs F 
 #locs 5 0.09 -0.01 0.08 -0.04 
+#oracle_outputs T  
 #step 209
 6.70 6.78 6.73 6.78 #outs F 
 #locs 6 0.12 0.07 0.03 0.08 
+#oracle_outputs T  
 #step 210
 6.56 6.48 6.50 6.52 #outs F 
 #locs 7 0.15 -0.07 -0.06 -0.04 
+#oracle_outputs T  
 #step 211
 6.45 6.39 6.49 6.55 #outs F 
 #locs 8 0.11 -0.06 0.04 0.10 
+#oracle_outputs T  
 #step 212
 6.35 6.41 6.27 6.33 #outs F 
 #locs 9 0.10 0.06 -0.08 -0.01 
+#oracle_outputs T  
 #step 213
 6.22 6.31 6.25 6.31 #outs F 
 #locs 10 0.13 0.10 0.03 0.10 
+#oracle_outputs T  
 #step 214
 6.10 6.08 6.15 6.13 #outs F 
 #locs 11 0.12 -0.02 0.05 0.04 
+#oracle_outputs T  
 #step 215
 5.91 5.97 5.87 5.92 #outs T 
 #locs 12 0.18 0.06 -0.04 0.01 
+#oracle_outputs T  
 #step 216
 6.07 6.05 6.17 6.03 #outs T 
 #locs 13 0.16 -0.02 0.10 -0.03 
+#oracle_outputs T  
 #step 217
 6.12 6.16 6.18 6.18 #outs T 
 #locs 14 0.05 0.04 0.06 0.06 
+#oracle_outputs T  
 #step 218
 6.32 6.22 6.22 6.22 #outs T 
 #locs 15 0.20 -0.10 -0.10 -0.10 
+#oracle_outputs T  
 #step 219
 6.43 6.38 6.35 6.43 #outs T 
 #locs 16 0.12 -0.06 -0.08 -0.01 
+#oracle_outputs T  
 #step 220
 6.56 6.58 6.60 6.57 #outs T 
 #locs 17 0.12 0.03 0.05 0.02 
+#oracle_outputs T  
 #step 221
 6.70 6.79 6.77 6.72 #outs T 
 #locs 18 0.14 0.09 0.07 0.02 
+#oracle_outputs T  
 #step 222
 6.85 6.93 6.80 6.76 #outs T 
 #locs 19 0.15 0.08 -0.05 -0.09 
+#oracle_outputs T  
 #step 223
 7.02 7.08 6.95 7.10 #outs T 
 #locs 20 0.18 0.06 -0.07 0.08 
+#oracle_outputs T  
 #step 224
 7.13 7.11 7.09 7.09 #outs T 
 #locs 21 0.11 -0.02 -0.05 -0.05 
+#oracle_outputs T  
 #step 225
 7.27 7.29 7.21 7.25 #outs T 
 #locs 22 0.14 0.01 -0.07 -0.02 
+#oracle_outputs T  
 #step 226
 7.41 7.36 7.49 7.46 #outs T 
 #locs 23 0.13 -0.05 0.09 0.05 
+#oracle_outputs T  
 #step 227
 7.56 7.65 7.47 7.52 #outs T 
 #locs 24 0.15 0.10 -0.09 -0.04 
+#oracle_outputs T  
 #step 228
 7.67 7.66 7.66 7.62 #outs T 
 #locs 25 0.11 -0.01 -0.01 -0.05 
+#oracle_outputs T  
 #step 229
 7.72 7.67 7.68 7.67 #outs T 
 #locs 26 0.05 -0.05 -0.04 -0.05 
+#oracle_outputs T  
 #step 230
 7.77 7.79 7.83 7.71 #outs T 
 #locs 27 0.05 0.02 0.06 -0.06 
+#oracle_outputs T  
 #step 231
 7.84 7.94 7.81 7.77 #outs T 
 #locs 28 0.07 0.10 -0.04 -0.08 
+#oracle_outputs T  
 #step 232
 7.91 7.95 7.88 7.95 #outs T 
 #locs 29 0.07 0.04 -0.03 0.04 
+#oracle_outputs T  
 #step 233
 7.94 7.89 7.89 7.98 #outs T 
 #locs 30 0.02 -0.05 -0.05 0.04 
+#oracle_outputs T  
 #step 234
 8.09 8.07 7.99 8.14 #outs T 
 #locs 31 0.15 -0.02 -0.09 0.05 
+#oracle_outputs T  
 #step 235
 8.29 8.29 8.26 8.31 #outs T 
 #locs 32 0.20 -0.00 -0.02 0.03 
+#oracle_outputs T  
 #step 236
 8.34 8.32 8.35 8.25 #outs T 
 #locs 33 0.05 -0.01 0.02 -0.08 
+#oracle_outputs T  
 #step 237
 8.34 8.25 8.42 8.44 #outs T 
 #locs 34 0.01 -0.09 0.07 0.10 
+#oracle_outputs T  
 #step 238
 8.44 8.45 8.53 8.45 #outs T 
 #locs 35 0.10 0.00 0.08 0.01 
+#oracle_outputs T  
 #step 239
 8.56 8.58 8.65 8.56 #outs T 
 #locs 36 0.12 0.02 0.09 0.00 
+#oracle_outputs T  
 #step 240
 8.62 8.64 8.58 8.65 #outs T 
 #locs 37 0.06 0.02 -0.04 0.03 
+#oracle_outputs T  
 #step 241
 8.63 8.55 8.56 8.65 #outs T 
 #locs 38 0.02 -0.09 -0.08 0.09 
+#oracle_outputs T  
 #step 242
 8.65 8.74 8.64 8.65 #outs T 
 #locs 39 0.02 0.09 -0.01 -0.01 
+#oracle_outputs T  
 #step 243
 8.69 8.72 8.75 8.65 #outs T 
 #locs 40 0.04 0.02 0.05 0.08 
+#oracle_outputs T  
 #step 244
 8.87 8.78 8.95 8.65 #outs T 
 #locs 41 0.17 -0.08 0.09 0.08 
+#oracle_outputs T  
 #step 245
 9.07 9.17 8.97 8.65 #outs F 
 #locs 42 0.20 0.10 -0.10 0.00 
+#oracle_outputs T  
 #step 246
 8.89 8.85 8.82 8.65 #outs F 
 #locs 43 0.18 -0.03 -0.06 -0.03 
+#oracle_outputs T  
 #step 247
 8.88 8.97 8.78 8.65 #outs F 
 #locs 44 0.01 0.09 -0.09 0.01 
+#oracle_outputs T  
 #step 248
 8.69 8.78 8.76 8.65 #outs F 
 #locs 45 0.19 0.09 0.08 0.07 
+#oracle_outputs T  
 #step 249
 8.69 8.59 8.76 8.65 #outs F 
 #locs 46 0.00 -0.09 0.07 0.07 
+#oracle_outputs T  
 #step 250
 8.66 8.75 8.73 8.65 #outs F 
 #locs 47 0.02 0.09 0.06 0.07 
+#oracle_outputs T  
 #step 251
 8.53 8.47 8.46 8.65 #outs F 
 #locs 48 0.14 -0.05 -0.06 0.03 
+#oracle_outputs T  
 #step 252
 8.37 8.28 8.47 8.65 #outs F 
 #locs 49 0.16 -0.09 0.10 -0.10 
+#oracle_outputs T  
 #step 253
 8.32 8.37 8.30 8.65 #outs F 
 #locs 50 0.05 0.05 -0.02 0.02 
+#oracle_outputs T  
 #step 254
 8.25 8.28 8.17 8.65 #outs F 
 #locs 51 0.08 0.04 -0.08 -0.05 
+#oracle_outputs T  
 #step 255
 8.07 8.17 8.11 8.65 #outs F 
 #locs 52 0.18 0.10 0.05 -0.06 
+#oracle_outputs T  
 #step 256
 7.88 7.82 7.82 8.65 #outs F 
 #locs 53 0.19 -0.06 -0.05 -0.10 
+#oracle_outputs T  
 #step 257
 7.85 7.87 7.80 8.65 #outs F 
 #locs 54 0.03 0.03 -0.05 -0.07 
+#oracle_outputs T  
 #step 258
 7.73 7.77 7.68 8.65 #outs F 
 #locs 55 0.12 0.04 -0.05 0.03 
+#oracle_outputs T  
 #step 259
 7.63 7.64 7.67 8.65 #outs F 
 #locs 56 0.10 0.01 0.03 0.01 
+#oracle_outputs T  
 #step 260
 7.43 7.52 7.67 8.65 #outs F 
 #locs 57 0.20 0.09 0.04 0.05 
+#oracle_outputs T  
 #step 261
 7.26 7.19 7.67 8.65 #outs F 
 #locs 58 0.18 -0.07 0.09 0.06 
+#oracle_outputs T  
 #step 262
 7.15 7.11 7.67 8.65 #outs F 
 #locs 59 0.10 -0.04 0.05 -0.10 
+#oracle_outputs T  
 #step 263
 7.03 7.02 7.67 8.65 #outs F 
 #locs 60 0.12 -0.01 0.03 -0.04 
+#oracle_outputs T  
 #step 264
 6.83 6.87 7.67 8.65 #outs F 
 #locs 61 0.20 0.04 0.03 0.02 
+#oracle_outputs T  
 #step 265
 6.72 6.87 7.67 8.65 #outs F 
 #locs 62 0.11 -0.09 -0.06 0.05 
+#oracle_outputs T  
 #step 266
 7.00 7.00 7.00 7.00 #outs F 
 #locs 0 0.03 -0.09 0.10 0.09 
+#oracle_outputs T  
 #step 267
 6.81 6.90 6.71 6.77 #outs F 
 #locs 1 0.19 0.09 -0.10 -0.04 
+#oracle_outputs T  
 #step 268
 6.69 6.62 6.73 6.75 #outs F 
 #locs 2 0.12 -0.08 0.03 0.05 
+#oracle_outputs T  
 #step 269
 6.52 6.43 6.62 6.45 #outs F 
 #locs 3 0.18 -0.09 0.10 -0.07 
+#oracle_outputs T  
 #step 270
 6.37 6.40 6.43 6.35 #outs F 
 #locs 4 0.14 0.03 0.06 -0.03 
+#oracle_outputs T  
 #step 271
 6.28 6.24 6.24 6.31 #outs F 
 #locs 5 0.10 -0.03 -0.03 0.04 
+#oracle_outputs T  
 #step 272
 6.18 6.28 6.09 6.20 #outs F 
 #locs 6 0.09 0.10 -0.10 0.01 
+#oracle_outputs T  
 #step 273
 6.00 6.08 6.08 6.09 #outs F 
 #locs 7 0.18 0.08 0.08 0.08 
+#oracle_outputs T  
 #step 274
 5.82 5.73 5.75 5.90 #outs T 
 #locs 8 0.18 -0.09 -0.07 0.08 
+#oracle_outputs T  
 #step 275
 5.87 5.91 5.79 5.93 #outs T 
 #locs 9 0.05 0.04 -0.08 0.06 
+#oracle_outputs T  
 #step 276
 5.88 5.96 5.97 5.79 #outs T 
 #locs 10 0.01 0.09 0.09 -0.09 
+#oracle_outputs T  
 #step 277
 5.93 5.96 5.95 5.94 #outs T 
 #locs 11 0.05 0.03 0.02 0.01 
+#oracle_outputs T  
 #step 278
 5.93 5.84 5.93 5.93 #outs T 
 #locs 12 0.00 -0.09 0.00 0.00 
+#oracle_outputs T  
 #step 279
 6.00 5.98 6.04 5.94 #outs T 
 #locs 13 0.07 -0.02 0.04 -0.06 
+#oracle_outputs T  
 #step 280
 6.08 6.17 6.07 6.10 #outs T 
 #locs 14 0.08 0.09 -0.01 0.02 
+#oracle_outputs T  
 #step 281
 6.20 6.29 6.28 6.28 #outs T 
 #locs 15 0.12 0.10 0.08 0.08 
+#oracle_outputs T  
 #step 282
 6.33 6.30 6.23 6.42 #outs T 
 #locs 16 0.13 -0.03 -0.10 0.10 
+#oracle_outputs T  
 #step 283
 6.52 6.60 6.52 6.60 #outs T 
 #locs 17 0.20 0.08 -0.00 0.08 
+#oracle_outputs T  
 #step 284
 6.63 6.58 6.66 6.60 #outs T 
 #locs 18 0.10 -0.05 0.03 -0.02 
+#oracle_outputs T  
 #step 285
 6.83 6.88 6.79 6.92 #outs T 
 #locs 19 0.20 0.05 -0.04 0.09 
+#oracle_outputs T  
 #step 286
 6.95 6.87 6.95 6.95 #outs T 
 #locs 20 0.12 -0.08 0.01 0.00 
+#oracle_outputs T  
 #step 287
 7.13 7.03 7.15 7.09 #outs T 
 #locs 21 0.18 -0.09 0.02 -0.04 
+#oracle_outputs T  
 #step 288
 7.20 7.18 7.29 7.15 #outs T 
 #locs 22 0.07 -0.01 0.10 -0.05 
+#oracle_outputs T  
 #step 289
 7.24 7.29 7.19 7.28 #outs T 
 #locs 23 0.05 0.05 -0.05 0.04 
+#oracle_outputs T  
 #step 290
 7.26 7.21 7.34 7.23 #outs T 
 #locs 24 0.02 -0.05 0.08 -0.03 
+#oracle_outputs T  
 #step 291
 7.29 7.37 7.39 7.38 #outs T 
 #locs 25 0.02 0.08 0.10 0.10 
+#oracle_outputs T  
 #step 292
 7.40 7.41 7.44 7.42 #outs T 
 #locs 26 0.11 0.01 0.03 0.02 
+#oracle_outputs T  
 #step 293
 7.48 7.45 7.47 7.52 #outs T 
 #locs 27 0.08 -0.04 -0.01 0.04 
+#oracle_outputs T  
 #step 294
 7.60 7.53 7.64 7.69 #outs T 
 #locs 28 0.12 -0.08 0.04 0.09 
+#oracle_outputs T  
 #step 295
 7.76 7.70 7.67 7.67 #outs T 
 #locs 29 0.16 -0.06 -0.09 -0.10 
+#oracle_outputs T  
 #step 296
 7.80 7.86 7.72 7.88 #outs T 
 #locs 30 0.04 0.06 -0.08 0.08 
+#oracle_outputs T  
 #step 297
 7.99 7.92 7.91 7.91 #outs T 
 #locs 31 0.19 -0.07 -0.08 -0.08 
+#oracle_outputs T  
 #step 298
 8.07 8.03 8.04 7.99 #outs T 
 #locs 32 0.09 -0.05 -0.03 -0.09 
+#oracle_outputs T  
 #step 299
 8.14 8.15 8.08 8.22 #outs T 
 #locs 33 0.07 0.00 -0.06 0.08 
+#oracle_outputs T  
 #step 300
 8.19 8.12 8.18 8.14 #outs T 
 #locs 34 0.04 -0.07 -0.01 -0.05 
+#oracle_outputs T  
 #step 301
 8.26 8.22 8.25 8.31 #outs T 
 #locs 35 0.07 -0.03 -0.01 0.06 
+#oracle_outputs T  
 #step 302
 8.33 8.25 8.28 8.35 #outs T 
 #locs 36 0.07 -0.07 -0.05 0.02 
+#oracle_outputs T  
 #step 303
 8.44 8.42 8.44 8.34 #outs T 
 #locs 37 0.11 -0.02 0.00 -0.10 
+#oracle_outputs T  
 #step 304
 8.49 8.57 8.59 8.43 #outs T 
 #locs 38 0.05 0.08 0.10 -0.06 
+#oracle_outputs T  
 #step 305
 8.56 8.47 8.51 8.63 #outs T 
 #locs 39 0.08 -0.09 -0.05 0.06 
+#oracle_outputs T  
 #step 306
 8.63 8.67 8.57 8.54 #outs T 
 #locs 40 0.07 0.04 -0.06 -0.09 
+#oracle_outputs T  
 #step 307
 8.69 8.75 8.68 8.65 #outs T 
 #locs 41 0.06 0.05 -0.01 -0.04 
+#oracle_outputs T  
 #step 308
 8.85 8.91 8.89 8.77 #outs T 
 #locs 42 0.16 0.05 0.04 -0.08 
+#oracle_outputs T  
 #step 309
 9.04 8.94 9.04 9.02 #outs F 
 #locs 43 0.18 -0.09 0.01 -0.02 
+#oracle_outputs T  
 #step 310
 8.90 8.84 8.98 8.94 #outs F 
 #locs 44 0.13 -0.06 0.08 0.04 
+#oracle_outputs T  
 #step 311
 8.89 8.98 8.89 8.80 #outs F 
 #locs 45 0.01 0.08 -0.00 -0.09 
+#oracle_outputs T  
 #step 312
 8.71 8.79 8.78 8.79 #outs F 
 #locs 46 0.18 0.08 0.06 0.08 
+#oracle_outputs T  
 #step 313
 8.54 8.50 8.45 8.57 #outs F 
 #locs 47 0.17 -0.04 -0.09 0.03 
+#oracle_outputs T  
 #step 314
 8.45 8.42 8.37 8.50 #outs F 
 #locs 48 0.10 -0.03 -0.08 0.05 
+#oracle_outputs T  
 #step 315
 8.39 8.43 8.41 8.38 #outs F 
 #locs 49 0.06 0.04 0.03 -0.01 
+#oracle_outputs T  
 #step 316
 8.38 8.31 8.47 8.48 #outs F 
 #locs 50 0.01 -0.07 0.09 0.10 
+#oracle_outputs T  
 #step 317
 8.21 8.16 8.13 8.26 #outs F 
 #locs 51 0.17 -0.05 -0.08 0.05 
+#oracle_outputs T  
 #step 318
 8.13 8.03 8.09 8.26 #outs F 
 #locs 52 0.08 -0.09 -0.03 0.08 
+#oracle_outputs T  
 #step 319
 8.06 8.14 8.08 8.26 #outs F 
 #locs 53 0.07 0.08 0.02 0.08 
+#oracle_outputs T  
 #step 320
 7.91 7.83 7.89 8.26 #outs F 
 #locs 54 0.14 -0.09 -0.02 0.01 
+#oracle_outputs T  
 #step 321
 7.82 7.76 7.85 8.26 #outs F 
 #locs 55 0.09 -0.06 0.03 -0.02 
+#oracle_outputs T  
 #step 322
 7.62 7.71 7.60 8.26 #outs F 
 #locs 56 0.20 0.09 -0.02 0.04 
+#oracle_outputs T  
 #step 323
 7.60 7.55 7.68 8.26 #outs F 
 #locs 57 0.02 -0.05 0.08 0.09 
+#oracle_outputs T  
 #step 324
 7.41 7.43 7.35 8.26 #outs F 
 #locs 58 0.19 0.02 -0.06 0.02 
+#oracle_outputs T  
 #step 325
 7.29 7.25 7.39 8.26 #outs F 
 #locs 59 0.12 -0.04 0.10 0.06 
+#oracle_outputs T  
 #step 326
 7.10 7.03 7.05 8.26 #outs F 
 #locs 60 0.19 -0.07 -0.05 -0.09 
+#oracle_outputs T  
 #step 327
 6.92 6.84 6.82 8.26 #outs F 
 #locs 61 0.18 -0.08 -0.10 0.00 
+#oracle_outputs T  
 #step 328
 6.85 6.79 6.87 8.26 #outs F 
 #locs 62 0.07 -0.07 0.02 -0.04 
+#oracle_outputs T  
 #step 329
 6.77 6.77 6.78 8.26 #outs F 
 #locs 63 0.08 -0.00 0.01 0.02 
+#oracle_outputs T  
 #step 330
 6.64 6.56 6.64 8.26 #outs F 
 #locs 64 0.13 -0.08 0.00 0.00 
+#oracle_outputs T  
 #step 331
 6.49 6.41 6.51 8.26 #outs F 
 #locs 65 0.15 -0.08 0.02 -0.04 
+#oracle_outputs T  
 #step 332
 6.38 6.45 6.41 8.26 #outs F 
 #locs 66 0.11 0.07 0.03 -0.09 
+#oracle_outputs T  
 #step 333
 6.21 6.21 6.12 8.26 #outs F 
 #locs 67 0.16 -0.00 -0.09 0.10 
+#oracle_outputs T  
 #step 334
 6.09 6.11 6.17 8.26 #outs F 
 #locs 68 0.12 0.02 0.08 0.10 
+#oracle_outputs T  
 #step 335
 5.94 5.92 5.89 8.26 #outs T 
 #locs 69 0.15 -0.02 -0.04 0.01 
+#oracle_outputs T  
 #step 336
 6.06 6.03 6.07 8.26 #outs T 
 #locs 70 0.13 -0.04 0.01 0.07 
+#oracle_outputs T  
 #step 337
 6.18 6.13 6.25 8.26 #outs T 
 #locs 71 0.11 -0.05 0.07 0.00 
+#oracle_outputs T  
 #step 338
 6.38 6.37 6.42 8.26 #outs T 
 #locs 72 0.20 -0.01 0.04 -0.02 
+#oracle_outputs T  
 #step 339
 6.38 6.48 6.28 8.26 #outs T 
 #locs 73 0.00 0.09 -0.10 -0.04 
+#oracle_outputs T  
 #step 340
 6.47 6.50 6.46 8.26 #outs T 
 #locs 74 0.09 0.03 -0.01 0.10 
+#oracle_outputs T  
 #step 341
 6.48 6.49 6.46 8.26 #outs T 
 #locs 75 0.01 0.01 0.06 -0.07 
+#oracle_outputs T  
 #step 342
 6.58 6.55 6.46 8.26 #outs T 
 #locs 76 0.10 -0.03 0.02 0.05 
+#oracle_outputs T  
 #step 343
 6.77 6.70 6.46 8.26 #outs T 
 #locs 77 0.18 -0.07 -0.06 0.05 
+#oracle_outputs T  
 #step 344
 6.94 6.89 6.46 8.26 #outs T 
 #locs 78 0.17 -0.05 0.03 0.03 
+#oracle_outputs T  
 #step 345
 7.10 7.16 6.46 8.26 #outs F 
 #locs 79 0.16 0.06 -0.08 0.03 
+#oracle_outputs T  
 #step 346
 6.95 6.97 6.46 8.26 #outs F 
 #locs 80 0.15 0.02 0.03 -0.06 
+#oracle_outputs T  
 #step 347
 6.82 6.84 6.46 8.26 #outs F 
 #locs 81 0.13 0.01 0.04 0.09 
+#oracle_outputs T  
 #step 348
 6.77 6.87 6.46 8.26 #outs F 
 #locs 82 0.05 0.09 -0.09 0.05 
+#oracle_outputs T  
 #step 349
 6.74 6.87 6.46 8.26 #outs F 
 #locs 83 0.03 0.07 -0.07 0.08 
+#oracle_outputs T  
 #step 350
 7.00 7.00 7.00 7.00 #outs F 
 #locs 0 0.13 0.08 -0.05 0.08 
+#oracle_outputs T  
 #step 351
 6.93 6.86 7.00 6.85 #outs F 
 #locs 1 0.07 -0.07 0.08 -0.07 
+#oracle_outputs T  
 #step 352
 6.77 6.81 6.69 6.84 #outs F 
 #locs 2 0.16 0.04 -0.07 0.08 
+#oracle_outputs T  
 #step 353
 6.59 6.52 6.50 6.53 #outs F 
 #locs 3 0.18 -0.07 -0.09 -0.06 
+#oracle_outputs T  
 #step 354
 6.40 6.31 6.48 6.50 #outs F 
 #locs 4 0.19 -0.09 0.08 0.10 
+#oracle_outputs T  
 #step 355
 6.28 6.30 6.27 6.26 #outs F 
 #locs 5 0.12 0.02 -0.02 -0.02 
+#oracle_outputs T  
 #step 356
 6.27 6.24 6.21 6.36 #outs F 
 #locs 6 0.02 -0.03 -0.06 0.09 
+#oracle_outputs T  
 #step 357
 6.09 6.18 5.99 6.01 #outs F 
 #locs 7 0.18 0.09 -0.10 -0.07 
+#oracle_outputs T  
 #step 358
 5.93 5.98 5.83 5.92 #outs T 
 #locs 8 0.15 0.04 -0.10 -0.01 
+#oracle_outputs T  
 #step 359
 6.05 5.99 5.95 6.06 #outs T 
 #locs 9 0.12 -0.06 -0.10 0.01 
+#oracle_outputs T  
 #step 360
 6.05 5.96 6.15 5.96 #outs T 
 #locs 10 -0.00 -0.09 0.10 -0.09 
+#oracle_outputs T  
 #step 361
 6.09 6.19 6.00 6.04 #outs T 
 #locs 11 0.04 0.09 -0.10 -0.05 
+#oracle_outputs T  
 #step 362
 6.09 6.05 6.18 6.15 #outs T 
 #locs 12 0.00 -0.05 0.08 0.06 
+#oracle_outputs T  
 #step 363
 6.23 6.21 6.28 6.16 #outs T 
 #locs 13 0.13 -0.01 0.05 -0.07 
+#oracle_outputs T  
 #step 364
 6.36 6.30 6.27 6.29 #outs T 
 #locs 14 0.13 -0.06 -0.09 -0.07 
+#oracle_outputs T  
 #step 365
 6.38 6.31 6.28 6.35 #outs T 
 #locs 15 0.02 -0.06 -0.09 -0.03 
+#oracle_outputs T  
 #step 366
 6.53 6.47 6.60 6.48 #outs T 
 #locs 16 0.15 -0.06 0.07 -0.05 
+#oracle_outputs T  
 #step 367
 6.64 6.67 6.72 6.73 #outs T 
 #locs 17 0.11 0.03 0.08 0.09 
+#oracle_outputs T  
 #step 368
 6.69 6.78 6.65 6.78 #outs T 
 #locs 18 0.05 0.08 -0.05 0.09 
+#oracle_outputs T  
 #step 369
 6.70 6.79 6.80 6.79 #outs T 
 #locs 19 0.00 0.10 0.10 0.09 
+#oracle_outputs T  
 #step 370
 6.86 6.96 6.92 6.76 #outs T 
 #locs 20 0.16 0.10 0.06 -0.10 
+#oracle_outputs T  
 #step 371
 7.01 6.93 6.99 6.97 #outs T 
 #locs 21 0.15 -0.08 -0.01 -0.04 
+#oracle_outputs T  
 #step 372
 7.10 7.08 7.03 7.08 #outs T 
 #locs 22 0.09 -0.02 -0.07 -0.02 
+#oracle_outputs T  
 #step 373
 7.19 7.20 7.27 7.11 #outs T 
 #locs 23 0.09 0.01 0.08 -0.08 
+#oracle_outputs T  
 #step 374
 7.33 7.42 7.24 7.26 #outs T 
 #locs 24 0.15 0.08 -0.09 -0.08 
+#oracle_outputs T  
 #step 375
 7.44 7.45 7.39 7.43 #outs T 
 #locs 25 0.10 0.01 -0.05 -0.01 
+#oracle_outputs T  
 #step 376
 7.58 7.64 7.54 7.61 #outs T 
 #locs 26 0.14 0.06 -0.04 0.03 
+#oracle_outputs T  
 #step 377
 7.60 7.51 7.53 7.51 #outs T 
 #locs 27 0.01 -0.08 -0.07 -0.09 
+#oracle_outputs T  
 #step 378
 7.72 7.69 7.78 7.75 #outs T 
 #locs 28 0.13 -0.03 0.06 0.02 
+#oracle_outputs T  
 #step 379
 7.79 7.73 7.89 7.78 #outs T 
 #locs 29 0.07 -0.06 0.10 -0.01 
+#oracle_outputs T  
 #step 380
 7.81 7.82 7.72 7.83 #outs T 
 #locs 30 0.02 0.00 -0.09 0.02 
+#oracle_outputs T  
 #step 381
 7.94 8.00 7.87 8.02 #outs T 
 #locs 31 0.13 0.05 -0.07 0.07 
+#oracle_outputs T  
 #step 382
 8.14 8.16 8.09 8.04 #outs T 
 #locs 32 0.19 0.02 -0.05 -0.10 
+#oracle_outputs T  
 #step 383
 8.31 8.25 8.28 8.22 #outs T 
 #locs 33 0.17 -0.06 -0.03 -0.09 
+#oracle_outputs T  
 #step 384
 8.45 8.42 8.54 8.48 #outs T 
 #locs 34 0.14 -0.03 0.10 0.03 
+#oracle_outputs T  
 #step 385
 8.61 8.65 8.60 8.55 #outs T 
 #locs 35 0.17 0.04 -0.01 -0.06 
+#oracle_outputs T  
 #step 386
 8.73 8.68 8.65 8.63 #outs T 
 #locs 36 0.11 -0.04 -0.07 -0.10 
+#oracle_outputs T  
 #step 387
 8.84 8.78 8.92 8.75 #outs T 
 #locs 37 0.11 -0.06 0.08 -0.09 
+#oracle_outputs T  
 #step 388
 9.03 9.02 8.94 9.05 #outs F 
 #locs 38 0.19 -0.02 -0.09 0.02 
+#oracle_outputs T  
 #step 389
 9.03 9.00 9.10 8.96 #outs F 
 #locs 39 0.00 -0.03 0.07 -0.07 
+#oracle_outputs T  
 #step 390
 8.85 8.95 8.91 8.77 #outs F 
 #locs 40 0.18 0.10 0.06 -0.08 
+#oracle_outputs T  
 #step 391
 8.77 8.81 8.81 8.67 #outs F 
 #locs 41 0.08 0.04 0.04 -0.09 
+#oracle_outputs T  
 #step 392
 8.69 8.74 8.74 8.74 #outs F 
 #locs 42 0.08 0.06 0.06 0.05 
+#oracle_outputs T  
 #step 393
 8.61 8.59 8.68 8.56 #outs F 
 #locs 43 0.08 -0.02 0.07 -0.05 
+#oracle_outputs T  
 #step 394
 8.51 8.53 8.51 8.56 #outs F 
 #locs 44 0.10 0.02 -0.00 -0.02 
+#oracle_outputs T  
 #step 395
 8.32 8.34 8.31 8.56 #outs F 
 #locs 45 0.20 0.03 -0.00 -0.08 
+#oracle_outputs T  
 #step 396
 8.29 8.36 8.28 8.56 #outs F 
 #locs 46 0.02 0.07 -0.01 -0.06 
+#oracle_outputs T  
 #step 397
 8.15 8.19 8.17 8.56 #outs F 
 #locs 47 0.14 0.04 0.02 -0.00 
+#oracle_outputs T  
 #step 398
 7.96 7.89 8.02 8.56 #outs F 
 #locs 48 0.19 -0.07 0.06 -0.03 
+#oracle_outputs T  
 #step 399
 7.85 7.91 7.92 8.56 #outs F 
 #locs 49 0.11 0.06 0.07 -0.00 
+#oracle_outputs T  
 #step 400
 7.66 7.65 7.69 8.56 #outs F 
 #locs 50 0.19 -0.01 0.03 0.01 
+#oracle_outputs T  
 #step 401
 7.65 7.56 7.75 8.56 #outs F 
 #locs 51 0.01 -0.10 0.10 -0.08 
+#oracle_outputs T  
 #step 402
 7.46 7.54 7.45 8.56 #outs F 
 #locs 52 0.20 0.08 -0.01 0.07 
+#oracle_outputs T  
 #step 403
 7.34 7.43 7.43 8.56 #outs F 
 #locs 53 0.11 0.09 0.09 0.08 
+#oracle_outputs T  
 #step 404
 7.29 7.36 7.33 8.56 #outs F 
 #locs 54 0.05 0.06 0.03 -0.10 
+#oracle_outputs T  
 #step 405
 7.13 7.05 7.20 8.56 #outs F 
 #locs 55 0.17 -0.08 0.07 -0.08 
+#oracle_outputs T  
 #step 406
 7.11 7.05 7.06 8.56 #outs F 
 #locs 56 0.02 -0.05 -0.04 -0.02 
+#oracle_outputs T  
 #step 407
 7.03 7.12 7.04 8.56 #outs F 
 #locs 57 0.08 0.09 0.01 0.00 
+#oracle_outputs T  
 #step 408
 6.88 6.95 6.84 8.56 #outs F 
 #locs 58 0.15 0.07 -0.04 -0.01 
+#oracle_outputs T  
 #step 409
 6.84 6.77 6.89 8.56 #outs F 
 #locs 59 0.03 -0.07 0.05 -0.10 
+#oracle_outputs T  
 #step 410
 6.64 6.57 6.74 8.56 #outs F 
 #locs 60 0.20 -0.07 0.10 0.02 
+#oracle_outputs T  
 #step 411
 6.55 6.64 6.46 8.56 #outs F 
 #locs 61 0.10 0.10 -0.08 0.06 
+#oracle_outputs T  
 #step 412
 6.53 6.44 6.45 8.56 #outs F 
 #locs 62 0.01 -0.10 -0.09 0.06 
+#oracle_outputs T  
 #step 413
 6.34 6.25 6.43 8.56 #outs F 
 #locs 63 0.20 -0.09 0.09 0.02 
+#oracle_outputs T  
 #step 414
 6.31 6.23 6.21 8.56 #outs F 
 #locs 64 0.03 -0.08 -0.10 0.08 
+#oracle_outputs T  
 #step 415
 6.26 6.25 6.28 8.56 #outs F 
 #locs 65 0.05 -0.01 0.02 -0.01 
+#oracle_outputs T  
 #step 416
 6.19 6.21 6.28 8.56 #outs F 
 #locs 66 0.08 0.02 0.09 0.06 
+#oracle_outputs T  
 #step 417
 6.17 6.25 6.11 8.56 #outs F 
 #locs 67 0.02 0.09 -0.06 -0.03 
+#oracle_outputs T  
 #step 418
 6.04 6.09 6.07 8.56 #outs F 
 #locs 68 0.12 0.05 0.02 -0.04 
+#oracle_outputs T  
 #step 419
 5.98 6.00 6.07 8.56 #outs F 
 #locs 69 0.06 0.02 -0.09 0.07 
+#oracle_outputs T  
 #step 420
 5.84 5.91 6.07 8.56 #outs F 
 #locs 70 0.14 0.06 0.07 0.06 
+#oracle_outputs T  
 #step 421
 5.65 5.64 6.07 8.56 #outs F 
 #locs 71 0.20 -0.00 -0.07 0.01 
+#oracle_outputs T  
 #step 422
 5.50 5.47 6.07 8.56 #outs F 
 #locs 72 0.14 -0.04 0.05 -0.05 
+#oracle_outputs T  
 #step 423
 5.41 5.38 6.07 8.56 #outs F 
 #locs 73 0.09 -0.04 -0.00 -0.07 
+#oracle_outputs T  
 #step 424
 5.34 5.38 6.07 8.56 #outs F 
 #locs 74 0.07 0.04 -0.07 0.04 
+#oracle_outputs T  
 #step 425
 5.16 5.21 6.07 8.56 #outs F 
 #locs 75 0.18 0.04 0.08 0.08 
+#oracle_outputs T  
 #step 426
 5.00 5.02 6.07 8.56 #outs F 
 #locs 76 0.16 0.02 0.02 0.05 
+#oracle_outputs T  
 #step 427
 4.96 5.03 6.07 8.56 #outs F 
 #locs 77 0.04 0.07 0.07 -0.02 
+#oracle_outputs T  
 #step 428
 4.90 4.95 6.07 8.56 #outs F 
 #locs 78 0.06 0.05 -0.04 0.08 
+#oracle_outputs T  
 #step 429
 4.82 4.88 6.07 8.56 #outs F 
 #locs 79 0.08 0.06 0.04 -0.06 
+#oracle_outputs T  
 #step 430
 4.79 4.82 6.07 8.56 #outs F 
 #locs 80 0.03 0.03 0.05 0.03 
+#oracle_outputs T  
 #step 431
 4.62 4.52 6.07 8.56 #outs F 
 #locs 81 0.17 -0.09 -0.10 0.08 
+#oracle_outputs T  
 #step 432
 4.47 4.44 6.07 8.56 #outs F 
 #locs 82 0.15 -0.02 -0.04 -0.00 
+#oracle_outputs T  
 #step 433
 4.41 4.43 6.07 8.56 #outs F 
 #locs 83 0.05 0.02 -0.09 -0.05 
+#oracle_outputs T  
 #step 434
 4.38 4.48 6.07 8.56 #outs F 
 #locs 84 0.03 0.10 0.05 0.02 
+#oracle_outputs T  
 #step 435
 4.28 4.30 6.07 8.56 #outs F 
 #locs 85 0.11 0.02 -0.03 -0.01 
+#oracle_outputs T  
 #step 436
 4.26 4.30 6.07 8.56 #outs F 
 #locs 86 0.02 -0.07 0.03 -0.08 
+#oracle_outputs T  
 #step 437
 7.00 7.00 7.00 7.00 #outs F 
 #locs 0 0.19 -0.00 0.06 -0.07 
+#oracle_outputs T  
 #step 438
 6.83 6.79 6.80 6.81 #outs F 
 #locs 1 0.17 -0.04 -0.03 -0.02 
+#oracle_outputs T  
 #step 439
 6.65 6.65 6.62 6.74 #outs F 
 #locs 2 0.17 -0.00 -0.03 0.09 
+#oracle_outputs T  
 #step 440
 6.50 6.60 6.46 6.46 #outs F 
 #locs 3 0.15 0.10 -0.04 -0.04 
+#oracle_outputs T  
 #step 441
 6.31 6.21 6.23 6.21 #outs F 
 #locs 4 0.20 -0.10 -0.07 -0.10 
+#oracle_outputs T  
 #step 442
 6.26 6.31 6.32 6.35 #outs F 
 #locs 5 0.05 0.05 0.07 0.09 
+#oracle_outputs T  
 #step 443
 6.10 6.13 6.06 6.11 #outs F 
 #locs 6 0.16 0.03 -0.03 0.02 
+#oracle_outputs T  
 #step 444
 6.08 6.17 6.17 6.17 #outs F 
 #locs 7 0.01 0.09 0.09 0.09 
+#oracle_outputs T  
 #step 445
 5.93 6.01 5.88 6.02 #outs F 
 #locs 8 0.16 0.08 -0.05 0.09 
+#oracle_outputs T  
 #step 446
 5.93 5.94 5.91 5.83 #outs T 
 #locs 9 -0.00 0.02 -0.02 -0.10 
+#oracle_outputs T  
 #step 447
 6.10 6.13 6.11 6.06 #outs T 
 #locs 10 0.17 0.03 0.01 -0.04 
+#oracle_outputs T  
 #step 448
 6.20 6.19 6.17 6.28 #outs T 
 #locs 11 0.10 -0.01 -0.03 0.08 
+#oracle_outputs T  
 #step 449
 6.35 6.40 6.30 6.41 #outs T 
 #locs 12 0.15 0.05 -0.06 0.06 
+#oracle_outputs T  
 #step 450
 6.52 6.61 6.61 6.43 #outs T 
 #locs 13 0.16 0.10 0.10 -0.09 
+#oracle_outputs T  
 #step 451
 6.66 6.60 6.58 6.68 #outs T 
 #locs 14 0.15 -0.07 -0.08 0.02 
+#oracle_outputs T  
 #step 452
 6.85 6.91 6.87 6.78 #outs T 
 #locs 15 0.19 0.06 0.02 -0.07 
+#oracle_outputs T  
 #step 453
 6.94 6.99 7.03 6.87 #outs T 
 #locs 16 0.09 0.05 0.09 -0.07 
+#oracle_outputs T  
 #step 454
 6.94 6.90 6.97 7.01 #outs T 
 #locs 17 0.00 -0.04 0.03 0.06 
+#oracle_outputs T  
 #step 455
 7.08 7.01 7.06 6.98 #outs T 
 #locs 18 0.13 -0.06 -0.01 -0.10 
+#oracle_outputs T  
 #step 456
 7.22 7.17 7.21 7.17 #outs T 
 #locs 19 0.15 -0.05 -0.01 -0.05 
+#oracle_outputs T  
 #step 457
 7.42 7.33 7.50 7.51 #outs T 
 #locs 20 0.20 -0.09 0.08 0.09 
+#oracle_outputs T  
 #step 458
 7.46 7.43 7.52 7.49 #outs T 
 #locs 21 0.05 -0.03 0.06 0.03 
+#oracle_outputs T  
 #step 459
 7.62 7.71 7.69 7.56 #outs T 
 #locs 22 0.16 0.08 0.06 -0.07 
+#oracle_outputs T  
 #step 460
 7.80 7.89 7.84 7.72 #outs T 
 #locs 23 0.17 0.09 0.05 -0.08 
+#oracle_outputs T  
 #step 461
 7.98 7.90 8.07 7.91 #outs T 
 #locs 24 0.19 -0.08 0.09 -0.08 
+#oracle_outputs T  
 #step 462
 8.13 8.15 8.06 8.05 #outs T 
 #locs 25 0.14 0.02 -0.07 -0.08 
+#oracle_outputs T  
 #step 463
 8.18 8.13 8.24 8.22 #outs T 
 #locs 26 0.06 -0.06 0.06 0.03 
+#oracle_outputs T  
 #step 464
 8.24 8.28 8.21 8.25 #outs T 
 #locs 27 0.05 0.04 -0.03 0.01 
+#oracle_outputs T  
 #step 465
 8.32 8.26 8.33 8.40 #outs T 
 #locs 28 0.08 -0.06 0.01 0.08 
+#oracle_outputs T  
 #step 466
 8.43 8.34 8.39 8.43 #outs T 
 #locs 29 0.11 -0.09 -0.04 0.00 
+#oracle_outputs T  
 #step 467
 8.56 8.46 8.59 8.61 #outs T 
 #locs 30 0.13 -0.10 0.03 0.05 
+#oracle_outputs T  
 #step 468
 8.63 8.71 8.67 8.73 #outs T 
 #locs 31 0.07 0.08 0.03 0.09 
+#oracle_outputs T  
 #step 469
 8.79 8.87 8.84 8.83 #outs T 
 #locs 32 0.15 0.09 0.05 0.05 
+#oracle_outputs T  
 #step 470
 8.88 8.95 8.85 8.82 #outs T 
 #locs 33 0.10 0.07 -0.03 -0.06 
+#oracle_outputs T  
 #step 471
 8.92 8.95 8.96 8.92 #outs T 
 #locs 34 0.04 0.03 0.03 -0.00 
+#oracle_outputs T  
 #step 472
 8.98 8.95 8.92 8.92 #outs T 
 #locs 35 0.05 -0.02 -0.06 -0.06 
+#oracle_outputs T  
 #step 473
 9.10 9.09 9.09 9.03 #outs F 
 #locs 36 0.12 -0.00 -0.01 -0.07 
+#oracle_outputs T  
 #step 474
 9.04 9.04 9.10 9.13 #outs F 
 #locs 37 0.06 0.01 0.07 0.10 
+#oracle_outputs T  
 #step 475
 8.97 9.05 8.96 9.06 #outs F 
 #locs 38 0.06 0.08 -0.01 0.08 
+#oracle_outputs T  
 #step 476
 8.89 8.91 8.92 8.99 #outs F 
 #locs 39 0.08 0.01 0.03 0.10 
+#oracle_outputs T  
 #step 477
 8.72 8.64 8.77 8.74 #outs F 
 #locs 40 0.17 -0.07 0.05 0.02 
+#oracle_outputs T  
 #step 478
 8.66 8.65 8.62 8.59 #outs F 
 #locs 41 0.05 -0.02 -0.05 -0.07 
+#oracle_outputs T  
 #step 479
 8.50 8.42 8.60 8.45 #outs F 
 #locs 42 0.16 -0.08 0.10 -0.05 
+#oracle_outputs T  
 #step 480
 8.41 8.49 8.40 8.41 #outs F 
 #locs 43 0.09 0.09 -0.01 0.00 
+#oracle_outputs T  
 #step 481
 8.36 8.36 8.41 8.44 #outs F 
 #locs 44 0.05 -0.00 0.05 0.08 
+#oracle_outputs T  
 #step 482
 8.27 8.36 8.22 8.29 #outs F 
 #locs 45 0.09 0.09 -0.06 0.02 
+#oracle_outputs T  
 #step 483
 8.19 8.25 8.15 8.16 #outs F 
 #locs 46 0.09 0.06 -0.04 -0.03 
+#oracle_outputs T  
 #step 484
 8.03 7.97 8.10 8.10 #outs F 
 #locs 47 0.16 -0.06 0.07 0.07 
+#oracle_outputs T  
 #step 485
 7.97 7.96 7.98 8.00 #outs F 
 #locs 48 0.06 -0.01 0.01 0.04 
+#oracle_outputs T  
 #step 486
 7.97 7.97 7.90 7.97 #outs F 
 #locs 49 -0.00 -0.00 -0.07 0.00 
+#oracle_outputs T  
 #step 487
 7.79 7.71 7.85 7.97 #outs F 
 #locs 50 0.18 -0.08 0.07 -0.06 
+#oracle_outputs T  
 #step 488
 7.61 7.54 7.70 7.97 #outs F 
 #locs 51 0.18 -0.07 0.09 -0.02 
+#oracle_outputs T  
 #step 489
 7.45 7.43 7.55 7.97 #outs F 
 #locs 52 0.16 -0.02 0.10 -0.02 
+#oracle_outputs T  
 #step 490
 7.41 7.40 7.41 7.97 #outs F 
 #locs 53 0.04 -0.01 -0.00 -0.06 
+#oracle_outputs T  
 #step 491
 7.33 7.28 7.41 7.97 #outs F 
 #locs 54 0.08 -0.05 -0.09 -0.02 
+#oracle_outputs T  
 #step 492
 7.28 7.37 7.41 7.97 #outs F 
 #locs 55 0.05 0.09 -0.08 -0.06 
+#oracle_outputs T  
 #step 493
 7.17 7.17 7.41 7.97 #outs F 
 #locs 56 0.12 0.01 0.00 -0.04 
+#oracle_outputs T  
 #step 494
 7.04 7.07 7.41 7.97 #outs F 
 #locs 57 0.13 0.03 0.01 -0.08 
+#oracle_outputs T  
 #step 495
 6.91 7.01 7.41 7.97 #outs F 
 #locs 58 0.12 0.10 0.01 0.05 
+#oracle_outputs T  
 #step 496
 6.83 6.77 7.41 7.97 #outs F 
 #locs 59 0.08 -0.06 -0.06 -0.04 
+#oracle_outputs T  
 #step 497
 6.66 6.61 7.41 7.97 #outs F 
 #locs 60 0.17 -0.05 0.03 0.08 
+#oracle_outputs T  
 #step 498
 6.54 6.63 7.41 7.97 #outs F 
 #locs 61 0.12 0.09 0.01 -0.06 
+#oracle_outputs T  
 #step 499
 6.43 6.49 7.41 7.97 #outs F 
 #locs 62 0.11 0.06 0.03 -0.05 
+#oracle_outputs T  
 #step 500
 6.42 6.45 7.41 7.97 #outs F 
 #locs 63 0.01 0.02 -0.06 -0.06 
diff --git a/examples/xlurette/tram/test1.rif.exp b/examples/xlurette/tram/test1.rif.exp
index e5237bba8bee1162aecb4277f7d7fb215a2ee6cb..4710cae35119c3102bace53dfd05213c9d445192 100644
--- a/examples/xlurette/tram/test1.rif.exp
+++ b/examples/xlurette/tram/test1.rif.exp
@@ -16,303 +16,403 @@
 @#
 #@locals
 @#
+#oracle_outputs T  
 #step 1
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 2
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 3
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 4
 F F F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 5
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 6
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 7
 F F F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 8
 F F F F T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 9
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 10
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 11
 F F F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 12
 F F F F T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 13
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 14
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 15
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 16
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 17
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 18
 T T F F T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 19
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 20
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 21
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 22
 F F F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 23
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 24
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 25
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 26
 F F F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 27
 F F F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 28
 F F F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 29
 T T F F T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 30
 T F F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 31
 T T F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 32
 T F F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 33
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 34
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 35
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 36
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 37
 F F F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 38
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 39
 F F F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 40
 F F F F T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 41
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 42
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 43
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 44
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 45
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 46
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 47
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 48
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 49
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 50
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 51
 F F F F T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 52
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 53
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 54
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 55
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 56
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 57
 T F F T T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 58
 T T T T T T #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 59
 T F T F T F #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 60
 T T F F T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 61
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 62
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 63
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 64
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 65
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 66
 T T F T T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 67
 T F F T T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 68
 T T F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 69
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 70
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 71
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 72
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 73
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 74
 F F F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 75
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 76
 F T F T T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 77
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 78
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 79
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 80
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 81
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 82
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 83
 F F F F T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 84
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 85
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 86
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 87
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 88
 T F F T T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 89
 T T T F T F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 90
 T T T T T T #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 91
 T T F F T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 92
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 93
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 94
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 95
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 96
 T T F F T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 97
 T F F T T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 98
 T T T T T F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 99
 T F T F T T #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 100
 T F T T T F #outs F F F T F 
 #locs 
diff --git a/examples/xlurette/tram/test2.rif.exp b/examples/xlurette/tram/test2.rif.exp
index 9f369c2b3b4a8be874b3408d86572d1518f6527e..057186ea1d186763632226a33581da41bc0b7022 100644
--- a/examples/xlurette/tram/test2.rif.exp
+++ b/examples/xlurette/tram/test2.rif.exp
@@ -16,303 +16,403 @@
 @#
 #@locals
 @#
+#oracle_outputs T  
 #step 1
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 2
 F F F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 3
 T F F F T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 4
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 5
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 6
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 7
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 8
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 9
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 10
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 11
 T F F T T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 12
 T F F F T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 13
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 14
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 15
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 16
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 17
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 18
 T F F F T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 19
 T F F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 20
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 21
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 22
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 23
 F F F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 24
 T F F T T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 25
 T F T T T T #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 26
 T T T T T F #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 27
 T F F F T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 28
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 29
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 30
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 31
 F F F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 32
 F F F F T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 33
 F F F F T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 34
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 35
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 36
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 37
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 38
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 39
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 40
 T T F F T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 41
 T F F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 42
 T F F F T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 43
 T F F F T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 44
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 45
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 46
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 47
 F F F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 48
 F F F T T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 49
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 50
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 51
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 52
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 53
 T F F F T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 54
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 55
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 56
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 57
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 58
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 59
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 60
 F F F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 61
 T T F T T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 62
 T T F F T F #outs F F T F F 
 #locs 
+#oracle_outputs T  
 #step 63
 T F T T T F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 64
 T T T T T F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 65
 T F T F T T #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 66
 T T T T T F #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 67
 T F T T T F #outs F F F T F 
 #locs 
+#oracle_outputs T  
 #step 68
 T T F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 69
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 70
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 71
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 72
 F T F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 73
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 74
 T T F T T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 75
 T F F T T F #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 76
 F F F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 77
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 78
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 79
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 80
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 81
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 82
 F F F T T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 83
 F F F F T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 84
 F T F T T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 85
 F F F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 86
 F F F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 87
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 88
 F F F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 89
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 90
 F F F T T T #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 91
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 92
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 93
 F T F F T F #outs T F F F F 
 #locs 
+#oracle_outputs T  
 #step 94
 T T F F T T #outs F T F F F 
 #locs 
+#oracle_outputs T  
 #step 95
 F T F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 96
 F F F F T F #outs F F F F T 
 #locs 
+#oracle_outputs T  
 #step 97
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 98
 F T F T F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 99
 F T F F F F #outs F F F F F 
 #locs 
+#oracle_outputs T  
 #step 100
 F F F F T F #outs T F F F F 
 #locs 
diff --git a/source/Makefile b/source/Makefile
index 58028e6b8678a2fcff840b5448288feb0c2c8248..a99de48699e71333965669449a65a820af346e04 100644
--- a/source/Makefile
+++ b/source/Makefile
@@ -746,6 +746,25 @@ cp:
 	make luc4ocaml-cp ;\
 	make draw-cp
 
+# quick install at verimag
+BIN_VERIMAG_INSTALL_DIR= /usr/local/tools/lustre-misc/lurette/bin/
+LIB_VERIMAG_INSTALL_DIR= /usr/local/tools/lustre-misc/lurette/lib/
+INC_VERIMAG_INSTALL_DIR= /usr/local/tools/lustre-misc/lurette/include/
+cp-verimag:
+	cp gnuplot-rif$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp gnuplot-socket$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp gen_stubs_exe$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp gen_fake_lucky$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp lucky$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp show_luc$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp luc2c$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp lurettetop_exe$(EXE) $(BIN_VERIMAG_INSTALL_DIR) ; \
+	cp liblurette_nc.a  $(LIB_VERIMAG_INSTALL_DIR)   ;\
+	cp liblucky_nc.a  $(LIB_VERIMAG_INSTALL_DIR)   ;\
+	cp libluc4c_nc.a  $(LIB_VERIMAG_INSTALL_DIR)   ;\
+	cp ocaml2c.h $(INC_VERIMAG_INSTALL_DIR)  ;\
+	cp luc4c_stubs.h $(INC_VERIMAG_INSTALL_DIR)  ;\
+
 
 	# cp libluc4c_nc.so  $(LIB_INSTALL_DIR)  ;\
 	# cp liblucky_nc.so  $(LIB_INSTALL_DIR)  ;\
diff --git a/source/lurette.ml b/source/lurette.ml
index 8563923cb4437d61c0b72eadf2f48e034129d52b..9a90b421712a772c0cf5e155b150a72346f616ee 100644
--- a/source/lurette.ml
+++ b/source/lurette.ml
@@ -250,12 +250,13 @@ let check_oracle inputs sut_outputs locals memory t rif state =
     options.oracle
   then
     (* Tries the oracle `n*p'^nth times *)
-    let (results: bool list) =
+    let (results: (bool * Var.subst list) list) =
       List.map2
 	(fun x y -> Oracle.trie x y)
 	inputs
 	sut_outputs
     in
+    let results, oracle_outputs = List.split results in
       (*
 	 Aborts if at least one of the pairs (input, sut_output) breaks the
 	 oracle
@@ -672,13 +673,17 @@ and
       );
   in
 
-  let _ =
+  let oracle_outputs =
     if (options.oracle) then 
-      let r = Oracle.step output new_input in
+      let r, oracle_outputs = Oracle.step output new_input in
+	Sim2chro.put_oracle_step_values rif oracle_outputs;
 	if (not r) then (
 	  print_failure output new_input loc t rif;
 	  lurette_exit 1
-	)
+	);
+        oracle_outputs
+    else
+      []
   in
   let _ =
     if options.show_step then
@@ -700,7 +705,6 @@ and
 	(List.flatten state.d.current_nodes);
     flush stdout
   in
-    
   let str =
     match (options.step_by_step) with
 	Some i -> 
@@ -727,6 +731,7 @@ and
 	      options.display_local_var
 	      sut_o_vntl
 	      sut_i_vntl ;
+	    Sim2chro.put_oracle_step_values rif oracle_outputs;
 	    if 
 	      skip 
 	    then
@@ -738,7 +743,7 @@ and
 	      (
 		step_cpt := 1;
 		output_string stdout
-		  (*  ZZZ this string it matched in xlurette *)
+		  (*  ZZZ this string is matched in xlurette *)
 		  "\nOne more loop ? [type 's' to stop, `CR' to continue, or an integer to change the number of steps to skip.]\n";
 		let str = read_line () in
 		  try 
diff --git a/source/lurettetop.ml b/source/lurettetop.ml
index c393c99e3c1d0c222befa8421ebd718359369507..d068ddbd5e3ba61596e3c6b84066459e3e16834d 100644
--- a/source/lurettetop.ml
+++ b/source/lurettetop.ml
@@ -458,13 +458,13 @@ let rec speclist =
        "<int>\tDraw among the vertices of the convex hull of solutions.\n ";
 
     "--draw-all-formula", Arg.Unit (fun _ -> flag.all_formula <- true),
-       "\tTries all the formula reachable the current state." ;
+       "\tTries all the formula reachable from the current state." ;
     "--draw-all-vertices", Arg.Unit (fun _ -> flag.all_vertices <- true),
        "\tTries all the polyhedra vertices.\n" ;
 
 
     "--seed", Arg.Int (fun i -> flag.seed <- Some i),
-       "<int>\t\tSeed the random engine is init with." ;
+       "<int>\t\tSeed the random engine is initialised with." ;
     "-seed", Arg.Int (fun i -> flag.seed <- Some i), " <int>\n";
 
 
@@ -493,7 +493,7 @@ let rec speclist =
     "\t\tSet the socket address.\n" ;
 
     "--socket-io-port", Arg.Int (fun i -> flag.socket_port <- Some i),
-    "\t\tSet the socket port.\n" ;
+    "\t\tSet the socket io port.\n" ;
 
     "--socket-err-port", Arg.Int (fun i -> flag.socket_err_port <- Some i),
     "\t\tSet the socket error port.\n" ;
@@ -565,7 +565,7 @@ let rec speclist =
 
 
     "--prefix", Arg.String (fun s -> flag.prefix <-  s),
-       "\t\tstring to append before the call to lurette (e.g., \"/usr/bin/times \").\n";
+       "\t\tA string to append before the call to lurette (e.g., \"/usr/bin/times \").\n";
 
     "--tmp-dir",  Arg.String 
       (fun s -> 
@@ -576,8 +576,7 @@ let rec speclist =
        "\t\tUse that directory to put temporary files.\n";
 
     "--log",  Arg.Unit (fun _ -> flag.log <- true),
-       "\t\t\n";
-
+       "\t\tRedirect stdout to a log file (lurette_stdout.log)\n";
 
     "--sim2chro", Arg.Set flag.display_sim2chro,
        "\t\tCall sim2chro when lurette resumes.";
diff --git a/source/oracle.ml b/source/oracle.ml
index d4794be667c2a6cd405570505f5353b08cd7bdcf..3beefaea11230fa88755ea42272c9fc7484912fa 100644
--- a/source/oracle.ml
+++ b/source/oracle.ml
@@ -83,20 +83,44 @@ let (set_oracle_input: env_out -> env_in -> unit) =
       ()
 
 
-let (trie : env_out -> env_in -> bool) =
-  fun input output ->
+let (trie : env_out -> env_in -> bool * Var.subst list) =
+  fun input output  ->
+    
     Ocaml2c.lurette__oracle_restore_state ();
     set_oracle_input input output;
     Ocaml2c.lurette__oracle_step () ;
 
-    match oracle_o_vntl with
-	[(vn, "bool")] ->
-	  let res = Ocaml2c.lurette__oracle_get_val_bool 0 in
-	    res
-      | _ -> failwith "*** The oracle ougth to output a single Boolean.\n"
+    let j = ref 0 in
+    let outs = 
+      (List.map
+	 (fun (vn,t) ->
+	    let value =
+	      match t with
+		  "bool" ->
+		    let b = Ocaml2c.lurette__oracle_get_val_bool !j in
+		      B(b)
+		| "int" ->
+		    let i = Ocaml2c.lurette__oracle_get_val_int !j in
+		      N(I(i))
+		| "float" ->
+	            let f = Ocaml2c.lurette__oracle_get_val_float !j in
+	              N(F(f))
+		| _  -> assert false
+	    in
+              incr j;
+              vn, value
+	 )
+	 oracle_o_vntl
+      )
+    in
+      match oracle_o_vntl with
+	  (vn, "bool")::_->
+	    let res = Ocaml2c.lurette__oracle_get_val_bool 0 in
+	      res,outs
+        | _ -> failwith "*** The oracle first output ougth to be a Boolean.\n"
 	
 	
-let (step : env_out -> env_in -> bool) =
+let (step : env_out -> env_in -> bool * Var.subst list) =
   fun input output ->    
     let res = trie input output in 
       Ocaml2c.lurette__oracle_save_state ();
diff --git a/source/oracle.mli b/source/oracle.mli
index 7a8115f437f5135592d951a798a9c87edb121ce3..1181148b5b206ae3ca0ecc4c473c1e4c49c0acc9 100644
--- a/source/oracle.mli
+++ b/source/oracle.mli
@@ -8,6 +8,6 @@
 ** Author: jahier@imag.fr
 *)
 
-val step : Var.env_out -> Var.env_in -> bool
+val step : Var.env_out -> Var.env_in -> bool * Var.subst list
 
-val trie : Var.env_out -> Var.env_in -> bool
+val trie : Var.env_out -> Var.env_in -> bool * Var.subst list
diff --git a/source/sim2chro.ml b/source/sim2chro.ml
index 6cc71302a90ac6e096c0b6c48663a491b4ec6aac..42d996477aec7abbcc2223268e3732d4f9cfedbb 100644
--- a/source/sim2chro.ml
+++ b/source/sim2chro.ml
@@ -91,6 +91,17 @@ let (put_current_step_values: out_channel -> int -> Var.env_out -> Var.env_in ->
 
       put "\n"
 
+
+let (put_oracle_step_values: out_channel -> Var.subst list -> unit) =
+  fun oc values ->
+    let put s = output_string oc s in
+      put "#oracle_outputs ";
+      List.iter
+	(fun (_,vv) -> put ((Value.to_string vv) ^  " "))
+	values;
+      put "\n"
+
+
 open Env_state
 
 
diff --git a/source/sim2chro.mli b/source/sim2chro.mli
index 5837a412cab676d45d0fb627081ca473f72bcb86..130242ab0aa72d86b2d31d43de8a8bd5f22ff154 100644
--- a/source/sim2chro.mli
+++ b/source/sim2chro.mli
@@ -39,3 +39,4 @@ val put_current_step_values : out_channel -> int -> Var.env_out -> Var.env_in ->
 val call_sim2chro : Env_state.t -> string -> unit
 
 
+val put_oracle_step_values: out_channel -> Var.subst list -> unit
diff --git a/source/version.ml b/source/version.ml
index 5aeca76fcfb3e42581758fe6aa6f483be2f9a9f3..8ccfd591e536b836791bde7d1e190771a68c8524 100644
--- a/source/version.ml
+++ b/source/version.ml
@@ -1 +1 @@
-let str="47"
+let str="48"