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
t16_x26_u3_b87 16 26 3 87 eql(R,flr(dst(R,R))) 97100 130980732 o2(x,o1(o2(x,x))) true 93607 93607 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
t16_x26_u3_b88 16 26 3 88 min(R,flr(add(R,R))) 97101 130980733 o2(x,o1(o2(x,x))) true 93615 93615 -0.3998 0.2845 0.6413 0.378 0.6148 -1 0.9803 1.98 1 4.009 0.00625 0.007334 0.08087 -0.07981 1 0.0001557 0.00213 0.02455 0.007044 0.08393 1.038 0.3484 0.03594 0.005635 1 1 0.02626 0.3007 0.7168 0.06946 0.7956 1.896 json
t16_x26_u3_b89 16 26 3 89 min(R,flr(sub(R,R))) 97102 130980734 o2(x,o1(o2(x,x))) true 93623 93623 -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
t16_x26_u3_b90 16 26 3 90 min(R,flr(mlt(R,R))) 97103 130980735 o2(x,o1(o2(x,x))) true 93631 93631 -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
t16_x26_u3_b91 16 26 3 91 min(R,flr(div(R,R))) 97104 130980736 o2(x,o1(o2(x,x))) true 93639 93639 -0.03604 0.4324 0.3718 0.2039 0.4515 -0.9989 0.9806 1.979 1 4.815 0.002515 0.002954 0.05972 -0.08043 1 0.00003984 0.0003189 0.01366 0.001903 0.04362 0.7305 0.2301 0.02682 0.001564 1 1 0.01058 0.136 0.3574 0.05191 0.6668 1.753 json
t16_x26_u3_b92 16 26 3 92 min(R,flr(pow(R,R))) 97105 130980737 o2(x,o1(o2(x,x))) true 93647 93647 -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
t16_x26_u3_b93 16 26 3 93 min(R,flr(mod(R,R))) 97106 130980738 o2(x,o1(o2(x,x))) true 93655 93655 -0.3178 0 0.3178 0.09522 0.3086 -1 0 1 1 3.731 0.001293 0.001255 0.03882 0.0149 1 -0.00001366 0.0001492 0.009138 0.00104 0.03226 0.8309 0.1169 0.02675 0.001566 1 1 0.005221 0.0673 0.1757 0.05483 0.7068 1.845 json
t16_x26_u3_b94 16 26 3 94 min(R,flr(lrg(R,R))) 97107 130980739 o2(x,o1(o2(x,x))) true 93663 93663 -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
t16_x26_u3_b95 16 26 3 95 min(R,flr(eql(R,R))) 97108 130980740 o2(x,o1(o2(x,x))) true 93671 93671 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
t16_x26_u3_b96 16 26 3 96 min(R,flr(min(R,R))) 97109 130980741 o2(x,o1(o2(x,x))) true 93679 93679 -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
t16_x26_u3_b97 16 26 3 97 min(R,flr(dot(R,R))) 97110 130980742 o2(x,o1(o2(x,x))) true 93687 93687 -0.06921 0.3698 0.3527 0.1899 0.4358 -0.9989 0.9806 1.979 1 4.734 0.002559 0.002696 0.05782 -0.02591 1 0.00005057 0.0003044 0.01319 0.001912 0.04372 0.7561 0.2301 0.02767 0.001603 1 1 0.01046 0.1347 0.3568 0.05509 0.709 1.879 json
t16_x26_u3_b98 16 26 3 98 min(R,flr(dst(R,R))) 97111 130980743 o2(x,o1(o2(x,x))) true 93695 93695 -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
t16_x26_u3_b99 16 26 3 99 dot(R,flr(add(R,R))) 97112 130980744 o2(x,o1(o2(x,x))) true 93703 93703 0.9554 1 0.9554 0.02109 0.1452 0.0006467 1 0.9994 1 0.943 0.000601 0.0008604 0.01169 -0.1775 1 -0.00005685 0.000617 0.006915 0.001325 0.0364 3.113 0.3573 0.0693 0.02926 1 1 0.002342 0.02007 0.03061 0.1111 0.9519 1.452 json
t16_x26_u3_b100 16 26 3 100 dot(R,flr(sub(R,R))) 97113 130980745 o2(x,o1(o2(x,x))) true 93711 93711 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
t16_x26_u3_b101 16 26 3 101 dot(R,flr(mlt(R,R))) 97114 130980746 o2(x,o1(o2(x,x))) true 93719 93719 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
t16_x26_u3_b102 16 26 3 102 dot(R,flr(div(R,R))) 97115 130980747 o2(x,o1(o2(x,x))) true 93727 93727 0.008617 0.5096 0.5005 0.354 0.595 -1 1 2 1 4.832 0.004938 0.005576 0.07511 -0.06073 1 0.0001125 0.00145 0.02047 0.004873 0.06981 0.9294 0.4383 0.0297 0.004097 1 1 0.02166 0.253 0.6516 0.0612 0.7147 1.841 json
t16_x26_u3_b103 16 26 3 103 dot(R,flr(pow(R,R))) 97116 130980748 o2(x,o1(o2(x,x))) true 93735 93735 -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
t16_x26_u3_b104 16 26 3 104 dot(R,flr(mod(R,R))) 97117 130980749 o2(x,o1(o2(x,x))) true 93743 93743 0.1588 0.7218 0.1588 0.05279 0.2298 0 1 1 1 2.585 0.0007474 0.0007486 0.02531 -0.0007807 1 0.00002742 0.00008956 0.00602 0.0008554 0.02925 1.155 0.1366 0.02834 0.001697 1 1 0.003717 0.04768 0.1172 0.07041 0.9032 2.22 json
t16_x26_u3_b105 16 26 3 105 dot(R,flr(lrg(R,R))) 97118 130980750 o2(x,o1(o2(x,x))) true 93751 93751 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
t16_x26_u3_b106 16 26 3 106 dot(R,flr(eql(R,R))) 97119 130980751 o2(x,o1(o2(x,x))) true 93759 93759 0.01244 0.5136 0.5338 0.3988 0.6315 -1 1 2 1 4.753 0.006273 0.006655 0.08199 -0.02953 1 0.00005864 0.002009 0.0233 0.006205 0.07877 0.9608 0.4552 0.03242 0.005038 1 1 0.02671 0.3045 0.7613 0.06698 0.7636 1.909 json
t16_x26_u3_b107 16 26 3 107 dot(R,flr(min(R,R))) 97120 130980752 o2(x,o1(o2(x,x))) true 93767 93767 0.676 1 0.676 0.08991 0.2998 0.00009027 1 0.9999 1 3.55 0.00128 0.001551 0.0372 -0.09599 1 -0.00005012 0.000448 0.01108 0.001447 0.03804 1.023 0.2343 0.03149 0.004983 1 1 0.005761 0.06581 0.1542 0.06408 0.732 1.715 json
t16_x26_u3_b108 16 26 3 108 dot(R,flr(dot(R,R))) 97121 130980753 o2(x,o1(o2(x,x))) true 93775 93775 0.0586 0.52 0.3828 0.2839 0.5329 -1 1 2 1 4.291 0.004619 0.005218 0.06404 -0.06098 1 0.00004981 0.001873 0.01981 0.005735 0.07573 1.183 0.5502 0.03465 0.006598 1 1 0.02121 0.2302 0.6118 0.0747 0.8107 2.155 json
t16_x26_u3_b109 16 26 3 109 dot(R,flr(dst(R,R))) 97122 130980754 o2(x,o1(o2(x,x))) true 93783 93783 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
t16_x26_u3_b110 16 26 3 110 dst(R,flr(add(R,R))) 97123 130980755 o2(x,o1(o2(x,x))) true 93791 93791 0.9445 1 0.9445 0.01531 0.1237 0.09982 1 0.9002 1 1.374 0.0003985 0.0004675 0.01262 -0.07974 1 -0.00003648 0.0002675 0.006207 0.0007069 0.02659 2.107 0.2028 0.05657 0.01747 1 1 0.00174 0.01632 0.03158 0.1137 1.066 2.063 json
t16_x26_u3_b111 16 26 3 111 dst(R,flr(sub(R,R))) 97124 130980756 o2(x,o1(o2(x,x))) true 93799 93799 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u3_b112 16 26 3 112 dst(R,flr(mlt(R,R))) 97125 130980757 o2(x,o1(o2(x,x))) true 93807 93807 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u3_b113 16 26 3 113 dst(R,flr(div(R,R))) 97126 130980758 o2(x,o1(o2(x,x))) true 93815 93815 0.9843 1 0.9843 0.004731 0.06878 0.4075 1 0.5925 1 0.4968 0.0002011 0.0002376 0.005074 -0.08314 1 -0.00001909 0.0002106 0.003408 0.0004127 0.02032 4.004 0.2004 0.09275 0.04452 1 1 0.001121 0.008739 0.01314 0.237 1.847 2.777 json
t16_x26_u3_b114 16 26 3 114 dst(R,flr(pow(R,R))) 97127 130980759 o2(x,o1(o2(x,x))) true 93823 93823 -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
t16_x26_u3_b115 16 26 3 115 dst(R,flr(mod(R,R))) 97128 130980760 o2(x,o1(o2(x,x))) true 93831 93831 0.9014 1 0.9014 0.02141 0.1463 0.09938 1 0.9006 1 2.121 0.0003788 0.0004561 0.0171 -0.09264 1 -0.00002661 0.0001597 0.006052 0.0005425 0.02329 1.362 0.1266 0.03899 0.00746 1 1 0.001443 0.01577 0.03298 0.0674 0.7362 1.54 json
t16_x26_u3_b116 16 26 3 116 dst(R,flr(lrg(R,R))) 97129 130980761 o2(x,o1(o2(x,x))) true 93839 93839 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u3_b117 16 26 3 117 dst(R,flr(eql(R,R))) 97130 130980762 o2(x,o1(o2(x,x))) true 93847 93847 0.9927 1 0.9927 0.002207 0.04698 0.4077 1 0.5923 1 0.2664 0.0001027 0.0001547 0.00276 -0.2019 1 -8.635e-11 0.0001368 0.002036 0.0002498 0.01581 5.726 0.1944 0.1166 0.06196 1 1 0.0006829 0.004926 0.006003 0.3094 2.232 2.72 json
t16_x26_u3_b118 16 26 3 118 dst(R,flr(min(R,R))) 97131 130980763 o2(x,o1(o2(x,x))) true 93855 93855 0.906 1 0.906 0.02142 0.1463 0.09964 1 0.9004 1 2.061 0.0004 0.0004115 0.01647 -0.0142 1 -0.00002456 0.0001347 0.005529 0.0005399 0.02324 1.41 0.1309 0.03789 0.006287 1 1 0.001532 0.01743 0.04425 0.07154 0.8136 2.066 json
t16_x26_u3_b119 16 26 3 119 dst(R,flr(dot(R,R))) 97132 130980764 o2(x,o1(o2(x,x))) true 93863 93863 0.9056 1 0.9056 0.02295 0.1515 0.09986 1 0.9001 1 2.009 0.000521 0.0008063 0.01759 -0.215 1 -0.00007753 0.0005819 0.009959 0.001018 0.0319 1.814 0.2817 0.05784 0.02536 1 1 0.002301 0.01911 0.03849 0.1003 0.8327 1.677 json
t16_x26_u3_b120 16 26 3 120 dst(R,flr(dst(R,R))) 97133 130980765 o2(x,o1(o2(x,x))) true 93871 93871 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u4_b0 16 26 4 0 add(R,cil(add(R,R))) 97134 130980846 o2(x,o1(o2(x,x))) true 93879 93879 0.239 0.5965 0.7454 0.6123 0.7825 -1 1 2 1 3.571 0.0124 0.01456 0.09543 -0.07988 1 -0.00002635 0.007576 0.03937 0.01785 0.1336 1.4 0.5808 0.04403 0.01237 1 1 0.04987 0.4819 1.049 0.08145 0.787 1.714 json
t16_x26_u4_b1 16 26 4 1 add(R,cil(sub(R,R))) 97135 130980847 o2(x,o1(o2(x,x))) true 93887 93887 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
t16_x26_u4_b2 16 26 4 2 add(R,cil(mlt(R,R))) 97136 130980848 o2(x,o1(o2(x,x))) true 93895 93895 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t16_x26_u4_b3 16 26 4 3 add(R,cil(div(R,R))) 97137 130980849 o2(x,o1(o2(x,x))) true 93903 93903 0.8161 1 0.8161 0.06569 0.2563 0.02419 1 0.9758 1 2.658 0.001159 0.001423 0.02923 -0.1021 1 -0.00005489 0.0006585 0.01181 0.001727 0.04156 1.422 0.2377 0.0393 0.01002 1 1 0.004862 0.04951 0.1073 0.07401 0.7536 1.633 json
t16_x26_u4_b4 16 26 4 4 add(R,cil(pow(R,R))) 97138 130980850 o2(x,o1(o2(x,x))) true 93911 93911 -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
t16_x26_u4_b5 16 26 4 5 add(R,cil(mod(R,R))) 97139 130980851 o2(x,o1(o2(x,x))) true 93919 93919 0.08673 0.528 0.4547 0.2855 0.5343 -0.9989 1 1.999 1 4.887 0.003975 0.004221 0.07009 -0.03007 1 -0.00003181 0.00077 0.01742 0.003283 0.0573 0.8174 0.3332 0.02871 0.002697 1 1 0.01658 0.2031 0.5233 0.05807 0.7112 1.833 json
t16_x26_u4_b6 16 26 4 6 add(R,cil(lrg(R,R))) 97140 130980852 o2(x,o1(o2(x,x))) true 93927 93927 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
t16_x26_u4_b7 16 26 4 7 add(R,cil(eql(R,R))) 97141 130980853 o2(x,o1(o2(x,x))) true 93935 93935 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t16_x26_u4_b8 16 26 4 8 add(R,cil(min(R,R))) 97142 130980854 o2(x,o1(o2(x,x))) true 93943 93943 0.3351 0.6255 0.6444 0.4213 0.6491 -0.9989 1 1.999 1 4.004 0.006632 0.00803 0.08203 -0.0953 1 -0.000127 0.0024 0.02604 0.007932 0.08906 1.086 0.347 0.0348 0.005696 1 1 0.02829 0.3191 0.7425 0.06714 0.7573 1.762 json
t16_x26_u4_b9 16 26 4 9 add(R,cil(dot(R,R))) 97143 130980855 o2(x,o1(o2(x,x))) true 93951 93951 0.9486 1 0.9486 0.01749 0.1323 0.1103 1 0.8897 1 1.221 0.0005541 0.0005174 0.01229 0.0343 1 -0.00005945 0.0004253 0.006857 0.0009208 0.03034 2.469 0.2626 0.06126 0.02432 1 1 0.002366 0.02077 0.03881 0.1353 1.187 2.219 json
t16_x26_u4_b10 16 26 4 10 add(R,cil(dst(R,R))) 97144 130980856 o2(x,o1(o2(x,x))) true 93959 93959 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
t16_x26_u4_b11 16 26 4 11 sub(R,cil(add(R,R))) 97145 130980857 o2(x,o1(o2(x,x))) true 93967 93967 -0.465 0.15 0.5125 0.1537 0.392 -1 0.4547 1.455 1 4.256 0.002317 0.002812 0.05523 -0.09643 1 0.00002371 0.0005169 0.01407 0.002079 0.0456 0.8256 0.2232 0.03337 0.003364 1 1 0.009801 0.1195 0.2927 0.06378 0.7777 1.905 json
t16_x26_u4_b12 16 26 4 12 sub(R,cil(sub(R,R))) 97146 130980858 o2(x,o1(o2(x,x))) true 93975 93975 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
t16_x26_u4_b13 16 26 4 13 sub(R,cil(mlt(R,R))) 97147 130980859 o2(x,o1(o2(x,x))) true 93983 93983 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t16_x26_u4_b14 16 26 4 14 sub(R,cil(div(R,R))) 97148 130980860 o2(x,o1(o2(x,x))) true 93991 93991 -0.8007 0 0.8007 0.07202 0.2684 -1 -0.01936 0.9806 1 2.694 0.00149 0.001597 0.03302 -0.0344 1 0.0000901 0.000722 0.01246 0.001997 0.04469 1.354 0.3 0.04287 0.01002 1 1 0.005957 0.06124 0.1398 0.08271 0.8503 1.941 json
t16_x26_u4_b15 16 26 4 15 sub(R,cil(pow(R,R))) 97149 130980861 o2(x,o1(o2(x,x))) true 93999 93999 -0.9757 0 0.9757 0.01488 0.122 -1 -0.05718 0.9428 1 0.413 0.001498 0.001585 0.005887 -0.02821 1 0.000008536 0.006357 0.009573 0.00305 0.05523 9.381 1.226 0.2073 0.4273 1 1 0.002567 0.0114 0.02523 0.1725 0.7661 1.696 json
t16_x26_u4_b16 16 26 4 16 sub(R,cil(mod(R,R))) 97150 130980862 o2(x,o1(o2(x,x))) true 94007 94007 -0.08868 0.392 0.4066 0.2198 0.4688 -0.9989 0.9806 1.979 1 4.839 0.002707 0.00328 0.06219 -0.09572 1 0.00006643 0.0003499 0.01435 0.002119 0.04603 0.7402 0.2301 0.02724 0.001592 1 1 0.0114 0.1466 0.3891 0.05188 0.667 1.77 json
t16_x26_u4_b17 16 26 4 17 sub(R,cil(lrg(R,R))) 97151 130980863 o2(x,o1(o2(x,x))) true 94015 94015 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
t16_x26_u4_b18 16 26 4 18 sub(R,cil(eql(R,R))) 97152 130980864 o2(x,o1(o2(x,x))) true 94023 94023 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t16_x26_u4_b19 16 26 4 19 sub(R,cil(min(R,R))) 97153 130980865 o2(x,o1(o2(x,x))) true 94031 94031 -0.4734 0 0.4734 0.05091 0.2256 -0.9989 -0.002975 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t16_x26_u4_b20 16 26 4 20 sub(R,cil(dot(R,R))) 97154 130980866 o2(x,o1(o2(x,x))) true 94039 94039 -0.9569 0 0.9569 0.01592 0.1262 -1 -0.1248 0.8752 1 1.03 0.0004648 0.0005204 0.01086 -0.05649 1 0.00005378 0.0003578 0.005734 0.0008676 0.02946 2.713 0.2499 0.0619 0.02248 1 1 0.001514 0.01326 0.02735 0.09514 0.8331 1.718 json
t16_x26_u4_b21 16 26 4 21 sub(R,cil(dst(R,R))) 97155 130980867 o2(x,o1(o2(x,x))) true 94047 94047 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
t16_x26_u4_b22 16 26 4 22 mlt(R,cil(add(R,R))) 97156 130980868 o2(x,o1(o2(x,x))) true 94055 94055 0.559 0.9821 0.559 0.1282 0.3581 0 1 1 1 3.647 0.002175 0.0023 0.04679 -0.02786 1 -0.00006964 0.0008225 0.01509 0.002286 0.04781 1.022 0.2197 0.0349 0.006415 1 1 0.008815 0.09906 0.2747 0.06875 0.7726 2.143 json
t16_x26_u4_b23 16 26 4 23 mlt(R,cil(sub(R,R))) 97157 130980869 o2(x,o1(o2(x,x))) true 94063 94063 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
t16_x26_u4_b24 16 26 4 24 mlt(R,cil(mlt(R,R))) 97158 130980870 o2(x,o1(o2(x,x))) true 94071 94071 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
t16_x26_u4_b25 16 26 4 25 mlt(R,cil(div(R,R))) 97159 130980871 o2(x,o1(o2(x,x))) true 94079 94079 0.005199 0.4972 0.3997 0.2265 0.4759 -1 1 2 1 4.88 0.002964 0.0033 0.06378 -0.05363 1 0.00003215 0.0004579 0.01498 0.002197 0.04687 0.7349 0.3468 0.02766 0.002022 1 1 0.01204 0.1535 0.4019 0.05315 0.678 1.775 json
t16_x26_u4_b26 16 26 4 26 mlt(R,cil(pow(R,R))) 97160 130980872 o2(x,o1(o2(x,x))) true 94087 94087 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x26_u4_b27 16 26 4 27 mlt(R,cil(mod(R,R))) 97161 130980873 o2(x,o1(o2(x,x))) true 94095 94095 0.04502 0.2969 0.04502 0.01543 0.1242 0 0.9558 0.9558 1 1.104 0.0001968 0.0001952 0.008241 0.004048 1 -0.00001333 0.00002298 0.001955 0.0003243 0.01801 2.185 0.1118 0.02541 0.001489 1 1 0.0008958 0.01165 0.03717 0.05805 0.7548 2.409 json
t16_x26_u4_b28 16 26 4 28 mlt(R,cil(lrg(R,R))) 97162 130980874 o2(x,o1(o2(x,x))) true 94103 94103 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
t16_x26_u4_b29 16 26 4 29 mlt(R,cil(eql(R,R))) 97163 130980875 o2(x,o1(o2(x,x))) true 94111 94111 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
t16_x26_u4_b30 16 26 4 30 mlt(R,cil(min(R,R))) 97164 130980876 o2(x,o1(o2(x,x))) true 94119 94119 0.263 0.8999 0.263 0.06996 0.2645 0 0.9809 0.9809 1 3.339 0.0009721 0.001017 0.03412 -0.0225 1 0.0000132 0.0001175 0.007977 0.0008249 0.02872 0.8418 0.1147 0.02843 0.001679 1 1 0.003984 0.05127 0.1379 0.05695 0.7329 1.971 json
t16_x26_u4_b31 16 26 4 31 mlt(R,cil(dot(R,R))) 97165 130980877 o2(x,o1(o2(x,x))) true 94127 94127 0.02839 0.5046 0.5709 0.4473 0.6688 -1 1 2 1 4.577 0.007156 0.00802 0.08356 -0.05691 1 0.00006193 0.00289 0.02601 0.008194 0.09052 1.083 0.5658 0.03393 0.00646 1 1 0.02949 0.3221 0.8158 0.06594 0.72 1.824 json
t16_x26_u4_b32 16 26 4 32 mlt(R,cil(dst(R,R))) 97166 130980878 o2(x,o1(o2(x,x))) true 94135 94135 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
t16_x26_u4_b33 16 26 4 33 div(R,cil(add(R,R))) 97167 130980879 o2(x,o1(o2(x,x))) true 94143 94143 -0.371 0.3828 0.8634 0.6686 0.8177 -1 1 2 1 2.206 0.06678 0.06886 0.08397 -0.01529 1 -0.000003592 0.285 0.1585 0.1285 0.3585 4.27 2.828 0.2029 0.4263 1 1 0.1486 0.6182 1.467 0.2223 0.9247 2.194 json
t16_x26_u4_b34 16 26 4 34 div(R,cil(sub(R,R))) 97168 130980880 o2(x,o1(o2(x,x))) true 94151 94151 -0.003204 0.4984 1 0.9999 1 -1 1 2 1 1 0.1153 0.1313 0.1164 -0.06462 1 0.0002834 0.6847 0.2465 0.2331 0.4828 4.148 2.828 0.2466 0.6848 1 1 0.248 0.9737 1.817 0.2481 0.9738 1.818 json
t16_x26_u4_b35 16 26 4 35 div(R,cil(mlt(R,R))) 97169 130980881 o2(x,o1(o2(x,x))) true 94159 94159 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
t16_x26_u4_b36 16 26 4 36 div(R,cil(div(R,R))) 97170 130980882 o2(x,o1(o2(x,x))) true 94167 94167 0.01288 0.4999 0.3902 0.2146 0.4633 -0.9758 0.9806 1.956 1 4.849 0.002733 0.003105 0.06243 -0.06378 1 0.00002758 0.0003417 0.01432 0.001941 0.04405 0.7057 0.2263 0.0272 0.001592 1 1 0.0117 0.1503 0.3829 0.05453 0.7004 1.784 json
t16_x26_u4_b37 16 26 4 37 div(R,cil(pow(R,R))) 97171 130980883 o2(x,o1(o2(x,x))) true 94175 94175 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x26_u4_b38 16 26 4 38 div(R,cil(mod(R,R))) 97172 130980884 o2(x,o1(o2(x,x))) true 94183 94183 -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.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t16_x26_u4_b39 16 26 4 39 div(R,cil(lrg(R,R))) 97173 130980885 o2(x,o1(o2(x,x))) true 94191 94191 -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
t16_x26_u4_b40 16 26 4 40 div(R,cil(eql(R,R))) 97174 130980886 o2(x,o1(o2(x,x))) true 94199 94199 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
t16_x26_u4_b41 16 26 4 41 div(R,cil(min(R,R))) 97175 130980887 o2(x,o1(o2(x,x))) true 94207 94207 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008535 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t16_x26_u4_b42 16 26 4 42 div(R,cil(dot(R,R))) 97176 130980888 o2(x,o1(o2(x,x))) true 94215 94215 -0.002346 0.4895 0.2578 0.09291 0.3048 -0.8897 0.8752 1.765 1 4.27 0.001222 0.001346 0.0413 -0.04855 1 -0.00001082 0.0001514 0.009499 0.0008623 0.02936 0.711 0.1804 0.02764 0.00163 1 1 0.005083 0.06536 0.1679 0.05471 0.7034 1.807 json
t16_x26_u4_b43 16 26 4 43 div(R,cil(dst(R,R))) 97177 130980889 o2(x,o1(o2(x,x))) true 94223 94223 -0.003204 0.4984 1 0.9999 1 -1 1 2 1 1 0.1153 0.1313 0.1164 -0.06462 1 0.0002834 0.6847 0.2465 0.2331 0.4828 4.148 2.828 0.2466 0.6848 1 1 0.248 0.9737 1.817 0.2481 0.9738 1.818 json
t16_x26_u4_b44 16 26 4 44 pow(R,cil(add(R,R))) 97178 130980890 o2(x,o1(o2(x,x))) true 94231 94231 -0.4487 0.3281 0.8951 0.6429 0.8018 -1 1 2 1 2.088 0.04208 0.04669 0.06104 -0.05189 1 0.00001592 0.1827 0.1037 0.08506 0.2917 4.778 2.828 0.1381 0.2842 1 1 0.09779 0.4155 1.238 0.1521 0.6463 1.926 json
t16_x26_u4_b45 16 26 4 45 pow(R,cil(sub(R,R))) 97179 130980891 o2(x,o1(o2(x,x))) true 94239 94239 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
t16_x26_u4_b46 16 26 4 46 pow(R,cil(mlt(R,R))) 97180 130980892 o2(x,o1(o2(x,x))) true 94247 94247 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x26_u4_b47 16 26 4 47 pow(R,cil(div(R,R))) 97181 130980893 o2(x,o1(o2(x,x))) true 94255 94255 -0.9329 0.04297 0.9811 0.1019 0.3192 -1 0.9428 1.943 1 0.4128 0.01033 0.01032 0.01411 0.0003138 1 0.000007997 0.04311 0.02616 0.02045 0.143 10.13 2.64 0.2028 0.4232 1 1 0.01648 0.07156 0.1729 0.1618 0.7025 1.697 json
t16_x26_u4_b48 16 26 4 48 pow(R,cil(pow(R,R))) 97182 130980894 o2(x,o1(o2(x,x))) true 94263 94263 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x26_u4_b49 16 26 4 49 pow(R,cil(mod(R,R))) 97183 130980895 o2(x,o1(o2(x,x))) true 94271 94271 0.9474 1 0.9474 0.01869 0.1367 0.1054 1 0.8946 1 1.2 0.0002716 0.0002861 0.01027 -0.02597 1 0.00002659 0.00003388 0.002492 0.000452 0.02126 2.069 0.1047 0.02985 0.001813 1 1 0.001057 0.01354 0.03687 0.05658 0.7249 1.973 json
t16_x26_u4_b50 16 26 4 50 pow(R,cil(lrg(R,R))) 97184 130980896 o2(x,o1(o2(x,x))) true 94279 94279 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
t16_x26_u4_b51 16 26 4 51 pow(R,cil(eql(R,R))) 97185 130980897 o2(x,o1(o2(x,x))) true 94287 94287 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
t16_x26_u4_b52 16 26 4 52 pow(R,cil(min(R,R))) 97186 130980898 o2(x,o1(o2(x,x))) true 94295 94295 0.7806 1 0.7806 0.05458 0.2336 0.003529 1 0.9965 1 3.16 0.0007876 0.0008776 0.03051 -0.054 1 0.00003101 0.00009901 0.007183 0.0007346 0.0271 0.8884 0.1165 0.03051 0.001814 1 1 0.002869 0.03705 0.09139 0.05256 0.6788 1.674 json
t16_x26_u4_b53 16 26 4 53 pow(R,cil(dot(R,R))) 97187 130980899 o2(x,o1(o2(x,x))) true 94303 94303 -0.937 0.04297 0.977 0.08982 0.2997 -1 0.889 1.889 1 0.4105 0.009126 0.009207 0.01338 -0.004409 1 0.000008698 0.03828 0.02466 0.01815 0.1347 10.07 2.477 0.2041 0.4262 1 1 0.01451 0.06279 0.1511 0.1616 0.6991 1.683 json
t16_x26_u4_b54 16 26 4 54 pow(R,cil(dst(R,R))) 97188 130980900 o2(x,o1(o2(x,x))) true 94311 94311 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
t16_x26_u4_b55 16 26 4 55 mod(R,cil(add(R,R))) 97189 130980901 o2(x,o1(o2(x,x))) true 94319 94319 -0.6987 0.1719 0.8649 0.3283 0.573 -1 0.9806 1.981 1 2.122 0.02251 0.02968 0.05309 -0.1374 1 0.00001872 0.1048 0.07371 0.0494 0.2223 4.186 2.783 0.159 0.3191 1 1 0.0548 0.245 0.6539 0.1669 0.7462 1.992 json
t16_x26_u4_b56 16 26 4 56 mod(R,cil(sub(R,R))) 97190 130980902 o2(x,o1(o2(x,x))) true 94327 94327 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
t16_x26_u4_b57 16 26 4 57 mod(R,cil(mlt(R,R))) 97191 130980903 o2(x,o1(o2(x,x))) true 94335 94335 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
t16_x26_u4_b58 16 26 4 58 mod(R,cil(div(R,R))) 97192 130980904 o2(x,o1(o2(x,x))) true 94343 94343 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
t16_x26_u4_b59 16 26 4 59 mod(R,cil(pow(R,R))) 97193 130980905 o2(x,o1(o2(x,x))) true 94351 94351 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x26_u4_b60 16 26 4 60 mod(R,cil(mod(R,R))) 97194 130980906 o2(x,o1(o2(x,x))) true 94359 94359 -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
t16_x26_u4_b61 16 26 4 61 mod(R,cil(lrg(R,R))) 97195 130980907 o2(x,o1(o2(x,x))) true 94367 94367 -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
t16_x26_u4_b62 16 26 4 62 mod(R,cil(eql(R,R))) 97196 130980908 o2(x,o1(o2(x,x))) true 94375 94375 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
t16_x26_u4_b63 16 26 4 63 mod(R,cil(min(R,R))) 97197 130980909 o2(x,o1(o2(x,x))) true 94383 94383 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x26_u4_b64 16 26 4 64 mod(R,cil(dot(R,R))) 97198 130980910 o2(x,o1(o2(x,x))) true 94391 94391 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
t16_x26_u4_b65 16 26 4 65 mod(R,cil(dst(R,R))) 97199 130980911 o2(x,o1(o2(x,x))) true 94399 94399 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