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_x24_u3_b112 17 24 3 112 dst(R,mlt(R,flr(P))) 118300 139020556 o2(x,o2(x,o1(x))) true 106407 106407 0.9848 1 0.9848 0.005353 0.07316 0.2809 1 0.7191 1 0.4721 0.0001199 0.000168 0.003441 -0.1671 1 -0.000006953 0.0001636 0.00214 0.0002759 0.01661 4.827 0.3021 0.05378 0.03057 1 1 0.0006059 0.005577 0.01519 0.1132 1.042 2.838 json
t17_x24_u3_b113 17 24 3 113 dst(R,div(R,flr(P))) 118301 139020557 o2(x,o2(x,o1(x))) true 106415 106415 -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_x24_u3_b114 17 24 3 114 dst(R,pow(R,flr(P))) 118302 139020558 o2(x,o2(x,o1(x))) true 106423 106423 -0.9766 0.01172 0.9999 0.04601 0.2145 -1 1 2 1 0.09538 0.005961 0.003968 0.004992 0.2007 1 0 0.02083 0.01002 0.009898 0.09949 19.93 2.828 0.2158 0.4527 1 1 0.01747 0.0704 0.1673 0.3798 1.53 3.637 json
t17_x24_u3_b115 17 24 3 115 dst(R,mod(R,flr(P))) 118303 139020559 o2(x,o2(x,o1(x))) true 106431 106431 -0.2344 0 0.2344 0.1793 0.4235 -1 0 1 1 0.7856 0.006929 0.006929 0.01385 0 1 0 0.02784 0.02771 0.01366 0.1169 8.44 1.414 0.07728 0.1553 1 1 0.01751 0.07003 0.2801 0.09763 0.3905 1.562 json
t17_x24_u3_b116 17 24 3 116 dst(R,lrg(R,flr(P))) 118304 139020560 o2(x,o2(x,o1(x))) true 106439 106439 0.9431 1 0.9431 0.0148 0.1216 0.21 1 0.79 1 1.429 0.0003039 0.0004033 0.01151 -0.1405 1 -0.00004627 0.0002148 0.005169 0.0005744 0.02397 2.082 0.2028 0.04779 0.01452 1 1 0.001285 0.0123 0.02868 0.08684 0.8312 1.939 json
t17_x24_u3_b117 17 24 3 117 dst(R,eql(R,flr(P))) 118305 139020561 o2(x,o2(x,o1(x))) true 106447 106447 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_x24_u3_b118 17 24 3 118 dst(R,min(R,flr(P))) 118306 139020562 o2(x,o2(x,o1(x))) true 106455 106455 0.7918 0.9841 0.7918 0.1255 0.3543 0 1 1 1 1.923 0.000447 0.0003105 0.01167 0.1803 1 -0.00001466 0.00009501 0.003233 0.0006213 0.02493 2.137 0.2214 0.006034 0.0007569 1 1 0.001549 0.01869 0.07612 0.01234 0.1489 0.6064 json
t17_x24_u3_b119 17 24 3 119 dst(R,dot(R,flr(P))) 118307 139020563 o2(x,o2(x,o1(x))) true 106463 106463 0.9941 1 0.9941 0.001958 0.04425 0.1865 1 0.8135 1 0.2241 0.0001262 0.000194 0.002527 -0.212 1 -0.00003758 0.0002685 0.002321 0.0003138 0.01771 7.011 0.3554 0.1635 0.1371 1 1 0.0006253 0.003719 0.005643 0.3193 1.899 2.881 json
t17_x24_u3_b120 17 24 3 120 dst(R,dst(R,flr(P))) 118308 139020564 o2(x,o2(x,o1(x))) true 106471 106471 0.9996 1 0.9996 0.0001605 0.01267 0.4856 1 0.5144 1 0.01926 0.0000157 0.00001342 0.0002089 0.0785 0 -1.502e-11 0.0000192 0.0001734 0.00002906 0.005391 25.8 0.2519 0.1814 0.1196 1 1 0.00008952 0.0005479 0.0005838 0.5577 3.413 3.637 json
t17_x24_u4_b0 17 24 4 0 add(R,add(R,cil(P))) 118309 139020645 o2(x,o2(x,o1(x))) true 106479 106479 0.01261 0.507 0.9466 0.9272 0.9629 -1 1 2 1 1.912 0.002445 0.001452 0.0176 0.2549 1 -0.00004245 0.001018 0.007264 0.003586 0.05989 3.404 0.5071 0.004203 0.001098 1 1 0.009147 0.09627 0.3741 0.009865 0.1038 0.4035 json
t17_x24_u4_b1 17 24 4 1 add(R,sub(R,cil(P))) 118310 139020646 o2(x,o2(x,o1(x))) true 106487 106487 0.009129 0.5065 0.9387 0.9169 0.9575 -1 1 2 1 2.004 0.002544 0.001605 0.01976 0.2263 1 -0.00003295 0.001008 0.007816 0.00376 0.06132 3.103 0.5495 0.004525 0.001099 1 1 0.009684 0.1019 0.3603 0.01056 0.1111 0.393 json
t17_x24_u4_b2 17 24 4 2 add(R,mlt(R,cil(P))) 118311 139020647 o2(x,o2(x,o1(x))) true 106495 106495 -0.06496 0.4715 0.7252 0.6434 0.8021 -1 1 2 1 3.778 0.01726 0.01985 0.09398 -0.06994 1 -0.00004042 0.02076 0.0503 0.02827 0.1681 1.789 1.636 0.05768 0.03226 1 1 0.05307 0.4669 1.033 0.08249 0.7256 1.606 json
t17_x24_u4_b3 17 24 4 3 add(R,div(R,cil(P))) 118312 139020648 o2(x,o2(x,o1(x))) true 106503 106503 -0.1243 0.4247 0.4588 0.3066 0.5537 -1 1 2 1 4.676 0.01605 0.002976 0.06274 0.6871 1 0.00004563 0.02729 0.03134 0.01509 0.1228 1.958 2 0.06203 0.08901 1 1 0.02751 0.1999 0.5216 0.08971 0.652 1.701 json
t17_x24_u4_b4 17 24 4 4 add(R,pow(R,cil(P))) 118313 139020649 o2(x,o2(x,o1(x))) true 106511 106511 -0.8583 0.07422 0.9933 0.2536 0.5035 -1 1 2 1 0.495 0.02269 0.02271 0.0246 -0.0005918 1 0.00000109 0.09443 0.04759 0.04476 0.2116 8.601 2.828 0.179 0.3724 1 1 0.04359 0.1854 0.5904 0.1719 0.7314 2.328 json
t17_x24_u4_b5 17 24 4 5 add(R,mod(R,cil(P))) 118314 139020650 o2(x,o2(x,o1(x))) true 106519 106519 -0.1182 0.4325 0.6953 0.5809 0.7622 -1 1 2 1 4.144 0.0245 0.008569 0.09056 0.4817 1 0.00003845 0.03761 0.04492 0.02486 0.1577 1.741 2.017 0.05692 0.06474 1 1 0.0503 0.4057 0.9787 0.08659 0.6983 1.685 json
t17_x24_u4_b6 17 24 4 6 add(R,lrg(R,cil(P))) 118315 139020651 o2(x,o2(x,o1(x))) true 106527 106527 0.3937 0.7233 0.6048 0.324 0.5692 -0.9986 1 1.999 1 4.299 0.002645 0.002519 0.04966 0.02444 1 -0.00002429 0.0006386 0.01415 0.002698 0.05194 1.046 0.3332 0.01594 0.001971 1 1 0.01068 0.1279 0.3464 0.03297 0.3948 1.069 json
t17_x24_u4_b7 17 24 4 7 add(R,eql(R,cil(P))) 118316 139020652 o2(x,o2(x,o1(x))) true 106535 106535 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_x24_u4_b8 17 24 4 8 add(R,min(R,cil(P))) 118317 139020653 o2(x,o2(x,o1(x))) true 106543 106543 -0.4858 0.2433 0.7951 0.491 0.7007 -1 1 2 1 3.163 0.005138 0.004837 0.05358 0.03013 1 -0.000006204 0.001663 0.01663 0.007102 0.08428 1.573 0.438 0.02032 0.003387 1 1 0.01984 0.2283 0.5964 0.04042 0.465 1.215 json
t17_x24_u4_b9 17 24 4 9 add(R,dot(R,cil(P))) 118318 139020654 o2(x,o2(x,o1(x))) true 106551 106551 -0.09424 0.4515 0.8434 0.7877 0.8875 -1 1 2 1 2.905 0.02502 0.03254 0.1011 -0.1307 1 0.00005125 0.04614 0.07442 0.04735 0.2176 2.152 1.829 0.07307 0.05858 1 1 0.07397 0.5701 1.385 0.0939 0.7237 1.758 json
t17_x24_u4_b10 17 24 4 10 add(R,dst(R,cil(P))) 118319 139020655 o2(x,o2(x,o1(x))) true 106559 106559 0.9982 1 0.9982 0.000811 0.02848 0.3239 1 0.6761 1 0.06128 0.00003843 0.00004531 0.0006617 -0.08213 0 -4.318e-11 0.00004064 0.0004341 0.00008332 0.009128 13.8 0.238 0.1033 0.05011 1 1 0.000266 0.002125 0.002956 0.3279 2.62 3.645 json
t17_x24_u4_b11 17 24 4 11 sub(R,add(R,cil(P))) 118320 139020656 o2(x,o2(x,o1(x))) true 106567 106567 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 4.835e-19 0.007937 1 1 -1.361e-11 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_x24_u4_b12 17 24 4 12 sub(R,sub(R,cil(P))) 118321 139020657 o2(x,o2(x,o1(x))) true 106575 106575 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 1.45e-18 0.007937 1 1 -6.805e-11 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_x24_u4_b13 17 24 4 13 sub(R,mlt(R,cil(P))) 118322 139020658 o2(x,o2(x,o1(x))) true 106583 106583 0.06055 0.5366 0.7257 0.6462 0.8039 -1 1 2 1 3.745 0.01647 0.02001 0.09057 -0.09684 1 0.00004313 0.02122 0.04957 0.02827 0.1681 1.856 1.468 0.05645 0.03283 1 1 0.05108 0.4367 1.061 0.07904 0.6757 1.641 json
t17_x24_u4_b14 17 24 4 14 sub(R,div(R,cil(P))) 118323 139020659 o2(x,o2(x,o1(x))) true 106591 106591 -0.1201 0.4218 0.4632 0.3159 0.5621 -1 1 2 1 4.644 0.01431 0.003158 0.06018 0.6384 1 0.00006321 0.02443 0.02987 0.01384 0.1177 1.955 2.017 0.05529 0.07734 1 1 0.02543 0.1874 0.5306 0.0805 0.5934 1.68 json
t17_x24_u4_b15 17 24 4 15 sub(R,pow(R,cil(P))) 118324 139020660 o2(x,o2(x,o1(x))) true 106599 106599 -0.982 0.003906 0.9855 0.01675 0.1294 -1 0.6499 1.65 1 0.2671 0.002048 0.001756 0.005522 0.07678 1 8.589e-7 0.007634 0.008191 0.003773 0.06142 11.12 1.642 0.2271 0.4558 1 1 0.002654 0.01157 0.02388 0.1585 0.6908 1.426 json
t17_x24_u4_b16 17 24 4 16 sub(R,mod(R,cil(P))) 118325 139020661 o2(x,o2(x,o1(x))) true 106607 106607 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t17_x24_u4_b17 17 24 4 17 sub(R,lrg(R,cil(P))) 118326 139020662 o2(x,o2(x,o1(x))) true 106615 106615 -0.4044 0.2183 0.5766 0.2742 0.5236 -1 0.9806 1.981 1 4.4 0.00222 0.002293 0.04913 -0.01601 1 0.00004808 0.000506 0.01343 0.002099 0.04581 0.9325 0.223 0.01646 0.001845 1 1 0.008635 0.104 0.2902 0.03149 0.3794 1.058 json
t17_x24_u4_b18 17 24 4 18 sub(R,eql(R,cil(P))) 118327 139020663 o2(x,o2(x,o1(x))) true 106623 106623 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_x24_u4_b19 17 24 4 19 sub(R,min(R,cil(P))) 118328 139020664 o2(x,o2(x,o1(x))) true 106631 106631 0.4784 0.5369 0.4784 0.2358 0.4856 0 1 1 1 1.566 0.0003403 0.0001296 0.005276 0.4485 1 -0.00001743 0.00009507 0.001759 0.0004423 0.02103 3.986 0.215 0.001993 0.0004032 1 1 0.001049 0.01188 0.07559 0.004449 0.05037 0.3206 json
t17_x24_u4_b20 17 24 4 20 sub(R,dot(R,cil(P))) 118329 139020665 o2(x,o2(x,o1(x))) true 106639 106639 0.09503 0.546 0.8473 0.7883 0.8879 -1 1 2 1 2.952 0.02454 0.03387 0.1037 -0.1596 1 0.000007152 0.04699 0.07524 0.04766 0.2183 2.106 2.004 0.0741 0.0596 1 1 0.07467 0.5818 1.372 0.09472 0.7381 1.741 json
t17_x24_u4_b21 17 24 4 21 sub(R,dst(R,cil(P))) 118330 139020666 o2(x,o2(x,o1(x))) true 106647 106647 -0.9942 0 0.9942 0.002879 0.05366 -1 -0.1097 0.8903 1 0.1554 0.0001018 0.00008186 0.001501 0.1083 1 -9.011e-11 0.00007274 0.0008524 0.0001812 0.01346 8.971 0.2735 0.06377 0.02526 1 1 0.0005924 0.005259 0.009175 0.2057 1.826 3.186 json
t17_x24_u4_b22 17 24 4 22 mlt(R,add(R,cil(P))) 118331 139020667 o2(x,o2(x,o1(x))) true 106655 106655 0.0601 0.5431 0.7423 0.6594 0.812 -1 1 2 1 3.762 0.01637 0.01921 0.09187 -0.07978 1 -0.00008018 0.01977 0.04912 0.02713 0.1647 1.793 1.489 0.05395 0.02999 1 1 0.04973 0.4374 1.01 0.07542 0.6632 1.532 json
t17_x24_u4_b23 17 24 4 23 mlt(R,sub(R,cil(P))) 118332 139020668 o2(x,o2(x,o1(x))) true 106663 106663 0.1858 0.611 0.7346 0.6217 0.7885 -1 1 2 1 3.727 0.01622 0.01928 0.09113 -0.0862 1 0.00001364 0.01953 0.04931 0.02719 0.1649 1.809 1.406 0.0571 0.03142 1 1 0.04977 0.4344 1.007 0.08006 0.6988 1.62 json
t17_x24_u4_b24 17 24 4 24 mlt(R,mlt(R,cil(P))) 118333 139020669 o2(x,o2(x,o1(x))) true 106671 106671 0.0007528 0.4977 0.6708 0.5815 0.7625 -1 1 2 1 4.022 0.002074 0.002398 0.0364 -0.07248 1 0.00007537 0.001681 0.01637 0.003147 0.0561 1.541 0.4236 0.007689 0.002892 1 1 0.006862 0.06791 0.2277 0.0118 0.1168 0.3916 json
t17_x24_u4_b25 17 24 4 25 mlt(R,div(R,cil(P))) 118334 139020670 o2(x,o2(x,o1(x))) true 106679 106679 -0.1269 0.4373 0.2184 0.131 0.3619 -1 0.8898 1.89 1 3.343 0.01001 0.00009732 0.01716 0.9807 1 0.000004829 0.01977 0.01826 0.009811 0.09905 5.773 1.89 0.07714 0.1509 1 1 0.01305 0.05503 0.1922 0.09966 0.4201 1.468 json
t17_x24_u4_b26 17 24 4 26 mlt(R,pow(R,cil(P))) 118335 139020671 o2(x,o2(x,o1(x))) true 106687 106687 -0.8848 0.06068 0.9776 0.1877 0.4332 -1 1 2 1 0.6387 0.0189 0.0174 0.02283 0.04134 1 0.000001658 0.07517 0.04055 0.03577 0.1891 8.283 2.828 0.1934 0.4005 1 1 0.03467 0.1486 0.4129 0.1847 0.7919 2.2 json
t17_x24_u4_b27 17 24 4 27 mlt(R,mod(R,cil(P))) 118336 139020672 o2(x,o2(x,o1(x))) true 106695 106695 0.177 0.875 0.427 0.2497 0.4997 -1 0.9979 1.998 1 3.837 0.01607 0.000713 0.03862 0.915 1 -0.000001515 0.0309 0.0282 0.01529 0.1237 3.202 1.98 0.06722 0.1238 1 1 0.02033 0.1019 0.383 0.08142 0.4082 1.534 json
t17_x24_u4_b28 17 24 4 28 mlt(R,lrg(R,cil(P))) 118337 139020673 o2(x,o2(x,o1(x))) true 106703 106703 0.03488 0.3128 0.2019 0.1109 0.3331 -0.9989 0.9693 1.968 1 3.377 0.00124 0.00164 0.03127 -0.1387 1 0.00002708 0.000164 0.007099 0.001902 0.04362 1.395 0.2301 0.02597 0.001479 1 1 0.005641 0.07166 0.1897 0.05085 0.6461 1.71 json
t17_x24_u4_b29 17 24 4 29 mlt(R,eql(R,cil(P))) 118338 139020674 o2(x,o2(x,o1(x))) true 106711 106711 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_x24_u4_b30 17 24 4 30 mlt(R,min(R,cil(P))) 118339 139020675 o2(x,o2(x,o1(x))) true 106719 106719 0.1418 0.7425 0.5379 0.3939 0.6276 -1 1 2 1 4.3 0.008267 0.0106 0.0613 -0.1235 1 -0.00002515 0.0101 0.02811 0.01511 0.1229 2.005 1.294 0.04789 0.02565 1 1 0.0279 0.2416 0.5517 0.07083 0.6133 1.401 json
t17_x24_u4_b31 17 24 4 31 mlt(R,dot(R,cil(P))) 118340 139020676 o2(x,o2(x,o1(x))) true 106727 106727 0.04274 0.5085 0.7391 0.6646 0.8152 -1 1 2 1 3.647 0.007378 0.006602 0.0582 0.0555 1 -0.00001137 0.006097 0.02947 0.01059 0.1029 1.768 1.217 0.02103 0.009175 1 1 0.01951 0.1903 0.5005 0.02935 0.2864 0.7531 json
t17_x24_u4_b32 17 24 4 32 mlt(R,dst(R,cil(P))) 118341 139020677 o2(x,o2(x,o1(x))) true 106735 106735 -0.01049 0.4956 0.8639 0.8191 0.905 -1 1 2 1 2.805 0.0263 0.03055 0.1022 -0.07467 1 0.00007564 0.04298 0.0727 0.04644 0.2155 2.109 2 0.06941 0.05248 1 1 0.07812 0.6106 1.393 0.09537 0.7455 1.701 json
t17_x24_u4_b33 17 24 4 33 div(R,add(R,cil(P))) 118342 139020678 o2(x,o2(x,o1(x))) true 106743 106743 -0.0137 0.4602 0.2051 0.1136 0.337 -1 0.9999 2 1 3.818 0.002794 0.00146 0.03112 0.3138 1 0.00004386 0.001299 0.009968 0.003286 0.05732 1.842 0.7685 0.03745 0.01144 1 1 0.00828 0.0887 0.2366 0.07289 0.7808 2.082 json
t17_x24_u4_b34 17 24 4 34 div(R,sub(R,cil(P))) 118343 139020679 o2(x,o2(x,o1(x))) true 106751 106751 -0.02661 0.5197 0.2136 0.1252 0.3539 -1 0.9998 2 1 3.786 0.003741 0.002069 0.03258 0.2877 1 0.00005727 0.003488 0.0121 0.004749 0.06891 2.115 1.907 0.0464 0.02785 1 1 0.01037 0.1059 0.2397 0.08281 0.8458 1.914 json
t17_x24_u4_b35 17 24 4 35 div(R,mlt(R,cil(P))) 118344 139020680 o2(x,o2(x,o1(x))) true 106759 106759 -0.125 0.4375 0.3944 0.2329 0.4826 -1 0.9999 2 1 3.833 0.01607 1.913e-17 0.01488 1 1 2.253e-10 0.0318 0.01748 0.01585 0.1259 8.463 2 0.06901 0.1365 1 1 0.02155 0.0847 0.2581 0.0925 0.3637 1.108 json
t17_x24_u4_b36 17 24 4 36 div(R,div(R,cil(P))) 118345 139020681 o2(x,o2(x,o1(x))) true 106767 106767 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 7.469e-18 0.007937 1 1 -6.652e-11 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_x24_u4_b37 17 24 4 37 div(R,pow(R,cil(P))) 118346 139020682 o2(x,o2(x,o1(x))) true 106775 106775 -0.9073 0.05983 0.9552 0.1217 0.3488 -1 1 2 1 0.7028 0.0124 0.01165 0.01952 0.03108 1 0.000003712 0.04966 0.0328 0.02366 0.1538 7.878 2.828 0.1976 0.4081 1 1 0.0215 0.09458 0.26 0.1767 0.7772 2.137 json
t17_x24_u4_b38 17 24 4 38 div(R,mod(R,cil(P))) 118347 139020683 o2(x,o2(x,o1(x))) true 106783 106783 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 5.572e-17 0.01587 1 1 5.699e-9 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t17_x24_u4_b39 17 24 4 39 div(R,lrg(R,cil(P))) 118348 139020684 o2(x,o2(x,o1(x))) true 106791 106791 -0.5245 0.2468 0.7292 0.3754 0.6127 -1 0.9693 1.969 1 3.17 0.007962 0.004214 0.03444 0.3078 1 0.00003761 0.01996 0.01989 0.01099 0.1048 3.044 2.587 0.03244 0.05318 1 1 0.01797 0.1136 0.3039 0.04786 0.3027 0.8096 json
t17_x24_u4_b40 17 24 4 40 div(R,eql(R,cil(P))) 118349 139020685 o2(x,o2(x,o1(x))) true 106799 106799 -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_x24_u4_b41 17 24 4 41 div(R,min(R,cil(P))) 118350 139020686 o2(x,o2(x,o1(x))) true 106807 106807 0.4136 0.6959 0.6077 0.3931 0.627 -1 1 2 1 2.904 0.01558 0.007868 0.02275 0.3289 1 0.000003273 0.04742 0.02732 0.02292 0.1514 6.656 2.828 0.05965 0.1206 1 1 0.03736 0.1597 0.4527 0.09503 0.4061 1.152 json
t17_x24_u4_b42 17 24 4 42 div(R,dot(R,cil(P))) 118351 139020687 o2(x,o2(x,o1(x))) true 106815 106815 -0.02511 0.4921 0.3093 0.1879 0.4334 -1 1 2 1 4.318 0.006726 0.004995 0.04079 0.1477 1 -0.000003242 0.01481 0.02119 0.01006 0.1003 2.459 2.828 0.0624 0.07881 1 1 0.02471 0.1677 0.4215 0.1315 0.8928 2.244 json
t17_x24_u4_b43 17 24 4 43 div(R,dst(R,cil(P))) 118352 139020688 o2(x,o2(x,o1(x))) true 106823 106823 0.01141 0.4989 0.08231 0.01435 0.1198 -0.6659 0.8156 1.481 1 2.781 0.0002447 0.0002096 0.01384 0.07732 1 0.000001869 0.0000285 0.003207 0.0002626 0.01621 1.171 0.1732 0.03165 0.001985 1 1 0.001425 0.01846 0.03802 0.09928 1.286 2.649 json
t17_x24_u4_b44 17 24 4 44 pow(R,add(R,cil(P))) 118353 139020689 o2(x,o2(x,o1(x))) true 106831 106831 -0.9191 0.04297 0.995 0.1487 0.3856 -1 1 2 1 0.3232 0.01581 0.01439 0.01578 0.04699 1 0.00000168 0.06313 0.03142 0.02994 0.173 10.97 2.828 0.2031 0.4247 1 1 0.02505 0.1069 0.2612 0.1685 0.7192 1.757 json
t17_x24_u4_b45 17 24 4 45 pow(R,sub(R,cil(P))) 118354 139020690 o2(x,o2(x,o1(x))) true 106839 106839 -0.9399 0.04265 0.9742 0.08573 0.2928 -1 1 2 1 0.408 0.00818 0.009144 0.01241 -0.05565 1 0.000003782 0.03615 0.02341 0.01718 0.1311 10.56 2.828 0.2021 0.4217 1 1 0.01187 0.05351 0.138 0.1384 0.6242 1.61 json
t17_x24_u4_b46 17 24 4 46 pow(R,mlt(R,cil(P))) 118355 139020691 o2(x,o2(x,o1(x))) true 106847 106847 -0.8565 0.07422 0.9951 0.2594 0.5094 -1 1 2 1 0.4766 0.02333 0.02276 0.02394 0.0124 1 0.000001699 0.09611 0.04751 0.0455 0.2133 8.911 2.828 0.1776 0.3704 1 1 0.04513 0.1886 0.6211 0.174 0.727 2.394 json
t17_x24_u4_b47 17 24 4 47 pow(R,div(R,cil(P))) 118356 139020692 o2(x,o2(x,o1(x))) true 106855 106855 -0.9182 0.04297 0.9958 0.1518 0.3896 -1 1 2 1 0.3051 0.01671 0.01464 0.01637 0.06591 1 1.904e-7 0.0656 0.03218 0.03107 0.1763 10.77 2.828 0.2065 0.4322 1 1 0.02466 0.1042 0.2635 0.1625 0.6866 1.736 json
t17_x24_u4_b48 17 24 4 48 pow(R,pow(R,cil(P))) 118357 139020693 o2(x,o2(x,o1(x))) true 106863 106863 -0.9395 0.04079 0.9746 0.0864 0.2939 -1 0.9994 1.999 1 0.4126 0.008519 0.009199 0.01303 -0.03842 1 0.000006444 0.03694 0.02373 0.01755 0.1325 10.16 2.664 0.2051 0.4275 1 1 0.01256 0.05623 0.1397 0.1454 0.6507 1.617 json
t17_x24_u4_b49 17 24 4 49 pow(R,mod(R,cil(P))) 118358 139020694 o2(x,o2(x,o1(x))) true 106871 106871 -0.9374 0.03516 0.9923 0.1077 0.3282 -1 0.9461 1.946 1 0.2874 0.01164 0.009767 0.01233 0.08735 1 0.000003032 0.04475 0.02418 0.02123 0.1457 11.81 2.41 0.1986 0.4154 1 1 0.01867 0.07708 0.196 0.1733 0.7154 1.819 json
t17_x24_u4_b50 17 24 4 50 pow(R,lrg(R,cil(P))) 118359 139020695 o2(x,o2(x,o1(x))) true 106879 106879 0.07442 0.5508 0.9729 0.9538 0.9766 -1 1 2 1 1.543 0.0175 0.01051 0.01967 0.2496 1 0.000007902 0.05784 0.03449 0.02761 0.1662 8.446 2.828 0.02937 0.06064 1 1 0.03083 0.1327 0.5055 0.03232 0.1392 0.53 json
t17_x24_u4_b51 17 24 4 51 pow(R,eql(R,cil(P))) 118360 139020696 o2(x,o2(x,o1(x))) true 106887 106887 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_x24_u4_b52 17 24 4 52 pow(R,min(R,cil(P))) 118361 139020697 o2(x,o2(x,o1(x))) true 106895 106895 -0.9153 0.04297 0.9988 0.1602 0.4003 -1 1 2 1 0.2934 0.01643 0.01583 0.01634 0.01872 1 0.000001003 0.06742 0.03274 0.03198 0.1788 10.94 2.828 0.2013 0.4208 1 1 0.02533 0.1089 0.2717 0.1581 0.6796 1.696 json
t17_x24_u4_b53 17 24 4 53 pow(R,dot(R,cil(P))) 118362 139020698 o2(x,o2(x,o1(x))) true 106903 106903 -0.9187 0.04297 0.9954 0.1498 0.387 -1 1 2 1 0.3182 0.01582 0.01426 0.01608 0.05187 1 -6.269e-8 0.06278 0.03158 0.02981 0.1727 10.74 2.828 0.2008 0.4191 1 1 0.02443 0.1049 0.2608 0.1631 0.7001 1.742 json
t17_x24_u4_b54 17 24 4 54 pow(R,dst(R,cil(P))) 118363 139020699 o2(x,o2(x,o1(x))) true 106911 106911 -0.9497 0.04259 0.9644 0.05773 0.2403 -1 0.7706 1.771 1 0.3789 0.006018 0.005685 0.01059 0.02841 1 0.000004806 0.0244 0.01963 0.0116 0.1077 10.17 2.014 0.2027 0.4226 1 1 0.009717 0.04244 0.1045 0.1683 0.735 1.809 json
t17_x24_u4_b55 17 24 4 55 mod(R,add(R,cil(P))) 118364 139020700 o2(x,o2(x,o1(x))) true 106919 106919 -0.002531 0.4875 0.3725 0.2032 0.4508 -0.9989 0.9806 1.979 1 4.828 0.002534 0.002893 0.0601 -0.06618 1 0.00004428 0.0003163 0.01373 0.001815 0.04261 0.7089 0.2301 0.02671 0.001556 1 1 0.01094 0.1405 0.3498 0.05385 0.6913 1.721 json
t17_x24_u4_b56 17 24 4 56 mod(R,sub(R,cil(P))) 118365 139020701 o2(x,o2(x,o1(x))) true 106927 106927 -0.00502 0.4866 0.3663 0.1987 0.4458 -0.9988 0.9806 1.979 1 4.814 0.002521 0.002849 0.05937 -0.06117 1 0.00004511 0.0003144 0.01359 0.001845 0.04296 0.7236 0.2301 0.02702 0.001582 1 1 0.01066 0.1369 0.3482 0.05362 0.6889 1.752 json
t17_x24_u4_b57 17 24 4 57 mod(R,mlt(R,cil(P))) 118366 139020702 o2(x,o2(x,o1(x))) true 106935 106935 -0.1289 0.4204 0.4545 0.2903 0.5388 -1 0.9806 1.981 1 4.742 0.01185 0.00262 0.06088 0.6378 1 0.00005936 0.01966 0.02885 0.01076 0.1037 1.704 1.898 0.04983 0.06773 1 1 0.02131 0.1628 0.4765 0.0734 0.5608 1.641 json
t17_x24_u4_b58 17 24 4 58 mod(R,div(R,cil(P))) 118367 139020703 o2(x,o2(x,o1(x))) true 106943 106943 -0.1241 0.1005 0.1487 0.1163 0.3411 -1 0.8978 1.898 1 2.029 0.009754 0.00008775 0.01292 0.9822 1 -0.000007554 0.01938 0.01786 0.009674 0.09835 7.611 1.898 0.08461 0.1666 1 1 0.01267 0.05315 0.1943 0.1089 0.4569 1.671 json
t17_x24_u4_b59 17 24 4 59 mod(R,pow(R,cil(P))) 118368 139020704 o2(x,o2(x,o1(x))) true 106951 106951 -0.9074 0.05428 0.9575 0.1207 0.3475 -1 0.9428 1.943 1 0.7249 0.01111 0.01167 0.01888 -0.02466 1 0.000007105 0.04721 0.03225 0.02243 0.1498 7.935 2.063 0.1887 0.3911 1 1 0.02179 0.09454 0.2637 0.1804 0.7831 2.184 json
t17_x24_u4_b60 17 24 4 60 mod(R,mod(R,cil(P))) 118369 139020705 o2(x,o2(x,o1(x))) true 106959 106959 -0.1352 0.1932 0.1948 0.1353 0.3678 -1 0.9558 1.956 1 2.719 0.01006 0.0004031 0.02202 0.923 1 -0.000002492 0.01942 0.01999 0.00998 0.0999 4.537 1.898 0.07733 0.1435 1 1 0.01406 0.07149 0.241 0.1039 0.5284 1.781 json
t17_x24_u4_b61 17 24 4 61 mod(R,lrg(R,cil(P))) 118370 139020706 o2(x,o2(x,o1(x))) true 106967 106967 -0.5245 0.2468 0.7292 0.3754 0.6127 -1 0.9693 1.969 1 3.17 0.007962 0.004214 0.03444 0.3078 1 0.00003761 0.01996 0.01989 0.01099 0.1048 3.044 2.587 0.03244 0.05318 1 1 0.01797 0.1136 0.3039 0.04786 0.3027 0.8096 json
t17_x24_u4_b62 17 24 4 62 mod(R,eql(R,cil(P))) 118371 139020707 o2(x,o2(x,o1(x))) true 106975 106975 -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_x24_u4_b63 17 24 4 63 mod(R,min(R,cil(P))) 118372 139020708 o2(x,o2(x,o1(x))) true 106983 106983 -0.06278 0.3544 0.2983 0.193 0.4393 -1 0.9693 1.969 1 4.097 0.007987 0.002796 0.0425 0.4814 1 0.0000275 0.01563 0.02105 0.008977 0.09475 2.229 2.097 0.05587 0.08096 1 1 0.01679 0.1217 0.3484 0.08698 0.6306 1.805 json
t17_x24_u4_b64 17 24 4 64 mod(R,dot(R,cil(P))) 118373 139020709 o2(x,o2(x,o1(x))) true 106991 106991 -0.004308 0.4912 0.3827 0.2182 0.4671 -1 0.9806 1.981 1 4.852 0.004388 0.004613 0.06233 -0.02496 1 0.00002701 0.007737 0.01873 0.005116 0.07153 1.148 2.098 0.04124 0.03545 1 1 0.01634 0.1528 0.4075 0.0749 0.7004 1.867 json
t17_x24_u4_b65 17 24 4 65 mod(R,dst(R,cil(P))) 118374 139020710 o2(x,o2(x,o1(x))) true 106999 106999 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_x24_u4_b66 17 24 4 66 lrg(R,add(R,cil(P))) 118375 139020711 o2(x,o2(x,o1(x))) true 107007 107007 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_x24_u4_b67 17 24 4 67 lrg(R,sub(R,cil(P))) 118376 139020712 o2(x,o2(x,o1(x))) true 107015 107015 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_x24_u4_b68 17 24 4 68 lrg(R,mlt(R,cil(P))) 118377 139020713 o2(x,o2(x,o1(x))) true 107023 107023 0.498 0.9149 0.498 0.1579 0.3973 0 1 1 1 3.38 0.001993 0.002262 0.04986 -0.0631 1 0.00001926 0.0002476 0.0121 0.00177 0.04207 0.8438 0.1169 0.02696 0.001568 1 1 0.008333 0.1074 0.2992 0.05279 0.6806 1.895 json
t17_x24_u4_b69 17 24 4 69 lrg(R,div(R,cil(P))) 118378 139020714 o2(x,o2(x,o1(x))) true 107031 107031 0.4512 0.8853 0.4512 0.1559 0.3948 0 1 1 1 3.361 0.00196 0.002262 0.04949 -0.07155 1 0.000005006 0.0002459 0.01201 0.001773 0.0421 0.8507 0.1169 0.02708 0.001577 1 1 0.008011 0.1033 0.3036 0.05139 0.6626 1.948 json
t17_x24_u4_b70 17 24 4 70 lrg(R,pow(R,cil(P))) 118379 139020715 o2(x,o2(x,o1(x))) true 107039 107039 0.6582 0.919 0.6582 0.1717 0.4144 0 1 1 1 2.57 0.001201 0.001301 0.02926 -0.04021 1 -7.24e-7 0.0001406 0.007057 0.001645 0.04056 1.386 0.1169 0.01457 0.0008187 1 1 0.0052 0.06663 0.2127 0.03029 0.388 1.239 json
t17_x24_u4_b71 17 24 4 71 lrg(R,mod(R,cil(P))) 118380 139020716 o2(x,o2(x,o1(x))) true 107047 107047 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_x24_u4_b72 17 24 4 72 lrg(R,lrg(R,cil(P))) 118381 139020717 o2(x,o2(x,o1(x))) true 107055 107055 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t17_x24_u4_b73 17 24 4 73 lrg(R,eql(R,cil(P))) 118382 139020718 o2(x,o2(x,o1(x))) true 107063 107063 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_x24_u4_b74 17 24 4 74 lrg(R,min(R,cil(P))) 118383 139020719 o2(x,o2(x,o1(x))) true 107071 107071 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_x24_u4_b75 17 24 4 75 lrg(R,dot(R,cil(P))) 118384 139020720 o2(x,o2(x,o1(x))) true 107079 107079 0.5371 0.9522 0.5371 0.1547 0.3933 0 1 1 1 3.391 0.002026 0.002339 0.05093 -0.07165 1 0.00003993 0.000252 0.01233 0.001772 0.04209 0.8264 0.1169 0.02823 0.001629 1 1 0.008583 0.1107 0.3172 0.05549 0.7156 2.051 json
t17_x24_u4_b76 17 24 4 76 lrg(R,dst(R,cil(P))) 118385 139020721 o2(x,o2(x,o1(x))) true 107087 107087 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_x24_u4_b77 17 24 4 77 eql(R,add(R,cil(P))) 118386 139020722 o2(x,o2(x,o1(x))) true 107095 107095 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_x24_u4_b78 17 24 4 78 eql(R,sub(R,cil(P))) 118387 139020723 o2(x,o2(x,o1(x))) true 107103 107103 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_x24_u4_b79 17 24 4 79 eql(R,mlt(R,cil(P))) 118388 139020724 o2(x,o2(x,o1(x))) true 107111 107111 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_x24_u4_b80 17 24 4 80 eql(R,div(R,cil(P))) 118389 139020725 o2(x,o2(x,o1(x))) true 107119 107119 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_x24_u4_b81 17 24 4 81 eql(R,pow(R,cil(P))) 118390 139020726 o2(x,o2(x,o1(x))) true 107127 107127 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t17_x24_u4_b82 17 24 4 82 eql(R,mod(R,cil(P))) 118391 139020727 o2(x,o2(x,o1(x))) true 107135 107135 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x24_u4_b83 17 24 4 83 eql(R,lrg(R,cil(P))) 118392 139020728 o2(x,o2(x,o1(x))) true 107143 107143 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_x24_u4_b84 17 24 4 84 eql(R,eql(R,cil(P))) 118393 139020729 o2(x,o2(x,o1(x))) true 107151 107151 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_x24_u4_b85 17 24 4 85 eql(R,min(R,cil(P))) 118394 139020730 o2(x,o2(x,o1(x))) true 107159 107159 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_x24_u4_b86 17 24 4 86 eql(R,dot(R,cil(P))) 118395 139020731 o2(x,o2(x,o1(x))) true 107167 107167 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_x24_u4_b87 17 24 4 87 eql(R,dst(R,cil(P))) 118396 139020732 o2(x,o2(x,o1(x))) true 107175 107175 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_x24_u4_b88 17 24 4 88 min(R,add(R,cil(P))) 118397 139020733 o2(x,o2(x,o1(x))) true 107183 107183 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t17_x24_u4_b89 17 24 4 89 min(R,sub(R,cil(P))) 118398 139020734 o2(x,o2(x,o1(x))) true 107191 107191 -0.4394 0.276 0.6649 0.3712 0.6093 -1 0.9693 1.969 1 3.724 0.001818 0.001892 0.03694 -0.01979 1 0.000024 0.0003106 0.009103 0.002345 0.04842 1.311 0.238 0.009993 0.0008366 1 1 0.007813 0.09687 0.2913 0.02104 0.2609 0.7847 json
t17_x24_u4_b90 17 24 4 90 min(R,mlt(R,cil(P))) 118399 139020735 o2(x,o2(x,o1(x))) true 107199 107199 -0.543 0.1639 0.6781 0.2734 0.5229 -1 0.9791 1.979 1 3.824 0.004444 0.005072 0.05649 -0.06603 1 0.0001883 0.002731 0.02283 0.006327 0.07954 1.408 0.6242 0.03481 0.00999 1 1 0.01536 0.1672 0.42 0.05619 0.6117 1.536 json