/* variables: r_idstatie_idfragment */

/* function */

max: 5742942.744*r_1_1+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+4049621.745*r_1_9+4865139.677*r_1_10+7885093.804*r_1_11

+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+8787541.752*r_1_25+4529590.755*r_1_26+5570245.827*r_1_27+8606041.719*r_1_28+8136268.05*r_1_29+8617222.284*r_1_30+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+7523830.552*r_1_42+4695866.816*r_1_43+10475753.908*r_1_44

+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+5760903.204*r_1_59+3695879.824*r_1_60+8104411.53*r_1_61+9605633.765*r_1_62+5781490.726*r_1_63+3024593.736*r_1_64+10193386.047*r_1_65+6153972.816*r_1_66

+2831638.66*r_1_67+3898066.77*r_1_68+7287229.066*r_1_69+5035887.522*r_1_70+9319259.285*r_1_71+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+4678440.766*r_1_77

+2673967.67*r_1_78+8409984.327*r_1_79+4014337.296*r_1_80+7801782.304*r_1_81+4319909.568*r_1_82+8630693.818*r_1_83+7370337.474*r_1_84+4704604.82*r_1_85+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+3106074.312*r_1_99

+3091070.028*r_1_100+5953824.184*r_2_1+6440617.925*r_2_2+9475351.92*r_2_3+7639447.32*r_2_4+5991245.238*r_2_5+9763969.212*r_2_6+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+3675504.77*r_2_14+6822553.08*r_2_15+5700067.252*r_2_16+2799265.46*r_2_17+5838417.984*r_2_18+3790897.614*r_2_19+8533540.416*r_2_20+7233835.375*r_2_21

+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+5214874.9*r_2_27+8548731.461*r_2_28+9037692.9*r_2_29+8201263.224*r_2_30+10837862.022*r_2_31+5160370.349*r_2_32

+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+6028138.842*r_2_38+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+4339341.675*r_2_56+9207591.492*r_2_57+4449349.296*r_2_58+5898916.863*r_2_59+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+10720932.378*r_2_65

+7096837.392*r_2_66+2623208.71*r_2_67+4311885.24*r_2_68+6839427.192*r_2_69+5204588.022*r_2_70+9647788.99*r_2_71+3709468.581*r_2_72+10669042.293*r_2_73+5921220.396*r_2_74+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+7531186.518*r_2_84+4756383.284*r_2_85+7412297.62*r_2_86+6340345.186*r_2_87

+8833405.14*r_2_88+9900288.828*r_2_89+4763479.016*r_2_90+4029780.02*r_2_91+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+3268052.712*r_2_97+4266152.096*r_2_98

+3232956.636*r_2_99+3289943.796*r_2_100+6056220.72*r_3_1+6955604.7*r_3_2+11068169.904*r_3_3+8346616.53*r_3_4+6176162.08*r_3_5+9995482.044*r_3_6+9655096.392*r_3_7+4642052.448*r_3_8+3872432.445*r_3_9

+5239177.154*r_3_10+8398698.364*r_3_11+10148115.393*r_3_12+9301750.446*r_3_13+3872383.27*r_3_14+7048759.56*r_3_15+6141541.054*r_3_16+2709602.9*r_3_17+6002920.098*r_3_18+4005883.812*r_3_19+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+5570337.35*r_3_27+8881192.263*r_3_28+8463852.42*r_3_29+9333474.975*r_3_30+10229000.73*r_3_31

+4614390.07*r_3_32+10315852.524*r_3_33+8134631.196*r_3_34+10454929.092*r_3_35+2939732.917*r_3_36+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+4944093.797*r_3_46+4546332.176*r_3_47+8607470.24*r_3_48+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+6672145.272*r_3_66+2868766.23*r_3_67+4375536.735*r_3_68+7248587.866*r_3_69+5152215.834*r_3_70+9838957.38*r_3_71+3780674.885*r_3_72+10725660.153*r_3_73+5787008.661*r_3_74+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+4499399.376*r_3_82+8185071.329*r_3_83+6997159.566*r_3_84+4467287.54*r_3_85+7490561.876*r_3_86

+6320476.935*r_3_87+8577727.11*r_3_88+9280101.312*r_3_89+5382011.181*r_3_90+3877854.498*r_3_91+3623395.468*r_3_92+4900539.272*r_3_93+4208245.45*r_3_94+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+8710979.4*r_4_4+5915831.108*r_4_5+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+6828120.432*r_4_15+6078544.582*r_4_16+3043719.4*r_4_17+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+4637465.972*r_4_32+9635037.408*r_4_33+7733482.896*r_4_34+9543052.764*r_4_35+2787641.846*r_4_36+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+4174247.76*r_4_43+9924450.652*r_4_44+6702168.55*r_4_45+5404725.788*r_4_46+4309955.312*r_4_47+8816523.904*r_4_48+6362890.006*r_4_49+5703957.021*r_4_50+9789632.388*r_4_51+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+3478883.681*r_4_60+8364237.87*r_4_61+9599557.485*r_4_62+6571650.091*r_4_63

+3278679.84*r_4_64+10899909.267*r_4_65+6355256.616*r_4_66+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+5616763.572*r_4_74

+8482745.76*r_4_75+2678415.8*r_4_76+4487885.998*r_4_77+2824973.01*r_4_78+9207932.48*r_4_79+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+3857054.124*r_4_91+3974129.278*r_4_92+4891428.632*r_4_93+4366940.807*r_4_94+6520047.792*r_4_95+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+5372165.431*r_5_10+7651727.356*r_5_11+10932128.181*r_5_12+8239470.129*r_5_13+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

+3714450.264*r_5_19+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+4690369.258*r_5_32+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+8572783.632*r_5_42+4421114.768*r_5_43+10073969.391*r_5_44+6355189.6*r_5_45+4986860.004*r_5_46+4504368.528*r_5_47+8270499.328*r_5_48+6534046.09*r_5_49+5326467.888*r_5_50+9810524.016*r_5_51

+2820999.77*r_5_52+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+7965510.09*r_5_61+10020197.74*r_5_62

+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+3834104.295*r_5_68+7703901.998*r_5_69+4989452.04*r_5_70+9812864.11*r_5_71+3690897.496*r_5_72+10625475.861*r_5_73

+5664896.811*r_5_74+8198756.82*r_5_75+2688887.86*r_5_76+4937395.17*r_5_77+2745177.88*r_5_78+8425113.629*r_5_79+4180568.688*r_5_80+7359215.972*r_5_81+4542577.536*r_5_82+8669647.581*r_5_83+7589192.103*r_5_84

+4723684.736*r_5_85+7345822.54*r_5_86+6213366.096*r_5_87+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+3373925.748*r_5_100+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+4401198.352*r_6_8+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+6355398.936*r_6_15+6515425.84*r_6_16+2780455.23*r_6_17

+5494321.077*r_6_18+4041230.34*r_6_19+9005442.208*r_6_20+6419503.625*r_6_21+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+5525391.501*r_6_27+8152254.109*r_6_28

+8343873.66*r_6_29+8342344.065*r_6_30+10589460.102*r_6_31+4698617.845*r_6_32+9820146.888*r_6_33+7493980.828*r_6_34+9729204.084*r_6_35+2769698.602*r_6_36+6482240.808*r_6_37+6004216.108*r_6_38+9006044.454*r_6_39

+5877603.402*r_6_40+3035286.336*r_6_41+7658841.876*r_6_42+4551656.848*r_6_43+9711743.609*r_6_44+7227408.1*r_6_45+5346735.546*r_6_46+4412330.592*r_6_47+8482189.12*r_6_48+5760834.596*r_6_49+5716246.998*r_6_50

+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+8631571.278*r_6_57+3794176.592*r_6_58+5874826.125*r_6_59+3538911.662*r_6_60+8059724.28*r_6_61

+9823413.145*r_6_62+6477386.845*r_6_63+3291650.616*r_6_64+10668142.056*r_6_65+6720143.664*r_6_66+2668509.64*r_6_67+3757091.565*r_6_68+7418056.906*r_6_69+5290892.064*r_6_70+9773429.68*r_6_71+3288161.669*r_6_72

+10554077.352*r_6_73+5823850.641*r_6_74+8018359.86*r_6_75+2744485.5*r_6_76+4532854.67*r_6_77+2664098.14*r_6_78+8532030.893*r_6_79+4407643.392*r_6_80+7905222.52*r_6_81+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+5965042.962*r_6_87+8154593.34*r_6_88+10508110.056*r_6_89+4807339.186*r_6_90+3932305.958*r_6_91+3624346.432*r_6_92+4510993.112*r_6_93+4318144.313*r_6_94

+5924234.016*r_6_95+3201938.94*r_6_96+3249849.972*r_6_97+4861280.848*r_6_98+3360880.716*r_6_99+3401382.3*r_6_100+5813177.832*r_7_1+6707000.4*r_7_2+9745984.116*r_7_3+7833221.79*r_7_4+5959804.862*r_7_5

+10383093.756*r_7_6+10238594.112*r_7_7+4455353.36*r_7_8+4301405.685*r_7_9+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+6937482.672*r_7_15+6226019.316*r_7_16

+2857306.73*r_7_17+5723513.523*r_7_18+4150245.232*r_7_19+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+7627215.09*r_7_29+8592042.954*r_7_30+10362974.622*r_7_31+4719053.987*r_7_32+9483660.324*r_7_33+8507276.208*r_7_34+9575415.108*r_7_35+2896641.143*r_7_36+6544775.784*r_7_37+5846826.062*r_7_38

+8420361.576*r_7_39+6225060.842*r_7_40+3056376.444*r_7_41+7738250.772*r_7_42+4728510.976*r_7_43+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+2961592.33*r_7_67+4220072.58*r_7_68+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+5189223.27*r_7_74+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

+8909289.454*r_7_83+7280010.297*r_7_84+4672838.365*r_7_85+7477421.924*r_7_86+7051632.077*r_7_87+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

+4689389.616*r_7_94+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+9767518.416*r_8_6+10069687.872*r_8_7+4197037.424*r_8_8+3920840.34*r_8_9+4948366.65*r_8_10+7400301.552*r_8_11+11063610.402*r_8_12+8855663.112*r_8_13+3783669.064*r_8_14+6511021.728*r_8_15

+5518546.946*r_8_16+2867169.8*r_8_17+6431998.251*r_8_18+3778826.87*r_8_19+8121255.232*r_8_20+6220058.075*r_8_21+10827685.143*r_8_22+9641154.546*r_8_23+11164580.349*r_8_24+7770335.727*r_8_25+4405356.421*r_8_26

+5221965.111*r_8_27+8504999.916*r_8_28+7686506.85*r_8_29+8909352.144*r_8_30+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+2988250.903*r_8_36+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+4739673.696*r_8_47+8840396.448*r_8_48

+5866385.03*r_8_49+5348686.455*r_8_50+9868376.16*r_8_51+2749277.56*r_8_52+10862260.533*r_8_53+6329656.536*r_8_54+7888116.029*r_8_55+4278730.155*r_8_56+8511555.195*r_8_57+4677110.56*r_8_58+5946645.495*r_8_59

+3669972.657*r_8_60+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+2647389.72*r_8_67+4031783.565*r_8_68+7384028.054*r_8_69+4845027.348*r_8_70

+9234811.705*r_8_71+3405985.505*r_8_72+11479854.009*r_8_73+6101210.094*r_8_74+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

+4417560.72*r_8_82+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+8567272.44*r_8_88+9903014.028*r_8_89+4463672.405*r_8_90+3844734.656*r_8_91+3818426.416*r_8_92

