{ "status": "PASS", "arithmetic": "exact integers and fractions", "python": "3.12.14", "randomness": false, "checks": { "spacing_one_boundary": 77, "reciprocal_routes": 385, "parameter_polynomials": 385, "addition_polynomial_identities": 45, "oeis_secant_prefix": 16, "oeis_quartic_prefix": 12, "rank_dynamic_program": 45, "permutation_composition_formula": 45, "permutation_enumeration": 6, "quartic_determinant": 12, "packet_reconstruction": 24, "packet_product_certificate": 12, "quartic_to_secant": 41, "secant_to_quartic": 21, "failure_controls": 10, "dense_scalar_inverse": 16, "newton_precision": 10, "newton_residual_identity": 5, "truncation_defect": 1, "euler_polynomial_centering": 13, "euler_polynomial_shift": 13, "euler_polynomial_reflection": 13, "alternating_power_telescope": 312, "euler_polynomial_derivative": 12, "local_source_series": 66, "local_euler_reconstruction": 66, "local_inverse_reconstruction": 66, "odd_reciprocal_power_kernel": 55, "full_depth_exact": 66, "dyadic_source_units": 11, "local_truncation_bound": 264, "dyadic_bernoulli_kernel": 10, "dyadic_kernel_valuation": 10, "dyadic_first_omitted_sharpness": 10, "displayed_local_reconstruction": 4, "local_matrix_inverse_entries": 1152, "local_matrix_reconstruction": 48, "local_matrix_inverse_reconstruction": 48, "factorial_matrix_conjugation": 576, "stable_triangular_prefixes": 48, "coefficient_matrix_composition": 432, "pascal_inverse_entries": 144, "pascal_coefficient_coordinates": 24, "sampling_pascal_conjugation": 208, "sampling_matrix_application": 24, "sampling_cutoff_counterexample": 1, "matrix_normalization_counterexample": 1, "infinite_packet_block_entries": 144, "packet_block_inverse_application": 12, "local_base_change_values": 128, "dyadic_integral_base_change": 1024, "odd_integral_base_change": 576, "base_change_cocycle_entries": 4096, "base_change_precision_loss": 3, "displayed_supercongruence_ladders": 8, "odd_chart_modulus_transport": 2, "modulus_change_counterexample": 1, "coprime_supercongruence_combination": 2, "congruential_family_routes": 189, "congruential_denominator_clearing": 189, "congruential_family_specializations": 27, "finite_difference_transfer": 270, "refinement_composition": 400, "prime_residual_polynomials": 5, "prime_residual_application": 15, "displayed_integer_calculations": 5, "higher_prime_examples": 5, "sampled_signal_control": 3, "fibonacci_connection_formula": 169, "fibonacci_polynomial_reconstruction": 13, "fibonacci_centered_euler_recovery": 13, "fibonacci_connection_inverse": 2, "fibonacci_display": 5, "fibonacci_failure_controls": 2, "fibonacci_polynomial_companion": 12, "fibonacci_defect_inverse": 2, "fibonacci_defect_reconstruction": 1, "fibonacci_moving_state": 15, "fibonacci_green_reconstruction": 15, "fibonacci_forced_companion": 14, "fibonacci_moving_increment": 14, "fibonacci_sequence_transfer": 2, "fibonacci_toeplitz_inverse": 2, "fibonacci_shift_commutator": 240, "literature_lucas_trace": 13, "literature_determinant_parity": 13, "literature_jump_characteristic": 13, "literature_sampled_recurrence": 702, "literature_parity_control": 1, "literature_jump_control": 1, "literature_dyadic_refinement": 5, "literature_dyadic_factor_parity": 5, "literature_matrix_difference": 210, "literature_dyadic_divisibility": 210, "literature_dyadic_sharpness": 30, "literature_packet_binomial": 140, "literature_packet_precision": 700, "literature_display": 6, "literature_simultaneous_factor": 1, "literature_simultaneous_differences": 42, "literature_simultaneous_moduli": 42, "literature_euler_packet_composition": 1, "literature_derivative_conjugacy": 9, "literature_calculus_round_trip": 9, "literature_calculus_boundary": 9, "literature_integral_covector": 9, "literature_wrong_operator_control": 1, "atlas_quartic_recurrence": 4, "atlas_quartic_integrality": 4, "atlas_all_row_bounds": 1344, "atlas_exact_displacement": 576, "atlas_newton_prefix": 4, "atlas_display": 3, "atlas_exact_modular_agreement": 192, "atlas_affine_image_residue": 4, "atlas_residue_permutation": 32, "atlas_finite_isometry": 1984, "atlas_least_period": 324, "atlas_period_classification": 5184, "atlas_half_period_control": 22, "atlas_binary_lifting": 6, "atlas_inverse_search": 1, "atlas_inverse_row_witness": 2, "atlas_mode_nilpotence": 3, "atlas_mode_inverse": 6, "atlas_modes_euler_values": 3, "atlas_modes_hurwitz_product": 75, "atlas_positive_tail_control": 1, "atlas_factorial_nonunit": 1, "atlas_stirling_inverse": 2, "atlas_log_exp_inverse": 2, "atlas_log_stirling": 1, "atlas_stirling_recovery": 1, "atlas_log_rational_form": 1, "atlas_log_extra_degree": 1, "atlas_transported_derivative": 1, "atlas_log_integer_recurrence": 15, "edge_carry_cutoff": 255, "edge_direct_euler_reconstruction": 93, "edge_finite_factorization": 93, "edge_binomial_weight": 93, "edge_valuation_identity": 93, "edge_sparse_binary_family": 72, "edge_uniform_sharpness": 11, "edge_cancellation_witness": 1 }, "source_sha256": "aef7b88eabf577ffa6caaa00dec41fea796b9d098657a24d30dfcb9a9ed1e421", "secant": [ 1, 1, 5, 61, 1385, 50521, 2702765, 199360981, 19391512145, 2404879675441, 370371188237525, 69348874393137901, 15514534163557086905, 4087072509293123892361, 1252259641403629865468285, 441543893249023104553682821 ], "quartic": [ 1, 1, 69, 33661, 60376809, 288294050521, 3019098162602349, 60921822444067346581, 2159058013333667522020689, 125339574046311949415000577841, 11289082167259099068433198467575829, 1510335441937894173173702826484473600301 ], "signed_euler": [ 1, -1, 5, -61, 1385, -50521, 2702765, -199360981, 19391512145 ], "difference_coordinates": [ 1, -2, 8, -80, 1664 ], "lane_spacing_two": [ 1, 5, 1385 ], "lane_difference_coordinates": [ 1, 4, 1376 ], "refined_first_difference": 1384, "newton_residual_orders": [ 2, 4, 8, 16, "at least 32" ], "reciprocal_power_polynomials": [ [ "1" ], [ "0", "1" ], [ "0", "2", "3" ], [ "0", "16", "30", "15" ], [ "0", "272", "588", "420", "105" ], [ "0", "7936", "18960", "16380", "6300", "945" ] ], "euler_polynomials": [ [ "1" ], [ "-1/2", "1" ], [ "0", "-1", "1" ], [ "1/4", "0", "-3/2", "1" ], [ "0", "1", "0", "-2", "1" ], [ "-1/2", "0", "5/2", "0", "-5/2", "1" ], [ "0", "-3", "0", "5", "0", "-3", "1" ] ], "local_reconstructions": [ { "chart": 3, "ordinary_degree": 8, "exact": "1385", "rows": [ { "depth": 0, "term": "384065", "partial": "384065", "error": "-382680", "valuation": 2 }, { "depth": 1, "term": "-7508088", "partial": "-7124023", "error": "7125408", "valuation": 4 }, { "depth": 2, "term": "49442400", "partial": "42318377", "error": "-42316992", "valuation": 6 }, { "depth": 3, "term": "-94385088", "partial": "-52066711", "error": "52068096", "valuation": 8 }, { "depth": 4, "term": "52068096", "partial": "1385", "error": "0", "valuation": null } ] }, { "chart": 2, "ordinary_degree": 8, "exact": "1385", "rows": [ { "depth": 0, "term": "7381/45", "partial": "7381/45", "error": "54944/45", "valuation": 5 }, { "depth": 1, "term": "-6560/3", "partial": "-91019/45", "error": "153344/45", "valuation": 8 }, { "depth": 2, "term": "163072/15", "partial": "398197/45", "error": "-335872/45", "valuation": 13 }, { "depth": 3, "term": "-204800/9", "partial": "-208601/15", "error": "229376/15", "valuation": 15 }, { "depth": 4, "term": "229376/15", "partial": "1385", "error": "0", "valuation": null } ] } ], "matrix_examples": { "local_size": 12, "odd_three": [ [ "1", "0", "0", "0", "0" ], [ "-18", "1", "0", "0", "0" ], [ "1296", "-108", "1", "0", "0" ], [ "-198288", "19440", "-270", "1", "0" ], [ "52068096", "-5552064", "90720", "-504", "1" ] ], "dyadic": [ [ "1", "0", "0", "0", "0" ], [ "-8/3", "1", "0", "0", "0" ], [ "128/5", "-16", "1", "0", "0" ], [ "-10240/21", "384", "-40", "1", "0" ], [ "229376/15", "-40960/3", "1792", "-224/3", "1" ] ], "odd_three_inverse": [ [ "1", "0", "0", "0", "0" ], [ "18", "1", "0", "0", "0" ], [ "648", "108", "1", "0", "0" ], [ "23328", "9720", "270", "1", "0" ], [ "839808", "653184", "45360", "504", "1" ] ], "sampling_two": [ [ "1", "0", "0", "0", "0" ], [ "0", "2", "1", "0", "0" ], [ "0", "0", "4", "4", "1" ] ], "correct_sampling_cutoff": [ "1", "4", "1376" ], "wrong_sampling_cutoff": [ "1", "4", "32" ] }, "base_change_examples": { "size": 8, "three_to_five": [ [ "1", "0", "0", "0", "0" ], [ "32", "1", "0", "0", "0" ], [ "896", "192", "1", "0", "0" ], [ "-76288", "13440", "480", "1", "0" ], [ "26064896", "-2136064", "62720", "896", "1" ] ], "three_to_two": [ [ "1", "0", "0", "0", "0" ], [ "-46/3", "1", "0", "0", "0" ], [ "15376/15", "-92", "1", "0", "0" ], [ "-1056368/7", "15376", "-230", "1", "0" ], [ "1743237376/45", "-4225472", "215264/3", "-1288/3", "1" ] ], "three_adic_loss_entry": "215264/3", "input_error": 9, "output_error": "645792", "congruence_ladders": [ { "chart": 2, "depth": 0, "modulus": 8, "partial": "7381/45", "residue": 1, "error": "54944/45", "valuation": 5 }, { "chart": 2, "depth": 1, "modulus": 128, "partial": "-91019/45", "residue": 105, "error": "153344/45", "valuation": 8 }, { "chart": 2, "depth": 2, "modulus": 2048, "partial": "398197/45", "residue": 1385, "error": "-335872/45", "valuation": 13 }, { "chart": 2, "depth": 3, "modulus": 32768, "partial": "-208601/15", "residue": 1385, "error": "229376/15", "valuation": 15 }, { "chart": 3, "depth": 0, "modulus": 9, "partial": "384065", "residue": 8, "error": "-382680", "valuation": 2 }, { "chart": 3, "depth": 1, "modulus": 81, "partial": "-7124023", "residue": 8, "error": "7125408", "valuation": 4 }, { "chart": 3, "depth": 2, "modulus": 729, "partial": "42318377", "residue": 656, "error": "-42316992", "valuation": 6 }, { "chart": 3, "depth": 3, "modulus": 6561, "partial": "-52066711", "residue": 1385, "error": "52068096", "valuation": 8 } ], "crt": { "moduli": [ 81, 32 ], "residues": [ 8, 9 ], "residue": 1385, "modulus": 2592 }, "family_four": [ "1", "-1", "69", "-33661", "60376809" ] }, "fibonacci": { "polynomial_connection": [ [ "1", "-1/2", "-1", "7/4", "2", "-8", "-5", "381/8", "14", "-386", "-42", "17565/4", "132" ], [ "0", "1", "-1", "-2", "5", "5", "-28", "-14", "199", "42", "-1925", "-132", "25954" ], [ "0", "0", "1", "-3/2", "-3", "10", "9", "-273/4", "-28", "1161/2", "90", "-26741/4", "-297" ], [ "0", "0", "0", "1", "-2", "-4", "17", "14", "-140", "-48", "1419", "165", "-19316" ], [ "0", "0", "0", "0", "1", "-5/2", "-5", "105/4", "20", "-258", "-75", "12375/4", "275" ], [ "0", "0", "0", "0", "0", "1", "-3", "-6", "38", "27", "-441", "-110", "6204" ], [ "0", "0", "0", "0", "0", "0", "1", "-7/2", "-7", "105/2", "35", "-2849/4", "-154" ], [ "0", "0", "0", "0", "0", "0", "0", "1", "-4", "-8", "70", "44", "-1100" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "1", "-9/2", "-9", "363/4", "54" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "-5", "-10", "115" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "-11/2", "-11" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "-6" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1" ] ], "polynomial_inverse": [ [ "1", "1/2", "3/2", "3/2", "3", "4", "7", "21/2", "35/2", "55/2", "45", "72", "117" ], [ "0", "1", "1", "7/2", "5", "23/2", "19", "75/2", "65", "120", "210", "375", "654" ], [ "0", "0", "1", "3/2", "6", "11", "57/2", "111/2", "243/2", "237", "957/2", "918", "3543/2" ], [ "0", "0", "0", "1", "2", "9", "20", "115/2", "128", "307", "662", "2895/2", "3010" ], [ "0", "0", "0", "0", "1", "5/2", "25/2", "65/2", "205/2", "511/2", "665", "1565", "7355/2" ], [ "0", "0", "0", "0", "0", "1", "3", "33/2", "49", "168", "462", "1295", "3294" ], [ "0", "0", "0", "0", "0", "0", "1", "7/2", "21", "70", "259", "777", "2331" ], [ "0", "0", "0", "0", "0", "0", "0", "1", "4", "26", "96", "381", "1236" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "1", "9/2", "63/2", "255/2", "540" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "5", "75/2", "165" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "11/2", "44" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "6" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1" ] ], "polynomial_basis": [ [ "1" ], [ "0", "1" ], [ "1", "0", "1" ], [ "0", "2", "0", "1" ], [ "1", "0", "3", "0", "1" ], [ "0", "3", "0", "4", "0", "1" ], [ "1", "0", "6", "0", "5", "0", "1" ], [ "0", "4", "0", "10", "0", "6", "0", "1" ], [ "1", "0", "10", "0", "15", "0", "7", "0", "1" ], [ "0", "5", "0", "20", "0", "21", "0", "8", "0", "1" ], [ "1", "0", "15", "0", "35", "0", "28", "0", "9", "0", "1" ], [ "0", "6", "0", "35", "0", "56", "0", "36", "0", "10", "0", "1" ], [ "1", "0", "21", "0", "70", "0", "84", "0", "45", "0", "11", "0", "1" ] ], "polynomial_companion_powers": [ [ [ [ "1" ], [ "0" ] ], [ [ "0" ], [ "1" ] ] ], [ [ [ "0", "1" ], [ "1" ] ], [ [ "1" ], [ "0" ] ] ], [ [ [ "1", "0", "1" ], [ "0", "1" ] ], [ [ "0", "1" ], [ "1" ] ] ], [ [ [ "0", "2", "0", "1" ], [ "1", "0", "1" ] ], [ [ "1", "0", "1" ], [ "0", "1" ] ] ], [ [ [ "1", "0", "3", "0", "1" ], [ "0", "2", "0", "1" ] ], [ [ "0", "2", "0", "1" ], [ "1", "0", "1" ] ] ], [ [ [ "0", "3", "0", "4", "0", "1" ], [ "1", "0", "3", "0", "1" ] ], [ [ "1", "0", "3", "0", "1" ], [ "0", "2", "0", "1" ] ] ], [ [ [ "1", "0", "6", "0", "5", "0", "1" ], [ "0", "3", "0", "4", "0", "1" ] ], [ [ "0", "3", "0", "4", "0", "1" ], [ "1", "0", "3", "0", "1" ] ] ], [ [ [ "0", "4", "0", "10", "0", "6", "0", "1" ], [ "1", "0", "6", "0", "5", "0", "1" ] ], [ [ "1", "0", "6", "0", "5", "0", "1" ], [ "0", "3", "0", "4", "0", "1" ] ] ], [ [ [ "1", "0", "10", "0", "15", "0", "7", "0", "1" ], [ "0", "4", "0", "10", "0", "6", "0", "1" ] ], [ [ "0", "4", "0", "10", "0", "6", "0", "1" ], [ "1", "0", "6", "0", "5", "0", "1" ] ] ], [ [ [ "0", "5", "0", "20", "0", "21", "0", "8", "0", "1" ], [ "1", "0", "10", "0", "15", "0", "7", "0", "1" ] ], [ [ "1", "0", "10", "0", "15", "0", "7", "0", "1" ], [ "0", "4", "0", "10", "0", "6", "0", "1" ] ] ], [ [ [ "1", "0", "15", "0", "35", "0", "28", "0", "9", "0", "1" ], [ "0", "5", "0", "20", "0", "21", "0", "8", "0", "1" ] ], [ [ "0", "5", "0", "20", "0", "21", "0", "8", "0", "1" ], [ "1", "0", "10", "0", "15", "0", "7", "0", "1" ] ] ], [ [ [ "0", "6", "0", "35", "0", "56", "0", "36", "0", "10", "0", "1" ], [ "1", "0", "15", "0", "35", "0", "28", "0", "9", "0", "1" ] ], [ [ "1", "0", "15", "0", "35", "0", "28", "0", "9", "0", "1" ], [ "0", "5", "0", "20", "0", "21", "0", "8", "0", "1" ] ] ], [ [ [ "1", "0", "21", "0", "70", "0", "84", "0", "45", "0", "11", "0", "1" ], [ "0", "6", "0", "35", "0", "56", "0", "36", "0", "10", "0", "1" ] ], [ [ "0", "6", "0", "35", "0", "56", "0", "36", "0", "10", "0", "1" ], [ "1", "0", "15", "0", "35", "0", "28", "0", "9", "0", "1" ] ] ] ], "recurrence_analysis": [ [ "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-1", "-1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "-1", "-1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "-1", "-1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "-1", "-1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "-1", "-1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "-1", "-1", "1", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "-1", "-1", "1", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "-1", "-1", "1", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "-1", "-1", "1", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "-1", "-1", "1", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-1", "-1", "1", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-1", "-1", "1", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-1", "-1", "1", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-1", "-1", "1" ] ], "recurrence_synthesis": [ [ "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "1", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "1", "2", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "2", "3", "2", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "3", "5", "3", "2", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "5", "8", "5", "3", "2", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "8", "13", "8", "5", "3", "2", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "13", "21", "13", "8", "5", "3", "2", "1", "1", "0", "0", "0", "0", "0", "0", "0" ], [ "21", "34", "21", "13", "8", "5", "3", "2", "1", "1", "0", "0", "0", "0", "0", "0" ], [ "34", "55", "34", "21", "13", "8", "5", "3", "2", "1", "1", "0", "0", "0", "0", "0" ], [ "55", "89", "55", "34", "21", "13", "8", "5", "3", "2", "1", "1", "0", "0", "0", "0" ], [ "89", "144", "89", "55", "34", "21", "13", "8", "5", "3", "2", "1", "1", "0", "0", "0" ], [ "144", "233", "144", "89", "55", "34", "21", "13", "8", "5", "3", "2", "1", "1", "0", "0" ], [ "233", "377", "233", "144", "89", "55", "34", "21", "13", "8", "5", "3", "2", "1", "1", "0" ], [ "377", "610", "377", "233", "144", "89", "55", "34", "21", "13", "8", "5", "3", "2", "1", "1" ] ], "defects": [ "5", "-65", "1441", "-51845", "2751901", "-202013225", "19588170361", "-2424071826605", "372756676400821", "-69716840701699985", "15583512666761987281", "-4102517694582287841365", "1256331199378759432273741", "-442792065817917441295258745" ], "moving_states": [ [ "1", "-1" ], [ "6", "-1" ], [ "71", "-66" ], [ "2953", "-1507" ], [ "158488", "-105197" ], [ "13917993", "-8360900" ], [ "1630023793", "-1018427025" ], [ "256276238486", "-157723789913" ], [ "51161784597191", "-31670657535778" ], [ "12724888782225105", "-7859560861953019" ], [ "3847151127375724280", "-2378232144719752509" ], [ "1390779778469192592289", "-859471428816629052964" ], [ "592153327798318641748849", "-365983546246640246934449" ], [ "293317322783049266361530502", "-181277676256787998494353153" ], [ "167225926136137924634674077367", "-103351829011831551820289640738" ] ], "ordinary_residual": [ "1", "-2", "5", "-65", "1441", "-51845", "2751901", "-202013225", "19588170361", "-2424071826605", "372756676400821", "-69716840701699985", "15583512666761987281", "-4102517694582287841365", "1256331199378759432273741", "-442792065817917441295258745" ], "ordinary_kernel": [ "1", "2", "-1", "53", "-1200", "46233", "-2544859", "190982322", "-18779220941", "2345740016825", "-363071081514136", "68227996803319253", "-15305077119742321959", "4040277094474650452802", "-1239944026800943292970025", "437773152513564534728637837" ], "sequence_transfer": [ [ "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "53", "-1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-1200", "53", "-1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0", "0", "0", "0", "0" ], [ "2345740016825", "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0", "0", "0", "0" ], [ "-363071081514136", "2345740016825", "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0", "0", "0" ], [ "68227996803319253", "-363071081514136", "2345740016825", "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0", "0" ], [ "-15305077119742321959", "68227996803319253", "-363071081514136", "2345740016825", "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0", "0" ], [ "4040277094474650452802", "-15305077119742321959", "68227996803319253", "-363071081514136", "2345740016825", "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0", "0" ], [ "-1239944026800943292970025", "4040277094474650452802", "-15305077119742321959", "68227996803319253", "-363071081514136", "2345740016825", "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1", "0" ], [ "437773152513564534728637837", "-1239944026800943292970025", "4040277094474650452802", "-15305077119742321959", "68227996803319253", "-363071081514136", "2345740016825", "-18779220941", "190982322", "-2544859", "46233", "-1200", "53", "-1", "2", "1" ] ], "sequence_inverse": [ [ "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "5", "-2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-65", "5", "-2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "1441", "-65", "5", "-2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0", "0", "0", "0", "0" ], [ "-2424071826605", "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0", "0", "0", "0" ], [ "372756676400821", "-2424071826605", "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0", "0", "0" ], [ "-69716840701699985", "372756676400821", "-2424071826605", "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0", "0" ], [ "15583512666761987281", "-69716840701699985", "372756676400821", "-2424071826605", "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0", "0" ], [ "-4102517694582287841365", "15583512666761987281", "-69716840701699985", "372756676400821", "-2424071826605", "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0", "0" ], [ "1256331199378759432273741", "-4102517694582287841365", "15583512666761987281", "-69716840701699985", "372756676400821", "-2424071826605", "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1", "0" ], [ "-442792065817917441295258745", "1256331199378759432273741", "-4102517694582287841365", "15583512666761987281", "-69716840701699985", "372756676400821", "-2424071826605", "19588170361", "-202013225", "2751901", "-51845", "1441", "-65", "5", "-2", "1" ] ], "target": [ 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987 ] }, "literature": { "jumps": [ [ [ 1, 0 ], [ 0, 1 ] ], [ [ 1, 1 ], [ 1, 0 ] ], [ [ 2, 1 ], [ 1, 1 ] ], [ [ 3, 2 ], [ 2, 1 ] ], [ [ 5, 3 ], [ 3, 2 ] ], [ [ 8, 5 ], [ 5, 3 ] ], [ [ 13, 8 ], [ 8, 5 ] ], [ [ 21, 13 ], [ 13, 8 ] ], [ [ 34, 21 ], [ 21, 13 ] ], [ [ 55, 34 ], [ 34, 21 ] ], [ [ 89, 55 ], [ 55, 34 ] ], [ [ 144, 89 ], [ 89, 55 ] ], [ [ 233, 144 ], [ 144, 89 ] ] ], "lucas": [ 2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, 199, 322 ], "packet_three": [ [ 0, 2, 8, 34, 144, 610 ], [ 1, 3, 13, 55, 233, 987 ], [ 1, 5, 21, 89, 377, 1597 ] ], "dyadic_factors": [ { "step": 12, "power": 0, "divisor": 8, "factor": [ [ 29, 18 ], [ 18, 11 ] ] }, { "step": 24, "power": 1, "divisor": 16, "factor": [ [ 4689, 2898 ], [ 2898, 1791 ] ] }, { "step": 48, "power": 2, "divisor": 32, "factor": [ [ 243085689, 150235218 ], [ 150235218, 92850471 ] ] }, { "step": 96, "power": 3, "divisor": 64, "factor": [ [ 1306580367028881609, 807511075857161298 ], [ 807511075857161298, 499069291171720311 ] ] }, { "step": 192, "power": 4, "divisor": 128, "factor": [ [ 75495244580394146679765823379108039529, 46658627139669876059135456231968910418 ], [ 46658627139669876059135456231968910418, 28836617440724270620630367147139129111 ] ] } ], "precision": [ { "step": 12, "refinement": 0, "depth": 0, "target": 24157817, "partial": 0, "error": 24157817, "modulus": 1, "valuation": 0 }, { "step": 12, "refinement": 0, "depth": 1, "target": 24157817, "partial": 1, "error": 24157816, "modulus": 8, "valuation": 3 }, { "step": 12, "refinement": 0, "depth": 2, "target": 24157817, "partial": 697, "error": 24157120, "modulus": 64, "valuation": 6 }, { "step": 12, "refinement": 0, "depth": 3, "target": 24157817, "partial": 224377, "error": 23933440, "modulus": 512, "valuation": 9 }, { "step": 12, "refinement": 0, "depth": 4, "target": 24157817, "partial": 24157817, "error": 0, "modulus": 4096, "valuation": null }, { "step": 24, "refinement": 1, "depth": 0, "target": 806515533049393, "partial": 0, "error": 806515533049393, "modulus": 1, "valuation": 0 }, { "step": 24, "refinement": 1, "depth": 1, "target": 806515533049393, "partial": 1, "error": 806515533049392, "modulus": 16, "valuation": 4 }, { "step": 24, "refinement": 1, "depth": 2, "target": 806515533049393, "partial": 225073, "error": 806515532824320, "modulus": 256, "valuation": 8 }, { "step": 24, "refinement": 1, "depth": 3, "target": 806515533049393, "partial": 23336001073, "error": 806492197048320, "modulus": 4096, "valuation": 12 }, { "step": 24, "refinement": 1, "depth": 4, "target": 806515533049393, "partial": 806515533049393, "error": 0, "modulus": 65536, "valuation": null }, { "step": 48, "refinement": 2, "depth": 0, "target": 898923707008479989274290850145, "partial": 0, "error": 898923707008479989274290850145, "modulus": 1, "valuation": 0 }, { "step": 48, "refinement": 2, "depth": 1, "target": 898923707008479989274290850145, "partial": 1, "error": 898923707008479989274290850144, "modulus": 32, "valuation": 5 }, { "step": 48, "refinement": 2, "depth": 2, "target": 898923707008479989274290850145, "partial": 23336226145, "error": 898923707008479989250954624000, "modulus": 1024, "valuation": 10 }, { "step": 48, "refinement": 2, "depth": 3, "target": 898923707008479989274290850145, "partial": 250863430446209042785, "error": 898923706757616558828081807360, "modulus": 32768, "valuation": 15 }, { "step": 48, "refinement": 2, "depth": 4, "target": 898923707008479989274290850145, "partial": 898923707008479989274290850145, "error": 0, "modulus": 1048576, "valuation": null }, { "step": 96, "refinement": 3, "depth": 0, "target": 1116716749392769314599541809794537900642843628817512046429889, "partial": 0, "error": 1116716749392769314599541809794537900642843628817512046429889, "modulus": 1, "valuation": 0 }, { "step": 96, "refinement": 3, "depth": 1, "target": 1116716749392769314599541809794537900642843628817512046429889, "partial": 1, "error": 1116716749392769314599541809794537900642843628817512046429888, "modulus": 64, "valuation": 6 }, { "step": 96, "refinement": 3, "depth": 2, "target": 1116716749392769314599541809794537900642843628817512046429889, "partial": 250863430469545268929, "error": 1116716749392769314599541809794537900642592765387042501160960, "modulus": 4096, "valuation": 12 }, { "step": 96, "refinement": 3, "depth": 3, "target": 1116716749392769314599541809794537900642843628817512046429889, "partial": 28990173918871352324779212747107941910209, "error": 1116716749392769314570551635875666548318064416070404104519680, "modulus": 262144, "valuation": 18 }, { "step": 96, "refinement": 3, "depth": 4, "target": 1116716749392769314599541809794537900642843628817512046429889, "partial": 1116716749392769314599541809794537900642843628817512046429889, "error": 0, "modulus": 16777216, "valuation": null }, { "step": 192, "refinement": 4, "depth": 0, "target": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040257, "partial": 0, "error": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040257, "modulus": 1, "valuation": 0 }, { "step": 192, "refinement": 4, "depth": 1, "target": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040257, "partial": 1, "error": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040256, "modulus": 128, "valuation": 7 }, { "step": 192, "refinement": 4, "depth": 2, "target": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040257, "partial": 28990173918871352325030076177577487179137, "error": 1723389418468725805811011641409217121939398570439856585631105617622267157454929540294635771753501691812489242043433861120, "modulus": 16384, "valuation": 14 }, { "step": 192, "refinement": 4, "depth": 3, "target": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040257, "partial": 387148649634804699770650143908445037403478026396409786250740334093815878031302017, "error": 1723389418468725805811011641409217121939011421790221780931334967478358712417526091258413280838603276508471603742889738240, "modulus": 2097152, "valuation": 21 }, { "step": 192, "refinement": 4, "depth": 4, "target": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040257, "partial": 1723389418468725805811011641409217121939398570439856585631105617622267157454929569284809690624854016842565419620921040257, "error": 0, "modulus": 268435456, "valuation": null } ], "simultaneous_factor": [ [ 521, 322 ], [ 322, 199 ] ], "calculus": { "0": { "integral": [ [ "0" ], [ "1" ] ], "derivative": [ [ "0", "1" ] ], "euler_derivative": [ [ "0", "1" ] ], "connection": [ [ "1" ] ], "inverse_connection": [ [ "1", "1/2" ], [ "0", "1" ] ], "fib_moments": [ "1" ], "euler_moments": [ "1" ] }, "1": { "integral": [ [ "0", "-1/2" ], [ "1", "0" ], [ "0", "1/2" ] ], "derivative": [ [ "0", "1", "0" ], [ "0", "0", "2" ] ], "euler_derivative": [ [ "0", "1", "0" ], [ "0", "0", "2" ] ], "connection": [ [ "1", "-1/2" ], [ "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2" ], [ "0", "1", "1" ], [ "0", "0", "1" ] ], "fib_moments": [ "1", "1/2" ], "euler_moments": [ "1", "0" ] }, "2": { "integral": [ [ "0", "-1/2", "0" ], [ "1", "0", "1/3" ], [ "0", "1/2", "0" ], [ "0", "0", "1/3" ] ], "derivative": [ [ "0", "1", "0", "-1" ], [ "0", "0", "2", "0" ], [ "0", "0", "0", "3" ] ], "euler_derivative": [ [ "0", "1", "0", "0" ], [ "0", "0", "2", "0" ], [ "0", "0", "0", "3" ] ], "connection": [ [ "1", "-1/2", "-1" ], [ "0", "1", "-1" ], [ "0", "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2", "3/2" ], [ "0", "1", "1", "7/2" ], [ "0", "0", "1", "3/2" ], [ "0", "0", "0", "1" ] ], "fib_moments": [ "1", "1/2", "4/3" ], "euler_moments": [ "1", "0", "-1/6" ] }, "3": { "integral": [ [ "0", "-1/2", "0", "-1/2" ], [ "1", "0", "1/3", "0" ], [ "0", "1/2", "0", "1/4" ], [ "0", "0", "1/3", "0" ], [ "0", "0", "0", "1/4" ] ], "derivative": [ [ "0", "1", "0", "-1", "0" ], [ "0", "0", "2", "0", "-2" ], [ "0", "0", "0", "3", "0" ], [ "0", "0", "0", "0", "4" ] ], "euler_derivative": [ [ "0", "1", "0", "0", "0" ], [ "0", "0", "2", "0", "0" ], [ "0", "0", "0", "3", "0" ], [ "0", "0", "0", "0", "4" ] ], "connection": [ [ "1", "-1/2", "-1", "7/4" ], [ "0", "1", "-1", "-2" ], [ "0", "0", "1", "-3/2" ], [ "0", "0", "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2", "3/2", "3" ], [ "0", "1", "1", "7/2", "5" ], [ "0", "0", "1", "3/2", "6" ], [ "0", "0", "0", "1", "2" ], [ "0", "0", "0", "0", "1" ] ], "fib_moments": [ "1", "1/2", "4/3", "5/4" ], "euler_moments": [ "1", "0", "-1/6", "0" ] }, "4": { "integral": [ [ "0", "-1/2", "0", "-1/2", "0" ], [ "1", "0", "1/3", "0", "0" ], [ "0", "1/2", "0", "1/4", "0" ], [ "0", "0", "1/3", "0", "1/5" ], [ "0", "0", "0", "1/4", "0" ], [ "0", "0", "0", "0", "1/5" ] ], "derivative": [ [ "0", "1", "0", "-1", "0", "1" ], [ "0", "0", "2", "0", "-2", "0" ], [ "0", "0", "0", "3", "0", "-3" ], [ "0", "0", "0", "0", "4", "0" ], [ "0", "0", "0", "0", "0", "5" ] ], "euler_derivative": [ [ "0", "1", "0", "0", "0", "0" ], [ "0", "0", "2", "0", "0", "0" ], [ "0", "0", "0", "3", "0", "0" ], [ "0", "0", "0", "0", "4", "0" ], [ "0", "0", "0", "0", "0", "5" ] ], "connection": [ [ "1", "-1/2", "-1", "7/4", "2" ], [ "0", "1", "-1", "-2", "5" ], [ "0", "0", "1", "-3/2", "-3" ], [ "0", "0", "0", "1", "-2" ], [ "0", "0", "0", "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2", "3/2", "3", "4" ], [ "0", "1", "1", "7/2", "5", "23/2" ], [ "0", "0", "1", "3/2", "6", "11" ], [ "0", "0", "0", "1", "2", "9" ], [ "0", "0", "0", "0", "1", "5/2" ], [ "0", "0", "0", "0", "0", "1" ] ], "fib_moments": [ "1", "1/2", "4/3", "5/4", "11/5" ], "euler_moments": [ "1", "0", "-1/6", "0", "1/5" ] }, "5": { "integral": [ [ "0", "-1/2", "0", "-1/2", "0", "-1/3" ], [ "1", "0", "1/3", "0", "0", "0" ], [ "0", "1/2", "0", "1/4", "0", "0" ], [ "0", "0", "1/3", "0", "1/5", "0" ], [ "0", "0", "0", "1/4", "0", "1/6" ], [ "0", "0", "0", "0", "1/5", "0" ], [ "0", "0", "0", "0", "0", "1/6" ] ], "derivative": [ [ "0", "1", "0", "-1", "0", "1", "0" ], [ "0", "0", "2", "0", "-2", "0", "2" ], [ "0", "0", "0", "3", "0", "-3", "0" ], [ "0", "0", "0", "0", "4", "0", "-4" ], [ "0", "0", "0", "0", "0", "5", "0" ], [ "0", "0", "0", "0", "0", "0", "6" ] ], "euler_derivative": [ [ "0", "1", "0", "0", "0", "0", "0" ], [ "0", "0", "2", "0", "0", "0", "0" ], [ "0", "0", "0", "3", "0", "0", "0" ], [ "0", "0", "0", "0", "4", "0", "0" ], [ "0", "0", "0", "0", "0", "5", "0" ], [ "0", "0", "0", "0", "0", "0", "6" ] ], "connection": [ [ "1", "-1/2", "-1", "7/4", "2", "-8" ], [ "0", "1", "-1", "-2", "5", "5" ], [ "0", "0", "1", "-3/2", "-3", "10" ], [ "0", "0", "0", "1", "-2", "-4" ], [ "0", "0", "0", "0", "1", "-5/2" ], [ "0", "0", "0", "0", "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2", "3/2", "3", "4", "7" ], [ "0", "1", "1", "7/2", "5", "23/2", "19" ], [ "0", "0", "1", "3/2", "6", "11", "57/2" ], [ "0", "0", "0", "1", "2", "9", "20" ], [ "0", "0", "0", "0", "1", "5/2", "25/2" ], [ "0", "0", "0", "0", "0", "1", "3" ], [ "0", "0", "0", "0", "0", "0", "1" ] ], "fib_moments": [ "1", "1/2", "4/3", "5/4", "11/5", "8/3" ], "euler_moments": [ "1", "0", "-1/6", "0", "1/5", "0" ] }, "6": { "integral": [ [ "0", "-1/2", "0", "-1/2", "0", "-1/3", "0" ], [ "1", "0", "1/3", "0", "0", "0", "0" ], [ "0", "1/2", "0", "1/4", "0", "0", "0" ], [ "0", "0", "1/3", "0", "1/5", "0", "0" ], [ "0", "0", "0", "1/4", "0", "1/6", "0" ], [ "0", "0", "0", "0", "1/5", "0", "1/7" ], [ "0", "0", "0", "0", "0", "1/6", "0" ], [ "0", "0", "0", "0", "0", "0", "1/7" ] ], "derivative": [ [ "0", "1", "0", "-1", "0", "1", "0", "-1" ], [ "0", "0", "2", "0", "-2", "0", "2", "0" ], [ "0", "0", "0", "3", "0", "-3", "0", "3" ], [ "0", "0", "0", "0", "4", "0", "-4", "0" ], [ "0", "0", "0", "0", "0", "5", "0", "-5" ], [ "0", "0", "0", "0", "0", "0", "6", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "7" ] ], "euler_derivative": [ [ "0", "1", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "2", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "3", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "4", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "5", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "6", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "7" ] ], "connection": [ [ "1", "-1/2", "-1", "7/4", "2", "-8", "-5" ], [ "0", "1", "-1", "-2", "5", "5", "-28" ], [ "0", "0", "1", "-3/2", "-3", "10", "9" ], [ "0", "0", "0", "1", "-2", "-4", "17" ], [ "0", "0", "0", "0", "1", "-5/2", "-5" ], [ "0", "0", "0", "0", "0", "1", "-3" ], [ "0", "0", "0", "0", "0", "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2", "3/2", "3", "4", "7", "21/2" ], [ "0", "1", "1", "7/2", "5", "23/2", "19", "75/2" ], [ "0", "0", "1", "3/2", "6", "11", "57/2", "111/2" ], [ "0", "0", "0", "1", "2", "9", "20", "115/2" ], [ "0", "0", "0", "0", "1", "5/2", "25/2", "65/2" ], [ "0", "0", "0", "0", "0", "1", "3", "33/2" ], [ "0", "0", "0", "0", "0", "0", "1", "7/2" ], [ "0", "0", "0", "0", "0", "0", "0", "1" ] ], "fib_moments": [ "1", "1/2", "4/3", "5/4", "11/5", "8/3", "29/7" ], "euler_moments": [ "1", "0", "-1/6", "0", "1/5", "0", "-17/28" ] }, "7": { "integral": [ [ "0", "-1/2", "0", "-1/2", "0", "-1/3", "0", "-1/4" ], [ "1", "0", "1/3", "0", "0", "0", "0", "0" ], [ "0", "1/2", "0", "1/4", "0", "0", "0", "0" ], [ "0", "0", "1/3", "0", "1/5", "0", "0", "0" ], [ "0", "0", "0", "1/4", "0", "1/6", "0", "0" ], [ "0", "0", "0", "0", "1/5", "0", "1/7", "0" ], [ "0", "0", "0", "0", "0", "1/6", "0", "1/8" ], [ "0", "0", "0", "0", "0", "0", "1/7", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "1/8" ] ], "derivative": [ [ "0", "1", "0", "-1", "0", "1", "0", "-1", "0" ], [ "0", "0", "2", "0", "-2", "0", "2", "0", "-2" ], [ "0", "0", "0", "3", "0", "-3", "0", "3", "0" ], [ "0", "0", "0", "0", "4", "0", "-4", "0", "4" ], [ "0", "0", "0", "0", "0", "5", "0", "-5", "0" ], [ "0", "0", "0", "0", "0", "0", "6", "0", "-6" ], [ "0", "0", "0", "0", "0", "0", "0", "7", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "8" ] ], "euler_derivative": [ [ "0", "1", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "2", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "3", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "4", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "5", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "6", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "7", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "8" ] ], "connection": [ [ "1", "-1/2", "-1", "7/4", "2", "-8", "-5", "381/8" ], [ "0", "1", "-1", "-2", "5", "5", "-28", "-14" ], [ "0", "0", "1", "-3/2", "-3", "10", "9", "-273/4" ], [ "0", "0", "0", "1", "-2", "-4", "17", "14" ], [ "0", "0", "0", "0", "1", "-5/2", "-5", "105/4" ], [ "0", "0", "0", "0", "0", "1", "-3", "-6" ], [ "0", "0", "0", "0", "0", "0", "1", "-7/2" ], [ "0", "0", "0", "0", "0", "0", "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2", "3/2", "3", "4", "7", "21/2", "35/2" ], [ "0", "1", "1", "7/2", "5", "23/2", "19", "75/2", "65" ], [ "0", "0", "1", "3/2", "6", "11", "57/2", "111/2", "243/2" ], [ "0", "0", "0", "1", "2", "9", "20", "115/2", "128" ], [ "0", "0", "0", "0", "1", "5/2", "25/2", "65/2", "205/2" ], [ "0", "0", "0", "0", "0", "1", "3", "33/2", "49" ], [ "0", "0", "0", "0", "0", "0", "1", "7/2", "21" ], [ "0", "0", "0", "0", "0", "0", "0", "1", "4" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "1" ] ], "fib_moments": [ "1", "1/2", "4/3", "5/4", "11/5", "8/3", "29/7", "45/8" ], "euler_moments": [ "1", "0", "-1/6", "0", "1/5", "0", "-17/28", "0" ] }, "8": { "integral": [ [ "0", "-1/2", "0", "-1/2", "0", "-1/3", "0", "-1/4", "0" ], [ "1", "0", "1/3", "0", "0", "0", "0", "0", "0" ], [ "0", "1/2", "0", "1/4", "0", "0", "0", "0", "0" ], [ "0", "0", "1/3", "0", "1/5", "0", "0", "0", "0" ], [ "0", "0", "0", "1/4", "0", "1/6", "0", "0", "0" ], [ "0", "0", "0", "0", "1/5", "0", "1/7", "0", "0" ], [ "0", "0", "0", "0", "0", "1/6", "0", "1/8", "0" ], [ "0", "0", "0", "0", "0", "0", "1/7", "0", "1/9" ], [ "0", "0", "0", "0", "0", "0", "0", "1/8", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "1/9" ] ], "derivative": [ [ "0", "1", "0", "-1", "0", "1", "0", "-1", "0", "1" ], [ "0", "0", "2", "0", "-2", "0", "2", "0", "-2", "0" ], [ "0", "0", "0", "3", "0", "-3", "0", "3", "0", "-3" ], [ "0", "0", "0", "0", "4", "0", "-4", "0", "4", "0" ], [ "0", "0", "0", "0", "0", "5", "0", "-5", "0", "5" ], [ "0", "0", "0", "0", "0", "0", "6", "0", "-6", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "7", "0", "-7" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "8", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "9" ] ], "euler_derivative": [ [ "0", "1", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "2", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "3", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "4", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "5", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "6", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "7", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "8", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "9" ] ], "connection": [ [ "1", "-1/2", "-1", "7/4", "2", "-8", "-5", "381/8", "14" ], [ "0", "1", "-1", "-2", "5", "5", "-28", "-14", "199" ], [ "0", "0", "1", "-3/2", "-3", "10", "9", "-273/4", "-28" ], [ "0", "0", "0", "1", "-2", "-4", "17", "14", "-140" ], [ "0", "0", "0", "0", "1", "-5/2", "-5", "105/4", "20" ], [ "0", "0", "0", "0", "0", "1", "-3", "-6", "38" ], [ "0", "0", "0", "0", "0", "0", "1", "-7/2", "-7" ], [ "0", "0", "0", "0", "0", "0", "0", "1", "-4" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "1" ] ], "inverse_connection": [ [ "1", "1/2", "3/2", "3/2", "3", "4", "7", "21/2", "35/2", "55/2" ], [ "0", "1", "1", "7/2", "5", "23/2", "19", "75/2", "65", "120" ], [ "0", "0", "1", "3/2", "6", "11", "57/2", "111/2", "243/2", "237" ], [ "0", "0", "0", "1", "2", "9", "20", "115/2", "128", "307" ], [ "0", "0", "0", "0", "1", "5/2", "25/2", "65/2", "205/2", "511/2" ], [ "0", "0", "0", "0", "0", "1", "3", "33/2", "49", "168" ], [ "0", "0", "0", "0", "0", "0", "1", "7/2", "21", "70" ], [ "0", "0", "0", "0", "0", "0", "0", "1", "4", "26" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "1", "9/2" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "1" ] ], "fib_moments": [ "1", "1/2", "4/3", "5/4", "11/5", "8/3", "29/7", "45/8", "76/9" ], "euler_moments": [ "1", "0", "-1/6", "0", "1/5", "0", "-17/28", "0", "31/9" ] } }, "calculus_vectors": [ [ "0", "0", "0", "1" ], [ "-1/2", "0", "1/4", "0", "1/4" ], [ "5/8", "3/2", "7/4", "1/2", "1/4" ], [ "3/2", "7/2", "3/2", "1" ], [ "0", "0", "0", "1" ] ] }, "atlas": { "quartic": [ [ "1", "-1", "69", "-33661", "60376809", "-288294050521", "3019098162602349", "-60921822444067346581", "2159058013333667522020689", "-125339574046311949415000577841", "11289082167259099068433198467575829", "-1510335441937894173173702826484473600301", "289629873850381392239396361160662981808211769", "-77275791094224531826986996584033514993271335069961", "27972050667269485341015137743223349743759787662087272509", "-13442836547440633857320890029399501495106155617014573064042821", "8417700441058167005580196630092871189900336890095584308912564902049", "-6756082974274214560113727189126393300251513784871871025568211770083574881", "6850045419939545514108971366288174468022268394339778330495603674674906168444389", "-8661306098006813039549515377699199386584221446381064510630843695260506875868986322141", "13500389356837062913022667063582448194226915774305499770718298112644774492580111768650843529", "-25672197439047078385325983480618036972803422028085315836332656683737179442802856464452158432140601", "58998754897151126630608242022803647104056822251668737133932498493341292473835521799229737248416197043469", "-162466970659669336461445153116205375385144735780115563781136639639047192100576273726688827620952974803477686261", "531901510668682726613891739287476466585812359202788677754089600631115089883614644881855754984353848234277379718388209", "-2055534303698616226889205373404817108047202345990634991124420568443759998338546797535240501910660358286046271721032098015121", "9314881599225760694122932901983887201020174830140907126058002314816804043005083823861781387965025122950498670677882047082075021749", "-49197217096620287752643439909728987217092980511608463671737716866501489885324798423170846476840046728826316155793419098363861991660183181", "301134990973395625521224608751895884524532995163581443689650864395712037756353463495443642869644002782791677494007252144008204582477642466288089", "-2125009358912972651290776806738378998022078725750742593709037613317947047636816624651397673683356729548926151994863689315406766053239778953593108846441", "17203524256702375658333692723339653461786695501690418051022777659545831570830733877779986118769180589773168229679211708148974677525853110594403885114229131229", "-159055950863109873133074980067279217625657700638952960281230655267487285464916949872105912558901864228850216436408597308342823155627580736975801953938108036623860901", "1672263349512972650236675314647698901314177202182825903936426196235974260031272343799789070713414700348594816531339450229577935076234744493466853231203766245350998284495169", "-19913310317362768811366360429110678145798220345454147023955104072759534792656511937612180698378803546141246958102218691269435219426911594837763333170407688578921082577144509882561", "267567325937805768769680895035717776224724961931989890820164727413923031200758945224647695069220892920092276168919455408371469384259899153780148858021985414493786353667688618194471723909", "-4042370057742689522756030730116052657251002475938423444878961578199150038568173019541922307614618945070645942056045771636261420652640946541939781012159118407890521079588531743160633635077967421", "68438826706719451876313662565290032190566277041920023685848323106864764514267054902047004608996979715013252489954329228344661945703386028794657224142729140292941915131573305326996724105834937010961449", "-1294383488243718196400101165258202468397105818765724726416093654171372218748196386553962140579408741792252899317362387319910838716772377503189209552293049860470585329818236299378033255527138595517175279171481", "27266006097673894225015814120742776793919623263982370258040534856592192740456524851946540938402276083341833961412609881916874304569971039143077388200885731926066316828119460615002530490302355658261059618788333551789", "-637896877414043975683913731908484554221111233751454995883450521052905880864962422735052575664244229807378935842571103500384589489706998418813670022173617454649645592290637570748851188043397249956642020987683809169850150741", "16530455588047684288668655529454971911054663686325684362242888806683096937270842020918511334275692292204390931156554573282490668438449862198045492548210631326351731284922397047159411170128563164749312492104765750306777917520438929", "-473279470788973027925194366497692158602806682469228165673418140995885446760129787502228334492983209291889796907330742342659342524076654052805456981500146116718197773552139554456321281613199112335347838352981674779668098119834100730761201", "14934681059450611817042289548820797524869526545011060831876248390358723778571100460018526170627986798321337598751753678965258938527728939481359778324171965970088980226369564138032131400484620651978199991695371810456017577266837324521545588566869", "-518222942837009662659182849414550048666979065968919512010118443832237088962900812848477636585279786054888344187905841369506595352247473262287553884674311805295094445839150370137941365742792611531779063994633993604198945768164451779603622965742513658861", "19729823706532613256249074483633297556246431854589592181223980020950330432240825151469126639599832725595830452346562137260159028879345967322162387765284679164550805168711115745254678775114925875077326633637276380050984907767994229009749520973137700879865279609", "-822436753341590202719365331350088604227554672749573640664262595117136730585010496078019834346802281788487078042317179101782263253694498016252723500776783662153127679415426610919636910949084074240082896568700932501629732519461589072215790403163152489424863267685899721", "37461217342510982542966240673482246763195839932832922576198484936910425774679490701891788833345359914110401036385425604547869971254948161729881449914489596368393544132322900233594196529587042092792987478061908584760944979880438782169291025139418713992368283930001763690721149", "-1860914908111814593901331318258957284749044048828150549431763134082755811277849605507512026042214691446330338937483324183409728527317597238924924815361669870068496154185034637742336975379324573595550129754182131667891613939629837389492385575185354991440590349648948541384239422539781" ], [ "1", "-1/5", "121/45", "-16593/65", "68164277/765", "-2897803647/35", "98704804966333/585", "-96069614320403849/145", "38450638343692710103087/8415", "-124144756442647710402241521/2405", "11684714185585391994711796778807/12915", "-117773730319005420650456613683301/5", "428340558909511656771518081531820489029009/487305", "-12094120007865990206470637587331203379261933/265", "79710094221583352469697650669862681130864688034631/24795", "-1192062364985831086639137148052117811298572836547382053/3965", "308285016754190096542775129257061213342437514364825475011967/8415", "-4606124256705385423751532745272889703146259749657713233199707841/805", "1783851342065527820394284747279614032868073566802132803389530690278850113/1580085", "-106947057083086420138456395834358017438100822779264480474064934543012679857/385", "2642751153345890891011073963445618473226354107358671627883999307777039598478269917/31365", "-58773160801180655541595220571063739677148530597854984290210726514142693873241672652577/1885", "390920116325032415349289458808210396595236524774564726298047522461699160398583865834937969183/28035", "-1158194123265615576087208583138883269969555682534548693968351183891918481123199073080390483917091/155", "2475261291636273457616599826918657205708948609495896062461002733770483768352014638262979262474242944789688883/519954435", "-1807925832728367058419612116595724930725824849994914875496413116294653172174299674890492663390707189196027221/505", "7529570244174342641999482803480797964154036333343604566420118575103246456432629013601622885142855838741234476975773/2385", "-9356625159221889434675615654090237200786924499973610111495664265509077743492904972498928127007696189524447960979504162496139/2883595", "184092923114687190134139277878156037058163630013705739807338841897009983634440206153733315176093755200887009631982321921992550042771/47631195", "-185760447717881873493421170853063299712038778128480946043847199133596630100336545814097077063747296588225492750428642711518590875087/35", "1480255466402782083445440087787941049839318324470062327906671257792577087139721306482377806973427499833941202087348024984195607161542520766928953/177033285", "-526528945934866007788023261062014290630505475639477380698860914341718492997430880151188366822059067922791302461409703119364820676947689744617307/35", "1012462183367220981733969821725362757881726956807529988402580079678365603962985569596630507198489139477983223571003271244164654914461906588775329998076351/32895", "-88083513845517871582876560859014255879277816677209947763822952550081556200412005935675419208815781607671922875022826663533971081960379210718376742177147728567/1235", "185104173582977782287763085554807498380494793864607261100051918481225481628016788610541679077342787537121926640567373337451000320172050908982411659596880838478154134817/992565", "-3736509302683238986547654774978020431206632335967864332663794851335237227539899315293654818788913986480714275555393017052316630440846314704423935390200574910878075811119823/6815", "2377563418953561956112195618866434450183551047614230618767094508000232691140264154484848157648415624802234934929736990160432397095624576659502376460294997572427715461701071434410175789/1316210805", "-4952942697507802827257857911581453059092353054348761445874227648277165168937179134171437551055916846585673230050226451039114850165949107770784919764174452015719994512250664226472068669/745", "13489962939072623410489901563984031465694082089301647553272652159882197547757506770186294733476569503506262675897634196024210033660877605331692926467236091300883740001074488640778191605507611/495", "-67106308428894054643813311352887745501329190646007669930279866923031336461194599986662413005081766076243909014475752842655268241248274183254978723515554606854790553122487139231688889158215373754531193/540865", "451358793912142351793384579407516288777960486314212056628309750774052196465319326422089847861590630062930480015360366348102673385581604770309626028004250011045996288279448339258581705157981670157910257274691/721395", "-1342092091202119204521229214299281328214574645753047609323207577655666129355391021063286227470137377263857122661924310420401049372121766751107166016133923516136627511759026601804066799829496481365425397770768477/385", "6899971578166929765127358091212144992161150949203653241016157601615662955040499305740127321816945242725426393379359548869261019225538019057424666883499396206563898666408784006846041674341189815075507906186642928867462323/322335", "-875214757256632959837136939522057221293411756056792439814626888042005126679656618034666601009946268019448573746638590784976963834701006150775237401921960266988991644379802985407253110578994763020551066756694471851724476033671/6055", "4301802522057839132476749616543834552025367930499183636031387372372925102304065905640820702270030830717946335584112217666709121705796451181403426321224638665373300023841681045853396536595829560150014743209143891201347135280051523146927/4017015", "-230669288426616223436432407795553416189020643057620173007829575839800820195255865367027719061095173015401563590738250779567610639104749217076911862819257634765445690590568766205617446323526253886542936139282351679031263132358980044273171458841/26553605", "8270857871156747311011046544842693911802719139921589146505459837787081724209731429291612945769089753146564228056556896670843047925549015142531173304242312115451384963826322567024703798871256593455768375279669314604902294791990108509551633224572467/107415", "-70712114306091113971405173844176630231598844050831261706938987488858017027292811191034518606203146357202293067651446094535083869178020431096918602387765948480103489107911366952209599702435225728230479653116044838097060333170467986171964937081866538839/95" ], [ "1", "-1/15", "13/45", "-4009/455", "151129/153", "-340474381/1155", "790092547807/4095", "-105849543293501/435", "31748509020715963801/58905", "-125104177406492759818059/63973", "223416161983849362645812071/20295", "-222298976634958370475705431041/2415", "537614723951072282112922088646435017/487305", "-160883024744613894150025080258147485191/8745", "2063979507789183925494281055477379650211519/4959", "-118318733594266620784339626611081721895773642441001/9464455", "4117130074628220384772263671832372718875571175537119/8415", "-59270573348606197110919453571007158194448308453643049889/2415", "3595218281725883935785636926982398000439315320437528651822552790531/2311664355", "-4055873305704904545067042149188110270216001359854635096297820655/33", "28916743426477629453715388981601431139264243207743796657547608462159594689/2415105", "-1268769200075193455132935079063719271350240430981594010976580970797708672819227/891605", "18827831728388359277027089864333953429170279999588973638997034208667091911996275251/92115", "-1124779370421640258030071831790937635070806221494563681774649793175593878239674971807987687/31973865", "748537644750873316357000855112856863553645239319178110948002230815216994881485348060375384967143/103990887", "-28973249361077959276753104511318057257811012132914275734929058991462737792061394603463707260534743/16665", "12918306434603822063016714124740763956247668263457284089858469618737779911919776408860342735062295815451/26235", "-62338110414124730722994619718243854274419177293515260766489317135393899964758976007278309705822174256921076085561/383518135", "749342612641463515339831185411596124139546559197821893042916633344350423790980770137780896975057681630763482683303265967/12050692335", "-373776562253547484595640281433993682681843723969827225490360027179599835879543119958338596880886691188671141076735398323/13629", "533088520058034940669372280246748709293208575462059788529914075411359452512236921340614987105480777132912567094166916314952687917981/38416222845", "-120278621694323538115006842817190148336058037711409978089939445261361293334869464671821534478035484580781231543069533013267582241/15", "23052258556444187010783615729398506427220585761731766799885270306458645487688659214453167189622659595839674365553769794887492299553260780539/4375035", "-52241831492747695972969005766026121294423764725077317513054871964934135404385661547221691658912649884680029271101451138752163394945307855326919831/13321945", "93392350183146618641103618580185626024840691481539762727780477125425524406482318117526741110721492078162358195249345586533859671533639545398346209383/28359", "-49652548916442869816713869711035697264036548016575215524876993008277329987790518276586838647255604287240745138383005583643595688758711352610011625113505563479/15967545", "6329736103492176370737499489027310935513956637494740118180411725888791860021018156985593451416255486755913631453980661421400250689535706636694370846711203162727900139/1923692715", "-165166306908557902735483940229910484830281183830102515637535711822530403408295323369118243128656319729273755062125972971584151602457519823537154799905697321162371686479/42465", "78577065003654409954067551809297529272640570020729490208702888564930744711367712831668104451564025370387352684625885355501979539626507744173896445070422630710909430291501329/15345", "-10301719440733181996392304496483049268122949497368337223813604103657460213214084790034643246103841704641564873255921587204899182932538215457473812975332447945022152106248272513521310093/1375852387", "96231676890024448976887395178152423723020629090901686344060827556464737595013122997768372268371173905477715630212479295027298446289825645678976710909536046140188817662181477160092757337841/7935345", "-39525628017814402257889984163847357483205297806076079154499306578585050098667595546228798245191849351384473977318036941384773405817450868585750867072156715746888883708638790808494680971722058709/1821435", "593197517812626908216434779155637444504304248402353581653415857742245610330484643587937983844669683883429568270742021045934661697679010004640349400274109790771392936842286275222962156679559951675696277/13860405", "-2649440392298673650467456843934192084231185890585777210925365082648906442155765492300538771612258289826342080543257445654251802354614623690479333829793188587793739776023562056674278024731177084658026996751/28545", "28567354013828612918150550229653104979742241015327538695697430411819357011422569843337697871710599920289973985685436069545059942980844397387531151736431672180167173454621768235808567827681087768908942776498169336555/129347883", "-15937762866333946699087991708595909768583155086847248615860502061065263276506934789337916005886253059110869522143568892852784459802114212181326542471813139635103112120705384638379119186413968556263209752757200531458562132271909/27698569893995", "22446454862808316446923472029679328453681871399968964103046362973401801078010641323272182508952816905004007201687975796588270534928389857226617046075186730521014728701718316056721940796541860132421861307962370945567320972585421/13703085", "-10146048968514240420417072122942770176284461192144591065955257372209745344061418591320208609839420562690526518478140715166924731959901084258957502064609455597594074148956964139315216090377634175632681345623482745372738751101088037/1995" ], [ "1", "-1/35", "59/1155", "-407/637", "15330979/522291", "-1557484989/433895", "2124886394237/2207205", "-8437563914319657/16959635", "127117442680162561793/281514849", "-162040323511840066541211/241370129", "1915441147379772202466505036301/1236935283045", "-5301845091288304252926904873291/999260185", "70090995335999084696228448703787457731/2689874382195", "-364625644944906016923378327859079478395/2047882529", "3382795364540505020012162158600314283893790629/2049466740013", "-817559994484718323778081218328157726287628571045591/40244481081805", "126960652524076037883744719114056408330399246740650167169/389709920107585", "-103519572473400897097602294013477328760358240178112061176331/15459001539905", "1144404941623657539314970407381223559407574757383780713398902608727/6581552992773759", "-3413049454645069070656131498930733075716348704849126150710854615895/606163060349", "28121744292100679917920039086939359814069307734286713713124883486935298006997337/125116445465897797065", "-92223533986848478564770931527920630924816868637765474029707610692996045138564030261/8425298889445573135", "29412419553205893446807913353843881091576479556598992968049300511014449095654496468820519/45654403204340724255", "-3555511782831771581844129640370446779781348994257266815273112750257557393384088616352911/78256418386069", "57752580115024802016595346542916777789575489873446299369188845226432474153851011213051110839624511/15160420910559667743", "-41844968350899077824748682488231552354570121156077093663226793980553745758368015034699367167981949607/110988445886788085", "6726875717111523844479394942128773917559699427408568405634606746896246386493932280034793031690722421463310053/153738799010047203645", "-2804007110100414048506361771155607425884204194872944935100671476239082825360051262604883113066198664146174977473727/473777199394449235285", "9738318561341619180684602610187411409570839069239352563706988426102090638921223978030351614806943520675538350545007430557389/10496548133945214571602141", "-168680711383504637955702508097390764796456043397449861501719868017451604133239313171394666961281487333056579974959298009123/1006042869378983513", "9434966448814368181323614666075137268770012856801944465708128372089034799279474450659965496852154853703178152633708632738584703628786809/271408228355624807847905505", "-1809421881058049436543671550225493621881455230558980216616797602214505055432437682675212827203557895824293013494672624281562427914295781/219825542437064283335", "119631075821691529420462936358030087741260484737646563655356462644298856360659470785365994271810919342161129765069509090143299963395402781678987809/53977869421667813010201505", "-2278972949971196106108802542752872503448112311459822975689081409054479142024665010369893129601665367187959893686500400448010349573290346857606012997/3371788104994101884399", "9162175809477339411723206654736549458962800845261518392244075146379716162351533759929193090013200217053283706975970011119353469281361912585588360945057972729/39392928868764724890950929", "-836773226450169451656130214125530215467290110022076957628928612963251314295168644753358147178086570961270815429365371269263689942822623038203108209185431713096767/9298493686136503617330485", "206062778190433643067988459081601149023922803887271370035507680593794327494227487480225574812228750484962286521291316916366012808746857811988841328266983398686860089997977/5281120195714060888952143305", "-776284574561558291386030850934852026399270810047587183834951213438350450196825390066033892396167161575194547881767437821325808099054902532594671942128022986246325806358470739/41074776843162025594329545", "3575556179761700412025438830790015697523589499974288792799116933794773332174594790226435128768584099177179528353877673181548990025423888553153335133002401321521979410481274161085/350693295192471153137061", "-226530994565192101250601871706017750495829982240822656306261663535443003335885298412166107770275502986384698099259391434169942260575315152706394887307840263383384880965496019079580888077/37082644986173198483182111", "3600461745193475823879362729974237491927433420131993665521965189029701744855417848966358369650187476723483086306207554098430293817118655601415297079957160826275761576569956657305694325997609982994921/888086134279816625348063934841545", "-56240591370767669714017248129295502513535402374778687780197228431849636617580934000519750833005145382897021500119244156541084398014693347525360122716983449975734411280112358121406096122450611059326131/18919170337625423394668570585", "20348996738435641295474088068114696999692220498292835687375639674614520194019464524282052170430848206945590691509845563906460189343267298300430873436900127363410512753891960966459864018773753885421561171734241/8470422806704050185871440107545", "-1579951461214215615274314181472565011822038655309686758072054103481260177073871997205714311734492066494697841038279589922187270628986148011749656541357354587444112110164199421709261370461517186636897945839312453/740070872309907594698013079", "6460717016629684421286202817301123671559705108515704852537178042826589588519152938603918771174348302846427366806640447773470809150910352507479666382849465029336193533749112826057957754163274218118562407536378799192718254295/3103786794843160965178716031468359", "-615114552690206674807899876492140587799569713860063323785128457461509096816852558313935799109311544013831054650131080330464644600931487737363298614389950784019458842775172468616147595737286207395107092494826585638904339649008919651/276806333187400213281538748785996505", "193856260942512031590794600678858602159484813641520543093592580169397736800538779414501676532554542216166063955509467794353846994171791216628092412371481354457767989068746171567112727916767141482075866675297678740386966299780509207/74783991257325692346962982255", "-623449854015711597839576727867187952728222843472887793109225599385278169717584129050024953020829994682026806853935416759988710534021242807911009301163802508493884354530257947363222720975929750298287501972847066840135189163617413685967/189048776233750339234151285" ] ], "newton_prefix": [ [ "1", "-2", "72", "-33872", "60511872", "-288596271872", "3020828833231872", "-60942962187494991872", "2159545472464117308751872", "-125359007761871200987442511872", "11290335660164484040718951976271872", "-1510459628735766860488409227738910031872", "289647998620791645783647142213459380243791872" ], [ "1", "-6/5", "184/45", "-51664/195", "896468864/9945", "-1931641974016/23205", "11780547582338048/69615", "-21269288390208886784/32045", "14512720914767161620463616/3172455", "-2021321020229907546383027339264/39126945", "1793914191786150500616090273257357312/1981664685", "-24056203324813429609079608522465713061888/1020857565", "18850047090732867867510258230831011826549915648/21438008865" ], [ "1", "-16/15", "64/45", "-14848/1365", "71426048/69615", "-25509691392/85085", "149113198870528/765765", "-258755046903119872/1057485", "12012538040039675789312/22207185", "-10201887998771773281363034112/5203883685", "7058785610706738390498984671051776/640077693255", "-13706201662525430477648319205030756352/148704918635", "10345966422398673877891093748265304169906176/9368409874005" ], [ "1", "-36/35", "256/231", "-65792/35035", "161644544/4849845", "-20465793138688/5465775315", "16146395563556864/16397325945", "-7434338116581443239936/14741196024555", "39775994440298286068793344/87313237991595", "-9455318038975743053994118873088/13999222491319065", "268695575551406060816104523629076676608/172764404765368581165", "-357199032006759679932997606112447279661056/67106834908862176155", "4454133440374503990174711321847704060398189674496/170518467503418789609855" ] ], "gains": [ 1, 1, 4, 2 ], "original_gains": [ 1, 1, 5, 3 ], "modular_coefficients": [ [ 1, 8191, 69, 7299, 1769, 1319, 365, 1899, 1361, 2255, 4117, 1747, 1849, 5879, 6205, 1723, 6305, 7071, 1509, 4899, 1417, 711, 1293, 6155, 6641, 6255, 437, 371, 473, 2199, 2013, 7003, 2369, 7999, 901, 4547, 7209, 2151, 173, 4267, 1681, 4111, 2901, 1043, 5241, 567, 3965, 6139, 4577, 2783, 6437, 6243, 2761, 5639, 5197, 4427, 2865, 4015, 3317, 3763, 7961, 983, 3869, 7323, 4737, 7807, 1733, 1795, 4457, 2983, 8173, 6635, 2001, 5967, 1685, 339, 441, 3447, 1725, 2363, 2849, 6687, 3173, 7587, 4105, 2375, 909, 2699, 7281, 1775, 6197, 7155, 7257, 7959, 5725, 7643, 7105, 7615, 2565, 7235, 1705, 3815, 7981, 811, 2321, 7823, 469, 7827, 3833, 6327, 7677, 6779, 1121, 2399, 8101, 739, 5449, 7303, 4813, 971, 3505, 7727, 885, 2355, 6553, 6743, 7581, 7963, 1281, 7423, 3397, 4483, 7145, 4647, 7789, 3179, 2641, 1487, 7445, 7123, 7225, 1015, 5437, 3003, 7585, 6303, 4837, 2083, 6793, 4039, 525, 7435, 7921, 5487, 3765, 5747, 5849, 5527, 1245, 91, 3649, 7231, 4229, 1731, 4393, 5479, 7597, 5547, 2961, 3343, 6229, 6419, 2425, 3895, 3197, 7419, 5857, 2015, 1573, 3427, 8137, 775, 4429, 5707, 4145, 3247, 6645, 947, 5145, 4311, 3101, 411, 6017, 7039, 5061, 7171, 1641, 6311, 7405, 7915, 3281, 5199, 5013, 5715, 5817, 6775, 957, 3643, 4129, 5919, 6501, 4771, 1289, 5703, 141, 3979, 369, 1007, 1333, 4339, 4441, 3095, 4957, 731, 193, 6847, 5893, 4419, 7081, 7143, 7213, 2091, 3601, 7055, 3797, 5011, 1017, 1463, 6909, 8059, 2401, 1631, 3237, 6115, 2633, 2439, 4045, 2251, 4785, 6959, 4213, 7731, 3737, 1879, 6813, 1051 ], [ 1, 4915, 1277, 879, 4121, 5899, 469, 3719, 4785, 4707, 4909, 4895, 3017, 2363, 7429, 5431, 8033, 8083, 861, 6351, 4473, 6507, 2613, 487, 1553, 6851, 5517, 5247, 297, 1947, 2405, 5271, 1729, 1011, 2493, 1583, 6873, 5067, 6805, 3399, 369, 6947, 8173, 3551, 7817, 7675, 7621, 3063, 5665, 83, 6173, 2959, 3129, 1579, 4853, 4263, 1233, 4995, 4685, 7999, 1001, 3163, 6693, 6999, 3457, 5299, 3709, 2287, 1433, 4235, 4949, 3079, 4145, 995, 3245, 2207, 4425, 4795, 7813, 695, 3297, 275, 3293, 7759, 1785, 4843, 7093, 8039, 913, 3139, 3853, 2559, 1705, 4379, 2789, 535, 5185, 1395, 4925, 2991, 4185, 3403, 3093, 2759, 7921, 3235, 6509, 863, 1033, 1915, 8005, 6519, 929, 467, 413, 4367, 441, 8107, 1141, 3623, 593, 1283, 3021, 5311, 2409, 5595, 7077, 2263, 6913, 5683, 6141, 3695, 6937, 2571, 1237, 2439, 3505, 5475, 1581, 7711, 5833, 7227, 5, 4151, 6753, 659, 5725, 975, 7289, 3179, 3381, 7399, 273, 7619, 2189, 8063, 3113, 6811, 3173, 3991, 449, 1779, 7357, 4399, 1497, 1739, 7573, 2119, 7281, 7715, 4845, 6367, 2441, 4347, 197, 1783, 4385, 851, 2845, 5775, 5945, 6443, 5621, 2983, 8145, 5763, 1357, 2623, 3817, 8027, 7461, 5719, 2177, 6067, 381, 5103, 4249, 907, 5717, 1799, 2865, 1763, 8109, 5023, 7241, 1467, 389, 7607, 2017, 1043, 8157, 2383, 4601, 1515, 7861, 6759, 7825, 3907, 525, 5375, 4521, 1051, 3557, 7447, 3905, 2163, 1597, 5807, 7001, 75, 3861, 1479, 6641, 4003, 3181, 3679, 3849, 6779, 581, 5239, 7841, 1235, 5277, 7183, 3257, 4779, 1909, 2343, 7505, 2051, 7885, 8127, 5225, 2267, 7845, 983 ], [ 1, 4369, 2913, 7409, 5057, 7633, 2337, 945, 7041, 7825, 6881, 7793, 5953, 4945, 161, 3377, 1793, 7185, 6753, 4081, 2753, 6353, 2081, 1713, 641, 2449, 2529, 4465, 3649, 3665, 8097, 4145, 3585, 1809, 2401, 753, 449, 5073, 1825, 2481, 2433, 5265, 6369, 1137, 1345, 2385, 7841, 4913, 5377, 4625, 6241, 5617, 6337, 3793, 1569, 3249, 4225, 8081, 2017, 6001, 7233, 1105, 7585, 5681, 7169, 7441, 1889, 2289, 4033, 2513, 1313, 4017, 6017, 2705, 5857, 2673, 4929, 8017, 7329, 6449, 769, 2065, 5729, 7153, 1729, 1233, 1057, 4785, 7809, 5521, 1505, 7537, 2625, 6737, 7073, 7217, 2561, 4881, 1377, 3825, 7617, 8145, 801, 5553, 1409, 145, 5345, 4209, 321, 5457, 6817, 7985, 4353, 7697, 5217, 497, 5313, 6865, 545, 6321, 3201, 2961, 993, 881, 6209, 4177, 6561, 561, 6145, 2321, 865, 5361, 3009, 5585, 289, 7089, 4993, 5777, 4833, 5745, 3905, 2897, 6305, 1329, 7937, 5137, 4705, 2033, 705, 4305, 33, 7857, 6785, 401, 481, 2417, 1601, 1617, 6049, 2097, 1537, 7953, 353, 6897, 6593, 3025, 7969, 433, 385, 3217, 4321, 7281, 7489, 337, 5793, 2865, 3329, 2577, 4193, 3569, 4289, 1745, 7713, 1201, 2177, 6033, 8161, 3953, 5185, 7249, 5537, 3633, 5121, 5393, 8033, 241, 1985, 465, 7457, 1969, 3969, 657, 3809, 625, 2881, 5969, 5281, 4401, 6913, 17, 3681, 5105, 7873, 7377, 7201, 2737, 5761, 3473, 7649, 5489, 577, 4689, 5025, 5169, 513, 2833, 7521, 1777, 5569, 6097, 6945, 3505, 7553, 6289, 3297, 2161, 6465, 3409, 4769, 5937, 2305, 5649, 3169, 6641, 3265, 4817, 6689, 4273, 1153, 913, 7137, 7025, 4161, 2129, 4513, 6705 ], [ 1, 4213, 6121, 861, 8145, 6725, 8121, 7469, 8097, 5141, 1929, 1789, 8049, 7653, 3929, 205, 8001, 6069, 5929, 2717, 7953, 389, 7929, 1133, 7905, 6997, 1737, 3645, 7857, 1317, 3737, 2061, 7809, 7925, 5737, 4573, 7761, 2245, 7737, 2989, 7713, 661, 1545, 5501, 7665, 3173, 3545, 3917, 7617, 1589, 5545, 6429, 7569, 4101, 7545, 4845, 7521, 2517, 1353, 7357, 7473, 5029, 3353, 5773, 7425, 3445, 5353, 93, 7377, 5957, 7353, 6701, 7329, 4373, 1161, 1021, 7281, 6885, 3161, 7629, 7233, 5301, 5161, 1949, 7185, 7813, 7161, 365, 7137, 6229, 969, 2877, 7089, 549, 2969, 1293, 7041, 7157, 4969, 3805, 6993, 1477, 6969, 2221, 6945, 8085, 777, 4733, 6897, 2405, 2777, 3149, 6849, 821, 4777, 5661, 6801, 3333, 6777, 4077, 6753, 1749, 585, 6589, 6705, 4261, 2585, 5005, 6657, 2677, 4585, 7517, 6609, 5189, 6585, 5933, 6561, 3605, 393, 253, 6513, 6117, 2393, 6861, 6465, 4533, 4393, 1181, 6417, 7045, 6393, 7789, 6369, 5461, 201, 2109, 6321, 7973, 2201, 525, 6273, 6389, 4201, 3037, 6225, 709, 6201, 1453, 6177, 7317, 9, 3965, 6129, 1637, 2009, 2381, 6081, 53, 4009, 4893, 6033, 2565, 6009, 3309, 5985, 981, 8009, 5821, 5937, 3493, 1817, 4237, 5889, 1909, 3817, 6749, 5841, 4421, 5817, 5165, 5793, 2837, 7817, 7677, 5745, 5349, 1625, 6093, 5697, 3765, 3625, 413, 5649, 6277, 5625, 7021, 5601, 4693, 7625, 1341, 5553, 7205, 1433, 7949, 5505, 5621, 3433, 2269, 5457, 8133, 5433, 685, 5409, 6549, 7433, 3197, 5361, 869, 1241, 1613, 5313, 7477, 3241, 4125, 5265, 1797, 5241, 2541, 5217, 213, 7241, 5053, 5169, 2725, 1049, 3469 ] ], "modulus": 8192, "phi_residues": [ [ 0, 255, 34, 65, 116, 147, 182, 181, 168, 103, 10, 105, 156, 123, 30, 93, 80, 207, 242, 145, 196, 99, 134, 5, 248, 55, 218, 185, 236, 75, 238, 173, 160, 159, 194, 225, 20, 51, 86, 85, 72, 7, 170, 9, 60, 27, 190, 253, 240, 111, 146, 49, 100, 3, 38, 165, 152, 215, 122, 89, 140, 235, 142, 77, 64, 63, 98, 129, 180, 211, 246, 245, 232, 167, 74, 169, 220, 187, 94, 157, 144, 15, 50, 209, 4, 163, 198, 69, 56, 119, 26, 249, 44, 139, 46, 237, 224, 223, 2, 33, 84, 115, 150, 149, 136, 71, 234, 73, 124, 91, 254, 61, 48, 175, 210, 113, 164, 67, 102, 229, 216, 23, 186, 153, 204, 43, 206, 141, 128, 127, 162, 193, 244, 19, 54, 53, 40, 231, 138, 233, 28, 251, 158, 221, 208, 79, 114, 17, 68, 227, 6, 133, 120, 183, 90, 57, 108, 203, 110, 45, 32, 31, 66, 97, 148, 179, 214, 213, 200, 135, 42, 137, 188, 155, 62, 125, 112, 239, 18, 177, 228, 131, 166, 37, 24, 87, 250, 217, 12, 107, 14, 205, 192, 191, 226, 1, 52, 83, 118, 117, 104, 39, 202, 41, 92, 59, 222, 29, 16, 143, 178, 81, 132, 35, 70, 197, 184, 247, 154, 121, 172, 11, 174, 109, 96, 95, 130, 161, 212, 243, 22, 21, 8, 199, 106, 201, 252, 219, 126, 189, 176, 47, 82, 241, 36, 195, 230, 101, 88, 151, 58, 25, 76, 171, 78, 13 ], [ 0, 153, 126, 183, 12, 133, 234, 67, 88, 49, 150, 143, 228, 157, 130, 155, 176, 201, 174, 103, 188, 181, 26, 243, 8, 97, 198, 63, 148, 205, 178, 75, 96, 249, 222, 23, 108, 229, 74, 163, 184, 145, 246, 239, 68, 253, 226, 251, 16, 41, 14, 199, 28, 21, 122, 83, 104, 193, 38, 159, 244, 45, 18, 171, 192, 89, 62, 119, 204, 69, 170, 3, 24, 241, 86, 79, 164, 93, 66, 91, 112, 137, 110, 39, 124, 117, 218, 179, 200, 33, 134, 255, 84, 141, 114, 11, 32, 185, 158, 215, 44, 165, 10, 99, 120, 81, 182, 175, 4, 189, 162, 187, 208, 233, 206, 135, 220, 213, 58, 19, 40, 129, 230, 95, 180, 237, 210, 107, 128, 25, 254, 55, 140, 5, 106, 195, 216, 177, 22, 15, 100, 29, 2, 27, 48, 73, 46, 231, 60, 53, 154, 115, 136, 225, 70, 191, 20, 77, 50, 203, 224, 121, 94, 151, 236, 101, 202, 35, 56, 17, 118, 111, 196, 125, 98, 123, 144, 169, 142, 71, 156, 149, 250, 211, 232, 65, 166, 31, 116, 173, 146, 43, 64, 217, 190, 247, 76, 197, 42, 131, 152, 113, 214, 207, 36, 221, 194, 219, 240, 9, 238, 167, 252, 245, 90, 51, 72, 161, 6, 127, 212, 13, 242, 139, 160, 57, 30, 87, 172, 37, 138, 227, 248, 209, 54, 47, 132, 61, 34, 59, 80, 105, 78, 7, 92, 85, 186, 147, 168, 1, 102, 223, 52, 109, 82, 235 ], [ 0, 17, 182, 207, 60, 221, 146, 59, 184, 233, 174, 231, 116, 53, 10, 211, 112, 193, 166, 255, 172, 141, 130, 107, 40, 153, 158, 23, 228, 229, 250, 3, 224, 113, 150, 47, 28, 61, 114, 155, 152, 73, 142, 71, 84, 149, 234, 51, 80, 33, 134, 95, 140, 237, 98, 203, 8, 249, 126, 119, 196, 69, 218, 99, 192, 209, 118, 143, 252, 157, 82, 251, 120, 169, 110, 167, 52, 245, 202, 147, 48, 129, 102, 191, 108, 77, 66, 43, 232, 89, 94, 215, 164, 165, 186, 195, 160, 49, 86, 239, 220, 253, 50, 91, 88, 9, 78, 7, 20, 85, 170, 243, 16, 225, 70, 31, 76, 173, 34, 139, 200, 185, 62, 55, 132, 5, 154, 35, 128, 145, 54, 79, 188, 93, 18, 187, 56, 105, 46, 103, 244, 181, 138, 83, 240, 65, 38, 127, 44, 13, 2, 235, 168, 25, 30, 151, 100, 101, 122, 131, 96, 241, 22, 175, 156, 189, 242, 27, 24, 201, 14, 199, 212, 21, 106, 179, 208, 161, 6, 223, 12, 109, 226, 75, 136, 121, 254, 247, 68, 197, 90, 227, 64, 81, 246, 15, 124, 29, 210, 123, 248, 41, 238, 39, 180, 117, 74, 19, 176, 1, 230, 63, 236, 205, 194, 171, 104, 217, 222, 87, 36, 37, 58, 67, 32, 177, 214, 111, 92, 125, 178, 219, 216, 137, 206, 135, 148, 213, 42, 115, 144, 97, 198, 159, 204, 45, 162, 11, 72, 57, 190, 183, 4, 133, 26, 163 ], [ 0, 87, 238, 133, 220, 179, 202, 225, 184, 15, 166, 61, 148, 107, 130, 153, 112, 199, 94, 245, 76, 35, 58, 81, 40, 127, 22, 173, 4, 219, 242, 9, 224, 55, 206, 101, 188, 147, 170, 193, 152, 239, 134, 29, 116, 75, 98, 121, 80, 167, 62, 213, 44, 3, 26, 49, 8, 95, 246, 141, 228, 187, 210, 233, 192, 23, 174, 69, 156, 115, 138, 161, 120, 207, 102, 253, 84, 43, 66, 89, 48, 135, 30, 181, 12, 227, 250, 17, 232, 63, 214, 109, 196, 155, 178, 201, 160, 247, 142, 37, 124, 83, 106, 129, 88, 175, 70, 221, 52, 11, 34, 57, 16, 103, 254, 149, 236, 195, 218, 241, 200, 31, 182, 77, 164, 123, 146, 169, 128, 215, 110, 5, 92, 51, 74, 97, 56, 143, 38, 189, 20, 235, 2, 25, 240, 71, 222, 117, 204, 163, 186, 209, 168, 255, 150, 45, 132, 91, 114, 137, 96, 183, 78, 229, 60, 19, 42, 65, 24, 111, 6, 157, 244, 203, 226, 249, 208, 39, 190, 85, 172, 131, 154, 177, 136, 223, 118, 13, 100, 59, 82, 105, 64, 151, 46, 197, 28, 243, 10, 33, 248, 79, 230, 125, 212, 171, 194, 217, 176, 7, 158, 53, 140, 99, 122, 145, 104, 191, 86, 237, 68, 27, 50, 73, 32, 119, 14, 165, 252, 211, 234, 1, 216, 47, 198, 93, 180, 139, 162, 185, 144, 231, 126, 21, 108, 67, 90, 113, 72, 159, 54, 205, 36, 251, 18, 41 ] ], "permutations": [ { "address": 0, "bits": 1, "size": 2, "bijection": true }, { "address": 0, "bits": 2, "size": 4, "bijection": true }, { "address": 0, "bits": 3, "size": 8, "bijection": true }, { "address": 0, "bits": 4, "size": 16, "bijection": true }, { "address": 0, "bits": 5, "size": 32, "bijection": true }, { "address": 0, "bits": 6, "size": 64, "bijection": true }, { "address": 0, "bits": 7, "size": 128, "bijection": true }, { "address": 0, "bits": 8, "size": 256, "bijection": true }, { "address": 1, "bits": 1, "size": 2, "bijection": true }, { "address": 1, "bits": 2, "size": 4, "bijection": true }, { "address": 1, "bits": 3, "size": 8, "bijection": true }, { "address": 1, "bits": 4, "size": 16, "bijection": true }, { "address": 1, "bits": 5, "size": 32, "bijection": true }, { "address": 1, "bits": 6, "size": 64, "bijection": true }, { "address": 1, "bits": 7, "size": 128, "bijection": true }, { "address": 1, "bits": 8, "size": 256, "bijection": true }, { "address": 2, "bits": 1, "size": 2, "bijection": true }, { "address": 2, "bits": 2, "size": 4, "bijection": true }, { "address": 2, "bits": 3, "size": 8, "bijection": true }, { "address": 2, "bits": 4, "size": 16, "bijection": true }, { "address": 2, "bits": 5, "size": 32, "bijection": true }, { "address": 2, "bits": 6, "size": 64, "bijection": true }, { "address": 2, "bits": 7, "size": 128, "bijection": true }, { "address": 2, "bits": 8, "size": 256, "bijection": true }, { "address": 3, "bits": 1, "size": 2, "bijection": true }, { "address": 3, "bits": 2, "size": 4, "bijection": true }, { "address": 3, "bits": 3, "size": 8, "bijection": true }, { "address": 3, "bits": 4, "size": 16, "bijection": true }, { "address": 3, "bits": 5, "size": 32, "bijection": true }, { "address": 3, "bits": 6, "size": 64, "bijection": true }, { "address": 3, "bits": 7, "size": 128, "bijection": true }, { "address": 3, "bits": 8, "size": 256, "bijection": true } ], "periods": [ { "address": 0, "bits": 0, "least_period": 1 }, { "address": 0, "bits": 1, "least_period": 1 }, { "address": 0, "bits": 2, "least_period": 2 }, { "address": 0, "bits": 3, "least_period": 4 }, { "address": 0, "bits": 4, "least_period": 8 }, { "address": 0, "bits": 5, "least_period": 16 }, { "address": 0, "bits": 6, "least_period": 32 }, { "address": 0, "bits": 7, "least_period": 64 }, { "address": 0, "bits": 8, "least_period": 128 }, { "address": 1, "bits": 0, "least_period": 1 }, { "address": 1, "bits": 1, "least_period": 1 }, { "address": 1, "bits": 2, "least_period": 2 }, { "address": 1, "bits": 3, "least_period": 4 }, { "address": 1, "bits": 4, "least_period": 8 }, { "address": 1, "bits": 5, "least_period": 16 }, { "address": 1, "bits": 6, "least_period": 32 }, { "address": 1, "bits": 7, "least_period": 64 }, { "address": 1, "bits": 8, "least_period": 128 }, { "address": 2, "bits": 0, "least_period": 1 }, { "address": 2, "bits": 1, "least_period": 1 }, { "address": 2, "bits": 2, "least_period": 1 }, { "address": 2, "bits": 3, "least_period": 1 }, { "address": 2, "bits": 4, "least_period": 1 }, { "address": 2, "bits": 5, "least_period": 1 }, { "address": 2, "bits": 6, "least_period": 2 }, { "address": 2, "bits": 7, "least_period": 4 }, { "address": 2, "bits": 8, "least_period": 8 }, { "address": 3, "bits": 0, "least_period": 1 }, { "address": 3, "bits": 1, "least_period": 1 }, { "address": 3, "bits": 2, "least_period": 1 }, { "address": 3, "bits": 3, "least_period": 1 }, { "address": 3, "bits": 4, "least_period": 2 }, { "address": 3, "bits": 5, "least_period": 4 }, { "address": 3, "bits": 6, "least_period": 8 }, { "address": 3, "bits": 7, "least_period": 16 }, { "address": 3, "bits": 8, "least_period": 32 } ], "inverse_trace": [ { "bits": 1, "modulus": 2, "low": 0, "low_image": 0, "high": 1, "high_image": 1, "target": 1, "chosen": 1 }, { "bits": 2, "modulus": 4, "low": 1, "low_image": 1, "high": 3, "high_image": 3, "target": 1, "chosen": 1 }, { "bits": 3, "modulus": 8, "low": 1, "low_image": 1, "high": 5, "high_image": 5, "target": 5, "chosen": 5 }, { "bits": 4, "modulus": 16, "low": 5, "low_image": 13, "high": 13, "high_image": 5, "target": 13, "chosen": 5 }, { "bits": 5, "modulus": 32, "low": 5, "low_image": 29, "high": 21, "high_image": 13, "target": 13, "chosen": 21 }, { "bits": 6, "modulus": 64, "low": 21, "low_image": 13, "high": 53, "high_image": 45, "target": 13, "chosen": 21 } ], "inverse_address": 2, "inverse_target": 13, "inverse_bits": 6, "inverse_index": 21, "modes": [ { "prime": 3, "source": [ 0, 2, 2 ], "weights": [ 2, 1, 1 ], "values": [ 1, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2 ] }, { "prime": 5, "source": [ 0, 3, 0, 0, 3 ], "weights": [ 1, 1, 4, 4, 1 ], "values": [ 1, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 4, 0, 0 ] }, { "prime": 7, "source": [ 0, 4, 0, 0, 0, 0, 4 ], "weights": [ 6, 1, 1, 6, 6, 1, 1 ], "values": [ 1, 0, 6, 0, 5, 0, 2, 0, 6, 0, 5, 0, 2, 0, 6, 0, 5, 0, 2, 0, 6, 0, 5, 0, 2 ] } ], "inverse_row_witness": { "index": 21, "address": 2, "modulus": 2048, "diagonal": 3655, "inverse_diagonal": 887, "summands": [ 1, 1107, 1250, 1838, 465, 1243, 1080, 1736, 1954, 614, 1964, 1268, 1098, 1358, 1400, 520, 829, 295, 962, 270, 1285 ], "sum": 9, "normalized": 209, "original": 418 }, "stirling_first": [ [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, -1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 2, -3, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, -6, 11, -6, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 24, -50, 35, -10, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, -120, 274, -225, 85, -15, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 720, -1764, 1624, -735, 175, -21, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, -5040, 13068, -13132, 6769, -1960, 322, -28, 1, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 40320, -109584, 118124, -67284, 22449, -4536, 546, -36, 1, 0, 0, 0, 0, 0, 0, 0 ], [ 0, -362880, 1026576, -1172700, 723680, -269325, 63273, -9450, 870, -45, 1, 0, 0, 0, 0, 0, 0 ], [ 0, 3628800, -10628640, 12753576, -8409500, 3416930, -902055, 157773, -18150, 1320, -55, 1, 0, 0, 0, 0, 0 ], [ 0, -39916800, 120543840, -150917976, 105258076, -45995730, 13339535, -2637558, 357423, -32670, 1925, -66, 1, 0, 0, 0, 0 ], [ 0, 479001600, -1486442880, 1931559552, -1414014888, 657206836, -206070150, 44990231, -6926634, 749463, -55770, 2717, -78, 1, 0, 0, 0 ], [ 0, -6227020800, 19802759040, -26596717056, 20313753096, -9957703756, 3336118786, -790943153, 135036473, -16669653, 1474473, -91091, 3731, -91, 1, 0, 0 ], [ 0, 87178291200, -283465647360, 392156797824, -310989260400, 159721605680, -56663366760, 14409322928, -2681453775, 368411615, -37312275, 2749747, -143325, 5005, -105, 1, 0 ], [ 0, -1307674368000, 4339163001600, -6165817614720, 5056995703824, -2706813345600, 1009672107080, -272803210680, 54631129553, -8207628000, 928095740, -78558480, 4899622, -218400, 6580, -120, 1 ] ], "stirling_second": [ [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 7, 6, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 15, 25, 10, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 31, 90, 65, 15, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 63, 301, 350, 140, 21, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 127, 966, 1701, 1050, 266, 28, 1, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 255, 3025, 7770, 6951, 2646, 462, 36, 1, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 511, 9330, 34105, 42525, 22827, 5880, 750, 45, 1, 0, 0, 0, 0, 0, 0 ], [ 0, 1, 1023, 28501, 145750, 246730, 179487, 63987, 11880, 1155, 55, 1, 0, 0, 0, 0, 0 ], [ 0, 1, 2047, 86526, 611501, 1379400, 1323652, 627396, 159027, 22275, 1705, 66, 1, 0, 0, 0, 0 ], [ 0, 1, 4095, 261625, 2532530, 7508501, 9321312, 5715424, 1899612, 359502, 39325, 2431, 78, 1, 0, 0, 0 ], [ 0, 1, 8191, 788970, 10391745, 40075035, 63436373, 49329280, 20912320, 5135130, 752752, 66066, 3367, 91, 1, 0, 0 ], [ 0, 1, 16383, 2375101, 42355950, 210766920, 420693273, 408741333, 216627840, 67128490, 12662650, 1479478, 106470, 4550, 105, 1, 0 ], [ 0, 1, 32767, 7141686, 171798901, 1096190550, 2734926558, 3281882604, 2141764053, 820784250, 193754990, 28936908, 2757118, 165620, 6020, 120, 1 ] ], "full_euler": [ 1, 0, -1, 0, 5, 0, -61, 0, 1385, 0, -50521, 0, 2702765, 0, -199360981, 0, 19391512145, 0, -2404879675441, 0, 370371188237525, 0, -69348874393137901, 0, 15514534163557086905 ], "logarithmic_euler": [ 1, 0, -1, 3, -6, 0, 90, -630, 2520, 0, -113400, 1247400, -7484400, 0, 681080400, -10216206000, 81729648000 ], "logarithmic_ordinary": [ "1", "0", "-1/2", "1/2", "-1/4", "0", "1/8", "-1/8", "1/16", "0", "-1/32", "1/32", "-1/64", "0", "1/128", "-1/128", "1/256" ], "derivative_pullback": [ "0", "-1", "1/2", "1/2", "-1", "3/4", "-1/8", "-3/8", "1/2", "-5/16", "1/32", "5/32", "-3/16", "7/64", "-1/128", "-7/128", "1/16" ] }, "edge": { "carries": [ { "r": 1, "binary_ones": 1, "cutoff": 0, "mu": 0, "minimizing_addresses": [ 0 ], "reduction_mod_2": [ 1 ] }, { "r": 3, "binary_ones": 2, "cutoff": 0, "mu": 0, "minimizing_addresses": [ 0 ], "reduction_mod_2": [ 1 ] }, { "r": 7, "binary_ones": 3, "cutoff": 0, "mu": 0, "minimizing_addresses": [ 0 ], "reduction_mod_2": [ 1 ] }, { "r": 15, "binary_ones": 4, "cutoff": 1, "mu": 0, "minimizing_addresses": [ 0, 1 ], "reduction_mod_2": [ 1, 1 ] }, { "r": 31, "binary_ones": 5, "cutoff": 1, "mu": -1, "minimizing_addresses": [ 1 ], "reduction_mod_2": [ 0, 1 ] }, { "r": 63, "binary_ones": 6, "cutoff": 1, "mu": -2, "minimizing_addresses": [ 1 ], "reduction_mod_2": [ 0, 1 ] }, { "r": 127, "binary_ones": 7, "cutoff": 2, "mu": -3, "minimizing_addresses": [ 1 ], "reduction_mod_2": [ 0, 1 ] }, { "r": 254, "binary_ones": 7, "cutoff": 2, "mu": 0, "minimizing_addresses": [ 0, 2 ], "reduction_mod_2": [ 1, 1, 1 ] }, { "r": 255, "binary_ones": 8, "cutoff": 2, "mu": -4, "minimizing_addresses": [ 1 ], "reduction_mod_2": [ 0, 1 ] } ], "rows": [ { "r": 1, "N": 1, "x": 0, "retained_depth": 0, "partial": "5/3", "tail": "-8/3", "H": "1", "H_valuation": 0, "tail_valuation": 3, "binomial_valuation": 0, "minimum_summand_valuation": 3, "omitted_weights": [ 3 ] }, { "r": 1, "N": 2, "x": 1, "retained_depth": 0, "partial": "91/15", "tail": "-16/15", "H": "1/15", "H_valuation": 0, "tail_valuation": 4, "binomial_valuation": 1, "minimum_summand_valuation": 4, "omitted_weights": [ 4, 7 ] }, { "r": 1, "N": 3, "x": 2, "retained_depth": 0, "partial": "205/7", "tail": "-632/7", "H": "79/35", "H_valuation": 0, "tail_valuation": 3, "binomial_valuation": 0, "minimum_summand_valuation": 3, "omitted_weights": [ 3, 7, 11 ] }, { "r": 1, "N": 4, "x": 3, "retained_depth": 0, "partial": "7381/45", "tail": "54944/45", "H": "-1717/105", "H_valuation": 0, "tail_valuation": 5, "binomial_valuation": 2, "minimum_summand_valuation": 5, "omitted_weights": [ 5, 8, 13, 15 ] }, { "r": 1, "N": 5, "x": 4, "retained_depth": 0, "partial": "33215/33", "tail": "-1700408/33", "H": "212551/495", "H_valuation": 0, "tail_valuation": 3, "binomial_valuation": 0, "minimum_summand_valuation": 3, "omitted_weights": [ 3, 8, 12, 15, 19 ] }, { "r": 1, "N": 6, "x": 5, "retained_depth": 0, "partial": "597871/91", "tail": "245353744/91", "H": "-15334609/1001", "H_valuation": 0, "tail_valuation": 4, "binomial_valuation": 1, "minimum_summand_valuation": 4, "omitted_weights": [ 4, 7, 13, 15, 20, 23 ] }, { "r": 1, "N": 7, "x": 6, "retained_depth": 0, "partial": "134521/3", "tail": "-598217464/3", "H": "5752091/7", "H_valuation": 0, "tail_valuation": 3, "binomial_valuation": 0, "minimum_summand_valuation": 3, "omitted_weights": [ 3, 7, 11, 15, 19, 23, 27 ] }, { "r": 1, "N": 8, "x": 7, "retained_depth": 0, "partial": "48427561/153", "tail": "2966852930624/153", "H": "-46357077041/765", "H_valuation": 0, "tail_valuation": 6, "binomial_valuation": 3, "minimum_summand_valuation": 6, "omitted_weights": [ 6, 9, 14, 16, 22, 25, 30, 31 ] }, { "r": 1, "N": 9, "x": 8, "retained_depth": 0, "partial": "43584805/19", "tail": "-45692757418184/19", "H": "5711594677273/969", "H_valuation": 0, "tail_valuation": 3, "binomial_valuation": 0, "minimum_summand_valuation": 3, "omitted_weights": [ 3, 9, 13, 16, 20, 25, 29, 31, 35 ] }, { "r": 2, "N": 2, "x": 0, "retained_depth": 1, "partial": "-103/5", "tail": "128/5", "H": "1", "H_valuation": 0, "tail_valuation": 7, "binomial_valuation": 0, "minimum_summand_valuation": 7, "omitted_weights": [ 7 ] }, { "r": 2, "N": 3, "x": 1, "retained_depth": 1, "partial": "-4481/21", "tail": "3200/21", "H": "25/63", "H_valuation": 0, "tail_valuation": 7, "binomial_valuation": 0, "minimum_summand_valuation": 7, "omitted_weights": [ 7, 11 ] }, { "r": 2, "N": 4, "x": 2, "retained_depth": 1, "partial": "-91019/45", "tail": "153344/45", "H": "599/315", "H_valuation": 0, "tail_valuation": 8, "binomial_valuation": 1, "minimum_summand_valuation": 8, "omitted_weights": [ 8, 13, 15 ] }, { "r": 2, "N": 5, "x": 3, "retained_depth": 1, "partial": "-616313/33", "tail": "-1050880/33", "H": "-4105/693", "H_valuation": 0, "tail_valuation": 8, "binomial_valuation": 1, "minimum_summand_valuation": 8, "omitted_weights": [ 8, 12, 15, 19 ] }, { "r": 2, "N": 6, "x": 4, "retained_depth": 1, "partial": "-46567427/273", "tail": "784422272/273", "H": "6128299/27027", "H_valuation": 0, "tail_valuation": 7, "binomial_valuation": 0, "minimum_summand_valuation": 7, "omitted_weights": [ 7, 13, 15, 20, 23 ] }, { "r": 2, "N": 7, "x": 5, "retained_depth": 1, "partial": "-4648447/3", "tail": "-593434496/3", "H": "-23181035/3003", "H_valuation": 0, "tail_valuation": 7, "binomial_valuation": 0, "minimum_summand_valuation": 7, "omitted_weights": [ 7, 11, 15, 19, 23, 27 ] }, { "r": 2, "N": 8, "x": 6, "retained_depth": 1, "partial": "-2146955159/153", "tail": "2969048313344/153", "H": "5798922487/13923", "H_valuation": 0, "tail_valuation": 9, "binomial_valuation": 2, "minimum_summand_valuation": 9, "omitted_weights": [ 9, 14, 16, 22, 25, 30, 31 ] }, { "r": 2, "N": 9, "x": 7, "retained_depth": 1, "partial": "-7230234857/57", "tail": "-137070911265280/57", "H": "-267716623565/8721", "H_valuation": 0, "tail_valuation": 9, "binomial_valuation": 2, "minimum_summand_valuation": 9, "omitted_weights": [ 9, 13, 16, 20, 25, 29, 31, 35 ] }, { "r": 2, "N": 10, "x": 8, "retained_depth": 1, "partial": "-88186588783/77", "tail": "28518669680878208/77", "H": "222802106881861/74613", "H_valuation": 0, "tail_valuation": 7, "binomial_valuation": 0, "minimum_summand_valuation": 7, "omitted_weights": [ 7, 14, 16, 21, 24, 30, 31, 36, 39 ] }, { "r": 3, "N": 3, "x": 0, "retained_depth": 2, "partial": "8959/21", "tail": "-10240/21", "H": "1", "H_valuation": 0, "tail_valuation": 11, "binomial_valuation": 0, "minimum_summand_valuation": 11, "omitted_weights": [ 11 ] }, { "r": 3, "N": 4, "x": 1, "retained_depth": 2, "partial": "398197/45", "tail": "-335872/45", "H": "41/75", "H_valuation": 0, "tail_valuation": 13, "binomial_valuation": 2, "minimum_summand_valuation": 13, "omitted_weights": [ 13, 15 ] }, { "r": 3, "N": 5, "x": 2, "retained_depth": 2, "partial": "4579207/33", "tail": "-6246400/33", "H": "61/33", "H_valuation": 0, "tail_valuation": 12, "binomial_valuation": 1, "minimum_summand_valuation": 12, "omitted_weights": [ 12, 15, 19 ] }, { "r": 3, "N": 6, "x": 3, "retained_depth": 2, "partial": "2604301169/1365", "tail": "1084973056/1365", "H": "-132443/75075", "H_valuation": 0, "tail_valuation": 13, "binomial_valuation": 2, "minimum_summand_valuation": 13, "omitted_weights": [ 13, 15, 20, 23 ] }, { "r": 3, "N": 7, "x": 4, "retained_depth": 2, "partial": "72729217/3", "tail": "-670812160/3", "H": "65509/429", "H_valuation": 0, "tail_valuation": 11, "binomial_valuation": 0, "minimum_summand_valuation": 11, "omitted_weights": [ 11, 15, 19, 23, 27 ] }, { "r": 3, "N": 8, "x": 5, "retained_depth": 2, "partial": "44687867497/153", "tail": "2922213490688/153", "H": "-178357757/36465", "H_valuation": 0, "tail_valuation": 14, "binomial_valuation": 3, "minimum_summand_valuation": 14, "omitted_weights": [ 14, 16, 22, 25, 30, 31 ] }, { "r": 3, "N": 9, "x": 6, "retained_depth": 2, "partial": "192988669207/57", "tail": "-137271130169344/57", "H": "16756729757/62985", "H_valuation": 0, "tail_valuation": 13, "binomial_valuation": 2, "minimum_summand_valuation": 13, "omitted_weights": [ 13, 16, 20, 25, 29, 31, 35 ] }, { "r": 3, "N": 10, "x": 7, "retained_depth": 2, "partial": "8804179016755/231", "tail": "85546940303851520/231", "H": "-1044274173631/53295", "H_valuation": 0, "tail_valuation": 14, "binomial_valuation": 3, "minimum_summand_valuation": 14, "omitted_weights": [ 14, 16, 21, 24, 30, 31, 36, 39 ] }, { "r": 3, "N": 11, "x": 8, "retained_depth": 2, "partial": "9642506126517/23", "tail": "-1595033753548298240/23", "H": "155765014994951/81719", "H_valuation": 0, "tail_valuation": 11, "binomial_valuation": 0, "minimum_summand_valuation": 11, "omitted_weights": [ 11, 16, 20, 24, 28, 31, 35, 39, 43 ] }, { "r": 4, "N": 4, "x": 0, "retained_depth": 3, "partial": "-208601/15", "tail": "229376/15", "H": "1", "H_valuation": 0, "tail_valuation": 15, "binomial_valuation": 0, "minimum_summand_valuation": 15, "omitted_weights": [ 15 ] }, { "r": 4, "N": 5, "x": 1, "retained_depth": 3, "partial": "-5307091/11", "tail": "4751360/11", "H": "145/231", "H_valuation": 0, "tail_valuation": 15, "binomial_valuation": 0, "minimum_summand_valuation": 15, "omitted_weights": [ 15, 19 ] }, { "r": 4, "N": 6, "x": 2, "retained_depth": 3, "partial": "-15406834831/1365", "tail": "19096109056/1365", "H": "582767/315315", "H_valuation": 0, "tail_valuation": 15, "binomial_valuation": 0, "minimum_summand_valuation": 15, "omitted_weights": [ 15, 20, 23 ] }, { "r": 4, "N": 7, "x": 3, "retained_depth": 3, "partial": "-1943441533/9", "tail": "149192704/9", "H": "22765/63063", "H_valuation": 0, "tail_valuation": 15, "binomial_valuation": 0, "minimum_summand_valuation": 15, "omitted_weights": [ 15, 19, 23, 27 ] }, { "r": 4, "N": 8, "x": 4, "retained_depth": 3, "partial": "-556647121303/153", "tail": "3523548479488/153", "H": "53765083/459459", "H_valuation": 0, "tail_valuation": 16, "binomial_valuation": 1, "minimum_summand_valuation": 16, "omitted_weights": [ 16, 22, 25, 30, 31 ] }, { "r": 4, "N": 9, "x": 5, "retained_depth": 3, "partial": "-22378722794591/399", "tail": "-937168267706368/399", "H": "-71500264565/20369349", "H_valuation": 0, "tail_valuation": 16, "binomial_valuation": 1, "minimum_summand_valuation": 16, "omitted_weights": [ 16, 20, 25, 29, 31, 35 ] }, { "r": 4, "N": 10, "x": 6, "retained_depth": 3, "partial": "-62321805356015/77", "tail": "28580903299645440/77", "H": "436109974665/2263261", "H_valuation": 0, "tail_valuation": 16, "binomial_valuation": 1, "minimum_summand_valuation": 16, "omitted_weights": [ 16, 21, 24, 30, 31, 36, 39 ] }, { "r": 4, "N": 11, "x": 7, "retained_depth": 3, "partial": "-2297000210705827/207", "tail": "-14352919999168839680/207", "H": "-219008178698255/15444891", "H_valuation": 0, "tail_valuation": 16, "binomial_valuation": 1, "minimum_summand_valuation": 16, "omitted_weights": [ 16, 20, 24, 28, 31, 35, 39, 43 ] }, { "r": 4, "N": 12, "x": 8, "retained_depth": 3, "partial": "-47459286845736739/325", "tail": "5042271062442898980864/325", "H": "7327519098834663/5311735", "H_valuation": 0, "tail_valuation": 15, "binomial_valuation": 0, "minimum_summand_valuation": 15, "omitted_weights": [ 15, 22, 25, 30, 31, 37, 40, 45, 47 ] }, { "r": 5, "N": 5, "x": 0, "retained_depth": 4, "partial": "7308589/11", "tail": "-7864320/11", "H": "1", "H_valuation": 0, "tail_valuation": 19, "binomial_valuation": 0, "minimum_summand_valuation": 19, "omitted_weights": [ 19 ] }, { "r": 5, "N": 6, "x": 1, "retained_depth": 4, "partial": "47275432817/1365", "tail": "-43586158592/1365", "H": "41567/61425", "H_valuation": 0, "tail_valuation": 20, "binomial_valuation": 1, "minimum_summand_valuation": 20, "omitted_weights": [ 20, 23 ] }, { "r": 5, "N": 7, "x": 2, "retained_depth": 4, "partial": "10160041859/9", "tail": "-11954290688/9", "H": "22801/12285", "H_valuation": 0, "tail_valuation": 19, "binomial_valuation": 0, "minimum_summand_valuation": 19, "omitted_weights": [ 19, 23, 27 ] }, { "r": 5, "N": 8, "x": 3, "retained_depth": 4, "partial": "21911216191501/765", "tail": "-7076709400576/765", "H": "1687219/1044225", "H_valuation": 0, "tail_valuation": 22, "binomial_valuation": 3, "minimum_summand_valuation": 22, "omitted_weights": [ 22, 25, 30, 31 ] }, { "r": 5, "N": 9, "x": 4, "retained_depth": 4, "partial": "246345857000353/399", "tail": "-1205892847501312/399", "H": "1150029037/11904165", "H_valuation": 0, "tail_valuation": 20, "binomial_valuation": 1, "minimum_summand_valuation": 20, "omitted_weights": [ 20, 25, 29, 31, 35 ] }, { "r": 5, "N": 10, "x": 5, "retained_depth": 4, "partial": "912175553516561/77", "tail": "27606405940772864/77", "H": "-13163760157/4849845", "H_valuation": 0, "tail_valuation": 21, "binomial_valuation": 2, "minimum_summand_valuation": 21, "omitted_weights": [ 21, 24, 30, 31, 36, 39 ] }, { "r": 5, "N": 11, "x": 6, "retained_depth": 4, "partial": "43090222713754205/207", "tail": "-14398307222093299712/207", "H": "13731295797437/91265265", "H_valuation": 0, "tail_valuation": 20, "binomial_valuation": 1, "minimum_summand_valuation": 20, "omitted_weights": [ 20, 24, 28, 31, 35, 39, 43 ] }, { "r": 5, "N": 12, "x": 7, "retained_depth": 4, "partial": "3328409846532352663/975", "tail": "15123342399621627379712/975", "H": "-212099165069659/19173375", "H_valuation": 0, "tail_valuation": 22, "binomial_valuation": 3, "minimum_summand_valuation": 22, "omitted_weights": [ 22, 25, 30, 31, 37, 40, 45, 47 ] }, { "r": 5, "N": 13, "x": 8, "retained_depth": 4, "partial": "1429478591954400653/27", "tail": "-110352387229506299494400/27", "H": "8419218996391777/7822737", "H_valuation": 0, "tail_valuation": 19, "binomial_valuation": 0, "minimum_summand_valuation": 19, "omitted_weights": [ 19, 25, 29, 31, 35, 40, 44, 47, 51 ] }, { "r": 6, "N": 6, "x": 0, "retained_depth": 5, "partial": "-60072535183/1365", "tail": "63761809408/1365", "H": "1", "H_valuation": 0, "tail_valuation": 23, "binomial_valuation": 0, "minimum_summand_valuation": 23, "omitted_weights": [ 23 ] }, { "r": 6, "N": 7, "x": 1, "retained_depth": 5, "partial": "-28914618493/9", "tail": "27120369664/9", "H": "16165/22803", "H_valuation": 0, "tail_valuation": 23, "binomial_valuation": 0, "minimum_summand_valuation": 23, "omitted_weights": [ 23, 27 ] }, { "r": 6, "N": 8, "x": 2, "retained_depth": 5, "partial": "-106354270144499/765", "tail": "121188776935424/765", "H": "328337/176205", "H_valuation": 0, "tail_valuation": 25, "binomial_valuation": 2, "minimum_summand_valuation": 25, "omitted_weights": [ 25, 30, 31 ] }, { "r": 6, "N": 9, "x": 3, "retained_depth": 5, "partial": "-1801048692071519/399", "tail": "841501701570560/399", "H": "125393525/51557583", "H_valuation": 0, "tail_valuation": 25, "binomial_valuation": 2, "minimum_summand_valuation": 25, "omitted_weights": [ 25, 29, 31, 35 ] }, { "r": 6, "N": 10, "x": 4, "retained_depth": 5, "partial": "-9324951295814639/77", "tail": "37843532790104064/77", "H": "2255650329/27006353", "H_valuation": 0, "tail_valuation": 24, "binomial_valuation": 1, "minimum_summand_valuation": 24, "omitted_weights": [ 24, 30, 31, 36, 39 ] }, { "r": 6, "N": 11, "x": 5, "retained_depth": 5, "partial": "-585650410906889635/207", "tail": "-13769566588472655872/207", "H": "-4103650626085/1863438357", "H_valuation": 0, "tail_valuation": 24, "binomial_valuation": 1, "minimum_summand_valuation": 24, "omitted_weights": [ 24, 28, 31, 35, 39, 43 ] }, { "r": 6, "N": 12, "x": 6, "retained_depth": 5, "partial": "-57973813324166911337/975", "tail": "15184644622792326643712/975", "H": "26619863199473/215906405", "H_valuation": 0, "tail_valuation": 25, "binomial_valuation": 2, "minimum_summand_valuation": 25, "omitted_weights": [ 25, 30, 31, 37, 40, 45, 47 ] }, { "r": 6, "N": 13, "x": 7, "retained_depth": 5, "partial": "-31024640227397356147/27", "tail": "-110319933110686947737600/27", "H": "-4602906297295145/508210461", "H_valuation": 0, "tail_valuation": 25, "binomial_valuation": 2, "minimum_summand_valuation": 25, "omitted_weights": [ 25, 29, 31, 35, 40, 44, 47, 51 ] }, { "r": 6, "N": 14, "x": 8, "retained_depth": 5, "partial": "-9021080343041088452761/435", "tail": "544741965090922032567156736/435", "H": "64938302646985296317/73690516845", "H_valuation": 0, "tail_valuation": 23, "binomial_valuation": 0, "minimum_summand_valuation": 23, "omitted_weights": [ 23, 30, 31, 36, 39, 45, 47, 52, 55 ] }, { "r": 7, "N": 7, "x": 0, "retained_depth": 6, "partial": "11615730305/3", "tail": "-12213813248/3", "H": "1", "H_valuation": 0, "tail_valuation": 27, "binomial_valuation": 0, "minimum_summand_valuation": 27, "omitted_weights": [ 27 ] }, { "r": 7, "N": 8, "x": 1, "retained_depth": 6, "partial": "19213587098147/51", "tail": "-18224619978752/51", "H": "16973/23205", "H_valuation": 0, "tail_valuation": 30, "binomial_valuation": 3, "minimum_summand_valuation": 30, "omitted_weights": [ 30, 31 ] }, { "r": 7, "N": 9, "x": 2, "retained_depth": 6, "partial": "8331723011810209/399", "tail": "-9291270002311168/399", "H": "17306339/9258795", "H_valuation": 0, "tail_valuation": 29, "binomial_valuation": 2, "minimum_summand_valuation": 29, "omitted_weights": [ 29, 31, 35 ] }, { "r": 7, "N": 10, "x": 3, "retained_depth": 6, "partial": "2924644945386964733/3465", "tail": "-1641308778143940608/3465", "H": "1528587917/509233725", "H_valuation": 0, "tail_valuation": 30, "binomial_valuation": 3, "minimum_summand_valuation": 30, "omitted_weights": [ 30, 31, 36, 39 ] }, { "r": 7, "N": 11, "x": 4, "retained_depth": 6, "partial": "5707748190167847517/207", "tail": "-20062965189547393024/207", "H": "74740369579/1003917915", "H_valuation": 0, "tail_valuation": 28, "binomial_valuation": 1, "minimum_summand_valuation": 28, "omitted_weights": [ 28, 31, 35, 39, 43 ] }, { "r": 7, "N": 12, "x": 5, "retained_depth": 6, "partial": "1752750507142578966027/2275", "tail": "33542814714949793742848/2275", "H": "-1837598856481/995169175", "H_valuation": 0, "tail_valuation": 30, "binomial_valuation": 3, "minimum_summand_valuation": 30, "omitted_weights": [ 30, 31, 37, 40, 45, 47 ] }, { "r": 7, "N": 13, "x": 6, "retained_depth": 6, "partial": "3606074273858352707291/189", "tail": "-776062778530258768363520/189", "H": "289105913985617/2768379705", "H_valuation": 0, "tail_valuation": 29, "binomial_valuation": 2, "minimum_summand_valuation": 29, "omitted_weights": [ 29, 31, 35, 40, 44, 47, 51 ] }, { "r": 7, "N": 14, "x": 7, "retained_depth": 6, "partial": "186639198829085773760359/435", "tail": "544546304811749905704943616/435", "H": "-507148266594624059/66167317125", "H_valuation": 0, "tail_valuation": 30, "binomial_valuation": 3, "minimum_summand_valuation": 30, "omitted_weights": [ 30, 31, 36, 39, 45, 47, 52, 55 ] }, { "r": 7, "N": 15, "x": 8, "retained_depth": 6, "partial": "9119563705912877362672517/1023", "tail": "-451708522357456548835780198400/1023", "H": "134619630085663959037/180504441117", "H_valuation": 0, "tail_valuation": 27, "binomial_valuation": 0, "minimum_summand_valuation": 27, "omitted_weights": [ 27, 31, 35, 39, 43, 47, 51, 55, 59 ] }, { "r": 8, "N": 8, "x": 0, "retained_depth": 7, "partial": "-7437792648351/17", "tail": "7767448354816/17", "H": "1", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31 ] }, { "r": 8, "N": 9, "x": 1, "retained_depth": 7, "partial": "-21824328463260767/399", "tail": "20864781472759808/399", "H": "9715921/12988647", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31, 35 ] }, { "r": 8, "N": 10, "x": 2, "retained_depth": 7, "partial": "-13088360410096171267/3465", "tail": "14371696577339195392/3465", "H": "6692342729/3571877925", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31, 36, 39 ] }, { "r": 8, "N": 11, "x": 3, "retained_depth": 7, "partial": "-38494135194594487715/207", "tail": "24138918195214942208/207", "H": "11240559721/3286127691", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31, 35, 39, 43 ] }, { "r": 8, "N": 12, "x": 4, "retained_depth": 7, "partial": "-49593093107436779197919/6825", "tail": "155479788773713897324544/6825", "H": "72400918590703/1067991499575", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31, 37, 40, 45, 47 ] }, { "r": 8, "N": 13, "x": 5, "retained_depth": 7, "partial": "-45217731728896710281509/189", "tail": "-727238972527503705374720/189", "H": "-67729407225503/42719659983", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31, 35, 40, 44, 47, 51 ] }, { "r": 8, "N": 14, "x": 6, "retained_depth": 7, "partial": "-2999114734905813577791641/435", "tail": "547732058745484805056495616/435", "H": "255057615575140717/2815613953425", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31, 36, 39, 45, 47, 52, 55 ] }, { "r": 8, "N": 15, "x": 7, "retained_depth": 7, "partial": "-182587868147483317706460283/1023", "tail": "-451516814925603152640711065600/1023", "H": "-8410156051173864913/1266098054661", "H_valuation": 0, "tail_valuation": 31, "binomial_valuation": 0, "minimum_summand_valuation": 31, "omitted_weights": [ 31, 35, 39, 43, 47, 51, 55, 59 ] }, { "r": 8, "N": 16, "x": 8, "retained_depth": 7, "partial": "-249138247965648864104994398279/58905", "tail": "10457028899240727493130844429615104/58905", "H": "2434716769317334399821899/3766641712616475", "H_valuation": 0, "tail_valuation": 32, "binomial_valuation": 1, "minimum_summand_valuation": 32, "omitted_weights": [ 32, 39, 42, 47, 49, 55, 58, 63, 63 ] }, { "r": 15, "N": 15, "x": 0, "retained_depth": 14, "partial": "140872240147532929113905503676579/7161", "tail": "-144034135967089183565614426357760/7161", "H": "1", "H_valuation": 0, "tail_valuation": 59, "binomial_valuation": 0, "minimum_summand_valuation": 59, "omitted_weights": [ 59 ] }, { "r": 15, "N": 16, "x": 1, "retained_depth": 14, "partial": "480699295819853833185675305660620729/58905", "tail": "-470242516058861071341408566225403904/58905", "H": "50983795750606688/63714146236056975", "H_valuation": 5, "tail_valuation": 68, "binomial_valuation": 4, "minimum_summand_valuation": 63, "omitted_weights": [ 63, 63 ] }, { "r": 15, "N": 17, "x": 2, "retained_depth": 14, "partial": "15122147133866672831740438322775703/9", "tail": "-15848656826989663914299952549855232/9", "H": "24056407427919181/12742829247211395", "H_valuation": 0, "tail_valuation": 62, "binomial_valuation": 3, "minimum_summand_valuation": 62, "omitted_weights": [ 62, 63, 67 ] }, { "r": 15, "N": 18, "x": 3, "retained_depth": 14, "partial": "217623951529731917913482647438340964118007/959595", "tail": "-178067468538232428545389001521199140831232/959595", "H": "19306113623814580959754/4075985077159272861675", "H_valuation": 1, "tail_valuation": 64, "binomial_valuation": 4, "minimum_summand_valuation": 63, "omitted_weights": [ 63, 63, 68, 71 ] }, { "r": 15, "N": 19, "x": 4, "retained_depth": 14, "partial": "18544888034716973130772132232933827027129/819", "tail": "-37782854486365278789174733836840765227008/819", "H": "963864774513433483087/20551185262987930395", "H_valuation": 0, "tail_valuation": 61, "binomial_valuation": 2, "minimum_summand_valuation": 61, "omitted_weights": [ 61, 63, 67, 71, 75 ] }, { "r": 15, "N": 20, "x": 5, "retained_depth": 14, "partial": "12129722445058089563749757833473689114627029/6765", "tail": "88338312162989750257189207792736728405508096/6765", "H": "-5157200997890100249485668/6733587068860190698225", "H_valuation": 2, "tail_valuation": 65, "binomial_valuation": 4, "minimum_summand_valuation": 63, "omitted_weights": [ 63, 63, 69, 72, 77, 79 ] }, { "r": 15, "N": 21, "x": 6, "retained_depth": 14, "partial": "15204223415458885018824160376132767697488327/129", "tail": "-1352240556039488848421160652688261758641504256/129", "H": "3225424726878244688665728179/68437730390779029096505", "H_valuation": 0, "tail_valuation": 62, "binomial_valuation": 3, "minimum_summand_valuation": 62, "omitted_weights": [ 62, 63, 67, 72, 76, 79, 83 ] }, { "r": 31, "N": 31, "x": 0, "retained_depth": 30, "partial": "7895666566377598599938884819403053663974216550399270818056359511694917736785/3", "tail": "-7978937871483813341730985762128168246321915609183673570790460859995587084288/3", "H": "1", "H_valuation": 0, "tail_valuation": 123, "binomial_valuation": 0, "minimum_summand_valuation": 123, "omitted_weights": [ 123 ] }, { "r": 31, "N": 32, "x": 1, "retained_depth": 30, "partial": "381915452196515915151522459322131056499080954223369887166891899468179692090836629/85", "tail": "-378060013413464394571668973853047796697941045994214905811967047741956517951176704/85", "H": "317433864313804025741108781668937628103299/382671212854442169240159069963819343157610", "H_valuation": -1, "tail_valuation": 127, "binomial_valuation": 5, "minimum_summand_valuation": 127, "omitted_weights": [ 128, 127 ] }, { "r": 31, "N": 33, "x": 2, "retained_depth": 30, "partial": "1955855454268282483833960954666991486121164274526209524751929001756625770079816928222279/550137", "tail": "-1999240821614285452285017716736728302239758072669138762181263149615574007881782773415936/550137", "H": "82171199011919621730168288336493688769674264134/43342680917139110635732756820847052173731960235", "H_valuation": 1, "tail_valuation": 128, "binomial_valuation": 4, "minimum_summand_valuation": 127, "omitted_weights": [ 127, 127, 131 ] }, { "r": 31, "N": 34, "x": 3, "retained_depth": 30, "partial": "12604895457420680922128826829495430978175577344969066033148392108808577503259344037645249/7245", "tail": "-11549889832079564619902021673657573821510395755810574343661578538478949508942532312039424/7245", "H": "67884151251146535442444390645669199404991372644333/12396006742301785641819568450762256921687340627210", "H_valuation": -1, "tail_valuation": 127, "binomial_valuation": 5, "minimum_summand_valuation": 127, "omitted_weights": [ 128, 127, 132, 135 ] }, { "r": 31, "N": 35, "x": 4, "retained_depth": 30, "partial": "4201317192287681165887987828308628724623091172091314404158015744726085886891018424237664095/7029", "tail": "-6204946176567052430856612698362949541998501266550670485269989465597051312113507032895586304/7029", "H": "10419827396729888938907393316441792507372410651553673/296365753032786568967176008980979264974626929485235", "H_valuation": 0, "tail_valuation": 126, "binomial_valuation": 3, "minimum_summand_valuation": 126, "omitted_weights": [ 126, 127, 131, 135, 139 ] }, { "r": 31, "N": 36, "x": 5, "retained_depth": 30, "partial": "119636972624039532730456835044545231309051040456054283635870083846282987324259100514941848706415433/770554785", "tail": "335433204371136198620786166912605818875018015340831824308100424926896330719389376932858652988014592/770554785", "H": "-1971499184082442191357607100785622515554771305741198552700439/6458837752593105730140322713545356873874229449426011768470", "H_valuation": -1, "tail_valuation": 127, "binomial_valuation": 5, "minimum_summand_valuation": 127, "omitted_weights": [ 128, 127, 133, 136, 141, 143 ] }, { "r": 31, "N": 37, "x": 6, "retained_depth": 30, "partial": "1828104658827623309514342549188512152682987367338138218204578179903307230533148222782106615854599/57057", "tail": "-75601303016394589285596090382142846964007048676977526122218150352547764105460128446654325578530816/57057", "H": "444344523052879020661645860359158945756512295134701128525372/19572235613918502212546432465288960223861301361897005359", "H_valuation": 2, "tail_valuation": 129, "binomial_valuation": 4, "minimum_summand_valuation": 127, "omitted_weights": [ 127, 127, 131, 136, 140, 143, 147 ] }, { "r": 63, "N": 63, "x": 0, "retained_depth": 62, "partial": "2500399957154411873028809077712656217171870103231218268201076069321666748518136910610538077085894941373843944749487590223545024945865046808402471734000284754374828479576271830835685602692923150521/2178939", "tail": "-2513199577497940195378931726276289373648251099529937457231966489439979406191885198665121485285434744569735807473467295845204734545974002302049643295340996391735304152728317277937776051234013184000/2178939", "H": "1", "H_valuation": 0, "tail_valuation": 251, "binomial_valuation": 0, "minimum_summand_valuation": 251, "omitted_weights": [ 251 ] }, { "r": 63, "N": 64, "x": 1, "retained_depth": 62, "partial": "34750569818467174512314879987833990102088598676770699390239040467435621978968224708914445610012339687996759121517467330389427829720507268581489269171436457916378908248990136521193252850786532874919291/4375035", "tail": "-34581250120925233733596712658956535126627383430141238528678069041581348761685304382361028811732206604783736234336430357873648060766144578573754002254938301888679812229192620598291925150086043654946816/4375035", "H": "597299009780380928578351391343687532363688499091298692767771111438682020316197353012132425977756473529979695412837153543537/708432110948532543453581362137166301017009831658660273966589743802533271516064895114123281041652528933240393009843821472500", "H_valuation": -2, "tail_valuation": 255, "binomial_valuation": 6, "minimum_summand_valuation": 255, "omitted_weights": [ 257, 255 ] }, { "r": 63, "N": 65, "x": 2, "retained_depth": 62, "partial": "103149300363144393026099438618595939825312462749123123515646885662176117177373806553528498496648854289497907426710716246540531007021658188019693832334074390930303084353929074122802288753351722539657299013/4188987", "tail": "-104251165071968038015269161198772643711435587216461815498621117248495422910789240919512368220882243051236915501095554302506929629591072568059581999563069988564005633186404206934361330645367409044451491840/4188987", "H": "193917367242628754114669976521584534647822652721213992244730171752953780536400613196221685485581799965649571882870138082172239/102085067187683539511661074283965663976551116742012945478585582081945044425464951385945164798102129419279940632718494674187250", "H_valuation": -1, "tail_valuation": 255, "binomial_valuation": 5, "minimum_summand_valuation": 255, "omitted_weights": [ 256, 255, 259 ] }, { "r": 63, "N": 66, "x": 3, "retained_depth": 62, "partial": "217776323410978842390790142967400100026027652466387754166894707382905474363077989713083762563221132612695265680365590509295736967969993811736476259354391702920116289406670446952347953718666839436867446757745553/4755934365", "tail": "-209009130028743929693298546305259684580874477788710683520677339741753023010820361007887696982662132411142685028535760897067059313465264129409193724107027811134474499804271492768610203249410814746335303673315328/4755934365", "H": "3610076152963768721504575452437002428195899764909826295696831494098144282990320876350580512664318707240938562154079763673393878215771/620337945794495518601255578009640857754148718246799418820993172973773539409186275904773977541448587459118632044225713155091264372500", "H_valuation": -2, "tail_valuation": 255, "binomial_valuation": 6, "minimum_summand_valuation": 255, "omitted_weights": [ 257, 255, 260, 263 ] }, { "r": 63, "N": 67, "x": 4, "retained_depth": 62, "partial": "55804626016733763051791852468383595673834049284058417407991505349700092416623889950051135351690898132595460500850750190536305119000982590500699271023104385283403452386079875882572343128130023563639913087214541/960687", "tail": "-68596180730947855813975603785087908103976199263144318313570091807080351618549155175886967437158049031788706124932987553855040733828358934815651301272430707739637241792575919420010094836665701584356559539929088/960687", "H": "1184816358056374656634797794578429488585606885886482979349357853793223871273917782055756455179401211993338568548366322123143669568466/39878867943931854767223572872048340855623846173008534067063846834028298962019117736735469984807409193800483488557367274255866995375", "H_valuation": 1, "tail_valuation": 256, "binomial_valuation": 4, "minimum_summand_valuation": 255, "omitted_weights": [ 255, 255, 259, 263, 267 ] }, { "r": 63, "N": 68, "x": 5, "retained_depth": 62, "partial": "2562614654666648077858038010691985892526037648792020576989209024430638921353567389337211773981873259108625196744621386406112096440863194663352576600659595324290161573994210429387821600635849849515926055123288457/47265", "tail": "2120275857992058646650152293252755307857454782996600150752969882539843006717428284297732959447689817557781233416400410981096162636392046102325680728960949566953344549211720984053743427161241838525650294924115968/47265", "H": "-256354835700836753762555619122763775323231744640236128154902813411247437791483900480937361591294396488185355252663501539193329922341507/2801746106830084155440835632549037280625880474719061111378331803211218952716214938427056096368520543359316019452491957216950655572500", "H_valuation": -2, "tail_valuation": 255, "binomial_valuation": 6, "minimum_summand_valuation": 255, "omitted_weights": [ 257, 255, 261, 264, 269, 271 ] }, { "r": 63, "N": 69, "x": 6, "retained_depth": 62, "partial": "489026323988293672364987181996044416592462225460562502885626515318864363773801698583995080841581465073597515259943620382727768832300626839245364356641717342118244445869255442841048325881497486338286189897255596938277/12484563", "tail": "-9966827338332814952109426367692087044136122499574397306171502460578741876060045027147071806301763918585452884845810710738768475138717646686605629958772422065262213057909655408538339122657357764467966815441678982184960/12484563", "H": "34430080341346206355320220822988587657836319919249523696814237583583069925760008514483805526336605124399664024867740057736676506542535441969/3028448119543282764840078374649636928079868763385283614359549803644507820084814417344909328107953761070442639113754229166088755617850850", "H_valuation": -1, "tail_valuation": 255, "binomial_valuation": 5, "minimum_summand_valuation": 255, "omitted_weights": [ 256, 255, 259, 264, 268, 271, 275 ] } ], "cancellation_witness": { "r": 15, "N": 16, "x": 1, "retained_depth": 14, "partial": "480699295819853833185675305660620729/58905", "tail": "-470242516058861071341408566225403904/58905", "H": "50983795750606688/63714146236056975", "H_valuation": 5, "tail_valuation": 68, "binomial_valuation": 4, "minimum_summand_valuation": 63, "omitted_weights": [ 63, 63 ] }, "kernel": { "1": "-8/3", "2": "128/5", "3": "-10240/21", "4": "229376/15", "5": "-7864320/11", "6": "63761809408/1365", "7": "-12213813248/3", "8": "7767448354816/17", "15": "-144034135967089183565614426357760/7161", "31": "-7978937871483813341730985762128168246321915609183673570790460859995587084288/3" } }, "references": { "secant": { "id": "A000364", "offset": 0, "url": "https://oeis.org/A000364/b000364.txt", "checked": "2026-10-29" }, "quartic": { "id": "A211212", "offset": 0, "url": "https://oeis.org/A211212", "checked": "2026-10-29" } }, "bounds": { "reciprocal_spacing": [ 2, 6 ], "reciprocal_index": [ 0, 10 ], "reciprocal_parameters": [ "-2", "-1", "0", "1/2", "1", "2", "3" ], "addition_spacing": [ 2, 6 ], "addition_index": [ 0, 8 ], "quartic_bridge_secant_index": [ 0, 40 ], "quartic_packet_index": [ 0, 11 ], "permutation_dp_spacing": [ 2, 6 ], "permutation_dp_block_count": [ 0, 8 ], "enumeration_cases": [ [ 2, 0 ], [ 2, 4 ], [ 2, 6 ], [ 2, 8 ], [ 4, 4 ], [ 4, 8 ] ], "euler_polynomial_degree": [ 0, 12 ], "newton_precision": 32, "alternating_power_lengths": [ 0, 1, 2, 3, 5, 6 ], "alternating_power_starts": [ "-1/2", "0", "1", "3/2" ], "local_charts": [ 1, 2, 3, 5, 7, 9 ], "local_even_degree": [ 0, 20 ], "dyadic_sharp_depth": [ 0, 9 ], "bernoulli_degree": [ 0, 20 ], "local_matrix_size": 12, "packet_block_size": 6, "pascal_matrix_size": 12, "sampling_matrix_spacings": [ 1, 3 ], "sampling_matrix_orders": [ 0, 3 ], "base_change_charts": [ 2, 3, 5, 7 ], "base_change_matrix_size": 8, "base_change_all_triples": true, "congruential_family_spacing": [ 1, 6 ], "congruential_addresses": "every 0<=j