\ Equation counts \ Total E G L N X C B \ 20 20 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 100 0 100 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 300 200 100 0 \ Minimize obj: 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + [ 5964 b2 * b3 + 26980 b2 * b4 + 23288 b2 * b5 + 15904 b2 * b6 + 11644 b2 * b7 + 1704 b2 * b8 + 7100 b2 * b9 + 2840 b2 * b10 + 1136 b2 * b11 + 924 b2 * b12 + 4180 b2 * b13 + 3608 b2 * b14 + 2464 b2 * b15 + 1804 b2 * b16 + 264 b2 * b17 + 1100 b2 * b18 + 440 b2 * b19 + 176 b2 * b20 + 2436 b2 * b21 + 11020 b2 * b22 + 9512 b2 * b23 + 6496 b2 * b24 + 4756 b2 * b25 + 696 b2 * b26 + 2900 b2 * b27 + 1160 b2 * b28 + 464 b2 * b29 + 6888 b2 * b30 + 31160 b2 * b31 + 26896 b2 * b32 + 18368 b2 * b33 + 13448 b2 * b34 + 1968 b2 * b35 + 8200 b2 * b36 + 3280 b2 * b37 + 1312 b2 * b38 + 6888 b2 * b39 + 31160 b2 * b40 + 26896 b2 * b41 + 18368 b2 * b42 + 13448 b2 * b43 + 1968 b2 * b44 + 8200 b2 * b45 + 3280 b2 * b46 + 1312 b2 * b47 + 504 b2 * b48 + 2280 b2 * b49 + 1968 b2 * b50 + 1344 b2 * b51 + 984 b2 * b52 + 144 b2 * b53 + 600 b2 * b54 + 240 b2 * b55 + 96 b2 * b56 + 5964 b2 * b57 + 26980 b2 * b58 + 23288 b2 * b59 + 15904 b2 * b60 + 11644 b2 * b61 + 1704 b2 * b62 + 7100 b2 * b63 + 2840 b2 * b64 + 1136 b2 * b65 + 672 b2 * b66 + 3040 b2 * b67 + 2624 b2 * b68 + 1792 b2 * b69 + 1312 b2 * b70 + 192 b2 * b71 + 800 b2 * b72 + 320 b2 * b73 + 128 b2 * b74 + 6468 b2 * b75 + 29260 b2 * b76 + 25256 b2 * b77 + 17248 b2 * b78 + 12628 b2 * b79 + 1848 b2 * b80 + 7700 b2 * b81 + 3080 b2 * b82 + 1232 b2 * b83 + 18648 b3 * b13 + 1776 b3 * b14 + 13024 b3 * b15 + 11840 b3 * b16 + 22200 b3 * b17 + 23384 b3 * b18 + 26344 b3 * b20 + 7560 b3 * b22 + 720 b3 * b23 + 5280 b3 * b24 + 4800 b3 * b25 + 9000 b3 * b26 + 9480 b3 * b27 + 10680 b3 * b29 + 22428 b3 * b31 + 2136 b3 * b32 + 15664 b3 * b33 + 14240 b3 * b34 + 26700 b3 * b35 + 28124 b3 * b36 + 31684 b3 * b38 + 19152 b3 * b40 + 1824 b3 * b41 + 13376 b3 * b42 + 12160 b3 * b43 + 22800 b3 * b44 + 24016 b3 * b45 + 27056 b3 * b47 + 19152 b3 * b49 + 1824 b3 * b50 + 13376 b3 * b51 + 12160 b3 * b52 + 22800 b3 * b53 + 24016 b3 * b54 + 27056 b3 * b56 + 10080 b3 * b58 + 960 b3 * b59 + 7040 b3 * b60 + 6400 b3 * b61 + 12000 b3 * b62 + 12640 b3 * b63 + 14240 b3 * b65 + 23436 b3 * b67 + 2232 b3 * b68 + 16368 b3 * b69 + 14880 b3 * b70 + 27900 b3 * b71 + 29388 b3 * b72 + 33108 b3 * b74 + 14112 b3 * b76 + 1344 b3 * b77 + 9856 b3 * b78 + 8960 b3 * b79 + 16800 b3 * b80 + 17696 b3 * b81 + 19936 b3 * b83 + 6216 b3 * b84 + 2520 b3 * b85 + 7476 b3 * b86 + 6384 b3 * b87 + 6384 b3 * b88 + 3360 b3 * b89 + 7812 b3 * b90 + 4704 b3 * b91 + 17892 b3 * b92 + 1704 b3 * b93 + 12496 b3 * b94 + 11360 b3 * b95 + 21300 b3 * b96 + 22436 b3 * b97 + 25276 b3 * b98 + 18648 b4 * b12 + 10360 b4 * b14 + 2664 b4 * b15 + 296 b4 * b16 + 25160 b4 * b17 + 24864 b4 * b18 + 3552 b4 * b19 + 7560 b4 * b21 + 4200 b4 * b23 + 1080 b4 * b24 + 120 b4 * b25 + 10200 b4 * b26 + 10080 b4 * b27 + 1440 b4 * b28 + 22428 b4 * b30 + 12460 b4 * b32 + 3204 b4 * b33 + 356 b4 * b34 + 30260 b4 * b35 + 29904 b4 * b36 + 4272 b4 * b37 + 19152 b4 * b39 + 10640 b4 * b41 + 2736 b4 * b42 + 304 b4 * b43 + 25840 b4 * b44 + 25536 b4 * b45 + 3648 b4 * b46 + 19152 b4 * b48 + 10640 b4 * b50 + 2736 b4 * b51 + 304 b4 * b52 + 25840 b4 * b53 + 25536 b4 * b54 + 3648 b4 * b55 + 10080 b4 * b57 + 5600 b4 * b59 + 1440 b4 * b60 + 160 b4 * b61 + 13600 b4 * b62 + 13440 b4 * b63 + 1920 b4 * b64 + 23436 b4 * b66 + 13020 b4 * b68 + 3348 b4 * b69 + 372 b4 * b70 + 31620 b4 * b71 + 31248 b4 * b72 + 4464 b4 * b73 + 14112 b4 * b75 + 7840 b4 * b77 + 2016 b4 * b78 + 224 b4 * b79 + 19040 b4 * b80 + 18816 b4 * b81 + 2688 b4 * b82 + 28120 b4 * b84 + 11400 b4 * b85 + 33820 b4 * b86 + 28880 b4 * b87 + 28880 b4 * b88 + 15200 b4 * b89 + 35340 b4 * b90 + 21280 b4 * b91 + 9940 b4 * b93 + 2556 b4 * b94 + 284 b4 * b95 + 24140 b4 * b96 + 23856 b4 * b97 + 17892 b4 * b99 + 3408 b4 * b100 + 1776 b5 * b12 + 10360 b5 * b13 + 7696 b5 * b15 + 26936 b5 * b16 + 3256 b5 * b17 + 10360 b5 * b18 + 24272 b5 * b19 + 7696 b5 * b20 + 720 b5 * b21 + 4200 b5 * b22 + 3120 b5 * b24 + 10920 b5 * b25 + 1320 b5 * b26 + 4200 b5 * b27 + 9840 b5 * b28 + 3120 b5 * b29 + 2136 b5 * b30 + 12460 b5 * b31 + 9256 b5 * b33 + 32396 b5 * b34 + 3916 b5 * b35 + 12460 b5 * b36 + 29192 b5 * b37 + 9256 b5 * b38 + 1824 b5 * b39 + 10640 b5 * b40 + 7904 b5 * b42 + 27664 b5 * b43 + 3344 b5 * b44 + 10640 b5 * b45 + 24928 b5 * b46 + 7904 b5 * b47 + 1824 b5 * b48 + 10640 b5 * b49 + 7904 b5 * b51 + 27664 b5 * b52 + 3344 b5 * b53 + 10640 b5 * b54 + 24928 b5 * b55 + 7904 b5 * b56 + 960 b5 * b57 + 5600 b5 * b58 + 4160 b5 * b60 + 14560 b5 * b61 + 1760 b5 * b62 + 5600 b5 * b63 + 13120 b5 * b64 + 4160 b5 * b65 + 2232 b5 * b66 + 13020 b5 * b67 + 9672 b5 * b69 + 33852 b5 * b70 + 4092 b5 * b71 + 13020 b5 * b72 + 30504 b5 * b73 + 9672 b5 * b74 + 1344 b5 * b75 + 7840 b5 * b76 + 5824 b5 * b78 + 20384 b5 * b79 + 2464 b5 * b80 + 7840 b5 * b81 + 18368 b5 * b82 + 5824 b5 * b83 + 24272 b5 * b84 + 9840 b5 * b85 + 29192 b5 * b86 + 24928 b5 * b87 + 24928 b5 * b88 + 13120 b5 * b89 + 30504 b5 * b90 + 18368 b5 * b91 + 9940 b5 * b92 + 7384 b5 * b94 + 25844 b5 * b95 + 3124 b5 * b96 + 9940 b5 * b97 + 7384 b5 * b98 + 1704 b5 * b99 + 23288 b5 * b100 + 13024 b6 * b12 + 2664 b6 * b13 + 7696 b6 * b14 + 20424 b6 * b16 + 16576 b6 * b17 + 25456 b6 * b18 + 13320 b6 * b19 + 26936 b6 * b20 + 5280 b6 * b21 + 1080 b6 * b22 + 3120 b6 * b23 + 8280 b6 * b25 + 6720 b6 * b26 + 10320 b6 * b27 + 5400 b6 * b28 + 10920 b6 * b29 + 15664 b6 * b30 + 3204 b6 * b31 + 9256 b6 * b32 + 24564 b6 * b34 + 19936 b6 * b35 + 30616 b6 * b36 + 16020 b6 * b37 + 32396 b6 * b38 + 13376 b6 * b39 + 2736 b6 * b40 + 7904 b6 * b41 + 20976 b6 * b43 + 17024 b6 * b44 + 26144 b6 * b45 + 13680 b6 * b46 + 27664 b6 * b47 + 13376 b6 * b48 + 2736 b6 * b49 + 7904 b6 * b50 + 20976 b6 * b52 + 17024 b6 * b53 + 26144 b6 * b54 + 13680 b6 * b55 + 27664 b6 * b56 + 7040 b6 * b57 + 1440 b6 * b58 + 4160 b6 * b59 + 11040 b6 * b61 + 8960 b6 * b62 + 13760 b6 * b63 + 7200 b6 * b64 + 14560 b6 * b65 + 16368 b6 * b66 + 3348 b6 * b67 + 9672 b6 * b68 + 25668 b6 * b70 + 20832 b6 * b71 + 31992 b6 * b72 + 16740 b6 * b73 + 33852 b6 * b74 + 9856 b6 * b75 + 2016 b6 * b76 + 5824 b6 * b77 + 15456 b6 * b79 + 12544 b6 * b80 + 19264 b6 * b81 + 10080 b6 * b82 + 20384 b6 * b83 + 16576 b6 * b84 + 6720 b6 * b85 + 19936 b6 * b86 + 17024 b6 * b87 + 17024 b6 * b88 + 8960 b6 * b89 + 20832 b6 * b90 + 12544 b6 * b91 + 2556 b6 * b92 + 7384 b6 * b93 + 19596 b6 * b95 + 15904 b6 * b96 + 24424 b6 * b97 + 25844 b6 * b98 + 12496 b6 * b99 + 12780 b6 * b100 + 11840 b7 * b12 + 296 b7 * b13 + 26936 b7 * b14 + 20424 b7 * b15 + 17464 b7 * b17 + 5328 b7 * b18 + 22496 b7 * b19 + 11544 b7 * b20 + 4800 b7 * b21 + 120 b7 * b22 + 10920 b7 * b23 + 8280 b7 * b24 + 7080 b7 * b26 + 2160 b7 * b27 + 9120 b7 * b28 + 4680 b7 * b29 + 14240 b7 * b30 + 356 b7 * b31 + 32396 b7 * b32 + 24564 b7 * b33 + 21004 b7 * b35 + 6408 b7 * b36 + 27056 b7 * b37 + 13884 b7 * b38 + 12160 b7 * b39 + 304 b7 * b40 + 27664 b7 * b41 + 20976 b7 * b42 + 17936 b7 * b44 + 5472 b7 * b45 + 23104 b7 * b46 + 11856 b7 * b47 + 12160 b7 * b48 + 304 b7 * b49 + 27664 b7 * b50 + 20976 b7 * b51 + 17936 b7 * b53 + 5472 b7 * b54 + 23104 b7 * b55 + 11856 b7 * b56 + 6400 b7 * b57 + 160 b7 * b58 + 14560 b7 * b59 + 11040 b7 * b60 + 9440 b7 * b62 + 2880 b7 * b63 + 12160 b7 * b64 + 6240 b7 * b65 + 14880 b7 * b66 + 372 b7 * b67 + 33852 b7 * b68 + 25668 b7 * b69 + 21948 b7 * b71 + 6696 b7 * b72 + 28272 b7 * b73 + 14508 b7 * b74 + 8960 b7 * b75 + 224 b7 * b76 + 20384 b7 * b77 + 15456 b7 * b78 + 13216 b7 * b80 + 4032 b7 * b81 + 17024 b7 * b82 + 8736 b7 * b83 + 12136 b7 * b84 + 4920 b7 * b85 + 14596 b7 * b86 + 12464 b7 * b87 + 12464 b7 * b88 + 6560 b7 * b89 + 15252 b7 * b90 + 9184 b7 * b91 + 284 b7 * b92 + 25844 b7 * b93 + 19596 b7 * b94 + 16756 b7 * b96 + 5112 b7 * b97 + 11076 b7 * b98 + 11360 b7 * b99 + 21584 b7 * b100 + 22200 b8 * b12 + 25160 b8 * b13 + 3256 b8 * b14 + 16576 b8 * b15 + 17464 b8 * b16 + 5328 b8 * b18 + 16872 b8 * b19 + 10656 b8 * b20 + 9000 b8 * b21 + 10200 b8 * b22 + 1320 b8 * b23 + 6720 b8 * b24 + 7080 b8 * b25 + 2160 b8 * b27 + 6840 b8 * b28 + 4320 b8 * b29 + 26700 b8 * b30 + 30260 b8 * b31 + 3916 b8 * b32 + 19936 b8 * b33 + 21004 b8 * b34 + 6408 b8 * b36 + 20292 b8 * b37 + 12816 b8 * b38 + 22800 b8 * b39 + 25840 b8 * b40 + 3344 b8 * b41 + 17024 b8 * b42 + 17936 b8 * b43 + 5472 b8 * b45 + 17328 b8 * b46 + 10944 b8 * b47 + 22800 b8 * b48 + 25840 b8 * b49 + 3344 b8 * b50 + 17024 b8 * b51 + 17936 b8 * b52 + 5472 b8 * b54 + 17328 b8 * b55 + 10944 b8 * b56 + 12000 b8 * b57 + 13600 b8 * b58 + 1760 b8 * b59 + 8960 b8 * b60 + 9440 b8 * b61 + 2880 b8 * b63 + 9120 b8 * b64 + 5760 b8 * b65 + 27900 b8 * b66 + 31620 b8 * b67 + 4092 b8 * b68 + 20832 b8 * b69 + 21948 b8 * b70 + 6696 b8 * b72 + 21204 b8 * b73 + 13392 b8 * b74 + 16800 b8 * b75 + 19040 b8 * b76 + 2464 b8 * b77 + 12544 b8 * b78 + 13216 b8 * b79 + 4032 b8 * b81 + 12768 b8 * b82 + 8064 b8 * b83 + 1776 b8 * b84 + 720 b8 * b85 + 2136 b8 * b86 + 1824 b8 * b87 + 1824 b8 * b88 + 960 b8 * b89 + 2232 b8 * b90 + 1344 b8 * b91 + 24140 b8 * b92 + 3124 b8 * b93 + 15904 b8 * b94 + 16756 b8 * b95 + 5112 b8 * b97 + 10224 b8 * b98 + 21300 b8 * b99 + 16188 b8 * b100 + 23384 b9 * b12 + 24864 b9 * b13 + 10360 b9 * b14 + 25456 b9 * b15 + 5328 b9 * b16 + 5328 b9 * b17 + 18056 b9 * b19 + 10656 b9 * b20 + 9480 b9 * b21 + 10080 b9 * b22 + 4200 b9 * b23 + 10320 b9 * b24 + 2160 b9 * b25 + 2160 b9 * b26 + 7320 b9 * b28 + 4320 b9 * b29 + 28124 b9 * b30 + 29904 b9 * b31 + 12460 b9 * b32 + 30616 b9 * b33 + 6408 b9 * b34 + 6408 b9 * b35 + 21716 b9 * b37 + 12816 b9 * b38 + 24016 b9 * b39 + 25536 b9 * b40 + 10640 b9 * b41 + 26144 b9 * b42 + 5472 b9 * b43 + 5472 b9 * b44 + 18544 b9 * b46 + 10944 b9 * b47 + 24016 b9 * b48 + 25536 b9 * b49 + 10640 b9 * b50 + 26144 b9 * b51 + 5472 b9 * b52 + 5472 b9 * b53 + 18544 b9 * b55 + 10944 b9 * b56 + 12640 b9 * b57 + 13440 b9 * b58 + 5600 b9 * b59 + 13760 b9 * b60 + 2880 b9 * b61 + 2880 b9 * b62 + 9760 b9 * b64 + 5760 b9 * b65 + 29388 b9 * b66 + 31248 b9 * b67 + 13020 b9 * b68 + 31992 b9 * b69 + 6696 b9 * b70 + 6696 b9 * b71 + 22692 b9 * b73 + 13392 b9 * b74 + 17696 b9 * b75 + 18816 b9 * b76 + 7840 b9 * b77 + 19264 b9 * b78 + 4032 b9 * b79 + 4032 b9 * b80 + 13664 b9 * b82 + 8064 b9 * b83 + 7400 b9 * b84 + 3000 b9 * b85 + 8900 b9 * b86 + 7600 b9 * b87 + 7600 b9 * b88 + 4000 b9 * b89 + 9300 b9 * b90 + 5600 b9 * b91 + 23856 b9 * b92 + 9940 b9 * b93 + 24424 b9 * b94 + 5112 b9 * b95 + 5112 b9 * b96 + 10224 b9 * b98 + 22436 b9 * b99 + 17324 b9 * b100 + 3552 b10 * b13 + 24272 b10 * b14 + 13320 b10 * b15 + 22496 b10 * b16 + 16872 b10 * b17 + 18056 b10 * b18 + 6216 b10 * b20 + 1440 b10 * b22 + 9840 b10 * b23 + 5400 b10 * b24 + 9120 b10 * b25 + 6840 b10 * b26 + 7320 b10 * b27 + 2520 b10 * b29 + 4272 b10 * b31 + 29192 b10 * b32 + 16020 b10 * b33 + 27056 b10 * b34 + 20292 b10 * b35 + 21716 b10 * b36 + 7476 b10 * b38 + 3648 b10 * b40 + 24928 b10 * b41 + 13680 b10 * b42 + 23104 b10 * b43 + 17328 b10 * b44 + 18544 b10 * b45 + 6384 b10 * b47 + 3648 b10 * b49 + 24928 b10 * b50 + 13680 b10 * b51 + 23104 b10 * b52 + 17328 b10 * b53 + 18544 b10 * b54 + 6384 b10 * b56 + 1920 b10 * b58 + 13120 b10 * b59 + 7200 b10 * b60 + 12160 b10 * b61 + 9120 b10 * b62 + 9760 b10 * b63 + 3360 b10 * b65 + 4464 b10 * b67 + 30504 b10 * b68 + 16740 b10 * b69 + 28272 b10 * b70 + 21204 b10 * b71 + 22692 b10 * b72 + 7812 b10 * b74 + 2688 b10 * b76 + 18368 b10 * b77 + 10080 b10 * b78 + 17024 b10 * b79 + 12768 b10 * b80 + 13664 b10 * b81 + 4704 b10 * b83 + 2960 b10 * b84 + 1200 b10 * b85 + 3560 b10 * b86 + 3040 b10 * b87 + 3040 b10 * b88 + 1600 b10 * b89 + 3720 b10 * b90 + 2240 b10 * b91 + 3408 b10 * b92 + 23288 b10 * b93 + 12780 b10 * b94 + 21584 b10 * b95 + 16188 b10 * b96 + 17324 b10 * b97 + 5964 b10 * b98 + 26344 b11 * b12 + 7696 b11 * b14 + 26936 b11 * b15 + 11544 b11 * b16 + 10656 b11 * b17 + 10656 b11 * b18 + 6216 b11 * b19 + 10680 b11 * b21 + 3120 b11 * b23 + 10920 b11 * b24 + 4680 b11 * b25 + 4320 b11 * b26 + 4320 b11 * b27 + 2520 b11 * b28 + 31684 b11 * b30 + 9256 b11 * b32 + 32396 b11 * b33 + 13884 b11 * b34 + 12816 b11 * b35 + 12816 b11 * b36 + 7476 b11 * b37 + 27056 b11 * b39 + 7904 b11 * b41 + 27664 b11 * b42 + 11856 b11 * b43 + 10944 b11 * b44 + 10944 b11 * b45 + 6384 b11 * b46 + 27056 b11 * b48 + 7904 b11 * b50 + 27664 b11 * b51 + 11856 b11 * b52 + 10944 b11 * b53 + 10944 b11 * b54 + 6384 b11 * b55 + 14240 b11 * b57 + 4160 b11 * b59 + 14560 b11 * b60 + 6240 b11 * b61 + 5760 b11 * b62 + 5760 b11 * b63 + 3360 b11 * b64 + 33108 b11 * b66 + 9672 b11 * b68 + 33852 b11 * b69 + 14508 b11 * b70 + 13392 b11 * b71 + 13392 b11 * b72 + 7812 b11 * b73 + 19936 b11 * b75 + 5824 b11 * b77 + 20384 b11 * b78 + 8736 b11 * b79 + 8064 b11 * b80 + 8064 b11 * b81 + 4704 b11 * b82 + 1184 b11 * b84 + 480 b11 * b85 + 1424 b11 * b86 + 1216 b11 * b87 + 1216 b11 * b88 + 640 b11 * b89 + 1488 b11 * b90 + 896 b11 * b91 + 7384 b11 * b93 + 25844 b11 * b94 + 11076 b11 * b95 + 10224 b11 * b96 + 10224 b11 * b97 + 25276 b11 * b99 + 5964 b11 * b100 + 252 b12 * b22 + 24 b12 * b23 + 176 b12 * b24 + 160 b12 * b25 + 300 b12 * b26 + 316 b12 * b27 + 356 b12 * b29 + 12600 b12 * b31 + 1200 b12 * b32 + 8800 b12 * b33 + 8000 b12 * b34 + 15000 b12 * b35 + 15800 b12 * b36 + 17800 b12 * b38 + 1008 b12 * b40 + 96 b12 * b41 + 704 b12 * b42 + 640 b12 * b43 + 1200 b12 * b44 + 1264 b12 * b45 + 1424 b12 * b47 + 9072 b12 * b49 + 864 b12 * b50 + 6336 b12 * b51 + 5760 b12 * b52 + 10800 b12 * b53 + 11376 b12 * b54 + 12816 b12 * b56 + 6804 b12 * b58 + 648 b12 * b59 + 4752 b12 * b60 + 4320 b12 * b61 + 8100 b12 * b62 + 8532 b12 * b63 + 9612 b12 * b65 + 21420 b12 * b67 + 2040 b12 * b68 + 14960 b12 * b69 + 13600 b12 * b70 + 25500 b12 * b71 + 26860 b12 * b72 + 30260 b12 * b74 + 504 b12 * b76 + 48 b12 * b77 + 352 b12 * b78 + 320 b12 * b79 + 600 b12 * b80 + 632 b12 * b81 + 712 b12 * b83 + 84 b12 * b85 + 4200 b12 * b86 + 336 b12 * b87 + 3024 b12 * b88 + 2268 b12 * b89 + 7140 b12 * b90 + 168 b12 * b91 + 2772 b12 * b92 + 264 b12 * b93 + 1936 b12 * b94 + 1760 b12 * b95 + 3300 b12 * b96 + 3476 b12 * b97 + 3916 b12 * b98 + 6216 b12 * b101 + 252 b13 * b21 + 140 b13 * b23 + 36 b13 * b24 + 4 b13 * b25 + 340 b13 * b26 + 336 b13 * b27 + 48 b13 * b28 + 12600 b13 * b30 + 7000 b13 * b32 + 1800 b13 * b33 + 200 b13 * b34 + 17000 b13 * b35 + 16800 b13 * b36 + 2400 b13 * b37 + 1008 b13 * b39 + 560 b13 * b41 + 144 b13 * b42 + 16 b13 * b43 + 1360 b13 * b44 + 1344 b13 * b45 + 192 b13 * b46 + 9072 b13 * b48 + 5040 b13 * b50 + 1296 b13 * b51 + 144 b13 * b52 + 12240 b13 * b53 + 12096 b13 * b54 + 1728 b13 * b55 + 6804 b13 * b57 + 3780 b13 * b59 + 972 b13 * b60 + 108 b13 * b61 + 9180 b13 * b62 + 9072 b13 * b63 + 1296 b13 * b64 + 21420 b13 * b66 + 11900 b13 * b68 + 3060 b13 * b69 + 340 b13 * b70 + 28900 b13 * b71 + 28560 b13 * b72 + 4080 b13 * b73 + 504 b13 * b75 + 280 b13 * b77 + 72 b13 * b78 + 8 b13 * b79 + 680 b13 * b80 + 672 b13 * b81 + 96 b13 * b82 + 380 b13 * b85 + 19000 b13 * b86 + 1520 b13 * b87 + 13680 b13 * b88 + 10260 b13 * b89 + 32300 b13 * b90 + 760 b13 * b91 + 1540 b13 * b93 + 396 b13 * b94 + 44 b13 * b95 + 3740 b13 * b96 + 3696 b13 * b97 + 2772 b13 * b99 + 528 b13 * b100 + 28120 b13 * b101 + 24 b14 * b21 + 140 b14 * b22 + 104 b14 * b24 + 364 b14 * b25 + 44 b14 * b26 + 140 b14 * b27 + 328 b14 * b28 + 104 b14 * b29 + 1200 b14 * b30 + 7000 b14 * b31 + 5200 b14 * b33 + 18200 b14 * b34 + 2200 b14 * b35 + 7000 b14 * b36 + 16400 b14 * b37 + 5200 b14 * b38 + 96 b14 * b39 + 560 b14 * b40 + 416 b14 * b42 + 1456 b14 * b43 + 176 b14 * b44 + 560 b14 * b45 + 1312 b14 * b46 + 416 b14 * b47 + 864 b14 * b48 + 5040 b14 * b49 + 3744 b14 * b51 + 13104 b14 * b52 + 1584 b14 * b53 + 5040 b14 * b54 + 11808 b14 * b55 + 3744 b14 * b56 + 648 b14 * b57 + 3780 b14 * b58 + 2808 b14 * b60 + 9828 b14 * b61 + 1188 b14 * b62 + 3780 b14 * b63 + 8856 b14 * b64 + 2808 b14 * b65 + 2040 b14 * b66 + 11900 b14 * b67 + 8840 b14 * b69 + 30940 b14 * b70 + 3740 b14 * b71 + 11900 b14 * b72 + 27880 b14 * b73 + 8840 b14 * b74 + 48 b14 * b75 + 280 b14 * b76 + 208 b14 * b78 + 728 b14 * b79 + 88 b14 * b80 + 280 b14 * b81 + 656 b14 * b82 + 208 b14 * b83 + 328 b14 * b85 + 16400 b14 * b86 + 1312 b14 * b87 + 11808 b14 * b88 + 8856 b14 * b89 + 27880 b14 * b90 + 656 b14 * b91 + 1540 b14 * b92 + 1144 b14 * b94 + 4004 b14 * b95 + 484 b14 * b96 + 1540 b14 * b97 + 1144 b14 * b98 + 264 b14 * b99 + 3608 b14 * b100 + 24272 b14 * b101 + 176 b15 * b21 + 36 b15 * b22 + 104 b15 * b23 + 276 b15 * b25 + 224 b15 * b26 + 344 b15 * b27 + 180 b15 * b28 + 364 b15 * b29 + 8800 b15 * b30 + 1800 b15 * b31 + 5200 b15 * b32 + 13800 b15 * b34 + 11200 b15 * b35 + 17200 b15 * b36 + 9000 b15 * b37 + 18200 b15 * b38 + 704 b15 * b39 + 144 b15 * b40 + 416 b15 * b41 + 1104 b15 * b43 + 896 b15 * b44 + 1376 b15 * b45 + 720 b15 * b46 + 1456 b15 * b47 + 6336 b15 * b48 + 1296 b15 * b49 + 3744 b15 * b50 + 9936 b15 * b52 + 8064 b15 * b53 + 12384 b15 * b54 + 6480 b15 * b55 + 13104 b15 * b56 + 4752 b15 * b57 + 972 b15 * b58 + 2808 b15 * b59 + 7452 b15 * b61 + 6048 b15 * b62 + 9288 b15 * b63 + 4860 b15 * b64 + 9828 b15 * b65 + 14960 b15 * b66 + 3060 b15 * b67 + 8840 b15 * b68 + 23460 b15 * b70 + 19040 b15 * b71 + 29240 b15 * b72 + 15300 b15 * b73 + 30940 b15 * b74 + 352 b15 * b75 + 72 b15 * b76 + 208 b15 * b77 + 552 b15 * b79 + 448 b15 * b80 + 688 b15 * b81 + 360 b15 * b82 + 728 b15 * b83 + 224 b15 * b85 + 11200 b15 * b86 + 896 b15 * b87 + 8064 b15 * b88 + 6048 b15 * b89 + 19040 b15 * b90 + 448 b15 * b91 + 396 b15 * b92 + 1144 b15 * b93 + 3036 b15 * b95 + 2464 b15 * b96 + 3784 b15 * b97 + 4004 b15 * b98 + 1936 b15 * b99 + 1980 b15 * b100 + 16576 b15 * b101 + 160 b16 * b21 + 4 b16 * b22 + 364 b16 * b23 + 276 b16 * b24 + 236 b16 * b26 + 72 b16 * b27 + 304 b16 * b28 + 156 b16 * b29 + 8000 b16 * b30 + 200 b16 * b31 + 18200 b16 * b32 + 13800 b16 * b33 + 11800 b16 * b35 + 3600 b16 * b36 + 15200 b16 * b37 + 7800 b16 * b38 + 640 b16 * b39 + 16 b16 * b40 + 1456 b16 * b41 + 1104 b16 * b42 + 944 b16 * b44 + 288 b16 * b45 + 1216 b16 * b46 + 624 b16 * b47 + 5760 b16 * b48 + 144 b16 * b49 + 13104 b16 * b50 + 9936 b16 * b51 + 8496 b16 * b53 + 2592 b16 * b54 + 10944 b16 * b55 + 5616 b16 * b56 + 4320 b16 * b57 + 108 b16 * b58 + 9828 b16 * b59 + 7452 b16 * b60 + 6372 b16 * b62 + 1944 b16 * b63 + 8208 b16 * b64 + 4212 b16 * b65 + 13600 b16 * b66 + 340 b16 * b67 + 30940 b16 * b68 + 23460 b16 * b69 + 20060 b16 * b71 + 6120 b16 * b72 + 25840 b16 * b73 + 13260 b16 * b74 + 320 b16 * b75 + 8 b16 * b76 + 728 b16 * b77 + 552 b16 * b78 + 472 b16 * b80 + 144 b16 * b81 + 608 b16 * b82 + 312 b16 * b83 + 164 b16 * b85 + 8200 b16 * b86 + 656 b16 * b87 + 5904 b16 * b88 + 4428 b16 * b89 + 13940 b16 * b90 + 328 b16 * b91 + 44 b16 * b92 + 4004 b16 * b93 + 3036 b16 * b94 + 2596 b16 * b96 + 792 b16 * b97 + 1716 b16 * b98 + 1760 b16 * b99 + 3344 b16 * b100 + 12136 b16 * b101 + 300 b17 * b21 + 340 b17 * b22 + 44 b17 * b23 + 224 b17 * b24 + 236 b17 * b25 + 72 b17 * b27 + 228 b17 * b28 + 144 b17 * b29 + 15000 b17 * b30 + 17000 b17 * b31 + 2200 b17 * b32 + 11200 b17 * b33 + 11800 b17 * b34 + 3600 b17 * b36 + 11400 b17 * b37 + 7200 b17 * b38 + 1200 b17 * b39 + 1360 b17 * b40 + 176 b17 * b41 + 896 b17 * b42 + 944 b17 * b43 + 288 b17 * b45 + 912 b17 * b46 + 576 b17 * b47 + 10800 b17 * b48 + 12240 b17 * b49 + 1584 b17 * b50 + 8064 b17 * b51 + 8496 b17 * b52 + 2592 b17 * b54 + 8208 b17 * b55 + 5184 b17 * b56 + 8100 b17 * b57 + 9180 b17 * b58 + 1188 b17 * b59 + 6048 b17 * b60 + 6372 b17 * b61 + 1944 b17 * b63 + 6156 b17 * b64 + 3888 b17 * b65 + 25500 b17 * b66 + 28900 b17 * b67 + 3740 b17 * b68 + 19040 b17 * b69 + 20060 b17 * b70 + 6120 b17 * b72 + 19380 b17 * b73 + 12240 b17 * b74 + 600 b17 * b75 + 680 b17 * b76 + 88 b17 * b77 + 448 b17 * b78 + 472 b17 * b79 + 144 b17 * b81 + 456 b17 * b82 + 288 b17 * b83 + 24 b17 * b85 + 1200 b17 * b86 + 96 b17 * b87 + 864 b17 * b88 + 648 b17 * b89 + 2040 b17 * b90 + 48 b17 * b91 + 3740 b17 * b92 + 484 b17 * b93 + 2464 b17 * b94 + 2596 b17 * b95 + 792 b17 * b97 + 1584 b17 * b98 + 3300 b17 * b99 + 2508 b17 * b100 + 1776 b17 * b101 + 316 b18 * b21 + 336 b18 * b22 + 140 b18 * b23 + 344 b18 * b24 + 72 b18 * b25 + 72 b18 * b26 + 244 b18 * b28 + 144 b18 * b29 + 15800 b18 * b30 + 16800 b18 * b31 + 7000 b18 * b32 + 17200 b18 * b33 + 3600 b18 * b34 + 3600 b18 * b35 + 12200 b18 * b37 + 7200 b18 * b38 + 1264 b18 * b39 + 1344 b18 * b40 + 560 b18 * b41 + 1376 b18 * b42 + 288 b18 * b43 + 288 b18 * b44 + 976 b18 * b46 + 576 b18 * b47 + 11376 b18 * b48 + 12096 b18 * b49 + 5040 b18 * b50 + 12384 b18 * b51 + 2592 b18 * b52 + 2592 b18 * b53 + 8784 b18 * b55 + 5184 b18 * b56 + 8532 b18 * b57 + 9072 b18 * b58 + 3780 b18 * b59 + 9288 b18 * b60 + 1944 b18 * b61 + 1944 b18 * b62 + 6588 b18 * b64 + 3888 b18 * b65 + 26860 b18 * b66 + 28560 b18 * b67 + 11900 b18 * b68 + 29240 b18 * b69 + 6120 b18 * b70 + 6120 b18 * b71 + 20740 b18 * b73 + 12240 b18 * b74 + 632 b18 * b75 + 672 b18 * b76 + 280 b18 * b77 + 688 b18 * b78 + 144 b18 * b79 + 144 b18 * b80 + 488 b18 * b82 + 288 b18 * b83 + 100 b18 * b85 + 5000 b18 * b86 + 400 b18 * b87 + 3600 b18 * b88 + 2700 b18 * b89 + 8500 b18 * b90 + 200 b18 * b91 + 3696 b18 * b92 + 1540 b18 * b93 + 3784 b18 * b94 + 792 b18 * b95 + 792 b18 * b96 + 1584 b18 * b98 + 3476 b18 * b99 + 2684 b18 * b100 + 7400 b18 * b101 + 48 b19 * b22 + 328 b19 * b23 + 180 b19 * b24 + 304 b19 * b25 + 228 b19 * b26 + 244 b19 * b27 + 84 b19 * b29 + 2400 b19 * b31 + 16400 b19 * b32 + 9000 b19 * b33 + 15200 b19 * b34 + 11400 b19 * b35 + 12200 b19 * b36 + 4200 b19 * b38 + 192 b19 * b40 + 1312 b19 * b41 + 720 b19 * b42 + 1216 b19 * b43 + 912 b19 * b44 + 976 b19 * b45 + 336 b19 * b47 + 1728 b19 * b49 + 11808 b19 * b50 + 6480 b19 * b51 + 10944 b19 * b52 + 8208 b19 * b53 + 8784 b19 * b54 + 3024 b19 * b56 + 1296 b19 * b58 + 8856 b19 * b59 + 4860 b19 * b60 + 8208 b19 * b61 + 6156 b19 * b62 + 6588 b19 * b63 + 2268 b19 * b65 + 4080 b19 * b67 + 27880 b19 * b68 + 15300 b19 * b69 + 25840 b19 * b70 + 19380 b19 * b71 + 20740 b19 * b72 + 7140 b19 * b74 + 96 b19 * b76 + 656 b19 * b77 + 360 b19 * b78 + 608 b19 * b79 + 456 b19 * b80 + 488 b19 * b81 + 168 b19 * b83 + 40 b19 * b85 + 2000 b19 * b86 + 160 b19 * b87 + 1440 b19 * b88 + 1080 b19 * b89 + 3400 b19 * b90 + 80 b19 * b91 + 528 b19 * b92 + 3608 b19 * b93 + 1980 b19 * b94 + 3344 b19 * b95 + 2508 b19 * b96 + 2684 b19 * b97 + 924 b19 * b98 + 2960 b19 * b101 + 356 b20 * b21 + 104 b20 * b23 + 364 b20 * b24 + 156 b20 * b25 + 144 b20 * b26 + 144 b20 * b27 + 84 b20 * b28 + 17800 b20 * b30 + 5200 b20 * b32 + 18200 b20 * b33 + 7800 b20 * b34 + 7200 b20 * b35 + 7200 b20 * b36 + 4200 b20 * b37 + 1424 b20 * b39 + 416 b20 * b41 + 1456 b20 * b42 + 624 b20 * b43 + 576 b20 * b44 + 576 b20 * b45 + 336 b20 * b46 + 12816 b20 * b48 + 3744 b20 * b50 + 13104 b20 * b51 + 5616 b20 * b52 + 5184 b20 * b53 + 5184 b20 * b54 + 3024 b20 * b55 + 9612 b20 * b57 + 2808 b20 * b59 + 9828 b20 * b60 + 4212 b20 * b61 + 3888 b20 * b62 + 3888 b20 * b63 + 2268 b20 * b64 + 30260 b20 * b66 + 8840 b20 * b68 + 30940 b20 * b69 + 13260 b20 * b70 + 12240 b20 * b71 + 12240 b20 * b72 + 7140 b20 * b73 + 712 b20 * b75 + 208 b20 * b77 + 728 b20 * b78 + 312 b20 * b79 + 288 b20 * b80 + 288 b20 * b81 + 168 b20 * b82 + 16 b20 * b85 + 800 b20 * b86 + 64 b20 * b87 + 576 b20 * b88 + 432 b20 * b89 + 1360 b20 * b90 + 32 b20 * b91 + 1144 b20 * b93 + 4004 b20 * b94 + 1716 b20 * b95 + 1584 b20 * b96 + 1584 b20 * b97 + 3916 b20 * b99 + 924 b20 * b100 + 1184 b20 * b101 + 252 b21 * b31 + 24 b21 * b32 + 176 b21 * b33 + 160 b21 * b34 + 300 b21 * b35 + 316 b21 * b36 + 356 b21 * b38 + 3780 b21 * b40 + 360 b21 * b41 + 2640 b21 * b42 + 2400 b21 * b43 + 4500 b21 * b44 + 4740 b21 * b45 + 5340 b21 * b47 + 2772 b21 * b49 + 264 b21 * b50 + 1936 b21 * b51 + 1760 b21 * b52 + 3300 b21 * b53 + 3476 b21 * b54 + 3916 b21 * b56 + 8820 b21 * b58 + 840 b21 * b59 + 6160 b21 * b60 + 5600 b21 * b61 + 10500 b21 * b62 + 11060 b21 * b63 + 12460 b21 * b65 + 2772 b21 * b67 + 264 b21 * b68 + 1936 b21 * b69 + 1760 b21 * b70 + 3300 b21 * b71 + 3476 b21 * b72 + 3916 b21 * b74 + 5040 b21 * b76 + 480 b21 * b77 + 3520 b21 * b78 + 3200 b21 * b79 + 6000 b21 * b80 + 6320 b21 * b81 + 7120 b21 * b83 + 84 b21 * b84 + 84 b21 * b86 + 1260 b21 * b87 + 924 b21 * b88 + 2940 b21 * b89 + 924 b21 * b90 + 1680 b21 * b91 + 7308 b21 * b92 + 696 b21 * b93 + 5104 b21 * b94 + 4640 b21 * b95 + 8700 b21 * b96 + 9164 b21 * b97 + 10324 b21 * b98 + 2520 b21 * b101 + 252 b22 * b30 + 140 b22 * b32 + 36 b22 * b33 + 4 b22 * b34 + 340 b22 * b35 + 336 b22 * b36 + 48 b22 * b37 + 3780 b22 * b39 + 2100 b22 * b41 + 540 b22 * b42 + 60 b22 * b43 + 5100 b22 * b44 + 5040 b22 * b45 + 720 b22 * b46 + 2772 b22 * b48 + 1540 b22 * b50 + 396 b22 * b51 + 44 b22 * b52 + 3740 b22 * b53 + 3696 b22 * b54 + 528 b22 * b55 + 8820 b22 * b57 + 4900 b22 * b59 + 1260 b22 * b60 + 140 b22 * b61 + 11900 b22 * b62 + 11760 b22 * b63 + 1680 b22 * b64 + 2772 b22 * b66 + 1540 b22 * b68 + 396 b22 * b69 + 44 b22 * b70 + 3740 b22 * b71 + 3696 b22 * b72 + 528 b22 * b73 + 5040 b22 * b75 + 2800 b22 * b77 + 720 b22 * b78 + 80 b22 * b79 + 6800 b22 * b80 + 6720 b22 * b81 + 960 b22 * b82 + 380 b22 * b84 + 380 b22 * b86 + 5700 b22 * b87 + 4180 b22 * b88 + 13300 b22 * b89 + 4180 b22 * b90 + 7600 b22 * b91 + 4060 b22 * b93 + 1044 b22 * b94 + 116 b22 * b95 + 9860 b22 * b96 + 9744 b22 * b97 + 7308 b22 * b99 + 1392 b22 * b100 + 11400 b22 * b101 + 24 b23 * b30 + 140 b23 * b31 + 104 b23 * b33 + 364 b23 * b34 + 44 b23 * b35 + 140 b23 * b36 + 328 b23 * b37 + 104 b23 * b38 + 360 b23 * b39 + 2100 b23 * b40 + 1560 b23 * b42 + 5460 b23 * b43 + 660 b23 * b44 + 2100 b23 * b45 + 4920 b23 * b46 + 1560 b23 * b47 + 264 b23 * b48 + 1540 b23 * b49 + 1144 b23 * b51 + 4004 b23 * b52 + 484 b23 * b53 + 1540 b23 * b54 + 3608 b23 * b55 + 1144 b23 * b56 + 840 b23 * b57 + 4900 b23 * b58 + 3640 b23 * b60 + 12740 b23 * b61 + 1540 b23 * b62 + 4900 b23 * b63 + 11480 b23 * b64 + 3640 b23 * b65 + 264 b23 * b66 + 1540 b23 * b67 + 1144 b23 * b69 + 4004 b23 * b70 + 484 b23 * b71 + 1540 b23 * b72 + 3608 b23 * b73 + 1144 b23 * b74 + 480 b23 * b75 + 2800 b23 * b76 + 2080 b23 * b78 + 7280 b23 * b79 + 880 b23 * b80 + 2800 b23 * b81 + 6560 b23 * b82 + 2080 b23 * b83 + 328 b23 * b84 + 328 b23 * b86 + 4920 b23 * b87 + 3608 b23 * b88 + 11480 b23 * b89 + 3608 b23 * b90 + 6560 b23 * b91 + 4060 b23 * b92 + 3016 b23 * b94 + 10556 b23 * b95 + 1276 b23 * b96 + 4060 b23 * b97 + 3016 b23 * b98 + 696 b23 * b99 + 9512 b23 * b100 + 9840 b23 * b101 + 176 b24 * b30 + 36 b24 * b31 + 104 b24 * b32 + 276 b24 * b34 + 224 b24 * b35 + 344 b24 * b36 + 180 b24 * b37 + 364 b24 * b38 + 2640 b24 * b39 + 540 b24 * b40 + 1560 b24 * b41 + 4140 b24 * b43 + 3360 b24 * b44 + 5160 b24 * b45 + 2700 b24 * b46 + 5460 b24 * b47 + 1936 b24 * b48 + 396 b24 * b49 + 1144 b24 * b50 + 3036 b24 * b52 + 2464 b24 * b53 + 3784 b24 * b54 + 1980 b24 * b55 + 4004 b24 * b56 + 6160 b24 * b57 + 1260 b24 * b58 + 3640 b24 * b59 + 9660 b24 * b61 + 7840 b24 * b62 + 12040 b24 * b63 + 6300 b24 * b64 + 12740 b24 * b65 + 1936 b24 * b66 + 396 b24 * b67 + 1144 b24 * b68 + 3036 b24 * b70 + 2464 b24 * b71 + 3784 b24 * b72 + 1980 b24 * b73 + 4004 b24 * b74 + 3520 b24 * b75 + 720 b24 * b76 + 2080 b24 * b77 + 5520 b24 * b79 + 4480 b24 * b80 + 6880 b24 * b81 + 3600 b24 * b82 + 7280 b24 * b83 + 224 b24 * b84 + 224 b24 * b86 + 3360 b24 * b87 + 2464 b24 * b88 + 7840 b24 * b89 + 2464 b24 * b90 + 4480 b24 * b91 + 1044 b24 * b92 + 3016 b24 * b93 + 8004 b24 * b95 + 6496 b24 * b96 + 9976 b24 * b97 + 10556 b24 * b98 + 5104 b24 * b99 + 5220 b24 * b100 + 6720 b24 * b101 + 160 b25 * b30 + 4 b25 * b31 + 364 b25 * b32 + 276 b25 * b33 + 236 b25 * b35 + 72 b25 * b36 + 304 b25 * b37 + 156 b25 * b38 + 2400 b25 * b39 + 60 b25 * b40 + 5460 b25 * b41 + 4140 b25 * b42 + 3540 b25 * b44 + 1080 b25 * b45 + 4560 b25 * b46 + 2340 b25 * b47 + 1760 b25 * b48 + 44 b25 * b49 + 4004 b25 * b50 + 3036 b25 * b51 + 2596 b25 * b53 + 792 b25 * b54 + 3344 b25 * b55 + 1716 b25 * b56 + 5600 b25 * b57 + 140 b25 * b58 + 12740 b25 * b59 + 9660 b25 * b60 + 8260 b25 * b62 + 2520 b25 * b63 + 10640 b25 * b64 + 5460 b25 * b65 + 1760 b25 * b66 + 44 b25 * b67 + 4004 b25 * b68 + 3036 b25 * b69 + 2596 b25 * b71 + 792 b25 * b72 + 3344 b25 * b73 + 1716 b25 * b74 + 3200 b25 * b75 + 80 b25 * b76 + 7280 b25 * b77 + 5520 b25 * b78 + 4720 b25 * b80 + 1440 b25 * b81 + 6080 b25 * b82 + 3120 b25 * b83 + 164 b25 * b84 + 164 b25 * b86 + 2460 b25 * b87 + 1804 b25 * b88 + 5740 b25 * b89 + 1804 b25 * b90 + 3280 b25 * b91 + 116 b25 * b92 + 10556 b25 * b93 + 8004 b25 * b94 + 6844 b25 * b96 + 2088 b25 * b97 + 4524 b25 * b98 + 4640 b25 * b99 + 8816 b25 * b100 + 4920 b25 * b101 + 300 b26 * b30 + 340 b26 * b31 + 44 b26 * b32 + 224 b26 * b33 + 236 b26 * b34 + 72 b26 * b36 + 228 b26 * b37 + 144 b26 * b38 + 4500 b26 * b39 + 5100 b26 * b40 + 660 b26 * b41 + 3360 b26 * b42 + 3540 b26 * b43 + 1080 b26 * b45 + 3420 b26 * b46 + 2160 b26 * b47 + 3300 b26 * b48 + 3740 b26 * b49 + 484 b26 * b50 + 2464 b26 * b51 + 2596 b26 * b52 + 792 b26 * b54 + 2508 b26 * b55 + 1584 b26 * b56 + 10500 b26 * b57 + 11900 b26 * b58 + 1540 b26 * b59 + 7840 b26 * b60 + 8260 b26 * b61 + 2520 b26 * b63 + 7980 b26 * b64 + 5040 b26 * b65 + 3300 b26 * b66 + 3740 b26 * b67 + 484 b26 * b68 + 2464 b26 * b69 + 2596 b26 * b70 + 792 b26 * b72 + 2508 b26 * b73 + 1584 b26 * b74 + 6000 b26 * b75 + 6800 b26 * b76 + 880 b26 * b77 + 4480 b26 * b78 + 4720 b26 * b79 + 1440 b26 * b81 + 4560 b26 * b82 + 2880 b26 * b83 + 24 b26 * b84 + 24 b26 * b86 + 360 b26 * b87 + 264 b26 * b88 + 840 b26 * b89 + 264 b26 * b90 + 480 b26 * b91 + 9860 b26 * b92 + 1276 b26 * b93 + 6496 b26 * b94 + 6844 b26 * b95 + 2088 b26 * b97 + 4176 b26 * b98 + 8700 b26 * b99 + 6612 b26 * b100 + 720 b26 * b101 + 316 b27 * b30 + 336 b27 * b31 + 140 b27 * b32 + 344 b27 * b33 + 72 b27 * b34 + 72 b27 * b35 + 244 b27 * b37 + 144 b27 * b38 + 4740 b27 * b39 + 5040 b27 * b40 + 2100 b27 * b41 + 5160 b27 * b42 + 1080 b27 * b43 + 1080 b27 * b44 + 3660 b27 * b46 + 2160 b27 * b47 + 3476 b27 * b48 + 3696 b27 * b49 + 1540 b27 * b50 + 3784 b27 * b51 + 792 b27 * b52 + 792 b27 * b53 + 2684 b27 * b55 + 1584 b27 * b56 + 11060 b27 * b57 + 11760 b27 * b58 + 4900 b27 * b59 + 12040 b27 * b60 + 2520 b27 * b61 + 2520 b27 * b62 + 8540 b27 * b64 + 5040 b27 * b65 + 3476 b27 * b66 + 3696 b27 * b67 + 1540 b27 * b68 + 3784 b27 * b69 + 792 b27 * b70 + 792 b27 * b71 + 2684 b27 * b73 + 1584 b27 * b74 + 6320 b27 * b75 + 6720 b27 * b76 + 2800 b27 * b77 + 6880 b27 * b78 + 1440 b27 * b79 + 1440 b27 * b80 + 4880 b27 * b82 + 2880 b27 * b83 + 100 b27 * b84 + 100 b27 * b86 + 1500 b27 * b87 + 1100 b27 * b88 + 3500 b27 * b89 + 1100 b27 * b90 + 2000 b27 * b91 + 9744 b27 * b92 + 4060 b27 * b93 + 9976 b27 * b94 + 2088 b27 * b95 + 2088 b27 * b96 + 4176 b27 * b98 + 9164 b27 * b99 + 7076 b27 * b100 + 3000 b27 * b101 + 48 b28 * b31 + 328 b28 * b32 + 180 b28 * b33 + 304 b28 * b34 + 228 b28 * b35 + 244 b28 * b36 + 84 b28 * b38 + 720 b28 * b40 + 4920 b28 * b41 + 2700 b28 * b42 + 4560 b28 * b43 + 3420 b28 * b44 + 3660 b28 * b45 + 1260 b28 * b47 + 528 b28 * b49 + 3608 b28 * b50 + 1980 b28 * b51 + 3344 b28 * b52 + 2508 b28 * b53 + 2684 b28 * b54 + 924 b28 * b56 + 1680 b28 * b58 + 11480 b28 * b59 + 6300 b28 * b60 + 10640 b28 * b61 + 7980 b28 * b62 + 8540 b28 * b63 + 2940 b28 * b65 + 528 b28 * b67 + 3608 b28 * b68 + 1980 b28 * b69 + 3344 b28 * b70 + 2508 b28 * b71 + 2684 b28 * b72 + 924 b28 * b74 + 960 b28 * b76 + 6560 b28 * b77 + 3600 b28 * b78 + 6080 b28 * b79 + 4560 b28 * b80 + 4880 b28 * b81 + 1680 b28 * b83 + 40 b28 * b84 + 40 b28 * b86 + 600 b28 * b87 + 440 b28 * b88 + 1400 b28 * b89 + 440 b28 * b90 + 800 b28 * b91 + 1392 b28 * b92 + 9512 b28 * b93 + 5220 b28 * b94 + 8816 b28 * b95 + 6612 b28 * b96 + 7076 b28 * b97 + 2436 b28 * b98 + 1200 b28 * b101 + 356 b29 * b30 + 104 b29 * b32 + 364 b29 * b33 + 156 b29 * b34 + 144 b29 * b35 + 144 b29 * b36 + 84 b29 * b37 + 5340 b29 * b39 + 1560 b29 * b41 + 5460 b29 * b42 + 2340 b29 * b43 + 2160 b29 * b44 + 2160 b29 * b45 + 1260 b29 * b46 + 3916 b29 * b48 + 1144 b29 * b50 + 4004 b29 * b51 + 1716 b29 * b52 + 1584 b29 * b53 + 1584 b29 * b54 + 924 b29 * b55 + 12460 b29 * b57 + 3640 b29 * b59 + 12740 b29 * b60 + 5460 b29 * b61 + 5040 b29 * b62 + 5040 b29 * b63 + 2940 b29 * b64 + 3916 b29 * b66 + 1144 b29 * b68 + 4004 b29 * b69 + 1716 b29 * b70 + 1584 b29 * b71 + 1584 b29 * b72 + 924 b29 * b73 + 7120 b29 * b75 + 2080 b29 * b77 + 7280 b29 * b78 + 3120 b29 * b79 + 2880 b29 * b80 + 2880 b29 * b81 + 1680 b29 * b82 + 16 b29 * b84 + 16 b29 * b86 + 240 b29 * b87 + 176 b29 * b88 + 560 b29 * b89 + 176 b29 * b90 + 320 b29 * b91 + 3016 b29 * b93 + 10556 b29 * b94 + 4524 b29 * b95 + 4176 b29 * b96 + 4176 b29 * b97 + 10324 b29 * b99 + 2436 b29 * b100 + 480 b29 * b101 + 5292 b30 * b40 + 504 b30 * b41 + 3696 b30 * b42 + 3360 b30 * b43 + 6300 b30 * b44 + 6636 b30 * b45 + 7476 b30 * b47 + 15372 b30 * b49 + 1464 b30 * b50 + 10736 b30 * b51 + 9760 b30 * b52 + 18300 b30 * b53 + 19276 b30 * b54 + 21716 b30 * b56 + 20160 b30 * b58 + 1920 b30 * b59 + 14080 b30 * b60 + 12800 b30 * b61 + 24000 b30 * b62 + 25280 b30 * b63 + 28480 b30 * b65 + 14616 b30 * b67 + 1392 b30 * b68 + 10208 b30 * b69 + 9280 b30 * b70 + 17400 b30 * b71 + 18328 b30 * b72 + 20648 b30 * b74 + 5292 b30 * b76 + 504 b30 * b77 + 3696 b30 * b78 + 3360 b30 * b79 + 6300 b30 * b80 + 6636 b30 * b81 + 7476 b30 * b83 + 4200 b30 * b84 + 84 b30 * b85 + 1764 b30 * b87 + 5124 b30 * b88 + 6720 b30 * b89 + 4872 b30 * b90 + 1764 b30 * b91 + 20664 b30 * b92 + 1968 b30 * b93 + 14432 b30 * b94 + 13120 b30 * b95 + 24600 b30 * b96 + 25912 b30 * b97 + 29192 b30 * b98 + 7476 b30 * b101 + 5292 b31 * b39 + 2940 b31 * b41 + 756 b31 * b42 + 84 b31 * b43 + 7140 b31 * b44 + 7056 b31 * b45 + 1008 b31 * b46 + 15372 b31 * b48 + 8540 b31 * b50 + 2196 b31 * b51 + 244 b31 * b52 + 20740 b31 * b53 + 20496 b31 * b54 + 2928 b31 * b55 + 20160 b31 * b57 + 11200 b31 * b59 + 2880 b31 * b60 + 320 b31 * b61 + 27200 b31 * b62 + 26880 b31 * b63 + 3840 b31 * b64 + 14616 b31 * b66 + 8120 b31 * b68 + 2088 b31 * b69 + 232 b31 * b70 + 19720 b31 * b71 + 19488 b31 * b72 + 2784 b31 * b73 + 5292 b31 * b75 + 2940 b31 * b77 + 756 b31 * b78 + 84 b31 * b79 + 7140 b31 * b80 + 7056 b31 * b81 + 1008 b31 * b82 + 19000 b31 * b84 + 380 b31 * b85 + 7980 b31 * b87 + 23180 b31 * b88 + 30400 b31 * b89 + 22040 b31 * b90 + 7980 b31 * b91 + 11480 b31 * b93 + 2952 b31 * b94 + 328 b31 * b95 + 27880 b31 * b96 + 27552 b31 * b97 + 20664 b31 * b99 + 3936 b31 * b100 + 33820 b31 * b101 + 504 b32 * b39 + 2940 b32 * b40 + 2184 b32 * b42 + 7644 b32 * b43 + 924 b32 * b44 + 2940 b32 * b45 + 6888 b32 * b46 + 2184 b32 * b47 + 1464 b32 * b48 + 8540 b32 * b49 + 6344 b32 * b51 + 22204 b32 * b52 + 2684 b32 * b53 + 8540 b32 * b54 + 20008 b32 * b55 + 6344 b32 * b56 + 1920 b32 * b57 + 11200 b32 * b58 + 8320 b32 * b60 + 29120 b32 * b61 + 3520 b32 * b62 + 11200 b32 * b63 + 26240 b32 * b64 + 8320 b32 * b65 + 1392 b32 * b66 + 8120 b32 * b67 + 6032 b32 * b69 + 21112 b32 * b70 + 2552 b32 * b71 + 8120 b32 * b72 + 19024 b32 * b73 + 6032 b32 * b74 + 504 b32 * b75 + 2940 b32 * b76 + 2184 b32 * b78 + 7644 b32 * b79 + 924 b32 * b80 + 2940 b32 * b81 + 6888 b32 * b82 + 2184 b32 * b83 + 16400 b32 * b84 + 328 b32 * b85 + 6888 b32 * b87 + 20008 b32 * b88 + 26240 b32 * b89 + 19024 b32 * b90 + 6888 b32 * b91 + 11480 b32 * b92 + 8528 b32 * b94 + 29848 b32 * b95 + 3608 b32 * b96 + 11480 b32 * b97 + 8528 b32 * b98 + 1968 b32 * b99 + 26896 b32 * b100 + 29192 b32 * b101 + 3696 b33 * b39 + 756 b33 * b40 + 2184 b33 * b41 + 5796 b33 * b43 + 4704 b33 * b44 + 7224 b33 * b45 + 3780 b33 * b46 + 7644 b33 * b47 + 10736 b33 * b48 + 2196 b33 * b49 + 6344 b33 * b50 + 16836 b33 * b52 + 13664 b33 * b53 + 20984 b33 * b54 + 10980 b33 * b55 + 22204 b33 * b56 + 14080 b33 * b57 + 2880 b33 * b58 + 8320 b33 * b59 + 22080 b33 * b61 + 17920 b33 * b62 + 27520 b33 * b63 + 14400 b33 * b64 + 29120 b33 * b65 + 10208 b33 * b66 + 2088 b33 * b67 + 6032 b33 * b68 + 16008 b33 * b70 + 12992 b33 * b71 + 19952 b33 * b72 + 10440 b33 * b73 + 21112 b33 * b74 + 3696 b33 * b75 + 756 b33 * b76 + 2184 b33 * b77 + 5796 b33 * b79 + 4704 b33 * b80 + 7224 b33 * b81 + 3780 b33 * b82 + 7644 b33 * b83 + 11200 b33 * b84 + 224 b33 * b85 + 4704 b33 * b87 + 13664 b33 * b88 + 17920 b33 * b89 + 12992 b33 * b90 + 4704 b33 * b91 + 2952 b33 * b92 + 8528 b33 * b93 + 22632 b33 * b95 + 18368 b33 * b96 + 28208 b33 * b97 + 29848 b33 * b98 + 14432 b33 * b99 + 14760 b33 * b100 + 19936 b33 * b101 + 3360 b34 * b39 + 84 b34 * b40 + 7644 b34 * b41 + 5796 b34 * b42 + 4956 b34 * b44 + 1512 b34 * b45 + 6384 b34 * b46 + 3276 b34 * b47 + 9760 b34 * b48 + 244 b34 * b49 + 22204 b34 * b50 + 16836 b34 * b51 + 14396 b34 * b53 + 4392 b34 * b54 + 18544 b34 * b55 + 9516 b34 * b56 + 12800 b34 * b57 + 320 b34 * b58 + 29120 b34 * b59 + 22080 b34 * b60 + 18880 b34 * b62 + 5760 b34 * b63 + 24320 b34 * b64 + 12480 b34 * b65 + 9280 b34 * b66 + 232 b34 * b67 + 21112 b34 * b68 + 16008 b34 * b69 + 13688 b34 * b71 + 4176 b34 * b72 + 17632 b34 * b73 + 9048 b34 * b74 + 3360 b34 * b75 + 84 b34 * b76 + 7644 b34 * b77 + 5796 b34 * b78 + 4956 b34 * b80 + 1512 b34 * b81 + 6384 b34 * b82 + 3276 b34 * b83 + 8200 b34 * b84 + 164 b34 * b85 + 3444 b34 * b87 + 10004 b34 * b88 + 13120 b34 * b89 + 9512 b34 * b90 + 3444 b34 * b91 + 328 b34 * b92 + 29848 b34 * b93 + 22632 b34 * b94 + 19352 b34 * b96 + 5904 b34 * b97 + 12792 b34 * b98 + 13120 b34 * b99 + 24928 b34 * b100 + 14596 b34 * b101 + 6300 b35 * b39 + 7140 b35 * b40 + 924 b35 * b41 + 4704 b35 * b42 + 4956 b35 * b43 + 1512 b35 * b45 + 4788 b35 * b46 + 3024 b35 * b47 + 18300 b35 * b48 + 20740 b35 * b49 + 2684 b35 * b50 + 13664 b35 * b51 + 14396 b35 * b52 + 4392 b35 * b54 + 13908 b35 * b55 + 8784 b35 * b56 + 24000 b35 * b57 + 27200 b35 * b58 + 3520 b35 * b59 + 17920 b35 * b60 + 18880 b35 * b61 + 5760 b35 * b63 + 18240 b35 * b64 + 11520 b35 * b65 + 17400 b35 * b66 + 19720 b35 * b67 + 2552 b35 * b68 + 12992 b35 * b69 + 13688 b35 * b70 + 4176 b35 * b72 + 13224 b35 * b73 + 8352 b35 * b74 + 6300 b35 * b75 + 7140 b35 * b76 + 924 b35 * b77 + 4704 b35 * b78 + 4956 b35 * b79 + 1512 b35 * b81 + 4788 b35 * b82 + 3024 b35 * b83 + 1200 b35 * b84 + 24 b35 * b85 + 504 b35 * b87 + 1464 b35 * b88 + 1920 b35 * b89 + 1392 b35 * b90 + 504 b35 * b91 + 27880 b35 * b92 + 3608 b35 * b93 + 18368 b35 * b94 + 19352 b35 * b95 + 5904 b35 * b97 + 11808 b35 * b98 + 24600 b35 * b99 + 18696 b35 * b100 + 2136 b35 * b101 + 6636 b36 * b39 + 7056 b36 * b40 + 2940 b36 * b41 + 7224 b36 * b42 + 1512 b36 * b43 + 1512 b36 * b44 + 5124 b36 * b46 + 3024 b36 * b47 + 19276 b36 * b48 + 20496 b36 * b49 + 8540 b36 * b50 + 20984 b36 * b51 + 4392 b36 * b52 + 4392 b36 * b53 + 14884 b36 * b55 + 8784 b36 * b56 + 25280 b36 * b57 + 26880 b36 * b58 + 11200 b36 * b59 + 27520 b36 * b60 + 5760 b36 * b61 + 5760 b36 * b62 + 19520 b36 * b64 + 11520 b36 * b65 + 18328 b36 * b66 + 19488 b36 * b67 + 8120 b36 * b68 + 19952 b36 * b69 + 4176 b36 * b70 + 4176 b36 * b71 + 14152 b36 * b73 + 8352 b36 * b74 + 6636 b36 * b75 + 7056 b36 * b76 + 2940 b36 * b77 + 7224 b36 * b78 + 1512 b36 * b79 + 1512 b36 * b80 + 5124 b36 * b82 + 3024 b36 * b83 + 5000 b36 * b84 + 100 b36 * b85 + 2100 b36 * b87 + 6100 b36 * b88 + 8000 b36 * b89 + 5800 b36 * b90 + 2100 b36 * b91 + 27552 b36 * b92 + 11480 b36 * b93 + 28208 b36 * b94 + 5904 b36 * b95 + 5904 b36 * b96 + 11808 b36 * b98 + 25912 b36 * b99 + 20008 b36 * b100 + 8900 b36 * b101 + 1008 b37 * b40 + 6888 b37 * b41 + 3780 b37 * b42 + 6384 b37 * b43 + 4788 b37 * b44 + 5124 b37 * b45 + 1764 b37 * b47 + 2928 b37 * b49 + 20008 b37 * b50 + 10980 b37 * b51 + 18544 b37 * b52 + 13908 b37 * b53 + 14884 b37 * b54 + 5124 b37 * b56 + 3840 b37 * b58 + 26240 b37 * b59 + 14400 b37 * b60 + 24320 b37 * b61 + 18240 b37 * b62 + 19520 b37 * b63 + 6720 b37 * b65 + 2784 b37 * b67 + 19024 b37 * b68 + 10440 b37 * b69 + 17632 b37 * b70 + 13224 b37 * b71 + 14152 b37 * b72 + 4872 b37 * b74 + 1008 b37 * b76 + 6888 b37 * b77 + 3780 b37 * b78 + 6384 b37 * b79 + 4788 b37 * b80 + 5124 b37 * b81 + 1764 b37 * b83 + 2000 b37 * b84 + 40 b37 * b85 + 840 b37 * b87 + 2440 b37 * b88 + 3200 b37 * b89 + 2320 b37 * b90 + 840 b37 * b91 + 3936 b37 * b92 + 26896 b37 * b93 + 14760 b37 * b94 + 24928 b37 * b95 + 18696 b37 * b96 + 20008 b37 * b97 + 6888 b37 * b98 + 3560 b37 * b101 + 7476 b38 * b39 + 2184 b38 * b41 + 7644 b38 * b42 + 3276 b38 * b43 + 3024 b38 * b44 + 3024 b38 * b45 + 1764 b38 * b46 + 21716 b38 * b48 + 6344 b38 * b50 + 22204 b38 * b51 + 9516 b38 * b52 + 8784 b38 * b53 + 8784 b38 * b54 + 5124 b38 * b55 + 28480 b38 * b57 + 8320 b38 * b59 + 29120 b38 * b60 + 12480 b38 * b61 + 11520 b38 * b62 + 11520 b38 * b63 + 6720 b38 * b64 + 20648 b38 * b66 + 6032 b38 * b68 + 21112 b38 * b69 + 9048 b38 * b70 + 8352 b38 * b71 + 8352 b38 * b72 + 4872 b38 * b73 + 7476 b38 * b75 + 2184 b38 * b77 + 7644 b38 * b78 + 3276 b38 * b79 + 3024 b38 * b80 + 3024 b38 * b81 + 1764 b38 * b82 + 800 b38 * b84 + 16 b38 * b85 + 336 b38 * b87 + 976 b38 * b88 + 1280 b38 * b89 + 928 b38 * b90 + 336 b38 * b91 + 8528 b38 * b93 + 29848 b38 * b94 + 12792 b38 * b95 + 11808 b38 * b96 + 11808 b38 * b97 + 29192 b38 * b99 + 6888 b38 * b100 + 1424 b38 * b101 + 19152 b39 * b49 + 1824 b39 * b50 + 13376 b39 * b51 + 12160 b39 * b52 + 22800 b39 * b53 + 24016 b39 * b54 + 27056 b39 * b56 + 18144 b39 * b58 + 1728 b39 * b59 + 12672 b39 * b60 + 11520 b39 * b61 + 21600 b39 * b62 + 22752 b39 * b63 + 25632 b39 * b65 + 11088 b39 * b67 + 1056 b39 * b68 + 7744 b39 * b69 + 7040 b39 * b70 + 13200 b39 * b71 + 13904 b39 * b72 + 15664 b39 * b74 + 21420 b39 * b76 + 2040 b39 * b77 + 14960 b39 * b78 + 13600 b39 * b79 + 25500 b39 * b80 + 26860 b39 * b81 + 30260 b39 * b83 + 336 b39 * b84 + 1260 b39 * b85 + 1764 b39 * b86 + 6384 b39 * b88 + 6048 b39 * b89 + 3696 b39 * b90 + 7140 b39 * b91 + 20664 b39 * b92 + 1968 b39 * b93 + 14432 b39 * b94 + 13120 b39 * b95 + 24600 b39 * b96 + 25912 b39 * b97 + 29192 b39 * b98 + 6384 b39 * b101 + 19152 b40 * b48 + 10640 b40 * b50 + 2736 b40 * b51 + 304 b40 * b52 + 25840 b40 * b53 + 25536 b40 * b54 + 3648 b40 * b55 + 18144 b40 * b57 + 10080 b40 * b59 + 2592 b40 * b60 + 288 b40 * b61 + 24480 b40 * b62 + 24192 b40 * b63 + 3456 b40 * b64 + 11088 b40 * b66 + 6160 b40 * b68 + 1584 b40 * b69 + 176 b40 * b70 + 14960 b40 * b71 + 14784 b40 * b72 + 2112 b40 * b73 + 21420 b40 * b75 + 11900 b40 * b77 + 3060 b40 * b78 + 340 b40 * b79 + 28900 b40 * b80 + 28560 b40 * b81 + 4080 b40 * b82 + 1520 b40 * b84 + 5700 b40 * b85 + 7980 b40 * b86 + 28880 b40 * b88 + 27360 b40 * b89 + 16720 b40 * b90 + 32300 b40 * b91 + 11480 b40 * b93 + 2952 b40 * b94 + 328 b40 * b95 + 27880 b40 * b96 + 27552 b40 * b97 + 20664 b40 * b99 + 3936 b40 * b100 + 28880 b40 * b101 + 1824 b41 * b48 + 10640 b41 * b49 + 7904 b41 * b51 + 27664 b41 * b52 + 3344 b41 * b53 + 10640 b41 * b54 + 24928 b41 * b55 + 7904 b41 * b56 + 1728 b41 * b57 + 10080 b41 * b58 + 7488 b41 * b60 + 26208 b41 * b61 + 3168 b41 * b62 + 10080 b41 * b63 + 23616 b41 * b64 + 7488 b41 * b65 + 1056 b41 * b66 + 6160 b41 * b67 + 4576 b41 * b69 + 16016 b41 * b70 + 1936 b41 * b71 + 6160 b41 * b72 + 14432 b41 * b73 + 4576 b41 * b74 + 2040 b41 * b75 + 11900 b41 * b76 + 8840 b41 * b78 + 30940 b41 * b79 + 3740 b41 * b80 + 11900 b41 * b81 + 27880 b41 * b82 + 8840 b41 * b83 + 1312 b41 * b84 + 4920 b41 * b85 + 6888 b41 * b86 + 24928 b41 * b88 + 23616 b41 * b89 + 14432 b41 * b90 + 27880 b41 * b91 + 11480 b41 * b92 + 8528 b41 * b94 + 29848 b41 * b95 + 3608 b41 * b96 + 11480 b41 * b97 + 8528 b41 * b98 + 1968 b41 * b99 + 26896 b41 * b100 + 24928 b41 * b101 + 13376 b42 * b48 + 2736 b42 * b49 + 7904 b42 * b50 + 20976 b42 * b52 + 17024 b42 * b53 + 26144 b42 * b54 + 13680 b42 * b55 + 27664 b42 * b56 + 12672 b42 * b57 + 2592 b42 * b58 + 7488 b42 * b59 + 19872 b42 * b61 + 16128 b42 * b62 + 24768 b42 * b63 + 12960 b42 * b64 + 26208 b42 * b65 + 7744 b42 * b66 + 1584 b42 * b67 + 4576 b42 * b68 + 12144 b42 * b70 + 9856 b42 * b71 + 15136 b42 * b72 + 7920 b42 * b73 + 16016 b42 * b74 + 14960 b42 * b75 + 3060 b42 * b76 + 8840 b42 * b77 + 23460 b42 * b79 + 19040 b42 * b80 + 29240 b42 * b81 + 15300 b42 * b82 + 30940 b42 * b83 + 896 b42 * b84 + 3360 b42 * b85 + 4704 b42 * b86 + 17024 b42 * b88 + 16128 b42 * b89 + 9856 b42 * b90 + 19040 b42 * b91 + 2952 b42 * b92 + 8528 b42 * b93 + 22632 b42 * b95 + 18368 b42 * b96 + 28208 b42 * b97 + 29848 b42 * b98 + 14432 b42 * b99 + 14760 b42 * b100 + 17024 b42 * b101 + 12160 b43 * b48 + 304 b43 * b49 + 27664 b43 * b50 + 20976 b43 * b51 + 17936 b43 * b53 + 5472 b43 * b54 + 23104 b43 * b55 + 11856 b43 * b56 + 11520 b43 * b57 + 288 b43 * b58 + 26208 b43 * b59 + 19872 b43 * b60 + 16992 b43 * b62 + 5184 b43 * b63 + 21888 b43 * b64 + 11232 b43 * b65 + 7040 b43 * b66 + 176 b43 * b67 + 16016 b43 * b68 + 12144 b43 * b69 + 10384 b43 * b71 + 3168 b43 * b72 + 13376 b43 * b73 + 6864 b43 * b74 + 13600 b43 * b75 + 340 b43 * b76 + 30940 b43 * b77 + 23460 b43 * b78 + 20060 b43 * b80 + 6120 b43 * b81 + 25840 b43 * b82 + 13260 b43 * b83 + 656 b43 * b84 + 2460 b43 * b85 + 3444 b43 * b86 + 12464 b43 * b88 + 11808 b43 * b89 + 7216 b43 * b90 + 13940 b43 * b91 + 328 b43 * b92 + 29848 b43 * b93 + 22632 b43 * b94 + 19352 b43 * b96 + 5904 b43 * b97 + 12792 b43 * b98 + 13120 b43 * b99 + 24928 b43 * b100 + 12464 b43 * b101 + 22800 b44 * b48 + 25840 b44 * b49 + 3344 b44 * b50 + 17024 b44 * b51 + 17936 b44 * b52 + 5472 b44 * b54 + 17328 b44 * b55 + 10944 b44 * b56 + 21600 b44 * b57 + 24480 b44 * b58 + 3168 b44 * b59 + 16128 b44 * b60 + 16992 b44 * b61 + 5184 b44 * b63 + 16416 b44 * b64 + 10368 b44 * b65 + 13200 b44 * b66 + 14960 b44 * b67 + 1936 b44 * b68 + 9856 b44 * b69 + 10384 b44 * b70 + 3168 b44 * b72 + 10032 b44 * b73 + 6336 b44 * b74 + 25500 b44 * b75 + 28900 b44 * b76 + 3740 b44 * b77 + 19040 b44 * b78 + 20060 b44 * b79 + 6120 b44 * b81 + 19380 b44 * b82 + 12240 b44 * b83 + 96 b44 * b84 + 360 b44 * b85 + 504 b44 * b86 + 1824 b44 * b88 + 1728 b44 * b89 + 1056 b44 * b90 + 2040 b44 * b91 + 27880 b44 * b92 + 3608 b44 * b93 + 18368 b44 * b94 + 19352 b44 * b95 + 5904 b44 * b97 + 11808 b44 * b98 + 24600 b44 * b99 + 18696 b44 * b100 + 1824 b44 * b101 + 24016 b45 * b48 + 25536 b45 * b49 + 10640 b45 * b50 + 26144 b45 * b51 + 5472 b45 * b52 + 5472 b45 * b53 + 18544 b45 * b55 + 10944 b45 * b56 + 22752 b45 * b57 + 24192 b45 * b58 + 10080 b45 * b59 + 24768 b45 * b60 + 5184 b45 * b61 + 5184 b45 * b62 + 17568 b45 * b64 + 10368 b45 * b65 + 13904 b45 * b66 + 14784 b45 * b67 + 6160 b45 * b68 + 15136 b45 * b69 + 3168 b45 * b70 + 3168 b45 * b71 + 10736 b45 * b73 + 6336 b45 * b74 + 26860 b45 * b75 + 28560 b45 * b76 + 11900 b45 * b77 + 29240 b45 * b78 + 6120 b45 * b79 + 6120 b45 * b80 + 20740 b45 * b82 + 12240 b45 * b83 + 400 b45 * b84 + 1500 b45 * b85 + 2100 b45 * b86 + 7600 b45 * b88 + 7200 b45 * b89 + 4400 b45 * b90 + 8500 b45 * b91 + 27552 b45 * b92 + 11480 b45 * b93 + 28208 b45 * b94 + 5904 b45 * b95 + 5904 b45 * b96 + 11808 b45 * b98 + 25912 b45 * b99 + 20008 b45 * b100 + 7600 b45 * b101 + 3648 b46 * b49 + 24928 b46 * b50 + 13680 b46 * b51 + 23104 b46 * b52 + 17328 b46 * b53 + 18544 b46 * b54 + 6384 b46 * b56 + 3456 b46 * b58 + 23616 b46 * b59 + 12960 b46 * b60 + 21888 b46 * b61 + 16416 b46 * b62 + 17568 b46 * b63 + 6048 b46 * b65 + 2112 b46 * b67 + 14432 b46 * b68 + 7920 b46 * b69 + 13376 b46 * b70 + 10032 b46 * b71 + 10736 b46 * b72 + 3696 b46 * b74 + 4080 b46 * b76 + 27880 b46 * b77 + 15300 b46 * b78 + 25840 b46 * b79 + 19380 b46 * b80 + 20740 b46 * b81 + 7140 b46 * b83 + 160 b46 * b84 + 600 b46 * b85 + 840 b46 * b86 + 3040 b46 * b88 + 2880 b46 * b89 + 1760 b46 * b90 + 3400 b46 * b91 + 3936 b46 * b92 + 26896 b46 * b93 + 14760 b46 * b94 + 24928 b46 * b95 + 18696 b46 * b96 + 20008 b46 * b97 + 6888 b46 * b98 + 3040 b46 * b101 + 27056 b47 * b48 + 7904 b47 * b50 + 27664 b47 * b51 + 11856 b47 * b52 + 10944 b47 * b53 + 10944 b47 * b54 + 6384 b47 * b55 + 25632 b47 * b57 + 7488 b47 * b59 + 26208 b47 * b60 + 11232 b47 * b61 + 10368 b47 * b62 + 10368 b47 * b63 + 6048 b47 * b64 + 15664 b47 * b66 + 4576 b47 * b68 + 16016 b47 * b69 + 6864 b47 * b70 + 6336 b47 * b71 + 6336 b47 * b72 + 3696 b47 * b73 + 30260 b47 * b75 + 8840 b47 * b77 + 30940 b47 * b78 + 13260 b47 * b79 + 12240 b47 * b80 + 12240 b47 * b81 + 7140 b47 * b82 + 64 b47 * b84 + 240 b47 * b85 + 336 b47 * b86 + 1216 b47 * b88 + 1152 b47 * b89 + 704 b47 * b90 + 1360 b47 * b91 + 8528 b47 * b93 + 29848 b47 * b94 + 12792 b47 * b95 + 11808 b47 * b96 + 11808 b47 * b97 + 29192 b47 * b99 + 6888 b47 * b100 + 1216 b47 * b101 + 23688 b48 * b58 + 2256 b48 * b59 + 16544 b48 * b60 + 15040 b48 * b61 + 28200 b48 * b62 + 29704 b48 * b63 + 33464 b48 * b65 + 22680 b48 * b67 + 2160 b48 * b68 + 15840 b48 * b69 + 14400 b48 * b70 + 27000 b48 * b71 + 28440 b48 * b72 + 32040 b48 * b74 + 12852 b48 * b76 + 1224 b48 * b77 + 8976 b48 * b78 + 8160 b48 * b79 + 15300 b48 * b80 + 16116 b48 * b81 + 18156 b48 * b83 + 3024 b48 * b84 + 924 b48 * b85 + 5124 b48 * b86 + 6384 b48 * b87 + 7896 b48 * b89 + 7560 b48 * b90 + 4284 b48 * b91 + 1512 b48 * b92 + 144 b48 * b93 + 1056 b48 * b94 + 960 b48 * b95 + 1800 b48 * b96 + 1896 b48 * b97 + 2136 b48 * b98 + 6384 b48 * b101 + 23688 b49 * b57 + 13160 b49 * b59 + 3384 b49 * b60 + 376 b49 * b61 + 31960 b49 * b62 + 31584 b49 * b63 + 4512 b49 * b64 + 22680 b49 * b66 + 12600 b49 * b68 + 3240 b49 * b69 + 360 b49 * b70 + 30600 b49 * b71 + 30240 b49 * b72 + 4320 b49 * b73 + 12852 b49 * b75 + 7140 b49 * b77 + 1836 b49 * b78 + 204 b49 * b79 + 17340 b49 * b80 + 17136 b49 * b81 + 2448 b49 * b82 + 13680 b49 * b84 + 4180 b49 * b85 + 23180 b49 * b86 + 28880 b49 * b87 + 35720 b49 * b89 + 34200 b49 * b90 + 19380 b49 * b91 + 840 b49 * b93 + 216 b49 * b94 + 24 b49 * b95 + 2040 b49 * b96 + 2016 b49 * b97 + 1512 b49 * b99 + 288 b49 * b100 + 28880 b49 * b101 + 2256 b50 * b57 + 13160 b50 * b58 + 9776 b50 * b60 + 34216 b50 * b61 + 4136 b50 * b62 + 13160 b50 * b63 + 30832 b50 * b64 + 9776 b50 * b65 + 2160 b50 * b66 + 12600 b50 * b67 + 9360 b50 * b69 + 32760 b50 * b70 + 3960 b50 * b71 + 12600 b50 * b72 + 29520 b50 * b73 + 9360 b50 * b74 + 1224 b50 * b75 + 7140 b50 * b76 + 5304 b50 * b78 + 18564 b50 * b79 + 2244 b50 * b80 + 7140 b50 * b81 + 16728 b50 * b82 + 5304 b50 * b83 + 11808 b50 * b84 + 3608 b50 * b85 + 20008 b50 * b86 + 24928 b50 * b87 + 30832 b50 * b89 + 29520 b50 * b90 + 16728 b50 * b91 + 840 b50 * b92 + 624 b50 * b94 + 2184 b50 * b95 + 264 b50 * b96 + 840 b50 * b97 + 624 b50 * b98 + 144 b50 * b99 + 1968 b50 * b100 + 24928 b50 * b101 + 16544 b51 * b57 + 3384 b51 * b58 + 9776 b51 * b59 + 25944 b51 * b61 + 21056 b51 * b62 + 32336 b51 * b63 + 16920 b51 * b64 + 34216 b51 * b65 + 15840 b51 * b66 + 3240 b51 * b67 + 9360 b51 * b68 + 24840 b51 * b70 + 20160 b51 * b71 + 30960 b51 * b72 + 16200 b51 * b73 + 32760 b51 * b74 + 8976 b51 * b75 + 1836 b51 * b76 + 5304 b51 * b77 + 14076 b51 * b79 + 11424 b51 * b80 + 17544 b51 * b81 + 9180 b51 * b82 + 18564 b51 * b83 + 8064 b51 * b84 + 2464 b51 * b85 + 13664 b51 * b86 + 17024 b51 * b87 + 21056 b51 * b89 + 20160 b51 * b90 + 11424 b51 * b91 + 216 b51 * b92 + 624 b51 * b93 + 1656 b51 * b95 + 1344 b51 * b96 + 2064 b51 * b97 + 2184 b51 * b98 + 1056 b51 * b99 + 1080 b51 * b100 + 17024 b51 * b101 + 15040 b52 * b57 + 376 b52 * b58 + 34216 b52 * b59 + 25944 b52 * b60 + 22184 b52 * b62 + 6768 b52 * b63 + 28576 b52 * b64 + 14664 b52 * b65 + 14400 b52 * b66 + 360 b52 * b67 + 32760 b52 * b68 + 24840 b52 * b69 + 21240 b52 * b71 + 6480 b52 * b72 + 27360 b52 * b73 + 14040 b52 * b74 + 8160 b52 * b75 + 204 b52 * b76 + 18564 b52 * b77 + 14076 b52 * b78 + 12036 b52 * b80 + 3672 b52 * b81 + 15504 b52 * b82 + 7956 b52 * b83 + 5904 b52 * b84 + 1804 b52 * b85 + 10004 b52 * b86 + 12464 b52 * b87 + 15416 b52 * b89 + 14760 b52 * b90 + 8364 b52 * b91 + 24 b52 * b92 + 2184 b52 * b93 + 1656 b52 * b94 + 1416 b52 * b96 + 432 b52 * b97 + 936 b52 * b98 + 960 b52 * b99 + 1824 b52 * b100 + 12464 b52 * b101 + 28200 b53 * b57 + 31960 b53 * b58 + 4136 b53 * b59 + 21056 b53 * b60 + 22184 b53 * b61 + 6768 b53 * b63 + 21432 b53 * b64 + 13536 b53 * b65 + 27000 b53 * b66 + 30600 b53 * b67 + 3960 b53 * b68 + 20160 b53 * b69 + 21240 b53 * b70 + 6480 b53 * b72 + 20520 b53 * b73 + 12960 b53 * b74 + 15300 b53 * b75 + 17340 b53 * b76 + 2244 b53 * b77 + 11424 b53 * b78 + 12036 b53 * b79 + 3672 b53 * b81 + 11628 b53 * b82 + 7344 b53 * b83 + 864 b53 * b84 + 264 b53 * b85 + 1464 b53 * b86 + 1824 b53 * b87 + 2256 b53 * b89 + 2160 b53 * b90 + 1224 b53 * b91 + 2040 b53 * b92 + 264 b53 * b93 + 1344 b53 * b94 + 1416 b53 * b95 + 432 b53 * b97 + 864 b53 * b98 + 1800 b53 * b99 + 1368 b53 * b100 + 1824 b53 * b101 + 29704 b54 * b57 + 31584 b54 * b58 + 13160 b54 * b59 + 32336 b54 * b60 + 6768 b54 * b61 + 6768 b54 * b62 + 22936 b54 * b64 + 13536 b54 * b65 + 28440 b54 * b66 + 30240 b54 * b67 + 12600 b54 * b68 + 30960 b54 * b69 + 6480 b54 * b70 + 6480 b54 * b71 + 21960 b54 * b73 + 12960 b54 * b74 + 16116 b54 * b75 + 17136 b54 * b76 + 7140 b54 * b77 + 17544 b54 * b78 + 3672 b54 * b79 + 3672 b54 * b80 + 12444 b54 * b82 + 7344 b54 * b83 + 3600 b54 * b84 + 1100 b54 * b85 + 6100 b54 * b86 + 7600 b54 * b87 + 9400 b54 * b89 + 9000 b54 * b90 + 5100 b54 * b91 + 2016 b54 * b92 + 840 b54 * b93 + 2064 b54 * b94 + 432 b54 * b95 + 432 b54 * b96 + 864 b54 * b98 + 1896 b54 * b99 + 1464 b54 * b100 + 7600 b54 * b101 + 4512 b55 * b58 + 30832 b55 * b59 + 16920 b55 * b60 + 28576 b55 * b61 + 21432 b55 * b62 + 22936 b55 * b63 + 7896 b55 * b65 + 4320 b55 * b67 + 29520 b55 * b68 + 16200 b55 * b69 + 27360 b55 * b70 + 20520 b55 * b71 + 21960 b55 * b72 + 7560 b55 * b74 + 2448 b55 * b76 + 16728 b55 * b77 + 9180 b55 * b78 + 15504 b55 * b79 + 11628 b55 * b80 + 12444 b55 * b81 + 4284 b55 * b83 + 1440 b55 * b84 + 440 b55 * b85 + 2440 b55 * b86 + 3040 b55 * b87 + 3760 b55 * b89 + 3600 b55 * b90 + 2040 b55 * b91 + 288 b55 * b92 + 1968 b55 * b93 + 1080 b55 * b94 + 1824 b55 * b95 + 1368 b55 * b96 + 1464 b55 * b97 + 504 b55 * b98 + 3040 b55 * b101 + 33464 b56 * b57 + 9776 b56 * b59 + 34216 b56 * b60 + 14664 b56 * b61 + 13536 b56 * b62 + 13536 b56 * b63 + 7896 b56 * b64 + 32040 b56 * b66 + 9360 b56 * b68 + 32760 b56 * b69 + 14040 b56 * b70 + 12960 b56 * b71 + 12960 b56 * b72 + 7560 b56 * b73 + 18156 b56 * b75 + 5304 b56 * b77 + 18564 b56 * b78 + 7956 b56 * b79 + 7344 b56 * b80 + 7344 b56 * b81 + 4284 b56 * b82 + 576 b56 * b84 + 176 b56 * b85 + 976 b56 * b86 + 1216 b56 * b87 + 1504 b56 * b89 + 1440 b56 * b90 + 816 b56 * b91 + 624 b56 * b93 + 2184 b56 * b94 + 936 b56 * b95 + 864 b56 * b96 + 864 b56 * b97 + 2136 b56 * b99 + 504 b56 * b100 + 1216 b56 * b101 + 756 b57 * b67 + 72 b57 * b68 + 528 b57 * b69 + 480 b57 * b70 + 900 b57 * b71 + 948 b57 * b72 + 1068 b57 * b74 + 12096 b57 * b76 + 1152 b57 * b77 + 8448 b57 * b78 + 7680 b57 * b79 + 14400 b57 * b80 + 15168 b57 * b81 + 17088 b57 * b83 + 2268 b57 * b84 + 2940 b57 * b85 + 6720 b57 * b86 + 6048 b57 * b87 + 7896 b57 * b88 + 252 b57 * b90 + 4032 b57 * b91 + 17892 b57 * b92 + 1704 b57 * b93 + 12496 b57 * b94 + 11360 b57 * b95 + 21300 b57 * b96 + 22436 b57 * b97 + 25276 b57 * b98 + 3360 b57 * b101 + 756 b58 * b66 + 420 b58 * b68 + 108 b58 * b69 + 12 b58 * b70 + 1020 b58 * b71 + 1008 b58 * b72 + 144 b58 * b73 + 12096 b58 * b75 + 6720 b58 * b77 + 1728 b58 * b78 + 192 b58 * b79 + 16320 b58 * b80 + 16128 b58 * b81 + 2304 b58 * b82 + 10260 b58 * b84 + 13300 b58 * b85 + 30400 b58 * b86 + 27360 b58 * b87 + 35720 b58 * b88 + 1140 b58 * b90 + 18240 b58 * b91 + 9940 b58 * b93 + 2556 b58 * b94 + 284 b58 * b95 + 24140 b58 * b96 + 23856 b58 * b97 + 17892 b58 * b99 + 3408 b58 * b100 + 15200 b58 * b101 + 72 b59 * b66 + 420 b59 * b67 + 312 b59 * b69 + 1092 b59 * b70 + 132 b59 * b71 + 420 b59 * b72 + 984 b59 * b73 + 312 b59 * b74 + 1152 b59 * b75 + 6720 b59 * b76 + 4992 b59 * b78 + 17472 b59 * b79 + 2112 b59 * b80 + 6720 b59 * b81 + 15744 b59 * b82 + 4992 b59 * b83 + 8856 b59 * b84 + 11480 b59 * b85 + 26240 b59 * b86 + 23616 b59 * b87 + 30832 b59 * b88 + 984 b59 * b90 + 15744 b59 * b91 + 9940 b59 * b92 + 7384 b59 * b94 + 25844 b59 * b95 + 3124 b59 * b96 + 9940 b59 * b97 + 7384 b59 * b98 + 1704 b59 * b99 + 23288 b59 * b100 + 13120 b59 * b101 + 528 b60 * b66 + 108 b60 * b67 + 312 b60 * b68 + 828 b60 * b70 + 672 b60 * b71 + 1032 b60 * b72 + 540 b60 * b73 + 1092 b60 * b74 + 8448 b60 * b75 + 1728 b60 * b76 + 4992 b60 * b77 + 13248 b60 * b79 + 10752 b60 * b80 + 16512 b60 * b81 + 8640 b60 * b82 + 17472 b60 * b83 + 6048 b60 * b84 + 7840 b60 * b85 + 17920 b60 * b86 + 16128 b60 * b87 + 21056 b60 * b88 + 672 b60 * b90 + 10752 b60 * b91 + 2556 b60 * b92 + 7384 b60 * b93 + 19596 b60 * b95 + 15904 b60 * b96 + 24424 b60 * b97 + 25844 b60 * b98 + 12496 b60 * b99 + 12780 b60 * b100 + 8960 b60 * b101 + 480 b61 * b66 + 12 b61 * b67 + 1092 b61 * b68 + 828 b61 * b69 + 708 b61 * b71 + 216 b61 * b72 + 912 b61 * b73 + 468 b61 * b74 + 7680 b61 * b75 + 192 b61 * b76 + 17472 b61 * b77 + 13248 b61 * b78 + 11328 b61 * b80 + 3456 b61 * b81 + 14592 b61 * b82 + 7488 b61 * b83 + 4428 b61 * b84 + 5740 b61 * b85 + 13120 b61 * b86 + 11808 b61 * b87 + 15416 b61 * b88 + 492 b61 * b90 + 7872 b61 * b91 + 284 b61 * b92 + 25844 b61 * b93 + 19596 b61 * b94 + 16756 b61 * b96 + 5112 b61 * b97 + 11076 b61 * b98 + 11360 b61 * b99 + 21584 b61 * b100 + 6560 b61 * b101 + 900 b62 * b66 + 1020 b62 * b67 + 132 b62 * b68 + 672 b62 * b69 + 708 b62 * b70 + 216 b62 * b72 + 684 b62 * b73 + 432 b62 * b74 + 14400 b62 * b75 + 16320 b62 * b76 + 2112 b62 * b77 + 10752 b62 * b78 + 11328 b62 * b79 + 3456 b62 * b81 + 10944 b62 * b82 + 6912 b62 * b83 + 648 b62 * b84 + 840 b62 * b85 + 1920 b62 * b86 + 1728 b62 * b87 + 2256 b62 * b88 + 72 b62 * b90 + 1152 b62 * b91 + 24140 b62 * b92 + 3124 b62 * b93 + 15904 b62 * b94 + 16756 b62 * b95 + 5112 b62 * b97 + 10224 b62 * b98 + 21300 b62 * b99 + 16188 b62 * b100 + 960 b62 * b101 + 948 b63 * b66 + 1008 b63 * b67 + 420 b63 * b68 + 1032 b63 * b69 + 216 b63 * b70 + 216 b63 * b71 + 732 b63 * b73 + 432 b63 * b74 + 15168 b63 * b75 + 16128 b63 * b76 + 6720 b63 * b77 + 16512 b63 * b78 + 3456 b63 * b79 + 3456 b63 * b80 + 11712 b63 * b82 + 6912 b63 * b83 + 2700 b63 * b84 + 3500 b63 * b85 + 8000 b63 * b86 + 7200 b63 * b87 + 9400 b63 * b88 + 300 b63 * b90 + 4800 b63 * b91 + 23856 b63 * b92 + 9940 b63 * b93 + 24424 b63 * b94 + 5112 b63 * b95 + 5112 b63 * b96 + 10224 b63 * b98 + 22436 b63 * b99 + 17324 b63 * b100 + 4000 b63 * b101 + 144 b64 * b67 + 984 b64 * b68 + 540 b64 * b69 + 912 b64 * b70 + 684 b64 * b71 + 732 b64 * b72 + 252 b64 * b74 + 2304 b64 * b76 + 15744 b64 * b77 + 8640 b64 * b78 + 14592 b64 * b79 + 10944 b64 * b80 + 11712 b64 * b81 + 4032 b64 * b83 + 1080 b64 * b84 + 1400 b64 * b85 + 3200 b64 * b86 + 2880 b64 * b87 + 3760 b64 * b88 + 120 b64 * b90 + 1920 b64 * b91 + 3408 b64 * b92 + 23288 b64 * b93 + 12780 b64 * b94 + 21584 b64 * b95 + 16188 b64 * b96 + 17324 b64 * b97 + 5964 b64 * b98 + 1600 b64 * b101 + 1068 b65 * b66 + 312 b65 * b68 + 1092 b65 * b69 + 468 b65 * b70 + 432 b65 * b71 + 432 b65 * b72 + 252 b65 * b73 + 17088 b65 * b75 + 4992 b65 * b77 + 17472 b65 * b78 + 7488 b65 * b79 + 6912 b65 * b80 + 6912 b65 * b81 + 4032 b65 * b82 + 432 b65 * b84 + 560 b65 * b85 + 1280 b65 * b86 + 1152 b65 * b87 + 1504 b65 * b88 + 48 b65 * b90 + 768 b65 * b91 + 7384 b65 * b93 + 25844 b65 * b94 + 11076 b65 * b95 + 10224 b65 * b96 + 10224 b65 * b97 + 25276 b65 * b99 + 5964 b65 * b100 + 640 b65 * b101 + 7308 b66 * b76 + 696 b66 * b77 + 5104 b66 * b78 + 4640 b66 * b79 + 8700 b66 * b80 + 9164 b66 * b81 + 10324 b66 * b83 + 7140 b66 * b84 + 924 b66 * b85 + 4872 b66 * b86 + 3696 b66 * b87 + 7560 b66 * b88 + 252 b66 * b89 + 2436 b66 * b91 + 2016 b66 * b92 + 192 b66 * b93 + 1408 b66 * b94 + 1280 b66 * b95 + 2400 b66 * b96 + 2528 b66 * b97 + 2848 b66 * b98 + 7812 b66 * b101 + 7308 b67 * b75 + 4060 b67 * b77 + 1044 b67 * b78 + 116 b67 * b79 + 9860 b67 * b80 + 9744 b67 * b81 + 1392 b67 * b82 + 32300 b67 * b84 + 4180 b67 * b85 + 22040 b67 * b86 + 16720 b67 * b87 + 34200 b67 * b88 + 1140 b67 * b89 + 11020 b67 * b91 + 1120 b67 * b93 + 288 b67 * b94 + 32 b67 * b95 + 2720 b67 * b96 + 2688 b67 * b97 + 2016 b67 * b99 + 384 b67 * b100 + 35340 b67 * b101 + 696 b68 * b75 + 4060 b68 * b76 + 3016 b68 * b78 + 10556 b68 * b79 + 1276 b68 * b80 + 4060 b68 * b81 + 9512 b68 * b82 + 3016 b68 * b83 + 27880 b68 * b84 + 3608 b68 * b85 + 19024 b68 * b86 + 14432 b68 * b87 + 29520 b68 * b88 + 984 b68 * b89 + 9512 b68 * b91 + 1120 b68 * b92 + 832 b68 * b94 + 2912 b68 * b95 + 352 b68 * b96 + 1120 b68 * b97 + 832 b68 * b98 + 192 b68 * b99 + 2624 b68 * b100 + 30504 b68 * b101 + 5104 b69 * b75 + 1044 b69 * b76 + 3016 b69 * b77 + 8004 b69 * b79 + 6496 b69 * b80 + 9976 b69 * b81 + 5220 b69 * b82 + 10556 b69 * b83 + 19040 b69 * b84 + 2464 b69 * b85 + 12992 b69 * b86 + 9856 b69 * b87 + 20160 b69 * b88 + 672 b69 * b89 + 6496 b69 * b91 + 288 b69 * b92 + 832 b69 * b93 + 2208 b69 * b95 + 1792 b69 * b96 + 2752 b69 * b97 + 2912 b69 * b98 + 1408 b69 * b99 + 1440 b69 * b100 + 20832 b69 * b101 + 4640 b70 * b75 + 116 b70 * b76 + 10556 b70 * b77 + 8004 b70 * b78 + 6844 b70 * b80 + 2088 b70 * b81 + 8816 b70 * b82 + 4524 b70 * b83 + 13940 b70 * b84 + 1804 b70 * b85 + 9512 b70 * b86 + 7216 b70 * b87 + 14760 b70 * b88 + 492 b70 * b89 + 4756 b70 * b91 + 32 b70 * b92 + 2912 b70 * b93 + 2208 b70 * b94 + 1888 b70 * b96 + 576 b70 * b97 + 1248 b70 * b98 + 1280 b70 * b99 + 2432 b70 * b100 + 15252 b70 * b101 + 8700 b71 * b75 + 9860 b71 * b76 + 1276 b71 * b77 + 6496 b71 * b78 + 6844 b71 * b79 + 2088 b71 * b81 + 6612 b71 * b82 + 4176 b71 * b83 + 2040 b71 * b84 + 264 b71 * b85 + 1392 b71 * b86 + 1056 b71 * b87 + 2160 b71 * b88 + 72 b71 * b89 + 696 b71 * b91 + 2720 b71 * b92 + 352 b71 * b93 + 1792 b71 * b94 + 1888 b71 * b95 + 576 b71 * b97 + 1152 b71 * b98 + 2400 b71 * b99 + 1824 b71 * b100 + 2232 b71 * b101 + 9164 b72 * b75 + 9744 b72 * b76 + 4060 b72 * b77 + 9976 b72 * b78 + 2088 b72 * b79 + 2088 b72 * b80 + 7076 b72 * b82 + 4176 b72 * b83 + 8500 b72 * b84 + 1100 b72 * b85 + 5800 b72 * b86 + 4400 b72 * b87 + 9000 b72 * b88 + 300 b72 * b89 + 2900 b72 * b91 + 2688 b72 * b92 + 1120 b72 * b93 + 2752 b72 * b94 + 576 b72 * b95 + 576 b72 * b96 + 1152 b72 * b98 + 2528 b72 * b99 + 1952 b72 * b100 + 9300 b72 * b101 + 1392 b73 * b76 + 9512 b73 * b77 + 5220 b73 * b78 + 8816 b73 * b79 + 6612 b73 * b80 + 7076 b73 * b81 + 2436 b73 * b83 + 3400 b73 * b84 + 440 b73 * b85 + 2320 b73 * b86 + 1760 b73 * b87 + 3600 b73 * b88 + 120 b73 * b89 + 1160 b73 * b91 + 384 b73 * b92 + 2624 b73 * b93 + 1440 b73 * b94 + 2432 b73 * b95 + 1824 b73 * b96 + 1952 b73 * b97 + 672 b73 * b98 + 3720 b73 * b101 + 10324 b74 * b75 + 3016 b74 * b77 + 10556 b74 * b78 + 4524 b74 * b79 + 4176 b74 * b80 + 4176 b74 * b81 + 2436 b74 * b82 + 1360 b74 * b84 + 176 b74 * b85 + 928 b74 * b86 + 704 b74 * b87 + 1440 b74 * b88 + 48 b74 * b89 + 464 b74 * b91 + 832 b74 * b93 + 2912 b74 * b94 + 1248 b74 * b95 + 1152 b74 * b96 + 1152 b74 * b97 + 2848 b74 * b99 + 672 b74 * b100 + 1488 b74 * b101 + 168 b75 * b84 + 1680 b75 * b85 + 1764 b75 * b86 + 7140 b75 * b87 + 4284 b75 * b88 + 4032 b75 * b89 + 2436 b75 * b90 + 19404 b75 * b92 + 1848 b75 * b93 + 13552 b75 * b94 + 12320 b75 * b95 + 23100 b75 * b96 + 24332 b75 * b97 + 27412 b75 * b98 + 4704 b75 * b101 + 760 b76 * b84 + 7600 b76 * b85 + 7980 b76 * b86 + 32300 b76 * b87 + 19380 b76 * b88 + 18240 b76 * b89 + 11020 b76 * b90 + 10780 b76 * b93 + 2772 b76 * b94 + 308 b76 * b95 + 26180 b76 * b96 + 25872 b76 * b97 + 19404 b76 * b99 + 3696 b76 * b100 + 21280 b76 * b101 + 656 b77 * b84 + 6560 b77 * b85 + 6888 b77 * b86 + 27880 b77 * b87 + 16728 b77 * b88 + 15744 b77 * b89 + 9512 b77 * b90 + 10780 b77 * b92 + 8008 b77 * b94 + 28028 b77 * b95 + 3388 b77 * b96 + 10780 b77 * b97 + 8008 b77 * b98 + 1848 b77 * b99 + 25256 b77 * b100 + 18368 b77 * b101 + 448 b78 * b84 + 4480 b78 * b85 + 4704 b78 * b86 + 19040 b78 * b87 + 11424 b78 * b88 + 10752 b78 * b89 + 6496 b78 * b90 + 2772 b78 * b92 + 8008 b78 * b93 + 21252 b78 * b95 + 17248 b78 * b96 + 26488 b78 * b97 + 28028 b78 * b98 + 13552 b78 * b99 + 13860 b78 * b100 + 12544 b78 * b101 + 328 b79 * b84 + 3280 b79 * b85 + 3444 b79 * b86 + 13940 b79 * b87 + 8364 b79 * b88 + 7872 b79 * b89 + 4756 b79 * b90 + 308 b79 * b92 + 28028 b79 * b93 + 21252 b79 * b94 + 18172 b79 * b96 + 5544 b79 * b97 + 12012 b79 * b98 + 12320 b79 * b99 + 23408 b79 * b100 + 9184 b79 * b101 + 48 b80 * b84 + 480 b80 * b85 + 504 b80 * b86 + 2040 b80 * b87 + 1224 b80 * b88 + 1152 b80 * b89 + 696 b80 * b90 + 26180 b80 * b92 + 3388 b80 * b93 + 17248 b80 * b94 + 18172 b80 * b95 + 5544 b80 * b97 + 11088 b80 * b98 + 23100 b80 * b99 + 17556 b80 * b100 + 1344 b80 * b101 + 200 b81 * b84 + 2000 b81 * b85 + 2100 b81 * b86 + 8500 b81 * b87 + 5100 b81 * b88 + 4800 b81 * b89 + 2900 b81 * b90 + 25872 b81 * b92 + 10780 b81 * b93 + 26488 b81 * b94 + 5544 b81 * b95 + 5544 b81 * b96 + 11088 b81 * b98 + 24332 b81 * b99 + 18788 b81 * b100 + 5600 b81 * b101 + 80 b82 * b84 + 800 b82 * b85 + 840 b82 * b86 + 3400 b82 * b87 + 2040 b82 * b88 + 1920 b82 * b89 + 1160 b82 * b90 + 3696 b82 * b92 + 25256 b82 * b93 + 13860 b82 * b94 + 23408 b82 * b95 + 17556 b82 * b96 + 18788 b82 * b97 + 6468 b82 * b98 + 2240 b82 * b101 + 32 b83 * b84 + 320 b83 * b85 + 336 b83 * b86 + 1360 b83 * b87 + 816 b83 * b88 + 768 b83 * b89 + 464 b83 * b90 + 8008 b83 * b93 + 28028 b83 * b94 + 12012 b83 * b95 + 11088 b83 * b96 + 11088 b83 * b97 + 27412 b83 * b99 + 6468 b83 * b100 + 896 b83 * b101 + 4180 b84 * b92 + 3608 b84 * b93 + 2464 b84 * b94 + 1804 b84 * b95 + 264 b84 * b96 + 1100 b84 * b97 + 176 b84 * b98 + 924 b84 * b99 + 440 b84 * b100 + 11020 b85 * b92 + 9512 b85 * b93 + 6496 b85 * b94 + 4756 b85 * b95 + 696 b85 * b96 + 2900 b85 * b97 + 464 b85 * b98 + 2436 b85 * b99 + 1160 b85 * b100 + 31160 b86 * b92 + 26896 b86 * b93 + 18368 b86 * b94 + 13448 b86 * b95 + 1968 b86 * b96 + 8200 b86 * b97 + 1312 b86 * b98 + 6888 b86 * b99 + 3280 b86 * b100 + 31160 b87 * b92 + 26896 b87 * b93 + 18368 b87 * b94 + 13448 b87 * b95 + 1968 b87 * b96 + 8200 b87 * b97 + 1312 b87 * b98 + 6888 b87 * b99 + 3280 b87 * b100 + 2280 b88 * b92 + 1968 b88 * b93 + 1344 b88 * b94 + 984 b88 * b95 + 144 b88 * b96 + 600 b88 * b97 + 96 b88 * b98 + 504 b88 * b99 + 240 b88 * b100 + 26980 b89 * b92 + 23288 b89 * b93 + 15904 b89 * b94 + 11644 b89 * b95 + 1704 b89 * b96 + 7100 b89 * b97 + 1136 b89 * b98 + 5964 b89 * b99 + 2840 b89 * b100 + 3040 b90 * b92 + 2624 b90 * b93 + 1792 b90 * b94 + 1312 b90 * b95 + 192 b90 * b96 + 800 b90 * b97 + 128 b90 * b98 + 672 b90 * b99 + 320 b90 * b100 + 29260 b91 * b92 + 25256 b91 * b93 + 17248 b91 * b94 + 12628 b91 * b95 + 1848 b91 * b96 + 7700 b91 * b97 + 1232 b91 * b98 + 6468 b91 * b99 + 3080 b91 * b100 + 26980 b92 * b101 + 23288 b93 * b101 + 15904 b94 * b101 + 11644 b95 * b101 + 1704 b96 * b101 + 7100 b97 * b101 + 1136 b98 * b101 + 5964 b99 * b101 + 2840 b100 * b101 ]/2 Subject To e2: b2 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 = 1 e3: b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b101 = 1 e4: b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b84 = 1 e5: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b85 = 1 e6: b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b86 = 1 e7: b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b87 = 1 e8: b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b88 = 1 e9: b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b89 = 1 e10: b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b90 = 1 e11: b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b91 = 1 e12: b2 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b101 = 1 e13: b3 + b12 + b21 + b30 + b39 + b48 + b57 + b66 + b75 + b99 = 1 e14: b4 + b13 + b22 + b31 + b40 + b49 + b58 + b67 + b76 + b92 = 1 e15: b5 + b14 + b23 + b32 + b41 + b50 + b59 + b68 + b77 + b93 = 1 e16: b6 + b15 + b24 + b33 + b42 + b51 + b60 + b69 + b78 + b94 = 1 e17: b7 + b16 + b25 + b34 + b43 + b52 + b61 + b70 + b79 + b95 = 1 e18: b8 + b17 + b26 + b35 + b44 + b53 + b62 + b71 + b80 + b96 = 1 e19: b9 + b18 + b27 + b36 + b45 + b54 + b63 + b72 + b81 + b97 = 1 e20: b10 + b19 + b28 + b37 + b46 + b55 + b64 + b73 + b82 + b100 = 1 e21: b11 + b20 + b29 + b38 + b47 + b56 + b65 + b74 + b83 + b98 = 1 Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 End