1 build/exalg.o: src/snark/exalg.cpp /usr/include/stdc-predef.h \
2 /usr/include/c++/7/cstdio \
3 /usr/include/x86_64-linux-gnu/c++/7/bits/c++config.h \
4 /usr/include/x86_64-linux-gnu/c++/7/bits/os_defines.h \
5 /usr/include/features.h /usr/include/x86_64-linux-gnu/sys/cdefs.h \
6 /usr/include/x86_64-linux-gnu/bits/wordsize.h \
7 /usr/include/x86_64-linux-gnu/bits/long-double.h \
8 /usr/include/x86_64-linux-gnu/gnu/stubs.h \
9 /usr/include/x86_64-linux-gnu/gnu/stubs-64.h \
10 /usr/include/x86_64-linux-gnu/c++/7/bits/cpu_defines.h \
11 /usr/include/stdio.h \
12 /usr/include/x86_64-linux-gnu/bits/libc-header-start.h \
13 /usr/lib/gcc/x86_64-linux-gnu/7/include/stddef.h \
14 /usr/include/x86_64-linux-gnu/bits/types.h \
15 /usr/include/x86_64-linux-gnu/bits/typesizes.h \
16 /usr/include/x86_64-linux-gnu/bits/types/__FILE.h \
17 /usr/include/x86_64-linux-gnu/bits/types/FILE.h /usr/include/libio.h \
18 /usr/include/_G_config.h \
19 /usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h \
20 /usr/lib/gcc/x86_64-linux-gnu/7/include/stdarg.h \
21 /usr/include/x86_64-linux-gnu/bits/stdio_lim.h \
22 /usr/include/x86_64-linux-gnu/bits/sys_errlist.h \
23 /usr/include/x86_64-linux-gnu/bits/stdio.h \
24 /usr/include/x86_64-linux-gnu/bits/stdio2.h /usr/include/c++/7/cstdlib \
25 /usr/include/stdlib.h /usr/include/x86_64-linux-gnu/bits/waitflags.h \
26 /usr/include/x86_64-linux-gnu/bits/waitstatus.h \
27 /usr/include/x86_64-linux-gnu/bits/floatn.h \
28 /usr/include/x86_64-linux-gnu/bits/types/locale_t.h \
29 /usr/include/x86_64-linux-gnu/bits/types/__locale_t.h \
30 /usr/include/x86_64-linux-gnu/sys/types.h \
31 /usr/include/x86_64-linux-gnu/bits/types/clock_t.h \
32 /usr/include/x86_64-linux-gnu/bits/types/clockid_t.h \
33 /usr/include/x86_64-linux-gnu/bits/types/time_t.h \
34 /usr/include/x86_64-linux-gnu/bits/types/timer_t.h \
35 /usr/include/x86_64-linux-gnu/bits/stdint-intn.h /usr/include/endian.h \
36 /usr/include/x86_64-linux-gnu/bits/endian.h \
37 /usr/include/x86_64-linux-gnu/bits/byteswap.h \
38 /usr/include/x86_64-linux-gnu/bits/byteswap-16.h \
39 /usr/include/x86_64-linux-gnu/bits/uintn-identity.h \
40 /usr/include/x86_64-linux-gnu/sys/select.h \
41 /usr/include/x86_64-linux-gnu/bits/select.h \
42 /usr/include/x86_64-linux-gnu/bits/types/sigset_t.h \
43 /usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h \
44 /usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h \
45 /usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h \
46 /usr/include/x86_64-linux-gnu/bits/select2.h \
47 /usr/include/x86_64-linux-gnu/sys/sysmacros.h \
48 /usr/include/x86_64-linux-gnu/bits/sysmacros.h \
49 /usr/include/x86_64-linux-gnu/bits/pthreadtypes.h \
50 /usr/include/x86_64-linux-gnu/bits/thread-shared-types.h \
51 /usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h \
52 /usr/include/alloca.h \
53 /usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h \
54 /usr/include/x86_64-linux-gnu/bits/stdlib-float.h \
55 /usr/include/x86_64-linux-gnu/bits/stdlib.h \
56 /usr/include/c++/7/bits/std_abs.h /usr/include/c++/7/cmath \
57 /usr/include/c++/7/bits/cpp_type_traits.h \
58 /usr/include/c++/7/ext/type_traits.h /usr/include/math.h \
59 /usr/include/x86_64-linux-gnu/bits/math-vector.h \
60 /usr/include/x86_64-linux-gnu/bits/libm-simd-decl-stubs.h \
61 /usr/include/x86_64-linux-gnu/bits/huge_val.h \
62 /usr/include/x86_64-linux-gnu/bits/huge_val_flt128.h \
63 /usr/include/x86_64-linux-gnu/bits/huge_valf.h \
64 /usr/include/x86_64-linux-gnu/bits/huge_vall.h \
65 /usr/include/x86_64-linux-gnu/bits/inf.h \
66 /usr/include/x86_64-linux-gnu/bits/nan.h \
67 /usr/include/x86_64-linux-gnu/bits/flt-eval-method.h \
68 /usr/include/x86_64-linux-gnu/bits/fp-logb.h \
69 /usr/include/x86_64-linux-gnu/bits/fp-fast.h \
70 /usr/include/x86_64-linux-gnu/bits/mathcalls-helper-functions.h \
71 /usr/include/x86_64-linux-gnu/bits/mathcalls.h \
72 /usr/include/x86_64-linux-gnu/bits/iscanonical.h \
73 /usr/include/x86_64-linux-gnu/bits/mathinline.h src/snark/blkdta.h \
74 src/snark/creacm.h src/snark/geom.h src/snark/term.h \
75 src/snark/termtest.h src/snark/raysel.h src/snark/uiod.h \
76 src/snark/int2str.h src/snark/second.h src/snark/bldlst.h \
77 src/snark/projfile.h src/snark/spctrm.h src/snark/noise.h \
78 src/snark/anglst.h include/DIGFileSnark/DIGFileSnarkProj.h \
79 /usr/include/string.h /usr/include/strings.h \
80 /usr/include/x86_64-linux-gnu/bits/strings_fortified.h \
81 /usr/include/x86_64-linux-gnu/bits/string_fortified.h \
82 include/DIGFile/DIGFile.h /usr/include/xercesc/dom/DOM.hpp \
83 /usr/include/xercesc/dom/DOMAttr.hpp \
84 /usr/include/xercesc/util/XercesDefs.hpp \
85 /usr/include/xercesc/util/Xerces_autoconf_config.hpp \
86 /usr/include/inttypes.h /usr/lib/gcc/x86_64-linux-gnu/7/include/stdint.h \
87 /usr/include/stdint.h /usr/include/x86_64-linux-gnu/bits/wchar.h \
88 /usr/include/x86_64-linux-gnu/bits/stdint-uintn.h \
89 /usr/include/xercesc/util/XercesVersion.hpp \
90 /usr/include/xercesc/dom/DOMNode.hpp \
91 /usr/include/xercesc/dom/DOMCDATASection.hpp \
92 /usr/include/xercesc/dom/DOMText.hpp \
93 /usr/include/xercesc/dom/DOMCharacterData.hpp \
94 /usr/include/xercesc/dom/DOMComment.hpp \
95 /usr/include/xercesc/dom/DOMDocument.hpp \
96 /usr/include/xercesc/dom/DOMDocumentRange.hpp \
97 /usr/include/xercesc/dom/DOMDocumentTraversal.hpp \
98 /usr/include/xercesc/dom/DOMNodeFilter.hpp \
99 /usr/include/xercesc/dom/DOMXPathEvaluator.hpp \
100 /usr/include/xercesc/dom/DOMXPathResult.hpp \
101 /usr/include/xercesc/dom/DOMDocumentFragment.hpp \
102 /usr/include/xercesc/dom/DOMDocumentType.hpp \
103 /usr/include/xercesc/dom/DOMElement.hpp \
104 /usr/include/xercesc/dom/DOMEntity.hpp \
105 /usr/include/xercesc/dom/DOMEntityReference.hpp \
106 /usr/include/xercesc/dom/DOMException.hpp \
107 /usr/include/xercesc/util/PlatformUtils.hpp \
108 /usr/include/xercesc/util/XMLException.hpp \
109 /usr/include/xercesc/util/XMemory.hpp /usr/include/c++/7/stdlib.h \
110 /usr/include/xercesc/util/XMLExceptMsgs.hpp \
111 /usr/include/xercesc/dom/DOMError.hpp \
112 /usr/include/xercesc/util/XMLUni.hpp \
113 /usr/include/xercesc/framework/XMLErrorReporter.hpp \
114 /usr/include/xercesc/util/PanicHandler.hpp \
115 /usr/include/xercesc/util/XMLFileMgr.hpp \
116 /usr/include/xercesc/util/XMLMutexMgr.hpp \
117 /usr/include/xercesc/dom/DOMImplementation.hpp \
118 /usr/include/xercesc/dom/DOMImplementationLS.hpp \
119 /usr/include/xercesc/dom/DOMLSException.hpp \
120 /usr/include/xercesc/dom/DOMRangeException.hpp \
121 /usr/include/xercesc/dom/DOMNamedNodeMap.hpp \
122 /usr/include/xercesc/dom/DOMNodeList.hpp \
123 /usr/include/xercesc/dom/DOMNotation.hpp \
124 /usr/include/xercesc/dom/DOMProcessingInstruction.hpp \
125 /usr/include/xercesc/dom/DOMNodeIterator.hpp \
126 /usr/include/xercesc/dom/DOMRange.hpp \
127 /usr/include/xercesc/dom/DOMTreeWalker.hpp \
128 /usr/include/xercesc/dom/DOMLSParser.hpp \
129 /usr/include/xercesc/dom/DOMConfiguration.hpp \
130 /usr/include/xercesc/util/XMLString.hpp \
131 /usr/include/xercesc/util/BaseRefVectorOf.hpp \
132 /usr/include/xercesc/util/ArrayIndexOutOfBoundsException.hpp \
133 /usr/include/xercesc/util/XMLEnumerator.hpp \
134 /usr/include/xercesc/framework/MemoryManager.hpp \
135 /usr/include/xercesc/util/BaseRefVectorOf.c \
136 /usr/include/xercesc/framework/XMLBuffer.hpp /usr/include/assert.h \
137 /usr/include/xercesc/util/RefVectorOf.hpp \
138 /usr/include/xercesc/util/RefVectorOf.c \
139 /usr/include/xercesc/dom/DOMStringList.hpp \
140 /usr/include/xercesc/dom/DOMLSParserFilter.hpp \
141 /usr/include/xercesc/validators/common/Grammar.hpp \
142 /usr/lib/gcc/x86_64-linux-gnu/7/include-fixed/limits.h \
143 /usr/lib/gcc/x86_64-linux-gnu/7/include-fixed/syslimits.h \
144 /usr/include/limits.h /usr/include/x86_64-linux-gnu/bits/posix1_lim.h \
145 /usr/include/x86_64-linux-gnu/bits/local_lim.h \
146 /usr/include/linux/limits.h \
147 /usr/include/x86_64-linux-gnu/bits/posix2_lim.h \
148 /usr/include/x86_64-linux-gnu/bits/xopen_lim.h \
149 /usr/include/x86_64-linux-gnu/bits/uio_lim.h \
150 /usr/include/xercesc/framework/XMLElementDecl.hpp \
151 /usr/include/xercesc/framework/XMLAttr.hpp \
152 /usr/include/xercesc/util/QName.hpp \
153 /usr/include/xercesc/util/XMLUniDefs.hpp \
154 /usr/include/xercesc/internal/XSerializable.hpp \
155 /usr/include/xercesc/internal/XSerializeEngine.hpp \
156 /usr/include/xercesc/util/RefHashTableOf.hpp \
157 /usr/include/xercesc/util/Hashers.hpp \
158 /usr/include/xercesc/util/IllegalArgumentException.hpp \
159 /usr/include/xercesc/util/NoSuchElementException.hpp \
160 /usr/include/xercesc/util/RuntimeException.hpp \
161 /usr/include/xercesc/util/RefHashTableOf.c \
162 /usr/include/xercesc/util/Janitor.hpp \
163 /usr/include/xercesc/util/Janitor.c \
164 /usr/include/xercesc/util/NullPointerException.hpp \
165 /usr/include/c++/7/new /usr/include/c++/7/exception \
166 /usr/include/c++/7/bits/exception.h \
167 /usr/include/c++/7/bits/exception_ptr.h \
168 /usr/include/c++/7/bits/exception_defines.h \
169 /usr/include/c++/7/bits/cxxabi_init_exception.h \
170 /usr/include/c++/7/typeinfo /usr/include/c++/7/bits/hash_bytes.h \
171 /usr/include/c++/7/bits/nested_exception.h \
172 /usr/include/c++/7/bits/move.h /usr/include/c++/7/bits/concept_check.h \
173 /usr/include/c++/7/type_traits \
174 /usr/include/xercesc/util/ValueVectorOf.hpp \
175 /usr/include/xercesc/util/ValueVectorOf.c \
176 /usr/include/xercesc/internal/XSerializationException.hpp \
177 /usr/include/xercesc/internal/XProtoType.hpp \
178 /usr/include/xercesc/framework/XMLAttDef.hpp \
179 /usr/include/xercesc/validators/datatype/DatatypeValidator.hpp \
180 /usr/include/xercesc/util/KVStringPair.hpp \
181 /usr/include/xercesc/util/regx/RegularExpression.hpp \
182 /usr/include/xercesc/util/RefArrayVectorOf.hpp \
183 /usr/include/xercesc/util/RefArrayVectorOf.c \
184 /usr/include/xercesc/util/regx/Op.hpp \
185 /usr/include/xercesc/util/regx/TokenFactory.hpp \
186 /usr/include/xercesc/util/regx/Token.hpp \
187 /usr/include/xercesc/util/Mutexes.hpp \
188 /usr/include/xercesc/util/regx/BMPattern.hpp \
189 /usr/include/xercesc/util/regx/OpFactory.hpp \
190 /usr/include/xercesc/util/regx/RegxUtil.hpp \
191 /usr/include/xercesc/validators/schema/SchemaSymbols.hpp \
192 /usr/include/xercesc/framework/psvi/XSSimpleTypeDefinition.hpp \
193 /usr/include/xercesc/framework/psvi/XSTypeDefinition.hpp \
194 /usr/include/xercesc/framework/psvi/XSObject.hpp \
195 /usr/include/xercesc/framework/psvi/XSConstants.hpp \
196 /usr/include/xercesc/framework/ValidationContext.hpp \
197 /usr/include/xercesc/util/NameIdPool.hpp \
198 /usr/include/xercesc/util/NameIdPool.c \
199 /usr/include/xercesc/framework/XMLAttDefList.hpp \
200 /usr/include/xercesc/framework/XMLEntityDecl.hpp \
201 /usr/include/xercesc/framework/XMLNotationDecl.hpp \
202 /usr/include/xercesc/dom/DOMLSResourceResolver.hpp \
203 /usr/include/xercesc/dom/DOMErrorHandler.hpp \
204 /usr/include/xercesc/dom/DOMImplementationList.hpp \
205 /usr/include/xercesc/dom/DOMImplementationRegistry.hpp \
206 /usr/include/xercesc/dom/DOMImplementationSource.hpp \
207 /usr/include/xercesc/dom/DOMLSInput.hpp \
208 /usr/include/xercesc/dom/DOMLSOutput.hpp \
209 /usr/include/xercesc/dom/DOMLocator.hpp \
210 /usr/include/xercesc/dom/DOMPSVITypeInfo.hpp \
211 /usr/include/xercesc/dom/DOMTypeInfo.hpp \
212 /usr/include/xercesc/dom/DOMUserDataHandler.hpp \
213 /usr/include/xercesc/dom/DOMLSSerializer.hpp \
214 /usr/include/xercesc/dom/DOMLSSerializerFilter.hpp \
215 /usr/include/xercesc/dom/DOMXPathNSResolver.hpp \
216 /usr/include/xercesc/dom/DOMXPathException.hpp \
217 /usr/include/xercesc/dom/DOMXPathExpression.hpp \
218 /usr/include/xercesc/dom/DOMXPathNamespace.hpp \
219 /usr/include/xercesc/parsers/XercesDOMParser.hpp \
220 /usr/include/xercesc/parsers/AbstractDOMParser.hpp \
221 /usr/include/xercesc/framework/XMLDocumentHandler.hpp \
222 /usr/include/xercesc/framework/XMLEntityHandler.hpp \
223 /usr/include/xercesc/util/SecurityManager.hpp \
224 /usr/include/xercesc/util/ValueStackOf.hpp \
225 /usr/include/xercesc/util/EmptyStackException.hpp \
226 /usr/include/xercesc/util/ValueStackOf.c \
227 /usr/include/xercesc/validators/DTD/DocTypeHandler.hpp \
228 /usr/include/xercesc/validators/DTD/DTDAttDef.hpp \
229 /usr/include/xercesc/validators/DTD/DTDElementDecl.hpp \
230 /usr/include/xercesc/framework/XMLContentModel.hpp \
231 /usr/include/xercesc/validators/DTD/DTDEntityDecl.hpp \
232 /usr/include/xercesc/framework/XMLBufferMgr.hpp \
233 /usr/include/xercesc/framework/psvi/PSVIHandler.hpp \
234 include/DIGFile/DIG.h /usr/include/c++/7/cstring \
235 include/DIGFile/DIGEndian.h include/DIGFile/DOMTreeErrorReporter.h \
236 /usr/include/xercesc/sax/ErrorHandler.hpp /usr/include/c++/7/iostream \
237 /usr/include/c++/7/ostream /usr/include/c++/7/ios \
238 /usr/include/c++/7/iosfwd /usr/include/c++/7/bits/stringfwd.h \
239 /usr/include/c++/7/bits/memoryfwd.h /usr/include/c++/7/bits/postypes.h \
240 /usr/include/c++/7/cwchar /usr/include/wchar.h \
241 /usr/include/x86_64-linux-gnu/bits/types/wint_t.h \
242 /usr/include/x86_64-linux-gnu/bits/types/mbstate_t.h \
243 /usr/include/x86_64-linux-gnu/bits/wchar2.h \
244 /usr/include/c++/7/bits/char_traits.h \
245 /usr/include/c++/7/bits/stl_algobase.h \
246 /usr/include/c++/7/bits/functexcept.h \
247 /usr/include/c++/7/ext/numeric_traits.h \
248 /usr/include/c++/7/bits/stl_pair.h \
249 /usr/include/c++/7/bits/stl_iterator_base_types.h \
250 /usr/include/c++/7/bits/stl_iterator_base_funcs.h \
251 /usr/include/c++/7/debug/assertions.h \
252 /usr/include/c++/7/bits/stl_iterator.h \
253 /usr/include/c++/7/bits/ptr_traits.h /usr/include/c++/7/debug/debug.h \
254 /usr/include/c++/7/bits/predefined_ops.h /usr/include/c++/7/cstdint \
255 /usr/include/c++/7/bits/localefwd.h \
256 /usr/include/x86_64-linux-gnu/c++/7/bits/c++locale.h \
257 /usr/include/c++/7/clocale /usr/include/locale.h \
258 /usr/include/x86_64-linux-gnu/bits/locale.h /usr/include/c++/7/cctype \
259 /usr/include/ctype.h /usr/include/c++/7/bits/ios_base.h \
260 /usr/include/c++/7/ext/atomicity.h \
261 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr.h \
262 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr-default.h \
263 /usr/include/pthread.h /usr/include/sched.h \
264 /usr/include/x86_64-linux-gnu/bits/sched.h \
265 /usr/include/x86_64-linux-gnu/bits/cpu-set.h /usr/include/time.h \
266 /usr/include/x86_64-linux-gnu/bits/time.h \
267 /usr/include/x86_64-linux-gnu/bits/timex.h \
268 /usr/include/x86_64-linux-gnu/bits/types/struct_tm.h \
269 /usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h \
270 /usr/include/x86_64-linux-gnu/bits/setjmp.h \
271 /usr/include/x86_64-linux-gnu/c++/7/bits/atomic_word.h \
272 /usr/include/c++/7/bits/locale_classes.h /usr/include/c++/7/string \
273 /usr/include/c++/7/bits/allocator.h \
274 /usr/include/x86_64-linux-gnu/c++/7/bits/c++allocator.h \
275 /usr/include/c++/7/ext/new_allocator.h \
276 /usr/include/c++/7/bits/ostream_insert.h \
277 /usr/include/c++/7/bits/cxxabi_forced.h \
278 /usr/include/c++/7/bits/stl_function.h \
279 /usr/include/c++/7/backward/binders.h \
280 /usr/include/c++/7/bits/range_access.h \
281 /usr/include/c++/7/initializer_list \
282 /usr/include/c++/7/bits/basic_string.h \
283 /usr/include/c++/7/ext/alloc_traits.h \
284 /usr/include/c++/7/bits/alloc_traits.h \
285 /usr/include/c++/7/ext/string_conversions.h /usr/include/c++/7/cerrno \
286 /usr/include/errno.h /usr/include/x86_64-linux-gnu/bits/errno.h \
287 /usr/include/linux/errno.h /usr/include/x86_64-linux-gnu/asm/errno.h \
288 /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
289 /usr/include/c++/7/bits/functional_hash.h \
290 /usr/include/c++/7/bits/basic_string.tcc \
291 /usr/include/c++/7/bits/locale_classes.tcc \
292 /usr/include/c++/7/system_error \
293 /usr/include/x86_64-linux-gnu/c++/7/bits/error_constants.h \
294 /usr/include/c++/7/stdexcept /usr/include/c++/7/streambuf \
295 /usr/include/c++/7/bits/streambuf.tcc \
296 /usr/include/c++/7/bits/basic_ios.h \
297 /usr/include/c++/7/bits/locale_facets.h /usr/include/c++/7/cwctype \
298 /usr/include/wctype.h /usr/include/x86_64-linux-gnu/bits/wctype-wchar.h \
299 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_base.h \
300 /usr/include/c++/7/bits/streambuf_iterator.h \
301 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_inline.h \
302 /usr/include/c++/7/bits/locale_facets.tcc \
303 /usr/include/c++/7/bits/basic_ios.tcc \
304 /usr/include/c++/7/bits/ostream.tcc /usr/include/c++/7/istream \
305 /usr/include/c++/7/bits/istream.tcc \
306 /usr/include/xercesc/framework/MemBufInputSource.hpp \
307 /usr/include/xercesc/sax/InputSource.hpp src/snark/alb1.h \
308 src/snark/alg.h src/snark/alb2.h src/snark/alb3.h src/snark/alb4.h \
309 src/snark/alb5.h src/snark/alp1.h src/snark/alp2.h src/snark/alp3.h \
310 src/snark/alp4.h src/snark/alp5.h src/snark/emap.h src/snark/lino.h \
311 src/snark/art.h src/snark/sart.h src/snark/GeometricBehaviour.h \
312 src/snark/conv.h src/snark/sirt.h src/snark/dcon.h src/snark/foru.h \
313 src/snark/rfl.h src/snark/back.h src/snark/quad.h src/snark/mart.h \
314 src/snark/trm1.h src/snark/trm2.h src/snark/trm3.h src/snark/infile.h \
315 src/snark/inputfile.h src/snark/trm4.h src/snark/trm5.h \
316 src/snark/smooth.h src/snark/contur.h src/snark/recfile.h \
317 include/DIGFileSnark/DIGFileSnarkRec.h src/snark/blob.h \
318 src/snark/exalg.h src/snark/consts.h src/snark/bdhk.h src/snark/pseudo.h \
319 src/snark/superior.h src/snark/sec_cri.h src/snark/nav.h
321 /usr/include/stdc-predef.h:
323 /usr/include/c++/7/cstdio:
325 /usr/include/x86_64-linux-gnu/c++/7/bits/c++config.h:
327 /usr/include/x86_64-linux-gnu/c++/7/bits/os_defines.h:
329 /usr/include/features.h:
331 /usr/include/x86_64-linux-gnu/sys/cdefs.h:
333 /usr/include/x86_64-linux-gnu/bits/wordsize.h:
335 /usr/include/x86_64-linux-gnu/bits/long-double.h:
337 /usr/include/x86_64-linux-gnu/gnu/stubs.h:
339 /usr/include/x86_64-linux-gnu/gnu/stubs-64.h:
341 /usr/include/x86_64-linux-gnu/c++/7/bits/cpu_defines.h:
343 /usr/include/stdio.h:
345 /usr/include/x86_64-linux-gnu/bits/libc-header-start.h:
347 /usr/lib/gcc/x86_64-linux-gnu/7/include/stddef.h:
349 /usr/include/x86_64-linux-gnu/bits/types.h:
351 /usr/include/x86_64-linux-gnu/bits/typesizes.h:
353 /usr/include/x86_64-linux-gnu/bits/types/__FILE.h:
355 /usr/include/x86_64-linux-gnu/bits/types/FILE.h:
357 /usr/include/libio.h:
359 /usr/include/_G_config.h:
361 /usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h:
363 /usr/lib/gcc/x86_64-linux-gnu/7/include/stdarg.h:
365 /usr/include/x86_64-linux-gnu/bits/stdio_lim.h:
367 /usr/include/x86_64-linux-gnu/bits/sys_errlist.h:
369 /usr/include/x86_64-linux-gnu/bits/stdio.h:
371 /usr/include/x86_64-linux-gnu/bits/stdio2.h:
373 /usr/include/c++/7/cstdlib:
375 /usr/include/stdlib.h:
377 /usr/include/x86_64-linux-gnu/bits/waitflags.h:
379 /usr/include/x86_64-linux-gnu/bits/waitstatus.h:
381 /usr/include/x86_64-linux-gnu/bits/floatn.h:
383 /usr/include/x86_64-linux-gnu/bits/types/locale_t.h:
385 /usr/include/x86_64-linux-gnu/bits/types/__locale_t.h:
387 /usr/include/x86_64-linux-gnu/sys/types.h:
389 /usr/include/x86_64-linux-gnu/bits/types/clock_t.h:
391 /usr/include/x86_64-linux-gnu/bits/types/clockid_t.h:
393 /usr/include/x86_64-linux-gnu/bits/types/time_t.h:
395 /usr/include/x86_64-linux-gnu/bits/types/timer_t.h:
397 /usr/include/x86_64-linux-gnu/bits/stdint-intn.h:
399 /usr/include/endian.h:
401 /usr/include/x86_64-linux-gnu/bits/endian.h:
403 /usr/include/x86_64-linux-gnu/bits/byteswap.h:
405 /usr/include/x86_64-linux-gnu/bits/byteswap-16.h:
407 /usr/include/x86_64-linux-gnu/bits/uintn-identity.h:
409 /usr/include/x86_64-linux-gnu/sys/select.h:
411 /usr/include/x86_64-linux-gnu/bits/select.h:
413 /usr/include/x86_64-linux-gnu/bits/types/sigset_t.h:
415 /usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h:
417 /usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h:
419 /usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h:
421 /usr/include/x86_64-linux-gnu/bits/select2.h:
423 /usr/include/x86_64-linux-gnu/sys/sysmacros.h:
425 /usr/include/x86_64-linux-gnu/bits/sysmacros.h:
427 /usr/include/x86_64-linux-gnu/bits/pthreadtypes.h:
429 /usr/include/x86_64-linux-gnu/bits/thread-shared-types.h:
431 /usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h:
433 /usr/include/alloca.h:
435 /usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h:
437 /usr/include/x86_64-linux-gnu/bits/stdlib-float.h:
439 /usr/include/x86_64-linux-gnu/bits/stdlib.h:
441 /usr/include/c++/7/bits/std_abs.h:
443 /usr/include/c++/7/cmath:
445 /usr/include/c++/7/bits/cpp_type_traits.h:
447 /usr/include/c++/7/ext/type_traits.h:
451 /usr/include/x86_64-linux-gnu/bits/math-vector.h:
453 /usr/include/x86_64-linux-gnu/bits/libm-simd-decl-stubs.h:
455 /usr/include/x86_64-linux-gnu/bits/huge_val.h:
457 /usr/include/x86_64-linux-gnu/bits/huge_val_flt128.h:
459 /usr/include/x86_64-linux-gnu/bits/huge_valf.h:
461 /usr/include/x86_64-linux-gnu/bits/huge_vall.h:
463 /usr/include/x86_64-linux-gnu/bits/inf.h:
465 /usr/include/x86_64-linux-gnu/bits/nan.h:
467 /usr/include/x86_64-linux-gnu/bits/flt-eval-method.h:
469 /usr/include/x86_64-linux-gnu/bits/fp-logb.h:
471 /usr/include/x86_64-linux-gnu/bits/fp-fast.h:
473 /usr/include/x86_64-linux-gnu/bits/mathcalls-helper-functions.h:
475 /usr/include/x86_64-linux-gnu/bits/mathcalls.h:
477 /usr/include/x86_64-linux-gnu/bits/iscanonical.h:
479 /usr/include/x86_64-linux-gnu/bits/mathinline.h:
489 src/snark/termtest.h:
501 src/snark/projfile.h:
509 include/DIGFileSnark/DIGFileSnarkProj.h:
511 /usr/include/string.h:
513 /usr/include/strings.h:
515 /usr/include/x86_64-linux-gnu/bits/strings_fortified.h:
517 /usr/include/x86_64-linux-gnu/bits/string_fortified.h:
519 include/DIGFile/DIGFile.h:
521 /usr/include/xercesc/dom/DOM.hpp:
523 /usr/include/xercesc/dom/DOMAttr.hpp:
525 /usr/include/xercesc/util/XercesDefs.hpp:
527 /usr/include/xercesc/util/Xerces_autoconf_config.hpp:
529 /usr/include/inttypes.h:
531 /usr/lib/gcc/x86_64-linux-gnu/7/include/stdint.h:
533 /usr/include/stdint.h:
535 /usr/include/x86_64-linux-gnu/bits/wchar.h:
537 /usr/include/x86_64-linux-gnu/bits/stdint-uintn.h:
539 /usr/include/xercesc/util/XercesVersion.hpp:
541 /usr/include/xercesc/dom/DOMNode.hpp:
543 /usr/include/xercesc/dom/DOMCDATASection.hpp:
545 /usr/include/xercesc/dom/DOMText.hpp:
547 /usr/include/xercesc/dom/DOMCharacterData.hpp:
549 /usr/include/xercesc/dom/DOMComment.hpp:
551 /usr/include/xercesc/dom/DOMDocument.hpp:
553 /usr/include/xercesc/dom/DOMDocumentRange.hpp:
555 /usr/include/xercesc/dom/DOMDocumentTraversal.hpp:
557 /usr/include/xercesc/dom/DOMNodeFilter.hpp:
559 /usr/include/xercesc/dom/DOMXPathEvaluator.hpp:
561 /usr/include/xercesc/dom/DOMXPathResult.hpp:
563 /usr/include/xercesc/dom/DOMDocumentFragment.hpp:
565 /usr/include/xercesc/dom/DOMDocumentType.hpp:
567 /usr/include/xercesc/dom/DOMElement.hpp:
569 /usr/include/xercesc/dom/DOMEntity.hpp:
571 /usr/include/xercesc/dom/DOMEntityReference.hpp:
573 /usr/include/xercesc/dom/DOMException.hpp:
575 /usr/include/xercesc/util/PlatformUtils.hpp:
577 /usr/include/xercesc/util/XMLException.hpp:
579 /usr/include/xercesc/util/XMemory.hpp:
581 /usr/include/c++/7/stdlib.h:
583 /usr/include/xercesc/util/XMLExceptMsgs.hpp:
585 /usr/include/xercesc/dom/DOMError.hpp:
587 /usr/include/xercesc/util/XMLUni.hpp:
589 /usr/include/xercesc/framework/XMLErrorReporter.hpp:
591 /usr/include/xercesc/util/PanicHandler.hpp:
593 /usr/include/xercesc/util/XMLFileMgr.hpp:
595 /usr/include/xercesc/util/XMLMutexMgr.hpp:
597 /usr/include/xercesc/dom/DOMImplementation.hpp:
599 /usr/include/xercesc/dom/DOMImplementationLS.hpp:
601 /usr/include/xercesc/dom/DOMLSException.hpp:
603 /usr/include/xercesc/dom/DOMRangeException.hpp:
605 /usr/include/xercesc/dom/DOMNamedNodeMap.hpp:
607 /usr/include/xercesc/dom/DOMNodeList.hpp:
609 /usr/include/xercesc/dom/DOMNotation.hpp:
611 /usr/include/xercesc/dom/DOMProcessingInstruction.hpp:
613 /usr/include/xercesc/dom/DOMNodeIterator.hpp:
615 /usr/include/xercesc/dom/DOMRange.hpp:
617 /usr/include/xercesc/dom/DOMTreeWalker.hpp:
619 /usr/include/xercesc/dom/DOMLSParser.hpp:
621 /usr/include/xercesc/dom/DOMConfiguration.hpp:
623 /usr/include/xercesc/util/XMLString.hpp:
625 /usr/include/xercesc/util/BaseRefVectorOf.hpp:
627 /usr/include/xercesc/util/ArrayIndexOutOfBoundsException.hpp:
629 /usr/include/xercesc/util/XMLEnumerator.hpp:
631 /usr/include/xercesc/framework/MemoryManager.hpp:
633 /usr/include/xercesc/util/BaseRefVectorOf.c:
635 /usr/include/xercesc/framework/XMLBuffer.hpp:
637 /usr/include/assert.h:
639 /usr/include/xercesc/util/RefVectorOf.hpp:
641 /usr/include/xercesc/util/RefVectorOf.c:
643 /usr/include/xercesc/dom/DOMStringList.hpp:
645 /usr/include/xercesc/dom/DOMLSParserFilter.hpp:
647 /usr/include/xercesc/validators/common/Grammar.hpp:
649 /usr/lib/gcc/x86_64-linux-gnu/7/include-fixed/limits.h:
651 /usr/lib/gcc/x86_64-linux-gnu/7/include-fixed/syslimits.h:
653 /usr/include/limits.h:
655 /usr/include/x86_64-linux-gnu/bits/posix1_lim.h:
657 /usr/include/x86_64-linux-gnu/bits/local_lim.h:
659 /usr/include/linux/limits.h:
661 /usr/include/x86_64-linux-gnu/bits/posix2_lim.h:
663 /usr/include/x86_64-linux-gnu/bits/xopen_lim.h:
665 /usr/include/x86_64-linux-gnu/bits/uio_lim.h:
667 /usr/include/xercesc/framework/XMLElementDecl.hpp:
669 /usr/include/xercesc/framework/XMLAttr.hpp:
671 /usr/include/xercesc/util/QName.hpp:
673 /usr/include/xercesc/util/XMLUniDefs.hpp:
675 /usr/include/xercesc/internal/XSerializable.hpp:
677 /usr/include/xercesc/internal/XSerializeEngine.hpp:
679 /usr/include/xercesc/util/RefHashTableOf.hpp:
681 /usr/include/xercesc/util/Hashers.hpp:
683 /usr/include/xercesc/util/IllegalArgumentException.hpp:
685 /usr/include/xercesc/util/NoSuchElementException.hpp:
687 /usr/include/xercesc/util/RuntimeException.hpp:
689 /usr/include/xercesc/util/RefHashTableOf.c:
691 /usr/include/xercesc/util/Janitor.hpp:
693 /usr/include/xercesc/util/Janitor.c:
695 /usr/include/xercesc/util/NullPointerException.hpp:
697 /usr/include/c++/7/new:
699 /usr/include/c++/7/exception:
701 /usr/include/c++/7/bits/exception.h:
703 /usr/include/c++/7/bits/exception_ptr.h:
705 /usr/include/c++/7/bits/exception_defines.h:
707 /usr/include/c++/7/bits/cxxabi_init_exception.h:
709 /usr/include/c++/7/typeinfo:
711 /usr/include/c++/7/bits/hash_bytes.h:
713 /usr/include/c++/7/bits/nested_exception.h:
715 /usr/include/c++/7/bits/move.h:
717 /usr/include/c++/7/bits/concept_check.h:
719 /usr/include/c++/7/type_traits:
721 /usr/include/xercesc/util/ValueVectorOf.hpp:
723 /usr/include/xercesc/util/ValueVectorOf.c:
725 /usr/include/xercesc/internal/XSerializationException.hpp:
727 /usr/include/xercesc/internal/XProtoType.hpp:
729 /usr/include/xercesc/framework/XMLAttDef.hpp:
731 /usr/include/xercesc/validators/datatype/DatatypeValidator.hpp:
733 /usr/include/xercesc/util/KVStringPair.hpp:
735 /usr/include/xercesc/util/regx/RegularExpression.hpp:
737 /usr/include/xercesc/util/RefArrayVectorOf.hpp:
739 /usr/include/xercesc/util/RefArrayVectorOf.c:
741 /usr/include/xercesc/util/regx/Op.hpp:
743 /usr/include/xercesc/util/regx/TokenFactory.hpp:
745 /usr/include/xercesc/util/regx/Token.hpp:
747 /usr/include/xercesc/util/Mutexes.hpp:
749 /usr/include/xercesc/util/regx/BMPattern.hpp:
751 /usr/include/xercesc/util/regx/OpFactory.hpp:
753 /usr/include/xercesc/util/regx/RegxUtil.hpp:
755 /usr/include/xercesc/validators/schema/SchemaSymbols.hpp:
757 /usr/include/xercesc/framework/psvi/XSSimpleTypeDefinition.hpp:
759 /usr/include/xercesc/framework/psvi/XSTypeDefinition.hpp:
761 /usr/include/xercesc/framework/psvi/XSObject.hpp:
763 /usr/include/xercesc/framework/psvi/XSConstants.hpp:
765 /usr/include/xercesc/framework/ValidationContext.hpp:
767 /usr/include/xercesc/util/NameIdPool.hpp:
769 /usr/include/xercesc/util/NameIdPool.c:
771 /usr/include/xercesc/framework/XMLAttDefList.hpp:
773 /usr/include/xercesc/framework/XMLEntityDecl.hpp:
775 /usr/include/xercesc/framework/XMLNotationDecl.hpp:
777 /usr/include/xercesc/dom/DOMLSResourceResolver.hpp:
779 /usr/include/xercesc/dom/DOMErrorHandler.hpp:
781 /usr/include/xercesc/dom/DOMImplementationList.hpp:
783 /usr/include/xercesc/dom/DOMImplementationRegistry.hpp:
785 /usr/include/xercesc/dom/DOMImplementationSource.hpp:
787 /usr/include/xercesc/dom/DOMLSInput.hpp:
789 /usr/include/xercesc/dom/DOMLSOutput.hpp:
791 /usr/include/xercesc/dom/DOMLocator.hpp:
793 /usr/include/xercesc/dom/DOMPSVITypeInfo.hpp:
795 /usr/include/xercesc/dom/DOMTypeInfo.hpp:
797 /usr/include/xercesc/dom/DOMUserDataHandler.hpp:
799 /usr/include/xercesc/dom/DOMLSSerializer.hpp:
801 /usr/include/xercesc/dom/DOMLSSerializerFilter.hpp:
803 /usr/include/xercesc/dom/DOMXPathNSResolver.hpp:
805 /usr/include/xercesc/dom/DOMXPathException.hpp:
807 /usr/include/xercesc/dom/DOMXPathExpression.hpp:
809 /usr/include/xercesc/dom/DOMXPathNamespace.hpp:
811 /usr/include/xercesc/parsers/XercesDOMParser.hpp:
813 /usr/include/xercesc/parsers/AbstractDOMParser.hpp:
815 /usr/include/xercesc/framework/XMLDocumentHandler.hpp:
817 /usr/include/xercesc/framework/XMLEntityHandler.hpp:
819 /usr/include/xercesc/util/SecurityManager.hpp:
821 /usr/include/xercesc/util/ValueStackOf.hpp:
823 /usr/include/xercesc/util/EmptyStackException.hpp:
825 /usr/include/xercesc/util/ValueStackOf.c:
827 /usr/include/xercesc/validators/DTD/DocTypeHandler.hpp:
829 /usr/include/xercesc/validators/DTD/DTDAttDef.hpp:
831 /usr/include/xercesc/validators/DTD/DTDElementDecl.hpp:
833 /usr/include/xercesc/framework/XMLContentModel.hpp:
835 /usr/include/xercesc/validators/DTD/DTDEntityDecl.hpp:
837 /usr/include/xercesc/framework/XMLBufferMgr.hpp:
839 /usr/include/xercesc/framework/psvi/PSVIHandler.hpp:
841 include/DIGFile/DIG.h:
843 /usr/include/c++/7/cstring:
845 include/DIGFile/DIGEndian.h:
847 include/DIGFile/DOMTreeErrorReporter.h:
849 /usr/include/xercesc/sax/ErrorHandler.hpp:
851 /usr/include/c++/7/iostream:
853 /usr/include/c++/7/ostream:
855 /usr/include/c++/7/ios:
857 /usr/include/c++/7/iosfwd:
859 /usr/include/c++/7/bits/stringfwd.h:
861 /usr/include/c++/7/bits/memoryfwd.h:
863 /usr/include/c++/7/bits/postypes.h:
865 /usr/include/c++/7/cwchar:
867 /usr/include/wchar.h:
869 /usr/include/x86_64-linux-gnu/bits/types/wint_t.h:
871 /usr/include/x86_64-linux-gnu/bits/types/mbstate_t.h:
873 /usr/include/x86_64-linux-gnu/bits/wchar2.h:
875 /usr/include/c++/7/bits/char_traits.h:
877 /usr/include/c++/7/bits/stl_algobase.h:
879 /usr/include/c++/7/bits/functexcept.h:
881 /usr/include/c++/7/ext/numeric_traits.h:
883 /usr/include/c++/7/bits/stl_pair.h:
885 /usr/include/c++/7/bits/stl_iterator_base_types.h:
887 /usr/include/c++/7/bits/stl_iterator_base_funcs.h:
889 /usr/include/c++/7/debug/assertions.h:
891 /usr/include/c++/7/bits/stl_iterator.h:
893 /usr/include/c++/7/bits/ptr_traits.h:
895 /usr/include/c++/7/debug/debug.h:
897 /usr/include/c++/7/bits/predefined_ops.h:
899 /usr/include/c++/7/cstdint:
901 /usr/include/c++/7/bits/localefwd.h:
903 /usr/include/x86_64-linux-gnu/c++/7/bits/c++locale.h:
905 /usr/include/c++/7/clocale:
907 /usr/include/locale.h:
909 /usr/include/x86_64-linux-gnu/bits/locale.h:
911 /usr/include/c++/7/cctype:
913 /usr/include/ctype.h:
915 /usr/include/c++/7/bits/ios_base.h:
917 /usr/include/c++/7/ext/atomicity.h:
919 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr.h:
921 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr-default.h:
923 /usr/include/pthread.h:
925 /usr/include/sched.h:
927 /usr/include/x86_64-linux-gnu/bits/sched.h:
929 /usr/include/x86_64-linux-gnu/bits/cpu-set.h:
933 /usr/include/x86_64-linux-gnu/bits/time.h:
935 /usr/include/x86_64-linux-gnu/bits/timex.h:
937 /usr/include/x86_64-linux-gnu/bits/types/struct_tm.h:
939 /usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h:
941 /usr/include/x86_64-linux-gnu/bits/setjmp.h:
943 /usr/include/x86_64-linux-gnu/c++/7/bits/atomic_word.h:
945 /usr/include/c++/7/bits/locale_classes.h:
947 /usr/include/c++/7/string:
949 /usr/include/c++/7/bits/allocator.h:
951 /usr/include/x86_64-linux-gnu/c++/7/bits/c++allocator.h:
953 /usr/include/c++/7/ext/new_allocator.h:
955 /usr/include/c++/7/bits/ostream_insert.h:
957 /usr/include/c++/7/bits/cxxabi_forced.h:
959 /usr/include/c++/7/bits/stl_function.h:
961 /usr/include/c++/7/backward/binders.h:
963 /usr/include/c++/7/bits/range_access.h:
965 /usr/include/c++/7/initializer_list:
967 /usr/include/c++/7/bits/basic_string.h:
969 /usr/include/c++/7/ext/alloc_traits.h:
971 /usr/include/c++/7/bits/alloc_traits.h:
973 /usr/include/c++/7/ext/string_conversions.h:
975 /usr/include/c++/7/cerrno:
977 /usr/include/errno.h:
979 /usr/include/x86_64-linux-gnu/bits/errno.h:
981 /usr/include/linux/errno.h:
983 /usr/include/x86_64-linux-gnu/asm/errno.h:
985 /usr/include/asm-generic/errno.h:
987 /usr/include/asm-generic/errno-base.h:
989 /usr/include/c++/7/bits/functional_hash.h:
991 /usr/include/c++/7/bits/basic_string.tcc:
993 /usr/include/c++/7/bits/locale_classes.tcc:
995 /usr/include/c++/7/system_error:
997 /usr/include/x86_64-linux-gnu/c++/7/bits/error_constants.h:
999 /usr/include/c++/7/stdexcept:
1001 /usr/include/c++/7/streambuf:
1003 /usr/include/c++/7/bits/streambuf.tcc:
1005 /usr/include/c++/7/bits/basic_ios.h:
1007 /usr/include/c++/7/bits/locale_facets.h:
1009 /usr/include/c++/7/cwctype:
1011 /usr/include/wctype.h:
1013 /usr/include/x86_64-linux-gnu/bits/wctype-wchar.h:
1015 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_base.h:
1017 /usr/include/c++/7/bits/streambuf_iterator.h:
1019 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_inline.h:
1021 /usr/include/c++/7/bits/locale_facets.tcc:
1023 /usr/include/c++/7/bits/basic_ios.tcc:
1025 /usr/include/c++/7/bits/ostream.tcc:
1027 /usr/include/c++/7/istream:
1029 /usr/include/c++/7/bits/istream.tcc:
1031 /usr/include/xercesc/framework/MemBufInputSource.hpp:
1033 /usr/include/xercesc/sax/InputSource.hpp:
1065 src/snark/GeometricBehaviour.h:
1091 src/snark/inputfile.h:
1101 src/snark/recfile.h:
1103 include/DIGFileSnark/DIGFileSnarkRec.h:
1115 src/snark/superior.h:
1117 src/snark/sec_cri.h: