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
t16_x7_u3_b80 16 7 3 80 eql(P,flr(div(R,D))) 81000 130213106 o2(x,o1(o2(x,x))) true 136007 136007 0.05029 0.1733 0.05029 0.02953 0.1719 0 1 1 1 0.9155 0.03487 0.0003654 0.05424 0.9793 1 0.000001312 0.0965 0.09672 0.03229 0.1797 3.313 0.9997 1.193 3.267 1 1 0.03052 0.05374 0.07363 1.033 1.82 2.493 json
t16_x7_u3_b81 16 7 3 81 eql(P,flr(pow(R,D))) 81001 130213107 o2(x,o1(o2(x,x))) true 136015 136015 0.03257 0.07309 0.03257 0.02423 0.1557 0 1 1 1 0.4966 0.004481 0.0001313 0.009176 0.943 1 -0.000009144 0.008871 0.01177 0.004532 0.06732 7.336 1 0.1904 0.3662 1 1 0.006106 0.02594 0.04374 0.252 1.071 1.805 json
t16_x7_u3_b82 16 7 3 82 eql(P,flr(mod(R,D))) 81002 130213108 o2(x,o1(o2(x,x))) true 136023 136023 0.05469 0.1327 0.05469 0.03777 0.1944 0 1 1 1 0.8133 0.000414 0.0002457 0.007741 0.2551 1 0.000005704 0.00003679 0.001864 0.0005996 0.02449 3.163 0.1169 0.01746 0.000974 1 1 0.001703 0.02225 0.09418 0.04509 0.5891 2.493 json
t16_x7_u3_b83 16 7 3 83 eql(P,flr(lrg(R,D))) 81003 130213109 o2(x,o1(o2(x,x))) true 136031 136031 0.07581 0.134 0.07581 0.05735 0.2395 0 1 1 1 0.878 0.002091 0.0002371 0.009857 0.7963 1 -0.000008333 0.003172 0.007306 0.002231 0.04724 4.792 0.9997 0.0406 0.05531 1 1 0.004333 0.03216 0.1035 0.07556 0.5607 1.805 json
t16_x7_u3_b84 16 7 3 84 eql(P,flr(eql(R,D))) 81004 130213110 o2(x,o1(o2(x,x))) true 136039 136039 0.06254 0.125 0.06254 0.04512 0.2124 0 0.9999 0.9999 1 0.8129 0.0007211 1.509e-7 0.007966 0.9996 1 1.161e-7 0.00007655 0.001972 0.0006579 0.02565 3.22 0.4319 0.01598 0.001697 1 1 0.001851 0.02408 0.06599 0.04102 0.5337 1.463 json
t16_x7_u3_b85 16 7 3 85 eql(P,flr(min(R,D))) 81005 130213111 o2(x,o1(o2(x,x))) true 136047 136047 0.05859 0.1415 0.05859 0.04015 0.2004 0 0.9997 0.9997 1 0.8577 0.004274 0.0001228 0.0126 0.9441 1 0.000002852 0.007431 0.01005 0.004236 0.06508 5.164 0.9997 0.1095 0.1851 1 1 0.006732 0.03769 0.07433 0.1677 0.9387 1.851 json
t16_x7_u3_b86 16 7 3 86 eql(P,flr(dot(R,D))) 81006 130213112 o2(x,o1(o2(x,x))) true 136055 136055 0.06441 0.1481 0.06441 0.04565 0.2136 0 1 1 1 0.8817 0.00505 0.004062 0.01772 0.1085 1 -0.00005296 0.02823 0.02369 0.008795 0.09378 5.292 1.414 0.1996 0.6184 1 1 0.01274 0.05475 0.09012 0.2792 1.2 1.974 json
t16_x7_u3_b87 16 7 3 87 eql(P,flr(dst(R,D))) 81007 130213113 o2(x,o1(o2(x,x))) true 136063 136063 0.06721 0.1516 0.06721 0.0471 0.217 0 1 1 1 0.9208 0.00334 0.002798 0.01573 0.08834 1 0.000006719 0.01802 0.01871 0.005888 0.07673 4.879 1.404 0.1303 0.3826 1 1 0.009606 0.04383 0.09238 0.204 0.9305 1.961 json
t16_x7_u3_b88 16 7 3 88 min(P,flr(add(R,D))) 81008 130213114 o2(x,o1(o2(x,x))) true 136071 136071 -0.7355 0.05183 0.7627 0.1677 0.4095 -1 0.9988 1.999 1 2.599 0.01551 0.001592 0.05598 0.8138 1 0.0002287 0.02992 0.05644 0.01396 0.1182 2.111 0.9997 0.102 0.1784 1 1 0.01908 0.1055 0.2282 0.1138 0.6293 1.361 json
t16_x7_u3_b89 16 7 3 89 min(P,flr(sub(R,D))) 81009 130213115 o2(x,o1(o2(x,x))) true 136079 136079 -0.724 0.06114 0.7558 0.1751 0.4184 -1 0.9985 1.999 1 2.694 0.01697 0.001645 0.06001 0.8233 1 -0.000007038 0.03286 0.06135 0.01501 0.1225 2.042 1 0.1063 0.1877 1 1 0.02073 0.1067 0.2418 0.1184 0.6092 1.381 json
t16_x7_u3_b90 16 7 3 90 min(P,flr(mlt(R,D))) 81010 130213116 o2(x,o1(o2(x,x))) true 136087 136087 -0.7344 0 0.7344 0.1391 0.3729 -1 0 1 1 2.537 0.02512 0.001307 0.05492 0.9011 1 -0.000004283 0.04904 0.05946 0.02341 0.153 2.786 1 0.19 0.3526 1 1 0.0308 0.1426 0.1827 0.2215 1.026 1.314 json
t16_x7_u3_b91 16 7 3 91 min(P,flr(div(R,D))) 81011 130213117 o2(x,o1(o2(x,x))) true 136095 136095 -0.6158 0.1723 0.8827 0.4693 0.6851 -1 1 2 1 2.165 0.116 0.01324 0.1177 0.7951 1 0.0001077 0.2552 0.1733 0.1153 0.3396 2.884 2.821 0.2754 0.5437 1 1 0.1451 0.6047 0.6501 0.3092 1.288 1.385 json
t16_x7_u3_b92 16 7 3 92 min(P,flr(pow(R,D))) 81012 130213118 o2(x,o1(o2(x,x))) true 136103 136103 -0.04743 0.5 0.8901 0.8619 0.9284 -1 1 2 1 2.308 0.01087 0.001038 0.03071 0.8257 1 -0.000006507 0.01949 0.02937 0.01096 0.1047 3.409 0.9997 0.01382 0.02261 1 1 0.01491 0.06875 0.2421 0.0173 0.07977 0.2809 json
t16_x7_u3_b93 16 7 3 93 min(P,flr(mod(R,D))) 81013 130213119 o2(x,o1(o2(x,x))) true 136111 136111 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t16_x7_u3_b94 16 7 3 94 min(P,flr(lrg(R,D))) 81014 130213120 o2(x,o1(o2(x,x))) true 136119 136119 -0.2374 0.4651 0.7001 0.5835 0.7638 -1 1 2 1 3.186 0.01023 0.001034 0.04502 0.8164 1 0.00003414 0.0183 0.03545 0.009238 0.09612 2.135 0.9997 0.01931 0.03136 1 1 0.01267 0.08445 0.2757 0.02171 0.1447 0.4725 json
t16_x7_u3_b95 16 7 3 95 min(P,flr(eql(R,D))) 81015 130213121 o2(x,o1(o2(x,x))) true 136127 136127 -0.4687 0.0002289 0.4688 0.2423 0.4922 -1 0.3282 1.328 1 1.409 0.0003675 1.509e-7 0.004031 0.9992 1 1.175e-7 0.00006027 0.001052 0.0003516 0.01875 4.651 0.3186 0.001517 0.0002487 1 1 0.0009255 0.01214 0.07511 0.003819 0.05011 0.31 json
t16_x7_u3_b96 16 7 3 96 min(P,flr(min(R,D))) 81016 130213122 o2(x,o1(o2(x,x))) true 136135 136135 -0.8867 0 0.8867 0.06403 0.253 -1 -0.000291 0.9997 1 1.639 0.01363 0.0006318 0.03482 0.9114 1 -0.00006203 0.02557 0.03365 0.01305 0.1142 3.281 0.9997 0.2227 0.3993 1 1 0.01644 0.07574 0.0849 0.2567 1.183 1.326 json
t16_x7_u3_b97 16 7 3 97 min(P,flr(dot(R,D))) 81017 130213123 o2(x,o1(o2(x,x))) true 136143 136143 -0.7329 0.004105 0.7329 0.1431 0.3783 -1 0.07772 1.078 1 2.535 0.01914 0.01811 0.06675 0.02757 1 -0.0001367 0.1169 0.09695 0.03281 0.1811 2.713 1.414 0.2603 0.8173 1 1 0.04077 0.1607 0.1972 0.285 1.123 1.378 json
t16_x7_u3_b98 16 7 3 98 min(P,flr(dst(R,D))) 81018 130213124 o2(x,o1(o2(x,x))) true 136151 136151 -0.1986 0.4799 0.7389 0.6498 0.8061 -1 1 2 1 3.039 0.01205 0.0118 0.0538 0.01064 1 0.0001645 0.07008 0.06955 0.02096 0.1448 2.691 1.413 0.03671 0.1079 1 1 0.02669 0.1199 0.2991 0.04107 0.1846 0.4603 json
t16_x7_u3_b99 16 7 3 99 dot(P,flr(add(R,D))) 81019 130213125 o2(x,o1(o2(x,x))) true 136159 136159 -0.09979 0.4412 0.843 0.7954 0.8919 -1 1 2 1 2.735 0.06936 0.07404 0.154 -0.03266 1 0.001127 0.2943 0.2194 0.1197 0.346 2.246 2.812 0.1803 0.37 1 1 0.1368 0.544 1.006 0.172 0.684 1.265 json
t16_x7_u3_b100 16 7 3 100 dot(P,flr(sub(R,D))) 81020 130213126 o2(x,o1(o2(x,x))) true 136167 136167 0.006432 0.5061 0.8455 0.8084 0.8991 -1 1 2 1 2.729 0.07051 0.07187 0.1506 -0.009535 1 0.0003286 0.2889 0.2151 0.1196 0.3459 2.296 2.817 0.1761 0.3574 1 1 0.139 0.5245 1.022 0.172 0.6489 1.264 json
t16_x7_u3_b101 16 7 3 101 dot(P,flr(mlt(R,D))) 81021 130213127 o2(x,o1(o2(x,x))) true 136175 136175 -0.01027 0.4949 0.8293 0.793 0.8905 -1 1 2 1 2.776 0.05316 0.0545 0.1228 -0.0125 1 0.00003088 0.1976 0.1692 0.09261 0.3043 2.478 2.384 0.1358 0.2492 1 1 0.1191 0.5139 0.6926 0.1502 0.6481 0.8734 json
t16_x7_u3_b102 16 7 3 102 dot(P,flr(div(R,D))) 81022 130213128 o2(x,o1(o2(x,x))) true 136183 136183 -0.008923 0.4962 0.9582 0.945 0.9721 -1 1 2 1 1.681 0.3659 0.3654 0.3971 0.0006862 1 -0.0000815 1.997 0.7705 0.5737 0.7574 1.907 2.828 0.774 2.113 1 1 0.6517 1.631 1.737 0.6896 1.726 1.838 json
t16_x7_u3_b103 16 7 3 103 dot(P,flr(pow(R,D))) 81023 130213129 o2(x,o1(o2(x,x))) true 136191 136191 -0.9998 0 0.9998 0.0001508 0.01228 -1 -0.003493 0.9965 1 0.006447 0.00005318 0.00007704 0.0002222 -0.1832 1 3.754e-12 0.0002841 0.000337 0.0001301 0.01141 51.34 0.9965 0.8636 1.884 1 1 0.0002528 0.0005478 0.000457 1.676 3.633 3.031 json
t16_x7_u3_b104 16 7 3 104 dot(P,flr(mod(R,D))) 81024 130213130 o2(x,o1(o2(x,x))) true 136199 136199 -0.04238 0.4739 0.8078 0.7682 0.8765 -1 1 2 1 2.874 0.01033 0.01423 0.06449 -0.1588 1 0.00004393 0.01472 0.04265 0.02039 0.1428 2.214 1.344 0.03196 0.01916 1 1 0.0373 0.2996 0.6954 0.04855 0.3899 0.9051 json
t16_x7_u3_b105 16 7 3 105 dot(P,flr(lrg(R,D))) 81025 130213131 o2(x,o1(o2(x,x))) true 136207 136207 0.0007279 0.5022 0.8528 0.8207 0.9059 -1 1 2 1 2.605 0.03169 0.03385 0.09372 -0.03305 1 0.00005457 0.1109 0.1148 0.05676 0.2382 2.542 2.207 0.07985 0.1351 1 1 0.06675 0.3323 0.694 0.08133 0.4049 0.8456 json
t16_x7_u3_b106 16 7 3 106 dot(P,flr(eql(R,D))) 81026 130213132 o2(x,o1(o2(x,x))) true 136215 136215 -0.0001701 0.0002289 0.0002502 0.000152 0.01233 -0.8606 0.3282 1.189 1 0.0104 0.00001661 0.0002927 0.0005009 -0.8926 1 1.171e-7 0.0009302 0.0009922 0.000309 0.01758 35.09 0.8606 2.035 6.119 1 1 0.0002646 0.0003513 0.0005225 1.74 2.311 3.437 json
t16_x7_u3_b107 16 7 3 107 dot(P,flr(min(R,D))) 81027 130213133 o2(x,o1(o2(x,x))) true 136223 136223 -0.0479 0.477 0.9162 0.8895 0.9431 -1 1 2 1 2.169 0.03216 0.03283 0.07447 -0.01019 1 -0.0001637 0.1111 0.09252 0.05946 0.2438 3.274 2.12 0.07306 0.1249 1 1 0.07348 0.317 0.4956 0.0826 0.3563 0.5572 json
t16_x7_u3_b108 16 7 3 108 dot(P,flr(dot(R,D))) 81028 130213134 o2(x,o1(o2(x,x))) true 136231 136231 0.008206 0.4638 0.663 0.6204 0.7876 -1 1 2 1 3.25 0.03617 0.03568 0.1096 0.006802 1 -0.0001395 0.2133 0.1717 0.05982 0.2446 2.232 1.864 0.1158 0.3438 1 1 0.0774 0.2832 0.4336 0.1248 0.4564 0.699 json
t16_x7_u3_b109 16 7 3 109 dot(P,flr(dst(R,D))) 81029 130213135 o2(x,o1(o2(x,x))) true 136239 136239 -0.004906 0.4754 0.7083 0.6647 0.8153 -1 1 2 1 3.23 0.0268 0.02579 0.09488 0.01918 1 0.0001925 0.1448 0.1366 0.0436 0.2088 2.201 1.414 0.07912 0.2179 1 1 0.05732 0.2195 0.4178 0.08623 0.3303 0.6285 json
t16_x7_u3_b110 16 7 3 110 dst(P,flr(add(R,D))) 81030 130213136 o2(x,o1(o2(x,x))) true 136247 136247 0.9979 1 0.9979 0.001483 0.03851 0.0009937 1 0.999 1 0.04559 0.0001609 0.0003556 0.001121 -0.3771 1 4.505e-11 0.0009568 0.001479 0.0005147 0.02269 20.24 0.9771 0.3482 0.6451 1 1 0.001046 0.004408 0.005394 0.7054 2.972 3.637 json
t16_x7_u3_b111 16 7 3 111 dst(P,flr(sub(R,D))) 81031 130213137 o2(x,o1(o2(x,x))) true 136255 136255 0.9965 1 0.9965 0.00251 0.0501 0.0004116 1 0.9996 1 0.07698 0.0002607 0.0003912 0.001406 -0.2001 1 5.256e-11 0.001256 0.00185 0.0006508 0.02551 18.15 0.9896 0.2597 0.5003 1 1 0.001266 0.005593 0.009151 0.5045 2.228 3.646 json
t16_x7_u3_b112 16 7 3 112 dst(P,flr(mlt(R,D))) 81032 130213138 o2(x,o1(o2(x,x))) true 136263 136263 0.9975 1 0.9975 0.001647 0.04059 0.0008231 1 0.9992 1 0.06207 0.0004013 0.0003694 0.001479 0.04138 1 -2.628e-11 0.001548 0.001973 0.0007694 0.02774 18.75 1.413 0.4679 0.9396 1 1 0.001494 0.005436 0.005999 0.9073 3.301 3.642 json
t16_x7_u3_b113 16 7 3 113 dst(P,flr(div(R,D))) 81033 130213139 o2(x,o1(o2(x,x))) true 136271 136271 -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
t16_x7_u3_b114 16 7 3 114 dst(P,flr(pow(R,D))) 81034 130213140 o2(x,o1(o2(x,x))) true 136279 136279 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t16_x7_u3_b115 16 7 3 115 dst(P,flr(mod(R,D))) 81035 130213141 o2(x,o1(o2(x,x))) true 136287 136287 0.9973 1 0.9973 0.001754 0.04188 0.0005821 1 0.9994 1 0.06748 0.00003988 0.00005448 0.0007153 -0.1547 0 -2.816e-11 0.00002356 0.0002995 0.00009383 0.009686 13.54 0.2517 0.0538 0.01343 1 1 0.0003158 0.003275 0.006392 0.1801 1.867 3.645 json
t16_x7_u3_b116 16 7 3 116 dst(P,flr(lrg(R,D))) 81036 130213142 o2(x,o1(o2(x,x))) true 136295 136295 0.9975 1 0.9975 0.001789 0.0423 0.0005819 1 0.9994 1 0.05831 0.00004986 0.0001347 0.0007177 -0.4596 1 -3.004e-11 0.0002269 0.0006181 0.0001842 0.01357 18.91 0.7742 0.1031 0.1268 1 1 0.0004568 0.003538 0.006518 0.2553 1.978 3.643 json
t16_x7_u3_b117 16 7 3 117 dst(P,flr(eql(R,D))) 81037 130213143 o2(x,o1(o2(x,x))) true 136303 136303 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x7_u3_b118 16 7 3 118 dst(P,flr(min(R,D))) 81038 130213144 o2(x,o1(o2(x,x))) true 136311 136311 0.9986 1 0.9986 0.0009627 0.03103 0.0009936 1 0.999 1 0.03482 0.0002746 0.0001022 0.0007826 0.4574 1 3.191e-11 0.0006884 0.0009777 0.0003758 0.01939 24.77 1.413 0.3914 0.7151 1 1 0.0007713 0.003075 0.003498 0.8011 3.194 3.634 json
t16_x7_u3_b119 16 7 3 119 dst(P,flr(dot(R,D))) 81039 130213145 o2(x,o1(o2(x,x))) true 136319 136319 0.9989 1 0.9989 0.0007258 0.02694 0.0007027 1 0.9993 1 0.02862 0.0001666 0.0001224 0.0005868 0.1532 1 1.126e-11 0.0008497 0.0008787 0.0002885 0.01698 28.95 1.402 0.3981 1.171 1 1 0.0005612 0.002254 0.002641 0.7732 3.106 3.639 json
t16_x7_u3_b120 16 7 3 120 dst(P,flr(dst(R,D))) 81040 130213146 o2(x,o1(o2(x,x))) true 136327 136327 0.9994 1 0.9994 0.0002678 0.01637 0.1155 1 0.8845 1 0.02147 0.00008428 0.00006022 0.0003328 0.1665 1 1.126e-11 0.0004355 0.0004544 0.0001443 0.01201 36.1 1.227 0.5395 1.626 1 1 0.0002703 0.0009045 0.0009741 1.009 3.377 3.637 json
t16_x7_u4_b0 16 7 4 0 add(P,cil(add(R,D))) 81041 130213227 o2(x,o1(o2(x,x))) true 136335 136335 0.06627 0.5292 0.9337 0.9156 0.9569 -1 1 2 1 1.827 0.00507 0.00046 0.01546 0.8336 1 -0.00002021 0.00952 0.01704 0.005294 0.07276 4.706 0.9994 0.00604 0.0104 1 1 0.008404 0.05105 0.2777 0.009178 0.05575 0.3033 json
t16_x7_u4_b1 16 7 4 1 add(P,cil(sub(R,D))) 81042 130213228 o2(x,o1(o2(x,x))) true 136343 136343 0.06596 0.5289 0.9319 0.9118 0.9549 -1 1 2 1 1.887 0.005548 0.0004462 0.02022 0.8511 1 -0.00002057 0.009759 0.01993 0.005584 0.07472 3.696 0.9986 0.006574 0.0107 1 1 0.009145 0.0522 0.271 0.01003 0.05724 0.2971 json
t16_x7_u4_b2 16 7 4 2 add(P,cil(mlt(R,D))) 81043 130213229 o2(x,o1(o2(x,x))) true 136351 136351 0.06065 0.5312 0.9382 0.9215 0.9599 -1 1 2 1 1.811 0.007365 0.00023 0.01623 0.9394 1 8.881e-7 0.01321 0.01645 0.007335 0.08564 5.275 1 0.008243 0.01433 1 1 0.01163 0.05908 0.2717 0.01262 0.06412 0.2948 json
t16_x7_u4_b3 16 7 4 3 add(P,cil(div(R,D))) 81044 130213230 o2(x,o1(o2(x,x))) true 136359 136359 0.05156 0.5235 0.9484 0.9285 0.9636 -1 1 2 1 1.829 0.3207 0.02056 0.2123 0.8795 1 0.0008429 0.809 0.3714 0.2961 0.5441 2.563 2.828 0.3675 0.8712 1 1 0.3405 0.7464 0.8245 0.3667 0.8039 0.888 json
t16_x7_u4_b4 16 7 4 4 add(P,cil(pow(R,D))) 81045 130213231 o2(x,o1(o2(x,x))) true 136367 136367 -0.97 0.01563 0.9963 0.05425 0.2329 -1 1 2 1 0.1775 0.004509 0.006074 0.006705 -0.1478 1 -6.007e-11 0.02162 0.0114 0.01054 0.1026 15.31 2.828 0.1951 0.3985 1 1 0.00706 0.03421 0.08253 0.1301 0.6306 1.521 json
t16_x7_u4_b5 16 7 4 5 add(P,cil(mod(R,D))) 81046 130213232 o2(x,o1(o2(x,x))) true 136375 136375 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t16_x7_u4_b6 16 7 4 6 add(P,cil(lrg(R,D))) 81047 130213233 o2(x,o1(o2(x,x))) true 136383 136383 0.06314 0.5275 0.9321 0.9133 0.9557 -1 1 2 1 1.872 0.002589 0.0002254 0.01394 0.8398 1 -0.00001332 0.003498 0.009582 0.00262 0.05118 3.673 0.9986 0.003081 0.00383 1 1 0.005541 0.04145 0.2565 0.006067 0.04538 0.2809 json
t16_x7_u4_b7 16 7 4 7 add(P,cil(eql(R,D))) 81048 130213234 o2(x,o1(o2(x,x))) true 136391 136391 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x7_u4_b8 16 7 4 8 add(P,cil(min(R,D))) 81049 130213235 o2(x,o1(o2(x,x))) true 136399 136399 0.03125 0.5 0.9336 0.9229 0.9607 -1 1 2 1 1.716 0.003964 0.0001228 0.00908 0.9399 1 -0.000008557 0.007347 0.009205 0.004002 0.06326 6.967 1 0.004428 0.007961 1 1 0.005943 0.0364 0.2553 0.00644 0.03944 0.2766 json
t16_x7_u4_b9 16 7 4 9 add(P,cil(dot(R,D))) 81050 130213236 o2(x,o1(o2(x,x))) true 136407 136407 0.06095 0.5315 0.9395 0.9221 0.9602 -1 1 2 1 1.818 0.005581 0.003931 0.01902 0.1735 1 0.00002343 0.02793 0.02431 0.009154 0.09567 5.031 1.418 0.01032 0.03029 1 1 0.01408 0.06803 0.2623 0.01527 0.07378 0.2845 json
t16_x7_u4_b10 16 7 4 10 add(P,cil(dst(R,D))) 81051 130213237 o2(x,o1(o2(x,x))) true 136415 136415 0.2009 0.603 0.9379 0.8837 0.94 -1 1 2 1 1.788 0.003391 0.002719 0.01584 0.1099 1 -0.00001295 0.01618 0.01795 0.005856 0.07652 4.832 1.409 0.006915 0.01831 1 1 0.009416 0.0521 0.2482 0.01066 0.05896 0.2809 json
t16_x7_u4_b11 16 7 4 11 sub(P,cil(add(R,D))) 81052 130213238 o2(x,o1(o2(x,x))) true 136423 136423 -0.06942 0.4662 0.9284 0.9087 0.9533 -1 1 2 1 1.904 0.005652 0.0004702 0.02054 0.8464 1 0.00002293 0.009921 0.01997 0.005704 0.07552 3.678 0.9983 0.006738 0.01092 1 1 0.009251 0.05652 0.2625 0.01018 0.0622 0.2888 json
t16_x7_u4_b12 16 7 4 12 sub(P,cil(sub(R,D))) 81053 130213239 o2(x,o1(o2(x,x))) true 136431 136431 -0.07006 0.462 0.9314 0.9115 0.9547 -1 1 2 1 1.88 0.005294 0.0004608 0.01641 0.8399 1 0.00002259 0.009933 0.01763 0.005489 0.07409 4.516 1.113 0.006314 0.0109 1 1 0.008345 0.0525 0.2685 0.009156 0.05759 0.2946 json
t16_x7_u4_b13 16 7 4 13 sub(P,cil(mlt(R,D))) 81054 130213240 o2(x,o1(o2(x,x))) true 136439 136439 -0.06222 0.4759 0.9377 0.9191 0.9587 -1 1 2 1 1.851 0.007208 0.0002815 0.0172 0.9248 1 -0.000002143 0.01282 0.01638 0.007196 0.08483 4.933 1 0.00815 0.01395 1 1 0.01117 0.06078 0.2584 0.01215 0.06613 0.2812 json
t16_x7_u4_b14 16 7 4 14 sub(P,cil(div(R,D))) 81055 130213241 o2(x,o1(o2(x,x))) true 136447 136447 -0.05367 0.4741 0.9474 0.9275 0.9631 -1 1 2 1 1.834 0.324 0.02097 0.2151 0.8785 1 -0.0007951 0.8137 0.3755 0.2987 0.5465 2.541 2.828 0.3719 0.8773 1 1 0.3453 0.7581 0.8222 0.3723 0.8174 0.8865 json
t16_x7_u4_b15 16 7 4 15 sub(P,cil(pow(R,D))) 81056 130213242 o2(x,o1(o2(x,x))) true 136455 136455 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x7_u4_b16 16 7 4 16 sub(P,cil(mod(R,D))) 81057 130213243 o2(x,o1(o2(x,x))) true 136463 136463 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t16_x7_u4_b17 16 7 4 17 sub(P,cil(lrg(R,D))) 81058 130213244 o2(x,o1(o2(x,x))) true 136471 136471 -0.067 0.4548 0.9271 0.9111 0.9545 -1 1 2 1 1.812 0.00248 0.000243 0.01004 0.8215 1 0.00001554 0.003616 0.007898 0.002622 0.05121 5.099 1.113 0.002988 0.003969 1 1 0.005236 0.04179 0.2547 0.005747 0.04587 0.2796 json
t16_x7_u4_b18 16 7 4 18 sub(P,cil(eql(R,D))) 81059 130213245 o2(x,o1(o2(x,x))) true 136479 136479 -0.00004007 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007211 1.509e-7 0.007968 0.9996 1 -1.171e-7 0.00007649 0.001967 0.0006578 0.02565 3.219 0.4319 0.0007805 0.00008278 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t16_x7_u4_b19 16 7 4 19 sub(P,cil(min(R,D))) 81060 130213246 o2(x,o1(o2(x,x))) true 136487 136487 -0.03249 0.4839 0.935 0.9187 0.9585 -1 1 2 1 1.882 0.005565 0.0001359 0.01727 0.9523 1 0.000008556 0.008168 0.01271 0.005406 0.07352 4.256 0.9991 0.006206 0.008891 1 1 0.009422 0.05341 0.2431 0.01026 0.05814 0.2647 json
t16_x7_u4_b20 16 7 4 20 sub(P,cil(dot(R,D))) 81061 130213247 o2(x,o1(o2(x,x))) true 136495 136495 -0.06295 0.4711 0.9381 0.9189 0.9586 -1 1 2 1 1.867 0.005561 0.003994 0.02023 0.164 1 0.00003829 0.02791 0.02481 0.009143 0.09562 4.726 1.413 0.0104 0.03037 1 1 0.01391 0.06747 0.2568 0.01514 0.07342 0.2794 json
t16_x7_u4_b21 16 7 4 21 sub(P,cil(dst(R,D))) 81062 130213248 o2(x,o1(o2(x,x))) true 136503 136503 -0.1972 0.4021 0.943 0.8903 0.9436 -1 1 2 1 1.775 0.003678 0.00294 0.01658 0.1116 1 0.00001044 0.01811 0.01958 0.006343 0.07964 4.803 1.413 0.007434 0.02034 1 1 0.01037 0.05589 0.2619 0.01165 0.06278 0.2942 json
t16_x7_u4_b22 16 7 4 22 mlt(P,cil(add(R,D))) 81063 130213249 o2(x,o1(o2(x,x))) true 136511 136511 -0.05278 0.4522 0.7058 0.6552 0.8094 -1 1 2 1 3.321 0.06602 0.01007 0.1155 0.7352 1 0.0006877 0.1405 0.145 0.06276 0.2505 2.169 2.443 0.1161 0.2144 1 1 0.07984 0.3006 0.5892 0.1219 0.4589 0.8993 json
t16_x7_u4_b23 16 7 4 23 mlt(P,cil(sub(R,D))) 81064 130213250 o2(x,o1(o2(x,x))) true 136519 136519 0.02214 0.5094 0.7053 0.6582 0.8113 -1 1 2 1 3.293 0.0624 0.01006 0.1129 0.7224 1 0.0002197 0.1355 0.1426 0.05969 0.2443 2.164 2.505 0.1101 0.2059 1 1 0.06982 0.2911 0.5838 0.1061 0.4422 0.887 json
t16_x7_u4_b24 16 7 4 24 mlt(P,cil(mlt(R,D))) 81065 130213251 o2(x,o1(o2(x,x))) true 136527 136527 -0.00229 0.4636 0.6666 0.6214 0.7883 -1 1 2 1 3.311 0.04411 0.005342 0.09067 0.784 1 -0.00006782 0.08566 0.1132 0.04123 0.203 2.239 1 0.07957 0.1378 1 1 0.05622 0.2344 0.3397 0.09047 0.3772 0.5467 json
t16_x7_u4_b25 16 7 4 25 mlt(P,cil(div(R,D))) 81066 130213252 o2(x,o1(o2(x,x))) true 136535 136535 -0.02061 0.4752 0.8788 0.855 0.9247 -1 1 2 1 2.31 0.3194 0.06078 0.2409 0.6803 1 0.0002851 0.8443 0.4212 0.3222 0.5676 2.356 2.828 0.4447 0.9874 1 1 0.3822 1.381 1.415 0.447 1.615 1.655 json
t16_x7_u4_b26 16 7 4 26 mlt(P,cil(pow(R,D))) 81067 130213253 o2(x,o1(o2(x,x))) true 136543 136543 -0.9838 0.007813 0.9967 0.02824 0.168 -1 1 2 1 0.1184 0.002079 0.003425 0.003434 -0.2445 1 0 0.01141 0.006104 0.005493 0.07411 21.59 2.828 0.1949 0.4041 1 1 0.0007308 0.005116 0.02499 0.02588 0.1812 0.885 json
t16_x7_u4_b27 16 7 4 27 mlt(P,cil(mod(R,D))) 81068 130213254 o2(x,o1(o2(x,x))) true 136551 136551 -0.01528 0.4588 0.6308 0.5848 0.7647 -1 1 2 1 3.364 0.004633 0.00582 0.04992 -0.1136 1 -0.0001012 0.005193 0.02934 0.007964 0.08924 1.788 0.4702 0.01788 0.00888 1 1 0.01726 0.1505 0.3679 0.02952 0.2574 0.6291 json
t16_x7_u4_b28 16 7 4 28 mlt(P,cil(lrg(R,D))) 81069 130213255 o2(x,o1(o2(x,x))) true 136559 136559 0.00989 0.4662 0.6634 0.6168 0.7854 -1 1 2 1 3.335 0.02522 0.004964 0.07371 0.6711 1 0.00008339 0.04829 0.08034 0.02476 0.1574 2.135 1.099 0.04894 0.07829 1 1 0.03438 0.1787 0.341 0.05575 0.2897 0.5528 json
t16_x7_u4_b29 16 7 4 29 mlt(P,cil(eql(R,D))) 81070 130213256 o2(x,o1(o2(x,x))) true 136567 136567 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t16_x7_u4_b30 16 7 4 30 mlt(P,cil(min(R,D))) 81071 130213257 o2(x,o1(o2(x,x))) true 136575 136575 -0.05295 0.3205 0.3848 0.3378 0.5812 -1 1 2 1 3.253 0.03876 0.004177 0.08522 0.8054 1 -0.00037 0.07048 0.09565 0.03566 0.1888 2.216 1 0.1271 0.2087 1 1 0.04563 0.2063 0.2588 0.1351 0.6107 0.7663 json
t16_x7_u4_b31 16 7 4 31 mlt(P,cil(dot(R,D))) 81072 130213258 o2(x,o1(o2(x,x))) true 136583 136583 -0.009461 0.4498 0.6586 0.6153 0.7844 -1 1 2 1 3.276 0.03456 0.03454 0.1075 0.0004209 1 0.000188 0.2035 0.1674 0.05752 0.2398 2.23 1.521 0.1123 0.3308 1 1 0.07254 0.2717 0.3431 0.1179 0.4416 0.5576 json
t16_x7_u4_b32 16 7 4 32 mlt(P,cil(dst(R,D))) 81073 130213259 o2(x,o1(o2(x,x))) true 136591 136591 0.001853 0.5 0.9507 0.9409 0.97 -1 1 2 1 1.639 0.001206 0.0001961 0.008823 0.7203 1 -0.000003941 0.001275 0.005303 0.001324 0.03638 4.123 0.6992 0.00149 0.001355 1 1 0.00312 0.03053 0.2569 0.003316 0.03245 0.2731 json
t16_x7_u4_b33 16 7 4 33 div(P,cil(add(R,D))) 81074 130213260 o2(x,o1(o2(x,x))) true 136599 136599 -0.7365 0.127 0.9807 0.434 0.6588 -1 1 2 1 0.8615 0.1918 0.04902 0.13 0.5929 1 0.0002481 0.547 0.2518 0.2238 0.4731 3.638 2.828 0.5549 1.26 1 1 0.2238 0.6393 0.8018 0.5157 1.473 1.848 json
t16_x7_u4_b34 16 7 4 34 div(P,cil(sub(R,D))) 81075 130213261 o2(x,o1(o2(x,x))) true 136607 136607 -0.8252 0.09268 0.9768 0.2901 0.5386 -1 1 2 1 0.7665 0.1104 0.02691 0.07904 0.608 1 -3.239e-7 0.3141 0.1495 0.1311 0.3621 4.581 2.828 0.4733 1.083 1 1 0.127 0.3569 0.6024 0.4379 1.23 2.077 json
t16_x7_u4_b35 16 7 4 35 div(P,cil(mlt(R,D))) 81076 130213262 o2(x,o1(o2(x,x))) true 136615 136615 -0.8789 0.05859 0.9961 0.2228 0.472 -1 1 2 1 0.3979 0.02663 0.02476 0.02634 0.03625 1 0 0.1087 0.05227 0.05072 0.2252 8.551 2.828 0.2307 0.4879 1 1 0.0441 0.1792 0.3871 0.198 0.8046 1.738 json
t16_x7_u4_b36 16 7 4 36 div(P,cil(div(R,D))) 81077 130213263 o2(x,o1(o2(x,x))) true 136623 136623 -0.6134 0.1908 0.9083 0.5086 0.7131 -1 1 2 1 1.803 0.1741 0.04742 0.1621 0.5719 1 0.000114 0.4818 0.2807 0.1953 0.4419 2.726 2.828 0.4355 0.9473 1 1 0.2048 0.6498 0.9171 0.4027 1.278 1.803 json
t16_x7_u4_b37 16 7 4 37 div(P,cil(pow(R,D))) 81078 130213264 o2(x,o1(o2(x,x))) true 136631 136631 -0.9842 0.007813 0.994 0.02362 0.1537 -1 1 2 1 0.1583 0.001757 0.002797 0.003556 -0.2284 1 -4.881e-11 0.009436 0.006172 0.00454 0.06738 18.95 2.121 0.1928 0.3996 1 1 0.0007984 0.00415 0.02205 0.03381 0.1757 0.9338 json
t16_x7_u4_b38 16 7 4 38 div(P,cil(mod(R,D))) 81079 130213265 o2(x,o1(o2(x,x))) true 136639 136639 -0.9375 0.03125 0.9961 0.1163 0.3411 -1 1 2 1 0.2674 0.01315 0.01501 0.01469 -0.06614 1 3.754e-12 0.05977 0.02883 0.02795 0.1672 11.38 2.828 0.242 0.5137 1 1 0.02189 0.08942 0.1641 0.1882 0.7686 1.411 json
t16_x7_u4_b39 16 7 4 39 div(P,cil(lrg(R,D))) 81080 130213266 o2(x,o1(o2(x,x))) true 136647 136647 -0.9358 0.03442 0.9937 0.1171 0.3421 -1 1 2 1 0.2841 0.0366 0.01079 0.02541 0.5448 1 2.403e-10 0.1034 0.05061 0.04677 0.2163 8.511 2.828 0.4048 0.8835 1 1 0.04797 0.1594 0.2694 0.4098 1.362 2.301 json
t16_x7_u4_b40 16 7 4 40 div(P,cil(eql(R,D))) 81081 130213267 o2(x,o1(o2(x,x))) true 136655 136655 -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
t16_x7_u4_b41 16 7 4 41 div(P,cil(min(R,D))) 81082 130213268 o2(x,o1(o2(x,x))) true 136663 136663 -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
t16_x7_u4_b42 16 7 4 42 div(P,cil(dot(R,D))) 81083 130213269 o2(x,o1(o2(x,x))) true 136671 136671 -0.84 0.07898 0.9951 0.2882 0.5368 -1 1 2 1 0.4925 0.08221 0.08295 0.07848 -0.004428 1 -0.0001947 0.5154 0.1688 0.159 0.3988 5.081 2.828 0.5732 1.789 1 1 0.1609 0.4639 0.6217 0.5584 1.61 2.158 json
t16_x7_u4_b43 16 7 4 43 div(P,cil(dst(R,D))) 81084 130213270 o2(x,o1(o2(x,x))) true 136679 136679 -0.0009979 0.4998 0.9023 0.8752 0.9355 -1 1 2 1 2.272 0.001189 0.0007726 0.01182 0.2121 1 -0.00000184 0.004547 0.01077 0.001821 0.04267 3.611 0.7019 0.002241 0.005196 1 1 0.003405 0.02466 0.1876 0.00389 0.02818 0.2144 json
t16_x7_u4_b44 16 7 4 44 pow(P,cil(add(R,D))) 81085 130213271 o2(x,o1(o2(x,x))) true 136687 136687 -0.012 0.5063 0.9753 0.965 0.9823 -1 1 2 1 1.49 0.02687 0.002976 0.02366 0.8006 1 -0.0001931 0.06974 0.03936 0.0293 0.1712 7.235 2.828 0.03093 0.07227 1 1 0.03171 0.1119 0.3528 0.03286 0.1159 0.3656 json
t16_x7_u4_b45 16 7 4 45 pow(P,cil(sub(R,D))) 81086 130213272 o2(x,o1(o2(x,x))) true 136695 136695 -0.04083 0.4897 0.9797 0.9716 0.9857 -1 1 2 1 1.356 0.057 0.01037 0.04116 0.6921 1 0.0000101 0.1513 0.07726 0.06569 0.2563 6.227 2.828 0.06935 0.1557 1 1 0.08354 0.2644 0.5018 0.08598 0.2721 0.5164 json
t16_x7_u4_b46 16 7 4 46 pow(P,cil(mlt(R,D))) 81087 130213273 o2(x,o1(o2(x,x))) true 136703 136703 0.04492 0.5313 0.9824 0.9761 0.988 -1 1 2 1 1.303 0.02152 0.01135 0.02038 0.3093 1 0.000002852 0.06814 0.03581 0.03245 0.1801 8.837 2.828 0.03368 0.0698 1 1 0.03632 0.1532 0.4233 0.03721 0.157 0.4336 json
t16_x7_u4_b47 16 7 4 47 pow(P,cil(div(R,D))) 81088 130213274 o2(x,o1(o2(x,x))) true 136711 136711 -0.1103 0.4756 0.9386 0.9136 0.9558 -1 1 2 1 1.689 0.03432 0.008602 0.04444 0.5992 1 -0.000272 0.09221 0.07379 0.04093 0.2023 4.553 2.828 0.04698 0.1009 1 1 0.05271 0.1811 0.4425 0.05769 0.1982 0.4844 json
t16_x7_u4_b48 16 7 4 48 pow(P,cil(pow(R,D))) 81089 130213275 o2(x,o1(o2(x,x))) true 136719 136719 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0.01203 0.04862 0.1347 0.1794 0.725 2.009 json
t16_x7_u4_b49 16 7 4 49 pow(P,cil(mod(R,D))) 81090 130213276 o2(x,o1(o2(x,x))) true 136727 136727 0.07812 0.5469 0.9844 0.9743 0.9871 -1 1 2 1 1.277 0.0192 0.01438 0.02018 0.1437 1 0.000002852 0.06878 0.03587 0.03317 0.1821 9.025 2.828 0.03446 0.07059 1 1 0.03597 0.1552 0.5515 0.03692 0.1593 0.566 json
t16_x7_u4_b50 16 7 4 50 pow(P,cil(lrg(R,D))) 81091 130213277 o2(x,o1(o2(x,x))) true 136735 136735 0.08741 0.5537 0.98 0.9674 0.9836 -1 1 2 1 1.3 0.05371 0.01387 0.0378 0.5894 1 0.000002773 0.1545 0.07187 0.06618 0.2572 6.805 2.828 0.06986 0.1597 1 1 0.06436 0.2013 0.5047 0.06653 0.2081 0.5217 json
t16_x7_u4_b51 16 7 4 51 pow(P,cil(eql(R,D))) 81092 130213278 o2(x,o1(o2(x,x))) true 136743 136743 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
t16_x7_u4_b52 16 7 4 52 pow(P,cil(min(R,D))) 81093 130213279 o2(x,o1(o2(x,x))) true 136751 136751 0.2129 0.6133 0.9863 0.9376 0.9683 -1 1 2 1 1.215 0.04306 0.0318 0.04027 0.1505 1 0.000002852 0.1559 0.0771 0.07325 0.2706 6.721 2.828 0.07984 0.1663 1 1 0.07463 0.3082 0.7804 0.07959 0.3287 0.8324 json
t16_x7_u4_b53 16 7 4 53 pow(P,cil(dot(R,D))) 81094 130213280 o2(x,o1(o2(x,x))) true 136759 136759 0.04728 0.5339 0.9794 0.9711 0.9855 -1 1 2 1 1.346 0.04545 0.03717 0.04493 0.1002 1 0.00003588 0.2511 0.08983 0.08057 0.2838 6.317 2.828 0.08507 0.2585 1 1 0.08317 0.2533 0.4773 0.08564 0.2608 0.4915 json
t16_x7_u4_b54 16 7 4 54 pow(P,cil(dst(R,D))) 81095 130213281 o2(x,o1(o2(x,x))) true 136767 136767 -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
t16_x7_u4_b55 16 7 4 55 mod(P,cil(add(R,D))) 81096 130213282 o2(x,o1(o2(x,x))) true 136775 136775 -0.8614 0.01578 0.8651 0.1202 0.3466 -1 0.9264 1.926 1 0.8036 0.05531 0.01049 0.06534 0.6811 1 -0.0002331 0.1483 0.129 0.06148 0.248 3.795 2.631 0.5476 1.234 1 1 0.05699 0.1657 0.2541 0.4743 1.379 2.115 json
t16_x7_u4_b56 16 7 4 56 mod(P,cil(sub(R,D))) 81097 130213283 o2(x,o1(o2(x,x))) true 136783 136783 -0.8495 0.01898 0.8595 0.1342 0.3663 -1 0.9926 1.993 1 0.847 0.05408 0.01098 0.06428 0.6625 1 0.00001935 0.1473 0.1272 0.06094 0.2469 3.841 2.509 0.4849 1.097 1 1 0.0635 0.1747 0.2685 0.4732 1.302 2.001 json
t16_x7_u4_b57 16 7 4 57 mod(P,cil(mlt(R,D))) 81098 130213284 o2(x,o1(o2(x,x))) true 136791 136791 -0.9609 0 0.9609 0.03751 0.1937 -1 0 1 1 0.238 0.004913 0.004031 0.00888 0.09859 1 0 0.0189 0.01789 0.008867 0.09417 10.6 1.414 0.2384 0.5037 1 1 0.009474 0.03856 0.08399 0.2525 1.028 2.239 json
t16_x7_u4_b58 16 7 4 58 mod(P,cil(div(R,D))) 81099 130213285 o2(x,o1(o2(x,x))) true 136799 136799 -0.7312 0.09792 0.8582 0.3073 0.5543 -1 1 2 1 1.622 0.1395 0.02442 0.1325 0.7021 1 0.0003563 0.3775 0.247 0.1464 0.3826 2.888 2.828 0.5335 1.229 1 1 0.1456 0.3633 0.6067 0.4739 1.182 1.974 json