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: 12050
    Number of variables:   10772 (0)
    Number of nonzero's:   45889

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

MINTO: Presolve eliminated 13 constraints and 4 variables
       Presolve made 0 coefficient changes

MINTO: Row structure analysis (after preprocessing):
    Number of constraints of type ALLBINUB:     1791
    Number of constraints of type BINSUM1UB:    10246

MINTO control parameters:
    Objective sense     : minimization
    Output level        : 1
    Maximum cpu time    : 1000004
    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:       -11.00  Elapsed time:    13.38  Node:     100
MINTO: Updating primal (MINTO heuristic)
       Value:       -10.00  Elapsed time:    17.03  Node:     200
MINTO: ... evaluated 1000 nodes ... (best bound -8.100000, queue 363)
MINTO: Updating primal (MINTO heuristic)
       Value:        -9.00  Elapsed time:    35.36  Node:    1200

MINTO: Value of solution: 9.000000
MINTO: Non-zero variables in the solution:
    xopt[3] = 1.000000 (v3140)
    xopt[5] = 1.000000 (v5858)
    xopt[6] = 1.000000 (v3141)
    xopt[7] = 1.000000 (v5859)
    xopt[8] = 1.000000 (v3142)
    xopt[9] = 1.000000 (v3143)
    xopt[10] = 1.000000 (v3144)
    xopt[11] = 1.000000 (v3145)
    xopt[12] = 1.000000 (v3146)
    xopt[13] = 1.000000 (v3147)
    xopt[14] = 1.000000 (v3148)
    xopt[16] = 1.000000 (v5860)
    xopt[17] = 1.000000 (v5861)
    xopt[18] = 1.000000 (v5862)
    xopt[19] = 1.000000 (v5863)
    xopt[23] = 1.000000 (v5867)
    xopt[25] = 1.000000 (v5868)
    xopt[27] = 1.000000 (v3152)
    xopt[28] = 1.000000 (v5869)
    xopt[31] = 1.000000 (v3155)
    xopt[32] = 1.000000 (v3156)
    xopt[37] = 1.000000 (v5871)
    xopt[38] = 1.000000 (v5872)
    xopt[41] = 1.000000 (v5875)
    xopt[42] = 1.000000 (v5876)
    xopt[43] = 1.000000 (v3160)
    xopt[45] = 1.000000 (v3161)
    xopt[63] = 1.000000 (v5887)
    xopt[64] = 1.000000 (v3170)
    xopt[65] = 1.000000 (v5888)
    xopt[67] = 1.000000 (v5889)
    xopt[68] = 1.000000 (v3172)
    xopt[69] = 1.000000 (v3173)
    xopt[70] = 1.000000 (v3174)
    xopt[72] = 1.000000 (v3176)
    xopt[73] = 1.000000 (v3177)
    xopt[74] = 1.000000 (v3178)
    xopt[75] = 1.000000 (v5890)
    xopt[76] = 1.000000 (v3179)
    xopt[77] = 1.000000 (v5891)
    xopt[78] = 1.000000 (v5892)
    xopt[79] = 1.000000 (v5893)
    xopt[83] = 1.000000 (v5897)
    xopt[84] = 1.000000 (v3180)
    xopt[86] = 1.000000 (v3181)
    xopt[107] = 1.000000 (v8001)
    xopt[119] = 1.000000 (v8013)
    xopt[124] = 1.000000 (v8017)
    xopt[125] = 1.000000 (v5901)
    xopt[127] = 1.000000 (v5902)
    xopt[129] = 1.000000 (v5903)
    xopt[130] = 1.000000 (v5904)
    xopt[131] = 1.000000 (v5905)
    xopt[132] = 1.000000 (v5906)
    xopt[134] = 1.000000 (v5908)
    xopt[135] = 1.000000 (v5909)
    xopt[138] = 1.000000 (v8022)
    xopt[139] = 1.000000 (v8023)
    xopt[140] = 1.000000 (v8024)
    xopt[141] = 1.000000 (v8025)
    xopt[142] = 1.000000 (v8026)
    xopt[143] = 1.000000 (v8027)
    xopt[145] = 1.000000 (v8028)
    xopt[147] = 1.000000 (v8029)
    xopt[149] = 1.000000 (v5913)
    xopt[152] = 1.000000 (v5916)
    xopt[153] = 1.000000 (v5917)
    xopt[155] = 1.000000 (v5918)
    xopt[157] = 1.000000 (v8030)
    xopt[160] = 1.000000 (v8031)
    xopt[162] = 1.000000 (v8032)
    xopt[164] = 1.000000 (v8033)
    xopt[166] = 1.000000 (v8034)
    xopt[168] = 1.000000 (v8035)
    xopt[172] = 1.000000 (v8037)
    xopt[174] = 1.000000 (v3209)
    xopt[175] = 1.000000 (v8038)
    xopt[177] = 1.000000 (v8039)
    xopt[178] = 1.000000 (v5922)
    xopt[183] = 1.000000 (v5927)
    xopt[184] = 1.000000 (v3210)
    xopt[185] = 1.000000 (v5928)
    xopt[186] = 1.000000 (v3211)
    xopt[188] = 1.000000 (v5929)
    xopt[190] = 1.000000 (v8041)
    xopt[192] = 1.000000 (v8042)
    xopt[195] = 1.000000 (v3215)
    xopt[198] = 1.000000 (v8045)
    xopt[200] = 1.000000 (v8046)
    xopt[203] = 1.000000 (v5930)
    xopt[206] = 1.000000 (v5931)
    xopt[207] = 1.000000 (v8049)
    xopt[208] = 1.000000 (v5932)
    xopt[209] = 1.000000 (v5933)
    xopt[210] = 1.000000 (v5934)
    xopt[211] = 1.000000 (v5935)
    xopt[212] = 1.000000 (v5936)
    xopt[213] = 1.000000 (v5937)
    xopt[215] = 1.000000 (v5938)
    xopt[217] = 1.000000 (v8050)
    xopt[220] = 1.000000 (v8051)
    xopt[226] = 1.000000 (v8054)
    xopt[227] = 1.000000 (v3226)
    xopt[228] = 1.000000 (v8055)
    xopt[229] = 1.000000 (v3227)
    xopt[230] = 1.000000 (v8056)
    xopt[235] = 1.000000 (v8058)
    xopt[237] = 1.000000 (v8059)
    xopt[239] = 1.000000 (v5943)
    xopt[243] = 1.000000 (v3230)
    xopt[245] = 1.000000 (v3231)
    xopt[247] = 1.000000 (v8060)
    xopt[250] = 1.000000 (v8061)
    xopt[252] = 1.000000 (v8062)
    xopt[254] = 1.000000 (v8063)
    xopt[256] = 1.000000 (v8064)
    xopt[257] = 1.000000 (v3236)
    xopt[260] = 1.000000 (v8066)
    xopt[262] = 1.000000 (v8067)
    xopt[263] = 1.000000 (v3239)
    xopt[264] = 1.000000 (v5950)
    xopt[265] = 1.000000 (v8068)
    xopt[266] = 1.000000 (v5951)
    xopt[268] = 1.000000 (v5952)
    xopt[269] = 1.000000 (v5953)
    xopt[270] = 1.000000 (one)
    xopt[271] = 1.000000 (v5954)
    xopt[274] = 1.000000 (v3240)
    xopt[277] = 1.000000 (v5958)
    xopt[278] = 1.000000 (v8070)
    xopt[281] = 1.000000 (v8071)
    xopt[283] = 1.000000 (v8072)
    xopt[287] = 1.000000 (v8074)
    xopt[289] = 1.000000 (v8075)
    xopt[291] = 1.000000 (v8076)
    xopt[293] = 1.000000 (v8077)
    xopt[296] = 1.000000 (v8078)
    xopt[297] = 1.000000 (v5961)
    xopt[298] = 1.000000 (v8079)
    xopt[299] = 1.000000 (v5962)
    xopt[308] = 1.000000 (v8080)
    xopt[311] = 1.000000 (v8081)
    xopt[313] = 1.000000 (v8082)
    xopt[315] = 1.000000 (v8083)
    xopt[317] = 1.000000 (v8084)
    xopt[319] = 1.000000 (v8085)
    xopt[321] = 1.000000 (v8086)
    xopt[323] = 1.000000 (v8087)
    xopt[341] = 1.000000 (v8091)
    xopt[343] = 1.000000 (v8092)
    xopt[349] = 1.000000 (v8095)
    xopt[352] = 1.000000 (v8096)
    xopt[379] = 1.000000 (v5992)
    xopt[389] = 1.000000 (v5999)
    xopt[391] = 1.000000 (v3284)
    xopt[392] = 1.000000 (v3285)
    xopt[393] = 1.000000 (v3286)
    xopt[396] = 1.000000 (v3289)
    xopt[397] = 1.000000 (v3290)
    xopt[398] = 1.000000 (v3291)
    xopt[400] = 1.000000 (v3293)
    xopt[401] = 1.000000 (v3294)
    xopt[404] = 1.000000 (v3297)
    xopt[405] = 1.000000 (v3298)
    xopt[410] = 1.000000 (v8103)
    xopt[411] = 1.000000 (v8104)
    xopt[419] = 1.000000 (v8112)
    xopt[423] = 1.000000 (v8116)
    xopt[424] = 1.000000 (v8117)
    xopt[433] = 1.000000 (v8126)
    xopt[435] = 1.000000 (v8128)
    xopt[436] = 1.000000 (v8129)
    xopt[438] = 1.000000 (v3301)
    xopt[440] = 1.000000 (v3302)
    xopt[443] = 1.000000 (v8132)
    xopt[445] = 1.000000 (v8133)
    xopt[452] = 1.000000 (v8136)
    xopt[454] = 1.000000 (v8137)
    xopt[455] = 1.000000 (v8138)
    xopt[456] = 1.000000 (v8139)
    xopt[458] = 1.000000 (v3311)
    xopt[459] = 1.000000 (v8140)
    xopt[461] = 1.000000 (v8141)
    xopt[463] = 1.000000 (v8142)
    xopt[464] = 1.000000 (v3314)
    xopt[466] = 1.000000 (v3315)
    xopt[468] = 1.000000 (v3316)
    xopt[470] = 1.000000 (v3317)
    xopt[472] = 1.000000 (v3318)
    xopt[473] = 1.000000 (v8147)
    xopt[474] = 1.000000 (v3319)
    xopt[475] = 1.000000 (v8148)
    xopt[476] = 1.000000 (v8149)
    xopt[479] = 1.000000 (v8150)
    xopt[482] = 1.000000 (v3323)
    xopt[487] = 1.000000 (v8154)
    xopt[495] = 1.000000 (v8158)
    xopt[500] = 1.000000 (v3332)
    xopt[503] = 1.000000 (v3334)
    xopt[506] = 1.000000 (v3335)
    xopt[508] = 1.000000 (v3336)
    xopt[510] = 1.000000 (v3337)
    xopt[514] = 1.000000 (v3339)
    xopt[516] = 1.000000 (v8169)
    xopt[517] = 1.000000 (v3340)
    xopt[519] = 1.000000 (v8170)
    xopt[525] = 1.000000 (v8173)
    xopt[527] = 1.000000 (v8174)
    xopt[529] = 1.000000 (v8175)
    xopt[539] = 1.000000 (v3352)
    xopt[555] = 1.000000 (v8188)
    xopt[556] = 1.000000 (v8189)
    xopt[558] = 1.000000 (v3361)
    xopt[559] = 1.000000 (v8190)
    xopt[561] = 1.000000 (v8191)
    xopt[563] = 1.000000 (v8192)
    xopt[564] = 1.000000 (v3364)
    xopt[565] = 1.000000 (v8193)
    xopt[566] = 1.000000 (v3365)
    xopt[567] = 1.000000 (v8194)
    xopt[569] = 1.000000 (v8195)
    xopt[577] = 1.000000 (v3370)
    xopt[578] = 1.000000 (v3371)
    xopt[579] = 1.000000 (v3372)
    xopt[580] = 1.000000 (v3373)
    xopt[583] = 1.000000 (v3376)
    xopt[584] = 1.000000 (v3377)
    xopt[587] = 1.000000 (v3380)
    xopt[588] = 1.000000 (v3381)
    xopt[589] = 1.000000 (v3382)
    xopt[590] = 1.000000 (v3383)
    xopt[591] = 1.000000 (v3384)
    xopt[592] = 1.000000 (v3385)
    xopt[601] = 1.000000 (v3394)
    xopt[602] = 1.000000 (v3395)
    xopt[603] = 1.000000 (v3396)
    xopt[604] = 1.000000 (v3397)
    xopt[631] = 1.000000 (v8224)
    xopt[647] = 1.000000 (v8234)
    xopt[649] = 1.000000 (v8235)
    xopt[656] = 1.000000 (v8239)
    xopt[665] = 1.000000 (v8243)
    xopt[667] = 1.000000 (v8244)
    xopt[671] = 1.000000 (v8246)
    xopt[673] = 1.000000 (v8247)
    xopt[679] = 1.000000 (v8250)
    xopt[681] = 1.000000 (v8251)
    xopt[687] = 1.000000 (v8254)
    xopt[689] = 1.000000 (v8255)
    xopt[732] = 1.000000 (v3448)
    xopt[734] = 1.000000 (v3449)
    xopt[737] = 1.000000 (v3450)
    xopt[743] = 1.000000 (v3454)
    xopt[745] = 1.000000 (v3455)
    xopt[749] = 1.000000 (v3457)
    xopt[751] = 1.000000 (v3458)
    xopt[758] = 1.000000 (v3461)
    xopt[759] = 1.000000 (v3462)
    xopt[781] = 1.000000 (v3474)
    xopt[782] = 1.000000 (v3475)
    xopt[786] = 1.000000 (v3479)
    xopt[787] = 1.000000 (v3480)
    xopt[788] = 1.000000 (v3481)
    xopt[789] = 1.000000 (v3482)
    xopt[790] = 1.000000 (v3483)
    xopt[794] = 1.000000 (v3487)
    xopt[798] = 1.000000 (v3491)
    xopt[801] = 1.000000 (v3494)
    xopt[802] = 1.000000 (v3495)
    xopt[814] = 1.000000 (v8307)
    xopt[815] = 1.000000 (v8308)
    xopt[823] = 1.000000 (v8316)
    xopt[827] = 1.000000 (v8320)
    xopt[828] = 1.000000 (v8321)
    xopt[836] = 1.000000 (v8329)
    xopt[837] = 1.000000 (v3500)
    xopt[838] = 1.000000 (v3501)
    xopt[840] = 1.000000 (v3502)
    xopt[842] = 1.000000 (v3503)
    xopt[844] = 1.000000 (v3504)
    xopt[845] = 1.000000 (v8333)
    xopt[846] = 1.000000 (v3505)
    xopt[848] = 1.000000 (v3506)
    xopt[851] = 1.000000 (v8336)
    xopt[852] = 1.000000 (v3508)
    xopt[853] = 1.000000 (v8337)
    xopt[854] = 1.000000 (v3509)
    xopt[855] = 1.000000 (v8338)
    xopt[859] = 1.000000 (v8340)
    xopt[861] = 1.000000 (v8341)
    xopt[862] = 1.000000 (v3513)
    xopt[863] = 1.000000 (v8342)
    xopt[867] = 1.000000 (v8344)
    xopt[912] = 1.000000 (v10)
    xopt[915] = 1.000000 (v11)
    xopt[917] = 1.000000 (v12)
    xopt[920] = 1.000000 (v13)
    xopt[921] = 1.000000 (v14)
    xopt[923] = 1.000000 (v16)
    xopt[924] = 1.000000 (v17)
    xopt[931] = 1.000000 (v3543)
    xopt[935] = 1.000000 (v3545)
    xopt[936] = 1.000000 (v8373)
    xopt[937] = 1.000000 (v3546)
    xopt[939] = 1.000000 (v3547)
    xopt[942] = 1.000000 (v3548)
    xopt[946] = 1.000000 (v3549)
    xopt[955] = 1.000000 (v28)
    xopt[956] = 1.000000 (v3550)
    xopt[957] = 1.000000 (v29)
    xopt[958] = 1.000000 (v3551)
    xopt[960] = 1.000000 (v8380)
    xopt[961] = 1.000000 (v8381)
    xopt[964] = 1.000000 (v8382)
    xopt[968] = 1.000000 (v8384)
    xopt[970] = 1.000000 (v8385)
    xopt[971] = 1.000000 (v30)
    xopt[980] = 1.000000 (v8389)
    xopt[981] = 1.000000 (v34)
    xopt[982] = 1.000000 (v35)
    xopt[983] = 1.000000 (v36)
    xopt[984] = 1.000000 (v37)
    xopt[985] = 1.000000 (v38)
    xopt[986] = 1.000000 (v3560)
    xopt[987] = 1.000000 (v39)
    xopt[989] = 1.000000 (v3562)
    xopt[992] = 1.000000 (v3563)
    xopt[993] = 1.000000 (v3564)
    xopt[996] = 1.000000 (v8393)
    xopt[997] = 1.000000 (v3566)
    xopt[999] = 1.000000 (v3567)
    xopt[1001] = 1.000000 (v40)
    xopt[1003] = 1.000000 (v3568)
    xopt[1004] = 1.000000 (v41)
    xopt[1006] = 1.000000 (v3569)
    xopt[1007] = 1.000000 (v42)
    xopt[1008] = 1.000000 (v8398)
    xopt[1012] = 1.000000 (v45)
    xopt[1013] = 1.000000 (v46)
    xopt[1016] = 1.000000 (v3570)
    xopt[1018] = 1.000000 (v3571)
    xopt[1019] = 1.000000 (v3572)
    xopt[1020] = 1.000000 (v3573)
    xopt[1021] = 1.000000 (v3574)
    xopt[1022] = 1.000000 (v3575)
    xopt[1023] = 1.000000 (v3576)
    xopt[1024] = 1.000000 (v3577)
    xopt[1025] = 1.000000 (v50)
    xopt[1026] = 1.000000 (v3578)
    xopt[1027] = 1.000000 (v51)
    xopt[1028] = 1.000000 (v3579)
    xopt[1030] = 1.000000 (v53)
    xopt[1031] = 1.000000 (v54)
    xopt[1032] = 1.000000 (v55)
    xopt[1033] = 1.000000 (v56)
    xopt[1035] = 1.000000 (v58)
    xopt[1036] = 1.000000 (v3580)
    xopt[1037] = 1.000000 (v59)
    xopt[1038] = 1.000000 (v3581)
    xopt[1040] = 1.000000 (v3583)
    xopt[1041] = 1.000000 (v3584)
    xopt[1045] = 1.000000 (v3588)
    xopt[1047] = 1.000000 (v3589)
    xopt[1050] = 1.000000 (v63)
    xopt[1056] = 1.000000 (v3590)
    xopt[1058] = 1.000000 (v3591)
    xopt[1059] = 1.000000 (v3592)
    xopt[1060] = 1.000000 (v3593)
    xopt[1062] = 1.000000 (v3595)
    xopt[1063] = 1.000000 (v3596)
    xopt[1064] = 1.000000 (v3597)
    xopt[1066] = 1.000000 (v3598)
    xopt[1068] = 1.000000 (v3599)
    xopt[1072] = 1.000000 (v75)
    xopt[1103] = 1.000000 (v8406)
    xopt[1107] = 1.000000 (v8410)
    xopt[1127] = 1.000000 (v3600)
    xopt[1128] = 1.000000 (v3601)
    xopt[1132] = 1.000000 (v3603)
    xopt[1134] = 1.000000 (v3604)
    xopt[1140] = 1.000000 (v3607)
    xopt[1142] = 1.000000 (v3608)
    xopt[1162] = 1.000000 (v8446)
    xopt[1164] = 1.000000 (v8447)
    xopt[1165] = 1.000000 (v8448)
    xopt[1176] = 1.000000 (v8453)
    xopt[1178] = 1.000000 (v8454)
    xopt[1180] = 1.000000 (v8455)
    xopt[1182] = 1.000000 (v8456)
    xopt[1186] = 1.000000 (v8459)
    xopt[1190] = 1.000000 (v8460)
    xopt[1193] = 1.000000 (v3634)
    xopt[1196] = 1.000000 (v8463)
    xopt[1197] = 1.000000 (v3636)
    xopt[1198] = 1.000000 (v8464)
    xopt[1199] = 1.000000 (v3637)
    xopt[1201] = 1.000000 (v3638)
    xopt[1204] = 1.000000 (v8467)
    xopt[1205] = 1.000000 (v8468)
    xopt[1209] = 1.000000 (v3642)
    xopt[1217] = 1.000000 (v3646)
    xopt[1227] = 1.000000 (v3650)
    xopt[1228] = 1.000000 (v3651)
    xopt[1229] = 1.000000 (v3652)
    xopt[1231] = 1.000000 (v3653)
    xopt[1233] = 1.000000 (v3654)
    xopt[1239] = 1.000000 (v3657)
    xopt[1241] = 1.000000 (v3658)
    xopt[1252] = 1.000000 (v3663)
    xopt[1264] = 1.000000 (v8497)
    xopt[1265] = 1.000000 (v8498)
    xopt[1272] = 1.000000 (v3675)
    xopt[1279] = 1.000000 (v3682)
    xopt[1280] = 1.000000 (v3683)
    xopt[1285] = 1.000000 (v3688)
    xopt[1286] = 1.000000 (v3689)
    xopt[1287] = 1.000000 (v3690)
    xopt[1288] = 1.000000 (v3691)
    xopt[1289] = 1.000000 (v3692)
    xopt[1290] = 1.000000 (v3693)
    xopt[1291] = 1.000000 (v3694)
    xopt[1292] = 1.000000 (v3695)
    xopt[1296] = 1.000000 (v3699)
    xopt[1299] = 1.000000 (v8502)
    xopt[1303] = 1.000000 (v8506)
    xopt[1307] = 1.000000 (v8510)
    xopt[1311] = 1.000000 (v8514)
    xopt[1315] = 1.000000 (v8518)
    xopt[1331] = 1.000000 (v3703)
    xopt[1395] = 1.000000 (v3729)
    xopt[1406] = 1.000000 (v3730)
    xopt[1422] = 1.000000 (v3738)
    xopt[1439] = 1.000000 (v3742)
    xopt[1449] = 1.000000 (v3747)
    xopt[1452] = 1.000000 (v3748)
    xopt[1455] = 1.000000 (v3749)
    xopt[1466] = 1.000000 (v3750)
    xopt[1471] = 1.000000 (v3753)
    xopt[1473] = 1.000000 (v3754)
    xopt[1475] = 1.000000 (v3755)
    xopt[1486] = 1.000000 (v3759)
    xopt[1500] = 1.000000 (v3762)
    xopt[1502] = 1.000000 (v3763)
    xopt[1504] = 1.000000 (v3764)
    xopt[1507] = 1.000000 (v8594)
    xopt[1508] = 1.000000 (v3766)
    xopt[1510] = 1.000000 (v3767)
    xopt[1512] = 1.000000 (v8596)
    xopt[1513] = 1.000000 (v3768)
    xopt[1514] = 1.000000 (v1051)
    xopt[1515] = 1.000000 (v8597)
    xopt[1516] = 1.000000 (v3769)
    xopt[1521] = 1.000000 (v1054)
    xopt[1522] = 1.000000 (v1055)
    xopt[1525] = 1.000000 (v1058)
    xopt[1526] = 1.000000 (v3770)
    xopt[1527] = 1.000000 (v1059)
    xopt[1528] = 1.000000 (v3771)
    xopt[1531] = 1.000000 (v3774)
    xopt[1532] = 1.000000 (v3775)
    xopt[1558] = 1.000000 (v1072)
    xopt[1560] = 1.000000 (v1073)
    xopt[1561] = 1.000000 (v1074)
    xopt[1562] = 1.000000 (v1075)
    xopt[1563] = 1.000000 (v1076)
    xopt[1574] = 1.000000 (v1080)
    xopt[1581] = 1.000000 (v1084)
    xopt[1585] = 1.000000 (v1088)
    xopt[1590] = 1.000000 (v1093)
    xopt[1602] = 1.000000 (v8605)
    xopt[1603] = 1.000000 (v8606)
    xopt[1606] = 1.000000 (v8609)
    xopt[1607] = 1.000000 (v8610)
    xopt[1608] = 1.000000 (v8611)
    xopt[1610] = 1.000000 (v8613)
    xopt[1611] = 1.000000 (v8614)
    xopt[1612] = 1.000000 (v8615)
    xopt[1614] = 1.000000 (v8617)
    xopt[1615] = 1.000000 (v8618)
    xopt[1620] = 1.000000 (v8623)
    xopt[1625] = 1.000000 (v8628)
    xopt[1629] = 1.000000 (v8630)
    xopt[1631] = 1.000000 (v8631)
    xopt[1632] = 1.000000 (v3803)
    xopt[1634] = 1.000000 (v3804)
    xopt[1636] = 1.000000 (v3805)
    xopt[1637] = 1.000000 (v8634)
    xopt[1638] = 1.000000 (v3806)
    xopt[1639] = 1.000000 (v8635)
    xopt[1640] = 1.000000 (v3807)
    xopt[1642] = 1.000000 (v3808)
    xopt[1644] = 1.000000 (v3809)
    xopt[1650] = 1.000000 (v3812)
    xopt[1652] = 1.000000 (v3813)
    xopt[1663] = 1.000000 (v3818)
    xopt[1668] = 1.000000 (v8648)
    xopt[1678] = 1.000000 (v3821)
    xopt[1680] = 1.000000 (v3822)
    xopt[1683] = 1.000000 (v8652)
    xopt[1686] = 1.000000 (v3825)
    xopt[1688] = 1.000000 (v3826)
    xopt[1692] = 1.000000 (v8656)
    xopt[1694] = 1.000000 (v1111)
    xopt[1697] = 1.000000 (v1112)
    xopt[1703] = 1.000000 (v1116)
    xopt[1712] = 1.000000 (v8661)
    xopt[1713] = 1.000000 (v3834)
    xopt[1715] = 1.000000 (v3835)
    xopt[1716] = 1.000000 (v8663)
    xopt[1717] = 1.000000 (v3836)
    xopt[1718] = 1.000000 (v8664)
    xopt[1719] = 1.000000 (v3837)
    xopt[1722] = 1.000000 (v3838)
    xopt[1728] = 1.000000 (v8668)
    xopt[1739] = 1.000000 (v3842)
    xopt[1745] = 1.000000 (v3845)
    xopt[1746] = 1.000000 (v8673)
    xopt[1747] = 1.000000 (v3846)
    xopt[1768] = 1.000000 (v3851)
    xopt[1769] = 1.000000 (v8680)
    xopt[1771] = 1.000000 (v8681)
    xopt[1775] = 1.000000 (v3855)
    xopt[1777] = 1.000000 (v8684)
    xopt[1779] = 1.000000 (v8685)
    xopt[1782] = 1.000000 (v8686)
    xopt[1788] = 1.000000 (v8688)
    xopt[1790] = 1.000000 (v8689)
    xopt[1803] = 1.000000 (v8692)
    xopt[1805] = 1.000000 (v8693)
    xopt[1812] = 1.000000 (v8696)
    xopt[1815] = 1.000000 (v8697)
    xopt[1818] = 1.000000 (v8698)
    xopt[1819] = 1.000000 (v1153)
    xopt[1821] = 1.000000 (v1154)
    xopt[1825] = 1.000000 (v1158)
    xopt[1829] = 1.000000 (v3872)
    xopt[1831] = 1.000000 (v3874)
    xopt[1832] = 1.000000 (v3875)
    xopt[1833] = 1.000000 (v3876)
    xopt[1838] = 1.000000 (v3879)
    xopt[1843] = 1.000000 (v1166)
    xopt[1846] = 1.000000 (v3880)
    xopt[1848] = 1.000000 (v3881)
    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 (v3887)
    xopt[1856] = 1.000000 (v3888)
    xopt[1861] = 1.000000 (v1174)
    xopt[1864] = 1.000000 (v1177)
    xopt[1865] = 1.000000 (v1178)
    xopt[1867] = 1.000000 (v1179)
    xopt[1868] = 1.000000 (v3891)
    xopt[1869] = 1.000000 (v3892)
    xopt[1872] = 1.000000 (v3895)
    xopt[1873] = 1.000000 (v3896)
    xopt[1874] = 1.000000 (v3897)
    xopt[1875] = 1.000000 (v1180)
    xopt[1876] = 1.000000 (v3898)
    xopt[1877] = 1.000000 (v1181)
    xopt[1878] = 1.000000 (v3899)
    xopt[1879] = 1.000000 (v1182)
    xopt[1880] = 1.000000 (v1183)
    xopt[1881] = 1.000000 (v1184)
    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[1888] = 1.000000 (v1191)
    xopt[1893] = 1.000000 (v1196)
    xopt[1894] = 1.000000 (v1197)
    xopt[1895] = 1.000000 (v1198)
    xopt[1896] = 1.000000 (v1199)
    xopt[1902] = 1.000000 (v5)
    xopt[1904] = 1.000000 (v6)
    xopt[1906] = 1.000000 (v7)
    xopt[1908] = 1.000000 (v8)
    xopt[1910] = 1.000000 (v9)
    xopt[1912] = 1.000000 (v8706)
    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[1923] = 1.000000 (v8717)
    xopt[1924] = 1.000000 (v6000)
    xopt[1925] = 1.000000 (v8718)
    xopt[1928] = 1.000000 (v8719)
    xopt[1929] = 1.000000 (v6003)
    xopt[1930] = 1.000000 (v6004)
    xopt[1934] = 1.000000 (v6008)
    xopt[1936] = 1.000000 (v8720)
    xopt[1937] = 1.000000 (v8721)
    xopt[1938] = 1.000000 (v8722)
    xopt[1939] = 1.000000 (v8723)
    xopt[1940] = 1.000000 (v8724)
    xopt[1941] = 1.000000 (v8725)
    xopt[1942] = 1.000000 (v8726)
    xopt[1945] = 1.000000 (v6011)
    xopt[1947] = 1.000000 (v6012)
    xopt[1949] = 1.000000 (v6013)
    xopt[1950] = 1.000000 (v6014)
    xopt[1951] = 1.000000 (v6015)
    xopt[1952] = 1.000000 (v6016)
    xopt[1953] = 1.000000 (v3900)
    xopt[1954] = 1.000000 (v6017)
    xopt[1955] = 1.000000 (v3901)
    xopt[1956] = 1.000000 (v6018)
    xopt[1958] = 1.000000 (v6019)
    xopt[1960] = 1.000000 (v3903)
    xopt[1962] = 1.000000 (v3904)
    xopt[1964] = 1.000000 (v8733)
    xopt[1965] = 1.000000 (v3905)
    xopt[1966] = 1.000000 (v8734)
    xopt[1967] = 1.000000 (v3906)
    xopt[1968] = 1.000000 (v3907)
    xopt[1969] = 1.000000 (v8735)
    xopt[1970] = 1.000000 (v3908)
    xopt[1971] = 1.000000 (v8736)
    xopt[1972] = 1.000000 (v6020)
    xopt[1974] = 1.000000 (v3909)
    xopt[1975] = 1.000000 (v6021)
    xopt[1981] = 1.000000 (v6025)
    xopt[1982] = 1.000000 (v6026)
    xopt[1985] = 1.000000 (v6028)
    xopt[1987] = 1.000000 (v6029)
    xopt[1989] = 1.000000 (v3912)
    xopt[1990] = 1.000000 (v8741)
    xopt[1991] = 1.000000 (v3913)
    xopt[1992] = 1.000000 (v8742)
    xopt[1993] = 1.000000 (v3914)
    xopt[1994] = 1.000000 (v8743)
    xopt[1995] = 1.000000 (v3915)
    xopt[1997] = 1.000000 (v3916)
    xopt[2000] = 1.000000 (v3917)
    xopt[2003] = 1.000000 (v3918)
    xopt[2004] = 1.000000 (v8747)
    xopt[2006] = 1.000000 (v6030)
    xopt[2007] = 1.000000 (v3919)
    xopt[2009] = 1.000000 (v1203)
    xopt[2012] = 1.000000 (v6032)
    xopt[2013] = 1.000000 (v1204)
    xopt[2014] = 1.000000 (v6033)
    xopt[2015] = 1.000000 (v1205)
    xopt[2016] = 1.000000 (v6034)
    xopt[2017] = 1.000000 (v1206)
    xopt[2019] = 1.000000 (v1207)
    xopt[2020] = 1.000000 (v6036)
    xopt[2022] = 1.000000 (v6037)
    xopt[2024] = 1.000000 (v3920)
    xopt[2025] = 1.000000 (v6038)
    xopt[2026] = 1.000000 (v3921)
    xopt[2027] = 1.000000 (v8750)
    xopt[2029] = 1.000000 (v3922)
    xopt[2030] = 1.000000 (v8751)
    xopt[2031] = 1.000000 (v3923)
    xopt[2033] = 1.000000 (v3924)
    xopt[2035] = 1.000000 (v3925)
    xopt[2036] = 1.000000 (v8754)
    xopt[2038] = 1.000000 (v8755)
    xopt[2039] = 1.000000 (v1210)
    xopt[2042] = 1.000000 (v1211)
    xopt[2043] = 1.000000 (v3928)
    xopt[2045] = 1.000000 (v6040)
    xopt[2047] = 1.000000 (v3929)
    xopt[2049] = 1.000000 (v6041)
    xopt[2052] = 1.000000 (v6042)
    xopt[2054] = 1.000000 (v1215)
    xopt[2056] = 1.000000 (v1216)
    xopt[2059] = 1.000000 (v6045)
    xopt[2060] = 1.000000 (v1218)
    xopt[2061] = 1.000000 (v6046)
    xopt[2062] = 1.000000 (v3930)
    xopt[2063] = 1.000000 (v1219)
    xopt[2064] = 1.000000 (v6047)
    xopt[2066] = 1.000000 (v6048)
    xopt[2067] = 1.000000 (v3932)
    xopt[2069] = 1.000000 (v6049)
    xopt[2070] = 1.000000 (v3933)
    xopt[2072] = 1.000000 (v3934)
    xopt[2078] = 1.000000 (v3937)
    xopt[2081] = 1.000000 (v3938)
    xopt[2086] = 1.000000 (v6050)
    xopt[2100] = 1.000000 (v1228)
    xopt[2131] = 1.000000 (v6062)
    xopt[2158] = 1.000000 (v1240)
    xopt[2165] = 1.000000 (v3959)
    xopt[2172] = 1.000000 (v1244)
    xopt[2174] = 1.000000 (v1245)
    xopt[2178] = 1.000000 (v1247)
    xopt[2180] = 1.000000 (v1248)
    xopt[2190] = 1.000000 (v8791)
    xopt[2191] = 1.000000 (v3963)
    xopt[2192] = 1.000000 (v8792)
    xopt[2194] = 1.000000 (v8793)
    xopt[2201] = 1.000000 (v8796)
    xopt[2204] = 1.000000 (v8797)
    xopt[2209] = 1.000000 (v1253)
    xopt[2218] = 1.000000 (v1257)
    xopt[2228] = 1.000000 (v6089)
    xopt[2239] = 1.000000 (v6090)
    xopt[2241] = 1.000000 (v6091)
    xopt[2243] = 1.000000 (v6092)
    xopt[2245] = 1.000000 (v6093)
    xopt[2247] = 1.000000 (v6094)
    xopt[2256] = 1.000000 (v6098)
    xopt[2270] = 1.000000 (v1274)
    xopt[2272] = 1.000000 (v1276)
    xopt[2273] = 1.000000 (v1277)
    xopt[2274] = 1.000000 (v1278)
    xopt[2275] = 1.000000 (v1279)
    xopt[2284] = 1.000000 (v1280)
    xopt[2288] = 1.000000 (v1282)
    xopt[2289] = 1.000000 (v1283)
    xopt[2301] = 1.000000 (v1295)
    xopt[2305] = 1.000000 (v1299)
    xopt[2311] = 1.000000 (v8805)
    xopt[2315] = 1.000000 (v8809)
    xopt[2329] = 1.000000 (v6103)
    xopt[2330] = 1.000000 (v6104)
    xopt[2331] = 1.000000 (v6105)
    xopt[2332] = 1.000000 (v6106)
    xopt[2335] = 1.000000 (v6109)
    xopt[2343] = 1.000000 (v6110)
    xopt[2351] = 1.000000 (v6115)
    xopt[2356] = 1.000000 (v6119)
    xopt[2369] = 1.000000 (v6123)
    xopt[2381] = 1.000000 (v1300)
    xopt[2399] = 1.000000 (v6135)
    xopt[2415] = 1.000000 (v1312)
    xopt[2417] = 1.000000 (v6140)
    xopt[2426] = 1.000000 (v1316)
    xopt[2427] = 1.000000 (v6144)
    xopt[2432] = 1.000000 (v1319)
    xopt[2434] = 1.000000 (v6148)
    xopt[2441] = 1.000000 (v1320)
    xopt[2442] = 1.000000 (v8865)
    xopt[2454] = 1.000000 (v1325)
    xopt[2469] = 1.000000 (v8873)
    xopt[2476] = 1.000000 (v8877)
    xopt[2503] = 1.000000 (v1341)
    xopt[2511] = 1.000000 (v1344)
    xopt[2513] = 1.000000 (v8889)
    xopt[2514] = 1.000000 (v1345)
    xopt[2526] = 1.000000 (v8890)
    xopt[2527] = 1.000000 (v8891)
    xopt[2528] = 1.000000 (v8892)
    xopt[2529] = 1.000000 (v8893)
    xopt[2530] = 1.000000 (v8894)
    xopt[2532] = 1.000000 (v8895)
    xopt[2534] = 1.000000 (v8896)
    xopt[2537] = 1.000000 (v8897)
    xopt[2540] = 1.000000 (v8898)
    xopt[2581] = 1.000000 (v1375)
    xopt[2585] = 1.000000 (v1379)
    xopt[2586] = 1.000000 (v1380)
    xopt[2587] = 1.000000 (v1381)
    xopt[2589] = 1.000000 (v1383)
    xopt[2590] = 1.000000 (v1384)
    xopt[2608] = 1.000000 (v8902)
    xopt[2612] = 1.000000 (v8906)
    xopt[2621] = 1.000000 (v8915)
    xopt[2628] = 1.000000 (v8919)
    xopt[2651] = 1.000000 (v6215)
    xopt[2676] = 1.000000 (v8940)
    xopt[2680] = 1.000000 (v8944)
    xopt[2688] = 1.000000 (v6231)
    xopt[2689] = 1.000000 (v8948)
    xopt[2692] = 1.000000 (v8949)
    xopt[2698] = 1.000000 (v6235)
    xopt[2700] = 1.000000 (v6236)
    xopt[2704] = 1.000000 (v6238)
    xopt[2705] = 1.000000 (v6239)
    xopt[2707] = 1.000000 (v8951)
    xopt[2708] = 1.000000 (v8952)
    xopt[2709] = 1.000000 (v8953)
    xopt[2711] = 1.000000 (v8955)
    xopt[2713] = 1.000000 (v8956)
    xopt[2715] = 1.000000 (v8957)
    xopt[2716] = 1.000000 (v6240)
    xopt[2721] = 1.000000 (v8959)
    xopt[2724] = 1.000000 (v6243)
    xopt[2726] = 1.000000 (v6244)
    xopt[2732] = 1.000000 (v6247)
    xopt[2734] = 1.000000 (v6248)
    xopt[2735] = 1.000000 (v8960)
    xopt[2748] = 1.000000 (v6251)
    xopt[2751] = 1.000000 (v6252)
    xopt[2760] = 1.000000 (v6256)
    xopt[2812] = 1.000000 (v8989)
    xopt[2826] = 1.000000 (v8990)
    xopt[2830] = 1.000000 (v8994)
    xopt[2850] = 1.000000 (v6286)
    xopt[2852] = 1.000000 (v6287)
    xopt[2854] = 1.000000 (v6288)
    xopt[2855] = 1.000000 (v6289)
    xopt[2864] = 1.000000 (v6293)
    xopt[2870] = 1.000000 (v6296)
    xopt[2872] = 1.000000 (v6297)
    xopt[2874] = 1.000000 (v6298)
    xopt[2878] = 1.000000 (v1472)
    xopt[2879] = 1.000000 (v1473)
    xopt[2881] = 1.000000 (v1475)
    xopt[2882] = 1.000000 (v1476)
    xopt[2886] = 1.000000 (v1480)
    xopt[2889] = 1.000000 (v1483)
    xopt[2890] = 1.000000 (v1484)
    xopt[2894] = 1.000000 (v1488)
    xopt[2898] = 1.000000 (v1492)
    xopt[2906] = 1.000000 (v6300)
    xopt[2907] = 1.000000 (v6301)
    xopt[2912] = 1.000000 (v6306)
    xopt[2916] = 1.000000 (v6310)
    xopt[2920] = 1.000000 (v6314)
    xopt[2928] = 1.000000 (v6322)
    xopt[3021] = 1.000000 (v1543)
    xopt[3023] = 1.000000 (v1544)
    xopt[3025] = 1.000000 (v1545)
    xopt[3027] = 1.000000 (v1546)
    xopt[3029] = 1.000000 (v1547)
    xopt[3030] = 1.000000 (v6376)
    xopt[3031] = 1.000000 (v1548)
    xopt[3035] = 1.000000 (v6379)
    xopt[3036] = 1.000000 (v1550)
    xopt[3037] = 1.000000 (v1551)
    xopt[3038] = 1.000000 (v6380)
    xopt[3039] = 1.000000 (v1552)
    xopt[3040] = 1.000000 (v6381)
    xopt[3041] = 1.000000 (v1553)
    xopt[3043] = 1.000000 (v1554)
    xopt[3044] = 1.000000 (v6383)
    xopt[3045] = 1.000000 (v1555)
    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[3059] = 1.000000 (v1562)
    xopt[3072] = 1.000000 (v1569)
    xopt[3076] = 1.000000 (v1570)
    xopt[3077] = 1.000000 (v1571)
    xopt[3080] = 1.000000 (v1574)
    xopt[3081] = 1.000000 (v1575)
    xopt[3085] = 1.000000 (v1579)
    xopt[3089] = 1.000000 (v1583)
    xopt[3093] = 1.000000 (v1587)
    xopt[3094] = 1.000000 (v1588)
    xopt[3096] = 1.000000 (v1590)
    xopt[3097] = 1.000000 (v1591)
    xopt[3098] = 1.000000 (v1592)
    xopt[3099] = 1.000000 (v1593)
    xopt[3100] = 1.000000 (v1594)
    xopt[3101] = 1.000000 (v1595)
    xopt[3102] = 1.000000 (v1596)
    xopt[3136] = 1.000000 (v1600)
    xopt[3140] = 1.000000 (v1603)
    xopt[3142] = 1.000000 (v1604)
    xopt[3144] = 1.000000 (v1605)
    xopt[3148] = 1.000000 (v1607)
    xopt[3150] = 1.000000 (v1608)
    xopt[3168] = 1.000000 (v1617)
    xopt[3172] = 1.000000 (v1619)
    xopt[3176] = 1.000000 (v1620)
    xopt[3177] = 1.000000 (v1621)
    xopt[3181] = 1.000000 (v6451)
    xopt[3183] = 1.000000 (v6452)
    xopt[3184] = 1.000000 (v1625)
    xopt[3185] = 1.000000 (v6453)
    xopt[3187] = 1.000000 (v6454)
    xopt[3189] = 1.000000 (v6455)
    xopt[3191] = 1.000000 (v6456)
    xopt[3192] = 1.000000 (v1629)
    xopt[3193] = 1.000000 (v6457)
    xopt[3194] = 1.000000 (v6458)
    xopt[3195] = 1.000000 (v6459)
    xopt[3227] = 1.000000 (v1646)
    xopt[3241] = 1.000000 (v1653)
    xopt[3243] = 1.000000 (v1654)
    xopt[3251] = 1.000000 (v1658)
    xopt[3266] = 1.000000 (v1666)
    xopt[3274] = 1.000000 (v6498)
    xopt[3275] = 1.000000 (v6499)
    xopt[3277] = 1.000000 (v1671)
    xopt[3285] = 1.000000 (v1679)
    xopt[3288] = 1.000000 (v1682)
    xopt[3289] = 1.000000 (v1683)
    xopt[3292] = 1.000000 (v1686)
    xopt[3293] = 1.000000 (v1687)
    xopt[3296] = 1.000000 (v1690)
    xopt[3297] = 1.000000 (v1691)
    xopt[3301] = 1.000000 (v1695)
    xopt[3302] = 1.000000 (v1696)
    xopt[3309] = 1.000000 (v6503)
    xopt[3336] = 1.000000 (v1700)
    xopt[3340] = 1.000000 (v1703)
    xopt[3342] = 1.000000 (v1704)
    xopt[3352] = 1.000000 (v1709)
    xopt[3357] = 1.000000 (v1711)
    xopt[3358] = 1.000000 (v1712)
    xopt[3360] = 1.000000 (v1713)
    xopt[3362] = 1.000000 (v1714)
    xopt[3364] = 1.000000 (v1715)
    xopt[3366] = 1.000000 (v1716)
    xopt[3377] = 1.000000 (v1721)
    xopt[3382] = 1.000000 (v1724)
    xopt[3384] = 1.000000 (v1725)
    xopt[3386] = 1.000000 (v1726)
    xopt[3387] = 1.000000 (v6554)
    xopt[3389] = 1.000000 (v6555)
    xopt[3390] = 1.000000 (v1728)
    xopt[3391] = 1.000000 (v6556)
    xopt[3392] = 1.000000 (v1729)
    xopt[3395] = 1.000000 (v6559)
    xopt[3398] = 1.000000 (v1732)
    xopt[3399] = 1.000000 (v6560)
    xopt[3400] = 1.000000 (v1733)
    xopt[3407] = 1.000000 (v6564)
    xopt[3413] = 1.000000 (v6567)
    xopt[3414] = 1.000000 (v6568)
    xopt[3426] = 1.000000 (v1746)
    xopt[3442] = 1.000000 (v1754)
    xopt[3451] = 1.000000 (v1758)
    xopt[3453] = 1.000000 (v1759)
    xopt[3456] = 1.000000 (v1760)
    xopt[3457] = 1.000000 (v1761)
    xopt[3459] = 1.000000 (v1762)
    xopt[3472] = 1.000000 (v1769)
    xopt[3474] = 1.000000 (v6598)
    xopt[3475] = 1.000000 (v6599)
    xopt[3476] = 1.000000 (v1770)
    xopt[3477] = 1.000000 (v1771)
    xopt[3489] = 1.000000 (v1783)
    xopt[3492] = 1.000000 (v1786)
    xopt[3493] = 1.000000 (v1787)
    xopt[3497] = 1.000000 (v1791)
    xopt[3515] = 1.000000 (v6609)
    xopt[3520] = 1.000000 (v6614)
    xopt[3524] = 1.000000 (v6618)
    xopt[3528] = 1.000000 (v6622)
    xopt[3532] = 1.000000 (v6626)
    xopt[3538] = 1.000000 (v6630)
    xopt[3546] = 1.000000 (v6634)
    xopt[3553] = 1.000000 (v6637)
    xopt[3554] = 1.000000 (v6638)
    xopt[3555] = 1.000000 (v6639)
    xopt[3567] = 1.000000 (v6644)
    xopt[3568] = 1.000000 (v1817)
    xopt[3571] = 1.000000 (v6646)
    xopt[3572] = 1.000000 (v1819)
    xopt[3573] = 1.000000 (v6647)
    xopt[3576] = 1.000000 (v1820)
    xopt[3577] = 1.000000 (v1821)
    xopt[3578] = 1.000000 (v6650)
    xopt[3579] = 1.000000 (v1822)
    xopt[3580] = 1.000000 (v6651)
    xopt[3583] = 1.000000 (v1824)
    xopt[3585] = 1.000000 (v1825)
    xopt[3586] = 1.000000 (v6654)
    xopt[3588] = 1.000000 (v6655)
    xopt[3590] = 1.000000 (v6656)
    xopt[3593] = 1.000000 (v1829)
    xopt[3594] = 1.000000 (v6658)
    xopt[3595] = 1.000000 (v6659)
    xopt[3606] = 1.000000 (v6664)
    xopt[3611] = 1.000000 (v1838)
    xopt[3613] = 1.000000 (v1839)
    xopt[3616] = 1.000000 (v1840)
    xopt[3617] = 1.000000 (v1841)
    xopt[3619] = 1.000000 (v1842)
    xopt[3621] = 1.000000 (v1843)
    xopt[3623] = 1.000000 (v1844)
    xopt[3625] = 1.000000 (v1845)
    xopt[3627] = 1.000000 (v1846)
    xopt[3629] = 1.000000 (v1847)
    xopt[3631] = 1.000000 (v1848)
    xopt[3633] = 1.000000 (v1849)
    xopt[3638] = 1.000000 (v6680)
    xopt[3639] = 1.000000 (v1852)
    xopt[3641] = 1.000000 (v1853)
    xopt[3643] = 1.000000 (v1854)
    xopt[3645] = 1.000000 (v1855)
    xopt[3647] = 1.000000 (v1856)
    xopt[3648] = 1.000000 (v1857)
    xopt[3649] = 1.000000 (v6685)
    xopt[3650] = 1.000000 (v1858)
    xopt[3652] = 1.000000 (v1859)
    xopt[3653] = 1.000000 (v6687)
    xopt[3654] = 1.000000 (v6688)
    xopt[3655] = 1.000000 (v6689)
    xopt[3656] = 1.000000 (v1860)
    xopt[3657] = 1.000000 (v1861)
    xopt[3659] = 1.000000 (v6690)
    xopt[3661] = 1.000000 (v6691)
    xopt[3663] = 1.000000 (v6692)
    xopt[3664] = 1.000000 (v1865)
    xopt[3666] = 1.000000 (v1866)
    xopt[3669] = 1.000000 (v6695)
    xopt[3671] = 1.000000 (v6696)
    xopt[3672] = 1.000000 (v1869)
    xopt[3675] = 1.000000 (v6699)
    xopt[3676] = 1.000000 (v1870)
    xopt[3679] = 1.000000 (v1873)
    xopt[3680] = 1.000000 (v1874)
    xopt[3681] = 1.000000 (v1875)
    xopt[3682] = 1.000000 (v1876)
    xopt[3683] = 1.000000 (v1877)
    xopt[3684] = 1.000000 (v1878)
    xopt[3685] = 1.000000 (v1879)
    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[3697] = 1.000000 (v1891)
    xopt[3698] = 1.000000 (v1892)
    xopt[3703] = 1.000000 (v1897)
    xopt[3704] = 1.000000 (v1898)
    xopt[3706] = 1.000000 (v6700)
    xopt[3707] = 1.000000 (v6701)
    xopt[3709] = 1.000000 (v6703)
    xopt[3710] = 1.000000 (v6704)
    xopt[3714] = 1.000000 (v6708)
    xopt[3715] = 1.000000 (v6709)
    xopt[3719] = 1.000000 (v6713)
    xopt[3731] = 1.000000 (v4005)
    xopt[3732] = 1.000000 (v4006)
    xopt[3733] = 1.000000 (v4007)
    xopt[3734] = 1.000000 (v4008)
    xopt[3735] = 1.000000 (v4009)
    xopt[3737] = 1.000000 (v6721)
    xopt[3740] = 1.000000 (v6724)
    xopt[3741] = 1.000000 (v6725)
    xopt[3742] = 1.000000 (v6726)
    xopt[3745] = 1.000000 (v6728)
    xopt[3747] = 1.000000 (v6729)
    xopt[3753] = 1.000000 (v4017)
    xopt[3758] = 1.000000 (v6730)
    xopt[3760] = 1.000000 (v1903)
    xopt[3762] = 1.000000 (v1904)
    xopt[3763] = 1.000000 (v6732)
    xopt[3764] = 1.000000 (v1905)
    xopt[3765] = 1.000000 (v6733)
    xopt[3766] = 1.000000 (v1906)
    xopt[3767] = 1.000000 (v6734)
    xopt[3768] = 1.000000 (v1907)
    xopt[3769] = 1.000000 (v6735)
    xopt[3770] = 1.000000 (v1908)
    xopt[3772] = 1.000000 (v1909)
    xopt[3774] = 1.000000 (v6737)
    xopt[3775] = 1.000000 (v4021)
    xopt[3776] = 1.000000 (v6738)
    xopt[3781] = 1.000000 (v4025)
    xopt[3782] = 1.000000 (v4026)
    xopt[3783] = 1.000000 (v1910)
    xopt[3784] = 1.000000 (v4027)
    xopt[3785] = 1.000000 (v1911)
    xopt[3786] = 1.000000 (v4028)
    xopt[3787] = 1.000000 (v1912)
    xopt[3788] = 1.000000 (v4029)
    xopt[3790] = 1.000000 (v1913)
    xopt[3792] = 1.000000 (v1914)
    xopt[3793] = 1.000000 (v6742)
    xopt[3794] = 1.000000 (v1915)
    xopt[3796] = 1.000000 (v1916)
    xopt[3798] = 1.000000 (v1917)
    xopt[3801] = 1.000000 (v6746)
    xopt[3810] = 1.000000 (v4034)
    xopt[3813] = 1.000000 (v1920)
    xopt[3815] = 1.000000 (v1921)
    xopt[3816] = 1.000000 (v4038)
    xopt[3817] = 1.000000 (v6750)
    xopt[3820] = 1.000000 (v6751)
    xopt[3822] = 1.000000 (v6752)
    xopt[3823] = 1.000000 (v1924)
    xopt[3824] = 1.000000 (v6753)
    xopt[3825] = 1.000000 (v1925)
    xopt[3826] = 1.000000 (v6754)
    xopt[3827] = 1.000000 (v1926)
    xopt[3829] = 1.000000 (v6755)
    xopt[3831] = 1.000000 (v6756)
    xopt[3832] = 1.000000 (v1929)
    xopt[3833] = 1.000000 (v6757)
    xopt[3835] = 1.000000 (v6758)
    xopt[3837] = 1.000000 (v6759)
    xopt[3838] = 1.000000 (v4042)
    xopt[3842] = 1.000000 (v4046)
    xopt[3843] = 1.000000 (v1930)
    xopt[3849] = 1.000000 (v6760)
    xopt[3851] = 1.000000 (v6761)
    xopt[3853] = 1.000000 (v6762)
    xopt[3855] = 1.000000 (v6763)
    xopt[3857] = 1.000000 (v6764)
    xopt[3858] = 1.000000 (v1937)
    xopt[3859] = 1.000000 (v6765)
    xopt[3860] = 1.000000 (v1938)
    xopt[3861] = 1.000000 (v6766)
    xopt[3863] = 1.000000 (v4050)
    xopt[3864] = 1.000000 (v6767)
    xopt[3871] = 1.000000 (v4055)
    xopt[3874] = 1.000000 (v4057)
    xopt[3876] = 1.000000 (v4058)
    xopt[3878] = 1.000000 (v4059)
    xopt[3879] = 1.000000 (v6770)
    xopt[3881] = 1.000000 (v6771)
    xopt[3883] = 1.000000 (v6772)
    xopt[3885] = 1.000000 (v6773)
    xopt[3886] = 1.000000 (v1946)
    xopt[3887] = 1.000000 (v6774)
    xopt[3889] = 1.000000 (v6775)
    xopt[3891] = 1.000000 (v6776)
    xopt[3893] = 1.000000 (v6777)
    xopt[3895] = 1.000000 (v6778)
    xopt[3897] = 1.000000 (v4062)
    xopt[3898] = 1.000000 (v6779)
    xopt[3899] = 1.000000 (v4063)
    xopt[3902] = 1.000000 (v4066)
    xopt[3903] = 1.000000 (v1950)
    xopt[3904] = 1.000000 (v4067)
    xopt[3905] = 1.000000 (v1951)
    xopt[3914] = 1.000000 (v1955)
    xopt[3915] = 1.000000 (v6783)
    xopt[3928] = 1.000000 (v6789)
    xopt[3930] = 1.000000 (v4074)
    xopt[3931] = 1.000000 (v4075)
    xopt[3933] = 1.000000 (v1960)
    xopt[3937] = 1.000000 (v1962)
    xopt[3940] = 1.000000 (v1963)
    xopt[3942] = 1.000000 (v1964)
    xopt[3945] = 1.000000 (v6793)
    xopt[3946] = 1.000000 (v1966)
    xopt[3948] = 1.000000 (v1967)
    xopt[3950] = 1.000000 (v1968)
    xopt[3952] = 1.000000 (v1969)
    xopt[3958] = 1.000000 (v4082)
    xopt[3959] = 1.000000 (v4083)
    xopt[3960] = 1.000000 (v4084)
    xopt[3961] = 1.000000 (v4085)
    xopt[3963] = 1.000000 (v1970)
    xopt[3964] = 1.000000 (v4087)
    xopt[3965] = 1.000000 (v1971)
    xopt[3966] = 1.000000 (v4088)
    xopt[3968] = 1.000000 (v4089)
    xopt[3971] = 1.000000 (v1975)
    xopt[3972] = 1.000000 (v1976)
    xopt[3973] = 1.000000 (v1977)
    xopt[3974] = 1.000000 (v1978)
    xopt[3975] = 1.000000 (v1979)
    xopt[3976] = 1.000000 (v4090)
    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[3983] = 1.000000 (v1980)
    xopt[3985] = 1.000000 (v1981)
    xopt[3986] = 1.000000 (v4098)
    xopt[3987] = 1.000000 (v1982)
    xopt[3988] = 1.000000 (v4099)
    xopt[3989] = 1.000000 (v1983)
    xopt[3990] = 1.000000 (v1984)
    xopt[3991] = 1.000000 (v1985)
    xopt[3992] = 1.000000 (v1986)
    xopt[3993] = 1.000000 (v1987)
    xopt[3994] = 1.000000 (v1988)
    xopt[3998] = 1.000000 (v1992)
    xopt[4001] = 1.000000 (v1995)
    xopt[4002] = 1.000000 (v1996)
    xopt[4006] = 1.000000 (v10000)
    xopt[4007] = 1.000000 (v10001)
    xopt[4012] = 1.000000 (v10006)
    xopt[4014] = 1.000000 (v10008)
    xopt[4015] = 1.000000 (v10009)
    xopt[4018] = 1.000000 (v6802)
    xopt[4019] = 1.000000 (v6803)
    xopt[4020] = 1.000000 (v6804)
    xopt[4021] = 1.000000 (v6805)
    xopt[4022] = 1.000000 (v10010)
    xopt[4023] = 1.000000 (v6806)
    xopt[4026] = 1.000000 (v10012)
    xopt[4028] = 1.000000 (v10013)
    xopt[4030] = 1.000000 (v10014)
    xopt[4034] = 1.000000 (v10018)
    xopt[4036] = 1.000000 (v6810)
    xopt[4037] = 1.000000 (v6811)
    xopt[4039] = 1.000000 (v6813)
    xopt[4040] = 1.000000 (v6814)
    xopt[4041] = 1.000000 (v6815)
    xopt[4043] = 1.000000 (v6816)
    xopt[4044] = 1.000000 (v10021)
    xopt[4045] = 1.000000 (v4100)
    xopt[4046] = 1.000000 (v6817)
    xopt[4047] = 1.000000 (v10022)
    xopt[4048] = 1.000000 (v4101)
    xopt[4049] = 1.000000 (v6818)
    xopt[4050] = 1.000000 (v10023)
    xopt[4051] = 1.000000 (v6819)
    xopt[4052] = 1.000000 (v4102)
    xopt[4053] = 1.000000 (v10024)
    xopt[4054] = 1.000000 (v4103)
    xopt[4055] = 1.000000 (v10025)
    xopt[4056] = 1.000000 (v4104)
    xopt[4057] = 1.000000 (v10026)
    xopt[4058] = 1.000000 (v4105)
    xopt[4059] = 1.000000 (v10027)
    xopt[4060] = 1.000000 (v4106)
    xopt[4062] = 1.000000 (v4107)
    xopt[4063] = 1.000000 (v10029)
    xopt[4064] = 1.000000 (v4108)
    xopt[4065] = 1.000000 (v6820)
    xopt[4066] = 1.000000 (v4109)
    xopt[4067] = 1.000000 (v6821)
    xopt[4068] = 1.000000 (v6822)
    xopt[4069] = 1.000000 (v6823)
    xopt[4070] = 1.000000 (v6824)
    xopt[4071] = 1.000000 (v6825)
    xopt[4072] = 1.000000 (v10030)
    xopt[4073] = 1.000000 (v6826)
    xopt[4075] = 1.000000 (v10031)
    xopt[4078] = 1.000000 (v10032)
    xopt[4079] = 1.000000 (v4111)
    xopt[4080] = 1.000000 (v6829)
    xopt[4081] = 1.000000 (v10033)
    xopt[4082] = 1.000000 (v4112)
    xopt[4083] = 1.000000 (v10034)
    xopt[4084] = 1.000000 (v4113)
    xopt[4085] = 1.000000 (v10035)
    xopt[4086] = 1.000000 (v4114)
    xopt[4088] = 1.000000 (v4115)
    xopt[4089] = 1.000000 (v10037)
    xopt[4090] = 1.000000 (v4116)
    xopt[4091] = 1.000000 (v10038)
    xopt[4092] = 1.000000 (v4117)
    xopt[4093] = 1.000000 (v10039)
    xopt[4094] = 1.000000 (v4118)
    xopt[4095] = 1.000000 (v6830)
    xopt[4096] = 1.000000 (v4119)
    xopt[4097] = 1.000000 (v6831)
    xopt[4102] = 1.000000 (v6836)
    xopt[4103] = 1.000000 (v10040)
    xopt[4105] = 1.000000 (v10041)
    xopt[4106] = 1.000000 (v4120)
    xopt[4107] = 1.000000 (v6838)
    xopt[4108] = 1.000000 (v10042)
    xopt[4109] = 1.000000 (v4121)
    xopt[4110] = 1.000000 (v6839)
    xopt[4111] = 1.000000 (v10043)
    xopt[4112] = 1.000000 (v4122)
    xopt[4113] = 1.000000 (v10044)
    xopt[4114] = 1.000000 (v4123)
    xopt[4116] = 1.000000 (v4124)
    xopt[4117] = 1.000000 (v10046)
    xopt[4119] = 1.000000 (v10047)
    xopt[4121] = 1.000000 (v10048)
    xopt[4122] = 1.000000 (v4127)
    xopt[4124] = 1.000000 (v4128)
    xopt[4133] = 1.000000 (v10050)
    xopt[4135] = 1.000000 (v10051)
    xopt[4139] = 1.000000 (v4131)
    xopt[4142] = 1.000000 (v4132)
    xopt[4144] = 1.000000 (v4133)
    xopt[4146] = 1.000000 (v4134)
    xopt[4148] = 1.000000 (v4135)
    xopt[4150] = 1.000000 (v4136)
    xopt[4152] = 1.000000 (v4137)
    xopt[4154] = 1.000000 (v4138)
    xopt[4157] = 1.000000 (v6851)
    xopt[4199] = 1.000000 (v4151)
    xopt[4204] = 1.000000 (v4153)
    xopt[4206] = 1.000000 (v4154)
    xopt[4208] = 1.000000 (v4155)
    xopt[4216] = 1.000000 (v4159)
    xopt[4223] = 1.000000 (v10080)
    xopt[4224] = 1.000000 (v10081)
    xopt[4225] = 1.000000 (v6877)
    xopt[4231] = 1.000000 (v6879)
    xopt[4237] = 1.000000 (v10086)
    xopt[4241] = 1.000000 (v10088)
    xopt[4243] = 1.000000 (v10089)
    xopt[4246] = 1.000000 (v6880)
    xopt[4247] = 1.000000 (v6881)
    xopt[4257] = 1.000000 (v10092)
    xopt[4260] = 1.000000 (v10093)
    xopt[4266] = 1.000000 (v4174)
    xopt[4267] = 1.000000 (v10096)
    xopt[4268] = 1.000000 (v4175)
    xopt[4270] = 1.000000 (v10097)
    xopt[4271] = 1.000000 (v10098)
    xopt[4273] = 1.000000 (v10099)
    xopt[4311] = 1.000000 (v9005)
    xopt[4312] = 1.000000 (v9006)
    xopt[4316] = 1.000000 (v10100)
    xopt[4317] = 1.000000 (v10101)
    xopt[4319] = 1.000000 (v9010)
    xopt[4325] = 1.000000 (v10106)
    xopt[4341] = 1.000000 (v6905)
    xopt[4342] = 1.000000 (v6906)
    xopt[4343] = 1.000000 (v10110)
    xopt[4369] = 1.000000 (v6913)
    xopt[4370] = 1.000000 (v6914)
    xopt[4379] = 1.000000 (v10122)
    xopt[4391] = 1.000000 (v4205)
    xopt[4408] = 1.000000 (v9039)
    xopt[4416] = 1.000000 (v4210)
    xopt[4419] = 1.000000 (v4211)
    xopt[4420] = 1.000000 (v6929)
    xopt[4422] = 1.000000 (v9040)
    xopt[4423] = 1.000000 (v4212)
    xopt[4425] = 1.000000 (v4213)
    xopt[4434] = 1.000000 (v9044)
    xopt[4442] = 1.000000 (v6930)
    xopt[4445] = 1.000000 (v6931)
    xopt[4451] = 1.000000 (v6935)
    xopt[4458] = 1.000000 (v6938)
    xopt[4459] = 1.000000 (v4221)
    xopt[4461] = 1.000000 (v6939)
    xopt[4472] = 1.000000 (v4225)
    xopt[4493] = 1.000000 (v6946)
    xopt[4496] = 1.000000 (v6947)
    xopt[4607] = 1.000000 (v9089)
    xopt[4621] = 1.000000 (v9090)
    xopt[4707] = 1.000000 (v9101)
    xopt[4708] = 1.000000 (v9102)
    xopt[4711] = 1.000000 (v9105)
    xopt[4712] = 1.000000 (v9106)
    xopt[4719] = 1.000000 (v9110)
    xopt[4724] = 1.000000 (v10205)
    xopt[4730] = 1.000000 (v10208)
    xopt[4732] = 1.000000 (v10209)
    xopt[4740] = 1.000000 (v10213)
    xopt[4768] = 1.000000 (v10225)
    xopt[4781] = 1.000000 (v10229)
    xopt[4786] = 1.000000 (v10230)
    xopt[4796] = 1.000000 (v10234)
    xopt[4799] = 1.000000 (v10235)
    xopt[4802] = 1.000000 (v10236)
    xopt[4805] = 1.000000 (v10237)
    xopt[4808] = 1.000000 (v10238)
    xopt[4854] = 1.000000 (v9161)
    xopt[4858] = 1.000000 (v10255)
    xopt[4860] = 1.000000 (v9163)
    xopt[4863] = 1.000000 (v9164)
    xopt[4867] = 1.000000 (v9165)
    xopt[4871] = 1.000000 (v10259)
    xopt[4872] = 1.000000 (v4339)
    xopt[4876] = 1.000000 (v10260)
    xopt[4877] = 1.000000 (v4340)
    xopt[4878] = 1.000000 (v10261)
    xopt[4879] = 1.000000 (v4341)
    xopt[4880] = 1.000000 (v10262)
    xopt[4883] = 1.000000 (v10263)
    xopt[4891] = 1.000000 (v9173)
    xopt[4894] = 1.000000 (v9174)
    xopt[4897] = 1.000000 (v9175)
    xopt[4900] = 1.000000 (v9176)
    xopt[4902] = 1.000000 (v4349)
    xopt[4903] = 1.000000 (v9177)
    xopt[4914] = 1.000000 (v4353)
    xopt[4917] = 1.000000 (v4354)
    xopt[4924] = 1.000000 (v4356)
    xopt[4927] = 1.000000 (v4357)
    xopt[4930] = 1.000000 (v4358)
    xopt[4935] = 1.000000 (v9189)
    xopt[4938] = 1.000000 (v4360)
    xopt[4940] = 1.000000 (v4361)
    xopt[4942] = 1.000000 (v9190)
    xopt[4950] = 1.000000 (v10286)
    xopt[4951] = 1.000000 (v4365)
    xopt[4952] = 1.000000 (v9193)
    xopt[4953] = 1.000000 (v10287)
    xopt[4954] = 1.000000 (v4366)
    xopt[4958] = 1.000000 (v4367)
    xopt[4961] = 1.000000 (v4368)
    xopt[4962] = 1.000000 (v9197)
    xopt[4963] = 1.000000 (v4369)
    xopt[4968] = 1.000000 (v4370)
    xopt[4970] = 1.000000 (v4371)
    xopt[4972] = 1.000000 (v4372)
    xopt[4974] = 1.000000 (v4373)
    xopt[4976] = 1.000000 (v4374)
    xopt[4978] = 1.000000 (v4375)
    xopt[4980] = 1.000000 (v4376)
    xopt[4982] = 1.000000 (v4377)
    xopt[4984] = 1.000000 (v4378)
    xopt[4986] = 1.000000 (v4380)
    xopt[4987] = 1.000000 (v4381)
    xopt[5006] = 1.000000 (v9200)
    xopt[5007] = 1.000000 (v9201)
    xopt[5011] = 1.000000 (v9205)
    xopt[5019] = 1.000000 (v9210)
    xopt[5027] = 1.000000 (v9214)
    xopt[5034] = 1.000000 (v9218)
    xopt[5043] = 1.000000 (v9222)
    xopt[5057] = 1.000000 (v10321)
    xopt[5074] = 1.000000 (v9234)
    xopt[5077] = 1.000000 (v9235)
    xopt[5085] = 1.000000 (v9239)
    xopt[5094] = 1.000000 (v10334)
    xopt[5098] = 1.000000 (v4414)
    xopt[5100] = 1.000000 (v10336)
    xopt[5101] = 1.000000 (v4415)
    xopt[5102] = 1.000000 (v9243)
    xopt[5103] = 1.000000 (v10337)
    xopt[5110] = 1.000000 (v4418)
    xopt[5111] = 1.000000 (v9246)
    xopt[5112] = 1.000000 (v4419)
    xopt[5113] = 1.000000 (v9247)
    xopt[5116] = 1.000000 (v10340)
    xopt[5117] = 1.000000 (v10341)
    xopt[5125] = 1.000000 (v4423)
    xopt[5126] = 1.000000 (v9251)
    xopt[5127] = 1.000000 (v10345)
    xopt[5135] = 1.000000 (v9254)
    xopt[5137] = 1.000000 (v4427)
    xopt[5138] = 1.000000 (v9255)
    xopt[5140] = 1.000000 (v4428)
    xopt[5144] = 1.000000 (v9258)
    xopt[5145] = 1.000000 (v9259)
    xopt[5147] = 1.000000 (v4430)
    xopt[5149] = 1.000000 (v4431)
    xopt[5152] = 1.000000 (v9260)
    xopt[5157] = 1.000000 (v4434)
    xopt[5160] = 1.000000 (v4435)
    xopt[5163] = 1.000000 (v4436)
    xopt[5164] = 1.000000 (v9264)
    xopt[5166] = 1.000000 (v4437)
    xopt[5169] = 1.000000 (v4438)
    xopt[5172] = 1.000000 (v4439)
    xopt[5173] = 1.000000 (v9267)
    xopt[5174] = 1.000000 (v9268)
    xopt[5177] = 1.000000 (v4440)
    xopt[5179] = 1.000000 (v4441)
    xopt[5181] = 1.000000 (v4442)
    xopt[5184] = 1.000000 (v4443)
    xopt[5188] = 1.000000 (v9272)
    xopt[5191] = 1.000000 (v9273)
    xopt[5197] = 1.000000 (v9275)
    xopt[5200] = 1.000000 (v9276)
    xopt[5209] = 1.000000 (v4451)
    xopt[5217] = 1.000000 (v10375)
    xopt[5223] = 1.000000 (v10377)
    xopt[5224] = 1.000000 (v9284)
    xopt[5226] = 1.000000 (v10378)
    xopt[5227] = 1.000000 (v9285)
    xopt[5229] = 1.000000 (v10379)
    xopt[5239] = 1.000000 (v10382)
    xopt[5241] = 1.000000 (v10383)
    xopt[5250] = 1.000000 (v10386)
    xopt[5253] = 1.000000 (v10387)
    xopt[5262] = 1.000000 (v9297)
    xopt[5266] = 1.000000 (v10390)
    xopt[5267] = 1.000000 (v10391)
    xopt[5285] = 1.000000 (v4479)
    xopt[5286] = 1.000000 (v4480)
    xopt[5287] = 1.000000 (v4481)
    xopt[5303] = 1.000000 (v4497)
    xopt[5316] = 1.000000 (v10400)
    xopt[5318] = 1.000000 (v10402)
    xopt[5319] = 1.000000 (v10403)
    xopt[5320] = 1.000000 (v9310)
    xopt[5327] = 1.000000 (v10407)
    xopt[5329] = 1.000000 (v10408)
    xopt[5338] = 1.000000 (v10412)
    xopt[5345] = 1.000000 (v10416)
    xopt[5352] = 1.000000 (v9326)
    xopt[5356] = 1.000000 (v10420)
    xopt[5357] = 1.000000 (v10421)
    xopt[5358] = 1.000000 (v4500)
    xopt[5359] = 1.000000 (v10422)
    xopt[5360] = 1.000000 (v4501)
    xopt[5361] = 1.000000 (v10423)
    xopt[5364] = 1.000000 (v10424)
    xopt[5367] = 1.000000 (v10425)
    xopt[5370] = 1.000000 (v10426)
    xopt[5372] = 1.000000 (v4505)
    xopt[5373] = 1.000000 (v10427)
    xopt[5374] = 1.000000 (v9334)
    xopt[5375] = 1.000000 (v4506)
    xopt[5376] = 1.000000 (v10428)
    xopt[5377] = 1.000000 (v9335)
    xopt[5378] = 1.000000 (v4507)
    xopt[5379] = 1.000000 (v10429)
    xopt[5381] = 1.000000 (v4508)
    xopt[5383] = 1.000000 (v4509)
    xopt[5385] = 1.000000 (v9339)
    xopt[5386] = 1.000000 (v10430)
    xopt[5390] = 1.000000 (v4511)
    xopt[5391] = 1.000000 (v10433)
    xopt[5393] = 1.000000 (v4512)
    xopt[5394] = 1.000000 (v10434)
    xopt[5406] = 1.000000 (v10438)
    xopt[5430] = 1.000000 (v4525)
    xopt[5434] = 1.000000 (v10447)
    xopt[5438] = 1.000000 (v9355)
    xopt[5440] = 1.000000 (v10449)
    xopt[5442] = 1.000000 (v4529)
    xopt[5446] = 1.000000 (v10450)
    xopt[5447] = 1.000000 (v4530)
    xopt[5449] = 1.000000 (v4531)
    xopt[5451] = 1.000000 (v4532)
    xopt[5452] = 1.000000 (v10453)
    xopt[5454] = 1.000000 (v4533)
    xopt[5455] = 1.000000 (v10454)
    xopt[5458] = 1.000000 (v10455)
    xopt[5467] = 1.000000 (v10458)
    xopt[5470] = 1.000000 (v10459)
    xopt[5511] = 1.000000 (v9380)
    xopt[5521] = 1.000000 (v10476)
    xopt[5527] = 1.000000 (v10478)
    xopt[5529] = 1.000000 (v10479)
    xopt[5534] = 1.000000 (v9388)
    xopt[5536] = 1.000000 (v10480)
    xopt[5537] = 1.000000 (v10481)
    xopt[5539] = 1.000000 (v10482)
    xopt[5542] = 1.000000 (v10483)
    xopt[5546] = 1.000000 (v10484)
    xopt[5547] = 1.000000 (v9392)
    xopt[5550] = 1.000000 (v9393)
    xopt[5553] = 1.000000 (v9394)
    xopt[5554] = 1.000000 (v4566)
    xopt[5556] = 1.000000 (v9395)
    xopt[5557] = 1.000000 (v4567)
    xopt[5559] = 1.000000 (v9396)
    xopt[5562] = 1.000000 (v9397)
    xopt[5564] = 1.000000 (v9398)
    xopt[5565] = 1.000000 (v9399)
    xopt[5571] = 1.000000 (v10493)
    xopt[5575] = 1.000000 (v10495)
    xopt[5578] = 1.000000 (v10496)
    xopt[5580] = 1.000000 (v10497)
    xopt[5581] = 1.000000 (v10498)
    xopt[5584] = 1.000000 (v10499)
    xopt[5588] = 1.000000 (v4582)
    xopt[5589] = 1.000000 (v4583)
    xopt[5590] = 1.000000 (v4584)
    xopt[5592] = 1.000000 (v4586)
    xopt[5593] = 1.000000 (v4587)
    xopt[5597] = 1.000000 (v4591)
    xopt[5598] = 1.000000 (v4592)
    xopt[5599] = 1.000000 (v4593)
    xopt[5603] = 1.000000 (v4597)
    xopt[5606] = 1.000000 (v9400)
    xopt[5616] = 1.000000 (v10500)
    xopt[5664] = 1.000000 (v9431)
    xopt[5667] = 1.000000 (v9432)
    xopt[5669] = 1.000000 (v4604)
    xopt[5671] = 1.000000 (v10526)
    xopt[5672] = 1.000000 (v4605)
    xopt[5676] = 1.000000 (v9435)
    xopt[5677] = 1.000000 (v10528)
    xopt[5679] = 1.000000 (v9436)
    xopt[5680] = 1.000000 (v10529)
    xopt[5682] = 1.000000 (v9437)
    xopt[5683] = 1.000000 (v4609)
    xopt[5684] = 1.000000 (v9438)
    xopt[5685] = 1.000000 (v9439)
    xopt[5686] = 1.000000 (v10530)
    xopt[5688] = 1.000000 (v4610)
    xopt[5692] = 1.000000 (v9440)
    xopt[5694] = 1.000000 (v10534)
    xopt[5699] = 1.000000 (v9442)
    xopt[5701] = 1.000000 (v9443)
    xopt[5702] = 1.000000 (v4615)
    xopt[5707] = 1.000000 (v4617)
    xopt[5710] = 1.000000 (v4618)
    xopt[5712] = 1.000000 (v4619)
    xopt[5713] = 1.000000 (v9447)
    xopt[5718] = 1.000000 (v4620)
    xopt[5720] = 1.000000 (v4621)
    xopt[5721] = 1.000000 (v10543)
    xopt[5722] = 1.000000 (v4622)
    xopt[5724] = 1.000000 (v10544)
    xopt[5725] = 1.000000 (v4623)
    xopt[5726] = 1.000000 (v9451)
    xopt[5727] = 1.000000 (v10545)
    xopt[5730] = 1.000000 (v10546)
    xopt[5733] = 1.000000 (v10547)
    xopt[5735] = 1.000000 (v9454)
    xopt[5736] = 1.000000 (v10548)
    xopt[5737] = 1.000000 (v9455)
    xopt[5739] = 1.000000 (v10549)
    xopt[5745] = 1.000000 (v9459)
    xopt[5746] = 1.000000 (v10550)
    xopt[5752] = 1.000000 (v10553)
    xopt[5753] = 1.000000 (v4632)
    xopt[5755] = 1.000000 (v10554)
    xopt[5758] = 1.000000 (v10555)
    xopt[5767] = 1.000000 (v10558)
    xopt[5769] = 1.000000 (v9466)
    xopt[5770] = 1.000000 (v10559)
    xopt[5772] = 1.000000 (v9467)
    xopt[5774] = 1.000000 (v9468)
    xopt[5784] = 1.000000 (v9471)
    xopt[5787] = 1.000000 (v9472)
    xopt[5790] = 1.000000 (v9473)
    xopt[5793] = 1.000000 (v9474)
    xopt[5796] = 1.000000 (v9475)
    xopt[5799] = 1.000000 (v9476)
    xopt[5802] = 1.000000 (v9477)
    xopt[5805] = 1.000000 (v9479)
    xopt[5807] = 1.000000 (v10571)
    xopt[5811] = 1.000000 (v9480)
    xopt[5814] = 1.000000 (v9481)
    xopt[5820] = 1.000000 (v9483)
    xopt[5823] = 1.000000 (v9484)
    xopt[5830] = 1.000000 (v10579)
    xopt[5869] = 1.000000 (v10592)
    xopt[5871] = 1.000000 (v10593)
    xopt[5873] = 1.000000 (v10594)
    xopt[5875] = 1.000000 (v10595)
    xopt[5899] = 1.000000 (v4693)
    xopt[5900] = 1.000000 (v4694)
    xopt[5916] = 1.000000 (v10600)
    xopt[5920] = 1.000000 (v10603)
    xopt[5922] = 1.000000 (v10604)
    xopt[5930] = 1.000000 (v10608)
    xopt[5931] = 1.000000 (v9516)
    xopt[5933] = 1.000000 (v9517)
    xopt[5939] = 1.000000 (v9520)
    xopt[5941] = 1.000000 (v9521)
    xopt[5946] = 1.000000 (v10616)
    xopt[5954] = 1.000000 (v9528)
    xopt[5955] = 1.000000 (v9529)
    xopt[5957] = 1.000000 (v10621)
    xopt[5959] = 1.000000 (v10622)
    xopt[5961] = 1.000000 (v9530)
    xopt[5967] = 1.000000 (v9532)
    xopt[5968] = 1.000000 (v10625)
    xopt[5970] = 1.000000 (v9533)
    xopt[5971] = 1.000000 (v10626)
    xopt[5973] = 1.000000 (v10627)
    xopt[5974] = 1.000000 (v9534)
    xopt[5975] = 1.000000 (v4706)
    xopt[5976] = 1.000000 (v10628)
    xopt[5977] = 1.000000 (v9535)
    xopt[5979] = 1.000000 (v10629)
    xopt[5980] = 1.000000 (v9536)
    xopt[5982] = 1.000000 (v9537)
    xopt[5986] = 1.000000 (v10630)
    xopt[5987] = 1.000000 (v10631)
    xopt[5989] = 1.000000 (v10632)
    xopt[6000] = 1.000000 (v10636)
    xopt[6003] = 1.000000 (v10637)
    xopt[6006] = 1.000000 (v10638)
    xopt[6010] = 1.000000 (v10639)
    xopt[6013] = 1.000000 (v2001)
    xopt[6015] = 1.000000 (v4719)
    xopt[6024] = 1.000000 (v10640)
    xopt[6032] = 1.000000 (v9550)
    xopt[6034] = 1.000000 (v10644)
    xopt[6035] = 1.000000 (v9551)
    xopt[6037] = 1.000000 (v10645)
    xopt[6038] = 1.000000 (v9552)
    xopt[6040] = 1.000000 (v10646)
    xopt[6041] = 1.000000 (v9553)
    xopt[6043] = 1.000000 (v10647)
    xopt[6045] = 1.000000 (v4726)
    xopt[6046] = 1.000000 (v10648)
    xopt[6048] = 1.000000 (v4727)
    xopt[6069] = 1.000000 (v10652)
    xopt[6071] = 1.000000 (v10653)
    xopt[6079] = 1.000000 (v4734)
    xopt[6081] = 1.000000 (v4735)
    xopt[6083] = 1.000000 (v10657)
    xopt[6094] = 1.000000 (v2022)
    xopt[6096] = 1.000000 (v4739)
    xopt[6097] = 1.000000 (v2023)
    xopt[6099] = 1.000000 (v2024)
    xopt[6101] = 1.000000 (v2025)
    xopt[6105] = 1.000000 (v10660)
    xopt[6108] = 1.000000 (v10661)
    xopt[6117] = 1.000000 (v4744)
    xopt[6131] = 1.000000 (v4748)
    xopt[6134] = 1.000000 (v2032)
    xopt[6137] = 1.000000 (v2033)
    xopt[6140] = 1.000000 (v9579)
    xopt[6145] = 1.000000 (v2038)
    xopt[6149] = 1.000000 (v10672)
    xopt[6152] = 1.000000 (v10673)
    xopt[6153] = 1.000000 (v9580)
    xopt[6156] = 1.000000 (v9581)
    xopt[6159] = 1.000000 (v9582)
    xopt[6162] = 1.000000 (v9583)
    xopt[6163] = 1.000000 (v10677)
    xopt[6164] = 1.000000 (v4756)
    xopt[6173] = 1.000000 (v9586)
    xopt[6176] = 1.000000 (v9587)
    xopt[6182] = 1.000000 (v2046)
    xopt[6187] = 1.000000 (v4760)
    xopt[6190] = 1.000000 (v4761)
    xopt[6195] = 1.000000 (v4763)
    xopt[6198] = 1.000000 (v4764)
    xopt[6201] = 1.000000 (v4765)
    xopt[6204] = 1.000000 (v4766)
    xopt[6205] = 1.000000 (v9594)
    xopt[6206] = 1.000000 (v10688)
    xopt[6207] = 1.000000 (v4767)
    xopt[6208] = 1.000000 (v2050)
    xopt[6209] = 1.000000 (v9595)
    xopt[6210] = 1.000000 (v10689)
    xopt[6211] = 1.000000 (v4768)
    xopt[6213] = 1.000000 (v9596)
    xopt[6214] = 1.000000 (v4769)
    xopt[6218] = 1.000000 (v9598)
    xopt[6220] = 1.000000 (v9599)
    xopt[6224] = 1.000000 (v10690)
    xopt[6229] = 1.000000 (v10692)
    xopt[6231] = 1.000000 (v10693)
    xopt[6242] = 1.000000 (v10698)
    xopt[6258] = 1.000000 (v4782)
    xopt[6259] = 1.000000 (v4783)
    xopt[6260] = 1.000000 (v4784)
    xopt[6261] = 1.000000 (v4785)
    xopt[6275] = 1.000000 (v4790)
    xopt[6277] = 1.000000 (v4791)
    xopt[6278] = 1.000000 (v4792)
    xopt[6279] = 1.000000 (v4793)
    xopt[6280] = 1.000000 (v4794)
    xopt[6281] = 1.000000 (v4795)
    xopt[6285] = 1.000000 (v4798)
    xopt[6287] = 1.000000 (v4799)
    xopt[6306] = 1.000000 (v9600)
    xopt[6308] = 1.000000 (v9602)
    xopt[6309] = 1.000000 (v9603)
    xopt[6310] = 1.000000 (v9604)
    xopt[6311] = 1.000000 (v9605)
    xopt[6312] = 1.000000 (v9606)
    xopt[6313] = 1.000000 (v9607)
    xopt[6314] = 1.000000 (v9608)
    xopt[6315] = 1.000000 (v9609)
    xopt[6320] = 1.000000 (v10703)
    xopt[6321] = 1.000000 (v9611)
    xopt[6322] = 1.000000 (v10704)
    xopt[6323] = 1.000000 (v9612)
    xopt[6324] = 1.000000 (v10705)
    xopt[6326] = 1.000000 (v10706)
    xopt[6331] = 1.000000 (v9616)
    xopt[6332] = 1.000000 (v10709)
    xopt[6336] = 1.000000 (v10710)
    xopt[6339] = 1.000000 (v9620)
    xopt[6341] = 1.000000 (v9621)
    xopt[6342] = 1.000000 (v10714)
    xopt[6343] = 1.000000 (v9622)
    xopt[6345] = 1.000000 (v9623)
    xopt[6347] = 1.000000 (v9624)
    xopt[6349] = 1.000000 (v9625)
    xopt[6351] = 1.000000 (v9626)
    xopt[6353] = 1.000000 (v9627)
    xopt[6354] = 1.000000 (v9628)
    xopt[6357] = 1.000000 (v4800)
    xopt[6363] = 1.000000 (v10723)
    xopt[6366] = 1.000000 (v10724)
    xopt[6367] = 1.000000 (v9632)
    xopt[6369] = 1.000000 (v10725)
    xopt[6370] = 1.000000 (v9633)
    xopt[6372] = 1.000000 (v10726)
    xopt[6375] = 1.000000 (v10727)
    xopt[6376] = 1.000000 (v9635)
    xopt[6378] = 1.000000 (v10728)
    xopt[6379] = 1.000000 (v9636)
    xopt[6383] = 1.000000 (v4809)
    xopt[6386] = 1.000000 (v10730)
    xopt[6387] = 1.000000 (v4810)
    xopt[6388] = 1.000000 (v10731)
    xopt[6391] = 1.000000 (v9640)
    xopt[6399] = 1.000000 (v10735)
    xopt[6403] = 1.000000 (v9644)
    xopt[6413] = 1.000000 (v10739)
    xopt[6418] = 1.000000 (v2103)
    xopt[6420] = 1.000000 (v2104)
    xopt[6421] = 1.000000 (v2105)
    xopt[6431] = 1.000000 (v4822)
    xopt[6434] = 1.000000 (v10744)
    xopt[6435] = 1.000000 (v4823)
    xopt[6440] = 1.000000 (v10746)
    xopt[6443] = 1.000000 (v10747)
    xopt[6444] = 1.000000 (v4826)
    xopt[6447] = 1.000000 (v4827)
    xopt[6451] = 1.000000 (v4828)
    xopt[6467] = 1.000000 (v4830)
    xopt[6470] = 1.000000 (v4831)
    xopt[6472] = 1.000000 (v4832)
    xopt[6477] = 1.000000 (v10755)
    xopt[6478] = 1.000000 (v4834)
    xopt[6480] = 1.000000 (v4835)
    xopt[6482] = 1.000000 (v10756)
    xopt[6484] = 1.000000 (v10757)
    xopt[6487] = 1.000000 (v10758)
    xopt[6491] = 1.000000 (v10759)
    xopt[6501] = 1.000000 (v2125)
    xopt[6502] = 1.000000 (v2126)
    xopt[6503] = 1.000000 (v2127)
    xopt[6504] = 1.000000 (v2128)
    xopt[6505] = 1.000000 (v10760)
    xopt[6506] = 1.000000 (v2129)
    xopt[6508] = 1.000000 (v10761)
    xopt[6510] = 1.000000 (v10762)
    xopt[6511] = 1.000000 (v10763)
    xopt[6512] = 1.000000 (v4842)
    xopt[6513] = 1.000000 (v9670)
    xopt[6515] = 1.000000 (v4843)
    xopt[6516] = 1.000000 (v9671)
    xopt[6518] = 1.000000 (v9672)
    xopt[6521] = 1.000000 (v9673)
    xopt[6524] = 1.000000 (v9674)
    xopt[6526] = 1.000000 (v10768)
    xopt[6527] = 1.000000 (v2130)
    xopt[6529] = 1.000000 (v4847)
    xopt[6530] = 1.000000 (v10769)
    xopt[6533] = 1.000000 (v4848)
    xopt[6534] = 1.000000 (v2132)
    xopt[6537] = 1.000000 (v2133)
    xopt[6538] = 1.000000 (v9678)
    xopt[6544] = 1.000000 (v10770)
    xopt[6546] = 1.000000 (v10771)
    xopt[6554] = 1.000000 (v9682)
    xopt[6560] = 1.000000 (v2140)
    xopt[6561] = 1.000000 (v9685)
    xopt[6563] = 1.000000 (v9686)
    xopt[6573] = 1.000000 (v2145)
    xopt[6574] = 1.000000 (v2146)
    xopt[6575] = 1.000000 (v2147)
    xopt[6576] = 1.000000 (v2148)
    xopt[6577] = 1.000000 (v2149)
    xopt[6578] = 1.000000 (v4860)
    xopt[6580] = 1.000000 (v9690)
    xopt[6590] = 1.000000 (v9695)
    xopt[6593] = 1.000000 (v9696)
    xopt[6596] = 1.000000 (v9697)
    xopt[6599] = 1.000000 (v9698)
    xopt[6601] = 1.000000 (v9699)
    xopt[6623] = 1.000000 (v2165)
    xopt[6635] = 1.000000 (v2170)
    xopt[6642] = 1.000000 (v2174)
    xopt[6663] = 1.000000 (v2185)
    xopt[6664] = 1.000000 (v2186)
    xopt[6671] = 1.000000 (v2193)
    xopt[6672] = 1.000000 (v2194)
    xopt[6673] = 1.000000 (v2195)
    xopt[6674] = 1.000000 (v2196)
    xopt[6675] = 1.000000 (v2197)
    xopt[6676] = 1.000000 (v2198)
    xopt[6677] = 1.000000 (v2199)
    xopt[6678] = 1.000000 (v9700)
    xopt[6679] = 1.000000 (v9701)
    xopt[6680] = 1.000000 (v9702)
    xopt[6681] = 1.000000 (v9703)
    xopt[6682] = 1.000000 (v9704)
    xopt[6683] = 1.000000 (v9705)
    xopt[6684] = 1.000000 (v9706)
    xopt[6685] = 1.000000 (v9707)
    xopt[6686] = 1.000000 (v9708)
    xopt[6687] = 1.000000 (v9709)
    xopt[6689] = 1.000000 (v9711)
    xopt[6690] = 1.000000 (v9712)
    xopt[6691] = 1.000000 (v9713)
    xopt[6692] = 1.000000 (v9714)
    xopt[6693] = 1.000000 (v9715)
    xopt[6694] = 1.000000 (v9716)
    xopt[6699] = 1.000000 (v9719)
    xopt[6707] = 1.000000 (v9720)
    xopt[6711] = 1.000000 (v9723)
    xopt[6712] = 1.000000 (v9724)
    xopt[6719] = 1.000000 (v9729)
    xopt[6732] = 1.000000 (v9731)
    xopt[6734] = 1.000000 (v9732)
    xopt[6736] = 1.000000 (v9733)
    xopt[6738] = 1.000000 (v9734)
    xopt[6740] = 1.000000 (v9735)
    xopt[6742] = 1.000000 (v9736)
    xopt[6744] = 1.000000 (v9737)
    xopt[6747] = 1.000000 (v9738)
    xopt[6749] = 1.000000 (v9739)
    xopt[6759] = 1.000000 (v9740)
    xopt[6762] = 1.000000 (v9741)
    xopt[6772] = 1.000000 (v2200)
    xopt[6776] = 1.000000 (v7030)
    xopt[6781] = 1.000000 (v7031)
    xopt[6793] = 1.000000 (v2208)
    xopt[6797] = 1.000000 (v7038)
    xopt[6800] = 1.000000 (v7039)
    xopt[6801] = 1.000000 (v4922)
    xopt[6803] = 1.000000 (v4923)
    xopt[6804] = 1.000000 (v9752)
    xopt[6806] = 1.000000 (v9753)
    xopt[6808] = 1.000000 (v9754)
    xopt[6810] = 1.000000 (v9755)
    xopt[6811] = 1.000000 (v4927)
    xopt[6813] = 1.000000 (v9756)
    xopt[6816] = 1.000000 (v9757)
    xopt[6819] = 1.000000 (v2212)
    xopt[6820] = 1.000000 (v9758)
    xopt[6824] = 1.000000 (v7042)
    xopt[6826] = 1.000000 (v7043)
    xopt[6831] = 1.000000 (v2217)
    xopt[6834] = 1.000000 (v7047)
    xopt[6837] = 1.000000 (v7048)
    xopt[6839] = 1.000000 (v9760)
    xopt[6840] = 1.000000 (v7049)
    xopt[6842] = 1.000000 (v9761)
    xopt[6844] = 1.000000 (v4934)
    xopt[6846] = 1.000000 (v4935)
    xopt[6856] = 1.000000 (v7050)
    xopt[6857] = 1.000000 (v4939)
    xopt[6860] = 1.000000 (v7051)
    xopt[6864] = 1.000000 (v2224)
    xopt[6867] = 1.000000 (v2225)
    xopt[6870] = 1.000000 (v7055)
    xopt[6872] = 1.000000 (v7056)
    xopt[6873] = 1.000000 (v2228)
    xopt[6876] = 1.000000 (v2229)
    xopt[6888] = 1.000000 (v4946)
    xopt[6891] = 1.000000 (v4947)
    xopt[6894] = 1.000000 (v4948)
    xopt[6896] = 1.000000 (v7060)
    xopt[6897] = 1.000000 (v2232)
    xopt[6898] = 1.000000 (v4949)
    xopt[6901] = 1.000000 (v2233)
    xopt[6908] = 1.000000 (v7064)
    xopt[6911] = 1.000000 (v2237)
    xopt[6916] = 1.000000 (v4950)
    xopt[6918] = 1.000000 (v4951)
    xopt[6920] = 1.000000 (v4952)
    xopt[6930] = 1.000000 (v9785)
    xopt[6944] = 1.000000 (v7072)
    xopt[6946] = 1.000000 (v7073)
    xopt[6950] = 1.000000 (v7075)
    xopt[6952] = 1.000000 (v7076)
    xopt[6964] = 1.000000 (v9792)
    xopt[6965] = 1.000000 (v4964)
    xopt[6966] = 1.000000 (v9793)
    xopt[6973] = 1.000000 (v9796)
    xopt[6976] = 1.000000 (v9797)
    xopt[6977] = 1.000000 (v7080)
    xopt[6981] = 1.000000 (v7081)
    xopt[6997] = 1.000000 (v7088)
    xopt[6999] = 1.000000 (v7089)
    xopt[7001] = 1.000000 (v4973)
    xopt[7002] = 1.000000 (v4974)
    xopt[7003] = 1.000000 (v4975)
    xopt[7004] = 1.000000 (v4976)
    xopt[7006] = 1.000000 (v4977)
    xopt[7017] = 1.000000 (v7093)
    xopt[7018] = 1.000000 (v2266)
    xopt[7021] = 1.000000 (v2267)
    xopt[7023] = 1.000000 (v2268)
    xopt[7024] = 1.000000 (v7097)
    xopt[7025] = 1.000000 (v2269)
    xopt[7027] = 1.000000 (v7098)
    xopt[7029] = 1.000000 (v7099)
    xopt[7032] = 1.000000 (v4984)
    xopt[7033] = 1.000000 (v4985)
    xopt[7035] = 1.000000 (v2270)
    xopt[7037] = 1.000000 (v2271)
    xopt[7039] = 1.000000 (v2272)
    xopt[7041] = 1.000000 (v2273)
    xopt[7042] = 1.000000 (v2274)
    xopt[7043] = 1.000000 (v2275)
    xopt[7044] = 1.000000 (v2276)
    xopt[7046] = 1.000000 (v2278)
    xopt[7047] = 1.000000 (v2279)
    xopt[7055] = 1.000000 (v4997)
    xopt[7057] = 1.000000 (v4998)
    xopt[7065] = 1.000000 (v2287)
    xopt[7068] = 1.000000 (v2290)
    xopt[7069] = 1.000000 (v2291)
    xopt[7070] = 1.000000 (v2292)
    xopt[7074] = 1.000000 (v2296)
    xopt[7080] = 1.000000 (v9802)
    xopt[7088] = 1.000000 (v9810)
    xopt[7092] = 1.000000 (v9814)
    xopt[7093] = 1.000000 (v9815)
    xopt[7095] = 1.000000 (v9817)
    xopt[7096] = 1.000000 (v7100)
    xopt[7097] = 1.000000 (v9818)
    xopt[7098] = 1.000000 (v7101)
    xopt[7099] = 1.000000 (v9819)
    xopt[7103] = 1.000000 (v7105)
    xopt[7104] = 1.000000 (v7106)
    xopt[7105] = 1.000000 (v7107)
    xopt[7107] = 1.000000 (v9820)
    xopt[7108] = 1.000000 (v7109)
    xopt[7109] = 1.000000 (v9821)
    xopt[7110] = 1.000000 (v9822)
    xopt[7111] = 1.000000 (v9823)
    xopt[7113] = 1.000000 (v9825)
    xopt[7114] = 1.000000 (v9826)
    xopt[7115] = 1.000000 (v9827)
    xopt[7116] = 1.000000 (v7110)
    xopt[7121] = 1.000000 (v7113)
    xopt[7122] = 1.000000 (v7114)
    xopt[7124] = 1.000000 (v7116)
    xopt[7126] = 1.000000 (v7118)
    xopt[7128] = 1.000000 (v7119)
    xopt[7129] = 1.000000 (v9831)
    xopt[7142] = 1.000000 (v104)
    xopt[7145] = 1.000000 (v105)
    xopt[7146] = 1.000000 (v7122)
    xopt[7147] = 1.000000 (v7123)
    xopt[7154] = 1.000000 (v7126)
    xopt[7155] = 1.000000 (v7127)
    xopt[7156] = 1.000000 (v7128)
    xopt[7158] = 1.000000 (v7129)
    xopt[7162] = 1.000000 (v9844)
    xopt[7164] = 1.000000 (v9845)
    xopt[7165] = 1.000000 (v2300)
    xopt[7167] = 1.000000 (v9846)
    xopt[7169] = 1.000000 (v112)
    xopt[7170] = 1.000000 (v9847)
    xopt[7172] = 1.000000 (v113)
    xopt[7176] = 1.000000 (v7131)
    xopt[7178] = 1.000000 (v2304)
    xopt[7180] = 1.000000 (v7132)
    xopt[7186] = 1.000000 (v117)
    xopt[7200] = 1.000000 (v9852)
    xopt[7201] = 1.000000 (v9853)
    xopt[7205] = 1.000000 (v121)
    xopt[7206] = 1.000000 (v9855)
    xopt[7208] = 1.000000 (v122)
    xopt[7209] = 1.000000 (v9856)
    xopt[7210] = 1.000000 (v2312)
    xopt[7215] = 1.000000 (v124)
    xopt[7219] = 1.000000 (v125)
    xopt[7228] = 1.000000 (v2317)
    xopt[7229] = 1.000000 (v128)
    xopt[7230] = 1.000000 (v7145)
    xopt[7232] = 1.000000 (v129)
    xopt[7233] = 1.000000 (v7146)
    xopt[7235] = 1.000000 (v7147)
    xopt[7236] = 1.000000 (v7148)
    xopt[7242] = 1.000000 (v130)
    xopt[7254] = 1.000000 (v7151)
    xopt[7257] = 1.000000 (v9868)
    xopt[7258] = 1.000000 (v7152)
    xopt[7263] = 1.000000 (v7153)
    xopt[7265] = 1.000000 (v2326)
    xopt[7268] = 1.000000 (v2327)
    xopt[7271] = 1.000000 (v2328)
    xopt[7272] = 1.000000 (v7156)
    xopt[7274] = 1.000000 (v2329)
    xopt[7275] = 1.000000 (v7157)
    xopt[7280] = 1.000000 (v9872)
    xopt[7288] = 1.000000 (v142)
    xopt[7294] = 1.000000 (v2333)
    xopt[7295] = 1.000000 (v7161)
    xopt[7300] = 1.000000 (v145)
    xopt[7304] = 1.000000 (v146)
    xopt[7308] = 1.000000 (v2337)
    xopt[7322] = 1.000000 (v150)
    xopt[7326] = 1.000000 (v151)
    xopt[7331] = 1.000000 (v2342)
    xopt[7333] = 1.000000 (v153)
    xopt[7337] = 1.000000 (v154)
    xopt[7341] = 1.000000 (v155)
    xopt[7343] = 1.000000 (v2345)
    xopt[7344] = 1.000000 (v156)
    xopt[7345] = 1.000000 (v7174)
    xopt[7346] = 1.000000 (v2346)
    xopt[7347] = 1.000000 (v157)
    xopt[7350] = 1.000000 (v158)
    xopt[7351] = 1.000000 (v7176)
    xopt[7353] = 1.000000 (v159)
    xopt[7354] = 1.000000 (v7177)
    xopt[7355] = 1.000000 (v2349)
    xopt[7356] = 1.000000 (v7178)
    xopt[7357] = 1.000000 (v7179)
    xopt[7363] = 1.000000 (v160)
    xopt[7365] = 1.000000 (v2350)
    xopt[7366] = 1.000000 (v161)
    xopt[7368] = 1.000000 (v2351)
    xopt[7369] = 1.000000 (v162)
    xopt[7373] = 1.000000 (v163)
    xopt[7374] = 1.000000 (v7181)
    xopt[7376] = 1.000000 (v2353)
    xopt[7377] = 1.000000 (v164)
    xopt[7378] = 1.000000 (v7182)
    xopt[7380] = 1.000000 (v2354)
    xopt[7381] = 1.000000 (v165)
    xopt[7387] = 1.000000 (v167)
    xopt[7390] = 1.000000 (v168)
    xopt[7391] = 1.000000 (v7186)
    xopt[7397] = 1.000000 (v7189)
    xopt[7401] = 1.000000 (v2361)
    xopt[7404] = 1.000000 (v7190)
    xopt[7405] = 1.000000 (v2362)
    xopt[7408] = 1.000000 (v2363)
    xopt[7409] = 1.000000 (v175)
    xopt[7412] = 1.000000 (v176)
    xopt[7413] = 1.000000 (v7193)
    xopt[7414] = 1.000000 (v2365)
    xopt[7416] = 1.000000 (v7194)
    xopt[7417] = 1.000000 (v2366)
    xopt[7420] = 1.000000 (v2367)
    xopt[7423] = 1.000000 (v2368)
    xopt[7426] = 1.000000 (v7198)
    xopt[7427] = 1.000000 (v7199)
    xopt[7430] = 1.000000 (v2370)
    xopt[7432] = 1.000000 (v2371)
    xopt[7434] = 1.000000 (v2372)
    xopt[7435] = 1.000000 (v184)
    xopt[7436] = 1.000000 (v2373)
    xopt[7438] = 1.000000 (v2374)
    xopt[7440] = 1.000000 (v2375)
    xopt[7441] = 1.000000 (v187)
    xopt[7443] = 1.000000 (v188)
    xopt[7446] = 1.000000 (v2378)
    xopt[7447] = 1.000000 (v2379)
    xopt[7449] = 1.000000 (v191)
    xopt[7451] = 1.000000 (v192)
    xopt[7454] = 1.000000 (v2382)
    xopt[7456] = 1.000000 (v2383)
    xopt[7457] = 1.000000 (v195)
    xopt[7458] = 1.000000 (v2384)
    xopt[7459] = 1.000000 (v196)
    xopt[7461] = 1.000000 (v197)
    xopt[7462] = 1.000000 (v2386)
    xopt[7463] = 1.000000 (v2387)
    xopt[7468] = 1.000000 (v2390)
    xopt[7469] = 1.000000 (v2391)
    xopt[7470] = 1.000000 (v2392)
    xopt[7471] = 1.000000 (v2393)
    xopt[7472] = 1.000000 (v2394)
    xopt[7473] = 1.000000 (v2395)
    xopt[7474] = 1.000000 (v2396)
    xopt[7475] = 1.000000 (v2397)
    xopt[7480] = 1.000000 (v9902)
    xopt[7481] = 1.000000 (v9903)
    xopt[7483] = 1.000000 (v9905)
    xopt[7484] = 1.000000 (v9906)
    xopt[7488] = 1.000000 (v9910)
    xopt[7492] = 1.000000 (v9914)
    xopt[7497] = 1.000000 (v7201)
    xopt[7500] = 1.000000 (v7202)
    xopt[7501] = 1.000000 (v7203)
    xopt[7502] = 1.000000 (v7204)
    xopt[7503] = 1.000000 (v7205)
    xopt[7504] = 1.000000 (v7206)
    xopt[7505] = 1.000000 (v7207)
    xopt[7506] = 1.000000 (v7208)
    xopt[7511] = 1.000000 (v9923)
    xopt[7512] = 1.000000 (v9924)
    xopt[7513] = 1.000000 (v9925)
    xopt[7514] = 1.000000 (v9926)
    xopt[7515] = 1.000000 (v7210)
    xopt[7516] = 1.000000 (v9927)
    xopt[7517] = 1.000000 (v7211)
    xopt[7518] = 1.000000 (v9928)
    xopt[7519] = 1.000000 (v7212)
    xopt[7520] = 1.000000 (v9929)
    xopt[7522] = 1.000000 (v7214)
    xopt[7523] = 1.000000 (v7215)
    xopt[7526] = 1.000000 (v7218)
    xopt[7527] = 1.000000 (v7219)
    xopt[7528] = 1.000000 (v9930)
    xopt[7529] = 1.000000 (v9931)
    xopt[7530] = 1.000000 (v9932)
    xopt[7531] = 1.000000 (v9933)
    xopt[7532] = 1.000000 (v200)
    xopt[7533] = 1.000000 (v9934)
    xopt[7534] = 1.000000 (v201)
    xopt[7535] = 1.000000 (v9935)
    xopt[7537] = 1.000000 (v9936)
    xopt[7538] = 1.000000 (v7220)
    xopt[7540] = 1.000000 (v9937)
    xopt[7542] = 1.000000 (v7221)
    xopt[7543] = 1.000000 (v9938)
    xopt[7544] = 1.000000 (v205)
    xopt[7545] = 1.000000 (v7222)
    xopt[7546] = 1.000000 (v9939)
    xopt[7548] = 1.000000 (v7223)
    xopt[7549] = 1.000000 (v7224)
    xopt[7551] = 1.000000 (v7225)
    xopt[7552] = 1.000000 (v208)
    xopt[7553] = 1.000000 (v7226)
    xopt[7554] = 1.000000 (v209)
    xopt[7555] = 1.000000 (v7227)
    xopt[7556] = 1.000000 (v7228)
    xopt[7560] = 1.000000 (v9942)
    xopt[7561] = 1.000000 (v9943)
    xopt[7563] = 1.000000 (v9944)
    xopt[7568] = 1.000000 (v9946)
    xopt[7572] = 1.000000 (v9947)
    xopt[7573] = 1.000000 (v2402)
    xopt[7577] = 1.000000 (v2403)
    xopt[7581] = 1.000000 (v2404)
    xopt[7584] = 1.000000 (v2405)
    xopt[7594] = 1.000000 (v2409)
    xopt[7598] = 1.000000 (v9950)
    xopt[7599] = 1.000000 (v9951)
    xopt[7600] = 1.000000 (v9952)
    xopt[7604] = 1.000000 (v221)
    xopt[7605] = 1.000000 (v2410)
    xopt[7608] = 1.000000 (v2411)
    xopt[7609] = 1.000000 (v9956)
    xopt[7612] = 1.000000 (v7240)
    xopt[7615] = 1.000000 (v2413)
    xopt[7616] = 1.000000 (v7241)
    xopt[7618] = 1.000000 (v225)
    xopt[7619] = 1.000000 (v2414)
    xopt[7620] = 1.000000 (v7242)
    xopt[7623] = 1.000000 (v7243)
    xopt[7626] = 1.000000 (v7244)
    xopt[7629] = 1.000000 (v7245)
    xopt[7630] = 1.000000 (v2417)
    xopt[7631] = 1.000000 (v229)
    xopt[7632] = 1.000000 (v2418)
    xopt[7634] = 1.000000 (v2419)
    xopt[7635] = 1.000000 (v7247)
    xopt[7636] = 1.000000 (v7248)
    xopt[7637] = 1.000000 (v9960)
    xopt[7645] = 1.000000 (v2420)
    xopt[7647] = 1.000000 (v232)
    xopt[7648] = 1.000000 (v2421)
    xopt[7650] = 1.000000 (v233)
    xopt[7651] = 1.000000 (v2422)
    xopt[7652] = 1.000000 (v9967)
    xopt[7654] = 1.000000 (v2423)
    xopt[7655] = 1.000000 (v9968)
    xopt[7658] = 1.000000 (v2424)
    xopt[7662] = 1.000000 (v2425)
    xopt[7663] = 1.000000 (v7253)
    xopt[7665] = 1.000000 (v2426)
    xopt[7667] = 1.000000 (v237)
    xopt[7670] = 1.000000 (v238)
    xopt[7673] = 1.000000 (v239)
    xopt[7676] = 1.000000 (v7258)
    xopt[7678] = 1.000000 (v7259)
    xopt[7679] = 1.000000 (v9971)
    xopt[7680] = 1.000000 (v9972)
    xopt[7683] = 1.000000 (v240)
    xopt[7684] = 1.000000 (v9975)
    xopt[7685] = 1.000000 (v2430)
    xopt[7686] = 1.000000 (v241)
    xopt[7687] = 1.000000 (v9976)
    xopt[7689] = 1.000000 (v242)
    xopt[7690] = 1.000000 (v9977)
    xopt[7692] = 1.000000 (v7260)
    xopt[7693] = 1.000000 (v243)
    xopt[7695] = 1.000000 (v2433)
    xopt[7696] = 1.000000 (v7261)
    xopt[7698] = 1.000000 (v9979)
    xopt[7699] = 1.000000 (v2434)
    xopt[7700] = 1.000000 (v7262)
    xopt[7701] = 1.000000 (v245)
    xopt[7702] = 1.000000 (v2435)
    xopt[7703] = 1.000000 (v7263)
    xopt[7704] = 1.000000 (v246)
    xopt[7705] = 1.000000 (v7264)
    xopt[7706] = 1.000000 (v2436)
    xopt[7708] = 1.000000 (v7265)
    xopt[7709] = 1.000000 (v2437)
    xopt[7711] = 1.000000 (v7266)
    xopt[7712] = 1.000000 (v2438)
    xopt[7713] = 1.000000 (v249)
    xopt[7715] = 1.000000 (v2439)
    xopt[7716] = 1.000000 (v7268)
    xopt[7717] = 1.000000 (v9980)
    xopt[7718] = 1.000000 (v7269)
    xopt[7719] = 1.000000 (v9981)
    xopt[7720] = 1.000000 (v9982)
    xopt[7721] = 1.000000 (v9983)
    xopt[7722] = 1.000000 (v9984)
    xopt[7723] = 1.000000 (v250)
    xopt[7725] = 1.000000 (v2440)
    xopt[7726] = 1.000000 (v9985)
    xopt[7728] = 1.000000 (v2441)
    xopt[7729] = 1.000000 (v9986)
    xopt[7731] = 1.000000 (v2442)
    xopt[7733] = 1.000000 (v9987)
    xopt[7735] = 1.000000 (v2443)
    xopt[7736] = 1.000000 (v254)
    xopt[7737] = 1.000000 (v9988)
    xopt[7740] = 1.000000 (v2444)
    xopt[7741] = 1.000000 (v9989)
    xopt[7742] = 1.000000 (v7273)
    xopt[7744] = 1.000000 (v2445)
    xopt[7746] = 1.000000 (v2446)
    xopt[7747] = 1.000000 (v257)
    xopt[7749] = 1.000000 (v2447)
    xopt[7750] = 1.000000 (v258)
    xopt[7753] = 1.000000 (v2448)
    xopt[7754] = 1.000000 (v7277)
    xopt[7755] = 1.000000 (v2449)
    xopt[7756] = 1.000000 (v7278)
    xopt[7758] = 1.000000 (v9990)
    xopt[7759] = 1.000000 (v9991)
    xopt[7760] = 1.000000 (v9992)
    xopt[7761] = 1.000000 (v9993)
    xopt[7763] = 1.000000 (v9994)
    xopt[7765] = 1.000000 (v2450)
    xopt[7766] = 1.000000 (v9995)
    xopt[7767] = 1.000000 (v262)
    xopt[7768] = 1.000000 (v2451)
    xopt[7769] = 1.000000 (v9996)
    xopt[7770] = 1.000000 (v263)
    xopt[7772] = 1.000000 (v2452)
    xopt[7773] = 1.000000 (v9997)
    xopt[7776] = 1.000000 (v2453)
    xopt[7777] = 1.000000 (v9998)
    xopt[7780] = 1.000000 (v2454)
    xopt[7784] = 1.000000 (v2455)
    xopt[7786] = 1.000000 (v267)
    xopt[7790] = 1.000000 (v268)
    xopt[7791] = 1.000000 (v2458)
    xopt[7792] = 1.000000 (v7286)
    xopt[7793] = 1.000000 (v269)
    xopt[7794] = 1.000000 (v2459)
    xopt[7797] = 1.000000 (v7289)
    xopt[7798] = 1.000000 (v270)
    xopt[7799] = 1.000000 (v2460)
    xopt[7800] = 1.000000 (v271)
    xopt[7801] = 1.000000 (v2461)
    xopt[7803] = 1.000000 (v7290)
    xopt[7806] = 1.000000 (v7291)
    xopt[7807] = 1.000000 (v2463)
    xopt[7810] = 1.000000 (v2464)
    xopt[7812] = 1.000000 (v7293)
    xopt[7813] = 1.000000 (v276)
    xopt[7814] = 1.000000 (v2465)
    xopt[7816] = 1.000000 (v7294)
    xopt[7817] = 1.000000 (v2466)
    xopt[7818] = 1.000000 (v7295)
    xopt[7819] = 1.000000 (v278)
    xopt[7820] = 1.000000 (v2467)
    xopt[7822] = 1.000000 (v2468)
    xopt[7823] = 1.000000 (v279)
    xopt[7824] = 1.000000 (v7297)
    xopt[7826] = 1.000000 (v7298)
    xopt[7827] = 1.000000 (v7299)
    xopt[7831] = 1.000000 (v282)
    xopt[7832] = 1.000000 (v2471)
    xopt[7833] = 1.000000 (v2472)
    xopt[7834] = 1.000000 (v283)
    xopt[7840] = 1.000000 (v286)
    xopt[7842] = 1.000000 (v287)
    xopt[7844] = 1.000000 (v288)
    xopt[7847] = 1.000000 (v2479)
    xopt[7849] = 1.000000 (v2480)
    xopt[7851] = 1.000000 (v292)
    xopt[7852] = 1.000000 (v2481)
    xopt[7856] = 1.000000 (v2483)
    xopt[7857] = 1.000000 (v295)
    xopt[7858] = 1.000000 (v2484)
    xopt[7859] = 1.000000 (v296)
    xopt[7860] = 1.000000 (v2485)
    xopt[7862] = 1.000000 (v2486)
    xopt[7864] = 1.000000 (v2487)
    xopt[7869] = 1.000000 (v2491)
    xopt[7870] = 1.000000 (v2492)
    xopt[7872] = 1.000000 (v2494)
    xopt[7873] = 1.000000 (v2495)
    xopt[7874] = 1.000000 (v2496)
    xopt[7875] = 1.000000 (v2497)
    xopt[7876] = 1.000000 (v2498)
    xopt[7877] = 1.000000 (v2499)
    xopt[7879] = 1.000000 (v7301)
    xopt[7880] = 1.000000 (v7302)
    xopt[7881] = 1.000000 (v7303)
    xopt[7882] = 1.000000 (v7304)
    xopt[7883] = 1.000000 (v7305)
    xopt[7884] = 1.000000 (v7306)
    xopt[7885] = 1.000000 (v7307)
    xopt[7890] = 1.000000 (v7312)
    xopt[7891] = 1.000000 (v7313)
    xopt[7892] = 1.000000 (v7314)
    xopt[7893] = 1.000000 (v7315)
    xopt[7894] = 1.000000 (v7316)
    xopt[7895] = 1.000000 (v7317)
    xopt[7896] = 1.000000 (v7318)
    xopt[7897] = 1.000000 (v7319)
    xopt[7902] = 1.000000 (v7320)
    xopt[7903] = 1.000000 (v304)
    xopt[7906] = 1.000000 (v7322)
    xopt[7908] = 1.000000 (v7323)
    xopt[7909] = 1.000000 (v307)
    xopt[7910] = 1.000000 (v7324)
    xopt[7911] = 1.000000 (v308)
    xopt[7912] = 1.000000 (v7325)
    xopt[7914] = 1.000000 (v7326)
    xopt[7915] = 1.000000 (v7327)
    xopt[7916] = 1.000000 (v7328)
    xopt[7917] = 1.000000 (v7329)
    xopt[7919] = 1.000000 (v311)
    xopt[7920] = 1.000000 (v2500)
    xopt[7921] = 1.000000 (v312)
    xopt[7922] = 1.000000 (v2501)
    xopt[7923] = 1.000000 (v313)
    xopt[7924] = 1.000000 (v2502)
    xopt[7925] = 1.000000 (v7330)
    xopt[7926] = 1.000000 (v314)
    xopt[7927] = 1.000000 (v2503)
    xopt[7928] = 1.000000 (v7331)
    xopt[7929] = 1.000000 (v2504)
    xopt[7930] = 1.000000 (v315)
    xopt[7932] = 1.000000 (v316)
    xopt[7933] = 1.000000 (v2505)
    xopt[7935] = 1.000000 (v317)
    xopt[7936] = 1.000000 (v2506)
    xopt[7937] = 1.000000 (v7334)
    xopt[7938] = 1.000000 (v318)
    xopt[7939] = 1.000000 (v2507)
    xopt[7940] = 1.000000 (v7335)
    xopt[7941] = 1.000000 (v2508)
    xopt[7943] = 1.000000 (v7336)
    xopt[7945] = 1.000000 (v7337)
    xopt[7946] = 1.000000 (v7338)
    xopt[7947] = 1.000000 (v7339)
    xopt[7948] = 1.000000 (v320)
    xopt[7949] = 1.000000 (v321)
    xopt[7955] = 1.000000 (v7340)
    xopt[7956] = 1.000000 (v2513)
    xopt[7957] = 1.000000 (v324)
    xopt[7959] = 1.000000 (v2514)
    xopt[7960] = 1.000000 (v325)
    xopt[7961] = 1.000000 (v7342)
    xopt[7962] = 1.000000 (v326)
    xopt[7963] = 1.000000 (v2515)
    xopt[7964] = 1.000000 (v7343)
    xopt[7965] = 1.000000 (v327)
    xopt[7967] = 1.000000 (v2516)
    xopt[7968] = 1.000000 (v328)
    xopt[7972] = 1.000000 (v7346)
    xopt[7973] = 1.000000 (v329)
    xopt[7974] = 1.000000 (v7347)
    xopt[7975] = 1.000000 (v2519)
    xopt[7976] = 1.000000 (v7348)
    xopt[7977] = 1.000000 (v7349)
    xopt[7980] = 1.000000 (v2520)
    xopt[7981] = 1.000000 (v332)
    xopt[7982] = 1.000000 (v2521)
    xopt[7983] = 1.000000 (v333)
    xopt[7986] = 1.000000 (v7351)
    xopt[7987] = 1.000000 (v2523)
    xopt[7988] = 1.000000 (v334)
    xopt[7989] = 1.000000 (v7352)
    xopt[7990] = 1.000000 (v2524)
    xopt[7991] = 1.000000 (v335)
    xopt[7992] = 1.000000 (v7353)
    xopt[7993] = 1.000000 (v2525)
    xopt[7994] = 1.000000 (v336)
    xopt[7996] = 1.000000 (v337)
    xopt[7998] = 1.000000 (v7355)
    xopt[7999] = 1.000000 (v338)
    xopt[8001] = 1.000000 (v7356)
    xopt[8002] = 1.000000 (v2528)
    xopt[8003] = 1.000000 (v339)
    xopt[8004] = 1.000000 (v7357)
    xopt[8005] = 1.000000 (v2529)
    xopt[8007] = 1.000000 (v7359)
    xopt[8009] = 1.000000 (v2530)
    xopt[8010] = 1.000000 (v341)
    xopt[8011] = 1.000000 (v342)
    xopt[8013] = 1.000000 (v7360)
    xopt[8014] = 1.000000 (v2532)
    xopt[8015] = 1.000000 (v343)
    xopt[8016] = 1.000000 (v7361)
    xopt[8017] = 1.000000 (v2533)
    xopt[8018] = 1.000000 (v344)
    xopt[8020] = 1.000000 (v2534)
    xopt[8021] = 1.000000 (v345)
    xopt[8022] = 1.000000 (v7363)
    xopt[8024] = 1.000000 (v346)
    xopt[8025] = 1.000000 (v7364)
    xopt[8026] = 1.000000 (v2536)
    xopt[8027] = 1.000000 (v347)
    xopt[8028] = 1.000000 (v7365)
    xopt[8029] = 1.000000 (v2537)
    xopt[8030] = 1.000000 (v348)
    xopt[8032] = 1.000000 (v2538)
    xopt[8033] = 1.000000 (v349)
    xopt[8034] = 1.000000 (v7367)
    xopt[8035] = 1.000000 (v2539)
    xopt[8036] = 1.000000 (v7368)
    xopt[8037] = 1.000000 (v7369)
    xopt[8038] = 1.000000 (v350)
    xopt[8039] = 1.000000 (v2540)
    xopt[8040] = 1.000000 (v351)
    xopt[8041] = 1.000000 (v2541)
    xopt[8042] = 1.000000 (v352)
    xopt[8044] = 1.000000 (v2542)
    xopt[8045] = 1.000000 (v353)
    xopt[8046] = 1.000000 (v7371)
    xopt[8047] = 1.000000 (v2543)
    xopt[8048] = 1.000000 (v354)
    xopt[8049] = 1.000000 (v7372)
    xopt[8050] = 1.000000 (v2544)
    xopt[8051] = 1.000000 (v355)
    xopt[8052] = 1.000000 (v7373)
    xopt[8053] = 1.000000 (v2545)
    xopt[8054] = 1.000000 (v356)
    xopt[8055] = 1.000000 (v7374)
    xopt[8056] = 1.000000 (v357)
    xopt[8057] = 1.000000 (v2546)
    xopt[8058] = 1.000000 (v7375)
    xopt[8059] = 1.000000 (v358)
    xopt[8061] = 1.000000 (v7376)
    xopt[8062] = 1.000000 (v359)
    xopt[8063] = 1.000000 (v2548)
    xopt[8064] = 1.000000 (v7377)
    xopt[8065] = 1.000000 (v2549)
    xopt[8066] = 1.000000 (v7378)
    xopt[8067] = 1.000000 (v7379)
    xopt[8068] = 1.000000 (v360)
    xopt[8069] = 1.000000 (v361)
    xopt[8070] = 1.000000 (v2550)
    xopt[8071] = 1.000000 (v362)
    xopt[8072] = 1.000000 (v2551)
    xopt[8073] = 1.000000 (v7380)
    xopt[8076] = 1.000000 (v7381)
    xopt[8077] = 1.000000 (v364)
    xopt[8078] = 1.000000 (v2553)
    xopt[8080] = 1.000000 (v365)
    xopt[8081] = 1.000000 (v2554)
    xopt[8085] = 1.000000 (v7384)
    xopt[8088] = 1.000000 (v7385)
    xopt[8089] = 1.000000 (v368)
    xopt[8091] = 1.000000 (v7386)
    xopt[8092] = 1.000000 (v369)
    xopt[8094] = 1.000000 (v7387)
    xopt[8095] = 1.000000 (v2559)
    xopt[8096] = 1.000000 (v7388)
    xopt[8097] = 1.000000 (v7389)
    xopt[8098] = 1.000000 (v370)
    xopt[8101] = 1.000000 (v372)
    xopt[8102] = 1.000000 (v2561)
    xopt[8104] = 1.000000 (v373)
    xopt[8105] = 1.000000 (v2562)
    xopt[8107] = 1.000000 (v374)
    xopt[8109] = 1.000000 (v7392)
    xopt[8112] = 1.000000 (v7393)
    xopt[8113] = 1.000000 (v376)
    xopt[8114] = 1.000000 (v2565)
    xopt[8115] = 1.000000 (v7394)
    xopt[8116] = 1.000000 (v377)
    xopt[8117] = 1.000000 (v2566)
    xopt[8119] = 1.000000 (v378)
    xopt[8121] = 1.000000 (v7396)
    xopt[8124] = 1.000000 (v7397)
    xopt[8126] = 1.000000 (v7398)
    xopt[8128] = 1.000000 (v380)
    xopt[8129] = 1.000000 (v381)
    xopt[8130] = 1.000000 (v2570)
    xopt[8132] = 1.000000 (v2571)
    xopt[8136] = 1.000000 (v2573)
    xopt[8138] = 1.000000 (v2574)
    xopt[8139] = 1.000000 (v386)
    xopt[8140] = 1.000000 (v2575)
    xopt[8142] = 1.000000 (v2576)
    xopt[8146] = 1.000000 (v2578)
    xopt[8147] = 1.000000 (v2579)
    xopt[8150] = 1.000000 (v2580)
    xopt[8152] = 1.000000 (v2581)
    xopt[8153] = 1.000000 (v393)
    xopt[8154] = 1.000000 (v2582)
    xopt[8155] = 1.000000 (v394)
    xopt[8156] = 1.000000 (v2583)
    xopt[8158] = 1.000000 (v2584)
    xopt[8161] = 1.000000 (v397)
    xopt[8162] = 1.000000 (v2586)
    xopt[8163] = 1.000000 (v398)
    xopt[8164] = 1.000000 (v2587)
    xopt[8165] = 1.000000 (v399)
    xopt[8166] = 1.000000 (v2588)
    xopt[8168] = 1.000000 (v2590)
    xopt[8169] = 1.000000 (v2591)
    xopt[8170] = 1.000000 (v2592)
    xopt[8172] = 1.000000 (v2594)
    xopt[8173] = 1.000000 (v2595)
    xopt[8177] = 1.000000 (v2599)
    xopt[8178] = 1.000000 (v7400)
    xopt[8179] = 1.000000 (v7401)
    xopt[8182] = 1.000000 (v7404)
    xopt[8183] = 1.000000 (v7405)
    xopt[8184] = 1.000000 (v7406)
    xopt[8185] = 1.000000 (v7407)
    xopt[8186] = 1.000000 (v7408)
    xopt[8187] = 1.000000 (v7409)
    xopt[8190] = 1.000000 (v7412)
    xopt[8191] = 1.000000 (v7413)
    xopt[8192] = 1.000000 (v7414)
    xopt[8195] = 1.000000 (v7417)
    xopt[8196] = 1.000000 (v7418)
    xopt[8197] = 1.000000 (v7419)
    xopt[8198] = 1.000000 (v400)
    xopt[8199] = 1.000000 (v401)
    xopt[8200] = 1.000000 (v402)
    xopt[8201] = 1.000000 (v403)
    xopt[8202] = 1.000000 (v7420)
    xopt[8203] = 1.000000 (v404)
    xopt[8204] = 1.000000 (v7421)
    xopt[8205] = 1.000000 (v405)
    xopt[8206] = 1.000000 (v7422)
    xopt[8207] = 1.000000 (v406)
    xopt[8208] = 1.000000 (v7423)
    xopt[8209] = 1.000000 (v7424)
    xopt[8211] = 1.000000 (v7425)
    xopt[8213] = 1.000000 (v7426)
    xopt[8214] = 1.000000 (v409)
    xopt[8217] = 1.000000 (v7429)
    xopt[8218] = 1.000000 (v410)
    xopt[8219] = 1.000000 (v2600)
    xopt[8220] = 1.000000 (v411)
    xopt[8222] = 1.000000 (v2601)
    xopt[8223] = 1.000000 (v7430)
    xopt[8227] = 1.000000 (v414)
    xopt[8228] = 1.000000 (v2603)
    xopt[8230] = 1.000000 (v415)
    xopt[8231] = 1.000000 (v2604)
    xopt[8232] = 1.000000 (v7433)
    xopt[8235] = 1.000000 (v7434)
    xopt[8242] = 1.000000 (v2608)
    xopt[8243] = 1.000000 (v419)
    xopt[8247] = 1.000000 (v7439)
    xopt[8259] = 1.000000 (v7442)
    xopt[8262] = 1.000000 (v7443)
    xopt[8274] = 1.000000 (v7447)
    xopt[8290] = 1.000000 (v7452)
    xopt[8291] = 1.000000 (v2624)
    xopt[8292] = 1.000000 (v436)
    xopt[8293] = 1.000000 (v7453)
    xopt[8294] = 1.000000 (v2625)
    xopt[8295] = 1.000000 (v7454)
    xopt[8298] = 1.000000 (v7455)
    xopt[8301] = 1.000000 (v7456)
    xopt[8304] = 1.000000 (v7457)
    xopt[8306] = 1.000000 (v7458)
    xopt[8307] = 1.000000 (v7459)
    xopt[8313] = 1.000000 (v7460)
    xopt[8318] = 1.000000 (v2633)
    xopt[8319] = 1.000000 (v7462)
    xopt[8320] = 1.000000 (v445)
    xopt[8322] = 1.000000 (v7463)
    xopt[8325] = 1.000000 (v447)
    xopt[8327] = 1.000000 (v2636)
    xopt[8328] = 1.000000 (v448)
    xopt[8330] = 1.000000 (v2637)
    xopt[8331] = 1.000000 (v449)
    xopt[8333] = 1.000000 (v2638)
    xopt[8334] = 1.000000 (v7467)
    xopt[8338] = 1.000000 (v450)
    xopt[8339] = 1.000000 (v451)
    xopt[8340] = 1.000000 (v2640)
    xopt[8341] = 1.000000 (v452)
    xopt[8342] = 1.000000 (v2641)
    xopt[8347] = 1.000000 (v7471)
    xopt[8354] = 1.000000 (v2645)
    xopt[8358] = 1.000000 (v7475)
    xopt[8363] = 1.000000 (v459)
    xopt[8367] = 1.000000 (v7479)
    xopt[8368] = 1.000000 (v460)
    xopt[8370] = 1.000000 (v461)
    xopt[8372] = 1.000000 (v462)
    xopt[8373] = 1.000000 (v7480)
    xopt[8378] = 1.000000 (v464)
    xopt[8381] = 1.000000 (v465)
    xopt[8384] = 1.000000 (v466)
    xopt[8393] = 1.000000 (v469)
    xopt[8398] = 1.000000 (v470)
    xopt[8405] = 1.000000 (v473)
    xopt[8406] = 1.000000 (v7491)
    xopt[8408] = 1.000000 (v474)
    xopt[8409] = 1.000000 (v7492)
    xopt[8412] = 1.000000 (v7493)
    xopt[8418] = 1.000000 (v7495)
    xopt[8421] = 1.000000 (v7496)
    xopt[8427] = 1.000000 (v7499)
    xopt[8431] = 1.000000 (v482)
    xopt[8434] = 1.000000 (v483)
    xopt[8451] = 1.000000 (v492)
    xopt[8456] = 1.000000 (v494)
    xopt[8457] = 1.000000 (v495)
    xopt[8459] = 1.000000 (v496)
    xopt[8463] = 1.000000 (v498)
    xopt[8466] = 1.000000 (v499)
    xopt[8476] = 1.000000 (v2698)
    xopt[8477] = 1.000000 (v2699)
    xopt[8478] = 1.000000 (v7500)
    xopt[8483] = 1.000000 (v7505)
    xopt[8484] = 1.000000 (v7506)
    xopt[8485] = 1.000000 (v7507)
    xopt[8486] = 1.000000 (v7508)
    xopt[8487] = 1.000000 (v7509)
    xopt[8488] = 1.000000 (v7510)
    xopt[8489] = 1.000000 (v7511)
    xopt[8490] = 1.000000 (v7512)
    xopt[8509] = 1.000000 (v507)
    xopt[8512] = 1.000000 (v508)
    xopt[8514] = 1.000000 (v509)
    xopt[8518] = 1.000000 (v510)
    xopt[8519] = 1.000000 (v511)
    xopt[8520] = 1.000000 (v2700)
    xopt[8521] = 1.000000 (v512)
    xopt[8522] = 1.000000 (v2701)
    xopt[8524] = 1.000000 (v513)
    xopt[8527] = 1.000000 (v2703)
    xopt[8548] = 1.000000 (v520)
    xopt[8550] = 1.000000 (v521)
    xopt[8559] = 1.000000 (v7542)
    xopt[8561] = 1.000000 (v525)
    xopt[8570] = 1.000000 (v2717)
    xopt[8572] = 1.000000 (v529)
    xopt[8578] = 1.000000 (v530)
    xopt[8606] = 1.000000 (v7558)
    xopt[8610] = 1.000000 (v541)
    xopt[8612] = 1.000000 (v542)
    xopt[8623] = 1.000000 (v546)
    xopt[8626] = 1.000000 (v547)
    xopt[8628] = 1.000000 (v548)
    xopt[8632] = 1.000000 (v549)
    xopt[8633] = 1.000000 (v7566)
    xopt[8635] = 1.000000 (v7567)
    xopt[8638] = 1.000000 (v550)
    xopt[8651] = 1.000000 (v555)
    xopt[8654] = 1.000000 (v556)
    xopt[8659] = 1.000000 (v2747)
    xopt[8660] = 1.000000 (v558)
    xopt[8663] = 1.000000 (v559)
    xopt[8673] = 1.000000 (v7580)
    xopt[8679] = 1.000000 (v7582)
    xopt[8682] = 1.000000 (v7583)
    xopt[8683] = 1.000000 (v2755)
    xopt[8686] = 1.000000 (v2756)
    xopt[8692] = 1.000000 (v2758)
    xopt[8694] = 1.000000 (v7587)
    xopt[8695] = 1.000000 (v2759)
    xopt[8707] = 1.000000 (v574)
    xopt[8710] = 1.000000 (v575)
    xopt[8728] = 1.000000 (v580)
    xopt[8729] = 1.000000 (v581)
    xopt[8732] = 1.000000 (v582)
    xopt[8733] = 1.000000 (v583)
    xopt[8735] = 1.000000 (v584)
    xopt[8742] = 1.000000 (v587)
    xopt[8744] = 1.000000 (v588)
    xopt[8750] = 1.000000 (v591)
    xopt[8752] = 1.000000 (v592)
    xopt[8757] = 1.000000 (v2784)
    xopt[8759] = 1.000000 (v2785)
    xopt[8761] = 1.000000 (v2786)
    xopt[8763] = 1.000000 (v2787)
    xopt[8765] = 1.000000 (v2788)
    xopt[8767] = 1.000000 (v2789)
    xopt[8769] = 1.000000 (v2791)
    xopt[8770] = 1.000000 (v2792)
    xopt[8793] = 1.000000 (v7615)
    xopt[8794] = 1.000000 (v7616)
    xopt[8795] = 1.000000 (v7617)
    xopt[8802] = 1.000000 (v7620)
    xopt[8804] = 1.000000 (v7621)
    xopt[8812] = 1.000000 (v7625)
    xopt[8816] = 1.000000 (v7628)
    xopt[8817] = 1.000000 (v7629)
    xopt[8819] = 1.000000 (v2800)
    xopt[8856] = 1.000000 (v2813)
    xopt[8866] = 1.000000 (v2816)
    xopt[8868] = 1.000000 (v2817)
    xopt[8879] = 1.000000 (v2820)
    xopt[8881] = 1.000000 (v2821)
    xopt[8905] = 1.000000 (v2829)
    xopt[8917] = 1.000000 (v2833)
    xopt[8930] = 1.000000 (v2837)
    xopt[8933] = 1.000000 (v2838)
    xopt[8944] = 1.000000 (v653)
    xopt[8945] = 1.000000 (v2842)
    xopt[8969] = 1.000000 (v661)
    xopt[8978] = 1.000000 (v7681)
    xopt[8979] = 1.000000 (v665)
    xopt[8988] = 1.000000 (v668)
    xopt[8991] = 1.000000 (v669)
    xopt[8992] = 1.000000 (v2858)
    xopt[8994] = 1.000000 (v2859)
    xopt[8999] = 1.000000 (v2860)
    xopt[9001] = 1.000000 (v2861)
    xopt[9003] = 1.000000 (v2862)
    xopt[9004] = 1.000000 (v673)
    xopt[9006] = 1.000000 (v2863)
    xopt[9018] = 1.000000 (v2867)
    xopt[9031] = 1.000000 (v2871)
    xopt[9041] = 1.000000 (v2876)
    xopt[9043] = 1.000000 (v2877)
    xopt[9045] = 1.000000 (v2878)
    xopt[9047] = 1.000000 (v2879)
    xopt[9055] = 1.000000 (v2883)
    xopt[9097] = 1.000000 (v5001)
    xopt[9099] = 1.000000 (v5002)
    xopt[9104] = 1.000000 (v5006)
    xopt[9107] = 1.000000 (v701)
    xopt[9109] = 1.000000 (v702)
    xopt[9111] = 1.000000 (v703)
    xopt[9119] = 1.000000 (v707)
    xopt[9125] = 1.000000 (v5010)
    xopt[9136] = 1.000000 (v5017)
    xopt[9139] = 1.000000 (v5018)
    xopt[9161] = 1.000000 (v719)
    xopt[9180] = 1.000000 (v722)
    xopt[9183] = 1.000000 (v723)
    xopt[9355] = 1.000000 (v7784)
    xopt[9358] = 1.000000 (v7785)
    xopt[9361] = 1.000000 (v7786)
    xopt[9370] = 1.000000 (v5072)
    xopt[9371] = 1.000000 (v5073)
    xopt[9378] = 1.000000 (v5077)
    xopt[9382] = 1.000000 (v7790)
    xopt[9386] = 1.000000 (v2963)
    xopt[9395] = 1.000000 (v7794)
    xopt[9396] = 1.000000 (v777)
    xopt[9399] = 1.000000 (v778)
    xopt[9421] = 1.000000 (v5088)
    xopt[9424] = 1.000000 (v5089)
    xopt[9427] = 1.000000 (v2974)
    xopt[9429] = 1.000000 (v2975)
    xopt[9430] = 1.000000 (v786)
    xopt[9435] = 1.000000 (v2978)
    xopt[9437] = 1.000000 (v2979)
    xopt[9444] = 1.000000 (v790)
    xopt[9451] = 1.000000 (v5098)
    xopt[9456] = 1.000000 (v794)
    xopt[9457] = 1.000000 (v795)
    xopt[9461] = 1.000000 (v797)
    xopt[9463] = 1.000000 (v798)
    xopt[9465] = 1.000000 (v2988)
    xopt[9474] = 1.000000 (v2996)
    xopt[9485] = 1.000000 (v7807)
    xopt[9486] = 1.000000 (v7808)
    xopt[9487] = 1.000000 (v7809)
    xopt[9488] = 1.000000 (v7810)
    xopt[9492] = 1.000000 (v7814)
    xopt[9505] = 1.000000 (v5106)
    xopt[9513] = 1.000000 (v7821)
    xopt[9515] = 1.000000 (v7822)
    xopt[9525] = 1.000000 (v7827)
    xopt[9526] = 1.000000 (v5110)
    xopt[9531] = 1.000000 (v5113)
    xopt[9532] = 1.000000 (v5114)
    xopt[9542] = 1.000000 (v7830)
    xopt[9544] = 1.000000 (v7831)
    xopt[9552] = 1.000000 (v7835)
    xopt[9560] = 1.000000 (v7839)
    xopt[9561] = 1.000000 (v5123)
    xopt[9606] = 1.000000 (v7852)
    xopt[9608] = 1.000000 (v7853)
    xopt[9612] = 1.000000 (v7855)
    xopt[9614] = 1.000000 (v7856)
    xopt[9620] = 1.000000 (v7859)
    xopt[9631] = 1.000000 (v7860)
    xopt[9643] = 1.000000 (v849)
    xopt[9654] = 1.000000 (v850)
    xopt[9656] = 1.000000 (v851)
    xopt[9658] = 1.000000 (v852)
    xopt[9660] = 1.000000 (v853)
    xopt[9666] = 1.000000 (v7872)
    xopt[9693] = 1.000000 (v864)
    xopt[9695] = 1.000000 (v865)
    xopt[9720] = 1.000000 (v873)
    xopt[9724] = 1.000000 (v874)
    xopt[9726] = 1.000000 (v875)
    xopt[9728] = 1.000000 (v876)
    xopt[9730] = 1.000000 (v877)
    xopt[9732] = 1.000000 (v878)
    xopt[9734] = 1.000000 (v879)
    xopt[9735] = 1.000000 (v7897)
    xopt[9737] = 1.000000 (v7898)
    xopt[9739] = 1.000000 (v7899)
    xopt[9745] = 1.000000 (v880)
    xopt[9747] = 1.000000 (v881)
    xopt[9749] = 1.000000 (v882)
    xopt[9751] = 1.000000 (v883)
    xopt[9759] = 1.000000 (v5191)
    xopt[9777] = 1.000000 (v899)
    xopt[9780] = 1.000000 (v7902)
    xopt[9781] = 1.000000 (v7903)
    xopt[9784] = 1.000000 (v7906)
    xopt[9785] = 1.000000 (v7907)
    xopt[9789] = 1.000000 (v7911)
    xopt[9793] = 1.000000 (v7915)
    xopt[9794] = 1.000000 (v7916)
    xopt[9795] = 1.000000 (v7917)
    xopt[9797] = 1.000000 (v7918)
    xopt[9799] = 1.000000 (v7919)
    xopt[9804] = 1.000000 (v900)
    xopt[9806] = 1.000000 (v5207)
    xopt[9810] = 1.000000 (v7920)
    xopt[9816] = 1.000000 (v7922)
    xopt[9820] = 1.000000 (v7924)
    xopt[9822] = 1.000000 (v7925)
    xopt[9824] = 1.000000 (v7926)
    xopt[9838] = 1.000000 (v912)
    xopt[9840] = 1.000000 (v913)
    xopt[9843] = 1.000000 (v914)
    xopt[9845] = 1.000000 (v915)
    xopt[9847] = 1.000000 (v916)
    xopt[9848] = 1.000000 (v7933)
    xopt[9850] = 1.000000 (v7934)
    xopt[9857] = 1.000000 (v7938)
    xopt[9864] = 1.000000 (v920)
    xopt[9873] = 1.000000 (v924)
    xopt[9875] = 1.000000 (v925)
    xopt[9876] = 1.000000 (v7942)
    xopt[9938] = 1.000000 (v946)
    xopt[9940] = 1.000000 (v947)
    xopt[9942] = 1.000000 (v948)
    xopt[9944] = 1.000000 (v949)
    xopt[9961] = 1.000000 (v953)
    xopt[9969] = 1.000000 (v957)
    xopt[9972] = 1.000000 (v7975)
    xopt[9974] = 1.000000 (v7976)
    xopt[9997] = 1.000000 (v7983)
    xopt[9999] = 1.000000 (v7984)
    xopt[10050] = 1.000000 (v5289)
    xopt[10061] = 1.000000 (v5293)
    xopt[10155] = 1.000000 (v5377)
    xopt[10157] = 1.000000 (v5379)
    xopt[10190] = 1.000000 (v5412)
    xopt[10191] = 1.000000 (v5413)
    xopt[10195] = 1.000000 (v5417)
    xopt[10206] = 1.000000 (v5428)
    xopt[10207] = 1.000000 (v5429)
    xopt[10221] = 1.000000 (v5443)
    xopt[10222] = 1.000000 (v5444)
    xopt[10234] = 1.000000 (v5456)
    xopt[10242] = 1.000000 (v5464)
    xopt[10247] = 1.000000 (v5469)
    xopt[10250] = 1.000000 (v5472)
    xopt[10251] = 1.000000 (v5473)
    xopt[10252] = 1.000000 (v5474)
    xopt[10254] = 1.000000 (v5476)
    xopt[10255] = 1.000000 (v5477)
    xopt[10259] = 1.000000 (v5481)
    xopt[10267] = 1.000000 (v5489)
    xopt[10271] = 1.000000 (v5493)
    xopt[10272] = 1.000000 (v5494)
    xopt[10287] = 1.000000 (v5509)
    xopt[10288] = 1.000000 (v5510)
    xopt[10443] = 1.000000 (v5665)
    xopt[10444] = 1.000000 (v5666)
    xopt[10445] = 1.000000 (v5667)
    xopt[10446] = 1.000000 (v5668)
    xopt[10447] = 1.000000 (v5669)
    xopt[10448] = 1.000000 (v5670)
    xopt[10449] = 1.000000 (v5671)
    xopt[10450] = 1.000000 (v5672)
    xopt[10451] = 1.000000 (v5673)
    xopt[10455] = 1.000000 (v5677)
    xopt[10460] = 1.000000 (v5682)
    xopt[10461] = 1.000000 (v5683)
    xopt[10462] = 1.000000 (v5684)
    xopt[10463] = 1.000000 (v5685)
    xopt[10464] = 1.000000 (v5686)
    xopt[10465] = 1.000000 (v5687)
    xopt[10466] = 1.000000 (v5688)
    xopt[10467] = 1.000000 (v5689)
    xopt[10472] = 1.000000 (v5694)
    xopt[10484] = 1.000000 (v5706)
    xopt[10486] = 1.000000 (v5708)
    xopt[10487] = 1.000000 (v5709)
    xopt[10491] = 1.000000 (v5713)
    xopt[10496] = 1.000000 (v3000)
    xopt[10498] = 1.000000 (v5718)
    xopt[10505] = 1.000000 (v3007)
    xopt[10506] = 1.000000 (v3008)
    xopt[10521] = 1.000000 (v3013)
    xopt[10525] = 1.000000 (v3017)
    xopt[10533] = 1.000000 (v5735)
    xopt[10535] = 1.000000 (v5737)
    xopt[10537] = 1.000000 (v5738)
    xopt[10539] = 1.000000 (v3022)
    xopt[10545] = 1.000000 (v3027)
    xopt[10557] = 1.000000 (v3031)
    xopt[10564] = 1.000000 (v3036)
    xopt[10582] = 1.000000 (v3044)
    xopt[10586] = 1.000000 (v3048)
    xopt[10594] = 1.000000 (v5766)
    xopt[10595] = 1.000000 (v5767)
    xopt[10597] = 1.000000 (v5768)
    xopt[10617] = 1.000000 (v3061)
    xopt[10619] = 1.000000 (v5779)
    xopt[10623] = 1.000000 (v3065)
    xopt[10627] = 1.000000 (v5780)
    xopt[10628] = 1.000000 (v3069)
    xopt[10629] = 1.000000 (v5781)
    xopt[10630] = 1.000000 (v5782)
    xopt[10631] = 1.000000 (v5783)
    xopt[10632] = 1.000000 (v5784)
    xopt[10633] = 1.000000 (v5785)
    xopt[10635] = 1.000000 (v5787)
    xopt[10637] = 1.000000 (v5788)
    xopt[10639] = 1.000000 (v3072)
    xopt[10641] = 1.000000 (v3073)
    xopt[10642] = 1.000000 (v3074)
    xopt[10644] = 1.000000 (v3076)
    xopt[10645] = 1.000000 (v3077)
    xopt[10649] = 1.000000 (v5791)
    xopt[10650] = 1.000000 (v5792)
    xopt[10651] = 1.000000 (v5793)
    xopt[10656] = 1.000000 (v5797)
    xopt[10657] = 1.000000 (v3081)
    xopt[10684] = 1.000000 (v5806)
    xopt[10686] = 1.000000 (v5808)
    xopt[10687] = 1.000000 (v5809)
    xopt[10688] = 1.000000 (v5810)
    xopt[10690] = 1.000000 (v5812)
    xopt[10691] = 1.000000 (v5813)
    xopt[10739] = 1.000000 (v5839)
    xopt[10749] = 1.000000 (v5841)
    xopt[10750] = 1.000000 (v5842)
    xopt[10751] = 1.000000 (v5843)
    xopt[10756] = 1.000000 (v5847)
    xopt[10759] = 1.000000 (v3132)
    xopt[10762] = 1.000000 (v3134)
    xopt[10763] = 1.000000 (v3135)
    xopt[10764] = 1.000000 (v3136)
    xopt[10765] = 1.000000 (v3137)
    xopt[10767] = 1.000000 (v3139)
    xopt[10769] = 1.000000 (v5851)
    zopt = 9.000000
    zroot = 8.100000
    zinit = 8.100000

MINTO: Branch and bound statistics

    Maximum number of unevaluated nodes           =     4
    Number of evaluated nodes                     =  1208
    Depth of the tree                             =   121
    Number of linear programs solved              =  1208
    Maximum number of rows in active LP           = 12037 (12037)

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.05
    Preprocessing and probing:                       0.06
    Primal heuristic:                                1.36
    Bound improvement:                              36.73
    Clique cut generation:                           0.93
    Implication cut generation:                      0.00
    Knapsack cover generation:                       0.03
    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:                                      79.34
    Time LP solving:                                 0.00

    Total elapsed time:                            121.80

Command exited with non-zero status 161
120.91user 0.90system 2:01.99elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+298003minor)pagefaults 0swaps