+5006323.591*r_8_93+4887273.424*r_8_94+6616997.616*r_8_95+3106448.916*r_8_96+3147554.82*r_8_97+4560073.984*r_8_98+3039190.392*r_8_99+3389191.296*r_8_100+6215325.49*r_9_1+6599660.175*r_9_2+9713773.908*r_9_3

+7651841.73*r_9_4+5944415.378*r_9_5+10197715.464*r_9_6+9750999.744*r_9_7+4320752.128*r_9_8+4004012.52*r_9_9+5552191.381*r_9_10+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+2847818.01*r_9_17+5839186.395*r_9_18+3833390.232*r_9_19+8596085.184*r_9_20+7027041.25*r_9_21+9881194.137*r_9_22+9005079.316*r_9_23+10584690.558*r_9_24+8874233.148*r_9_25

+4363208.916*r_9_26+5255449.419*r_9_27+8157469.301*r_9_28+8191261.83*r_9_29+8880259.773*r_9_30+10959521.235*r_9_31+4998107.066*r_9_32+9965220.12*r_9_33+8162798.78*r_9_34+10194924.816*r_9_35+2802036.38*r_9_36

+6265889.52*r_9_37+6285566.848*r_9_38+9434874.966*r_9_39+6551298.314*r_9_40+3268791.852*r_9_41+7464715.776*r_9_42+4777530.16*r_9_43+10325954.45*r_9_44+6728018.95*r_9_45+5163349.921*r_9_46+4836615.952*r_9_47

+9139322.752*r_9_48+6035281.296*r_9_49+5569270.623*r_9_50+9694930.752*r_9_51+2689468.08*r_9_52+9945812.565*r_9_53+6594173.28*r_9_54+8232160.951*r_9_55+4299078.99*r_9_56+8726933.226*r_9_57+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+2794648.16*r_9_67+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+10562932.458*r_9_73+5656086.618*r_9_74+8673343.2*r_9_75+2690449.1*r_9_76+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+6801067.638*r_9_84+4660838.354*r_9_85+8219296.204*r_9_86+6295157.684*r_9_87+8695943.4*r_9_88+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+3129532.98*r_9_97+4681391.6*r_9_98+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+8323049.73*r_10_4+5879837.216*r_10_5+9547593.084*r_10_6+10165842.684*r_10_7+4267787.808*r_10_8+4054873.215*r_10_9+5663674.717*r_10_10+7639791.684*r_10_11+10100672.595*r_10_12+9683816.115*r_10_13

+3987225.046*r_10_14+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+7092914.975*r_10_21+10602790.115*r_10_22+9053656*r_10_23+10898042.766*r_10_24

+9473657.853*r_10_25+4897402.568*r_10_26+5388602.084*r_10_27+8732159.174*r_10_28+8184895.47*r_10_29+8991416.313*r_10_30+11065237.287*r_10_31+4490147.44*r_10_32+10101085.092*r_10_33+8047052.24*r_10_34+9597912.696*r_10_35

+3091497.937*r_10_36+6835149.552*r_10_37+6153881.602*r_10_38+9391251.705*r_10_39+5756684.912*r_10_40+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+5920142.184*r_10_49+5582792.187*r_10_50+9847710*r_10_51+2879281.06*r_10_52+9639055.407*r_10_53+6951321.96*r_10_54+8029605.724*r_10_55+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+9555748.335*r_10_62+6204629.753*r_10_63+3456427.848*r_10_64+10900057.701*r_10_65+6738626.568*r_10_66+2695027.25*r_10_67+4228426.935*r_10_68

+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+5700267.615*r_10_74+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

+3692639.216*r_10_91+3935089.704*r_10_92+4746173.203*r_10_93+4624850.153*r_10_94+6630200.496*r_10_95+3364603.152*r_10_96+3461961.792*r_10_97+4624044.096*r_10_98+3166660.476*r_10_99+3149344.728*r_10_100+6108988.732*r_11_1

+6667360.925*r_11_2+10056586.572*r_11_3+7910744.46*r_11_4+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+6815790.6*r_11_15+5912688.21*r_11_16+2767504.49*r_11_17+5972638.56*r_11_18+3428738.236*r_11_19+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+8388593.334*r_11_25+5000799.594*r_11_26+4838173.053*r_11_27+8107063.239*r_11_28+8586998.04*r_11_29+9011232.021*r_11_30+10926255.561*r_11_31+4515065.547*r_11_32+8962419.636*r_11_33+8753229.761*r_11_34

+10007558.424*r_11_35+2759140.153*r_11_36+6437105.976*r_11_37+5883804.168*r_11_38+8396831.025*r_11_39+6036431.984*r_11_40+3061419.396*r_11_41+7821134.692*r_11_42+4164984.848*r_11_43+9842704.998*r_11_44+6692412.45*r_11_45

+4895657.477*r_11_46+4296920.32*r_11_47+8026456.64*r_11_48+6050874.17*r_11_49+5017422.984*r_11_50+9923738.76*r_11_51+2452043.03*r_11_52+9854776.877*r_11_53+6241291.776*r_11_54+7587530.536*r_11_55+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+7598403.592*r_11_69+4634808.498*r_11_70+9171034.32*r_11_71+3709565.951*r_11_72+10335136.851*r_11_73+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+8331203.19*r_11_83+7468803.072*r_11_84+4564584.218*r_11_85+7287964.796*r_11_86+6424332.331*r_11_87+8615401.71*r_11_88+9510700.5*r_11_89

+4845109.293*r_11_90+3574985.68*r_11_91+3671195.164*r_11_92+4739552.315*r_11_93+4639935.375*r_11_94+6665609.232*r_11_95+3444267.396*r_11_96+3417342.624*r_11_97+4432212.448*r_11_98+2762725.944*r_11_99+3210491.868*r_11_100

+6163533.266*r_12_1+7118929.85*r_12_2+10044085.968*r_12_3+8582121.03*r_12_4+6359639.968*r_12_5+10267797.456*r_12_6+9891031.968*r_12_7+4409893.616*r_12_8+4054973.385*r_12_9+5297482.454*r_12_10+8010713.2*r_12_11

+9930963.471*r_12_12+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+3766090.076*r_12_19+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+4410990.731*r_12_26+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+4662188.987*r_12_32+9171588.744*r_12_33

+7978932.313*r_12_34+10061838.18*r_12_35+2885409.087*r_12_36+6765519.216*r_12_37+5810853.554*r_12_38+8498225.835*r_12_39+6086918.266*r_12_40+3204282.456*r_12_41+7688230.172*r_12_42+4651207.2*r_12_43+9786225.756*r_12_44

+6562947.325*r_12_45+5379808.789*r_12_46+4340325.168*r_12_47+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+8140572.774*r_12_55

+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+8102968.47*r_12_61+9009132.475*r_12_62+6509566.283*r_12_63+3408501.384*r_12_64+10542040.314*r_12_65+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+4857073.468*r_12_77

+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+4882050.769*r_12_90+3780811.09*r_12_91+3596149.396*r_12_92+4863451.018*r_12_93+4439563.6*r_12_94+6932939.928*r_12_95+2975333.628*r_12_96+3066190.14*r_12_97+4470379.904*r_12_98+2842451.88*r_12_99

+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+5747042.73*r_13_5+10572264.612*r_13_6+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+9450604.995*r_13_12+9131727.908*r_13_13+3899489.314*r_13_14+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+7661847.33*r_13_29+8694413.442*r_13_30+11492111.748*r_13_31+5155709.204*r_13_32

+9909722.376*r_13_33+7764575.362*r_13_34+10268908.668*r_13_35+2786264.514*r_13_36+5523692.28*r_13_37+6083148.192*r_13_38+8325140.274*r_13_39+5736912.566*r_13_40+3257802.612*r_13_41+7630847.532*r_13_42+4301374.912*r_13_43

+10254739.921*r_13_44+6593839*r_13_45+5120120.57*r_13_46+4091587.168*r_13_47+8731407.328*r_13_48+6029443.618*r_13_49+5311143.516*r_13_50+9765293.508*r_13_51+2856252.7*r_13_52+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+2685760*r_13_67+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+2687404.55*r_13_78+8558774.717*r_13_79+4323108.016*r_13_80+7874238.398*r_13_81+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+9186115.07*r_14_23+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+7723777.47*r_14_29+8790164.394*r_14_30+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+7538120.772*r_14_42

+4308444.24*r_14_43+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+5959719.15*r_14_49+5719096.971*r_14_50+9563801.256*r_14_51+2672001.49*r_14_52+10641583.727*r_14_53

+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+2933403.81*r_14_67+4255640.97*r_14_68+7384389.792*r_14_69+5144010.264*r_14_70+9854161.975*r_14_71+3380546.078*r_14_72+11732466.135*r_14_73+6227317.152*r_14_74+7389641.52*r_14_75

+2800716.97*r_14_76+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+4542187.925*r_14_85+7530075.588*r_14_86

+6544143.862*r_14_87+8647658.61*r_14_88+9688681.44*r_14_89+4831915.508*r_14_90+3781837.318*r_14_91+3953385.366*r_14_92+4520017.069*r_14_93+4825921.954*r_14_94+6746489.16*r_14_95+3268217.844*r_14_96+3125085.036*r_14_97

+4333636.64*r_14_98+2927312.448*r_14_99+3205347.264*r_14_100+6014566.602*r_15_1+6813804.65*r_15_2+9797277.888*r_15_3+8203015.86*r_15_4+6005135.95*r_15_5+10123998.804*r_15_6+9868134.204*r_15_7+4466905.568*r_15_8

+3973788.27*r_15_9+4633339.506*r_15_10+7111007.4*r_15_11+10794805.164*r_15_12+8305275.193*r_15_13+3815584.556*r_15_14+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

+8027603.488*r_15_20+6514936.85*r_15_21+10375917.511*r_15_22+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+8339875.92*r_15_29+8782941.222*r_15_30

+11040498.729*r_15_31+4628438.003*r_15_32+9322839.288*r_15_33+7782430.053*r_15_34+10993980.816*r_15_35+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

+6995526.888*r_15_42+4274586.608*r_15_43+9502627.305*r_15_44+6360209.4*r_15_45+5190644.865*r_15_46+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+8986670.88*r_15_57+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+6594675.299*r_15_63

+3438265.62*r_15_64+10961082.678*r_15_65+6827555.88*r_15_66+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+10975114.761*r_15_73+6263698.791*r_15_74

+7856390.91*r_15_75+2638049.29*r_15_76+4515755.917*r_15_77+2512235.41*r_15_78+8139929.842*r_15_79+4382186.592*r_15_80+7586954.712*r_15_81+4094099.232*r_15_82+8811727.587*r_15_83+7805793.852*r_15_84+4596250.152*r_15_85

+7611759.708*r_15_86+6276828.938*r_15_87+8144222.76*r_15_88+10511962.344*r_15_89+4767508.883*r_15_90+3483196.066*r_15_91+3724827.386*r_15_92+4709866.388*r_15_93+4725153.23*r_15_94+6563521.824*r_15_95+3305858.676*r_15_96

+3247586.868*r_15_97+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+8006831.43*r_16_4+5869118.024*r_16_5+10330906.176*r_16_6+10226521.728*r_16_7

+4314986.672*r_16_8+4080256.455*r_16_9+5373373.869*r_16_10+7413163.884*r_16_11+10322881.725*r_16_12+8182501.801*r_16_13+3889034.87*r_16_14+7145279.232*r_16_15+5938823.528*r_16_16+2938916.08*r_16_17+5782314.888*r_16_18

+4213227.438*r_16_19+8307544.352*r_16_20+7026632.45*r_16_21+9925918.96*r_16_22+9160798.364*r_16_23+11109069.777*r_16_24+9452710.773*r_16_25+4864518.55*r_16_26+4922433.683*r_16_27+8052881.16*r_16_28+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+6695482.272*r_16_37+6189447.748*r_16_38+9874609.338*r_16_39+6260343.738*r_16_40

