/* variables: r_idsnode_idfragment */

/* function */

max: 7017367.6*r_1_2+10254007.8*r_1_3+7928086.92*r_1_4+6051942.094*r_1_5+9535699.476*r_1_6+9326008.404*r_1_7+4556180.08*r_1_8+10114819.611*r_1_12+8539865.027*r_1_13+3573410.526*r_1_14+6418183.176*r_1_15

+5768271.916*r_1_16+2904538.56*r_1_17+5815803.336*r_1_18+3844489.964*r_1_19+8827051.072*r_1_20+6716156.625*r_1_21+9446626.584*r_1_22+9211459.724*r_1_23+11070924.93*r_1_24+4529590.755*r_1_26+5570245.827*r_1_27

+8606041.719*r_1_28+10001025.294*r_1_31+4603413.663*r_1_32+9352219.428*r_1_33+8083834.651*r_1_34+10776272.796*r_1_35+3158907.565*r_1_36+6142560.984*r_1_37+6181696.29*r_1_38+9473976.765*r_1_39+5714862.23*r_1_40

+3224626.848*r_1_41+4695866.816*r_1_43+6565593.3*r_1_45+5380577.054*r_1_46+4530452.224*r_1_47+9242424.8*r_1_48+6208860.174*r_1_49+5124613.767*r_1_50+9387579.744*r_1_51+2704934.64*r_1_52+9527005.976*r_1_53

+6224630.256*r_1_54+7714398.025*r_1_55+4344330.78*r_1_56+8361273.426*r_1_57+4407649.936*r_1_58+8104411.53*r_1_61+5781490.726*r_1_63+3024593.736*r_1_64+10193386.047*r_1_65+6153972.816*r_1_66+3898066.77*r_1_68

+7287229.066*r_1_69+5035887.522*r_1_70+3573257.792*r_1_72+10570735.539*r_1_73+5933512.284*r_1_74+8786101.74*r_1_75+2764841.18*r_1_76+7801782.304*r_1_81+4319909.568*r_1_82+7348109.188*r_1_86+6643436.978*r_1_87

+8508711.57*r_1_88+9922094.928*r_1_89+4697223.913*r_1_90+3697269.31*r_1_91+3833075.512*r_1_92+4930064.991*r_1_93+4469208.455*r_1_94+6613740.648*r_1_95+3392727.552*r_1_96+3254466.9*r_1_97+4317071.216*r_1_98

+6440617.925*r_2_2+9475351.92*r_2_3+7639447.32*r_2_4+10378738.944*r_2_7+4115725.312*r_2_8+4025369.1*r_2_9+5518860.745*r_2_10+7905299.164*r_2_11+11058636.654*r_2_12+8637685.341*r_2_13+6822553.08*r_2_15

+5700067.252*r_2_16+2799265.46*r_2_17+5838417.984*r_2_18+8533540.416*r_2_20+11024580.902*r_2_22+8760804.208*r_2_23+10558012.959*r_2_24+8888557.623*r_2_25+4657489.609*r_2_26+8548731.461*r_2_28+9037692.9*r_2_29

+8201263.224*r_2_30+10122301.836*r_2_33+7978910.041*r_2_34+10218521.196*r_2_35+3173210.183*r_2_36+6853749.6*r_2_37+8426271.414*r_2_39+6000182.034*r_2_40+3483482.844*r_2_41+8379577.752*r_2_42+4374654.176*r_2_43

+10819518.355*r_2_44+6446785.2*r_2_45+5117664.459*r_2_46+4780261.696*r_2_47+8438353.568*r_2_48+5953879.426*r_2_49+5463515.652*r_2_50+9955185.84*r_2_51+2961638.32*r_2_52+10476889.697*r_2_53+6316988.784*r_2_54

+8626545.494*r_2_55+9207591.492*r_2_57+3639602.512*r_2_60+7925755.32*r_2_61+8997051.665*r_2_62+7046969.402*r_2_63+3394681.212*r_2_64+7096837.392*r_2_66+2623208.71*r_2_67+4311885.24*r_2_68+6839427.192*r_2_69

+9647788.99*r_2_71+8347328.19*r_2_75+2646210.6*r_2_76+4619299.636*r_2_77+2899324.81*r_2_78+8653924.35*r_2_79+4244559.088*r_2_80+8074717.196*r_2_81+4649858.176*r_2_82+8349136.69*r_2_83+4756383.284*r_2_85

+6340345.186*r_2_87+8833405.14*r_2_88+9900288.828*r_2_89+4763479.016*r_2_90+3894356.872*r_2_92+4951374.44*r_2_93+4810913.045*r_2_94+6914422.104*r_2_95+3164534.724*r_2_96+3289943.796*r_2_100+6056220.72*r_3_1

+6955604.7*r_3_2+8346616.53*r_3_4+6176162.08*r_3_5+9995482.044*r_3_6+5239177.154*r_3_10+9301750.446*r_3_13+7048759.56*r_3_15+2709602.9*r_3_17+8525571.616*r_3_20+6986231.5*r_3_21+10194479.205*r_3_22

+9338417.832*r_3_23+10634945.1*r_3_24+9153076.878*r_3_25+4470525.581*r_3_26+8463852.42*r_3_29+9333474.975*r_3_30+4614390.07*r_3_32+10315852.524*r_3_33+10454929.092*r_3_35+6599719.728*r_3_37+6454588.426*r_3_38

+9504130.251*r_3_39+5825652.206*r_3_40+3454372.884*r_3_41+7414379.784*r_3_42+4420350.704*r_3_43+10496282.803*r_3_44+7073052.525*r_3_45+4546332.176*r_3_47+6119583.36*r_3_49+5763041.802*r_3_50+9727966.728*r_3_51

+2743937.08*r_3_52+10796667.858*r_3_53+6654348.504*r_3_54+8358999.498*r_3_55+4410342.705*r_3_56+8825888.841*r_3_57+4370288.592*r_3_58+5823758.493*r_3_59+3437950.711*r_3_60+8283155.34*r_3_61+9889605.985*r_3_62

+6384581.753*r_3_63+3078373.188*r_3_64+10748716.485*r_3_65+2868766.23*r_3_67+4375536.735*r_3_68+7248587.866*r_3_69+5152215.834*r_3_70+3780674.885*r_3_72+10725660.153*r_3_73+8573490.42*r_3_75+2877941.35*r_3_76

+4739763.795*r_3_77+2874017.24*r_3_78+8487371.983*r_3_79+4510590.176*r_3_80+7817830.759*r_3_81+6997159.566*r_3_84+4467287.54*r_3_85+6320476.935*r_3_87+8577727.11*r_3_88+5382011.181*r_3_90+4900539.272*r_3_93

+6181070.232*r_3_95+3515396.196*r_3_96+3077384.604*r_3_97+4375985.616*r_3_98+3386201.004*r_3_99+3350797.092*r_3_100+6094648.45*r_4_1+6930974.175*r_4_2+9486770.004*r_4_3+10822408.308*r_4_6+9409996.332*r_4_7

+4608431.36*r_4_8+4413845.01*r_4_9+5311350.896*r_4_10+7654932.32*r_4_11+10431759.117*r_4_12+8567209.786*r_4_13+3879218.336*r_4_14+6078544.582*r_4_16+5484524.703*r_4_18+4017145.426*r_4_19+8715279.488*r_4_20

+6827804.9*r_4_21+10450119.309*r_4_22+9401370.464*r_4_23+10209280.926*r_4_24+8976771.111*r_4_25+4607119.391*r_4_26+5404256.222*r_4_27+8262832.225*r_4_28+8206133.94*r_4_29+9326132.739*r_4_30+10926031.857*r_4_31

+9635037.408*r_4_33+9543052.764*r_4_35+6632482.464*r_4_37+6503088.548*r_4_38+9486973.254*r_4_39+6052436.324*r_4_40+3185741.232*r_4_41+7757106.98*r_4_42+9924450.652*r_4_44+6702168.55*r_4_45+4309955.312*r_4_47

+6362890.006*r_4_49+5703957.021*r_4_50+2547083.24*r_4_52+9599649.408*r_4_53+6398081.256*r_4_54+7762333.401*r_4_55+4022017.5*r_4_56+9241053.393*r_4_57+4365893.776*r_4_58+6031371.318*r_4_59+8364237.87*r_4_61

+6571650.091*r_4_63+3278679.84*r_4_64+10899909.267*r_4_65+2569254.38*r_4_67+4148833.515*r_4_68+7596013.152*r_4_69+4945660.38*r_4_70+8867079.165*r_4_71+3315415.532*r_4_72+10908458.652*r_4_73+8482745.76*r_4_75

+4487885.998*r_4_77+2824973.01*r_4_78+4624014.896*r_4_80+7579828.31*r_4_81+4288417.328*r_4_82+8819621.706*r_4_83+7374079.161*r_4_84+4695302.454*r_4_85+7577863.44*r_4_86+6321815.558*r_4_87+7982767.89*r_4_88

+9536955.48*r_4_89+4449027.5*r_4_90+3974129.278*r_4_92+4891428.632*r_4_93+4366940.807*r_4_94+3233380.416*r_4_96+3345901.74*r_4_97+4167549.216*r_4_98+3161441.772*r_4_99+3323652.78*r_4_100+6173724.216*r_5_1

+6674732.6*r_5_2+9671248.404*r_5_3+7923922.2*r_5_4+6031821.928*r_5_5+10035585*r_5_6+9698671.368*r_5_7+4313155.76*r_5_8+4001994.3*r_5_9+7651727.356*r_5_11+10932128.181*r_5_12+4035908.632*r_5_14

+7045188.48*r_5_15+6061275.572*r_5_16+2841719.08*r_5_17+6232803.822*r_5_18+9018633.856*r_5_20+6988138.3*r_5_21+10061079.294*r_5_22+9884409.042*r_5_23+10750102.779*r_5_24+8525330.847*r_5_25+4666077.788*r_5_26

+5438523.672*r_5_27+8649674.002*r_5_28+8074648.83*r_5_29+9728588.199*r_5_30+10546841.643*r_5_31+10135306.764*r_5_33+7449926.58*r_5_34+10393619.796*r_5_35+2833641.349*r_5_36+6156639.24*r_5_37+6770273.818*r_5_38

+9098864.28*r_5_39+5847678.078*r_5_40+3461195.856*r_5_41+10073969.391*r_5_44+8270499.328*r_5_48+6534046.09*r_5_49+5326467.888*r_5_50+9810524.016*r_5_51+9724132.541*r_5_53+6293000.016*r_5_54+8590690.213*r_5_55

+4122845.175*r_5_56+8914123.482*r_5_57+4356263.28*r_5_58+5798336.544*r_5_59+3294865.613*r_5_60+6519765.357*r_5_63+3275850.264*r_5_64+11505831.324*r_5_65+6280351.128*r_5_66+2799257.49*r_5_67+7703901.998*r_5_69

+4989452.04*r_5_70+9812864.11*r_5_71+3690897.496*r_5_72+5664896.811*r_5_74+2688887.86*r_5_76+4937395.17*r_5_77+8425113.629*r_5_79+7359215.972*r_5_81+4542577.536*r_5_82+7589192.103*r_5_84+4723684.736*r_5_85

+8499218.97*r_5_88+9954240.12*r_5_89+4635307.023*r_5_90+3793477.478*r_5_91+3725282.092*r_5_92+4857471.013*r_5_93+4544007.639*r_5_94+6005483.352*r_5_95+3269861.16*r_5_96+3263179.236*r_5_97+4670618.928*r_5_98

+3258350.988*r_5_99+5879826.436*r_6_1+6597269.125*r_6_2+9784964.844*r_6_3+8666097.24*r_6_4+6292784.058*r_6_5+9326527.2*r_6_6+10206781.596*r_6_7+3727771.275*r_6_9+4888113.622*r_6_10+7657128.948*r_6_11

+10473117.174*r_6_12+8920179.537*r_6_13+3954785.884*r_6_14+6515425.84*r_6_16+2780455.23*r_6_17+5494321.077*r_6_18+10175752.987*r_6_22+9393349.354*r_6_23+10352526.678*r_6_24+8603933.349*r_6_25+4613915.94*r_6_26

+8152254.109*r_6_28+8343873.66*r_6_29+8342344.065*r_6_30+10589460.102*r_6_31+9820146.888*r_6_33+7493980.828*r_6_34+9729204.084*r_6_35+6482240.808*r_6_37+6004216.108*r_6_38+3035286.336*r_6_41+7658841.876*r_6_42

+9711743.609*r_6_44+5346735.546*r_6_46+4412330.592*r_6_47+9268235.316*r_6_51+2542988.54*r_6_52+10360894.031*r_6_53+6339947.304*r_6_54+8349495.125*r_6_55+3871104.24*r_6_56+3794176.592*r_6_58+3538911.662*r_6_60

+6477386.845*r_6_63+3291650.616*r_6_64+6720143.664*r_6_66+2668509.64*r_6_67+3757091.565*r_6_68+7418056.906*r_6_69+9773429.68*r_6_71+3288161.669*r_6_72+10554077.352*r_6_73+8018359.86*r_6_75+4532854.67*r_6_77

+8532030.893*r_6_79+4454338.864*r_6_82+7828602.143*r_6_83+6653434.851*r_6_84+4490792.471*r_6_85+7504755.328*r_6_86+10508110.056*r_6_89+3624346.432*r_6_92+4510993.112*r_6_93+4318144.313*r_6_94+3201938.94*r_6_96

+3249849.972*r_6_97+4861280.848*r_6_98+3401382.3*r_6_100+5813177.832*r_7_1+9745984.116*r_7_3+5959804.862*r_7_5+10383093.756*r_7_6+4455353.36*r_7_8+5149085.823*r_7_10+7377480.908*r_7_11+10137906.48*r_7_12

+9293188.308*r_7_13+4084217.494*r_7_14+6226019.316*r_7_16+2857306.73*r_7_17+5723513.523*r_7_18+8391793.984*r_7_20+7060626.15*r_7_21+10273413.932*r_7_22+8683134.71*r_7_23+10672951.653*r_7_24+9359669.946*r_7_25

+4308920.912*r_7_26+5406329.92*r_7_27+8926075.21*r_7_28+8592042.954*r_7_30+10362974.622*r_7_31+4719053.987*r_7_32+9575415.108*r_7_35+2896641.143*r_7_36+6544775.784*r_7_37+3056376.444*r_7_41+10172010.881*r_7_44

+7061725.325*r_7_45+5043303.38*r_7_46+4668999.92*r_7_47+8494655.648*r_7_48+5876863.696*r_7_49+5880791.301*r_7_50+9899366.508*r_7_51+2866995.15*r_7_52+10587584.003*r_7_53+6421804.152*r_7_54+8652351.608*r_7_55

+4497364.365*r_7_56+8941774.611*r_7_57+4586968.928*r_7_58+6094952.808*r_7_59+3639596.298*r_7_60+8603828.4*r_7_61+9486676.535*r_7_62+6130442.011*r_7_63+3545754.84*r_7_64+10064003.001*r_7_65+6649855.944*r_7_66

+7316510.812*r_7_69+5436252.234*r_7_70+10002743.66*r_7_71+3520368.93*r_7_72+10354031.493*r_7_73+8567274.27*r_7_75+2388159.14*r_7_76+4934126.937*r_7_77+2799934.36*r_7_78+8542855.845*r_7_79+4431165.584*r_7_80

+8199613.178*r_7_81+4627196.496*r_7_82+7280010.297*r_7_84+4672838.365*r_7_85+7477421.924*r_7_86+8533401.9*r_7_88+9395586.684*r_7_89+4684777.533*r_7_90+4127292.498*r_7_91+3669033.718*r_7_92+4982611.209*r_7_93

