icfp
/
icfp12
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added generated bin*.c files

This commit is contained in:
Stefan Bühler 2009-06-29 19:35:11 +02:00
parent 85dd614408
commit 74be04d6ed
5 changed files with 5595 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
task/.gitignore vendored
View File

@ -1 +0,0 @@
*.c

465
task/bin1.c Normal file
View File

@ -0,0 +1,465 @@
#include "task.h"
#include <math.h>
typedef union { gdouble d; guint64 i; } double_int;
static gboolean ovm_status;
const guint ovm_outs = 5, ovm_ins = 4;
static double_int v0, v1, v2, v3, v4, v5, v7, v8, v9, v11, v12, v14, v15, v16, v18, v19, v20, v22, v24, v25, v26, v27, v28, v29, v30, v31, v32, v33, v35, v36, v37, v38, v39, v41, v42, v43, v44, v46, v47, v48, v50, v52, v53, v54, v55, v57, v59, v60, v62, v64, v66, v67, v69, v70, v71, v72, v74, v75, v77, v78, v80, v81, v83, v84, v86, v88, v89, v90, v91, v92, v93, v94, v95, v96, v98, v99, v100, v101, v102, v103, v104, v105, v106, v107, v108, v109, v110, v111, v113, v114, v116, v117, v119, v121, v122, v123, v124, v125, v126, v127, v128, v129, v130, v131, v132, v133, v135, v137, v139, v141, v143, v144, v145, v146, v147, v148, v149, v150, v151, v152, v153, v155, v156, v157, v158, v159, v160, v161, v163, v164, v166, v167, v168, v169, v170, v171, v172, v173, v174, v175, v176, v177, v178, v179, v180, v181, v182, v183, v184, v185, v186, v187, v188, v189, v191, v193, v195, v197, v199, v200, v202, v203, v205, v206, v207, v208, v210, v212, v213, v214, v216, v217, v218, v219, v220, v221, v222, v223, v224, v225, v226, v227, v228, v230, v231, v232, v234, v235, v237, v238, v239, v241, v242, v248, v249, v250, v251, v252, v253, v254, v255, v256, v257, v258, v259, v260, v261, v262, v263, v264, v265;
void ovm_init() {
ovm_status = FALSE;
v0.i = G_GUINT64_CONSTANT(4607182418800017408); /* 1.000000 */
v1.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v2.i = G_GUINT64_CONSTANT(4629137466983448576); /* 30.000000 */
v3.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v4.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v5.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v7.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v8.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v9.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v11.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v12.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v14.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v15.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v16.i = G_GUINT64_CONSTANT(4652007308841189376); /* 1000.000000 */
v18.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v19.i = G_GUINT64_CONSTANT(4611686018427387904); /* 2.000000 */
v20.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v22.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v24.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v25.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v26.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v27.i = G_GUINT64_CONSTANT(4607632778762754458); /* 1.100000 */
v28.i = G_GUINT64_CONSTANT(4676027789617397760); /* 42164.000000 */
v29.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v30.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v31.i = G_GUINT64_CONSTANT(4652042493213278208); /* 1004.000000 */
v32.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v33.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v35.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v36.i = G_GUINT64_CONSTANT(4609434218613702656); /* 1.500000 */
v37.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v38.i = G_GUINT64_CONSTANT(4652033697120256000); /* 1003.000000 */
v39.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v41.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v42.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v43.i = G_GUINT64_CONSTANT(4652024901027233792); /* 1002.000000 */
v44.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v46.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v47.i = G_GUINT64_CONSTANT(4652016104934211584); /* 1001.000000 */
v48.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v50.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v52.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v53.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v54.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v55.i = G_GUINT64_CONSTANT(4708691161932365824); /* 6457000.000000 */
v57.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v59.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v60.i = G_GUINT64_CONSTANT(13931955824604741632); /* -6357000.000000 */
v62.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v64.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v66.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v67.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v69.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v70.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v71.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v72.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v74.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v75.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v77.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v78.i = G_GUINT64_CONSTANT(4710731271397965824); /* 8357000.000000 */
v80.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v81.i = G_GUINT64_CONSTANT(4708583787749965824); /* 6357000.000000 */
v83.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v84.i = G_GUINT64_CONSTANT(4708798536114765824); /* 6557000.000000 */
v86.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v88.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v89.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v90.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v91.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v92.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v93.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v94.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v95.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v96.i = G_GUINT64_CONSTANT(4977561924064720455); /* 5999999999999999899336704.000000 */
v98.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v99.i = G_GUINT64_CONSTANT(4454720405870426065); /* 0.000000 */
v100.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v101.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v102.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v103.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v104.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v105.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v106.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v107.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v108.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v109.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v110.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v111.i = G_GUINT64_CONSTANT(13887705239773928485); /* -6922.335359 */
v113.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v114.i = G_GUINT64_CONSTANT(13885282996472059492); /* -4719.317909 */
v116.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v117.i = G_GUINT64_CONSTANT(13888686660972151467); /* -7814.932739 */
v119.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v121.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v122.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v123.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v124.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v125.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v126.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v127.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v128.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v129.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v130.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v131.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v132.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v133.i = G_GUINT64_CONSTANT(13888752942495952064); /* -7875.215433 */
v135.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v137.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v139.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v141.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v143.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v144.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v145.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v146.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v147.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v148.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v149.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v150.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v151.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v152.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v153.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v155.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v156.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v157.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v158.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v159.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v160.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v161.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v163.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v164.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v166.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v167.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v168.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v169.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v170.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v171.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v172.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v173.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v174.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v175.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v176.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v177.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v178.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v179.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v180.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v181.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v182.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v183.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v184.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v185.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v186.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v187.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v188.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v189.i = G_GUINT64_CONSTANT(4607182418800017408); /* 1.000000 */
v191.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v193.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v195.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v197.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v199.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v200.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v202.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v203.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v205.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v206.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v207.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v208.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v210.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v212.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v213.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v214.i = G_GUINT64_CONSTANT(4666723172467343360); /* 10000.000000 */
v216.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v217.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v218.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v219.i = G_GUINT64_CONSTANT(4627730092099895296); /* 25.000000 */
v220.i = G_GUINT64_CONSTANT(4631530004285489152); /* 45.000000 */
v221.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v222.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v223.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v224.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v225.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v226.i = G_GUINT64_CONSTANT(4651127699538968576); /* 900.000000 */
v227.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v228.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v230.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v231.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v232.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v234.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v235.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v237.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v238.i = G_GUINT64_CONSTANT(4708583787749965824); /* 6357000.000000 */
v239.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v241.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v242.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v248.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v249.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v250.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v251.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v252.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v253.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v254.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v255.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v256.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v257.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v258.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v259.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v260.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v261.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v262.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v263.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v264.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v265.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
}
void ovm_step(guint scenario, gdouble *in, gdouble *out) {
v1.d = v265.d;
v4.d = v248.d;
v5.d = v4.d - v3.d;
ovm_status = (v5.d == 0);
v7.d = ovm_status ? v2.d : v1.d;
v8.d = v7.d - v0.d;
v9.d = v263.d;
ovm_status = (v5.d == 0);
v11.d = ovm_status ? v0.d : v9.d;
v12.d = v11.d - v0.d;
ovm_status = (v12.d == 0);
v14.d = ovm_status ? v8.d : v7.d;
v15.d = v264.d;
ovm_status = (v5.d == 0);
v18.d = ovm_status ? v16.d : v15.d;
v20.d = v18.d * v19.d;
ovm_status = (v12.d == 0);
v22.d = ovm_status ? v20.d : v18.d;
ovm_status = (v12.d == 0);
v24.d = ovm_status ? v18.d : v12.d;
v25.d = v260.d;
v26.d = v262.d;
v29.d = v28.d * v16.d;
v30.d = (v27.d == 0) ? 0.0 : v29.d / v27.d;
v32.d = scenario;
v33.d = v32.d - v31.d;
ovm_status = (v33.d == 0);
v35.d = ovm_status ? v30.d : v3.d;
v37.d = (v36.d == 0) ? 0.0 : v29.d / v36.d;
v39.d = v32.d - v38.d;
ovm_status = (v39.d == 0);
v41.d = ovm_status ? v37.d : v35.d;
v42.d = (v19.d == 0) ? 0.0 : v29.d / v19.d;
v44.d = v32.d - v43.d;
ovm_status = (v44.d == 0);
v46.d = ovm_status ? v42.d : v41.d;
v48.d = v32.d - v47.d;
ovm_status = (v48.d == 0);
v50.d = ovm_status ? v29.d : v46.d;
ovm_status = (v5.d == 0);
v52.d = ovm_status ? v50.d : v26.d;
v53.d = v255.d;
ovm_status = (v33.d == 0);
v57.d = ovm_status ? v55.d : v3.d;
ovm_status = (v39.d == 0);
v59.d = ovm_status ? v54.d : v57.d;
ovm_status = (v44.d == 0);
v62.d = ovm_status ? v60.d : v59.d;
ovm_status = (v48.d == 0);
v64.d = ovm_status ? v54.d : v62.d;
ovm_status = (v5.d == 0);
v66.d = ovm_status ? v64.d : v53.d;
v67.d = v250.d;
ovm_status = (v5.d == 0);
v69.d = ovm_status ? v3.d : v67.d;
v70.d = v69.d - v66.d;
v71.d = v70.d * v70.d;
v72.d = v249.d;
ovm_status = (v5.d == 0);
v74.d = ovm_status ? v3.d : v72.d;
v75.d = v254.d;
ovm_status = (v33.d == 0);
v77.d = ovm_status ? v54.d : v3.d;
ovm_status = (v39.d == 0);
v80.d = ovm_status ? v78.d : v77.d;
ovm_status = (v44.d == 0);
v83.d = ovm_status ? v81.d : v80.d;
ovm_status = (v48.d == 0);
v86.d = ovm_status ? v84.d : v83.d;
ovm_status = (v5.d == 0);
v88.d = ovm_status ? v86.d : v75.d;
v89.d = v74.d - v88.d;
v90.d = v89.d * v89.d;
v91.d = v90.d + v71.d;
v92.d = sqrt(v91.d);
v93.d = v92.d * v92.d;
v94.d = v93.d * v92.d;
v95.d = v251.d;
ovm_status = (v5.d == 0);
v98.d = ovm_status ? v96.d : v95.d;
v100.d = v99.d * v98.d;
v101.d = (v94.d == 0) ? 0.0 : v100.d / v94.d;
v102.d = v70.d * v101.d;
v103.d = in[3];
v104.d = (v0.d == 0) ? 0.0 : v0.d / v0.d;
v105.d = (v104.d == 0) ? 0.0 : v103.d / v104.d;
v106.d = v105.d + v102.d;
v107.d = v104.d * v104.d;
v108.d = (v19.d == 0) ? 0.0 : v107.d / v19.d;
v109.d = v106.d * v108.d;
v110.d = v258.d;
ovm_status = (v39.d == 0);
v113.d = ovm_status ? v111.d : v77.d;
ovm_status = (v44.d == 0);
v116.d = ovm_status ? v114.d : v113.d;
ovm_status = (v48.d == 0);
v119.d = ovm_status ? v117.d : v116.d;
ovm_status = (v5.d == 0);
v121.d = ovm_status ? v119.d : v110.d;
v122.d = v121.d * v104.d;
v123.d = v66.d + v122.d;
v124.d = v123.d + v109.d;
v125.d = v124.d - v69.d;
v126.d = v125.d * v125.d;
v127.d = v89.d * v101.d;
v128.d = in[2];
v129.d = (v104.d == 0) ? 0.0 : v128.d / v104.d;
v130.d = v129.d + v127.d;
v131.d = v130.d * v108.d;
v132.d = v257.d;
ovm_status = (v33.d == 0);
v135.d = ovm_status ? v133.d : v3.d;
ovm_status = (v39.d == 0);
v137.d = ovm_status ? v54.d : v135.d;
ovm_status = (v44.d == 0);
v139.d = ovm_status ? v114.d : v137.d;
ovm_status = (v48.d == 0);
v141.d = ovm_status ? v54.d : v139.d;
ovm_status = (v5.d == 0);
v143.d = ovm_status ? v141.d : v132.d;
v144.d = v143.d * v104.d;
v145.d = v88.d + v144.d;
v146.d = v145.d + v131.d;
v147.d = v146.d - v74.d;
v148.d = v147.d * v147.d;
v149.d = v148.d + v126.d;
v150.d = sqrt(v149.d);
v151.d = v150.d - v52.d;
v152.d = v3.d - v151.d;
v153.d = v151.d - v3.d;
ovm_status = (v153.d < 0);
v155.d = ovm_status ? v152.d : v151.d;
v156.d = v25.d + v155.d;
v157.d = v105.d * v105.d;
v158.d = v129.d * v129.d;
v159.d = v158.d + v157.d;
v160.d = sqrt(v159.d);
v161.d = v160.d - v3.d;
ovm_status = (v161.d == 0);
v163.d = ovm_status ? v156.d : v3.d;
v164.d = v155.d - v16.d;
ovm_status = (v164.d < 0);
v166.d = ovm_status ? v163.d : v3.d;
v167.d = v69.d - v124.d;
v168.d = v167.d * v167.d;
v169.d = v74.d - v146.d;
v170.d = v169.d * v169.d;
v171.d = v170.d + v168.d;
v172.d = sqrt(v171.d);
v173.d = v172.d * v172.d;
v174.d = v173.d * v172.d;
v175.d = (v174.d == 0) ? 0.0 : v100.d / v174.d;
v176.d = v167.d * v175.d;
v177.d = v176.d + v102.d;
v178.d = (v19.d == 0) ? 0.0 : v177.d / v19.d;
v179.d = v105.d + v178.d;
v180.d = v179.d * v104.d;
v181.d = v121.d + v180.d;
v182.d = v169.d * v175.d;
v183.d = v182.d + v127.d;
v184.d = (v19.d == 0) ? 0.0 : v183.d / v19.d;
v185.d = v129.d + v184.d;
v186.d = v185.d * v104.d;
v187.d = v143.d + v186.d;
v188.d = v256.d;
ovm_status = (v33.d == 0);
v191.d = ovm_status ? v189.d : v3.d;
ovm_status = (v39.d == 0);
v193.d = ovm_status ? v189.d : v191.d;
ovm_status = (v44.d == 0);
v195.d = ovm_status ? v189.d : v193.d;
ovm_status = (v48.d == 0);
v197.d = ovm_status ? v189.d : v195.d;
ovm_status = (v5.d == 0);
v199.d = ovm_status ? v197.d : v188.d;
v200.d = v253.d;
ovm_status = (v5.d == 0);
v202.d = ovm_status ? v3.d : v200.d;
v203.d = v252.d;
ovm_status = (v5.d == 0);
v205.d = ovm_status ? v3.d : v203.d;
v206.d = v4.d + v0.d;
v207.d = v259.d;
v208.d = v207.d + v0.d;
ovm_status = (v161.d == 0);
v210.d = ovm_status ? v208.d : v3.d;
ovm_status = (v164.d < 0);
v212.d = ovm_status ? v210.d : v3.d;
v213.d = v261.d;
ovm_status = (v5.d == 0);
v216.d = ovm_status ? v214.d : v213.d;
v217.d = v160.d * v104.d;
v218.d = v216.d - v217.d;
v221.d = v214.d - v218.d;
v222.d = (v214.d == 0) ? 0.0 : v221.d / v214.d;
v223.d = v222.d * v220.d;
v224.d = v7.d + v223.d;
v225.d = v224.d + v219.d;
v227.d = (v104.d == 0) ? 0.0 : v226.d / v104.d;
v228.d = v227.d - v212.d;
ovm_status = (v228.d < 0);
v230.d = ovm_status ? v225.d : v3.d;
v231.d = v218.d - v3.d;
v232.d = v242.d - v0.d;
ovm_status = (v231.d < 0);
v234.d = ovm_status ? v232.d : v230.d;
v235.d = v214.d - v217.d;
ovm_status = (v235.d < 0);
v237.d = ovm_status ? v232.d : v234.d;
v239.d = v150.d - v238.d;
ovm_status = (v239.d < 0);
v241.d = ovm_status ? v232.d : v237.d;
out[0] = v241.d;
out[1] = v218.d;
out[2] = v169.d;
out[3] = v167.d;
out[4] = v52.d;
v248.d = v206.d;
v249.d = v74.d;
v250.d = v69.d;
v251.d = v98.d;
v252.d = v205.d;
v253.d = v202.d;
v254.d = v146.d;
v255.d = v124.d;
v256.d = v199.d;
v257.d = v187.d;
v258.d = v181.d;
v259.d = v212.d;
v260.d = v166.d;
v261.d = v218.d;
v262.d = v52.d;
v263.d = v24.d;
v264.d = v22.d;
v265.d = v14.d;
}

