MINTO, a Mixed INTeger Optimizer  --  version 3.1.0 (LINUX/CPLEX 8.1)
Copyright (C) 1992-2004  --  M.W.P. Savelsbergh

ILOG CPLEX 9.000, licensed to "arizona-tempe, az", options: e m b q p=4 
MINTO: Solving problem from_lp_file
MINTO: Problem statistics:

    Number of constraints: 12526
    Number of variables:   10976 (0)
    Number of nonzero's:   46640

    Number of continuous variables: 1
    Number of binary variables:     10975
    Number of integer variables:    0

MINTO: Presolve eliminated 2 constraints and 1 variables
       Presolve made 0 coefficient changes

MINTO: Row structure analysis (after preprocessing):
    Number of constraints of type ALLBINUB:     2058
    Number of constraints of type BINSUM1UB:    10466

MINTO control parameters:
    Objective sense     : minimization
    Output level        : 1
    Maximum cpu time    : 1000002
    Maximum #nodes      : 1000000

MINTO system function activity levels:
    Bound improvement   : active
    Branching type      : 3
    Node selection type : 5
    Preprocessing level : 1
    Primal heuristic    : active
    Clique cuts         : active
    Implication cuts    : active
    Knapsack covers     : active
    GUB covers          : active
    Flow covers         : active
    Row management      : active
    Restarts            : active
    Force branching     : 1
    Advanced basis      : not active
    Names mode level    : 0

MINTO: Updating primal (MINTO heuristic)
       Value:        -3.00  Elapsed time:    13.22  Node:     100