+6460696.44*r_7_95+3399606.552*r_7_96+3534257.652*r_7_97+4476265.952*r_7_98+3276771.828*r_7_99+3137928.324*r_7_100+5827912.684*r_8_1+6755300.175*r_8_2+10249388.568*r_8_3+7992499.29*r_8_4+5742935.814*r_8_5

+4197037.424*r_8_8+4948366.65*r_8_10+7400301.552*r_8_11+11063610.402*r_8_12+8855663.112*r_8_13+6511021.728*r_8_15+5518546.946*r_8_16+2867169.8*r_8_17+3778826.87*r_8_19+6220058.075*r_8_21+10827685.143*r_8_22

+9641154.546*r_8_23+11164580.349*r_8_24+4405356.421*r_8_26+5221965.111*r_8_27+8504999.916*r_8_28+7686506.85*r_8_29+10562659.692*r_8_31+4624847.314*r_8_32+9751594.464*r_8_33+8337918.673*r_8_34+9663010.38*r_8_35

+7025959.08*r_8_37+5960951.194*r_8_38+9060481.188*r_8_39+6101579.99*r_8_40+3296560.896*r_8_41+7341632.368*r_8_42+4388731.696*r_8_43+9371938.643*r_8_44+6652087.575*r_8_45+5362137.516*r_8_46+8840396.448*r_8_48

+5866385.03*r_8_49+2749277.56*r_8_52+7888116.029*r_8_55+4278730.155*r_8_56+4677110.56*r_8_58+5946645.495*r_8_59+8684471.1*r_8_61+9803771.775*r_8_62+6279910.11*r_8_63+3382473.264*r_8_64+10202950.173*r_8_65

+6468973.8*r_8_66+4031783.565*r_8_68+7384028.054*r_8_69+4845027.348*r_8_70+9234811.705*r_8_71+8152164.69*r_8_75+2620932.27*r_8_76+4717079.063*r_8_77+2837990.07*r_8_78+8513600.401*r_8_79+4467247.952*r_8_80

+7253689.757*r_8_81+8018610.009*r_8_83+7235692.416*r_8_84+4827471.708*r_8_85+7623481.768*r_8_86+6352231.494*r_8_87+9903014.028*r_8_89+3818426.416*r_8_92+5006323.591*r_8_93+4887273.424*r_8_94+3147554.82*r_8_97

+4560073.984*r_8_98+3039190.392*r_8_99+3389191.296*r_8_100+6599660.175*r_9_2+7651841.73*r_9_4+5944415.378*r_9_5+10197715.464*r_9_6+9750999.744*r_9_7+4004012.52*r_9_9+7351385.384*r_9_11+10457912.361*r_9_12

+8863089.782*r_9_13+3937726.492*r_9_14+6497751.96*r_9_15+6597952.24*r_9_16+5839186.395*r_9_18+3833390.232*r_9_19+8596085.184*r_9_20+7027041.25*r_9_21+9005079.316*r_9_23+10584690.558*r_9_24+8874233.148*r_9_25

+4363208.916*r_9_26+8157469.301*r_9_28+8191261.83*r_9_29+10959521.235*r_9_31+4998107.066*r_9_32+9965220.12*r_9_33+8162798.78*r_9_34+2802036.38*r_9_36+6265889.52*r_9_37+9434874.966*r_9_39+6551298.314*r_9_40

+3268791.852*r_9_41+4777530.16*r_9_43+5163349.921*r_9_46+4836615.952*r_9_47+5569270.623*r_9_50+9694930.752*r_9_51+2689468.08*r_9_52+6594173.28*r_9_54+8232160.951*r_9_55+4530775.392*r_9_58+6043009.875*r_9_59

+3800076.202*r_9_60+8219379.93*r_9_61+9027544.68*r_9_62+6536678.361*r_9_63+3373659.42*r_9_64+10611815.175*r_9_65+6740195.856*r_9_66+3910164.18*r_9_68+7214843.376*r_9_69+4823244.126*r_9_70+8745756.18*r_9_71

+3373850.922*r_9_72+5656086.618*r_9_74+4955034.829*r_9_77+2654405.69*r_9_78+8874433.643*r_9_79+4212849.696*r_9_80+7719482.479*r_9_81+4394982.032*r_9_82+8562672.223*r_9_83+8219296.204*r_9_86+9884122.704*r_9_89

+4985876.399*r_9_90+4084595.97*r_9_91+3856262.06*r_9_92+4899063.06*r_9_93+4333720.019*r_9_94+6044727.672*r_9_95+3155546.616*r_9_96+3360898.296*r_9_99+3292719.996*r_9_100+6028937.552*r_10_1+6938684.825*r_10_2

+10446678.576*r_10_3+5879837.216*r_10_5+9547593.084*r_10_6+10165842.684*r_10_7+4267787.808*r_10_8+7639791.684*r_10_11+10100672.595*r_10_12+9683816.115*r_10_13+6351266.568*r_10_15+5792957.962*r_10_16+2847907.28*r_10_17

+5808964.392*r_10_18+3745671.622*r_10_19+9752883.296*r_10_20+9053656*r_10_23+10898042.766*r_10_24+9473657.853*r_10_25+4897402.568*r_10_26+5388602.084*r_10_27+8184895.47*r_10_29+11065237.287*r_10_31+4490147.44*r_10_32

+10101085.092*r_10_33+8047052.24*r_10_34+3091497.937*r_10_36+6835149.552*r_10_37+6153881.602*r_10_38+9391251.705*r_10_39+3140897.676*r_10_41+7638226.932*r_10_42+4331068.288*r_10_43+9618384.21*r_10_44+6565697.15*r_10_45

+5164201.083*r_10_46+4649765.408*r_10_47+8870051.648*r_10_48+5582792.187*r_10_50+9847710*r_10_51+2879281.06*r_10_52+9639055.407*r_10_53+6951321.96*r_10_54+3932293.395*r_10_56+9031225.269*r_10_57+5171791.728*r_10_58

+5703928.692*r_10_59+3815669.468*r_10_60+8268650.58*r_10_61+6204629.753*r_10_63+3456427.848*r_10_64+10900057.701*r_10_65+2695027.25*r_10_67+7296246.464*r_10_69+5072895.342*r_10_70+9212129.325*r_10_71+3294191.459*r_10_72

+10279674.054*r_10_73+8378978.34*r_10_75+2756140.31*r_10_76+4409913.526*r_10_77+2724271.99*r_10_78+8529736.955*r_10_79+4225605.024*r_10_80+7594054.782*r_10_81+4431409.632*r_10_82+8034302.643*r_10_83+6765799.806*r_10_84

+4724350.201*r_10_85+7671854.232*r_10_86+6220179.34*r_10_87+8060380.89*r_10_88+10218805.056*r_10_89+4659772.624*r_10_90+3935089.704*r_10_92+4746173.203*r_10_93+6630200.496*r_10_95+3364603.152*r_10_96+3461961.792*r_10_97

+4624044.096*r_10_98+6108988.732*r_11_1+10056586.572*r_11_3+5599404.734*r_11_5+10377770.364*r_11_6+9483768.072*r_11_7+4497059.792*r_11_8+4003232.955*r_11_9+5157414.435*r_11_10+7004731.804*r_11_11+11358772.854*r_11_12

+8922015.171*r_11_13+3807805.232*r_11_14+5912688.21*r_11_16+2767504.49*r_11_17+8330286.688*r_11_20+5973351.05*r_11_21+9895266.532*r_11_22+9418371.586*r_11_23+9833454.774*r_11_24+5000799.594*r_11_26+8107063.239*r_11_28

+9011232.021*r_11_30+10926255.561*r_11_31+4515065.547*r_11_32+8753229.761*r_11_34+10007558.424*r_11_35+2759140.153*r_11_36+6437105.976*r_11_37+6036431.984*r_11_40+7821134.692*r_11_42+4164984.848*r_11_43+9842704.998*r_11_44

+6692412.45*r_11_45+4296920.32*r_11_47+5017422.984*r_11_50+9923738.76*r_11_51+2452043.03*r_11_52+6241291.776*r_11_54+4088462.085*r_11_56+8254985.673*r_11_57+4479272.304*r_11_58+5625006.387*r_11_59+3732291.342*r_11_60

+7466809.68*r_11_61+8730819.055*r_11_62+6725489.501*r_11_63+3426307.272*r_11_64+10998788.268*r_11_65+6455473.152*r_11_66+2704663.92*r_11_67+3950895.54*r_11_68+4634808.498*r_11_70+9171034.32*r_11_71+3709565.951*r_11_72

+5672579.787*r_11_74+7814087.64*r_11_75+2446077.78*r_11_76+4630432.188*r_11_77+2677315.98*r_11_78+9362285.851*r_11_79+4123802.288*r_11_80+7722340.313*r_11_81+4248205.104*r_11_82+7468803.072*r_11_84+4564584.218*r_11_85

+7287964.796*r_11_86+9510700.5*r_11_89+4845109.293*r_11_90+3574985.68*r_11_91+3671195.164*r_11_92+4639935.375*r_11_94+3444267.396*r_11_96+3417342.624*r_11_97+4432212.448*r_11_98+3210491.868*r_11_100+7118929.85*r_12_2

+10044085.968*r_12_3+8582121.03*r_12_4+6359639.968*r_12_5+9891031.968*r_12_7+4409893.616*r_12_8+5297482.454*r_12_10+8010713.2*r_12_11+9008242.198*r_12_13+4040284.976*r_12_14+7108417.368*r_12_15+6060004.852*r_12_16

+2747519.36*r_12_17+5666790.654*r_12_18+9092749.472*r_12_20+6293885.375*r_12_21+9900709.602*r_12_22+8812357.014*r_12_23+10638611.451*r_12_24+8408237.772*r_12_25+6091508.357*r_12_27+8743398.72*r_12_28+7765188.3*r_12_29

+9455360.541*r_12_30+10554998.844*r_12_31+10061838.18*r_12_35+2885409.087*r_12_36+6765519.216*r_12_37+5810853.554*r_12_38+6086918.266*r_12_40+3204282.456*r_12_41+7688230.172*r_12_42+4651207.2*r_12_43+5379808.789*r_12_46

+8840442.752*r_12_48+6076081.308*r_12_49+5763558.234*r_12_50+9446255.208*r_12_51+2746167.9*r_12_52+10174151.701*r_12_53+7101909.552*r_12_54+4230593.145*r_12_56+8612239.548*r_12_57+4526823.04*r_12_58+6165304.677*r_12_59

+3432289.302*r_12_60+9009132.475*r_12_62+3408501.384*r_12_64+6715194.288*r_12_66+3007029.8*r_12_67+3839110.065*r_12_68+6984476.408*r_12_69+4878282.474*r_12_70+9457250.845*r_12_71+3476947.318*r_12_72+10333285.209*r_12_73

+5974577.868*r_12_74+7700570.55*r_12_75+2626079.74*r_12_76+2935227.55*r_12_78+8746642.436*r_12_79+4295099.376*r_12_80+8073447.112*r_12_81+4410419.456*r_12_82+8305883.661*r_12_83+7589543.643*r_12_84+4563089.833*r_12_85

+7490061.796*r_12_86+6145412.458*r_12_87+8600322.96*r_12_88+10026169.2*r_12_89+3780811.09*r_12_91+4863451.018*r_12_93+4439563.6*r_12_94+6932939.928*r_12_95+2975333.628*r_12_96+4470379.904*r_12_98+3146620.728*r_12_100

+5546294.402*r_13_1+6439156.875*r_13_2+10156186.368*r_13_3+7344893.31*r_13_4+10645719.948*r_13_7+4209127.648*r_13_8+4086718.38*r_13_9+4949996.394*r_13_10+7367120.628*r_13_11+9131727.908*r_13_13+6905387.4*r_13_15

+5879972.494*r_13_16+2662920.02*r_13_17+5807046.441*r_13_18+3726681.322*r_13_19+8157989.216*r_13_20+6545047.625*r_13_21+10573785.186*r_13_22+9221682.504*r_13_23+10394449.689*r_13_24+9353624.907*r_13_25+4433780.914*r_13_26

+4975822.562*r_13_27+8410155.447*r_13_28+11492111.748*r_13_31+5155709.204*r_13_32+9909722.376*r_13_33+10268908.668*r_13_35+5523692.28*r_13_37+8325140.274*r_13_39+3257802.612*r_13_41+7630847.532*r_13_42+4301374.912*r_13_43

+10254739.921*r_13_44+6593839*r_13_45+4091587.168*r_13_47+5311143.516*r_13_50+9887689.746*r_13_53+6543599.16*r_13_54+8357360.186*r_13_55+4054602.18*r_13_56+8976726.264*r_13_57+4436967.872*r_13_58+5718048.525*r_13_59

+3348123.61*r_13_60+8103983.46*r_13_61+9335010.965*r_13_62+6567723.025*r_13_63+3128976.924*r_13_64+9890793.354*r_13_65+6897543.648*r_13_66+4083964.89*r_13_68+7961470.53*r_13_69+5192823.726*r_13_70+9378339.74*r_13_71

+3541327.712*r_13_72+10149943.245*r_13_73+5632615.149*r_13_74+7947542.97*r_13_75+2518738.62*r_13_76+4715814.603*r_13_77+8558774.717*r_13_79+4323108.016*r_13_80+4388500.992*r_13_82+8623100.647*r_13_83+7896930.786*r_13_84

+4174077.677*r_13_85+7692666.184*r_13_86+6351897.281*r_13_87+7858140.48*r_13_88+9812274.732*r_13_89+4660908.19*r_13_90+3646124.706*r_13_91+3515212.554*r_13_92+4858673.083*r_13_93+4450622.066*r_13_94+6223642.536*r_13_95

+3267663.408*r_13_96+3164456.76*r_13_97+4370936.192*r_13_98+3388066.38*r_13_99+3011910.684*r_13_100+6176153.918*r_14_1+7319433.7*r_14_2+9956112.588*r_14_3+8203960.23*r_14_4+5964737.02*r_14_5+10874311.992*r_14_6

+9335599.2*r_14_7+4550994.32*r_14_8+4101596.31*r_14_9+4995023.924*r_14_10+7238972.244*r_14_11+10867706.733*r_14_12+8913921.815*r_14_13+3788206.59*r_14_14+6665761.056*r_14_15+5839754.822*r_14_16+2807096.08*r_14_17

+5638991.673*r_14_18+3741246.614*r_14_19+7615614.08*r_14_20+6588769.925*r_14_21+10024641.065*r_14_22+11241291.633*r_14_24+9524598.666*r_14_25+4305920.667*r_14_26+5480831.238*r_14_27+8024873.094*r_14_28+9946491.477*r_14_31

+5000921.977*r_14_32+10061302.572*r_14_33+8248271.959*r_14_34+9738232.02*r_14_35+2955494.905*r_14_36+6430295.496*r_14_37+6086923.326*r_14_38+9286275.339*r_14_39+5843894.914*r_14_40+3133259.94*r_14_41+10449483.649*r_14_44

+6181806.725*r_14_45+5096588.405*r_14_46+4545396.592*r_14_47+9001813.344*r_14_48+5719096.971*r_14_50+9563801.256*r_14_51+2672001.49*r_14_52+6855060.72*r_14_54+7907296.89*r_14_55+4168298.505*r_14_56+8630004.009*r_14_57