693
task/bin2.c Normal file
View File

@ -0,0 +1,693 @@
#include "task.h"
#include <math.h>
typedef union { gdouble d; guint64 i; } double_int;
static gboolean ovm_status;
const guint ovm_outs = 6, ovm_ins = 4;
static double_int v0, v1, v2, v3, v4, v5, v7, v8, v9, v11, v12, v14, v15, v16, v17, v19, v20, v22, v24, v25, v26, v27, v28, v29, v30, v31, v33, v34, v35, v37, v38, v39, v40, v42, v43, v44, v46, v48, v49, v51, v52, v53, v54, v56, v57, v59, v60, v62, v64, v66, v67, v69, v70, v71, v72, v73, v74, v75, v76, v77, v78, v80, v81, v82, v83, v84, v85, v86, v87, v88, v89, v91, v92, v94, v95, v97, v99, v100, v101, v102, v103, v104, v105, v106, v108, v109, v110, v112, v113, v114, v116, v117, v118, v120, v122, v124, v126, v128, v130, v131, v132, v133, v135, v137, v138, v140, v141, v143, v145, v147, v149, v151, v153, v154, v155, v156, v157, v158, v159, v160, v161, v162, v163, v164, v165, v166, v168, v169, v171, v172, v174, v176, v178, v180, v182, v184, v185, v186, v187, v188, v189, v190, v191, v192, v193, v195, v197, v198, v200, v202, v204, v205, v206, v207, v208, v209, v210, v211, v212, v213, v214, v216, v218, v220, v222, v224, v226, v228, v230, v232, v233, v234, v235, v236, v237, v238, v239, v240, v241, v242, v243, v244, v245, v247, v248, v250, v251, v252, v253, v254, v255, v256, v257, v258, v259, v260, v261, v262, v263, v264, v265, v266, v267, v268, v269, v270, v271, v273, v275, v277, v279, v281, v282, v283, v284, v285, v286, v287, v288, v289, v290, v291, v292, v293, v294, v295, v296, v297, v298, v299, v300, v301, v302, v303, v305, v307, v309, v311, v313, v315, v317, v319, v321, v322, v324, v325, v327, v328, v329, v330, v331, v332, v334, v336, v337, v338, v340, v341, v342, v343, v344, v345, v346, v347, v348, v349, v350, v351, v352, v354, v355, v356, v358, v359, v361, v362, v363, v364, v365, v366, v367, v368, v369, v371, v372, v379, v380, v381, v382, v383, v384, v385, v386, v387, v388, v389, v390, v391, v392, v393, v394, v395, v396, v397, v398, v399, v400;
void ovm_init() {
ovm_status = FALSE;
v0.i = G_GUINT64_CONSTANT(4607182418800017408); /* 1.000000 */
v1.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v2.i = G_GUINT64_CONSTANT(4629137466983448576); /* 30.000000 */
v3.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v4.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v5.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v7.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v8.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v9.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v11.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v12.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v14.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v15.i = G_GUINT64_CONSTANT(4611686018427387904); /* 2.000000 */
v16.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v17.i = G_GUINT64_CONSTANT(4652007308841189376); /* 1000.000000 */
v19.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v20.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v22.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v24.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v25.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v26.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v27.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v28.i = G_GUINT64_CONSTANT(4710731271397965824); /* 8357000.000000 */
v29.i = G_GUINT64_CONSTANT(4656528500654604288); /* 2004.000000 */
v30.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v31.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v33.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v34.i = G_GUINT64_CONSTANT(4656524102608093184); /* 2003.000000 */
v35.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v37.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v38.i = G_GUINT64_CONSTANT(13931955824604741632); /* -6357000.000000 */
v39.i = G_GUINT64_CONSTANT(4656519704561582080); /* 2002.000000 */
v40.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v42.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v43.i = G_GUINT64_CONSTANT(4656515306515070976); /* 2001.000000 */
v44.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v46.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v48.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v49.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v51.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v52.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v53.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v54.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v56.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v57.i = G_GUINT64_CONSTANT(4709657529573965824); /* 7357000.000000 */
v59.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v60.i = G_GUINT64_CONSTANT(4723801030825869312); /* 63570000.000000 */
v62.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v64.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v66.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v67.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v69.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v70.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v71.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v72.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v73.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v74.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v75.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v76.i = G_GUINT64_CONSTANT(4454720405870426065); /* 0.000000 */
v77.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v78.i = G_GUINT64_CONSTANT(4977561924064720455); /* 5999999999999999899336704.000000 */
v80.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v81.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v82.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v83.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v84.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v85.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v86.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v87.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v88.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v89.i = G_GUINT64_CONSTANT(13888206039281662492); /* -7377.809857 */
v91.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v92.i = G_GUINT64_CONSTANT(13881068685215932186); /* -2491.212075 */
v94.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v95.i = G_GUINT64_CONSTANT(13887705239773928485); /* -6922.335359 */
v97.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v99.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v100.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v101.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v102.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v103.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v104.i = G_GUINT64_CONSTANT(4708691161932365824); /* 6457000.000000 */
v105.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v106.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v108.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v109.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v110.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v112.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v113.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v114.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v116.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v117.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v118.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v120.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v122.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v124.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v126.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v128.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v130.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v131.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v132.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v133.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v135.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v137.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v138.i = G_GUINT64_CONSTANT(4708583787749965824); /* 6357000.000000 */
v140.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v141.i = G_GUINT64_CONSTANT(4708798536114765824); /* 6557000.000000 */
v143.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v145.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v147.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v149.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v151.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v153.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v154.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v155.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v156.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v157.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v158.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v159.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v160.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v161.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v162.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v163.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v164.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v165.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v166.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v168.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v169.i = G_GUINT64_CONSTANT(13885282996472059492); /* -4719.317909 */
v171.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v172.i = G_GUINT64_CONSTANT(13888686660972151467); /* -7814.932739 */
v174.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v176.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v178.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v180.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v182.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v184.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v185.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v186.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v187.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v188.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v189.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v190.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v191.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v192.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v193.i = G_GUINT64_CONSTANT(4664333202919152677); /* 6922.335359 */
v195.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v197.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v198.i = G_GUINT64_CONSTANT(13866341226678910608); /* -249.121207 */
v200.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v202.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v204.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v205.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v206.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v207.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v208.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v209.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v210.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v211.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v212.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v213.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v214.i = G_GUINT64_CONSTANT(4665380905641176256); /* 7875.215433 */
v216.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v218.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v220.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v222.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v224.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v226.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v228.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v230.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v232.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v233.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v234.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v235.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v236.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v237.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v238.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v239.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v240.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v241.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v242.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v243.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v244.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v245.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v247.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v248.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v250.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v251.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v252.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v253.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v254.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v255.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v256.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v257.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v258.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v259.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v260.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v261.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v262.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v263.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v264.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v265.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v266.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v267.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v268.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v269.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v270.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v271.i = G_GUINT64_CONSTANT(4607182418800017408); /* 1.000000 */
v273.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v275.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v277.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v279.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v281.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v282.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v283.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v284.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v285.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v286.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v287.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v288.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v289.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v290.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v291.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v292.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v293.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v294.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v295.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v296.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v297.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v298.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v299.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v300.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v301.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v302.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v303.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v305.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v307.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v309.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v311.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v313.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v315.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v317.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v319.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v321.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v322.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v324.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v325.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v327.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v328.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v329.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v330.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v331.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v332.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v334.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v336.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v337.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v338.i = G_GUINT64_CONSTANT(4677104761256804352); /* 50000.000000 */
v340.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v341.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v342.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v343.i = G_GUINT64_CONSTANT(4627730092099895296); /* 25.000000 */
v344.i = G_GUINT64_CONSTANT(4631530004285489152); /* 45.000000 */
v345.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v346.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v347.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v348.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v349.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v350.i = G_GUINT64_CONSTANT(4651127699538968576); /* 900.000000 */
v351.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v352.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v354.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v355.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v356.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v358.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v359.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v361.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v362.i = G_GUINT64_CONSTANT(4708583787749965824); /* 6357000.000000 */
v363.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v364.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v365.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v366.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v367.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v368.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v369.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v371.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v372.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v379.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v380.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v381.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v382.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v383.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v384.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v385.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v386.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v387.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v388.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v389.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v390.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v391.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v392.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v393.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v394.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v395.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v396.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v397.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v398.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v399.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v400.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
}
void ovm_step(guint scenario, gdouble *in, gdouble *out) {
v1.d = v400.d;
v4.d = v379.d;
v5.d = v4.d - v3.d;
ovm_status = (v5.d == 0);
v7.d = ovm_status ? v2.d : v1.d;
v8.d = v7.d - v0.d;
v9.d = v398.d;
ovm_status = (v5.d == 0);
v11.d = ovm_status ? v0.d : v9.d;
v12.d = v11.d - v0.d;
ovm_status = (v12.d == 0);
v14.d = ovm_status ? v8.d : v7.d;
v16.d = v399.d;
ovm_status = (v5.d == 0);
v19.d = ovm_status ? v17.d : v16.d;
v20.d = v19.d * v15.d;
ovm_status = (v12.d == 0);
v22.d = ovm_status ? v20.d : v19.d;
ovm_status = (v12.d == 0);
v24.d = ovm_status ? v19.d : v12.d;
v25.d = v396.d;
v26.d = v391.d;
v30.d = scenario;
v31.d = v30.d - v29.d;
ovm_status = (v31.d == 0);
v33.d = ovm_status ? v28.d : v3.d;
v35.d = v30.d - v34.d;
ovm_status = (v35.d == 0);
v37.d = ovm_status ? v27.d : v33.d;
v40.d = v30.d - v39.d;
ovm_status = (v40.d == 0);
v42.d = ovm_status ? v38.d : v37.d;
v44.d = v30.d - v43.d;
ovm_status = (v44.d == 0);
v46.d = ovm_status ? v27.d : v42.d;
ovm_status = (v5.d == 0);
v48.d = ovm_status ? v46.d : v26.d;
v49.d = v381.d;
ovm_status = (v5.d == 0);
v51.d = ovm_status ? v3.d : v49.d;
v52.d = v51.d - v48.d;
v53.d = v52.d * v52.d;
v54.d = v390.d;
ovm_status = (v31.d == 0);
v56.d = ovm_status ? v27.d : v3.d;
ovm_status = (v35.d == 0);
v59.d = ovm_status ? v57.d : v56.d;
ovm_status = (v40.d == 0);
v62.d = ovm_status ? v60.d : v59.d;
ovm_status = (v44.d == 0);
v64.d = ovm_status ? v28.d : v62.d;
ovm_status = (v5.d == 0);
v66.d = ovm_status ? v64.d : v54.d;
v67.d = v380.d;
ovm_status = (v5.d == 0);
v69.d = ovm_status ? v3.d : v67.d;
v70.d = v69.d - v66.d;
v71.d = v70.d * v70.d;
v72.d = v71.d + v53.d;
v73.d = sqrt(v72.d);
v74.d = v73.d * v73.d;
v75.d = v74.d * v73.d;
v77.d = v382.d;
ovm_status = (v5.d == 0);
v80.d = ovm_status ? v78.d : v77.d;
v81.d = v76.d * v80.d;
v82.d = (v75.d == 0) ? 0.0 : v81.d / v75.d;
v83.d = v52.d * v82.d;
v84.d = (v0.d == 0) ? 0.0 : v0.d / v0.d;
v85.d = v84.d * v84.d;
v86.d = (v15.d == 0) ? 0.0 : v85.d / v15.d;
v87.d = v83.d * v86.d;
v88.d = v394.d;
ovm_status = (v35.d == 0);
v91.d = ovm_status ? v89.d : v56.d;
ovm_status = (v40.d == 0);
v94.d = ovm_status ? v92.d : v91.d;
ovm_status = (v44.d == 0);
v97.d = ovm_status ? v95.d : v94.d;
ovm_status = (v5.d == 0);
v99.d = ovm_status ? v97.d : v88.d;
v100.d = v99.d * v84.d;
v101.d = v48.d + v100.d;
v102.d = v101.d + v87.d;
v103.d = v386.d;
v105.d = v29.d + v17.d;
v106.d = v30.d - v105.d;
ovm_status = (v106.d == 0);
v108.d = ovm_status ? v104.d : v3.d;
v109.d = v34.d + v17.d;
v110.d = v30.d - v109.d;
ovm_status = (v110.d == 0);
v112.d = ovm_status ? v27.d : v108.d;
v113.d = v39.d + v17.d;
v114.d = v30.d - v113.d;
ovm_status = (v114.d == 0);
v116.d = ovm_status ? v38.d : v112.d;
v117.d = v43.d + v17.d;
v118.d = v30.d - v117.d;
ovm_status = (v118.d == 0);
v120.d = ovm_status ? v27.d : v116.d;
ovm_status = (v31.d == 0);
v122.d = ovm_status ? v104.d : v120.d;
ovm_status = (v35.d == 0);
v124.d = ovm_status ? v27.d : v122.d;
ovm_status = (v40.d == 0);
v126.d = ovm_status ? v38.d : v124.d;
ovm_status = (v44.d == 0);
v128.d = ovm_status ? v27.d : v126.d;
ovm_status = (v5.d == 0);
v130.d = ovm_status ? v128.d : v103.d;
v131.d = v51.d - v130.d;
v132.d = v131.d * v131.d;
v133.d = v385.d;
ovm_status = (v106.d == 0);
v135.d = ovm_status ? v27.d : v3.d;
ovm_status = (v110.d == 0);
v137.d = ovm_status ? v28.d : v135.d;
ovm_status = (v114.d == 0);
v140.d = ovm_status ? v138.d : v137.d;
ovm_status = (v118.d == 0);
v143.d = ovm_status ? v141.d : v140.d;
ovm_status = (v31.d == 0);
v145.d = ovm_status ? v27.d : v143.d;
ovm_status = (v35.d == 0);
v147.d = ovm_status ? v28.d : v145.d;
ovm_status = (v40.d == 0);
v149.d = ovm_status ? v138.d : v147.d;
ovm_status = (v44.d == 0);
v151.d = ovm_status ? v141.d : v149.d;
ovm_status = (v5.d == 0);
v153.d = ovm_status ? v151.d : v133.d;
v154.d = v69.d - v153.d;
v155.d = v154.d * v154.d;
v156.d = v155.d + v132.d;
v157.d = sqrt(v156.d);
v158.d = v157.d * v157.d;
v159.d = v158.d * v157.d;
v160.d = (v159.d == 0) ? 0.0 : v81.d / v159.d;
v161.d = v131.d * v160.d;
v162.d = in[3];
v163.d = (v84.d == 0) ? 0.0 : v162.d / v84.d;
v164.d = v163.d + v161.d;
v165.d = v164.d * v86.d;
v166.d = v389.d;
ovm_status = (v110.d == 0);
v168.d = ovm_status ? v95.d : v135.d;
ovm_status = (v114.d == 0);
v171.d = ovm_status ? v169.d : v168.d;
ovm_status = (v118.d == 0);
v174.d = ovm_status ? v172.d : v171.d;
ovm_status = (v31.d == 0);
v176.d = ovm_status ? v27.d : v174.d;
ovm_status = (v35.d == 0);
v178.d = ovm_status ? v95.d : v176.d;
ovm_status = (v40.d == 0);
v180.d = ovm_status ? v169.d : v178.d;
ovm_status = (v44.d == 0);
v182.d = ovm_status ? v172.d : v180.d;
ovm_status = (v5.d == 0);
v184.d = ovm_status ? v182.d : v166.d;
v185.d = v184.d * v84.d;
v186.d = v130.d + v185.d;
v187.d = v186.d + v165.d;
v188.d = v187.d - v102.d;
v189.d = v188.d * v188.d;
v190.d = v70.d * v82.d;
v191.d = v190.d * v86.d;
v192.d = v393.d;
ovm_status = (v31.d == 0);
v195.d = ovm_status ? v193.d : v3.d;
ovm_status = (v35.d == 0);
v197.d = ovm_status ? v27.d : v195.d;
ovm_status = (v40.d == 0);
v200.d = ovm_status ? v198.d : v197.d;
ovm_status = (v44.d == 0);
v202.d = ovm_status ? v27.d : v200.d;
ovm_status = (v5.d == 0);
v204.d = ovm_status ? v202.d : v192.d;
v205.d = v204.d * v84.d;
v206.d = v66.d + v205.d;
v207.d = v206.d + v191.d;
v208.d = v154.d * v160.d;
v209.d = in[2];
v210.d = (v84.d == 0) ? 0.0 : v209.d / v84.d;
v211.d = v210.d + v208.d;
v212.d = v211.d * v86.d;
v213.d = v388.d;
ovm_status = (v106.d == 0);
v216.d = ovm_status ? v214.d : v3.d;
ovm_status = (v110.d == 0);
v218.d = ovm_status ? v27.d : v216.d;
ovm_status = (v114.d == 0);
v220.d = ovm_status ? v169.d : v218.d;
ovm_status = (v118.d == 0);
v222.d = ovm_status ? v27.d : v220.d;
ovm_status = (v31.d == 0);
v224.d = ovm_status ? v214.d : v222.d;
ovm_status = (v35.d == 0);
v226.d = ovm_status ? v27.d : v224.d;
ovm_status = (v40.d == 0);
v228.d = ovm_status ? v169.d : v226.d;
ovm_status = (v44.d == 0);
v230.d = ovm_status ? v27.d : v228.d;
ovm_status = (v5.d == 0);
v232.d = ovm_status ? v230.d : v213.d;
v233.d = v232.d * v84.d;
v234.d = v153.d + v233.d;
v235.d = v234.d + v212.d;
v236.d = v235.d - v207.d;
v237.d = v236.d * v236.d;
v238.d = v237.d + v189.d;
v239.d = sqrt(v238.d);
v240.d = v25.d + v239.d;
v241.d = v163.d * v163.d;
v242.d = v210.d * v210.d;
v243.d = v242.d + v241.d;
v244.d = sqrt(v243.d);
v245.d = v244.d - v3.d;
ovm_status = (v245.d == 0);
v247.d = ovm_status ? v240.d : v3.d;
v248.d = v239.d - v17.d;
ovm_status = (v248.d < 0);
v250.d = ovm_status ? v247.d : v3.d;
v251.d = v51.d - v102.d;
v252.d = v251.d * v251.d;
v253.d = v69.d - v207.d;
v254.d = v253.d * v253.d;
v255.d = v254.d + v252.d;
v256.d = sqrt(v255.d);
v257.d = v256.d * v256.d;
v258.d = v257.d * v256.d;
v259.d = (v258.d == 0) ? 0.0 : v81.d / v258.d;
v260.d = v251.d * v259.d;
v261.d = v260.d + v83.d;
v262.d = (v15.d == 0) ? 0.0 : v261.d / v15.d;
v263.d = v262.d * v84.d;
v264.d = v99.d + v263.d;
v265.d = v253.d * v259.d;
v266.d = v265.d + v190.d;
v267.d = (v15.d == 0) ? 0.0 : v266.d / v15.d;
v268.d = v267.d * v84.d;
v269.d = v204.d + v268.d;
v270.d = v392.d;
ovm_status = (v31.d == 0);
v273.d = ovm_status ? v271.d : v3.d;
ovm_status = (v35.d == 0);
v275.d = ovm_status ? v271.d : v273.d;
ovm_status = (v40.d == 0);
v277.d = ovm_status ? v271.d : v275.d;
ovm_status = (v44.d == 0);
v279.d = ovm_status ? v271.d : v277.d;
ovm_status = (v5.d == 0);
v281.d = ovm_status ? v279.d : v270.d;
v282.d = v51.d - v187.d;
v283.d = v282.d * v282.d;
v284.d = v69.d - v235.d;
v285.d = v284.d * v284.d;
v286.d = v285.d + v283.d;
v287.d = sqrt(v286.d);
v288.d = v287.d * v287.d;
v289.d = v288.d * v287.d;
v290.d = (v289.d == 0) ? 0.0 : v81.d / v289.d;
v291.d = v282.d * v290.d;
v292.d = v291.d + v161.d;
v293.d = (v15.d == 0) ? 0.0 : v292.d / v15.d;
v294.d = v163.d + v293.d;
v295.d = v294.d * v84.d;
v296.d = v184.d + v295.d;
v297.d = v284.d * v290.d;
v298.d = v297.d + v208.d;
v299.d = (v15.d == 0) ? 0.0 : v298.d / v15.d;
v300.d = v210.d + v299.d;
v301.d = v300.d * v84.d;
v302.d = v232.d + v301.d;
v303.d = v387.d;
ovm_status = (v106.d == 0);
v305.d = ovm_status ? v271.d : v3.d;
ovm_status = (v110.d == 0);
v307.d = ovm_status ? v271.d : v305.d;
ovm_status = (v114.d == 0);
v309.d = ovm_status ? v271.d : v307.d;
ovm_status = (v118.d == 0);
v311.d = ovm_status ? v271.d : v309.d;
ovm_status = (v31.d == 0);
v313.d = ovm_status ? v271.d : v311.d;
ovm_status = (v35.d == 0);
v315.d = ovm_status ? v271.d : v313.d;
ovm_status = (v40.d == 0);
v317.d = ovm_status ? v271.d : v315.d;
ovm_status = (v44.d == 0);
v319.d = ovm_status ? v271.d : v317.d;
ovm_status = (v5.d == 0);
v321.d = ovm_status ? v319.d : v303.d;
v322.d = v384.d;
ovm_status = (v5.d == 0);
v324.d = ovm_status ? v3.d : v322.d;
v325.d = v383.d;
ovm_status = (v5.d == 0);
v327.d = ovm_status ? v3.d : v325.d;
v328.d = v4.d + v0.d;
v329.d = v102.d - v187.d;
v330.d = v207.d - v235.d;
v331.d = v395.d;
v332.d = v331.d + v0.d;
ovm_status = (v245.d == 0);
v334.d = ovm_status ? v332.d : v3.d;
ovm_status = (v248.d < 0);
v336.d = ovm_status ? v334.d : v3.d;
v337.d = v397.d;
ovm_status = (v5.d == 0);
v340.d = ovm_status ? v338.d : v337.d;
v341.d = v244.d * v84.d;
v342.d = v340.d - v341.d;
v345.d = (v338.d == 0) ? 0.0 : v342.d / v338.d;
v346.d = v345.d * v344.d;
v347.d = v7.d + v346.d;
v348.d = v347.d + v343.d;
v349.d = v348.d * v15.d;
v351.d = (v84.d == 0) ? 0.0 : v350.d / v84.d;
v352.d = v351.d - v336.d;
ovm_status = (v352.d < 0);
v354.d = ovm_status ? v349.d : v3.d;
v355.d = v342.d - v3.d;
v356.d = v372.d - v0.d;
ovm_status = (v355.d < 0);
v358.d = ovm_status ? v356.d : v354.d;
v359.d = v338.d - v341.d;
ovm_status = (v359.d < 0);
v361.d = ovm_status ? v356.d : v358.d;
v363.d = v187.d - v51.d;
v364.d = v363.d * v363.d;
v365.d = v235.d - v69.d;
v366.d = v365.d * v365.d;
v367.d = v366.d + v364.d;
v368.d = sqrt(v367.d);
v369.d = v368.d - v362.d;
ovm_status = (v369.d < 0);
v371.d = ovm_status ? v356.d : v361.d;
out[0] = v371.d;
out[1] = v342.d;
out[2] = v284.d;
out[3] = v282.d;
out[4] = v330.d;
out[5] = v329.d;
v379.d = v328.d;
v380.d = v69.d;
v381.d = v51.d;
v382.d = v80.d;
v383.d = v327.d;
v384.d = v324.d;
v385.d = v235.d;
v386.d = v187.d;
v387.d = v321.d;
v388.d = v302.d;
v389.d = v296.d;
v390.d = v207.d;
v391.d = v102.d;
v392.d = v281.d;
v393.d = v269.d;
v394.d = v264.d;
v395.d = v336.d;
v396.d = v250.d;
v397.d = v342.d;
v398.d = v24.d;
v399.d = v22.d;
v400.d = v14.d;
}