MINTO: Value of solution: 3.000000
MINTO: Non-zero variables in the solution:
    xopt[0] = 1.000000 (v5854)
    xopt[1] = 1.000000 (v5855)
    xopt[2] = 1.000000 (v5856)
    xopt[4] = 1.000000 (v5857)
    xopt[6] = 1.000000 (v5858)
    xopt[7] = 1.000000 (v3142)
    xopt[8] = 1.000000 (v5859)
    xopt[15] = 1.000000 (v3149)
    xopt[16] = 1.000000 (v5860)
    xopt[17] = 1.000000 (v5861)
    xopt[18] = 1.000000 (v5862)
    xopt[19] = 1.000000 (v5863)
    xopt[20] = 1.000000 (v5864)
    xopt[21] = 1.000000 (v5865)
    xopt[22] = 1.000000 (v5866)
    xopt[23] = 1.000000 (v3150)
    xopt[24] = 1.000000 (v5867)
    xopt[28] = 1.000000 (v5869)
    xopt[29] = 1.000000 (v3153)
    xopt[30] = 1.000000 (v3154)
    xopt[31] = 1.000000 (v3155)
    xopt[32] = 1.000000 (v3156)
    xopt[33] = 1.000000 (v3157)
    xopt[34] = 1.000000 (v3158)
    xopt[35] = 1.000000 (v5870)
    xopt[36] = 1.000000 (v3159)
    xopt[39] = 1.000000 (v5873)
    xopt[40] = 1.000000 (v5874)
    xopt[41] = 1.000000 (v5875)
    xopt[42] = 1.000000 (v5876)
    xopt[43] = 1.000000 (v3160)
    xopt[44] = 1.000000 (v5877)
    xopt[45] = 1.000000 (v3161)
    xopt[46] = 1.000000 (v5878)
    xopt[47] = 1.000000 (v3162)
    xopt[48] = 1.000000 (v5879)
    xopt[49] = 1.000000 (v3163)
    xopt[58] = 1.000000 (v5882)
    xopt[59] = 1.000000 (v5883)
    xopt[64] = 1.000000 (v5887)
    xopt[70] = 1.000000 (v3174)
    xopt[71] = 1.000000 (v3175)
    xopt[74] = 1.000000 (v3178)
    xopt[75] = 1.000000 (v3179)
    xopt[76] = 1.000000 (v5890)
    xopt[77] = 1.000000 (v5891)
    xopt[80] = 1.000000 (v5894)
    xopt[81] = 1.000000 (v5895)
    xopt[86] = 1.000000 (v5898)
    xopt[88] = 1.000000 (v5899)
    xopt[113] = 1.000000 (v8007)
    xopt[114] = 1.000000 (v8008)
    xopt[115] = 1.000000 (v8009)
    xopt[116] = 1.000000 (v8010)
    xopt[117] = 1.000000 (v8011)
    xopt[118] = 1.000000 (v8012)
    xopt[124] = 1.000000 (v5900)
    xopt[126] = 1.000000 (v5901)
    xopt[128] = 1.000000 (v5902)
    xopt[129] = 1.000000 (v5903)
    xopt[130] = 1.000000 (v5904)
    xopt[131] = 1.000000 (v5905)
    xopt[132] = 1.000000 (v5906)
    xopt[133] = 1.000000 (v5907)
    xopt[134] = 1.000000 (v5908)
    xopt[136] = 1.000000 (v5909)
    xopt[137] = 1.000000 (v8021)
    xopt[139] = 1.000000 (v8023)
    xopt[140] = 1.000000 (v8024)
    xopt[144] = 1.000000 (v5910)
    xopt[146] = 1.000000 (v5911)
    xopt[148] = 1.000000 (v5912)
    xopt[151] = 1.000000 (v5915)
    xopt[152] = 1.000000 (v5916)
    xopt[159] = 1.000000 (v5919)
    xopt[162] = 1.000000 (v8032)
    xopt[173] = 1.000000 (v5920)
    xopt[174] = 1.000000 (v3209)
    xopt[179] = 1.000000 (v5923)
    xopt[180] = 1.000000 (v5924)
    xopt[183] = 1.000000 (v5927)
    xopt[184] = 1.000000 (v3210)
    xopt[185] = 1.000000 (v5928)
    xopt[189] = 1.000000 (v3212)
    xopt[191] = 1.000000 (v3213)
    xopt[197] = 1.000000 (v3216)
    xopt[199] = 1.000000 (v3217)
    xopt[208] = 1.000000 (v5932)
    xopt[211] = 1.000000 (v5935)
    xopt[212] = 1.000000 (v5936)
    xopt[216] = 1.000000 (v3221)
    xopt[225] = 1.000000 (v3225)
    xopt[231] = 1.000000 (v3228)
    xopt[233] = 1.000000 (v5940)
    xopt[234] = 1.000000 (v3229)
    xopt[244] = 1.000000 (v3230)
    xopt[246] = 1.000000 (v3231)
    xopt[249] = 1.000000 (v3232)
    xopt[251] = 1.000000 (v3233)
    xopt[253] = 1.000000 (v3234)
    xopt[255] = 1.000000 (v3235)
    xopt[259] = 1.000000 (v3237)
    xopt[260] = 1.000000 (v8066)
    xopt[261] = 1.000000 (v3238)
    xopt[264] = 1.000000 (v3239)
    xopt[265] = 1.000000 (v5951)
    xopt[266] = 1.000000 (v8068)
    xopt[267] = 1.000000 (v5952)
    xopt[268] = 1.000000 (v8069)
    xopt[269] = 1.000000 (v5953)
    xopt[270] = 1.000000 (one)
    xopt[275] = 1.000000 (v3240)
    xopt[277] = 1.000000 (v3241)
    xopt[279] = 1.000000 (v8070)
    xopt[280] = 1.000000 (v3242)
    xopt[286] = 1.000000 (v3245)
    xopt[287] = 1.000000 (v8074)
    xopt[288] = 1.000000 (v3246)
    xopt[297] = 1.000000 (v8078)
    xopt[302] = 1.000000 (v5965)
    xopt[306] = 1.000000 (v5968)
    xopt[308] = 1.000000 (v5969)
    xopt[313] = 1.000000 (v8082)
    xopt[321] = 1.000000 (v8086)
    xopt[330] = 1.000000 (v5973)
    xopt[385] = 1.000000 (v3280)
    xopt[387] = 1.000000 (v3281)
    xopt[388] = 1.000000 (v5999)
    xopt[389] = 1.000000 (v3282)
    xopt[392] = 1.000000 (v3285)
    xopt[393] = 1.000000 (v3286)
    xopt[401] = 1.000000 (v3294)
    xopt[402] = 1.000000 (v3295)
    xopt[403] = 1.000000 (v3296)
    xopt[404] = 1.000000 (v3297)
    xopt[405] = 1.000000 (v3298)
    xopt[406] = 1.000000 (v3299)
    xopt[427] = 1.000000 (v8120)
    xopt[437] = 1.000000 (v3300)
    xopt[438] = 1.000000 (v3301)
    xopt[440] = 1.000000 (v3302)
    xopt[445] = 1.000000 (v8133)
    xopt[446] = 1.000000 (v3305)
    xopt[447] = 1.000000 (v8134)
    xopt[448] = 1.000000 (v3306)
    xopt[449] = 1.000000 (v8135)
    xopt[450] = 1.000000 (v3307)
    xopt[451] = 1.000000 (v8136)
    xopt[453] = 1.000000 (v8137)
    xopt[455] = 1.000000 (v8138)
    xopt[456] = 1.000000 (v8139)
    xopt[459] = 1.000000 (v8140)
    xopt[461] = 1.000000 (v8141)
    xopt[463] = 1.000000 (v8142)
    xopt[465] = 1.000000 (v8143)
    xopt[466] = 1.000000 (v3315)
    xopt[467] = 1.000000 (v8144)
    xopt[469] = 1.000000 (v8145)
    xopt[471] = 1.000000 (v8146)
    xopt[475] = 1.000000 (v8148)
    xopt[476] = 1.000000 (v8149)
    xopt[485] = 1.000000 (v8153)
    xopt[487] = 1.000000 (v8154)
    xopt[491] = 1.000000 (v3328)
    xopt[492] = 1.000000 (v8156)
    xopt[493] = 1.000000 (v3329)
    xopt[494] = 1.000000 (v8157)
    xopt[495] = 1.000000 (v8158)
    xopt[497] = 1.000000 (v3330)
    xopt[498] = 1.000000 (v3331)
    xopt[499] = 1.000000 (v3332)
    xopt[500] = 1.000000 (v8160)
    xopt[501] = 1.000000 (v3333)
    xopt[502] = 1.000000 (v8161)
    xopt[504] = 1.000000 (v8162)
    xopt[505] = 1.000000 (v3335)
    xopt[506] = 1.000000 (v8163)
    xopt[507] = 1.000000 (v3336)
    xopt[508] = 1.000000 (v8164)
    xopt[510] = 1.000000 (v8165)
    xopt[511] = 1.000000 (v8166)
    xopt[514] = 1.000000 (v3339)
    xopt[515] = 1.000000 (v8168)
    xopt[516] = 1.000000 (v8169)
    xopt[517] = 1.000000 (v3340)
    xopt[518] = 1.000000 (v3341)
    xopt[519] = 1.000000 (v8170)
    xopt[520] = 1.000000 (v3342)
    xopt[521] = 1.000000 (v8171)
    xopt[522] = 1.000000 (v3343)
    xopt[524] = 1.000000 (v3344)
    xopt[525] = 1.000000 (v8173)
    xopt[526] = 1.000000 (v3345)
    xopt[527] = 1.000000 (v8174)
    xopt[530] = 1.000000 (v3347)
    xopt[532] = 1.000000 (v3348)
    xopt[543] = 1.000000 (v8182)
    xopt[551] = 1.000000 (v8186)
    xopt[620] = 1.000000 (v8213)
    xopt[621] = 1.000000 (v8214)
    xopt[622] = 1.000000 (v8215)
    xopt[624] = 1.000000 (v8217)
    xopt[625] = 1.000000 (v8218)
    xopt[626] = 1.000000 (v8219)
    xopt[627] = 1.000000 (v8220)
    xopt[632] = 1.000000 (v8225)
    xopt[636] = 1.000000 (v8229)
    xopt[645] = 1.000000 (v3405)
    xopt[646] = 1.000000 (v8233)
    xopt[647] = 1.000000 (v3406)
    xopt[649] = 1.000000 (v3407)
    xopt[654] = 1.000000 (v8237)
    xopt[658] = 1.000000 (v3411)
    xopt[663] = 1.000000 (v3414)
    xopt[665] = 1.000000 (v3415)
    xopt[683] = 1.000000 (v3424)
    xopt[687] = 1.000000 (v3426)
    xopt[689] = 1.000000 (v3427)
    xopt[700] = 1.000000 (v3432)
    xopt[706] = 1.000000 (v3435)
    xopt[708] = 1.000000 (v3436)
    xopt[710] = 1.000000 (v3437)
    xopt[712] = 1.000000 (v3438)
    xopt[714] = 1.000000 (v3439)
    xopt[721] = 1.000000 (v3443)
    xopt[722] = 1.000000 (v8271)
    xopt[725] = 1.000000 (v8273)
    xopt[727] = 1.000000 (v8274)
    xopt[729] = 1.000000 (v8275)
    xopt[731] = 1.000000 (v3448)
    xopt[732] = 1.000000 (v8276)
    xopt[733] = 1.000000 (v8277)
    xopt[734] = 1.000000 (v3449)
    xopt[735] = 1.000000 (v8278)
    xopt[736] = 1.000000 (v8279)
    xopt[738] = 1.000000 (v3451)
    xopt[739] = 1.000000 (v3452)
    xopt[740] = 1.000000 (v8280)
    xopt[741] = 1.000000 (v8281)
    xopt[742] = 1.000000 (v3453)
    xopt[743] = 1.000000 (v8282)
    xopt[744] = 1.000000 (v3454)
    xopt[745] = 1.000000 (v3455)
    xopt[746] = 1.000000 (v8283)
    xopt[747] = 1.000000 (v8284)
    xopt[748] = 1.000000 (v3456)
    xopt[749] = 1.000000 (v8285)
    xopt[750] = 1.000000 (v3457)
    xopt[751] = 1.000000 (v8286)
    xopt[752] = 1.000000 (v3458)
    xopt[753] = 1.000000 (v8287)
    xopt[754] = 1.000000 (v3459)
    xopt[755] = 1.000000 (v8288)
    xopt[756] = 1.000000 (v8289)
    xopt[760] = 1.000000 (v8290)
    xopt[779] = 1.000000 (v3472)
    xopt[787] = 1.000000 (v3480)
    xopt[788] = 1.000000 (v3481)
    xopt[789] = 1.000000 (v3482)
    xopt[790] = 1.000000 (v3483)
    xopt[791] = 1.000000 (v3484)
    xopt[794] = 1.000000 (v3487)
    xopt[795] = 1.000000 (v3488)
    xopt[799] = 1.000000 (v3492)
    xopt[804] = 1.000000 (v3497)
    xopt[805] = 1.000000 (v3498)
    xopt[831] = 1.000000 (v8324)
    xopt[835] = 1.000000 (v8328)
    xopt[837] = 1.000000 (v3500)
    xopt[838] = 1.000000 (v3501)
    xopt[839] = 1.000000 (v3502)
    xopt[841] = 1.000000 (v3503)
    xopt[843] = 1.000000 (v3504)
    xopt[844] = 1.000000 (v8332)
    xopt[845] = 1.000000 (v3505)
    xopt[862] = 1.000000 (v8341)
    xopt[866] = 1.000000 (v8343)
    xopt[867] = 1.000000 (v3516)
    xopt[868] = 1.000000 (v8344)
    xopt[869] = 1.000000 (v3517)
    xopt[870] = 1.000000 (v8345)
    xopt[871] = 1.000000 (v8346)
    xopt[872] = 1.000000 (v3518)
    xopt[873] = 1.000000 (v8347)
    xopt[875] = 1.000000 (v8348)
    xopt[876] = 1.000000 (v8349)
    xopt[877] = 1.000000 (v3520)
    xopt[878] = 1.000000 (v3521)
    xopt[880] = 1.000000 (v3522)
    xopt[882] = 1.000000 (v3523)
    xopt[886] = 1.000000 (v3525)
    xopt[888] = 1.000000 (v3526)
    xopt[901] = 1.000000 (v8361)
    xopt[908] = 1.000000 (v3536)
    xopt[909] = 1.000000 (v8365)
    xopt[918] = 1.000000 (v8368)
    xopt[920] = 1.000000 (v8369)
    xopt[928] = 1.000000 (v3541)
    xopt[929] = 1.000000 (v3542)
    xopt[931] = 1.000000 (v3543)
    xopt[933] = 1.000000 (v3544)
    xopt[935] = 1.000000 (v3545)
    xopt[936] = 1.000000 (v8373)
    xopt[937] = 1.000000 (v3546)
    xopt[938] = 1.000000 (v8374)
    xopt[940] = 1.000000 (v8375)
    xopt[942] = 1.000000 (v3548)
    xopt[943] = 1.000000 (v8376)
    xopt[944] = 1.000000 (v21)
    xopt[945] = 1.000000 (v3549)
    xopt[946] = 1.000000 (v8377)
    xopt[948] = 1.000000 (v8378)
    xopt[950] = 1.000000 (v8379)
    xopt[952] = 1.000000 (v25)
    xopt[954] = 1.000000 (v27)
    xopt[955] = 1.000000 (v28)
    xopt[957] = 1.000000 (v29)
    xopt[960] = 1.000000 (v8380)
    xopt[962] = 1.000000 (v8381)
    xopt[963] = 1.000000 (v3554)
    xopt[964] = 1.000000 (v8382)
    xopt[965] = 1.000000 (v3555)
    xopt[967] = 1.000000 (v3556)
    xopt[969] = 1.000000 (v3557)
    xopt[976] = 1.000000 (v8387)
    xopt[978] = 1.000000 (v8388)
    xopt[979] = 1.000000 (v33)
    xopt[980] = 1.000000 (v8389)
    xopt[984] = 1.000000 (v37)
    xopt[985] = 1.000000 (v38)
    xopt[986] = 1.000000 (v3560)
    xopt[988] = 1.000000 (v3561)
    xopt[990] = 1.000000 (v8390)
    xopt[992] = 1.000000 (v8391)
    xopt[993] = 1.000000 (v3564)
    xopt[994] = 1.000000 (v8392)
    xopt[995] = 1.000000 (v3565)
    xopt[996] = 1.000000 (v8393)
    xopt[997] = 1.000000 (v3566)
    xopt[998] = 1.000000 (v8394)
    xopt[999] = 1.000000 (v3567)
    xopt[1000] = 1.000000 (v8395)
    xopt[1001] = 1.000000 (v40)
    xopt[1002] = 1.000000 (v3568)
    xopt[1004] = 1.000000 (v41)
    xopt[1005] = 1.000000 (v3569)
    xopt[1006] = 1.000000 (v8397)
    xopt[1007] = 1.000000 (v42)
    xopt[1008] = 1.000000 (v8398)
    xopt[1010] = 1.000000 (v8399)
    xopt[1012] = 1.000000 (v45)
    xopt[1013] = 1.000000 (v46)
    xopt[1014] = 1.000000 (v47)
    xopt[1015] = 1.000000 (v48)
    xopt[1016] = 1.000000 (v3570)
    xopt[1017] = 1.000000 (v49)
    xopt[1018] = 1.000000 (v3571)
    xopt[1019] = 1.000000 (v3572)
    xopt[1020] = 1.000000 (v3573)
    xopt[1021] = 1.000000 (v3574)
    xopt[1025] = 1.000000 (v50)
    xopt[1026] = 1.000000 (v3578)
    xopt[1027] = 1.000000 (v51)
    xopt[1029] = 1.000000 (v52)
    xopt[1030] = 1.000000 (v53)
    xopt[1031] = 1.000000 (v54)
    xopt[1032] = 1.000000 (v55)
    xopt[1033] = 1.000000 (v56)
    xopt[1034] = 1.000000 (v57)
    xopt[1035] = 1.000000 (v58)
    xopt[1037] = 1.000000 (v59)
    xopt[1038] = 1.000000 (v3581)
    xopt[1039] = 1.000000 (v3582)
    xopt[1040] = 1.000000 (v3583)
    xopt[1042] = 1.000000 (v3585)
    xopt[1043] = 1.000000 (v3586)
    xopt[1050] = 1.000000 (v63)
    xopt[1069] = 1.000000 (v72)
    xopt[1077] = 1.000000 (v80)
    xopt[1081] = 1.000000 (v84)
    xopt[1094] = 1.000000 (v97)
    xopt[1099] = 1.000000 (v8402)
    xopt[1100] = 1.000000 (v8403)
    xopt[1101] = 1.000000 (v8404)
    xopt[1102] = 1.000000 (v8405)
    xopt[1103] = 1.000000 (v8406)
    xopt[1104] = 1.000000 (v8407)
    xopt[1107] = 1.000000 (v8410)
    xopt[1108] = 1.000000 (v8411)
    xopt[1157] = 1.000000 (v3616)
    xopt[1161] = 1.000000 (v3618)
    xopt[1163] = 1.000000 (v3619)
    xopt[1167] = 1.000000 (v3620)
    xopt[1183] = 1.000000 (v3629)
    xopt[1188] = 1.000000 (v3631)
    xopt[1189] = 1.000000 (v3632)
    xopt[1203] = 1.000000 (v8467)
    xopt[1206] = 1.000000 (v8469)
    xopt[1209] = 1.000000 (v8470)
    xopt[1211] = 1.000000 (v8471)
    xopt[1219] = 1.000000 (v8475)
    xopt[1226] = 1.000000 (v8479)
    xopt[1229] = 1.000000 (v8480)
    xopt[1233] = 1.000000 (v8482)
    xopt[1235] = 1.000000 (v8483)
    xopt[1251] = 1.000000 (v3663)
    xopt[1253] = 1.000000 (v3664)
    xopt[1255] = 1.000000 (v3665)
    xopt[1257] = 1.000000 (v3666)
    xopt[1268] = 1.000000 (v3671)
    xopt[1270] = 1.000000 (v3673)
    xopt[1271] = 1.000000 (v3674)
    xopt[1274] = 1.000000 (v3677)
    xopt[1275] = 1.000000 (v3678)
    xopt[1276] = 1.000000 (v3679)
    xopt[1277] = 1.000000 (v3680)
    xopt[1278] = 1.000000 (v3681)
    xopt[1279] = 1.000000 (v3682)
    xopt[1283] = 1.000000 (v3686)
    xopt[1284] = 1.000000 (v3687)
    xopt[1285] = 1.000000 (v3688)
    xopt[1287] = 1.000000 (v3690)
    xopt[1288] = 1.000000 (v3691)
    xopt[1327] = 1.000000 (v3700)
    xopt[1328] = 1.000000 (v3701)
    xopt[1329] = 1.000000 (v3702)
    xopt[1331] = 1.000000 (v3703)
    xopt[1339] = 1.000000 (v3707)
    xopt[1419] = 1.000000 (v3737)
    xopt[1448] = 1.000000 (v3746)
    xopt[1450] = 1.000000 (v3747)
    xopt[1453] = 1.000000 (v3748)
    xopt[1456] = 1.000000 (v3749)
    xopt[1472] = 1.000000 (v3753)
    xopt[1491] = 1.000000 (v8589)
    xopt[1492] = 1.000000 (v1045)
    xopt[1497] = 1.000000 (v3760)
    xopt[1498] = 1.000000 (v3761)
    xopt[1499] = 1.000000 (v3762)
    xopt[1501] = 1.000000 (v3763)
    xopt[1503] = 1.000000 (v3764)
    xopt[1505] = 1.000000 (v3765)
    xopt[1507] = 1.000000 (v3766)
    xopt[1508] = 1.000000 (v8594)
    xopt[1511] = 1.000000 (v8595)
    xopt[1514] = 1.000000 (v8596)
    xopt[1516] = 1.000000 (v3769)
    xopt[1517] = 1.000000 (v8597)
    xopt[1527] = 1.000000 (v3770)
    xopt[1530] = 1.000000 (v3773)
    xopt[1531] = 1.000000 (v3774)
    xopt[1534] = 1.000000 (v1060)
    xopt[1535] = 1.000000 (v3777)
    xopt[1537] = 1.000000 (v3778)
    xopt[1541] = 1.000000 (v1064)
    xopt[1545] = 1.000000 (v1068)
    xopt[1548] = 1.000000 (v3781)
    xopt[1549] = 1.000000 (v3782)
    xopt[1555] = 1.000000 (v3787)
    xopt[1557] = 1.000000 (v3788)
    xopt[1559] = 1.000000 (v3789)
    xopt[1567] = 1.000000 (v3790)
    xopt[1568] = 1.000000 (v3791)
    xopt[1569] = 1.000000 (v3792)
    xopt[1570] = 1.000000 (v3793)
    xopt[1571] = 1.000000 (v3794)
    xopt[1572] = 1.000000 (v3795)
    xopt[1581] = 1.000000 (v1084)
    xopt[1582] = 1.000000 (v1085)
    xopt[1583] = 1.000000 (v1086)
    xopt[1585] = 1.000000 (v1088)
    xopt[1586] = 1.000000 (v1089)
    xopt[1589] = 1.000000 (v1092)
    xopt[1590] = 1.000000 (v1093)
    xopt[1594] = 1.000000 (v1097)
    xopt[1595] = 1.000000 (v1098)
    xopt[1610] = 1.000000 (v8613)
    xopt[1611] = 1.000000 (v8614)
    xopt[1614] = 1.000000 (v8617)
    xopt[1615] = 1.000000 (v8618)
    xopt[1619] = 1.000000 (v8622)
    xopt[1620] = 1.000000 (v8623)
    xopt[1622] = 1.000000 (v8625)
    xopt[1623] = 1.000000 (v8626)
    xopt[1626] = 1.000000 (v8629)
    xopt[1629] = 1.000000 (v8630)
    xopt[1637] = 1.000000 (v8634)
    xopt[1639] = 1.000000 (v3807)
    xopt[1641] = 1.000000 (v3808)
    xopt[1646] = 1.000000 (v8639)
    xopt[1647] = 1.000000 (v3810)
    xopt[1648] = 1.000000 (v3811)
    xopt[1649] = 1.000000 (v3812)
    xopt[1651] = 1.000000 (v3813)
    xopt[1653] = 1.000000 (v3814)
    xopt[1655] = 1.000000 (v3815)
    xopt[1657] = 1.000000 (v3816)
    xopt[1659] = 1.000000 (v1100)
    xopt[1660] = 1.000000 (v3817)
    xopt[1662] = 1.000000 (v1101)
    xopt[1665] = 1.000000 (v1102)
    xopt[1666] = 1.000000 (v3819)
    xopt[1667] = 1.000000 (v8647)
    xopt[1670] = 1.000000 (v1104)
    xopt[1672] = 1.000000 (v1105)
    xopt[1676] = 1.000000 (v3820)
    xopt[1677] = 1.000000 (v1109)
    xopt[1681] = 1.000000 (v3823)
    xopt[1682] = 1.000000 (v8651)
    xopt[1683] = 1.000000 (v3824)
    xopt[1684] = 1.000000 (v8652)
    xopt[1686] = 1.000000 (v8653)
    xopt[1688] = 1.000000 (v8654)
    xopt[1690] = 1.000000 (v1110)
    xopt[1691] = 1.000000 (v8655)
    xopt[1695] = 1.000000 (v3829)
    xopt[1700] = 1.000000 (v1114)
    xopt[1708] = 1.000000 (v3831)
    xopt[1709] = 1.000000 (v3832)
    xopt[1716] = 1.000000 (v8663)
    xopt[1718] = 1.000000 (v8664)
    xopt[1727] = 1.000000 (v8667)
    xopt[1729] = 1.000000 (v8668)
    xopt[1753] = 1.000000 (v8676)
    xopt[1762] = 1.000000 (v1135)
    xopt[1770] = 1.000000 (v8680)
    xopt[1772] = 1.000000 (v8681)
    xopt[1774] = 1.000000 (v8682)
    xopt[1776] = 1.000000 (v8683)
    xopt[1778] = 1.000000 (v8684)
    xopt[1781] = 1.000000 (v8685)
    xopt[1784] = 1.000000 (v8686)
    xopt[1786] = 1.000000 (v1142)
    xopt[1787] = 1.000000 (v8687)
    xopt[1788] = 1.000000 (v1143)
    xopt[1789] = 1.000000 (v8688)
    xopt[1790] = 1.000000 (v1144)
    xopt[1791] = 1.000000 (v8689)
    xopt[1792] = 1.000000 (v1145)
    xopt[1793] = 1.000000 (v1146)
    xopt[1794] = 1.000000 (v1147)
    xopt[1795] = 1.000000 (v1148)
    xopt[1797] = 1.000000 (v1149)
    xopt[1798] = 1.000000 (v3861)
    xopt[1799] = 1.000000 (v3862)
    xopt[1800] = 1.000000 (v8690)
    xopt[1802] = 1.000000 (v8691)
    xopt[1806] = 1.000000 (v8693)
    xopt[1807] = 1.000000 (v3866)
    xopt[1808] = 1.000000 (v8694)
    xopt[1809] = 1.000000 (v1150)
    xopt[1811] = 1.000000 (v8695)
    xopt[1812] = 1.000000 (v1151)
    xopt[1814] = 1.000000 (v8696)
    xopt[1817] = 1.000000 (v8697)
    xopt[1819] = 1.000000 (v8698)
    xopt[1821] = 1.000000 (v8699)
    xopt[1822] = 1.000000 (v1155)
    xopt[1828] = 1.000000 (v3871)
    xopt[1830] = 1.000000 (v3873)
    xopt[1831] = 1.000000 (v3874)
    xopt[1834] = 1.000000 (v1160)
    xopt[1835] = 1.000000 (v3877)
    xopt[1836] = 1.000000 (v1161)
    xopt[1837] = 1.000000 (v3878)
    xopt[1838] = 1.000000 (v1162)
    xopt[1840] = 1.000000 (v1163)
    xopt[1841] = 1.000000 (v1164)
    xopt[1842] = 1.000000 (v1165)
    xopt[1843] = 1.000000 (v1166)
    xopt[1844] = 1.000000 (v1167)
    xopt[1845] = 1.000000 (v1168)
    xopt[1846] = 1.000000 (v1169)
    xopt[1849] = 1.000000 (v3882)
    xopt[1850] = 1.000000 (v3883)
    xopt[1851] = 1.000000 (v3884)
    xopt[1852] = 1.000000 (v3885)
    xopt[1853] = 1.000000 (v3886)
    xopt[1854] = 1.000000 (v1170)
    xopt[1855] = 1.000000 (v3887)
    xopt[1856] = 1.000000 (v1171)
    xopt[1857] = 1.000000 (v3888)
    xopt[1858] = 1.000000 (v1172)
    xopt[1859] = 1.000000 (v3889)
    xopt[1860] = 1.000000 (v1173)
    xopt[1862] = 1.000000 (v1175)
    xopt[1863] = 1.000000 (v1176)
    xopt[1867] = 1.000000 (v3890)
    xopt[1868] = 1.000000 (v3891)
    xopt[1869] = 1.000000 (v3892)
    xopt[1870] = 1.000000 (v3893)
    xopt[1871] = 1.000000 (v3894)
    xopt[1872] = 1.000000 (v3895)
    xopt[1879] = 1.000000 (v3899)
    xopt[1881] = 1.000000 (v1184)
    xopt[1882] = 1.000000 (v1185)
    xopt[1883] = 1.000000 (v1186)
    xopt[1884] = 1.000000 (v1187)
    xopt[1885] = 1.000000 (v1188)
    xopt[1886] = 1.000000 (v1189)
    xopt[1887] = 1.000000 (v1190)
    xopt[1889] = 1.000000 (v1192)
    xopt[1890] = 1.000000 (v1193)
    xopt[1891] = 1.000000 (v1194)
    xopt[1893] = 1.000000 (v1196)
    xopt[1894] = 1.000000 (v1197)
    xopt[1895] = 1.000000 (v1198)
    xopt[1896] = 1.000000 (v1199)
    xopt[1897] = 1.000000 (v1)
    xopt[1899] = 1.000000 (v3)
    xopt[1900] = 1.000000 (v4)
    xopt[1901] = 1.000000 (v5)
    xopt[1902] = 1.000000 (v8700)
    xopt[1904] = 1.000000 (v8701)
    xopt[1906] = 1.000000 (v8702)
    xopt[1908] = 1.000000 (v8703)
    xopt[1909] = 1.000000 (v9)
    xopt[1910] = 1.000000 (v8704)
    xopt[1911] = 1.000000 (v8705)
    xopt[1912] = 1.000000 (v8706)
    xopt[1913] = 1.000000 (v8707)
    xopt[1914] = 1.000000 (v8708)
    xopt[1915] = 1.000000 (v8709)
    xopt[1916] = 1.000000 (v8710)
    xopt[1917] = 1.000000 (v8711)
    xopt[1918] = 1.000000 (v8712)
    xopt[1919] = 1.000000 (v8713)
    xopt[1920] = 1.000000 (v8714)
    xopt[1921] = 1.000000 (v8715)
    xopt[1922] = 1.000000 (v8716)
    xopt[1925] = 1.000000 (v8718)
    xopt[1926] = 1.000000 (v6001)
    xopt[1927] = 1.000000 (v8719)
    xopt[1928] = 1.000000 (v6002)
    xopt[1929] = 1.000000 (v6003)
    xopt[1930] = 1.000000 (v6004)
    xopt[1932] = 1.000000 (v6006)
    xopt[1933] = 1.000000 (v6007)
    xopt[1934] = 1.000000 (v6008)
    xopt[1935] = 1.000000 (v8720)
    xopt[1938] = 1.000000 (v8722)
    xopt[1939] = 1.000000 (v8723)
    xopt[1943] = 1.000000 (v8727)
    xopt[1944] = 1.000000 (v6010)
    xopt[1945] = 1.000000 (v8728)
    xopt[1946] = 1.000000 (v6011)
    xopt[1947] = 1.000000 (v8729)
    xopt[1948] = 1.000000 (v6012)
    xopt[1950] = 1.000000 (v6014)
    xopt[1951] = 1.000000 (v6015)
    xopt[1954] = 1.000000 (v3900)
    xopt[1955] = 1.000000 (v6018)
    xopt[1956] = 1.000000 (v3901)
    xopt[1957] = 1.000000 (v8730)
    xopt[1958] = 1.000000 (v6019)
    xopt[1959] = 1.000000 (v3902)
    xopt[1960] = 1.000000 (v8731)
    xopt[1961] = 1.000000 (v3903)
    xopt[1962] = 1.000000 (v8732)
    xopt[1963] = 1.000000 (v3904)
    xopt[1964] = 1.000000 (v8733)
    xopt[1965] = 1.000000 (v3905)
    xopt[1967] = 1.000000 (v3906)
    xopt[1968] = 1.000000 (v8735)
    xopt[1969] = 1.000000 (v3907)
    xopt[1970] = 1.000000 (v8736)
    xopt[1973] = 1.000000 (v8737)
    xopt[1977] = 1.000000 (v8739)
    xopt[1978] = 1.000000 (v6022)
    xopt[1979] = 1.000000 (v6023)
    xopt[1980] = 1.000000 (v6024)
    xopt[1981] = 1.000000 (v6025)
    xopt[1982] = 1.000000 (v6026)
    xopt[1984] = 1.000000 (v6027)
    xopt[1986] = 1.000000 (v6028)
    xopt[1987] = 1.000000 (v8740)
    xopt[1988] = 1.000000 (v3912)
    xopt[1989] = 1.000000 (v6029)
    xopt[1990] = 1.000000 (v8741)
    xopt[1991] = 1.000000 (v3913)
    xopt[1992] = 1.000000 (v8742)
    xopt[1994] = 1.000000 (v8743)
    xopt[1995] = 1.000000 (v3915)
    xopt[1996] = 1.000000 (v8744)
    xopt[1997] = 1.000000 (v3916)
    xopt[1998] = 1.000000 (v1200)
    xopt[1999] = 1.000000 (v8745)
    xopt[2000] = 1.000000 (v3917)
    xopt[2001] = 1.000000 (v1201)
    xopt[2002] = 1.000000 (v8746)
    xopt[2003] = 1.000000 (v3918)
    xopt[2005] = 1.000000 (v8747)
    xopt[2006] = 1.000000 (v3919)
    xopt[2009] = 1.000000 (v8748)
    xopt[2012] = 1.000000 (v8749)
    xopt[2013] = 1.000000 (v6032)
    xopt[2015] = 1.000000 (v6033)
    xopt[2016] = 1.000000 (v1206)
    xopt[2017] = 1.000000 (v6034)
    xopt[2018] = 1.000000 (v1207)
    xopt[2019] = 1.000000 (v6035)
    xopt[2020] = 1.000000 (v1208)
    xopt[2021] = 1.000000 (v6036)
    xopt[2022] = 1.000000 (v1209)
    xopt[2023] = 1.000000 (v3920)
    xopt[2024] = 1.000000 (v6037)
    xopt[2025] = 1.000000 (v3921)
    xopt[2026] = 1.000000 (v6038)
    xopt[2029] = 1.000000 (v6039)
    xopt[2030] = 1.000000 (v8751)
    xopt[2031] = 1.000000 (v3923)
    xopt[2032] = 1.000000 (v8752)
    xopt[2038] = 1.000000 (v1210)
    xopt[2039] = 1.000000 (v8755)
    xopt[2040] = 1.000000 (v3927)
    xopt[2041] = 1.000000 (v1211)
    xopt[2042] = 1.000000 (v8756)
    xopt[2046] = 1.000000 (v8757)
    xopt[2048] = 1.000000 (v1213)
    xopt[2049] = 1.000000 (v8758)
    xopt[2051] = 1.000000 (v1214)
    xopt[2053] = 1.000000 (v6042)
    xopt[2054] = 1.000000 (v1215)
    xopt[2055] = 1.000000 (v6043)
    xopt[2056] = 1.000000 (v1216)
    xopt[2057] = 1.000000 (v6044)
    xopt[2058] = 1.000000 (v1217)
    xopt[2059] = 1.000000 (v6045)
    xopt[2060] = 1.000000 (v1218)
    xopt[2063] = 1.000000 (v3930)
    xopt[2064] = 1.000000 (v6047)
    xopt[2065] = 1.000000 (v3931)
    xopt[2066] = 1.000000 (v6048)
    xopt[2068] = 1.000000 (v8760)
    xopt[2071] = 1.000000 (v8761)
    xopt[2080] = 1.000000 (v8765)
    xopt[2088] = 1.000000 (v1223)
    xopt[2091] = 1.000000 (v1224)
    xopt[2094] = 1.000000 (v1225)
    xopt[2096] = 1.000000 (v1226)
    xopt[2098] = 1.000000 (v1227)
    xopt[2100] = 1.000000 (v1228)
    xopt[2102] = 1.000000 (v1229)
    xopt[2109] = 1.000000 (v6059)
    xopt[2118] = 1.000000 (v1230)
    xopt[2123] = 1.000000 (v8776)
    xopt[2126] = 1.000000 (v8777)
    xopt[2127] = 1.000000 (v6060)
    xopt[2137] = 1.000000 (v6064)
    xopt[2148] = 1.000000 (v6069)
    xopt[2172] = 1.000000 (v6072)
    xopt[2175] = 1.000000 (v6073)
    xopt[2181] = 1.000000 (v6076)
    xopt[2183] = 1.000000 (v6077)
    xopt[2185] = 1.000000 (v6078)
    xopt[2186] = 1.000000 (v3961)
    xopt[2187] = 1.000000 (v6079)
    xopt[2189] = 1.000000 (v3962)
    xopt[2193] = 1.000000 (v3964)
    xopt[2195] = 1.000000 (v3965)
    xopt[2206] = 1.000000 (v6080)
    xopt[2210] = 1.000000 (v6081)
    xopt[2218] = 1.000000 (v1257)
    xopt[2230] = 1.000000 (v3974)
    xopt[2232] = 1.000000 (v3976)
    xopt[2234] = 1.000000 (v3977)
    xopt[2246] = 1.000000 (v1266)
    xopt[2248] = 1.000000 (v1267)
    xopt[2250] = 1.000000 (v1268)
    xopt[2252] = 1.000000 (v1269)
    xopt[2262] = 1.000000 (v3986)
    xopt[2272] = 1.000000 (v1276)
    xopt[2273] = 1.000000 (v1277)
    xopt[2276] = 1.000000 (v3990)
    xopt[2286] = 1.000000 (v3998)
    xopt[2307] = 1.000000 (v8801)
    xopt[2308] = 1.000000 (v8802)
    xopt[2309] = 1.000000 (v8803)
    xopt[2310] = 1.000000 (v8804)
    xopt[2311] = 1.000000 (v8805)
    xopt[2312] = 1.000000 (v8806)
    xopt[2316] = 1.000000 (v8810)
    xopt[2335] = 1.000000 (v6109)
    xopt[2343] = 1.000000 (v6110)
    xopt[2345] = 1.000000 (v6111)
    xopt[2351] = 1.000000 (v6115)
    xopt[2377] = 1.000000 (v8841)
    xopt[2378] = 1.000000 (v8842)
    xopt[2379] = 1.000000 (v8843)
    xopt[2450] = 1.000000 (v1323)
    xopt[2453] = 1.000000 (v1324)
    xopt[2455] = 1.000000 (v1325)
    xopt[2457] = 1.000000 (v1326)
    xopt[2459] = 1.000000 (v1327)
    xopt[2461] = 1.000000 (v1328)
    xopt[2463] = 1.000000 (v1329)
    xopt[2464] = 1.000000 (v6158)
    xopt[2474] = 1.000000 (v1331)
    xopt[2477] = 1.000000 (v1332)
    xopt[2479] = 1.000000 (v6161)
    xopt[2480] = 1.000000 (v1333)
    xopt[2482] = 1.000000 (v6162)
    xopt[2483] = 1.000000 (v1334)
    xopt[2488] = 1.000000 (v6165)
    xopt[2490] = 1.000000 (v6166)
    xopt[2506] = 1.000000 (v6170)
    xopt[2533] = 1.000000 (v8896)
    xopt[2542] = 1.000000 (v6182)
    xopt[2544] = 1.000000 (v6183)
    xopt[2558] = 1.000000 (v6190)
    xopt[2560] = 1.000000 (v6191)
    xopt[2568] = 1.000000 (v6195)
    xopt[2575] = 1.000000 (v6199)
    xopt[2611] = 1.000000 (v8905)
    xopt[2612] = 1.000000 (v8906)
    xopt[2613] = 1.000000 (v8907)
    xopt[2614] = 1.000000 (v8908)
    xopt[2623] = 1.000000 (v6200)
    xopt[2627] = 1.000000 (v6202)
    xopt[2629] = 1.000000 (v6203)
    xopt[2634] = 1.000000 (v6208)
    xopt[2647] = 1.000000 (v6212)
    xopt[2651] = 1.000000 (v6215)
    xopt[2652] = 1.000000 (v6216)
    xopt[2655] = 1.000000 (v6219)
    xopt[2660] = 1.000000 (v8934)
    xopt[2661] = 1.000000 (v8935)
    xopt[2662] = 1.000000 (v8936)
    xopt[2663] = 1.000000 (v6220)
    xopt[2664] = 1.000000 (v8937)
    xopt[2666] = 1.000000 (v8938)
    xopt[2668] = 1.000000 (v8939)
    xopt[2678] = 1.000000 (v8942)
    xopt[2679] = 1.000000 (v8943)
    xopt[2680] = 1.000000 (v8944)
    xopt[2682] = 1.000000 (v8945)
    xopt[2684] = 1.000000 (v8946)
    xopt[2686] = 1.000000 (v8947)
    xopt[2695] = 1.000000 (v6233)
    xopt[2712] = 1.000000 (v8955)
    xopt[2714] = 1.000000 (v8956)
    xopt[2730] = 1.000000 (v6246)
    xopt[2732] = 1.000000 (v6247)
    xopt[2734] = 1.000000 (v6248)
    xopt[2735] = 1.000000 (v6249)
    xopt[2740] = 1.000000 (v8964)
    xopt[2745] = 1.000000 (v6250)
    xopt[2746] = 1.000000 (v1422)
    xopt[2755] = 1.000000 (v1425)
    xopt[2757] = 1.000000 (v1426)
    xopt[2764] = 1.000000 (v6258)
    xopt[2774] = 1.000000 (v8976)
    xopt[2782] = 1.000000 (v1434)
    xopt[2808] = 1.000000 (v1443)
    xopt[2812] = 1.000000 (v1444)
    xopt[2814] = 1.000000 (v1445)
    xopt[2816] = 1.000000 (v1446)
    xopt[2817] = 1.000000 (v6274)
    xopt[2818] = 1.000000 (v1447)
    xopt[2834] = 1.000000 (v1451)
    xopt[2844] = 1.000000 (v1455)
    xopt[2861] = 1.000000 (v6291)
    xopt[2863] = 1.000000 (v6292)
    xopt[2865] = 1.000000 (v6293)
    xopt[2867] = 1.000000 (v6294)
    xopt[2868] = 1.000000 (v1467)
    xopt[2899] = 1.000000 (v1493)
    xopt[2900] = 1.000000 (v1494)
    xopt[2901] = 1.000000 (v1495)
    xopt[2902] = 1.000000 (v1496)
    xopt[2903] = 1.000000 (v1497)
    xopt[2924] = 1.000000 (v6318)
    xopt[2925] = 1.000000 (v6319)
    xopt[2926] = 1.000000 (v6320)
    xopt[2927] = 1.000000 (v6321)
    xopt[2928] = 1.000000 (v6322)
    xopt[2932] = 1.000000 (v6326)
    xopt[2937] = 1.000000 (v1501)
    xopt[2944] = 1.000000 (v1505)
    xopt[2945] = 1.000000 (v6333)
    xopt[2946] = 1.000000 (v1506)
    xopt[2947] = 1.000000 (v6334)
    xopt[2948] = 1.000000 (v1507)
    xopt[2949] = 1.000000 (v6335)
    xopt[2950] = 1.000000 (v1508)
    xopt[2951] = 1.000000 (v6336)
    xopt[2952] = 1.000000 (v1509)
    xopt[2953] = 1.000000 (v6337)
    xopt[2954] = 1.000000 (v6338)
    xopt[2956] = 1.000000 (v1510)
    xopt[2958] = 1.000000 (v1512)
    xopt[2960] = 1.000000 (v1513)
    xopt[2962] = 1.000000 (v1514)
    xopt[2964] = 1.000000 (v1515)
    xopt[2966] = 1.000000 (v1516)
    xopt[2968] = 1.000000 (v1517)
    xopt[2973] = 1.000000 (v6347)
    xopt[2987] = 1.000000 (v6354)
    xopt[2989] = 1.000000 (v6355)
    xopt[2994] = 1.000000 (v6358)
    xopt[2995] = 1.000000 (v6359)
    xopt[2999] = 1.000000 (v6360)
    xopt[3003] = 1.000000 (v6362)
    xopt[3005] = 1.000000 (v6363)
    xopt[3014] = 1.000000 (v6368)
    xopt[3018] = 1.000000 (v6370)
    xopt[3020] = 1.000000 (v6371)
    xopt[3022] = 1.000000 (v6372)
    xopt[3030] = 1.000000 (v6376)
    xopt[3046] = 1.000000 (v6384)
    xopt[3048] = 1.000000 (v6385)
    xopt[3050] = 1.000000 (v6386)
    xopt[3052] = 1.000000 (v6387)
    xopt[3054] = 1.000000 (v6388)
    xopt[3065] = 1.000000 (v6393)
    xopt[3069] = 1.000000 (v6395)
    xopt[3071] = 1.000000 (v6396)
    xopt[3073] = 1.000000 (v6397)
    xopt[3096] = 1.000000 (v1590)
    xopt[3098] = 1.000000 (v1592)
    xopt[3099] = 1.000000 (v1593)
    xopt[3100] = 1.000000 (v1594)
    xopt[3106] = 1.000000 (v6400)
    xopt[3107] = 1.000000 (v6401)
    xopt[3110] = 1.000000 (v6404)
    xopt[3111] = 1.000000 (v6405)
    xopt[3112] = 1.000000 (v6406)
    xopt[3113] = 1.000000 (v6407)
    xopt[3114] = 1.000000 (v6408)
    xopt[3115] = 1.000000 (v6409)
    xopt[3118] = 1.000000 (v6412)
    xopt[3119] = 1.000000 (v6413)
    xopt[3122] = 1.000000 (v6416)
    xopt[3123] = 1.000000 (v6417)
    xopt[3127] = 1.000000 (v6421)
    xopt[3128] = 1.000000 (v6422)
    xopt[3132] = 1.000000 (v6426)
    xopt[3138] = 1.000000 (v1602)
    xopt[3146] = 1.000000 (v1606)
    xopt[3152] = 1.000000 (v1609)
    xopt[3156] = 1.000000 (v1610)
    xopt[3161] = 1.000000 (v6441)
    xopt[3163] = 1.000000 (v6442)
    xopt[3165] = 1.000000 (v1615)
    xopt[3168] = 1.000000 (v6445)
    xopt[3169] = 1.000000 (v1617)
    xopt[3170] = 1.000000 (v6446)
    xopt[3171] = 1.000000 (v1618)
    xopt[3172] = 1.000000 (v6447)
    xopt[3173] = 1.000000 (v1619)
    xopt[3174] = 1.000000 (v6448)
    xopt[3176] = 1.000000 (v1620)
    xopt[3177] = 1.000000 (v1621)
    xopt[3178] = 1.000000 (v6450)
    xopt[3179] = 1.000000 (v1622)
    xopt[3180] = 1.000000 (v6451)
    xopt[3181] = 1.000000 (v1623)
    xopt[3190] = 1.000000 (v6456)
    xopt[3192] = 1.000000 (v6457)
    xopt[3194] = 1.000000 (v6458)
    xopt[3195] = 1.000000 (v6459)
    xopt[3197] = 1.000000 (v1631)
    xopt[3199] = 1.000000 (v1632)
    xopt[3217] = 1.000000 (v1641)
    xopt[3222] = 1.000000 (v6472)
    xopt[3223] = 1.000000 (v1644)
    xopt[3224] = 1.000000 (v1645)
    xopt[3232] = 1.000000 (v1649)
    xopt[3240] = 1.000000 (v1653)
    xopt[3249] = 1.000000 (v1657)
    xopt[3255] = 1.000000 (v6489)
    xopt[3256] = 1.000000 (v1660)
    xopt[3257] = 1.000000 (v1661)
    xopt[3259] = 1.000000 (v6490)
    xopt[3261] = 1.000000 (v6491)
    xopt[3263] = 1.000000 (v6492)
    xopt[3266] = 1.000000 (v1666)
    xopt[3273] = 1.000000 (v6497)
    xopt[3308] = 1.000000 (v6502)
    xopt[3309] = 1.000000 (v6503)
    xopt[3310] = 1.000000 (v6504)
    xopt[3311] = 1.000000 (v6505)
    xopt[3314] = 1.000000 (v6508)
    xopt[3315] = 1.000000 (v6509)
    xopt[3360] = 1.000000 (v1713)
    xopt[3371] = 1.000000 (v1718)
    xopt[3372] = 1.000000 (v6547)
    xopt[3376] = 1.000000 (v1720)
    xopt[3377] = 1.000000 (v1721)
    xopt[3388] = 1.000000 (v1727)
    xopt[3390] = 1.000000 (v1728)
    xopt[3397] = 1.000000 (v1731)
    xopt[3399] = 1.000000 (v1732)
    xopt[3404] = 1.000000 (v6563)
    xopt[3407] = 1.000000 (v1736)
    xopt[3409] = 1.000000 (v1737)
    xopt[3417] = 1.000000 (v1741)
    xopt[3422] = 1.000000 (v6572)
    xopt[3436] = 1.000000 (v1750)
    xopt[3437] = 1.000000 (v1751)
    xopt[3439] = 1.000000 (v1752)
    xopt[3440] = 1.000000 (v6581)
    xopt[3441] = 1.000000 (v1753)
    xopt[3442] = 1.000000 (v6582)
    xopt[3443] = 1.000000 (v1754)
    xopt[3444] = 1.000000 (v6583)
    xopt[3446] = 1.000000 (v6584)
    xopt[3447] = 1.000000 (v1756)
    xopt[3448] = 1.000000 (v6585)
    xopt[3449] = 1.000000 (v1757)
    xopt[3450] = 1.000000 (v6586)
    xopt[3452] = 1.000000 (v6587)
    xopt[3454] = 1.000000 (v6588)
    xopt[3455] = 1.000000 (v6589)
    xopt[3458] = 1.000000 (v6590)
    xopt[3460] = 1.000000 (v6591)
    xopt[3462] = 1.000000 (v6592)
    xopt[3465] = 1.000000 (v6593)
    xopt[3469] = 1.000000 (v6595)
    xopt[3471] = 1.000000 (v6596)
    xopt[3473] = 1.000000 (v6597)
    xopt[3507] = 1.000000 (v6601)
    xopt[3508] = 1.000000 (v6602)
    xopt[3509] = 1.000000 (v6603)
    xopt[3510] = 1.000000 (v6604)
    xopt[3511] = 1.000000 (v6605)
    xopt[3520] = 1.000000 (v6614)
    xopt[3521] = 1.000000 (v6615)
    xopt[3522] = 1.000000 (v6616)
    xopt[3523] = 1.000000 (v6617)
    xopt[3524] = 1.000000 (v6618)
    xopt[3528] = 1.000000 (v6622)
    xopt[3529] = 1.000000 (v6623)
    xopt[3530] = 1.000000 (v6624)
    xopt[3531] = 1.000000 (v6625)
    xopt[3532] = 1.000000 (v6626)
    xopt[3533] = 1.000000 (v6627)
    xopt[3534] = 1.000000 (v6628)
    xopt[3535] = 1.000000 (v6629)
    xopt[3538] = 1.000000 (v6630)
    xopt[3548] = 1.000000 (v6635)
    xopt[3552] = 1.000000 (v6637)
    xopt[3554] = 1.000000 (v6638)
    xopt[3555] = 1.000000 (v6639)
    xopt[3557] = 1.000000 (v1811)
    xopt[3558] = 1.000000 (v6640)
    xopt[3559] = 1.000000 (v1812)
    xopt[3561] = 1.000000 (v1813)
    xopt[3562] = 1.000000 (v6642)
    xopt[3564] = 1.000000 (v6643)
    xopt[3565] = 1.000000 (v1815)
    xopt[3567] = 1.000000 (v1816)
    xopt[3570] = 1.000000 (v6646)
    xopt[3572] = 1.000000 (v6647)
    xopt[3573] = 1.000000 (v1819)
    xopt[3576] = 1.000000 (v1820)
    xopt[3577] = 1.000000 (v1821)
    xopt[3581] = 1.000000 (v1823)
    xopt[3583] = 1.000000 (v1824)
    xopt[3585] = 1.000000 (v1825)
    xopt[3589] = 1.000000 (v1827)
    xopt[3591] = 1.000000 (v1828)
    xopt[3595] = 1.000000 (v6659)
    xopt[3597] = 1.000000 (v1831)
    xopt[3598] = 1.000000 (v1832)
    xopt[3599] = 1.000000 (v6660)
    xopt[3600] = 1.000000 (v1833)
    xopt[3601] = 1.000000 (v6661)
    xopt[3603] = 1.000000 (v6662)
    xopt[3604] = 1.000000 (v1835)
    xopt[3606] = 1.000000 (v1836)
    xopt[3607] = 1.000000 (v6664)
    xopt[3609] = 1.000000 (v6665)
    xopt[3611] = 1.000000 (v6666)
    xopt[3614] = 1.000000 (v6668)
    xopt[3615] = 1.000000 (v6669)
    xopt[3616] = 1.000000 (v1840)
    xopt[3617] = 1.000000 (v1841)
    xopt[3618] = 1.000000 (v1842)
    xopt[3620] = 1.000000 (v1843)
    xopt[3622] = 1.000000 (v1844)
    xopt[3623] = 1.000000 (v6672)
    xopt[3624] = 1.000000 (v1845)
    xopt[3625] = 1.000000 (v6673)
    xopt[3627] = 1.000000 (v6674)
    xopt[3628] = 1.000000 (v1847)
    xopt[3629] = 1.000000 (v6675)
    xopt[3630] = 1.000000 (v1848)
    xopt[3631] = 1.000000 (v6676)
    xopt[3632] = 1.000000 (v1849)
    xopt[3633] = 1.000000 (v6677)
    xopt[3634] = 1.000000 (v6678)
    xopt[3636] = 1.000000 (v1850)
    xopt[3637] = 1.000000 (v1851)
    xopt[3638] = 1.000000 (v1852)
    xopt[3639] = 1.000000 (v6680)
    xopt[3640] = 1.000000 (v6681)
    xopt[3641] = 1.000000 (v1853)
    xopt[3643] = 1.000000 (v1854)
    xopt[3644] = 1.000000 (v1855)
    xopt[3646] = 1.000000 (v6684)
    xopt[3647] = 1.000000 (v1856)
    xopt[3648] = 1.000000 (v6685)
    xopt[3649] = 1.000000 (v1857)
    xopt[3650] = 1.000000 (v6686)
    xopt[3651] = 1.000000 (v1858)
    xopt[3652] = 1.000000 (v6687)
    xopt[3655] = 1.000000 (v6689)
    xopt[3656] = 1.000000 (v1860)
    xopt[3657] = 1.000000 (v1861)
    xopt[3658] = 1.000000 (v6690)
    xopt[3659] = 1.000000 (v1862)
    xopt[3660] = 1.000000 (v6691)
    xopt[3661] = 1.000000 (v1863)
    xopt[3662] = 1.000000 (v1864)
    xopt[3663] = 1.000000 (v6692)
    xopt[3664] = 1.000000 (v1865)
    xopt[3665] = 1.000000 (v6693)
    xopt[3666] = 1.000000 (v1866)
    xopt[3667] = 1.000000 (v6694)
    xopt[3668] = 1.000000 (v1867)
    xopt[3670] = 1.000000 (v1868)
    xopt[3672] = 1.000000 (v1869)
    xopt[3678] = 1.000000 (v1872)
    xopt[3679] = 1.000000 (v1873)
    xopt[3680] = 1.000000 (v1874)
    xopt[3681] = 1.000000 (v1875)
    xopt[3683] = 1.000000 (v1877)
    xopt[3684] = 1.000000 (v1878)
    xopt[3687] = 1.000000 (v1881)
    xopt[3688] = 1.000000 (v1882)
    xopt[3689] = 1.000000 (v1883)
    xopt[3690] = 1.000000 (v1884)
    xopt[3691] = 1.000000 (v1885)
    xopt[3692] = 1.000000 (v1886)
    xopt[3696] = 1.000000 (v1890)
    xopt[3697] = 1.000000 (v1891)
    xopt[3698] = 1.000000 (v1892)
    xopt[3699] = 1.000000 (v1893)
    xopt[3700] = 1.000000 (v1894)
    xopt[3705] = 1.000000 (v1899)
    xopt[3709] = 1.000000 (v6703)
    xopt[3711] = 1.000000 (v6705)
    xopt[3712] = 1.000000 (v6706)
    xopt[3716] = 1.000000 (v6710)
    xopt[3717] = 1.000000 (v6711)
    xopt[3722] = 1.000000 (v6716)
    xopt[3725] = 1.000000 (v4001)
    xopt[3726] = 1.000000 (v6718)
    xopt[3727] = 1.000000 (v4002)
    xopt[3728] = 1.000000 (v6719)
    xopt[3729] = 1.000000 (v4003)
    xopt[3730] = 1.000000 (v4004)
    xopt[3731] = 1.000000 (v4005)
    xopt[3732] = 1.000000 (v4006)
    xopt[3742] = 1.000000 (v6726)
    xopt[3743] = 1.000000 (v4010)
    xopt[3744] = 1.000000 (v6727)
    xopt[3745] = 1.000000 (v4011)
    xopt[3746] = 1.000000 (v6728)
    xopt[3747] = 1.000000 (v4012)
    xopt[3750] = 1.000000 (v4014)
    xopt[3751] = 1.000000 (v4015)
    xopt[3757] = 1.000000 (v4019)
    xopt[3758] = 1.000000 (v1902)
    xopt[3759] = 1.000000 (v6730)
    xopt[3760] = 1.000000 (v1903)
    xopt[3761] = 1.000000 (v6731)
    xopt[3767] = 1.000000 (v6734)
    xopt[3768] = 1.000000 (v1907)
    xopt[3769] = 1.000000 (v6735)
    xopt[3770] = 1.000000 (v1908)
    xopt[3771] = 1.000000 (v6736)
    xopt[3772] = 1.000000 (v4020)
    xopt[3773] = 1.000000 (v1909)
    xopt[3775] = 1.000000 (v4021)
    xopt[3777] = 1.000000 (v4022)
    xopt[3779] = 1.000000 (v4023)
    xopt[3780] = 1.000000 (v4024)
    xopt[3782] = 1.000000 (v4026)
    xopt[3783] = 1.000000 (v4027)
    xopt[3784] = 1.000000 (v1910)
    xopt[3786] = 1.000000 (v1911)
    xopt[3788] = 1.000000 (v1912)
    xopt[3791] = 1.000000 (v6741)
    xopt[3792] = 1.000000 (v1914)
    xopt[3794] = 1.000000 (v1915)
    xopt[3795] = 1.000000 (v6743)
    xopt[3797] = 1.000000 (v6744)
    xopt[3799] = 1.000000 (v6745)
    xopt[3802] = 1.000000 (v4030)
    xopt[3804] = 1.000000 (v6747)
    xopt[3805] = 1.000000 (v4031)
    xopt[3806] = 1.000000 (v6748)
    xopt[3808] = 1.000000 (v4032)
    xopt[3809] = 1.000000 (v4033)
    xopt[3810] = 1.000000 (v4034)
    xopt[3811] = 1.000000 (v4035)
    xopt[3812] = 1.000000 (v4036)
    xopt[3817] = 1.000000 (v1922)
    xopt[3820] = 1.000000 (v1923)
    xopt[3822] = 1.000000 (v1924)
    xopt[3824] = 1.000000 (v1925)
    xopt[3826] = 1.000000 (v1926)
    xopt[3828] = 1.000000 (v1927)
    xopt[3829] = 1.000000 (v6755)
    xopt[3830] = 1.000000 (v1928)
    xopt[3831] = 1.000000 (v6756)
    xopt[3833] = 1.000000 (v1929)
    xopt[3834] = 1.000000 (v4040)
    xopt[3841] = 1.000000 (v4045)
    xopt[3843] = 1.000000 (v1930)
    xopt[3844] = 1.000000 (v4047)
    xopt[3845] = 1.000000 (v1931)
    xopt[3846] = 1.000000 (v4048)
    xopt[3847] = 1.000000 (v6760)
    xopt[3848] = 1.000000 (v1932)
    xopt[3849] = 1.000000 (v4049)
    xopt[3850] = 1.000000 (v6761)
    xopt[3851] = 1.000000 (v1933)
    xopt[3853] = 1.000000 (v1934)
    xopt[3854] = 1.000000 (v1935)
    xopt[3856] = 1.000000 (v6764)
    xopt[3857] = 1.000000 (v1936)
    xopt[3858] = 1.000000 (v1937)
    xopt[3859] = 1.000000 (v6765)
    xopt[3860] = 1.000000 (v1938)
    xopt[3861] = 1.000000 (v6766)
    xopt[3862] = 1.000000 (v1939)
    xopt[3864] = 1.000000 (v4050)
    xopt[3865] = 1.000000 (v6768)
    xopt[3866] = 1.000000 (v4051)
    xopt[3867] = 1.000000 (v6769)
    xopt[3868] = 1.000000 (v4052)
    xopt[3869] = 1.000000 (v4053)
    xopt[3870] = 1.000000 (v4054)
    xopt[3871] = 1.000000 (v4055)
    xopt[3872] = 1.000000 (v4056)
    xopt[3873] = 1.000000 (v1940)
    xopt[3875] = 1.000000 (v1941)
    xopt[3877] = 1.000000 (v1942)
    xopt[3878] = 1.000000 (v6770)
    xopt[3879] = 1.000000 (v4059)
    xopt[3880] = 1.000000 (v1943)
    xopt[3882] = 1.000000 (v1944)
    xopt[3883] = 1.000000 (v6772)
    xopt[3884] = 1.000000 (v6773)
    xopt[3886] = 1.000000 (v6774)
    xopt[3888] = 1.000000 (v6775)
    xopt[3890] = 1.000000 (v6776)
    xopt[3891] = 1.000000 (v1948)
    xopt[3892] = 1.000000 (v6777)
    xopt[3894] = 1.000000 (v1949)
    xopt[3895] = 1.000000 (v6778)
    xopt[3897] = 1.000000 (v6779)
    xopt[3900] = 1.000000 (v4064)
    xopt[3902] = 1.000000 (v4066)
    xopt[3903] = 1.000000 (v4067)
    xopt[3904] = 1.000000 (v1950)
    xopt[3905] = 1.000000 (v4068)
    xopt[3907] = 1.000000 (v6780)
    xopt[3908] = 1.000000 (v4069)
    xopt[3913] = 1.000000 (v1954)
    xopt[3914] = 1.000000 (v6783)
    xopt[3916] = 1.000000 (v6784)
    xopt[3918] = 1.000000 (v6785)
    xopt[3919] = 1.000000 (v1957)
    xopt[3920] = 1.000000 (v1958)
    xopt[3921] = 1.000000 (v6786)
    xopt[3922] = 1.000000 (v4070)
    xopt[3924] = 1.000000 (v6787)
    xopt[3925] = 1.000000 (v4071)
    xopt[3926] = 1.000000 (v6788)
    xopt[3928] = 1.000000 (v6789)
    xopt[3930] = 1.000000 (v4074)
    xopt[3931] = 1.000000 (v4075)
    xopt[3937] = 1.000000 (v4079)
    xopt[3938] = 1.000000 (v1962)
    xopt[3939] = 1.000000 (v6790)
    xopt[3940] = 1.000000 (v1963)
    xopt[3941] = 1.000000 (v6791)
    xopt[3942] = 1.000000 (v1964)
    xopt[3943] = 1.000000 (v6792)
    xopt[3944] = 1.000000 (v1965)
    xopt[3945] = 1.000000 (v6793)
    xopt[3946] = 1.000000 (v1966)
    xopt[3947] = 1.000000 (v6794)
    xopt[3948] = 1.000000 (v1967)
    xopt[3950] = 1.000000 (v6796)
    xopt[3951] = 1.000000 (v1968)
    xopt[3952] = 1.000000 (v4080)
    xopt[3953] = 1.000000 (v6797)
    xopt[3954] = 1.000000 (v1969)
    xopt[3955] = 1.000000 (v4081)
    xopt[3956] = 1.000000 (v6798)
    xopt[3957] = 1.000000 (v4082)
    xopt[3958] = 1.000000 (v6799)
    xopt[3959] = 1.000000 (v4083)
    xopt[3960] = 1.000000 (v4084)
    xopt[3961] = 1.000000 (v4085)
    xopt[3962] = 1.000000 (v4086)
    xopt[3963] = 1.000000 (v4087)
    xopt[3964] = 1.000000 (v1970)
    xopt[3965] = 1.000000 (v4088)
    xopt[3967] = 1.000000 (v4089)
    xopt[3969] = 1.000000 (v1973)
    xopt[3970] = 1.000000 (v1974)
    xopt[3971] = 1.000000 (v1975)
    xopt[3972] = 1.000000 (v1976)
    xopt[3973] = 1.000000 (v1977)
    xopt[3974] = 1.000000 (v1978)
    xopt[3975] = 1.000000 (v4090)
    xopt[3976] = 1.000000 (v1979)
    xopt[3977] = 1.000000 (v4091)
    xopt[3978] = 1.000000 (v4092)
    xopt[3979] = 1.000000 (v4093)
    xopt[3980] = 1.000000 (v4094)
    xopt[3981] = 1.000000 (v4095)
    xopt[3982] = 1.000000 (v4096)
    xopt[3984] = 1.000000 (v1980)
    xopt[3986] = 1.000000 (v1981)
    xopt[3987] = 1.000000 (v4099)
    xopt[3988] = 1.000000 (v1982)
    xopt[3989] = 1.000000 (v1983)
    xopt[3990] = 1.000000 (v1984)
    xopt[3991] = 1.000000 (v1985)
    xopt[3993] = 1.000000 (v1987)
    xopt[3994] = 1.000000 (v1988)
    xopt[3995] = 1.000000 (v1989)
    xopt[3996] = 1.000000 (v1990)
    xopt[3998] = 1.000000 (v1992)
    xopt[3999] = 1.000000 (v1993)
    xopt[4000] = 1.000000 (v1994)
    xopt[4001] = 1.000000 (v1995)
    xopt[4002] = 1.000000 (v1996)
    xopt[4003] = 1.000000 (v1997)
    xopt[4004] = 1.000000 (v1998)
    xopt[4005] = 1.000000 (v1999)
    xopt[4007] = 1.000000 (v10001)
    xopt[4008] = 1.000000 (v10002)
    xopt[4009] = 1.000000 (v10003)
    xopt[4010] = 1.000000 (v10004)
    xopt[4011] = 1.000000 (v10005)
    xopt[4012] = 1.000000 (v10006)
    xopt[4013] = 1.000000 (v10007)
    xopt[4014] = 1.000000 (v10008)
    xopt[4015] = 1.000000 (v10009)
    xopt[4016] = 1.000000 (v6800)
    xopt[4017] = 1.000000 (v6801)
    xopt[4018] = 1.000000 (v6802)
    xopt[4020] = 1.000000 (v6804)
    xopt[4021] = 1.000000 (v6805)
    xopt[4022] = 1.000000 (v6806)
    xopt[4023] = 1.000000 (v10010)
    xopt[4024] = 1.000000 (v6807)
    xopt[4026] = 1.000000 (v6808)
    xopt[4028] = 1.000000 (v6809)
    xopt[4029] = 1.000000 (v10013)
    xopt[4030] = 1.000000 (v10014)
    xopt[4031] = 1.000000 (v10015)
    xopt[4033] = 1.000000 (v10017)
    xopt[4034] = 1.000000 (v10018)
    xopt[4035] = 1.000000 (v10019)
    xopt[4036] = 1.000000 (v6810)
    xopt[4037] = 1.000000 (v6811)
    xopt[4038] = 1.000000 (v6812)
    xopt[4039] = 1.000000 (v6813)
    xopt[4040] = 1.000000 (v6814)
    xopt[4041] = 1.000000 (v6815)
    xopt[4042] = 1.000000 (v6816)
    xopt[4043] = 1.000000 (v10020)
    xopt[4044] = 1.000000 (v4100)
    xopt[4045] = 1.000000 (v6817)
    xopt[4046] = 1.000000 (v10021)
    xopt[4047] = 1.000000 (v4101)
    xopt[4048] = 1.000000 (v6818)
    xopt[4049] = 1.000000 (v10022)
    xopt[4050] = 1.000000 (v4102)
    xopt[4052] = 1.000000 (v10023)
    xopt[4053] = 1.000000 (v4103)
    xopt[4054] = 1.000000 (v10024)
    xopt[4055] = 1.000000 (v4104)
    xopt[4058] = 1.000000 (v10026)
    xopt[4060] = 1.000000 (v10027)
    xopt[4062] = 1.000000 (v10028)
    xopt[4063] = 1.000000 (v4108)
    xopt[4066] = 1.000000 (v4109)
    xopt[4068] = 1.000000 (v6822)
    xopt[4069] = 1.000000 (v6823)
    xopt[4071] = 1.000000 (v6825)
    xopt[4072] = 1.000000 (v6826)
    xopt[4073] = 1.000000 (v10030)
    xopt[4074] = 1.000000 (v6827)
    xopt[4076] = 1.000000 (v10031)
    xopt[4077] = 1.000000 (v6828)
    xopt[4078] = 1.000000 (v10032)
    xopt[4080] = 1.000000 (v6829)
    xopt[4083] = 1.000000 (v4113)
    xopt[4084] = 1.000000 (v10034)
    xopt[4085] = 1.000000 (v10035)
    xopt[4087] = 1.000000 (v10036)
    xopt[4091] = 1.000000 (v10038)
    xopt[4093] = 1.000000 (v10039)
    xopt[4095] = 1.000000 (v6830)
    xopt[4097] = 1.000000 (v6831)
    xopt[4098] = 1.000000 (v6832)
    xopt[4099] = 1.000000 (v6833)
    xopt[4100] = 1.000000 (v6834)
    xopt[4101] = 1.000000 (v6835)
    xopt[4102] = 1.000000 (v10040)
    xopt[4103] = 1.000000 (v6836)
    xopt[4104] = 1.000000 (v10041)
    xopt[4106] = 1.000000 (v6837)
    xopt[4107] = 1.000000 (v10042)
    xopt[4109] = 1.000000 (v6838)
    xopt[4110] = 1.000000 (v4122)
    xopt[4111] = 1.000000 (v10043)
    xopt[4112] = 1.000000 (v6839)
    xopt[4113] = 1.000000 (v4123)
    xopt[4116] = 1.000000 (v4124)
    xopt[4118] = 1.000000 (v4125)
    xopt[4122] = 1.000000 (v10048)
    xopt[4126] = 1.000000 (v6840)
    xopt[4138] = 1.000000 (v10052)
    xopt[4146] = 1.000000 (v10055)
    xopt[4148] = 1.000000 (v10056)
    xopt[4162] = 1.000000 (v6856)
    xopt[4165] = 1.000000 (v6857)
    xopt[4174] = 1.000000 (v10064)
    xopt[4188] = 1.000000 (v6862)
    xopt[4190] = 1.000000 (v6864)
    xopt[4191] = 1.000000 (v6865)
    xopt[4199] = 1.000000 (v6868)
    xopt[4202] = 1.000000 (v6869)
    xopt[4216] = 1.000000 (v6870)
    xopt[4217] = 1.000000 (v6871)
    xopt[4218] = 1.000000 (v6872)
    xopt[4219] = 1.000000 (v6873)
    xopt[4226] = 1.000000 (v6877)
    xopt[4247] = 1.000000 (v6881)
    xopt[4248] = 1.000000 (v6882)
    xopt[4290] = 1.000000 (v4184)
    xopt[4291] = 1.000000 (v4185)
    xopt[4293] = 1.000000 (v4187)
    xopt[4294] = 1.000000 (v4188)
    xopt[4297] = 1.000000 (v4191)
    xopt[4298] = 1.000000 (v4192)
    xopt[4344] = 1.000000 (v6907)
    xopt[4355] = 1.000000 (v9023)
    xopt[4357] = 1.000000 (v9024)
    xopt[4359] = 1.000000 (v9025)
    xopt[4361] = 1.000000 (v9026)
    xopt[4363] = 1.000000 (v9027)
    xopt[4383] = 1.000000 (v6919)
    xopt[4393] = 1.000000 (v9034)
    xopt[4396] = 1.000000 (v9035)
    xopt[4399] = 1.000000 (v9036)
    xopt[4405] = 1.000000 (v9038)
    xopt[4407] = 1.000000 (v9039)
    xopt[4420] = 1.000000 (v9040)
    xopt[4424] = 1.000000 (v9041)
    xopt[4447] = 1.000000 (v6932)
    xopt[4462] = 1.000000 (v6939)
    xopt[4478] = 1.000000 (v10148)
    xopt[4483] = 1.000000 (v6940)
    xopt[4498] = 1.000000 (v6948)
    xopt[4504] = 1.000000 (v4233)
    xopt[4508] = 1.000000 (v10155)
    xopt[4511] = 1.000000 (v10156)
    xopt[4516] = 1.000000 (v4237)
    xopt[4527] = 1.000000 (v6952)
    xopt[4531] = 1.000000 (v6955)
    xopt[4532] = 1.000000 (v6956)
    xopt[4533] = 1.000000 (v10160)
    xopt[4537] = 1.000000 (v4241)
    xopt[4541] = 1.000000 (v6959)
    xopt[4545] = 1.000000 (v10164)
    xopt[4547] = 1.000000 (v4244)
    xopt[4550] = 1.000000 (v4245)
    xopt[4553] = 1.000000 (v4246)
    xopt[4554] = 1.000000 (v10167)
    xopt[4557] = 1.000000 (v10168)
    xopt[4562] = 1.000000 (v6960)
    xopt[4570] = 1.000000 (v6964)
    xopt[4577] = 1.000000 (v6968)
    xopt[4578] = 1.000000 (v4251)
    xopt[4606] = 1.000000 (v9088)
    xopt[4614] = 1.000000 (v6977)
    xopt[4615] = 1.000000 (v4260)
    xopt[4618] = 1.000000 (v4261)
    xopt[4620] = 1.000000 (v4262)
    xopt[4625] = 1.000000 (v4263)
    xopt[4628] = 1.000000 (v4264)
    xopt[4639] = 1.000000 (v9096)
    xopt[4647] = 1.000000 (v9099)
    xopt[4669] = 1.000000 (v10197)
    xopt[4672] = 1.000000 (v10198)
    xopt[4679] = 1.000000 (v6993)
    xopt[4706] = 1.000000 (v9100)
    xopt[4714] = 1.000000 (v9108)
    xopt[4725] = 1.000000 (v9113)
    xopt[4742] = 1.000000 (v10214)
    xopt[4743] = 1.000000 (v9122)
    xopt[4745] = 1.000000 (v9123)
    xopt[4747] = 1.000000 (v9124)
    xopt[4749] = 1.000000 (v9125)
    xopt[4750] = 1.000000 (v10218)
    xopt[4751] = 1.000000 (v9126)
    xopt[4753] = 1.000000 (v9127)
    xopt[4754] = 1.000000 (v9128)
    xopt[4755] = 1.000000 (v9129)
    xopt[4763] = 1.000000 (v10223)
    xopt[4778] = 1.000000 (v10228)
    xopt[4782] = 1.000000 (v9137)
    xopt[4784] = 1.000000 (v9138)
    xopt[4785] = 1.000000 (v9139)
    xopt[4786] = 1.000000 (v10230)
    xopt[4791] = 1.000000 (v9140)
    xopt[4794] = 1.000000 (v9141)
    xopt[4797] = 1.000000 (v9142)
    xopt[4812] = 1.000000 (v9147)
    xopt[4813] = 1.000000 (v4319)
    xopt[4815] = 1.000000 (v9149)
    xopt[4819] = 1.000000 (v4321)
    xopt[4821] = 1.000000 (v9150)
    xopt[4822] = 1.000000 (v4322)
    xopt[4825] = 1.000000 (v4323)
    xopt[4833] = 1.000000 (v9154)
    xopt[4835] = 1.000000 (v4326)
    xopt[4836] = 1.000000 (v9155)
    xopt[4837] = 1.000000 (v4327)
    xopt[4842] = 1.000000 (v9157)
    xopt[4844] = 1.000000 (v9158)
    xopt[4848] = 1.000000 (v4330)
    xopt[4849] = 1.000000 (v4331)
    xopt[4856] = 1.000000 (v9161)
    xopt[4859] = 1.000000 (v9162)
    xopt[4862] = 1.000000 (v9163)
    xopt[4863] = 1.000000 (v4336)
    xopt[4866] = 1.000000 (v4337)
    xopt[4869] = 1.000000 (v4338)
    xopt[4872] = 1.000000 (v4339)
    xopt[4873] = 1.000000 (v9167)
    xopt[4878] = 1.000000 (v4340)
    xopt[4881] = 1.000000 (v4342)
    xopt[4885] = 1.000000 (v4343)
    xopt[4886] = 1.000000 (v9171)
    xopt[4901] = 1.000000 (v4348)
    xopt[4903] = 1.000000 (v4349)
    xopt[4909] = 1.000000 (v10272)
    xopt[4920] = 1.000000 (v10276)
    xopt[4921] = 1.000000 (v9183)
    xopt[4922] = 1.000000 (v4355)
    xopt[4932] = 1.000000 (v9187)
    xopt[4933] = 1.000000 (v4359)
    xopt[4934] = 1.000000 (v9188)
    xopt[4936] = 1.000000 (v10280)
    xopt[4944] = 1.000000 (v10284)
    xopt[4952] = 1.000000 (v9193)
    xopt[4958] = 1.000000 (v9195)
    xopt[4961] = 1.000000 (v9196)
    xopt[5010] = 1.000000 (v9204)
    xopt[5023] = 1.000000 (v9212)
    xopt[5026] = 1.000000 (v9213)
    xopt[5050] = 1.000000 (v9225)
    xopt[5082] = 1.000000 (v9237)
    xopt[5084] = 1.000000 (v9238)
    xopt[5097] = 1.000000 (v9242)
    xopt[5099] = 1.000000 (v4414)
    xopt[5110] = 1.000000 (v10339)
    xopt[5111] = 1.000000 (v4418)
    xopt[5116] = 1.000000 (v10340)
    xopt[5117] = 1.000000 (v10341)
    xopt[5119] = 1.000000 (v10342)
    xopt[5121] = 1.000000 (v9250)
    xopt[5122] = 1.000000 (v10343)
    xopt[5123] = 1.000000 (v4422)
    xopt[5124] = 1.000000 (v9251)
    xopt[5130] = 1.000000 (v9253)
    xopt[5133] = 1.000000 (v9254)
    xopt[5142] = 1.000000 (v9257)
    xopt[5144] = 1.000000 (v9258)
    xopt[5161] = 1.000000 (v10356)
    xopt[5162] = 1.000000 (v9263)
    xopt[5167] = 1.000000 (v10358)
    xopt[5169] = 1.000000 (v4438)
    xopt[5170] = 1.000000 (v10359)
    xopt[5172] = 1.000000 (v4439)
    xopt[5176] = 1.000000 (v10360)
    xopt[5180] = 1.000000 (v10362)
    xopt[5183] = 1.000000 (v10363)
    xopt[5186] = 1.000000 (v10364)
    xopt[5189] = 1.000000 (v10365)
    xopt[5195] = 1.000000 (v10367)
    xopt[5198] = 1.000000 (v10368)
    xopt[5208] = 1.000000 (v10371)
    xopt[5210] = 1.000000 (v10372)
    xopt[5211] = 1.000000 (v4452)
    xopt[5213] = 1.000000 (v10373)
    xopt[5214] = 1.000000 (v4453)
    xopt[5217] = 1.000000 (v4454)
    xopt[5219] = 1.000000 (v10375)
    xopt[5220] = 1.000000 (v4455)
    xopt[5222] = 1.000000 (v10376)
    xopt[5223] = 1.000000 (v4456)
    xopt[5229] = 1.000000 (v4458)
    xopt[5232] = 1.000000 (v4459)
    xopt[5233] = 1.000000 (v9287)
    xopt[5234] = 1.000000 (v9288)
    xopt[5249] = 1.000000 (v9292)
    xopt[5256] = 1.000000 (v4467)
    xopt[5260] = 1.000000 (v10389)
    xopt[5263] = 1.000000 (v9297)
    xopt[5265] = 1.000000 (v9299)
    xopt[5270] = 1.000000 (v10392)
    xopt[5272] = 1.000000 (v10393)
    xopt[5274] = 1.000000 (v10394)
    xopt[5276] = 1.000000 (v10395)
    xopt[5278] = 1.000000 (v10396)
    xopt[5279] = 1.000000 (v10397)
    xopt[5281] = 1.000000 (v10398)
    xopt[5283] = 1.000000 (v10399)
    xopt[5286] = 1.000000 (v4480)
    xopt[5294] = 1.000000 (v4488)
    xopt[5295] = 1.000000 (v4489)
    xopt[5296] = 1.000000 (v4490)
    xopt[5297] = 1.000000 (v4491)
    xopt[5298] = 1.000000 (v4492)
    xopt[5301] = 1.000000 (v4495)
    xopt[5302] = 1.000000 (v4496)
    xopt[5306] = 1.000000 (v9300)
    xopt[5309] = 1.000000 (v9303)
    xopt[5310] = 1.000000 (v9304)
    xopt[5313] = 1.000000 (v9307)
    xopt[5314] = 1.000000 (v9308)
    xopt[5316] = 1.000000 (v10400)
    xopt[5317] = 1.000000 (v10401)
    xopt[5323] = 1.000000 (v10405)
    xopt[5363] = 1.000000 (v9330)
    xopt[5366] = 1.000000 (v9331)
    xopt[5369] = 1.000000 (v9332)
    xopt[5371] = 1.000000 (v4505)
    xopt[5372] = 1.000000 (v9333)
    xopt[5375] = 1.000000 (v9334)
    xopt[5378] = 1.000000 (v9335)
    xopt[5381] = 1.000000 (v9336)
    xopt[5382] = 1.000000 (v4509)
    xopt[5383] = 1.000000 (v9337)
    xopt[5395] = 1.000000 (v4513)
    xopt[5411] = 1.000000 (v10439)
    xopt[5419] = 1.000000 (v4521)
    xopt[5422] = 1.000000 (v4522)
    xopt[5425] = 1.000000 (v4523)
    xopt[5426] = 1.000000 (v10444)
    xopt[5428] = 1.000000 (v4524)
    xopt[5431] = 1.000000 (v4525)
    xopt[5432] = 1.000000 (v10446)
    xopt[5434] = 1.000000 (v4526)
    xopt[5435] = 1.000000 (v10447)
    xopt[5437] = 1.000000 (v4527)
    xopt[5438] = 1.000000 (v10448)
    xopt[5440] = 1.000000 (v4528)
    xopt[5443] = 1.000000 (v4529)
    xopt[5446] = 1.000000 (v10450)
    xopt[5447] = 1.000000 (v4530)
    xopt[5448] = 1.000000 (v10451)
    xopt[5455] = 1.000000 (v4533)
    xopt[5458] = 1.000000 (v4534)
    xopt[5467] = 1.000000 (v4537)
    xopt[5470] = 1.000000 (v4538)
    xopt[5472] = 1.000000 (v9367)
    xopt[5474] = 1.000000 (v9368)
    xopt[5475] = 1.000000 (v9369)
    xopt[5481] = 1.000000 (v9370)
    xopt[5483] = 1.000000 (v4542)
    xopt[5485] = 1.000000 (v10464)
    xopt[5486] = 1.000000 (v4543)
    xopt[5491] = 1.000000 (v4545)
    xopt[5493] = 1.000000 (v9374)
    xopt[5494] = 1.000000 (v4546)
    xopt[5495] = 1.000000 (v10467)
    xopt[5497] = 1.000000 (v4547)
    xopt[5498] = 1.000000 (v10468)
    xopt[5500] = 1.000000 (v4548)
    xopt[5503] = 1.000000 (v4549)
    xopt[5507] = 1.000000 (v4550)
    xopt[5514] = 1.000000 (v9381)
    xopt[5517] = 1.000000 (v9382)
    xopt[5519] = 1.000000 (v10475)
    xopt[5522] = 1.000000 (v10476)
    xopt[5533] = 1.000000 (v9387)
    xopt[5536] = 1.000000 (v10480)
    xopt[5545] = 1.000000 (v9391)
    xopt[5557] = 1.000000 (v9395)
    xopt[5561] = 1.000000 (v10489)
    xopt[5564] = 1.000000 (v9398)
    xopt[5565] = 1.000000 (v9399)
    xopt[5584] = 1.000000 (v4578)
    xopt[5585] = 1.000000 (v4579)
    xopt[5586] = 1.000000 (v4580)
    xopt[5587] = 1.000000 (v4581)
    xopt[5588] = 1.000000 (v4582)
    xopt[5589] = 1.000000 (v4583)
    xopt[5590] = 1.000000 (v4584)
    xopt[5602] = 1.000000 (v4596)
    xopt[5603] = 1.000000 (v4597)
    xopt[5606] = 1.000000 (v9400)
    xopt[5608] = 1.000000 (v9402)
    xopt[5609] = 1.000000 (v9403)
    xopt[5612] = 1.000000 (v9406)
    xopt[5613] = 1.000000 (v9407)
    xopt[5614] = 1.000000 (v9408)
    xopt[5615] = 1.000000 (v9409)
    xopt[5618] = 1.000000 (v10502)
    xopt[5619] = 1.000000 (v9410)
    xopt[5621] = 1.000000 (v9411)
    xopt[5622] = 1.000000 (v10504)
    xopt[5623] = 1.000000 (v9412)
    xopt[5624] = 1.000000 (v10505)
    xopt[5625] = 1.000000 (v9413)
    xopt[5626] = 1.000000 (v10506)
    xopt[5627] = 1.000000 (v9414)
    xopt[5628] = 1.000000 (v10507)
    xopt[5629] = 1.000000 (v9415)
    xopt[5630] = 1.000000 (v10508)
    xopt[5631] = 1.000000 (v9416)
    xopt[5632] = 1.000000 (v10509)
    xopt[5633] = 1.000000 (v9417)
    xopt[5635] = 1.000000 (v9419)
    xopt[5639] = 1.000000 (v9420)
    xopt[5641] = 1.000000 (v9421)
    xopt[5642] = 1.000000 (v10514)
    xopt[5644] = 1.000000 (v10515)
    xopt[5645] = 1.000000 (v9423)
    xopt[5646] = 1.000000 (v10516)
    xopt[5647] = 1.000000 (v9424)
    xopt[5648] = 1.000000 (v10517)
    xopt[5650] = 1.000000 (v10518)
    xopt[5655] = 1.000000 (v9429)
    xopt[5657] = 1.000000 (v4600)
    xopt[5659] = 1.000000 (v4601)
    xopt[5660] = 1.000000 (v10522)
    xopt[5661] = 1.000000 (v9430)
    xopt[5662] = 1.000000 (v4602)
    xopt[5664] = 1.000000 (v9431)
    xopt[5678] = 1.000000 (v9435)
    xopt[5681] = 1.000000 (v9436)
    xopt[5695] = 1.000000 (v10534)
    xopt[5700] = 1.000000 (v4615)
    xopt[5703] = 1.000000 (v4616)
    xopt[5706] = 1.000000 (v4617)
    xopt[5707] = 1.000000 (v9445)
    xopt[5709] = 1.000000 (v4618)
    xopt[5713] = 1.000000 (v9447)
    xopt[5714] = 1.000000 (v9448)
    xopt[5724] = 1.000000 (v9451)
    xopt[5727] = 1.000000 (v9452)
    xopt[5736] = 1.000000 (v9455)
    xopt[5737] = 1.000000 (v4627)
    xopt[5739] = 1.000000 (v9456)
    xopt[5762] = 1.000000 (v4635)
    xopt[5800] = 1.000000 (v4648)
    xopt[5808] = 1.000000 (v4650)
    xopt[5810] = 1.000000 (v4651)
    xopt[5812] = 1.000000 (v4652)
    xopt[5822] = 1.000000 (v4655)
    xopt[5825] = 1.000000 (v4656)
    xopt[5833] = 1.000000 (v4659)
    xopt[5838] = 1.000000 (v4660)
    xopt[5847] = 1.000000 (v4664)
    xopt[5855] = 1.000000 (v10587)
    xopt[5858] = 1.000000 (v10588)
    xopt[5861] = 1.000000 (v10589)
    xopt[5862] = 1.000000 (v4669)
    xopt[5869] = 1.000000 (v4671)
    xopt[5871] = 1.000000 (v4672)
    xopt[5872] = 1.000000 (v10593)
    xopt[5877] = 1.000000 (v4675)
    xopt[5879] = 1.000000 (v4676)
    xopt[5880] = 1.000000 (v10597)
    xopt[5881] = 1.000000 (v4677)
    xopt[5883] = 1.000000 (v4678)
    xopt[5885] = 1.000000 (v4679)
    xopt[5886] = 1.000000 (v4680)
    xopt[5891] = 1.000000 (v4685)
    xopt[5895] = 1.000000 (v4689)
    xopt[5896] = 1.000000 (v4690)
    xopt[5897] = 1.000000 (v4691)
    xopt[5898] = 1.000000 (v4692)
    xopt[5899] = 1.000000 (v4693)
    xopt[5900] = 1.000000 (v4694)
    xopt[5902] = 1.000000 (v4696)
    xopt[5903] = 1.000000 (v4697)
    xopt[5904] = 1.000000 (v4698)
    xopt[5913] = 1.000000 (v9507)
    xopt[5914] = 1.000000 (v9508)
    xopt[5915] = 1.000000 (v9509)
    xopt[5918] = 1.000000 (v10602)
    xopt[5919] = 1.000000 (v9510)
    xopt[5920] = 1.000000 (v10603)
    xopt[5921] = 1.000000 (v9511)
    xopt[5922] = 1.000000 (v10604)
    xopt[5923] = 1.000000 (v9512)
    xopt[5924] = 1.000000 (v10605)
    xopt[5926] = 1.000000 (v10606)
    xopt[5929] = 1.000000 (v9515)
    xopt[5930] = 1.000000 (v10608)
    xopt[5931] = 1.000000 (v9516)
    xopt[5932] = 1.000000 (v10609)
    xopt[5941] = 1.000000 (v9521)
    xopt[5945] = 1.000000 (v9523)
    xopt[5947] = 1.000000 (v9524)
    xopt[5954] = 1.000000 (v9528)
    xopt[5957] = 1.000000 (v4700)
    xopt[5959] = 1.000000 (v4701)
    xopt[6007] = 1.000000 (v2000)
    xopt[6010] = 1.000000 (v2001)
    xopt[6011] = 1.000000 (v10639)
    xopt[6019] = 1.000000 (v2004)
    xopt[6021] = 1.000000 (v2005)
    xopt[6022] = 1.000000 (v2006)
    xopt[6024] = 1.000000 (v2008)
    xopt[6026] = 1.000000 (v2009)
    xopt[6058] = 1.000000 (v9558)
    xopt[6059] = 1.000000 (v2014)
    xopt[6060] = 1.000000 (v9559)
    xopt[6068] = 1.000000 (v10651)
    xopt[6073] = 1.000000 (v9560)
    xopt[6075] = 1.000000 (v10654)
    xopt[6078] = 1.000000 (v10655)
    xopt[6079] = 1.000000 (v9562)
    xopt[6088] = 1.000000 (v10658)
    xopt[6092] = 1.000000 (v10659)
    xopt[6093] = 1.000000 (v9566)
    xopt[6105] = 1.000000 (v10660)
    xopt[6109] = 1.000000 (v10662)
    xopt[6111] = 1.000000 (v10663)
    xopt[6114] = 1.000000 (v9571)
    xopt[6115] = 1.000000 (v10664)
    xopt[6120] = 1.000000 (v9573)
    xopt[6123] = 1.000000 (v9574)
    xopt[6124] = 1.000000 (v10667)
    xopt[6126] = 1.000000 (v9575)
    xopt[6127] = 1.000000 (v10668)
    xopt[6130] = 1.000000 (v9576)
    xopt[6134] = 1.000000 (v9577)
    xopt[6137] = 1.000000 (v9578)
    xopt[6139] = 1.000000 (v9579)
    xopt[6146] = 1.000000 (v2039)
    xopt[6147] = 1.000000 (v10671)
    xopt[6149] = 1.000000 (v10672)
    xopt[6151] = 1.000000 (v9580)
    xopt[6154] = 1.000000 (v9581)
    xopt[6156] = 1.000000 (v4753)
    xopt[6157] = 1.000000 (v9582)
    xopt[6160] = 1.000000 (v9583)
    xopt[6161] = 1.000000 (v10676)
    xopt[6163] = 1.000000 (v9584)
    xopt[6166] = 1.000000 (v9585)
    xopt[6170] = 1.000000 (v9586)
    xopt[6174] = 1.000000 (v9587)
    xopt[6177] = 1.000000 (v9588)
    xopt[6180] = 1.000000 (v2044)
    xopt[6182] = 1.000000 (v2046)
    xopt[6183] = 1.000000 (v2047)
    xopt[6184] = 1.000000 (v10680)
    xopt[6190] = 1.000000 (v4761)
    xopt[6191] = 1.000000 (v9590)
    xopt[6194] = 1.000000 (v9591)
    xopt[6197] = 1.000000 (v9592)
    xopt[6200] = 1.000000 (v9593)
    xopt[6201] = 1.000000 (v4765)
    xopt[6203] = 1.000000 (v9594)
    xopt[6206] = 1.000000 (v9595)
    xopt[6207] = 1.000000 (v2050)
    xopt[6210] = 1.000000 (v2051)
    xopt[6214] = 1.000000 (v2052)
    xopt[6219] = 1.000000 (v2054)
    xopt[6221] = 1.000000 (v2055)
    xopt[6222] = 1.000000 (v2056)
    xopt[6223] = 1.000000 (v2057)
    xopt[6224] = 1.000000 (v2058)
    xopt[6226] = 1.000000 (v2059)
    xopt[6240] = 1.000000 (v4776)
    xopt[6243] = 1.000000 (v4777)
    xopt[6246] = 1.000000 (v4778)
    xopt[6248] = 1.000000 (v4779)
    xopt[6250] = 1.000000 (v2064)
    xopt[6254] = 1.000000 (v2068)
    xopt[6255] = 1.000000 (v2069)
    xopt[6256] = 1.000000 (v4780)
    xopt[6257] = 1.000000 (v4781)
    xopt[6258] = 1.000000 (v4782)
    xopt[6259] = 1.000000 (v4783)
    xopt[6260] = 1.000000 (v4784)
    xopt[6261] = 1.000000 (v4785)
    xopt[6262] = 1.000000 (v4786)
    xopt[6264] = 1.000000 (v4787)
    xopt[6265] = 1.000000 (v2071)
    xopt[6266] = 1.000000 (v4788)
    xopt[6267] = 1.000000 (v2072)
    xopt[6268] = 1.000000 (v4789)
    xopt[6273] = 1.000000 (v2077)
    xopt[6275] = 1.000000 (v2079)
    xopt[6276] = 1.000000 (v4790)
    xopt[6280] = 1.000000 (v4794)
    xopt[6283] = 1.000000 (v2080)
    xopt[6289] = 1.000000 (v2083)
    xopt[6290] = 1.000000 (v2084)
    xopt[6291] = 1.000000 (v2085)
    xopt[6292] = 1.000000 (v2086)
    xopt[6293] = 1.000000 (v2087)
    xopt[6294] = 1.000000 (v2088)
    xopt[6298] = 1.000000 (v2092)
    xopt[6302] = 1.000000 (v2096)
    xopt[6340] = 1.000000 (v10713)
    xopt[6347] = 1.000000 (v9624)
    xopt[6354] = 1.000000 (v9628)
    xopt[6360] = 1.000000 (v10722)
    xopt[6362] = 1.000000 (v4802)
    xopt[6365] = 1.000000 (v4803)
    xopt[6366] = 1.000000 (v10724)
    xopt[6367] = 1.000000 (v9632)
    xopt[6368] = 1.000000 (v10725)
    xopt[6371] = 1.000000 (v10726)
    xopt[6374] = 1.000000 (v10727)
    xopt[6377] = 1.000000 (v10728)
    xopt[6379] = 1.000000 (v9636)
    xopt[6380] = 1.000000 (v10729)
    xopt[6382] = 1.000000 (v9637)
    xopt[6384] = 1.000000 (v9638)
    xopt[6385] = 1.000000 (v9639)
    xopt[6389] = 1.000000 (v10732)
    xopt[6391] = 1.000000 (v9640)
    xopt[6392] = 1.000000 (v10733)
    xopt[6394] = 1.000000 (v10734)
    xopt[6398] = 1.000000 (v10735)
    xopt[6401] = 1.000000 (v10736)
    xopt[6404] = 1.000000 (v10737)
    xopt[6405] = 1.000000 (v9644)
    xopt[6407] = 1.000000 (v10738)
    xopt[6408] = 1.000000 (v9645)
    xopt[6409] = 1.000000 (v2100)
    xopt[6412] = 1.000000 (v9646)
    xopt[6415] = 1.000000 (v9647)
    xopt[6417] = 1.000000 (v9648)
    xopt[6418] = 1.000000 (v2103)
    xopt[6419] = 1.000000 (v9649)
    xopt[6420] = 1.000000 (v2104)
    xopt[6425] = 1.000000 (v2108)
    xopt[6433] = 1.000000 (v9650)
    xopt[6434] = 1.000000 (v4823)
    xopt[6438] = 1.000000 (v10745)
    xopt[6439] = 1.000000 (v9652)
    xopt[6441] = 1.000000 (v10746)
    xopt[6442] = 1.000000 (v9653)
    xopt[6445] = 1.000000 (v9654)
    xopt[6448] = 1.000000 (v9655)
    xopt[6450] = 1.000000 (v4828)
    xopt[6452] = 1.000000 (v9656)
    xopt[6455] = 1.000000 (v9657)
    xopt[6456] = 1.000000 (v2112)
    xopt[6457] = 1.000000 (v9658)
    xopt[6458] = 1.000000 (v2113)
    xopt[6459] = 1.000000 (v9659)
    xopt[6463] = 1.000000 (v2117)
    xopt[6473] = 1.000000 (v9660)
    xopt[6474] = 1.000000 (v4833)
    xopt[6476] = 1.000000 (v9661)
    xopt[6477] = 1.000000 (v4834)
    xopt[6478] = 1.000000 (v10755)
    xopt[6480] = 1.000000 (v4835)
    xopt[6481] = 1.000000 (v10756)
    xopt[6483] = 1.000000 (v4836)
    xopt[6484] = 1.000000 (v10757)
    xopt[6486] = 1.000000 (v4837)
    xopt[6487] = 1.000000 (v10758)
    xopt[6488] = 1.000000 (v9665)
    xopt[6490] = 1.000000 (v10759)
    xopt[6494] = 1.000000 (v4839)
    xopt[6498] = 1.000000 (v9668)
    xopt[6500] = 1.000000 (v9669)
    xopt[6505] = 1.000000 (v2128)
    xopt[6506] = 1.000000 (v4840)
    xopt[6507] = 1.000000 (v10761)
    xopt[6508] = 1.000000 (v2129)
    xopt[6509] = 1.000000 (v4841)
    xopt[6510] = 1.000000 (v10762)
    xopt[6512] = 1.000000 (v10763)
    xopt[6513] = 1.000000 (v9670)
    xopt[6514] = 1.000000 (v4843)
    xopt[6517] = 1.000000 (v4844)
    xopt[6524] = 1.000000 (v10767)
    xopt[6534] = 1.000000 (v4849)
    xopt[6535] = 1.000000 (v2132)
    xopt[6537] = 1.000000 (v2133)
    xopt[6538] = 1.000000 (v9678)
    xopt[6545] = 1.000000 (v2138)
    xopt[6547] = 1.000000 (v4850)
    xopt[6548] = 1.000000 (v2139)
    xopt[6550] = 1.000000 (v4851)
    xopt[6552] = 1.000000 (v4852)
    xopt[6555] = 1.000000 (v4853)
    xopt[6556] = 1.000000 (v9681)
    xopt[6558] = 1.000000 (v4854)
    xopt[6559] = 1.000000 (v9682)
    xopt[6561] = 1.000000 (v4855)
    xopt[6562] = 1.000000 (v9683)
    xopt[6564] = 1.000000 (v4856)
    xopt[6567] = 1.000000 (v4857)
    xopt[6568] = 1.000000 (v9685)
    xopt[6572] = 1.000000 (v9686)
    xopt[6573] = 1.000000 (v2141)
    xopt[6576] = 1.000000 (v2142)
    xopt[6578] = 1.000000 (v2143)
    xopt[6583] = 1.000000 (v2147)
    xopt[6591] = 1.000000 (v10783)
    xopt[6595] = 1.000000 (v10784)
    xopt[6599] = 1.000000 (v10785)
    xopt[6602] = 1.000000 (v10786)
    xopt[6604] = 1.000000 (v10787)
    xopt[6607] = 1.000000 (v9695)
    xopt[6608] = 1.000000 (v10788)
    xopt[6610] = 1.000000 (v4868)
    xopt[6614] = 1.000000 (v4869)
    xopt[6622] = 1.000000 (v2156)
    xopt[6626] = 1.000000 (v4870)
    xopt[6629] = 1.000000 (v4871)
    xopt[6630] = 1.000000 (v10792)
    xopt[6631] = 1.000000 (v4872)
    xopt[6632] = 1.000000 (v10793)
    xopt[6633] = 1.000000 (v4873)
    xopt[6634] = 1.000000 (v10794)
    xopt[6635] = 1.000000 (v10795)
    xopt[6637] = 1.000000 (v10796)
    xopt[6642] = 1.000000 (v4877)
    xopt[6644] = 1.000000 (v10799)
    xopt[6645] = 1.000000 (v4878)
    xopt[6648] = 1.000000 (v2162)
    xopt[6649] = 1.000000 (v2163)
    xopt[6650] = 1.000000 (v2164)
    xopt[6651] = 1.000000 (v2165)
    xopt[6657] = 1.000000 (v4881)
    xopt[6658] = 1.000000 (v4882)
    xopt[6662] = 1.000000 (v4886)
    xopt[6679] = 1.000000 (v4893)
    xopt[6680] = 1.000000 (v4894)
    xopt[6684] = 1.000000 (v4897)
    xopt[6686] = 1.000000 (v4898)
    xopt[6688] = 1.000000 (v2182)
    xopt[6692] = 1.000000 (v2186)
    xopt[6703] = 1.000000 (v2197)
    xopt[6704] = 1.000000 (v2198)
    xopt[6705] = 1.000000 (v2199)
    xopt[6706] = 1.000000 (v9700)
    xopt[6708] = 1.000000 (v9702)
    xopt[6709] = 1.000000 (v9703)
    xopt[6710] = 1.000000 (v9704)
    xopt[6711] = 1.000000 (v9705)
    xopt[6712] = 1.000000 (v9706)
    xopt[6713] = 1.000000 (v9707)
    xopt[6716] = 1.000000 (v10800)
    xopt[6721] = 1.000000 (v10804)
    xopt[6722] = 1.000000 (v9711)
    xopt[6724] = 1.000000 (v10805)
    xopt[6725] = 1.000000 (v10806)
    xopt[6727] = 1.000000 (v10807)
    xopt[6729] = 1.000000 (v9715)
    xopt[6730] = 1.000000 (v10808)
    xopt[6731] = 1.000000 (v9716)
    xopt[6733] = 1.000000 (v9717)
    xopt[6734] = 1.000000 (v7000)
    xopt[6735] = 1.000000 (v9718)
    xopt[6736] = 1.000000 (v7001)
    xopt[6737] = 1.000000 (v9719)
    xopt[6738] = 1.000000 (v7002)
    xopt[6741] = 1.000000 (v7005)
    xopt[6743] = 1.000000 (v7006)
    xopt[6749] = 1.000000 (v10813)
    xopt[6764] = 1.000000 (v7010)
    xopt[6765] = 1.000000 (v9728)
    xopt[6767] = 1.000000 (v9729)
    xopt[6779] = 1.000000 (v7018)
    xopt[6780] = 1.000000 (v4902)
    xopt[6782] = 1.000000 (v9730)
    xopt[6784] = 1.000000 (v4903)
    xopt[6785] = 1.000000 (v10824)
    xopt[6786] = 1.000000 (v9731)
    xopt[6788] = 1.000000 (v10825)
    xopt[6789] = 1.000000 (v9732)
    xopt[6801] = 1.000000 (v9736)
    xopt[6807] = 1.000000 (v9739)
    xopt[6813] = 1.000000 (v7026)
    xopt[6816] = 1.000000 (v7027)
    xopt[6820] = 1.000000 (v10833)
    xopt[6823] = 1.000000 (v9740)
    xopt[6831] = 1.000000 (v9743)
    xopt[6833] = 1.000000 (v4916)
    xopt[6834] = 1.000000 (v9744)
    xopt[6835] = 1.000000 (v10837)
    xopt[6837] = 1.000000 (v2200)
    xopt[6839] = 1.000000 (v10838)
    xopt[6840] = 1.000000 (v4918)
    xopt[6841] = 1.000000 (v2201)
    xopt[6844] = 1.000000 (v4919)
    xopt[6846] = 1.000000 (v2202)
    xopt[6849] = 1.000000 (v9748)
    xopt[6858] = 1.000000 (v7035)
    xopt[6859] = 1.000000 (v2207)
    xopt[6860] = 1.000000 (v7036)
    xopt[6862] = 1.000000 (v2208)
    xopt[6868] = 1.000000 (v7038)
    xopt[6871] = 1.000000 (v7039)
    xopt[6874] = 1.000000 (v4923)
    xopt[6878] = 1.000000 (v9752)
    xopt[6882] = 1.000000 (v9753)
    xopt[6883] = 1.000000 (v4926)
    xopt[6885] = 1.000000 (v9754)
    xopt[6886] = 1.000000 (v4927)
    xopt[6888] = 1.000000 (v2210)
    xopt[6889] = 1.000000 (v9755)
    xopt[6890] = 1.000000 (v4928)
    xopt[6892] = 1.000000 (v2211)
    xopt[6893] = 1.000000 (v9756)
    xopt[6894] = 1.000000 (v7040)
    xopt[6895] = 1.000000 (v4929)
    xopt[6897] = 1.000000 (v9757)
    xopt[6898] = 1.000000 (v7041)
    xopt[6901] = 1.000000 (v7042)
    xopt[6904] = 1.000000 (v7043)
    xopt[6917] = 1.000000 (v4931)
    xopt[6920] = 1.000000 (v4932)
    xopt[6924] = 1.000000 (v4933)
    xopt[6926] = 1.000000 (v9761)
    xopt[6927] = 1.000000 (v4934)
    xopt[6928] = 1.000000 (v10855)
    xopt[6930] = 1.000000 (v4935)
    xopt[6933] = 1.000000 (v4936)
    xopt[6936] = 1.000000 (v4937)
    xopt[6943] = 1.000000 (v9766)
    xopt[6944] = 1.000000 (v4939)
    xopt[6945] = 1.000000 (v7050)
    xopt[6946] = 1.000000 (v2222)
    xopt[6948] = 1.000000 (v7051)
    xopt[6950] = 1.000000 (v9768)
    xopt[6951] = 1.000000 (v7052)
    xopt[6953] = 1.000000 (v9769)
    xopt[6955] = 1.000000 (v2225)
    xopt[6957] = 1.000000 (v2226)
    xopt[6964] = 1.000000 (v4940)
    xopt[6973] = 1.000000 (v9770)
    xopt[6979] = 1.000000 (v9772)
    xopt[6982] = 1.000000 (v9773)
    xopt[6985] = 1.000000 (v9774)
    xopt[6989] = 1.000000 (v9775)
    xopt[6991] = 1.000000 (v4948)
    xopt[6993] = 1.000000 (v9776)
    xopt[6996] = 1.000000 (v9777)
    xopt[7000] = 1.000000 (v9778)
    xopt[7003] = 1.000000 (v9779)
    xopt[7020] = 1.000000 (v7069)
    xopt[7022] = 1.000000 (v9780)
    xopt[7023] = 1.000000 (v4952)
    xopt[7025] = 1.000000 (v9781)
    xopt[7026] = 1.000000 (v4953)
    xopt[7028] = 1.000000 (v9782)
    xopt[7029] = 1.000000 (v4954)
    xopt[7032] = 1.000000 (v4955)
    xopt[7034] = 1.000000 (v9784)
    xopt[7035] = 1.000000 (v4956)
    xopt[7038] = 1.000000 (v9785)
    xopt[7039] = 1.000000 (v4957)
    xopt[7042] = 1.000000 (v9786)
    xopt[7043] = 1.000000 (v4958)
    xopt[7045] = 1.000000 (v7070)
    xopt[7046] = 1.000000 (v9787)
    xopt[7047] = 1.000000 (v4959)
    xopt[7049] = 1.000000 (v7071)
    xopt[7050] = 1.000000 (v9788)
    xopt[7052] = 1.000000 (v7072)
    xopt[7053] = 1.000000 (v9789)
    xopt[7061] = 1.000000 (v10880)
    xopt[7062] = 1.000000 (v7076)
    xopt[7063] = 1.000000 (v10881)
    xopt[7065] = 1.000000 (v7077)
    xopt[7066] = 1.000000 (v4960)
    xopt[7067] = 1.000000 (v10882)
    xopt[7068] = 1.000000 (v7078)
    xopt[7069] = 1.000000 (v4961)
    xopt[7070] = 1.000000 (v10883)
    xopt[7073] = 1.000000 (v4962)
    xopt[7074] = 1.000000 (v10884)
    xopt[7077] = 1.000000 (v10885)
    xopt[7078] = 1.000000 (v9792)
    xopt[7080] = 1.000000 (v10886)
    xopt[7081] = 1.000000 (v9793)
    xopt[7082] = 1.000000 (v4965)
    xopt[7083] = 1.000000 (v10887)
    xopt[7085] = 1.000000 (v4966)
    xopt[7087] = 1.000000 (v10888)
    xopt[7091] = 1.000000 (v10889)
    xopt[7095] = 1.000000 (v9797)
    xopt[7096] = 1.000000 (v7080)
    xopt[7097] = 1.000000 (v4969)
    xopt[7098] = 1.000000 (v2253)
    xopt[7100] = 1.000000 (v7081)
    xopt[7110] = 1.000000 (v10890)
    xopt[7113] = 1.000000 (v10891)
    xopt[7116] = 1.000000 (v4970)
    xopt[7117] = 1.000000 (v4971)
    xopt[7118] = 1.000000 (v10892)
    xopt[7120] = 1.000000 (v4972)
    xopt[7121] = 1.000000 (v10893)
    xopt[7124] = 1.000000 (v10894)
    xopt[7125] = 1.000000 (v4974)
    xopt[7126] = 1.000000 (v10895)
    xopt[7127] = 1.000000 (v4975)
    xopt[7129] = 1.000000 (v4976)
    xopt[7130] = 1.000000 (v10897)
    xopt[7131] = 1.000000 (v4977)
    xopt[7133] = 1.000000 (v10898)
    xopt[7134] = 1.000000 (v4978)
    xopt[7135] = 1.000000 (v2261)
    xopt[7136] = 1.000000 (v10899)
    xopt[7144] = 1.000000 (v2265)
    xopt[7155] = 1.000000 (v4981)
    xopt[7157] = 1.000000 (v4982)
    xopt[7158] = 1.000000 (v7099)
    xopt[7162] = 1.000000 (v4986)
    xopt[7164] = 1.000000 (v4987)
    xopt[7168] = 1.000000 (v4989)
    xopt[7170] = 1.000000 (v2274)
    xopt[7171] = 1.000000 (v2275)
    xopt[7174] = 1.000000 (v2278)
    xopt[7175] = 1.000000 (v2279)
    xopt[7176] = 1.000000 (v4990)
    xopt[7177] = 1.000000 (v4991)
    xopt[7182] = 1.000000 (v4996)
    xopt[7184] = 1.000000 (v4997)
    xopt[7186] = 1.000000 (v4998)
    xopt[7188] = 1.000000 (v4999)
    xopt[7194] = 1.000000 (v2288)
    xopt[7195] = 1.000000 (v2289)
    xopt[7196] = 1.000000 (v2290)
    xopt[7197] = 1.000000 (v2291)
    xopt[7198] = 1.000000 (v2292)
    xopt[7199] = 1.000000 (v2293)
    xopt[7200] = 1.000000 (v2294)
    xopt[7201] = 1.000000 (v2295)
    xopt[7206] = 1.000000 (v9800)
    xopt[7207] = 1.000000 (v9801)
    xopt[7216] = 1.000000 (v10900)
    xopt[7218] = 1.000000 (v10902)
    xopt[7220] = 1.000000 (v10903)
    xopt[7222] = 1.000000 (v10904)
    xopt[7224] = 1.000000 (v10905)
    xopt[7226] = 1.000000 (v10906)
    xopt[7228] = 1.000000 (v10907)
    xopt[7230] = 1.000000 (v10908)
    xopt[7238] = 1.000000 (v7102)
    xopt[7239] = 1.000000 (v7103)
    xopt[7245] = 1.000000 (v7107)
    xopt[7247] = 1.000000 (v7108)
    xopt[7249] = 1.000000 (v10913)
    xopt[7250] = 1.000000 (v7109)
    xopt[7254] = 1.000000 (v10915)
    xopt[7256] = 1.000000 (v10916)
    xopt[7258] = 1.000000 (v10917)
    xopt[7261] = 1.000000 (v10919)
    xopt[7263] = 1.000000 (v7110)
    xopt[7265] = 1.000000 (v7111)
    xopt[7268] = 1.000000 (v9829)
    xopt[7272] = 1.000000 (v7116)
    xopt[7273] = 1.000000 (v10920)
    xopt[7274] = 1.000000 (v7117)
    xopt[7275] = 1.000000 (v10921)
    xopt[7276] = 1.000000 (v7118)
    xopt[7277] = 1.000000 (v10922)
    xopt[7278] = 1.000000 (v7119)
    xopt[7280] = 1.000000 (v9830)
    xopt[7281] = 1.000000 (v10924)
    xopt[7282] = 1.000000 (v9831)
    xopt[7283] = 1.000000 (v10925)
    xopt[7284] = 1.000000 (v9832)
    xopt[7285] = 1.000000 (v10926)
    xopt[7286] = 1.000000 (v9833)
    xopt[7291] = 1.000000 (v10928)
    xopt[7292] = 1.000000 (v9835)
    xopt[7294] = 1.000000 (v10929)
    xopt[7295] = 1.000000 (v9836)
    xopt[7300] = 1.000000 (v104)
    xopt[7303] = 1.000000 (v105)
    xopt[7304] = 1.000000 (v9839)
    xopt[7306] = 1.000000 (v106)
    xopt[7308] = 1.000000 (v7124)
    xopt[7309] = 1.000000 (v108)
    xopt[7311] = 1.000000 (v109)
    xopt[7317] = 1.000000 (v10932)
    xopt[7319] = 1.000000 (v10933)
    xopt[7320] = 1.000000 (v9840)
    xopt[7325] = 1.000000 (v10936)
    xopt[7327] = 1.000000 (v10937)
    xopt[7328] = 1.000000 (v110)
    xopt[7330] = 1.000000 (v2300)
    xopt[7332] = 1.000000 (v9845)
    xopt[7333] = 1.000000 (v111)
    xopt[7337] = 1.000000 (v112)
    xopt[7340] = 1.000000 (v9847)
    xopt[7341] = 1.000000 (v113)
    xopt[7343] = 1.000000 (v7131)
    xopt[7344] = 1.000000 (v9848)
    xopt[7345] = 1.000000 (v114)
    xopt[7346] = 1.000000 (v2304)
    xopt[7347] = 1.000000 (v7132)
    xopt[7348] = 1.000000 (v9849)
    xopt[7349] = 1.000000 (v115)
    xopt[7352] = 1.000000 (v116)
    xopt[7355] = 1.000000 (v117)
    xopt[7356] = 1.000000 (v2307)
    xopt[7358] = 1.000000 (v118)
    xopt[7359] = 1.000000 (v2308)
    xopt[7360] = 1.000000 (v7136)
    xopt[7362] = 1.000000 (v119)
    xopt[7368] = 1.000000 (v7139)
    xopt[7369] = 1.000000 (v9850)
    xopt[7373] = 1.000000 (v9852)
    xopt[7375] = 1.000000 (v9853)
    xopt[7376] = 1.000000 (v10946)
    xopt[7377] = 1.000000 (v9854)
    xopt[7379] = 1.000000 (v10947)
    xopt[7382] = 1.000000 (v121)
    xopt[7383] = 1.000000 (v10948)
    xopt[7385] = 1.000000 (v9856)
    xopt[7386] = 1.000000 (v122)
    xopt[7387] = 1.000000 (v10949)
    xopt[7389] = 1.000000 (v7140)
    xopt[7390] = 1.000000 (v9857)
    xopt[7391] = 1.000000 (v123)
    xopt[7392] = 1.000000 (v2313)
    xopt[7396] = 1.000000 (v2314)
    xopt[7399] = 1.000000 (v125)
    xopt[7400] = 1.000000 (v2315)
    xopt[7401] = 1.000000 (v7143)
    xopt[7402] = 1.000000 (v126)
    xopt[7403] = 1.000000 (v2316)
    xopt[7404] = 1.000000 (v7144)
    xopt[7405] = 1.000000 (v127)
    xopt[7407] = 1.000000 (v7145)
    xopt[7409] = 1.000000 (v7146)
    xopt[7410] = 1.000000 (v129)
    xopt[7411] = 1.000000 (v2318)
    xopt[7412] = 1.000000 (v10950)
    xopt[7413] = 1.000000 (v7147)
    xopt[7416] = 1.000000 (v7148)
    xopt[7421] = 1.000000 (v9861)
    xopt[7422] = 1.000000 (v10954)
    xopt[7428] = 1.000000 (v130)
    xopt[7430] = 1.000000 (v9865)
    xopt[7432] = 1.000000 (v2320)
    xopt[7434] = 1.000000 (v9866)
    xopt[7436] = 1.000000 (v2321)
    xopt[7439] = 1.000000 (v9867)
    xopt[7440] = 1.000000 (v2322)
    xopt[7441] = 1.000000 (v133)
    xopt[7443] = 1.000000 (v9868)
    xopt[7444] = 1.000000 (v134)
    xopt[7446] = 1.000000 (v7152)
    xopt[7447] = 1.000000 (v9869)
    xopt[7449] = 1.000000 (v135)
    xopt[7450] = 1.000000 (v7153)
    xopt[7452] = 1.000000 (v136)
    xopt[7453] = 1.000000 (v7154)
    xopt[7455] = 1.000000 (v137)
    xopt[7456] = 1.000000 (v7155)
    xopt[7458] = 1.000000 (v138)
    xopt[7459] = 1.000000 (v7156)
    xopt[7464] = 1.000000 (v2329)
    xopt[7474] = 1.000000 (v9872)
    xopt[7475] = 1.000000 (v9873)
    xopt[7477] = 1.000000 (v10967)
    xopt[7478] = 1.000000 (v9874)
    xopt[7481] = 1.000000 (v2330)
    xopt[7482] = 1.000000 (v9875)
    xopt[7483] = 1.000000 (v141)
    xopt[7484] = 1.000000 (v10969)
    xopt[7485] = 1.000000 (v2331)
    xopt[7486] = 1.000000 (v9876)
    xopt[7487] = 1.000000 (v142)
    xopt[7488] = 1.000000 (v7160)
    xopt[7489] = 1.000000 (v2332)
    xopt[7490] = 1.000000 (v9877)
    xopt[7491] = 1.000000 (v143)
    xopt[7492] = 1.000000 (v7161)
    xopt[7493] = 1.000000 (v2333)
    xopt[7494] = 1.000000 (v9878)
    xopt[7495] = 1.000000 (v144)
    xopt[7496] = 1.000000 (v2334)
    xopt[7498] = 1.000000 (v145)
    xopt[7500] = 1.000000 (v2335)
    xopt[7502] = 1.000000 (v146)
    xopt[7506] = 1.000000 (v2337)
    xopt[7507] = 1.000000 (v7165)
    xopt[7510] = 1.000000 (v2338)
    xopt[7511] = 1.000000 (v7166)
    xopt[7512] = 1.000000 (v149)
    xopt[7513] = 1.000000 (v10971)
    xopt[7514] = 1.000000 (v2339)
    xopt[7515] = 1.000000 (v7167)
    xopt[7516] = 1.000000 (v10972)
    xopt[7517] = 1.000000 (v7168)
    xopt[7518] = 1.000000 (v10973)
    xopt[7519] = 1.000000 (v7169)
    xopt[7521] = 1.000000 (v10974)
    xopt[7523] = 1.000000 (v10975)
    xopt[7524] = 1.000000 (v9882)
    xopt[7527] = 1.000000 (v150)
    xopt[7532] = 1.000000 (v2341)
    xopt[7535] = 1.000000 (v2342)
    xopt[7537] = 1.000000 (v7170)
    xopt[7538] = 1.000000 (v2343)
    xopt[7543] = 1.000000 (v155)
    xopt[7546] = 1.000000 (v2345)
    xopt[7548] = 1.000000 (v7173)
    xopt[7549] = 1.000000 (v2346)
    xopt[7551] = 1.000000 (v7174)
    xopt[7552] = 1.000000 (v2347)
    xopt[7554] = 1.000000 (v7175)
    xopt[7557] = 1.000000 (v7176)
    xopt[7559] = 1.000000 (v7177)
    xopt[7560] = 1.000000 (v7178)
    xopt[7563] = 1.000000 (v9891)
    xopt[7565] = 1.000000 (v9893)
    xopt[7567] = 1.000000 (v9894)
    xopt[7575] = 1.000000 (v2352)
    xopt[7576] = 1.000000 (v163)
    xopt[7578] = 1.000000 (v9898)
    xopt[7579] = 1.000000 (v2353)
    xopt[7581] = 1.000000 (v7181)
    xopt[7582] = 1.000000 (v9899)
    xopt[7583] = 1.000000 (v2354)
    xopt[7585] = 1.000000 (v7182)
    xopt[7586] = 1.000000 (v2355)
    xopt[7589] = 1.000000 (v2356)
    xopt[7592] = 1.000000 (v2357)
    xopt[7595] = 1.000000 (v2358)
    xopt[7597] = 1.000000 (v7186)
    xopt[7598] = 1.000000 (v7187)
    xopt[7599] = 1.000000 (v2359)
    xopt[7600] = 1.000000 (v7188)
    xopt[7601] = 1.000000 (v7189)
    xopt[7603] = 1.000000 (v2360)
    xopt[7604] = 1.000000 (v171)
    xopt[7607] = 1.000000 (v7190)
    xopt[7608] = 1.000000 (v2362)
    xopt[7610] = 1.000000 (v7191)
    xopt[7611] = 1.000000 (v2363)
    xopt[7615] = 1.000000 (v175)
    xopt[7620] = 1.000000 (v2366)
    xopt[7622] = 1.000000 (v7195)
    xopt[7623] = 1.000000 (v2367)
    xopt[7625] = 1.000000 (v2368)
    xopt[7626] = 1.000000 (v7196)
    xopt[7627] = 1.000000 (v179)
    xopt[7628] = 1.000000 (v2369)
    xopt[7630] = 1.000000 (v7198)
    xopt[7631] = 1.000000 (v7199)
    xopt[7632] = 1.000000 (v180)
    xopt[7633] = 1.000000 (v2370)
    xopt[7635] = 1.000000 (v2371)
    xopt[7637] = 1.000000 (v2372)
    xopt[7639] = 1.000000 (v2373)
    xopt[7640] = 1.000000 (v184)
    xopt[7643] = 1.000000 (v2375)
    xopt[7644] = 1.000000 (v186)
    xopt[7645] = 1.000000 (v2376)
    xopt[7646] = 1.000000 (v187)
    xopt[7648] = 1.000000 (v188)
    xopt[7650] = 1.000000 (v189)
    xopt[7651] = 1.000000 (v2379)
    xopt[7653] = 1.000000 (v2380)
    xopt[7660] = 1.000000 (v194)
    xopt[7662] = 1.000000 (v195)
    xopt[7664] = 1.000000 (v196)
    xopt[7666] = 1.000000 (v197)
    xopt[7669] = 1.000000 (v2388)
    xopt[7671] = 1.000000 (v2389)
    xopt[7676] = 1.000000 (v2394)
    xopt[7677] = 1.000000 (v2395)
    xopt[7678] = 1.000000 (v2396)
    xopt[7679] = 1.000000 (v2397)
    xopt[7680] = 1.000000 (v2398)
    xopt[7681] = 1.000000 (v2399)
    xopt[7682] = 1.000000 (v9900)
    xopt[7683] = 1.000000 (v9901)
    xopt[7684] = 1.000000 (v9902)
    xopt[7685] = 1.000000 (v9903)
    xopt[7686] = 1.000000 (v9904)
    xopt[7687] = 1.000000 (v9905)
    xopt[7688] = 1.000000 (v9906)
    xopt[7689] = 1.000000 (v9907)
    xopt[7692] = 1.000000 (v9910)
    xopt[7693] = 1.000000 (v9911)
    xopt[7694] = 1.000000 (v9912)
    xopt[7695] = 1.000000 (v9913)
    xopt[7696] = 1.000000 (v9914)
    xopt[7697] = 1.000000 (v9915)
    xopt[7703] = 1.000000 (v9919)
    xopt[7705] = 1.000000 (v7203)
    xopt[7708] = 1.000000 (v7206)
    xopt[7709] = 1.000000 (v7207)
    xopt[7712] = 1.000000 (v9920)
    xopt[7713] = 1.000000 (v9921)
    xopt[7714] = 1.000000 (v9922)
    xopt[7715] = 1.000000 (v9923)
    xopt[7716] = 1.000000 (v9924)
    xopt[7717] = 1.000000 (v9925)
    xopt[7718] = 1.000000 (v9926)
    xopt[7720] = 1.000000 (v9927)
    xopt[7721] = 1.000000 (v7211)
    xopt[7722] = 1.000000 (v9928)
    xopt[7723] = 1.000000 (v9929)
    xopt[7724] = 1.000000 (v7212)
    xopt[7726] = 1.000000 (v7214)
    xopt[7727] = 1.000000 (v7215)
    xopt[7728] = 1.000000 (v7216)
    xopt[7729] = 1.000000 (v7217)
    xopt[7730] = 1.000000 (v7218)
    xopt[7732] = 1.000000 (v7219)
    xopt[7733] = 1.000000 (v9931)
    xopt[7734] = 1.000000 (v9932)
    xopt[7735] = 1.000000 (v9933)
    xopt[7737] = 1.000000 (v200)
    xopt[7738] = 1.000000 (v9935)
    xopt[7739] = 1.000000 (v201)
    xopt[7740] = 1.000000 (v9936)
    xopt[7741] = 1.000000 (v202)
    xopt[7742] = 1.000000 (v9937)
    xopt[7744] = 1.000000 (v7220)
    xopt[7745] = 1.000000 (v9938)
    xopt[7747] = 1.000000 (v7221)
    xopt[7748] = 1.000000 (v9939)
    xopt[7749] = 1.000000 (v205)
    xopt[7751] = 1.000000 (v206)
    xopt[7752] = 1.000000 (v7223)
    xopt[7753] = 1.000000 (v207)
    xopt[7754] = 1.000000 (v7224)
    xopt[7756] = 1.000000 (v7225)
    xopt[7757] = 1.000000 (v209)
    xopt[7758] = 1.000000 (v7226)
    xopt[7759] = 1.000000 (v7227)
    xopt[7760] = 1.000000 (v7228)
    xopt[7761] = 1.000000 (v9940)
    xopt[7762] = 1.000000 (v7229)
    xopt[7763] = 1.000000 (v9941)
    xopt[7764] = 1.000000 (v9942)
    xopt[7765] = 1.000000 (v9943)
    xopt[7766] = 1.000000 (v9944)
    xopt[7767] = 1.000000 (v210)
    xopt[7768] = 1.000000 (v2400)
    xopt[7769] = 1.000000 (v9945)
    xopt[7770] = 1.000000 (v211)
    xopt[7771] = 1.000000 (v2401)
    xopt[7772] = 1.000000 (v9946)
    xopt[7774] = 1.000000 (v2402)
    xopt[7775] = 1.000000 (v9947)
    xopt[7776] = 1.000000 (v213)
    xopt[7777] = 1.000000 (v7230)
    xopt[7778] = 1.000000 (v2403)
    xopt[7779] = 1.000000 (v9948)
    xopt[7780] = 1.000000 (v214)
    xopt[7781] = 1.000000 (v7231)
    xopt[7783] = 1.000000 (v9949)
    xopt[7785] = 1.000000 (v7232)
    xopt[7786] = 1.000000 (v2405)
    xopt[7788] = 1.000000 (v7233)
    xopt[7789] = 1.000000 (v2406)
    xopt[7791] = 1.000000 (v7234)
    xopt[7794] = 1.000000 (v7235)
    xopt[7796] = 1.000000 (v219)
    xopt[7797] = 1.000000 (v7236)
    xopt[7799] = 1.000000 (v7237)
    xopt[7801] = 1.000000 (v7239)
    xopt[7806] = 1.000000 (v220)
    xopt[7807] = 1.000000 (v9954)
    xopt[7808] = 1.000000 (v2410)
    xopt[7809] = 1.000000 (v221)
    xopt[7810] = 1.000000 (v9955)
    xopt[7812] = 1.000000 (v9956)
    xopt[7813] = 1.000000 (v222)
    xopt[7815] = 1.000000 (v7240)
    xopt[7816] = 1.000000 (v9957)
    xopt[7819] = 1.000000 (v7241)
    xopt[7825] = 1.000000 (v225)
    xopt[7826] = 1.000000 (v2415)
    xopt[7828] = 1.000000 (v226)
    xopt[7831] = 1.000000 (v227)
    xopt[7832] = 1.000000 (v2417)
    xopt[7833] = 1.000000 (v7245)
    xopt[7834] = 1.000000 (v228)
    xopt[7835] = 1.000000 (v2418)
    xopt[7836] = 1.000000 (v7246)
    xopt[7837] = 1.000000 (v229)
    xopt[7838] = 1.000000 (v2419)
    xopt[7839] = 1.000000 (v7247)
    xopt[7840] = 1.000000 (v7248)
    xopt[7841] = 1.000000 (v7249)
    xopt[7842] = 1.000000 (v9960)
    xopt[7847] = 1.000000 (v230)
    xopt[7849] = 1.000000 (v9965)
    xopt[7850] = 1.000000 (v231)
    xopt[7851] = 1.000000 (v9966)
    xopt[7854] = 1.000000 (v2422)
    xopt[7855] = 1.000000 (v7250)
    xopt[7856] = 1.000000 (v9967)
    xopt[7858] = 1.000000 (v2423)
    xopt[7859] = 1.000000 (v7251)
    xopt[7860] = 1.000000 (v9968)
    xopt[7862] = 1.000000 (v7252)
    xopt[7863] = 1.000000 (v2424)
    xopt[7864] = 1.000000 (v9969)
    xopt[7865] = 1.000000 (v235)
    xopt[7866] = 1.000000 (v7253)
    xopt[7868] = 1.000000 (v236)
    xopt[7870] = 1.000000 (v2426)
    xopt[7871] = 1.000000 (v237)
    xopt[7873] = 1.000000 (v2427)
    xopt[7874] = 1.000000 (v238)
    xopt[7876] = 1.000000 (v2428)
    xopt[7877] = 1.000000 (v239)
    xopt[7879] = 1.000000 (v2429)
    xopt[7883] = 1.000000 (v9971)
    xopt[7884] = 1.000000 (v9972)
    xopt[7885] = 1.000000 (v9973)
    xopt[7887] = 1.000000 (v9974)
    xopt[7888] = 1.000000 (v2430)
    xopt[7890] = 1.000000 (v9975)
    xopt[7891] = 1.000000 (v2431)
    xopt[7893] = 1.000000 (v9976)
    xopt[7895] = 1.000000 (v7260)
    xopt[7897] = 1.000000 (v9977)
    xopt[7899] = 1.000000 (v7261)
    xopt[7900] = 1.000000 (v244)
    xopt[7901] = 1.000000 (v9978)
    xopt[7903] = 1.000000 (v245)
    xopt[7904] = 1.000000 (v9979)
    xopt[7905] = 1.000000 (v7262)
    xopt[7906] = 1.000000 (v2435)
    xopt[7909] = 1.000000 (v2436)
    xopt[7910] = 1.000000 (v247)
    xopt[7911] = 1.000000 (v7264)
    xopt[7912] = 1.000000 (v2437)
    xopt[7913] = 1.000000 (v248)
    xopt[7914] = 1.000000 (v7265)
    xopt[7915] = 1.000000 (v2438)
    xopt[7917] = 1.000000 (v7266)
    xopt[7918] = 1.000000 (v2439)
    xopt[7919] = 1.000000 (v7267)
    xopt[7920] = 1.000000 (v7268)
    xopt[7921] = 1.000000 (v9980)
    xopt[7922] = 1.000000 (v7269)
    xopt[7923] = 1.000000 (v9981)
    xopt[7924] = 1.000000 (v9982)
    xopt[7927] = 1.000000 (v9984)
    xopt[7928] = 1.000000 (v251)
    xopt[7929] = 1.000000 (v2440)
    xopt[7930] = 1.000000 (v9985)
    xopt[7931] = 1.000000 (v252)
    xopt[7932] = 1.000000 (v9986)
    xopt[7933] = 1.000000 (v2441)
    xopt[7935] = 1.000000 (v9987)
    xopt[7936] = 1.000000 (v2442)
    xopt[7937] = 1.000000 (v7270)
    xopt[7939] = 1.000000 (v9988)
    xopt[7940] = 1.000000 (v2443)
    xopt[7941] = 1.000000 (v7271)
    xopt[7943] = 1.000000 (v9989)
    xopt[7944] = 1.000000 (v2444)
    xopt[7945] = 1.000000 (v7272)
    xopt[7946] = 1.000000 (v256)
    xopt[7947] = 1.000000 (v2445)
    xopt[7948] = 1.000000 (v7273)
    xopt[7949] = 1.000000 (v257)
    xopt[7950] = 1.000000 (v2446)
    xopt[7951] = 1.000000 (v7274)
    xopt[7952] = 1.000000 (v258)
    xopt[7954] = 1.000000 (v7275)
    xopt[7955] = 1.000000 (v259)
    xopt[7956] = 1.000000 (v2448)
    xopt[7957] = 1.000000 (v7276)
    xopt[7958] = 1.000000 (v2449)
    xopt[7959] = 1.000000 (v7277)
    xopt[7960] = 1.000000 (v7278)
    xopt[7961] = 1.000000 (v9990)
    xopt[7963] = 1.000000 (v9991)
    xopt[7964] = 1.000000 (v9992)
    xopt[7965] = 1.000000 (v9993)
    xopt[7966] = 1.000000 (v260)
    xopt[7967] = 1.000000 (v9994)
    xopt[7968] = 1.000000 (v261)
    xopt[7969] = 1.000000 (v2450)
    xopt[7971] = 1.000000 (v262)
    xopt[7972] = 1.000000 (v9996)
    xopt[7974] = 1.000000 (v263)
    xopt[7975] = 1.000000 (v9997)
    xopt[7976] = 1.000000 (v2452)
    xopt[7978] = 1.000000 (v264)
    xopt[7979] = 1.000000 (v2453)
    xopt[7980] = 1.000000 (v9998)
    xopt[7983] = 1.000000 (v9999)
    xopt[7984] = 1.000000 (v7282)
    xopt[7987] = 1.000000 (v7283)
    xopt[7989] = 1.000000 (v2456)
    xopt[7990] = 1.000000 (v7284)
    xopt[7991] = 1.000000 (v267)
    xopt[7992] = 1.000000 (v2457)
    xopt[7993] = 1.000000 (v7285)
    xopt[7994] = 1.000000 (v268)
    xopt[7996] = 1.000000 (v7286)
    xopt[7997] = 1.000000 (v269)
    xopt[7998] = 1.000000 (v7287)
    xopt[8000] = 1.000000 (v7288)
    xopt[8001] = 1.000000 (v7289)
    xopt[8002] = 1.000000 (v270)
    xopt[8004] = 1.000000 (v271)
    xopt[8005] = 1.000000 (v2461)
    xopt[8006] = 1.000000 (v272)
    xopt[8007] = 1.000000 (v7290)
    xopt[8009] = 1.000000 (v273)
    xopt[8010] = 1.000000 (v7291)
    xopt[8012] = 1.000000 (v274)
    xopt[8013] = 1.000000 (v7292)
    xopt[8016] = 1.000000 (v7293)
    xopt[8017] = 1.000000 (v2465)
    xopt[8018] = 1.000000 (v276)
    xopt[8019] = 1.000000 (v7294)
    xopt[8020] = 1.000000 (v2466)
    xopt[8021] = 1.000000 (v277)
    xopt[8022] = 1.000000 (v7295)
    xopt[8024] = 1.000000 (v278)
    xopt[8027] = 1.000000 (v279)
    xopt[8029] = 1.000000 (v2469)
    xopt[8030] = 1.000000 (v7298)
    xopt[8031] = 1.000000 (v7299)
    xopt[8032] = 1.000000 (v280)
    xopt[8033] = 1.000000 (v2470)
    xopt[8034] = 1.000000 (v281)
    xopt[8035] = 1.000000 (v2471)
    xopt[8036] = 1.000000 (v282)
    xopt[8037] = 1.000000 (v2472)
    xopt[8038] = 1.000000 (v283)
    xopt[8039] = 1.000000 (v2473)
    xopt[8040] = 1.000000 (v284)
    xopt[8041] = 1.000000 (v2474)
    xopt[8042] = 1.000000 (v285)
    xopt[8043] = 1.000000 (v2475)
    xopt[8044] = 1.000000 (v286)
    xopt[8046] = 1.000000 (v287)
    xopt[8047] = 1.000000 (v2477)
    xopt[8048] = 1.000000 (v288)
    xopt[8049] = 1.000000 (v2478)
    xopt[8050] = 1.000000 (v289)
    xopt[8052] = 1.000000 (v290)
    xopt[8054] = 1.000000 (v291)
    xopt[8055] = 1.000000 (v2481)
    xopt[8056] = 1.000000 (v292)
    xopt[8057] = 1.000000 (v2482)
    xopt[8058] = 1.000000 (v293)
    xopt[8060] = 1.000000 (v294)
    xopt[8062] = 1.000000 (v295)
    xopt[8064] = 1.000000 (v296)
    xopt[8065] = 1.000000 (v2486)
    xopt[8066] = 1.000000 (v297)
    xopt[8068] = 1.000000 (v298)
    xopt[8070] = 1.000000 (v299)
    xopt[8071] = 1.000000 (v2489)
    xopt[8072] = 1.000000 (v2490)
    xopt[8073] = 1.000000 (v2491)
    xopt[8074] = 1.000000 (v2492)
    xopt[8075] = 1.000000 (v2493)
    xopt[8076] = 1.000000 (v2494)
    xopt[8077] = 1.000000 (v2495)
    xopt[8078] = 1.000000 (v2496)
    xopt[8080] = 1.000000 (v2498)
    xopt[8081] = 1.000000 (v2499)
    xopt[8082] = 1.000000 (v7300)
    xopt[8083] = 1.000000 (v7301)
    xopt[8084] = 1.000000 (v7302)
    xopt[8085] = 1.000000 (v7303)
    xopt[8086] = 1.000000 (v7304)
    xopt[8087] = 1.000000 (v7305)
    xopt[8088] = 1.000000 (v7306)
    xopt[8089] = 1.000000 (v7307)
    xopt[8090] = 1.000000 (v7308)
    xopt[8091] = 1.000000 (v7309)
    xopt[8092] = 1.000000 (v7310)
    xopt[8093] = 1.000000 (v7311)
    xopt[8097] = 1.000000 (v7315)
    xopt[8098] = 1.000000 (v7316)
    xopt[8099] = 1.000000 (v7317)
    xopt[8101] = 1.000000 (v7319)
    xopt[8102] = 1.000000 (v300)
    xopt[8103] = 1.000000 (v301)
    xopt[8104] = 1.000000 (v302)
    xopt[8105] = 1.000000 (v7320)
    xopt[8106] = 1.000000 (v303)
    xopt[8107] = 1.000000 (v7321)
    xopt[8109] = 1.000000 (v7322)
    xopt[8110] = 1.000000 (v305)
    xopt[8111] = 1.000000 (v7323)
    xopt[8112] = 1.000000 (v306)
    xopt[8113] = 1.000000 (v7324)
    xopt[8114] = 1.000000 (v307)
    xopt[8115] = 1.000000 (v308)
    xopt[8118] = 1.000000 (v309)
    xopt[8120] = 1.000000 (v7328)
    xopt[8122] = 1.000000 (v310)
    xopt[8123] = 1.000000 (v2500)
    xopt[8124] = 1.000000 (v311)
    xopt[8125] = 1.000000 (v2501)
    xopt[8126] = 1.000000 (v312)
    xopt[8128] = 1.000000 (v2502)
    xopt[8129] = 1.000000 (v313)
    xopt[8130] = 1.000000 (v2503)
    xopt[8132] = 1.000000 (v314)
    xopt[8133] = 1.000000 (v2504)
    xopt[8134] = 1.000000 (v7332)
    xopt[8135] = 1.000000 (v315)
    xopt[8139] = 1.000000 (v2506)
    xopt[8141] = 1.000000 (v317)
    xopt[8142] = 1.000000 (v2507)
    xopt[8144] = 1.000000 (v318)
    xopt[8145] = 1.000000 (v2508)
    xopt[8147] = 1.000000 (v319)
    xopt[8152] = 1.000000 (v320)
    xopt[8153] = 1.000000 (v2510)
    xopt[8154] = 1.000000 (v321)
    xopt[8155] = 1.000000 (v2511)
    xopt[8156] = 1.000000 (v322)
    xopt[8158] = 1.000000 (v7340)
    xopt[8159] = 1.000000 (v323)
    xopt[8161] = 1.000000 (v7341)
    xopt[8162] = 1.000000 (v324)
    xopt[8163] = 1.000000 (v2514)
    xopt[8164] = 1.000000 (v7342)
    xopt[8165] = 1.000000 (v325)
    xopt[8166] = 1.000000 (v2515)
    xopt[8167] = 1.000000 (v7343)
    xopt[8168] = 1.000000 (v326)
    xopt[8169] = 1.000000 (v2516)
    xopt[8170] = 1.000000 (v7344)
    xopt[8171] = 1.000000 (v327)
    xopt[8172] = 1.000000 (v2517)
    xopt[8173] = 1.000000 (v7345)
    xopt[8175] = 1.000000 (v2518)
    xopt[8176] = 1.000000 (v7346)
    xopt[8177] = 1.000000 (v329)
    xopt[8178] = 1.000000 (v2519)
    xopt[8179] = 1.000000 (v7347)
    xopt[8180] = 1.000000 (v7348)
    xopt[8181] = 1.000000 (v7349)
    xopt[8182] = 1.000000 (v330)
    xopt[8183] = 1.000000 (v2520)
    xopt[8184] = 1.000000 (v331)
    xopt[8185] = 1.000000 (v2521)
    xopt[8186] = 1.000000 (v332)
    xopt[8187] = 1.000000 (v333)
    xopt[8188] = 1.000000 (v2522)
    xopt[8190] = 1.000000 (v2523)
    xopt[8191] = 1.000000 (v334)
    xopt[8193] = 1.000000 (v2524)
    xopt[8194] = 1.000000 (v335)
    xopt[8195] = 1.000000 (v7352)
    xopt[8197] = 1.000000 (v7353)
    xopt[8198] = 1.000000 (v336)
    xopt[8201] = 1.000000 (v337)
    xopt[8203] = 1.000000 (v2527)
    xopt[8204] = 1.000000 (v338)
    xopt[8205] = 1.000000 (v2528)
    xopt[8206] = 1.000000 (v7356)
    xopt[8207] = 1.000000 (v339)
    xopt[8209] = 1.000000 (v7357)
    xopt[8210] = 1.000000 (v7358)
    xopt[8211] = 1.000000 (v7359)
    xopt[8216] = 1.000000 (v342)
    xopt[8217] = 1.000000 (v2532)
    xopt[8218] = 1.000000 (v7360)
    xopt[8219] = 1.000000 (v343)
    xopt[8220] = 1.000000 (v2533)
    xopt[8221] = 1.000000 (v7361)
    xopt[8223] = 1.000000 (v2534)
    xopt[8226] = 1.000000 (v2535)
    xopt[8229] = 1.000000 (v2536)
    xopt[8230] = 1.000000 (v347)
    xopt[8244] = 1.000000 (v351)
    xopt[8251] = 1.000000 (v354)
    xopt[8254] = 1.000000 (v355)
    xopt[8263] = 1.000000 (v358)
    xopt[8266] = 1.000000 (v359)
    xopt[8272] = 1.000000 (v360)
    xopt[8274] = 1.000000 (v361)
    xopt[8276] = 1.000000 (v362)
    xopt[8279] = 1.000000 (v363)
    xopt[8281] = 1.000000 (v364)
    xopt[8304] = 1.000000 (v371)
    xopt[8306] = 1.000000 (v372)
    xopt[8314] = 1.000000 (v375)
    xopt[8317] = 1.000000 (v376)
    xopt[8326] = 1.000000 (v379)
    xopt[8332] = 1.000000 (v380)
    xopt[8337] = 1.000000 (v383)
    xopt[8339] = 1.000000 (v384)
    xopt[8341] = 1.000000 (v385)
    xopt[8347] = 1.000000 (v388)
    xopt[8349] = 1.000000 (v389)
    xopt[8363] = 1.000000 (v396)
    xopt[8365] = 1.000000 (v397)
    xopt[8367] = 1.000000 (v398)
    xopt[8402] = 1.000000 (v400)
    xopt[8403] = 1.000000 (v401)
    xopt[8438] = 1.000000 (v2605)
    xopt[8444] = 1.000000 (v2607)
    xopt[8447] = 1.000000 (v2608)
    xopt[8449] = 1.000000 (v2609)
    xopt[8454] = 1.000000 (v2610)
    xopt[8456] = 1.000000 (v2611)
    xopt[8459] = 1.000000 (v2612)
    xopt[8462] = 1.000000 (v2613)
    xopt[8465] = 1.000000 (v2614)
    xopt[8466] = 1.000000 (v7443)
    xopt[8468] = 1.000000 (v2615)
    xopt[8469] = 1.000000 (v7444)
    xopt[8471] = 1.000000 (v2616)
    xopt[8478] = 1.000000 (v7447)
    xopt[8479] = 1.000000 (v2619)
    xopt[8480] = 1.000000 (v7448)
    xopt[8484] = 1.000000 (v2620)
    xopt[8493] = 1.000000 (v7452)
    xopt[8495] = 1.000000 (v2624)
    xopt[8505] = 1.000000 (v7456)
    xopt[8509] = 1.000000 (v2629)
    xopt[8554] = 1.000000 (v2644)
    xopt[8557] = 1.000000 (v2645)
    xopt[8651] = 1.000000 (v2679)
    xopt[8668] = 1.000000 (v2687)
    xopt[8678] = 1.000000 (v2696)
    xopt[8680] = 1.000000 (v2698)
    xopt[8681] = 1.000000 (v2699)
    xopt[8682] = 1.000000 (v7500)
    xopt[8688] = 1.000000 (v7506)
    xopt[8689] = 1.000000 (v7507)
    xopt[8691] = 1.000000 (v7509)
    xopt[8692] = 1.000000 (v7510)
    xopt[8697] = 1.000000 (v7515)
    xopt[8700] = 1.000000 (v7518)
    xopt[8701] = 1.000000 (v7519)
    xopt[8706] = 1.000000 (v503)
    xopt[8709] = 1.000000 (v7522)
    xopt[8710] = 1.000000 (v505)
    xopt[8711] = 1.000000 (v7523)
    xopt[8712] = 1.000000 (v506)
    xopt[8714] = 1.000000 (v507)
    xopt[8719] = 1.000000 (v7527)
    xopt[8737] = 1.000000 (v516)
    xopt[8740] = 1.000000 (v517)
    xopt[8743] = 1.000000 (v518)
    xopt[8746] = 1.000000 (v519)
    xopt[8880] = 1.000000 (v7581)
    xopt[8883] = 1.000000 (v7582)
    xopt[8885] = 1.000000 (v2754)
    xopt[8888] = 1.000000 (v2755)
    xopt[8889] = 1.000000 (v567)
    xopt[8903] = 1.000000 (v571)
    xopt[8914] = 1.000000 (v575)
    xopt[8922] = 1.000000 (v7595)
    xopt[8926] = 1.000000 (v579)
    xopt[8928] = 1.000000 (v7597)
    xopt[8930] = 1.000000 (v7598)
    xopt[8931] = 1.000000 (v7599)
    xopt[8934] = 1.000000 (v2770)
    xopt[8937] = 1.000000 (v583)
    xopt[8942] = 1.000000 (v2774)
    xopt[8944] = 1.000000 (v2775)
    xopt[8946] = 1.000000 (v2776)
    xopt[8948] = 1.000000 (v2777)
    xopt[8950] = 1.000000 (v2778)
    xopt[8955] = 1.000000 (v592)
    xopt[8958] = 1.000000 (v2782)
    xopt[8966] = 1.000000 (v2786)
    xopt[8975] = 1.000000 (v2793)
    xopt[8976] = 1.000000 (v2794)
    xopt[8977] = 1.000000 (v2795)
    xopt[8978] = 1.000000 (v2796)
    xopt[8979] = 1.000000 (v2797)
    xopt[8980] = 1.000000 (v2798)
    xopt[8981] = 1.000000 (v2799)
    xopt[8983] = 1.000000 (v7601)
    xopt[8984] = 1.000000 (v7602)
    xopt[8985] = 1.000000 (v7603)
    xopt[8989] = 1.000000 (v7607)
    xopt[8990] = 1.000000 (v7608)
    xopt[9008] = 1.000000 (v604)
    xopt[9014] = 1.000000 (v607)
    xopt[9016] = 1.000000 (v608)
    xopt[9025] = 1.000000 (v612)
    xopt[9032] = 1.000000 (v2803)
    xopt[9033] = 1.000000 (v615)
    xopt[9036] = 1.000000 (v616)
    xopt[9039] = 1.000000 (v617)
    xopt[9042] = 1.000000 (v618)
    xopt[9045] = 1.000000 (v619)
    xopt[9052] = 1.000000 (v620)
    xopt[9065] = 1.000000 (v2814)
    xopt[9068] = 1.000000 (v2815)
    xopt[9072] = 1.000000 (v628)
    xopt[9101] = 1.000000 (v7654)
    xopt[9158] = 1.000000 (v2845)
    xopt[9171] = 1.000000 (v7679)
    xopt[9184] = 1.000000 (v7682)
    xopt[9187] = 1.000000 (v7683)
    xopt[9190] = 1.000000 (v7684)
    xopt[9193] = 1.000000 (v2857)
    xopt[9194] = 1.000000 (v7685)
    xopt[9196] = 1.000000 (v2858)
    xopt[9197] = 1.000000 (v7686)
    xopt[9199] = 1.000000 (v7687)
    xopt[9203] = 1.000000 (v2860)
    xopt[9205] = 1.000000 (v2861)
    xopt[9212] = 1.000000 (v674)
    xopt[9216] = 1.000000 (v2865)
    xopt[9233] = 1.000000 (v2870)
    xopt[9236] = 1.000000 (v682)
    xopt[9238] = 1.000000 (v683)
    xopt[9242] = 1.000000 (v685)
    xopt[9244] = 1.000000 (v686)
    xopt[9255] = 1.000000 (v2881)
    xopt[9257] = 1.000000 (v2882)
    xopt[9260] = 1.000000 (v694)
    xopt[9268] = 1.000000 (v698)
    xopt[9270] = 1.000000 (v699)
    xopt[9271] = 1.000000 (v2889)
    xopt[9272] = 1.000000 (v2890)
    xopt[9277] = 1.000000 (v2895)
    xopt[9300] = 1.000000 (v5000)
    xopt[9304] = 1.000000 (v5002)
    xopt[9305] = 1.000000 (v5003)
    xopt[9315] = 1.000000 (v703)
    xopt[9324] = 1.000000 (v707)
    xopt[9339] = 1.000000 (v5016)
    xopt[9340] = 1.000000 (v2900)
    xopt[9341] = 1.000000 (v711)
    xopt[9342] = 1.000000 (v5017)
    xopt[9345] = 1.000000 (v5018)
    xopt[9346] = 1.000000 (v2902)
    xopt[9349] = 1.000000 (v5019)
    xopt[9350] = 1.000000 (v2903)
    xopt[9370] = 1.000000 (v5020)
    xopt[9372] = 1.000000 (v5021)
    xopt[9374] = 1.000000 (v5022)
    xopt[9375] = 1.000000 (v5023)
    xopt[9376] = 1.000000 (v5024)
    xopt[9383] = 1.000000 (v2911)
    xopt[9384] = 1.000000 (v722)
    xopt[9385] = 1.000000 (v5028)
    xopt[9388] = 1.000000 (v723)
    xopt[9392] = 1.000000 (v724)
    xopt[9395] = 1.000000 (v725)
    xopt[9397] = 1.000000 (v7743)
    xopt[9399] = 1.000000 (v7744)
    xopt[9400] = 1.000000 (v727)
    xopt[9402] = 1.000000 (v7745)
    xopt[9403] = 1.000000 (v728)
    xopt[9405] = 1.000000 (v7746)
    xopt[9414] = 1.000000 (v5032)
    xopt[9422] = 1.000000 (v2920)
    xopt[9426] = 1.000000 (v7750)
    xopt[9435] = 1.000000 (v2924)
    xopt[9437] = 1.000000 (v736)
    xopt[9439] = 1.000000 (v7754)
    xopt[9443] = 1.000000 (v7755)
    xopt[9448] = 1.000000 (v5040)
    xopt[9449] = 1.000000 (v7757)
    xopt[9451] = 1.000000 (v5041)
    xopt[9452] = 1.000000 (v7758)
    xopt[9454] = 1.000000 (v7759)
    xopt[9457] = 1.000000 (v5045)
    xopt[9465] = 1.000000 (v2931)
    xopt[9467] = 1.000000 (v5049)
    xopt[9468] = 1.000000 (v2932)
    xopt[9477] = 1.000000 (v2935)
    xopt[9480] = 1.000000 (v2936)
    xopt[9489] = 1.000000 (v2939)
    xopt[9496] = 1.000000 (v5054)
    xopt[9498] = 1.000000 (v5056)
    xopt[9500] = 1.000000 (v5057)
    xopt[9502] = 1.000000 (v2940)
    xopt[9516] = 1.000000 (v2945)
    xopt[9528] = 1.000000 (v2949)
    xopt[9529] = 1.000000 (v5060)
    xopt[9531] = 1.000000 (v5061)
    xopt[9534] = 1.000000 (v7779)
    xopt[9556] = 1.000000 (v7783)
    xopt[9559] = 1.000000 (v7784)
    xopt[9584] = 1.000000 (v2961)
    xopt[9593] = 1.000000 (v7792)
    xopt[9597] = 1.000000 (v2965)
    xopt[9622] = 1.000000 (v2970)
    xopt[9658] = 1.000000 (v2982)
    xopt[9675] = 1.000000 (v2993)
    xopt[9676] = 1.000000 (v2994)
    xopt[9677] = 1.000000 (v2995)
    xopt[9684] = 1.000000 (v7802)
    xopt[9701] = 1.000000 (v7818)
    xopt[9717] = 1.000000 (v7821)
    xopt[9719] = 1.000000 (v7822)
    xopt[9736] = 1.000000 (v5114)
    xopt[9737] = 1.000000 (v5115)
    xopt[9769] = 1.000000 (v820)
    xopt[9772] = 1.000000 (v5128)
    xopt[9773] = 1.000000 (v822)
    xopt[9775] = 1.000000 (v823)
    xopt[9777] = 1.000000 (v824)
    xopt[9804] = 1.000000 (v5139)
    xopt[9805] = 1.000000 (v7850)
    xopt[9810] = 1.000000 (v835)
    xopt[9812] = 1.000000 (v836)
    xopt[9814] = 1.000000 (v837)
    xopt[9816] = 1.000000 (v7855)
    xopt[9817] = 1.000000 (v839)
    xopt[9820] = 1.000000 (v7857)
    xopt[9822] = 1.000000 (v7858)
    xopt[9823] = 1.000000 (v5142)
    xopt[9825] = 1.000000 (v5143)
    xopt[9829] = 1.000000 (v840)
    xopt[9830] = 1.000000 (v5147)
    xopt[9835] = 1.000000 (v843)
    xopt[9838] = 1.000000 (v844)
    xopt[9840] = 1.000000 (v7862)
    xopt[9842] = 1.000000 (v7863)
    xopt[9846] = 1.000000 (v7865)
    xopt[9847] = 1.000000 (v849)
    xopt[9848] = 1.000000 (v7866)
    xopt[9852] = 1.000000 (v5151)
    xopt[9854] = 1.000000 (v5152)
    xopt[9873] = 1.000000 (v7874)
    xopt[9875] = 1.000000 (v7875)
    xopt[9876] = 1.000000 (v858)
    xopt[9883] = 1.000000 (v7879)
    xopt[9888] = 1.000000 (v860)
    xopt[9890] = 1.000000 (v861)
    xopt[9900] = 1.000000 (v865)
    xopt[9903] = 1.000000 (v7884)
    xopt[9905] = 1.000000 (v7885)
    xopt[9907] = 1.000000 (v7886)
    xopt[9909] = 1.000000 (v7887)
    xopt[9911] = 1.000000 (v7888)
    xopt[9912] = 1.000000 (v5171)
    xopt[9913] = 1.000000 (v5172)
    xopt[9931] = 1.000000 (v7893)
    xopt[9942] = 1.000000 (v7898)
    xopt[9944] = 1.000000 (v7899)
    xopt[9982] = 1.000000 (v7900)
    xopt[9983] = 1.000000 (v7901)
    xopt[9985] = 1.000000 (v7903)
    xopt[9986] = 1.000000 (v7904)
    xopt[9995] = 1.000000 (v7913)
    xopt[9997] = 1.000000 (v7915)
    xopt[9998] = 1.000000 (v7916)
    xopt[10003] = 1.000000 (v7919)
    xopt[10004] = 1.000000 (v5202)
    xopt[10014] = 1.000000 (v7920)
    xopt[10017] = 1.000000 (v7921)
    xopt[10019] = 1.000000 (v7922)
    xopt[10021] = 1.000000 (v7923)
    xopt[10023] = 1.000000 (v7924)
    xopt[10025] = 1.000000 (v7925)
    xopt[10027] = 1.000000 (v7926)
    xopt[10029] = 1.000000 (v7927)
    xopt[10030] = 1.000000 (v5210)
    xopt[10036] = 1.000000 (v5214)
    xopt[10041] = 1.000000 (v5217)
    xopt[10043] = 1.000000 (v5218)
    xopt[10050] = 1.000000 (v7932)
    xopt[10058] = 1.000000 (v7936)
    xopt[10070] = 1.000000 (v5227)
    xopt[10092] = 1.000000 (v7948)
    xopt[10097] = 1.000000 (v5235)
    xopt[10104] = 1.000000 (v5239)
    xopt[10110] = 1.000000 (v7952)
    xopt[10119] = 1.000000 (v5240)
    xopt[10121] = 1.000000 (v5241)
    xopt[10123] = 1.000000 (v5242)
    xopt[10125] = 1.000000 (v5243)
    xopt[10153] = 1.000000 (v5252)
    xopt[10168] = 1.000000 (v7971)
    xopt[10172] = 1.000000 (v7973)
    xopt[10174] = 1.000000 (v7974)
    xopt[10176] = 1.000000 (v7975)
    xopt[10178] = 1.000000 (v7976)
    xopt[10180] = 1.000000 (v7977)
    xopt[10182] = 1.000000 (v7978)
    xopt[10200] = 1.000000 (v7982)
    xopt[10206] = 1.000000 (v968)
    xopt[10208] = 1.000000 (v969)
    xopt[10210] = 1.000000 (v7987)
    xopt[10213] = 1.000000 (v5272)
    xopt[10219] = 1.000000 (v970)
    xopt[10235] = 1.000000 (v7995)
    xopt[10251] = 1.000000 (v981)
    xopt[10253] = 1.000000 (v982)
    xopt[10258] = 1.000000 (v986)
    xopt[10269] = 1.000000 (v990)
    xopt[10307] = 1.000000 (v5325)
    xopt[10315] = 1.000000 (v5333)
    xopt[10323] = 1.000000 (v5341)
    xopt[10356] = 1.000000 (v5374)
    xopt[10357] = 1.000000 (v5375)
    xopt[10377] = 1.000000 (v5395)
    xopt[10378] = 1.000000 (v5396)
    xopt[10379] = 1.000000 (v5397)
    xopt[10380] = 1.000000 (v5398)
    xopt[10381] = 1.000000 (v5399)
    xopt[10396] = 1.000000 (v5414)
    xopt[10397] = 1.000000 (v5415)
    xopt[10398] = 1.000000 (v5416)
    xopt[10399] = 1.000000 (v5417)
    xopt[10400] = 1.000000 (v5418)
    xopt[10403] = 1.000000 (v5421)
    xopt[10404] = 1.000000 (v5422)
    xopt[10405] = 1.000000 (v5423)
    xopt[10407] = 1.000000 (v5425)
    xopt[10408] = 1.000000 (v5426)
    xopt[10488] = 1.000000 (v5506)
    xopt[10497] = 1.000000 (v5515)
    xopt[10498] = 1.000000 (v5516)
    xopt[10499] = 1.000000 (v5517)
    xopt[10500] = 1.000000 (v5518)
    xopt[10504] = 1.000000 (v5522)
    xopt[10512] = 1.000000 (v5530)
    xopt[10516] = 1.000000 (v5534)
    xopt[10517] = 1.000000 (v5535)
    xopt[10518] = 1.000000 (v5536)
    xopt[10519] = 1.000000 (v5537)
    xopt[10520] = 1.000000 (v5538)
    xopt[10523] = 1.000000 (v5541)
    xopt[10524] = 1.000000 (v5542)
    xopt[10525] = 1.000000 (v5543)
    xopt[10529] = 1.000000 (v5547)
    xopt[10530] = 1.000000 (v5548)
    xopt[10531] = 1.000000 (v5549)
    xopt[10532] = 1.000000 (v5550)
    xopt[10533] = 1.000000 (v5551)
    xopt[10536] = 1.000000 (v5554)
    xopt[10537] = 1.000000 (v5555)
    xopt[10544] = 1.000000 (v5562)
    xopt[10545] = 1.000000 (v5563)
    xopt[10546] = 1.000000 (v5564)
    xopt[10548] = 1.000000 (v5566)
    xopt[10549] = 1.000000 (v5567)
    xopt[10550] = 1.000000 (v5568)
    xopt[10551] = 1.000000 (v5569)
    xopt[10553] = 1.000000 (v5571)
    xopt[10554] = 1.000000 (v5572)
    xopt[10557] = 1.000000 (v5575)
    xopt[10558] = 1.000000 (v5576)
    xopt[10562] = 1.000000 (v5580)
    xopt[10563] = 1.000000 (v5581)
    xopt[10564] = 1.000000 (v5582)
    xopt[10565] = 1.000000 (v5583)
    xopt[10566] = 1.000000 (v5584)
    xopt[10567] = 1.000000 (v5585)
    xopt[10569] = 1.000000 (v5587)
    xopt[10570] = 1.000000 (v5588)
    xopt[10575] = 1.000000 (v5593)
    xopt[10582] = 1.000000 (v5600)
    xopt[10583] = 1.000000 (v5601)
    xopt[10595] = 1.000000 (v5613)
    xopt[10596] = 1.000000 (v5614)
    xopt[10597] = 1.000000 (v5615)
    xopt[10598] = 1.000000 (v5616)
    xopt[10599] = 1.000000 (v5617)
    xopt[10600] = 1.000000 (v5618)
    xopt[10601] = 1.000000 (v5619)
    xopt[10602] = 1.000000 (v5620)
    xopt[10603] = 1.000000 (v5621)
    xopt[10604] = 1.000000 (v5622)
    xopt[10613] = 1.000000 (v5631)
    xopt[10618] = 1.000000 (v5636)
    xopt[10622] = 1.000000 (v5640)
    xopt[10634] = 1.000000 (v5652)
    xopt[10635] = 1.000000 (v5653)
    xopt[10636] = 1.000000 (v5654)
    xopt[10637] = 1.000000 (v5655)
    xopt[10638] = 1.000000 (v5656)
    xopt[10667] = 1.000000 (v5685)
    xopt[10668] = 1.000000 (v5686)
    xopt[10680] = 1.000000 (v5698)
    xopt[10684] = 1.000000 (v5702)
    xopt[10687] = 1.000000 (v5705)
    xopt[10688] = 1.000000 (v5706)
    xopt[10703] = 1.000000 (v3002)
    xopt[10705] = 1.000000 (v3003)
    xopt[10706] = 1.000000 (v3004)
    xopt[10708] = 1.000000 (v3006)
    xopt[10709] = 1.000000 (v3007)
    xopt[10710] = 1.000000 (v3008)
    xopt[10711] = 1.000000 (v3009)
    xopt[10720] = 1.000000 (v3010)
    xopt[10721] = 1.000000 (v3011)
    xopt[10723] = 1.000000 (v3012)
    xopt[10725] = 1.000000 (v3013)
    xopt[10726] = 1.000000 (v3014)
    xopt[10727] = 1.000000 (v3015)
    xopt[10739] = 1.000000 (v3020)
    xopt[10746] = 1.000000 (v3024)
    xopt[10747] = 1.000000 (v3025)
    xopt[10749] = 1.000000 (v3027)
    xopt[10750] = 1.000000 (v3028)
    xopt[10782] = 1.000000 (v3041)
    xopt[10785] = 1.000000 (v3043)
    xopt[10786] = 1.000000 (v3044)
    xopt[10787] = 1.000000 (v3045)
    xopt[10788] = 1.000000 (v3046)
    xopt[10790] = 1.000000 (v3048)
    xopt[10792] = 1.000000 (v3049)
    xopt[10805] = 1.000000 (v3053)
    xopt[10806] = 1.000000 (v3054)
    xopt[10807] = 1.000000 (v3055)
    xopt[10812] = 1.000000 (v3059)
    xopt[10825] = 1.000000 (v3063)
    xopt[10830] = 1.000000 (v3068)
    xopt[10831] = 1.000000 (v3069)
    xopt[10836] = 1.000000 (v5784)
    xopt[10839] = 1.000000 (v3070)
    xopt[10840] = 1.000000 (v5787)
    xopt[10841] = 1.000000 (v3071)
    xopt[10842] = 1.000000 (v5788)
    xopt[10843] = 1.000000 (v3072)
    xopt[10854] = 1.000000 (v5792)
    xopt[10860] = 1.000000 (v5797)
    xopt[10864] = 1.000000 (v5799)
    xopt[10867] = 1.000000 (v3085)
    xopt[10869] = 1.000000 (v3087)
    xopt[10870] = 1.000000 (v3088)
    xopt[10882] = 1.000000 (v5800)
    xopt[10930] = 1.000000 (v3118)
    xopt[10932] = 1.000000 (v5830)
    xopt[10934] = 1.000000 (v5832)
    xopt[10935] = 1.000000 (v5833)
    xopt[10936] = 1.000000 (v5834)
    xopt[10937] = 1.000000 (v5835)
    xopt[10938] = 1.000000 (v5836)
    xopt[10940] = 1.000000 (v5837)
    xopt[10948] = 1.000000 (v3126)
    xopt[10951] = 1.000000 (v3129)
    xopt[10959] = 1.000000 (v3130)
    xopt[10965] = 1.000000 (v3133)
    xopt[10966] = 1.000000 (v3134)
    xopt[10970] = 1.000000 (v3138)
    zopt = 3.000000
    zroot = 3.000000
    zinit = 3.000000

