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_b106 20 78 0 106 add(R,dot(eql(R,R),P)) 175300 165563404 o2(x,o2(o2(x,x),x)) true 110807 110807 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_b107 20 78 0 107 add(R,dot(min(R,R),P)) 175301 165563405 o2(x,o2(o2(x,x),x)) true 110815 110815 -0.09424 0.4515 0.8434 0.7877 0.8875 -1 1 2 1 2.905 0.02502 0.03254 0.1011 -0.1307 1 0.00005125 0.04614 0.07442 0.04735 0.2176 2.152 1.829 0.07307 0.05858 1 1 0.07397 0.5701 1.385 0.0939 0.7237 1.758 json
t20_x78_u0_b108 20 78 0 108 add(R,dot(dot(R,R),P)) 175302 165563406 o2(x,o2(o2(x,x),x)) true 110823 110823 -0.005031 0.5007 0.9341 0.9107 0.9543 -1 1 2 1 2.064 0.001405 0.001518 0.01656 -0.0385 1 0.000008544 0.0007882 0.006951 0.002649 0.05147 3.109 0.4268 0.00321 0.0008655 1 1 0.007103 0.07442 0.4186 0.007799 0.08171 0.4597 json
t20_x78_u0_b109 20 78 0 109 add(R,dot(dst(R,R),P)) 175303 165563407 o2(x,o2(o2(x,x),x)) true 110831 110831 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_b110 20 78 0 110 add(R,dst(add(R,R),P)) 175304 165563408 o2(x,o2(o2(x,x),x)) true 110839 110839 0.9996 1 0.9996 0.0001145 0.0107 0.5612 1 0.4388 1 0.02362 0.000009561 0.00001542 0.0002236 -0.2345 0 3.004e-11 0.00001955 0.0002073 0.00002491 0.004991 22.32 0.2044 0.2182 0.1708 1 1 0.00007439 0.0003947 0.0004166 0.6499 3.448 3.639 json
t20_x78_u0_b111 20 78 0 111 add(R,dst(sub(R,R),P)) 175305 165563409 o2(x,o2(o2(x,x),x)) true 110847 110847 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t20_x78_u0_b112 20 78 0 112 add(R,dst(mlt(R,R),P)) 175306 165563410 o2(x,o2(o2(x,x),x)) true 110855 110855 0.9987 1 0.9987 0.0005811 0.02411 0.3223 1 0.6777 1 0.04918 0.00002734 0.00002493 0.0004729 0.04602 0 -3.754e-12 0.00002106 0.0003025 0.00005205 0.007215 15.26 0.2131 0.08995 0.03624 1 1 0.0001695 0.001448 0.002119 0.2916 2.492 3.647 json
t20_x78_u0_b113 20 78 0 113 add(R,dst(div(R,R),P)) 175307 165563411 o2(x,o2(o2(x,x),x)) true 110863 110863 0.9997 1 0.9997 0.00004072 0.006381 0.7689 1 0.2311 1 0.02175 0.000004331 0.00000375 0.0001397 0.07195 0 -2.253e-11 0.00000613 0.0001285 0.000008053 0.002838 20.31 0.1018 0.1984 0.1505 1 1 0.00002419 0.0001376 0.000127 0.594 3.378 3.119 json
t20_x78_u0_b114 20 78 0 114 add(R,dst(pow(R,R),P)) 175308 165563412 o2(x,o2(o2(x,x),x)) true 110871 110871 -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_b115 20 78 0 115 add(R,dst(mod(R,R),P)) 175309 165563413 o2(x,o2(o2(x,x),x)) true 110879 110879 0.9972 1 0.9972 0.001097 0.03312 0.2579 1 0.7421 1 0.1117 0.00004055 0.00003197 0.0007498 0.1182 0 7.509e-12 0.0000301 0.000437 0.00007192 0.008481 11.31 0.2025 0.06613 0.02745 1 1 0.0002338 0.002045 0.003939 0.2132 1.864 3.592 json
t20_x78_u0_b116 20 78 0 116 add(R,dst(lrg(R,R),P)) 175310 165563414 o2(x,o2(o2(x,x),x)) true 110887 110887 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t20_x78_u0_b117 20 78 0 117 add(R,dst(eql(R,R),P)) 175311 165563415 o2(x,o2(o2(x,x),x)) true 110895 110895 0.9997 1 0.9997 0.00004072 0.006381 0.7689 1 0.2311 1 0.02175 0.000004331 0.00000375 0.0001397 0.07195 0 -2.253e-11 0.00000613 0.0001285 0.000008053 0.002838 20.31 0.1018 0.1984 0.1505 1 1 0.00002419 0.0001376 0.000127 0.594 3.378 3.119 json
t20_x78_u0_b118 20 78 0 118 add(R,dst(min(R,R),P)) 175312 165563416 o2(x,o2(o2(x,x),x)) true 110903 110903 0.9982 1 0.9982 0.000811 0.02848 0.3239 1 0.6761 1 0.06128 0.00003843 0.00004531 0.0006617 -0.08213 0 -4.318e-11 0.00004064 0.0004341 0.00008332 0.009128 13.8 0.238 0.1033 0.05011 1 1 0.000266 0.002125 0.002956 0.3279 2.62 3.645 json
t20_x78_u0_b119 20 78 0 119 add(R,dst(dot(R,R),P)) 175313 165563417 o2(x,o2(o2(x,x),x)) true 110911 110911 0.9991 1 0.9991 0.0003892 0.01973 0.3648 1 0.6352 1 0.0325 0.00002587 0.00002004 0.0003481 0.127 0 1.314e-11 0.00002465 0.0002477 0.00004583 0.00677 19.45 0.2287 0.1179 0.06334 1 1 0.0001438 0.001095 0.001417 0.3695 2.812 3.641 json
t20_x78_u0_b120 20 78 0 120 add(R,dst(dst(R,R),P)) 175314 165563418 o2(x,o2(o2(x,x),x)) true 110919 110919 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t20_x78_u0_b121 20 78 0 121 sub(R,add(add(R,R),P)) 175315 165563419 o2(x,o2(o2(x,x),x)) true 110927 110927 -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_x78_u0_b122 20 78 0 122 sub(R,add(sub(R,R),P)) 175316 165563420 o2(x,o2(o2(x,x),x)) true 110935 110935 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_b123 20 78 0 123 sub(R,add(mlt(R,R),P)) 175317 165563421 o2(x,o2(o2(x,x),x)) true 110943 110943 -0.04534 0.4821 0.9439 0.9223 0.9604 -1 1 2 1 1.949 0.001146 0.0004965 0.01175 0.3953 1 -0.00001936 0.0002665 0.003867 0.001504 0.03878 3.301 0.3452 0.001781 0.000289 1 1 0.003931 0.04591 0.2759 0.004262 0.04978 0.2992 json
t20_x78_u0_b124 20 78 0 124 sub(R,add(div(R,R),P)) 175318 165563422 o2(x,o2(o2(x,x),x)) true 110951 110951 -0.1242 0.4394 0.9344 0.8965 0.9468 -1 1 2 1 1.995 0.001024 0.0003935 0.0111 0.4448 1 -0.00001213 0.0002633 0.003756 0.001294 0.03597 3.242 0.3332 0.001581 0.0002937 1 1 0.003267 0.0363 0.2529 0.003644 0.04049 0.2821 json
t20_x78_u0_b125 20 78 0 125 sub(R,add(pow(R,R),P)) 175319 165563423 o2(x,o2(o2(x,x),x)) true 110959 110959 -0.9311 0.03389 0.9963 0.1282 0.358 -1 1 2 1 0.2949 0.01461 0.0116 0.01394 0.1149 1 9.386e-11 0.05477 0.02709 0.02603 0.1614 11.57 2.828 0.2045 0.4273 1 1 0.02358 0.09952 0.2388 0.184 0.7764 1.863 json
t20_x78_u0_b126 20 78 0 126 sub(R,add(mod(R,R),P)) 175320 165563424 o2(x,o2(o2(x,x),x)) true 110967 110967 0.01013 0.5027 0.9309 0.9108 0.9544 -1 1 2 1 2.014 0.0008805 0.0002424 0.01023 0.5683 1 -0.00001544 0.0001807 0.003147 0.001018 0.0319 3.119 0.3039 0.001233 0.0001984 1 1 0.002567 0.03086 0.2362 0.002818 0.03388 0.2593 json
t20_x78_u0_b127 20 78 0 127 sub(R,add(lrg(R,R),P)) 175321 165563425 o2(x,o2(o2(x,x),x)) true 110975 110975 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_b128 20 78 0 128 sub(R,add(eql(R,R),P)) 175322 165563426 o2(x,o2(o2(x,x),x)) true 110983 110983 -0.1242 0.4394 0.9344 0.8965 0.9468 -1 1 2 1 1.995 0.001024 0.0003935 0.0111 0.4448 1 -0.00001213 0.0002633 0.003756 0.001294 0.03597 3.242 0.3332 0.001581 0.0002937 1 1 0.003267 0.0363 0.2529 0.003644 0.04049 0.2821 json
t20_x78_u0_b129 20 78 0 129 sub(R,add(min(R,R),P)) 175323 165563427 o2(x,o2(o2(x,x),x)) true 110991 110991 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 4.835e-19 0.007937 1 1 -1.361e-11 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_x78_u0_b130 20 78 0 130 sub(R,add(dot(R,R),P)) 175324 165563428 o2(x,o2(o2(x,x),x)) true 110999 110999 -0.1297 0.4369 0.9297 0.8924 0.9447 -1 1 2 1 1.996 0.001269 0.0006571 0.01325 0.3177 1 -0.000006008 0.0004005 0.004681 0.001751 0.04184 3.157 0.3768 0.002159 0.0004488 1 1 0.00467 0.05163 0.251 0.005233 0.05786 0.2812 json
t20_x78_u0_b131 20 78 0 131 sub(R,add(dst(R,R),P)) 175325 165563429 o2(x,o2(o2(x,x),x)) true 111007 111007 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_b132 20 78 0 132 sub(R,sub(add(R,R),P)) 175326 165563430 o2(x,o2(o2(x,x),x)) true 111015 111015 -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_x78_u0_b133 20 78 0 133 sub(R,sub(sub(R,R),P)) 175327 165563431 o2(x,o2(o2(x,x),x)) true 111023 111023 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_b134 20 78 0 134 sub(R,sub(mlt(R,R),P)) 175328 165563432 o2(x,o2(o2(x,x),x)) true 111031 111031 -0.03906 0.4846 0.9493 0.9296 0.9642 -1 1 2 1 1.877 0.001202 0.0003934 0.01085 0.5069 1 -0.00001982 0.0002592 0.003551 0.001477 0.03843 3.541 0.3052 0.001716 0.0002788 1 1 0.003856 0.04526 0.2761 0.004148 0.04869 0.297 json
t20_x78_u0_b135 20 78 0 135 sub(R,sub(div(R,R),P)) 175329 165563433 o2(x,o2(o2(x,x),x)) true 111039 111039 -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_x78_u0_b136 20 78 0 136 sub(R,sub(pow(R,R),P)) 175330 165563434 o2(x,o2(o2(x,x),x)) true 111047 111047 -0.9856 0.006546 0.9966 0.02414 0.1554 -1 1 2 1 0.1249 0.002011 0.002896 0.003203 -0.1804 1 -1.502e-10 0.01023 0.00557 0.004896 0.06997 21.84 2.804 0.2033 0.4237 1 1 0.0005419 0.00371 0.02122 0.02245 0.1537 0.8789 json
t20_x78_u0_b137 20 78 0 137 sub(R,sub(mod(R,R),P)) 175331 165563435 o2(x,o2(o2(x,x),x)) true 111055 111055 0.008933 0.5032 0.9431 0.9264 0.9625 -1 1 2 1 1.872 0.0009667 0.0001653 0.009477 0.7079 1 -0.000009312 0.0001785 0.002936 0.001043 0.03229 3.408 0.312 0.001222 0.0001926 1 1 0.002546 0.03051 0.25 0.002748 0.03294 0.2699 json
t20_x78_u0_b138 20 78 0 138 sub(R,sub(lrg(R,R),P)) 175332 165563436 o2(x,o2(o2(x,x),x)) true 111063 111063 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_b139 20 78 0 139 sub(R,sub(eql(R,R),P)) 175333 165563437 o2(x,o2(o2(x,x),x)) true 111071 111071 -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_x78_u0_b140 20 78 0 140 sub(R,sub(min(R,R),P)) 175334 165563438 o2(x,o2(o2(x,x),x)) true 111079 111079 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 1.45e-18 0.007937 1 1 -6.805e-11 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_x78_u0_b141 20 78 0 141 sub(R,sub(dot(R,R),P)) 175335 165563439 o2(x,o2(o2(x,x),x)) true 111087 111087 -0.1173 0.4418 0.9404 0.9067 0.9522 -1 1 2 1 1.947 0.001244 0.0005228 0.01218 0.4081 1 -0.00001285 0.0003169 0.004107 0.001617 0.04022 3.301 0.356 0.001948 0.0003494 1 1 0.004287 0.04938 0.2726 0.004728 0.05446 0.3007 json
t20_x78_u0_b142 20 78 0 142 sub(R,sub(dst(R,R),P)) 175336 165563440 o2(x,o2(o2(x,x),x)) true 111095 111095 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_b143 20 78 0 143 sub(R,mlt(add(R,R),P)) 175337 165563441 o2(x,o2(o2(x,x),x)) true 111103 111103 0.06208 0.5291 0.8469 0.791 0.8894 -1 1 2 1 2.973 0.03059 0.03656 0.1003 -0.08898 1 0.0000429 0.0731 0.08344 0.05706 0.2389 2.382 2.133 0.08488 0.09241 1 1 0.08775 0.6089 1.381 0.1109 0.7697 1.746 json
t20_x78_u0_b144 20 78 0 144 sub(R,mlt(sub(R,R),P)) 175338 165563442 o2(x,o2(o2(x,x),x)) true 111111 111111 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_b145 20 78 0 145 sub(R,mlt(mlt(R,R),P)) 175339 165563443 o2(x,o2(o2(x,x),x)) true 111119 111119 -0.009192 0.491 0.6883 0.6047 0.7776 -1 1 2 1 3.937 0.002775 0.003416 0.04494 -0.1035 1 -0.00009073 0.002056 0.01942 0.004171 0.06459 1.437 0.4784 0.01024 0.0034 1 1 0.01082 0.1107 0.3384 0.01789 0.1831 0.5596 json
t20_x78_u0_b146 20 78 0 146 sub(R,mlt(div(R,R),P)) 175340 165563444 o2(x,o2(o2(x,x),x)) true 111127 111127 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_b147 20 78 0 147 sub(R,mlt(pow(R,R),P)) 175341 165563445 o2(x,o2(o2(x,x),x)) true 111135 111135 -0.9257 0.03815 0.9963 0.1385 0.3721 -1 1 2 1 0.2834 0.01511 0.01305 0.01468 0.07337 1 3.116e-10 0.05885 0.02906 0.02796 0.1672 11.39 2.828 0.2033 0.425 1 1 0.02485 0.1053 0.2514 0.1795 0.7605 1.815 json
t20_x78_u0_b148 20 78 0 148 sub(R,mlt(mod(R,R),P)) 175342 165563446 o2(x,o2(o2(x,x),x)) true 111143 111143 -0.02629 0.4731 0.4812 0.3254 0.5704 -1 1 2 1 4.919 0.004748 0.00525 0.06968 -0.05016 1 0.00003314 0.002115 0.02085 0.005143 0.07171 1.029 0.8872 0.03073 0.006501 1 1 0.01807 0.2031 0.6248 0.05554 0.6243 1.92 json
t20_x78_u0_b149 20 78 0 149 sub(R,mlt(lrg(R,R),P)) 175343 165563447 o2(x,o2(o2(x,x),x)) true 111151 111151 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_b150 20 78 0 150 sub(R,mlt(eql(R,R),P)) 175344 165563448 o2(x,o2(o2(x,x),x)) true 111159 111159 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_b151 20 78 0 151 sub(R,mlt(min(R,R),P)) 175345 165563449 o2(x,o2(o2(x,x),x)) true 111167 111167 0.06055 0.5366 0.7257 0.6462 0.8039 -1 1 2 1 3.745 0.01647 0.02001 0.09057 -0.09684 1 0.00004313 0.02122 0.04957 0.02827 0.1681 1.856 1.468 0.05645 0.03283 1 1 0.05108 0.4367 1.061 0.07904 0.6757 1.641 json
t20_x78_u0_b152 20 78 0 152 sub(R,mlt(dot(R,R),P)) 175346 165563450 o2(x,o2(o2(x,x),x)) true 111175 111175 -0.00478 0.4958 0.9248 0.8974 0.9473 -1 1 2 1 2.175 0.001333 0.000833 0.0147 0.2309 1 -0.00001708 0.0006332 0.006269 0.00195 0.04415 3.005 0.4838 0.002414 0.0007056 1 1 0.004847 0.05141 0.2676 0.005402 0.05729 0.2982 json
t20_x78_u0_b153 20 78 0 153 sub(R,mlt(dst(R,R),P)) 175347 165563451 o2(x,o2(o2(x,x),x)) true 111183 111183 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_b154 20 78 0 154 sub(R,div(add(R,R),P)) 175348 165563452 o2(x,o2(o2(x,x),x)) true 111191 111191 -0.1215 0.418 0.4697 0.3381 0.5814 -1 1 2 1 4.514 0.01434 0.003887 0.0582 0.5735 1 0.00006931 0.02412 0.02852 0.01484 0.1218 2.093 2.041 0.05391 0.07135 1 1 0.02795 0.2093 0.5682 0.08266 0.6189 1.681 json
t20_x78_u0_b155 20 78 0 155 sub(R,div(sub(R,R),P)) 175349 165563453 o2(x,o2(o2(x,x),x)) true 111199 111199 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_b156 20 78 0 156 sub(R,div(mlt(R,R),P)) 175350 165563454 o2(x,o2(o2(x,x),x)) true 111207 111207 -0.1202 0.426 0.4683 0.3113 0.558 -1 1 2 1 4.692 0.01467 0.002856 0.06247 0.6742 1 0.00004688 0.02516 0.03077 0.01363 0.1167 1.868 2.01 0.0563 0.0808 1 1 0.02464 0.1802 0.501 0.07915 0.5787 1.609 json
t20_x78_u0_b157 20 78 0 157 sub(R,div(div(R,R),P)) 175351 165563455 o2(x,o2(o2(x,x),x)) true 111215 111215 -0.1254 0.4404 0.5405 0.3884 0.6232 -1 1 2 1 4.686 0.01727 0.002613 0.06005 0.7372 1 0.0000568 0.03045 0.03027 0.01628 0.1276 2.125 2.006 0.05121 0.0784 1 1 0.02889 0.1892 0.5272 0.07439 0.4873 1.358 json
t20_x78_u0_b158 20 78 0 158 sub(R,div(pow(R,R),P)) 175352 165563456 o2(x,o2(o2(x,x),x)) true 111223 111223 -0.9399 0.03516 0.9897 0.1011 0.3179 -1 1 2 1 0.3361 0.0109 0.009071 0.01227 0.09172 1 0.000006803 0.04169 0.0232 0.01981 0.1407 11.47 2.828 0.1976 0.4124 1 1 0.02011 0.08348 0.2048 0.199 0.8259 2.026 json
t20_x78_u0_b159 20 78 0 159 sub(R,div(mod(R,R),P)) 175353 165563457 o2(x,o2(o2(x,x),x)) true 111231 111231 -0.124 0.4279 0.4683 0.3049 0.5522 -1 1 2 1 4.758 0.01647 0.002791 0.06358 0.7102 1 0.00005072 0.02877 0.032 0.01521 0.1233 1.94 2.005 0.06316 0.09433 1 1 0.0267 0.1845 0.5213 0.08755 0.605 1.71 json
t20_x78_u0_b160 20 78 0 160 sub(R,div(lrg(R,R),P)) 175354 165563458 o2(x,o2(o2(x,x),x)) true 111239 111239 -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_b161 20 78 0 161 sub(R,div(eql(R,R),P)) 175355 165563459 o2(x,o2(o2(x,x),x)) true 111247 111247 -0.1254 0.4404 0.5405 0.3884 0.6232 -1 1 2 1 4.686 0.01727 0.002613 0.06005 0.7372 1 0.0000568 0.03045 0.03027 0.01628 0.1276 2.125 2.006 0.05121 0.0784 1 1 0.02889 0.1892 0.5272 0.07439 0.4873 1.358 json
t20_x78_u0_b162 20 78 0 162 sub(R,div(min(R,R),P)) 175356 165563460 o2(x,o2(o2(x,x),x)) true 111255 111255 -0.1201 0.4218 0.4632 0.3159 0.5621 -1 1 2 1 4.644 0.01431 0.003158 0.06018 0.6384 1 0.00006321 0.02443 0.02987 0.01384 0.1177 1.955 2.017 0.05529 0.07734 1 1 0.02543 0.1874 0.5306 0.0805 0.5934 1.68 json
t20_x78_u0_b163 20 78 0 163 sub(R,div(dot(R,R),P)) 175357 165563461 o2(x,o2(o2(x,x),x)) true 111263 111263 -0.1306 0.4254 0.5233 0.376 0.6132 -1 1 2 1 4.63 0.01618 0.002668 0.05832 0.7169 1 0.00004431 0.02846 0.02965 0.01545 0.1243 2.131 2.009 0.05013 0.07569 1 1 0.02656 0.175 0.4971 0.07064 0.4655 1.322 json
t20_x78_u0_b164 20 78 0 164 sub(R,div(dst(R,R),P)) 175358 165563462 o2(x,o2(o2(x,x),x)) true 111271 111271 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_b165 20 78 0 165 sub(R,pow(add(R,R),P)) 175359 165563463 o2(x,o2(o2(x,x),x)) true 111279 111279 -0.9769 0.008545 0.9823 0.02167 0.1472 -1 0.9193 1.919 1 0.3743 0.002822 0.00362 0.008546 -0.1238 1 0.00004099 0.01449 0.01176 0.006369 0.07981 9.339 1.919 0.2973 0.6686 1 1 0.006264 0.02764 0.04843 0.2891 1.276 2.235 json
t20_x78_u0_b166 20 78 0 166 sub(R,pow(sub(R,R),P)) 175360 165563464 o2(x,o2(o2(x,x),x)) true 111287 111287 -0.5327 0.2153 0.7027 0.3345 0.5784 -1 0.9806 1.981 1 3.318 0.00235 0.001445 0.03358 0.2383 1 0.000004225 0.001133 0.009449 0.002669 0.05166 1.539 0.8294 0.01135 0.003388 1 1 0.007298 0.08688 0.2666 0.02182 0.2597 0.7969 json
t20_x78_u0_b167 20 78 0 167 sub(R,pow(mlt(R,R),P)) 175361 165563465 o2(x,o2(o2(x,x),x)) true 111295 111295 -0.5849 0.1872 0.6927 0.2715 0.521 -1 0.7619 1.762 1 3.131 0.001794 0.001523 0.03136 0.08163 1 0.00001338 0.001069 0.009844 0.002334 0.04831 1.54 0.9073 0.01222 0.003937 1 1 0.006206 0.0707 0.214 0.02286 0.2604 0.7885 json
t20_x78_u0_b168 20 78 0 168 sub(R,pow(div(R,R),P)) 175362 165563466 o2(x,o2(o2(x,x),x)) true 111303 111303 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x78_u0_b169 20 78 0 169 sub(R,pow(pow(R,R),P)) 175363 165563467 o2(x,o2(o2(x,x),x)) true 111311 111311 -0.9806 0.003906 0.9835 0.01579 0.1257 -1 0.5719 1.572 1 0.3443 0.001791 0.001749 0.005996 0.01163 1 0.000002538 0.007084 0.008601 0.003502 0.05918 9.871 1.564 0.2241 0.4485 1 1 0.002317 0.01063 0.02313 0.1467 0.6728 1.465 json
t20_x78_u0_b170 20 78 0 170 sub(R,pow(mod(R,R),P)) 175364 165563468 o2(x,o2(o2(x,x),x)) true 111319 111319 -0.6573 0.1569 0.7766 0.2835 0.5324 -1 0.943 1.943 1 2.648 0.009401 0.008886 0.03656 0.02816 1 -0.000003741 0.03331 0.03212 0.01695 0.1302 3.561 2.723 0.06451 0.1175 1 1 0.01708 0.1048 0.3435 0.06025 0.3697 1.212 json
t20_x78_u0_b171 20 78 0 171 sub(R,pow(lrg(R,R),P)) 175365 165563469 o2(x,o2(o2(x,x),x)) true 111327 111327 -0.5327 0.2153 0.7027 0.3345 0.5784 -1 0.9806 1.981 1 3.318 0.00235 0.001445 0.03358 0.2383 1 0.000004225 0.001133 0.009449 0.002669 0.05166 1.539 0.8294 0.01135 0.003388 1 1 0.007298 0.08688 0.2666 0.02182 0.2597 0.7969 json
t20_x78_u0_b172 20 78 0 172 sub(R,pow(eql(R,R),P)) 175366 165563470 o2(x,o2(o2(x,x),x)) true 111335 111335 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x78_u0_b173 20 78 0 173 sub(R,pow(min(R,R),P)) 175367 165563471 o2(x,o2(o2(x,x),x)) true 111343 111343 -0.982 0.003906 0.9855 0.01675 0.1294 -1 0.6499 1.65 1 0.2671 0.002048 0.001756 0.005522 0.07678 1 8.589e-7 0.007634 0.008191 0.003773 0.06142 11.12 1.642 0.2271 0.4558 1 1 0.002654 0.01157 0.02388 0.1585 0.6908 1.426 json
t20_x78_u0_b174 20 78 0 174 sub(R,pow(dot(R,R),P)) 175368 165563472 o2(x,o2(o2(x,x),x)) true 111351 111351 -0.8068 0.05432 0.8359 0.1306 0.3614 -1 0.8923 1.892 1 2.268 0.00431 0.008032 0.04141 -0.3015 1 0.0001587 0.0129 0.02884 0.01062 0.1031 2.489 1.734 0.0945 0.09876 1 1 0.01571 0.1158 0.2362 0.1203 0.8864 1.808 json
t20_x78_u0_b175 20 78 0 175 sub(R,pow(dst(R,R),P)) 175369 165563473 o2(x,o2(o2(x,x),x)) true 111359 111359 -0.5327 0.2153 0.7027 0.3345 0.5784 -1 0.9806 1.981 1 3.318 0.00235 0.001445 0.03358 0.2383 1 0.000004225 0.001133 0.009449 0.002669 0.05166 1.539 0.8294 0.01135 0.003388 1 1 0.007298 0.08688 0.2666 0.02182 0.2597 0.7969 json
t20_x78_u0_b176 20 78 0 176 sub(R,mod(add(R,R),P)) 175370 165563474 o2(x,o2(o2(x,x),x)) true 111367 111367 -0.1163 0.4575 0.4546 0.2916 0.54 -1 0.9988 1.999 1 4.747 0.01095 0.002624 0.06043 0.6134 1 -0.00007106 0.01792 0.02824 0.009923 0.09961 1.648 1.458 0.04654 0.06144 1 1 0.0205 0.1635 0.4917 0.07028 0.5608 1.686 json
t20_x78_u0_b177 20 78 0 177 sub(R,mod(sub(R,R),P)) 175371 165563475 o2(x,o2(o2(x,x),x)) true 111375 111375 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_b178 20 78 0 178 sub(R,mod(mlt(R,R),P)) 175372 165563476 o2(x,o2(o2(x,x),x)) true 111383 111383 -0.3768 0.2973 0.4537 0.2028 0.4504 -1 0.2497 1.25 1 3.855 0.008996 0.002455 0.05145 0.5712 1 0.00006827 0.01468 0.02612 0.008804 0.09383 1.824 1.25 0.05646 0.07238 1 1 0.0171 0.1237 0.3203 0.08429 0.6097 1.579 json
t20_x78_u0_b179 20 78 0 179 sub(R,mod(div(R,R),P)) 175373 165563477 o2(x,o2(o2(x,x),x)) true 111391 111391 -0.794 0.01787 0.8087 0.09906 0.3147 -1 0.9426 1.943 1 2.676 0.01091 0.001634 0.0397 0.7395 1 0.00008026 0.019 0.02568 0.01097 0.1048 2.639 1.943 0.1267 0.1918 1 1 0.01729 0.1027 0.1795 0.1746 1.037 1.812 json
t20_x78_u0_b180 20 78 0 180 sub(R,mod(pow(R,R),P)) 175374 165563478 o2(x,o2(o2(x,x),x)) true 111399 111399 -0.9729 0 0.9729 0.02114 0.1454 -1 -0.003246 0.9968 1 0.3304 0.002211 0.001991 0.005919 0.05233 1 0.000005503 0.008741 0.01053 0.004164 0.06453 10.9 1.103 0.1988 0.4136 1 1 0.004049 0.01664 0.04002 0.1916 0.7874 1.893 json
t20_x78_u0_b181 20 78 0 181 sub(R,mod(mod(R,R),P)) 175375 165563479 o2(x,o2(o2(x,x),x)) true 111407 111407 -0.1098 0.4289 0.4266 0.2771 0.5264 -1 0.9809 1.981 1 4.683 0.0138 0.002255 0.05847 0.719 1 0.00005073 0.02391 0.02942 0.01263 0.1124 1.922 1.943 0.05793 0.08627 1 1 0.02234 0.1538 0.4438 0.08062 0.5549 1.602 json
t20_x78_u0_b182 20 78 0 182 sub(R,mod(lrg(R,R),P)) 175376 165563480 o2(x,o2(o2(x,x),x)) true 111415 111415 -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_b183 20 78 0 183 sub(R,mod(eql(R,R),P)) 175377 165563481 o2(x,o2(o2(x,x),x)) true 111423 111423 -0.7758 0.03091 0.8015 0.1191 0.3451 -1 0.9429 1.943 1 2.78 0.01575 0.00153 0.04375 0.8229 1 0.00007606 0.02801 0.0309 0.01537 0.124 2.833 1.943 0.1452 0.2353 1 1 0.02352 0.1253 0.2093 0.1975 1.053 1.758 json
t20_x78_u0_b184 20 78 0 184 sub(R,mod(min(R,R),P)) 175378 165563482 o2(x,o2(o2(x,x),x)) true 111431 111431 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t20_x78_u0_b185 20 78 0 185 sub(R,mod(dot(R,R),P)) 175379 165563483 o2(x,o2(o2(x,x),x)) true 111439 111439 -0.7655 0.02634 0.7758 0.1014 0.3184 -1 0.898 1.898 1 2.945 0.007889 0.001788 0.03949 0.6305 1 0.00008821 0.01361 0.02419 0.008116 0.09009 2.281 1.898 0.09547 0.1343 1 1 0.0144 0.08821 0.1677 0.142 0.8703 1.655 json
t20_x78_u0_b186 20 78 0 186 sub(R,mod(dst(R,R),P)) 175380 165563484 o2(x,o2(o2(x,x),x)) true 111447 111447 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_b187 20 78 0 187 sub(R,lrg(add(R,R),P)) 175381 165563485 o2(x,o2(o2(x,x),x)) true 111455 111455 -0.4263 0.1885 0.5657 0.2426 0.4926 -1 0.9806 1.981 1 4.374 0.001862 0.002066 0.04573 -0.05192 1 0.00005538 0.0004561 0.01253 0.001838 0.04287 0.9376 0.223 0.01619 0.00188 1 1 0.007512 0.08986 0.2546 0.03096 0.3704 1.049 json
t20_x78_u0_b188 20 78 0 188 sub(R,lrg(sub(R,R),P)) 175382 165563486 o2(x,o2(o2(x,x),x)) true 111463 111463 -0.3773 0.2459 0.5711 0.2908 0.5393 -1 0.9806 1.981 1 4.437 0.002372 0.002439 0.05092 -0.01401 1 0.00004288 0.0005327 0.01383 0.002219 0.0471 0.9252 0.2534 0.01654 0.001832 1 1 0.009737 0.118 0.3367 0.03348 0.4056 1.158 json
t20_x78_u0_b189 20 78 0 189 sub(R,lrg(mlt(R,R),P)) 175383 165563487 o2(x,o2(o2(x,x),x)) true 111471 111471 -0.4239 0.2153 0.5938 0.2826 0.5316 -1 0.9806 1.981 1 4.3 0.002585 0.002339 0.04962 0.04989 1 0.00004932 0.0006236 0.01401 0.002462 0.04962 0.9999 0.312 0.01742 0.002206 1 1 0.009681 0.1139 0.305 0.03426 0.4032 1.079 json
t20_x78_u0_b190 20 78 0 190 sub(R,lrg(div(R,R),P)) 175384 165563488 o2(x,o2(o2(x,x),x)) true 111479 111479 -0.4239 0.2153 0.5938 0.2826 0.5316 -1 0.9806 1.981 1 4.3 0.002585 0.002339 0.04962 0.04989 1 0.00004932 0.0006236 0.01401 0.002462 0.04962 0.9999 0.312 0.01742 0.002206 1 1 0.009681 0.1139 0.305 0.03426 0.4032 1.079 json
t20_x78_u0_b191 20 78 0 191 sub(R,lrg(pow(R,R),P)) 175385 165563489 o2(x,o2(o2(x,x),x)) true 111487 111487 -0.6037 0.1471 0.7313 0.2667 0.5165 -1 0.9804 1.98 1 3.523 0.004463 0.004722 0.0595 -0.02824 1 0.0001076 0.00153 0.01948 0.005643 0.07512 1.262 0.3359 0.03443 0.005738 1 1 0.01766 0.1993 0.4619 0.06621 0.7472 1.732 json
t20_x78_u0_b192 20 78 0 192 sub(R,lrg(mod(R,R),P)) 175386 165563490 o2(x,o2(o2(x,x),x)) true 111495 111495 -0.389 0.2342 0.5752 0.285 0.5339 -1 0.9806 1.981 1 4.423 0.002311 0.002406 0.05019 -0.02023 1 0.00004808 0.000527 0.01371 0.002198 0.04688 0.9341 0.2534 0.01655 0.001849 1 1 0.00928 0.1121 0.3321 0.03255 0.3933 1.165 json
t20_x78_u0_b193 20 78 0 193 sub(R,lrg(lrg(R,R),P)) 175387 165563491 o2(x,o2(o2(x,x),x)) true 111503 111503 -0.3773 0.2459 0.5711 0.2908 0.5393 -1 0.9806 1.981 1 4.437 0.002372 0.002439 0.05092 -0.01401 1 0.00004288 0.0005327 0.01383 0.002219 0.0471 0.9252 0.2534 0.01654 0.001832 1 1 0.009737 0.118 0.3367 0.03348 0.4056 1.158 json
t20_x78_u0_b194 20 78 0 194 sub(R,lrg(eql(R,R),P)) 175388 165563492 o2(x,o2(o2(x,x),x)) true 111511 111511 -0.4239 0.2153 0.5938 0.2826 0.5316 -1 0.9806 1.981 1 4.3 0.002585 0.002339 0.04962 0.04989 1 0.00004932 0.0006236 0.01401 0.002462 0.04962 0.9999 0.312 0.01742 0.002206 1 1 0.009681 0.1139 0.305 0.03426 0.4032 1.079 json
t20_x78_u0_b195 20 78 0 195 sub(R,lrg(min(R,R),P)) 175389 165563493 o2(x,o2(o2(x,x),x)) true 111519 111519 -0.4044 0.2183 0.5766 0.2742 0.5236 -1 0.9806 1.981 1 4.4 0.00222 0.002293 0.04913 -0.01601 1 0.00004808 0.000506 0.01343 0.002099 0.04581 0.9325 0.223 0.01646 0.001845 1 1 0.008635 0.104 0.2902 0.03149 0.3794 1.058 json
t20_x78_u0_b196 20 78 0 196 sub(R,lrg(dot(R,R),P)) 175390 165563494 o2(x,o2(o2(x,x),x)) true 111527 111527 -0.4601 0.1861 0.5976 0.2573 0.5072 -1 0.9806 1.981 1 4.212 0.002167 0.002178 0.04663 -0.00247 1 0.00006189 0.0005857 0.01343 0.00217 0.04659 0.9991 0.2856 0.01689 0.002277 1 1 0.008426 0.098 0.2901 0.03275 0.3809 1.128 json
t20_x78_u0_b197 20 78 0 197 sub(R,lrg(dst(R,R),P)) 175391 165563495 o2(x,o2(o2(x,x),x)) true 111535 111535 -0.3773 0.2459 0.5711 0.2908 0.5393 -1 0.9806 1.981 1 4.437 0.002372 0.002439 0.05092 -0.01401 1 0.00004288 0.0005327 0.01383 0.002219 0.0471 0.9252 0.2534 0.01654 0.001832 1 1 0.009737 0.118 0.3367 0.03348 0.4056 1.158 json
t20_x78_u0_b198 20 78 0 198 sub(R,eql(add(R,R),P)) 175392 165563496 o2(x,o2(o2(x,x),x)) true 111543 111543 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_b199 20 78 0 199 sub(R,eql(sub(R,R),P)) 175393 165563497 o2(x,o2(o2(x,x),x)) true 111551 111551 -0.04116 0.4621 0.4134 0.2429 0.4929 -1 0.9806 1.981 1 4.887 0.003595 0.003089 0.0647 0.07576 1 0.00003624 0.0005259 0.01542 0.002498 0.04998 0.7724 0.3332 0.02751 0.002165 1 1 0.0133 0.1656 0.4074 0.05476 0.6817 1.677 json
t20_x78_u0_b200 20 78 0 200 sub(R,eql(mlt(R,R),P)) 175394 165563498 o2(x,o2(o2(x,x),x)) true 111559 111559 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_x79_u0_b0 20 79 0 0 add(R,add(add(R,R),D)) 175395 165603699 o2(x,o2(o2(x,x),x)) true 111567 111567 0.006773 0.4982 0.7712 0.6946 0.8334 -1 1 2 1 3.665 0.01468 0.01568 0.1027 -0.03272 1 0.00001169 0.009098 0.04238 0.01982 0.1408 1.371 0.7447 0.04371 0.0131 1 1 0.05818 0.5559 1.242 0.08376 0.8004 1.788 json
t20_x79_u0_b1 20 79 0 1 add(R,add(sub(R,R),D)) 175396 165603700 o2(x,o2(o2(x,x),x)) true 111575 111575 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x79_u0_b2 20 79 0 2 add(R,add(mlt(R,R),D)) 175397 165603701 o2(x,o2(o2(x,x),x)) true 111583 111583 0.3057 0.6618 0.415 0.1992 0.4463 -0.3906 1 1.391 1 4.199 0.00441 0.003225 0.0678 0.1552 1 -0.00003479 0.001289 0.02104 0.003038 0.05512 0.813 0.3062 0.03833 0.006468 1 1 0.01523 0.164 0.3792 0.07648 0.8231 1.904 json
t20_x79_u0_b3 20 79 0 3 add(R,add(div(R,R),D)) 175398 165603702 o2(x,o2(o2(x,x),x)) true 111591 111591 0.8037 0.9934 0.8041 0.07377 0.2716 -0.1152 1 1.115 1 2.737 0.002067 0.001466 0.03716 0.17 1 -0.00002939 0.000931 0.01535 0.002152 0.04639 1.249 0.2737 0.0479 0.01262 1 1 0.006608 0.06117 0.1158 0.08958 0.8292 1.57 json
t20_x79_u0_b4 20 79 0 4 add(R,add(pow(R,R),D)) 175399 165603703 o2(x,o2(o2(x,x),x)) true 111599 111599 -0.9144 0.04297 0.9997 0.1632 0.404 -1 1 2 1 0.2722 0.01676 0.01624 0.01663 0.01582 1 -8.508e-8 0.06902 0.03327 0.03271 0.1809 10.88 2.828 0.2021 0.4228 1 1 0.02534 0.1092 0.2745 0.1552 0.6689 1.681 json