{"name": "main", "code": "int __cdecl main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { unsigned int @@v4@@ ; __int64 @@v5@@ [ Number ] ; int @@v6@@ ; int @@v7@@ ; int @@v8@@ ; int @@v9@@ ; int @@v10@@ ; int @@v11@@ ; int @@v12@@ ; int @@v13@@ ; int @@v14@@ ; int @@v15@@ ; int @@v16@@ ; int @@v17@@ ; int @@v18@@ ; int @@v19@@ ; int @@v20@@ ; int @@v21@@ ; int @@v22@@ ; int @@v23@@ ; int @@v24@@ ; int @@v25@@ ; int @@v26@@ ; int @@v27@@ ; int @@v28@@ ; int @@v29@@ ; int @@v30@@ ; int @@v31@@ ; int @@v32@@ ; int @@v33@@ ; int @@v34@@ ; int @@v35@@ ; unsigned int @@v36@@ ; unsigned int @@i@@ ; @@v25@@ = Number ; @@v26@@ = Number ; @@v27@@ = Number ; @@v28@@ = Number ; @@v29@@ = Number ; @@v30@@ = Number ; @@v31@@ = Number ; @@v32@@ = Number ; @@v33@@ = Number ; @@v34@@ = Number ; @@v35@@ = Number ; @@v6@@ = Number ; @@v7@@ = Number ; @@v8@@ = Number ; @@v9@@ = Number ; @@v10@@ = Number ; @@v11@@ = Number ; @@v12@@ = Number ; @@v13@@ = Number ; @@v14@@ = Number ; @@v15@@ = Number ; @@v16@@ = Number ; @@v17@@ = Number ; @@v18@@ = Number ; @@v19@@ = Number ; @@v20@@ = Number ; @@v21@@ = Number ; @@v22@@ = Number ; @@v23@@ = Number ; @@v24@@ = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; @@v5@@ [ Number ] = Number ; ldl_symbolic ( ) ; printf ( String , @@v4@@ ) ; @@v36@@ = ldl_numeric ( ) ; if ( @@v36@@ == Number ) { ldl_lsolve ( ) ; ldl_dsolve ( ) ; ldl_ltsolve ( ) ; for ( @@i@@ = Number ; ( int ) @@i@@ <= Number ; ++ @@i@@ ) printf ( String , @@i@@ , * ( double * ) & @@v5@@ [ @@i@@ ] ) ; } else { printf ( String , @@v36@@ , @@v36@@ ) ; } return Number ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "v17", "t": {"T": 1, "n": "int", "s": 4}, "location": "s100"}, {"n": "v16", "t": {"T": 1, "n": "int", "s": 4}, "location": "s104"}, {"n": "v15", "t": {"T": 1, "n": "int", "s": 4}, "location": "s108"}, {"n": "v14", "t": {"T": 1, "n": "int", "s": 4}, "location": "s112"}, {"n": "v13", "t": {"T": 1, "n": "int", "s": 4}, "location": "s116"}, {"n": "v12", "t": {"T": 1, "n": "int", "s": 4}, "location": "s120"}, {"n": "v11", "t": {"T": 1, "n": "int", "s": 4}, "location": "s124"}, {"n": "v10", "t": {"T": 1, "n": "int", "s": 4}, "location": "s128"}, {"n": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s132"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s136"}, {"n": "v7", "t": {"T": 1, "n": "int", "s": 4}, "location": "s140"}, {"n": "v6", "t": {"T": 1, "n": "int", "s": 4}, "location": "s144"}, {"n": "v35", "t": {"T": 1, "n": "int", "s": 4}, "location": "s24"}, {"n": "v34", "t": {"T": 1, "n": "int", "s": 4}, "location": "s28"}, {"n": "v33", "t": {"T": 1, "n": "int", "s": 4}, "location": "s32"}, {"n": "v32", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "v5", "t": {"T": 2, "n": 30, "s": 8, "t": "__int64"}, "location": "s384"}, {"n": "i", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}, {"n": "v31", "t": {"T": 1, "n": "int", "s": 4}, "location": "s40"}, {"n": "v30", "t": {"T": 1, "n": "int", "s": 4}, "location": "s44"}, {"n": "v29", "t": {"T": 1, "n": "int", "s": 4}, "location": "s48"}, {"n": "v28", "t": {"T": 1, "n": "int", "s": 4}, "location": "s52"}, {"n": "v27", "t": {"T": 1, "n": "int", "s": 4}, "location": "s56"}, {"n": "v26", "t": {"T": 1, "n": "int", "s": 4}, "location": "s60"}, {"n": "v25", "t": {"T": 1, "n": "int", "s": 4}, "location": "s64"}, {"n": "v24", "t": {"T": 1, "n": "int", "s": 4}, "location": "s72"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s728"}, {"n": "v23", "t": {"T": 1, "n": "int", "s": 4}, "location": "s76"}, {"n": "v36", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s8"}, {"n": "v22", "t": {"T": 1, "n": "int", "s": 4}, "location": "s80"}, {"n": "v21", "t": {"T": 1, "n": "int", "s": 4}, "location": "s84"}, {"n": "v20", "t": {"T": 1, "n": "int", "s": 4}, "location": "s88"}, {"n": "v19", "t": {"T": 1, "n": "int", "s": 4}, "location": "s92"}, {"n": "v18", "t": {"T": 1, "n": "int", "s": 4}, "location": "s96"}]}