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