read `ParkingPollack.txt`:

ra:=rand(1..10):

print(`This illustates the crucial lemmat `):
P:=[seq(ra(),i=1..9)]:

EmptyMatesV(P):

quit: