Output.txt

c=Q*user3_task10_time0+Q*user3_task10_time1+Q*user4_task1_time1+Q*user3_task4_time2+Q*user3_task10_time2+Q*user4_task1_time2+Q*user5_task4_time2+Q*user5_task7_time2+Q*user2_task7_time3+Q*user3_task4_time3+Q*user3_task10_time3+Q*user4_task1_time3+Q*user5_task4_time3+Q*user5_task7_time3+Q*user1_task7_time4+Q*user2_task7_time4+Q*user3_task4_time4+Q*user3_task10_time4+Q*user4_task1_time4+Q*user4_task10_time4+Q*user5_task1_time4+Q*user5_task3_time4+Q*user5_task4_time4+Q*user5_task7_time4+Q*user1_task7_time5+Q*user2_task2_time5+Q*user2_task3_time5+Q*user2_task7_time5+Q*user3_task4_time5+Q*user3_task10_time5+Q*user4_task1_time5+Q*user4_task10_time5+Q*user5_task1_time5+Q*user5_task3_time5+Q*user5_task4_time5+Q*user5_task7_time5+Q*user1_task5_time6+Q*user1_task7_time6+Q*user2_task2_time6+Q*user2_task3_time6+Q*user2_task4_time6+Q*user2_task7_time6+Q*user2_task10_time6+Q*user3_task4_time6+Q*user3_task10_time6+Q*user4_task1_time6+Q*user4_task10_time6+Q*user5_task1_time6+Q*user5_task3_time6+Q*user5_task4_time6+Q*user5_task6_time6+Q*user5_task7_time6+Q*user1_task5_time7+Q*user1_task7_time7+Q*user1_task9_time7+Q*user2_task2_time7+Q*user2_task3_time7+Q*user2_task4_time7+Q*user2_task7_time7+Q*user2_task10_time7+Q*user3_task4_time7+Q*user3_task9_time7+Q*user3_task10_time7+Q*user4_task1_time7+Q*user4_task10_time7+Q*user5_task1_time7+Q*user5_task3_time7+Q*user5_task4_time7+Q*user5_task6_time7+Q*user1_task5_time8+Q*user1_task7_time8+Q*user1_task9_time8+Q*user1_task10_time8+Q*user2_task2_time8+Q*user2_task3_time8+Q*user2_task4_time8+Q*user2_task7_time8+Q*user2_task10_time8+Q*user3_task4_time8+Q*user3_task9_time8+Q*user4_task1_time8+Q*user4_task9_time8+Q*user4_task10_time8+Q*user5_task1_time8+Q*user5_task3_time8+Q*user5_task4_time8+Q*user5_task6_time8+Q*user1_task5_time9+Q*user1_task7_time9+Q*user1_task9_time9+Q*user1_task10_time9+Q*user2_task2_time9+Q*user2_task3_time9+Q*user2_task4_time9+Q*user2_task7_time9+Q*user2_task10_time9+Q*user3_task4_time9+Q*user3_task9_time9+Q*user4_task9_time9+Q*user4_task10_time9+Q*user5_task1_time9+Q*user5_task3_time9+Q*user5_task4_time9+Q*user5_task6_time9+Q*user1_task5_time10+Q*user1_task7_time10+Q*user1_task9_time10+Q*user1_task10_time10+Q*user2_task2_time10+Q*user2_task3_time10+Q*user2_task4_time10+Q*user2_task7_time10+Q*user2_task10_time10+Q*user3_task4_time10+Q*user3_task6_time10+Q*user3_task9_time10+Q*user4_task9_time10+Q*user4_task10_time10+Q*user5_task1_time10+Q*user5_task3_time10+Q*user5_task4_time10+Q*user5_task6_time10+Q*user1_task5_time11+Q*user1_task9_time11+Q*user1_task10_time11+Q*user2_task1_time11+Q*user2_task2_time11+Q*user2_task3_time11+Q*user2_task4_time11+Q*user2_task7_time11+Q*user2_task10_time11+Q*user3_task3_time11+Q*user3_task4_time11+Q*user3_task6_time11+Q*user3_task9_time11+Q*user4_task2_time11+Q*user4_task4_time11+Q*user4_task9_time11+Q*user4_task10_time11+Q*user5_task1_time11+Q*user5_task3_time11+Q*user5_task4_time11+Q*user5_task6_time11+Q*user1_task4_time12+Q*user1_task5_time12+Q*user1_task8_time12+Q*user1_task9_time12+Q*user1_task10_time12+Q*user2_task1_time12+Q*user2_task3_time12+Q*user2_task4_time12+Q*user2_task7_time12+Q*user3_task3_time12+Q*user3_task4_time12+Q*user3_task6_time12+Q*user3_task9_time12+Q*user4_task2_time12+Q*user4_task3_time12+Q*user4_task4_time12+Q*user4_task8_time12+Q*user4_task9_time12+Q*user4_task10_time12+Q*user5_task1_time12+Q*user5_task3_time12+Q*user5_task4_time12+Q*user5_task6_time12+Q*user1_task4_time13+Q*user1_task8_time13+Q*user1_task9_time13+Q*user1_task10_time13+Q*user2_task1_time13+Q*user2_task3_time13+Q*user2_task4_time13+Q*user2_task7_time13+Q*user2_task9_time13+Q*user3_task3_time13+Q*user3_task4_time13+Q*user3_task5_time13+Q*user3_task6_time13+Q*user3_task9_time13+Q*user4_task2_time13+Q*user4_task3_time13+Q*user4_task4_time13+Q*user4_task8_time13+Q*user4_task9_time13+Q*user5_task1_time13+Q*user5_task3_time13+Q*user5_task4_time13+Q*user5_task6_time13+Q*user5_task8_time13+Q*user1_task4_time14+Q*user1_task8_time14+Q*user1_task9_time14+Q*user1_task10_time14+Q*user2_task1_time14+Q*user2_task3_time14+Q*user2_task4_time14+Q*user2_task7_time14+Q*user2_task9_time14+Q*user3_task3_time14+Q*user3_task4_time14+Q*user3_task5_time14+Q*user3_task6_time14+Q*user3_task9_time14+Q*user4_task2_time14+Q*user4_task3_time14+Q*user4_task4_time14+Q*user4_task8_time14+Q*user4_task9_time14+Q*user5_task1_time14+Q*user5_task3_time14+Q*user5_task4_time14+Q*user5_task6_time14+Q*user5_task8_time14+Q*user1_task4_time15+Q*user1_task8_time15+Q*user2_task1_time15+Q*user2_task3_time15+Q*user2_task4_time15+Q*user2_task7_time15+Q*user2_task9_time15+Q*user3_task2_time15+Q*user3_task3_time15+Q*user3_task4_time15+Q*user3_task5_time15+Q*user3_task6_time15+Q*user3_task9_time15+Q*user4_task2_time15+Q*user4_task3_time15+Q*user4_task4_time15+Q*user4_task8_time15+Q*user4_task9_time15+Q*user5_task1_time15+Q*user5_task3_time15+Q*user5_task4_time15+Q*user5_task6_time15+Q*user5_task8_time15+Q*user5_task9_time15+Q*user1_task4_time16+Q*user1_task8_time16+Q*user2_task1_time16+Q*user2_task3_time16+Q*user2_task4_time16+Q*user2_task7_time16+Q*user2_task9_time16+Q*user3_task2_time16+Q*user3_task4_time16+Q*user3_task5_time16+Q*user3_task6_time16+Q*user3_task9_time16+Q*user4_task2_time16+Q*user4_task3_time16+Q*user4_task4_time16+Q*user4_task5_time16+Q*user4_task8_time16+Q*user4_task9_time16+Q*user5_task1_time16+Q*user5_task3_time16+Q*user5_task4_time16+Q*user5_task5_time16+Q*user5_task6_time16+Q*user5_task8_time16+Q*user5_task9_time16+Q*user1_task4_time17+Q*user1_task8_time17+Q*user2_task1_time17+Q*user2_task3_time17+Q*user2_task4_time17+Q*user2_task7_time17+Q*user2_task9_time17+Q*user3_task2_time17+Q*user3_task4_time17+Q*user3_task6_time17+Q*user3_task9_time17+Q*user4_task2_time17+Q*user4_task3_time17+Q*user4_task5_time17+Q*user4_task8_time17+Q*user4_task9_time17+Q*user5_task1_time17+Q*user5_task5_time17+Q*user5_task6_time17+Q*user5_task8_time17+Q*user5_task9_time17+Q*user5_task10_time17+Q*user1_task2_time18+Q*user1_task4_time18+Q*user1_task6_time18+Q*user1_task8_time18+Q*user2_task1_time18+Q*user2_task3_time18+Q*user2_task4_time18+Q*user2_task6_time18+Q*user2_task7_time18+Q*user3_task2_time18+Q*user3_task6_time18+Q*user3_task9_time18+Q*user4_task2_time18+Q*user4_task3_time18+Q*user4_task5_time18+Q*user4_task8_time18+Q*user4_task9_time18+Q*user5_task1_time18+Q*user5_task2_time18+Q*user5_task5_time18+Q*user5_task6_time18+Q*user5_task9_time18+Q*user5_task10_time18+Q*user1_task2_time19+Q*user1_task3_time19+Q*user1_task4_time19+Q*user1_task6_time19+Q*user2_task1_time19+Q*user2_task3_time19+Q*user2_task4_time19+Q*user2_task5_time19+Q*user2_task6_time19+Q*user2_task7_time19+Q*user3_task2_time19+Q*user3_task9_time19+Q*user4_task2_time19+Q*user4_task3_time19+Q*user4_task6_time19+Q*user4_task8_time19+Q*user4_task9_time19+Q*user5_task1_time19+Q*user5_task2_time19+Q*user5_task5_time19+Q*user5_task9_time19+Q*user5_task10_time19+Q*user1_task1_time20+Q*user1_task2_time20+Q*user1_task3_time20+Q*user1_task4_time20+Q*user1_task6_time20+Q*user2_task1_time20+Q*user2_task3_time20+Q*user2_task4_time20+Q*user2_task6_time20+Q*user2_task7_time20+Q*user3_task1_time20+Q*user3_task2_time20+Q*user3_task8_time20+Q*user3_task9_time20+Q*user4_task2_time20+Q*user4_task6_time20+Q*user4_task9_time20+Q*user5_task1_time20+Q*user5_task2_time20+Q*user5_task5_time20+Q*user5_task9_time20+Q*user5_task10_time20+Q*user1_task1_time21+Q*user1_task2_time21+Q*user1_task3_time21+Q*user2_task1_time21+Q*user2_task3_time21+Q*user2_task6_time21+Q*user2_task7_time21+Q*user2_task8_time21+Q*user3_task1_time21+Q*user3_task2_time21+Q*user3_task7_time21+Q*user3_task8_time21+Q*user3_task9_time21+Q*user4_task6_time21+Q*user5_task2_time21+Q*user5_task5_time21+Q*user5_task9_time21+Q*user5_task10_time21+Q*user1_task1_time22+Q*user1_task2_time22+Q*user2_task1_time22+Q*user2_task3_time22+Q*user2_task7_time22+Q*user2_task8_time22+Q*user3_task1_time22+Q*user3_task7_time22+Q*user3_task8_time22+Q*user4_task6_time22+Q*user4_task7_time22+Q*user5_task2_time22+Q*user5_task5_time22+Q*user5_task9_time22+Q*user5_task10_time22+Q*user1_task1_time23+Q*user1_task2_time23+Q*user2_task3_time23+Q*user2_task7_time23+Q*user2_task8_time23+Q*user3_task1_time23+Q*user3_task7_time23+Q*user3_task8_time23+Q*user4_task6_time23+Q*user4_task7_time23+Q*user5_task5_time23+Q*user5_task9_time23+Q*user5_task10_time23;
user1_task1_time20+user1_task1_time21+user1_task1_time22+user1_task1_time23=1;
user1_task2_time18+user1_task2_time19+user1_task2_time20+user1_task2_time21+user1_task2_time22+user1_task2_time23=2;
user1_task3_time19+user1_task3_time20+user1_task3_time21=1;
user1_task4_time12+user1_task4_time13+user1_task4_time14+user1_task4_time15+user1_task4_time16+user1_task4_time17+user1_task4_time18+user1_task4_time19+user1_task4_time20=3;
user1_task5_time6+user1_task5_time7+user1_task5_time8+user1_task5_time9+user1_task5_time10+user1_task5_time11+user1_task5_time12=3;
user1_task6_time18+user1_task6_time19+user1_task6_time20=2;
user1_task7_time4+user1_task7_time5+user1_task7_time6+user1_task7_time7+user1_task7_time8+user1_task7_time9+user1_task7_time10=2;
user1_task8_time12+user1_task8_time13+user1_task8_time14+user1_task8_time15+user1_task8_time16+user1_task8_time17+user1_task8_time18=2;
user1_task9_time7+user1_task9_time8+user1_task9_time9+user1_task9_time10+user1_task9_time11+user1_task9_time12+user1_task9_time13+user1_task9_time14=3;
user1_task10_time8+user1_task10_time9+user1_task10_time10+user1_task10_time11+user1_task10_time12+user1_task10_time13+user1_task10_time14=3;
user2_task1_time11+user2_task1_time12+user2_task1_time13+user2_task1_time14+user2_task1_time15+user2_task1_time16+user2_task1_time17+user2_task1_time18+user2_task1_time19+user2_task1_time20+user2_task1_time21+user2_task1_time22=2;
user2_task2_time5+user2_task2_time6+user2_task2_time7+user2_task2_time8+user2_task2_time9+user2_task2_time10+user2_task2_time11=2;
user2_task3_time5+user2_task3_time6+user2_task3_time7+user2_task3_time8+user2_task3_time9+user2_task3_time10+user2_task3_time11+user2_task3_time12+user2_task3_time13+user2_task3_time14+user2_task3_time15+user2_task3_time16+user2_task3_time17+user2_task3_time18+user2_task3_time19+user2_task3_time20+user2_task3_time21+user2_task3_time22+user2_task3_time23=1;
user2_task4_time6+user2_task4_time7+user2_task4_time8+user2_task4_time9+user2_task4_time10+user2_task4_time11+user2_task4_time12+user2_task4_time13+user2_task4_time14+user2_task4_time15+user2_task4_time16+user2_task4_time17+user2_task4_time18+user2_task4_time19+user2_task4_time20=3;
user2_task5_time19=1;
user2_task6_time18+user2_task6_time19+user2_task6_time20+user2_task6_time21=2;
user2_task7_time3+user2_task7_time4+user2_task7_time5+user2_task7_time6+user2_task7_time7+user2_task7_time8+user2_task7_time9+user2_task7_time10+user2_task7_time11+user2_task7_time12+user2_task7_time13+user2_task7_time14+user2_task7_time15+user2_task7_time16+user2_task7_time17+user2_task7_time18+user2_task7_time19+user2_task7_time20+user2_task7_time21+user2_task7_time22+user2_task7_time23=3;
user2_task8_time21+user2_task8_time22+user2_task8_time23=2;
user2_task9_time13+user2_task9_time14+user2_task9_time15+user2_task9_time16+user2_task9_time17=1;
user2_task10_time6+user2_task10_time7+user2_task10_time8+user2_task10_time9+user2_task10_time10+user2_task10_time11=2;
user3_task1_time20+user3_task1_time21+user3_task1_time22+user3_task1_time23=2;
user3_task2_time15+user3_task2_time16+user3_task2_time17+user3_task2_time18+user3_task2_time19+user3_task2_time20+user3_task2_time21=3;
user3_task3_time11+user3_task3_time12+user3_task3_time13+user3_task3_time14+user3_task3_time15=2;
user3_task4_time2+user3_task4_time3+user3_task4_time4+user3_task4_time5+user3_task4_time6+user3_task4_time7+user3_task4_time8+user3_task4_time9+user3_task4_time10+user3_task4_time11+user3_task4_time12+user3_task4_time13+user3_task4_time14+user3_task4_time15+user3_task4_time16+user3_task4_time17=3;
user3_task5_time13+user3_task5_time14+user3_task5_time15+user3_task5_time16=2;
user3_task6_time10+user3_task6_time11+user3_task6_time12+user3_task6_time13+user3_task6_time14+user3_task6_time15+user3_task6_time16+user3_task6_time17+user3_task6_time18=2;
user3_task7_time21+user3_task7_time22+user3_task7_time23=2;
user3_task8_time20+user3_task8_time21+user3_task8_time22+user3_task8_time23=1;
user3_task9_time7+user3_task9_time8+user3_task9_time9+user3_task9_time10+user3_task9_time11+user3_task9_time12+user3_task9_time13+user3_task9_time14+user3_task9_time15+user3_task9_time16+user3_task9_time17+user3_task9_time18+user3_task9_time19+user3_task9_time20+user3_task9_time21=2;
user3_task10_time0+user3_task10_time1+user3_task10_time2+user3_task10_time3+user3_task10_time4+user3_task10_time5+user3_task10_time6+user3_task10_time7=3;
user4_task1_time1+user4_task1_time2+user4_task1_time3+user4_task1_time4+user4_task1_time5+user4_task1_time6+user4_task1_time7+user4_task1_time8=1;
user4_task2_time11+user4_task2_time12+user4_task2_time13+user4_task2_time14+user4_task2_time15+user4_task2_time16+user4_task2_time17+user4_task2_time18+user4_task2_time19+user4_task2_time20=2;
user4_task3_time12+user4_task3_time13+user4_task3_time14+user4_task3_time15+user4_task3_time16+user4_task3_time17+user4_task3_time18+user4_task3_time19=3;
user4_task4_time11+user4_task4_time12+user4_task4_time13+user4_task4_time14+user4_task4_time15+user4_task4_time16=3;
user4_task5_time16+user4_task5_time17+user4_task5_time18=1;
user4_task6_time19+user4_task6_time20+user4_task6_time21+user4_task6_time22+user4_task6_time23=3;
user4_task7_time22+user4_task7_time23=1;
user4_task8_time12+user4_task8_time13+user4_task8_time14+user4_task8_time15+user4_task8_time16+user4_task8_time17+user4_task8_time18+user4_task8_time19=2;
user4_task9_time8+user4_task9_time9+user4_task9_time10+user4_task9_time11+user4_task9_time12+user4_task9_time13+user4_task9_time14+user4_task9_time15+user4_task9_time16+user4_task9_time17+user4_task9_time18+user4_task9_time19+user4_task9_time20=2;
user4_task10_time4+user4_task10_time5+user4_task10_time6+user4_task10_time7+user4_task10_time8+user4_task10_time9+user4_task10_time10+user4_task10_time11+user4_task10_time12=2;
user5_task1_time4+user5_task1_time5+user5_task1_time6+user5_task1_time7+user5_task1_time8+user5_task1_time9+user5_task1_time10+user5_task1_time11+user5_task1_time12+user5_task1_time13+user5_task1_time14+user5_task1_time15+user5_task1_time16+user5_task1_time17+user5_task1_time18+user5_task1_time19+user5_task1_time20=1;
user5_task2_time18+user5_task2_time19+user5_task2_time20+user5_task2_time21+user5_task2_time22=3;
user5_task3_time4+user5_task3_time5+user5_task3_time6+user5_task3_time7+user5_task3_time8+user5_task3_time9+user5_task3_time10+user5_task3_time11+user5_task3_time12+user5_task3_time13+user5_task3_time14+user5_task3_time15+user5_task3_time16=1;
user5_task4_time2+user5_task4_time3+user5_task4_time4+user5_task4_time5+user5_task4_time6+user5_task4_time7+user5_task4_time8+user5_task4_time9+user5_task4_time10+user5_task4_time11+user5_task4_time12+user5_task4_time13+user5_task4_time14+user5_task4_time15+user5_task4_time16=3;
user5_task5_time16+user5_task5_time17+user5_task5_time18+user5_task5_time19+user5_task5_time20+user5_task5_time21+user5_task5_time22+user5_task5_time23=2;
user5_task6_time6+user5_task6_time7+user5_task6_time8+user5_task6_time9+user5_task6_time10+user5_task6_time11+user5_task6_time12+user5_task6_time13+user5_task6_time14+user5_task6_time15+user5_task6_time16+user5_task6_time17+user5_task6_time18=2;
user5_task7_time2+user5_task7_time3+user5_task7_time4+user5_task7_time5+user5_task7_time6=1;
user5_task8_time13+user5_task8_time14+user5_task8_time15+user5_task8_time16+user5_task8_time17=3;
user5_task9_time15+user5_task9_time16+user5_task9_time17+user5_task9_time18+user5_task9_time19+user5_task9_time20+user5_task9_time21+user5_task9_time22+user5_task9_time23=1;
user5_task10_time17+user5_task10_time18+user5_task10_time19+user5_task10_time20+user5_task10_time21+user5_task10_time22+user5_task10_time23=1;
0<=user1_task1_time20<=1;
0<=user1_task1_time21<=1;
0<=user1_task1_time22<=1;
0<=user1_task1_time23<=1;
0<=user1_task2_time18<=1;
0<=user1_task2_time19<=1;
0<=user1_task2_time20<=1;
0<=user1_task2_time21<=1;
0<=user1_task2_time22<=1;
0<=user1_task2_time23<=1;
0<=user1_task3_time19<=1;
0<=user1_task3_time20<=1;
0<=user1_task3_time21<=1;
0<=user1_task4_time12<=1;
0<=user1_task4_time13<=1;
0<=user1_task4_time14<=1;
0<=user1_task4_time15<=1;
0<=user1_task4_time16<=1;
0<=user1_task4_time17<=1;
0<=user1_task4_time18<=1;
0<=user1_task4_time19<=1;
0<=user1_task4_time20<=1;
0<=user1_task5_time6<=1;
0<=user1_task5_time7<=1;
0<=user1_task5_time8<=1;
0<=user1_task5_time9<=1;
0<=user1_task5_time10<=1;
0<=user1_task5_time11<=1;
0<=user1_task5_time12<=1;
0<=user1_task6_time18<=1;
0<=user1_task6_time19<=1;
0<=user1_task6_time20<=1;
0<=user1_task7_time4<=1;
0<=user1_task7_time5<=1;
0<=user1_task7_time6<=1;
0<=user1_task7_time7<=1;
0<=user1_task7_time8<=1;
0<=user1_task7_time9<=1;
0<=user1_task7_time10<=1;
0<=user1_task8_time12<=1;
0<=user1_task8_time13<=1;
0<=user1_task8_time14<=1;
0<=user1_task8_time15<=1;
0<=user1_task8_time16<=1;
0<=user1_task8_time17<=1;
0<=user1_task8_time18<=1;
0<=user1_task9_time7<=1;
0<=user1_task9_time8<=1;
0<=user1_task9_time9<=1;
0<=user1_task9_time10<=1;
0<=user1_task9_time11<=1;
0<=user1_task9_time12<=1;
0<=user1_task9_time13<=1;
0<=user1_task9_time14<=1;
0<=user1_task10_time8<=1;
0<=user1_task10_time9<=1;
0<=user1_task10_time10<=1;
0<=user1_task10_time11<=1;
0<=user1_task10_time12<=1;
0<=user1_task10_time13<=1;
0<=user1_task10_time14<=1;
0<=user2_task1_time11<=1;
0<=user2_task1_time12<=1;
0<=user2_task1_time13<=1;
0<=user2_task1_time14<=1;
0<=user2_task1_time15<=1;
0<=user2_task1_time16<=1;
0<=user2_task1_time17<=1;
0<=user2_task1_time18<=1;
0<=user2_task1_time19<=1;
0<=user2_task1_time20<=1;
0<=user2_task1_time21<=1;
0<=user2_task1_time22<=1;
0<=user2_task2_time5<=1;
0<=user2_task2_time6<=1;
0<=user2_task2_time7<=1;
0<=user2_task2_time8<=1;
0<=user2_task2_time9<=1;
0<=user2_task2_time10<=1;
0<=user2_task2_time11<=1;
0<=user2_task3_time5<=1;
0<=user2_task3_time6<=1;
0<=user2_task3_time7<=1;
0<=user2_task3_time8<=1;
0<=user2_task3_time9<=1;
0<=user2_task3_time10<=1;
0<=user2_task3_time11<=1;
0<=user2_task3_time12<=1;
0<=user2_task3_time13<=1;
0<=user2_task3_time14<=1;
0<=user2_task3_time15<=1;
0<=user2_task3_time16<=1;
0<=user2_task3_time17<=1;
0<=user2_task3_time18<=1;
0<=user2_task3_time19<=1;
0<=user2_task3_time20<=1;
0<=user2_task3_time21<=1;
0<=user2_task3_time22<=1;
0<=user2_task3_time23<=1;
0<=user2_task4_time6<=1;
0<=user2_task4_time7<=1;
0<=user2_task4_time8<=1;
0<=user2_task4_time9<=1;
0<=user2_task4_time10<=1;
0<=user2_task4_time11<=1;
0<=user2_task4_time12<=1;
0<=user2_task4_time13<=1;
0<=user2_task4_time14<=1;
0<=user2_task4_time15<=1;
0<=user2_task4_time16<=1;
0<=user2_task4_time17<=1;
0<=user2_task4_time18<=1;
0<=user2_task4_time19<=1;
0<=user2_task4_time20<=1;
0<=user2_task5_time19<=1;
0<=user2_task6_time18<=1;
0<=user2_task6_time19<=1;
0<=user2_task6_time20<=1;
0<=user2_task6_time21<=1;
0<=user2_task7_time3<=1;
0<=user2_task7_time4<=1;
0<=user2_task7_time5<=1;
0<=user2_task7_time6<=1;
0<=user2_task7_time7<=1;
0<=user2_task7_time8<=1;
0<=user2_task7_time9<=1;
0<=user2_task7_time10<=1;
0<=user2_task7_time11<=1;
0<=user2_task7_time12<=1;
0<=user2_task7_time13<=1;
0<=user2_task7_time14<=1;
0<=user2_task7_time15<=1;
0<=user2_task7_time16<=1;
0<=user2_task7_time17<=1;
0<=user2_task7_time18<=1;
0<=user2_task7_time19<=1;
0<=user2_task7_time20<=1;
0<=user2_task7_time21<=1;
0<=user2_task7_time22<=1;
0<=user2_task7_time23<=1;
0<=user2_task8_time21<=1;
0<=user2_task8_time22<=1;
0<=user2_task8_time23<=1;
0<=user2_task9_time13<=1;
0<=user2_task9_time14<=1;
0<=user2_task9_time15<=1;
0<=user2_task9_time16<=1;
0<=user2_task9_time17<=1;
0<=user2_task10_time6<=1;
0<=user2_task10_time7<=1;
0<=user2_task10_time8<=1;
0<=user2_task10_time9<=1;
0<=user2_task10_time10<=1;
0<=user2_task10_time11<=1;
0<=user3_task1_time20<=1;
0<=user3_task1_time21<=1;
0<=user3_task1_time22<=1;
0<=user3_task1_time23<=1;
0<=user3_task2_time15<=1;
0<=user3_task2_time16<=1;
0<=user3_task2_time17<=1;
0<=user3_task2_time18<=1;
0<=user3_task2_time19<=1;
0<=user3_task2_time20<=1;
0<=user3_task2_time21<=1;
0<=user3_task3_time11<=1;
0<=user3_task3_time12<=1;
0<=user3_task3_time13<=1;
0<=user3_task3_time14<=1;
0<=user3_task3_time15<=1;
0<=user3_task4_time2<=1;
0<=user3_task4_time3<=1;
0<=user3_task4_time4<=1;
0<=user3_task4_time5<=1;
0<=user3_task4_time6<=1;
0<=user3_task4_time7<=1;
0<=user3_task4_time8<=1;
0<=user3_task4_time9<=1;
0<=user3_task4_time10<=1;
0<=user3_task4_time11<=1;
0<=user3_task4_time12<=1;
0<=user3_task4_time13<=1;
0<=user3_task4_time14<=1;
0<=user3_task4_time15<=1;
0<=user3_task4_time16<=1;
0<=user3_task4_time17<=1;
0<=user3_task5_time13<=1;
0<=user3_task5_time14<=1;
0<=user3_task5_time15<=1;
0<=user3_task5_time16<=1;
0<=user3_task6_time10<=1;
0<=user3_task6_time11<=1;
0<=user3_task6_time12<=1;
0<=user3_task6_time13<=1;
0<=user3_task6_time14<=1;
0<=user3_task6_time15<=1;
0<=user3_task6_time16<=1;
0<=user3_task6_time17<=1;
0<=user3_task6_time18<=1;
0<=user3_task7_time21<=1;
0<=user3_task7_time22<=1;
0<=user3_task7_time23<=1;
0<=user3_task8_time20<=1;
0<=user3_task8_time21<=1;
0<=user3_task8_time22<=1;
0<=user3_task8_time23<=1;
0<=user3_task9_time7<=1;
0<=user3_task9_time8<=1;
0<=user3_task9_time9<=1;
0<=user3_task9_time10<=1;
0<=user3_task9_time11<=1;
0<=user3_task9_time12<=1;
0<=user3_task9_time13<=1;
0<=user3_task9_time14<=1;
0<=user3_task9_time15<=1;
0<=user3_task9_time16<=1;
0<=user3_task9_time17<=1;
0<=user3_task9_time18<=1;
0<=user3_task9_time19<=1;
0<=user3_task9_time20<=1;
0<=user3_task9_time21<=1;
0<=user3_task10_time0<=1;
0<=user3_task10_time1<=1;
0<=user3_task10_time2<=1;
0<=user3_task10_time3<=1;
0<=user3_task10_time4<=1;
0<=user3_task10_time5<=1;
0<=user3_task10_time6<=1;
0<=user3_task10_time7<=1;
0<=user4_task1_time1<=1;
0<=user4_task1_time2<=1;
0<=user4_task1_time3<=1;
0<=user4_task1_time4<=1;
0<=user4_task1_time5<=1;
0<=user4_task1_time6<=1;
0<=user4_task1_time7<=1;
0<=user4_task1_time8<=1;
0<=user4_task2_time11<=1;
0<=user4_task2_time12<=1;
0<=user4_task2_time13<=1;
0<=user4_task2_time14<=1;
0<=user4_task2_time15<=1;
0<=user4_task2_time16<=1;
0<=user4_task2_time17<=1;
0<=user4_task2_time18<=1;
0<=user4_task2_time19<=1;
0<=user4_task2_time20<=1;
0<=user4_task3_time12<=1;
0<=user4_task3_time13<=1;
0<=user4_task3_time14<=1;
0<=user4_task3_time15<=1;
0<=user4_task3_time16<=1;
0<=user4_task3_time17<=1;
0<=user4_task3_time18<=1;
0<=user4_task3_time19<=1;
0<=user4_task4_time11<=1;
0<=user4_task4_time12<=1;
0<=user4_task4_time13<=1;
0<=user4_task4_time14<=1;
0<=user4_task4_time15<=1;
0<=user4_task4_time16<=1;
0<=user4_task5_time16<=1;
0<=user4_task5_time17<=1;
0<=user4_task5_time18<=1;
0<=user4_task6_time19<=1;
0<=user4_task6_time20<=1;
0<=user4_task6_time21<=1;
0<=user4_task6_time22<=1;
0<=user4_task6_time23<=1;
0<=user4_task7_time22<=1;
0<=user4_task7_time23<=1;
0<=user4_task8_time12<=1;
0<=user4_task8_time13<=1;
0<=user4_task8_time14<=1;
0<=user4_task8_time15<=1;
0<=user4_task8_time16<=1;
0<=user4_task8_time17<=1;
0<=user4_task8_time18<=1;
0<=user4_task8_time19<=1;
0<=user4_task9_time8<=1;
0<=user4_task9_time9<=1;
0<=user4_task9_time10<=1;
0<=user4_task9_time11<=1;
0<=user4_task9_time12<=1;
0<=user4_task9_time13<=1;
0<=user4_task9_time14<=1;
0<=user4_task9_time15<=1;
0<=user4_task9_time16<=1;
0<=user4_task9_time17<=1;
0<=user4_task9_time18<=1;
0<=user4_task9_time19<=1;
0<=user4_task9_time20<=1;
0<=user4_task10_time4<=1;
0<=user4_task10_time5<=1;
0<=user4_task10_time6<=1;
0<=user4_task10_time7<=1;
0<=user4_task10_time8<=1;
0<=user4_task10_time9<=1;
0<=user4_task10_time10<=1;
0<=user4_task10_time11<=1;
0<=user4_task10_time12<=1;
0<=user5_task1_time4<=1;
0<=user5_task1_time5<=1;
0<=user5_task1_time6<=1;
0<=user5_task1_time7<=1;
0<=user5_task1_time8<=1;
0<=user5_task1_time9<=1;
0<=user5_task1_time10<=1;
0<=user5_task1_time11<=1;
0<=user5_task1_time12<=1;
0<=user5_task1_time13<=1;
0<=user5_task1_time14<=1;
0<=user5_task1_time15<=1;
0<=user5_task1_time16<=1;
0<=user5_task1_time17<=1;
0<=user5_task1_time18<=1;
0<=user5_task1_time19<=1;
0<=user5_task1_time20<=1;
0<=user5_task2_time18<=1;
0<=user5_task2_time19<=1;
0<=user5_task2_time20<=1;
0<=user5_task2_time21<=1;
0<=user5_task2_time22<=1;
0<=user5_task3_time4<=1;
0<=user5_task3_time5<=1;
0<=user5_task3_time6<=1;
0<=user5_task3_time7<=1;
0<=user5_task3_time8<=1;
0<=user5_task3_time9<=1;
0<=user5_task3_time10<=1;
0<=user5_task3_time11<=1;
0<=user5_task3_time12<=1;
0<=user5_task3_time13<=1;
0<=user5_task3_time14<=1;
0<=user5_task3_time15<=1;
0<=user5_task3_time16<=1;
0<=user5_task4_time2<=1;
0<=user5_task4_time3<=1;
0<=user5_task4_time4<=1;
0<=user5_task4_time5<=1;
0<=user5_task4_time6<=1;
0<=user5_task4_time7<=1;
0<=user5_task4_time8<=1;
0<=user5_task4_time9<=1;
0<=user5_task4_time10<=1;
0<=user5_task4_time11<=1;
0<=user5_task4_time12<=1;
0<=user5_task4_time13<=1;
0<=user5_task4_time14<=1;
0<=user5_task4_time15<=1;
0<=user5_task4_time16<=1;
0<=user5_task5_time16<=1;
0<=user5_task5_time17<=1;
0<=user5_task5_time18<=1;
0<=user5_task5_time19<=1;
0<=user5_task5_time20<=1;
0<=user5_task5_time21<=1;
0<=user5_task5_time22<=1;
0<=user5_task5_time23<=1;
0<=user5_task6_time6<=1;
0<=user5_task6_time7<=1;
0<=user5_task6_time8<=1;
0<=user5_task6_time9<=1;
0<=user5_task6_time10<=1;
0<=user5_task6_time11<=1;
0<=user5_task6_time12<=1;
0<=user5_task6_time13<=1;
0<=user5_task6_time14<=1;
0<=user5_task6_time15<=1;
0<=user5_task6_time16<=1;
0<=user5_task6_time17<=1;
0<=user5_task6_time18<=1;
0<=user5_task7_time2<=1;
0<=user5_task7_time3<=1;
0<=user5_task7_time4<=1;
0<=user5_task7_time5<=1;
0<=user5_task7_time6<=1;
0<=user5_task8_time13<=1;
0<=user5_task8_time14<=1;
0<=user5_task8_time15<=1;
0<=user5_task8_time16<=1;
0<=user5_task8_time17<=1;
0<=user5_task9_time15<=1;
0<=user5_task9_time16<=1;
0<=user5_task9_time17<=1;
0<=user5_task9_time18<=1;
0<=user5_task9_time19<=1;
0<=user5_task9_time20<=1;
0<=user5_task9_time21<=1;
0<=user5_task9_time22<=1;
0<=user5_task9_time23<=1;
0<=user5_task10_time17<=1;
0<=user5_task10_time18<=1;
0<=user5_task10_time19<=1;
0<=user5_task10_time20<=1;
0<=user5_task10_time21<=1;
0<=user5_task10_time22<=1;
0<=user5_task10_time23<=1;