/* variables: r_idsnode_idfragment */

/* function */

max: 103457.1*r_1_1+194052.016*r_1_2+81033.102*r_1_3+90558.09*r_1_4+100850.16*r_1_5+149254.329*r_1_6+144043.276*r_1_7+116664.492*r_1_8+172343.566*r_1_9+90412.032*r_1_10+151539.462*r_1_11

+57779.7*r_1_13+83390.848*r_1_14+88662.429*r_1_17+104542.053*r_1_18+183097.534*r_1_19+249933.638*r_1_21+182789.268*r_1_22+93616.629*r_1_23+68465.65*r_1_24+211095.766*r_1_26+55714.836*r_1_27

+150483.305*r_1_28+64331.575*r_1_29+125904.65*r_1_30+126162.7*r_1_31+142725.144*r_1_32+224883.924*r_1_33+196758.549*r_1_34+63888.576*r_1_35+155363.6*r_1_36+112658.424*r_1_37+95050.242*r_1_39

+192225.69*r_1_40+211289.442*r_1_42+125869.716*r_1_43+179662.391*r_1_45+141360.8*r_1_46+58507.836*r_1_48+93327.912*r_1_49+214811.606*r_1_50+113768.54*r_2_1+202694.622*r_2_2+127087.62*r_2_5

+167209.128*r_2_6+145309.866*r_2_7+147193.676*r_2_8+166955.368*r_2_11+96419.008*r_2_12+60919.353*r_2_13+94689.065*r_2_14+73702.655*r_2_15+192495.336*r_2_16+117137.454*r_2_18+232931.132*r_2_19

+183514.896*r_2_20+237713.636*r_2_21+107651.207*r_2_23+62430.544*r_2_24+214711.425*r_2_25+216263.086*r_2_26+74317.008*r_2_27+179909.52*r_2_28+65849.773*r_2_29+172539.925*r_2_30+106071.725*r_2_31

+148207.56*r_2_32+239010.525*r_2_34+68380.452*r_2_35+151326.056*r_2_36+140334*r_2_37+62350.23*r_2_38+171100.59*r_2_40+201282.666*r_2_42+118388.067*r_2_43+59532.42*r_2_44+191480.18*r_2_45

+128973.175*r_2_46+184328.046*r_2_47+58431.66*r_2_48+97960.518*r_2_49+226156.278*r_2_50+216357.028*r_3_2+93530.106*r_3_3+115824.76*r_3_5+146221.306*r_3_6+118680.302*r_3_7+208840.248*r_3_9

+98462.275*r_3_10+169007.88*r_3_11+93027.696*r_3_12+66201.476*r_3_13+107675.314*r_3_14+71053.268*r_3_15+184585.83*r_3_16+91362.896*r_3_17+122651.823*r_3_18+206794.036*r_3_19+200018.556*r_3_20

+161925.307*r_3_22+101460.266*r_3_23+57511.883*r_3_24+181361.594*r_3_25+184041.558*r_3_26+67394.52*r_3_27+68665.498*r_3_29+147789.2*r_3_30+131511.525*r_3_31+143495.016*r_3_32+238772.544*r_3_33

+250299.777*r_3_34+58417.896*r_3_35+135561.356*r_3_36+137996.232*r_3_37+53162.95*r_3_38+99081.549*r_3_39+184924.14*r_3_40+84530.341*r_3_41+243489.168*r_3_42+117686.394*r_3_43+52242.11*r_3_44

+169217.995*r_3_45+168598.35*r_3_46+59097.672*r_3_48+177764.798*r_3_50+101613.42*r_4_1+204604.844*r_4_2+100998.252*r_4_3+86473.845*r_4_4+99227.6*r_4_5+147454.763*r_4_6+142255.152*r_4_7

+150379.88*r_4_8+171145.654*r_4_9+117736.084*r_4_10+165231.058*r_4_11+77550.864*r_4_12+62080.172*r_4_13+97276.363*r_4_14+69023.617*r_4_15+93402.947*r_4_17+106312.626*r_4_18+175288.092*r_4_19

+193713.588*r_4_20+112926.557*r_4_23+61828.547*r_4_24+167498.022*r_4_25+167991.45*r_4_26+161013.685*r_4_28+67648.515*r_4_29+168008.025*r_4_30+140899.8*r_4_32+201026.308*r_4_33+211718.247*r_4_34

+66442.128*r_4_35+159502.812*r_4_36+106554.042*r_4_39+152520.99*r_4_40+232067.121*r_4_42+122979.99*r_4_43+166534.294*r_4_45+142943.945*r_4_47+67722.864*r_4_48+99028.17*r_4_49+196134.378*r_4_50

+110880.18*r_5_1+192280.57*r_5_2+110979*r_5_3+78229.35*r_5_4+123306*r_5_5+169303.972*r_5_6+145379.416*r_5_8+183124.09*r_5_9+113230.5*r_5_10+199397.454*r_5_11+82880.928*r_5_12

+62787.032*r_5_13+216911.805*r_5_16+89472.139*r_5_17+127172.556*r_5_18+199387.764*r_5_20+220137.876*r_5_21+158770.251*r_5_22+94712.758*r_5_23+154382.449*r_5_25+183835.892*r_5_26+59416.332*r_5_27

+184983.54*r_5_28+154769.2*r_5_30+120495.55*r_5_31+139563.312*r_5_32+196659.082*r_5_33+193611.834*r_5_34+65769.564*r_5_35+154728.336*r_5_36+144426.648*r_5_37+52385.54*r_5_38+169833.24*r_5_40

+98473.52*r_5_41+197704.572*r_5_42+136113.936*r_5_43+199569.351*r_5_45+177970.38*r_5_47+66895.08*r_5_48+99165.87*r_5_49+201103.372*r_5_50+118343.66*r_6_1+205271.82*r_6_2+92009.124*r_6_3

+88401.03*r_6_4+95263.48*r_6_5+134759.607*r_6_6+140332.426*r_6_7+144467.652*r_6_8+186493.626*r_6_9+100079.536*r_6_10+166525.03*r_6_11+50834.784*r_6_13+112153.641*r_6_14+74470.929*r_6_15

+173724.507*r_6_16+93352.695*r_6_17+103456.29*r_6_18+212019.805*r_6_19+181704.204*r_6_20+98541.999*r_6_23+62142.267*r_6_24+167093.162*r_6_25+184734.305*r_6_28+71073.926*r_6_29+142267.075*r_6_30

+124544.125*r_6_31+206672.576*r_6_33+197009.982*r_6_34+71146.356*r_6_35+144786.852*r_6_36+119228.214*r_6_39+157168.89*r_6_40+198298.191*r_6_42+109002.075*r_6_43+54460.65*r_6_44+151090.032*r_6_45

+66283.788*r_6_48+104535.162*r_6_49+100375.52*r_7_1+232358.676*r_7_2+100724.22*r_7_3+87986.52*r_7_4+107153.08*r_7_5+160018.636*r_7_6+122895.584*r_7_8+110677.204*r_7_10+194444.572*r_7_11

+90915.808*r_7_12+54409.894*r_7_13+104445.45*r_7_14+83336.227*r_7_15+189567.411*r_7_16+109052.059*r_7_17+121426.368*r_7_18+214371.969*r_7_19+184221.972*r_7_20+148922.512*r_7_22+65355.862*r_7_24

+145143.24*r_7_25+147744.28*r_7_26+66152.28*r_7_27+59981.57*r_7_29+130156.175*r_7_31+234162.878*r_7_33+239429.58*r_7_34+69323.724*r_7_35+177383.22*r_7_36+121618.68*r_7_37+61206.53*r_7_38

+103312.672*r_7_41+231687.144*r_7_42+113223.138*r_7_43+52959.53*r_7_44+163911.291*r_7_45+155124.155*r_7_47+69373.56*r_7_48+111044.178*r_7_49+214463.45*r_7_50+98558.34*r_8_1+175960.672*r_8_2

+90549.234*r_8_3+88446.86*r_8_5+152567.144*r_8_6+138586.864*r_8_7+174290.704*r_8_8+101549.68*r_8_10+183364.346*r_8_11+86070.32*r_8_12+54788.151*r_8_13+78963.912*r_8_14+74616.568*r_8_15

+98973.303*r_8_17+126914.151*r_8_18+191148.586*r_8_19+196038.648*r_8_20+211521.984*r_8_21+147476.982*r_8_22+98714.158*r_8_23+56426.755*r_8_24+150214.414*r_8_26+72469.428*r_8_27+195382.25*r_8_28

+68043.382*r_8_29+133639.2*r_8_31+230925.924*r_8_33+206950.263*r_8_34+60067.944*r_8_35+151160.632*r_8_36+55272.44*r_8_38+137813.109*r_8_39+169157.34*r_8_40+89800.885*r_8_41+204819.966*r_8_42

+109371.234*r_8_43+50545.5*r_8_44+160760.978*r_8_45+146988.15*r_8_46+169891.222*r_8_47+91587.618*r_8_49+191333.154*r_8_50+95053.8*r_9_1+158802.76*r_9_2+87211.98*r_9_3+102839.72*r_9_5

+143506.761*r_9_6+126545.484*r_9_7+123079.124*r_9_8+172046.33*r_9_9+107115.369*r_9_10+150011.128*r_9_11+89232.336*r_9_12+52056.268*r_9_13+88465.433*r_9_14+193282.254*r_9_16+83833.953*r_9_17

