g3 0 1 0 # problem autocorr_bern30-04 31 1 1 0 0 # vars, constraints, objectives, ranges, eqns 1 0 # nonlinear constraints, objectives 0 0 # network constraints: nonlinear, linear 30 0 0 # nonlinear vars in constraints, objectives, both 0 0 0 1 # linear network variables; functions; arith, flags 0 0 0 30 0 # discrete variables: binary, integer, nonlinear (b,c,o) 31 1 # nonzeros in Jacobian, gradients 3 6 # max name lengths: constraints, variables 0 0 0 0 0 # common exprs: b,c,o,c1,o1 b 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 3 r 1 0 C0 o54 223 o2 o2 o2 o2 n64 v0 v1 v2 v3 o2 o2 o2 o2 n64 v1 v2 v3 v4 o2 o2 o2 o2 n64 v2 v3 v4 v5 o2 o2 o2 o2 n64 v3 v4 v5 v6 o2 o2 o2 o2 n64 v4 v5 v6 v7 o2 o2 o2 o2 n64 v5 v6 v7 v8 o2 o2 o2 o2 n64 v6 v7 v8 v9 o2 o2 o2 o2 n64 v7 v8 v9 v10 o2 o2 o2 o2 n64 v8 v9 v10 v11 o2 o2 o2 o2 n64 v9 v10 v11 v12 o2 o2 o2 o2 n64 v10 v11 v12 v13 o2 o2 o2 o2 n64 v11 v12 v13 v14 o2 o2 o2 o2 n64 v12 v13 v14 v15 o2 o2 o2 o2 n64 v13 v14 v15 v16 o2 o2 o2 o2 n64 v14 v15 v16 v17 o2 o2 o2 o2 n64 v15 v16 v17 v18 o2 o2 o2 o2 n64 v16 v17 v18 v19 o2 o2 o2 o2 n64 v17 v18 v19 v20 o2 o2 o2 o2 n64 v18 v19 v20 v21 o2 o2 o2 o2 n64 v19 v20 v21 v22 o2 o2 o2 o2 n64 v20 v21 v22 v23 o2 o2 o2 o2 n64 v21 v22 v23 v24 o2 o2 o2 o2 n64 v22 v23 v24 v25 o2 o2 o2 o2 n64 v23 v24 v25 v26 o2 o2 o2 o2 n64 v24 v25 v26 v27 o2 o2 o2 o2 n64 v25 v26 v27 v28 o2 o2 o2 o2 n64 v26 v27 v28 v29 o16 o2 o2 o2 n32 v0 v1 v2 o16 o2 o2 o2 n32 v0 v1 v3 o16 o2 o2 o2 n32 v0 v2 v3 o16 o2 o2 o2 n64 v1 v2 v3 o16 o2 o2 o2 n32 v1 v2 v4 o16 o2 o2 o2 n32 v1 v3 v4 o16 o2 o2 o2 n64 v2 v3 v4 o16 o2 o2 o2 n32 v2 v3 v5 o16 o2 o2 o2 n32 v2 v4 v5 o16 o2 o2 o2 n64 v3 v4 v5 o16 o2 o2 o2 n32 v3 v4 v6 o16 o2 o2 o2 n32 v3 v5 v6 o16 o2 o2 o2 n64 v4 v5 v6 o16 o2 o2 o2 n32 v4 v5 v7 o16 o2 o2 o2 n32 v4 v6 v7 o16 o2 o2 o2 n64 v5 v6 v7 o16 o2 o2 o2 n32 v5 v6 v8 o16 o2 o2 o2 n32 v5 v7 v8 o16 o2 o2 o2 n64 v6 v7 v8 o16 o2 o2 o2 n32 v6 v7 v9 o16 o2 o2 o2 n32 v6 v8 v9 o16 o2 o2 o2 n64 v7 v8 v9 o16 o2 o2 o2 n32 v7 v8 v10 o16 o2 o2 o2 n32 v7 v9 v10 o16 o2 o2 o2 n64 v8 v9 v10 o16 o2 o2 o2 n32 v8 v9 v11 o16 o2 o2 o2 n32 v8 v10 v11 o16 o2 o2 o2 n64 v9 v10 v11 o16 o2 o2 o2 n32 v9 v10 v12 o16 o2 o2 o2 n32 v9 v11 v12 o16 o2 o2 o2 n64 v10 v11 v12 o16 o2 o2 o2 n32 v10 v11 v13 o16 o2 o2 o2 n32 v10 v12 v13 o16 o2 o2 o2 n64 v11 v12 v13 o16 o2 o2 o2 n32 v11 v12 v14 o16 o2 o2 o2 n32 v11 v13 v14 o16 o2 o2 o2 n64 v12 v13 v14 o16 o2 o2 o2 n32 v12 v13 v15 o16 o2 o2 o2 n32 v12 v14 v15 o16 o2 o2 o2 n64 v13 v14 v15 o16 o2 o2 o2 n32 v13 v14 v16 o16 o2 o2 o2 n32 v13 v15 v16 o16 o2 o2 o2 n64 v14 v15 v16 o16 o2 o2 o2 n32 v14 v15 v17 o16 o2 o2 o2 n32 v14 v16 v17 o16 o2 o2 o2 n64 v15 v16 v17 o16 o2 o2 o2 n32 v15 v16 v18 o16 o2 o2 o2 n32 v15 v17 v18 o16 o2 o2 o2 n64 v16 v17 v18 o16 o2 o2 o2 n32 v16 v17 v19 o16 o2 o2 o2 n32 v16 v18 v19 o16 o2 o2 o2 n64 v17 v18 v19 o16 o2 o2 o2 n32 v17 v18 v20 o16 o2 o2 o2 n32 v17 v19 v20 o16 o2 o2 o2 n64 v18 v19 v20 o16 o2 o2 o2 n32 v18 v19 v21 o16 o2 o2 o2 n32 v18 v20 v21 o16 o2 o2 o2 n64 v19 v20 v21 o16 o2 o2 o2 n32 v19 v20 v22 o16 o2 o2 o2 n32 v19 v21 v22 o16 o2 o2 o2 n64 v20 v21 v22 o16 o2 o2 o2 n32 v20 v21 v23 o16 o2 o2 o2 n32 v20 v22 v23 o16 o2 o2 o2 n64 v21 v22 v23 o16 o2 o2 o2 n32 v21 v22 v24 o16 o2 o2 o2 n32 v21 v23 v24 o16 o2 o2 o2 n64 v22 v23 v24 o16 o2 o2 o2 n32 v22 v23 v25 o16 o2 o2 o2 n32 v22 v24 v25 o16 o2 o2 o2 n64 v23 v24 v25 o16 o2 o2 o2 n32 v23 v24 v26 o16 o2 o2 o2 n32 v23 v25 v26 o16 o2 o2 o2 n64 v24 v25 v26 o16 o2 o2 o2 n32 v24 v25 v27 o16 o2 o2 o2 n32 v24 v26 v27 o16 o2 o2 o2 n64 v25 v26 v27 o16 o2 o2 o2 n32 v25 v26 v28 o16 o2 o2 o2 n32 v25 v27 v28 o16 o2 o2 o2 n64 v26 v27 v28 o16 o2 o2 o2 n32 v26 v27 v29 o16 o2 o2 o2 n32 v26 v28 v29 o16 o2 o2 o2 n32 v27 v28 v29 o2 o2 n16 v0 v1 o2 o2 n24 v0 v2 o2 o2 n16 v0 v3 o2 o2 n32 v1 v2 o2 o2 n48 v1 v3 o2 o2 n16 v1 v4 o2 o2 n48 v2 v3 o2 o2 n48 v2 v4 o2 o2 n16 v2 v5 o2 o2 n48 v3 v4 o2 o2 n48 v3 v5 o2 o2 n16 v3 v6 o2 o2 n48 v4 v5 o2 o2 n48 v4 v6 o2 o2 n16 v4 v7 o2 o2 n48 v5 v6 o2 o2 n48 v5 v7 o2 o2 n16 v5 v8 o2 o2 n48 v6 v7 o2 o2 n48 v6 v8 o2 o2 n16 v6 v9 o2 o2 n48 v7 v8 o2 o2 n48 v7 v9 o2 o2 n16 v7 v10 o2 o2 n48 v8 v9 o2 o2 n48 v8 v10 o2 o2 n16 v8 v11 o2 o2 n48 v9 v10 o2 o2 n48 v9 v11 o2 o2 n16 v9 v12 o2 o2 n48 v10 v11 o2 o2 n48 v10 v12 o2 o2 n16 v10 v13 o2 o2 n48 v11 v12 o2 o2 n48 v11 v13 o2 o2 n16 v11 v14 o2 o2 n48 v12 v13 o2 o2 n48 v12 v14 o2 o2 n16 v12 v15 o2 o2 n48 v13 v14 o2 o2 n48 v13 v15 o2 o2 n16 v13 v16 o2 o2 n48 v14 v15 o2 o2 n48 v14 v16 o2 o2 n16 v14 v17 o2 o2 n48 v15 v16 o2 o2 n48 v15 v17 o2 o2 n16 v15 v18 o2 o2 n48 v16 v17 o2 o2 n48 v16 v18 o2 o2 n16 v16 v19 o2 o2 n48 v17 v18 o2 o2 n48 v17 v19 o2 o2 n16 v17 v20 o2 o2 n48 v18 v19 o2 o2 n48 v18 v20 o2 o2 n16 v18 v21 o2 o2 n48 v19 v20 o2 o2 n48 v19 v21 o2 o2 n16 v19 v22 o2 o2 n48 v20 v21 o2 o2 n48 v20 v22 o2 o2 n16 v20 v23 o2 o2 n48 v21 v22 o2 o2 n48 v21 v23 o2 o2 n16 v21 v24 o2 o2 n48 v22 v23 o2 o2 n48 v22 v24 o2 o2 n16 v22 v25 o2 o2 n48 v23 v24 o2 o2 n48 v23 v25 o2 o2 n16 v23 v26 o2 o2 n48 v24 v25 o2 o2 n48 v24 v26 o2 o2 n16 v24 v27 o2 o2 n48 v25 v26 o2 o2 n48 v25 v27 o2 o2 n16 v25 v28 o2 o2 n48 v26 v27 o2 o2 n48 v26 v28 o2 o2 n16 v26 v29 o2 o2 n32 v27 v28 o2 o2 n24 v27 v29 o2 o2 n16 v28 v29 o2 n-12 v0 o2 n-24 v1 o2 n-36 v2 o2 n-48 v3 o2 n-48 v4 o2 n-48 v5 o2 n-48 v6 o2 n-48 v7 o2 n-48 v8 o2 n-48 v9 o2 n-48 v10 o2 n-48 v11 o2 n-48 v12 o2 n-48 v13 o2 n-48 v14 o2 n-48 v15 o2 n-48 v16 o2 n-48 v17 o2 n-48 v18 o2 n-48 v19 o2 n-48 v20 o2 n-48 v21 o2 n-48 v22 o2 n-48 v23 o2 n-48 v24 o2 n-48 v25 o2 n-48 v26 o2 n-36 v27 o2 n-24 v28 o2 n-12 v29 O0 0 n0 k30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 J0 31 0 0 1 0 2 0 3 0 4 0 5 0 6 0 7 0 8 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 18 0 19 0 20 0 21 0 22 0 23 0 24 0 25 0 26 0 27 0 28 0 29 0 30 -1 G0 1 30 1