[runlim] version:		1.7
[runlim] time limit:		3600 seconds
[runlim] real time limit:	311040000 seconds
[runlim] space limit:		4294967069 MB
[runlim] argv[0]:		/home/zhouyan/BACH/intertran-v1.0/interproc.opt
[runlim] argv[1]:		-domain
[runlim] argv[2]:		box
[runlim] argv[3]:		/home/zhouyan/BACH/temp/Motor100.ts
[runlim] start:			Sun Nov 30 23:29:58 2014
[runlim] main pid:		25558
[runlim] sample:		10.0 seconds, 474.7 MB
[runlim] sample:		20.0 seconds, 598.5 MB
v_101  : [|t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0;
           x_12-465>=0; x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0;
           x_17-440>=0; x_18-435>=0; x_19-430>=0; x_2-515>=0; x_20-425>=0;
           x_21-420>=0; x_22-415>=0; x_23-410>=0; x_24-405>=0; x_25-400>=0;
           x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0; x_3-510>=0;
           x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
           x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0;
           x_4-505>=0; x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0;
           x_44-305>=0; x_45-300>=0; x_46-295>=0; x_47-290>=0; x_48-285>=0;
           x_49-280>=0; x_5-500>=0; x_50-275>=0; x_51-270>=0; x_52-265>=0;
           x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0; x_57-240>=0;
           x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
           x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0;
           x_67-190>=0; x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0;
           x_71-170>=0; x_72-165>=0; x_73-160>=0; x_74-155>=0; x_75-150>=0;
           x_76-145>=0; x_77-140>=0; x_78-135>=0; x_79-130>=0; x_8-485>=0;
           x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0; x_84-105>=0;
           x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
           x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0;
           x_94-55>=0; x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0;
           x_99-30>=0|];; 
v_100  : [|t>=0; x_1-520>=0; x_10-475>=0;
                                      x_100-26>=0; x_11-470>=0; x_12-465>=0;
                                      x_13-460>=0; x_14-455>=0; x_15-450>=0;
                                      x_16-445>=0; x_17-440>=0; x_18-435>=0;
                                      x_19-430>=0; x_2-515>=0; x_20-425>=0;
                                      x_21-420>=0; x_22-415>=0; x_23-410>=0;
                                      x_24-405>=0; x_25-400>=0; x_26-395>=0;
                                      x_27-390>=0; x_28-385>=0; x_29-380>=0;
                                      x_3-510>=0; x_30-375>=0; x_31-370>=0;
                                      x_32-365>=0; x_33-360>=0; x_34-355>=0;
                                      x_35-350>=0; x_36-345>=0; x_37-340>=0;
                                      x_38-335>=0; x_39-330>=0; x_4-505>=0;
                                      x_40-325>=0; x_41-320>=0; x_42-315>=0;
                                      x_43-310>=0; x_44-305>=0; x_45-300>=0;
                                      x_46-295>=0; x_47-290>=0; x_48-285>=0;
                                      x_49-280>=0; x_5-500>=0; x_50-275>=0;
                                      x_51-270>=0; x_52-265>=0; x_53-260>=0;
                                      x_54-255>=0; x_55-250>=0; x_56-245>=0;
                                      x_57-240>=0; x_58-235>=0; x_59-230>=0;
                                      x_6-495>=0; x_60-225>=0; x_61-220>=0;
                                      x_62-215>=0; x_63-210>=0; x_64-205>=0;
                                      x_65-200>=0; x_66-195>=0; x_67-190>=0;
                                      x_68-185>=0; x_69-180>=0; x_7-490>=0;
                                      x_70-175>=0; x_71-170>=0; x_72-165>=0;
                                      x_73-160>=0; x_74-155>=0; x_75-150>=0;
                                      x_76-145>=0; x_77-140>=0; x_78-135>=0;
                                      x_79-130>=0; x_8-485>=0; x_80-125>=0;
                                      x_81-120>=0; x_82-115>=0; x_83-110>=0;
                                      x_84-105>=0; x_85-100>=0; x_86-95>=0;
                                      x_87-90>=0; x_88-85>=0; x_89-80>=0;
                                      x_9-480>=0; x_90-75>=0; x_91-70>=0;
                                      x_92-65>=0; x_93-60>=0; x_94-55>=0;
                                      x_95-50>=0; x_96-45>=0; x_97-40>=0;
                                      x_98-35>=0; x_99-30>=0|];; 
