# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 145f7318ac66620d9c3c84343fae9853d9609dab49772877121974506c5b3f02 # shrinks to input = [153, 118, 34, 182, 146, 103, 162, 138, 252, 44, 82, 0, 253, 182, 29, 102, 100, 108, 111, 55, 125, 76, 105, 72, 159, 6, 61, 222, 104, 203, 230, 188, 158, 71, 241, 163, 149, 228, 224, 13, 25, 220, 122, 92, 206, 185, 52, 85, 179, 220, 198, 14, 87, 228, 255, 152, 70, 92, 50, 136, 212, 53, 192, 123, 61, 60, 249, 137, 36, 198, 127, 244, 128, 55, 209, 247, 197, 18, 70, 21, 66, 211, 125, 28, 46, 221, 183, 213, 146, 244, 188, 74, 252, 105, 202, 126, 115, 88, 172, 249, 78, 77, 204, 234, 192, 235, 23, 248, 97, 162, 37, 5, 50, 232, 91, 29, 160, 197, 111, 192, 24, 44, 165, 104, 214, 105, 79, 247, 208, 198, 6, 238, 158, 32, 115, 86, 19, 142, 251, 182, 73, 215, 36, 124, 166, 253, 119, 241, 71, 206, 202, 193, 158, 247, 159, 70, 63, 65, 241, 244, 168, 191, 183, 215, 185, 42, 57, 154, 243, 57, 56, 69, 48, 84, 79, 65, 214, 233, 195, 218, 223, 234, 184, 178, 176, 124, 190, 98, 63, 168, 116, 242, 231, 225, 77, 116, 138, 219, 11, 145, 3, 159, 71, 226, 194, 62, 21, 234, 115, 202, 5, 59, 210, 115, 163, 62, 38, 129, 30, 150, 132, 250, 227, 111, 210, 188, 107, 97, 155, 121, 199, 75, 209, 165, 74, 205, 43, 80, 191, 87, 23, 53, 145, 36, 209, 4, 148, 203, 32, 166, 182, 94, 16, 128, 148, 74, 163, 170, 38, 27, 101, 40, 34, 65, 23, 63, 174, 102, 160, 79, 50, 39, 191, 154, 218, 203, 213, 144, 227, 224, 46, 229, 203, 23, 1, 116, 194, 207, 137, 4, 104, 34, 212, 48, 118, 229, 35, 255, 90, 96, 3, 113, 146, 80, 76, 59, 208, 239, 78, 150, 192, 120, 99, 20, 177, 138, 191, 151, 79, 36, 165, 94, 13, 241, 222, 109, 144, 128, 189, 155, 101, 233, 156, 230, 254, 128, 163, 130, 28, 8, 195, 213, 37, 119, 137, 75, 127, 203, 192, 37, 162, 245, 41, 254, 110, 44, 139, 78, 6, 190, 164, 189, 212, 155, 18, 184, 200, 89, 56, 38, 170, 87, 187, 101, 22, 13, 1, 50, 7, 122, 226, 21, 198, 192, 11, 198, 112, 64, 39, 192, 211, 147, 91, 95, 237, 222, 41, 10, 106, 0, 248, 59, 243, 12, 66, 49, 33, 191, 59, 177, 17, 37, 252, 7, 61, 47, 211, 146, 97, 121, 86, 7, 222, 216, 28, 56, 22, 38, 248, 247, 229, 209, 35, 194, 244, 228, 201, 87, 26, 103, 2, 77, 126, 47, 94, 151, 41, 123, 191, 26, 189, 43, 135, 162, 230, 231, 28, 174, 119, 133, 214, 212, 58, 200, 236, 174, 146, 105, 186, 186, 59, 43, 231, 93, 30, 26, 52, 241, 239, 51, 88, 179, 137, 70, 190, 143, 73, 78, 165, 160, 161, 212, 141, 236, 247, 121, 11, 137, 16, 241, 70, 224, 111, 247, 90, 169, 51, 20, 184, 203, 155, 193, 180, 5, 108, 91, 205, 27, 30, 188, 244, 206, 136, 171, 232, 185, 104, 45, 72, 10, 86, 103, 66, 105, 89, 242, 76, 32, 53, 163, 223, 216, 249, 16, 217, 80, 235, 197, 163, 143, 5, 182, 164, 22, 178, 226, 114, 230, 147, 120, 43, 106, 134, 66, 108, 95, 184, 216, 235, 148, 215, 79, 213, 54, 14, 177, 190, 83, 29, 197, 85, 39, 46, 9, 22, 131, 99, 8, 34, 175, 253, 14, 126, 79, 96, 90, 204, 234, 242, 2, 214, 167, 132, 250, 21, 40, 54, 129, 25, 232, 219, 55, 143, 34, 14, 211, 164, 249, 224, 8, 151, 134, 166, 235, 211, 96, 240, 29, 249, 156, 23, 144, 250, 78, 51, 73, 139, 86, 24, 31, 227, 193, 228, 226, 239, 97, 41, 156, 66, 42, 149, 140, 141, 101, 230, 44, 45, 231, 175, 11, 230, 87, 122, 112, 85, 104, 135, 214, 234, 199, 9, 7, 7, 104, 194, 250, 178, 76, 227, 238, 215, 75, 186, 97, 207, 99, 208, 134, 136, 79, 161, 58, 185, 121, 152, 184, 218, 0, 214, 95, 125, 60, 193, 174, 53, 96, 137, 142, 82, 176, 193, 36, 134, 160, 165, 105, 230, 14, 223, 183, 121, 229, 114, 38, 186, 64, 92, 79, 241, 136, 236, 178, 185, 146, 46, 185, 202, 52, 118, 82, 143, 45, 182, 29, 164, 49, 236, 24, 193, 220, 232, 203, 34, 156, 249, 50, 85, 0, 237, 112, 174, 42, 138, 74, 84, 180, 3, 92, 171, 176, 106, 171, 83, 68, 83, 22, 98, 66, 159, 184, 253, 59, 151, 73, 209, 206, 167, 59, 130, 129, 190, 150, 228, 11, 18, 194, 25, 194, 76, 161, 52, 4, 147, 158, 247, 73, 254, 79, 175, 162, 213, 119, 246, 187, 10, 132, 243, 185, 197, 183, 109, 140, 127, 160, 163, 5, 73, 33, 107, 165, 75, 94, 253, 24, 15, 16, 4, 168, 15, 47, 94, 202, 52, 155, 38, 65, 142, 157, 159, 134, 124, 48, 47, 130, 204, 105, 210, 222, 207, 123, 79, 242, 52, 216, 111, 64, 37, 228, 158, 252, 61, 21, 185, 166, 168, 61, 222, 70, 163, 89, 16, 173, 44, 154, 135, 62, 86, 132, 77, 53, 110, 232, 199, 237, 128, 129, 85, 70, 133, 84, 53, 175, 12, 147, 173, 228, 236, 114, 21, 19, 13, 101, 219, 167, 16, 92, 192, 238, 187, 82, 47, 162, 0, 34, 34, 167, 136, 170, 181, 76, 61, 247, 201, 229, 7, 243, 51, 4, 127, 68, 215, 11, 93, 180, 85, 231, 200, 76, 84, 17, 47, 93, 19, 243, 24, 215, 127, 175, 215, 246, 165, 195, 108, 197, 106, 231, 157, 12, 93, 70, 14, 228, 209, 50, 38, 156, 218, 105, 202, 52, 186, 14, 163, 104, 37, 250, 94, 183, 56, 51, 176, 195, 220, 23, 170, 162, 23, 250, 105, 168, 154, 229, 164, 118, 104, 144, 47, 116, 245, 13, 82, 71, 245, 128, 2, 34, 35, 217, 190, 96, 85, 18, 35, 142, 210, 202, 181, 192, 63, 12, 155, 207, 1, 116, 0, 56, 243, 246, 1, 14, 48, 26, 90, 121, 64, 15, 255, 96, 179, 156, 42, 228, 240, 79, 114, 128, 80, 119, 119, 128, 0, 172, 80, 201, 138, 190, 196, 199, 208, 29, 43, 164, 3, 27, 138, 72, 140, 36, 12, 180, 61, 187, 249, 209, 57, 161, 103, 201, 166, 251, 36, 31, 85, 126, 136, 72, 58, 61, 21, 218, 208, 180, 153, 194, 160, 17, 74, 16, 158, 65, 225, 15, 77, 104, 69, 240, 90, 226, 49, 158, 214, 156, 139, 143, 239, 5, 68, 190, 254, 73, 41, 112, 215, 175, 190, 179, 61, 39, 165, 239, 58, 99, 198, 92, 83, 140, 135, 102, 46, 83, 147, 115, 221, 230, 76, 102, 66, 131, 243, 12, 91, 254, 190, 69, 233, 100, 240, 218, 196, 119, 141, 106, 234, 186, 149, 30, 243, 89, 57, 87, 208, 34, 184, 19, 22, 228, 76, 150, 43, 245, 157, 53, 183, 146, 86, 209, 131, 109, 125, 16, 153, 155, 229, 133, 36, 160, 240, 251, 177, 20, 190, 119, 117, 9, 151, 176, 98, 124, 158, 6, 243, 57, 11, 71, 15, 75, 29, 3, 231, 69, 234, 8, 176, 26, 45, 187, 161, 240, 1, 10, 202, 19, 212, 236, 250, 65, 57, 67, 141, 4, 74, 78, 196, 32, 44, 134, 48, 140, 253, 41, 231, 19, 191, 231, 30, 250, 195, 238, 28, 189, 92, 223, 100, 36, 216, 247, 87, 106, 192, 226, 43, 231, 141, 133, 184, 117, 128, 9, 131, 160, 101, 94, 54, 70, 135, 145, 252, 59, 30, 64, 182, 90, 172, 211, 98, 74, 153, 105, 74, 212, 43, 29, 220, 247, 20, 245, 177, 227, 88, 79, 24, 224, 59, 26, 123, 192, 181, 250, 106, 174, 195, 213, 135, 243, 97, 28, 43, 71, 167, 156, 71, 14, 130, 97, 219, 49, 75, 75, 53, 201, 63, 9, 142, 188, 75, 18, 204, 100, 63, 35, 237, 183, 185, 83, 104, 216, 128, 55, 42, 26, 76, 184, 156, 191, 230, 23, 212, 81, 106, 59, 205, 235, 82, 132, 32, 241, 154, 135, 78, 27, 168, 206, 115, 92, 230, 88, 118, 41, 92, 83, 130, 234, 156, 224, 98, 69, 177, 9, 255, 157, 13, 210, 135, 197, 89, 46, 231, 162, 252, 195, 12, 44, 140, 200, 41, 125, 68, 46, 98, 186, 75, 83, 11, 72, 38, 106, 129, 83, 129, 233, 84, 198, 162, 70, 213, 17, 155, 221, 175, 149, 154, 194, 17, 16, 129, 60, 244, 224, 72, 160, 142, 150, 200, 222, 92, 176, 28, 80, 0, 253, 128, 234, 137, 30, 243, 73, 220, 29, 96, 228, 48, 111, 160, 127, 156, 234, 26, 108, 67, 28, 41, 189, 150, 170, 15, 45, 149, 196, 182, 172, 11, 136, 199, 231, 76, 53, 190, 239, 233, 63, 51, 31, 34, 48, 147, 172, 52, 149, 66, 130, 139, 211, 230, 43, 18, 7, 196, 28, 71, 8, 203, 232, 253, 144, 250, 175, 169, 126, 207, 75, 1, 39, 29, 132, 69, 67, 116, 227, 213, 169, 48, 68, 178, 136, 60, 208, 38, 101, 75, 73, 185, 83, 176, 56, 21, 120, 135, 23, 199, 214, 227, 153, 101, 220, 108, 52, 159, 65, 49, 20, 61, 7, 33, 140, 19, 134, 76, 120, 38, 82, 127, 44, 39, 27, 150, 22, 99, 126, 176, 164, 218, 173, 173, 89, 227, 23, 231, 122, 33, 31, 177, 71, 97, 234, 192, 211, 92, 185, 165, 213, 30, 96, 7, 90, 236, 16, 44, 70, 184, 249, 234, 14, 16, 199, 193, 104, 92, 23, 9, 156, 47, 228, 239, 131, 22, 4, 254, 50, 142, 168, 74, 25, 214, 92, 164, 232, 58, 239, 64, 238, 243, 28, 12, 229, 133, 111, 73, 25, 5, 148, 86, 66, 254, 195, 242, 93, 72, 89, 168, 46, 219, 59, 127, 187, 201, 65, 39, 62, 173, 107, 178, 173, 58, 53, 144, 59, 134, 39, 118, 231, 105, 38, 137, 157, 220, 75, 196, 119, 136, 228, 28, 178, 90, 220, 228, 85, 121, 88, 105, 184, 21, 213, 24, 6, 242, 13, 75, 216, 241, 219, 141, 228, 121, 197, 237, 2, 216, 255, 220, 129, 56, 195, 84, 245, 103, 105, 53, 112, 150, 136, 19, 191, 171, 239, 91, 172, 218, 173, 43, 122, 201, 15, 35, 14, 70, 146, 155, 235, 67, 142, 232, 126, 7, 188, 246, 209, 86, 126, 153, 244, 159, 130, 4, 11, 90, 201, 18, 197, 41, 132, 182, 142, 157, 121, 244, 14, 56, 242, 207, 48, 196, 118, 224, 140, 190, 41, 225, 150, 252, 235, 220, 21, 159, 52, 209, 64, 234, 136, 99, 95, 63, 242, 236, 192, 229, 35, 184, 77, 154, 60, 255, 226, 25, 107, 89, 232, 64, 236, 76, 45, 38, 229, 95, 195, 120, 78, 250, 225, 132, 205, 216, 65, 54, 19, 35, 142, 160, 167, 52, 200, 116, 203, 116, 10, 217, 99, 18, 245, 119, 168, 222, 138, 145, 103, 247, 190, 5, 254, 175, 129, 205, 51, 182, 10, 185, 245, 203, 14, 227, 83, 86, 18, 174, 241, 62, 42, 245, 153, 54, 47, 25, 38, 50, 100, 31, 72, 216, 184, 140, 126, 35, 192, 110, 197, 43, 149, 10, 217, 35, 55, 55, 87, 182, 66, 218, 150, 177, 241, 239, 130, 179, 136, 127, 74, 43, 27, 94, 218, 161, 241, 24, 21, 177, 44, 177, 66, 51, 255, 199, 154, 33, 205, 159, 239, 68, 62, 68, 234, 191, 157, 99, 28, 238, 98, 165, 62, 65, 62, 219, 121, 14, 194, 60, 63, 124, 113, 199, 223, 168, 167, 175, 240, 233, 164, 69, 75, 105, 12, 135, 119, 173, 197, 60, 230, 122, 77, 254, 16, 216, 16, 218, 50, 86, 145, 189, 242, 116, 237, 190, 150, 152, 26, 63, 71, 114, 150, 201, 199, 228, 231, 61, 199, 117, 62, 64, 230, 189, 225, 89, 73, 95, 171, 246, 37, 57, 8, 39, 155, 74, 20, 25, 154, 222, 154, 76, 133, 76, 160, 110, 184, 137, 124, 174, 85, 108, 207, 248, 125, 181, 122, 115, 201, 39, 34, 12, 207, 148, 109, 222, 32, 167, 36, 103, 77, 160, 57, 249, 14, 94, 78, 180, 2, 192, 67, 15, 141, 174, 51, 215, 122, 13, 124, 161, 68, 175, 233, 97, 240, 106, 14, 21, 220, 209, 249, 18, 124, 187, 55, 31, 134, 117, 66, 71, 228, 133, 91, 107, 252, 78, 31, 209, 149, 59, 190, 66, 32, 207, 81, 85, 124, 36, 230, 42, 81, 110, 70, 199, 146, 97, 55, 199, 25, 203, 144, 26, 223, 201, 218, 223, 66, 202, 161, 183, 135, 92, 137, 11, 1, 67, 9, 6, 108, 211, 121, 100, 60, 137, 237, 73, 249, 111, 69, 89, 115, 108, 165, 25, 50, 204, 105, 200, 200, 41, 21, 66, 235, 54, 67, 60, 220, 165, 9, 34, 100, 69, 240, 174, 186, 154, 202, 213, 247, 167, 147, 87, 75, 11, 144, 78, 117, 216, 46, 47, 173, 255, 154, 67, 58, 200, 47, 11, 193, 210, 164, 106, 107, 148, 65, 132, 36, 159, 83, 204, 69, 125, 15, 188, 76, 243, 44, 23, 1, 216, 168, 250, 243, 82, 210, 241, 153, 140, 66, 47, 239, 177, 243, 134, 135, 131, 72, 118, 50, 113, 15, 37, 97, 207, 94, 130, 210, 72, 103, 195, 23, 193, 64, 217, 120, 206, 103, 39, 214, 85, 37, 13, 138, 207, 208, 117, 124, 181, 125, 15, 252, 83, 110, 14, 91, 145, 85, 231, 57, 123, 83, 129, 218, 189, 240, 138, 19, 89, 189, 236, 12, 1, 62, 36, 139, 103, 141, 244, 149, 105, 108, 106, 148, 132, 71, 1, 232, 61, 238, 6, 2, 230, 43, 209, 165, 64, 253, 25, 176, 195, 227, 26, 40, 230, 204, 87, 156, 3, 145, 242, 183, 6, 242, 230, 226, 212, 195, 34, 166, 101, 106, 38, 147, 69, 16, 194, 201, 138, 126, 9, 55, 170, 205, 115, 207, 129, 59, 122, 85, 229, 76, 155, 33, 132, 80, 85, 160, 123, 70, 116, 22, 211, 136, 15, 219, 95, 147, 130, 108, 146, 219, 23, 231, 156, 148, 51, 131, 211, 180, 50, 76, 189, 29, 46, 177, 61, 84, 222, 237, 246, 31, 25, 21, 121, 11, 186, 177, 99, 251, 122, 209, 179, 45, 114, 93, 183, 97, 76, 170, 193, 83, 180, 40, 245, 26, 28, 243, 0, 10, 75, 203, 156, 191, 84, 111, 223, 46, 31, 88, 28, 167, 83, 98, 254, 13, 201, 170, 68, 51, 115, 254, 19, 12, 243, 147, 40, 234, 150, 190, 90, 236, 98, 237, 38, 118, 38, 238, 99, 210, 156, 89, 33, 176, 76, 77, 69, 168, 133, 172, 180, 25, 166, 73, 64, 161, 119, 228, 147, 139, 173, 79, 181, 218, 76, 99, 165, 175, 183, 41, 111, 141, 86, 210, 250, 190, 46, 174, 177, 224, 68, 177, 98, 139, 106, 157, 151, 228, 167, 75, 250, 167, 80, 219, 168, 43, 205, 141, 133, 224, 156, 78, 36, 188, 20, 168, 18, 232, 141, 103, 208, 148, 80, 29, 199, 226, 209, 10, 78, 180, 154, 64, 69, 175, 175, 152, 164, 102, 182, 100, 96, 83, 206, 174, 219, 73, 90, 172, 4, 227, 81, 132, 249, 41, 5, 149, 252, 91, 216, 201, 129, 244, 243, 168, 211, 155, 248, 65, 63, 165, 135, 2, 85, 167, 87, 11, 119, 168, 105, 248, 176, 192, 203, 112, 169, 28, 120, 192, 4, 181, 42, 16, 29, 131, 142, 81, 177, 11, 98, 163, 186, 37, 54, 168, 163, 185, 56, 135, 158, 220, 168, 83, 151, 21, 200, 162, 151, 180, 38, 241, 217, 78, 206, 159, 79, 129, 151, 59, 2, 52, 96, 114, 248, 5, 5, 1, 210, 93, 134, 154, 255, 240, 252, 47, 162, 13, 31, 92, 88, 126, 161, 98, 206, 98, 175, 218, 14, 204, 195, 57, 128, 155, 190, 244, 127, 138, 95, 104, 206, 94, 146, 91, 127, 139, 233, 55, 199, 245, 191, 155, 217, 18, 170, 94, 37, 76, 183, 105, 208, 70, 12, 84, 27, 196, 181, 1, 99, 240, 32, 99, 21, 180, 153, 143, 59, 71, 207, 216, 99, 41, 83, 220, 98, 184, 66, 215, 156, 170, 145, 169, 246, 107, 181, 202, 59, 161, 67, 73, 95, 30, 40, 67, 28, 7, 255, 160, 144, 146, 79, 97, 70, 93, 89, 128, 235, 177, 180, 226, 51, 221, 168, 39, 101, 3, 248, 78, 211, 20, 124, 105, 93, 221, 115, 33, 177, 18, 205, 155, 200, 198, 183, 248, 89, 209, 164, 247, 156, 241, 8, 136, 101, 158, 217, 215, 231, 44, 181, 110, 133, 134, 175, 111, 194, 239, 227, 230, 172, 176, 120, 68, 162, 45, 36, 143, 218, 60, 163, 98, 251, 198, 138, 28, 163, 61, 115, 200, 163, 171, 90, 224, 44, 4, 254, 122, 176, 225, 189, 238, 237, 209, 216, 132, 18, 235, 101, 132, 7, 47, 215, 134, 26, 47, 109, 33, 167, 178, 146, 152, 97, 61, 209, 203, 4, 5, 132, 219, 193, 139, 143, 249, 192, 153, 210, 173, 91, 120, 37, 167, 35, 46, 168, 29, 154, 25, 237, 101, 157, 124, 4, 208, 64, 78, 99, 43, 160, 47, 129, 246, 201, 215, 163, 211, 7, 88, 251, 96, 70, 96, 184, 111, 56, 79, 15, 34, 219, 62, 22, 11, 4, 166, 53, 1, 154, 99, 25, 164, 49, 23, 29, 136, 85, 134, 149, 151, 26, 105, 76, 112, 176, 206, 117, 69, 202, 19, 236, 109, 85, 0, 247, 242, 150, 90, 200, 139, 204, 119, 250, 84, 159, 116, 255, 222, 230, 16, 129, 139, 175, 145, 89, 151, 245, 23, 9, 200, 100, 150, 161, 123, 48, 87, 58, 32, 4, 45, 171, 2, 237, 162, 50, 79, 34, 178, 41, 56, 61, 120, 19, 104, 64, 238, 26, 16]
cc 6ca89ce728c5290dee68e19bf09c95e9b4791782908703757d346d050f7f662a # shrinks to input = [0]
cc ae077eeea508f2abebd7504ba5da433e5f248db4403f89a316349581ddf4e83f # shrinks to input = [79, 47, 53, 52, 48, 70, 43, 56, 98, 99, 69, 122, 112, 67, 68, 67, 102, 75, 71, 85, 53, 108, 48, 97, 79, 83, 101, 73, 78, 114, 109, 87, 76, 57, 119, 78, 120, 111, 117, 66, 86, 88, 80, 88, 52, 57, 106, 102, 104, 98, 67, 55, 80, 103, 48, 104, 117, 115, 70, 83, 52, 71, 74, 80, 75, 53, 47, 79, 71, 118, 55, 111, 70, 113, 56, 68, 89, 66, 43, 66, 55, 74, 118, 107, 72, 47, 108, 88, 77, 87, 109, 109, 107, 71, 101, 89, 85, 89, 72, 81, 122, 48, 100, 110, 101, 68, 98, 102, 79, 71, 49, 84, 82, 53, 108, 111, 85, 116, 105, 49, 84, 66, 82, 80, 121, 102, 79, 99, 57, 70, 119, 73, 103, 75, 43, 65, 78, 57, 87, 87, 65, 82, 100, 78, 56, 105, 119, 85, 86, 50, 115, 82, 105, 107, 97, 122, 107, 79, 90, 87, 119, 66, 85, 110, 83, 111, 50, 51, 47, 117, 104, 72, 120, 70, 87, 118, 68, 55, 57, 110, 114, 102, 110, 121, 100, 88, 120, 102, 78, 101, 118, 84, 71, 121, 103, 70, 56, 106, 86, 119, 50, 106, 52, 111, 73, 99, 106, 120, 82, 117, 67, 52, 109, 106, 100, 119, 102, 107, 80, 65, 88, 90, 67, 112, 56, 66, 80, 99, 105, 50, 76, 113, 86, 105, 51, 67, 105, 56, 77, 68, 73, 43, 120, 71, 66, 78, 99, 90, 113, 118, 82, 49, 111, 104, 51, 84, 67, 74, 87, 53, 98, 57, 105, 43, 80, 97, 56, 79, 100, 74, 119, 120, 57, 50, 81, 73, 77, 78, 50, 98, 105, 69, 119, 79, 102, 48, 88, 85, 113, 85, 98, 107, 102, 66, 73, 67, 112, 56, 89, 86, 99, 70, 72, 50, 115, 75, 65, 67, 104, 98, 100, 51, 54, 84, 103, 68, 71, 52, 49, 86, 77, 112, 55, 50, 80, 104, 82, 56, 101, 53, 99, 90, 85, 97, 78, 121, 72, 108, 110, 122, 110, 82, 79, 111, 108, 72, 121, 72, 105, 75, 77, 72, 71, 112, 57, 113, 67, 75, 110, 119, 50, 50, 75, 65, 74, 87, 75, 103, 116, 73, 116, 66, 53, 70, 118, 54, 108, 79, 83, 81, 52, 90, 100, 111, 54, 73, 73, 77, 53, 49, 49, 43, 118, 66, 85, 112, 106, 100, 55, 82, 115, 100, 82, 117, 90, 107, 122, 112, 118, 47, 70, 121, 70, 71, 76, 51, 101, 68, 81, 109, 104, 115, 120, 75, 53, 105, 83, 120, 112, 57, 103, 48, 122, 120, 69, 72, 120, 65, 69, 103, 101, 119, 48, 101, 115, 114, 113, 78, 87, 88, 49, 119, 89, 90, 72, 106, 67, 48, 82, 111, 88, 117, 67, 54, 86, 75, 112, 54, 77, 103, 122, 47, 71, 100, 108, 121, 70, 111, 81, 67, 79, 85, 67, 85, 69, 109, 82, 66, 102, 53, 68, 78, 57, 56, 111, 121, 121, 114, 89, 43, 68, 119, 76, 120, 121, 97, 66, 100, 120, 74, 84, 104, 84, 121, 108, 120, 108, 114, 86, 47, 116, 102, 72, 49, 82, 49, 82, 105, 114, 117, 99, 119, 98, 88, 99, 82, 112, 71, 117, 51, 121, 110, 82, 109, 81, 52, 73, 76, 107, 105, 89, 48, 83, 102, 87, 66, 88, 103, 53, 107, 112, 80, 116, 50, 77, 65, 79, 52, 109, 73, 49, 100, 99, 79, 54, 115, 97, 111, 80, 66, 83, 100, 84, 43, 66, 100, 122, 66, 43, 67, 118, 121, 111, 117, 100, 78, 116, 74, 43, 43, 67, 81, 53, 118, 98, 55, 70, 66, 71, 86, 83, 81, 56, 107, 106, 65, 50, 52, 114, 86, 81, 99, 90, 48, 100, 67, 76, 86, 66, 70, 82, 115, 84, 112, 76, 110, 105, 90, 48, 68, 119, 80, 66, 84, 67, 111, 83, 84, 106, 84, 47, 98, 122, 48, 50, 78, 120, 49, 67, 51, 65, 73, 80, 122, 47, 48, 43, 118, 99, 99, 83, 87, 107, 52, 49, 115, 90, 97, 122, 107, 65, 117, 57, 49, 90, 107, 71, 71, 97, 99, 101, 112, 69, 48, 85, 112, 83, 121, 116, 99, 83, 120, 99, 75, 69, 51, 90, 75, 76, 110, 100, 102, 72, 105, 105, 68, 120, 86, 113, 102, 86, 116, 70, 114, 57, 102, 54, 70, 57, 116, 50, 54, 103, 98, 87, 79, 51, 71, 109, 48, 67, 106, 71, 57, 77, 108, 67, 53, 101, 77, 107, 98, 107, 87, 101, 70, 48, 52, 99, 114, 76, 98, 106, 115, 100, 79, 73, 122, 65, 82, 116, 108, 106, 102, 119, 76, 55, 56, 108, 47, 120, 51, 102, 116, 118, 74, 103, 75, 109, 86, 90, 71, 120, 98, 103, 102, 71, 90, 86, 67, 67, 55, 81, 73, 87, 84, 83, 48, 54, 80, 114, 103, 55, 67, 47, 71, 116, 111, 106, 54, 71, 111, 113, 114, 112, 104, 98, 85, 116, 118, 110, 48, 76, 102, 57, 74, 88, 51, 47, 69, 52, 88, 116, 69, 89, 114, 97, 102, 121, 101, 101, 102, 119, 117, 65, 118, 112, 75, 55, 47, 77, 51, 107, 88, 57, 66, 76, 118, 75, 78, 116, 115, 113, 67, 72, 53, 78, 102, 113, 104, 49, 97, 122, 115, 69, 43, 73, 73, 99, 66, 101, 53, 117, 83, 71, 69, 98, 50, 98, 113, 82, 52, 48, 85, 115, 87, 88, 84, 121, 70, 86, 68, 118, 53, 76, 84, 109, 65, 57, 68, 108, 78, 88, 103, 47, 85, 84, 101, 87, 57, 113, 70, 80, 119, 86, 106, 108, 77, 76, 57, 43, 57, 114, 43, 56, 110, 87, 56, 120, 71, 85, 89, 97, 65, 78, 43, 89, 120, 52, 83, 100, 84, 52, 115, 80, 74, 70, 111, 86, 57, 69, 108, 120, 69, 113, 118, 72, 77, 86, 72, 88, 56, 101, 117, 90, 112, 66, 103, 73, 120, 77, 112, 113, 83, 80, 121, 109, 112, 74, 57, 100, 43, 86, 56, 87, 111, 101, 118, 43, 85, 90, 83, 70, 110, 101, 50, 106, 65, 70, 86, 52, 53, 110, 101, 103, 77, 114, 57, 103, 57, 66, 110, 116, 116, 100, 87, 88, 77, 52, 85, 122, 106, 81, 97, 120, 76, 88, 101, 71, 111, 80, 52, 52, 43, 65, 113, 108, 75, 78, 79, 53, 111, 116, 90, 76, 79, 51, 88, 98, 106, 70, 110, 112, 71, 73, 90, 122, 70, 121, 73, 81, 103, 110, 108, 108, 54, 73, 74, 89, 52, 119, 77, 49, 111, 116, 84, 70, 90, 54, 105, 115, 51, 82, 78, 86, 47, 101, 88, 117, 67, 110, 69, 67, 79, 88, 104, 110, 108, 66, 65, 118, 101, 76, 68, 114, 52, 85, 74, 71, 65, 57, 113, 116, 117, 73, 76, 88, 66, 117, 113, 119, 49, 88, 104, 68, 104, 56, 100, 81, 118, 116, 77, 75, 117, 47, 76, 112, 76, 77, 74, 66, 84, 76, 51, 119, 87, 100, 102, 78, 109, 75, 86, 67, 109, 111, 47, 87, 101, 51, 81, 112, 54, 53, 56, 122, 108, 121, 110, 111, 57, 78, 81, 97, 73, 98, 97, 77, 71, 56, 55, 112, 53, 120, 89, 76, 43, 121, 110, 85, 90, 75, 98, 81, 105, 51, 97, 100, 113, 55, 112, 53, 69, 50, 104, 107, 50, 99, 109, 98, 111, 65, 113, 65, 122, 120, 48, 77, 57, 120, 101, 118, 71, 110, 77, 122, 86, 68, 78, 69, 89, 106, 70, 121, 51, 55, 77, 51, 88, 57, 74, 103, 79, 68, 122, 71, 107, 109, 50, 81, 120, 54, 105, 115, 100, 85, 48, 70, 107, 48, 72, 119, 113, 119, 115, 56, 57, 114, 90, 118, 106, 48, 113, 82, 73, 55, 78, 73, 113, 112, 43, 57, 48, 71, 85, 105, 97, 117, 78, 86, 90, 119, 116, 68, 101, 74, 72, 49, 79, 100, 85, 78, 122, 82, 107, 109, 70, 53, 72, 105, 99, 80, 104, 84, 90, 105, 68, 57, 87, 76, 113, 117, 113, 77, 48, 97, 100, 56, 113, 105, 73, 109, 104, 79, 43, 52, 80, 65, 97, 51, 101, 67, 89, 106, 52, 118, 89, 115, 106, 119, 50, 88, 84, 117, 113, 75, 43, 75, 52, 104, 116, 104, 116, 85, 52, 72, 65, 73, 105, 52, 103, 66, 120, 77, 110, 53, 74, 79, 75, 72, 112, 107, 105, 112, 43, 76, 103, 49, 83, 47, 71, 69, 50, 100, 52, 82, 48, 120, 107, 87, 122, 65, 120, 71, 65, 119, 108, 50, 115, 75, 50, 74, 49, 111, 86, 105, 43, 71, 121, 122, 67, 75, 57, 101, 100, 86, 65, 71, 85, 80, 110, 65, 73, 106, 54, 104, 69, 75, 65, 56, 105, 43, 70, 84, 49, 111, 102, 49, 80, 82, 81, 84, 118, 86, 72, 50, 48, 120, 84, 98, 67, 78, 56, 107, 75, 84, 57, 90, 105, 107, 67, 98, 119, 68, 103, 111, 43, 121, 116, 66, 115, 104, 106, 102, 114, 110, 121, 106, 104, 86, 43, 57, 98, 86, 98, 68, 77, 49, 81, 56, 69, 83, 83, 112, 87, 54, 110, 70, 122, 49, 99, 90, 84, 112, 90, 55, 118, 49, 53, 98, 73, 69, 117, 103, 66, 86, 74, 51, 86, 121, 102, 115, 53, 117, 81, 97, 43, 72, 65, 122, 106, 117, 78, 88, 73, 65, 50, 111, 52, 116, 116, 98, 97, 86, 71, 69, 97, 66, 75, 119, 57, 121, 82, 108, 102, 109, 67, 51, 70, 47, 52, 78, 84, 97, 119, 121, 69, 119, 86, 75, 84, 107, 115, 76, 89, 120, 90, 68, 108, 85, 104, 79, 84, 66, 51, 121, 87, 74, 120, 110, 55, 89, 76, 111, 119, 55, 80, 71, 43, 81, 48, 54, 47, 72, 119, 82, 89, 122, 106, 107, 47, 106, 103, 101, 71, 79, 71, 65, 117, 109, 66, 99, 121, 78, 104, 56, 68, 67, 79, 56, 75, 109, 97, 70, 80, 97, 49, 52, 89, 56, 57, 117, 112, 82, 120, 119, 87, 48, 109, 76, 48, 81, 102, 112, 104, 53, 90, 79, 101, 78, 121, 57, 87, 70, 104, 98, 87, 100, 109, 83, 104, 112, 48, 118, 112, 103, 82, 48, 80, 110, 53, 114, 55, 118, 118, 88, 106, 53, 47, 121, 82, 110, 84, 75, 121, 76, 66, 75, 84, 81, 101, 73, 120, 76, 115, 81, 75, 76, 49, 120, 56, 120, 48, 66, 51, 67, 73, 68, 70, 67, 118, 66, 113, 88, 111, 116, 50, 105, 70, 115, 48, 115, 70, 98, 118, 122, 109, 76, 51, 69, 76, 122, 55, 72, 67, 76, 67, 106, 43, 115, 69, 105, 57, 86, 102, 57, 87, 97, 106, 75, 88, 88, 104, 86, 82, 43, 56, 51, 109, 76, 88, 43, 83, 56, 111, 86, 88, 75, 52, 88, 89, 99, 87, 97, 99, 120, 108, 78, 82, 50, 81, 49, 97, 82, 114, 50, 56, 114, 68, 109, 51, 69, 52, 54, 107, 115, 69, 74, 55, 56, 120, 72, 81, 122, 83, 68, 112, 113, 106, 81, 88, 105, 111, 49, 88, 115, 106, 88, 116, 98, 78, 47, 66, 57, 49, 81, 90, 47, 80, 118, 121, 74, 72, 121, 102, 119, 76, 101, 109, 66, 80, 82, 48, 98, 120, 83, 73, 106, 118, 54, 81, 74, 97, 68, 68, 114, 49, 66, 82, 56, 119, 102, 102, 73, 116, 67, 79, 98, 106, 112, 55, 113, 105, 119, 81, 99, 99, 55, 109, 50, 112, 52, 120, 77, 53, 49, 54, 77, 89, 113, 122, 67, 90, 88, 55, 53, 81, 116, 106, 80, 87, 76, 86, 50, 65, 67, 106, 86, 69, 118, 65, 50, 100, 83, 113, 108, 78, 97, 88, 73, 51, 102, 68, 98, 73, 87, 82, 55, 117, 117, 85, 88, 116, 89, 53, 103, 72, 75, 47, 90, 77, 76, 53, 47, 111, 55, 98, 43, 102, 79, 72, 110, 78, 121, 79, 83, 112, 82, 85, 86, 110, 119, 65, 115, 75, 54, 112, 102, 82, 86, 100, 105, 120, 114, 76, 102, 116, 122, 50, 102, 53, 75, 110, 73, 51, 74, 98, 89, 47, 78, 85, 66, 100, 102, 79, 77, 113, 70, 103, 121, 53, 74, 77, 112, 113, 72, 84, 104, 53, 71, 102, 113, 120, 57, 120, 74, 102, 119, 83, 81, 120, 111, 120, 118, 122, 121, 70, 77, 115, 116, 111, 108, 49, 114, 85, 88, 52, 119, 51, 121, 113, 119, 109, 106, 100, 82, 111, 105, 111, 99, 73, 89, 121, 110, 83, 72, 103, 100, 68, 55, 98, 119, 76, 43, 57, 118, 80, 48, 81, 119, 73, 79, 104, 54, 97, 74, 87, 49, 49, 118, 81, 70, 97, 104, 109, 98, 120, 79, 90, 72, 73, 86, 113, 117, 81, 80, 121, 87, 49, 80, 66, 121, 80, 110, 52, 115, 43, 89, 72, 80, 103, 72, 86, 71, 79, 48, 102, 121, 98, 51, 56, 78, 76, 78, 102, 88, 54, 111, 48, 99, 107, 50, 71, 68, 114, 66, 65, 81, 97, 121, 67, 109, 50, 104, 106, 75, 48, 101, 104, 72, 122, 71, 65, 56, 115, 84, 112, 111, 113, 115, 98, 65, 97, 117, 74, 89, 75, 117, 68, 51, 121, 115, 56, 112, 56, 102, 115, 77, 70, 81, 105, 105, 89, 117, 81, 120, 117, 97, 115, 119, 105, 105, 106, 56, 55, 82, 103, 68, 100, 112, 119, 122, 121, 97, 77, 117, 110, 70, 104, 74, 53, 102, 110, 52, 47, 72, 104, 77, 104, 65, 65, 68, 50, 85, 105, 102, 53, 52, 83, 117, 77, 120, 76, 107, 98, 69, 76, 73, 57, 103, 114, 81, 69, 49, 111, 71, 76, 108, 74, 71, 110, 120, 85, 52, 106, 86, 48, 122, 81, 97, 78, 82, 87, 119, 50, 103, 77, 70, 107, 57, 85, 72, 79, 66, 67, 110, 106, 115, 111, 56, 77, 71, 98, 81, 56, 66, 66, 52, 43, 69, 83, 113, 103, 65, 79, 110, 75, 67, 53, 99, 97, 66, 111, 110, 68, 86, 100, 110, 81, 86, 68, 122, 104, 116, 69, 119, 115, 106, 109, 112, 110, 72, 122, 99, 119, 119, 52, 89, 109, 103, 49, 105, 90, 101, 121, 82, 88, 52, 122, 74, 68, 105, 52, 110, 90, 101, 87, 78, 67, 43, 120, 82, 82, 89, 112, 71, 74, 108, 48, 113, 65, 75, 104, 90, 89, 111, 118, 84, 100, 66, 56, 43, 115, 81, 116, 49, 80, 66, 85, 88, 49, 50, 76, 67, 43, 51, 71, 81, 115, 105, 48, 107, 85, 89, 110, 120, 51, 102, 100, 54, 114, 97, 67, 47, 50, 112, 75, 117, 76, 74, 53, 51, 104, 101, 110, 119, 78, 84, 47, 47, 85, 97, 55, 75, 74, 52, 53, 107, 78, 66, 107, 81, 53, 43, 78, 106, 99, 72, 102, 115, 84, 80, 113, 73, 119, 113, 52, 68, 90, 79, 101, 105, 57, 98, 102, 115, 67, 67, 115, 66, 101, 52, 105, 87, 79, 79, 83, 68, 121, 72, 122, 65, 105, 57, 76, 121, 106, 85, 69, 52, 77, 51, 89, 102, 101, 115, 73, 104, 55, 120, 53, 76, 74, 88, 65, 97, 86, 116, 97, 108, 83, 69, 99, 85, 109, 99, 115, 50, 51, 52, 101, 101, 100, 106, 89, 109, 110, 79, 98, 71, 97, 82, 74, 68, 65, 75, 71, 72, 86, 65, 49, 43, 100, 115, 71, 77, 116, 79, 89, 101, 74, 86, 67, 54, 119, 101, 73, 120, 102, 77, 85, 52, 112, 102, 83, 70, 51, 50, 105, 51, 102, 116, 115, 66, 70, 48, 51, 110, 88, 79, 120, 119, 115, 99, 110, 114, 66, 110, 115, 109, 115, 103, 72, 119, 97, 110, 68, 101, 102, 52, 55, 69, 80, 115, 89, 106, 107, 75, 69, 88, 89, 77, 103, 68, 101, 106, 107, 113, 86, 108, 101, 67, 110, 84, 109, 77, 116, 53, 67, 54, 65, 77, 109, 99, 51, 116, 76, 99, 113, 73, 105, 101, 106, 89, 108, 118, 114, 53, 90, 68, 77, 84, 52, 100, 101, 74, 120, 56, 55, 48, 89, 102, 43, 108, 49, 114, 72, 80, 69, 52, 43, 101, 52, 120, 55, 81, 82, 81, 82, 101, 122, 80, 105, 48, 119, 109, 117, 86, 99, 69, 104, 121, 118, 66, 102, 68, 118, 105, 88, 105, 49, 74, 98, 122, 100, 65, 76, 69, 73, 122, 110, 67, 122, 66, 43, 115, 55, 69, 115, 80, 121, 73, 112, 48, 103, 89, 82, 101, 100, 87, 115, 112, 66, 52, 76, 118, 86, 100, 104, 100, 82, 71, 105, 43, 48, 112, 48, 76, 97, 82, 83, 74, 100, 49, 103, 87, 99, 85, 97, 111, 50, 101, 48, 70, 100, 76, 52, 106, 43, 82, 87, 101, 116, 47, 71, 98, 114, 49, 71, 83, 65, 65, 101, 120, 69, 106, 110, 73, 83, 48, 72, 72, 77, 116, 57, 78, 78, 117, 72, 67, 68, 50, 122, 121, 87, 102, 122, 73, 98, 79, 83, 65, 115, 70, 82, 117, 116, 55, 68, 88, 78, 121, 50, 56, 84, 102, 77, 56, 122, 86, 84, 121, 120, 108, 98, 70, 80, 99, 67, 75, 71, 70, 85, 56, 78, 121, 100, 47, 82, 110, 119, 53, 68, 82, 86, 55, 106, 112, 104, 84, 106, 85, 53, 101, 47, 48, 105, 85, 111, 116, 77, 118, 81, 86, 114, 116, 65, 90, 84, 121, 52, 107, 65, 105, 72, 99, 120, 71, 48, 78, 115, 99, 90, 106, 72, 50, 67, 110, 47, 49, 78, 57, 43, 115, 50, 67, 102, 109, 84, 51, 105, 98, 89, 48, 118, 75, 122, 68, 71, 102, 87, 53, 116, 85, 104, 106, 65, 80, 76, 88, 55, 102, 56, 102, 89, 87, 47, 65, 97, 101, 55, 72, 80, 113, 43, 103, 86, 81, 48, 48, 82, 100, 74, 113, 73, 99, 86, 72, 110, 118, 116, 65, 86, 106, 90, 105, 104, 55, 102, 110, 122, 89, 112, 106, 116, 104, 73, 75, 57, 100, 86, 72, 73, 69, 101, 79, 115, 86, 53, 115, 55, 84, 51, 78, 47, 100, 69, 117, 99, 99, 106, 112, 79, 83, 65, 112, 65, 69, 80, 82, 117, 57, 53, 100, 77, 117, 81, 104, 102, 100, 118, 55, 118, 103, 118, 102, 117, 70, 121, 78, 72, 49, 82, 86, 80, 111, 84, 53, 88, 100, 76, 75, 79, 69, 85, 110, 49, 71, 118, 122, 50, 103, 54, 51, 50, 100, 79, 90, 88, 110, 76, 119, 75, 115, 114, 89, 72, 99, 112, 48, 97, 74, 52, 86, 100, 110, 81, 98, 73, 113, 121, 120, 110, 68, 121, 110, 85, 111, 121, 66, 113, 52, 87, 113, 49, 78, 74, 65, 77, 87, 55, 87, 71, 54, 103, 114, 57, 98, 104, 89, 65, 102, 56, 102, 57, 118, 75, 85, 120, 104, 87, 99, 113, 82, 79, 111, 70, 49, 99, 78, 99, 100, 111, 102, 70, 85, 113, 97, 49, 89, 81, 51, 68, 110, 89, 120, 78, 69, 99, 112, 113, 102, 104, 52, 54, 122, 73, 103, 104, 108, 67, 57, 82, 122, 67, 104, 98, 99, 77, 76, 111, 69, 52, 83, 85, 56, 67, 66, 73, 99, 99, 67, 118, 76, 79, 49, 87, 120, 83, 121, 109, 116, 105, 112, 90, 104, 118, 99, 113, 86, 118, 120, 114, 48, 52, 43, 55, 81, 82, 117, 76, 47, 105, 112, 43, 56, 54, 57, 108, 108, 97, 71, 82, 122, 101, 57, 66, 53, 57, 48, 81, 121, 65, 57, 86, 68, 56, 120, 53, 49, 84, 49, 104, 107, 75, 56, 43, 100, 75, 52, 99, 83, 66, 68, 106, 68, 86, 101, 70, 99, 89, 110, 57, 119, 115, 68, 122, 75, 110, 49, 104, 110, 120, 50, 47, 112, 109, 84, 43, 114, 113, 65, 83, 76, 52, 53, 97, 79, 84, 118, 107, 114, 122, 78, 114, 77, 106, 113, 75, 118, 73, 117, 121, 70, 101, 103, 82, 56, 57, 113, 97, 82, 109, 121, 87, 120, 47, 118, 86, 101, 112, 113, 72, 116, 109, 115, 48, 118, 47, 65, 100, 122, 56, 54, 73, 81, 80, 77, 119, 51, 88, 67, 74, 81, 65, 82, 71, 50, 79, 78, 106, 69, 66, 78, 118, 82, 84, 57, 102, 53, 55, 84, 47, 90, 66, 99, 102, 48, 75, 69, 108, 73, 89, 108, 75, 108, 73, 98, 74, 48, 50, 76, 72, 89, 82, 84, 48, 50, 106, 107, 56, 81, 55, 70, 114, 50, 120, 69, 84, 107, 47, 100, 76, 100, 83, 55, 82, 78, 113, 102, 77, 71, 51, 106, 90, 115, 75, 56, 71, 107, 78, 121, 99, 70, 101, 106, 87, 116, 77, 119, 87, 110, 105, 86, 75, 51, 48, 121, 101, 56, 90, 76, 85, 48, 119, 111, 43, 56, 75, 52, 78, 50, 81, 120, 43, 120, 76, 81, 75, 68, 57, 48, 84, 79, 72, 86, 122, 120, 76, 67, 119, 47, 108, 108, 55, 88, 77, 77, 84, 119, 55, 79, 115, 120, 102, 112, 122, 80, 108, 100, 65, 82, 102, 65, 115, 109, 101, 74, 52, 57, 107, 70, 73, 71, 118, 47, 114, 78, 116, 107, 114, 76, 77, 121, 87, 80, 120, 117, 70, 109, 80, 68, 49, 110, 67, 53, 105, 89, 50, 107, 75, 109, 54, 98, 71, 116, 106, 56, 118, 68, 71, 99, 105, 102, 100, 70, 86, 117, 108, 119, 121, 81, 105, 102, 116, 106, 66, 120, 117, 52, 75, 114, 117, 71, 47, 106, 75, 72, 82, 114, 55, 66, 73, 122, 43, 66, 81, 102, 77, 65, 104, 54, 56, 85, 119, 121, 77, 101, 108, 103, 101, 79, 53, 87, 53, 57, 74, 104, 106, 76, 78, 120, 89, 57, 103, 56, 77, 48, 108, 79, 53, 43, 81, 83, 67, 67, 120, 68, 51, 66, 70, 110, 47, 47, 114, 110, 47, 110, 110, 80, 117, 119, 116, 112, 79, 117, 47, 48, 75, 48, 116, 48, 107, 47, 71, 90, 70, 68, 121, 80, 113, 89, 69, 82, 115, 120, 78, 79, 109, 114, 53, 72, 76, 49, 100, 89, 56, 111, 101, 69, 83, 115, 67, 106, 51, 117, 54, 112, 112, 51, 103, 116, 68, 48, 48, 86, 50, 101, 88, 101, 78, 122, 101, 56, 48, 99, 103, 84, 72, 106, 114, 113, 110, 43, 107, 77, 81, 111, 88, 83, 89, 43, 116, 107, 109, 87, 114, 109, 57, 65, 53, 104, 67, 56, 106, 109, 101, 83, 76, 78, 85, 83, 81, 61, 61]