+119119.392*r_9_18+207804.099*r_9_19+194434.02*r_9_20+231722.024*r_9_21+140099.447*r_9_22+91181.855*r_9_23+55842.82*r_9_24+150633.056*r_9_26+59707.944*r_9_27+178730.265*r_9_28+62995.339*r_9_29

+124065.725*r_9_30+101012.85*r_9_31+145370.256*r_9_32+169631.658*r_9_33+199172.415*r_9_34+147778.708*r_9_36+50099.31*r_9_38+196499.082*r_9_42+123054.12*r_9_43+49297.13*r_9_44+170585.963*r_9_45

+143244.3*r_9_46+61214.376*r_9_48+217894.09*r_9_50+87023.18*r_10_1+189777.396*r_10_2+88238.574*r_10_3+85420.89*r_10_4+93729.84*r_10_5+132743.26*r_10_7+135537.332*r_10_8+181476.068*r_10_9

+95001.672*r_10_10+82721.392*r_10_12+54687.886*r_10_13+72542.553*r_10_14+151973.118*r_10_16+106832.777*r_10_17+158677.386*r_10_19+168006.708*r_10_20+199040.732*r_10_21+138818.155*r_10_22+92879.904*r_10_23

+58186.887*r_10_24+183512.56*r_10_28+59781.073*r_10_29+129046.025*r_10_31+116158.632*r_10_32+196328.634*r_10_33+50320.572*r_10_35+138510.484*r_10_36+53489.64*r_10_38+151699.29*r_10_40+88172.88*r_10_41

+204936.81*r_10_42+107426.508*r_10_43+50609.88*r_10_44+138188.7*r_10_45+113310.15*r_10_46+64978.14*r_10_48+76034.304*r_10_49+217519.068*r_10_50+94861.26*r_11_1+206723.724*r_11_2+85041.72*r_11_3

+81709.23*r_11_4+144924.312*r_11_7+153622.252*r_11_8+91630.008*r_11_10+189930.732*r_11_11+91203.728*r_11_12+58616.327*r_11_13+89171.477*r_11_14+151086.606*r_11_16+86959.726*r_11_17+110426.505*r_11_18

+199602.494*r_11_19+189203.76*r_11_20+201957.65*r_11_21+152934.067*r_11_22+112264.768*r_11_23+57773.848*r_11_24+157289.04*r_11_25+65946.432*r_11_27+175101.185*r_11_28+76487.895*r_11_29+137353.025*r_11_30

+136113.825*r_11_31+159374.016*r_11_32+219692.326*r_11_33+184757.898*r_11_34+64010.016*r_11_35+186229.596*r_11_36+125808.12*r_11_37+102475.296*r_11_39+204174.867*r_11_42+57355.05*r_11_44+176739.432*r_11_45

+131013.925*r_11_46+72942.324*r_11_48+109064.88*r_11_49+213409.558*r_11_50+103481.14*r_12_1+205083.416*r_12_2+78055.47*r_12_3+84657.765*r_12_4+110545.58*r_12_5+144210.736*r_12_6+138149.882*r_12_7

+119508.424*r_12_8+167425.416*r_12_9+91609.184*r_12_10+181829.552*r_12_11+102705.177*r_12_14+71370.728*r_12_15+170853.309*r_12_16+102781.983*r_12_17+230801.042*r_12_19+190469.232*r_12_20+129109.234*r_12_22

+106089.369*r_12_23+65987.57*r_12_24+167914.29*r_12_25+59115.504*r_12_27+188609.435*r_12_28+52675.238*r_12_29+153101*r_12_30+133592.7*r_12_31+121628.664*r_12_32+197604.56*r_12_33+197392.572*r_12_34

+68441.052*r_12_35+156826.18*r_12_36+120157.656*r_12_37+50748.86*r_12_38+171231.57*r_12_40+103161.303*r_12_43+50330.13*r_12_44+182368.877*r_12_47+117798.2*r_13_1+218577.634*r_13_2+107389.35*r_13_3

+82533.195*r_13_4+112019.94*r_13_5+151370.372*r_13_6+142899.9*r_13_7+115751.524*r_13_8+203899.904*r_13_11+91252.624*r_13_12+75598.167*r_13_14+66964.196*r_13_15+99664.897*r_13_17+199730.34*r_13_20

+192620.974*r_13_21+170287.371*r_13_22+105952.284*r_13_23+65324.765*r_13_24+140276.612*r_13_25+172243.388*r_13_26+63695.868*r_13_27+194940.585*r_13_28+61447.826*r_13_29+135814.95*r_13_30+142037.875*r_13_31

+125773.248*r_13_32+206780.838*r_13_33+221826.969*r_13_34+61955.04*r_13_35+116555.856*r_13_37+58891.93*r_13_38+104451.333*r_13_39+163941.15*r_13_40+99548.651*r_13_41+196139.541*r_13_42+113886.507*r_13_43

+52981.3*r_13_44+163809.053*r_13_45+145701.625*r_13_46+169229.465*r_13_47+68348.508*r_13_48+92004.12*r_13_49+221291.67*r_13_50+114937.44*r_14_1+211803.07*r_14_2+87882.318*r_14_3+101006.94*r_14_4

+93707.44*r_14_5+160020.231*r_14_6+166766.768*r_14_8+166450.868*r_14_9+100616.419*r_14_10+186000.604*r_14_11+87349.696*r_14_12+49492.08*r_14_13+100348.042*r_14_14+96092.704*r_14_17+111977.061*r_14_18

+197549.623*r_14_19+212025.708*r_14_20+196835.402*r_14_21+163894.737*r_14_22+101403.722*r_14_23+62988.178*r_14_24+142859.594*r_14_25+62693.316*r_14_27+202816.04*r_14_28+64187.024*r_14_29+137958.175*r_14_30

+115660.6*r_14_31+213931.068*r_14_34+52818.936*r_14_35+145116.048*r_14_36+148130.064*r_14_37+128089.143*r_14_39+158869.35*r_14_40+97415.967*r_14_41+241242.066*r_14_42+122653.797*r_14_43+57169.78*r_14_44

+154381.175*r_14_46+65688.672*r_14_48+95353.74*r_14_49+218849.03*r_14_50+90540.56*r_15_1+211175.348*r_15_2+101970.864*r_15_3+94534.725*r_15_4+122268.64*r_15_5+176777.417*r_15_6+146540.212*r_15_7

+145443.676*r_15_8+111119.638*r_15_10+180670.73*r_15_11+94152.992*r_15_12+67770.428*r_15_13+88422.1*r_15_14+74495.889*r_15_15+191476.098*r_15_16+95660.683*r_15_17+137505.396*r_15_18+165549.168*r_15_20

+259052.992*r_15_21+173361.951*r_15_22+63717.247*r_15_24+178077.268*r_15_25+190673.598*r_15_26+58396.296*r_15_27+192529.085*r_15_28+63678.791*r_15_29+132862.725*r_15_30+148818.875*r_15_31+129996.648*r_15_32

+220135.254*r_15_33+203242.494*r_15_34+65659.32*r_15_35+197617.028*r_15_36+141492.33*r_15_39+169360.59*r_15_40+92151.288*r_15_41+190046.922*r_15_42+118979.28*r_15_43+182832.234*r_15_45+123814.075*r_15_46

+177786.55*r_15_47+61534.476*r_15_48+213491.106*r_15_50+98478.5*r_16_1+98752.86*r_16_3+91735.305*r_16_4+93972.36*r_16_5+108580.553*r_16_6+139334.65*r_16_7+135374.932*r_16_8+127230.992*r_16_10

+165723.922*r_16_11+80267.616*r_16_12+68160.378*r_16_13+77152.348*r_16_15+178967.613*r_16_16+88243.94*r_16_17+128195.067*r_16_18+205223.719*r_16_19+193420.908*r_16_20+198145.072*r_16_21+88049.895*r_16_23

+60245.02*r_16_24+165361.533*r_16_25+146042.444*r_16_26+65227.656*r_16_27+63315.989*r_16_29+128900.325*r_16_30+122990.9*r_16_31+130777.8*r_16_32+203451.456*r_16_34+69960.516*r_16_35+144261.628*r_16_36

+119515.344*r_16_37+62050.82*r_16_38+122006.682*r_16_39+160553.31*r_16_40+75747.614*r_16_41+197749.266*r_16_42+101499.783*r_16_43+179890.892*r_16_45+127971.85*r_16_46+157354.109*r_16_47+63147.552*r_16_48

+99284.13*r_16_49+184458.08*r_16_50+119857.2*r_17_1+182147.984*r_17_2+79631.676*r_17_3+106842.285*r_17_4+98821.46*r_17_5+158717.696*r_17_6+138533.98*r_17_7+153639.108*r_17_8+198055.924*r_17_9

+113563.095*r_17_10+175373.156*r_17_11+68851.92*r_17_12+63912.596*r_17_13+89578.899*r_17_14+68161.691*r_17_15+160695.381*r_17_16+91196.245*r_17_17+117848.829*r_17_18+217585.456*r_17_19+205645.068*r_17_20

+155384.245*r_17_22+118709.188*r_17_23+50613.607*r_17_24+163890.614*r_17_25+58609.26*r_17_27+165863.11*r_17_28+60335.979*r_17_29+119841.375*r_17_30+219617.732*r_17_33+229057.959*r_17_34+63370.464*r_17_35

