/* variables: r_idstatie_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

+94854.208*r_1_12+57779.7*r_1_13+83390.848*r_1_14+75574.395*r_1_15+196013.631*r_1_16+88662.429*r_1_17+104542.053*r_1_18+183097.534*r_1_19+213578.316*r_1_20+249933.638*r_1_21+182789.268*r_1_22

+93616.629*r_1_23+68465.65*r_1_24+211590.717*r_1_25+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+50868.51*r_1_38+95050.242*r_1_39+192225.69*r_1_40+79764.221*r_1_41+211289.442*r_1_42+125869.716*r_1_43+52068.76*r_1_44

+179662.391*r_1_45+141360.8*r_1_46+185936.14*r_1_47+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+95784.984*r_2_3+88806.735*r_2_4+127087.62*r_2_5

+167209.128*r_2_6+145309.866*r_2_7+147193.676*r_2_8+174910.39*r_2_9+117255.441*r_2_10+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

+102752.641*r_2_17+117137.454*r_2_18+232931.132*r_2_19+183514.896*r_2_20+237713.636*r_2_21+199566.623*r_2_22+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+222586.216*r_2_33+239010.525*r_2_34+68380.452*r_2_35+151326.056*r_2_36+140334*r_2_37+62350.23*r_2_38

+120007.188*r_2_39+171100.59*r_2_40+98997.698*r_2_41+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+117690.14*r_3_1+216357.028*r_3_2+93530.106*r_3_3+86940.78*r_3_4+115824.76*r_3_5+146221.306*r_3_6+118680.302*r_3_7+167434.232*r_3_8+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+231408.068*r_3_21

+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+156805.355*r_3_28+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+172610.697*r_3_47+59097.672*r_3_48+82533.564*r_3_49+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

+163954.428*r_4_16+93402.947*r_4_17+106312.626*r_4_18+175288.092*r_4_19+193713.588*r_4_20+212550.986*r_4_21+178112.825*r_4_22+112926.557*r_4_23+61828.547*r_4_24+167498.022*r_4_25+167991.45*r_4_26

+58050.828*r_4_27+161013.685*r_4_28+67648.515*r_4_29+168008.025*r_4_30+146211.575*r_4_31+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+123464.808*r_4_37

+64070.59*r_4_38+106554.042*r_4_39+152520.99*r_4_40+77237.307*r_4_41+232067.121*r_4_42+122979.99*r_4_43+54925.03*r_4_44+166534.294*r_4_45+134856.05*r_4_46+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+142028.822*r_5_7+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+110136.047*r_5_14+75022.506*r_5_15+216911.805*r_5_16+89472.139*r_5_17+127172.556*r_5_18+209674.079*r_5_19+199387.764*r_5_20

+220137.876*r_5_21+158770.251*r_5_22+94712.758*r_5_23+62533.053*r_5_24+154382.449*r_5_25+183835.892*r_5_26+59416.332*r_5_27+184983.54*r_5_28+65562.695*r_5_29+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+139859.202*r_5_39+169833.24*r_5_40+98473.52*r_5_41+197704.572*r_5_42

+136113.936*r_5_43+55795.47*r_5_44+199569.351*r_5_45+138888.775*r_5_46+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+83489.28*r_6_12+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+220910.264*r_6_21+142661.566*r_6_22+98541.999*r_6_23+62142.267*r_6_24+167093.162*r_6_25

+166600*r_6_26+61926.84*r_6_27+184734.305*r_6_28+71073.926*r_6_29+142267.075*r_6_30+124544.125*r_6_31+147390.528*r_6_32+206672.576*r_6_33+197009.982*r_6_34+71146.356*r_6_35+144786.852*r_6_36

+116568.84*r_6_37+60198.95*r_6_38+119228.214*r_6_39+157168.89*r_6_40+94316.408*r_6_41+198298.191*r_6_42+109002.075*r_6_43+54460.65*r_6_44+151090.032*r_6_45+115267.625*r_6_46+190759.306*r_6_47

+66283.788*r_6_48+104535.162*r_6_49+203052.848*r_6_50+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+116167.246*r_7_7+122895.584*r_7_8

+201492.758*r_7_9+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+215570.656*r_7_21+148922.512*r_7_22+114786.334*r_7_23+65355.862*r_7_24+145143.24*r_7_25+147744.28*r_7_26+66152.28*r_7_27+182884.66*r_7_28+59981.57*r_7_29+131303.25*r_7_30

+130156.175*r_7_31+148209.528*r_7_32+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+86053.086*r_7_39+143983.68*r_7_40+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+142805.75*r_7_46+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+94854.525*r_8_4+88446.86*r_8_5+152567.144*r_8_6+138586.864*r_8_7+174290.704*r_8_8+190606.974*r_8_9+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+197644.227*r_8_16+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

+160303.542*r_8_25+150214.414*r_8_26+72469.428*r_8_27+195382.25*r_8_28+68043.382*r_8_29+144711.25*r_8_30+133639.2*r_8_31+110297.928*r_8_32+230925.924*r_8_33+206950.263*r_8_34+60067.944*r_8_35

+151160.632*r_8_36+121924.368*r_8_37+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+52174.308*r_8_48+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+84603.93*r_9_4+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+81073.941*r_9_15+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+150652.064*r_9_25+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+61904.676*r_9_35+147778.708*r_9_36+110988.72*r_9_37+50099.31*r_9_38+101162.733*r_9_39+156027.93*r_9_40

+87411.127*r_9_41+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+145625.724*r_9_47+61214.376*r_9_48+89214.966*r_9_49+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+134406.648*r_10_6+132743.26*r_10_7+135537.332*r_10_8+181476.068*r_10_9+95001.672*r_10_10+173074.96*r_10_11+82721.392*r_10_12

+54687.886*r_10_13+72542.553*r_10_14+77941.513*r_10_15+151973.118*r_10_16+106832.777*r_10_17+119002.443*r_10_18+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+135921.453*r_10_25+152411.562*r_10_26+58426.284*r_10_27+183512.56*r_10_28+59781.073*r_10_29+119683.2*r_10_30+129046.025*r_10_31+116158.632*r_10_32+196328.634*r_10_33+180661.689*r_10_34

+50320.572*r_10_35+138510.484*r_10_36+115515.792*r_10_37+53489.64*r_10_38+108576.993*r_10_39+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+156642.194*r_10_47+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+104127.82*r_11_5+152523.354*r_11_6

+144924.312*r_11_7+153622.252*r_11_8+181957.528*r_11_9+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+67520.921*r_11_15+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+198502.71*r_11_26+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+55462.14*r_11_38+102475.296*r_11_39

+153214.74*r_11_40+86213.8*r_11_41+204174.867*r_11_42+103628.28*r_11_43+57355.05*r_11_44+176739.432*r_11_45+131013.925*r_11_46+159010.005*r_11_47+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

+96071.344*r_12_12+58832.147*r_12_13+102705.177*r_12_14+71370.728*r_12_15+170853.309*r_12_16+102781.983*r_12_17+108875.949*r_12_18+230801.042*r_12_19+190469.232*r_12_20+197410.228*r_12_21+129109.234*r_12_22

+106089.369*r_12_23+65987.57*r_12_24+167914.29*r_12_25+185299.082*r_12_26+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+104682.921*r_12_39+171231.57*r_12_40+86599.887*r_12_41+188627.946*r_12_42+103161.303*r_12_43+50330.13*r_12_44

+154864.375*r_12_45+139832.025*r_12_46+182368.877*r_12_47+75589.26*r_12_48+92605.014*r_12_49+187519.132*r_12_50+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+169150.008*r_13_9+106553.786*r_13_10+203899.904*r_13_11+91252.624*r_13_12+59457.695*r_13_13+75598.167*r_13_14+66964.196*r_13_15+201675.045*r_13_16

+99664.897*r_13_17+116717.769*r_13_18+190086.316*r_13_19+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+140490.812*r_13_36+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+146886.636*r_14_7+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+77694.838*r_14_15+162856.782*r_14_16+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+155713.948*r_14_26+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+142938.24*r_14_32

+202574.77*r_14_33+213931.068*r_14_34+52818.936*r_14_35+145116.048*r_14_36+148130.064*r_14_37+54912.96*r_14_38+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+181056.12*r_14_45+154381.175*r_14_46+154380.155*r_14_47+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+163130.884*r_15_9+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+236890.613*r_15_19+165549.168*r_15_20+259052.992*r_15_21+173361.951*r_15_22+123195.373*r_15_23+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+122788.344*r_15_37

+51461.17*r_15_38+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+53596.22*r_15_44+182832.234*r_15_45+123814.075*r_15_46+177786.55*r_15_47+61534.476*r_15_48

+92204.136*r_15_49+213491.106*r_15_50+98478.5*r_16_1+179629.762*r_16_2+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+189985.598*r_16_9

+127230.992*r_16_10+165723.922*r_16_11+80267.616*r_16_12+68160.378*r_16_13+102186.949*r_16_14+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+172309.067*r_16_22+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+194952.555*r_16_28+63315.989*r_16_29+128900.325*r_16_30+122990.9*r_16_31

+130777.8*r_16_32+224062.174*r_16_33+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+57283.84*r_16_44+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+213705.844*r_17_21+155384.245*r_17_22+118709.188*r_17_23+50613.607*r_17_24+163890.614*r_17_25

+179332.932*r_17_26+58609.26*r_17_27+165863.11*r_17_28+60335.979*r_17_29+119841.375*r_17_30+142687.025*r_17_31+129281.184*r_17_32+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+51768.44*r_17_38+120872.493*r_17_39+171709.59*r_17_40+102639.37*r_17_41+232630.476*r_17_42+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+108731.214*r_17_49+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+103028.18*r_18_5+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+84615.36*r_18_12+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+166080.237*r_18_25+189597.566*r_18_26+68796.912*r_18_27+197874.565*r_18_28+58042.358*r_18_29+147674.675*r_18_30

+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+55802.77*r_18_44+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+93140.355*r_19_4+126347.56*r_19_5+183536.824*r_19_6+133278.47*r_19_7+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

+91760.016*r_19_14+75212.527*r_19_15+147005.001*r_19_16+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+160372.331*r_19_22+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+105410.823*r_19_39+145594.86*r_19_40+85476.204*r_19_41+199618.926*r_19_42+94464.972*r_19_43+56851.54*r_19_44+161268.107*r_19_45+128447.65*r_19_46

+152793.42*r_19_47+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+169215.786*r_20_9+84028.393*r_20_10+161132.494*r_20_11+75516.096*r_20_12+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+65918.435*r_20_29

+132445.85*r_20_30+135938.35*r_20_31+122393.16*r_20_32+158312.218*r_20_33+213840.822*r_20_34+67295.328*r_20_35+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

+87306.713*r_20_41+178042.176*r_20_42+108296.307*r_20_43+55045.76*r_20_44+178751.952*r_20_45+117559.45*r_20_46+161410.521*r_20_47+65614.236*r_20_48+94389.822*r_20_49+191425.418*r_20_50;

/* 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+16*r_1_12+11*r_1_13+17*r_1_14+13*r_1_15+33*r_1_16+17*r_1_17+21*r_1_18+37*r_1_19+36*r_1_20+38*r_1_21+31*r_1_22+19*r_1_23+11*r_1_24+31*r_1_25+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+10*r_1_38+21*r_1_39+30*r_1_40+17*r_1_41+39*r_1_42+21*r_1_43+10*r_1_44+31*r_1_45+25*r_1_46+31*r_1_47+12*r_1_48+18*r_1_49+38*r_1_50<=197;

20*r_2_1+38*r_2_2+18*r_2_3+15*r_2_4+20*r_2_5+29*r_2_6+26*r_2_7+28*r_2_8+38*r_2_9+19*r_2_10+34*r_2_11+16*r_2_12+11*r_2_13+17*r_2_14+13*r_2_15+33*r_2_16+17*r_2_17+21*r_2_18+37*r_2_19+36*r_2_20+38*r_2_21+31*r_2_22+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+38*r_2_33+39*r_2_34+12*r_2_35+28*r_2_36+24*r_2_37+10*r_2_38+21*r_2_39+30*r_2_40+17*r_2_41+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;

20*r_3_1+38*r_3_2+18*r_3_3+15*r_3_4+20*r_3_5+29*r_3_6+26*r_3_7+28*r_3_8+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+38*r_3_21+31*r_3_22+19*r_3_23+11*r_3_24+31*r_3_25+34*r_3_26+12*r_3_27+35*r_3_28+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+31*r_3_47+12*r_3_48+18*r_3_49+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+33*r_4_16+17*r_4_17+21*r_4_18+37*r_4_19+36*r_4_20+38*r_4_21+31*r_4_22+19*r_4_23+11*r_4_24+31*r_4_25+34*r_4_26+12*r_4_27+35*r_4_28+11*r_4_29+25*r_4_30+25*r_4_31+24*r_4_32+38*r_4_33+39*r_4_34+12*r_4_35+28*r_4_36+24*r_4_37+10*r_4_38+21*r_4_39+30*r_4_40+17*r_4_41+39*r_4_42+21*r_4_43+10*r_4_44+31*r_4_45+25*r_4_46+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+26*r_5_7+28*r_5_8+38*r_5_9+19*r_5_10+34*r_5_11+16*r_5_12+11*r_5_13+17*r_5_14+13*r_5_15+33*r_5_16+17*r_5_17+21*r_5_18+37*r_5_19+36*r_5_20+38*r_5_21+31*r_5_22+19*r_5_23+11*r_5_24+31*r_5_25+34*r_5_26+12*r_5_27+35*r_5_28+11*r_5_29+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+21*r_5_39+30*r_5_40+17*r_5_41+39*r_5_42+21*r_5_43+10*r_5_44+31*r_5_45+25*r_5_46+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+16*r_6_12+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+38*r_6_21+31*r_6_22+19*r_6_23+11*r_6_24+31*r_6_25+34*r_6_26+12*r_6_27+35*r_6_28+11*r_6_29+25*r_6_30+25*r_6_31+24*r_6_32+38*r_6_33+39*r_6_34+12*r_6_35+28*r_6_36+24*r_6_37+10*r_6_38+21*r_6_39+30*r_6_40+17*r_6_41+39*r_6_42+21*r_6_43+10*r_6_44+31*r_6_45+25*r_6_46+31*r_6_47+12*r_6_48+18*r_6_49+38*r_6_50<=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+26*r_7_7+28*r_7_8+38*r_7_9+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+38*r_7_21+31*r_7_22+19*r_7_23+11*r_7_24+31*r_7_25+34*r_7_26+12*r_7_27+35*r_7_28+11*r_7_29+25*r_7_30+25*r_7_31+24*r_7_32+38*r_7_33+39*r_7_34+12*r_7_35+28*r_7_36+24*r_7_37+10*r_7_38+21*r_7_39+30*r_7_40+17*r_7_41+39*r_7_42+21*r_7_43+10*r_7_44+31*r_7_45+25*r_7_46+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+15*r_8_4+20*r_8_5+29*r_8_6+26*r_8_7+28*r_8_8+38*r_8_9+19*r_8_10+34*r_8_11+16*r_8_12+11*r_8_13+17*r_8_14+13*r_8_15+33*r_8_16+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+31*r_8_25+34*r_8_26+12*r_8_27+35*r_8_28+11*r_8_29+25*r_8_30+25*r_8_31+24*r_8_32+38*r_8_33+39*r_8_34+12*r_8_35+28*r_8_36+24*r_8_37+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+12*r_8_48+18*r_8_49+38*r_8_50<=202;

20*r_9_1+38*r_9_2+18*r_9_3+15*r_9_4+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+13*r_9_15+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+31*r_9_25+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+12*r_9_35+28*r_9_36+24*r_9_37+10*r_9_38+21*r_9_39+30*r_9_40+17*r_9_41+39*r_9_42+21*r_9_43+10*r_9_44+31*r_9_45+25*r_9_46+31*r_9_47+12*r_9_48+18*r_9_49+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+29*r_10_6+26*r_10_7+28*r_10_8+38*r_10_9+19*r_10_10+34*r_10_11+16*r_10_12+11*r_10_13+17*r_10_14+13*r_10_15+33*r_10_16+17*r_10_17+21*r_10_18+37*r_10_19+36*r_10_20+38*r_10_21+31*r_10_22+19*r_10_23+11*r_10_24+31*r_10_25+34*r_10_26+12*r_10_27+35*r_10_28+11*r_10_29+25*r_10_30+25*r_10_31+24*r_10_32+38*r_10_33+39*r_10_34+12*r_10_35+28*r_10_36+24*r_10_37+10*r_10_38+21*r_10_39+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+31*r_10_47+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+20*r_11_5+29*r_11_6+26*r_11_7+28*r_11_8+38*r_11_9+19*r_11_10+34*r_11_11+16*r_11_12+11*r_11_13+17*r_11_14+13*r_11_15+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+34*r_11_26+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+10*r_11_38+21*r_11_39+30*r_11_40+17*r_11_41+39*r_11_42+21*r_11_43+10*r_11_44+31*r_11_45+25*r_11_46+31*r_11_47+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+16*r_12_12+11*r_12_13+17*r_12_14+13*r_12_15+33*r_12_16+17*r_12_17+21*r_12_18+37*r_12_19+36*r_12_20+38*r_12_21+31*r_12_22+19*r_12_23+11*r_12_24+31*r_12_25+34*r_12_26+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+21*r_12_39+30*r_12_40+17*r_12_41+39*r_12_42+21*r_12_43+10*r_12_44+31*r_12_45+25*r_12_46+31*r_12_47+12*r_12_48+18*r_12_49+38*r_12_50<=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+38*r_13_9+19*r_13_10+34*r_13_11+16*r_13_12+11*r_13_13+17*r_13_14+13*r_13_15+33*r_13_16+17*r_13_17+21*r_13_18+37*r_13_19+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+28*r_13_36+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+26*r_14_7+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+13*r_14_15+33*r_14_16+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+34*r_14_26+12*r_14_27+35*r_14_28+11*r_14_29+25*r_14_30+25*r_14_31+24*r_14_32+38*r_14_33+39*r_14_34+12*r_14_35+28*r_14_36+24*r_14_37+10*r_14_38+21*r_14_39+30*r_14_40+17*r_14_41+39*r_14_42+21*r_14_43+10*r_14_44+31*r_14_45+25*r_14_46+31*r_14_47+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+38*r_15_9+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+37*r_15_19+36*r_15_20+38*r_15_21+31*r_15_22+19*r_15_23+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+24*r_15_37+10*r_15_38+21*r_15_39+30*r_15_40+17*r_15_41+39*r_15_42+21*r_15_43+10*r_15_44+31*r_15_45+25*r_15_46+31*r_15_47+12*r_15_48+18*r_15_49+38*r_15_50<=156;

20*r_16_1+38*r_16_2+18*r_16_3+15*r_16_4+20*r_16_5+29*r_16_6+26*r_16_7+28*r_16_8+38*r_16_9+19*r_16_10+34*r_16_11+16*r_16_12+11*r_16_13+17*r_16_14+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+31*r_16_22+19*r_16_23+11*r_16_24+31*r_16_25+34*r_16_26+12*r_16_27+35*r_16_28+11*r_16_29+25*r_16_30+25*r_16_31+24*r_16_32+38*r_16_33+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+10*r_16_44+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+38*r_17_21+31*r_17_22+19*r_17_23+11*r_17_24+31*r_17_25+34*r_17_26+12*r_17_27+35*r_17_28+11*r_17_29+25*r_17_30+25*r_17_31+24*r_17_32+38*r_17_33+39*r_17_34+12*r_17_35+28*r_17_36+24*r_17_37+10*r_17_38+21*r_17_39+30*r_17_40+17*r_17_41+39*r_17_42+21*r_17_43+10*r_17_44+31*r_17_45+25*r_17_46+31*r_17_47+12*r_17_48+18*r_17_49+38*r_17_50<=218;

20*r_18_1+38*r_18_2+18*r_18_3+15*r_18_4+20*r_18_5+29*r_18_6+26*r_18_7+28*r_18_8+38*r_18_9+19*r_18_10+34*r_18_11+16*r_18_12+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+31*r_18_25+34*r_18_26+12*r_18_27+35*r_18_28+11*r_18_29+25*r_18_30+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+10*r_18_44+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+15*r_19_4+20*r_19_5+29*r_19_6+26*r_19_7+28*r_19_8+38*r_19_9+19*r_19_10+34*r_19_11+16*r_19_12+11*r_19_13+17*r_19_14+13*r_19_15+33*r_19_16+17*r_19_17+21*r_19_18+37*r_19_19+36*r_19_20+38*r_19_21+31*r_19_22+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+21*r_19_39+30*r_19_40+17*r_19_41+39*r_19_42+21*r_19_43+10*r_19_44+31*r_19_45+25*r_19_46+31*r_19_47+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+38*r_20_9+19*r_20_10+34*r_20_11+16*r_20_12+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+11*r_20_29+25*r_20_30+25*r_20_31+24*r_20_32+38*r_20_33+39*r_20_34+12*r_20_35+28*r_20_36+24*r_20_37+10*r_20_38+21*r_20_39+30*r_20_40+17*r_20_41+39*r_20_42+21*r_20_43+10*r_20_44+31*r_20_45+25*r_20_46+31*r_20_47+12*r_20_48+18*r_20_49+38*r_20_50<=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_12<=1;0<=r_1_13<=1;0<=r_1_14<=1;0<=r_1_15<=1;0<=r_1_16<=1;0<=r_1_17<=1;0<=r_1_18<=1;0<=r_1_19<=1;0<=r_1_20<=1;0<=r_1_21<=1;0<=r_1_22<=1;0<=r_1_23<=1;0<=r_1_24<=1;0<=r_1_25<=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_38<=1;0<=r_1_39<=1;0<=r_1_40<=1;0<=r_1_41<=1;0<=r_1_42<=1;0<=r_1_43<=1;0<=r_1_44<=1;0<=r_1_45<=1;0<=r_1_46<=1;0<=r_1_47<=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_3<=1;0<=r_2_4<=1;0<=r_2_5<=1;0<=r_2_6<=1;0<=r_2_7<=1;0<=r_2_8<=1;0<=r_2_9<=1;0<=r_2_10<=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_17<=1;0<=r_2_18<=1;0<=r_2_19<=1;0<=r_2_20<=1;0<=r_2_21<=1;0<=r_2_22<=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_33<=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_39<=1;0<=r_2_40<=1;0<=r_2_41<=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_1<=1;0<=r_3_2<=1;0<=r_3_3<=1;0<=r_3_4<=1;0<=r_3_5<=1;0<=r_3_6<=1;0<=r_3_7<=1;0<=r_3_8<=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_21<=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_28<=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_47<=1;0<=r_3_48<=1;0<=r_3_49<=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_16<=1;0<=r_4_17<=1;0<=r_4_18<=1;0<=r_4_19<=1;0<=r_4_20<=1;0<=r_4_21<=1;0<=r_4_22<=1;0<=r_4_23<=1;0<=r_4_24<=1;0<=r_4_25<=1;0<=r_4_26<=1;0<=r_4_27<=1;0<=r_4_28<=1;0<=r_4_29<=1;0<=r_4_30<=1;0<=r_4_31<=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_37<=1;0<=r_4_38<=1;0<=r_4_39<=1;0<=r_4_40<=1;0<=r_4_41<=1;0<=r_4_42<=1;0<=r_4_43<=1;0<=r_4_44<=1;0<=r_4_45<=1;0<=r_4_46<=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_7<=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_14<=1;0<=r_5_15<=1;0<=r_5_16<=1;0<=r_5_17<=1;0<=r_5_18<=1;0<=r_5_19<=1;0<=r_5_20<=1;0<=r_5_21<=1;0<=r_5_22<=1;0<=r_5_23<=1;0<=r_5_24<=1;0<=r_5_25<=1;0<=r_5_26<=1;0<=r_5_27<=1;0<=r_5_28<=1;0<=r_5_29<=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_39<=1;0<=r_5_40<=1;0<=r_5_41<=1;0<=r_5_42<=1;0<=r_5_43<=1;0<=r_5_44<=1;0<=r_5_45<=1;0<=r_5_46<=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_12<=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_21<=1;0<=r_6_22<=1;0<=r_6_23<=1;0<=r_6_24<=1;0<=r_6_25<=1;0<=r_6_26<=1;0<=r_6_27<=1;0<=r_6_28<=1;0<=r_6_29<=1;0<=r_6_30<=1;0<=r_6_31<=1;0<=r_6_32<=1;0<=r_6_33<=1;0<=r_6_34<=1;0<=r_6_35<=1;0<=r_6_36<=1;0<=r_6_37<=1;0<=r_6_38<=1;0<=r_6_39<=1;0<=r_6_40<=1;0<=r_6_41<=1;0<=r_6_42<=1;0<=r_6_43<=1;0<=r_6_44<=1;0<=r_6_45<=1;0<=r_6_46<=1;0<=r_6_47<=1;0<=r_6_48<=1;0<=r_6_49<=1;0<=r_6_50<=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_7<=1;0<=r_7_8<=1;0<=r_7_9<=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_21<=1;0<=r_7_22<=1;0<=r_7_23<=1;0<=r_7_24<=1;0<=r_7_25<=1;0<=r_7_26<=1;0<=r_7_27<=1;0<=r_7_28<=1;0<=r_7_29<=1;0<=r_7_30<=1;0<=r_7_31<=1;0<=r_7_32<=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_39<=1;0<=r_7_40<=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_46<=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_4<=1;0<=r_8_5<=1;0<=r_8_6<=1;0<=r_8_7<=1;0<=r_8_8<=1;0<=r_8_9<=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_16<=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_25<=1;0<=r_8_26<=1;0<=r_8_27<=1;0<=r_8_28<=1;0<=r_8_29<=1;0<=r_8_30<=1;0<=r_8_31<=1;0<=r_8_32<=1;0<=r_8_33<=1;0<=r_8_34<=1;0<=r_8_35<=1;0<=r_8_36<=1;0<=r_8_37<=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_48<=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_4<=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_15<=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_25<=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_35<=1;0<=r_9_36<=1;0<=r_9_37<=1;0<=r_9_38<=1;0<=r_9_39<=1;0<=r_9_40<=1;0<=r_9_41<=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_47<=1;0<=r_9_48<=1;0<=r_9_49<=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_6<=1;0<=r_10_7<=1;0<=r_10_8<=1;0<=r_10_9<=1;0<=r_10_10<=1;0<=r_10_11<=1;0<=r_10_12<=1;0<=r_10_13<=1;0<=r_10_14<=1;0<=r_10_15<=1;0<=r_10_16<=1;0<=r_10_17<=1;0<=r_10_18<=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_25<=1;0<=r_10_26<=1;0<=r_10_27<=1;0<=r_10_28<=1;0<=r_10_29<=1;0<=r_10_30<=1;0<=r_10_31<=1;0<=r_10_32<=1;0<=r_10_33<=1;0<=r_10_34<=1;0<=r_10_35<=1;0<=r_10_36<=1;0<=r_10_37<=1;0<=r_10_38<=1;0<=r_10_39<=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_47<=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_5<=1;0<=r_11_6<=1;0<=r_11_7<=1;0<=r_11_8<=1;0<=r_11_9<=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_15<=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_26<=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_38<=1;0<=r_11_39<=1;0<=r_11_40<=1;0<=r_11_41<=1;0<=r_11_42<=1;0<=r_11_43<=1;0<=r_11_44<=1;0<=r_11_45<=1;0<=r_11_46<=1;0<=r_11_47<=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_12<=1;0<=r_12_13<=1;0<=r_12_14<=1;0<=r_12_15<=1;0<=r_12_16<=1;0<=r_12_17<=1;0<=r_12_18<=1;0<=r_12_19<=1;0<=r_12_20<=1;0<=r_12_21<=1;0<=r_12_22<=1;0<=r_12_23<=1;0<=r_12_24<=1;0<=r_12_25<=1;0<=r_12_26<=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_39<=1;0<=r_12_40<=1;0<=r_12_41<=1;0<=r_12_42<=1;0<=r_12_43<=1;0<=r_12_44<=1;0<=r_12_45<=1;0<=r_12_46<=1;0<=r_12_47<=1;0<=r_12_48<=1;0<=r_12_49<=1;0<=r_12_50<=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_9<=1;0<=r_13_10<=1;0<=r_13_11<=1;0<=r_13_12<=1;0<=r_13_13<=1;0<=r_13_14<=1;0<=r_13_15<=1;0<=r_13_16<=1;0<=r_13_17<=1;0<=r_13_18<=1;0<=r_13_19<=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_36<=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_7<=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_15<=1;0<=r_14_16<=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_26<=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_32<=1;0<=r_14_33<=1;0<=r_14_34<=1;0<=r_14_35<=1;0<=r_14_36<=1;0<=r_14_37<=1;0<=r_14_38<=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_45<=1;0<=r_14_46<=1;0<=r_14_47<=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_9<=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_19<=1;0<=r_15_20<=1;0<=r_15_21<=1;0<=r_15_22<=1;0<=r_15_23<=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_37<=1;0<=r_15_38<=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_44<=1;0<=r_15_45<=1;0<=r_15_46<=1;0<=r_15_47<=1;0<=r_15_48<=1;0<=r_15_49<=1;0<=r_15_50<=1;

0<=r_16_1<=1;0<=r_16_2<=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_9<=1;0<=r_16_10<=1;0<=r_16_11<=1;0<=r_16_12<=1;0<=r_16_13<=1;0<=r_16_14<=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_22<=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_28<=1;0<=r_16_29<=1;0<=r_16_30<=1;0<=r_16_31<=1;0<=r_16_32<=1;0<=r_16_33<=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_44<=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_21<=1;0<=r_17_22<=1;0<=r_17_23<=1;0<=r_17_24<=1;0<=r_17_25<=1;0<=r_17_26<=1;0<=r_17_27<=1;0<=r_17_28<=1;0<=r_17_29<=1;0<=r_17_30<=1;0<=r_17_31<=1;0<=r_17_32<=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_38<=1;0<=r_17_39<=1;0<=r_17_40<=1;0<=r_17_41<=1;0<=r_17_42<=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_49<=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_5<=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_12<=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_25<=1;0<=r_18_26<=1;0<=r_18_27<=1;0<=r_18_28<=1;0<=r_18_29<=1;0<=r_18_30<=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_44<=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_4<=1;0<=r_19_5<=1;0<=r_19_6<=1;0<=r_19_7<=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_14<=1;0<=r_19_15<=1;0<=r_19_16<=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_22<=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_39<=1;0<=r_19_40<=1;0<=r_19_41<=1;0<=r_19_42<=1;0<=r_19_43<=1;0<=r_19_44<=1;0<=r_19_45<=1;0<=r_19_46<=1;0<=r_19_47<=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_9<=1;0<=r_20_10<=1;0<=r_20_11<=1;0<=r_20_12<=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_29<=1;0<=r_20_30<=1;0<=r_20_31<=1;0<=r_20_32<=1;0<=r_20_33<=1;0<=r_20_34<=1;0<=r_20_35<=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_41<=1;0<=r_20_42<=1;0<=r_20_43<=1;0<=r_20_44<=1;0<=r_20_45<=1;0<=r_20_46<=1;0<=r_20_47<=1;0<=r_20_48<=1;0<=r_20_49<=1;0<=r_20_50<=1;

/* each fragment is stored */

