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
t17_x20_u1_b42 17 20 1 42 div(R,dot(P,log(R))) 114600 138858480 o2(x,o2(x,o1(x))) true 76807 76807 -0.995 0.003906 0.9972 0.006711 0.08192 -1 0.8458 1.846 1 0.05012 0.000881 0.0008896 0.001442 -0.004887 1 -2.628e-11 0.00375 0.002636 0.001767 0.04204 29.15 1.846 0.2638 0.5588 1 1 0.00313 0.0126 0.02363 0.4664 1.877 3.521 json
t17_x20_u1_b43 17 20 1 43 div(R,dst(P,log(R))) 114601 138858481 o2(x,o2(x,o1(x))) true 76815 76815 -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
t17_x20_u1_b44 17 20 1 44 pow(R,add(P,log(R))) 114602 138858482 o2(x,o2(x,o1(x))) true 76823 76823 -0.9175 0.04297 0.9966 0.1544 0.3929 -1 1 2 1 0.2927 0.01598 0.01512 0.01596 0.02756 1 0.000001863 0.06495 0.03192 0.03083 0.1756 11 2.828 0.2014 0.4208 1 1 0.02537 0.1092 0.2665 0.1643 0.7074 1.726 json
t17_x20_u1_b45 17 20 1 45 pow(R,sub(P,log(R))) 114603 138858483 o2(x,o2(x,o1(x))) true 76831 76831 -0.9196 0.04297 0.9945 0.1472 0.3836 -1 1 2 1 0.3266 0.01588 0.0142 0.0159 0.05601 1 0.00000181 0.06289 0.03136 0.02982 0.1727 10.86 2.828 0.2044 0.4273 1 1 0.02516 0.1073 0.2597 0.1709 0.7292 1.765 json
t17_x20_u1_b46 17 20 1 46 pow(R,mlt(P,log(R))) 114604 138858484 o2(x,o2(x,o1(x))) true 76839 76839 -0.933 0.04269 0.9811 0.1061 0.3257 -1 1 2 1 0.4074 0.009972 0.01142 0.01412 -0.06781 1 0.00000955 0.04456 0.02602 0.02119 0.1456 10.31 2.828 0.2016 0.42 1 1 0.01588 0.07074 0.1752 0.1496 0.6667 1.651 json
t17_x20_u1_b47 17 20 1 47 pow(R,div(P,log(R))) 114605 138858485 o2(x,o2(x,o1(x))) true 76847 76847 -0.9444 0.04297 0.9697 0.07558 0.2749 -1 1 2 1 0.3491 0.006597 0.008215 0.01083 -0.1092 1 -6.428e-9 0.03087 0.02131 0.0147 0.1212 11.19 2.828 0.196 0.4085 1 1 0.009126 0.04173 0.1137 0.1208 0.5522 1.504 json
t17_x20_u1_b48 17 20 1 48 pow(R,pow(P,log(R))) 114606 138858486 o2(x,o2(x,o1(x))) true 76855 76855 -0.9872 0.007813 0.9971 0.02153 0.1467 -1 0.9378 1.938 1 0.09053 0.00194 0.002574 0.002881 -0.1404 1 1.558e-7 0.009488 0.005436 0.004507 0.06713 23.3 2.64 0.2096 0.4406 1 1 0.0004137 0.002946 0.0189 0.01921 0.1368 0.8776 json
t17_x20_u1_b49 17 20 1 49 pow(R,mod(P,log(R))) 114607 138858487 o2(x,o2(x,o1(x))) true 76863 76863 -0.9149 0.04297 0.9991 0.1615 0.4018 -1 1 2 1 0.2818 0.0165 0.01597 0.01641 0.01629 1 0.000002004 0.06787 0.03285 0.03219 0.1794 10.93 2.828 0.2011 0.4203 1 1 0.02539 0.1093 0.2729 0.1573 0.6769 1.69 json
t17_x20_u1_b50 17 20 1 50 pow(R,lrg(P,log(R))) 114608 138858488 o2(x,o2(x,o1(x))) true 76871 76871 -0.9181 0.04297 0.9959 0.1509 0.3884 -1 1 2 1 0.326 0.01614 0.01457 0.01615 0.05123 1 0.000002697 0.06424 0.03187 0.03044 0.1745 10.81 2.828 0.2036 0.4258 1 1 0.02503 0.1065 0.2628 0.1659 0.7062 1.742 json
t17_x20_u1_b51 17 20 1 51 pow(R,eql(P,log(R))) 114609 138858489 o2(x,o2(x,o1(x))) true 76879 76879 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
t17_x20_u1_b52 17 20 1 52 pow(R,min(P,log(R))) 114610 138858490 o2(x,o2(x,o1(x))) true 76887 76887 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t17_x20_u1_b53 17 20 1 53 pow(R,dot(P,log(R))) 114611 138858491 o2(x,o2(x,o1(x))) true 76895 76895 -0.9949 0.003906 0.9973 0.007018 0.08378 -1 0.8526 1.853 1 0.05075 0.0009143 0.0009409 0.001486 -0.01434 1 4.505e-11 0.003927 0.002687 0.001851 0.04303 28.96 1.853 0.2643 0.5596 1 1 0.003281 0.01321 0.02464 0.4675 1.882 3.511 json
t17_x20_u1_b54 17 20 1 54 pow(R,dst(P,log(R))) 114612 138858492 o2(x,o2(x,o1(x))) true 76903 76903 -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
t17_x20_u1_b55 17 20 1 55 mod(R,add(P,log(R))) 114613 138858493 o2(x,o2(x,o1(x))) true 76911 76911 -0.935 0.04297 0.9791 0.09649 0.3106 -1 0.9428 1.943 1 0.4206 0.00981 0.009552 0.01365 0.01329 1 0.000008535 0.04039 0.02525 0.01918 0.1385 10.14 2.098 0.2007 0.4186 1 1 0.01602 0.06852 0.1676 0.1661 0.7102 1.737 json
t17_x20_u1_b56 17 20 1 56 mod(R,sub(P,log(R))) 114614 138858494 o2(x,o2(x,o1(x))) true 76919 76919 -0.9373 0.04297 0.9767 0.08998 0.3 -1 0.9428 1.943 1 0.4229 0.008965 0.009322 0.01333 -0.01952 1 0.000008536 0.03818 0.02447 0.01811 0.1346 10.1 2.64 0.2032 0.4243 1 1 0.01408 0.06023 0.1431 0.1565 0.6695 1.59 json
t17_x20_u1_b57 17 20 1 57 mod(R,mlt(P,log(R))) 114615 138858495 o2(x,o2(x,o1(x))) true 76927 76927 -0.9523 0.03516 0.9774 0.06358 0.2521 -1 0.8783 1.878 1 0.3421 0.006675 0.006002 0.009846 0.0531 1 0.000002933 0.02649 0.01854 0.01259 0.1122 11.4 2.098 0.1994 0.4166 1 1 0.01123 0.04551 0.1118 0.1766 0.7158 1.758 json
t17_x20_u1_b58 17 20 1 58 mod(R,div(P,log(R))) 114616 138858496 o2(x,o2(x,o1(x))) true 76935 76935 -0.9454 0.03516 0.9843 0.0832 0.2884 -1 0.9428 1.943 1 0.3499 0.008732 0.007683 0.01142 0.06389 1 0.000008536 0.03424 0.02109 0.01628 0.1276 11.18 2.098 0.1973 0.4115 1 1 0.01517 0.06259 0.1544 0.1823 0.7522 1.856 json
t17_x20_u1_b59 17 20 1 59 mod(R,pow(P,log(R))) 114617 138858497 o2(x,o2(x,o1(x))) true 76943 76943 -0.9903 0.007141 0.9945 0.01261 0.1123 -1 0.9161 1.916 1 0.09317 0.00125 0.001196 0.002074 0.02175 1 -0.000002061 0.005081 0.003615 0.002441 0.04941 23.83 1.898 0.194 0.4031 1 1 0 0 0.01087 0 0 0.8623 json
t17_x20_u1_b60 17 20 1 60 mod(R,mod(P,log(R))) 114618 138858498 o2(x,o2(x,o1(x))) true 76951 76951 -0.9603 0.03516 0.9694 0.04353 0.2086 -1 0.4581 1.458 1 0.3035 0.004892 0.003927 0.008105 0.1095 1 -0.000004317 0.01844 0.01549 0.00875 0.09354 11.54 2.062 0.2026 0.4237 1 1 0.006828 0.02806 0.07318 0.1569 0.6447 1.681 json
t17_x20_u1_b61 17 20 1 61 mod(R,lrg(P,log(R))) 114619 138858499 o2(x,o2(x,o1(x))) true 76959 76959 -0.4733 0.2377 0.6607 0.3382 0.5816 -1 0.9806 1.981 1 3.663 0.006563 0.003113 0.04065 0.3566 1 0.000003461 0.01373 0.021 0.008023 0.08957 2.204 1.829 0.02861 0.04059 1 1 0.01475 0.1123 0.3128 0.04362 0.332 0.9246 json
t17_x20_u1_b62 17 20 1 62 mod(R,eql(P,log(R))) 114620 138858500 o2(x,o2(x,o1(x))) true 76967 76967 -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
t17_x20_u1_b63 17 20 1 63 mod(R,min(P,log(R))) 114621 138858501 o2(x,o2(x,o1(x))) true 76975 76975 -0.1473 0.4084 0.4014 0.2332 0.4829 -1 0.9693 1.969 1 4.71 0.009256 0.006414 0.05761 0.1814 1 0.00002808 0.02409 0.0302 0.01235 0.1111 1.929 1.898 0.0672 0.1033 1 1 0.02349 0.1574 0.4158 0.1007 0.6752 1.783 json
t17_x20_u1_b64 17 20 1 64 mod(R,dot(P,log(R))) 114622 138858502 o2(x,o2(x,o1(x))) true 76983 76983 -0.9936 0.003906 0.9985 0.01041 0.102 -1 0.8541 1.854 1 0.04859 0.001346 0.001359 0.001724 -0.004524 1 8.635e-11 0.005743 0.003299 0.0027 0.05196 30.14 1.939 0.2599 0.5518 1 1 0.004764 0.01909 0.03654 0.4578 1.834 3.511 json
t17_x20_u1_b65 17 20 1 65 mod(R,dst(P,log(R))) 114623 138858503 o2(x,o2(x,o1(x))) true 76991 76991 -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
t17_x20_u1_b66 17 20 1 66 lrg(R,add(P,log(R))) 114624 138858504 o2(x,o2(x,o1(x))) true 76999 76999 0.8242 0.9916 0.8242 0.1026 0.3203 0 1 1 1 1.962 0.0008743 0.001031 0.02245 -0.08215 1 0.00001283 0.0001157 0.005487 0.001401 0.03743 1.668 0.1169 0.01857 0.001128 1 1 0.003377 0.04394 0.1273 0.03292 0.4284 1.241 json
t17_x20_u1_b67 17 20 1 67 lrg(R,sub(P,log(R))) 114625 138858505 o2(x,o2(x,o1(x))) true 77007 77007 0.7637 0.9903 0.7637 0.1237 0.3518 0 1 1 1 2.424 0.001162 0.001414 0.03026 -0.09763 1 0.00002424 0.0001551 0.007389 0.00166 0.04075 1.346 0.1169 0.02082 0.001253 1 1 0.005189 0.06739 0.164 0.04194 0.5446 1.326 json
t17_x20_u1_b68 17 20 1 68 lrg(R,mlt(P,log(R))) 114626 138858506 o2(x,o2(x,o1(x))) true 77015 77015 0.8223 0.9881 0.8223 0.105 0.324 0 1 1 1 1.947 0.0009021 0.0009751 0.02196 -0.0389 1 -0.00001213 0.0001111 0.005361 0.001394 0.03734 1.701 0.1169 0.01789 0.001059 1 1 0.003478 0.04445 0.1096 0.03314 0.4235 1.044 json
t17_x20_u1_b69 17 20 1 69 lrg(R,div(P,log(R))) 114627 138858507 o2(x,o2(x,o1(x))) true 77023 77023 0.7598 0.9619 0.7598 0.1384 0.372 0 1 1 1 2.184 0.0009466 0.001126 0.02418 -0.08649 1 -0.00001213 0.0001162 0.005829 0.001488 0.03858 1.596 0.1169 0.01497 0.0008398 1 1 0.003999 0.05106 0.1509 0.0289 0.3689 1.09 json
t17_x20_u1_b70 17 20 1 70 lrg(R,pow(P,log(R))) 114628 138858508 o2(x,o2(x,o1(x))) true 77031 77031 0.8848 0.9768 0.8848 0.08275 0.2877 0 1 1 1 1.213 0.0006234 0.0002984 0.0108 0.3527 1 0.00001141 0.00005055 0.002595 0.0008055 0.02838 2.627 0.1169 0.01114 0.0006108 1 1 0.002425 0.03159 0.1346 0.02931 0.3818 1.627 json
t17_x20_u1_b71 17 20 1 71 lrg(R,mod(P,log(R))) 114629 138858509 o2(x,o2(x,o1(x))) true 77039 77039 0.9385 1 0.9385 0.03608 0.1899 0.000291 1 0.9997 1 1.058 0.0004401 0.0005687 0.01198 -0.1275 1 0.00002424 0.00005909 0.002898 0.0008657 0.02942 2.456 0.1169 0.02796 0.001638 1 1 0.001671 0.02161 0.05524 0.0463 0.5991 1.531 json
t17_x20_u1_b72 17 20 1 72 lrg(R,lrg(P,log(R))) 114630 138858510 o2(x,o2(x,o1(x))) true 77047 77047 0.2305 0.4335 0.2305 0.1347 0.367 0 1 1 1 2.133 0.0008969 0.001099 0.02334 -0.1011 1 0.000006428 0.0001133 0.005643 0.001451 0.03809 1.632 0.1169 0.01482 0.0008412 1 1 0.00381 0.0486 0.1437 0.02829 0.3609 1.067 json
t17_x20_u1_b73 17 20 1 73 lrg(R,eql(P,log(R))) 114631 138858511 o2(x,o2(x,o1(x))) true 77055 77055 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
t17_x20_u1_b74 17 20 1 74 lrg(R,min(P,log(R))) 114632 138858512 o2(x,o2(x,o1(x))) true 77063 77063 0.7109 0.9604 0.7109 0.1494 0.3865 0 1 1 1 2.525 0.001244 0.001316 0.03 -0.02823 1 -0.00002994 0.000153 0.00732 0.00166 0.04075 1.358 0.1169 0.01714 0.001024 1 1 0.005223 0.06784 0.1774 0.03496 0.4541 1.188 json
t17_x20_u1_b75 17 20 1 75 lrg(R,dot(P,log(R))) 114633 138858513 o2(x,o2(x,o1(x))) true 77071 77071 0.8789 0.9957 0.8789 0.07091 0.2663 0 1 1 1 1.646 0.0007444 0.0009238 0.01954 -0.1076 1 0.000007841 0.00009379 0.004705 0.001286 0.03587 1.836 0.1169 0.02352 0.001323 1 1 0.003057 0.03885 0.09459 0.04311 0.5478 1.334 json
t17_x20_u1_b76 17 20 1 76 lrg(R,dst(P,log(R))) 114634 138858514 o2(x,o2(x,o1(x))) true 77079 77079 0.8965 1 0.8965 0.0572 0.2392 0.000291 1 0.9997 1 1.574 0.0007844 0.0008795 0.0197 -0.05714 1 0.00002852 0.00009832 0.00479 0.001276 0.03572 1.813 0.1169 0.02909 0.001719 1 1 0.003746 0.04826 0.1198 0.06549 0.8438 2.095 json
t17_x20_u1_b77 17 20 1 77 eql(R,add(P,log(R))) 114635 138858515 o2(x,o2(x,o1(x))) true 77087 77087 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
t17_x20_u1_b78 17 20 1 78 eql(R,sub(P,log(R))) 114636 138858516 o2(x,o2(x,o1(x))) true 77095 77095 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
t17_x20_u1_b79 17 20 1 79 eql(R,mlt(P,log(R))) 114637 138858517 o2(x,o2(x,o1(x))) true 77103 77103 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
t17_x20_u1_b80 17 20 1 80 eql(R,div(P,log(R))) 114638 138858518 o2(x,o2(x,o1(x))) true 77111 77111 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
t17_x20_u1_b81 17 20 1 81 eql(R,pow(P,log(R))) 114639 138858519 o2(x,o2(x,o1(x))) true 77119 77119 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
t17_x20_u1_b82 17 20 1 82 eql(R,mod(P,log(R))) 114640 138858520 o2(x,o2(x,o1(x))) true 77127 77127 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
t17_x20_u1_b83 17 20 1 83 eql(R,lrg(P,log(R))) 114641 138858521 o2(x,o2(x,o1(x))) true 77135 77135 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
t17_x20_u1_b84 17 20 1 84 eql(R,eql(P,log(R))) 114642 138858522 o2(x,o2(x,o1(x))) true 77143 77143 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
t17_x20_u1_b85 17 20 1 85 eql(R,min(P,log(R))) 114643 138858523 o2(x,o2(x,o1(x))) true 77151 77151 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
t17_x20_u1_b86 17 20 1 86 eql(R,dot(P,log(R))) 114644 138858524 o2(x,o2(x,o1(x))) true 77159 77159 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
t17_x20_u1_b87 17 20 1 87 eql(R,dst(P,log(R))) 114645 138858525 o2(x,o2(x,o1(x))) true 77167 77167 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
t17_x20_u1_b88 17 20 1 88 min(R,add(P,log(R))) 114646 138858526 o2(x,o2(x,o1(x))) true 77175 77175 -0.4618 0.2131 0.6272 0.2972 0.5451 -1 0.9806 1.981 1 4.032 0.002582 0.002725 0.04575 -0.02705 1 0.00009463 0.001592 0.01698 0.003214 0.05669 1.239 0.5864 0.01786 0.005358 1 1 0.009584 0.1019 0.2978 0.03225 0.3429 1.002 json
t17_x20_u1_b89 17 20 1 89 min(R,sub(P,log(R))) 114647 138858527 o2(x,o2(x,o1(x))) true 77183 77183 -0.388 0.2484 0.5772 0.2964 0.5444 -1 0.9806 1.981 1 4.324 0.002374 0.002677 0.04822 -0.06007 1 0.00006972 0.001135 0.01586 0.002726 0.05221 1.083 0.4095 0.01704 0.00383 1 1 0.009405 0.1087 0.2991 0.03173 0.3669 1.009 json
t17_x20_u1_b90 17 20 1 90 min(R,mlt(P,log(R))) 114648 138858528 o2(x,o2(x,o1(x))) true 77191 77191 -0.3879 0.2363 0.532 0.2431 0.493 -1 0.8783 1.878 1 4.399 0.00205 0.002518 0.04504 -0.1024 1 0.00031 0.001475 0.01638 0.002539 0.05039 1.119 0.4954 0.01879 0.00607 1 1 0.008016 0.08546 0.2214 0.03298 0.3516 0.9107 json
t17_x20_u1_b91 17 20 1 91 min(R,div(P,log(R))) 114649 138858529 o2(x,o2(x,o1(x))) true 77199 77199 -0.4094 0.2561 0.6155 0.3304 0.5748 -1 0.9693 1.969 1 4.148 0.002989 0.003206 0.04775 -0.03507 1 0.0002407 0.002926 0.01989 0.003914 0.06256 1.31 0.7477 0.01875 0.008856 1 1 0.0113 0.1121 0.2981 0.03421 0.3393 0.9024 json
t17_x20_u1_b92 17 20 1 92 min(R,pow(P,log(R))) 114650 138858530 o2(x,o2(x,o1(x))) true 77207 77207 -0.006926 0.4848 0.3846 0.2113 0.4597 -0.9989 0.9693 1.968 1 4.847 0.002684 0.003037 0.06163 -0.06177 1 0.00002815 0.0003344 0.01411 0.001922 0.04384 0.7113 0.2301 0.02707 0.001582 1 1 0.01145 0.1471 0.3774 0.05419 0.6959 1.786 json
t17_x20_u1_b93 17 20 1 93 min(R,mod(P,log(R))) 114651 138858531 o2(x,o2(x,o1(x))) true 77215 77215 -0.3168 0.1505 0.3554 0.09893 0.3145 -1 0.4356 1.436 1 4.28 0.001214 0.001157 0.03882 0.02392 1 -0.000005507 0.0001795 0.00928 0.000864 0.02939 0.7572 0.2193 0.02396 0.001815 1 1 0.004598 0.05839 0.1415 0.04648 0.5902 1.431 json
t17_x20_u1_b94 17 20 1 94 min(R,lrg(P,log(R))) 114652 138858532 o2(x,o2(x,o1(x))) true 77223 77223 -0.1206 0.2599 0.3187 0.1567 0.3958 -0.9989 0.9806 1.979 1 4.529 0.001958 0.001987 0.04833 -0.007254 1 0.00001579 0.000235 0.01119 0.001609 0.04011 0.83 0.219 0.02518 0.001499 1 1 0.007828 0.1013 0.274 0.04996 0.6463 1.748 json
t17_x20_u1_b95 17 20 1 95 min(R,eql(P,log(R))) 114653 138858533 o2(x,o2(x,o1(x))) true 77231 77231 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x20_u1_b96 17 20 1 96 min(R,min(P,log(R))) 114654 138858534 o2(x,o2(x,o1(x))) true 77239 77239 -0.7736 0 0.7736 0.0852 0.2919 -1 -0.002986 0.997 1 2.718 0.0007896 0.0007513 0.02059 0.02486 1 0.00007002 0.0003604 0.006629 0.001117 0.03342 1.624 0.3757 0.01808 0.00423 1 1 0.002645 0.0297 0.09627 0.03105 0.3486 1.13 json
t17_x20_u1_b97 17 20 1 97 min(R,dot(P,log(R))) 114655 138858535 o2(x,o2(x,o1(x))) true 77247 77247 -0.2421 0.3388 0.4915 0.284 0.5329 -1 0.9806 1.981 1 4.683 0.004401 0.004696 0.06415 -0.03248 1 0.0002499 0.002824 0.02236 0.004983 0.07059 1.1 0.7215 0.03203 0.009946 1 1 0.01495 0.1644 0.4667 0.05265 0.5789 1.643 json
t17_x20_u1_b98 17 20 1 98 min(R,dst(P,log(R))) 114656 138858536 o2(x,o2(x,o1(x))) true 77255 77255 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
t17_x20_u1_b99 17 20 1 99 dot(R,add(P,log(R))) 114657 138858537 o2(x,o2(x,o1(x))) true 77263 77263 -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
t17_x20_u1_b100 17 20 1 100 dot(R,sub(P,log(R))) 114658 138858538 o2(x,o2(x,o1(x))) true 77271 77271 -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
t17_x20_u1_b101 17 20 1 101 dot(R,mlt(P,log(R))) 114659 138858539 o2(x,o2(x,o1(x))) true 77279 77279 -0.9922 0.003906 1 0.01551 0.1245 -1 1 2 1 0.03772 0.001994 0.001993 0.001994 0.00005945 1 0 0.008459 0.004014 0.00398 0.06309 31.65 2.828 0.2571 0.5455 1 1 0.007018 0.02826 0.05477 0.4526 1.823 3.532 json
t17_x20_u1_b102 17 20 1 102 dot(R,div(P,log(R))) 114660 138858540 o2(x,o2(x,o1(x))) true 77287 77287 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x20_u1_b103 17 20 1 103 dot(R,pow(P,log(R))) 114661 138858541 o2(x,o2(x,o1(x))) true 77295 77295 -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
t17_x20_u1_b104 17 20 1 104 dot(R,mod(P,log(R))) 114662 138858542 o2(x,o2(x,o1(x))) true 77303 77303 -0.9968 0 0.9968 0.002643 0.05141 -1 -0.09941 0.9006 1 0.04246 0.0003427 0.000342 0.000848 0.001029 1 -2.628e-11 0.001455 0.001663 0.0006834 0.02614 30.83 1.197 0.259 0.5503 1 1 0.001205 0.004821 0.009334 0.4558 1.824 3.531 json
t17_x20_u1_b105 17 20 1 105 dot(R,lrg(P,log(R))) 114663 138858543 o2(x,o2(x,o1(x))) true 77311 77311 -0.214 0.3537 0.5297 0.3472 0.5892 -1 1 2 1 4.686 0.005033 0.004891 0.07142 0.01432 1 0.00004572 0.001348 0.01984 0.004822 0.06944 0.9723 0.406 0.02858 0.003882 1 1 0.02164 0.2552 0.6648 0.06232 0.7351 1.915 json
t17_x20_u1_b106 17 20 1 106 dot(R,eql(P,log(R))) 114664 138858544 o2(x,o2(x,o1(x))) true 77319 77319 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
t17_x20_u1_b107 17 20 1 107 dot(R,min(P,log(R))) 114665 138858545 o2(x,o2(x,o1(x))) true 77327 77327 -0.5251 0.2054 0.8555 0.5278 0.7265 -1 1 2 1 2.681 0.01413 0.02014 0.0712 -0.1753 1 0.0001257 0.02372 0.04807 0.02922 0.171 2.401 1.824 0.06493 0.04493 1 1 0.04699 0.3642 0.7809 0.08903 0.6899 1.479 json
t17_x20_u1_b108 17 20 1 108 dot(R,dot(P,log(R))) 114666 138858546 o2(x,o2(x,o1(x))) true 77335 77335 -0.9927 0.003708 0.9995 0.01398 0.1182 -1 1 2 1 0.04248 0.001729 0.0017 0.001935 0.00822 1 -3.379e-11 0.007198 0.003694 0.003422 0.0585 30.23 2.001 0.2453 0.5149 1 1 0.006102 0.02626 0.04916 0.4365 1.878 3.516 json
t17_x20_u1_b109 17 20 1 109 dot(R,dst(P,log(R))) 114667 138858547 o2(x,o2(x,o1(x))) true 77343 77343 -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
t17_x20_u1_b110 17 20 1 110 dst(R,add(P,log(R))) 114668 138858548 o2(x,o2(x,o1(x))) true 77351 77351 -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
t17_x20_u1_b111 17 20 1 111 dst(R,sub(P,log(R))) 114669 138858549 o2(x,o2(x,o1(x))) true 77359 77359 -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
t17_x20_u1_b112 17 20 1 112 dst(R,mlt(P,log(R))) 114670 138858550 o2(x,o2(x,o1(x))) true 77367 77367 -0.9922 0.003906 1 0.01548 0.1244 -1 1 2 1 0.03795 0.001985 0.001978 0.001991 0.001947 1 0 0.008396 0.004002 0.003956 0.0629 31.59 2.828 0.256 0.5424 1 1 0.006979 0.02822 0.05468 0.4509 1.823 3.533 json
t17_x20_u1_b113 17 20 1 113 dst(R,div(P,log(R))) 114671 138858551 o2(x,o2(x,o1(x))) true 77375 77375 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x20_u1_b114 17 20 1 114 dst(R,pow(P,log(R))) 114672 138858552 o2(x,o2(x,o1(x))) true 77383 77383 -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
t17_x20_u1_b115 17 20 1 115 dst(R,mod(P,log(R))) 114673 138858553 o2(x,o2(x,o1(x))) true 77391 77391 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x20_u1_b116 17 20 1 116 dst(R,lrg(P,log(R))) 114674 138858554 o2(x,o2(x,o1(x))) true 77399 77399 0.9969 1 0.9969 0.0008554 0.02925 0.4379 1 0.5621 1 0.142 0.00006497 0.00005681 0.00138 0.067 1 5.068e-11 0.00007339 0.001102 0.0001199 0.01095 7.936 0.1801 0.1424 0.0858 1 1 0.0002654 0.001895 0.002294 0.3103 2.215 2.682 json
t17_x20_u1_b117 17 20 1 117 dst(R,eql(P,log(R))) 114675 138858555 o2(x,o2(x,o1(x))) true 77407 77407 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x20_u1_b118 17 20 1 118 dst(R,min(P,log(R))) 114676 138858556 o2(x,o2(x,o1(x))) true 77415 77415 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
t17_x20_u1_b119 17 20 1 119 dst(R,dot(P,log(R))) 114677 138858557 o2(x,o2(x,o1(x))) true 77423 77423 -0.9922 0.003906 1 0.01539 0.1241 -1 1 2 1 0.03825 0.001952 0.001934 0.001983 0.004659 1 0 0.008195 0.003962 0.003879 0.06228 31.41 2.828 0.2525 0.5325 1 1 0.006862 0.02808 0.05439 0.4459 1.825 3.535 json
t17_x20_u1_b120 17 20 1 120 dst(R,dst(P,log(R))) 114678 138858558 o2(x,o2(x,o1(x))) true 77431 77431 -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
t17_x20_u2_b0 17 20 2 0 add(R,add(P,frc(R))) 114679 138858639 o2(x,o2(x,o1(x))) true 77439 77439 0.06819 0.5309 0.9351 0.9091 0.9535 -1 1 2 1 1.977 0.001436 0.0006938 0.01359 0.3485 1 -0.00002443 0.0004254 0.004795 0.001944 0.04409 3.243 0.3781 0.002343 0.000468 1 1 0.004943 0.05581 0.2808 0.005437 0.06139 0.3088 json
t17_x20_u2_b1 17 20 2 1 add(R,sub(P,frc(R))) 114680 138858640 o2(x,o2(x,o1(x))) true 77447 77447 -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.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t17_x20_u2_b2 17 20 2 2 add(R,mlt(P,frc(R))) 114681 138858641 o2(x,o2(x,o1(x))) true 77455 77455 -0.03932 0.4753 0.8494 0.7997 0.8943 -1 1 2 1 2.942 0.002348 0.002169 0.02931 0.0396 1 -0.00003925 0.00132 0.0123 0.003656 0.06047 2.063 0.5512 0.005648 0.001651 1 1 0.008423 0.08903 0.3257 0.01053 0.1113 0.4073 json
t17_x20_u2_b3 17 20 2 3 add(R,div(P,frc(R))) 114682 138858642 o2(x,o2(x,o1(x))) true 77463 77463 0.001147 0.4981 0.9676 0.9551 0.9773 -1 1 2 1 1.594 0.001955 0.0004809 0.01004 0.6052 1 -0.000001682 0.001627 0.005609 0.002335 0.04832 4.815 1.187 0.002551 0.001703 1 1 0.005406 0.0523 0.3108 0.00566 0.05476 0.3254 json
t17_x20_u2_b4 17 20 2 4 add(R,pow(P,frc(R))) 114683 138858643 o2(x,o2(x,o1(x))) true 77471 77471 -0.05878 0.4858 0.9534 0.9304 0.9646 -1 1 2 1 1.821 0.005206 0.0005957 0.01418 0.7947 1 -0.00003164 0.008951 0.01187 0.005601 0.07484 5.277 1.829 0.006236 0.009621 1 1 0.008961 0.06034 0.3144 0.009632 0.06485 0.338 json
t17_x20_u2_b5 17 20 2 5 add(R,mod(P,frc(R))) 114684 138858644 o2(x,o2(x,o1(x))) true 77479 77479 0.008197 0.5342 0.4202 0.2614 0.5113 -0.9996 1 2 1 4.905 0.003169 0.003176 0.06347 -0.001147 1 0.000005522 0.0004668 0.01506 0.002316 0.04812 0.7581 0.2634 0.02427 0.001786 1 1 0.01244 0.1573 0.4488 0.04757 0.6015 1.717 json
t17_x20_u2_b6 17 20 2 6 add(R,lrg(P,frc(R))) 114685 138858645 o2(x,o2(x,o1(x))) true 77487 77487 0.3927 0.7499 0.5896 0.2984 0.5462 -0.9989 1 1.999 1 4.441 0.0025 0.002467 0.04992 0.006636 1 -0.00001599 0.0005757 0.01393 0.002476 0.04976 0.9968 0.312 0.01665 0.00193 1 1 0.009889 0.1188 0.3167 0.03314 0.3982 1.061 json
t17_x20_u2_b7 17 20 2 7 add(R,eql(P,frc(R))) 114686 138858646 o2(x,o2(x,o1(x))) true 77495 77495 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
t17_x20_u2_b8 17 20 2 8 add(R,min(P,frc(R))) 114687 138858647 o2(x,o2(x,o1(x))) true 77503 77503 -0.2526 0.4051 0.7553 0.6111 0.7817 -1 1 2 1 3.552 0.002537 0.002036 0.03736 0.1095 1 -0.00002444 0.0006616 0.01102 0.003176 0.05636 1.508 0.3211 0.007485 0.001083 1 1 0.009038 0.1076 0.3925 0.01479 0.1761 0.6424 json
t17_x20_u2_b9 17 20 2 9 add(R,dot(P,frc(R))) 114688 138858648 o2(x,o2(x,o1(x))) true 77511 77511 -0.06269 0.4652 0.8814 0.8405 0.9168 -1 1 2 1 2.57 0.005866 0.007036 0.04012 -0.09074 1 -0.000009993 0.006055 0.02038 0.01129 0.1063 2.648 1.434 0.01535 0.007204 1 1 0.01792 0.1776 0.517 0.02132 0.2113 0.6151 json
t17_x20_u2_b10 17 20 2 10 add(R,dst(P,frc(R))) 114689 138858649 o2(x,o2(x,o1(x))) true 77519 77519 0.9987 1 0.9987 0.0005803 0.02409 0.3268 1 0.6732 1 0.04278 0.00002348 0.00002428 0.0004164 -0.01666 0 -1.877e-11 0.00001903 0.0002457 0.00004761 0.0069 16.57 0.2102 0.0823 0.0328 1 1 0.0001549 0.001377 0.002115 0.267 2.374 3.645 json
t17_x20_u2_b11 17 20 2 11 sub(R,add(P,frc(R))) 114690 138858650 o2(x,o2(x,o1(x))) true 77527 77527 -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.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t17_x20_u2_b12 17 20 2 12 sub(R,sub(P,frc(R))) 114691 138858651 o2(x,o2(x,o1(x))) true 77535 77535 0.07283 0.5372 0.9327 0.9064 0.952 -1 1 2 1 2.006 0.001552 0.0006628 0.01416 0.4016 1 -0.00002109 0.0004081 0.004823 0.002014 0.04488 3.169 0.4193 0.002444 0.0004503 1 1 0.005284 0.05939 0.2742 0.00583 0.06553 0.3025 json
t17_x20_u2_b13 17 20 2 13 sub(R,mlt(P,frc(R))) 114692 138858652 o2(x,o2(x,o1(x))) true 77543 77543 -0.0448 0.4633 0.8474 0.7972 0.8929 -1 1 2 1 2.942 0.00234 0.002333 0.02945 0.001473 1 -0.0000307 0.00138 0.01239 0.003808 0.06171 2.096 0.5906 0.005863 0.001731 1 1 0.009039 0.09366 0.3096 0.01134 0.1175 0.3884 json
t17_x20_u2_b14 17 20 2 14 sub(R,div(P,frc(R))) 114693 138858653 o2(x,o2(x,o1(x))) true 77551 77551 0.005042 0.499 0.9656 0.9521 0.9758 -1 1 2 1 1.635 0.002558 0.0005046 0.01013 0.6705 1 -0.000002529 0.003129 0.006263 0.00296 0.05441 5.373 1.482 0.003217 0.003287 1 1 0.006648 0.05507 0.3093 0.006982 0.05784 0.3248 json
t17_x20_u2_b15 17 20 2 15 sub(R,pow(P,frc(R))) 114694 138858654 o2(x,o2(x,o1(x))) true 77559 77559 -0.9539 0.0119 0.9618 0.03777 0.1943 -1 0.8288 1.829 1 0.6946 0.004704 0.000225 0.00953 0.9087 1 -0.000002701 0.008679 0.008917 0.004839 0.06956 7.299 1.829 0.1305 0.2298 1 1 0.007728 0.03837 0.07106 0.2046 1.016 1.882 json
t17_x20_u2_b16 17 20 2 16 sub(R,mod(P,frc(R))) 114695 138858655 o2(x,o2(x,o1(x))) true 77567 77567 -0.003552 0.5129 0.4437 0.2823 0.5313 -0.9993 1 1.999 1 4.932 0.002849 0.003503 0.06371 -0.103 1 -0.000002336 0.0004473 0.01507 0.002293 0.04789 0.7517 0.2658 0.0225 0.001585 1 1 0.0126 0.1597 0.3894 0.04464 0.5659 1.379 json
t17_x20_u2_b17 17 20 2 17 sub(R,lrg(P,frc(R))) 114696 138858656 o2(x,o2(x,o1(x))) true 77575 77575 -0.3682 0.276 0.5938 0.3255 0.5705 -1 0.9693 1.969 1 4.374 0.002287 0.002443 0.0489 -0.03298 1 0.00006651 0.0005133 0.01339 0.002338 0.04835 0.9887 0.238 0.01453 0.001577 1 1 0.009677 0.1175 0.3327 0.02973 0.3611 1.022 json
t17_x20_u2_b18 17 20 2 18 sub(R,eql(P,frc(R))) 114697 138858657 o2(x,o2(x,o1(x))) true 77583 77583 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
t17_x20_u2_b19 17 20 2 19 sub(R,min(P,frc(R))) 114698 138858658 o2(x,o2(x,o1(x))) true 77591 77591 0.2024 0.5011 0.7405 0.6344 0.7965 -1 1 2 1 3.293 0.001758 0.001465 0.03351 0.09082 1 -0.00004417 0.0002809 0.008562 0.002099 0.04582 1.367 0.3332 0.00508 0.0004428 1 1 0.006823 0.08611 0.3091 0.01076 0.1357 0.4873 json
t17_x20_u2_b20 17 20 2 20 sub(R,dot(P,frc(R))) 114699 138858659 o2(x,o2(x,o1(x))) true 77599 77599 0.01644 0.5108 0.8962 0.8605 0.9277 -1 1 2 1 2.482 0.005839 0.007628 0.04039 -0.1328 1 0.00001165 0.006165 0.02089 0.01183 0.1088 2.693 1.2 0.01565 0.007164 1 1 0.01918 0.1833 0.5063 0.02229 0.213 0.5884 json