data/ristretto.data.js (136 lines of code) (raw):
/**
* Copyright (c) Facebook, Inc. and its affiliates.
*
* This source code is licensed under the MIT license found in the
* LICENSE file in the root directory of this source tree.
*/
let test_dalek = {};
/**
* test_dalek_ristretto vectors were generated with the following code in curve25519-dalek source:
*
* let mut rng = OsRng;
* for i in 0..5 {
* let a = RistrettoPoint::random(&mut rng);
* let b = RistrettoPoint::random(&mut rng);
* let c = a + b;
* let d = a - b;
* let e = Scalar::random(&mut rng).reduce();
* let f = &constants::RISTRETTO_BASEPOINT_POINT * e;
* let g = a * e;
* let h = b * e;
*
* let mut j_input = [0u8; 64];
* rng.fill_bytes(&mut j_input);
* let mut hash = sha2::Sha512::default();
* hash.input(&j_input[0..64]);
* let output = hash.result();
* let mut j = [0u8; 64];
* j.copy_from_slice(&output.as_slice());
*
* let k = RistrettoPoint::hash_from_bytes::<sha2::Sha512>(&j_input);
* print!("[\n {:?},\n {:?},\n {:?},\n {:?},\n {:?},\n {:?},\n {:?},\n {:?},\n {:?},\n {:?},\n],\n",
* &a.compress().to_bytes(),
* &b.compress().to_bytes(),
* &c.compress().to_bytes(),
* &d.compress().to_bytes(),
* &e.to_bytes(),
* &f.compress().to_bytes(),
* &g.compress().to_bytes(),
* &h.compress().to_bytes(),
* &j[0..64],
* &k.compress().to_bytes(),
* );
* }
*
* [0]: a
* [1]: b
* [2]: a + b
* [3]: a - b
* [4]: s <- random scalar
* [5]: s * a
* [6]: s * b
* [7]: h
* [8]: fromHash(h)
*/
test_dalek.ristretto_ops = [
[
[222, 172, 137, 107, 13, 184, 170, 28, 208, 135, 221, 235, 20, 38, 60, 70, 41, 247, 146, 88, 41, 159, 11, 222, 217, 132, 176, 99, 68, 55, 207, 19],
[202, 113, 155, 239, 245, 174, 156, 23, 159, 65, 34, 139, 43, 17, 195, 214, 138, 70, 205, 163, 80, 255, 137, 86, 158, 32, 171, 182, 6, 221, 150, 52],
[40, 28, 47, 139, 252, 172, 141, 116, 109, 131, 177, 73, 197, 37, 195, 12, 225, 112, 42, 134, 66, 132, 94, 229, 22, 39, 162, 242, 146, 164, 185, 104],
[204, 163, 176, 129, 185, 85, 184, 244, 108, 158, 27, 17, 56, 176, 22, 230, 45, 82, 133, 177, 10, 113, 163, 101, 207, 163, 34, 154, 71, 67, 64, 20],
[83, 99, 233, 64, 57, 38, 24, 138, 128, 127, 188, 6, 244, 67, 242, 69, 179, 184, 15, 127, 203, 191, 161, 186, 53, 138, 118, 209, 86, 32, 122, 4],
[48, 8, 140, 16, 85, 78, 84, 188, 171, 61, 37, 2, 68, 15, 104, 191, 5, 235, 76, 195, 56, 85, 158, 68, 252, 137, 210, 161, 110, 205, 112, 64],
[166, 139, 60, 205, 141, 49, 222, 95, 22, 244, 204, 252, 72, 204, 63, 79, 250, 92, 85, 174, 10, 220, 9, 23, 16, 76, 99, 23, 13, 121, 236, 5],
[184, 56, 10, 78, 186, 245, 187, 179, 69, 7, 13, 236, 105, 182, 58, 210, 51, 199, 89, 147, 248, 136, 195, 139, 142, 193, 70, 129, 194, 63, 223, 126],
[214, 213, 254, 45, 226, 244, 48, 88, 17, 123, 248, 100, 186, 98, 33, 38, 63, 35, 126, 169, 127, 202, 225, 177, 229, 120, 166, 82, 214, 161, 173, 78, 74, 0, 39, 72, 216, 108, 212, 244, 6, 239, 4, 9, 54, 88, 61, 63, 151, 166, 134, 78, 100, 182, 46, 189, 160, 52, 49, 74, 1, 88, 101, 65],
[32, 228, 119, 27, 218, 168, 249, 17, 144, 147, 230, 3, 218, 182, 206, 203, 30, 32, 218, 45, 52, 189, 147, 62, 12, 228, 173, 108, 40, 35, 75, 15],
],
[
[22, 250, 81, 23, 148, 249, 80, 63, 159, 151, 23, 106, 183, 229, 223, 21, 124, 187, 158, 151, 130, 149, 24, 41, 70, 201, 17, 12, 152, 232, 10, 89],
[170, 162, 175, 27, 36, 96, 143, 3, 244, 104, 182, 24, 112, 162, 19, 239, 146, 134, 174, 242, 48, 34, 22, 175, 114, 83, 4, 218, 145, 65, 199, 98],
[146, 4, 104, 147, 46, 115, 150, 88, 224, 220, 138, 88, 95, 54, 128, 76, 29, 56, 155, 161, 205, 145, 175, 173, 6, 57, 10, 63, 171, 166, 93, 116],
[158, 89, 166, 93, 134, 123, 97, 212, 184, 156, 151, 199, 71, 206, 138, 214, 17, 223, 114, 206, 211, 140, 71, 40, 210, 171, 251, 35, 170, 88, 124, 82],
[82, 190, 88, 208, 67, 148, 120, 218, 177, 170, 74, 115, 196, 176, 224, 127, 234, 145, 158, 83, 72, 184, 17, 51, 48, 163, 143, 37, 251, 234, 88, 2],
[232, 21, 155, 176, 8, 77, 228, 29, 225, 96, 58, 19, 28, 173, 90, 143, 231, 209, 89, 62, 221, 15, 40, 17, 121, 105, 142, 63, 221, 112, 72, 22],
[178, 188, 235, 53, 131, 238, 247, 134, 40, 149, 46, 202, 114, 154, 234, 135, 88, 41, 55, 114, 136, 43, 79, 251, 215, 89, 18, 49, 213, 236, 12, 58],
[30, 55, 178, 118, 103, 132, 14, 96, 95, 1, 33, 83, 251, 73, 147, 218, 202, 177, 134, 147, 8, 208, 130, 117, 0, 12, 228, 186, 58, 188, 129, 29],
[130, 181, 78, 181, 238, 88, 185, 245, 237, 111, 100, 68, 26, 145, 141, 107, 205, 33, 249, 58, 255, 234, 192, 210, 169, 62, 18, 188, 226, 164, 217, 216, 118, 196, 98, 5, 40, 111, 189, 93, 248, 124, 160, 186, 223, 0, 2, 77, 81, 218, 61, 49, 45, 223, 17, 91, 15, 136, 92, 27, 99, 68, 154, 131],
[150, 26, 236, 173, 47, 184, 129, 92, 236, 6, 203, 37, 112, 170, 181, 77, 168, 125, 234, 61, 153, 82, 99, 171, 187, 245, 193, 16, 95, 169, 12, 63],
],
[
[204, 57, 52, 220, 127, 34, 231, 181, 218, 56, 62, 108, 14, 229, 113, 102, 10, 206, 49, 31, 35, 94, 162, 127, 29, 141, 246, 221, 157, 181, 11, 94],
[28, 5, 63, 139, 220, 166, 140, 102, 90, 35, 210, 36, 199, 232, 245, 141, 201, 212, 109, 68, 148, 189, 123, 237, 52, 30, 241, 102, 228, 187, 122, 55],
[42, 130, 114, 0, 231, 54, 35, 252, 176, 223, 227, 139, 148, 186, 0, 90, 38, 101, 134, 212, 32, 11, 86, 5, 80, 154, 151, 179, 18, 222, 98, 102],
[84, 102, 92, 175, 155, 153, 123, 162, 233, 5, 192, 93, 5, 173, 251, 179, 249, 195, 9, 192, 190, 9, 229, 225, 184, 108, 48, 213, 136, 220, 42, 19],
[131, 91, 161, 52, 4, 66, 103, 97, 145, 92, 84, 146, 145, 253, 223, 15, 201, 67, 100, 242, 163, 177, 63, 167, 88, 147, 69, 174, 159, 58, 118, 10],
[248, 251, 187, 141, 25, 34, 165, 39, 118, 41, 224, 187, 213, 107, 116, 78, 191, 241, 175, 92, 233, 135, 35, 49, 94, 150, 189, 1, 161, 104, 196, 81],
[76, 136, 194, 125, 37, 235, 121, 132, 71, 62, 52, 33, 63, 178, 131, 143, 52, 253, 6, 12, 2, 156, 20, 55, 116, 125, 202, 194, 47, 81, 126, 60],
[168, 214, 176, 84, 228, 130, 192, 84, 170, 100, 119, 182, 220, 129, 55, 138, 141, 78, 230, 222, 234, 234, 168, 176, 109, 208, 247, 247, 204, 251, 140, 58],
[97, 192, 44, 53, 150, 154, 56, 15, 24, 2, 124, 214, 41, 224, 132, 173, 23, 220, 183, 82, 187, 233, 213, 112, 109, 99, 50, 161, 44, 147, 18, 135, 14, 68, 116, 35, 199, 2, 240, 170, 211, 18, 115, 19, 61, 213, 185, 117, 5, 189, 216, 166, 233, 112, 67, 31, 137, 209, 217, 56, 208, 167, 205, 183],
[154, 85, 220, 144, 107, 120, 152, 107, 59, 2, 120, 26, 246, 120, 88, 193, 235, 232, 94, 31, 109, 144, 52, 250, 227, 227, 62, 180, 9, 188, 219, 99],
],
[
[208, 203, 243, 27, 79, 141, 188, 229, 90, 106, 24, 152, 39, 2, 229, 158, 249, 237, 174, 81, 86, 35, 105, 249, 146, 60, 77, 171, 214, 47, 60, 81],
[20, 245, 95, 8, 223, 50, 64, 249, 189, 228, 220, 30, 70, 63, 119, 217, 134, 210, 10, 16, 87, 114, 85, 170, 36, 251, 233, 27, 92, 120, 237, 60],
[16, 70, 187, 42, 177, 196, 50, 133, 169, 151, 150, 62, 202, 70, 54, 248, 43, 196, 98, 29, 0, 45, 244, 63, 122, 148, 95, 75, 88, 22, 239, 101],
[220, 183, 220, 13, 249, 65, 80, 30, 166, 127, 95, 15, 66, 87, 212, 46, 47, 156, 102, 144, 250, 172, 168, 154, 248, 75, 30, 199, 44, 229, 113, 73],
[103, 155, 232, 16, 227, 54, 126, 52, 40, 219, 174, 200, 102, 2, 142, 4, 181, 115, 134, 114, 73, 103, 219, 204, 52, 149, 241, 144, 140, 77, 44, 8],
[100, 131, 184, 86, 78, 235, 25, 178, 202, 108, 152, 102, 23, 251, 136, 1, 51, 0, 169, 163, 93, 255, 98, 172, 203, 133, 195, 249, 124, 139, 199, 126],
[20, 253, 124, 118, 28, 230, 5, 214, 252, 8, 250, 123, 66, 170, 204, 39, 250, 75, 148, 81, 221, 70, 254, 95, 240, 243, 155, 35, 148, 135, 60, 52],
[172, 32, 189, 159, 143, 147, 231, 171, 171, 0, 145, 44, 53, 169, 203, 24, 67, 98, 200, 4, 210, 189, 213, 14, 36, 196, 107, 77, 76, 132, 110, 57],
[226, 194, 244, 165, 133, 180, 162, 73, 70, 155, 45, 57, 192, 249, 21, 188, 6, 131, 49, 127, 174, 27, 92, 12, 165, 227, 131, 28, 142, 78, 222, 16, 55, 147, 214, 92, 50, 73, 196, 79, 24, 107, 5, 179, 184, 152, 132, 84, 182, 137, 12, 214, 156, 98, 166, 104, 70, 210, 23, 13, 42, 118, 198, 134],
[222, 86, 47, 85, 61, 148, 135, 32, 105, 101, 8, 234, 60, 252, 50, 98, 233, 103, 56, 69, 205, 188, 35, 33, 1, 79, 155, 25, 29, 64, 189, 68],
],
[
[38, 73, 211, 93, 101, 22, 130, 225, 20, 155, 183, 132, 147, 41, 13, 39, 53, 192, 17, 76, 94, 55, 91, 72, 189, 190, 162, 16, 95, 230, 77, 31],
[74, 76, 30, 21, 193, 253, 88, 170, 176, 208, 142, 171, 55, 40, 134, 96, 109, 145, 133, 80, 177, 168, 71, 246, 116, 132, 141, 91, 143, 254, 41, 29],
[170, 217, 155, 183, 37, 133, 244, 99, 3, 104, 11, 24, 44, 68, 88, 59, 239, 156, 182, 169, 200, 7, 55, 2, 158, 189, 224, 142, 199, 44, 17, 99],
[92, 218, 110, 126, 8, 223, 82, 64, 49, 17, 96, 204, 36, 250, 8, 42, 231, 36, 172, 81, 104, 247, 7, 224, 149, 73, 130, 87, 178, 38, 31, 90],
[164, 8, 134, 215, 75, 240, 220, 58, 20, 196, 52, 168, 99, 89, 100, 138, 19, 182, 184, 49, 172, 136, 62, 253, 188, 139, 139, 113, 241, 93, 100, 10],
[198, 123, 113, 84, 200, 145, 52, 106, 38, 63, 44, 241, 92, 131, 26, 218, 55, 128, 92, 81, 136, 78, 10, 166, 238, 45, 172, 52, 42, 177, 180, 76],
[42, 117, 32, 13, 129, 115, 156, 161, 130, 114, 154, 78, 125, 137, 35, 95, 238, 59, 31, 54, 36, 187, 185, 189, 116, 43, 127, 2, 118, 72, 8, 85],
[166, 8, 176, 156, 125, 36, 92, 34, 31, 255, 174, 155, 216, 157, 165, 35, 248, 142, 136, 66, 94, 66, 249, 56, 207, 235, 255, 45, 69, 134, 24, 13],
[246, 170, 241, 111, 97, 210, 29, 177, 202, 78, 212, 155, 91, 125, 10, 65, 143, 74, 32, 45, 31, 51, 124, 173, 64, 2, 137, 62, 25, 44, 126, 110, 12, 169, 117, 153, 153, 19, 205, 40, 180, 200, 196, 27, 25, 231, 159, 120, 75, 221, 26, 73, 222, 195, 96, 220, 194, 155, 103, 164, 105, 85, 240, 157],
[136, 122, 13, 72, 43, 212, 170, 200, 169, 233, 125, 70, 20, 45, 213, 25, 114, 28, 208, 254, 131, 56, 199, 57, 87, 230, 92, 239, 29, 227, 57, 112],
],
];
/**
* test_dalek_ristretto_valid_or_not vectors were generated with the following code in curve25519-dalek source:
*
* let mut rng = OsRng;
* const CAP: i32 = 20;
* let mut num_valid: i32 = 0;
* let mut num_invalid: i32 = 0;
* while num_valid < CAP || num_invalid < CAP {
* let mut a = [0u8; 32];
* rng.fill_bytes(&mut a);
* if num_valid < CAP && CompressedRistretto(a).decompress().is_some() {
* print!("[{:?}, {:?}],\n ", a, true);
* num_valid += 1;
* } else if num_invalid < CAP {
* print!("[{:?}, {:?}],\n ", a, false);
* num_invalid += 1;
* }
* }
*
* [0]: a
* [1]: isValid(a)
*/
test_dalek.ristretto_valid_or_not = [
[[119, 118, 1, 137, 26, 79, 23, 196, 180, 4, 175, 182, 134, 213, 82, 100, 59, 106, 117, 110, 89, 205, 3, 229, 173, 205, 216, 236, 216, 96, 67, 17], false],
[[194, 40, 173, 62, 100, 172, 163, 77, 162, 199, 242, 190, 218, 95, 25, 34, 101, 13, 196, 108, 93, 20, 220, 167, 123, 16, 80, 254, 250, 121, 207, 177], false],
[[108, 128, 90, 236, 14, 9, 105, 27, 255, 92, 18, 177, 133, 0, 154, 53, 60, 105, 118, 231, 93, 47, 222, 135, 124, 167, 219, 57, 3, 31, 34, 58], true],
[[171, 217, 122, 85, 9, 253, 230, 36, 117, 140, 239, 70, 245, 240, 156, 130, 245, 191, 59, 217, 98, 186, 219, 198, 165, 126, 255, 63, 4, 159, 109, 97], false],
[[87, 74, 215, 17, 240, 173, 82, 15, 68, 116, 105, 55, 190, 123, 153, 46, 176, 115, 225, 23, 168, 170, 142, 21, 107, 101, 77, 185, 158, 11, 103, 156], false],
[[119, 32, 247, 252, 153, 94, 191, 231, 111, 148, 227, 71, 105, 245, 41, 43, 10, 216, 115, 83, 118, 122, 247, 21, 83, 199, 186, 15, 117, 106, 10, 50], false],
[[116, 204, 211, 149, 152, 33, 159, 144, 245, 173, 19, 96, 114, 162, 73, 33, 227, 230, 14, 99, 222, 2, 161, 244, 75, 73, 185, 179, 90, 14, 4, 157], false],
[[159, 200, 18, 225, 235, 237, 211, 182, 10, 103, 124, 20, 114, 252, 85, 114, 72, 75, 30, 227, 44, 61, 68, 184, 115, 124, 109, 45, 54, 80, 247, 196], false],
[[24, 92, 125, 228, 252, 147, 13, 70, 162, 162, 6, 68, 109, 43, 142, 218, 199, 221, 237, 135, 245, 118, 164, 64, 157, 131, 136, 29, 168, 224, 119, 89], true],
[[50, 209, 153, 48, 116, 68, 141, 28, 156, 43, 21, 74, 113, 90, 15, 1, 226, 148, 225, 50, 190, 54, 202, 202, 221, 75, 63, 127, 251, 170, 109, 221], false],
[[73, 37, 15, 195, 95, 22, 45, 65, 188, 251, 81, 74, 207, 133, 193, 226, 73, 99, 238, 239, 174, 121, 236, 188, 25, 104, 186, 147, 70, 50, 242, 91], false],
[[87, 43, 22, 51, 160, 239, 143, 92, 195, 179, 24, 139, 174, 58, 228, 14, 230, 84, 9, 158, 37, 84, 70, 29, 171, 22, 159, 193, 191, 24, 15, 65], false],
[[93, 221, 12, 236, 140, 111, 33, 212, 93, 219, 229, 151, 114, 93, 48, 49, 85, 128, 249, 255, 194, 1, 53, 139, 112, 69, 111, 229, 125, 53, 125, 204], false],
[[172, 131, 142, 184, 121, 119, 220, 126, 130, 212, 159, 210, 158, 90, 168, 202, 247, 130, 239, 222, 228, 188, 41, 58, 189, 46, 89, 81, 159, 139, 66, 242], false],
[[180, 254, 9, 101, 237, 122, 68, 71, 79, 116, 184, 62, 139, 87, 122, 193, 110, 63, 231, 130, 102, 196, 173, 119, 144, 14, 127, 255, 28, 33, 119, 170], false],
[[83, 248, 8, 148, 41, 92, 211, 129, 45, 70, 88, 168, 58, 115, 151, 114, 141, 50, 168, 154, 198, 91, 118, 247, 35, 157, 235, 10, 88, 15, 101, 46], false],
[[141, 45, 188, 31, 200, 232, 93, 156, 112, 216, 106, 201, 59, 150, 200, 33, 235, 30, 232, 23, 227, 104, 66, 178, 246, 48, 219, 212, 4, 67, 137, 179], false],
[[238, 20, 85, 144, 198, 214, 162, 177, 148, 228, 254, 2, 199, 102, 246, 79, 112, 110, 34, 53, 99, 62, 180, 115, 202, 179, 40, 227, 124, 76, 254, 247], false],
[[168, 190, 99, 232, 118, 38, 94, 196, 86, 183, 11, 248, 223, 139, 116, 246, 242, 14, 252, 101, 97, 130, 92, 27, 79, 124, 19, 165, 129, 66, 155, 247], false],
[[106, 201, 125, 218, 30, 152, 247, 97, 197, 80, 239, 177, 219, 81, 17, 79, 19, 50, 180, 246, 36, 149, 55, 27, 20, 193, 54, 172, 20, 205, 212, 238], false],
[[194, 186, 54, 128, 207, 88, 188, 120, 117, 230, 169, 204, 130, 12, 25, 162, 223, 138, 214, 102, 22, 98, 144, 218, 166, 34, 49, 181, 35, 119, 161, 20], true],
[[44, 29, 53, 106, 165, 252, 29, 220, 51, 189, 216, 81, 113, 90, 210, 147, 33, 68, 140, 223, 51, 131, 35, 245, 164, 155, 28, 233, 65, 225, 211, 98], false],
[[195, 135, 98, 251, 44, 199, 28, 77, 207, 57, 141, 113, 136, 50, 231, 100, 38, 39, 46, 185, 255, 163, 160, 251, 232, 176, 169, 76, 66, 38, 78, 68], false],
[[146, 118, 79, 110, 129, 27, 31, 57, 32, 149, 82, 59, 101, 60, 50, 129, 240, 224, 240, 248, 182, 34, 23, 150, 8, 69, 243, 189, 92, 22, 79, 7], true],
[[100, 253, 126, 1, 167, 10, 177, 29, 167, 69, 253, 200, 54, 146, 233, 193, 131, 160, 216, 44, 138, 26, 81, 78, 180, 43, 236, 249, 28, 175, 120, 84], true],
[[86, 107, 245, 78, 126, 199, 96, 52, 110, 26, 205, 238, 123, 117, 204, 213, 143, 50, 90, 210, 252, 219, 95, 58, 196, 8, 133, 181, 90, 61, 56, 2], true],
[[126, 124, 197, 249, 141, 10, 59, 40, 187, 98, 43, 146, 158, 33, 136, 124, 18, 41, 68, 75, 148, 24, 56, 68, 29, 123, 157, 135, 189, 18, 197, 113], true],
[[138, 234, 237, 170, 185, 18, 173, 47, 81, 101, 227, 255, 13, 133, 2, 199, 196, 127, 59, 239, 199, 216, 184, 29, 57, 182, 149, 67, 218, 107, 148, 74], true],
[[18, 129, 40, 162, 13, 191, 105, 182, 99, 166, 176, 94, 219, 103, 151, 117, 46, 95, 28, 165, 52, 155, 165, 36, 134, 83, 99, 253, 242, 225, 232, 19], true],
[[168, 36, 150, 62, 3, 147, 172, 11, 94, 5, 136, 13, 14, 182, 181, 76, 30, 249, 95, 124, 52, 149, 45, 247, 45, 201, 69, 211, 74, 182, 146, 26], true],
[[50, 76, 117, 213, 68, 83, 127, 28, 190, 113, 8, 78, 60, 232, 145, 237, 226, 35, 126, 65, 235, 129, 247, 121, 116, 61, 57, 120, 211, 128, 48, 107], true],
[[222, 221, 95, 140, 250, 125, 249, 159, 252, 66, 156, 244, 235, 162, 50, 239, 199, 103, 77, 122, 88, 52, 124, 10, 160, 26, 173, 205, 81, 104, 174, 73], true],
[[64, 72, 167, 97, 17, 8, 0, 229, 189, 9, 108, 15, 205, 202, 151, 72, 204, 181, 164, 130, 148, 59, 204, 112, 24, 98, 168, 48, 50, 78, 147, 74], true],
[[178, 240, 136, 63, 4, 214, 112, 173, 10, 85, 2, 8, 87, 148, 104, 26, 64, 55, 200, 7, 65, 209, 103, 55, 125, 237, 185, 232, 41, 122, 54, 30], true],
[[232, 192, 208, 96, 65, 220, 135, 158, 218, 92, 171, 199, 20, 114, 92, 23, 230, 81, 137, 44, 15, 169, 247, 62, 82, 61, 90, 69, 231, 138, 88, 3], true],
[[184, 24, 57, 99, 38, 24, 201, 253, 14, 69, 94, 47, 156, 198, 13, 88, 144, 164, 72, 69, 152, 49, 147, 85, 239, 131, 57, 182, 242, 91, 212, 41], true],
[[128, 203, 69, 126, 45, 180, 111, 157, 204, 81, 243, 204, 141, 25, 219, 141, 217, 205, 236, 80, 58, 224, 107, 1, 242, 82, 222, 247, 98, 116, 77, 65], true],
[[156, 201, 26, 1, 0, 44, 185, 57, 123, 147, 188, 159, 100, 90, 66, 142, 245, 66, 232, 77, 200, 2, 111, 27, 107, 153, 187, 249, 89, 142, 191, 125], true],
[[28, 125, 168, 61, 195, 24, 251, 152, 249, 217, 148, 209, 199, 0, 89, 244, 59, 117, 175, 130, 199, 48, 122, 203, 181, 104, 118, 67, 105, 27, 2, 82], true],
[[250, 87, 76, 28, 189, 108, 82, 183, 64, 48, 137, 210, 226, 18, 32, 231, 153, 85, 138, 73, 164, 181, 243, 4, 202, 106, 253, 221, 133, 178, 19, 115], true],
[[255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[254, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[253, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[252, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[251, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[250, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[249, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[248, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[247, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[246, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[245, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[244, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[243, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[242, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[241, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[240, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[239, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[238, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[237, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[236, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[235, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[234, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], true],
[[233, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[232, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[231, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[230, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[229, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[228, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], true],
[[227, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
[[226, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 127], false],
];
export default test_dalek;