+144840.472*r_17_36+127417.392*r_17_37+120872.493*r_17_39+102639.37*r_17_41+107351.139*r_17_43+63858.88*r_17_44+139480.067*r_17_45+130907.325*r_17_46+155705.405*r_17_47+57575.808*r_17_48+187280.796*r_17_50

+114046.98*r_18_1+186229.412*r_18_2+82389.672*r_18_3+87863.835*r_18_4+141561.76*r_18_6+149974.656*r_18_7+152177.676*r_18_8+165815.774*r_18_9+105454.161*r_18_10+188940.924*r_18_11+53431.862*r_18_13

+93408.387*r_18_14+70000.411*r_18_15+210218.91*r_18_16+97566.672*r_18_17+105940.737*r_18_18+197011.717*r_18_19+173654.676*r_18_20+205975.162*r_18_21+144527.084*r_18_22+100776.399*r_18_23+59845.742*r_18_24

+68796.912*r_18_27+197874.565*r_18_28+58042.358*r_18_29+119677.25*r_18_31+122900.544*r_18_32+216781.716*r_18_33+230520.927*r_18_34+71241.036*r_18_35+173805.156*r_18_36+121621.944*r_18_37+54676.94*r_18_38

+113913.408*r_18_39+153337.68*r_18_40+83345.747*r_18_41+240175.338*r_18_42+106478.211*r_18_43+206783.485*r_18_45+144506.25*r_18_46+150053.578*r_18_47+59628.972*r_18_48+78911.226*r_18_49+239126.4*r_18_50

+94307.56*r_19_1+212275.942*r_19_2+95918.832*r_19_3+126347.56*r_19_5+183536.824*r_19_6+156023.112*r_19_8+217741.14*r_19_9+108102.666*r_19_10+173047.046*r_19_11+89894.384*r_19_12+60721.441*r_19_13

+75212.527*r_19_15+89192.676*r_19_17+124561.269*r_19_18+197085.865*r_19_19+196925.868*r_19_20+218003.188*r_19_21+108094.572*r_19_23+57495.13*r_19_24+165564.118*r_19_25+174776.49*r_19_26+61207.584*r_19_27

+203603.715*r_19_28+62916.172*r_19_29+133127.7*r_19_30+133456.675*r_19_31+127123.752*r_19_32+166960.182*r_19_33+241101.978*r_19_34+63512.592*r_19_35+178286.528*r_19_36+152462.664*r_19_37+60434.51*r_19_38

+145594.86*r_19_40+85476.204*r_19_41+56851.54*r_19_44+161268.107*r_19_45+60248.088*r_19_48+94231.764*r_19_49+212843.7*r_19_50+109860.92*r_20_1+195797.584*r_20_2+81524.178*r_20_3+78677.055*r_20_4

+101996.36*r_20_5+164934.281*r_20_6+123733.61*r_20_7+145585.58*r_20_8+84028.393*r_20_10+161132.494*r_20_11+47770.624*r_20_13+83185.029*r_20_14+59920.016*r_20_15+147813.435*r_20_16+95252.547*r_20_17

+119303.52*r_20_18+187600.878*r_20_19+203517.864*r_20_20+211216.426*r_20_21+150692.457*r_20_22+90212.874*r_20_23+66866.888*r_20_24+152421.823*r_20_25+189308.668*r_20_26+59206.572*r_20_27+197203.02*r_20_28

+132445.85*r_20_30+135938.35*r_20_31+158312.218*r_20_33+213840.822*r_20_34+144844.728*r_20_36+120183.312*r_20_37+53475.58*r_20_38+113069.439*r_20_39+151220.55*r_20_40+178042.176*r_20_42+55045.76*r_20_44

+161410.521*r_20_47+65614.236*r_20_48+94389.822*r_20_49;

/* restrictions */

20*r_1_1+38*r_1_2+18*r_1_3+15*r_1_4+20*r_1_5+29*r_1_6+26*r_1_7+28*r_1_8+38*r_1_9+19*r_1_10+34*r_1_11+11*r_1_13+17*r_1_14+17*r_1_17+21*r_1_18+37*r_1_19+38*r_1_21+31*r_1_22+19*r_1_23+11*r_1_24+34*r_1_26+12*r_1_27+35*r_1_28+11*r_1_29+25*r_1_30+25*r_1_31+24*r_1_32+38*r_1_33+39*r_1_34+12*r_1_35+28*r_1_36+24*r_1_37+21*r_1_39+30*r_1_40+39*r_1_42+21*r_1_43+31*r_1_45+25*r_1_46+12*r_1_48+18*r_1_49+38*r_1_50<=197;

20*r_2_1+38*r_2_2+20*r_2_5+29*r_2_6+26*r_2_7+28*r_2_8+34*r_2_11+16*r_2_12+11*r_2_13+17*r_2_14+13*r_2_15+33*r_2_16+21*r_2_18+37*r_2_19+36*r_2_20+38*r_2_21+19*r_2_23+11*r_2_24+31*r_2_25+34*r_2_26+12*r_2_27+35*r_2_28+11*r_2_29+25*r_2_30+25*r_2_31+24*r_2_32+39*r_2_34+12*r_2_35+28*r_2_36+24*r_2_37+10*r_2_38+30*r_2_40+39*r_2_42+21*r_2_43+10*r_2_44+31*r_2_45+25*r_2_46+31*r_2_47+12*r_2_48+18*r_2_49+38*r_2_50<=214;

38*r_3_2+18*r_3_3+20*r_3_5+29*r_3_6+26*r_3_7+38*r_3_9+19*r_3_10+34*r_3_11+16*r_3_12+11*r_3_13+17*r_3_14+13*r_3_15+33*r_3_16+17*r_3_17+21*r_3_18+37*r_3_19+36*r_3_20+31*r_3_22+19*r_3_23+11*r_3_24+31*r_3_25+34*r_3_26+12*r_3_27+11*r_3_29+25*r_3_30+25*r_3_31+24*r_3_32+38*r_3_33+39*r_3_34+12*r_3_35+28*r_3_36+24*r_3_37+10*r_3_38+21*r_3_39+30*r_3_40+17*r_3_41+39*r_3_42+21*r_3_43+10*r_3_44+31*r_3_45+25*r_3_46+12*r_3_48+38*r_3_50<=185;

20*r_4_1+38*r_4_2+18*r_4_3+15*r_4_4+20*r_4_5+29*r_4_6+26*r_4_7+28*r_4_8+38*r_4_9+19*r_4_10+34*r_4_11+16*r_4_12+11*r_4_13+17*r_4_14+13*r_4_15+17*r_4_17+21*r_4_18+37*r_4_19+36*r_4_20+19*r_4_23+11*r_4_24+31*r_4_25+34*r_4_26+35*r_4_28+11*r_4_29+25*r_4_30+24*r_4_32+38*r_4_33+39*r_4_34+12*r_4_35+28*r_4_36+21*r_4_39+30*r_4_40+39*r_4_42+21*r_4_43+31*r_4_45+31*r_4_47+12*r_4_48+18*r_4_49+38*r_4_50<=225;

20*r_5_1+38*r_5_2+18*r_5_3+15*r_5_4+20*r_5_5+29*r_5_6+28*r_5_8+38*r_5_9+19*r_5_10+34*r_5_11+16*r_5_12+11*r_5_13+33*r_5_16+17*r_5_17+21*r_5_18+36*r_5_20+38*r_5_21+31*r_5_22+19*r_5_23+31*r_5_25+34*r_5_26+12*r_5_27+35*r_5_28+25*r_5_30+25*r_5_31+24*r_5_32+38*r_5_33+39*r_5_34+12*r_5_35+28*r_5_36+24*r_5_37+10*r_5_38+30*r_5_40+17*r_5_41+39*r_5_42+21*r_5_43+31*r_5_45+31*r_5_47+12*r_5_48+18*r_5_49+38*r_5_50<=171;

20*r_6_1+38*r_6_2+18*r_6_3+15*r_6_4+20*r_6_5+29*r_6_6+26*r_6_7+28*r_6_8+38*r_6_9+19*r_6_10+34*r_6_11+11*r_6_13+17*r_6_14+13*r_6_15+33*r_6_16+17*r_6_17+21*r_6_18+37*r_6_19+36*r_6_20+19*r_6_23+11*r_6_24+31*r_6_25+35*r_6_28+11*r_6_29+25*r_6_30+25*r_6_31+38*r_6_33+39*r_6_34+12*r_6_35+28*r_6_36+21*r_6_39+30*r_6_40+39*r_6_42+21*r_6_43+10*r_6_44+31*r_6_45+12*r_6_48+18*r_6_49<=300;

20*r_7_1+38*r_7_2+18*r_7_3+15*r_7_4+20*r_7_5+29*r_7_6+28*r_7_8+19*r_7_10+34*r_7_11+16*r_7_12+11*r_7_13+17*r_7_14+13*r_7_15+33*r_7_16+17*r_7_17+21*r_7_18+37*r_7_19+36*r_7_20+31*r_7_22+11*r_7_24+31*r_7_25+34*r_7_26+12*r_7_27+11*r_7_29+25*r_7_31+38*r_7_33+39*r_7_34+12*r_7_35+28*r_7_36+24*r_7_37+10*r_7_38+17*r_7_41+39*r_7_42+21*r_7_43+10*r_7_44+31*r_7_45+31*r_7_47+12*r_7_48+18*r_7_49+38*r_7_50<=281;

