g3 0 1 0 # problem autocorr_bern40-05 41 1 1 0 0 # vars, constraints, objectives, ranges, eqns 1 0 # nonlinear constraints, objectives 0 0 # network constraints: nonlinear, linear 40 0 0 # nonlinear vars in constraints, objectives, both 0 0 0 1 # linear network variables; functions; arith, flags 0 0 0 40 0 # discrete variables: binary, integer, nonlinear (b,c,o) 41 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 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 447 o2 o2 o2 o2 n64 v0 v1 v2 v3 o2 o2 o2 o2 n64 v0 v1 v3 v4 o2 o2 o2 o2 n128 v1 v2 v3 v4 o2 o2 o2 o2 n64 v1 v2 v4 v5 o2 o2 o2 o2 n128 v2 v3 v4 v5 o2 o2 o2 o2 n64 v2 v3 v5 v6 o2 o2 o2 o2 n128 v3 v4 v5 v6 o2 o2 o2 o2 n64 v3 v4 v6 v7 o2 o2 o2 o2 n128 v4 v5 v6 v7 o2 o2 o2 o2 n64 v4 v5 v7 v8 o2 o2 o2 o2 n128 v5 v6 v7 v8 o2 o2 o2 o2 n64 v5 v6 v8 v9 o2 o2 o2 o2 n128 v6 v7 v8 v9 o2 o2 o2 o2 n64 v6 v7 v9 v10 o2 o2 o2 o2 n128 v7 v8 v9 v10 o2 o2 o2 o2 n64 v7 v8 v10 v11 o2 o2 o2 o2 n128 v8 v9 v10 v11 o2 o2 o2 o2 n64 v8 v9 v11 v12 o2 o2 o2 o2 n128 v9 v10 v11 v12 o2 o2 o2 o2 n64 v9 v10 v12 v13 o2 o2 o2 o2 n128 v10 v11 v12 v13 o2 o2 o2 o2 n64 v10 v11 v13 v14 o2 o2 o2 o2 n128 v11 v12 v13 v14 o2 o2 o2 o2 n64 v11 v12 v14 v15 o2 o2 o2 o2 n128 v12 v13 v14 v15 o2 o2 o2 o2 n64 v12 v13 v15 v16 o2 o2 o2 o2 n128 v13 v14 v15 v16 o2 o2 o2 o2 n64 v13 v14 v16 v17 o2 o2 o2 o2 n128 v14 v15 v16 v17 o2 o2 o2 o2 n64 v14 v15 v17 v18 o2 o2 o2 o2 n128 v15 v16 v17 v18 o2 o2 o2 o2 n64 v15 v16 v18 v19 o2 o2 o2 o2 n128 v16 v17 v18 v19 o2 o2 o2 o2 n64 v16 v17 v19 v20 o2 o2 o2 o2 n128 v17 v18 v19 v20 o2 o2 o2 o2 n64 v17 v18 v20 v21 o2 o2 o2 o2 n128 v18 v19 v20 v21 o2 o2 o2 o2 n64 v18 v19 v21 v22 o2 o2 o2 o2 n128 v19 v20 v21 v22 o2 o2 o2 o2 n64 v19 v20 v22 v23 o2 o2 o2 o2 n128 v20 v21 v22 v23 o2 o2 o2 o2 n64 v20 v21 v23 v24 o2 o2 o2 o2 n128 v21 v22 v23 v24 o2 o2 o2 o2 n64 v21 v22 v24 v25 o2 o2 o2 o2 n128 v22 v23 v24 v25 o2 o2 o2 o2 n64 v22 v23 v25 v26 o2 o2 o2 o2 n128 v23 v24 v25 v26 o2 o2 o2 o2 n64 v23 v24 v26 v27 o2 o2 o2 o2 n128 v24 v25 v26 v27 o2 o2 o2 o2 n64 v24 v25 v27 v28 o2 o2 o2 o2 n128 v25 v26 v27 v28 o2 o2 o2 o2 n64 v25 v26 v28 v29 o2 o2 o2 o2 n128 v26 v27 v28 v29 o2 o2 o2 o2 n64 v26 v27 v29 v30 o2 o2 o2 o2 n128 v27 v28 v29 v30 o2 o2 o2 o2 n64 v27 v28 v30 v31 o2 o2 o2 o2 n128 v28 v29 v30 v31 o2 o2 o2 o2 n64 v28 v29 v31 v32 o2 o2 o2 o2 n128 v29 v30 v31 v32 o2 o2 o2 o2 n64 v29 v30 v32 v33 o2 o2 o2 o2 n128 v30 v31 v32 v33 o2 o2 o2 o2 n64 v30 v31 v33 v34 o2 o2 o2 o2 n128 v31 v32 v33 v34 o2 o2 o2 o2 n64 v31 v32 v34 v35 o2 o2 o2 o2 n128 v32 v33 v34 v35 o2 o2 o2 o2 n64 v32 v33 v35 v36 o2 o2 o2 o2 n128 v33 v34 v35 v36 o2 o2 o2 o2 n64 v33 v34 v36 v37 o2 o2 o2 o2 n128 v34 v35 v36 v37 o2 o2 o2 o2 n64 v34 v35 v37 v38 o2 o2 o2 o2 n128 v35 v36 v37 v38 o2 o2 o2 o2 n64 v35 v36 v38 v39 o2 o2 o2 o2 n64 v36 v37 v38 v39 o16 o2 o2 o2 n32 v0 v1 v2 o16 o2 o2 o2 n64 v0 v1 v3 o16 o2 o2 o2 n32 v0 v1 v4 o16 o2 o2 o2 n32 v0 v2 v3 o16 o2 o2 o2 n32 v0 v3 v4 o16 o2 o2 o2 n96 v1 v2 v3 o16 o2 o2 o2 n96 v1 v2 v4 o16 o2 o2 o2 n32 v1 v2 v5 o16 o2 o2 o2 n96 v1 v3 v4 o16 o2 o2 o2 n32 v1 v4 v5 o16 o2 o2 o2 n128 v2 v3 v4 o16 o2 o2 o2 n96 v2 v3 v5 o16 o2 o2 o2 n32 v2 v3 v6 o16 o2 o2 o2 n96 v2 v4 v5 o16 o2 o2 o2 n32 v2 v5 v6 o16 o2 o2 o2 n128 v3 v4 v5 o16 o2 o2 o2 n96 v3 v4 v6 o16 o2 o2 o2 n32 v3 v4 v7 o16 o2 o2 o2 n96 v3 v5 v6 o16 o2 o2 o2 n32 v3 v6 v7 o16 o2 o2 o2 n128 v4 v5 v6 o16 o2 o2 o2 n96 v4 v5 v7 o16 o2 o2 o2 n32 v4 v5 v8 o16 o2 o2 o2 n96 v4 v6 v7 o16 o2 o2 o2 n32 v4 v7 v8 o16 o2 o2 o2 n128 v5 v6 v7 o16 o2 o2 o2 n96 v5 v6 v8 o16 o2 o2 o2 n32 v5 v6 v9 o16 o2 o2 o2 n96 v5 v7 v8 o16 o2 o2 o2 n32 v5 v8 v9 o16 o2 o2 o2 n128 v6 v7 v8 o16 o2 o2 o2 n96 v6 v7 v9 o16 o2 o2 o2 n32 v6 v7 v10 o16 o2 o2 o2 n96 v6 v8 v9 o16 o2 o2 o2 n32 v6 v9 v10 o16 o2 o2 o2 n128 v7 v8 v9 o16 o2 o2 o2 n96 v7 v8 v10 o16 o2 o2 o2 n32 v7 v8 v11 o16 o2 o2 o2 n96 v7 v9 v10 o16 o2 o2 o2 n32 v7 v10 v11 o16 o2 o2 o2 n128 v8 v9 v10 o16 o2 o2 o2 n96 v8 v9 v11 o16 o2 o2 o2 n32 v8 v9 v12 o16 o2 o2 o2 n96 v8 v10 v11 o16 o2 o2 o2 n32 v8 v11 v12 o16 o2 o2 o2 n128 v9 v10 v11 o16 o2 o2 o2 n96 v9 v10 v12 o16 o2 o2 o2 n32 v9 v10 v13 o16 o2 o2 o2 n96 v9 v11 v12 o16 o2 o2 o2 n32 v9 v12 v13 o16 o2 o2 o2 n128 v10 v11 v12 o16 o2 o2 o2 n96 v10 v11 v13 o16 o2 o2 o2 n32 v10 v11 v14 o16 o2 o2 o2 n96 v10 v12 v13 o16 o2 o2 o2 n32 v10 v13 v14 o16 o2 o2 o2 n128 v11 v12 v13 o16 o2 o2 o2 n96 v11 v12 v14 o16 o2 o2 o2 n32 v11 v12 v15 o16 o2 o2 o2 n96 v11 v13 v14 o16 o2 o2 o2 n32 v11 v14 v15 o16 o2 o2 o2 n128 v12 v13 v14 o16 o2 o2 o2 n96 v12 v13 v15 o16 o2 o2 o2 n32 v12 v13 v16 o16 o2 o2 o2 n96 v12 v14 v15 o16 o2 o2 o2 n32 v12 v15 v16 o16 o2 o2 o2 n128 v13 v14 v15 o16 o2 o2 o2 n96 v13 v14 v16 o16 o2 o2 o2 n32 v13 v14 v17 o16 o2 o2 o2 n96 v13 v15 v16 o16 o2 o2 o2 n32 v13 v16 v17 o16 o2 o2 o2 n128 v14 v15 v16 o16 o2 o2 o2 n96 v14 v15 v17 o16 o2 o2 o2 n32 v14 v15 v18 o16 o2 o2 o2 n96 v14 v16 v17 o16 o2 o2 o2 n32 v14 v17 v18 o16 o2 o2 o2 n128 v15 v16 v17 o16 o2 o2 o2 n96 v15 v16 v18 o16 o2 o2 o2 n32 v15 v16 v19 o16 o2 o2 o2 n96 v15 v17 v18 o16 o2 o2 o2 n32 v15 v18 v19 o16 o2 o2 o2 n128 v16 v17 v18 o16 o2 o2 o2 n96 v16 v17 v19 o16 o2 o2 o2 n32 v16 v17 v20 o16 o2 o2 o2 n96 v16 v18 v19 o16 o2 o2 o2 n32 v16 v19 v20 o16 o2 o2 o2 n128 v17 v18 v19 o16 o2 o2 o2 n96 v17 v18 v20 o16 o2 o2 o2 n32 v17 v18 v21 o16 o2 o2 o2 n96 v17 v19 v20 o16 o2 o2 o2 n32 v17 v20 v21 o16 o2 o2 o2 n128 v18 v19 v20 o16 o2 o2 o2 n96 v18 v19 v21 o16 o2 o2 o2 n32 v18 v19 v22 o16 o2 o2 o2 n96 v18 v20 v21 o16 o2 o2 o2 n32 v18 v21 v22 o16 o2 o2 o2 n128 v19 v20 v21 o16 o2 o2 o2 n96 v19 v20 v22 o16 o2 o2 o2 n32 v19 v20 v23 o16 o2 o2 o2 n96 v19 v21 v22 o16 o2 o2 o2 n32 v19 v22 v23 o16 o2 o2 o2 n128 v20 v21 v22 o16 o2 o2 o2 n96 v20 v21 v23 o16 o2 o2 o2 n32 v20 v21 v24 o16 o2 o2 o2 n96 v20 v22 v23 o16 o2 o2 o2 n32 v20 v23 v24 o16 o2 o2 o2 n128 v21 v22 v23 o16 o2 o2 o2 n96 v21 v22 v24 o16 o2 o2 o2 n32 v21 v22 v25 o16 o2 o2 o2 n96 v21 v23 v24 o16 o2 o2 o2 n32 v21 v24 v25 o16 o2 o2 o2 n128 v22 v23 v24 o16 o2 o2 o2 n96 v22 v23 v25 o16 o2 o2 o2 n32 v22 v23 v26 o16 o2 o2 o2 n96 v22 v24 v25 o16 o2 o2 o2 n32 v22 v25 v26 o16 o2 o2 o2 n128 v23 v24 v25 o16 o2 o2 o2 n96 v23 v24 v26 o16 o2 o2 o2 n32 v23 v24 v27 o16 o2 o2 o2 n96 v23 v25 v26 o16 o2 o2 o2 n32 v23 v26 v27 o16 o2 o2 o2 n128 v24 v25 v26 o16 o2 o2 o2 n96 v24 v25 v27 o16 o2 o2 o2 n32 v24 v25 v28 o16 o2 o2 o2 n96 v24 v26 v27 o16 o2 o2 o2 n32 v24 v27 v28 o16 o2 o2 o2 n128 v25 v26 v27 o16 o2 o2 o2 n96 v25 v26 v28 o16 o2 o2 o2 n32 v25 v26 v29 o16 o2 o2 o2 n96 v25 v27 v28 o16 o2 o2 o2 n32 v25 v28 v29 o16 o2 o2 o2 n128 v26 v27 v28 o16 o2 o2 o2 n96 v26 v27 v29 o16 o2 o2 o2 n32 v26 v27 v30 o16 o2 o2 o2 n96 v26 v28 v29 o16 o2 o2 o2 n32 v26 v29 v30 o16 o2 o2 o2 n128 v27 v28 v29 o16 o2 o2 o2 n96 v27 v28 v30 o16 o2 o2 o2 n32 v27 v28 v31 o16 o2 o2 o2 n96 v27 v29 v30 o16 o2 o2 o2 n32 v27 v30 v31 o16 o2 o2 o2 n128 v28 v29 v30 o16 o2 o2 o2 n96 v28 v29 v31 o16 o2 o2 o2 n32 v28 v29 v32 o16 o2 o2 o2 n96 v28 v30 v31 o16 o2 o2 o2 n32 v28 v31 v32 o16 o2 o2 o2 n128 v29 v30 v31 o16 o2 o2 o2 n96 v29 v30 v32 o16 o2 o2 o2 n32 v29 v30 v33 o16 o2 o2 o2 n96 v29 v31 v32 o16 o2 o2 o2 n32 v29 v32 v33 o16 o2 o2 o2 n128 v30 v31 v32 o16 o2 o2 o2 n96 v30 v31 v33 o16 o2 o2 o2 n32 v30 v31 v34 o16 o2 o2 o2 n96 v30 v32 v33 o16 o2 o2 o2 n32 v30 v33 v34 o16 o2 o2 o2 n128 v31 v32 v33 o16 o2 o2 o2 n96 v31 v32 v34 o16 o2 o2 o2 n32 v31 v32 v35 o16 o2 o2 o2 n96 v31 v33 v34 o16 o2 o2 o2 n32 v31 v34 v35 o16 o2 o2 o2 n128 v32 v33 v34 o16 o2 o2 o2 n96 v32 v33 v35 o16 o2 o2 o2 n32 v32 v33 v36 o16 o2 o2 o2 n96 v32 v34 v35 o16 o2 o2 o2 n32 v32 v35 v36 o16 o2 o2 o2 n128 v33 v34 v35 o16 o2 o2 o2 n96 v33 v34 v36 o16 o2 o2 o2 n32 v33 v34 v37 o16 o2 o2 o2 n96 v33 v35 v36 o16 o2 o2 o2 n32 v33 v36 v37 o16 o2 o2 o2 n128 v34 v35 v36 o16 o2 o2 o2 n96 v34 v35 v37 o16 o2 o2 o2 n32 v34 v35 v38 o16 o2 o2 o2 n96 v34 v36 v37 o16 o2 o2 o2 n32 v34 v37 v38 o16 o2 o2 o2 n128 v35 v36 v37 o16 o2 o2 o2 n96 v35 v36 v38 o16 o2 o2 o2 n32 v35 v36 v39 o16 o2 o2 o2 n96 v35 v37 v38 o16 o2 o2 o2 n32 v35 v38 v39 o16 o2 o2 o2 n96 v36 v37 v38 o16 o2 o2 o2 n32 v36 v37 v39 o16 o2 o2 o2 n64 v36 v38 v39 o16 o2 o2 o2 n32 v37 v38 v39 o2 o2 n32 v0 v1 o2 o2 n24 v0 v2 o2 o2 n32 v0 v3 o2 o2 n24 v0 v4 o2 o2 n64 v1 v2 o2 o2 n80 v1 v3 o2 o2 n64 v1 v4 o2 o2 n24 v1 v5 o2 o2 n96 v2 v3 o2 o2 n104 v2 v4 o2 o2 n64 v2 v5 o2 o2 n24 v2 v6 o2 o2 n128 v3 v4 o2 o2 n104 v3 v5 o2 o2 n64 v3 v6 o2 o2 n24 v3 v7 o2 o2 n128 v4 v5 o2 o2 n104 v4 v6 o2 o2 n64 v4 v7 o2 o2 n24 v4 v8 o2 o2 n128 v5 v6 o2 o2 n104 v5 v7 o2 o2 n64 v5 v8 o2 o2 n24 v5 v9 o2 o2 n128 v6 v7 o2 o2 n104 v6 v8 o2 o2 n64 v6 v9 o2 o2 n24 v6 v10 o2 o2 n128 v7 v8 o2 o2 n104 v7 v9 o2 o2 n64 v7 v10 o2 o2 n24 v7 v11 o2 o2 n128 v8 v9 o2 o2 n104 v8 v10 o2 o2 n64 v8 v11 o2 o2 n24 v8 v12 o2 o2 n128 v9 v10 o2 o2 n104 v9 v11 o2 o2 n64 v9 v12 o2 o2 n24 v9 v13 o2 o2 n128 v10 v11 o2 o2 n104 v10 v12 o2 o2 n64 v10 v13 o2 o2 n24 v10 v14 o2 o2 n128 v11 v12 o2 o2 n104 v11 v13 o2 o2 n64 v11 v14 o2 o2 n24 v11 v15 o2 o2 n128 v12 v13 o2 o2 n104 v12 v14 o2 o2 n64 v12 v15 o2 o2 n24 v12 v16 o2 o2 n128 v13 v14 o2 o2 n104 v13 v15 o2 o2 n64 v13 v16 o2 o2 n24 v13 v17 o2 o2 n128 v14 v15 o2 o2 n104 v14 v16 o2 o2 n64 v14 v17 o2 o2 n24 v14 v18 o2 o2 n128 v15 v16 o2 o2 n104 v15 v17 o2 o2 n64 v15 v18 o2 o2 n24 v15 v19 o2 o2 n128 v16 v17 o2 o2 n104 v16 v18 o2 o2 n64 v16 v19 o2 o2 n24 v16 v20 o2 o2 n128 v17 v18 o2 o2 n104 v17 v19 o2 o2 n64 v17 v20 o2 o2 n24 v17 v21 o2 o2 n128 v18 v19 o2 o2 n104 v18 v20 o2 o2 n64 v18 v21 o2 o2 n24 v18 v22 o2 o2 n128 v19 v20 o2 o2 n104 v19 v21 o2 o2 n64 v19 v22 o2 o2 n24 v19 v23 o2 o2 n128 v20 v21 o2 o2 n104 v20 v22 o2 o2 n64 v20 v23 o2 o2 n24 v20 v24 o2 o2 n128 v21 v22 o2 o2 n104 v21 v23 o2 o2 n64 v21 v24 o2 o2 n24 v21 v25 o2 o2 n128 v22 v23 o2 o2 n104 v22 v24 o2 o2 n64 v22 v25 o2 o2 n24 v22 v26 o2 o2 n128 v23 v24 o2 o2 n104 v23 v25 o2 o2 n64 v23 v26 o2 o2 n24 v23 v27 o2 o2 n128 v24 v25 o2 o2 n104 v24 v26 o2 o2 n64 v24 v27 o2 o2 n24 v24 v28 o2 o2 n128 v25 v26 o2 o2 n104 v25 v27 o2 o2 n64 v25 v28 o2 o2 n24 v25 v29 o2 o2 n128 v26 v27 o2 o2 n104 v26 v28 o2 o2 n64 v26 v29 o2 o2 n24 v26 v30 o2 o2 n128 v27 v28 o2 o2 n104 v27 v29 o2 o2 n64 v27 v30 o2 o2 n24 v27 v31 o2 o2 n128 v28 v29 o2 o2 n104 v28 v30 o2 o2 n64 v28 v31 o2 o2 n24 v28 v32 o2 o2 n128 v29 v30 o2 o2 n104 v29 v31 o2 o2 n64 v29 v32 o2 o2 n24 v29 v33 o2 o2 n128 v30 v31 o2 o2 n104 v30 v32 o2 o2 n64 v30 v33 o2 o2 n24 v30 v34 o2 o2 n128 v31 v32 o2 o2 n104 v31 v33 o2 o2 n64 v31 v34 o2 o2 n24 v31 v35 o2 o2 n128 v32 v33 o2 o2 n104 v32 v34 o2 o2 n64 v32 v35 o2 o2 n24 v32 v36 o2 o2 n128 v33 v34 o2 o2 n104 v33 v35 o2 o2 n64 v33 v36 o2 o2 n24 v33 v37 o2 o2 n128 v34 v35 o2 o2 n104 v34 v36 o2 o2 n64 v34 v37 o2 o2 n24 v34 v38 o2 o2 n128 v35 v36 o2 o2 n104 v35 v37 o2 o2 n64 v35 v38 o2 o2 n24 v35 v39 o2 o2 n96 v36 v37 o2 o2 n80 v36 v38 o2 o2 n32 v36 v39 o2 o2 n64 v37 v38 o2 o2 n24 v37 v39 o2 o2 n32 v38 v39 o2 n-24 v0 o2 n-52 v1 o2 n-76 v2 o2 n-104 v3 o2 n-128 v4 o2 n-128 v5 o2 n-128 v6 o2 n-128 v7 o2 n-128 v8 o2 n-128 v9 o2 n-128 v10 o2 n-128 v11 o2 n-128 v12 o2 n-128 v13 o2 n-128 v14 o2 n-128 v15 o2 n-128 v16 o2 n-128 v17 o2 n-128 v18 o2 n-128 v19 o2 n-128 v20 o2 n-128 v21 o2 n-128 v22 o2 n-128 v23 o2 n-128 v24 o2 n-128 v25 o2 n-128 v26 o2 n-128 v27 o2 n-128 v28 o2 n-128 v29 o2 n-128 v30 o2 n-128 v31 o2 n-128 v32 o2 n-128 v33 o2 n-128 v34 o2 n-128 v35 o2 n-104 v36 o2 n-76 v37 o2 n-52 v38 o2 n-24 v39 O0 0 n0 k40 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 31 32 33 34 35 36 37 38 39 40 J0 41 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 0 31 0 32 0 33 0 34 0 35 0 36 0 37 0 38 0 39 0 40 -1 G0 1 40 1