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_x14_u4_b70 12 14 4 70 cil(lrg(D,pow(D,R))) 31600 98013700 o1(o2(x,o2(x,x))) true 82647 82647 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_x14_u4_b71 12 14 4 71 cil(lrg(D,mod(D,R))) 31601 98013701 o1(o2(x,o2(x,x))) true 82655 82655 0.1348 0.6426 0.1348 0.05182 0.2276 0 0.9994 0.9994 1 2.258 0.01901 0.0006433 0.06102 0.9345 1 -0.0003165 0.03796 0.06691 0.01593 0.1262 2.068 0.9991 0.3793 0.7325 1 1 0.01919 0.06753 0.08257 0.3704 1.303 1.593 json
t12_x14_u4_b72 12 14 4 72 cil(lrg(D,lrg(D,R))) 31602 98013702 o1(o2(x,o2(x,x))) true 82663 82663 0.1839 0.4355 0.1839 0.1009 0.3176 0 0.9997 0.9997 1 2.152 0.03393 0.001031 0.06662 0.941 1 0.00004789 0.06661 0.08621 0.03051 0.1747 2.622 0.9997 0.3466 0.6604 1 1 0.03498 0.1373 0.1383 0.3468 1.361 1.371 json
t12_x14_u4_b73 12 14 4 73 cil(lrg(D,eql(D,R))) 31603 98013703 o1(o2(x,o2(x,x))) true 82671 82671 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_x14_u4_b74 12 14 4 74 cil(lrg(D,min(D,R))) 31604 98013704 o1(o2(x,o2(x,x))) true 82679 82679 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t12_x14_u4_b75 12 14 4 75 cil(lrg(D,dot(D,R))) 31605 98013705 o1(o2(x,o2(x,x))) true 82687 82687 0.4965 0.9629 0.4965 0.1256 0.3544 0 1 1 1 3.718 0.04116 0.02596 0.1343 0.2265 1 0.0001299 0.1995 0.1735 0.04909 0.2216 1.65 1.413 0.5343 1.588 1 1 0.07113 0.2507 0.1625 0.5663 1.996 1.294 json
t12_x14_u4_b76 12 14 4 76 cil(lrg(D,dst(D,R))) 31606 98013706 o1(o2(x,o2(x,x))) true 82695 82695 0.01319 0.1343 0.01319 0.004252 0.06521 0 0.9926 0.9926 1 0.4432 0.001892 0.001167 0.01042 0.2371 1 -0.0000432 0.01 0.01531 0.00295 0.05431 5.211 1.388 0.7195 2.353 1 1 0.002267 0.005917 0.006418 0.5331 1.391 1.509 json
t12_x14_u4_b77 12 14 4 77 cil(eql(D,add(D,R))) 31607 98013707 o1(o2(x,o2(x,x))) true 82703 82703 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_x14_u4_b78 12 14 4 78 cil(eql(D,sub(D,R))) 31608 98013708 o1(o2(x,o2(x,x))) true 82711 82711 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_x14_u4_b79 12 14 4 79 cil(eql(D,mlt(D,R))) 31609 98013709 o1(o2(x,o2(x,x))) true 82719 82719 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_x14_u4_b80 12 14 4 80 cil(eql(D,div(D,R))) 31610 98013710 o1(o2(x,o2(x,x))) true 82727 82727 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_x14_u4_b81 12 14 4 81 cil(eql(D,pow(D,R))) 31611 98013711 o1(o2(x,o2(x,x))) true 82735 82735 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_x14_u4_b82 12 14 4 82 cil(eql(D,mod(D,R))) 31612 98013712 o1(o2(x,o2(x,x))) true 82743 82743 0.7306 0.9678 0.7306 0.1142 0.3379 0 1 1 1 2.991 0.03728 0.001281 0.09495 0.9335 1 0.0006337 0.07144 0.1198 0.02955 0.1719 1.81 0.9994 0.3377 0.6257 1 1 0.03933 0.1354 0.168 0.3445 1.186 1.471 json
t12_x14_u4_b83 12 14 4 83 cil(eql(D,lrg(D,R))) 31613 98013713 o1(o2(x,o2(x,x))) true 82751 82751 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_x14_u4_b84 12 14 4 84 cil(eql(D,eql(D,R))) 31614 98013714 o1(o2(x,o2(x,x))) true 82759 82759 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_x14_u4_b85 12 14 4 85 cil(eql(D,min(D,R))) 31615 98013715 o1(o2(x,o2(x,x))) true 82767 82767 0.4992 0.9305 0.4992 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t12_x14_u4_b86 12 14 4 86 cil(eql(D,dot(D,R))) 31616 98013716 o1(o2(x,o2(x,x))) true 82775 82775 0.0002289 0.0005951 0.0002289 0.0001639 0.0128 0 0.9994 0.9994 1 0.007102 0.0002676 0.0002676 0.0006704 -5.439e-8 1 -6.57e-12 0.002676 0.001571 0.0005344 0.02312 34.48 1.271 3.265 16.32 1 1 0.0000865 0.00009909 0.0001285 0.5278 0.6046 0.7839 json
t12_x14_u4_b87 12 14 4 87 cil(eql(D,dst(D,R))) 31617 98013717 o1(o2(x,o2(x,x))) true 82783 82783 0.00001564 0.00009155 0.00001564 0.00000586 0.002421 0 0.5782 0.5782 1 0.001258 0.0000121 0.0000121 0.00005511 0 0 0 0.000121 0.0001291 0.00002419 0.004918 89.24 0.8177 4.128 20.64 1 1 0.000001655 0.000001655 0.000001677 0.2824 0.2824 0.2862 json
t12_x14_u4_b88 12 14 4 88 cil(min(D,add(D,R))) 31618 98013718 o1(o2(x,o2(x,x))) true 82791 82791 0.247 0.814 0.3264 0.1558 0.3947 -0.9991 0.9997 1.999 1 4.052 0.04837 0.001457 0.1227 0.9415 1 0.0002501 0.09259 0.1333 0.03478 0.1865 1.52 1.006 0.3198 0.5942 1 1 0.05159 0.1884 0.1795 0.3311 1.209 1.152 json
t12_x14_u4_b89 12 14 4 89 cil(min(D,sub(D,R))) 31619 98013719 o1(o2(x,o2(x,x))) true 82799 82799 0.2355 0.7884 0.3241 0.1626 0.4033 -0.9991 0.9997 1.999 1 4.041 0.05034 0.001528 0.124 0.9411 1 0.00006967 0.0954 0.1335 0.03649 0.191 1.541 1.006 0.3189 0.5866 1 1 0.05665 0.2124 0.202 0.3483 1.306 1.242 json
t12_x14_u4_b90 12 14 4 90 cil(min(D,mlt(D,R))) 31620 98013720 o1(o2(x,o2(x,x))) true 82807 82807 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 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_x14_u4_b91 12 14 4 91 cil(min(D,div(D,R))) 31621 98013721 o1(o2(x,o2(x,x))) true 82815 82815 0.01674 0.5075 0.3757 0.2824 0.5314 -1 0.9997 2 1 4.285 0.05563 0.004875 0.1307 0.8389 1 0.000909 0.104 0.1495 0.04342 0.2084 1.594 2 0.2142 0.3682 1 1 0.06496 0.318 0.4575 0.23 1.126 1.62 json
t12_x14_u4_b92 12 14 4 92 cil(min(D,pow(D,R))) 31622 98013722 o1(o2(x,o2(x,x))) true 82823 82823 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_x14_u4_b93 12 14 4 93 cil(min(D,mod(D,R))) 31623 98013723 o1(o2(x,o2(x,x))) true 82831 82831 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_x14_u4_b94 12 14 4 94 cil(min(D,lrg(D,R))) 31624 98013724 o1(o2(x,o2(x,x))) true 82839 82839 0.316 0.905 0.316 0.1174 0.3427 0 0.9997 0.9997 1 3.271 0.03888 0.001031 0.09674 0.9483 1 -0.00004789 0.07352 0.1006 0.03055 0.1748 1.807 0.9997 0.3398 0.626 1 1 0.04371 0.1708 0.1383 0.3722 1.454 1.177 json
t12_x14_u4_b95 12 14 4 95 cil(min(D,eql(D,R))) 31625 98013725 o1(o2(x,o2(x,x))) true 82847 82847 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_x14_u4_b96 12 14 4 96 cil(min(D,min(D,R))) 31626 98013726 o1(o2(x,o2(x,x))) true 82855 82855 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 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_x14_u4_b97 12 14 4 97 cil(min(D,dot(D,R))) 31627 98013727 o1(o2(x,o2(x,x))) true 82863 82863 0.246 0.7074 0.2466 0.1116 0.3341 -0.145 0.9997 1.145 1 2.964 0.04163 0.01711 0.1033 0.4174 1 -0.0002385 0.1641 0.1461 0.04807 0.2193 2.122 1.414 0.5264 1.471 1 1 0.06045 0.1969 0.1493 0.5417 1.765 1.338 json
t12_x14_u4_b98 12 14 4 98 cil(min(D,dst(D,R))) 31628 98013728 o1(o2(x,o2(x,x))) true 82871 82871 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_x14_u4_b99 12 14 4 99 cil(dot(D,add(D,R))) 31629 98013729 o1(o2(x,o2(x,x))) true 82879 82879 0.7535 0.9998 0.7535 0.1267 0.356 0 1 1 1 2.443 0.03496 0.03468 0.109 0.004052 1 -0.0005934 0.2112 0.1858 0.05779 0.2404 2.206 1.414 0.5496 1.667 1 1 0.07185 0.247 0.2292 0.5671 1.949 1.809 json
t12_x14_u4_b100 12 14 4 100 cil(dot(D,sub(D,R))) 31630 98013730 o1(o2(x,o2(x,x))) true 82887 82887 0.7436 1 0.7436 0.1267 0.356 0.00008101 1 0.9999 1 2.553 0.03558 0.03534 0.1133 0.003428 1 -0.0003302 0.2144 0.1894 0.0581 0.241 2.127 1.414 0.5597 1.692 1 1 0.07594 0.2555 0.2309 0.5993 2.017 1.822 json
t12_x14_u4_b101 12 14 4 101 cil(dot(D,mlt(D,R))) 31631 98013731 o1(o2(x,o2(x,x))) true 82895 82895 0.4905 0.9118 0.4905 0.157 0.3962 -0.0009916 1 1.001 1 3.393 0.03365 0.03354 0.1181 0.001703 1 -0.0003128 0.2303 0.1771 0.05323 0.2307 1.953 1.409 0.428 1.467 1 1 0.07313 0.2006 0.3003 0.4658 1.278 1.913 json
t12_x14_u4_b102 12 14 4 102 cil(dot(D,div(D,R))) 31632 98013732 o1(o2(x,o2(x,x))) true 82903 82903 0.3567 0.7282 0.6248 0.409 0.6395 -1 1 2 1 4.015 0.04961 0.0494 0.1754 0.002202 1 0.0002534 0.2823 0.2725 0.06823 0.2612 1.489 2.058 0.2421 0.6902 1 1 0.09992 0.37 0.7402 0.2443 0.9046 1.81 json
t12_x14_u4_b103 12 14 4 103 cil(dot(D,pow(D,R))) 31633 98013733 o1(o2(x,o2(x,x))) true 82911 82911 -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_x14_u4_b104 12 14 4 104 cil(dot(D,mod(D,R))) 31634 98013734 o1(o2(x,o2(x,x))) true 82919 82919 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b105 12 14 4 105 cil(dot(D,lrg(D,R))) 31635 98013735 o1(o2(x,o2(x,x))) true 82927 82927 0.4859 0.9837 0.4859 0.1298 0.3603 -0.000289 1 1 1 3.721 0.03179 0.03047 0.1307 0.02133 1 -0.0001198 0.1658 0.174 0.04518 0.2125 1.626 1.409 0.4795 1.277 1 1 0.06232 0.2123 0.1834 0.48 1.635 1.412 json
t12_x14_u4_b106 12 14 4 106 cil(dot(D,eql(D,R))) 31636 98013736 o1(o2(x,o2(x,x))) true 82935 82935 0.0002102 0.0004883 0.0002102 0.0001417 0.0119 0 0.8606 0.8606 1 0.006317 0.000002076 0.0002926 0.0004378 -0.9859 1 -2.568e-11 0.0008861 0.000868 0.0002944 0.01716 39.19 0.8606 2.08 6.254 1 1 0.0002646 0.0003513 0.0005147 1.867 2.479 3.633 json
t12_x14_u4_b107 12 14 4 107 cil(dot(D,min(D,R))) 31637 98013737 o1(o2(x,o2(x,x))) true 82943 82943 0.729 1 0.729 0.1092 0.3305 0.000291 1 0.9997 1 3.036 0.02709 0.02653 0.1001 0.01038 1 -0.000333 0.169 0.1426 0.04361 0.2088 2.086 1.409 0.491 1.548 1 1 0.0552 0.1947 0.1711 0.5055 1.783 1.567 json
t12_x14_u4_b108 12 14 4 108 cil(dot(D,dot(D,R))) 31638 98013738 o1(o2(x,o2(x,x))) true 82951 82951 0.4808 0.9088 0.4809 0.156 0.3949 -0.09959 1 1.1 1 3.466 0.06589 0.06544 0.1742 0.003441 1 -0.0003492 0.5434 0.3395 0.101 0.3178 1.825 1.414 0.842 3.484 1 1 0.1175 0.2555 0.2799 0.7536 1.638 1.794 json
t12_x14_u4_b109 12 14 4 109 cil(dot(D,dst(D,R))) 31639 98013739 o1(o2(x,o2(x,x))) true 82959 82959 0.471 0.9788 0.4723 0.08891 0.2982 -0.3333 1 1.333 1 4.019 0.04673 0.04667 0.1826 0.0006479 1 0.00002735 0.3854 0.3019 0.06004 0.245 1.342 1.409 1.05 4.335 1 1 0.08909 0.2208 0.02574 1.002 2.483 0.2895 json
t12_x14_u4_b110 12 14 4 110 cil(dst(D,add(D,R))) 31640 98013740 o1(o2(x,o2(x,x))) true 82967 82967 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b111 12 14 4 111 cil(dst(D,sub(D,R))) 31641 98013741 o1(o2(x,o2(x,x))) true 82975 82975 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b112 12 14 4 112 cil(dst(D,mlt(D,R))) 31642 98013742 o1(o2(x,o2(x,x))) true 82983 82983 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b113 12 14 4 113 cil(dst(D,div(D,R))) 31643 98013743 o1(o2(x,o2(x,x))) true 82991 82991 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b114 12 14 4 114 cil(dst(D,pow(D,R))) 31644 98013744 o1(o2(x,o2(x,x))) true 82999 82999 -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_x14_u4_b115 12 14 4 115 cil(dst(D,mod(D,R))) 31645 98013745 o1(o2(x,o2(x,x))) true 83007 83007 0.4669 0.9962 0.4669 0.1522 0.3901 0 1 1 1 3.396 0.02853 0.02943 0.1232 -0.01551 1 -0.0005815 0.1144 0.1674 0.04278 0.2068 1.679 1.409 0.3809 0.7517 1 1 0.05992 0.2003 0.2508 0.3937 1.316 1.648 json
t12_x14_u4_b116 12 14 4 116 cil(dst(D,lrg(D,R))) 31646 98013746 o1(o2(x,o2(x,x))) true 83015 83015 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b117 12 14 4 117 cil(dst(D,eql(D,R))) 31647 98013747 o1(o2(x,o2(x,x))) true 83023 83023 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b118 12 14 4 118 cil(dst(D,min(D,R))) 31648 98013748 o1(o2(x,o2(x,x))) true 83031 83031 0.9085 0.9998 0.9085 0.05294 0.2301 8.471e-8 1 1 1 1.392 0.004152 0.004167 0.02974 -0.001884 1 0.000009581 0.01448 0.03036 0.007434 0.08622 2.899 1.413 0.1571 0.2734 1 1 0.01163 0.06785 0.1118 0.2196 1.282 2.111 json
t12_x14_u4_b119 12 14 4 119 cil(dst(D,dot(D,R))) 31649 98013749 o1(o2(x,o2(x,x))) true 83039 83039 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u4_b120 12 14 4 120 cil(dst(D,dst(D,R))) 31650 98013750 o1(o2(x,o2(x,x))) true 83047 83047 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u5_b0 12 14 5 0 sgn(add(D,add(D,R))) 31651 98013831 o1(o2(x,o2(x,x))) true 83055 83055 0.007972 0.5063 0.6323 0.5021 0.7086 -1 1 2 1 4.025 0.1443 0.006448 0.2194 0.9145 1 -0.001452 0.2876 0.2276 0.1026 0.3203 1.46 1.998 0.3003 0.5728 1 1 0.1609 0.6619 0.8403 0.3205 1.318 1.674 json
t12_x14_u5_b1 12 14 5 1 sgn(add(D,sub(D,R))) 31652 98013832 o1(o2(x,o2(x,x))) true 83063 83063 -0.004604 0.4957 0.6327 0.5028 0.7091 -1 1 2 1 4.027 0.1491 0.006478 0.2219 0.9167 1 0.001462 0.2915 0.2296 0.1063 0.326 1.469 1.999 0.3093 0.5797 1 1 0.1633 0.6534 0.8498 0.3247 1.299 1.69 json
t12_x14_u5_b2 12 14 5 2 sgn(add(D,mlt(D,R))) 31653 98013833 o1(o2(x,o2(x,x))) true 83071 83071 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b3 12 14 5 3 sgn(add(D,div(D,R))) 31654 98013834 o1(o2(x,o2(x,x))) true 83079 83079 0.007812 0.5049 0.6979 0.5879 0.7668 -1 1 2 1 4.14 0.1911 0.00911 0.2038 0.909 1 0.00002994 0.3729 0.2242 0.1587 0.3984 1.955 2 0.3406 0.6344 1 1 0.2198 0.9817 1.127 0.3738 1.67 1.917 json
t12_x14_u5_b4 12 14 5 4 sgn(add(D,pow(D,R))) 31655 98013835 o1(o2(x,o2(x,x))) true 83087 83087 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b5 12 14 5 5 sgn(add(D,mod(D,R))) 31656 98013836 o1(o2(x,o2(x,x))) true 83095 83095 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b6 12 14 5 6 sgn(add(D,lrg(D,R))) 31657 98013837 o1(o2(x,o2(x,x))) true 83103 83103 0.3695 0.7066 0.7072 0.4573 0.6762 -0.9994 1 1.999 1 3.679 0.1535 0.004207 0.1952 0.9466 1 0.00006749 0.2901 0.2043 0.1196 0.3458 1.772 1.999 0.3448 0.6345 1 1 0.1672 0.6455 0.5181 0.3655 1.412 1.133 json
t12_x14_u5_b7 12 14 5 7 sgn(add(D,eql(D,R))) 31658 98013838 o1(o2(x,o2(x,x))) true 83111 83111 0.00008015 0.5 0.689 0.5671 0.7531 -0.9994 0.9998 1.999 1 3.407 0.2605 6.035e-7 0.2456 1 1 2.341e-7 0.4835 0.2676 0.2001 0.4473 1.821 1.999 0.4593 0.8525 1 1 0.2829 0.9676 0.00003146 0.4989 1.706 0.00005548 json
t12_x14_u5_b8 12 14 5 8 sgn(add(D,min(D,R))) 31659 98013839 o1(o2(x,o2(x,x))) true 83119 83119 -0.3625 0.297 0.7056 0.4603 0.6785 -1 0.9994 1.999 1 3.686 0.1526 0.004164 0.1967 0.9469 1 -0.0005373 0.2889 0.2037 0.1181 0.3437 1.747 1.999 0.3407 0.6276 1 1 0.1665 0.6565 0.5102 0.3616 1.426 1.108 json
t12_x14_u5_b9 12 14 5 9 sgn(add(D,dot(D,R))) 31660 98013840 o1(o2(x,o2(x,x))) true 83127 83127 0.009305 0.5058 0.6313 0.4958 0.7041 -1 1 2 1 4.222 0.1678 0.09896 0.2687 0.258 1 -0.0003578 0.7888 0.3458 0.1945 0.441 1.641 2.826 0.538 1.591 1 1 0.283 0.9876 0.5845 0.5709 1.992 1.179 json
t12_x14_u5_b10 12 14 5 10 sgn(add(D,dst(D,R))) 31661 98013841 o1(o2(x,o2(x,x))) true 83135 83135 0.9714 0.994 0.9748 0.01913 0.1383 -0.9266 1 1.927 1 0.5961 0.008703 0.004601 0.02211 0.3084 1 -0.00003328 0.0423 0.03205 0.01282 0.1132 5.12 2.434 0.6956 2.212 1 1 0.0142 0.03801 0.04125 0.7423 1.987 2.157 json
t12_x14_u5_b11 12 14 5 11 sgn(sub(D,add(D,R))) 31662 98013842 o1(o2(x,o2(x,x))) true 83143 83143 0.03516 0.5181 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x14_u5_b12 12 14 5 12 sgn(sub(D,sub(D,R))) 31663 98013843 o1(o2(x,o2(x,x))) true 83151 83151 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x14_u5_b13 12 14 5 13 sgn(sub(D,mlt(D,R))) 31664 98013844 o1(o2(x,o2(x,x))) true 83159 83159 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b14 12 14 5 14 sgn(sub(D,div(D,R))) 31665 98013845 o1(o2(x,o2(x,x))) true 83167 83167 -0.007812 0.4951 0.6979 0.5879 0.7668 -1 1 2 1 4.14 0.1911 0.00911 0.2038 0.909 1 -0.00002994 0.3729 0.2242 0.1587 0.3984 1.955 2 0.3406 0.6344 1 1 0.2198 0.9817 1.127 0.3738 1.67 1.917 json
t12_x14_u5_b15 12 14 5 15 sgn(sub(D,pow(D,R))) 31666 98013846 o1(o2(x,o2(x,x))) true 83175 83175 -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_x14_u5_b16 12 14 5 16 sgn(sub(D,mod(D,R))) 31667 98013847 o1(o2(x,o2(x,x))) true 83183 83183 0.0003705 0.4656 0.1832 0.09292 0.3048 -0.9991 0.9991 1.998 1 3.797 0.03892 0.001316 0.1072 0.9346 1 6.355e-7 0.08004 0.1257 0.02875 0.1695 1.581 1.998 0.4331 0.8614 1 1 0.03724 0.135 0.1672 0.4008 1.453 1.8 json
t12_x14_u5_b17 12 14 5 17 sgn(sub(D,lrg(D,R))) 31668 98013848 o1(o2(x,o2(x,x))) true 83191 83191 -0.6322 0.1788 0.8585 0.4035 0.6352 -1 0.9994 1.999 1 2.512 0.1357 0.004125 0.1332 0.941 1 0.00009578 0.2664 0.1724 0.1221 0.3494 2.622 1.999 0.3466 0.6604 1 1 0.1399 0.549 0.553 0.3468 1.361 1.371 json
t12_x14_u5_b18 12 14 5 18 sgn(sub(D,eql(D,R))) 31669 98013849 o1(o2(x,o2(x,x))) true 83199 83199 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b19 12 14 5 19 sgn(sub(D,min(D,R))) 31670 98013850 o1(o2(x,o2(x,x))) true 83207 83207 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t12_x14_u5_b20 12 14 5 20 sgn(sub(D,dot(D,R))) 31671 98013851 o1(o2(x,o2(x,x))) true 83215 83215 -0.006869 0.4958 0.6361 0.5024 0.7088 -1 1 2 1 4.227 0.1647 0.1038 0.2685 0.2267 1 0.0002597 0.7981 0.3471 0.1964 0.4432 1.65 2.826 0.5344 1.588 1 1 0.2845 1.003 0.65 0.5663 1.996 1.294 json
t12_x14_u5_b21 12 14 5 21 sgn(sub(D,dst(D,R))) 31672 98013852 o1(o2(x,o2(x,x))) true 83223 83223 -0.9736 0.005295 0.9764 0.01701 0.1304 -1 0.9852 1.985 1 0.5737 0.007571 0.004668 0.02085 0.2373 1 -0.0000864 0.04002 0.03063 0.0118 0.1086 5.21 2.776 0.7195 2.353 1 1 0.00907 0.02367 0.02567 0.5332 1.391 1.509 json
t12_x14_u5_b22 12 14 5 22 sgn(mlt(D,add(D,R))) 31673 98013853 o1(o2(x,o2(x,x))) true 83231 83231 0.276 0.6362 0.7615 0.5949 0.7713 -1 1 2 1 3.658 0.2562 0.008278 0.2336 0.9374 1 -0.001104 0.5212 0.3247 0.21 0.4582 1.962 2 0.4446 0.8762 1 1 0.2717 0.9456 1.076 0.4567 1.59 1.809 json
t12_x14_u5_b23 12 14 5 23 sgn(mlt(D,sub(D,R))) 31674 98013854 o1(o2(x,o2(x,x))) true 83239 83239 0.2626 0.6303 0.7522 0.5908 0.7686 -1 1 2 1 3.714 0.2579 0.008182 0.2369 0.9385 1 -0.0001633 0.5239 0.3258 0.2099 0.4581 1.934 2 0.4504 0.8868 1 1 0.2748 0.9576 1.059 0.4651 1.621 1.792 json
t12_x14_u5_b24 12 14 5 24 sgn(mlt(D,mlt(D,R))) 31675 98013855 o1(o2(x,o2(x,x))) true 83247 83247 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x14_u5_b25 12 14 5 25 sgn(mlt(D,div(D,R))) 31676 98013856 o1(o2(x,o2(x,x))) true 83255 83255 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x14_u5_b26 12 14 5 26 sgn(mlt(D,pow(D,R))) 31677 98013857 o1(o2(x,o2(x,x))) true 83263 83263 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b27 12 14 5 27 sgn(mlt(D,mod(D,R))) 31678 98013858 o1(o2(x,o2(x,x))) true 83271 83271 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u5_b28 12 14 5 28 sgn(mlt(D,lrg(D,R))) 31679 98013859 o1(o2(x,o2(x,x))) true 83279 83279 0.1313 0.6452 0.4275 0.2952 0.5433 -0.9997 0.9997 1.999 1 4.44 0.1347 0.002046 0.1626 0.9701 1 -0.00008164 0.2634 0.1943 0.1103 0.3322 2.043 1.999 0.4635 0.8924 1 1 0.1499 0.5054 0.2647 0.5078 1.712 0.8968 json
t12_x14_u5_b29 12 14 5 29 sgn(mlt(D,eql(D,R))) 31680 98013860 o1(o2(x,o2(x,x))) true 83287 83287 -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_x14_u5_b30 12 14 5 30 sgn(mlt(D,min(D,R))) 31681 98013861 o1(o2(x,o2(x,x))) true 83295 83295 0.4863 0.7599 0.7754 0.4503 0.6711 -0.9994 1 1.999 1 3.364 0.1202 0.00472 0.1488 0.9244 1 -0.000002847 0.2245 0.1442 0.1027 0.3205 2.154 1.999 0.2773 0.4985 1 1 0.1454 0.6364 0.5693 0.323 1.413 1.264 json
t12_x14_u5_b31 12 14 5 31 sgn(mlt(D,dot(D,R))) 31682 98013862 o1(o2(x,o2(x,x))) true 83303 83303 -0.02597 0.4864 0.7246 0.621 0.788 -1 1 2 1 3.994 0.2743 0.1376 0.3121 0.3319 1 -0.0003963 1.277 0.504 0.3145 0.5608 1.797 2.828 0.6632 2.057 1 1 0.3927 1.104 1.208 0.6323 1.778 1.945 json
t12_x14_u5_b32 12 14 5 32 sgn(mlt(D,dst(D,R))) 31683 98013863 o1(o2(x,o2(x,x))) true 83311 83311 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b33 12 14 5 33 sgn(div(D,add(D,R))) 31684 98013864 o1(o2(x,o2(x,x))) true 83319 83319 0.276 0.6362 0.7615 0.5949 0.7713 -1 1 2 1 3.658 0.2562 0.008278 0.2336 0.9374 1 -0.001104 0.5212 0.3247 0.21 0.4582 1.962 2 0.4446 0.8762 1 1 0.2717 0.9456 1.076 0.4567 1.59 1.809 json
t12_x14_u5_b34 12 14 5 34 sgn(div(D,sub(D,R))) 31685 98013865 o1(o2(x,o2(x,x))) true 83327 83327 0.2626 0.6303 0.7522 0.5908 0.7686 -1 1 2 1 3.714 0.2579 0.008182 0.2369 0.9385 1 -0.0001633 0.5239 0.3258 0.2099 0.4581 1.934 2 0.4504 0.8868 1 1 0.2748 0.9576 1.059 0.4651 1.621 1.792 json
t12_x14_u5_b35 12 14 5 35 sgn(div(D,mlt(D,R))) 31686 98013866 o1(o2(x,o2(x,x))) true 83335 83335 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x14_u5_b36 12 14 5 36 sgn(div(D,div(D,R))) 31687 98013867 o1(o2(x,o2(x,x))) true 83343 83343 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x14_u5_b37 12 14 5 37 sgn(div(D,pow(D,R))) 31688 98013868 o1(o2(x,o2(x,x))) true 83351 83351 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b38 12 14 5 38 sgn(div(D,mod(D,R))) 31689 98013869 o1(o2(x,o2(x,x))) true 83359 83359 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x14_u5_b39 12 14 5 39 sgn(div(D,lrg(D,R))) 31690 98013870 o1(o2(x,o2(x,x))) true 83367 83367 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b40 12 14 5 40 sgn(div(D,eql(D,R))) 31691 98013871 o1(o2(x,o2(x,x))) true 83375 83375 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b41 12 14 5 41 sgn(div(D,min(D,R))) 31692 98013872 o1(o2(x,o2(x,x))) true 83383 83383 0.4863 0.7599 0.7754 0.4503 0.6711 -0.9994 1 1.999 1 3.364 0.1202 0.00472 0.1488 0.9244 1 -0.000002847 0.2245 0.1442 0.1027 0.3205 2.154 1.999 0.2773 0.4985 1 1 0.1454 0.6364 0.5693 0.323 1.413 1.264 json
t12_x14_u5_b42 12 14 5 42 sgn(div(D,dot(D,R))) 31693 98013873 o1(o2(x,o2(x,x))) true 83391 83391 -0.02597 0.4864 0.7246 0.621 0.788 -1 1 2 1 3.994 0.2743 0.1376 0.3121 0.3319 1 -0.0003963 1.277 0.504 0.3145 0.5608 1.797 2.828 0.6632 2.057 1 1 0.3927 1.104 1.208 0.6323 1.778 1.945 json
t12_x14_u5_b43 12 14 5 43 sgn(div(D,dst(D,R))) 31694 98013874 o1(o2(x,o2(x,x))) true 83399 83399 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b44 12 14 5 44 sgn(pow(D,add(D,R))) 31695 98013875 o1(o2(x,o2(x,x))) true 83407 83407 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b45 12 14 5 45 sgn(pow(D,sub(D,R))) 31696 98013876 o1(o2(x,o2(x,x))) true 83415 83415 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b46 12 14 5 46 sgn(pow(D,mlt(D,R))) 31697 98013877 o1(o2(x,o2(x,x))) true 83423 83423 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x14_u5_b47 12 14 5 47 sgn(pow(D,div(D,R))) 31698 98013878 o1(o2(x,o2(x,x))) true 83431 83431 -0.002701 0.4977 0.6877 0.5658 0.7522 -0.9994 0.9994 1.999 1 3.45 0.2607 0.00002357 0.2457 0.9998 1 -3.754e-12 0.4841 0.2685 0.2003 0.4475 1.821 1.999 0.4608 0.8556 1 1 0.2833 0.9609 0.005844 0.5007 1.698 0.01033 json
t12_x14_u5_b48 12 14 5 48 sgn(pow(D,pow(D,R))) 31699 98013879 o1(o2(x,o2(x,x))) true 83439 83439 -0.002075 0.4997 0.6868 0.5646 0.7514 -0.9994 0.9994 1.999 1 3.432 0.2552 0.00002379 0.2455 0.9998 1 -3.561e-7 0.4679 0.2631 0.1949 0.4415 1.798 1.999 0.4521 0.8287 1 1 0.2802 0.9651 0.003187 0.4963 1.709 0.005644 json