20*r_8_1+38*r_8_2+18*r_8_3+20*r_8_5+29*r_8_6+26*r_8_7+28*r_8_8+19*r_8_10+34*r_8_11+16*r_8_12+11*r_8_13+17*r_8_14+13*r_8_15+17*r_8_17+21*r_8_18+37*r_8_19+36*r_8_20+38*r_8_21+31*r_8_22+19*r_8_23+11*r_8_24+34*r_8_26+12*r_8_27+35*r_8_28+11*r_8_29+25*r_8_31+38*r_8_33+39*r_8_34+12*r_8_35+28*r_8_36+10*r_8_38+21*r_8_39+30*r_8_40+17*r_8_41+39*r_8_42+21*r_8_43+10*r_8_44+31*r_8_45+25*r_8_46+31*r_8_47+18*r_8_49+38*r_8_50<=202;

20*r_9_1+38*r_9_2+18*r_9_3+20*r_9_5+29*r_9_6+26*r_9_7+28*r_9_8+38*r_9_9+19*r_9_10+34*r_9_11+16*r_9_12+11*r_9_13+17*r_9_14+33*r_9_16+17*r_9_17+21*r_9_18+37*r_9_19+36*r_9_20+38*r_9_21+31*r_9_22+19*r_9_23+11*r_9_24+34*r_9_26+12*r_9_27+35*r_9_28+11*r_9_29+25*r_9_30+25*r_9_31+24*r_9_32+38*r_9_33+39*r_9_34+28*r_9_36+10*r_9_38+39*r_9_42+21*r_9_43+10*r_9_44+31*r_9_45+25*r_9_46+12*r_9_48+38*r_9_50<=212;

20*r_10_1+38*r_10_2+18*r_10_3+15*r_10_4+20*r_10_5+26*r_10_7+28*r_10_8+38*r_10_9+19*r_10_10+16*r_10_12+11*r_10_13+17*r_10_14+33*r_10_16+17*r_10_17+37*r_10_19+36*r_10_20+38*r_10_21+31*r_10_22+19*r_10_23+11*r_10_24+35*r_10_28+11*r_10_29+25*r_10_31+24*r_10_32+38*r_10_33+12*r_10_35+28*r_10_36+10*r_10_38+30*r_10_40+17*r_10_41+39*r_10_42+21*r_10_43+10*r_10_44+31*r_10_45+25*r_10_46+12*r_10_48+18*r_10_49+38*r_10_50<=314;

20*r_11_1+38*r_11_2+18*r_11_3+15*r_11_4+26*r_11_7+28*r_11_8+19*r_11_10+34*r_11_11+16*r_11_12+11*r_11_13+17*r_11_14+33*r_11_16+17*r_11_17+21*r_11_18+37*r_11_19+36*r_11_20+38*r_11_21+31*r_11_22+19*r_11_23+11*r_11_24+31*r_11_25+12*r_11_27+35*r_11_28+11*r_11_29+25*r_11_30+25*r_11_31+24*r_11_32+38*r_11_33+39*r_11_34+12*r_11_35+28*r_11_36+24*r_11_37+21*r_11_39+39*r_11_42+10*r_11_44+31*r_11_45+25*r_11_46+12*r_11_48+18*r_11_49+38*r_11_50<=243;

20*r_12_1+38*r_12_2+18*r_12_3+15*r_12_4+20*r_12_5+29*r_12_6+26*r_12_7+28*r_12_8+38*r_12_9+19*r_12_10+34*r_12_11+17*r_12_14+13*r_12_15+33*r_12_16+17*r_12_17+37*r_12_19+36*r_12_20+31*r_12_22+19*r_12_23+11*r_12_24+31*r_12_25+12*r_12_27+35*r_12_28+11*r_12_29+25*r_12_30+25*r_12_31+24*r_12_32+38*r_12_33+39*r_12_34+12*r_12_35+28*r_12_36+24*r_12_37+10*r_12_38+30*r_12_40+21*r_12_43+10*r_12_44+31*r_12_47<=321;

20*r_13_1+38*r_13_2+18*r_13_3+15*r_13_4+20*r_13_5+29*r_13_6+26*r_13_7+28*r_13_8+34*r_13_11+16*r_13_12+17*r_13_14+13*r_13_15+17*r_13_17+36*r_13_20+38*r_13_21+31*r_13_22+19*r_13_23+11*r_13_24+31*r_13_25+34*r_13_26+12*r_13_27+35*r_13_28+11*r_13_29+25*r_13_30+25*r_13_31+24*r_13_32+38*r_13_33+39*r_13_34+12*r_13_35+24*r_13_37+10*r_13_38+21*r_13_39+30*r_13_40+17*r_13_41+39*r_13_42+21*r_13_43+10*r_13_44+31*r_13_45+25*r_13_46+31*r_13_47+12*r_13_48+18*r_13_49+38*r_13_50<=187;

20*r_14_1+38*r_14_2+18*r_14_3+15*r_14_4+20*r_14_5+29*r_14_6+28*r_14_8+38*r_14_9+19*r_14_10+34*r_14_11+16*r_14_12+11*r_14_13+17*r_14_14+17*r_14_17+21*r_14_18+37*r_14_19+36*r_14_20+38*r_14_21+31*r_14_22+19*r_14_23+11*r_14_24+31*r_14_25+12*r_14_27+35*r_14_28+11*r_14_29+25*r_14_30+25*r_14_31+39*r_14_34+12*r_14_35+28*r_14_36+24*r_14_37+21*r_14_39+30*r_14_40+17*r_14_41+39*r_14_42+21*r_14_43+10*r_14_44+25*r_14_46+12*r_14_48+18*r_14_49+38*r_14_50<=240;

20*r_15_1+38*r_15_2+18*r_15_3+15*r_15_4+20*r_15_5+29*r_15_6+26*r_15_7+28*r_15_8+19*r_15_10+34*r_15_11+16*r_15_12+11*r_15_13+17*r_15_14+13*r_15_15+33*r_15_16+17*r_15_17+21*r_15_18+36*r_15_20+38*r_15_21+31*r_15_22+11*r_15_24+31*r_15_25+34*r_15_26+12*r_15_27+35*r_15_28+11*r_15_29+25*r_15_30+25*r_15_31+24*r_15_32+38*r_15_33+39*r_15_34+12*r_15_35+28*r_15_36+21*r_15_39+30*r_15_40+17*r_15_41+39*r_15_42+21*r_15_43+31*r_15_45+25*r_15_46+31*r_15_47+12*r_15_48+38*r_15_50<=156;

20*r_16_1+18*r_16_3+15*r_16_4+20*r_16_5+29*r_16_6+26*r_16_7+28*r_16_8+19*r_16_10+34*r_16_11+16*r_16_12+11*r_16_13+13*r_16_15+33*r_16_16+17*r_16_17+21*r_16_18+37*r_16_19+36*r_16_20+38*r_16_21+19*r_16_23+11*r_16_24+31*r_16_25+34*r_16_26+12*r_16_27+11*r_16_29+25*r_16_30+25*r_16_31+24*r_16_32+39*r_16_34+12*r_16_35+28*r_16_36+24*r_16_37+10*r_16_38+21*r_16_39+30*r_16_40+17*r_16_41+39*r_16_42+21*r_16_43+31*r_16_45+25*r_16_46+31*r_16_47+12*r_16_48+18*r_16_49+38*r_16_50<=207;

20*r_17_1+38*r_17_2+18*r_17_3+15*r_17_4+20*r_17_5+29*r_17_6+26*r_17_7+28*r_17_8+38*r_17_9+19*r_17_10+34*r_17_11+16*r_17_12+11*r_17_13+17*r_17_14+13*r_17_15+33*r_17_16+17*r_17_17+21*r_17_18+37*r_17_19+36*r_17_20+31*r_17_22+19*r_17_23+11*r_17_24+31*r_17_25+12*r_17_27+35*r_17_28+11*r_17_29+25*r_17_30+38*r_17_33+39*r_17_34+12*r_17_35+28*r_17_36+24*r_17_37+21*r_17_39+17*r_17_41+21*r_17_43+10*r_17_44+31*r_17_45+25*r_17_46+31*r_17_47+12*r_17_48+38*r_17_50<=218;

20*r_18_1+38*r_18_2+18*r_18_3+15*r_18_4+29*r_18_6+26*r_18_7+28*r_18_8+38*r_18_9+19*r_18_10+34*r_18_11+11*r_18_13+17*r_18_14+13*r_18_15+33*r_18_16+17*r_18_17+21*r_18_18+37*r_18_19+36*r_18_20+38*r_18_21+31*r_18_22+19*r_18_23+11*r_18_24+12*r_18_27+35*r_18_28+11*r_18_29+25*r_18_31+24*r_18_32+38*r_18_33+39*r_18_34+12*r_18_35+28*r_18_36+24*r_18_37+10*r_18_38+21*r_18_39+30*r_18_40+17*r_18_41+39*r_18_42+21*r_18_43+31*r_18_45+25*r_18_46+31*r_18_47+12*r_18_48+18*r_18_49+38*r_18_50<=136;

20*r_19_1+38*r_19_2+18*r_19_3+20*r_19_5+29*r_19_6+28*r_19_8+38*r_19_9+19*r_19_10+34*r_19_11+16*r_19_12+11*r_19_13+13*r_19_15+17*r_19_17+21*r_19_18+37*r_19_19+36*r_19_20+38*r_19_21+19*r_19_23+11*r_19_24+31*r_19_25+34*r_19_26+12*r_19_27+35*r_19_28+11*r_19_29+25*r_19_30+25*r_19_31+24*r_19_32+38*r_19_33+39*r_19_34+12*r_19_35+28*r_19_36+24*r_19_37+10*r_19_38+30*r_19_40+17*r_19_41+10*r_19_44+31*r_19_45+12*r_19_48+18*r_19_49+38*r_19_50<=259;

