Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001564590-18-005017-index-headers.html | 2018-03-09 06:00:40 | |
| 0001564590-18-005017-index.html | 2018-03-09 06:00:40 | |
| 0001564590-18-005017.txt | 2018-03-09 06:00:40 | |
| mant-8k_20180306.htm | 28073 | 2018-03-09 06:00:40 |
| mant-ex101_8.htm | 60312 | 2018-03-09 06:00:40 |
| mant-ex102_9.htm | 36138 | 2018-03-09 06:00:40 |