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