20*r_20_1+38*r_20_2+18*r_20_3+15*r_20_4+20*r_20_5+29*r_20_6+26*r_20_7+28*r_20_8+19*r_20_10+34*r_20_11+11*r_20_13+17*r_20_14+13*r_20_15+33*r_20_16+17*r_20_17+21*r_20_18+37*r_20_19+36*r_20_20+38*r_20_21+31*r_20_22+19*r_20_23+11*r_20_24+31*r_20_25+34*r_20_26+12*r_20_27+35*r_20_28+25*r_20_30+25*r_20_31+38*r_20_33+39*r_20_34+28*r_20_36+24*r_20_37+10*r_20_38+21*r_20_39+30*r_20_40+39*r_20_42+10*r_20_44+31*r_20_47+12*r_20_48+18*r_20_49<=233;

/* variables used have values between 0 and 1 */

0<=r_1_1<=1;0<=r_1_2<=1;0<=r_1_3<=1;0<=r_1_4<=1;0<=r_1_5<=1;0<=r_1_6<=1;0<=r_1_7<=1;0<=r_1_8<=1;0<=r_1_9<=1;0<=r_1_10<=1;0<=r_1_11<=1;0<=r_1_13<=1;0<=r_1_14<=1;0<=r_1_17<=1;0<=r_1_18<=1;0<=r_1_19<=1;0<=r_1_21<=1;0<=r_1_22<=1;0<=r_1_23<=1;0<=r_1_24<=1;0<=r_1_26<=1;0<=r_1_27<=1;0<=r_1_28<=1;0<=r_1_29<=1;0<=r_1_30<=1;0<=r_1_31<=1;0<=r_1_32<=1;0<=r_1_33<=1;0<=r_1_34<=1;0<=r_1_35<=1;0<=r_1_36<=1;0<=r_1_37<=1;0<=r_1_39<=1;0<=r_1_40<=1;0<=r_1_42<=1;0<=r_1_43<=1;0<=r_1_45<=1;0<=r_1_46<=1;0<=r_1_48<=1;0<=r_1_49<=1;0<=r_1_50<=1;

0<=r_2_1<=1;0<=r_2_2<=1;0<=r_2_5<=1;0<=r_2_6<=1;0<=r_2_7<=1;0<=r_2_8<=1;0<=r_2_11<=1;0<=r_2_12<=1;0<=r_2_13<=1;0<=r_2_14<=1;0<=r_2_15<=1;0<=r_2_16<=1;0<=r_2_18<=1;0<=r_2_19<=1;0<=r_2_20<=1;0<=r_2_21<=1;0<=r_2_23<=1;0<=r_2_24<=1;0<=r_2_25<=1;0<=r_2_26<=1;0<=r_2_27<=1;0<=r_2_28<=1;0<=r_2_29<=1;0<=r_2_30<=1;0<=r_2_31<=1;0<=r_2_32<=1;0<=r_2_34<=1;0<=r_2_35<=1;0<=r_2_36<=1;0<=r_2_37<=1;0<=r_2_38<=1;0<=r_2_40<=1;0<=r_2_42<=1;0<=r_2_43<=1;0<=r_2_44<=1;0<=r_2_45<=1;0<=r_2_46<=1;0<=r_2_47<=1;0<=r_2_48<=1;0<=r_2_49<=1;0<=r_2_50<=1;

0<=r_3_2<=1;0<=r_3_3<=1;0<=r_3_5<=1;0<=r_3_6<=1;0<=r_3_7<=1;0<=r_3_9<=1;0<=r_3_10<=1;0<=r_3_11<=1;0<=r_3_12<=1;0<=r_3_13<=1;0<=r_3_14<=1;0<=r_3_15<=1;0<=r_3_16<=1;0<=r_3_17<=1;0<=r_3_18<=1;0<=r_3_19<=1;0<=r_3_20<=1;0<=r_3_22<=1;0<=r_3_23<=1;0<=r_3_24<=1;0<=r_3_25<=1;0<=r_3_26<=1;0<=r_3_27<=1;0<=r_3_29<=1;0<=r_3_30<=1;0<=r_3_31<=1;0<=r_3_32<=1;0<=r_3_33<=1;0<=r_3_34<=1;0<=r_3_35<=1;0<=r_3_36<=1;0<=r_3_37<=1;0<=r_3_38<=1;0<=r_3_39<=1;0<=r_3_40<=1;0<=r_3_41<=1;0<=r_3_42<=1;0<=r_3_43<=1;0<=r_3_44<=1;0<=r_3_45<=1;0<=r_3_46<=1;0<=r_3_48<=1;0<=r_3_50<=1;

0<=r_4_1<=1;0<=r_4_2<=1;0<=r_4_3<=1;0<=r_4_4<=1;0<=r_4_5<=1;0<=r_4_6<=1;0<=r_4_7<=1;0<=r_4_8<=1;0<=r_4_9<=1;0<=r_4_10<=1;0<=r_4_11<=1;0<=r_4_12<=1;0<=r_4_13<=1;0<=r_4_14<=1;0<=r_4_15<=1;0<=r_4_17<=1;0<=r_4_18<=1;0<=r_4_19<=1;0<=r_4_20<=1;0<=r_4_23<=1;0<=r_4_24<=1;0<=r_4_25<=1;0<=r_4_26<=1;0<=r_4_28<=1;0<=r_4_29<=1;0<=r_4_30<=1;0<=r_4_32<=1;0<=r_4_33<=1;0<=r_4_34<=1;0<=r_4_35<=1;0<=r_4_36<=1;0<=r_4_39<=1;0<=r_4_40<=1;0<=r_4_42<=1;0<=r_4_43<=1;0<=r_4_45<=1;0<=r_4_47<=1;0<=r_4_48<=1;0<=r_4_49<=1;0<=r_4_50<=1;

0<=r_5_1<=1;0<=r_5_2<=1;0<=r_5_3<=1;0<=r_5_4<=1;0<=r_5_5<=1;0<=r_5_6<=1;0<=r_5_8<=1;0<=r_5_9<=1;0<=r_5_10<=1;0<=r_5_11<=1;0<=r_5_12<=1;0<=r_5_13<=1;0<=r_5_16<=1;0<=r_5_17<=1;0<=r_5_18<=1;0<=r_5_20<=1;0<=r_5_21<=1;0<=r_5_22<=1;0<=r_5_23<=1;0<=r_5_25<=1;0<=r_5_26<=1;0<=r_5_27<=1;0<=r_5_28<=1;0<=r_5_30<=1;0<=r_5_31<=1;0<=r_5_32<=1;0<=r_5_33<=1;0<=r_5_34<=1;0<=r_5_35<=1;0<=r_5_36<=1;0<=r_5_37<=1;0<=r_5_38<=1;0<=r_5_40<=1;0<=r_5_41<=1;0<=r_5_42<=1;0<=r_5_43<=1;0<=r_5_45<=1;0<=r_5_47<=1;0<=r_5_48<=1;0<=r_5_49<=1;0<=r_5_50<=1;

0<=r_6_1<=1;0<=r_6_2<=1;0<=r_6_3<=1;0<=r_6_4<=1;0<=r_6_5<=1;0<=r_6_6<=1;0<=r_6_7<=1;0<=r_6_8<=1;0<=r_6_9<=1;0<=r_6_10<=1;0<=r_6_11<=1;0<=r_6_13<=1;0<=r_6_14<=1;0<=r_6_15<=1;0<=r_6_16<=1;0<=r_6_17<=1;0<=r_6_18<=1;0<=r_6_19<=1;0<=r_6_20<=1;0<=r_6_23<=1;0<=r_6_24<=1;0<=r_6_25<=1;0<=r_6_28<=1;0<=r_6_29<=1;0<=r_6_30<=1;0<=r_6_31<=1;0<=r_6_33<=1;0<=r_6_34<=1;0<=r_6_35<=1;0<=r_6_36<=1;0<=r_6_39<=1;0<=r_6_40<=1;0<=r_6_42<=1;0<=r_6_43<=1;0<=r_6_44<=1;0<=r_6_45<=1;0<=r_6_48<=1;0<=r_6_49<=1;

0<=r_7_1<=1;0<=r_7_2<=1;0<=r_7_3<=1;0<=r_7_4<=1;0<=r_7_5<=1;0<=r_7_6<=1;0<=r_7_8<=1;0<=r_7_10<=1;0<=r_7_11<=1;0<=r_7_12<=1;0<=r_7_13<=1;0<=r_7_14<=1;0<=r_7_15<=1;0<=r_7_16<=1;0<=r_7_17<=1;0<=r_7_18<=1;0<=r_7_19<=1;0<=r_7_20<=1;0<=r_7_22<=1;0<=r_7_24<=1;0<=r_7_25<=1;0<=r_7_26<=1;0<=r_7_27<=1;0<=r_7_29<=1;0<=r_7_31<=1;0<=r_7_33<=1;0<=r_7_34<=1;0<=r_7_35<=1;0<=r_7_36<=1;0<=r_7_37<=1;0<=r_7_38<=1;0<=r_7_41<=1;0<=r_7_42<=1;0<=r_7_43<=1;0<=r_7_44<=1;0<=r_7_45<=1;0<=r_7_47<=1;0<=r_7_48<=1;0<=r_7_49<=1;0<=r_7_50<=1;

