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_x20_u2_b30 12 20 2 30 frc(mlt(R,min(P,R))) 36400 98255664 o1(o2(x,o2(x,x))) true 121047 121047 0.3982 0.9986 0.3982 0.05841 0.2417 2.073e-8 0.9979 0.9979 1 3.848 0.0007401 0.00085 0.03239 -0.06911 1 0.00002286 0.0000974 0.00758 0.0005413 0.02327 0.7184 0.1111 0.02722 0.001667 1 1 0.003175 0.0409 0.1146 0.05435 0.7002 1.962 json
t12_x20_u2_b31 12 20 2 31 frc(mlt(R,dot(P,R))) 36401 98255665 o1(o2(x,o2(x,x))) true 121055 121055 0.5041 1 0.5041 0.06042 0.2458 0.00003039 0.9962 0.9962 1 3.916 0.0008763 0.0009634 0.03537 -0.04734 1 0.00000129 0.0001104 0.008205 0.0005888 0.02427 0.6861 0.1144 0.03045 0.001828 1 1 0.003777 0.04869 0.1378 0.06252 0.806 2.281 json
t12_x20_u2_b32 12 20 2 32 frc(mlt(R,dst(P,R))) 36402 98255666 o1(o2(x,o2(x,x))) true 121063 121063 0.5404 1 0.5404 0.05232 0.2287 0.003142 0.9975 0.9944 1 3.847 0.0006817 0.0007402 0.0306 -0.04116 1 -0.000004772 0.00008274 0.006994 0.0004854 0.02203 0.72 0.1143 0.02717 0.001581 1 1 0.002814 0.03633 0.1075 0.05378 0.6944 2.054 json
t12_x20_u2_b33 12 20 2 33 frc(div(R,add(P,R))) 36403 98255667 o1(o2(x,o2(x,x))) true 121071 121071 0.4922 0.9998 0.4922 0.0891 0.2985 0.00001869 1 1 1 3.966 0.001224 0.001303 0.04013 -0.03119 1 0.00002429 0.0001488 0.00949 0.0009167 0.03028 0.7544 0.1169 0.02836 0.00167 1 1 0.004491 0.05783 0.1623 0.0504 0.6491 1.822 json
t12_x20_u2_b34 12 20 2 34 frc(div(R,sub(P,R))) 36404 98255668 o1(o2(x,o2(x,x))) true 121079 121079 0.5325 0.9989 0.5325 0.09172 0.3028 0.000001044 0.9995 0.9995 1 3.951 0.001261 0.001274 0.04014 -0.005182 1 0.00002846 0.0001465 0.009455 0.0009247 0.03041 0.7576 0.1165 0.02765 0.001597 1 1 0.004531 0.05829 0.1561 0.0494 0.6356 1.702 json
t12_x20_u2_b35 12 20 2 35 frc(div(R,mlt(P,R))) 36405 98255669 o1(o2(x,o2(x,x))) true 121087 121087 0.293 0.875 0.543 0.31 0.5567 -1 0.9999 2 1 3.57 0.01225 0.00007023 0.01674 0.9886 1 0.000002844 0.02414 0.02043 0.01204 0.1097 6.553 2 0.03975 0.07788 1 1 0.01624 0.07451 0.3689 0.05241 0.2404 1.19 json
t12_x20_u2_b36 12 20 2 36 frc(div(R,div(P,R))) 36406 98255670 o1(o2(x,o2(x,x))) true 121095 121095 0.3106 0.8748 0.5606 0.3928 0.6267 -1 1 2 1 3.277 0.01914 0.00009732 0.02112 0.9899 1 0.000004828 0.03804 0.0262 0.0188 0.1371 6.49 2 0.04898 0.09684 1 1 0.0261 0.1076 0.4135 0.06644 0.2739 1.053 json
t12_x20_u2_b37 12 20 2 37 frc(div(R,pow(P,R))) 36407 98255671 o1(o2(x,o2(x,x))) true 121103 121103 -0.3575 0.4608 0.7207 0.5049 0.7106 -1 0.9969 1.997 1 2.722 0.008476 0.001548 0.02033 0.6911 1 0.00001256 0.01909 0.01608 0.009615 0.09805 4.824 2.098 0.01985 0.0378 1 1 0.01425 0.06726 0.2392 0.02822 0.1332 0.4736 json
t12_x20_u2_b38 12 20 2 38 frc(div(R,mod(P,R))) 36408 98255672 o1(o2(x,o2(x,x))) true 121111 121111 0.3133 0.875 0.5633 0.2911 0.5396 -1 0.9982 1.998 1 3.902 0.01868 0.0006094 0.03784 0.9368 1 -0.000002902 0.0363 0.02946 0.01786 0.1336 3.532 1.972 0.06627 0.1247 1 1 0.02564 0.1219 0.4714 0.08807 0.4188 1.619 json
t12_x20_u2_b39 12 20 2 39 frc(div(R,lrg(P,R))) 36409 98255673 o1(o2(x,o2(x,x))) true 121119 121119 -0.2963 0.4609 0.7819 0.6028 0.7764 -1 0.997 1.997 1 2.744 0.009815 0.001901 0.02096 0.6755 1 0.00002695 0.02264 0.01748 0.01127 0.1062 5.066 2.098 0.01944 0.03756 1 1 0.01669 0.07616 0.2893 0.0277 0.1264 0.4799 json
t12_x20_u2_b40 12 20 2 40 frc(div(R,eql(P,R))) 36410 98255674 o1(o2(x,o2(x,x))) true 121127 121127 -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_x20_u2_b41 12 20 2 41 frc(div(R,min(P,R))) 36411 98255675 o1(o2(x,o2(x,x))) true 121135 121135 0.2388 0.6835 0.395 0.2402 0.4901 -1 1 2 1 3.57 0.009585 0.005846 0.03973 0.2423 1 0.00001827 0.027 0.02525 0.01386 0.1177 2.962 2.828 0.06425 0.1124 1 1 0.02489 0.135 0.4399 0.1036 0.5621 1.832 json
t12_x20_u2_b42 12 20 2 42 frc(div(R,dot(P,R))) 36412 98255676 o1(o2(x,o2(x,x))) true 121143 121143 0.4771 0.9844 0.5084 0.1191 0.3451 -1 0.9989 1.999 1 3.91 0.002306 0.002576 0.02934 -0.05528 1 -2.74e-7 0.007467 0.01147 0.004021 0.06341 2.161 1.891 0.04098 0.06268 1 1 0.008928 0.06047 0.2318 0.07495 0.5077 1.946 json
t12_x20_u2_b43 12 20 2 43 frc(div(R,dst(P,R))) 36413 98255677 o1(o2(x,o2(x,x))) true 121151 121151 0.529 1 0.529 0.1021 0.3195 0.0008561 0.9997 0.9988 1 3.898 0.001261 0.00161 0.04212 -0.1215 1 0.00001968 0.0001681 0.01004 0.001096 0.03311 0.7861 0.1147 0.02812 0.001647 1 1 0.004907 0.0631 0.1754 0.04807 0.6182 1.718 json
t12_x20_u2_b44 12 20 2 44 frc(pow(R,add(P,R))) 36414 98255678 o1(o2(x,o2(x,x))) true 121159 121159 -0.9383 0.04295 0.9757 0.08714 0.2952 -1 0.9061 1.906 1 0.4169 0.008301 0.008535 0.01269 -0.01388 1 0.000004875 0.035 0.02348 0.01668 0.1292 10.18 2.498 0.1932 0.4017 1 1 0.01252 0.05427 0.1339 0.1436 0.6229 1.537 json
t12_x20_u2_b45 12 20 2 45 frc(pow(R,sub(P,R))) 36415 98255679 o1(o2(x,o2(x,x))) true 121167 121167 -0.9375 0.04297 0.9765 0.0896 0.2993 -1 0.981 1.981 1 0.4234 0.009939 0.009755 0.01387 0.00936 1 -0.000002992 0.04126 0.02537 0.0195 0.1396 10.07 2.802 0.2198 0.4605 1 1 0.01709 0.07182 0.1646 0.1907 0.8016 1.837 json
t12_x20_u2_b46 12 20 2 46 frc(pow(R,mlt(P,R))) 36416 98255680 o1(o2(x,o2(x,x))) true 121175 121175 -0.9041 0.07338 0.9474 0.1191 0.3452 -1 0.9463 1.946 1 0.6465 0.01191 0.01072 0.01863 0.05275 1 0.000007656 0.04699 0.03312 0.02229 0.1493 8.015 2.709 0.1899 0.3945 1 1 0.02068 0.08546 0.2601 0.1736 0.7174 2.183 json
t12_x20_u2_b47 12 20 2 47 frc(pow(R,div(P,R))) 36417 98255681 o1(o2(x,o2(x,x))) true 121183 121183 -0.9314 0.05342 0.9592 0.08442 0.2905 -1 0.9398 1.94 1 0.4904 0.008467 0.008506 0.01397 -0.002345 1 1.108e-8 0.0354 0.02503 0.01677 0.1295 9.272 2.685 0.2011 0.4194 1 1 0.01777 0.07311 0.2062 0.2105 0.8661 2.443 json
t12_x20_u2_b48 12 20 2 48 frc(pow(R,pow(P,R))) 36418 98255682 o1(o2(x,o2(x,x))) true 121191 121191 -0.9896 0.007813 0.9948 0.0142 0.1192 -1 0.8668 1.867 1 0.09399 0.001384 0.00172 0.002487 -0.1081 1 0.000001688 0.006521 0.004526 0.003097 0.05565 22.38 2.64 0.2186 0.4593 1 1 0.0004137 0.002946 0.01253 0.02914 0.2075 0.8824 json
t12_x20_u2_b49 12 20 2 49 frc(pow(R,mod(P,R))) 36419 98255683 o1(o2(x,o2(x,x))) true 121199 121199 -0.9088 0.07277 0.9427 0.1103 0.3322 -1 0.9964 1.996 1 0.5976 0.01142 0.00992 0.01711 0.07047 1 -0.000002585 0.04442 0.03161 0.02105 0.1451 8.478 2.815 0.1934 0.4026 1 1 0.018 0.07425 0.2337 0.1631 0.6729 2.118 json
t12_x20_u2_b50 12 20 2 50 frc(pow(R,lrg(P,R))) 36420 98255684 o1(o2(x,o2(x,x))) true 121207 121207 -0.5352 0.007813 0.5429 0.255 0.505 -1 0.9276 1.928 1 1.072 0.005 0.003624 0.007674 0.1596 1 0.000002697 0.01791 0.01488 0.008566 0.09255 12.06 2.64 0.03382 0.07024 1 1 0.007893 0.03286 0.1242 0.03095 0.1289 0.487 json
t12_x20_u2_b51 12 20 2 51 frc(pow(R,eql(P,R))) 36421 98255685 o1(o2(x,o2(x,x))) true 121215 121215 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_x20_u2_b52 12 20 2 52 frc(pow(R,min(P,R))) 36422 98255686 o1(o2(x,o2(x,x))) true 121223 121223 -0.9397 0.04282 0.9743 0.08317 0.2884 -1 0.9442 1.944 1 0.4184 0.008948 0.008376 0.0128 0.03303 1 1.448e-7 0.03623 0.02388 0.01716 0.131 10.24 2.664 0.2083 0.4356 1 1 0.01303 0.05514 0.1392 0.1566 0.6629 1.674 json
t12_x20_u2_b53 12 20 2 53 frc(pow(R,dot(P,R))) 36423 98255687 o1(o2(x,o2(x,x))) true 121231 121231 -0.9369 0.04297 0.9772 0.09109 0.3018 -1 0.9751 1.975 1 0.4226 0.009802 0.008774 0.01357 0.05535 1 -0.000003775 0.03871 0.02471 0.01839 0.1356 9.997 2.735 0.2039 0.425 1 1 0.0135 0.05969 0.1552 0.1482 0.6553 1.703 json
t12_x20_u2_b54 12 20 2 54 frc(pow(R,dst(P,R))) 36424 98255688 o1(o2(x,o2(x,x))) true 121239 121239 -0.9497 0.04259 0.9644 0.05773 0.2403 -1 0.7706 1.771 1 0.3789 0.006018 0.005685 0.01059 0.02841 1 0.000004806 0.0244 0.01963 0.0116 0.1077 10.17 2.014 0.2027 0.4226 1 1 0.009717 0.04244 0.1045 0.1683 0.735 1.809 json
t12_x20_u2_b55 12 20 2 55 frc(mod(R,add(P,R))) 36425 98255689 o1(o2(x,o2(x,x))) true 121247 121247 0.5033 0.9994 0.5033 0.05786 0.2405 0.00001111 0.997 0.997 1 3.877 0.0008035 0.0006494 0.0311 0.1061 1 0.00005638 0.00008378 0.007109 0.0004858 0.02204 0.7087 0.1134 0.02511 0.001448 1 1 0.002705 0.03481 0.09835 0.04675 0.6016 1.7 json
t12_x20_u2_b56 12 20 2 56 frc(mod(R,sub(P,R))) 36426 98255690 o1(o2(x,o2(x,x))) true 121255 121255 0.5008 0.9993 0.5008 0.05762 0.24 0.00001479 0.9988 0.9988 1 3.876 0.0008157 0.0006616 0.03132 0.1043 1 0.00005722 0.00008575 0.007191 0.0004961 0.02227 0.7111 0.1148 0.02564 0.001488 1 1 0.002751 0.03543 0.09571 0.04774 0.6148 1.661 json
t12_x20_u2_b57 12 20 2 57 frc(mod(R,mlt(P,R))) 36427 98255691 o1(o2(x,o2(x,x))) true 121263 121263 0.3116 0.8734 0.5616 0.2974 0.5454 -1 0.997 1.997 1 3.943 0.01263 0.0006066 0.03692 0.9084 1 0.00005151 0.02394 0.02527 0.01188 0.109 2.952 1.911 0.04452 0.08048 1 1 0.01832 0.09881 0.4513 0.06159 0.3322 1.517 json
t12_x20_u2_b58 12 20 2 58 frc(mod(R,div(P,R))) 36428 98255692 o1(o2(x,o2(x,x))) true 121271 121271 0.337 0.875 0.587 0.3015 0.5491 -1 0.997 1.997 1 3.893 0.02159 0.0006142 0.03977 0.9447 1 0.00004894 0.04201 0.03172 0.02062 0.1436 3.611 1.943 0.07365 0.1394 1 1 0.02948 0.1355 0.4916 0.09777 0.4495 1.631 json
t12_x20_u2_b59 12 20 2 59 frc(mod(R,pow(P,R))) 36429 98255693 o1(o2(x,o2(x,x))) true 121279 121279 -0.2755 0.4375 0.8495 0.691 0.8313 -1 0.9971 1.997 1 2.537 0.01091 0.0003067 0.01832 0.9453 1 0.00001921 0.02143 0.01564 0.01087 0.1043 5.694 1.943 0.01623 0.03102 1 1 0.01463 0.06451 0.2386 0.02118 0.09335 0.3453 json
t12_x20_u2_b60 12 20 2 60 frc(mod(R,mod(P,R))) 36430 98255694 o1(o2(x,o2(x,x))) true 121287 121287 0.3352 0.875 0.5852 0.3517 0.5931 -1 0.9997 2 1 3.948 0.01793 0.001625 0.05067 0.8338 1 0.000002123 0.03375 0.03175 0.01698 0.1303 2.572 1.999 0.05558 0.09594 1 1 0.02871 0.1625 0.5919 0.08163 0.4619 1.683 json
t12_x20_u2_b61 12 20 2 61 frc(mod(R,lrg(P,R))) 36431 98255695 o1(o2(x,o2(x,x))) true 121295 121295 -0.2963 0.4609 0.7819 0.6028 0.7764 -1 0.997 1.997 1 2.744 0.009815 0.001901 0.02096 0.6755 1 0.00002695 0.02264 0.01748 0.01127 0.1062 5.066 2.098 0.01944 0.03756 1 1 0.01669 0.07616 0.2893 0.0277 0.1264 0.4799 json
t12_x20_u2_b62 12 20 2 62 frc(mod(R,eql(P,R))) 36432 98255696 o1(o2(x,o2(x,x))) true 121303 121303 -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_x20_u2_b63 12 20 2 63 frc(mod(R,min(P,R))) 36433 98255697 o1(o2(x,o2(x,x))) true 121311 121311 0.2048 0.679 0.3611 0.205 0.4528 -1 0.9926 1.993 1 3.497 0.01054 0.003836 0.03125 0.4663 1 0.00002964 0.02703 0.02324 0.0134 0.1157 3.705 2.098 0.07012 0.1319 1 1 0.02229 0.1068 0.358 0.1088 0.5211 1.747 json
t12_x20_u2_b64 12 20 2 64 frc(mod(R,dot(P,R))) 36434 98255698 o1(o2(x,o2(x,x))) true 121319 121319 0.5035 0.9844 0.5348 0.094 0.3066 -1 0.997 1.997 1 3.942 0.002677 0.00309 0.03504 -0.07153 1 0.00004482 0.008817 0.01312 0.004539 0.06737 1.923 2.098 0.06135 0.0938 1 1 0.01035 0.06845 0.2466 0.1101 0.7282 2.624 json
t12_x20_u2_b65 12 20 2 65 frc(mod(R,dst(P,R))) 36435 98255699 o1(o2(x,o2(x,x))) true 121327 121327 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x20_u2_b66 12 20 2 66 frc(lrg(R,add(P,R))) 36436 98255700 o1(o2(x,o2(x,x))) true 121335 121335 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_x20_u2_b67 12 20 2 67 frc(lrg(R,sub(P,R))) 36437 98255701 o1(o2(x,o2(x,x))) true 121343 121343 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_x20_u2_b68 12 20 2 68 frc(lrg(R,mlt(P,R))) 36438 98255702 o1(o2(x,o2(x,x))) true 121351 121351 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_x20_u2_b69 12 20 2 69 frc(lrg(R,div(P,R))) 36439 98255703 o1(o2(x,o2(x,x))) true 121359 121359 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_x20_u2_b70 12 20 2 70 frc(lrg(R,pow(P,R))) 36440 98255704 o1(o2(x,o2(x,x))) true 121367 121367 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_x20_u2_b71 12 20 2 71 frc(lrg(R,mod(P,R))) 36441 98255705 o1(o2(x,o2(x,x))) true 121375 121375 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_x20_u2_b72 12 20 2 72 frc(lrg(R,lrg(P,R))) 36442 98255706 o1(o2(x,o2(x,x))) true 121383 121383 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_x20_u2_b73 12 20 2 73 frc(lrg(R,eql(P,R))) 36443 98255707 o1(o2(x,o2(x,x))) true 121391 121391 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_x20_u2_b74 12 20 2 74 frc(lrg(R,min(P,R))) 36444 98255708 o1(o2(x,o2(x,x))) true 121399 121399 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_x20_u2_b75 12 20 2 75 frc(lrg(R,dot(P,R))) 36445 98255709 o1(o2(x,o2(x,x))) true 121407 121407 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_x20_u2_b76 12 20 2 76 frc(lrg(R,dst(P,R))) 36446 98255710 o1(o2(x,o2(x,x))) true 121415 121415 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_x20_u2_b77 12 20 2 77 frc(eql(R,add(P,R))) 36447 98255711 o1(o2(x,o2(x,x))) true 121423 121423 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_x20_u2_b78 12 20 2 78 frc(eql(R,sub(P,R))) 36448 98255712 o1(o2(x,o2(x,x))) true 121431 121431 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_x20_u2_b79 12 20 2 79 frc(eql(R,mlt(P,R))) 36449 98255713 o1(o2(x,o2(x,x))) true 121439 121439 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_x20_u2_b80 12 20 2 80 frc(eql(R,div(P,R))) 36450 98255714 o1(o2(x,o2(x,x))) true 121447 121447 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_x20_u2_b81 12 20 2 81 frc(eql(R,pow(P,R))) 36451 98255715 o1(o2(x,o2(x,x))) true 121455 121455 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_x20_u2_b82 12 20 2 82 frc(eql(R,mod(P,R))) 36452 98255716 o1(o2(x,o2(x,x))) true 121463 121463 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_x20_u2_b83 12 20 2 83 frc(eql(R,lrg(P,R))) 36453 98255717 o1(o2(x,o2(x,x))) true 121471 121471 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_x20_u2_b84 12 20 2 84 frc(eql(R,eql(P,R))) 36454 98255718 o1(o2(x,o2(x,x))) true 121479 121479 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_x20_u2_b85 12 20 2 85 frc(eql(R,min(P,R))) 36455 98255719 o1(o2(x,o2(x,x))) true 121487 121487 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_x20_u2_b86 12 20 2 86 frc(eql(R,dot(P,R))) 36456 98255720 o1(o2(x,o2(x,x))) true 121495 121495 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_x20_u2_b87 12 20 2 87 frc(eql(R,dst(P,R))) 36457 98255721 o1(o2(x,o2(x,x))) true 121503 121503 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_x20_u2_b88 12 20 2 88 frc(min(R,add(P,R))) 36458 98255722 o1(o2(x,o2(x,x))) true 121511 121511 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x20_u2_b89 12 20 2 89 frc(min(R,sub(P,R))) 36459 98255723 o1(o2(x,o2(x,x))) true 121519 121519 0.4752 1 0.4752 0.05191 0.2278 0.001084 0.9988 0.9977 1 3.835 0.0007025 0.0006694 0.03031 0.02413 1 0.00000864 0.00008071 0.006963 0.0004533 0.02129 0.7024 0.1132 0.02643 0.001555 1 1 0.00251 0.03232 0.08777 0.04835 0.6227 1.691 json
t12_x20_u2_b90 12 20 2 90 frc(min(R,mlt(P,R))) 36460 98255724 o1(o2(x,o2(x,x))) true 121527 121527 0.4892 0.9993 0.4892 0.05813 0.2411 9.693e-7 0.9966 0.9966 1 3.886 0.0008576 0.0006795 0.03216 0.1159 1 0.00002476 0.00009017 0.007361 0.0005027 0.02242 0.6972 0.1114 0.02644 0.001551 1 1 0.002954 0.03799 0.1123 0.05083 0.6536 1.932 json
t12_x20_u2_b91 12 20 2 91 frc(min(R,div(P,R))) 36461 98255725 o1(o2(x,o2(x,x))) true 121535 121535 0.5027 0.9998 0.5027 0.05285 0.2299 9.927e-7 0.998 0.998 1 3.841 0.0007842 0.0005779 0.03002 0.1515 1 0.00002327 0.00007836 0.006859 0.0004607 0.02146 0.715 0.1114 0.02577 0.001483 1 1 0.002592 0.03357 0.1106 0.04905 0.6351 2.093 json
t12_x20_u2_b92 12 20 2 92 frc(min(R,pow(P,R))) 36462 98255726 o1(o2(x,o2(x,x))) true 121543 121543 0.5123 0.9998 0.5123 0.05527 0.2351 9.693e-7 0.997 0.997 1 3.857 0.0008432 0.0006822 0.03208 0.1055 1 0.0000459 0.00008874 0.007368 0.000496 0.02227 0.6941 0.1132 0.0276 0.001606 1 1 0.002843 0.03657 0.09809 0.05143 0.6617 1.775 json
t12_x20_u2_b93 12 20 2 93 frc(min(R,mod(P,R))) 36463 98255727 o1(o2(x,o2(x,x))) true 121551 121551 0.5024 0.9993 0.5024 0.07107 0.2666 1.497e-7 0.9996 0.9996 1 3.955 0.0007153 0.0007143 0.0304 0.0006902 1 0.00003455 0.00008341 0.006997 0.0005057 0.02249 0.7398 0.113 0.02012 0.001174 1 1 0.002844 0.03674 0.1113 0.04002 0.5169 1.566 json
t12_x20_u2_b94 12 20 2 94 frc(min(R,lrg(P,R))) 36464 98255728 o1(o2(x,o2(x,x))) true 121559 121559 0.3814 0.9489 0.3814 0.07852 0.2802 0 0.997 0.997 1 3.755 0.0007675 0.0008277 0.03115 -0.03772 1 0.00003507 0.00009202 0.0072 0.0006248 0.025 0.8024 0.1158 0.02032 0.001172 1 1 0.002994 0.0386 0.1201 0.03813 0.4916 1.529 json
t12_x20_u2_b95 12 20 2 95 frc(min(R,eql(P,R))) 36465 98255729 o1(o2(x,o2(x,x))) true 121567 121567 0.2635 0.9281 0.2635 0.06592 0.2568 0 0.9969 0.9969 1 3.381 0.000835 0.001027 0.03338 -0.1029 1 0.00003113 0.0001101 0.007819 0.0007475 0.02734 0.819 0.1165 0.02824 0.00167 1 1 0.003689 0.04762 0.1331 0.05596 0.7223 2.019 json
t12_x20_u2_b96 12 20 2 96 frc(min(R,min(P,R))) 36466 98255730 o1(o2(x,o2(x,x))) true 121575 121575 0.2632 0.5433 0.2632 0.09188 0.3031 0 0.997 0.997 1 2.919 0.000413 0.0003448 0.01653 0.08994 1 0.00002937 0.00004373 0.003797 0.0004845 0.02201 1.332 0.1114 0.008247 0.000476 1 1 0.00139 0.0181 0.07016 0.01513 0.197 0.7636 json
t12_x20_u2_b97 12 20 2 97 frc(min(R,dot(P,R))) 36467 98255731 o1(o2(x,o2(x,x))) true 121583 121583 0.539 1 0.539 0.05484 0.2342 0.0002449 0.9987 0.9985 1 3.862 0.0007593 0.0006784 0.03119 0.05628 1 0.00003117 0.00008431 0.007186 0.0004647 0.02156 0.6911 0.1132 0.02622 0.001537 1 1 0.002876 0.03683 0.1065 0.05245 0.6715 1.942 json
t12_x20_u2_b98 12 20 2 98 frc(min(R,dst(P,R))) 36468 98255732 o1(o2(x,o2(x,x))) true 121591 121591 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x20_u2_b99 12 20 2 99 frc(dot(R,add(P,R))) 36469 98255733 o1(o2(x,o2(x,x))) true 121599 121599 0.4981 1 0.4981 0.04612 0.2148 0.004849 0.9938 0.989 1 3.79 0.0006938 0.000679 0.03058 0.01071 1 0.00001326 0.00008166 0.007012 0.0004376 0.02092 0.684 0.1138 0.02977 0.001771 1 1 0.002693 0.03476 0.1017 0.05839 0.7537 2.206 json
t12_x20_u2_b100 12 20 2 100 frc(dot(R,sub(P,R))) 36470 98255734 o1(o2(x,o2(x,x))) true 121607 121607 0.5049 1 0.5049 0.04748 0.2179 0.003896 0.9994 0.9955 1 3.805 0.0007501 0.0006566 0.03096 0.06649 1 -0.000005516 0.00008316 0.007066 0.000448 0.02117 0.6836 0.1124 0.02962 0.001751 1 1 0.00237 0.03055 0.08298 0.04992 0.6435 1.748 json
t12_x20_u2_b101 12 20 2 101 frc(dot(R,mlt(P,R))) 36471 98255735 o1(o2(x,o2(x,x))) true 121615 121615 0.5029 1 0.5029 0.06025 0.2455 0.00004905 0.9945 0.9944 1 3.917 0.0009716 0.0008628 0.03556 0.0593 1 -0.000001655 0.0001135 0.008331 0.0005702 0.02388 0.6716 0.1141 0.03044 0.001883 1 1 0.00367 0.04733 0.1172 0.06091 0.7856 1.945 json
t12_x20_u2_b102 12 20 2 102 frc(dot(R,div(P,R))) 36472 98255736 o1(o2(x,o2(x,x))) true 121623 121623 0.167 0.4484 0.167 0.08916 0.2986 0 1 1 1 2.099 0.001069 0.00117 0.02648 -0.04501 1 0.00000785 0.000137 0.006476 0.001538 0.03922 1.481 0.1169 0.02511 0.001537 1 1 0.003866 0.05004 0.1589 0.04336 0.5612 1.782 json
t12_x20_u2_b103 12 20 2 103 frc(dot(R,pow(P,R))) 36473 98255737 o1(o2(x,o2(x,x))) true 121631 121631 -0.9814 0.01172 0.9951 0.0295 0.1718 -1 0.863 1.863 1 0.1313 0.002329 0.00389 0.004236 -0.251 1 5.256e-11 0.013 0.007895 0.006202 0.07875 18.59 2.635 0.2108 0.4406 1 1 0.001638 0.01148 0.02657 0.05553 0.3892 0.9007 json
t12_x20_u2_b104 12 20 2 104 frc(dot(R,mod(P,R))) 36474 98255738 o1(o2(x,o2(x,x))) true 121639 121639 0.4902 1 0.4902 0.07352 0.2711 0.00003712 0.9997 0.9997 1 3.965 0.00102 0.001157 0.03825 -0.06312 1 0.00002143 0.0001264 0.008855 0.0007137 0.02672 0.6984 0.1155 0.02961 0.001719 1 1 0.004438 0.05738 0.1451 0.06037 0.7804 1.974 json
t12_x20_u2_b105 12 20 2 105 frc(dot(R,lrg(P,R))) 36475 98255739 o1(o2(x,o2(x,x))) true 121647 121647 0.474 0.9893 0.474 0.06619 0.2573 0 0.9966 0.9966 1 3.912 0.0007999 0.0009004 0.03314 -0.0591 1 -0.000005326 0.0001037 0.007777 0.0006022 0.02454 0.7406 0.1162 0.02569 0.001566 1 1 0.003657 0.04711 0.1174 0.05526 0.7118 1.774 json
t12_x20_u2_b106 12 20 2 106 frc(dot(R,eql(P,R))) 36476 98255740 o1(o2(x,o2(x,x))) true 121655 121655 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_x20_u2_b107 12 20 2 107 frc(dot(R,min(P,R))) 36477 98255741 o1(o2(x,o2(x,x))) true 121663 121663 0.4887 1 0.4887 0.04934 0.2221 0.00744 0.9995 0.992 1 3.82 0.0007133 0.0006692 0.03071 0.03195 1 0.00004336 0.00008057 0.007003 0.0004396 0.02097 0.6828 0.1131 0.02802 0.001633 1 1 0.002678 0.03447 0.09669 0.05428 0.6986 1.96 json
t12_x20_u2_b108 12 20 2 108 frc(dot(R,dot(P,R))) 36478 98255742 o1(o2(x,o2(x,x))) true 121671 121671 0.475 1 0.475 0.06071 0.2464 0.0002924 0.9986 0.9983 1 3.913 0.0008484 0.0008706 0.03399 -0.01293 1 0.00000963 0.000103 0.007823 0.0005637 0.02374 0.6985 0.1167 0.02832 0.001696 1 1 0.003726 0.04829 0.1332 0.06138 0.7954 2.193 json
t12_x20_u2_b109 12 20 2 109 frc(dot(R,dst(P,R))) 36479 98255743 o1(o2(x,o2(x,x))) true 121679 121679 0.487 1 0.487 0.05321 0.2307 0.002377 0.9989 0.9965 1 3.858 0.0007343 0.0006154 0.02976 0.08809 1 0.00003101 0.0000804 0.006871 0.0004644 0.02155 0.7242 0.1136 0.02536 0.001511 1 1 0.002799 0.03618 0.1008 0.05259 0.6799 1.894 json
t12_x20_u2_b110 12 20 2 110 frc(dst(R,add(P,R))) 36480 98255744 o1(o2(x,o2(x,x))) true 121687 121687 0.3343 0.9865 0.3343 0.0552 0.2349 3.509e-8 0.9995 0.9995 1 3.686 0.000568 0.0005891 0.02679 -0.01828 1 -3.839e-7 0.00006697 0.006113 0.0004395 0.02097 0.7826 0.1169 0.02096 0.001213 1 1 0.002221 0.02873 0.09736 0.04025 0.5205 1.764 json
t12_x20_u2_b111 12 20 2 111 frc(dst(R,sub(P,R))) 36481 98255745 o1(o2(x,o2(x,x))) true 121695 121695 0.501 1 0.501 0.04962 0.2228 0.003363 0.9935 0.9901 1 3.824 0.0007197 0.0008254 0.0322 -0.06842 1 0.000001881 0.00009165 0.007398 0.0005081 0.02254 0.6999 0.1153 0.03114 0.001847 1 1 0.003072 0.03961 0.09467 0.0619 0.7982 1.908 json
t12_x20_u2_b112 12 20 2 112 frc(dst(R,mlt(P,R))) 36482 98255746 o1(o2(x,o2(x,x))) true 121703 121703 0.5226 1 0.5226 0.05581 0.2362 0.000848 0.9983 0.9974 1 3.884 0.0008465 0.0006787 0.03181 0.11 1 0.000007454 0.00009344 0.007365 0.0005133 0.02266 0.7122 0.1127 0.02733 0.001674 1 1 0.003105 0.0401 0.1146 0.05564 0.7184 2.053 json
t12_x20_u2_b113 12 20 2 113 frc(dst(R,div(P,R))) 36483 98255747 o1(o2(x,o2(x,x))) true 121711 121711 0.4758 1 0.4758 0.05275 0.2297 0.001942 0.9908 0.9889 1 3.844 0.0006545 0.0007597 0.03039 -0.07439 1 0.00003045 0.0000853 0.00708 0.0004905 0.02215 0.7286 0.1082 0.02681 0.001617 1 1 0.002841 0.03675 0.1013 0.05385 0.6966 1.921 json
t12_x20_u2_b114 12 20 2 114 frc(dst(R,pow(P,R))) 36484 98255748 o1(o2(x,o2(x,x))) true 121719 121719 -0.9823 0.01172 0.9942 0.0268 0.1637 -1 0.9555 1.956 1 0.132 0.002523 0.003527 0.004103 -0.1659 1 1.164e-10 0.01272 0.007764 0.006035 0.07768 18.93 1.956 0.2258 0.4746 1 1 0.001622 0.01117 0.02422 0.06052 0.4167 0.9037 json
t12_x20_u2_b115 12 20 2 115 frc(dst(R,mod(P,R))) 36485 98255749 o1(o2(x,o2(x,x))) true 121727 121727 0.4922 1 0.4922 0.0554 0.2354 0.001385 0.9954 0.9941 1 3.878 0.0008145 0.0006433 0.03081 0.1175 1 0.00002151 0.00008407 0.007073 0.0005085 0.02255 0.7319 0.1123 0.02631 0.001517 1 1 0.002935 0.03789 0.121 0.05298 0.684 2.183 json
t12_x20_u2_b116 12 20 2 116 frc(dst(R,lrg(P,R))) 36486 98255750 o1(o2(x,o2(x,x))) true 121735 121735 0.4813 1 0.4813 0.05109 0.226 0.001313 0.9941 0.9928 1 3.842 0.0007553 0.0007284 0.03184 0.01811 1 -0.00001951 0.00008916 0.007375 0.0004701 0.02168 0.6809 0.1144 0.02904 0.001745 1 1 0.002888 0.03729 0.1041 0.05652 0.73 2.037 json
t12_x20_u2_b117 12 20 2 117 frc(dst(R,eql(P,R))) 36487 98255751 o1(o2(x,o2(x,x))) true 121743 121743 0.4499 1 0.4499 0.06286 0.2507 0.01038 0.9973 0.9869 1 3.893 0.0007229 0.0008491 0.03211 -0.08025 1 0.000009686 0.00009248 0.007393 0.0005409 0.02326 0.7242 0.1128 0.02501 0.001471 1 1 0.003189 0.04124 0.1375 0.05072 0.656 2.188 json
t12_x20_u2_b118 12 20 2 118 frc(dst(R,min(P,R))) 36488 98255752 o1(o2(x,o2(x,x))) true 121751 121751 0.4402 0.984 0.4402 0.07351 0.2711 0 0.998 0.998 1 3.936 0.0008766 0.0008336 0.03315 0.02516 1 0.00001131 0.00009874 0.007623 0.0006115 0.02473 0.746 0.1159 0.02326 0.001343 1 1 0.003204 0.04142 0.1204 0.04358 0.5635 1.638 json
t12_x20_u2_b119 12 20 2 119 frc(dst(R,dot(P,R))) 36489 98255753 o1(o2(x,o2(x,x))) true 121759 121759 0.5001 1 0.5001 0.05183 0.2277 0.001021 0.9971 0.996 1 3.848 0.0007676 0.000809 0.03292 -0.02631 1 0.00001712 0.00009358 0.00755 0.0004927 0.0222 0.6742 0.113 0.03042 0.001805 1 1 0.003286 0.0424 0.1034 0.0634 0.8181 1.995 json
t12_x20_u2_b120 12 20 2 120 frc(dst(R,dst(P,R))) 36490 98255754 o1(o2(x,o2(x,x))) true 121767 121767 0.4487 1 0.4487 0.05236 0.2288 0.009742 0.999 0.9892 1 3.839 0.0006692 0.0007203 0.02998 -0.03673 1 -0.000002595 0.00008217 0.006886 0.0004909 0.02216 0.7391 0.113 0.02654 0.001569 1 1 0.002848 0.03692 0.1049 0.0544 0.7053 2.003 json
t12_x20_u3_b0 12 20 3 0 flr(add(R,add(P,R))) 36491 98255835 o1(o2(x,o2(x,x))) true 121775 121775 -0.0547 0.4797 0.9392 0.9201 0.9592 -1 1 2 1 1.881 0.00222 0.001423 0.01762 0.2187 1 -0.00004061 0.0009571 0.007108 0.003331 0.05772 3.276 0.4675 0.003959 0.00104 1 1 0.00877 0.0923 0.3318 0.009531 0.1003 0.3606 json
t12_x20_u3_b1 12 20 3 1 flr(add(R,sub(P,R))) 36492 98255836 o1(o2(x,o2(x,x))) true 121783 121783 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x20_u3_b2 12 20 3 2 flr(add(R,mlt(P,R))) 36493 98255837 o1(o2(x,o2(x,x))) true 121791 121791 -0.2765 0.2843 0.7258 0.5945 0.771 -1 1 2 1 3.365 0.0172 0.01839 0.08644 -0.03335 1 -0.00003734 0.02093 0.04827 0.02812 0.1677 1.94 1.636 0.05988 0.03521 1 1 0.05033 0.4319 0.9911 0.08467 0.7265 1.667 json
t12_x20_u3_b3 12 20 3 3 flr(add(R,div(P,R))) 36494 98255838 o1(o2(x,o2(x,x))) true 121799 121799 -0.09869 0.4446 0.9391 0.9116 0.9548 -1 1 2 1 1.9 0.06448 0.07943 0.1132 -0.1039 1 0.00001429 0.2834 0.1606 0.1311 0.362 3.197 2.828 0.1579 0.3109 1 1 0.1631 0.842 1.858 0.1789 0.9237 2.038 json
t12_x20_u3_b4 12 20 3 4 flr(add(R,pow(P,R))) 36495 98255839 o1(o2(x,o2(x,x))) true 121807 121807 -0.3766 0.3354 0.8297 0.6485 0.8053 -1 1 2 1 2.647 0.01309 0.006503 0.04464 0.3361 1 -0.00007911 0.02678 0.02964 0.01761 0.1327 2.973 2.828 0.03021 0.04129 1 1 0.02778 0.1891 0.4994 0.04283 0.2916 0.77 json
t12_x20_u3_b5 12 20 3 5 flr(add(R,mod(P,R))) 36496 98255840 o1(o2(x,o2(x,x))) true 121815 121815 -0.4513 0.1102 0.558 0.2569 0.5069 -1 0.9997 2 1 3.993 0.003822 0.003821 0.06445 0.0001158 1 0.00001712 0.0006348 0.01652 0.00349 0.05907 0.9166 0.2338 0.02975 0.002471 1 1 0.01494 0.188 0.4987 0.05815 0.7319 1.941 json
t12_x20_u3_b6 12 20 3 6 flr(add(R,lrg(P,R))) 36497 98255841 o1(o2(x,o2(x,x))) true 121823 121823 -0.01367 0.455 0.4434 0.3493 0.591 -1 1 2 1 4.358 0.001991 0.002332 0.05065 -0.07892 1 -0.00001211 0.0002525 0.0123 0.001758 0.04193 0.8278 0.1169 0.01238 0.0007229 1 1 0.008378 0.108 0.3212 0.02399 0.3092 0.9196 json
t12_x20_u3_b7 12 20 3 7 flr(add(R,eql(P,R))) 36498 98255842 o1(o2(x,o2(x,x))) true 121831 121831 -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_x20_u3_b8 12 20 3 8 flr(add(R,min(P,R))) 36499 98255843 o1(o2(x,o2(x,x))) true 121839 121839 -0.6898 0.1311 0.8332 0.3086 0.5555 -1 1 2 1 2.466 0.004305 0.004024 0.04598 0.03369 1 0.00006661 0.001371 0.0142 0.006213 0.07882 1.714 0.3507 0.02699 0.004443 1 1 0.0164 0.1903 0.4976 0.05314 0.6165 1.612 json