Change state

Hey guys, i have to do brainteberg vehicle with changing modes and it's not working. Any advice?
My code:
include "Servo.h"
Servo leftServo;
Servo rightServo;
int Led1 = 4;
int Led2 = 4;
int button1 = 7;
int button2 = 6;
int leftValue = 0;
int rightValue = 0;
boolean LedON1 = false;
boolean LedON2 = false;
int lave;
int x;
int y;

void setup() {
leftServo.attach(10);
rightServo.attach(9);
pinMode(Led1, OUTPUT);
pinMode(Led2, OUTPUT);
pinMode(button1, INPUT);
pinMode(button2, INPUT);
pinMode(A0, INPUT_PULLUP);
pinMode(A1, INPUT_PULLUP);
Serial.begin(9600);
}
void nula() {
digitalWrite(Led1, LOW);
digitalWrite(Led2, LOW);
}
void loop() {
leftValue = (analogRead(0) - 50) / 50;
rightValue = (analogRead(1) - 50) / 50;
int stav1 = digitalRead(button1);
if(stav1 == 1 ){
LedON1 = ! LedON1;
digitalWrite(Led1, HIGH);
digitalWrite(Led2, LOW);
do {
x = digitalRead(button1);
y = digitalRead(button2);
} while (lave >= 80);

leftServo.write(89 + rightValue);
rightServo.write(89 - leftValue);
delay(10);
nula();
int stav2 = digitalRead(button2);
if(stav2 == 2 ){
LedON2 = ! LedON2;
digitalWrite(Led1, LOW);
digitalWrite(Led2, HIGH);
do {
x = digitalRead(button1);
y = digitalRead(button2);
} while (lave >= 80);

leftServo.write(89 - rightValue);
rightServo.write(89 + leftValue);
delay(10);

nula();
}
}}

it’s not working. Any advice?

Advice ?

More details if what it should do and what it actually does would be a start.
Auto formatting the code in the IDE would be good too, as would posting the code in code tags as described in read this before posting a programming question

include "Servo.h" does not even compile

(deleted)