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
t11_x6_u20_b9 11 6 20 9 frc(dot(R,nrm(P))) 17800 89573046 o1(o2(x,o1(x))) true 142407 142407 0.4714 0.9844 0.5027 0.09375 0.3062 -1 0.9966 1.997 1 3.972 0.003325 0.002722 0.03535 0.09978 1 0.00001303 0.009314 0.01338 0.004798 0.06926 1.959 1.985 0.0645 0.09935 1 1 0 0 0.01097 0 0 0.117 json
t11_x6_u20_b10 11 6 20 10 frc(dst(R,nrm(P))) 17801 89573047 o1(o2(x,o1(x))) true 142415 142415 0.4988 0.9844 0.53 0.08886 0.2981 -1 0.9804 1.98 1 3.917 0.003383 0.003943 0.03426 -0.07641 1 0.000001673 0.01219 0.01394 0.006152 0.07844 2.289 2.033 0.08245 0.1371 1 1 0 0 0.01342 0 0 0.151 json
t11_x6_u21_b0 11 6 21 0 flr(add(R,sqt(P))) 17802 89573238 o1(o2(x,o1(x))) true 142423 142423 -0.09346 0.4721 0.9333 0.9072 0.9525 -1 1 2 1 1.889 0.002562 0.0004544 0.01351 0.6987 1 -0.00001426 0.00333 0.006609 0.002834 0.05324 3.941 1 0.003324 0.003671 1 1 0 0 0.005738 0 0 0.006325 json
t11_x6_u21_b1 11 6 21 1 flr(sub(R,sqt(P))) 17803 89573239 o1(o2(x,o1(x))) true 142431 142431 -0.9888 0 0.9888 0.008219 0.09066 -1 -0.000291 0.9997 1 0.2116 0.001805 0.00005792 0.003912 0.9378 1 -7.13e-7 0.003303 0.004267 0.001847 0.04298 10.99 0.9997 0.2266 0.4018 1 1 0 0 0.002877 0 0 0.3501 json
t11_x6_u21_b2 11 6 21 2 flr(mlt(R,sqt(P))) 17804 89573240 o1(o2(x,o1(x))) true 142439 142439 -0.6815 0.1076 0.817 0.3101 0.5569 -1 1 2 1 2.437 0.007914 0.00386 0.04352 0.3443 1 0.00001424 0.009571 0.02075 0.009879 0.09939 2.284 1 0.03796 0.03086 1 1 0 0 0.01666 0 0 0.05371 json
t11_x6_u21_b3 11 6 21 3 flr(div(R,sqt(P))) 17805 89573241 o1(o2(x,o1(x))) true 142447 142447 -0.8047 0 0.8047 0.1124 0.3352 -1 0 1 1 2.088 0.003141 0.001118 0.02617 0.4748 1 -0.00001853 0.00466 0.0108 0.003576 0.0598 2.285 1 0.03791 0.04147 1 1 0 0 0.006395 0 0 0.05691 json
t11_x6_u21_b4 11 6 21 4 flr(pow(R,sqt(P))) 17806 89573242 o1(o2(x,o1(x))) true 142455 142455 -0.9668 0.01953 0.9863 0.04955 0.2226 -1 0.9997 2 1 0.2345 0.006662 0.004057 0.007925 0.2431 1 3.004e-11 0.02226 0.01374 0.01065 0.1032 13.02 2 0.2163 0.4492 1 1 0 0 0.009522 0 0 0.1922 json
t11_x6_u21_b5 11 6 21 5 flr(mod(R,sqt(P))) 17807 89573243 o1(o2(x,o1(x))) true 142463 142463 -0.8047 0 0.8047 0.1124 0.3352 -1 0 1 1 2.088 0.003141 0.001118 0.02617 0.4748 1 -0.00001853 0.00466 0.0108 0.003576 0.0598 2.285 1 0.03791 0.04147 1 1 0 0 0.006395 0 0 0.05691 json
t11_x6_u21_b6 11 6 21 6 flr(lrg(R,sqt(P))) 17808 89573244 o1(o2(x,o1(x))) true 142471 142471 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0 0 0.001146 0 0 0.004753 json
t11_x6_u21_b7 11 6 21 7 flr(eql(R,sqt(P))) 17809 89573245 o1(o2(x,o1(x))) true 142479 142479 0 0 0 0 0 0 0 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
t11_x6_u21_b8 11 6 21 8 flr(min(R,sqt(P))) 17810 89573246 o1(o2(x,o1(x))) true 142487 142487 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x6_u21_b9 11 6 21 9 flr(dot(R,sqt(P))) 17811 89573247 o1(o2(x,o1(x))) true 142495 142495 -0.8041 0.09406 0.9286 0.2625 0.5124 -1 1 2 1 1.358 0.004955 0.005499 0.02711 -0.05198 1 -0.0000174 0.01035 0.01507 0.009718 0.09858 3.636 2 0.03982 0.03942 1 1 0 0 0.01415 0 0 0.05389 json
t11_x6_u21_b10 11 6 21 10 flr(dst(R,sqt(P))) 17812 89573248 o1(o2(x,o1(x))) true 142503 142503 -0.5052 0.25 0.9948 0.7383 0.8593 -1 1 2 1 0.8995 0.00716 0.007994 0.008537 -0.05507 1 -8.222e-10 0.03028 0.01563 0.01508 0.1228 14.38 2 0.02053 0.04101 1 1 0 0 0.01993 0 0 0.027 json
t11_x6_u22_b0 11 6 22 0 flr(add(R,log(P))) 17813 89573439 o1(o2(x,o1(x))) true 142511 142511 -0.2969 0.3759 0.8554 0.741 0.8608 -1 1 2 1 2.301 0.003071 0.0009352 0.01907 0.5331 1 0.000007126 0.004732 0.009698 0.003643 0.06036 3.165 1 0.005406 0.006386 1 1 0 0 0.006766 0 0 0.009131 json
t11_x6_u22_b1 11 6 22 1 flr(sub(R,log(P))) 17814 89573440 o1(o2(x,o1(x))) true 142519 142519 -0.9794 0 0.9794 0.0148 0.1217 -1 -0.000291 0.9997 1 0.3554 0.002539 0.0001858 0.006387 0.8637 1 0.000001695 0.004659 0.006395 0.002685 0.05182 8.113 0.9997 0.1841 0.3147 1 1 0 0 0.003826 0 0 0.2585 json
t11_x6_u22_b2 11 6 22 2 flr(mlt(R,log(P))) 17815 89573441 o1(o2(x,o1(x))) true 142527 142527 -0.7545 0.07179 0.8258 0.214 0.4626 -1 1 2 1 2.24 0.006274 0.002323 0.03577 0.4595 1 0.00004326 0.008564 0.01685 0.007319 0.08555 2.392 1 0.04017 0.04001 1 1 0 0 0.01238 0 0 0.05784 json
t11_x6_u22_b3 11 6 22 3 flr(div(R,log(P))) 17816 89573442 o1(o2(x,o1(x))) true 142535 142535 -0.8348 0.004028 0.8385 0.104 0.3224 -1 0.9991 1.999 1 1.861 0.00294 0.00101 0.02229 0.4885 1 -0.000007124 0.004444 0.008805 0.003456 0.05879 2.637 1.999 0.038 0.04274 1 1 0 0 0.0056 0 0 0.05386 json
t11_x6_u22_b4 11 6 22 4 flr(pow(R,log(P))) 17817 89573443 o1(o2(x,o1(x))) true 142543 142543 -0.9902 0.003906 0.9941 0.01315 0.1147 -1 0.9997 2 1 0.08411 0.001374 0.001044 0.001953 0.1366 1 2.253e-11 0.005022 0.003509 0.002413 0.04912 25.16 2 0.1838 0.3818 1 1 0 0 0 0 0 0 json
t11_x6_u22_b5 11 6 22 5 flr(mod(R,log(P))) 17818 89573444 o1(o2(x,o1(x))) true 142551 142551 -0.8369 0 0.8369 0.09872 0.3142 -1 0 1 1 1.837 0.002064 0.0009343 0.02149 0.3768 1 -0.000009976 0.002756 0.008046 0.002537 0.05037 2.344 0.9997 0.03037 0.02792 1 1 0 0 0.004274 0 0 0.04329 json
t11_x6_u22_b6 11 6 22 6 flr(lrg(R,log(P))) 17819 89573445 o1(o2(x,o1(x))) true 142559 142559 0.5762 0.6307 0.5762 0.2327 0.4824 0 1 1 1 1.503 0.0003116 0.000233 0.006399 0.1444 1 -0.000005705 0.00003051 0.00154 0.0005033 0.02243 3.506 0.1169 0.002341 0.0001311 1 1 0 0 0.001435 0 0 0.006167 json
t11_x6_u22_b7 11 6 22 7 flr(eql(R,log(P))) 17820 89573446 o1(o2(x,o1(x))) true 142567 142567 0 0 0 0 0 0 0 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
t11_x6_u22_b8 11 6 22 8 flr(min(R,log(P))) 17821 89573447 o1(o2(x,o1(x))) true 142575 142575 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0 0 0.01239 0 0 0.07763 json
t11_x6_u22_b9 11 6 22 9 flr(dot(R,log(P))) 17822 89573448 o1(o2(x,o1(x))) true 142583 142583 -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
t11_x6_u22_b10 11 6 22 10 flr(dst(R,log(P))) 17823 89573449 o1(o2(x,o1(x))) true 142591 142591 -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
t11_x6_u23_b0 11 6 23 0 flr(add(R,frc(P))) 17824 89573640 o1(o2(x,o1(x))) true 142599 142599 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x6_u23_b1 11 6 23 1 flr(sub(R,frc(P))) 17825 89573641 o1(o2(x,o1(x))) true 142607 142607 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x6_u23_b2 11 6 23 2 flr(mlt(R,frc(P))) 17826 89573642 o1(o2(x,o1(x))) true 142615 142615 0 0 0 0 0 0 0 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
t11_x6_u23_b3 11 6 23 3 flr(div(R,frc(P))) 17827 89573643 o1(o2(x,o1(x))) true 142623 142623 -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
t11_x6_u23_b4 11 6 23 4 flr(pow(R,frc(P))) 17828 89573644 o1(o2(x,o1(x))) true 142631 142631 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
t11_x6_u23_b5 11 6 23 5 flr(mod(R,frc(P))) 17829 89573645 o1(o2(x,o1(x))) true 142639 142639 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x6_u23_b6 11 6 23 6 flr(lrg(R,frc(P))) 17830 89573646 o1(o2(x,o1(x))) true 142647 142647 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x6_u23_b7 11 6 23 7 flr(eql(R,frc(P))) 17831 89573647 o1(o2(x,o1(x))) true 142655 142655 0 0 0 0 0 0 0 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
t11_x6_u23_b8 11 6 23 8 flr(min(R,frc(P))) 17832 89573648 o1(o2(x,o1(x))) true 142663 142663 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x6_u23_b9 11 6 23 9 flr(dot(R,frc(P))) 17833 89573649 o1(o2(x,o1(x))) true 142671 142671 0 0 0 0 0 0 0 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
t11_x6_u23_b10 11 6 23 10 flr(dst(R,frc(P))) 17834 89573650 o1(o2(x,o1(x))) true 142679 142679 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0 0 0.007899 0 0 0.04927 json
t11_x6_u24_b0 11 6 24 0 flr(add(R,flr(P))) 17835 89573841 o1(o2(x,o1(x))) true 142687 142687 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0 0 0.003407 0 0 0.00367 json
t11_x6_u24_b1 11 6 24 1 flr(sub(R,flr(P))) 17836 89573842 o1(o2(x,o1(x))) true 142695 142695 -0.06404 0.4692 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 -0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0 0 0.003125 0 0 0.003382 json
t11_x6_u24_b2 11 6 24 2 flr(mlt(R,flr(P))) 17837 89573843 o1(o2(x,o1(x))) true 142703 142703 -0.2757 0.2944 0.7289 0.5951 0.7714 -1 1 2 1 3.408 0.01658 0.01768 0.08607 -0.03202 1 -0.00003973 0.01955 0.04738 0.02686 0.1639 1.904 1.403 0.05758 0.03285 1 1 0 0 0.04788 0 0 0.08046 json
t11_x6_u24_b3 11 6 24 3 flr(div(R,flr(P))) 17838 89573844 o1(o2(x,o1(x))) true 142711 142711 -0.5898 0 0.5898 0.1582 0.3977 -1 0 1 1 3.342 0.005388 0.002174 0.04902 0.425 1 -0.00003637 0.007749 0.0193 0.00516 0.07183 1.465 1 0.0478 0.04899 1 1 0 0 0.01195 0 0 0.07556 json
t11_x6_u24_b4 11 6 24 4 flr(pow(R,flr(P))) 17839 89573845 o1(o2(x,o1(x))) true 142719 142719 -0.8652 0.07031 0.9863 0.2357 0.4855 -1 1 2 1 0.5031 0.02052 0.02069 0.02308 -0.004008 1 3.004e-11 0.08573 0.04422 0.04065 0.2016 8.736 2.828 0.1748 0.3637 1 1 0 0 0.04117 0 0 0.1746 json
t11_x6_u24_b5 11 6 24 5 flr(mod(R,flr(P))) 17840 89573846 o1(o2(x,o1(x))) true 142727 142727 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0 0 0.01239 0 0 0.07763 json
t11_x6_u24_b6 11 6 24 6 flr(lrg(R,flr(P))) 17841 89573847 o1(o2(x,o1(x))) true 142735 142735 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0 0 0.001146 0 0 0.004753 json
t11_x6_u24_b7 11 6 24 7 flr(eql(R,flr(P))) 17842 89573848 o1(o2(x,o1(x))) true 142743 142743 0 0 0 0 0 0 0 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
t11_x6_u24_b8 11 6 24 8 flr(min(R,flr(P))) 17843 89573849 o1(o2(x,o1(x))) true 142751 142751 -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 0 0.005145 0 0 0.04012 json
t11_x6_u24_b9 11 6 24 9 flr(dot(R,flr(P))) 17844 89573850 o1(o2(x,o1(x))) true 142759 142759 -0.2276 0.372 0.8476 0.755 0.8689 -1 1 2 1 2.766 0.025 0.03234 0.1003 -0.1281 1 0.00009661 0.04594 0.07343 0.04726 0.2174 2.168 1.87 0.07594 0.06084 1 1 0 0 0.07293 0 0 0.0966 json
t11_x6_u24_b10 11 6 24 10 flr(dst(R,flr(P))) 17845 89573851 o1(o2(x,o1(x))) true 142767 142767 0.9883 1 0.9883 0.008047 0.08971 0.000291 1 0.9997 1 0.2363 0.000133 0.00019 0.002537 -0.1766 1 -1.389e-10 0.00008177 0.001006 0.0003163 0.01778 7.009 0.3082 0.04014 0.01016 1 1 0 0 0.001079 0 0 0.1341 json
t11_x6_u25_b0 11 6 25 0 flr(add(R,cil(P))) 17846 89574042 o1(o2(x,o1(x))) true 142775 142775 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0 0 0.003407 0 0 0.00367 json
t11_x6_u25_b1 11 6 25 1 flr(sub(R,cil(P))) 17847 89574043 o1(o2(x,o1(x))) true 142783 142783 -0.06404 0.4692 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 -0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0 0 0.003125 0 0 0.003382 json
t11_x6_u25_b2 11 6 25 2 flr(mlt(R,cil(P))) 17848 89574044 o1(o2(x,o1(x))) true 142791 142791 -0.2757 0.2944 0.7289 0.5951 0.7714 -1 1 2 1 3.408 0.01658 0.01768 0.08607 -0.03202 1 -0.00003973 0.01955 0.04738 0.02686 0.1639 1.904 1.403 0.05758 0.03285 1 1 0 0 0.04788 0 0 0.08046 json
t11_x6_u25_b3 11 6 25 3 flr(div(R,cil(P))) 17849 89574045 o1(o2(x,o1(x))) true 142799 142799 -0.5898 0 0.5898 0.1582 0.3977 -1 0 1 1 3.342 0.005388 0.002174 0.04902 0.425 1 -0.00003637 0.007749 0.0193 0.00516 0.07183 1.465 1 0.0478 0.04899 1 1 0 0 0.01195 0 0 0.07556 json
t11_x6_u25_b4 11 6 25 4 flr(pow(R,cil(P))) 17850 89574046 o1(o2(x,o1(x))) true 142807 142807 -0.8652 0.07031 0.9863 0.2357 0.4855 -1 1 2 1 0.5031 0.02052 0.02069 0.02308 -0.004008 1 3.004e-11 0.08573 0.04422 0.04065 0.2016 8.736 2.828 0.1748 0.3637 1 1 0 0 0.04117 0 0 0.1746 json
t11_x6_u25_b5 11 6 25 5 flr(mod(R,cil(P))) 17851 89574047 o1(o2(x,o1(x))) true 142815 142815 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0 0 0.01239 0 0 0.07763 json
t11_x6_u25_b6 11 6 25 6 flr(lrg(R,cil(P))) 17852 89574048 o1(o2(x,o1(x))) true 142823 142823 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0 0 0.001146 0 0 0.004753 json
t11_x6_u25_b7 11 6 25 7 flr(eql(R,cil(P))) 17853 89574049 o1(o2(x,o1(x))) true 142831 142831 0 0 0 0 0 0 0 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
t11_x6_u25_b8 11 6 25 8 flr(min(R,cil(P))) 17854 89574050 o1(o2(x,o1(x))) true 142839 142839 -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 0 0.005145 0 0 0.04012 json
t11_x6_u25_b9 11 6 25 9 flr(dot(R,cil(P))) 17855 89574051 o1(o2(x,o1(x))) true 142847 142847 -0.2276 0.372 0.8476 0.755 0.8689 -1 1 2 1 2.766 0.025 0.03234 0.1003 -0.1281 1 0.00009661 0.04594 0.07343 0.04726 0.2174 2.168 1.87 0.07594 0.06084 1 1 0 0 0.07293 0 0 0.0966 json
t11_x6_u25_b10 11 6 25 10 flr(dst(R,cil(P))) 17856 89574052 o1(o2(x,o1(x))) true 142855 142855 0.9883 1 0.9883 0.008047 0.08971 0.000291 1 0.9997 1 0.2363 0.000133 0.00019 0.002537 -0.1766 1 -1.389e-10 0.00008177 0.001006 0.0003163 0.01778 7.009 0.3082 0.04014 0.01016 1 1 0 0 0.001079 0 0 0.1341 json
t11_x6_u26_b0 11 6 26 0 flr(add(R,sgn(P))) 17857 89574243 o1(o2(x,o1(x))) true 142863 142863 -0.2913 0.4334 0.7126 0.5725 0.7566 -1 1 2 1 3.026 0.001753 0.001318 0.03167 0.1417 1 -0.0000278 0.0002108 0.007831 0.002066 0.04546 1.435 0.2338 0.005363 0.0003683 1 1 0 0 0.006471 0 0 0.0113 json
t11_x6_u26_b1 11 6 26 1 flr(sub(R,sgn(P))) 17858 89574244 o1(o2(x,o1(x))) true 142871 142871 -0.2661 0.4285 0.7397 0.6198 0.7873 -1 1 2 1 2.962 0.001558 0.001236 0.02881 0.1152 1 0.000008567 0.0001949 0.007101 0.001965 0.04433 1.538 0.2338 0.004509 0.0003145 1 1 0 0 0.005935 0 0 0.009574 json
t11_x6_u26_b2 11 6 26 2 flr(mlt(R,sgn(P))) 17859 89574245 o1(o2(x,o1(x))) true 142879 142879 -0.4941 0 0.4941 0.1569 0.3961 -1 0 1 1 3.605 0.001946 0.002332 0.05014 -0.09022 1 -0.00003637 0.0002504 0.01218 0.001764 0.042 0.8377 0.1169 0.02726 0.001596 1 1 0 0 0.00831 0 0 0.05296 json
t11_x6_u26_b3 11 6 26 3 flr(div(R,sgn(P))) 17860 89574246 o1(o2(x,o1(x))) true 142887 142887 -0.5898 0 0.5898 0.1582 0.3977 -1 0 1 1 3.342 0.005388 0.002174 0.04902 0.425 1 -0.00003637 0.007749 0.0193 0.00516 0.07183 1.465 1 0.0478 0.04899 1 1 0 0 0.01195 0 0 0.07556 json
t11_x6_u26_b4 11 6 26 4 flr(pow(R,sgn(P))) 17861 89574247 o1(o2(x,o1(x))) true 142895 142895 -0.8652 0.07031 0.9863 0.2357 0.4855 -1 1 2 1 0.5031 0.02052 0.02069 0.02308 -0.004008 1 3.004e-11 0.08573 0.04422 0.04065 0.2016 8.736 2.828 0.1748 0.3637 1 1 0 0 0.04117 0 0 0.1746 json
t11_x6_u26_b5 11 6 26 5 flr(mod(R,sgn(P))) 17862 89574248 o1(o2(x,o1(x))) true 142903 142903 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0 0 0.01239 0 0 0.07763 json
t11_x6_u26_b6 11 6 26 6 flr(lrg(R,sgn(P))) 17863 89574249 o1(o2(x,o1(x))) true 142911 142911 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0 0 0.001146 0 0 0.004753 json
t11_x6_u26_b7 11 6 26 7 flr(eql(R,sgn(P))) 17864 89574250 o1(o2(x,o1(x))) true 142919 142919 0 0 0 0 0 0 0 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
t11_x6_u26_b8 11 6 26 8 flr(min(R,sgn(P))) 17865 89574251 o1(o2(x,o1(x))) true 142927 142927 -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 0 0.005145 0 0 0.04012 json
t11_x6_u26_b9 11 6 26 9 flr(dot(R,sgn(P))) 17866 89574252 o1(o2(x,o1(x))) true 142935 142935 -0.4298 0.188 0.6102 0.3325 0.5766 -1 1 2 1 3.979 0.005042 0.00596 0.07349 -0.0834 1 0.00001716 0.00143 0.0208 0.005602 0.07485 1.018 0.3506 0.03309 0.004301 1 1 0 0 0.02116 0 0 0.06363 json
t11_x6_u26_b10 11 6 26 10 flr(dst(R,sgn(P))) 17867 89574253 o1(o2(x,o1(x))) true 142943 142943 0.8565 0.9913 0.8565 0.083 0.2881 0 1 1 1 1.813 0.001515 0.001665 0.02716 -0.04707 1 -0.00003641 0.0006073 0.00953 0.002441 0.04941 1.819 0.2278 0.03831 0.007317 1 1 0 0 0.006256 0 0 0.07537 json
t11_x6_u27_b0 11 6 27 0 flr(add(R,nrm(P))) 17868 89574444 o1(o2(x,o1(x))) true 142951 142951 -0.3575 0.277 0.6432 0.4419 0.6648 -1 1 2 1 3.757 0.003548 0.003866 0.04715 -0.04281 1 0.00005969 0.005768 0.01559 0.005191 0.07205 1.528 2.828 0.01678 0.01305 1 1 0 0 0.0141 0 0 0.03191 json
t11_x6_u27_b1 11 6 27 1 flr(sub(R,nrm(P))) 17869 89574445 o1(o2(x,o1(x))) true 142959 142959 -0.3255 0.3335 0.7009 0.5297 0.7278 -1 1 2 1 3.553 0.003424 0.003801 0.04388 -0.05213 1 0.00004954 0.005773 0.01421 0.005299 0.07279 1.659 2 0.01364 0.0109 1 1 0 0 0.01372 0 0 0.02591 json
t11_x6_u27_b2 11 6 27 2 flr(mlt(R,nrm(P))) 17870 89574446 o1(o2(x,o1(x))) true 142967 142967 -0.5059 0 0.5059 0.1584 0.398 -1 0 1 1 3.579 0.002306 0.002998 0.05051 -0.1306 1 -0.00003637 0.002522 0.01447 0.002752 0.05246 1.039 1.414 0.03348 0.01592 1 1 0 0 0.009991 0 0 0.06307 json
t11_x6_u27_b3 11 6 27 3 flr(div(R,nrm(P))) 17871 89574447 o1(o2(x,o1(x))) true 142975 142975 -0.5163 0.1322 0.6795 0.3384 0.5817 -1 1 2 1 3.513 0.01755 0.006616 0.06722 0.4525 1 -0.00000164 0.02961 0.03483 0.01965 0.1402 2.086 2.176 0.07142 0.08749 1 1 0 0 0.03307 0 0 0.09773 json
t11_x6_u27_b4 11 6 27 4 flr(pow(R,nrm(P))) 17872 89574448 o1(o2(x,o1(x))) true 142983 142983 -0.8652 0.07031 0.9863 0.2357 0.4855 -1 1 2 1 0.5031 0.02052 0.02069 0.02308 -0.004008 1 3.004e-11 0.08573 0.04422 0.04065 0.2016 8.736 2.828 0.1748 0.3637 1 1 0 0 0.04117 0 0 0.1746 json
t11_x6_u27_b5 11 6 27 5 flr(mod(R,nrm(P))) 17873 89574449 o1(o2(x,o1(x))) true 142991 142991 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0 0 0.01239 0 0 0.07763 json
t11_x6_u27_b6 11 6 27 6 flr(lrg(R,nrm(P))) 17874 89574450 o1(o2(x,o1(x))) true 142999 142999 0.4951 0.6976 0.4951 0.209 0.4572 0 1 1 1 2.397 0.0009843 0.0009446 0.02273 0.0206 1 0.00001354 0.0001082 0.005442 0.001412 0.03757 1.653 0.1169 0.009227 0.0005174 1 1 0 0 0.004019 0 0 0.01923 json
t11_x6_u27_b7 11 6 27 7 flr(eql(R,nrm(P))) 17875 89574451 o1(o2(x,o1(x))) true 143007 143007 0 0 0 0 0 0 0 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
t11_x6_u27_b8 11 6 27 8 flr(min(R,nrm(P))) 17876 89574452 o1(o2(x,o1(x))) true 143015 143015 -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 0 0.005145 0 0 0.04012 json
t11_x6_u27_b9 11 6 27 9 flr(dot(R,nrm(P))) 17877 89574453 o1(o2(x,o1(x))) true 143023 143023 -0.5116 0.0766 0.5779 0.2241 0.4733 -1 1 2 1 3.778 0.003801 0.004676 0.06076 -0.1032 1 -0.00005623 0.004213 0.01825 0.004786 0.06918 1.139 2.827 0.03783 0.0188 1 1 0 0 0.01506 0 0 0.06721 json
t11_x6_u27_b10 11 6 27 10 flr(dst(R,nrm(P))) 17878 89574454 o1(o2(x,o1(x))) true 143031 143031 0.7234 0.974 0.7546 0.1654 0.4067 -1 1 2 1 2.735 0.004243 0.003934 0.04169 0.03777 1 0.00004015 0.009555 0.01665 0.006439 0.08025 1.925 2.003 0.04945 0.05778 1 1 0 0 0.01501 0 0 0.09077 json
t11_x6_u28_b0 11 6 28 0 cil(add(R,sqt(P))) 17879 89574645 o1(o2(x,o1(x))) true 143039 143039 -0.0134 0.5 0.9866 0.983 0.9915 -1 1 2 1 1.215 0.0094 0.00005802 0.008352 0.9877 1 -0.000007134 0.01823 0.01241 0.009384 0.09687 11.6 2 0.009621 0.01854 1 1 0 0 0.01318 0 0 0.01341 json
t11_x6_u28_b1 11 6 28 1 cil(sub(R,sqt(P))) 17880 89574646 o1(o2(x,o1(x))) true 143047 143047 -0.9019 0.02219 0.9243 0.09637 0.3104 -1 0.9997 2 1 1.041 0.00977 0.0004169 0.01533 0.9182 1 -0.00001382 0.01839 0.014 0.009956 0.09978 6.508 2 0.1057 0.1909 1 1 0 0 0.01511 0 0 0.1568 json
t11_x6_u28_b2 11 6 28 2 cil(mlt(R,sqt(P))) 17881 89574647 o1(o2(x,o1(x))) true 143055 143055 -0.3525 0.3636 0.7915 0.6217 0.7885 -1 1 2 1 2.851 0.007415 0.00398 0.04404 0.3015 1 -0.00006495 0.00942 0.02114 0.009459 0.09726 2.208 1 0.01833 0.01515 1 1 0 0 0.01614 0 0 0.02596 json
t11_x6_u28_b3 11 6 28 3 cil(div(R,sqt(P))) 17882 89574648 o1(o2(x,o1(x))) true 143063 143063 -0.3672 0.3986 0.7578 0.5783 0.7605 -1 1 2 1 2.518 0.01215 0.001118 0.03013 0.8314 1 -0.00001853 0.02269 0.01873 0.01236 0.1112 3.69 2 0.02294 0.03923 1 1 0 0 0.01774 0 0 0.03068 json
t11_x6_u28_b4 11 6 28 4 cil(pow(R,sqt(P))) 17883 89574649 o1(o2(x,o1(x))) true 143071 143071 -0.9531 0.02344 1 0.09148 0.3025 -1 1 2 1 0.1603 0.01109 0.007811 0.009393 0.1733 1 0 0.03956 0.0189 0.01881 0.1371 14.6 2.828 0.2066 0.4324 1 1 0 0 0.01507 0 0 0.1647 json
t11_x6_u28_b5 11 6 28 5 cil(mod(R,sqt(P))) 17884 89574650 o1(o2(x,o1(x))) true 143079 143079 -0.3672 0.3986 0.7578 0.5783 0.7605 -1 1 2 1 2.518 0.01215 0.001118 0.03013 0.8314 1 -0.00001853 0.02269 0.01873 0.01236 0.1112 3.69 2 0.02294 0.03923 1 1 0 0 0.01774 0 0 0.03068 json
t11_x6_u28_b6 11 6 28 6 cil(lrg(R,sqt(P))) 17885 89574651 o1(o2(x,o1(x))) true 143087 143087 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0 0 0.001146 0 0 0.004753 json
t11_x6_u28_b7 11 6 28 7 cil(eql(R,sqt(P))) 17886 89574652 o1(o2(x,o1(x))) true 143095 143095 0 0 0 0 0 0 0 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
t11_x6_u28_b8 11 6 28 8 cil(min(R,sqt(P))) 17887 89574653 o1(o2(x,o1(x))) true 143103 143103 0.4551 0.9009 0.4551 0.1532 0.3914 0 1 1 1 3.405 0.002041 0.002332 0.05121 -0.06649 1 -0.00001211 0.0002549 0.01243 0.001751 0.04185 0.8172 0.1169 0.02854 0.001664 1 1 0 0 0.008456 0 0 0.05518 json
t11_x6_u28_b9 11 6 28 9 cil(dot(R,sqt(P))) 17888 89574654 o1(o2(x,o1(x))) true 143111 143111 -0.6716 0.1747 0.937 0.4691 0.6849 -1 1 2 1 1.471 0.007754 0.007474 0.02631 0.01838 1 -0.00006541 0.0217 0.01985 0.01453 0.1205 4.582 2 0.03246 0.04625 1 1 0 0 0.02154 0 0 0.04591 json
t11_x6_u28_b10 11 6 28 10 cil(dst(R,sqt(P))) 17889 89574655 o1(o2(x,o1(x))) true 143119 143119 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0 0 0.02105 0 0 0.02807 json
t11_x6_u29_b0 11 6 29 0 cil(add(R,log(P))) 17890 89574846 o1(o2(x,o1(x))) true 143127 143127 -0.1387 0.4375 0.9863 0.9627 0.9812 -1 1 2 1 1.246 0.01143 0.0001131 0.009288 0.9804 1 -0.000006956 0.02255 0.0138 0.01146 0.107 11.52 2 0.01199 0.02343 1 1 0 0 0.01476 0 0 0.01533 json
t11_x6_u29_b1 11 6 29 1 cil(sub(R,log(P))) 17891 89574847 o1(o2(x,o1(x))) true 143135 143135 -0.8537 0.04092 0.8949 0.1388 0.3725 -1 0.9997 2 1 1.548 0.01241 0.0009002 0.02438 0.8647 1 0.00001828 0.02285 0.01786 0.01272 0.1128 4.626 2 0.0959 0.1646 1 1 0 0 0.01923 0 0 0.1386 json
t11_x6_u29_b2 11 6 29 2 cil(mlt(R,log(P))) 17892 89574848 o1(o2(x,o1(x))) true 143143 143143 -0.4292 0.3263 0.7864 0.561 0.749 -1 1 2 1 2.652 0.005981 0.002476 0.03484 0.4145 1 -0.00003879 0.008551 0.01688 0.007246 0.08513 2.444 1 0.01507 0.01524 1 1 0 0 0.01186 0 0 0.02115 json
t11_x6_u29_b3 11 6 29 3 cil(div(R,log(P))) 17893 89574849 o1(o2(x,o1(x))) true 143151 143151 -0.4628 0.3342 0.7894 0.5381 0.7335 -1 1 2 1 2.274 0.009202 0.0009831 0.02562 0.8069 1 -0.000009534 0.01695 0.01577 0.009535 0.09765 3.812 2 0.01893 0.0315 1 1 0 0 0.01347 0 0 0.02503 json
t11_x6_u29_b4 11 6 29 4 cil(pow(R,log(P))) 17894 89574850 o1(o2(x,o1(x))) true 143159 143159 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.002771 0.002771 0.002771 0 1 0 0.01159 0.005543 0.005537 0.07441 26.85 2 0.1788 0.3738 1 1 0 0 0 0 0 0 json
t11_x6_u29_b5 11 6 29 5 cil(mod(R,log(P))) 17895 89574851 o1(o2(x,o1(x))) true 143167 143167 -0.4619 0.3369 0.7881 0.5368 0.7327 -1 1 2 1 2.254 0.009244 0.0009343 0.02546 0.8164 1 -0.000009978 0.01712 0.01597 0.009529 0.09761 3.835 2 0.01896 0.03189 1 1 0 0 0.01309 0 0 0.02438 json
t11_x6_u29_b6 11 6 29 6 cil(lrg(R,log(P))) 17896 89574852 o1(o2(x,o1(x))) true 143175 143175 0.5762 0.6307 0.5762 0.2327 0.4824 0 1 1 1 1.503 0.0003116 0.000233 0.006399 0.1444 1 -0.000005705 0.00003051 0.00154 0.0005033 0.02243 3.506 0.1169 0.002341 0.0001311 1 1 0 0 0.001435 0 0 0.006167 json
t11_x6_u29_b7 11 6 29 7 cil(eql(R,log(P))) 17897 89574853 o1(o2(x,o1(x))) true 143183 143183 0 0 0 0 0 0 0 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
t11_x6_u29_b8 11 6 29 8 cil(min(R,log(P))) 17898 89574854 o1(o2(x,o1(x))) true 143191 143191 0.2734 0.7782 0.5234 0.3674 0.6061 -1 1 2 1 3.5 0.01616 0.002086 0.05379 0.7713 1 0.000005006 0.02928 0.03097 0.01535 0.1239 2.303 2 0.04966 0.07971 1 1 0 0 0.02561 0 0 0.0697 json
t11_x6_u29_b9 11 6 29 9 cil(dot(R,log(P))) 17899 89574855 o1(o2(x,o1(x))) true 143199 143199 -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