6 ["/Users/thomashales/Desktop/flyspeck_google/source/inequalities/";
7 "/Users/thomashales/Desktop/flyspeck_google/source/text_formalization/"]
11 ["/Users/thomashales/Desktop/flyspeck_google/flyspeck/inequalities/";
12 "/Users/thomashales/Desktop/flyspeck_google/flyspeck/text_formalization/"]