r_1_1+r_2_1+r_3_1+r_4_1+r_5_1+r_6_1+r_7_1+r_8_1+r_9_1+r_10_1+r_11_1+r_12_1+r_13_1+r_14_1+r_15_1+r_16_1+r_17_1+r_18_1+r_19_1+r_20_1>=1;

r_1_2+r_2_2+r_3_2+r_4_2+r_5_2+r_6_2+r_7_2+r_8_2+r_9_2+r_10_2+r_11_2+r_12_2+r_13_2+r_14_2+r_15_2+r_16_2+r_17_2+r_18_2+r_19_2+r_20_2>=1;

r_1_3+r_2_3+r_3_3+r_4_3+r_5_3+r_6_3+r_7_3+r_8_3+r_9_3+r_10_3+r_11_3+r_12_3+r_13_3+r_14_3+r_15_3+r_16_3+r_17_3+r_18_3+r_19_3+r_20_3>=1;

r_1_4+r_2_4+r_3_4+r_4_4+r_5_4+r_6_4+r_7_4+r_8_4+r_9_4+r_10_4+r_11_4+r_12_4+r_13_4+r_14_4+r_15_4+r_16_4+r_17_4+r_18_4+r_19_4+r_20_4>=1;

r_1_5+r_2_5+r_3_5+r_4_5+r_5_5+r_6_5+r_7_5+r_8_5+r_9_5+r_10_5+r_11_5+r_12_5+r_13_5+r_14_5+r_15_5+r_16_5+r_17_5+r_18_5+r_19_5+r_20_5>=1;

