Package evaluation of IntegerSequences on Julia 1.10.8 (92f03a4775*) started at 2025-02-25T10:06:17.747 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.29s ################################################################################ # Installation # Installing IntegerSequences... Resolving package versions... Installed Nemo ─ v0.16.4 Updating `~/.julia/environments/v1.10/Project.toml` [b4b868b0] + IntegerSequences v0.3.0 Updating `~/.julia/environments/v1.10/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.8.1 [b99e7846] + BinaryProvider v0.5.10 ⌅ [864edb3b] + DataStructures v0.17.20 ⌅ [ffbed154] + DocStringExtensions v0.8.6 ⌅ [e30172f5] + Documenter v0.24.11 ⌅ [cd3eb016] + HTTP v0.8.19 [83e8ac13] + IniFile v0.5.1 [b4b868b0] + IntegerSequences v0.3.0 [c8e1da08] + IterTools v1.10.0 [682c06a0] + JSON v0.21.4 [739be429] + MbedTLS v1.1.9 ⌅ [2edaba10] + Nemo v0.16.4 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.1 [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [56f22d72] + Artifacts [2a0f44e3] + Base64 [ade2ca70] + Dates [b77e0a4c] + InteractiveUtils [76f85450] + LibGit2 [8f399da3] + Libdl [37e2e46d] + LinearAlgebra [56ddb016] + Logging [d6f4376e] + Markdown [a63ad114] + Mmap [ca575930] + NetworkOptions v1.2.0 [de0858da] + Printf [3fa0cd96] + REPL [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization [6462fe0b] + Sockets [2f01184e] + SparseArrays v1.10.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test [cf7118a7] + UUIDs [4ec0a83e] + Unicode [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [e37daf67] + LibGit2_jll v1.6.4+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.2+1 [14a3606d] + MozillaCACerts_jll v2023.1.10 [4536629a] + OpenBLAS_jll v0.3.23+4 [bea87d4a] + SuiteSparse_jll v7.2.1+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Building Nemo → `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/43329acc110bd582d83d9cc4e4f5a902d2bcb262/build.log` Installation completed after 17.65s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 36.16s ################################################################################ # Testing # Testing IntegerSequences Status `/tmp/jl_eVrYJ0/Project.toml` ⌅ [864edb3b] DataStructures v0.17.20 ⌅ [ffbed154] DocStringExtensions v0.8.6 ⌅ [e30172f5] Documenter v0.24.11 ⌅ [cd3eb016] HTTP v0.8.19 [b4b868b0] IntegerSequences v0.3.0 [c8e1da08] IterTools v1.10.0 ⌅ [2edaba10] Nemo v0.16.4 [ade2ca70] Dates [b77e0a4c] InteractiveUtils [8dfed614] Test Status `/tmp/jl_eVrYJ0/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.8.1 [b99e7846] BinaryProvider v0.5.10 ⌅ [864edb3b] DataStructures v0.17.20 ⌅ [ffbed154] DocStringExtensions v0.8.6 ⌅ [e30172f5] Documenter v0.24.11 ⌅ [cd3eb016] HTTP v0.8.19 [83e8ac13] IniFile v0.5.1 [b4b868b0] IntegerSequences v0.3.0 [c8e1da08] IterTools v1.10.0 [682c06a0] JSON v0.21.4 [739be429] MbedTLS v1.1.9 ⌅ [2edaba10] Nemo v0.16.4 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.1 [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [b77e0a4c] InteractiveUtils [76f85450] LibGit2 [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [a63ad114] Mmap [ca575930] NetworkOptions v1.2.0 [de0858da] Printf [3fa0cd96] REPL [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [6462fe0b] Sockets [2f01184e] SparseArrays v1.10.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [e37daf67] LibGit2_jll v1.6.4+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.2+1 [14a3606d] MozillaCACerts_jll v2023.1.10 [4536629a] OpenBLAS_jll v0.3.23+4 [bea87d4a] SuiteSparse_jll v7.2.1+1 [8e850b90] libblastrampoline_jll v5.11.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... L --> A005101 Nemo.fmpz[12, 18, 20, 24, 30, 36, 40, 42, 48, 54, 56, 60] [12, 18, 20, 24, 30, 36, 40, 42, 48, 54, 56, 60] Test Summary: | Pass Total Time Abundant | 4 4 5.6s Test Summary: | Pass Total Time AltIntParts | 1 1 0.1s [6, 0, 0, 0, 0, 0] [5, 1, 0, 0, 0, 0] [4, 2, 0, 0, 0, 0] [4, 1, 1, 0, 0, 0] [3, 3, 0, 0, 0, 0] [3, 2, 1, 0, 0, 0] [3, 1, 1, 1, 0, 0] [2, 2, 2, 0, 0, 0] [2, 2, 1, 1, 0, 0] [2, 1, 1, 1, 1, 0] [1, 1, 1, 1, 1, 1] V --> A000111 Nemo.fmpz[1, 1, 1, 2, 5, 16, 61, 272, 1385, 7936] Nemo.fmpz[1, 1, 1, 2, 5, 16, 61, 272, 1385, 7936] V --> A178963 Nemo.fmpz[1, 1, 1, 1, 3, 9, 19, 99, 477, 1513] Nemo.fmpz[1, 1, 1, 1, 3, 9, 19, 99, 477, 1513] V --> A178964 Nemo.fmpz[1, 1, 1, 1, 1, 4, 14, 34, 69, 496] Nemo.fmpz[1, 1, 1, 1, 1, 4, 14, 34, 69, 496] V --> A181936 Nemo.fmpz[1, 1, 1, 1, 1, 1, 5, 20, 55, 125] Nemo.fmpz[1, 1, 1, 1, 1, 1, 5, 20, 55, 125] V --> A250283 Nemo.fmpz[1, 1, 1, 1, 1, 1, 1, 6, 27, 83] Nemo.fmpz[1, 1, 1, 1, 1, 1, 1, 6, 27, 83] Test Summary: | Pass Total Time André | 21 21 2.0s V --> A000110 Nemo.fmpz[1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147] Nemo.fmpz[1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147] L --> A000110 Nemo.fmpz[1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975, 678570] Nemo.fmpz[1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975, 678570] T --> A264428 Nemo.fmpz[1, 0, 1, 0, 1, 1, 0, 2, 3, 1, 0, 5, 11, 6, 1, 0, 15, 45, 35, 10, 1] Nemo.fmpz[1, 0, 1, 0, 1, 1, 0, 2, 3, 1, 0, 5, 11, 6, 1, 0, 15, 45, 35, 10, 1] T --> A137452 Nemo.fmpz[1, 0, 1, 0, -2, 1, 0, 9, -6, 1, 0, -64, 48, -12, 1, 0, 625, -500, 150, -20, 1] Nemo.fmpz[1, 0, 1, 0, -2, 1, 0, 9, -6, 1, 0, -64, 48, -12, 1, 0, 625, -500, 150, -20, 1] T --> A132062 Nemo.fmpz[1, 0, 1, 0, 1, 1, 0, 3, 3, 1, 0, 15, 15, 6, 1, 0, 105, 105, 45, 10, 1] Nemo.fmpz[1, 0, 1, 0, 1, 1, 0, 3, 3, 1, 0, 15, 15, 6, 1, 0, 105, 105, 45, 10, 1] T --> A265606 Nemo.fmpz[1, 0, 1, 0, 1, 1, 0, 5, 3, 1, 0, 45, 23, 6, 1, 0, 585, 275, 65, 10, 1] Nemo.fmpz[1, 0, 1, 0, 1, 1, 0, 5, 3, 1, 0, 45, 23, 6, 1, 0, 585, 275, 65, 10, 1] P --> A104556 [1] [-1, 1] [0, -3, 1] [0, 3, -6, 1] [0, 0, 15, -10, 1] [0, 0, -15, 45, -15, 1] [0, 0, 0, -105, 105, -21, 1] [1] [0, 1] [0, -1, 1] [0, 0, -3, 1] [0, 0, 3, -6, 1] [0, 0, 0, 15, -10, 1] [0, 0, 0, -15, 45, -15, 1] P --> A001497 [1] [1, 1] [3, 3, 1] [15, 15, 6, 1] [105, 105, 45, 10, 1] [945, 945, 420, 105, 15, 1] [10395, 10395, 4725, 1260, 210, 21, 1] [1] [0, 1] [0, 1, 1] [0, 3, 3, 1] [0, 15, 15, 6, 1] [0, 105, 105, 45, 10, 1] [0, 945, 945, 420, 105, 15, 1] P --> A039683 [1] [-2, 1] [8, -6, 1] [-48, 44, -12, 1] [384, -400, 140, -20, 1] [-3840, 4384, -1800, 340, -30, 1] [46080, -56448, 25984, -5880, 700, -42, 1] [1] [0, 1] [0, 2, 1] [0, 8, 6, 1] [0, 48, 44, 12, 1] [0, 384, 400, 140, 20, 1] [0, 3840, 4384, 1800, 340, 30, 1] P --> A203412 [1] [1, 1] [4, 3, 1] [28, 19, 6, 1] [280, 180, 55, 10, 1] [3640, 2260, 675, 125, 15, 1] [58240, 35280, 10360, 1925, 245, 21, 1] [1] [0, 1] [0, 1, 1] [0, 4, 3, 1] [0, 28, 19, 6, 1] [0, 280, 180, 55, 10, 1] [0, 3640, 2260, 675, 125, 15, 1] P --> A004747 [1] [2, 1] [10, 6, 1] [80, 52, 12, 1] [880, 600, 160, 20, 1] [12320, 8680, 2520, 380, 30, 1] [209440, 151200, 46480, 7840, 770, 42, 1] [1] [0, 1] [0, 2, 1] [0, 10, 6, 1] [0, 80, 52, 12, 1] [0, 880, 600, 160, 20, 1] [0, 12320, 8680, 2520, 380, 30, 1] P --> A051141 [1] [-3, 1] [18, -9, 1] [-162, 99, -18, 1] [1944, -1350, 315, -30, 1] [-29160, 22194, -6075, 765, -45, 1] [524880, -428652, 131544, -19845, 1575, -63, 1] [1] [0, 1] [0, 3, 1] [0, 18, 9, 1] [0, 162, 99, 18, 1] [0, 1944, 1350, 315, 30, 1] [0, 29160, 22194, 6075, 765, 45, 1] P --> A119274 [1] [2, 1] [12, 6, 1] [120, 60, 12, 1] [1680, 840, 180, 20, 1] [30240, 15120, 3360, 420, 30, 1] [665280, 332640, 75600, 10080, 840, 42, 1] [1] [0, 1] [0, 2, 1] [0, 12, 6, 1] [0, 120, 60, 12, 1] [0, 1680, 840, 180, 20, 1] [0, 30240, 15120, 3360, 420, 30, 1] P --> A000369 [1] [3, 1] [21, 9, 1] [231, 111, 18, 1] [3465, 1785, 345, 30, 1] [65835, 35595, 7650, 825, 45, 1] [1514205, 848925, 196245, 24150, 1680, 63, 1] [1] [0, 1] [0, 3, 1] [0, 21, 9, 1] [0, 231, 111, 18, 1] [0, 3465, 1785, 345, 30, 1] [0, 65835, 35595, 7650, 825, 45, 1] P --> A051142 [1] [-4, 1] [32, -12, 1] [-384, 176, -24, 1] [6144, -3200, 560, -40, 1] [-122880, 70144, -14400, 1360, -60, 1] [2949120, -1806336, 415744, -47040, 2800, -84, 1] [1] [0, 1] [0, 4, 1] [0, 32, 12, 1] [0, 384, 176, 24, 1] [0, 6144, 3200, 560, 40, 1] [0, 122880, 70144, 14400, 1360, 60, 1] P --> A137513 [1] [0, 2] [0, 0, 4] [0, 4, 0, 8] [0, 0, 32, 0, 16] [0, 48, 0, 160, 0, 32] [0, 0, 736, 0, 640, 0, 64] [1] [0, 2] [0, 0, 4] [0, 4, 0, 8] [0, 0, 32, 0, 16] [0, 48, 0, 160, 0, 32] [0, 0, 736, 0, 640, 0, 64] Test Summary: | Pass Total Time Bell | 9 9 6.4s V --> A195441 Nemo.fmpz[1, 1, 2, 1, 6, 2, 6, 3, 10, 2] Nemo.fmpz[1, 1, 2, 1, 6, 2, 6, 3, 10, 2] V --> A281586 Nemo.fmpz[0, 1, 2, 3, -4, -15, -54, 133, 792, 4293] Nemo.fmpz[0, 1, 2, 3, -4, -15, -54, 133, 792, 4293] V --> A281588 Nemo.fmpz[0, 1, 2, 3, 4, -5, -24, -98, -272, 621] Nemo.fmpz[0, 1, 2, 3, 4, -5, -24, -98, -272, 621] V --> A027641 Nemo.fmpz[1, -1, 1, 0, -1, 0, 1, 0, -1, 0] Nemo.fmpz[1, -1, 1, 0, -1, 0, 1, 0, -1, 0] Test Summary: | Pass Total Time BernoulliNum | 55 55 3.4s V --> A001855 Nemo.fmpz[0, 1, 3, 5, 8, 11, 14, 17, 21, 25] Nemo.fmpz[0, 1, 3, 5, 8, 11, 14, 17, 21, 25] V --> A003314 Nemo.fmpz[0, 2, 5, 8, 12, 16, 20, 24, 29, 34] Nemo.fmpz[0, 2, 5, 8, 12, 16, 20, 24, 29, 34] V --> A033156 Nemo.fmpz[1, 4, 8, 12, 17, 22, 27, 32, 38, 44] Nemo.fmpz[1, 4, 8, 12, 17, 22, 27, 32, 38, 44] V --> A054248 Nemo.fmpz[1, 2, 6, 8, 13, 16, 21, 24, 30, 34] Nemo.fmpz[1, 2, 6, 8, 13, 16, 21, 24, 30, 34] V --> A061168 Nemo.fmpz[0, 1, 2, 4, 6, 8, 10, 13, 16, 19] Nemo.fmpz[0, 1, 2, 4, 6, 8, 10, 13, 16, 19] V --> A097383 Nemo.fmpz[0, 2, 3, 6, 8, 11, 13, 17, 20, 24] Nemo.fmpz[0, 2, 3, 6, 8, 11, 13, 17, 20, 24] V --> A083652 Nemo.fmpz[1, 2, 4, 6, 9, 12, 15, 18, 22, 26] Nemo.fmpz[1, 2, 4, 6, 9, 12, 15, 18, 22, 26] V --> A123753 Nemo.fmpz[1, 3, 6, 9, 13, 17, 21, 25, 30, 35] Nemo.fmpz[1, 3, 6, 9, 13, 17, 21, 25, 30, 35] Test Summary: | Pass Total Time BinaryInteger | 12 12 0.4s Test Summary: | Pass Total Time BinaryQF | 22 22 2.9s Test Summary: | Pass Total Time BoolOps | 54 54 2.2s Running CantorMachine Running CantorBoustrophedonicMachine Running RosenbergStrongBoustrophedonicMachine Test Summary: | Pass Total Time CantorMachines | 195 195 0.0s L --> A002997 Nemo.fmpz[561, 1105, 1729, 2465, 2821, 6601, 8911, 10585, 15841, 29341, 41041, 46657] [561, 1105, 1729, 2465, 2821, 6601, 8911, 10585, 15841, 29341, 41041, 46657] L --> A225498 Nemo.fmpz[9, 25, 27, 45, 49, 81, 121, 125, 169, 225, 243, 289] [9, 25, 27, 45, 49, 81, 121, 125, 169, 225, 243, 289] Test Summary: | Pass Total Time Carmichael | 8 8 0.8s Test Summary: | Pass Total Time Clausen | 5 5 0.1s L --> A002445 Nemo.fmpz[1, 6, 30, 42, 30, 66, 2730, 6, 510, 798, 330, 138] Nemo.fmpz[1, 6, 30, 42, 30, 66, 2730, 6, 510, 798, 330, 138] V --> A002445 Nemo.fmpz[1, 6, 30, 42, 30, 66, 2730, 6, 510, 798] Nemo.fmpz[1, 6, 30, 42, 30, 66, 2730, 6, 510, 798] V --> A027642 Nemo.fmpz[1, 2, 6, 1, 30, 1, 42, 1, 30, 1] Nemo.fmpz[1, 2, 6, 1, 30, 1, 42, 1, 30, 1] Test Summary: | Pass Total Time Combinations | 1 1 0.1s L --> A000961 Nemo.fmpz[1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17] Nemo.fmpz[1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17] L --> A002808 Nemo.fmpz[4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21] Nemo.fmpz[4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21] L --> A005117 Nemo.fmpz[1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17] Nemo.fmpz[1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17] L --> A013928 Nemo.fmpz[0, 1, 2, 3, 3, 4, 5, 6, 6, 6, 7, 8] Nemo.fmpz[0, 1, 2, 3, 3, 4, 5, 6, 6, 6, 7, 8] L --> A246547 Nemo.fmpz[4, 8, 9, 16, 25, 27, 32, 49, 64, 81, 121, 125] Nemo.fmpz[4, 8, 9, 16, 25, 27, 32, 49, 64, 81, 121, 125] L --> A246655 Nemo.fmpz[2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17, 19] Nemo.fmpz[2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17, 19] Test Summary: | Pass Total Time Counts | 127 127 1.9s L --> A206942 Nemo.fmpz[3, 5, 7, 10, 11, 13, 17, 21, 26, 31, 37, 43] [3, 5, 7, 10, 11, 13, 17, 21, 26, 31, 37, 43] L --> A206864 Nemo.fmpz[3, 5, 7, 11, 13, 17, 31, 37, 43, 61, 73, 101] [3, 5, 7, 11, 13, 17, 31, 37, 43, 61, 73, 101] L --> A299498 Nemo.fmpz[3, 5, 7, 10, 11, 13, 17, 19, 21, 25, 26, 29] [3, 5, 7, 10, 11, 13, 17, 19, 21, 25, 26, 29] L --> A299928 Nemo.fmpz[7, 13, 19, 29, 34, 37, 39, 49, 53, 55, 58, 61] [7, 13, 19, 29, 34, 37, 39, 49, 53, 55, 58, 61] L --> A299929 Nemo.fmpz[7, 13, 19, 29, 37, 53, 61, 67, 79, 97, 103, 109] [7, 13, 19, 29, 37, 53, 61, 67, 79, 97, 103, 109] L --> A299930 Nemo.fmpz[19, 37, 79, 97, 109, 127, 139, 163, 223, 229, 277, 283] [19, 37, 79, 97, 109, 127, 139, 163, 223, 229, 277, 283] L --> A299214 Nemo.fmpz[0, 0, 8, 16, 8, 0, 24, 4, 16, 8, 8, 12] [0, 0, 8, 16, 8, 0, 24, 4, 16, 8, 8, 12] L --> A296095 Nemo.fmpz[3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 16, 17] [3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 16, 17] L --> A293654 Nemo.fmpz[1, 2, 6, 14, 15, 22, 23, 24, 30, 33, 35, 38] [1, 2, 6, 14, 15, 22, 23, 24, 30, 33, 35, 38] Test Summary: | Pass Total Time CyclotomicForms | 9 9 3.6s L --> A010815 Nemo.fmpz[1, -1, -1, 0, 0, 1, 0, 1, 0, 0, 0, 0] Nemo.fmpz[1, -1, -1, 0, 0, 1, 0, 1, 0, 0, 0, 0] L --> A002107 Nemo.fmpz[1, -2, -1, 2, 1, 2, -2, 0, -2, -2, 1, 0] Nemo.fmpz[1, -2, -1, 2, 1, 2, -2, 0, -2, -2, 1, 0] L --> A010816 Nemo.fmpz[1, -3, 0, 5, 0, 0, -7, 0, 0, 0, 9, 0] Nemo.fmpz[1, -3, 0, 5, 0, 0, -7, 0, 0, 0, 9, 0] L --> A000727 Nemo.fmpz[1, -4, 2, 8, -5, -4, -10, 8, 9, 0, 14, -16] Nemo.fmpz[1, -4, 2, 8, -5, -4, -10, 8, 9, 0, 14, -16] L --> A000728 Nemo.fmpz[1, -5, 5, 10, -15, -6, -5, 25, 15, -20, 9, -45] Nemo.fmpz[1, -5, 5, 10, -15, -6, -5, 25, 15, -20, 9, -45] L --> A000729 Nemo.fmpz[1, -6, 9, 10, -30, 0, 11, 42, 0, -70, 18, -54] Nemo.fmpz[1, -6, 9, 10, -30, 0, 11, 42, 0, -70, 18, -54] L --> A000730 Nemo.fmpz[1, -7, 14, 7, -49, 21, 35, 41, -49, -133, 98, -21] Nemo.fmpz[1, -7, 14, 7, -49, 21, 35, 41, -49, -133, 98, -21] L --> A000731 Nemo.fmpz[1, -8, 20, 0, -70, 64, 56, 0, -125, -160, 308, 0] Nemo.fmpz[1, -8, 20, 0, -70, 64, 56, 0, -125, -160, 308, 0] L --> A010817 Nemo.fmpz[1, -9, 27, -12, -90, 135, 54, -99, -189, -85, 657, -162] Nemo.fmpz[1, -9, 27, -12, -90, 135, 54, -99, -189, -85, 657, -162] L --> A010819 Nemo.fmpz[1, -11, 44, -55, -110, 374, -143, -462, 55, 495, 1287, -2069] Nemo.fmpz[1, -11, 44, -55, -110, 374, -143, -462, 55, 495, 1287, -2069] L --> A000735 Nemo.fmpz[1, -12, 54, -88, -99, 540, -418, -648, 594, 836, 1056, -4104] Nemo.fmpz[1, -12, 54, -88, -99, 540, -418, -648, 594, 836, 1056, -4104] L --> A010820 Nemo.fmpz[1, -13, 65, -130, -65, 728, -871, -715, 1560, 845, 78, -6513] Nemo.fmpz[1, -13, 65, -130, -65, 728, -871, -715, 1560, 845, 78, -6513] L --> A010821 Nemo.fmpz[1, -14, 77, -182, 0, 924, -1547, -506, 3003, 0, -1729, -8372] Nemo.fmpz[1, -14, 77, -182, 0, 924, -1547, -506, 3003, 0, -1729, -8372] L --> A010822 Nemo.fmpz[1, -15, 90, -245, 105, 1107, -2485, 195, 4860, -2420, -3990, -8190] Nemo.fmpz[1, -15, 90, -245, 105, 1107, -2485, 195, 4860, -2420, -3990, -8190] L --> A000739 Nemo.fmpz[1, -16, 104, -320, 260, 1248, -3712, 1664, 6890, -7280, -5568, -4160] Nemo.fmpz[1, -16, 104, -320, 260, 1248, -3712, 1664, 6890, -7280, -5568, -4160] L --> A010823 Nemo.fmpz[1, -17, 119, -408, 476, 1309, -5236, 4233, 8602, -15470, -4250, 5236] Nemo.fmpz[1, -17, 119, -408, 476, 1309, -5236, 4233, 8602, -15470, -4250, 5236] L --> A010824 Nemo.fmpz[1, -18, 135, -510, 765, 1242, -7038, 8280, 9180, -27710, 3519, 20196] Nemo.fmpz[1, -18, 135, -510, 765, 1242, -7038, 8280, 9180, -27710, 3519, 20196] L --> A010825 Nemo.fmpz[1, -19, 152, -627, 1140, 988, -9063, 14212, 7410, -44270, 22781, 38114] Nemo.fmpz[1, -19, 152, -627, 1140, 988, -9063, 14212, 7410, -44270, 22781, 38114] L --> A010826 Nemo.fmpz[1, -20, 170, -760, 1615, 476, -11210, 22440, 1615, -64600, 60002, 51680] Nemo.fmpz[1, -20, 170, -760, 1615, 476, -11210, 22440, 1615, -64600, 60002, 51680] L --> A010827 Nemo.fmpz[1, -21, 189, -910, 2205, -378, -13321, 33345, -10395, -86870, 122703, 46683] Nemo.fmpz[1, -21, 189, -910, 2205, -378, -13321, 33345, -10395, -86870, 122703, 46683] L --> A010828 Nemo.fmpz[1, -22, 209, -1078, 2926, -1672, -15169, 47234, -31350, -107426, 218680, -266] Nemo.fmpz[1, -22, 209, -1078, 2926, -1672, -15169, 47234, -31350, -107426, 218680, -266] L --> A010829 Nemo.fmpz[1, -23, 230, -1265, 3795, -3519, -16445, 64285, -64515, -120175, 354706, -123763] Nemo.fmpz[1, -23, 230, -1265, 3795, -3519, -16445, 64285, -64515, -120175, 354706, -123763] L --> A000594 Nemo.fmpz[1, -24, 252, -1472, 4830, -6048, -16744, 84480, -113643, -115920, 534612, -370944] Nemo.fmpz[1, -24, 252, -1472, 4830, -6048, -16744, 84480, -113643, -115920, 534612, -370944] L --> A010830 Nemo.fmpz[1, -25, 275, -1700, 6050, -9405, -15550, 107525, -182875, -81675, 756655, -801550] Nemo.fmpz[1, -25, 275, -1700, 6050, -9405, -15550, 107525, -182875, -81675, 756655, -801550] L --> A010831 Nemo.fmpz[1, -26, 299, -1950, 7475, -13754, -12220, 132756, -276575, 0, 1010100, -1486030] Nemo.fmpz[1, -26, 299, -1950, 7475, -13754, -12220, 132756, -276575, 0, 1010100, -1486030] L --> A010832 Nemo.fmpz[1, -27, 324, -2223, 9126, -19278, -5967, 159030, -399087, 151593, 1270971, -2500875] Nemo.fmpz[1, -27, 324, -2223, 9126, -19278, -5967, 159030, -399087, 151593, 1270971, -2500875] L --> A010833 Nemo.fmpz[1, -28, 350, -2520, 11025, -26180, 4158, 184600, -554400, 401100, 1496964, -3920280] Nemo.fmpz[1, -28, 350, -2520, 11025, -26180, 4158, 184600, -554400, 401100, 1496964, -3920280] L --> A010834 Nemo.fmpz[1, -29, 377, -2842, 13195, -34684, 19285, 206973, -745706, 782275, 1621564, -5803161] Nemo.fmpz[1, -29, 377, -2842, 13195, -34684, 19285, 206973, -745706, 782275, 1621564, -5803161] L --> A010835 Nemo.fmpz[1, -30, 405, -3190, 15660, -45036, 40745, 222750, -974835, 1334580, 1547469, -8174520] Nemo.fmpz[1, -30, 405, -3190, 15660, -45036, 40745, 222750, -974835, 1334580, 1547469, -8174520] L --> A010836 Nemo.fmpz[1, -31, 434, -3565, 18445, -57505, 70091, 227447, -1241550, 2102730, 1139498, -11000164] Nemo.fmpz[1, -31, 434, -3565, 18445, -57505, 70091, 227447, -1241550, 2102730, 1139498, -11000164] L --> A010837 Nemo.fmpz[1, -32, 464, -3968, 21576, -72384, 109120, 215296, -1542684, 3135712, 217248, -14153856] Nemo.fmpz[1, -32, 464, -3968, 21576, -72384, 109120, 215296, -1542684, 3135712, 217248, -14153856] L --> A010840 Nemo.fmpz[1, -40, 740, -8320, 62530, -322048, 1085240, -1799680, -2821065, 26012480, -66837420, 35093760] Nemo.fmpz[1, -40, 740, -8320, 62530, -322048, 1085240, -1799680, -2821065, 26012480, -66837420, 35093760] L --> A010838 Nemo.fmpz[1, -44, 902, -11352, 96965, -582692, 2428382, -6245448, 3684670, 43828180, -195750104, 340202584] Nemo.fmpz[1, -44, 902, -11352, 96965, -582692, 2428382, -6245448, 3684670, 43828180, -195750104, 340202584] L --> A010839 Nemo.fmpz[1, -48, 1080, -15040, 143820, -985824, 4857920, -16295040, 28412910, 38671600, -424520544, 1268350272] Nemo.fmpz[1, -48, 1080, -15040, 143820, -985824, 4857920, -16295040, 28412910, 38671600, -424520544, 1268350272] L --> A010841 Nemo.fmpz[1, -64, 1952, -37632, 512400, -5207936, 40618368, -244952576, 1124362248, -3684692800, 6607738816, 8603838208] Nemo.fmpz[1, -64, 1952, -37632, 512400, -5207936, 40618368, -244952576, 1124362248, -3684692800, 6607738816, 8603838208] L --> A000041 Nemo.fmpz[1, 1, 2, 3, 5, 7, 11, 15, 22, 30, 42, 56] Nemo.fmpz[1, 1, 2, 3, 5, 7, 11, 15, 22, 30, 42, 56] L --> A000712 Nemo.fmpz[1, 2, 5, 10, 20, 36, 65, 110, 185, 300, 481, 752] Nemo.fmpz[1, 2, 5, 10, 20, 36, 65, 110, 185, 300, 481, 752] L --> A000716 Nemo.fmpz[1, 3, 9, 22, 51, 108, 221, 429, 810, 1479, 2640, 4599] Nemo.fmpz[1, 3, 9, 22, 51, 108, 221, 429, 810, 1479, 2640, 4599] L --> A023003 Nemo.fmpz[1, 4, 14, 40, 105, 252, 574, 1240, 2580, 5180, 10108, 19208] Nemo.fmpz[1, 4, 14, 40, 105, 252, 574, 1240, 2580, 5180, 10108, 19208] L --> A023004 Nemo.fmpz[1, 5, 20, 65, 190, 506, 1265, 2990, 6765, 14725, 31027, 63505] Nemo.fmpz[1, 5, 20, 65, 190, 506, 1265, 2990, 6765, 14725, 31027, 63505] L --> A023005 Nemo.fmpz[1, 6, 27, 98, 315, 918, 2492, 6372, 15525, 36280, 81816, 178794] Nemo.fmpz[1, 6, 27, 98, 315, 918, 2492, 6372, 15525, 36280, 81816, 178794] L --> A023006 Nemo.fmpz[1, 7, 35, 140, 490, 1547, 4522, 12405, 32305, 80465, 192899, 447146] Nemo.fmpz[1, 7, 35, 140, 490, 1547, 4522, 12405, 32305, 80465, 192899, 447146] L --> A023007 Nemo.fmpz[1, 8, 44, 192, 726, 2464, 7704, 22528, 62337, 164560, 417140, 1020416] Nemo.fmpz[1, 8, 44, 192, 726, 2464, 7704, 22528, 62337, 164560, 417140, 1020416] L --> A023008 Nemo.fmpz[1, 9, 54, 255, 1035, 3753, 12483, 38709, 113265, 315445, 841842, 2164185] Nemo.fmpz[1, 9, 54, 255, 1035, 3753, 12483, 38709, 113265, 315445, 841842, 2164185] L --> A023009 Nemo.fmpz[1, 10, 65, 330, 1430, 5512, 19415, 63570, 195910, 573430, 1605340, 4322110] Nemo.fmpz[1, 10, 65, 330, 1430, 5512, 19415, 63570, 195910, 573430, 1605340, 4322110] L --> A023010 Nemo.fmpz[1, 11, 77, 418, 1925, 7854, 29183, 100529, 325193, 997150, 2919411, 8207563] Nemo.fmpz[1, 11, 77, 418, 1925, 7854, 29183, 100529, 325193, 997150, 2919411, 8207563] L --> A005758 Nemo.fmpz[1, 12, 90, 520, 2535, 10908, 42614, 153960, 521235, 1669720, 5098938, 14931072] Nemo.fmpz[1, 12, 90, 520, 2535, 10908, 42614, 153960, 521235, 1669720, 5098938, 14931072] L --> A023011 Nemo.fmpz[1, 13, 104, 637, 3276, 14820, 60697, 229372, 810654, 2706366, 8600501, 26173966] Nemo.fmpz[1, 13, 104, 637, 3276, 14820, 60697, 229372, 810654, 2706366, 8600501, 26173966] L --> A023012 Nemo.fmpz[1, 14, 119, 770, 4165, 19754, 84602, 333608, 1228080, 4263770, 14071827, 44420796] Nemo.fmpz[1, 14, 119, 770, 4165, 19754, 84602, 333608, 1228080, 4263770, 14071827, 44420796] L --> A023013 Nemo.fmpz[1, 15, 135, 920, 5220, 25893, 115700, 475065, 1817910, 6551390, 22414314, 73265580] Nemo.fmpz[1, 15, 135, 920, 5220, 25893, 115700, 475065, 1817910, 6551390, 22414314, 73265580] L --> A023014 Nemo.fmpz[1, 16, 152, 1088, 6460, 33440, 155584, 663936, 2636326, 9845040, 34861152, 117809728] Nemo.fmpz[1, 16, 152, 1088, 6460, 33440, 155584, 663936, 2636326, 9845040, 34861152, 117809728] L --> A023015 Nemo.fmpz[1, 17, 170, 1275, 7905, 42619, 206091, 912475, 3753600, 14503040, 53073898, 185172670] Nemo.fmpz[1, 17, 170, 1275, 7905, 42619, 206091, 912475, 3753600, 14503040, 53073898, 185172670] L --> A023016 Nemo.fmpz[1, 18, 189, 1482, 9576, 53676, 269325, 1235286, 5256711, 20985272, 79260723, 285139764] Nemo.fmpz[1, 18, 189, 1482, 9576, 53676, 269325, 1235286, 5256711, 20985272, 79260723, 285139764] L --> A023017 Nemo.fmpz[1, 19, 209, 1710, 11495, 66880, 347681, 1649637, 7252300, 29875505, 116319938, 430976031] Nemo.fmpz[1, 19, 209, 1710, 11495, 66880, 347681, 1649637, 7252300, 29875505, 116319938, 430976031] L --> A023018 Nemo.fmpz[1, 20, 230, 1960, 13685, 82524, 443870, 2175800, 9869990, 41907380, 168012824, 640438680] Nemo.fmpz[1, 20, 230, 1960, 13685, 82524, 443870, 2175800, 9869990, 41907380, 168012824, 640438680] L --> A023019 Nemo.fmpz[1, 21, 252, 2233, 16170, 100926, 560945, 2837418, 13266099, 57994475, 239170239, 937026279] Nemo.fmpz[1, 21, 252, 2233, 16170, 100926, 560945, 2837418, 13266099, 57994475, 239170239, 937026279] L --> A023020 Nemo.fmpz[1, 22, 275, 2530, 18975, 122430, 702328, 3661900, 17627775, 79264900, 335937954, 1351507830] Nemo.fmpz[1, 22, 275, 2530, 18975, 122430, 702328, 3661900, 17627775, 79264900, 335937954, 1351507830] L --> A023021 Nemo.fmpz[1, 23, 299, 2852, 22126, 147407, 871838, 4680845, 23177583, 107100903, 466066181, 1923780950] Nemo.fmpz[1, 23, 299, 2852, 22126, 147407, 871838, 4680845, 23177583, 107100903, 466066181, 1923780950] L --> A006922 Nemo.fmpz[1, 24, 324, 3200, 25650, 176256, 1073720, 5930496, 30178575, 143184000, 639249300, 2705114880] Nemo.fmpz[1, 24, 324, 3200, 25650, 176256, 1073720, 5930496, 30178575, 143184000, 639249300, 2705114880] L --> A082556 Nemo.fmpz[1, 30, 495, 5890, 56265, 456786, 3263990, 21017040, 124018290, 679118550, 3484681077, 16884109080] Nemo.fmpz[1, 30, 495, 5890, 56265, 456786, 3263990, 21017040, 124018290, 679118550, 3484681077, 16884109080] L --> A082557 Nemo.fmpz[1, 32, 560, 7040, 70840, 604352, 4528832, 30529280, 188313180, 1076484640, 5759310304, 29064224896] Nemo.fmpz[1, 32, 560, 7040, 70840, 604352, 4528832, 30529280, 188313180, 1076484640, 5759310304, 29064224896] L --> A082558 Nemo.fmpz[1, 48, 1224, 21952, 309876, 3657312, 37468928, 341773440, 2826752418, 21491641808, 151810235136, 1004753937600] Nemo.fmpz[1, 48, 1224, 21952, 309876, 3657312, 37468928, 341773440, 2826752418, 21491641808, 151810235136, 1004753937600] L --> A082559 Nemo.fmpz[1, 64, 2144, 49920, 905840, 13627264, 176638592, 2025205248, 20930373880, 197788352320, 1728062919232, 14083242424576] Nemo.fmpz[1, 64, 2144, 49920, 905840, 13627264, 176638592, 2025205248, 20930373880, 197788352320, 1728062919232, 14083242424576] Test Summary: | Pass Total Time DedekindEta | 68 68 1.7s Test Summary: | Pass Total Time Deléham | 11 11 1.6s L --> A107895 Nemo.fmpz[1, 1, 3, 9, 36, 168, 961, 6403, 49302, 430190, 4199279, 45326013] Nemo.fmpz[1, 1, 3, 9, 36, 168, 961, 6403, 49302, 430190, 4199279, 45326013] L --> A190905 Nemo.fmpz[1, 1, 3, 9, 18, 60, 117, 371, 747, 2199, 4697, 12735] Nemo.fmpz[1, 1, 3, 9, 18, 60, 117, 371, 747, 2199, 4697, 12735] L --> A061256 Nemo.fmpz[1, 1, 4, 8, 21, 39, 92, 170, 360, 667, 1316, 2393] Nemo.fmpz[1, 1, 4, 8, 21, 39, 92, 170, 360, 667, 1316, 2393] L --> A275585 Nemo.fmpz[1, 1, 6, 16, 52, 128, 373, 913, 2399, 5796, 14298, 33655] Nemo.fmpz[1, 1, 6, 16, 52, 128, 373, 913, 2399, 5796, 14298, 33655] L --> A006171 Nemo.fmpz[1, 1, 3, 5, 11, 17, 34, 52, 94, 145, 244, 370] Nemo.fmpz[1, 1, 3, 5, 11, 17, 34, 52, 94, 145, 244, 370] L --> A290351 Nemo.fmpz[1, 1, 3, 8, 26, 88, 340, 1411, 6417, 31474, 166242, 939646] Nemo.fmpz[1, 1, 3, 8, 26, 88, 340, 1411, 6417, 31474, 166242, 939646] L --> A052847 Nemo.fmpz[1, 0, 1, 2, 4, 6, 12, 18, 33, 52, 88, 138] Nemo.fmpz[1, 0, 1, 2, 4, 6, 12, 18, 33, 52, 88, 138] V --> A107895 Nemo.fmpz[1, 1, 3, 9, 36, 168, 961, 6403, 49302, 430190] Nemo.fmpz[1, 1, 3, 9, 36, 168, 961, 6403, 49302, 430190] V --> A190905 Nemo.fmpz[1, 1, 3, 9, 18, 60, 117, 371, 747, 2199] Nemo.fmpz[1, 1, 3, 9, 18, 60, 117, 371, 747, 2199] V --> A061256 Nemo.fmpz[1, 1, 4, 8, 21, 39, 92, 170, 360, 667] Nemo.fmpz[1, 1, 4, 8, 21, 39, 92, 170, 360, 667] V --> A275585 Nemo.fmpz[1, 1, 6, 16, 52, 128, 373, 913, 2399, 5796] Nemo.fmpz[1, 1, 6, 16, 52, 128, 373, 913, 2399, 5796] V --> A006171 Nemo.fmpz[1, 1, 3, 5, 11, 17, 34, 52, 94, 145] Nemo.fmpz[1, 1, 3, 5, 11, 17, 34, 52, 94, 145] Test Summary: | Pass Total Time EulerTransform | 12 12 4.5s Test Summary: | Pass Total Time Fibonacci | 1 1 0.8s V --> A014107 Nemo.fmpz[0, -1, 2, 9, 20, 35, 54, 77, 104, 135] Nemo.fmpz[0, -1, 2, 9, 20, 35, 54, 77, 104, 135] V --> A067998 Nemo.fmpz[0, -1, 0, 3, 8, 15, 24, 35, 48, 63] Nemo.fmpz[0, -1, 0, 3, 8, 15, 24, 35, 48, 63] V --> A001477 Nemo.fmpz[0, 1, 2, 3, 4, 5, 6, 7, 8, 9] Nemo.fmpz[0, 1, 2, 3, 4, 5, 6, 7, 8, 9] V --> A000217 Nemo.fmpz[0, 1, 3, 6, 10, 15, 21, 28, 36, 45] Nemo.fmpz[0, 1, 3, 6, 10, 15, 21, 28, 36, 45] V --> A000290 Nemo.fmpz[0, 1, 4, 9, 16, 25, 36, 49, 64, 81] Nemo.fmpz[0, 1, 4, 9, 16, 25, 36, 49, 64, 81] V --> A000326 Nemo.fmpz[0, 1, 5, 12, 22, 35, 51, 70, 92, 117] Nemo.fmpz[0, 1, 5, 12, 22, 35, 51, 70, 92, 117] V --> A000384 Nemo.fmpz[0, 1, 6, 15, 28, 45, 66, 91, 120, 153] Nemo.fmpz[0, 1, 6, 15, 28, 45, 66, 91, 120, 153] V --> A000566 Nemo.fmpz[0, 1, 7, 18, 34, 55, 81, 112, 148, 189] Nemo.fmpz[0, 1, 7, 18, 34, 55, 81, 112, 148, 189] V --> A000567 Nemo.fmpz[0, 1, 8, 21, 40, 65, 96, 133, 176, 225] Nemo.fmpz[0, 1, 8, 21, 40, 65, 96, 133, 176, 225] V --> A001106 Nemo.fmpz[0, 1, 9, 24, 46, 75, 111, 154, 204, 261] Nemo.fmpz[0, 1, 9, 24, 46, 75, 111, 154, 204, 261] V --> A001107 Nemo.fmpz[0, 1, 10, 27, 52, 85, 126, 175, 232, 297] Nemo.fmpz[0, 1, 10, 27, 52, 85, 126, 175, 232, 297] V --> A000292 Nemo.fmpz[0, 1, 4, 10, 20, 35, 56, 84, 120, 165] Nemo.fmpz[0, 1, 4, 10, 20, 35, 56, 84, 120, 165] V --> A000330 Nemo.fmpz[0, 1, 5, 14, 30, 55, 91, 140, 204, 285] Nemo.fmpz[0, 1, 5, 14, 30, 55, 91, 140, 204, 285] V --> A002411 Nemo.fmpz[0, 1, 6, 18, 40, 75, 126, 196, 288, 405] Nemo.fmpz[0, 1, 6, 18, 40, 75, 126, 196, 288, 405] V --> A002412 Nemo.fmpz[0, 1, 7, 22, 50, 95, 161, 252, 372, 525] Nemo.fmpz[0, 1, 7, 22, 50, 95, 161, 252, 372, 525] V --> A002413 Nemo.fmpz[0, 1, 8, 26, 60, 115, 196, 308, 456, 645] Nemo.fmpz[0, 1, 8, 26, 60, 115, 196, 308, 456, 645] V --> A007584 Nemo.fmpz[0, 1, 10, 34, 80, 155, 266, 420, 624, 885] Nemo.fmpz[0, 1, 10, 34, 80, 155, 266, 420, 624, 885] V --> A007585 Nemo.fmpz[0, 1, 11, 38, 90, 175, 301, 476, 708, 1005] Nemo.fmpz[0, 1, 11, 38, 90, 175, 301, 476, 708, 1005] Test Summary: | Pass Total Time Figurative | 19 19 0.7s V --> A001783 Nemo.fmpz[1, 1, 2, 3, 24, 5, 720, 105, 2240, 189] Nemo.fmpz[1, 1, 2, 3, 24, 5, 720, 105, 2240, 189] V --> A124441 Nemo.fmpz[1, 1, 1, 1, 2, 1, 6, 3, 8, 3] Nemo.fmpz[1, 1, 1, 1, 2, 1, 6, 3, 8, 3] V --> A124442 Nemo.fmpz[1, 1, 2, 3, 12, 5, 120, 35, 280, 63] Nemo.fmpz[1, 1, 2, 3, 12, 5, 120, 35, 280, 63] V --> A066570 Nemo.fmpz[1, 2, 3, 8, 5, 144, 7, 384, 162, 19200] Nemo.fmpz[1, 2, 3, 8, 5, 144, 7, 384, 162, 19200] V --> A055634 Nemo.fmpz[1, -1, 1, -3, 3, -15, 15, -105, 105, -945] Nemo.fmpz[1, -1, 1, -3, 3, -15, 15, -105, 105, -945] V --> A232980 Nemo.fmpz[1, 1, 2, 2, 8, 40, 40, 280, 2240, 2240] Nemo.fmpz[1, 1, 2, 2, 8, 40, 40, 280, 2240, 2240] V --> A232981 Nemo.fmpz[1, 1, 2, 6, 24, 24, 144, 1008, 8064, 72576] Nemo.fmpz[1, 1, 2, 6, 24, 24, 144, 1008, 8064, 72576] V --> A232982 Nemo.fmpz[1, 1, 1, 1, 1, 5, 5, 35, 35, 35] Nemo.fmpz[1, 1, 1, 1, 1, 5, 5, 35, 35, 35] Test Summary: | Pass Total Time GaussFactorial | 8 8 0.6s Test Summary: | Pass Total Time Binomial | 132 132 0.0s Test Summary: | Pass Total Time Multinacci | 8 8 0.6s V --> A000255 Nemo.fmpz[1, 1, 3, 11, 53, 309, 2119, 16687, 148329, 1468457] Nemo.fmpz[1, 1, 3, 11, 53, 309, 2119, 16687, 148329, 1468457] V --> A000262 Nemo.fmpz[1, 1, 3, 13, 73, 501, 4051, 37633, 394353, 4596553] Nemo.fmpz[1, 1, 3, 13, 73, 501, 4051, 37633, 394353, 4596553] V --> A001339 Nemo.fmpz[1, 3, 11, 49, 261, 1631, 11743, 95901, 876809, 8877691] Nemo.fmpz[1, 3, 11, 49, 261, 1631, 11743, 95901, 876809, 8877691] V --> A007060 Nemo.fmpz[1, 0, 8, 240, 13824, 1263360, 168422400, 30865121280, 7445355724800, 2287168006717440] Nemo.fmpz[1, 0, 8, 240, 13824, 1263360, 168422400, 30865121280, 7445355724800, 2287168006717440] V --> A033815 Nemo.fmpz[1, 1, 14, 426, 24024, 2170680, 287250480, 52370755920, 12585067447680, 3854801333416320] Nemo.fmpz[1, 1, 14, 426, 24024, 2170680, 287250480, 52370755920, 12585067447680, 3854801333416320] V --> A099022 Nemo.fmpz[1, 3, 38, 1158, 65304, 5900520, 780827760, 142358474160, 34209760152960, 10478436416945280] Nemo.fmpz[1, 3, 38, 1158, 65304, 5900520, 780827760, 142358474160, 34209760152960, 10478436416945280] V --> A251568 Nemo.fmpz[1, 1, 5, 43, 529, 8501, 169021, 4010455, 110676833, 3484717129] Nemo.fmpz[1, 1, 5, 43, 529, 8501, 169021, 4010455, 110676833, 3484717129] Test Summary: | Pass Total Time Hyper1F1 | 14 14 0.4s Test Summary: | Pass Total Time IntegerPartitions | 76 76 2.5s L --> A000122 Nemo.fmpz[1, 2, 0, 0, 2, 0, 0, 0, 0, 2, 0, 0] Nemo.fmpz[1, 2, 0, 0, 2, 0, 0, 0, 0, 2, 0, 0] L --> A002448 Nemo.fmpz[1, -2, 0, 0, 2, 0, 0, 0, 0, -2, 0, 0] Nemo.fmpz[1, -2, 0, 0, 2, 0, 0, 0, 0, -2, 0, 0] L --> A004018 Nemo.fmpz[1, 4, 4, 0, 4, 8, 0, 0, 4, 4, 8, 0] Nemo.fmpz[1, 4, 4, 0, 4, 8, 0, 0, 4, 4, 8, 0] L --> A104794 Nemo.fmpz[1, -4, 4, 0, 4, -8, 0, 0, 4, -4, 8, 0] Nemo.fmpz[1, -4, 4, 0, 4, -8, 0, 0, 4, -4, 8, 0] L --> A005875 Nemo.fmpz[1, 6, 12, 8, 6, 24, 24, 0, 12, 30, 24, 24] Nemo.fmpz[1, 6, 12, 8, 6, 24, 24, 0, 12, 30, 24, 24] L --> A213384 Nemo.fmpz[1, -6, 12, -8, 6, -24, 24, 0, 12, -30, 24, -24] Nemo.fmpz[1, -6, 12, -8, 6, -24, 24, 0, 12, -30, 24, -24] L --> A000118 Nemo.fmpz[1, 8, 24, 32, 24, 48, 96, 64, 24, 104, 144, 96] Nemo.fmpz[1, 8, 24, 32, 24, 48, 96, 64, 24, 104, 144, 96] L --> A035016 Nemo.fmpz[1, -16, 112, -448, 1136, -2016, 3136, -5504, 9328, -12112, 14112, -21312] Nemo.fmpz[1, -16, 112, -448, 1136, -2016, 3136, -5504, 9328, -12112, 14112, -21312] L --> A008452 Nemo.fmpz[1, 18, 144, 672, 2034, 4320, 7392, 12672, 22608, 34802, 44640, 60768] Nemo.fmpz[1, 18, 144, 672, 2034, 4320, 7392, 12672, 22608, 34802, 44640, 60768] L --> A096727 Nemo.fmpz[1, -8, 24, -32, 24, -48, 96, -64, 24, -104, 144, -96] Nemo.fmpz[1, -8, 24, -32, 24, -48, 96, -64, 24, -104, 144, -96] L --> A000132 Nemo.fmpz[1, 10, 40, 80, 90, 112, 240, 320, 200, 250, 560, 560] Nemo.fmpz[1, 10, 40, 80, 90, 112, 240, 320, 200, 250, 560, 560] L --> A000141 Nemo.fmpz[1, 12, 60, 160, 252, 312, 544, 960, 1020, 876, 1560, 2400] Nemo.fmpz[1, 12, 60, 160, 252, 312, 544, 960, 1020, 876, 1560, 2400] L --> A008451 Nemo.fmpz[1, 14, 84, 280, 574, 840, 1288, 2368, 3444, 3542, 4424, 7560] Nemo.fmpz[1, 14, 84, 280, 574, 840, 1288, 2368, 3444, 3542, 4424, 7560] L --> A000143 Nemo.fmpz[1, 16, 112, 448, 1136, 2016, 3136, 5504, 9328, 12112, 14112, 21312] Nemo.fmpz[1, 16, 112, 448, 1136, 2016, 3136, 5504, 9328, 12112, 14112, 21312] L --> A000144 Nemo.fmpz[1, 20, 180, 960, 3380, 8424, 16320, 28800, 52020, 88660, 129064, 175680] Nemo.fmpz[1, 20, 180, 960, 3380, 8424, 16320, 28800, 52020, 88660, 129064, 175680] L --> A008453 Nemo.fmpz[1, 22, 220, 1320, 5302, 15224, 33528, 63360, 116380, 209550, 339064, 491768] Nemo.fmpz[1, 22, 220, 1320, 5302, 15224, 33528, 63360, 116380, 209550, 339064, 491768] L --> A000145 Nemo.fmpz[1, 24, 264, 1760, 7944, 25872, 64416, 133056, 253704, 472760, 825264, 1297056] Nemo.fmpz[1, 24, 264, 1760, 7944, 25872, 64416, 133056, 253704, 472760, 825264, 1297056] L --> A276285 Nemo.fmpz[1, 26, 312, 2288, 11466, 41808, 116688, 265408, 535704, 1031914, 1899664, 3214224] Nemo.fmpz[1, 26, 312, 2288, 11466, 41808, 116688, 265408, 535704, 1031914, 1899664, 3214224] L --> A276286 Nemo.fmpz[1, 28, 364, 2912, 16044, 64792, 200928, 503360, 1089452, 2186940, 4196920, 7544992] Nemo.fmpz[1, 28, 364, 2912, 16044, 64792, 200928, 503360, 1089452, 2186940, 4196920, 7544992] L --> A276287 Nemo.fmpz[1, 30, 420, 3640, 21870, 96936, 331240, 911040, 2128260, 4495430, 8972712, 16946280] Nemo.fmpz[1, 30, 420, 3640, 21870, 96936, 331240, 911040, 2128260, 4495430, 8972712, 16946280] L --> A004402 Nemo.fmpz[1, -2, 4, -8, 14, -24, 40, -64, 100, -154, 232, -344] Nemo.fmpz[1, -2, 4, -8, 14, -24, 40, -64, 100, -154, 232, -344] L --> A004406 Nemo.fmpz[1, -10, 60, -280, 1110, -3912, 12600, -37760, 106620, -286290, 736184, -1822920] Nemo.fmpz[1, -10, 60, -280, 1110, -3912, 12600, -37760, 106620, -286290, 736184, -1822920] L --> A004407 Nemo.fmpz[1, -12, 84, -448, 2004, -7896, 28224, -93312, 289236, -848972, 2377704, -6391872] Nemo.fmpz[1, -12, 84, -448, 2004, -7896, 28224, -93312, 289236, -848972, 2377704, -6391872] L --> A015128 Nemo.fmpz[1, 2, 4, 8, 14, 24, 40, 64, 100, 154, 232, 344] Nemo.fmpz[1, 2, 4, 8, 14, 24, 40, 64, 100, 154, 232, 344] L --> A004403 Nemo.fmpz[1, -4, 12, -32, 76, -168, 352, -704, 1356, -2532, 4600, -8160] Nemo.fmpz[1, -4, 12, -32, 76, -168, 352, -704, 1356, -2532, 4600, -8160] L --> A001934 Nemo.fmpz[1, 4, 12, 32, 76, 168, 352, 704, 1356, 2532, 4600, 8160] Nemo.fmpz[1, 4, 12, 32, 76, 168, 352, 704, 1356, 2532, 4600, 8160] L --> A004404 Nemo.fmpz[1, -6, 24, -80, 234, -624, 1552, -3648, 8184, -17654, 36816, -74544] Nemo.fmpz[1, -6, 24, -80, 234, -624, 1552, -3648, 8184, -17654, 36816, -74544] L --> A004405 Nemo.fmpz[1, -8, 40, -160, 552, -1712, 4896, -13120, 33320, -80872, 188784, -425952] Nemo.fmpz[1, -8, 40, -160, 552, -1712, 4896, -13120, 33320, -80872, 188784, -425952] L --> A004408 Nemo.fmpz[1, -14, 112, -672, 3346, -14560, 57120, -206208, 694960, -2209774, 6683040, -19345760] Nemo.fmpz[1, -14, 112, -672, 3346, -14560, 57120, -206208, 694960, -2209774, 6683040, -19345760] L --> A004409 Nemo.fmpz[1, -16, 144, -960, 5264, -25056, 106944, -418176, 1520784, -5201232, 16871648, -52252992] Nemo.fmpz[1, -16, 144, -960, 5264, -25056, 106944, -418176, 1520784, -5201232, 16871648, -52252992] L --> A004410 Nemo.fmpz[1, -18, 180, -1320, 7902, -40824, 188232, -792000, 3088980, -11297546, 39090312, -128849976] Nemo.fmpz[1, -18, 180, -1320, 7902, -40824, 188232, -792000, 3088980, -11297546, 39090312, -128849976] L --> A004411 Nemo.fmpz[1, -20, 220, -1760, 11420, -63624, 315040, -1418560, 5903260, -22976820, 84413912, -294841120] Nemo.fmpz[1, -20, 220, -1760, 11420, -63624, 315040, -1418560, 5903260, -22976820, 84413912, -294841120] L --> A004412 Nemo.fmpz[1, -22, 264, -2288, 15994, -95568, 505648, -2425280, 10721832, -44229350, 171861360, -633713808] Nemo.fmpz[1, -22, 264, -2288, 15994, -95568, 505648, -2425280, 10721832, -44229350, 171861360, -633713808] L --> A004413 Nemo.fmpz[1, -24, 312, -2912, 21816, -139152, 783328, -3986112, 18650424, -81251896, 332798544, -1291339296] Nemo.fmpz[1, -24, 312, -2912, 21816, -139152, 783328, -3986112, 18650424, -81251896, 332798544, -1291339296] L --> A004414 Nemo.fmpz[1, -26, 364, -3640, 29094, -197288, 1177176, -6333184, 31258604, -143374530, 617193304, -2513060264] Nemo.fmpz[1, -26, 364, -3640, 29094, -197288, 1177176, -6333184, 31258604, -143374530, 617193304, -2513060264] L --> A004420 Nemo.fmpz[1, -38, 760, -10640, 117002, -1075248, 8582224, -61061440, 394559320, -2348001494, 13008061200, -67666510320] Nemo.fmpz[1, -38, 760, -10640, 117002, -1075248, 8582224, -61061440, 394559320, -2348001494, 13008061200, -67666510320] L --> A004421 Nemo.fmpz[1, -40, 840, -12320, 141640, -1358448, 11297440, -83631680, 561539400, -3468363400, 19922193200, -107343635040] Nemo.fmpz[1, -40, 840, -12320, 141640, -1358448, 11297440, -83631680, 561539400, -3468363400, 19922193200, -107343635040] L --> A004415 Nemo.fmpz[1, -28, 420, -4480, 38052, -273336, 1723008, -9770240, 50722980, -244273820, 1102294984, -4698110592] Nemo.fmpz[1, -28, 420, -4480, 38052, -273336, 1723008, -9770240, 50722980, -244273820, 1102294984, -4698110592] L --> A004416 Nemo.fmpz[1, -30, 480, -5440, 48930, -371136, 2464320, -14688000, 80001120, -403533790, 1904433984, -8477603520] Nemo.fmpz[1, -30, 480, -5440, 48930, -371136, 2464320, -14688000, 80001120, -403533790, 1904433984, -8477603520] L --> A004417 Nemo.fmpz[1, -32, 544, -6528, 61984, -495040, 3453312, -21581568, 123040288, -648624288, 3194776000, -14823993472] Nemo.fmpz[1, -32, 544, -6528, 61984, -495040, 3453312, -21581568, 123040288, -648624288, 3194776000, -14823993472] L --> A004418 Nemo.fmpz[1, -34, 612, -7752, 77486, -649944, 4751976, -31070016, 185025348, -1017375098, 5220022312, -25201899288] Nemo.fmpz[1, -34, 612, -7752, 77486, -649944, 4751976, -31070016, 185025348, -1017375098, 5220022312, -25201899288] L --> A004419 Nemo.fmpz[1, -36, 684, -9120, 95724, -841320, 6433248, -43918272, 272670444, -1561033348, 8329222584, -41772509280] Nemo.fmpz[1, -36, 684, -9120, 95724, -841320, 6433248, -43918272, 272670444, -1561033348, 8329222584, -41772509280] L --> A004422 Nemo.fmpz[1, -42, 924, -14168, 169974, -1698312, 14692216, -112987776, 787175004, -5039316786, 29971442424, -167060546184] Nemo.fmpz[1, -42, 924, -14168, 169974, -1698312, 14692216, -112987776, 787175004, -5039316786, 29971442424, -167060546184] L --> A004423 Nemo.fmpz[1, -44, 1012, -16192, 202356, -2102936, 18896064, -150747520, 1088265332, -7211641580, 44356933544, -255472920256] Nemo.fmpz[1, -44, 1012, -16192, 202356, -2102936, 18896064, -150747520, 1088265332, -7211641580, 44356933544, -255472920256] L --> A004424 Nemo.fmpz[1, -46, 1104, -18400, 239154, -2581152, 24056160, -198823040, 1485433104, -10177345486, 64663512288, -384402300960] Nemo.fmpz[1, -46, 1104, -18400, 239154, -2581152, 24056160, -198823040, 1485433104, -10177345486, 64663512288, -384402300960] L --> A004425 Nemo.fmpz[1, -48, 1200, -20800, 280752, -3142560, 30338880, -259459200, 2003790000, -14178640368, 92960115360, -569803615680] Nemo.fmpz[1, -48, 1200, -20800, 280752, -3142560, 30338880, -259459200, 2003790000, -14178640368, 92960115360, -569803615680] Test Summary: | Pass Total Time JacobiTheta | 51 51 1.4s Test Summary: | Pass Total Time Kolakoski | 6 6 0.1s Test Summary: | Pass Total Time Lah | 1 1 0.3s Test Summary: | Pass Total Time Landau | 47 47 0.4s Test Summary: | Pass Total Time Narayana | 1 1 0.1s Test Summary: | Pass Total Time Nodes | 13 13 2.2s V --> A061142 Nemo.fmpz[1, 2, 2, 4, 2, 4, 2, 8, 4, 4] Nemo.fmpz[1, 2, 2, 4, 2, 4, 2, 8, 4, 4] V --> A000005 Nemo.fmpz[1, 2, 2, 3, 2, 4, 2, 4, 3, 4] Nemo.fmpz[1, 2, 2, 3, 2, 4, 2, 4, 3, 4] V --> A000010 Nemo.fmpz[1, 1, 2, 2, 4, 2, 6, 4, 6, 4] Nemo.fmpz[1, 1, 2, 2, 4, 2, 6, 4, 6, 4] V --> A000203 Nemo.fmpz[1, 3, 4, 7, 6, 12, 8, 15, 13, 18] Nemo.fmpz[1, 3, 4, 7, 6, 12, 8, 15, 13, 18] V --> A001222 Nemo.fmpz[0, 1, 1, 2, 1, 2, 1, 3, 2, 2] Nemo.fmpz[0, 1, 1, 2, 1, 2, 1, 3, 2, 2] V --> A001221 Nemo.fmpz[0, 1, 1, 1, 1, 2, 1, 1, 1, 2] Nemo.fmpz[0, 1, 1, 1, 1, 2, 1, 1, 1, 2] V --> A008683 Nemo.fmpz[1, -1, -1, 0, -1, 1, -1, 0, 0, 1] Nemo.fmpz[1, -1, -1, 0, -1, 1, -1, 0, 0, 1] L --> A003277 Nemo.fmpz[1, 2, 3, 5, 7, 11, 13, 15, 17, 19, 23, 29] [1, 2, 3, 5, 7, 11, 13, 15, 17, 19, 23, 29] Test Summary: | Pass Total Time NumTheory | 45 45 2.4s Test Summary: | Pass Total Time Queries | 8 8 0.0s [ Info: OEIS data is installed as: /home/pkgeval/.julia/packages/IntegerSequences/rqyUJ/data/stripped T --> A066325 Nemo.fmpz[1, 0, 1, -1, 0, 1, 0, -3, 0, 1, 3, 0, -6, 0, 1, 0, 15, 0, -10, 0, 1] Nemo.fmpz[1, 0, 1, -1, 0, 1, 0, -3, 0, 1, 3, 0, -6, 0, 1, 0, 15, 0, -10, 0, 1] T --> A049310 Nemo.fmpz[1, 0, 1, -1, 0, 1, 0, -2, 0, 1, 1, 0, -3, 0, 1, 0, 3, 0, -4, 0, 1] Nemo.fmpz[1, 0, 1, -1, 0, 1, 0, -2, 0, 1, 1, 0, -3, 0, 1, 0, 3, 0, -4, 0, 1] T --> A137338 Nemo.fmpz[1, -1, 1, 0, -3, 1, 3, 6, -6, 1, -12, -9, 26, -10, 1, 45, 3, -109, 71, -15, 1] Nemo.fmpz[1, -1, 1, 0, -3, 1, 3, 6, -6, 1, -12, -9, 26, -10, 1, 45, 3, -109, 71, -15, 1] T --> A104562 Nemo.fmpz[1, -1, 1, 0, -2, 1, 1, 1, -3, 1, -1, 2, 3, -4, 1, 0, -4, 2, 6, -5, 1] Nemo.fmpz[1, -1, 1, 0, -2, 1, 1, 1, -3, 1, -1, 2, 3, -4, 1, 0, -4, 2, 6, -5, 1] T --> A037027 Nemo.fmpz[1, 1, 1, 2, 2, 1, 3, 5, 3, 1, 5, 10, 9, 4, 1, 8, 20, 22, 14, 5, 1] Nemo.fmpz[1, 1, 1, 2, 2, 1, 3, 5, 3, 1, 5, 10, 9, 4, 1, 8, 20, 22, 14, 5, 1] T --> A049218 Nemo.fmpz[1, 0, 1, -2, 0, 1, 0, -8, 0, 1, 24, 0, -20, 0, 1, 0, 184, 0, -40, 0, 1] Nemo.fmpz[1, 0, 1, -2, 0, 1, 0, -8, 0, 1, 24, 0, -20, 0, 1, 0, 184, 0, -40, 0, 1] T --> A159834 Nemo.fmpz[1, -1, 1, 0, -2, 1, 2, 0, -3, 1, -2, 8, 0, -4, 1, -6, -10, 20, 0, -5, 1] Nemo.fmpz[1, -1, 1, 0, -2, 1, 2, 0, -3, 1, -2, 8, 0, -4, 1, -6, -10, 20, 0, -5, 1] T --> A137286 Nemo.fmpz[1, 0, 1, -2, 0, 1, 0, -5, 0, 1, 8, 0, -9, 0, 1, 0, 33, 0, -14, 0, 1] Nemo.fmpz[1, 0, 1, -2, 0, 1, 0, -5, 0, 1, 8, 0, -9, 0, 1, 0, 33, 0, -14, 0, 1] T --> A053120 Nemo.fmpz[1, 0, 1, -1, 0, 2, 0, -3, 0, 4, 1, 0, -8, 0, 8, 0, 5, 0, -20, 0, 16] Nemo.fmpz[1, 0, 1, -1, 0, 2, 0, -3, 0, 4, 1, 0, -8, 0, 8, 0, 5, 0, -20, 0, 16] T --> A053117 Nemo.fmpz[1, 0, 2, -1, 0, 4, 0, -4, 0, 8, 1, 0, -12, 0, 16, 0, 6, 0, -32, 0, 32] Nemo.fmpz[1, 0, 2, -1, 0, 4, 0, -4, 0, 8, 1, 0, -12, 0, 16, 0, 6, 0, -32, 0, 32] T --> A053121 Nemo.fmpz[1, 0, 1, 1, 0, 1, 0, 2, 0, 1, 2, 0, 3, 0, 1, 0, 5, 0, 4, 0, 1] Nemo.fmpz[1, 0, 1, 1, 0, 1, 0, 2, 0, 1, 2, 0, 3, 0, 1, 0, 5, 0, 4, 0, 1] T --> A216916 Nemo.fmpz[1, 1, 1, 3, 3, 1, 9, 12, 6, 1, 33, 51, 34, 10, 1, 135, 237, 193, 79, 15, 1] Nemo.fmpz[1, 1, 1, 3, 3, 1, 9, 12, 6, 1, 33, 51, 34, 10, 1, 135, 237, 193, 79, 15, 1] T --> A217537 Nemo.fmpz[1, 0, 1, 1, 1, 1, 1, 4, 3, 1, 4, 11, 13, 6, 1, 11, 41, 55, 35, 10, 1] Nemo.fmpz[1, 0, 1, 1, 1, 1, 1, 4, 3, 1, 4, 11, 13, 6, 1, 11, 41, 55, 35, 10, 1] T --> A064189 Nemo.fmpz[1, 1, 1, 2, 2, 1, 4, 5, 3, 1, 9, 12, 9, 4, 1, 21, 30, 25, 14, 5, 1] Nemo.fmpz[1, 1, 1, 2, 2, 1, 4, 5, 3, 1, 9, 12, 9, 4, 1, 21, 30, 25, 14, 5, 1] T --> A202327 Nemo.fmpz[1, -1, 1, 0, -2, 1, 2, 1, -3, 1, -3, 4, 3, -4, 1, -1, -10, 5, 6, -5, 1] Nemo.fmpz[1, -1, 1, 0, -2, 1, 2, 1, -3, 1, -3, 4, 3, -4, 1, -1, -10, 5, 6, -5, 1] T --> A111062 Nemo.fmpz[1, 1, 1, 2, 2, 1, 4, 6, 3, 1, 10, 16, 12, 4, 1, 26, 50, 40, 20, 5, 1] Nemo.fmpz[1, 1, 1, 2, 2, 1, 4, 6, 3, 1, 10, 16, 12, 4, 1, 26, 50, 40, 20, 5, 1] T --> A099174 Nemo.fmpz[1, 0, 1, 1, 0, 1, 0, 3, 0, 1, 3, 0, 6, 0, 1, 0, 15, 0, 10, 0, 1] Nemo.fmpz[1, 0, 1, 1, 0, 1, 0, 3, 0, 1, 3, 0, 6, 0, 1, 0, 15, 0, 10, 0, 1] T --> A111593 Nemo.fmpz[1, 0, 1, 0, 0, 1, 0, -2, 0, 1, 0, 0, -8, 0, 1, 0, 16, 0, -20, 0, 1] Nemo.fmpz[1, 0, 1, 0, 0, 1, 0, -2, 0, 1, 0, 0, -8, 0, 1, 0, 16, 0, -20, 0, 1] T --> A064189 Nemo.fmpz[1, 1, 1, 2, 2, 1, 4, 5, 3, 1, 9, 12, 9, 4, 1, 21, 30, 25, 14, 5, 1] Nemo.fmpz[1, 1, 1, 2, 2, 1, 4, 5, 3, 1, 9, 12, 9, 4, 1, 21, 30, 25, 14, 5, 1] L --> A217924 Nemo.fmpz[1, 1, 3, 9, 35, 153, 755, 4105, 24323, 155513, 1064851, 7760745] Nemo.fmpz[1, 1, 3, 9, 35, 153, 755, 4105, 24323, 155513, 1064851, 7760745] L --> A005425 Nemo.fmpz[1, 2, 5, 14, 43, 142, 499, 1850, 7193, 29186, 123109, 538078] Nemo.fmpz[1, 2, 5, 14, 43, 142, 499, 1850, 7193, 29186, 123109, 538078] L --> A000085 Nemo.fmpz[1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, 35696] Nemo.fmpz[1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, 35696] L --> A001464 Nemo.fmpz[1, -1, 0, 2, -2, -6, 16, 20, -132, -28, 1216, -936] Nemo.fmpz[1, -1, 0, 2, -2, -6, 16, 20, -132, -28, 1216, -936] L --> A003723 Nemo.fmpz[1, 1, 1, -1, -7, -3, 97, 275, -2063, -15015, 53409, 968167] Nemo.fmpz[1, 1, 1, -1, -7, -3, 97, 275, -2063, -15015, 53409, 968167] L --> A108624 Nemo.fmpz[1, 0, -1, 1, 1, -4, 3, 8, -23, 10, 67, -153] Nemo.fmpz[1, 0, -1, 1, 1, -4, 3, 8, -23, 10, 67, -153] L --> A006229 Nemo.fmpz[1, 1, 1, 3, 9, 37, 177, 959, 6097, 41641, 325249, 2693691] Nemo.fmpz[1, 1, 1, 3, 9, 37, 177, 959, 6097, 41641, 325249, 2693691] Test Summary: | Pass Total Time OrthoPoly | 29 29 3.9s Test Summary: | Pass Total Time Polynomials | 6 6 0.4s Test Summary: | Pass Total Time Primes | 2 2 0.0s Test Summary: | Pass Total Time PrimeSwingF | 1000 1000 0.1s Test Summary: | Pass Total Time FallingFact | 4 4 0.1s Test Summary: | Pass Total Time RisingFact | 4 4 0.0s Test Summary: | Pass Total Time MultiFact | 1 1 0.1s V --> A000142 Nemo.fmpz[1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880] Nemo.fmpz[1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880] V --> A000165 Nemo.fmpz[1, 2, 8, 48, 384, 3840, 46080, 645120, 10321920, 185794560] Nemo.fmpz[1, 2, 8, 48, 384, 3840, 46080, 645120, 10321920, 185794560] V --> A007696 Nemo.fmpz[1, 1, 5, 45, 585, 9945, 208845, 5221125, 151412625, 4996616625] Nemo.fmpz[1, 1, 5, 45, 585, 9945, 208845, 5221125, 151412625, 4996616625] V --> A001813 Nemo.fmpz[1, 2, 12, 120, 1680, 30240, 665280, 17297280, 518918400, 17643225600] Nemo.fmpz[1, 2, 12, 120, 1680, 30240, 665280, 17297280, 518918400, 17643225600] V --> A047053 Nemo.fmpz[1, 4, 32, 384, 6144, 122880, 2949120, 82575360, 2642411520, 95126814720] Nemo.fmpz[1, 4, 32, 384, 6144, 122880, 2949120, 82575360, 2642411520, 95126814720] V --> A001147 Nemo.fmpz[1, 1, 3, 15, 105, 945, 10395, 135135, 2027025, 34459425] Nemo.fmpz[1, 1, 3, 15, 105, 945, 10395, 135135, 2027025, 34459425] V --> A008545 Nemo.fmpz[1, 3, 21, 231, 3465, 65835, 1514205, 40883535, 1267389585, 44358635475] Nemo.fmpz[1, 3, 21, 231, 3465, 65835, 1514205, 40883535, 1267389585, 44358635475] V --> A081125 Nemo.fmpz[1, 1, 2, 6, 12, 60, 120, 840, 1680, 15120] Nemo.fmpz[1, 1, 2, 6, 12, 60, 120, 840, 1680, 15120] V --> A000407 Nemo.fmpz[1, 6, 60, 840, 15120, 332640, 8648640, 259459200, 8821612800, 335221286400] Nemo.fmpz[1, 6, 60, 840, 15120, 332640, 8648640, 259459200, 8821612800, 335221286400] V --> A032031 Nemo.fmpz[1, 3, 18, 162, 1944, 29160, 524880, 11022480, 264539520, 7142567040] Nemo.fmpz[1, 3, 18, 162, 1944, 29160, 524880, 11022480, 264539520, 7142567040] V --> A007559 Nemo.fmpz[1, 1, 4, 28, 280, 3640, 58240, 1106560, 24344320, 608608000] Nemo.fmpz[1, 1, 4, 28, 280, 3640, 58240, 1106560, 24344320, 608608000] V --> A008544 Nemo.fmpz[1, 2, 10, 80, 880, 12320, 209440, 4188800, 96342400, 2504902400] Nemo.fmpz[1, 2, 10, 80, 880, 12320, 209440, 4188800, 96342400, 2504902400] Test Summary: | Pass Total Time Products | 12 12 0.5s Test Summary: | Pass Total Time QueensProblem | 1 1 0.1s Test Summary: | Pass Total Time EuclidTree | 1 1 0.2s Test Summary: | Pass Total Time RiordanSqr | 8 8 1.8s L --> A005411 Nemo.fmpz[1, 1, 4, 25, 208, 2146, 26368, 375733, 6092032, 110769550, 2232792064, 49426061818] Nemo.fmpz[1, 1, 4, 25, 208, 2146, 26368, 375733, 6092032, 110769550, 2232792064, 49426061818] L --> A005412 Nemo.fmpz[1, 3, 18, 153, 1638, 20898, 307908, 5134293, 95518278, 1961333838, 44069970348, 1075902476058] Nemo.fmpz[1, 3, 18, 153, 1638, 20898, 307908, 5134293, 95518278, 1961333838, 44069970348, 1075902476058] L --> A006012 Nemo.fmpz[1, 2, 6, 20, 68, 232, 792, 2704, 9232, 31520, 107616, 367424] Nemo.fmpz[1, 2, 6, 20, 68, 232, 792, 2704, 9232, 31520, 107616, 367424] L --> A006318 Nemo.fmpz[1, 2, 6, 22, 90, 394, 1806, 8558, 41586, 206098, 1037718, 5293446] Nemo.fmpz[1, 2, 6, 22, 90, 394, 1806, 8558, 41586, 206098, 1037718, 5293446] L --> A047891 Nemo.fmpz[1, 3, 12, 57, 300, 1686, 9912, 60213, 374988, 2381322, 15361896, 100389306] Nemo.fmpz[1, 3, 12, 57, 300, 1686, 9912, 60213, 374988, 2381322, 15361896, 100389306] L --> A062980 Nemo.fmpz[1, 5, 60, 1105, 27120, 828250, 30220800, 1282031525, 61999046400, 3366961243750, 202903221120000, 13437880555850250] Nemo.fmpz[1, 5, 60, 1105, 27120, 828250, 30220800, 1282031525, 61999046400, 3366961243750, 202903221120000, 13437880555850250] L --> A082298 Nemo.fmpz[1, 4, 20, 116, 740, 5028, 35700, 261780, 1967300, 15072836, 117297620, 924612532] Nemo.fmpz[1, 4, 20, 116, 740, 5028, 35700, 261780, 1967300, 15072836, 117297620, 924612532] L --> A082301 Nemo.fmpz[1, 5, 30, 205, 1530, 12130, 100380, 857405, 7503330, 66931030, 606337380, 5563370130] Nemo.fmpz[1, 5, 30, 205, 1530, 12130, 100380, 857405, 7503330, 66931030, 606337380, 5563370130] L --> A082302 Nemo.fmpz[1, 6, 42, 330, 2814, 25422, 239442, 2326434, 23151030, 234784662, 2417832186, 25216231866] Nemo.fmpz[1, 6, 42, 330, 2814, 25422, 239442, 2326434, 23151030, 234784662, 2417832186, 25216231866] L --> A105523 Nemo.fmpz[1, -1, 0, 1, 0, -2, 0, 5, 0, -14, 0, 42] Nemo.fmpz[1, -1, 0, 1, 0, -2, 0, 5, 0, -14, 0, 42] L --> A107716 Nemo.fmpz[1, 3, 21, 219, 2973, 49323, 964173, 21680571, 551173053, 15633866379, 489583062381, 16780438408539] Nemo.fmpz[1, 3, 21, 219, 2973, 49323, 964173, 21680571, 551173053, 15633866379, 489583062381, 16780438408539] L --> A111529 Nemo.fmpz[1, 1, 4, 22, 148, 1156, 10192, 99688, 1069168, 12468208, 157071424, 2126386912] Nemo.fmpz[1, 1, 4, 22, 148, 1156, 10192, 99688, 1069168, 12468208, 157071424, 2126386912] L --> A111530 Nemo.fmpz[1, 1, 5, 33, 261, 2361, 23805, 263313, 3161781, 40907241, 567074925, 8385483393] Nemo.fmpz[1, 1, 5, 33, 261, 2361, 23805, 263313, 3161781, 40907241, 567074925, 8385483393] L --> A111531 Nemo.fmpz[1, 1, 6, 46, 416, 4256, 48096, 591536, 7840576, 111226816, 1680157056, 26918720896] Nemo.fmpz[1, 1, 6, 46, 416, 4256, 48096, 591536, 7840576, 111226816, 1680157056, 26918720896] L --> A111532 Nemo.fmpz[1, 1, 7, 61, 619, 7045, 87955, 1187845, 17192275, 264940405, 4326439075, 74593075525] Nemo.fmpz[1, 1, 7, 61, 619, 7045, 87955, 1187845, 17192275, 264940405, 4326439075, 74593075525] L --> A111533 Nemo.fmpz[1, 1, 8, 78, 876, 10956, 149472, 2195208, 34398288, 571525200, 10022997888, 184897670112] Nemo.fmpz[1, 1, 8, 78, 876, 10956, 149472, 2195208, 34398288, 571525200, 10022997888, 184897670112] L --> A146559 Nemo.fmpz[1, 1, 0, -2, -4, -4, 0, 8, 16, 16, 0, -32] Nemo.fmpz[1, 1, 0, -2, -4, -4, 0, 8, 16, 16, 0, -32] L --> A167872 Nemo.fmpz[1, 3, 21, 207, 2529, 36243, 591381, 10786527, 217179009, 4782674403, 114370025301, 2952426526767] Nemo.fmpz[1, 3, 21, 207, 2529, 36243, 591381, 10786527, 217179009, 4782674403, 114370025301, 2952426526767] Test Summary: | Pass Total Time SelfConvRec | 18 18 0.8s Test Summary: |Time GenerateAll | None 0.0s Test Summary: | Pass Total Time SeriesCoefficients | 12 12 0.2s Test Summary: | Pass Total Time SetPartitions | 63 63 2.0s Test Summary: | Pass Total Time Pi | 2 2 0.1s Test Summary: | Pass Total Time SwingFactorial | 1000 1000 0.1s Test Summary: | Pass Total Time Triangles | 3 3 0.6s Test Summary: | Pass Total Time UlamNumbers | 1 1 0.1s Test Summary: | Pass Total Time Zumkeller | 4 4 0.5s Testing IntegerSequences tests passed Testing completed after 102.11s PkgEval succeeded after 169.0s