rendered paste body/* Restricciones para el curso */
s1b1a1 + s1b1a2 + s1b1a3 + s1b2a1 + s1b2a2 + s1b2a3 + s1b3a1 + s1b3a2 + s1b3a3 + s1b4a1 + s1b4a2 + s1b4a3 + s1b5a1 + s1b5a2 + s1b5a3 + s2b1a1 + s2b1a2 + s2b1a3 + s2b2a1 + s2b2a2 + s2b2a3 + s2b3a1 + s2b3a2 + s2b3a3 + s2b4a1 + s2b4a2 + s2b4a3 + s2b5a1 + s2b5a2 + s2b5a3 + s3b1a1 + s3b1a2 + s3b1a3 + s3b2a1 + s3b2a2 + s3b2a3 + s3b3a1 + s3b3a2 + s3b3a3 + s3b4a1 + s3b4a2 + s3b4a3 + s3b5a1 + s3b5a2 + s3b5a3 + s4b1a1 + s4b1a2 + s4b1a3 + s4b2a1 + s4b2a2 + s4b2a3 + s4b3a1 + s4b3a2 + s4b3a3 + s4b4a1 + s4b4a2 + s4b4a3 + s4b5a1 + s4b5a2 + s4b5a3 = 1;
s1b1a4 + s1b1a5 + s1b1a6 + s1b2a4 + s1b2a5 + s1b2a6 + s1b3a4 + s1b3a5 + s1b3a6 + s1b4a4 + s1b4a5 + s1b4a6 + s1b5a4 + s1b5a5 + s1b5a6 + s2b1a4 + s2b1a5 + s2b1a6 + s2b2a4 + s2b2a5 + s2b2a6 + s2b3a4 + s2b3a5 + s2b3a6 + s2b4a4 + s2b4a5 + s2b4a6 + s2b5a4 + s2b5a5 + s2b5a6 + s3b1a4 + s3b1a5 + s3b1a6 + s3b2a4 + s3b2a5 + s3b2a6 + s3b3a4 + s3b3a5 + s3b3a6 + s3b4a4 + s3b4a5 + s3b4a6 + s3b5a4 + s3b5a5 + s3b5a6 + s4b1a4 + s4b1a5 + s4b1a6 + s4b2a4 + s4b2a5 + s4b2a6 + s4b3a4 + s4b3a5 + s4b3a6 + s4b4a4 + s4b4a5 + s4b4a6 + s4b5a4 + s4b5a5 + s4b5a6 = 1;
s1b1a7 + s1b1a8 + s1b1a9 + s1b2a7 + s1b2a8 + s1b2a9 + s1b3a7 + s1b3a8 + s1b3a9 + s1b4a7 + s1b4a8 + s1b4a9 + s1b5a7 + s1b5a8 + s1b5a9 + s2b1a7 + s2b1a8 + s2b1a9 + s2b2a7 + s2b2a8 + s2b2a9 + s2b3a7 + s2b3a8 + s2b3a9 + s2b4a7 + s2b4a8 + s2b4a9 + s2b5a7 + s2b5a8 + s2b5a9 + s3b1a7 + s3b1a8 + s3b1a9 + s3b2a7 + s3b2a8 + s3b2a9 + s3b3a7 + s3b3a8 + s3b3a9 + s3b4a7 + s3b4a8 + s3b4a9 + s3b5a7 + s3b5a8 + s3b5a9 + s4b1a7 + s4b1a8 + s4b1a9 + s4b2a7 + s4b2a8 + s4b2a9 + s4b3a7 + s4b3a8 + s4b3a9 + s4b4a7 + s4b4a8 + s4b4a9 + s4b5a7 + s4b5a8 + s4b5a9 = 1;