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
t20_x17_u0_b167 20 17 0 167 sub(P,pow(mlt(D,R),R)) 163100 163099004 o2(x,o2(o2(x,x),x)) true 13207 13207 -0.9754 0.01271 0.9976 0.04533 0.2129 -1 1 2 1 0.1411 0.005244 0.004261 0.006018 0.1034 1 -0.000001093 0.01908 0.0103 0.009466 0.09729 16.17 2.47 0.2097 0.4208 1 1 0.009406 0.03933 0.09261 0.2075 0.8677 2.043 json
t20_x17_u0_b168 20 17 0 168 sub(P,pow(div(D,R),R)) 163101 163099005 o2(x,o2(o2(x,x),x)) true 13215 13215 -0.9724 0.01468 0.998 0.05161 0.2272 -1 1 2 1 0.1414 0.006035 0.004883 0.006387 0.1055 1 -6.841e-7 0.02229 0.0118 0.01088 0.1043 16.33 2.6 0.2116 0.4319 1 1 0.0106 0.04296 0.1065 0.2055 0.8324 2.063 json
t20_x17_u0_b169 20 17 0 169 sub(P,pow(pow(D,R),R)) 163102 163099006 o2(x,o2(o2(x,x),x)) true 13223 13223 -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
t20_x17_u0_b170 20 17 0 170 sub(P,pow(mod(D,R),R)) 163103 163099007 o2(x,o2(o2(x,x),x)) true 13231 13231 -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
t20_x17_u0_b171 20 17 0 171 sub(P,pow(lrg(D,R),R)) 163104 163099008 o2(x,o2(o2(x,x),x)) true 13239 13239 -0.5036 0.2446 0.9708 0.7087 0.8418 -1 1 2 1 1.295 0.1774 0.02581 0.1107 0.746 1 -0.00001094 0.4324 0.2113 0.1911 0.4371 3.949 2.828 0.2867 0.6101 1 1 0.2044 0.5815 0.7929 0.2884 0.8205 1.119 json
t20_x17_u0_b172 20 17 0 172 sub(P,pow(eql(D,R),R)) 163105 163099009 o2(x,o2(o2(x,x),x)) true 13247 13247 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t20_x17_u0_b173 20 17 0 173 sub(P,pow(min(D,R),R)) 163106 163099010 o2(x,o2(o2(x,x),x)) true 13255 13255 -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
t20_x17_u0_b174 20 17 0 174 sub(P,pow(dot(D,R),R)) 163107 163099011 o2(x,o2(o2(x,x),x)) true 13263 13263 -0.9361 0.0323 0.9932 0.1147 0.3387 -1 1 2 1 0.3202 0.02841 0.02714 0.02962 0.02282 1 -0.0001678 0.1642 0.05985 0.0547 0.2339 7.897 2.828 0.4844 1.432 1 1 0.04948 0.1559 0.2375 0.4315 1.359 2.071 json
t20_x17_u0_b175 20 17 0 175 sub(P,pow(dst(D,R),R)) 163108 163099012 o2(x,o2(o2(x,x),x)) true 13271 13271 -0.1292 0.4335 0.9343 0.8976 0.9474 -1 1 2 1 1.985 0.0006011 0.00008023 0.008671 0.7645 1 0.000001448 0.00009489 0.002013 0.0006061 0.02462 2.839 0.615 0.0007591 0.0001057 1 1 0.001739 0.02318 0.2236 0.001937 0.02582 0.2491 json
t20_x17_u0_b176 20 17 0 176 sub(P,mod(add(D,R),R)) 163109 163099013 o2(x,o2(o2(x,x),x)) true 13279 13279 -0.002501 0.5026 0.9362 0.9165 0.9574 -1 1 2 1 1.956 0.00328 0.0001081 0.01256 0.9362 1 0.00000978 0.006384 0.01433 0.003229 0.05682 4.522 0.9267 0.003697 0.006965 1 1 0.004531 0.02942 0.238 0.004943 0.0321 0.2597 json
t20_x17_u0_b177 20 17 0 177 sub(P,mod(sub(D,R),R)) 163110 163099014 o2(x,o2(o2(x,x),x)) true 13287 13287 0.001917 0.4976 0.9393 0.9203 0.9593 -1 1 2 1 1.926 0.003046 0.00009746 0.01227 0.938 1 -0.00000916 0.005729 0.01345 0.002994 0.05472 4.459 0.8909 0.003416 0.006225 1 1 0.004369 0.02911 0.241 0.004747 0.03163 0.2618 json
t20_x17_u0_b178 20 17 0 178 sub(P,mod(mlt(D,R),R)) 163111 163099015 o2(x,o2(o2(x,x),x)) true 13295 13295 0.0005545 0.5 0.942 0.9282 0.9634 -1 1 2 1 1.822 0.0008361 0.00003002 0.009041 0.9307 1 7.121e-8 0.00008062 0.002675 0.000784 0.028 3.097 0.1585 0.0009331 0.00008686 1 1 0.002224 0.02808 0.2426 0.002397 0.03026 0.2613 json
t20_x17_u0_b179 20 17 0 179 sub(P,mod(div(D,R),R)) 163112 163099016 o2(x,o2(o2(x,x),x)) true 13303 13303 0.0002939 0.5 0.9434 0.9261 0.9624 -1 1 2 1 1.914 0.002378 0.00007643 0.01457 0.9377 1 -1.815e-7 0.003767 0.01522 0.002243 0.04736 3.25 0.5681 0.00265 0.004067 1 1 0.004074 0.03315 0.2442 0.004399 0.0358 0.2637 json
t20_x17_u0_b180 20 17 0 180 sub(P,mod(pow(D,R),R)) 163113 163099017 o2(x,o2(o2(x,x),x)) true 13311 13311 -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
t20_x17_u0_b181 20 17 0 181 sub(P,mod(mod(D,R),R)) 163114 163099018 o2(x,o2(o2(x,x),x)) true 13319 13319 0.0003251 0.5004 0.9369 0.924 0.9613 -1 1 2 1 1.821 0.001768 0.000009586 0.01145 0.9892 1 4.778e-8 0.001112 0.008226 0.001646 0.04057 3.542 0.6096 0.001924 0.001203 1 1 0.004073 0.03632 0.2344 0.004408 0.03931 0.2537 json
t20_x17_u0_b182 20 17 0 182 sub(P,mod(lrg(D,R),R)) 163115 163099019 o2(x,o2(o2(x,x),x)) true 13327 13327 -0.01106 0.4885 0.9384 0.9218 0.9601 -1 1 2 1 1.893 0.0007661 0.00001697 0.0084 0.9567 1 -0.000002422 0.0001628 0.002989 0.000712 0.02668 3.177 0.1585 0.0008495 0.0001766 1 1 0.001956 0.02458 0.2328 0.002122 0.02666 0.2526 json
t20_x17_u0_b183 20 17 0 183 sub(P,mod(eql(D,R),R)) 163116 163099020 o2(x,o2(o2(x,x),x)) true 13335 13335 -0.00001628 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007085 2.491e-8 0.007939 0.9999 1 -4.756e-8 0.00003965 0.001894 0.0006458 0.02541 3.201 0.2427 0.0007668 0.00004292 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t20_x17_u0_b184 20 17 0 184 sub(P,mod(min(D,R),R)) 163117 163099021 o2(x,o2(o2(x,x),x)) true 13343 13343 0.017 0.5119 0.9466 0.9314 0.9651 -1 1 2 1 1.835 0.001368 0.00008911 0.01048 0.8777 1 0.000001396 0.0005938 0.005671 0.001347 0.0367 3.502 0.4601 0.001565 0.0006375 1 1 0.003649 0.0384 0.2565 0.003918 0.04123 0.2754 json
t20_x17_u0_b185 20 17 0 185 sub(P,mod(dot(D,R),R)) 163118 163099022 o2(x,o2(o2(x,x),x)) true 13351 13351 0.001188 0.499 0.9405 0.9238 0.9611 -1 1 2 1 1.91 0.0009495 0.0002706 0.01066 0.5564 1 6.315e-7 0.001158 0.006227 0.001107 0.03327 3.121 0.5311 0.001321 0.001254 1 1 0.002665 0.02965 0.2406 0.002884 0.0321 0.2604 json
t20_x17_u0_b186 20 17 0 186 sub(P,mod(dst(D,R),R)) 163119 163099023 o2(x,o2(o2(x,x),x)) true 13359 13359 -0.03575 0.4764 0.9382 0.9159 0.957 -1 1 2 1 1.971 0.002079 0.00111 0.01463 0.3039 1 0.000008291 0.00881 0.0167 0.002974 0.05453 3.727 1.245 0.003481 0.009618 1 1 0.004371 0.0276 0.2305 0.004773 0.03013 0.2517 json
t20_x17_u0_b187 20 17 0 187 sub(P,lrg(add(D,R),R)) 163120 163099024 o2(x,o2(o2(x,x),x)) true 13367 13367 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x17_u0_b188 20 17 0 188 sub(P,lrg(sub(D,R),R)) 163121 163099025 o2(x,o2(o2(x,x),x)) true 13375 13375 -0.05855 0.4741 0.945 0.9276 0.9631 -1 1 2 1 1.795 0.001555 0.0002646 0.01127 0.7091 1 -0.00001638 0.001214 0.004694 0.001693 0.04115 3.652 0.9986 0.001962 0.001309 1 1 0.0043 0.04398 0.2647 0.004636 0.04742 0.2853 json
t20_x17_u0_b189 20 17 0 189 sub(P,lrg(mlt(D,R),R)) 163122 163099026 o2(x,o2(o2(x,x),x)) true 13383 13383 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t20_x17_u0_b190 20 17 0 190 sub(P,lrg(div(D,R),R)) 163123 163099027 o2(x,o2(o2(x,x),x)) true 13391 13391 -0.05859 0.468 0.947 0.9305 0.9646 -1 1 2 1 1.779 0.004176 0.0002632 0.01422 0.8814 1 -0.00001073 0.006635 0.01212 0.004236 0.06508 4.578 1.014 0.004771 0.007131 1 1 0.008025 0.05306 0.268 0.008624 0.05703 0.2881 json
t20_x17_u0_b191 20 17 0 191 sub(P,lrg(pow(D,R),R)) 163124 163099028 o2(x,o2(o2(x,x),x)) true 13399 13399 -0.1039 0.4375 0.9451 0.922 0.9602 -1 1 2 1 1.759 0.004904 0.0001334 0.01234 0.9471 1 -0.000005533 0.009646 0.01266 0.004885 0.0699 5.663 1 0.005464 0.01046 1 1 0.007357 0.03525 0.2509 0.00798 0.03823 0.2721 json
t20_x17_u0_b192 20 17 0 192 sub(P,lrg(mod(D,R),R)) 163125 163099029 o2(x,o2(o2(x,x),x)) true 13407 13407 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t20_x17_u0_b193 20 17 0 193 sub(P,lrg(lrg(D,R),R)) 163126 163099030 o2(x,o2(o2(x,x),x)) true 13415 13415 -0.06454 0.4685 0.9431 0.9245 0.9615 -1 1 2 1 1.814 0.001869 0.0002552 0.01232 0.7597 1 -0.00001511 0.001874 0.006295 0.001973 0.04442 3.605 0.9986 0.002298 0.002027 1 1 0.004502 0.04321 0.2597 0.00487 0.04674 0.2809 json
t20_x17_u0_b194 20 17 0 194 sub(P,lrg(eql(D,R),R)) 163127 163099031 o2(x,o2(o2(x,x),x)) true 13423 13423 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t20_x17_u0_b195 20 17 0 195 sub(P,lrg(min(D,R),R)) 163128 163099032 o2(x,o2(o2(x,x),x)) true 13431 13431 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
t20_x17_u0_b196 20 17 0 196 sub(P,lrg(dot(D,R),R)) 163129 163099033 o2(x,o2(o2(x,x),x)) true 13439 13439 -0.05849 0.469 0.945 0.9291 0.9639 -1 1 2 1 1.765 0.00129 0.001056 0.01137 0.09978 1 -0.00001307 0.003433 0.007101 0.002217 0.04708 4.14 1.063 0.002526 0.003695 1 1 0.004995 0.04543 0.2663 0.005376 0.0489 0.2866 json
t20_x17_u0_b197 20 17 0 197 sub(P,lrg(dst(D,R),R)) 163130 163099034 o2(x,o2(o2(x,x),x)) true 13447 13447 -0.1187 0.4375 0.9396 0.9131 0.9556 -1 1 2 1 1.775 0.001488 0.0006319 0.009151 0.4037 1 -0.000002936 0.004616 0.0061 0.002036 0.04512 4.931 1.404 0.002321 0.005055 1 1 0.003718 0.03014 0.2411 0.004072 0.03301 0.264 json
t20_x17_u0_b198 20 17 0 198 sub(P,eql(add(D,R),R)) 163131 163099035 o2(x,o2(o2(x,x),x)) true 13455 13455 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
t20_x17_u0_b199 20 17 0 199 sub(P,eql(sub(D,R),R)) 163132 163099036 o2(x,o2(o2(x,x),x)) true 13463 13463 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
t20_x17_u0_b200 20 17 0 200 sub(P,eql(mlt(D,R),R)) 163133 163099037 o2(x,o2(o2(x,x),x)) true 13471 13471 -7.125e-8 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 2.373e-13 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
t20_x18_u0_b0 20 18 0 0 add(P,add(add(R,P),P)) 163134 163139238 o2(x,o2(o2(x,x),x)) true 13479 13479 -0.004856 0.4971 0.9763 0.9675 0.9836 -1 1 2 1 1.449 0.002005 0.0001438 0.008629 0.8661 1 -0.000004683 0.0006832 0.004537 0.002075 0.04556 5.279 0.4798 0.002221 0.0007062 1 1 0.005323 0.05054 0.3154 0.005501 0.05223 0.326 json
t20_x18_u0_b1 20 18 0 1 add(P,add(sub(R,P),P)) 163135 163139239 o2(x,o2(o2(x,x),x)) true 13487 13487 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x18_u0_b2 20 18 0 2 add(P,add(mlt(R,P),P)) 163136 163139240 o2(x,o2(o2(x,x),x)) true 13495 13495 0.0004486 0.5 0.9578 0.9504 0.9749 -1 1 2 1 1.531 0.001389 0.00001406 0.007986 0.98 1 9.465e-7 0.0003906 0.003822 0.001339 0.03659 4.582 0.3024 0.001476 0.000411 1 1 0.00342 0.03328 0.2705 0.003599 0.03502 0.2846 json
t20_x18_u0_b3 20 18 0 3 add(P,add(div(R,P),P)) 163137 163139241 o2(x,o2(o2(x,x),x)) true 13503 13503 -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
t20_x18_u0_b4 20 18 0 4 add(P,add(pow(R,P),P)) 163138 163139242 o2(x,o2(o2(x,x),x)) true 13511 13511 -0.8745 0.06268 0.991 0.2231 0.4723 -1 1 2 1 0.5087 0.02221 0.02024 0.02429 0.04634 1 -0.00007453 0.08825 0.04401 0.04184 0.2046 8.421 2.828 0.1903 0.3956 1 1 0.03781 0.1678 0.4674 0.1695 0.752 2.095 json
t20_x18_u0_b5 20 18 0 5 add(P,add(mod(R,P),P)) 163139 163139243 o2(x,o2(o2(x,x),x)) true 13519 13519 -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
t20_x18_u0_b6 20 18 0 6 add(P,add(lrg(R,P),P)) 163140 163139244 o2(x,o2(o2(x,x),x)) true 13527 13527 0.03313 0.5159 0.9615 0.9497 0.9745 -1 1 2 1 1.593 0.001152 0.00009554 0.008561 0.8468 1 -0.000005261 0.0001293 0.002497 0.001174 0.03427 4.003 0.2338 0.001314 0.0001361 1 1 0.003262 0.04004 0.2874 0.003434 0.04216 0.3026 json
t20_x18_u0_b7 20 18 0 7 add(P,add(eql(R,P),P)) 163141 163139245 o2(x,o2(o2(x,x),x)) true 13535 13535 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x18_u0_b8 20 18 0 8 add(P,add(min(R,P),P)) 163142 163139246 o2(x,o2(o2(x,x),x)) true 13543 13543 -0.01988 0.4865 0.9699 0.9611 0.9804 -1 1 2 1 1.482 0.001703 0.00006228 0.008302 0.9294 1 -0.000005977 0.0005265 0.004059 0.001696 0.04118 4.961 0.4156 0.001836 0.0005479 1 1 0.004286 0.04205 0.2904 0.004459 0.04376 0.3022 json
t20_x18_u0_b9 20 18 0 9 add(P,add(dot(R,P),P)) 163143 163139247 o2(x,o2(o2(x,x),x)) true 13551 13551 0.005157 0.5044 0.9759 0.9684 0.9841 -1 1 2 1 1.417 0.005663 0.004338 0.01735 0.1326 1 -0.0000345 0.008476 0.01394 0.009703 0.0985 5.677 1.707 0.01033 0.008753 1 1 0.01308 0.1028 0.3917 0.0135 0.1062 0.4044 json
t20_x18_u0_b10 20 18 0 10 add(P,add(dst(R,P),P)) 163144 163139248 o2(x,o2(o2(x,x),x)) true 13559 13559 0.3167 0.6583 0.9593 0.8458 0.9197 -1 1 2 1 1.61 0.001264 0.0007561 0.01138 0.2513 1 0.00002164 0.0004091 0.003929 0.00189 0.04348 3.819 0.413 0.002388 0.0004837 1 1 0.004776 0.05339 0.3588 0.005647 0.06313 0.4242 json
t20_x18_u0_b11 20 18 0 11 add(P,sub(add(R,P),P)) 163145 163139249 o2(x,o2(o2(x,x),x)) true 13567 13567 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x18_u0_b12 20 18 0 12 add(P,sub(sub(R,P),P)) 163146 163139250 o2(x,o2(o2(x,x),x)) true 13575 13575 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x18_u0_b13 20 18 0 13 add(P,sub(mlt(R,P),P)) 163147 163139251 o2(x,o2(o2(x,x),x)) true 13583 13583 -0.0623 0.4686 0.7239 0.644 0.8025 -1 1 2 1 3.79 0.01645 0.01963 0.09244 -0.08822 1 -0.00004552 0.0199 0.04926 0.02753 0.1659 1.795 1.466 0.05602 0.0309 1 1 0.05074 0.4449 1.04 0.07878 0.6908 1.616 json
t20_x18_u0_b14 20 18 0 14 add(P,sub(div(R,P),P)) 163148 163139252 o2(x,o2(o2(x,x),x)) true 13591 13591 -0.1262 0.4044 0.2314 0.1369 0.3701 -1 0.9968 1.997 1 3.493 0.01133 0.0004369 0.02577 0.9257 1 -0.000007081 0.02208 0.02058 0.0111 0.1054 4.088 1.947 0.08592 0.1612 1 1 0.01531 0.07344 0.2298 0.1118 0.5363 1.678 json
t20_x18_u0_b15 20 18 0 15 add(P,sub(pow(R,P),P)) 163149 163139253 o2(x,o2(o2(x,x),x)) true 13599 13599 -0.8578 0.07422 0.9938 0.2556 0.5055 -1 1 2 1 0.4917 0.02283 0.02247 0.02389 0.007923 1 0.000001838 0.09446 0.04705 0.04472 0.2115 8.854 2.828 0.1773 0.3696 1 1 0.04423 0.1854 0.6109 0.1731 0.7254 2.391 json
t20_x18_u0_b16 20 18 0 16 add(P,sub(mod(R,P),P)) 163150 163139254 o2(x,o2(o2(x,x),x)) true 13607 13607 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t20_x18_u0_b17 20 18 0 17 add(P,sub(lrg(R,P),P)) 163151 163139255 o2(x,o2(o2(x,x),x)) true 13615 13615 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
t20_x18_u0_b18 20 18 0 18 add(P,sub(eql(R,P),P)) 163152 163139256 o2(x,o2(o2(x,x),x)) true 13623 13623 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
t20_x18_u0_b19 20 18 0 19 add(P,sub(min(R,P),P)) 163153 163139257 o2(x,o2(o2(x,x),x)) true 13631 13631 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t20_x18_u0_b20 20 18 0 20 add(P,sub(dot(R,P),P)) 163154 163139258 o2(x,o2(o2(x,x),x)) true 13639 13639 -0.09414 0.4579 0.842 0.7849 0.886 -1 1 2 1 2.916 0.02451 0.0331 0.1019 -0.1491 1 0.0000297 0.04608 0.07442 0.04725 0.2174 2.133 1.874 0.07341 0.0587 1 1 0.0731 0.5655 1.363 0.09312 0.7204 1.737 json
t20_x18_u0_b21 20 18 0 21 add(P,sub(dst(R,P),P)) 163155 163139259 o2(x,o2(o2(x,x),x)) true 13647 13647 0.9991 1 0.9991 0.0002231 0.01494 0.5928 1 0.4072 1 0.04809 0.000009663 0.00001458 0.0003494 -0.2029 0 6.382e-11 0.00001288 0.0002502 0.00002412 0.004912 14.06 0.1585 0.1087 0.05776 1 1 0.00007594 0.0005734 0.0008112 0.3404 2.571 3.637 json
t20_x18_u0_b22 20 18 0 22 add(P,mlt(add(R,P),P)) 163156 163139260 o2(x,o2(o2(x,x),x)) true 13655 13655 0.8819 0.9511 0.9099 0.1151 0.3392 -0.8977 1 1.898 1 1.123 0.001724 0.0003531 0.01242 0.66 1 0.000009925 0.0005557 0.005159 0.001922 0.04384 3.53 0.4483 0.01806 0.00483 1 1 0.004671 0.0463 0.1901 0.0406 0.4024 1.652 json
t20_x18_u0_b23 20 18 0 23 add(P,mlt(sub(R,P),P)) 163157 163139261 o2(x,o2(o2(x,x),x)) true 13663 13663 -0.8768 0.05138 0.9112 0.1245 0.3528 -1 0.9431 1.943 1 1.14 0.001917 0.0003295 0.01295 0.7067 1 -0.000004696 0.0005713 0.005202 0.002079 0.0456 3.521 0.481 0.01805 0.00459 1 1 0.005259 0.05193 0.1861 0.04225 0.4172 1.495 json
t20_x18_u0_b24 20 18 0 24 add(P,mlt(mlt(R,P),P)) 163158 163139262 o2(x,o2(o2(x,x),x)) true 13671 13671 0.02877 0.5102 0.8707 0.837 0.9149 -1 1 2 1 2.529 0.04393 0.05615 0.09308 -0.1221 1 -0.00004547 0.1886 0.1158 0.0914 0.3023 3.248 2.828 0.1196 0.2253 1 1 0.09739 0.5401 1.146 0.1164 0.6452 1.369 json
t20_x18_u0_b25 20 18 0 25 add(P,mlt(div(R,P),P)) 163159 163139263 o2(x,o2(o2(x,x),x)) true 13679 13679 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t20_x18_u0_b26 20 18 0 26 add(P,mlt(pow(R,P),P)) 163160 163139264 o2(x,o2(o2(x,x),x)) true 13687 13687 -0.9553 0.02344 0.9876 0.07286 0.2699 -1 1 2 1 0.3012 0.007617 0.006379 0.01019 0.08849 1 9.011e-11 0.02855 0.01697 0.0139 0.1179 11.57 2.828 0.1921 0.3919 1 1 0.01139 0.05106 0.1351 0.1564 0.7007 1.854 json
t20_x18_u0_b27 20 18 0 27 add(P,mlt(mod(R,P),P)) 163161 163139265 o2(x,o2(o2(x,x),x)) true 13695 13695 -0.1195 0.4375 0.9722 0.9438 0.9715 -1 1 2 1 1.648 0.01502 0.0007327 0.01567 0.907 1 -0.00001907 0.02986 0.02154 0.01551 0.1245 7.947 2 0.01669 0.03164 1 1 0.02099 0.09233 0.3484 0.02223 0.09782 0.3691 json
t20_x18_u0_b28 20 18 0 28 add(P,mlt(lrg(R,P),P)) 163162 163139266 o2(x,o2(o2(x,x),x)) true 13703 13703 -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
t20_x18_u0_b29 20 18 0 29 add(P,mlt(eql(R,P),P)) 163163 163139267 o2(x,o2(o2(x,x),x)) true 13711 13711 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
t20_x18_u0_b30 20 18 0 30 add(P,mlt(min(R,P),P)) 163164 163139268 o2(x,o2(o2(x,x),x)) true 13719 13719 0.8742 0.9374 0.8742 0.09404 0.3067 0 1 1 1 1.147 0.001269 0.0003563 0.01127 0.5616 1 -0.00003429 0.0005236 0.00564 0.001499 0.03872 3.436 0.3898 0.01729 0.005568 1 1 0.003454 0.03362 0.1413 0.03673 0.3575 1.503 json
t20_x18_u0_b31 20 18 0 31 add(P,mlt(dot(R,P),P)) 163165 163139269 o2(x,o2(o2(x,x),x)) true 13727 13727 0.06796 0.5411 0.9155 0.891 0.9439 -1 1 2 1 2.053 0.05228 0.07106 0.09949 -0.1523 1 0.00006541 0.242 0.1387 0.1134 0.3368 3.385 2.828 0.1384 0.2716 1 1 0.1141 0.6045 1.382 0.128 0.6784 1.55 json
t20_x18_u0_b32 20 18 0 32 add(P,mlt(dst(R,P),P)) 163166 163139270 o2(x,o2(o2(x,x),x)) true 13735 13735 -0.001019 0.5 0.9695 0.9645 0.9821 -1 1 2 1 1.384 0.002073 0.000004483 0.007952 0.9957 1 2.379e-7 0.001073 0.00561 0.002014 0.04487 5.643 0.4729 0.002154 0.001112 1 1 0.004516 0.03867 0.2864 0.004682 0.04009 0.297 json
t20_x18_u0_b33 20 18 0 33 add(P,div(add(R,P),P)) 163167 163139271 o2(x,o2(o2(x,x),x)) true 13743 13743 -0.09199 0.4473 0.9725 0.9527 0.9761 -1 1 2 1 1.533 0.01989 0.0001432 0.01563 0.9857 1 0.000007841 0.0393 0.02391 0.01979 0.1407 8.997 2 0.02102 0.04125 1 1 0.02713 0.1114 0.3857 0.02848 0.1169 0.4048 json
t20_x18_u0_b34 20 18 0 34 add(P,div(sub(R,P),P)) 163168 163139272 o2(x,o2(o2(x,x),x)) true 13751 13751 -0.1529 0.4299 0.9763 0.9427 0.9709 -1 1 2 1 1.474 0.007549 0.0001333 0.009131 0.9653 1 -0.00001056 0.01457 0.01124 0.0076 0.08718 9.547 1.943 0.008149 0.01545 1 1 0.009647 0.05164 0.2926 0.01023 0.05478 0.3104 json
t20_x18_u0_b35 20 18 0 35 add(P,div(mlt(R,P),P)) 163169 163139273 o2(x,o2(o2(x,x),x)) true 13759 13759 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t20_x18_u0_b36 20 18 0 36 add(P,div(div(R,P),P)) 163170 163139274 o2(x,o2(o2(x,x),x)) true 13767 13767 -0.1215 0.4375 0.9923 0.9744 0.9871 -1 1 2 1 1.192 0.0153 0.00007106 0.01072 0.9908 1 -0.000006795 0.03034 0.01851 0.01526 0.1236 11.52 2 0.01578 0.03114 1 1 0.02018 0.08447 0.3397 0.02071 0.0867 0.3486 json
t20_x18_u0_b37 20 18 0 37 add(P,div(pow(R,P),P)) 163171 163139275 o2(x,o2(o2(x,x),x)) true 13775 13775 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t20_x18_u0_b38 20 18 0 38 add(P,div(mod(R,P),P)) 163172 163139276 o2(x,o2(o2(x,x),x)) true 13783 13783 -0.1243 0.4375 0.9952 0.977 0.9884 -1 1 2 1 1.15 0.01468 0.00005831 0.009382 0.9921 1 -2.5e-8 0.02923 0.01687 0.01464 0.121 12.9 2 0.01508 0.02991 1 1 0.01943 0.0817 0.3353 0.01988 0.08362 0.3432 json
t20_x18_u0_b39 20 18 0 39 add(P,div(lrg(R,P),P)) 163173 163139277 o2(x,o2(o2(x,x),x)) true 13791 13791 -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
t20_x18_u0_b40 20 18 0 40 add(P,div(eql(R,P),P)) 163174 163139278 o2(x,o2(o2(x,x),x)) true 13799 13799 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
t20_x18_u0_b41 20 18 0 41 add(P,div(min(R,P),P)) 163175 163139279 o2(x,o2(o2(x,x),x)) true 13807 13807 -0.09583 0.4375 0.9667 0.9491 0.9742 -1 1 2 1 1.474 0.0187 0.00002433 0.01604 0.9974 1 -0.000006884 0.03667 0.02421 0.01845 0.1358 8.469 2 0.01972 0.03864 1 1 0.02516 0.1068 0.3659 0.02651 0.1125 0.3856 json
t20_x18_u0_b42 20 18 0 42 add(P,div(dot(R,P),P)) 163176 163139280 o2(x,o2(o2(x,x),x)) true 13815 13815 -0.09973 0.4487 0.9855 0.9697 0.9848 -1 1 2 1 1.312 0.02181 0.00196 0.01896 0.8351 1 -0.000006487 0.0436 0.02679 0.02342 0.153 8.072 2.44 0.02451 0.04496 1 1 0.03026 0.1375 0.405 0.03121 0.1418 0.4176 json
t20_x18_u0_b43 20 18 0 43 add(P,div(dst(R,P),P)) 163177 163139281 o2(x,o2(o2(x,x),x)) true 13823 13823 -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
t20_x18_u0_b44 20 18 0 44 add(P,pow(add(R,P),P)) 163178 163139282 o2(x,o2(o2(x,x),x)) true 13831 13831 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
t20_x18_u0_b45 20 18 0 45 add(P,pow(sub(R,P),P)) 163179 163139283 o2(x,o2(o2(x,x),x)) true 13839 13839 -0.8681 0.06587 0.9617 0.1958 0.4425 -1 1 2 1 0.8863 0.01752 0.0008889 0.01765 0.9034 1 0.000002342 0.03401 0.02003 0.0181 0.1345 7.622 2 0.094 0.1736 1 1 0.02449 0.1123 0.2869 0.125 0.5736 1.465 json
t20_x18_u0_b46 20 18 0 46 add(P,pow(mlt(R,P),P)) 163180 163139284 o2(x,o2(o2(x,x),x)) true 13847 13847 -0.9005 0.05002 0.9954 0.1827 0.4274 -1 1 2 1 0.3855 0.01841 0.01533 0.01967 0.09114 1 0.000001634 0.06831 0.03547 0.03334 0.1826 9.281 2.828 0.1847 0.374 1 1 0.03442 0.1535 0.4315 0.1884 0.8402 2.362 json
t20_x18_u0_b47 20 18 0 47 add(P,pow(div(R,P),P)) 163181 163139285 o2(x,o2(o2(x,x),x)) true 13855 13855 -0.8599 0.07031 0.9995 0.2597 0.5096 -1 1 2 1 0.3845 0.02495 0.02238 0.02378 0.05434 1 0 0.09914 0.04772 0.04675 0.2162 9.091 2.828 0.1823 0.3818 1 1 0.04685 0.1933 0.5658 0.1804 0.7442 2.179 json
t20_x18_u0_b48 20 18 0 48 add(P,pow(pow(R,P),P)) 163182 163139286 o2(x,o2(o2(x,x),x)) true 13863 13863 -0.9263 0.03574 0.9892 0.1277 0.3574 -1 1 2 1 0.4086 0.01061 0.01079 0.0134 -0.008542 1 9.011e-11 0.04412 0.02316 0.02121 0.1456 10.87 2.828 0.1675 0.3454 1 1 0.01993 0.08925 0.2896 0.156 0.6988 2.267 json
t20_x18_u0_b49 20 18 0 49 add(P,pow(mod(R,P),P)) 163183 163139287 o2(x,o2(o2(x,x),x)) true 13871 13871 -0.8593 0.07239 0.9946 0.254 0.504 -1 1 2 1 0.4736 0.02315 0.0221 0.02456 0.02323 1 -0.0001428 0.09403 0.04697 0.04461 0.2112 8.601 2.828 0.1782 0.3702 1 1 0.04183 0.1817 0.5783 0.1647 0.7155 2.277 json
t20_x18_u0_b50 20 18 0 50 add(P,pow(lrg(R,P),P)) 163184 163139288 o2(x,o2(o2(x,x),x)) true 13879 13879 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x18_u0_b51 20 18 0 51 add(P,pow(eql(R,P),P)) 163185 163139289 o2(x,o2(o2(x,x),x)) true 13887 13887 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
t20_x18_u0_b52 20 18 0 52 add(P,pow(min(R,P),P)) 163186 163139290 o2(x,o2(o2(x,x),x)) true 13895 13895 -0.9531 0.02344 1 0.09148 0.3025 -1 1 2 1 0.1603 0.01109 0.007811 0.009393 0.1733 1 0 0.03956 0.0189 0.01881 0.1371 14.6 2.828 0.2066 0.4324 1 1 0.01507 0.06294 0.1693 0.1647 0.688 1.851 json
t20_x18_u0_b53 20 18 0 53 add(P,pow(dot(R,P),P)) 163187 163139291 o2(x,o2(o2(x,x),x)) true 13903 13903 -0.8594 0.07031 1 0.2613 0.5112 -1 1 2 1 0.3671 0.02696 0.01587 0.02132 0.2588 1 0 0.08919 0.04283 0.04239 0.2059 9.655 2.828 0.1639 0.3413 1 1 0.04825 0.1955 0.5717 0.1847 0.7482 2.188 json
t20_x18_u0_b54 20 18 0 54 add(P,pow(dst(R,P),P)) 163188 163139292 o2(x,o2(o2(x,x),x)) true 13911 13911 0.07782 0.5359 0.9699 0.9513 0.9753 -1 1 2 1 1.609 0.001143 0.0000266 0.008139 0.9545 1 1.237e-7 0.00009177 0.002336 0.001104 0.03322 4.082 0.2335 0.00123 0.00009647 1 1 0.002973 0.0379 0.2796 0.003125 0.03984 0.294 json
t20_x18_u0_b55 20 18 0 55 add(P,mod(add(R,P),P)) 163189 163139293 o2(x,o2(o2(x,x),x)) true 13919 13919 -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
t20_x18_u0_b56 20 18 0 56 add(P,mod(sub(R,P),P)) 163190 163139294 o2(x,o2(o2(x,x),x)) true 13927 13927 -0.09724 0.4375 0.8805 0.8179 0.9044 -1 1 2 1 2.86 0.0137 0.002116 0.03277 0.7324 1 -0.000001225 0.02658 0.03302 0.01475 0.1214 3.705 1.943 0.01933 0.03249 1 1 0.02082 0.1064 0.376 0.02545 0.1301 0.4597 json
t20_x18_u0_b57 20 18 0 57 add(P,mod(mlt(R,P),P)) 163191 163139295 o2(x,o2(o2(x,x),x)) true 13935 13935 -0.1195 0.4375 0.9722 0.9438 0.9715 -1 1 2 1 1.648 0.01502 0.0007327 0.01567 0.907 1 -0.00001907 0.02986 0.02154 0.01551 0.1245 7.947 2 0.01669 0.03164 1 1 0.02099 0.09233 0.3484 0.02223 0.09782 0.3691 json
t20_x18_u0_b58 20 18 0 58 add(P,mod(div(R,P),P)) 163192 163139296 o2(x,o2(o2(x,x),x)) true 13943 13943 -0.1243 0.4375 0.9952 0.977 0.9884 -1 1 2 1 1.15 0.01468 0.00005831 0.009382 0.9921 1 -2.5e-8 0.02923 0.01687 0.01464 0.121 12.9 2 0.01508 0.02991 1 1 0.01943 0.0817 0.3353 0.01988 0.08362 0.3432 json
t20_x18_u0_b59 20 18 0 59 add(P,mod(pow(R,P),P)) 163193 163139297 o2(x,o2(o2(x,x),x)) true 13951 13951 -0.9907 0.003906 0.9985 0.01614 0.127 -1 1 2 1 0.09965 0.001095 0.001889 0.002083 -0.2661 1 -7.133e-11 0.006225 0.003758 0.002978 0.05457 26.2 2 0.1849 0.3858 1 1 0.000387 0.001507 0.01541 0.02398 0.0934 0.9551 json
t20_x18_u0_b60 20 18 0 60 add(P,mod(mod(R,P),P)) 163194 163139298 o2(x,o2(o2(x,x),x)) true 13959 13959 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t20_x18_u0_b61 20 18 0 61 add(P,mod(lrg(R,P),P)) 163195 163139299 o2(x,o2(o2(x,x),x)) true 13967 13967 -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
t20_x18_u0_b62 20 18 0 62 add(P,mod(eql(R,P),P)) 163196 163139300 o2(x,o2(o2(x,x),x)) true 13975 13975 -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
t20_x18_u0_b63 20 18 0 63 add(P,mod(min(R,P),P)) 163197 163139301 o2(x,o2(o2(x,x),x)) true 13983 13983 -0.1271 0.4375 0.9979 0.9801 0.99 -1 1 2 1 1.06 0.01438 0.00002571 0.008116 0.9964 1 -0.000007567 0.02867 0.01536 0.01433 0.1197 14.75 2 0.0147 0.02926 1 1 0.01901 0.08005 0.3328 0.0194 0.08168 0.3396 json
t20_x18_u0_b64 20 18 0 64 add(P,mod(dot(R,P),P)) 163198 163139302 o2(x,o2(o2(x,x),x)) true 13991 13991 -0.1246 0.4375 0.9911 0.9707 0.9853 -1 1 2 1 1.259 0.01549 0.0002177 0.01152 0.9723 1 9.994e-7 0.03081 0.01892 0.01557 0.1248 10.83 2 0.01618 0.03174 1 1 0.02111 0.08762 0.3395 0.02175 0.09027 0.3498 json
t20_x18_u0_b65 20 18 0 65 add(P,mod(dst(R,P),P)) 163199 163139303 o2(x,o2(o2(x,x),x)) true 13999 13999 -0.0849 0.4375 0.9599 0.9346 0.9667 -1 1 2 1 1.694 0.01689 0.0006597 0.01722 0.9248 1 0.00005501 0.03352 0.02281 0.01725 0.1313 7.629 2 0.01877 0.03587 1 1 0.02377 0.1035 0.3823 0.02543 0.1108 0.409 json