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_x2_u3_b115 16 2 3 115 dst(P,flr(mod(P,R))) 76800 130011136 o2(x,o1(o2(x,x))) true 102407 102407 0.9847 0.9961 0.9847 0.0121 0.11 0 1 1 1 0.2446 0.00008448 0.00008448 0.001818 6.89e-7 1 -1.389e-10 0.00001415 0.0004653 0.0001654 0.01286 7.074 0.1294 0.01396 0.00117 1 1 0.000585 0.007486 0.04233 0.04835 0.6186 3.499 json
t16_x2_u3_b116 16 2 3 116 dst(P,flr(lrg(P,R))) 76801 130011137 o2(x,o1(o2(x,x))) true 102415 102415 0.9972 1 0.9972 0.00183 0.04278 0.0007026 1 0.9993 1 0.07108 0.00004902 0.00003801 0.0007251 0.1266 0 7.133e-11 0.00001603 0.0002654 0.00008648 0.009299 12.82 0.1654 0.04756 0.008762 1 1 0.0002949 0.003261 0.006672 0.1612 1.782 3.647 json
t16_x2_u3_b117 16 2 3 117 dst(P,flr(eql(P,R))) 76802 130011138 o2(x,o1(o2(x,x))) true 102423 102423 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x2_u3_b118 16 2 3 118 dst(P,flr(min(P,R))) 76803 130011139 o2(x,o1(o2(x,x))) true 102431 102431 0.8797 0.9933 0.8797 0.0787 0.2805 0 1 1 1 1.416 0.0006127 0.0007587 0.01503 -0.1064 1 0.000006408 0.0001258 0.003945 0.001147 0.03386 2.253 0.2532 0.01743 0.001598 1 1 0.003174 0.03895 0.08164 0.04033 0.4949 1.037 json
t16_x2_u3_b119 16 2 3 119 dst(P,flr(dot(P,R))) 76804 130011140 o2(x,o1(o2(x,x))) true 102439 102439 0.9972 1 0.9972 0.001872 0.04326 0.0005821 1 0.9994 1 0.07248 0.00006003 0.00003472 0.0007398 0.2672 0 -1.126e-11 0.00002265 0.0003021 0.00009417 0.009704 13.12 0.2516 0.05062 0.0121 1 1 0.0003181 0.003352 0.006826 0.17 1.791 3.647 json
t16_x2_u3_b120 16 2 3 120 dst(P,flr(dst(P,R))) 76805 130011141 o2(x,o1(o2(x,x))) true 102447 102447 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_x2_u4_b0 16 2 4 0 add(P,cil(add(P,R))) 76806 130011222 o2(x,o1(o2(x,x))) true 102455 102455 0.02917 0.5147 0.9669 0.9574 0.9784 -1 1 2 1 1.513 0.001477 0.0001102 0.008546 0.8611 1 -0.000006592 0.0003494 0.003141 0.001515 0.03892 4.555 0.3506 0.001658 0.000365 1 1 0.004081 0.04468 0.2971 0.004263 0.04667 0.3103 json
t16_x2_u4_b1 16 2 4 1 add(P,cil(sub(P,R))) 76807 130011223 o2(x,o1(o2(x,x))) true 102463 102463 0.03343 0.5181 0.9711 0.9618 0.9807 -1 1 2 1 1.471 0.001586 0.0001095 0.008535 0.8708 1 0.000007959 0.0003402 0.003048 0.001624 0.0403 4.722 0.3506 0.001763 0.0003537 1 1 0.004272 0.04699 0.3018 0.004441 0.04885 0.3138 json
t16_x2_u4_b2 16 2 4 2 add(P,cil(mlt(P,R))) 76808 130011224 o2(x,o1(o2(x,x))) true 102471 102471 0.06653 0.5 0.8842 0.8611 0.928 -1 1 2 1 2.147 0.001409 0.001061 0.01535 0.1409 1 0.00000322 0.0009566 0.007052 0.002234 0.04727 3.08 0.5251 0.002868 0.001111 1 1 0.00489 0.04774 0.2568 0.005679 0.05544 0.2983 json
t16_x2_u4_b3 16 2 4 3 add(P,cil(div(P,R))) 76809 130011225 o2(x,o1(o2(x,x))) true 102479 102479 0.02188 0.5125 0.9107 0.8908 0.9438 -1 1 2 1 2.083 0.05845 0.0718 0.11 -0.1025 1 -0.00004537 0.2561 0.1499 0.1182 0.3438 3.126 2.828 0.1462 0.2876 1 1 0.1537 0.8139 1.797 0.1725 0.9137 2.017 json
t16_x2_u4_b4 16 2 4 4 add(P,cil(pow(P,R))) 76810 130011226 o2(x,o1(o2(x,x))) true 102487 102487 -0.09913 0.4531 0.9946 0.9841 0.992 -1 1 2 1 1.069 0.01302 0.004393 0.01034 0.4953 1 -1.802e-10 0.03547 0.01925 0.01731 0.1316 12.73 2.828 0.01769 0.03604 1 1 0.02401 0.1015 0.3992 0.0244 0.1032 0.4057 json
t16_x2_u4_b5 16 2 4 5 add(P,cil(mod(P,R))) 76811 130011227 o2(x,o1(o2(x,x))) true 102495 102495 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t16_x2_u4_b6 16 2 4 6 add(P,cil(lrg(P,R))) 76812 130011228 o2(x,o1(o2(x,x))) true 102503 102503 0.03972 0.5198 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008561 0.8522 1 0.000003562 0.0001197 0.002399 0.00122 0.03492 4.08 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3056 json
t16_x2_u4_b7 16 2 4 7 add(P,cil(eql(P,R))) 76813 130011229 o2(x,o1(o2(x,x))) true 102511 102511 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x2_u4_b8 16 2 4 8 add(P,cil(min(P,R))) 76814 130011230 o2(x,o1(o2(x,x))) true 102519 102519 -0.003127 0.5 0.9538 0.9453 0.9723 -1 1 2 1 1.558 0.001209 0.00001482 0.008018 0.9758 1 -0.000004284 0.0002464 0.003305 0.001159 0.03405 4.247 0.2265 0.001295 0.0002606 1 1 0.003054 0.03164 0.263 0.003231 0.03347 0.2783 json
t16_x2_u4_b9 16 2 4 9 add(P,cil(dot(P,R))) 76815 130011231 o2(x,o1(o2(x,x))) true 102527 102527 0.05172 0.5253 0.9263 0.9011 0.9493 -1 1 2 1 2.072 0.01287 0.01623 0.05326 -0.1155 1 -0.0001489 0.02321 0.03949 0.02624 0.162 3.041 1.901 0.03229 0.02575 1 1 0.04328 0.3403 0.7399 0.04803 0.3777 0.8211 json
t16_x2_u4_b10 16 2 4 10 add(P,cil(dst(P,R))) 76816 130011232 o2(x,o1(o2(x,x))) true 102535 102535 0.961 0.9957 0.961 0.02859 0.1691 0 1 1 1 0.5734 0.0002104 0.0004488 0.005685 -0.3617 1 -0.000006959 0.0001123 0.001921 0.0006264 0.02503 4.402 0.3082 0.02306 0.00393 1 1 0.001438 0.01547 0.04956 0.0503 0.5411 1.734 json
t16_x2_u4_b11 16 2 4 11 sub(P,cil(add(P,R))) 76817 130011233 o2(x,o1(o2(x,x))) true 102543 102543 -0.4824 0 0.4824 0.1537 0.3921 -1 0 1 1 3.644 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_x2_u4_b12 16 2 4 12 sub(P,cil(sub(P,R))) 76818 130011234 o2(x,o1(o2(x,x))) true 102551 102551 -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_x2_u4_b13 16 2 4 13 sub(P,cil(mlt(P,R))) 76819 130011235 o2(x,o1(o2(x,x))) true 102559 102559 -0.0588 0.4782 0.888 0.8669 0.9311 -1 1 2 1 2.114 0.001614 0.0007803 0.01494 0.3482 1 -0.0001027 0.0009622 0.007024 0.002171 0.0466 3.119 0.5805 0.002762 0.00111 1 1 0.005791 0.05492 0.2437 0.006681 0.06336 0.2812 json
t16_x2_u4_b14 16 2 4 14 sub(P,cil(div(P,R))) 76820 130011236 o2(x,o1(o2(x,x))) true 102567 102567 -0.002096 0.4904 0.9028 0.8819 0.9391 -1 1 2 1 2.154 0.05837 0.07038 0.1078 -0.09331 1 -0.0001372 0.2523 0.1482 0.1172 0.3423 3.175 2.828 0.146 0.2861 1 1 0.1372 0.7154 1.591 0.1555 0.8112 1.804 json
t16_x2_u4_b15 16 2 4 15 sub(P,cil(pow(P,R))) 76821 130011237 o2(x,o1(o2(x,x))) true 102575 102575 -0.1752 0.431 0.9185 0.8765 0.9362 -1 1 2 1 1.701 0.004685 0.001936 0.0138 0.4151 1 -0.00001667 0.01168 0.01437 0.006426 0.08016 5.81 1.414 0.007554 0.01333 1 1 0.01013 0.0611 0.2881 0.01156 0.06971 0.3287 json
t16_x2_u4_b16 16 2 4 16 sub(P,cil(mod(P,R))) 76822 130011238 o2(x,o1(o2(x,x))) true 102583 102583 -0.0625 0.4375 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t16_x2_u4_b17 16 2 4 17 sub(P,cil(lrg(P,R))) 76823 130011239 o2(x,o1(o2(x,x))) true 102591 102591 -0.09766 0.4375 0.9102 0.8845 0.9405 -1 1 2 1 1.994 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003873 0.002112 0.000702 0.0265 2.96 0.1169 0.0008842 0.00004379 1 1 0.002072 0.02729 0.2147 0.002342 0.03086 0.2427 json
t16_x2_u4_b18 16 2 4 18 sub(P,cil(eql(P,R))) 76824 130011240 o2(x,o1(o2(x,x))) true 102599 102599 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x2_u4_b19 16 2 4 19 sub(P,cil(min(P,R))) 76825 130011241 o2(x,o1(o2(x,x))) true 102607 102607 0.4341 0.4783 0.4341 0.2375 0.4873 0 1 1 1 1.377 0.0004231 0.0001765 0.005459 0.4112 1 0.00000927 0.00009993 0.001736 0.0005702 0.02388 4.374 0.2265 0.002525 0.0004208 1 1 0.001548 0.01777 0.08227 0.006519 0.07484 0.3464 json
t16_x2_u4_b20 16 2 4 20 sub(P,cil(dot(P,R))) 76826 130011242 o2(x,o1(o2(x,x))) true 102615 102615 -0.06755 0.4668 0.9123 0.8821 0.9392 -1 1 2 1 2.233 0.01247 0.01546 0.05546 -0.1069 1 0.00002223 0.02059 0.03878 0.02484 0.1576 2.842 1.746 0.03167 0.02334 1 1 0.03967 0.3189 0.792 0.04498 0.3615 0.8978 json
t16_x2_u4_b21 16 2 4 21 sub(P,cil(dst(P,R))) 76827 130011243 o2(x,o1(o2(x,x))) true 102623 102623 -0.9464 0 0.9464 0.03776 0.1943 -1 -8.471e-8 1 1 0.7642 0.0003636 0.0004546 0.007841 -0.1112 1 0.00001008 0.0001244 0.002363 0.0007564 0.0275 3.508 0.2265 0.02167 0.003294 1 1 0.001998 0.02332 0.07128 0.05292 0.6175 1.888 json
t16_x2_u4_b22 16 2 4 22 mlt(P,cil(add(P,R))) 76828 130011244 o2(x,o1(o2(x,x))) true 102631 102631 0.9164 0.9788 0.9164 0.06533 0.2556 0 1 1 1 0.8472 0.001114 0.0001422 0.009029 0.7737 1 0.000002614 0.0003035 0.003579 0.001175 0.03428 3.796 0.3455 0.01923 0.004645 1 1 0.003036 0.03175 0.1133 0.04646 0.4859 1.735 json
t16_x2_u4_b23 16 2 4 23 mlt(P,cil(sub(P,R))) 76829 130011245 o2(x,o1(o2(x,x))) true 102639 102639 0.9193 0.9866 0.9193 0.06145 0.2479 0 1 1 1 0.8806 0.0009254 0.0001446 0.009053 0.7297 1 -0.000009195 0.0001929 0.003001 0.0009872 0.03142 3.47 0.3446 0.01741 0.003139 1 1 0.002752 0.03061 0.11 0.04479 0.4981 1.79 json
t16_x2_u4_b24 16 2 4 24 mlt(P,cil(mlt(P,R))) 76830 130011246 o2(x,o1(o2(x,x))) true 102647 102647 -0.01071 0.4875 0.8249 0.7944 0.8913 -1 1 2 1 2.672 0.04699 0.05835 0.09918 -0.1079 1 0.00009866 0.2011 0.1219 0.09547 0.309 3.115 2.828 0.1326 0.2531 1 1 0.1076 0.6122 1.286 0.1355 0.7707 1.619 json
t16_x2_u4_b25 16 2 4 25 mlt(P,cil(div(P,R))) 76831 130011247 o2(x,o1(o2(x,x))) true 102655 102655 -0.04995 0.4793 0.942 0.9273 0.9629 -1 1 2 1 1.738 0.08759 0.1057 0.1162 -0.09352 1 -0.0000427 0.4781 0.2033 0.1798 0.4241 3.65 2.828 0.2084 0.5156 1 1 0.1947 0.8726 1.803 0.21 0.9411 1.944 json
t16_x2_u4_b26 16 2 4 26 mlt(P,cil(pow(P,R))) 76832 130011248 o2(x,o1(o2(x,x))) true 102663 102663 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t16_x2_u4_b27 16 2 4 27 mlt(P,cil(mod(P,R))) 76833 130011249 o2(x,o1(o2(x,x))) true 102671 102671 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x2_u4_b28 16 2 4 28 mlt(P,cil(lrg(P,R))) 76834 130011250 o2(x,o1(o2(x,x))) true 102679 102679 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x2_u4_b29 16 2 4 29 mlt(P,cil(eql(P,R))) 76835 130011251 o2(x,o1(o2(x,x))) true 102687 102687 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_x2_u4_b30 16 2 4 30 mlt(P,cil(min(P,R))) 76836 130011252 o2(x,o1(o2(x,x))) true 102695 102695 0.7765 0.9588 0.7765 0.1416 0.3762 0 1 1 1 1.833 0.002864 0.003009 0.03089 -0.02476 1 -0.00019 0.002701 0.01641 0.004921 0.07015 2.271 0.4702 0.04149 0.01908 1 1 0.01013 0.09478 0.2036 0.07153 0.6696 1.438 json
t16_x2_u4_b31 16 2 4 31 mlt(P,cil(dot(P,R))) 76837 130011253 o2(x,o1(o2(x,x))) true 102703 102703 0.07919 0.5511 0.8949 0.8667 0.931 -1 1 2 1 2.189 0.05306 0.07166 0.1042 -0.1491 1 0.00001402 0.2429 0.1424 0.1138 0.3373 3.237 2.828 0.1439 0.2803 1 1 0.1194 0.6451 1.401 0.1378 0.7443 1.617 json
t16_x2_u4_b32 16 2 4 32 mlt(P,cil(dst(P,R))) 76838 130011254 o2(x,o1(o2(x,x))) true 102711 102711 -0.001559 0.5 0.9674 0.9619 0.9808 -1 1 2 1 1.414 0.001955 0.00001153 0.007981 0.9883 1 1.969e-7 0.0009575 0.005311 0.001902 0.04362 5.465 0.4707 0.002045 0.0009954 1 1 0.004261 0.03743 0.2827 0.004429 0.03892 0.2939 json
t16_x2_u4_b33 16 2 4 33 div(P,cil(add(P,R))) 76839 130011255 o2(x,o1(o2(x,x))) true 102719 102719 0.657 0.8555 0.946 0.4778 0.6912 -1 1 2 1 1.97 0.02548 0.01015 0.02568 0.4303 1 0.000006853 0.07342 0.04051 0.03496 0.187 7.282 2.828 0.07456 0.1537 1 1 0.04699 0.1972 0.7416 0.09836 0.4127 1.552 json
t16_x2_u4_b34 16 2 4 34 div(P,cil(sub(P,R))) 76840 130011256 o2(x,o1(o2(x,x))) true 102727 102727 0.6897 0.8789 0.9319 0.4115 0.6415 -1 1 2 1 2.137 0.02279 0.009942 0.02488 0.3926 1 -0.000007029 0.0671 0.03695 0.03211 0.1792 7.202 2.828 0.07955 0.1631 1 1 0.04253 0.1807 0.6819 0.1034 0.4393 1.657 json
t16_x2_u4_b35 16 2 4 35 div(P,cil(mlt(P,R))) 76841 130011257 o2(x,o1(o2(x,x))) true 102735 102735 -0.5136 0.2434 0.9444 0.6614 0.8133 -1 1 2 1 1.698 0.05283 0.04981 0.08805 0.02937 1 0.000005879 0.1851 0.11 0.09492 0.3081 3.499 2.828 0.1552 0.2798 1 1 0.1145 0.5669 1.125 0.1732 0.8571 1.701 json
t16_x2_u4_b36 16 2 4 36 div(P,cil(div(P,R))) 76842 130011258 o2(x,o1(o2(x,x))) true 102743 102743 -0.1225 0.4291 0.4667 0.3027 0.5502 -1 1 2 1 4.734 0.01496 0.002779 0.06348 0.6867 1 0.00004525 0.02573 0.03094 0.01371 0.1171 1.845 2 0.0586 0.08502 1 1 0.02467 0.1794 0.4984 0.08149 0.5928 1.647 json
t16_x2_u4_b37 16 2 4 37 div(P,cil(pow(P,R))) 76843 130011259 o2(x,o1(o2(x,x))) true 102751 102751 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t16_x2_u4_b38 16 2 4 38 div(P,cil(mod(P,R))) 76844 130011260 o2(x,o1(o2(x,x))) true 102759 102759 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x2_u4_b39 16 2 4 39 div(P,cil(lrg(P,R))) 76845 130011261 o2(x,o1(o2(x,x))) true 102767 102767 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t16_x2_u4_b40 16 2 4 40 div(P,cil(eql(P,R))) 76846 130011262 o2(x,o1(o2(x,x))) true 102775 102775 -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_x2_u4_b41 16 2 4 41 div(P,cil(min(P,R))) 76847 130011263 o2(x,o1(o2(x,x))) true 102783 102783 -0.1172 0.4414 1 0.9872 0.9936 -1 1 2 1 0.9901 0.01688 0.001764 0.009322 0.8108 1 3.739e-9 0.03754 0.01864 0.01856 0.1362 14.61 2 0.01889 0.03803 1 1 0.02105 0.08421 0.3501 0.02133 0.08531 0.3547 json
t16_x2_u4_b42 16 2 4 42 div(P,cil(dot(P,R))) 76848 130011264 o2(x,o1(o2(x,x))) true 102791 102791 -0.2959 0.3685 0.8113 0.6674 0.8169 -1 1 2 1 3.112 0.04688 0.04726 0.1011 -0.004012 1 -0.00004358 0.1666 0.1105 0.08394 0.2897 2.866 2.828 0.1411 0.2497 1 1 0.1006 0.5406 1.217 0.1507 0.8101 1.824 json
t16_x2_u4_b43 16 2 4 43 div(P,cil(dst(P,R))) 76849 130011265 o2(x,o1(o2(x,x))) true 102799 102799 0.006374 0.4975 0.5826 0.4123 0.6421 -1 1 2 1 4.898 0.0001716 0.00009633 0.01134 0.281 1 0.000001332 0.00001393 0.002527 0.0001394 0.01181 1.042 0.1169 0.0006499 0.00003379 1 1 0.0008151 0.01072 0.08368 0.001977 0.02601 0.203 json
t16_x2_u4_b44 16 2 4 44 pow(P,cil(add(P,R))) 76850 130011266 o2(x,o1(o2(x,x))) true 102807 102807 0.02148 0.5195 0.9824 0.9765 0.9882 -1 1 2 1 1.304 0.01217 0.004496 0.01206 0.4603 1 0.000002852 0.03398 0.01905 0.01651 0.1285 10.65 2.828 0.01707 0.0348 1 1 0.02187 0.09719 0.4257 0.0224 0.09953 0.436 json
t16_x2_u4_b45 16 2 4 45 pow(P,cil(sub(P,R))) 76851 130011267 o2(x,o1(o2(x,x))) true 102815 102815 0.001953 0.5117 0.9785 0.9725 0.9862 -1 1 2 1 1.349 0.01088 0.003291 0.01135 0.5357 1 -0.000002852 0.02861 0.01676 0.01404 0.1185 10.44 2 0.01457 0.02942 1 1 0.02034 0.08844 0.3489 0.02091 0.09094 0.3588 json
t16_x2_u4_b46 16 2 4 46 pow(P,cil(mlt(P,R))) 76852 130011268 o2(x,o1(o2(x,x))) true 102823 102823 -0.01303 0.5186 0.9479 0.9343 0.9666 -1 1 2 1 1.679 0.01797 0.008778 0.02412 0.3438 1 -0.00006419 0.0532 0.03579 0.02619 0.1618 6.71 2.828 0.02863 0.05694 1 1 0.03459 0.1445 0.5118 0.03702 0.1547 0.5478 json
t16_x2_u4_b47 16 2 4 47 pow(P,cil(div(P,R))) 76853 130011269 o2(x,o1(o2(x,x))) true 102831 102831 -0.1481 0.4255 0.9534 0.9275 0.9631 -1 1 2 1 1.378 0.03091 0.01477 0.03097 0.3532 1 -0.0001745 0.09547 0.05781 0.04474 0.2115 6.829 2.828 0.04925 0.1029 1 1 0.04044 0.1661 0.5632 0.0436 0.1791 0.6072 json
t16_x2_u4_b48 16 2 4 48 pow(P,cil(pow(P,R))) 76854 130011270 o2(x,o1(o2(x,x))) true 102839 102839 -0.01758 0.5 0.9824 0.9771 0.9885 -1 1 2 1 1.292 0.009278 0.00005267 0.008427 0.9887 1 -0.000002852 0.01819 0.01206 0.009256 0.09621 11.42 2 0.00955 0.01862 1 1 0.01289 0.06089 0.3164 0.01319 0.06232 0.3238 json
t16_x2_u4_b49 16 2 4 49 pow(P,cil(mod(P,R))) 76855 130011271 o2(x,o1(o2(x,x))) true 102847 102847 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_x2_u4_b50 16 2 4 50 pow(P,cil(lrg(P,R))) 76856 130011272 o2(x,o1(o2(x,x))) true 102855 102855 0.9648 1 0.9648 0.02431 0.1559 0.000291 1 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 -0.000005705 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t16_x2_u4_b51 16 2 4 51 pow(P,cil(eql(P,R))) 76857 130011273 o2(x,o1(o2(x,x))) true 102863 102863 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_x2_u4_b52 16 2 4 52 pow(P,cil(min(P,R))) 76858 130011274 o2(x,o1(o2(x,x))) true 102871 102871 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x2_u4_b53 16 2 4 53 pow(P,cil(dot(P,R))) 76859 130011275 o2(x,o1(o2(x,x))) true 102879 102879 -0.154 0.4591 0.9242 0.8905 0.9437 -1 1 2 1 1.64 0.01548 0.007069 0.02282 0.3729 1 -0.00006166 0.0451 0.0353 0.02203 0.1484 6.504 2.828 0.02532 0.05064 1 1 0.0258 0.1174 0.4341 0.02897 0.1318 0.4875 json
t16_x2_u4_b54 16 2 4 54 pow(P,cil(dst(P,R))) 76860 130011276 o2(x,o1(o2(x,x))) true 102887 102887 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t16_x2_u4_b55 16 2 4 55 mod(P,cil(add(P,R))) 76861 130011277 o2(x,o1(o2(x,x))) true 102895 102895 -0.07716 0.4511 0.826 0.7862 0.8867 -1 1 2 1 2.741 0.01744 0.00517 0.04314 0.5427 1 -0.0001111 0.03749 0.04165 0.02074 0.144 3.338 2.828 0.02876 0.04769 1 1 0.03397 0.1838 0.4744 0.04321 0.2338 0.6034 json
t16_x2_u4_b56 16 2 4 56 mod(P,cil(sub(P,R))) 76862 130011278 o2(x,o1(o2(x,x))) true 102903 102903 -0.04632 0.4439 0.8108 0.7774 0.8817 -1 1 2 1 2.715 0.01426 0.004677 0.03967 0.506 1 0.000105 0.03022 0.03763 0.01737 0.1318 3.322 2 0.02436 0.03887 1 1 0.02938 0.163 0.4573 0.0378 0.2097 0.5882 json
t16_x2_u4_b57 16 2 4 57 mod(P,cil(mlt(P,R))) 76863 130011279 o2(x,o1(o2(x,x))) true 102911 102911 -0.5894 0.1631 0.8255 0.4532 0.6732 -1 1 2 1 2.17 0.02523 0.01992 0.0478 0.1178 1 -0.00001013 0.08953 0.06781 0.04285 0.207 4.331 2.828 0.09962 0.1975 1 1 0.0531 0.2509 0.7445 0.1172 0.5535 1.643 json
t16_x2_u4_b58 16 2 4 58 mod(P,cil(div(P,R))) 76864 130011280 o2(x,o1(o2(x,x))) true 102919 102919 -0.1173 0.4375 0.9753 0.9539 0.9767 -1 1 2 1 1.428 0.01636 0.0006165 0.01636 0.9274 1 0.00001181 0.03171 0.02214 0.0167 0.1292 7.9 2 0.0178 0.03324 1 1 0.02401 0.1098 0.3703 0.02517 0.1151 0.3882 json
t16_x2_u4_b59 16 2 4 59 mod(P,cil(pow(P,R))) 76865 130011281 o2(x,o1(o2(x,x))) true 102927 102927 -0.4239 0.2815 0.7011 0.4962 0.7044 -1 1 2 1 2.138 0.005264 0.000971 0.02134 0.6885 1 -0.00004715 0.00855 0.01441 0.005781 0.07603 3.563 1 0.01256 0.01723 1 1 0.008775 0.05889 0.2278 0.01768 0.1187 0.4592 json
t16_x2_u4_b60 16 2 4 60 mod(P,cil(mod(P,R))) 76866 130011282 o2(x,o1(o2(x,x))) true 102935 102935 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t16_x2_u4_b61 16 2 4 61 mod(P,cil(lrg(P,R))) 76867 130011283 o2(x,o1(o2(x,x))) true 102943 102943 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t16_x2_u4_b62 16 2 4 62 mod(P,cil(eql(P,R))) 76868 130011284 o2(x,o1(o2(x,x))) true 102951 102951 -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_x2_u4_b63 16 2 4 63 mod(P,cil(min(P,R))) 76869 130011285 o2(x,o1(o2(x,x))) true 102959 102959 -0.8088 0 0.8088 0.1446 0.3802 -1 0 1 1 1.171 0.008287 0.0004409 0.01971 0.899 1 0.0006289 0.01163 0.02038 0.008341 0.09133 4.634 1 0.06037 0.08047 1 1 0.01196 0.07328 0.1268 0.08271 0.5068 0.8771 json
t16_x2_u4_b64 16 2 4 64 mod(P,cil(dot(P,R))) 76870 130011286 o2(x,o1(o2(x,x))) true 102967 102967 -0.3116 0.3493 0.8361 0.7096 0.8424 -1 1 2 1 2.499 0.02536 0.01951 0.05189 0.1303 1 -0.00001046 0.08543 0.0647 0.04217 0.2054 3.957 2.828 0.06323 0.1204 1 1 0.04786 0.242 0.8634 0.06744 0.341 1.217 json
t16_x2_u4_b65 16 2 4 65 mod(P,cil(dst(P,R))) 76871 130011287 o2(x,o1(o2(x,x))) true 102975 102975 -0.003515 0.4995 0.9122 0.894 0.9455 -1 1 2 1 2.057 0.001622 0.0006183 0.01412 0.4481 1 -0.00003993 0.0009383 0.006321 0.002041 0.04517 3.198 0.4652 0.002506 0.00105 1 1 0.005453 0.05112 0.2606 0.006099 0.05719 0.2916 json
t16_x2_u4_b66 16 2 4 66 lrg(P,cil(add(P,R))) 76872 130011288 o2(x,o1(o2(x,x))) true 102983 102983 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_x2_u4_b67 16 2 4 67 lrg(P,cil(sub(P,R))) 76873 130011289 o2(x,o1(o2(x,x))) true 102991 102991 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_x2_u4_b68 16 2 4 68 lrg(P,cil(mlt(P,R))) 76874 130011290 o2(x,o1(o2(x,x))) true 102999 102999 0.3809 0.4781 0.3809 0.2102 0.4585 0 1 1 1 1.923 0.0006468 0.0005232 0.01383 0.1056 1 -0.00001497 0.00006894 0.003362 0.0009786 0.03128 2.262 0.1169 0.005566 0.000328 1 1 0.002874 0.03736 0.1353 0.01367 0.1777 0.6437 json
t16_x2_u4_b69 16 2 4 69 lrg(P,cil(div(P,R))) 76875 130011291 o2(x,o1(o2(x,x))) true 103007 103007 0.4277 0.8399 0.4277 0.1552 0.394 0 1 1 1 3.307 0.001866 0.002191 0.04759 -0.07999 1 0.00003637 0.0002432 0.01163 0.001793 0.04234 0.8898 0.1169 0.02614 0.001567 1 1 0.0077 0.09929 0.2559 0.04961 0.6397 1.649 json
t16_x2_u4_b70 16 2 4 70 lrg(P,cil(pow(P,R))) 76876 130011292 o2(x,o1(o2(x,x))) true 103015 103015 0.8242 0.931 0.8242 0.12 0.3465 0 1 1 1 1.565 0.0008498 0.0003509 0.01397 0.4155 1 0.000002143 0.00006476 0.003353 0.001005 0.0317 2.269 0.1169 0.01 0.0005395 1 1 0.003012 0.03928 0.1792 0.02509 0.3272 1.493 json
t16_x2_u4_b71 16 2 4 71 lrg(P,cil(mod(P,R))) 76877 130011293 o2(x,o1(o2(x,x))) true 103023 103023 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t16_x2_u4_b72 16 2 4 72 lrg(P,cil(lrg(P,R))) 76878 130011294 o2(x,o1(o2(x,x))) true 103031 103031 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t16_x2_u4_b73 16 2 4 73 lrg(P,cil(eql(P,R))) 76879 130011295 o2(x,o1(o2(x,x))) true 103039 103039 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x2_u4_b74 16 2 4 74 lrg(P,cil(min(P,R))) 76880 130011296 o2(x,o1(o2(x,x))) true 103047 103047 0.4297 0.4783 0.4297 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.0001139 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t16_x2_u4_b75 16 2 4 75 lrg(P,cil(dot(P,R))) 76881 130011297 o2(x,o1(o2(x,x))) true 103055 103055 0.4277 0.7027 0.4277 0.1872 0.4326 0 1 1 1 2.749 0.001293 0.001359 0.03127 -0.02504 1 0.00001711 0.0001561 0.007595 0.001674 0.04092 1.308 0.1169 0.01417 0.0008342 1 1 0.005474 0.07112 0.2303 0.02925 0.3799 1.231 json
t16_x2_u4_b76 16 2 4 76 lrg(P,cil(dst(P,R))) 76882 130011298 o2(x,o1(o2(x,x))) true 103063 103063 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_x2_u4_b77 16 2 4 77 eql(P,cil(add(P,R))) 76883 130011299 o2(x,o1(o2(x,x))) true 103071 103071 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
t16_x2_u4_b78 16 2 4 78 eql(P,cil(sub(P,R))) 76884 130011300 o2(x,o1(o2(x,x))) true 103079 103079 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
t16_x2_u4_b79 16 2 4 79 eql(P,cil(mlt(P,R))) 76885 130011301 o2(x,o1(o2(x,x))) true 103087 103087 0.1504 0.3206 0.1504 0.09525 0.3086 0 1 1 1 1.675 0.0009997 0.0005232 0.0178 0.3129 1 0.00001497 0.00008514 0.00429 0.001207 0.03474 1.952 0.1169 0.01599 0.0008939 1 1 0.0038 0.04942 0.1712 0.03989 0.5188 1.797 json
t16_x2_u4_b80 16 2 4 80 eql(P,cil(div(P,R))) 76886 130011302 o2(x,o1(o2(x,x))) true 103095 103095 0.1289 0.3007 0.1289 0.08045 0.2836 0 1 1 1 1.583 0.000998 0.0005162 0.01767 0.3182 1 -4.468e-10 0.00008438 0.004266 0.001202 0.03467 1.962 0.1169 0.01882 0.001049 1 1 0.003712 0.04799 0.1266 0.04614 0.5965 1.574 json
t16_x2_u4_b81 16 2 4 81 eql(P,cil(pow(P,R))) 76887 130011303 o2(x,o1(o2(x,x))) true 103103 103103 0.1406 0.2787 0.1406 0.094 0.3066 0 1 1 1 1.507 0.0008207 0.0004563 0.01499 0.2854 1 -0.000007849 0.00007114 0.003612 0.001053 0.03244 2.165 0.1169 0.01358 0.0007568 1 1 0.003233 0.0421 0.1657 0.0344 0.4479 1.762 json
t16_x2_u4_b82 16 2 4 82 eql(P,cil(mod(P,R))) 76888 130011304 o2(x,o1(o2(x,x))) true 103111 103111 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t16_x2_u4_b83 16 2 4 83 eql(P,cil(lrg(P,R))) 76889 130011305 o2(x,o1(o2(x,x))) true 103119 103119 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t16_x2_u4_b84 16 2 4 84 eql(P,cil(eql(P,R))) 76890 130011306 o2(x,o1(o2(x,x))) true 103127 103127 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x2_u4_b85 16 2 4 85 eql(P,cil(min(P,R))) 76891 130011307 o2(x,o1(o2(x,x))) true 103135 103135 0.5703 0.619 0.5703 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 -0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.000114 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t16_x2_u4_b86 16 2 4 86 eql(P,cil(dot(P,R))) 76892 130011308 o2(x,o1(o2(x,x))) true 103143 103143 0.08789 0.2904 0.08789 0.04938 0.2222 0 1 1 1 1.398 0.0007094 0.0007036 0.0168 0.004091 1 3.464e-10 0.0000851 0.004107 0.001131 0.03362 2.001 0.1169 0.02862 0.001724 1 1 0.00338 0.0437 0.1226 0.06846 0.8851 2.482 json
t16_x2_u4_b87 16 2 4 87 eql(P,cil(dst(P,R))) 76893 130011309 o2(x,o1(o2(x,x))) true 103151 103151 0.05859 0.1298 0.05859 0.04026 0.2006 0 1 1 1 0.8457 0.0002966 0.0003752 0.007902 -0.117 1 0.00001141 0.00004128 0.00194 0.0006089 0.02467 3.123 0.1169 0.01669 0.001025 1 1 0.001622 0.0212 0.07572 0.04029 0.5265 1.881 json
t16_x2_u4_b88 16 2 4 88 min(P,cil(add(P,R))) 76894 130011310 o2(x,o1(o2(x,x))) true 103159 103159 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x2_u4_b89 16 2 4 89 min(P,cil(sub(P,R))) 76895 130011311 o2(x,o1(o2(x,x))) true 103167 103167 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x2_u4_b90 16 2 4 90 min(P,cil(mlt(P,R))) 76896 130011312 o2(x,o1(o2(x,x))) true 103175 103175 -0.397 0.3044 0.8228 0.6223 0.7889 -1 1 2 1 2.776 0.009004 0.009279 0.05332 -0.01507 1 -0.00004281 0.009595 0.02612 0.01545 0.1243 2.331 1.436 0.02938 0.01542 1 1 0.02504 0.2344 0.6325 0.04024 0.3766 1.016 json
t16_x2_u4_b91 16 2 4 91 min(P,cil(div(P,R))) 76897 130011313 o2(x,o1(o2(x,x))) true 103183 103183 -0.6286 0.177 0.9188 0.5043 0.7101 -1 1 2 1 1.708 0.02427 0.02861 0.05848 -0.082 1 -0.000009616 0.07833 0.0633 0.04945 0.2224 3.803 2.828 0.1048 0.1553 1 1 0.06435 0.3893 0.8069 0.1276 0.7719 1.6 json
t16_x2_u4_b92 16 2 4 92 min(P,cil(pow(P,R))) 76898 130011314 o2(x,o1(o2(x,x))) true 103191 103191 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x2_u4_b93 16 2 4 93 min(P,cil(mod(P,R))) 76899 130011315 o2(x,o1(o2(x,x))) true 103199 103199 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json