/******************************************************************************

         File generated by Beologic visualSTATE Classic Diagram Designer
                           Thu Jul 03 01:16:44 1997

******************************************************************************/

#STATEEVENT

/*$@
#CLR_D          0X000000 0XFFFFFF 0X000000 0X000000 0XFF00FF 0X004100 0X0000FF 0XFF0000 0X000000 0XFFFFFF
#FNT_D          "Arial" 10 0
#SHW_D          1 1 1 1 1 1 1 1
#PGS_D          6 6
#GRD_D          1 0 4 1
#BKP_D          0 0 10
#OBJ_D          1 1 20.108 10.054 1.058
$*/


SE_INPUT
  ACTIVATE,
    "Activate cruise control command. Switch B to position ON";
  AC_fault,
    "Fault detected in the climate unit";
  ACoff_pressed,
    "Air Condition button pressed in";
  ACoff_released,
    "Air Condition button comes out (AirCon ON)";
  Accel_pressed,
    "Accelerator pedal has been pressed
";
  Accel_released,
    "Accelerator pedal has been released";
  brake_pressed,
    "Brake pedal pressed";
  brake_released,
    "Brake pedal relased";
  DEACTIVATE,
    "Deactivate cruise control command. Switch B to position OFF";
  Fan_dec,
    "Fan selector turned anticlockwise, decrements the speed of the fan, or if the fan speed is 0 turnes it to automatik.";
  Fan_inc,
    "Fan selector turned clockwise, increments the speed of the fan.";
  gear_in_Neutral,
    "The gear is put in Neutral (not implemented in the GUI).";
  hasard_pressed,
    "Hazard button has been pressed, all indicators flash as a warning to other road users.";
  hasard_released,
    "The hazard button has been released, to disable the hazard flash.";
  high_speed_pressed,
    "Wiper lever has entered position 4, to select the high speed wiping.";
  high_speed_release,
    "Wiper lever has moved away from position 4.";
  intermittent_pressed,
    "Wiper lever has entered position 1, to select intermittent wiping.
The wipers will make a single sweep every six seconds.";
  intermittent_released,
    "Wiper lever has moved away from position 1.";
  left_pressed,
    "The left lever has been pressed down, to indicate a left turn, and the left indicators should go on.";
  left_released,
    "The left lever has been moved up, to turn off the left indicator.";
  minus,
    "The minus button has been pressed, if cruising, the speed should be decreased with 2 km/h.";
  mode_dec,
    "AirCon modeselector turned anticlockwise (decremented)";
  mode_inc,
    "AirCon modeselector turned clockwise (incremented)";
  normal_speed_pressed,
    "Wiper lever has entered position 3, to select the normal speed wiping.";
  normal_speed_released,
    "Wiper lever has moved away from position 3.";
  plus,
    "The plus button has been pressed, if cruising the speed should be increased with 2 km/h.";
  RESUME,
    "Resume cruise control command. Switch B in position RESUME";
  recirc_pressed,
    "Recirculate air button has been pushed";
  recirc_released,
    "Fresh air mode engaged";
  right_pressed,
    "The left lever has been pressed up, to indicate a right turn, and the right indicators should go on.";
  right_released,
    "The left lever has been moved down, to turn off the right indicator.";
  SE_RESET,
    "Generel reset signal.";
  single_pressed,
    "Wiper lever has entered position 2, to select a single sweep.";
  single_released,
    "Wiper lever has moved away from position 2.";
  temp_dec,
    "Temperature selector turned anticlockwise - decreased";
  temp_inc,
    "Temperature selector turned clockwise - increase";
  time_out_08,
    "The timer_08 has run out after 0,8 seconds, and will not generate any more events until restarted. ";
  time_out_1,
    "The timer_1 has run out after 1 seconds, and will not generate any more events until restarted. ";
  time_out_6,
    "The timer_6 has run out after 6 seconds, and will not generate any more events until restarted. ";
  W_pulse,
    "The wheels has turned one round.";
  wiper_reach_left,
    "The wipers has reached its leftmost position.";
  wiper_reach_right,
    "The wipers has reached its rightmost position,
witch is the park position.";
  ww_pressed,
    "The spray button has been pressed down, to  wash and wipe the windscreen.";
  ww_released,
    "The spray button has been released.";

SE_INPUTGROUP
  Disengagement (gear_in_Neutral);
  flash_off (left_released, right_released);
  SET (plus, minus);
  wiper_start_high (high_speed_pressed, ww_pressed);
  wiper_start_normal (normal_speed_pressed, intermittent_pressed, 
    single_pressed);

SE_STATE
  ACfault1;
  ACfault2;
  ACoff,
    "Air Conditioning OFF";
  ACon,
    "Air Conditioning ON";
  AcceleratorOff,
    "The accelerator pedal is not activated";
  AcceleratorOn,
    "The accelerator pedal is activated";
  are_you_nuts;
  Bi_level;
  BrakeOff,
    "The brake pedal is not activated";
  BrakeOn,
    "The brake pedal is activated";
  Cruising,
    "Maintain the selected cruise speed";
  Defrost;
  Fan0;
  Fan1;
  Fan2;
  Fan3;
  Fan4;
  Fan5;
  Fan_aut;
  Floor;
  Floor_windscreen;
  Fresh_air,
    "Recirculate is OFF";
  hasard_off;
  hasard_on;
  high_speed;
  Idle,
    "The control is returned to the driver";
  Inactive,
    "The cruise control is inactive";
  intermittent_wiping;
  left_flash;
  light_off;
  light_on;
  Mode_aut;
  moving_left;
  moving_right;
  Normal_speed;
  no_flash;
  Overtaking,
    "Accelerating while overtaking the cruisecontrol regains control when the accelerator pedal is released";
  panel;
  Recirculate_on;
  right_flash;
  Standby;
  sc10_clear;
  sc10_set;
  sc1_clear;
  sc1_set;
  single_sweep;
  speed_d100_0;
  speed_d100_1;
  speed_d100_2;
  speed_d100_3;
  speed_d10_0;
  speed_d10_1;
  speed_d10_2;
  speed_d10_3;
  speed_d10_4;
  speed_d10_5;
  speed_d10_6;
  speed_d10_7;
  speed_d10_8;
  speed_d10_9;
  speed_d1_0;
  speed_d1_1;
  speed_d1_2;
  speed_d1_3;
  speed_d1_4;
  speed_d1_5;
  speed_d1_6;
  speed_d1_7;
  speed_d1_8;
  speed_d1_9;
  stopped;
  temp18;
  temp20;
  temp22;
  temp24;
  temp26;
  temp_max;
  temp_min;
  w_w_standby;
  wipe_count_0;
  wipe_count_1;
  wiper_standby;
  ww_washing;
  ww_wiping;