+4226564.8*r_14_58+6255313.134*r_14_59+3778711.027*r_14_60+8374637.49*r_14_61+9769801.86*r_14_62+6480350.993*r_14_63+3180877.332*r_14_64+11923909.296*r_14_65+6373472.208*r_14_66+4255640.97*r_14_68+7384389.792*r_14_69

+5144010.264*r_14_70+3380546.078*r_14_72+11732466.135*r_14_73+7389641.52*r_14_75+4421105.085*r_14_77+2766154.35*r_14_78+8962589.955*r_14_79+4145047.744*r_14_80+8008620.599*r_14_81+4585077.776*r_14_82+7935160.458*r_14_83

+7277906.457*r_14_84+7530075.588*r_14_86+6544143.862*r_14_87+8647658.61*r_14_88+9688681.44*r_14_89+3781837.318*r_14_91+4825921.954*r_14_94+6746489.16*r_14_95+3125085.036*r_14_97+4333636.64*r_14_98+3205347.264*r_14_100

+6813804.65*r_15_2+6005135.95*r_15_5+10123998.804*r_15_6+9868134.204*r_15_7+3973788.27*r_15_9+7111007.4*r_15_11+10794805.164*r_15_12+8305275.193*r_15_13+6537035.544*r_15_15+6221552.172*r_15_16+2613182.25*r_15_17

+5750611.734*r_15_18+3872675.674*r_15_19+6514936.85*r_15_21+9024394.002*r_15_23+10159275.633*r_15_24+8727627.81*r_15_25+4762627.605*r_15_26+5178687.861*r_15_27+8528836.064*r_15_28+11040498.729*r_15_31+4628438.003*r_15_32

+9322839.288*r_15_33+7782430.053*r_15_34+3068521.027*r_15_36+6451374.936*r_15_37+6001089.578*r_15_38+8547799.656*r_15_39+6013141.706*r_15_40+3290069.676*r_15_41+4274586.608*r_15_43+9502627.305*r_15_44+4353242.672*r_15_47

+8610514.368*r_15_48+6078521.812*r_15_49+5552348.067*r_15_50+9714028.14*r_15_51+2844393.97*r_15_52+10468070.969*r_15_53+6399658.896*r_15_54+8430672.331*r_15_55+4126826.925*r_15_56+4372521.168*r_15_58+5449861.83*r_15_59

+3729370.554*r_15_60+8380535.76*r_15_61+9851682.015*r_15_62+3438265.62*r_15_64+10961082.678*r_15_65+2666266.09*r_15_67+4572902.295*r_15_68+7190601.6*r_15_69+4929538.59*r_15_70+9092265.315*r_15_71+3304366.546*r_15_72

+6263698.791*r_15_74+7856390.91*r_15_75+4515755.917*r_15_77+2512235.41*r_15_78+8139929.842*r_15_79+7586954.712*r_15_81+4094099.232*r_15_82+8811727.587*r_15_83+7611759.708*r_15_86+6276828.938*r_15_87+10511962.344*r_15_89

+3483196.066*r_15_91+3724827.386*r_15_92+4709866.388*r_15_93+4725153.23*r_15_94+4412365.808*r_15_98+3117828.624*r_15_99+2981455.284*r_15_100+5893525*r_16_1+7066902*r_16_2+10170063.504*r_16_3+5869118.024*r_16_5

+4314986.672*r_16_8+4080256.455*r_16_9+7413163.884*r_16_11+10322881.725*r_16_12+8182501.801*r_16_13+7145279.232*r_16_15+5938823.528*r_16_16+5782314.888*r_16_18+8307544.352*r_16_20+9925918.96*r_16_22+9160798.364*r_16_23

+9452710.773*r_16_25+4864518.55*r_16_26+4922433.683*r_16_27+8474553.75*r_16_29+9102278.064*r_16_30+11390640.417*r_16_31+5090215.293*r_16_32+10034216.532*r_16_33+8435513.243*r_16_34+10307778.336*r_16_35+2988945.916*r_16_36

+6189447.748*r_16_38+9874609.338*r_16_39+3443157.168*r_16_41+7517491.016*r_16_42+10832538.47*r_16_44+6465940.075*r_16_45+5630211.176*r_16_46+9678436.96*r_16_48+6414540.858*r_16_49+2729265.77*r_16_52+10277046.74*r_16_53

+4104312.945*r_16_56+4832851.312*r_16_58+5927138.595*r_16_59+3390964.46*r_16_60+8921864.64*r_16_61+9967539.855*r_16_62+6504717.469*r_16_63+3126366.048*r_16_64+10809164.379*r_16_65+6636187.296*r_16_66+7411175.616*r_16_69

+4874662.386*r_16_70+9832431.21*r_16_71+10644348.78*r_16_73+6213939.543*r_16_74+8284596.87*r_16_75+4716631.538*r_16_77+2834973.59*r_16_78+8348127.392*r_16_79+4458259.12*r_16_80+8015686.42*r_16_81+4228952.56*r_16_82

+8269843.743*r_16_83+7256756.439*r_16_84+4722954.518*r_16_85+7557509.596*r_16_86+8238269.37*r_16_88+9926402.904*r_16_89+4682194.723*r_16_90+3910354*r_16_91+3815275.45*r_16_92+4420626.042*r_16_93+4805934.136*r_16_94

+4257983.936*r_16_98+3261315.612*r_16_99+3160546.272*r_16_100+5709784.674*r_17_1+7026705.7*r_17_2+9774774.144*r_17_3+5745745.478*r_17_5+10426096.296*r_17_6+9821948.328*r_17_7+3953516.94*r_17_9+7692253.632*r_17_11

+10613409.885*r_17_12+8705516.906*r_17_13+3844499.19*r_17_14+5791812.092*r_17_16+2825228.07*r_17_17+6022891.245*r_17_18+3879306.774*r_17_19+8579809.088*r_17_20+6400036.125*r_17_21+9424805.134*r_17_23+10736257.467*r_17_24

+9053960.223*r_17_25+4912106.922*r_17_26+8142171.452*r_17_28+8133785.94*r_17_29+9598497.183*r_17_30+10476666.018*r_17_31+4995640.774*r_17_32+9764574.012*r_17_33+8166013.256*r_17_34+10434985.92*r_17_35+3017497.802*r_17_36

+6142012.056*r_17_37+6432573.928*r_17_38+9314427.54*r_17_39+5524183.61*r_17_40+3041328.12*r_17_41+7245080.724*r_17_42+10684641.108*r_17_44+6929921.6*r_17_45+5752294.758*r_17_50+9776130.264*r_17_51+10319714.659*r_17_53

+6424064.808*r_17_54+4085062.53*r_17_56+3918745.504*r_17_58+5912016.411*r_17_59+3585481.133*r_17_60+9826521.67*r_17_62+6145866.662*r_17_63+3524406.132*r_17_64+10827569.805*r_17_65+6851675.688*r_17_66+2595463.63*r_17_67

+4149989.43*r_17_68+6911487.752*r_17_69+4769133.174*r_17_70+9586946.95*r_17_71+3074414.343*r_17_72+10664925.726*r_17_73+2820689.12*r_17_76+4720371.113*r_17_77+2864983.87*r_17_78+4669933.312*r_17_80+4314953.76*r_17_82

+9456255.128*r_17_83+4299397.342*r_17_85+7465458.42*r_17_86+6830971.572*r_17_87+9799382.664*r_17_89+4844618.758*r_17_90+3519736.878*r_17_91+3866055.186*r_17_92+4771360.335*r_17_93+4501074.003*r_17_94+6795616.536*r_17_95

+3186690.876*r_17_96+3395051.556*r_17_97+4308329.376*r_17_98+3251835.624*r_17_100+7275759.175*r_18_2+10216112.616*r_18_3+5824088.028*r_18_5+4333199.872*r_18_8+4060952.535*r_18_9+7687913.884*r_18_11+8984246.803*r_18_13

+3900847.118*r_18_14+6347485.386*r_18_16+5835196.731*r_18_18+3508420.482*r_18_19+7184328.125*r_18_21+9621215.265*r_18_22+9851400.312*r_18_23+11131960.32*r_18_24+4521715.216*r_18_26+8787475.45*r_18_28+8008240.38*r_18_29

+8495411.232*r_18_30+11031065.097*r_18_31+4674628.737*r_18_32+9985373.82*r_18_33+9800535.816*r_18_35+6750930.216*r_18_37+5954006.894*r_18_38+8701875.171*r_18_39+6073903.968*r_18_40+3249703.416*r_18_41+7336102.956*r_18_42

+4563894.256*r_18_43+10226215.363*r_18_44+6675708.5*r_18_45+4941750.128*r_18_46+4485360.928*r_18_47+8564781.312*r_18_48+5912962.374*r_18_49+5813346.294*r_18_50+9767408.184*r_18_51+9880292.447*r_18_53+6413833.536*r_18_54

+8353853.796*r_18_55+4304087.835*r_18_56+8585511.363*r_18_57+4330717.296*r_18_58+6011192.061*r_18_59+3531157.123*r_18_60+8158396.14*r_18_61+6569677.266*r_18_63+3318126.552*r_18_64+6370817.688*r_18_66+4168856.565*r_18_68

+6925317.334*r_18_69+5024786.22*r_18_70+3568237.478*r_18_72+10613322.213*r_18_73+5771653.671*r_18_74+8279661.81*r_18_75+2623634.14*r_18_76+4435542.828*r_18_77+2645264.12*r_18_78+8728473.925*r_18_79+7323260.032*r_18_81

+4453877.248*r_18_82+8852613.735*r_18_83+6998374.566*r_18_84+4273951.708*r_18_85+7223027.924*r_18_86+6827084.112*r_18_87+10273139.568*r_18_89+4577307.511*r_18_90+3664902.136*r_18_92+4787693.34*r_18_93+4545859.619*r_18_94

+3149189.244*r_18_96+4290653.632*r_18_98+3306231.504*r_18_99+6271685.288*r_19_1+6446928*r_19_2+10610509.824*r_19_3+7585977.75*r_19_4+6056594.302*r_19_5+9434497.356*r_19_6+10028007.684*r_19_7+4207999.504*r_19_8

+4070141.235*r_19_9+7483911.904*r_19_11+10347544.389*r_19_12+8144363.214*r_19_13+2813222.47*r_19_17+6184824.387*r_19_18+3423966.728*r_19_19+8779876.672*r_19_20+6905199.475*r_19_21+10275971.668*r_19_22+9725970.164*r_19_23

+9667601.58*r_19_24+9194957.508*r_19_25+4578708.753*r_19_26+5349915.025*r_19_27+8698732.246*r_19_28+8708707.2*r_19_29+8933155.77*r_19_30+10862670.936*r_19_31+4682330.349*r_19_32+10244092.572*r_19_35+3268213.96*r_19_36

+6602506.272*r_19_37+6253365.074*r_19_38+8471755.083*r_19_39+6126955.362*r_19_40+3143949.528*r_19_41+4778049.168*r_19_43+10092659.46*r_19_44+5102975.635*r_19_46+4496908.752*r_19_47+8358514.784*r_19_48+6125076.584*r_19_49

+9800977.428*r_19_51+2883951.08*r_19_52+6986025.168*r_19_54+8066398.807*r_19_55+4309822.875*r_19_56+9035515.863*r_19_57+4110644.608*r_19_58+8485079.34*r_19_61+7187326.166*r_19_63+11187007.143*r_19_65+6341949.648*r_19_66

+4245658.8*r_19_68+7382868.896*r_19_69+5271443.298*r_19_70+9556524.53*r_19_71+3366724.049*r_19_72+10267169.25*r_19_73+5827483.998*r_19_74+8423368.62*r_19_75+2981501.81*r_19_76+4504445.834*r_19_77+8752538.543*r_19_79

+4352069.984*r_19_80+7704848.731*r_19_81+4431059.584*r_19_82+6936447.42*r_19_84+4585600.859*r_19_85+7002022.58*r_19_86+6119654.482*r_19_87+8188529.22*r_19_88+9352317.852*r_19_89+4557657.296*r_19_90+4056127.292*r_19_91

+3796871.134*r_19_92+4539223.72*r_19_93+4859717.478*r_19_94+6856310.28*r_19_95+3319109.556*r_19_97+4492501.2*r_19_98+3010270.656*r_19_99+3196623.84*r_19_100+5533134.068*r_20_1+6704889.7*r_20_2+10071663.66*r_20_3

+7747038.63*r_20_4+5760997.55*r_20_5+10932350.796*r_20_6+3877485.45*r_20_9+5201548.376*r_20_10+7369045.152*r_20_11+10427738.88*r_20_12+8438986.749*r_20_13+6036812.606*r_20_16+5902428.378*r_20_18+3514744.982*r_20_19

+8842815.552*r_20_20+6672613.7*r_20_21+10055739.084*r_20_22+8701255.078*r_20_23+10599725.565*r_20_24+9122896.959*r_20_25+4423050.531*r_20_26+4908559.769*r_20_27+8446903.653*r_20_28+8476786.41*r_20_29+10033157.082*r_20_31

+4569677.231*r_20_32+10111000.032*r_20_33+7875732.217*r_20_34+9244462.788*r_20_35+2952399.186*r_20_36+6305732.352*r_20_37+5668860.802*r_20_38+8681504.007*r_20_39+5973147.62*r_20_40+3051102.012*r_20_41+7541446.332*r_20_42

+4566745.712*r_20_43+5337759.832*r_20_46+8301541.344*r_20_48+6096530.792*r_20_49+2574623.88*r_20_52+10339624.137*r_20_53+6478902.552*r_20_54+3930389.535*r_20_56+8792598.903*r_20_57+4560241.184*r_20_58+3367707.915*r_20_60

+9038672.79*r_20_62+5878186.475*r_20_63+3363134.592*r_20_64+11222644.095*r_20_65+6298015.848*r_20_66+2406034.86*r_20_67+4233313.29*r_20_68+6975459.036*r_20_69+4891757.85*r_20_70+9480608.935*r_20_71+3534991.057*r_20_72

+5537156.562*r_20_74+8355756.24*r_20_75+2621786.45*r_20_76+4587500.49*r_20_77+8384906.04*r_20_79+4321664.176*r_20_82+7845545.596*r_20_83+8241809.436*r_20_86+6532509.335*r_20_87+8328889.32*r_20_88+9813438.612*r_20_89

+4755875.324*r_20_90+3787704.998*r_20_91+3804455.116*r_20_92+4721479.666*r_20_93+6342729.36*r_20_95+3537126.444*r_20_96+3281847.144*r_20_97+3114499.824*r_20_99+2922475.464*r_20_100;

/* restrictions */

25*r_1_2+36*r_1_3+30*r_1_4+22*r_1_5+36*r_1_6+36*r_1_7+16*r_1_8+39*r_1_12+31*r_1_13+14*r_1_14+24*r_1_15+22*r_1_16+10*r_1_17+21*r_1_18+14*r_1_19+32*r_1_20+25*r_1_21+37*r_1_22+34*r_1_23+39*r_1_24+17*r_1_26+19*r_1_27+31*r_1_28+39*r_1_31+17*r_1_32+36*r_1_33+29*r_1_34+36*r_1_35+11*r_1_36+24*r_1_37+22*r_1_38+33*r_1_39+22*r_1_40+12*r_1_41+16*r_1_43+25*r_1_45+19*r_1_46+16*r_1_47+32*r_1_48+22*r_1_49+21*r_1_50+36*r_1_51+10*r_1_52+37*r_1_53+24*r_1_54+29*r_1_55+15*r_1_56+33*r_1_57+16*r_1_58+30*r_1_61+23*r_1_63+12*r_1_64+39*r_1_65+24*r_1_66+15*r_1_68+26*r_1_69+18*r_1_70+13*r_1_72+39*r_1_73+21*r_1_74+30*r_1_75+10*r_1_76+29*r_1_81+16*r_1_82+28*r_1_86+23*r_1_87+30*r_1_88+36*r_1_89+17*r_1_90+14*r_1_91+14*r_1_92+17*r_1_93+17*r_1_94+24*r_1_95+12*r_1_96+12*r_1_97+16*r_1_98<=798;