r_1_6+r_2_6+r_3_6+r_4_6+r_5_6+r_6_6+r_7_6+r_8_6+r_9_6+r_10_6+r_11_6+r_12_6+r_13_6+r_14_6+r_15_6+r_16_6+r_17_6+r_18_6+r_19_6+r_20_6>=1;

r_1_7+r_2_7+r_3_7+r_4_7+r_5_7+r_6_7+r_7_7+r_8_7+r_9_7+r_10_7+r_11_7+r_12_7+r_13_7+r_14_7+r_15_7+r_16_7+r_17_7+r_18_7+r_19_7+r_20_7>=1;

r_1_8+r_2_8+r_3_8+r_4_8+r_5_8+r_6_8+r_7_8+r_8_8+r_9_8+r_10_8+r_11_8+r_12_8+r_13_8+r_14_8+r_15_8+r_16_8+r_17_8+r_18_8+r_19_8+r_20_8>=1;

r_1_9+r_2_9+r_3_9+r_4_9+r_5_9+r_6_9+r_7_9+r_8_9+r_9_9+r_10_9+r_11_9+r_12_9+r_13_9+r_14_9+r_15_9+r_16_9+r_17_9+r_18_9+r_19_9+r_20_9>=1;

r_1_10+r_2_10+r_3_10+r_4_10+r_5_10+r_6_10+r_7_10+r_8_10+r_9_10+r_10_10+r_11_10+r_12_10+r_13_10+r_14_10+r_15_10+r_16_10+r_17_10+r_18_10+r_19_10+r_20_10>=1;

