g3 0 1 0 # problem autocorr_bern25-06 26 1 1 0 0 # vars, constraints, objectives, ranges, eqns 1 0 # nonlinear constraints, objectives 0 0 # network constraints: nonlinear, linear 25 0 0 # nonlinear vars in constraints, objectives, both 0 0 0 1 # linear network variables; functions; arith, flags 0 0 0 25 0 # discrete variables: binary, integer, nonlinear (b,c,o) 26 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 3 r 1 0 C0 o54 407 o2 o2 o2 o2 n64 v0 v1 v2 v3 o2 o2 o2 o2 n64 v0 v1 v3 v4 o2 o2 o2 o2 n64 v0 v1 v4 v5 o2 o2 o2 o2 n64 v0 v2 v3 v5 o2 o2 o2 o2 n128 v1 v2 v3 v4 o2 o2 o2 o2 n128 v1 v2 v4 v5 o2 o2 o2 o2 n64 v1 v2 v5 v6 o2 o2 o2 o2 n64 v1 v3 v4 v6 o2 o2 o2 o2 n192 v2 v3 v4 v5 o2 o2 o2 o2 n128 v2 v3 v5 v6 o2 o2 o2 o2 n64 v2 v3 v6 v7 o2 o2 o2 o2 n64 v2 v4 v5 v7 o2 o2 o2 o2 n192 v3 v4 v5 v6 o2 o2 o2 o2 n128 v3 v4 v6 v7 o2 o2 o2 o2 n64 v3 v4 v7 v8 o2 o2 o2 o2 n64 v3 v5 v6 v8 o2 o2 o2 o2 n192 v4 v5 v6 v7 o2 o2 o2 o2 n128 v4 v5 v7 v8 o2 o2 o2 o2 n64 v4 v5 v8 v9 o2 o2 o2 o2 n64 v4 v6 v7 v9 o2 o2 o2 o2 n192 v5 v6 v7 v8 o2 o2 o2 o2 n128 v5 v6 v8 v9 o2 o2 o2 o2 n64 v5 v6 v9 v10 o2 o2 o2 o2 n64 v5 v7 v8 v10 o2 o2 o2 o2 n192 v6 v7 v8 v9 o2 o2 o2 o2 n128 v6 v7 v9 v10 o2 o2 o2 o2 n64 v6 v7 v10 v11 o2 o2 o2 o2 n64 v6 v8 v9 v11 o2 o2 o2 o2 n192 v7 v8 v9 v10 o2 o2 o2 o2 n128 v7 v8 v10 v11 o2 o2 o2 o2 n64 v7 v8 v11 v12 o2 o2 o2 o2 n64 v7 v9 v10 v12 o2 o2 o2 o2 n192 v8 v9 v10 v11 o2 o2 o2 o2 n128 v8 v9 v11 v12 o2 o2 o2 o2 n64 v8 v9 v12 v13 o2 o2 o2 o2 n64 v8 v10 v11 v13 o2 o2 o2 o2 n192 v9 v10 v11 v12 o2 o2 o2 o2 n128 v9 v10 v12 v13 o2 o2 o2 o2 n64 v9 v10 v13 v14 o2 o2 o2 o2 n64 v9 v11 v12 v14 o2 o2 o2 o2 n192 v10 v11 v12 v13 o2 o2 o2 o2 n128 v10 v11 v13 v14 o2 o2 o2 o2 n64 v10 v11 v14 v15 o2 o2 o2 o2 n64 v10 v12 v13 v15 o2 o2 o2 o2 n192 v11 v12 v13 v14 o2 o2 o2 o2 n128 v11 v12 v14 v15 o2 o2 o2 o2 n64 v11 v12 v15 v16 o2 o2 o2 o2 n64 v11 v13 v14 v16 o2 o2 o2 o2 n192 v12 v13 v14 v15 o2 o2 o2 o2 n128 v12 v13 v15 v16 o2 o2 o2 o2 n64 v12 v13 v16 v17 o2 o2 o2 o2 n64 v12 v14 v15 v17 o2 o2 o2 o2 n192 v13 v14 v15 v16 o2 o2 o2 o2 n128 v13 v14 v16 v17 o2 o2 o2 o2 n64 v13 v14 v17 v18 o2 o2 o2 o2 n64 v13 v15 v16 v18 o2 o2 o2 o2 n192 v14 v15 v16 v17 o2 o2 o2 o2 n128 v14 v15 v17 v18 o2 o2 o2 o2 n64 v14 v15 v18 v19 o2 o2 o2 o2 n64 v14 v16 v17 v19 o2 o2 o2 o2 n192 v15 v16 v17 v18 o2 o2 o2 o2 n128 v15 v16 v18 v19 o2 o2 o2 o2 n64 v15 v16 v19 v20 o2 o2 o2 o2 n64 v15 v17 v18 v20 o2 o2 o2 o2 n192 v16 v17 v18 v19 o2 o2 o2 o2 n128 v16 v17 v19 v20 o2 o2 o2 o2 n64 v16 v17 v20 v21 o2 o2 o2 o2 n64 v16 v18 v19 v21 o2 o2 o2 o2 n192 v17 v18 v19 v20 o2 o2 o2 o2 n128 v17 v18 v20 v21 o2 o2 o2 o2 n64 v17 v18 v21 v22 o2 o2 o2 o2 n64 v17 v19 v20 v22 o2 o2 o2 o2 n192 v18 v19 v20 v21 o2 o2 o2 o2 n128 v18 v19 v21 v22 o2 o2 o2 o2 n64 v18 v19 v22 v23 o2 o2 o2 o2 n64 v18 v20 v21 v23 o2 o2 o2 o2 n192 v19 v20 v21 v22 o2 o2 o2 o2 n128 v19 v20 v22 v23 o2 o2 o2 o2 n64 v19 v20 v23 v24 o2 o2 o2 o2 n64 v19 v21 v22 v24 o2 o2 o2 o2 n128 v20 v21 v22 v23 o2 o2 o2 o2 n64 v20 v21 v23 v24 o2 o2 o2 o2 n64 v21 v22 v23 v24 o16 o2 o2 o2 n32 v0 v1 v2 o16 o2 o2 o2 n64 v0 v1 v3 o16 o2 o2 o2 n64 v0 v1 v4 o16 o2 o2 o2 n32 v0 v1 v5 o16 o2 o2 o2 n64 v0 v2 v3 o16 o2 o2 o2 n32 v0 v2 v5 o16 o2 o2 o2 n32 v0 v3 v4 o16 o2 o2 o2 n32 v0 v3 v5 o16 o2 o2 o2 n32 v0 v4 v5 o16 o2 o2 o2 n96 v1 v2 v3 o16 o2 o2 o2 n128 v1 v2 v4 o16 o2 o2 o2 n96 v1 v2 v5 o16 o2 o2 o2 n32 v1 v2 v6 o16 o2 o2 o2 n128 v1 v3 v4 o16 o2 o2 o2 n32 v1 v3 v6 o16 o2 o2 o2 n96 v1 v4 v5 o16 o2 o2 o2 n32 v1 v4 v6 o16 o2 o2 o2 n32 v1 v5 v6 o16 o2 o2 o2 n1.6e2 v2 v3 v4 o16 o2 o2 o2 n192 v2 v3 v5 o16 o2 o2 o2 n96 v2 v3 v6 o16 o2 o2 o2 n32 v2 v3 v7 o16 o2 o2 o2 n192 v2 v4 v5 o16 o2 o2 o2 n32 v2 v4 v7 o16 o2 o2 o2 n96 v2 v5 v6 o16 o2 o2 o2 n32 v2 v5 v7 o16 o2 o2 o2 n32 v2 v6 v7 o16 o2 o2 o2 n192 v3 v4 v5 o16 o2 o2 o2 n192 v3 v4 v6 o16 o2 o2 o2 n96 v3 v4 v7 o16 o2 o2 o2 n32 v3 v4 v8 o16 o2 o2 o2 n192 v3 v5 v6 o16 o2 o2 o2 n32 v3 v5 v8 o16 o2 o2 o2 n96 v3 v6 v7 o16 o2 o2 o2 n32 v3 v6 v8 o16 o2 o2 o2 n32 v3 v7 v8 o16 o2 o2 o2 n192 v4 v5 v6 o16 o2 o2 o2 n192 v4 v5 v7 o16 o2 o2 o2 n96 v4 v5 v8 o16 o2 o2 o2 n32 v4 v5 v9 o16 o2 o2 o2 n192 v4 v6 v7 o16 o2 o2 o2 n32 v4 v6 v9 o16 o2 o2 o2 n96 v4 v7 v8 o16 o2 o2 o2 n32 v4 v7 v9 o16 o2 o2 o2 n32 v4 v8 v9 o16 o2 o2 o2 n192 v5 v6 v7 o16 o2 o2 o2 n192 v5 v6 v8 o16 o2 o2 o2 n96 v5 v6 v9 o16 o2 o2 o2 n32 v5 v6 v10 o16 o2 o2 o2 n192 v5 v7 v8 o16 o2 o2 o2 n32 v5 v7 v10 o16 o2 o2 o2 n96 v5 v8 v9 o16 o2 o2 o2 n32 v5 v8 v10 o16 o2 o2 o2 n32 v5 v9 v10 o16 o2 o2 o2 n192 v6 v7 v8 o16 o2 o2 o2 n192 v6 v7 v9 o16 o2 o2 o2 n96 v6 v7 v10 o16 o2 o2 o2 n32 v6 v7 v11 o16 o2 o2 o2 n192 v6 v8 v9 o16 o2 o2 o2 n32 v6 v8 v11 o16 o2 o2 o2 n96 v6 v9 v10 o16 o2 o2 o2 n32 v6 v9 v11 o16 o2 o2 o2 n32 v6 v10 v11 o16 o2 o2 o2 n192 v7 v8 v9 o16 o2 o2 o2 n192 v7 v8 v10 o16 o2 o2 o2 n96 v7 v8 v11 o16 o2 o2 o2 n32 v7 v8 v12 o16 o2 o2 o2 n192 v7 v9 v10 o16 o2 o2 o2 n32 v7 v9 v12 o16 o2 o2 o2 n96 v7 v10 v11 o16 o2 o2 o2 n32 v7 v10 v12 o16 o2 o2 o2 n32 v7 v11 v12 o16 o2 o2 o2 n192 v8 v9 v10 o16 o2 o2 o2 n192 v8 v9 v11 o16 o2 o2 o2 n96 v8 v9 v12 o16 o2 o2 o2 n32 v8 v9 v13 o16 o2 o2 o2 n192 v8 v10 v11 o16 o2 o2 o2 n32 v8 v10 v13 o16 o2 o2 o2 n96 v8 v11 v12 o16 o2 o2 o2 n32 v8 v11 v13 o16 o2 o2 o2 n32 v8 v12 v13 o16 o2 o2 o2 n192 v9 v10 v11 o16 o2 o2 o2 n192 v9 v10 v12 o16 o2 o2 o2 n96 v9 v10 v13 o16 o2 o2 o2 n32 v9 v10 v14 o16 o2 o2 o2 n192 v9 v11 v12 o16 o2 o2 o2 n32 v9 v11 v14 o16 o2 o2 o2 n96 v9 v12 v13 o16 o2 o2 o2 n32 v9 v12 v14 o16 o2 o2 o2 n32 v9 v13 v14 o16 o2 o2 o2 n192 v10 v11 v12 o16 o2 o2 o2 n192 v10 v11 v13 o16 o2 o2 o2 n96 v10 v11 v14 o16 o2 o2 o2 n32 v10 v11 v15 o16 o2 o2 o2 n192 v10 v12 v13 o16 o2 o2 o2 n32 v10 v12 v15 o16 o2 o2 o2 n96 v10 v13 v14 o16 o2 o2 o2 n32 v10 v13 v15 o16 o2 o2 o2 n32 v10 v14 v15 o16 o2 o2 o2 n192 v11 v12 v13 o16 o2 o2 o2 n192 v11 v12 v14 o16 o2 o2 o2 n96 v11 v12 v15 o16 o2 o2 o2 n32 v11 v12 v16 o16 o2 o2 o2 n192 v11 v13 v14 o16 o2 o2 o2 n32 v11 v13 v16 o16 o2 o2 o2 n96 v11 v14 v15 o16 o2 o2 o2 n32 v11 v14 v16 o16 o2 o2 o2 n32 v11 v15 v16 o16 o2 o2 o2 n192 v12 v13 v14 o16 o2 o2 o2 n192 v12 v13 v15 o16 o2 o2 o2 n96 v12 v13 v16 o16 o2 o2 o2 n32 v12 v13 v17 o16 o2 o2 o2 n192 v12 v14 v15 o16 o2 o2 o2 n32 v12 v14 v17 o16 o2 o2 o2 n96 v12 v15 v16 o16 o2 o2 o2 n32 v12 v15 v17 o16 o2 o2 o2 n32 v12 v16 v17 o16 o2 o2 o2 n192 v13 v14 v15 o16 o2 o2 o2 n192 v13 v14 v16 o16 o2 o2 o2 n96 v13 v14 v17 o16 o2 o2 o2 n32 v13 v14 v18 o16 o2 o2 o2 n192 v13 v15 v16 o16 o2 o2 o2 n32 v13 v15 v18 o16 o2 o2 o2 n96 v13 v16 v17 o16 o2 o2 o2 n32 v13 v16 v18 o16 o2 o2 o2 n32 v13 v17 v18 o16 o2 o2 o2 n192 v14 v15 v16 o16 o2 o2 o2 n192 v14 v15 v17 o16 o2 o2 o2 n96 v14 v15 v18 o16 o2 o2 o2 n32 v14 v15 v19 o16 o2 o2 o2 n192 v14 v16 v17 o16 o2 o2 o2 n32 v14 v16 v19 o16 o2 o2 o2 n96 v14 v17 v18 o16 o2 o2 o2 n32 v14 v17 v19 o16 o2 o2 o2 n32 v14 v18 v19 o16 o2 o2 o2 n192 v15 v16 v17 o16 o2 o2 o2 n192 v15 v16 v18 o16 o2 o2 o2 n96 v15 v16 v19 o16 o2 o2 o2 n32 v15 v16 v20 o16 o2 o2 o2 n192 v15 v17 v18 o16 o2 o2 o2 n32 v15 v17 v20 o16 o2 o2 o2 n96 v15 v18 v19 o16 o2 o2 o2 n32 v15 v18 v20 o16 o2 o2 o2 n32 v15 v19 v20 o16 o2 o2 o2 n192 v16 v17 v18 o16 o2 o2 o2 n192 v16 v17 v19 o16 o2 o2 o2 n96 v16 v17 v20 o16 o2 o2 o2 n32 v16 v17 v21 o16 o2 o2 o2 n192 v16 v18 v19 o16 o2 o2 o2 n32 v16 v18 v21 o16 o2 o2 o2 n96 v16 v19 v20 o16 o2 o2 o2 n32 v16 v19 v21 o16 o2 o2 o2 n32 v16 v20 v21 o16 o2 o2 o2 n192 v17 v18 v19 o16 o2 o2 o2 n192 v17 v18 v20 o16 o2 o2 o2 n96 v17 v18 v21 o16 o2 o2 o2 n32 v17 v18 v22 o16 o2 o2 o2 n192 v17 v19 v20 o16 o2 o2 o2 n32 v17 v19 v22 o16 o2 o2 o2 n96 v17 v20 v21 o16 o2 o2 o2 n32 v17 v20 v22 o16 o2 o2 o2 n32 v17 v21 v22 o16 o2 o2 o2 n192 v18 v19 v20 o16 o2 o2 o2 n192 v18 v19 v21 o16 o2 o2 o2 n96 v18 v19 v22 o16 o2 o2 o2 n32 v18 v19 v23 o16 o2 o2 o2 n192 v18 v20 v21 o16 o2 o2 o2 n32 v18 v20 v23 o16 o2 o2 o2 n96 v18 v21 v22 o16 o2 o2 o2 n32 v18 v21 v23 o16 o2 o2 o2 n32 v18 v22 v23 o16 o2 o2 o2 n192 v19 v20 v21 o16 o2 o2 o2 n192 v19 v20 v22 o16 o2 o2 o2 n96 v19 v20 v23 o16 o2 o2 o2 n32 v19 v20 v24 o16 o2 o2 o2 n192 v19 v21 v22 o16 o2 o2 o2 n32 v19 v21 v24 o16 o2 o2 o2 n96 v19 v22 v23 o16 o2 o2 o2 n32 v19 v22 v24 o16 o2 o2 o2 n32 v19 v23 v24 o16 o2 o2 o2 n1.6e2 v20 v21 v22 o16 o2 o2 o2 n128 v20 v21 v23 o16 o2 o2 o2 n32 v20 v21 v24 o16 o2 o2 o2 n128 v20 v22 v23 o16 o2 o2 o2 n64 v20 v23 v24 o16 o2 o2 o2 n96 v21 v22 v23 o16 o2 o2 o2 n64 v21 v22 v24 o16 o2 o2 o2 n64 v21 v23 v24 o16 o2 o2 o2 n32 v22 v23 v24 o2 o2 n48 v0 v1 o2 o2 n40 v0 v2 o2 o2 n48 v0 v3 o2 o2 n40 v0 v4 o2 o2 n32 v0 v5 o2 o2 n96 v1 v2 o2 o2 n96 v1 v3 o2 o2 n112 v1 v4 o2 o2 n80 v1 v5 o2 o2 n32 v1 v6 o2 o2 n1.6e2 v2 v3 o2 o2 n152 v2 v4 o2 o2 n1.6e2 v2 v5 o2 o2 n80 v2 v6 o2 o2 n32 v2 v7 o2 o2 n208 v3 v4 o2 o2 n192 v3 v5 o2 o2 n1.6e2 v3 v6 o2 o2 n80 v3 v7 o2 o2 n32 v3 v8 o2 o2 n256 v4 v5 o2 o2 n192 v4 v6 o2 o2 n1.6e2 v4 v7 o2 o2 n80 v4 v8 o2 o2 n32 v4 v9 o2 o2 n256 v5 v6 o2 o2 n192 v5 v7 o2 o2 n1.6e2 v5 v8 o2 o2 n80 v5 v9 o2 o2 n32 v5 v10 o2 o2 n256 v6 v7 o2 o2 n192 v6 v8 o2 o2 n1.6e2 v6 v9 o2 o2 n80 v6 v10 o2 o2 n32 v6 v11 o2 o2 n256 v7 v8 o2 o2 n192 v7 v9 o2 o2 n1.6e2 v7 v10 o2 o2 n80 v7 v11 o2 o2 n32 v7 v12 o2 o2 n256 v8 v9 o2 o2 n192 v8 v10 o2 o2 n1.6e2 v8 v11 o2 o2 n80 v8 v12 o2 o2 n32 v8 v13 o2 o2 n256 v9 v10 o2 o2 n192 v9 v11 o2 o2 n1.6e2 v9 v12 o2 o2 n80 v9 v13 o2 o2 n32 v9 v14 o2 o2 n256 v10 v11 o2 o2 n192 v10 v12 o2 o2 n1.6e2 v10 v13 o2 o2 n80 v10 v14 o2 o2 n32 v10 v15 o2 o2 n256 v11 v12 o2 o2 n192 v11 v13 o2 o2 n1.6e2 v11 v14 o2 o2 n80 v11 v15 o2 o2 n32 v11 v16 o2 o2 n256 v12 v13 o2 o2 n192 v12 v14 o2 o2 n1.6e2 v12 v15 o2 o2 n80 v12 v16 o2 o2 n32 v12 v17 o2 o2 n256 v13 v14 o2 o2 n192 v13 v15 o2 o2 n1.6e2 v13 v16 o2 o2 n80 v13 v17 o2 o2 n32 v13 v18 o2 o2 n256 v14 v15 o2 o2 n192 v14 v16 o2 o2 n1.6e2 v14 v17 o2 o2 n80 v14 v18 o2 o2 n32 v14 v19 o2 o2 n256 v15 v16 o2 o2 n192 v15 v17 o2 o2 n1.6e2 v15 v18 o2 o2 n80 v15 v19 o2 o2 n32 v15 v20 o2 o2 n256 v16 v17 o2 o2 n192 v16 v18 o2 o2 n1.6e2 v16 v19 o2 o2 n80 v16 v20 o2 o2 n32 v16 v21 o2 o2 n256 v17 v18 o2 o2 n192 v17 v19 o2 o2 n1.6e2 v17 v20 o2 o2 n80 v17 v21 o2 o2 n32 v17 v22 o2 o2 n256 v18 v19 o2 o2 n192 v18 v20 o2 o2 n1.6e2 v18 v21 o2 o2 n80 v18 v22 o2 o2 n32 v18 v23 o2 o2 n256 v19 v20 o2 o2 n192 v19 v21 o2 o2 n1.6e2 v19 v22 o2 o2 n80 v19 v23 o2 o2 n32 v19 v24 o2 o2 n208 v20 v21 o2 o2 n152 v20 v22 o2 o2 n112 v20 v23 o2 o2 n40 v20 v24 o2 o2 n1.6e2 v21 v22 o2 o2 n96 v21 v23 o2 o2 n48 v21 v24 o2 o2 n96 v22 v23 o2 o2 n40 v22 v24 o2 o2 n48 v23 v24 o2 n-40 v0 o2 n-88 v1 o2 n-136 v2 o2 n-184 v3 o2 n-232 v4 o2 n-272 v5 o2 n-272 v6 o2 n-272 v7 o2 n-272 v8 o2 n-272 v9 o2 n-272 v10 o2 n-272 v11 o2 n-272 v12 o2 n-272 v13 o2 n-272 v14 o2 n-272 v15 o2 n-272 v16 o2 n-272 v17 o2 n-272 v18 o2 n-272 v19 o2 n-232 v20 o2 n-184 v21 o2 n-136 v22 o2 n-88 v23 o2 n-40 v24 O0 0 n0 k25 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 J0 26 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 -1 G0 1 25 1