Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t17_x20_u4_b79 17 20 4 79 eql(R,mlt(P,cil(R))) 115000 138859120 o2(x,o2(x,o1(x))) true 80007 80007 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 0 0 0 0 0 0 0 json
t17_x20_u4_b80 17 20 4 80 eql(R,div(P,cil(R))) 115001 138859121 o2(x,o2(x,o1(x))) true 80015 80015 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 0 0 0 0 0 0 0 json
t17_x20_u4_b81 17 20 4 81 eql(R,pow(P,cil(R))) 115002 138859122 o2(x,o2(x,o1(x))) true 80023 80023 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 0 0 0 0 0 0 0 json
t17_x20_u4_b82 17 20 4 82 eql(R,mod(P,cil(R))) 115003 138859123 o2(x,o2(x,o1(x))) true 80031 80031 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 0 0 0 0 0 0 0 json
t17_x20_u4_b83 17 20 4 83 eql(R,lrg(P,cil(R))) 115004 138859124 o2(x,o2(x,o1(x))) true 80039 80039 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 0 0 0 0 0 0 0 json
t17_x20_u4_b84 17 20 4 84 eql(R,eql(P,cil(R))) 115005 138859125 o2(x,o2(x,o1(x))) true 80047 80047 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 0 0 0 0 0 0 0 json
t17_x20_u4_b85 17 20 4 85 eql(R,min(P,cil(R))) 115006 138859126 o2(x,o2(x,o1(x))) true 80055 80055 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 0 0 0 0 0 0 0 json
t17_x20_u4_b86 17 20 4 86 eql(R,dot(P,cil(R))) 115007 138859127 o2(x,o2(x,o1(x))) true 80063 80063 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 0 0 0 0 0 0 0 json
t17_x20_u4_b87 17 20 4 87 eql(R,dst(P,cil(R))) 115008 138859128 o2(x,o2(x,o1(x))) true 80071 80071 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 0 0 0 0 0 0 0 json
t17_x20_u4_b88 17 20 4 88 min(R,add(P,cil(R))) 115009 138859129 o2(x,o2(x,o1(x))) true 80079 80079 -0.4484 0.2512 0.6439 0.3424 0.5851 -1 0.9806 1.981 1 3.779 0.001986 0.001713 0.0388 0.07381 1 -0.00001141 0.0002741 0.009308 0.002194 0.04684 1.207 0.2265 0.01081 0.0008006 1 1 0.007773 0.09961 0.3115 0.0227 0.2909 0.9099 json
t17_x20_u4_b89 17 20 4 89 min(R,sub(P,cil(R))) 115010 138859130 o2(x,o2(x,o1(x))) true 80087 80087 -0.5489 0.1827 0.685 0.2975 0.5454 -1 0.9806 1.981 1 3.422 0.00135 0.001251 0.03023 0.0379 1 0.00001728 0.0001722 0.007217 0.001688 0.04109 1.359 0.219 0.008744 0.0005787 1 1 0.004933 0.06381 0.2202 0.01658 0.2145 0.7403 json
t17_x20_u4_b90 17 20 4 90 min(R,mlt(P,cil(R))) 115011 138859131 o2(x,o2(x,o1(x))) true 80095 80095 -0.4255 0.2244 0.5998 0.2982 0.5461 -1 0.9806 1.981 1 4.173 0.002335 0.002621 0.04623 -0.05763 1 0.00007774 0.001284 0.01591 0.002819 0.05309 1.149 0.4419 0.01662 0.004307 1 1 0.008868 0.1 0.2892 0.02974 0.3354 0.9698 json
t17_x20_u4_b91 17 20 4 91 min(R,div(P,cil(R))) 115012 138859132 o2(x,o2(x,o1(x))) true 80103 80103 -0.8828 0.01585 0.8981 0.07933 0.2817 -1 0.943 1.943 1 1.637 0.006744 0.004567 0.02278 0.1925 1 0.00007976 0.02017 0.0224 0.0108 0.1039 4.561 2.698 0.1426 0.2542 1 1 0.011 0.05766 0.1385 0.1387 0.7268 1.746 json
t17_x20_u4_b92 17 20 4 92 min(R,pow(P,cil(R))) 115013 138859133 o2(x,o2(x,o1(x))) true 80111 80111 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t17_x20_u4_b93 17 20 4 93 min(R,mod(P,cil(R))) 115014 138859134 o2(x,o2(x,o1(x))) true 80119 80119 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x20_u4_b94 17 20 4 94 min(R,lrg(P,cil(R))) 115015 138859135 o2(x,o2(x,o1(x))) true 80127 80127 -0.1613 0.1827 0.2974 0.1321 0.3634 -0.9989 0.9806 1.979 1 4.335 0.001551 0.001706 0.04319 -0.04743 1 0.00002619 0.0001952 0.01004 0.001392 0.0373 0.8638 0.219 0.02466 0.001478 1 1 0.006052 0.07839 0.223 0.04583 0.5937 1.689 json
t17_x20_u4_b95 17 20 4 95 min(R,eql(P,cil(R))) 115016 138859136 o2(x,o2(x,o1(x))) true 80135 80135 -0.2289 0.04947 0.2661 0.08557 0.2925 -0.9989 0.9431 1.942 1 3.834 0.001136 0.001108 0.03536 0.01245 1 0.000004386 0.0001293 0.008218 0.0009932 0.03151 0.8913 0.1967 0.02622 0.001511 1 1 0.00432 0.0555 0.1346 0.05048 0.6485 1.572 json
t17_x20_u4_b96 17 20 4 96 min(R,min(P,cil(R))) 115017 138859137 o2(x,o2(x,o1(x))) true 80143 80143 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t17_x20_u4_b97 17 20 4 97 min(R,dot(P,cil(R))) 115018 138859138 o2(x,o2(x,o1(x))) true 80151 80151 -0.5077 0.2122 0.6759 0.3216 0.5671 -1 0.9682 1.968 1 3.644 0.003611 0.004274 0.04919 -0.08404 1 0.000141 0.002905 0.02108 0.005466 0.07393 1.503 0.6563 0.02452 0.009032 1 1 0.01394 0.1435 0.4036 0.04335 0.4462 1.255 json
t17_x20_u4_b98 17 20 4 98 min(R,dst(P,cil(R))) 115019 138859139 o2(x,o2(x,o1(x))) true 80159 80159 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x20_u4_b99 17 20 4 99 dot(R,add(P,cil(R))) 115020 138859140 o2(x,o2(x,o1(x))) true 80167 80167 0.1077 0.5569 0.8702 0.8138 0.9021 -1 1 2 1 2.78 0.02381 0.03219 0.09763 -0.1496 1 0.00001199 0.04491 0.07241 0.04646 0.2155 2.208 1.968 0.06881 0.05519 1 1 0.06998 0.5333 1.342 0.086 0.6553 1.649 json
t17_x20_u4_b100 17 20 4 100 dot(R,sub(P,cil(R))) 115021 138859141 o2(x,o2(x,o1(x))) true 80175 80175 -0.3042 0.3398 0.8609 0.7245 0.8511 -1 1 2 1 2.722 0.02397 0.03174 0.09813 -0.1395 1 0.0001022 0.04373 0.07179 0.04606 0.2146 2.187 1.977 0.07689 0.06036 1 1 0.06994 0.5368 1.285 0.09654 0.741 1.773 json
t17_x20_u4_b101 17 20 4 101 dot(R,mlt(P,cil(R))) 115022 138859142 o2(x,o2(x,o1(x))) true 80183 80183 -0.05871 0.4699 0.724 0.6582 0.8113 -1 1 2 1 3.551 0.007278 0.009009 0.06303 -0.1063 1 -0.00001473 0.007425 0.03338 0.01231 0.111 1.76 1.205 0.02475 0.01128 1 1 0.02571 0.2359 0.5999 0.03906 0.3585 0.9115 json
t17_x20_u4_b102 17 20 4 102 dot(R,div(P,cil(R))) 115023 138859143 o2(x,o2(x,o1(x))) true 80191 80191 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004026 0.06345 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t17_x20_u4_b103 17 20 4 103 dot(R,pow(P,cil(R))) 115024 138859144 o2(x,o2(x,o1(x))) true 80199 80199 -0.6148 0.1917 0.9305 0.5287 0.7271 -1 1 2 1 1.733 0.01062 0.01202 0.03675 -0.06203 1 -0.00007956 0.03271 0.03116 0.02129 0.1459 3.971 2.828 0.04283 0.06185 1 1 0.02835 0.194 0.5483 0.05362 0.367 1.037 json
t17_x20_u4_b104 17 20 4 104 dot(R,mod(P,cil(R))) 115025 138859145 o2(x,o2(x,o1(x))) true 80207 80207 -0.9961 0 0.9961 0.003891 0.06238 -1 0 1 1 0.03687 0.0005039 0.0005039 0.0009986 0 1 0 0.002142 0.002016 0.001006 0.03172 31.76 1.414 0.259 0.5504 1 1 0.001773 0.007091 0.01374 0.4556 1.823 3.531 json
t17_x20_u4_b105 17 20 4 105 dot(R,lrg(P,cil(R))) 115026 138859146 o2(x,o2(x,o1(x))) true 80215 80215 -0.04497 0.3017 0.285 0.1685 0.4104 -1 1 2 1 4.265 0.002454 0.002558 0.0474 -0.02059 1 -0.000007767 0.0003789 0.01136 0.002765 0.05259 1.11 0.3047 0.02975 0.002249 1 1 0.008636 0.1099 0.3357 0.05126 0.6522 1.993 json
t17_x20_u4_b106 17 20 4 106 dot(R,eql(P,cil(R))) 115027 138859147 o2(x,o2(x,o1(x))) true 80223 80223 -0.2488 0.07835 0.3007 0.1027 0.3204 -1 1 2 1 4.087 0.001639 0.001348 0.04021 0.09746 1 -0.00003062 0.0002253 0.009552 0.00137 0.03702 0.9206 0.2766 0.02909 0.002194 1 1 0.007037 0.08879 0.2022 0.06854 0.8649 1.97 json
t17_x20_u4_b107 17 20 4 107 dot(R,min(P,cil(R))) 115028 138859148 o2(x,o2(x,o1(x))) true 80231 80231 0.08641 0.6159 0.6967 0.6069 0.779 -1 1 2 1 3.823 0.01626 0.02012 0.08678 -0.1062 1 -0.00005062 0.02326 0.05001 0.02886 0.1699 1.958 1.834 0.05995 0.03833 1 1 0.04954 0.4053 0.9513 0.08162 0.6679 1.567 json
t17_x20_u4_b108 17 20 4 108 dot(R,dot(P,cil(R))) 115029 138859149 o2(x,o2(x,o1(x))) true 80239 80239 -0.03592 0.4663 0.7094 0.6441 0.8025 -1 1 2 1 3.606 0.01685 0.01565 0.08965 0.03702 1 -0.00003488 0.02019 0.05292 0.02446 0.1564 1.745 1.974 0.05045 0.03134 1 1 0.04967 0.4191 1.023 0.07712 0.6508 1.588 json
t17_x20_u4_b109 17 20 4 109 dot(R,dst(P,cil(R))) 115030 138859150 o2(x,o2(x,o1(x))) true 80247 80247 0.02518 0.516 0.8954 0.8605 0.9276 -1 1 2 1 2.468 0.03931 0.04145 0.1087 -0.02654 1 0.00002237 0.08713 0.1005 0.06889 0.2625 2.414 2.093 0.09385 0.1013 1 1 0.1054 0.6872 1.516 0.1225 0.7986 1.761 json
t17_x20_u4_b110 17 20 4 110 dst(R,add(P,cil(R))) 115031 138859151 o2(x,o2(x,o1(x))) true 80255 80255 0.9998 1 0.9998 0.00001686 0.004106 0.8883 1 0.1117 1 0.01998 6.736e-7 0.000001547 0.00008109 -0.3932 0 -3.754e-12 0.000001558 0.00006823 0.000002211 0.001487 18.34 0.05912 0.1317 0.09238 1 1 0.000006623 0.00004062 0.00006149 0.3928 2.409 3.647 json
t17_x20_u4_b111 17 20 4 111 dst(R,sub(P,cil(R))) 115032 138859152 o2(x,o2(x,o1(x))) true 80263 80263 0.9997 1 0.9997 0.00002955 0.005436 0.8227 1 0.1773 1 0.02167 0.000004214 0.000001155 0.000109 0.5698 0 -2.628e-11 0.000004529 0.00009938 0.000005352 0.002314 21.22 0.09759 0.1817 0.1533 1 1 0.00001535 0.00007658 0.0001075 0.5192 2.591 3.636 json
t17_x20_u4_b112 17 20 4 112 dst(R,mlt(P,cil(R))) 115033 138859153 o2(x,o2(x,o1(x))) true 80271 80271 0.9823 1 0.9823 0.005865 0.07658 0.2579 1 0.7421 1 0.5421 0.00029 0.0004403 0.006005 -0.2058 1 -0.00006804 0.0005679 0.005173 0.0006938 0.02634 4.386 0.3367 0.1245 0.09683 1 1 0.001022 0.007374 0.01411 0.1742 1.257 2.406 json
t17_x20_u4_b113 17 20 4 113 dst(R,div(P,cil(R))) 115034 138859154 o2(x,o2(x,o1(x))) true 80279 80279 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.004031 0.004031 0.003994 0 1 0 0.01713 0.008062 0.008051 0.08973 22.46 2.828 0.26 0.5526 1 1 0.01418 0.05673 0.1117 0.4574 1.83 3.602 json
t17_x20_u4_b114 17 20 4 114 dst(R,pow(P,cil(R))) 115035 138859155 o2(x,o2(x,o1(x))) true 80287 80287 -0.391 0.3047 0.9996 0.8463 0.92 -1 1 2 1 0.9047 0.02004 0.02205 0.02109 -0.04786 1 0 0.08706 0.04222 0.04167 0.2041 9.681 2.828 0.04974 0.1029 1 1 0.05147 0.2087 0.6636 0.06082 0.2466 0.7841 json
t17_x20_u4_b115 17 20 4 115 dst(R,mod(P,cil(R))) 115036 138859156 o2(x,o2(x,o1(x))) true 80295 80295 -0.9925 0.003906 0.9997 0.01442 0.1201 -1 1 2 1 0.04376 0.001864 0.001806 0.00196 0.01588 1 1.502e-11 0.007784 0.003861 0.003663 0.06053 30.88 2.592 0.2545 0.5398 1 1 0.006462 0.02633 0.05087 0.4481 1.826 3.528 json
t17_x20_u4_b116 17 20 4 116 dst(R,lrg(P,cil(R))) 115037 138859157 o2(x,o2(x,o1(x))) true 80303 80303 0.9517 1 0.9517 0.01371 0.1171 0.2579 1 0.7421 1 1.241 0.0001999 0.0003097 0.008961 -0.2155 1 -0.00002442 0.000144 0.003955 0.0004292 0.02072 2.312 0.1653 0.03716 0.0105 1 1 0.0009467 0.009558 0.01959 0.06903 0.697 1.428 json
t17_x20_u4_b117 17 20 4 117 dst(R,eql(P,cil(R))) 115038 138859158 o2(x,o2(x,o1(x))) true 80311 80311 0.9651 1 0.9651 0.01145 0.107 0.09977 1 0.9002 1 0.9258 0.0003029 0.0003285 0.008138 -0.04063 1 -0.00003399 0.0002271 0.004397 0.0005651 0.02377 2.921 0.193 0.05517 0.01984 1 1 0.001195 0.01066 0.02255 0.1044 0.9317 1.97 json
t17_x20_u4_b118 17 20 4 118 dst(R,min(P,cil(R))) 115039 138859159 o2(x,o2(x,o1(x))) true 80319 80319 0.9612 1 0.9612 0.01117 0.1057 0.314 1 0.686 1 1.047 0.000125 0.0001513 0.005824 -0.09503 1 -0.00001351 0.00005803 0.002052 0.0002424 0.01557 2.673 0.1656 0.02472 0.005193 1 1 0.0004265 0.004695 0.01456 0.03817 0.4202 1.303 json
t17_x20_u4_b119 17 20 4 119 dst(R,dot(P,cil(R))) 115040 138859160 o2(x,o2(x,o1(x))) true 80327 80327 0.9884 1 0.9884 0.00399 0.06317 0.2579 1 0.7421 1 0.3858 0.0002717 0.000429 0.004816 -0.2244 1 -0.0001097 0.0006702 0.004836 0.0006773 0.02602 5.404 0.4045 0.1756 0.168 1 1 0.0008674 0.005231 0.009138 0.2174 1.311 2.29 json
t17_x20_u4_b120 17 20 4 120 dst(R,dst(P,cil(R))) 115041 138859161 o2(x,o2(x,o1(x))) true 80335 80335 0.9997 1 0.9997 0.00003493 0.00591 0.8228 1 0.1772 1 0.02445 0.000001687 0.000004651 0.0001185 -0.4676 0 4.505e-11 0.000005486 0.0001173 0.000006319 0.002514 21.21 0.09683 0.1815 0.1571 1 1 0.00001808 0.00008884 0.0001272 0.5176 2.543 3.642 json
t17_x20_u5_b0 17 20 5 0 add(R,add(P,sgn(R))) 115042 138859242 o2(x,o2(x,o1(x))) true 80343 80343 0.01343 0.5092 0.9425 0.9227 0.9605 -1 1 2 1 1.918 0.003312 0.002546 0.02204 0.1308 1 -0.00005009 0.001766 0.0103 0.005374 0.07331 3.326 0.5458 0.006349 0.001914 1 1 0.0144 0.1375 0.4274 0.0156 0.149 0.4633 json
t17_x20_u5_b1 17 20 5 1 add(R,sub(P,sgn(R))) 115043 138859243 o2(x,o2(x,o1(x))) true 80351 80351 0.002423 0.5013 0.9355 0.9128 0.9554 -1 1 2 1 2.003 0.0009502 0.0002924 0.01033 0.5293 1 0.00001046 0.0002156 0.003365 0.001136 0.0337 3.262 0.3026 0.001361 0.0002362 1 1 0.003371 0.0376 0.2425 0.003693 0.04119 0.2656 json
t17_x20_u5_b2 17 20 5 2 add(R,mlt(P,sgn(R))) 115044 138859244 o2(x,o2(x,o1(x))) true 80359 80359 -0.04855 0.4738 0.8656 0.8184 0.9047 -1 1 2 1 2.756 0.03406 0.04346 0.1072 -0.1212 1 -0.00001545 0.0787 0.09355 0.06603 0.257 2.398 1.94 0.09472 0.09616 1 1 0.1005 0.6901 1.501 0.1228 0.8433 1.835 json
t17_x20_u5_b3 17 20 5 3 add(R,div(P,sgn(R))) 115045 138859245 o2(x,o2(x,o1(x))) true 80367 80367 -0.04855 0.4738 0.8656 0.8184 0.9047 -1 1 2 1 2.756 0.03406 0.04346 0.1072 -0.1212 1 -0.00001545 0.0787 0.09355 0.06603 0.257 2.398 1.94 0.09472 0.09616 1 1 0.1005 0.6901 1.501 0.1228 0.8433 1.835 json
t17_x20_u5_b4 17 20 5 4 add(R,pow(P,sgn(R))) 115046 138859246 o2(x,o2(x,o1(x))) true 80375 80375 -0.2691 0.3692 0.8784 0.7752 0.8804 -1 1 2 1 2.346 0.01649 0.009065 0.03922 0.2907 1 -0.000203 0.04009 0.03725 0.02403 0.155 3.953 2.828 0.03297 0.05171 1 1 0.036 0.1997 0.5239 0.04644 0.2577 0.6758 json
t17_x20_u5_b5 17 20 5 5 add(R,mod(P,sgn(R))) 115047 138859247 o2(x,o2(x,o1(x))) true 80383 80383 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x20_u5_b6 17 20 5 6 add(R,lrg(P,sgn(R))) 115048 138859248 o2(x,o2(x,o1(x))) true 80391 80391 0.4065 0.7835 0.572 0.2605 0.5104 -0.9989 1 1.999 1 4.491 0.001786 0.00229 0.04638 -0.1238 1 4.771e-7 0.0004293 0.01259 0.001925 0.04387 0.946 0.2301 0.01564 0.001648 1 1 0.007744 0.09405 0.2628 0.02972 0.361 1.008 json
t17_x20_u5_b7 17 20 5 7 add(R,eql(P,sgn(R))) 115049 138859249 o2(x,o2(x,o1(x))) true 80399 80399 0.06292 0.5359 0.4186 0.2446 0.4946 -0.9986 1 1.999 1 4.9 0.003667 0.003337 0.06588 0.0471 1 0.00002651 0.0005865 0.01587 0.002664 0.05161 0.7835 0.3135 0.02863 0.002398 1 1 0.01453 0.1809 0.4089 0.05941 0.7395 1.672 json
t17_x20_u5_b8 17 20 5 8 add(R,min(P,sgn(R))) 115050 138859250 o2(x,o2(x,o1(x))) true 80407 80407 -0.516 0.2377 0.8753 0.5667 0.7528 -1 1 2 1 2.448 0.007935 0.008697 0.06143 -0.04583 1 -0.000007233 0.003429 0.02206 0.01286 0.1134 1.846 0.4528 0.02935 0.006051 1 1 0.03207 0.3417 0.7969 0.05658 0.6029 1.406 json
t17_x20_u5_b9 17 20 5 9 add(R,dot(P,sgn(R))) 115051 138859251 o2(x,o2(x,o1(x))) true 80415 80415 -0.08193 0.4622 0.9213 0.8882 0.9424 -1 1 2 1 2.185 0.04263 0.05499 0.1117 -0.1266 1 0.000197 0.12 0.1171 0.08518 0.2919 2.614 2.284 0.1099 0.1351 1 1 0.124 0.7715 1.647 0.1396 0.8686 1.854 json
t17_x20_u5_b10 17 20 5 10 add(R,dst(P,sgn(R))) 115052 138859252 o2(x,o2(x,o1(x))) true 80423 80423 0.9998 1 0.9998 0.00003309 0.005752 0.7689 1 0.2311 1 0.01551 0.000004022 0.000002636 0.00009689 0.2082 0 -1.126e-11 0.00000569 0.00009024 0.000006644 0.002578 26.61 0.132 0.2012 0.172 1 1 0.00001935 0.0001115 0.0001203 0.5847 3.369 3.637 json
t17_x20_u5_b11 17 20 5 11 sub(R,add(P,sgn(R))) 115053 138859253 o2(x,o2(x,o1(x))) true 80431 80431 -0.001222 0.5001 0.9369 0.9148 0.9564 -1 1 2 1 1.98 0.0009874 0.0002981 0.01068 0.5362 1 0.00001344 0.0002166 0.003511 0.001172 0.03423 3.206 0.2728 0.001405 0.0002368 1 1 0.003475 0.03918 0.2411 0.003799 0.04283 0.2635 json
t17_x20_u5_b12 17 20 5 12 sub(R,sub(P,sgn(R))) 115054 138859254 o2(x,o2(x,o1(x))) true 80439 80439 0.0006731 0.5022 0.9341 0.912 0.955 -1 1 2 1 2.019 0.003436 0.002659 0.0239 0.1274 1 -0.00002982 0.001789 0.01077 0.005525 0.07433 3.11 0.567 0.006684 0.001962 1 1 0.0147 0.1408 0.415 0.01612 0.1544 0.4551 json
t17_x20_u5_b13 17 20 5 13 sub(R,mlt(P,sgn(R))) 115055 138859255 o2(x,o2(x,o1(x))) true 80447 80447 0.06687 0.5304 0.8633 0.8141 0.9023 -1 1 2 1 2.756 0.03289 0.04337 0.1053 -0.1375 1 0.000006542 0.07768 0.09242 0.06516 0.2553 2.425 1.923 0.09366 0.09541 1 1 0.09809 0.6667 1.534 0.1205 0.8189 1.884 json
t17_x20_u5_b14 17 20 5 14 sub(R,div(P,sgn(R))) 115056 138859256 o2(x,o2(x,o1(x))) true 80455 80455 0.06687 0.5304 0.8633 0.8141 0.9023 -1 1 2 1 2.756 0.03289 0.04337 0.1053 -0.1375 1 0.000006542 0.07768 0.09242 0.06516 0.2553 2.425 1.923 0.09366 0.09541 1 1 0.09809 0.6667 1.534 0.1205 0.8189 1.884 json
t17_x20_u5_b15 17 20 5 15 sub(R,pow(P,sgn(R))) 115057 138859257 o2(x,o2(x,o1(x))) true 80463 80463 -0.9439 0.007721 0.9496 0.03432 0.1852 -1 0.8288 1.829 1 1.041 0.003888 0.00215 0.01465 0.2879 1 0.0001389 0.01066 0.01411 0.005822 0.0763 5.208 1.829 0.1759 0.3106 1 1 0.008433 0.04118 0.0789 0.2458 1.2 2.299 json
t17_x20_u5_b16 17 20 5 16 sub(R,mod(P,sgn(R))) 115058 138859258 o2(x,o2(x,o1(x))) true 80471 80471 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x20_u5_b17 17 20 5 17 sub(R,lrg(P,sgn(R))) 115059 138859259 o2(x,o2(x,o1(x))) true 80479 80479 -0.3534 0.2995 0.6044 0.3515 0.5929 -1 0.9693 1.969 1 4.33 0.003348 0.003138 0.05471 0.03244 1 0.00007377 0.000807 0.01546 0.003492 0.05909 1.08 0.3332 0.01845 0.002296 1 1 0.01395 0.1644 0.3982 0.03967 0.4677 1.133 json
t17_x20_u5_b18 17 20 5 18 sub(R,eql(P,sgn(R))) 115060 138859260 o2(x,o2(x,o1(x))) true 80487 80487 -0.05208 0.449 0.4087 0.2348 0.4846 -1 0.9806 1.981 1 4.884 0.002789 0.003354 0.0622 -0.09189 1 0.00005195 0.0004322 0.01458 0.002274 0.04769 0.7666 0.315 0.02616 0.001841 1 1 0.01238 0.1577 0.4577 0.05275 0.6717 1.949 json
t17_x20_u5_b19 17 20 5 19 sub(R,min(P,sgn(R))) 115061 138859261 o2(x,o2(x,o1(x))) true 80495 80495 0.5265 0.796 0.6568 0.2827 0.5317 -0.9961 1 1.996 1 3.61 0.001455 0.001777 0.03513 -0.09982 1 0.00003618 0.0002549 0.008633 0.001998 0.0447 1.272 0.2097 0.01143 0.0009018 1 1 0.006046 0.07701 0.2229 0.02139 0.2724 0.7887 json
t17_x20_u5_b20 17 20 5 20 sub(R,dot(P,sgn(R))) 115062 138859262 o2(x,o2(x,o1(x))) true 80503 80503 0.09655 0.5498 0.918 0.8819 0.9391 -1 1 2 1 2.207 0.04291 0.05574 0.1112 -0.1301 1 -0.00007256 0.1243 0.1182 0.08628 0.2937 2.642 2.433 0.1118 0.1409 1 1 0.1224 0.7573 1.662 0.1388 0.8587 1.885 json
t17_x20_u5_b21 17 20 5 21 sub(R,dst(P,sgn(R))) 115063 138859263 o2(x,o2(x,o1(x))) true 80511 80511 -0.9972 0 0.9972 0.001271 0.03564 -1 -0.2038 0.7962 1 0.09022 0.00007708 0.00005719 0.0009561 0.1481 1 1.314e-11 0.00007241 0.0006722 0.0001334 0.01155 12.08 0.2704 0.1057 0.05699 1 1 0.0004186 0.003091 0.004036 0.3294 2.432 3.176 json
t17_x20_u5_b22 17 20 5 22 mlt(R,add(P,sgn(R))) 115064 138859264 o2(x,o2(x,o1(x))) true 80519 80519 0.1405 0.5929 0.754 0.6556 0.8097 -1 1 2 1 3.695 0.01598 0.01888 0.08981 -0.08323 1 -0.00009083 0.01943 0.0487 0.02678 0.1637 1.822 1.478 0.05316 0.02964 1 1 0.04801 0.417 0.954 0.07322 0.6361 1.455 json
t17_x20_u5_b23 17 20 5 23 mlt(R,sub(P,sgn(R))) 115065 138859265 o2(x,o2(x,o1(x))) true 80527 80527 -0.2655 0.3361 0.75 0.6024 0.7761 -1 1 2 1 3.632 0.01595 0.01866 0.08798 -0.0784 1 8.846e-8 0.01938 0.04871 0.02686 0.1639 1.863 1.35 0.05744 0.03218 1 1 0.04781 0.4113 0.9629 0.07936 0.6828 1.598 json
t17_x20_u5_b24 17 20 5 24 mlt(R,mlt(P,sgn(R))) 115066 138859266 o2(x,o2(x,o1(x))) true 80535 80535 0.004168 0.4991 0.8385 0.7859 0.8865 -1 1 2 1 3.125 0.001052 0.0008044 0.01952 0.1334 1 0.00001077 0.000685 0.008917 0.001476 0.03841 1.968 0.4024 0.002362 0.0008716 1 1 0.003305 0.03459 0.1744 0.004205 0.04401 0.2219 json
t17_x20_u5_b25 17 20 5 25 mlt(R,div(P,sgn(R))) 115067 138859267 o2(x,o2(x,o1(x))) true 80543 80543 0.004168 0.4991 0.8385 0.7859 0.8865 -1 1 2 1 3.125 0.001052 0.0008044 0.01952 0.1334 1 0.00001077 0.000685 0.008917 0.001476 0.03841 1.968 0.4024 0.002362 0.0008716 1 1 0.003305 0.03459 0.1744 0.004205 0.04401 0.2219 json
t17_x20_u5_b26 17 20 5 26 mlt(R,pow(P,sgn(R))) 115068 138859268 o2(x,o2(x,o1(x))) true 80551 80551 -0.3516 0.3118 0.7769 0.6127 0.7827 -1 1 2 1 2.67 0.008508 0.004033 0.03201 0.3568 1 -0.00008761 0.01861 0.02378 0.01152 0.1073 3.353 2.541 0.02047 0.03038 1 1 0.01782 0.1167 0.3439 0.02908 0.1905 0.5613 json
t17_x20_u5_b27 17 20 5 27 mlt(R,mod(P,sgn(R))) 115069 138859269 o2(x,o2(x,o1(x))) true 80559 80559 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 0 0 0 0 0 0 0 json
t17_x20_u5_b28 17 20 5 28 mlt(R,lrg(P,sgn(R))) 115070 138859270 o2(x,o2(x,o1(x))) true 80567 80567 -0.05105 0.1827 0.1872 0.09762 0.3124 -0.9987 0.9806 1.979 1 3.407 0.001253 0.001291 0.03003 -0.01498 1 0.000008361 0.0001537 0.006973 0.001642 0.04053 1.349 0.219 0.02607 0.001575 1 1 0.004822 0.06281 0.1824 0.0494 0.6434 1.869 json
t17_x20_u5_b29 17 20 5 29 mlt(R,eql(P,sgn(R))) 115071 138859271 o2(x,o2(x,o1(x))) true 80575 80575 0.01358 0.1075 0.03673 0.01745 0.1321 -0.997 0.9431 1.94 1 1.19 0.0002508 0.0001407 0.006573 0.2811 1 -0.0000179 0.00002166 0.001534 0.0003484 0.01867 2.84 0.1166 0.02244 0.001241 1 1 0.0008056 0.01037 0.03107 0.04616 0.5943 1.781 json
t17_x20_u5_b30 17 20 5 30 mlt(R,min(P,sgn(R))) 115072 138859272 o2(x,o2(x,o1(x))) true 80583 80583 0.2275 0.7442 0.6231 0.4326 0.6577 -1 1 2 1 4.344 0.00828 0.01059 0.06147 -0.1222 1 -0.00002522 0.0101 0.02811 0.01509 0.1228 1.998 1.294 0.04361 0.02336 1 1 0.0279 0.2417 0.5589 0.0645 0.5587 1.292 json
t17_x20_u5_b31 17 20 5 31 mlt(R,dot(P,sgn(R))) 115073 138859273 o2(x,o2(x,o1(x))) true 80591 80591 0.02288 0.5103 0.8667 0.8222 0.9068 -1 1 2 1 2.8 0.01017 0.009997 0.05446 0.008418 1 0.000002859 0.01162 0.03431 0.01721 0.1312 2.409 1.46 0.02452 0.01413 1 1 0.03003 0.253 0.6458 0.03653 0.3077 0.7855 json
t17_x20_u5_b32 17 20 5 32 mlt(R,dst(P,sgn(R))) 115074 138859274 o2(x,o2(x,o1(x))) true 80599 80599 -0.009674 0.4949 0.8699 0.8267 0.9092 -1 1 2 1 2.753 0.02683 0.03081 0.1022 -0.0691 1 0.00007889 0.04391 0.07332 0.04722 0.2173 2.126 1.906 0.06972 0.05312 1 1 0.07962 0.6185 1.406 0.09631 0.7482 1.701 json
t17_x20_u5_b33 17 20 5 33 div(R,add(P,sgn(R))) 115075 138859275 o2(x,o2(x,o1(x))) true 80607 80607 -0.1742 0.3694 0.2866 0.1825 0.4272 -1 1 2 1 3.501 0.01425 0.01387 0.03318 0.01347 1 -0.000005944 0.05837 0.04128 0.02703 0.1644 4.954 2.828 0.1541 0.3198 1 1 0.03232 0.1435 0.4266 0.177 0.7863 2.337 json
t17_x20_u5_b34 17 20 5 34 div(R,sub(P,sgn(R))) 115076 138859276 o2(x,o2(x,o1(x))) true 80615 80615 -0.1521 0.4021 0.2952 0.2036 0.4512 -1 1 2 1 3.431 0.0204 0.01136 0.03411 0.2848 1 -0.000007545 0.06532 0.04415 0.0306 0.1749 5.129 2.828 0.156 0.3209 1 1 0.04363 0.1856 0.3598 0.2143 0.9119 1.767 json
t17_x20_u5_b35 17 20 5 35 div(R,mlt(P,sgn(R))) 115077 138859277 o2(x,o2(x,o1(x))) true 80623 80623 -0.1254 0.4375 0.2639 0.1491 0.3862 -1 0.9432 1.943 1 3.754 0.01125 0.00008185 0.01739 0.9855 1 0.000004333 0.02221 0.01829 0.01103 0.105 6.037 1.943 0.07596 0.1489 1 1 0.01447 0.06015 0.2051 0.09703 0.4033 1.375 json
t17_x20_u5_b36 17 20 5 36 div(R,div(P,sgn(R))) 115078 138859278 o2(x,o2(x,o1(x))) true 80631 80631 -0.1254 0.4375 0.2639 0.1491 0.3862 -1 0.9432 1.943 1 3.754 0.01125 0.00008185 0.01739 0.9855 1 0.000004333 0.02221 0.01829 0.01103 0.105 6.037 1.943 0.07596 0.1489 1 1 0.01447 0.06015 0.2051 0.09703 0.4033 1.375 json
t17_x20_u5_b37 17 20 5 37 div(R,pow(P,sgn(R))) 115079 138859279 o2(x,o2(x,o1(x))) true 80639 80639 -0.7656 0.1172 0.8146 0.1875 0.4331 -1 0.9432 1.943 1 2.116 0.007289 0.003473 0.0337 0.3546 1 0.000122 0.01399 0.02209 0.009626 0.09811 2.911 2.097 0.05739 0.07461 1 1 0.01512 0.1083 0.2806 0.08061 0.5776 1.496 json
t17_x20_u5_b38 17 20 5 38 div(R,mod(P,sgn(R))) 115080 138859280 o2(x,o2(x,o1(x))) true 80647 80647 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u5_b39 17 20 5 39 div(R,lrg(P,sgn(R))) 115081 138859281 o2(x,o2(x,o1(x))) true 80655 80655 -0.6309 0.1688 0.7657 0.3023 0.5498 -1 1 2 1 2.795 0.006864 0.002384 0.02839 0.4844 1 0.00002051 0.01482 0.01592 0.008436 0.09185 3.235 2.828 0.03059 0.04902 1 1 0.009062 0.0698 0.2353 0.02997 0.2309 0.7781 json
t17_x20_u5_b40 17 20 5 40 div(R,eql(P,sgn(R))) 115082 138859282 o2(x,o2(x,o1(x))) true 80663 80663 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u5_b41 17 20 5 41 div(R,min(P,sgn(R))) 115083 138859283 o2(x,o2(x,o1(x))) true 80671 80671 0.1858 0.6953 0.3803 0.2084 0.4565 -1 1 2 1 4.413 0.01135 0.007073 0.03483 0.232 1 0.00001108 0.03614 0.02734 0.01721 0.1312 3.766 2.828 0.0884 0.1734 1 1 0.02916 0.1354 0.3763 0.1399 0.6498 1.806 json
t17_x20_u5_b42 17 20 5 42 div(R,dot(P,sgn(R))) 115084 138859284 o2(x,o2(x,o1(x))) true 80679 80679 -0.1036 0.4565 0.2737 0.187 0.4324 -1 1 2 1 3.547 0.01907 0.01709 0.03917 0.05467 1 -0.000004313 0.07502 0.05596 0.03463 0.1861 4.75 2.828 0.1934 0.4013 1 1 0.04358 0.1852 0.3953 0.2331 0.9904 2.114 json
t17_x20_u5_b43 17 20 5 43 div(R,dst(P,sgn(R))) 115085 138859285 o2(x,o2(x,o1(x))) true 80687 80687 0.01047 0.4983 0.07972 0.01278 0.1131 -0.4563 0.7967 1.253 1 2.764 0.0001978 0.0001775 0.0133 0.05396 1 0.00000198 0.00002264 0.003071 0.0001984 0.01409 1.059 0.1122 0.02936 0.001771 1 1 0.00115 0.0149 0.03259 0.08999 1.166 2.549 json
t17_x20_u5_b44 17 20 5 44 pow(R,add(P,sgn(R))) 115086 138859286 o2(x,o2(x,o1(x))) true 80695 80695 -0.8948 0.05859 0.988 0.1826 0.4273 -1 1 2 1 0.4732 0.02103 0.01728 0.02144 0.09798 1 0.000004496 0.08051 0.04158 0.03787 0.1946 9.077 2.828 0.2098 0.4409 1 1 0.03758 0.155 0.3783 0.2058 0.8486 2.072 json
t17_x20_u5_b45 17 20 5 45 pow(R,sub(P,sgn(R))) 115087 138859287 o2(x,o2(x,o1(x))) true 80703 80703 -0.886 0.05859 0.9968 0.2112 0.4596 -1 1 2 1 0.3539 0.02394 0.02026 0.02235 0.08333 1 0.000002045 0.09324 0.04488 0.04369 0.209 9.353 2.828 0.2093 0.4414 1 1 0.04382 0.1804 0.4337 0.2075 0.8543 2.053 json
t17_x20_u5_b46 17 20 5 46 pow(R,mlt(P,sgn(R))) 115088 138859288 o2(x,o2(x,o1(x))) true 80711 80711 -0.8578 0.07422 0.9938 0.2556 0.5055 -1 1 2 1 0.4917 0.02283 0.02247 0.02389 0.007923 1 0.000001838 0.09446 0.04705 0.04472 0.2115 8.854 2.828 0.1773 0.3696 1 1 0.04423 0.1854 0.6109 0.1731 0.7254 2.391 json
t17_x20_u5_b47 17 20 5 47 pow(R,div(P,sgn(R))) 115089 138859289 o2(x,o2(x,o1(x))) true 80719 80719 -0.8578 0.07422 0.9938 0.2556 0.5055 -1 1 2 1 0.4917 0.02283 0.02247 0.02389 0.007923 1 0.000001838 0.09446 0.04705 0.04472 0.2115 8.854 2.828 0.1773 0.3696 1 1 0.04423 0.1854 0.6109 0.1731 0.7254 2.391 json
t17_x20_u5_b48 17 20 5 48 pow(R,pow(P,sgn(R))) 115090 138859290 o2(x,o2(x,o1(x))) true 80727 80727 -0.9881 0.007813 0.9963 0.01919 0.1385 -1 1 2 1 0.093 0.00206 0.002387 0.002796 -0.07358 1 0.000001838 0.009396 0.005344 0.004439 0.06662 23.82 2.64 0.2317 0.4897 1 1 0.0007549 0.005342 0.01715 0.03934 0.2784 0.8939 json
t17_x20_u5_b49 17 20 5 49 pow(R,mod(P,sgn(R))) 115091 138859291 o2(x,o2(x,o1(x))) true 80735 80735 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u5_b50 17 20 5 50 pow(R,lrg(P,sgn(R))) 115092 138859292 o2(x,o2(x,o1(x))) true 80743 80743 -0.07968 0.4609 0.9984 0.9912 0.9956 -1 1 2 1 1.041 0.01635 0.009159 0.01306 0.2818 1 0.000002697 0.05288 0.02603 0.02533 0.1591 12.18 2.828 0.02573 0.05335 1 1 0.0308 0.1259 0.457 0.03108 0.127 0.461 json
t17_x20_u5_b51 17 20 5 51 pow(R,eql(P,sgn(R))) 115093 138859293 o2(x,o2(x,o1(x))) true 80751 80751 0.8142 0.9141 0.9861 0.3142 0.5606 -1 1 2 1 0.8738 0.02174 0.01215 0.01954 0.2829 1 0.000002479 0.06905 0.03441 0.03351 0.183 9.366 2.828 0.1079 0.2198 1 1 0.04429 0.1845 0.6913 0.141 0.5872 2.2 json
t17_x20_u5_b52 17 20 5 52 pow(R,min(P,sgn(R))) 115094 138859294 o2(x,o2(x,o1(x))) true 80759 80759 -0.9161 0.04297 0.998 0.1576 0.3969 -1 1 2 1 0.3013 0.01614 0.0155 0.01623 0.02026 1 0.000002697 0.06608 0.03236 0.03136 0.1771 10.91 2.828 0.2008 0.4194 1 1 0.0253 0.1087 0.2694 0.1606 0.6897 1.71 json
t17_x20_u5_b53 17 20 5 53 pow(R,dot(P,sgn(R))) 115095 138859295 o2(x,o2(x,o1(x))) true 80767 80767 -0.9038 0.05078 0.9947 0.1767 0.4203 -1 1 2 1 0.351 0.01682 0.01733 0.01803 -0.01499 1 -0.000003316 0.07089 0.03544 0.03384 0.184 10.2 2.828 0.1933 0.4012 1 1 0.02509 0.1089 0.2657 0.142 0.6164 1.504 json
t17_x20_u5_b54 17 20 5 54 pow(R,dst(P,sgn(R))) 115096 138859296 o2(x,o2(x,o1(x))) true 80775 80775 -0.9499 0.04251 0.9642 0.05727 0.2393 -1 0.7682 1.768 1 0.3776 0.005947 0.005628 0.01054 0.02761 1 0.000004874 0.02412 0.01953 0.01147 0.1071 10.16 2.008 0.2021 0.4212 1 1 0.009444 0.04144 0.1022 0.1649 0.7236 1.784 json
t17_x20_u5_b55 17 20 5 55 mod(R,add(P,sgn(R))) 115097 138859297 o2(x,o2(x,o1(x))) true 80783 80783 -0.1885 0.3959 0.5071 0.3308 0.5751 -1 0.9806 1.981 1 4.612 0.0107 0.008818 0.06161 0.09633 1 0.0000656 0.03063 0.03528 0.01572 0.1254 2.035 2.231 0.059 0.0926 1 1 0.02484 0.1775 0.5364 0.07509 0.5367 1.622 json
t17_x20_u5_b56 17 20 5 56 mod(R,sub(P,sgn(R))) 115098 138859298 o2(x,o2(x,o1(x))) true 80791 80791 -0.1961 0.3969 0.5154 0.3392 0.5824 -1 0.9806 1.981 1 4.566 0.009799 0.009137 0.06029 0.03495 1 0.0000656 0.02991 0.03421 0.0153 0.1237 2.052 1.976 0.05583 0.08817 1 1 0.02701 0.1865 0.5815 0.07963 0.5497 1.714 json
t17_x20_u5_b57 17 20 5 57 mod(R,mlt(P,sgn(R))) 115099 138859299 o2(x,o2(x,o1(x))) true 80799 80799 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json