r_1_11+r_2_11+r_3_11+r_4_11+r_5_11+r_6_11+r_7_11+r_8_11+r_9_11+r_10_11+r_11_11+r_12_11+r_13_11+r_14_11+r_15_11+r_16_11+r_17_11+r_18_11+r_19_11+r_20_11>=1;

r_1_12+r_2_12+r_3_12+r_4_12+r_5_12+r_6_12+r_7_12+r_8_12+r_9_12+r_10_12+r_11_12+r_12_12+r_13_12+r_14_12+r_15_12+r_16_12+r_17_12+r_18_12+r_19_12+r_20_12>=1;

r_1_13+r_2_13+r_3_13+r_4_13+r_5_13+r_6_13+r_7_13+r_8_13+r_9_13+r_10_13+r_11_13+r_12_13+r_13_13+r_14_13+r_15_13+r_16_13+r_17_13+r_18_13+r_19_13+r_20_13>=1;

r_1_14+r_2_14+r_3_14+r_4_14+r_5_14+r_6_14+r_7_14+r_8_14+r_9_14+r_10_14+r_11_14+r_12_14+r_13_14+r_14_14+r_15_14+r_16_14+r_17_14+r_18_14+r_19_14+r_20_14>=1;

r_1_15+r_2_15+r_3_15+r_4_15+r_5_15+r_6_15+r_7_15+r_8_15+r_9_15+r_10_15+r_11_15+r_12_15+r_13_15+r_14_15+r_15_15+r_16_15+r_17_15+r_18_15+r_19_15+r_20_15>=1;