+3443157.168*r_16_41+7517491.016*r_16_42+4518188.768*r_16_43+10832538.47*r_16_44+6465940.075*r_16_45+5630211.176*r_16_46+4369683.408*r_16_47+9678436.96*r_16_48+6414540.858*r_16_49+5562453.771*r_16_50+10362023.208*r_16_51

+2729265.77*r_16_52+10277046.74*r_16_53+6887535.36*r_16_54+7953033.892*r_16_55+4104312.945*r_16_56+8307568.5*r_16_57+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+2794665.68*r_16_67+3978634.35*r_16_68+7411175.616*r_16_69+4874662.386*r_16_70+9832431.21*r_16_71+3651887.213*r_16_72+10644348.78*r_16_73

+6213939.543*r_16_74+8284596.87*r_16_75+2720585.81*r_16_76+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+6283153.547*r_16_87+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+6673877.064*r_16_95

+3575836.296*r_16_96+3246705.684*r_16_97+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+8828655.81*r_17_4+5745745.478*r_17_5+10426096.296*r_17_6

+9821948.328*r_17_7+4670123.632*r_17_8+3953516.94*r_17_9+5465349.031*r_17_10+7692253.632*r_17_11+10613409.885*r_17_12+8705516.906*r_17_13+3844499.19*r_17_14+6567066.312*r_17_15+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+11331668.507*r_17_22+9424805.134*r_17_23+10736257.467*r_17_24+9053960.223*r_17_25+4912106.922*r_17_26+5101536.993*r_17_27+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+4363379.92*r_17_43+10684641.108*r_17_44+6929921.6*r_17_45+5546414.507*r_17_46+4504596.464*r_17_47+8935803.616*r_17_48+6171424.578*r_17_49+5752294.758*r_17_50

+9776130.264*r_17_51+2669245.16*r_17_52+10319714.659*r_17_53+6424064.808*r_17_54+7779169.931*r_17_55+4085062.53*r_17_56+8505271.566*r_17_57+3918745.504*r_17_58+5912016.411*r_17_59+3585481.133*r_17_60+7580707.8*r_17_61

+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+5987384.298*r_17_74+8751648.39*r_17_75+2820689.12*r_17_76+4720371.113*r_17_77+2864983.87*r_17_78+8684176.134*r_17_79+4669933.312*r_17_80+8017965.617*r_17_81+4314953.76*r_17_82+9456255.128*r_17_83

+7335260.613*r_17_84+4299397.342*r_17_85+7465458.42*r_17_86+6830971.572*r_17_87+8319324.03*r_17_88+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+3135597.588*r_17_99+3251835.624*r_17_100+6001652.36*r_18_1+7275759.175*r_18_2+10216112.616*r_18_3+7862023.44*r_18_4+5824088.028*r_18_5

+9440068.248*r_18_6+9899313.516*r_18_7+4333199.872*r_18_8+4060952.535*r_18_9+5005454.354*r_18_10+7687913.884*r_18_11+9931969.164*r_18_12+8984246.803*r_18_13+3900847.118*r_18_14+6300903.624*r_18_15+6347485.386*r_18_16

+2932423.7*r_18_17+5835196.731*r_18_18+3508420.482*r_18_19+8500354.208*r_18_20+7184328.125*r_18_21+9621215.265*r_18_22+9851400.312*r_18_23+11131960.32*r_18_24+9005862.855*r_18_25+4521715.216*r_18_26+5311181.606*r_18_27

+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+7746366.175*r_18_34+9800535.816*r_18_35+3266234.378*r_18_36+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+2678651.96*r_18_52+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+9148230.56*r_18_62+6569677.266*r_18_63+3318126.552*r_18_64+10254249.798*r_18_65+6370817.688*r_18_66+2757439.46*r_18_67+4168856.565*r_18_68+6925317.334*r_18_69+5024786.22*r_18_70+9893331.805*r_18_71

+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+4357392.32*r_18_80+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+8461777.05*r_18_88+10273139.568*r_18_89+4577307.511*r_18_90+3761353.26*r_18_91+3664902.136*r_18_92+4787693.34*r_18_93

+4545859.619*r_18_94+6938237.544*r_18_95+3149189.244*r_18_96+3229644.984*r_18_97+4290653.632*r_18_98+3306231.504*r_18_99+3654720.48*r_18_100+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+4760818.201*r_19_10+7483911.904*r_19_11+10347544.389*r_19_12+8144363.214*r_19_13+3834063.408*r_19_14+6505176.672*r_19_15

+6218398.406*r_19_16+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+9705662.964*r_19_33+8056609.944*r_19_34+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+7916552*r_19_42+4778049.168*r_19_43+10092659.46*r_19_44+6658109.225*r_19_45+5102975.635*r_19_46+4496908.752*r_19_47+8358514.784*r_19_48

+6125076.584*r_19_49+5373188.94*r_19_50+9800977.428*r_19_51+2883951.08*r_19_52+10083719.816*r_19_53+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+5853377.376*r_19_59

+3637896.418*r_19_60+8485079.34*r_19_61+9347867.48*r_19_62+7187326.166*r_19_63+3239902.212*r_19_64+11187007.143*r_19_65+6341949.648*r_19_66+2792866.06*r_19_67+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+2524327.41*r_19_78+8752538.543*r_19_79+4352069.984*r_19_80+7704848.731*r_19_81

+4431059.584*r_19_82+8297657.563*r_19_83+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+3401181.792*r_19_96+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+9961648.2*r_20_7+4226028.96*r_20_8+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+3995443.144*r_20_14

+6955112.712*r_20_15+6036812.606*r_20_16+2726142.56*r_20_17+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+8739685.746*r_20_30+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+10050098.545*r_20_44+6415743.925*r_20_45+5337759.832*r_20_46+3915055.248*r_20_47

+8301541.344*r_20_48+6096530.792*r_20_49+5513046.588*r_20_50+9205295.472*r_20_51+2574623.88*r_20_52+10339624.137*r_20_53+6478902.552*r_20_54+8374975.221*r_20_55+3930389.535*r_20_56+8792598.903*r_20_57+4560241.184*r_20_58

+6179948.418*r_20_59+3367707.915*r_20_60+8132589.6*r_20_61+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+10269276.654*r_20_73+5537156.562*r_20_74+8355756.24*r_20_75+2621786.45*r_20_76+4587500.49*r_20_77+2761806.23*r_20_78+8384906.04*r_20_79+4139604.576*r_20_80

+8228336.025*r_20_81+4321664.176*r_20_82+7845545.596*r_20_83+7400819.853*r_20_84+4476624.96*r_20_85+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+4656458.746*r_20_94+6342729.36*r_20_95+3537126.444*r_20_96+3281847.144*r_20_97+4331223.456*r_20_98+3114499.824*r_20_99+2922475.464*r_20_100;

/* restrictions */

22*r_1_1+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+15*r_1_9+19*r_1_10+28*r_1_11+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+33*r_1_25+17*r_1_26+19*r_1_27+31*r_1_28+30*r_1_29+33*r_1_30+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+28*r_1_42+16*r_1_43+37*r_1_44+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+21*r_1_59+13*r_1_60+30*r_1_61+35*r_1_62+23*r_1_63+12*r_1_64+39*r_1_65+24*r_1_66+10*r_1_67+15*r_1_68+26*r_1_69+18*r_1_70+35*r_1_71+13*r_1_72+39*r_1_73+21*r_1_74+30*r_1_75+10*r_1_76+17*r_1_77+10*r_1_78+31*r_1_79+16*r_1_80+29*r_1_81+16*r_1_82+31*r_1_83+27*r_1_84+17*r_1_85+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+12*r_1_99+12*r_1_100<=1064;

22*r_2_1+25*r_2_2+36*r_2_3+30*r_2_4+22*r_2_5+36*r_2_6+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+14*r_2_14+24*r_2_15+22*r_2_16+10*r_2_17+21*r_2_18+14*r_2_19+32*r_2_20+25*r_2_21+37*r_2_22+34*r_2_23+39*r_2_24+33*r_2_25+17*r_2_26+19*r_2_27+31*r_2_28+30*r_2_29+33*r_2_30+39*r_2_31+17*r_2_32+36*r_2_33+29*r_2_34+36*r_2_35+11*r_2_36+24*r_2_37+22*r_2_38+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+15*r_2_56+33*r_2_57+16*r_2_58+21*r_2_59+13*r_2_60+30*r_2_61+35*r_2_62+23*r_2_63+12*r_2_64+39*r_2_65+24*r_2_66+10*r_2_67+15*r_2_68+26*r_2_69+18*r_2_70+35*r_2_71+13*r_2_72+39*r_2_73+21*r_2_74+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+27*r_2_84+17*r_2_85+28*r_2_86+23*r_2_87+30*r_2_88+36*r_2_89+17*r_2_90+14*r_2_91+14*r_2_92+17*r_2_93+17*r_2_94+24*r_2_95+12*r_2_96+12*r_2_97+16*r_2_98+12*r_2_99+12*r_2_100<=1042;

22*r_3_1+25*r_3_2+36*r_3_3+30*r_3_4+22*r_3_5+36*r_3_6+36*r_3_7+16*r_3_8+15*r_3_9+19*r_3_10+28*r_3_11+39*r_3_12+31*r_3_13+14*r_3_14+24*r_3_15+22*r_3_16+10*r_3_17+21*r_3_18+14*r_3_19+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+19*r_3_27+31*r_3_28+30*r_3_29+33*r_3_30+39*r_3_31+17*r_3_32+36*r_3_33+29*r_3_34+36*r_3_35+11*r_3_36+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+19*r_3_46+16*r_3_47+32*r_3_48+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+24*r_3_66+10*r_3_67+15*r_3_68+26*r_3_69+18*r_3_70+35*r_3_71+13*r_3_72+39*r_3_73+21*r_3_74+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+16*r_3_82+31*r_3_83+27*r_3_84+17*r_3_85+28*r_3_86+23*r_3_87+30*r_3_88+36*r_3_89+17*r_3_90+14*r_3_91+14*r_3_92+17*r_3_93+17*r_3_94+24*r_3_95+12*r_3_96+12*r_3_97+16*r_3_98+12*r_3_99+12*r_3_100<=1314;

