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_x2_u0_b82 20 2 0 82 add(P,eql(mod(P,P),R)) 160000 162492904 o2(x,o2(o2(x,x),x)) true 160007 160007 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_x2_u0_b83 20 2 0 83 add(P,eql(lrg(P,P),R)) 160001 162492905 o2(x,o2(o2(x,x),x)) true 160015 160015 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_x2_u0_b84 20 2 0 84 add(P,eql(eql(P,P),R)) 160002 162492906 o2(x,o2(o2(x,x),x)) true 160023 160023 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_x2_u0_b85 20 2 0 85 add(P,eql(min(P,P),R)) 160003 162492907 o2(x,o2(o2(x,x),x)) true 160031 160031 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_x2_u0_b86 20 2 0 86 add(P,eql(dot(P,P),R)) 160004 162492908 o2(x,o2(o2(x,x),x)) true 160039 160039 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_x2_u0_b87 20 2 0 87 add(P,eql(dst(P,P),R)) 160005 162492909 o2(x,o2(o2(x,x),x)) true 160047 160047 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_x2_u0_b88 20 2 0 88 add(P,min(add(P,P),R)) 160006 162492910 o2(x,o2(o2(x,x),x)) true 160055 160055 -0.0329 0.4833 0.9592 0.9455 0.9724 -1 1 2 1 1.651 0.001325 0.0001355 0.00884 0.8144 1 -0.00001821 0.0003988 0.003679 0.001381 0.03717 4.204 0.312 0.001545 0.0004217 1 1 0.003482 0.03673 0.2717 0.003682 0.03884 0.2873 json
t20_x2_u0_b89 20 2 0 89 add(P,min(sub(P,P),R)) 160007 162492911 o2(x,o2(o2(x,x),x)) true 160063 160063 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t20_x2_u0_b90 20 2 0 90 add(P,min(mlt(P,P),R)) 160008 162492912 o2(x,o2(o2(x,x),x)) true 160071 160071 -0.009996 0.4833 0.9363 0.916 0.9571 -1 1 2 1 1.949 0.001145 0.0002596 0.01057 0.6304 1 -0.00001894 0.0002724 0.003612 0.001293 0.03596 3.401 0.312 0.001533 0.0002973 1 1 0.003264 0.03724 0.2435 0.003563 0.04066 0.2658 json
t20_x2_u0_b91 20 2 0 91 add(P,min(div(P,P),R)) 160009 162492913 o2(x,o2(o2(x,x),x)) true 160079 160079 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_x2_u0_b92 20 2 0 92 add(P,min(pow(P,P),R)) 160010 162492914 o2(x,o2(o2(x,x),x)) true 160087 160087 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_x2_u0_b93 20 2 0 93 add(P,min(mod(P,P),R)) 160011 162492915 o2(x,o2(o2(x,x),x)) true 160095 160095 -0.01821 0.494 0.9521 0.9323 0.9656 -1 1 2 1 1.884 0.0009437 0.000208 0.009555 0.6388 1 -0.00001212 0.0001011 0.002533 0.001061 0.03257 3.408 0.2534 0.001235 0.0001084 1 1 0.003061 0.03867 0.2743 0.003283 0.04148 0.2942 json
t20_x2_u0_b94 20 2 0 94 add(P,min(lrg(P,P),R)) 160012 162492916 o2(x,o2(o2(x,x),x)) true 160103 160103 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t20_x2_u0_b95 20 2 0 95 add(P,min(eql(P,P),R)) 160013 162492917 o2(x,o2(o2(x,x),x)) true 160111 160111 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_x2_u0_b96 20 2 0 96 add(P,min(min(P,P),R)) 160014 162492918 o2(x,o2(o2(x,x),x)) true 160119 160119 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t20_x2_u0_b97 20 2 0 97 add(P,min(dot(P,P),R)) 160015 162492919 o2(x,o2(o2(x,x),x)) true 160127 160127 0.0005772 0.4954 0.9412 0.9195 0.9589 -1 1 2 1 1.953 0.001142 0.00034 0.01101 0.5412 1 -0.00002042 0.0002731 0.00369 0.001361 0.0369 3.353 0.312 0.001612 0.000297 1 1 0.003571 0.04132 0.2597 0.003884 0.04494 0.2824 json
t20_x2_u0_b98 20 2 0 98 add(P,min(dst(P,P),R)) 160016 162492920 o2(x,o2(o2(x,x),x)) true 160135 160135 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t20_x2_u0_b99 20 2 0 99 add(P,dot(add(P,P),R)) 160017 162492921 o2(x,o2(o2(x,x),x)) true 160143 160143 -0.07575 0.4635 0.9424 0.918 0.9581 -1 1 2 1 1.901 0.03116 0.04299 0.08089 -0.1596 1 -0.00003629 0.1002 0.09016 0.06763 0.2601 3.215 2.5 0.08077 0.1092 1 1 0.0937 0.5518 1.285 0.1021 0.6011 1.4 json
t20_x2_u0_b100 20 2 0 100 add(P,dot(sub(P,P),R)) 160018 162492922 o2(x,o2(o2(x,x),x)) true 160151 160151 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_x2_u0_b101 20 2 0 101 add(P,dot(mlt(P,P),R)) 160019 162492923 o2(x,o2(o2(x,x),x)) true 160159 160159 0.05591 0.5299 0.9566 0.9395 0.9693 -1 1 2 1 1.691 0.07046 0.08032 0.1065 -0.06544 1 -0.00004424 0.3197 0.1652 0.1394 0.3733 3.505 2.828 0.1605 0.3403 1 1 0.1348 0.6875 1.604 0.1435 0.7318 1.707 json
t20_x2_u0_b102 20 2 0 102 add(P,dot(div(P,P),R)) 160020 162492924 o2(x,o2(o2(x,x),x)) true 160167 160167 -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_x2_u0_b103 20 2 0 103 add(P,dot(pow(P,P),R)) 160021 162492925 o2(x,o2(o2(x,x),x)) true 160175 160175 -0.7194 0.1406 0.9961 0.4771 0.6907 -1 1 2 1 0.6657 0.02936 0.03317 0.03237 -0.06093 1 0 0.1598 0.06389 0.06147 0.2479 7.659 2.828 0.1311 0.3349 1 1 0.06 0.2663 0.6499 0.1258 0.5582 1.362 json
t20_x2_u0_b104 20 2 0 104 add(P,dot(mod(P,P),R)) 160022 162492926 o2(x,o2(o2(x,x),x)) true 160183 160183 -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_x2_u0_b105 20 2 0 105 add(P,dot(lrg(P,P),R)) 160023 162492927 o2(x,o2(o2(x,x),x)) true 160191 160191 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_x2_u0_b106 20 2 0 106 add(P,dot(eql(P,P),R)) 160024 162492928 o2(x,o2(o2(x,x),x)) true 160199 160199 0.005843 0.5009 0.9404 0.9198 0.9591 -1 1 2 1 1.945 0.00172 0.001022 0.01529 0.2546 1 -0.00001375 0.0005676 0.005473 0.002508 0.05008 3.276 0.4501 0.002981 0.0006171 1 1 0.007236 0.07888 0.313 0.007867 0.08576 0.3403 json
t20_x2_u0_b107 20 2 0 107 add(P,dot(min(P,P),R)) 160025 162492929 o2(x,o2(o2(x,x),x)) true 160207 160207 -0.02508 0.4888 0.9283 0.9035 0.9505 -1 1 2 1 2.103 0.01265 0.01563 0.05221 -0.1053 1 -0.0001246 0.02248 0.03892 0.02555 0.1598 3.061 1.84 0.03129 0.02488 1 1 0.04156 0.3309 0.7662 0.046 0.3662 0.8481 json
t20_x2_u0_b108 20 2 0 108 add(P,dot(dot(P,P),R)) 160026 162492930 o2(x,o2(o2(x,x),x)) true 160215 160215 -0.006916 0.4957 0.9699 0.96 0.9798 -1 1 2 1 1.524 0.09367 0.0922 0.1181 0.007919 1 0.00001856 0.4215 0.1997 0.1719 0.4146 3.51 2.828 0.1936 0.4391 1 1 0.1862 0.8834 1.693 0.1939 0.9202 1.763 json
t20_x2_u0_b109 20 2 0 109 add(P,dot(dst(P,P),R)) 160027 162492931 o2(x,o2(o2(x,x),x)) true 160223 160223 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_x2_u0_b110 20 2 0 110 add(P,dst(add(P,P),R)) 160028 162492932 o2(x,o2(o2(x,x),x)) true 160231 160231 0.9997 1 0.9997 0.00005501 0.007417 0.7142 1 0.2858 1 0.0183 0.000002987 0.000007093 0.0001269 -0.4074 0 -2.628e-11 0.000007386 0.0001112 0.00001006 0.003171 24.99 0.1284 0.1832 0.1343 1 1 0.00003005 0.0001751 0.0002001 0.5462 3.183 3.638 json
t20_x2_u0_b111 20 2 0 111 add(P,dst(sub(P,P),R)) 160029 162492933 o2(x,o2(o2(x,x),x)) true 160239 160239 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x2_u0_b112 20 2 0 112 add(P,dst(mlt(P,P),R)) 160030 162492934 o2(x,o2(o2(x,x),x)) true 160247 160247 0.9934 0.9982 0.9942 0.005093 0.07137 -0.4068 1 1.407 1 0.1383 0.0001364 0.0001069 0.001484 0.121 1 -3.379e-11 0.00008017 0.0006982 0.000241 0.01552 10.46 0.4107 0.04777 0.01574 1 1 0.0007965 0.007695 0.01689 0.1564 1.511 3.316 json
t20_x2_u0_b113 20 2 0 113 add(P,dst(div(P,P),R)) 160031 162492935 o2(x,o2(o2(x,x),x)) true 160255 160255 -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_x2_u0_b114 20 2 0 114 add(P,dst(pow(P,P),R)) 160032 162492936 o2(x,o2(o2(x,x),x)) true 160263 160263 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t20_x2_u0_b115 20 2 0 115 add(P,dst(mod(P,P),R)) 160033 162492937 o2(x,o2(o2(x,x),x)) true 160271 160271 -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_x2_u0_b116 20 2 0 116 add(P,dst(lrg(P,P),R)) 160034 162492938 o2(x,o2(o2(x,x),x)) true 160279 160279 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x2_u0_b117 20 2 0 117 add(P,dst(eql(P,P),R)) 160035 162492939 o2(x,o2(o2(x,x),x)) true 160287 160287 0.242 0.621 0.9321 0.8529 0.9235 -1 1 2 1 1.926 0.0009524 0.0003046 0.01035 0.5153 1 -0.000003045 0.0002633 0.003645 0.00115 0.03391 3.275 0.2718 0.001474 0.0003088 1 1 0.003328 0.03683 0.2431 0.003902 0.04318 0.285 json
t20_x2_u0_b118 20 2 0 118 add(P,dst(min(P,P),R)) 160036 162492940 o2(x,o2(o2(x,x),x)) true 160295 160295 0.8922 0.9664 0.9083 0.08564 0.2927 -0.6857 1 1.686 1 1.282 0.00041 0.0006738 0.01047 -0.2433 1 -0.00001002 0.0001625 0.003162 0.0009745 0.03122 2.982 0.2569 0.01266 0.001897 1 1 0.0023 0.02622 0.0952 0.02685 0.3061 1.112 json
t20_x2_u0_b119 20 2 0 119 add(P,dst(dot(P,P),R)) 160037 162492941 o2(x,o2(o2(x,x),x)) true 160303 160303 0.9998 1 0.9998 0.00002057 0.004536 0.8159 1 0.1841 1 0.01277 0.000002162 0.00000179 0.00007605 0.09418 0 -3.004e-11 0.000003072 0.00006662 0.000003943 0.001986 26.11 0.09825 0.1921 0.1493 1 1 0.00001178 0.00006973 0.00007483 0.5728 3.389 3.637 json
t20_x2_u0_b120 20 2 0 120 add(P,dst(dst(P,P),R)) 160038 162492942 o2(x,o2(o2(x,x),x)) true 160311 160311 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x2_u0_b121 20 2 0 121 sub(P,add(add(P,P),R)) 160039 162492943 o2(x,o2(o2(x,x),x)) true 160319 160319 -0.003757 0.5026 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_x2_u0_b122 20 2 0 122 sub(P,add(sub(P,P),R)) 160040 162492944 o2(x,o2(o2(x,x),x)) true 160327 160327 -0.004612 0.5032 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_x2_u0_b123 20 2 0 123 sub(P,add(mlt(P,P),R)) 160041 162492945 o2(x,o2(o2(x,x),x)) true 160335 160335 -0.899 0.0455 0.9353 0.1052 0.3244 -1 0.9526 1.953 1 1.1 0.001731 0.0003775 0.01293 0.642 1 0.00002667 0.0004116 0.004465 0.001942 0.04407 3.407 0.4362 0.02005 0.003912 1 1 0.005266 0.05691 0.1868 0.05006 0.5409 1.775 json
t20_x2_u0_b124 20 2 0 124 sub(P,add(div(P,P),R)) 160042 162492946 o2(x,o2(o2(x,x),x)) true 160343 160343 -0.1693 0.4216 0.9697 0.9309 0.9648 -1 1 2 1 1.507 0.003844 0.0002281 0.009476 0.888 1 0.000003828 0.006344 0.007831 0.003984 0.06312 6.66 1.844 0.004375 0.006815 1 1 0.006936 0.05046 0.2936 0.007452 0.05421 0.3154 json
t20_x2_u0_b125 20 2 0 125 sub(P,add(pow(P,P),R)) 160043 162492947 o2(x,o2(o2(x,x),x)) true 160351 160351 -0.9517 0.01456 0.9599 0.04006 0.2002 -1 0.8906 1.891 1 0.7298 0.001601 0.0002687 0.008495 0.7126 1 0.00001958 0.001913 0.005043 0.001796 0.04238 4.989 0.9529 0.04667 0.04774 1 1 0.003729 0.03358 0.07304 0.09308 0.8382 1.823 json
t20_x2_u0_b126 20 2 0 126 sub(P,add(mod(P,P),R)) 160044 162492948 o2(x,o2(o2(x,x),x)) true 160359 160359 -0.1322 0.4311 0.8232 0.7507 0.8665 -1 1 2 1 3.095 0.01981 0.001033 0.04976 0.9009 1 -0.00001486 0.02633 0.0369 0.01837 0.1355 2.724 2 0.02776 0.03507 1 1 0.03015 0.1816 0.4753 0.04016 0.2419 0.6331 json
t20_x2_u0_b127 20 2 0 127 sub(P,add(lrg(P,P),R)) 160045 162492949 o2(x,o2(o2(x,x),x)) true 160367 160367 -0.004612 0.5032 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_x2_u0_b128 20 2 0 128 sub(P,add(eql(P,P),R)) 160046 162492950 o2(x,o2(o2(x,x),x)) true 160375 160375 -0.1314 0.4303 0.9365 0.8966 0.9469 -1 1 2 1 1.987 0.001167 0.0004286 0.01183 0.4629 1 0.00001997 0.0002741 0.003953 0.001456 0.03815 3.225 0.3135 0.00178 0.0003058 1 1 0.003965 0.04478 0.2462 0.004422 0.04994 0.2745 json
t20_x2_u0_b129 20 2 0 129 sub(P,add(min(P,P),R)) 160047 162492951 o2(x,o2(o2(x,x),x)) true 160383 160383 -0.008979 0.5015 0.3946 0.2196 0.4686 -0.9806 0.9989 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 -0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x2_u0_b130 20 2 0 130 sub(P,add(dot(P,P),R)) 160048 162492952 o2(x,o2(o2(x,x),x)) true 160391 160391 -0.9956 0.0008545 0.9958 0.002927 0.0541 -1 0.1799 1.18 1 0.1093 0.00008603 0.00008477 0.001129 0.007375 1 3.004e-11 0.00005805 0.0005669 0.0001694 0.01301 11.53 0.292 0.05835 0.01983 1 1 0.0005601 0.005305 0.0107 0.1914 1.812 3.657 json
t20_x2_u0_b131 20 2 0 131 sub(P,add(dst(P,P),R)) 160049 162492953 o2(x,o2(o2(x,x),x)) true 160399 160399 -0.004612 0.5032 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_x2_u0_b132 20 2 0 132 sub(P,sub(add(P,P),R)) 160050 162492954 o2(x,o2(o2(x,x),x)) true 160407 160407 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_x2_u0_b133 20 2 0 133 sub(P,sub(sub(P,P),R)) 160051 162492955 o2(x,o2(o2(x,x),x)) true 160415 160415 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_x2_u0_b134 20 2 0 134 sub(P,sub(mlt(P,P),R)) 160052 162492956 o2(x,o2(o2(x,x),x)) true 160423 160423 -0.8853 0.05591 0.9326 0.1262 0.3552 -1 0.943 1.943 1 1.134 0.001994 0.0003793 0.01401 0.6804 1 -0.00001776 0.0004439 0.004725 0.002177 0.04666 3.33 0.4171 0.01881 0.003519 1 1 0.005853 0.0632 0.2151 0.0464 0.5009 1.705 json
t20_x2_u0_b135 20 2 0 135 sub(P,sub(div(P,P),R)) 160053 162492957 o2(x,o2(o2(x,x),x)) true 160431 160431 -0.1587 0.4296 0.9706 0.934 0.9664 -1 1 2 1 1.504 0.007619 0.0002098 0.009917 0.9464 1 -0.00001294 0.01463 0.01169 0.007726 0.0879 8.863 1.944 0.008382 0.01566 1 1 0.009965 0.05352 0.2862 0.01067 0.05731 0.3064 json
t20_x2_u0_b136 20 2 0 136 sub(P,sub(pow(P,P),R)) 160054 162492958 o2(x,o2(o2(x,x),x)) true 160439 160439 -0.9306 0.02852 0.9558 0.07548 0.2747 -1 0.9427 1.943 1 0.7766 0.002225 0.0002589 0.01153 0.7915 1 -0.00001189 0.001251 0.005214 0.002351 0.04849 4.207 0.8294 0.03291 0.01657 1 1 0.005325 0.05276 0.1127 0.07055 0.699 1.493 json
t20_x2_u0_b137 20 2 0 137 sub(P,sub(mod(P,P),R)) 160055 162492959 o2(x,o2(o2(x,x),x)) true 160447 160447 -0.1174 0.4431 0.8159 0.7465 0.864 -1 1 2 1 3.118 0.02551 0.001027 0.05555 0.9226 1 0.00001129 0.03475 0.04232 0.02345 0.1531 2.757 2 0.03555 0.04655 1 1 0.03754 0.2173 0.5252 0.05029 0.2911 0.7035 json
t20_x2_u0_b138 20 2 0 138 sub(P,sub(lrg(P,P),R)) 160056 162492960 o2(x,o2(o2(x,x),x)) true 160455 160455 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_x2_u0_b139 20 2 0 139 sub(P,sub(eql(P,P),R)) 160057 162492961 o2(x,o2(o2(x,x),x)) true 160463 160463 -0.1139 0.4454 0.9395 0.9046 0.9511 -1 1 2 1 1.964 0.001138 0.0003823 0.01115 0.4972 1 -0.00001934 0.00027 0.003757 0.001396 0.03736 3.35 0.312 0.001681 0.0002984 1 1 0.003655 0.04084 0.2435 0.00404 0.04515 0.2691 json
t20_x2_u0_b140 20 2 0 140 sub(P,sub(min(P,P),R)) 160058 162492962 o2(x,o2(o2(x,x),x)) true 160471 160471 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x2_u0_b141 20 2 0 141 sub(P,sub(dot(P,P),R)) 160059 162492963 o2(x,o2(o2(x,x),x)) true 160479 160479 -0.9884 0.003464 0.9912 0.01142 0.1069 -1 0.8288 1.829 1 0.1862 0.0001991 0.0001696 0.002068 0.07992 1 -8.447e-11 0.000115 0.0009771 0.0003643 0.01909 9.228 0.3703 0.03229 0.01007 1 1 0.001213 0.01218 0.04135 0.1062 1.067 3.62 json
t20_x2_u0_b142 20 2 0 142 sub(P,sub(dst(P,P),R)) 160060 162492964 o2(x,o2(o2(x,x),x)) true 160487 160487 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_x2_u0_b143 20 2 0 143 sub(P,mlt(add(P,P),R)) 160061 162492965 o2(x,o2(o2(x,x),x)) true 160495 160495 0.02828 0.5097 0.8529 0.8169 0.9038 -1 1 2 1 2.65 0.02121 0.02333 0.07243 -0.04754 1 0.00001526 0.04326 0.0586 0.03928 0.1982 2.736 2.013 0.05452 0.05296 1 1 0.05944 0.4129 0.9504 0.07276 0.5054 1.163 json
t20_x2_u0_b144 20 2 0 144 sub(P,mlt(sub(P,P),R)) 160062 162492966 o2(x,o2(o2(x,x),x)) true 160503 160503 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_x2_u0_b145 20 2 0 145 sub(P,mlt(mlt(P,P),R)) 160063 162492967 o2(x,o2(o2(x,x),x)) true 160511 160511 -0.01496 0.496 0.8689 0.8358 0.9142 -1 1 2 1 2.535 0.045 0.04482 0.08119 0.001974 1 -0.000006545 0.1764 0.104 0.08319 0.2884 3.553 2.828 0.1075 0.2111 1 1 0.08671 0.4739 1.138 0.1037 0.567 1.362 json
t20_x2_u0_b146 20 2 0 146 sub(P,mlt(div(P,P),R)) 160064 162492968 o2(x,o2(o2(x,x),x)) true 160519 160519 -0.1288 0.4375 0.9898 0.9681 0.9839 -1 1 2 1 1.242 0.01149 0.00009029 0.009581 0.9844 1 0.000006904 0.02258 0.01532 0.01149 0.1072 11.19 2 0.01196 0.02332 1 1 0.01663 0.07631 0.3312 0.01718 0.07882 0.3421 json
t20_x2_u0_b147 20 2 0 147 sub(P,mlt(pow(P,P),R)) 160065 162492969 o2(x,o2(o2(x,x),x)) true 160527 160527 -0.3632 0.3299 0.9557 0.8085 0.8992 -1 1 2 1 1.575 0.0433 0.04446 0.05428 -0.01316 1 8.087e-7 0.2108 0.09391 0.0848 0.2912 5.365 2.828 0.1085 0.2608 1 1 0.07739 0.3677 0.9401 0.09572 0.4548 1.163 json
t20_x2_u0_b148 20 2 0 148 sub(P,mlt(mod(P,P),R)) 160066 162492970 o2(x,o2(o2(x,x),x)) true 160535 160535 -0.1233 0.4375 0.9937 0.9756 0.9877 -1 1 2 1 1.155 0.0162 0.0001802 0.01053 0.978 1 -0.00003409 0.03212 0.01813 0.01628 0.1276 12.11 2 0.01679 0.03293 1 1 0.0218 0.08815 0.339 0.02234 0.09035 0.3474 json
t20_x2_u0_b149 20 2 0 149 sub(P,mlt(lrg(P,P),R)) 160067 162492971 o2(x,o2(o2(x,x),x)) true 160543 160543 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_x2_u0_b150 20 2 0 150 sub(P,mlt(eql(P,P),R)) 160068 162492972 o2(x,o2(o2(x,x),x)) true 160551 160551 -0.004612 0.5032 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_x2_u0_b151 20 2 0 151 sub(P,mlt(min(P,P),R)) 160069 162492973 o2(x,o2(o2(x,x),x)) true 160559 160559 0.001257 0.4988 0.8903 0.8635 0.9293 -1 1 2 1 2.333 0.001259 0.0008081 0.0155 0.2182 1 -0.00003944 0.0009094 0.008003 0.001826 0.04273 2.758 0.4854 0.002394 0.001053 1 1 0.004487 0.04088 0.2233 0.005197 0.04734 0.2586 json
t20_x2_u0_b152 20 2 0 152 sub(P,mlt(dot(P,P),R)) 160070 162492974 o2(x,o2(o2(x,x),x)) true 160567 160567 0.01784 0.5087 0.9637 0.9513 0.9753 -1 1 2 1 1.611 0.07054 0.07744 0.1004 -0.04667 1 -0.00006679 0.3222 0.1609 0.1379 0.3714 3.698 2.828 0.1556 0.3387 1 1 0.1477 0.739 1.572 0.1552 0.7768 1.653 json
t20_x2_u0_b153 20 2 0 153 sub(P,mlt(dst(P,P),R)) 160071 162492975 o2(x,o2(o2(x,x),x)) true 160575 160575 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_x2_u0_b154 20 2 0 154 sub(P,div(add(P,P),R)) 160072 162492976 o2(x,o2(o2(x,x),x)) true 160583 160583 0.04745 0.5227 0.9479 0.9344 0.9666 -1 1 2 1 1.689 0.07877 0.09712 0.1143 -0.1043 1 -0.00002331 0.3972 0.1906 0.1628 0.4035 3.529 2.828 0.1882 0.4251 1 1 0.1851 0.8471 1.864 0.1982 0.9067 1.995 json
t20_x2_u0_b155 20 2 0 155 sub(P,div(sub(P,P),R)) 160073 162492977 o2(x,o2(o2(x,x),x)) true 160591 160591 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_x2_u0_b156 20 2 0 156 sub(P,div(mlt(P,P),R)) 160074 162492978 o2(x,o2(o2(x,x),x)) true 160599 160599 0.06993 0.5275 0.9311 0.9128 0.9554 -1 1 2 1 1.797 0.08547 0.1043 0.114 -0.09902 1 0.00005068 0.4716 0.2007 0.1767 0.4203 3.686 2.828 0.2078 0.5166 1 1 0.1902 0.8471 1.763 0.2084 0.928 1.931 json
t20_x2_u0_b157 20 2 0 157 sub(P,div(div(P,P),R)) 160075 162492979 o2(x,o2(o2(x,x),x)) true 160607 160607 -0.07263 0.462 0.9488 0.9272 0.9629 -1 1 2 1 1.799 0.02881 0.02079 0.0521 0.1618 1 0.00002293 0.08173 0.06165 0.04686 0.2165 4.155 2.828 0.05349 0.08815 1 1 0.06319 0.3379 0.9617 0.06815 0.3645 1.037 json
t20_x2_u0_b158 20 2 0 158 sub(P,div(pow(P,P),R)) 160076 162492980 o2(x,o2(o2(x,x),x)) true 160615 160615 -0.4155 0.2909 0.9816 0.8027 0.8959 -1 1 2 1 1.204 0.05762 0.05748 0.06659 0.001142 1 0.00001138 0.2777 0.1193 0.1106 0.3326 4.995 2.828 0.1434 0.3459 1 1 0.1159 0.5293 1.112 0.1444 0.6594 1.385 json
t20_x2_u0_b159 20 2 0 159 sub(P,div(mod(P,P),R)) 160077 162492981 o2(x,o2(o2(x,x),x)) true 160623 160623 -0.07029 0.4648 0.9778 0.9655 0.9826 -1 1 2 1 1.396 0.05235 0.03168 0.06119 0.2459 1 0.00009348 0.1604 0.09249 0.0803 0.2834 4.631 2.828 0.08703 0.1661 1 1 0.0725 0.367 0.9412 0.07509 0.3801 0.9748 json
t20_x2_u0_b160 20 2 0 160 sub(P,div(lrg(P,P),R)) 160078 162492982 o2(x,o2(o2(x,x),x)) true 160631 160631 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_x2_u0_b161 20 2 0 161 sub(P,div(eql(P,P),R)) 160079 162492983 o2(x,o2(o2(x,x),x)) true 160639 160639 0.05183 0.5241 0.929 0.903 0.9503 -1 1 2 1 2.052 0.02027 0.02464 0.05909 -0.09751 1 0.00003661 0.06371 0.05729 0.04142 0.2035 3.444 2.828 0.04973 0.07056 1 1 0.063 0.3893 0.977 0.06977 0.4311 1.082 json
t20_x2_u0_b162 20 2 0 162 sub(P,div(min(P,P),R)) 160080 162492984 o2(x,o2(o2(x,x),x)) true 160647 160647 0.05358 0.5234 0.8962 0.87 0.9328 -1 1 2 1 2.203 0.05765 0.06993 0.1065 -0.0962 1 5.063e-7 0.2518 0.1468 0.1162 0.3408 3.2 2.828 0.1466 0.2894 1 1 0.1354 0.6998 1.553 0.1557 0.8043 1.785 json
t20_x2_u0_b163 20 2 0 163 sub(P,div(dot(P,P),R)) 160081 162492985 o2(x,o2(o2(x,x),x)) true 160655 160655 0.06821 0.5345 0.9914 0.9837 0.9918 -1 1 2 1 1.175 0.107 0.1245 0.1199 -0.07554 1 -0.00002061 0.6067 0.2364 0.2171 0.466 3.887 2.828 0.2353 0.6168 1 1 0.2319 0.9826 1.919 0.2358 0.9989 1.951 json
t20_x2_u0_b164 20 2 0 164 sub(P,div(dst(P,P),R)) 160082 162492986 o2(x,o2(o2(x,x),x)) true 160663 160663 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_x2_u0_b165 20 2 0 165 sub(P,pow(add(P,P),R)) 160083 162492987 o2(x,o2(o2(x,x),x)) true 160671 160671 -0.2508 0.3754 0.9295 0.8474 0.9205 -1 1 2 1 1.914 0.009476 0.006004 0.03135 0.2243 1 -0.00004951 0.01615 0.0247 0.01449 0.1204 3.84 1.799 0.01827 0.01905 1 1 0.02183 0.1707 0.5457 0.02576 0.2014 0.644 json
t20_x2_u0_b166 20 2 0 166 sub(P,pow(sub(P,P),R)) 160084 162492988 o2(x,o2(o2(x,x),x)) true 160679 160679 -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_x2_u0_b167 20 2 0 167 sub(P,pow(mlt(P,P),R)) 160085 162492989 o2(x,o2(o2(x,x),x)) true 160687 160687 -0.3439 0.3301 0.9256 0.7929 0.8905 -1 1 2 1 1.752 0.01831 0.01392 0.03855 0.136 1 -0.00002713 0.04804 0.04315 0.03073 0.1753 4.548 2.582 0.04065 0.06058 1 1 0.03694 0.2384 0.8453 0.04659 0.3007 1.066 json
t20_x2_u0_b168 20 2 0 168 sub(P,pow(div(P,P),R)) 160086 162492990 o2(x,o2(o2(x,x),x)) true 160695 160695 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t20_x2_u0_b169 20 2 0 169 sub(P,pow(pow(P,P),R)) 160087 162492991 o2(x,o2(o2(x,x),x)) true 160703 160703 -0.5458 0.2238 0.9213 0.606 0.7785 -1 1 2 1 1.73 0.02728 0.02343 0.04311 0.07595 1 0.000316 0.0995 0.05588 0.04888 0.2211 5.129 2.828 0.08369 0.1642 1 1 0.0544 0.2828 0.8031 0.08977 0.4667 1.325 json
t20_x2_u0_b170 20 2 0 170 sub(P,pow(mod(P,P),R)) 160088 162492992 o2(x,o2(o2(x,x),x)) true 160711 160711 -0.7972 0.1016 0.9997 0.3639 0.6032 -1 1 2 1 0.4843 0.03547 0.01425 0.02497 0.4267 1 -0.00001822 0.102 0.04991 0.04912 0.2216 8.875 2.828 0.1366 0.2804 1 1 0.03237 0.1586 0.4324 0.08895 0.4358 1.188 json
t20_x2_u0_b171 20 2 0 171 sub(P,pow(lrg(P,P),R)) 160089 162492993 o2(x,o2(o2(x,x),x)) true 160719 160719 -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_x2_u0_b172 20 2 0 172 sub(P,pow(eql(P,P),R)) 160090 162492994 o2(x,o2(o2(x,x),x)) true 160727 160727 -0.125 0.4375 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_x2_u0_b173 20 2 0 173 sub(P,pow(min(P,P),R)) 160091 162492995 o2(x,o2(o2(x,x),x)) true 160735 160735 -0.1496 0.4372 0.9442 0.9118 0.9549 -1 1 2 1 1.575 0.004403 0.001645 0.01085 0.456 1 -0.00002088 0.01144 0.01292 0.005933 0.07702 7.096 1.414 0.006633 0.01254 1 1 0.008943 0.05119 0.2865 0.009809 0.05614 0.3142 json
t20_x2_u0_b174 20 2 0 174 sub(P,pow(dot(P,P),R)) 160092 162492996 o2(x,o2(o2(x,x),x)) true 160743 160743 -0.4224 0.2805 0.9397 0.7422 0.8615 -1 1 2 1 1.775 0.02191 0.01722 0.04801 0.1198 1 0.0002292 0.05393 0.0487 0.03682 0.1919 3.997 2.636 0.05272 0.07267 1 1 0.04465 0.2995 0.8568 0.06016 0.4036 1.154 json
t20_x2_u0_b175 20 2 0 175 sub(P,pow(dst(P,P),R)) 160093 162492997 o2(x,o2(o2(x,x),x)) true 160751 160751 -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_x2_u0_b176 20 2 0 176 sub(P,mod(add(P,P),R)) 160094 162492998 o2(x,o2(o2(x,x),x)) true 160759 160759 -0.00133 0.5 0.9203 0.8991 0.9482 -1 1 2 1 2.129 0.0005922 0.00002989 0.00838 0.9039 1 -5.869e-8 0.00006719 0.002534 0.0005519 0.02349 2.803 0.1674 0.0006919 0.00007473 1 1 0.001622 0.0209 0.2147 0.001804 0.02325 0.2387 json
t20_x2_u0_b177 20 2 0 177 sub(P,mod(sub(P,P),R)) 160095 162492999 o2(x,o2(o2(x,x),x)) true 160767 160767 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_x2_u0_b178 20 2 0 178 sub(P,mod(mlt(P,P),R)) 160096 162493000 o2(x,o2(o2(x,x),x)) true 160775 160775 -0.01109 0.5 0.9319 0.9149 0.9565 -1 1 2 1 1.95 0.0007116 0.00001095 0.008127 0.9697 1 -1.138e-7 0.00007491 0.00235 0.0006564 0.02562 3.153 0.1657 0.0007897 0.00008187 1 1 0.001856 0.02319 0.2244 0.002029 0.02534 0.2453 json
t20_x2_u0_b179 20 2 0 179 sub(P,mod(div(P,P),R)) 160097 162493001 o2(x,o2(o2(x,x),x)) true 160783 160783 -0.1277 0.4375 0.9973 0.9795 0.9897 -1 1 2 1 1.109 0.01325 0.000003714 0.008003 0.9994 1 -2.314e-7 0.02634 0.01493 0.01319 0.1148 14.35 2 0.01353 0.0269 1 1 0.01794 0.0783 0.3311 0.01832 0.07994 0.338 json
t20_x2_u0_b180 20 2 0 180 sub(P,mod(pow(P,P),R)) 160098 162493002 o2(x,o2(o2(x,x),x)) true 160791 160791 -0.04579 0.4805 0.9602 0.9461 0.9727 -1 1 2 1 1.624 0.002995 0.00001416 0.00817 0.9906 1 -2.267e-7 0.005156 0.007768 0.002941 0.05423 6.638 0.9711 0.003181 0.005449 1 1 0.004653 0.03371 0.2698 0.004918 0.03563 0.2851 json
t20_x2_u0_b181 20 2 0 181 sub(P,mod(mod(P,P),R)) 160099 162493003 o2(x,o2(o2(x,x),x)) true 160799 160799 -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