src/snark/.deps/bdhk_misl.Po

   1 build/bdhk_misl.o: src/snark/bdhk_misl.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/cmath \
  25  /usr/include/c++/7/bits/cpp_type_traits.h \
  26  /usr/include/c++/7/ext/type_traits.h /usr/include/math.h \
  27  /usr/include/x86_64-linux-gnu/bits/math-vector.h \
  28  /usr/include/x86_64-linux-gnu/bits/libm-simd-decl-stubs.h \
  29  /usr/include/x86_64-linux-gnu/bits/floatn.h \
  30  /usr/include/x86_64-linux-gnu/bits/huge_val.h \
  31  /usr/include/x86_64-linux-gnu/bits/huge_val_flt128.h \
  32  /usr/include/x86_64-linux-gnu/bits/huge_valf.h \
  33  /usr/include/x86_64-linux-gnu/bits/huge_vall.h \
  34  /usr/include/x86_64-linux-gnu/bits/inf.h \
  35  /usr/include/x86_64-linux-gnu/bits/nan.h \
  36  /usr/include/x86_64-linux-gnu/bits/flt-eval-method.h \
  37  /usr/include/x86_64-linux-gnu/bits/fp-logb.h \
  38  /usr/include/x86_64-linux-gnu/bits/fp-fast.h \
  39  /usr/include/x86_64-linux-gnu/bits/mathcalls-helper-functions.h \
  40  /usr/include/x86_64-linux-gnu/bits/mathcalls.h \
  41  /usr/include/x86_64-linux-gnu/bits/iscanonical.h \
  42  /usr/include/x86_64-linux-gnu/bits/mathinline.h \
  43  /usr/include/c++/7/bits/std_abs.h /usr/include/stdlib.h \
  44  /usr/include/x86_64-linux-gnu/bits/waitflags.h \
  45  /usr/include/x86_64-linux-gnu/bits/waitstatus.h \
  46  /usr/include/x86_64-linux-gnu/bits/types/locale_t.h \
  47  /usr/include/x86_64-linux-gnu/bits/types/__locale_t.h \
  48  /usr/include/x86_64-linux-gnu/sys/types.h \
  49  /usr/include/x86_64-linux-gnu/bits/types/clock_t.h \
  50  /usr/include/x86_64-linux-gnu/bits/types/clockid_t.h \
  51  /usr/include/x86_64-linux-gnu/bits/types/time_t.h \
  52  /usr/include/x86_64-linux-gnu/bits/types/timer_t.h \
  53  /usr/include/x86_64-linux-gnu/bits/stdint-intn.h /usr/include/endian.h \
  54  /usr/include/x86_64-linux-gnu/bits/endian.h \
  55  /usr/include/x86_64-linux-gnu/bits/byteswap.h \
  56  /usr/include/x86_64-linux-gnu/bits/byteswap-16.h \
  57  /usr/include/x86_64-linux-gnu/bits/uintn-identity.h \
  58  /usr/include/x86_64-linux-gnu/sys/select.h \
  59  /usr/include/x86_64-linux-gnu/bits/select.h \
  60  /usr/include/x86_64-linux-gnu/bits/types/sigset_t.h \
  61  /usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h \
  62  /usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h \
  63  /usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h \
  64  /usr/include/x86_64-linux-gnu/bits/select2.h \
  65  /usr/include/x86_64-linux-gnu/sys/sysmacros.h \
  66  /usr/include/x86_64-linux-gnu/bits/sysmacros.h \
  67  /usr/include/x86_64-linux-gnu/bits/pthreadtypes.h \
  68  /usr/include/x86_64-linux-gnu/bits/thread-shared-types.h \
  69  /usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h \
  70  /usr/include/alloca.h \
  71  /usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h \
  72  /usr/include/x86_64-linux-gnu/bits/stdlib-float.h \
  73  /usr/include/x86_64-linux-gnu/bits/stdlib.h src/snark/blkdta.h \
  74  src/snark/blob.h src/snark/geom.h src/snark/fourie.h src/snark/modefl.h \
  75  src/snark/consts.h src/snark/uiod.h src/snark/anglst.h \
  76  src/snark/errfac.h src/snark/errpar.h src/snark/pick.h \
  77  src/snark/pseudo.h /usr/include/c++/7/iostream \
  78  /usr/include/c++/7/ostream /usr/include/c++/7/ios \
  79  /usr/include/c++/7/iosfwd /usr/include/c++/7/bits/stringfwd.h \
  80  /usr/include/c++/7/bits/memoryfwd.h /usr/include/c++/7/bits/postypes.h \
  81  /usr/include/c++/7/cwchar /usr/include/wchar.h \
  82  /usr/include/x86_64-linux-gnu/bits/wchar.h \
  83  /usr/include/x86_64-linux-gnu/bits/types/wint_t.h \
  84  /usr/include/x86_64-linux-gnu/bits/types/mbstate_t.h \
  85  /usr/include/x86_64-linux-gnu/bits/wchar2.h /usr/include/c++/7/exception \
  86  /usr/include/c++/7/bits/exception.h \
  87  /usr/include/c++/7/bits/exception_ptr.h \
  88  /usr/include/c++/7/bits/exception_defines.h \
  89  /usr/include/c++/7/bits/cxxabi_init_exception.h \
  90  /usr/include/c++/7/typeinfo /usr/include/c++/7/bits/hash_bytes.h \
  91  /usr/include/c++/7/new /usr/include/c++/7/bits/nested_exception.h \
  92  /usr/include/c++/7/bits/move.h /usr/include/c++/7/bits/concept_check.h \
  93  /usr/include/c++/7/type_traits /usr/include/c++/7/bits/char_traits.h \
  94  /usr/include/c++/7/bits/stl_algobase.h \
  95  /usr/include/c++/7/bits/functexcept.h \
  96  /usr/include/c++/7/ext/numeric_traits.h \
  97  /usr/include/c++/7/bits/stl_pair.h \
  98  /usr/include/c++/7/bits/stl_iterator_base_types.h \
  99  /usr/include/c++/7/bits/stl_iterator_base_funcs.h \
 100  /usr/include/c++/7/debug/assertions.h \
 101  /usr/include/c++/7/bits/stl_iterator.h \
 102  /usr/include/c++/7/bits/ptr_traits.h /usr/include/c++/7/debug/debug.h \
 103  /usr/include/c++/7/bits/predefined_ops.h /usr/include/c++/7/cstdint \
 104  /usr/lib/gcc/x86_64-linux-gnu/7/include/stdint.h /usr/include/stdint.h \
 105  /usr/include/x86_64-linux-gnu/bits/stdint-uintn.h \
 106  /usr/include/c++/7/bits/localefwd.h \
 107  /usr/include/x86_64-linux-gnu/c++/7/bits/c++locale.h \
 108  /usr/include/c++/7/clocale /usr/include/locale.h \
 109  /usr/include/x86_64-linux-gnu/bits/locale.h /usr/include/c++/7/cctype \
 110  /usr/include/ctype.h /usr/include/c++/7/bits/ios_base.h \
 111  /usr/include/c++/7/ext/atomicity.h \
 112  /usr/include/x86_64-linux-gnu/c++/7/bits/gthr.h \
 113  /usr/include/x86_64-linux-gnu/c++/7/bits/gthr-default.h \
 114  /usr/include/pthread.h /usr/include/sched.h \
 115  /usr/include/x86_64-linux-gnu/bits/sched.h \
 116  /usr/include/x86_64-linux-gnu/bits/cpu-set.h /usr/include/time.h \
 117  /usr/include/x86_64-linux-gnu/bits/time.h \
 118  /usr/include/x86_64-linux-gnu/bits/timex.h \
 119  /usr/include/x86_64-linux-gnu/bits/types/struct_tm.h \
 120  /usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h \
 121  /usr/include/x86_64-linux-gnu/bits/setjmp.h \
 122  /usr/include/x86_64-linux-gnu/c++/7/bits/atomic_word.h \
 123  /usr/include/c++/7/bits/locale_classes.h /usr/include/c++/7/string \
 124  /usr/include/c++/7/bits/allocator.h \
 125  /usr/include/x86_64-linux-gnu/c++/7/bits/c++allocator.h \
 126  /usr/include/c++/7/ext/new_allocator.h \
 127  /usr/include/c++/7/bits/ostream_insert.h \
 128  /usr/include/c++/7/bits/cxxabi_forced.h \
 129  /usr/include/c++/7/bits/stl_function.h \
 130  /usr/include/c++/7/backward/binders.h \
 131  /usr/include/c++/7/bits/range_access.h \
 132  /usr/include/c++/7/initializer_list \
 133  /usr/include/c++/7/bits/basic_string.h \
 134  /usr/include/c++/7/ext/alloc_traits.h \
 135  /usr/include/c++/7/bits/alloc_traits.h \
 136  /usr/include/c++/7/ext/string_conversions.h /usr/include/c++/7/cstdlib \
 137  /usr/include/c++/7/cerrno /usr/include/errno.h \
 138  /usr/include/x86_64-linux-gnu/bits/errno.h /usr/include/linux/errno.h \
 139  /usr/include/x86_64-linux-gnu/asm/errno.h \
 140  /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
 141  /usr/include/c++/7/bits/functional_hash.h \
 142  /usr/include/c++/7/bits/basic_string.tcc \
 143  /usr/include/c++/7/bits/locale_classes.tcc \
 144  /usr/include/c++/7/system_error \
 145  /usr/include/x86_64-linux-gnu/c++/7/bits/error_constants.h \
 146  /usr/include/c++/7/stdexcept /usr/include/c++/7/streambuf \
 147  /usr/include/c++/7/bits/streambuf.tcc \
 148  /usr/include/c++/7/bits/basic_ios.h \
 149  /usr/include/c++/7/bits/locale_facets.h /usr/include/c++/7/cwctype \
 150  /usr/include/wctype.h /usr/include/x86_64-linux-gnu/bits/wctype-wchar.h \
 151  /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_base.h \
 152  /usr/include/c++/7/bits/streambuf_iterator.h \
 153  /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_inline.h \
 154  /usr/include/c++/7/bits/locale_facets.tcc \
 155  /usr/include/c++/7/bits/basic_ios.tcc \
 156  /usr/include/c++/7/bits/ostream.tcc /usr/include/c++/7/istream \
 157  /usr/include/c++/7/bits/istream.tcc src/snark/infile.h \
 158  src/snark/inputfile.h /usr/include/c++/7/iomanip \
 159  /usr/include/c++/7/locale /usr/include/c++/7/bits/locale_facets_nonio.h \
 160  /usr/include/c++/7/ctime \
 161  /usr/include/x86_64-linux-gnu/c++/7/bits/time_members.h \
 162  /usr/include/x86_64-linux-gnu/c++/7/bits/messages_members.h \
 163  /usr/include/libintl.h /usr/include/c++/7/bits/codecvt.h \
 164  /usr/include/c++/7/bits/locale_facets_nonio.tcc \
 165  /usr/include/c++/7/bits/locale_conv.h \
 166  /usr/include/c++/7/bits/stringfwd.h /usr/include/c++/7/bits/allocator.h \
 167  /usr/include/c++/7/bits/codecvt.h /usr/include/c++/7/bits/unique_ptr.h \
 168  /usr/include/c++/7/utility /usr/include/c++/7/bits/stl_relops.h \
 169  /usr/include/c++/7/tuple /usr/include/c++/7/array \
 170  /usr/include/c++/7/bits/uses_allocator.h \
 171  /usr/include/c++/7/bits/invoke.h /usr/include/c++/7/bits/quoted_string.h \
 172  /usr/include/c++/7/sstream /usr/include/c++/7/bits/sstream.tcc \
 173  /usr/include/c++/7/fstream \
 174  /usr/include/x86_64-linux-gnu/c++/7/bits/basic_file.h \
 175  /usr/include/x86_64-linux-gnu/c++/7/bits/c++io.h \
 176  /usr/include/c++/7/bits/fstream.tcc src/snark/second.h src/snark/wray.h \
 177  src/snark/raysel.h src/snark/bdhk.h src/snark/alg.h
 178
 179 /usr/include/stdc-predef.h:
 180
 181 /usr/include/c++/7/cstdio:
 182
 183 /usr/include/x86_64-linux-gnu/c++/7/bits/c++config.h:
 184
 185 /usr/include/x86_64-linux-gnu/c++/7/bits/os_defines.h:
 186
 187 /usr/include/features.h:
 188
 189 /usr/include/x86_64-linux-gnu/sys/cdefs.h:
 190
 191 /usr/include/x86_64-linux-gnu/bits/wordsize.h:
 192
 193 /usr/include/x86_64-linux-gnu/bits/long-double.h:
 194
 195 /usr/include/x86_64-linux-gnu/gnu/stubs.h:
 196
 197 /usr/include/x86_64-linux-gnu/gnu/stubs-64.h:
 198
 199 /usr/include/x86_64-linux-gnu/c++/7/bits/cpu_defines.h:
 200
 201 /usr/include/stdio.h:
 202
 203 /usr/include/x86_64-linux-gnu/bits/libc-header-start.h:
 204
 205 /usr/lib/gcc/x86_64-linux-gnu/7/include/stddef.h:
 206
 207 /usr/include/x86_64-linux-gnu/bits/types.h:
 208
 209 /usr/include/x86_64-linux-gnu/bits/typesizes.h:
 210
 211 /usr/include/x86_64-linux-gnu/bits/types/__FILE.h:
 212
 213 /usr/include/x86_64-linux-gnu/bits/types/FILE.h:
 214
 215 /usr/include/libio.h:
 216
 217 /usr/include/_G_config.h:
 218
 219 /usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h:
 220
 221 /usr/lib/gcc/x86_64-linux-gnu/7/include/stdarg.h:
 222
 223 /usr/include/x86_64-linux-gnu/bits/stdio_lim.h:
 224
 225 /usr/include/x86_64-linux-gnu/bits/sys_errlist.h:
 226
 227 /usr/include/x86_64-linux-gnu/bits/stdio.h:
 228
 229 /usr/include/x86_64-linux-gnu/bits/stdio2.h:
 230
 231 /usr/include/c++/7/cmath:
 232
 233 /usr/include/c++/7/bits/cpp_type_traits.h:
 234
 235 /usr/include/c++/7/ext/type_traits.h:
 236
 237 /usr/include/math.h:
 238
 239 /usr/include/x86_64-linux-gnu/bits/math-vector.h:
 240
 241 /usr/include/x86_64-linux-gnu/bits/libm-simd-decl-stubs.h:
 242
 243 /usr/include/x86_64-linux-gnu/bits/floatn.h:
 244
 245 /usr/include/x86_64-linux-gnu/bits/huge_val.h:
 246
 247 /usr/include/x86_64-linux-gnu/bits/huge_val_flt128.h:
 248
 249 /usr/include/x86_64-linux-gnu/bits/huge_valf.h:
 250
 251 /usr/include/x86_64-linux-gnu/bits/huge_vall.h:
 252
 253 /usr/include/x86_64-linux-gnu/bits/inf.h:
 254
 255 /usr/include/x86_64-linux-gnu/bits/nan.h:
 256
 257 /usr/include/x86_64-linux-gnu/bits/flt-eval-method.h:
 258
 259 /usr/include/x86_64-linux-gnu/bits/fp-logb.h:
 260
 261 /usr/include/x86_64-linux-gnu/bits/fp-fast.h:
 262
 263 /usr/include/x86_64-linux-gnu/bits/mathcalls-helper-functions.h:
 264
 265 /usr/include/x86_64-linux-gnu/bits/mathcalls.h:
 266
 267 /usr/include/x86_64-linux-gnu/bits/iscanonical.h:
 268
 269 /usr/include/x86_64-linux-gnu/bits/mathinline.h:
 270
 271 /usr/include/c++/7/bits/std_abs.h:
 272
 273 /usr/include/stdlib.h:
 274
 275 /usr/include/x86_64-linux-gnu/bits/waitflags.h:
 276
 277 /usr/include/x86_64-linux-gnu/bits/waitstatus.h:
 278
 279 /usr/include/x86_64-linux-gnu/bits/types/locale_t.h:
 280
 281 /usr/include/x86_64-linux-gnu/bits/types/__locale_t.h:
 282
 283 /usr/include/x86_64-linux-gnu/sys/types.h:
 284
 285 /usr/include/x86_64-linux-gnu/bits/types/clock_t.h:
 286
 287 /usr/include/x86_64-linux-gnu/bits/types/clockid_t.h:
 288
 289 /usr/include/x86_64-linux-gnu/bits/types/time_t.h:
 290
 291 /usr/include/x86_64-linux-gnu/bits/types/timer_t.h:
 292
 293 /usr/include/x86_64-linux-gnu/bits/stdint-intn.h:
 294
 295 /usr/include/endian.h:
 296
 297 /usr/include/x86_64-linux-gnu/bits/endian.h:
 298
 299 /usr/include/x86_64-linux-gnu/bits/byteswap.h:
 300
 301 /usr/include/x86_64-linux-gnu/bits/byteswap-16.h:
 302
 303 /usr/include/x86_64-linux-gnu/bits/uintn-identity.h:
 304
 305 /usr/include/x86_64-linux-gnu/sys/select.h:
 306
 307 /usr/include/x86_64-linux-gnu/bits/select.h:
 308
 309 /usr/include/x86_64-linux-gnu/bits/types/sigset_t.h:
 310
 311 /usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h:
 312
 313 /usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h:
 314
 315 /usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h:
 316
 317 /usr/include/x86_64-linux-gnu/bits/select2.h:
 318
 319 /usr/include/x86_64-linux-gnu/sys/sysmacros.h:
 320
 321 /usr/include/x86_64-linux-gnu/bits/sysmacros.h:
 322
 323 /usr/include/x86_64-linux-gnu/bits/pthreadtypes.h:
 324
 325 /usr/include/x86_64-linux-gnu/bits/thread-shared-types.h:
 326
 327 /usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h:
 328
 329 /usr/include/alloca.h:
 330
 331 /usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h:
 332
 333 /usr/include/x86_64-linux-gnu/bits/stdlib-float.h:
 334
 335 /usr/include/x86_64-linux-gnu/bits/stdlib.h:
 336
 337 src/snark/blkdta.h:
 338
 339 src/snark/blob.h:
 340
 341 src/snark/geom.h:
 342
 343 src/snark/fourie.h:
 344
 345 src/snark/modefl.h:
 346
 347 src/snark/consts.h:
 348
 349 src/snark/uiod.h:
 350
 351 src/snark/anglst.h:
 352
 353 src/snark/errfac.h:
 354
 355 src/snark/errpar.h:
 356
 357 src/snark/pick.h:
 358
 359 src/snark/pseudo.h:
 360
 361 /usr/include/c++/7/iostream:
 362
 363 /usr/include/c++/7/ostream:
 364
 365 /usr/include/c++/7/ios:
 366
 367 /usr/include/c++/7/iosfwd:
 368
 369 /usr/include/c++/7/bits/stringfwd.h:
 370
 371 /usr/include/c++/7/bits/memoryfwd.h:
 372
 373 /usr/include/c++/7/bits/postypes.h:
 374
 375 /usr/include/c++/7/cwchar:
 376
 377 /usr/include/wchar.h:
 378
 379 /usr/include/x86_64-linux-gnu/bits/wchar.h:
 380
 381 /usr/include/x86_64-linux-gnu/bits/types/wint_t.h:
 382
 383 /usr/include/x86_64-linux-gnu/bits/types/mbstate_t.h:
 384
 385 /usr/include/x86_64-linux-gnu/bits/wchar2.h:
 386
 387 /usr/include/c++/7/exception:
 388
 389 /usr/include/c++/7/bits/exception.h:
 390
 391 /usr/include/c++/7/bits/exception_ptr.h:
 392
 393 /usr/include/c++/7/bits/exception_defines.h:
 394
 395 /usr/include/c++/7/bits/cxxabi_init_exception.h:
 396
 397 /usr/include/c++/7/typeinfo:
 398
 399 /usr/include/c++/7/bits/hash_bytes.h:
 400
 401 /usr/include/c++/7/new:
 402
 403 /usr/include/c++/7/bits/nested_exception.h:
 404
 405 /usr/include/c++/7/bits/move.h:
 406
 407 /usr/include/c++/7/bits/concept_check.h:
 408
 409 /usr/include/c++/7/type_traits:
 410
 411 /usr/include/c++/7/bits/char_traits.h:
 412
 413 /usr/include/c++/7/bits/stl_algobase.h:
 414
 415 /usr/include/c++/7/bits/functexcept.h:
 416
 417 /usr/include/c++/7/ext/numeric_traits.h:
 418
 419 /usr/include/c++/7/bits/stl_pair.h:
 420
 421 /usr/include/c++/7/bits/stl_iterator_base_types.h:
 422
 423 /usr/include/c++/7/bits/stl_iterator_base_funcs.h:
 424
 425 /usr/include/c++/7/debug/assertions.h:
 426
 427 /usr/include/c++/7/bits/stl_iterator.h:
 428
 429 /usr/include/c++/7/bits/ptr_traits.h:
 430
 431 /usr/include/c++/7/debug/debug.h:
 432
 433 /usr/include/c++/7/bits/predefined_ops.h:
 434
 435 /usr/include/c++/7/cstdint:
 436
 437 /usr/lib/gcc/x86_64-linux-gnu/7/include/stdint.h:
 438
 439 /usr/include/stdint.h:
 440
 441 /usr/include/x86_64-linux-gnu/bits/stdint-uintn.h:
 442
 443 /usr/include/c++/7/bits/localefwd.h:
 444
 445 /usr/include/x86_64-linux-gnu/c++/7/bits/c++locale.h:
 446
 447 /usr/include/c++/7/clocale:
 448
 449 /usr/include/locale.h:
 450
 451 /usr/include/x86_64-linux-gnu/bits/locale.h:
 452
 453 /usr/include/c++/7/cctype:
 454
 455 /usr/include/ctype.h:
 456
 457 /usr/include/c++/7/bits/ios_base.h:
 458
 459 /usr/include/c++/7/ext/atomicity.h:
 460
 461 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr.h:
 462
 463 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr-default.h:
 464
 465 /usr/include/pthread.h:
 466
 467 /usr/include/sched.h:
 468
 469 /usr/include/x86_64-linux-gnu/bits/sched.h:
 470
 471 /usr/include/x86_64-linux-gnu/bits/cpu-set.h:
 472
 473 /usr/include/time.h:
 474
 475 /usr/include/x86_64-linux-gnu/bits/time.h:
 476
 477 /usr/include/x86_64-linux-gnu/bits/timex.h:
 478
 479 /usr/include/x86_64-linux-gnu/bits/types/struct_tm.h:
 480
 481 /usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h:
 482
 483 /usr/include/x86_64-linux-gnu/bits/setjmp.h:
 484
 485 /usr/include/x86_64-linux-gnu/c++/7/bits/atomic_word.h:
 486
 487 /usr/include/c++/7/bits/locale_classes.h:
 488
 489 /usr/include/c++/7/string:
 490
 491 /usr/include/c++/7/bits/allocator.h:
 492
 493 /usr/include/x86_64-linux-gnu/c++/7/bits/c++allocator.h:
 494
 495 /usr/include/c++/7/ext/new_allocator.h:
 496
 497 /usr/include/c++/7/bits/ostream_insert.h:
 498
 499 /usr/include/c++/7/bits/cxxabi_forced.h:
 500
 501 /usr/include/c++/7/bits/stl_function.h:
 502
 503 /usr/include/c++/7/backward/binders.h:
 504
 505 /usr/include/c++/7/bits/range_access.h:
 506
 507 /usr/include/c++/7/initializer_list:
 508
 509 /usr/include/c++/7/bits/basic_string.h:
 510
 511 /usr/include/c++/7/ext/alloc_traits.h:
 512
 513 /usr/include/c++/7/bits/alloc_traits.h:
 514
 515 /usr/include/c++/7/ext/string_conversions.h:
 516
 517 /usr/include/c++/7/cstdlib:
 518
 519 /usr/include/c++/7/cerrno:
 520
 521 /usr/include/errno.h:
 522
 523 /usr/include/x86_64-linux-gnu/bits/errno.h:
 524
 525 /usr/include/linux/errno.h:
 526
 527 /usr/include/x86_64-linux-gnu/asm/errno.h:
 528
 529 /usr/include/asm-generic/errno.h:
 530
 531 /usr/include/asm-generic/errno-base.h:
 532
 533 /usr/include/c++/7/bits/functional_hash.h:
 534
 535 /usr/include/c++/7/bits/basic_string.tcc:
 536
 537 /usr/include/c++/7/bits/locale_classes.tcc:
 538
 539 /usr/include/c++/7/system_error:
 540
 541 /usr/include/x86_64-linux-gnu/c++/7/bits/error_constants.h:
 542
 543 /usr/include/c++/7/stdexcept:
 544
 545 /usr/include/c++/7/streambuf:
 546
 547 /usr/include/c++/7/bits/streambuf.tcc:
 548
 549 /usr/include/c++/7/bits/basic_ios.h:
 550
 551 /usr/include/c++/7/bits/locale_facets.h:
 552
 553 /usr/include/c++/7/cwctype:
 554
 555 /usr/include/wctype.h:
 556
 557 /usr/include/x86_64-linux-gnu/bits/wctype-wchar.h:
 558
 559 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_base.h:
 560
 561 /usr/include/c++/7/bits/streambuf_iterator.h:
 562
 563 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_inline.h:
 564
 565 /usr/include/c++/7/bits/locale_facets.tcc:
 566
 567 /usr/include/c++/7/bits/basic_ios.tcc:
 568
 569 /usr/include/c++/7/bits/ostream.tcc:
 570
 571 /usr/include/c++/7/istream:
 572
 573 /usr/include/c++/7/bits/istream.tcc:
 574
 575 src/snark/infile.h:
 576
 577 src/snark/inputfile.h:
 578
 579 /usr/include/c++/7/iomanip:
 580
 581 /usr/include/c++/7/locale:
 582
 583 /usr/include/c++/7/bits/locale_facets_nonio.h:
 584
 585 /usr/include/c++/7/ctime:
 586
 587 /usr/include/x86_64-linux-gnu/c++/7/bits/time_members.h:
 588
 589 /usr/include/x86_64-linux-gnu/c++/7/bits/messages_members.h:
 590
 591 /usr/include/libintl.h:
 592
 593 /usr/include/c++/7/bits/codecvt.h:
 594
 595 /usr/include/c++/7/bits/locale_facets_nonio.tcc:
 596
 597 /usr/include/c++/7/bits/locale_conv.h:
 598
 599 /usr/include/c++/7/bits/stringfwd.h:
 600
 601 /usr/include/c++/7/bits/allocator.h:
 602
 603 /usr/include/c++/7/bits/codecvt.h:
 604
 605 /usr/include/c++/7/bits/unique_ptr.h:
 606
 607 /usr/include/c++/7/utility:
 608
 609 /usr/include/c++/7/bits/stl_relops.h:
 610
 611 /usr/include/c++/7/tuple:
 612
 613 /usr/include/c++/7/array:
 614
 615 /usr/include/c++/7/bits/uses_allocator.h:
 616
 617 /usr/include/c++/7/bits/invoke.h:
 618
 619 /usr/include/c++/7/bits/quoted_string.h:
 620
 621 /usr/include/c++/7/sstream:
 622
 623 /usr/include/c++/7/bits/sstream.tcc:
 624
 625 /usr/include/c++/7/fstream:
 626
 627 /usr/include/x86_64-linux-gnu/c++/7/bits/basic_file.h:
 628
 629 /usr/include/x86_64-linux-gnu/c++/7/bits/c++io.h:
 630
 631 /usr/include/c++/7/bits/fstream.tcc:
 632
 633 src/snark/second.h:
 634
 635 src/snark/wray.h:
 636
 637 src/snark/raysel.h:
 638
 639 src/snark/bdhk.h:
 640
 641 src/snark/alg.h: