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_x3_u0_b181 20 3 0 181 sub(P,mod(mod(P,D),P)) 160300 162533404 o2(x,o2(o2(x,x),x)) true 162407 162407 -0.125 0.4375 0.9979 0.9803 0.9901 -1 1 2 1 1.105 0.01593 0 0.009376 1 1 0 0.03277 0.01836 0.01583 0.1258 13.42 2 0.01625 0.03342 1 1 0.02054 0.08156 0.3342 0.02095 0.0832 0.3409 json
t20_x3_u0_b182 20 3 0 182 sub(P,mod(lrg(P,D),P)) 160301 162533405 o2(x,o2(o2(x,x),x)) true 162415 162415 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x3_u0_b183 20 3 0 183 sub(P,mod(eql(P,D),P)) 160302 162533406 o2(x,o2(o2(x,x),x)) true 162423 162423 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x3_u0_b184 20 3 0 184 sub(P,mod(min(P,D),P)) 160303 162533407 o2(x,o2(o2(x,x),x)) true 162431 162431 0.0007595 0.4375 0.872 0.8603 0.9275 -1 1 2 1 1.961 0.01936 0 0.02433 1 1 2.365e-9 0.03348 0.027 0.01878 0.137 5.632 1.969 0.0225 0.03892 1 1 0.02622 0.1188 0.3815 0.03048 0.1381 0.4435 json
t20_x3_u0_b185 20 3 0 185 sub(P,mod(dot(P,D),P)) 160304 162533408 o2(x,o2(o2(x,x),x)) true 162439 162439 -0.1235 0.4375 0.9933 0.9741 0.9869 -1 1 2 1 1.219 0.01494 0.002338 0.01617 0.7294 1 9.427e-7 0.03979 0.02971 0.01701 0.1304 8.066 2 0.01774 0.04085 1 1 0.0212 0.0839 0.3354 0.02177 0.08614 0.3444 json
t20_x3_u0_b186 20 3 0 186 sub(P,mod(dst(P,D),P)) 160305 162533409 o2(x,o2(o2(x,x),x)) true 162447 162447 -0.1588 0.4375 0.9662 0.9263 0.9625 -1 1 2 1 1.576 0.0134 0.00329 0.02282 0.6057 1 0.00002987 0.03963 0.03314 0.01618 0.1272 5.575 1.992 0.01802 0.04278 1 1 0.02098 0.08075 0.3001 0.02265 0.08718 0.324 json
t20_x3_u0_b187 20 3 0 187 sub(P,lrg(add(P,D),P)) 160306 162533410 o2(x,o2(o2(x,x),x)) true 162455 162455 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x3_u0_b188 20 3 0 188 sub(P,lrg(sub(P,D),P)) 160307 162533411 o2(x,o2(o2(x,x),x)) true 162463 162463 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0.01053 0.04211 0.2526 0.01128 0.0451 0.2706 json
t20_x3_u0_b189 20 3 0 189 sub(P,lrg(mlt(P,D),P)) 160308 162533412 o2(x,o2(o2(x,x),x)) true 162471 162471 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x3_u0_b190 20 3 0 190 sub(P,lrg(div(P,D),P)) 160309 162533413 o2(x,o2(o2(x,x),x)) true 162479 162479 -0.02152 0.5 0.916 0.8979 0.9476 -1 1 2 1 1.997 0.005319 0 0.01587 1 1 0 0.008252 0.01158 0.005063 0.07116 4.485 0.9991 0.005924 0.00919 1 1 0.008637 0.04222 0.2029 0.009619 0.04702 0.2259 json
t20_x3_u0_b191 20 3 0 191 sub(P,lrg(pow(P,D),P)) 160310 162533414 o2(x,o2(o2(x,x),x)) true 162487 162487 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t20_x3_u0_b192 20 3 0 192 sub(P,lrg(mod(P,D),P)) 160311 162533415 o2(x,o2(o2(x,x),x)) true 162495 162495 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x3_u0_b193 20 3 0 193 sub(P,lrg(lrg(P,D),P)) 160312 162533416 o2(x,o2(o2(x,x),x)) true 162503 162503 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t20_x3_u0_b194 20 3 0 194 sub(P,lrg(eql(P,D),P)) 160313 162533417 o2(x,o2(o2(x,x),x)) true 162511 162511 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x3_u0_b195 20 3 0 195 sub(P,lrg(min(P,D),P)) 160314 162533418 o2(x,o2(o2(x,x),x)) true 162519 162519 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_x3_u0_b196 20 3 0 196 sub(P,lrg(dot(P,D),P)) 160315 162533419 o2(x,o2(o2(x,x),x)) true 162527 162527 -0.04015 0.4782 0.951 0.9351 0.967 -1 1 2 1 1.776 0.001357 0.004276 0.0162 -0.5182 1 0.00002002 0.01048 0.01494 0.005372 0.07329 4.523 1.331 0.006025 0.01121 1 1 0.008492 0.05088 0.2602 0.009082 0.05441 0.2783 json
t20_x3_u0_b197 20 3 0 197 sub(P,lrg(dst(P,D),P)) 160316 162533420 o2(x,o2(o2(x,x),x)) true 162535 162535 -0.1225 0.4375 0.94 0.9119 0.9549 -1 1 2 1 1.789 0.000965 0.0001584 0.008301 0.718 1 1.091e-11 0.001419 0.003129 0.001054 0.03247 3.912 1.265 0.001232 0.001556 1 1 0.002558 0.027 0.2416 0.002805 0.0296 0.265 json
t20_x3_u0_b198 20 3 0 198 sub(P,eql(add(P,D),P)) 160317 162533421 o2(x,o2(o2(x,x),x)) true 162543 162543 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_x3_u0_b199 20 3 0 199 sub(P,eql(sub(P,D),P)) 160318 162533422 o2(x,o2(o2(x,x),x)) true 162551 162551 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_x3_u0_b200 20 3 0 200 sub(P,eql(mlt(P,D),P)) 160319 162533423 o2(x,o2(o2(x,x),x)) true 162559 162559 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x4_u0_b0 20 4 0 0 add(P,add(add(P,D),D)) 160320 162573624 o2(x,o2(o2(x,x),x)) true 162567 162567 0 0.5 0.9688 0.9583 0.9789 -1 1 2 1 1.492 0.0009611 0 0.007937 1 1 0 0.000062 0.0009921 0.0008988 0.02998 3.777 0.125 0.001003 0.00006471 1 1 0.002508 0.03503 0.2806 0.002617 0.03656 0.2928 json
t20_x4_u0_b1 20 4 0 1 add(P,add(sub(P,D),D)) 160321 162573625 o2(x,o2(o2(x,x),x)) true 162575 162575 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x4_u0_b2 20 4 0 2 add(P,add(mlt(P,D),D)) 160322 162573626 o2(x,o2(o2(x,x),x)) true 162583 162583 -0.01788 0.5 0.9375 0.9198 0.9591 -1 1 2 1 1.812 0.0006724 0 0.007937 1 1 -9.165e-10 0.00004687 0.001748 0.0006097 0.02469 3.111 0.1243 0.000731 0.00005096 1 1 0.001753 0.02322 0.2295 0.001905 0.02524 0.2495 json
t20_x4_u0_b3 20 4 0 3 add(P,add(div(P,D),D)) 160323 162573627 o2(x,o2(o2(x,x),x)) true 162591 162591 -0.1272 0.4258 0.9341 0.9028 0.9501 -1 1 2 1 1.717 0.3907 0 0.2311 1 1 3.784e-9 0.7238 0.4077 0.3372 0.5807 2.512 2 0.4328 0.8018 1 1 0.408 1.473 0.2323 0.4519 1.631 0.2573 json
t20_x4_u0_b4 20 4 0 4 add(P,add(pow(P,D),D)) 160324 162573628 o2(x,o2(o2(x,x),x)) true 162599 162599 -0.01857 0.5 0.9814 0.9769 0.9884 -1 1 2 1 1.262 0.004731 0 0.007937 1 1 -9.386e-13 0.007966 0.009032 0.004667 0.06831 8.608 1.032 0.004843 0.008154 1 1 0.007268 0.05263 0.3053 0.00744 0.05388 0.3125 json
t20_x4_u0_b5 20 4 0 5 add(P,add(mod(P,D),D)) 160325 162573629 o2(x,o2(o2(x,x),x)) true 162607 162607 0 0.5 0.9473 0.9296 0.9642 -1 1 2 1 1.877 0.00113 0 0.01039 1 1 0 0.001585 0.009036 0.001022 0.03197 3.076 0.1786 0.001216 0.001705 1 1 0.001947 0.02268 0.242 0.002094 0.02439 0.2603 json
t20_x4_u0_b6 20 4 0 6 add(P,add(lrg(P,D),D)) 160326 162573630 o2(x,o2(o2(x,x),x)) true 162615 162615 0.04393 0.5313 0.9561 0.9396 0.9693 -1 1 2 1 1.672 0.005077 0 0.01537 1 1 0 0.008131 0.01025 0.004839 0.06957 4.525 0.9369 0.005404 0.008654 1 1 0.008076 0.04532 0.258 0.008595 0.04823 0.2746 json
t20_x4_u0_b7 20 4 0 7 add(P,add(eql(P,D),D)) 160327 162573631 o2(x,o2(o2(x,x),x)) true 162623 162623 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x4_u0_b8 20 4 0 8 add(P,add(min(P,D),D)) 160328 162573632 o2(x,o2(o2(x,x),x)) true 162631 162631 -0.02686 0.5 0.9465 0.9313 0.9651 -1 1 2 1 1.649 0.0009417 0 0.007937 1 1 1.181e-10 0.0001593 0.002244 0.0008794 0.02965 3.736 0.173 0.001011 0.000171 1 1 0.002392 0.02817 0.2456 0.002569 0.03025 0.2637 json
t20_x4_u0_b9 20 4 0 9 add(P,add(dot(P,D),D)) 160329 162573633 o2(x,o2(o2(x,x),x)) true 162639 162639 -0.0331 0.4836 0.9368 0.9148 0.9564 -1 1 2 1 1.976 0.0007198 0.004119 0.02199 -0.7025 1 0.0003519 0.001669 0.01166 0.004357 0.06601 3.002 0.45 0.005289 0.001825 1 1 0.007743 0.05914 0.2277 0.008464 0.06465 0.2489 json
t20_x4_u0_b10 20 4 0 10 add(P,add(dst(P,D),D)) 160330 162573634 o2(x,o2(o2(x,x),x)) true 162647 162647 0.895 0.9755 0.9011 0.07185 0.2681 -0.2907 1 1.291 1 1.342 0.0009697 0.0003206 0.01387 0.5031 1 -0.0001409 0.00027 0.005687 0.001097 0.03313 2.389 0.2235 0.01796 0.003758 1 1 0.002952 0.02269 0.05522 0.04108 0.3158 0.7686 json
t20_x4_u0_b11 20 4 0 11 add(P,sub(add(P,D),D)) 160331 162573635 o2(x,o2(o2(x,x),x)) true 162655 162655 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x4_u0_b12 20 4 0 12 add(P,sub(sub(P,D),D)) 160332 162573636 o2(x,o2(o2(x,x),x)) true 162663 162663 0 0.5 0.954 0.9459 0.9726 -1 1 2 1 1.478 0.002438 0 0.01101 1 1 0 0.0006848 0.006181 0.002318 0.04814 4.374 0.3281 0.002577 0.000724 1 1 0.006013 0.04126 0.2639 0.006357 0.04362 0.279 json
t20_x4_u0_b13 20 4 0 13 add(P,sub(mlt(P,D),D)) 160333 162573637 o2(x,o2(o2(x,x),x)) true 162671 162671 -0.01081 0.4922 0.9359 0.9228 0.9606 -1 1 2 1 1.733 0.001412 0 0.01112 1 1 1.478e-9 0.000297 0.005012 0.001288 0.03589 3.229 0.2037 0.00153 0.0003218 1 1 0.003549 0.03388 0.2333 0.003846 0.03672 0.2528 json
t20_x4_u0_b14 20 4 0 14 add(P,sub(div(P,D),D)) 160334 162573638 o2(x,o2(o2(x,x),x)) true 162679 162679 -0.1214 0.4219 0.9282 0.8975 0.9474 -1 1 2 1 1.778 0.3841 0 0.2307 1 1 -3.781e-9 0.7052 0.402 0.3309 0.5753 2.493 2 0.428 0.7857 1 1 0.4037 1.47 0.2307 0.4497 1.638 0.2571 json
t20_x4_u0_b15 20 4 0 15 add(P,sub(pow(P,D),D)) 160335 162573639 o2(x,o2(o2(x,x),x)) true 162687 162687 -0.02447 0.4883 0.9769 0.9733 0.9866 -1 1 2 1 1.255 0.004609 0 0.00827 1 1 0 0.008015 0.01023 0.004537 0.06736 8.145 0.9696 0.004736 0.008235 1 1 0.006911 0.04846 0.3011 0.007101 0.04979 0.3093 json
t20_x4_u0_b16 20 4 0 16 add(P,sub(mod(P,D),D)) 160336 162573640 o2(x,o2(o2(x,x),x)) true 162695 162695 0 0.5 0.9446 0.9343 0.9666 -1 1 2 1 1.587 0.001705 0 0.01007 1 1 0 0.001387 0.009632 0.001603 0.04004 3.978 0.2551 0.001825 0.001485 1 1 0.003602 0.0334 0.2484 0.003855 0.03575 0.2658 json
t20_x4_u0_b17 20 4 0 17 add(P,sub(lrg(P,D),D)) 160337 162573641 o2(x,o2(o2(x,x),x)) true 162703 162703 0.03913 0.5195 0.9609 0.9488 0.9741 -1 1 2 1 1.579 0.006998 0 0.01722 1 1 -1.891e-9 0.008555 0.0136 0.006703 0.08187 4.756 1.03 0.007375 0.009016 1 1 0.01289 0.07591 0.2707 0.01358 0.08001 0.2853 json
t20_x4_u0_b18 20 4 0 18 add(P,sub(eql(P,D),D)) 160338 162573642 o2(x,o2(o2(x,x),x)) true 162711 162711 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x4_u0_b19 20 4 0 19 add(P,sub(min(P,D),D)) 160339 162573643 o2(x,o2(o2(x,x),x)) true 162719 162719 -0.0212 0.4766 0.9448 0.9342 0.9665 -1 1 2 1 1.592 0.001278 0 0.008956 1 1 1.183e-9 0.0002274 0.003653 0.001199 0.03462 3.866 0.2524 0.001368 0.0002434 1 1 0.00324 0.03174 0.2489 0.003469 0.03398 0.2664 json
t20_x4_u0_b20 20 4 0 20 add(P,sub(dot(P,D),D)) 160340 162573644 o2(x,o2(o2(x,x),x)) true 162727 162727 -0.0303 0.4837 0.9368 0.9154 0.9568 -1 1 2 1 1.981 0.001347 0.004121 0.02391 -0.5073 1 0.0003474 0.002015 0.01293 0.004894 0.06995 2.926 0.4789 0.005973 0.002201 1 1 0.009321 0.06781 0.2274 0.01018 0.07407 0.2484 json
t20_x4_u0_b21 20 4 0 21 add(P,sub(dst(P,D),D)) 160341 162573645 o2(x,o2(o2(x,x),x)) true 162735 162735 0.8945 1 0.8945 0.06765 0.2601 0.000129 1 0.9999 1 1.279 0.00009414 0.0003175 0.00641 -0.5426 1 5.257e-7 0.00009963 0.00255 0.0003709 0.01926 3.005 0.2725 0.006085 0.001473 1 1 0.001178 0.01034 0.05321 0.01741 0.1528 0.7865 json
t20_x4_u0_b22 20 4 0 22 add(P,mlt(add(P,D),D)) 160342 162573646 o2(x,o2(o2(x,x),x)) true 162743 162743 -0.0006498 0.5078 0.9352 0.9198 0.9591 -1 1 2 1 1.867 0.0007808 0 0.008863 1 1 -9.461e-10 0.00009057 0.00287 0.0007025 0.0265 2.99 0.1451 0.0008489 0.00009847 1 1 0.002011 0.02416 0.2291 0.002186 0.02627 0.249 json
t20_x4_u0_b23 20 4 0 23 add(P,mlt(sub(P,D),D)) 160343 162573647 o2(x,o2(o2(x,x),x)) true 162751 162751 -0.02762 0.4688 0.9359 0.9238 0.9612 -1 1 2 1 1.646 0.001167 0 0.009394 1 1 -1.183e-9 0.0001595 0.003723 0.001079 0.03285 3.497 0.1876 0.001264 0.0001726 1 1 0.002991 0.03179 0.2357 0.003237 0.03441 0.2552 json
t20_x4_u0_b24 20 4 0 24 add(P,mlt(mlt(P,D),D)) 160344 162573648 o2(x,o2(o2(x,x),x)) true 162759 162759 0 0.5 0.9449 0.9321 0.9654 -1 1 2 1 1.748 0.0007429 0 0.007936 1 1 0 0.00003844 0.00193 0.0006803 0.02608 3.287 0.1221 0.0007971 0.00004124 1 1 0.001945 0.02554 0.2453 0.002087 0.02741 0.2632 json
t20_x4_u0_b25 20 4 0 25 add(P,mlt(div(P,D),D)) 160345 162573649 o2(x,o2(o2(x,x),x)) true 162767 162767 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x4_u0_b26 20 4 0 26 add(P,mlt(pow(P,D),D)) 160346 162573650 o2(x,o2(o2(x,x),x)) true 162775 162775 -0.04019 0.4961 0.9598 0.9513 0.9754 -1 1 2 1 1.444 0.004308 0 0.007936 1 1 4.734e-10 0.007949 0.008808 0.004244 0.06515 8.209 1 0.004529 0.008355 1 1 0.006157 0.03536 0.2732 0.006472 0.03717 0.2871 json
t20_x4_u0_b27 20 4 0 27 add(P,mlt(mod(P,D),D)) 160347 162573651 o2(x,o2(o2(x,x),x)) true 162783 162783 -0.004019 0.5 0.9375 0.9242 0.9614 -1 1 2 1 1.768 0.0008337 0 0.007937 1 1 1.774e-9 0.0003451 0.004382 0.0007712 0.02777 3.499 0.2105 0.000902 0.0003734 1 1 0.001983 0.02482 0.2348 0.002145 0.02685 0.254 json
t20_x4_u0_b28 20 4 0 28 add(P,mlt(lrg(P,D),D)) 160348 162573652 o2(x,o2(o2(x,x),x)) true 162791 162791 -0.01788 0.4961 0.9375 0.9228 0.9606 -1 1 2 1 1.804 0.00068 0 0.007936 1 1 -6.8e-10 0.00003457 0.001748 0.0006173 0.02485 3.131 0.1105 0.0007369 0.00003746 1 1 0.001781 0.02386 0.2335 0.00193 0.02586 0.2531 json
t20_x4_u0_b29 20 4 0 29 add(P,mlt(eql(P,D),D)) 160349 162573653 o2(x,o2(o2(x,x),x)) true 162799 162799 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_x4_u0_b30 20 4 0 30 add(P,mlt(min(P,D),D)) 160350 162573654 o2(x,o2(o2(x,x),x)) true 162807 162807 0.0005119 0.5039 0.9444 0.932 0.9654 -1 1 2 1 1.738 0.0008502 0 0.008516 1 1 -4.967e-9 0.00009243 0.002886 0.0007776 0.02789 3.274 0.1422 0.0009122 0.00009918 1 1 0.002194 0.02676 0.2452 0.002354 0.02871 0.2631 json
t20_x4_u0_b31 20 4 0 31 add(P,mlt(dot(P,D),D)) 160351 162573655 o2(x,o2(o2(x,x),x)) true 162815 162815 1.164e-10 0.5 0.9446 0.9318 0.9653 -1 1 2 1 1.772 0.0008345 0.00003938 0.008768 0.9099 1 0 0.000101 0.002696 0.0007967 0.02823 3.219 0.1853 0.0009379 0.0001084 1 1 0.002193 0.02692 0.2454 0.002354 0.02889 0.2634 json
t20_x4_u0_b32 20 4 0 32 add(P,mlt(dst(P,D),D)) 160352 162573656 o2(x,o2(o2(x,x),x)) true 162823 162823 6.985e-10 0.5 0.9316 0.9093 0.9536 -1 1 2 1 2.015 0.003335 0.00001456 0.01693 0.9913 1 -2.295e-10 0.0009439 0.008812 0.003065 0.05536 3.271 0.5018 0.003683 0.001038 1 1 0.004841 0.03741 0.2147 0.005324 0.04114 0.2362 json
t20_x4_u0_b33 20 4 0 33 add(P,div(add(P,D),D)) 160353 162573657 o2(x,o2(o2(x,x),x)) true 162831 162831 0.0003381 0.5039 0.9464 0.9262 0.9624 -1 1 2 1 1.86 0.3658 0 0.2381 1 1 -3.754e-12 0.6388 0.3908 0.309 0.5559 2.335 2 0.3949 0.6897 1 1 0.3992 1.526 0.2836 0.431 1.648 0.3062 json
t20_x4_u0_b34 20 4 0 34 add(P,div(sub(P,D),D)) 160354 162573658 o2(x,o2(o2(x,x),x)) true 162839 162839 -0.2116 0.3945 0.984 0.9342 0.9665 -1 1 2 1 1.219 0.4039 0 0.2222 1 1 -3.781e-9 0.7695 0.4125 0.3545 0.5954 2.679 2 0.4323 0.8237 1 1 0.4032 1.415 0.2877 0.4316 1.514 0.3079 json
t20_x4_u0_b35 20 4 0 35 add(P,div(mlt(P,D),D)) 160355 162573659 o2(x,o2(o2(x,x),x)) true 162847 162847 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x4_u0_b36 20 4 0 36 add(P,div(div(P,D),D)) 160356 162573660 o2(x,o2(o2(x,x),x)) true 162855 162855 0 0.5 0.9644 0.9592 0.9794 -1 1 2 1 1.379 0.001932 0 0.007936 1 1 0 0.0008066 0.005398 0.001868 0.04323 5.446 0.3407 0.002014 0.0008409 1 1 0.004589 0.03664 0.2818 0.004785 0.0382 0.2938 json
t20_x4_u0_b37 20 4 0 37 add(P,div(pow(P,D),D)) 160357 162573661 o2(x,o2(o2(x,x),x)) true 162863 162863 -0.251 0.3594 0.958 0.8875 0.9421 -1 1 2 1 1.384 0.1954 0 0.1178 1 1 -0.006651 0.3547 0.2013 0.1814 0.4259 3.617 2 0.2201 0.3997 1 1 0.2082 0.4212 0.2305 0.2346 0.4745 0.2598 json
t20_x4_u0_b38 20 4 0 38 add(P,div(mod(P,D),D)) 160358 162573662 o2(x,o2(o2(x,x),x)) true 162871 162871 -0.01375 0.5 0.9203 0.9038 0.9507 -1 1 2 1 1.813 0.008285 0 0.02284 1 1 -9.461e-10 0.02236 0.0393 0.007762 0.0881 3.858 0.6688 0.009167 0.02474 1 1 0.00715 0.03268 0.215 0.007911 0.03617 0.2379 json
t20_x4_u0_b39 20 4 0 39 add(P,div(lrg(P,D),D)) 160359 162573663 o2(x,o2(o2(x,x),x)) true 162879 162879 -0.2812 0.3398 0.9531 0.8659 0.9306 -1 1 2 1 1.407 0.1868 0 0.119 1 1 -0.007937 0.3203 0.1921 0.1727 0.4156 3.491 2 0.2157 0.3699 1 1 0.2009 0.4897 0.2209 0.232 0.5655 0.2552 json
t20_x4_u0_b40 20 4 0 40 add(P,div(eql(P,D),D)) 160360 162573664 o2(x,o2(o2(x,x),x)) true 162887 162887 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_x4_u0_b41 20 4 0 41 add(P,div(min(P,D),D)) 160361 162573665 o2(x,o2(o2(x,x),x)) true 162895 162895 0.363 0.6875 0.9511 0.8051 0.8973 -1 1 2 1 1.589 0.1832 0 0.127 1 1 -1.877e-12 0.3153 0.2018 0.1671 0.4088 3.22 2 0.2275 0.3916 1 1 0.2025 0.6908 0.173 0.2515 0.858 0.2149 json
t20_x4_u0_b42 20 4 0 42 add(P,div(dot(P,D),D)) 160362 162573666 o2(x,o2(o2(x,x),x)) true 162903 162903 -3.492e-10 0.5 0.9723 0.9626 0.9811 -1 1 2 1 1.518 0.2651 0.07192 0.1917 0.5732 1 1.915e-10 1.017 0.3533 0.3004 0.5481 2.859 2.828 0.3501 1.057 1 1 0.2825 0.5952 0.3259 0.2935 0.6183 0.3386 json
t20_x4_u0_b43 20 4 0 43 add(P,div(dst(P,D),D)) 160363 162573667 o2(x,o2(o2(x,x),x)) true 162911 162911 -1.455e-11 0.5 0.9828 0.9764 0.9881 -1 1 2 1 1.349 0.4461 0.00004194 0.2461 0.9998 1 -9.011e-11 0.8481 0.4575 0.3856 0.6209 2.523 2 0.4569 0.8685 1 1 0.4601 1.834 0.02376 0.4712 1.878 0.02433 json
t20_x4_u0_b44 20 4 0 44 add(P,pow(add(P,D),D)) 160364 162573668 o2(x,o2(o2(x,x),x)) true 162919 162919 -0.001384 0.5 0.9986 0.9974 0.9987 -1 1 2 1 1.091 0.01445 0 0.008274 1 1 0 0.02952 0.0161 0.01438 0.1199 14.49 1.906 0.01449 0.0296 1 1 0.01876 0.08068 0.3333 0.01881 0.08089 0.3342 json
t20_x4_u0_b45 20 4 0 45 add(P,pow(sub(P,D),D)) 160365 162573669 o2(x,o2(o2(x,x),x)) true 162927 162927 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x4_u0_b46 20 4 0 46 add(P,pow(mlt(P,D),D)) 160366 162573670 o2(x,o2(o2(x,x),x)) true 162935 162935 -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_x4_u0_b47 20 4 0 47 add(P,pow(div(P,D),D)) 160367 162573671 o2(x,o2(o2(x,x),x)) true 162943 162943 -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_x4_u0_b48 20 4 0 48 add(P,pow(pow(P,D),D)) 160368 162573672 o2(x,o2(o2(x,x),x)) true 162951 162951 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t20_x4_u0_b49 20 4 0 49 add(P,pow(mod(P,D),D)) 160369 162573673 o2(x,o2(o2(x,x),x)) true 162959 162959 -0.009308 0.5039 0.9829 0.9791 0.9895 -1 1 2 1 1.23 0.03641 0 0.02381 1 1 -1.89e-9 0.103 0.04094 0.03585 0.1893 7.952 2 0.03719 0.1052 1 1 0.0283 0.07695 0.3085 0.02891 0.0786 0.3151 json
t20_x4_u0_b50 20 4 0 50 add(P,pow(lrg(P,D),D)) 160370 162573674 o2(x,o2(o2(x,x),x)) true 162967 162967 0.916 0.9688 0.959 0.1085 0.3294 -0.9994 1 1.999 1 0.7325 0.02189 0 0.0238 1 1 0 0.04028 0.02745 0.02133 0.146 6.137 1.999 0.2017 0.3711 1 1 0.03135 0.1182 0.1558 0.2888 1.089 1.436 json
t20_x4_u0_b51 20 4 0 51 add(P,pow(eql(P,D),D)) 160371 162573675 o2(x,o2(o2(x,x),x)) true 162975 162975 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t20_x4_u0_b52 20 4 0 52 add(P,pow(min(P,D),D)) 160372 162573676 o2(x,o2(o2(x,x),x)) true 162983 162983 -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_x4_u0_b53 20 4 0 53 add(P,pow(dot(P,D),D)) 160373 162573677 o2(x,o2(o2(x,x),x)) true 162991 162991 -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_x4_u0_b54 20 4 0 54 add(P,pow(dst(P,D),D)) 160374 162573678 o2(x,o2(o2(x,x),x)) true 162999 162999 0.147 0.5671 0.9351 0.8978 0.9475 -1 1 2 1 1.89 0.0009066 0.000006151 0.009295 0.9865 1 -5.972e-7 0.0001136 0.003127 0.0008267 0.02875 3.093 0.1808 0.001017 0.0001265 1 1 0.002036 0.02468 0.2276 0.002268 0.02749 0.2535 json
t20_x4_u0_b55 20 4 0 55 add(P,mod(add(P,D),D)) 160375 162573679 o2(x,o2(o2(x,x),x)) true 163007 163007 0 0.5 0.9527 0.9419 0.9705 -1 1 2 1 1.624 0.004045 0 0.01591 1 1 0 0.008371 0.02382 0.003794 0.0616 3.872 0.4315 0.004294 0.008887 1 1 0.005179 0.02933 0.2586 0.005498 0.03113 0.2745 json
t20_x4_u0_b56 20 4 0 56 add(P,mod(sub(P,D),D)) 160376 162573680 o2(x,o2(o2(x,x),x)) true 163015 163015 0 0.5 0.9428 0.9321 0.9655 -1 1 2 1 1.624 0.002554 0 0.01353 1 1 0 0.004284 0.01549 0.002371 0.04869 3.598 0.2917 0.00274 0.004596 1 1 0.003933 0.03143 0.2454 0.00422 0.03372 0.2632 json
t20_x4_u0_b57 20 4 0 57 add(P,mod(mlt(P,D),D)) 160377 162573681 o2(x,o2(o2(x,x),x)) true 163023 163023 -0.004806 0.5 0.9358 0.9221 0.9602 -1 1 2 1 1.826 0.002437 0 0.01403 1 1 -3.784e-9 0.004431 0.01877 0.002242 0.04735 3.375 0.3787 0.002643 0.004805 1 1 0.003528 0.02551 0.2321 0.003826 0.02767 0.2518 json
t20_x4_u0_b58 20 4 0 58 add(P,mod(div(P,D),D)) 160378 162573682 o2(x,o2(o2(x,x),x)) true 163031 163031 -0.008129 0.5 0.9353 0.9209 0.9596 -1 1 2 1 1.801 0.001181 0 0.008949 1 1 1.064e-9 0.001353 0.01028 0.0011 0.03317 3.707 0.2414 0.001282 0.001469 1 1 0.002235 0.02451 0.2306 0.002427 0.02662 0.2504 json
t20_x4_u0_b59 20 4 0 59 add(P,mod(pow(P,D),D)) 160379 162573683 o2(x,o2(o2(x,x),x)) true 163039 163039 -0.02692 0.5 0.9731 0.9668 0.9832 -1 1 2 1 1.309 0.004658 0 0.008414 1 1 -4.731e-10 0.008574 0.0115 0.004588 0.06773 8.05 1 0.004818 0.008869 1 1 0.006669 0.04401 0.2934 0.006898 0.04552 0.3035 json
t20_x4_u0_b60 20 4 0 60 add(P,mod(mod(P,D),D)) 160380 162573684 o2(x,o2(o2(x,x),x)) true 163047 163047 0 0.5 0.9462 0.9355 0.9672 -1 1 2 1 1.618 0.001374 0 0.008892 1 1 0 0.001385 0.007238 0.001294 0.03598 4.046 0.2043 0.001469 0.00148 1 1 0.002726 0.02808 0.2499 0.002914 0.03002 0.2672 json
t20_x4_u0_b61 20 4 0 61 add(P,mod(lrg(P,D),D)) 160381 162573685 o2(x,o2(o2(x,x),x)) true 163055 163055 0.009234 0.5156 0.9381 0.9267 0.9627 -1 1 2 1 1.668 0.001427 0 0.00955 1 1 1.183e-9 0.001518 0.008543 0.001336 0.03655 3.827 0.2188 0.00154 0.001639 1 1 0.002778 0.02812 0.2383 0.002997 0.03035 0.2571 json
t20_x4_u0_b62 20 4 0 62 add(P,mod(eql(P,D),D)) 160382 162573686 o2(x,o2(o2(x,x),x)) true 163063 163063 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_x4_u0_b63 20 4 0 63 add(P,mod(min(P,D),D)) 160383 162573687 o2(x,o2(o2(x,x),x)) true 163071 163071 -0.01082 0.5 0.9418 0.9287 0.9637 -1 1 2 1 1.751 0.00326 0 0.01472 1 1 -4.731e-9 0.006662 0.02133 0.003042 0.05516 3.748 0.4315 0.003511 0.007173 1 1 0.004231 0.02595 0.2411 0.004556 0.02794 0.2596 json
t20_x4_u0_b64 20 4 0 64 add(P,mod(dot(P,D),D)) 160384 162573688 o2(x,o2(o2(x,x),x)) true 163079 163079 -0.003582 0.4974 0.9374 0.9239 0.9612 -1 1 2 1 1.838 0.001654 0.001199 0.01557 0.1595 1 -0.00002381 0.00906 0.02568 0.002612 0.05111 3.284 0.5284 0.003089 0.009806 1 1 0.003679 0.02869 0.2353 0.003982 0.03105 0.2547 json
t20_x4_u0_b65 20 4 0 65 add(P,mod(dst(P,D),D)) 160385 162573689 o2(x,o2(o2(x,x),x)) true 163087 163087 0.01739 0.5153 0.9371 0.9232 0.9608 -1 1 2 1 1.829 0.001758 0.0007301 0.01474 0.4131 1 0.00002035 0.007639 0.02418 0.002269 0.04764 3.233 0.5589 0.002695 0.008275 1 1 0.003426 0.02721 0.2345 0.003711 0.02947 0.254 json
t20_x4_u0_b66 20 4 0 66 add(P,lrg(add(P,D),D)) 160386 162573690 o2(x,o2(o2(x,x),x)) true 163095 163095 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x4_u0_b67 20 4 0 67 add(P,lrg(sub(P,D),D)) 160387 162573691 o2(x,o2(o2(x,x),x)) true 163103 163103 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t20_x4_u0_b68 20 4 0 68 add(P,lrg(mlt(P,D),D)) 160388 162573692 o2(x,o2(o2(x,x),x)) true 163111 163111 0.05277 0.5313 0.9278 0.9071 0.9524 -1 1 2 1 1.941 0.01034 0 0.02379 1 1 1.892e-9 0.01644 0.02044 0.009772 0.09885 4.155 0.9991 0.0114 0.01812 1 1 0.01652 0.07411 0.2176 0.01821 0.0817 0.2399 json
t20_x4_u0_b69 20 4 0 69 add(P,lrg(div(P,D),D)) 160389 162573693 o2(x,o2(o2(x,x),x)) true 163119 163119 0.05277 0.5313 0.9278 0.9071 0.9524 -1 1 2 1 1.941 0.01034 0 0.02379 1 1 1.892e-9 0.01644 0.02044 0.009772 0.09885 4.155 0.9991 0.0114 0.01812 1 1 0.01652 0.07411 0.2176 0.01821 0.0817 0.2399 json
t20_x4_u0_b70 20 4 0 70 add(P,lrg(pow(P,D),D)) 160390 162573694 o2(x,o2(o2(x,x),x)) true 163127 163127 0.1035 0.5625 0.916 0.8884 0.9425 -1 1 2 1 1.99 0.005319 0 0.01587 1 1 0 0.008252 0.01158 0.005063 0.07116 4.485 0.9991 0.005987 0.009289 1 1 0.008637 0.04222 0.2029 0.009722 0.04753 0.2283 json
t20_x4_u0_b71 20 4 0 71 add(P,lrg(mod(P,D),D)) 160391 162573695 o2(x,o2(o2(x,x),x)) true 163135 163135 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x4_u0_b72 20 4 0 72 add(P,lrg(lrg(P,D),D)) 160392 162573696 o2(x,o2(o2(x,x),x)) true 163143 163143 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x4_u0_b73 20 4 0 73 add(P,lrg(eql(P,D),D)) 160393 162573697 o2(x,o2(o2(x,x),x)) true 163151 163151 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x4_u0_b74 20 4 0 74 add(P,lrg(min(P,D),D)) 160394 162573698 o2(x,o2(o2(x,x),x)) true 163159 163159 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_x4_u0_b75 20 4 0 75 add(P,lrg(dot(P,D),D)) 160395 162573699 o2(x,o2(o2(x,x),x)) true 163167 163167 0.05413 0.5266 0.9357 0.9137 0.9559 -1 1 2 1 1.957 0.003766 0.005141 0.02244 -0.1544 1 -0.000004692 0.02365 0.02343 0.008409 0.0917 4.086 1.413 0.009749 0.02588 1 1 0.01402 0.06237 0.2313 0.01535 0.06826 0.2531 json
t20_x4_u0_b76 20 4 0 76 add(P,lrg(dst(P,D),D)) 160396 162573700 o2(x,o2(o2(x,x),x)) true 163175 163175 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x4_u0_b77 20 4 0 77 add(P,eql(add(P,D),D)) 160397 162573701 o2(x,o2(o2(x,x),x)) true 163183 163183 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x4_u0_b78 20 4 0 78 add(P,eql(sub(P,D),D)) 160398 162573702 o2(x,o2(o2(x,x),x)) true 163191 163191 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_x4_u0_b79 20 4 0 79 add(P,eql(mlt(P,D),D)) 160399 162573703 o2(x,o2(o2(x,x),x)) true 163199 163199 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json