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_x18_u6_b100 16 18 6 100 dot(R,nrm(sub(P,P))) 90700 130658140 o2(x,o1(o2(x,x))) true 42407 42407 -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_x18_u6_b101 16 18 6 101 dot(R,nrm(mlt(P,P))) 90701 130658141 o2(x,o1(o2(x,x))) true 42415 42415 0.02104 0.5269 0.3966 0.2299 0.4795 -1 1 2 1 4.887 0.004561 0.005249 0.0655 -0.07015 1 0.00002706 0.008446 0.01975 0.005519 0.07429 1.134 2.828 0.04267 0.03674 1 1 0.01744 0.1624 0.4925 0.07587 0.7064 2.142 json
t16_x18_u6_b102 16 18 6 102 dot(R,nrm(div(P,P))) 90702 130658142 o2(x,o1(o2(x,x))) true 42423 42423 -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_x18_u6_b103 16 18 6 103 dot(R,nrm(pow(P,P))) 90703 130658143 o2(x,o1(o2(x,x))) true 42431 42431 -0.7312 0.1413 0.841 0.2646 0.5144 -1 0.9941 1.994 1 2.002 0.002825 0.004491 0.01924 -0.2276 1 -0.00002888 0.01224 0.01251 0.006945 0.08334 4.331 1.929 0.02765 0.04625 1 1 0.01053 0.06389 0.2264 0.03978 0.2415 0.8556 json
t16_x18_u6_b104 16 18 6 104 dot(R,nrm(mod(P,P))) 90704 130658144 o2(x,o1(o2(x,x))) true 42439 42439 -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_x18_u6_b105 16 18 6 105 dot(R,nrm(lrg(P,P))) 90705 130658145 o2(x,o1(o2(x,x))) true 42447 42447 -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_x18_u6_b106 16 18 6 106 dot(R,nrm(eql(P,P))) 90706 130658146 o2(x,o1(o2(x,x))) true 42455 42455 0.008445 0.5136 0.3499 0.1935 0.4399 -1 1 2 1 4.768 0.002659 0.002832 0.05883 -0.03158 1 0.00001943 0.0003874 0.01356 0.00203 0.04506 0.7659 0.2628 0.02837 0.002001 1 1 0.01168 0.1478 0.3721 0.06033 0.7634 1.922 json
t16_x18_u6_b107 16 18 6 107 dot(R,nrm(min(P,P))) 90707 130658147 o2(x,o1(o2(x,x))) true 42463 42463 -0.05989 0.4477 0.4113 0.2471 0.4971 -1 1 2 1 4.9 0.004301 0.005291 0.06685 -0.1032 1 -0.00004649 0.006648 0.01945 0.005123 0.07157 1.071 2.828 0.03882 0.0269 1 1 0.01787 0.1816 0.517 0.07233 0.735 2.092 json
t16_x18_u6_b108 16 18 6 108 dot(R,nrm(dot(P,P))) 90708 130658148 o2(x,o1(o2(x,x))) true 42471 42471 -0.01218 0.4994 0.36 0.2064 0.4543 -1 1 2 1 4.777 0.005017 0.005019 0.06093 -0.0001885 1 0.00001943 0.01009 0.01925 0.006324 0.07952 1.305 2.819 0.04863 0.04888 1 1 0.01955 0.1737 0.4532 0.09473 0.8415 2.196 json
t16_x18_u6_b109 16 18 6 109 dot(R,nrm(dst(P,P))) 90709 130658149 o2(x,o1(o2(x,x))) true 42479 42479 -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_x18_u6_b110 16 18 6 110 dst(R,nrm(add(P,P))) 90710 130658150 o2(x,o1(o2(x,x))) true 42487 42487 0.9304 0.9844 0.9616 0.0713 0.267 -1 1 2 1 1.161 0.004088 0.004115 0.01383 -0.003244 1 -0.00002787 0.01557 0.01309 0.008008 0.08949 6.472 2.034 0.115 0.2184 1 1 0.01432 0.0649 0.2387 0.2009 0.9101 3.347 json
t16_x18_u6_b111 16 18 6 111 dst(R,nrm(sub(P,P))) 90711 130658151 o2(x,o1(o2(x,x))) true 42495 42495 -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_x18_u6_b112 16 18 6 112 dst(R,nrm(mlt(P,P))) 90712 130658152 o2(x,o1(o2(x,x))) true 42503 42503 0.9313 0.9844 0.9625 0.06864 0.262 -1 1 2 1 1.183 0.003932 0.003901 0.01313 0.003899 1 -0.00002768 0.01505 0.01263 0.007665 0.08755 6.67 2.034 0.1141 0.2192 1 1 0.01379 0.06141 0.2306 0.2009 0.8946 3.359 json
t16_x18_u6_b113 16 18 6 113 dst(R,nrm(div(P,P))) 90713 130658153 o2(x,o1(o2(x,x))) true 42511 42511 -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_x18_u6_b114 16 18 6 114 dst(R,nrm(pow(P,P))) 90714 130658154 o2(x,o1(o2(x,x))) true 42519 42519 -0.5123 0.25 0.9877 0.7165 0.8464 -1 1 2 1 1.137 0.008028 0.007614 0.01097 0.02649 1 -0.000003117 0.03108 0.01728 0.01552 0.1246 11.36 2 0.02183 0.04338 1 1 0.02082 0.08596 0.3227 0.02906 0.12 0.4504 json
t16_x18_u6_b115 16 18 6 115 dst(R,nrm(mod(P,P))) 90715 130658155 o2(x,o1(o2(x,x))) true 42527 42527 -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_x18_u6_b116 16 18 6 116 dst(R,nrm(lrg(P,P))) 90716 130658156 o2(x,o1(o2(x,x))) true 42535 42535 -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_x18_u6_b117 16 18 6 117 dst(R,nrm(eql(P,P))) 90717 130658157 o2(x,o1(o2(x,x))) true 42543 42543 0.9574 1 0.9574 0.01496 0.1223 0.1417 1 0.8583 1 1.061 0.0004267 0.0005175 0.01114 -0.09619 1 -0.00001782 0.0002873 0.005546 0.0008208 0.02865 2.572 0.2061 0.06311 0.0192 1 1 0.002229 0.02133 0.03256 0.149 1.426 2.176 json
t16_x18_u6_b118 16 18 6 118 dst(R,nrm(min(P,P))) 90718 130658158 o2(x,o1(o2(x,x))) true 42551 42551 0.9304 0.9844 0.9616 0.0713 0.267 -1 1 2 1 1.161 0.004088 0.004115 0.01383 -0.003244 1 -0.00002787 0.01557 0.01309 0.008008 0.08949 6.472 2.034 0.115 0.2184 1 1 0.01432 0.0649 0.2387 0.2009 0.9101 3.347 json
t16_x18_u6_b119 16 18 6 119 dst(R,nrm(dot(P,P))) 90719 130658159 o2(x,o1(o2(x,x))) true 42559 42559 0.9273 0.9844 0.9585 0.0737 0.2715 -1 1 2 1 1.148 0.003907 0.003865 0.01454 0.005346 1 -0.00001782 0.01429 0.0128 0.007562 0.08696 5.979 2.099 0.1055 0.194 1 1 0.01424 0.0716 0.2411 0.1932 0.9715 3.271 json
t16_x18_u6_b120 16 18 6 120 dst(R,nrm(dst(P,P))) 90720 130658160 o2(x,o1(o2(x,x))) true 42567 42567 -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_x19_u0_b0 16 19 0 0 add(R,sqt(add(P,D))) 90721 130697235 o2(x,o1(o2(x,x))) true 42575 42575 -0.02954 0.4913 0.9752 0.964 0.9818 -1 1 2 1 1.504 0.006118 0.000183 0.009955 0.9419 1 -0.00002243 0.01038 0.009649 0.006198 0.07873 7.908 2 0.006537 0.01077 1 1 0.01011 0.06166 0.3064 0.01048 0.06397 0.3179 json
t16_x19_u0_b1 16 19 0 1 add(R,sqt(sub(P,D))) 90722 130697236 o2(x,o1(o2(x,x))) true 42583 42583 -0.1313 0.4375 0.9937 0.9726 0.9862 -1 1 2 1 1.182 0.01433 0.00006282 0.009069 0.9913 1 -0.00001248 0.02871 0.01591 0.0143 0.1196 13.19 2 0.0148 0.02952 1 1 0.01889 0.07794 0.3247 0.01943 0.08014 0.3339 json
t16_x19_u0_b2 16 19 0 2 add(R,sqt(mlt(P,D))) 90723 130697237 o2(x,o1(o2(x,x))) true 42591 42591 -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_x19_u0_b3 16 19 0 3 add(R,sqt(div(P,D))) 90724 130697238 o2(x,o1(o2(x,x))) true 42599 42599 -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_x19_u0_b4 16 19 0 4 add(R,sqt(pow(P,D))) 90725 130697239 o2(x,o1(o2(x,x))) true 42607 42607 -0.1221 0.4848 0.8901 0.8265 0.9091 -1 1 2 1 2.545 0.005658 0.0007718 0.02409 0.7599 1 0.000007669 0.008948 0.01465 0.005848 0.07648 3.174 1.829 0.007779 0.01083 1 1 0.01028 0.07517 0.3205 0.01244 0.09095 0.3878 json
t16_x19_u0_b5 16 19 0 5 add(R,sqt(mod(P,D))) 90726 130697240 o2(x,o1(o2(x,x))) true 42615 42615 -0.3523 0.3589 0.7307 0.5291 0.7274 -1 1 2 1 3.365 0.02809 0.001457 0.0757 0.9014 1 -0.00003848 0.06897 0.1079 0.02382 0.1543 2.039 1.897 0.05585 0.1304 1 1 0.02774 0.1327 0.3378 0.05243 0.2508 0.6385 json
t16_x19_u0_b6 16 19 0 6 add(R,sqt(lrg(P,D))) 90727 130697241 o2(x,o1(o2(x,x))) true 42623 42623 0.4201 0.7705 0.5972 0.2865 0.5352 -0.9989 1 1.999 1 4.38 0.005368 0.002441 0.0528 0.3749 1 -0.00001599 0.006315 0.02037 0.005021 0.07086 1.342 1.012 0.02726 0.02205 1 1 0.01363 0.1248 0.2967 0.04758 0.4358 1.036 json
t16_x19_u0_b7 16 19 0 7 add(R,sqt(eql(P,D))) 90728 130697242 o2(x,o1(o2(x,x))) true 42631 42631 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t16_x19_u0_b8 16 19 0 8 add(R,sqt(min(P,D))) 90729 130697243 o2(x,o1(o2(x,x))) true 42639 42639 -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_x19_u0_b9 16 19 0 9 add(R,sqt(dot(P,D))) 90730 130697244 o2(x,o1(o2(x,x))) true 42647 42647 -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_x19_u0_b10 16 19 0 10 add(R,sqt(dst(P,D))) 90731 130697245 o2(x,o1(o2(x,x))) true 42655 42655 0.9973 1 0.9973 0.001016 0.03187 0.3013 1 0.6987 1 0.1024 0.00005692 0.00004275 0.0009991 0.1421 0 -2.816e-11 0.00004549 0.0006517 0.00009865 0.009932 9.941 0.1895 0.09811 0.04478 1 1 0.0003193 0.002599 0.003643 0.3143 2.558 3.586 json
t16_x19_u0_b11 16 19 0 11 sub(R,sqt(add(P,D))) 90732 130697246 o2(x,o1(o2(x,x))) true 42663 42663 -0.9623 0.005554 0.9645 0.02551 0.1597 -1 0.6523 1.652 1 0.6824 0.003584 0.0002376 0.009504 0.8756 1 4.875e-7 0.00721 0.008259 0.003732 0.06109 6.427 1.652 0.1498 0.2827 1 1 0.005613 0.02646 0.05096 0.22 1.037 1.998 json
t16_x19_u0_b12 16 19 0 12 sub(R,sqt(sub(P,D))) 90733 130697247 o2(x,o1(o2(x,x))) true 42671 42671 -0.9874 0 0.9874 0.006809 0.08252 -1 -0.01441 0.9856 1 0.3152 0.001267 0.0001074 0.004421 0.8437 1 0.000002071 0.002171 0.004391 0.001355 0.03681 8.327 0.9588 0.2018 0.3189 1 1 0.001801 0.008845 0.01182 0.2646 1.299 1.736 json
t16_x19_u0_b13 16 19 0 13 sub(R,sqt(mlt(P,D))) 90734 130697248 o2(x,o1(o2(x,x))) true 42679 42679 -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_x19_u0_b14 16 19 0 14 sub(R,sqt(div(P,D))) 90735 130697249 o2(x,o1(o2(x,x))) true 42687 42687 -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_x19_u0_b15 16 19 0 15 sub(R,sqt(pow(P,D))) 90736 130697250 o2(x,o1(o2(x,x))) true 42695 42695 -0.8856 0.01221 0.8935 0.06537 0.2557 -1 0.8288 1.829 1 1.713 0.005407 0.0007522 0.02248 0.7558 1 -0.00001574 0.008971 0.01393 0.005655 0.0752 3.345 1.829 0.09422 0.1372 1 1 0.009866 0.06073 0.1217 0.1509 0.929 1.862 json
t16_x19_u0_b16 16 19 0 16 sub(R,sqt(mod(P,D))) 90737 130697251 o2(x,o1(o2(x,x))) true 42703 42703 -0.6518 0.1355 0.738 0.2315 0.4812 -1 0.9805 1.98 1 3.131 0.02778 0.001438 0.0748 0.9015 1 0.00002855 0.06861 0.107 0.02363 0.1537 2.055 1.897 0.1262 0.2963 1 1 0.02728 0.1209 0.2488 0.1178 0.522 1.074 json
t16_x19_u0_b17 16 19 0 17 sub(R,sqt(lrg(P,D))) 90738 130697252 o2(x,o1(o2(x,x))) true 42711 42711 -0.3932 0.2587 0.6034 0.3194 0.5652 -1 0.9693 1.969 1 4.31 0.004882 0.002404 0.05232 0.3402 1 0.00007191 0.005129 0.01918 0.004547 0.06744 1.289 1.014 0.02281 0.01606 1 1 0.01341 0.1295 0.3138 0.04197 0.4055 0.9822 json
t16_x19_u0_b18 16 19 0 18 sub(R,sqt(eql(P,D))) 90739 130697253 o2(x,o1(o2(x,x))) true 42719 42719 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t16_x19_u0_b19 16 19 0 19 sub(R,sqt(min(P,D))) 90740 130697254 o2(x,o1(o2(x,x))) true 42727 42727 -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_x19_u0_b20 16 19 0 20 sub(R,sqt(dot(P,D))) 90741 130697255 o2(x,o1(o2(x,x))) true 42735 42735 -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_x19_u0_b21 16 19 0 21 sub(R,sqt(dst(P,D))) 90742 130697256 o2(x,o1(o2(x,x))) true 42743 42743 -0.989 0.00116 0.9896 0.005431 0.07369 -1 0.6182 1.618 1 0.3186 0.0001657 0.0001484 0.00292 0.05479 1 1.877e-11 0.00009173 0.001452 0.0003052 0.01747 5.982 0.2532 0.05784 0.01689 1 1 0.001038 0.009852 0.01722 0.1912 1.814 3.171 json
t16_x19_u0_b22 16 19 0 22 mlt(R,sqt(add(P,D))) 90743 130697257 o2(x,o1(o2(x,x))) true 42751 42751 -0.5157 0.2342 0.7923 0.4636 0.6808 -1 1 2 1 2.99 0.007866 0.004134 0.04781 0.3109 1 -0.00004517 0.009297 0.02151 0.009712 0.09855 2.061 1.147 0.02589 0.02006 1 1 0.01819 0.1713 0.4827 0.03924 0.3696 1.041 json
t16_x19_u0_b23 16 19 0 23 mlt(R,sqt(sub(P,D))) 90744 130697258 o2(x,o1(o2(x,x))) true 42759 42759 -0.5847 0.198 0.8361 0.441 0.6641 -1 1 2 1 2.635 0.011 0.004013 0.04504 0.4652 1 -0.0000308 0.0161 0.02263 0.01297 0.1139 2.529 1.928 0.03403 0.0365 1 1 0.02066 0.1691 0.4557 0.04683 0.3835 1.033 json
t16_x19_u0_b24 16 19 0 24 mlt(R,sqt(mlt(P,D))) 90745 130697259 o2(x,o1(o2(x,x))) true 42767 42767 -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_x19_u0_b25 16 19 0 25 mlt(R,sqt(div(P,D))) 90746 130697260 o2(x,o1(o2(x,x))) true 42775 42775 -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_x19_u0_b26 16 19 0 26 mlt(R,sqt(pow(P,D))) 90747 130697261 o2(x,o1(o2(x,x))) true 42783 42783 -0.5044 0.2375 0.6853 0.3488 0.5906 -1 1 2 1 3.351 0.005451 0.001471 0.03591 0.5749 1 0.000009457 0.008112 0.01533 0.005632 0.07505 2.09 1 0.01985 0.02326 1 1 0.01068 0.0922 0.2847 0.03061 0.2644 0.8162 json
t16_x19_u0_b27 16 19 0 27 mlt(R,sqt(mod(P,D))) 90748 130697262 o2(x,o1(o2(x,x))) true 42791 42791 -0.4968 0.2139 0.553 0.2611 0.511 -1 0.4433 1.443 1 2.669 0.01491 0.0001695 0.04057 0.9775 1 -3.619e-7 0.03891 0.06621 0.01344 0.1159 2.857 1 0.05776 0.149 1 1 0.0133 0.03708 0.1102 0.05095 0.142 0.4222 json
t16_x19_u0_b28 16 19 0 28 mlt(R,sqt(lrg(P,D))) 90749 130697263 o2(x,o1(o2(x,x))) true 42799 42799 -0.007508 0.2645 0.1988 0.1069 0.327 -0.9986 0.9806 1.979 1 3.476 0.00272 0.001486 0.03532 0.2935 1 -1.079e-7 0.002761 0.01187 0.002959 0.0544 1.54 0.9524 0.03934 0.02583 1 1 0.007312 0.07946 0.2077 0.0684 0.7432 1.942 json
t16_x19_u0_b29 16 19 0 29 mlt(R,sqt(eql(P,D))) 90750 130697264 o2(x,o1(o2(x,x))) true 42807 42807 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_x19_u0_b30 16 19 0 30 mlt(R,sqt(min(P,D))) 90751 130697265 o2(x,o1(o2(x,x))) true 42815 42815 -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_x19_u0_b31 16 19 0 31 mlt(R,sqt(dot(P,D))) 90752 130697266 o2(x,o1(o2(x,x))) true 42823 42823 -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_x19_u0_b32 16 19 0 32 mlt(R,sqt(dst(P,D))) 90753 130697267 o2(x,o1(o2(x,x))) true 42831 42831 0.0007167 0.4971 0.702 0.6025 0.7762 -1 1 2 1 4.162 0.01066 0.01208 0.09491 -0.0627 1 0.000003549 0.005513 0.03379 0.01373 0.1172 1.235 0.6936 0.03774 0.00915 1 1 0.03716 0.3996 0.9944 0.06168 0.6633 1.65 json
t16_x19_u0_b33 16 19 0 33 div(R,sqt(add(P,D))) 90754 130697268 o2(x,o1(o2(x,x))) true 42839 42839 -0.4992 0.2342 0.6247 0.307 0.5541 -1 1 2 1 3.077 0.007792 0.0009102 0.02452 0.7908 1 -0.00001107 0.0143 0.01231 0.008102 0.09001 3.67 2 0.02834 0.04659 1 1 0.01387 0.08563 0.225 0.04516 0.2789 0.7327 json
t16_x19_u0_b34 16 19 0 34 div(R,sqt(sub(P,D))) 90755 130697269 o2(x,o1(o2(x,x))) true 42847 42847 -0.5629 0.201 0.6536 0.2762 0.5255 -1 1 2 1 2.768 0.007755 0.0004587 0.02035 0.8883 1 -0.000003368 0.01462 0.01359 0.007802 0.08833 4.341 1.958 0.02974 0.05293 1 1 0.0106 0.05789 0.1494 0.03838 0.2096 0.541 json
t16_x19_u0_b35 16 19 0 35 div(R,sqt(mlt(P,D))) 90756 130697270 o2(x,o1(o2(x,x))) true 42855 42855 -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_x19_u0_b36 16 19 0 36 div(R,sqt(div(P,D))) 90757 130697271 o2(x,o1(o2(x,x))) true 42863 42863 -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_x19_u0_b37 16 19 0 37 div(R,sqt(pow(P,D))) 90758 130697272 o2(x,o1(o2(x,x))) true 42871 42871 -0.5733 0.1999 0.7393 0.3363 0.58 -1 1 2 1 3.052 0.008707 0.001459 0.03485 0.713 1 -0.00000346 0.01478 0.01721 0.008954 0.09463 2.716 1.943 0.03022 0.04394 1 1 0.01382 0.09883 0.2743 0.0411 0.2938 0.8155 json
t16_x19_u0_b38 16 19 0 38 div(R,sqt(mod(P,D))) 90759 130697273 o2(x,o1(o2(x,x))) true 42879 42879 -0.6463 0.1709 0.8993 0.4489 0.67 -1 1 2 1 2.006 0.1215 0.006055 0.1191 0.9051 1 0.000002239 0.2899 0.1953 0.1134 0.3367 2.828 2.096 0.2842 0.6459 1 1 0.1146 0.308 0.5206 0.2553 0.686 1.16 json
t16_x19_u0_b39 16 19 0 39 div(R,sqt(lrg(P,D))) 90760 130697274 o2(x,o1(o2(x,x))) true 42887 42887 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t16_x19_u0_b40 16 19 0 40 div(R,sqt(eql(P,D))) 90761 130697275 o2(x,o1(o2(x,x))) true 42895 42895 -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_x19_u0_b41 16 19 0 41 div(R,sqt(min(P,D))) 90762 130697276 o2(x,o1(o2(x,x))) true 42903 42903 -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_x19_u0_b42 16 19 0 42 div(R,sqt(dot(P,D))) 90763 130697277 o2(x,o1(o2(x,x))) true 42911 42911 -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_x19_u0_b43 16 19 0 43 div(R,sqt(dst(P,D))) 90764 130697278 o2(x,o1(o2(x,x))) true 42919 42919 0.01186 0.4988 0.1733 0.0457 0.2138 -0.6977 1 1.698 1 3.774 0.0006678 0.0006943 0.02837 -0.01952 1 0.000007082 0.0001032 0.006587 0.0005571 0.0236 0.8318 0.2762 0.0298 0.002257 1 1 0.003565 0.04538 0.1063 0.078 0.9929 2.325 json
t16_x19_u0_b44 16 19 0 44 pow(R,sqt(add(P,D))) 90765 130697279 o2(x,o1(o2(x,x))) true 42927 42927 -0.9879 0.007813 0.9965 0.01906 0.1381 -1 0.9314 1.931 1 0.09356 0.001974 0.002316 0.002859 -0.0798 1 0.000002967 0.009123 0.005359 0.004282 0.06543 22.88 2.643 0.225 0.4785 1 1 0.0006988 0.004853 0.01685 0.03666 0.2545 0.8838 json
t16_x19_u0_b45 16 19 0 45 pow(R,sqt(sub(P,D))) 90766 130697280 o2(x,o1(o2(x,x))) true 42935 42935 -0.9947 0.003906 0.9974 0.007253 0.08517 -1 0.8083 1.808 1 0.05037 0.000296 0.0007752 0.0009838 -0.4473 1 0.000003332 0.002197 0.001716 0.00107 0.03271 33.25 1.785 0.1477 0.3029 1 1 0 0 0.00602 0 0 0.8299 json
t16_x19_u0_b46 16 19 0 46 pow(R,sqt(mlt(P,D))) 90767 130697281 o2(x,o1(o2(x,x))) true 42943 42943 -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_x19_u0_b47 16 19 0 47 pow(R,sqt(div(P,D))) 90768 130697282 o2(x,o1(o2(x,x))) true 42951 42951 -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_x19_u0_b48 16 19 0 48 pow(R,sqt(pow(P,D))) 90769 130697283 o2(x,o1(o2(x,x))) true 42959 42959 -0.9578 0.02344 0.9954 0.07523 0.2743 -1 1 2 1 0.2309 0.009187 0.006307 0.009032 0.1859 1 0.000002188 0.03239 0.0171 0.0154 0.1241 13.74 2.698 0.2059 0.4305 1 1 0.01259 0.053 0.1394 0.1673 0.7045 1.853 json
t16_x19_u0_b49 16 19 0 49 pow(R,sqt(mod(P,D))) 90770 130697284 o2(x,o1(o2(x,x))) true 42967 42967 -0.9228 0.03955 0.9981 0.1449 0.3807 -1 1 2 1 0.2935 0.13 0.00993 0.07038 0.8581 1 0.000001792 0.4179 0.1412 0.1349 0.3673 5.219 2.828 0.9655 2.884 1 1 0.08567 0.1463 0.2674 0.5912 1.01 1.845 json
t16_x19_u0_b50 16 19 0 50 pow(R,sqt(lrg(P,D))) 90771 130697285 o2(x,o1(o2(x,x))) true 42975 42975 -0.05498 0.4766 0.9919 0.9842 0.9921 -1 1 2 1 1.233 0.02198 0.01105 0.01886 0.3308 1 0.000002697 0.06842 0.03594 0.03268 0.1808 9.583 2.698 0.03356 0.06952 1 1 0.03872 0.1591 0.4693 0.03934 0.1617 0.4768 json
t16_x19_u0_b51 16 19 0 51 pow(R,sqt(eql(P,D))) 90772 130697286 o2(x,o1(o2(x,x))) true 42983 42983 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_x19_u0_b52 16 19 0 52 pow(R,sqt(min(P,D))) 90773 130697287 o2(x,o1(o2(x,x))) true 42991 42991 -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_x19_u0_b53 16 19 0 53 pow(R,sqt(dot(P,D))) 90774 130697288 o2(x,o1(o2(x,x))) true 42999 42999 -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_x19_u0_b54 16 19 0 54 pow(R,sqt(dst(P,D))) 90775 130697289 o2(x,o1(o2(x,x))) true 43007 43007 -0.9421 0.04297 0.972 0.07695 0.2774 -1 0.8524 1.852 1 0.414 0.007863 0.007765 0.01246 0.006284 1 0.00001025 0.03257 0.02262 0.01548 0.1244 9.984 2.381 0.2031 0.4232 1 1 0.0132 0.05737 0.1376 0.1716 0.7456 1.789 json
t16_x19_u0_b55 16 19 0 55 mod(R,sqt(add(P,D))) 90776 130697290 o2(x,o1(o2(x,x))) true 43015 43015 -0.507 0.2332 0.6828 0.341 0.584 -1 0.9806 1.981 1 3.378 0.006448 0.001394 0.03744 0.6445 1 0.000003396 0.01064 0.02097 0.006441 0.08026 2.144 1.139 0.023 0.03119 1 1 0.01163 0.0911 0.2745 0.0341 0.2672 0.805 json
t16_x19_u0_b56 16 19 0 56 mod(R,sqt(sub(P,D))) 90777 130697291 o2(x,o1(o2(x,x))) true 43023 43023 -0.5766 0.1979 0.7271 0.3195 0.5652 -1 0.9806 1.981 1 3.074 0.009057 0.001263 0.03294 0.7553 1 0.00001347 0.01598 0.01854 0.009239 0.09612 2.918 1.943 0.0323 0.05002 1 1 0.01368 0.08722 0.2476 0.04281 0.273 0.775 json
t16_x19_u0_b57 16 19 0 57 mod(R,sqt(mlt(P,D))) 90778 130697292 o2(x,o1(o2(x,x))) true 43031 43031 -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_x19_u0_b58 16 19 0 58 mod(R,sqt(div(P,D))) 90779 130697293 o2(x,o1(o2(x,x))) true 43039 43039 -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_x19_u0_b59 16 19 0 59 mod(R,sqt(pow(P,D))) 90780 130697294 o2(x,o1(o2(x,x))) true 43047 43047 -0.5732 0.1948 0.7089 0.3071 0.5542 -1 0.9806 1.981 1 3.036 0.0122 0.001069 0.03558 0.8389 1 -0.0003756 0.02264 0.02829 0.01201 0.1096 3.08 1.943 0.04321 0.07371 1 1 0.01619 0.09186 0.222 0.05272 0.2991 0.7228 json
t16_x19_u0_b60 16 19 0 60 mod(R,sqt(mod(P,D))) 90781 130697295 o2(x,o1(o2(x,x))) true 43055 43055 -0.6335 0.168 0.6737 0.2334 0.4832 -1 0.4242 1.424 1 2.225 0.07009 0.0001559 0.09626 0.9956 1 -0.00000545 0.1743 0.1791 0.06099 0.247 2.565 1.358 0.3009 0.7465 1 1 0.05367 0.08477 0.09891 0.2299 0.3631 0.4237 json
t16_x19_u0_b61 16 19 0 61 mod(R,sqt(lrg(P,D))) 90782 130697296 o2(x,o1(o2(x,x))) true 43063 43063 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t16_x19_u0_b62 16 19 0 62 mod(R,sqt(eql(P,D))) 90783 130697297 o2(x,o1(o2(x,x))) true 43071 43071 -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_x19_u0_b63 16 19 0 63 mod(R,sqt(min(P,D))) 90784 130697298 o2(x,o1(o2(x,x))) true 43079 43079 -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_x19_u0_b64 16 19 0 64 mod(R,sqt(dot(P,D))) 90785 130697299 o2(x,o1(o2(x,x))) true 43087 43087 -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_x19_u0_b65 16 19 0 65 mod(R,sqt(dst(P,D))) 90786 130697300 o2(x,o1(o2(x,x))) true 43095 43095 0.006749 0.4964 0.393 0.2183 0.4673 -0.9989 0.9806 1.979 1 4.86 0.002839 0.003207 0.06332 -0.06083 1 0.00002651 0.0007851 0.01542 0.002037 0.04514 0.7128 0.4633 0.0277 0.003596 1 1 0.01183 0.1501 0.385 0.05418 0.6877 1.763 json
t16_x19_u0_b66 16 19 0 66 lrg(R,sqt(add(P,D))) 90787 130697301 o2(x,o1(o2(x,x))) true 43103 43103 0.5122 0.5362 0.5122 0.2462 0.4962 0 1 1 1 1.202 0.003852 0.00007514 0.006549 0.9617 1 -0.000002266 0.00769 0.009913 0.003887 0.06234 9.519 1 0.01595 0.03124 1 1 0.004959 0.0216 0.0885 0.02015 0.08776 0.3595 json
t16_x19_u0_b67 16 19 0 67 lrg(R,sqt(sub(P,D))) 90788 130697302 o2(x,o1(o2(x,x))) true 43111 43111 0.5122 0.5926 0.5122 0.2335 0.4832 0 1 1 1 1.688 0.004293 0.00007781 0.01379 0.9644 1 -0.000002267 0.007573 0.01161 0.004178 0.06464 4.688 0.9994 0.01872 0.03244 1 1 0.006174 0.03105 0.07424 0.02644 0.133 0.318 json
t16_x19_u0_b68 16 19 0 68 lrg(R,sqt(mlt(P,D))) 90789 130697303 o2(x,o1(o2(x,x))) true 43119 43119 0.5827 1 0.5827 0.1355 0.368 0.000291 1 0.9997 1 3.433 0.05021 0.0005315 0.1119 0.9791 1 0.0001679 0.09154 0.1154 0.0382 0.1954 1.746 0.9997 0.3746 0.6758 1 1 0.05409 0.2093 0.114 0.3993 1.545 0.8414 json
t16_x19_u0_b69 16 19 0 69 lrg(R,sqt(div(P,D))) 90790 130697304 o2(x,o1(o2(x,x))) true 43127 43127 0.5273 1 0.5273 0.145 0.3808 0.000291 1 0.9997 1 3.396 0.0608 0.0001053 0.1163 0.9965 1 0.000174 0.1127 0.1252 0.04737 0.2176 1.871 0.9997 0.4201 0.7775 1 1 0.06495 0.2312 0.07077 0.448 1.595 0.4881 json
t16_x19_u0_b70 16 19 0 70 lrg(R,sqt(pow(P,D))) 90791 130697305 o2(x,o1(o2(x,x))) true 43135 43135 0.5042 0.6455 0.5042 0.2289 0.4784 0 1 1 1 1.835 0.004742 0.0001892 0.01689 0.9233 1 -0.00007496 0.008466 0.01387 0.004646 0.06816 4.036 0.9994 0.02155 0.03699 1 1 0.006452 0.0331 0.09632 0.02819 0.1446 0.4209 json
t16_x19_u0_b71 16 19 0 71 lrg(R,sqt(mod(P,D))) 90792 130697306 o2(x,o1(o2(x,x))) true 43143 43143 0.6186 0.8681 0.6186 0.186 0.4313 0 1 1 1 2.54 0.05002 0.00116 0.08755 0.9547 1 0.000003994 0.1258 0.1351 0.04351 0.2086 2.383 0.9999 0.2751 0.6764 1 1 0.03852 0.1055 0.2048 0.2071 0.5673 1.101 json
t16_x19_u0_b72 16 19 0 72 lrg(R,sqt(lrg(P,D))) 90793 130697307 o2(x,o1(o2(x,x))) true 43151 43151 0.2539 0.4836 0.2539 0.1414 0.376 0 1 1 1 2.303 0.002687 0.001179 0.02819 0.3903 1 0.000009279 0.003376 0.009879 0.003071 0.05542 1.966 0.9997 0.02734 0.02388 1 1 0.006679 0.06268 0.1658 0.04724 0.4433 1.173 json
t16_x19_u0_b73 16 19 0 73 lrg(R,sqt(eql(P,D))) 90794 130697308 o2(x,o1(o2(x,x))) true 43159 43159 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t16_x19_u0_b74 16 19 0 74 lrg(R,sqt(min(P,D))) 90795 130697309 o2(x,o1(o2(x,x))) true 43167 43167 0.819 1 0.819 0.09717 0.3117 0.000291 1 0.9997 1 2.159 0.02329 0.0004107 0.0531 0.9653 1 0.00008654 0.0435 0.05638 0.02088 0.1445 2.722 0.9997 0.244 0.4477 1 1 0.0263 0.1034 0.08612 0.2707 1.065 0.8863 json
t16_x19_u0_b75 16 19 0 75 lrg(R,sqt(dot(P,D))) 90796 130697310 o2(x,o1(o2(x,x))) true 43175 43175 0.5835 1 0.5835 0.1032 0.3212 0.000291 1 0.9997 1 3.771 0.03215 0.03211 0.1375 0.0005432 1 -0.0007915 0.2023 0.1723 0.04535 0.213 1.549 1.413 0.623 1.961 1 1 0.06531 0.2135 0.08849 0.6331 2.069 0.8579 json
t16_x19_u0_b76 16 19 0 76 lrg(R,sqt(dst(P,D))) 90797 130697311 o2(x,o1(o2(x,x))) true 43183 43183 0.003485 0.008179 0.003485 0.002329 0.04826 0 0.9994 0.9994 1 0.07791 0.00007712 0.00007712 0.0009107 -0.00002887 1 1.579e-11 0.0002764 0.0008511 0.0001535 0.01239 13.6 0.441 0.06622 0.1187 1 1 0.0003971 0.003685 0.008495 0.1705 1.582 3.647 json
t16_x19_u0_b77 16 19 0 77 eql(R,sqt(add(P,D))) 90798 130697312 o2(x,o1(o2(x,x))) true 43191 43191 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_x19_u0_b78 16 19 0 78 eql(R,sqt(sub(P,D))) 90799 130697313 o2(x,o1(o2(x,x))) true 43199 43199 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