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_x12_u2_b106 12 12 2 106 frc(dot(D,eql(D,P))) 29700 97932532 o1(o2(x,o2(x,x))) true 67447 67447 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_x12_u2_b107 12 12 2 107 frc(dot(D,min(D,P))) 29701 97932533 o1(o2(x,o2(x,x))) true 67455 67455 0.4213 0.9998 0.4213 0.05291 0.23 0.00001819 0.9924 0.9924 1 3.829 0.04798 0.04798 0.2267 -0.00003832 1 -0.001659 0.3934 0.3973 0.04456 0.2111 0.9312 1.325 1.814 7.434 1 1 0.05694 0.06624 0.04706 1.076 1.252 0.8894 json
t12_x12_u2_b108 12 12 2 108 frc(dot(D,dot(D,P))) 29702 97932534 o1(o2(x,o2(x,x))) true 67463 67463 0.4701 0.996 0.4701 0.07292 0.27 0 0.9978 0.9978 1 3.974 0.08831 0.08831 0.3012 -0.000004724 1 0.00001313 0.8164 0.6203 0.08592 0.2931 0.9732 1.411 2.422 11.19 1 1 0.1227 0.1498 0.07688 1.683 2.054 1.054 json
t12_x12_u2_b109 12 12 2 109 frc(dot(D,dst(D,P))) 29703 97932535 o1(o2(x,o2(x,x))) true 67471 67471 0.4755 0.9993 0.4755 0.05368 0.2317 0.00002636 0.9987 0.9987 1 3.862 0.1308 0.1308 0.4505 0 1 0.000009072 1.666 1.07 0.05878 0.2424 0.5382 1.41 4.875 31.04 1 1 0.121 0.1092 0.08331 2.253 2.034 1.552 json
t12_x12_u2_b110 12 12 2 110 frc(dst(D,add(D,P))) 29704 97932536 o1(o2(x,o2(x,x))) true 67479 67479 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_x12_u2_b111 12 12 2 111 frc(dst(D,sub(D,P))) 29705 97932537 o1(o2(x,o2(x,x))) true 67487 67487 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_x12_u2_b112 12 12 2 112 frc(dst(D,mlt(D,P))) 29706 97932538 o1(o2(x,o2(x,x))) true 67495 67495 0.4921 1 0.4921 0.05335 0.231 0.0005638 0.9886 0.988 1 3.801 0.07417 0.07417 0.3231 0.000006931 1 0.002577 0.5641 0.5774 0.04396 0.2097 0.649 1.119 2.781 10.57 1 1 0.08172 0.085 0.0742 1.532 1.593 1.391 json
t12_x12_u2_b113 12 12 2 113 frc(dst(D,div(D,P))) 29707 97932539 o1(o2(x,o2(x,x))) true 67503 67503 -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_x12_u2_b114 12 12 2 114 frc(dst(D,pow(D,P))) 29708 97932540 o1(o2(x,o2(x,x))) true 67511 67511 -0.9942 0.003906 0.998 0.008746 0.09352 -1 0.983 1.983 1 0.0521 0.001273 0.001273 0.002452 -1.372e-7 1 7.509e-12 0.005908 0.004382 0.002536 0.05036 20.54 2.501 0.291 0.6755 1 1 0.004556 0.01631 0.03183 0.5209 1.865 3.639 json
t12_x12_u2_b115 12 12 2 115 frc(dst(D,mod(D,P))) 29709 97932541 o1(o2(x,o2(x,x))) true 67519 67519 -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_x12_u2_b116 12 12 2 116 frc(dst(D,lrg(D,P))) 29710 97932542 o1(o2(x,o2(x,x))) true 67527 67527 0.4971 1 0.4971 0.05539 0.2354 0.008751 0.9971 0.9883 1 3.887 0.02205 0.02204 0.1095 0.00001643 1 -0.0005799 0.1399 0.1373 0.03211 0.1792 1.637 1.361 0.796 2.526 1 1 0.0446 0.1195 0.01873 0.8051 2.158 0.3382 json
t12_x12_u2_b117 12 12 2 117 frc(dst(D,eql(D,P))) 29711 97932543 o1(o2(x,o2(x,x))) true 67535 67535 0.1095 1 0.1095 0.003273 0.05721 0.001204 0.2224 0.2212 1 1.911 0.0002536 0.0002536 0.02142 5.738e-7 1 -0.0002138 0.00007867 0.007366 0.00004872 0.00698 0.3259 0.03278 0.155 0.02403 1 1 0.0009717 0.00647 0 0.2969 1.977 0 json
t12_x12_u2_b118 12 12 2 118 frc(dst(D,min(D,P))) 29712 97932544 o1(o2(x,o2(x,x))) true 67543 67543 0.3612 0.8086 0.3612 0.09358 0.3059 0 0.9954 0.9954 1 3.699 0.01897 0.01897 0.08503 0.00002096 1 -0.000349 0.09539 0.09673 0.0307 0.1752 2.061 1.354 0.4054 1.019 1 1 0.03455 0.08278 0.04264 0.3692 0.8846 0.4557 json
t12_x12_u2_b119 12 12 2 119 frc(dst(D,dot(D,P))) 29713 97932545 o1(o2(x,o2(x,x))) true 67551 67551 0.4945 1 0.4945 0.04842 0.22 0.001744 0.9964 0.9946 1 3.814 0.1034 0.1034 0.3955 7.929e-7 1 -0.0001936 1.086 0.8336 0.05035 0.2244 0.5674 1.207 4.27 22.43 1 1 0.08711 0.09451 0.09062 1.799 1.952 1.872 json
t12_x12_u2_b120 12 12 2 120 frc(dst(D,dst(D,P))) 29714 97932546 o1(o2(x,o2(x,x))) true 67559 67559 0.5006 1 0.5006 0.05223 0.2285 0.002327 0.9987 0.9964 1 3.853 0.04169 0.04169 0.193 -0.000007238 1 -0.0003193 0.2906 0.2748 0.04612 0.2148 1.113 1.359 1.596 5.565 1 1 0.07662 0.1012 0.1161 1.467 1.937 2.223 json
t12_x12_u3_b0 12 12 3 0 flr(add(D,add(D,P))) 29715 97932627 o1(o2(x,o2(x,x))) true 67567 67567 -0.0625 0.4688 0.9375 0.9201 0.9592 -1 1 2 1 1.809 0.01317 0 0.02194 1 1 0 0.02797 0.03347 0.01269 0.1127 5.133 0.9994 0.01431 0.0304 1 1 0.01638 0.02449 0.2344 0.0178 0.02662 0.2548 json
t12_x12_u3_b1 12 12 3 1 flr(add(D,sub(D,P))) 29716 97932628 o1(o2(x,o2(x,x))) true 67575 67575 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.778 0.01572 0 0.03409 1 1 0 0.0303 0.04159 0.01455 0.1206 3.539 0.9983 0.01711 0.03299 1 1 0.0216 0.04579 0.2322 0.02352 0.04986 0.2528 json
t12_x12_u3_b2 12 12 3 2 flr(add(D,mlt(D,P))) 29717 97932629 o1(o2(x,o2(x,x))) true 67583 67583 -0.5332 0.09766 0.5928 0.2149 0.4636 -1 0.7619 1.762 1 3.607 0.1119 0 0.2079 1 1 0.0003958 0.2492 0.3192 0.06865 0.262 1.26 0.9991 0.5206 1.159 1 1 0.08857 0.2842 0.0698 0.4121 1.322 0.3247 json
t12_x12_u3_b3 12 12 3 3 flr(add(D,div(D,P))) 29718 97932630 o1(o2(x,o2(x,x))) true 67591 67591 -0.5264 0 0.5264 0.1582 0.3978 -1 0 1 1 3.409 0.06102 0 0.1104 1 1 0.00002827 0.1159 0.1327 0.04881 0.2209 2.001 1 0.3857 0.7324 1 1 0.0633 0.2096 0.1108 0.4001 1.325 0.7003 json
t12_x12_u3_b4 12 12 3 4 flr(add(D,pow(D,P))) 29719 97932631 o1(o2(x,o2(x,x))) true 67599 67599 -0.8965 0.0625 0.9785 0.1709 0.4135 -1 1 2 1 0.475 0.0205 0 0.01587 1 1 -4.731e-10 0.03972 0.0255 0.02024 0.1423 8.963 2 0.1199 0.2323 1 1 0.02803 0.1343 0.2447 0.164 0.7856 1.432 json
t12_x12_u3_b5 12 12 3 5 flr(add(D,mod(D,P))) 29720 97932632 o1(o2(x,o2(x,x))) true 67607 67607 -0.5625 0 0.5625 0.1397 0.3737 -1 -0.0005821 0.9994 1 3.238 0.1008 0 0.1919 1 1 4.731e-10 0.216 0.2383 0.064 0.253 1.319 0.9994 0.7216 1.547 1 1 0.08979 0.08505 0.06373 0.6429 0.609 0.4563 json
t12_x12_u3_b6 12 12 3 6 flr(add(D,lrg(D,P))) 29721 97932633 o1(o2(x,o2(x,x))) true 67615 67615 -1.091e-11 0.5 0.5236 0.4137 0.6432 -0.9997 0.9997 1.999 1 4.448 0.07911 0 0.1347 1 1 0 0.1451 0.1434 0.06096 0.2469 1.833 1.999 0.1912 0.3507 1 1 0.09176 0.3265 0.06598 0.2218 0.7893 0.1595 json
t12_x12_u3_b7 12 12 3 7 flr(add(D,eql(D,P))) 29722 97932634 o1(o2(x,o2(x,x))) true 67623 67623 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x12_u3_b8 12 12 3 8 flr(add(D,min(D,P))) 29723 97932635 o1(o2(x,o2(x,x))) true 67631 67631 -0.7549 0 0.7549 0.1246 0.353 -1 -0.0005821 0.9994 1 2.345 0.05751 0 0.1085 1 1 -0.0001797 0.1221 0.1363 0.04573 0.2138 1.97 0.9994 0.4614 0.9799 1 1 0.05567 0.06191 0.02987 0.4467 0.4967 0.2396 json
t12_x12_u3_b9 12 12 3 9 flr(add(D,dot(D,P))) 29724 97932636 o1(o2(x,o2(x,x))) true 67639 67639 -0.5845 0.1284 0.6848 0.2489 0.4989 -1 1 2 1 3.642 0.07052 0.06982 0.2517 0.005043 1 0.0008029 0.4949 0.4508 0.077 0.2775 1.102 1.413 0.5639 1.989 1 1 0.1093 0.3615 0.08433 0.4392 1.453 0.3388 json
t12_x12_u3_b10 12 12 3 10 flr(add(D,dst(D,P))) 29725 97932637 o1(o2(x,o2(x,x))) true 67647 67647 0.9941 1 0.9941 0.003856 0.06209 0.000873 1 0.9991 1 0.1373 0.0008328 0.0004395 0.003085 0.3091 1 -1.389e-10 0.003735 0.004118 0.001262 0.03552 11.51 1.412 0.33 0.9686 1 1 0.002462 0.00873 0.01339 0.6385 2.264 3.474 json
t12_x12_u3_b11 12 12 3 11 flr(sub(D,add(D,P))) 29726 97932638 o1(o2(x,o2(x,x))) true 67655 67655 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_x12_u3_b12 12 12 3 12 flr(sub(D,sub(D,P))) 29727 97932639 o1(o2(x,o2(x,x))) true 67663 67663 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_x12_u3_b13 12 12 3 13 flr(sub(D,mlt(D,P))) 29728 97932640 o1(o2(x,o2(x,x))) true 67671 67671 -0.2965 0.1836 0.4525 0.2674 0.5171 -1 0.9701 1.97 1 3.919 0.1266 0 0.2327 1 1 -0.006561 0.2784 0.3611 0.07249 0.2692 1.157 0.9994 0.4736 1.041 1 1 0.1014 0.3323 0.07968 0.3792 1.243 0.298 json
t12_x12_u3_b14 12 12 3 14 flr(sub(D,div(D,P))) 29729 97932641 o1(o2(x,o2(x,x))) true 67679 67679 -0.4423 0.0625 0.5673 0.2738 0.5232 -1 1 2 1 3.507 0.08914 0 0.1263 1 1 -0.00002827 0.1716 0.1575 0.07317 0.2705 2.142 2 0.3256 0.6269 1 1 0.1009 0.3486 0.2326 0.3687 1.273 0.8496 json
t12_x12_u3_b15 12 12 3 15 flr(sub(D,pow(D,P))) 29730 97932642 o1(o2(x,o2(x,x))) true 67687 67687 -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_x12_u3_b16 12 12 3 16 flr(sub(D,mod(D,P))) 29731 97932643 o1(o2(x,o2(x,x))) true 67695 67695 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t12_x12_u3_b17 12 12 3 17 flr(sub(D,lrg(D,P))) 29732 97932644 o1(o2(x,o2(x,x))) true 67703 67703 -0.7813 0 0.7813 0.1235 0.3515 -1 -0.000291 0.9997 1 2.124 0.03022 0 0.0555 1 1 -0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t12_x12_u3_b18 12 12 3 18 flr(sub(D,eql(D,P))) 29733 97932645 o1(o2(x,o2(x,x))) true 67711 67711 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x12_u3_b19 12 12 3 19 flr(sub(D,min(D,P))) 29734 97932646 o1(o2(x,o2(x,x))) true 67719 67719 0.4472 0.5 0.4472 0.2367 0.4866 0 1 1 1 1.452 0.004966 0 0.0119 1 1 -4.731e-10 0.008236 0.01066 0.004825 0.06946 5.838 0.9991 0.02098 0.03479 1 1 0.007711 0.02988 0.06998 0.03257 0.1262 0.2956 json
t12_x12_u3_b20 12 12 3 20 flr(sub(D,dot(D,P))) 29735 97932647 o1(o2(x,o2(x,x))) true 67727 67727 -0.1631 0.3744 0.5291 0.3775 0.6144 -1 1 2 1 4.672 0.08709 0.08615 0.3162 0.005425 1 -0.004824 0.5879 0.5547 0.07327 0.2707 0.8562 1.413 0.4589 1.557 1 1 0.1468 0.5372 0.1122 0.3887 1.423 0.2973 json
t12_x12_u3_b21 12 12 3 21 flr(sub(D,dst(D,P))) 29736 97932648 o1(o2(x,o2(x,x))) true 67735 67735 -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_x12_u3_b22 12 12 3 22 flr(mlt(D,add(D,P))) 29737 97932649 o1(o2(x,o2(x,x))) true 67743 67743 -0.4593 0.1172 0.5453 0.2321 0.4818 -1 0.8866 1.887 1 3.799 0.1145 0 0.2142 1 1 0.0004523 0.2537 0.3401 0.06864 0.262 1.223 0.9994 0.4933 1.093 1 1 0.08845 0.2956 0.07119 0.381 1.273 0.3067 json
t12_x12_u3_b23 12 12 3 23 flr(mlt(D,sub(D,P))) 29738 97932650 o1(o2(x,o2(x,x))) true 67751 67751 -0.2074 0.2813 0.438 0.2911 0.5395 -1 1 2 1 4.239 0.1456 0 0.2594 1 1 -0.006622 0.3408 0.4241 0.07834 0.2799 1.079 0.9991 0.5002 1.171 1 1 0.1105 0.3727 0.0884 0.3795 1.28 0.3037 json
t12_x12_u3_b24 12 12 3 24 flr(mlt(D,mlt(D,P))) 29739 97932651 o1(o2(x,o2(x,x))) true 67759 67759 -0.3649 0.375 0.5725 0.3924 0.6264 -1 1 2 1 2.702 0.0132 0 0.04941 1 1 -0.0003311 0.02598 0.06115 0.01076 0.1037 2.1 0.6717 0.03365 0.06621 1 1 0.01018 0.04081 0.09106 0.02595 0.104 0.2321 json
t12_x12_u3_b25 12 12 3 25 flr(mlt(D,div(D,P))) 29740 97932652 o1(o2(x,o2(x,x))) true 67767 67767 -0.4375 0.0625 0.5625 0.3711 0.6092 -1 1 2 1 1.272 0.03571 0 0.01984 1 1 0 0.07143 0.03968 0.03531 0.1879 9.471 2 0.09624 0.1925 1 1 0.04737 0.1895 0.2526 0.1276 0.5106 0.6808 json
t12_x12_u3_b26 12 12 3 26 flr(mlt(D,pow(D,P))) 29741 97932653 o1(o2(x,o2(x,x))) true 67775 67775 -0.9375 0.03125 0.9806 0.09404 0.3067 -1 0.9994 1.999 1 0.459 0.01728 0 0.01587 1 1 0 0.03201 0.01772 0.01702 0.1305 8.221 1.999 0.1837 0.3404 1 1 0.0246 0.1066 0.132 0.2616 1.133 1.403 json
t12_x12_u3_b27 12 12 3 27 flr(mlt(D,mod(D,P))) 29742 97932654 o1(o2(x,o2(x,x))) true 67783 67783 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t12_x12_u3_b28 12 12 3 28 flr(mlt(D,lrg(D,P))) 29743 97932655 o1(o2(x,o2(x,x))) true 67791 67791 -0.2188 0 0.2188 0.1235 0.3515 -0.9997 0 0.9997 1 2.479 0.03021 0 0.05541 1 1 0.00008984 0.05631 0.06193 0.02714 0.1647 2.973 0.9997 0.2446 0.4558 1 1 0.03059 0.106 0.03299 0.2476 0.858 0.267 json
t12_x12_u3_b29 12 12 3 29 flr(mlt(D,eql(D,P))) 29744 97932656 o1(o2(x,o2(x,x))) true 67799 67799 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_x12_u3_b30 12 12 3 30 flr(mlt(D,min(D,P))) 29745 97932657 o1(o2(x,o2(x,x))) true 67807 67807 -0.2683 0.04688 0.2955 0.1766 0.4202 -1 0.7619 1.762 1 2.708 0.05512 0 0.103 1 1 0.0001979 0.1221 0.1573 0.0445 0.2109 2.049 0.9991 0.3121 0.6915 1 1 0.04314 0.1285 0.04533 0.2443 0.7275 0.2567 json
t12_x12_u3_b31 12 12 3 31 flr(mlt(D,dot(D,P))) 29746 97932658 o1(o2(x,o2(x,x))) true 67815 67815 -0.3946 0.2517 0.5953 0.3418 0.5846 -1 1 2 1 4.096 0.07199 0.03445 0.1832 0.3527 1 -0.0002162 0.3306 0.3083 0.07288 0.27 1.474 1.513 0.3115 0.9674 1 1 0.09656 0.2577 0.09693 0.2825 0.7539 0.2836 json
t12_x12_u3_b32 12 12 3 32 flr(mlt(D,dst(D,P))) 29747 97932659 o1(o2(x,o2(x,x))) true 67823 67823 -0.3922 0.2265 0.6079 0.3623 0.6019 -1 1 2 1 3.865 0.1469 0.003433 0.2573 0.9543 1 -0.002671 0.3412 0.4231 0.08411 0.29 1.127 1.219 0.4149 0.9418 1 1 0.1204 0.449 0.05882 0.3323 1.239 0.1624 json
t12_x12_u3_b33 12 12 3 33 flr(div(D,add(D,P))) 29748 97932660 o1(o2(x,o2(x,x))) true 67831 67831 -0.4755 0.03125 0.5153 0.1772 0.421 -0.9997 0.9907 1.99 1 3.645 0.1029 0 0.1642 1 1 -0.0001797 0.2395 0.2146 0.07596 0.2756 1.678 1.085 0.5808 1.351 1 1 0.09235 0.2642 0.09633 0.5211 1.491 0.5436 json
t12_x12_u3_b34 12 12 3 34 flr(div(D,sub(D,P))) 29749 97932661 o1(o2(x,o2(x,x))) true 67839 67839 -0.413 0.09375 0.4888 0.2112 0.4596 -0.9997 0.9997 1.999 1 3.941 0.09726 0 0.1599 1 1 0.0001797 0.2322 0.2152 0.07166 0.2677 1.674 1 0.4604 1.099 1 1 0.0821 0.238 0.1712 0.3887 1.127 0.8105 json
t12_x12_u3_b35 12 12 3 35 flr(div(D,mlt(D,P))) 29750 97932662 o1(o2(x,o2(x,x))) true 67847 67847 -0.4186 0.1094 0.5814 0.4016 0.6337 -1 1 2 1 1.517 0.06533 0 0.04581 1 1 0 0.1685 0.08833 0.06326 0.2515 5.49 2 0.1627 0.4197 1 1 0.06152 0.2238 0.2464 0.1532 0.5573 0.6135 json
t12_x12_u3_b36 12 12 3 36 flr(div(D,div(D,P))) 29751 97932663 o1(o2(x,o2(x,x))) true 67855 67855 -0.02129 0.4844 0.9162 0.9022 0.9499 -1 1 2 1 1.891 0.03228 0 0.0433 1 1 -2.365e-9 0.1065 0.07535 0.03039 0.1743 4.026 0.9997 0.03578 0.118 1 1 0.01503 0.03178 0.2074 0.01666 0.03523 0.2298 json
t12_x12_u3_b37 12 12 3 37 flr(div(D,pow(D,P))) 29752 97932664 o1(o2(x,o2(x,x))) true 67863 67863 -0.9688 0 0.9688 0.02351 0.1533 -1 -0.000291 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t12_x12_u3_b38 12 12 3 38 flr(div(D,mod(D,P))) 29753 97932665 o1(o2(x,o2(x,x))) true 67871 67871 0.4055 0.875 0.6556 0.4318 0.6571 -1 1 2 1 2.294 0.4816 0 0.5177 1 1 -0.00788 1.611 1.035 0.2132 0.4617 0.8919 2 1.115 3.73 1 1 0.1567 0.2416 0.4633 0.363 0.5594 1.073 json
t12_x12_u3_b39 12 12 3 39 flr(div(D,lrg(D,P))) 29754 97932666 o1(o2(x,o2(x,x))) true 67879 67879 -0.7813 0 0.7813 0.1235 0.3515 -1 -0.000291 0.9997 1 2.124 0.02625 0 0.05145 1 1 0.00008984 0.04832 0.05399 0.02361 0.1537 2.987 0.9994 0.2125 0.3911 1 1 0.02537 0.0915 0.03299 0.2053 0.7406 0.267 json
t12_x12_u3_b40 12 12 3 40 flr(div(D,eql(D,P))) 29755 97932667 o1(o2(x,o2(x,x))) true 67887 67887 -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_x12_u3_b41 12 12 3 41 flr(div(D,min(D,P))) 29756 97932668 o1(o2(x,o2(x,x))) true 67895 67895 -0.0283 0.4531 0.5839 0.4981 0.7057 -1 1 2 1 3.737 0.3072 0 0.3485 1 1 -0.00403 0.9664 0.6368 0.1857 0.4309 1.236 2 0.6167 1.94 1 1 0.1314 0.2877 0.1874 0.2638 0.5777 0.3762 json
t12_x12_u3_b42 12 12 3 42 flr(div(D,dot(D,P))) 29757 97932669 o1(o2(x,o2(x,x))) true 67903 67903 -0.4684 0.07697 0.5561 0.2531 0.5031 -1 1 2 1 3.738 0.1699 0.1923 0.2844 -0.06182 1 -0.0000821 1.585 0.5615 0.2814 0.5304 1.865 2.828 1.431 6.262 1 1 0.2862 0.4537 0.3277 1.131 1.793 1.295 json
t12_x12_u3_b43 12 12 3 43 flr(div(D,dst(D,P))) 29758 97932670 o1(o2(x,o2(x,x))) true 67911 67911 -0.5 0 0.5 0.1416 0.3762 -0.9997 -0.000291 0.9994 1 3.416 0.06517 0.00002028 0.1231 0.9994 1 -6.195e-11 0.1211 0.1345 0.05003 0.2237 1.817 0.9994 0.4605 0.8558 1 1 0.07079 0.2407 0.0004928 0.5001 1.7 0.003481 json
t12_x12_u3_b44 12 12 3 44 flr(pow(D,add(D,P))) 29759 97932671 o1(o2(x,o2(x,x))) true 67919 67919 -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_x12_u3_b45 12 12 3 45 flr(pow(D,sub(D,P))) 29760 97932672 o1(o2(x,o2(x,x))) true 67927 67927 -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_x12_u3_b46 12 12 3 46 flr(pow(D,mlt(D,P))) 29761 97932673 o1(o2(x,o2(x,x))) true 67935 67935 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t12_x12_u3_b47 12 12 3 47 flr(pow(D,div(D,P))) 29762 97932674 o1(o2(x,o2(x,x))) true 67943 67943 -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_x12_u3_b48 12 12 3 48 flr(pow(D,pow(D,P))) 29763 97932675 o1(o2(x,o2(x,x))) true 67951 67951 -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_x12_u3_b49 12 12 3 49 flr(pow(D,mod(D,P))) 29764 97932676 o1(o2(x,o2(x,x))) true 67959 67959 -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_x12_u3_b50 12 12 3 50 flr(pow(D,lrg(D,P))) 29765 97932677 o1(o2(x,o2(x,x))) true 67967 67967 0.0625 0.5625 0.9375 0.9201 0.9592 -1 1 2 1 1.711 0.00864 0 0.01587 1 1 -9.386e-13 0.01595 0.01767 0.008387 0.09158 5.771 1 0.00939 0.01734 1 1 0.01234 0.06004 0.2344 0.01341 0.06526 0.2548 json
t12_x12_u3_b51 12 12 3 51 flr(pow(D,eql(D,P))) 29766 97932678 o1(o2(x,o2(x,x))) true 67975 67975 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_x12_u3_b52 12 12 3 52 flr(pow(D,min(D,P))) 29767 97932679 o1(o2(x,o2(x,x))) true 67983 67983 -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_x12_u3_b53 12 12 3 53 flr(pow(D,dot(D,P))) 29768 97932680 o1(o2(x,o2(x,x))) true 67991 67991 -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_x12_u3_b54 12 12 3 54 flr(pow(D,dst(D,P))) 29769 97932681 o1(o2(x,o2(x,x))) true 67999 67999 -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_x12_u3_b55 12 12 3 55 flr(mod(D,add(D,P))) 29770 97932682 o1(o2(x,o2(x,x))) true 68007 68007 -0.4811 0 0.4811 0.1461 0.3822 -0.9997 0 0.9997 1 3.529 0.07851 0 0.1354 1 1 0 0.1702 0.165 0.06016 0.2453 1.811 0.9997 0.5376 1.165 1 1 0.07354 0.2393 0.01927 0.5035 1.638 0.1319 json
t12_x12_u3_b56 12 12 3 56 flr(mod(D,sub(D,P))) 29771 97932683 o1(o2(x,o2(x,x))) true 68015 68015 -0.4811 0 0.4811 0.1461 0.3822 -0.9997 0 0.9997 1 3.529 0.07851 0 0.1354 1 1 0 0.1702 0.165 0.06017 0.2453 1.811 0.9997 0.5376 1.165 1 1 0.07354 0.2393 0.01927 0.5035 1.638 0.1319 json
t12_x12_u3_b57 12 12 3 57 flr(mod(D,mlt(D,P))) 29772 97932684 o1(o2(x,o2(x,x))) true 68023 68023 -0.5436 0 0.5436 0.158 0.3975 -1 0 1 1 3.351 0.07781 0 0.1275 1 1 -4.731e-10 0.1779 0.1632 0.06157 0.2481 1.946 1 0.4924 1.125 1 1 0.06658 0.22 0.09151 0.4213 1.392 0.5791 json
t12_x12_u3_b58 12 12 3 58 flr(mod(D,div(D,P))) 29773 97932685 o1(o2(x,o2(x,x))) true 68031 68031 -0.4407 0 0.4407 0.1821 0.4267 -1 0 1 1 3.029 0.1777 0 0.2273 1 1 -0.00385 0.4988 0.3961 0.1261 0.3551 1.562 1 0.976 2.74 1 1 0.1082 0.1845 0.1905 0.594 1.013 1.046 json
t12_x12_u3_b59 12 12 3 59 flr(mod(D,pow(D,P))) 29774 97932686 o1(o2(x,o2(x,x))) true 68039 68039 -0.9688 0 0.9688 0.02351 0.1533 -1 -0.000291 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t12_x12_u3_b60 12 12 3 60 flr(mod(D,mod(D,P))) 29775 97932687 o1(o2(x,o2(x,x))) true 68047 68047 -0.2973 0 0.2973 0.1792 0.4233 -1 0 1 1 1.532 0.252 0 0.2919 1 1 -0.00394 0.8089 0.5673 0.1669 0.4085 1.399 1 1.407 4.515 1 1 0.09412 0.1619 0.1296 0.5253 0.9038 0.7231 json
t12_x12_u3_b61 12 12 3 61 flr(mod(D,lrg(D,P))) 29776 97932688 o1(o2(x,o2(x,x))) true 68055 68055 -0.7813 0 0.7813 0.1235 0.3515 -1 -0.000291 0.9997 1 2.124 0.02625 0 0.05145 1 1 0.00008984 0.04832 0.05399 0.02361 0.1537 2.987 0.9994 0.2125 0.3911 1 1 0.02537 0.0915 0.03299 0.2053 0.7406 0.267 json
t12_x12_u3_b62 12 12 3 62 flr(mod(D,eql(D,P))) 29777 97932689 o1(o2(x,o2(x,x))) true 68063 68063 -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_x12_u3_b63 12 12 3 63 flr(mod(D,min(D,P))) 29778 97932690 o1(o2(x,o2(x,x))) true 68071 68071 -0.3797 0 0.3797 0.1712 0.4138 -1 0 1 1 2.981 0.176 0 0.2239 1 1 -0.00385 0.5203 0.3878 0.1259 0.3548 1.584 1 1.028 3.038 1 1 0.08918 0.2139 0.05852 0.5208 1.249 0.3418 json
t12_x12_u3_b64 12 12 3 64 flr(mod(D,dot(D,P))) 29779 97932691 o1(o2(x,o2(x,x))) true 68079 68079 -0.5075 0 0.5075 0.146 0.3821 -1 -0.000002074 1 1 3.381 0.08537 0.02587 0.1671 0.5349 1 -0.0001154 0.3794 0.2571 0.08329 0.2886 1.727 1.414 0.7619 2.599 1 1 0.09701 0.2505 0.04723 0.6644 1.715 0.3235 json
t12_x12_u3_b65 12 12 3 65 flr(mod(D,dst(D,P))) 29780 97932692 o1(o2(x,o2(x,x))) true 68087 68087 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x12_u3_b66 12 12 3 66 flr(lrg(D,add(D,P))) 29781 97932693 o1(o2(x,o2(x,x))) true 68095 68095 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 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_x12_u3_b67 12 12 3 67 flr(lrg(D,sub(D,P))) 29782 97932694 o1(o2(x,o2(x,x))) true 68103 68103 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 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_x12_u3_b68 12 12 3 68 flr(lrg(D,mlt(D,P))) 29783 97932695 o1(o2(x,o2(x,x))) true 68111 68111 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06114 0 0.1188 1 1 0.0001797 0.1128 0.1257 0.047 0.2168 1.825 0.9994 0.4313 0.7955 1 1 0.06554 0.2335 0.04776 0.4623 1.647 0.3369 json
t12_x12_u3_b69 12 12 3 69 flr(lrg(D,div(D,P))) 29784 97932696 o1(o2(x,o2(x,x))) true 68119 68119 0.4688 0.875 0.4688 0.1611 0.4013 0 1 1 1 3.173 0.06009 0 0.1069 1 1 0 0.1125 0.123 0.04865 0.2206 2.063 1 0.3731 0.6986 1 1 0.06293 0.2229 0.1081 0.3907 1.384 0.6711 json
t12_x12_u3_b70 12 12 3 70 flr(lrg(D,pow(D,P))) 29785 97932697 o1(o2(x,o2(x,x))) true 68127 68127 0.6563 0.9375 0.6563 0.1647 0.4059 0 1 1 1 2.638 0.03488 0 0.06731 1 1 -0.00008984 0.06438 0.07172 0.03035 0.1742 2.588 0.9997 0.2118 0.3908 1 1 0.03763 0.1384 0.06598 0.2284 0.8405 0.4006 json
t12_x12_u3_b71 12 12 3 71 flr(lrg(D,mod(D,P))) 29786 97932698 o1(o2(x,o2(x,x))) true 68135 68135 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u3_b72 12 12 3 72 flr(lrg(D,lrg(D,P))) 29787 97932699 o1(o2(x,o2(x,x))) true 68143 68143 0.2188 0.4375 0.2188 0.1235 0.3515 0 0.9997 0.9997 1 2.124 0.03022 0 0.0555 1 1 -0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t12_x12_u3_b73 12 12 3 73 flr(lrg(D,eql(D,P))) 29788 97932700 o1(o2(x,o2(x,x))) true 68151 68151 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_x12_u3_b74 12 12 3 74 flr(lrg(D,min(D,P))) 29789 97932701 o1(o2(x,o2(x,x))) true 68159 68159 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t12_x12_u3_b75 12 12 3 75 flr(lrg(D,dot(D,P))) 29790 97932702 o1(o2(x,o2(x,x))) true 68167 68167 0.5396 1 0.5396 0.1029 0.3207 0.000291 1 0.9997 1 3.827 0.03345 0.03326 0.1424 0.002863 1 -0.0009411 0.2094 0.1768 0.04643 0.2155 1.513 1.414 0.6486 2.036 1 1 0.06996 0.2283 0.06515 0.6801 2.219 0.6334 json
t12_x12_u3_b76 12 12 3 76 flr(lrg(D,dst(D,P))) 29791 97932703 o1(o2(x,o2(x,x))) true 68175 68175 0.0002745 0.004578 0.0002745 0.00005835 0.007639 0 0.4414 0.4414 1 0.01717 0.00003931 0.000009054 0.0002599 0.6256 0 -1.962e-12 0.0001369 0.0003767 0.00004826 0.006947 26.73 0.4973 0.8289 2.346 1 1 0.00007944 0.0001845 0.0002021 1.361 3.162 3.464 json
t12_x12_u3_b77 12 12 3 77 flr(eql(D,add(D,P))) 29792 97932704 o1(o2(x,o2(x,x))) true 68183 68183 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u3_b78 12 12 3 78 flr(eql(D,sub(D,P))) 29793 97932705 o1(o2(x,o2(x,x))) true 68191 68191 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u3_b79 12 12 3 79 flr(eql(D,mlt(D,P))) 29794 97932706 o1(o2(x,o2(x,x))) true 68199 68199 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u3_b80 12 12 3 80 flr(eql(D,div(D,P))) 29795 97932707 o1(o2(x,o2(x,x))) true 68207 68207 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u3_b81 12 12 3 81 flr(eql(D,pow(D,P))) 29796 97932708 o1(o2(x,o2(x,x))) true 68215 68215 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t12_x12_u3_b82 12 12 3 82 flr(eql(D,mod(D,P))) 29797 97932709 o1(o2(x,o2(x,x))) true 68223 68223 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u3_b83 12 12 3 83 flr(eql(D,lrg(D,P))) 29798 97932710 o1(o2(x,o2(x,x))) true 68231 68231 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_x12_u3_b84 12 12 3 84 flr(eql(D,eql(D,P))) 29799 97932711 o1(o2(x,o2(x,x))) true 68239 68239 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