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_x0_u3_b109 16 0 3 109 dot(P,flr(dst(P,P))) 75100 129930328 o2(x,o1(o2(x,x))) true 88807 88807 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
t16_x0_u3_b110 16 0 3 110 dst(P,flr(add(P,P))) 75101 129930329 o2(x,o1(o2(x,x))) true 88815 88815 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_x0_u3_b111 16 0 3 111 dst(P,flr(sub(P,P))) 75102 129930330 o2(x,o1(o2(x,x))) true 88823 88823 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_x0_u3_b112 16 0 3 112 dst(P,flr(mlt(P,P))) 75103 129930331 o2(x,o1(o2(x,x))) true 88831 88831 0.989 0.9961 0.989 0.009418 0.09705 0 1 1 1 0.1504 0.0001341 0.0001341 0.001582 -3.797e-7 1 -1.652e-10 0.00007401 0.0007952 0.0002656 0.0163 10.3 0.2415 0.02849 0.007858 1 1 0.0008883 0.008472 0.03463 0.09433 0.8996 3.677 json
t16_x0_u3_b113 16 0 3 113 dst(P,flr(div(P,P))) 75104 129930332 o2(x,o1(o2(x,x))) true 88839 88839 -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_x0_u3_b114 16 0 3 114 dst(P,flr(pow(P,P))) 75105 129930333 o2(x,o1(o2(x,x))) true 88847 88847 -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.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t16_x0_u3_b115 16 0 3 115 dst(P,flr(mod(P,P))) 75106 129930334 o2(x,o1(o2(x,x))) true 88855 88855 -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_x0_u3_b116 16 0 3 116 dst(P,flr(lrg(P,P))) 75107 129930335 o2(x,o1(o2(x,x))) true 88863 88863 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_x0_u3_b117 16 0 3 117 dst(P,flr(eql(P,P))) 75108 129930336 o2(x,o1(o2(x,x))) true 88871 88871 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_x0_u3_b118 16 0 3 118 dst(P,flr(min(P,P))) 75109 129930337 o2(x,o1(o2(x,x))) true 88879 88879 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
t16_x0_u3_b119 16 0 3 119 dst(P,flr(dot(P,P))) 75110 129930338 o2(x,o1(o2(x,x))) true 88887 88887 0.9982 1 0.9982 0.001283 0.03583 0.0008232 1 0.9992 1 0.04415 0.00005219 0.00005219 0.000598 -6.97e-8 1 3.379e-11 0.00004116 0.0003428 0.0001041 0.0102 17.06 0.2708 0.08133 0.03207 1 1 0.0003411 0.003076 0.004678 0.2658 2.397 3.645 json
t16_x0_u3_b120 16 0 3 120 dst(P,flr(dst(P,P))) 75111 129930339 o2(x,o1(o2(x,x))) true 88895 88895 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_x0_u4_b0 16 0 4 0 add(P,cil(add(P,P))) 75112 129930420 o2(x,o1(o2(x,x))) true 88903 88903 0 0.5 0.9641 0.9583 0.9789 -1 1 2 1 1.379 0.001774 0 0.007937 1 1 0 0.0008204 0.004879 0.001711 0.04136 5.211 0.3082 0.001851 0.0008561 1 1 0.004162 0.03603 0.2806 0.004343 0.0376 0.2928 json
t16_x0_u4_b1 16 0 4 1 add(P,cil(sub(P,P))) 75113 129930421 o2(x,o1(o2(x,x))) true 88911 88911 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
t16_x0_u4_b2 16 0 4 2 add(P,cil(mlt(P,P))) 75114 129930422 o2(x,o1(o2(x,x))) true 88919 88919 0.8944 0.9375 0.8944 0.08685 0.2947 0 1 1 1 0.7463 0.001303 0 0.007937 1 1 -1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0.003279 0.03186 0.132 0.03776 0.3669 1.52 json
t16_x0_u4_b3 16 0 4 3 add(P,cil(div(P,P))) 75115 129930423 o2(x,o1(o2(x,x))) true 88927 88927 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 0.03975 0.02473 0.01993 0.1412 8.896 2 0.0212 0.04173 1 1 0.0272 0.1109 0.3698 0.02856 0.1164 0.3883 json
t16_x0_u4_b4 16 0 4 4 add(P,cil(pow(P,P))) 75116 129930424 o2(x,o1(o2(x,x))) true 88935 88935 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u4_b5 16 0 4 5 add(P,cil(mod(P,P))) 75117 129930425 o2(x,o1(o2(x,x))) true 88943 88943 -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
t16_x0_u4_b6 16 0 4 6 add(P,cil(lrg(P,P))) 75118 129930426 o2(x,o1(o2(x,x))) true 88951 88951 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
t16_x0_u4_b7 16 0 4 7 add(P,cil(eql(P,P))) 75119 129930427 o2(x,o1(o2(x,x))) true 88959 88959 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
t16_x0_u4_b8 16 0 4 8 add(P,cil(min(P,P))) 75120 129930428 o2(x,o1(o2(x,x))) true 88967 88967 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
t16_x0_u4_b9 16 0 4 9 add(P,cil(dot(P,P))) 75121 129930429 o2(x,o1(o2(x,x))) true 88975 88975 0.9937 1 0.9937 0.004639 0.06811 0.000291 1 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 -3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t16_x0_u4_b10 16 0 4 10 add(P,cil(dst(P,P))) 75122 129930430 o2(x,o1(o2(x,x))) true 88983 88983 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
t16_x0_u4_b11 16 0 4 11 sub(P,cil(add(P,P))) 75123 129930431 o2(x,o1(o2(x,x))) true 88991 88991 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
t16_x0_u4_b12 16 0 4 12 sub(P,cil(sub(P,P))) 75124 129930432 o2(x,o1(o2(x,x))) true 88999 88999 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
t16_x0_u4_b13 16 0 4 13 sub(P,cil(mlt(P,P))) 75125 129930433 o2(x,o1(o2(x,x))) true 89007 89007 -0.8944 0 0.8944 0.08685 0.2947 -1 0 1 1 0.8189 0.001303 0 0.007937 1 1 1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0.003279 0.03186 0.132 0.03776 0.3669 1.52 json
t16_x0_u4_b14 16 0 4 14 sub(P,cil(div(P,P))) 75126 129930434 o2(x,o1(o2(x,x))) true 89015 89015 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t16_x0_u4_b15 16 0 4 15 sub(P,cil(pow(P,P))) 75127 129930435 o2(x,o1(o2(x,x))) true 89023 89023 -0.9472 0 0.9472 0.03942 0.1985 -1 -0.000291 0.9997 1 0.6778 0.001005 0 0.007934 1 1 1.419e-9 0.0001503 0.002725 0.0009424 0.0307 3.869 0.2265 0.02549 0.003814 1 1 0.002565 0.02767 0.05687 0.06508 0.7019 1.443 json
t16_x0_u4_b16 16 0 4 16 sub(P,cil(mod(P,P))) 75128 129930436 o2(x,o1(o2(x,x))) true 89031 89031 -0.125 0.375 0.7463 0.7093 0.8422 -1 1 2 1 2.465 0.02375 0 0.03967 1 1 -1.877e-12 0.03553 0.03674 0.02218 0.1489 3.754 2 0.03348 0.05009 1 1 0.03363 0.1714 0.4313 0.04742 0.2416 0.608 json
t16_x0_u4_b17 16 0 4 17 sub(P,cil(lrg(P,P))) 75129 129930437 o2(x,o1(o2(x,x))) true 89039 89039 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
t16_x0_u4_b18 16 0 4 18 sub(P,cil(eql(P,P))) 75130 129930438 o2(x,o1(o2(x,x))) true 89047 89047 -0.125 0.4375 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
t16_x0_u4_b19 16 0 4 19 sub(P,cil(min(P,P))) 75131 129930439 o2(x,o1(o2(x,x))) true 89055 89055 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
t16_x0_u4_b20 16 0 4 20 sub(P,cil(dot(P,P))) 75132 129930440 o2(x,o1(o2(x,x))) true 89063 89063 -0.9937 0 0.9937 0.004639 0.06811 -1 -0.000291 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t16_x0_u4_b21 16 0 4 21 sub(P,cil(dst(P,P))) 75133 129930441 o2(x,o1(o2(x,x))) true 89071 89071 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
t16_x0_u4_b22 16 0 4 22 mlt(P,cil(add(P,P))) 75134 129930442 o2(x,o1(o2(x,x))) true 89079 89079 0.9569 1 0.9569 0.03358 0.1833 0.0005821 1 0.9994 1 0.4876 0.001303 0 0.007932 1 1 -1.892e-9 0.0002683 0.003596 0.001239 0.0352 4.438 0.2265 0.03881 0.007989 1 1 0.003279 0.03105 0.04776 0.09765 0.9245 1.422 json
t16_x0_u4_b23 16 0 4 23 mlt(P,cil(sub(P,P))) 75135 129930443 o2(x,o1(o2(x,x))) true 89087 89087 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
t16_x0_u4_b24 16 0 4 24 mlt(P,cil(mlt(P,P))) 75136 129930444 o2(x,o1(o2(x,x))) true 89095 89095 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
t16_x0_u4_b25 16 0 4 25 mlt(P,cil(div(P,P))) 75137 129930445 o2(x,o1(o2(x,x))) true 89103 89103 -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
t16_x0_u4_b26 16 0 4 26 mlt(P,cil(pow(P,P))) 75138 129930446 o2(x,o1(o2(x,x))) true 89111 89111 -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_x0_u4_b27 16 0 4 27 mlt(P,cil(mod(P,P))) 75139 129930447 o2(x,o1(o2(x,x))) true 89119 89119 0.4267 0.625 0.6767 0.4834 0.6953 -1 1 2 1 1.744 0.01948 0 0.03433 1 1 -0.005166 0.02885 0.04529 0.0183 0.1353 3.941 1 0.0403 0.05967 1 1 0.03032 0.1561 0.5687 0.06271 0.323 1.176 json
t16_x0_u4_b28 16 0 4 28 mlt(P,cil(lrg(P,P))) 75140 129930448 o2(x,o1(o2(x,x))) true 89127 89127 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
t16_x0_u4_b29 16 0 4 29 mlt(P,cil(eql(P,P))) 75141 129930449 o2(x,o1(o2(x,x))) true 89135 89135 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
t16_x0_u4_b30 16 0 4 30 mlt(P,cil(min(P,P))) 75142 129930450 o2(x,o1(o2(x,x))) true 89143 89143 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u4_b31 16 0 4 31 mlt(P,cil(dot(P,P))) 75143 129930451 o2(x,o1(o2(x,x))) true 89151 89151 -2.328e-10 0.5 0.9764 0.9724 0.9861 -1 1 2 1 1.315 0.003016 0.00001526 0.00799 0.9899 1 8.26e-11 0.002794 0.00757 0.002966 0.05446 6.816 0.7569 0.003117 0.002873 1 1 0.005591 0.04758 0.2975 0.00575 0.04893 0.306 json
t16_x0_u4_b32 16 0 4 32 mlt(P,cil(dst(P,P))) 75144 129930452 o2(x,o1(o2(x,x))) true 89159 89159 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
t16_x0_u4_b33 16 0 4 33 div(P,cil(add(P,P))) 75145 129930453 o2(x,o1(o2(x,x))) true 89167 89167 0.3125 0.875 0.5625 0.2461 0.4961 -1 0.5 1.5 1 0.5436 0.01786 0 0.0119 1 1 3.784e-9 0.03571 0.02381 0.01771 0.1331 11.18 1.5 0.07256 0.1451 1 1 0.02368 0.09474 0.3789 0.09624 0.385 1.54 json
t16_x0_u4_b34 16 0 4 34 div(P,cil(sub(P,P))) 75146 129930454 o2(x,o1(o2(x,x))) true 89175 89175 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u4_b35 16 0 4 35 div(P,cil(mlt(P,P))) 75147 129930455 o2(x,o1(o2(x,x))) true 89183 89183 -0.125 0.4375 0.3944 0.2329 0.4826 -1 0.9999 2 1 3.833 0.01607 0 0.01488 1 1 9.386e-13 0.0318 0.01748 0.01585 0.1259 8.463 2 0.06901 0.1365 1 1 0.02155 0.0847 0.2581 0.0925 0.3637 1.108 json
t16_x0_u4_b36 16 0 4 36 div(P,cil(div(P,P))) 75148 129930456 o2(x,o1(o2(x,x))) true 89191 89191 -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
t16_x0_u4_b37 16 0 4 37 div(P,cil(pow(P,P))) 75149 129930457 o2(x,o1(o2(x,x))) true 89199 89199 -0.3985 0.3984 0.6015 0.4105 0.6407 -1 0.9999 2 1 2.219 0.004469 0 0.0119 1 1 -9.455e-10 0.007909 0.009736 0.004327 0.06578 5.526 1 0.01089 0.01927 1 1 0.00661 0.04471 0.27 0.0161 0.1089 0.6579 json
t16_x0_u4_b38 16 0 4 38 div(P,cil(mod(P,P))) 75150 129930458 o2(x,o1(o2(x,x))) true 89207 89207 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.07937 0 0.03968 1 1 9.461e-10 0.1587 0.07937 0.07773 0.2788 7.026 2 0.1058 0.2116 1 1 0.05263 0.2421 0.6632 0.07018 0.3228 0.8842 json
t16_x0_u4_b39 16 0 4 39 div(P,cil(lrg(P,P))) 75151 129930459 o2(x,o1(o2(x,x))) true 89215 89215 -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_x0_u4_b40 16 0 4 40 div(P,cil(eql(P,P))) 75152 129930460 o2(x,o1(o2(x,x))) true 89223 89223 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
t16_x0_u4_b41 16 0 4 41 div(P,cil(min(P,P))) 75153 129930461 o2(x,o1(o2(x,x))) true 89231 89231 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 7.569e-9 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t16_x0_u4_b42 16 0 4 42 div(P,cil(dot(P,P))) 75154 129930462 o2(x,o1(o2(x,x))) true 89239 89239 -0.01562 0.489 0.1391 0.04132 0.2033 -1 0.9997 2 1 3.34 0.00164 0.00113 0.005443 0.1841 1 -4.78e-10 0.005603 0.00475 0.002741 0.05236 9.618 2.121 0.06705 0.1356 1 1 0.00496 0.02088 0.08355 0.1201 0.5053 2.022 json
t16_x0_u4_b43 16 0 4 43 div(P,cil(dst(P,P))) 75155 129930463 o2(x,o1(o2(x,x))) true 89247 89247 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u4_b44 16 0 4 44 pow(P,cil(add(P,P))) 75156 129930464 o2(x,o1(o2(x,x))) true 89255 89255 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u4_b45 16 0 4 45 pow(P,cil(sub(P,P))) 75157 129930465 o2(x,o1(o2(x,x))) true 89263 89263 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_x0_u4_b46 16 0 4 46 pow(P,cil(mlt(P,P))) 75158 129930466 o2(x,o1(o2(x,x))) true 89271 89271 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.03225 0.0645 1 1 0.02105 0.08421 0.4947 0.02139 0.08555 0.5026 json
t16_x0_u4_b47 16 0 4 47 pow(P,cil(div(P,P))) 75159 129930467 o2(x,o1(o2(x,x))) true 89279 89279 -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
t16_x0_u4_b48 16 0 4 48 pow(P,cil(pow(P,P))) 75160 129930468 o2(x,o1(o2(x,x))) true 89287 89287 -0.5313 0.25 0.9688 0.6792 0.8241 -1 1 2 1 1.163 0.0202 0 0.01587 1 1 0 0.03965 0.02468 0.01994 0.1412 8.896 2 0.02974 0.05838 1 1 0.02728 0.124 0.6225 0.04017 0.1825 0.9165 json
t16_x0_u4_b49 16 0 4 49 pow(P,cil(mod(P,P))) 75161 129930469 o2(x,o1(o2(x,x))) true 89295 89295 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.07937 0 0.03968 1 1 0 0.1587 0.07937 0.07773 0.2788 7.026 2 0.08062 0.1612 1 1 0.1053 0.4211 0.8421 0.1069 0.4277 0.8555 json
t16_x0_u4_b50 16 0 4 50 pow(P,cil(lrg(P,P))) 75162 129930470 o2(x,o1(o2(x,x))) true 89303 89303 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_x0_u4_b51 16 0 4 51 pow(P,cil(eql(P,P))) 75163 129930471 o2(x,o1(o2(x,x))) true 89311 89311 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
t16_x0_u4_b52 16 0 4 52 pow(P,cil(min(P,P))) 75164 129930472 o2(x,o1(o2(x,x))) true 89319 89319 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u4_b53 16 0 4 53 pow(P,cil(dot(P,P))) 75165 129930473 o2(x,o1(o2(x,x))) true 89327 89327 -0.4121 0.3086 0.9707 0.7936 0.8908 -1 1 2 1 1.255 0.02087 0.006064 0.019 0.5497 1 -1.201e-10 0.05466 0.03122 0.02658 0.163 8.578 2.828 0.03394 0.06888 1 1 0.02826 0.1484 0.7294 0.03561 0.187 0.9191 json
t16_x0_u4_b54 16 0 4 54 pow(P,cil(dst(P,P))) 75166 129930474 o2(x,o1(o2(x,x))) true 89335 89335 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_x0_u4_b55 16 0 4 55 mod(P,cil(add(P,P))) 75167 129930475 o2(x,o1(o2(x,x))) true 89343 89343 -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
t16_x0_u4_b56 16 0 4 56 mod(P,cil(sub(P,P))) 75168 129930476 o2(x,o1(o2(x,x))) true 89351 89351 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
t16_x0_u4_b57 16 0 4 57 mod(P,cil(mlt(P,P))) 75169 129930477 o2(x,o1(o2(x,x))) true 89359 89359 -0.125 0.4375 0.9569 0.9337 0.9663 -1 1 2 1 1.476 0.00924 0 0.01587 1 1 0 0.01614 0.01936 0.008985 0.09479 5.974 1.001 0.009896 0.01729 1 1 0.01381 0.07397 0.3266 0.01479 0.07922 0.3498 json
t16_x0_u4_b58 16 0 4 58 mod(P,cil(div(P,P))) 75170 129930478 o2(x,o1(o2(x,x))) true 89367 89367 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t16_x0_u4_b59 16 0 4 59 mod(P,cil(pow(P,P))) 75171 129930479 o2(x,o1(o2(x,x))) true 89375 89375 -0.08402 0.4375 0.916 0.9056 0.9516 -1 1 2 1 1.463 0.00462 0 0.007937 1 1 -9.461e-10 0.008071 0.009734 0.004556 0.0675 8.504 1 0.005101 0.008912 1 1 0.006903 0.03698 0.2185 0.007622 0.04084 0.2413 json
t16_x0_u4_b60 16 0 4 60 mod(P,cil(mod(P,P))) 75172 129930480 o2(x,o1(o2(x,x))) true 89383 89383 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t16_x0_u4_b61 16 0 4 61 mod(P,cil(lrg(P,P))) 75173 129930481 o2(x,o1(o2(x,x))) true 89391 89391 -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_x0_u4_b62 16 0 4 62 mod(P,cil(eql(P,P))) 75174 129930482 o2(x,o1(o2(x,x))) true 89399 89399 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
t16_x0_u4_b63 16 0 4 63 mod(P,cil(min(P,P))) 75175 129930483 o2(x,o1(o2(x,x))) true 89407 89407 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t16_x0_u4_b64 16 0 4 64 mod(P,cil(dot(P,P))) 75176 129930484 o2(x,o1(o2(x,x))) true 89415 89415 -0.01563 0.4922 0.9428 0.9297 0.9642 -1 1 2 1 1.767 0.002089 0.001431 0.009571 0.1869 1 -4.13e-11 0.005932 0.005937 0.003429 0.05856 6.118 2.828 0.003787 0.006381 1 1 0.00681 0.04415 0.2927 0.007325 0.04749 0.3148 json
t16_x0_u4_b65 16 0 4 65 mod(P,cil(dst(P,P))) 75177 129930485 o2(x,o1(o2(x,x))) true 89423 89423 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
t16_x0_u4_b66 16 0 4 66 lrg(P,cil(add(P,P))) 75178 129930486 o2(x,o1(o2(x,x))) true 89431 89431 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u4_b67 16 0 4 67 lrg(P,cil(sub(P,P))) 75179 129930487 o2(x,o1(o2(x,x))) true 89439 89439 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u4_b68 16 0 4 68 lrg(P,cil(mlt(P,P))) 75180 129930488 o2(x,o1(o2(x,x))) true 89447 89447 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
t16_x0_u4_b69 16 0 4 69 lrg(P,cil(div(P,P))) 75181 129930489 o2(x,o1(o2(x,x))) true 89455 89455 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.001059 0 0.0119 1 1 -1.419e-9 0.00004864 0.002783 0.000917 0.03028 2.545 0.1169 0.004629 0.0002126 1 1 0.002776 0.03602 0.06598 0.01214 0.1575 0.2885 json
t16_x0_u4_b70 16 0 4 70 lrg(P,cil(pow(P,P))) 75182 129930490 o2(x,o1(o2(x,x))) true 89463 89463 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u4_b71 16 0 4 71 lrg(P,cil(mod(P,P))) 75183 129930491 o2(x,o1(o2(x,x))) true 89471 89471 0.3438 0.5 0.3438 0.1918 0.4379 0 1 1 1 2.076 0.001764 0 0.01981 1 1 0.00008984 0.00007983 0.004549 0.001372 0.03704 1.869 0.1169 0.009201 0.0004163 1 1 0.003702 0.04837 0.2118 0.0193 0.2522 1.105 json
t16_x0_u4_b72 16 0 4 72 lrg(P,cil(lrg(P,P))) 75184 129930492 o2(x,o1(o2(x,x))) true 89479 89479 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u4_b73 16 0 4 73 lrg(P,cil(eql(P,P))) 75185 129930493 o2(x,o1(o2(x,x))) true 89487 89487 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t16_x0_u4_b74 16 0 4 74 lrg(P,cil(min(P,P))) 75186 129930494 o2(x,o1(o2(x,x))) true 89495 89495 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
t16_x0_u4_b75 16 0 4 75 lrg(P,cil(dot(P,P))) 75187 129930495 o2(x,o1(o2(x,x))) true 89503 89503 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
t16_x0_u4_b76 16 0 4 76 lrg(P,cil(dst(P,P))) 75188 129930496 o2(x,o1(o2(x,x))) true 89511 89511 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u4_b77 16 0 4 77 eql(P,cil(add(P,P))) 75189 129930497 o2(x,o1(o2(x,x))) true 89519 89519 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u4_b78 16 0 4 78 eql(P,cil(sub(P,P))) 75190 129930498 o2(x,o1(o2(x,x))) true 89527 89527 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u4_b79 16 0 4 79 eql(P,cil(mlt(P,P))) 75191 129930499 o2(x,o1(o2(x,x))) true 89535 89535 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t16_x0_u4_b80 16 0 4 80 eql(P,cil(div(P,P))) 75192 129930500 o2(x,o1(o2(x,x))) true 89543 89543 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u4_b81 16 0 4 81 eql(P,cil(pow(P,P))) 75193 129930501 o2(x,o1(o2(x,x))) true 89551 89551 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u4_b82 16 0 4 82 eql(P,cil(mod(P,P))) 75194 129930502 o2(x,o1(o2(x,x))) true 89559 89559 0.375 0.625 0.375 0.1803 0.4246 0 1 1 1 2.555 0.002821 0 0.0316 1 1 -0.0001797 0.0001273 0.007243 0.001823 0.0427 1.351 0.1169 0.01565 0.000706 1 1 0.00555 0.07063 0.2075 0.03079 0.3918 1.151 json
t16_x0_u4_b83 16 0 4 83 eql(P,cil(lrg(P,P))) 75195 129930503 o2(x,o1(o2(x,x))) true 89567 89567 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u4_b84 16 0 4 84 eql(P,cil(eql(P,P))) 75196 129930504 o2(x,o1(o2(x,x))) true 89575 89575 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u4_b85 16 0 4 85 eql(P,cil(min(P,P))) 75197 129930505 o2(x,o1(o2(x,x))) true 89583 89583 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_x0_u4_b86 16 0 4 86 eql(P,cil(dot(P,P))) 75198 129930506 o2(x,o1(o2(x,x))) true 89591 89591 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 2.58e-11 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0.0004001 0.00522 0.01922 0.07412 0.9669 3.56 json
t16_x0_u4_b87 16 0 4 87 eql(P,cil(dst(P,P))) 75199 129930507 o2(x,o1(o2(x,x))) true 89599 89599 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json