r_1_16+r_2_16+r_3_16+r_4_16+r_5_16+r_6_16+r_7_16+r_8_16+r_9_16+r_10_16+r_11_16+r_12_16+r_13_16+r_14_16+r_15_16+r_16_16+r_17_16+r_18_16+r_19_16+r_20_16>=1;

r_1_17+r_2_17+r_3_17+r_4_17+r_5_17+r_6_17+r_7_17+r_8_17+r_9_17+r_10_17+r_11_17+r_12_17+r_13_17+r_14_17+r_15_17+r_16_17+r_17_17+r_18_17+r_19_17+r_20_17>=1;

r_1_18+r_2_18+r_3_18+r_4_18+r_5_18+r_6_18+r_7_18+r_8_18+r_9_18+r_10_18+r_11_18+r_12_18+r_13_18+r_14_18+r_15_18+r_16_18+r_17_18+r_18_18+r_19_18+r_20_18>=1;

r_1_19+r_2_19+r_3_19+r_4_19+r_5_19+r_6_19+r_7_19+r_8_19+r_9_19+r_10_19+r_11_19+r_12_19+r_13_19+r_14_19+r_15_19+r_16_19+r_17_19+r_18_19+r_19_19+r_20_19>=1;

r_1_20+r_2_20+r_3_20+r_4_20+r_5_20+r_6_20+r_7_20+r_8_20+r_9_20+r_10_20+r_11_20+r_12_20+r_13_20+r_14_20+r_15_20+r_16_20+r_17_20+r_18_20+r_19_20+r_20_20>=1;