22*r_4_1+25*r_4_2+36*r_4_3+30*r_4_4+22*r_4_5+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+24*r_4_15+22*r_4_16+10*r_4_17+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+17*r_4_32+36*r_4_33+29*r_4_34+36*r_4_35+11*r_4_36+24*r_4_37+22*r_4_38+33*r_4_39+22*r_4_40+12*r_4_41+28*r_4_42+16*r_4_43+37*r_4_44+25*r_4_45+19*r_4_46+16*r_4_47+32*r_4_48+22*r_4_49+21*r_4_50+36*r_4_51+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+13*r_4_60+30*r_4_61+35*r_4_62+23*r_4_63+12*r_4_64+39*r_4_65+24*r_4_66+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+21*r_4_74+30*r_4_75+10*r_4_76+17*r_4_77+10*r_4_78+31*r_4_79+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_91+14*r_4_92+17*r_4_93+17*r_4_94+24*r_4_95+12*r_4_96+12*r_4_97+16*r_4_98+12*r_4_99+12*r_4_100<=836;

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+19*r_5_10+28*r_5_11+39*r_5_12+31*r_5_13+14*r_5_14+24*r_5_15+22*r_5_16+10*r_5_17+21*r_5_18+14*r_5_19+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+17*r_5_32+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+28*r_5_42+16*r_5_43+37*r_5_44+25*r_5_45+19*r_5_46+16*r_5_47+32*r_5_48+22*r_5_49+21*r_5_50+36*r_5_51+10*r_5_52+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+30*r_5_61+35*r_5_62+23*r_5_63+12*r_5_64+39*r_5_65+24*r_5_66+10*r_5_67+15*r_5_68+26*r_5_69+18*r_5_70+35*r_5_71+13*r_5_72+39*r_5_73+21*r_5_74+30*r_5_75+10*r_5_76+17*r_5_77+10*r_5_78+31*r_5_79+16*r_5_80+29*r_5_81+16*r_5_82+31*r_5_83+27*r_5_84+17*r_5_85+28*r_5_86+23*r_5_87+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+12*r_5_100<=928;

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+16*r_6_8+15*r_6_9+19*r_6_10+28*r_6_11+39*r_6_12+31*r_6_13+14*r_6_14+24*r_6_15+22*r_6_16+10*r_6_17+21*r_6_18+14*r_6_19+32*r_6_20+25*r_6_21+37*r_6_22+34*r_6_23+39*r_6_24+33*r_6_25+17*r_6_26+19*r_6_27+31*r_6_28+30*r_6_29+33*r_6_30+39*r_6_31+17*r_6_32+36*r_6_33+29*r_6_34+36*r_6_35+11*r_6_36+24*r_6_37+22*r_6_38+33*r_6_39+22*r_6_40+12*r_6_41+28*r_6_42+16*r_6_43+37*r_6_44+25*r_6_45+19*r_6_46+16*r_6_47+32*r_6_48+22*r_6_49+21*r_6_50+36*r_6_51+10*r_6_52+37*r_6_53+24*r_6_54+29*r_6_55+15*r_6_56+33*r_6_57+16*r_6_58+21*r_6_59+13*r_6_60+30*r_6_61+35*r_6_62+23*r_6_63+12*r_6_64+39*r_6_65+24*r_6_66+10*r_6_67+15*r_6_68+26*r_6_69+18*r_6_70+35*r_6_71+13*r_6_72+39*r_6_73+21*r_6_74+30*r_6_75+10*r_6_76+17*r_6_77+10*r_6_78+31*r_6_79+16*r_6_80+29*r_6_81+16*r_6_82+31*r_6_83+27*r_6_84+17*r_6_85+28*r_6_86+23*r_6_87+30*r_6_88+36*r_6_89+17*r_6_90+14*r_6_91+14*r_6_92+17*r_6_93+17*r_6_94+24*r_6_95+12*r_6_96+12*r_6_97+16*r_6_98+12*r_6_99+12*r_6_100<=1422;

22*r_7_1+25*r_7_2+36*r_7_3+30*r_7_4+22*r_7_5+36*r_7_6+36*r_7_7+16*r_7_8+15*r_7_9+19*r_7_10+28*r_7_11+39*r_7_12+31*r_7_13+14*r_7_14+24*r_7_15+22*r_7_16+10*r_7_17+21*r_7_18+14*r_7_19+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+30*r_7_29+33*r_7_30+39*r_7_31+17*r_7_32+36*r_7_33+29*r_7_34+36*r_7_35+11*r_7_36+24*r_7_37+22*r_7_38+33*r_7_39+22*r_7_40+12*r_7_41+28*r_7_42+16*r_7_43+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+10*r_7_67+15*r_7_68+26*r_7_69+18*r_7_70+35*r_7_71+13*r_7_72+39*r_7_73+21*r_7_74+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+31*r_7_83+27*r_7_84+17*r_7_85+28*r_7_86+23*r_7_87+30*r_7_88+36*r_7_89+17*r_7_90+14*r_7_91+14*r_7_92+17*r_7_93+17*r_7_94+24*r_7_95+12*r_7_96+12*r_7_97+16*r_7_98+12*r_7_99+12*r_7_100<=954;

22*r_8_1+25*r_8_2+36*r_8_3+30*r_8_4+22*r_8_5+36*r_8_6+36*r_8_7+16*r_8_8+15*r_8_9+19*r_8_10+28*r_8_11+39*r_8_12+31*r_8_13+14*r_8_14+24*r_8_15+22*r_8_16+10*r_8_17+21*r_8_18+14*r_8_19+32*r_8_20+25*r_8_21+37*r_8_22+34*r_8_23+39*r_8_24+33*r_8_25+17*r_8_26+19*r_8_27+31*r_8_28+30*r_8_29+33*r_8_30+39*r_8_31+17*r_8_32+36*r_8_33+29*r_8_34+36*r_8_35+11*r_8_36+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+16*r_8_47+32*r_8_48+22*r_8_49+21*r_8_50+36*r_8_51+10*r_8_52+37*r_8_53+24*r_8_54+29*r_8_55+15*r_8_56+33*r_8_57+16*r_8_58+21*r_8_59+13*r_8_60+30*r_8_61+35*r_8_62+23*r_8_63+12*r_8_64+39*r_8_65+24*r_8_66+10*r_8_67+15*r_8_68+26*r_8_69+18*r_8_70+35*r_8_71+13*r_8_72+39*r_8_73+21*r_8_74+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+16*r_8_82+31*r_8_83+27*r_8_84+17*r_8_85+28*r_8_86+23*r_8_87+30*r_8_88+36*r_8_89+17*r_8_90+14*r_8_91+14*r_8_92+17*r_8_93+17*r_8_94+24*r_8_95+12*r_8_96+12*r_8_97+16*r_8_98+12*r_8_99+12*r_8_100<=1214;

22*r_9_1+25*r_9_2+36*r_9_3+30*r_9_4+22*r_9_5+36*r_9_6+36*r_9_7+16*r_9_8+15*r_9_9+19*r_9_10+28*r_9_11+39*r_9_12+31*r_9_13+14*r_9_14+24*r_9_15+22*r_9_16+10*r_9_17+21*r_9_18+14*r_9_19+32*r_9_20+25*r_9_21+37*r_9_22+34*r_9_23+39*r_9_24+33*r_9_25+17*r_9_26+19*r_9_27+31*r_9_28+30*r_9_29+33*r_9_30+39*r_9_31+17*r_9_32+36*r_9_33+29*r_9_34+36*r_9_35+11*r_9_36+24*r_9_37+22*r_9_38+33*r_9_39+22*r_9_40+12*r_9_41+28*r_9_42+16*r_9_43+37*r_9_44+25*r_9_45+19*r_9_46+16*r_9_47+32*r_9_48+22*r_9_49+21*r_9_50+36*r_9_51+10*r_9_52+37*r_9_53+24*r_9_54+29*r_9_55+15*r_9_56+33*r_9_57+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+10*r_9_67+15*r_9_68+26*r_9_69+18*r_9_70+35*r_9_71+13*r_9_72+39*r_9_73+21*r_9_74+30*r_9_75+10*r_9_76+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+27*r_9_84+17*r_9_85+28*r_9_86+23*r_9_87+30*r_9_88+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_97+16*r_9_98+12*r_9_99+12*r_9_100<=1386;

22*r_10_1+25*r_10_2+36*r_10_3+30*r_10_4+22*r_10_5+36*r_10_6+36*r_10_7+16*r_10_8+15*r_10_9+19*r_10_10+28*r_10_11+39*r_10_12+31*r_10_13+14*r_10_14+24*r_10_15+22*r_10_16+10*r_10_17+21*r_10_18+14*r_10_19+32*r_10_20+25*r_10_21+37*r_10_22+34*r_10_23+39*r_10_24+33*r_10_25+17*r_10_26+19*r_10_27+31*r_10_28+30*r_10_29+33*r_10_30+39*r_10_31+17*r_10_32+36*r_10_33+29*r_10_34+36*r_10_35+11*r_10_36+24*r_10_37+22*r_10_38+33*r_10_39+22*r_10_40+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+22*r_10_49+21*r_10_50+36*r_10_51+10*r_10_52+37*r_10_53+24*r_10_54+29*r_10_55+15*r_10_56+33*r_10_57+16*r_10_58+21*r_10_59+13*r_10_60+30*r_10_61+35*r_10_62+23*r_10_63+12*r_10_64+39*r_10_65+24*r_10_66+10*r_10_67+15*r_10_68+26*r_10_69+18*r_10_70+35*r_10_71+13*r_10_72+39*r_10_73+21*r_10_74+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_91+14*r_10_92+17*r_10_93+17*r_10_94+24*r_10_95+12*r_10_96+12*r_10_97+16*r_10_98+12*r_10_99+12*r_10_100<=926;

22*r_11_1+25*r_11_2+36*r_11_3+30*r_11_4+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+24*r_11_15+22*r_11_16+10*r_11_17+21*r_11_18+14*r_11_19+32*r_11_20+25*r_11_21+37*r_11_22+34*r_11_23+39*r_11_24+33*r_11_25+17*r_11_26+19*r_11_27+31*r_11_28+30*r_11_29+33*r_11_30+39*r_11_31+17*r_11_32+36*r_11_33+29*r_11_34+36*r_11_35+11*r_11_36+24*r_11_37+22*r_11_38+33*r_11_39+22*r_11_40+12*r_11_41+28*r_11_42+16*r_11_43+37*r_11_44+25*r_11_45+19*r_11_46+16*r_11_47+32*r_11_48+22*r_11_49+21*r_11_50+36*r_11_51+10*r_11_52+37*r_11_53+24*r_11_54+29*r_11_55+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+26*r_11_69+18*r_11_70+35*r_11_71+13*r_11_72+39*r_11_73+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+31*r_11_83+27*r_11_84+17*r_11_85+28*r_11_86+23*r_11_87+30*r_11_88+36*r_11_89+17*r_11_90+14*r_11_91+14*r_11_92+17*r_11_93+17*r_11_94+24*r_11_95+12*r_11_96+12*r_11_97+16*r_11_98+12*r_11_99+12*r_11_100<=1280;

22*r_12_1+25*r_12_2+36*r_12_3+30*r_12_4+22*r_12_5+36*r_12_6+36*r_12_7+16*r_12_8+15*r_12_9+19*r_12_10+28*r_12_11+39*r_12_12+31*r_12_13+14*r_12_14+24*r_12_15+22*r_12_16+10*r_12_17+21*r_12_18+14*r_12_19+32*r_12_20+25*r_12_21+37*r_12_22+34*r_12_23+39*r_12_24+33*r_12_25+17*r_12_26+19*r_12_27+31*r_12_28+30*r_12_29+33*r_12_30+39*r_12_31+17*r_12_32+36*r_12_33+29*r_12_34+36*r_12_35+11*r_12_36+24*r_12_37+22*r_12_38+33*r_12_39+22*r_12_40+12*r_12_41+28*r_12_42+16*r_12_43+37*r_12_44+25*r_12_45+19*r_12_46+16*r_12_47+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+29*r_12_55+15*r_12_56+33*r_12_57+16*r_12_58+21*r_12_59+13*r_12_60+30*r_12_61+35*r_12_62+23*r_12_63+12*r_12_64+39*r_12_65+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+17*r_12_77+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+17*r_12_90+14*r_12_91+14*r_12_92+17*r_12_93+17*r_12_94+24*r_12_95+12*r_12_96+12*r_12_97+16*r_12_98+12*r_12_99+12*r_12_100<=1058;