MINTO: Branch and bound statistics

    Maximum number of unevaluated nodes           =     0
    Number of evaluated nodes                     =   100
    Depth of the tree                             =    99
    Number of linear programs solved              =   100
    Maximum number of rows in active LP           = 12524 (12524)

MINTO: Cut generation statistics

    Number of generated clique inequalities       =     0
    Number of generated implication inequalities  =     0
    Number of generated lifted knapsack covers    =     0
        Knapsack covers            =     0
        Knapsack covers with GUBs  =     0
        Surrogate knapsack covers  =     0
    Number of generated generalized flow covers   =     0

APPL: Timing statistics (in seconds)

    appl_bounds:                                     0.00
    appl_constraints:                                0.00
    appl_delconstraints:                             0.00
    appl_divide:                                     0.00
    appl_exit:                                       0.00
    appl_fathom:                                     0.00
    appl_feasible:                                   0.00
    appl_init:                                       0.00
    appl_initlp:                                     0.00
    appl_mps:                                        0.00
    appl_node:                                       0.00
    appl_preprocessing:                              0.00
    appl_primal:                                     0.00
    appl_rank:                                       0.00
    appl_terminatelp:                                0.00
    appl_terminatenode:                              0.00
    appl_variables:                                  0.00

MINTO: Timing statistics (in seconds)

    Reading MPS file:                                0.00
    Restart:                                         0.00
    Preprocessing and probing:                       0.04
    Primal heuristic:                                1.12
    Bound improvement:                               1.89
    Clique cut generation:                           1.05
    Implication cut generation:                      0.00
    Knapsack cover generation:                       0.04
    GUB cover generation:                            0.00
    Surrogate knapsack cover generation:             0.00
    Flow cover generation:                           0.00
    Cut pool search:                                 0.00
    Cut Management:                                  0.00
    Branching:                                       8.76
    Time LP solving:                                 0.00

    Total elapsed time:                             13.23

Command exited with non-zero status 161
13.04user 0.20system 0:13.25elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+81270minor)pagefaults 0swaps