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
t12_x25_u2_b95 12 25 2 95 frc(min(R,eql(R,D))) 40700 98457734 o1(o2(x,o2(x,x))) true 5607 5607 0.2635 0.9281 0.2635 0.06592 0.2568 0 0.9969 0.9969 1 3.381 0.000835 0.001027 0.03338 -0.1029 1 0.00003113 0.0001101 0.007819 0.0007475 0.02734 0.819 0.1165 0.02824 0.00167 1 1 0.003689 0.04762 0.1331 0.05596 0.7223 2.019 json
t12_x25_u2_b96 12 25 2 96 frc(min(R,min(R,D))) 40701 98457735 o1(o2(x,o2(x,x))) true 5615 5615 0.4766 1 0.4766 0.06044 0.2459 0.0009555 0.9968 0.9959 1 3.924 0.02393 0.000585 0.06972 0.9523 1 0.00002225 0.05046 0.06447 0.01965 0.1402 2.011 0.9655 0.4055 0.8348 1 1 0.02312 0.06973 0.07369 0.3826 1.154 1.219 json
t12_x25_u2_b97 12 25 2 97 frc(min(R,dot(R,D))) 40702 98457736 o1(o2(x,o2(x,x))) true 5623 5623 0.4926 1 0.4926 0.06385 0.2527 0.0003807 0.9995 0.9992 1 3.934 0.01616 0.01608 0.07776 0.002458 1 0.0001379 0.11 0.09259 0.0262 0.1619 2.081 1.407 0.505 1.722 1 1 0.03137 0.09326 0.1105 0.4913 1.461 1.73 json
t12_x25_u2_b98 12 25 2 98 frc(min(R,dst(R,D))) 40703 98457737 o1(o2(x,o2(x,x))) true 5631 5631 0.5214 1 0.5214 0.05048 0.2247 0.001084 0.997 0.9959 1 3.812 0.0007527 0.0006955 0.03134 0.03949 1 0.00006088 0.0001041 0.007666 0.000466 0.02159 0.6888 0.1214 0.02869 0.002062 1 1 0.002589 0.03282 0.0853 0.05128 0.6502 1.69 json
t12_x25_u2_b99 12 25 2 99 frc(dot(R,add(R,D))) 40704 98457738 o1(o2(x,o2(x,x))) true 5639 5639 0.4797 1 0.4797 0.04883 0.221 0.001434 0.9992 0.9978 1 3.816 0.01832 0.01769 0.09388 0.01745 1 -0.00006843 0.1248 0.1264 0.02719 0.1649 1.757 1.385 0.7374 2.557 1 1 0.03544 0.096 0.0988 0.7259 1.966 2.023 json
t12_x25_u2_b100 12 25 2 100 frc(dot(R,sub(R,D))) 40705 98457739 o1(o2(x,o2(x,x))) true 5647 5647 0.4815 1 0.4815 0.04755 0.2181 0.001909 0.9991 0.9972 1 3.805 0.01826 0.01738 0.09375 0.0248 1 -0.00005365 0.124 0.126 0.02685 0.1639 1.748 1.396 0.7495 2.608 1 1 0.03492 0.09587 0.09751 0.7343 2.016 2.051 json
t12_x25_u2_b101 12 25 2 101 frc(dot(R,mlt(R,D))) 40706 98457740 o1(o2(x,o2(x,x))) true 5655 5655 0.4961 1 0.4961 0.08662 0.2943 0.000286 0.9997 0.9994 1 3.997 0.0307 0.02968 0.1269 0.01702 1 0.0002065 0.1808 0.1641 0.04427 0.2104 1.658 1.412 0.6971 2.087 1 1 0.06172 0.1749 0.1004 0.7126 2.019 1.159 json
t12_x25_u2_b102 12 25 2 102 frc(dot(R,div(R,D))) 40707 98457741 o1(o2(x,o2(x,x))) true 5663 5663 -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
t12_x25_u2_b103 12 25 2 103 frc(dot(R,pow(R,D))) 40708 98457742 o1(o2(x,o2(x,x))) true 5671 5671 -0.9945 0.003906 0.9977 0.00801 0.0895 -1 0.9922 1.992 1 0.05127 0.001094 0.001061 0.001584 0.01532 1 3.754e-12 0.004856 0.002881 0.002151 0.04637 29.28 2.817 0.269 0.6063 1 1 0.003694 0.01484 0.02796 0.4612 1.852 3.49 json
t12_x25_u2_b104 12 25 2 104 frc(dot(R,mod(R,D))) 40709 98457743 o1(o2(x,o2(x,x))) true 5679 5679 0.4002 1 0.4002 0.04815 0.2194 0.004469 0.998 0.9935 1 3.761 0.01692 0.01283 0.1003 0.1377 1 -0.0001639 0.1008 0.164 0.0197 0.1403 1.4 1.368 0.6179 2.094 1 1 0.0206 0.05773 0.1031 0.4279 1.199 2.142 json
t12_x25_u2_b105 12 25 2 105 frc(dot(R,lrg(R,D))) 40710 98457744 o1(o2(x,o2(x,x))) true 5687 5687 0.4514 0.998 0.4514 0.06288 0.2508 0 0.9938 0.9938 1 3.906 0.005223 0.005023 0.05459 0.01954 1 0.00006215 0.01826 0.05288 0.007266 0.08524 1.561 1.05 0.163 0.2904 1 1 0.01038 0.06173 0.1237 0.165 0.9818 1.968 json
t12_x25_u2_b106 12 25 2 106 frc(dot(R,eql(R,D))) 40711 98457745 o1(o2(x,o2(x,x))) true 5695 5695 0.0000754 0.0006866 0.0000754 0.00001291 0.003593 0 0.2421 0.2421 1 0.006061 0.000002564 0.00002318 0.0001488 -0.8008 0 4.757e-8 0.0000774 0.0002946 0.00002571 0.00507 34.08 0.2421 1.994 5.995 1 1 0.00002093 0.0000278 0.00004203 1.622 2.153 3.255 json
t12_x25_u2_b107 12 25 2 107 frc(dot(R,min(R,D))) 40712 98457746 o1(o2(x,o2(x,x))) true 5703 5703 0.4577 1 0.4577 0.0535 0.2313 0.0003835 0.9996 0.9992 1 3.852 0.01249 0.01372 0.07428 -0.04685 1 -0.0001605 0.07335 0.08221 0.02069 0.1438 1.936 1.403 0.4899 1.371 1 1 0.02664 0.08347 0.1015 0.498 1.56 1.897 json
t12_x25_u2_b108 12 25 2 108 frc(dot(R,dot(R,D))) 40713 98457747 o1(o2(x,o2(x,x))) true 5711 5711 0.5029 1 0.5029 0.09864 0.3141 0.0002162 0.9998 0.9996 1 3.97 0.03503 0.03443 0.1369 0.00854 1 -0.0002082 0.2357 0.198 0.05071 0.2252 1.644 1.411 0.7042 2.389 1 1 0.06914 0.1951 0.1887 0.7009 1.977 1.913 json
t12_x25_u2_b109 12 25 2 109 frc(dot(R,dst(R,D))) 40714 98457748 o1(o2(x,o2(x,x))) true 5719 5719 0.5127 1 0.5127 0.05409 0.2326 0.00128 0.9998 0.9986 1 3.871 0.01307 0.01417 0.07974 -0.04039 1 -0.00009853 0.09153 0.09459 0.02088 0.1445 1.812 1.359 0.5035 1.692 1 1 0.02867 0.08381 0.1153 0.53 1.549 2.132 json
t12_x25_u2_b110 12 25 2 110 frc(dst(R,add(R,D))) 40715 98457749 o1(o2(x,o2(x,x))) true 5727 5727 0.4415 1 0.4415 0.02494 0.1579 0.04473 0.7026 0.6579 1 3.253 0.002 0.002 0.05934 9.312e-7 1 -0.0006633 0.0009277 0.02445 0.0004789 0.02188 0.3688 0.1006 0.1604 0.0372 1 1 0.007614 0.05036 2.323e-16 0.3053 2.019 9.314e-15 json
t12_x25_u2_b111 12 25 2 111 frc(dst(R,sub(R,D))) 40716 98457750 o1(o2(x,o2(x,x))) true 5735 5735 0.4415 1 0.4415 0.02494 0.1579 0.04473 0.7026 0.6579 1 3.253 0.002 0.002 0.05934 9.312e-7 1 -0.0006633 0.0009277 0.02445 0.0004789 0.02188 0.3688 0.1006 0.1604 0.0372 1 1 0.007614 0.05036 2.605e-16 0.3053 2.019 1.045e-14 json
t12_x25_u2_b112 12 25 2 112 frc(dst(R,mlt(R,D))) 40717 98457751 o1(o2(x,o2(x,x))) true 5743 5743 0.4994 1 0.4994 0.05571 0.236 0.0009906 0.999 0.998 1 3.881 0.01353 0.01334 0.07614 0.007258 1 -0.0001769 0.07834 0.08729 0.02107 0.1452 1.906 1.385 0.4822 1.406 1 1 0.0284 0.09487 0.112 0.5097 1.703 2.01 json
t12_x25_u2_b113 12 25 2 113 frc(dst(R,div(R,D))) 40718 98457752 o1(o2(x,o2(x,x))) true 5751 5751 -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
t12_x25_u2_b114 12 25 2 114 frc(dst(R,pow(R,D))) 40719 98457753 o1(o2(x,o2(x,x))) true 5759 5759 -0.9942 0.003906 0.998 0.008681 0.09317 -1 0.9928 1.993 1 0.05038 0.00121 0.001312 0.001824 -0.04051 1 1.877e-11 0.005707 0.003395 0.002517 0.05016 27.5 2.776 0.2905 0.6574 1 1 0.004332 0.01606 0.03047 0.499 1.849 3.51 json
t12_x25_u2_b115 12 25 2 115 frc(dst(R,mod(R,D))) 40720 98457754 o1(o2(x,o2(x,x))) true 5767 5767 0.5204 0.9994 0.5204 0.0553 0.2352 0 0.9984 0.9984 1 3.879 0.02189 0.02296 0.1252 -0.02399 1 0.00002302 0.1667 0.2181 0.02917 0.1708 1.364 1.365 0.8111 3.015 1 1 0.02597 0.06514 0.09963 0.4696 1.178 1.802 json
t12_x25_u2_b116 12 25 2 116 frc(dst(R,lrg(R,D))) 40721 98457755 o1(o2(x,o2(x,x))) true 5775 5775 0.4873 1 0.4873 0.06321 0.2514 0.0008178 0.9989 0.998 1 3.929 0.004261 0.004248 0.05128 0.00155 1 -0.00007854 0.01497 0.04944 0.00588 0.07668 1.496 0.8471 0.1346 0.2368 1 1 0.01004 0.06104 0.1158 0.1589 0.9657 1.832 json
t12_x25_u2_b117 12 25 2 117 frc(dst(R,eql(R,D))) 40722 98457756 o1(o2(x,o2(x,x))) true 5783 5783 0.45 1 0.45 0.06288 0.2508 0.01038 0.9973 0.9869 1 3.893 0.0007242 0.0008746 0.03221 -0.09408 1 0.000009665 0.0001749 0.007667 0.000561 0.02369 0.7352 0.2869 0.02542 0.002781 1 1 0.003211 0.04127 0.1376 0.05106 0.6563 2.189 json
t12_x25_u2_b118 12 25 2 118 frc(dst(R,min(R,D))) 40723 98457757 o1(o2(x,o2(x,x))) true 5791 5791 0.4192 0.9982 0.4192 0.06235 0.2497 0 0.9991 0.9991 1 3.896 0.01208 0.01243 0.07733 -0.0143 1 0.0001738 0.06352 0.08073 0.01854 0.1362 1.761 1.364 0.3932 1.019 1 1 0.02681 0.09262 0.1199 0.4299 1.485 1.924 json
t12_x25_u2_b119 12 25 2 119 frc(dst(R,dot(R,D))) 40724 98457758 o1(o2(x,o2(x,x))) true 5799 5799 0.4983 1 0.4983 0.05419 0.2328 0.0007539 0.9994 0.9986 1 3.871 0.01697 0.01769 0.09143 -0.02068 1 -0.000007678 0.1189 0.1221 0.0263 0.1622 1.774 1.388 0.6395 2.195 1 1 0.03469 0.09543 0.1077 0.6401 1.761 1.987 json
t12_x25_u2_b120 12 25 2 120 frc(dst(R,dst(R,D))) 40725 98457759 o1(o2(x,o2(x,x))) true 5807 5807 0.5055 1 0.5055 0.05087 0.2255 0.0003455 0.9993 0.9989 1 3.841 0.02962 0.02972 0.1372 -0.001687 1 -0.00005723 0.2049 0.204 0.04054 0.2013 1.468 1.362 1.167 4.027 1 1 0.05602 0.1175 0.1047 1.101 2.31 2.058 json
t12_x25_u3_b0 12 25 3 0 flr(add(R,add(R,D))) 40726 98457840 o1(o2(x,o2(x,x))) true 5815 5815 -0.3058 0.3245 0.6877 0.5039 0.7098 -1 1 2 1 3.99 0.02859 0.009205 0.1193 0.5128 1 -0.00001606 0.04674 0.09681 0.02358 0.1536 1.288 1.117 0.07501 0.09276 1 1 0.05405 0.4204 0.9595 0.1073 0.8344 1.904 json
t12_x25_u3_b1 12 25 3 1 flr(add(R,sub(R,D))) 40727 98457841 o1(o2(x,o2(x,x))) true 5823 5823 -0.3073 0.3213 0.6891 0.5051 0.7107 -1 1 2 1 3.977 0.02796 0.009242 0.1168 0.5031 1 0.0002364 0.04558 0.09524 0.02355 0.1535 1.313 1.103 0.07364 0.09024 1 1 0.05379 0.4221 0.9596 0.1065 0.8356 1.9 json
t12_x25_u3_b2 12 25 3 2 flr(add(R,mlt(R,D))) 40728 98457842 o1(o2(x,o2(x,x))) true 5831 5831 -0.4734 0.1185 0.5464 0.2234 0.4727 -1 0.9991 1.999 1 3.966 0.01143 0.003658 0.07579 0.5152 1 -0.0003173 0.0187 0.04369 0.009346 0.09667 1.276 0.9989 0.06753 0.08367 1 1 0.02028 0.174 0.4188 0.09075 0.7788 1.874 json
t12_x25_u3_b3 12 25 3 3 flr(add(R,div(R,D))) 40729 98457843 o1(o2(x,o2(x,x))) true 5839 5839 -0.1732 0.3961 0.8105 0.722 0.8497 -1 1 2 1 3.208 0.2803 0.03199 0.2524 0.7951 1 0.0002063 0.6421 0.3873 0.2485 0.4985 1.975 2.828 0.4325 0.8893 1 1 0.3382 1.27 1.314 0.4684 1.759 1.821 json
t12_x25_u3_b4 12 25 3 4 flr(add(R,pow(R,D))) 40730 98457844 o1(o2(x,o2(x,x))) true 5847 5847 -0.9173 0.04297 0.9967 0.1537 0.3921 -1 1 2 1 0.3181 0.01739 0.01505 0.01762 0.0719 1 0.0001214 0.06912 0.03421 0.03216 0.1793 10.18 2.828 0.211 0.4496 1 1 0.02442 0.1036 0.256 0.1588 0.674 1.665 json
t12_x25_u3_b5 12 25 3 5 flr(add(R,mod(R,D))) 40731 98457845 o1(o2(x,o2(x,x))) true 5855 5855 -0.4661 0.1381 0.5503 0.2357 0.4855 -1 0.9999 2 1 3.973 0.0416 0.003986 0.1193 0.8251 1 -0.0004271 0.1145 0.1469 0.03136 0.1771 1.484 1.117 0.1934 0.4858 1 1 0.03511 0.1867 0.4493 0.149 0.7923 1.906 json
t12_x25_u3_b6 12 25 3 6 flr(add(R,lrg(R,D))) 40732 98457846 o1(o2(x,o2(x,x))) true 5863 5863 -0.01845 0.4848 0.6637 0.5456 0.7386 -1 1 2 1 4.443 0.0256 0.008298 0.1229 0.5104 1 -0.000003788 0.0388 0.08007 0.0188 0.1371 1.116 1.113 0.06213 0.07111 1 1 0.04772 0.4396 1.015 0.08747 0.8058 1.861 json
t12_x25_u3_b7 12 25 3 7 flr(add(R,eql(R,D))) 40733 98457847 o1(o2(x,o2(x,x))) true 5871 5871 -0.5175 0 0.5175 0.1537 0.392 -1 0 1 1 3.585 0.001987 0.002441 0.05172 -0.1027 1 -0.00001769 0.0003032 0.01268 0.001753 0.04187 0.8095 0.3193 0.02881 0.001973 1 1 0.008731 0.1124 0.2862 0.05681 0.7316 1.862 json
t12_x25_u3_b8 12 25 3 8 flr(add(R,min(R,D))) 40734 98457848 o1(o2(x,o2(x,x))) true 5879 5879 -0.5684 0.104 0.6339 0.2305 0.4801 -1 0.9985 1.999 1 3.488 0.0207 0.004541 0.08639 0.6402 1 0.00001772 0.03748 0.07016 0.01778 0.1333 1.543 0.9994 0.1095 0.1626 1 1 0.03049 0.2051 0.4279 0.1323 0.8896 1.856 json
t12_x25_u3_b9 12 25 3 9 flr(add(R,dot(R,D))) 40735 98457849 o1(o2(x,o2(x,x))) true 5887 5887 -0.4562 0.1435 0.5459 0.2409 0.4909 -1 1 2 1 4.001 0.01435 0.01849 0.09811 -0.126 1 -0.00008116 0.08666 0.1045 0.02321 0.1523 1.553 1.408 0.1363 0.3597 1 1 0.03672 0.2214 0.4413 0.1524 0.919 1.831 json
t12_x25_u3_b10 12 25 3 10 flr(add(R,dst(R,D))) 40736 98457850 o1(o2(x,o2(x,x))) true 5895 5895 0.4778 0.9006 0.5145 0.199 0.4461 -0.9994 1 1.999 1 3.589 0.01328 0.01576 0.09024 -0.08511 1 0.00001107 0.07521 0.09813 0.0209 0.1446 1.602 1.414 0.1459 0.3779 1 1 0.03335 0.1911 0.3602 0.1676 0.9602 1.81 json
t12_x25_u3_b11 12 25 3 11 flr(sub(R,add(R,D))) 40737 98457851 o1(o2(x,o2(x,x))) true 5903 5903 -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
t12_x25_u3_b12 12 25 3 12 flr(sub(R,sub(R,D))) 40738 98457852 o1(o2(x,o2(x,x))) true 5911 5911 -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
t12_x25_u3_b13 12 25 3 13 flr(sub(R,mlt(R,D))) 40739 98457853 o1(o2(x,o2(x,x))) true 5919 5919 -0.4752 0.1108 0.5452 0.2216 0.4708 -1 0.9991 1.999 1 3.931 0.01148 0.003675 0.07496 0.5149 1 -0.0002779 0.0183 0.04285 0.009535 0.09764 1.303 1 0.06837 0.08256 1 1 0.0204 0.1721 0.4145 0.09204 0.7765 1.87 json
t12_x25_u3_b14 12 25 3 14 flr(sub(R,div(R,D))) 40740 98457854 o1(o2(x,o2(x,x))) true 5927 5927 -0.1909 0.3878 0.8165 0.7225 0.85 -1 1 2 1 3.175 0.2796 0.03209 0.2513 0.7941 1 0.0005178 0.6428 0.3878 0.2486 0.4986 1.984 2.828 0.4314 0.8896 1 1 0.3364 1.273 1.315 0.4656 1.762 1.82 json
t12_x25_u3_b15 12 25 3 15 flr(sub(R,pow(R,D))) 40741 98457855 o1(o2(x,o2(x,x))) true 5935 5935 -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
t12_x25_u3_b16 12 25 3 16 flr(sub(R,mod(R,D))) 40742 98457856 o1(o2(x,o2(x,x))) true 5943 5943 -0.366 0 0.366 0.1531 0.3913 -1 0 1 1 3.432 0.02187 0.002116 0.07193 0.8236 1 -0.0003024 0.03988 0.07212 0.01881 0.1372 1.907 0.9994 0.1566 0.2605 1 1 0.02907 0.1538 0.2589 0.1899 1.004 1.691 json
t12_x25_u3_b17 12 25 3 17 flr(sub(R,lrg(R,D))) 40743 98457857 o1(o2(x,o2(x,x))) true 5951 5951 -0.9528 0 0.9528 0.02094 0.1447 -1 -0.0005821 0.9994 1 1.052 0.007757 0.0003592 0.02641 0.9115 1 -0.00004201 0.0159 0.03055 0.007421 0.08614 3.262 0.9991 0.3875 0.7589 1 1 0.006867 0.02219 0.03492 0.3279 1.059 1.667 json
t12_x25_u3_b18 12 25 3 18 flr(sub(R,eql(R,D))) 40744 98457858 o1(o2(x,o2(x,x))) true 5959 5959 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001979 0.002443 0.05171 -0.105 1 -0.00001745 0.0002796 0.01264 0.001748 0.04181 0.8085 0.2454 0.02876 0.001819 1 1 0.008731 0.1124 0.2862 0.0568 0.7315 1.862 json
t12_x25_u3_b19 12 25 3 19 flr(sub(R,min(R,D))) 40745 98457859 o1(o2(x,o2(x,x))) true 5967 5967 0.08059 0.4124 0.08059 0.03574 0.1891 0 0.9994 0.9994 1 1.541 0.01092 0.0004915 0.03487 0.9139 1 -0.0001176 0.02161 0.03701 0.0102 0.101 2.896 0.9994 0.3194 0.6045 1 1 0.01212 0.04703 0.06625 0.3389 1.316 1.853 json
t12_x25_u3_b20 12 25 3 20 flr(sub(R,dot(R,D))) 40746 98457860 o1(o2(x,o2(x,x))) true 5975 5975 -0.4644 0.1254 0.5452 0.2324 0.4821 -1 0.9997 2 1 3.972 0.01385 0.01802 0.09701 -0.1308 1 0.0001383 0.08302 0.1011 0.02246 0.1499 1.545 1.413 0.1371 0.3572 1 1 0.03627 0.2176 0.4352 0.156 0.9363 1.872 json
t12_x25_u3_b21 12 25 3 21 flr(sub(R,dst(R,D))) 40747 98457861 o1(o2(x,o2(x,x))) true 5983 5983 -0.9796 0 0.9796 0.0109 0.1044 -1 -0.007704 0.9923 1 0.4737 0.003747 0.002637 0.01448 0.1739 1 -0.0001505 0.02012 0.02193 0.006176 0.07859 5.426 1.393 0.5857 1.846 1 1 0.005211 0.01619 0.01789 0.478 1.485 1.641 json
t12_x25_u3_b22 12 25 3 22 flr(mlt(R,add(R,D))) 40748 98457862 o1(o2(x,o2(x,x))) true 5991 5991 -0.06215 0.2563 0.176 0.09724 0.3118 -1 1 2 1 3.548 0.02901 0.001401 0.08298 0.9079 1 0.0005421 0.0586 0.09702 0.02352 0.1534 1.848 1 0.3127 0.6026 1 1 0.0289 0.1126 0.1864 0.2972 1.158 1.917 json
t12_x25_u3_b23 12 25 3 23 flr(mlt(R,sub(R,D))) 40749 98457863 o1(o2(x,o2(x,x))) true 5999 5999 -0.06523 0.2614 0.1746 0.0959 0.3097 -1 0.9998 2 1 3.538 0.02887 0.001346 0.08227 0.9109 1 -0.0002024 0.058 0.09612 0.02345 0.1531 1.861 0.9997 0.3151 0.6048 1 1 0.02895 0.1125 0.1807 0.3019 1.173 1.884 json
t12_x25_u3_b24 12 25 3 24 flr(mlt(R,mlt(R,D))) 40750 98457864 o1(o2(x,o2(x,x))) true 6007 6007 -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
t12_x25_u3_b25 12 25 3 25 flr(mlt(R,div(R,D))) 40751 98457865 o1(o2(x,o2(x,x))) true 6015 6015 -0.2587 0.3104 0.7419 0.5983 0.7735 -1 1 2 1 3.625 0.2777 0.002424 0.2409 0.9827 1 0.0003382 0.5398 0.3448 0.222 0.4712 1.956 2 0.4681 0.9022 1 1 0.2988 1.013 0.1915 0.4994 1.692 0.32 json
t12_x25_u3_b26 12 25 3 26 flr(mlt(R,pow(R,D))) 40752 98457866 o1(o2(x,o2(x,x))) true 6023 6023 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x25_u3_b27 12 25 3 27 flr(mlt(R,mod(R,D))) 40753 98457867 o1(o2(x,o2(x,x))) true 6031 6031 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
t12_x25_u3_b28 12 25 3 28 flr(mlt(R,lrg(R,D))) 40754 98457868 o1(o2(x,o2(x,x))) true 6039 6039 -0.07594 0 0.07594 0.03217 0.1794 -0.9994 0 0.9994 1 2.189 0.01071 0.0004525 0.03489 0.9189 1 0.00001747 0.02139 0.03797 0.009945 0.09972 2.858 0.9994 0.3469 0.6648 1 1 0.01183 0.04431 0.06024 0.3676 1.377 1.872 json
t12_x25_u3_b29 12 25 3 29 flr(mlt(R,eql(R,D))) 40755 98457869 o1(o2(x,o2(x,x))) true 6047 6047 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 0.00001454 1.509e-7 0.00006305 0.9795 0 -1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t12_x25_u3_b30 12 25 3 30 flr(mlt(R,min(R,D))) 40756 98457870 o1(o2(x,o2(x,x))) true 6055 6055 -0.2393 0 0.2393 0.1075 0.3279 -0.9997 0 0.9997 1 3.299 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t12_x25_u3_b31 12 25 3 31 flr(mlt(R,dot(R,D))) 40757 98457871 o1(o2(x,o2(x,x))) true 6063 6063 -0.4972 0.001785 0.4972 0.1283 0.3581 -1 0.06145 1.061 1 3.86 0.03568 0.03369 0.1342 0.02861 1 -0.00001318 0.2206 0.1822 0.05136 0.2266 1.689 1.413 0.5409 1.72 1 1 0.07387 0.2615 0.1981 0.576 2.039 1.545 json
t12_x25_u3_b32 12 25 3 32 flr(mlt(R,dst(R,D))) 40758 98457872 o1(o2(x,o2(x,x))) true 6071 6071 -0.4387 0.167 0.5711 0.2792 0.5284 -1 1 2 1 4.07 0.0111 0.009576 0.0844 0.07388 1 0.0000306 0.04222 0.05657 0.01356 0.1164 1.38 1.437 0.07407 0.1512 1 1 0.02721 0.2268 0.5451 0.09748 0.8122 1.953 json
t12_x25_u3_b33 12 25 3 33 flr(div(R,add(R,D))) 40759 98457873 o1(o2(x,o2(x,x))) true 6079 6079 0.244 0.5966 0.5763 0.4373 0.6613 -1 1 2 1 4.06 0.3583 0.01015 0.3086 0.9449 1 0.001363 0.8839 0.5198 0.2733 0.5227 1.694 2.828 0.8425 2.021 1 1 0.315 0.6116 0.8512 0.7202 1.398 1.946 json
t12_x25_u3_b34 12 25 3 34 flr(div(R,sub(R,D))) 40760 98457874 o1(o2(x,o2(x,x))) true 6087 6087 0.2612 0.6145 0.5907 0.4448 0.6669 -1 1 2 1 4.01 0.3509 0.009982 0.304 0.9447 1 -0.0001615 0.8623 0.5129 0.2686 0.5182 1.705 2.828 0.8114 1.938 1 1 0.3081 0.6379 0.8653 0.6926 1.434 1.945 json
t12_x25_u3_b35 12 25 3 35 flr(div(R,mlt(R,D))) 40761 98457875 o1(o2(x,o2(x,x))) true 6095 6095 -0.06746 0.5 0.9326 0.9038 0.9507 -1 1 2 1 1.531 0.354 0 0.246 1 1 0 0.619 0.3948 0.2935 0.5417 2.202 2 0.3917 0.6849 1 1 0.4017 1.777 0 0.4444 1.966 0 json
t12_x25_u3_b36 12 25 3 36 flr(div(R,div(R,D))) 40762 98457876 o1(o2(x,o2(x,x))) true 6103 6103 -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
t12_x25_u3_b37 12 25 3 37 flr(div(R,pow(R,D))) 40763 98457877 o1(o2(x,o2(x,x))) true 6111 6111 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x25_u3_b38 12 25 3 38 flr(div(R,mod(R,D))) 40764 98457878 o1(o2(x,o2(x,x))) true 6119 6119 0.9795 0.9998 0.9795 0.01274 0.1129 0 1 1 1 0.4217 0.007981 0.0008869 0.01724 0.8 1 -0.00006173 0.02184 0.02877 0.008574 0.0926 5.371 1.149 0.6963 1.715 1 1 0.008796 0.02148 0.0267 0.6906 1.687 2.097 json
t12_x25_u3_b39 12 25 3 39 flr(div(R,lrg(R,D))) 40765 98457879 o1(o2(x,o2(x,x))) true 6127 6127 -0.935 0 0.935 0.0581 0.241 -1 0 1 1 0.5078 0.02287 0.005044 0.02984 0.6386 1 0.000009529 0.06203 0.05765 0.02701 0.1643 5.508 1.414 0.4804 1.068 1 1 0.02521 0.07359 0.1086 0.434 1.267 1.869 json
t12_x25_u3_b40 12 25 3 40 flr(div(R,eql(R,D))) 40766 98457880 o1(o2(x,o2(x,x))) true 6135 6135 -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
t12_x25_u3_b41 12 25 3 41 flr(div(R,min(R,D))) 40767 98457881 o1(o2(x,o2(x,x))) true 6143 6143 0.239 0.6648 0.7246 0.5869 0.7661 -1 1 2 1 3.795 0.1857 0.009168 0.1968 0.9059 1 -0.00002001 0.3706 0.2512 0.1562 0.3952 2.008 2.315 0.3321 0.6315 1 1 0.2088 0.8657 0.6272 0.3557 1.475 1.069 json
t12_x25_u3_b42 12 25 3 42 flr(div(R,dot(R,D))) 40768 98457882 o1(o2(x,o2(x,x))) true 6151 6151 -0.1246 0.4356 0.8746 0.8187 0.9048 -1 1 2 1 2.649 0.3909 0.3331 0.4361 0.07981 1 0.0001151 2.521 0.8192 0.5337 0.7305 1.675 2.828 0.8844 3.08 1 1 0.7024 1.879 1.202 0.858 2.295 1.468 json
t12_x25_u3_b43 12 25 3 43 flr(div(R,dst(R,D))) 40769 98457883 o1(o2(x,o2(x,x))) true 6159 6159 -0.4925 0.06935 0.5386 0.199 0.4461 -1 1 2 1 3.842 0.008179 0.007226 0.07191 0.06189 1 -0.0002283 0.03209 0.04907 0.01023 0.1012 1.407 1.399 0.07741 0.1613 1 1 0.01884 0.1555 0.3617 0.09469 0.7813 1.818 json
t12_x25_u3_b44 12 25 3 44 flr(pow(R,add(R,D))) 40770 98457884 o1(o2(x,o2(x,x))) true 6167 6167 -0.9521 0.02567 0.9619 0.05293 0.2301 -1 1 2 1 0.3436 0.00498 0.005033 0.01099 -0.005334 1 -0.00001441 0.02089 0.02005 0.009893 0.09947 9.052 2.05 0.1892 0.3947 1 1 0.007316 0.03247 0.08382 0.1382 0.6135 1.583 json
t12_x25_u3_b45 12 25 3 45 flr(pow(R,sub(R,D))) 40771 98457885 o1(o2(x,o2(x,x))) true 6175 6175 -0.9515 0.02586 0.9625 0.05472 0.2339 -1 1 2 1 0.3449 0.005078 0.005575 0.0113 -0.04658 1 -0.000006498 0.02218 0.0205 0.01052 0.1026 9.074 2.003 0.1947 0.4054 1 1 0.008372 0.03799 0.09534 0.153 0.6942 1.742 json
t12_x25_u3_b46 12 25 3 46 flr(pow(R,mlt(R,D))) 40772 98457886 o1(o2(x,o2(x,x))) true 6183 6183 -0.9355 0.04297 0.9785 0.09869 0.3141 -1 0.9997 2 1 0.4021 0.01142 0.009867 0.01536 0.07307 1 -0.000005705 0.04424 0.02624 0.02106 0.1451 9.448 2.828 0.2157 0.4482 1 1 0.0166 0.07112 0.1664 0.1682 0.7206 1.686 json
t12_x25_u3_b47 12 25 3 47 flr(pow(R,div(R,D))) 40773 98457887 o1(o2(x,o2(x,x))) true 6191 6191 -0.9335 0.04297 0.9806 0.1059 0.3254 -1 1 2 1 0.3771 0.0118 0.01065 0.01561 0.05115 1 -0.00001173 0.0465 0.02796 0.0222 0.149 9.544 2.828 0.2119 0.439 1 1 0.01758 0.07841 0.1792 0.166 0.7403 1.692 json
t12_x25_u3_b48 12 25 3 48 flr(pow(R,pow(R,D))) 40774 98457888 o1(o2(x,o2(x,x))) true 6199 6199 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x25_u3_b49 12 25 3 49 flr(pow(R,mod(R,D))) 40775 98457889 o1(o2(x,o2(x,x))) true 6207 6207 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x25_u3_b50 12 25 3 50 flr(pow(R,lrg(R,D))) 40776 98457890 o1(o2(x,o2(x,x))) true 6215 6215 -0.1518 0.538 0.7345 0.6565 0.8102 -1 1 2 1 2.919 0.2527 0.03768 0.1989 0.7405 1 -0.0004058 0.6219 0.3513 0.2509 0.5009 2.518 2.828 0.4423 0.9473 1 1 0.2973 0.8621 1.058 0.4528 1.313 1.612 json
t12_x25_u3_b51 12 25 3 51 flr(pow(R,eql(R,D))) 40777 98457891 o1(o2(x,o2(x,x))) true 6223 6223 0.9995 0.9998 1 0.0009763 0.03125 -1 1 2 1 0.003282 0.001764 0.00006299 0.0009133 0.931 1 0 0.005669 0.001827 0.001826 0.04273 46.78 2 1.871 5.806 1 1 0 0 0.000831 0 0 0.8512 json
t12_x25_u3_b52 12 25 3 52 flr(pow(R,min(R,D))) 40778 98457892 o1(o2(x,o2(x,x))) true 6231 6231 -0.9342 0.04297 0.9798 0.1024 0.32 -1 1 2 1 0.4057 0.01149 0.009966 0.01564 0.07094 1 -0.00001234 0.04455 0.02696 0.02121 0.1456 9.313 2.828 0.2095 0.435 1 1 0.01664 0.07145 0.1701 0.1624 0.6976 1.66 json
t12_x25_u3_b53 12 25 3 53 flr(pow(R,dot(R,D))) 40779 98457893 o1(o2(x,o2(x,x))) true 6239 6239 -0.9364 0.04155 0.9777 0.09551 0.3091 -1 1 2 1 0.4169 0.01123 0.01093 0.01716 0.01336 1 0.00006331 0.05002 0.03045 0.02187 0.1479 8.616 2.828 0.2321 0.5237 1 1 0.0161 0.0656 0.1593 0.1686 0.6869 1.668 json
t12_x25_u3_b54 12 25 3 54 flr(pow(R,dst(R,D))) 40780 98457894 o1(o2(x,o2(x,x))) true 6247 6247 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x25_u3_b55 12 25 3 55 flr(mod(R,add(R,D))) 40781 98457895 o1(o2(x,o2(x,x))) true 6255 6255 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x25_u3_b56 12 25 3 56 flr(mod(R,sub(R,D))) 40782 98457896 o1(o2(x,o2(x,x))) true 6263 6263 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x25_u3_b57 12 25 3 57 flr(mod(R,mlt(R,D))) 40783 98457897 o1(o2(x,o2(x,x))) true 6271 6271 -0.4685 0 0.4685 0.1576 0.397 -1 0 1 1 3.566 0.04267 0.00221 0.09464 0.9015 1 -0.0000171 0.08296 0.1054 0.03592 0.1895 2.003 0.9997 0.2847 0.5263 1 1 0.04767 0.1337 0.2664 0.3024 0.848 1.69 json
t12_x25_u3_b58 12 25 3 58 flr(mod(R,div(R,D))) 40784 98457898 o1(o2(x,o2(x,x))) true 6279 6279 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x25_u3_b59 12 25 3 59 flr(mod(R,pow(R,D))) 40785 98457899 o1(o2(x,o2(x,x))) true 6287 6287 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x25_u3_b60 12 25 3 60 flr(mod(R,mod(R,D))) 40786 98457900 o1(o2(x,o2(x,x))) true 6295 6295 -0.4018 0 0.4018 0.1523 0.3902 -1 0 1 1 3.607 0.01713 0.002142 0.06904 0.7778 1 -0.0003136 0.03077 0.05858 0.01451 0.1205 1.745 0.9994 0.1266 0.2021 1 1 0.02349 0.1384 0.2699 0.1543 0.9088 1.772 json
t12_x25_u3_b61 12 25 3 61 flr(mod(R,lrg(R,D))) 40787 98457901 o1(o2(x,o2(x,x))) true 6303 6303 -0.935 0 0.935 0.0581 0.241 -1 0 1 1 0.5078 0.02287 0.005044 0.02984 0.6386 1 0.000009529 0.06203 0.05765 0.02701 0.1643 5.508 1.414 0.4804 1.068 1 1 0.02521 0.07359 0.1086 0.434 1.267 1.869 json
t12_x25_u3_b62 12 25 3 62 flr(mod(R,eql(R,D))) 40788 98457902 o1(o2(x,o2(x,x))) true 6311 6311 -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
t12_x25_u3_b63 12 25 3 63 flr(mod(R,min(R,D))) 40789 98457903 o1(o2(x,o2(x,x))) true 6319 6319 -0.1828 0 0.1828 0.08747 0.2958 -1 0 1 1 2.993 0.009079 0.001169 0.0441 0.7718 1 -0.000003424 0.01653 0.03333 0.008305 0.09113 2.067 0.9994 0.1172 0.189 1 1 0.01301 0.08713 0.1878 0.1487 0.9961 2.147 json
t12_x25_u3_b64 12 25 3 64 flr(mod(R,dot(R,D))) 40790 98457904 o1(o2(x,o2(x,x))) true 6327 6327 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x25_u3_b65 12 25 3 65 flr(mod(R,dst(R,D))) 40791 98457905 o1(o2(x,o2(x,x))) true 6335 6335 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x25_u3_b66 12 25 3 66 flr(lrg(R,add(R,D))) 40792 98457906 o1(o2(x,o2(x,x))) true 6343 6343 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 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
t12_x25_u3_b67 12 25 3 67 flr(lrg(R,sub(R,D))) 40793 98457907 o1(o2(x,o2(x,x))) true 6351 6351 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 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
t12_x25_u3_b68 12 25 3 68 flr(lrg(R,mlt(R,D))) 40794 98457908 o1(o2(x,o2(x,x))) true 6359 6359 0.4824 0.9145 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x25_u3_b69 12 25 3 69 flr(lrg(R,div(R,D))) 40795 98457909 o1(o2(x,o2(x,x))) true 6367 6367 0.4961 0.9456 0.4961 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 -0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t12_x25_u3_b70 12 25 3 70 flr(lrg(R,pow(R,D))) 40796 98457910 o1(o2(x,o2(x,x))) true 6375 6375 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x25_u3_b71 12 25 3 71 flr(lrg(R,mod(R,D))) 40797 98457911 o1(o2(x,o2(x,x))) true 6383 6383 0.3647 0.7224 0.3647 0.1478 0.3845 0 1 1 1 3.153 0.01733 0.002075 0.06752 0.7862 1 0.0003313 0.03118 0.0595 0.01485 0.1219 1.805 0.9994 0.1313 0.2109 1 1 0.02057 0.1314 0.2727 0.1392 0.8891 1.845 json
t12_x25_u3_b72 12 25 3 72 flr(lrg(R,lrg(R,D))) 40798 98457912 o1(o2(x,o2(x,x))) true 6391 6391 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t12_x25_u3_b73 12 25 3 73 flr(lrg(R,eql(R,D))) 40799 98457913 o1(o2(x,o2(x,x))) true 6399 6399 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json