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_x25_u2_b86 17 25 2 86 eql(R,dot(R,frc(D))) 119000 139060730 o2(x,o2(x,o1(x))) true 112007 112007 0.0001168 0.000473 0.0001168 0.00008621 0.009285 0 0.9633 0.9633 1 0.003756 0.000178 0.000178 0.0004114 0 1 -6.192e-12 0.00178 0.000964 0.0003557 0.01886 45.84 1.362 4.129 20.65 1 1 0.0001414 0.0001311 0.0001504 1.64 1.521 1.745 json
t17_x25_u2_b87 17 25 2 87 eql(R,dst(R,frc(D))) 119001 139060731 o2(x,o2(x,o1(x))) true 112015 112015 0.00007741 0.0003357 0.00007741 0.00004339 0.006587 0 0.9414 0.9414 1 0.003072 0.00008957 0.00008957 0.0002728 0 1 0 0.0008957 0.0006391 0.000179 0.01338 49.05 1.331 4.129 20.65 1 1 0.0001039 0.0001036 0.00009195 2.394 2.388 2.119 json
t17_x25_u2_b88 17 25 2 88 min(R,add(R,frc(D))) 119002 139060732 o2(x,o2(x,o1(x))) true 112023 112023 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_x25_u2_b89 17 25 2 89 min(R,sub(R,frc(D))) 119003 139060733 o2(x,o2(x,o1(x))) true 112031 112031 -0.4361 0.1885 0.5495 0.2203 0.4693 -1 0.9494 1.949 1 4.376 0.04162 0.002648 0.1128 0.8804 1 0.0001825 0.08302 0.1071 0.03153 0.1776 1.574 0.963 0.201 0.3769 1 1 0.04758 0.2109 0.3018 0.216 0.9572 1.37 json
t17_x25_u2_b90 17 25 2 90 min(R,mlt(R,frc(D))) 119004 139060734 o2(x,o2(x,o1(x))) true 112039 112039 -0.123 0.407 0.3048 0.1372 0.3705 -0.9989 0.9499 1.949 1 4.559 0.01022 0.001895 0.06514 0.6871 1 0.000002409 0.01878 0.04129 0.007873 0.08873 1.362 0.9092 0.08827 0.1369 1 1 0.01474 0.1022 0.2272 0.1074 0.7445 1.656 json
t17_x25_u2_b91 17 25 2 91 min(R,div(R,frc(D))) 119005 139060735 o2(x,o2(x,o1(x))) true 112047 112047 -0.2103 0.4071 0.5523 0.3689 0.6074 -1 0.9805 1.98 1 4.545 0.03715 0.00778 0.1139 0.6536 1 0.00002139 0.08014 0.09954 0.03195 0.1787 1.569 1.848 0.1218 0.2172 1 1 0.05535 0.3141 0.6193 0.15 0.8514 1.679 json
t17_x25_u2_b92 17 25 2 92 min(R,pow(R,frc(D))) 119006 139060736 o2(x,o2(x,o1(x))) true 112055 112055 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_x25_u2_b93 17 25 2 93 min(R,mod(R,frc(D))) 119007 139060737 o2(x,o2(x,o1(x))) true 112063 112063 -0.1432 0.3848 0.2936 0.1265 0.3556 -0.9989 0.9633 1.962 1 4.479 0.01769 0.001733 0.07804 0.8216 1 -0.000004025 0.03957 0.08705 0.01333 0.1155 1.48 0.9374 0.1536 0.3128 1 1 0.01909 0.09489 0.2081 0.151 0.7502 1.645 json
t17_x25_u2_b94 17 25 2 94 min(R,lrg(R,frc(D))) 119008 139060738 o2(x,o2(x,o1(x))) true 112071 112071 -0.07007 0.3578 0.3512 0.1875 0.433 -0.9989 0.9806 1.979 1 4.717 0.01815 0.002652 0.08369 0.745 1 -0.00003985 0.03657 0.07111 0.0138 0.1175 1.404 0.9634 0.111 0.1951 1 1 0.02324 0.143 0.3234 0.124 0.7628 1.725 json
t17_x25_u2_b95 17 25 2 95 min(R,eql(R,frc(D))) 119009 139060739 o2(x,o2(x,o1(x))) true 112079 112079 -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_x25_u2_b96 17 25 2 96 min(R,min(R,frc(D))) 119010 139060740 o2(x,o2(x,o1(x))) true 112087 112087 -0.08272 0.4515 0.3267 0.1589 0.3987 -0.9989 0.9683 1.967 1 4.673 0.01096 0.002198 0.0703 0.666 1 -0.00009949 0.01913 0.04418 0.008222 0.09067 1.29 0.9375 0.08281 0.1204 1 1 0.01675 0.119 0.2654 0.1054 0.7486 1.67 json
t17_x25_u2_b97 17 25 2 97 min(R,dot(R,frc(D))) 119011 139060741 o2(x,o2(x,o1(x))) true 112095 112095 -0.1778 0.3336 0.3626 0.1629 0.4036 -1 0.9678 1.968 1 4.686 0.008271 0.008838 0.08081 -0.03314 1 -0.0001221 0.02846 0.06419 0.01058 0.1029 1.273 1.257 0.105 0.1747 1 1 0.01932 0.1227 0.2795 0.1186 0.7534 1.716 json
t17_x25_u2_b98 17 25 2 98 min(R,dst(R,frc(D))) 119012 139060742 o2(x,o2(x,o1(x))) true 112103 112103 -0.007937 0.4897 0.3821 0.2073 0.4553 -0.9989 0.9806 1.979 1 4.834 0.003098 0.003391 0.06413 -0.04528 1 0.00005595 0.002083 0.01969 0.002376 0.04874 0.7601 0.7973 0.03131 0.01005 1 1 0.01185 0.1453 0.3701 0.0572 0.7009 1.786 json
t17_x25_u2_b99 17 25 2 99 dot(R,add(R,frc(D))) 119013 139060743 o2(x,o2(x,o1(x))) true 112111 112111 0.7908 0.9871 0.7934 0.08073 0.2841 -0.3933 1 1.393 1 2.828 0.005775 0.006402 0.05533 -0.0515 1 -0.0002261 0.02068 0.05503 0.009113 0.09546 1.725 1.059 0.1508 0.2561 1 1 0.01299 0.06677 0.1306 0.1609 0.8271 1.617 json
t17_x25_u2_b100 17 25 2 100 dot(R,sub(R,frc(D))) 119014 139060744 o2(x,o2(x,o1(x))) true 112119 112119 0.7856 0.9874 0.7884 0.0791 0.2812 -0.4505 1 1.451 1 2.893 0.006573 0.007371 0.05847 -0.05726 1 -0.00009399 0.02518 0.0601 0.01052 0.1026 1.754 1.237 0.1763 0.3183 1 1 0.0168 0.07243 0.1291 0.2124 0.9157 1.632 json
t17_x25_u2_b101 17 25 2 101 dot(R,mlt(R,frc(D))) 119015 139060745 o2(x,o2(x,o1(x))) true 112127 112127 0.3462 1 0.3462 0.05846 0.2418 0.0002018 1 0.9998 1 3.739 0.01045 0.01046 0.07575 -0.00009911 1 0.00001457 0.04262 0.08334 0.01517 0.1232 1.626 0.9357 0.3576 0.7291 1 1 0.02005 0.06147 0.06501 0.343 1.052 1.112 json
t17_x25_u2_b102 17 25 2 102 dot(R,div(R,frc(D))) 119016 139060746 o2(x,o2(x,o1(x))) true 112135 112135 -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_x25_u2_b103 17 25 2 103 dot(R,pow(R,frc(D))) 119017 139060747 o2(x,o2(x,o1(x))) true 112143 112143 -0.9939 0.003143 0.9987 0.01059 0.1029 -1 1 2 1 0.04923 0.001384 0.001233 0.001786 0.05755 1 1.877e-11 0.005435 0.003096 0.002611 0.0511 28.61 2.019 0.2471 0.5133 1 1 0.004701 0.02086 0.03698 0.444 1.97 3.493 json
t17_x25_u2_b104 17 25 2 104 dot(R,mod(R,frc(D))) 119018 139060748 o2(x,o2(x,o1(x))) true 112151 112151 0.5696 1 0.5696 0.07002 0.2646 0.004457 1 0.9955 1 3.855 0.01369 0.01232 0.0993 0.05277 1 0.0004221 0.06046 0.1486 0.01616 0.1271 1.28 1.173 0.3715 0.8635 1 1 0.02152 0.0624 0.1284 0.3073 0.8911 1.834 json
t17_x25_u2_b105 17 25 2 105 dot(R,lrg(R,frc(D))) 119019 139060749 o2(x,o2(x,o1(x))) true 112159 112159 0.5511 0.987 0.5511 0.1218 0.349 0 1 1 1 3.756 0.01195 0.01156 0.08299 0.01695 1 -0.00005703 0.04478 0.09624 0.01663 0.1289 1.554 1.126 0.193 0.3677 1 1 0.02676 0.1173 0.2212 0.2197 0.9634 1.816 json
t17_x25_u2_b106 17 25 2 106 dot(R,eql(R,frc(D))) 119020 139060750 o2(x,o2(x,o1(x))) true 112167 112167 0.00006868 0.0009155 0.00006868 0.0000115 0.003392 0 0.2421 0.2421 1 0.004422 1.685e-7 0.00002376 0.0001431 -0.9859 0 1.325e-11 0.00007195 0.0002836 0.00002389 0.004888 34.16 0.2421 2.08 6.255 1 1 0.00002148 0.00002852 0.00004179 1.867 2.48 3.633 json
t17_x25_u2_b107 17 25 2 107 dot(R,min(R,frc(D))) 119021 139060751 o2(x,o2(x,o1(x))) true 112175 112175 0.6713 1 0.6713 0.07914 0.2813 0.003778 1 0.9962 1 3.583 0.004414 0.004891 0.05266 -0.05132 1 -0.0001721 0.01521 0.04212 0.006533 0.08083 1.535 0.932 0.1176 0.1922 1 1 0.01185 0.06168 0.1242 0.1498 0.7794 1.57 json
t17_x25_u2_b108 17 25 2 108 dot(R,dot(R,frc(D))) 119022 139060752 o2(x,o2(x,o1(x))) true 112183 112183 0.2877 0.8653 0.3079 0.1027 0.3204 -0.7612 1 1.761 1 3.946 0.01082 0.01108 0.08129 -0.01196 1 -0.00007505 0.04128 0.08211 0.01529 0.1237 1.521 1.261 0.2133 0.4021 1 1 0.02646 0.1142 0.1721 0.2577 1.113 1.677 json
t17_x25_u2_b109 17 25 2 109 dot(R,dst(R,frc(D))) 119023 139060753 o2(x,o2(x,o1(x))) true 112191 112191 -0.08863 0.4719 0.5673 0.436 0.6603 -1 1 2 1 4.558 0.01031 0.01052 0.09879 -0.009726 1 0.0001714 0.01445 0.05604 0.01107 0.1052 1.065 1.178 0.04778 0.03314 1 1 0.0373 0.3577 0.869 0.08555 0.8205 1.993 json
t17_x25_u2_b110 17 25 2 110 dst(R,add(R,frc(D))) 119024 139060754 o2(x,o2(x,o1(x))) true 112199 112199 0.7381 1 0.7381 0.06233 0.2497 0.04419 1 0.9558 1 3.416 0.0205 0.0205 0.106 0.000001863 1 0.00005702 0.089 0.1284 0.02975 0.1725 1.627 0.9251 0.6578 1.428 1 1 0.04131 0.1096 0 0.6628 1.758 0 json
t17_x25_u2_b111 17 25 2 111 dst(R,sub(R,frc(D))) 119025 139060755 o2(x,o2(x,o1(x))) true 112207 112207 0.7381 1 0.7381 0.06233 0.2497 0.04419 1 0.9558 1 3.416 0.0205 0.0205 0.106 0.000001817 1 0.00005702 0.089 0.1284 0.02975 0.1725 1.627 0.9251 0.6578 1.428 1 1 0.04131 0.1096 6.565e-16 0.6628 1.758 1.053e-14 json
t17_x25_u2_b112 17 25 2 112 dst(R,mlt(R,frc(D))) 119026 139060756 o2(x,o2(x,o1(x))) true 112215 112215 0.6901 1 0.6901 0.04476 0.2116 0.02398 1 0.976 1 3.58 0.00462 0.00507 0.05366 -0.04647 1 0.00007367 0.01837 0.05476 0.00681 0.08252 1.538 1.025 0.2165 0.4104 1 1 0.009657 0.04036 0.07144 0.2158 0.9017 1.596 json
t17_x25_u2_b113 17 25 2 113 dst(R,div(R,frc(D))) 119027 139060757 o2(x,o2(x,o1(x))) true 112223 112223 -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_x25_u2_b114 17 25 2 114 dst(R,pow(R,frc(D))) 119028 139060758 o2(x,o2(x,o1(x))) true 112231 112231 -0.9928 0.003906 0.9993 0.01321 0.1149 -1 1 2 1 0.04558 0.001717 0.001613 0.001917 0.03121 1 0 0.007056 0.003691 0.003323 0.05765 30.07 2.828 0.2521 0.5342 1 1 0.005865 0.02431 0.04683 0.444 1.841 3.545 json
t17_x25_u2_b115 17 25 2 115 dst(R,mod(R,frc(D))) 119029 139060759 o2(x,o2(x,o1(x))) true 112239 112239 0.4905 0.9567 0.4905 0.08245 0.2871 0 1 1 1 3.94 0.02002 0.01874 0.1246 0.03293 1 -0.0004248 0.09105 0.1922 0.02325 0.1525 1.224 1.325 0.4702 1.104 1 1 0.03507 0.08227 0.114 0.4254 0.9977 1.383 json
t17_x25_u2_b116 17 25 2 116 dst(R,lrg(R,frc(D))) 119030 139060760 o2(x,o2(x,o1(x))) true 112247 112247 0.8355 1 0.8355 0.02854 0.1689 0.21 1 0.79 1 2.794 0.003489 0.002885 0.03869 0.09482 1 0.00004344 0.01282 0.04468 0.004876 0.06983 1.805 0.8037 0.2233 0.4491 1 1 0.006481 0.02258 0.05041 0.2271 0.7914 1.766 json
t17_x25_u2_b117 17 25 2 117 dst(R,eql(R,frc(D))) 119031 139060761 o2(x,o2(x,o1(x))) true 112255 112255 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.18 0.0003406 0.0004855 0.01675 -0.1753 1 -0.00001961 0.0002211 0.005929 0.0005455 0.02336 1.394 0.2869 0.03669 0.009818 1 1 0.00136 0.01498 0.03483 0.06041 0.6652 1.547 json
t17_x25_u2_b118 17 25 2 118 dst(R,min(R,frc(D))) 119032 139060762 o2(x,o2(x,o1(x))) true 112263 112263 0.3639 0.9838 0.3639 0.07473 0.2734 0 1 1 1 3.808 0.006227 0.006544 0.06352 -0.02481 1 0.0002128 0.02279 0.05353 0.008737 0.09347 1.472 1.239 0.1709 0.3049 1 1 0.01502 0.07582 0.1425 0.201 1.015 1.907 json
t17_x25_u2_b119 17 25 2 119 dst(R,dot(R,frc(D))) 119033 139060763 o2(x,o2(x,o1(x))) true 112271 112271 0.8334 1 0.8334 0.03873 0.1968 0.02529 1 0.9747 1 2.746 0.003234 0.003277 0.04246 -0.006738 1 0.0001066 0.01187 0.03956 0.004708 0.06861 1.616 1.374 0.1681 0.3065 1 1 0.008498 0.03827 0.06997 0.2194 0.9884 1.807 json
t17_x25_u2_b120 17 25 2 120 dst(R,dst(R,frc(D))) 119034 139060764 o2(x,o2(x,o1(x))) true 112279 112279 0.981 1 0.981 0.00686 0.08282 0.03393 1 0.9661 1 0.5495 0.0009052 0.001061 0.01023 -0.07925 1 -3.653e-7 0.003213 0.01238 0.001863 0.04316 4.221 0.9661 0.2866 0.4683 1 1 0.003049 0.01286 0.01625 0.4445 1.874 2.369 json
t17_x25_u3_b0 17 25 3 0 add(R,add(R,flr(D))) 119035 139060845 o2(x,o2(x,o1(x))) true 112287 112287 -0.3033 0.3331 0.6848 0.4892 0.6995 -1 1 2 1 4.109 0.03788 0.008364 0.1208 0.6382 1 0.0001326 0.05937 0.0937 0.03166 0.1779 1.473 1.092 0.09451 0.1213 1 1 0.06411 0.4472 0.8162 0.131 0.914 1.668 json
t17_x25_u3_b1 17 25 3 1 add(R,sub(R,flr(D))) 119036 139060846 o2(x,o2(x,o1(x))) true 112295 112295 0.3269 0.6804 0.6827 0.4742 0.6886 -1 1 2 1 4.061 0.03863 0.008069 0.1169 0.6544 1 -0.0000716 0.06254 0.09487 0.03304 0.1818 1.555 1.091 0.09847 0.1319 1 1 0.06361 0.4186 0.7401 0.1341 0.8827 1.561 json
t17_x25_u3_b2 17 25 3 2 add(R,mlt(R,flr(D))) 119037 139060847 o2(x,o2(x,o1(x))) true 112303 112303 0.007128 0.4824 0.2233 0.1068 0.3268 -0.9987 0.9806 1.979 1 4.183 0.01778 0.001534 0.06915 0.8411 1 0.00002202 0.03338 0.06293 0.01453 0.1205 1.743 0.9989 0.1809 0.3126 1 1 0.02212 0.1235 0.1954 0.2072 1.157 1.83 json
t17_x25_u3_b3 17 25 3 3 add(R,div(R,flr(D))) 119038 139060848 o2(x,o2(x,o1(x))) true 112311 112311 -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_x25_u3_b4 17 25 3 4 add(R,pow(R,flr(D))) 119039 139060849 o2(x,o2(x,o1(x))) true 112319 112319 -0.5888 0.2109 0.9894 0.6369 0.7981 -1 1 2 1 0.9621 0.07296 0.06347 0.07314 0.06953 1 -0.00001585 0.2872 0.143 0.1311 0.3621 4.95 2.828 0.2142 0.4509 1 1 0.1365 0.5863 1.362 0.2143 0.9206 2.139 json
t17_x25_u3_b5 17 25 3 5 add(R,mod(R,flr(D))) 119040 139060850 o2(x,o2(x,o1(x))) true 112327 112327 -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_x25_u3_b6 17 25 3 6 add(R,lrg(R,flr(D))) 119041 139060851 o2(x,o2(x,o1(x))) true 112335 112335 0.5748 0.8258 0.6979 0.2704 0.52 -0.9986 1 1.999 1 3.619 0.03221 0.004654 0.09347 0.7475 1 -0.00008915 0.05641 0.07872 0.02814 0.1677 1.795 1.004 0.1363 0.2086 1 1 0.04749 0.2789 0.4115 0.1756 1.031 1.521 json
t17_x25_u3_b7 17 25 3 7 add(R,eql(R,flr(D))) 119042 139060852 o2(x,o2(x,o1(x))) true 112343 112343 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_x25_u3_b8 17 25 3 8 add(R,min(R,flr(D))) 119043 139060853 o2(x,o2(x,o1(x))) true 112351 112351 -0.4993 0.1865 0.6372 0.2688 0.5185 -1 0.9801 1.98 1 4.065 0.03828 0.003706 0.1049 0.8235 1 0.000143 0.06665 0.09199 0.03099 0.176 1.678 1.004 0.1562 0.2479 1 1 0.05051 0.2811 0.3794 0.1879 1.046 1.411 json
t17_x25_u3_b9 17 25 3 9 add(R,dot(R,flr(D))) 119044 139060854 o2(x,o2(x,o1(x))) true 112359 112359 -0.006358 0.4868 0.3474 0.1994 0.4466 -1 1 2 1 4.762 0.01708 0.01734 0.1053 -0.007686 1 -0.000001481 0.05907 0.1074 0.02333 0.1527 1.45 1.319 0.1726 0.2962 1 1 0.04053 0.2318 0.3866 0.2033 1.162 1.938 json
t17_x25_u3_b10 17 25 3 10 add(R,dst(R,flr(D))) 119045 139060855 o2(x,o2(x,o1(x))) true 112367 112367 0.8597 0.9888 0.8632 0.06315 0.2513 -0.5242 1 1.524 1 2.188 0.003265 0.007583 0.04346 -0.398 1 -0.00009565 0.01703 0.04509 0.008961 0.09466 2.178 1.007 0.1718 0.2696 1 1 0.0131 0.06604 0.1032 0.2075 1.046 1.635 json
t17_x25_u3_b11 17 25 3 11 sub(R,add(R,flr(D))) 119046 139060856 o2(x,o2(x,o1(x))) true 112375 112375 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 1.74e-17 0.1228 1 1 -1.387e-9 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 2.695e-16 0.4989 1.706 1.901e-15 json
t17_x25_u3_b12 17 25 3 12 sub(R,sub(R,flr(D))) 119047 139060857 o2(x,o2(x,o1(x))) true 112383 112383 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x25_u3_b13 17 25 3 13 sub(R,mlt(R,flr(D))) 119048 139060858 o2(x,o2(x,o1(x))) true 112391 112391 0.009758 0.4973 0.5397 0.3961 0.6294 -1 1 2 1 4.836 0.01095 0.006621 0.09545 0.2462 1 0.00001971 0.01266 0.05227 0.008457 0.09196 0.9635 0.6168 0.04434 0.03197 1 1 0.02986 0.3047 0.7111 0.07538 0.7693 1.795 json
t17_x25_u3_b14 17 25 3 14 sub(R,div(R,flr(D))) 119049 139060859 o2(x,o2(x,o1(x))) true 112399 112399 -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_x25_u3_b15 17 25 3 15 sub(R,pow(R,flr(D))) 119050 139060860 o2(x,o2(x,o1(x))) true 112407 112407 -0.9631 0 0.9631 0.01916 0.1384 -1 -0.02315 0.9769 1 0.7201 0.003141 0.002628 0.0152 0.08886 1 0.0000682 0.01137 0.02044 0.00554 0.07443 4.898 1.234 0.3012 0.5935 1 1 0.005381 0.02197 0.03496 0.2809 1.147 1.825 json
t17_x25_u3_b16 17 25 3 16 sub(R,mod(R,flr(D))) 119051 139060861 o2(x,o2(x,o1(x))) true 112415 112415 -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_x25_u3_b17 17 25 3 17 sub(R,lrg(R,flr(D))) 119052 139060862 o2(x,o2(x,o1(x))) true 112423 112423 -0.6541 0 0.6541 0.0832 0.2884 -1 -0.002976 0.997 1 3.584 0.01221 0.001236 0.05696 0.8161 1 0.00009169 0.02146 0.04765 0.0102 0.101 1.773 0.997 0.1616 0.2579 1 1 0.01706 0.09423 0.1295 0.2051 1.133 1.556 json
t17_x25_u3_b18 17 25 3 18 sub(R,eql(R,flr(D))) 119053 139060863 o2(x,o2(x,o1(x))) true 112431 112431 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_x25_u3_b19 17 25 3 19 sub(R,min(R,flr(D))) 119054 139060864 o2(x,o2(x,o1(x))) true 112439 112439 0.5592 0.9973 0.5592 0.1211 0.348 8.528e-7 1 1 1 3.722 0.02303 0.001411 0.07879 0.8845 1 -0.00006362 0.04092 0.07583 0.01824 0.135 1.714 0.9967 0.2018 0.3379 1 1 0.02818 0.1355 0.1472 0.2327 1.118 1.216 json
t17_x25_u3_b20 17 25 3 20 sub(R,dot(R,flr(D))) 119055 139060865 o2(x,o2(x,o1(x))) true 112447 112447 0.009855 0.492 0.5624 0.4279 0.6541 -1 1 2 1 4.748 0.01278 0.0171 0.1144 -0.1448 1 0.0000223 0.03648 0.08805 0.0168 0.1296 1.134 1.026 0.06984 0.08526 1 1 0.04282 0.3518 0.7696 0.1001 0.8221 1.799 json
t17_x25_u3_b21 17 25 3 21 sub(R,dst(R,flr(D))) 119056 139060866 o2(x,o2(x,o1(x))) true 112455 112455 -0.9297 0 0.9297 0.02948 0.1717 -1 -0.01861 0.9814 1 1.386 0.007432 0.002853 0.03265 0.4451 1 0.00006585 0.01906 0.04025 0.009217 0.09601 2.94 0.9811 0.3488 0.6465 1 1 0.01037 0.04084 0.03663 0.3517 1.385 1.242 json
t17_x25_u3_b22 17 25 3 22 mlt(R,add(R,flr(D))) 119057 139060867 o2(x,o2(x,o1(x))) true 112463 112463 0.3231 0.829 0.3601 0.1168 0.3418 -0.2496 1 1.25 1 4.181 0.01358 0.001827 0.06596 0.7629 1 -0.00002803 0.02486 0.0563 0.01106 0.1052 1.594 0.9696 0.1319 0.2128 1 1 0.01855 0.1124 0.1954 0.1588 0.9619 1.672 json
t17_x25_u3_b23 17 25 3 23 mlt(R,sub(R,flr(D))) 119058 139060868 o2(x,o2(x,o1(x))) true 112471 112471 0.3271 0.8088 0.3705 0.125 0.3535 -0.2497 1 1.25 1 4.212 0.01349 0.002021 0.06853 0.7394 1 -0.00003916 0.02409 0.05649 0.01082 0.104 1.518 0.9986 0.1241 0.1927 1 1 0.01961 0.1292 0.2491 0.1569 1.034 1.993 json
t17_x25_u3_b24 17 25 3 24 mlt(R,mlt(R,flr(D))) 119059 139060869 o2(x,o2(x,o1(x))) true 112479 112479 -0.1756 0 0.1756 0.04594 0.2143 -0.9977 -1.147e-8 0.9977 1 2.839 0.01268 0.0004054 0.04839 0.9381 1 -0.000003624 0.02362 0.04794 0.01075 0.1037 2.142 0.9976 0.2849 0.5142 1 1 0.01371 0.05875 0.05376 0.2984 1.279 1.17 json
t17_x25_u3_b25 17 25 3 25 mlt(R,div(R,flr(D))) 119060 139060870 o2(x,o2(x,o1(x))) true 112487 112487 -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_x25_u3_b26 17 25 3 26 mlt(R,pow(R,flr(D))) 119061 139060871 o2(x,o2(x,o1(x))) true 112495 112495 -0.6791 0.1744 0.9232 0.4336 0.6585 -1 1 2 1 1.631 0.05332 0.04403 0.07045 0.0955 1 0.000009995 0.2035 0.1155 0.09236 0.3039 4.314 2.828 0.2245 0.4693 1 1 0.09818 0.4143 0.9063 0.2264 0.9555 2.09 json
t17_x25_u3_b27 17 25 3 27 mlt(R,mod(R,flr(D))) 119062 139060872 o2(x,o2(x,o1(x))) true 112503 112503 -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_x25_u3_b28 17 25 3 28 mlt(R,lrg(R,flr(D))) 119063 139060873 o2(x,o2(x,o1(x))) true 112511 112511 0.1344 0.642 0.325 0.1541 0.3925 -0.9985 0.9809 1.979 1 4.614 0.01115 0.002092 0.06771 0.6842 1 0.00001429 0.01822 0.04228 0.008661 0.09307 1.374 0.9985 0.08596 0.1183 1 1 0.01764 0.1333 0.265 0.1145 0.8652 1.72 json
t17_x25_u3_b29 17 25 3 29 mlt(R,eql(R,flr(D))) 119064 139060874 o2(x,o2(x,o1(x))) true 112519 112519 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_x25_u3_b30 17 25 3 30 mlt(R,min(R,flr(D))) 119065 139060875 o2(x,o2(x,o1(x))) true 112527 112527 0.08007 0.6317 0.2831 0.1373 0.3705 -0.9806 0.9987 1.979 1 4.492 0.01132 0.001905 0.0652 0.7118 1 -0.00001919 0.01955 0.04709 0.008974 0.09473 1.453 0.9695 0.09634 0.1424 1 1 0.01659 0.1168 0.2316 0.1208 0.851 1.687 json
t17_x25_u3_b31 17 25 3 31 mlt(R,dot(R,flr(D))) 119066 139060876 o2(x,o2(x,o1(x))) true 112535 112535 -0.162 0.2132 0.2196 0.07504 0.2739 -1 0.8996 1.9 1 3.925 0.01266 0.006417 0.06846 0.3272 1 0.00001603 0.03411 0.07315 0.01439 0.12 1.752 1.282 0.2542 0.4546 1 1 0.02018 0.09408 0.1154 0.2689 1.254 1.538 json
t17_x25_u3_b32 17 25 3 32 mlt(R,dst(R,flr(D))) 119067 139060877 o2(x,o2(x,o1(x))) true 112543 112543 0.09362 0.5285 0.5137 0.3665 0.6054 -1 1 2 1 4.759 0.007663 0.008296 0.09065 -0.03969 1 -0.0000157 0.01096 0.0509 0.007741 0.08799 0.9706 0.757 0.04354 0.0299 1 1 0.02778 0.2856 0.6695 0.0758 0.7791 1.827 json
t17_x25_u3_b33 17 25 3 33 div(R,add(R,flr(D))) 119068 139060878 o2(x,o2(x,o1(x))) true 112551 112551 0.2548 0.7109 0.6673 0.4819 0.6942 -1 0.9999 2 1 4.272 0.1363 0.006002 0.1719 0.9157 1 0.000148 0.2489 0.1901 0.1128 0.3359 1.954 2.275 0.2953 0.5165 1 1 0.1629 0.6575 0.5052 0.338 1.364 1.048 json
t17_x25_u3_b34 17 25 3 34 div(R,sub(R,flr(D))) 119069 139060879 o2(x,o2(x,o1(x))) true 112559 112559 0.2642 0.7086 0.6591 0.4673 0.6836 -1 0.9999 2 1 4.314 0.1364 0.006452 0.1703 0.9096 1 0.0004179 0.2564 0.1908 0.1138 0.3374 1.982 2.198 0.3056 0.5486 1 1 0.1588 0.6174 0.418 0.3398 1.321 0.8944 json
t17_x25_u3_b35 17 25 3 35 div(R,mlt(R,flr(D))) 119070 139060880 o2(x,o2(x,o1(x))) true 112567 112567 -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_x25_u3_b36 17 25 3 36 div(R,div(R,flr(D))) 119071 139060881 o2(x,o2(x,o1(x))) true 112575 112575 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 4.579e-17 0.1228 1 1 3.734e-9 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 7.405e-16 0.4989 1.706 5.223e-15 json
t17_x25_u3_b37 17 25 3 37 div(R,pow(R,flr(D))) 119072 139060882 o2(x,o2(x,o1(x))) true 112583 112583 -0.7433 0.1589 0.8658 0.2763 0.5256 -1 0.9806 1.981 1 1.704 0.03192 0.02882 0.05531 0.05112 1 0.00001912 0.1274 0.09138 0.05771 0.2402 4.343 2.661 0.2198 0.4611 1 1 0.06048 0.2589 0.5868 0.2189 0.9369 2.124 json
t17_x25_u3_b38 17 25 3 38 div(R,mod(R,flr(D))) 119073 139060883 o2(x,o2(x,o1(x))) true 112591 112591 -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_x25_u3_b39 17 25 3 39 div(R,lrg(R,flr(D))) 119074 139060884 o2(x,o2(x,o1(x))) true 112599 112599 -0.7151 0.1729 0.8775 0.3255 0.5705 -1 0.9632 1.963 1 1.757 0.03653 0.03195 0.05875 0.06691 1 0.00002261 0.1433 0.09607 0.06501 0.255 4.34 2.742 0.2104 0.4403 1 1 0.07048 0.3018 0.6953 0.2165 0.9272 2.136 json
t17_x25_u3_b40 17 25 3 40 div(R,eql(R,flr(D))) 119075 139060885 o2(x,o2(x,o1(x))) true 112607 112607 -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_x25_u3_b41 17 25 3 41 div(R,min(R,flr(D))) 119076 139060886 o2(x,o2(x,o1(x))) true 112615 112615 -0.6271 0.2032 0.9141 0.4881 0.6986 -1 1 2 1 1.839 0.05811 0.04326 0.07544 0.1465 1 0.000006817 0.2095 0.1204 0.09568 0.3093 4.1 2.792 0.2077 0.4292 1 1 0.1071 0.4516 0.9021 0.2193 0.9252 1.848 json
t17_x25_u3_b42 17 25 3 42 div(R,dot(R,flr(D))) 119077 139060887 o2(x,o2(x,o1(x))) true 112623 112623 -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_x25_u3_b43 17 25 3 43 div(R,dst(R,flr(D))) 119078 139060888 o2(x,o2(x,o1(x))) true 112631 112631 -0.05649 0.467 0.3276 0.1573 0.3966 -1 0.9745 1.974 1 4.643 0.004336 0.004543 0.06744 -0.02323 1 0.00003 0.00973 0.04438 0.004331 0.06581 0.9759 0.9826 0.05646 0.06187 1 1 0.01223 0.1131 0.2649 0.07775 0.719 1.684 json
t17_x25_u3_b44 17 25 3 44 pow(R,add(R,flr(D))) 119079 139060889 o2(x,o2(x,o1(x))) true 112639 112639 -0.917 0.04297 0.997 0.1536 0.392 -1 1 2 1 0.3271 0.01522 0.01536 0.01647 -0.00469 1 -0.00001482 0.06382 0.03224 0.03029 0.174 10.57 2.828 0.1991 0.4154 1 1 0.02364 0.1034 0.2564 0.1539 0.6729 1.669 json
t17_x25_u3_b45 17 25 3 45 pow(R,sub(R,flr(D))) 119080 139060890 o2(x,o2(x,o1(x))) true 112647 112647 -0.9302 0.04297 0.9839 0.11 0.3316 -1 0.946 1.946 1 0.3994 0.01111 0.01093 0.01458 0.008194 1 0.000008684 0.04598 0.02719 0.02182 0.1477 10.13 2.498 0.2005 0.4181 1 1 0.01691 0.07414 0.1862 0.1538 0.6742 1.693 json
t17_x25_u3_b46 17 25 3 46 pow(R,mlt(R,flr(D))) 119081 139060891 o2(x,o2(x,o1(x))) true 112655 112655 -0.5781 0.2109 1 0.6661 0.8161 -1 1 2 1 0.7433 0.08151 0.06689 0.07361 0.09847 1 0 0.3136 0.1484 0.143 0.3782 5.137 2.828 0.2228 0.4707 1 1 0.1477 0.6117 1.421 0.2217 0.9184 2.134 json
t17_x25_u3_b47 17 25 3 47 pow(R,div(R,flr(D))) 119082 139060892 o2(x,o2(x,o1(x))) true 112663 112663 -0.9325 0.04297 0.9816 0.1085 0.3294 -1 1 2 1 0.3907 0.01151 0.01097 0.01569 0.02407 1 -0.00001659 0.04643 0.02706 0.02224 0.1491 9.502 2.828 0.2073 0.428 1 1 0.01763 0.07896 0.1829 0.1626 0.7278 1.686 json
t17_x25_u3_b48 17 25 3 48 pow(R,pow(R,flr(D))) 119083 139060893 o2(x,o2(x,o1(x))) true 112671 112671 -0.936 0.04297 0.9781 0.09381 0.3063 -1 0.9428 1.943 1 0.4216 0.009385 0.009335 0.0137 0.002656 1 0.00001183 0.03898 0.02484 0.01853 0.1361 9.934 2.614 0.1996 0.4155 1 1 0.01478 0.06495 0.1585 0.1575 0.6923 1.69 json
t17_x25_u3_b49 17 25 3 49 pow(R,mod(R,flr(D))) 119084 139060894 o2(x,o2(x,o1(x))) true 112679 112679 -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_x25_u3_b50 17 25 3 50 pow(R,lrg(R,flr(D))) 119085 139060895 o2(x,o2(x,o1(x))) true 112687 112687 -0.6464 0.2109 0.9317 0.4791 0.6922 -1 1 2 1 1.519 0.06124 0.04767 0.06903 0.1246 1 0.00000895 0.2293 0.1268 0.1042 0.3228 4.676 2.742 0.2273 0.4785 1 1 0.108 0.4499 1.024 0.2254 0.939 2.138 json
t17_x25_u3_b51 17 25 3 51 pow(R,eql(R,flr(D))) 119086 139060896 o2(x,o2(x,o1(x))) true 112695 112695 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_x25_u3_b52 17 25 3 52 pow(R,min(R,flr(D))) 119087 139060897 o2(x,o2(x,o1(x))) true 112703 112703 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x25_u3_b53 17 25 3 53 pow(R,dot(R,flr(D))) 119088 139060898 o2(x,o2(x,o1(x))) true 112711 112711 -0.8009 0.1016 0.996 0.3519 0.5932 -1 1 2 1 0.5805 0.03605 0.04261 0.04082 -0.08344 1 -0.000004141 0.1662 0.08083 0.07699 0.2775 6.797 2.828 0.2235 0.4724 1 1 0.08452 0.3478 0.7622 0.2402 0.9884 2.166 json
t17_x25_u3_b54 17 25 3 54 pow(R,dst(R,flr(D))) 119089 139060899 o2(x,o2(x,o1(x))) true 112719 112719 -0.9356 0.04297 0.9784 0.09393 0.3065 -1 0.937 1.937 1 0.4127 0.009376 0.00951 0.01364 -0.007085 1 0.000009456 0.03939 0.0251 0.0187 0.1368 10.02 2.37 0.2011 0.4194 1 1 0.01441 0.06298 0.1547 0.1534 0.6705 1.647 json
t17_x25_u3_b55 17 25 3 55 mod(R,add(R,flr(D))) 119090 139060900 o2(x,o2(x,o1(x))) true 112727 112727 -0.09489 0.3815 0.1921 0.07306 0.2703 -0.9987 0.9558 1.954 1 3.926 0.009045 0.0009903 0.0494 0.8026 1 -0.00002267 0.01607 0.03802 0.007595 0.08715 1.764 0.9987 0.1373 0.22 1 1 0.01204 0.07787 0.1337 0.1647 1.066 1.831 json
t17_x25_u3_b56 17 25 3 56 mod(R,sub(R,flr(D))) 119091 139060901 o2(x,o2(x,o1(x))) true 112735 112735 0.07026 0.5282 0.1982 0.08064 0.284 -0.9676 0.9807 1.948 1 4.002 0.01112 0.001106 0.05331 0.819 1 -0.00001318 0.02012 0.04331 0.009381 0.09686 1.817 0.9767 0.1516 0.2495 1 1 0.01488 0.09325 0.1685 0.1845 1.156 2.09 json
t17_x25_u3_b57 17 25 3 57 mod(R,mlt(R,flr(D))) 119092 139060902 o2(x,o2(x,o1(x))) true 112743 112743 -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_x25_u3_b58 17 25 3 58 mod(R,div(R,flr(D))) 119093 139060903 o2(x,o2(x,o1(x))) true 112751 112751 -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_x25_u3_b59 17 25 3 59 mod(R,pow(R,flr(D))) 119094 139060904 o2(x,o2(x,o1(x))) true 112759 112759 -0.7255 0.1662 0.8807 0.3152 0.5615 -1 0.9806 1.981 1 1.708 0.03692 0.03285 0.0588 0.05827 1 0.00001714 0.1463 0.0971 0.06629 0.2575 4.379 2.742 0.2213 0.4642 1 1 0.0702 0.2988 0.6739 0.2227 0.9478 2.138 json
t17_x25_u3_b60 17 25 3 60 mod(R,mod(R,flr(D))) 119095 139060905 o2(x,o2(x,o1(x))) true 112767 112767 -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_x25_u3_b61 17 25 3 61 mod(R,lrg(R,flr(D))) 119096 139060906 o2(x,o2(x,o1(x))) true 112775 112775 -0.7151 0.1729 0.8775 0.3255 0.5705 -1 0.9632 1.963 1 1.757 0.03653 0.03195 0.05875 0.06691 1 0.00002261 0.1433 0.09607 0.06501 0.255 4.34 2.742 0.2104 0.4403 1 1 0.07048 0.3018 0.6953 0.2165 0.9272 2.136 json
t17_x25_u3_b62 17 25 3 62 mod(R,eql(R,flr(D))) 119097 139060907 o2(x,o2(x,o1(x))) true 112783 112783 -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_x25_u3_b63 17 25 3 63 mod(R,min(R,flr(D))) 119098 139060908 o2(x,o2(x,o1(x))) true 112791 112791 -0.7708 0.08853 0.8206 0.1932 0.4396 -1 0.9805 1.981 1 1.884 0.02855 0.01566 0.05005 0.2916 1 -0.000007441 0.09064 0.07968 0.04171 0.2042 4.08 2.783 0.2288 0.469 1 1 0.0429 0.1872 0.3383 0.222 0.969 1.751 json
t17_x25_u3_b64 17 25 3 64 mod(R,dot(R,flr(D))) 119099 139060909 o2(x,o2(x,o1(x))) true 112799 112799 -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