0<=r_8_1<=1;0<=r_8_2<=1;0<=r_8_3<=1;0<=r_8_5<=1;0<=r_8_6<=1;0<=r_8_7<=1;0<=r_8_8<=1;0<=r_8_10<=1;0<=r_8_11<=1;0<=r_8_12<=1;0<=r_8_13<=1;0<=r_8_14<=1;0<=r_8_15<=1;0<=r_8_17<=1;0<=r_8_18<=1;0<=r_8_19<=1;0<=r_8_20<=1;0<=r_8_21<=1;0<=r_8_22<=1;0<=r_8_23<=1;0<=r_8_24<=1;0<=r_8_26<=1;0<=r_8_27<=1;0<=r_8_28<=1;0<=r_8_29<=1;0<=r_8_31<=1;0<=r_8_33<=1;0<=r_8_34<=1;0<=r_8_35<=1;0<=r_8_36<=1;0<=r_8_38<=1;0<=r_8_39<=1;0<=r_8_40<=1;0<=r_8_41<=1;0<=r_8_42<=1;0<=r_8_43<=1;0<=r_8_44<=1;0<=r_8_45<=1;0<=r_8_46<=1;0<=r_8_47<=1;0<=r_8_49<=1;0<=r_8_50<=1;

0<=r_9_1<=1;0<=r_9_2<=1;0<=r_9_3<=1;0<=r_9_5<=1;0<=r_9_6<=1;0<=r_9_7<=1;0<=r_9_8<=1;0<=r_9_9<=1;0<=r_9_10<=1;0<=r_9_11<=1;0<=r_9_12<=1;0<=r_9_13<=1;0<=r_9_14<=1;0<=r_9_16<=1;0<=r_9_17<=1;0<=r_9_18<=1;0<=r_9_19<=1;0<=r_9_20<=1;0<=r_9_21<=1;0<=r_9_22<=1;0<=r_9_23<=1;0<=r_9_24<=1;0<=r_9_26<=1;0<=r_9_27<=1;0<=r_9_28<=1;0<=r_9_29<=1;0<=r_9_30<=1;0<=r_9_31<=1;0<=r_9_32<=1;0<=r_9_33<=1;0<=r_9_34<=1;0<=r_9_36<=1;0<=r_9_38<=1;0<=r_9_42<=1;0<=r_9_43<=1;0<=r_9_44<=1;0<=r_9_45<=1;0<=r_9_46<=1;0<=r_9_48<=1;0<=r_9_50<=1;

0<=r_10_1<=1;0<=r_10_2<=1;0<=r_10_3<=1;0<=r_10_4<=1;0<=r_10_5<=1;0<=r_10_7<=1;0<=r_10_8<=1;0<=r_10_9<=1;0<=r_10_10<=1;0<=r_10_12<=1;0<=r_10_13<=1;0<=r_10_14<=1;0<=r_10_16<=1;0<=r_10_17<=1;0<=r_10_19<=1;0<=r_10_20<=1;0<=r_10_21<=1;0<=r_10_22<=1;0<=r_10_23<=1;0<=r_10_24<=1;0<=r_10_28<=1;0<=r_10_29<=1;0<=r_10_31<=1;0<=r_10_32<=1;0<=r_10_33<=1;0<=r_10_35<=1;0<=r_10_36<=1;0<=r_10_38<=1;0<=r_10_40<=1;0<=r_10_41<=1;0<=r_10_42<=1;0<=r_10_43<=1;0<=r_10_44<=1;0<=r_10_45<=1;0<=r_10_46<=1;0<=r_10_48<=1;0<=r_10_49<=1;0<=r_10_50<=1;

0<=r_11_1<=1;0<=r_11_2<=1;0<=r_11_3<=1;0<=r_11_4<=1;0<=r_11_7<=1;0<=r_11_8<=1;0<=r_11_10<=1;0<=r_11_11<=1;0<=r_11_12<=1;0<=r_11_13<=1;0<=r_11_14<=1;0<=r_11_16<=1;0<=r_11_17<=1;0<=r_11_18<=1;0<=r_11_19<=1;0<=r_11_20<=1;0<=r_11_21<=1;0<=r_11_22<=1;0<=r_11_23<=1;0<=r_11_24<=1;0<=r_11_25<=1;0<=r_11_27<=1;0<=r_11_28<=1;0<=r_11_29<=1;0<=r_11_30<=1;0<=r_11_31<=1;0<=r_11_32<=1;0<=r_11_33<=1;0<=r_11_34<=1;0<=r_11_35<=1;0<=r_11_36<=1;0<=r_11_37<=1;0<=r_11_39<=1;0<=r_11_42<=1;0<=r_11_44<=1;0<=r_11_45<=1;0<=r_11_46<=1;0<=r_11_48<=1;0<=r_11_49<=1;0<=r_11_50<=1;

0<=r_12_1<=1;0<=r_12_2<=1;0<=r_12_3<=1;0<=r_12_4<=1;0<=r_12_5<=1;0<=r_12_6<=1;0<=r_12_7<=1;0<=r_12_8<=1;0<=r_12_9<=1;0<=r_12_10<=1;0<=r_12_11<=1;0<=r_12_14<=1;0<=r_12_15<=1;0<=r_12_16<=1;0<=r_12_17<=1;0<=r_12_19<=1;0<=r_12_20<=1;0<=r_12_22<=1;0<=r_12_23<=1;0<=r_12_24<=1;0<=r_12_25<=1;0<=r_12_27<=1;0<=r_12_28<=1;0<=r_12_29<=1;0<=r_12_30<=1;0<=r_12_31<=1;0<=r_12_32<=1;0<=r_12_33<=1;0<=r_12_34<=1;0<=r_12_35<=1;0<=r_12_36<=1;0<=r_12_37<=1;0<=r_12_38<=1;0<=r_12_40<=1;0<=r_12_43<=1;0<=r_12_44<=1;0<=r_12_47<=1;

0<=r_13_1<=1;0<=r_13_2<=1;0<=r_13_3<=1;0<=r_13_4<=1;0<=r_13_5<=1;0<=r_13_6<=1;0<=r_13_7<=1;0<=r_13_8<=1;0<=r_13_11<=1;0<=r_13_12<=1;0<=r_13_14<=1;0<=r_13_15<=1;0<=r_13_17<=1;0<=r_13_20<=1;0<=r_13_21<=1;0<=r_13_22<=1;0<=r_13_23<=1;0<=r_13_24<=1;0<=r_13_25<=1;0<=r_13_26<=1;0<=r_13_27<=1;0<=r_13_28<=1;0<=r_13_29<=1;0<=r_13_30<=1;0<=r_13_31<=1;0<=r_13_32<=1;0<=r_13_33<=1;0<=r_13_34<=1;0<=r_13_35<=1;0<=r_13_37<=1;0<=r_13_38<=1;0<=r_13_39<=1;0<=r_13_40<=1;0<=r_13_41<=1;0<=r_13_42<=1;0<=r_13_43<=1;0<=r_13_44<=1;0<=r_13_45<=1;0<=r_13_46<=1;0<=r_13_47<=1;0<=r_13_48<=1;0<=r_13_49<=1;0<=r_13_50<=1;

0<=r_14_1<=1;0<=r_14_2<=1;0<=r_14_3<=1;0<=r_14_4<=1;0<=r_14_5<=1;0<=r_14_6<=1;0<=r_14_8<=1;0<=r_14_9<=1;0<=r_14_10<=1;0<=r_14_11<=1;0<=r_14_12<=1;0<=r_14_13<=1;0<=r_14_14<=1;0<=r_14_17<=1;0<=r_14_18<=1;0<=r_14_19<=1;0<=r_14_20<=1;0<=r_14_21<=1;0<=r_14_22<=1;0<=r_14_23<=1;0<=r_14_24<=1;0<=r_14_25<=1;0<=r_14_27<=1;0<=r_14_28<=1;0<=r_14_29<=1;0<=r_14_30<=1;0<=r_14_31<=1;0<=r_14_34<=1;0<=r_14_35<=1;0<=r_14_36<=1;0<=r_14_37<=1;0<=r_14_39<=1;0<=r_14_40<=1;0<=r_14_41<=1;0<=r_14_42<=1;0<=r_14_43<=1;0<=r_14_44<=1;0<=r_14_46<=1;0<=r_14_48<=1;0<=r_14_49<=1;0<=r_14_50<=1;

0<=r_15_1<=1;0<=r_15_2<=1;0<=r_15_3<=1;0<=r_15_4<=1;0<=r_15_5<=1;0<=r_15_6<=1;0<=r_15_7<=1;0<=r_15_8<=1;0<=r_15_10<=1;0<=r_15_11<=1;0<=r_15_12<=1;0<=r_15_13<=1;0<=r_15_14<=1;0<=r_15_15<=1;0<=r_15_16<=1;0<=r_15_17<=1;0<=r_15_18<=1;0<=r_15_20<=1;0<=r_15_21<=1;0<=r_15_22<=1;0<=r_15_24<=1;0<=r_15_25<=1;0<=r_15_26<=1;0<=r_15_27<=1;0<=r_15_28<=1;0<=r_15_29<=1;0<=r_15_30<=1;0<=r_15_31<=1;0<=r_15_32<=1;0<=r_15_33<=1;0<=r_15_34<=1;0<=r_15_35<=1;0<=r_15_36<=1;0<=r_15_39<=1;0<=r_15_40<=1;0<=r_15_41<=1;0<=r_15_42<=1;0<=r_15_43<=1;0<=r_15_45<=1;0<=r_15_46<=1;0<=r_15_47<=1;0<=r_15_48<=1;0<=r_15_50<=1;

