// this section was generated automatically by rusEFI tool config_definition_base.jar based on (unknown script) integration/rusefi_config_trigger.txt Sat Jul 29 17:52:56 UTC 2023
// this section was generated automatically by rusEFI tool config_definition_base.jar based on (unknown script) integration/rusefi_config_trigger.txt Sat Jul 29 17:52:56 UTC 2023