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_x16_u2_b109 17 16 2 109 dot(D,dst(R,frc(D))) 111400 138697144 o2(x,o2(x,o1(x))) true 51207 51207 -0.01819 0.5032 0.1678 0.04682 0.2164 -0.8601 0.569 1.429 1 3.799 0.003661 0.00374 0.07418 -0.01064 1 0.0001162 0.004418 0.04153 0.001898 0.04356 0.5873 0.4224 0.1581 0.09436 1 1 0.01245 0.08467 0.02823 0.266 1.808 0.603 json
t17_x16_u2_b110 17 16 2 110 dst(D,add(R,frc(D))) 111401 138697145 o2(x,o2(x,o1(x))) true 51215 51215 0.9613 1 0.9613 0.01047 0.1023 0.09952 1 0.9005 1 1.089 0.002041 0.001914 0.019 0.03202 1 -0.00004086 0.007424 0.02437 0.003596 0.05996 3.156 0.9005 0.3779 0.7093 1 1 0.003764 0.01448 0.01662 0.3597 1.383 1.588 json
t17_x16_u2_b111 17 16 2 111 dst(D,sub(R,frc(D))) 111402 138697146 o2(x,o2(x,o1(x))) true 51223 51223 0.9496 1 0.9496 0.01383 0.1176 0.06567 1 0.9343 1 1.309 0.00268 0.002815 0.03068 -0.02452 1 -0.00004928 0.01025 0.03591 0.004555 0.06749 2.2 0.8775 0.3973 0.7411 1 1 0.006534 0.01768 0.02688 0.4724 1.279 1.944 json
t17_x16_u2_b112 17 16 2 112 dst(D,mlt(R,frc(D))) 111403 138697147 o2(x,o2(x,o1(x))) true 51231 51231 0.6001 1 0.6001 0.05899 0.2429 0.003274 1 0.9967 1 3.835 0.01035 0.01037 0.09069 -0.0008705 1 -0.0001682 0.03843 0.0876 0.0125 0.1118 1.233 0.9904 0.3513 0.6516 1 1 0.02289 0.08904 0.07725 0.388 1.51 1.31 json
t17_x16_u2_b113 17 16 2 113 dst(D,div(R,frc(D))) 111404 138697148 o2(x,o2(x,o1(x))) true 51239 51239 -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_x16_u2_b114 17 16 2 114 dst(D,pow(R,frc(D))) 111405 138697149 o2(x,o2(x,o1(x))) true 51247 51247 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x16_u2_b115 17 16 2 115 dst(D,mod(R,frc(D))) 111406 138697150 o2(x,o2(x,o1(x))) true 51255 51255 0.7947 1 0.7947 0.03915 0.1979 0.04762 1 0.9524 1 3.116 0.007292 0.006885 0.07389 0.02872 1 0.00001197 0.03031 0.09705 0.008718 0.09337 1.264 0.9344 0.3621 0.7742 1 1 0.01296 0.04605 0.06693 0.3311 1.176 1.709 json
t17_x16_u2_b116 17 16 2 116 dst(D,lrg(R,frc(D))) 111407 138697151 o2(x,o2(x,o1(x))) true 51263 51263 0.8623 1 0.8623 0.05437 0.2332 0.04446 1 0.9555 1 2.237 0.008645 0.008939 0.05653 -0.01673 1 -0.00005827 0.03519 0.06334 0.01438 0.1199 2.122 1.308 0.3234 0.6472 1 1 0.01939 0.07086 0.09067 0.3567 1.303 1.668 json
t17_x16_u2_b117 17 16 2 117 dst(D,eql(R,frc(D))) 111408 138697152 o2(x,o2(x,o1(x))) true 51271 51271 0.444 1 0.444 0.02506 0.1583 0.04473 0.7862 0.7415 1 3.254 0.001981 0.002034 0.05929 -0.01316 1 -0.0006857 0.0008311 0.02 0.0005005 0.02237 0.3773 0.4577 0.1602 0.03316 1 1 0.007658 0.05076 0.0000911 0.3056 2.026 0.003635 json
t17_x16_u2_b118 17 16 2 118 dst(D,min(R,frc(D))) 111409 138697153 o2(x,o2(x,o1(x))) true 51279 51279 0.8143 1 0.8143 0.0525 0.2291 0.0001675 1 0.9998 1 2.881 0.003983 0.004272 0.04859 -0.03504 1 -0.0001599 0.0114 0.03598 0.005893 0.07677 1.58 0.9997 0.1573 0.2172 1 1 0.01255 0.07875 0.09433 0.239 1.5 1.797 json
t17_x16_u2_b119 17 16 2 119 dst(D,dot(R,frc(D))) 111410 138697154 o2(x,o2(x,o1(x))) true 51287 51287 0.7283 1 0.7283 0.06104 0.2471 0.02607 1 0.9739 1 3.38 0.0154 0.01465 0.09669 0.02496 1 -0.0002347 0.0621 0.1081 0.02071 0.1439 1.488 1.375 0.4924 1.017 1 1 0.03366 0.1038 0.07119 0.5514 1.7 1.166 json
t17_x16_u2_b120 17 16 2 120 dst(D,dst(R,frc(D))) 111411 138697155 o2(x,o2(x,o1(x))) true 51295 51295 0.9954 1 0.9954 0.001291 0.03593 0.09197 1 0.908 1 0.1957 0.0003981 0.0004147 0.004081 -0.02036 1 -0.00001121 0.001576 0.005762 0.0007957 0.02821 6.912 0.908 0.6295 1.22 1 1 0.0008252 0.001829 0.001942 0.6391 1.416 1.504 json
t17_x16_u3_b0 17 16 3 0 add(D,add(R,flr(D))) 111412 138697236 o2(x,o2(x,o1(x))) true 51303 51303 -0.4 0.2277 0.5866 0.2916 0.54 -1 1 2 1 4.385 0.05606 0.002406 0.1296 0.9177 1 0.00003 0.08624 0.1205 0.04166 0.2041 1.574 1.084 0.2005 0.2958 1 1 0.07435 0.3837 0.2708 0.255 1.316 0.9287 json
t17_x16_u3_b1 17 16 3 1 add(D,sub(R,flr(D))) 111413 138697237 o2(x,o2(x,o1(x))) true 51311 51311 0.4536 0.8172 0.5595 0.2165 0.4653 -0.9676 1 1.968 1 4.353 0.04149 0.002622 0.1111 0.8811 1 -0.000129 0.08351 0.107 0.03178 0.1783 1.605 0.9627 0.2037 0.3857 1 1 0.04711 0.2011 0.2916 0.2176 0.929 1.347 json
t17_x16_u3_b2 17 16 3 2 add(D,mlt(R,flr(D))) 111414 138697238 o2(x,o2(x,o1(x))) true 51319 51319 -0.001748 0.6599 0.2557 0.1185 0.3443 -1 0.9677 1.968 1 4.219 0.01944 0.001553 0.0804 0.852 1 -0.000004528 0.03369 0.0692 0.01453 0.1205 1.499 1.031 0.1771 0.2842 1 1 0.02511 0.143 0.1934 0.2118 1.207 1.632 json
t17_x16_u3_b3 17 16 3 3 add(D,div(R,flr(D))) 111415 138697239 o2(x,o2(x,o1(x))) true 51327 51327 -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_x16_u3_b4 17 16 3 4 add(D,pow(R,flr(D))) 111416 138697240 o2(x,o2(x,o1(x))) true 51335 51335 -0.5785 0.2109 0.9997 0.6644 0.8151 -1 1 2 1 0.7612 0.08151 0.06677 0.07378 0.09939 1 0.000001411 0.3133 0.1485 0.1429 0.378 5.123 2.828 0.2232 0.4716 1 1 0.1477 0.6114 1.42 0.2222 0.9202 2.137 json
t17_x16_u3_b5 17 16 3 5 add(D,mod(R,flr(D))) 111417 138697241 o2(x,o2(x,o1(x))) true 51343 51343 -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_x16_u3_b6 17 16 3 6 add(D,lrg(R,flr(D))) 111418 138697242 o2(x,o2(x,o1(x))) true 51351 51351 0.7279 1 0.7279 0.0779 0.2791 0.03125 1 0.9688 1 3.448 0.02581 0.001103 0.07489 0.918 1 0.00006057 0.05541 0.07095 0.02131 0.146 1.949 0.9378 0.3456 0.7114 1 1 0.0277 0.09688 0.1179 0.3555 1.244 1.514 json
t17_x16_u3_b7 17 16 3 7 add(D,eql(R,flr(D))) 111419 138697243 o2(x,o2(x,o1(x))) true 51359 51359 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_x16_u3_b8 17 16 3 8 add(D,min(R,flr(D))) 111420 138697244 o2(x,o2(x,o1(x))) true 51367 51367 -0.603 0.1223 0.6159 0.1544 0.3929 -1 0.09672 1.097 1 3.521 0.04723 0.0004431 0.1084 0.9814 1 -0.00007776 0.07736 0.1101 0.03593 0.1895 1.749 1.031 0.3089 0.5012 1 1 0.05632 0.2587 0.05134 0.3649 1.676 0.3326 json
t17_x16_u3_b9 17 16 3 9 add(D,dot(R,flr(D))) 111421 138697245 o2(x,o2(x,o1(x))) true 51375 51375 -0.01009 0.5503 0.3482 0.1983 0.4453 -1 1 2 1 4.729 0.01899 0.0171 0.1131 0.0524 1 -0.00003342 0.0606 0.1121 0.0233 0.1527 1.35 1.386 0.182 0.3057 1 1 0.04216 0.2333 0.3545 0.2127 1.177 1.788 json
t17_x16_u3_b10 17 16 3 10 add(D,dst(R,flr(D))) 111422 138697246 o2(x,o2(x,o1(x))) true 51383 51383 0.9636 1 0.9636 0.00977 0.09884 0.1305 1 0.8695 1 1.039 0.001982 0.001879 0.01992 0.02677 1 -0.00002019 0.007414 0.02459 0.003464 0.05886 2.954 0.8695 0.3952 0.7589 1 1 0.003757 0.0143 0.01663 0.3846 1.464 1.702 json
t17_x16_u3_b11 17 16 3 11 sub(D,add(R,flr(D))) 111423 138697247 o2(x,o2(x,o1(x))) true 51391 51391 0.4361 0.8113 0.5495 0.2203 0.4693 -0.9494 1 1.949 1 4.376 0.04162 0.002648 0.1128 0.8804 1 -0.0001825 0.08302 0.1071 0.03153 0.1776 1.574 0.963 0.201 0.3769 1 1 0.04758 0.2109 0.3018 0.216 0.9572 1.37 json
t17_x16_u3_b12 17 16 3 12 sub(D,sub(R,flr(D))) 111424 138697248 o2(x,o2(x,o1(x))) true 51399 51399 -0.4173 0.2271 0.5944 0.2846 0.5335 -1 1 2 1 4.389 0.05593 0.002361 0.1283 0.919 1 -0.00002066 0.0868 0.1203 0.04184 0.2046 1.595 1.084 0.2048 0.305 1 1 0.07418 0.3739 0.2605 0.2606 1.314 0.9153 json
t17_x16_u3_b13 17 16 3 13 sub(D,mlt(R,flr(D))) 111425 138697249 o2(x,o2(x,o1(x))) true 51407 51407 0.001996 0.648 0.2578 0.1179 0.3434 -1 0.9497 1.95 1 4.267 0.01939 0.001552 0.08085 0.8517 1 0.000006548 0.03369 0.06925 0.01441 0.12 1.485 1.031 0.1776 0.2857 1 1 0.02537 0.1462 0.1932 0.2151 1.239 1.638 json
t17_x16_u3_b14 17 16 3 14 sub(D,div(R,flr(D))) 111426 138697250 o2(x,o2(x,o1(x))) true 51415 51415 -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_x16_u3_b15 17 16 3 15 sub(D,pow(R,flr(D))) 111427 138697251 o2(x,o2(x,o1(x))) true 51423 51423 -0.9957 0 0.9957 0.000368 0.01918 -1 -0.8573 0.1427 1 0.2422 0.0001022 0.00003906 0.002809 0.447 1 -0.000005301 0.0001912 0.003356 0.0001334 0.01155 4.113 0.141 0.3839 0.5197 1 1 0.0001844 0.0005221 0.0007205 0.501 1.419 1.958 json
t17_x16_u3_b16 17 16 3 16 sub(D,mod(R,flr(D))) 111428 138697252 o2(x,o2(x,o1(x))) true 51431 51431 -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_x16_u3_b17 17 16 3 17 sub(D,lrg(R,flr(D))) 111429 138697253 o2(x,o2(x,o1(x))) true 51439 51439 -0.7127 0.1104 0.7245 0.1395 0.3736 -1 0.09672 1.097 1 3.075 0.0345 0.001165 0.08629 0.9347 1 -0.0001125 0.05706 0.08144 0.02822 0.168 1.947 1.031 0.2556 0.4089 1 1 0.04497 0.2239 0.1394 0.3222 1.605 0.9992 json
t17_x16_u3_b18 17 16 3 18 sub(D,eql(R,flr(D))) 111430 138697254 o2(x,o2(x,o1(x))) true 51447 51447 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_x16_u3_b19 17 16 3 19 sub(D,min(R,flr(D))) 111431 138697255 o2(x,o2(x,o1(x))) true 51455 51455 0.6246 1 0.6246 0.06868 0.2621 0.03125 1 0.9688 1 3.853 0.03475 0.0004398 0.08986 0.975 1 -0.00001602 0.07509 0.09284 0.02711 0.1646 1.832 0.9378 0.5123 1.093 1 1 0.03258 0.08467 0.05047 0.4743 1.233 0.7349 json
t17_x16_u3_b20 17 16 3 20 sub(D,dot(R,flr(D))) 111432 138697256 o2(x,o2(x,o1(x))) true 51463 51463 0.01625 0.5558 0.3577 0.2036 0.4512 -1 1 2 1 4.775 0.01933 0.01729 0.1149 0.05562 1 -0.000006477 0.06085 0.1129 0.02342 0.153 1.332 1.359 0.1799 0.2989 1 1 0.04397 0.2475 0.364 0.216 1.216 1.788 json
t17_x16_u3_b21 17 16 3 21 sub(D,dst(R,flr(D))) 111433 138697257 o2(x,o2(x,o1(x))) true 51471 51471 -0.9502 0.00003052 0.9502 0.01496 0.1223 -1 0.004599 1.005 1 1.262 0.00276 0.002236 0.02439 0.105 1 -0.000003005 0.00847 0.02924 0.004401 0.06634 2.72 0.9432 0.334 0.5662 1 1 0.005186 0.02126 0.02128 0.3467 1.421 1.423 json
t17_x16_u3_b22 17 16 3 22 mlt(D,add(R,flr(D))) 111434 138697258 o2(x,o2(x,o1(x))) true 51479 51479 0.1445 0.8376 0.16 0.02438 0.1561 -0.2005 0.7507 0.9511 1 3.266 0.002249 0.0002198 0.0425 0.822 1 -0.0003436 0.0003677 0.01557 0.0006622 0.02573 0.6054 0.1351 0.1013 0.01508 1 1 0.004861 0.04092 0.02942 0.1994 1.679 1.207 json
t17_x16_u3_b23 17 16 3 23 mlt(D,sub(R,flr(D))) 111435 138697259 o2(x,o2(x,o1(x))) true 51487 51487 -0.1415 0.1604 0.1584 0.0243 0.1559 -0.6929 0.2643 0.9572 1 3.274 0.002233 0.0002198 0.04237 0.8208 1 0.0002689 0.0003688 0.01564 0.0006578 0.02565 0.6053 0.1293 0.1009 0.01518 1 1 0.004685 0.0399 0.02942 0.1928 1.642 1.211 json
t17_x16_u3_b24 17 16 3 24 mlt(D,mlt(R,flr(D))) 111436 138697260 o2(x,o2(x,o1(x))) true 51495 51495 0.0005296 0.4738 0.06412 0.00816 0.09033 -0.2726 0.2677 0.5403 1 2.565 0.0003976 0.00012 0.01881 0.5362 1 -0.00001677 0.0000838 0.006892 0.0001638 0.0128 0.6802 0.06178 0.06344 0.01027 1 1 0.0009905 0.00933 0.0149 0.1214 1.143 1.825 json
t17_x16_u3_b25 17 16 3 25 mlt(D,div(R,flr(D))) 111437 138697261 o2(x,o2(x,o1(x))) true 51503 51503 -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_x16_u3_b26 17 16 3 26 mlt(D,pow(R,flr(D))) 111438 138697262 o2(x,o2(x,o1(x))) true 51511 51511 -0.8349 0.06737 0.8446 0.1241 0.3523 -1 0.1433 1.143 1 1.398 0.02128 0.01287 0.04703 0.2462 1 0.000111 0.07168 0.07415 0.03193 0.1787 3.799 1.411 0.275 0.5774 1 1 0.0337 0.1243 0.2718 0.2715 1.001 2.19 json
t17_x16_u3_b27 17 16 3 27 mlt(D,mod(R,flr(D))) 111439 138697263 o2(x,o2(x,o1(x))) true 51519 51519 -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_x16_u3_b28 17 16 3 28 mlt(D,lrg(R,flr(D))) 111440 138697264 o2(x,o2(x,o1(x))) true 51527 51527 -0.07346 0.2662 0.1134 0.0134 0.1158 -0.2729 0.1454 0.4183 1 2.891 0.001451 0.00009101 0.03552 0.882 1 0.0001206 0.0002552 0.01406 0.0002812 0.01677 0.4721 0.0622 0.1151 0.01905 1 1 0.002968 0.02197 0.01093 0.2215 1.64 0.8159 json
t17_x16_u3_b29 17 16 3 29 mlt(D,eql(R,flr(D))) 111441 138697265 o2(x,o2(x,o1(x))) true 51535 51535 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_x16_u3_b30 17 16 3 30 mlt(D,min(R,flr(D))) 111442 138697266 o2(x,o2(x,o1(x))) true 51543 51543 0.1071 0.8305 0.1197 0.01025 0.1013 -0.1452 0.2729 0.4181 1 2.671 0.001343 0.0000341 0.03322 0.9505 1 -0.0002577 0.0002363 0.01346 0.0002736 0.01654 0.4979 0.06217 0.1343 0.02305 1 1 0.002636 0.01837 0.004006 0.2571 1.791 0.3907 json
t17_x16_u3_b31 17 16 3 31 mlt(D,dot(R,flr(D))) 111443 138697267 o2(x,o2(x,o1(x))) true 51551 51551 -0.0009801 0.477 0.08765 0.01568 0.1252 -0.7084 0.5853 1.294 1 2.98 0.0007797 0.00151 0.03158 -0.319 1 0.00002627 0.002843 0.02128 0.001293 0.03595 1.138 0.4697 0.146 0.1813 1 1 0.003055 0.02204 0.02883 0.1948 1.406 1.838 json
t17_x16_u3_b32 17 16 3 32 mlt(D,dst(R,flr(D))) 111444 138697268 o2(x,o2(x,o1(x))) true 51559 51559 -0.04881 0.4331 0.1468 0.02981 0.1727 -0.6335 0.5225 1.156 1 3.487 0.003561 0.0008517 0.05668 0.614 1 0.00009381 0.002083 0.02927 0.0012 0.03464 0.6111 0.3593 0.148 0.06989 1 1 0.008058 0.05629 0.01719 0.2703 1.888 0.5766 json
t17_x16_u3_b33 17 16 3 33 div(D,add(R,flr(D))) 111445 138697269 o2(x,o2(x,o1(x))) true 51567 51567 0.1964 0.696 0.4471 0.2905 0.5389 -1 1 2 1 4.469 0.02155 0.006912 0.1123 0.5143 1 -0.0004528 0.02167 0.06781 0.01586 0.1259 1.122 1.491 0.09799 0.07461 1 1 0.04371 0.3024 0.53 0.1505 1.041 1.825 json
t17_x16_u3_b34 17 16 3 34 div(D,sub(R,flr(D))) 111446 138697270 o2(x,o2(x,o1(x))) true 51575 51575 -0.2529 0.273 0.4504 0.2731 0.5226 -1 1 2 1 4.347 0.02255 0.007305 0.1086 0.5106 1 0.0005436 0.02758 0.07103 0.01806 0.1344 1.238 2.001 0.1093 0.101 1 1 0.04313 0.2745 0.4926 0.1579 1.005 1.804 json
t17_x16_u3_b35 17 16 3 35 div(D,mlt(R,flr(D))) 111447 138697271 o2(x,o2(x,o1(x))) true 51583 51583 -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_x16_u3_b36 17 16 3 36 div(D,div(R,flr(D))) 111448 138697272 o2(x,o2(x,o1(x))) true 51591 51591 -0.03692 0.4689 0.3438 0.2256 0.4749 -1 1 2 1 4.472 0.01436 0.005563 0.09025 0.4414 1 0.0002209 0.01562 0.05041 0.01177 0.1085 1.202 1.887 0.0883 0.06926 1 1 0.03089 0.2308 0.4362 0.1369 1.023 1.934 json
t17_x16_u3_b37 17 16 3 37 div(D,pow(R,flr(D))) 111449 138697273 o2(x,o2(x,o1(x))) true 51599 51599 -0.7758 0.1401 0.8095 0.1899 0.4358 -1 0.2722 1.272 1 1.29 0.02091 0.01903 0.04403 0.04706 1 -0.00003748 0.08311 0.07858 0.03801 0.195 4.428 1.429 0.2103 0.4376 1 1 0.0402 0.176 0.4022 0.2116 0.9264 2.117 json
t17_x16_u3_b38 17 16 3 38 div(D,mod(R,flr(D))) 111450 138697274 o2(x,o2(x,o1(x))) true 51607 51607 -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_x16_u3_b39 17 16 3 39 div(D,lrg(R,flr(D))) 111451 138697275 o2(x,o2(x,o1(x))) true 51615 51615 -0.7813 0.1094 0.8019 0.1733 0.4162 -1 0.1454 1.145 1 1.318 0.02092 0.01658 0.04367 0.1158 1 -0.00002887 0.07873 0.07689 0.0356 0.1887 4.32 1.415 0.2164 0.4544 1 1 0.03883 0.1603 0.3774 0.2241 0.9251 2.178 json
t17_x16_u3_b40 17 16 3 40 div(D,eql(R,flr(D))) 111452 138697276 o2(x,o2(x,o1(x))) true 51623 51623 -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_x16_u3_b41 17 16 3 41 div(D,min(R,flr(D))) 111453 138697277 o2(x,o2(x,o1(x))) true 51631 51631 -0.821 0.07161 0.8309 0.1293 0.3596 -1 0.1454 1.145 1 1.559 0.02393 0.01124 0.05162 0.3607 1 0.00008927 0.07247 0.07727 0.03252 0.1803 3.493 1.458 0.272 0.5604 1 1 0.03664 0.1341 0.2354 0.2833 1.037 1.82 json
t17_x16_u3_b42 17 16 3 42 div(D,dot(R,flr(D))) 111454 138697278 o2(x,o2(x,o1(x))) true 51639 51639 -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_x16_u3_b43 17 16 3 43 div(D,dst(R,flr(D))) 111455 138697279 o2(x,o2(x,o1(x))) true 51647 51647 0.03603 0.5674 0.1042 0.01956 0.1398 -0.697 1 1.697 1 3.066 0.00193 0.001265 0.04081 0.208 1 -0.00007524 0.002768 0.02326 0.00153 0.03911 0.9583 1.042 0.1634 0.1416 1 1 0.004513 0.03035 0.01695 0.2308 1.552 0.8667 json
t17_x16_u3_b44 17 16 3 44 pow(D,add(R,flr(D))) 111456 138697280 o2(x,o2(x,o1(x))) true 51655 51655 -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_x16_u3_b45 17 16 3 45 pow(D,sub(R,flr(D))) 111457 138697281 o2(x,o2(x,o1(x))) true 51663 51663 -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_x16_u3_b46 17 16 3 46 pow(D,mlt(R,flr(D))) 111458 138697282 o2(x,o2(x,o1(x))) true 51671 51671 -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_x16_u3_b47 17 16 3 47 pow(D,div(R,flr(D))) 111459 138697283 o2(x,o2(x,o1(x))) true 51679 51679 -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_x16_u3_b48 17 16 3 48 pow(D,pow(R,flr(D))) 111460 138697284 o2(x,o2(x,o1(x))) true 51687 51687 -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_x16_u3_b49 17 16 3 49 pow(D,mod(R,flr(D))) 111461 138697285 o2(x,o2(x,o1(x))) true 51695 51695 -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_x16_u3_b50 17 16 3 50 pow(D,lrg(R,flr(D))) 111462 138697286 o2(x,o2(x,o1(x))) true 51703 51703 -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_x16_u3_b51 17 16 3 51 pow(D,eql(R,flr(D))) 111463 138697287 o2(x,o2(x,o1(x))) true 51711 51711 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_x16_u3_b52 17 16 3 52 pow(D,min(R,flr(D))) 111464 138697288 o2(x,o2(x,o1(x))) true 51719 51719 -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_x16_u3_b53 17 16 3 53 pow(D,dot(R,flr(D))) 111465 138697289 o2(x,o2(x,o1(x))) true 51727 51727 -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_x16_u3_b54 17 16 3 54 pow(D,dst(R,flr(D))) 111466 138697290 o2(x,o2(x,o1(x))) true 51735 51735 -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_x16_u3_b55 17 16 3 55 mod(D,add(R,flr(D))) 111467 138697291 o2(x,o2(x,o1(x))) true 51743 51743 -0.01974 0.4462 0.1138 0.01732 0.1316 -0.2728 0.2725 0.5453 1 3.066 0.00404 0.00009335 0.04772 0.9548 1 0.00003548 0.005545 0.04073 0.001857 0.04309 0.903 0.4832 0.2387 0.3202 1 1 0.005788 0.03136 0.01294 0.3342 1.811 0.7474 json
t17_x16_u3_b56 17 16 3 56 mod(D,sub(R,flr(D))) 111468 138697292 o2(x,o2(x,o1(x))) true 51751 51751 -0.0221 0.4535 0.1159 0.01777 0.1333 -0.2728 0.2728 0.5456 1 3.061 0.004086 0.00008744 0.04791 0.9581 1 0.00001602 0.005547 0.04018 0.001879 0.04335 0.9048 0.4919 0.2349 0.3122 1 1 0.005893 0.03161 0.01132 0.3316 1.778 0.6372 json
t17_x16_u3_b57 17 16 3 57 mod(D,mlt(R,flr(D))) 111469 138697293 o2(x,o2(x,o1(x))) true 51759 51759 -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_x16_u3_b58 17 16 3 58 mod(D,div(R,flr(D))) 111470 138697294 o2(x,o2(x,o1(x))) true 51767 51767 -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_x16_u3_b59 17 16 3 59 mod(D,pow(R,flr(D))) 111471 138697295 o2(x,o2(x,o1(x))) true 51775 51775 -0.7891 0.1055 0.8089 0.1688 0.4109 -1 0.1454 1.145 1 1.284 0.0207 0.01691 0.04352 0.1007 1 -0.000001255 0.0789 0.07692 0.03574 0.189 4.344 1.415 0.2228 0.4674 1 1 0.03761 0.1572 0.3591 0.2228 0.9313 2.127 json
t17_x16_u3_b60 17 16 3 60 mod(D,mod(R,flr(D))) 111472 138697296 o2(x,o2(x,o1(x))) true 51783 51783 -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_x16_u3_b61 17 16 3 61 mod(D,lrg(R,flr(D))) 111473 138697297 o2(x,o2(x,o1(x))) true 51791 51791 -0.7813 0.1094 0.8019 0.1733 0.4162 -1 0.1454 1.145 1 1.318 0.02092 0.01658 0.04367 0.1158 1 -0.00002887 0.07873 0.07689 0.0356 0.1887 4.32 1.415 0.2164 0.4544 1 1 0.03883 0.1603 0.3774 0.2241 0.9251 2.178 json
t17_x16_u3_b62 17 16 3 62 mod(D,eql(R,flr(D))) 111474 138697298 o2(x,o2(x,o1(x))) true 51799 51799 -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_x16_u3_b63 17 16 3 63 mod(D,min(R,flr(D))) 111475 138697299 o2(x,o2(x,o1(x))) true 51807 51807 -0.7657 0.09659 0.7829 0.1721 0.4148 -1 0.1454 1.145 1 1.516 0.023 0.0148 0.0472 0.2169 1 0.000004365 0.07895 0.08243 0.03556 0.1886 3.995 1.415 0.2196 0.4588 1 1 0.0387 0.154 0.3161 0.2249 0.8953 1.837 json
t17_x16_u3_b64 17 16 3 64 mod(D,dot(R,flr(D))) 111476 138697300 o2(x,o2(x,o1(x))) true 51815 51815 -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_x16_u3_b65 17 16 3 65 mod(D,dst(R,flr(D))) 111477 138697301 o2(x,o2(x,o1(x))) true 51823 51823 -0.003539 0.4953 0.1006 0.01266 0.1125 -0.2721 0.2659 0.538 1 2.751 0.00224 0.0001214 0.03986 0.8972 1 0.000008652 0.001641 0.02056 0.0007737 0.02782 0.6978 0.4069 0.1866 0.1296 1 1 0.003873 0.02487 0.001315 0.306 1.965 0.1039 json
t17_x16_u3_b66 17 16 3 66 lrg(D,add(R,flr(D))) 111478 138697302 o2(x,o2(x,o1(x))) true 51831 51831 0.7355 0.9823 0.7355 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0.04217 0.1383 0.202 0.3417 1.12 1.637 json
t17_x16_u3_b67 17 16 3 67 lrg(D,sub(R,flr(D))) 111479 138697303 o2(x,o2(x,o1(x))) true 51839 51839 0.316 0.905 0.316 0.1174 0.3427 0 0.9997 0.9997 1 3.271 0.03888 0.001031 0.09674 0.9483 1 -0.00004789 0.07352 0.1006 0.03055 0.1748 1.807 0.9997 0.3398 0.626 1 1 0.04371 0.1708 0.1383 0.3722 1.454 1.177 json
t17_x16_u3_b68 17 16 3 68 lrg(D,mlt(R,flr(D))) 111480 138697304 o2(x,o2(x,o1(x))) true 51847 51847 0.6807 1 0.6807 0.118 0.3436 0.000291 1 0.9997 1 3.285 0.03877 0.001038 0.09603 0.9479 1 0.0002834 0.07302 0.09989 0.03059 0.1749 1.821 0.9997 0.3372 0.6186 1 1 0.04357 0.1726 0.1371 0.3691 1.462 1.161 json
t17_x16_u3_b69 17 16 3 69 lrg(D,div(R,flr(D))) 111481 138697305 o2(x,o2(x,o1(x))) true 51855 51855 0.4376 0.8745 0.4376 0.1477 0.3843 0 1 1 1 3.444 0.05476 0.002182 0.1107 0.9234 1 0.0002848 0.1088 0.1345 0.04469 0.2114 1.91 1 0.3857 0.7369 1 1 0.05922 0.2415 0.2808 0.4011 1.635 1.902 json
t17_x16_u3_b70 17 16 3 70 lrg(D,pow(R,flr(D))) 111482 138697306 o2(x,o2(x,o1(x))) true 51863 51863 0.2607 0.7598 0.2607 0.1136 0.3371 0 0.9997 0.9997 1 2.903 0.03008 0.00118 0.07393 0.9245 1 0.00001639 0.05613 0.07221 0.02581 0.1607 2.173 0.9997 0.2752 0.494 1 1 0.03658 0.1608 0.1417 0.322 1.415 1.247 json
t17_x16_u3_b71 17 16 3 71 lrg(D,mod(R,flr(D))) 111483 138697307 o2(x,o2(x,o1(x))) true 51871 51871 0.6847 1 0.6847 0.1143 0.3381 0.000291 1 0.9997 1 3.298 0.03837 0.001052 0.09758 0.9466 1 0.00003374 0.07253 0.1021 0.02989 0.1729 1.772 0.9997 0.3447 0.6344 1 1 0.04179 0.1614 0.1295 0.3655 1.411 1.133 json
t17_x16_u3_b72 17 16 3 72 lrg(D,lrg(R,flr(D))) 111484 138697308 o2(x,o2(x,o1(x))) true 51879 51879 0.2568 0.752 0.2568 0.1126 0.3355 0 0.9997 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t17_x16_u3_b73 17 16 3 73 lrg(D,eql(R,flr(D))) 111485 138697309 o2(x,o2(x,o1(x))) true 51887 51887 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_x16_u3_b74 17 16 3 74 lrg(D,min(R,flr(D))) 111486 138697310 o2(x,o2(x,o1(x))) true 51895 51895 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_x16_u3_b75 17 16 3 75 lrg(D,dot(R,flr(D))) 111487 138697311 o2(x,o2(x,o1(x))) true 51903 51903 0.5913 0.9982 0.5913 0.1346 0.3669 8.471e-8 1 1 1 3.521 0.0337 0.01476 0.1104 0.3909 1 0.0001315 0.09827 0.1263 0.03628 0.1905 1.726 1.414 0.36 0.7301 1 1 0.05003 0.1972 0.2013 0.3717 1.465 1.496 json
t17_x16_u3_b76 17 16 3 76 lrg(D,dst(R,flr(D))) 111488 138697312 o2(x,o2(x,o1(x))) true 51911 51911 0.0118 0.1533 0.0118 0.003522 0.05934 0 0.97 0.97 1 0.4161 0.001657 0.0005456 0.009336 0.5045 1 -0.00002565 0.005037 0.01233 0.002114 0.04598 4.925 0.9709 0.6254 1.43 1 1 0.001687 0.004699 0.005468 0.4789 1.334 1.553 json
t17_x16_u3_b77 17 16 3 77 eql(D,add(R,flr(D))) 111489 138697313 o2(x,o2(x,o1(x))) true 51919 51919 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_x16_u3_b78 17 16 3 78 eql(D,sub(R,flr(D))) 111490 138697314 o2(x,o2(x,o1(x))) true 51927 51927 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_x16_u3_b79 17 16 3 79 eql(D,mlt(R,flr(D))) 111491 138697315 o2(x,o2(x,o1(x))) true 51935 51935 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_x16_u3_b80 17 16 3 80 eql(D,div(R,flr(D))) 111492 138697316 o2(x,o2(x,o1(x))) true 51943 51943 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_x16_u3_b81 17 16 3 81 eql(D,pow(R,flr(D))) 111493 138697317 o2(x,o2(x,o1(x))) true 51951 51951 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_x16_u3_b82 17 16 3 82 eql(D,mod(R,flr(D))) 111494 138697318 o2(x,o2(x,o1(x))) true 51959 51959 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_x16_u3_b83 17 16 3 83 eql(D,lrg(R,flr(D))) 111495 138697319 o2(x,o2(x,o1(x))) true 51967 51967 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_x16_u3_b84 17 16 3 84 eql(D,eql(R,flr(D))) 111496 138697320 o2(x,o2(x,o1(x))) true 51975 51975 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_x16_u3_b85 17 16 3 85 eql(D,min(R,flr(D))) 111497 138697321 o2(x,o2(x,o1(x))) true 51983 51983 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_x16_u3_b86 17 16 3 86 eql(D,dot(R,flr(D))) 111498 138697322 o2(x,o2(x,o1(x))) true 51991 51991 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_x16_u3_b87 17 16 3 87 eql(D,dst(R,flr(D))) 111499 138697323 o2(x,o2(x,o1(x))) true 51999 51999 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