v_99  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-31>=0|];; 
v_98  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-36>=0; x_99-30>=0|];; 
v_97  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-41>=0; x_98-35>=0; x_99-30>=0|];; 
v_96  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-46>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_95  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-51>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_94  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-56>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_93  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-61>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_92  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-66>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_91  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-71>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_90  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-76>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_89  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-81>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_88  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-86>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_87  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-91>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_86  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-96>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_85  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-101>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_84  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-106>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_83  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-111>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_82  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-116>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_81  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-121>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_80  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-126>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_79  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-131>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_78  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-136>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_77  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-141>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_76  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-146>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_75  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-151>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_74  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-156>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_73  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-161>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_72  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-166>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_71  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-171>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_70  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-176>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_69  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-181>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_68  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-186>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_67  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-191>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_66  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-196>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_65  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-201>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_64  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-206>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_63  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-211>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_62  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-216>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_61  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-221>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_60  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-226>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_59  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-231>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_58  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-236>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_57  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-241>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_56  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-246>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_55  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-251>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_54  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-256>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_53  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-261>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_52  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-266>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_51  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-271>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_50  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-276>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_49  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-281>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_48  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-286>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_47  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-291>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_46  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-296>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_45  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-301>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_44  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-306>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_43  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-311>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_42  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-316>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_41  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-321>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_40  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-326>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_39  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-331>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_38  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-336>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_37  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-341>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_36  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-346>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_35  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-351>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_34  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-356>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_33  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-361>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_32  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-366>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_31  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-371>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_30  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-376>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_29  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-381>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_28  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-386>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_27  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-391>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_26  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-396>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_25  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-401>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_24  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-406>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_23  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-411>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_22  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-416>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_21  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-421>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_20  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-426>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_19  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-431>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_18  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-436>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_17  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-441>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_16  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-446>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_15  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-451>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_14  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-456>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_13  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-461>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_12  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-466>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_11  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-471>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_10  : [|
t>=0; x_1-520>=0; x_10-476>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_9  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-481>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_8  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-486>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_7  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-491>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_6  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-496>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_5  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-501>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_4  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-506>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_3  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-511>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_2  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-516>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
v_1  : [|
t>=0; x_1-520>=0; x_10-475>=0; x_100-25>=0; x_11-470>=0; x_12-465>=0;
x_13-460>=0; x_14-455>=0; x_15-450>=0; x_16-445>=0; x_17-440>=0; x_18-435>=0;
x_19-430>=0; x_2-515>=0; x_20-425>=0; x_21-420>=0; x_22-415>=0; x_23-410>=0;
x_24-405>=0; x_25-400>=0; x_26-395>=0; x_27-390>=0; x_28-385>=0; x_29-380>=0;
x_3-510>=0; x_30-375>=0; x_31-370>=0; x_32-365>=0; x_33-360>=0; x_34-355>=0;
x_35-350>=0; x_36-345>=0; x_37-340>=0; x_38-335>=0; x_39-330>=0; x_4-505>=0;
x_40-325>=0; x_41-320>=0; x_42-315>=0; x_43-310>=0; x_44-305>=0; x_45-300>=0;
x_46-295>=0; x_47-290>=0; x_48-285>=0; x_49-280>=0; x_5-500>=0; x_50-275>=0;
x_51-270>=0; x_52-265>=0; x_53-260>=0; x_54-255>=0; x_55-250>=0; x_56-245>=0;
x_57-240>=0; x_58-235>=0; x_59-230>=0; x_6-495>=0; x_60-225>=0; x_61-220>=0;
x_62-215>=0; x_63-210>=0; x_64-205>=0; x_65-200>=0; x_66-195>=0; x_67-190>=0;
x_68-185>=0; x_69-180>=0; x_7-490>=0; x_70-175>=0; x_71-170>=0; x_72-165>=0;
x_73-160>=0; x_74-155>=0; x_75-150>=0; x_76-145>=0; x_77-140>=0; x_78-135>=0;
x_79-130>=0; x_8-485>=0; x_80-125>=0; x_81-120>=0; x_82-115>=0; x_83-110>=0;
x_84-105>=0; x_85-100>=0; x_86-95>=0; x_87-90>=0; x_88-85>=0; x_89-80>=0;
x_9-480>=0; x_90-75>=0; x_91-70>=0; x_92-65>=0; x_93-60>=0; x_94-55>=0;
x_95-50>=0; x_96-45>=0; x_97-40>=0; x_98-35>=0; x_99-30>=0|];; 
[runlim] end:			Sun Nov 30 23:30:24 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			26.17 seconds
[runlim] time:			25.90 seconds
[runlim] space:			605.7 MB
[runlim] samples:		260