0<=r_16_1<=1;0<=r_16_3<=1;0<=r_16_4<=1;0<=r_16_5<=1;0<=r_16_6<=1;0<=r_16_7<=1;0<=r_16_8<=1;0<=r_16_10<=1;0<=r_16_11<=1;0<=r_16_12<=1;0<=r_16_13<=1;0<=r_16_15<=1;0<=r_16_16<=1;0<=r_16_17<=1;0<=r_16_18<=1;0<=r_16_19<=1;0<=r_16_20<=1;0<=r_16_21<=1;0<=r_16_23<=1;0<=r_16_24<=1;0<=r_16_25<=1;0<=r_16_26<=1;0<=r_16_27<=1;0<=r_16_29<=1;0<=r_16_30<=1;0<=r_16_31<=1;0<=r_16_32<=1;0<=r_16_34<=1;0<=r_16_35<=1;0<=r_16_36<=1;0<=r_16_37<=1;0<=r_16_38<=1;0<=r_16_39<=1;0<=r_16_40<=1;0<=r_16_41<=1;0<=r_16_42<=1;0<=r_16_43<=1;0<=r_16_45<=1;0<=r_16_46<=1;0<=r_16_47<=1;0<=r_16_48<=1;0<=r_16_49<=1;0<=r_16_50<=1;

0<=r_17_1<=1;0<=r_17_2<=1;0<=r_17_3<=1;0<=r_17_4<=1;0<=r_17_5<=1;0<=r_17_6<=1;0<=r_17_7<=1;0<=r_17_8<=1;0<=r_17_9<=1;0<=r_17_10<=1;0<=r_17_11<=1;0<=r_17_12<=1;0<=r_17_13<=1;0<=r_17_14<=1;0<=r_17_15<=1;0<=r_17_16<=1;0<=r_17_17<=1;0<=r_17_18<=1;0<=r_17_19<=1;0<=r_17_20<=1;0<=r_17_22<=1;0<=r_17_23<=1;0<=r_17_24<=1;0<=r_17_25<=1;0<=r_17_27<=1;0<=r_17_28<=1;0<=r_17_29<=1;0<=r_17_30<=1;0<=r_17_33<=1;0<=r_17_34<=1;0<=r_17_35<=1;0<=r_17_36<=1;0<=r_17_37<=1;0<=r_17_39<=1;0<=r_17_41<=1;0<=r_17_43<=1;0<=r_17_44<=1;0<=r_17_45<=1;0<=r_17_46<=1;0<=r_17_47<=1;0<=r_17_48<=1;0<=r_17_50<=1;

0<=r_18_1<=1;0<=r_18_2<=1;0<=r_18_3<=1;0<=r_18_4<=1;0<=r_18_6<=1;0<=r_18_7<=1;0<=r_18_8<=1;0<=r_18_9<=1;0<=r_18_10<=1;0<=r_18_11<=1;0<=r_18_13<=1;0<=r_18_14<=1;0<=r_18_15<=1;0<=r_18_16<=1;0<=r_18_17<=1;0<=r_18_18<=1;0<=r_18_19<=1;0<=r_18_20<=1;0<=r_18_21<=1;0<=r_18_22<=1;0<=r_18_23<=1;0<=r_18_24<=1;0<=r_18_27<=1;0<=r_18_28<=1;0<=r_18_29<=1;0<=r_18_31<=1;0<=r_18_32<=1;0<=r_18_33<=1;0<=r_18_34<=1;0<=r_18_35<=1;0<=r_18_36<=1;0<=r_18_37<=1;0<=r_18_38<=1;0<=r_18_39<=1;0<=r_18_40<=1;0<=r_18_41<=1;0<=r_18_42<=1;0<=r_18_43<=1;0<=r_18_45<=1;0<=r_18_46<=1;0<=r_18_47<=1;0<=r_18_48<=1;0<=r_18_49<=1;0<=r_18_50<=1;

0<=r_19_1<=1;0<=r_19_2<=1;0<=r_19_3<=1;0<=r_19_5<=1;0<=r_19_6<=1;0<=r_19_8<=1;0<=r_19_9<=1;0<=r_19_10<=1;0<=r_19_11<=1;0<=r_19_12<=1;0<=r_19_13<=1;0<=r_19_15<=1;0<=r_19_17<=1;0<=r_19_18<=1;0<=r_19_19<=1;0<=r_19_20<=1;0<=r_19_21<=1;0<=r_19_23<=1;0<=r_19_24<=1;0<=r_19_25<=1;0<=r_19_26<=1;0<=r_19_27<=1;0<=r_19_28<=1;0<=r_19_29<=1;0<=r_19_30<=1;0<=r_19_31<=1;0<=r_19_32<=1;0<=r_19_33<=1;0<=r_19_34<=1;0<=r_19_35<=1;0<=r_19_36<=1;0<=r_19_37<=1;0<=r_19_38<=1;0<=r_19_40<=1;0<=r_19_41<=1;0<=r_19_44<=1;0<=r_19_45<=1;0<=r_19_48<=1;0<=r_19_49<=1;0<=r_19_50<=1;

0<=r_20_1<=1;0<=r_20_2<=1;0<=r_20_3<=1;0<=r_20_4<=1;0<=r_20_5<=1;0<=r_20_6<=1;0<=r_20_7<=1;0<=r_20_8<=1;0<=r_20_10<=1;0<=r_20_11<=1;0<=r_20_13<=1;0<=r_20_14<=1;0<=r_20_15<=1;0<=r_20_16<=1;0<=r_20_17<=1;0<=r_20_18<=1;0<=r_20_19<=1;0<=r_20_20<=1;0<=r_20_21<=1;0<=r_20_22<=1;0<=r_20_23<=1;0<=r_20_24<=1;0<=r_20_25<=1;0<=r_20_26<=1;0<=r_20_27<=1;0<=r_20_28<=1;0<=r_20_30<=1;0<=r_20_31<=1;0<=r_20_33<=1;0<=r_20_34<=1;0<=r_20_36<=1;0<=r_20_37<=1;0<=r_20_38<=1;0<=r_20_39<=1;0<=r_20_40<=1;0<=r_20_42<=1;0<=r_20_44<=1;0<=r_20_47<=1;0<=r_20_48<=1;0<=r_20_49<=1;

/* integer variables */

int r_1_1,r_1_2,r_1_3,r_1_4,r_1_5,r_1_6,r_1_7,r_1_8,r_1_9,r_1_10,r_1_11,r_1_13,r_1_14,r_1_17,r_1_18,r_1_19,r_1_21,r_1_22,r_1_23,r_1_24,r_1_26,r_1_27,r_1_28,r_1_29,r_1_30,r_1_31,r_1_32,r_1_33,r_1_34,r_1_35,r_1_36,r_1_37,r_1_39,r_1_40,r_1_42,r_1_43,r_1_45,r_1_46,r_1_48,r_1_49,r_1_50;

int r_2_1,r_2_2,r_2_5,r_2_6,r_2_7,r_2_8,r_2_11,r_2_12,r_2_13,r_2_14,r_2_15,r_2_16,r_2_18,r_2_19,r_2_20,r_2_21,r_2_23,r_2_24,r_2_25,r_2_26,r_2_27,r_2_28,r_2_29,r_2_30,r_2_31,r_2_32,r_2_34,r_2_35,r_2_36,r_2_37,r_2_38,r_2_40,r_2_42,r_2_43,r_2_44,r_2_45,r_2_46,r_2_47,r_2_48,r_2_49,r_2_50;

int r_3_2,r_3_3,r_3_5,r_3_6,r_3_7,r_3_9,r_3_10,r_3_11,r_3_12,r_3_13,r_3_14,r_3_15,r_3_16,r_3_17,r_3_18,r_3_19,r_3_20,r_3_22,r_3_23,r_3_24,r_3_25,r_3_26,r_3_27,r_3_29,r_3_30,r_3_31,r_3_32,r_3_33,r_3_34,r_3_35,r_3_36,r_3_37,r_3_38,r_3_39,r_3_40,r_3_41,r_3_42,r_3_43,r_3_44,r_3_45,r_3_46,r_3_48,r_3_50;

int r_4_1,r_4_2,r_4_3,r_4_4,r_4_5,r_4_6,r_4_7,r_4_8,r_4_9,r_4_10,r_4_11,r_4_12,r_4_13,r_4_14,r_4_15,r_4_17,r_4_18,r_4_19,r_4_20,r_4_23,r_4_24,r_4_25,r_4_26,r_4_28,r_4_29,r_4_30,r_4_32,r_4_33,r_4_34,r_4_35,r_4_36,r_4_39,r_4_40,r_4_42,r_4_43,r_4_45,r_4_47,r_4_48,r_4_49,r_4_50;

int r_5_1,r_5_2,r_5_3,r_5_4,r_5_5,r_5_6,r_5_8,r_5_9,r_5_10,r_5_11,r_5_12,r_5_13,r_5_16,r_5_17,r_5_18,r_5_20,r_5_21,r_5_22,r_5_23,r_5_25,r_5_26,r_5_27,r_5_28,r_5_30,r_5_31,r_5_32,r_5_33,r_5_34,r_5_35,r_5_36,r_5_37,r_5_38,r_5_40,r_5_41,r_5_42,r_5_43,r_5_45,r_5_47,r_5_48,r_5_49,r_5_50;