25*r_2_2+36*r_2_3+30*r_2_4+36*r_2_7+16*r_2_8+15*r_2_9+19*r_2_10+28*r_2_11+39*r_2_12+31*r_2_13+24*r_2_15+22*r_2_16+10*r_2_17+21*r_2_18+32*r_2_20+37*r_2_22+34*r_2_23+39*r_2_24+33*r_2_25+17*r_2_26+31*r_2_28+30*r_2_29+33*r_2_30+36*r_2_33+29*r_2_34+36*r_2_35+11*r_2_36+24*r_2_37+33*r_2_39+22*r_2_40+12*r_2_41+28*r_2_42+16*r_2_43+37*r_2_44+25*r_2_45+19*r_2_46+16*r_2_47+32*r_2_48+22*r_2_49+21*r_2_50+36*r_2_51+10*r_2_52+37*r_2_53+24*r_2_54+29*r_2_55+33*r_2_57+13*r_2_60+30*r_2_61+35*r_2_62+23*r_2_63+12*r_2_64+24*r_2_66+10*r_2_67+15*r_2_68+26*r_2_69+35*r_2_71+30*r_2_75+10*r_2_76+17*r_2_77+10*r_2_78+31*r_2_79+16*r_2_80+29*r_2_81+16*r_2_82+31*r_2_83+17*r_2_85+23*r_2_87+30*r_2_88+36*r_2_89+17*r_2_90+14*r_2_92+17*r_2_93+17*r_2_94+24*r_2_95+12*r_2_96+12*r_2_100<=781;

22*r_3_1+25*r_3_2+30*r_3_4+22*r_3_5+36*r_3_6+19*r_3_10+31*r_3_13+24*r_3_15+10*r_3_17+32*r_3_20+25*r_3_21+37*r_3_22+34*r_3_23+39*r_3_24+33*r_3_25+17*r_3_26+30*r_3_29+33*r_3_30+17*r_3_32+36*r_3_33+36*r_3_35+24*r_3_37+22*r_3_38+33*r_3_39+22*r_3_40+12*r_3_41+28*r_3_42+16*r_3_43+37*r_3_44+25*r_3_45+16*r_3_47+22*r_3_49+21*r_3_50+36*r_3_51+10*r_3_52+37*r_3_53+24*r_3_54+29*r_3_55+15*r_3_56+33*r_3_57+16*r_3_58+21*r_3_59+13*r_3_60+30*r_3_61+35*r_3_62+23*r_3_63+12*r_3_64+39*r_3_65+10*r_3_67+15*r_3_68+26*r_3_69+18*r_3_70+13*r_3_72+39*r_3_73+30*r_3_75+10*r_3_76+17*r_3_77+10*r_3_78+31*r_3_79+16*r_3_80+29*r_3_81+27*r_3_84+17*r_3_85+23*r_3_87+30*r_3_88+17*r_3_90+17*r_3_93+24*r_3_95+12*r_3_96+12*r_3_97+16*r_3_98+12*r_3_99+12*r_3_100<=985;

22*r_4_1+25*r_4_2+36*r_4_3+36*r_4_6+36*r_4_7+16*r_4_8+15*r_4_9+19*r_4_10+28*r_4_11+39*r_4_12+31*r_4_13+14*r_4_14+22*r_4_16+21*r_4_18+14*r_4_19+32*r_4_20+25*r_4_21+37*r_4_22+34*r_4_23+39*r_4_24+33*r_4_25+17*r_4_26+19*r_4_27+31*r_4_28+30*r_4_29+33*r_4_30+39*r_4_31+36*r_4_33+36*r_4_35+24*r_4_37+22*r_4_38+33*r_4_39+22*r_4_40+12*r_4_41+28*r_4_42+37*r_4_44+25*r_4_45+16*r_4_47+22*r_4_49+21*r_4_50+10*r_4_52+37*r_4_53+24*r_4_54+29*r_4_55+15*r_4_56+33*r_4_57+16*r_4_58+21*r_4_59+30*r_4_61+23*r_4_63+12*r_4_64+39*r_4_65+10*r_4_67+15*r_4_68+26*r_4_69+18*r_4_70+35*r_4_71+13*r_4_72+39*r_4_73+30*r_4_75+17*r_4_77+10*r_4_78+16*r_4_80+29*r_4_81+16*r_4_82+31*r_4_83+27*r_4_84+17*r_4_85+28*r_4_86+23*r_4_87+30*r_4_88+36*r_4_89+17*r_4_90+14*r_4_92+17*r_4_93+17*r_4_94+12*r_4_96+12*r_4_97+16*r_4_98+12*r_4_99+12*r_4_100<=627;

22*r_5_1+25*r_5_2+36*r_5_3+30*r_5_4+22*r_5_5+36*r_5_6+36*r_5_7+16*r_5_8+15*r_5_9+28*r_5_11+39*r_5_12+14*r_5_14+24*r_5_15+22*r_5_16+10*r_5_17+21*r_5_18+32*r_5_20+25*r_5_21+37*r_5_22+34*r_5_23+39*r_5_24+33*r_5_25+17*r_5_26+19*r_5_27+31*r_5_28+30*r_5_29+33*r_5_30+39*r_5_31+36*r_5_33+29*r_5_34+36*r_5_35+11*r_5_36+24*r_5_37+22*r_5_38+33*r_5_39+22*r_5_40+12*r_5_41+37*r_5_44+32*r_5_48+22*r_5_49+21*r_5_50+36*r_5_51+37*r_5_53+24*r_5_54+29*r_5_55+15*r_5_56+33*r_5_57+16*r_5_58+21*r_5_59+13*r_5_60+23*r_5_63+12*r_5_64+39*r_5_65+24*r_5_66+10*r_5_67+26*r_5_69+18*r_5_70+35*r_5_71+13*r_5_72+21*r_5_74+10*r_5_76+17*r_5_77+31*r_5_79+29*r_5_81+16*r_5_82+27*r_5_84+17*r_5_85+30*r_5_88+36*r_5_89+17*r_5_90+14*r_5_91+14*r_5_92+17*r_5_93+17*r_5_94+24*r_5_95+12*r_5_96+12*r_5_97+16*r_5_98+12*r_5_99<=696;

22*r_6_1+25*r_6_2+36*r_6_3+30*r_6_4+22*r_6_5+36*r_6_6+36*r_6_7+15*r_6_9+19*r_6_10+28*r_6_11+39*r_6_12+31*r_6_13+14*r_6_14+22*r_6_16+10*r_6_17+21*r_6_18+37*r_6_22+34*r_6_23+39*r_6_24+33*r_6_25+17*r_6_26+31*r_6_28+30*r_6_29+33*r_6_30+39*r_6_31+36*r_6_33+29*r_6_34+36*r_6_35+24*r_6_37+22*r_6_38+12*r_6_41+28*r_6_42+37*r_6_44+19*r_6_46+16*r_6_47+36*r_6_51+10*r_6_52+37*r_6_53+24*r_6_54+29*r_6_55+15*r_6_56+16*r_6_58+13*r_6_60+23*r_6_63+12*r_6_64+24*r_6_66+10*r_6_67+15*r_6_68+26*r_6_69+35*r_6_71+13*r_6_72+39*r_6_73+30*r_6_75+17*r_6_77+31*r_6_79+16*r_6_82+31*r_6_83+27*r_6_84+17*r_6_85+28*r_6_86+36*r_6_89+14*r_6_92+17*r_6_93+17*r_6_94+12*r_6_96+12*r_6_97+16*r_6_98+12*r_6_100<=1066;

22*r_7_1+36*r_7_3+22*r_7_5+36*r_7_6+16*r_7_8+19*r_7_10+28*r_7_11+39*r_7_12+31*r_7_13+14*r_7_14+22*r_7_16+10*r_7_17+21*r_7_18+32*r_7_20+25*r_7_21+37*r_7_22+34*r_7_23+39*r_7_24+33*r_7_25+17*r_7_26+19*r_7_27+31*r_7_28+33*r_7_30+39*r_7_31+17*r_7_32+36*r_7_35+11*r_7_36+24*r_7_37+12*r_7_41+37*r_7_44+25*r_7_45+19*r_7_46+16*r_7_47+32*r_7_48+22*r_7_49+21*r_7_50+36*r_7_51+10*r_7_52+37*r_7_53+24*r_7_54+29*r_7_55+15*r_7_56+33*r_7_57+16*r_7_58+21*r_7_59+13*r_7_60+30*r_7_61+35*r_7_62+23*r_7_63+12*r_7_64+39*r_7_65+24*r_7_66+26*r_7_69+18*r_7_70+35*r_7_71+13*r_7_72+39*r_7_73+30*r_7_75+10*r_7_76+17*r_7_77+10*r_7_78+31*r_7_79+16*r_7_80+29*r_7_81+16*r_7_82+27*r_7_84+17*r_7_85+28*r_7_86+30*r_7_88+36*r_7_89+17*r_7_90+14*r_7_91+14*r_7_92+17*r_7_93+24*r_7_95+12*r_7_96+12*r_7_97+16*r_7_98+12*r_7_99+12*r_7_100<=715;

22*r_8_1+25*r_8_2+36*r_8_3+30*r_8_4+22*r_8_5+16*r_8_8+19*r_8_10+28*r_8_11+39*r_8_12+31*r_8_13+24*r_8_15+22*r_8_16+10*r_8_17+14*r_8_19+25*r_8_21+37*r_8_22+34*r_8_23+39*r_8_24+17*r_8_26+19*r_8_27+31*r_8_28+30*r_8_29+39*r_8_31+17*r_8_32+36*r_8_33+29*r_8_34+36*r_8_35+24*r_8_37+22*r_8_38+33*r_8_39+22*r_8_40+12*r_8_41+28*r_8_42+16*r_8_43+37*r_8_44+25*r_8_45+19*r_8_46+32*r_8_48+22*r_8_49+10*r_8_52+29*r_8_55+15*r_8_56+16*r_8_58+21*r_8_59+30*r_8_61+35*r_8_62+23*r_8_63+12*r_8_64+39*r_8_65+24*r_8_66+15*r_8_68+26*r_8_69+18*r_8_70+35*r_8_71+30*r_8_75+10*r_8_76+17*r_8_77+10*r_8_78+31*r_8_79+16*r_8_80+29*r_8_81+31*r_8_83+27*r_8_84+17*r_8_85+28*r_8_86+23*r_8_87+36*r_8_89+14*r_8_92+17*r_8_93+17*r_8_94+12*r_8_97+16*r_8_98+12*r_8_99+12*r_8_100<=910;

25*r_9_2+30*r_9_4+22*r_9_5+36*r_9_6+36*r_9_7+15*r_9_9+28*r_9_11+39*r_9_12+31*r_9_13+14*r_9_14+24*r_9_15+22*r_9_16+21*r_9_18+14*r_9_19+32*r_9_20+25*r_9_21+34*r_9_23+39*r_9_24+33*r_9_25+17*r_9_26+31*r_9_28+30*r_9_29+39*r_9_31+17*r_9_32+36*r_9_33+29*r_9_34+11*r_9_36+24*r_9_37+33*r_9_39+22*r_9_40+12*r_9_41+16*r_9_43+19*r_9_46+16*r_9_47+21*r_9_50+36*r_9_51+10*r_9_52+24*r_9_54+29*r_9_55+16*r_9_58+21*r_9_59+13*r_9_60+30*r_9_61+35*r_9_62+23*r_9_63+12*r_9_64+39*r_9_65+24*r_9_66+15*r_9_68+26*r_9_69+18*r_9_70+35*r_9_71+13*r_9_72+21*r_9_74+17*r_9_77+10*r_9_78+31*r_9_79+16*r_9_80+29*r_9_81+16*r_9_82+31*r_9_83+28*r_9_86+36*r_9_89+17*r_9_90+14*r_9_91+14*r_9_92+17*r_9_93+17*r_9_94+24*r_9_95+12*r_9_96+12*r_9_99+12*r_9_100<=1039;

22*r_10_1+25*r_10_2+36*r_10_3+22*r_10_5+36*r_10_6+36*r_10_7+16*r_10_8+28*r_10_11+39*r_10_12+31*r_10_13+24*r_10_15+22*r_10_16+10*r_10_17+21*r_10_18+14*r_10_19+32*r_10_20+34*r_10_23+39*r_10_24+33*r_10_25+17*r_10_26+19*r_10_27+30*r_10_29+39*r_10_31+17*r_10_32+36*r_10_33+29*r_10_34+11*r_10_36+24*r_10_37+22*r_10_38+33*r_10_39+12*r_10_41+28*r_10_42+16*r_10_43+37*r_10_44+25*r_10_45+19*r_10_46+16*r_10_47+32*r_10_48+21*r_10_50+36*r_10_51+10*r_10_52+37*r_10_53+24*r_10_54+15*r_10_56+33*r_10_57+16*r_10_58+21*r_10_59+13*r_10_60+30*r_10_61+23*r_10_63+12*r_10_64+39*r_10_65+10*r_10_67+26*r_10_69+18*r_10_70+35*r_10_71+13*r_10_72+39*r_10_73+30*r_10_75+10*r_10_76+17*r_10_77+10*r_10_78+31*r_10_79+16*r_10_80+29*r_10_81+16*r_10_82+31*r_10_83+27*r_10_84+17*r_10_85+28*r_10_86+23*r_10_87+30*r_10_88+36*r_10_89+17*r_10_90+14*r_10_92+17*r_10_93+24*r_10_95+12*r_10_96+12*r_10_97+16*r_10_98<=694;

22*r_11_1+36*r_11_3+22*r_11_5+36*r_11_6+36*r_11_7+16*r_11_8+15*r_11_9+19*r_11_10+28*r_11_11+39*r_11_12+31*r_11_13+14*r_11_14+22*r_11_16+10*r_11_17+32*r_11_20+25*r_11_21+37*r_11_22+34*r_11_23+39*r_11_24+17*r_11_26+31*r_11_28+33*r_11_30+39*r_11_31+17*r_11_32+29*r_11_34+36*r_11_35+11*r_11_36+24*r_11_37+22*r_11_40+28*r_11_42+16*r_11_43+37*r_11_44+25*r_11_45+16*r_11_47+21*r_11_50+36*r_11_51+10*r_11_52+24*r_11_54+15*r_11_56+33*r_11_57+16*r_11_58+21*r_11_59+13*r_11_60+30*r_11_61+35*r_11_62+23*r_11_63+12*r_11_64+39*r_11_65+24*r_11_66+10*r_11_67+15*r_11_68+18*r_11_70+35*r_11_71+13*r_11_72+21*r_11_74+30*r_11_75+10*r_11_76+17*r_11_77+10*r_11_78+31*r_11_79+16*r_11_80+29*r_11_81+16*r_11_82+27*r_11_84+17*r_11_85+28*r_11_86+36*r_11_89+17*r_11_90+14*r_11_91+14*r_11_92+17*r_11_94+12*r_11_96+12*r_11_97+16*r_11_98+12*r_11_100<=960;