SE_STATEGROUP
  temperature (
    temp_min /*$$DSPOS0 27.517 7.673 20.108 10.054 **$*/,
    temp18 /*$$DSPOS0 27.517 55.827 20.108 10.054 **$*/,
    temp20 /*$$DSPOS0 27.781 99.483 20.108 10.054 **$*/,
    temp22 /*$$DSPOS0 83.079 99.748 20.108 10.054 **$*/,
    temp24 /*$$DSPOS0 138.642 99.483 20.108 10.054 **$*/,
    temp26 /*$$DSPOS0 138.377 55.827 20.108 10.054 **$*/,
    temp_max /*$$DSPOS0 138.906 7.673 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 731 64 489 $*/;

  AC_mode (
    Defrost /*$$DSPOS0 91.017 8.202 20.108 10.054 **$*/,
    Floor_windscreen /*$$DSPOS0 134.938 51.329 35.190 10.054 **$*/,
    Floor /*$$DSPOS0 91.017 104.775 20.108 10.054 **$*/,
    Bi_level /*$$DSPOS0 39.688 93.398 20.108 10.054 **$*/,
    Mode_aut /*$$DSPOS0 7.673 51.329 20.108 10.054 **$*/,
    panel /*$$DSPOS0 38.894 20.108 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 763 58 494 $*/;

  Fan (
    Fan_aut /*$$DSPOS0 23.812 5.821 25.135 10.054 **$*/,
    Fan0 /*$$DSPOS0 24.077 31.221 25.135 38.894 **$*/,
    Fan1 /*$$DSPOS0 23.548 87.842 25.135 10.054 **$*/,
    Fan2 /*$$DSPOS0 23.548 112.712 25.135 10.054 **$*/,
    Fan3 /*$$DSPOS0 97.102 112.712 27.517 10.054 **$*/,
    Fan4 /*$$DSPOS0 99.748 86.783 25.135 10.054 **$*/,
    Fan5 /*$$DSPOS0 100.277 29.898 25.135 10.319 **$*/)
    /*$$DSGPOS0 0 41 39 763 58 494 $*/;

  Recirculate (
    Recirculate_on /*$$DSPOS0 52.652 13.229 31.485 10.054 **$*/,
    Fresh_air /*$$DSPOS0 54.769 53.975 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 763 63 380 $*/;

  AirCon (
    ACon /*$$DSPOS0 52.123 15.346 20.108 10.054 **$*/,
    ACoff /*$$DSPOS0 52.123 59.796 20.108 10.054 **$*/,
    ACfault1 /*$$DSPOS0 126.471 13.758 20.108 10.054 **$*/,
    ACfault2 /*$$DSPOS0 126.735 55.827 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 763 58 494 $*/;

  Cruise (
    Inactive /*$$DSPOS0 67.998 134.673 20.108 10.054 **$*/,
    Cruising /*$$DSPOS0 11.112 78.317 74.877 10.054 **$*/,
    Overtaking /*$$DSPOS0 38.365 23.812 20.108 10.054 **$*/,
    Idle /*$$DSPOS0 126.471 23.548 20.108 10.054 **$*/,
    Standby /*$$DSPOS0 116.152 102.923 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 513 $*/;

  Brake (
    BrakeOn /*$$DSPOS0 25.135 85.460 20.108 10.054 **$*/,
    BrakeOff /*$$DSPOS0 25.135 10.054 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 513 $*/;

  Accelerator (
    AcceleratorOn /*$$DSPOS0 25.135 85.460 30.162 10.054 **$*/,
    AcceleratorOff /*$$DSPOS0 25.135 10.054 30.162 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 509 $*/;

  flash_dir (
    no_flash /*$$DSPOS0 71.438 41.540 23.283 10.054 **$*/,
    left_flash /*$$DSPOS0 3.704 41.804 38.365 10.054 **$*/,
    right_flash /*$$DSPOS0 121.179 41.804 46.037 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 509 $*/;

  flash_hasard (
    hasard_on /*$$DSPOS0 104.775 44.185 20.108 10.054 **$*/,
    hasard_off /*$$DSPOS0 45.773 43.127 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 513 $*/;

  flash_light (
    light_off /*$$DSPOS0 28.575 36.248 20.108 110.067 **$*/,
    light_on /*$$DSPOS0 135.996 36.248 20.108 113.506 **$*/)
    /*$$DSGPOS0 0 26 39 776 58 509 $*/;

  wiper (
    wiper_standby /*$$DSPOS0 53.181 40.217 29.104 107.685 **$*/,
    single_sweep /*$$DSPOS0 53.446 5.292 26.987 10.054 **$*/,
    Normal_speed /*$$DSPOS0 139.171 39.423 30.692 10.054 **$*/,
    intermittent_wiping /*$$DSPOS0 128.588 124.619 36.777 10.054 **$*/,
    high_speed /*$$DSPOS0 141.023 77.523 28.310 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 509 $*/;

  wwm_right_left (
    moving_right /*$$DSPOS0 13.229 82.021 22.490 148.431 **$*/,
    moving_left /*$$DSPOS0 137.848 82.550 20.108 148.431 **$*/,
    stopped /*$$DSPOS0 69.850 5.556 61.648 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 776 58 509 $*/;

  wash_wipe (
    w_w_standby /*$$DSPOS0 61.648 16.933 32.015 10.054 **$*/,
    ww_washing /*$$DSPOS0 16.933 58.473 29.104 10.054 **$*/,
    ww_wiping /*$$DSPOS0 107.685 60.325 32.808 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 410 $*/;

  wipe_count (
    wipe_count_0 /*$$DSPOS0 49.477 20.108 33.602 10.054 **$*/,
    wipe_count_1 /*$$DSPOS0 47.625 61.383 35.190 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 509 $*/;

  speed_1_meter (
    speed_d1_0 /*$$DSPOS0 29.369 23.548 21.431 10.054 **$*/,
    speed_d1_1 /*$$DSPOS0 64.558 22.490 24.342 10.054 **$*/,
    speed_d1_2 /*$$DSPOS0 105.040 22.754 22.490 10.054 **$*/,
    speed_d1_3 /*$$DSPOS0 138.906 36.248 20.108 10.054 **$*/,
    speed_d1_4 /*$$DSPOS0 142.081 63.765 20.108 10.054 **$*/,
    speed_d1_5 /*$$DSPOS0 130.704 92.340 20.108 10.054 **$*/,
    speed_d1_6 /*$$DSPOS0 90.487 101.865 20.108 10.054 **$*/,
    speed_d1_7 /*$$DSPOS0 45.508 98.954 20.108 10.054 **$*/,
    speed_d1_8 /*$$DSPOS0 17.198 79.375 20.108 10.054 **$*/,
    speed_d1_9 /*$$DSPOS0 17.462 54.504 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 513 $*/;

  speed_1_carry (
    sc1_clear /*$$DSPOS0 33.073 27.781 20.108 10.054 **$*/,
    sc1_set /*$$DSPOS0 79.110 26.723 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 35 39 780 58 264 $*/;

  speed_10_meter (
    speed_d10_0 /*$$DSPOS0 29.369 23.548 21.431 10.054 **$*/,
    speed_d10_1 /*$$DSPOS0 67.998 19.579 24.342 10.054 **$*/,
    speed_d10_2 /*$$DSPOS0 108.215 21.696 22.490 10.054 **$*/,
    speed_d10_3 /*$$DSPOS0 138.906 36.248 23.283 10.054 **$*/,
    speed_d10_4 /*$$DSPOS0 143.404 63.500 25.665 10.054 **$*/,
    speed_d10_5 /*$$DSPOS0 130.969 92.340 24.342 10.054 **$*/,
    speed_d10_6 /*$$DSPOS0 86.519 101.865 24.606 10.054 **$*/,
    speed_d10_7 /*$$DSPOS0 42.333 98.954 23.019 10.054 **$*/,
    speed_d10_8 /*$$DSPOS0 13.758 79.375 23.283 10.054 **$*/,
    speed_d10_9 /*$$DSPOS0 14.552 54.504 23.019 10.054 **$*/)
    /*$$DSGPOS0 0 83 39 780 58 427 $*/;

  speed_10_carry (
    sc10_clear /*$$DSPOS0 34.131 16.933 20.108 10.054 **$*/,
    sc10_set /*$$DSPOS0 81.756 17.198 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 315 499 $*/;

  speed_100_meter (
    speed_d100_0 /*$$DSPOS0 23.812 24.342 28.310 10.054 **$*/,
    speed_d100_1 /*$$DSPOS0 71.967 25.135 26.987 10.054 **$*/,
    speed_d100_2 /*$$DSPOS0 120.915 25.400 30.692 10.054 **$*/,
    speed_d100_3 /*$$DSPOS0 123.031 61.383 26.987 10.054 **$*/,
    are_you_nuts /*$$DSPOS0 80.962 91.017 28.575 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 90 500 $*/;


SE_OUTPUT
  ACoff_light_off,
    "Turn off the light in the ACoff button, to indicate that the air condition is turned on.";
  ACoff_light_on,
    "Turn on the light in the ACoff button, to indicate that the air condition is turned off.";
  digit100_1,
    "Display 1xx in the digital speedometer.";
  digit100_2,
    "Display 2xx in the digital speedometer.";
  digit100_3,
    "Display 3xx in the digital speedometer.";
  digit100_4,
    "Display 4xx in the digital speedometer.";
  digit100_off,
    "Display  xx in the digital speedometer.";
  digit10_0,
    "Display  x0x in the digital speedometer.";
  digit10_1,
    "Display  x1x in the digital speedometer.";
  digit10_2,
    "Display  x2x in the digital speedometer.";
  digit10_3,
    "Display  x3x in the digital speedometer.";
  digit10_4,
    "Display  x4x in the digital speedometer.";
  digit10_5,
    "Display  x5x in the digital speedometer.";
  digit10_6,
    "Display  x6x in the digital speedometer.";
  digit10_7,
    "Display  x7x in the digital speedometer.";
  digit10_8,
    "Display  x8x in the digital speedometer.";
  digit10_9,
    "Display  x9x in the digital speedometer.";
  digit10_off,
    "Display    x in the digital speedometer.";
  digit1_0,
    "Display  xx0 in the digital speedometer.";
  digit1_1,
    "Display  xx1 in the digital speedometer.";
  digit1_2,
    "Display  xx2 in the digital speedometer.";
  digit1_3,
    "Display  xx3 in the digital speedometer.";
  digit1_4,
    "Display  xx4 in the digital speedometer.";
  digit1_5,
    "Display  xx5 in the digital speedometer.";
  digit1_6,
    "Display  xx6 in the digital speedometer.";
  digit1_7,
    "Display  xx7 in the digital speedometer.";
  digit1_8,
    "Display  xx8 in the digital speedometer.";
  digit1_9,
    "Display  xx9 in the digital speedometer.";
  fan_max,
    "Set fan speed to max and disable automatik fan speed.";
  fan_max_off,
    "Enable automatic fan speed";
  fan_speed_0,
    "Stops the fan.";
  fan_speed_1,
    "Set the fan speed to the lovest speed.";
  fan_speed_2,
    "Set the fan speed to 2.";
  fan_speed_3,
    "Set the fan speed to 3.";
  fan_speed_4,
    "Set the fan speed to 4.";
  fan_speed_5,
    "Set the fan speed to 5 (max).";
  fan_speed_aut,
    "Set the fan speed automatic.";
  floor_fan_off,
    "disables the floor fan.";
  floor_fan_on,
    "Enables the floor fan.";
  increase_speed,
    "Increases the cruising speed with 2 km/h.";
  left_light_off,
    "Turns off the left indicator.";
  left_light_on,
    "Turns on the left indicator.";
  MAINTAINSPEED,
    "Maintain cruise speed";
  NoMaintain,
    "Stop maintaining constant speed, ie release control.";
  panel_fan_off,
    "disables the panel fan.";
  panel_fan_on,
    "enables the panel fan.";
  recirc_light_off,
    "Turn off the light in the recirculator button, fresh air mode.";
  recirc_light_on,
    "Turn on the light in the recirculator button, fresh air mode disabled.";
  reduce_speed,
    "Reduce cruising speed by 2 km/h.";
  right_light_off,
    "Turns off the right indicator.";
  right_light_on,
    "Turns on the right indicator.";
  SELECTSPEED,
    "Select current speed as cruise speed";
  springler_off,
    "Turn off the washer.";
  springler_on,
    "Turn on the washer.";
  start_timer_08,
    "Start the timer_08, a timeout event will happen in 0,8 seconds.";
  start_timer_1,
    "Start the timer_1, a timeout event will happen in 1 seconds.";
  start_timer_6,
    "Start the timer_6, a timeout event will happen in 6 seconds.";
  windscreen_fan_off,
    "Disables the windscreen fan.";
  windscreen_fan_on,
    "enables the windscreen fan.";
  wiper_high_left,
    "Start wiper motor direction left at high speed";
  wiper_high_right,
    "Start wiper motor direction right at high speed";
  wiper_motor_off,
    "Turns off the wiper_motor";
  wiper_normal_left,
    "Wiper motoer turn left at normal speed
";
  wiper_normal_right,
    "Wiper motor turn right at normal speed";

SE_RULE


/* Rules from temperature */
  SE_RESET : temp22 
    /*$$DCOND0 temperature @ 92.340 83.079 20.108 10.054 2 92.869 79.904 92.604 99.748 **$*/;
  temp_inc temp_min : temp18 
    /*$$DCOND0 temperature temp_min 6.879 30.427 20.108 10.054 2 29.104 17.727 28.575 55.827 **$*/;
  temp_inc temp18 : temp20 
    /*$$DCOND0 temperature temp18 6.350 75.406 20.108 10.054 2 28.840 65.881 28.840 99.483 **$*/;
  temp_inc temp20 : temp22 
    /*$$DCOND0 temperature temp20 53.181 110.860 20.108 10.054 2 47.890 107.950 83.079 108.479 **$*/;
  temp_inc temp22 : temp24 
    /*$$DCOND0 temperature temp22 114.829 110.067 20.108 10.054 2 103.188 109.008 138.642 108.479 **$*/;
  temp_inc temp24 : temp26 
    /*$$DCOND0 temperature temp24 140.494 78.052 20.108 10.054 2 157.427 99.483 157.162 65.881 **$*/;
  temp_inc temp26 : temp_max 
    /*$$DCOND0 temperature temp26 139.171 29.633 20.108 10.054 2 156.898 55.827 157.427 17.727 **$*/;
  temp_dec temp_max : temp26 
    /*$$DCOND0 temperature temp_max 118.004 33.337 20.108 10.054 2 140.494 17.727 139.700 55.827 **$*/;
  temp_dec temp26 : temp24 
    /*$$DCOND0 temperature temp26 118.533 78.846 20.108 10.054 2 139.700 65.881 139.965 99.483 **$*/;
  temp_dec temp24 : temp22 
    /*$$DCOND0 temperature temp24 109.802 94.985 20.108 10.054 2 138.642 100.806 103.188 100.806 **$*/;
  temp_dec temp22 : temp20 
    /*$$DCOND0 temperature temp22 55.033 94.456 20.108 10.054 2 83.079 100.542 47.890 100.542 **$*/;
  temp_dec temp20 : temp18 
    /*$$DCOND0 temperature temp20 48.419 72.231 20.108 10.054 2 45.508 99.483 46.567 65.881 **$*/;
  temp_dec temp18 : temp_min 
    /*$$DCOND0 temperature temp18 46.302 23.548 20.108 10.054 2 45.773 55.827 45.773 17.727 **$*/;
  temp_inc Fan_aut temp26 : fan_max 
    /*$$DCOND0 temperature temp26 98.954 49.477 35.983 10.054 4 138.377 60.060 97.367 59.796 97.367 63.500 138.377 62.971 **$*/;
  temp_dec Fan_aut temp18 : fan_max 
    /*$$DCOND0 temperature temp18 47.360 51.065 34.396 10.054 4 47.625 60.590 71.438 60.854 71.438 63.765 47.625 62.706 **$*/;
  temp_dec Fan_aut temp_max : fan_max_off 
    /*$$DCOND0 temperature temp_max 96.044 4.233 35.719 10.054 4 138.906 14.817 97.367 15.346 97.896 16.669 138.906 15.875 **$*/;
  temp_inc Fan_aut temp_min : fan_max_off 
    /*$$DCOND0 temperature temp_min 48.948 4.762 36.777 10.054 4 47.625 14.817 74.612 15.081 74.612 16.669 47.625 16.404 **$*/;

/* Rules from AC_mode */
  SE_RESET : Mode_aut 
    /*$$DCOND0 AC_mode @ 73.290 55.298 20.108 10.054 2 68.792 59.002 27.781 57.415 **$*/;
  mode_inc Mode_aut : panel windscreen_fan_off floor_fan_off 
    /*$$DCOND0 AC_mode Mode_aut 2.117 22.490 29.369 15.875 2 9.790 51.329 38.894 22.490 **$*/;
  mode_inc panel : Defrost Fresh_air panel_fan_off windscreen_fan_on recirc_light_off 
    /*$$DCOND0 AC_mode panel 2.910 0.794 83.079 18.785 2 59.002 20.902 92.340 8.202 **$*/;
  mode_inc Floor_windscreen : Floor windscreen_fan_off 
    /*$$DCOND0 AC_mode Floor_windscreen 128.323 95.250 29.369 10.054 2 168.804 61.383 111.125 113.506 **$*/;
  mode_inc Floor : Bi_level panel_fan_on 
    /*$$DCOND0 AC_mode Floor 55.298 106.892 20.637 10.054 2 91.017 113.242 59.796 102.394 **$*/;
  mode_inc Bi_level : Mode_aut windscreen_fan_on 
    /*$$DCOND0 AC_mode Bi_level 1.587 85.196 29.633 10.054 2 39.688 94.985 9.260 61.383 **$*/;
  mode_dec panel : Mode_aut floor_fan_on windscreen_fan_on 
    /*$$DCOND0 AC_mode panel 41.010 40.746 29.633 13.758 2 55.298 30.162 27.781 52.917 **$*/;
  mode_dec Mode_aut : Bi_level windscreen_fan_off 
    /*$$DCOND0 AC_mode Mode_aut 44.715 71.173 29.369 10.054 2 26.458 61.383 56.356 93.398 **$*/;
  mode_dec Bi_level : Floor panel_fan_off 
    /*$$DCOND0 AC_mode Bi_level 70.908 88.900 20.373 10.054 2 59.796 94.985 91.017 105.569 **$*/;
  mode_dec Floor : Floor_windscreen windscreen_fan_on 
    /*$$DCOND0 AC_mode Floor 98.425 64.558 29.633 10.054 2 111.125 106.362 136.790 61.383 **$*/;
  mode_dec Defrost : panel windscreen_fan_off panel_fan_on 
    /*$$DCOND0 AC_mode Defrost 70.115 23.019 29.369 15.610 2 91.017 17.462 59.002 26.987 **$*/;

/* Rules from Fan */
  SE_RESET : Fan_aut 
    /*$$DCOND0 Fan @ 82.021 3.969 20.108 10.054 2 112.448 10.054 48.948 10.848 **$*/;
  Fan_inc Fan_aut : Fan0 fan_speed_0 
    /*$$DCOND0 Fan Fan_aut 10.054 19.579 25.135 14.552 2 33.602 15.875 33.602 31.221 **$*/;
  Fan_dec Fan1 : Fan0 fan_speed_0 
    /*$$DCOND0 Fan Fan1 42.069 74.083 20.108 10.054 2 37.571 87.842 38.100 70.115 **$*/;
  Fan_dec Fan3 : Fan2 fan_speed_2 
    /*$$DCOND0 Fan Fan3 63.765 120.650 20.108 10.054 2 97.102 119.856 48.683 119.856 **$*/;
  Fan_inc Fan3 : Fan4 fan_speed_4 
    /*$$DCOND0 Fan Fan3 85.460 98.425 20.108 10.054 2 109.008 112.712 109.008 96.837 **$*/;
  Fan_dec Fan4 : Fan3 fan_speed_3 
    /*$$DCOND0 Fan Fan4 115.623 99.748 20.108 10.054 2 113.242 96.837 113.242 112.712 **$*/;
  Fan_inc Fan0 : Fan1 fan_speed_1 
    /*$$DCOND0 Fan Fan0 12.171 75.142 20.108 10.054 2 33.602 70.115 33.073 87.842 **$*/;
  Fan_inc Fan1 : Fan2 fan_speed_2 
    /*$$DCOND0 Fan Fan1 11.377 100.277 20.108 10.054 2 32.808 97.896 32.808 112.712 **$*/;
  Fan_dec Fan2 : Fan1 fan_speed_1 
    /*$$DCOND0 Fan Fan2 38.629 100.012 20.108 10.054 2 37.571 112.712 37.571 97.896 **$*/;
  Fan_inc Fan4 : Fan5 fan_speed_5 
    /*$$DCOND0 Fan Fan4 87.842 42.862 20.108 10.054 2 108.215 86.783 108.744 40.217 **$*/;
  Fan_dec Fan5 : Fan4 fan_speed_4 
    /*$$DCOND0 Fan Fan5 115.358 42.598 20.108 10.054 2 113.506 40.217 112.977 86.783 **$*/;
  Fan_dec Fan0 : Fan_aut 
    /*$$DCOND0 Fan Fan0 39.688 19.579 22.754 10.054 2 37.835 31.221 37.835 15.875 **$*/;
  Fan_inc Fan2 : Fan3 fan_speed_3 
    /*$$DCOND0 Fan Fan2 55.033 107.156 35.983 10.054 2 48.683 116.681 97.102 116.681 **$*/;
  Fan_dec !temp_max !temp_min Fan0 : fan_speed_aut 
    /*$$DCOND0 Fan Fan0 61.648 19.844 22.754 19.844 4 49.212 34.131 57.679 33.867 58.208 38.100 49.212 38.365 **$*/;
  Fan_dec !temp18 !temp20 !temp22 !temp24 !temp26 Fan0 : fan_speed_5 
    /*$$DCOND0 Fan Fan0 61.648 42.069 20.108 33.337 4 49.212 46.302 57.944 46.302 58.208 65.087 49.212 63.235 **$*/;

/* Rules from Recirculate */
  SE_RESET : Fresh_air 
    /*$$DCOND0 Recirculate @ 119.327 55.033 20.108 10.054 2 112.977 59.531 74.877 59.796 **$*/;
  recirc_released Recirculate_on : Fresh_air recirc_light_off 
    /*$$DCOND0 Recirculate Recirculate_on 33.073 33.602 23.812 10.054 2 56.356 23.283 56.885 53.975 **$*/;
  recirc_pressed !Defrost Fresh_air : Recirculate_on recirc_light_on 
    /*$$DCOND0 Recirculate Fresh_air 77.787 33.602 50.535 10.054 2 70.115 53.975 81.227 23.283 **$*/;

/* Rules from AirCon */
  SE_RESET : ACon 
    /*$$DCOND0 AirCon @ 42.069 1.058 20.108 10.054 2 28.310 6.085 52.917 15.346 **$*/;
  ACoff_pressed !Defrost ACon : ACoff ACoff_light_on 
    /*$$DCOND0 AirCon ACon 28.046 27.517 24.077 18.785 2 55.298 25.400 54.240 59.796 **$*/;
  ACoff_released ACoff : ACon ACoff_light_off 
    /*$$DCOND0 AirCon ACoff 72.231 37.571 23.548 10.054 2 70.379 59.796 70.379 25.400 **$*/;
  time_out_1 ACfault1 : ACfault2 ACoff_light_off 
    /*$$DCOND0 AirCon ACfault1 106.892 26.458 22.490 10.054 2 130.175 23.812 129.117 55.827 **$*/;
  time_out_1 ACfault2 : ACfault1 ACoff_light_on 
    /*$$DCOND0 AirCon ACfault2 147.637 27.252 22.490 10.054 2 146.844 56.885 146.579 22.225 **$*/;
  AC_fault ACon : ACfault1 
    /*$$DCOND0 AirCon ACon 97.896 9.525 20.108 10.054 2 72.231 17.198 126.471 15.610 **$*/;
  AC_fault ACoff : ACfault2 
    /*$$DCOND0 AirCon ACoff 88.106 56.621 20.108 10.054 2 72.231 65.881 126.735 61.912 **$*/;
  mode_inc panel ACoff : ACon ACoff_light_off 
    /*$$DCOND0 AirCon ACoff 13.229 65.617 22.225 16.404 4 52.123 64.029 14.817 64.029 15.875 19.579 52.123 19.844 **$*/;

/* Rules from Cruise */
  SE_RESET : Inactive 
    /*$$DCOND0 Cruise @ 35.190 119.327 20.108 10.054 2 21.960 120.121 69.850 134.673 **$*/;
  DEACTIVATE : Inactive NoMaintain 
    /*$$DCOND0 Cruise @ 26.458 133.350 21.696 10.054 2 22.225 143.933 67.998 139.700 **$*/;
  brake_pressed Cruising : Idle NoMaintain ,
    ""
    /*$$DCOND0 Cruise Cruising 138.642 55.827 30.956 10.054 3 85.990 84.931 139.435 85.725 141.817 33.602 **$*/;
  brake_pressed Overtaking : Idle ,
    ""
    /*$$DCOND0 Cruise Overtaking 66.410 20.373 30.956 5.292 2 58.473 26.458 126.471 26.194 **$*/;
  RESUME BrakeOff Idle : Cruising MAINTAINSPEED ,
    ""
    /*$$DCOND0 Cruise Idle 99.219 53.181 28.310 18.256 3 131.498 33.602 131.498 81.492 85.990 80.433 **$*/;
  Accel_pressed Cruising : Overtaking NoMaintain ,
    ""
    /*$$DCOND0 Cruise Cruising 47.625 57.150 28.575 9.260 2 48.154 78.317 48.419 33.867 **$*/;
  Accel_released BrakeOff Overtaking : Cruising MAINTAINSPEED 
    /*$$DCOND0 Cruise Overtaking 9.260 51.329 28.310 15.875 2 40.746 33.867 40.217 78.317 **$*/;
  SET BrakeOff Standby : Cruising SELECTSPEED MAINTAINSPEED ,
    ""
    /*$$DCOND0 Cruise Standby 85.725 91.281 28.310 15.346 3 116.152 105.040 82.021 105.040 81.756 88.371 **$*/;
  ACTIVATE Inactive : Standby 
    /*$$DCOND0 Cruise Inactive 100.277 130.704 20.108 10.054 3 88.106 136.525 134.144 136.260 134.673 112.977 **$*/;
  Disengagement Cruising : Standby NoMaintain ,
    ""
    /*$$DCOND0 Cruise Cruising 84.931 112.448 24.342 10.054 3 76.200 88.371 76.729 110.860 116.152 111.125 **$*/;
  minus Cruising : reduce_speed 
    /*$$DCOND0 Cruise Cruising 39.423 101.600 21.960 10.054 4 58.208 88.371 59.002 97.631 41.804 98.425 41.540 88.371 **$*/;
  plus Cruising : increase_speed 
    /*$$DCOND0 Cruise Cruising 5.556 101.600 24.606 10.054 4 24.871 88.371 25.135 98.954 14.023 98.160 11.112 86.254 **$*/;

/* Rules from Brake */
  SE_RESET : BrakeOn 
    /*$$DCOND0 Brake @ 53.710 84.137 20.108 10.054 2 85.460 91.017 45.244 91.017 **$*/;
  brake_released BrakeOn : BrakeOff ,
    ""
    /*$$DCOND0 Brake BrakeOn 3.704 50.535 26.458 10.054 2 30.162 85.460 30.162 20.108 **$*/;
  brake_pressed BrakeOff : BrakeOn ,
    ""
    /*$$DCOND0 Brake BrakeOff 41.540 32.015 30.956 10.054 2 40.217 20.108 40.217 85.460 **$*/;

/* Rules from Accelerator */
  SE_RESET : AcceleratorOff 
    /*$$DCOND0 Accelerator @ 63.235 2.117 20.108 10.054 2 96.308 14.287 55.298 14.287 **$*/;
  Accel_pressed AcceleratorOff : AcceleratorOn ,
    ""
    /*$$DCOND0 Accelerator AcceleratorOff 8.202 60.325 23.283 10.054 2 32.544 20.108 32.544 85.460 **$*/;
  Accel_released AcceleratorOn : AcceleratorOff ,
    ""
    /*$$DCOND0 Accelerator AcceleratorOn 50.271 32.279 24.077 10.054 2 47.625 85.460 47.625 20.108 **$*/;

/* Rules from flash_dir */
  SE_RESET : no_flash 
    /*$$DCOND0 flash_dir @ 82.815 27.517 20.637 14.287 2 82.815 16.669 82.815 41.540 **$*/;
  left_pressed no_flash : left_flash 
    /*$$DCOND0 flash_dir no_flash 46.302 49.477 20.108 10.054 2 71.438 48.154 42.069 48.154 **$*/;
  left_released left_flash : no_flash 
    /*$$DCOND0 flash_dir left_flash 47.096 39.423 20.108 10.054 2 42.069 44.979 71.438 44.979 **$*/;
  right_pressed no_flash : right_flash 
    /*$$DCOND0 flash_dir no_flash 96.837 48.683 21.431 10.054 2 94.721 48.419 121.179 48.419 **$*/;
  right_released right_flash : no_flash 
    /*$$DCOND0 flash_dir right_flash 96.573 39.158 21.960 10.054 2 121.179 44.979 94.721 44.979 **$*/;

/* Rules from flash_hasard */
  SE_RESET : hasard_off 
    /*$$DCOND0 flash_hasard @ 18.521 43.127 20.108 10.054 2 10.319 47.625 45.773 47.625 **$*/;
  hasard_pressed hasard_off : hasard_on 
    /*$$DCOND0 flash_hasard hasard_off 72.231 40.217 24.871 10.054 2 65.881 45.773 104.775 45.773 **$*/;
  hasard_released hasard_on : hasard_off 
    /*$$DCOND0 flash_hasard hasard_on 71.702 52.652 25.665 10.054 2 104.775 51.065 65.881 51.065 **$*/;

/* Rules from flash_light */
  SE_RESET : light_off 
    /*$$DCOND0 flash_light @ 19.315 13.494 20.108 10.054 2 12.171 7.408 30.427 36.248 **$*/;
  time_out_08 hasard_on light_off : light_on left_light_on right_light_on start_timer_08 
    /*$$DCOND0 flash_light light_off 53.710 31.221 79.640 12.435 2 48.683 41.010 135.996 41.010 **$*/;
  time_out_08 light_on : light_off right_light_off left_light_off start_timer_08 
    /*$$DCOND0 flash_light light_on 51.858 80.698 80.433 14.023 2 135.996 90.752 48.683 90.752 **$*/;
  time_out_08 left_flash hasard_off light_off : light_on left_light_on start_timer_08 
    /*$$DCOND0 flash_light light_off 52.123 43.921 82.550 10.054 2 48.683 53.446 135.996 53.446 **$*/;
  time_out_08 right_flash hasard_off light_off : light_on right_light_on start_timer_08 
    /*$$DCOND0 flash_light light_off 48.948 55.827 85.196 10.054 2 48.683 65.087 135.996 65.087 **$*/;
  left_pressed hasard_off light_off : light_on left_light_on start_timer_08 
    /*$$DCOND0 flash_light light_off 51.065 93.133 83.344 10.054 2 48.683 102.658 135.996 102.658 **$*/;
  right_pressed hasard_off light_off : light_on right_light_on start_timer_08 
    /*$$DCOND0 flash_light light_off 50.271 105.569 82.550 10.054 2 48.683 115.094 135.996 115.094 **$*/;
  hasard_pressed light_off : light_on left_light_on right_light_on start_timer_08 
    /*$$DCOND0 flash_light light_off 49.477 118.269 84.137 11.642 2 48.683 128.058 135.996 128.058 **$*/;
  flash_off hasard_off light_on : light_off left_light_off right_light_off 
    /*$$DCOND0 flash_light light_on 48.683 67.733 85.725 10.054 2 135.996 77.258 48.683 77.258 **$*/;
  hasard_released no_flash light_on : light_off left_light_off right_light_off 
    /*$$DCOND0 flash_light light_on 63.765 134.144 55.033 10.054 2 135.996 143.404 48.683 143.404 **$*/;

/* Rules from wiper */
  SE_RESET : wiper_standby 
    /*$$DCOND0 wiper @ 20.902 38.365 20.108 10.054 2 13.229 34.660 53.181 53.710 **$*/;
  single_pressed wiper_standby : single_sweep 
    /*$$DCOND0 wiper wiper_standby 29.104 21.696 40.217 10.848 2 62.442 40.217 62.177 15.346 **$*/;
  normal_speed_released Normal_speed : wiper_standby 
    /*$$DCOND0 wiper Normal_speed 95.250 35.454 36.777 10.054 2 139.171 41.540 82.285 43.656 **$*/;
  intermittent_released intermittent_wiping : wiper_standby 
    /*$$DCOND0 wiper intermittent_wiping 87.048 119.327 32.544 10.054 2 128.588 126.471 82.285 127.265 **$*/;
  single_released single_sweep : wiper_standby 
    /*$$DCOND0 wiper single_sweep 69.850 22.754 29.104 10.054 2 68.527 15.346 67.733 40.217 **$*/;
  normal_speed_pressed wiper_standby : Normal_speed 
    /*$$DCOND0 wiper wiper_standby 84.667 49.212 56.092 10.054 2 82.285 48.683 139.171 46.567 **$*/;
  high_speed_pressed wiper_standby : high_speed 
    /*$$DCOND0 wiper wiper_standby 85.460 76.200 50.006 10.054 2 82.285 83.344 141.023 82.021 **$*/;
  high_speed_release high_speed : wiper_standby 
    /*$$DCOND0 wiper high_speed 92.340 89.958 30.956 10.054 2 141.023 87.312 82.285 88.635 **$*/;
  intermittent_pressed wiper_standby : intermittent_wiping start_timer_6 
    /*$$DCOND0 wiper wiper_standby 83.079 133.350 44.979 12.700 2 82.285 132.027 128.588 131.762 **$*/;
  time_out_6 intermittent_wiping : start_timer_6 
    /*$$DCOND0 wiper intermittent_wiping 135.202 108.215 20.637 10.054 4 130.440 124.619 130.440 118.269 159.279 118.269 159.544 124.619 **$*/;

/* Rules from wwm_right_left */
  SE_RESET : stopped 
    /*$$DCOND0 wwm_right_left @ 28.046 3.969 20.108 10.054 2 18.521 8.467 69.850 8.467 **$*/;
  wiper_start_normal stopped : moving_left wiper_normal_left 
    /*$$DCOND0 wwm_right_left stopped 111.654 26.458 29.369 10.054 4 100.806 15.610 100.806 35.983 156.104 35.983 156.104 82.550 **$*/;
  wiper_reach_left single_sweep w_w_standby moving_left : moving_right wiper_normal_right 
    /*$$DCOND0 wwm_right_left moving_left 47.360 76.994 76.729 15.610 2 137.848 86.254 35.719 86.254 **$*/;
  wiper_reach_right Normal_speed w_w_standby moving_right : moving_left wiper_normal_left 
    /*$$DCOND0 wwm_right_left moving_right 47.096 89.958 82.021 11.642 2 35.719 99.483 137.848 99.483 **$*/;
  wiper_reach_right single_sweep w_w_standby moving_right : stopped wiper_motor_off 
    /*$$DCOND0 wwm_right_left moving_right 38.100 17.462 29.104 22.490 5 13.229 94.192 8.202 94.192 8.202 36.248 81.756 36.248 81.756 15.610 **$*/;
  wiper_reach_left Normal_speed w_w_standby moving_left : moving_right wiper_normal_right 
    /*$$DCOND0 wwm_right_left moving_left 43.392 103.188 87.577 16.669 2 137.848 113.242 35.719 113.242 **$*/;
  wiper_reach_left high_speed w_w_standby moving_left : moving_right wiper_high_right 
    /*$$DCOND0 wwm_right_left moving_left 46.302 131.498 82.815 10.054 2 137.848 141.287 35.719 141.287 **$*/;
  wiper_reach_right high_speed w_w_standby moving_right : moving_left wiper_high_left 
    /*$$DCOND0 wwm_right_left moving_right 42.069 116.946 91.546 10.054 2 35.719 127.265 137.848 127.265 **$*/;
  wiper_reach_left intermittent_wiping w_w_standby moving_left : moving_right wiper_normal_right 
    /*$$DCOND0 wwm_right_left moving_left 39.158 145.521 96.573 10.054 2 137.848 155.840 35.719 155.840 **$*/;
  wiper_reach_right intermittent_wiping w_w_standby moving_right : stopped wiper_motor_off 
    /*$$DCOND0 wwm_right_left moving_right 15.346 41.275 71.967 16.669 5 13.229 84.137 11.377 84.137 11.377 54.769 85.990 55.033 85.990 15.610 **$*/;
  time_out_6 intermittent_wiping stopped : moving_left wiper_normal_left 
    /*$$DCOND0 wwm_right_left stopped 98.425 44.450 55.033 10.054 4 97.631 15.610 97.631 54.240 151.871 54.240 151.871 82.550 **$*/;
  wiper_reach_left ww_washing moving_left : moving_right wiper_high_right 
    /*$$DCOND0 wwm_right_left moving_left 59.796 160.073 52.652 10.054 2 137.848 170.392 35.719 170.392 **$*/;
  wiper_reach_right ww_washing moving_right : moving_left wiper_high_left 
    /*$$DCOND0 wwm_right_left moving_right 61.648 175.154 49.477 10.054 2 35.719 184.944 137.848 184.944 **$*/;
  wiper_reach_left ww_wiping moving_left : moving_right wiper_high_right 
    /*$$DCOND0 wwm_right_left moving_left 63.765 188.383 45.773 10.054 2 137.848 198.438 35.719 198.438 **$*/;
  wiper_reach_right ww_wiping moving_right : moving_left wiper_high_left 
    /*$$DCOND0 wwm_right_left moving_right 62.442 202.406 49.212 10.054 2 35.719 212.725 137.848 212.725 **$*/;
  wiper_reach_right wiper_standby w_w_standby moving_right : stopped wiper_motor_off 
    /*$$DCOND0 wwm_right_left moving_right 14.023 60.854 78.846 10.054 4 16.404 82.021 16.404 71.967 89.958 71.967 89.958 15.610 **$*/;
  wiper_reach_left wiper_standby w_w_standby moving_left : moving_right wiper_normal_right 
    /*$$DCOND0 wwm_right_left moving_left 43.921 217.223 89.694 10.054 2 137.848 227.806 35.719 227.806 **$*/;
  wiper_start_high stopped : moving_left wiper_high_left 
    /*$$DCOND0 wwm_right_left stopped 108.744 61.912 25.400 10.054 4 93.398 15.610 93.398 71.438 147.637 71.438 147.637 82.550 **$*/;

/* Rules from wash_wipe */
  SE_RESET : w_w_standby 
    /*$$DCOND0 wash_wipe @ 12.965 10.319 20.108 10.054 2 6.350 15.081 61.648 21.696 **$*/;
  ww_pressed w_w_standby : ww_washing springler_on 
    /*$$DCOND0 wash_wipe w_w_standby 22.754 41.010 26.987 12.965 2 61.648 23.812 44.715 58.473 **$*/;
  ww_released ww_washing : ww_wiping springler_off 
    /*$$DCOND0 wash_wipe ww_washing 65.617 52.652 20.108 10.054 2 46.037 62.971 107.685 63.765 **$*/;
  wiper_reach_right wipe_count_1 ww_wiping : w_w_standby 
    /*$$DCOND0 wash_wipe ww_wiping 100.277 34.925 29.104 10.054 2 110.067 60.325 89.165 26.987 **$*/;
  ww_pressed ww_wiping : ww_washing springler_on 
    /*$$DCOND0 wash_wipe ww_wiping 63.500 68.263 20.108 10.054 2 107.685 67.204 46.037 66.410 **$*/;

/* Rules from wipe_count */
  SE_RESET : wipe_count_0 
    /*$$DCOND0 wipe_count @ 24.871 5.821 20.108 10.054 2 4.762 3.969 50.535 20.108 **$*/;
  ww_released : wipe_count_0 
    /*$$DCOND0 wipe_count @ 85.460 5.556 20.108 10.054 2 125.942 2.910 81.492 20.108 **$*/;
  wiper_reach_right ww_wiping wipe_count_0 : wipe_count_1 
    /*$$DCOND0 wipe_count wipe_count_0 32.279 40.746 29.104 10.054 2 58.473 30.162 58.473 61.383 **$*/;
  wiper_reach_right ww_wiping wipe_count_1 : wipe_count_0 
    /*$$DCOND0 wipe_count wipe_count_1 68.263 41.275 29.104 10.054 2 67.204 61.383 67.204 30.162 **$*/;

/* Rules from speed_1_meter */
  SE_RESET : speed_d1_0 start_timer_1 
    /*$$DCOND0 speed_1_meter @ 14.552 2.646 20.637 10.054 2 4.498 5.027 29.369 24.871 **$*/;
  time_out_1 : speed_d1_0 start_timer_1 
    /*$$DCOND0 speed_1_meter @ 42.333 7.673 20.637 10.054 2 44.185 2.646 37.042 23.548 **$*/;
  W_pulse speed_d1_0 : speed_d1_1 
    /*$$DCOND0 speed_1_meter speed_d1_0 47.625 21.167 20.108 10.054 2 50.800 27.781 64.558 28.310 **$*/;
  W_pulse speed_d1_1 : speed_d1_2 
    /*$$DCOND0 speed_1_meter speed_d1_1 87.312 22.490 20.108 10.054 2 88.900 28.310 105.040 28.046 **$*/;
  W_pulse speed_d1_2 : speed_d1_3 
    /*$$DCOND0 speed_1_meter speed_d1_2 129.381 20.637 20.108 10.054 2 127.529 24.606 140.494 36.248 **$*/;
  time_out_1 speed_d1_0 : digit1_0 
    /*$$DCOND0 speed_1_meter speed_d1_0 36.248 38.100 20.108 15.875 4 44.715 33.602 47.360 38.100 34.660 38.894 34.925 33.602 **$*/;
  W_pulse speed_d1_3 : speed_d1_4 
    /*$$DCOND0 speed_1_meter speed_d1_3 150.283 50.271 20.108 10.054 2 151.077 46.302 151.871 63.765 **$*/;
  W_pulse speed_d1_4 : speed_d1_5 
    /*$$DCOND0 speed_1_meter speed_d1_4 147.637 78.846 20.108 10.054 2 152.135 73.819 142.081 92.340 **$*/;
  W_pulse speed_d1_5 : speed_d1_6 
    /*$$DCOND0 speed_1_meter speed_d1_5 110.860 102.129 20.108 10.054 2 130.704 100.806 109.273 101.865 **$*/;
  W_pulse speed_d1_6 : speed_d1_7 
    /*$$DCOND0 speed_1_meter speed_d1_6 66.940 106.627 20.108 10.054 2 90.487 106.362 65.617 104.246 **$*/;
  W_pulse speed_d1_7 : speed_d1_8 
    /*$$DCOND0 speed_1_meter speed_d1_7 23.283 94.721 20.108 10.054 2 45.508 102.923 28.046 89.429 **$*/;
  W_pulse speed_d1_8 : speed_d1_9 
    /*$$DCOND0 speed_1_meter speed_d1_8 4.233 66.940 20.108 10.054 2 20.637 79.375 25.135 64.558 **$*/;
  W_pulse speed_d1_9 : speed_d1_0 
    /*$$DCOND0 speed_1_meter speed_d1_9 6.085 35.983 20.108 10.054 2 24.077 54.504 29.369 27.781 **$*/;
  time_out_1 speed_d1_1 : digit1_1 
    /*$$DCOND0 speed_1_meter speed_d1_1 68.263 39.688 20.108 15.875 4 80.698 32.544 82.021 37.835 71.702 38.365 71.173 32.544 **$*/;
  time_out_1 speed_d1_2 : digit1_2 
    /*$$DCOND0 speed_1_meter speed_d1_2 102.923 37.835 20.108 14.287 4 106.892 32.808 105.833 37.306 125.412 37.042 124.090 32.808 **$*/;
  time_out_1 speed_d1_3 : digit1_3 
    /*$$DCOND0 speed_1_meter speed_d1_3 119.062 47.890 20.108 14.817 4 138.906 44.715 135.467 46.831 133.350 38.894 138.906 38.100 **$*/;
  time_out_1 speed_d1_4 : digit1_4 
    /*$$DCOND0 speed_1_meter speed_d1_4 115.358 64.823 20.108 15.346 4 142.081 65.087 137.319 64.294 137.848 75.406 142.081 72.231 **$*/;
  time_out_1 speed_d1_5 : digit1_5 
    /*$$DCOND0 speed_1_meter speed_d1_5 109.273 83.608 20.108 10.054 4 135.467 92.340 130.704 86.783 127.000 93.133 130.704 95.250 **$*/;
  time_out_1 speed_d1_6 : digit1_6 
    /*$$DCOND0 speed_1_meter speed_d1_6 88.106 87.842 20.108 10.054 4 106.627 101.865 106.627 98.954 94.456 99.483 96.308 101.865 **$*/;
  time_out_1 speed_d1_7 : digit1_7 
    /*$$DCOND0 speed_1_meter speed_d1_7 56.621 84.931 20.108 10.054 4 65.087 98.954 65.617 96.044 57.415 96.044 56.885 98.954 **$*/;
  time_out_1 speed_d1_8 : digit1_8 
    /*$$DCOND0 speed_1_meter speed_d1_8 42.598 72.231 20.108 10.054 4 37.306 86.783 45.508 84.667 42.069 78.317 37.306 80.962 **$*/;
  time_out_1 speed_d1_9 : digit1_9 
    /*$$DCOND0 speed_1_meter speed_d1_9 43.921 54.769 20.108 10.054 4 37.571 62.971 43.392 66.940 43.392 54.504 35.983 54.504 **$*/;

/* Rules from speed_1_carry */
  SE_RESET : sc1_clear 
    /*$$DCOND0 speed_1_carry @ 17.198 7.938 20.108 10.054 2 6.879 5.556 33.073 29.104 **$*/;
  W_pulse speed_d1_8 sc1_clear : sc1_set 
    /*$$DCOND0 speed_1_carry sc1_clear 54.504 20.108 20.108 10.054 2 53.181 29.898 79.110 29.369 **$*/;
  W_pulse sc1_set : sc1_clear 
    /*$$DCOND0 speed_1_carry sc1_set 56.092 36.248 20.108 10.054 2 79.110 35.454 53.181 35.190 **$*/;
  time_out_1 sc1_set : sc1_clear 
    /*$$DCOND0 speed_1_carry sc1_set 53.446 57.415 20.108 10.054 4 90.487 36.777 87.577 57.150 41.804 56.621 42.333 37.835 **$*/;

/* Rules from speed_10_meter */
  SE_RESET : speed_d10_0 
    /*$$DCOND0 speed_10_meter @ 7.673 4.498 20.637 10.054 2 4.498 5.027 33.073 23.548 **$*/;
  time_out_1 : speed_d10_0 
    /*$$DCOND0 speed_10_meter @ 43.127 4.233 20.637 10.054 2 44.185 2.646 37.042 23.548 **$*/;
  W_pulse sc1_set speed_d10_0 : speed_d10_1 
    /*$$DCOND0 speed_10_meter speed_d10_0 48.154 18.256 20.108 10.054 2 50.800 27.781 67.998 25.400 **$*/;
  W_pulse sc1_set speed_d10_1 : speed_d10_2 
    /*$$DCOND0 speed_10_meter speed_d10_1 89.694 16.669 20.108 10.054 2 92.340 25.400 108.215 26.987 **$*/;
  W_pulse sc1_set speed_d10_2 : speed_d10_3 
    /*$$DCOND0 speed_10_meter speed_d10_2 129.381 20.637 20.108 10.054 2 130.704 23.548 140.494 36.248 **$*/;
  time_out_1 !speed_d100_0 speed_d10_0 : digit10_0 
    /*$$DCOND0 speed_10_meter speed_d10_0 36.248 38.100 23.548 15.875 4 44.715 33.602 47.360 38.100 34.660 38.894 34.925 33.602 **$*/;
  W_pulse sc1_set speed_d10_3 : speed_d10_4 
    /*$$DCOND0 speed_10_meter speed_d10_3 150.283 50.271 20.108 10.054 2 152.929 46.302 155.575 63.500 **$*/;
  W_pulse sc1_set speed_d10_4 : speed_d10_5 
    /*$$DCOND0 speed_10_meter speed_d10_4 147.637 78.846 20.108 10.054 2 155.840 73.554 144.727 92.340 **$*/;
  W_pulse sc1_set speed_d10_5 : speed_d10_6 
    /*$$DCOND0 speed_10_meter speed_d10_5 110.860 102.129 20.108 10.054 2 130.969 100.806 109.273 101.865 **$*/;
  W_pulse sc1_set speed_d10_6 : speed_d10_7 
    /*$$DCOND0 speed_10_meter speed_d10_6 66.940 106.627 20.108 10.054 2 86.519 106.362 65.352 104.246 **$*/;
  W_pulse sc1_set speed_d10_7 : speed_d10_8 
    /*$$DCOND0 speed_10_meter speed_d10_7 23.283 94.721 20.108 10.054 2 42.333 102.923 26.194 89.429 **$*/;
  W_pulse sc1_set speed_d10_8 : speed_d10_9 
    /*$$DCOND0 speed_10_meter speed_d10_8 4.233 66.940 20.108 10.054 2 17.727 79.375 23.283 64.558 **$*/;
  W_pulse sc1_set speed_d10_9 : speed_d10_0 
    /*$$DCOND0 speed_10_meter speed_d10_9 6.879 39.423 20.108 10.054 2 21.960 54.504 31.485 33.602 **$*/;
  time_out_1 speed_d10_1 : digit10_1 
    /*$$DCOND0 speed_10_meter speed_d10_1 71.173 39.158 20.108 15.875 4 84.137 29.633 82.021 37.835 71.702 38.365 74.612 29.633 **$*/;
  time_out_1 speed_d10_2 : digit10_2 
    /*$$DCOND0 speed_10_meter speed_d10_2 102.923 37.835 20.108 14.287 4 110.067 31.750 105.833 37.306 125.412 37.042 127.265 31.750 **$*/;
  time_out_1 speed_d10_3 : digit10_3 
    /*$$DCOND0 speed_10_meter speed_d10_3 119.062 47.890 20.108 14.817 4 138.906 44.715 135.467 46.831 133.350 38.894 138.906 38.100 **$*/;
  time_out_1 speed_d10_4 : digit10_4 
    /*$$DCOND0 speed_10_meter speed_d10_4 115.358 64.823 20.108 15.346 4 143.404 64.823 137.319 64.294 137.848 75.406 143.404 71.967 **$*/;
  time_out_1 speed_d10_5 : digit10_5 
    /*$$DCOND0 speed_10_meter speed_d10_5 109.273 83.608 20.108 10.054 4 136.525 92.340 130.704 86.783 127.000 93.133 130.969 95.250 **$*/;
  time_out_1 speed_d10_6 : digit10_6 
    /*$$DCOND0 speed_10_meter speed_d10_6 88.106 87.842 20.108 10.054 4 106.098 101.865 106.627 98.954 94.456 99.483 93.398 101.865 **$*/;
  time_out_1 speed_d10_7 : digit10_7 
    /*$$DCOND0 speed_10_meter speed_d10_7 56.621 84.931 20.108 10.054 4 64.558 98.954 65.617 96.044 57.415 96.044 55.298 98.954 **$*/;
  time_out_1 speed_d10_8 : digit10_8 
    /*$$DCOND0 speed_10_meter speed_d10_8 42.598 72.231 20.108 10.054 4 37.042 86.783 45.508 84.667 42.069 78.317 37.042 80.962 **$*/;
  time_out_1 speed_d10_9 : digit10_9 
    /*$$DCOND0 speed_10_meter speed_d10_9 43.921 54.769 20.108 10.054 4 37.571 62.971 43.392 66.940 43.392 54.504 35.719 54.504 **$*/;
  time_out_1 speed_d100_0 speed_d10_0 : digit10_off 
    /*$$DCOND0 speed_10_meter speed_d10_0 2.646 20.637 22.754 18.521 4 29.369 31.485 25.929 35.190 26.194 23.019 29.369 26.194 **$*/;

/* Rules from speed_10_carry */
  SE_RESET : sc10_clear 
    /*$$DCOND0 speed_10_carry @ 14.552 5.821 20.108 10.054 2 10.583 7.938 34.131 20.637 **$*/;
  W_pulse speed_d10_9 speed_d1_8 sc10_clear : sc10_set 
    /*$$DCOND0 speed_10_carry sc10_clear 57.150 2.381 20.902 14.287 2 54.240 19.050 81.756 18.785 **$*/;
  W_pulse sc10_set : sc10_clear 
    /*$$DCOND0 speed_10_carry sc10_set 57.679 25.665 20.373 10.054 2 81.756 25.135 54.240 24.871 **$*/;
  time_out_1 sc10_set : sc10_clear 
    /*$$DCOND0 speed_10_carry sc10_set 61.648 38.629 20.108 10.054 4 92.340 27.252 92.075 37.571 48.419 38.629 46.567 26.987 **$*/;

/* Rules from speed_100_meter */
  SE_RESET : speed_d100_0 
    /*$$DCOND0 speed_100_meter @ 11.377 7.144 20.108 10.054 2 9.260 6.615 23.812 26.723 **$*/;
  time_out_1 : speed_d100_0 
    /*$$DCOND0 speed_100_meter @ 46.302 10.319 20.108 10.054 2 47.360 7.938 41.804 24.342 **$*/;
  W_pulse sc10_set speed_d100_0 : speed_d100_1 
    /*$$DCOND0 speed_100_meter speed_d100_0 52.123 20.902 20.108 10.054 2 52.123 29.104 71.967 29.898 **$*/;
  W_pulse sc10_set speed_d100_1 : speed_d100_2 
    /*$$DCOND0 speed_100_meter speed_d100_1 99.748 19.844 20.108 10.054 2 98.954 30.162 120.915 30.427 **$*/;
  time_out_1 speed_d100_1 : digit100_1 
    /*$$DCOND0 speed_100_meter speed_d100_1 75.406 40.217 20.108 10.054 4 94.192 35.190 96.308 39.423 74.877 38.894 77.523 35.190 **$*/;
  W_pulse sc10_set speed_d100_2 : speed_d100_3 
    /*$$DCOND0 speed_100_meter speed_d100_2 143.933 43.921 20.108 10.054 2 147.637 35.454 142.875 61.383 **$*/;
  W_pulse sc10_set speed_d100_3 : are_you_nuts 
    /*$$DCOND0 speed_100_meter speed_d100_3 124.354 82.285 20.108 10.054 2 141.287 71.438 109.537 94.985 **$*/;
  time_out_1 speed_d100_2 : digit100_2 
    /*$$DCOND0 speed_100_meter speed_d100_2 114.035 43.127 20.108 10.054 4 141.287 35.454 133.879 41.275 121.973 41.010 126.471 35.454 **$*/;
  time_out_1 speed_d100_3 : digit100_3 
    /*$$DCOND0 speed_100_meter speed_d100_3 95.515 61.383 20.108 10.054 4 123.031 62.442 116.681 61.383 117.210 70.379 123.031 68.527 **$*/;
  time_out_1 are_you_nuts : digit100_4 
    /*$$DCOND0 speed_100_meter are_you_nuts 85.196 73.819 20.108 10.054 4 103.981 91.017 106.098 84.137 85.196 84.667 88.106 91.017 **$*/;
  time_out_1 speed_d100_0 : digit100_off 
    /*$$DCOND0 speed_100_meter speed_d100_0 27.252 41.804 20.108 10.054 4 44.450 34.396 46.831 39.423 27.252 39.688 30.427 34.396 **$*/;
