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_u1_b109 12 6 1 109 log(dot(P,dst(R,P))) 24500 97689928 o1(o2(x,o2(x,x))) true 25847 25847 -0.1825 0.41 0.9972 0.9629 0.9813 -1 1 2 1 1.034 0.01307 0.01306 0.01369 0.0003056 1 6.007e-11 0.05527 0.02698 0.02595 0.1611 11.76 2.828 0.02713 0.0574 1 1 0.03389 0.1442 0.6286 0.0352 0.1498 0.6528 json
t12_x6_u1_b110 12 6 1 110 log(dst(P,add(R,P))) 24501 97689929 o1(o2(x,o2(x,x))) true 25855 25855 -0.07705 0.4672 0.2057 0.07215 0.2686 -1 0.4433 1.443 1 3.97 0.0008163 0.001119 0.03282 -0.1565 1 0.00001519 0.0001677 0.007841 0.0008586 0.0293 0.8929 0.2795 0.02683 0.002324 1 1 0.003218 0.04136 0.1159 0.0446 0.5732 1.607 json
t12_x6_u1_b111 12 6 1 111 log(dst(P,sub(R,P))) 24502 97689930 o1(o2(x,o2(x,x))) true 25863 25863 0.9916 1 0.9916 0.00374 0.06116 0.1753 1 0.8247 1 0.2428 0.00003697 0.00003928 0.001245 -0.03037 0 -5.632e-11 0.00001689 0.0004788 0.00007466 0.008641 6.938 0.1045 0.02039 0.004515 1 1 0.0002558 0.002778 0.01272 0.06841 0.7428 3.4 json
t12_x6_u1_b112 12 6 1 112 log(dst(P,mlt(R,P))) 24503 97689931 o1(o2(x,o2(x,x))) true 25871 25871 0.847 0.9443 0.9162 0.168 0.4099 -1 1 2 1 1.604 0.003046 0.002875 0.02448 0.02876 1 -0.000039 0.004776 0.01278 0.005326 0.07298 2.98 1.292 0.03524 0.02842 1 1 0.01116 0.102 0.3353 0.06644 0.607 1.995 json
t12_x6_u1_b113 12 6 1 113 log(dst(P,div(R,P))) 24504 97689932 o1(o2(x,o2(x,x))) true 25879 25879 -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_u1_b114 12 6 1 114 log(dst(P,pow(R,P))) 24505 97689933 o1(o2(x,o2(x,x))) true 25887 25887 -0.9785 0.01172 0.998 0.03958 0.1989 -1 1 2 1 0.1223 0.005165 0.003447 0.004755 0.1995 1 0 0.01807 0.009251 0.008582 0.09264 19.48 2.828 0.2176 0.4565 1 1 0.01517 0.06131 0.1435 0.3832 1.549 3.627 json
t12_x6_u1_b115 12 6 1 115 log(dst(P,mod(R,P))) 24506 97689934 o1(o2(x,o2(x,x))) true 25895 25895 0.5262 0.765 0.9953 0.715 0.8456 -1 1 2 1 0.9679 0.02593 0.0265 0.02771 -0.01087 1 -6.045e-10 0.105 0.05387 0.05164 0.2272 8.202 2.692 0.07332 0.1468 1 1 0.06487 0.2643 1.094 0.09073 0.3697 1.53 json
t12_x6_u1_b116 12 6 1 116 log(dst(P,lrg(R,P))) 24507 97689935 o1(o2(x,o2(x,x))) true 25903 25903 0.9853 1 0.9853 0.007246 0.08512 0.0002607 1 0.9997 1 0.396 0.00004279 0.00003477 0.001659 0.1033 0 6.758e-11 0.000007158 0.0004628 0.00007485 0.008652 5.215 0.1047 0.0107 0.0009879 1 1 0.0002675 0.003385 0.02163 0.03692 0.4672 2.985 json
t12_x6_u1_b117 12 6 1 117 log(dst(P,eql(R,P))) 24508 97689936 o1(o2(x,o2(x,x))) true 25911 25911 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t12_x6_u1_b118 12 6 1 118 log(dst(P,min(R,P))) 24509 97689937 o1(o2(x,o2(x,x))) true 25919 25919 0.3285 0.6779 0.9162 0.7789 0.8826 -1 1 2 1 2.194 0.002595 0.002629 0.01552 -0.006427 1 0.00001207 0.008304 0.01087 0.004985 0.07061 4.549 1.705 0.006707 0.01066 1 1 0.009321 0.06276 0.3014 0.01197 0.08058 0.387 json
t12_x6_u1_b119 12 6 1 119 log(dst(P,dot(R,P))) 24510 97689938 o1(o2(x,o2(x,x))) true 25927 25927 0.9504 0.9835 0.9819 0.06927 0.2632 -1 1 2 1 0.5904 0.002205 0.001862 0.005217 0.08436 1 -4.318e-11 0.008195 0.006356 0.004041 0.06357 12.18 2.044 0.0587 0.1183 1 1 0.007399 0.03616 0.2025 0.1068 0.522 2.924 json
t12_x6_u1_b120 12 6 1 120 log(dst(P,dst(R,P))) 24511 97689939 o1(o2(x,o2(x,x))) true 25935 25935 0.989 0.9985 0.9893 0.006107 0.07815 -0.1901 1 1.19 1 0.3076 0.00006255 0.0000567 0.00163 0.04903 1 8.26e-11 0.00001968 0.0005799 0.0001167 0.0108 6.628 0.1623 0.01953 0.003222 1 1 0.0004055 0.004756 0.02061 0.0664 0.7787 3.376 json
t12_x6_u2_b0 12 6 2 0 frc(add(P,add(R,P))) 24512 97690020 o1(o2(x,o2(x,x))) true 25943 25943 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_x6_u2_b1 12 6 2 1 frc(add(P,sub(R,P))) 24513 97690021 o1(o2(x,o2(x,x))) true 25951 25951 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_x6_u2_b2 12 6 2 2 frc(add(P,mlt(R,P))) 24514 97690022 o1(o2(x,o2(x,x))) true 25959 25959 0.4737 0.9978 0.4737 0.06137 0.2477 9.693e-7 0.9979 0.9979 1 3.912 0.0009298 0.0007748 0.03371 0.09094 1 6.657e-7 0.0001001 0.007806 0.0005681 0.02384 0.707 0.1165 0.02778 0.001631 1 1 0.003621 0.04664 0.1189 0.059 0.76 1.938 json
t12_x6_u2_b3 12 6 2 3 frc(add(P,div(R,P))) 24515 97690023 o1(o2(x,o2(x,x))) true 25967 25967 0.3386 0.875 0.5886 0.3318 0.576 -1 0.9995 1.999 1 3.996 0.01976 0.001227 0.04676 0.8831 1 0.00002929 0.03775 0.03231 0.01881 0.1371 2.933 1.997 0.06327 0.1138 1 1 0.02828 0.1431 0.5053 0.08524 0.4314 1.523 json
t12_x6_u2_b4 12 6 2 4 frc(add(P,pow(R,P))) 24516 97690024 o1(o2(x,o2(x,x))) true 25975 25975 -0.9042 0.07321 0.9473 0.1185 0.3442 -1 0.9442 1.944 1 0.6443 0.01229 0.01074 0.01844 0.06724 1 9.798e-7 0.04795 0.03345 0.0227 0.1507 8.172 2.698 0.1944 0.4047 1 1 0.02173 0.08927 0.2659 0.1834 0.7535 2.244 json
t12_x6_u2_b5 12 6 2 5 frc(add(P,mod(R,P))) 24517 97690025 o1(o2(x,o2(x,x))) true 25983 25983 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_x6_u2_b6 12 6 2 6 frc(add(P,lrg(R,P))) 24518 97690026 o1(o2(x,o2(x,x))) true 25991 25991 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_b7 12 6 2 7 frc(add(P,eql(R,P))) 24519 97690027 o1(o2(x,o2(x,x))) true 25999 25999 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_b8 12 6 2 8 frc(add(P,min(R,P))) 24520 97690028 o1(o2(x,o2(x,x))) true 26007 26007 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_b9 12 6 2 9 frc(add(P,dot(R,P))) 24521 97690029 o1(o2(x,o2(x,x))) true 26015 26015 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_b10 12 6 2 10 frc(add(P,dst(R,P))) 24522 97690030 o1(o2(x,o2(x,x))) true 26023 26023 0.4819 1 0.4819 0.05196 0.2279 0.003903 0.9966 0.9927 1 3.85 0.0007872 0.0007332 0.03206 0.03552 1 0.000003255 0.00008894 0.00735 0.0004926 0.0222 0.6924 0.1141 0.02926 0.001712 1 1 0.003097 0.04009 0.11 0.05961 0.7715 2.117 json
t12_x6_u2_b11 12 6 2 11 frc(sub(P,add(R,P))) 24523 97690031 o1(o2(x,o2(x,x))) true 26031 26031 0.4734 1 0.4734 0.05091 0.2256 0.002976 0.9989 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_x6_u2_b12 12 6 2 12 frc(sub(P,sub(R,P))) 24524 97690032 o1(o2(x,o2(x,x))) true 26039 26039 0.4734 1 0.4734 0.05091 0.2256 0.002976 0.9989 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_x6_u2_b13 12 6 2 13 frc(sub(P,mlt(R,P))) 24525 97690033 o1(o2(x,o2(x,x))) true 26047 26047 0.4638 0.9972 0.4638 0.06124 0.2475 7.681e-7 0.9978 0.9978 1 3.913 0.0009043 0.0007748 0.03343 0.07714 1 -6.659e-7 0.00009894 0.007734 0.0005617 0.0237 0.709 0.1165 0.02742 0.001616 1 1 0.003571 0.04597 0.1135 0.0583 0.7506 1.853 json
t12_x6_u2_b14 12 6 2 14 frc(sub(P,div(R,P))) 24526 97690034 o1(o2(x,o2(x,x))) true 26055 26055 0.2864 0.875 0.5364 0.3122 0.5587 -1 0.9975 1.997 1 3.996 0.0189 0.001227 0.04648 0.8781 1 -0.00002929 0.03602 0.03173 0.01797 0.1341 2.885 1.997 0.06449 0.1154 1 1 0.02743 0.1406 0.5009 0.08786 0.4503 1.605 json
t12_x6_u2_b15 12 6 2 15 frc(sub(P,pow(R,P))) 24527 97690035 o1(o2(x,o2(x,x))) true 26063 26063 -0.8926 0.07344 0.9589 0.1506 0.388 -1 0.9993 1.999 1 0.6679 0.0141 0.0134 0.02019 0.02576 1 -9.795e-7 0.05718 0.03648 0.02708 0.1646 8.15 2.335 0.1827 0.3798 1 1 0.02467 0.105 0.3419 0.1639 0.6974 2.271 json
t12_x6_u2_b16 12 6 2 16 frc(sub(P,mod(R,P))) 24528 97690036 o1(o2(x,o2(x,x))) true 26071 26071 0.288 0.875 0.538 0.2831 0.5321 -1 0.9989 1.999 1 3.893 0.01642 0.0006142 0.03805 0.9279 1 -0.00004894 0.03164 0.02826 0.01559 0.1248 3.281 1.996 0.06016 0.1118 1 1 0.02354 0.1131 0.4182 0.08314 0.3993 1.477 json
t12_x6_u2_b17 12 6 2 17 frc(sub(P,lrg(R,P))) 24529 97690037 o1(o2(x,o2(x,x))) true 26079 26079 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_b18 12 6 2 18 frc(sub(P,eql(R,P))) 24530 97690038 o1(o2(x,o2(x,x))) true 26087 26087 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_b19 12 6 2 19 frc(sub(P,min(R,P))) 24531 97690039 o1(o2(x,o2(x,x))) true 26095 26095 0.2407 0.5444 0.2407 0.07986 0.2826 0 0.9989 0.9989 1 2.95 0.0004139 0.0003832 0.01699 0.03855 1 -0.00002367 0.00004625 0.003893 0.0005085 0.02255 1.328 0.1165 0.009981 0.0005792 1 1 0.001538 0.02 0.06661 0.01926 0.2504 0.834 json
t12_x6_u2_b20 12 6 2 20 frc(sub(P,dot(R,P))) 24532 97690040 o1(o2(x,o2(x,x))) true 26103 26103 0.4975 1 0.4975 0.0538 0.2319 0.0002363 0.9914 0.9912 1 3.86 0.000728 0.0008196 0.03225 -0.05918 1 -0.00002028 0.00009066 0.007433 0.0005077 0.02253 0.6987 0.1109 0.02877 0.001685 1 1 0.003393 0.04352 0.1055 0.06307 0.8089 1.96 json
t12_x6_u2_b21 12 6 2 21 frc(sub(P,dst(R,P))) 24533 97690041 o1(o2(x,o2(x,x))) true 26111 26111 0.5181 1 0.5181 0.05196 0.2279 0.003355 0.9961 0.9927 1 3.85 0.0007872 0.0007332 0.03206 0.03552 1 -0.000003256 0.00008894 0.00735 0.0004926 0.0222 0.6924 0.1141 0.02926 0.001712 1 1 0.003097 0.04009 0.11 0.05961 0.7715 2.117 json
t12_x6_u2_b22 12 6 2 22 frc(mlt(P,add(R,P))) 24534 97690042 o1(o2(x,o2(x,x))) true 26119 26119 0.4737 0.9978 0.4737 0.06137 0.2477 9.693e-7 0.9979 0.9979 1 3.912 0.0009298 0.0007748 0.03371 0.09094 1 6.658e-7 0.0001001 0.007806 0.0005681 0.02384 0.707 0.1165 0.02778 0.001631 1 1 0.003621 0.04664 0.1189 0.059 0.76 1.938 json
t12_x6_u2_b23 12 6 2 23 frc(mlt(P,sub(R,P))) 24535 97690043 o1(o2(x,o2(x,x))) true 26127 26127 0.4737 0.9978 0.4737 0.06137 0.2477 9.693e-7 0.9979 0.9979 1 3.912 0.0009298 0.0007748 0.03371 0.09094 1 6.653e-7 0.0001001 0.007806 0.0005681 0.02384 0.707 0.1165 0.02778 0.001631 1 1 0.003621 0.04664 0.1189 0.059 0.76 1.938 json
t12_x6_u2_b24 12 6 2 24 frc(mlt(P,mlt(R,P))) 24536 97690044 o1(o2(x,o2(x,x))) true 26135 26135 0.4978 0.9989 0.4978 0.0575 0.2398 7.681e-7 0.9959 0.9959 1 3.882 0.0009688 0.0006111 0.03236 0.2264 1 -0.000006563 0.00009004 0.007381 0.0005327 0.02308 0.7132 0.1118 0.02748 0.001566 1 1 0.003122 0.04022 0.09309 0.05431 0.6995 1.619 json
t12_x6_u2_b25 12 6 2 25 frc(mlt(P,div(R,P))) 24537 97690045 o1(o2(x,o2(x,x))) true 26143 26143 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_x6_u2_b26 12 6 2 26 frc(mlt(P,pow(R,P))) 24538 97690046 o1(o2(x,o2(x,x))) true 26151 26151 -0.895 0.07422 0.9566 0.1432 0.3785 -1 0.9676 1.968 1 0.6672 0.01369 0.01262 0.02061 0.04044 1 0.000002343 0.05455 0.03577 0.02586 0.1608 7.802 2.698 0.1837 0.3809 1 1 0.02431 0.1032 0.3266 0.1697 0.7203 2.28 json
t12_x6_u2_b27 12 6 2 27 frc(mlt(P,mod(R,P))) 24539 97690047 o1(o2(x,o2(x,x))) true 26159 26159 0.3163 0.875 0.5663 0.2944 0.5425 -1 0.9979 1.998 1 3.92 0.01949 0.0007256 0.04081 0.9282 1 4.158e-7 0.03769 0.03076 0.01855 0.1362 3.338 1.996 0.06868 0.128 1 1 0.02767 0.1361 0.4801 0.094 0.4624 1.631 json
t12_x6_u2_b28 12 6 2 28 frc(mlt(P,lrg(R,P))) 24540 97690048 o1(o2(x,o2(x,x))) true 26167 26167 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_b29 12 6 2 29 frc(mlt(P,eql(R,P))) 24541 97690049 o1(o2(x,o2(x,x))) true 26175 26175 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_b30 12 6 2 30 frc(mlt(P,min(R,P))) 24542 97690050 o1(o2(x,o2(x,x))) true 26183 26183 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_b31 12 6 2 31 frc(mlt(P,dot(R,P))) 24543 97690051 o1(o2(x,o2(x,x))) true 26191 26191 0.4491 0.997 0.4491 0.05321 0.2307 0.000005737 0.9956 0.9956 1 3.844 0.0008456 0.000655 0.03139 0.127 1 0.000012 0.00008625 0.007181 0.0005153 0.0227 0.7231 0.1129 0.0282 0.001621 1 1 0.003195 0.04115 0.1089 0.06004 0.7734 2.047 json
t12_x6_u2_b32 12 6 2 32 frc(mlt(P,dst(R,P))) 24544 97690052 o1(o2(x,o2(x,x))) true 26199 26199 0.495 0.9983 0.495 0.06176 0.2485 0.000004034 0.9964 0.9964 1 3.916 0.0009037 0.0007664 0.03328 0.0822 1 0.00002339 0.00009539 0.007623 0.000563 0.02373 0.713 0.1165 0.02704 0.001545 1 1 0.00338 0.04366 0.11 0.05474 0.707 1.78 json
t12_x6_u2_b33 12 6 2 33 frc(div(P,add(R,P))) 24545 97690053 o1(o2(x,o2(x,x))) true 26207 26207 0.4804 0.9987 0.4804 0.09043 0.3007 9.657e-7 0.9981 0.9981 1 3.957 0.001272 0.001205 0.0397 0.02708 1 -0.00002999 0.0001429 0.009348 0.0009015 0.03002 0.7563 0.1165 0.02739 0.00158 1 1 0.004404 0.05676 0.156 0.0487 0.6276 1.725 json
t12_x6_u2_b34 12 6 2 34 frc(div(P,sub(R,P))) 24546 97690054 o1(o2(x,o2(x,x))) true 26215 26215 0.405 0.9965 0.405 0.08677 0.2946 9.409e-7 0.9975 0.9975 1 3.888 0.0011 0.001274 0.03839 -0.07328 1 -0.00002846 0.0001391 0.009054 0.000901 0.03002 0.7819 0.1165 0.02737 0.001603 1 1 0.003997 0.05137 0.145 0.04607 0.592 1.671 json
t12_x6_u2_b35 12 6 2 35 frc(div(P,mlt(R,P))) 24547 97690055 o1(o2(x,o2(x,x))) true 26223 26223 0.2844 0.875 0.5344 0.2811 0.5301 -1 0.9989 1.999 1 3.902 0.01514 0.0005934 0.0369 0.9246 1 -0.00001997 0.02916 0.02717 0.01438 0.1199 3.249 1.981 0.05599 0.1038 1 1 0.02116 0.1046 0.4283 0.07528 0.3722 1.524 json
t12_x6_u2_b36 12 6 2 36 frc(div(P,div(R,P))) 24548 97690056 o1(o2(x,o2(x,x))) true 26231 26231 0.4529 0.9956 0.4529 0.05487 0.2342 0.00001357 0.9972 0.9972 1 3.853 0.0006539 0.0005851 0.02844 0.05556 1 0.0000422 0.00007146 0.006482 0.00043 0.02074 0.729 0.1149 0.02258 0.001302 1 1 0.002431 0.03132 0.1085 0.04431 0.5709 1.977 json
t12_x6_u2_b37 12 6 2 37 frc(div(P,pow(R,P))) 24549 97690057 o1(o2(x,o2(x,x))) true 26239 26239 -0.8968 0.07295 0.9548 0.1409 0.3753 -1 1 2 1 0.6604 0.01469 0.0129 0.01995 0.06468 1 -0.00000714 0.05744 0.03625 0.02719 0.1649 8.263 2.823 0.1958 0.4077 1 1 0.02523 0.1038 0.3079 0.1791 0.7368 2.186 json
t12_x6_u2_b38 12 6 2 38 frc(div(P,mod(R,P))) 24550 97690058 o1(o2(x,o2(x,x))) true 26247 26247 0.2984 0.875 0.5484 0.2862 0.535 -1 0.9991 1.999 1 3.899 0.01905 0.0005972 0.03825 0.9392 1 -0.000008291 0.03694 0.02983 0.01818 0.1348 3.525 1.953 0.06863 0.1291 1 1 0.02687 0.1266 0.4562 0.09388 0.4425 1.594 json
t12_x6_u2_b39 12 6 2 39 frc(div(P,lrg(R,P))) 24551 97690059 o1(o2(x,o2(x,x))) true 26255 26255 -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_u2_b40 12 6 2 40 frc(div(P,eql(R,P))) 24552 97690060 o1(o2(x,o2(x,x))) true 26263 26263 -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_b41 12 6 2 41 frc(div(P,min(R,P))) 24553 97690061 o1(o2(x,o2(x,x))) true 26271 26271 0.3058 0.7728 0.4621 0.2524 0.5024 -1 1 2 1 3.789 0.008723 0.002106 0.03667 0.6111 1 -0.0001108 0.01798 0.02158 0.009483 0.09738 2.656 1.818 0.0429 0.07122 1 1 0.01713 0.1026 0.3684 0.06786 0.4064 1.459 json
t12_x6_u2_b42 12 6 2 42 frc(div(P,dot(R,P))) 24554 97690062 o1(o2(x,o2(x,x))) true 26279 26279 0.3988 0.9821 0.4301 0.0772 0.2779 -1 0.99 1.99 1 3.83 0.002541 0.002051 0.03194 0.1067 1 0.00002297 0.006857 0.0118 0.003571 0.05976 1.871 2.4 0.05947 0.08882 1 1 0.008552 0.06024 0.1996 0.1108 0.7803 2.586 json
t12_x6_u2_b43 12 6 2 43 frc(div(P,dst(R,P))) 24555 97690063 o1(o2(x,o2(x,x))) true 26287 26287 0.4644 0.9978 0.4644 0.06951 0.2637 0.00003427 0.9994 0.9994 1 3.946 0.0006003 0.0004405 0.021 0.1536 1 -0.000004076 0.00005787 0.004832 0.0006 0.02449 1.166 0.1128 0.01497 0.0008326 1 1 0.002284 0.0298 0.1059 0.03286 0.4287 1.524 json
t12_x6_u2_b44 12 6 2 44 frc(pow(P,add(R,P))) 24556 97690064 o1(o2(x,o2(x,x))) true 26295 26295 -0.3796 0.4343 0.7142 0.4913 0.7009 -1 0.9497 1.95 1 2.687 0.004383 0.001763 0.01945 0.4262 1 -0.00005553 0.01135 0.01407 0.005766 0.07594 3.903 1.414 0.01251 0.02311 1 1 0.008599 0.04708 0.2148 0.0175 0.09582 0.4372 json
t12_x6_u2_b45 12 6 2 45 frc(pow(P,sub(R,P))) 24557 97690065 o1(o2(x,o2(x,x))) true 26303 26303 -0.5279 0.2822 0.5659 0.272 0.5215 -1 0.4848 1.485 1 1.531 0.004014 0.00152 0.007783 0.4507 1 3.616e-8 0.01133 0.01146 0.005474 0.07399 9.506 1.414 0.02035 0.04166 1 1 0.007619 0.03285 0.1334 0.02801 0.1208 0.4905 json
t12_x6_u2_b46 12 6 2 46 frc(pow(P,mlt(R,P))) 24558 97690066 o1(o2(x,o2(x,x))) true 26311 26311 -0.3681 0.4337 0.6319 0.4261 0.6528 -1 0.9705 1.971 1 2.7 0.004354 0.0002457 0.01729 0.8932 1 -0.000001057 0.007973 0.011 0.004302 0.06559 3.794 1 0.01079 0.01871 1 1 0.00635 0.03524 0.1514 0.0149 0.08269 0.3554 json
t12_x6_u2_b47 12 6 2 47 frc(pow(P,div(R,P))) 24559 97690067 o1(o2(x,o2(x,x))) true 26319 26319 -0.3157 0.4365 0.7781 0.6047 0.7776 -1 0.9991 1.999 1 2.772 0.004482 0.002039 0.02292 0.3746 1 0.00001858 0.01138 0.01504 0.005993 0.07742 3.378 1.414 0.01078 0.01882 1 1 0.009344 0.05708 0.2519 0.01545 0.0944 0.4166 json
t12_x6_u2_b48 12 6 2 48 frc(pow(P,pow(R,P))) 24560 97690068 o1(o2(x,o2(x,x))) true 26327 26327 -0.9285 0.007706 0.9309 0.06801 0.2608 -1 0.7901 1.79 1 0.4044 0.008403 0.0007857 0.009182 0.829 1 0.000003093 0.01849 0.01805 0.009108 0.09544 10.39 1.769 0.1351 0.2719 1 1 0.01053 0.04211 0.09309 0.1548 0.6191 1.369 json
t12_x6_u2_b49 12 6 2 49 frc(pow(P,mod(R,P))) 24561 97690069 o1(o2(x,o2(x,x))) true 26335 26335 -0.349 0.437 0.776 0.5682 0.7538 -1 0.9948 1.995 1 2.666 0.004322 0.0002236 0.01681 0.9016 1 0.00001866 0.007938 0.01083 0.004265 0.06531 3.886 1 0.008001 0.01397 1 1 0.006424 0.04014 0.2276 0.01131 0.07065 0.4006 json
t12_x6_u2_b50 12 6 2 50 frc(pow(P,lrg(R,P))) 24562 97690070 o1(o2(x,o2(x,x))) true 26343 26343 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t12_x6_u2_b51 12 6 2 51 frc(pow(P,eql(R,P))) 24563 97690071 o1(o2(x,o2(x,x))) true 26351 26351 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_b52 12 6 2 52 frc(pow(P,min(R,P))) 24564 97690072 o1(o2(x,o2(x,x))) true 26359 26359 -0.3334 0.437 0.7604 0.5636 0.7507 -1 0.9948 1.995 1 2.736 0.004322 0.001735 0.01829 0.427 1 0.00001866 0.01135 0.01386 0.005723 0.07565 4.136 1.414 0.01075 0.02013 1 1 0.008633 0.04785 0.238 0.01532 0.0849 0.4223 json
t12_x6_u2_b53 12 6 2 53 frc(pow(P,dot(R,P))) 24565 97690073 o1(o2(x,o2(x,x))) true 26367 26367 -0.4358 0.4322 0.6502 0.4054 0.6367 -1 0.9643 1.964 1 2.481 0.004286 0.0008319 0.01699 0.6749 1 0.000009207 0.009093 0.01183 0.004828 0.06949 4.09 1.414 0.01262 0.02243 1 1 0.007588 0.04477 0.1919 0.01872 0.1104 0.4733 json
t12_x6_u2_b54 12 6 2 54 frc(pow(P,dst(R,P))) 24566 97690074 o1(o2(x,o2(x,x))) true 26375 26375 -0.3371 0.39 0.6629 0.4782 0.6915 -1 0.948 1.948 1 2.718 0.004354 0.0003087 0.01727 0.8676 1 -0.00001557 0.007978 0.01103 0.004367 0.06608 3.827 1 0.009751 0.01668 1 1 0.006568 0.03805 0.1643 0.01373 0.07956 0.3436 json
t12_x6_u2_b55 12 6 2 55 frc(mod(P,add(R,P))) 24567 97690075 o1(o2(x,o2(x,x))) true 26383 26383 0.241 0.8965 0.241 0.06464 0.2542 0 0.9987 0.9987 1 3.257 0.0008721 0.0008498 0.0309 0.01296 1 -0.00001195 0.0001016 0.007265 0.0007669 0.02769 0.8961 0.1168 0.02664 0.001572 1 1 0.002993 0.0387 0.1109 0.0463 0.5988 1.716 json
t12_x6_u2_b56 12 6 2 56 frc(mod(P,sub(R,P))) 24568 97690076 o1(o2(x,o2(x,x))) true 26391 26391 0.2233 0.8741 0.2233 0.06516 0.2553 0 0.9986 0.9986 1 3.085 0.0008303 0.0008615 0.02979 -0.01844 1 0.00002574 0.00009943 0.007003 0.0008046 0.02837 0.9523 0.1168 0.02596 0.001526 1 1 0.003197 0.0414 0.1322 0.04907 0.6353 2.029 json
t12_x6_u2_b57 12 6 2 57 frc(mod(P,mlt(R,P))) 24569 97690077 o1(o2(x,o2(x,x))) true 26399 26399 0.3165 0.875 0.5665 0.3002 0.5479 -1 0.9996 2 1 3.95 0.01972 0.0006034 0.03899 0.9406 1 -0.000003279 0.03818 0.03014 0.0188 0.1371 3.517 2 0.06771 0.1272 1 1 0.02785 0.132 0.4823 0.09277 0.4397 1.607 json
t12_x6_u2_b58 12 6 2 58 frc(mod(P,div(R,P))) 24570 97690078 o1(o2(x,o2(x,x))) true 26407 26407 0.3117 0.875 0.5617 0.4118 0.6417 -1 0.9996 2 1 2.761 0.01908 0.0000319 0.01722 0.9967 1 0.000001805 0.03811 0.02516 0.01882 0.1372 7.967 2 0.04641 0.09255 1 1 0.02566 0.1034 0.4091 0.0623 0.2511 0.9933 json
t12_x6_u2_b59 12 6 2 59 frc(mod(P,pow(R,P))) 24571 97690079 o1(o2(x,o2(x,x))) true 26415 26415 -0.9194 0.04765 0.9322 0.08267 0.2875 -1 0.8886 1.889 1 0.5197 0.007862 0.007606 0.01459 0.01659 1 0.000005426 0.03225 0.02747 0.01524 0.1235 8.462 1.89 0.1871 0.3901 1 1 0.01494 0.06175 0.1891 0.1808 0.747 2.287 json
t12_x6_u2_b60 12 6 2 60 frc(mod(P,mod(R,P))) 24572 97690080 o1(o2(x,o2(x,x))) true 26423 26423 0.3248 0.875 0.5748 0.3378 0.5812 -1 0.9996 2 1 3.923 0.01932 0.0003066 0.02921 0.9688 1 1.501e-7 0.03814 0.02792 0.01878 0.137 4.691 2 0.05811 0.1129 1 1 0.0266 0.1153 0.4444 0.07873 0.3413 1.315 json
t12_x6_u2_b61 12 6 2 61 frc(mod(P,lrg(R,P))) 24573 97690081 o1(o2(x,o2(x,x))) true 26431 26431 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_b62 12 6 2 62 frc(mod(P,eql(R,P))) 24574 97690082 o1(o2(x,o2(x,x))) true 26439 26439 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_b63 12 6 2 63 frc(mod(P,min(R,P))) 24575 97690083 o1(o2(x,o2(x,x))) true 26447 26447 0.03 0.4595 0.1862 0.1159 0.3404 -1 0.7988 1.799 1 2.54 0.006121 0.001866 0.01618 0.5326 1 0.000004151 0.01562 0.01612 0.007728 0.08791 5.434 1.461 0.06892 0.1348 1 1 0.0119 0.05247 0.2019 0.1027 0.4528 1.743 json
t12_x6_u2_b64 12 6 2 64 frc(mod(P,dot(R,P))) 24576 97690084 o1(o2(x,o2(x,x))) true 26455 26455 0.2807 0.8821 0.312 0.1022 0.3196 -1 0.9983 1.998 1 3.59 0.002598 0.002249 0.0318 0.07201 1 -0.0000241 0.006761 0.01181 0.003836 0.06193 1.947 1.966 0.04744 0.06617 1 1 0.008684 0.06183 0.212 0.085 0.6052 2.075 json
t12_x6_u2_b65 12 6 2 65 frc(mod(P,dst(R,P))) 24577 97690085 o1(o2(x,o2(x,x))) true 26463 26463 0.05855 0.2294 0.05855 0.02507 0.1583 0 0.9413 0.9413 1 1.191 0.0001937 0.0002887 0.008538 -0.197 1 0.00001173 0.00002897 0.002069 0.0004094 0.02023 2.37 0.11 0.01924 0.001155 1 1 0.0009807 0.01282 0.04635 0.03912 0.5114 1.849 json
t12_x6_u2_b66 12 6 2 66 frc(lrg(P,add(R,P))) 24578 97690086 o1(o2(x,o2(x,x))) true 26471 26471 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_b67 12 6 2 67 frc(lrg(P,sub(R,P))) 24579 97690087 o1(o2(x,o2(x,x))) true 26479 26479 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_b68 12 6 2 68 frc(lrg(P,mlt(R,P))) 24580 97690088 o1(o2(x,o2(x,x))) true 26487 26487 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_b69 12 6 2 69 frc(lrg(P,div(R,P))) 24581 97690089 o1(o2(x,o2(x,x))) true 26495 26495 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_b70 12 6 2 70 frc(lrg(P,pow(R,P))) 24582 97690090 o1(o2(x,o2(x,x))) true 26503 26503 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_b71 12 6 2 71 frc(lrg(P,mod(R,P))) 24583 97690091 o1(o2(x,o2(x,x))) true 26511 26511 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_b72 12 6 2 72 frc(lrg(P,lrg(R,P))) 24584 97690092 o1(o2(x,o2(x,x))) true 26519 26519 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_b73 12 6 2 73 frc(lrg(P,eql(R,P))) 24585 97690093 o1(o2(x,o2(x,x))) true 26527 26527 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_b74 12 6 2 74 frc(lrg(P,min(R,P))) 24586 97690094 o1(o2(x,o2(x,x))) true 26535 26535 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_b75 12 6 2 75 frc(lrg(P,dot(R,P))) 24587 97690095 o1(o2(x,o2(x,x))) true 26543 26543 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_b76 12 6 2 76 frc(lrg(P,dst(R,P))) 24588 97690096 o1(o2(x,o2(x,x))) true 26551 26551 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_b77 12 6 2 77 frc(eql(P,add(R,P))) 24589 97690097 o1(o2(x,o2(x,x))) true 26559 26559 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_b78 12 6 2 78 frc(eql(P,sub(R,P))) 24590 97690098 o1(o2(x,o2(x,x))) true 26567 26567 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_b79 12 6 2 79 frc(eql(P,mlt(R,P))) 24591 97690099 o1(o2(x,o2(x,x))) true 26575 26575 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_b80 12 6 2 80 frc(eql(P,div(R,P))) 24592 97690100 o1(o2(x,o2(x,x))) true 26583 26583 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_b81 12 6 2 81 frc(eql(P,pow(R,P))) 24593 97690101 o1(o2(x,o2(x,x))) true 26591 26591 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_b82 12 6 2 82 frc(eql(P,mod(R,P))) 24594 97690102 o1(o2(x,o2(x,x))) true 26599 26599 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_b83 12 6 2 83 frc(eql(P,lrg(R,P))) 24595 97690103 o1(o2(x,o2(x,x))) true 26607 26607 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_b84 12 6 2 84 frc(eql(P,eql(R,P))) 24596 97690104 o1(o2(x,o2(x,x))) true 26615 26615 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_b85 12 6 2 85 frc(eql(P,min(R,P))) 24597 97690105 o1(o2(x,o2(x,x))) true 26623 26623 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_b86 12 6 2 86 frc(eql(P,dot(R,P))) 24598 97690106 o1(o2(x,o2(x,x))) true 26631 26631 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_b87 12 6 2 87 frc(eql(P,dst(R,P))) 24599 97690107 o1(o2(x,o2(x,x))) true 26639 26639 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