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_x24_u2_b42 12 24 2 42 frc(div(R,dot(R,P))) 39800 98417280 o1(o2(x,o2(x,x))) true 148247 148247 0.4771 0.9844 0.5084 0.1191 0.3451 -1 0.9989 1.999 1 3.91 0.002306 0.002576 0.02934 -0.05528 1 -2.74e-7 0.007467 0.01147 0.004021 0.06341 2.161 1.891 0.04098 0.06268 1 1 0.008928 0.06047 0.2318 0.07495 0.5077 1.946 json
t12_x24_u2_b43 12 24 2 43 frc(div(R,dst(R,P))) 39801 98417281 o1(o2(x,o2(x,x))) true 148255 148255 0.529 1 0.529 0.1021 0.3195 0.0008561 0.9997 0.9988 1 3.898 0.001261 0.00161 0.04212 -0.1215 1 0.00001968 0.0001681 0.01004 0.001096 0.03311 0.7861 0.1147 0.02812 0.001647 1 1 0.004907 0.0631 0.1754 0.04807 0.6182 1.718 json
t12_x24_u2_b44 12 24 2 44 frc(pow(R,add(R,P))) 39802 98417282 o1(o2(x,o2(x,x))) true 148263 148263 -0.9383 0.04295 0.9757 0.08714 0.2952 -1 0.9061 1.906 1 0.4169 0.008301 0.008535 0.01269 -0.01388 1 0.000004875 0.035 0.02348 0.01668 0.1292 10.18 2.498 0.1932 0.4017 1 1 0.01252 0.05427 0.1339 0.1436 0.6229 1.537 json
t12_x24_u2_b45 12 24 2 45 frc(pow(R,sub(R,P))) 39803 98417283 o1(o2(x,o2(x,x))) true 148271 148271 -0.9439 0.04265 0.9701 0.0727 0.2696 -1 0.8151 1.815 1 0.403 0.006948 0.007525 0.01171 -0.03986 1 0.000004349 0.03012 0.02168 0.01433 0.1197 10.22 1.896 0.1991 0.4143 1 1 0.01153 0.05117 0.1261 0.1586 0.7038 1.735 json
t12_x24_u2_b46 12 24 2 46 frc(pow(R,mlt(R,P))) 39804 98417284 o1(o2(x,o2(x,x))) true 148279 148279 -0.9041 0.07338 0.9474 0.1191 0.3452 -1 0.9463 1.946 1 0.6465 0.01191 0.01072 0.01863 0.05275 1 0.000007656 0.04699 0.03312 0.02229 0.1493 8.015 2.709 0.1899 0.3945 1 1 0.02068 0.08546 0.2601 0.1736 0.7174 2.183 json
t12_x24_u2_b47 12 24 2 47 frc(pow(R,div(R,P))) 39805 98417285 o1(o2(x,o2(x,x))) true 148287 148287 -0.9485 0.04272 0.9656 0.06264 0.2503 -1 0.9913 1.991 1 0.3602 0.006394 0.006549 0.01046 -0.01197 1 -2.624e-7 0.0271 0.02025 0.01284 0.1133 10.84 2.664 0.2066 0.4325 1 1 0.008447 0.03648 0.1002 0.1348 0.5823 1.6 json
t12_x24_u2_b48 12 24 2 48 frc(pow(R,pow(R,P))) 39806 98417286 o1(o2(x,o2(x,x))) true 148295 148295 -0.9395 0.04079 0.9746 0.0864 0.2939 -1 0.9994 1.999 1 0.4126 0.008519 0.009199 0.01303 -0.03842 1 0.000006444 0.03694 0.02373 0.01755 0.1325 10.16 2.664 0.2051 0.4275 1 1 0.01256 0.05623 0.1397 0.1454 0.6507 1.617 json
t12_x24_u2_b49 12 24 2 49 frc(pow(R,mod(R,P))) 39807 98417287 o1(o2(x,o2(x,x))) true 148303 148303 -0.9374 0.03516 0.9923 0.1077 0.3282 -1 0.9461 1.946 1 0.2874 0.01164 0.009767 0.01233 0.08735 1 0.000003032 0.04475 0.02418 0.02123 0.1457 11.81 2.41 0.1986 0.4154 1 1 0.01867 0.07708 0.196 0.1733 0.7154 1.819 json
t12_x24_u2_b50 12 24 2 50 frc(pow(R,lrg(R,P))) 39808 98417288 o1(o2(x,o2(x,x))) true 148311 148311 -0.4178 0.08734 0.4807 0.2923 0.5407 -1 0.9428 1.943 1 1.551 0.01315 0.009755 0.01799 0.1482 1 0.000005049 0.04749 0.03111 0.02258 0.1503 8.356 2.36 0.07835 0.1624 1 1 0.02491 0.1034 0.2959 0.08519 0.3536 1.012 json
t12_x24_u2_b51 12 24 2 51 frc(pow(R,eql(R,P))) 39809 98417289 o1(o2(x,o2(x,x))) true 148319 148319 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_x24_u2_b52 12 24 2 52 frc(pow(R,min(R,P))) 39810 98417290 o1(o2(x,o2(x,x))) true 148327 148327 -0.9397 0.04282 0.9743 0.08317 0.2884 -1 0.9442 1.944 1 0.4184 0.008948 0.008376 0.0128 0.03303 1 1.448e-7 0.03623 0.02388 0.01716 0.131 10.24 2.664 0.2083 0.4356 1 1 0.01303 0.05514 0.1392 0.1566 0.6629 1.674 json
t12_x24_u2_b53 12 24 2 53 frc(pow(R,dot(R,P))) 39811 98417291 o1(o2(x,o2(x,x))) true 148335 148335 -0.9369 0.04297 0.9772 0.09109 0.3018 -1 0.9751 1.975 1 0.4226 0.009802 0.008774 0.01357 0.05535 1 -0.000003775 0.03871 0.02471 0.01839 0.1356 9.997 2.735 0.2039 0.425 1 1 0.0135 0.05969 0.1552 0.1482 0.6553 1.703 json
t12_x24_u2_b54 12 24 2 54 frc(pow(R,dst(R,P))) 39812 98417292 o1(o2(x,o2(x,x))) true 148343 148343 -0.9497 0.04259 0.9644 0.05773 0.2403 -1 0.7706 1.771 1 0.3789 0.006018 0.005685 0.01059 0.02841 1 0.000004806 0.0244 0.01963 0.0116 0.1077 10.17 2.014 0.2027 0.4226 1 1 0.009717 0.04244 0.1045 0.1683 0.735 1.809 json
t12_x24_u2_b55 12 24 2 55 frc(mod(R,add(R,P))) 39813 98417293 o1(o2(x,o2(x,x))) true 148351 148351 0.5033 0.9994 0.5033 0.05786 0.2405 0.00001111 0.997 0.997 1 3.877 0.0008035 0.0006494 0.0311 0.1061 1 0.00005638 0.00008378 0.007109 0.0004858 0.02204 0.7087 0.1134 0.02511 0.001448 1 1 0.002705 0.03481 0.09835 0.04675 0.6016 1.7 json
t12_x24_u2_b56 12 24 2 56 frc(mod(R,sub(R,P))) 39814 98417294 o1(o2(x,o2(x,x))) true 148359 148359 0.5008 0.9993 0.5008 0.05762 0.24 0.00001479 0.9988 0.9988 1 3.876 0.0008157 0.0006616 0.03132 0.1043 1 0.00005722 0.00008575 0.007191 0.0004961 0.02227 0.7111 0.1148 0.02564 0.001488 1 1 0.002751 0.03543 0.09571 0.04774 0.6148 1.661 json
t12_x24_u2_b57 12 24 2 57 frc(mod(R,mlt(R,P))) 39815 98417295 o1(o2(x,o2(x,x))) true 148367 148367 0.3116 0.8734 0.5616 0.2974 0.5454 -1 0.997 1.997 1 3.943 0.01263 0.0006066 0.03692 0.9084 1 0.00005151 0.02394 0.02527 0.01188 0.109 2.952 1.911 0.04452 0.08048 1 1 0.01832 0.09881 0.4513 0.06159 0.3322 1.517 json
t12_x24_u2_b58 12 24 2 58 frc(mod(R,div(R,P))) 39816 98417296 o1(o2(x,o2(x,x))) true 148375 148375 0.1855 0.7495 0.4355 0.3177 0.5637 -1 1 2 1 3.465 0.01368 0.001468 0.04924 0.8062 1 -0.00008528 0.02409 0.02852 0.01272 0.1128 2.29 1.911 0.04766 0.07583 1 1 0.02132 0.1315 0.4565 0.06709 0.4137 1.437 json
t12_x24_u2_b59 12 24 2 59 frc(mod(R,pow(R,P))) 39817 98417297 o1(o2(x,o2(x,x))) true 148383 148383 -0.8937 0.07404 0.9579 0.1451 0.3809 -1 0.9428 1.943 1 0.6653 0.01219 0.01307 0.01946 -0.03482 1 0.000007105 0.05263 0.03508 0.02488 0.1577 8.107 2.063 0.1741 0.3627 1 1 0.02457 0.1056 0.3431 0.1693 0.728 2.364 json
t12_x24_u2_b60 12 24 2 60 frc(mod(R,mod(R,P))) 39818 98417298 o1(o2(x,o2(x,x))) true 148391 148391 -0.04247 0.4391 0.2075 0.1602 0.4002 -1 0.9926 1.993 1 2.14 0.01232 0.0004006 0.0234 0.937 1 0.0000189 0.02395 0.02229 0.01217 0.1103 4.715 1.911 0.07938 0.1495 1 1 0.01753 0.08313 0.2867 0.1094 0.5189 1.79 json
t12_x24_u2_b61 12 24 2 61 frc(mod(R,lrg(R,P))) 39819 98417299 o1(o2(x,o2(x,x))) true 148399 148399 -0.3067 0.4531 0.7871 0.6041 0.7773 -1 0.9908 1.991 1 2.731 0.01024 0.003954 0.02282 0.4431 1 0.00001977 0.028 0.02034 0.01368 0.117 5.126 2.587 0.0235 0.04634 1 1 0.01988 0.08972 0.3046 0.0329 0.1485 0.5041 json
t12_x24_u2_b62 12 24 2 62 frc(mod(R,eql(R,P))) 39820 98417300 o1(o2(x,o2(x,x))) true 148407 148407 -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_x24_u2_b63 12 24 2 63 frc(mod(R,min(R,P))) 39821 98417301 o1(o2(x,o2(x,x))) true 148415 148415 0.2048 0.679 0.3611 0.205 0.4528 -1 0.9926 1.993 1 3.497 0.01054 0.003836 0.03125 0.4663 1 0.00002964 0.02703 0.02324 0.0134 0.1157 3.705 2.098 0.07012 0.1319 1 1 0.02229 0.1068 0.358 0.1088 0.5211 1.747 json
t12_x24_u2_b64 12 24 2 64 frc(mod(R,dot(R,P))) 39822 98417302 o1(o2(x,o2(x,x))) true 148423 148423 0.5035 0.9844 0.5348 0.094 0.3066 -1 0.997 1.997 1 3.942 0.002677 0.00309 0.03504 -0.07153 1 0.00004482 0.008817 0.01312 0.004539 0.06737 1.923 2.098 0.06135 0.0938 1 1 0.01035 0.06845 0.2466 0.1101 0.7282 2.624 json
t12_x24_u2_b65 12 24 2 65 frc(mod(R,dst(R,P))) 39823 98417303 o1(o2(x,o2(x,x))) true 148431 148431 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_x24_u2_b66 12 24 2 66 frc(lrg(R,add(R,P))) 39824 98417304 o1(o2(x,o2(x,x))) true 148439 148439 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_x24_u2_b67 12 24 2 67 frc(lrg(R,sub(R,P))) 39825 98417305 o1(o2(x,o2(x,x))) true 148447 148447 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_x24_u2_b68 12 24 2 68 frc(lrg(R,mlt(R,P))) 39826 98417306 o1(o2(x,o2(x,x))) true 148455 148455 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_x24_u2_b69 12 24 2 69 frc(lrg(R,div(R,P))) 39827 98417307 o1(o2(x,o2(x,x))) true 148463 148463 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_x24_u2_b70 12 24 2 70 frc(lrg(R,pow(R,P))) 39828 98417308 o1(o2(x,o2(x,x))) true 148471 148471 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_x24_u2_b71 12 24 2 71 frc(lrg(R,mod(R,P))) 39829 98417309 o1(o2(x,o2(x,x))) true 148479 148479 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_x24_u2_b72 12 24 2 72 frc(lrg(R,lrg(R,P))) 39830 98417310 o1(o2(x,o2(x,x))) true 148487 148487 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_x24_u2_b73 12 24 2 73 frc(lrg(R,eql(R,P))) 39831 98417311 o1(o2(x,o2(x,x))) true 148495 148495 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_x24_u2_b74 12 24 2 74 frc(lrg(R,min(R,P))) 39832 98417312 o1(o2(x,o2(x,x))) true 148503 148503 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_x24_u2_b75 12 24 2 75 frc(lrg(R,dot(R,P))) 39833 98417313 o1(o2(x,o2(x,x))) true 148511 148511 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_x24_u2_b76 12 24 2 76 frc(lrg(R,dst(R,P))) 39834 98417314 o1(o2(x,o2(x,x))) true 148519 148519 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_x24_u2_b77 12 24 2 77 frc(eql(R,add(R,P))) 39835 98417315 o1(o2(x,o2(x,x))) true 148527 148527 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_x24_u2_b78 12 24 2 78 frc(eql(R,sub(R,P))) 39836 98417316 o1(o2(x,o2(x,x))) true 148535 148535 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_x24_u2_b79 12 24 2 79 frc(eql(R,mlt(R,P))) 39837 98417317 o1(o2(x,o2(x,x))) true 148543 148543 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_x24_u2_b80 12 24 2 80 frc(eql(R,div(R,P))) 39838 98417318 o1(o2(x,o2(x,x))) true 148551 148551 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_x24_u2_b81 12 24 2 81 frc(eql(R,pow(R,P))) 39839 98417319 o1(o2(x,o2(x,x))) true 148559 148559 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_x24_u2_b82 12 24 2 82 frc(eql(R,mod(R,P))) 39840 98417320 o1(o2(x,o2(x,x))) true 148567 148567 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_x24_u2_b83 12 24 2 83 frc(eql(R,lrg(R,P))) 39841 98417321 o1(o2(x,o2(x,x))) true 148575 148575 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_x24_u2_b84 12 24 2 84 frc(eql(R,eql(R,P))) 39842 98417322 o1(o2(x,o2(x,x))) true 148583 148583 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_x24_u2_b85 12 24 2 85 frc(eql(R,min(R,P))) 39843 98417323 o1(o2(x,o2(x,x))) true 148591 148591 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_x24_u2_b86 12 24 2 86 frc(eql(R,dot(R,P))) 39844 98417324 o1(o2(x,o2(x,x))) true 148599 148599 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_x24_u2_b87 12 24 2 87 frc(eql(R,dst(R,P))) 39845 98417325 o1(o2(x,o2(x,x))) true 148607 148607 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_x24_u2_b88 12 24 2 88 frc(min(R,add(R,P))) 39846 98417326 o1(o2(x,o2(x,x))) true 148615 148615 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_x24_u2_b89 12 24 2 89 frc(min(R,sub(R,P))) 39847 98417327 o1(o2(x,o2(x,x))) true 148623 148623 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_x24_u2_b90 12 24 2 90 frc(min(R,mlt(R,P))) 39848 98417328 o1(o2(x,o2(x,x))) true 148631 148631 0.4892 0.9993 0.4892 0.05813 0.2411 9.693e-7 0.9966 0.9966 1 3.886 0.0008576 0.0006795 0.03216 0.1159 1 0.00002476 0.00009017 0.007361 0.0005027 0.02242 0.6972 0.1114 0.02644 0.001551 1 1 0.002954 0.03799 0.1123 0.05083 0.6536 1.932 json
t12_x24_u2_b91 12 24 2 91 frc(min(R,div(R,P))) 39849 98417329 o1(o2(x,o2(x,x))) true 148639 148639 0.3814 0.9063 0.5689 0.2691 0.5188 -1 0.9969 1.997 1 4.042 0.01532 0.008055 0.03993 0.3109 1 0.0000417 0.04536 0.03382 0.02178 0.1476 3.697 2.646 0.08688 0.1685 1 1 0.03381 0.1513 0.5013 0.1257 0.5624 1.863 json
t12_x24_u2_b92 12 24 2 92 frc(min(R,pow(R,P))) 39850 98417330 o1(o2(x,o2(x,x))) true 148647 148647 0.47 0.9995 0.47 0.05837 0.2416 0.000001516 0.9969 0.9969 1 3.886 0.0007849 0.000806 0.03278 -0.01327 1 0.00004469 0.00009432 0.00756 0.0005167 0.02273 0.6935 0.116 0.02726 0.001616 1 1 0.002861 0.03675 0.09229 0.04901 0.6297 1.581 json
t12_x24_u2_b93 12 24 2 93 frc(min(R,mod(R,P))) 39851 98417331 o1(o2(x,o2(x,x))) true 148655 148655 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_x24_u2_b94 12 24 2 94 frc(min(R,lrg(R,P))) 39852 98417332 o1(o2(x,o2(x,x))) true 148663 148663 0.4086 0.9838 0.4086 0.07165 0.2677 0 0.9969 0.9969 1 3.863 0.0008389 0.0008865 0.03375 -0.0276 1 0.00004038 0.0001035 0.007856 0.0005866 0.02422 0.7177 0.1165 0.02408 0.001444 1 1 0.003338 0.04303 0.1126 0.04659 0.6006 1.572 json
t12_x24_u2_b95 12 24 2 95 frc(min(R,eql(R,P))) 39853 98417333 o1(o2(x,o2(x,x))) true 148671 148671 0.2635 0.9281 0.2635 0.06592 0.2568 0 0.9969 0.9969 1 3.381 0.000835 0.001027 0.03338 -0.1029 1 0.00003113 0.0001101 0.007819 0.0007475 0.02734 0.819 0.1165 0.02824 0.00167 1 1 0.003689 0.04762 0.1331 0.05596 0.7223 2.019 json
t12_x24_u2_b96 12 24 2 96 frc(min(R,min(R,P))) 39854 98417334 o1(o2(x,o2(x,x))) true 148679 148679 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_x24_u2_b97 12 24 2 97 frc(min(R,dot(R,P))) 39855 98417335 o1(o2(x,o2(x,x))) true 148687 148687 0.539 1 0.539 0.05484 0.2342 0.0002449 0.9987 0.9985 1 3.862 0.0007593 0.0006784 0.03119 0.05628 1 0.00003117 0.00008431 0.007186 0.0004647 0.02156 0.6911 0.1132 0.02622 0.001537 1 1 0.002876 0.03683 0.1065 0.05245 0.6715 1.942 json
t12_x24_u2_b98 12 24 2 98 frc(min(R,dst(R,P))) 39856 98417336 o1(o2(x,o2(x,x))) true 148695 148695 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_x24_u2_b99 12 24 2 99 frc(dot(R,add(R,P))) 39857 98417337 o1(o2(x,o2(x,x))) true 148703 148703 0.4981 1 0.4981 0.04612 0.2148 0.004849 0.9938 0.989 1 3.79 0.0006938 0.000679 0.03058 0.01071 1 0.00001326 0.00008166 0.007012 0.0004376 0.02092 0.684 0.1138 0.02977 0.001771 1 1 0.002693 0.03476 0.1017 0.05839 0.7537 2.206 json
t12_x24_u2_b100 12 24 2 100 frc(dot(R,sub(R,P))) 39858 98417338 o1(o2(x,o2(x,x))) true 148711 148711 0.4951 1 0.4951 0.04748 0.2179 0.0005558 0.9961 0.9955 1 3.805 0.0007501 0.0006566 0.03096 0.06649 1 0.000005516 0.00008316 0.007066 0.000448 0.02117 0.6836 0.1124 0.02962 0.001751 1 1 0.00237 0.03055 0.08298 0.04992 0.6435 1.748 json
t12_x24_u2_b101 12 24 2 101 frc(dot(R,mlt(R,P))) 39859 98417339 o1(o2(x,o2(x,x))) true 148719 148719 0.5029 1 0.5029 0.06025 0.2455 0.00004905 0.9945 0.9944 1 3.917 0.0009716 0.0008628 0.03556 0.0593 1 -0.000001655 0.0001135 0.008331 0.0005702 0.02388 0.6716 0.1141 0.03044 0.001883 1 1 0.00367 0.04733 0.1172 0.06091 0.7856 1.945 json
t12_x24_u2_b102 12 24 2 102 frc(dot(R,div(R,P))) 39860 98417340 o1(o2(x,o2(x,x))) true 148727 148727 -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_x24_u2_b103 12 24 2 103 frc(dot(R,pow(R,P))) 39861 98417341 o1(o2(x,o2(x,x))) true 148735 148735 -0.9835 0.01172 0.993 0.0232 0.1523 -1 0.8929 1.893 1 0.1318 0.003046 0.002067 0.003783 0.1913 1 3.379e-11 0.01073 0.007147 0.005094 0.07137 18.86 2.415 0.2204 0.4626 1 1 0.00901 0.03635 0.08406 0.3884 1.567 3.624 json
t12_x24_u2_b104 12 24 2 104 frc(dot(R,mod(R,P))) 39862 98417342 o1(o2(x,o2(x,x))) true 148743 148743 0.127 0.7656 0.5958 0.4254 0.6522 -1 0.9948 1.995 1 3.687 0.01615 0.01747 0.04373 -0.03932 1 0.00001448 0.06549 0.04714 0.03171 0.1781 4.072 1.969 0.07904 0.154 1 1 0.04055 0.178 0.6921 0.09532 0.4185 1.627 json
t12_x24_u2_b105 12 24 2 105 frc(dot(R,lrg(R,P))) 39863 98417343 o1(o2(x,o2(x,x))) true 148751 148751 0.4226 0.984 0.4226 0.06534 0.2556 0 0.9944 0.9944 1 3.877 0.0008787 0.0008151 0.03292 0.03753 1 -0.000002051 0.000103 0.007692 0.0006102 0.0247 0.7504 0.1157 0.02592 0.001576 1 1 0.003387 0.0438 0.11 0.05184 0.6703 1.684 json
t12_x24_u2_b106 12 24 2 106 frc(dot(R,eql(R,P))) 39864 98417344 o1(o2(x,o2(x,x))) true 148759 148759 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_x24_u2_b107 12 24 2 107 frc(dot(R,min(R,P))) 39865 98417345 o1(o2(x,o2(x,x))) true 148767 148767 0.4887 1 0.4887 0.04934 0.2221 0.00744 0.9995 0.992 1 3.82 0.0007133 0.0006692 0.03071 0.03195 1 0.00004336 0.00008057 0.007003 0.0004396 0.02097 0.6828 0.1131 0.02802 0.001633 1 1 0.002678 0.03447 0.09669 0.05428 0.6986 1.96 json
t12_x24_u2_b108 12 24 2 108 frc(dot(R,dot(R,P))) 39866 98417346 o1(o2(x,o2(x,x))) true 148775 148775 0.475 1 0.475 0.06071 0.2464 0.0002924 0.9986 0.9983 1 3.913 0.0008484 0.0008706 0.03399 -0.01293 1 0.00000963 0.000103 0.007823 0.0005637 0.02374 0.6985 0.1167 0.02832 0.001696 1 1 0.003726 0.04829 0.1332 0.06138 0.7954 2.193 json
t12_x24_u2_b109 12 24 2 109 frc(dot(R,dst(R,P))) 39867 98417347 o1(o2(x,o2(x,x))) true 148783 148783 0.487 1 0.487 0.05321 0.2307 0.002377 0.9989 0.9965 1 3.858 0.0007343 0.0006154 0.02976 0.08809 1 0.00003101 0.0000804 0.006871 0.0004644 0.02155 0.7242 0.1136 0.02536 0.001511 1 1 0.002799 0.03618 0.1008 0.05259 0.6799 1.894 json
t12_x24_u2_b110 12 24 2 110 frc(dst(R,add(R,P))) 39868 98417348 o1(o2(x,o2(x,x))) true 148791 148791 0.3343 0.9865 0.3343 0.0552 0.2349 3.509e-8 0.9995 0.9995 1 3.686 0.000568 0.0005891 0.02679 -0.01828 1 -3.839e-7 0.00006697 0.006113 0.0004395 0.02097 0.7826 0.1169 0.02096 0.001213 1 1 0.002221 0.02873 0.09736 0.04025 0.5205 1.764 json
t12_x24_u2_b111 12 24 2 111 frc(dst(R,sub(R,P))) 39869 98417349 o1(o2(x,o2(x,x))) true 148799 148799 0.3422 0.9867 0.3422 0.05774 0.2403 3.509e-8 0.9999 0.9999 1 3.718 0.0005832 0.0005758 0.02679 0.006388 1 0.00001103 0.00006669 0.006096 0.0004414 0.02101 0.7842 0.1169 0.02007 0.001155 1 1 0.002215 0.02867 0.1051 0.03837 0.4966 1.821 json
t12_x24_u2_b112 12 24 2 112 frc(dst(R,mlt(R,P))) 39870 98417350 o1(o2(x,o2(x,x))) true 148807 148807 0.5226 1 0.5226 0.05581 0.2362 0.000848 0.9983 0.9974 1 3.884 0.0008465 0.0006787 0.03181 0.11 1 0.000007454 0.00009344 0.007365 0.0005133 0.02266 0.7122 0.1127 0.02733 0.001674 1 1 0.003105 0.0401 0.1146 0.05564 0.7184 2.053 json
t12_x24_u2_b113 12 24 2 113 frc(dst(R,div(R,P))) 39871 98417351 o1(o2(x,o2(x,x))) true 148815 148815 -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_x24_u2_b114 12 24 2 114 frc(dst(R,pow(R,P))) 39872 98417352 o1(o2(x,o2(x,x))) true 148823 148823 -0.9822 0.01172 0.9944 0.02745 0.1657 -1 0.9887 1.989 1 0.1361 0.003651 0.002177 0.004243 0.253 1 -7.509e-11 0.01216 0.007614 0.005813 0.07625 17.97 1.989 0.2123 0.4429 1 1 0.0103 0.04207 0.09939 0.3754 1.533 3.621 json
t12_x24_u2_b115 12 24 2 115 frc(dst(R,mod(R,P))) 39873 98417353 o1(o2(x,o2(x,x))) true 148831 148831 -0.2344 0 0.2344 0.1793 0.4235 -1 0 1 1 0.7856 0.006929 0.006929 0.01385 0 1 0 0.02784 0.02771 0.01366 0.1169 8.44 1.414 0.07728 0.1553 1 1 0.01751 0.07003 0.2801 0.09763 0.3905 1.562 json
t12_x24_u2_b116 12 24 2 116 frc(dst(R,lrg(R,P))) 39874 98417354 o1(o2(x,o2(x,x))) true 148839 148839 0.4816 1 0.4816 0.06288 0.2508 0.003264 0.9971 0.9938 1 3.932 0.0007839 0.0008286 0.03269 -0.02771 1 -0.00002976 0.00009478 0.007529 0.0005438 0.02332 0.7133 0.1113 0.02564 0.001507 1 1 0.002996 0.03862 0.126 0.04765 0.6142 2.004 json
t12_x24_u2_b117 12 24 2 117 frc(dst(R,eql(R,P))) 39875 98417355 o1(o2(x,o2(x,x))) true 148847 148847 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_x24_u2_b118 12 24 2 118 frc(dst(R,min(R,P))) 39876 98417356 o1(o2(x,o2(x,x))) true 148855 148855 0.4402 0.984 0.4402 0.07351 0.2711 0 0.998 0.998 1 3.936 0.0008766 0.0008336 0.03315 0.02516 1 0.00001131 0.00009874 0.007623 0.0006115 0.02473 0.746 0.1159 0.02326 0.001343 1 1 0.003204 0.04142 0.1204 0.04358 0.5635 1.638 json
t12_x24_u2_b119 12 24 2 119 frc(dst(R,dot(R,P))) 39877 98417357 o1(o2(x,o2(x,x))) true 148863 148863 0.5001 1 0.5001 0.05183 0.2277 0.001021 0.9971 0.996 1 3.848 0.0007676 0.000809 0.03292 -0.02631 1 0.00001712 0.00009358 0.00755 0.0004927 0.0222 0.6742 0.113 0.03042 0.001805 1 1 0.003286 0.0424 0.1034 0.0634 0.8181 1.995 json
t12_x24_u2_b120 12 24 2 120 frc(dst(R,dst(R,P))) 39878 98417358 o1(o2(x,o2(x,x))) true 148871 148871 0.4487 1 0.4487 0.05236 0.2288 0.009742 0.999 0.9892 1 3.839 0.0006692 0.0007203 0.02998 -0.03673 1 -0.000002595 0.00008217 0.006886 0.0004909 0.02216 0.7391 0.113 0.02654 0.001569 1 1 0.002848 0.03692 0.1049 0.0544 0.7053 2.003 json
t12_x24_u3_b0 12 24 3 0 flr(add(R,add(R,P))) 39879 98417439 o1(o2(x,o2(x,x))) true 148879 148879 -0.0547 0.4797 0.9392 0.9201 0.9592 -1 1 2 1 1.881 0.00222 0.001423 0.01762 0.2187 1 -0.00004061 0.0009571 0.007108 0.003331 0.05772 3.276 0.4675 0.003959 0.00104 1 1 0.00877 0.0923 0.3318 0.009531 0.1003 0.3606 json
t12_x24_u3_b1 12 24 3 1 flr(add(R,sub(R,P))) 39880 98417440 o1(o2(x,o2(x,x))) true 148887 148887 -0.06043 0.4706 0.9308 0.9091 0.9535 -1 1 2 1 1.965 0.002027 0.001427 0.01791 0.1737 1 -0.00002799 0.0008851 0.007093 0.003133 0.05598 3.125 0.4676 0.0038 0.0009736 1 1 0.007856 0.08293 0.3381 0.008641 0.09122 0.372 json
t12_x24_u3_b2 12 24 3 2 flr(add(R,mlt(R,P))) 39881 98417441 o1(o2(x,o2(x,x))) true 148895 148895 -0.2765 0.2843 0.7258 0.5945 0.771 -1 1 2 1 3.365 0.0172 0.01839 0.08644 -0.03335 1 -0.00003734 0.02093 0.04827 0.02812 0.1677 1.94 1.636 0.05988 0.03521 1 1 0.05033 0.4319 0.9911 0.08467 0.7265 1.667 json
t12_x24_u3_b3 12 24 3 3 flr(add(R,div(R,P))) 39882 98417442 o1(o2(x,o2(x,x))) true 148903 148903 -0.5351 0.06384 0.5931 0.222 0.4712 -1 0.9997 2 1 3.631 0.01345 0.003022 0.06068 0.6331 1 0.00003733 0.02201 0.02956 0.01279 0.1131 1.863 2 0.0742 0.09914 1 1 0.02322 0.1781 0.4181 0.1046 0.8023 1.883 json
t12_x24_u3_b4 12 24 3 4 flr(add(R,pow(R,P))) 39883 98417443 o1(o2(x,o2(x,x))) true 148911 148911 -0.8681 0.07336 0.9835 0.2274 0.4769 -1 1 2 1 0.5224 0.02096 0.02114 0.02391 -0.004408 1 0.000002852 0.08749 0.04536 0.04154 0.2038 8.524 2.828 0.1851 0.3847 1 1 0.04011 0.1717 0.5198 0.1764 0.7549 2.286 json
t12_x24_u3_b5 12 24 3 5 flr(add(R,mod(R,P))) 39884 98417444 o1(o2(x,o2(x,x))) true 148919 148919 -0.4361 0.2644 0.7157 0.4438 0.6662 -1 1 2 1 3.653 0.01798 0.007723 0.08402 0.399 1 0.0001736 0.02594 0.0375 0.01865 0.1366 1.625 2 0.05792 0.05846 1 1 0.03839 0.3413 0.8124 0.0865 0.7691 1.831 json
t12_x24_u3_b6 12 24 3 6 flr(add(R,lrg(R,P))) 39885 98417445 o1(o2(x,o2(x,x))) true 148927 148927 -0.02148 0.454 0.5395 0.4406 0.6637 -1 1 2 1 4.449 0.002601 0.002763 0.05612 -0.03018 1 -0.00002351 0.0003111 0.01352 0.002215 0.04707 0.8387 0.2338 0.01218 0.0007061 1 1 0.01138 0.147 0.4308 0.02582 0.3337 0.9778 json
t12_x24_u3_b7 12 24 3 7 flr(add(R,eql(R,P))) 39886 98417446 o1(o2(x,o2(x,x))) true 148935 148935 -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_x24_u3_b8 12 24 3 8 flr(add(R,min(R,P))) 39887 98417447 o1(o2(x,o2(x,x))) true 148943 148943 -0.6898 0.1311 0.8332 0.3086 0.5555 -1 1 2 1 2.466 0.004305 0.004024 0.04598 0.03369 1 0.00006661 0.001371 0.0142 0.006213 0.07882 1.714 0.3507 0.02699 0.004443 1 1 0.0164 0.1903 0.4976 0.05314 0.6165 1.612 json
t12_x24_u3_b9 12 24 3 9 flr(add(R,dot(R,P))) 39888 98417448 o1(o2(x,o2(x,x))) true 148951 148951 -0.2415 0.3652 0.8565 0.757 0.8701 -1 1 2 1 2.73 0.02522 0.03159 0.09938 -0.1122 1 0.00008367 0.04562 0.07264 0.04692 0.2166 2.18 1.849 0.07504 0.06026 1 1 0.07385 0.5782 1.368 0.09755 0.7638 1.808 json
t12_x24_u3_b10 12 24 3 10 flr(add(R,dst(R,P))) 39889 98417449 o1(o2(x,o2(x,x))) true 148959 148959 0.9956 1 0.9956 0.002922 0.05406 0.0005821 1 0.9994 1 0.1041 0.00009212 0.0001126 0.001306 -0.1002 1 -9.386e-12 0.00007338 0.0006627 0.0002031 0.01425 10.91 0.3083 0.07006 0.02511 1 1 0.0006667 0.006253 0.01069 0.2281 2.14 3.656 json
t12_x24_u3_b11 12 24 3 11 flr(sub(R,add(R,P))) 39890 98417450 o1(o2(x,o2(x,x))) true 148967 148967 -0.001649 0.4998 0.9359 0.9221 0.9603 -1 1 2 1 1.829 0.0007061 0.00001513 0.008076 0.9581 1 -0.000004817 0.00003537 0.001903 0.0006558 0.02561 3.171 0.2198 0.0007821 0.00003836 1 1 0.001851 0.02449 0.2352 0.002007 0.02656 0.2551 json
t12_x24_u3_b12 12 24 3 12 flr(sub(R,sub(R,P))) 39891 98417451 o1(o2(x,o2(x,x))) true 148975 148975 -0.004843 0.4994 0.9327 0.9186 0.9584 -1 1 2 1 1.854 0.0007139 0.00004687 0.008337 0.8768 1 -0.00000526 0.00004857 0.002049 0.0006909 0.02628 3.153 0.2265 0.0008282 0.00005288 1 1 0.001976 0.02569 0.2318 0.002151 0.02796 0.2523 json
t12_x24_u3_b13 12 24 3 13 flr(sub(R,mlt(R,P))) 39892 98417452 o1(o2(x,o2(x,x))) true 148983 148983 -0.1545 0.359 0.7191 0.6361 0.7976 -1 1 2 1 3.511 0.01631 0.02025 0.08981 -0.1077 1 0.00007985 0.02119 0.04907 0.02849 0.1688 1.879 1.354 0.05748 0.03331 1 1 0.05073 0.422 0.9821 0.07975 0.6635 1.544 json
t12_x24_u3_b14 12 24 3 14 flr(sub(R,div(R,P))) 39893 98417453 o1(o2(x,o2(x,x))) true 148991 148991 -0.5262 0.08485 0.6047 0.2425 0.4924 -1 1 2 1 3.652 0.01169 0.003423 0.06048 0.547 1 0.00003735 0.01879 0.0282 0.01146 0.107 1.77 1.999 0.06233 0.07749 1 1 0.02241 0.1836 0.457 0.09244 0.7572 1.885 json
t12_x24_u3_b15 12 24 3 15 flr(sub(R,pow(R,P))) 39894 98417454 o1(o2(x,o2(x,x))) true 148999 148999 -0.9888 0 0.9888 0.009741 0.0987 -1 0 1 1 0.1568 0.001698 0.0009241 0.003749 0.2952 1 1.014e-10 0.005213 0.005597 0.002609 0.05107 13.62 1.414 0.2692 0.5352 1 1 0.002062 0.007646 0.01477 0.2117 0.7849 1.516 json
t12_x24_u3_b16 12 24 3 16 flr(sub(R,mod(R,P))) 39895 98417455 o1(o2(x,o2(x,x))) true 149007 149007 -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_x24_u3_b17 12 24 3 17 flr(sub(R,lrg(R,P))) 39896 98417456 o1(o2(x,o2(x,x))) true 149015 149015 -0.7852 0 0.7852 0.1181 0.3436 -1 0 1 1 2.27 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t12_x24_u3_b18 12 24 3 18 flr(sub(R,eql(R,P))) 39897 98417457 o1(o2(x,o2(x,x))) true 149023 149023 -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_x24_u3_b19 12 24 3 19 flr(sub(R,min(R,P))) 39898 98417458 o1(o2(x,o2(x,x))) true 149031 149031 0.4423 0.4866 0.4423 0.2377 0.4875 0 1 1 1 1.41 0.0003303 0.0001484 0.00523 0.3799 1 -0.00001097 0.00005119 0.001359 0.0004511 0.02124 4.061 0.2245 0.002014 0.0002154 1 1 0.00119 0.01529 0.09149 0.005006 0.06435 0.385 json
t12_x24_u3_b20 12 24 3 20 flr(sub(R,dot(R,P))) 39899 98417459 o1(o2(x,o2(x,x))) true 149039 149039 -0.05362 0.4623 0.8518 0.8061 0.8979 -1 1 2 1 2.821 0.0243 0.03393 0.1032 -0.1653 1 0.00002638 0.04585 0.07469 0.04758 0.2181 2.113 1.87 0.07224 0.05687 1 1 0.07454 0.5817 1.387 0.09246 0.7216 1.72 json