ConicIP reports infeasible, ECOS and Mosek optimal

infeasible.jl

using ECOS, ConicIP, Mosek

c = [0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,1.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0]

b = [0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,-1.0,-1.0,-1.0,-1.0,-11.5,52.5,-12.5,51.5,-10.5,53.5,-10.0,54.0,-7.0,82.0,-6.5,82.5,-5.5,83.5,-5.5,83.5,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,1.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0]

con_cones = Tuple{Symbol,Array{Int64,1}}[(:Zero,[1]),(:NonNeg,[2]),(:NonNeg,[3]),(:NonNeg,[4]),(:NonNeg,[5]),(:NonNeg,[6]),(:NonNeg,[7]),(:NonNeg,[8]),(:NonNeg,[9]),(:NonNeg,[10]),(:NonNeg,[11]),(:NonNeg,[12]),(:NonNeg,[13]),(:NonNeg,[14]),(:NonNeg,[15]),(:NonNeg,[16]),(:NonNeg,[17]),(:NonNeg,[18]),(:NonNeg,[19]),(:NonNeg,[20]),(:NonNeg,[21]),(:NonNeg,[22]),(:NonNeg,[23]),(:NonNeg,[24]),(:NonNeg,[25]),(:Zero,[26]),(:Zero,[27]),(:Zero,[28]),(:Zero,[29]),(:Zero,[30]),(:Zero,[31]),(:Zero,[32]),(:Zero,[33]),(:Zero,[34]),(:Zero,[35]),(:Zero,[36]),(:Zero,[37]),(:Zero,[38]),(:Zero,[39]),(:Zero,[40]),(:Zero,[41]),(:Zero,[42]),(:Zero,[43]),(:Zero,[44]),(:Zero,[45]),(:Zero,[46]),(:Zero,[47]),(:Zero,[48]),(:Zero,[49]),(:NonNeg,[50]),(:NonNeg,[51]),(:NonNeg,[52]),(:NonNeg,[53]),(:NonNeg,[54]),(:NonNeg,[55]),(:NonNeg,[56]),(:NonNeg,[57]),(:NonNeg,[58]),(:NonNeg,[59]),(:NonNeg,[60]),(:NonNeg,[61]),(:NonNeg,[62]),(:NonNeg,[63]),(:NonNeg,[64]),(:NonNeg,[65]),(:NonNeg,[66]),(:NonNeg,[67]),(:NonNeg,[68]),(:NonNeg,[69]),(:NonNeg,[70]),(:NonNeg,[71]),(:NonNeg,[72]),(:NonNeg,[73]),(:NonNeg,[74]),(:NonNeg,[75]),(:NonNeg,[76]),(:NonNeg,[77]),(:NonNeg,[78]),(:NonNeg,[79]),(:NonNeg,[80]),(:NonNeg,[81]),(:NonNeg,[82]),(:NonNeg,[83]),(:NonNeg,[84]),(:NonNeg,[85]),(:NonNeg,[86]),(:NonNeg,[87]),(:NonNeg,[88]),(:NonNeg,[89]),(:NonNeg,[90]),(:NonNeg,[91]),(:NonNeg,[92]),(:NonNeg,[93]),(:NonNeg,[94]),(:NonNeg,[95]),(:NonNeg,[96]),(:NonNeg,[97]),(:NonNeg,[98]),(:NonNeg,[99]),(:NonNeg,[100]),(:NonNeg,[101]),(:NonNeg,[102]),(:NonNeg,[103]),(:NonNeg,[104]),(:NonNeg,[105]),(:NonNeg,[106]),(:NonNeg,[107]),(:NonNeg,[108]),(:NonNeg,[109]),(:NonNeg,[110]),(:NonNeg,[111]),(:NonNeg,[112]),(:NonNeg,[113]),(:NonNeg,[114]),(:NonNeg,[115]),(:NonNeg,[116]),(:NonNeg,[117]),(:NonNeg,[118]),(:NonNeg,[119]),(:NonNeg,[120]),(:NonNeg,[121]),(:NonNeg,[122]),(:NonNeg,[123]),(:NonNeg,[124]),(:NonNeg,[125]),(:NonNeg,[126]),(:NonNeg,[127]),(:NonNeg,[128]),(:NonNeg,[129]),(:NonNeg,[130]),(:NonNeg,[131]),(:NonNeg,[132]),(:NonNeg,[133]),(:NonNeg,[134]),(:NonNeg,[135]),(:NonNeg,[136]),(:NonNeg,[137]),(:NonNeg,[138]),(:NonNeg,[139]),(:NonNeg,[140]),(:NonNeg,[141]),(:NonNeg,[142]),(:NonNeg,[143]),(:NonNeg,[144]),(:NonNeg,[145]),(:NonNeg,[146]),(:NonNeg,[147]),(:NonNeg,[148]),(:NonNeg,[149]),(:NonNeg,[150]),(:NonNeg,[151]),(:NonNeg,[152]),(:NonNeg,[153]),(:NonNeg,[154]),(:NonNeg,[155]),(:NonNeg,[156]),(:NonNeg,[157]),(:NonNeg,[158]),(:NonNeg,[159]),(:NonNeg,[160]),(:NonNeg,[161]),(:NonNeg,[162]),(:NonNeg,[163]),(:NonNeg,[164]),(:NonNeg,[165]),(:NonNeg,[166]),(:NonNeg,[167]),(:NonNeg,[168]),(:NonNeg,[169]),(:Zero,[170]),(:Zero,[171]),(:Zero,[172]),(:Zero,[173]),(:Zero,[174]),(:Zero,[175]),(:Zero,[176]),(:Zero,[177]),(:Zero,[178]),(:Zero,[179]),(:Zero,[180]),(:Zero,[181]),(:Zero,[182]),(:Zero,[183]),(:NonNeg,[184]),(:NonNeg,[185]),(:NonNeg,[186]),(:NonNeg,[187]),(:NonNeg,[188]),(:NonNeg,[189]),(:NonNeg,[190]),(:NonNeg,[191]),(:NonNeg,[192]),(:NonNeg,[193]),(:NonNeg,[194]),(:NonNeg,[195]),(:NonNeg,[196]),(:NonNeg,[197]),(:NonNeg,[198]),(:NonNeg,[199]),(:NonNeg,[200]),(:NonNeg,[201]),(:NonNeg,[202]),(:NonNeg,[203]),(:NonNeg,[204]),(:NonNeg,[205]),(:NonNeg,[206]),(:NonNeg,[207]),(:SOC,[208,209,210]),(:NonNeg,[211]),(:SOC,[212,213,214]),(:NonNeg,[215]),(:NonNeg,[216]),(:SOC,[217,218,219]),(:NonNeg,[220]),(:SOC,[221,222,223]),(:NonNeg,[224]),(:NonNeg,[225]),(:SOC,[226,227,228]),(:NonNeg,[229]),(:SOC,[230,231,232]),(:NonNeg,[233]),(:NonNeg,[234]),(:SOC,[235,236,237]),(:NonNeg,[238]),(:SOC,[239,240,241]),(:NonNeg,[242]),(:NonNeg,[243]),(:SOC,[244,245,246]),(:NonNeg,[247]),(:SOC,[248,249,250]),(:NonNeg,[251]),(:NonNeg,[252]),(:SOC,[253,254,255]),(:NonNeg,[256]),(:SOC,[257,258,259]),(:NonNeg,[260]),(:NonNeg,[261]),(:SOC,[262,263,264]),(:NonNeg,[265]),(:SOC,[266,267,268]),(:NonNeg,[269]),(:NonNeg,[270]),(:SOC,[271,272,273]),(:NonNeg,[274]),(:SOC,[275,276,277]),(:NonNeg,[278]),(:NonNeg,[279]),(:SOC,[280,281,282]),(:NonNeg,[283]),(:SOC,[284,285,286]),(:NonNeg,[287]),(:NonNeg,[288]),(:SOC,[289,290,291]),(:NonNeg,[292]),(:SOC,[293,294,295]),(:NonNeg,[296]),(:NonNeg,[297]),(:SOC,[298,299,300]),(:NonNeg,[301]),(:SOC,[302,303,304]),(:NonNeg,[305]),(:NonNeg,[306]),(:SOC,[307,308,309]),(:NonNeg,[310]),(:SOC,[311,312,313]),(:NonNeg,[314]),(:NonNeg,[315]),(:SOC,[316,317,318]),(:NonNeg,[319]),(:SOC,[320,321,322]),(:NonNeg,[323]),(:NonNeg,[324]),(:SOC,[325,326,327]),(:NonNeg,[328]),(:SOC,[329,330,331]),(:NonNeg,[332]),(:NonNeg,[333]),(:SOC,[334,335,336]),(:NonNeg,[337]),(:SOC,[338,339,340]),(:NonNeg,[341]),(:NonNeg,[342]),(:SOC,[343,344,345]),(:NonNeg,[346]),(:SOC,[347,348,349]),(:NonNeg,[350]),(:NonNeg,[351]),(:SOC,[352,353,354]),(:NonNeg,[355]),(:SOC,[356,357,358]),(:NonNeg,[359]),(:NonNeg,[360]),(:SOC,[361,362,363]),(:NonNeg,[364]),(:SOC,[365,366,367]),(:NonNeg,[368]),(:NonNeg,[369]),(:SOC,[370,371,372]),(:NonNeg,[373]),(:SOC,[374,375,376]),(:NonNeg,[377]),(:NonNeg,[378]),(:SOC,[379,380,381]),(:NonNeg,[382]),(:SOC,[383,384,385]),(:NonNeg,[386]),(:NonNeg,[387]),(:SOC,[388,389,390]),(:NonNeg,[391]),(:SOC,[392,393,394]),(:NonNeg,[395]),(:NonNeg,[396]),(:SOC,[397,398,399]),(:NonNeg,[400]),(:SOC,[401,402,403]),(:NonNeg,[404]),(:NonNeg,[405]),(:SOC,[406,407,408]),(:NonNeg,[409]),(:SOC,[410,411,412]),(:NonNeg,[413]),(:NonNeg,[414]),(:SOC,[415,416,417]),(:NonNeg,[418]),(:SOC,[419,420,421]),(:NonNeg,[422]),(:NonNeg,[423]),(:SOC,[424,425,426]),(:NonNeg,[427]),(:SOC,[428,429,430]),(:NonNeg,[431]),(:NonNeg,[432]),(:SOC,[433,434,435]),(:NonNeg,[436]),(:SOC,[437,438,439]),(:NonNeg,[440]),(:NonNeg,[441]),(:SOC,[442,443,444]),(:NonNeg,[445]),(:SOC,[446,447,448]),(:NonNeg,[449]),(:NonNeg,[450]),(:SOC,[451,452,453]),(:NonNeg,[454]),(:SOC,[455,456,457]),(:NonNeg,[458]),(:NonNeg,[459]),(:SOC,[460,461,462]),(:NonNeg,[463]),(:SOC,[464,465,466]),(:NonNeg,[467]),(:NonNeg,[468]),(:SOC,[469,470,471]),(:NonNeg,[472]),(:SOC,[473,474,475]),(:NonNeg,[476]),(:NonNeg,[477]),(:SOC,[478,479,480]),(:NonNeg,[481]),(:SOC,[482,483,484]),(:NonNeg,[485]),(:NonNeg,[486]),(:SOC,[487,488,489]),(:NonNeg,[490]),(:SOC,[491,492,493]),(:NonNeg,[494]),(:NonNeg,[495]),(:SOC,[496,497,498]),(:NonNeg,[499]),(:SOC,[500,501,502]),(:NonNeg,[503]),(:NonNeg,[504]),(:SOC,[505,506,507]),(:NonNeg,[508]),(:SOC,[509,510,511]),(:NonNeg,[512]),(:NonNeg,[513]),(:SOC,[514,515,516]),(:NonNeg,[517]),(:SOC,[518,519,520]),(:NonNeg,[521]),(:NonNeg,[522]),(:SOC,[523,524,525]),(:NonNeg,[526]),(:SOC,[527,528,529]),(:NonNeg,[530]),(:NonNeg,[531]),(:SOC,[532,533,534]),(:NonNeg,[535]),(:SOC,[536,537,538]),(:NonNeg,[539]),(:NonNeg,[540]),(:SOC,[541,542,543]),(:NonNeg,[544]),(:SOC,[545,546,547]),(:NonNeg,[548]),(:NonNeg,[549]),(:SOC,[550,551,552]),(:NonNeg,[553]),(:SOC,[554,555,556]),(:NonNeg,[557]),(:NonNeg,[558]),(:SOC,[559,560,561]),(:NonNeg,[562]),(:SOC,[563,564,565]),(:NonNeg,[566]),(:NonNeg,[567]),(:SOC,[568,569,570]),(:NonNeg,[571]),(:SOC,[572,573,574]),(:NonNeg,[575]),(:NonNeg,[576]),(:SOC,[577,578,579]),(:NonNeg,[580]),(:SOC,[581,582,583]),(:NonNeg,[584]),(:NonNeg,[585]),(:SOC,[586,587,588]),(:NonNeg,[589]),(:SOC,[590,591,592]),(:NonNeg,[593]),(:NonNeg,[594]),(:SOC,[595,596,597]),(:NonNeg,[598]),(:SOC,[599,600,601]),(:NonNeg,[602]),(:NonNeg,[603]),(:SOC,[604,605,606]),(:NonNeg,[607]),(:SOC,[608,609,610]),(:NonNeg,[611]),(:NonNeg,[612]),(:SOC,[613,614,615]),(:NonNeg,[616]),(:SOC,[617,618,619]),(:NonNeg,[620]),(:NonNeg,[621]),(:SOC,[622,623,624]),(:NonNeg,[625]),(:SOC,[626,627,628]),(:NonNeg,[629]),(:NonNeg,[630]),(:SOC,[631,632,633]),(:NonNeg,[634]),(:SOC,[635,636,637]),(:NonNeg,[638]),(:NonNeg,[639]),(:Zero,[640]),(:Zero,[641]),(:Zero,[642]),(:Zero,[643]),(:NonNeg,[644]),(:NonNeg,[645]),(:NonNeg,[646]),(:NonNeg,[647]),(:NonNeg,[648]),(:NonNeg,[649]),(:NonNeg,[650]),(:NonNeg,[651]),(:NonNeg,[652]),(:NonNeg,[653]),(:NonNeg,[654]),(:NonNeg,[655]),(:NonNeg,[656]),(:NonNeg,[657]),(:NonNeg,[658]),(:NonNeg,[659]),(:NonNeg,[660]),(:NonNeg,[661]),(:NonNeg,[662]),(:NonNeg,[663]),(:NonNeg,[664]),(:NonNeg,[665]),(:NonNeg,[666]),(:NonNeg,[667]),(:NonNeg,[668]),(:NonNeg,[669]),(:NonNeg,[670]),(:NonNeg,[671]),(:NonNeg,[672]),(:NonNeg,[673]),(:NonNeg,[674]),(:NonNeg,[675]),(:NonNeg,[676]),(:NonNeg,[677]),(:NonNeg,[678]),(:NonNeg,[679]),(:NonNeg,[680]),(:NonNeg,[681]),(:NonNeg,[682]),(:NonNeg,[683]),(:NonNeg,[684]),(:NonNeg,[685]),(:NonNeg,[686]),(:NonNeg,[687]),(:NonNeg,[688]),(:NonNeg,[689]),(:NonNeg,[690]),(:NonNeg,[691]),(:NonNeg,[692]),(:NonNeg,[693]),(:NonNeg,[694]),(:NonNeg,[695]),(:NonNeg,[696]),(:NonNeg,[697]),(:NonNeg,[698]),(:NonNeg,[699]),(:NonNeg,[700]),(:NonNeg,[701]),(:NonNeg,[702]),(:NonNeg,[703]),(:NonNeg,[704]),(:NonNeg,[705]),(:NonNeg,[706]),(:NonNeg,[707]),(:NonNeg,[708]),(:NonNeg,[709]),(:NonNeg,[710]),(:NonNeg,[711]),(:NonNeg,[712]),(:NonNeg,[713]),(:NonNeg,[714]),(:NonNeg,[715]),(:NonNeg,[716]),(:NonNeg,[717]),(:NonNeg,[718]),(:NonNeg,[719]),(:NonNeg,[720]),(:NonNeg,[721]),(:NonNeg,[722]),(:NonNeg,[723]),(:NonNeg,[724]),(:NonNeg,[725]),(:NonNeg,[726]),(:NonNeg,[727]),(:NonNeg,[728]),(:NonNeg,[729]),(:NonNeg,[730]),(:NonNeg,[731]),(:NonNeg,[732]),(:NonNeg,[733]),(:NonNeg,[734]),(:NonNeg,[735]),(:NonNeg,[736]),(:NonNeg,[737]),(:NonNeg,[738]),(:NonNeg,[739]),(:NonNeg,[740]),(:NonNeg,[741]),(:NonNeg,[742]),(:NonNeg,[743]),(:NonNeg,[744]),(:NonNeg,[745]),(:NonNeg,[746]),(:NonNeg,[747]),(:NonNeg,[748]),(:NonNeg,[749]),(:NonNeg,[750]),(:NonNeg,[751]),(:NonNeg,[752]),(:NonNeg,[753]),(:NonNeg,[754]),(:NonNeg,[755]),(:NonNeg,[756]),(:NonNeg,[757]),(:NonNeg,[758]),(:NonNeg,[759]),(:NonNeg,[760]),(:NonNeg,[761]),(:NonNeg,[762]),(:NonNeg,[763]),(:NonNeg,[764]),(:NonNeg,[765]),(:NonNeg,[766]),(:NonNeg,[767]),(:NonNeg,[768]),(:NonNeg,[769]),(:NonNeg,[770]),(:NonNeg,[771]),(:NonNeg,[772]),(:NonNeg,[773]),(:NonNeg,[774]),(:NonNeg,[775]),(:NonNeg,[776]),(:NonNeg,[777]),(:NonNeg,[778]),(:NonNeg,[779]),(:NonNeg,[780]),(:NonNeg,[781]),(:NonNeg,[782]),(:NonNeg,[783]),(:NonNeg,[784]),(:NonNeg,[785]),(:NonNeg,[786]),(:NonNeg,[787]),(:NonNeg,[788]),(:NonNeg,[789]),(:NonNeg,[790]),(:NonNeg,[791]),(:NonNeg,[792]),(:NonNeg,[793]),(:NonNeg,[794]),(:NonNeg,[795]),(:NonNeg,[796]),(:NonNeg,[797]),(:NonNeg,[798]),(:NonNeg,[799]),(:NonNeg,[800]),(:NonNeg,[801]),(:NonNeg,[802]),(:NonNeg,[803]),(:NonNeg,[804]),(:NonNeg,[805]),(:NonNeg,[806]),(:NonNeg,[807]),(:NonNeg,[808]),(:NonNeg,[809]),(:NonNeg,[810]),(:NonNeg,[811]),(:NonNeg,[812]),(:NonNeg,[813]),(:NonNeg,[814]),(:NonNeg,[815]),(:NonNeg,[816]),(:NonNeg,[817]),(:NonNeg,[818]),(:NonNeg,[819]),(:NonNeg,[820]),(:NonNeg,[821]),(:NonNeg,[822]),(:NonNeg,[823]),(:NonNeg,[824]),(:NonNeg,[825]),(:NonNeg,[826]),(:NonNeg,[827]),(:NonNeg,[828]),(:NonNeg,[829]),(:NonNeg,[830]),(:NonNeg,[831]),(:NonNeg,[832]),(:NonNeg,[833]),(:NonNeg,[834]),(:NonNeg,[835]),(:NonNeg,[836]),(:NonNeg,[837]),(:NonNeg,[838]),(:NonNeg,[839]),(:NonNeg,[840]),(:NonNeg,[841]),(:NonNeg,[842]),(:NonNeg,[843]),(:NonNeg,[844]),(:NonNeg,[845]),(:NonNeg,[846]),(:NonNeg,[847]),(:NonNeg,[848]),(:NonNeg,[849]),(:NonNeg,[850]),(:NonNeg,[851]),(:NonNeg,[852]),(:NonNeg,[853]),(:NonNeg,[854]),(:NonNeg,[855]),(:NonNeg,[856]),(:NonNeg,[857]),(:NonNeg,[858]),(:NonNeg,[859]),(:NonNeg,[860]),(:NonNeg,[861]),(:NonNeg,[862]),(:NonNeg,[863])]