25*r_12_2+36*r_12_3+30*r_12_4+22*r_12_5+36*r_12_7+16*r_12_8+19*r_12_10+28*r_12_11+31*r_12_13+14*r_12_14+24*r_12_15+22*r_12_16+10*r_12_17+21*r_12_18+32*r_12_20+25*r_12_21+37*r_12_22+34*r_12_23+39*r_12_24+33*r_12_25+19*r_12_27+31*r_12_28+30*r_12_29+33*r_12_30+39*r_12_31+36*r_12_35+11*r_12_36+24*r_12_37+22*r_12_38+22*r_12_40+12*r_12_41+28*r_12_42+16*r_12_43+19*r_12_46+32*r_12_48+22*r_12_49+21*r_12_50+36*r_12_51+10*r_12_52+37*r_12_53+24*r_12_54+15*r_12_56+33*r_12_57+16*r_12_58+21*r_12_59+13*r_12_60+35*r_12_62+12*r_12_64+24*r_12_66+10*r_12_67+15*r_12_68+26*r_12_69+18*r_12_70+35*r_12_71+13*r_12_72+39*r_12_73+21*r_12_74+30*r_12_75+10*r_12_76+10*r_12_78+31*r_12_79+16*r_12_80+29*r_12_81+16*r_12_82+31*r_12_83+27*r_12_84+17*r_12_85+28*r_12_86+23*r_12_87+30*r_12_88+36*r_12_89+14*r_12_91+17*r_12_93+17*r_12_94+24*r_12_95+12*r_12_96+16*r_12_98+12*r_12_100<=793;

22*r_13_1+25*r_13_2+36*r_13_3+30*r_13_4+36*r_13_7+16*r_13_8+15*r_13_9+19*r_13_10+28*r_13_11+31*r_13_13+24*r_13_15+22*r_13_16+10*r_13_17+21*r_13_18+14*r_13_19+32*r_13_20+25*r_13_21+37*r_13_22+34*r_13_23+39*r_13_24+33*r_13_25+17*r_13_26+19*r_13_27+31*r_13_28+39*r_13_31+17*r_13_32+36*r_13_33+36*r_13_35+24*r_13_37+33*r_13_39+12*r_13_41+28*r_13_42+16*r_13_43+37*r_13_44+25*r_13_45+16*r_13_47+21*r_13_50+37*r_13_53+24*r_13_54+29*r_13_55+15*r_13_56+33*r_13_57+16*r_13_58+21*r_13_59+13*r_13_60+30*r_13_61+35*r_13_62+23*r_13_63+12*r_13_64+39*r_13_65+24*r_13_66+15*r_13_68+26*r_13_69+18*r_13_70+35*r_13_71+13*r_13_72+39*r_13_73+21*r_13_74+30*r_13_75+10*r_13_76+17*r_13_77+31*r_13_79+16*r_13_80+16*r_13_82+31*r_13_83+27*r_13_84+17*r_13_85+28*r_13_86+23*r_13_87+30*r_13_88+36*r_13_89+17*r_13_90+14*r_13_91+14*r_13_92+17*r_13_93+17*r_13_94+24*r_13_95+12*r_13_96+12*r_13_97+16*r_13_98+12*r_13_99+12*r_13_100<=639;

22*r_14_1+25*r_14_2+36*r_14_3+30*r_14_4+22*r_14_5+36*r_14_6+36*r_14_7+16*r_14_8+15*r_14_9+19*r_14_10+28*r_14_11+39*r_14_12+31*r_14_13+14*r_14_14+24*r_14_15+22*r_14_16+10*r_14_17+21*r_14_18+14*r_14_19+32*r_14_20+25*r_14_21+37*r_14_22+39*r_14_24+33*r_14_25+17*r_14_26+19*r_14_27+31*r_14_28+39*r_14_31+17*r_14_32+36*r_14_33+29*r_14_34+36*r_14_35+11*r_14_36+24*r_14_37+22*r_14_38+33*r_14_39+22*r_14_40+12*r_14_41+37*r_14_44+25*r_14_45+19*r_14_46+16*r_14_47+32*r_14_48+21*r_14_50+36*r_14_51+10*r_14_52+24*r_14_54+29*r_14_55+15*r_14_56+33*r_14_57+16*r_14_58+21*r_14_59+13*r_14_60+30*r_14_61+35*r_14_62+23*r_14_63+12*r_14_64+39*r_14_65+24*r_14_66+15*r_14_68+26*r_14_69+18*r_14_70+13*r_14_72+39*r_14_73+30*r_14_75+17*r_14_77+10*r_14_78+31*r_14_79+16*r_14_80+29*r_14_81+16*r_14_82+31*r_14_83+27*r_14_84+28*r_14_86+23*r_14_87+30*r_14_88+36*r_14_89+14*r_14_91+17*r_14_94+24*r_14_95+12*r_14_97+16*r_14_98+12*r_14_100<=547;

25*r_15_2+22*r_15_5+36*r_15_6+36*r_15_7+15*r_15_9+28*r_15_11+39*r_15_12+31*r_15_13+24*r_15_15+22*r_15_16+10*r_15_17+21*r_15_18+14*r_15_19+25*r_15_21+34*r_15_23+39*r_15_24+33*r_15_25+17*r_15_26+19*r_15_27+31*r_15_28+39*r_15_31+17*r_15_32+36*r_15_33+29*r_15_34+11*r_15_36+24*r_15_37+22*r_15_38+33*r_15_39+22*r_15_40+12*r_15_41+16*r_15_43+37*r_15_44+16*r_15_47+32*r_15_48+22*r_15_49+21*r_15_50+36*r_15_51+10*r_15_52+37*r_15_53+24*r_15_54+29*r_15_55+15*r_15_56+16*r_15_58+21*r_15_59+13*r_15_60+30*r_15_61+35*r_15_62+12*r_15_64+39*r_15_65+10*r_15_67+15*r_15_68+26*r_15_69+18*r_15_70+35*r_15_71+13*r_15_72+21*r_15_74+30*r_15_75+17*r_15_77+10*r_15_78+31*r_15_79+29*r_15_81+16*r_15_82+31*r_15_83+28*r_15_86+23*r_15_87+36*r_15_89+14*r_15_91+14*r_15_92+17*r_15_93+17*r_15_94+16*r_15_98+12*r_15_99+12*r_15_100<=991;

22*r_16_1+25*r_16_2+36*r_16_3+22*r_16_5+16*r_16_8+15*r_16_9+28*r_16_11+39*r_16_12+31*r_16_13+24*r_16_15+22*r_16_16+21*r_16_18+32*r_16_20+37*r_16_22+34*r_16_23+33*r_16_25+17*r_16_26+19*r_16_27+30*r_16_29+33*r_16_30+39*r_16_31+17*r_16_32+36*r_16_33+29*r_16_34+36*r_16_35+11*r_16_36+22*r_16_38+33*r_16_39+12*r_16_41+28*r_16_42+37*r_16_44+25*r_16_45+19*r_16_46+32*r_16_48+22*r_16_49+10*r_16_52+37*r_16_53+15*r_16_56+16*r_16_58+21*r_16_59+13*r_16_60+30*r_16_61+35*r_16_62+23*r_16_63+12*r_16_64+39*r_16_65+24*r_16_66+26*r_16_69+18*r_16_70+35*r_16_71+39*r_16_73+21*r_16_74+30*r_16_75+17*r_16_77+10*r_16_78+31*r_16_79+16*r_16_80+29*r_16_81+16*r_16_82+31*r_16_83+27*r_16_84+17*r_16_85+28*r_16_86+30*r_16_88+36*r_16_89+17*r_16_90+14*r_16_91+14*r_16_92+17*r_16_93+17*r_16_94+16*r_16_98+12*r_16_99+12*r_16_100<=891;

22*r_17_1+25*r_17_2+36*r_17_3+22*r_17_5+36*r_17_6+36*r_17_7+15*r_17_9+28*r_17_11+39*r_17_12+31*r_17_13+14*r_17_14+22*r_17_16+10*r_17_17+21*r_17_18+14*r_17_19+32*r_17_20+25*r_17_21+34*r_17_23+39*r_17_24+33*r_17_25+17*r_17_26+31*r_17_28+30*r_17_29+33*r_17_30+39*r_17_31+17*r_17_32+36*r_17_33+29*r_17_34+36*r_17_35+11*r_17_36+24*r_17_37+22*r_17_38+33*r_17_39+22*r_17_40+12*r_17_41+28*r_17_42+37*r_17_44+25*r_17_45+21*r_17_50+36*r_17_51+37*r_17_53+24*r_17_54+15*r_17_56+16*r_17_58+21*r_17_59+13*r_17_60+35*r_17_62+23*r_17_63+12*r_17_64+39*r_17_65+24*r_17_66+10*r_17_67+15*r_17_68+26*r_17_69+18*r_17_70+35*r_17_71+13*r_17_72+39*r_17_73+10*r_17_76+17*r_17_77+10*r_17_78+16*r_17_80+16*r_17_82+31*r_17_83+17*r_17_85+28*r_17_86+23*r_17_87+36*r_17_89+17*r_17_90+14*r_17_91+14*r_17_92+17*r_17_93+17*r_17_94+24*r_17_95+12*r_17_96+12*r_17_97+16*r_17_98+12*r_17_100<=798;

25*r_18_2+36*r_18_3+22*r_18_5+16*r_18_8+15*r_18_9+28*r_18_11+31*r_18_13+14*r_18_14+22*r_18_16+21*r_18_18+14*r_18_19+25*r_18_21+37*r_18_22+34*r_18_23+39*r_18_24+17*r_18_26+31*r_18_28+30*r_18_29+33*r_18_30+39*r_18_31+17*r_18_32+36*r_18_33+36*r_18_35+24*r_18_37+22*r_18_38+33*r_18_39+22*r_18_40+12*r_18_41+28*r_18_42+16*r_18_43+37*r_18_44+25*r_18_45+19*r_18_46+16*r_18_47+32*r_18_48+22*r_18_49+21*r_18_50+36*r_18_51+37*r_18_53+24*r_18_54+29*r_18_55+15*r_18_56+33*r_18_57+16*r_18_58+21*r_18_59+13*r_18_60+30*r_18_61+23*r_18_63+12*r_18_64+24*r_18_66+15*r_18_68+26*r_18_69+18*r_18_70+13*r_18_72+39*r_18_73+21*r_18_74+30*r_18_75+10*r_18_76+17*r_18_77+10*r_18_78+31*r_18_79+29*r_18_81+16*r_18_82+31*r_18_83+27*r_18_84+17*r_18_85+28*r_18_86+23*r_18_87+36*r_18_89+17*r_18_90+14*r_18_92+17*r_18_93+17*r_18_94+12*r_18_96+16*r_18_98+12*r_18_99<=865;

22*r_19_1+25*r_19_2+36*r_19_3+30*r_19_4+22*r_19_5+36*r_19_6+36*r_19_7+16*r_19_8+15*r_19_9+28*r_19_11+39*r_19_12+31*r_19_13+10*r_19_17+21*r_19_18+14*r_19_19+32*r_19_20+25*r_19_21+37*r_19_22+34*r_19_23+39*r_19_24+33*r_19_25+17*r_19_26+19*r_19_27+31*r_19_28+30*r_19_29+33*r_19_30+39*r_19_31+17*r_19_32+36*r_19_35+11*r_19_36+24*r_19_37+22*r_19_38+33*r_19_39+22*r_19_40+12*r_19_41+16*r_19_43+37*r_19_44+19*r_19_46+16*r_19_47+32*r_19_48+22*r_19_49+36*r_19_51+10*r_19_52+24*r_19_54+29*r_19_55+15*r_19_56+33*r_19_57+16*r_19_58+30*r_19_61+23*r_19_63+39*r_19_65+24*r_19_66+15*r_19_68+26*r_19_69+18*r_19_70+35*r_19_71+13*r_19_72+39*r_19_73+21*r_19_74+30*r_19_75+10*r_19_76+17*r_19_77+31*r_19_79+16*r_19_80+29*r_19_81+16*r_19_82+27*r_19_84+17*r_19_85+28*r_19_86+23*r_19_87+30*r_19_88+36*r_19_89+17*r_19_90+14*r_19_91+14*r_19_92+17*r_19_93+17*r_19_94+24*r_19_95+12*r_19_97+16*r_19_98+12*r_19_99+12*r_19_100<=598;

22*r_20_1+25*r_20_2+36*r_20_3+30*r_20_4+22*r_20_5+36*r_20_6+15*r_20_9+19*r_20_10+28*r_20_11+39*r_20_12+31*r_20_13+22*r_20_16+21*r_20_18+14*r_20_19+32*r_20_20+25*r_20_21+37*r_20_22+34*r_20_23+39*r_20_24+33*r_20_25+17*r_20_26+19*r_20_27+31*r_20_28+30*r_20_29+39*r_20_31+17*r_20_32+36*r_20_33+29*r_20_34+36*r_20_35+11*r_20_36+24*r_20_37+22*r_20_38+33*r_20_39+22*r_20_40+12*r_20_41+28*r_20_42+16*r_20_43+19*r_20_46+32*r_20_48+22*r_20_49+10*r_20_52+37*r_20_53+24*r_20_54+15*r_20_56+33*r_20_57+16*r_20_58+13*r_20_60+35*r_20_62+23*r_20_63+12*r_20_64+39*r_20_65+24*r_20_66+10*r_20_67+15*r_20_68+26*r_20_69+18*r_20_70+35*r_20_71+13*r_20_72+21*r_20_74+30*r_20_75+10*r_20_76+17*r_20_77+31*r_20_79+16*r_20_82+31*r_20_83+28*r_20_86+23*r_20_87+30*r_20_88+36*r_20_89+17*r_20_90+14*r_20_91+14*r_20_92+17*r_20_93+24*r_20_95+12*r_20_96+12*r_20_97+12*r_20_99+12*r_20_100<=778;

