<commit_before>#### Intent
This project is an example of Computational Reasoning. It acts as a geometric theorems
prover. More specifically, it is designed to prove Morley's Trisector Theorem (as of June, 2016).

#### To Run the Program
Execute `run.py` script.

#### Functionality
[Activity Diagram](https://drive.google.com/open?id=1NkYzuc2SvzuM0E-Suw00hTjIOd0kKMthwJZFddhUuCc)  
[Class Diagram](https://drive.google.com/open?id=0B13UVf6NnzqsUnRobzFkcldDR2c)

#### Format of `input.txt`
`input.txt` file serves as an input source for the project. It contains data about the vertices
and the angles of a triangulated figure.

The first number `n` on the first line in `input.txt` denotes a number of triangles in the triangulated figure.
The second number `m` on the first line in `input.txt` denotes a dimension of the angles that constitute those triangles.
The following `n` lines denote the points (vertices) and angles of each triangle in the triangulated figure.
The program will process first `n+1` lines in `input.txt` and neglect the remaining part.
<commit_msg>removed inline style line<commit_after>#### Intent
This project is an example of Computational Reasoning. It acts as a geometric theorems
prover. More specifically, it is designed to prove Morley's Trisector Theorem (as of June, 2016).

added by student

#### To Run the Program
Execute `run.py` script.

#### Functionality
[Activity Diagram](https://drive.google.com/open?id=1NkYzuc2SvzuM0E-Suw00hTjIOd0kKMthwJZFddhUuCc)  
[Class Diagram](https://drive.google.com/open?id=0B13UVf6NnzqsUnRobzFkcldDR2c)

#### Format of `input.txt`
`input.txt` file serves as an input source for the project. It contains data about the vertices
and the angles of a triangulated figure.

The first number `n` on the first line in `input.txt` denotes a number of triangles in the triangulated figure.
The second number `m` on the first line in `input.txt` denotes a dimension of the angles that constitute those triangles.
The following `n` lines denote the points (vertices) and angles of each triangle in the triangulated figure.
The program will process first `n+1` lines in `input.txt` and neglect the remaining part.

{'fraction_non_alphanumeric': 0.08095676172953081, 'fraction_numerical': 0.014719411223551058, 'mean_word_length': 5.075418994413408, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1127908', 'n_tokens_mistral': 677, 'n_tokens_neox': 641, 'n_words': 284}