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_x6_u2_b88 12 6 2 88 frc(min(P,add(R,P))) 24600 97690108 o1(o2(x,o2(x,x))) true 26647 26647 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.00003112 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_x6_u2_b89 12 6 2 89 frc(min(P,sub(R,P))) 24601 97690109 o1(o2(x,o2(x,x))) true 26655 26655 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_x6_u2_b90 12 6 2 90 frc(min(P,mlt(R,P))) 24602 97690110 o1(o2(x,o2(x,x))) true 26663 26663 0.2516 0.4996 0.2516 0.09376 0.3062 0 0.9884 0.9884 1 2.826 0.0005669 0.0003276 0.01727 0.2676 1 -0.00001366 0.00005198 0.003998 0.0005959 0.02441 1.413 0.1123 0.009541 0.0005544 1 1 0.001886 0.02454 0.07907 0.02011 0.2617 0.8434 json
t12_x6_u2_b91 12 6 2 91 frc(min(P,div(R,P))) 24603 97690111 o1(o2(x,o2(x,x))) true 26671 26671 0.1559 0.4529 0.3434 0.245 0.495 -1 0.9995 1.999 1 3.032 0.01136 0.004955 0.02982 0.3925 1 0.00001229 0.03108 0.02692 0.01543 0.1242 4.165 2.646 0.06658 0.1268 1 1 0.02239 0.1062 0.3648 0.09138 0.4332 1.489 json
t12_x6_u2_b92 12 6 2 92 frc(min(P,pow(R,P))) 24604 97690112 o1(o2(x,o2(x,x))) true 26679 26679 0.06135 0.3917 0.06135 0.02225 0.1492 0 0.9432 0.9432 1 1.371 0.0003126 0.000212 0.01008 0.1917 1 0.00000431 0.00003054 0.002374 0.000423 0.02057 2.041 0.1103 0.02358 0.001372 1 1 0.001131 0.01464 0.04102 0.05083 0.6577 1.843 json
t12_x6_u2_b93 12 6 2 93 frc(min(P,mod(R,P))) 24605 97690113 o1(o2(x,o2(x,x))) true 26687 26687 0.2505 0.4996 0.2505 0.09249 0.3041 0 0.997 0.997 1 2.795 0.0004377 0.0003237 0.01591 0.1497 1 0.00002617 0.00004293 0.003629 0.0005083 0.02255 1.417 0.1114 0.008233 0.0004642 1 1 0.001405 0.01828 0.06687 0.01519 0.1977 0.723 json
t12_x6_u2_b94 12 6 2 94 frc(min(P,lrg(R,P))) 24606 97690114 o1(o2(x,o2(x,x))) true 26695 26695 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_x6_u2_b95 12 6 2 95 frc(min(P,eql(R,P))) 24607 97690115 o1(o2(x,o2(x,x))) true 26703 26703 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_x6_u2_b96 12 6 2 96 frc(min(P,min(R,P))) 24608 97690116 o1(o2(x,o2(x,x))) true 26711 26711 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_x6_u2_b97 12 6 2 97 frc(min(P,dot(R,P))) 24609 97690117 o1(o2(x,o2(x,x))) true 26719 26719 0.2773 0.7543 0.2773 0.08497 0.2915 0 0.9987 0.9987 1 3.288 0.000684 0.0008685 0.02749 -0.1188 1 0.000006365 0.00009196 0.006459 0.0007966 0.02822 1.027 0.1157 0.01827 0.001082 1 1 0.00323 0.04173 0.1143 0.03801 0.4911 1.346 json
t12_x6_u2_b98 12 6 2 98 frc(min(P,dst(R,P))) 24610 97690118 o1(o2(x,o2(x,x))) true 26727 26727 0.03112 0.1281 0.03112 0.01344 0.1159 0 0.9835 0.9835 1 0.7452 0.00009649 0.0001485 0.004556 -0.2124 1 0.000004654 0.00001422 0.001081 0.0002244 0.01498 3.288 0.115 0.01823 0.001058 1 1 0.0006647 0.008672 0.02802 0.04944 0.6451 2.084 json
t12_x6_u2_b99 12 6 2 99 frc(dot(P,add(R,P))) 24611 97690119 o1(o2(x,o2(x,x))) true 26735 26735 0.4985 1 0.4985 0.054 0.2324 0.0001509 0.9987 0.9986 1 3.862 0.0007379 0.0008022 0.03216 -0.04174 1 0.00002028 0.00009003 0.007409 0.0005058 0.02249 0.6993 0.1109 0.02852 0.001667 1 1 0.003367 0.04317 0.102 0.06236 0.7996 1.89 json
t12_x6_u2_b100 12 6 2 100 frc(dot(P,sub(R,P))) 24612 97690120 o1(o2(x,o2(x,x))) true 26743 26743 0.4985 1 0.4985 0.054 0.2324 0.0001509 0.9987 0.9986 1 3.862 0.0007379 0.0008022 0.03216 -0.04174 1 0.00002028 0.00009003 0.007409 0.0005058 0.02249 0.6993 0.1109 0.02852 0.001667 1 1 0.003367 0.04317 0.102 0.06236 0.7996 1.89 json
t12_x6_u2_b101 12 6 2 101 frc(dot(P,mlt(R,P))) 24613 97690121 o1(o2(x,o2(x,x))) true 26751 26751 0.515 1 0.515 0.04585 0.2141 0.0002998 0.9886 0.9883 1 3.787 0.0005713 0.0007587 0.03013 -0.1409 1 -0.00001809 0.00007923 0.006913 0.0004224 0.02055 0.6822 0.1059 0.02901 0.001728 1 1 0.002508 0.032 0.08004 0.05469 0.6979 1.746 json
t12_x6_u2_b102 12 6 2 102 frc(dot(P,div(R,P))) 24614 97690122 o1(o2(x,o2(x,x))) true 26759 26759 0.1397 0.7656 0.6085 0.4356 0.66 -1 0.9927 1.993 1 3.713 0.0169 0.0165 0.04399 0.01188 1 -0.000005867 0.06511 0.04716 0.03147 0.1774 4.032 2.03 0.07668 0.1495 1 1 0.04178 0.1803 0.6434 0.09592 0.4138 1.477 json
t12_x6_u2_b103 12 6 2 103 frc(dot(P,pow(R,P))) 24615 97690123 o1(o2(x,o2(x,x))) true 26767 26767 -0.9828 0.01172 0.9938 0.02571 0.1604 -1 0.9845 1.985 1 0.1366 0.003446 0.002091 0.004103 0.2448 1 -8.26e-11 0.01155 0.00741 0.005524 0.07433 18.11 2.727 0.2153 0.4492 1 1 0.009792 0.03968 0.09354 0.3808 1.543 3.638 json
t12_x6_u2_b104 12 6 2 104 frc(dot(P,mod(R,P))) 24616 97690124 o1(o2(x,o2(x,x))) true 26775 26775 0.1484 0.7656 0.6172 0.4454 0.6674 -1 0.9987 1.999 1 3.746 0.01656 0.0153 0.04524 0.03942 1 0.00002254 0.06168 0.04628 0.02982 0.1727 3.817 2.213 0.07152 0.1385 1 1 0.03915 0.1773 0.6705 0.0879 0.398 1.505 json
t12_x6_u2_b105 12 6 2 105 frc(dot(P,lrg(R,P))) 24617 97690125 o1(o2(x,o2(x,x))) true 26783 26783 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_x6_u2_b106 12 6 2 106 frc(dot(P,eql(R,P))) 24618 97690126 o1(o2(x,o2(x,x))) true 26791 26791 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_x6_u2_b107 12 6 2 107 frc(dot(P,min(R,P))) 24619 97690127 o1(o2(x,o2(x,x))) true 26799 26799 0.3739 0.7492 0.3739 0.09093 0.3015 0 0.9939 0.9939 1 3.623 0.0005875 0.0006433 0.02473 -0.04534 1 9.025e-7 0.00007066 0.005704 0.000619 0.02488 1.006 0.1162 0.01354 0.0007771 1 1 0.002634 0.03416 0.1016 0.02897 0.3757 1.117 json
t12_x6_u2_b108 12 6 2 108 frc(dot(P,dot(R,P))) 24620 97690128 o1(o2(x,o2(x,x))) true 26807 26807 0.4782 0.9999 0.4782 0.05944 0.2438 0.0000443 0.998 0.998 1 3.895 0.0007289 0.0007889 0.03223 -0.03951 1 -0.00002257 0.00008989 0.007411 0.000479 0.02189 0.679 0.1163 0.02554 0.001512 1 1 0.002789 0.03609 0.117 0.04692 0.6071 1.968 json
t12_x6_u2_b109 12 6 2 109 frc(dot(P,dst(R,P))) 24621 97690129 o1(o2(x,o2(x,x))) true 26815 26815 0.4579 0.9999 0.4579 0.05671 0.2381 0.0000189 0.9948 0.9947 1 3.885 0.000879 0.0007472 0.03323 0.08105 1 0.000007044 0.0001003 0.007716 0.000522 0.02285 0.6875 0.1152 0.02868 0.001769 1 1 0.003343 0.04324 0.121 0.05894 0.7624 2.134 json
t12_x6_u2_b110 12 6 2 110 frc(dst(P,add(R,P))) 24622 97690130 o1(o2(x,o2(x,x))) true 26823 26823 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_x6_u2_b111 12 6 2 111 frc(dst(P,sub(R,P))) 24623 97690131 o1(o2(x,o2(x,x))) true 26831 26831 0.5021 1 0.5021 0.04941 0.2223 0.006146 0.9958 0.9897 1 3.816 0.000701 0.0007295 0.03103 -0.01989 1 0.00003236 0.00008391 0.007126 0.0004676 0.02162 0.6968 0.112 0.02895 0.001698 1 1 0.002967 0.03826 0.09672 0.06003 0.7744 1.957 json
t12_x6_u2_b112 12 6 2 112 frc(dst(P,mlt(R,P))) 24624 97690132 o1(o2(x,o2(x,x))) true 26839 26839 0.4726 1 0.4726 0.05044 0.2246 0.000105 0.9965 0.9964 1 3.823 0.0007007 0.0007806 0.03136 -0.05398 1 0.000001899 0.00008849 0.007199 0.000498 0.02232 0.7117 0.1097 0.02937 0.001754 1 1 0.003095 0.0399 0.09803 0.06137 0.791 1.943 json
t12_x6_u2_b113 12 6 2 113 frc(dst(P,div(R,P))) 24625 97690133 o1(o2(x,o2(x,x))) true 26847 26847 -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_x6_u2_b114 12 6 2 114 frc(dst(P,pow(R,P))) 24626 97690134 o1(o2(x,o2(x,x))) true 26855 26855 -0.9848 0.01172 0.9918 0.01972 0.1404 -1 0.567 1.567 1 0.1263 0.002591 0.001717 0.003469 0.2028 1 -1.126e-11 0.009039 0.006584 0.004294 0.06553 18.89 2.216 0.2185 0.4584 1 1 0.007589 0.03046 0.07173 0.3848 1.545 3.637 json
t12_x6_u2_b115 12 6 2 115 frc(dst(P,mod(R,P))) 24627 97690135 o1(o2(x,o2(x,x))) true 26863 26863 0.1304 0.7656 0.5992 0.4307 0.6563 -1 0.9964 1.996 1 3.731 0.01486 0.01615 0.04381 -0.04162 1 0.000001676 0.06014 0.04547 0.02909 0.1706 3.894 2.076 0.07201 0.1396 1 1 0.03979 0.1771 0.6917 0.09239 0.4112 1.606 json
t12_x6_u2_b116 12 6 2 116 frc(dst(P,lrg(R,P))) 24628 97690136 o1(o2(x,o2(x,x))) true 26871 26871 0.3933 0.9988 0.3933 0.04926 0.2219 0.00001613 0.9497 0.9497 1 3.767 0.0006512 0.0006287 0.029 0.01758 1 0.000009821 0.00007541 0.006653 0.0004393 0.02096 0.7228 0.107 0.02599 0.001531 1 1 0.002452 0.03183 0.09267 0.04977 0.6462 1.881 json
t12_x6_u2_b117 12 6 2 117 frc(dst(P,eql(R,P))) 24629 97690137 o1(o2(x,o2(x,x))) true 26879 26879 0.3304 0.9857 0.3304 0.05498 0.2345 3.509e-8 0.9439 0.9439 1 3.672 0.000555 0.000555 0.0263 0.000003985 1 -3.837e-7 0.00006371 0.005985 0.0004184 0.02045 0.7777 0.1031 0.02019 0.001159 1 1 0.002058 0.02662 0.09686 0.03743 0.4841 1.762 json
t12_x6_u2_b118 12 6 2 118 frc(dst(P,min(R,P))) 24630 97690138 o1(o2(x,o2(x,x))) true 26887 26887 0.4398 0.9888 0.4398 0.06907 0.2628 0 0.9896 0.9896 1 3.921 0.0007713 0.0008926 0.03293 -0.07293 1 0.000007383 0.0000986 0.007601 0.0005797 0.02408 0.7312 0.1151 0.02409 0.001427 1 1 0.003403 0.04375 0.1125 0.04928 0.6334 1.628 json
t12_x6_u2_b119 12 6 2 119 frc(dst(P,dot(R,P))) 24631 97690139 o1(o2(x,o2(x,x))) true 26895 26895 0.4651 1 0.4651 0.05373 0.2318 0.0001208 0.9965 0.9964 1 3.844 0.0006808 0.0006615 0.02967 0.01437 1 -0.000005587 0.00007958 0.006851 0.000462 0.02149 0.7244 0.1062 0.02498 0.001481 1 1 0.002587 0.03343 0.1179 0.04815 0.6222 2.194 json
t12_x6_u2_b120 12 6 2 120 frc(dst(P,dst(R,P))) 24632 97690140 o1(o2(x,o2(x,x))) true 26903 26903 0.4911 1 0.4911 0.0528 0.2298 0.002233 0.9989 0.9966 1 3.856 0.0008249 0.0007922 0.03317 0.02025 1 -0.00001545 0.0000993 0.007753 0.000517 0.02274 0.6855 0.1158 0.03063 0.001881 1 1 0.003388 0.04357 0.1041 0.06417 0.8253 1.971 json
t12_x6_u3_b0 12 6 3 0 flr(add(P,add(R,P))) 24633 97690221 o1(o2(x,o2(x,x))) true 26911 26911 -0.03244 0.4821 0.9715 0.9634 0.9815 -1 1 2 1 1.462 0.001647 0.0001163 0.008568 0.8681 1 -0.000007959 0.0003746 0.003102 0.001691 0.04112 4.799 0.3506 0.00183 0.0003888 1 1 0.004402 0.04799 0.3017 0.004569 0.04981 0.3131 json
t12_x6_u3_b1 12 6 3 1 flr(add(P,sub(R,P))) 24634 97690222 o1(o2(x,o2(x,x))) true 26919 26919 -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_x6_u3_b2 12 6 3 2 flr(add(P,mlt(R,P))) 24635 97690223 o1(o2(x,o2(x,x))) true 26927 26927 -0.06204 0.4897 0.8872 0.8623 0.9286 -1 1 2 1 2.187 0.001567 0.001295 0.01766 0.09499 1 -0.00002957 0.001105 0.008444 0.00255 0.0505 2.86 0.5679 0.00332 0.001282 1 1 0.005657 0.05538 0.2534 0.00656 0.06423 0.2938 json
t12_x6_u3_b3 12 6 3 3 flr(add(P,div(R,P))) 24636 97690224 o1(o2(x,o2(x,x))) true 26935 26935 -0.1347 0.4375 0.9903 0.9695 0.9846 -1 1 2 1 1.18 0.01141 0.00008751 0.008601 0.9848 1 -0.0000074 0.02254 0.01363 0.01141 0.1068 12.42 2 0.01186 0.02325 1 1 0.01473 0.06883 0.3212 0.0152 0.07099 0.3314 json
t12_x6_u3_b4 12 6 3 4 flr(add(P,pow(R,P))) 24637 97690225 o1(o2(x,o2(x,x))) true 26943 26943 -0.8623 0.07185 0.9928 0.2466 0.4966 -1 1 2 1 0.4907 0.02268 0.02155 0.02447 0.02549 1 -0.0001537 0.09167 0.04599 0.04361 0.2088 8.535 2.828 0.1793 0.3717 1 1 0.04085 0.178 0.5534 0.1656 0.7215 2.244 json
t12_x6_u3_b5 12 6 3 5 flr(add(P,mod(R,P))) 24638 97690226 o1(o2(x,o2(x,x))) true 26951 26951 -0.1347 0.4375 0.9903 0.9695 0.9846 -1 1 2 1 1.18 0.01141 0.00008751 0.008601 0.9848 1 -0.0000074 0.02254 0.01363 0.01141 0.1068 12.42 2 0.01186 0.02325 1 1 0.01473 0.06883 0.3212 0.0152 0.07099 0.3314 json
t12_x6_u3_b6 12 6 3 6 flr(add(P,lrg(R,P))) 24639 97690227 o1(o2(x,o2(x,x))) true 26959 26959 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t12_x6_u3_b7 12 6 3 7 flr(add(P,eql(R,P))) 24640 97690228 o1(o2(x,o2(x,x))) true 26967 26967 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_x6_u3_b8 12 6 3 8 flr(add(P,min(R,P))) 24641 97690229 o1(o2(x,o2(x,x))) true 26975 26975 -0.06112 0.4723 0.9475 0.9308 0.9648 -1 1 2 1 1.745 0.001077 0.0002756 0.01002 0.5925 1 -0.00001667 0.0001608 0.002955 0.001252 0.03538 3.53 0.2338 0.001454 0.0001727 1 1 0.003513 0.04253 0.2669 0.003774 0.04569 0.2867 json
t12_x6_u3_b9 12 6 3 9 flr(add(P,dot(R,P))) 24642 97690230 o1(o2(x,o2(x,x))) true 26983 26983 -0.08924 0.4567 0.9259 0.8966 0.9469 -1 1 2 1 2.051 0.01258 0.01591 0.05224 -0.1169 1 -0.000135 0.0226 0.03864 0.02576 0.1605 3.073 1.801 0.03178 0.02521 1 1 0.04201 0.3312 0.8128 0.04685 0.3694 0.9065 json
t12_x6_u3_b10 12 6 3 10 flr(add(P,dst(R,P))) 24643 97690231 o1(o2(x,o2(x,x))) true 26991 26991 0.8053 0.8927 0.8833 0.2142 0.4628 -1 1 2 1 1.513 0.0005899 0.001228 0.01428 -0.3512 1 0.000005704 0.0002181 0.004017 0.001615 0.04019 2.815 0.3506 0.008488 0.001018 1 1 0.004689 0.0566 0.2033 0.02189 0.2642 0.949 json
t12_x6_u3_b11 12 6 3 11 flr(sub(P,add(R,P))) 24644 97690232 o1(o2(x,o2(x,x))) true 26999 26999 -0.4824 0 0.4824 0.1537 0.3921 -1 0 1 1 3.644 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_x6_u3_b12 12 6 3 12 flr(sub(P,sub(R,P))) 24645 97690233 o1(o2(x,o2(x,x))) true 27007 27007 -0.0294 0.4854 0.9661 0.9563 0.9779 -1 1 2 1 1.526 0.001447 0.000117 0.008557 0.8504 1 0.000006592 0.0003249 0.003031 0.001491 0.03862 4.513 0.3506 0.001635 0.0003397 1 1 0.004086 0.04497 0.2958 0.004273 0.04703 0.3093 json
t12_x6_u3_b13 12 6 3 13 flr(sub(P,mlt(R,P))) 24646 97690234 o1(o2(x,o2(x,x))) true 27015 27015 -0.0588 0.4782 0.888 0.8669 0.9311 -1 1 2 1 2.114 0.001614 0.0007803 0.01494 0.3482 1 -0.0001027 0.0009622 0.007024 0.002171 0.0466 3.119 0.5805 0.002762 0.00111 1 1 0.005791 0.05492 0.2437 0.006681 0.06336 0.2812 json
t12_x6_u3_b14 12 6 3 14 flr(sub(P,div(R,P))) 24647 97690235 o1(o2(x,o2(x,x))) true 27023 27023 -0.1401 0.4375 0.9849 0.9613 0.9805 -1 1 2 1 1.234 0.008365 0.00008881 0.008556 0.979 1 0.000003565 0.01613 0.01193 0.008374 0.09151 10.69 2 0.008793 0.01678 1 1 0.01257 0.06467 0.3185 0.01307 0.06727 0.3313 json
t12_x6_u3_b15 12 6 3 15 flr(sub(P,pow(R,P))) 24648 97690236 o1(o2(x,o2(x,x))) true 27031 27031 -0.9824 0.003906 0.9902 0.02298 0.1516 -1 1 2 1 0.2073 0.002379 0.002356 0.004594 0.004849 1 -4.881e-11 0.009725 0.007077 0.004716 0.06867 14.95 2 0.206 0.4231 1 1 0.001988 0.008728 0.02858 0.08648 0.3797 1.243 json
t12_x6_u3_b16 12 6 3 16 flr(sub(P,mod(R,P))) 24649 97690237 o1(o2(x,o2(x,x))) true 27039 27039 -0.1401 0.4375 0.9849 0.9613 0.9805 -1 1 2 1 1.234 0.008365 0.00008881 0.008556 0.979 1 0.000003565 0.01613 0.01193 0.008374 0.09151 10.69 2 0.008793 0.01678 1 1 0.01257 0.06467 0.3185 0.01307 0.06727 0.3313 json
t12_x6_u3_b17 12 6 3 17 flr(sub(P,lrg(R,P))) 24650 97690238 o1(o2(x,o2(x,x))) true 27047 27047 -0.03313 0.4839 0.9615 0.9497 0.9745 -1 1 2 1 1.593 0.001152 0.00009554 0.008539 0.8468 1 0.000005261 0.0001293 0.002497 0.001175 0.03428 4.014 0.2338 0.001314 0.0001361 1 1 0.003262 0.04004 0.2874 0.003434 0.04216 0.3026 json
t12_x6_u3_b18 12 6 3 18 flr(sub(P,eql(R,P))) 24651 97690239 o1(o2(x,o2(x,x))) true 27055 27055 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_x6_u3_b19 12 6 3 19 flr(sub(P,min(R,P))) 24652 97690240 o1(o2(x,o2(x,x))) true 27063 27063 0.4341 0.4783 0.4341 0.2375 0.4873 0 1 1 1 1.377 0.0004231 0.0001765 0.005459 0.4112 1 0.00000927 0.00009993 0.001736 0.0005702 0.02388 4.374 0.2265 0.002525 0.0004208 1 1 0.001548 0.01777 0.08227 0.006519 0.07484 0.3464 json
t12_x6_u3_b20 12 6 3 20 flr(sub(P,dot(R,P))) 24653 97690241 o1(o2(x,o2(x,x))) true 27071 27071 -0.06755 0.4668 0.9123 0.8821 0.9392 -1 1 2 1 2.233 0.01247 0.01546 0.05546 -0.1069 1 0.00002223 0.02059 0.03878 0.02484 0.1576 2.842 1.746 0.03167 0.02334 1 1 0.03967 0.3189 0.792 0.04498 0.3615 0.8978 json
t12_x6_u3_b21 12 6 3 21 flr(sub(P,dst(R,P))) 24654 97690242 o1(o2(x,o2(x,x))) true 27079 27079 -0.9464 0 0.9464 0.03776 0.1943 -1 -8.471e-8 1 1 0.7642 0.0003636 0.0004546 0.007841 -0.1112 1 0.00001008 0.0001244 0.002363 0.0007564 0.0275 3.508 0.2265 0.02167 0.003294 1 1 0.001998 0.02332 0.07128 0.05292 0.6175 1.888 json
t12_x6_u3_b22 12 6 3 22 flr(mlt(P,add(R,P))) 24655 97690243 o1(o2(x,o2(x,x))) true 27087 27087 0.8924 0.9727 0.8924 0.08182 0.286 0 1 1 1 1.025 0.001063 0.0002795 0.01015 0.5837 1 -0.000003822 0.0003947 0.004017 0.001239 0.0352 3.469 0.3818 0.01641 0.004823 1 1 0.003315 0.03442 0.1447 0.04052 0.4206 1.769 json
t12_x6_u3_b23 12 6 3 23 flr(mlt(P,sub(R,P))) 24656 97690244 o1(o2(x,o2(x,x))) true 27095 27095 -0.9476 0 0.9476 0.03937 0.1984 -1 -0.000291 0.9997 1 0.6793 0.001012 0.0000267 0.008059 0.9486 1 0.000003397 0.0001812 0.002732 0.0009739 0.03121 3.872 0.2265 0.02639 0.004602 1 1 0.002662 0.02869 0.05828 0.06761 0.7286 1.48 json
t12_x6_u3_b24 12 6 3 24 flr(mlt(P,mlt(R,P))) 24657 97690245 o1(o2(x,o2(x,x))) true 27103 27103 -0.1198 0.3842 0.832 0.79 0.8888 -1 1 2 1 2.548 0.04646 0.05807 0.09517 -0.111 1 0.0000492 0.1969 0.1187 0.09552 0.3091 3.248 2.828 0.1323 0.2492 1 1 0.1107 0.6301 1.329 0.1402 0.7976 1.682 json
t12_x6_u3_b25 12 6 3 25 flr(mlt(P,div(R,P))) 24658 97690246 o1(o2(x,o2(x,x))) true 27111 27111 -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_x6_u3_b26 12 6 3 26 flr(mlt(P,pow(R,P))) 24659 97690247 o1(o2(x,o2(x,x))) true 27119 27119 -0.9693 0.003799 0.9732 0.03251 0.1803 -1 1 2 1 0.2672 0.002912 0.002799 0.006549 0.01985 1 6.778e-7 0.01146 0.01118 0.005666 0.07527 11.49 2 0.1757 0.3525 1 1 0.005052 0.02115 0.05995 0.1554 0.6505 1.844 json
t12_x6_u3_b27 12 6 3 27 flr(mlt(P,mod(R,P))) 24660 97690248 o1(o2(x,o2(x,x))) true 27127 27127 -0.3714 0.2944 0.8246 0.6381 0.7988 -1 1 2 1 2.904 0.02003 0.01752 0.08495 0.06665 1 -0.00003973 0.02705 0.0545 0.03033 0.1741 2.05 1.403 0.05885 0.04239 1 1 0.05153 0.4217 1.038 0.08075 0.6608 1.627 json
t12_x6_u3_b28 12 6 3 28 flr(mlt(P,lrg(R,P))) 24661 97690249 o1(o2(x,o2(x,x))) true 27135 27135 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x6_u3_b29 12 6 3 29 flr(mlt(P,eql(R,P))) 24662 97690250 o1(o2(x,o2(x,x))) true 27143 27143 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_x6_u3_b30 12 6 3 30 flr(mlt(P,min(R,P))) 24663 97690251 o1(o2(x,o2(x,x))) true 27151 27151 0.3254 0.6353 0.8372 0.6968 0.8347 -1 1 2 1 2.606 0.009166 0.008613 0.04691 0.03111 1 -0.000001385 0.009981 0.02503 0.01558 0.1248 2.661 1.34 0.02552 0.01432 1 1 0.0247 0.2271 0.6856 0.03545 0.326 0.984 json
t12_x6_u3_b31 12 6 3 31 flr(mlt(P,dot(R,P))) 24664 97690252 o1(o2(x,o2(x,x))) true 27159 27159 0.03066 0.5226 0.8887 0.8641 0.9296 -1 1 2 1 2.279 0.0529 0.07157 0.1066 -0.15 1 -0.00004869 0.2381 0.1407 0.1131 0.3363 3.155 2.828 0.144 0.2756 1 1 0.1237 0.6934 1.471 0.1431 0.8024 1.703 json
t12_x6_u3_b32 12 6 3 32 flr(mlt(P,dst(R,P))) 24665 97690253 o1(o2(x,o2(x,x))) true 27167 27167 -0.007802 0.4996 0.9611 0.9544 0.9769 -1 1 2 1 1.488 0.00183 0.0000396 0.008207 0.9576 1 2.467e-7 0.0008653 0.005095 0.001803 0.04246 5.174 0.4707 0.001958 0.0009066 1 1 0.004065 0.03635 0.2741 0.004259 0.03808 0.2872 json
t12_x6_u3_b33 12 6 3 33 flr(div(P,add(R,P))) 24666 97690254 o1(o2(x,o2(x,x))) true 27175 27175 0.514 0.9161 0.514 0.1608 0.4011 0 1 1 1 3.33 0.002502 0.002779 0.05149 -0.05244 1 -0.00002104 0.0009607 0.0149 0.00263 0.05128 0.996 0.4856 0.03283 0.005973 1 1 0.009669 0.115 0.3059 0.06011 0.7147 1.902 json
t12_x6_u3_b34 12 6 3 34 flr(div(P,sub(R,P))) 24667 97690255 o1(o2(x,o2(x,x))) true 27183 27183 -0.9551 0 0.9551 0.03427 0.1851 -1 -0.000291 0.9997 1 0.5886 0.001465 0.0001204 0.008271 0.8481 1 0.00001482 0.0009032 0.004278 0.001517 0.03895 4.709 0.947 0.04626 0.02636 1 1 0.003304 0.0307 0.05595 0.09641 0.8958 1.633 json
t12_x6_u3_b35 12 6 3 35 flr(div(P,mlt(R,P))) 24668 97690256 o1(o2(x,o2(x,x))) true 27191 27191 -0.2713 0.37 0.9107 0.8058 0.8977 -1 1 2 1 2.276 0.04422 0.03414 0.1046 0.1287 1 0.00008415 0.09781 0.09283 0.06743 0.2597 2.482 2.828 0.09725 0.1214 1 1 0.1065 0.6683 1.497 0.1322 0.8293 1.857 json
t12_x6_u3_b36 12 6 3 36 flr(div(P,div(R,P))) 24669 97690257 o1(o2(x,o2(x,x))) true 27199 27199 -0.07615 0.4678 0.9393 0.9199 0.9591 -1 1 2 1 1.773 0.08638 0.1047 0.1157 -0.09581 1 -0.00005904 0.471 0.2012 0.1777 0.4215 3.643 2.828 0.2077 0.5119 1 1 0.193 0.8621 1.798 0.2098 0.9371 1.955 json
t12_x6_u3_b37 12 6 3 37 flr(div(P,pow(R,P))) 24670 97690258 o1(o2(x,o2(x,x))) true 27207 27207 -0.9521 0.02344 0.9815 0.07125 0.2669 -1 1 2 1 0.4008 0.007311 0.006106 0.01037 0.08984 1 6.382e-11 0.02758 0.01658 0.01331 0.1154 11.13 2.828 0.1883 0.3871 1 1 0.01097 0.04983 0.1409 0.154 0.6994 1.978 json
t12_x6_u3_b38 12 6 3 38 flr(div(P,mod(R,P))) 24671 97690259 o1(o2(x,o2(x,x))) true 27215 27215 -0.1976 0.402 0.9738 0.9262 0.9624 -1 1 2 1 1.45 0.07678 0.07754 0.108 -0.004918 1 -0.000004599 0.3114 0.1692 0.1427 0.3777 3.496 2.828 0.1666 0.3362 1 1 0.1706 0.8115 1.761 0.1842 0.8762 1.902 json
t12_x6_u3_b39 12 6 3 39 flr(div(P,lrg(R,P))) 24672 97690260 o1(o2(x,o2(x,x))) true 27223 27223 -0.9922 0 0.9922 0.00606 0.07785 -1 -0.000291 0.9997 1 0.1405 0.001097 0.0005923 0.002705 0.2987 1 -1.877e-11 0.003423 0.003743 0.001682 0.04101 15.16 1.414 0.2787 0.5647 1 1 0.002389 0.01006 0.01771 0.3943 1.66 2.922 json
t12_x6_u3_b40 12 6 3 40 flr(div(P,eql(R,P))) 24673 97690261 o1(o2(x,o2(x,x))) true 27231 27231 -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_x6_u3_b41 12 6 3 41 flr(div(P,min(R,P))) 24674 97690262 o1(o2(x,o2(x,x))) true 27239 27239 0.1199 0.6011 0.7749 0.7239 0.8508 -1 1 2 1 2.713 0.04839 0.04377 0.08163 0.05018 1 0.0000741 0.1801 0.1035 0.08552 0.2924 3.582 2.828 0.1273 0.2488 1 1 0.1072 0.5378 1.2 0.148 0.743 1.658 json
t12_x6_u3_b42 12 6 3 42 flr(div(P,dot(R,P))) 24675 97690263 o1(o2(x,o2(x,x))) true 27247 27247 -0.1495 0.3971 0.7613 0.687 0.8289 -1 1 2 1 3.283 0.02329 0.02568 0.09473 -0.04881 1 -0.00006975 0.04825 0.06821 0.04002 0.2 2.112 2.828 0.07128 0.07023 1 1 0.08178 0.5453 1.325 0.119 0.7938 1.929 json
t12_x6_u3_b43 12 6 3 43 flr(div(P,dst(R,P))) 24676 97690264 o1(o2(x,o2(x,x))) true 27255 27255 -0.4109 0.1298 0.5281 0.3377 0.5811 -1 1 2 1 2.136 0.0006715 0.0003782 0.01188 0.2795 1 0.00001141 0.00006921 0.002929 0.0009085 0.03014 2.537 0.2265 0.003108 0.0002049 1 1 0.002627 0.03386 0.1592 0.007777 0.1003 0.4714 json
t12_x6_u3_b44 12 6 3 44 flr(pow(P,add(R,P))) 24677 97690265 o1(o2(x,o2(x,x))) true 27263 27263 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t12_x6_u3_b45 12 6 3 45 flr(pow(P,sub(R,P))) 24678 97690266 o1(o2(x,o2(x,x))) true 27271 27271 -0.5078 0.07813 0.5859 0.3196 0.5653 -1 0.9997 2 1 1.47 0.01329 0.003616 0.01407 0.5722 1 -5.632e-10 0.03397 0.01952 0.0167 0.1292 9.185 2.828 0.0529 0.1063 1 1 0.02355 0.09664 0.2362 0.0737 0.3024 0.7391 json
t12_x6_u3_b46 12 6 3 46 flr(pow(P,mlt(R,P))) 24679 97690267 o1(o2(x,o2(x,x))) true 27279 27279 -0.1198 0.4656 0.8802 0.8495 0.9217 -1 1 2 1 1.946 0.01968 0.004249 0.02887 0.6449 1 -0.000053 0.0438 0.0353 0.0231 0.152 5.266 2 0.02816 0.05156 1 1 0.03214 0.1481 0.4276 0.03783 0.1743 0.5033 json
t12_x6_u3_b47 12 6 3 47 flr(pow(P,div(R,P))) 24680 97690268 o1(o2(x,o2(x,x))) true 27287 27287 -0.332 0.415 0.7617 0.606 0.7784 -1 1 2 1 2.569 0.01388 0.004646 0.0333 0.4984 1 -0.00001283 0.03404 0.02426 0.01741 0.132 3.962 2.828 0.03057 0.05618 1 1 0.02633 0.1357 0.3802 0.04344 0.224 0.6274 json
t12_x6_u3_b48 12 6 3 48 flr(pow(P,pow(R,P))) 24681 97690269 o1(o2(x,o2(x,x))) true 27295 27295 -0.8906 0.07031 0.9688 0.1686 0.4107 -1 1 2 1 0.5964 0.0212 0.002771 0.01776 0.7688 1 -3.004e-11 0.0478 0.02846 0.02367 0.1538 8.662 2 0.1421 0.2835 1 1 0.0272 0.1109 0.228 0.1613 0.6573 1.352 json
t12_x6_u3_b49 12 6 3 49 flr(pow(P,mod(R,P))) 24682 97690270 o1(o2(x,o2(x,x))) true 27303 27303 -0.318 0.4007 0.807 0.6738 0.8208 -1 1 2 1 2.323 0.01746 0.00154 0.03099 0.8379 1 -0.00006453 0.03272 0.02491 0.01805 0.1343 4.334 2 0.0282 0.04856 1 1 0.02623 0.1327 0.3433 0.03892 0.1969 0.5095 json
t12_x6_u3_b50 12 6 3 50 flr(pow(P,lrg(R,P))) 24683 97690271 o1(o2(x,o2(x,x))) true 27311 27311 -0.01367 0.5 0.9863 0.982 0.991 -1 1 2 1 1.244 0.01056 0.00005267 0.008426 0.9901 1 0.000002852 0.02084 0.01284 0.01054 0.1027 12.18 2 0.01081 0.02122 1 1 0.01414 0.06463 0.3207 0.0144 0.06582 0.3266 json
t12_x6_u3_b51 12 6 3 51 flr(pow(P,eql(R,P))) 24684 97690272 o1(o2(x,o2(x,x))) true 27319 27319 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_x6_u3_b52 12 6 3 52 flr(pow(P,min(R,P))) 24685 97690273 o1(o2(x,o2(x,x))) true 27327 27327 -0.2868 0.4163 0.807 0.6925 0.8322 -1 1 2 1 2.35 0.01746 0.007587 0.03396 0.3942 1 -0.00006453 0.04631 0.03095 0.02389 0.1546 4.551 2.828 0.03617 0.06687 1 1 0.0351 0.1703 0.4611 0.05069 0.2459 0.6658 json
t12_x6_u3_b53 12 6 3 53 flr(pow(P,dot(R,P))) 24686 97690274 o1(o2(x,o2(x,x))) true 27335 27335 -0.1941 0.4122 0.8918 0.8418 0.9175 -1 1 2 1 1.795 0.01754 0.006593 0.02832 0.4537 1 -0.0001174 0.0463 0.03934 0.02334 0.1528 5.395 2.828 0.02867 0.05499 1 1 0.02895 0.1336 0.4362 0.03439 0.1588 0.5182 json
t12_x6_u3_b54 12 6 3 54 flr(pow(P,dst(R,P))) 24687 97690275 o1(o2(x,o2(x,x))) true 27343 27343 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x6_u3_b55 12 6 3 55 flr(mod(P,add(R,P))) 24688 97690276 o1(o2(x,o2(x,x))) true 27351 27351 -0.161 0.4588 0.7765 0.7184 0.8476 -1 1 2 1 2.665 0.002864 0.003009 0.03089 -0.02476 1 -0.00019 0.002701 0.01641 0.00492 0.07015 2.271 0.4702 0.008175 0.00376 1 1 0.01013 0.09502 0.3004 0.01409 0.1323 0.4181 json
t12_x6_u3_b56 12 6 3 56 flr(mod(P,sub(R,P))) 24689 97690277 o1(o2(x,o2(x,x))) true 27359 27359 -0.1217 0.4718 0.8158 0.7727 0.879 -1 1 2 1 2.516 0.002661 0.002845 0.02798 -0.03339 1 -0.0001374 0.002633 0.01553 0.004725 0.06874 2.457 0.4702 0.007126 0.003408 1 1 0.009223 0.08456 0.2694 0.01194 0.1094 0.3487 json
t12_x6_u3_b57 12 6 3 57 flr(mod(P,mlt(R,P))) 24690 97690278 o1(o2(x,o2(x,x))) true 27367 27367 -0.4267 0.2738 0.6983 0.4918 0.7013 -1 1 2 1 2.12 0.004755 0.0008409 0.01925 0.6995 1 -0.00001538 0.008183 0.01253 0.005224 0.07228 3.755 1 0.01138 0.01664 1 1 0.00755 0.0496 0.2007 0.01535 0.1009 0.4082 json
t12_x6_u3_b58 12 6 3 58 flr(mod(P,div(R,P))) 24691 97690279 o1(o2(x,o2(x,x))) true 27375 27375 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x6_u3_b59 12 6 3 59 flr(mod(P,pow(R,P))) 24692 97690280 o1(o2(x,o2(x,x))) true 27383 27383 -0.9668 0 0.9668 0.02998 0.1732 -1 0 1 1 0.3303 0.002631 0.002545 0.006412 0.01669 1 1.502e-11 0.0106 0.01073 0.005133 0.07164 11.17 1.414 0.1726 0.3535 1 1 0.004854 0.02211 0.06594 0.1619 0.7373 2.199 json
t12_x6_u3_b60 12 6 3 60 flr(mod(P,mod(R,P))) 24693 97690281 o1(o2(x,o2(x,x))) true 27391 27391 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x6_u3_b61 12 6 3 61 flr(mod(P,lrg(R,P))) 24694 97690282 o1(o2(x,o2(x,x))) true 27399 27399 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t12_x6_u3_b62 12 6 3 62 flr(mod(P,eql(R,P))) 24695 97690283 o1(o2(x,o2(x,x))) true 27407 27407 -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_x6_u3_b63 12 6 3 63 flr(mod(P,min(R,P))) 24696 97690284 o1(o2(x,o2(x,x))) true 27415 27415 -0.3284 0 0.3284 0.2105 0.4588 -1 0 1 1 1.479 0.009043 0.001512 0.02152 0.7135 1 0.0006289 0.01541 0.02403 0.01009 0.1005 4.667 1.414 0.05015 0.07324 1 1 0.01639 0.09101 0.2068 0.07787 0.4324 0.9825 json
t12_x6_u3_b64 12 6 3 64 flr(mod(P,dot(R,P))) 24697 97690285 o1(o2(x,o2(x,x))) true 27423 27423 -0.1699 0.4565 0.7911 0.7269 0.8526 -1 1 2 1 2.702 0.003161 0.00281 0.0286 0.05884 1 -0.00007898 0.00544 0.01492 0.005154 0.07179 2.51 2.828 0.008214 0.007484 1 1 0.01016 0.08293 0.353 0.01398 0.1141 0.4856 json
t12_x6_u3_b65 12 6 3 65 flr(mod(P,dst(R,P))) 24698 97690286 o1(o2(x,o2(x,x))) true 27431 27431 -0.02779 0.499 0.9097 0.8906 0.9437 -1 1 2 1 2.051 0.001362 0.0009269 0.01435 0.1903 1 -0.00008831 0.000946 0.006333 0.002084 0.04565 3.18 0.4701 0.002571 0.001062 1 1 0.004867 0.04827 0.2691 0.005465 0.0542 0.3022 json
t12_x6_u3_b66 12 6 3 66 flr(lrg(P,add(R,P))) 24699 97690287 o1(o2(x,o2(x,x))) true 27439 27439 0.5176 0.9429 0.5176 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