/* variables used have values between 0 and 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_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_26<=1;0<=r_1_27<=1;0<=r_1_28<=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_43<=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_1_51<=1;0<=r_1_52<=1;0<=r_1_53<=1;0<=r_1_54<=1;0<=r_1_55<=1;0<=r_1_56<=1;0<=r_1_57<=1;0<=r_1_58<=1;0<=r_1_61<=1;0<=r_1_63<=1;0<=r_1_64<=1;0<=r_1_65<=1;0<=r_1_66<=1;0<=r_1_68<=1;0<=r_1_69<=1;0<=r_1_70<=1;0<=r_1_72<=1;0<=r_1_73<=1;0<=r_1_74<=1;0<=r_1_75<=1;0<=r_1_76<=1;0<=r_1_81<=1;0<=r_1_82<=1;0<=r_1_86<=1;0<=r_1_87<=1;0<=r_1_88<=1;0<=r_1_89<=1;0<=r_1_90<=1;0<=r_1_91<=1;0<=r_1_92<=1;0<=r_1_93<=1;0<=r_1_94<=1;0<=r_1_95<=1;0<=r_1_96<=1;0<=r_1_97<=1;0<=r_1_98<=1;

0<=r_2_2<=1;0<=r_2_3<=1;0<=r_2_4<=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_15<=1;0<=r_2_16<=1;0<=r_2_17<=1;0<=r_2_18<=1;0<=r_2_20<=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_28<=1;0<=r_2_29<=1;0<=r_2_30<=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_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_2_51<=1;0<=r_2_52<=1;0<=r_2_53<=1;0<=r_2_54<=1;0<=r_2_55<=1;0<=r_2_57<=1;0<=r_2_60<=1;0<=r_2_61<=1;0<=r_2_62<=1;0<=r_2_63<=1;0<=r_2_64<=1;0<=r_2_66<=1;0<=r_2_67<=1;0<=r_2_68<=1;0<=r_2_69<=1;0<=r_2_71<=1;0<=r_2_75<=1;0<=r_2_76<=1;0<=r_2_77<=1;0<=r_2_78<=1;0<=r_2_79<=1;0<=r_2_80<=1;0<=r_2_81<=1;0<=r_2_82<=1;0<=r_2_83<=1;0<=r_2_85<=1;0<=r_2_87<=1;0<=r_2_88<=1;0<=r_2_89<=1;0<=r_2_90<=1;0<=r_2_92<=1;0<=r_2_93<=1;0<=r_2_94<=1;0<=r_2_95<=1;0<=r_2_96<=1;0<=r_2_100<=1;

0<=r_3_1<=1;0<=r_3_2<=1;0<=r_3_4<=1;0<=r_3_5<=1;0<=r_3_6<=1;0<=r_3_10<=1;0<=r_3_13<=1;0<=r_3_15<=1;0<=r_3_17<=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_29<=1;0<=r_3_30<=1;0<=r_3_32<=1;0<=r_3_33<=1;0<=r_3_35<=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_47<=1;0<=r_3_49<=1;0<=r_3_50<=1;0<=r_3_51<=1;0<=r_3_52<=1;0<=r_3_53<=1;0<=r_3_54<=1;0<=r_3_55<=1;0<=r_3_56<=1;0<=r_3_57<=1;0<=r_3_58<=1;0<=r_3_59<=1;0<=r_3_60<=1;0<=r_3_61<=1;0<=r_3_62<=1;0<=r_3_63<=1;0<=r_3_64<=1;0<=r_3_65<=1;0<=r_3_67<=1;0<=r_3_68<=1;0<=r_3_69<=1;0<=r_3_70<=1;0<=r_3_72<=1;0<=r_3_73<=1;0<=r_3_75<=1;0<=r_3_76<=1;0<=r_3_77<=1;0<=r_3_78<=1;0<=r_3_79<=1;0<=r_3_80<=1;0<=r_3_81<=1;0<=r_3_84<=1;0<=r_3_85<=1;0<=r_3_87<=1;0<=r_3_88<=1;0<=r_3_90<=1;0<=r_3_93<=1;0<=r_3_95<=1;0<=r_3_96<=1;0<=r_3_97<=1;0<=r_3_98<=1;0<=r_3_99<=1;0<=r_3_100<=1;

0<=r_4_1<=1;0<=r_4_2<=1;0<=r_4_3<=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_16<=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_33<=1;0<=r_4_35<=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_44<=1;0<=r_4_45<=1;0<=r_4_47<=1;0<=r_4_49<=1;0<=r_4_50<=1;0<=r_4_52<=1;0<=r_4_53<=1;0<=r_4_54<=1;0<=r_4_55<=1;0<=r_4_56<=1;0<=r_4_57<=1;0<=r_4_58<=1;0<=r_4_59<=1;0<=r_4_61<=1;0<=r_4_63<=1;0<=r_4_64<=1;0<=r_4_65<=1;0<=r_4_67<=1;0<=r_4_68<=1;0<=r_4_69<=1;0<=r_4_70<=1;0<=r_4_71<=1;0<=r_4_72<=1;0<=r_4_73<=1;0<=r_4_75<=1;0<=r_4_77<=1;0<=r_4_78<=1;0<=r_4_80<=1;0<=r_4_81<=1;0<=r_4_82<=1;0<=r_4_83<=1;0<=r_4_84<=1;0<=r_4_85<=1;0<=r_4_86<=1;0<=r_4_87<=1;0<=r_4_88<=1;0<=r_4_89<=1;0<=r_4_90<=1;0<=r_4_92<=1;0<=r_4_93<=1;0<=r_4_94<=1;0<=r_4_96<=1;0<=r_4_97<=1;0<=r_4_98<=1;0<=r_4_99<=1;0<=r_4_100<=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_11<=1;0<=r_5_12<=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_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_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_44<=1;0<=r_5_48<=1;0<=r_5_49<=1;0<=r_5_50<=1;0<=r_5_51<=1;0<=r_5_53<=1;0<=r_5_54<=1;0<=r_5_55<=1;0<=r_5_56<=1;0<=r_5_57<=1;0<=r_5_58<=1;0<=r_5_59<=1;0<=r_5_60<=1;0<=r_5_63<=1;0<=r_5_64<=1;0<=r_5_65<=1;0<=r_5_66<=1;0<=r_5_67<=1;0<=r_5_69<=1;0<=r_5_70<=1;0<=r_5_71<=1;0<=r_5_72<=1;0<=r_5_74<=1;0<=r_5_76<=1;0<=r_5_77<=1;0<=r_5_79<=1;0<=r_5_81<=1;0<=r_5_82<=1;0<=r_5_84<=1;0<=r_5_85<=1;0<=r_5_88<=1;0<=r_5_89<=1;0<=r_5_90<=1;0<=r_5_91<=1;0<=r_5_92<=1;0<=r_5_93<=1;0<=r_5_94<=1;0<=r_5_95<=1;0<=r_5_96<=1;0<=r_5_97<=1;0<=r_5_98<=1;0<=r_5_99<=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_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_16<=1;0<=r_6_17<=1;0<=r_6_18<=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_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_37<=1;0<=r_6_38<=1;0<=r_6_41<=1;0<=r_6_42<=1;0<=r_6_44<=1;0<=r_6_46<=1;0<=r_6_47<=1;0<=r_6_51<=1;0<=r_6_52<=1;0<=r_6_53<=1;0<=r_6_54<=1;0<=r_6_55<=1;0<=r_6_56<=1;0<=r_6_58<=1;0<=r_6_60<=1;0<=r_6_63<=1;0<=r_6_64<=1;0<=r_6_66<=1;0<=r_6_67<=1;0<=r_6_68<=1;0<=r_6_69<=1;0<=r_6_71<=1;0<=r_6_72<=1;0<=r_6_73<=1;0<=r_6_75<=1;0<=r_6_77<=1;0<=r_6_79<=1;0<=r_6_82<=1;0<=r_6_83<=1;0<=r_6_84<=1;0<=r_6_85<=1;0<=r_6_86<=1;0<=r_6_89<=1;0<=r_6_92<=1;0<=r_6_93<=1;0<=r_6_94<=1;0<=r_6_96<=1;0<=r_6_97<=1;0<=r_6_98<=1;0<=r_6_100<=1;

0<=r_7_1<=1;0<=r_7_3<=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_16<=1;0<=r_7_17<=1;0<=r_7_18<=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_30<=1;0<=r_7_31<=1;0<=r_7_32<=1;0<=r_7_35<=1;0<=r_7_36<=1;0<=r_7_37<=1;0<=r_7_41<=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_7_51<=1;0<=r_7_52<=1;0<=r_7_53<=1;0<=r_7_54<=1;0<=r_7_55<=1;0<=r_7_56<=1;0<=r_7_57<=1;0<=r_7_58<=1;0<=r_7_59<=1;0<=r_7_60<=1;0<=r_7_61<=1;0<=r_7_62<=1;0<=r_7_63<=1;0<=r_7_64<=1;0<=r_7_65<=1;0<=r_7_66<=1;0<=r_7_69<=1;0<=r_7_70<=1;0<=r_7_71<=1;0<=r_7_72<=1;0<=r_7_73<=1;0<=r_7_75<=1;0<=r_7_76<=1;0<=r_7_77<=1;0<=r_7_78<=1;0<=r_7_79<=1;0<=r_7_80<=1;0<=r_7_81<=1;0<=r_7_82<=1;0<=r_7_84<=1;0<=r_7_85<=1;0<=r_7_86<=1;0<=r_7_88<=1;0<=r_7_89<=1;0<=r_7_90<=1;0<=r_7_91<=1;0<=r_7_92<=1;0<=r_7_93<=1;0<=r_7_95<=1;0<=r_7_96<=1;0<=r_7_97<=1;0<=r_7_98<=1;0<=r_7_99<=1;0<=r_7_100<=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_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_15<=1;0<=r_8_16<=1;0<=r_8_17<=1;0<=r_8_19<=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_32<=1;0<=r_8_33<=1;0<=r_8_34<=1;0<=r_8_35<=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_48<=1;0<=r_8_49<=1;0<=r_8_52<=1;0<=r_8_55<=1;0<=r_8_56<=1;0<=r_8_58<=1;0<=r_8_59<=1;0<=r_8_61<=1;0<=r_8_62<=1;0<=r_8_63<=1;0<=r_8_64<=1;0<=r_8_65<=1;0<=r_8_66<=1;0<=r_8_68<=1;0<=r_8_69<=1;0<=r_8_70<=1;0<=r_8_71<=1;0<=r_8_75<=1;0<=r_8_76<=1;0<=r_8_77<=1;0<=r_8_78<=1;0<=r_8_79<=1;0<=r_8_80<=1;0<=r_8_81<=1;0<=r_8_83<=1;0<=r_8_84<=1;0<=r_8_85<=1;0<=r_8_86<=1;0<=r_8_87<=1;0<=r_8_89<=1;0<=r_8_92<=1;0<=r_8_93<=1;0<=r_8_94<=1;0<=r_8_97<=1;0<=r_8_98<=1;0<=r_8_99<=1;0<=r_8_100<=1;

0<=r_9_2<=1;0<=r_9_4<=1;0<=r_9_5<=1;0<=r_9_6<=1;0<=r_9_7<=1;0<=r_9_9<=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_18<=1;0<=r_9_19<=1;0<=r_9_20<=1;0<=r_9_21<=1;0<=r_9_23<=1;0<=r_9_24<=1;0<=r_9_25<=1;0<=r_9_26<=1;0<=r_9_28<=1;0<=r_9_29<=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_37<=1;0<=r_9_39<=1;0<=r_9_40<=1;0<=r_9_41<=1;0<=r_9_43<=1;0<=r_9_46<=1;0<=r_9_47<=1;0<=r_9_50<=1;0<=r_9_51<=1;0<=r_9_52<=1;0<=r_9_54<=1;0<=r_9_55<=1;0<=r_9_58<=1;0<=r_9_59<=1;0<=r_9_60<=1;0<=r_9_61<=1;0<=r_9_62<=1;0<=r_9_63<=1;0<=r_9_64<=1;0<=r_9_65<=1;0<=r_9_66<=1;0<=r_9_68<=1;0<=r_9_69<=1;0<=r_9_70<=1;0<=r_9_71<=1;0<=r_9_72<=1;0<=r_9_74<=1;0<=r_9_77<=1;0<=r_9_78<=1;0<=r_9_79<=1;0<=r_9_80<=1;0<=r_9_81<=1;0<=r_9_82<=1;0<=r_9_83<=1;0<=r_9_86<=1;0<=r_9_89<=1;0<=r_9_90<=1;0<=r_9_91<=1;0<=r_9_92<=1;0<=r_9_93<=1;0<=r_9_94<=1;0<=r_9_95<=1;0<=r_9_96<=1;0<=r_9_99<=1;0<=r_9_100<=1;

0<=r_10_1<=1;0<=r_10_2<=1;0<=r_10_3<=1;0<=r_10_5<=1;0<=r_10_6<=1;0<=r_10_7<=1;0<=r_10_8<=1;0<=r_10_11<=1;0<=r_10_12<=1;0<=r_10_13<=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_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_29<=1;0<=r_10_31<=1;0<=r_10_32<=1;0<=r_10_33<=1;0<=r_10_34<=1;0<=r_10_36<=1;0<=r_10_37<=1;0<=r_10_38<=1;0<=r_10_39<=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_50<=1;0<=r_10_51<=1;0<=r_10_52<=1;0<=r_10_53<=1;0<=r_10_54<=1;0<=r_10_56<=1;0<=r_10_57<=1;0<=r_10_58<=1;0<=r_10_59<=1;0<=r_10_60<=1;0<=r_10_61<=1;0<=r_10_63<=1;0<=r_10_64<=1;0<=r_10_65<=1;0<=r_10_67<=1;0<=r_10_69<=1;0<=r_10_70<=1;0<=r_10_71<=1;0<=r_10_72<=1;0<=r_10_73<=1;0<=r_10_75<=1;0<=r_10_76<=1;0<=r_10_77<=1;0<=r_10_78<=1;0<=r_10_79<=1;0<=r_10_80<=1;0<=r_10_81<=1;0<=r_10_82<=1;0<=r_10_83<=1;0<=r_10_84<=1;0<=r_10_85<=1;0<=r_10_86<=1;0<=r_10_87<=1;0<=r_10_88<=1;0<=r_10_89<=1;0<=r_10_90<=1;0<=r_10_92<=1;0<=r_10_93<=1;0<=r_10_95<=1;0<=r_10_96<=1;0<=r_10_97<=1;0<=r_10_98<=1;

0<=r_11_1<=1;0<=r_11_3<=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_16<=1;0<=r_11_17<=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_26<=1;0<=r_11_28<=1;0<=r_11_30<=1;0<=r_11_31<=1;0<=r_11_32<=1;0<=r_11_34<=1;0<=r_11_35<=1;0<=r_11_36<=1;0<=r_11_37<=1;0<=r_11_40<=1;0<=r_11_42<=1;0<=r_11_43<=1;0<=r_11_44<=1;0<=r_11_45<=1;0<=r_11_47<=1;0<=r_11_50<=1;0<=r_11_51<=1;0<=r_11_52<=1;0<=r_11_54<=1;0<=r_11_56<=1;0<=r_11_57<=1;0<=r_11_58<=1;0<=r_11_59<=1;0<=r_11_60<=1;0<=r_11_61<=1;0<=r_11_62<=1;0<=r_11_63<=1;0<=r_11_64<=1;0<=r_11_65<=1;0<=r_11_66<=1;0<=r_11_67<=1;0<=r_11_68<=1;0<=r_11_70<=1;0<=r_11_71<=1;0<=r_11_72<=1;0<=r_11_74<=1;0<=r_11_75<=1;0<=r_11_76<=1;0<=r_11_77<=1;0<=r_11_78<=1;0<=r_11_79<=1;0<=r_11_80<=1;0<=r_11_81<=1;0<=r_11_82<=1;0<=r_11_84<=1;0<=r_11_85<=1;0<=r_11_86<=1;0<=r_11_89<=1;0<=r_11_90<=1;0<=r_11_91<=1;0<=r_11_92<=1;0<=r_11_94<=1;0<=r_11_96<=1;0<=r_11_97<=1;0<=r_11_98<=1;0<=r_11_100<=1;

0<=r_12_2<=1;0<=r_12_3<=1;0<=r_12_4<=1;0<=r_12_5<=1;0<=r_12_7<=1;0<=r_12_8<=1;0<=r_12_10<=1;0<=r_12_11<=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_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_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_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_41<=1;0<=r_12_42<=1;0<=r_12_43<=1;0<=r_12_46<=1;0<=r_12_48<=1;0<=r_12_49<=1;0<=r_12_50<=1;0<=r_12_51<=1;0<=r_12_52<=1;0<=r_12_53<=1;0<=r_12_54<=1;0<=r_12_56<=1;0<=r_12_57<=1;0<=r_12_58<=1;0<=r_12_59<=1;0<=r_12_60<=1;0<=r_12_62<=1;0<=r_12_64<=1;0<=r_12_66<=1;0<=r_12_67<=1;0<=r_12_68<=1;0<=r_12_69<=1;0<=r_12_70<=1;0<=r_12_71<=1;0<=r_12_72<=1;0<=r_12_73<=1;0<=r_12_74<=1;0<=r_12_75<=1;0<=r_12_76<=1;0<=r_12_78<=1;0<=r_12_79<=1;0<=r_12_80<=1;0<=r_12_81<=1;0<=r_12_82<=1;0<=r_12_83<=1;0<=r_12_84<=1;0<=r_12_85<=1;0<=r_12_86<=1;0<=r_12_87<=1;0<=r_12_88<=1;0<=r_12_89<=1;0<=r_12_91<=1;0<=r_12_93<=1;0<=r_12_94<=1;0<=r_12_95<=1;0<=r_12_96<=1;0<=r_12_98<=1;0<=r_12_100<=1;

0<=r_13_1<=1;0<=r_13_2<=1;0<=r_13_3<=1;0<=r_13_4<=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_13<=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_31<=1;0<=r_13_32<=1;0<=r_13_33<=1;0<=r_13_35<=1;0<=r_13_37<=1;0<=r_13_39<=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_47<=1;0<=r_13_50<=1;0<=r_13_53<=1;0<=r_13_54<=1;0<=r_13_55<=1;0<=r_13_56<=1;0<=r_13_57<=1;0<=r_13_58<=1;0<=r_13_59<=1;0<=r_13_60<=1;0<=r_13_61<=1;0<=r_13_62<=1;0<=r_13_63<=1;0<=r_13_64<=1;0<=r_13_65<=1;0<=r_13_66<=1;0<=r_13_68<=1;0<=r_13_69<=1;0<=r_13_70<=1;0<=r_13_71<=1;0<=r_13_72<=1;0<=r_13_73<=1;0<=r_13_74<=1;0<=r_13_75<=1;0<=r_13_76<=1;0<=r_13_77<=1;0<=r_13_79<=1;0<=r_13_80<=1;0<=r_13_82<=1;0<=r_13_83<=1;0<=r_13_84<=1;0<=r_13_85<=1;0<=r_13_86<=1;0<=r_13_87<=1;0<=r_13_88<=1;0<=r_13_89<=1;0<=r_13_90<=1;0<=r_13_91<=1;0<=r_13_92<=1;0<=r_13_93<=1;0<=r_13_94<=1;0<=r_13_95<=1;0<=r_13_96<=1;0<=r_13_97<=1;0<=r_13_98<=1;0<=r_13_99<=1;0<=r_13_100<=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_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_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_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_50<=1;0<=r_14_51<=1;0<=r_14_52<=1;0<=r_14_54<=1;0<=r_14_55<=1;0<=r_14_56<=1;0<=r_14_57<=1;0<=r_14_58<=1;0<=r_14_59<=1;0<=r_14_60<=1;0<=r_14_61<=1;0<=r_14_62<=1;0<=r_14_63<=1;0<=r_14_64<=1;0<=r_14_65<=1;0<=r_14_66<=1;0<=r_14_68<=1;0<=r_14_69<=1;0<=r_14_70<=1;0<=r_14_72<=1;0<=r_14_73<=1;0<=r_14_75<=1;0<=r_14_77<=1;0<=r_14_78<=1;0<=r_14_79<=1;0<=r_14_80<=1;0<=r_14_81<=1;0<=r_14_82<=1;0<=r_14_83<=1;0<=r_14_84<=1;0<=r_14_86<=1;0<=r_14_87<=1;0<=r_14_88<=1;0<=r_14_89<=1;0<=r_14_91<=1;0<=r_14_94<=1;0<=r_14_95<=1;0<=r_14_97<=1;0<=r_14_98<=1;0<=r_14_100<=1;

0<=r_15_2<=1;0<=r_15_5<=1;0<=r_15_6<=1;0<=r_15_7<=1;0<=r_15_9<=1;0<=r_15_11<=1;0<=r_15_12<=1;0<=r_15_13<=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_21<=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_31<=1;0<=r_15_32<=1;0<=r_15_33<=1;0<=r_15_34<=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_43<=1;0<=r_15_44<=1;0<=r_15_47<=1;0<=r_15_48<=1;0<=r_15_49<=1;0<=r_15_50<=1;0<=r_15_51<=1;0<=r_15_52<=1;0<=r_15_53<=1;0<=r_15_54<=1;0<=r_15_55<=1;0<=r_15_56<=1;0<=r_15_58<=1;0<=r_15_59<=1;0<=r_15_60<=1;0<=r_15_61<=1;0<=r_15_62<=1;0<=r_15_64<=1;0<=r_15_65<=1;0<=r_15_67<=1;0<=r_15_68<=1;0<=r_15_69<=1;0<=r_15_70<=1;0<=r_15_71<=1;0<=r_15_72<=1;0<=r_15_74<=1;0<=r_15_75<=1;0<=r_15_77<=1;0<=r_15_78<=1;0<=r_15_79<=1;0<=r_15_81<=1;0<=r_15_82<=1;0<=r_15_83<=1;0<=r_15_86<=1;0<=r_15_87<=1;0<=r_15_89<=1;0<=r_15_91<=1;0<=r_15_92<=1;0<=r_15_93<=1;0<=r_15_94<=1;0<=r_15_98<=1;0<=r_15_99<=1;0<=r_15_100<=1;

0<=r_16_1<=1;0<=r_16_2<=1;0<=r_16_3<=1;0<=r_16_5<=1;0<=r_16_8<=1;0<=r_16_9<=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_18<=1;0<=r_16_20<=1;0<=r_16_22<=1;0<=r_16_23<=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_33<=1;0<=r_16_34<=1;0<=r_16_35<=1;0<=r_16_36<=1;0<=r_16_38<=1;0<=r_16_39<=1;0<=r_16_41<=1;0<=r_16_42<=1;0<=r_16_44<=1;0<=r_16_45<=1;0<=r_16_46<=1;0<=r_16_48<=1;0<=r_16_49<=1;0<=r_16_52<=1;0<=r_16_53<=1;0<=r_16_56<=1;0<=r_16_58<=1;0<=r_16_59<=1;0<=r_16_60<=1;0<=r_16_61<=1;0<=r_16_62<=1;0<=r_16_63<=1;0<=r_16_64<=1;0<=r_16_65<=1;0<=r_16_66<=1;0<=r_16_69<=1;0<=r_16_70<=1;0<=r_16_71<=1;0<=r_16_73<=1;0<=r_16_74<=1;0<=r_16_75<=1;0<=r_16_77<=1;0<=r_16_78<=1;0<=r_16_79<=1;0<=r_16_80<=1;0<=r_16_81<=1;0<=r_16_82<=1;0<=r_16_83<=1;0<=r_16_84<=1;0<=r_16_85<=1;0<=r_16_86<=1;0<=r_16_88<=1;0<=r_16_89<=1;0<=r_16_90<=1;0<=r_16_91<=1;0<=r_16_92<=1;0<=r_16_93<=1;0<=r_16_94<=1;0<=r_16_98<=1;0<=r_16_99<=1;0<=r_16_100<=1;

0<=r_17_1<=1;0<=r_17_2<=1;0<=r_17_3<=1;0<=r_17_5<=1;0<=r_17_6<=1;0<=r_17_7<=1;0<=r_17_9<=1;0<=r_17_11<=1;0<=r_17_12<=1;0<=r_17_13<=1;0<=r_17_14<=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_23<=1;0<=r_17_24<=1;0<=r_17_25<=1;0<=r_17_26<=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_44<=1;0<=r_17_45<=1;0<=r_17_50<=1;0<=r_17_51<=1;0<=r_17_53<=1;0<=r_17_54<=1;0<=r_17_56<=1;0<=r_17_58<=1;0<=r_17_59<=1;0<=r_17_60<=1;0<=r_17_62<=1;0<=r_17_63<=1;0<=r_17_64<=1;0<=r_17_65<=1;0<=r_17_66<=1;0<=r_17_67<=1;0<=r_17_68<=1;0<=r_17_69<=1;0<=r_17_70<=1;0<=r_17_71<=1;0<=r_17_72<=1;0<=r_17_73<=1;0<=r_17_76<=1;0<=r_17_77<=1;0<=r_17_78<=1;0<=r_17_80<=1;0<=r_17_82<=1;0<=r_17_83<=1;0<=r_17_85<=1;0<=r_17_86<=1;0<=r_17_87<=1;0<=r_17_89<=1;0<=r_17_90<=1;0<=r_17_91<=1;0<=r_17_92<=1;0<=r_17_93<=1;0<=r_17_94<=1;0<=r_17_95<=1;0<=r_17_96<=1;0<=r_17_97<=1;0<=r_17_98<=1;0<=r_17_100<=1;

0<=r_18_2<=1;0<=r_18_3<=1;0<=r_18_5<=1;0<=r_18_8<=1;0<=r_18_9<=1;0<=r_18_11<=1;0<=r_18_13<=1;0<=r_18_14<=1;0<=r_18_16<=1;0<=r_18_18<=1;0<=r_18_19<=1;0<=r_18_21<=1;0<=r_18_22<=1;0<=r_18_23<=1;0<=r_18_24<=1;0<=r_18_26<=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_35<=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_18_51<=1;0<=r_18_53<=1;0<=r_18_54<=1;0<=r_18_55<=1;0<=r_18_56<=1;0<=r_18_57<=1;0<=r_18_58<=1;0<=r_18_59<=1;0<=r_18_60<=1;0<=r_18_61<=1;0<=r_18_63<=1;0<=r_18_64<=1;0<=r_18_66<=1;0<=r_18_68<=1;0<=r_18_69<=1;0<=r_18_70<=1;0<=r_18_72<=1;0<=r_18_73<=1;0<=r_18_74<=1;0<=r_18_75<=1;0<=r_18_76<=1;0<=r_18_77<=1;0<=r_18_78<=1;0<=r_18_79<=1;0<=r_18_81<=1;0<=r_18_82<=1;0<=r_18_83<=1;0<=r_18_84<=1;0<=r_18_85<=1;0<=r_18_86<=1;0<=r_18_87<=1;0<=r_18_89<=1;0<=r_18_90<=1;0<=r_18_92<=1;0<=r_18_93<=1;0<=r_18_94<=1;0<=r_18_96<=1;0<=r_18_98<=1;0<=r_18_99<=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_11<=1;0<=r_19_12<=1;0<=r_19_13<=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_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_43<=1;0<=r_19_44<=1;0<=r_19_46<=1;0<=r_19_47<=1;0<=r_19_48<=1;0<=r_19_49<=1;0<=r_19_51<=1;0<=r_19_52<=1;0<=r_19_54<=1;0<=r_19_55<=1;0<=r_19_56<=1;0<=r_19_57<=1;0<=r_19_58<=1;0<=r_19_61<=1;0<=r_19_63<=1;0<=r_19_65<=1;0<=r_19_66<=1;0<=r_19_68<=1;0<=r_19_69<=1;0<=r_19_70<=1;0<=r_19_71<=1;0<=r_19_72<=1;0<=r_19_73<=1;0<=r_19_74<=1;0<=r_19_75<=1;0<=r_19_76<=1;0<=r_19_77<=1;0<=r_19_79<=1;0<=r_19_80<=1;0<=r_19_81<=1;0<=r_19_82<=1;0<=r_19_84<=1;0<=r_19_85<=1;0<=r_19_86<=1;0<=r_19_87<=1;0<=r_19_88<=1;0<=r_19_89<=1;0<=r_19_90<=1;0<=r_19_91<=1;0<=r_19_92<=1;0<=r_19_93<=1;0<=r_19_94<=1;0<=r_19_95<=1;0<=r_19_97<=1;0<=r_19_98<=1;0<=r_19_99<=1;0<=r_19_100<=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_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_16<=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_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_46<=1;0<=r_20_48<=1;0<=r_20_49<=1;0<=r_20_52<=1;0<=r_20_53<=1;0<=r_20_54<=1;0<=r_20_56<=1;0<=r_20_57<=1;0<=r_20_58<=1;0<=r_20_60<=1;0<=r_20_62<=1;0<=r_20_63<=1;0<=r_20_64<=1;0<=r_20_65<=1;0<=r_20_66<=1;0<=r_20_67<=1;0<=r_20_68<=1;0<=r_20_69<=1;0<=r_20_70<=1;0<=r_20_71<=1;0<=r_20_72<=1;0<=r_20_74<=1;0<=r_20_75<=1;0<=r_20_76<=1;0<=r_20_77<=1;0<=r_20_79<=1;0<=r_20_82<=1;0<=r_20_83<=1;0<=r_20_86<=1;0<=r_20_87<=1;0<=r_20_88<=1;0<=r_20_89<=1;0<=r_20_90<=1;0<=r_20_91<=1;0<=r_20_92<=1;0<=r_20_93<=1;0<=r_20_95<=1;0<=r_20_96<=1;0<=r_20_97<=1;0<=r_20_99<=1;0<=r_20_100<=1;

/* integer variables */

