model_cp.lp

Minimize 
Objective: + M +W3 +W4 +W5 +W9 +W13 +W14 +W15 +W22 +W23 +W24 +W25 +W26 +W27 +W28 +W29 +W30 +W31 +W34 +W35 +W39 +W40 +W41 +W42 +W43 +W44 +W50 +W51 +W52 +W53 +W54 +W55 +W63 +W64 +W65 +W73 +W74 +W75 +W76 +W77 +W78 +W79 +W80 +W81
Subject To
+W0 - M <= 0
+W1 - M <= 0
+W2 - M <= 0
+W6 - M <= 0
+W7 - M <= 0
+W8 - M <= 0
+W10 - M <= 0
+W11 - M <= 0
+W12 - M <= 0
+W16 - M <= 0
+W17 - M <= 0
+W18 - M <= 0
+W19 - M <= 0
+W20 - M <= 0
+W21 - M <= 0
+W32 - M <= 0
+W33 - M <= 0
+W36 - M <= 0
+W37 - M <= 0
+W38 - M <= 0
+W45 - M <= 0
+W46 - M <= 0
+W47 - M <= 0
+W48 - M <= 0
+W49 - M <= 0
+W56 - M <= 0
+W57 - M <= 0
+W58 - M <= 0
+W59 - M <= 0
+W60 - M <= 0
+W61 - M <= 0
+W62 - M <= 0
+W66 - M <= 0
+W67 - M <= 0
+W68 - M <= 0
+W69 - M <= 0
+W70 - M <= 0
+W71 - M <= 0
+W72 - M <= 0
+W19 +W22 +W26 -W8 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W21 +W25 +W26 -W11 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W18 +W22 +W26 -W6 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W21 +W25 +W26 -W11 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W18 +W22 +W26 -W6 -W9 -W15 -W27 = 0
+W19 +W22 +W26 -W8 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W21 +W25 +W26 -W11 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W19 +W22 +W26 -W8 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W18 +W22 +W26 -W6 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W18 +W22 +W26 -W6 -W9 -W15 -W27 = 0
+W19 +W22 +W26 -W8 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W19 +W22 +W26 -W8 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W21 +W25 +W26 -W11 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W18 +W22 +W26 -W6 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W21 +W25 +W26 -W11 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W18 +W22 +W26 -W6 -W9 -W15 -W27 = 0
+W19 +W22 +W26 -W8 -W9 -W15 -W27 = 0
+W16 +W24 +W26 -W12 -W13 -W14 -W27 = 0
+W21 +W25 +W26 -W11 -W13 -W14 -W27 = 0
+W17 +W23 +W26 -W7 -W9 -W15 -W27 = 0
+W19 +W22 +W39 +W43 -W8 -W9 -W15 -W35 -W44 = 0
+W38 +W42 +W43 -W33 -W34 -W44 = 0
+W37 +W42 +W43 -W32 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W18 +W22 +W39 +W43 -W6 -W9 -W15 -W35 -W44 = 0
+W38 +W42 +W43 -W33 -W34 -W44 = 0
+W37 +W42 +W43 -W32 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W18 +W22 +W39 +W43 -W6 -W9 -W15 -W35 -W44 = 0
+W19 +W22 +W39 +W43 -W8 -W9 -W15 -W35 -W44 = 0
+W38 +W42 +W43 -W33 -W34 -W44 = 0
+W37 +W42 +W43 -W32 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W19 +W22 +W39 +W43 -W8 -W9 -W15 -W35 -W44 = 0
+W37 +W42 +W43 -W32 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W18 +W22 +W39 +W43 -W6 -W9 -W15 -W35 -W44 = 0
+W37 +W42 +W43 -W32 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W18 +W22 +W39 +W43 -W6 -W9 -W15 -W35 -W44 = 0
+W19 +W22 +W39 +W43 -W8 -W9 -W15 -W35 -W44 = 0
+W37 +W42 +W43 -W32 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W19 +W22 +W39 +W43 -W8 -W9 -W15 -W35 -W44 = 0
+W38 +W42 +W43 -W33 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W18 +W22 +W39 +W43 -W6 -W9 -W15 -W35 -W44 = 0
+W38 +W42 +W43 -W33 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W18 +W22 +W39 +W43 -W6 -W9 -W15 -W35 -W44 = 0
+W19 +W22 +W39 +W43 -W8 -W9 -W15 -W35 -W44 = 0
+W38 +W42 +W43 -W33 -W34 -W44 = 0
+W17 +W23 +W40 +W43 -W7 -W9 -W15 -W35 -W44 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W0 +W5 +W31 +W55 -W46 -W50 -W53 = 0
+W1 +W4 +W30 +W55 -W1 -W4 -W30 -W51 -W53 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W70 +W73 +W77 -W62 -W63 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W72 +W73 +W77 -W60 -W64 -W65 -W75 = 0
+W71 +W73 +W77 -W59 -W64 -W65 -W75 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W67 +W74 +W77 -W61 -W63 -W65 -W75 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 -W58 -W76 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W69 +W74 +W77 -W56 -W76 = 0
+W66 +W74 +W77 -W57 -W76 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W60 +W64 +W65 +W75 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W59 +W64 +W65 +W75 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W62 +W63 +W65 +W75 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W70 +W73 +W77 +W78 -W32 -W34 -W44 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W72 +W73 +W77 +W78 -W16 -W24 -W41 -W43 -W54 -W79 = 0
+W71 +W73 +W77 +W78 -W38 -W42 -W43 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W68 +W74 +W77 +W78 -W19 -W22 -W39 -W43 -W54 -W79 = 0
+W67 +W74 +W77 +W78 -W36 -W44 -W54 -W79 = 0
+W66 +W74 +W77 +W78 -W17 -W23 -W40 -W43 -W54 -W79 = 0
+W69 +W74 +W77 +W78 -W6 -W9 -W15 -W35 -W44 -W54 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 -W68 -W74 -W77 -W78 = 0
+W16 +W24 +W26 +W28 +W80 -W72 -W73 -W77 -W78 = 0
+W21 +W25 +W26 +W28 +W80 -W71 -W73 -W77 -W78 = 0
+W10 +W13 +W14 +W27 +W28 +W80 -W32 -W34 -W44 -W54 -W79 = 0
+W17 +W23 +W26 +W28 +W80 -W66 -W74 -W77 -W78 = 0
+W6 +W9 +W15 +W27 +W28 +W80 -W69 -W74 -W77 -W78 = 0
+W0 +W5 +W29 +W80 -W0 -W5 -W31 -W55 -W79 = 0
+W1 +W4 +W29 +W80 -W1 -W4 -W30 -W55 -W79 = 0
+W2 +W3 +W29 +W80 -W49 -W52 -W53 -W79 = 0
+W19 +W22 +W26 +W28 +W80 +W81 -1 d0_1 -2 d0_2 -3 d0_3 -4 d0_4 -5 d0_5 -6 d0_6 -7 d0_7 -8 d0_8 -9 d0_9 -10 d0_10 -11 d0_11 -12 d0_12 -13 d0_13 -14 d0_14 -15 d0_15 -16 d0_16 -17 d0_17 -18 d0_18 -19 d0_19 -20 d0_20 -21 d0_21 -22 d0_22 -23 d0_23 -24 d0_24 -25 d0_25 -26 d0_26 -27 d0_27 -28 d0_28 -29 d0_29 = 0
+d0_0 +d0_1 +d0_2 +d0_3 +d0_4 +d0_5 +d0_6 +d0_7 +d0_8 +d0_9 +d0_10 +d0_11 +d0_12 +d0_13 +d0_14 +d0_15 +d0_16 +d0_17 +d0_18 +d0_19 +d0_20 +d0_21 +d0_22 +d0_23 +d0_24 +d0_25 +d0_26 +d0_27 +d0_28 +d0_29 = 1
+W16 +W24 +W26 +W28 +W80 +W81 -1 d1_1 -2 d1_2 -3 d1_3 -4 d1_4 -5 d1_5 -6 d1_6 -7 d1_7 -8 d1_8 -9 d1_9 -10 d1_10 -11 d1_11 -12 d1_12 -13 d1_13 -14 d1_14 -15 d1_15 -16 d1_16 -17 d1_17 -18 d1_18 -19 d1_19 -20 d1_20 -21 d1_21 -22 d1_22 -23 d1_23 -24 d1_24 -25 d1_25 -26 d1_26 -27 d1_27 -28 d1_28 -29 d1_29 = 0
+d1_0 +d1_1 +d1_2 +d1_3 +d1_4 +d1_5 +d1_6 +d1_7 +d1_8 +d1_9 +d1_10 +d1_11 +d1_12 +d1_13 +d1_14 +d1_15 +d1_16 +d1_17 +d1_18 +d1_19 +d1_20 +d1_21 +d1_22 +d1_23 +d1_24 +d1_25 +d1_26 +d1_27 +d1_28 +d1_29 = 1
+d0_0 +d1_0 <= 1
+d0_1 +d1_1 <= 1
+d0_2 +d1_2 <= 1
+d0_3 +d1_3 <= 1
+d0_4 +d1_4 <= 1
+d0_5 +d1_5 <= 1
+d0_6 +d1_6 <= 1
+d0_7 +d1_7 <= 1
+d0_8 +d1_8 <= 1
+d0_9 +d1_9 <= 1
+d0_10 +d1_10 <= 1
+d0_11 +d1_11 <= 1
+d0_12 +d1_12 <= 1
+d0_13 +d1_13 <= 1
+d0_14 +d1_14 <= 1
+d0_15 +d1_15 <= 1
+d0_16 +d1_16 <= 1
+d0_17 +d1_17 <= 1
+d0_18 +d1_18 <= 1
+d0_19 +d1_19 <= 1
+d0_20 +d1_20 <= 1
+d0_21 +d1_21 <= 1
+d0_22 +d1_22 <= 1
+d0_23 +d1_23 <= 1
+d0_24 +d1_24 <= 1
+d0_25 +d1_25 <= 1
+d0_26 +d1_26 <= 1
+d0_27 +d1_27 <= 1
+d0_28 +d1_28 <= 1
+d0_29 +d1_29 <= 1
+d0_0 +d2_0 <= 1
+d0_1 +d2_1 <= 1
+d0_2 +d2_2 <= 1
+d0_3 +d2_3 <= 1
+d0_4 +d2_4 <= 1
+d0_5 +d2_5 <= 1
+d0_6 +d2_6 <= 1
+d0_7 +d2_7 <= 1
+d0_8 +d2_8 <= 1
+d0_9 +d2_9 <= 1
+d0_10 +d2_10 <= 1
+d0_11 +d2_11 <= 1
+d0_12 +d2_12 <= 1
+d0_13 +d2_13 <= 1
+d0_14 +d2_14 <= 1
+d0_15 +d2_15 <= 1
+d0_16 +d2_16 <= 1
+d0_17 +d2_17 <= 1
+d0_18 +d2_18 <= 1
+d0_19 +d2_19 <= 1
+d0_20 +d2_20 <= 1
+d0_21 +d2_21 <= 1
+d0_22 +d2_22 <= 1
+d0_23 +d2_23 <= 1
+d0_24 +d2_24 <= 1
+d0_25 +d2_25 <= 1
+d0_26 +d2_26 <= 1
+d0_27 +d2_27 <= 1
+d0_28 +d2_28 <= 1
+d0_29 +d2_29 <= 1
+d0_0 +d3_0 <= 1
+d0_1 +d3_1 <= 1
+d0_2 +d3_2 <= 1
+d0_3 +d3_3 <= 1
+d0_4 +d3_4 <= 1
+d0_5 +d3_5 <= 1
+d0_6 +d3_6 <= 1
+d0_7 +d3_7 <= 1
+d0_8 +d3_8 <= 1
+d0_9 +d3_9 <= 1
+d0_10 +d3_10 <= 1
+d0_11 +d3_11 <= 1
+d0_12 +d3_12 <= 1
+d0_13 +d3_13 <= 1
+d0_14 +d3_14 <= 1
+d0_15 +d3_15 <= 1
+d0_16 +d3_16 <= 1
+d0_17 +d3_17 <= 1
+d0_18 +d3_18 <= 1
+d0_19 +d3_19 <= 1
+d0_20 +d3_20 <= 1
+d0_21 +d3_21 <= 1
+d0_22 +d3_22 <= 1
+d0_23 +d3_23 <= 1
+d0_24 +d3_24 <= 1
+d0_25 +d3_25 <= 1
+d0_26 +d3_26 <= 1
+d0_27 +d3_27 <= 1
+d0_28 +d3_28 <= 1
+d0_29 +d3_29 <= 1
+d0_0 +d5_0 <= 1
+d0_1 +d5_1 <= 1
+d0_2 +d5_2 <= 1
+d0_3 +d5_3 <= 1
+d0_4 +d5_4 <= 1
+d0_5 +d5_5 <= 1
+d0_6 +d5_6 <= 1
+d0_7 +d5_7 <= 1
+d0_8 +d5_8 <= 1
+d0_9 +d5_9 <= 1
+d0_10 +d5_10 <= 1
+d0_11 +d5_11 <= 1
+d0_12 +d5_12 <= 1
+d0_13 +d5_13 <= 1
+d0_14 +d5_14 <= 1
+d0_15 +d5_15 <= 1
+d0_16 +d5_16 <= 1
+d0_17 +d5_17 <= 1
+d0_18 +d5_18 <= 1
+d0_19 +d5_19 <= 1
+d0_20 +d5_20 <= 1
+d0_21 +d5_21 <= 1
+d0_22 +d5_22 <= 1
+d0_23 +d5_23 <= 1
+d0_24 +d5_24 <= 1
+d0_25 +d5_25 <= 1
+d0_26 +d5_26 <= 1
+d0_27 +d5_27 <= 1
+d0_28 +d5_28 <= 1
+d0_29 +d5_29 <= 1
+d0_0 +d7_0 <= 1
+d0_1 +d7_1 <= 1
+d0_2 +d7_2 <= 1
+d0_3 +d7_3 <= 1
+d0_4 +d7_4 <= 1
+d0_5 +d7_5 <= 1
+d0_6 +d7_6 <= 1
+d0_7 +d7_7 <= 1
+d0_8 +d7_8 <= 1
+d0_9 +d7_9 <= 1
+d0_10 +d7_10 <= 1
+d0_11 +d7_11 <= 1
+d0_12 +d7_12 <= 1
+d0_13 +d7_13 <= 1
+d0_14 +d7_14 <= 1
+d0_15 +d7_15 <= 1
+d0_16 +d7_16 <= 1
+d0_17 +d7_17 <= 1
+d0_18 +d7_18 <= 1
+d0_19 +d7_19 <= 1
+d0_20 +d7_20 <= 1
+d0_21 +d7_21 <= 1
+d0_22 +d7_22 <= 1
+d0_23 +d7_23 <= 1
+d0_24 +d7_24 <= 1
+d0_25 +d7_25 <= 1
+d0_26 +d7_26 <= 1
+d0_27 +d7_27 <= 1
+d0_28 +d7_28 <= 1
+d0_29 +d7_29 <= 1
+W21 +W25 +W26 +W28 +W80 +W81 -1 d2_1 -2 d2_2 -3 d2_3 -4 d2_4 -5 d2_5 -6 d2_6 -7 d2_7 -8 d2_8 -9 d2_9 -10 d2_10 -11 d2_11 -12 d2_12 -13 d2_13 -14 d2_14 -15 d2_15 -16 d2_16 -17 d2_17 -18 d2_18 -19 d2_19 -20 d2_20 -21 d2_21 -22 d2_22 -23 d2_23 -24 d2_24 -25 d2_25 -26 d2_26 -27 d2_27 -28 d2_28 -29 d2_29 = 0
+d2_0 +d2_1 +d2_2 +d2_3 +d2_4 +d2_5 +d2_6 +d2_7 +d2_8 +d2_9 +d2_10 +d2_11 +d2_12 +d2_13 +d2_14 +d2_15 +d2_16 +d2_17 +d2_18 +d2_19 +d2_20 +d2_21 +d2_22 +d2_23 +d2_24 +d2_25 +d2_26 +d2_27 +d2_28 +d2_29 = 1
+d1_0 +d2_0 <= 1
+d1_1 +d2_1 <= 1
+d1_2 +d2_2 <= 1
+d1_3 +d2_3 <= 1
+d1_4 +d2_4 <= 1
+d1_5 +d2_5 <= 1
+d1_6 +d2_6 <= 1
+d1_7 +d2_7 <= 1
+d1_8 +d2_8 <= 1
+d1_9 +d2_9 <= 1
+d1_10 +d2_10 <= 1
+d1_11 +d2_11 <= 1
+d1_12 +d2_12 <= 1
+d1_13 +d2_13 <= 1
+d1_14 +d2_14 <= 1
+d1_15 +d2_15 <= 1
+d1_16 +d2_16 <= 1
+d1_17 +d2_17 <= 1
+d1_18 +d2_18 <= 1
+d1_19 +d2_19 <= 1
+d1_20 +d2_20 <= 1
+d1_21 +d2_21 <= 1
+d1_22 +d2_22 <= 1
+d1_23 +d2_23 <= 1
+d1_24 +d2_24 <= 1
+d1_25 +d2_25 <= 1
+d1_26 +d2_26 <= 1
+d1_27 +d2_27 <= 1
+d1_28 +d2_28 <= 1
+d1_29 +d2_29 <= 1
+d1_0 +d3_0 <= 1
+d1_1 +d3_1 <= 1
+d1_2 +d3_2 <= 1
+d1_3 +d3_3 <= 1
+d1_4 +d3_4 <= 1
+d1_5 +d3_5 <= 1
+d1_6 +d3_6 <= 1
+d1_7 +d3_7 <= 1
+d1_8 +d3_8 <= 1
+d1_9 +d3_9 <= 1
+d1_10 +d3_10 <= 1
+d1_11 +d3_11 <= 1
+d1_12 +d3_12 <= 1
+d1_13 +d3_13 <= 1
+d1_14 +d3_14 <= 1
+d1_15 +d3_15 <= 1
+d1_16 +d3_16 <= 1
+d1_17 +d3_17 <= 1
+d1_18 +d3_18 <= 1
+d1_19 +d3_19 <= 1
+d1_20 +d3_20 <= 1
+d1_21 +d3_21 <= 1
+d1_22 +d3_22 <= 1
+d1_23 +d3_23 <= 1
+d1_24 +d3_24 <= 1
+d1_25 +d3_25 <= 1
+d1_26 +d3_26 <= 1
+d1_27 +d3_27 <= 1
+d1_28 +d3_28 <= 1
+d1_29 +d3_29 <= 1
+d1_0 +d6_0 <= 1
+d1_1 +d6_1 <= 1
+d1_2 +d6_2 <= 1
+d1_3 +d6_3 <= 1
+d1_4 +d6_4 <= 1
+d1_5 +d6_5 <= 1
+d1_6 +d6_6 <= 1
+d1_7 +d6_7 <= 1
+d1_8 +d6_8 <= 1
+d1_9 +d6_9 <= 1
+d1_10 +d6_10 <= 1
+d1_11 +d6_11 <= 1
+d1_12 +d6_12 <= 1
+d1_13 +d6_13 <= 1
+d1_14 +d6_14 <= 1
+d1_15 +d6_15 <= 1
+d1_16 +d6_16 <= 1
+d1_17 +d6_17 <= 1
+d1_18 +d6_18 <= 1
+d1_19 +d6_19 <= 1
+d1_20 +d6_20 <= 1
+d1_21 +d6_21 <= 1
+d1_22 +d6_22 <= 1
+d1_23 +d6_23 <= 1
+d1_24 +d6_24 <= 1
+d1_25 +d6_25 <= 1
+d1_26 +d6_26 <= 1
+d1_27 +d6_27 <= 1
+d1_28 +d6_28 <= 1
+d1_29 +d6_29 <= 1
+d1_0 +d7_0 <= 1
+d1_1 +d7_1 <= 1
+d1_2 +d7_2 <= 1
+d1_3 +d7_3 <= 1
+d1_4 +d7_4 <= 1
+d1_5 +d7_5 <= 1
+d1_6 +d7_6 <= 1
+d1_7 +d7_7 <= 1
+d1_8 +d7_8 <= 1
+d1_9 +d7_9 <= 1
+d1_10 +d7_10 <= 1
+d1_11 +d7_11 <= 1
+d1_12 +d7_12 <= 1
+d1_13 +d7_13 <= 1
+d1_14 +d7_14 <= 1
+d1_15 +d7_15 <= 1
+d1_16 +d7_16 <= 1
+d1_17 +d7_17 <= 1
+d1_18 +d7_18 <= 1
+d1_19 +d7_19 <= 1
+d1_20 +d7_20 <= 1
+d1_21 +d7_21 <= 1
+d1_22 +d7_22 <= 1
+d1_23 +d7_23 <= 1
+d1_24 +d7_24 <= 1
+d1_25 +d7_25 <= 1
+d1_26 +d7_26 <= 1
+d1_27 +d7_27 <= 1
+d1_28 +d7_28 <= 1
+d1_29 +d7_29 <= 1
+W10 +W13 +W14 +W27 +W28 +W80 +W81 -1 d3_1 -2 d3_2 -3 d3_3 -4 d3_4 -5 d3_5 -6 d3_6 -7 d3_7 -8 d3_8 -9 d3_9 -10 d3_10 -11 d3_11 -12 d3_12 -13 d3_13 -14 d3_14 -15 d3_15 -16 d3_16 -17 d3_17 -18 d3_18 -19 d3_19 -20 d3_20 -21 d3_21 -22 d3_22 -23 d3_23 -24 d3_24 -25 d3_25 -26 d3_26 -27 d3_27 -28 d3_28 -29 d3_29 = 0
+d3_0 +d3_1 +d3_2 +d3_3 +d3_4 +d3_5 +d3_6 +d3_7 +d3_8 +d3_9 +d3_10 +d3_11 +d3_12 +d3_13 +d3_14 +d3_15 +d3_16 +d3_17 +d3_18 +d3_19 +d3_20 +d3_21 +d3_22 +d3_23 +d3_24 +d3_25 +d3_26 +d3_27 +d3_28 +d3_29 = 1
+d2_0 +d3_0 <= 1
+d2_1 +d3_1 <= 1
+d2_2 +d3_2 <= 1
+d2_3 +d3_3 <= 1
+d2_4 +d3_4 <= 1
+d2_5 +d3_5 <= 1
+d2_6 +d3_6 <= 1
+d2_7 +d3_7 <= 1
+d2_8 +d3_8 <= 1
+d2_9 +d3_9 <= 1
+d2_10 +d3_10 <= 1
+d2_11 +d3_11 <= 1
+d2_12 +d3_12 <= 1
+d2_13 +d3_13 <= 1
+d2_14 +d3_14 <= 1
+d2_15 +d3_15 <= 1
+d2_16 +d3_16 <= 1
+d2_17 +d3_17 <= 1
+d2_18 +d3_18 <= 1
+d2_19 +d3_19 <= 1
+d2_20 +d3_20 <= 1
+d2_21 +d3_21 <= 1
+d2_22 +d3_22 <= 1
+d2_23 +d3_23 <= 1
+d2_24 +d3_24 <= 1
+d2_25 +d3_25 <= 1
+d2_26 +d3_26 <= 1
+d2_27 +d3_27 <= 1
+d2_28 +d3_28 <= 1
+d2_29 +d3_29 <= 1
+d2_0 +d4_0 <= 1
+d2_1 +d4_1 <= 1
+d2_2 +d4_2 <= 1
+d2_3 +d4_3 <= 1
+d2_4 +d4_4 <= 1
+d2_5 +d4_5 <= 1
+d2_6 +d4_6 <= 1
+d2_7 +d4_7 <= 1
+d2_8 +d4_8 <= 1
+d2_9 +d4_9 <= 1
+d2_10 +d4_10 <= 1
+d2_11 +d4_11 <= 1
+d2_12 +d4_12 <= 1
+d2_13 +d4_13 <= 1
+d2_14 +d4_14 <= 1
+d2_15 +d4_15 <= 1
+d2_16 +d4_16 <= 1
+d2_17 +d4_17 <= 1
+d2_18 +d4_18 <= 1
+d2_19 +d4_19 <= 1
+d2_20 +d4_20 <= 1
+d2_21 +d4_21 <= 1
+d2_22 +d4_22 <= 1
+d2_23 +d4_23 <= 1
+d2_24 +d4_24 <= 1
+d2_25 +d4_25 <= 1
+d2_26 +d4_26 <= 1
+d2_27 +d4_27 <= 1
+d2_28 +d4_28 <= 1
+d2_29 +d4_29 <= 1
+d2_0 +d5_0 <= 1
+d2_1 +d5_1 <= 1
+d2_2 +d5_2 <= 1
+d2_3 +d5_3 <= 1
+d2_4 +d5_4 <= 1
+d2_5 +d5_5 <= 1
+d2_6 +d5_6 <= 1
+d2_7 +d5_7 <= 1
+d2_8 +d5_8 <= 1
+d2_9 +d5_9 <= 1
+d2_10 +d5_10 <= 1
+d2_11 +d5_11 <= 1
+d2_12 +d5_12 <= 1
+d2_13 +d5_13 <= 1
+d2_14 +d5_14 <= 1
+d2_15 +d5_15 <= 1
+d2_16 +d5_16 <= 1
+d2_17 +d5_17 <= 1
+d2_18 +d5_18 <= 1
+d2_19 +d5_19 <= 1
+d2_20 +d5_20 <= 1
+d2_21 +d5_21 <= 1
+d2_22 +d5_22 <= 1
+d2_23 +d5_23 <= 1
+d2_24 +d5_24 <= 1
+d2_25 +d5_25 <= 1
+d2_26 +d5_26 <= 1
+d2_27 +d5_27 <= 1
+d2_28 +d5_28 <= 1
+d2_29 +d5_29 <= 1
+d2_0 +d8_0 <= 1
+d2_1 +d8_1 <= 1
+d2_2 +d8_2 <= 1
+d2_3 +d8_3 <= 1
+d2_4 +d8_4 <= 1
+d2_5 +d8_5 <= 1
+d2_6 +d8_6 <= 1
+d2_7 +d8_7 <= 1
+d2_8 +d8_8 <= 1
+d2_9 +d8_9 <= 1
+d2_10 +d8_10 <= 1
+d2_11 +d8_11 <= 1
+d2_12 +d8_12 <= 1
+d2_13 +d8_13 <= 1
+d2_14 +d8_14 <= 1
+d2_15 +d8_15 <= 1
+d2_16 +d8_16 <= 1
+d2_17 +d8_17 <= 1
+d2_18 +d8_18 <= 1
+d2_19 +d8_19 <= 1
+d2_20 +d8_20 <= 1
+d2_21 +d8_21 <= 1
+d2_22 +d8_22 <= 1
+d2_23 +d8_23 <= 1
+d2_24 +d8_24 <= 1
+d2_25 +d8_25 <= 1
+d2_26 +d8_26 <= 1
+d2_27 +d8_27 <= 1
+d2_28 +d8_28 <= 1
+d2_29 +d8_29 <= 1
+W67 +W74 +W77 +W78 +W81 -1 d4_1 -2 d4_2 -3 d4_3 -4 d4_4 -5 d4_5 -6 d4_6 -7 d4_7 -8 d4_8 -9 d4_9 -10 d4_10 -11 d4_11 -12 d4_12 -13 d4_13 -14 d4_14 -15 d4_15 -16 d4_16 -17 d4_17 -18 d4_18 -19 d4_19 -20 d4_20 -21 d4_21 -22 d4_22 -23 d4_23 -24 d4_24 -25 d4_25 -26 d4_26 -27 d4_27 -28 d4_28 -29 d4_29 = 0
+d4_0 +d4_1 +d4_2 +d4_3 +d4_4 +d4_5 +d4_6 +d4_7 +d4_8 +d4_9 +d4_10 +d4_11 +d4_12 +d4_13 +d4_14 +d4_15 +d4_16 +d4_17 +d4_18 +d4_19 +d4_20 +d4_21 +d4_22 +d4_23 +d4_24 +d4_25 +d4_26 +d4_27 +d4_28 +d4_29 = 1
+d3_0 +d4_0 <= 1
+d3_1 +d4_1 <= 1
+d3_2 +d4_2 <= 1
+d3_3 +d4_3 <= 1
+d3_4 +d4_4 <= 1
+d3_5 +d4_5 <= 1
+d3_6 +d4_6 <= 1
+d3_7 +d4_7 <= 1
+d3_8 +d4_8 <= 1
+d3_9 +d4_9 <= 1
+d3_10 +d4_10 <= 1
+d3_11 +d4_11 <= 1
+d3_12 +d4_12 <= 1
+d3_13 +d4_13 <= 1
+d3_14 +d4_14 <= 1
+d3_15 +d4_15 <= 1
+d3_16 +d4_16 <= 1
+d3_17 +d4_17 <= 1
+d3_18 +d4_18 <= 1
+d3_19 +d4_19 <= 1
+d3_20 +d4_20 <= 1
+d3_21 +d4_21 <= 1
+d3_22 +d4_22 <= 1
+d3_23 +d4_23 <= 1
+d3_24 +d4_24 <= 1
+d3_25 +d4_25 <= 1
+d3_26 +d4_26 <= 1
+d3_27 +d4_27 <= 1
+d3_28 +d4_28 <= 1
+d3_29 +d4_29 <= 1
+d3_0 +d5_0 <= 1
+d3_1 +d5_1 <= 1
+d3_2 +d5_2 <= 1
+d3_3 +d5_3 <= 1
+d3_4 +d5_4 <= 1
+d3_5 +d5_5 <= 1
+d3_6 +d5_6 <= 1
+d3_7 +d5_7 <= 1
+d3_8 +d5_8 <= 1
+d3_9 +d5_9 <= 1
+d3_10 +d5_10 <= 1
+d3_11 +d5_11 <= 1
+d3_12 +d5_12 <= 1
+d3_13 +d5_13 <= 1
+d3_14 +d5_14 <= 1
+d3_15 +d5_15 <= 1
+d3_16 +d5_16 <= 1
+d3_17 +d5_17 <= 1
+d3_18 +d5_18 <= 1
+d3_19 +d5_19 <= 1
+d3_20 +d5_20 <= 1
+d3_21 +d5_21 <= 1
+d3_22 +d5_22 <= 1
+d3_23 +d5_23 <= 1
+d3_24 +d5_24 <= 1
+d3_25 +d5_25 <= 1
+d3_26 +d5_26 <= 1
+d3_27 +d5_27 <= 1
+d3_28 +d5_28 <= 1
+d3_29 +d5_29 <= 1
+d3_0 +d6_0 <= 1
+d3_1 +d6_1 <= 1
+d3_2 +d6_2 <= 1
+d3_3 +d6_3 <= 1
+d3_4 +d6_4 <= 1
+d3_5 +d6_5 <= 1
+d3_6 +d6_6 <= 1
+d3_7 +d6_7 <= 1
+d3_8 +d6_8 <= 1
+d3_9 +d6_9 <= 1
+d3_10 +d6_10 <= 1
+d3_11 +d6_11 <= 1
+d3_12 +d6_12 <= 1
+d3_13 +d6_13 <= 1
+d3_14 +d6_14 <= 1
+d3_15 +d6_15 <= 1
+d3_16 +d6_16 <= 1
+d3_17 +d6_17 <= 1
+d3_18 +d6_18 <= 1
+d3_19 +d6_19 <= 1
+d3_20 +d6_20 <= 1
+d3_21 +d6_21 <= 1
+d3_22 +d6_22 <= 1
+d3_23 +d6_23 <= 1
+d3_24 +d6_24 <= 1
+d3_25 +d6_25 <= 1
+d3_26 +d6_26 <= 1
+d3_27 +d6_27 <= 1
+d3_28 +d6_28 <= 1
+d3_29 +d6_29 <= 1
+d3_0 +d8_0 <= 1
+d3_1 +d8_1 <= 1
+d3_2 +d8_2 <= 1
+d3_3 +d8_3 <= 1
+d3_4 +d8_4 <= 1
+d3_5 +d8_5 <= 1
+d3_6 +d8_6 <= 1
+d3_7 +d8_7 <= 1
+d3_8 +d8_8 <= 1
+d3_9 +d8_9 <= 1
+d3_10 +d8_10 <= 1
+d3_11 +d8_11 <= 1
+d3_12 +d8_12 <= 1
+d3_13 +d8_13 <= 1
+d3_14 +d8_14 <= 1
+d3_15 +d8_15 <= 1
+d3_16 +d8_16 <= 1
+d3_17 +d8_17 <= 1
+d3_18 +d8_18 <= 1
+d3_19 +d8_19 <= 1
+d3_20 +d8_20 <= 1
+d3_21 +d8_21 <= 1
+d3_22 +d8_22 <= 1
+d3_23 +d8_23 <= 1
+d3_24 +d8_24 <= 1
+d3_25 +d8_25 <= 1
+d3_26 +d8_26 <= 1
+d3_27 +d8_27 <= 1
+d3_28 +d8_28 <= 1
+d3_29 +d8_29 <= 1
+W17 +W23 +W26 +W28 +W80 +W81 -1 d5_1 -2 d5_2 -3 d5_3 -4 d5_4 -5 d5_5 -6 d5_6 -7 d5_7 -8 d5_8 -9 d5_9 -10 d5_10 -11 d5_11 -12 d5_12 -13 d5_13 -14 d5_14 -15 d5_15 -16 d5_16 -17 d5_17 -18 d5_18 -19 d5_19 -20 d5_20 -21 d5_21 -22 d5_22 -23 d5_23 -24 d5_24 -25 d5_25 -26 d5_26 -27 d5_27 -28 d5_28 -29 d5_29 = 0
+d5_0 +d5_1 +d5_2 +d5_3 +d5_4 +d5_5 +d5_6 +d5_7 +d5_8 +d5_9 +d5_10 +d5_11 +d5_12 +d5_13 +d5_14 +d5_15 +d5_16 +d5_17 +d5_18 +d5_19 +d5_20 +d5_21 +d5_22 +d5_23 +d5_24 +d5_25 +d5_26 +d5_27 +d5_28 +d5_29 = 1
+d4_0 +d5_0 <= 1
+d4_1 +d5_1 <= 1
+d4_2 +d5_2 <= 1
+d4_3 +d5_3 <= 1
+d4_4 +d5_4 <= 1
+d4_5 +d5_5 <= 1
+d4_6 +d5_6 <= 1
+d4_7 +d5_7 <= 1
+d4_8 +d5_8 <= 1
+d4_9 +d5_9 <= 1
+d4_10 +d5_10 <= 1
+d4_11 +d5_11 <= 1
+d4_12 +d5_12 <= 1
+d4_13 +d5_13 <= 1
+d4_14 +d5_14 <= 1
+d4_15 +d5_15 <= 1
+d4_16 +d5_16 <= 1
+d4_17 +d5_17 <= 1
+d4_18 +d5_18 <= 1
+d4_19 +d5_19 <= 1
+d4_20 +d5_20 <= 1
+d4_21 +d5_21 <= 1
+d4_22 +d5_22 <= 1
+d4_23 +d5_23 <= 1
+d4_24 +d5_24 <= 1
+d4_25 +d5_25 <= 1
+d4_26 +d5_26 <= 1
+d4_27 +d5_27 <= 1
+d4_28 +d5_28 <= 1
+d4_29 +d5_29 <= 1
+d4_0 +d6_0 <= 1
+d4_1 +d6_1 <= 1
+d4_2 +d6_2 <= 1
+d4_3 +d6_3 <= 1
+d4_4 +d6_4 <= 1
+d4_5 +d6_5 <= 1
+d4_6 +d6_6 <= 1
+d4_7 +d6_7 <= 1
+d4_8 +d6_8 <= 1
+d4_9 +d6_9 <= 1
+d4_10 +d6_10 <= 1
+d4_11 +d6_11 <= 1
+d4_12 +d6_12 <= 1
+d4_13 +d6_13 <= 1
+d4_14 +d6_14 <= 1
+d4_15 +d6_15 <= 1
+d4_16 +d6_16 <= 1
+d4_17 +d6_17 <= 1
+d4_18 +d6_18 <= 1
+d4_19 +d6_19 <= 1
+d4_20 +d6_20 <= 1
+d4_21 +d6_21 <= 1
+d4_22 +d6_22 <= 1
+d4_23 +d6_23 <= 1
+d4_24 +d6_24 <= 1
+d4_25 +d6_25 <= 1
+d4_26 +d6_26 <= 1
+d4_27 +d6_27 <= 1
+d4_28 +d6_28 <= 1
+d4_29 +d6_29 <= 1
+d4_0 +d7_0 <= 1
+d4_1 +d7_1 <= 1
+d4_2 +d7_2 <= 1
+d4_3 +d7_3 <= 1
+d4_4 +d7_4 <= 1
+d4_5 +d7_5 <= 1
+d4_6 +d7_6 <= 1
+d4_7 +d7_7 <= 1
+d4_8 +d7_8 <= 1
+d4_9 +d7_9 <= 1
+d4_10 +d7_10 <= 1
+d4_11 +d7_11 <= 1
+d4_12 +d7_12 <= 1
+d4_13 +d7_13 <= 1
+d4_14 +d7_14 <= 1
+d4_15 +d7_15 <= 1
+d4_16 +d7_16 <= 1
+d4_17 +d7_17 <= 1
+d4_18 +d7_18 <= 1
+d4_19 +d7_19 <= 1
+d4_20 +d7_20 <= 1
+d4_21 +d7_21 <= 1
+d4_22 +d7_22 <= 1
+d4_23 +d7_23 <= 1
+d4_24 +d7_24 <= 1
+d4_25 +d7_25 <= 1
+d4_26 +d7_26 <= 1
+d4_27 +d7_27 <= 1
+d4_28 +d7_28 <= 1
+d4_29 +d7_29 <= 1
+W6 +W9 +W15 +W27 +W28 +W80 +W81 -1 d6_1 -2 d6_2 -3 d6_3 -4 d6_4 -5 d6_5 -6 d6_6 -7 d6_7 -8 d6_8 -9 d6_9 -10 d6_10 -11 d6_11 -12 d6_12 -13 d6_13 -14 d6_14 -15 d6_15 -16 d6_16 -17 d6_17 -18 d6_18 -19 d6_19 -20 d6_20 -21 d6_21 -22 d6_22 -23 d6_23 -24 d6_24 -25 d6_25 -26 d6_26 -27 d6_27 -28 d6_28 -29 d6_29 = 0
+d6_0 +d6_1 +d6_2 +d6_3 +d6_4 +d6_5 +d6_6 +d6_7 +d6_8 +d6_9 +d6_10 +d6_11 +d6_12 +d6_13 +d6_14 +d6_15 +d6_16 +d6_17 +d6_18 +d6_19 +d6_20 +d6_21 +d6_22 +d6_23 +d6_24 +d6_25 +d6_26 +d6_27 +d6_28 +d6_29 = 1
+d5_0 +d6_0 <= 1
+d5_1 +d6_1 <= 1
+d5_2 +d6_2 <= 1
+d5_3 +d6_3 <= 1
+d5_4 +d6_4 <= 1
+d5_5 +d6_5 <= 1
+d5_6 +d6_6 <= 1
+d5_7 +d6_7 <= 1
+d5_8 +d6_8 <= 1
+d5_9 +d6_9 <= 1
+d5_10 +d6_10 <= 1
+d5_11 +d6_11 <= 1
+d5_12 +d6_12 <= 1
+d5_13 +d6_13 <= 1
+d5_14 +d6_14 <= 1
+d5_15 +d6_15 <= 1
+d5_16 +d6_16 <= 1
+d5_17 +d6_17 <= 1
+d5_18 +d6_18 <= 1
+d5_19 +d6_19 <= 1
+d5_20 +d6_20 <= 1
+d5_21 +d6_21 <= 1
+d5_22 +d6_22 <= 1
+d5_23 +d6_23 <= 1
+d5_24 +d6_24 <= 1
+d5_25 +d6_25 <= 1
+d5_26 +d6_26 <= 1
+d5_27 +d6_27 <= 1
+d5_28 +d6_28 <= 1
+d5_29 +d6_29 <= 1
+d5_0 +d7_0 <= 1
+d5_1 +d7_1 <= 1
+d5_2 +d7_2 <= 1
+d5_3 +d7_3 <= 1
+d5_4 +d7_4 <= 1
+d5_5 +d7_5 <= 1
+d5_6 +d7_6 <= 1
+d5_7 +d7_7 <= 1
+d5_8 +d7_8 <= 1
+d5_9 +d7_9 <= 1
+d5_10 +d7_10 <= 1
+d5_11 +d7_11 <= 1
+d5_12 +d7_12 <= 1
+d5_13 +d7_13 <= 1
+d5_14 +d7_14 <= 1
+d5_15 +d7_15 <= 1
+d5_16 +d7_16 <= 1
+d5_17 +d7_17 <= 1
+d5_18 +d7_18 <= 1
+d5_19 +d7_19 <= 1
+d5_20 +d7_20 <= 1
+d5_21 +d7_21 <= 1
+d5_22 +d7_22 <= 1
+d5_23 +d7_23 <= 1
+d5_24 +d7_24 <= 1
+d5_25 +d7_25 <= 1
+d5_26 +d7_26 <= 1
+d5_27 +d7_27 <= 1
+d5_28 +d7_28 <= 1
+d5_29 +d7_29 <= 1
+d5_0 +d9_0 <= 1
+d5_1 +d9_1 <= 1
+d5_2 +d9_2 <= 1
+d5_3 +d9_3 <= 1
+d5_4 +d9_4 <= 1
+d5_5 +d9_5 <= 1
+d5_6 +d9_6 <= 1
+d5_7 +d9_7 <= 1
+d5_8 +d9_8 <= 1
+d5_9 +d9_9 <= 1
+d5_10 +d9_10 <= 1
+d5_11 +d9_11 <= 1
+d5_12 +d9_12 <= 1
+d5_13 +d9_13 <= 1
+d5_14 +d9_14 <= 1
+d5_15 +d9_15 <= 1
+d5_16 +d9_16 <= 1
+d5_17 +d9_17 <= 1
+d5_18 +d9_18 <= 1
+d5_19 +d9_19 <= 1
+d5_20 +d9_20 <= 1
+d5_21 +d9_21 <= 1
+d5_22 +d9_22 <= 1
+d5_23 +d9_23 <= 1
+d5_24 +d9_24 <= 1
+d5_25 +d9_25 <= 1
+d5_26 +d9_26 <= 1
+d5_27 +d9_27 <= 1
+d5_28 +d9_28 <= 1
+d5_29 +d9_29 <= 1
+d5_0 +d11_0 <= 1
+d5_1 +d11_1 <= 1
+d5_2 +d11_2 <= 1
+d5_3 +d11_3 <= 1
+d5_4 +d11_4 <= 1
+d5_5 +d11_5 <= 1
+d5_6 +d11_6 <= 1
+d5_7 +d11_7 <= 1
+d5_8 +d11_8 <= 1
+d5_9 +d11_9 <= 1
+d5_10 +d11_10 <= 1
+d5_11 +d11_11 <= 1
+d5_12 +d11_12 <= 1
+d5_13 +d11_13 <= 1
+d5_14 +d11_14 <= 1
+d5_15 +d11_15 <= 1
+d5_16 +d11_16 <= 1
+d5_17 +d11_17 <= 1
+d5_18 +d11_18 <= 1
+d5_19 +d11_19 <= 1
+d5_20 +d11_20 <= 1
+d5_21 +d11_21 <= 1
+d5_22 +d11_22 <= 1
+d5_23 +d11_23 <= 1
+d5_24 +d11_24 <= 1
+d5_25 +d11_25 <= 1
+d5_26 +d11_26 <= 1
+d5_27 +d11_27 <= 1
+d5_28 +d11_28 <= 1
+d5_29 +d11_29 <= 1
+d5_0 +d12_0 <= 1
+d5_1 +d12_1 <= 1
+d5_2 +d12_2 <= 1
+d5_3 +d12_3 <= 1
+d5_4 +d12_4 <= 1
+d5_5 +d12_5 <= 1
+d5_6 +d12_6 <= 1
+d5_7 +d12_7 <= 1
+d5_8 +d12_8 <= 1
+d5_9 +d12_9 <= 1
+d5_10 +d12_10 <= 1
+d5_11 +d12_11 <= 1
+d5_12 +d12_12 <= 1
+d5_13 +d12_13 <= 1
+d5_14 +d12_14 <= 1
+d5_15 +d12_15 <= 1
+d5_16 +d12_16 <= 1
+d5_17 +d12_17 <= 1
+d5_18 +d12_18 <= 1
+d5_19 +d12_19 <= 1
+d5_20 +d12_20 <= 1
+d5_21 +d12_21 <= 1
+d5_22 +d12_22 <= 1
+d5_23 +d12_23 <= 1
+d5_24 +d12_24 <= 1
+d5_25 +d12_25 <= 1
+d5_26 +d12_26 <= 1
+d5_27 +d12_27 <= 1
+d5_28 +d12_28 <= 1
+d5_29 +d12_29 <= 1
+W0 +W5 +W29 +W80 +W81 -1 d7_1 -2 d7_2 -3 d7_3 -4 d7_4 -5 d7_5 -6 d7_6 -7 d7_7 -8 d7_8 -9 d7_9 -10 d7_10 -11 d7_11 -12 d7_12 -13 d7_13 -14 d7_14 -15 d7_15 -16 d7_16 -17 d7_17 -18 d7_18 -19 d7_19 -20 d7_20 -21 d7_21 -22 d7_22 -23 d7_23 -24 d7_24 -25 d7_25 -26 d7_26 -27 d7_27 -28 d7_28 -29 d7_29 = 0
+d7_0 +d7_1 +d7_2 +d7_3 +d7_4 +d7_5 +d7_6 +d7_7 +d7_8 +d7_9 +d7_10 +d7_11 +d7_12 +d7_13 +d7_14 +d7_15 +d7_16 +d7_17 +d7_18 +d7_19 +d7_20 +d7_21 +d7_22 +d7_23 +d7_24 +d7_25 +d7_26 +d7_27 +d7_28 +d7_29 = 1
+d6_0 +d7_0 <= 1
+d6_1 +d7_1 <= 1
+d6_2 +d7_2 <= 1
+d6_3 +d7_3 <= 1
+d6_4 +d7_4 <= 1
+d6_5 +d7_5 <= 1
+d6_6 +d7_6 <= 1
+d6_7 +d7_7 <= 1
+d6_8 +d7_8 <= 1
+d6_9 +d7_9 <= 1
+d6_10 +d7_10 <= 1
+d6_11 +d7_11 <= 1
+d6_12 +d7_12 <= 1
+d6_13 +d7_13 <= 1
+d6_14 +d7_14 <= 1
+d6_15 +d7_15 <= 1
+d6_16 +d7_16 <= 1
+d6_17 +d7_17 <= 1
+d6_18 +d7_18 <= 1
+d6_19 +d7_19 <= 1
+d6_20 +d7_20 <= 1
+d6_21 +d7_21 <= 1
+d6_22 +d7_22 <= 1
+d6_23 +d7_23 <= 1
+d6_24 +d7_24 <= 1
+d6_25 +d7_25 <= 1
+d6_26 +d7_26 <= 1
+d6_27 +d7_27 <= 1
+d6_28 +d7_28 <= 1
+d6_29 +d7_29 <= 1
+d6_0 +d8_0 <= 1
+d6_1 +d8_1 <= 1
+d6_2 +d8_2 <= 1
+d6_3 +d8_3 <= 1
+d6_4 +d8_4 <= 1
+d6_5 +d8_5 <= 1
+d6_6 +d8_6 <= 1
+d6_7 +d8_7 <= 1
+d6_8 +d8_8 <= 1
+d6_9 +d8_9 <= 1
+d6_10 +d8_10 <= 1
+d6_11 +d8_11 <= 1
+d6_12 +d8_12 <= 1
+d6_13 +d8_13 <= 1
+d6_14 +d8_14 <= 1
+d6_15 +d8_15 <= 1
+d6_16 +d8_16 <= 1
+d6_17 +d8_17 <= 1
+d6_18 +d8_18 <= 1
+d6_19 +d8_19 <= 1
+d6_20 +d8_20 <= 1
+d6_21 +d8_21 <= 1
+d6_22 +d8_22 <= 1
+d6_23 +d8_23 <= 1
+d6_24 +d8_24 <= 1
+d6_25 +d8_25 <= 1
+d6_26 +d8_26 <= 1
+d6_27 +d8_27 <= 1
+d6_28 +d8_28 <= 1
+d6_29 +d8_29 <= 1
+W1 +W4 +W29 +W80 +W81 -1 d8_1 -2 d8_2 -3 d8_3 -4 d8_4 -5 d8_5 -6 d8_6 -7 d8_7 -8 d8_8 -9 d8_9 -10 d8_10 -11 d8_11 -12 d8_12 -13 d8_13 -14 d8_14 -15 d8_15 -16 d8_16 -17 d8_17 -18 d8_18 -19 d8_19 -20 d8_20 -21 d8_21 -22 d8_22 -23 d8_23 -24 d8_24 -25 d8_25 -26 d8_26 -27 d8_27 -28 d8_28 -29 d8_29 = 0
+d8_0 +d8_1 +d8_2 +d8_3 +d8_4 +d8_5 +d8_6 +d8_7 +d8_8 +d8_9 +d8_10 +d8_11 +d8_12 +d8_13 +d8_14 +d8_15 +d8_16 +d8_17 +d8_18 +d8_19 +d8_20 +d8_21 +d8_22 +d8_23 +d8_24 +d8_25 +d8_26 +d8_27 +d8_28 +d8_29 = 1
+d7_0 +d8_0 <= 1
+d7_1 +d8_1 <= 1
+d7_2 +d8_2 <= 1
+d7_3 +d8_3 <= 1
+d7_4 +d8_4 <= 1
+d7_5 +d8_5 <= 1
+d7_6 +d8_6 <= 1
+d7_7 +d8_7 <= 1
+d7_8 +d8_8 <= 1
+d7_9 +d8_9 <= 1
+d7_10 +d8_10 <= 1
+d7_11 +d8_11 <= 1
+d7_12 +d8_12 <= 1
+d7_13 +d8_13 <= 1
+d7_14 +d8_14 <= 1
+d7_15 +d8_15 <= 1
+d7_16 +d8_16 <= 1
+d7_17 +d8_17 <= 1
+d7_18 +d8_18 <= 1
+d7_19 +d8_19 <= 1
+d7_20 +d8_20 <= 1
+d7_21 +d8_21 <= 1
+d7_22 +d8_22 <= 1
+d7_23 +d8_23 <= 1
+d7_24 +d8_24 <= 1
+d7_25 +d8_25 <= 1
+d7_26 +d8_26 <= 1
+d7_27 +d8_27 <= 1
+d7_28 +d8_28 <= 1
+d7_29 +d8_29 <= 1
+d7_0 +d9_0 <= 1
+d7_1 +d9_1 <= 1
+d7_2 +d9_2 <= 1
+d7_3 +d9_3 <= 1
+d7_4 +d9_4 <= 1
+d7_5 +d9_5 <= 1
+d7_6 +d9_6 <= 1
+d7_7 +d9_7 <= 1
+d7_8 +d9_8 <= 1
+d7_9 +d9_9 <= 1
+d7_10 +d9_10 <= 1
+d7_11 +d9_11 <= 1
+d7_12 +d9_12 <= 1
+d7_13 +d9_13 <= 1
+d7_14 +d9_14 <= 1
+d7_15 +d9_15 <= 1
+d7_16 +d9_16 <= 1
+d7_17 +d9_17 <= 1
+d7_18 +d9_18 <= 1
+d7_19 +d9_19 <= 1
+d7_20 +d9_20 <= 1
+d7_21 +d9_21 <= 1
+d7_22 +d9_22 <= 1
+d7_23 +d9_23 <= 1
+d7_24 +d9_24 <= 1
+d7_25 +d9_25 <= 1
+d7_26 +d9_26 <= 1
+d7_27 +d9_27 <= 1
+d7_28 +d9_28 <= 1
+d7_29 +d9_29 <= 1
+W2 +W3 +W29 +W80 +W81 -1 d9_1 -2 d9_2 -3 d9_3 -4 d9_4 -5 d9_5 -6 d9_6 -7 d9_7 -8 d9_8 -9 d9_9 -10 d9_10 -11 d9_11 -12 d9_12 -13 d9_13 -14 d9_14 -15 d9_15 -16 d9_16 -17 d9_17 -18 d9_18 -19 d9_19 -20 d9_20 -21 d9_21 -22 d9_22 -23 d9_23 -24 d9_24 -25 d9_25 -26 d9_26 -27 d9_27 -28 d9_28 -29 d9_29 = 0
+d9_0 +d9_1 +d9_2 +d9_3 +d9_4 +d9_5 +d9_6 +d9_7 +d9_8 +d9_9 +d9_10 +d9_11 +d9_12 +d9_13 +d9_14 +d9_15 +d9_16 +d9_17 +d9_18 +d9_19 +d9_20 +d9_21 +d9_22 +d9_23 +d9_24 +d9_25 +d9_26 +d9_27 +d9_28 +d9_29 = 1
+d8_0 +d9_0 <= 1
+d8_1 +d9_1 <= 1
+d8_2 +d9_2 <= 1
+d8_3 +d9_3 <= 1
+d8_4 +d9_4 <= 1
+d8_5 +d9_5 <= 1
+d8_6 +d9_6 <= 1
+d8_7 +d9_7 <= 1
+d8_8 +d9_8 <= 1
+d8_9 +d9_9 <= 1
+d8_10 +d9_10 <= 1
+d8_11 +d9_11 <= 1
+d8_12 +d9_12 <= 1
+d8_13 +d9_13 <= 1
+d8_14 +d9_14 <= 1
+d8_15 +d9_15 <= 1
+d8_16 +d9_16 <= 1
+d8_17 +d9_17 <= 1
+d8_18 +d9_18 <= 1
+d8_19 +d9_19 <= 1
+d8_20 +d9_20 <= 1
+d8_21 +d9_21 <= 1
+d8_22 +d9_22 <= 1
+d8_23 +d9_23 <= 1
+d8_24 +d9_24 <= 1
+d8_25 +d9_25 <= 1
+d8_26 +d9_26 <= 1
+d8_27 +d9_27 <= 1
+d8_28 +d9_28 <= 1
+d8_29 +d9_29 <= 1
+W47 +W50 +W53 +W79 +W81 -1 d10_1 -2 d10_2 -3 d10_3 -4 d10_4 -5 d10_5 -6 d10_6 -7 d10_7 -8 d10_8 -9 d10_9 -10 d10_10 -11 d10_11 -12 d10_12 -13 d10_13 -14 d10_14 -15 d10_15 -16 d10_16 -17 d10_17 -18 d10_18 -19 d10_19 -20 d10_20 -21 d10_21 -22 d10_22 -23 d10_23 -24 d10_24 -25 d10_25 -26 d10_26 -27 d10_27 -28 d10_28 -29 d10_29 = 0
+d10_0 +d10_1 +d10_2 +d10_3 +d10_4 +d10_5 +d10_6 +d10_7 +d10_8 +d10_9 +d10_10 +d10_11 +d10_12 +d10_13 +d10_14 +d10_15 +d10_16 +d10_17 +d10_18 +d10_19 +d10_20 +d10_21 +d10_22 +d10_23 +d10_24 +d10_25 +d10_26 +d10_27 +d10_28 +d10_29 = 1
+d9_0 +d10_0 <= 1
+d9_1 +d10_1 <= 1
+d9_2 +d10_2 <= 1
+d9_3 +d10_3 <= 1
+d9_4 +d10_4 <= 1
+d9_5 +d10_5 <= 1
+d9_6 +d10_6 <= 1
+d9_7 +d10_7 <= 1
+d9_8 +d10_8 <= 1
+d9_9 +d10_9 <= 1
+d9_10 +d10_10 <= 1
+d9_11 +d10_11 <= 1
+d9_12 +d10_12 <= 1
+d9_13 +d10_13 <= 1
+d9_14 +d10_14 <= 1
+d9_15 +d10_15 <= 1
+d9_16 +d10_16 <= 1
+d9_17 +d10_17 <= 1
+d9_18 +d10_18 <= 1
+d9_19 +d10_19 <= 1
+d9_20 +d10_20 <= 1
+d9_21 +d10_21 <= 1
+d9_22 +d10_22 <= 1
+d9_23 +d10_23 <= 1
+d9_24 +d10_24 <= 1
+d9_25 +d10_25 <= 1
+d9_26 +d10_26 <= 1
+d9_27 +d10_27 <= 1
+d9_28 +d10_28 <= 1
+d9_29 +d10_29 <= 1
+W45 +W50 +W53 +W79 +W81 -1 d11_1 -2 d11_2 -3 d11_3 -4 d11_4 -5 d11_5 -6 d11_6 -7 d11_7 -8 d11_8 -9 d11_9 -10 d11_10 -11 d11_11 -12 d11_12 -13 d11_13 -14 d11_14 -15 d11_15 -16 d11_16 -17 d11_17 -18 d11_18 -19 d11_19 -20 d11_20 -21 d11_21 -22 d11_22 -23 d11_23 -24 d11_24 -25 d11_25 -26 d11_26 -27 d11_27 -28 d11_28 -29 d11_29 = 0
+d11_0 +d11_1 +d11_2 +d11_3 +d11_4 +d11_5 +d11_6 +d11_7 +d11_8 +d11_9 +d11_10 +d11_11 +d11_12 +d11_13 +d11_14 +d11_15 +d11_16 +d11_17 +d11_18 +d11_19 +d11_20 +d11_21 +d11_22 +d11_23 +d11_24 +d11_25 +d11_26 +d11_27 +d11_28 +d11_29 = 1
+d10_0 +d11_0 <= 1
+d10_1 +d11_1 <= 1
+d10_2 +d11_2 <= 1
+d10_3 +d11_3 <= 1
+d10_4 +d11_4 <= 1
+d10_5 +d11_5 <= 1
+d10_6 +d11_6 <= 1
+d10_7 +d11_7 <= 1
+d10_8 +d11_8 <= 1
+d10_9 +d11_9 <= 1
+d10_10 +d11_10 <= 1
+d10_11 +d11_11 <= 1
+d10_12 +d11_12 <= 1
+d10_13 +d11_13 <= 1
+d10_14 +d11_14 <= 1
+d10_15 +d11_15 <= 1
+d10_16 +d11_16 <= 1
+d10_17 +d11_17 <= 1
+d10_18 +d11_18 <= 1
+d10_19 +d11_19 <= 1
+d10_20 +d11_20 <= 1
+d10_21 +d11_21 <= 1
+d10_22 +d11_22 <= 1
+d10_23 +d11_23 <= 1
+d10_24 +d11_24 <= 1
+d10_25 +d11_25 <= 1
+d10_26 +d11_26 <= 1
+d10_27 +d11_27 <= 1
+d10_28 +d11_28 <= 1
+d10_29 +d11_29 <= 1
+d0_0 +d3_0 <= 1
+d0_1 +d3_1 <= 1
+d0_2 +d3_2 <= 1
+d0_3 +d3_3 <= 1
+d0_4 +d3_4 <= 1
+d0_5 +d3_5 <= 1
+d0_6 +d3_6 <= 1
+d0_7 +d3_7 <= 1
+d0_8 +d3_8 <= 1
+d0_9 +d3_9 <= 1
+d0_10 +d3_10 <= 1
+d0_11 +d3_11 <= 1
+d0_12 +d3_12 <= 1
+d0_13 +d3_13 <= 1
+d0_14 +d3_14 <= 1
+d0_15 +d3_15 <= 1
+d0_16 +d3_16 <= 1
+d0_17 +d3_17 <= 1
+d0_18 +d3_18 <= 1
+d0_19 +d3_19 <= 1
+d0_20 +d3_20 <= 1
+d0_21 +d3_21 <= 1
+d0_22 +d3_22 <= 1
+d0_23 +d3_23 <= 1
+d0_24 +d3_24 <= 1
+d0_25 +d3_25 <= 1
+d0_26 +d3_26 <= 1
+d0_27 +d3_27 <= 1
+d0_28 +d3_28 <= 1
+d0_29 +d3_29 <= 1
+d0_0 +d4_0 <= 1
+d0_1 +d4_1 <= 1
+d0_2 +d4_2 <= 1
+d0_3 +d4_3 <= 1
+d0_4 +d4_4 <= 1
+d0_5 +d4_5 <= 1
+d0_6 +d4_6 <= 1
+d0_7 +d4_7 <= 1
+d0_8 +d4_8 <= 1
+d0_9 +d4_9 <= 1
+d0_10 +d4_10 <= 1
+d0_11 +d4_11 <= 1
+d0_12 +d4_12 <= 1
+d0_13 +d4_13 <= 1
+d0_14 +d4_14 <= 1
+d0_15 +d4_15 <= 1
+d0_16 +d4_16 <= 1
+d0_17 +d4_17 <= 1
+d0_18 +d4_18 <= 1
+d0_19 +d4_19 <= 1
+d0_20 +d4_20 <= 1
+d0_21 +d4_21 <= 1
+d0_22 +d4_22 <= 1
+d0_23 +d4_23 <= 1
+d0_24 +d4_24 <= 1
+d0_25 +d4_25 <= 1
+d0_26 +d4_26 <= 1
+d0_27 +d4_27 <= 1
+d0_28 +d4_28 <= 1
+d0_29 +d4_29 <= 1
+d0_0 +d5_0 <= 1
+d0_1 +d5_1 <= 1
+d0_2 +d5_2 <= 1
+d0_3 +d5_3 <= 1
+d0_4 +d5_4 <= 1
+d0_5 +d5_5 <= 1
+d0_6 +d5_6 <= 1
+d0_7 +d5_7 <= 1
+d0_8 +d5_8 <= 1
+d0_9 +d5_9 <= 1
+d0_10 +d5_10 <= 1
+d0_11 +d5_11 <= 1
+d0_12 +d5_12 <= 1
+d0_13 +d5_13 <= 1
+d0_14 +d5_14 <= 1
+d0_15 +d5_15 <= 1
+d0_16 +d5_16 <= 1
+d0_17 +d5_17 <= 1
+d0_18 +d5_18 <= 1
+d0_19 +d5_19 <= 1
+d0_20 +d5_20 <= 1
+d0_21 +d5_21 <= 1
+d0_22 +d5_22 <= 1
+d0_23 +d5_23 <= 1
+d0_24 +d5_24 <= 1
+d0_25 +d5_25 <= 1
+d0_26 +d5_26 <= 1
+d0_27 +d5_27 <= 1
+d0_28 +d5_28 <= 1
+d0_29 +d5_29 <= 1
+d0_0 +d6_0 <= 1
+d0_1 +d6_1 <= 1
+d0_2 +d6_2 <= 1
+d0_3 +d6_3 <= 1
+d0_4 +d6_4 <= 1
+d0_5 +d6_5 <= 1
+d0_6 +d6_6 <= 1
+d0_7 +d6_7 <= 1
+d0_8 +d6_8 <= 1
+d0_9 +d6_9 <= 1
+d0_10 +d6_10 <= 1
+d0_11 +d6_11 <= 1
+d0_12 +d6_12 <= 1
+d0_13 +d6_13 <= 1
+d0_14 +d6_14 <= 1
+d0_15 +d6_15 <= 1
+d0_16 +d6_16 <= 1
+d0_17 +d6_17 <= 1
+d0_18 +d6_18 <= 1
+d0_19 +d6_19 <= 1
+d0_20 +d6_20 <= 1
+d0_21 +d6_21 <= 1
+d0_22 +d6_22 <= 1
+d0_23 +d6_23 <= 1
+d0_24 +d6_24 <= 1
+d0_25 +d6_25 <= 1
+d0_26 +d6_26 <= 1
+d0_27 +d6_27 <= 1
+d0_28 +d6_28 <= 1
+d0_29 +d6_29 <= 1
+d0_0 +d7_0 <= 1
+d0_1 +d7_1 <= 1
+d0_2 +d7_2 <= 1
+d0_3 +d7_3 <= 1
+d0_4 +d7_4 <= 1
+d0_5 +d7_5 <= 1
+d0_6 +d7_6 <= 1
+d0_7 +d7_7 <= 1
+d0_8 +d7_8 <= 1
+d0_9 +d7_9 <= 1
+d0_10 +d7_10 <= 1
+d0_11 +d7_11 <= 1
+d0_12 +d7_12 <= 1
+d0_13 +d7_13 <= 1
+d0_14 +d7_14 <= 1
+d0_15 +d7_15 <= 1
+d0_16 +d7_16 <= 1
+d0_17 +d7_17 <= 1
+d0_18 +d7_18 <= 1
+d0_19 +d7_19 <= 1
+d0_20 +d7_20 <= 1
+d0_21 +d7_21 <= 1
+d0_22 +d7_22 <= 1
+d0_23 +d7_23 <= 1
+d0_24 +d7_24 <= 1
+d0_25 +d7_25 <= 1
+d0_26 +d7_26 <= 1
+d0_27 +d7_27 <= 1
+d0_28 +d7_28 <= 1
+d0_29 +d7_29 <= 1
+d0_0 +d8_0 <= 1
+d0_1 +d8_1 <= 1
+d0_2 +d8_2 <= 1
+d0_3 +d8_3 <= 1
+d0_4 +d8_4 <= 1
+d0_5 +d8_5 <= 1
+d0_6 +d8_6 <= 1
+d0_7 +d8_7 <= 1
+d0_8 +d8_8 <= 1
+d0_9 +d8_9 <= 1
+d0_10 +d8_10 <= 1
+d0_11 +d8_11 <= 1
+d0_12 +d8_12 <= 1
+d0_13 +d8_13 <= 1
+d0_14 +d8_14 <= 1
+d0_15 +d8_15 <= 1
+d0_16 +d8_16 <= 1
+d0_17 +d8_17 <= 1
+d0_18 +d8_18 <= 1
+d0_19 +d8_19 <= 1
+d0_20 +d8_20 <= 1
+d0_21 +d8_21 <= 1
+d0_22 +d8_22 <= 1
+d0_23 +d8_23 <= 1
+d0_24 +d8_24 <= 1
+d0_25 +d8_25 <= 1
+d0_26 +d8_26 <= 1
+d0_27 +d8_27 <= 1
+d0_28 +d8_28 <= 1
+d0_29 +d8_29 <= 1
+d0_0 +d9_0 <= 1
+d0_1 +d9_1 <= 1
+d0_2 +d9_2 <= 1
+d0_3 +d9_3 <= 1
+d0_4 +d9_4 <= 1
+d0_5 +d9_5 <= 1
+d0_6 +d9_6 <= 1
+d0_7 +d9_7 <= 1
+d0_8 +d9_8 <= 1
+d0_9 +d9_9 <= 1
+d0_10 +d9_10 <= 1
+d0_11 +d9_11 <= 1
+d0_12 +d9_12 <= 1
+d0_13 +d9_13 <= 1
+d0_14 +d9_14 <= 1
+d0_15 +d9_15 <= 1
+d0_16 +d9_16 <= 1
+d0_17 +d9_17 <= 1
+d0_18 +d9_18 <= 1
+d0_19 +d9_19 <= 1
+d0_20 +d9_20 <= 1
+d0_21 +d9_21 <= 1
+d0_22 +d9_22 <= 1
+d0_23 +d9_23 <= 1
+d0_24 +d9_24 <= 1
+d0_25 +d9_25 <= 1
+d0_26 +d9_26 <= 1
+d0_27 +d9_27 <= 1
+d0_28 +d9_28 <= 1
+d0_29 +d9_29 <= 1
+d0_0 +d11_0 <= 1
+d0_1 +d11_1 <= 1
+d0_2 +d11_2 <= 1
+d0_3 +d11_3 <= 1
+d0_4 +d11_4 <= 1
+d0_5 +d11_5 <= 1
+d0_6 +d11_6 <= 1
+d0_7 +d11_7 <= 1
+d0_8 +d11_8 <= 1
+d0_9 +d11_9 <= 1
+d0_10 +d11_10 <= 1
+d0_11 +d11_11 <= 1
+d0_12 +d11_12 <= 1
+d0_13 +d11_13 <= 1
+d0_14 +d11_14 <= 1
+d0_15 +d11_15 <= 1
+d0_16 +d11_16 <= 1
+d0_17 +d11_17 <= 1
+d0_18 +d11_18 <= 1
+d0_19 +d11_19 <= 1
+d0_20 +d11_20 <= 1
+d0_21 +d11_21 <= 1
+d0_22 +d11_22 <= 1
+d0_23 +d11_23 <= 1
+d0_24 +d11_24 <= 1
+d0_25 +d11_25 <= 1
+d0_26 +d11_26 <= 1
+d0_27 +d11_27 <= 1
+d0_28 +d11_28 <= 1
+d0_29 +d11_29 <= 1
+d1_0 +d4_0 <= 1
+d1_1 +d4_1 <= 1
+d1_2 +d4_2 <= 1
+d1_3 +d4_3 <= 1
+d1_4 +d4_4 <= 1
+d1_5 +d4_5 <= 1
+d1_6 +d4_6 <= 1
+d1_7 +d4_7 <= 1
+d1_8 +d4_8 <= 1
+d1_9 +d4_9 <= 1
+d1_10 +d4_10 <= 1
+d1_11 +d4_11 <= 1
+d1_12 +d4_12 <= 1
+d1_13 +d4_13 <= 1
+d1_14 +d4_14 <= 1
+d1_15 +d4_15 <= 1
+d1_16 +d4_16 <= 1
+d1_17 +d4_17 <= 1
+d1_18 +d4_18 <= 1
+d1_19 +d4_19 <= 1
+d1_20 +d4_20 <= 1
+d1_21 +d4_21 <= 1
+d1_22 +d4_22 <= 1
+d1_23 +d4_23 <= 1
+d1_24 +d4_24 <= 1
+d1_25 +d4_25 <= 1
+d1_26 +d4_26 <= 1
+d1_27 +d4_27 <= 1
+d1_28 +d4_28 <= 1
+d1_29 +d4_29 <= 1
+d1_0 +d5_0 <= 1
+d1_1 +d5_1 <= 1
+d1_2 +d5_2 <= 1
+d1_3 +d5_3 <= 1
+d1_4 +d5_4 <= 1
+d1_5 +d5_5 <= 1
+d1_6 +d5_6 <= 1
+d1_7 +d5_7 <= 1
+d1_8 +d5_8 <= 1
+d1_9 +d5_9 <= 1
+d1_10 +d5_10 <= 1
+d1_11 +d5_11 <= 1
+d1_12 +d5_12 <= 1
+d1_13 +d5_13 <= 1
+d1_14 +d5_14 <= 1
+d1_15 +d5_15 <= 1
+d1_16 +d5_16 <= 1
+d1_17 +d5_17 <= 1
+d1_18 +d5_18 <= 1
+d1_19 +d5_19 <= 1
+d1_20 +d5_20 <= 1
+d1_21 +d5_21 <= 1
+d1_22 +d5_22 <= 1
+d1_23 +d5_23 <= 1
+d1_24 +d5_24 <= 1
+d1_25 +d5_25 <= 1
+d1_26 +d5_26 <= 1
+d1_27 +d5_27 <= 1
+d1_28 +d5_28 <= 1
+d1_29 +d5_29 <= 1
+d1_0 +d6_0 <= 1
+d1_1 +d6_1 <= 1
+d1_2 +d6_2 <= 1
+d1_3 +d6_3 <= 1
+d1_4 +d6_4 <= 1
+d1_5 +d6_5 <= 1
+d1_6 +d6_6 <= 1
+d1_7 +d6_7 <= 1
+d1_8 +d6_8 <= 1
+d1_9 +d6_9 <= 1
+d1_10 +d6_10 <= 1
+d1_11 +d6_11 <= 1
+d1_12 +d6_12 <= 1
+d1_13 +d6_13 <= 1
+d1_14 +d6_14 <= 1
+d1_15 +d6_15 <= 1
+d1_16 +d6_16 <= 1
+d1_17 +d6_17 <= 1
+d1_18 +d6_18 <= 1
+d1_19 +d6_19 <= 1
+d1_20 +d6_20 <= 1
+d1_21 +d6_21 <= 1
+d1_22 +d6_22 <= 1
+d1_23 +d6_23 <= 1
+d1_24 +d6_24 <= 1
+d1_25 +d6_25 <= 1
+d1_26 +d6_26 <= 1
+d1_27 +d6_27 <= 1
+d1_28 +d6_28 <= 1
+d1_29 +d6_29 <= 1
+d1_0 +d7_0 <= 1
+d1_1 +d7_1 <= 1
+d1_2 +d7_2 <= 1
+d1_3 +d7_3 <= 1
+d1_4 +d7_4 <= 1
+d1_5 +d7_5 <= 1
+d1_6 +d7_6 <= 1
+d1_7 +d7_7 <= 1
+d1_8 +d7_8 <= 1
+d1_9 +d7_9 <= 1
+d1_10 +d7_10 <= 1
+d1_11 +d7_11 <= 1
+d1_12 +d7_12 <= 1
+d1_13 +d7_13 <= 1
+d1_14 +d7_14 <= 1
+d1_15 +d7_15 <= 1
+d1_16 +d7_16 <= 1
+d1_17 +d7_17 <= 1
+d1_18 +d7_18 <= 1
+d1_19 +d7_19 <= 1
+d1_20 +d7_20 <= 1
+d1_21 +d7_21 <= 1
+d1_22 +d7_22 <= 1
+d1_23 +d7_23 <= 1
+d1_24 +d7_24 <= 1
+d1_25 +d7_25 <= 1
+d1_26 +d7_26 <= 1
+d1_27 +d7_27 <= 1
+d1_28 +d7_28 <= 1
+d1_29 +d7_29 <= 1
+d1_0 +d8_0 <= 1
+d1_1 +d8_1 <= 1
+d1_2 +d8_2 <= 1
+d1_3 +d8_3 <= 1
+d1_4 +d8_4 <= 1
+d1_5 +d8_5 <= 1
+d1_6 +d8_6 <= 1
+d1_7 +d8_7 <= 1
+d1_8 +d8_8 <= 1
+d1_9 +d8_9 <= 1
+d1_10 +d8_10 <= 1
+d1_11 +d8_11 <= 1
+d1_12 +d8_12 <= 1
+d1_13 +d8_13 <= 1
+d1_14 +d8_14 <= 1
+d1_15 +d8_15 <= 1
+d1_16 +d8_16 <= 1
+d1_17 +d8_17 <= 1
+d1_18 +d8_18 <= 1
+d1_19 +d8_19 <= 1
+d1_20 +d8_20 <= 1
+d1_21 +d8_21 <= 1
+d1_22 +d8_22 <= 1
+d1_23 +d8_23 <= 1
+d1_24 +d8_24 <= 1
+d1_25 +d8_25 <= 1
+d1_26 +d8_26 <= 1
+d1_27 +d8_27 <= 1
+d1_28 +d8_28 <= 1
+d1_29 +d8_29 <= 1
+d1_0 +d9_0 <= 1
+d1_1 +d9_1 <= 1
+d1_2 +d9_2 <= 1
+d1_3 +d9_3 <= 1
+d1_4 +d9_4 <= 1
+d1_5 +d9_5 <= 1
+d1_6 +d9_6 <= 1
+d1_7 +d9_7 <= 1
+d1_8 +d9_8 <= 1
+d1_9 +d9_9 <= 1
+d1_10 +d9_10 <= 1
+d1_11 +d9_11 <= 1
+d1_12 +d9_12 <= 1
+d1_13 +d9_13 <= 1
+d1_14 +d9_14 <= 1
+d1_15 +d9_15 <= 1
+d1_16 +d9_16 <= 1
+d1_17 +d9_17 <= 1
+d1_18 +d9_18 <= 1
+d1_19 +d9_19 <= 1
+d1_20 +d9_20 <= 1
+d1_21 +d9_21 <= 1
+d1_22 +d9_22 <= 1
+d1_23 +d9_23 <= 1
+d1_24 +d9_24 <= 1
+d1_25 +d9_25 <= 1
+d1_26 +d9_26 <= 1
+d1_27 +d9_27 <= 1
+d1_28 +d9_28 <= 1
+d1_29 +d9_29 <= 1
+d1_0 +d11_0 <= 1
+d1_1 +d11_1 <= 1
+d1_2 +d11_2 <= 1
+d1_3 +d11_3 <= 1
+d1_4 +d11_4 <= 1
+d1_5 +d11_5 <= 1
+d1_6 +d11_6 <= 1
+d1_7 +d11_7 <= 1
+d1_8 +d11_8 <= 1
+d1_9 +d11_9 <= 1
+d1_10 +d11_10 <= 1
+d1_11 +d11_11 <= 1
+d1_12 +d11_12 <= 1
+d1_13 +d11_13 <= 1
+d1_14 +d11_14 <= 1
+d1_15 +d11_15 <= 1
+d1_16 +d11_16 <= 1
+d1_17 +d11_17 <= 1
+d1_18 +d11_18 <= 1
+d1_19 +d11_19 <= 1
+d1_20 +d11_20 <= 1
+d1_21 +d11_21 <= 1
+d1_22 +d11_22 <= 1
+d1_23 +d11_23 <= 1
+d1_24 +d11_24 <= 1
+d1_25 +d11_25 <= 1
+d1_26 +d11_26 <= 1
+d1_27 +d11_27 <= 1
+d1_28 +d11_28 <= 1
+d1_29 +d11_29 <= 1
+d2_0 +d5_0 <= 1
+d2_1 +d5_1 <= 1
+d2_2 +d5_2 <= 1
+d2_3 +d5_3 <= 1
+d2_4 +d5_4 <= 1
+d2_5 +d5_5 <= 1
+d2_6 +d5_6 <= 1
+d2_7 +d5_7 <= 1
+d2_8 +d5_8 <= 1
+d2_9 +d5_9 <= 1
+d2_10 +d5_10 <= 1
+d2_11 +d5_11 <= 1
+d2_12 +d5_12 <= 1
+d2_13 +d5_13 <= 1
+d2_14 +d5_14 <= 1
+d2_15 +d5_15 <= 1
+d2_16 +d5_16 <= 1
+d2_17 +d5_17 <= 1
+d2_18 +d5_18 <= 1
+d2_19 +d5_19 <= 1
+d2_20 +d5_20 <= 1
+d2_21 +d5_21 <= 1
+d2_22 +d5_22 <= 1
+d2_23 +d5_23 <= 1
+d2_24 +d5_24 <= 1
+d2_25 +d5_25 <= 1
+d2_26 +d5_26 <= 1
+d2_27 +d5_27 <= 1
+d2_28 +d5_28 <= 1
+d2_29 +d5_29 <= 1
+d2_0 +d6_0 <= 1
+d2_1 +d6_1 <= 1
+d2_2 +d6_2 <= 1
+d2_3 +d6_3 <= 1
+d2_4 +d6_4 <= 1
+d2_5 +d6_5 <= 1
+d2_6 +d6_6 <= 1
+d2_7 +d6_7 <= 1
+d2_8 +d6_8 <= 1
+d2_9 +d6_9 <= 1
+d2_10 +d6_10 <= 1
+d2_11 +d6_11 <= 1
+d2_12 +d6_12 <= 1
+d2_13 +d6_13 <= 1
+d2_14 +d6_14 <= 1
+d2_15 +d6_15 <= 1
+d2_16 +d6_16 <= 1
+d2_17 +d6_17 <= 1
+d2_18 +d6_18 <= 1
+d2_19 +d6_19 <= 1
+d2_20 +d6_20 <= 1
+d2_21 +d6_21 <= 1
+d2_22 +d6_22 <= 1
+d2_23 +d6_23 <= 1
+d2_24 +d6_24 <= 1
+d2_25 +d6_25 <= 1
+d2_26 +d6_26 <= 1
+d2_27 +d6_27 <= 1
+d2_28 +d6_28 <= 1
+d2_29 +d6_29 <= 1
+d2_0 +d7_0 <= 1
+d2_1 +d7_1 <= 1
+d2_2 +d7_2 <= 1
+d2_3 +d7_3 <= 1
+d2_4 +d7_4 <= 1
+d2_5 +d7_5 <= 1
+d2_6 +d7_6 <= 1
+d2_7 +d7_7 <= 1
+d2_8 +d7_8 <= 1
+d2_9 +d7_9 <= 1
+d2_10 +d7_10 <= 1
+d2_11 +d7_11 <= 1
+d2_12 +d7_12 <= 1
+d2_13 +d7_13 <= 1
+d2_14 +d7_14 <= 1
+d2_15 +d7_15 <= 1
+d2_16 +d7_16 <= 1
+d2_17 +d7_17 <= 1
+d2_18 +d7_18 <= 1
+d2_19 +d7_19 <= 1
+d2_20 +d7_20 <= 1
+d2_21 +d7_21 <= 1
+d2_22 +d7_22 <= 1
+d2_23 +d7_23 <= 1
+d2_24 +d7_24 <= 1
+d2_25 +d7_25 <= 1
+d2_26 +d7_26 <= 1
+d2_27 +d7_27 <= 1
+d2_28 +d7_28 <= 1
+d2_29 +d7_29 <= 1
+d2_0 +d8_0 <= 1
+d2_1 +d8_1 <= 1
+d2_2 +d8_2 <= 1
+d2_3 +d8_3 <= 1
+d2_4 +d8_4 <= 1
+d2_5 +d8_5 <= 1
+d2_6 +d8_6 <= 1
+d2_7 +d8_7 <= 1
+d2_8 +d8_8 <= 1
+d2_9 +d8_9 <= 1
+d2_10 +d8_10 <= 1
+d2_11 +d8_11 <= 1
+d2_12 +d8_12 <= 1
+d2_13 +d8_13 <= 1
+d2_14 +d8_14 <= 1
+d2_15 +d8_15 <= 1
+d2_16 +d8_16 <= 1
+d2_17 +d8_17 <= 1
+d2_18 +d8_18 <= 1
+d2_19 +d8_19 <= 1
+d2_20 +d8_20 <= 1
+d2_21 +d8_21 <= 1
+d2_22 +d8_22 <= 1
+d2_23 +d8_23 <= 1
+d2_24 +d8_24 <= 1
+d2_25 +d8_25 <= 1
+d2_26 +d8_26 <= 1
+d2_27 +d8_27 <= 1
+d2_28 +d8_28 <= 1
+d2_29 +d8_29 <= 1
+d2_0 +d9_0 <= 1
+d2_1 +d9_1 <= 1
+d2_2 +d9_2 <= 1
+d2_3 +d9_3 <= 1
+d2_4 +d9_4 <= 1
+d2_5 +d9_5 <= 1
+d2_6 +d9_6 <= 1
+d2_7 +d9_7 <= 1
+d2_8 +d9_8 <= 1
+d2_9 +d9_9 <= 1
+d2_10 +d9_10 <= 1
+d2_11 +d9_11 <= 1
+d2_12 +d9_12 <= 1
+d2_13 +d9_13 <= 1
+d2_14 +d9_14 <= 1
+d2_15 +d9_15 <= 1
+d2_16 +d9_16 <= 1
+d2_17 +d9_17 <= 1
+d2_18 +d9_18 <= 1
+d2_19 +d9_19 <= 1
+d2_20 +d9_20 <= 1
+d2_21 +d9_21 <= 1
+d2_22 +d9_22 <= 1
+d2_23 +d9_23 <= 1
+d2_24 +d9_24 <= 1
+d2_25 +d9_25 <= 1
+d2_26 +d9_26 <= 1
+d2_27 +d9_27 <= 1
+d2_28 +d9_28 <= 1
+d2_29 +d9_29 <= 1
+d2_0 +d11_0 <= 1
+d2_1 +d11_1 <= 1
+d2_2 +d11_2 <= 1
+d2_3 +d11_3 <= 1
+d2_4 +d11_4 <= 1
+d2_5 +d11_5 <= 1
+d2_6 +d11_6 <= 1
+d2_7 +d11_7 <= 1
+d2_8 +d11_8 <= 1
+d2_9 +d11_9 <= 1
+d2_10 +d11_10 <= 1
+d2_11 +d11_11 <= 1
+d2_12 +d11_12 <= 1
+d2_13 +d11_13 <= 1
+d2_14 +d11_14 <= 1
+d2_15 +d11_15 <= 1
+d2_16 +d11_16 <= 1
+d2_17 +d11_17 <= 1
+d2_18 +d11_18 <= 1
+d2_19 +d11_19 <= 1
+d2_20 +d11_20 <= 1
+d2_21 +d11_21 <= 1
+d2_22 +d11_22 <= 1
+d2_23 +d11_23 <= 1
+d2_24 +d11_24 <= 1
+d2_25 +d11_25 <= 1
+d2_26 +d11_26 <= 1
+d2_27 +d11_27 <= 1
+d2_28 +d11_28 <= 1
+d2_29 +d11_29 <= 1
+d3_0 +d6_0 <= 1
+d3_1 +d6_1 <= 1
+d3_2 +d6_2 <= 1
+d3_3 +d6_3 <= 1
+d3_4 +d6_4 <= 1
+d3_5 +d6_5 <= 1
+d3_6 +d6_6 <= 1
+d3_7 +d6_7 <= 1
+d3_8 +d6_8 <= 1
+d3_9 +d6_9 <= 1
+d3_10 +d6_10 <= 1
+d3_11 +d6_11 <= 1
+d3_12 +d6_12 <= 1
+d3_13 +d6_13 <= 1
+d3_14 +d6_14 <= 1
+d3_15 +d6_15 <= 1
+d3_16 +d6_16 <= 1
+d3_17 +d6_17 <= 1
+d3_18 +d6_18 <= 1
+d3_19 +d6_19 <= 1
+d3_20 +d6_20 <= 1
+d3_21 +d6_21 <= 1
+d3_22 +d6_22 <= 1
+d3_23 +d6_23 <= 1
+d3_24 +d6_24 <= 1
+d3_25 +d6_25 <= 1
+d3_26 +d6_26 <= 1
+d3_27 +d6_27 <= 1
+d3_28 +d6_28 <= 1
+d3_29 +d6_29 <= 1
+d3_0 +d7_0 <= 1
+d3_1 +d7_1 <= 1
+d3_2 +d7_2 <= 1
+d3_3 +d7_3 <= 1
+d3_4 +d7_4 <= 1
+d3_5 +d7_5 <= 1
+d3_6 +d7_6 <= 1
+d3_7 +d7_7 <= 1
+d3_8 +d7_8 <= 1
+d3_9 +d7_9 <= 1
+d3_10 +d7_10 <= 1
+d3_11 +d7_11 <= 1
+d3_12 +d7_12 <= 1
+d3_13 +d7_13 <= 1
+d3_14 +d7_14 <= 1
+d3_15 +d7_15 <= 1
+d3_16 +d7_16 <= 1
+d3_17 +d7_17 <= 1
+d3_18 +d7_18 <= 1
+d3_19 +d7_19 <= 1
+d3_20 +d7_20 <= 1
+d3_21 +d7_21 <= 1
+d3_22 +d7_22 <= 1
+d3_23 +d7_23 <= 1
+d3_24 +d7_24 <= 1
+d3_25 +d7_25 <= 1
+d3_26 +d7_26 <= 1
+d3_27 +d7_27 <= 1
+d3_28 +d7_28 <= 1
+d3_29 +d7_29 <= 1
+d3_0 +d8_0 <= 1
+d3_1 +d8_1 <= 1
+d3_2 +d8_2 <= 1
+d3_3 +d8_3 <= 1
+d3_4 +d8_4 <= 1
+d3_5 +d8_5 <= 1
+d3_6 +d8_6 <= 1
+d3_7 +d8_7 <= 1
+d3_8 +d8_8 <= 1
+d3_9 +d8_9 <= 1
+d3_10 +d8_10 <= 1
+d3_11 +d8_11 <= 1
+d3_12 +d8_12 <= 1
+d3_13 +d8_13 <= 1
+d3_14 +d8_14 <= 1
+d3_15 +d8_15 <= 1
+d3_16 +d8_16 <= 1
+d3_17 +d8_17 <= 1
+d3_18 +d8_18 <= 1
+d3_19 +d8_19 <= 1
+d3_20 +d8_20 <= 1
+d3_21 +d8_21 <= 1
+d3_22 +d8_22 <= 1
+d3_23 +d8_23 <= 1
+d3_24 +d8_24 <= 1
+d3_25 +d8_25 <= 1
+d3_26 +d8_26 <= 1
+d3_27 +d8_27 <= 1
+d3_28 +d8_28 <= 1
+d3_29 +d8_29 <= 1
+d3_0 +d9_0 <= 1
+d3_1 +d9_1 <= 1
+d3_2 +d9_2 <= 1
+d3_3 +d9_3 <= 1
+d3_4 +d9_4 <= 1
+d3_5 +d9_5 <= 1
+d3_6 +d9_6 <= 1
+d3_7 +d9_7 <= 1
+d3_8 +d9_8 <= 1
+d3_9 +d9_9 <= 1
+d3_10 +d9_10 <= 1
+d3_11 +d9_11 <= 1
+d3_12 +d9_12 <= 1
+d3_13 +d9_13 <= 1
+d3_14 +d9_14 <= 1
+d3_15 +d9_15 <= 1
+d3_16 +d9_16 <= 1
+d3_17 +d9_17 <= 1
+d3_18 +d9_18 <= 1
+d3_19 +d9_19 <= 1
+d3_20 +d9_20 <= 1
+d3_21 +d9_21 <= 1
+d3_22 +d9_22 <= 1
+d3_23 +d9_23 <= 1
+d3_24 +d9_24 <= 1
+d3_25 +d9_25 <= 1
+d3_26 +d9_26 <= 1
+d3_27 +d9_27 <= 1
+d3_28 +d9_28 <= 1
+d3_29 +d9_29 <= 1
+d3_0 +d11_0 <= 1
+d3_1 +d11_1 <= 1
+d3_2 +d11_2 <= 1
+d3_3 +d11_3 <= 1
+d3_4 +d11_4 <= 1
+d3_5 +d11_5 <= 1
+d3_6 +d11_6 <= 1
+d3_7 +d11_7 <= 1
+d3_8 +d11_8 <= 1
+d3_9 +d11_9 <= 1
+d3_10 +d11_10 <= 1
+d3_11 +d11_11 <= 1
+d3_12 +d11_12 <= 1
+d3_13 +d11_13 <= 1
+d3_14 +d11_14 <= 1
+d3_15 +d11_15 <= 1
+d3_16 +d11_16 <= 1
+d3_17 +d11_17 <= 1
+d3_18 +d11_18 <= 1
+d3_19 +d11_19 <= 1
+d3_20 +d11_20 <= 1
+d3_21 +d11_21 <= 1
+d3_22 +d11_22 <= 1
+d3_23 +d11_23 <= 1
+d3_24 +d11_24 <= 1
+d3_25 +d11_25 <= 1
+d3_26 +d11_26 <= 1
+d3_27 +d11_27 <= 1
+d3_28 +d11_28 <= 1
+d3_29 +d11_29 <= 1
+d4_0 +d7_0 <= 1
+d4_1 +d7_1 <= 1
+d4_2 +d7_2 <= 1
+d4_3 +d7_3 <= 1
+d4_4 +d7_4 <= 1
+d4_5 +d7_5 <= 1
+d4_6 +d7_6 <= 1
+d4_7 +d7_7 <= 1
+d4_8 +d7_8 <= 1
+d4_9 +d7_9 <= 1
+d4_10 +d7_10 <= 1
+d4_11 +d7_11 <= 1
+d4_12 +d7_12 <= 1
+d4_13 +d7_13 <= 1
+d4_14 +d7_14 <= 1
+d4_15 +d7_15 <= 1
+d4_16 +d7_16 <= 1
+d4_17 +d7_17 <= 1
+d4_18 +d7_18 <= 1
+d4_19 +d7_19 <= 1
+d4_20 +d7_20 <= 1
+d4_21 +d7_21 <= 1
+d4_22 +d7_22 <= 1
+d4_23 +d7_23 <= 1
+d4_24 +d7_24 <= 1
+d4_25 +d7_25 <= 1
+d4_26 +d7_26 <= 1
+d4_27 +d7_27 <= 1
+d4_28 +d7_28 <= 1
+d4_29 +d7_29 <= 1
+d4_0 +d8_0 <= 1
+d4_1 +d8_1 <= 1
+d4_2 +d8_2 <= 1
+d4_3 +d8_3 <= 1
+d4_4 +d8_4 <= 1
+d4_5 +d8_5 <= 1
+d4_6 +d8_6 <= 1
+d4_7 +d8_7 <= 1
+d4_8 +d8_8 <= 1
+d4_9 +d8_9 <= 1
+d4_10 +d8_10 <= 1
+d4_11 +d8_11 <= 1
+d4_12 +d8_12 <= 1
+d4_13 +d8_13 <= 1
+d4_14 +d8_14 <= 1
+d4_15 +d8_15 <= 1
+d4_16 +d8_16 <= 1
+d4_17 +d8_17 <= 1
+d4_18 +d8_18 <= 1
+d4_19 +d8_19 <= 1
+d4_20 +d8_20 <= 1
+d4_21 +d8_21 <= 1
+d4_22 +d8_22 <= 1
+d4_23 +d8_23 <= 1
+d4_24 +d8_24 <= 1
+d4_25 +d8_25 <= 1
+d4_26 +d8_26 <= 1
+d4_27 +d8_27 <= 1
+d4_28 +d8_28 <= 1
+d4_29 +d8_29 <= 1
+d4_0 +d9_0 <= 1
+d4_1 +d9_1 <= 1
+d4_2 +d9_2 <= 1
+d4_3 +d9_3 <= 1
+d4_4 +d9_4 <= 1
+d4_5 +d9_5 <= 1
+d4_6 +d9_6 <= 1
+d4_7 +d9_7 <= 1
+d4_8 +d9_8 <= 1
+d4_9 +d9_9 <= 1
+d4_10 +d9_10 <= 1
+d4_11 +d9_11 <= 1
+d4_12 +d9_12 <= 1
+d4_13 +d9_13 <= 1
+d4_14 +d9_14 <= 1
+d4_15 +d9_15 <= 1
+d4_16 +d9_16 <= 1
+d4_17 +d9_17 <= 1
+d4_18 +d9_18 <= 1
+d4_19 +d9_19 <= 1
+d4_20 +d9_20 <= 1
+d4_21 +d9_21 <= 1
+d4_22 +d9_22 <= 1
+d4_23 +d9_23 <= 1
+d4_24 +d9_24 <= 1
+d4_25 +d9_25 <= 1
+d4_26 +d9_26 <= 1
+d4_27 +d9_27 <= 1
+d4_28 +d9_28 <= 1
+d4_29 +d9_29 <= 1
+d4_0 +d11_0 <= 1
+d4_1 +d11_1 <= 1
+d4_2 +d11_2 <= 1
+d4_3 +d11_3 <= 1
+d4_4 +d11_4 <= 1
+d4_5 +d11_5 <= 1
+d4_6 +d11_6 <= 1
+d4_7 +d11_7 <= 1
+d4_8 +d11_8 <= 1
+d4_9 +d11_9 <= 1
+d4_10 +d11_10 <= 1
+d4_11 +d11_11 <= 1
+d4_12 +d11_12 <= 1
+d4_13 +d11_13 <= 1
+d4_14 +d11_14 <= 1
+d4_15 +d11_15 <= 1
+d4_16 +d11_16 <= 1
+d4_17 +d11_17 <= 1
+d4_18 +d11_18 <= 1
+d4_19 +d11_19 <= 1
+d4_20 +d11_20 <= 1
+d4_21 +d11_21 <= 1
+d4_22 +d11_22 <= 1
+d4_23 +d11_23 <= 1
+d4_24 +d11_24 <= 1
+d4_25 +d11_25 <= 1
+d4_26 +d11_26 <= 1
+d4_27 +d11_27 <= 1
+d4_28 +d11_28 <= 1
+d4_29 +d11_29 <= 1
+d5_0 +d8_0 <= 1
+d5_1 +d8_1 <= 1
+d5_2 +d8_2 <= 1
+d5_3 +d8_3 <= 1
+d5_4 +d8_4 <= 1
+d5_5 +d8_5 <= 1
+d5_6 +d8_6 <= 1
+d5_7 +d8_7 <= 1
+d5_8 +d8_8 <= 1
+d5_9 +d8_9 <= 1
+d5_10 +d8_10 <= 1
+d5_11 +d8_11 <= 1
+d5_12 +d8_12 <= 1
+d5_13 +d8_13 <= 1
+d5_14 +d8_14 <= 1
+d5_15 +d8_15 <= 1
+d5_16 +d8_16 <= 1
+d5_17 +d8_17 <= 1
+d5_18 +d8_18 <= 1
+d5_19 +d8_19 <= 1
+d5_20 +d8_20 <= 1
+d5_21 +d8_21 <= 1
+d5_22 +d8_22 <= 1
+d5_23 +d8_23 <= 1
+d5_24 +d8_24 <= 1
+d5_25 +d8_25 <= 1
+d5_26 +d8_26 <= 1
+d5_27 +d8_27 <= 1
+d5_28 +d8_28 <= 1
+d5_29 +d8_29 <= 1
+d5_0 +d9_0 <= 1
+d5_1 +d9_1 <= 1
+d5_2 +d9_2 <= 1
+d5_3 +d9_3 <= 1
+d5_4 +d9_4 <= 1
+d5_5 +d9_5 <= 1
+d5_6 +d9_6 <= 1
+d5_7 +d9_7 <= 1
+d5_8 +d9_8 <= 1
+d5_9 +d9_9 <= 1
+d5_10 +d9_10 <= 1
+d5_11 +d9_11 <= 1
+d5_12 +d9_12 <= 1
+d5_13 +d9_13 <= 1
+d5_14 +d9_14 <= 1
+d5_15 +d9_15 <= 1
+d5_16 +d9_16 <= 1
+d5_17 +d9_17 <= 1
+d5_18 +d9_18 <= 1
+d5_19 +d9_19 <= 1
+d5_20 +d9_20 <= 1
+d5_21 +d9_21 <= 1
+d5_22 +d9_22 <= 1
+d5_23 +d9_23 <= 1
+d5_24 +d9_24 <= 1
+d5_25 +d9_25 <= 1
+d5_26 +d9_26 <= 1
+d5_27 +d9_27 <= 1
+d5_28 +d9_28 <= 1
+d5_29 +d9_29 <= 1
+d5_0 +d11_0 <= 1
+d5_1 +d11_1 <= 1
+d5_2 +d11_2 <= 1
+d5_3 +d11_3 <= 1
+d5_4 +d11_4 <= 1
+d5_5 +d11_5 <= 1
+d5_6 +d11_6 <= 1
+d5_7 +d11_7 <= 1
+d5_8 +d11_8 <= 1
+d5_9 +d11_9 <= 1
+d5_10 +d11_10 <= 1
+d5_11 +d11_11 <= 1
+d5_12 +d11_12 <= 1
+d5_13 +d11_13 <= 1
+d5_14 +d11_14 <= 1
+d5_15 +d11_15 <= 1
+d5_16 +d11_16 <= 1
+d5_17 +d11_17 <= 1
+d5_18 +d11_18 <= 1
+d5_19 +d11_19 <= 1
+d5_20 +d11_20 <= 1
+d5_21 +d11_21 <= 1
+d5_22 +d11_22 <= 1
+d5_23 +d11_23 <= 1
+d5_24 +d11_24 <= 1
+d5_25 +d11_25 <= 1
+d5_26 +d11_26 <= 1
+d5_27 +d11_27 <= 1
+d5_28 +d11_28 <= 1
+d5_29 +d11_29 <= 1
+d6_0 +d9_0 <= 1
+d6_1 +d9_1 <= 1
+d6_2 +d9_2 <= 1
+d6_3 +d9_3 <= 1
+d6_4 +d9_4 <= 1
+d6_5 +d9_5 <= 1
+d6_6 +d9_6 <= 1
+d6_7 +d9_7 <= 1
+d6_8 +d9_8 <= 1
+d6_9 +d9_9 <= 1
+d6_10 +d9_10 <= 1
+d6_11 +d9_11 <= 1
+d6_12 +d9_12 <= 1
+d6_13 +d9_13 <= 1
+d6_14 +d9_14 <= 1
+d6_15 +d9_15 <= 1
+d6_16 +d9_16 <= 1
+d6_17 +d9_17 <= 1
+d6_18 +d9_18 <= 1
+d6_19 +d9_19 <= 1
+d6_20 +d9_20 <= 1
+d6_21 +d9_21 <= 1
+d6_22 +d9_22 <= 1
+d6_23 +d9_23 <= 1
+d6_24 +d9_24 <= 1
+d6_25 +d9_25 <= 1
+d6_26 +d9_26 <= 1
+d6_27 +d9_27 <= 1
+d6_28 +d9_28 <= 1
+d6_29 +d9_29 <= 1
+d6_0 +d11_0 <= 1
+d6_1 +d11_1 <= 1
+d6_2 +d11_2 <= 1
+d6_3 +d11_3 <= 1
+d6_4 +d11_4 <= 1
+d6_5 +d11_5 <= 1
+d6_6 +d11_6 <= 1
+d6_7 +d11_7 <= 1
+d6_8 +d11_8 <= 1
+d6_9 +d11_9 <= 1
+d6_10 +d11_10 <= 1
+d6_11 +d11_11 <= 1
+d6_12 +d11_12 <= 1
+d6_13 +d11_13 <= 1
+d6_14 +d11_14 <= 1
+d6_15 +d11_15 <= 1
+d6_16 +d11_16 <= 1
+d6_17 +d11_17 <= 1
+d6_18 +d11_18 <= 1
+d6_19 +d11_19 <= 1
+d6_20 +d11_20 <= 1
+d6_21 +d11_21 <= 1
+d6_22 +d11_22 <= 1
+d6_23 +d11_23 <= 1
+d6_24 +d11_24 <= 1
+d6_25 +d11_25 <= 1
+d6_26 +d11_26 <= 1
+d6_27 +d11_27 <= 1
+d6_28 +d11_28 <= 1
+d6_29 +d11_29 <= 1
+d7_0 +d11_0 <= 1
+d7_1 +d11_1 <= 1
+d7_2 +d11_2 <= 1
+d7_3 +d11_3 <= 1
+d7_4 +d11_4 <= 1
+d7_5 +d11_5 <= 1
+d7_6 +d11_6 <= 1
+d7_7 +d11_7 <= 1
+d7_8 +d11_8 <= 1
+d7_9 +d11_9 <= 1
+d7_10 +d11_10 <= 1
+d7_11 +d11_11 <= 1
+d7_12 +d11_12 <= 1
+d7_13 +d11_13 <= 1
+d7_14 +d11_14 <= 1
+d7_15 +d11_15 <= 1
+d7_16 +d11_16 <= 1
+d7_17 +d11_17 <= 1
+d7_18 +d11_18 <= 1
+d7_19 +d11_19 <= 1
+d7_20 +d11_20 <= 1
+d7_21 +d11_21 <= 1
+d7_22 +d11_22 <= 1
+d7_23 +d11_23 <= 1
+d7_24 +d11_24 <= 1
+d7_25 +d11_25 <= 1
+d7_26 +d11_26 <= 1
+d7_27 +d11_27 <= 1
+d7_28 +d11_28 <= 1
+d7_29 +d11_29 <= 1
+d8_0 +d11_0 <= 1
+d8_1 +d11_1 <= 1
+d8_2 +d11_2 <= 1
+d8_3 +d11_3 <= 1
+d8_4 +d11_4 <= 1
+d8_5 +d11_5 <= 1
+d8_6 +d11_6 <= 1
+d8_7 +d11_7 <= 1
+d8_8 +d11_8 <= 1
+d8_9 +d11_9 <= 1
+d8_10 +d11_10 <= 1
+d8_11 +d11_11 <= 1
+d8_12 +d11_12 <= 1
+d8_13 +d11_13 <= 1
+d8_14 +d11_14 <= 1
+d8_15 +d11_15 <= 1
+d8_16 +d11_16 <= 1
+d8_17 +d11_17 <= 1
+d8_18 +d11_18 <= 1
+d8_19 +d11_19 <= 1
+d8_20 +d11_20 <= 1
+d8_21 +d11_21 <= 1
+d8_22 +d11_22 <= 1
+d8_23 +d11_23 <= 1
+d8_24 +d11_24 <= 1
+d8_25 +d11_25 <= 1
+d8_26 +d11_26 <= 1
+d8_27 +d11_27 <= 1
+d8_28 +d11_28 <= 1
+d8_29 +d11_29 <= 1
+d0_0 +d12_0 <= 1
+d0_1 +d12_1 <= 1
+d0_2 +d12_2 <= 1
+d0_3 +d12_3 <= 1
+d0_4 +d12_4 <= 1
+d0_5 +d12_5 <= 1
+d0_6 +d12_6 <= 1
+d0_7 +d12_7 <= 1
+d0_8 +d12_8 <= 1
+d0_9 +d12_9 <= 1
+d0_10 +d12_10 <= 1
+d0_11 +d12_11 <= 1
+d0_12 +d12_12 <= 1
+d0_13 +d12_13 <= 1
+d0_14 +d12_14 <= 1
+d0_15 +d12_15 <= 1
+d0_16 +d12_16 <= 1
+d0_17 +d12_17 <= 1
+d0_18 +d12_18 <= 1
+d0_19 +d12_19 <= 1
+d0_20 +d12_20 <= 1
+d0_21 +d12_21 <= 1
+d0_22 +d12_22 <= 1
+d0_23 +d12_23 <= 1
+d0_24 +d12_24 <= 1
+d0_25 +d12_25 <= 1
+d0_26 +d12_26 <= 1
+d0_27 +d12_27 <= 1
+d0_28 +d12_28 <= 1
+d0_29 +d12_29 <= 1
+d1_0 +d12_0 <= 1
+d1_1 +d12_1 <= 1
+d1_2 +d12_2 <= 1
+d1_3 +d12_3 <= 1
+d1_4 +d12_4 <= 1
+d1_5 +d12_5 <= 1
+d1_6 +d12_6 <= 1
+d1_7 +d12_7 <= 1
+d1_8 +d12_8 <= 1
+d1_9 +d12_9 <= 1
+d1_10 +d12_10 <= 1
+d1_11 +d12_11 <= 1
+d1_12 +d12_12 <= 1
+d1_13 +d12_13 <= 1
+d1_14 +d12_14 <= 1
+d1_15 +d12_15 <= 1
+d1_16 +d12_16 <= 1
+d1_17 +d12_17 <= 1
+d1_18 +d12_18 <= 1
+d1_19 +d12_19 <= 1
+d1_20 +d12_20 <= 1
+d1_21 +d12_21 <= 1
+d1_22 +d12_22 <= 1
+d1_23 +d12_23 <= 1
+d1_24 +d12_24 <= 1
+d1_25 +d12_25 <= 1
+d1_26 +d12_26 <= 1
+d1_27 +d12_27 <= 1
+d1_28 +d12_28 <= 1
+d1_29 +d12_29 <= 1
+d2_0 +d12_0 <= 1
+d2_1 +d12_1 <= 1
+d2_2 +d12_2 <= 1
+d2_3 +d12_3 <= 1
+d2_4 +d12_4 <= 1
+d2_5 +d12_5 <= 1
+d2_6 +d12_6 <= 1
+d2_7 +d12_7 <= 1
+d2_8 +d12_8 <= 1
+d2_9 +d12_9 <= 1
+d2_10 +d12_10 <= 1
+d2_11 +d12_11 <= 1
+d2_12 +d12_12 <= 1
+d2_13 +d12_13 <= 1
+d2_14 +d12_14 <= 1
+d2_15 +d12_15 <= 1
+d2_16 +d12_16 <= 1
+d2_17 +d12_17 <= 1
+d2_18 +d12_18 <= 1
+d2_19 +d12_19 <= 1
+d2_20 +d12_20 <= 1
+d2_21 +d12_21 <= 1
+d2_22 +d12_22 <= 1
+d2_23 +d12_23 <= 1
+d2_24 +d12_24 <= 1
+d2_25 +d12_25 <= 1
+d2_26 +d12_26 <= 1
+d2_27 +d12_27 <= 1
+d2_28 +d12_28 <= 1
+d2_29 +d12_29 <= 1
+d3_0 +d12_0 <= 1
+d3_1 +d12_1 <= 1
+d3_2 +d12_2 <= 1
+d3_3 +d12_3 <= 1
+d3_4 +d12_4 <= 1
+d3_5 +d12_5 <= 1
+d3_6 +d12_6 <= 1
+d3_7 +d12_7 <= 1
+d3_8 +d12_8 <= 1
+d3_9 +d12_9 <= 1
+d3_10 +d12_10 <= 1
+d3_11 +d12_11 <= 1
+d3_12 +d12_12 <= 1
+d3_13 +d12_13 <= 1
+d3_14 +d12_14 <= 1
+d3_15 +d12_15 <= 1
+d3_16 +d12_16 <= 1
+d3_17 +d12_17 <= 1
+d3_18 +d12_18 <= 1
+d3_19 +d12_19 <= 1
+d3_20 +d12_20 <= 1
+d3_21 +d12_21 <= 1
+d3_22 +d12_22 <= 1
+d3_23 +d12_23 <= 1
+d3_24 +d12_24 <= 1
+d3_25 +d12_25 <= 1
+d3_26 +d12_26 <= 1
+d3_27 +d12_27 <= 1
+d3_28 +d12_28 <= 1
+d3_29 +d12_29 <= 1
+d4_0 +d12_0 <= 1
+d4_1 +d12_1 <= 1
+d4_2 +d12_2 <= 1
+d4_3 +d12_3 <= 1
+d4_4 +d12_4 <= 1
+d4_5 +d12_5 <= 1
+d4_6 +d12_6 <= 1
+d4_7 +d12_7 <= 1
+d4_8 +d12_8 <= 1
+d4_9 +d12_9 <= 1
+d4_10 +d12_10 <= 1
+d4_11 +d12_11 <= 1
+d4_12 +d12_12 <= 1
+d4_13 +d12_13 <= 1
+d4_14 +d12_14 <= 1
+d4_15 +d12_15 <= 1
+d4_16 +d12_16 <= 1
+d4_17 +d12_17 <= 1
+d4_18 +d12_18 <= 1
+d4_19 +d12_19 <= 1
+d4_20 +d12_20 <= 1
+d4_21 +d12_21 <= 1
+d4_22 +d12_22 <= 1
+d4_23 +d12_23 <= 1
+d4_24 +d12_24 <= 1
+d4_25 +d12_25 <= 1
+d4_26 +d12_26 <= 1
+d4_27 +d12_27 <= 1
+d4_28 +d12_28 <= 1
+d4_29 +d12_29 <= 1
+d5_0 +d12_0 <= 1
+d5_1 +d12_1 <= 1
+d5_2 +d12_2 <= 1
+d5_3 +d12_3 <= 1
+d5_4 +d12_4 <= 1
+d5_5 +d12_5 <= 1
+d5_6 +d12_6 <= 1
+d5_7 +d12_7 <= 1
+d5_8 +d12_8 <= 1
+d5_9 +d12_9 <= 1
+d5_10 +d12_10 <= 1
+d5_11 +d12_11 <= 1
+d5_12 +d12_12 <= 1
+d5_13 +d12_13 <= 1
+d5_14 +d12_14 <= 1
+d5_15 +d12_15 <= 1
+d5_16 +d12_16 <= 1
+d5_17 +d12_17 <= 1
+d5_18 +d12_18 <= 1
+d5_19 +d12_19 <= 1
+d5_20 +d12_20 <= 1
+d5_21 +d12_21 <= 1
+d5_22 +d12_22 <= 1
+d5_23 +d12_23 <= 1
+d5_24 +d12_24 <= 1
+d5_25 +d12_25 <= 1
+d5_26 +d12_26 <= 1
+d5_27 +d12_27 <= 1
+d5_28 +d12_28 <= 1
+d5_29 +d12_29 <= 1
+d6_0 +d12_0 <= 1
+d6_1 +d12_1 <= 1
+d6_2 +d12_2 <= 1
+d6_3 +d12_3 <= 1
+d6_4 +d12_4 <= 1
+d6_5 +d12_5 <= 1
+d6_6 +d12_6 <= 1
+d6_7 +d12_7 <= 1
+d6_8 +d12_8 <= 1
+d6_9 +d12_9 <= 1
+d6_10 +d12_10 <= 1
+d6_11 +d12_11 <= 1
+d6_12 +d12_12 <= 1
+d6_13 +d12_13 <= 1
+d6_14 +d12_14 <= 1
+d6_15 +d12_15 <= 1
+d6_16 +d12_16 <= 1
+d6_17 +d12_17 <= 1
+d6_18 +d12_18 <= 1
+d6_19 +d12_19 <= 1
+d6_20 +d12_20 <= 1
+d6_21 +d12_21 <= 1
+d6_22 +d12_22 <= 1
+d6_23 +d12_23 <= 1
+d6_24 +d12_24 <= 1
+d6_25 +d12_25 <= 1
+d6_26 +d12_26 <= 1
+d6_27 +d12_27 <= 1
+d6_28 +d12_28 <= 1
+d6_29 +d12_29 <= 1
+d7_0 +d12_0 <= 1
+d7_1 +d12_1 <= 1
+d7_2 +d12_2 <= 1
+d7_3 +d12_3 <= 1
+d7_4 +d12_4 <= 1
+d7_5 +d12_5 <= 1
+d7_6 +d12_6 <= 1
+d7_7 +d12_7 <= 1
+d7_8 +d12_8 <= 1
+d7_9 +d12_9 <= 1
+d7_10 +d12_10 <= 1
+d7_11 +d12_11 <= 1
+d7_12 +d12_12 <= 1
+d7_13 +d12_13 <= 1
+d7_14 +d12_14 <= 1
+d7_15 +d12_15 <= 1
+d7_16 +d12_16 <= 1
+d7_17 +d12_17 <= 1
+d7_18 +d12_18 <= 1
+d7_19 +d12_19 <= 1
+d7_20 +d12_20 <= 1
+d7_21 +d12_21 <= 1
+d7_22 +d12_22 <= 1
+d7_23 +d12_23 <= 1
+d7_24 +d12_24 <= 1
+d7_25 +d12_25 <= 1
+d7_26 +d12_26 <= 1
+d7_27 +d12_27 <= 1
+d7_28 +d12_28 <= 1
+d7_29 +d12_29 <= 1
+d8_0 +d12_0 <= 1
+d8_1 +d12_1 <= 1
+d8_2 +d12_2 <= 1
+d8_3 +d12_3 <= 1
+d8_4 +d12_4 <= 1
+d8_5 +d12_5 <= 1
+d8_6 +d12_6 <= 1
+d8_7 +d12_7 <= 1
+d8_8 +d12_8 <= 1
+d8_9 +d12_9 <= 1
+d8_10 +d12_10 <= 1
+d8_11 +d12_11 <= 1
+d8_12 +d12_12 <= 1
+d8_13 +d12_13 <= 1
+d8_14 +d12_14 <= 1
+d8_15 +d12_15 <= 1
+d8_16 +d12_16 <= 1
+d8_17 +d12_17 <= 1
+d8_18 +d12_18 <= 1
+d8_19 +d12_19 <= 1
+d8_20 +d12_20 <= 1
+d8_21 +d12_21 <= 1
+d8_22 +d12_22 <= 1
+d8_23 +d12_23 <= 1
+d8_24 +d12_24 <= 1
+d8_25 +d12_25 <= 1
+d8_26 +d12_26 <= 1
+d8_27 +d12_27 <= 1
+d8_28 +d12_28 <= 1
+d8_29 +d12_29 <= 1
+d9_0 +d11_0 <= 1
+d9_1 +d11_1 <= 1
+d9_2 +d11_2 <= 1
+d9_3 +d11_3 <= 1
+d9_4 +d11_4 <= 1
+d9_5 +d11_5 <= 1
+d9_6 +d11_6 <= 1
+d9_7 +d11_7 <= 1
+d9_8 +d11_8 <= 1
+d9_9 +d11_9 <= 1
+d9_10 +d11_10 <= 1
+d9_11 +d11_11 <= 1
+d9_12 +d11_12 <= 1
+d9_13 +d11_13 <= 1
+d9_14 +d11_14 <= 1
+d9_15 +d11_15 <= 1
+d9_16 +d11_16 <= 1
+d9_17 +d11_17 <= 1
+d9_18 +d11_18 <= 1
+d9_19 +d11_19 <= 1
+d9_20 +d11_20 <= 1
+d9_21 +d11_21 <= 1
+d9_22 +d11_22 <= 1
+d9_23 +d11_23 <= 1
+d9_24 +d11_24 <= 1
+d9_25 +d11_25 <= 1
+d9_26 +d11_26 <= 1
+d9_27 +d11_27 <= 1
+d9_28 +d11_28 <= 1
+d9_29 +d11_29 <= 1