int r_6_1,r_6_2,r_6_3,r_6_4,r_6_5,r_6_6,r_6_7,r_6_8,r_6_9,r_6_10,r_6_11,r_6_13,r_6_14,r_6_15,r_6_16,r_6_17,r_6_18,r_6_19,r_6_20,r_6_23,r_6_24,r_6_25,r_6_28,r_6_29,r_6_30,r_6_31,r_6_33,r_6_34,r_6_35,r_6_36,r_6_39,r_6_40,r_6_42,r_6_43,r_6_44,r_6_45,r_6_48,r_6_49;

int r_7_1,r_7_2,r_7_3,r_7_4,r_7_5,r_7_6,r_7_8,r_7_10,r_7_11,r_7_12,r_7_13,r_7_14,r_7_15,r_7_16,r_7_17,r_7_18,r_7_19,r_7_20,r_7_22,r_7_24,r_7_25,r_7_26,r_7_27,r_7_29,r_7_31,r_7_33,r_7_34,r_7_35,r_7_36,r_7_37,r_7_38,r_7_41,r_7_42,r_7_43,r_7_44,r_7_45,r_7_47,r_7_48,r_7_49,r_7_50;

int r_8_1,r_8_2,r_8_3,r_8_5,r_8_6,r_8_7,r_8_8,r_8_10,r_8_11,r_8_12,r_8_13,r_8_14,r_8_15,r_8_17,r_8_18,r_8_19,r_8_20,r_8_21,r_8_22,r_8_23,r_8_24,r_8_26,r_8_27,r_8_28,r_8_29,r_8_31,r_8_33,r_8_34,r_8_35,r_8_36,r_8_38,r_8_39,r_8_40,r_8_41,r_8_42,r_8_43,r_8_44,r_8_45,r_8_46,r_8_47,r_8_49,r_8_50;

int r_9_1,r_9_2,r_9_3,r_9_5,r_9_6,r_9_7,r_9_8,r_9_9,r_9_10,r_9_11,r_9_12,r_9_13,r_9_14,r_9_16,r_9_17,r_9_18,r_9_19,r_9_20,r_9_21,r_9_22,r_9_23,r_9_24,r_9_26,r_9_27,r_9_28,r_9_29,r_9_30,r_9_31,r_9_32,r_9_33,r_9_34,r_9_36,r_9_38,r_9_42,r_9_43,r_9_44,r_9_45,r_9_46,r_9_48,r_9_50;

int r_10_1,r_10_2,r_10_3,r_10_4,r_10_5,r_10_7,r_10_8,r_10_9,r_10_10,r_10_12,r_10_13,r_10_14,r_10_16,r_10_17,r_10_19,r_10_20,r_10_21,r_10_22,r_10_23,r_10_24,r_10_28,r_10_29,r_10_31,r_10_32,r_10_33,r_10_35,r_10_36,r_10_38,r_10_40,r_10_41,r_10_42,r_10_43,r_10_44,r_10_45,r_10_46,r_10_48,r_10_49,r_10_50;

int r_11_1,r_11_2,r_11_3,r_11_4,r_11_7,r_11_8,r_11_10,r_11_11,r_11_12,r_11_13,r_11_14,r_11_16,r_11_17,r_11_18,r_11_19,r_11_20,r_11_21,r_11_22,r_11_23,r_11_24,r_11_25,r_11_27,r_11_28,r_11_29,r_11_30,r_11_31,r_11_32,r_11_33,r_11_34,r_11_35,r_11_36,r_11_37,r_11_39,r_11_42,r_11_44,r_11_45,r_11_46,r_11_48,r_11_49,r_11_50;

int r_12_1,r_12_2,r_12_3,r_12_4,r_12_5,r_12_6,r_12_7,r_12_8,r_12_9,r_12_10,r_12_11,r_12_14,r_12_15,r_12_16,r_12_17,r_12_19,r_12_20,r_12_22,r_12_23,r_12_24,r_12_25,r_12_27,r_12_28,r_12_29,r_12_30,r_12_31,r_12_32,r_12_33,r_12_34,r_12_35,r_12_36,r_12_37,r_12_38,r_12_40,r_12_43,r_12_44,r_12_47;

int r_13_1,r_13_2,r_13_3,r_13_4,r_13_5,r_13_6,r_13_7,r_13_8,r_13_11,r_13_12,r_13_14,r_13_15,r_13_17,r_13_20,r_13_21,r_13_22,r_13_23,r_13_24,r_13_25,r_13_26,r_13_27,r_13_28,r_13_29,r_13_30,r_13_31,r_13_32,r_13_33,r_13_34,r_13_35,r_13_37,r_13_38,r_13_39,r_13_40,r_13_41,r_13_42,r_13_43,r_13_44,r_13_45,r_13_46,r_13_47,r_13_48,r_13_49,r_13_50;

int r_14_1,r_14_2,r_14_3,r_14_4,r_14_5,r_14_6,r_14_8,r_14_9,r_14_10,r_14_11,r_14_12,r_14_13,r_14_14,r_14_17,r_14_18,r_14_19,r_14_20,r_14_21,r_14_22,r_14_23,r_14_24,r_14_25,r_14_27,r_14_28,r_14_29,r_14_30,r_14_31,r_14_34,r_14_35,r_14_36,r_14_37,r_14_39,r_14_40,r_14_41,r_14_42,r_14_43,r_14_44,r_14_46,r_14_48,r_14_49,r_14_50;

int r_15_1,r_15_2,r_15_3,r_15_4,r_15_5,r_15_6,r_15_7,r_15_8,r_15_10,r_15_11,r_15_12,r_15_13,r_15_14,r_15_15,r_15_16,r_15_17,r_15_18,r_15_20,r_15_21,r_15_22,r_15_24,r_15_25,r_15_26,r_15_27,r_15_28,r_15_29,r_15_30,r_15_31,r_15_32,r_15_33,r_15_34,r_15_35,r_15_36,r_15_39,r_15_40,r_15_41,r_15_42,r_15_43,r_15_45,r_15_46,r_15_47,r_15_48,r_15_50;

int r_16_1,r_16_3,r_16_4,r_16_5,r_16_6,r_16_7,r_16_8,r_16_10,r_16_11,r_16_12,r_16_13,r_16_15,r_16_16,r_16_17,r_16_18,r_16_19,r_16_20,r_16_21,r_16_23,r_16_24,r_16_25,r_16_26,r_16_27,r_16_29,r_16_30,r_16_31,r_16_32,r_16_34,r_16_35,r_16_36,r_16_37,r_16_38,r_16_39,r_16_40,r_16_41,r_16_42,r_16_43,r_16_45,r_16_46,r_16_47,r_16_48,r_16_49,r_16_50;

int r_17_1,r_17_2,r_17_3,r_17_4,r_17_5,r_17_6,r_17_7,r_17_8,r_17_9,r_17_10,r_17_11,r_17_12,r_17_13,r_17_14,r_17_15,r_17_16,r_17_17,r_17_18,r_17_19,r_17_20,r_17_22,r_17_23,r_17_24,r_17_25,r_17_27,r_17_28,r_17_29,r_17_30,r_17_33,r_17_34,r_17_35,r_17_36,r_17_37,r_17_39,r_17_41,r_17_43,r_17_44,r_17_45,r_17_46,r_17_47,r_17_48,r_17_50;

int r_18_1,r_18_2,r_18_3,r_18_4,r_18_6,r_18_7,r_18_8,r_18_9,r_18_10,r_18_11,r_18_13,r_18_14,r_18_15,r_18_16,r_18_17,r_18_18,r_18_19,r_18_20,r_18_21,r_18_22,r_18_23,r_18_24,r_18_27,r_18_28,r_18_29,r_18_31,r_18_32,r_18_33,r_18_34,r_18_35,r_18_36,r_18_37,r_18_38,r_18_39,r_18_40,r_18_41,r_18_42,r_18_43,r_18_45,r_18_46,r_18_47,r_18_48,r_18_49,r_18_50;

int r_19_1,r_19_2,r_19_3,r_19_5,r_19_6,r_19_8,r_19_9,r_19_10,r_19_11,r_19_12,r_19_13,r_19_15,r_19_17,r_19_18,r_19_19,r_19_20,r_19_21,r_19_23,r_19_24,r_19_25,r_19_26,r_19_27,r_19_28,r_19_29,r_19_30,r_19_31,r_19_32,r_19_33,r_19_34,r_19_35,r_19_36,r_19_37,r_19_38,r_19_40,r_19_41,r_19_44,r_19_45,r_19_48,r_19_49,r_19_50;

int r_20_1,r_20_2,r_20_3,r_20_4,r_20_5,r_20_6,r_20_7,r_20_8,r_20_10,r_20_11,r_20_13,r_20_14,r_20_15,r_20_16,r_20_17,r_20_18,r_20_19,r_20_20,r_20_21,r_20_22,r_20_23,r_20_24,r_20_25,r_20_26,r_20_27,r_20_28,r_20_30,r_20_31,r_20_33,r_20_34,r_20_36,r_20_37,r_20_38,r_20_39,r_20_40,r_20_42,r_20_44,r_20_47,r_20_48,r_20_49;