r_1_21+r_2_21+r_3_21+r_4_21+r_5_21+r_6_21+r_7_21+r_8_21+r_9_21+r_10_21+r_11_21+r_12_21+r_13_21+r_14_21+r_15_21+r_16_21+r_17_21+r_18_21+r_19_21+r_20_21>=1;

r_1_22+r_2_22+r_3_22+r_4_22+r_5_22+r_6_22+r_7_22+r_8_22+r_9_22+r_10_22+r_11_22+r_12_22+r_13_22+r_14_22+r_15_22+r_16_22+r_17_22+r_18_22+r_19_22+r_20_22>=1;

r_1_23+r_2_23+r_3_23+r_4_23+r_5_23+r_6_23+r_7_23+r_8_23+r_9_23+r_10_23+r_11_23+r_12_23+r_13_23+r_14_23+r_15_23+r_16_23+r_17_23+r_18_23+r_19_23+r_20_23>=1;

r_1_24+r_2_24+r_3_24+r_4_24+r_5_24+r_6_24+r_7_24+r_8_24+r_9_24+r_10_24+r_11_24+r_12_24+r_13_24+r_14_24+r_15_24+r_16_24+r_17_24+r_18_24+r_19_24+r_20_24>=1;

r_1_25+r_2_25+r_3_25+r_4_25+r_5_25+r_6_25+r_7_25+r_8_25+r_9_25+r_10_25+r_11_25+r_12_25+r_13_25+r_14_25+r_15_25+r_16_25+r_17_25+r_18_25+r_19_25+r_20_25>=1;

r_1_26+r_2_26+r_3_26+r_4_26+r_5_26+r_6_26+r_7_26+r_8_26+r_9_26+r_10_26+r_11_26+r_12_26+r_13_26+r_14_26+r_15_26+r_16_26+r_17_26+r_18_26+r_19_26+r_20_26>=1;

r_1_27+r_2_27+r_3_27+r_4_27+r_5_27+r_6_27+r_7_27+r_8_27+r_9_27+r_10_27+r_11_27+r_12_27+r_13_27+r_14_27+r_15_27+r_16_27+r_17_27+r_18_27+r_19_27+r_20_27>=1;

r_1_28+r_2_28+r_3_28+r_4_28+r_5_28+r_6_28+r_7_28+r_8_28+r_9_28+r_10_28+r_11_28+r_12_28+r_13_28+r_14_28+r_15_28+r_16_28+r_17_28+r_18_28+r_19_28+r_20_28>=1;

r_1_29+r_2_29+r_3_29+r_4_29+r_5_29+r_6_29+r_7_29+r_8_29+r_9_29+r_10_29+r_11_29+r_12_29+r_13_29+r_14_29+r_15_29+r_16_29+r_17_29+r_18_29+r_19_29+r_20_29>=1;

r_1_30+r_2_30+r_3_30+r_4_30+r_5_30+r_6_30+r_7_30+r_8_30+r_9_30+r_10_30+r_11_30+r_12_30+r_13_30+r_14_30+r_15_30+r_16_30+r_17_30+r_18_30+r_19_30+r_20_30>=1;

r_1_31+r_2_31+r_3_31+r_4_31+r_5_31+r_6_31+r_7_31+r_8_31+r_9_31+r_10_31+r_11_31+r_12_31+r_13_31+r_14_31+r_15_31+r_16_31+r_17_31+r_18_31+r_19_31+r_20_31>=1;

r_1_32+r_2_32+r_3_32+r_4_32+r_5_32+r_6_32+r_7_32+r_8_32+r_9_32+r_10_32+r_11_32+r_12_32+r_13_32+r_14_32+r_15_32+r_16_32+r_17_32+r_18_32+r_19_32+r_20_32>=1;

