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_x19_u3_b56 12 19 3 56 flr(mod(R,sub(P,D))) 35700 98215490 o1(o2(x,o2(x,x))) true 115447 115447 -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_x19_u3_b57 12 19 3 57 flr(mod(R,mlt(P,D))) 35701 98215491 o1(o2(x,o2(x,x))) true 115455 115455 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0.01239 0.1095 0.2784 0.07763 0.6861 1.745 json
t12_x19_u3_b58 12 19 3 58 flr(mod(R,div(P,D))) 35702 98215492 o1(o2(x,o2(x,x))) true 115463 115463 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0.01239 0.1095 0.2784 0.07763 0.6861 1.745 json
t12_x19_u3_b59 12 19 3 59 flr(mod(R,pow(P,D))) 35703 98215493 o1(o2(x,o2(x,x))) true 115471 115471 -0.8047 0 0.8047 0.1124 0.3352 -1 0 1 1 2.088 0.003141 0.001118 0.02617 0.4748 1 -0.00001853 0.00466 0.0108 0.003576 0.0598 2.285 1 0.03791 0.04147 1 1 0.006395 0.05717 0.1376 0.05691 0.5088 1.224 json
t12_x19_u3_b60 12 19 3 60 flr(mod(R,mod(P,D))) 35704 98215494 o1(o2(x,o2(x,x))) true 115479 115479 -0.6407 0 0.6407 0.1539 0.3923 -1 0 1 1 3.132 0.05468 0.001813 0.1001 0.9358 1 -4.267e-9 0.1298 0.1316 0.04647 0.2156 2.154 1 0.367 0.8434 1 1 0.0444 0.1244 0.2366 0.2885 0.8079 1.537 json
t12_x19_u3_b61 12 19 3 61 flr(mod(R,lrg(P,D))) 35705 98215495 o1(o2(x,o2(x,x))) true 115487 115487 -0.8047 0 0.8047 0.1124 0.3352 -1 0 1 1 2.088 0.003141 0.001118 0.02617 0.4748 1 -0.00001853 0.00466 0.0108 0.003576 0.0598 2.285 1 0.03791 0.04147 1 1 0.006395 0.05717 0.1376 0.05691 0.5088 1.224 json
t12_x19_u3_b62 12 19 3 62 flr(mod(R,eql(P,D))) 35706 98215496 o1(o2(x,o2(x,x))) true 115495 115495 -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_x19_u3_b63 12 19 3 63 flr(mod(R,min(P,D))) 35707 98215497 o1(o2(x,o2(x,x))) true 115503 115503 -0.5508 0 0.5508 0.158 0.3975 -1 0 1 1 3.465 0.00565 0.002297 0.05226 0.4219 1 -0.000009252 0.008003 0.0202 0.005216 0.07222 1.382 1 0.0503 0.05065 1 1 0.01268 0.1172 0.2835 0.08024 0.7418 1.795 json
t12_x19_u3_b64 12 19 3 64 flr(mod(R,dot(P,D))) 35708 98215498 o1(o2(x,o2(x,x))) true 115511 115511 -0.5365 0 0.5365 0.1565 0.3956 -1 0 1 1 3.521 0.01688 0.01765 0.07855 -0.02222 1 -0.00001885 0.168 0.08648 0.02836 0.1684 2.144 1.414 0.2206 1.074 1 1 0.02785 0.1258 0.2984 0.178 0.804 1.907 json
t12_x19_u3_b65 12 19 3 65 flr(mod(R,dst(P,D))) 35709 98215499 o1(o2(x,o2(x,x))) true 115519 115519 -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_x19_u3_b66 12 19 3 66 flr(lrg(R,add(P,D))) 35710 98215500 o1(o2(x,o2(x,x))) true 115527 115527 0.5017 0.5461 0.5017 0.2404 0.4904 0 1 1 1 1.441 0.002564 0.000168 0.008601 0.877 1 -0.000009608 0.004735 0.008797 0.002659 0.05157 5.995 0.9997 0.01136 0.01969 1 1 0.003586 0.02271 0.09229 0.01492 0.09446 0.3838 json
t12_x19_u3_b67 12 19 3 67 flr(lrg(R,sub(P,D))) 35711 98215501 o1(o2(x,o2(x,x))) true 115535 115535 0.5017 0.5879 0.5017 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 -0.000009609 0.004619 0.009851 0.002597 0.05096 4.059 0.9926 0.01181 0.01981 1 1 0.003607 0.02284 0.08805 0.01547 0.09794 0.3776 json
t12_x19_u3_b68 12 19 3 68 flr(lrg(R,mlt(P,D))) 35712 98215502 o1(o2(x,o2(x,x))) true 115543 115543 0.5331 0.9794 0.5331 0.1337 0.3656 0 1 1 1 3.556 0.04113 0.001117 0.1095 0.9471 1 -0.0003395 0.07533 0.1077 0.03025 0.1739 1.589 0.9997 0.3161 0.5636 1 1 0.04479 0.1871 0.1803 0.3351 1.4 1.349 json
t12_x19_u3_b69 12 19 3 69 flr(lrg(R,div(P,D))) 35713 98215503 o1(o2(x,o2(x,x))) true 115551 115551 0.5273 1 0.5273 0.145 0.3808 0.000291 1 0.9997 1 3.396 0.0608 0.0001053 0.1163 0.9965 1 0.000174 0.1127 0.1252 0.04737 0.2176 1.871 0.9997 0.4201 0.7775 1 1 0.06495 0.2312 0.07077 0.448 1.595 0.4881 json
t12_x19_u3_b70 12 19 3 70 flr(lrg(R,pow(P,D))) 35714 98215504 o1(o2(x,o2(x,x))) true 115559 115559 0.5162 0.6857 0.5162 0.2243 0.4736 0 1 1 1 1.966 0.006211 0.0002448 0.02099 0.9242 1 -0.0002254 0.01103 0.01773 0.006012 0.07754 3.694 0.9994 0.02878 0.04916 1 1 0.0082 0.04106 0.1103 0.03656 0.1831 0.4919 json
t12_x19_u3_b71 12 19 3 71 flr(lrg(R,mod(P,D))) 35715 98215505 o1(o2(x,o2(x,x))) true 115567 115567 0.4885 0.8956 0.4885 0.159 0.3987 0 1 1 1 3.363 0.02385 0.002149 0.084 0.8347 1 -0.00001941 0.06234 0.09173 0.01895 0.1377 1.639 0.9998 0.1636 0.3922 1 1 0.0186 0.1196 0.2765 0.117 0.7524 1.739 json
t12_x19_u3_b72 12 19 3 72 flr(lrg(R,lrg(P,D))) 35716 98215506 o1(o2(x,o2(x,x))) true 115575 115575 0.2539 0.4836 0.2539 0.1414 0.376 0 1 1 1 2.303 0.002687 0.001179 0.02819 0.3903 1 0.000009279 0.003376 0.009879 0.003071 0.05542 1.966 0.9997 0.02734 0.02388 1 1 0.006679 0.06268 0.1658 0.04724 0.4433 1.173 json
t12_x19_u3_b73 12 19 3 73 flr(lrg(R,eql(P,D))) 35717 98215507 o1(o2(x,o2(x,x))) true 115583 115583 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_x19_u3_b74 12 19 3 74 flr(lrg(R,min(P,D))) 35718 98215508 o1(o2(x,o2(x,x))) true 115591 115591 0.7294 0.9666 0.7294 0.1415 0.3762 0 1 1 1 2.476 0.01027 0.001146 0.04293 0.7993 1 0.00002986 0.01884 0.03607 0.00957 0.09782 2.279 0.9997 0.08065 0.1331 1 1 0.01281 0.08284 0.175 0.09048 0.5853 1.236 json
t12_x19_u3_b75 12 19 3 75 flr(lrg(R,dot(P,D))) 35719 98215509 o1(o2(x,o2(x,x))) true 115599 115599 0.5509 0.9949 0.5509 0.108 0.3286 0 1 1 1 3.798 0.03104 0.03082 0.1355 0.003556 1 -0.001672 0.1944 0.1686 0.04352 0.2086 1.54 1.413 0.573 1.801 1 1 0.06228 0.2107 0.133 0.5769 1.952 1.232 json
t12_x19_u3_b76 12 19 3 76 flr(lrg(R,dst(P,D))) 35720 98215510 o1(o2(x,o2(x,x))) true 115607 115607 0.004075 0.01385 0.004075 0.002426 0.04925 0 0.9994 0.9994 1 0.1167 0.00006564 0.00007038 0.001154 -0.03485 1 -3.81e-12 0.0002352 0.0008291 0.0001346 0.0116 10.05 0.3832 0.05607 0.09694 1 1 0.0003564 0.003479 0.00879 0.1469 1.434 3.623 json
t12_x19_u3_b77 12 19 3 77 flr(eql(R,add(P,D))) 35721 98215511 o1(o2(x,o2(x,x))) true 115615 115615 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_x19_u3_b78 12 19 3 78 flr(eql(R,sub(P,D))) 35722 98215512 o1(o2(x,o2(x,x))) true 115623 115623 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_x19_u3_b79 12 19 3 79 flr(eql(R,mlt(P,D))) 35723 98215513 o1(o2(x,o2(x,x))) true 115631 115631 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
t12_x19_u3_b80 12 19 3 80 flr(eql(R,div(P,D))) 35724 98215514 o1(o2(x,o2(x,x))) true 115639 115639 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_x19_u3_b81 12 19 3 81 flr(eql(R,pow(P,D))) 35725 98215515 o1(o2(x,o2(x,x))) true 115647 115647 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_x19_u3_b82 12 19 3 82 flr(eql(R,mod(P,D))) 35726 98215516 o1(o2(x,o2(x,x))) true 115655 115655 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_x19_u3_b83 12 19 3 83 flr(eql(R,lrg(P,D))) 35727 98215517 o1(o2(x,o2(x,x))) true 115663 115663 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_x19_u3_b84 12 19 3 84 flr(eql(R,eql(P,D))) 35728 98215518 o1(o2(x,o2(x,x))) true 115671 115671 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_x19_u3_b85 12 19 3 85 flr(eql(R,min(P,D))) 35729 98215519 o1(o2(x,o2(x,x))) true 115679 115679 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
t12_x19_u3_b86 12 19 3 86 flr(eql(R,dot(P,D))) 35730 98215520 o1(o2(x,o2(x,x))) true 115687 115687 0.00002985 0.00004578 0.00002985 0.00002404 0.004903 0 0.9633 0.9633 1 0.0007985 0.000001508 0.00001612 0.00002693 -0.8289 0 0.00001172 0.00002894 0.00003929 0.00001763 0.004199 155.9 0.9633 0.7334 1.204 1 1 0 0 0.00001352 0 0 0.5623 json
t12_x19_u3_b87 12 19 3 87 flr(eql(R,dst(P,D))) 35731 98215521 o1(o2(x,o2(x,x))) true 115695 115695 0.000003656 0.00003052 0.000003656 4.38e-7 0.0006618 0 0.1198 0.1198 1 0.0005018 9.041e-7 9.041e-7 0.00001288 0 0 -2.346e-13 0.000009041 0.00003019 0.000001808 0.001345 104.4 0.1694 4.128 20.64 1 1 0.00000159 0.00000159 0.00000159 3.631 3.631 3.631 json
t12_x19_u3_b88 12 19 3 88 flr(min(R,add(P,D))) 35732 98215522 o1(o2(x,o2(x,x))) true 115703 115703 -0.7715 0 0.7715 0.125 0.3535 -1 0 1 1 2.33 0.002662 0.001264 0.02904 0.3562 1 -0.00002709 0.003365 0.01018 0.003083 0.05552 1.912 1 0.03141 0.02693 1 1 0.006773 0.06721 0.1638 0.05419 0.5377 1.311 json
t12_x19_u3_b89 12 19 3 89 flr(min(R,sub(P,D))) 35733 98215523 o1(o2(x,o2(x,x))) true 115711 115711 -0.776 0 0.776 0.121 0.3478 -1 0 1 1 2.338 0.002963 0.001249 0.03079 0.4069 1 -0.00002495 0.003483 0.01105 0.003263 0.05712 1.855 0.9994 0.03482 0.02879 1 1 0.007401 0.06783 0.1578 0.06118 0.5607 1.305 json
t12_x19_u3_b90 12 19 3 90 flr(min(R,mlt(P,D))) 35734 98215524 o1(o2(x,o2(x,x))) true 115719 115719 -0.8593 0 0.8593 0.07972 0.2823 -1 -0.000291 0.9997 1 1.835 0.02968 0.0008196 0.06669 0.9463 1 0.0000301 0.05413 0.08229 0.02604 0.1614 2.42 0.9994 0.3826 0.679 1 1 0.03191 0.1009 0.1209 0.4003 1.266 1.516 json
t12_x19_u3_b91 12 19 3 91 flr(min(R,div(P,D))) 35735 98215525 o1(o2(x,o2(x,x))) true 115727 115727 -0.896 0 0.896 0.06881 0.2623 -1 -0.0005821 0.9994 1 1.28 0.0316 0.0006652 0.05999 0.9588 1 0.000003215 0.05508 0.08105 0.02865 0.1693 2.822 0.9991 0.4689 0.8005 1 1 0.03512 0.09644 0.09553 0.5104 1.402 1.388 json
t12_x19_u3_b92 12 19 3 92 flr(min(R,pow(P,D))) 35736 98215526 o1(o2(x,o2(x,x))) true 115735 115735 -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_x19_u3_b93 12 19 3 93 flr(min(R,mod(P,D))) 35737 98215527 o1(o2(x,o2(x,x))) true 115743 115743 -0.724 0 0.724 0.1408 0.3752 -1 0 1 1 2.601 0.03263 0.001497 0.06621 0.9123 1 -0.00002854 0.07671 0.07845 0.02975 0.1725 2.605 0.9997 0.2424 0.5449 1 1 0.02735 0.09582 0.1986 0.1943 0.6806 1.411 json
t12_x19_u3_b94 12 19 3 94 flr(min(R,lrg(P,D))) 35738 98215528 o1(o2(x,o2(x,x))) true 115751 115751 -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_x19_u3_b95 12 19 3 95 flr(min(R,eql(P,D))) 35739 98215529 o1(o2(x,o2(x,x))) true 115759 115759 -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_x19_u3_b96 12 19 3 96 flr(min(R,min(P,D))) 35740 98215530 o1(o2(x,o2(x,x))) true 115767 115767 -0.8867 0 0.8867 0.06403 0.253 -1 -0.000291 0.9997 1 1.639 0.01363 0.0006318 0.03482 0.9114 1 -0.00006203 0.02557 0.03365 0.01305 0.1142 3.281 0.9997 0.2227 0.3993 1 1 0.01644 0.07574 0.0849 0.2567 1.183 1.326 json
t12_x19_u3_b97 12 19 3 97 flr(min(R,dot(P,D))) 35741 98215531 o1(o2(x,o2(x,x))) true 115775 115775 -0.9172 0 0.9172 0.04834 0.2199 -1 -0.0005821 0.9994 1 1.283 0.01479 0.0138 0.05733 0.03455 1 0.0003084 0.0836 0.08781 0.02531 0.1591 2.775 1.413 0.5914 1.729 1 1 0.03075 0.08908 0.07294 0.636 1.843 1.509 json
t12_x19_u3_b98 12 19 3 98 flr(min(R,dst(P,D))) 35742 98215532 o1(o2(x,o2(x,x))) true 115783 115783 -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_x19_u3_b99 12 19 3 99 flr(dot(R,add(P,D))) 35743 98215533 o1(o2(x,o2(x,x))) true 115791 115791 -0.2327 0.3687 0.8516 0.7567 0.8699 -1 1 2 1 2.748 0.02884 0.03631 0.1077 -0.1147 1 0.0001092 0.07386 0.09868 0.05358 0.2315 2.149 1.885 0.08611 0.09761 1 1 0.08347 0.5889 1.363 0.1103 0.7783 1.801 json
t12_x19_u3_b100 12 19 3 100 flr(dot(R,sub(P,D))) 35744 98215534 o1(o2(x,o2(x,x))) true 115799 115799 -0.2284 0.3742 0.8526 0.7594 0.8715 -1 1 2 1 2.74 0.02873 0.03651 0.1088 -0.1192 1 0.00005256 0.07289 0.09763 0.05342 0.2311 2.123 1.985 0.0859 0.09598 1 1 0.08372 0.6015 1.381 0.1102 0.792 1.819 json
t12_x19_u3_b101 12 19 3 101 flr(dot(R,mlt(P,D))) 35745 98215535 o1(o2(x,o2(x,x))) true 115807 115807 -0.3978 0.2261 0.6096 0.3602 0.6002 -1 1 2 1 4.018 0.05331 0.0536 0.1915 -0.002687 1 -0.000533 0.3101 0.3066 0.07021 0.265 1.383 1.543 0.2968 0.861 1 1 0.1001 0.4488 0.5859 0.2778 1.246 1.627 json
t12_x19_u3_b102 12 19 3 102 flr(dot(R,div(P,D))) 35746 98215536 o1(o2(x,o2(x,x))) true 115815 115815 -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_x19_u3_b103 12 19 3 103 flr(dot(R,pow(P,D))) 35747 98215537 o1(o2(x,o2(x,x))) true 115823 115823 -0.8316 0.0656 0.9021 0.1883 0.4339 -1 1 2 1 1.447 0.005874 0.006546 0.03007 -0.05412 1 -0.0001029 0.02435 0.03082 0.01152 0.1073 3.569 2 0.06596 0.1293 1 1 0.01526 0.1049 0.2929 0.08104 0.5569 1.556 json
t12_x19_u3_b104 12 19 3 104 flr(dot(R,mod(P,D))) 35748 98215538 o1(o2(x,o2(x,x))) true 115831 115831 -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_x19_u3_b105 12 19 3 105 flr(dot(R,lrg(P,D))) 35749 98215539 o1(o2(x,o2(x,x))) true 115839 115839 -0.3486 0.06749 0.4132 0.2152 0.4639 -1 1 2 1 3.709 0.005312 0.004351 0.05247 0.09945 1 -0.00001853 0.009304 0.02178 0.00691 0.08313 1.584 1.413 0.0449 0.04323 1 1 0.01586 0.144 0.3898 0.07369 0.6689 1.811 json
t12_x19_u3_b106 12 19 3 106 flr(dot(R,eql(P,D))) 35750 98215540 o1(o2(x,o2(x,x))) true 115847 115847 -0.5176 0 0.5176 0.1507 0.3882 -1 0 1 1 3.643 0.002182 0.002316 0.05264 -0.02985 1 -0.00002067 0.0002712 0.01287 0.001727 0.04156 0.7896 0.1169 0.02984 0.001799 1 1 0.009205 0.1184 0.3083 0.06107 0.7855 2.046 json
t12_x19_u3_b107 12 19 3 107 flr(dot(R,min(P,D))) 35751 98215541 o1(o2(x,o2(x,x))) true 115855 115855 -0.3446 0.243 0.7243 0.543 0.7369 -1 1 2 1 3.455 0.02679 0.02951 0.1077 -0.04826 1 -0.00003778 0.0872 0.104 0.0447 0.2114 1.962 1.87 0.1037 0.1606 1 1 0.06798 0.4397 0.8807 0.1252 0.8099 1.622 json
t12_x19_u3_b108 12 19 3 108 flr(dot(R,dot(P,D))) 35752 98215542 o1(o2(x,o2(x,x))) true 115863 115863 -0.3066 0.3159 0.6798 0.5069 0.712 -1 1 2 1 3.848 0.05963 0.06229 0.2004 -0.02185 1 -0.0009822 0.3563 0.3225 0.08176 0.2859 1.427 1.699 0.2405 0.7029 1 1 0.1239 0.6618 0.8794 0.2444 1.306 1.735 json
t12_x19_u3_b109 12 19 3 109 flr(dot(R,dst(P,D))) 35753 98215543 o1(o2(x,o2(x,x))) true 115871 115871 -0.08888 0.454 0.8905 0.85 0.922 -1 1 2 1 2.472 0.04068 0.0417 0.1123 -0.01242 1 0.0001106 0.09441 0.1073 0.0698 0.2642 2.353 2.152 0.09692 0.1111 1 1 0.1104 0.7304 1.548 0.1298 0.8593 1.821 json
t12_x19_u3_b110 12 19 3 110 flr(dst(R,add(P,D))) 35754 98215544 o1(o2(x,o2(x,x))) true 115879 115879 0.989 0.9997 0.989 0.007586 0.0871 0 1 1 1 0.2188 0.0007155 0.0007101 0.003392 0.003738 1 -9.011e-11 0.004039 0.004314 0.001416 0.03763 11.09 1.408 0.1879 0.5324 1 1 0.002815 0.01381 0.02595 0.371 1.821 3.421 json
t12_x19_u3_b111 12 19 3 111 flr(dst(R,sub(P,D))) 35755 98215545 o1(o2(x,o2(x,x))) true 115887 115887 0.9937 1 0.9937 0.004501 0.06709 0.0005821 1 0.9994 1 0.1302 0.0006225 0.0006399 0.002844 -0.01378 1 0 0.003427 0.003787 0.001254 0.03541 12.45 1.413 0.2805 0.7615 1 1 0.00256 0.01102 0.01577 0.5687 2.448 3.504 json
t12_x19_u3_b112 12 19 3 112 flr(dst(R,mlt(P,D))) 35756 98215546 o1(o2(x,o2(x,x))) true 115895 115895 0.8673 0.9997 0.8673 0.08645 0.294 0 1 1 1 1.455 0.02589 0.02514 0.076 0.01469 1 -0.001692 0.1379 0.131 0.04528 0.2128 2.8 1.413 0.5904 1.595 1 1 0.05669 0.1662 0.1531 0.6558 1.923 1.771 json
t12_x19_u3_b113 12 19 3 113 flr(dst(R,div(P,D))) 35757 98215547 o1(o2(x,o2(x,x))) true 115903 115903 -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_x19_u3_b114 12 19 3 114 flr(dst(R,pow(P,D))) 35758 98215548 o1(o2(x,o2(x,x))) true 115911 115911 -0.5117 0.25 0.9883 0.7229 0.8502 -1 1 2 1 1.005 0.008218 0.008029 0.01165 0.01163 1 -3.754e-10 0.03289 0.01952 0.01611 0.1269 10.9 2 0.02248 0.0455 1 1 0.02117 0.0885 0.3152 0.02928 0.1224 0.436 json
t12_x19_u3_b115 12 19 3 115 flr(dst(R,mod(P,D))) 35759 98215549 o1(o2(x,o2(x,x))) true 115919 115919 -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_x19_u3_b116 12 19 3 116 flr(dst(R,lrg(P,D))) 35760 98215550 o1(o2(x,o2(x,x))) true 115927 115927 0.7364 0.9685 0.7364 0.133 0.3647 0 1 1 1 2.587 0.002181 0.002759 0.03711 -0.1169 1 0.0000124 0.003579 0.01378 0.003562 0.05968 1.608 1 0.03715 0.02691 1 1 0.008072 0.07994 0.2514 0.0607 0.6012 1.89 json
t12_x19_u3_b117 12 19 3 117 flr(dst(R,eql(P,D))) 35761 98215551 o1(o2(x,o2(x,x))) true 115935 115935 0.806 0.9872 0.806 0.1016 0.3187 0 1 1 1 2.29 0.001418 0.001574 0.03153 -0.05236 1 -0.000003659 0.0003263 0.008637 0.001997 0.04469 1.417 0.2265 0.02946 0.003212 1 1 0.005918 0.0723 0.188 0.05827 0.7118 1.851 json
t12_x19_u3_b118 12 19 3 118 flr(dst(R,min(P,D))) 35762 98215552 o1(o2(x,o2(x,x))) true 115943 115943 0.8464 0.9892 0.8464 0.09901 0.3147 0 1 1 1 1.624 0.007318 0.007408 0.03378 -0.006153 1 0.0001023 0.04133 0.04325 0.01359 0.1166 3.45 1.413 0.1487 0.4175 1 1 0.01783 0.07966 0.1405 0.1801 0.8046 1.419 json
t12_x19_u3_b119 12 19 3 119 flr(dst(R,dot(P,D))) 35763 98215553 o1(o2(x,o2(x,x))) true 115951 115951 0.923 0.9999 0.923 0.05394 0.2323 0.000008663 1 1 1 0.9721 0.02365 0.02328 0.06454 0.007868 1 -0.001084 0.1487 0.1223 0.04276 0.2068 3.204 1.412 0.8701 2.756 1 1 0.05271 0.1205 0.09603 0.9771 2.234 1.78 json
t12_x19_u3_b120 12 19 3 120 flr(dst(R,dst(P,D))) 35764 98215554 o1(o2(x,o2(x,x))) true 115959 115959 1 1 1 9.091e-7 0.0009535 0.8928 1 0.1072 1 0.00136 0.000001062 0.000001877 0.00002828 -0.2773 0 0 0.00001332 0.00006565 0.000002937 0.001714 60.61 0.1517 3.232 14.66 1 1 0.000002847 0.000003301 0.000003301 3.131 3.631 3.631 json
t12_x19_u4_b0 12 19 4 0 cil(add(R,add(P,D))) 35765 98215635 o1(o2(x,o2(x,x))) true 115967 115967 0.06627 0.5292 0.9337 0.9156 0.9569 -1 1 2 1 1.827 0.00507 0.00046 0.01546 0.8336 1 -0.00002021 0.00952 0.01704 0.005294 0.07276 4.706 0.9994 0.00604 0.0104 1 1 0.008404 0.05105 0.2777 0.009178 0.05575 0.3033 json
t12_x19_u4_b1 12 19 4 1 cil(add(R,sub(P,D))) 35766 98215636 o1(o2(x,o2(x,x))) true 115975 115975 0.06596 0.5289 0.9319 0.9118 0.9549 -1 1 2 1 1.887 0.005548 0.0004462 0.02022 0.8511 1 -0.00002057 0.009759 0.01993 0.005584 0.07472 3.696 0.9986 0.006574 0.0107 1 1 0.009145 0.0522 0.271 0.01003 0.05724 0.2971 json
t12_x19_u4_b2 12 19 4 2 cil(add(R,mlt(P,D))) 35767 98215637 o1(o2(x,o2(x,x))) true 115983 115983 0.3111 0.7098 0.5445 0.3359 0.5796 -1 1 2 1 4.405 0.09796 0.003035 0.2154 0.9399 1 0.002267 0.2179 0.3106 0.05462 0.2337 1.085 1.026 0.3007 0.6486 1 1 0.08248 0.3441 0.372 0.2455 1.025 1.107 json
t12_x19_u4_b3 12 19 4 3 cil(add(R,div(P,D))) 35768 98215638 o1(o2(x,o2(x,x))) true 115991 115991 -0.06042 0.4642 0.941 0.9232 0.9608 -1 1 2 1 1.819 0.4062 0.0002415 0.2346 0.9988 1 -0.00001106 0.7682 0.4217 0.3512 0.5926 2.526 2.001 0.4402 0.8322 1 1 0.4113 1.738 0.2825 0.4455 1.882 0.306 json
t12_x19_u4_b4 12 19 4 4 cil(add(R,pow(P,D))) 35769 98215639 o1(o2(x,o2(x,x))) true 115999 115999 -0.0254 0.5 0.9746 0.9652 0.9825 -1 1 2 1 1.438 0.01241 0.0002119 0.01673 0.9664 1 -0.00007133 0.02443 0.02408 0.01235 0.1111 6.643 2 0.01307 0.02531 1 1 0.01682 0.07423 0.3319 0.01742 0.07691 0.3439 json
t12_x19_u4_b5 12 19 4 5 cil(add(R,mod(P,D))) 35770 98215640 o1(o2(x,o2(x,x))) true 116007 116007 0.4723 0.8674 0.52 0.2031 0.4507 -1 1 2 1 3.762 0.03702 0.003026 0.1115 0.8489 1 -0.0000281 0.09438 0.1454 0.02762 0.1662 1.491 1.113 0.1972 0.4647 1 1 0.03292 0.1548 0.3408 0.1621 0.762 1.678 json
t12_x19_u4_b6 12 19 4 6 cil(add(R,lrg(P,D))) 35771 98215641 o1(o2(x,o2(x,x))) true 116015 116015 0.7603 0.9593 0.7603 0.1368 0.3698 0 1 1 1 2.218 0.003294 0.001182 0.0283 0.4719 1 0.000002858 0.004378 0.01129 0.003673 0.06061 2.142 0.9994 0.03273 0.03201 1 1 0.007541 0.06382 0.168 0.05514 0.4667 1.229 json
t12_x19_u4_b7 12 19 4 7 cil(add(R,eql(P,D))) 35772 98215642 o1(o2(x,o2(x,x))) true 116023 116023 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_x19_u4_b8 12 19 4 8 cil(add(R,min(P,D))) 35773 98215643 o1(o2(x,o2(x,x))) true 116031 116031 -0.21 0.4385 0.706 0.5998 0.7745 -1 1 2 1 3.441 0.01668 0.001809 0.06201 0.8043 1 0.000648 0.03065 0.05882 0.01464 0.121 1.951 0.9997 0.03082 0.0511 1 1 0.02195 0.1314 0.3702 0.03659 0.2191 0.6173 json
t12_x19_u4_b9 12 19 4 9 cil(add(R,dot(P,D))) 35774 98215644 o1(o2(x,o2(x,x))) true 116039 116039 0.1681 0.6089 0.591 0.4484 0.6696 -1 1 2 1 4.518 0.09014 0.09304 0.3157 -0.01585 1 0.003944 0.6541 0.565 0.08349 0.2889 0.9151 1.411 0.4085 1.459 1 1 0.152 0.5591 0.3802 0.3389 1.247 0.8479 json
t12_x19_u4_b10 12 19 4 10 cil(add(R,dst(P,D))) 35775 98215645 o1(o2(x,o2(x,x))) true 116047 116047 1 1 1 6.314e-9 0.00007946 0.9856 1 0.01443 1 0 6.517e-9 1.303e-8 0.000001227 -0.3333 0 -3.754e-12 7.82e-8 0.000002718 1.955e-8 0.0001398 114 0.02028 3.096 12.38 1 1 2.293e-8 2.293e-8 2.293e-8 3.631 3.631 3.631 json
t12_x19_u4_b11 12 19 4 11 cil(sub(R,add(P,D))) 35776 98215646 o1(o2(x,o2(x,x))) true 116055 116055 0.07006 0.5342 0.9314 0.9115 0.9547 -1 1 2 1 1.879 0.005294 0.0004608 0.01641 0.8399 1 -0.00002259 0.009933 0.01763 0.005489 0.07409 4.516 1.113 0.006314 0.0109 1 1 0.008345 0.0525 0.2685 0.009156 0.05759 0.2946 json
t12_x19_u4_b12 12 19 4 12 cil(sub(R,sub(P,D))) 35777 98215647 o1(o2(x,o2(x,x))) true 116063 116063 0.06942 0.5313 0.9284 0.9087 0.9533 -1 1 2 1 1.904 0.005652 0.0004702 0.02054 0.8464 1 -0.00002293 0.009921 0.01997 0.005704 0.07552 3.678 0.9983 0.006738 0.01092 1 1 0.009251 0.05652 0.2625 0.01018 0.0622 0.2888 json
t12_x19_u4_b13 12 19 4 13 cil(sub(R,mlt(P,D))) 35778 98215648 o1(o2(x,o2(x,x))) true 116071 116071 0.5205 0.8426 0.6416 0.2781 0.5273 -1 1 2 1 3.798 0.0852 0.00263 0.1854 0.9401 1 -0.0003706 0.1854 0.2693 0.05347 0.2312 1.247 1.026 0.3158 0.6666 1 1 0.07142 0.2967 0.3038 0.2568 1.067 1.093 json
t12_x19_u4_b14 12 19 4 14 cil(sub(R,div(P,D))) 35779 98215649 o1(o2(x,o2(x,x))) true 116079 116079 0.164 0.5931 0.951 0.9109 0.9544 -1 1 2 1 1.697 0.3758 0.0002449 0.2274 0.9987 1 -0.000006185 0.6838 0.3948 0.3242 0.5694 2.504 2.007 0.4128 0.7507 1 1 0.3925 1.573 0.2855 0.4309 1.727 0.3134 json
t12_x19_u4_b15 12 19 4 15 cil(sub(R,pow(P,D))) 35780 98215650 o1(o2(x,o2(x,x))) true 116087 116087 -0.742 0.05707 0.7863 0.1869 0.4323 -1 0.9997 2 1 2.481 0.02583 0.001427 0.0614 0.8953 1 -0.0006322 0.05052 0.07144 0.02349 0.1533 2.496 2 0.1458 0.2703 1 1 0.02994 0.1382 0.2688 0.1602 0.7396 1.438 json
t12_x19_u4_b16 12 19 4 16 cil(sub(R,mod(P,D))) 35781 98215651 o1(o2(x,o2(x,x))) true 116095 116095 0.4697 0.863 0.5182 0.206 0.4539 -1 1 2 1 3.746 0.03776 0.00275 0.1094 0.8642 1 -0.00002633 0.1005 0.1436 0.02854 0.1689 1.544 1.102 0.1966 0.4876 1 1 0.02763 0.1479 0.3362 0.1341 0.7178 1.632 json
t12_x19_u4_b17 12 19 4 17 cil(sub(R,lrg(P,D))) 35782 98215652 o1(o2(x,o2(x,x))) true 116103 116103 -0.01758 0.4507 0.5136 0.4164 0.6453 -1 1 2 1 4.434 0.006597 0.002442 0.05845 0.4596 1 -0.00001781 0.008322 0.02096 0.005624 0.07499 1.283 1.006 0.02171 0.01999 1 1 0.0157 0.1442 0.3509 0.03771 0.3464 0.8426 json
t12_x19_u4_b18 12 19 4 18 cil(sub(R,eql(P,D))) 35783 98215653 o1(o2(x,o2(x,x))) true 116111 116111 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_x19_u4_b19 12 19 4 19 cil(sub(R,min(P,D))) 35784 98215654 o1(o2(x,o2(x,x))) true 116119 116119 0.7237 0.9328 0.7523 0.1755 0.4189 -0.9991 1 1.999 1 2.593 0.01502 0.001585 0.05493 0.8091 1 -0.000004035 0.0284 0.05427 0.01358 0.1165 2.122 0.9997 0.09462 0.1618 1 1 0.01763 0.1006 0.213 0.1005 0.5734 1.214 json
t12_x19_u4_b20 12 19 4 20 cil(sub(R,dot(P,D))) 35785 98215655 o1(o2(x,o2(x,x))) true 116127 116127 0.5545 0.829 0.7135 0.3203 0.5659 -1 1 2 1 3.564 0.07115 0.07493 0.2498 -0.02588 1 -0.001319 0.5245 0.4545 0.08367 0.2893 1.158 1.412 0.4561 1.638 1 1 0.1147 0.4097 0.2687 0.3583 1.279 0.839 json
t12_x19_u4_b21 12 19 4 21 cil(sub(R,dst(P,D))) 35786 98215656 o1(o2(x,o2(x,x))) true 116135 116135 -0.9833 0.003418 0.9865 0.01543 0.1242 -1 0.9985 1.999 1 0.2784 0.0009463 0.0009484 0.00563 -0.001085 1 -2.14e-10 0.004737 0.006197 0.001862 0.04316 7.665 1.408 0.1228 0.3069 1 1 0.004115 0.02497 0.04944 0.2667 1.618 3.204 json
t12_x19_u4_b22 12 19 4 22 cil(mlt(R,add(P,D))) 35787 98215657 o1(o2(x,o2(x,x))) true 116143 116143 0.1794 0.6233 0.7578 0.6611 0.8131 -1 1 2 1 3.493 0.02419 0.01959 0.1026 0.1051 1 -0.00009089 0.03637 0.07175 0.03324 0.1823 1.776 1.375 0.06623 0.05501 1 1 0.05997 0.4661 1.021 0.09072 0.705 1.544 json
t12_x19_u4_b23 12 19 4 23 cil(mlt(R,sub(P,D))) 35788 98215658 o1(o2(x,o2(x,x))) true 116151 116151 0.1742 0.6071 0.7599 0.6657 0.8159 -1 1 2 1 3.488 0.02386 0.01981 0.104 0.09266 1 -0.00008151 0.03629 0.07204 0.03287 0.1813 1.743 1.423 0.0656 0.05451 1 1 0.0596 0.4706 1.044 0.08953 0.7069 1.568 json
t12_x19_u4_b24 12 19 4 24 cil(mlt(R,mlt(P,D))) 35789 98215659 o1(o2(x,o2(x,x))) true 116159 116159 0.4017 0.8006 0.5217 0.2624 0.5122 -1 1 2 1 4.048 0.06597 0.004444 0.1451 0.8738 1 0.001244 0.1356 0.1898 0.04936 0.2222 1.532 1.011 0.2684 0.5166 1 1 0.06514 0.3078 0.4271 0.2483 1.173 1.628 json
t12_x19_u4_b25 12 19 4 25 cil(mlt(R,div(P,D))) 35790 98215660 o1(o2(x,o2(x,x))) true 116167 116167 0.05343 0.5289 0.8794 0.85 0.922 -1 1 2 1 2.354 0.2836 0.06383 0.2314 0.6326 1 -0.00004215 0.7066 0.3834 0.2939 0.5421 2.343 2.828 0.4087 0.8312 1 1 0.3674 1.506 1.509 0.4322 1.771 1.775 json
t12_x19_u4_b26 12 19 4 26 cil(mlt(R,pow(P,D))) 35791 98215661 o1(o2(x,o2(x,x))) true 116175 116175 -0.3058 0.4189 0.7372 0.592 0.7694 -1 1 2 1 2.999 0.01025 0.001866 0.04416 0.6919 1 -0.000004685 0.01851 0.03435 0.01017 0.1008 2.283 1 0.02046 0.03127 1 1 0.01401 0.1047 0.3458 0.02366 0.1769 0.584 json
t12_x19_u4_b27 12 19 4 27 cil(mlt(R,mod(P,D))) 35792 98215662 o1(o2(x,o2(x,x))) true 116183 116183 0.3818 0.847 0.3818 0.1498 0.3871 0 1 1 1 3.217 0.05853 0.001945 0.1095 0.9357 1 -0.00003142 0.137 0.1412 0.04848 0.2202 2.011 0.9997 0.4036 0.9142 1 1 0.05295 0.1277 0.2454 0.3533 0.8523 1.638 json
t12_x19_u4_b28 12 19 4 28 cil(mlt(R,lrg(P,D))) 35793 98215663 o1(o2(x,o2(x,x))) true 116191 116191 0.2285 0.4928 0.2285 0.1217 0.3488 0 1 1 1 2.365 0.002836 0.001259 0.031 0.3851 1 -0.00002709 0.003398 0.01065 0.003133 0.05598 1.806 0.9997 0.03365 0.02793 1 1 0.007137 0.06954 0.1615 0.05865 0.5714 1.327 json
t12_x19_u4_b29 12 19 4 29 cil(mlt(R,eql(P,D))) 35794 98215664 o1(o2(x,o2(x,x))) true 116199 116199 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_x19_u4_b30 12 19 4 30 cil(mlt(R,min(P,D))) 35795 98215665 o1(o2(x,o2(x,x))) true 116207 116207 0.3284 0.7718 0.6202 0.4338 0.6586 -1 1 2 1 3.724 0.03144 0.01137 0.09496 0.4689 1 -0.0000399 0.05642 0.07988 0.0338 0.1839 1.936 1.319 0.0987 0.1301 1 1 0.05446 0.3524 0.6188 0.1255 0.8124 1.426 json
t12_x19_u4_b31 12 19 4 31 cil(mlt(R,dot(P,D))) 35796 98215666 o1(o2(x,o2(x,x))) true 116215 116215 0.3723 0.7421 0.6154 0.3843 0.6199 -1 1 2 1 4.07 0.0544 0.05445 0.1922 -0.0004247 1 0.00116 0.3393 0.3112 0.07191 0.2682 1.395 1.619 0.2833 0.8829 1 1 0.09993 0.455 0.5992 0.26 1.184 1.559 json
t12_x19_u4_b32 12 19 4 32 cil(mlt(R,dst(P,D))) 35797 98215667 o1(o2(x,o2(x,x))) true 116223 116223 0.12 0.5644 0.8659 0.8099 0.8999 -1 1 2 1 2.739 0.02774 0.03176 0.1046 -0.0675 1 0.00003707 0.05474 0.0838 0.04857 0.2204 2.107 1.911 0.07346 0.06758 1 1 0.08036 0.6012 1.328 0.09923 0.7423 1.64 json
t12_x19_u4_b33 12 19 4 33 cil(div(R,add(P,D))) 35798 98215668 o1(o2(x,o2(x,x))) true 116231 116231 0.4489 0.8858 0.5015 0.2078 0.4558 -1 1 2 1 3.588 0.02227 0.004237 0.06767 0.6804 1 -0.00004877 0.04436 0.04286 0.02194 0.1481 2.189 2.828 0.1276 0.2135 1 1 0.04046 0.2363 0.4554 0.1947 1.137 2.192 json
t12_x19_u4_b34 12 19 4 34 cil(div(R,sub(P,D))) 35799 98215669 o1(o2(x,o2(x,x))) true 116239 116239 0.4462 0.877 0.5041 0.2115 0.4599 -1 1 2 1 3.674 0.0215 0.004284 0.06818 0.6677 1 -0.00004563 0.04345 0.0437 0.02114 0.1454 2.132 2.828 0.1219 0.2054 1 1 0.0386 0.2278 0.4823 0.1825 1.077 2.28 json