[[Vecsmall([4, 5, 9, 1, 2, 117, 118, 14, 3, 29, 122, 123, 36, 8, 17, 37, 15, 25, 26, 38, 27, 28, 31, 33, 18, 19, 21, 22, 10, 39, 23, 40, 24, 41, 43, 13, 16, 20, 30, 32, 34, 46, 35, 48, 51, 42, 65, 44, 66, 67, 45, 57, 58, 68, 60, 70, 52, 53, 73, 55, 75, 79, 80, 82, 47, 49, 50, 54, 74, 56, 76, 77, 59, 69, 61, 71, 72, 84, 62, 63, 85, 64, 87, 78, 81, 94, 83, 95, 97, 99, 109, 113, 116, 86, 88, 105, 89, 106, 90, 119, 107, 108, 110, 111, 96, 98, 101, 102, 91, 103, 104, 114, 92, 112, 121, 93, 6, 7, 100, 126, 115, 11, 12, 127, 128, 120, 124, 125]), Vecsmall([69, 15, 72, 74, 17, 39, 40, 93, 77, 59, 97, 99, 115, 116, 2, 20, 5, 96, 44, 16, 98, 45, 102, 104, 105, 48, 106, 51, 73, 117, 108, 118, 111, 35, 34, 121, 38, 37, 6, 7, 43, 71, 41, 19, 22, 76, 50, 26, 54, 47, 28, 120, 83, 49, 125, 100, 126, 87, 10, 128, 63, 64, 61, 62, 67, 68, 65, 66, 1, 119, 42, 3, 29, 4, 80, 46, 9, 101, 82, 75, 103, 79, 53, 107, 110, 88, 58, 86, 122, 123, 92, 91, 8, 95, 94, 18, 11, 21, 12, 56, 78, 23, 81, 24, 25, 27, 84, 31, 113, 85, 33, 124, 109, 127, 13, 14, 30, 32, 70, 52, 36, 89, 90, 112, 55, 57, 114, 60]), Vecsmall([52, 53, 55, 57, 58, 7, 6, 59, 60, 93, 12, 11, 100, 73, 83, 86, 87, 21, 22, 88, 18, 19, 24, 23, 27, 28, 25, 26, 116, 32, 33, 30, 31, 91, 92, 119, 94, 95, 40, 39, 109, 112, 113, 45, 44, 114, 49, 51, 47, 54, 48, 1, 2, 50, 3, 115, 4, 5, 8, 9, 62, 61, 64, 63, 66, 65, 68, 67, 120, 121, 124, 125, 14, 126, 79, 127, 128, 81, 75, 82, 78, 80, 15, 85, 84, 16, 17, 20, 90, 89, 34, 35, 10, 37, 38, 98, 99, 96, 97, 13, 103, 104, 101, 102, 106, 105, 110, 111, 41, 107, 108, 42, 43, 46, 56, 29, 118, 117, 36, 69, 70, 123, 122, 71, 72, 74, 76, 77]), Vecsmall([70, 43, 116, 56, 35, 23, 24, 1, 93, 120, 96, 98, 55, 4, 41, 2, 34, 30, 47, 15, 32, 49, 122, 123, 39, 65, 40, 66, 126, 108, 11, 111, 12, 42, 71, 60, 5, 17, 102, 104, 46, 38, 76, 50, 54, 20, 107, 67, 110, 84, 68, 121, 113, 85, 29, 72, 115, 92, 52, 10, 48, 51, 26, 28, 101, 103, 78, 81, 119, 77, 37, 14, 57, 100, 44, 16, 8, 61, 45, 19, 62, 22, 109, 75, 79, 53, 91, 83, 25, 27, 112, 124, 69, 58, 87, 117, 18, 118, 21, 3, 63, 89, 64, 90, 6, 7, 80, 97, 114, 82, 99, 95, 127, 88, 125, 74, 31, 33, 9, 36, 128, 105, 106, 94, 73, 13, 86, 59]), Vecsmall([49, 118, 62, 66, 7, 5, 58, 51, 79, 26, 76, 127, 107, 45, 32, 27, 40, 37, 116, 106, 94, 29, 41, 109, 16, 93, 86, 10, 19, 15, 34, 83, 91, 33, 111, 101, 21, 98, 17, 87, 24, 90, 104, 14, 73, 99, 1, 8, 52, 69, 59, 47, 117, 120, 61, 85, 65, 6, 48, 75, 3, 55, 72, 125, 4, 57, 74, 126, 54, 81, 123, 64, 44, 68, 9, 12, 82, 70, 60, 77, 121, 128, 30, 56, 115, 25, 39, 105, 42, 112, 31, 108, 28, 18, 96, 38, 46, 95, 114, 110, 119, 43, 36, 113, 20, 88, 100, 35, 23, 13, 92, 89, 102, 97, 84, 22, 2, 53, 103, 50, 78, 71, 124, 122, 63, 67, 11, 80]), Vecsmall([16, 93, 34, 37, 116, 26, 28, 17, 41, 58, 107, 110, 127, 15, 8, 4, 14, 65, 6, 74, 66, 7, 75, 79, 47, 117, 49, 118, 53, 44, 61, 45, 62, 9, 77, 124, 1, 69, 48, 51, 3, 56, 72, 39, 40, 70, 18, 30, 21, 96, 32, 86, 10, 98, 91, 46, 94, 29, 87, 109, 23, 24, 102, 104, 25, 27, 105, 106, 20, 42, 100, 35, 83, 38, 31, 119, 43, 97, 33, 108, 99, 111, 59, 89, 90, 57, 73, 126, 78, 81, 60, 128, 5, 52, 120, 67, 84, 68, 85, 76, 11, 80, 12, 82, 50, 54, 122, 63, 55, 123, 64, 115, 125, 121, 114, 2, 19, 22, 71, 88, 112, 101, 103, 13, 92, 95, 36, 113])], Vecsmall([2, 2, 2, 4, 2, 2])]