r_1_33+r_2_33+r_3_33+r_4_33+r_5_33+r_6_33+r_7_33+r_8_33+r_9_33+r_10_33+r_11_33+r_12_33+r_13_33+r_14_33+r_15_33+r_16_33+r_17_33+r_18_33+r_19_33+r_20_33>=1;

r_1_34+r_2_34+r_3_34+r_4_34+r_5_34+r_6_34+r_7_34+r_8_34+r_9_34+r_10_34+r_11_34+r_12_34+r_13_34+r_14_34+r_15_34+r_16_34+r_17_34+r_18_34+r_19_34+r_20_34>=1;

r_1_35+r_2_35+r_3_35+r_4_35+r_5_35+r_6_35+r_7_35+r_8_35+r_9_35+r_10_35+r_11_35+r_12_35+r_13_35+r_14_35+r_15_35+r_16_35+r_17_35+r_18_35+r_19_35+r_20_35>=1;

r_1_36+r_2_36+r_3_36+r_4_36+r_5_36+r_6_36+r_7_36+r_8_36+r_9_36+r_10_36+r_11_36+r_12_36+r_13_36+r_14_36+r_15_36+r_16_36+r_17_36+r_18_36+r_19_36+r_20_36>=1;

r_1_37+r_2_37+r_3_37+r_4_37+r_5_37+r_6_37+r_7_37+r_8_37+r_9_37+r_10_37+r_11_37+r_12_37+r_13_37+r_14_37+r_15_37+r_16_37+r_17_37+r_18_37+r_19_37+r_20_37>=1;

r_1_38+r_2_38+r_3_38+r_4_38+r_5_38+r_6_38+r_7_38+r_8_38+r_9_38+r_10_38+r_11_38+r_12_38+r_13_38+r_14_38+r_15_38+r_16_38+r_17_38+r_18_38+r_19_38+r_20_38>=1;

r_1_39+r_2_39+r_3_39+r_4_39+r_5_39+r_6_39+r_7_39+r_8_39+r_9_39+r_10_39+r_11_39+r_12_39+r_13_39+r_14_39+r_15_39+r_16_39+r_17_39+r_18_39+r_19_39+r_20_39>=1;

r_1_40+r_2_40+r_3_40+r_4_40+r_5_40+r_6_40+r_7_40+r_8_40+r_9_40+r_10_40+r_11_40+r_12_40+r_13_40+r_14_40+r_15_40+r_16_40+r_17_40+r_18_40+r_19_40+r_20_40>=1;

r_1_41+r_2_41+r_3_41+r_4_41+r_5_41+r_6_41+r_7_41+r_8_41+r_9_41+r_10_41+r_11_41+r_12_41+r_13_41+r_14_41+r_15_41+r_16_41+r_17_41+r_18_41+r_19_41+r_20_41>=1;

r_1_42+r_2_42+r_3_42+r_4_42+r_5_42+r_6_42+r_7_42+r_8_42+r_9_42+r_10_42+r_11_42+r_12_42+r_13_42+r_14_42+r_15_42+r_16_42+r_17_42+r_18_42+r_19_42+r_20_42>=1;

r_1_43+r_2_43+r_3_43+r_4_43+r_5_43+r_6_43+r_7_43+r_8_43+r_9_43+r_10_43+r_11_43+r_12_43+r_13_43+r_14_43+r_15_43+r_16_43+r_17_43+r_18_43+r_19_43+r_20_43>=1;

r_1_44+r_2_44+r_3_44+r_4_44+r_5_44+r_6_44+r_7_44+r_8_44+r_9_44+r_10_44+r_11_44+r_12_44+r_13_44+r_14_44+r_15_44+r_16_44+r_17_44+r_18_44+r_19_44+r_20_44>=1;

r_1_45+r_2_45+r_3_45+r_4_45+r_5_45+r_6_45+r_7_45+r_8_45+r_9_45+r_10_45+r_11_45+r_12_45+r_13_45+r_14_45+r_15_45+r_16_45+r_17_45+r_18_45+r_19_45+r_20_45>=1;

r_1_46+r_2_46+r_3_46+r_4_46+r_5_46+r_6_46+r_7_46+r_8_46+r_9_46+r_10_46+r_11_46+r_12_46+r_13_46+r_14_46+r_15_46+r_16_46+r_17_46+r_18_46+r_19_46+r_20_46>=1;

r_1_47+r_2_47+r_3_47+r_4_47+r_5_47+r_6_47+r_7_47+r_8_47+r_9_47+r_10_47+r_11_47+r_12_47+r_13_47+r_14_47+r_15_47+r_16_47+r_17_47+r_18_47+r_19_47+r_20_47>=1;

r_1_48+r_2_48+r_3_48+r_4_48+r_5_48+r_6_48+r_7_48+r_8_48+r_9_48+r_10_48+r_11_48+r_12_48+r_13_48+r_14_48+r_15_48+r_16_48+r_17_48+r_18_48+r_19_48+r_20_48>=1;

r_1_49+r_2_49+r_3_49+r_4_49+r_5_49+r_6_49+r_7_49+r_8_49+r_9_49+r_10_49+r_11_49+r_12_49+r_13_49+r_14_49+r_15_49+r_16_49+r_17_49+r_18_49+r_19_49+r_20_49>=1;

r_1_50+r_2_50+r_3_50+r_4_50+r_5_50+r_6_50+r_7_50+r_8_50+r_9_50+r_10_50+r_11_50+r_12_50+r_13_50+r_14_50+r_15_50+r_16_50+r_17_50+r_18_50+r_19_50+r_20_50>=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_12,r_1_13,r_1_14,r_1_15,r_1_16,r_1_17,r_1_18,r_1_19,r_1_20,r_1_21,r_1_22,r_1_23,r_1_24,r_1_25,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_38,r_1_39,r_1_40,r_1_41,r_1_42,r_1_43,r_1_44,r_1_45,r_1_46,r_1_47,r_1_48,r_1_49,r_1_50;