var_cones = Tuple{Symbol,Array{Int64,1}}[(:Free,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273])]

I = [1,2,8,852,1,3,9,853,1,4,10,854,1,5,11,855,1,6,12,856,1,7,13,857,1,14,20,858,1,15,21,859,1,16,22,860,1,17,23,861,1,18,24,862,1,19,25,863,1,2,3,4,8,9,10,26,27,28,176,644,645,2,5,6,8,11,12,29,30,31,177,646,647,3,5,7,9,11,13,32,33,34,178,648,649,4,6,7,10,12,13,35,36,37,179,650,651,14,15,16,20,21,22,38,39,40,180,652,653,14,17,18,20,23,24,41,42,43,181,654,655,15,17,19,21,23,25,44,45,46,182,656,657,16,18,19,22,24,25,47,48,49,183,658,659,26,50,146,660,26,53,152,663,26,56,666,26,59,669,27,51,147,661,27,54,153,664,27,57,667,27,60,670,28,52,148,662,28,55,154,665,28,58,668,28,61,671,29,62,146,672,29,65,152,675,29,68,678,29,71,681,30,63,149,673,30,66,155,676,30,69,679,30,72,682,31,64,150,674,31,67,156,677,31,70,680,31,73,683,32,74,147,684,32,77,153,687,32,80,690,32,83,693,33,75,149,685,33,78,155,688,33,81,691,33,84,694,34,76,151,686,34,79,157,689,34,82,692,34,85,695,35,86,148,696,35,89,154,699,35,92,702,35,95,705,36,87,150,697,36,90,156,700,36,93,703,36,96,706,37,88,151,698,37,91,157,701,37,94,704,37,97,707,38,98,708,38,101,711,38,104,158,714,38,107,164,717,39,99,709,39,102,712,39,105,159,715,39,108,165,718,40,100,710,40,103,713,40,106,160,716,40,109,166,719,41,110,720,41,113,723,41,116,158,726,41,119,164,729,42,111,721,42,114,724,42,117,161,727,42,120,167,730,43,112,722,43,115,725,43,118,162,728,43,121,168,731,44,122,732,44,125,735,44,128,159,738,44,131,165,741,45,123,733,45,126,736,45,129,161,739,45,132,167,742,46,124,734,46,127,737,46,130,163,740,46,133,169,743,47,134,744,47,137,747,47,140,160,750,47,143,166,753,48,135,745,48,138,748,48,141,162,751,48,144,168,754,49,136,746,49,139,749,49,142,163,752,49,145,169,755,50,62,98,110,146,170,780,781,51,74,99,122,147,171,782,783,52,86,100,134,148,172,784,785,53,65,101,113,152,170,792,793,54,77,102,125,153,171,794,795,55,89,103,137,154,172,796,797,56,68,104,116,158,170,804,805,57,80,105,128,159,171,806,807,58,92,106,140,160,172,808,809,59,71,107,119,164,170,816,817,60,83,108,131,165,171,818,819,61,95,109,143,166,172,820,821,63,75,111,123,149,173,786,787,64,87,112,135,150,174,788,789,66,78,114,126,155,173,798,799,67,90,115,138,156,174,800,801,69,81,117,129,161,173,810,811,70,93,118,141,162,174,812,813,72,84,120,132,167,173,822,823,73,96,121,144,168,174,824,825,76,88,124,136,151,175,790,791,79,91,127,139,157,175,802,803,82,94,130,142,163,175,814,815,85,97,133,145,169,175,826,827,176,184,210,216,318,324,426,432,534,540,756,176,188,246,252,354,360,462,468,570,576,760,176,192,282,288,390,396,498,504,606,612,764,177,185,219,225,327,333,435,441,543,549,757,177,189,255,261,363,369,471,477,579,585,761,177,193,291,297,399,405,507,513,615,621,765,178,186,228,234,336,342,444,450,552,558,758,178,190,264,270,372,378,480,486,588,594,762,178,194,300,306,408,414,516,522,624,630,766,179,187,237,243,345,351,453,459,561,567,759,179,191,273,279,381,387,489,495,597,603,763,179,195,309,315,417,423,525,531,633,639,767,180,196,214,216,322,324,430,432,538,540,768,180,200,250,252,358,360,466,468,574,576,772,180,204,286,288,394,396,502,504,610,612,776,181,197,223,225,331,333,439,441,547,549,769,181,201,259,261,367,369,475,477,583,585,773,181,205,295,297,403,405,511,513,619,621,777,182,198,232,234,340,342,448,450,556,558,770,182,202,268,270,376,378,484,486,592,594,774,182,206,304,306,412,414,520,522,628,630,778,183,199,241,243,349,351,457,459,565,567,771,183,203,277,279,385,387,493,495,601,603,775,183,207,313,315,421,423,529,531,637,639,779,184,196,208,209,211,212,213,215,216,316,317,319,320,321,323,324,424,425,427,428,429,431,432,532,533,535,536,537,539,540,640,828,829,185,197,217,218,220,221,222,224,225,325,326,328,329,330,332,333,433,434,436,437,438,440,441,541,542,544,545,546,548,549,641,830,831,186,198,226,227,229,230,231,233,234,334,335,337,338,339,341,342,442,443,445,446,447,449,450,550,551,553,554,555,557,558,642,832,833,187,199,235,236,238,239,240,242,243,343,344,346,347,348,350,351,451,452,454,455,456,458,459,559,560,562,563,564,566,567,643,834,835,188,200,244,245,247,248,249,251,252,352,353,355,356,357,359,360,460,461,463,464,465,467,468,568,569,571,572,573,575,576,640,836,837,189,201,253,254,256,257,258,260,261,361,362,364,365,366,368,369,469,470,472,473,474,476,477,577,578,580,581,582,584,585,641,838,839,190,202,262,263,265,266,267,269,270,370,371,373,374,375,377,378,478,479,481,482,483,485,486,586,587,589,590,591,593,594,642,840,841,191,203,271,272,274,275,276,278,279,379,380,382,383,384,386,387,487,488,490,491,492,494,495,595,596,598,599,600,602,603,643,842,843,192,204,280,281,283,284,285,287,288,388,389,391,392,393,395,396,496,497,499,500,501,503,504,604,605,607,608,609,611,612,640,844,845,193,205,289,290,292,293,294,296,297,397,398,400,401,402,404,405,505,506,508,509,510,512,513,613,614,616,617,618,620,621,641,846,847,194,206,298,299,301,302,303,305,306,406,407,409,410,411,413,414,514,515,517,518,519,521,522,622,623,625,626,627,629,630,642,848,849,195,207,307,308,310,311,312,314,315,415,416,418,419,420,422,423,523,524,526,527,528,530,531,631,632,634,635,636,638,639,643,850,851,208,209,216,212,213,216,217,218,225,221,222,225,226,227,234,230,231,234,235,236,243,239,240,243,244,245,252,248,249,252,253,254,261,257,258,261,262,263,270,266,267,270,271,272,279,275,276,279,280,281,288,284,285,288,289,290,297,293,294,297,298,299,306,302,303,306,307,308,315,311,312,315,316,317,324,320,321,324,325,326,333,329,330,333,334,335,342,338,339,342,343,344,351,347,348,351,352,353,360,356,357,360,361,362,369,365,366,369,370,371,378,374,375,378,379,380,387,383,384,387,388,389,396,392,393,396,397,398,405,401,402,405,406,407,414,410,411,414,415,416,423,419,420,423,424,425,432,428,429,432,433,434,441,437,438,441,442,443,450,446,447,450,451,452,459,455,456,459,460,461,468,464,465,468,469,470,477,473,474,477,478,479,486,482,483,486,487,488,495,491,492,495,496,497,504,500,501,504,505,506,513,509,510,513,514,515,522,518,519,522,523,524,531,527,528,531,532,533,540,536,537,540,541,542,549,545,546,549,550,551,558,554,555,558,559,560,567,563,564,567,568,569,576,572,573,576,577,578,585,581,582,585,586,587,594,590,591,594,595,596,603,599,600,603,604,605,612,608,609,612,613,614,621,617,618,621,622,623,630,626,627,630,631,632,639,635,636,639]
J = [1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,6,6,6,6,7,7,7,7,8,8,8,8,9,9,9,9,10,10,10,10,11,11,11,11,12,12,12,12,13,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18,18,18,18,19,19,19,19,19,19,19,19,19,19,19,19,20,20,20,20,20,20,20,20,20,20,20,20,21,21,21,21,21,21,21,21,21,21,21,21,22,22,22,22,23,23,23,23,24,24,24,25,25,25,26,26,26,26,27,27,27,27,28,28,28,29,29,29,30,30,30,30,31,31,31,31,32,32,32,33,33,33,34,34,34,34,35,35,35,35,36,36,36,37,37,37,38,38,38,38,39,39,39,39,40,40,40,41,41,41,42,42,42,42,43,43,43,43,44,44,44,45,45,45,46,46,46,46,47,47,47,47,48,48,48,49,49,49,50,50,50,50,51,51,51,51,52,52,52,53,53,53,54,54,54,54,55,55,55,55,56,56,56,57,57,57,58,58,58,58,59,59,59,59,60,60,60,61,61,61,62,62,62,62,63,63,63,63,64,64,64,65,65,65,66,66,66,66,67,67,67,67,68,68,68,69,69,69,70,70,70,71,71,71,72,72,72,72,73,73,73,73,74,74,74,75,75,75,76,76,76,76,77,77,77,77,78,78,78,79,79,79,80,80,80,80,81,81,81,81,82,82,82,83,83,83,84,84,84,84,85,85,85,85,86,86,86,87,87,87,88,88,88,88,89,89,89,89,90,90,90,91,91,91,92,92,92,92,93,93,93,93,94,94,94,95,95,95,96,96,96,96,97,97,97,97,98,98,98,99,99,99,100,100,100,100,101,101,101,101,102,102,102,103,103,103,104,104,104,104,105,105,105,105,106,106,106,107,107,107,108,108,108,108,109,109,109,109,110,110,110,111,111,111,112,112,112,112,113,113,113,113,114,114,114,115,115,115,116,116,116,116,117,117,117,117,118,118,118,118,118,118,118,118,119,119,119,119,119,119,119,119,120,120,120,120,120,120,120,120,121,121,121,121,121,121,121,121,122,122,122,122,122,122,122,122,123,123,123,123,123,123,123,123,124,124,124,124,124,124,124,124,125,125,125,125,125,125,125,125,126,126,126,126,126,126,126,126,127,127,127,127,127,127,127,127,128,128,128,128,128,128,128,128,129,129,129,129,129,129,129,129,130,130,130,130,130,130,130,130,131,131,131,131,131,131,131,131,132,132,132,132,132,132,132,132,133,133,133,133,133,133,133,133,134,134,134,134,134,134,134,134,135,135,135,135,135,135,135,135,136,136,136,136,136,136,136,136,137,137,137,137,137,137,137,137,138,138,138,138,138,138,138,138,139,139,139,139,139,139,139,139,140,140,140,140,140,140,140,140,141,141,141,141,141,141,141,141,142,142,142,142,142,142,142,142,142,142,142,143,143,143,143,143,143,143,143,143,143,143,144,144,144,144,144,144,144,144,144,144,144,145,145,145,145,145,145,145,145,145,145,145,146,146,146,146,146,146,146,146,146,146,146,147,147,147,147,147,147,147,147,147,147,147,148,148,148,148,148,148,148,148,148,148,148,149,149,149,149,149,149,149,149,149,149,149,150,150,150,150,150,150,150,150,150,150,150,151,151,151,151,151,151,151,151,151,151,151,152,152,152,152,152,152,152,152,152,152,152,153,153,153,153,153,153,153,153,153,153,153,154,154,154,154,154,154,154,154,154,154,154,155,155,155,155,155,155,155,155,155,155,155,156,156,156,156,156,156,156,156,156,156,156,157,157,157,157,157,157,157,157,157,157,157,158,158,158,158,158,158,158,158,158,158,158,159,159,159,159,159,159,159,159,159,159,159,160,160,160,160,160,160,160,160,160,160,160,161,161,161,161,161,161,161,161,161,161,161,162,162,162,162,162,162,162,162,162,162,162,163,163,163,163,163,163,163,163,163,163,163,164,164,164,164,164,164,164,164,164,164,164,165,165,165,165,165,165,165,165,165,165,165,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,166,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,167,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,168,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,169,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,170,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,171,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,173,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,174,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,175,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,176,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,178,178,178,179,179,179,180,180,180,181,181,181,182,182,182,183,183,183,184,184,184,185,185,185,186,186,186,187,187,187,188,188,188,189,189,189,190,190,190,191,191,191,192,192,192,193,193,193,194,194,194,195,195,195,196,196,196,197,197,197,198,198,198,199,199,199,200,200,200,201,201,201,202,202,202,203,203,203,204,204,204,205,205,205,206,206,206,207,207,207,208,208,208,209,209,209,210,210,210,211,211,211,212,212,212,213,213,213,214,214,214,215,215,215,216,216,216,217,217,217,218,218,218,219,219,219,220,220,220,221,221,221,222,222,222,223,223,223,224,224,224,225,225,225,226,226,226,227,227,227,228,228,228,229,229,229,230,230,230,231,231,231,232,232,232,233,233,233,234,234,234,235,235,235,236,236,236,237,237,237,238,238,238,239,239,239,240,240,240,241,241,241,242,242,242,243,243,243,244,244,244,245,245,245,246,246,246,247,247,247,248,248,248,249,249,249,250,250,250,251,251,251,252,252,252,253,253,253,254,254,254,255,255,255,256,256,256,257,257,257,258,258,258,259,259,259,260,260,260,261,261,261,262,262,262,263,263,263,264,264,264,265,265,265,266,266,266,267,267,267,268,268,268,269,269,269,270,270,270,271,271,271,272,272,272,273,273,273]
V = [-300.0,-1.0,-1.0,-1.0,-240.0,-1.0,-1.0,-1.0,-210.0,-1.0,-1.0,-1.0,-100.0,-1.0,-1.0,-1.0,-150.0,-1.0,-1.0,-1.0,-120.0,-1.0,-1.0,-1.0,-300.0,-1.0,-1.0,-1.0,-240.0,-1.0,-1.0,-1.0,-210.0,-1.0,-1.0,-1.0,-100.0,-1.0,-1.0,-1.0,-150.0,-1.0,-1.0,-1.0,-120.0,-1.0,-1.0,-1.0,1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,-1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,-1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,-1.0,1.0,1.0,1.0,-1.0,-52.5,-52.5,-82.0,-82.0,6.0,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,4.0,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,3.5,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,6.0,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,4.0,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,3.5,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,5.5,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,4.5,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,4.5,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,5.5,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,4.5,-1.0,-1.0,1.0,-52.5,-52.5,-82.0,-82.0,4.5,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,5.0,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,4.5,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,5.0,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,4.5,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,4.0,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,4.0,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,4.0,-1.0,-1.0,1.0,-51.5,-51.5,-82.5,-82.5,4.0,-1.0,-1.0,1.0,-53.5,-53.5,-83.5,-83.5,2.5,-1.0,-1.0,1.0,-53.5,-53.5,-83.5,-83.5,2.5,-1.0,-1.0,1.0,-53.5,-53.5,-83.5,-83.5,3.0,-1.0,-1.0,1.0,-53.5,-53.5,-83.5,-83.5,3.0,-1.0,-1.0,1.0,1.0,1.0,-2.0,-35.0,-2.0,-35.0,-2.0,-25.0,-2.0,-25.0,-1.0,1.0,1.0,-2.0,-105.0,-2.0,-105.0,-2.0,-95.0,-2.0,-95.0,-1.0,1.0,1.0,-2.0,-65.0,-2.0,-65.0,-2.0,-55.0,-2.0,-55.0,-1.0,1.0,1.0,-2.0,-37.0,-2.0,-37.0,-2.0,-23.0,-2.0,-23.0,-1.0,1.0,1.0,-2.0,-107.0,-2.0,-107.0,-2.0,-93.0,-2.0,-93.0,-1.0,1.0,1.0,-2.0,-67.0,-2.0,-67.0,-2.0,-53.0,-2.0,-53.0,-1.0,1.0,1.0,-2.0,-33.0,-2.0,-33.0,-2.0,-27.0,-2.0,-27.0,-1.0,1.0,1.0,-2.0,-103.0,-2.0,-103.0,-2.0,-97.0,-2.0,-97.0,-1.0,1.0,1.0,-2.0,-63.0,-2.0,-63.0,-2.0,-57.0,-2.0,-57.0,-1.0,1.0,1.0,-2.0,-32.0,-2.0,-32.0,-2.0,-28.0,-2.0,-28.0,-1.0,1.0,1.0,-2.0,-102.0,-2.0,-102.0,-2.0,-98.0,-2.0,-98.0,-1.0,1.0,1.0,-2.0,-62.0,-2.0,-62.0,-2.0,-58.0,-2.0,-58.0,-1.0,1.0,1.0,-2.0,-14.0,-2.0,-26.0,-2.0,-14.0,-2.0,-26.0,-1.0,1.0,1.0,-2.0,-154.0,-2.0,-166.0,-2.0,-154.0,-2.0,-166.0,-1.0,1.0,1.0,-2.0,-94.0,-2.0,-106.0,-2.0,-94.0,-2.0,-106.0,-1.0,1.0,1.0,-2.0,-15.0,-2.0,-25.0,-2.0,-15.0,-2.0,-25.0,-1.0,1.0,1.0,-2.0,-155.0,-2.0,-165.0,-2.0,-155.0,-2.0,-165.0,-1.0,1.0,1.0,-2.0,-95.0,-2.0,-105.0,-2.0,-95.0,-2.0,-105.0,-1.0,1.0,1.0,-2.0,-17.0,-2.0,-23.0,-2.0,-17.0,-2.0,-23.0,-1.0,1.0,1.0,-2.0,-157.0,-2.0,-163.0,-2.0,-157.0,-2.0,-163.0,-1.0,1.0,1.0,-2.0,-97.0,-2.0,-103.0,-2.0,-97.0,-2.0,-103.0,-1.0,1.0,1.0,-2.0,-17.0,-2.0,-23.0,-2.0,-17.0,-2.0,-23.0,-1.0,1.0,1.0,-2.0,-157.0,-2.0,-163.0,-2.0,-157.0,-2.0,-163.0,-1.0,1.0,1.0,-2.0,-97.0,-2.0,-103.0,-2.0,-97.0,-2.0,-103.0,-1.0,-18.5,-13.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,319.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,439.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,169.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,289.25,-1.0,-1.0,1.0,-17.5,-13.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,362.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,462.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,152.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,252.5,-1.0,-1.0,1.0,-19.5,-14.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,308.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,368.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,218.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,278.5,-1.0,-1.0,1.0,-20.0,-14.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,292.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,352.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,232.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,292.25,-1.0,-1.0,1.0,-52.5,-82.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8660.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,9620.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8160.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,9120.25,-1.0,-1.0,1.0,-51.5,-82.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8843.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,9643.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8143.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8943.5,-1.0,-1.0,1.0,-53.5,-83.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8789.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,9269.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8489.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8969.5,-1.0,-1.0,1.0,-54.0,-83.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8738.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,9218.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,8538.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,9018.25,-1.0,-1.0,1.0,-31.5,-51.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3249.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3849.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,2949.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3549.25,-1.0,-1.0,1.0,-30.5,-51.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3362.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3862.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,2942.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3442.5,-1.0,-1.0,1.0,-32.5,-52.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3328.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3628.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3148.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3448.5,-1.0,-1.0,1.0,-33.0,-52.5,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3297.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3597.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3177.25,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,3477.25,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0,-1.0,1.0,1.0]


A = sparse(I,J,V,length(b),length(c))

for solver in (ECOSSolver(),ConicIPSolver(verbose=true),MosekSolver())
    m = MathProgBase.ConicModel(solver)
    MathProgBase.loadproblem!(m, c, A, b, con_cones, var_cones)
    MathProgBase.optimize!(m)
    @show MathProgBase.status(m)
    @show MathProgBase.getobjval(m)
end