707
task/bin3.c Normal file
View File

@ -0,0 +1,707 @@
#include "task.h"
#include <math.h>
typedef union { gdouble d; guint64 i; } double_int;
static gboolean ovm_status;
const guint ovm_outs = 6, ovm_ins = 4;
static double_int v0, v1, v2, v3, v4, v5, v7, v8, v9, v11, v12, v14, v15, v16, v17, v19, v20, v22, v24, v25, v26, v27, v28, v29, v30, v31, v33, v34, v35, v37, v38, v39, v40, v42, v43, v44, v46, v48, v49, v51, v52, v53, v54, v56, v57, v59, v60, v62, v64, v66, v67, v69, v70, v71, v72, v73, v74, v75, v76, v77, v78, v80, v81, v82, v83, v84, v85, v86, v87, v88, v89, v91, v92, v94, v95, v97, v99, v100, v101, v102, v103, v104, v105, v106, v107, v109, v110, v111, v112, v114, v115, v116, v117, v119, v120, v121, v122, v124, v125, v127, v128, v130, v131, v133, v134, v136, v138, v139, v140, v141, v143, v145, v146, v148, v149, v151, v153, v155, v157, v159, v161, v162, v163, v164, v165, v166, v167, v168, v169, v170, v171, v172, v173, v174, v175, v177, v178, v180, v181, v183, v185, v187, v189, v191, v193, v194, v195, v196, v197, v198, v199, v200, v201, v202, v204, v206, v207, v209, v211, v213, v214, v215, v216, v217, v218, v219, v220, v221, v222, v223, v225, v227, v229, v231, v233, v235, v237, v239, v241, v242, v243, v244, v245, v246, v247, v248, v249, v250, v251, v252, v253, v254, v256, v257, v259, v260, v261, v262, v263, v264, v265, v266, v267, v268, v269, v270, v271, v272, v273, v274, v275, v276, v277, v278, v279, v280, v282, v284, v286, v288, v290, v291, v292, v293, v294, v295, v296, v297, v298, v299, v300, v301, v302, v303, v304, v305, v306, v307, v308, v309, v310, v311, v312, v314, v316, v318, v320, v322, v324, v326, v328, v330, v331, v333, v334, v336, v337, v338, v339, v340, v341, v343, v345, v346, v347, v349, v350, v351, v352, v353, v354, v355, v356, v357, v358, v359, v360, v361, v362, v364, v365, v366, v368, v369, v371, v372, v373, v374, v375, v376, v377, v378, v379, v381, v382, v389, v390, v391, v392, v393, v394, v395, v396, v397, v398, v399, v400, v401, v402, v403, v404, v405, v406, v407, v408, v409, v410;
void ovm_init() {
ovm_status = FALSE;
v0.i = G_GUINT64_CONSTANT(4607182418800017408); /* 1.000000 */
v1.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v2.i = G_GUINT64_CONSTANT(4629137466983448576); /* 30.000000 */
v3.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v4.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v5.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v7.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v8.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v9.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v11.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v12.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v14.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v15.i = G_GUINT64_CONSTANT(4611686018427387904); /* 2.000000 */
v16.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v17.i = G_GUINT64_CONSTANT(4652007308841189376); /* 1000.000000 */
v19.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v20.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v22.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v24.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v25.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v26.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v27.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v28.i = G_GUINT64_CONSTANT(4710731271397965824); /* 8357000.000000 */
v29.i = G_GUINT64_CONSTANT(4658824280933400576); /* 3004.000000 */
v30.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v31.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v33.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v34.i = G_GUINT64_CONSTANT(4658822081910145024); /* 3003.000000 */
v35.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v37.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v38.i = G_GUINT64_CONSTANT(13931955824604741632); /* -6357000.000000 */
v39.i = G_GUINT64_CONSTANT(4658819882886889472); /* 3002.000000 */
v40.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v42.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v43.i = G_GUINT64_CONSTANT(4658817683863633920); /* 3001.000000 */
v44.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v46.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v48.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v49.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v51.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v52.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v53.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v54.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v56.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v57.i = G_GUINT64_CONSTANT(4709657529573965824); /* 7357000.000000 */
v59.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v60.i = G_GUINT64_CONSTANT(4723801030825869312); /* 63570000.000000 */
v62.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v64.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v66.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v67.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v69.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v70.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v71.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v72.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v73.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v74.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v75.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v76.i = G_GUINT64_CONSTANT(4454720405870426065); /* 0.000000 */
v77.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v78.i = G_GUINT64_CONSTANT(4977561924064720455); /* 5999999999999999899336704.000000 */
v80.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v81.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v82.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v83.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v84.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v85.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v86.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v87.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v88.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v89.i = G_GUINT64_CONSTANT(13890276042591294842); /* -10328.933800 */
v91.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v92.i = G_GUINT64_CONSTANT(13880520861887188785); /* -2242.090867 */
v94.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v95.i = G_GUINT64_CONSTANT(13888466358595734467); /* -7614.568894 */
v97.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v99.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v100.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v101.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v102.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v103.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v104.i = G_GUINT64_CONSTANT(4708691161932365824); /* 6457000.000000 */
v105.i = G_GUINT64_CONSTANT(4656528500654604288); /* 2004.000000 */
v106.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v107.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v109.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v110.i = G_GUINT64_CONSTANT(4656524102608093184); /* 2003.000000 */
v111.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v112.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v114.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v115.i = G_GUINT64_CONSTANT(4656519704561582080); /* 2002.000000 */
v116.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v117.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v119.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v120.i = G_GUINT64_CONSTANT(4656515306515070976); /* 2001.000000 */
v121.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v122.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v124.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v125.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v127.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v128.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v130.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v131.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v133.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v134.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v136.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v138.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v139.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v140.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v141.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v143.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v145.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v146.i = G_GUINT64_CONSTANT(4708583787749965824); /* 6357000.000000 */
v148.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v149.i = G_GUINT64_CONSTANT(4708798536114765824); /* 6557000.000000 */
v151.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v153.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v155.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v157.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v159.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v161.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v162.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v163.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v164.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v165.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v166.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v167.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v168.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v169.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v170.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v171.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v172.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v173.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v174.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v175.i = G_GUINT64_CONSTANT(13887705239773928485); /* -6922.335359 */
v177.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v178.i = G_GUINT64_CONSTANT(13885282996472059492); /* -4719.317909 */
v180.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v181.i = G_GUINT64_CONSTANT(13888686660972151467); /* -7814.932739 */
v183.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v185.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v187.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v189.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v191.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v193.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v194.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v195.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v196.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v197.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v198.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v199.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v200.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v201.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v202.i = G_GUINT64_CONSTANT(4665094321740958659); /* 7614.568894 */
v204.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v206.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v207.i = G_GUINT64_CONSTANT(13865464709352921167); /* -224.209087 */
v209.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v211.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v213.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v214.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v215.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v216.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v217.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v218.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v219.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v220.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v221.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v222.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v223.i = G_GUINT64_CONSTANT(4665380905641176256); /* 7875.215433 */
v225.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v227.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v229.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v231.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v233.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v235.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v237.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v239.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v241.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v242.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v243.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v244.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v245.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v246.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v247.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v248.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v249.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v250.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v251.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v252.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v253.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v254.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v256.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v257.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v259.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v260.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v261.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v262.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v263.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v264.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v265.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v266.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v267.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v268.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v269.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v270.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v271.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v272.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v273.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v274.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v275.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v276.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v277.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v278.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v279.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v280.i = G_GUINT64_CONSTANT(4607182418800017408); /* 1.000000 */
v282.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v284.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v286.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v288.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v290.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v291.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v292.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v293.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v294.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v295.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v296.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v297.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v298.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v299.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v300.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v301.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v302.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v303.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v304.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v305.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v306.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v307.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v308.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v309.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v310.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v311.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v312.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v314.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v316.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v318.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v320.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v322.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v324.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v326.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v328.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v330.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v331.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v333.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v334.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v336.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v337.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v338.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v339.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v340.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v341.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v343.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v345.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v346.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v347.i = G_GUINT64_CONSTANT(4677104761256804352); /* 50000.000000 */
v349.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v350.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v351.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v352.i = G_GUINT64_CONSTANT(4616189618054758400); /* 4.000000 */
v353.i = G_GUINT64_CONSTANT(4627730092099895296); /* 25.000000 */
v354.i = G_GUINT64_CONSTANT(4631530004285489152); /* 45.000000 */
v355.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v356.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v357.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v358.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v359.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v360.i = G_GUINT64_CONSTANT(4651127699538968576); /* 900.000000 */
v361.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v362.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v364.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v365.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v366.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v368.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v369.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v371.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v372.i = G_GUINT64_CONSTANT(4708583787749965824); /* 6357000.000000 */
v373.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v374.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v375.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v376.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v377.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v378.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v379.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v381.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v382.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v389.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v390.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v391.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v392.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v393.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v394.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v395.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v396.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v397.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v398.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v399.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v400.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v401.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v402.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v403.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v404.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v405.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v406.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v407.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v408.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v409.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
v410.i = G_GUINT64_CONSTANT(0); /* 0.000000 */
}
void ovm_step(guint scenario, gdouble *in, gdouble *out) {
v1.d = v410.d;
v4.d = v389.d;
v5.d = v4.d - v3.d;
ovm_status = (v5.d == 0);
v7.d = ovm_status ? v2.d : v1.d;
v8.d = v7.d - v0.d;
v9.d = v408.d;
ovm_status = (v5.d == 0);
v11.d = ovm_status ? v0.d : v9.d;
v12.d = v11.d - v0.d;
ovm_status = (v12.d == 0);
v14.d = ovm_status ? v8.d : v7.d;
v16.d = v409.d;
ovm_status = (v5.d == 0);
v19.d = ovm_status ? v17.d : v16.d;
v20.d = v19.d * v15.d;
ovm_status = (v12.d == 0);
v22.d = ovm_status ? v20.d : v19.d;
ovm_status = (v12.d == 0);
v24.d = ovm_status ? v19.d : v12.d;
v25.d = v406.d;
v26.d = v401.d;
v30.d = scenario;
v31.d = v30.d - v29.d;
ovm_status = (v31.d == 0);
v33.d = ovm_status ? v28.d : v3.d;
v35.d = v30.d - v34.d;
ovm_status = (v35.d == 0);
v37.d = ovm_status ? v27.d : v33.d;
v40.d = v30.d - v39.d;
ovm_status = (v40.d == 0);
v42.d = ovm_status ? v38.d : v37.d;
v44.d = v30.d - v43.d;
ovm_status = (v44.d == 0);
v46.d = ovm_status ? v27.d : v42.d;
ovm_status = (v5.d == 0);
v48.d = ovm_status ? v46.d : v26.d;
v49.d = v391.d;
ovm_status = (v5.d == 0);
v51.d = ovm_status ? v3.d : v49.d;
v52.d = v51.d - v48.d;
v53.d = v52.d * v52.d;
v54.d = v400.d;
ovm_status = (v31.d == 0);
v56.d = ovm_status ? v27.d : v3.d;
ovm_status = (v35.d == 0);
v59.d = ovm_status ? v57.d : v56.d;
ovm_status = (v40.d == 0);
v62.d = ovm_status ? v60.d : v59.d;
ovm_status = (v44.d == 0);
v64.d = ovm_status ? v28.d : v62.d;
ovm_status = (v5.d == 0);
v66.d = ovm_status ? v64.d : v54.d;
v67.d = v390.d;
ovm_status = (v5.d == 0);
v69.d = ovm_status ? v3.d : v67.d;
v70.d = v69.d - v66.d;
v71.d = v70.d * v70.d;
v72.d = v71.d + v53.d;
v73.d = sqrt(v72.d);
v74.d = v73.d * v73.d;
v75.d = v74.d * v73.d;
v77.d = v392.d;
ovm_status = (v5.d == 0);
v80.d = ovm_status ? v78.d : v77.d;
v81.d = v76.d * v80.d;
v82.d = (v75.d == 0) ? 0.0 : v81.d / v75.d;
v83.d = v52.d * v82.d;
v84.d = (v0.d == 0) ? 0.0 : v0.d / v0.d;
v85.d = v84.d * v84.d;
v86.d = (v15.d == 0) ? 0.0 : v85.d / v15.d;
v87.d = v83.d * v86.d;
v88.d = v404.d;
ovm_status = (v35.d == 0);
v91.d = ovm_status ? v89.d : v56.d;
ovm_status = (v40.d == 0);
v94.d = ovm_status ? v92.d : v91.d;
ovm_status = (v44.d == 0);
v97.d = ovm_status ? v95.d : v94.d;
ovm_status = (v5.d == 0);
v99.d = ovm_status ? v97.d : v88.d;
v100.d = v99.d * v84.d;
v101.d = v48.d + v100.d;
v102.d = v101.d + v87.d;
v103.d = v396.d;
v106.d = v105.d + v17.d;
v107.d = v30.d - v106.d;
ovm_status = (v107.d == 0);
v109.d = ovm_status ? v104.d : v3.d;
v111.d = v110.d + v17.d;
v112.d = v30.d - v111.d;
ovm_status = (v112.d == 0);
v114.d = ovm_status ? v27.d : v109.d;
v116.d = v115.d + v17.d;
v117.d = v30.d - v116.d;
ovm_status = (v117.d == 0);
v119.d = ovm_status ? v38.d : v114.d;
v121.d = v120.d + v17.d;
v122.d = v30.d - v121.d;
ovm_status = (v122.d == 0);
v124.d = ovm_status ? v27.d : v119.d;
v125.d = v30.d - v105.d;
ovm_status = (v125.d == 0);
v127.d = ovm_status ? v104.d : v124.d;
v128.d = v30.d - v110.d;
ovm_status = (v128.d == 0);
v130.d = ovm_status ? v27.d : v127.d;
v131.d = v30.d - v115.d;
ovm_status = (v131.d == 0);
v133.d = ovm_status ? v38.d : v130.d;
v134.d = v30.d - v120.d;
ovm_status = (v134.d == 0);
v136.d = ovm_status ? v27.d : v133.d;
ovm_status = (v5.d == 0);
v138.d = ovm_status ? v136.d : v103.d;
v139.d = v51.d - v138.d;
v140.d = v139.d * v139.d;
v141.d = v395.d;
ovm_status = (v107.d == 0);
v143.d = ovm_status ? v27.d : v3.d;
ovm_status = (v112.d == 0);
v145.d = ovm_status ? v28.d : v143.d;
ovm_status = (v117.d == 0);
v148.d = ovm_status ? v146.d : v145.d;
ovm_status = (v122.d == 0);
v151.d = ovm_status ? v149.d : v148.d;
ovm_status = (v125.d == 0);
v153.d = ovm_status ? v27.d : v151.d;
ovm_status = (v128.d == 0);
v155.d = ovm_status ? v28.d : v153.d;
ovm_status = (v131.d == 0);
v157.d = ovm_status ? v146.d : v155.d;
ovm_status = (v134.d == 0);
v159.d = ovm_status ? v149.d : v157.d;
ovm_status = (v5.d == 0);
v161.d = ovm_status ? v159.d : v141.d;
v162.d = v69.d - v161.d;
v163.d = v162.d * v162.d;
v164.d = v163.d + v140.d;
v165.d = sqrt(v164.d);
v166.d = v165.d * v165.d;
v167.d = v166.d * v165.d;
v168.d = (v167.d == 0) ? 0.0 : v81.d / v167.d;
v169.d = v139.d * v168.d;
v170.d = in[3];
v171.d = (v84.d == 0) ? 0.0 : v170.d / v84.d;
v172.d = v171.d + v169.d;
v173.d = v172.d * v86.d;
v174.d = v399.d;
ovm_status = (v112.d == 0);
v177.d = ovm_status ? v175.d : v143.d;
ovm_status = (v117.d == 0);
v180.d = ovm_status ? v178.d : v177.d;
ovm_status = (v122.d == 0);
v183.d = ovm_status ? v181.d : v180.d;
ovm_status = (v125.d == 0);
v185.d = ovm_status ? v27.d : v183.d;
ovm_status = (v128.d == 0);
v187.d = ovm_status ? v175.d : v185.d;
ovm_status = (v131.d == 0);
v189.d = ovm_status ? v178.d : v187.d;
ovm_status = (v134.d == 0);
v191.d = ovm_status ? v181.d : v189.d;
ovm_status = (v5.d == 0);
v193.d = ovm_status ? v191.d : v174.d;
v194.d = v193.d * v84.d;
v195.d = v138.d + v194.d;
v196.d = v195.d + v173.d;
v197.d = v196.d - v102.d;
v198.d = v197.d * v197.d;
v199.d = v70.d * v82.d;
v200.d = v199.d * v86.d;
v201.d = v403.d;
ovm_status = (v31.d == 0);
v204.d = ovm_status ? v202.d : v3.d;
ovm_status = (v35.d == 0);
v206.d = ovm_status ? v27.d : v204.d;
ovm_status = (v40.d == 0);
v209.d = ovm_status ? v207.d : v206.d;
ovm_status = (v44.d == 0);
v211.d = ovm_status ? v27.d : v209.d;
ovm_status = (v5.d == 0);
v213.d = ovm_status ? v211.d : v201.d;
v214.d = v213.d * v84.d;
v215.d = v66.d + v214.d;
v216.d = v215.d + v200.d;
v217.d = v162.d * v168.d;
v218.d = in[2];
v219.d = (v84.d == 0) ? 0.0 : v218.d / v84.d;
v220.d = v219.d + v217.d;
v221.d = v220.d * v86.d;
v222.d = v398.d;
ovm_status = (v107.d == 0);
v225.d = ovm_status ? v223.d : v3.d;
ovm_status = (v112.d == 0);
v227.d = ovm_status ? v27.d : v225.d;
ovm_status = (v117.d == 0);
v229.d = ovm_status ? v178.d : v227.d;
ovm_status = (v122.d == 0);
v231.d = ovm_status ? v27.d : v229.d;
ovm_status = (v125.d == 0);
v233.d = ovm_status ? v223.d : v231.d;
ovm_status = (v128.d == 0);
v235.d = ovm_status ? v27.d : v233.d;
ovm_status = (v131.d == 0);
v237.d = ovm_status ? v178.d : v235.d;
ovm_status = (v134.d == 0);
v239.d = ovm_status ? v27.d : v237.d;
ovm_status = (v5.d == 0);
v241.d = ovm_status ? v239.d : v222.d;
v242.d = v241.d * v84.d;
v243.d = v161.d + v242.d;
v244.d = v243.d + v221.d;
v245.d = v244.d - v216.d;
v246.d = v245.d * v245.d;
v247.d = v246.d + v198.d;
v248.d = sqrt(v247.d);
v249.d = v25.d + v248.d;
v250.d = v171.d * v171.d;
v251.d = v219.d * v219.d;
v252.d = v251.d + v250.d;
v253.d = sqrt(v252.d);
v254.d = v253.d - v3.d;
ovm_status = (v254.d == 0);
v256.d = ovm_status ? v249.d : v3.d;
v257.d = v248.d - v17.d;
ovm_status = (v257.d < 0);
v259.d = ovm_status ? v256.d : v3.d;
v260.d = v51.d - v102.d;
v261.d = v260.d * v260.d;
v262.d = v69.d - v216.d;
v263.d = v262.d * v262.d;
v264.d = v263.d + v261.d;
v265.d = sqrt(v264.d);
v266.d = v265.d * v265.d;
v267.d = v266.d * v265.d;
v268.d = (v267.d == 0) ? 0.0 : v81.d / v267.d;
v269.d = v260.d * v268.d;
v270.d = v269.d + v83.d;
v271.d = (v15.d == 0) ? 0.0 : v270.d / v15.d;
v272.d = v271.d * v84.d;
v273.d = v99.d + v272.d;
v274.d = v262.d * v268.d;
v275.d = v274.d + v199.d;
v276.d = (v15.d == 0) ? 0.0 : v275.d / v15.d;
v277.d = v276.d * v84.d;
v278.d = v213.d + v277.d;
v279.d = v402.d;
ovm_status = (v31.d == 0);
v282.d = ovm_status ? v280.d : v3.d;
ovm_status = (v35.d == 0);
v284.d = ovm_status ? v280.d : v282.d;
ovm_status = (v40.d == 0);
v286.d = ovm_status ? v280.d : v284.d;
ovm_status = (v44.d == 0);
v288.d = ovm_status ? v280.d : v286.d;
ovm_status = (v5.d == 0);
v290.d = ovm_status ? v288.d : v279.d;
v291.d = v51.d - v196.d;
v292.d = v291.d * v291.d;
v293.d = v69.d - v244.d;
v294.d = v293.d * v293.d;
v295.d = v294.d + v292.d;
v296.d = sqrt(v295.d);
v297.d = v296.d * v296.d;
v298.d = v297.d * v296.d;
v299.d = (v298.d == 0) ? 0.0 : v81.d / v298.d;
v300.d = v291.d * v299.d;
v301.d = v300.d + v169.d;
v302.d = (v15.d == 0) ? 0.0 : v301.d / v15.d;
v303.d = v171.d + v302.d;
v304.d = v303.d * v84.d;
v305.d = v193.d + v304.d;
v306.d = v293.d * v299.d;
v307.d = v306.d + v217.d;
v308.d = (v15.d == 0) ? 0.0 : v307.d / v15.d;
v309.d = v219.d + v308.d;
v310.d = v309.d * v84.d;
v311.d = v241.d + v310.d;
v312.d = v397.d;
ovm_status = (v107.d == 0);
v314.d = ovm_status ? v280.d : v3.d;
ovm_status = (v112.d == 0);
v316.d = ovm_status ? v280.d : v314.d;
ovm_status = (v117.d == 0);
v318.d = ovm_status ? v280.d : v316.d;
ovm_status = (v122.d == 0);
v320.d = ovm_status ? v280.d : v318.d;
ovm_status = (v125.d == 0);
v322.d = ovm_status ? v280.d : v320.d;
ovm_status = (v128.d == 0);
v324.d = ovm_status ? v280.d : v322.d;
ovm_status = (v131.d == 0);
v326.d = ovm_status ? v280.d : v324.d;
ovm_status = (v134.d == 0);
v328.d = ovm_status ? v280.d : v326.d;
ovm_status = (v5.d == 0);
v330.d = ovm_status ? v328.d : v312.d;
v331.d = v394.d;
ovm_status = (v5.d == 0);
v333.d = ovm_status ? v3.d : v331.d;
v334.d = v393.d;
ovm_status = (v5.d == 0);
v336.d = ovm_status ? v3.d : v334.d;
v337.d = v4.d + v0.d;
v338.d = v102.d - v196.d;
v339.d = v216.d - v244.d;
v340.d = v405.d;
v341.d = v340.d + v0.d;
ovm_status = (v254.d == 0);
v343.d = ovm_status ? v341.d : v3.d;
ovm_status = (v257.d < 0);
v345.d = ovm_status ? v343.d : v3.d;
v346.d = v407.d;
ovm_status = (v5.d == 0);
v349.d = ovm_status ? v347.d : v346.d;
v350.d = v253.d * v84.d;
v351.d = v349.d - v350.d;
v355.d = (v347.d == 0) ? 0.0 : v351.d / v347.d;
v356.d = v355.d * v354.d;
v357.d = v7.d + v356.d;
v358.d = v357.d + v353.d;
v359.d = v358.d * v352.d;
v361.d = (v84.d == 0) ? 0.0 : v360.d / v84.d;
v362.d = v361.d - v345.d;
ovm_status = (v362.d < 0);
v364.d = ovm_status ? v359.d : v3.d;
v365.d = v351.d - v3.d;
v366.d = v382.d - v0.d;
ovm_status = (v365.d < 0);
v368.d = ovm_status ? v366.d : v364.d;
v369.d = v347.d - v350.d;
ovm_status = (v369.d < 0);
v371.d = ovm_status ? v366.d : v368.d;
v373.d = v196.d - v51.d;
v374.d = v373.d * v373.d;
v375.d = v244.d - v69.d;
v376.d = v375.d * v375.d;
v377.d = v376.d + v374.d;
v378.d = sqrt(v377.d);
v379.d = v378.d - v372.d;
ovm_status = (v379.d < 0);
v381.d = ovm_status ? v366.d : v371.d;
out[0] = v381.d;
out[1] = v351.d;
out[2] = v293.d;
out[3] = v291.d;
out[4] = v339.d;
out[5] = v338.d;
v389.d = v337.d;
v390.d = v69.d;
v391.d = v51.d;
v392.d = v80.d;
v393.d = v336.d;
v394.d = v333.d;
v395.d = v244.d;
v396.d = v196.d;
v397.d = v330.d;
v398.d = v311.d;
v399.d = v305.d;
v400.d = v216.d;
v401.d = v102.d;
v402.d = v290.d;
v403.d = v278.d;
v404.d = v273.d;
v405.d = v345.d;
v406.d = v259.d;
v407.d = v351.d;
v408.d = v24.d;
v409.d = v22.d;
v410.d = v14.d;
}

3730
task/bin4.c Normal file
View File

File diff suppressed because one or more lines are too long