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_x78_u0_b6 20 78 0 6 add(R,add(lrg(R,R),P)) 175200 165563304 o2(x,o2(o2(x,x),x)) true 110007 110007 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_x78_u0_b7 20 78 0 7 add(R,add(eql(R,R),P)) 175201 165563305 o2(x,o2(o2(x,x),x)) true 110015 110015 0.1255 0.5668 0.9355 0.8987 0.948 -1 1 2 1 1.952 0.001079 0.0004194 0.01134 0.4404 1 -0.00002108 0.0002783 0.003845 0.001371 0.03702 3.266 0.2958 0.001668 0.0003097 1 1 0.003527 0.03939 0.2567 0.003925 0.04383 0.2856 json
t20_x78_u0_b8 20 78 0 8 add(R,add(min(R,R),P)) 175202 165563306 o2(x,o2(o2(x,x),x)) true 110023 110023 0.01261 0.507 0.9466 0.9272 0.9629 -1 1 2 1 1.912 0.002445 0.001452 0.0176 0.2549 1 -0.00004245 0.001018 0.007264 0.003586 0.05989 3.404 0.5071 0.004203 0.001098 1 1 0.009147 0.09627 0.3741 0.009865 0.1038 0.4035 json
t20_x78_u0_b9 20 78 0 9 add(R,add(dot(R,R),P)) 175203 165563307 o2(x,o2(o2(x,x),x)) true 110031 110031 0.1363 0.5701 0.9404 0.9035 0.9505 -1 1 2 1 1.905 0.001518 0.0008749 0.01401 0.2687 1 -0.00003026 0.0004838 0.005041 0.002197 0.04687 3.345 0.3853 0.002648 0.0005354 1 1 0.005597 0.0627 0.3117 0.006195 0.06939 0.3449 json
t20_x78_u0_b10 20 78 0 10 add(R,add(dst(R,R),P)) 175204 165563308 o2(x,o2(o2(x,x),x)) true 110039 110039 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_x78_u0_b11 20 78 0 11 add(R,sub(add(R,R),P)) 175205 165563309 o2(x,o2(o2(x,x),x)) true 110047 110047 0.01032 0.5059 0.9418 0.9217 0.9601 -1 1 2 1 1.939 0.004599 0.003596 0.02742 0.1224 1 -0.00001619 0.002664 0.01259 0.007447 0.0863 3.147 0.7659 0.008891 0.00289 1 1 0.01855 0.1756 0.4675 0.02012 0.1905 0.5072 json
t20_x78_u0_b12 20 78 0 12 add(R,sub(sub(R,R),P)) 175206 165563310 o2(x,o2(o2(x,x),x)) true 110055 110055 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_x78_u0_b13 20 78 0 13 add(R,sub(mlt(R,R),P)) 175207 165563311 o2(x,o2(o2(x,x),x)) true 110063 110063 0.05529 0.5257 0.9305 0.9063 0.952 -1 1 2 1 2.003 0.001364 0.0005328 0.01291 0.4384 1 -0.00001262 0.0003489 0.0045 0.001731 0.04161 3.224 0.328 0.002093 0.000385 1 1 0.004729 0.05348 0.268 0.005218 0.05901 0.2957 json
t20_x78_u0_b14 20 78 0 14 add(R,sub(div(R,R),P)) 175208 165563312 o2(x,o2(o2(x,x),x)) true 110071 110071 0.1314 0.5697 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_x78_u0_b15 20 78 0 15 add(R,sub(pow(R,R),P)) 175209 165563313 o2(x,o2(o2(x,x),x)) true 110079 110079 -0.9225 0.03906 0.9994 0.1479 0.3845 -1 1 2 1 0.2566 0.01552 0.01431 0.01506 0.04078 1 -1.276e-10 0.06232 0.03015 0.02961 0.1721 11.43 2.828 0.2017 0.4215 1 1 0.02527 0.1085 0.2603 0.1709 0.7338 1.761 json
t20_x78_u0_b16 20 78 0 16 add(R,sub(mod(R,R),P)) 175210 165563314 o2(x,o2(o2(x,x),x)) true 110087 110087 0.002615 0.4956 0.9406 0.9199 0.9591 -1 1 2 1 1.967 0.001719 0.0007687 0.01454 0.3821 1 -0.00002571 0.0005153 0.005249 0.002277 0.04772 3.281 0.5496 0.002705 0.0005602 1 1 0.006538 0.07118 0.3109 0.007108 0.07738 0.338 json
t20_x78_u0_b17 20 78 0 17 add(R,sub(lrg(R,R),P)) 175211 165563315 o2(x,o2(o2(x,x),x)) true 110095 110095 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_x78_u0_b18 20 78 0 18 add(R,sub(eql(R,R),P)) 175212 165563316 o2(x,o2(o2(x,x),x)) true 110103 110103 0.1314 0.5697 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_x78_u0_b19 20 78 0 19 add(R,sub(min(R,R),P)) 175213 165563317 o2(x,o2(o2(x,x),x)) true 110111 110111 0.009129 0.5065 0.9387 0.9169 0.9575 -1 1 2 1 2.004 0.002544 0.001605 0.01976 0.2263 1 -0.00003295 0.001008 0.007816 0.00376 0.06132 3.103 0.5495 0.004525 0.001099 1 1 0.009684 0.1019 0.3603 0.01056 0.1111 0.393 json
t20_x78_u0_b20 20 78 0 20 add(R,sub(dot(R,R),P)) 175214 165563318 o2(x,o2(o2(x,x),x)) true 110119 110119 0.1459 0.5769 0.9398 0.8983 0.9478 -1 1 2 1 1.932 0.001617 0.0008812 0.01438 0.2946 1 -0.00002731 0.0005241 0.005158 0.002292 0.04787 3.328 0.3716 0.002781 0.0005834 1 1 0.006193 0.06827 0.2882 0.006894 0.076 0.3208 json
t20_x78_u0_b21 20 78 0 21 add(R,sub(dst(R,R),P)) 175215 165563319 o2(x,o2(o2(x,x),x)) true 110127 110127 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_x78_u0_b22 20 78 0 22 add(R,mlt(add(R,R),P)) 175216 165563320 o2(x,o2(o2(x,x),x)) true 110135 110135 -0.06508 0.4667 0.8471 0.7929 0.8904 -1 1 2 1 2.925 0.03166 0.03657 0.1021 -0.0719 1 -0.00002756 0.07304 0.08462 0.05782 0.2405 2.356 2.013 0.08605 0.09211 1 1 0.09108 0.6347 1.348 0.1149 0.8004 1.7 json
t20_x78_u0_b23 20 78 0 23 add(R,mlt(sub(R,R),P)) 175217 165563321 o2(x,o2(o2(x,x),x)) true 110143 110143 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_x78_u0_b24 20 78 0 24 add(R,mlt(mlt(R,R),P)) 175218 165563322 o2(x,o2(o2(x,x),x)) true 110151 110151 -0.004856 0.5041 0.679 0.5913 0.769 -1 1 2 1 4.011 0.003027 0.003052 0.04547 -0.004176 1 0.00001276 0.001971 0.0192 0.00401 0.06332 1.393 0.4527 0.01028 0.003334 1 1 0.0108 0.1146 0.3079 0.01826 0.1937 0.5207 json
t20_x78_u0_b25 20 78 0 25 add(R,mlt(div(R,R),P)) 175219 165563323 o2(x,o2(o2(x,x),x)) true 110159 110159 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_x78_u0_b26 20 78 0 26 add(R,mlt(pow(R,R),P)) 175220 165563324 o2(x,o2(o2(x,x),x)) true 110167 110167 -0.9767 0.0108 0.9927 0.03662 0.1914 -1 1 2 1 0.213 0.002677 0.004361 0.005016 -0.2393 1 -3.004e-11 0.01458 0.008859 0.007016 0.08376 16.7 2.828 0.1922 0.3983 1 1 0.002196 0.01252 0.03946 0.05997 0.3419 1.078 json
t20_x78_u0_b27 20 78 0 27 add(R,mlt(mod(R,R),P)) 175221 165563325 o2(x,o2(o2(x,x),x)) true 110175 110175 0.06525 0.5357 0.4677 0.3079 0.5549 -1 1 2 1 4.915 0.005413 0.005292 0.07346 0.01128 1 0.00005269 0.002218 0.02189 0.00531 0.07287 0.992 1.13 0.03477 0.007204 1 1 0.02018 0.2262 0.5018 0.06555 0.7345 1.63 json
t20_x78_u0_b28 20 78 0 28 add(R,mlt(lrg(R,R),P)) 175222 165563326 o2(x,o2(o2(x,x),x)) true 110183 110183 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_x78_u0_b29 20 78 0 29 add(R,mlt(eql(R,R),P)) 175223 165563327 o2(x,o2(o2(x,x),x)) true 110191 110191 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_x78_u0_b30 20 78 0 30 add(R,mlt(min(R,R),P)) 175224 165563328 o2(x,o2(o2(x,x),x)) true 110199 110199 -0.06496 0.4715 0.7252 0.6434 0.8021 -1 1 2 1 3.778 0.01726 0.01985 0.09398 -0.06994 1 -0.00004042 0.02076 0.0503 0.02827 0.1681 1.789 1.636 0.05768 0.03226 1 1 0.05307 0.4669 1.033 0.08249 0.7256 1.606 json
t20_x78_u0_b31 20 78 0 31 add(R,mlt(dot(R,R),P)) 175225 165563329 o2(x,o2(o2(x,x),x)) true 110207 110207 0.002074 0.498 0.9327 0.9046 0.9511 -1 1 2 1 2.141 0.001417 0.000658 0.01441 0.3659 1 -0.00004318 0.0006518 0.006593 0.001867 0.04321 2.999 0.4703 0.002294 0.0007206 1 1 0.004571 0.04869 0.2511 0.005053 0.05383 0.2776 json
t20_x78_u0_b32 20 78 0 32 add(R,mlt(dst(R,R),P)) 175226 165563330 o2(x,o2(o2(x,x),x)) true 110215 110215 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_x78_u0_b33 20 78 0 33 add(R,div(add(R,R),P)) 175227 165563331 o2(x,o2(o2(x,x),x)) true 110223 110223 -0.1307 0.4321 0.4623 0.3267 0.5716 -1 1 2 1 4.523 0.01676 0.003641 0.06184 0.6431 1 0.00004139 0.02793 0.0311 0.01658 0.1288 2.082 2 0.06246 0.08548 1 1 0.03077 0.2308 0.5751 0.09417 0.7063 1.76 json
t20_x78_u0_b34 20 78 0 34 add(R,div(sub(R,R),P)) 175228 165563332 o2(x,o2(o2(x,x),x)) true 110231 110231 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_x78_u0_b35 20 78 0 35 add(R,div(mlt(R,R),P)) 175229 165563333 o2(x,o2(o2(x,x),x)) true 110239 110239 -0.1229 0.4323 0.4668 0.3086 0.5555 -1 1 2 1 4.672 0.01572 0.002703 0.06197 0.7065 1 0.00004912 0.02715 0.03107 0.01458 0.1208 1.949 2 0.05969 0.08796 1 1 0.02597 0.1826 0.5029 0.08414 0.5916 1.629 json
t20_x78_u0_b36 20 78 0 36 add(R,div(div(R,R),P)) 175230 165563334 o2(x,o2(o2(x,x),x)) true 110247 110247 -0.1219 0.4479 0.5204 0.375 0.6124 -1 1 2 1 4.653 0.01742 0.002593 0.05965 0.7409 1 0.00004525 0.03067 0.02989 0.01645 0.1283 2.15 2 0.05336 0.08179 1 1 0.02899 0.1927 0.5264 0.07731 0.5137 1.404 json
t20_x78_u0_b37 20 78 0 37 add(R,div(pow(R,R),P)) 175231 165563335 o2(x,o2(o2(x,x),x)) true 110255 110255 -0.9531 0.03084 0.9773 0.06311 0.2512 -1 1 2 1 0.364 0.00615 0.006142 0.009884 0.0006154 1 0.000007394 0.02563 0.01807 0.0122 0.1105 11.18 2 0.1948 0.4061 1 1 0.009256 0.03846 0.095 0.1467 0.6094 1.505 json
t20_x78_u0_b38 20 78 0 38 add(R,div(mod(R,R),P)) 175232 165563336 o2(x,o2(o2(x,x),x)) true 110263 110263 -0.1172 0.4347 0.4663 0.3045 0.5518 -1 1 2 1 4.763 0.01551 0.002905 0.06459 0.6844 1 0.00005408 0.0266 0.03118 0.01424 0.1193 1.848 2 0.06047 0.08736 1 1 0.026 0.1886 0.5023 0.08539 0.6192 1.649 json
t20_x78_u0_b39 20 78 0 39 add(R,div(lrg(R,R),P)) 175233 165563337 o2(x,o2(o2(x,x),x)) true 110271 110271 -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_x78_u0_b40 20 78 0 40 add(R,div(eql(R,R),P)) 175234 165563338 o2(x,o2(o2(x,x),x)) true 110279 110279 -0.1219 0.4479 0.5204 0.375 0.6124 -1 1 2 1 4.653 0.01742 0.002593 0.05965 0.7409 1 0.00004525 0.03067 0.02989 0.01645 0.1283 2.15 2 0.05336 0.08179 1 1 0.02899 0.1927 0.5264 0.07731 0.5137 1.404 json
t20_x78_u0_b41 20 78 0 41 add(R,div(min(R,R),P)) 175235 165563339 o2(x,o2(o2(x,x),x)) true 110287 110287 -0.1243 0.4247 0.4588 0.3066 0.5537 -1 1 2 1 4.676 0.01605 0.002976 0.06274 0.6871 1 0.00004563 0.02729 0.03134 0.01509 0.1228 1.958 2 0.06203 0.08901 1 1 0.02751 0.1999 0.5216 0.08971 0.652 1.701 json
t20_x78_u0_b42 20 78 0 42 add(R,div(dot(R,R),P)) 175236 165563340 o2(x,o2(o2(x,x),x)) true 110295 110295 -0.1224 0.4398 0.5109 0.3703 0.6085 -1 1 2 1 4.59 0.01708 0.002513 0.05864 0.7435 1 0.00003768 0.02985 0.03005 0.01616 0.1271 2.167 2 0.05293 0.08061 1 1 0.02864 0.1888 0.5184 0.07736 0.5099 1.4 json
t20_x78_u0_b43 20 78 0 43 add(R,div(dst(R,R),P)) 175237 165563341 o2(x,o2(o2(x,x),x)) true 110303 110303 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_x78_u0_b44 20 78 0 44 add(R,pow(add(R,R),P)) 175238 165563342 o2(x,o2(o2(x,x),x)) true 110311 110311 -0.8568 0.07422 0.9948 0.2583 0.5082 -1 1 2 1 0.4746 0.02295 0.02332 0.02487 -0.007925 1 -0.000009074 0.09589 0.0481 0.04568 0.2137 8.595 2.828 0.1791 0.3713 1 1 0.04395 0.1874 0.5975 0.1702 0.7258 2.314 json
t20_x78_u0_b45 20 78 0 45 add(R,pow(sub(R,R),P)) 175239 165563343 o2(x,o2(o2(x,x),x)) true 110319 110319 -0.4802 0.2534 0.7029 0.3871 0.6222 -1 1 2 1 3.42 0.01305 0.001461 0.03793 0.7987 1 -1.08e-7 0.02336 0.02071 0.01308 0.1144 3.015 2 0.03749 0.06035 1 1 0.02163 0.1358 0.344 0.05587 0.3509 0.8887 json
t20_x78_u0_b46 20 78 0 46 add(R,pow(mlt(R,R),P)) 175240 165563344 o2(x,o2(o2(x,x),x)) true 110327 110327 0.5671 0.7745 0.7005 0.2984 0.5463 -0.7699 1 1.77 1 3.144 0.002085 0.001863 0.03329 0.05606 1 -0.00003339 0.00142 0.01077 0.00284 0.05329 1.601 0.9561 0.01323 0.004757 1 1 0.007866 0.08631 0.25 0.02636 0.2892 0.8376 json
t20_x78_u0_b47 20 78 0 47 add(R,pow(div(R,R),P)) 175241 165563345 o2(x,o2(o2(x,x),x)) true 110335 110335 0.8072 1 0.8072 0.06917 0.263 0.001145 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t20_x78_u0_b48 20 78 0 48 add(R,pow(pow(R,R),P)) 175242 165563346 o2(x,o2(o2(x,x),x)) true 110343 110343 -0.8582 0.07422 0.9934 0.2537 0.5037 -1 1 2 1 0.4948 0.02283 0.0227 0.02462 0.002922 1 8.727e-7 0.09471 0.04754 0.0449 0.2119 8.605 2.828 0.1795 0.3733 1 1 0.04358 0.1859 0.5879 0.1718 0.7327 2.317 json
t20_x78_u0_b49 20 78 0 49 add(R,pow(mod(R,R),P)) 175243 165563347 o2(x,o2(o2(x,x),x)) true 110351 110351 -0.5856 0.205 0.7919 0.3884 0.6232 -1 1 2 1 2.768 0.01882 0.01376 0.04323 0.1554 1 -0.00000747 0.0625 0.04585 0.0307 0.1752 4.053 2.828 0.08388 0.1609 1 1 0.03566 0.1857 0.5826 0.09182 0.4782 1.5 json
t20_x78_u0_b50 20 78 0 50 add(R,pow(lrg(R,R),P)) 175244 165563348 o2(x,o2(o2(x,x),x)) true 110359 110359 -0.4802 0.2534 0.7029 0.3871 0.6222 -1 1 2 1 3.42 0.01305 0.001461 0.03793 0.7987 1 -1.08e-7 0.02336 0.02071 0.01308 0.1144 3.015 2 0.03749 0.06035 1 1 0.02163 0.1358 0.344 0.05587 0.3509 0.8887 json
t20_x78_u0_b51 20 78 0 51 add(R,pow(eql(R,R),P)) 175245 165563349 o2(x,o2(o2(x,x),x)) true 110367 110367 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t20_x78_u0_b52 20 78 0 52 add(R,pow(min(R,R),P)) 175246 165563350 o2(x,o2(o2(x,x),x)) true 110375 110375 -0.8583 0.07422 0.9933 0.2536 0.5035 -1 1 2 1 0.495 0.02269 0.02271 0.0246 -0.0005918 1 0.00000109 0.09443 0.04759 0.04476 0.2116 8.601 2.828 0.179 0.3724 1 1 0.04359 0.1854 0.5904 0.1719 0.7314 2.328 json
t20_x78_u0_b53 20 78 0 53 add(R,pow(dot(R,R),P)) 175247 165563351 o2(x,o2(o2(x,x),x)) true 110383 110383 0.7879 0.9255 0.8344 0.1611 0.4014 -0.9462 1 1.946 1 2.254 0.005602 0.005332 0.04191 0.02475 1 -0.0001435 0.009352 0.02663 0.00918 0.09581 2.286 1.786 0.06786 0.05804 1 1 0.01636 0.1314 0.2826 0.1015 0.8153 1.754 json
t20_x78_u0_b54 20 78 0 54 add(R,pow(dst(R,R),P)) 175248 165563352 o2(x,o2(o2(x,x),x)) true 110391 110391 -0.4802 0.2534 0.7029 0.3871 0.6222 -1 1 2 1 3.42 0.01305 0.001461 0.03793 0.7987 1 -1.08e-7 0.02336 0.02071 0.01308 0.1144 3.015 2 0.03749 0.06035 1 1 0.02163 0.1358 0.344 0.05587 0.3509 0.8887 json
t20_x78_u0_b55 20 78 0 55 add(R,mod(add(R,R),P)) 175249 165563353 o2(x,o2(o2(x,x),x)) true 110399 110399 -0.1297 0.431 0.7903 0.7027 0.8383 -1 1 2 1 3.491 0.02859 0.01333 0.09633 0.3638 1 0.000002398 0.04213 0.0543 0.03264 0.1807 1.876 2.014 0.05966 0.05995 1 1 0.06598 0.5112 1.176 0.09389 0.7275 1.674 json
t20_x78_u0_b56 20 78 0 56 add(R,mod(sub(R,R),P)) 175250 165563354 o2(x,o2(o2(x,x),x)) true 110407 110407 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_x78_u0_b57 20 78 0 57 add(R,mod(mlt(R,R),P)) 175251 165563355 o2(x,o2(o2(x,x),x)) true 110415 110415 0.1369 0.5527 0.4728 0.3516 0.593 -1 1 2 1 4.016 0.02125 0.002871 0.05944 0.7619 1 -0.00003458 0.03832 0.03697 0.02059 0.1435 2.414 2.01 0.06859 0.109 1 1 0.03227 0.2071 0.5917 0.09178 0.5891 1.683 json
t20_x78_u0_b58 20 78 0 58 add(R,mod(div(R,R),P)) 175252 165563356 o2(x,o2(o2(x,x),x)) true 110423 110423 0.5551 0.863 0.8107 0.4225 0.65 -1 1 2 1 3.128 0.02017 0.001444 0.03997 0.8664 1 -0.00004275 0.03862 0.03382 0.02002 0.1415 3.539 2.009 0.05116 0.0914 1 1 0.02885 0.1519 0.6263 0.06827 0.3594 1.482 json
t20_x78_u0_b59 20 78 0 59 add(R,mod(pow(R,R),P)) 175253 165563357 o2(x,o2(o2(x,x),x)) true 110431 110431 -0.9299 0.03516 0.9998 0.1349 0.3673 -1 1 2 1 0.2297 0.01472 0.01226 0.01351 0.0915 1 -1.456e-7 0.05644 0.02713 0.02677 0.1636 12.11 2.828 0.2 0.4184 1 1 0.02357 0.09678 0.2461 0.1747 0.7174 1.825 json
t20_x78_u0_b60 20 78 0 60 add(R,mod(mod(R,R),P)) 175254 165563358 o2(x,o2(o2(x,x),x)) true 110439 110439 -0.1265 0.4305 0.5119 0.3508 0.5923 -1 1 2 1 4.759 0.01855 0.003727 0.06997 0.6654 1 0.00004149 0.03169 0.03451 0.01738 0.1318 1.884 2.005 0.0635 0.09034 1 1 0.03176 0.2315 0.6157 0.09053 0.6598 1.755 json
t20_x78_u0_b61 20 78 0 61 add(R,mod(lrg(R,R),P)) 175255 165563359 o2(x,o2(o2(x,x),x)) true 110447 110447 -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_x78_u0_b62 20 78 0 62 add(R,mod(eql(R,R),P)) 175256 165563360 o2(x,o2(o2(x,x),x)) true 110455 110455 0.5397 0.8551 0.8004 0.4263 0.6529 -1 1 2 1 3.228 0.01488 0.001449 0.03932 0.8224 1 -0.00003989 0.02766 0.02995 0.01478 0.1216 3.092 1.944 0.0383 0.0649 1 1 0.0216 0.1317 0.6028 0.05067 0.3089 1.414 json
t20_x78_u0_b63 20 78 0 63 add(R,mod(min(R,R),P)) 175257 165563361 o2(x,o2(o2(x,x),x)) true 110463 110463 -0.1182 0.4325 0.6953 0.5809 0.7622 -1 1 2 1 4.144 0.0245 0.008569 0.09056 0.4817 1 0.00003845 0.03761 0.04492 0.02486 0.1577 1.741 2.017 0.05692 0.06474 1 1 0.0503 0.4057 0.9787 0.08659 0.6983 1.685 json
t20_x78_u0_b64 20 78 0 64 add(R,mod(dot(R,R),P)) 175258 165563362 o2(x,o2(o2(x,x),x)) true 110471 110471 0.5202 0.8501 0.7763 0.4195 0.6477 -1 1 2 1 3.318 0.02333 0.001898 0.04638 0.8495 1 -0.00006223 0.04433 0.03837 0.02308 0.1519 3.276 2.009 0.06014 0.1057 1 1 0.03348 0.1777 0.6398 0.0798 0.4234 1.525 json
t20_x78_u0_b65 20 78 0 65 add(R,mod(dst(R,R),P)) 175259 165563363 o2(x,o2(o2(x,x),x)) true 110479 110479 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_x78_u0_b66 20 78 0 66 add(R,lrg(add(R,R),P)) 175260 165563364 o2(x,o2(o2(x,x),x)) true 110487 110487 0.3987 0.7196 0.6145 0.3336 0.5776 -0.9986 1 1.999 1 4.236 0.003053 0.003136 0.05234 -0.01342 1 -0.00004726 0.0008821 0.0154 0.003452 0.05875 1.123 0.3332 0.01855 0.002644 1 1 0.01269 0.1487 0.3793 0.03805 0.4457 1.137 json
t20_x78_u0_b67 20 78 0 67 add(R,lrg(sub(R,R),P)) 175261 165563365 o2(x,o2(o2(x,x),x)) true 110495 110495 0.3766 0.7191 0.5901 0.3173 0.5633 -0.9986 1 1.999 1 4.383 0.002603 0.002259 0.04938 0.07094 1 -0.00001858 0.0005711 0.01381 0.002424 0.04923 0.997 0.3332 0.01532 0.0018 1 1 0.009709 0.1179 0.315 0.0306 0.3714 0.9927 json
t20_x78_u0_b68 20 78 0 68 add(R,lrg(mlt(R,R),P)) 175262 165563366 o2(x,o2(o2(x,x),x)) true 110503 110503 0.4275 0.7534 0.6105 0.3022 0.5498 -0.9986 1 1.999 1 4.253 0.002091 0.002187 0.04567 -0.02245 1 -0.00001858 0.0005433 0.01321 0.002192 0.04681 1.025 0.238 0.01415 0.001798 1 1 0.008383 0.1002 0.2913 0.02774 0.3314 0.9638 json
t20_x78_u0_b69 20 78 0 69 add(R,lrg(div(R,R),P)) 175263 165563367 o2(x,o2(o2(x,x),x)) true 110511 110511 0.4275 0.7534 0.6105 0.3022 0.5498 -0.9986 1 1.999 1 4.253 0.002091 0.002187 0.04567 -0.02245 1 -0.00001858 0.0005433 0.01321 0.002192 0.04681 1.025 0.238 0.01415 0.001798 1 1 0.008383 0.1002 0.2913 0.02774 0.3314 0.9638 json
t20_x78_u0_b70 20 78 0 70 add(R,lrg(pow(R,R),P)) 175264 165563368 o2(x,o2(o2(x,x),x)) true 110519 110519 0.6806 1 0.6806 0.08098 0.2846 0.001084 1 0.9989 1 3.524 0.0009598 0.001102 0.02965 -0.06916 1 0.000005653 0.0003957 0.009455 0.001183 0.0344 1.16 0.223 0.02547 0.004887 1 1 0.003852 0.04209 0.1108 0.04756 0.5198 1.368 json
t20_x78_u0_b71 20 78 0 71 add(R,lrg(mod(R,R),P)) 175265 165563369 o2(x,o2(o2(x,x),x)) true 110527 110527 0.3849 0.7215 0.5971 0.3202 0.5659 -0.9986 1 1.999 1 4.348 0.002616 0.002392 0.04956 0.04473 1 -0.00002429 0.0005954 0.01396 0.002553 0.05052 1.019 0.3332 0.01564 0.001859 1 1 0.01016 0.1227 0.326 0.03172 0.3832 1.018 json
t20_x78_u0_b72 20 78 0 72 add(R,lrg(lrg(R,R),P)) 175266 165563370 o2(x,o2(o2(x,x),x)) true 110535 110535 0.3766 0.7191 0.5901 0.3173 0.5633 -0.9986 1 1.999 1 4.383 0.002603 0.002259 0.04938 0.07094 1 -0.00001858 0.0005711 0.01381 0.002424 0.04923 0.997 0.3332 0.01532 0.0018 1 1 0.009709 0.1179 0.315 0.0306 0.3714 0.9927 json
t20_x78_u0_b73 20 78 0 73 add(R,lrg(eql(R,R),P)) 175267 165563371 o2(x,o2(o2(x,x),x)) true 110543 110543 0.4275 0.7534 0.6105 0.3022 0.5498 -0.9986 1 1.999 1 4.253 0.002091 0.002187 0.04567 -0.02245 1 -0.00001858 0.0005433 0.01321 0.002192 0.04681 1.025 0.238 0.01415 0.001798 1 1 0.008383 0.1002 0.2913 0.02774 0.3314 0.9638 json
t20_x78_u0_b74 20 78 0 74 add(R,lrg(min(R,R),P)) 175268 165563372 o2(x,o2(o2(x,x),x)) true 110551 110551 0.3937 0.7233 0.6048 0.324 0.5692 -0.9986 1 1.999 1 4.299 0.002645 0.002519 0.04966 0.02444 1 -0.00002429 0.0006386 0.01415 0.002698 0.05194 1.046 0.3332 0.01594 0.001971 1 1 0.01068 0.1279 0.3464 0.03297 0.3948 1.069 json
t20_x78_u0_b75 20 78 0 75 add(R,lrg(dot(R,R),P)) 175269 165563373 o2(x,o2(o2(x,x),x)) true 110559 110559 0.4554 0.768 0.6284 0.3003 0.548 -0.9986 1 1.999 1 4.145 0.002235 0.00235 0.04587 -0.0252 1 -0.00002429 0.0006801 0.01391 0.002481 0.04981 1.086 0.3029 0.01527 0.002265 1 1 0.009056 0.1054 0.2948 0.03015 0.3509 0.9815 json
t20_x78_u0_b76 20 78 0 76 add(R,lrg(dst(R,R),P)) 175270 165563374 o2(x,o2(o2(x,x),x)) true 110567 110567 0.3766 0.7191 0.5901 0.3173 0.5633 -0.9986 1 1.999 1 4.383 0.002603 0.002259 0.04938 0.07094 1 -0.00001858 0.0005711 0.01381 0.002424 0.04923 0.997 0.3332 0.01532 0.0018 1 1 0.009709 0.1179 0.315 0.0306 0.3714 0.9927 json
t20_x78_u0_b77 20 78 0 77 add(R,eql(add(R,R),P)) 175271 165563375 o2(x,o2(o2(x,x),x)) true 110575 110575 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_x78_u0_b78 20 78 0 78 add(R,eql(sub(R,R),P)) 175272 165563376 o2(x,o2(o2(x,x),x)) true 110583 110583 0.06362 0.5381 0.4117 0.2377 0.4875 -0.9989 1 1.999 1 4.893 0.002859 0.003117 0.06218 -0.04315 1 0.00002651 0.0004132 0.01463 0.00211 0.04593 0.7386 0.2534 0.02514 0.001738 1 1 0.012 0.1511 0.4183 0.05051 0.6358 1.76 json
t20_x78_u0_b79 20 78 0 79 add(R,eql(mlt(R,R),P)) 175273 165563377 o2(x,o2(o2(x,x),x)) true 110591 110591 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_x78_u0_b80 20 78 0 80 add(R,eql(div(R,R),P)) 175274 165563378 o2(x,o2(o2(x,x),x)) true 110599 110599 0.05762 0.5264 0.4228 0.2508 0.5008 -0.9989 1 1.999 1 4.905 0.003573 0.00306 0.06401 0.07736 1 0.00002651 0.0005387 0.01537 0.002536 0.05036 0.7867 0.3135 0.02645 0.002148 1 1 0.01344 0.1678 0.4281 0.0536 0.6692 1.707 json
t20_x78_u0_b81 20 78 0 81 add(R,eql(pow(R,R),P)) 175275 165563379 o2(x,o2(o2(x,x),x)) true 110607 110607 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_x78_u0_b82 20 78 0 82 add(R,eql(mod(R,R),P)) 175276 165563380 o2(x,o2(o2(x,x),x)) true 110615 110615 0.03155 0.5122 0.4004 0.2275 0.477 -0.9989 1 1.999 1 4.883 0.002857 0.00332 0.0635 -0.07491 1 0.00003222 0.0004201 0.01485 0.002145 0.04631 0.7293 0.2892 0.02715 0.001846 1 1 0.01274 0.1612 0.4289 0.05598 0.7085 1.885 json
t20_x78_u0_b83 20 78 0 83 add(R,eql(lrg(R,R),P)) 175277 165563381 o2(x,o2(o2(x,x),x)) true 110623 110623 0.06362 0.5381 0.4117 0.2377 0.4875 -0.9989 1 1.999 1 4.893 0.002859 0.003117 0.06218 -0.04315 1 0.00002651 0.0004132 0.01463 0.00211 0.04593 0.7386 0.2534 0.02514 0.001738 1 1 0.012 0.1511 0.4183 0.05051 0.6358 1.76 json
t20_x78_u0_b84 20 78 0 84 add(R,eql(eql(R,R),P)) 175278 165563382 o2(x,o2(o2(x,x),x)) true 110631 110631 0.05762 0.5264 0.4228 0.2508 0.5008 -0.9989 1 1.999 1 4.905 0.003573 0.00306 0.06401 0.07736 1 0.00002651 0.0005387 0.01537 0.002536 0.05036 0.7867 0.3135 0.02645 0.002148 1 1 0.01344 0.1678 0.4281 0.0536 0.6692 1.707 json
t20_x78_u0_b85 20 78 0 85 add(R,eql(min(R,R),P)) 175279 165563383 o2(x,o2(o2(x,x),x)) true 110639 110639 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_x78_u0_b86 20 78 0 86 add(R,eql(dot(R,R),P)) 175280 165563384 o2(x,o2(o2(x,x),x)) true 110647 110647 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_x78_u0_b87 20 78 0 87 add(R,eql(dst(R,R),P)) 175281 165563385 o2(x,o2(o2(x,x),x)) true 110655 110655 0.06362 0.5381 0.4117 0.2377 0.4875 -0.9989 1 1.999 1 4.893 0.002859 0.003117 0.06218 -0.04315 1 0.00002651 0.0004132 0.01463 0.00211 0.04593 0.7386 0.2534 0.02514 0.001738 1 1 0.012 0.1511 0.4183 0.05051 0.6358 1.76 json
t20_x78_u0_b88 20 78 0 88 add(R,min(add(R,R),P)) 175282 165563386 o2(x,o2(o2(x,x),x)) true 110663 110663 -0.503 0.2398 0.8523 0.5498 0.7415 -1 1 2 1 2.666 0.007786 0.007585 0.05734 0.01308 1 -0.00002312 0.004171 0.02266 0.01209 0.1099 1.917 0.657 0.02796 0.007587 1 1 0.02964 0.2999 0.7153 0.05391 0.5456 1.301 json
t20_x78_u0_b89 20 78 0 89 add(R,min(sub(R,R),P)) 175283 165563387 o2(x,o2(o2(x,x),x)) true 110671 110671 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t20_x78_u0_b90 20 78 0 90 add(R,min(mlt(R,R),P)) 175284 165563388 o2(x,o2(o2(x,x),x)) true 110679 110679 -0.3283 0.3131 0.6619 0.4813 0.6938 -1 1 2 1 3.463 0.002334 0.00166 0.03457 0.1687 1 -0.00003965 0.0005962 0.01011 0.002799 0.0529 1.531 0.2915 0.008298 0.001239 1 1 0.008451 0.1007 0.338 0.01756 0.2093 0.7023 json
t20_x78_u0_b91 20 78 0 91 add(R,min(div(R,R),P)) 175285 165563389 o2(x,o2(o2(x,x),x)) true 110687 110687 -0.08326 0.4974 0.8557 0.7871 0.8872 -1 1 2 1 3.01 0.001649 0.0009801 0.02439 0.2544 1 -0.00004473 0.0005273 0.008746 0.002034 0.0451 1.85 0.312 0.00334 0.00067 1 1 0.00562 0.06323 0.296 0.00714 0.08034 0.376 json
t20_x78_u0_b92 20 78 0 92 add(R,min(pow(R,R),P)) 175286 165563390 o2(x,o2(o2(x,x),x)) true 110695 110695 0.001559 0.4968 0.9409 0.9179 0.9581 -1 1 2 1 2.002 0.00111 0.000367 0.01141 0.503 1 -0.00002107 0.000254 0.003919 0.001346 0.03669 3.215 0.3022 0.001609 0.0002767 1 1 0.003601 0.0427 0.2666 0.003923 0.04652 0.2905 json
t20_x78_u0_b93 20 78 0 93 add(R,min(mod(R,R),P)) 175287 165563391 o2(x,o2(o2(x,x),x)) true 110703 110703 -0.4736 0.247 0.6931 0.376 0.6132 -1 1 2 1 3.634 0.002666 0.002407 0.04192 0.05111 1 -8.885e-7 0.0005926 0.01112 0.003314 0.05757 1.373 0.3715 0.01349 0.001576 1 1 0.01106 0.1345 0.3761 0.02942 0.3577 1 json
t20_x78_u0_b94 20 78 0 94 add(R,min(lrg(R,R),P)) 175288 165563392 o2(x,o2(o2(x,x),x)) true 110711 110711 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t20_x78_u0_b95 20 78 0 95 add(R,min(eql(R,R),P)) 175289 165563393 o2(x,o2(o2(x,x),x)) true 110719 110719 -0.08326 0.4974 0.8557 0.7871 0.8872 -1 1 2 1 3.01 0.001649 0.0009801 0.02439 0.2544 1 -0.00004472 0.0005273 0.008746 0.002034 0.0451 1.85 0.312 0.00334 0.00067 1 1 0.00562 0.06323 0.296 0.00714 0.08034 0.376 json
t20_x78_u0_b96 20 78 0 96 add(R,min(min(R,R),P)) 175290 165563394 o2(x,o2(o2(x,x),x)) true 110727 110727 -0.4858 0.2433 0.7951 0.491 0.7007 -1 1 2 1 3.163 0.005138 0.004837 0.05358 0.03013 1 -0.000006204 0.001663 0.01663 0.007102 0.08428 1.573 0.438 0.02032 0.003387 1 1 0.01984 0.2283 0.5964 0.04042 0.465 1.215 json
t20_x78_u0_b97 20 78 0 97 add(R,min(dot(R,R),P)) 175291 165563395 o2(x,o2(o2(x,x),x)) true 110735 110735 -0.111 0.4879 0.8297 0.7532 0.8679 -1 1 2 1 3.13 0.002023 0.001126 0.02719 0.2846 1 -0.00005109 0.0006935 0.009961 0.002409 0.04909 1.805 0.312 0.004181 0.0009206 1 1 0.006575 0.07275 0.3064 0.008729 0.09658 0.4068 json
t20_x78_u0_b98 20 78 0 98 add(R,min(dst(R,R),P)) 175292 165563396 o2(x,o2(o2(x,x),x)) true 110743 110743 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t20_x78_u0_b99 20 78 0 99 add(R,dot(add(R,R),P)) 175293 165563397 o2(x,o2(o2(x,x),x)) true 110751 110751 -0.09423 0.4559 0.9141 0.8768 0.9364 -1 1 2 1 2.246 0.04157 0.05564 0.1058 -0.1448 1 0.00003263 0.136 0.1169 0.08606 0.2934 2.774 2.828 0.1109 0.1552 1 1 0.1148 0.7025 1.574 0.1309 0.8011 1.795 json
t20_x78_u0_b100 20 78 0 100 add(R,dot(sub(R,R),P)) 175294 165563398 o2(x,o2(o2(x,x),x)) true 110759 110759 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_x78_u0_b101 20 78 0 101 add(R,dot(mlt(R,R),P)) 175295 165563399 o2(x,o2(o2(x,x),x)) true 110767 110767 -0.03526 0.4709 0.8299 0.7732 0.8793 -1 1 2 1 3.091 0.005547 0.006336 0.04702 -0.06638 1 -0.00003469 0.00517 0.02412 0.009667 0.09832 2.091 1.292 0.01537 0.006686 1 1 0.01867 0.1858 0.5559 0.02414 0.2402 0.719 json
t20_x78_u0_b102 20 78 0 102 add(R,dot(div(R,R),P)) 175296 165563400 o2(x,o2(o2(x,x),x)) true 110775 110775 0.004205 0.5012 0.9488 0.9301 0.9644 -1 1 2 1 1.89 0.001187 0.001314 0.01418 -0.05103 1 0.00001132 0.0004658 0.0049 0.002298 0.04794 3.381 0.3433 0.002689 0.0005008 1 1 0.006144 0.0698 0.4439 0.006605 0.07504 0.4773 json
t20_x78_u0_b103 20 78 0 103 add(R,dot(pow(R,R),P)) 175297 165563401 o2(x,o2(o2(x,x),x)) true 110783 110783 -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_x78_u0_b104 20 78 0 104 add(R,dot(mod(R,R),P)) 175298 165563402 o2(x,o2(o2(x,x),x)) true 110791 110791 0.0003016 0.509 0.5591 0.4296 0.6554 -1 1 2 1 4.677 0.008539 0.009521 0.08438 -0.05433 1 0.00004888 0.006485 0.03261 0.01094 0.1046 1.239 1.246 0.04204 0.0151 1 1 0.02731 0.2915 0.7617 0.06356 0.6785 1.773 json
t20_x78_u0_b105 20 78 0 105 add(R,dot(lrg(R,R),P)) 175299 165563403 o2(x,o2(o2(x,x),x)) true 110799 110799 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