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
t12_x23_u3_b68 12 23 3 68 flr(lrg(R,mlt(D,R))) 39100 98377106 o1(o2(x,o2(x,x))) true 142647 142647 0.4824 0.9145 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
t12_x23_u3_b69 12 23 3 69 flr(lrg(R,div(D,R))) 39101 98377107 o1(o2(x,o2(x,x))) true 142655 142655 0.5076 0.9306 0.5076 0.1537 0.392 0 1 1 1 3.432 0.02995 0.002237 0.08767 0.861 1 -0.0002227 0.05769 0.09089 0.02451 0.1566 1.786 0.9997 0.2094 0.3754 1 1 0.03571 0.1851 0.2907 0.2324 1.204 1.892 json
t12_x23_u3_b70 12 23 3 70 flr(lrg(R,pow(D,R))) 39102 98377108 o1(o2(x,o2(x,x))) true 142663 142663 0.6315 1 0.6315 0.1302 0.3608 0.000291 1 0.9997 1 3.398 0.0455 0.0008739 0.1042 0.9623 1 0.0002899 0.08483 0.1082 0.03552 0.1885 1.809 0.9994 0.3562 0.6515 1 1 0.05054 0.1973 0.1234 0.3882 1.515 0.9475 json
t12_x23_u3_b71 12 23 3 71 flr(lrg(R,mod(D,R))) 39103 98377109 o1(o2(x,o2(x,x))) true 142671 142671 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
t12_x23_u3_b72 12 23 3 72 flr(lrg(R,lrg(D,R))) 39104 98377110 o1(o2(x,o2(x,x))) true 142679 142679 0.4232 0.8335 0.4232 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
t12_x23_u3_b73 12 23 3 73 flr(lrg(R,eql(D,R))) 39105 98377111 o1(o2(x,o2(x,x))) true 142687 142687 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
t12_x23_u3_b74 12 23 3 74 flr(lrg(R,min(D,R))) 39106 98377112 o1(o2(x,o2(x,x))) true 142695 142695 0.4991 0.9305 0.4991 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 0.00001402 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t12_x23_u3_b75 12 23 3 75 flr(lrg(R,dot(D,R))) 39107 98377113 o1(o2(x,o2(x,x))) true 142703 142703 0.4865 0.905 0.4865 0.1558 0.3947 0 1 1 1 3.396 0.004702 0.01157 0.06797 -0.4221 1 0.00006323 0.03608 0.05622 0.01165 0.108 1.588 1.404 0.1044 0.2316 1 1 0.01916 0.1366 0.2882 0.1229 0.877 1.849 json
t12_x23_u3_b76 12 23 3 76 flr(lrg(R,dst(D,R))) 39108 98377114 o1(o2(x,o2(x,x))) true 142711 142711 0.03494 0.153 0.03494 0.01758 0.1326 0 0.9926 0.9926 1 0.7688 0.004824 0.003409 0.01889 0.1719 1 -0.0001942 0.02592 0.02597 0.007878 0.08876 4.699 1.404 0.4683 1.475 1 1 0.006816 0.02462 0.02849 0.3878 1.4 1.621 json
t12_x23_u3_b77 12 23 3 77 flr(eql(R,add(D,R))) 39109 98377115 o1(o2(x,o2(x,x))) true 142719 142719 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
t12_x23_u3_b78 12 23 3 78 flr(eql(R,sub(D,R))) 39110 98377116 o1(o2(x,o2(x,x))) true 142727 142727 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
t12_x23_u3_b79 12 23 3 79 flr(eql(R,mlt(D,R))) 39111 98377117 o1(o2(x,o2(x,x))) true 142735 142735 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t12_x23_u3_b80 12 23 3 80 flr(eql(R,div(D,R))) 39112 98377118 o1(o2(x,o2(x,x))) true 142743 142743 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
t12_x23_u3_b81 12 23 3 81 flr(eql(R,pow(D,R))) 39113 98377119 o1(o2(x,o2(x,x))) true 142751 142751 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004024 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.364e-11 0.0000058 39.18 0.000291 2.08 6.255 1 1 1.278e-11 1.697e-11 1.855e-11 0.7888 1.048 1.145 json
t12_x23_u3_b82 12 23 3 82 flr(eql(R,mod(D,R))) 39114 98377120 o1(o2(x,o2(x,x))) true 142759 142759 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
t12_x23_u3_b83 12 23 3 83 flr(eql(R,lrg(D,R))) 39115 98377121 o1(o2(x,o2(x,x))) true 142767 142767 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
t12_x23_u3_b84 12 23 3 84 flr(eql(R,eql(D,R))) 39116 98377122 o1(o2(x,o2(x,x))) true 142775 142775 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
t12_x23_u3_b85 12 23 3 85 flr(eql(R,min(D,R))) 39117 98377123 o1(o2(x,o2(x,x))) true 142783 142783 0.5009 0.9274 0.5009 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 -0.00001403 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t12_x23_u3_b86 12 23 3 86 flr(eql(R,dot(D,R))) 39118 98377124 o1(o2(x,o2(x,x))) true 142791 142791 0.00009826 0.000351 0.00009826 0.0000607 0.007791 0 0.8991 0.8991 1 0.003532 0.0001253 0.0001253 0.0003462 0 1 0 0.001253 0.0008112 0.0002505 0.01583 45.71 1.271 4.129 20.65 1 1 0.0001569 0.0001561 0.0001449 2.584 2.571 2.387 json
t12_x23_u3_b87 12 23 3 87 flr(eql(R,dst(D,R))) 39119 98377125 o1(o2(x,o2(x,x))) true 142799 142799 0.00003112 0.0001068 0.00003112 0.00001826 0.004274 0 0.9414 0.9414 1 0.001536 0.0000377 0.0000377 0.0001096 0 0 7.997e-10 0.000377 0.0002569 0.00007538 0.008682 79.18 1.331 4.128 20.64 1 1 0.00005579 0.00005579 0.0000558 3.055 3.055 3.055 json
t12_x23_u3_b88 12 23 3 88 flr(min(R,add(D,R))) 39120 98377126 o1(o2(x,o2(x,x))) true 142807 142807 -0.6024 0 0.6024 0.1519 0.3897 -1 0 1 1 3.335 0.01145 0.002463 0.0661 0.646 1 0.000371 0.01937 0.04803 0.009546 0.0977 1.478 0.9994 0.09163 0.1275 1 1 0.01682 0.1293 0.2772 0.1108 0.8517 1.826 json
t12_x23_u3_b89 12 23 3 89 flr(min(R,sub(D,R))) 39121 98377127 o1(o2(x,o2(x,x))) true 142815 142815 -0.9529 0 0.9529 0.02108 0.1452 -1 -0.000582 0.9994 1 1.044 0.007546 0.0003485 0.02569 0.9117 1 -0.00002573 0.01539 0.02971 0.007238 0.08507 3.312 0.9994 0.3746 0.7304 1 1 0.006754 0.02307 0.03611 0.3205 1.094 1.713 json
t12_x23_u3_b90 12 23 3 90 flr(min(R,mlt(D,R))) 39122 98377128 o1(o2(x,o2(x,x))) true 142823 142823 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t12_x23_u3_b91 12 23 3 91 flr(min(R,div(D,R))) 39123 98377129 o1(o2(x,o2(x,x))) true 142831 142831 -0.8037 0 0.8037 0.1003 0.3167 -1 -0.000291 0.9997 1 2.362 0.02929 0.001527 0.07031 0.9009 1 0.0002313 0.05674 0.08071 0.02586 0.1608 2.287 0.9997 0.3073 0.5658 1 1 0.0324 0.1331 0.1419 0.323 1.327 1.415 json
t12_x23_u3_b92 12 23 3 92 flr(min(R,pow(D,R))) 39124 98377130 o1(o2(x,o2(x,x))) true 142839 142839 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t12_x23_u3_b93 12 23 3 93 flr(min(R,mod(D,R))) 39125 98377131 o1(o2(x,o2(x,x))) true 142847 142847 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t12_x23_u3_b94 12 23 3 94 flr(min(R,lrg(D,R))) 39126 98377132 o1(o2(x,o2(x,x))) true 142855 142855 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t12_x23_u3_b95 12 23 3 95 flr(min(R,eql(D,R))) 39127 98377133 o1(o2(x,o2(x,x))) true 142863 142863 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t12_x23_u3_b96 12 23 3 96 flr(min(R,min(D,R))) 39128 98377134 o1(o2(x,o2(x,x))) true 142871 142871 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t12_x23_u3_b97 12 23 3 97 flr(min(R,dot(D,R))) 39129 98377135 o1(o2(x,o2(x,x))) true 142879 142879 -0.7545 0 0.7545 0.108 0.3286 -1 0 1 1 2.826 0.01766 0.01753 0.07571 0.003893 1 -0.0001577 0.1101 0.09277 0.02946 0.1716 2.267 1.413 0.3258 1.019 1 1 0.03715 0.1586 0.1948 0.344 1.468 1.804 json
t12_x23_u3_b98 12 23 3 98 flr(min(R,dst(D,R))) 39130 98377136 o1(o2(x,o2(x,x))) true 142887 142887 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t12_x23_u3_b99 12 23 3 99 flr(dot(R,add(D,R))) 39131 98377137 o1(o2(x,o2(x,x))) true 142895 142895 0.5132 0.9014 0.5203 0.1614 0.4017 -0.9645 1 1.965 1 3.616 0.01575 0.01559 0.09139 0.004986 1 -0.00003803 0.08981 0.1057 0.02299 0.1516 1.659 1.413 0.1943 0.5566 1 1 0.03571 0.1798 0.3039 0.2213 1.114 1.883 json
t12_x23_u3_b100 12 23 3 100 flr(dot(R,sub(D,R))) 39132 98377138 o1(o2(x,o2(x,x))) true 142903 142903 -0.9955 0 0.9955 0.001751 0.04185 -1 -0.000317 0.9997 1 0.1692 0.0005581 0.0005597 0.003708 -0.001409 1 -0.000004889 0.003732 0.005729 0.001105 0.03324 8.964 1.399 0.6383 2.131 1 1 0.0006769 0.00187 0.002489 0.3866 1.068 1.421 json
t12_x23_u3_b101 12 23 3 101 flr(dot(R,mlt(D,R))) 39133 98377139 o1(o2(x,o2(x,x))) true 142911 142911 -0.4977 0 0.4977 0.1168 0.3418 -1 -1.694e-7 1 1 3.808 0.03259 0.03148 0.1321 0.01726 1 -0.0001631 0.1813 0.1691 0.04662 0.2159 1.635 1.409 0.5486 1.553 1 1 0.06881 0.2317 0.1272 0.5891 1.984 1.089 json
t12_x23_u3_b102 12 23 3 102 flr(dot(R,div(D,R))) 39134 98377140 o1(o2(x,o2(x,x))) true 142919 142919 -0.4946 0 0.4946 0.1004 0.3169 -1 0 1 1 3.991 0.04949 0.04952 0.1727 -0.0002373 1 -0.00009109 0.3403 0.2366 0.06917 0.263 1.523 1.409 0.9858 3.388 1 1 0.1048 0.2812 0.01958 1.043 2.8 0.195 json
t12_x23_u3_b103 12 23 3 103 flr(dot(R,pow(D,R))) 39135 98377141 o1(o2(x,o2(x,x))) true 142927 142927 -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
t12_x23_u3_b104 12 23 3 104 flr(dot(R,mod(D,R))) 39136 98377142 o1(o2(x,o2(x,x))) true 142935 142935 -0.4929 0.002304 0.4929 0.1532 0.3915 -1 0.09959 1.1 1 3.652 0.04546 0.04283 0.1519 0.02972 1 -0.0002985 0.3009 0.2496 0.0652 0.2553 1.68 1.414 0.5761 1.964 1 1 0.08254 0.2735 0.3039 0.5386 1.785 1.983 json
t12_x23_u3_b105 12 23 3 105 flr(dot(R,lrg(D,R))) 39137 98377143 o1(o2(x,o2(x,x))) true 142943 142943 -0.879 0 0.879 0.06541 0.2558 -1 0 1 1 1.76 0.00377 0.004455 0.03509 -0.08325 1 -0.0000115 0.01291 0.02918 0.00699 0.08361 2.382 1.18 0.1257 0.1973 1 1 0.01172 0.07298 0.1323 0.1792 1.116 2.022 json
t12_x23_u3_b106 12 23 3 106 flr(dot(R,eql(D,R))) 39138 98377144 o1(o2(x,o2(x,x))) true 142951 142951 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 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
t12_x23_u3_b107 12 23 3 107 flr(dot(R,min(D,R))) 39139 98377145 o1(o2(x,o2(x,x))) true 142959 142959 0.04344 0.4186 0.2587 0.1694 0.4116 -0.9997 1 2 1 3.955 0.01427 0.01578 0.08279 -0.05012 1 0.0001113 0.0737 0.0852 0.02319 0.1523 1.839 1.418 0.1774 0.4351 1 1 0.0343 0.1722 0.3141 0.2025 1.016 1.855 json
t12_x23_u3_b108 12 23 3 108 flr(dot(R,dot(D,R))) 39140 98377146 o1(o2(x,o2(x,x))) true 142967 142967 -0.5033 0.03004 0.51 0.1478 0.3844 -1 0.7671 1.767 1 3.84 0.03636 0.0359 0.1352 0.006364 1 0.000264 0.2305 0.1965 0.05397 0.2323 1.718 1.414 0.489 1.56 1 1 0.07698 0.285 0.2867 0.521 1.929 1.941 json
t12_x23_u3_b109 12 23 3 109 flr(dot(R,dst(D,R))) 39141 98377147 o1(o2(x,o2(x,x))) true 142975 142975 -0.3516 0.2437 0.6187 0.4044 0.6359 -1 1 2 1 4.074 0.01159 0.0123 0.09478 -0.02959 1 0.0002096 0.03425 0.06363 0.0149 0.1221 1.288 1.398 0.05907 0.08471 1 1 0.04188 0.3657 0.7736 0.1036 0.9045 1.913 json
t12_x23_u3_b110 12 23 3 110 flr(dst(R,add(D,R))) 39142 98377148 o1(o2(x,o2(x,x))) true 142983 142983 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t12_x23_u3_b111 12 23 3 111 flr(dst(R,sub(D,R))) 39143 98377149 o1(o2(x,o2(x,x))) true 142991 142991 0.9562 1 0.9562 0.028 0.1673 0.000291 1 0.9997 1 0.7508 0.003775 0.004127 0.01901 -0.04464 1 -0.00008377 0.02157 0.02502 0.007543 0.08685 4.569 1.403 0.2822 0.7703 1 1 0.008099 0.03415 0.04608 0.2892 1.219 1.645 json
t12_x23_u3_b112 12 23 3 112 flr(dst(R,mlt(D,R))) 39144 98377150 o1(o2(x,o2(x,x))) true 142999 142999 0.4944 0.9343 0.4944 0.1471 0.3835 0 1 1 1 3.523 0.01507 0.01516 0.0862 -0.002904 1 0.0001128 0.07834 0.09163 0.02279 0.151 1.752 1.413 0.2055 0.5327 1 1 0.03504 0.1745 0.2761 0.2383 1.187 1.877 json
t12_x23_u3_b113 12 23 3 113 flr(dst(R,div(D,R))) 39145 98377151 o1(o2(x,o2(x,x))) true 143007 143007 0.9045 0.9999 0.9045 0.05949 0.2439 3.388e-7 1 1 1 1.309 0.02201 0.02117 0.06811 0.0194 1 -0.000716 0.1267 0.1179 0.03853 0.1963 2.882 1.414 0.7257 2.13 1 1 0.04584 0.1182 0.08948 0.7705 1.986 1.504 json
t12_x23_u3_b114 12 23 3 114 flr(dst(R,pow(D,R))) 39146 98377152 o1(o2(x,o2(x,x))) true 143015 143015 -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
t12_x23_u3_b115 12 23 3 115 flr(dst(R,mod(D,R))) 39147 98377153 o1(o2(x,o2(x,x))) true 143023 143023 0.4982 0.8858 0.4982 0.162 0.4025 0 1 1 1 3.317 0.02488 0.02372 0.1061 0.02394 1 0.0002363 0.1453 0.1504 0.03735 0.1933 1.822 1.414 0.3 0.897 1 1 0.05061 0.1928 0.325 0.3124 1.19 2.006 json
t12_x23_u3_b116 12 23 3 116 flr(dst(R,lrg(D,R))) 39148 98377154 o1(o2(x,o2(x,x))) true 143031 143031 0.969 1 0.969 0.0177 0.133 0.000291 1 0.9997 1 0.6419 0.002242 0.001792 0.01288 0.1116 1 -6.089e-7 0.007192 0.0133 0.003868 0.06219 4.829 1.189 0.2278 0.4063 1 1 0.005173 0.02114 0.03166 0.2923 1.194 1.788 json
t12_x23_u3_b117 12 23 3 117 flr(dst(R,eql(D,R))) 39149 98377155 o1(o2(x,o2(x,x))) true 143039 143039 0.5235 0.9064 0.5235 0.1603 0.4003 0 1 1 1 3.324 0.001871 0.002199 0.04753 -0.08051 1 -0.000005589 0.0002854 0.01172 0.001811 0.04256 0.8954 0.3216 0.02539 0.001781 1 1 0.007899 0.1024 0.3171 0.04928 0.6391 1.978 json
t12_x23_u3_b118 12 23 3 118 flr(dst(R,min(D,R))) 39150 98377156 o1(o2(x,o2(x,x))) true 143047 143047 0.2398 0.7595 0.2398 0.1007 0.3173 0 1 1 1 2.882 0.01301 0.01352 0.07284 -0.01949 1 -0.000189 0.0637 0.08061 0.02122 0.1457 2 1.413 0.2636 0.6328 1 1 0.03151 0.1441 0.2037 0.3131 1.431 2.024 json
t12_x23_u3_b119 12 23 3 119 flr(dst(R,dot(D,R))) 39151 98377157 o1(o2(x,o2(x,x))) true 143055 143055 0.5489 0.971 0.5489 0.1503 0.3877 0 1 1 1 3.435 0.01743 0.01841 0.09315 -0.02736 1 -0.0001697 0.1068 0.1138 0.02717 0.1648 1.77 1.414 0.2385 0.7109 1 1 0.04081 0.1888 0.2667 0.2715 1.256 1.774 json
t12_x23_u3_b120 12 23 3 120 flr(dst(R,dst(D,R))) 39152 98377158 o1(o2(x,o2(x,x))) true 143063 143063 0.9258 1 0.9258 0.0465 0.2156 0.0002912 1 0.9997 1 1.098 0.00789 0.008534 0.03441 -0.03922 1 -0.0000221 0.04753 0.0493 0.01523 0.1234 3.587 1.413 0.3532 1.022 1 1 0.02032 0.07763 0.08842 0.4369 1.67 1.902 json
t12_x23_u4_b0 12 23 4 0 cil(add(R,add(D,R))) 39153 98377239 o1(o2(x,o2(x,x))) true 143071 143071 0.3309 0.69 0.6756 0.4803 0.693 -1 1 2 1 3.919 0.02826 0.008913 0.1136 0.5204 1 -0.00003208 0.04706 0.09524 0.02427 0.1558 1.371 1.117 0.07739 0.09798 1 1 0.05177 0.3874 0.8227 0.1078 0.8066 1.713 json
t12_x23_u4_b1 12 23 4 1 cil(add(R,sub(D,R))) 39154 98377240 o1(o2(x,o2(x,x))) true 143079 143079 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
t12_x23_u4_b2 12 23 4 2 cil(add(R,mlt(D,R))) 39155 98377241 o1(o2(x,o2(x,x))) true 143087 143087 0.4584 0.8548 0.5218 0.2159 0.4647 -0.9994 1 1.999 1 3.874 0.009903 0.003549 0.07151 0.4723 1 -0.00005974 0.01559 0.03984 0.008339 0.09132 1.277 1 0.0623 0.07219 1 1 0.01805 0.1609 0.393 0.0836 0.7451 1.82 json
t12_x23_u4_b3 12 23 4 3 cil(add(R,div(D,R))) 39156 98377242 o1(o2(x,o2(x,x))) true 143095 143095 0.3291 0.6937 0.6768 0.4898 0.6998 -1 1 2 1 3.835 0.07438 0.01219 0.1595 0.7183 1 0.0002621 0.1462 0.1983 0.06112 0.2472 1.55 2.029 0.1768 0.2985 1 1 0.09699 0.5478 0.8913 0.198 1.118 1.82 json
t12_x23_u4_b4 12 23 4 4 cil(add(R,pow(D,R))) 39157 98377243 o1(o2(x,o2(x,x))) true 143103 143103 -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
t12_x23_u4_b5 12 23 4 5 cil(add(R,mod(D,R))) 39158 98377244 o1(o2(x,o2(x,x))) true 143111 143111 0.4497 0.8426 0.5269 0.2296 0.4792 -0.9994 1 1.999 1 3.865 0.01385 0.003773 0.0781 0.5718 1 0.0004338 0.02235 0.05146 0.01152 0.1073 1.375 0.9995 0.07675 0.09732 1 1 0.02393 0.1784 0.4127 0.1042 0.7769 1.797 json
t12_x23_u4_b6 12 23 4 6 cil(add(R,lrg(D,R))) 39159 98377245 o1(o2(x,o2(x,x))) true 143119 143119 0.936 1 0.936 0.02804 0.1675 0.000582 1 0.9994 1 1.326 0.01006 0.0004665 0.03282 0.9114 1 0.000009826 0.02035 0.03805 0.009451 0.09721 2.962 0.9994 0.3754 0.7258 1 1 0.01098 0.03891 0.05244 0.3916 1.387 1.87 json
t12_x23_u4_b7 12 23 4 7 cil(add(R,eql(D,R))) 39160 98377246 o1(o2(x,o2(x,x))) true 143127 143127 0.4825 0.9147 0.4825 0.1537 0.392 0 1 1 1 3.429 0.001987 0.002441 0.05172 -0.1027 1 -0.0000177 0.0003032 0.01268 0.001753 0.04187 0.8095 0.3193 0.02881 0.001973 1 1 0.008731 0.1124 0.2862 0.05681 0.7316 1.862 json
t12_x23_u4_b8 12 23 4 8 cil(add(R,min(D,R))) 39161 98377247 o1(o2(x,o2(x,x))) true 143135 143135 0.2238 0.6367 0.5739 0.4145 0.6438 -1 1 2 1 4.466 0.01539 0.006745 0.1004 0.3906 1 0.0002198 0.02104 0.05761 0.01205 0.1098 1.093 1.015 0.05341 0.05075 1 1 0.03227 0.3153 0.7221 0.07785 0.7607 1.742 json
t12_x23_u4_b9 12 23 4 9 cil(add(R,dot(D,R))) 39162 98377248 o1(o2(x,o2(x,x))) true 143143 143143 0.4608 0.8312 0.5371 0.2308 0.4804 -1 1 2 1 3.878 0.01256 0.01713 0.09323 -0.1539 1 -0.00009733 0.07696 0.09732 0.02099 0.1449 1.554 1.414 0.1286 0.3335 1 1 0.03289 0.2026 0.4042 0.1425 0.8778 1.751 json
t12_x23_u4_b10 12 23 4 10 cil(add(R,dst(D,R))) 39163 98377249 o1(o2(x,o2(x,x))) true 143151 143151 0.9816 1 0.9816 0.009929 0.09964 0.0005821 1 0.9994 1 0.4338 0.00359 0.002351 0.01309 0.2085 1 0.000005931 0.01852 0.02006 0.00577 0.07596 5.804 1.394 0.5983 1.865 1 1 0.006411 0.01818 0.02115 0.6456 1.831 2.13 json
t12_x23_u4_b11 12 23 4 11 cil(sub(R,add(D,R))) 39164 98377250 o1(o2(x,o2(x,x))) true 143159 143159 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
t12_x23_u4_b12 12 23 4 12 cil(sub(R,sub(D,R))) 39165 98377251 o1(o2(x,o2(x,x))) true 143167 143167 0.3313 0.6903 0.6723 0.4782 0.6915 -1 1 2 1 3.91 0.02738 0.008901 0.112 0.5093 1 0.0002389 0.04602 0.09359 0.02374 0.1541 1.376 1.058 0.07587 0.09625 1 1 0.05132 0.3846 0.8172 0.1073 0.8044 1.709 json
t12_x23_u4_b13 12 23 4 13 cil(sub(R,mlt(D,R))) 39166 98377252 o1(o2(x,o2(x,x))) true 143175 143175 0.4562 0.8444 0.5233 0.2185 0.4675 -0.9994 1 1.999 1 3.902 0.01058 0.003603 0.07302 0.492 1 0.0001483 0.01643 0.04124 0.008856 0.09411 1.289 0.9995 0.06491 0.07516 1 1 0.01933 0.1627 0.3902 0.08846 0.7446 1.785 json
t12_x23_u4_b14 12 23 4 14 cil(sub(R,div(D,R))) 39167 98377253 o1(o2(x,o2(x,x))) true 143183 143183 0.3339 0.6993 0.6776 0.488 0.6985 -1 1 2 1 3.821 0.0733 0.01179 0.1594 0.723 1 -0.00007637 0.1434 0.1979 0.05969 0.2443 1.533 2.027 0.1744 0.294 1 1 0.09929 0.5699 0.9221 0.2035 1.168 1.89 json
t12_x23_u4_b15 12 23 4 15 cil(sub(R,pow(D,R))) 39168 98377254 o1(o2(x,o2(x,x))) true 143191 143191 -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
t12_x23_u4_b16 12 23 4 16 cil(sub(R,mod(D,R))) 39169 98377255 o1(o2(x,o2(x,x))) true 143199 143199 0.4537 0.8516 0.5256 0.225 0.4743 -0.9994 1 1.999 1 3.853 0.01321 0.003723 0.07786 0.5602 1 -0.00005176 0.02203 0.05084 0.01087 0.1043 1.339 0.9997 0.07525 0.09789 1 1 0.0219 0.1716 0.4069 0.09735 0.7629 1.809 json
t12_x23_u4_b17 12 23 4 17 cil(sub(R,lrg(D,R))) 39170 98377256 o1(o2(x,o2(x,x))) true 143207 143207 -0.01841 0.4848 0.6637 0.5455 0.7386 -1 1 2 1 4.444 0.0256 0.008296 0.1229 0.5105 1 -0.000003671 0.03881 0.08009 0.0188 0.1371 1.116 1.113 0.06214 0.07113 1 1 0.04772 0.4396 1.015 0.08747 0.8059 1.861 json
t12_x23_u4_b18 12 23 4 18 cil(sub(R,eql(D,R))) 39171 98377257 o1(o2(x,o2(x,x))) true 143215 143215 0.4824 0.9146 0.4824 0.1537 0.3921 -0.3279 1 1.328 1 3.43 0.001987 0.002443 0.05173 -0.1031 1 -0.00001793 0.0003033 0.01268 0.001754 0.04189 0.8097 0.3199 0.02882 0.001973 1 1 0.008731 0.1124 0.2863 0.05679 0.7314 1.862 json
t12_x23_u4_b19 12 23 4 19 cil(sub(R,min(D,R))) 39172 98377258 o1(o2(x,o2(x,x))) true 143223 143223 0.54 0.9312 0.54 0.1564 0.3954 0 1 1 1 3.368 0.02107 0.002458 0.08394 0.7911 1 -0.00007447 0.03974 0.08 0.01649 0.1284 1.53 0.9997 0.1505 0.2541 1 1 0.02653 0.1478 0.285 0.1696 0.9452 1.823 json
t12_x23_u4_b20 12 23 4 20 cil(sub(R,dot(D,R))) 39173 98377259 o1(o2(x,o2(x,x))) true 143231 143231 0.4563 0.8268 0.5342 0.2292 0.4787 -1 1 2 1 3.941 0.01276 0.01719 0.09489 -0.1481 1 0.0001768 0.07794 0.09784 0.02095 0.1447 1.525 1.413 0.1307 0.3401 1 1 0.03407 0.2037 0.4066 0.1487 0.889 1.774 json
t12_x23_u4_b21 12 23 4 21 cil(sub(R,dst(D,R))) 39174 98377260 o1(o2(x,o2(x,x))) true 143239 143239 -0.4732 0.06915 0.5139 0.2015 0.4489 -1 0.9923 1.992 1 3.691 0.01414 0.01685 0.09173 -0.08737 1 -0.00001685 0.08262 0.1034 0.02258 0.1503 1.638 1.414 0.1538 0.41 1 1 0.03436 0.1912 0.3572 0.1705 0.9488 1.773 json
t12_x23_u4_b22 12 23 4 22 cil(mlt(R,add(D,R))) 39175 98377261 o1(o2(x,o2(x,x))) true 143247 143247 0.8809 0.9983 0.8809 0.05487 0.2342 0 1 1 1 1.95 0.01824 0.0008611 0.05434 0.9098 1 0.000547 0.03669 0.06559 0.01614 0.1271 2.338 0.9997 0.3481 0.6687 1 1 0.01844 0.06977 0.09713 0.3362 1.272 1.77 json
t12_x23_u4_b23 12 23 4 23 cil(mlt(R,sub(D,R))) 39176 98377262 o1(o2(x,o2(x,x))) true 143255 143255 0.06523 0.5449 0.1746 0.0959 0.3097 -0.9998 1 2 1 3.414 0.02887 0.001346 0.08227 0.9109 1 0.0002024 0.058 0.09612 0.02345 0.1531 1.861 0.9997 0.3151 0.6048 1 1 0.02895 0.1125 0.1807 0.3019 1.173 1.884 json
t12_x23_u4_b24 12 23 4 24 cil(mlt(R,mlt(D,R))) 39177 98377263 o1(o2(x,o2(x,x))) true 143263 143263 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
t12_x23_u4_b25 12 23 4 25 cil(mlt(R,div(D,R))) 39178 98377264 o1(o2(x,o2(x,x))) true 143271 143271 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
t12_x23_u4_b26 12 23 4 26 cil(mlt(R,pow(D,R))) 39179 98377265 o1(o2(x,o2(x,x))) true 143279 143279 -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
t12_x23_u4_b27 12 23 4 27 cil(mlt(R,mod(D,R))) 39180 98377266 o1(o2(x,o2(x,x))) true 143287 143287 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t12_x23_u4_b28 12 23 4 28 cil(mlt(R,lrg(D,R))) 39181 98377267 o1(o2(x,o2(x,x))) true 143295 143295 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t12_x23_u4_b29 12 23 4 29 cil(mlt(R,eql(D,R))) 39182 98377268 o1(o2(x,o2(x,x))) true 143303 143303 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
t12_x23_u4_b30 12 23 4 30 cil(mlt(R,min(D,R))) 39183 98377269 o1(o2(x,o2(x,x))) true 143311 143311 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
t12_x23_u4_b31 12 23 4 31 cil(mlt(R,dot(D,R))) 39184 98377270 o1(o2(x,o2(x,x))) true 143319 143319 0.5027 0.9583 0.5028 0.1283 0.3582 -0.145 1 1.145 1 3.754 0.03569 0.0337 0.1342 0.02861 1 -0.00001318 0.2207 0.1822 0.05138 0.2267 1.689 1.413 0.5409 1.72 1 1 0.07392 0.2617 0.1983 0.5762 2.04 1.546 json
t12_x23_u4_b32 12 23 4 32 cil(mlt(R,dst(D,R))) 39185 98377271 o1(o2(x,o2(x,x))) true 143327 143327 0.4355 0.8189 0.5547 0.2699 0.5196 -1 1 2 1 3.975 0.009445 0.008592 0.07954 0.04729 1 -0.00006745 0.03505 0.05254 0.01171 0.1082 1.361 1.409 0.06682 0.1298 1 1 0.02337 0.1991 0.4738 0.08656 0.7376 1.755 json
t12_x23_u4_b33 12 23 4 33 cil(div(R,add(D,R))) 39186 98377272 o1(o2(x,o2(x,x))) true 143335 143335 0.7568 0.9018 0.9109 0.3043 0.5516 -1 1 2 1 1.903 0.3214 0.008849 0.2283 0.9464 1 0.001274 0.8439 0.3914 0.2781 0.5273 2.309 2.828 1.085 2.773 1 1 0.2538 0.4365 0.5846 0.8341 1.434 1.921 json
t12_x23_u4_b34 12 23 4 34 cil(div(R,sub(D,R))) 39187 98377273 o1(o2(x,o2(x,x))) true 143343 143343 -0.2612 0.3264 0.5907 0.4448 0.6669 -1 1 2 1 3.985 0.3509 0.009982 0.304 0.9447 1 0.0001615 0.8623 0.5129 0.2686 0.5182 1.705 2.828 0.8114 1.938 1 1 0.3081 0.6379 0.8653 0.6926 1.434 1.945 json
t12_x23_u4_b35 12 23 4 35 cil(div(R,mlt(D,R))) 39188 98377274 o1(o2(x,o2(x,x))) true 143351 143351 0.06746 0.5 0.9326 0.9038 0.9507 -1 1 2 1 1.531 0.354 0 0.246 1 1 0 0.619 0.3948 0.2935 0.5417 2.202 2 0.3917 0.6849 1 1 0.4017 1.777 0 0.4444 1.966 0 json
t12_x23_u4_b36 12 23 4 36 cil(div(R,div(D,R))) 39189 98377275 o1(o2(x,o2(x,x))) true 143359 143359 0.2562 0.6873 0.7432 0.601 0.7752 -1 1 2 1 3.625 0.2781 0.002437 0.2408 0.9826 1 -0.0003498 0.5397 0.3444 0.2225 0.4717 1.959 2.083 0.4668 0.8981 1 1 0.2993 1.018 0.1955 0.498 1.694 0.3252 json
t12_x23_u4_b37 12 23 4 37 cil(div(R,pow(D,R))) 39190 98377276 o1(o2(x,o2(x,x))) true 143367 143367 -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
t12_x23_u4_b38 12 23 4 38 cil(div(R,mod(D,R))) 39191 98377277 o1(o2(x,o2(x,x))) true 143375 143375 0.1073 0.5518 0.8992 0.8531 0.9237 -1 1 2 1 2.44 0.5432 0.04303 0.3986 0.8532 1 0.00005144 1.501 0.7029 0.4272 0.6536 1.64 2.828 0.6872 1.759 1 1 0.4781 1.455 1.607 0.5604 1.705 1.884 json
t12_x23_u4_b39 12 23 4 39 cil(div(R,lrg(D,R))) 39192 98377278 o1(o2(x,o2(x,x))) true 143383 143383 -0.7537 0.1257 0.9368 0.3671 0.6059 -1 1 2 1 0.8386 0.1611 0.03998 0.1166 0.6023 1 -0.000005537 0.4611 0.2336 0.1875 0.433 3.715 2.828 0.5476 1.256 1 1 0.1884 0.527 0.5828 0.5131 1.436 1.587 json
t12_x23_u4_b40 12 23 4 40 cil(div(R,eql(D,R))) 39193 98377279 o1(o2(x,o2(x,x))) true 143391 143391 -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
t12_x23_u4_b41 12 23 4 41 cil(div(R,min(D,R))) 39194 98377280 o1(o2(x,o2(x,x))) true 143399 143399 0.5431 0.7983 0.8692 0.525 0.7246 -1 1 2 1 2.633 0.1804 0.008702 0.166 0.908 1 -0.0003574 0.3675 0.2321 0.1615 0.4019 2.422 2.353 0.3602 0.7 1 1 0.1986 0.7855 0.6185 0.3782 1.496 1.178 json
t12_x23_u4_b42 12 23 4 42 cil(div(R,dot(D,R))) 39195 98377281 o1(o2(x,o2(x,x))) true 143407 143407 0.1277 0.5661 0.8731 0.8163 0.9035 -1 1 2 1 2.661 0.3913 0.3344 0.4374 0.0784 1 -0.0001958 2.532 0.8211 0.5344 0.731 1.671 2.828 0.889 3.102 1 1 0.7021 1.883 1.214 0.8601 2.307 1.488 json
t12_x23_u4_b43 12 23 4 43 cil(div(R,dst(D,R))) 39196 98377282 o1(o2(x,o2(x,x))) true 143415 143415 0.4634 0.8704 0.5055 0.1944 0.4409 -1 1 2 1 3.763 0.00791 0.007027 0.07076 0.0591 1 -0.000003055 0.0313 0.0483 0.00993 0.09965 1.408 1.411 0.07684 0.161 1 1 0.02019 0.1557 0.3578 0.1039 0.8009 1.841 json
t12_x23_u4_b44 12 23 4 44 cil(pow(R,add(D,R))) 39197 98377283 o1(o2(x,o2(x,x))) true 143423 143423 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x23_u4_b45 12 23 4 45 cil(pow(R,sub(D,R))) 39198 98377284 o1(o2(x,o2(x,x))) true 143431 143431 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x23_u4_b46 12 23 4 46 cil(pow(R,mlt(D,R))) 39199 98377285 o1(o2(x,o2(x,x))) true 143439 143439 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json