int r_1_2,r_1_3,r_1_4,r_1_5,r_1_6,r_1_7,r_1_8,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_26,r_1_27,r_1_28,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_43,r_1_45,r_1_46,r_1_47,r_1_48,r_1_49,r_1_50,r_1_51,r_1_52,r_1_53,r_1_54,r_1_55,r_1_56,r_1_57,r_1_58,r_1_61,r_1_63,r_1_64,r_1_65,r_1_66,r_1_68,r_1_69,r_1_70,r_1_72,r_1_73,r_1_74,r_1_75,r_1_76,r_1_81,r_1_82,r_1_86,r_1_87,r_1_88,r_1_89,r_1_90,r_1_91,r_1_92,r_1_93,r_1_94,r_1_95,r_1_96,r_1_97,r_1_98;

int r_2_2,r_2_3,r_2_4,r_2_7,r_2_8,r_2_9,r_2_10,r_2_11,r_2_12,r_2_13,r_2_15,r_2_16,r_2_17,r_2_18,r_2_20,r_2_22,r_2_23,r_2_24,r_2_25,r_2_26,r_2_28,r_2_29,r_2_30,r_2_33,r_2_34,r_2_35,r_2_36,r_2_37,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,r_2_51,r_2_52,r_2_53,r_2_54,r_2_55,r_2_57,r_2_60,r_2_61,r_2_62,r_2_63,r_2_64,r_2_66,r_2_67,r_2_68,r_2_69,r_2_71,r_2_75,r_2_76,r_2_77,r_2_78,r_2_79,r_2_80,r_2_81,r_2_82,r_2_83,r_2_85,r_2_87,r_2_88,r_2_89,r_2_90,r_2_92,r_2_93,r_2_94,r_2_95,r_2_96,r_2_100;

int r_3_1,r_3_2,r_3_4,r_3_5,r_3_6,r_3_10,r_3_13,r_3_15,r_3_17,r_3_20,r_3_21,r_3_22,r_3_23,r_3_24,r_3_25,r_3_26,r_3_29,r_3_30,r_3_32,r_3_33,r_3_35,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_47,r_3_49,r_3_50,r_3_51,r_3_52,r_3_53,r_3_54,r_3_55,r_3_56,r_3_57,r_3_58,r_3_59,r_3_60,r_3_61,r_3_62,r_3_63,r_3_64,r_3_65,r_3_67,r_3_68,r_3_69,r_3_70,r_3_72,r_3_73,r_3_75,r_3_76,r_3_77,r_3_78,r_3_79,r_3_80,r_3_81,r_3_84,r_3_85,r_3_87,r_3_88,r_3_90,r_3_93,r_3_95,r_3_96,r_3_97,r_3_98,r_3_99,r_3_100;