22*r_13_1+25*r_13_2+36*r_13_3+30*r_13_4+22*r_13_5+36*r_13_6+36*r_13_7+16*r_13_8+15*r_13_9+19*r_13_10+28*r_13_11+39*r_13_12+31*r_13_13+14*r_13_14+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+30*r_13_29+33*r_13_30+39*r_13_31+17*r_13_32+36*r_13_33+29*r_13_34+36*r_13_35+11*r_13_36+24*r_13_37+22*r_13_38+33*r_13_39+22*r_13_40+12*r_13_41+28*r_13_42+16*r_13_43+37*r_13_44+25*r_13_45+19*r_13_46+16*r_13_47+32*r_13_48+22*r_13_49+21*r_13_50+36*r_13_51+10*r_13_52+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+10*r_13_67+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+10*r_13_78+31*r_13_79+16*r_13_80+29*r_13_81+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<=852;

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+34*r_14_23+39*r_14_24+33*r_14_25+17*r_14_26+19*r_14_27+31*r_14_28+30*r_14_29+33*r_14_30+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+28*r_14_42+16*r_14_43+37*r_14_44+25*r_14_45+19*r_14_46+16*r_14_47+32*r_14_48+22*r_14_49+21*r_14_50+36*r_14_51+10*r_14_52+37*r_14_53+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+10*r_14_67+15*r_14_68+26*r_14_69+18*r_14_70+35*r_14_71+13*r_14_72+39*r_14_73+21*r_14_74+30*r_14_75+10*r_14_76+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+17*r_14_85+28*r_14_86+23*r_14_87+30*r_14_88+36*r_14_89+17*r_14_90+14*r_14_91+14*r_14_92+17*r_14_93+17*r_14_94+24*r_14_95+12*r_14_96+12*r_14_97+16*r_14_98+12*r_14_99+12*r_14_100<=730;

22*r_15_1+25*r_15_2+36*r_15_3+30*r_15_4+22*r_15_5+36*r_15_6+36*r_15_7+16*r_15_8+15*r_15_9+19*r_15_10+28*r_15_11+39*r_15_12+31*r_15_13+14*r_15_14+24*r_15_15+22*r_15_16+10*r_15_17+21*r_15_18+14*r_15_19+32*r_15_20+25*r_15_21+37*r_15_22+34*r_15_23+39*r_15_24+33*r_15_25+17*r_15_26+19*r_15_27+31*r_15_28+30*r_15_29+33*r_15_30+39*r_15_31+17*r_15_32+36*r_15_33+29*r_15_34+36*r_15_35+11*r_15_36+24*r_15_37+22*r_15_38+33*r_15_39+22*r_15_40+12*r_15_41+28*r_15_42+16*r_15_43+37*r_15_44+25*r_15_45+19*r_15_46+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+33*r_15_57+16*r_15_58+21*r_15_59+13*r_15_60+30*r_15_61+35*r_15_62+23*r_15_63+12*r_15_64+39*r_15_65+24*r_15_66+10*r_15_67+15*r_15_68+26*r_15_69+18*r_15_70+35*r_15_71+13*r_15_72+39*r_15_73+21*r_15_74+30*r_15_75+10*r_15_76+17*r_15_77+10*r_15_78+31*r_15_79+16*r_15_80+29*r_15_81+16*r_15_82+31*r_15_83+27*r_15_84+17*r_15_85+28*r_15_86+23*r_15_87+30*r_15_88+36*r_15_89+17*r_15_90+14*r_15_91+14*r_15_92+17*r_15_93+17*r_15_94+24*r_15_95+12*r_15_96+12*r_15_97+16*r_15_98+12*r_15_99+12*r_15_100<=1322;

22*r_16_1+25*r_16_2+36*r_16_3+30*r_16_4+22*r_16_5+36*r_16_6+36*r_16_7+16*r_16_8+15*r_16_9+19*r_16_10+28*r_16_11+39*r_16_12+31*r_16_13+14*r_16_14+24*r_16_15+22*r_16_16+10*r_16_17+21*r_16_18+14*r_16_19+32*r_16_20+25*r_16_21+37*r_16_22+34*r_16_23+39*r_16_24+33*r_16_25+17*r_16_26+19*r_16_27+31*r_16_28+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+24*r_16_37+22*r_16_38+33*r_16_39+22*r_16_40+12*r_16_41+28*r_16_42+16*r_16_43+37*r_16_44+25*r_16_45+19*r_16_46+16*r_16_47+32*r_16_48+22*r_16_49+21*r_16_50+36*r_16_51+10*r_16_52+37*r_16_53+24*r_16_54+29*r_16_55+15*r_16_56+33*r_16_57+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+10*r_16_67+15*r_16_68+26*r_16_69+18*r_16_70+35*r_16_71+13*r_16_72+39*r_16_73+21*r_16_74+30*r_16_75+10*r_16_76+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+23*r_16_87+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+24*r_16_95+12*r_16_96+12*r_16_97+16*r_16_98+12*r_16_99+12*r_16_100<=1188;

22*r_17_1+25*r_17_2+36*r_17_3+30*r_17_4+22*r_17_5+36*r_17_6+36*r_17_7+16*r_17_8+15*r_17_9+19*r_17_10+28*r_17_11+39*r_17_12+31*r_17_13+14*r_17_14+24*r_17_15+22*r_17_16+10*r_17_17+21*r_17_18+14*r_17_19+32*r_17_20+25*r_17_21+37*r_17_22+34*r_17_23+39*r_17_24+33*r_17_25+17*r_17_26+19*r_17_27+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+16*r_17_43+37*r_17_44+25*r_17_45+19*r_17_46+16*r_17_47+32*r_17_48+22*r_17_49+21*r_17_50+36*r_17_51+10*r_17_52+37*r_17_53+24*r_17_54+29*r_17_55+15*r_17_56+33*r_17_57+16*r_17_58+21*r_17_59+13*r_17_60+30*r_17_61+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+21*r_17_74+30*r_17_75+10*r_17_76+17*r_17_77+10*r_17_78+31*r_17_79+16*r_17_80+29*r_17_81+16*r_17_82+31*r_17_83+27*r_17_84+17*r_17_85+28*r_17_86+23*r_17_87+30*r_17_88+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_99+12*r_17_100<=1064;

22*r_18_1+25*r_18_2+36*r_18_3+30*r_18_4+22*r_18_5+36*r_18_6+36*r_18_7+16*r_18_8+15*r_18_9+19*r_18_10+28*r_18_11+39*r_18_12+31*r_18_13+14*r_18_14+24*r_18_15+22*r_18_16+10*r_18_17+21*r_18_18+14*r_18_19+32*r_18_20+25*r_18_21+37*r_18_22+34*r_18_23+39*r_18_24+33*r_18_25+17*r_18_26+19*r_18_27+31*r_18_28+30*r_18_29+33*r_18_30+39*r_18_31+17*r_18_32+36*r_18_33+29*r_18_34+36*r_18_35+11*r_18_36+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+10*r_18_52+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+35*r_18_62+23*r_18_63+12*r_18_64+39*r_18_65+24*r_18_66+10*r_18_67+15*r_18_68+26*r_18_69+18*r_18_70+35*r_18_71+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+16*r_18_80+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+30*r_18_88+36*r_18_89+17*r_18_90+14*r_18_91+14*r_18_92+17*r_18_93+17*r_18_94+24*r_18_95+12*r_18_96+12*r_18_97+16*r_18_98+12*r_18_99+12*r_18_100<=1154;

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+19*r_19_10+28*r_19_11+39*r_19_12+31*r_19_13+14*r_19_14+24*r_19_15+22*r_19_16+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_33+29*r_19_34+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+28*r_19_42+16*r_19_43+37*r_19_44+25*r_19_45+19*r_19_46+16*r_19_47+32*r_19_48+22*r_19_49+21*r_19_50+36*r_19_51+10*r_19_52+37*r_19_53+24*r_19_54+29*r_19_55+15*r_19_56+33*r_19_57+16*r_19_58+21*r_19_59+13*r_19_60+30*r_19_61+35*r_19_62+23*r_19_63+12*r_19_64+39*r_19_65+24*r_19_66+10*r_19_67+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+10*r_19_78+31*r_19_79+16*r_19_80+29*r_19_81+16*r_19_82+31*r_19_83+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_96+12*r_19_97+16*r_19_98+12*r_19_99+12*r_19_100<=798;

22*r_20_1+25*r_20_2+36*r_20_3+30*r_20_4+22*r_20_5+36*r_20_6+36*r_20_7+16*r_20_8+15*r_20_9+19*r_20_10+28*r_20_11+39*r_20_12+31*r_20_13+14*r_20_14+24*r_20_15+22*r_20_16+10*r_20_17+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+33*r_20_30+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+37*r_20_44+25*r_20_45+19*r_20_46+16*r_20_47+32*r_20_48+22*r_20_49+21*r_20_50+36*r_20_51+10*r_20_52+37*r_20_53+24*r_20_54+29*r_20_55+15*r_20_56+33*r_20_57+16*r_20_58+21*r_20_59+13*r_20_60+30*r_20_61+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+39*r_20_73+21*r_20_74+30*r_20_75+10*r_20_76+17*r_20_77+10*r_20_78+31*r_20_79+16*r_20_80+29*r_20_81+16*r_20_82+31*r_20_83+27*r_20_84+17*r_20_85+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+17*r_20_94+24*r_20_95+12*r_20_96+12*r_20_97+16*r_20_98+12*r_20_99+12*r_20_100<=1038;

