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_x6_u4_b37 17 6 4 37 div(P,pow(R,cil(P))) 103100 138293464 o2(x,o2(x,o1(x))) true 141607 141607 -0.9335 0.02344 0.9649 0.08632 0.2938 -1 1 2 1 0.6148 0.008974 0.008062 0.01529 0.05353 1 -0.000002823 0.03483 0.02475 0.01681 0.1296 8.477 2.828 0.1974 0.4035 1 1 0.01383 0.06124 0.1747 0.1603 0.7094 2.024 json
t17_x6_u4_b38 17 6 4 38 div(P,mod(R,cil(P))) 103101 138293465 o2(x,o2(x,o1(x))) true 141615 141615 -0.1725 0.414 0.9731 0.9343 0.9666 -1 1 2 1 1.466 0.07793 0.07671 0.1088 0.007895 1 -0.000003842 0.3117 0.1698 0.1428 0.3778 3.472 2.828 0.1655 0.3336 1 1 0.1717 0.8184 1.785 0.1837 0.8759 1.91 json
t17_x6_u4_b39 17 6 4 39 div(P,lrg(R,cil(P))) 103102 138293466 o2(x,o2(x,o1(x))) true 141623 141623 -0.9922 0 0.9922 0.00606 0.07785 -1 -0.000291 0.9997 1 0.1405 0.001097 0.0005923 0.002705 0.2987 1 -1.877e-11 0.003423 0.003743 0.001682 0.04101 15.16 1.414 0.2787 0.5647 1 1 0.002389 0.01006 0.01771 0.3943 1.66 2.922 json
t17_x6_u4_b40 17 6 4 40 div(P,eql(R,cil(P))) 103103 138293467 o2(x,o2(x,o1(x))) true 141631 141631 -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_x6_u4_b41 17 6 4 41 div(P,min(R,cil(P))) 103104 138293468 o2(x,o2(x,o1(x))) true 141639 141639 0.322 0.6703 0.9625 0.8494 0.9216 -1 1 2 1 1.488 0.04715 0.04348 0.06627 0.0404 1 -0.00002737 0.1788 0.09986 0.08624 0.2937 4.431 2.828 0.1067 0.2105 1 1 0.1056 0.5118 1.202 0.1244 0.6026 1.415 json
t17_x6_u4_b42 17 6 4 42 div(P,dot(R,cil(P))) 103105 138293469 o2(x,o2(x,o1(x))) true 141647 141647 0.01385 0.5265 0.7735 0.7069 0.8408 -1 1 2 1 3.523 0.02366 0.0259 0.09689 -0.04519 1 -0.00008284 0.04843 0.06805 0.04015 0.2004 2.068 2.828 0.0701 0.06851 1 1 0.08344 0.5652 1.399 0.118 0.7996 1.979 json
t17_x6_u4_b43 17 6 4 43 div(P,dst(R,cil(P))) 103106 138293470 o2(x,o2(x,o1(x))) true 141655 141655 0.005475 0.4978 0.6334 0.4837 0.6955 -1 1 2 1 4.795 0.0002383 0.0001179 0.01181 0.3381 1 0.000001038 0.00004032 0.002954 0.0002168 0.01472 1.247 0.1973 0.0007364 0.00008336 1 1 0.001099 0.01347 0.1081 0.002271 0.02785 0.2236 json
t17_x6_u4_b44 17 6 4 44 pow(P,add(R,cil(P))) 103107 138293471 o2(x,o2(x,o1(x))) true 141663 141663 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t17_x6_u4_b45 17 6 4 45 pow(P,sub(R,cil(P))) 103108 138293472 o2(x,o2(x,o1(x))) true 141671 141671 -0.4888 0.3012 0.6049 0.346 0.5882 -1 0.9999 2 1 1.833 0.01315 0.003624 0.01433 0.568 1 3.592e-8 0.03395 0.01954 0.01657 0.1287 8.984 2.828 0.04849 0.09811 1 1 0.02324 0.0948 0.263 0.06717 0.274 0.76 json
t17_x6_u4_b46 17 6 4 46 pow(P,mlt(R,cil(P))) 103109 138293473 o2(x,o2(x,o1(x))) true 141679 141679 -0.08048 0.497 0.9195 0.8925 0.9447 -1 1 2 1 1.911 0.0184 0.00324 0.02427 0.7005 1 -0.00005412 0.04071 0.0321 0.02106 0.1451 5.98 2 0.02425 0.04561 1 1 0.02826 0.1199 0.3955 0.03166 0.1343 0.4431 json
t17_x6_u4_b47 17 6 4 47 pow(P,div(R,cil(P))) 103110 138293474 o2(x,o2(x,o1(x))) true 141687 141687 -0.1262 0.4531 0.9675 0.9286 0.9637 -1 1 2 1 1.764 0.01298 0.003668 0.01401 0.5594 1 -0.000007012 0.03391 0.02015 0.01645 0.1283 9.156 2.828 0.01793 0.03652 1 1 0.02286 0.09548 0.3705 0.02462 0.1028 0.3989 json
t17_x6_u4_b48 17 6 4 48 pow(P,pow(R,cil(P))) 103111 138293475 o2(x,o2(x,o1(x))) true 141695 141695 -0.8906 0.07031 0.9688 0.1686 0.4107 -1 1 2 1 0.5964 0.0212 0.002771 0.01776 0.7688 1 -3.004e-11 0.0478 0.02846 0.02367 0.1538 8.662 2 0.1421 0.2835 1 1 0.0272 0.1109 0.228 0.1613 0.6573 1.352 json
t17_x6_u4_b49 17 6 4 49 pow(P,mod(R,cil(P))) 103112 138293476 o2(x,o2(x,o1(x))) true 141703 141703 -0.195 0.4375 0.93 0.8566 0.9255 -1 1 2 1 2.073 0.01638 0.0006141 0.01933 0.9277 1 -0.00005144 0.03226 0.02173 0.01661 0.1289 6.668 2 0.01984 0.03766 1 1 0.0226 0.09626 0.3367 0.02639 0.1124 0.3931 json
t17_x6_u4_b50 17 6 4 50 pow(P,lrg(R,cil(P))) 103113 138293477 o2(x,o2(x,o1(x))) true 141711 141711 -0.01367 0.5 0.9863 0.982 0.991 -1 1 2 1 1.244 0.01056 0.00005267 0.008426 0.9901 1 0.000002852 0.02084 0.01284 0.01054 0.1027 12.18 2 0.01081 0.02122 1 1 0.01414 0.06463 0.3207 0.0144 0.06582 0.3266 json
t17_x6_u4_b51 17 6 4 51 pow(P,eql(R,cil(P))) 103114 138293478 o2(x,o2(x,o1(x))) true 141719 141719 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_x6_u4_b52 17 6 4 52 pow(P,min(R,cil(P))) 103115 138293479 o2(x,o2(x,o1(x))) true 141727 141727 -0.1638 0.4531 0.93 0.8675 0.9314 -1 1 2 1 2.09 0.01638 0.006661 0.0223 0.4217 1 -0.00005144 0.04586 0.02778 0.02254 0.1501 6.732 2.828 0.02656 0.05286 1 1 0.03147 0.1323 0.4385 0.03628 0.1525 0.5055 json
t17_x6_u4_b53 17 6 4 53 pow(P,dot(R,cil(P))) 103116 138293480 o2(x,o2(x,o1(x))) true 141735 141735 -0.1759 0.4542 0.91 0.866 0.9306 -1 1 2 1 1.772 0.01619 0.005745 0.02443 0.4763 1 -0.00004617 0.0429 0.03575 0.02135 0.1461 5.981 2.828 0.02533 0.04954 1 1 0.02606 0.1182 0.4263 0.03009 0.1365 0.4923 json
t17_x6_u4_b54 17 6 4 54 pow(P,dst(R,cil(P))) 103117 138293481 o2(x,o2(x,o1(x))) true 141743 141743 -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
t17_x6_u4_b55 17 6 4 55 mod(P,add(R,cil(P))) 103118 138293482 o2(x,o2(x,o1(x))) true 141751 141751 -0.005064 0.4993 0.782 0.7111 0.8433 -1 1 2 1 3.568 0.002356 0.002186 0.0334 0.03745 1 -0.0000286 0.002292 0.01897 0.003425 0.05853 1.752 0.4624 0.006387 0.003223 1 1 0.00745 0.06683 0.2457 0.01048 0.09399 0.3456 json
t17_x6_u4_b56 17 6 4 56 mod(P,sub(R,cil(P))) 103119 138293483 o2(x,o2(x,o1(x))) true 141759 141759 0.01257 0.4983 0.8009 0.7411 0.8609 -1 1 2 1 3.333 0.001815 0.002429 0.02997 -0.1446 1 0.00001924 0.002262 0.01773 0.003347 0.05785 1.93 0.4419 0.005727 0.003052 1 1 0.006512 0.05621 0.2121 0.008787 0.07584 0.2863 json
t17_x6_u4_b57 17 6 4 57 mod(P,mlt(R,cil(P))) 103120 138293484 o2(x,o2(x,o1(x))) true 141767 141767 -0.1034 0.4375 0.6659 0.5376 0.7332 -1 1 2 1 4.349 0.009702 0.001265 0.03936 0.7693 1 0.00003112 0.01739 0.02648 0.009419 0.09705 2.466 1.398 0.0204 0.03234 1 1 0.01505 0.08991 0.3268 0.028 0.1672 0.6079 json
t17_x6_u4_b58 17 6 4 58 mod(P,div(R,cil(P))) 103121 138293485 o2(x,o2(x,o1(x))) true 141775 141775 -0.1258 0.4375 0.1848 0.1162 0.3409 -1 0.4062 1.406 1 2.761 0.008442 0.0000319 0.01325 0.9925 1 0.000001806 0.01683 0.01722 0.008299 0.0911 6.875 1.398 0.07291 0.1448 1 1 0.01131 0.04586 0.1743 0.09735 0.3946 1.5 json
t17_x6_u4_b59 17 6 4 59 mod(P,pow(R,cil(P))) 103122 138293486 o2(x,o2(x,o1(x))) true 141783 141783 -0.9639 0.02214 0.968 0.0346 0.186 -1 0.3363 1.336 1 0.405 0.003193 0.003092 0.007741 0.01604 1 9.586e-7 0.0129 0.01247 0.006226 0.07891 10.19 1.89 0.1817 0.3728 1 1 0.005829 0.02592 0.07419 0.1685 0.7492 2.145 json
t17_x6_u4_b60 17 6 4 60 mod(P,mod(R,cil(P))) 103123 138293487 o2(x,o2(x,o1(x))) true 141791 141791 -0.1127 0.4375 0.3247 0.1805 0.4249 -1 0.7988 1.799 1 4.159 0.008683 0.0003066 0.02524 0.9318 1 1.503e-7 0.01686 0.01998 0.008353 0.09139 3.62 1.398 0.0498 0.09339 1 1 0.01226 0.05823 0.22 0.0679 0.3225 1.219 json
t17_x6_u4_b61 17 6 4 61 mod(P,lrg(R,cil(P))) 103124 138293488 o2(x,o2(x,o1(x))) true 141799 141799 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t17_x6_u4_b62 17 6 4 62 mod(P,eql(R,cil(P))) 103125 138293489 o2(x,o2(x,o1(x))) true 141807 141807 -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_x6_u4_b63 17 6 4 63 mod(P,min(R,cil(P))) 103126 138293490 o2(x,o2(x,o1(x))) true 141815 141815 -0.2203 0.4595 0.4365 0.3085 0.5554 -1 0.7988 1.799 1 3.274 0.01019 0.001866 0.03122 0.6903 1 0.0006331 0.01787 0.02718 0.01108 0.1053 3.371 1.461 0.03907 0.05792 1 1 0.01859 0.1047 0.2611 0.06026 0.3393 0.8464 json
t17_x6_u4_b64 17 6 4 64 mod(P,dot(R,cil(P))) 103127 138293491 o2(x,o2(x,o1(x))) true 141823 141823 -0.0227 0.4916 0.7607 0.6903 0.8309 -1 1 2 1 3.591 0.0034 0.003152 0.03547 0.03784 1 0.00003466 0.006523 0.01976 0.005292 0.07275 2.051 2.828 0.00949 0.009448 1 1 0.01204 0.09447 0.3487 0.01744 0.1369 0.505 json
t17_x6_u4_b65 17 6 4 65 mod(P,dst(R,cil(P))) 103128 138293492 o2(x,o2(x,o1(x))) true 141831 141831 0.001298 0.5 0.9093 0.8849 0.9407 -1 1 2 1 2.216 0.001059 0.0008238 0.01444 0.1248 1 -0.00002554 0.0007843 0.006757 0.001673 0.0409 2.832 0.4436 0.002128 0.0008864 1 1 0.004088 0.04043 0.2499 0.00462 0.04569 0.2824 json
t17_x6_u4_b66 17 6 4 66 lrg(P,add(R,cil(P))) 103129 138293493 o2(x,o2(x,o1(x))) true 141839 141839 0.5176 0.9429 0.5176 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_x6_u4_b67 17 6 4 67 lrg(P,sub(R,cil(P))) 103130 138293494 o2(x,o2(x,o1(x))) true 141847 141847 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x6_u4_b68 17 6 4 68 lrg(P,mlt(R,cil(P))) 103131 138293495 o2(x,o2(x,o1(x))) true 141855 141855 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
t17_x6_u4_b69 17 6 4 69 lrg(P,div(R,cil(P))) 103132 138293496 o2(x,o2(x,o1(x))) true 141863 141863 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x6_u4_b70 17 6 4 70 lrg(P,pow(R,cil(P))) 103133 138293497 o2(x,o2(x,o1(x))) true 141871 141871 0.6973 0.9407 0.6973 0.1611 0.4014 0 1 1 1 2.432 0.001249 0.001126 0.02758 0.05192 1 -0.00001213 0.00013 0.006626 0.001615 0.04018 1.457 0.1169 0.01474 0.0008068 1 1 0.004847 0.06213 0.1947 0.03008 0.3856 1.208 json
t17_x6_u4_b71 17 6 4 71 lrg(P,mod(R,cil(P))) 103134 138293498 o2(x,o2(x,o1(x))) true 141879 141879 0.5313 0.5625 0.5313 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
t17_x6_u4_b72 17 6 4 72 lrg(P,lrg(R,cil(P))) 103135 138293499 o2(x,o2(x,o1(x))) true 141887 141887 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
t17_x6_u4_b73 17 6 4 73 lrg(P,eql(R,cil(P))) 103136 138293500 o2(x,o2(x,o1(x))) true 141895 141895 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
t17_x6_u4_b74 17 6 4 74 lrg(P,min(R,cil(P))) 103137 138293501 o2(x,o2(x,o1(x))) true 141903 141903 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x6_u4_b75 17 6 4 75 lrg(P,dot(R,cil(P))) 103138 138293502 o2(x,o2(x,o1(x))) true 141911 141911 0.5117 0.7632 0.5117 0.1946 0.4411 0 1 1 1 2.719 0.001185 0.001347 0.02986 -0.06396 1 0.00001711 0.0001497 0.007269 0.001641 0.0405 1.356 0.1169 0.01301 0.0007692 1 1 0.005161 0.0666 0.2014 0.02652 0.3423 1.035 json
t17_x6_u4_b76 17 6 4 76 lrg(P,dst(R,cil(P))) 103139 138293503 o2(x,o2(x,o1(x))) true 141919 141919 0.05859 0.1298 0.05859 0.04026 0.2006 0 1 1 1 0.8457 0.0002966 0.0003752 0.007902 -0.117 1 0.00001141 0.00004128 0.00194 0.0006089 0.02467 3.123 0.1169 0.01669 0.001025 1 1 0.001622 0.0212 0.07572 0.04029 0.5265 1.881 json
t17_x6_u4_b77 17 6 4 77 eql(P,add(R,cil(P))) 103140 138293504 o2(x,o2(x,o1(x))) true 141927 141927 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_x6_u4_b78 17 6 4 78 eql(P,sub(R,cil(P))) 103141 138293505 o2(x,o2(x,o1(x))) true 141935 141935 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_x6_u4_b79 17 6 4 79 eql(P,mlt(R,cil(P))) 103142 138293506 o2(x,o2(x,o1(x))) true 141943 141943 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
t17_x6_u4_b80 17 6 4 80 eql(P,div(R,cil(P))) 103143 138293507 o2(x,o2(x,o1(x))) true 141951 141951 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_x6_u4_b81 17 6 4 81 eql(P,pow(R,cil(P))) 103144 138293508 o2(x,o2(x,o1(x))) true 141959 141959 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_x6_u4_b82 17 6 4 82 eql(P,mod(R,cil(P))) 103145 138293509 o2(x,o2(x,o1(x))) true 141967 141967 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_x6_u4_b83 17 6 4 83 eql(P,lrg(R,cil(P))) 103146 138293510 o2(x,o2(x,o1(x))) true 141975 141975 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x6_u4_b84 17 6 4 84 eql(P,eql(R,cil(P))) 103147 138293511 o2(x,o2(x,o1(x))) true 141983 141983 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
t17_x6_u4_b85 17 6 4 85 eql(P,min(R,cil(P))) 103148 138293512 o2(x,o2(x,o1(x))) true 141991 141991 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x6_u4_b86 17 6 4 86 eql(P,dot(R,cil(P))) 103149 138293513 o2(x,o2(x,o1(x))) true 141999 141999 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t17_x6_u4_b87 17 6 4 87 eql(P,dst(R,cil(P))) 103150 138293514 o2(x,o2(x,o1(x))) true 142007 142007 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_x6_u4_b88 17 6 4 88 min(P,add(R,cil(P))) 103151 138293515 o2(x,o2(x,o1(x))) true 142015 142015 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t17_x6_u4_b89 17 6 4 89 min(P,sub(R,cil(P))) 103152 138293516 o2(x,o2(x,o1(x))) true 142023 142023 -0.9429 0 0.9429 0.03434 0.1853 -1 -0.0000387 1 1 0.9323 0.0005199 0.000187 0.007647 0.471 1 -0.000003155 0.0001326 0.002482 0.0006485 0.02547 3.33 0.2317 0.02058 0.003862 1 1 0.001774 0.02019 0.06108 0.05166 0.588 1.778 json
t17_x6_u4_b90 17 6 4 90 min(P,mlt(R,cil(P))) 103153 138293517 o2(x,o2(x,o1(x))) true 142031 142031 -0.4968 0.237 0.8278 0.5354 0.7317 -1 1 2 1 2.708 0.009014 0.009439 0.05165 -0.023 1 -0.00001184 0.009863 0.02594 0.01579 0.1257 2.433 1.466 0.03446 0.01842 1 1 0.02548 0.2377 0.6429 0.04758 0.444 1.201 json
t17_x6_u4_b91 17 6 4 91 min(P,div(R,cil(P))) 103154 138293518 o2(x,o2(x,o1(x))) true 142039 142039 -0.5345 0.2095 0.5942 0.2668 0.5166 -1 0.9432 1.943 1 2.589 0.005722 0.002717 0.0167 0.356 1 -0.000006238 0.01619 0.01459 0.00816 0.09033 5.409 2.541 0.03163 0.06066 1 1 0.01125 0.05361 0.1559 0.04217 0.2009 0.5843 json
t17_x6_u4_b92 17 6 4 92 min(P,pow(R,cil(P))) 103155 138293519 o2(x,o2(x,o1(x))) true 142047 142047 -0.075 0.4997 0.8625 0.8206 0.9059 -1 1 2 1 2.589 0.002043 0.002126 0.02476 -0.01973 1 -0.0001187 0.002038 0.01353 0.003555 0.05962 2.408 0.4702 0.00508 0.002484 1 1 0.006563 0.06023 0.2539 0.007997 0.07339 0.3094 json
t17_x6_u4_b93 17 6 4 93 min(P,mod(R,cil(P))) 103156 138293520 o2(x,o2(x,o1(x))) true 142055 142055 -0.4721 0.2383 0.6511 0.3382 0.5816 -1 0.9806 1.981 1 3.612 0.001688 0.001403 0.03445 0.09223 1 0.000001932 0.000182 0.007996 0.001905 0.04364 1.267 0.219 0.009138 0.0005382 1 1 0.006112 0.0795 0.2727 0.01807 0.235 0.8062 json
t17_x6_u4_b94 17 6 4 94 min(P,lrg(R,cil(P))) 103157 138293521 o2(x,o2(x,o1(x))) true 142063 142063 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 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
t17_x6_u4_b95 17 6 4 95 min(P,eql(R,cil(P))) 103158 138293522 o2(x,o2(x,o1(x))) true 142071 142071 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 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
t17_x6_u4_b96 17 6 4 96 min(P,min(R,cil(P))) 103159 138293523 o2(x,o2(x,o1(x))) true 142079 142079 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t17_x6_u4_b97 17 6 4 97 min(P,dot(R,cil(P))) 103160 138293524 o2(x,o2(x,o1(x))) true 142087 142087 -0.527 0.2371 0.8983 0.5906 0.7685 -1 1 2 1 2.11 0.01078 0.01313 0.05131 -0.09832 1 0.00003295 0.01623 0.03223 0.02128 0.1459 2.843 1.698 0.04048 0.02749 1 1 0.03195 0.2715 0.7734 0.05409 0.4597 1.31 json
t17_x6_u4_b98 17 6 4 98 min(P,dst(R,cil(P))) 103161 138293525 o2(x,o2(x,o1(x))) true 142095 142095 -0.001197 0.5 0.9363 0.9222 0.9603 -1 1 2 1 1.839 0.0006981 0.000004814 0.008006 0.9863 1 6.993e-11 0.00003548 0.001906 0.0006392 0.02528 3.158 0.1216 0.0007622 0.00003848 1 1 0.001838 0.02421 0.2318 0.001994 0.02625 0.2514 json
t17_x6_u4_b99 17 6 4 99 dot(P,add(R,cil(P))) 103162 138293526 o2(x,o2(x,o1(x))) true 142103 142103 0.9964 1 0.9964 0.002147 0.04633 0.0005819 1 0.9994 1 0.1018 0.00004837 0.00006815 0.0009827 -0.1697 1 -2.628e-11 0.00004064 0.0004927 0.0001155 0.01075 10.94 0.2355 0.05427 0.01893 1 1 0.0003832 0.00384 0.007838 0.1785 1.788 3.651 json
t17_x6_u4_b100 17 6 4 100 dot(P,sub(R,cil(P))) 103163 138293527 o2(x,o2(x,o1(x))) true 142111 142111 -0.9945 0 0.9945 0.003192 0.0565 -1 -0.0003764 0.9996 1 0.1441 0.00006556 0.00006529 0.00117 0.002122 1 1.502e-11 0.00006143 0.0006385 0.0001293 0.01137 9.721 0.2485 0.04099 0.01924 1 1 0.0004167 0.00399 0.01161 0.1305 1.25 3.636 json
t17_x6_u4_b101 17 6 4 101 dot(P,mlt(R,cil(P))) 103164 138293528 o2(x,o2(x,o1(x))) true 142119 142119 0.06839 0.5353 0.9425 0.92 0.9592 -1 1 2 1 1.855 0.07411 0.08403 0.1149 -0.06274 1 -0.000002889 0.3304 0.1735 0.1449 0.3807 3.313 2.828 0.1719 0.3592 1 1 0.154 0.8112 1.725 0.1674 0.8818 1.875 json
t17_x6_u4_b102 17 6 4 102 dot(P,div(R,cil(P))) 103165 138293529 o2(x,o2(x,o1(x))) true 142127 142127 -0.2484 0.3475 0.6073 0.434 0.6588 -1 1 2 1 4.277 0.01534 0.01948 0.0755 -0.1189 1 0.00003442 0.05529 0.04932 0.02912 0.1707 2.26 2.828 0.08023 0.1274 1 1 0.04633 0.2792 0.7981 0.1067 0.6433 1.839 json
t17_x6_u4_b103 17 6 4 103 dot(P,pow(R,cil(P))) 103166 138293530 o2(x,o2(x,o1(x))) true 142135 142135 -0.9875 0.007813 0.9968 0.02057 0.1434 -1 1 2 1 0.09503 0.002699 0.001376 0.002792 0.3246 1 -8.26e-11 0.008423 0.004896 0.004066 0.06376 22.84 2.727 0.1981 0.4094 1 1 0.007228 0.02969 0.07529 0.3513 1.443 3.66 json
t17_x6_u4_b104 17 6 4 104 dot(P,mod(R,cil(P))) 103167 138293531 o2(x,o2(x,o1(x))) true 142143 142143 -0.326 0.3364 0.9043 0.7678 0.8763 -1 1 2 1 2.242 0.03511 0.03957 0.09297 -0.05975 1 0.00002859 0.09436 0.09052 0.06601 0.2569 2.764 2.662 0.09726 0.1229 1 1 0.09108 0.5487 1.264 0.1186 0.7146 1.646 json
t17_x6_u4_b105 17 6 4 105 dot(P,lrg(R,cil(P))) 103168 138293532 o2(x,o2(x,o1(x))) true 142151 142151 -0.7179 0 0.7179 0.1955 0.4421 -1 0 1 1 1.263 0.0001877 0.0001877 0.00417 0.000001628 1 5.134e-10 0.00002276 0.0009958 0.0003579 0.01892 4.537 0.1628 0.00192 0.0001164 1 1 0.001001 0.01303 0.08014 0.005121 0.06664 0.41 json
t17_x6_u4_b106 17 6 4 106 dot(P,eql(R,cil(P))) 103169 138293533 o2(x,o2(x,o1(x))) true 142159 142159 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_x6_u4_b107 17 6 4 107 dot(P,min(R,cil(P))) 103170 138293534 o2(x,o2(x,o1(x))) true 142167 142167 0.7125 0.8627 0.9352 0.4069 0.6379 -1 1 2 1 1.517 0.008306 0.009492 0.0357 -0.06663 1 0.00000448 0.01304 0.02399 0.01653 0.1286 3.601 1.685 0.04374 0.03204 1 1 0.02201 0.1874 0.4977 0.0541 0.4605 1.223 json
t17_x6_u4_b108 17 6 4 108 dot(P,dot(R,cil(P))) 103171 138293535 o2(x,o2(x,o1(x))) true 142175 142175 0.08756 0.5414 0.9094 0.8775 0.9367 -1 1 2 1 2.168 0.05796 0.07483 0.1056 -0.127 1 -0.0001091 0.2752 0.1491 0.1217 0.3489 3.305 2.828 0.1513 0.3136 1 1 0.1294 0.7002 1.645 0.1475 0.798 1.874 json
t17_x6_u4_b109 17 6 4 109 dot(P,dst(R,cil(P))) 103172 138293536 o2(x,o2(x,o1(x))) true 142183 142183 0.001385 0.5005 0.9773 0.9709 0.9853 -1 1 2 1 1.38 0.003077 0.003079 0.01212 -0.0004268 1 -5.668e-7 0.006283 0.009078 0.006013 0.07754 6.399 1.605 0.006341 0.006472 1 1 0.01162 0.09304 0.5287 0.01197 0.09583 0.5446 json
t17_x6_u4_b110 17 6 4 110 dst(P,add(R,cil(P))) 103173 138293537 o2(x,o2(x,o1(x))) true 142191 142191 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_x6_u4_b111 17 6 4 111 dst(P,sub(R,cil(P))) 103174 138293538 o2(x,o2(x,o1(x))) true 142199 142199 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_x6_u4_b112 17 6 4 112 dst(P,mlt(R,cil(P))) 103175 138293539 o2(x,o2(x,o1(x))) true 142207 142207 0.9881 1 0.9881 0.005997 0.07744 0.0005273 1 0.9995 1 0.3039 0.0002741 0.0002694 0.003674 0.008649 1 -0.00001297 0.000324 0.00248 0.00053 0.02302 6.266 0.4083 0.09063 0.05403 1 1 0.001111 0.009271 0.01659 0.1853 1.546 2.767 json
t17_x6_u4_b113 17 6 4 113 dst(P,div(R,cil(P))) 103176 138293540 o2(x,o2(x,o1(x))) true 142215 142215 -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_x6_u4_b114 17 6 4 114 dst(P,pow(R,cil(P))) 103177 138293541 o2(x,o2(x,o1(x))) true 142223 142223 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t17_x6_u4_b115 17 6 4 115 dst(P,mod(R,cil(P))) 103178 138293542 o2(x,o2(x,o1(x))) true 142231 142231 0.5312 0.7656 0.9999 0.7172 0.8469 -1 1 2 1 0.7913 0.02761 0.02763 0.02769 -0.0003206 1 1.126e-11 0.1109 0.05535 0.05446 0.2334 8.429 2.828 0.07703 0.1547 1 1 0.06971 0.2795 1.12 0.0972 0.3897 1.561 json
t17_x6_u4_b116 17 6 4 116 dst(P,lrg(R,cil(P))) 103179 138293543 o2(x,o2(x,o1(x))) true 142239 142239 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_x6_u4_b117 17 6 4 117 dst(P,eql(R,cil(P))) 103180 138293544 o2(x,o2(x,o1(x))) true 142247 142247 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
t17_x6_u4_b118 17 6 4 118 dst(P,min(R,cil(P))) 103181 138293545 o2(x,o2(x,o1(x))) true 142255 142255 0.7898 0.9889 0.7898 0.1251 0.3537 0 1 1 1 1.925 0.0004395 0.0004672 0.01246 -0.03053 1 0.000009531 0.0001315 0.003597 0.0007521 0.02742 2.202 0.2204 0.007248 0.001051 1 1 0.002264 0.026 0.084 0.0181 0.2079 0.6715 json
t17_x6_u4_b119 17 6 4 119 dst(P,dot(R,cil(P))) 103182 138293546 o2(x,o2(x,o1(x))) true 142263 142263 0.9969 1 0.9969 0.002021 0.04496 0.0005898 1 0.9994 1 0.08275 0.00005688 0.00003575 0.0007891 0.2281 0 -5.068e-11 0.00002142 0.0003187 0.00009194 0.009589 12.15 0.183 0.04583 0.0106 1 1 0.000312 0.003382 0.007366 0.1543 1.673 3.644 json
t17_x6_u4_b120 17 6 4 120 dst(P,dst(R,cil(P))) 103183 138293547 o2(x,o2(x,o1(x))) true 142271 142271 0.9999 1 0.9999 0.00001403 0.003746 0.8271 1 0.1729 1 0.0108 0.00000171 0.000001907 0.00006153 -0.05446 0 0 0.000003443 0.00006412 0.000003612 0.001901 30.89 0.0994 0.2578 0.2454 1 1 0.00001033 0.00005047 0.00005101 0.736 3.597 3.635 json
t17_x6_u5_b0 17 6 5 0 add(P,add(R,sgn(P))) 103184 138293628 o2(x,o2(x,o1(x))) true 142279 142279 -0.004747 0.4969 0.9711 0.9603 0.9799 -1 1 2 1 1.54 0.001615 0.0001665 0.008829 0.8131 1 -0.000007571 0.0004 0.003603 0.001703 0.04126 4.674 0.4156 0.001855 0.0004165 1 1 0.004549 0.04762 0.3084 0.004737 0.04959 0.3212 json
t17_x6_u5_b1 17 6 5 1 add(P,sub(R,sgn(P))) 103185 138293629 o2(x,o2(x,o1(x))) true 142287 142287 0.01158 0.5105 0.8682 0.8238 0.9076 -1 1 2 1 2.708 0.001485 0.0008079 0.01948 0.2953 1 -0.00004042 0.0003034 0.005617 0.001914 0.04375 2.246 0.2958 0.002783 0.0003683 1 1 0.005471 0.0652 0.2554 0.006642 0.07915 0.31 json
t17_x6_u5_b2 17 6 5 2 add(P,mlt(R,sgn(P))) 103186 138293630 o2(x,o2(x,o1(x))) true 142295 142295 0.002648 0.4999 0.9318 0.9163 0.9572 -1 1 2 1 1.893 0.0008995 0.0001788 0.00918 0.6684 1 -4.129e-7 0.0002323 0.003269 0.0009937 0.03152 3.434 0.2201 0.001177 0.0002535 1 1 0.002429 0.02711 0.2312 0.00265 0.02959 0.2523 json
t17_x6_u5_b3 17 6 5 3 add(P,div(R,sgn(P))) 103187 138293631 o2(x,o2(x,o1(x))) true 142303 142303 -0.1239 0.4375 0.9947 0.9755 0.9877 -1 1 2 1 1.166 0.01467 0.00006384 0.009434 0.9913 1 -6.625e-7 0.02922 0.01685 0.01463 0.121 12.82 2 0.0151 0.02995 1 1 0.01942 0.08174 0.3355 0.0199 0.08379 0.3439 json
t17_x6_u5_b4 17 6 5 4 add(P,pow(R,sgn(P))) 103188 138293632 o2(x,o2(x,o1(x))) true 142311 142311 -0.8996 0.05289 0.9913 0.1787 0.4227 -1 1 2 1 0.4371 0.01561 0.01528 0.01838 0.01071 1 1.089e-10 0.06277 0.03287 0.03057 0.1748 9.515 2.828 0.1729 0.3512 1 1 0.03098 0.1341 0.4576 0.1734 0.7504 2.561 json
t17_x6_u5_b5 17 6 5 5 add(P,mod(R,sgn(P))) 103189 138293633 o2(x,o2(x,o1(x))) true 142319 142319 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t17_x6_u5_b6 17 6 5 6 add(P,lrg(R,sgn(P))) 103190 138293634 o2(x,o2(x,o1(x))) true 142327 142327 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t17_x6_u5_b7 17 6 5 7 add(P,eql(R,sgn(P))) 103191 138293635 o2(x,o2(x,o1(x))) true 142335 142335 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
t17_x6_u5_b8 17 6 5 8 add(P,min(R,sgn(P))) 103192 138293636 o2(x,o2(x,o1(x))) true 142343 142343 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t17_x6_u5_b9 17 6 5 9 add(P,dot(R,sgn(P))) 103193 138293637 o2(x,o2(x,o1(x))) true 142351 142351 -0.001989 0.4973 0.9459 0.928 0.9633 -1 1 2 1 1.857 0.001384 0.0005985 0.01209 0.3963 1 0.000007232 0.0005177 0.00509 0.001836 0.04285 3.543 0.3883 0.002137 0.0005579 1 1 0.00426 0.04534 0.268 0.00459 0.04886 0.2888 json
t17_x6_u5_b10 17 6 5 10 add(P,dst(R,sgn(P))) 103194 138293638 o2(x,o2(x,o1(x))) true 142359 142359 0.2083 0.601 0.9444 0.8835 0.94 -1 1 2 1 1.824 0.001015 0.0005563 0.0113 0.292 1 -0.00002216 0.0002643 0.003587 0.001444 0.038 3.362 0.3888 0.001779 0.0002992 1 1 0.003598 0.04257 0.2619 0.004072 0.04819 0.2964 json
t17_x6_u5_b11 17 6 5 11 sub(P,add(R,sgn(P))) 103195 138293639 o2(x,o2(x,o1(x))) true 142367 142367 -0.007137 0.4926 0.8621 0.8164 0.9035 -1 1 2 1 2.764 0.001597 0.0008282 0.0204 0.3169 1 0.0000321 0.0003168 0.005858 0.00201 0.04483 2.198 0.3135 0.00297 0.000388 1 1 0.005748 0.06851 0.2565 0.00704 0.08392 0.3141 json
t17_x6_u5_b12 17 6 5 12 sub(P,sub(R,sgn(P))) 103196 138293640 o2(x,o2(x,o1(x))) true 142375 142375 0.004943 0.5032 0.9704 0.9591 0.9793 -1 1 2 1 1.558 0.001572 0.0001649 0.008819 0.8102 1 0.00000868 0.0003768 0.003457 0.001658 0.04072 4.618 0.4362 0.001811 0.0003929 1 1 0.004468 0.04707 0.3072 0.004659 0.04907 0.3203 json
t17_x6_u5_b13 17 6 5 13 sub(P,mlt(R,sgn(P))) 103197 138293641 o2(x,o2(x,o1(x))) true 142383 142383 -0.003733 0.4988 0.9078 0.8893 0.943 -1 1 2 1 2.045 0.0008315 0.0002571 0.009842 0.5276 1 -3.52e-8 0.0002449 0.003576 0.0009913 0.03148 3.199 0.2347 0.001224 0.0002754 1 1 0.002546 0.02824 0.216 0.002863 0.03176 0.2429 json
t17_x6_u5_b14 17 6 5 14 sub(P,div(R,sgn(P))) 103198 138293642 o2(x,o2(x,o1(x))) true 142391 142391 -0.1261 0.4375 0.9872 0.9655 0.9826 -1 1 2 1 1.275 0.01212 0.0001003 0.01089 0.9836 1 -8.635e-11 0.0237 0.01697 0.0121 0.11 10.1 2 0.01265 0.02455 1 1 0.01738 0.07908 0.3355 0.018 0.0819 0.3475 json
t17_x6_u5_b15 17 6 5 15 sub(P,pow(R,sgn(P))) 103199 138293643 o2(x,o2(x,o1(x))) true 142399 142399 -0.9795 0.01041 0.9904 0.02839 0.1685 -1 1 2 1 0.2266 0.003373 0.002756 0.005604 0.1008 1 7.509e-11 0.0125 0.008351 0.006097 0.07808 13.93 2 0.2159 0.4401 1 1 0.003821 0.01677 0.04165 0.1346 0.5907 1.467 json