Logis Technologies is a small IT company located in the city centre. It develops hardware and software for smart home applications.

Logis Technologies owns four car-parking spaces in the city centre, which are used *only* by its employees.  The company developed an in-house system for monitoring occupancy of its car-parking spaces. This information is accessible to the employees via a web portal on the company's intranet.

The information about the occupancy of the car parking spaces is collected by the company's own sensors and stored in a plain ASCII text file parkinfo.txt. Every line in that file describes occupancy of a single car parking space. A single newline character separates text lines. Given below is a complete example of parkinfo.txt content.

85 St. Stephen's Green : Johnson

33 Synge Street : Gladyshev

21 Westland Row : Lowry

2/3 Kildare Street : empty

Every 30 seconds this file is downloaded from the parking space monitoring system by a program running on the company's web portal.

You are investigating an intellectual property theft at Logis Technologies and you would like to determine if a particular individual's car was parked in one of the Logis parking spaces at a particular date and time. Unfortunately, the historic parkinfo.txt files are continuously overwritten with the new data. All you have is the Apache web server access log from the parking space monitoring system, which looks like this:

192.168.44.15 - - [11/May/2015:15:00:00 +0000] "GET /parkinfo.txt HTTP/1.1" 200 114

192.168.44.15 - - [11/May/2015:15:00:30 +0000] "GET /parkinfo.txt HTTP/1.1" 200 114

192.168.44.15 - - [11/May/2015:15:01:00 +0000] "GET /parkinfo.txt HTTP/1.1" 200 112

192.168.44.15 - - [11/May/2015:15:01:30 +0000] "GET /parkinfo.txt HTTP/1.1" 200 118

The last number recorded on each line is the size of the transmitted parkinfo.txt file in byte. It is easy to see that different combinations of surnames present in parkinfo.txt will result in different lengths of the parkinfo.txt file.

Download the attached file 'variants.zip'. It contains ten files named 0.txt, 1.txt, ... 9.txt. Find the file whose name corresponds to the last digit of your student number (for example, if your student number is S1576893 the last digit is '3' and the corresponding variant file is '3.txt' ).  It is your variant file.

You task is to write a ProbLog program that takes a particular size of parkinfo.txt file and calculates probabilities for all possible contents of parkinfo.txt taking into account all additional evidence and information contained in your variant file.

When you write the program, please note that

1. Everyone whose car can be parked in the Logis Technologies car parking spaces is listed in your variant file.

2. It is not possible for the same individual to simultaneously park in two or more parking spaces.

3. More than one parking slot can be empty at the same time.

Logis Technologies employees who can park their cars in the company spaces:

• Estes
• Landry
• Mccarthy
• Robbins
• Gardner

Additional evidence:

* Mr. Robbins drives to work one day a week, and cycles to work all other days to stay fit.

* There is an eyewitness who saw Mr. Estes's car parked in 85 St. Stephen's Green at the time of interest.

Given the above information, identify probable contents of parkinfo.txt if its size is 113 bytes.

Attachment:- Sample.rar