{
  "program": {
    "fileInfos": {
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es5.d.ts": {
        "version": "1f753cee573dea40df8a9dc873fef5566957b19ad513874f6643d8dfb14842d0",
        "signature": "1f753cee573dea40df8a9dc873fef5566957b19ad513874f6643d8dfb14842d0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.d.ts": {
        "version": "7994d44005046d1413ea31d046577cdda33b8b2470f30281fd9c8b3c99fe2d96",
        "signature": "7994d44005046d1413ea31d046577cdda33b8b2470f30281fd9c8b3c99fe2d96"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2016.d.ts": {
        "version": "5f217838d25704474d9ef93774f04164889169ca31475fe423a9de6758f058d1",
        "signature": "5f217838d25704474d9ef93774f04164889169ca31475fe423a9de6758f058d1"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.d.ts": {
        "version": "459097c7bdd88fc5731367e56591e4f465f2c9de81a35427a7bd473165c34743",
        "signature": "459097c7bdd88fc5731367e56591e4f465f2c9de81a35427a7bd473165c34743"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.d.ts": {
        "version": "2edd3ddf436ef8e12df876dcae4ecd6a8748577944c477bf4b20d5596e0c9843",
        "signature": "2edd3ddf436ef8e12df876dcae4ecd6a8748577944c477bf4b20d5596e0c9843"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.d.ts": {
        "version": "0fc0f68d3f4d94aa65fab955592e4a9f2066e6f8ee2f66fcc45adf4037fc167b",
        "signature": "0fc0f68d3f4d94aa65fab955592e4a9f2066e6f8ee2f66fcc45adf4037fc167b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.esnext.d.ts": {
        "version": "1c05c805f62c1c06a60b7812cd8de2dff7a5bda2218ce5edda5d9d298b1c48e1",
        "signature": "1c05c805f62c1c06a60b7812cd8de2dff7a5bda2218ce5edda5d9d298b1c48e1"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.core.d.ts": {
        "version": "2a0390a665763bcc90f0670e43c587928d8fefe2a94a11209c1e22cba7b09f52",
        "signature": "2a0390a665763bcc90f0670e43c587928d8fefe2a94a11209c1e22cba7b09f52"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.collection.d.ts": {
        "version": "dd94d8ef48c562389eb58af8df3a3a34d11367f7c818192aa5f16470d469e3f0",
        "signature": "dd94d8ef48c562389eb58af8df3a3a34d11367f7c818192aa5f16470d469e3f0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.generator.d.ts": {
        "version": "828413486bdcaa342558e8e4570b1b287b776cb61b4b70b0214bd10c5d9a94c3",
        "signature": "828413486bdcaa342558e8e4570b1b287b776cb61b4b70b0214bd10c5d9a94c3"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.iterable.d.ts": {
        "version": "6c9f73334f8bf47aea685ca5b46a8f7e992a223e96fbceb030f26a4d2324ba21",
        "signature": "6c9f73334f8bf47aea685ca5b46a8f7e992a223e96fbceb030f26a4d2324ba21"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.promise.d.ts": {
        "version": "e6b8ff2798f8ebd7a1c7afd8671f2cb67ee1901c422f5964d74b0b34c6574ea2",
        "signature": "e6b8ff2798f8ebd7a1c7afd8671f2cb67ee1901c422f5964d74b0b34c6574ea2"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.proxy.d.ts": {
        "version": "5e72f949a89717db444e3bd9433468890068bb21a5638d8ab15a1359e05e54fe",
        "signature": "5e72f949a89717db444e3bd9433468890068bb21a5638d8ab15a1359e05e54fe"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.reflect.d.ts": {
        "version": "f5b242136ae9bfb1cc99a5971cccc44e99947ae6b5ef6fd8aa54b5ade553b976",
        "signature": "f5b242136ae9bfb1cc99a5971cccc44e99947ae6b5ef6fd8aa54b5ade553b976"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.symbol.d.ts": {
        "version": "9ae2860252d6b5f16e2026d8a2c2069db7b2a3295e98b6031d01337b96437230",
        "signature": "9ae2860252d6b5f16e2026d8a2c2069db7b2a3295e98b6031d01337b96437230"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.symbol.wellknown.d.ts": {
        "version": "3e0a459888f32b42138d5a39f706ff2d55d500ab1031e0988b5568b0f67c2303",
        "signature": "3e0a459888f32b42138d5a39f706ff2d55d500ab1031e0988b5568b0f67c2303"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2016.array.include.d.ts": {
        "version": "3f96f1e570aedbd97bf818c246727151e873125d0512e4ae904330286c721bc0",
        "signature": "3f96f1e570aedbd97bf818c246727151e873125d0512e4ae904330286c721bc0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.object.d.ts": {
        "version": "ff8ad203e83338289b0f5defc1a5b5c253fb7d251b464db497383f915a0df3f4",
        "signature": "ff8ad203e83338289b0f5defc1a5b5c253fb7d251b464db497383f915a0df3f4"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.sharedmemory.d.ts": {
        "version": "b8667586a618c5cf64523d4e500ae39e781428abfb28f3de441fc66b56144b6f",
        "signature": "b8667586a618c5cf64523d4e500ae39e781428abfb28f3de441fc66b56144b6f"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.string.d.ts": {
        "version": "21df2e0059f14dcb4c3a0e125859f6b6ff01332ee24b0065a741d121250bc71c",
        "signature": "21df2e0059f14dcb4c3a0e125859f6b6ff01332ee24b0065a741d121250bc71c"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.intl.d.ts": {
        "version": "c1759cb171c7619af0d2234f2f8fb2a871ee88e956e2ed91bb61778e41f272c6",
        "signature": "c1759cb171c7619af0d2234f2f8fb2a871ee88e956e2ed91bb61778e41f272c6"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.typedarrays.d.ts": {
        "version": "28569d59e07d4378cb3d54979c4c60f9f06305c9bb6999ffe6cab758957adc46",
        "signature": "28569d59e07d4378cb3d54979c4c60f9f06305c9bb6999ffe6cab758957adc46"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.asynciterable.d.ts": {
        "version": "42102aaeb1bfec213be1e9777466a6d551eeba8567fed18c0cdbca8c35e3c6e4",
        "signature": "42102aaeb1bfec213be1e9777466a6d551eeba8567fed18c0cdbca8c35e3c6e4"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.intl.d.ts": {
        "version": "1b820b57379c726f94af50cd60053674af53ff9d079c1563cc70071e8b757dd0",
        "signature": "1b820b57379c726f94af50cd60053674af53ff9d079c1563cc70071e8b757dd0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.promise.d.ts": {
        "version": "efe049114bad1035b0aa9a4a0359f50ab776e3897c411521e51d3013079cbd62",
        "signature": "efe049114bad1035b0aa9a4a0359f50ab776e3897c411521e51d3013079cbd62"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.regexp.d.ts": {
        "version": "e7780d04cd4120ee554c665829db2bbdd6b947cbaa3c150b7d9ea74df3beb2e8",
        "signature": "e7780d04cd4120ee554c665829db2bbdd6b947cbaa3c150b7d9ea74df3beb2e8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.array.d.ts": {
        "version": "fc7c02b980e7dda0ed14d57ee71705c09efc51ec6286a10b971a25a3bb29262b",
        "signature": "fc7c02b980e7dda0ed14d57ee71705c09efc51ec6286a10b971a25a3bb29262b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.object.d.ts": {
        "version": "989b95205f1189943fab0ce12a39c80570edf8f200aca60e0fdc500afc4d5859",
        "signature": "989b95205f1189943fab0ce12a39c80570edf8f200aca60e0fdc500afc4d5859"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.string.d.ts": {
        "version": "669427ac10ef9f52b6a7a502a66670eaabba675e0a660eb971041bd73c9894e3",
        "signature": "669427ac10ef9f52b6a7a502a66670eaabba675e0a660eb971041bd73c9894e3"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.symbol.d.ts": {
        "version": "7a842c21e0fe143eb3ad4d689a1470bab5ed9bc7fd7223fe8b56cbae27038d62",
        "signature": "7a842c21e0fe143eb3ad4d689a1470bab5ed9bc7fd7223fe8b56cbae27038d62"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.esnext.intl.d.ts": {
        "version": "f6e0c89daaf72eac38dfb1d5ef0972183f7f26a68da15bfe5bcb7cfccf0c7db8",
        "signature": "f6e0c89daaf72eac38dfb1d5ef0972183f7f26a68da15bfe5bcb7cfccf0c7db8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.esnext.bigint.d.ts": {
        "version": "63b66918290d794f73832a6d0325be5026236674fe8c0cb0b68d162000d7bbe8",
        "signature": "63b66918290d794f73832a6d0325be5026236674fe8c0cb0b68d162000d7bbe8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/tslib/tslib.d.ts": {
        "version": "4984b48a97160eac5282ffeae690315420a626de83ccf6045c36d934c5c957c0",
        "signature": "4984b48a97160eac5282ffeae690315420a626de83ccf6045c36d934c5c957c0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/Pre.d.ts": {
        "version": "395f75bd1652446d57390fd1b293d4ca5aa5d56dae64f3f09bd98d4cfd395633",
        "signature": "395f75bd1652446d57390fd1b293d4ca5aa5d56dae64f3f09bd98d4cfd395633"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts": {
        "version": "3554c4547b1e2ae7588cbd20878e79ad6e2e692ffe1ee5d03b8558933a78c9b9",
        "signature": "3554c4547b1e2ae7588cbd20878e79ad6e2e692ffe1ee5d03b8558933a78c9b9"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/LinearCongruential.d.ts": {
        "version": "62c18d0ed0eb7c5dc476d1a91d91286e8dfbcc544803b578d727fb7571d7a8cd",
        "signature": "62c18d0ed0eb7c5dc476d1a91d91286e8dfbcc544803b578d727fb7571d7a8cd"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/MersenneTwister.d.ts": {
        "version": "cb96106676bce46a71940213137b3e2871ed524becff507aab30d3439ec1a53b",
        "signature": "cb96106676bce46a71940213137b3e2871ed524becff507aab30d3439ec1a53b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/XorShift.d.ts": {
        "version": "8cf6440c1518d8823fcc3fa2b7f622d831041efdd4e733612871ed6eaf5a3bf9",
        "signature": "8cf6440c1518d8823fcc3fa2b7f622d831041efdd4e733612871ed6eaf5a3bf9"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts": {
        "version": "74a28e317a51160970d3b39c6f0adcae0e572b6ee28755690fadf7a6ee93cd53",
        "signature": "74a28e317a51160970d3b39c6f0adcae0e572b6ee28755690fadf7a6ee93cd53"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformBigIntDistribution.d.ts": {
        "version": "d1660cfc0b16b3aeb586e9c0b4cdac765243bbcb5994192e893ac9227b03bac4",
        "signature": "d1660cfc0b16b3aeb586e9c0b4cdac765243bbcb5994192e893ac9227b03bac4"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformIntDistribution.d.ts": {
        "version": "e87be9b750f348a72f5257e21993c1c5e90434533938355799d40d1a18eb078b",
        "signature": "e87be9b750f348a72f5257e21993c1c5e90434533938355799d40d1a18eb078b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand-default.d.ts": {
        "version": "2b936eb5350683b6d343e54b227f6f8001bba21ebef0a5efe3591a373a1cbb48",
        "signature": "2b936eb5350683b6d343e54b227f6f8001bba21ebef0a5efe3591a373a1cbb48"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts": {
        "version": "145f0dc7dae1495f8dcfd0fe31120f92415c509d143ebecaa89825d6c2a80e8d",
        "signature": "145f0dc7dae1495f8dcfd0fe31120f92415c509d143ebecaa89825d6c2a80e8d"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts": {
        "version": "7bce906a70be47734a156ec7ce2a33f7242fe795b6281df437ab5589f1a62395",
        "signature": "7bce906a70be47734a156ec7ce2a33f7242fe795b6281df437ab5589f1a62395"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts": {
        "version": "d206f5b22c2a9c05e8017fca2d7265146c9ab8c4695c0e559ac263f38fe1ce5b",
        "signature": "d206f5b22c2a9c05e8017fca2d7265146c9ab8c4695c0e559ac263f38fe1ce5b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts": {
        "version": "e440f36c3cac0b81cffa7d34f843841947e3c0ea84bed5c1404482597a0257f3",
        "signature": "e440f36c3cac0b81cffa7d34f843841947e3c0ea84bed5c1404482597a0257f3"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts": {
        "version": "7519fcb8ce505d538cc4e863274bb026ef601fc74d7230794f87649714cee84a",
        "signature": "7519fcb8ce505d538cc4e863274bb026ef601fc74d7230794f87649714cee84a"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts": {
        "version": "2917bd9fb3fc9cc085fa8da9b64fa92664494582bf8b09f0293de925a0dcf7df",
        "signature": "2917bd9fb3fc9cc085fa8da9b64fa92664494582bf8b09f0293de925a0dcf7df"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts": {
        "version": "b1ab3ca146ffe2c12891ef60293e1eb97ceee18e8a1292d9c865b848c9b08a2c",
        "signature": "b1ab3ca146ffe2c12891ef60293e1eb97ceee18e8a1292d9c865b848c9b08a2c"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts": {
        "version": "0859d9a2003cee31ac3b70e48c85683d3e119fbd9901a074bd5fc2af83d59de6",
        "signature": "0859d9a2003cee31ac3b70e48c85683d3e119fbd9901a074bd5fc2af83d59de6"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generated.d.ts": {
        "version": "3e5ae049177abb112615f82271838b76cce2a3d964144b1d51da5239c727c851",
        "signature": "3e5ae049177abb112615f82271838b76cce2a3d964144b1d51da5239c727c851"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts": {
        "version": "494d1856881ebd59e302884e66b1e89e9e8c85c0adacdb3e3bfb0d4a05743b28",
        "signature": "494d1856881ebd59e302884e66b1e89e9e8c85c0adacdb3e3bfb0d4a05743b28"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts": {
        "version": "f4287bbbf636a0e483b148e11368b20b9ab465fd4c9dd973e384770c8d318ec0",
        "signature": "f4287bbbf636a0e483b148e11368b20b9ab465fd4c9dd973e384770c8d318ec0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generated.d.ts": {
        "version": "d48a6feb653ab5cb39f087701e45587d1ab7af6969f6bc716ddf9f070d60d7d9",
        "signature": "d48a6feb653ab5cb39f087701e45587d1ab7af6969f6bc716ddf9f070d60d7d9"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts": {
        "version": "aeaaaa81a90dcbeabfc87b9cb5f232ceb4b2e9807d2a167e23254449a0c4ddda",
        "signature": "aeaaaa81a90dcbeabfc87b9cb5f232ceb4b2e9807d2a167e23254449a0c4ddda"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/RandomType.d.ts": {
        "version": "949bdef0bcba0eb5202aa511f47e6c7b80b3af6d8f95a820fa1314bfe7ffca2a",
        "signature": "949bdef0bcba0eb5202aa511f47e6c7b80b3af6d8f95a820fa1314bfe7ffca2a"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts": {
        "version": "76fb27d4b7216fdb1ce4409ed62d28fb249912150e76b03b412e647dc2f027b1",
        "signature": "76fb27d4b7216fdb1ce4409ed62d28fb249912150e76b03b412e647dc2f027b1"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts": {
        "version": "8df85cd8fd165dac57046fe0268fa5988675bfde0041f39e4c77d192d8f8dfe9",
        "signature": "8df85cd8fd165dac57046fe0268fa5988675bfde0041f39e4c77d192d8f8dfe9"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionStatus.d.ts": {
        "version": "127eba00b2309a635b1e4871d937adc359dd6ac775e39e183343e66b65de79b6",
        "signature": "127eba00b2309a635b1e4871d937adc359dd6ac775e39e183343e66b65de79b6"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts": {
        "version": "fd2123562bf41285741922c573aec1d127dd4e9938342e396cf87def1dc05c90",
        "signature": "fd2123562bf41285741922c573aec1d127dd4e9938342e396cf87def1dc05c90"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts": {
        "version": "593bec2dae494da5e6afd35f44eda0d325553968e9c3dcc5455e58bbbdb621ca",
        "signature": "593bec2dae494da5e6afd35f44eda0d325553968e9c3dcc5455e58bbbdb621ca"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Runner.d.ts": {
        "version": "385f4f4c977ddcd47ce37d2904daf2c9ac7f98e33d64dbfad953a15cec89b8c9",
        "signature": "385f4f4c977ddcd47ce37d2904daf2c9ac7f98e33d64dbfad953a15cec89b8c9"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Sampler.d.ts": {
        "version": "b212f44a93e42d2cc0218b1a9a83464fd33cb7cd24f6b5d5b5722666c20d8c6a",
        "signature": "b212f44a93e42d2cc0218b1a9a83464fd33cb7cd24f6b5d5b5722666c20d8c6a"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts": {
        "version": "41f5a138d970a993a732654f4394062425d5707bbd355cd001f7523cead65ef8",
        "signature": "41f5a138d970a993a732654f4394062425d5707bbd355cd001f7523cead65ef8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ArrayArbitrary.d.ts": {
        "version": "e73ae894a8cec80ea92ac08e2a345170f237b6602f508a5a41976aefc6ea1319",
        "signature": "e73ae894a8cec80ea92ac08e2a345170f237b6602f508a5a41976aefc6ea1319"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BigIntArbitrary.d.ts": {
        "version": "2e0e5049690b14cee6a0708e46640f6c218d8b8cc5cc5f77646227d49ffbf787",
        "signature": "2e0e5049690b14cee6a0708e46640f6c218d8b8cc5cc5f77646227d49ffbf787"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BooleanArbitrary.d.ts": {
        "version": "8039666ffa3eb8ac34c0de2ae924c1eb4dca9c3283f5d8a846b33de94681ed61",
        "signature": "8039666ffa3eb8ac34c0de2ae924c1eb4dca9c3283f5d8a846b33de94681ed61"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/CharacterArbitrary.d.ts": {
        "version": "4820350ea07467bcce558a36e20bf49fe7bf2e9bfb9031b5083b4e514703c22c",
        "signature": "4820350ea07467bcce558a36e20bf49fe7bf2e9bfb9031b5083b4e514703c22c"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ConstantArbitrary.d.ts": {
        "version": "6d2e9c9b9e6553fc243ac2ce7633540d3ea118763d159c661edde054901d18c6",
        "signature": "6d2e9c9b9e6553fc243ac2ce7633540d3ea118763d159c661edde054901d18c6"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ContextArbitrary.d.ts": {
        "version": "d309b7315db2b3dbcc0a8b130989168eb9f50f079775ea84a677776fd0b60827",
        "signature": "d309b7315db2b3dbcc0a8b130989168eb9f50f079775ea84a677776fd0b60827"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DedupArbitrary.d.ts": {
        "version": "e6781f462d45466ccb105c72eae280cbf34730a63064769cd546696bccc47857",
        "signature": "e6781f462d45466ccb105c72eae280cbf34730a63064769cd546696bccc47857"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DictionaryArbitrary.d.ts": {
        "version": "62237afc11a7ef47a3858e015915d0b2e78c577c335e1f6ced42415d2f13d0d8",
        "signature": "62237afc11a7ef47a3858e015915d0b2e78c577c335e1f6ced42415d2f13d0d8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/EmailArbitrary.d.ts": {
        "version": "b9778485590822afd6a9a3041d0a779ab62fd30959f1627d542086c9ae94a1de",
        "signature": "b9778485590822afd6a9a3041d0a779ab62fd30959f1627d542086c9ae94a1de"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FloatingPointArbitrary.d.ts": {
        "version": "6fa16d76a798ad67ec4eacadccef1b447dd0613cf69828b4336d5ecbac16e09a",
        "signature": "6fa16d76a798ad67ec4eacadccef1b447dd0613cf69828b4336d5ecbac16e09a"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FrequencyArbitrary.d.ts": {
        "version": "ec4a94c46e811aca2a84f082bdcf2bb93c80151cedad29b2ae2c6e46664b857b",
        "signature": "ec4a94c46e811aca2a84f082bdcf2bb93c80151cedad29b2ae2c6e46664b857b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FunctionArbitrary.d.ts": {
        "version": "8e475804702610f77c7f9621dbbb5a698c9498865f053af9fa63445ce720c550",
        "signature": "8e475804702610f77c7f9621dbbb5a698c9498865f053af9fa63445ce720c550"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/HostArbitrary.d.ts": {
        "version": "4138cf4984e332be9473c98f8a65d237d417a6fd8d98b018d96080f2ca603a53",
        "signature": "4138cf4984e332be9473c98f8a65d237d417a6fd8d98b018d96080f2ca603a53"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IntegerArbitrary.d.ts": {
        "version": "baeb2aaedd8500a313d47ca57addede7dbb41fef8650d19d92a37436eb76b3ce",
        "signature": "baeb2aaedd8500a313d47ca57addede7dbb41fef8650d19d92a37436eb76b3ce"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IpArbitrary.d.ts": {
        "version": "1209b541465db65c245cae442ea66423ef9af1b7b805e01b2e03557e746d564e",
        "signature": "1209b541465db65c245cae442ea66423ef9af1b7b805e01b2e03557e746d564e"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LetRecArbitrary.d.ts": {
        "version": "3942a500e41a66cb716e6a5037b91c03563309296ca571d017540b49d8c3ecd9",
        "signature": "3942a500e41a66cb716e6a5037b91c03563309296ca571d017540b49d8c3ecd9"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LoremArbitrary.d.ts": {
        "version": "c68f0cdfac618e5163d5909b470a66757c7f4b49a9a7b33c30fb86206f2c77a5",
        "signature": "c68f0cdfac618e5163d5909b470a66757c7f4b49a9a7b33c30fb86206f2c77a5"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MapToConstantArbitrary.d.ts": {
        "version": "0495c38139276e593ecd656468b73a38423dce54c57eb608f3d354cd3c558cb8",
        "signature": "0495c38139276e593ecd656468b73a38423dce54c57eb608f3d354cd3c558cb8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MemoArbitrary.d.ts": {
        "version": "d3879f00232000f4dad1014a91475ccdec53a7a310b39add92623dceec5edc41",
        "signature": "d3879f00232000f4dad1014a91475ccdec53a7a310b39add92623dceec5edc41"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ObjectArbitrary.d.ts": {
        "version": "066173608b2696f26f0cc46611960469039e3b5f90a71682cc6e8cabfebe9ff0",
        "signature": "066173608b2696f26f0cc46611960469039e3b5f90a71682cc6e8cabfebe9ff0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OneOfArbitrary.d.ts": {
        "version": "b5ec970070de722194af078f15b9a2fdf503d6bdb80683296543e16b634c705a",
        "signature": "b5ec970070de722194af078f15b9a2fdf503d6bdb80683296543e16b634c705a"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OptionArbitrary.d.ts": {
        "version": "76874804614f8c4de4223b15ba4cd7da38f9d1b5fc818b436dd971260a8e2219",
        "signature": "76874804614f8c4de4223b15ba4cd7da38f9d1b5fc818b436dd971260a8e2219"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/RecordArbitrary.d.ts": {
        "version": "b30f806df185eabcbb5de83bc09ce00d2b765e7de31e8d7ce8748804a6674ec9",
        "signature": "b30f806df185eabcbb5de83bc09ce00d2b765e7de31e8d7ce8748804a6674ec9"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SetArbitrary.d.ts": {
        "version": "71168ac789ed3c3f45b499e818b1973245c1d0e26cb5ffaf6128658a1a8667b4",
        "signature": "71168ac789ed3c3f45b499e818b1973245c1d0e26cb5ffaf6128658a1a8667b4"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StreamArbitrary.d.ts": {
        "version": "44d404b0b34d830b0d393bfc43ddff73fa9e54ba6c5c76861eb938c45ad921c8",
        "signature": "44d404b0b34d830b0d393bfc43ddff73fa9e54ba6c5c76861eb938c45ad921c8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StringArbitrary.d.ts": {
        "version": "ab518c5b1ff7ef487670db98895b3cef817c44315fb657b03ec49e9fb184a8a4",
        "signature": "ab518c5b1ff7ef487670db98895b3cef817c44315fb657b03ec49e9fb184a8a4"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SubarrayArbitrary.d.ts": {
        "version": "edb9b6162389bb567f12b2d42d8cb1fa7f35929262f6219b3d47eb52f6141f08",
        "signature": "edb9b6162389bb567f12b2d42d8cb1fa7f35929262f6219b3d47eb52f6141f08"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generated.d.ts": {
        "version": "b6b9af6ec6d316d325104ac77decd80ac4ac474264a00c31a70259c8dc419a48",
        "signature": "b6b9af6ec6d316d325104ac77decd80ac4ac474264a00c31a70259c8dc419a48"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generic.d.ts": {
        "version": "c0f55e077ab8f718528cce96b4ed85de37cff03a4c8c8789558517c3a5143785",
        "signature": "c0f55e077ab8f718528cce96b4ed85de37cff03a4c8c8789558517c3a5143785"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.d.ts": {
        "version": "e5ec3703730b5da5378ebb01bf0ecc1d0dcdfa36ead4649decf77591a6bf6f6a",
        "signature": "e5ec3703730b5da5378ebb01bf0ecc1d0dcdfa36ead4649decf77591a6bf6f6a"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/WebArbitrary.d.ts": {
        "version": "3422cf373e2e74daef345e7b56e04f4e7f96498de3eca2290849f3508a75a73a",
        "signature": "3422cf373e2e74daef345e7b56e04f4e7f96498de3eca2290849f3508a75a73a"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts": {
        "version": "c88bda2d8615b087d98374af2dfb0677b5816eaeb389b5beae5ddbc8d1f5da64",
        "signature": "c88bda2d8615b087d98374af2dfb0677b5816eaeb389b5beae5ddbc8d1f5da64"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts": {
        "version": "8f6e105a57cd4e866c91921c70fdccce205be9fc9d7db6002e256933d3035ab0",
        "signature": "8f6e105a57cd4e866c91921c70fdccce205be9fc9d7db6002e256933d3035ab0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts": {
        "version": "4e4f5c1c527808c847fb0adb075039e3b38fef654deaf38a9c3c6438ca657f01",
        "signature": "4e4f5c1c527808c847fb0adb075039e3b38fef654deaf38a9c3c6438ca657f01"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsSettings.d.ts": {
        "version": "200e4c13206cfbb219028dc37f45577c7b3efb283b0d7262fbf10a7386c20ee2",
        "signature": "200e4c13206cfbb219028dc37f45577c7b3efb283b0d7262fbf10a7386c20ee2"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsArbitrary.d.ts": {
        "version": "645f59ddf459e3c11f2326dfd885c94dd1fc154b0649e61c6ca8554d1d7a6d75",
        "signature": "645f59ddf459e3c11f2326dfd885c94dd1fc154b0649e61c6ca8554d1d7a6d75"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/symbols.d.ts": {
        "version": "9fe021afa50945f6a537a114917961e239ec0c394a0a4ced4a2c51e6ef363184",
        "signature": "9fe021afa50945f6a537a114917961e239ec0c394a0a4ced4a2c51e6ef363184"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandWrapper.d.ts": {
        "version": "a6348d9611a797ef616bca8df5178a97cf69a13f604e6c51764b14f2459763f0",
        "signature": "a6348d9611a797ef616bca8df5178a97cf69a13f604e6c51764b14f2459763f0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsIterable.d.ts": {
        "version": "b0d18d98a042ba7e8cfa7e29ba63ec04035371e1fc992bfadc3e87f6f495efd2",
        "signature": "b0d18d98a042ba7e8cfa7e29ba63ec04035371e1fc992bfadc3e87f6f495efd2"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/ModelRunner.d.ts": {
        "version": "5eeb9e5aa1ede9e4afc142a38d695b3b51c0975d41526faba6315881c4c55e31",
        "signature": "5eeb9e5aa1ede9e4afc142a38d695b3b51c0975d41526faba6315881c4c55e31"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/utils/stringify.d.ts": {
        "version": "1084ef98ffc8f721e5ccba68a44c29c65dbe895440a25f4e5c6195188a9b5ec0",
        "signature": "1084ef98ffc8f721e5ccba68a44c29c65dbe895440a25f4e5c6195188a9b5ec0"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check-default.d.ts": {
        "version": "9227c09a41f0e4cdcb56b1d708789841ba4268f99860f57490520c0753ccb671",
        "signature": "9227c09a41f0e4cdcb56b1d708789841ba4268f99860f57490520c0753ccb671"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts": {
        "version": "85c7ffcdd4ce13945e09f7bd95b2217d006fb333d7a25dfecabf85fd2a1c3108",
        "signature": "85c7ffcdd4ce13945e09f7bd95b2217d006fb333d7a25dfecabf85fd2a1c3108"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/fisher-yates.ts": {
        "version": "6db726738c775b137839b438b1de0957e170f4afdbbcb8feb1341c4008c77e44",
        "signature": "5fbc24d76ad0248149d9b76d81ad430946be3257d9f46ec00f1ac1ba153a019e"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/build-rng-state.ts": {
        "version": "daa499edde9f57d75f5a974307379687edfbc5778084f10365e73d480c4ea841",
        "signature": "8df9b591b710b582158039474a3429b78b542c3d5515c9264d2bce5f155f466b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jsverify/lib/jsverify.d.ts": {
        "version": "13181ca0eb5d771197e7e8eefe13f5157ebfa46d195bb5c39689a9507e79a8ed",
        "signature": "13181ca0eb5d771197e7e8eefe13f5157ebfa46d195bb5c39689a9507e79a8ed"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/jsverify-to-fast-check.ts": {
        "version": "901cc0bb4c8e5efdd350db7d1592f0e117921d975c290b3edd878fe780c937b8",
        "signature": "b57698f96709b8b0871e5e6c0a658de4331bfcfd48267e195dc1787976accf1c"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts": {
        "version": "bc12492fa90cd2ad3f73c10efa597503dbf59ebac0e3c9728cc10adaad6b0b87",
        "signature": "bc12492fa90cd2ad3f73c10efa597503dbf59ebac0e3c9728cc10adaad6b0b87"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__generator/index.d.ts": {
        "version": "19fb2161edf60fbe73ee3650c1cee889df0525ed852eff2d5fa6e5480c132ae3",
        "signature": "19fb2161edf60fbe73ee3650c1cee889df0525ed852eff2d5fa6e5480c132ae3"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__traverse/index.d.ts": {
        "version": "44d81327b8fbb2d7ca0701f5b7bb73e48036eb99a87356acf95f19ed96e907aa",
        "signature": "44d81327b8fbb2d7ca0701f5b7bb73e48036eb99a87356acf95f19ed96e907aa"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts": {
        "version": "67fb81fcd13edc5410665fa72892dd0878654b54946e8b0f10af5adc234bfe8f",
        "signature": "67fb81fcd13edc5410665fa72892dd0878654b54946e8b0f10af5adc234bfe8f"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__template/index.d.ts": {
        "version": "3e0a34f7207431d967dc32d593d1cda0c23975e9484bc8895b39d96ffca4a0d8",
        "signature": "3e0a34f7207431d967dc32d593d1cda0c23975e9484bc8895b39d96ffca4a0d8"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__core/index.d.ts": {
        "version": "8f279d393b3572c5c0a8428d46d00281c38a5ef52dc9dd513fc861c31a5d6420",
        "signature": "8f279d393b3572c5c0a8428d46d00281c38a5ef52dc9dd513fc861c31a5d6420"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-coverage/index.d.ts": {
        "version": "9e951ec338c4232d611552a1be7b4ecec79a8c2307a893ce39701316fe2374bd",
        "signature": "9e951ec338c4232d611552a1be7b4ecec79a8c2307a893ce39701316fe2374bd"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-report/index.d.ts": {
        "version": "70c61ff569aabdf2b36220da6c06caaa27e45cd7acac81a1966ab4ee2eadc4f2",
        "signature": "70c61ff569aabdf2b36220da6c06caaa27e45cd7acac81a1966ab4ee2eadc4f2"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-reports/index.d.ts": {
        "version": "93b59bc67329d5add033e3198583c39aa939cef891e6a2b763e0bea2b514ea9b",
        "signature": "93b59bc67329d5add033e3198583c39aa939cef891e6a2b763e0bea2b514ea9b"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest-diff/index.d.ts": {
        "version": "6ecb326999da47034eff85653423767152858fbb7acf0433f7603c9abf1e3f06",
        "signature": "6ecb326999da47034eff85653423767152858fbb7acf0433f7603c9abf1e3f06"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/types.d.ts": {
        "version": "71ba0678a3c647f5c0706ae975c031ace0d464e60f9ce56eaa7f1678d065aab7",
        "signature": "71ba0678a3c647f5c0706ae975c031ace0d464e60f9ce56eaa7f1678d065aab7"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/index.d.ts": {
        "version": "162c6f2951bd80ae6e16679378f382200b26bba9de8f255af3a2895fbfa670b4",
        "signature": "162c6f2951bd80ae6e16679378f382200b26bba9de8f255af3a2895fbfa670b4"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest/index.d.ts": {
        "version": "9dd180752ee664a74a525a05194afdd787295e56634b8adbc8525d7c0af64e96",
        "signature": "9dd180752ee664a74a525a05194afdd787295e56634b8adbc8525d7c0af64e96"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/stack-utils/index.d.ts": {
        "version": "41422586881bcd739b4e62d9b91cd29909f8572aa3e3cdf316b7c50f14708d49",
        "signature": "41422586881bcd739b4e62d9b91cd29909f8572aa3e3cdf316b7c50f14708d49"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs-parser/index.d.ts": {
        "version": "7b48555954a556ad80cc5fda89473d339f570eeac7a7b4d99c88ff5e646c24f7",
        "signature": "7b48555954a556ad80cc5fda89473d339f570eeac7a7b4d99c88ff5e646c24f7"
      },
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs/index.d.ts": {
        "version": "6f15cf4b24659aa2b9f957dc0b4254b89f35a77978f9da1f161587b66ef75663",
        "signature": "6f15cf4b24659aa2b9f957dc0b4254b89f35a77978f9da1f161587b66ef75663"
      }
    },
    "options": {
      "incremental": true,
      "declaration": true,
      "sourceMap": true,
      "alwaysStrict": true,
      "noImplicitAny": true,
      "noImplicitThis": true,
      "noUnusedLocals": true,
      "removeComments": false,
      "preserveConstEnums": true,
      "strictNullChecks": true,
      "downlevelIteration": true,
      "importHelpers": true,
      "module": 1,
      "target": 0,
      "lib": [
        "lib.esnext.d.ts"
      ],
      "outDir": "/home/travis/build/dubzzz/jsverify-to-fast-check/lib/",
      "configFilePath": "/home/travis/build/dubzzz/jsverify-to-fast-check/tsconfig.json"
    },
    "referencedMap": {
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/LinearCongruential.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/MersenneTwister.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/XorShift.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformBigIntDistribution.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformIntDistribution.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand-default.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/LinearCongruential.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/MersenneTwister.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/XorShift.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformBigIntDistribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformIntDistribution.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand-default.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generated.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generated.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generated.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generated.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/RandomType.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionStatus.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Runner.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Sampler.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ArrayArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BigIntArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BooleanArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/CharacterArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ConstantArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ContextArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DedupArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DictionaryArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/EmailArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FloatingPointArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FrequencyArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FunctionArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/HostArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IntegerArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IpArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LetRecArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LoremArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MapToConstantArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MemoArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ObjectArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OneOfArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OptionArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/RecordArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SetArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StreamArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StringArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SubarrayArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generated.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generic.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generated.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/WebArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsSettings.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandWrapper.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsIterable.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/symbols.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandWrapper.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/ModelRunner.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsIterable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check-default.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/Pre.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Runner.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Sampler.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ArrayArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BigIntArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BooleanArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/CharacterArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ConstantArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ContextArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DedupArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DictionaryArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/EmailArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FloatingPointArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FrequencyArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FunctionArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/HostArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IntegerArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IpArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LetRecArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LoremArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MapToConstantArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MemoArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ObjectArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OneOfArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OptionArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/RecordArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SetArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StreamArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StringArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SubarrayArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/WebArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/ModelRunner.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionStatus.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/symbols.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/utils/stringify.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check-default.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/fisher-yates.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/build-rng-state.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/src/fisher-yates.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/jsverify-to-fast-check.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jsverify/lib/jsverify.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/src/build-rng-state.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__generator/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__traverse/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__template/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__core/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__generator/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__traverse/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__template/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-report/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-coverage/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-reports/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-report/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-coverage/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/types.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest-diff/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs-parser/index.d.ts"
      ]
    },
    "exportedModulesMap": {
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check-default.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/Pre.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Runner.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Sampler.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ArrayArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BigIntArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BooleanArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/CharacterArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ConstantArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ContextArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DedupArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DictionaryArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/EmailArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FloatingPointArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FrequencyArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FunctionArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/HostArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IntegerArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IpArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LetRecArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LoremArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MapToConstantArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MemoArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ObjectArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OneOfArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OptionArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/RecordArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SetArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StreamArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StringArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SubarrayArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/WebArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsArbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/ModelRunner.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionStatus.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/symbols.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/utils/stringify.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check-default.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/jsverify-to-fast-check.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jsverify/lib/jsverify.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/build-rng-state.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/fisher-yates.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand-default.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/LinearCongruential.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/MersenneTwister.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/XorShift.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformBigIntDistribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformIntDistribution.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand-default.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/RandomType.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Sampler.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Runner.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generic.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generated.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MemoArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LetRecArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ArrayArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IntegerArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BigIntArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generated.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generated.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generated.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generated.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsSettings.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/WebArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generated.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SubarrayArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StringArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StreamArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SetArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/RecordArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OptionArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OneOfArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ObjectArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MapToConstantArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LoremArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IpArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/HostArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FunctionArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FrequencyArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FloatingPointArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/EmailArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DictionaryArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DedupArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ContextArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ConstantArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/CharacterArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BooleanArbitrary.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformIntDistribution.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformBigIntDistribution.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/XorShift.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/MersenneTwister.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/LinearCongruential.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionStatus.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandWrapper.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsIterable.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/symbols.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandWrapper.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/ModelRunner.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsIterable.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__core/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__generator/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__traverse/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__template/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__template/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__traverse/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__generator/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-reports/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-report/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-coverage/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-report/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-coverage/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/index.d.ts",
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest-diff/index.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/types.d.ts"
      ],
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs/index.d.ts": [
        "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs-parser/index.d.ts"
      ]
    },
    "semanticDiagnosticsPerFile": [
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es5.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2016.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.esnext.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.core.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.collection.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.generator.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.iterable.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.promise.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.proxy.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.reflect.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.symbol.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2015.symbol.wellknown.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2016.array.include.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.object.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.sharedmemory.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.string.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.intl.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2017.typedarrays.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.asynciterable.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.intl.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.promise.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2018.regexp.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.array.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.object.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.string.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.es2019.symbol.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.esnext.intl.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/typescript/lib/lib.esnext.bigint.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/tslib/tslib.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/Pre.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/RandomGenerator.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/LinearCongruential.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/MersenneTwister.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/generator/XorShift.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/Distribution.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformBigIntDistribution.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/distribution/UniformIntDistribution.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand-default.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/pure-rand/lib/ts3.2/pure-rand.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/random/generator/Random.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/stream/Stream.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Shrinkable.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/Arbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/precondition/PreconditionFailure.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/IProperty.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generic.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.generated.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/AsyncProperty.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generic.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.generated.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/property/Property.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/RandomType.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/VerbosityLevel.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/configuration/Parameters.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionStatus.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/ExecutionTree.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/reporter/RunDetails.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Runner.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/runner/Sampler.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/definition/ArbitraryWithShrink.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ArrayArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BigIntArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/BooleanArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/CharacterArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ConstantArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ContextArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DedupArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/DictionaryArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/EmailArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FloatingPointArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FrequencyArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/FunctionArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/HostArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IntegerArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/IpArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LetRecArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/LoremArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MapToConstantArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/MemoArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/ObjectArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OneOfArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/OptionArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/RecordArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SetArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StreamArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/StringArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/SubarrayArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generated.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.generic.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/TupleArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/arbitrary/WebArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/ICommand.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/AsyncCommand.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/command/Command.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsSettings.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsArbitrary.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/symbols.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandWrapper.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/commands/CommandsIterable.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/check/model/ModelRunner.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/utils/stringify.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check-default.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/fast-check/lib/ts3.2/fast-check.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/fisher-yates.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/build-rng-state.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jsverify/lib/jsverify.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/src/jsverify-to-fast-check.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/types/lib/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__generator/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__traverse/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@babel/parser/typings/babel-parser.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__template/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/babel__core/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-coverage/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-lib-report/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/istanbul-reports/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest-diff/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/types.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/jest-diff/build/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/jest/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/stack-utils/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs-parser/index.d.ts",
      "/home/travis/build/dubzzz/jsverify-to-fast-check/node_modules/@types/yargs/index.d.ts"
    ]
  },
  "version": "3.5.3"
}