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_x17_u3_b41 17 17 3 41 div(D,min(R,flr(R))) 112300 138737678 o2(x,o2(x,o1(x))) true 58407 58407 -0.9297 0.03516 0.9363 0.06609 0.2571 -1 0.1454 1.145 1 0.5472 0.00556 0.006735 0.01434 -0.09557 1 -0.00002009 0.0256 0.0252 0.01209 0.1099 7.667 1.458 0.186 0.3874 1 1 0.0128 0.05416 0.1451 0.1937 0.8196 2.196 json
t17_x17_u3_b42 17 17 3 42 div(D,dot(R,flr(R))) 112301 138737679 o2(x,o2(x,o1(x))) true 58415 58415 -0.3379 0.3331 0.5227 0.3367 0.5803 -1 1 2 1 3.523 0.02567 0.0152 0.07804 0.2562 1 -0.0001024 0.07022 0.08144 0.03479 0.1865 2.39 2.005 0.1214 0.2085 1 1 0.05119 0.2751 0.6054 0.152 0.8169 1.798 json
t17_x17_u3_b43 17 17 3 43 div(D,dst(R,flr(R))) 112302 138737680 o2(x,o2(x,o1(x))) true 58423 58423 -0.001325 0.4979 0.129 0.03202 0.1789 -1 1 2 1 3.355 0.003206 0.0002673 0.04691 0.8461 1 0.00001056 0.0006282 0.01797 0.001273 0.03568 0.7607 0.6296 0.1085 0.01962 1 1 0.006176 0.05118 0.03456 0.1929 1.598 1.08 json
t17_x17_u3_b44 17 17 3 44 pow(D,add(R,flr(R))) 112303 138737681 o2(x,o2(x,o1(x))) true 58431 58431 -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_x17_u3_b45 17 17 3 45 pow(D,sub(R,flr(R))) 112304 138737682 o2(x,o2(x,o1(x))) true 58439 58439 -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_x17_u3_b46 17 17 3 46 pow(D,mlt(R,flr(R))) 112305 138737683 o2(x,o2(x,o1(x))) true 58447 58447 -0.6022 0.2109 0.9759 0.6005 0.7749 -1 1 2 1 1.178 0.06625 0.06098 0.07268 0.04138 1 -0.00002195 0.2665 0.1356 0.122 0.3493 4.806 2.828 0.2119 0.4438 1 1 0.1278 0.5515 1.281 0.2128 0.9184 2.133 json
t17_x17_u3_b47 17 17 3 47 pow(D,div(R,flr(R))) 112306 138737684 o2(x,o2(x,o1(x))) true 58455 58455 -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_x17_u3_b48 17 17 3 48 pow(D,pow(R,flr(R))) 112307 138737685 o2(x,o2(x,o1(x))) true 58463 58463 -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_x17_u3_b49 17 17 3 49 pow(D,mod(R,flr(R))) 112308 138737686 o2(x,o2(x,o1(x))) true 58471 58471 -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_x17_u3_b50 17 17 3 50 pow(D,lrg(R,flr(R))) 112309 138737687 o2(x,o2(x,o1(x))) true 58479 58479 -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_x17_u3_b51 17 17 3 51 pow(D,eql(R,flr(R))) 112310 138737688 o2(x,o2(x,o1(x))) true 58487 58487 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_x17_u3_b52 17 17 3 52 pow(D,min(R,flr(R))) 112311 138737689 o2(x,o2(x,o1(x))) true 58495 58495 -0.5781 0.2109 1 0.6661 0.8161 -1 1 2 1 0.7433 0.08151 0.06689 0.07361 0.09847 1 0 0.3136 0.1484 0.143 0.3782 5.137 2.828 0.2228 0.4707 1 1 0.1477 0.6117 1.421 0.2217 0.9184 2.134 json
t17_x17_u3_b53 17 17 3 53 pow(D,dot(R,flr(R))) 112312 138737690 o2(x,o2(x,o1(x))) true 58503 58503 -0.9868 0.007813 0.9976 0.02291 0.1514 -1 1 2 1 0.09237 0.002646 0.001485 0.002834 0.281 1 -1.464e-10 0.008407 0.004814 0.004121 0.0642 22.66 2.828 0.1803 0.367 1 1 0.007431 0.03252 0.08336 0.3244 1.419 3.639 json
t17_x17_u3_b54 17 17 3 54 pow(D,dst(R,flr(R))) 112313 138737691 o2(x,o2(x,o1(x))) true 58511 58511 -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_x17_u3_b55 17 17 3 55 mod(D,add(R,flr(R))) 112314 138737692 o2(x,o2(x,o1(x))) true 58519 58519 -0.000325 0.4973 0.1089 0.01551 0.1245 -0.2728 0.2728 0.5455 1 2.956 0.003102 0.00006673 0.04287 0.9579 1 -0.00003112 0.003361 0.02978 0.001332 0.03649 0.8512 0.3098 0.2043 0.2168 1 1 0.004738 0.02896 0.008398 0.3055 1.867 0.5415 json
t17_x17_u3_b56 17 17 3 56 mod(D,sub(R,flr(R))) 112315 138737693 o2(x,o2(x,o1(x))) true 58527 58527 0.0005047 0.501 0.1156 0.01848 0.136 -0.2728 0.2728 0.5456 1 3.093 0.004612 0.00009701 0.05005 0.9588 1 -0.00008206 0.006735 0.04539 0.002205 0.04696 0.9383 0.4919 0.2548 0.3644 1 1 0.006475 0.03509 0.01432 0.3503 1.899 0.7747 json
t17_x17_u3_b57 17 17 3 57 mod(D,mlt(R,flr(R))) 112316 138737694 o2(x,o2(x,o1(x))) true 58535 58535 -0.9291 0.03633 0.9369 0.06752 0.2599 -1 0.2645 1.265 1 0.5792 0.005799 0.006773 0.01527 -0.07748 1 0.0000267 0.02607 0.02715 0.01234 0.1111 7.276 1.415 0.1862 0.386 1 1 0.01302 0.05596 0.1488 0.1928 0.8288 2.203 json
t17_x17_u3_b58 17 17 3 58 mod(D,div(R,flr(R))) 112317 138737695 o2(x,o2(x,o1(x))) true 58543 58543 -0.9291 0.03633 0.9369 0.06752 0.2599 -1 0.2645 1.265 1 0.5792 0.005799 0.006773 0.01527 -0.07748 1 0.0000267 0.02607 0.02715 0.01234 0.1111 7.276 1.415 0.1862 0.386 1 1 0.01302 0.05596 0.1488 0.1928 0.8288 2.203 json
t17_x17_u3_b59 17 17 3 59 mod(D,pow(R,flr(R))) 112318 138737696 o2(x,o2(x,o1(x))) true 58551 58551 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t17_x17_u3_b60 17 17 3 60 mod(D,mod(R,flr(R))) 112319 138737697 o2(x,o2(x,o1(x))) true 58559 58559 -0.9291 0.03633 0.9369 0.06752 0.2599 -1 0.2645 1.265 1 0.5792 0.005799 0.006773 0.01527 -0.07748 1 0.0000267 0.02607 0.02715 0.01234 0.1111 7.276 1.415 0.1862 0.386 1 1 0.01302 0.05596 0.1488 0.1928 0.8288 2.203 json
t17_x17_u3_b61 17 17 3 61 mod(D,lrg(R,flr(R))) 112320 138737698 o2(x,o2(x,o1(x))) true 58567 58567 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u3_b62 17 17 3 62 mod(D,eql(R,flr(R))) 112321 138737699 o2(x,o2(x,o1(x))) true 58575 58575 -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_x17_u3_b63 17 17 3 63 mod(D,min(R,flr(R))) 112322 138737700 o2(x,o2(x,o1(x))) true 58583 58583 -0.9297 0.03516 0.9363 0.06609 0.2571 -1 0.1454 1.145 1 0.5472 0.005622 0.006765 0.01439 -0.09221 1 0.00002009 0.02568 0.02524 0.01218 0.1104 7.669 1.415 0.1874 0.3886 1 1 0.01289 0.05485 0.1453 0.1951 0.83 2.198 json
t17_x17_u3_b64 17 17 3 64 mod(D,dot(R,flr(R))) 112323 138737701 o2(x,o2(x,o1(x))) true 58591 58591 -0.3537 0.3172 0.4246 0.2374 0.4873 -1 0.2729 1.273 1 2.9 0.01777 0.01323 0.05733 0.1463 1 -0.00002965 0.06192 0.07902 0.02772 0.1665 2.904 1.415 0.1306 0.2608 1 1 0.03479 0.1472 0.4117 0.1465 0.6199 1.734 json
t17_x17_u3_b65 17 17 3 65 mod(D,dst(R,flr(R))) 112324 138737702 o2(x,o2(x,o1(x))) true 58599 58599 0.0001365 0.5007 0.1041 0.01367 0.1169 -0.2704 0.2704 0.5408 1 2.817 0.002571 0.00002057 0.04078 0.9841 1 1.137e-7 0.001926 0.02223 0.0009301 0.0305 0.7479 0.312 0.1896 0.1409 1 1 0.004208 0.02635 0.00298 0.3078 1.927 0.218 json
t17_x17_u3_b66 17 17 3 66 lrg(D,add(R,flr(R))) 112325 138737703 o2(x,o2(x,o1(x))) true 58607 58607 0.5768 0.9752 0.5768 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 -0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t17_x17_u3_b67 17 17 3 67 lrg(D,sub(R,flr(R))) 112326 138737704 o2(x,o2(x,o1(x))) true 58615 58615 0.1281 0.6233 0.1281 0.05107 0.226 0 0.9994 0.9994 1 2.174 0.01817 0.0005895 0.058 0.9371 1 -0.00008931 0.03611 0.06388 0.01539 0.1241 2.139 0.9994 0.3672 0.7069 1 1 0.01752 0.06396 0.08099 0.343 1.252 1.586 json
t17_x17_u3_b68 17 17 3 68 lrg(D,mlt(R,flr(R))) 112327 138737705 o2(x,o2(x,o1(x))) true 58623 58623 0.3187 0.9084 0.3187 0.1151 0.3393 0 0.9997 0.9997 1 3.31 0.03816 0.001041 0.09835 0.9469 1 -0.0002688 0.07222 0.1018 0.02953 0.1718 1.747 0.9994 0.3406 0.6274 1 1 0.04161 0.1641 0.1276 0.3615 1.426 1.108 json
t17_x17_u3_b69 17 17 3 69 lrg(D,div(R,flr(R))) 112328 138737706 o2(x,o2(x,o1(x))) true 58631 58631 0.07557 0.4151 0.07557 0.03194 0.1787 0 0.9994 0.9994 1 1.507 0.01046 0.0004543 0.03525 0.9167 1 -0.0002673 0.02107 0.03761 0.009666 0.09832 2.789 0.9994 0.3415 0.6597 1 1 0.01147 0.04318 0.05826 0.3591 1.352 1.824 json
t17_x17_u3_b70 17 17 3 70 lrg(D,pow(R,flr(R))) 112329 138737707 o2(x,o2(x,o1(x))) true 58639 58639 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_x17_u3_b71 17 17 3 71 lrg(D,mod(R,flr(R))) 112330 138737708 o2(x,o2(x,o1(x))) true 58647 58647 0.924 1 0.924 0.03218 0.1794 0.000582 1 0.9994 1 1.51 0.01071 0.0004527 0.03491 0.9189 1 0.00001735 0.0214 0.038 0.009947 0.09974 2.857 0.9994 0.3469 0.6649 1 1 0.01183 0.04431 0.06024 0.3675 1.377 1.872 json
t17_x17_u3_b72 17 17 3 72 lrg(D,lrg(R,flr(R))) 112331 138737709 o2(x,o2(x,o1(x))) true 58655 58655 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_x17_u3_b73 17 17 3 73 lrg(D,eql(R,flr(R))) 112332 138737710 o2(x,o2(x,o1(x))) true 58663 58663 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x17_u3_b74 17 17 3 74 lrg(D,min(R,flr(R))) 112333 138737711 o2(x,o2(x,o1(x))) true 58671 58671 0.7607 1 0.7607 0.1075 0.3279 0.000291 1 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4745 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.318 json
t17_x17_u3_b75 17 17 3 75 lrg(D,dot(R,flr(R))) 112334 138737712 o2(x,o2(x,o1(x))) true 58679 58679 0.1129 0.5328 0.1129 0.04952 0.2225 0 0.9997 0.9997 1 1.936 0.0147 0.0006553 0.04747 0.9146 1 -0.00004637 0.02885 0.0501 0.0131 0.1145 2.411 0.9994 0.31 0.5827 1 1 0.01768 0.07217 0.08763 0.3571 1.457 1.77 json
t17_x17_u3_b76 17 17 3 76 lrg(D,dst(R,flr(R))) 112335 138737713 o2(x,o2(x,o1(x))) true 58687 58687 0.01473 0.1775 0.01473 0.004735 0.06881 0 0.97 0.97 1 0.4778 0.002173 0.00006872 0.009842 0.9387 1 -0.00002969 0.004616 0.0118 0.002145 0.04631 4.705 0.97 0.4734 0.9749 1 1 0.002408 0.006964 0.009807 0.5085 1.471 2.071 json
t17_x17_u3_b77 17 17 3 77 eql(D,add(R,flr(R))) 112336 138737714 o2(x,o2(x,o1(x))) true 58695 58695 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_x17_u3_b78 17 17 3 78 eql(D,sub(R,flr(R))) 112337 138737715 o2(x,o2(x,o1(x))) true 58703 58703 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t17_x17_u3_b79 17 17 3 79 eql(D,mlt(R,flr(R))) 112338 138737716 o2(x,o2(x,o1(x))) true 58711 58711 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x17_u3_b80 17 17 3 80 eql(D,div(R,flr(R))) 112339 138737717 o2(x,o2(x,o1(x))) true 58719 58719 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x17_u3_b81 17 17 3 81 eql(D,pow(R,flr(R))) 112340 138737718 o2(x,o2(x,o1(x))) true 58727 58727 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_x17_u3_b82 17 17 3 82 eql(D,mod(R,flr(R))) 112341 138737719 o2(x,o2(x,o1(x))) true 58735 58735 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x17_u3_b83 17 17 3 83 eql(D,lrg(R,flr(R))) 112342 138737720 o2(x,o2(x,o1(x))) true 58743 58743 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_x17_u3_b84 17 17 3 84 eql(D,eql(R,flr(R))) 112343 138737721 o2(x,o2(x,o1(x))) true 58751 58751 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_x17_u3_b85 17 17 3 85 eql(D,min(R,flr(R))) 112344 138737722 o2(x,o2(x,o1(x))) true 58759 58759 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_x17_u3_b86 17 17 3 86 eql(D,dot(R,flr(R))) 112345 138737723 o2(x,o2(x,o1(x))) true 58767 58767 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x17_u3_b87 17 17 3 87 eql(D,dst(R,flr(R))) 112346 138737724 o2(x,o2(x,o1(x))) true 58775 58775 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_x17_u3_b88 17 17 3 88 min(D,add(R,flr(R))) 112347 138737725 o2(x,o2(x,o1(x))) true 58783 58783 -0.6101 0.1178 0.6284 0.1775 0.4213 -1 0.1454 1.145 1 3.24 0.003979 0.00372 0.05949 0.03366 1 0.00009198 0.001499 0.02064 0.00416 0.0645 1.084 0.2614 0.04338 0.008447 1 1 0.01468 0.1536 0.316 0.08273 0.8652 1.781 json
t17_x17_u3_b89 17 17 3 89 min(D,sub(R,flr(R))) 112348 138737726 o2(x,o2(x,o1(x))) true 58791 58791 -0.02639 0.4386 0.1044 0.01333 0.1155 -0.2726 0.1454 0.418 1 2.768 0.001862 0.00002573 0.03894 0.9727 1 0.00003906 0.0003285 0.01564 0.0003719 0.01929 0.4953 0.0851 0.1416 0.02465 1 1 0.003636 0.02528 0.003642 0.2728 1.896 0.2732 json
t17_x17_u3_b90 17 17 3 90 min(D,mlt(R,flr(R))) 112349 138737727 o2(x,o2(x,o1(x))) true 58799 58799 -0.08493 0.2451 0.12 0.01359 0.1166 -0.2729 0.1454 0.4183 1 2.879 0.001635 0.00007065 0.03718 0.9171 1 0.0002041 0.0002966 0.01469 0.0003232 0.01798 0.4836 0.08498 0.1255 0.02182 1 1 0.003323 0.02391 0.00839 0.2445 1.759 0.6174 json
t17_x17_u3_b91 17 17 3 91 min(D,div(R,flr(R))) 112350 138737728 o2(x,o2(x,o1(x))) true 58807 58807 -0.01538 0.4642 0.09999 0.01235 0.1112 -0.2719 0.1454 0.4173 1 2.703 0.00177 0.00001956 0.03789 0.9781 1 0.00001848 0.0002988 0.0152 0.0003545 0.01883 0.4969 0.08496 0.1448 0.02419 1 1 0.003479 0.02409 0.002327 0.2816 1.95 0.1883 json
t17_x17_u3_b92 17 17 3 92 min(D,pow(R,flr(R))) 112351 138737729 o2(x,o2(x,o1(x))) true 58815 58815 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u3_b93 17 17 3 93 min(D,mod(R,flr(R))) 112352 138737730 o2(x,o2(x,o1(x))) true 58823 58823 -0.2683 0.1865 0.3 0.07656 0.2767 -0.9989 0.1454 1.144 1 4.044 0.001696 0.001067 0.04513 0.2278 1 -0.000001697 0.0002563 0.01308 0.0007257 0.02694 0.5969 0.1528 0.03609 0.003348 1 1 0.005137 0.05915 0.1236 0.0671 0.7726 1.614 json
t17_x17_u3_b94 17 17 3 94 min(D,lrg(R,flr(R))) 112353 138737731 o2(x,o2(x,o1(x))) true 58831 58831 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u3_b95 17 17 3 95 min(D,eql(R,flr(R))) 112354 138737732 o2(x,o2(x,o1(x))) true 58839 58839 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t17_x17_u3_b96 17 17 3 96 min(D,min(R,flr(R))) 112355 138737733 o2(x,o2(x,o1(x))) true 58847 58847 -0.586 0 0.586 0.1259 0.3548 -1 -0.000282 0.9997 1 3.621 0.002296 0.001949 0.05367 0.08161 1 0.0001413 0.0003076 0.01335 0.001365 0.03695 0.6884 0.1169 0.03373 0.002444 1 1 0.008325 0.102 0.231 0.06614 0.8103 1.835 json
t17_x17_u3_b97 17 17 3 97 min(D,dot(R,flr(R))) 112356 138737734 o2(x,o2(x,o1(x))) true 58855 58855 -0.02633 0.4316 0.1026 0.01306 0.1143 -0.2729 0.1454 0.4183 1 2.791 0.001731 0.00003914 0.03771 0.9558 1 0.00002488 0.0002961 0.01514 0.000348 0.01865 0.4946 0.08493 0.1355 0.02267 1 1 0.003407 0.02446 0.005258 0.2608 1.872 0.4026 json
t17_x17_u3_b98 17 17 3 98 min(D,dst(R,flr(R))) 112357 138737735 o2(x,o2(x,o1(x))) true 58863 58863 -0.002228 0.496 0.09573 0.01118 0.1057 -0.2438 0.1454 0.3892 1 2.582 0.001681 0.000001867 0.03663 0.9978 1 0.000006817 0.0002686 0.01482 0.0003419 0.01849 0.5047 0.08481 0.1505 0.02401 1 1 0.003259 0.02256 0.0002309 0.2915 2.017 0.02065 json
t17_x17_u3_b99 17 17 3 99 dot(D,add(R,flr(R))) 112358 138737736 o2(x,o2(x,o1(x))) true 58871 58871 0.007535 0.5125 0.2575 0.1028 0.3206 -0.926 1 1.926 1 4.398 0.003665 0.00359 0.07759 0.01034 1 -0.0002114 0.0007733 0.02261 0.001235 0.03515 0.453 0.2243 0.07061 0.007525 1 1 0.01365 0.1506 0.2037 0.1328 1.466 1.983 json
t17_x17_u3_b100 17 17 3 100 dot(D,sub(R,flr(R))) 112359 138737737 o2(x,o2(x,o1(x))) true 58879 58879 0.0008341 0.5024 0.09495 0.01385 0.1177 -0.4062 0.384 0.7903 1 2.975 0.000702 0.0006957 0.03422 0.004542 1 -0.00003144 0.0001882 0.01118 0.000227 0.01507 0.4403 0.08831 0.1009 0.01359 1 1 0.002683 0.02264 0.01425 0.1937 1.635 1.029 json
t17_x17_u3_b101 17 17 3 101 dot(D,mlt(R,flr(R))) 112360 138737738 o2(x,o2(x,o1(x))) true 58887 58887 -0.002834 0.4775 0.07567 0.01015 0.1007 -0.4052 0.3678 0.773 1 2.75 0.0003984 0.0003946 0.02368 0.004813 1 0.00008167 0.00009147 0.007334 0.0002323 0.01524 0.6436 0.08078 0.07815 0.009013 1 1 0.001395 0.0144 0.01678 0.1375 1.419 1.654 json
t17_x17_u3_b102 17 17 3 102 dot(D,div(R,flr(R))) 112361 138737739 o2(x,o2(x,o1(x))) true 58895 58895 -0.9925 0.001999 0.9927 0.007121 0.08439 -1 0.0957 1.096 1 0.08179 0.0006771 0.0009587 0.001813 -0.1722 1 0.000003019 0.003466 0.003379 0.001632 0.0404 22.29 1.386 0.2297 0.4867 1 1 0.001426 0.006189 0.01535 0.2002 0.8691 2.155 json
t17_x17_u3_b103 17 17 3 103 dot(D,pow(R,flr(R))) 112362 138737740 o2(x,o2(x,o1(x))) true 58903 58903 -0.9961 0.001831 0.9966 0.003965 0.06297 -1 0.2908 1.291 1 0.04924 0.0005155 0.0005155 0.001185 -2.258e-7 1 -1.877e-11 0.00217 0.002074 0.001029 0.03207 27.06 1.327 0.26 0.5473 1 1 0.001832 0.007398 0.01401 0.4621 1.866 3.534 json
t17_x17_u3_b104 17 17 3 104 dot(D,mod(R,flr(R))) 112363 138737741 o2(x,o2(x,o1(x))) true 58911 58911 -0.9918 0.005814 0.9927 0.008468 0.09202 -1 0.1568 1.157 1 0.08179 0.0008474 0.0009409 0.001889 -0.0523 1 -0.000003019 0.00375 0.003521 0.001784 0.04224 22.37 1.442 0.2112 0.4428 1 1 0.001596 0.007238 0.01811 0.1885 0.8548 2.138 json
t17_x17_u3_b105 17 17 3 105 dot(D,lrg(R,flr(R))) 112364 138737742 o2(x,o2(x,o1(x))) true 58919 58919 -3.658e-9 0.4688 0.1187 0.02164 0.1471 -0.2908 0.2908 0.5817 1 3.165 0.001632 0.001632 0.05456 1.783e-7 1 -9.255e-10 0.0005126 0.01826 0.0002881 0.01697 0.3111 0.08757 0.1508 0.02368 1 1 0.006301 0.04366 0 0.2911 2.017 0 json
t17_x17_u3_b106 17 17 3 106 dot(D,eql(R,flr(R))) 112365 138737743 o2(x,o2(x,o1(x))) true 58927 58927 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_x17_u3_b107 17 17 3 107 dot(D,min(R,flr(R))) 112366 138737744 o2(x,o2(x,o1(x))) true 58935 58935 0.003352 0.4986 0.1306 0.02712 0.1647 -0.4991 0.4776 0.9766 1 3.438 0.001159 0.001107 0.04238 0.02275 1 -0.00008999 0.000274 0.01325 0.0004701 0.02168 0.5116 0.1179 0.08356 0.01011 1 1 0.004181 0.04146 0.04545 0.1542 1.529 1.676 json
t17_x17_u3_b108 17 17 3 108 dot(D,dot(R,flr(R))) 112367 138737745 o2(x,o2(x,o1(x))) true 58943 58943 -0.003283 0.4974 0.1401 0.03582 0.1893 -0.854 0.7771 1.631 1 3.609 0.001656 0.00171 0.04994 -0.01605 1 0.00009602 0.0004438 0.01601 0.0008706 0.02951 0.5908 0.1891 0.09393 0.01239 1 1 0.006237 0.0549 0.04227 0.1741 1.532 1.18 json
t17_x17_u3_b109 17 17 3 109 dot(D,dst(R,flr(R))) 112368 138737746 o2(x,o2(x,o1(x))) true 58951 58951 0.0003601 0.497 0.1304 0.02727 0.1651 -0.5241 0.5411 1.065 1 3.444 0.001761 0.001774 0.05545 -0.003647 1 -0.0000178 0.0005312 0.01846 0.0004602 0.02145 0.3869 0.1328 0.1296 0.01948 1 1 0.006836 0.05086 0.01372 0.2507 1.865 0.5033 json
t17_x17_u3_b110 17 17 3 110 dst(D,add(R,flr(R))) 112369 138737747 o2(x,o2(x,o1(x))) true 58959 58959 0.9971 1 0.9971 0.001112 0.03334 0.07236 1 0.9276 1 0.1149 0.00007584 0.00007644 0.001332 -0.003948 1 0.000005805 0.00008298 0.001047 0.0001506 0.01227 9.215 0.2542 0.137 0.07465 1 1 0.0001457 0.0008944 0.001384 0.131 0.8047 1.245 json
t17_x17_u3_b111 17 17 3 111 dst(D,sub(R,flr(R))) 112370 138737748 o2(x,o2(x,o1(x))) true 58967 58967 0.9376 1 0.9376 0.01549 0.1245 0.07224 1 0.9278 1 1.561 0.0006526 0.0006373 0.01922 0.01189 1 -0.0001045 0.0004111 0.009614 0.0009207 0.03034 1.579 0.1852 0.08326 0.02654 1 1 0.002444 0.01996 0.02798 0.1578 1.288 1.806 json
t17_x17_u3_b112 17 17 3 112 dst(D,mlt(R,flr(R))) 112371 138737749 o2(x,o2(x,o1(x))) true 58975 58975 0.7547 1 0.7547 0.05109 0.226 0.03679 1 0.9632 1 3.323 0.00156 0.001705 0.04528 -0.04418 1 -0.0003135 0.0005735 0.0156 0.001215 0.03485 0.7696 0.1978 0.0639 0.01122 1 1 0.006442 0.05913 0.07591 0.1261 1.157 1.486 json
t17_x17_u3_b113 17 17 3 113 dst(D,div(R,flr(R))) 112372 138737750 o2(x,o2(x,o1(x))) true 58983 58983 -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.004027 0.06346 31.77 2.828 0.259 0.5504 1 1 0.005983 0.02659 0.05407 0.3844 1.709 3.474 json
t17_x17_u3_b114 17 17 3 114 dst(D,pow(R,flr(R))) 112373 138737751 o2(x,o2(x,o1(x))) true 58991 58991 -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_x17_u3_b115 17 17 3 115 dst(D,mod(R,flr(R))) 112374 138737752 o2(x,o2(x,o1(x))) true 58999 58999 -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_x17_u3_b116 17 17 3 116 dst(D,lrg(R,flr(R))) 112375 138737753 o2(x,o2(x,o1(x))) true 59007 59007 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_x17_u3_b117 17 17 3 117 dst(D,eql(R,flr(R))) 112376 138737754 o2(x,o2(x,o1(x))) true 59015 59015 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t17_x17_u3_b118 17 17 3 118 dst(D,min(R,flr(R))) 112377 138737755 o2(x,o2(x,o1(x))) true 59023 59023 0.9505 1 0.9505 0.02227 0.1492 0.04446 1 0.9555 1 1.11 0.0007928 0.0008616 0.01611 -0.04156 1 -0.00002423 0.0004578 0.007699 0.001395 0.03735 2.319 0.2172 0.07428 0.02056 1 1 0.003556 0.03258 0.04559 0.1597 1.463 2.047 json
t17_x17_u3_b119 17 17 3 119 dst(D,dot(R,flr(R))) 112378 138737756 o2(x,o2(x,o1(x))) true 59031 59031 0.9059 1 0.9059 0.03695 0.1922 0.04136 1 0.9586 1 1.727 0.00141 0.001541 0.02614 -0.04455 1 -0.0001377 0.001017 0.0128 0.002268 0.04763 1.822 0.3079 0.07986 0.02753 1 1 0.005995 0.04832 0.06006 0.1622 1.308 1.625 json
t17_x17_u3_b120 17 17 3 120 dst(D,dst(R,flr(R))) 112379 138737757 o2(x,o2(x,o1(x))) true 59039 59039 0.9925 1 0.9925 0.002418 0.04917 0.1301 1 0.8699 1 0.2762 0.0001744 0.0001617 0.003385 0.03794 1 -0.000005766 0.0001807 0.002469 0.0003246 0.01802 5.322 0.2325 0.139 0.07472 1 1 0.000621 0.004194 0.004855 0.2569 1.735 2.008 json
t17_x17_u4_b0 17 17 4 0 add(D,add(R,cil(R))) 112380 138737838 o2(x,o2(x,o1(x))) true 59047 59047 0.3333 0.6315 0.647 0.4261 0.6528 -1 1 2 1 4.035 0.007655 0.007995 0.08769 -0.02173 1 -0.00009737 0.002691 0.02797 0.007962 0.08923 1.018 0.4014 0.03673 0.006315 1 1 0.03032 0.3318 0.7422 0.07114 0.7786 1.742 json
t17_x17_u4_b1 17 17 4 1 add(D,sub(R,cil(R))) 112381 138737839 o2(x,o2(x,o1(x))) true 59055 59055 -0.4728 0.01532 0.474 0.06123 0.2474 -1 0.1249 1.125 1 3.954 0.002346 0.0006815 0.04808 0.5498 1 0.00004445 0.000356 0.01517 0.0007153 0.02674 0.5562 0.1676 0.04944 0.005814 1 1 0.005652 0.05405 0.08471 0.09231 0.8826 1.383 json
t17_x17_u4_b2 17 17 4 2 add(D,mlt(R,cil(R))) 112382 138737840 o2(x,o2(x,o1(x))) true 59063 59063 0.2629 0.7982 0.2944 0.08081 0.2843 -0.1454 1 1.145 1 4.039 0.002612 0.001016 0.05269 0.4401 1 0.00001342 0.0003809 0.01574 0.0008525 0.0292 0.5542 0.1677 0.0449 0.004714 1 1 0.007185 0.07348 0.1375 0.08891 0.9093 1.702 json
t17_x17_u4_b3 17 17 4 3 add(D,div(R,cil(R))) 112383 138737841 o2(x,o2(x,o1(x))) true 59071 59071 -0.8156 0.1014 0.9813 0.3076 0.5546 -1 1 2 1 0.7255 0.03417 0.03871 0.04041 -0.06231 1 -7.242e-7 0.1539 0.07838 0.07125 0.2669 6.605 2.828 0.237 0.5005 1 1 0.06957 0.2899 0.6389 0.2262 0.9425 2.077 json
t17_x17_u4_b4 17 17 4 4 add(D,pow(R,cil(R))) 112384 138737842 o2(x,o2(x,o1(x))) true 59079 59079 0.7641 0.9965 0.7644 0.05595 0.2365 -0.1112 1 1.111 1 3.331 0.002026 0.0008356 0.04249 0.4159 1 0.0000689 0.0004613 0.01518 0.001056 0.0325 0.7649 0.168 0.05113 0.008245 1 1 0.005029 0.04819 0.08124 0.08988 0.8613 1.452 json
t17_x17_u4_b5 17 17 4 5 add(D,mod(R,cil(R))) 112385 138737843 o2(x,o2(x,o1(x))) true 59087 59087 -0.9327 0.04285 0.9813 0.1028 0.3207 -1 1 2 1 0.4183 0.01037 0.01039 0.01465 -0.001197 1 -7.243e-7 0.04327 0.02645 0.02056 0.1434 9.788 2.596 0.2019 0.4208 1 1 0.01647 0.07133 0.1735 0.1602 0.6937 1.687 json
t17_x17_u4_b6 17 17 4 6 add(D,lrg(R,cil(R))) 112386 138737844 o2(x,o2(x,o1(x))) true 59095 59095 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u4_b7 17 17 4 7 add(D,eql(R,cil(R))) 112387 138737845 o2(x,o2(x,o1(x))) true 59103 59103 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u4_b8 17 17 4 8 add(D,min(R,cil(R))) 112388 138737846 o2(x,o2(x,o1(x))) true 59111 59111 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t17_x17_u4_b9 17 17 4 9 add(D,dot(R,cil(R))) 112389 138737847 o2(x,o2(x,o1(x))) true 59119 59119 0.6718 0.9631 0.6763 0.1067 0.3267 -0.1454 1 1.145 1 3.577 0.002994 0.001715 0.05044 0.2717 1 0.00001216 0.0009767 0.01796 0.002165 0.04653 0.9224 0.2704 0.04412 0.009151 1 1 0.008608 0.08435 0.1839 0.08065 0.7903 1.724 json
t17_x17_u4_b10 17 17 4 10 add(D,dst(R,cil(R))) 112390 138737848 o2(x,o2(x,o1(x))) true 59127 59127 0.8784 1 0.8784 0.025 0.1581 0.202 1 0.798 1 2.403 0.001252 0.0003894 0.0276 0.5255 1 -0.00001763 0.0004256 0.01235 0.0008801 0.02967 1.075 0.1687 0.06568 0.01703 1 1 0.003286 0.0278 0.04534 0.1315 1.112 1.814 json
t17_x17_u4_b11 17 17 4 11 sub(D,add(R,cil(R))) 112391 138737849 o2(x,o2(x,o1(x))) true 59135 59135 -0.3337 0.3685 0.6456 0.4243 0.6514 -1 1 2 1 4.033 0.007555 0.007986 0.08708 -0.02774 1 0.000136 0.002677 0.02774 0.007955 0.08919 1.024 0.3729 0.03663 0.006309 1 1 0.0299 0.328 0.7426 0.07046 0.773 1.75 json
t17_x17_u4_b12 17 17 4 12 sub(D,sub(R,cil(R))) 112392 138737850 o2(x,o2(x,o1(x))) true 59143 59143 0.4727 0.9841 0.4739 0.06074 0.2464 -0.1262 1 1.126 1 3.954 0.002324 0.0006812 0.04806 0.5467 1 -0.00004673 0.0003526 0.0151 0.0006957 0.02638 0.5488 0.1657 0.04948 0.005806 1 1 0.005639 0.05375 0.08461 0.09285 0.885 1.393 json
t17_x17_u4_b13 17 17 4 13 sub(D,mlt(R,cil(R))) 112393 138737851 o2(x,o2(x,o1(x))) true 59151 59151 -0.2628 0.199 0.2938 0.08022 0.2832 -1 0.1454 1.145 1 4.032 0.002583 0.001015 0.05239 0.4357 1 -0.00001518 0.0003775 0.01562 0.0008537 0.02922 0.5577 0.1676 0.04486 0.004706 1 1 0.007054 0.0723 0.1376 0.08793 0.9013 1.715 json
t17_x17_u4_b14 17 17 4 14 sub(D,div(R,cil(R))) 112394 138737852 o2(x,o2(x,o1(x))) true 59159 59159 -0.9813 0.0003815 0.9813 0.01001 0.1001 -1 0.006778 1.007 1 0.3963 0.001166 0.001018 0.00546 0.06783 1 -0.00002039 0.004368 0.00789 0.002154 0.04641 8.5 1.007 0.2181 0.4362 1 1 0.001471 0.006664 0.01616 0.1469 0.6655 1.614 json
t17_x17_u4_b15 17 17 4 15 sub(D,pow(R,cil(R))) 112395 138737853 o2(x,o2(x,o1(x))) true 59167 59167 -0.764 0.003479 0.7642 0.05639 0.2375 -1 0.09466 1.095 1 3.33 0.002045 0.0008362 0.0422 0.4195 1 -0.00009554 0.0004672 0.01519 0.0011 0.03317 0.7859 0.1709 0.05109 0.008285 1 1 0.005137 0.04938 0.08132 0.0911 0.8757 1.442 json
t17_x17_u4_b16 17 17 4 16 sub(D,mod(R,cil(R))) 112396 138737854 o2(x,o2(x,o1(x))) true 59175 59175 -0.9813 0.0003815 0.9813 0.01001 0.1001 -1 0.006778 1.007 1 0.3963 0.001166 0.001018 0.00546 0.06783 1 -0.00002039 0.004368 0.00789 0.002154 0.04641 8.5 1.007 0.2181 0.4362 1 1 0.001471 0.006664 0.01616 0.1469 0.6655 1.614 json
t17_x17_u4_b17 17 17 4 17 sub(D,lrg(R,cil(R))) 112397 138737855 o2(x,o2(x,o1(x))) true 59183 59183 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u4_b18 17 17 4 18 sub(D,eql(R,cil(R))) 112398 138737856 o2(x,o2(x,o1(x))) true 59191 59191 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u4_b19 17 17 4 19 sub(D,min(R,cil(R))) 112399 138737857 o2(x,o2(x,o1(x))) true 59199 59199 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json