int r_4_1,r_4_2,r_4_3,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_16,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_33,r_4_35,r_4_37,r_4_38,r_4_39,r_4_40,r_4_41,r_4_42,r_4_44,r_4_45,r_4_47,r_4_49,r_4_50,r_4_52,r_4_53,r_4_54,r_4_55,r_4_56,r_4_57,r_4_58,r_4_59,r_4_61,r_4_63,r_4_64,r_4_65,r_4_67,r_4_68,r_4_69,r_4_70,r_4_71,r_4_72,r_4_73,r_4_75,r_4_77,r_4_78,r_4_80,r_4_81,r_4_82,r_4_83,r_4_84,r_4_85,r_4_86,r_4_87,r_4_88,r_4_89,r_4_90,r_4_92,r_4_93,r_4_94,r_4_96,r_4_97,r_4_98,r_4_99,r_4_100;

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_11,r_5_12,r_5_14,r_5_15,r_5_16,r_5_17,r_5_18,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_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_44,r_5_48,r_5_49,r_5_50,r_5_51,r_5_53,r_5_54,r_5_55,r_5_56,r_5_57,r_5_58,r_5_59,r_5_60,r_5_63,r_5_64,r_5_65,r_5_66,r_5_67,r_5_69,r_5_70,r_5_71,r_5_72,r_5_74,r_5_76,r_5_77,r_5_79,r_5_81,r_5_82,r_5_84,r_5_85,r_5_88,r_5_89,r_5_90,r_5_91,r_5_92,r_5_93,r_5_94,r_5_95,r_5_96,r_5_97,r_5_98,r_5_99;

int r_6_1,r_6_2,r_6_3,r_6_4,r_6_5,r_6_6,r_6_7,r_6_9,r_6_10,r_6_11,r_6_12,r_6_13,r_6_14,r_6_16,r_6_17,r_6_18,r_6_22,r_6_23,r_6_24,r_6_25,r_6_26,r_6_28,r_6_29,r_6_30,r_6_31,r_6_33,r_6_34,r_6_35,r_6_37,r_6_38,r_6_41,r_6_42,r_6_44,r_6_46,r_6_47,r_6_51,r_6_52,r_6_53,r_6_54,r_6_55,r_6_56,r_6_58,r_6_60,r_6_63,r_6_64,r_6_66,r_6_67,r_6_68,r_6_69,r_6_71,r_6_72,r_6_73,r_6_75,r_6_77,r_6_79,r_6_82,r_6_83,r_6_84,r_6_85,r_6_86,r_6_89,r_6_92,r_6_93,r_6_94,r_6_96,r_6_97,r_6_98,r_6_100;

int r_7_1,r_7_3,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_16,r_7_17,r_7_18,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_30,r_7_31,r_7_32,r_7_35,r_7_36,r_7_37,r_7_41,r_7_44,r_7_45,r_7_46,r_7_47,r_7_48,r_7_49,r_7_50,r_7_51,r_7_52,r_7_53,r_7_54,r_7_55,r_7_56,r_7_57,r_7_58,r_7_59,r_7_60,r_7_61,r_7_62,r_7_63,r_7_64,r_7_65,r_7_66,r_7_69,r_7_70,r_7_71,r_7_72,r_7_73,r_7_75,r_7_76,r_7_77,r_7_78,r_7_79,r_7_80,r_7_81,r_7_82,r_7_84,r_7_85,r_7_86,r_7_88,r_7_89,r_7_90,r_7_91,r_7_92,r_7_93,r_7_95,r_7_96,r_7_97,r_7_98,r_7_99,r_7_100;

int r_8_1,r_8_2,r_8_3,r_8_4,r_8_5,r_8_8,r_8_10,r_8_11,r_8_12,r_8_13,r_8_15,r_8_16,r_8_17,r_8_19,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_32,r_8_33,r_8_34,r_8_35,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_48,r_8_49,r_8_52,r_8_55,r_8_56,r_8_58,r_8_59,r_8_61,r_8_62,r_8_63,r_8_64,r_8_65,r_8_66,r_8_68,r_8_69,r_8_70,r_8_71,r_8_75,r_8_76,r_8_77,r_8_78,r_8_79,r_8_80,r_8_81,r_8_83,r_8_84,r_8_85,r_8_86,r_8_87,r_8_89,r_8_92,r_8_93,r_8_94,r_8_97,r_8_98,r_8_99,r_8_100;

int r_9_2,r_9_4,r_9_5,r_9_6,r_9_7,r_9_9,r_9_11,r_9_12,r_9_13,r_9_14,r_9_15,r_9_16,r_9_18,r_9_19,r_9_20,r_9_21,r_9_23,r_9_24,r_9_25,r_9_26,r_9_28,r_9_29,r_9_31,r_9_32,r_9_33,r_9_34,r_9_36,r_9_37,r_9_39,r_9_40,r_9_41,r_9_43,r_9_46,r_9_47,r_9_50,r_9_51,r_9_52,r_9_54,r_9_55,r_9_58,r_9_59,r_9_60,r_9_61,r_9_62,r_9_63,r_9_64,r_9_65,r_9_66,r_9_68,r_9_69,r_9_70,r_9_71,r_9_72,r_9_74,r_9_77,r_9_78,r_9_79,r_9_80,r_9_81,r_9_82,r_9_83,r_9_86,r_9_89,r_9_90,r_9_91,r_9_92,r_9_93,r_9_94,r_9_95,r_9_96,r_9_99,r_9_100;

int r_10_1,r_10_2,r_10_3,r_10_5,r_10_6,r_10_7,r_10_8,r_10_11,r_10_12,r_10_13,r_10_15,r_10_16,r_10_17,r_10_18,r_10_19,r_10_20,r_10_23,r_10_24,r_10_25,r_10_26,r_10_27,r_10_29,r_10_31,r_10_32,r_10_33,r_10_34,r_10_36,r_10_37,r_10_38,r_10_39,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_50,r_10_51,r_10_52,r_10_53,r_10_54,r_10_56,r_10_57,r_10_58,r_10_59,r_10_60,r_10_61,r_10_63,r_10_64,r_10_65,r_10_67,r_10_69,r_10_70,r_10_71,r_10_72,r_10_73,r_10_75,r_10_76,r_10_77,r_10_78,r_10_79,r_10_80,r_10_81,r_10_82,r_10_83,r_10_84,r_10_85,r_10_86,r_10_87,r_10_88,r_10_89,r_10_90,r_10_92,r_10_93,r_10_95,r_10_96,r_10_97,r_10_98;

int r_11_1,r_11_3,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_16,r_11_17,r_11_20,r_11_21,r_11_22,r_11_23,r_11_24,r_11_26,r_11_28,r_11_30,r_11_31,r_11_32,r_11_34,r_11_35,r_11_36,r_11_37,r_11_40,r_11_42,r_11_43,r_11_44,r_11_45,r_11_47,r_11_50,r_11_51,r_11_52,r_11_54,r_11_56,r_11_57,r_11_58,r_11_59,r_11_60,r_11_61,r_11_62,r_11_63,r_11_64,r_11_65,r_11_66,r_11_67,r_11_68,r_11_70,r_11_71,r_11_72,r_11_74,r_11_75,r_11_76,r_11_77,r_11_78,r_11_79,r_11_80,r_11_81,r_11_82,r_11_84,r_11_85,r_11_86,r_11_89,r_11_90,r_11_91,r_11_92,r_11_94,r_11_96,r_11_97,r_11_98,r_11_100;

int r_12_2,r_12_3,r_12_4,r_12_5,r_12_7,r_12_8,r_12_10,r_12_11,r_12_13,r_12_14,r_12_15,r_12_16,r_12_17,r_12_18,r_12_20,r_12_21,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_35,r_12_36,r_12_37,r_12_38,r_12_40,r_12_41,r_12_42,r_12_43,r_12_46,r_12_48,r_12_49,r_12_50,r_12_51,r_12_52,r_12_53,r_12_54,r_12_56,r_12_57,r_12_58,r_12_59,r_12_60,r_12_62,r_12_64,r_12_66,r_12_67,r_12_68,r_12_69,r_12_70,r_12_71,r_12_72,r_12_73,r_12_74,r_12_75,r_12_76,r_12_78,r_12_79,r_12_80,r_12_81,r_12_82,r_12_83,r_12_84,r_12_85,r_12_86,r_12_87,r_12_88,r_12_89,r_12_91,r_12_93,r_12_94,r_12_95,r_12_96,r_12_98,r_12_100;

int r_13_1,r_13_2,r_13_3,r_13_4,r_13_7,r_13_8,r_13_9,r_13_10,r_13_11,r_13_13,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_31,r_13_32,r_13_33,r_13_35,r_13_37,r_13_39,r_13_41,r_13_42,r_13_43,r_13_44,r_13_45,r_13_47,r_13_50,r_13_53,r_13_54,r_13_55,r_13_56,r_13_57,r_13_58,r_13_59,r_13_60,r_13_61,r_13_62,r_13_63,r_13_64,r_13_65,r_13_66,r_13_68,r_13_69,r_13_70,r_13_71,r_13_72,r_13_73,r_13_74,r_13_75,r_13_76,r_13_77,r_13_79,r_13_80,r_13_82,r_13_83,r_13_84,r_13_85,r_13_86,r_13_87,r_13_88,r_13_89,r_13_90,r_13_91,r_13_92,r_13_93,r_13_94,r_13_95,r_13_96,r_13_97,r_13_98,r_13_99,r_13_100;

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_24,r_14_25,r_14_26,r_14_27,r_14_28,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_44,r_14_45,r_14_46,r_14_47,r_14_48,r_14_50,r_14_51,r_14_52,r_14_54,r_14_55,r_14_56,r_14_57,r_14_58,r_14_59,r_14_60,r_14_61,r_14_62,r_14_63,r_14_64,r_14_65,r_14_66,r_14_68,r_14_69,r_14_70,r_14_72,r_14_73,r_14_75,r_14_77,r_14_78,r_14_79,r_14_80,r_14_81,r_14_82,r_14_83,r_14_84,r_14_86,r_14_87,r_14_88,r_14_89,r_14_91,r_14_94,r_14_95,r_14_97,r_14_98,r_14_100;

int r_15_2,r_15_5,r_15_6,r_15_7,r_15_9,r_15_11,r_15_12,r_15_13,r_15_15,r_15_16,r_15_17,r_15_18,r_15_19,r_15_21,r_15_23,r_15_24,r_15_25,r_15_26,r_15_27,r_15_28,r_15_31,r_15_32,r_15_33,r_15_34,r_15_36,r_15_37,r_15_38,r_15_39,r_15_40,r_15_41,r_15_43,r_15_44,r_15_47,r_15_48,r_15_49,r_15_50,r_15_51,r_15_52,r_15_53,r_15_54,r_15_55,r_15_56,r_15_58,r_15_59,r_15_60,r_15_61,r_15_62,r_15_64,r_15_65,r_15_67,r_15_68,r_15_69,r_15_70,r_15_71,r_15_72,r_15_74,r_15_75,r_15_77,r_15_78,r_15_79,r_15_81,r_15_82,r_15_83,r_15_86,r_15_87,r_15_89,r_15_91,r_15_92,r_15_93,r_15_94,r_15_98,r_15_99,r_15_100;

int r_16_1,r_16_2,r_16_3,r_16_5,r_16_8,r_16_9,r_16_11,r_16_12,r_16_13,r_16_15,r_16_16,r_16_18,r_16_20,r_16_22,r_16_23,r_16_25,r_16_26,r_16_27,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_38,r_16_39,r_16_41,r_16_42,r_16_44,r_16_45,r_16_46,r_16_48,r_16_49,r_16_52,r_16_53,r_16_56,r_16_58,r_16_59,r_16_60,r_16_61,r_16_62,r_16_63,r_16_64,r_16_65,r_16_66,r_16_69,r_16_70,r_16_71,r_16_73,r_16_74,r_16_75,r_16_77,r_16_78,r_16_79,r_16_80,r_16_81,r_16_82,r_16_83,r_16_84,r_16_85,r_16_86,r_16_88,r_16_89,r_16_90,r_16_91,r_16_92,r_16_93,r_16_94,r_16_98,r_16_99,r_16_100;

int r_17_1,r_17_2,r_17_3,r_17_5,r_17_6,r_17_7,r_17_9,r_17_11,r_17_12,r_17_13,r_17_14,r_17_16,r_17_17,r_17_18,r_17_19,r_17_20,r_17_21,r_17_23,r_17_24,r_17_25,r_17_26,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_44,r_17_45,r_17_50,r_17_51,r_17_53,r_17_54,r_17_56,r_17_58,r_17_59,r_17_60,r_17_62,r_17_63,r_17_64,r_17_65,r_17_66,r_17_67,r_17_68,r_17_69,r_17_70,r_17_71,r_17_72,r_17_73,r_17_76,r_17_77,r_17_78,r_17_80,r_17_82,r_17_83,r_17_85,r_17_86,r_17_87,r_17_89,r_17_90,r_17_91,r_17_92,r_17_93,r_17_94,r_17_95,r_17_96,r_17_97,r_17_98,r_17_100;

int r_18_2,r_18_3,r_18_5,r_18_8,r_18_9,r_18_11,r_18_13,r_18_14,r_18_16,r_18_18,r_18_19,r_18_21,r_18_22,r_18_23,r_18_24,r_18_26,r_18_28,r_18_29,r_18_30,r_18_31,r_18_32,r_18_33,r_18_35,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,r_18_51,r_18_53,r_18_54,r_18_55,r_18_56,r_18_57,r_18_58,r_18_59,r_18_60,r_18_61,r_18_63,r_18_64,r_18_66,r_18_68,r_18_69,r_18_70,r_18_72,r_18_73,r_18_74,r_18_75,r_18_76,r_18_77,r_18_78,r_18_79,r_18_81,r_18_82,r_18_83,r_18_84,r_18_85,r_18_86,r_18_87,r_18_89,r_18_90,r_18_92,r_18_93,r_18_94,r_18_96,r_18_98,r_18_99;

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_11,r_19_12,r_19_13,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_35,r_19_36,r_19_37,r_19_38,r_19_39,r_19_40,r_19_41,r_19_43,r_19_44,r_19_46,r_19_47,r_19_48,r_19_49,r_19_51,r_19_52,r_19_54,r_19_55,r_19_56,r_19_57,r_19_58,r_19_61,r_19_63,r_19_65,r_19_66,r_19_68,r_19_69,r_19_70,r_19_71,r_19_72,r_19_73,r_19_74,r_19_75,r_19_76,r_19_77,r_19_79,r_19_80,r_19_81,r_19_82,r_19_84,r_19_85,r_19_86,r_19_87,r_19_88,r_19_89,r_19_90,r_19_91,r_19_92,r_19_93,r_19_94,r_19_95,r_19_97,r_19_98,r_19_99,r_19_100;

int r_20_1,r_20_2,r_20_3,r_20_4,r_20_5,r_20_6,r_20_9,r_20_10,r_20_11,r_20_12,r_20_13,r_20_16,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_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_46,r_20_48,r_20_49,r_20_52,r_20_53,r_20_54,r_20_56,r_20_57,r_20_58,r_20_60,r_20_62,r_20_63,r_20_64,r_20_65,r_20_66,r_20_67,r_20_68,r_20_69,r_20_70,r_20_71,r_20_72,r_20_74,r_20_75,r_20_76,r_20_77,r_20_79,r_20_82,r_20_83,r_20_86,r_20_87,r_20_88,r_20_89,r_20_90,r_20_91,r_20_92,r_20_93,r_20_95,r_20_96,r_20_97,r_20_99,r_20_100;