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
t14_x20_u3_b89 14 20 3 89 flr(min(sub(R,P),R)) 64300 114497126 o1(o2(o2(x,x),x)) true 2407 2407 -0.7349 0 0.7349 0.1473 0.3838 -1 0 1 1 2.422 0.001116 0.001236 0.02656 -0.05132 1 0.000008568 0.0001746 0.006648 0.001646 0.04058 1.528 0.2265 0.01597 0.001185 1 1 0.004853 0.06056 0.181 0.03294 0.4111 1.229 json
t14_x20_u3_b90 14 20 3 90 flr(min(mlt(R,P),R)) 64301 114497127 o1(o2(o2(x,x),x)) true 2415 2415 -0.8197 0 0.8197 0.1121 0.3348 -1 0 1 1 1.854 0.002061 0.002391 0.02878 -0.07409 1 0.0001214 0.001567 0.01278 0.003622 0.06019 2.092 0.4644 0.03971 0.01397 1 1 0.007537 0.07899 0.1794 0.06723 0.7046 1.601 json
t14_x20_u3_b91 14 20 3 91 flr(min(div(R,P),R)) 64302 114497128 o1(o2(o2(x,x),x)) true 2423 2423 -0.7842 0 0.7842 0.1216 0.3487 -1 0 1 1 2.221 0.002709 0.002789 0.02901 -0.01453 1 -0.00001853 0.006969 0.01369 0.004657 0.06824 2.352 1.414 0.04522 0.05732 1 1 0.008589 0.06965 0.174 0.07064 0.5728 1.431 json
t14_x20_u3_b92 14 20 3 92 flr(min(pow(R,P),R)) 64303 114497129 o1(o2(o2(x,x),x)) true 2431 2431 -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
t14_x20_u3_b93 14 20 3 93 flr(min(mod(R,P),R)) 64304 114497130 o1(o2(o2(x,x),x)) true 2439 2439 -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
t14_x20_u3_b94 14 20 3 94 flr(min(lrg(R,P),R)) 64305 114497131 o1(o2(o2(x,x),x)) true 2447 2447 -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
t14_x20_u3_b95 14 20 3 95 flr(min(eql(R,P),R)) 64306 114497132 o1(o2(o2(x,x),x)) true 2455 2455 -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
t14_x20_u3_b96 14 20 3 96 flr(min(min(R,P),R)) 64307 114497133 o1(o2(o2(x,x),x)) true 2463 2463 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t14_x20_u3_b97 14 20 3 97 flr(min(dot(R,P),R)) 64308 114497134 o1(o2(o2(x,x),x)) true 2471 2471 -0.8529 0 0.8529 0.09453 0.3075 -1 0 1 1 1.619 0.002222 0.002639 0.02772 -0.08572 1 0.0001074 0.00213 0.01427 0.004092 0.06397 2.308 0.5663 0.05143 0.02253 1 1 0.00857 0.08305 0.1769 0.09066 0.8785 1.871 json
t14_x20_u3_b98 14 20 3 98 flr(min(dst(R,P),R)) 64309 114497135 o1(o2(o2(x,x),x)) true 2479 2479 -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
t14_x20_u3_b99 14 20 3 99 flr(dot(add(R,P),R)) 64310 114497136 o1(o2(o2(x,x),x)) true 2487 2487 0.01 0.5071 0.8561 0.8141 0.9023 -1 1 2 1 2.798 0.02475 0.03283 0.1021 -0.1404 1 0.0000134 0.04491 0.07433 0.04714 0.2171 2.126 1.911 0.07072 0.05516 1 1 0.07359 0.5699 1.394 0.09039 0.7 1.712 json
t14_x20_u3_b100 14 20 3 100 flr(dot(sub(R,P),R)) 64311 114497137 o1(o2(o2(x,x),x)) true 2495 2495 0.2038 0.6035 0.8581 0.7751 0.8804 -1 1 2 1 2.743 0.02469 0.03298 0.1024 -0.1438 1 -0.00006964 0.04452 0.07328 0.0472 0.2173 2.122 1.87 0.07441 0.05743 1 1 0.07501 0.5913 1.406 0.09677 0.7628 1.814 json
t14_x20_u3_b101 14 20 3 101 flr(dot(mlt(R,P),R)) 64312 114497138 o1(o2(o2(x,x),x)) true 2503 2503 -0.195 0.4137 0.8453 0.7733 0.8794 -1 1 2 1 2.646 0.00519 0.006467 0.04174 -0.1096 1 -0.00007468 0.004769 0.02066 0.009915 0.09957 2.385 1.169 0.01507 0.006168 1 1 0.01787 0.1796 0.5571 0.0231 0.2323 0.7205 json
t14_x20_u3_b102 14 20 3 102 flr(dot(div(R,P),R)) 64313 114497139 o1(o2(o2(x,x),x)) true 2511 2511 -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
t14_x20_u3_b103 14 20 3 103 flr(dot(pow(R,P),R)) 64314 114497140 o1(o2(o2(x,x),x)) true 2519 2519 -0.9863 0.005249 0.9954 0.02167 0.1472 -1 1 2 1 0.1251 0.003031 0.00268 0.003873 0.06148 1 4.13e-11 0.01199 0.006682 0.005689 0.07543 19.48 2.828 0.2635 0.5531 1 1 0.01017 0.04103 0.07752 0.4693 1.893 3.576 json
t14_x20_u3_b104 14 20 3 104 flr(dot(mod(R,P),R)) 64315 114497141 o1(o2(o2(x,x),x)) true 2527 2527 0.1814 0.6989 0.6501 0.5504 0.7419 -1 1 2 1 3.308 0.02114 0.0175 0.05757 0.09407 1 -0.000008748 0.07157 0.05167 0.03533 0.188 3.265 2.828 0.0702 0.13 1 1 0.04812 0.2428 0.9537 0.08742 0.4412 1.733 json
t14_x20_u3_b105 14 20 3 105 flr(dot(lrg(R,P),R)) 64316 114497142 o1(o2(o2(x,x),x)) true 2535 2535 -0.1118 0.2387 0.327 0.2376 0.4874 -1 1 2 1 3.837 0.003123 0.003729 0.05346 -0.08853 1 0.00006793 0.0006386 0.01326 0.003992 0.06318 1.182 0.3568 0.02884 0.002688 1 1 0.01303 0.159 0.4178 0.05486 0.6694 1.759 json
t14_x20_u3_b106 14 20 3 106 flr(dot(eql(R,P),R)) 64317 114497143 o1(o2(o2(x,x),x)) true 2543 2543 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
t14_x20_u3_b107 14 20 3 107 flr(dot(min(R,P),R)) 64318 114497144 o1(o2(o2(x,x),x)) true 2551 2551 -0.01801 0.4899 0.6491 0.5908 0.7686 -1 1 2 1 3.538 0.01648 0.02007 0.08485 -0.09806 1 -0.00001579 0.02313 0.04865 0.02935 0.1713 2.019 1.529 0.06186 0.03916 1 1 0.0491 0.4104 0.9632 0.08311 0.6947 1.63 json
t14_x20_u3_b108 14 20 3 108 flr(dot(dot(R,P),R)) 64319 114497145 o1(o2(o2(x,x),x)) true 2559 2559 -0.1535 0.3976 0.8003 0.7221 0.8498 -1 1 2 1 3.211 0.01484 0.01333 0.08141 0.05362 1 0.00005716 0.01378 0.04472 0.02155 0.1468 1.803 1.484 0.03902 0.01909 1 1 0.04948 0.4182 1.021 0.06851 0.579 1.415 json
t14_x20_u3_b109 14 20 3 109 flr(dot(dst(R,P),R)) 64320 114497146 o1(o2(o2(x,x),x)) true 2567 2567 -0.08701 0.4557 0.8905 0.8493 0.9216 -1 1 2 1 2.467 0.03934 0.04083 0.1101 -0.01866 1 0.0001061 0.08569 0.09942 0.06807 0.2609 2.369 2.198 0.0944 0.1009 1 1 0.1078 0.7235 1.532 0.1269 0.8519 1.804 json
t14_x20_u3_b110 14 20 3 110 flr(dst(add(R,P),R)) 64321 114497147 o1(o2(o2(x,x),x)) true 2575 2575 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x20_u3_b111 14 20 3 111 flr(dst(sub(R,P),R)) 64322 114497148 o1(o2(o2(x,x),x)) true 2583 2583 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x20_u3_b112 14 20 3 112 flr(dst(mlt(R,P),R)) 64323 114497149 o1(o2(o2(x,x),x)) true 2591 2591 0.9209 0.9871 0.9209 0.05601 0.2367 0 1 1 1 0.9927 0.0009131 0.001075 0.01343 -0.08156 1 -0.00001323 0.0006724 0.006161 0.001809 0.04253 3.167 0.4437 0.0355 0.012 1 1 0.004968 0.05067 0.1239 0.0887 0.9046 2.212 json
t14_x20_u3_b113 14 20 3 113 flr(dst(div(R,P),R)) 64324 114497150 o1(o2(o2(x,x),x)) true 2599 2599 -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
t14_x20_u3_b114 14 20 3 114 flr(dst(pow(R,P),R)) 64325 114497151 o1(o2(o2(x,x),x)) true 2607 2607 -0.9772 0.01172 0.9993 0.04408 0.21 -1 1 2 1 0.1037 0.005658 0.003762 0.004958 0.2013 1 -6.007e-11 0.01971 0.00971 0.00939 0.0969 19.54 2.828 0.2137 0.4473 1 1 0.01661 0.06783 0.1602 0.3769 1.539 3.635 json
t14_x20_u3_b115 14 20 3 115 flr(dst(mod(R,P),R)) 64326 114497152 o1(o2(o2(x,x),x)) true 2615 2615 -0.2344 0 0.2344 0.1793 0.4235 -1 0 1 1 0.7856 0.006929 0.006929 0.01385 0 1 0 0.02784 0.02771 0.01366 0.1169 8.44 1.414 0.07728 0.1553 1 1 0.01751 0.07003 0.2801 0.09763 0.3905 1.562 json
t14_x20_u3_b116 14 20 3 116 flr(dst(lrg(R,P),R)) 64327 114497153 o1(o2(o2(x,x),x)) true 2623 2623 0.6881 0.9763 0.6881 0.1441 0.3796 0 1 1 1 2.854 0.00179 0.002132 0.04084 -0.08719 1 -0.000002664 0.0004557 0.01135 0.002254 0.04748 1.163 0.2265 0.02721 0.003162 1 1 0.007848 0.09589 0.2628 0.05445 0.6653 1.823 json
t14_x20_u3_b117 14 20 3 117 flr(dst(eql(R,P),R)) 64328 114497154 o1(o2(o2(x,x),x)) true 2631 2631 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x20_u3_b118 14 20 3 118 flr(dst(min(R,P),R)) 64329 114497155 o1(o2(o2(x,x),x)) true 2639 2639 0.6897 0.733 0.6897 0.2053 0.4531 0 1 1 1 1.299 0.0002321 0.0003358 0.005513 -0.1825 1 -0.000005705 0.00007395 0.001603 0.0005376 0.02319 4.206 0.2307 0.002766 0.0003602 1 1 0.001555 0.01853 0.1003 0.007574 0.09023 0.4887 json
t14_x20_u3_b119 14 20 3 119 flr(dst(dot(R,P),R)) 64330 114497156 o1(o2(o2(x,x),x)) true 2647 2647 0.9648 1 0.9648 0.02444 0.1563 0.0002911 1 0.9997 1 0.5639 0.001202 0.00132 0.01112 -0.0469 1 -0.00008806 0.001558 0.007766 0.002397 0.04896 4.402 0.6109 0.1032 0.06375 1 1 0.005615 0.04239 0.07162 0.2298 1.735 2.931 json
t14_x20_u3_b120 14 20 3 120 flr(dst(dst(R,P),R)) 64331 114497157 o1(o2(o2(x,x),x)) true 2655 2655 0.9987 1 0.9987 0.0009451 0.03074 0.001164 1 0.9988 1 0.03296 0.00005884 0.00004901 0.0005088 0.09118 1 3.379e-11 0.00005257 0.0003442 0.0001077 0.01038 20.4 0.3575 0.1141 0.05563 1 1 0.0003429 0.002687 0.003441 0.3628 2.843 3.641 json
t14_x20_u4_b0 14 20 4 0 cil(add(add(R,P),R)) 64332 114497238 o1(o2(o2(x,x),x)) true 2663 2663 0.06494 0.5281 0.9412 0.9225 0.9604 -1 1 2 1 1.82 0.002114 0.001376 0.01634 0.2114 1 -0.00004179 0.0007862 0.006069 0.00322 0.05675 3.473 0.4531 0.003783 0.0008523 1 1 0.007995 0.08759 0.3426 0.008667 0.09496 0.3714 json
t14_x20_u4_b1 14 20 4 1 cil(add(sub(R,P),R)) 64333 114497239 o1(o2(o2(x,x),x)) true 2671 2671 0.06905 0.5343 0.9397 0.9177 0.958 -1 1 2 1 1.9 0.002311 0.00153 0.01878 0.2033 1 -0.00003353 0.000804 0.0066 0.003487 0.05905 3.144 0.453 0.004185 0.0008761 1 1 0.009054 0.09938 0.3242 0.009866 0.1083 0.3533 json
t14_x20_u4_b2 14 20 4 2 cil(add(mlt(R,P),R)) 64334 114497240 o1(o2(o2(x,x),x)) true 2679 2679 0.1454 0.5939 0.7273 0.6453 0.8033 -1 1 2 1 3.496 0.01706 0.01963 0.0931 -0.07004 1 -0.0001026 0.0205 0.04942 0.02803 0.1674 1.798 1.503 0.05686 0.03176 1 1 0.05112 0.4487 0.9597 0.07921 0.6953 1.487 json
t14_x20_u4_b3 14 20 4 3 cil(add(div(R,P),R)) 64335 114497241 o1(o2(o2(x,x),x)) true 2687 2687 0.2464 0.7317 0.563 0.4199 0.648 -1 1 2 1 3.813 0.01798 0.003005 0.06087 0.7136 1 -0.000002675 0.03155 0.03395 0.01728 0.1315 2.16 2 0.04998 0.07514 1 1 0.02974 0.2019 0.6573 0.07082 0.481 1.565 json
t14_x20_u4_b4 14 20 4 4 cil(add(pow(R,P),R)) 64336 114497242 o1(o2(o2(x,x),x)) true 2695 2695 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t14_x20_u4_b5 14 20 4 5 cil(add(mod(R,P),R)) 64337 114497243 o1(o2(o2(x,x),x)) true 2703 2703 0.1629 0.6046 0.6853 0.5791 0.761 -1 1 2 1 3.924 0.02767 0.007512 0.08628 0.5729 1 -0.00004814 0.04577 0.04717 0.02774 0.1666 1.931 2.026 0.06076 0.07904 1 1 0.05221 0.3831 0.9624 0.09015 0.6616 1.662 json
t14_x20_u4_b6 14 20 4 6 cil(add(lrg(R,P),R)) 64338 114497244 o1(o2(o2(x,x),x)) true 2711 2711 0.7195 0.9605 0.7195 0.1489 0.3858 0 1 1 1 2.441 0.001377 0.00141 0.02976 -0.01192 1 -0.00003991 0.0002733 0.007993 0.001901 0.0436 1.465 0.2266 0.01872 0.001836 1 1 0.005791 0.07052 0.1765 0.0389 0.4737 1.186 json
t14_x20_u4_b7 14 20 4 7 cil(add(eql(R,P),R)) 64339 114497245 o1(o2(o2(x,x),x)) true 2719 2719 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
t14_x20_u4_b8 14 20 4 8 cil(add(min(R,P),R)) 64340 114497246 o1(o2(o2(x,x),x)) true 2727 2727 -0.2888 0.3574 0.7658 0.6217 0.7885 -1 1 2 1 3.343 0.004555 0.004636 0.05341 -0.008771 1 -0.00009077 0.001434 0.01598 0.006335 0.07959 1.49 0.3507 0.01478 0.002307 1 1 0.01811 0.212 0.5728 0.02912 0.341 0.9212 json
t14_x20_u4_b9 14 20 4 9 cil(add(dot(R,P),R)) 64341 114497247 o1(o2(o2(x,x),x)) true 2735 2735 0.04302 0.5327 0.8511 0.807 0.8983 -1 1 2 1 2.828 0.02477 0.03207 0.1012 -0.1285 1 -0.000006287 0.04492 0.07347 0.04661 0.2159 2.134 1.965 0.07043 0.05566 1 1 0.07281 0.5645 1.354 0.09023 0.6995 1.678 json
t14_x20_u4_b10 14 20 4 10 cil(add(dst(R,P),R)) 64342 114497248 o1(o2(o2(x,x),x)) true 2743 2743 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
t14_x20_u4_b11 14 20 4 11 cil(sub(add(R,P),R)) 64343 114497249 o1(o2(o2(x,x),x)) true 2751 2751 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
t14_x20_u4_b12 14 20 4 12 cil(sub(sub(R,P),R)) 64344 114497250 o1(o2(o2(x,x),x)) true 2759 2759 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
t14_x20_u4_b13 14 20 4 13 cil(sub(mlt(R,P),R)) 64345 114497251 o1(o2(o2(x,x),x)) true 2767 2767 0.1545 0.6035 0.7191 0.6361 0.7976 -1 1 2 1 3.472 0.01631 0.02025 0.08981 -0.1077 1 -0.00007985 0.02119 0.04907 0.02849 0.1688 1.879 1.354 0.05748 0.03331 1 1 0.05073 0.422 0.9821 0.07975 0.6635 1.544 json
t14_x20_u4_b14 14 20 4 14 cil(sub(div(R,P),R)) 64346 114497252 o1(o2(o2(x,x),x)) true 2775 2775 0.2762 0.7622 0.6047 0.443 0.6656 -1 1 2 1 3.893 0.01432 0.003423 0.06178 0.6141 1 -0.00003735 0.02393 0.03075 0.01393 0.118 1.91 2.026 0.04004 0.05402 1 1 0.02818 0.2172 0.7392 0.0636 0.4903 1.669 json
t14_x20_u4_b15 14 20 4 15 cil(sub(pow(R,P),R)) 64347 114497253 o1(o2(o2(x,x),x)) true 2783 2783 -0.8628 0.07031 0.9888 0.2429 0.4928 -1 1 2 1 0.4727 0.0206 0.0212 0.02323 -0.01451 1 3.004e-11 0.08678 0.04473 0.04123 0.2031 8.739 2.828 0.1721 0.3573 1 1 0.04182 0.1796 0.59 0.1722 0.7396 2.429 json
t14_x20_u4_b16 14 20 4 16 cil(sub(mod(R,P),R)) 64348 114497254 o1(o2(o2(x,x),x)) true 2791 2791 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x20_u4_b17 14 20 4 17 cil(sub(lrg(R,P),R)) 64349 114497255 o1(o2(o2(x,x),x)) true 2799 2799 0.7852 0.9905 0.7852 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t14_x20_u4_b18 14 20 4 18 cil(sub(eql(R,P),R)) 64350 114497256 o1(o2(o2(x,x),x)) true 2807 2807 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
t14_x20_u4_b19 14 20 4 19 cil(sub(min(R,P),R)) 64351 114497257 o1(o2(o2(x,x),x)) true 2815 2815 -0.4423 0 0.4423 0.2377 0.4875 -1 0 1 1 1.534 0.0003303 0.0001484 0.00523 0.3799 1 0.00001097 0.00005119 0.001359 0.0004511 0.02124 4.061 0.2245 0.002014 0.0002154 1 1 0.00119 0.01529 0.09149 0.005006 0.06435 0.385 json
t14_x20_u4_b20 14 20 4 20 cil(sub(dot(R,P),R)) 64352 114497258 o1(o2(o2(x,x),x)) true 2823 2823 0.05362 0.5367 0.8518 0.8061 0.8979 -1 1 2 1 2.821 0.0243 0.03393 0.1032 -0.1653 1 -0.00002638 0.04585 0.07469 0.04758 0.2181 2.113 1.87 0.07224 0.05687 1 1 0.07454 0.5817 1.387 0.09246 0.7216 1.72 json
t14_x20_u4_b21 14 20 4 21 cil(sub(dst(R,P),R)) 64353 114497259 o1(o2(o2(x,x),x)) true 2831 2831 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
t14_x20_u4_b22 14 20 4 22 cil(mlt(add(R,P),R)) 64354 114497260 o1(o2(o2(x,x),x)) true 2839 2839 0.304 0.6848 0.7729 0.6234 0.7896 -1 1 2 1 3.265 0.01525 0.01786 0.08551 -0.07884 1 -0.0001267 0.01841 0.04679 0.0258 0.1606 1.879 1.472 0.05311 0.02953 1 1 0.0445 0.379 0.8284 0.07138 0.6079 1.329 json
t14_x20_u4_b23 14 20 4 23 cil(mlt(sub(R,P),R)) 64355 114497261 o1(o2(o2(x,x),x)) true 2847 2847 0.4221 0.7535 0.7831 0.5531 0.7437 -1 1 2 1 3.037 0.01558 0.01637 0.07973 -0.02464 1 0.00000272 0.01838 0.04593 0.02559 0.16 2.006 1.34 0.05777 0.03323 1 1 0.04337 0.3646 0.8841 0.07841 0.6592 1.598 json
t14_x20_u4_b24 14 20 4 24 cil(mlt(mlt(R,P),R)) 64356 114497262 o1(o2(o2(x,x),x)) true 2855 2855 0.2271 0.5 0.7104 0.627 0.7918 -1 1 2 1 2.824 0.001706 0.001732 0.02396 -0.00747 1 0.0001279 0.001103 0.009836 0.002865 0.05352 2.234 0.4135 0.005483 0.00176 1 1 0.00506 0.05544 0.1927 0.00807 0.08841 0.3074 json
t14_x20_u4_b25 14 20 4 25 cil(mlt(div(R,P),R)) 64357 114497263 o1(o2(o2(x,x),x)) true 2863 2863 0.3125 0.4375 0.5625 0.4648 0.6818 -1 1 2 1 1.419 0.01984 0 0.0119 1 1 0 0.03968 0.02381 0.01969 0.1403 11.79 2 0.04268 0.08537 1 1 0.02632 0.1053 0.4211 0.05661 0.2264 0.9058 json
t14_x20_u4_b26 14 20 4 26 cil(mlt(pow(R,P),R)) 64358 114497264 o1(o2(o2(x,x),x)) true 2871 2871 -0.8643 0.07422 0.9873 0.2374 0.4873 -1 1 2 1 0.5229 0.0228 0.02216 0.02494 0.01436 1 -4.806e-10 0.09349 0.04694 0.04436 0.2106 8.446 2.828 0.1894 0.3938 1 1 0.04192 0.177 0.5294 0.1766 0.7456 2.23 json
t14_x20_u4_b27 14 20 4 27 cil(mlt(mod(R,P),R)) 64359 114497265 o1(o2(o2(x,x),x)) true 2879 2879 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x20_u4_b28 14 20 4 28 cil(mlt(lrg(R,P),R)) 64360 114497266 o1(o2(o2(x,x),x)) true 2887 2887 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t14_x20_u4_b29 14 20 4 29 cil(mlt(eql(R,P),R)) 64361 114497267 o1(o2(o2(x,x),x)) true 2895 2895 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
t14_x20_u4_b30 14 20 4 30 cil(mlt(min(R,P),R)) 64362 114497268 o1(o2(o2(x,x),x)) true 2903 2903 0.5803 0.8116 0.8721 0.5026 0.7089 -1 1 2 1 2.244 0.007927 0.01022 0.04686 -0.1262 1 -0.00003276 0.01003 0.02436 0.01595 0.1263 2.695 1.319 0.0361 0.01995 1 1 0.02655 0.2309 0.5156 0.05283 0.4595 1.026 json
t14_x20_u4_b31 14 20 4 31 cil(mlt(dot(R,P),R)) 64363 114497269 o1(o2(o2(x,x),x)) true 2911 2911 0.2455 0.6035 0.7637 0.6575 0.8109 -1 1 2 1 3.123 0.007503 0.006876 0.05329 0.04362 1 0.00005013 0.00646 0.02648 0.01154 0.1074 2.016 1.233 0.02187 0.009825 1 1 0.01829 0.1789 0.4742 0.02781 0.272 0.7212 json
t14_x20_u4_b32 14 20 4 32 cil(mlt(dst(R,P),R)) 64364 114497270 o1(o2(o2(x,x),x)) true 2919 2919 0.1145 0.5662 0.8644 0.8101 0.9001 -1 1 2 1 2.738 0.02589 0.03057 0.1011 -0.08282 1 0.00004484 0.04318 0.07228 0.04626 0.2151 2.128 2 0.06969 0.0533 1 1 0.07628 0.5887 1.346 0.09416 0.7267 1.661 json
t14_x20_u4_b33 14 20 4 33 cil(div(add(R,P),R)) 64365 114497271 o1(o2(o2(x,x),x)) true 2927 2927 0.1145 0.561 0.9537 0.9259 0.9622 -1 1 2 1 1.753 0.06391 0.07839 0.1083 -0.1018 1 -0.00008366 0.2845 0.1586 0.1306 0.3614 3.337 2.828 0.1537 0.3072 1 1 0.1598 0.8143 1.804 0.1726 0.8795 1.949 json
t14_x20_u4_b34 14 20 4 34 cil(div(sub(R,P),R)) 64366 114497272 o1(o2(o2(x,x),x)) true 2935 2935 0.2025 0.6059 0.9495 0.8928 0.9449 -1 1 2 1 1.778 0.06404 0.07973 0.1083 -0.1092 1 -0.000002348 0.2885 0.16 0.132 0.3634 3.356 2.828 0.161 0.3231 1 1 0.1593 0.8068 1.767 0.1784 0.9036 1.979 json
t14_x20_u4_b35 14 20 4 35 cil(div(mlt(R,P),R)) 64367 114497273 o1(o2(o2(x,x),x)) true 2943 2943 0.02046 0.5 0.917 0.9029 0.9502 -1 1 2 1 1.932 0.0007562 0.0001058 0.008805 0.7545 1 -0.000003562 0.00008857 0.00237 0.0007844 0.02801 3.181 0.2265 0.0009548 0.0000981 1 1 0.002232 0.02778 0.2142 0.002472 0.03077 0.2373 json
t14_x20_u4_b36 14 20 4 36 cil(div(div(R,P),R)) 64368 114497274 o1(o2(o2(x,x),x)) true 2951 2951 0.293 0.4375 0.582 0.4911 0.7008 -1 1 2 1 1.785 0.01743 0.00005267 0.01235 0.994 1 -0.000002852 0.03447 0.01958 0.01731 0.1316 10.65 2 0.03559 0.07019 1 1 0.0237 0.1007 0.42 0.04827 0.2051 0.8552 json
t14_x20_u4_b37 14 20 4 37 cil(div(pow(R,P),R)) 64369 114497275 o1(o2(o2(x,x),x)) true 2959 2959 -0.8736 0.06343 0.9946 0.2293 0.4789 -1 1 2 1 0.4537 0.02391 0.02189 0.02565 0.04418 1 1.201e-10 0.09447 0.04673 0.04516 0.2125 8.285 2.828 0.1997 0.412 1 1 0.04551 0.1976 0.5105 0.1984 0.8615 2.226 json
t14_x20_u4_b38 14 20 4 38 cil(div(mod(R,P),R)) 64370 114497276 o1(o2(o2(x,x),x)) true 2967 2967 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x20_u4_b39 14 20 4 39 cil(div(lrg(R,P),R)) 64371 114497277 o1(o2(o2(x,x),x)) true 2975 2975 0.07892 0.3158 0.4686 0.443 0.6656 -1 1 2 1 2.302 0.01452 0.0175 0.05326 -0.093 1 -0.00004669 0.02986 0.04062 0.02917 0.1708 3.207 2.161 0.07227 0.06741 1 1 0.05036 0.3513 0.87 0.1137 0.7929 1.964 json
t14_x20_u4_b40 14 20 4 40 cil(div(eql(R,P),R)) 64372 114497278 o1(o2(o2(x,x),x)) true 2983 2983 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
t14_x20_u4_b41 14 20 4 41 cil(div(min(R,P),R)) 64373 114497279 o1(o2(o2(x,x),x)) true 2991 2991 0.5189 0.7664 0.9585 0.6771 0.8228 -1 1 2 1 1.46 0.03157 0.03851 0.05567 -0.09904 1 0.00001495 0.1416 0.0784 0.06701 0.2589 4.65 2.828 0.1035 0.2092 1 1 0.07923 0.3969 0.9361 0.117 0.5862 1.383 json
t14_x20_u4_b42 14 20 4 42 cil(div(dot(R,P),R)) 64374 114497280 o1(o2(o2(x,x),x)) true 2999 2999 0.004417 0.5022 0.9578 0.9451 0.9722 -1 1 2 1 1.678 0.02872 0.03153 0.05732 -0.04673 1 0.0001874 0.1037 0.0708 0.05695 0.2386 4.164 2.828 0.06374 0.1097 1 1 0.0726 0.4139 1.029 0.07681 0.4379 1.088 json
t14_x20_u4_b43 14 20 4 43 cil(div(dst(R,P),R)) 64375 114497281 o1(o2(o2(x,x),x)) true 3007 3007 -0.0432 0.4782 0.9784 0.9693 0.9845 -1 1 2 1 1.4 0.08389 0.09851 0.1166 -0.08015 1 0.00001824 0.3994 0.1962 0.1688 0.4109 3.523 2.828 0.1882 0.4121 1 1 0.2003 0.9473 1.9 0.2066 0.9772 1.96 json
t14_x20_u4_b44 14 20 4 44 cil(pow(add(R,P),R)) 64376 114497282 o1(o2(o2(x,x),x)) true 3015 3015 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0.02992 0.1197 0.4343 0.0302 0.1208 0.4385 json
t14_x20_u4_b45 14 20 4 45 cil(pow(sub(R,P),R)) 64377 114497283 o1(o2(o2(x,x),x)) true 3023 3023 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0.02992 0.1197 0.4343 0.0302 0.1208 0.4385 json
t14_x20_u4_b46 14 20 4 46 cil(pow(mlt(R,P),R)) 64378 114497284 o1(o2(o2(x,x),x)) true 3031 3031 -0.916 0.04297 0.998 0.1585 0.3981 -1 1 2 1 0.2827 0.01615 0.01405 0.01548 0.06928 1 -1.164e-10 0.0632 0.03079 0.02997 0.1731 11.19 2.828 0.1906 0.3988 1 1 0.02734 0.1136 0.3116 0.1725 0.717 1.966 json
t14_x20_u4_b47 14 20 4 47 cil(pow(div(R,P),R)) 64379 114497285 o1(o2(o2(x,x),x)) true 3039 3039 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01487 0.01285 0.01375 0.07273 1 0 0.05795 0.02771 0.02754 0.1659 12.07 2.828 0.1847 0.3862 1 1 0.02681 0.1099 0.3032 0.1787 0.7325 2.02 json
t14_x20_u4_b48 14 20 4 48 cil(pow(pow(R,P),R)) 64380 114497286 o1(o2(o2(x,x),x)) true 3047 3047 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t14_x20_u4_b49 14 20 4 49 cil(pow(mod(R,P),R)) 64381 114497287 o1(o2(o2(x,x),x)) true 3055 3055 -0.9297 0.03516 1 0.1356 0.3683 -1 1 2 1 0.2196 0.01487 0.01235 0.01351 0.09259 1 0 0.05694 0.02721 0.027 0.1643 12.16 2.828 0.2006 0.4198 1 1 0.02366 0.09712 0.2474 0.1744 0.716 1.824 json
t14_x20_u4_b50 14 20 4 50 cil(pow(lrg(R,P),R)) 64382 114497288 o1(o2(o2(x,x),x)) true 3063 3063 0.001953 0.5 0.9941 0.9937 0.9968 -1 1 2 1 1.068 0.02849 0.02168 0.02576 0.1359 1 3.004e-11 0.1053 0.05142 0.04952 0.2225 8.639 2.828 0.05049 0.106 1 1 0.05698 0.2347 0.7006 0.05735 0.2362 0.705 json
t14_x20_u4_b51 14 20 4 51 cil(pow(eql(R,P),R)) 64383 114497289 o1(o2(o2(x,x),x)) true 3071 3071 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x20_u4_b52 14 20 4 52 cil(pow(min(R,P),R)) 64384 114497290 o1(o2(o2(x,x),x)) true 3079 3079 -0.9863 0.007813 0.998 0.02479 0.1574 -1 1 2 1 0.08411 0.00229 0.002969 0.003116 -0.1291 1 -5.632e-11 0.01105 0.005843 0.005249 0.07245 23.25 2.828 0.2122 0.4458 1 1 0.00053 0.00371 0.02178 0.02138 0.1497 0.8786 json
t14_x20_u4_b53 14 20 4 53 cil(pow(dot(R,P),R)) 64385 114497291 o1(o2(o2(x,x),x)) true 3087 3087 -0.9141 0.04297 1 0.1646 0.4057 -1 1 2 1 0.2557 0.0189 0.01487 0.01679 0.1194 1 0 0.07105 0.03376 0.03347 0.1829 10.9 2.828 0.2052 0.4317 1 1 0.03939 0.1601 0.4317 0.2394 0.9726 2.623 json
t14_x20_u4_b54 14 20 4 54 cil(pow(dst(R,P),R)) 64386 114497292 o1(o2(o2(x,x),x)) true 3095 3095 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
t14_x20_u4_b55 14 20 4 55 cil(mod(add(R,P),R)) 64387 114497293 o1(o2(o2(x,x),x)) true 3103 3103 0.4805 0.5187 0.4805 0.2414 0.4913 0 1 1 1 1.388 0.0003335 0.00007022 0.004643 0.6522 1 -0.000005705 0.0000204 0.001099 0.0003822 0.01955 4.21 0.1169 0.001673 0.0000845 1 1 0.001014 0.01334 0.08412 0.0042 0.05526 0.3485 json
t14_x20_u4_b56 14 20 4 56 cil(mod(sub(R,P),R)) 64388 114497294 o1(o2(o2(x,x),x)) true 3111 3111 0.4805 0.5187 0.4805 0.2414 0.4913 0 1 1 1 1.388 0.0003335 0.00007022 0.004643 0.6522 1 -0.000005705 0.0000204 0.001099 0.0003822 0.01955 4.21 0.1169 0.001673 0.0000845 1 1 0.001014 0.01334 0.08412 0.0042 0.05526 0.3485 json
t14_x20_u4_b57 14 20 4 57 cil(mod(mlt(R,P),R)) 64389 114497295 o1(o2(o2(x,x),x)) true 3119 3119 0.1777 0.5105 0.1777 0.09103 0.3017 0 1 1 1 2.245 0.001219 0.001314 0.0299 -0.03776 1 -0.00005562 0.0001505 0.00727 0.001639 0.04048 1.354 0.1169 0.02783 0.001653 1 1 0.004914 0.06314 0.1631 0.05398 0.6937 1.791 json
t14_x20_u4_b58 14 20 4 58 cil(mod(div(R,P),R)) 64390 114497296 o1(o2(o2(x,x),x)) true 3127 3127 0.2617 0.7813 0.5117 0.3599 0.5999 -1 1 2 1 3.521 0.01317 0.002085 0.0538 0.7267 1 -0.00003922 0.0231 0.02919 0.01236 0.1112 2.066 2 0.04239 0.0642 1 1 0.02257 0.1569 0.5721 0.06271 0.4359 1.59 json
t14_x20_u4_b59 14 20 4 59 cil(mod(pow(R,P),R)) 64391 114497297 o1(o2(o2(x,x),x)) true 3135 3135 -0.8584 0.07422 0.9932 0.2542 0.5042 -1 1 2 1 0.4876 0.02223 0.02246 0.02426 -0.00513 1 -9.011e-11 0.093 0.04663 0.04407 0.2099 8.654 2.828 0.1758 0.3659 1 1 0.0431 0.1808 0.6008 0.1696 0.7113 2.364 json
t14_x20_u4_b60 14 20 4 60 cil(mod(mod(R,P),R)) 64392 114497298 o1(o2(o2(x,x),x)) true 3143 3143 -0.05273 0.2415 0.1973 0.1691 0.4112 -1 1 2 1 1.712 0.01351 0.0006037 0.0235 0.9145 1 -0.00002851 0.02603 0.02273 0.01356 0.1165 4.955 2 0.08348 0.1539 1 1 0.01926 0.09596 0.31 0.1139 0.5675 1.833 json
t14_x20_u4_b61 14 20 4 61 cil(mod(lrg(R,P),R)) 64393 114497299 o1(o2(o2(x,x),x)) true 3151 3151 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x20_u4_b62 14 20 4 62 cil(mod(eql(R,P),R)) 64394 114497300 o1(o2(o2(x,x),x)) true 3159 3159 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
t14_x20_u4_b63 14 20 4 63 cil(mod(min(R,P),R)) 64395 114497301 o1(o2(o2(x,x),x)) true 3167 3167 0.04492 0.1559 0.04492 0.02643 0.1626 0 0.9997 0.9997 1 0.8332 0.000359 0.000398 0.009023 -0.05158 1 -0.00001711 0.00004582 0.002196 0.0006754 0.02599 2.88 0.1169 0.02865 0.001734 1 1 0.001798 0.02313 0.05349 0.06803 0.8753 2.024 json
t14_x20_u4_b64 14 20 4 64 cil(mod(dot(R,P),R)) 64396 114497302 o1(o2(o2(x,x),x)) true 3175 3175 0.4434 0.8759 0.4434 0.1555 0.3943 0 1 1 1 3.343 0.001916 0.00238 0.04996 -0.1081 1 -0.00005134 0.0002426 0.01205 0.0018 0.04243 0.8492 0.1169 0.02763 0.00156 1 1 0.008664 0.1118 0.3034 0.05573 0.7193 1.952 json
t14_x20_u4_b65 14 20 4 65 cil(mod(dst(R,P),R)) 64397 114497303 o1(o2(o2(x,x),x)) true 3183 3183 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
t14_x20_u4_b66 14 20 4 66 cil(lrg(add(R,P),R)) 64398 114497304 o1(o2(o2(x,x),x)) true 3191 3191 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
t14_x20_u4_b67 14 20 4 67 cil(lrg(sub(R,P),R)) 64399 114497305 o1(o2(o2(x,x),x)) true 3199 3199 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