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