/* 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_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_59<=1;0<=r_1_60<=1;0<=r_1_61<=1;0<=r_1_62<=1;0<=r_1_63<=1;0<=r_1_64<=1;0<=r_1_65<=1;0<=r_1_66<=1;0<=r_1_67<=1;0<=r_1_68<=1;0<=r_1_69<=1;0<=r_1_70<=1;0<=r_1_71<=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_77<=1;0<=r_1_78<=1;0<=r_1_79<=1;0<=r_1_80<=1;0<=r_1_81<=1;0<=r_1_82<=1;0<=r_1_83<=1;0<=r_1_84<=1;0<=r_1_85<=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_1_99<=1;0<=r_1_100<=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_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_56<=1;0<=r_2_57<=1;0<=r_2_58<=1;0<=r_2_59<=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_65<=1;0<=r_2_66<=1;0<=r_2_67<=1;0<=r_2_68<=1;0<=r_2_69<=1;0<=r_2_70<=1;0<=r_2_71<=1;0<=r_2_72<=1;0<=r_2_73<=1;0<=r_2_74<=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_84<=1;0<=r_2_85<=1;0<=r_2_86<=1;0<=r_2_87<=1;0<=r_2_88<=1;0<=r_2_89<=1;0<=r_2_90<=1;0<=r_2_91<=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_97<=1;0<=r_2_98<=1;0<=r_2_99<=1;0<=r_2_100<=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_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_66<=1;0<=r_3_67<=1;0<=r_3_68<=1;0<=r_3_69<=1;0<=r_3_70<=1;0<=r_3_71<=1;0<=r_3_72<=1;0<=r_3_73<=1;0<=r_3_74<=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_82<=1;0<=r_3_83<=1;0<=r_3_84<=1;0<=r_3_85<=1;0<=r_3_86<=1;0<=r_3_87<=1;0<=r_3_88<=1;0<=r_3_89<=1;0<=r_3_90<=1;0<=r_3_91<=1;0<=r_3_92<=1;0<=r_3_93<=1;0<=r_3_94<=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_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_4_51<=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_60<=1;0<=r_4_61<=1;0<=r_4_62<=1;0<=r_4_63<=1;0<=r_4_64<=1;0<=r_4_65<=1;0<=r_4_66<=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_74<=1;0<=r_4_75<=1;0<=r_4_76<=1;0<=r_4_77<=1;0<=r_4_78<=1;0<=r_4_79<=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_91<=1;0<=r_4_92<=1;0<=r_4_93<=1;0<=r_4_94<=1;0<=r_4_95<=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_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_5_51<=1;0<=r_5_52<=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_61<=1;0<=r_5_62<=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_68<=1;0<=r_5_69<=1;0<=r_5_70<=1;0<=r_5_71<=1;0<=r_5_72<=1;0<=r_5_73<=1;0<=r_5_74<=1;0<=r_5_75<=1;0<=r_5_76<=1;0<=r_5_77<=1;0<=r_5_78<=1;0<=r_5_79<=1;0<=r_5_80<=1;0<=r_5_81<=1;0<=r_5_82<=1;0<=r_5_83<=1;0<=r_5_84<=1;0<=r_5_85<=1;0<=r_5_86<=1;0<=r_5_87<=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_5_100<=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_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_57<=1;0<=r_6_58<=1;0<=r_6_59<=1;0<=r_6_60<=1;0<=r_6_61<=1;0<=r_6_62<=1;0<=r_6_63<=1;0<=r_6_64<=1;0<=r_6_65<=1;0<=r_6_66<=1;0<=r_6_67<=1;0<=r_6_68<=1;0<=r_6_69<=1;0<=r_6_70<=1;0<=r_6_71<=1;0<=r_6_72<=1;0<=r_6_73<=1;0<=r_6_74<=1;0<=r_6_75<=1;0<=r_6_76<=1;0<=r_6_77<=1;0<=r_6_78<=1;0<=r_6_79<=1;0<=r_6_80<=1;0<=r_6_81<=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_87<=1;0<=r_6_88<=1;0<=r_6_89<=1;0<=r_6_90<=1;0<=r_6_91<=1;0<=r_6_92<=1;0<=r_6_93<=1;0<=r_6_94<=1;0<=r_6_95<=1;0<=r_6_96<=1;0<=r_6_97<=1;0<=r_6_98<=1;0<=r_6_99<=1;0<=r_6_100<=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_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_67<=1;0<=r_7_68<=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_74<=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_83<=1;0<=r_7_84<=1;0<=r_7_85<=1;0<=r_7_86<=1;0<=r_7_87<=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_94<=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_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_8_51<=1;0<=r_8_52<=1;0<=r_8_53<=1;0<=r_8_54<=1;0<=r_8_55<=1;0<=r_8_56<=1;0<=r_8_57<=1;0<=r_8_58<=1;0<=r_8_59<=1;0<=r_8_60<=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_67<=1;0<=r_8_68<=1;0<=r_8_69<=1;0<=r_8_70<=1;0<=r_8_71<=1;0<=r_8_72<=1;0<=r_8_73<=1;0<=r_8_74<=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_82<=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_88<=1;0<=r_8_89<=1;0<=r_8_90<=1;0<=r_8_91<=1;0<=r_8_92<=1;0<=r_8_93<=1;0<=r_8_94<=1;0<=r_8_95<=1;0<=r_8_96<=1;0<=r_8_97<=1;0<=r_8_98<=1;0<=r_8_99<=1;0<=r_8_100<=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_9_51<=1;0<=r_9_52<=1;0<=r_9_53<=1;0<=r_9_54<=1;0<=r_9_55<=1;0<=r_9_56<=1;0<=r_9_57<=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_67<=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_73<=1;0<=r_9_74<=1;0<=r_9_75<=1;0<=r_9_76<=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_84<=1;0<=r_9_85<=1;0<=r_9_86<=1;0<=r_9_87<=1;0<=r_9_88<=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_97<=1;0<=r_9_98<=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_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_10_51<=1;0<=r_10_52<=1;0<=r_10_53<=1;0<=r_10_54<=1;0<=r_10_55<=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_62<=1;0<=r_10_63<=1;0<=r_10_64<=1;0<=r_10_65<=1;0<=r_10_66<=1;0<=r_10_67<=1;0<=r_10_68<=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_74<=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_91<=1;0<=r_10_92<=1;0<=r_10_93<=1;0<=r_10_94<=1;0<=r_10_95<=1;0<=r_10_96<=1;0<=r_10_97<=1;0<=r_10_98<=1;0<=r_10_99<=1;0<=r_10_100<=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_11_51<=1;0<=r_11_52<=1;0<=r_11_53<=1;0<=r_11_54<=1;0<=r_11_55<=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_69<=1;0<=r_11_70<=1;0<=r_11_71<=1;0<=r_11_72<=1;0<=r_11_73<=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_83<=1;0<=r_11_84<=1;0<=r_11_85<=1;0<=r_11_86<=1;0<=r_11_87<=1;0<=r_11_88<=1;0<=r_11_89<=1;0<=r_11_90<=1;0<=r_11_91<=1;0<=r_11_92<=1;0<=r_11_93<=1;0<=r_11_94<=1;0<=r_11_95<=1;0<=r_11_96<=1;0<=r_11_97<=1;0<=r_11_98<=1;0<=r_11_99<=1;0<=r_11_100<=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_12_51<=1;0<=r_12_52<=1;0<=r_12_53<=1;0<=r_12_54<=1;0<=r_12_55<=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_61<=1;0<=r_12_62<=1;0<=r_12_63<=1;0<=r_12_64<=1;0<=r_12_65<=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_77<=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_90<=1;0<=r_12_91<=1;0<=r_12_92<=1;0<=r_12_93<=1;0<=r_12_94<=1;0<=r_12_95<=1;0<=r_12_96<=1;0<=r_12_97<=1;0<=r_12_98<=1;0<=r_12_99<=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_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_13_51<=1;0<=r_13_52<=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_67<=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_78<=1;0<=r_13_79<=1;0<=r_13_80<=1;0<=r_13_81<=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_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_14_51<=1;0<=r_14_52<=1;0<=r_14_53<=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_67<=1;0<=r_14_68<=1;0<=r_14_69<=1;0<=r_14_70<=1;0<=r_14_71<=1;0<=r_14_72<=1;0<=r_14_73<=1;0<=r_14_74<=1;0<=r_14_75<=1;0<=r_14_76<=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_85<=1;0<=r_14_86<=1;0<=r_14_87<=1;0<=r_14_88<=1;0<=r_14_89<=1;0<=r_14_90<=1;0<=r_14_91<=1;0<=r_14_92<=1;0<=r_14_93<=1;0<=r_14_94<=1;0<=r_14_95<=1;0<=r_14_96<=1;0<=r_14_97<=1;0<=r_14_98<=1;0<=r_14_99<=1;0<=r_14_100<=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_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_57<=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_63<=1;0<=r_15_64<=1;0<=r_15_65<=1;0<=r_15_66<=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_73<=1;0<=r_15_74<=1;0<=r_15_75<=1;0<=r_15_76<=1;0<=r_15_77<=1;0<=r_15_78<=1;0<=r_15_79<=1;0<=r_15_80<=1;0<=r_15_81<=1;0<=r_15_82<=1;0<=r_15_83<=1;0<=r_15_84<=1;0<=r_15_85<=1;0<=r_15_86<=1;0<=r_15_87<=1;0<=r_15_88<=1;0<=r_15_89<=1;0<=r_15_90<=1;0<=r_15_91<=1;0<=r_15_92<=1;0<=r_15_93<=1;0<=r_15_94<=1;0<=r_15_95<=1;0<=r_15_96<=1;0<=r_15_97<=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_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_16_51<=1;0<=r_16_52<=1;0<=r_16_53<=1;0<=r_16_54<=1;0<=r_16_55<=1;0<=r_16_56<=1;0<=r_16_57<=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_67<=1;0<=r_16_68<=1;0<=r_16_69<=1;0<=r_16_70<=1;0<=r_16_71<=1;0<=r_16_72<=1;0<=r_16_73<=1;0<=r_16_74<=1;0<=r_16_75<=1;0<=r_16_76<=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_87<=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_95<=1;0<=r_16_96<=1;0<=r_16_97<=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_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_17_51<=1;0<=r_17_52<=1;0<=r_17_53<=1;0<=r_17_54<=1;0<=r_17_55<=1;0<=r_17_56<=1;0<=r_17_57<=1;0<=r_17_58<=1;0<=r_17_59<=1;0<=r_17_60<=1;0<=r_17_61<=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_74<=1;0<=r_17_75<=1;0<=r_17_76<=1;0<=r_17_77<=1;0<=r_17_78<=1;0<=r_17_79<=1;0<=r_17_80<=1;0<=r_17_81<=1;0<=r_17_82<=1;0<=r_17_83<=1;0<=r_17_84<=1;0<=r_17_85<=1;0<=r_17_86<=1;0<=r_17_87<=1;0<=r_17_88<=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_99<=1;0<=r_17_100<=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_18_51<=1;0<=r_18_52<=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_62<=1;0<=r_18_63<=1;0<=r_18_64<=1;0<=r_18_65<=1;0<=r_18_66<=1;0<=r_18_67<=1;0<=r_18_68<=1;0<=r_18_69<=1;0<=r_18_70<=1;0<=r_18_71<=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_80<=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_88<=1;0<=r_18_89<=1;0<=r_18_90<=1;0<=r_18_91<=1;0<=r_18_92<=1;0<=r_18_93<=1;0<=r_18_94<=1;0<=r_18_95<=1;0<=r_18_96<=1;0<=r_18_97<=1;0<=r_18_98<=1;0<=r_18_99<=1;0<=r_18_100<=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_19_51<=1;0<=r_19_52<=1;0<=r_19_53<=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_59<=1;0<=r_19_60<=1;0<=r_19_61<=1;0<=r_19_62<=1;0<=r_19_63<=1;0<=r_19_64<=1;0<=r_19_65<=1;0<=r_19_66<=1;0<=r_19_67<=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_78<=1;0<=r_19_79<=1;0<=r_19_80<=1;0<=r_19_81<=1;0<=r_19_82<=1;0<=r_19_83<=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_96<=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_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;0<=r_20_51<=1;0<=r_20_52<=1;0<=r_20_53<=1;0<=r_20_54<=1;0<=r_20_55<=1;0<=r_20_56<=1;0<=r_20_57<=1;0<=r_20_58<=1;0<=r_20_59<=1;0<=r_20_60<=1;0<=r_20_61<=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_73<=1;0<=r_20_74<=1;0<=r_20_75<=1;0<=r_20_76<=1;0<=r_20_77<=1;0<=r_20_78<=1;0<=r_20_79<=1;0<=r_20_80<=1;0<=r_20_81<=1;0<=r_20_82<=1;0<=r_20_83<=1;0<=r_20_84<=1;0<=r_20_85<=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_94<=1;0<=r_20_95<=1;0<=r_20_96<=1;0<=r_20_97<=1;0<=r_20_98<=1;0<=r_20_99<=1;0<=r_20_100<=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;

r_1_51+r_2_51+r_3_51+r_4_51+r_5_51+r_6_51+r_7_51+r_8_51+r_9_51+r_10_51+r_11_51+r_12_51+r_13_51+r_14_51+r_15_51+r_16_51+r_17_51+r_18_51+r_19_51+r_20_51>=1;

r_1_52+r_2_52+r_3_52+r_4_52+r_5_52+r_6_52+r_7_52+r_8_52+r_9_52+r_10_52+r_11_52+r_12_52+r_13_52+r_14_52+r_15_52+r_16_52+r_17_52+r_18_52+r_19_52+r_20_52>=1;

r_1_53+r_2_53+r_3_53+r_4_53+r_5_53+r_6_53+r_7_53+r_8_53+r_9_53+r_10_53+r_11_53+r_12_53+r_13_53+r_14_53+r_15_53+r_16_53+r_17_53+r_18_53+r_19_53+r_20_53>=1;

r_1_54+r_2_54+r_3_54+r_4_54+r_5_54+r_6_54+r_7_54+r_8_54+r_9_54+r_10_54+r_11_54+r_12_54+r_13_54+r_14_54+r_15_54+r_16_54+r_17_54+r_18_54+r_19_54+r_20_54>=1;

r_1_55+r_2_55+r_3_55+r_4_55+r_5_55+r_6_55+r_7_55+r_8_55+r_9_55+r_10_55+r_11_55+r_12_55+r_13_55+r_14_55+r_15_55+r_16_55+r_17_55+r_18_55+r_19_55+r_20_55>=1;

r_1_56+r_2_56+r_3_56+r_4_56+r_5_56+r_6_56+r_7_56+r_8_56+r_9_56+r_10_56+r_11_56+r_12_56+r_13_56+r_14_56+r_15_56+r_16_56+r_17_56+r_18_56+r_19_56+r_20_56>=1;

r_1_57+r_2_57+r_3_57+r_4_57+r_5_57+r_6_57+r_7_57+r_8_57+r_9_57+r_10_57+r_11_57+r_12_57+r_13_57+r_14_57+r_15_57+r_16_57+r_17_57+r_18_57+r_19_57+r_20_57>=1;

r_1_58+r_2_58+r_3_58+r_4_58+r_5_58+r_6_58+r_7_58+r_8_58+r_9_58+r_10_58+r_11_58+r_12_58+r_13_58+r_14_58+r_15_58+r_16_58+r_17_58+r_18_58+r_19_58+r_20_58>=1;

r_1_59+r_2_59+r_3_59+r_4_59+r_5_59+r_6_59+r_7_59+r_8_59+r_9_59+r_10_59+r_11_59+r_12_59+r_13_59+r_14_59+r_15_59+r_16_59+r_17_59+r_18_59+r_19_59+r_20_59>=1;

r_1_60+r_2_60+r_3_60+r_4_60+r_5_60+r_6_60+r_7_60+r_8_60+r_9_60+r_10_60+r_11_60+r_12_60+r_13_60+r_14_60+r_15_60+r_16_60+r_17_60+r_18_60+r_19_60+r_20_60>=1;

r_1_61+r_2_61+r_3_61+r_4_61+r_5_61+r_6_61+r_7_61+r_8_61+r_9_61+r_10_61+r_11_61+r_12_61+r_13_61+r_14_61+r_15_61+r_16_61+r_17_61+r_18_61+r_19_61+r_20_61>=1;

r_1_62+r_2_62+r_3_62+r_4_62+r_5_62+r_6_62+r_7_62+r_8_62+r_9_62+r_10_62+r_11_62+r_12_62+r_13_62+r_14_62+r_15_62+r_16_62+r_17_62+r_18_62+r_19_62+r_20_62>=1;

r_1_63+r_2_63+r_3_63+r_4_63+r_5_63+r_6_63+r_7_63+r_8_63+r_9_63+r_10_63+r_11_63+r_12_63+r_13_63+r_14_63+r_15_63+r_16_63+r_17_63+r_18_63+r_19_63+r_20_63>=1;

r_1_64+r_2_64+r_3_64+r_4_64+r_5_64+r_6_64+r_7_64+r_8_64+r_9_64+r_10_64+r_11_64+r_12_64+r_13_64+r_14_64+r_15_64+r_16_64+r_17_64+r_18_64+r_19_64+r_20_64>=1;

r_1_65+r_2_65+r_3_65+r_4_65+r_5_65+r_6_65+r_7_65+r_8_65+r_9_65+r_10_65+r_11_65+r_12_65+r_13_65+r_14_65+r_15_65+r_16_65+r_17_65+r_18_65+r_19_65+r_20_65>=1;

r_1_66+r_2_66+r_3_66+r_4_66+r_5_66+r_6_66+r_7_66+r_8_66+r_9_66+r_10_66+r_11_66+r_12_66+r_13_66+r_14_66+r_15_66+r_16_66+r_17_66+r_18_66+r_19_66+r_20_66>=1;

r_1_67+r_2_67+r_3_67+r_4_67+r_5_67+r_6_67+r_7_67+r_8_67+r_9_67+r_10_67+r_11_67+r_12_67+r_13_67+r_14_67+r_15_67+r_16_67+r_17_67+r_18_67+r_19_67+r_20_67>=1;

r_1_68+r_2_68+r_3_68+r_4_68+r_5_68+r_6_68+r_7_68+r_8_68+r_9_68+r_10_68+r_11_68+r_12_68+r_13_68+r_14_68+r_15_68+r_16_68+r_17_68+r_18_68+r_19_68+r_20_68>=1;

r_1_69+r_2_69+r_3_69+r_4_69+r_5_69+r_6_69+r_7_69+r_8_69+r_9_69+r_10_69+r_11_69+r_12_69+r_13_69+r_14_69+r_15_69+r_16_69+r_17_69+r_18_69+r_19_69+r_20_69>=1;

r_1_70+r_2_70+r_3_70+r_4_70+r_5_70+r_6_70+r_7_70+r_8_70+r_9_70+r_10_70+r_11_70+r_12_70+r_13_70+r_14_70+r_15_70+r_16_70+r_17_70+r_18_70+r_19_70+r_20_70>=1;

r_1_71+r_2_71+r_3_71+r_4_71+r_5_71+r_6_71+r_7_71+r_8_71+r_9_71+r_10_71+r_11_71+r_12_71+r_13_71+r_14_71+r_15_71+r_16_71+r_17_71+r_18_71+r_19_71+r_20_71>=1;

r_1_72+r_2_72+r_3_72+r_4_72+r_5_72+r_6_72+r_7_72+r_8_72+r_9_72+r_10_72+r_11_72+r_12_72+r_13_72+r_14_72+r_15_72+r_16_72+r_17_72+r_18_72+r_19_72+r_20_72>=1;

r_1_73+r_2_73+r_3_73+r_4_73+r_5_73+r_6_73+r_7_73+r_8_73+r_9_73+r_10_73+r_11_73+r_12_73+r_13_73+r_14_73+r_15_73+r_16_73+r_17_73+r_18_73+r_19_73+r_20_73>=1;

r_1_74+r_2_74+r_3_74+r_4_74+r_5_74+r_6_74+r_7_74+r_8_74+r_9_74+r_10_74+r_11_74+r_12_74+r_13_74+r_14_74+r_15_74+r_16_74+r_17_74+r_18_74+r_19_74+r_20_74>=1;

r_1_75+r_2_75+r_3_75+r_4_75+r_5_75+r_6_75+r_7_75+r_8_75+r_9_75+r_10_75+r_11_75+r_12_75+r_13_75+r_14_75+r_15_75+r_16_75+r_17_75+r_18_75+r_19_75+r_20_75>=1;

r_1_76+r_2_76+r_3_76+r_4_76+r_5_76+r_6_76+r_7_76+r_8_76+r_9_76+r_10_76+r_11_76+r_12_76+r_13_76+r_14_76+r_15_76+r_16_76+r_17_76+r_18_76+r_19_76+r_20_76>=1;

r_1_77+r_2_77+r_3_77+r_4_77+r_5_77+r_6_77+r_7_77+r_8_77+r_9_77+r_10_77+r_11_77+r_12_77+r_13_77+r_14_77+r_15_77+r_16_77+r_17_77+r_18_77+r_19_77+r_20_77>=1;

r_1_78+r_2_78+r_3_78+r_4_78+r_5_78+r_6_78+r_7_78+r_8_78+r_9_78+r_10_78+r_11_78+r_12_78+r_13_78+r_14_78+r_15_78+r_16_78+r_17_78+r_18_78+r_19_78+r_20_78>=1;

r_1_79+r_2_79+r_3_79+r_4_79+r_5_79+r_6_79+r_7_79+r_8_79+r_9_79+r_10_79+r_11_79+r_12_79+r_13_79+r_14_79+r_15_79+r_16_79+r_17_79+r_18_79+r_19_79+r_20_79>=1;

r_1_80+r_2_80+r_3_80+r_4_80+r_5_80+r_6_80+r_7_80+r_8_80+r_9_80+r_10_80+r_11_80+r_12_80+r_13_80+r_14_80+r_15_80+r_16_80+r_17_80+r_18_80+r_19_80+r_20_80>=1;

r_1_81+r_2_81+r_3_81+r_4_81+r_5_81+r_6_81+r_7_81+r_8_81+r_9_81+r_10_81+r_11_81+r_12_81+r_13_81+r_14_81+r_15_81+r_16_81+r_17_81+r_18_81+r_19_81+r_20_81>=1;

r_1_82+r_2_82+r_3_82+r_4_82+r_5_82+r_6_82+r_7_82+r_8_82+r_9_82+r_10_82+r_11_82+r_12_82+r_13_82+r_14_82+r_15_82+r_16_82+r_17_82+r_18_82+r_19_82+r_20_82>=1;

r_1_83+r_2_83+r_3_83+r_4_83+r_5_83+r_6_83+r_7_83+r_8_83+r_9_83+r_10_83+r_11_83+r_12_83+r_13_83+r_14_83+r_15_83+r_16_83+r_17_83+r_18_83+r_19_83+r_20_83>=1;

r_1_84+r_2_84+r_3_84+r_4_84+r_5_84+r_6_84+r_7_84+r_8_84+r_9_84+r_10_84+r_11_84+r_12_84+r_13_84+r_14_84+r_15_84+r_16_84+r_17_84+r_18_84+r_19_84+r_20_84>=1;

r_1_85+r_2_85+r_3_85+r_4_85+r_5_85+r_6_85+r_7_85+r_8_85+r_9_85+r_10_85+r_11_85+r_12_85+r_13_85+r_14_85+r_15_85+r_16_85+r_17_85+r_18_85+r_19_85+r_20_85>=1;

r_1_86+r_2_86+r_3_86+r_4_86+r_5_86+r_6_86+r_7_86+r_8_86+r_9_86+r_10_86+r_11_86+r_12_86+r_13_86+r_14_86+r_15_86+r_16_86+r_17_86+r_18_86+r_19_86+r_20_86>=1;

r_1_87+r_2_87+r_3_87+r_4_87+r_5_87+r_6_87+r_7_87+r_8_87+r_9_87+r_10_87+r_11_87+r_12_87+r_13_87+r_14_87+r_15_87+r_16_87+r_17_87+r_18_87+r_19_87+r_20_87>=1;

r_1_88+r_2_88+r_3_88+r_4_88+r_5_88+r_6_88+r_7_88+r_8_88+r_9_88+r_10_88+r_11_88+r_12_88+r_13_88+r_14_88+r_15_88+r_16_88+r_17_88+r_18_88+r_19_88+r_20_88>=1;

r_1_89+r_2_89+r_3_89+r_4_89+r_5_89+r_6_89+r_7_89+r_8_89+r_9_89+r_10_89+r_11_89+r_12_89+r_13_89+r_14_89+r_15_89+r_16_89+r_17_89+r_18_89+r_19_89+r_20_89>=1;

r_1_90+r_2_90+r_3_90+r_4_90+r_5_90+r_6_90+r_7_90+r_8_90+r_9_90+r_10_90+r_11_90+r_12_90+r_13_90+r_14_90+r_15_90+r_16_90+r_17_90+r_18_90+r_19_90+r_20_90>=1;

r_1_91+r_2_91+r_3_91+r_4_91+r_5_91+r_6_91+r_7_91+r_8_91+r_9_91+r_10_91+r_11_91+r_12_91+r_13_91+r_14_91+r_15_91+r_16_91+r_17_91+r_18_91+r_19_91+r_20_91>=1;

r_1_92+r_2_92+r_3_92+r_4_92+r_5_92+r_6_92+r_7_92+r_8_92+r_9_92+r_10_92+r_11_92+r_12_92+r_13_92+r_14_92+r_15_92+r_16_92+r_17_92+r_18_92+r_19_92+r_20_92>=1;

r_1_93+r_2_93+r_3_93+r_4_93+r_5_93+r_6_93+r_7_93+r_8_93+r_9_93+r_10_93+r_11_93+r_12_93+r_13_93+r_14_93+r_15_93+r_16_93+r_17_93+r_18_93+r_19_93+r_20_93>=1;

r_1_94+r_2_94+r_3_94+r_4_94+r_5_94+r_6_94+r_7_94+r_8_94+r_9_94+r_10_94+r_11_94+r_12_94+r_13_94+r_14_94+r_15_94+r_16_94+r_17_94+r_18_94+r_19_94+r_20_94>=1;

r_1_95+r_2_95+r_3_95+r_4_95+r_5_95+r_6_95+r_7_95+r_8_95+r_9_95+r_10_95+r_11_95+r_12_95+r_13_95+r_14_95+r_15_95+r_16_95+r_17_95+r_18_95+r_19_95+r_20_95>=1;

r_1_96+r_2_96+r_3_96+r_4_96+r_5_96+r_6_96+r_7_96+r_8_96+r_9_96+r_10_96+r_11_96+r_12_96+r_13_96+r_14_96+r_15_96+r_16_96+r_17_96+r_18_96+r_19_96+r_20_96>=1;

r_1_97+r_2_97+r_3_97+r_4_97+r_5_97+r_6_97+r_7_97+r_8_97+r_9_97+r_10_97+r_11_97+r_12_97+r_13_97+r_14_97+r_15_97+r_16_97+r_17_97+r_18_97+r_19_97+r_20_97>=1;

r_1_98+r_2_98+r_3_98+r_4_98+r_5_98+r_6_98+r_7_98+r_8_98+r_9_98+r_10_98+r_11_98+r_12_98+r_13_98+r_14_98+r_15_98+r_16_98+r_17_98+r_18_98+r_19_98+r_20_98>=1;

r_1_99+r_2_99+r_3_99+r_4_99+r_5_99+r_6_99+r_7_99+r_8_99+r_9_99+r_10_99+r_11_99+r_12_99+r_13_99+r_14_99+r_15_99+r_16_99+r_17_99+r_18_99+r_19_99+r_20_99>=1;

r_1_100+r_2_100+r_3_100+r_4_100+r_5_100+r_6_100+r_7_100+r_8_100+r_9_100+r_10_100+r_11_100+r_12_100+r_13_100+r_14_100+r_15_100+r_16_100+r_17_100+r_18_100+r_19_100+r_20_100>=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,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_59,r_1_60,r_1_61,r_1_62,r_1_63,r_1_64,r_1_65,r_1_66,r_1_67,r_1_68,r_1_69,r_1_70,r_1_71,r_1_72,r_1_73,r_1_74,r_1_75,r_1_76,r_1_77,r_1_78,r_1_79,r_1_80,r_1_81,r_1_82,r_1_83,r_1_84,r_1_85,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,r_1_99,r_1_100;

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,r_2_51,r_2_52,r_2_53,r_2_54,r_2_55,r_2_56,r_2_57,r_2_58,r_2_59,r_2_60,r_2_61,r_2_62,r_2_63,r_2_64,r_2_65,r_2_66,r_2_67,r_2_68,r_2_69,r_2_70,r_2_71,r_2_72,r_2_73,r_2_74,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_84,r_2_85,r_2_86,r_2_87,r_2_88,r_2_89,r_2_90,r_2_91,r_2_92,r_2_93,r_2_94,r_2_95,r_2_96,r_2_97,r_2_98,r_2_99,r_2_100;

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,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_66,r_3_67,r_3_68,r_3_69,r_3_70,r_3_71,r_3_72,r_3_73,r_3_74,r_3_75,r_3_76,r_3_77,r_3_78,r_3_79,r_3_80,r_3_81,r_3_82,r_3_83,r_3_84,r_3_85,r_3_86,r_3_87,r_3_88,r_3_89,r_3_90,r_3_91,r_3_92,r_3_93,r_3_94,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_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,r_4_51,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_60,r_4_61,r_4_62,r_4_63,r_4_64,r_4_65,r_4_66,r_4_67,r_4_68,r_4_69,r_4_70,r_4_71,r_4_72,r_4_73,r_4_74,r_4_75,r_4_76,r_4_77,r_4_78,r_4_79,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_91,r_4_92,r_4_93,r_4_94,r_4_95,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_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,r_5_51,r_5_52,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_61,r_5_62,r_5_63,r_5_64,r_5_65,r_5_66,r_5_67,r_5_68,r_5_69,r_5_70,r_5_71,r_5_72,r_5_73,r_5_74,r_5_75,r_5_76,r_5_77,r_5_78,r_5_79,r_5_80,r_5_81,r_5_82,r_5_83,r_5_84,r_5_85,r_5_86,r_5_87,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,r_5_100;

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,r_6_51,r_6_52,r_6_53,r_6_54,r_6_55,r_6_56,r_6_57,r_6_58,r_6_59,r_6_60,r_6_61,r_6_62,r_6_63,r_6_64,r_6_65,r_6_66,r_6_67,r_6_68,r_6_69,r_6_70,r_6_71,r_6_72,r_6_73,r_6_74,r_6_75,r_6_76,r_6_77,r_6_78,r_6_79,r_6_80,r_6_81,r_6_82,r_6_83,r_6_84,r_6_85,r_6_86,r_6_87,r_6_88,r_6_89,r_6_90,r_6_91,r_6_92,r_6_93,r_6_94,r_6_95,r_6_96,r_6_97,r_6_98,r_6_99,r_6_100;

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,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_67,r_7_68,r_7_69,r_7_70,r_7_71,r_7_72,r_7_73,r_7_74,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_83,r_7_84,r_7_85,r_7_86,r_7_87,r_7_88,r_7_89,r_7_90,r_7_91,r_7_92,r_7_93,r_7_94,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_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,r_8_51,r_8_52,r_8_53,r_8_54,r_8_55,r_8_56,r_8_57,r_8_58,r_8_59,r_8_60,r_8_61,r_8_62,r_8_63,r_8_64,r_8_65,r_8_66,r_8_67,r_8_68,r_8_69,r_8_70,r_8_71,r_8_72,r_8_73,r_8_74,r_8_75,r_8_76,r_8_77,r_8_78,r_8_79,r_8_80,r_8_81,r_8_82,r_8_83,r_8_84,r_8_85,r_8_86,r_8_87,r_8_88,r_8_89,r_8_90,r_8_91,r_8_92,r_8_93,r_8_94,r_8_95,r_8_96,r_8_97,r_8_98,r_8_99,r_8_100;

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,r_9_51,r_9_52,r_9_53,r_9_54,r_9_55,r_9_56,r_9_57,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_67,r_9_68,r_9_69,r_9_70,r_9_71,r_9_72,r_9_73,r_9_74,r_9_75,r_9_76,r_9_77,r_9_78,r_9_79,r_9_80,r_9_81,r_9_82,r_9_83,r_9_84,r_9_85,r_9_86,r_9_87,r_9_88,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_97,r_9_98,r_9_99,r_9_100;

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,r_10_51,r_10_52,r_10_53,r_10_54,r_10_55,r_10_56,r_10_57,r_10_58,r_10_59,r_10_60,r_10_61,r_10_62,r_10_63,r_10_64,r_10_65,r_10_66,r_10_67,r_10_68,r_10_69,r_10_70,r_10_71,r_10_72,r_10_73,r_10_74,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_91,r_10_92,r_10_93,r_10_94,r_10_95,r_10_96,r_10_97,r_10_98,r_10_99,r_10_100;

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,r_11_51,r_11_52,r_11_53,r_11_54,r_11_55,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_69,r_11_70,r_11_71,r_11_72,r_11_73,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_83,r_11_84,r_11_85,r_11_86,r_11_87,r_11_88,r_11_89,r_11_90,r_11_91,r_11_92,r_11_93,r_11_94,r_11_95,r_11_96,r_11_97,r_11_98,r_11_99,r_11_100;

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,r_12_51,r_12_52,r_12_53,r_12_54,r_12_55,r_12_56,r_12_57,r_12_58,r_12_59,r_12_60,r_12_61,r_12_62,r_12_63,r_12_64,r_12_65,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_77,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_90,r_12_91,r_12_92,r_12_93,r_12_94,r_12_95,r_12_96,r_12_97,r_12_98,r_12_99,r_12_100;

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,r_13_51,r_13_52,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_67,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_78,r_13_79,r_13_80,r_13_81,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_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,r_14_51,r_14_52,r_14_53,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_67,r_14_68,r_14_69,r_14_70,r_14_71,r_14_72,r_14_73,r_14_74,r_14_75,r_14_76,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_85,r_14_86,r_14_87,r_14_88,r_14_89,r_14_90,r_14_91,r_14_92,r_14_93,r_14_94,r_14_95,r_14_96,r_14_97,r_14_98,r_14_99,r_14_100;

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,r_15_51,r_15_52,r_15_53,r_15_54,r_15_55,r_15_56,r_15_57,r_15_58,r_15_59,r_15_60,r_15_61,r_15_62,r_15_63,r_15_64,r_15_65,r_15_66,r_15_67,r_15_68,r_15_69,r_15_70,r_15_71,r_15_72,r_15_73,r_15_74,r_15_75,r_15_76,r_15_77,r_15_78,r_15_79,r_15_80,r_15_81,r_15_82,r_15_83,r_15_84,r_15_85,r_15_86,r_15_87,r_15_88,r_15_89,r_15_90,r_15_91,r_15_92,r_15_93,r_15_94,r_15_95,r_15_96,r_15_97,r_15_98,r_15_99,r_15_100;

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,r_16_51,r_16_52,r_16_53,r_16_54,r_16_55,r_16_56,r_16_57,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_67,r_16_68,r_16_69,r_16_70,r_16_71,r_16_72,r_16_73,r_16_74,r_16_75,r_16_76,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_87,r_16_88,r_16_89,r_16_90,r_16_91,r_16_92,r_16_93,r_16_94,r_16_95,r_16_96,r_16_97,r_16_98,r_16_99,r_16_100;

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,r_17_51,r_17_52,r_17_53,r_17_54,r_17_55,r_17_56,r_17_57,r_17_58,r_17_59,r_17_60,r_17_61,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_74,r_17_75,r_17_76,r_17_77,r_17_78,r_17_79,r_17_80,r_17_81,r_17_82,r_17_83,r_17_84,r_17_85,r_17_86,r_17_87,r_17_88,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_99,r_17_100;

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,r_18_51,r_18_52,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_62,r_18_63,r_18_64,r_18_65,r_18_66,r_18_67,r_18_68,r_18_69,r_18_70,r_18_71,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_80,r_18_81,r_18_82,r_18_83,r_18_84,r_18_85,r_18_86,r_18_87,r_18_88,r_18_89,r_18_90,r_18_91,r_18_92,r_18_93,r_18_94,r_18_95,r_18_96,r_18_97,r_18_98,r_18_99,r_18_100;

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,r_19_51,r_19_52,r_19_53,r_19_54,r_19_55,r_19_56,r_19_57,r_19_58,r_19_59,r_19_60,r_19_61,r_19_62,r_19_63,r_19_64,r_19_65,r_19_66,r_19_67,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_78,r_19_79,r_19_80,r_19_81,r_19_82,r_19_83,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_96,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_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,r_20_51,r_20_52,r_20_53,r_20_54,r_20_55,r_20_56,r_20_57,r_20_58,r_20_59,r_20_60,r_20_61,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_73,r_20_74,r_20_75,r_20_76,r_20_77,r_20_78,r_20_79,r_20_80,r_20_81,r_20_82,r_20_83,r_20_84,r_20_85,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_94,r_20_95,r_20_96,r_20_97,r_20_98,r_20_99,r_20_100;