int r_2_1,r_2_2,r_2_3,r_2_4,r_2_5,r_2_6,r_2_7,r_2_8,r_2_9,r_2_10,r_2_11,r_2_12,r_2_13,r_2_14,r_2_15,r_2_16,r_2_17,r_2_18,r_2_19,r_2_20,r_2_21,r_2_22,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_33,r_2_34,r_2_35,r_2_36,r_2_37,r_2_38,r_2_39,r_2_40,r_2_41,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_1,r_3_2,r_3_3,r_3_4,r_3_5,r_3_6,r_3_7,r_3_8,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_21,r_3_22,r_3_23,r_3_24,r_3_25,r_3_26,r_3_27,r_3_28,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_47,r_3_48,r_3_49,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_16,r_4_17,r_4_18,r_4_19,r_4_20,r_4_21,r_4_22,r_4_23,r_4_24,r_4_25,r_4_26,r_4_27,r_4_28,r_4_29,r_4_30,r_4_31,r_4_32,r_4_33,r_4_34,r_4_35,r_4_36,r_4_37,r_4_38,r_4_39,r_4_40,r_4_41,r_4_42,r_4_43,r_4_44,r_4_45,r_4_46,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_7,r_5_8,r_5_9,r_5_10,r_5_11,r_5_12,r_5_13,r_5_14,r_5_15,r_5_16,r_5_17,r_5_18,r_5_19,r_5_20,r_5_21,r_5_22,r_5_23,r_5_24,r_5_25,r_5_26,r_5_27,r_5_28,r_5_29,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_39,r_5_40,r_5_41,r_5_42,r_5_43,r_5_44,r_5_45,r_5_46,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_12,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_21,r_6_22,r_6_23,r_6_24,r_6_25,r_6_26,r_6_27,r_6_28,r_6_29,r_6_30,r_6_31,r_6_32,r_6_33,r_6_34,r_6_35,r_6_36,r_6_37,r_6_38,r_6_39,r_6_40,r_6_41,r_6_42,r_6_43,r_6_44,r_6_45,r_6_46,r_6_47,r_6_48,r_6_49,r_6_50;

int r_7_1,r_7_2,r_7_3,r_7_4,r_7_5,r_7_6,r_7_7,r_7_8,r_7_9,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_21,r_7_22,r_7_23,r_7_24,r_7_25,r_7_26,r_7_27,r_7_28,r_7_29,r_7_30,r_7_31,r_7_32,r_7_33,r_7_34,r_7_35,r_7_36,r_7_37,r_7_38,r_7_39,r_7_40,r_7_41,r_7_42,r_7_43,r_7_44,r_7_45,r_7_46,r_7_47,r_7_48,r_7_49,r_7_50;

int r_8_1,r_8_2,r_8_3,r_8_4,r_8_5,r_8_6,r_8_7,r_8_8,r_8_9,r_8_10,r_8_11,r_8_12,r_8_13,r_8_14,r_8_15,r_8_16,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_25,r_8_26,r_8_27,r_8_28,r_8_29,r_8_30,r_8_31,r_8_32,r_8_33,r_8_34,r_8_35,r_8_36,r_8_37,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_48,r_8_49,r_8_50;

int r_9_1,r_9_2,r_9_3,r_9_4,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_15,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_25,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_35,r_9_36,r_9_37,r_9_38,r_9_39,r_9_40,r_9_41,r_9_42,r_9_43,r_9_44,r_9_45,r_9_46,r_9_47,r_9_48,r_9_49,r_9_50;

int r_10_1,r_10_2,r_10_3,r_10_4,r_10_5,r_10_6,r_10_7,r_10_8,r_10_9,r_10_10,r_10_11,r_10_12,r_10_13,r_10_14,r_10_15,r_10_16,r_10_17,r_10_18,r_10_19,r_10_20,r_10_21,r_10_22,r_10_23,r_10_24,r_10_25,r_10_26,r_10_27,r_10_28,r_10_29,r_10_30,r_10_31,r_10_32,r_10_33,r_10_34,r_10_35,r_10_36,r_10_37,r_10_38,r_10_39,r_10_40,r_10_41,r_10_42,r_10_43,r_10_44,r_10_45,r_10_46,r_10_47,r_10_48,r_10_49,r_10_50;

int r_11_1,r_11_2,r_11_3,r_11_4,r_11_5,r_11_6,r_11_7,r_11_8,r_11_9,r_11_10,r_11_11,r_11_12,r_11_13,r_11_14,r_11_15,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_26,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_38,r_11_39,r_11_40,r_11_41,r_11_42,r_11_43,r_11_44,r_11_45,r_11_46,r_11_47,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_12,r_12_13,r_12_14,r_12_15,r_12_16,r_12_17,r_12_18,r_12_19,r_12_20,r_12_21,r_12_22,r_12_23,r_12_24,r_12_25,r_12_26,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_39,r_12_40,r_12_41,r_12_42,r_12_43,r_12_44,r_12_45,r_12_46,r_12_47,r_12_48,r_12_49,r_12_50;

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_9,r_13_10,r_13_11,r_13_12,r_13_13,r_13_14,r_13_15,r_13_16,r_13_17,r_13_18,r_13_19,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_36,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_7,r_14_8,r_14_9,r_14_10,r_14_11,r_14_12,r_14_13,r_14_14,r_14_15,r_14_16,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_26,r_14_27,r_14_28,r_14_29,r_14_30,r_14_31,r_14_32,r_14_33,r_14_34,r_14_35,r_14_36,r_14_37,r_14_38,r_14_39,r_14_40,r_14_41,r_14_42,r_14_43,r_14_44,r_14_45,r_14_46,r_14_47,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_9,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_19,r_15_20,r_15_21,r_15_22,r_15_23,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_37,r_15_38,r_15_39,r_15_40,r_15_41,r_15_42,r_15_43,r_15_44,r_15_45,r_15_46,r_15_47,r_15_48,r_15_49,r_15_50;

int r_16_1,r_16_2,r_16_3,r_16_4,r_16_5,r_16_6,r_16_7,r_16_8,r_16_9,r_16_10,r_16_11,r_16_12,r_16_13,r_16_14,r_16_15,r_16_16,r_16_17,r_16_18,r_16_19,r_16_20,r_16_21,r_16_22,r_16_23,r_16_24,r_16_25,r_16_26,r_16_27,r_16_28,r_16_29,r_16_30,r_16_31,r_16_32,r_16_33,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_44,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_21,r_17_22,r_17_23,r_17_24,r_17_25,r_17_26,r_17_27,r_17_28,r_17_29,r_17_30,r_17_31,r_17_32,r_17_33,r_17_34,r_17_35,r_17_36,r_17_37,r_17_38,r_17_39,r_17_40,r_17_41,r_17_42,r_17_43,r_17_44,r_17_45,r_17_46,r_17_47,r_17_48,r_17_49,r_17_50;

int r_18_1,r_18_2,r_18_3,r_18_4,r_18_5,r_18_6,r_18_7,r_18_8,r_18_9,r_18_10,r_18_11,r_18_12,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_25,r_18_26,r_18_27,r_18_28,r_18_29,r_18_30,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_44,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_4,r_19_5,r_19_6,r_19_7,r_19_8,r_19_9,r_19_10,r_19_11,r_19_12,r_19_13,r_19_14,r_19_15,r_19_16,r_19_17,r_19_18,r_19_19,r_19_20,r_19_21,r_19_22,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_39,r_19_40,r_19_41,r_19_42,r_19_43,r_19_44,r_19_45,r_19_46,r_19_47,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_9,r_20_10,r_20_11,r_20_12,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_29,r_20_30,r_20_31,r_20_32,r_20_33,r_20_34,r_20_35,r_20_36,r_20_37,r_20_38,r_20_39,r_20_40,r_20_41,r_20_42,r_20_43,r_20_44,r_20_45,r_20_46,r_20_47,r_20_48,r_20_49,r_20_50;