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_x15_u3_b104 16 15 3 104 dot(D,flr(mod(R,P))) 87800 130536338 o2(x,o1(o2(x,x))) true 19207 19207 -0.2302 0.3852 0.3346 0.2025 0.45 -1 0.4776 1.478 1 3.425 0.007903 0.007896 0.04618 0.0004256 1 -0.0001021 0.02844 0.03774 0.01367 0.1169 2.532 1.414 0.07803 0.1405 1 1 0.02075 0.09836 0.3113 0.1025 0.4858 1.538 json
t16_x15_u3_b105 16 15 3 105 dot(D,flr(lrg(R,P))) 87801 130536339 o2(x,o1(o2(x,x))) true 19215 19215 0.01788 0.4428 0.08599 0.01327 0.1152 -0.2908 0.4776 0.7684 1 2.833 0.0008565 0.0008593 0.03315 -0.001601 1 -0.0003163 0.0002581 0.01205 0.0006175 0.02485 0.7497 0.09684 0.1293 0.01945 1 1 0.00336 0.02473 0.007644 0.2532 1.863 0.576 json
t16_x15_u3_b106 16 15 3 106 dot(D,flr(eql(R,P))) 87802 130536340 o2(x,o1(o2(x,x))) true 19223 19223 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_x15_u3_b107 16 15 3 107 dot(D,flr(min(R,P))) 87803 130536341 o2(x,o1(o2(x,x))) true 19231 19231 -0.1183 0.4114 0.3687 0.2172 0.4661 -1 1 2 1 4.691 0.01544 0.01537 0.1308 0.002416 1 0.001575 0.007174 0.053 0.01371 0.1171 0.8956 0.613 0.1418 0.03303 1 1 0.03619 0.2494 0.04157 0.1666 1.148 0.1914 json
t16_x15_u3_b108 16 15 3 108 dot(D,flr(dot(R,P))) 87804 130536342 o2(x,o1(o2(x,x))) true 19239 19239 0.0007971 0.4965 0.606 0.5023 0.7087 -1 1 2 1 4.368 0.02288 0.02558 0.1459 -0.05565 1 -0.0001712 0.02335 0.07033 0.02718 0.1649 1.13 1.426 0.09649 0.04649 1 1 0.06539 0.5972 0.8849 0.1302 1.189 1.762 json
t16_x15_u3_b109 16 15 3 109 dot(D,flr(dst(R,P))) 87805 130536343 o2(x,o1(o2(x,x))) true 19247 19247 0.0001999 0.4916 0.5619 0.4483 0.6695 -1 1 2 1 4.533 0.03975 0.03989 0.2194 -0.001807 1 0.000009468 0.03524 0.1026 0.03151 0.1775 0.8092 0.8766 0.1777 0.07862 1 1 0.1017 0.6525 0.08501 0.2269 1.456 0.1896 json
t16_x15_u3_b110 16 15 3 110 dst(D,flr(add(R,P))) 87806 130536344 o2(x,o1(o2(x,x))) true 19255 19255 1 1 1 5.032e-7 0.0007094 0.9286 1 0.07141 1 0.0009425 3.727e-7 1.56e-7 0.00001223 0.41 0 1.126e-11 0.000001018 0.00001834 5.284e-7 0.0007269 59.45 0.06595 1.051 2.022 1 1 0.000001172 0.000001828 0.000001828 2.328 3.632 3.632 json
t16_x15_u3_b111 16 15 3 111 dst(D,flr(sub(R,P))) 87807 130536345 o2(x,o1(o2(x,x))) true 19263 19263 0.9976 1 0.9976 0.001135 0.03369 0.04459 1 0.9554 1 0.09035 0.00002254 0.00005247 0.0007577 -0.399 0 5.632e-11 0.00002379 0.0003704 0.00007438 0.008624 11.38 0.2241 0.06607 0.02095 1 1 0.0002482 0.002357 0.00414 0.2186 2.076 3.647 json
t16_x15_u3_b112 16 15 3 112 dst(D,flr(mlt(R,P))) 87808 130536346 o2(x,o1(o2(x,x))) true 19271 19271 0.9683 1 0.9683 0.01644 0.1282 0.04446 1 0.9555 1 0.6621 0.0004469 0.0007114 0.008756 -0.2283 1 -0.000005482 0.0005106 0.004874 0.001081 0.03289 3.756 0.3833 0.07045 0.03106 1 1 0.002882 0.02345 0.04157 0.1753 1.427 2.528 json
t16_x15_u3_b113 16 15 3 113 dst(D,flr(div(R,P))) 87809 130536347 o2(x,o1(o2(x,x))) true 19279 19279 -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_x15_u3_b114 16 15 3 114 dst(D,flr(pow(R,P))) 87810 130536348 o2(x,o1(o2(x,x))) true 19287 19287 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t16_x15_u3_b115 16 15 3 115 dst(D,flr(mod(R,P))) 87811 130536349 o2(x,o1(o2(x,x))) true 19295 19295 0.492 0.7656 0.9607 0.6992 0.8362 -1 1 2 1 1.653 0.02754 0.02447 0.03881 0.05898 1 -0.00002263 0.102 0.05843 0.05049 0.2247 5.79 2.003 0.07439 0.1459 1 1 0.06507 0.2824 1.087 0.09307 0.404 1.554 json
t16_x15_u3_b116 16 15 3 116 dst(D,flr(lrg(R,P))) 87812 130536350 o2(x,o1(o2(x,x))) true 19303 19303 0.9265 1 0.9265 0.03338 0.1827 0.04446 1 0.9555 1 1.395 0.0006641 0.0006421 0.01652 0.01684 1 -0.0001228 0.0002344 0.006375 0.001034 0.03215 1.946 0.1349 0.03914 0.007023 1 1 0.002637 0.02639 0.04492 0.079 0.7907 1.346 json
t16_x15_u3_b117 16 15 3 117 dst(D,flr(eql(R,P))) 87813 130536351 o2(x,o1(o2(x,x))) true 19311 19311 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x15_u3_b118 16 15 3 118 dst(D,flr(min(R,P))) 87814 130536352 o2(x,o1(o2(x,x))) true 19319 19319 0.9898 1 0.9898 0.004909 0.07007 0.04448 1 0.9555 1 0.3091 0.000205 0.0002123 0.003889 -0.01728 1 0.000001612 0.0001302 0.002143 0.0004022 0.02006 5.158 0.217 0.085 0.02652 1 1 0.0009023 0.008312 0.01213 0.1838 1.693 2.471 json
t16_x15_u3_b119 16 15 3 119 dst(D,flr(dot(R,P))) 87815 130536353 o2(x,o1(o2(x,x))) true 19327 19327 0.9687 1 0.9687 0.01827 0.1352 0.04473 1 0.9553 1 0.5664 0.001153 0.001278 0.01135 -0.0515 1 -0.0001054 0.001587 0.008156 0.002301 0.04797 4.225 0.5211 0.1331 0.08684 1 1 0.005534 0.0345 0.04079 0.3029 1.889 2.232 json
t16_x15_u3_b120 16 15 3 120 dst(D,flr(dst(R,P))) 87816 130536354 o2(x,o1(o2(x,x))) true 19335 19335 0.9958 1 0.9958 0.002508 0.05008 0.04486 1 0.9551 1 0.1025 0.0001214 0.0001674 0.001588 -0.1595 1 2.253e-11 0.0001377 0.001006 0.000286 0.01691 10.65 0.3594 0.1151 0.05493 1 1 0.0009191 0.006678 0.008169 0.3665 2.663 3.258 json
t16_x15_u4_b0 16 15 4 0 add(D,cil(add(R,P))) 87817 130536435 o2(x,o1(o2(x,x))) true 19343 19343 0.06362 0.5306 0.9345 0.9124 0.9552 -1 1 2 1 1.932 0.0007666 0.0002546 0.01023 0.5014 1 -0.00001756 0.0001162 0.002484 0.0009159 0.03026 2.957 0.1794 0.001119 0.0001273 1 1 0.002646 0.03462 0.2574 0.0029 0.03794 0.2821 json
t16_x15_u4_b1 16 15 4 1 add(D,cil(sub(R,P))) 87818 130536436 o2(x,o1(o2(x,x))) true 19351 19351 0.06536 0.5313 0.9295 0.9109 0.9544 -1 1 2 1 1.914 0.001582 0.0002869 0.01291 0.693 1 -0.00001746 0.000377 0.005439 0.001703 0.04127 3.196 0.2881 0.002052 0.0004139 1 1 0.004834 0.04725 0.2508 0.005307 0.05187 0.2753 json
t16_x15_u4_b2 16 15 4 2 add(D,cil(mlt(R,P))) 87819 130536437 o2(x,o1(o2(x,x))) true 19359 19359 0.1474 0.5911 0.7285 0.6363 0.7977 -1 1 2 1 3.68 0.01711 0.01936 0.09724 -0.0617 1 -0.00006628 0.01988 0.05074 0.02701 0.1644 1.69 1.485 0.05733 0.03124 1 1 0.05153 0.4509 0.9763 0.08098 0.7087 1.534 json
t16_x15_u4_b3 16 15 4 3 add(D,cil(div(R,P))) 87820 130536438 o2(x,o1(o2(x,x))) true 19367 19367 0.2769 0.7352 0.548 0.3671 0.6059 -1 1 2 1 4.088 0.02285 0.002124 0.067 0.8299 1 -0.00001015 0.04085 0.03959 0.02048 0.1431 2.136 2 0.06801 0.1113 1 1 0.03516 0.2044 0.6049 0.09576 0.5568 1.648 json
t16_x15_u4_b4 16 15 4 4 add(D,cil(pow(R,P))) 87821 130536439 o2(x,o1(o2(x,x))) true 19375 19375 -0.8529 0.07422 0.9987 0.27 0.5196 -1 1 2 1 0.4373 0.02475 0.02401 0.0249 0.01515 1 0.00001004 0.1021 0.04954 0.04817 0.2195 8.813 2.828 0.1806 0.3783 1 1 0.04596 0.191 0.6342 0.1702 0.7077 2.349 json
t16_x15_u4_b5 16 15 4 5 add(D,cil(mod(R,P))) 87822 130536440 o2(x,o1(o2(x,x))) true 19383 19383 0.2843 0.7372 0.5553 0.3705 0.6087 -1 1 2 1 4.081 0.02453 0.002123 0.06767 0.8407 1 0.00005135 0.04428 0.04074 0.02207 0.1486 2.196 2 0.07192 0.1195 1 1 0.03654 0.2065 0.5762 0.09861 0.5574 1.555 json
t16_x15_u4_b6 16 15 4 6 add(D,cil(lrg(R,P))) 87823 130536441 o2(x,o1(o2(x,x))) true 19391 19391 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t16_x15_u4_b7 16 15 4 7 add(D,cil(eql(R,P))) 87824 130536442 o2(x,o1(o2(x,x))) true 19399 19399 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x15_u4_b8 16 15 4 8 add(D,cil(min(R,P))) 87825 130536443 o2(x,o1(o2(x,x))) true 19407 19407 -0.2573 0.4205 0.6922 0.5522 0.7431 -1 1 2 1 3.499 0.001957 0.001181 0.03645 0.2471 1 0.0001302 0.0003224 0.008787 0.001809 0.04253 1.167 0.1713 0.005683 0.0005839 1 1 0.00625 0.07397 0.2566 0.01132 0.134 0.4647 json
t16_x15_u4_b9 16 15 4 9 add(D,cil(dot(R,P))) 87826 130536444 o2(x,o1(o2(x,x))) true 19415 19415 0.0578 0.537 0.859 0.812 0.9011 -1 1 2 1 2.822 0.02485 0.03327 0.1033 -0.1448 1 0.00001901 0.04589 0.07515 0.04745 0.2178 2.109 1.827 0.07157 0.05651 1 1 0.07401 0.571 1.348 0.09114 0.7033 1.66 json
t16_x15_u4_b10 16 15 4 10 add(D,cil(dst(R,P))) 87827 130536445 o2(x,o1(o2(x,x))) true 19423 19423 0.9999 1 0.9999 0.000009305 0.00305 0.8549 1 0.1451 1 0.01068 0.000002641 0.000001543 0.00009097 0.2624 0 -1.502e-11 0.000005674 0.0001146 0.000004172 0.002043 22.45 0.07069 0.4496 0.6098 1 1 0.00001098 0.00003381 0.00003276 1.18 3.633 3.521 json
t16_x15_u4_b11 16 15 4 11 sub(D,cil(add(R,P))) 87828 130536446 o2(x,o1(o2(x,x))) true 19431 19431 -0.06311 0.4685 0.9331 0.915 0.9566 -1 1 2 1 1.878 0.001566 0.0002563 0.01253 0.7187 1 0.00001741 0.0003658 0.005352 0.001666 0.04082 3.258 0.2881 0.001992 0.0003997 1 1 0.004622 0.04556 0.2636 0.005051 0.0498 0.288 json
t16_x15_u4_b12 16 15 4 12 sub(D,cil(sub(R,P))) 87829 130536447 o2(x,o1(o2(x,x))) true 19439 19439 -0.06489 0.4681 0.931 0.9088 0.9533 -1 1 2 1 1.958 0.0007833 0.0002874 0.01066 0.4631 1 0.00001756 0.00013 0.002744 0.0009575 0.03094 2.901 0.1794 0.001178 0.000143 1 1 0.002866 0.03698 0.2478 0.003153 0.0407 0.2726 json
t16_x15_u4_b13 16 15 4 13 sub(D,cil(mlt(R,P))) 87830 130536448 o2(x,o1(o2(x,x))) true 19447 19447 -0.1463 0.4099 0.7277 0.6358 0.7974 -1 1 2 1 3.684 0.01715 0.01931 0.09719 -0.05938 1 0.0001009 0.01989 0.05068 0.02701 0.1643 1.691 1.377 0.05734 0.03128 1 1 0.0513 0.4488 0.9786 0.08068 0.7058 1.539 json
t16_x15_u4_b14 16 15 4 14 sub(D,cil(div(R,P))) 87831 130536449 o2(x,o1(o2(x,x))) true 19455 19455 -0.5268 0.1379 0.5478 0.1656 0.407 -1 0.1454 1.145 1 3.816 0.006017 0.002125 0.05862 0.478 1 4.612e-7 0.007079 0.02264 0.004707 0.06861 1.17 1.031 0.04916 0.04274 1 1 0.01346 0.1171 0.2786 0.0813 0.7073 1.682 json
t16_x15_u4_b15 16 15 4 15 sub(D,cil(pow(R,P))) 87832 130536450 o2(x,o1(o2(x,x))) true 19463 19463 -0.9989 0 0.9989 0.0001256 0.01121 -1 -0.8546 0.1454 1 0.08144 0.00001742 0.00001091 0.0005233 0.2298 0 0 0.00003205 0.0004998 0.00002804 0.005295 10.12 0.1455 0.2255 0.2551 1 1 0.00003341 0.0001427 0.0002302 0.2659 1.136 1.833 json
t16_x15_u4_b16 16 15 4 16 sub(D,cil(mod(R,P))) 87833 130536451 o2(x,o1(o2(x,x))) true 19471 19471 -0.5345 0.1334 0.5548 0.1645 0.4056 -1 0.1454 1.145 1 3.809 0.005463 0.002123 0.05785 0.4403 1 -0.00003075 0.005938 0.02147 0.004239 0.06511 1.125 1.031 0.04612 0.03611 1 1 0.01302 0.1167 0.2885 0.07919 0.7095 1.754 json
t16_x15_u4_b17 16 15 4 17 sub(D,cil(lrg(R,P))) 87834 130536452 o2(x,o1(o2(x,x))) true 19479 19479 -0.4745 0.2335 0.5184 0.223 0.4723 -1 0.1454 1.145 1 3.237 0.001313 0.000102 0.02979 0.8559 1 0.000005705 0.0002737 0.01341 0.0005275 0.02297 0.7709 0.1324 0.006343 0.001227 1 1 0.002902 0.02521 0.08169 0.01301 0.1131 0.3663 json
t16_x15_u4_b18 16 15 4 18 sub(D,cil(eql(R,P))) 87835 130536453 o2(x,o1(o2(x,x))) true 19487 19487 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x15_u4_b19 16 15 4 19 sub(D,cil(min(R,P))) 87836 130536454 o2(x,o1(o2(x,x))) true 19495 19495 0.2555 0.5727 0.6937 0.5613 0.7492 -1 1 2 1 3.358 0.002573 0.00118 0.03873 0.371 1 0.0001416 0.0004806 0.0118 0.002253 0.04747 1.226 0.1713 0.006686 0.0008561 1 1 0.007649 0.08303 0.2604 0.01363 0.1479 0.4639 json
t16_x15_u4_b20 16 15 4 20 sub(D,cil(dot(R,P))) 87837 130536455 o2(x,o1(o2(x,x))) true 19503 19503 -0.0567 0.464 0.8597 0.8132 0.9018 -1 1 2 1 2.83 0.02488 0.03318 0.1033 -0.1431 1 0.000008338 0.04586 0.07493 0.04738 0.2177 2.107 1.872 0.0714 0.05639 1 1 0.07372 0.5709 1.349 0.09066 0.7021 1.659 json
t16_x15_u4_b21 16 15 4 21 sub(D,cil(dst(R,P))) 87838 130536456 o2(x,o1(o2(x,x))) true 19511 19511 -0.9999 0 0.9999 0.00001001 0.003164 -1 -0.8549 0.1451 1 0.01163 0.000002819 0.000001684 0.0000971 0.252 0 3.754e-12 0.000005898 0.0001205 0.000004489 0.002119 21.82 0.07178 0.4497 0.589 1 1 0.00001196 0.00003639 0.00003294 1.194 3.634 3.29 json
t16_x15_u4_b22 16 15 4 22 mlt(D,cil(add(R,P))) 87839 130536457 o2(x,o1(o2(x,x))) true 19519 19519 -0.1349 0.3711 0.4038 0.2302 0.4798 -1 1 2 1 4.81 0.03264 0.0001526 0.1414 0.9907 1 0.002214 0.006256 0.05829 0.01279 0.1131 0.7996 0.4959 0.1424 0.02717 1 1 0.03968 0.2945 0.04113 0.1724 1.279 0.1786 json
t16_x15_u4_b23 16 15 4 23 mlt(D,cil(sub(R,P))) 87840 130536458 o2(x,o1(o2(x,x))) true 19527 19527 0.1364 0.6137 0.4083 0.2371 0.4869 -1 1 2 1 4.802 0.03374 0.0001541 0.1429 0.9909 1 -0.002167 0.006448 0.0589 0.01347 0.1161 0.8121 0.4959 0.143 0.0272 1 1 0.04014 0.2944 0.04212 0.1693 1.242 0.1777 json
t16_x15_u4_b24 16 15 4 24 mlt(D,cil(mlt(R,P))) 87841 130536459 o2(x,o1(o2(x,x))) true 19535 19535 -0.01668 0.4746 0.3218 0.2059 0.4537 -1 1 2 1 4.483 0.01213 0.003509 0.09055 0.5513 1 0.0004367 0.003422 0.03202 0.007444 0.08628 0.9528 0.5903 0.07599 0.01662 1 1 0.02031 0.2138 0.292 0.09868 1.038 1.418 json
t16_x15_u4_b25 16 15 4 25 mlt(D,cil(div(R,P))) 87842 130536460 o2(x,o1(o2(x,x))) true 19543 19543 -0.1244 0.3911 0.1951 0.1206 0.3473 -1 0.2729 1.273 1 3.048 0.008772 0.0001447 0.03103 0.9676 1 0.00001337 0.01598 0.02347 0.007955 0.08919 2.875 1.031 0.07393 0.1325 1 1 0.01232 0.0605 0.1875 0.1021 0.5016 1.554 json
t16_x15_u4_b26 16 15 4 26 mlt(D,cil(pow(R,P))) 87843 130536461 o2(x,o1(o2(x,x))) true 19551 19551 -0.9205 0.04161 0.9603 0.1071 0.3273 -1 1 2 1 0.572 0.009183 0.01001 0.01708 -0.04294 1 0.0002426 0.03973 0.02842 0.01889 0.1374 8.044 2.828 0.1791 0.3709 1 1 0.02234 0.1016 0.2788 0.2086 0.9484 2.603 json
t16_x15_u4_b27 16 15 4 27 mlt(D,cil(mod(R,P))) 87844 130536462 o2(x,o1(o2(x,x))) true 19559 19559 -0.1233 0.3966 0.1956 0.121 0.3478 -1 0.2729 1.273 1 3.051 0.008741 0.0001447 0.03104 0.9674 1 -0.00002655 0.016 0.02355 0.007923 0.08901 2.868 1.031 0.07346 0.1323 1 1 0.01219 0.05786 0.1874 0.1007 0.4783 1.549 json
t16_x15_u4_b28 16 15 4 28 mlt(D,cil(lrg(R,P))) 87845 130536463 o2(x,o1(o2(x,x))) true 19567 19567 0.008939 0.3034 0.05255 0.006658 0.0816 -0.1454 0.2729 0.4183 1 2.138 0.0008429 0.000007984 0.01898 0.9812 1 -0.0001582 0.0001278 0.007452 0.0004906 0.02215 1.167 0.0622 0.1278 0.01919 1 1 0.00165 0.01215 0.004067 0.2478 1.825 0.6109 json
t16_x15_u4_b29 16 15 4 29 mlt(D,cil(eql(R,P))) 87846 130536464 o2(x,o1(o2(x,x))) true 19575 19575 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_x15_u4_b30 16 15 4 30 mlt(D,cil(min(R,P))) 87847 130536465 o2(x,o1(o2(x,x))) true 19583 19583 -0.07302 0.3795 0.2411 0.1235 0.3514 -1 0.9606 1.961 1 4.223 0.01657 0.00009301 0.08308 0.9888 1 0.001267 0.003097 0.03326 0.009755 0.09877 1.189 0.4334 0.1349 0.02508 1 1 0.01893 0.1317 0.02141 0.1533 1.066 0.1734 json
t16_x15_u4_b31 16 15 4 31 mlt(D,cil(dot(R,P))) 87848 130536466 o2(x,o1(o2(x,x))) true 19591 19591 -0.0002818 0.5006 0.4532 0.3314 0.5757 -1 1 2 1 4.657 0.02188 0.007031 0.1268 0.5137 1 0.0001372 0.008029 0.05002 0.01283 0.1133 0.8929 0.7941 0.08724 0.02423 1 1 0.03929 0.3824 0.5512 0.1186 1.154 1.663 json
t16_x15_u4_b32 16 15 4 32 mlt(D,cil(dst(R,P))) 87849 130536467 o2(x,o1(o2(x,x))) true 19599 19599 0.000321 0.5003 0.5996 0.4636 0.6809 -1 1 2 1 4.708 0.07035 0.0002406 0.2083 0.9932 1 0.00001321 0.01787 0.09582 0.02721 0.165 0.792 0.7396 0.1523 0.03855 1 1 0.0916 0.6441 0.05426 0.1976 1.389 0.117 json
t16_x15_u4_b33 16 15 4 33 div(D,cil(add(R,P))) 87850 130536468 o2(x,o1(o2(x,x))) true 19607 19607 -0.1175 0.496 0.1857 0.148 0.3847 -1 1 2 1 1.998 0.01232 0.007701 0.02415 0.2305 1 0.00003839 0.04104 0.03349 0.01944 0.1394 5.773 2.828 0.1352 0.2773 1 1 0.02686 0.1153 0.3054 0.1815 0.7793 2.064 json
t16_x15_u4_b34 16 15 4 34 div(D,cil(sub(R,P))) 87851 130536469 o2(x,o1(o2(x,x))) true 19615 19615 -0.1402 0.3733 0.193 0.1499 0.3872 -1 1 2 1 2.013 0.01277 0.00809 0.02415 0.2245 1 -0.00003716 0.0439 0.03422 0.02028 0.1424 5.898 2.828 0.1392 0.2928 1 1 0.03017 0.1217 0.3151 0.2012 0.8118 2.101 json
t16_x15_u4_b35 16 15 4 35 div(D,cil(mlt(R,P))) 87852 130536470 o2(x,o1(o2(x,x))) true 19623 19623 -0.4183 0.2873 0.6028 0.3974 0.6304 -1 1 2 1 2.562 0.04031 0.03585 0.06311 0.05857 1 -0.000003684 0.1598 0.1079 0.07216 0.2686 4.256 2.828 0.1917 0.4022 1 1 0.08078 0.3397 0.8407 0.2033 0.855 2.116 json
t16_x15_u4_b36 16 15 4 36 div(D,cil(div(R,P))) 87853 130536471 o2(x,o1(o2(x,x))) true 19631 19631 -0.7824 0.1055 0.9378 0.3187 0.5646 -1 1 2 1 0.963 0.03744 0.03825 0.04561 -0.01071 1 0.00001004 0.1596 0.08778 0.07363 0.2714 5.95 2.828 0.2375 0.5008 1 1 0.08422 0.3458 0.667 0.2642 1.085 2.093 json
t16_x15_u4_b37 16 15 4 37 div(D,cil(pow(R,P))) 87854 130536472 o2(x,o1(o2(x,x))) true 19639 19639 -0.9276 0.03159 0.9309 0.06586 0.2566 -1 0.1454 1.145 1 0.5721 0.006259 0.005947 0.01376 0.02563 1 0.000004562 0.02546 0.02507 0.01201 0.1096 7.966 1.414 0.1853 0.3865 1 1 0.01132 0.04618 0.15 0.1719 0.7013 2.278 json
t16_x15_u4_b38 16 15 4 38 div(D,cil(mod(R,P))) 87855 130536473 o2(x,o1(o2(x,x))) true 19647 19647 -0.8633 0.06836 0.9682 0.2199 0.4689 -1 1 2 1 0.5967 0.02599 0.02792 0.03106 -0.03595 1 -0.00001004 0.1142 0.06087 0.05295 0.2301 7.409 2.828 0.2452 0.5195 1 1 0.04856 0.2003 0.4144 0.2208 0.9108 1.884 json
t16_x15_u4_b39 16 15 4 39 div(D,cil(lrg(R,P))) 87856 130536474 o2(x,o1(o2(x,x))) true 19655 19655 -0.5469 0.2266 0.5896 0.2526 0.5026 -1 0.1454 1.145 1 2.154 0.004453 0.001528 0.02143 0.4891 1 -0.0001582 0.01145 0.0175 0.005521 0.07431 3.468 1.37 0.02368 0.04531 1 1 0.008214 0.0349 0.1098 0.03251 0.1382 0.4345 json
t16_x15_u4_b40 16 15 4 40 div(D,cil(eql(R,P))) 87857 130536475 o2(x,o1(o2(x,x))) true 19663 19663 -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_x15_u4_b41 16 15 4 41 div(D,cil(min(R,P))) 87858 130536476 o2(x,o1(o2(x,x))) true 19671 19671 -0.4961 0.2871 0.5735 0.3137 0.56 -1 1 2 1 1.855 0.0177 0.01342 0.0229 0.1376 1 0.00002849 0.06475 0.03744 0.0306 0.1749 7.637 2.828 0.09924 0.2064 1 1 0.02917 0.126 0.3076 0.093 0.4017 0.9806 json
t16_x15_u4_b42 16 15 4 42 div(D,cil(dot(R,P))) 87859 130536477 o2(x,o1(o2(x,x))) true 19679 19679 -0.2278 0.3831 0.3935 0.2997 0.5474 -1 1 2 1 2.974 0.03098 0.0298 0.05737 0.01942 1 -0.000005208 0.1274 0.09015 0.05747 0.2397 4.178 2.828 0.2028 0.4252 1 1 0.0595 0.255 0.6105 0.1985 0.8511 2.037 json
t16_x15_u4_b43 16 15 4 43 div(D,cil(dst(R,P))) 87860 130536478 o2(x,o1(o2(x,x))) true 19687 19687 -0.000002398 0.4987 0.01845 0.0007403 0.02721 -0.2168 0.2168 0.4337 1 1.227 0.00009065 0.000003996 0.00707 0.9156 0 8.008e-8 0.00001374 0.002759 0.00004466 0.006683 0.9452 0.06224 0.1278 0.01856 1 1 0.0002863 0.002203 0.0009289 0.3867 2.976 1.255 json
t16_x15_u4_b44 16 15 4 44 pow(D,cil(add(R,P))) 87861 130536479 o2(x,o1(o2(x,x))) true 19695 19695 -0.9141 0.04297 1 0.1646 0.4057 -1 1 2 1 0.2557 0.01789 0.00907 0.01341 0.3271 1 0 0.05593 0.02696 0.02676 0.1636 12.2 2.828 0.1638 0.3398 1 1 0.03435 0.1401 0.4228 0.2087 0.8509 2.569 json
t16_x15_u4_b45 16 15 4 45 pow(D,cil(sub(R,P))) 87862 130536480 o2(x,o1(o2(x,x))) true 19703 19703 -0.925 0.04297 0.9891 0.1306 0.3615 -1 1 2 1 0.371 0.008872 0.007519 0.01088 0.08255 1 4.767e-7 0.03365 0.01884 0.01628 0.1276 11.73 2.828 0.1255 0.2576 1 1 0.01695 0.07528 0.2725 0.1297 0.5762 2.086 json
t16_x15_u4_b46 16 15 4 46 pow(D,cil(mlt(R,P))) 87863 130536481 o2(x,o1(o2(x,x))) true 19711 19711 -0.8197 0.09766 0.985 0.3076 0.5546 -1 1 2 1 0.6733 0.03032 0.01148 0.02534 0.4507 1 -0.000003596 0.08569 0.04534 0.04119 0.2029 8.009 2.828 0.1359 0.2785 1 1 0.05162 0.2187 0.5927 0.1678 0.7108 1.927 json
t16_x15_u4_b47 16 15 4 47 pow(D,cil(div(R,P))) 87864 130536482 o2(x,o1(o2(x,x))) true 19719 19719 -0.5753 0.2305 0.9638 0.6174 0.7858 -1 1 2 1 1.316 0.06265 0.05745 0.07167 0.04333 1 -0.00001537 0.2515 0.1301 0.115 0.3392 4.732 2.828 0.1945 0.4073 1 1 0.1195 0.5138 1.224 0.1935 0.8322 1.982 json
t16_x15_u4_b48 16 15 4 48 pow(D,cil(pow(R,P))) 87865 130536483 o2(x,o1(o2(x,x))) true 19727 19727 -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_x15_u4_b49 16 15 4 49 pow(D,cil(mod(R,P))) 87866 130536484 o2(x,o1(o2(x,x))) true 19735 19735 -0.581 0.2266 0.9658 0.6142 0.7837 -1 1 2 1 1.286 0.05758 0.05269 0.06624 0.04435 1 -0.00001827 0.2295 0.1199 0.1059 0.3254 4.913 2.828 0.1796 0.3736 1 1 0.1126 0.4836 1.19 0.1833 0.7874 1.937 json
t16_x15_u4_b50 16 15 4 50 pow(D,cil(lrg(R,P))) 87867 130536485 o2(x,o1(o2(x,x))) true 19743 19743 0.02875 0.5234 0.9819 0.9743 0.9871 -1 1 2 1 1.332 0.006457 0.002161 0.009419 0.4985 1 0.000002037 0.01669 0.01241 0.00853 0.09236 9.806 2.828 0.008845 0.01713 1 1 0.01343 0.07054 0.3594 0.01378 0.07239 0.3689 json
t16_x15_u4_b51 16 15 4 51 pow(D,cil(eql(R,P))) 87868 130536486 o2(x,o1(o2(x,x))) true 19751 19751 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_x15_u4_b52 16 15 4 52 pow(D,cil(min(R,P))) 87869 130536487 o2(x,o1(o2(x,x))) true 19759 19759 -0.6438 0.1875 0.9812 0.5586 0.7474 -1 1 2 1 1.013 0.06302 0.02999 0.05281 0.3552 1 0.000005077 0.1915 0.0985 0.0902 0.3003 5.687 2.828 0.1665 0.3429 1 1 0.109 0.4611 0.9011 0.1951 0.8255 1.613 json
t16_x15_u4_b53 16 15 4 53 pow(D,cil(dot(R,P))) 87870 130536488 o2(x,o1(o2(x,x))) true 19767 19767 -0.9649 0.01953 0.9961 0.06414 0.2533 -1 1 2 1 0.1826 0.007536 0.007919 0.0089 -0.02477 1 -1.239e-10 0.03257 0.01686 0.01537 0.124 13.93 2.828 0.241 0.5078 1 1 0.01552 0.06422 0.1239 0.242 1.001 1.932 json
t16_x15_u4_b54 16 15 4 54 pow(D,cil(dst(R,P))) 87871 130536489 o2(x,o1(o2(x,x))) true 19775 19775 -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_x15_u4_b55 16 15 4 55 mod(D,cil(add(R,P))) 87872 130536490 o2(x,o1(o2(x,x))) true 19783 19783 -0.1602 0.4199 0.2395 0.1436 0.3789 -1 0.1454 1.145 1 2.786 0.009293 0.002547 0.04032 0.5698 1 2.722e-11 0.02183 0.03305 0.01022 0.1011 2.507 1.415 0.08245 0.152 1 1 0.01656 0.07326 0.209 0.1153 0.5102 1.455 json
t16_x15_u4_b56 16 15 4 56 mod(D,cil(sub(R,P))) 87873 130536491 o2(x,o1(o2(x,x))) true 19791 19791 -0.168 0.416 0.2465 0.1488 0.3857 -1 0.1454 1.145 1 2.784 0.00928 0.002037 0.03954 0.6399 1 2.722e-11 0.02068 0.03193 0.009754 0.09876 2.498 1.415 0.07606 0.139 1 1 0.01607 0.07117 0.1985 0.108 0.4783 1.334 json
t16_x15_u4_b57 16 15 4 57 mod(D,cil(mlt(R,P))) 87874 130536492 o2(x,o1(o2(x,x))) true 19799 19799 -0.5664 0.2168 0.6073 0.2504 0.5004 -1 0.1454 1.145 1 2.098 0.01678 0.0141 0.04451 0.08689 1 0.000008788 0.06312 0.06607 0.02889 0.17 3.819 1.415 0.1233 0.252 1 1 0.0318 0.137 0.4211 0.127 0.5471 1.682 json
t16_x15_u4_b58 16 15 4 58 mod(D,cil(div(R,P))) 87875 130536493 o2(x,o1(o2(x,x))) true 19807 19807 -0.9609 0.01953 0.9646 0.03794 0.1948 -1 0.1454 1.145 1 0.338 0.003793 0.003255 0.00814 0.07631 1 0.00001004 0.0146 0.01437 0.006978 0.08353 10.26 1.415 0.1858 0.3849 1 1 0.006796 0.02796 0.07659 0.1791 0.7369 2.019 json
t16_x15_u4_b59 16 15 4 59 mod(D,cil(pow(R,P))) 87876 130536494 o2(x,o1(o2(x,x))) true 19815 19815 -0.9258 0.03711 0.9328 0.06953 0.2637 -1 0.1454 1.145 1 0.5716 0.006335 0.00617 0.01465 0.01324 1 -0.00001004 0.02593 0.02565 0.0123 0.1109 7.567 1.37 0.1798 0.3728 1 1 0.01191 0.04998 0.1628 0.1713 0.7188 2.341 json
t16_x15_u4_b60 16 15 4 60 mod(D,cil(mod(R,P))) 87877 130536495 o2(x,o1(o2(x,x))) true 19823 19823 -0.9648 0.01758 0.9682 0.03429 0.1852 -1 0.1454 1.145 1 0.3097 0.003752 0.003114 0.007802 0.09293 1 -0.00001004 0.01431 0.01403 0.006805 0.08249 10.57 1.37 0.2002 0.4173 1 1 0.005966 0.0245 0.06246 0.174 0.7144 1.822 json
t16_x15_u4_b61 16 15 4 61 mod(D,cil(lrg(R,P))) 87878 130536496 o2(x,o1(o2(x,x))) true 19831 19831 -0.5469 0.2266 0.5896 0.2526 0.5026 -1 0.1454 1.145 1 2.154 0.004453 0.001528 0.02143 0.4891 1 -0.0001582 0.01145 0.0175 0.005521 0.07431 3.468 1.37 0.02368 0.04531 1 1 0.008214 0.0349 0.1098 0.03251 0.1382 0.4345 json
t16_x15_u4_b62 16 15 4 62 mod(D,cil(eql(R,P))) 87879 130536497 o2(x,o1(o2(x,x))) true 19839 19839 -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_x15_u4_b63 16 15 4 63 mod(D,cil(min(R,P))) 87880 130536498 o2(x,o1(o2(x,x))) true 19847 19847 -0.5586 0.2207 0.6002 0.2515 0.5015 -1 0.1454 1.145 1 2.121 0.004699 0.0004535 0.02019 0.824 1 -0.0001481 0.009486 0.0157 0.004744 0.06888 3.411 1.145 0.02049 0.03772 1 1 0.005908 0.02549 0.0885 0.02349 0.1014 0.3519 json
t16_x15_u4_b64 16 15 4 64 mod(D,cil(dot(R,P))) 87881 130536499 o2(x,o1(o2(x,x))) true 19855 19855 -0.3438 0.3281 0.4057 0.2327 0.4824 -1 0.1454 1.145 1 2.609 0.01476 0.01254 0.04886 0.08157 1 0.00003013 0.05447 0.06141 0.02492 0.1578 3.231 1.415 0.1173 0.2341 1 1 0.02901 0.1267 0.4168 0.1247 0.5443 1.791 json
t16_x15_u4_b65 16 15 4 65 mod(D,cil(dst(R,P))) 87882 130536500 o2(x,o1(o2(x,x))) true 19863 19863 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x15_u4_b66 16 15 4 66 lrg(D,cil(add(R,P))) 87883 130536501 o2(x,o1(o2(x,x))) true 19871 19871 0.4688 0.5456 0.4688 0.2323 0.482 0 1 1 1 1.695 0.004802 0.0001228 0.01398 0.9501 1 0.000008556 0.008369 0.01117 0.004728 0.06876 4.917 0.9994 0.0212 0.03602 1 1 0.007296 0.03571 0.0835 0.0314 0.1537 0.3594 json
t16_x15_u4_b67 16 15 4 67 lrg(D,cil(sub(R,P))) 87884 130536502 o2(x,o1(o2(x,x))) true 19879 19879 0.4668 0.4955 0.4668 0.2423 0.4922 0 1 1 1 1.318 0.004454 0.0001452 0.008219 0.9368 1 0.000008556 0.008671 0.01026 0.00453 0.0673 8.189 1 0.01898 0.03579 1 1 0.006119 0.02826 0.08725 0.02526 0.1166 0.3601 json
t16_x15_u4_b68 16 15 4 68 lrg(D,cil(mlt(R,P))) 87885 130536503 o2(x,o1(o2(x,x))) true 19887 19887 0.4394 0.8972 0.4394 0.1513 0.3889 0 1 1 1 3.395 0.01513 0.002169 0.06591 0.7492 1 0.00003352 0.02646 0.04183 0.01296 0.1138 1.727 1 0.1144 0.1749 1 1 0.02395 0.1474 0.2509 0.1583 0.9742 1.658 json
t16_x15_u4_b69 16 15 4 69 lrg(D,cil(div(R,P))) 87886 130536504 o2(x,o1(o2(x,x))) true 19895 19895 0.2842 0.7839 0.2842 0.1224 0.3499 0 1 1 1 2.989 0.02832 0.001233 0.07381 0.9166 1 0.00003566 0.05249 0.06852 0.02411 0.1553 2.104 1 0.2413 0.4287 1 1 0.0325 0.1526 0.1788 0.2654 1.246 1.461 json
t16_x15_u4_b70 16 15 4 70 lrg(D,cil(pow(R,P))) 87887 130536505 o2(x,o1(o2(x,x))) true 19903 19903 0.4824 0.9095 0.4824 0.1575 0.3968 0 1 1 1 3.378 0.001896 0.002332 0.04958 -0.1032 1 0.0000121 0.000248 0.01205 0.00177 0.04207 0.8485 0.1169 0.02685 0.001575 1 1 0.008232 0.106 0.2882 0.05227 0.6732 1.83 json
t16_x15_u4_b71 16 15 4 71 lrg(D,cil(mod(R,P))) 87888 130536506 o2(x,o1(o2(x,x))) true 19911 19911 0.3017 0.7901 0.3017 0.1296 0.36 0 1 1 1 3.027 0.02822 0.001127 0.07404 0.9232 1 -0.000001431 0.05198 0.06811 0.02387 0.1545 2.087 0.9997 0.2265 0.4011 1 1 0.03417 0.1596 0.164 0.2637 1.231 1.266 json
t16_x15_u4_b72 16 15 4 72 lrg(D,cil(lrg(R,P))) 87889 130536507 o2(x,o1(o2(x,x))) true 19919 19919 0.2363 0.4831 0.2363 0.1283 0.3582 0 0.9997 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 -0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t16_x15_u4_b73 16 15 4 73 lrg(D,cil(eql(R,P))) 87890 130536508 o2(x,o1(o2(x,x))) true 19927 19927 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
t16_x15_u4_b74 16 15 4 74 lrg(D,cil(min(R,P))) 87891 130536509 o2(x,o1(o2(x,x))) true 19935 19935 0.6191 0.9156 0.6191 0.1856 0.4309 0 1 1 1 2.531 0.01909 0.0005791 0.04736 0.9411 1 -0.00003066 0.03513 0.0446 0.01743 0.132 2.788 0.9997 0.106 0.1893 1 1 0.02446 0.1063 0.1007 0.1318 0.5725 0.5425 json
t16_x15_u4_b75 16 15 4 75 lrg(D,cil(dot(R,P))) 87892 130536510 o2(x,o1(o2(x,x))) true 19943 19943 0.4834 0.9143 0.4834 0.1585 0.3982 0 1 1 1 3.361 0.007561 0.002378 0.05645 0.5214 1 0.0000656 0.01179 0.02564 0.006752 0.08217 1.456 1 0.06269 0.07434 1 1 0.01474 0.1227 0.2916 0.09299 0.7741 1.839 json
t16_x15_u4_b76 16 15 4 76 lrg(D,cil(dst(R,P))) 87893 130536511 o2(x,o1(o2(x,x))) true 19951 19951 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_x15_u4_b77 16 15 4 77 eql(D,cil(add(R,P))) 87894 130536512 o2(x,o1(o2(x,x))) true 19959 19959 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_x15_u4_b78 16 15 4 78 eql(D,cil(sub(R,P))) 87895 130536513 o2(x,o1(o2(x,x))) true 19967 19967 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_x15_u4_b79 16 15 4 79 eql(D,cil(mlt(R,P))) 87896 130536514 o2(x,o1(o2(x,x))) true 19975 19975 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_x15_u4_b80 16 15 4 80 eql(D,cil(div(R,P))) 87897 130536515 o2(x,o1(o2(x,x))) true 19983 19983 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_x15_u4_b81 16 15 4 81 eql(D,cil(pow(R,P))) 87898 130536516 o2(x,o1(o2(x,x))) true 19991 19991 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_x15_u4_b82 16 15 4 82 eql(D,cil(mod(R,P))) 87899 130536517 o2(x,o1(o2(x,x))) true 19999 19999 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