Parking lot counter. Stuck, need help.

Hello everybody,
I've got a course project that needs to be done, and I am utterly stuck with no idea how to continue.
The idea is simple - make a counter for free and occupied spots for a parking lot (I've attached a visual example)
It can only hold 10 cars, so it should go only until 10. I've done quite a bit of work, but at this point I have a few problems.
X1 - Cannot get it show numbers with binary code properly.
X2 - Cannot figure out the way to get "s" to decrease when "a" is pressed and the exact opposite.

Added both files to the zip attachment, any help will be really appreciated and will be mentioned in the end project.
Thank you in advance,
Martin

EDIT: Added the pictures of the project.

I cannot display .ms12 files, whatever they are.
You need to post them in a standard file form.

I haven't used electronics workbench for ages now... You'll have to export the schematics as a png or bmp...

Bump:Added the schematics as png files.

Still need help peeps..

See my comments in the attached copies of your schematics.
JimB