ont_utils.cuh

/*
 Super fast conversion of DNA or RNA character array to Nanopore picoamperage signal (currently R9.4 kmer model)
 using GPU constant memory for the kmer lookup table and parallel processing by the CUDA cores. 
 */

#ifndef __ont_utils
#define __ont_utils

#include "cuda_utils.h"

// Enumeration: which signal do you want to encode (signal_type arg)?
#define MEAN_SIGNAL 0
#define STDDEV_SIGNAL 1
#define STDDEV2_SIGNAL 2
#define STDDEV3_SIGNAL 3

// Bitwise mask for strands to output (strand_types arg)
#define FORWARD_STRAND 1
#define COMPLEMENT_STRAND 2

#define DNA_KMER_LENGTH 6
#define RNA_KMER_LENGTH 5

// Prototypes for methods to return a pointer to the converted signal in GPU memory (e.g. for further GPU kernel calls)
__host__ int convert_rna_to_shorts(char *rna, long rna_length, short signal_type, short strand_types, short **global_gpu_mem_output_signal, long *signal_length, cudaStream_t stream);
__host__ int convert_dna_to_shorts(char *dna, long dna_length, short signal_type, short strand_types, short **global_gpu_mem_output_signal, long *signal_length, cudaStream_t stream);
// Prototypes for methods to return the converted signal to the host
__host__ short* convert_rna_to_shorts(char *rna, long rna_length, short signal_type, short strand_types, long *signal_length);
__host__ short* convert_dna_to_shorts(char *dna, long dna_length, short signal_type, short strand_types, long *signal_length);

// From ONT model: mean, std dev, std dev(std dev), std dev + std dev(std dev) as recapitulated in the #define *_SIGNAL constants above
// perl -ane 'print(join(", ",map({int(10*$_)} $F[1], $F[2], $F[4], $F[2]+$F[4])), ",\n") unless $. == 1' kmer_models/r9.4_200mv_70bps_5mer_RNA/template_median68pA.model > rna.txt
__device__ short rna_94_model[] = {
1010, 27, 8, 35,	// Pico amperage estimate for kmer AAAAA is 1010
975, 27, 8, 35,		// Pico amperage estimate for kmer AAAAC is 975
986, 27, 11, 38,	// Pico amperage estimate for kmer AAAAG is 986
966, 27, 7, 34,		// Pico amperage estimate for kmer AAAAT is 966
765, 34, 8, 43,		// Pico amperage estimate for kmer AAACA is 765, etc
807, 34, 10, 44,
787, 34, 11, 45,
811, 34, 8, 42,
1187, 37, 30, 67,
1036, 37, 15, 53,
1131, 37, 23, 61,
1100, 37, 30, 68,
801, 31, 10, 42,
863, 31, 7, 39,
818, 31, 10, 42,
849, 31, 7, 39,
811, 31, 10, 41,
751, 31, 7, 38,
757, 31, 14, 46,
768, 31, 7, 39,
692, 20, 5, 26,
683, 20, 9, 29,
678, 20, 10, 31,
692, 20, 6, 26,
1070, 28, 17, 46,
919, 28, 22, 51,
1006, 28, 23, 52,
978, 28, 22, 51,
730, 22, 6, 29,
731, 22, 6, 29,
716, 22, 8, 31,
739, 22, 6, 28,
1113, 63, 20, 84,
1021, 63, 23, 87,
1138, 63, 23, 86,
1110, 63, 18, 82,
794, 41, 12, 54,
900, 41, 12, 54,
857, 41, 19, 60,
891, 41, 11, 53,
1086, 59, 24, 84,
1096, 59, 25, 85,
1083, 59, 21, 81,
1050, 59, 18, 78,
861, 44, 15, 60,
996, 44, 15, 60,
931, 44, 23, 67,
972, 44, 14, 58,
874, 119, 20, 140,
781, 119, 11, 131,
834, 119, 21, 141,
854, 119, 17, 137,
796, 27, 6, 33,
760, 27, 6, 33,
778, 27, 9, 36,
778, 27, 5, 32,
855, 132, 18, 150,
897, 132, 24, 156,
910, 132, 30, 162,
959, 132, 36, 168,
792, 25, 6, 32,
781, 25, 5, 31,
762, 25, 7, 33,
780, 25, 5, 31,
911, 34, 12, 46,
842, 34, 6, 41,
883, 34, 13, 48,
866, 34, 8, 43,
684, 17, 5, 22,
700, 17, 4, 21,
683, 17, 10, 27,
707, 17, 4, 21,
1170, 32, 26, 59,
1004, 32, 33, 66,
1106, 32, 26, 59,
1087, 32, 38, 71,
717, 18, 7, 26,
744, 18, 5, 24,
711, 18, 8, 27,
740, 18, 5, 24,
769, 27, 8, 35,
701, 27, 5, 32,
737, 27, 20, 47,
721, 27, 6, 33,
618, 19, 6, 26,
592, 19, 6, 26,
606, 19, 13, 33,
605, 19, 5, 25,
1020, 26, 13, 39,
878, 26, 17, 43,
964, 26, 25, 51,
935, 26, 16, 42,
657, 19, 6, 25,
652, 19, 5, 24,
641, 19, 9, 29,
655, 19, 4, 24,
1005, 25, 17, 42,
1009, 25, 12, 37,
1003, 25, 21, 46,
980, 25, 11, 36,
877, 24, 22, 47,
805, 24, 10, 34,
756, 24, 14, 39,
813, 24, 9, 33,
891, 137, 24, 162,
909, 137, 22, 160,
894, 137, 23, 161,
896, 137, 22, 159,
777, 29, 13, 42,
878, 29, 11, 41,
806, 29, 26, 55,
864, 29, 10, 40,
909, 103, 21, 125,
829, 103, 14, 117,
863, 103, 24, 127,
843, 103, 15, 118,
735, 67, 8, 76,
705, 67, 7, 75,
713, 67, 10, 78,
721, 67, 8, 75,
1136, 53, 29, 83,
921, 53, 26, 79,
1048, 53, 31, 85,
1009, 53, 30, 83,
728, 18, 5, 24,
717, 18, 4, 22,
707, 18, 6, 25,
722, 18, 4, 23,
1025, 35, 12, 48,
1028, 35, 14, 50,
979, 35, 20, 56,
998, 35, 13, 49,
884, 94, 30, 124,
756, 94, 18, 112,
936, 94, 29, 123,
886, 94, 25, 119,
1185, 38, 22, 61,
1076, 38, 12, 51,
1122, 38, 19, 58,
1088, 38, 21, 59,
946, 37, 19, 56,
998, 37, 12, 50,
958, 37, 19, 56,
968, 37, 12, 50,
738, 60, 14, 74,
740, 60, 11, 71,
701, 60, 16, 77,
730, 60, 10, 70,
779, 24, 11, 36,
783, 24, 12, 37,
758, 24, 11, 36,
762, 24, 9, 34,
906, 123, 31, 154,
886, 123, 27, 150,
751, 123, 15, 138,
881, 123, 28, 151,
790, 20, 9, 29,
804, 20, 8, 28,
773, 20, 10, 30,
790, 20, 8, 28,
1032, 91, 20, 111,
913, 91, 23, 115,
1011, 91, 25, 117,
962, 91, 20, 111,
895, 45, 39, 84,
976, 45, 26, 71,
925, 45, 26, 71,
939, 45, 23, 68,
1086, 39, 20, 60,
1070, 39, 17, 57,
1076, 39, 19, 59,
1047, 39, 14, 54,
931, 34, 23, 57,
1002, 34, 11, 45,
950, 34, 19, 54,
974, 34, 10, 45,
796, 70, 22, 93,
859, 70, 19, 90,
729, 70, 17, 88,
756, 70, 12, 83,
871, 28, 10, 38,
874, 28, 10, 38,
836, 28, 10, 38,
847, 28, 9, 37,
903, 122, 31, 154,
900, 122, 24, 147,
865, 122, 31, 154,
884, 122, 28, 151,
844, 25, 9, 35,
857, 25, 8, 34,
824, 25, 10, 36,
835, 25, 8, 34,
1049, 27, 11, 39,
1006, 27, 13, 40,
1031, 27, 14, 42,
1002, 27, 11, 39,
758, 21, 6, 28,
802, 21, 8, 30,
776, 21, 9, 31,
811, 21, 7, 29,
1249, 37, 22, 60,
1081, 37, 21, 58,
1179, 37, 20, 57,
1154, 37, 29, 66,
804, 26, 11, 37,
878, 26, 11, 38,
836, 26, 13, 39,
865, 26, 10, 37,
860, 26, 8, 34,
804, 26, 6, 33,
835, 26, 14, 41,
820, 26, 6, 33,
641, 25, 6, 32,
647, 25, 8, 33,
633, 25, 13, 39,
658, 25, 6, 31,
1087, 32, 13, 46,
941, 32, 12, 44,
1032, 32, 21, 54,
997, 32, 13, 45,
712, 19, 7, 26,
740, 19, 6, 26,
717, 19, 9, 29,
740, 19, 5, 25,
1122, 43, 27, 70,
1149, 43, 27, 70,
1171, 43, 27, 70,
1115, 43, 25, 68,
937, 29, 37, 66,
862, 29, 16, 46,
799, 29, 16, 46,
853, 29, 14, 44,
1103, 27, 32, 59,
1126, 27, 24, 51,
1101, 27, 28, 55,
1094, 27, 24, 51,
817, 39, 14, 54,
962, 39, 25, 64,
867, 39, 27, 66,
931, 39, 18, 57,
914, 98, 18, 116,
829, 98, 11, 109,
882, 98, 21, 120,
857, 98, 13, 111,
730, 28, 6, 35,
705, 28, 5, 34,
718, 28, 8, 37,
737, 28, 5, 33,
921, 129, 25, 155,
898, 129, 21, 151,
943, 129, 31, 160,
946, 129, 28, 157,
718, 20, 6, 26,
737, 20, 5, 25,
719, 20, 7, 27,
737, 20, 4, 25,
997, 27, 10, 37,
966, 27, 10, 37,
984, 27, 12, 39,
952, 27, 9, 36,
754, 34, 5, 40,
786, 34, 6, 41,
766, 34, 7, 42,
795, 34, 5, 40,
1197, 37, 34, 72,
1026, 37, 25, 63,
1133, 37, 30, 67,
1095, 37, 39, 77,
793, 31, 9, 41,
845, 31, 7, 39,
807, 31, 9, 40,
837, 31, 6, 38,
826, 31, 10, 41,
751, 31, 7, 38,
778, 31, 17, 48,
781, 31, 7, 39,
687, 20, 4, 24,
652, 20, 5, 26,
663, 20, 7, 28,
676, 20, 4, 25,
1090, 28, 17, 46,
935, 28, 23, 52,
1023, 28, 21, 50,
1000, 28, 21, 50,
727, 22, 6, 28,
709, 22, 5, 27,
707, 22, 8, 30,
713, 22, 4, 27,
1120, 63, 17, 81,
1020, 63, 22, 85,
1134, 63, 21, 84,
1113, 63, 14, 77,
797, 41, 13, 55,
898, 41, 16, 58,
854, 41, 22, 64,
891, 41, 14, 56,
1085, 59, 27, 86,
1082, 59, 23, 83,
1086, 59, 21, 81,
1063, 59, 17, 77,
868, 44, 18, 62,
997, 44, 17, 61,
928, 44, 24, 68,
975, 44, 14, 58,
905, 119, 25, 145,
834, 119, 16, 136,
876, 119, 27, 147,
876, 119, 21, 141,
798, 27, 7, 34,
734, 27, 5, 32,
785, 27, 10, 37,
765, 27, 6, 33,
1157, 132, 59, 191,
911, 132, 29, 161,
1062, 132, 52, 184,
1004, 132, 47, 179,
791, 25, 7, 33,
718, 25, 5, 31,
753, 25, 7, 33,
757, 25, 6, 32,
921, 34, 15, 50,
823, 34, 7, 42,
874, 34, 18, 53,
859, 34, 10, 45,
668, 17, 5, 22,
673, 17, 4, 21,
658, 17, 10, 27,
691, 17, 3, 20,
1175, 32, 25, 58,
1014, 32, 38, 71,
1107, 32, 26, 59,
1093, 32, 40, 73,
692, 18, 7, 26,
713, 18, 4, 23,
682, 18, 8, 27,
715, 18, 4, 23,
777, 27, 9, 37,
695, 27, 6, 33,
734, 27, 21, 48,
725, 27, 7, 34,
621, 19, 6, 26,
584, 19, 4, 24,
602, 19, 16, 36,
598, 19, 5, 24,
1033, 26, 13, 39,
896, 26, 18, 44,
976, 26, 22, 48,
949, 26, 17, 43,
648, 19, 7, 27,
627, 19, 4, 23,
628, 19, 12, 32,
634, 19, 5, 24,
954, 25, 26, 51,
975, 25, 12, 37,
969, 25, 19, 44,
946, 25, 11, 36,
847, 24, 22, 46,
783, 24, 8, 33,
730, 24, 12, 36,
783, 24, 8, 32,
865, 137, 23, 160,
843, 137, 17, 154,
901, 137, 28, 165,
876, 137, 21, 159,
742, 29, 14, 43,
845, 29, 10, 39,
778, 29, 23, 52,
833, 29, 9, 39,
895, 103, 21, 125,
759, 103, 11, 114,
870, 103, 27, 130,
855, 103, 18, 121,
730, 67, 9, 77,
689, 67, 8, 76,
719, 67, 12, 80,
707, 67, 8, 76,
1159, 53, 30, 83,
946, 53, 28, 81,
1076, 53, 30, 83,
1026, 53, 32, 85,
718, 18, 7, 26,
688, 18, 4, 22,
697, 18, 9, 28,
694, 18, 4, 23,
1006, 35, 15, 50,
958, 35, 19, 54,
942, 35, 26, 61,
932, 35, 20, 55,
818, 94, 17, 111,
866, 94, 17, 111,
855, 94, 17, 111,
863, 94, 16, 110,
1198, 38, 33, 71,
1012, 38, 22, 60,
1131, 38, 25, 64,
1087, 38, 33, 72,
849, 37, 8, 46,
909, 37, 8, 45,
867, 37, 10, 47,
888, 37, 7, 45,
721, 60, 13, 74,
732, 60, 10, 71,
692, 60, 15, 76,
716, 60, 10, 70,
722, 24, 5, 30,
722, 24, 8, 33,
714, 24, 8, 33,
717, 24, 6, 31,
966, 123, 43, 166,
863, 123, 28, 151,
870, 123, 29, 152,
877, 123, 31, 154,
743, 20, 5, 26,
743, 20, 5, 26,
731, 20, 7, 28,
751, 20, 5, 25,
1072, 91, 38, 129,
1045, 91, 42, 133,
1061, 91, 44, 135,
1032, 91, 41, 132,
783, 45, 11, 56,
879, 45, 11, 56,
839, 45, 13, 58,
869, 45, 10, 55,
1072, 39, 30, 70,
1046, 39, 33, 73,
1016, 39, 28, 68,
1037, 39, 27, 67,
871, 34, 12, 47,
971, 34, 17, 52,
908, 34, 24, 58,
949, 34, 16, 50,
756, 70, 20, 91,
730, 70, 11, 82,
710, 70, 18, 89,
730, 70, 13, 83,
801, 28, 6, 34,
781, 28, 6, 34,
775, 28, 7, 35,
785, 28, 5, 33,
891, 122, 36, 159,
871, 122, 25, 148,
876, 122, 38, 161,
893, 122, 38, 161,
781, 25, 6, 31,
783, 25, 5, 31,
763, 25, 6, 32,
778, 25, 5, 31,
1028, 27, 12, 40,
982, 27, 11, 39,
1013, 27, 12, 40,
979, 27, 10, 37,
738, 21, 5, 27,
782, 21, 7, 29,
753, 21, 8, 30,
794, 21, 7, 28,
1248, 37, 22, 59,
1079, 37, 23, 60,
1178, 37, 20, 57,
1155, 37, 30, 67,
775, 26, 9, 36,
853, 26, 10, 36,
809, 26, 10, 36,
843, 26, 9, 35,
857, 26, 8, 34,
783, 26, 6, 32,
822, 26, 15, 41,
807, 26, 6, 33,
644, 25, 5, 31,
664, 25, 5, 31,
633, 25, 11, 37,
669, 25, 4, 30,
1097, 32, 14, 46,
946, 32, 14, 46,
1037, 32, 22, 54,
1004, 32, 14, 46,
711, 19, 6, 25,
718, 19, 5, 25,
705, 19, 8, 28,
712, 19, 4, 24,
1066, 43, 17, 61,
1104, 43, 21, 64,
1099, 43, 22, 65,
1061, 43, 14, 57,
902, 29, 38, 68,
833, 29, 14, 44,
773, 29, 14, 44,
829, 29, 11, 41,
1080, 27, 31, 58,
1081, 27, 19, 46,
1062, 27, 24, 51,
1057, 27, 19, 46,
786, 39, 14, 53,
915, 39, 17, 56,
842, 39, 26, 65,
895, 39, 14, 53,
913, 98, 19, 117,
827, 98, 12, 110,
881, 98, 23, 121,
856, 98, 15, 113,
751, 28, 7, 35,
691, 28, 4, 33,
724, 28, 9, 37,
717, 28, 4, 33,
885, 129, 21, 150,
911, 129, 25, 155,
904, 129, 25, 154,
969, 129, 32, 161,
724, 20, 5, 26,
721, 20, 4, 25,
713, 20, 6, 26,
723, 20, 4, 24,
953, 27, 9, 36,
961, 27, 12, 39,
971, 27, 16, 43,
949, 27, 9, 36,
740, 34, 12, 47,
802, 34, 15, 50,
772, 34, 16, 51,
798, 34, 12, 47,
1151, 37, 25, 63,
1011, 37, 15, 53,
1089, 37, 20, 58,
1068, 37, 25, 62,
770, 31, 14, 45,
849, 31, 11, 42,
796, 31, 12, 44,
830, 31, 9, 41,
808, 31, 12, 43,
761, 31, 13, 44,
762, 31, 16, 48,
755, 31, 9, 40,
679, 20, 11, 31,
676, 20, 18, 38,
670, 20, 19, 39,
680, 20, 12, 33,
1044, 28, 14, 43,
897, 28, 19, 48,
986, 28, 22, 50,
954, 28, 20, 49,
724, 22, 11, 34,
716, 22, 11, 33,
717, 22, 15, 37,
724, 22, 9, 32,
1117, 63, 22, 85,
999, 63, 25, 88,
1132, 63, 24, 88,
1105, 63, 20, 84,
777, 41, 14, 56,
886, 41, 13, 54,
841, 41, 21, 63,
884, 41, 12, 54,
1076, 59, 27, 87,
1115, 59, 24, 84,
1077, 59, 24, 84,
1052, 59, 19, 79,
855, 44, 15, 59,
986, 44, 13, 57,
922, 44, 23, 67,
963, 44, 13, 57,
897, 119, 22, 142,
869, 119, 20, 140,
857, 119, 23, 143,
859, 119, 18, 137,
806, 27, 9, 36,
784, 27, 14, 41,
796, 27, 14, 41,
787, 27, 10, 37,
1024, 132, 39, 172,
902, 132, 24, 156,
914, 132, 26, 158,
953, 132, 30, 163,
791, 25, 9, 35,
797, 25, 10, 36,
774, 25, 10, 36,
785, 25, 8, 34,
941, 34, 16, 51,
844, 34, 9, 44,
900, 34, 18, 53,
880, 34, 11, 46,
700, 17, 6, 23,
705, 17, 5, 22,
693, 17, 10, 27,
717, 17, 5, 22,
1189, 32, 26, 59,
1013, 32, 34, 67,
1121, 32, 29, 62,
1096, 32, 44, 77,
729, 18, 8, 27,
738, 18, 6, 25,
724, 18, 10, 29,
740, 18, 6, 25,
781, 27, 8, 35,
707, 27, 6, 33,
741, 27, 19, 47,
725, 27, 6, 34,
626, 19, 7, 27,
602, 19, 7, 27,
616, 19, 20, 40,
612, 19, 6, 25,
1026, 26, 13, 39,
884, 26, 16, 42,
973, 26, 24, 50,
942, 26, 16, 42,
666, 19, 7, 26,
658, 19, 5, 24,
648, 19, 11, 30,
659, 19, 5, 24,
1014, 25, 28, 53,
1017, 25, 23, 48,
1024, 25, 30, 55,
992, 25, 24, 49,
837, 24, 26, 50,
812, 24, 16, 40,
753, 24, 11, 35,
808, 24, 14, 38,
943, 137, 40, 178,
958, 137, 31, 169,
940, 137, 44, 182,
941, 137, 31, 169,
757, 29, 13, 43,
880, 29, 20, 50,
800, 29, 20, 50,
859, 29, 17, 46,
894, 103, 20, 124,
834, 103, 14, 117,
876, 103, 25, 128,
857, 103, 16, 119,
725, 67, 8, 76,
717, 67, 8, 76,
724, 67, 11, 79,
738, 67, 8, 76,
1147, 53, 29, 82,
941, 53, 24, 77,
1070, 53, 31, 84,
1015, 53, 30, 84,
734, 18, 6, 24,
725, 18, 4, 23,
714, 18, 7, 26,
735, 18, 5, 23,
1006, 35, 11, 47,
1000, 35, 16, 51,
986, 35, 18, 54,
972, 35, 12, 47,
758, 94, 17, 112,
829, 94, 25, 120,
815, 94, 23, 117,
800, 94, 21, 115,
1151, 38, 24, 63,
1034, 38, 24, 63,
1079, 38, 26, 64,
1059, 38, 27, 66,
801, 37, 12, 50,
902, 37, 14, 51,
837, 37, 15, 52,
872, 37, 12, 49,
788, 60, 16, 76,
728, 60, 10, 70,
724, 60, 16, 76,
752, 60, 12, 72,
716, 24, 10, 35,
734, 24, 17, 42,
715, 24, 15, 40,
721, 24, 11, 36,
955, 123, 32, 155,
873, 123, 24, 147,
859, 123, 24, 147,
903, 123, 28, 151,
750, 20, 7, 28,
775, 20, 10, 31,
744, 20, 10, 30,
761, 20, 7, 27,
1000, 91, 19, 111,
864, 91, 21, 113,
931, 91, 20, 111,
930, 91, 17, 108,
782, 45, 22, 67,
892, 45, 23, 68,
826, 45, 21, 66,
853, 45, 17, 62,
1066, 39, 25, 65,
1057, 39, 20, 60,
1038, 39, 23, 63,
1032, 39, 21, 61,
857, 34, 16, 50,
951, 34, 11, 46,
885, 34, 21, 56,
923, 34, 10, 45,
832, 70, 23, 94,
805, 70, 14, 84,
753, 70, 18, 89,
802, 70, 15, 86,
817, 28, 9, 37,
828, 28, 12, 40,
801, 28, 11, 39,
810, 28, 9, 37,
920, 122, 42, 165,
867, 122, 22, 145,
894, 122, 31, 154,
888, 122, 28, 151,
807, 25, 9, 35,
829, 25, 8, 34,
792, 25, 9, 35,
812, 25, 8, 33,
1028, 27, 16, 44,
952, 27, 20, 48,
999, 27, 18, 46,
965, 27, 16, 44,
743, 21, 6, 28,
766, 21, 7, 29,
754, 21, 9, 30,
777, 21, 7, 29,
1239, 37, 30, 68,
1039, 37, 35, 72,
1168, 37, 28, 65,
1133, 37, 42, 80,
781, 26, 11, 37,
830, 26, 10, 37,
797, 26, 12, 38,
825, 26, 9, 36,
860, 26, 10, 36,
797, 26, 7, 33,
824, 26, 15, 41,
815, 26, 7, 33,
659, 25, 8, 34,
673, 25, 13, 39,
657, 25, 18, 44,
678, 25, 8, 34,
1089, 32, 15, 47,
934, 32, 15, 47,
1031, 32, 22, 54,
995, 32, 15, 48,
721, 19, 7, 27,
741, 19, 6, 26,
721, 19, 10, 30,
742, 19, 5, 25,
1092, 43, 34, 77,
1107, 43, 30, 73,
1115, 43, 40, 83,
1074, 43, 29, 73,
847, 29, 22, 51,
834, 29, 16, 45,
787, 29, 18, 47,
839, 29, 17, 46,
1085, 27, 35, 62,
1089, 27, 23, 50,
1070, 27, 28, 55,
1066, 27, 23, 50,
782, 39, 16, 55,
926, 39, 26, 65,
845, 39, 25, 64,
900, 39, 24, 64,
913, 98, 20, 118,
836, 98, 13, 111,
868, 98, 21, 119,
858, 98, 14, 112,
747, 28, 7, 36,
728, 28, 8, 37,
741, 28, 11, 39,
755, 28, 7, 35,
884, 129, 22, 151,
897, 129, 22, 152,
912, 129, 28, 158,
949, 129, 30, 159,
734, 20, 7, 27,
749, 20, 6, 26,
732, 20, 8, 28,
754, 20, 6, 26,
1043, 27, 8, 35,
1021, 27, 11, 39,
1035, 27, 13, 40,
1007, 27, 9, 36,
779, 34, 8, 42,
828, 34, 9, 44,
807, 34, 11, 45,
829, 34, 7, 42,
1208, 37, 26, 63,
1064, 37, 14, 52,
1147, 37, 20, 58,
1123, 37, 27, 65,
820, 31, 11, 43,
892, 31, 9, 41,
845, 31, 12, 43,
874, 31, 8, 40,
817, 31, 8, 39,
756, 31, 6, 37,
769, 31, 12, 43,
777, 31, 6, 38,
696, 20, 5, 25,
684, 20, 8, 28,
687, 20, 10, 31,
693, 20, 5, 25,
1069, 28, 17, 46,
924, 28, 20, 49,
1012, 28, 25, 54,
983, 28, 19, 48,
737, 22, 6, 28,
742, 22, 6, 28,
730, 22, 8, 30,
747, 22, 5, 28,
1147, 63, 18, 82,
1064, 63, 30, 93,
1210, 63, 18, 81,
1145, 63, 17, 81,
818, 41, 14, 56,
935, 41, 17, 59,
897, 41, 24, 65,
924, 41, 15, 57,
1128, 59, 24, 84,
1029, 59, 42, 102,
1132, 59, 19, 79,
1068, 59, 20, 80,
912, 44, 19, 63,
1034, 44, 18, 62,
976, 44, 22, 66,
1011, 44, 16, 60,
918, 119, 26, 145,
866, 119, 18, 138,
865, 119, 24, 144,
874, 119, 18, 138,
804, 27, 6, 33,
766, 27, 6, 33,
789, 27, 9, 36,
780, 27, 5, 32,
1104, 132, 55, 187,
915, 132, 25, 158,
979, 132, 40, 172,
987, 132, 41, 173,
796, 25, 6, 32,
787, 25, 6, 31,
774, 25, 7, 33,
784, 25, 5, 31,
983, 34, 10, 45,
880, 34, 7, 42,
934, 34, 14, 48,
913, 34, 8, 43,
722, 17, 6, 23,
724, 17, 6, 23,
720, 17, 11, 28,
736, 17, 5, 22,
1213, 32, 22, 55,
1042, 32, 31, 64,
1147, 32, 22, 55,
1130, 32, 36, 69,
762, 18, 8, 27,
775, 18, 6, 25,
750, 18, 10, 29,
778, 18, 5, 24,
779, 27, 10, 37,
700, 27, 5, 33,
741, 27, 25, 52,
730, 27, 7, 34,
634, 19, 6, 26,
611, 19, 5, 25,
616, 19, 11, 31,
615, 19, 5, 25,
1037, 26, 14, 40,
887, 26, 20, 46,
982, 26, 25, 51,
953, 26, 18, 44,
677, 19, 6, 25,
662, 19, 4, 24,
648, 19, 8, 28,
665, 19, 4, 24,
1031, 25, 19, 44,
1046, 25, 12, 37,
1049, 25, 16, 41,
1017, 25, 11, 36,
743, 24, 9, 34,
826, 24, 9, 33,
782, 24, 11, 35,
826, 24, 8, 32,
871, 137, 20, 158,
880, 137, 19, 157,
901, 137, 23, 160,
910, 137, 23, 160,
795, 29, 13, 43,
897, 29, 10, 40,
834, 29, 23, 53,
882, 29, 10, 39,
904, 103, 22, 125,
837, 103, 15, 118,
867, 103, 26, 130,
863, 103, 17, 120,
771, 67, 9, 77,
716, 67, 7, 75,
734, 67, 12, 80,
721, 67, 8, 76,
1166, 53, 30, 84,
948, 53, 27, 80,
1079, 53, 32, 86,
1030, 53, 31, 85,
753, 18, 6, 24,
722, 18, 4, 23,
716, 18, 7, 25,
729, 18, 4, 23,
1019, 35, 12, 47,
987, 35, 14, 49,
971, 35, 20, 55,
970, 35, 13, 48,
857, 94, 25, 119,
892, 94, 25, 119,
860, 94, 21, 115,
867, 94, 21, 115,
1189, 38, 22, 61,
1046, 38, 15, 54,
1116, 38, 21, 59,
1083, 38, 25, 63,
870, 37, 11, 48,
927, 37, 9, 46,
875, 37, 11, 48,
895, 37, 8, 45,
736, 60, 13, 73,
751, 60, 11, 71,
696, 60, 12, 73,
742, 60, 10, 71,
724, 24, 6, 31,
730, 24, 9, 34,
717, 24, 9, 34,
719, 24, 7, 32,
944, 123, 39, 162,
861, 123, 25, 148,
820, 123, 24, 147,
877, 123, 30, 153,
750, 20, 5, 26,
760, 20, 6, 26,
744, 20, 7, 28,
757, 20, 5, 25,
1032, 91, 25, 116,
912, 91, 25, 117,
1025, 91, 34, 126,
974, 91, 25, 117,
839, 45, 19, 65,
918, 45, 18, 63,
869, 45, 16, 61,
892, 45, 14, 59,
1097, 39, 25, 65,
1068, 39, 24, 64,
1055, 39, 25, 65,
1031, 39, 20, 60,
899, 34, 13, 48,
982, 34, 10, 45,
922, 34, 19, 54,
956, 34, 10, 44,
741, 70, 15, 86,
744, 70, 10, 81,
711, 70, 14, 85,
735, 70, 11, 82,
809, 28, 6, 34,
808, 28, 8, 36,
784, 28, 8, 36,
794, 28, 6, 34,
887, 122, 34, 157,
885, 122, 25, 148,
870, 122, 34, 156,
871, 122, 27, 150,
793, 25, 6, 32,
808, 25, 6, 32,
776, 25, 7, 33,
792, 25, 5, 31,
1073, 27, 10, 38,
1003, 27, 11, 39,
1035, 27, 11, 39,
1009, 27, 9, 37,
790, 21, 6, 28,
810, 21, 7, 29,
795, 21, 8, 30,
820, 21, 6, 28,
1274, 37, 20, 58,
1106, 37, 23, 61,
1203, 37, 18, 55,
1183, 37, 29, 66,
839, 26, 11, 37,
883, 26, 10, 36,
854, 26, 11, 37,
875, 26, 9, 35,
865, 26, 8, 34,
791, 26, 6, 32,
829, 26, 17, 43,
819, 26, 6, 33,
672, 25, 4, 30,
659, 25, 6, 32,
662, 25, 10, 36,
684, 25, 5, 30,
1103, 32, 15, 47,
941, 32, 16, 48,
1047, 32, 24, 56,
1007, 32, 16, 48,
734, 19, 5, 25,
734, 19, 5, 25,
724, 19, 7, 27,
734, 19, 4, 24,
1132, 43, 23, 67,
1140, 43, 23, 67,
1159, 43, 24, 67,
1106, 43, 21, 64,
763, 29, 9, 39,
865, 29, 15, 44,
805, 29, 13, 43,
859, 29, 12, 42,
1119, 27, 31, 58,
1116, 27, 20, 47,
1096, 27, 24, 51,
1092, 27, 21, 48,
818, 39, 14, 53,
962, 39, 20, 60,
883, 39, 26, 65,
935, 39, 17, 56,
909, 98, 22, 120,
818, 98, 12, 110,
872, 98, 25, 123,
858, 98, 15, 114,
767, 28, 6, 35,
709, 28, 4, 33,
748, 28, 10, 39,
743, 28, 5, 33,
1120, 129, 47, 176,
905, 129, 25, 154,
946, 129, 33, 163,
975, 129, 33, 163,
747, 20, 5, 25,
738, 20, 4, 24,
730, 20, 6, 27,
742, 20, 4, 24};


// From ONT model: mean, std dev, std dev(std dev), std dev + std dev(std dev)
// perl -ane 'print(join(", ",map({int(10*$_)} $F[1], $F[2], $F[4], $F[2]+$F[4])), ",\n") unless $. == 1' kmer_models/r9.4_180mv_450bps_6mer/template_median68pA.model > dna.txt
__device__ short dna_94_model[] = {
864, 15, 6, 21,		// Pico amperage estimate for kmer AAAAAA is 864
839, 15, 7, 22,		// Pico amperage estimate for kmer AAAAAC is 839, etc
854, 15, 6, 21,
844, 15, 7, 22,
770, 17, 9, 26,
757, 17, 9, 26,
769, 17, 9, 26,
768, 17, 8, 25,
845, 15, 6, 21,
827, 15, 6, 21,
837, 15, 6, 21,
828, 15, 7, 22,
764, 15, 8, 23,
746, 15, 8, 23,
759, 15, 7, 23,
758, 15, 10, 25,
882, 19, 13, 33,
866, 19, 10, 30,
873, 19, 12, 31,
874, 19, 11, 30,
845, 18, 14, 32,
834, 18, 12, 31,
845, 18, 13, 32,
844, 18, 12, 31,
871, 15, 11, 27,
856, 15, 10, 25,
863, 15, 11, 26,
860, 15, 10, 26,
841, 15, 11, 27,
820, 15, 9, 25,
832, 15, 10, 26,
825, 15, 7, 23,
843, 14, 6, 21,
803, 14, 8, 23,
836, 14, 6, 21,
818, 14, 8, 23,
791, 14, 7, 21,
775, 14, 7, 21,
788, 14, 6, 21,
786, 14, 6, 20,
832, 14, 6, 20,
806, 14, 7, 21,
822, 14, 6, 20,
817, 14, 7, 21,
776, 14, 7, 22,
751, 14, 9, 24,
767, 14, 7, 22,
762, 14, 10, 25,
827, 19, 16, 35,
803, 19, 15, 34,
819, 19, 14, 34,
816, 19, 16, 36,
760, 22, 26, 48,
749, 22, 24, 47,
761, 22, 27, 49,
761, 22, 27, 49,
800, 16, 15, 32,
776, 16, 15, 32,
791, 16, 16, 33,
784, 16, 16, 33,
707, 20, 15, 35,
679, 20, 18, 38,
701, 20, 16, 36,
693, 20, 16, 36,
1079, 21, 15, 37,
1048, 21, 15, 37,
1068, 21, 16, 38,
1061, 21, 17, 39,
996, 17, 10, 27,
981, 17, 9, 27,
995, 17, 9, 26,
994, 17, 10, 28,
1052, 22, 16, 39,
1023, 22, 14, 37,
1041, 22, 14, 37,
1037, 22, 16, 39,
990, 21, 12, 34,
974, 21, 13, 35,
984, 21, 13, 35,
988, 21, 16, 38,
1079, 18, 13, 32,
1050, 18, 13, 32,
1070, 18, 12, 31,
1062, 18, 15, 34,
1039, 17, 10, 28,
1022, 17, 9, 27,
1038, 17, 11, 28,
1032, 17, 12, 30,
1065, 19, 13, 32,
1038, 19, 12, 31,
1056, 19, 13, 32,
1048, 19, 14, 34,
1031, 18, 11, 30,
1008, 18, 12, 30,
1022, 18, 11, 30,
1018, 18, 14, 32,
1031, 22, 15, 38,
984, 22, 14, 37,
1020, 22, 15, 37,
1005, 22, 17, 40,
986, 20, 11, 31,
969, 20, 11, 32,
984, 20, 12, 32,
986, 20, 12, 33,
1028, 22, 15, 38,
996, 22, 14, 36,
1018, 22, 14, 37,
1012, 22, 16, 39,
978, 26, 14, 40,
960, 26, 15, 41,
971, 26, 14, 41,
976, 26, 18, 45,
1015, 16, 11, 28,
980, 16, 9, 26,
1004, 16, 11, 28,
996, 16, 11, 28,
936, 18, 14, 32,
915, 18, 14, 33,
935, 18, 13, 32,
930, 18, 14, 32,
987, 16, 10, 27,
951, 16, 9, 26,
973, 16, 10, 27,
962, 16, 10, 26,
889, 14, 9, 24,
858, 14, 8, 23,
880, 14, 8, 23,
870, 14, 7, 22,
798, 18, 7, 25,
767, 18, 9, 27,
790, 18, 7, 25,
771, 18, 9, 27,
690, 21, 12, 33,
674, 21, 12, 33,
686, 21, 12, 34,
686, 21, 11, 33,
782, 18, 7, 25,
762, 18, 8, 26,
772, 18, 8, 26,
764, 18, 8, 26,
686, 18, 12, 30,
673, 18, 10, 29,
681, 18, 11, 29,
679, 18, 10, 29,
870, 18, 12, 31,
848, 18, 9, 27,
860, 18, 11, 30,
856, 18, 9, 28,
824, 17, 12, 29,
813, 17, 12, 29,
824, 17, 12, 29,
823, 17, 12, 29,
848, 15, 10, 26,
817, 15, 9, 25,
837, 15, 10, 26,
825, 15, 10, 25,
815, 14, 10, 24,
793, 14, 8, 22,
809, 14, 9, 23,
800, 14, 6, 21,
787, 18, 7, 26,
735, 18, 12, 30,
774, 18, 8, 26,
751, 18, 11, 29,
730, 16, 11, 27,
716, 16, 10, 27,
728, 16, 10, 26,
724, 16, 8, 25,
790, 16, 7, 24,
761, 16, 9, 26,
779, 16, 6, 23,
771, 16, 9, 26,
717, 17, 8, 26,
698, 17, 10, 28,
711, 17, 9, 27,
709, 17, 11, 29,
772, 20, 14, 35,
738, 20, 16, 36,
761, 20, 14, 35,
753, 20, 15, 35,
693, 24, 21, 45,
680, 24, 24, 48,
694, 24, 22, 46,
693, 24, 24, 49,
733, 19, 15, 35,
694, 19, 21, 41,
720, 19, 17, 36,
705, 19, 20, 40,
645, 23, 21, 45,
612, 23, 21, 45,
637, 23, 21, 44,
626, 23, 19, 43,
1106, 31, 20, 52,
1083, 31, 21, 52,
1099, 31, 19, 51,
1106, 31, 24, 55,
1059, 30, 17, 48,
1054, 30, 19, 50,
1053, 30, 17, 48,
1073, 30, 20, 51,
1085, 30, 22, 53,
1069, 30, 21, 51,
1084, 30, 19, 49,
1094, 30, 24, 54,
1066, 37, 21, 58,
1080, 37, 23, 61,
1063, 37, 21, 59,
1102, 37, 26, 63,
1197, 29, 27, 56,
1171, 29, 26, 56,
1187, 29, 28, 58,
1185, 29, 28, 58,
1183, 30, 25, 55,
1164, 30, 24, 54,
1184, 30, 26, 57,
1179, 30, 26, 57,
1196, 30, 27, 57,
1166, 30, 25, 55,
1188, 30, 25, 55,
1187, 30, 28, 58,
1188, 31, 26, 57,
1173, 31, 26, 57,
1181, 31, 28, 59,
1187, 31, 28, 60,
1076, 29, 21, 51,
1038, 29, 21, 51,
1068, 29, 18, 48,
1064, 29, 24, 54,
1066, 31, 20, 51,
1063, 31, 20, 51,
1066, 31, 19, 51,
1082, 31, 22, 53,
1084, 29, 21, 50,
1059, 29, 21, 51,
1077, 29, 20, 50,
1086, 29, 23, 52,
1088, 35, 24, 59,
1100, 35, 25, 61,
1087, 35, 25, 61,
1124, 35, 28, 64,
1078, 21, 18, 40,
1038, 21, 16, 37,
1068, 21, 17, 39,
1053, 21, 17, 38,
1014, 20, 20, 41,
994, 20, 18, 39,
1014, 20, 18, 39,
1015, 20, 16, 37,
1053, 22, 17, 39,
1014, 22, 15, 37,
1045, 22, 15, 37,
1031, 22, 15, 37,
973, 19, 16, 35,
951, 19, 14, 33,
968, 19, 15, 34,
966, 19, 14, 33,
927, 27, 11, 39,
892, 27, 14, 41,
919, 27, 13, 40,
903, 27, 15, 42,
831, 21, 12, 33,
822, 21, 12, 34,
831, 21, 12, 34,
827, 21, 11, 33,
910, 28, 12, 40,
886, 28, 13, 41,
901, 28, 12, 40,
888, 28, 15, 43,
821, 22, 13, 36,
806, 22, 18, 40,
816, 22, 15, 38,
810, 22, 18, 41,
949, 12, 8, 20,
923, 12, 8, 20,
941, 12, 7, 20,
933, 12, 7, 19,
917, 12, 9, 22,
903, 12, 9, 22,
914, 12, 8, 21,
912, 12, 8, 21,
940, 13, 7, 21,
915, 13, 8, 22,
932, 13, 7, 21,
923, 13, 8, 22,
901, 15, 8, 23,
879, 15, 8, 23,
894, 15, 8, 23,
890, 15, 7, 23,
881, 26, 12, 38,
827, 26, 16, 42,
870, 26, 13, 39,
846, 26, 15, 41,
830, 20, 11, 32,
814, 20, 12, 32,
828, 20, 11, 32,
828, 20, 13, 34,
879, 25, 12, 37,
839, 25, 14, 39,
865, 25, 12, 37,
854, 25, 15, 40,
803, 24, 17, 41,
768, 24, 19, 43,
788, 24, 17, 41,
780, 24, 19, 43,
891, 19, 13, 32,
855, 19, 13, 33,
884, 19, 12, 31,
872, 19, 13, 33,
823, 22, 21, 43,
806, 22, 23, 45,
822, 22, 19, 41,
818, 22, 20, 43,
865, 21, 12, 34,
828, 21, 15, 37,
855, 21, 14, 36,
839, 21, 15, 37,
765, 24, 19, 44,
734, 24, 21, 45,
757, 24, 20, 45,
746, 24, 18, 43,
1039, 16, 10, 26,
1014, 16, 13, 29,
1030, 16, 10, 27,
1023, 16, 13, 29,
963, 14, 7, 22,
950, 14, 8, 22,
960, 14, 7, 22,
959, 14, 8, 23,
1018, 18, 11, 29,
995, 18, 12, 30,
1007, 18, 11, 29,
1002, 18, 14, 32,
950, 17, 9, 27,
933, 17, 11, 29,
945, 17, 10, 28,
943, 17, 13, 31,
1034, 14, 6, 20,
1005, 14, 7, 21,
1024, 14, 6, 20,
1015, 14, 8, 22,
993, 14, 6, 20,
978, 14, 6, 20,
992, 14, 6, 20,
990, 14, 6, 20,
1019, 14, 6, 21,
993, 14, 7, 21,
1007, 14, 6, 20,
1001, 14, 8, 22,
982, 14, 7, 21,
964, 14, 9, 23,
976, 14, 7, 22,
968, 14, 9, 24,
990, 18, 11, 29,
941, 18, 14, 32,
978, 18, 11, 30,
959, 18, 15, 33,
944, 15, 7, 23,
929, 15, 8, 24,
941, 15, 8, 24,
940, 15, 8, 24,
988, 17, 11, 28,
954, 17, 12, 30,
975, 17, 11, 29,
968, 17, 13, 31,
926, 21, 11, 33,
901, 21, 14, 36,
916, 21, 13, 35,
915, 21, 16, 37,
980, 17, 10, 27,
952, 17, 11, 28,
971, 17, 7, 25,
961, 17, 10, 28,
912, 21, 15, 37,
901, 21, 17, 39,
913, 21, 14, 36,
912, 21, 16, 38,
954, 16, 9, 26,
920, 16, 11, 28,
940, 16, 10, 26,
931, 16, 12, 28,
868, 19, 14, 34,
833, 19, 14, 33,
858, 19, 12, 32,
846, 19, 13, 32,
856, 23, 11, 35,
821, 23, 15, 39,
845, 23, 13, 36,
830, 23, 15, 39,
753, 20, 15, 35,
741, 20, 13, 33,
752, 20, 14, 34,
751, 20, 13, 33,
844, 24, 11, 35,
820, 24, 14, 38,
831, 24, 11, 35,
824, 24, 14, 38,
742, 18, 14, 32,
724, 18, 17, 36,
733, 18, 14, 32,
736, 18, 19, 38,
907, 14, 9, 24,
879, 14, 8, 23,
896, 14, 9, 24,
889, 14, 8, 23,
868, 15, 11, 27,
854, 15, 12, 27,
865, 15, 11, 27,
864, 15, 11, 26,
888, 15, 9, 25,
857, 15, 10, 26,
876, 15, 10, 26,
864, 15, 10, 26,
851, 15, 11, 26,
826, 15, 10, 26,
842, 15, 10, 26,
835, 15, 8, 24,
849, 24, 13, 38,
794, 24, 17, 41,
837, 24, 14, 38,
811, 24, 16, 41,
799, 20, 12, 32,
784, 20, 12, 32,
797, 20, 11, 32,
797, 20, 12, 32,
855, 23, 12, 35,
826, 23, 14, 37,
842, 23, 11, 35,
836, 23, 14, 38,
783, 24, 15, 40,
755, 24, 17, 42,
771, 24, 16, 41,
765, 24, 17, 42,
821, 21, 15, 37,
785, 21, 17, 38,
814, 21, 16, 38,
801, 21, 18, 39,
752, 24, 28, 53,
737, 24, 29, 54,
752, 24, 28, 53,
750, 24, 28, 53,
787, 22, 17, 39,
746, 22, 21, 43,
774, 22, 20, 42,
757, 22, 22, 44,
696, 24, 24, 49,
661, 24, 26, 51,
687, 24, 25, 50,
676, 24, 25, 49,
1096, 26, 13, 39,
1070, 26, 13, 39,
1087, 26, 13, 40,
1086, 26, 15, 42,
1049, 25, 10, 36,
1043, 25, 12, 38,
1046, 25, 10, 36,
1057, 25, 13, 39,
1078, 25, 15, 40,
1056, 25, 12, 37,
1063, 25, 11, 37,
1071, 25, 12, 37,
1049, 30, 14, 44,
1053, 30, 15, 45,
1045, 30, 13, 44,
1069, 30, 17, 48,
1150, 24, 15, 40,
1125, 24, 14, 38,
1143, 24, 16, 40,
1137, 24, 17, 41,
1137, 24, 15, 39,
1117, 24, 14, 38,
1136, 24, 15, 40,
1128, 24, 16, 41,
1139, 24, 14, 39,
1116, 24, 15, 40,
1140, 24, 17, 42,
1133, 24, 17, 42,
1137, 27, 15, 42,
1117, 27, 17, 44,
1132, 27, 16, 43,
1129, 27, 21, 48,
1051, 25, 13, 38,
1011, 25, 12, 37,
1042, 25, 13, 38,
1031, 25, 14, 39,
1029, 25, 11, 36,
1021, 25, 11, 37,
1028, 25, 11, 37,
1038, 25, 13, 38,
1053, 24, 13, 38,
1025, 24, 12, 37,
1044, 24, 13, 38,
1044, 24, 15, 39,
1030, 31, 13, 45,
1031, 31, 15, 46,
1031, 31, 13, 45,
1049, 31, 17, 48,
1042, 18, 9, 28,
1000, 18, 8, 27,
1036, 18, 9, 28,
1017, 18, 9, 28,
984, 17, 11, 29,
966, 17, 11, 28,
983, 17, 10, 28,
980, 17, 10, 28,
1022, 18, 9, 28,
981, 18, 9, 28,
1013, 18, 10, 29,
998, 18, 9, 28,
946, 18, 8, 27,
920, 18, 8, 27,
939, 18, 8, 27,
943, 18, 8, 27,
797, 16, 7, 24,
775, 16, 6, 23,
786, 16, 7, 23,
779, 16, 6, 23,
694, 21, 12, 33,
682, 21, 12, 34,
695, 21, 12, 34,
694, 21, 10, 32,
773, 15, 7, 23,
768, 15, 6, 22,
766, 15, 7, 23,
766, 15, 6, 22,
697, 19, 9, 29,
680, 19, 8, 28,
690, 19, 8, 28,
690, 19, 7, 27,
849, 24, 16, 41,
834, 24, 14, 38,
840, 24, 14, 39,
843, 24, 13, 38,
807, 21, 18, 40,
796, 21, 15, 37,
807, 21, 17, 39,
808, 21, 16, 38,
837, 19, 15, 35,
823, 19, 13, 33,
828, 19, 14, 34,
826, 19, 14, 34,
803, 19, 13, 33,
790, 19, 12, 32,
799, 19, 15, 34,
794, 19, 9, 29,
797, 14, 7, 21,
758, 14, 8, 23,
783, 14, 7, 21,
771, 14, 8, 23,
727, 15, 8, 24,
714, 15, 8, 24,
727, 15, 7, 23,
728, 15, 7, 23,
789, 13, 6, 20,
767, 13, 7, 21,
782, 13, 6, 20,
775, 13, 7, 21,
726, 14, 6, 20,
710, 14, 8, 22,
721, 14, 7, 21,
721, 14, 9, 23,
781, 25, 20, 45,
758, 25, 18, 44,
773, 25, 18, 43,
774, 25, 20, 46,
713, 27, 27, 54,
706, 27, 30, 57,
714, 27, 26, 53,
722, 27, 33, 60,
755, 20, 19, 39,
730, 20, 20, 40,
745, 20, 18, 39,
741, 20, 22, 42,
674, 23, 20, 43,
646, 23, 18, 41,
664, 23, 17, 41,
661, 23, 16, 40,
1055, 22, 14, 37,
1024, 22, 16, 38,
1045, 22, 15, 37,
1038, 22, 17, 39,
965, 17, 8, 25,
950, 17, 9, 26,
964, 17, 8, 26,
966, 17, 11, 28,
1027, 22, 14, 37,
997, 22, 13, 36,
1014, 22, 14, 37,
1010, 22, 16, 39,
960, 20, 11, 31,
945, 20, 13, 33,
954, 20, 11, 31,
961, 20, 14, 35,
1062, 19, 12, 32,
1033, 19, 13, 32,
1053, 19, 12, 32,
1047, 19, 15, 35,
1026, 17, 11, 28,
1006, 17, 10, 27,
1024, 17, 10, 28,
1017, 17, 12, 30,
1049, 19, 13, 33,
1023, 19, 13, 33,
1038, 19, 13, 33,
1034, 19, 16, 35,
1015, 18, 10, 29,
993, 18, 12, 30,
1009, 18, 11, 29,
1004, 18, 13, 32,
1011, 22, 16, 39,
969, 22, 14, 37,
1005, 22, 14, 36,
988, 22, 17, 39,
959, 18, 11, 29,
944, 18, 10, 29,
959, 18, 11, 29,
960, 18, 12, 31,
1009, 21, 17, 38,
980, 21, 14, 36,
1001, 21, 15, 36,
996, 21, 16, 38,
957, 24, 14, 39,
942, 24, 15, 40,
952, 24, 15, 39,
961, 24, 19, 43,
996, 18, 13, 31,
964, 18, 11, 29,
984, 18, 12, 30,
977, 18, 11, 29,
917, 20, 14, 34,
897, 20, 15, 35,
918, 20, 13, 33,
913, 20, 14, 34,
968, 16, 12, 28,
934, 16, 10, 27,
955, 16, 11, 28,
945, 16, 11, 28,
873, 15, 11, 26,
844, 15, 9, 24,
868, 15, 9, 24,
856, 15, 7, 22,
727, 18, 7, 26,
698, 18, 9, 27,
712, 18, 8, 26,
705, 18, 8, 27,
609, 23, 14, 37,
600, 23, 15, 38,
609, 23, 15, 38,
610, 23, 12, 36,
705, 18, 9, 27,
693, 18, 8, 27,
693, 18, 10, 28,
693, 18, 8, 27,
616, 19, 14, 33,
603, 19, 12, 31,
610, 19, 12, 32,
614, 19, 9, 28,
836, 18, 13, 32,
815, 18, 10, 29,
825, 18, 13, 32,
825, 18, 10, 29,
792, 17, 14, 31,
781, 17, 13, 30,
791, 17, 14, 31,
790, 17, 13, 31,
820, 15, 11, 27,
796, 15, 10, 26,
809, 15, 11, 27,
802, 15, 10, 26,
784, 14, 11, 26,
764, 14, 10, 24,
777, 14, 10, 25,
772, 14, 7, 22,
750, 17, 7, 24,
703, 17, 10, 27,
740, 17, 7, 24,
719, 17, 9, 26,
682, 17, 10, 28,
667, 17, 10, 28,
682, 17, 10, 27,
680, 17, 9, 27,
753, 15, 6, 22,
731, 15, 7, 22,
745, 15, 6, 21,
739, 15, 7, 22,
680, 16, 8, 24,
659, 16, 9, 25,
671, 16, 8, 24,
676, 16, 10, 26,
739, 23, 18, 41,
706, 23, 14, 38,
725, 23, 17, 41,
723, 23, 17, 41,
662, 26, 21, 48,
650, 26, 23, 50,
661, 26, 19, 46,
662, 26, 24, 51,
699, 21, 15, 37,
667, 21, 16, 38,
686, 21, 14, 36,
678, 21, 17, 38,
621, 26, 19, 45,
593, 26, 23, 49,
615, 26, 18, 45,
605, 26, 18, 45,
1073, 29, 20, 49,
1047, 29, 20, 49,
1062, 29, 19, 49,
1068, 29, 21, 51,
1004, 26, 15, 42,
1002, 26, 17, 44,
1004, 26, 15, 42,
1020, 26, 16, 43,
1051, 27, 19, 47,
1028, 27, 19, 46,
1043, 27, 17, 45,
1050, 27, 23, 50,
1019, 37, 20, 57,
1030, 37, 21, 59,
1017, 37, 21, 59,
1052, 37, 25, 63,
1157, 27, 28, 56,
1134, 27, 27, 55,
1150, 27, 27, 54,
1145, 27, 28, 56,
1141, 29, 25, 54,
1124, 29, 24, 53,
1140, 29, 28, 57,
1135, 29, 25, 54,
1155, 29, 29, 58,
1127, 29, 25, 54,
1145, 29, 28, 57,
1147, 29, 28, 58,
1138, 30, 33, 63,
1131, 30, 26, 56,
1141, 30, 25, 55,
1142, 30, 30, 60,
1046, 28, 22, 51,
1011, 28, 23, 52,
1036, 28, 21, 49,
1036, 28, 25, 54,
1027, 29, 19, 48,
1021, 29, 19, 48,
1028, 29, 20, 50,
1045, 29, 22, 52,
1054, 28, 22, 50,
1032, 28, 22, 50,
1046, 28, 20, 49,
1053, 28, 25, 53,
1054, 33, 25, 59,
1058, 33, 26, 60,
1054, 33, 24, 58,
1083, 33, 30, 64,
1041, 24, 20, 44,
1002, 24, 17, 41,
1034, 24, 17, 41,
1021, 24, 17, 41,
972, 22, 20, 42,
953, 22, 21, 43,
973, 22, 20, 42,
971, 22, 19, 41,
1019, 23, 17, 41,
978, 23, 16, 40,
1009, 23, 17, 41,
995, 23, 17, 40,
936, 19, 17, 36,
914, 19, 15, 34,
930, 19, 17, 36,
930, 19, 12, 31,
937, 24, 12, 36,
911, 24, 16, 40,
929, 24, 12, 37,
918, 24, 16, 40,
846, 23, 14, 37,
834, 23, 13, 36,
843, 23, 14, 37,
842, 23, 13, 36,
922, 24, 13, 38,
903, 24, 15, 39,
910, 24, 13, 37,
909, 24, 16, 40,
840, 24, 15, 40,
825, 24, 20, 45,
835, 24, 17, 42,
832, 24, 21, 46,
951, 13, 10, 23,
931, 13, 9, 22,
943, 13, 9, 22,
940, 13, 8, 21,
923, 14, 11, 25,
911, 14, 10, 25,
922, 14, 10, 25,
919, 14, 10, 24,
941, 13, 9, 22,
920, 13, 9, 22,
931, 13, 9, 22,
926, 13, 8, 22,
911, 15, 11, 26,
894, 15, 9, 25,
906, 15, 11, 26,
902, 15, 11, 26,
914, 23, 13, 36,
866, 23, 16, 39,
903, 23, 13, 36,
883, 23, 19, 42,
865, 22, 13, 36,
854, 22, 16, 39,
864, 22, 14, 37,
859, 22, 15, 38,
911, 23, 12, 35,
883, 23, 15, 39,
900, 23, 13, 36,
894, 23, 16, 39,
847, 27, 18, 45,
824, 27, 19, 47,
837, 27, 18, 45,
836, 27, 23, 50,
905, 18, 16, 35,
876, 18, 17, 35,
898, 18, 15, 34,
888, 18, 17, 36,
856, 24, 24, 49,
844, 24, 25, 49,
853, 24, 23, 47,
852, 24, 24, 48,
884, 21, 15, 36,
852, 21, 19, 40,
873, 21, 17, 38,
863, 21, 19, 40,
807, 26, 25, 52,
775, 26, 25, 52,
798, 26, 24, 51,
790, 26, 23, 50,
1046, 20, 14, 34,
1023, 20, 16, 37,
1038, 20, 14, 35,
1032, 20, 18, 38,
980, 21, 13, 34,
968, 21, 13, 34,
977, 21, 13, 34,
975, 21, 14, 35,
1031, 24, 16, 40,
1011, 24, 17, 41,
1021, 24, 16, 40,
1018, 24, 19, 43,
964, 24, 15, 40,
949, 24, 17, 42,
957, 24, 16, 41,
958, 24, 20, 45,
1038, 16, 12, 28,
1011, 16, 12, 28,
1030, 16, 10, 26,
1021, 16, 13, 30,
1002, 16, 9, 25,
993, 16, 11, 27,
1005, 16, 10, 26,
1000, 16, 11, 27,
1027, 18, 12, 30,
1004, 18, 12, 30,
1018, 18, 11, 30,
1011, 18, 13, 31,
997, 19, 12, 31,
973, 19, 16, 35,
987, 19, 13, 33,
984, 19, 17, 36,
1016, 25, 16, 42,
971, 25, 20, 45,
1006, 25, 17, 43,
987, 25, 21, 47,
970, 24, 15, 40,
955, 24, 16, 41,
965, 24, 16, 41,
963, 24, 16, 41,
1015, 25, 16, 41,
982, 25, 18, 43,
1004, 25, 15, 41,
995, 25, 19, 44,
944, 57, 17, 74,
917, 57, 15, 73,
919, 57, 15, 73,
934, 57, 17, 75,
993, 18, 13, 31,
961, 18, 14, 32,
979, 18, 10, 28,
975, 18, 15, 33,
940, 23, 20, 44,
923, 23, 21, 44,
935, 23, 21, 45,
933, 23, 22, 45,
972, 20, 15, 35,
939, 20, 16, 37,
959, 20, 15, 35,
947, 20, 15, 35,
892, 23, 21, 45,
858, 23, 21, 45,
882, 23, 19, 43,
870, 23, 18, 42,
871, 30, 15, 46,
840, 30, 18, 49,
858, 30, 15, 46,
849, 30, 19, 50,
769, 25, 16, 42,
757, 25, 15, 40,
767, 25, 15, 41,
765, 25, 14, 39,
864, 31, 16, 47,
844, 31, 17, 49,
853, 31, 15, 47,
849, 31, 18, 49,
762, 26, 16, 43,
755, 26, 23, 50,
759, 26, 19, 46,
759, 26, 23, 49,
933, 14, 10, 25,
908, 14, 9, 24,
923, 14, 10, 25,
917, 14, 8, 23,
900, 16, 13, 29,
888, 16, 12, 29,
898, 16, 12, 29,
896, 16, 11, 28,
920, 16, 9, 26,
895, 16, 10, 27,
908, 16, 10, 27,
901, 16, 10, 27,
887, 18, 13, 32,
866, 18, 13, 31,
878, 18, 12, 30,
877, 18, 14, 32,
896, 32, 18, 50,
848, 32, 22, 54,
884, 32, 19, 51,
866, 32, 23, 55,
850, 28, 15, 44,
837, 28, 16, 45,
849, 28, 16, 45,
844, 28, 17, 46,
901, 29, 16, 46,
876, 29, 17, 47,
887, 29, 15, 45,
883, 29, 18, 48,
841, 34, 19, 53,
816, 34, 21, 55,
827, 34, 20, 54,
830, 34, 23, 58,
875, 22, 16, 38,
840, 22, 17, 40,
864, 22, 17, 40,
854, 22, 17, 40,
826, 28, 26, 54,
815, 28, 27, 56,
824, 28, 24, 53,
821, 28, 24, 52,
850, 26, 19, 46,
813, 26, 22, 49,
834, 26, 21, 47,
823, 26, 21, 47,
780, 30, 27, 58,
743, 30, 28, 58,
770, 30, 27, 58,
758, 30, 25, 55,
1071, 21, 11, 33,
1049, 21, 14, 35,
1064, 21, 11, 33,
1063, 21, 14, 36,
1017, 20, 9, 29,
1010, 20, 9, 30,
1017, 20, 9, 29,
1024, 20, 10, 30,
1053, 20, 11, 31,
1034, 20, 13, 33,
1046, 20, 12, 32,
1049, 20, 13, 34,
1015, 25, 13, 38,
1014, 25, 15, 40,
1009, 25, 13, 38,
1032, 25, 16, 41,
1105, 21, 10, 32,
1086, 21, 10, 32,
1099, 21, 10, 32,
1095, 21, 11, 33,
1086, 21, 9, 31,
1071, 21, 9, 31,
1085, 21, 10, 32,
1080, 21, 10, 32,
1098, 22, 11, 34,
1077, 22, 10, 32,
1095, 22, 11, 33,
1091, 22, 12, 34,
1088, 22, 10, 33,
1078, 22, 12, 34,
1085, 22, 11, 34,
1087, 22, 13, 36,
1036, 21, 12, 34,
999, 21, 15, 36,
1027, 21, 13, 34,
1015, 21, 17, 38,
1007, 20, 9, 29,
1000, 20, 10, 30,
1007, 20, 9, 30,
1014, 20, 10, 31,
1036, 19, 11, 31,
1012, 19, 13, 32,
1028, 19, 11, 31,
1030, 19, 13, 33,
1011, 25, 12, 37,
1008, 25, 14, 39,
1008, 25, 13, 38,
1027, 25, 15, 40,
1017, 17, 7, 24,
983, 17, 6, 24,
1008, 17, 7, 24,
996, 17, 7, 24,
962, 15, 9, 24,
944, 15, 8, 24,
960, 15, 8, 24,
958, 15, 8, 24,
1001, 16, 6, 23,
965, 16, 7, 23,
988, 16, 6, 23,
974, 16, 7, 23,
926, 15, 8, 23,
904, 15, 7, 22,
921, 15, 7, 22,
922, 15, 7, 22,
868, 15, 7, 22,
838, 15, 9, 24,
860, 15, 7, 23,
844, 15, 10, 25,
764, 17, 11, 28,
752, 17, 11, 28,
766, 17, 11, 28,
763, 17, 9, 26,
846, 15, 7, 22,
827, 15, 8, 24,
838, 15, 7, 23,
828, 15, 9, 25,
761, 15, 10, 25,
739, 15, 9, 24,
753, 15, 9, 25,
752, 15, 12, 27,
890, 19, 12, 32,
872, 19, 9, 29,
881, 19, 11, 30,
880, 19, 9, 29,
854, 18, 14, 32,
841, 18, 12, 30,
853, 18, 13, 31,
850, 18, 12, 30,
879, 15, 9, 25,
862, 15, 9, 24,
871, 15, 10, 25,
867, 15, 9, 25,
844, 15, 10, 26,
824, 15, 9, 25,
839, 15, 10, 26,
830, 15, 6, 22,
850, 14, 7, 22,
803, 14, 11, 26,
840, 14, 8, 23,
817, 14, 10, 25,
785, 14, 9, 23,
773, 14, 8, 22,
785, 14, 8, 22,
781, 14, 7, 21,
837, 14, 7, 21,
807, 14, 9, 23,
827, 14, 7, 21,
818, 14, 9, 23,
770, 14, 9, 24,
747, 14, 13, 27,
761, 14, 10, 25,
755, 14, 12, 27,
825, 19, 15, 34,
802, 19, 12, 32,
819, 19, 13, 33,
813, 19, 14, 34,
757, 22, 20, 42,
746, 22, 22, 44,
759, 22, 20, 43,
757, 22, 22, 44,
799, 16, 12, 29,
774, 16, 14, 31,
790, 16, 13, 30,
782, 16, 14, 31,
706, 20, 19, 39,
679, 20, 21, 41,
701, 20, 19, 39,
692, 20, 18, 38,
1065, 21, 13, 35,
1036, 21, 12, 34,
1053, 21, 12, 34,
1048, 21, 15, 37,
980, 17, 6, 24,
966, 17, 7, 24,
979, 17, 7, 24,
978, 17, 8, 25,
1035, 22, 13, 36,
1007, 22, 11, 34,
1024, 22, 11, 34,
1019, 22, 13, 36,
975, 21, 8, 30,
958, 21, 10, 31,
969, 21, 9, 31,
969, 21, 13, 34,
1066, 18, 10, 29,
1039, 18, 10, 29,
1058, 18, 10, 29,
1052, 18, 13, 32,
1027, 17, 8, 26,
1009, 17, 8, 25,
1026, 17, 8, 25,
1019, 17, 9, 27,
1052, 19, 11, 30,
1026, 19, 10, 29,
1042, 19, 10, 29,
1036, 19, 11, 30,
1012, 18, 9, 28,
996, 18, 9, 27,
1009, 18, 9, 27,
1004, 18, 11, 29,
1011, 22, 11, 34,
962, 22, 10, 33,
999, 22, 11, 34,
983, 22, 13, 35,
959, 20, 7, 28,
947, 20, 8, 28,
961, 20, 8, 28,
960, 20, 9, 29,
1006, 22, 13, 35,
972, 22, 10, 33,
996, 22, 11, 34,
989, 22, 13, 35,
952, 26, 9, 36,
931, 26, 11, 37,
942, 26, 11, 37,
948, 26, 13, 40,
1003, 16, 9, 26,
969, 16, 8, 25,
995, 16, 9, 26,
983, 16, 9, 26,
920, 18, 13, 31,
905, 18, 14, 33,
922, 18, 14, 33,
920, 18, 14, 33,
971, 16, 9, 26,
934, 16, 9, 25,
958, 16, 9, 25,
947, 16, 9, 26,
873, 14, 8, 23,
845, 14, 9, 23,
866, 14, 8, 22,
858, 14, 7, 22,
784, 18, 8, 26,
758, 18, 11, 30,
770, 18, 9, 27,
763, 18, 11, 29,
673, 21, 14, 36,
663, 21, 15, 36,
673, 21, 14, 36,
674, 21, 14, 35,
764, 18, 9, 28,
748, 18, 10, 29,
751, 18, 10, 28,
749, 18, 11, 29,
674, 18, 14, 33,
661, 18, 11, 30,
668, 18, 13, 31,
665, 18, 12, 31,
866, 18, 12, 31,
844, 18, 9, 28,
856, 18, 10, 29,
851, 18, 9, 28,
823, 17, 13, 30,
808, 17, 11, 29,
822, 17, 13, 30,
819, 17, 11, 29,
847, 15, 10, 26,
820, 15, 9, 24,
835, 15, 11, 26,
825, 15, 10, 25,
808, 14, 9, 24,
792, 14, 8, 22,
804, 14, 8, 23,
799, 14, 6, 21,
777, 18, 9, 27,
729, 18, 13, 32,
765, 18, 10, 28,
743, 18, 13, 31,
720, 16, 12, 29,
706, 16, 12, 28,
719, 16, 11, 28,
716, 16, 10, 26,
780, 16, 8, 25,
753, 16, 10, 27,
769, 16, 8, 25,
761, 16, 11, 28,
709, 17, 9, 26,
692, 17, 12, 30,
703, 17, 10, 27,
701, 17, 12, 30,
765, 20, 14, 34,
734, 20, 15, 36,
758, 20, 14, 34,
747, 20, 16, 36,
690, 24, 24, 48,
678, 24, 24, 48,
692, 24, 22, 46,
689, 24, 24, 48,
732, 19, 16, 36,
696, 19, 21, 41,
721, 19, 17, 37,
706, 19, 20, 40,
641, 23, 22, 46,
612, 23, 22, 45,
635, 23, 21, 44,
625, 23, 21, 44,
1082, 31, 16, 48,
1054, 31, 17, 49,
1071, 31, 16, 48,
1076, 31, 20, 51,
1025, 30, 13, 44,
1027, 30, 14, 45,
1027, 30, 13, 44,
1041, 30, 16, 47,
1053, 30, 17, 48,
1039, 30, 16, 47,
1047, 30, 17, 47,
1062, 30, 17, 48,
1036, 37, 17, 54,
1045, 37, 19, 57,
1027, 37, 17, 54,
1067, 37, 22, 60,
1175, 29, 24, 54,
1151, 29, 24, 54,
1168, 29, 24, 54,
1163, 29, 26, 56,
1158, 30, 24, 54,
1141, 30, 23, 53,
1162, 30, 23, 54,
1155, 30, 24, 55,
1169, 30, 25, 55,
1142, 30, 22, 52,
1163, 30, 24, 54,
1161, 30, 24, 54,
1162, 31, 24, 55,
1150, 31, 25, 56,
1162, 31, 23, 54,
1162, 31, 28, 59,
1046, 29, 17, 47,
1008, 29, 16, 46,
1036, 29, 16, 46,
1032, 29, 20, 50,
1032, 31, 15, 46,
1028, 31, 16, 47,
1032, 31, 16, 47,
1046, 31, 18, 49,
1050, 29, 18, 47,
1027, 29, 16, 45,
1043, 29, 17, 46,
1049, 29, 19, 48,
1055, 35, 20, 56,
1061, 35, 21, 57,
1053, 35, 19, 55,
1082, 35, 23, 59,
1044, 21, 19, 41,
1009, 21, 15, 36,
1037, 21, 17, 39,
1026, 21, 16, 37,
984, 20, 18, 39,
965, 20, 16, 36,
983, 20, 17, 38,
982, 20, 18, 39,
1024, 22, 16, 38,
982, 22, 15, 37,
1013, 22, 16, 38,
999, 22, 16, 38,
944, 19, 14, 33,
922, 19, 12, 31,
939, 19, 13, 33,
940, 19, 11, 31,
924, 27, 10, 37,
894, 27, 13, 40,
914, 27, 11, 38,
901, 27, 14, 41,
831, 21, 13, 34,
818, 21, 11, 33,
829, 21, 12, 33,
827, 21, 11, 32,
912, 28, 11, 39,
882, 28, 12, 40,
901, 28, 10, 38,
885, 28, 14, 42,
819, 22, 11, 34,
803, 22, 16, 39,
814, 22, 13, 36,
808, 22, 16, 38,
955, 12, 7, 19,
928, 12, 6, 18,
946, 12, 7, 19,
941, 12, 6, 18,
922, 12, 8, 21,
908, 12, 8, 21,
920, 12, 7, 20,
916, 12, 7, 19,
943, 13, 6, 20,
918, 13, 7, 21,
933, 13, 6, 20,
931, 13, 6, 20,
905, 15, 7, 23,
882, 15, 7, 22,
899, 15, 7, 23,
892, 15, 7, 23,
883, 26, 12, 38,
827, 26, 15, 41,
870, 26, 13, 39,
845, 26, 15, 41,
829, 20, 11, 32,
813, 20, 11, 32,
828, 20, 11, 31,
827, 20, 12, 33,
877, 25, 12, 37,
839, 25, 13, 38,
864, 25, 12, 37,
854, 25, 15, 40,
802, 24, 14, 38,
768, 24, 17, 41,
789, 24, 14, 38,
782, 24, 18, 42,
890, 19, 10, 30,
856, 19, 12, 32,
882, 19, 10, 30,
872, 19, 12, 31,
820, 22, 20, 42,
805, 22, 21, 43,
821, 22, 19, 41,
818, 22, 19, 42,
863, 21, 12, 33,
826, 21, 14, 36,
853, 21, 13, 34,
840, 21, 15, 37,
766, 24, 20, 44,
733, 24, 18, 43,
756, 24, 19, 43,
749, 24, 18, 42,
1051, 16, 9, 25,
1027, 16, 10, 27,
1038, 16, 9, 25,
1036, 16, 12, 28,
971, 14, 6, 20,
957, 14, 6, 21,
967, 14, 5, 20,
967, 14, 7, 21,
1024, 18, 10, 29,
999, 18, 11, 29,
1012, 18, 9, 28,
1006, 18, 13, 31,
959, 17, 8, 26,
940, 17, 9, 27,
952, 17, 8, 26,
950, 17, 12, 30,
1045, 14, 6, 21,
1018, 14, 6, 21,
1037, 14, 6, 20,
1030, 14, 7, 21,
1003, 14, 6, 20,
988, 14, 5, 19,
1004, 14, 5, 19,
999, 14, 5, 19,
1028, 14, 7, 21,
1005, 14, 6, 21,
1019, 14, 6, 21,
1015, 14, 7, 22,
994, 14, 6, 21,
974, 14, 7, 22,
985, 14, 6, 21,
980, 14, 8, 22,
995, 18, 9, 27,
949, 18, 12, 30,
983, 18, 9, 27,
967, 18, 12, 30,
948, 15, 6, 22,
935, 15, 7, 23,
946, 15, 7, 22,
946, 15, 7, 23,
991, 17, 10, 28,
959, 17, 11, 28,
980, 17, 9, 27,
973, 17, 12, 30,
932, 21, 10, 31,
907, 21, 13, 35,
925, 21, 11, 32,
924, 21, 14, 36,
994, 17, 8, 26,
965, 17, 9, 27,
982, 17, 8, 25,
975, 17, 9, 27,
926, 21, 14, 35,
908, 21, 13, 35,
922, 21, 12, 34,
923, 21, 14, 36,
961, 16, 8, 24,
930, 16, 9, 26,
949, 16, 8, 25,
941, 16, 9, 25,
872, 19, 11, 30,
844, 19, 13, 32,
868, 19, 11, 31,
856, 19, 11, 30,
850, 23, 10, 34,
819, 23, 14, 38,
838, 23, 11, 35,
828, 23, 14, 38,
749, 20, 13, 33,
738, 20, 14, 34,
749, 20, 13, 33,
748, 20, 12, 32,
837, 24, 10, 34,
811, 24, 11, 35,
824, 24, 10, 34,
814, 24, 13, 37,
739, 18, 12, 31,
719, 18, 15, 34,
732, 18, 13, 32,
730, 18, 17, 36,
914, 14, 8, 22,
887, 14, 7, 22,
904, 14, 8, 22,
896, 14, 7, 22,
875, 15, 10, 26,
861, 15, 10, 25,
873, 15, 10, 25,
869, 15, 9, 24,
895, 15, 8, 24,
864, 15, 9, 25,
882, 15, 9, 24,
871, 15, 8, 24,
857, 15, 10, 25,
833, 15, 10, 25,
849, 15, 9, 25,
842, 15, 7, 23,
846, 24, 12, 36,
792, 24, 16, 41,
833, 24, 13, 37,
809, 24, 16, 41,
795, 20, 11, 32,
780, 20, 11, 32,
792, 20, 11, 31,
793, 20, 11, 31,
851, 23, 11, 34,
821, 23, 12, 36,
840, 23, 10, 34,
830, 23, 13, 36,
777, 24, 13, 37,
749, 24, 16, 41,
765, 24, 14, 39,
760, 24, 17, 42,
822, 21, 14, 36,
784, 21, 15, 37,
810, 21, 15, 36,
802, 21, 16, 38,
747, 24, 25, 50,
734, 24, 24, 49,
750, 24, 26, 51,
746, 24, 25, 50,
785, 22, 17, 39,
747, 22, 21, 43,
773, 22, 18, 40,
760, 22, 21, 44,
693, 24, 23, 47,
661, 24, 24, 48,
687, 24, 23, 48,
675, 24, 22, 47,
1115, 26, 16, 42,
1092, 26, 16, 42,
1108, 26, 17, 43,
1111, 26, 19, 45,
1068, 25, 12, 38,
1065, 25, 14, 40,
1065, 25, 13, 39,
1081, 25, 14, 39,
1099, 25, 17, 42,
1072, 25, 14, 39,
1095, 25, 13, 38,
1088, 25, 22, 47,
1066, 30, 15, 46,
1072, 30, 16, 46,
1063, 30, 16, 47,
1089, 30, 19, 49,
1173, 24, 18, 43,
1149, 24, 16, 41,
1168, 24, 18, 42,
1161, 24, 21, 45,
1160, 24, 16, 41,
1141, 24, 17, 41,
1161, 24, 16, 40,
1156, 24, 19, 44,
1171, 24, 17, 42,
1140, 24, 17, 42,
1164, 24, 17, 42,
1159, 24, 20, 45,
1157, 27, 18, 46,
1143, 27, 19, 46,
1153, 27, 20, 47,
1156, 27, 21, 48,
1073, 25, 16, 41,
1033, 25, 15, 40,
1064, 25, 16, 41,
1054, 25, 18, 43,
1052, 25, 13, 38,
1045, 25, 13, 39,
1051, 25, 13, 39,
1059, 25, 15, 41,
1078, 24, 15, 40,
1047, 24, 15, 40,
1067, 24, 16, 40,
1069, 24, 17, 42,
1056, 31, 16, 47,
1054, 31, 18, 49,
1052, 31, 17, 48,
1074, 31, 20, 51,
1064, 18, 11, 29,
1023, 18, 9, 27,
1054, 18, 11, 29,
1042, 18, 10, 29,
1001, 17, 11, 29,
981, 17, 11, 29,
1001, 17, 11, 29,
998, 17, 11, 29,
1041, 18, 11, 29,
1004, 18, 9, 28,
1032, 18, 10, 28,
1020, 18, 10, 29,
960, 18, 10, 29,
941, 18, 8, 27,
957, 18, 9, 28,
957, 18, 9, 28,
806, 16, 7, 24,
782, 16, 8, 25,
794, 16, 7, 24,
787, 16, 9, 25,
696, 21, 15, 37,
687, 21, 14, 36,
697, 21, 14, 36,
697, 21, 13, 35,
780, 15, 8, 24,
768, 15, 7, 23,
772, 15, 8, 24,
768, 15, 7, 23,
698, 19, 14, 33,
682, 19, 11, 31,
690, 19, 12, 32,
686, 19, 10, 29,
860, 24, 16, 40,
847, 24, 11, 36,
852, 24, 14, 39,
853, 24, 12, 37,
820, 21, 15, 37,
810, 21, 13, 35,
820, 21, 15, 37,
820, 21, 14, 36,
847, 19, 13, 32,
833, 19, 11, 31,
839, 19, 12, 32,
836, 19, 12, 32,
816, 19, 13, 32,
800, 19, 11, 30,
811, 19, 13, 32,
804, 19, 8, 28,
803, 14, 7, 21,
763, 14, 11, 25,
794, 14, 8, 22,
775, 14, 10, 25,
733, 15, 10, 26,
719, 15, 10, 26,
734, 15, 9, 25,
733, 15, 9, 25,
793, 13, 7, 20,
776, 13, 8, 21,
786, 13, 7, 20,
781, 13, 8, 21,
729, 14, 8, 22,
710, 14, 11, 26,
725, 14, 9, 24,
721, 14, 12, 26,
789, 25, 20, 46,
766, 25, 19, 45,
780, 25, 17, 43,
782, 25, 21, 47,
717, 27, 25, 52,
704, 27, 23, 50,
719, 27, 24, 51,
719, 27, 27, 54,
760, 20, 19, 39,
732, 20, 19, 40,
749, 20, 20, 41,
743, 20, 21, 42,
674, 23, 20, 43,
648, 23, 22, 46,
669, 23, 19, 43,
658, 23, 18, 41,
1062, 22, 14, 37,
1030, 22, 15, 37,
1052, 22, 15, 37,
1045, 22, 16, 39,
966, 17, 8, 25,
952, 17, 8, 25,
966, 17, 8, 25,
964, 17, 9, 26,
1032, 22, 15, 38,
1002, 22, 13, 36,
1021, 22, 14, 37,
1016, 22, 15, 38,
963, 20, 11, 31,
947, 20, 11, 32,
956, 20, 11, 31,
961, 20, 14, 35,
1070, 19, 12, 31,
1042, 19, 12, 32,
1063, 19, 12, 32,
1055, 19, 14, 34,
1032, 17, 10, 27,
1012, 17, 9, 27,
1029, 17, 10, 28,
1023, 17, 11, 29,
1056, 19, 14, 34,
1030, 19, 12, 31,
1046, 19, 12, 31,
1041, 19, 14, 34,
1019, 18, 10, 29,
999, 18, 11, 30,
1014, 18, 10, 29,
1008, 18, 13, 31,
1015, 22, 15, 37,
969, 22, 13, 36,
1006, 22, 13, 36,
989, 22, 15, 38,
957, 18, 9, 28,
944, 18, 10, 28,
959, 18, 10, 29,
958, 18, 12, 30,
1010, 21, 15, 36,
979, 21, 13, 35,
1001, 21, 14, 35,
996, 21, 16, 38,
955, 24, 13, 37,
937, 24, 14, 38,
950, 24, 14, 39,
954, 24, 17, 41,
1004, 18, 12, 30,
970, 18, 11, 29,
996, 18, 10, 28,
985, 18, 11, 29,
918, 20, 14, 34,
897, 20, 14, 34,
918, 20, 14, 34,
912, 20, 13, 34,
974, 16, 11, 28,
937, 16, 10, 27,
959, 16, 10, 27,
949, 16, 11, 28,
876, 15, 10, 25,
845, 15, 9, 24,
870, 15, 10, 25,
858, 15, 7, 23,
731, 18, 9, 28,
706, 18, 12, 30,
718, 18, 10, 28,
711, 18, 11, 30,
614, 23, 17, 40,
605, 23, 16, 40,
615, 23, 16, 40,
616, 23, 16, 39,
707, 18, 11, 30,
696, 18, 10, 29,
699, 18, 11, 29,
697, 18, 10, 29,
619, 19, 15, 35,
605, 19, 12, 32,
613, 19, 14, 33,
612, 19, 10, 29,
855, 18, 12, 31,
832, 18, 9, 28,
844, 18, 11, 30,
841, 18, 10, 29,
811, 17, 14, 31,
797, 17, 12, 29,
809, 17, 13, 31,
809, 17, 12, 29,
838, 15, 11, 26,
813, 15, 9, 25,
828, 15, 11, 26,
819, 15, 10, 25,
798, 14, 11, 25,
778, 14, 8, 23,
792, 14, 9, 24,
786, 14, 6, 21,
762, 17, 9, 26,
715, 17, 12, 29,
752, 17, 10, 27,
731, 17, 12, 29,
695, 17, 13, 31,
679, 17, 13, 30,
695, 17, 12, 29,
692, 17, 11, 28,
767, 15, 8, 23,
744, 15, 9, 24,
758, 15, 7, 23,
749, 15, 9, 24,
690, 16, 9, 26,
671, 16, 12, 29,
682, 16, 10, 27,
683, 16, 13, 29,
749, 23, 14, 38,
722, 23, 16, 40,
739, 23, 13, 37,
734, 23, 15, 39,
672, 26, 24, 51,
663, 26, 25, 52,
675, 26, 24, 51,
674, 26, 25, 52,
713, 21, 15, 37,
677, 21, 19, 40,
702, 21, 17, 38,
688, 21, 20, 42,
630, 26, 22, 49,
603, 26, 24, 50,
625, 26, 21, 47,
614, 26, 20, 46,
1072, 29, 19, 48,
1046, 29, 19, 49,
1062, 29, 19, 48,
1068, 29, 22, 51,
1004, 26, 15, 42,
1002, 26, 16, 43,
1003, 26, 14, 41,
1017, 26, 18, 45,
1044, 27, 18, 46,
1026, 27, 18, 46,
1042, 27, 17, 45,
1047, 27, 22, 50,
1016, 37, 18, 56,
1025, 37, 22, 59,
1013, 37, 18, 56,
1047, 37, 25, 62,
1166, 27, 28, 56,
1141, 27, 27, 55,
1156, 27, 22, 49,
1150, 27, 28, 56,
1147, 29, 25, 54,
1126, 29, 25, 54,
1144, 29, 27, 56,
1141, 29, 25, 55,
1156, 29, 29, 58,
1133, 29, 25, 54,
1150, 29, 28, 57,
1148, 29, 28, 57,
1144, 30, 28, 58,
1134, 30, 28, 58,
1144, 30, 27, 57,
1145, 30, 31, 61,
1043, 28, 21, 50,
1004, 28, 21, 50,
1034, 28, 21, 49,
1030, 28, 23, 52,
1025, 29, 18, 47,
1018, 29, 19, 48,
1026, 29, 18, 48,
1037, 29, 21, 50,
1048, 28, 21, 50,
1027, 28, 22, 50,
1045, 28, 21, 49,
1051, 28, 23, 51,
1051, 33, 23, 57,
1054, 33, 25, 59,
1045, 33, 23, 57,
1076, 33, 29, 63,
1041, 24, 19, 43,
1001, 24, 17, 41,
1028, 24, 20, 44,
1014, 24, 18, 42,
968, 22, 20, 42,
950, 22, 20, 42,
969, 22, 21, 43,
966, 22, 21, 43,
1013, 23, 17, 41,
969, 23, 17, 41,
1003, 23, 17, 41,
986, 23, 19, 43,
929, 19, 18, 37,
905, 19, 16, 35,
924, 19, 16, 36,
923, 19, 14, 33,
938, 24, 11, 35,
913, 24, 15, 39,
929, 24, 12, 36,
920, 24, 15, 39,
849, 23, 15, 38,
840, 23, 14, 37,
847, 23, 15, 38,
849, 23, 14, 37,
920, 24, 11, 36,
905, 24, 13, 38,
913, 24, 12, 37,
908, 24, 15, 40,
844, 24, 15, 39,
829, 24, 22, 46,
835, 24, 17, 42,
834, 24, 19, 44,
958, 13, 9, 22,
939, 13, 7, 21,
949, 13, 8, 22,
947, 13, 8, 21,
928, 14, 10, 24,
921, 14, 10, 24,
929, 14, 10, 24,
924, 14, 8, 23,
947, 13, 7, 21,
927, 13, 8, 21,
939, 13, 9, 22,
933, 13, 8, 21,
918, 15, 9, 25,
901, 15, 9, 24,
912, 15, 10, 25,
910, 15, 11, 26,
920, 23, 11, 34,
865, 23, 16, 40,
908, 23, 11, 35,
886, 23, 12, 36,
865, 22, 13, 36,
858, 22, 13, 36,
864, 22, 14, 37,
861, 22, 14, 37,
908, 23, 12, 35,
881, 23, 12, 36,
903, 23, 10, 33,
897, 23, 12, 35,
847, 27, 16, 43,
817, 27, 25, 53,
837, 27, 18, 45,
831, 27, 21, 48,
909, 18, 14, 33,
879, 18, 17, 36,
901, 18, 15, 34,
896, 18, 16, 35,
864, 24, 25, 49,
850, 24, 24, 49,
862, 24, 23, 48,
861, 24, 25, 50,
889, 21, 16, 37,
861, 21, 18, 39,
876, 21, 16, 37,
868, 21, 17, 38,
817, 26, 22, 49,
788, 26, 25, 52,
805, 26, 22, 49,
799, 26, 23, 49,
1037, 20, 11, 32,
1016, 20, 14, 35,
1027, 20, 12, 33,
1024, 20, 15, 36,
974, 21, 10, 31,
964, 21, 11, 32,
971, 21, 10, 31,
971, 21, 12, 33,
1020, 24, 14, 38,
1001, 24, 14, 38,
1008, 24, 14, 38,
1006, 24, 16, 40,
964, 24, 13, 38,
948, 24, 17, 41,
955, 24, 13, 38,
956, 24, 18, 42,
1030, 16, 9, 25,
1003, 16, 10, 27,
1018, 16, 9, 25,
1014, 16, 11, 28,
994, 16, 10, 26,
983, 16, 9, 25,
998, 16, 8, 25,
988, 16, 10, 26,
1016, 18, 10, 28,
994, 18, 10, 29,
1006, 18, 10, 28,
1002, 18, 11, 29,
990, 19, 12, 31,
971, 19, 13, 32,
980, 19, 12, 31,
976, 19, 14, 33,
1006, 25, 14, 40,
967, 25, 18, 44,
995, 25, 16, 42,
981, 25, 20, 46,
958, 24, 13, 38,
945, 24, 14, 39,
956, 24, 14, 39,
955, 24, 15, 40,
1002, 25, 17, 42,
974, 25, 16, 41,
991, 25, 15, 40,
988, 25, 18, 43,
942, 57, 18, 76,
909, 57, 15, 73,
916, 57, 15, 72,
937, 57, 24, 82,
987, 18, 13, 31,
957, 18, 13, 31,
972, 18, 13, 31,
968, 18, 12, 31,
936, 23, 20, 43,
920, 23, 19, 43,
935, 23, 19, 43,
931, 23, 20, 43,
964, 20, 13, 33,
936, 20, 15, 35,
952, 20, 14, 35,
943, 20, 14, 34,
893, 23, 20, 43,
861, 23, 19, 43,
884, 23, 18, 41,
873, 23, 16, 40,
862, 30, 14, 44,
832, 30, 18, 49,
850, 30, 14, 45,
841, 30, 19, 50,
765, 25, 16, 41,
756, 25, 15, 41,
764, 25, 16, 41,
764, 25, 14, 39,
854, 31, 14, 46,
836, 31, 16, 48,
844, 31, 15, 47,
838, 31, 18, 50,
759, 26, 15, 42,
748, 26, 22, 49,
754, 26, 18, 45,
754, 26, 21, 48,
925, 14, 10, 25,
902, 14, 9, 24,
914, 14, 10, 24,
911, 14, 9, 24,
893, 16, 12, 29,
880, 16, 12, 29,
890, 16, 11, 28,
888, 16, 11, 28,
913, 16, 9, 25,
890, 16, 9, 26,
902, 16, 9, 26,
894, 16, 9, 26,
879, 18, 12, 30,
863, 18, 11, 29,
875, 18, 11, 30,
872, 18, 12, 30,
881, 32, 16, 48,
838, 32, 23, 55,
872, 32, 17, 49,
852, 32, 21, 53,
832, 28, 13, 41,
821, 28, 16, 44,
831, 28, 14, 42,
829, 28, 15, 43,
885, 29, 14, 44,
863, 29, 16, 46,
874, 29, 15, 45,
870, 29, 17, 47,
824, 34, 16, 50,
803, 34, 19, 54,
812, 34, 17, 51,
814, 34, 21, 55,
865, 22, 15, 38,
832, 22, 16, 39,
853, 22, 16, 38,
844, 22, 16, 38,
815, 28, 23, 52,
810, 28, 26, 55,
814, 28, 23, 51,
816, 28, 25, 53,
841, 26, 18, 45,
807, 26, 20, 47,
824, 26, 17, 43,
816, 26, 20, 47,
775, 30, 23, 54,
742, 30, 27, 57,
764, 30, 25, 55,
755, 30, 24, 54,
1051, 21, 10, 32,
1029, 21, 12, 33,
1042, 21, 10, 31,
1044, 21, 13, 35,
1005, 20, 7, 27,
995, 20, 8, 28,
999, 20, 7, 28,
1011, 20, 9, 29,
1027, 20, 11, 31,
1015, 20, 10, 30,
1021, 20, 9, 30,
1031, 20, 12, 32,
1001, 25, 10, 36,
1008, 25, 13, 38,
1001, 25, 11, 36,
1021, 25, 14, 39,
1088, 21, 11, 33,
1071, 21, 11, 33,
1079, 21, 11, 33,
1078, 21, 12, 34,
1067, 21, 10, 32,
1052, 21, 10, 32,
1066, 21, 11, 33,
1065, 21, 11, 33,
1080, 22, 12, 34,
1057, 22, 10, 33,
1073, 22, 12, 34,
1072, 22, 13, 35,
1077, 22, 11, 34,
1064, 22, 13, 35,
1072, 22, 12, 34,
1072, 22, 15, 37,
1012, 21, 11, 32,
982, 21, 14, 35,
1003, 21, 11, 32,
997, 21, 15, 36,
988, 20, 8, 29,
979, 20, 9, 29,
985, 20, 8, 28,
994, 20, 9, 30,
1006, 19, 11, 31,
992, 19, 11, 31,
999, 19, 10, 30,
1007, 19, 14, 34,
993, 25, 11, 37,
991, 25, 13, 38,
989, 25, 12, 37,
1013, 25, 14, 39,
993, 17, 8, 25,
961, 17, 7, 24,
982, 17, 8, 25,
976, 17, 8, 25,
944, 15, 10, 26,
928, 15, 10, 26,
943, 15, 9, 25,
943, 15, 10, 25,
977, 16, 7, 24,
942, 16, 7, 23,
967, 16, 7, 24,
954, 16, 8, 24,
914, 15, 7, 22,
896, 15, 7, 22,
910, 15, 7, 22,
914, 15, 6, 21,
848, 15, 6, 21,
822, 15, 7, 22,
836, 15, 6, 22,
827, 15, 7, 22,
747, 17, 9, 26,
734, 17, 8, 25,
748, 17, 8, 25,
745, 17, 7, 24,
824, 15, 6, 21,
807, 15, 6, 21,
815, 15, 6, 21,
807, 15, 7, 22,
748, 15, 7, 23,
731, 15, 6, 21,
741, 15, 7, 22,
740, 15, 8, 23,
879, 19, 17, 36,
862, 19, 14, 34,
870, 19, 16, 35,
870, 19, 14, 34,
839, 18, 17, 35,
828, 18, 15, 33,
838, 18, 16, 34,
836, 18, 16, 34,
865, 15, 14, 30,
849, 15, 12, 27,
858, 15, 14, 29,
854, 15, 13, 28,
836, 15, 13, 29,
817, 15, 11, 27,
828, 15, 13, 29,
823, 15, 9, 25,
830, 14, 7, 22,
792, 14, 8, 22,
820, 14, 7, 21,
803, 14, 8, 23,
769, 14, 7, 22,
755, 14, 7, 21,
768, 14, 7, 21,
767, 14, 6, 20,
821, 14, 7, 22,
795, 14, 7, 21,
812, 14, 6, 21,
803, 14, 8, 22,
754, 14, 6, 21,
738, 14, 8, 22,
750, 14, 7, 22,
747, 14, 8, 23,
811, 19, 18, 38,
788, 19, 17, 37,
803, 19, 16, 36,
801, 19, 19, 39,
739, 22, 26, 48,
731, 22, 29, 51,
741, 22, 25, 48,
741, 22, 29, 51,
784, 16, 17, 34,
758, 16, 18, 34,
773, 16, 17, 34,
767, 16, 19, 36,
696, 20, 18, 38,
669, 20, 17, 37,
690, 20, 17, 37,
685, 20, 15, 35,
1068, 21, 16, 38,
1035, 21, 17, 39,
1056, 21, 16, 38,
1048, 21, 18, 40,
980, 17, 9, 26,
967, 17, 9, 27,
979, 17, 9, 27,
979, 17, 11, 28,
1036, 22, 15, 38,
1008, 22, 15, 38,
1025, 22, 14, 37,
1020, 22, 17, 40,
974, 21, 12, 33,
959, 21, 14, 36,
967, 21, 13, 34,
972, 21, 16, 38,
1068, 18, 14, 33,
1037, 18, 13, 32,
1060, 18, 13, 32,
1052, 18, 15, 34,
1026, 17, 12, 29,
1013, 17, 10, 27,
1026, 17, 11, 29,
1020, 17, 13, 30,
1053, 19, 14, 33,
1025, 19, 13, 32,
1043, 19, 13, 32,
1036, 19, 15, 34,
1018, 18, 11, 29,
996, 18, 13, 32,
1011, 18, 11, 30,
1003, 18, 15, 33,
1021, 22, 16, 38,
973, 22, 16, 39,
1009, 22, 16, 39,
995, 22, 17, 40,
971, 20, 11, 32,
956, 20, 12, 32,
972, 20, 12, 32,
970, 20, 14, 34,
1016, 22, 17, 39,
985, 22, 15, 37,
1007, 22, 16, 38,
1002, 22, 17, 40,
966, 26, 15, 42,
945, 26, 17, 43,
958, 26, 16, 42,
964, 26, 19, 45,
1006, 16, 13, 30,
969, 16, 10, 27,
993, 16, 10, 27,
984, 16, 11, 28,
923, 18, 14, 32,
905, 18, 17, 35,
923, 18, 14, 33,
920, 18, 14, 33,
975, 16, 11, 28,
940, 16, 11, 27,
962, 16, 11, 27,
952, 16, 11, 28,
875, 14, 9, 24,
846, 14, 9, 23,
870, 14, 9, 24,
860, 14, 7, 22,
771, 18, 6, 25,
743, 18, 8, 26,
758, 18, 7, 25,
747, 18, 8, 26,
655, 21, 12, 34,
648, 21, 13, 34,
653, 21, 12, 33,
654, 21, 12, 33,
750, 18, 7, 26,
737, 18, 7, 25,
736, 18, 8, 26,
736, 18, 7, 26,
658, 18, 13, 32,
643, 18, 10, 29,
651, 18, 12, 30,
651, 18, 8, 27,
859, 18, 13, 32,
835, 18, 10, 29,
848, 18, 12, 31,
843, 18, 11, 30,
813, 17, 15, 32,
800, 17, 15, 32,
812, 17, 14, 31,
810, 17, 13, 30,
836, 15, 12, 28,
808, 15, 11, 26,
825, 15, 12, 28,
814, 15, 12, 28,
802, 14, 12, 26,
779, 14, 10, 24,
795, 14, 10, 25,
789, 14, 8, 22,
770, 18, 7, 25,
723, 18, 10, 28,
759, 18, 7, 25,
737, 18, 10, 28,
709, 16, 10, 27,
696, 16, 11, 28,
708, 16, 10, 27,
704, 16, 9, 26,
771, 16, 7, 23,
747, 16, 8, 25,
761, 16, 6, 23,
755, 16, 7, 24,
702, 17, 7, 25,
684, 17, 10, 27,
694, 17, 8, 26,
695, 17, 9, 27,
755, 20, 18, 39,
724, 20, 16, 36,
741, 20, 15, 36,
735, 20, 17, 38,
674, 24, 19, 43,
661, 24, 21, 45,
674, 24, 19, 43,
676, 24, 21, 45,
713, 19, 15, 35,
679, 19, 19, 39,
702, 19, 16, 36,
691, 19, 18, 38,
624, 23, 18, 42,
598, 23, 20, 44,
620, 23, 18, 42,
610, 23, 18, 41,
1102, 31, 21, 52,
1077, 31, 22, 54,
1091, 31, 20, 52,
1099, 31, 24, 55,
1049, 30, 17, 48,
1045, 30, 17, 48,
1045, 30, 17, 48,
1061, 30, 20, 51,
1078, 30, 21, 52,
1062, 30, 21, 52,
1071, 30, 22, 52,
1082, 30, 24, 54,
1060, 37, 21, 58,
1065, 37, 25, 62,
1058, 37, 21, 58,
1092, 37, 26, 64,
1179, 29, 27, 57,
1154, 29, 26, 55,
1173, 29, 25, 55,
1165, 29, 29, 59,
1168, 30, 26, 57,
1146, 30, 27, 58,
1167, 30, 27, 57,
1162, 30, 28, 59,
1177, 30, 27, 57,
1148, 30, 26, 56,
1168, 30, 28, 58,
1168, 30, 30, 60,
1162, 31, 28, 59,
1153, 31, 29, 60,
1163, 31, 27, 58,
1166, 31, 31, 63,
1069, 29, 22, 52,
1033, 29, 22, 52,
1059, 29, 21, 51,
1058, 29, 26, 56,
1056, 31, 19, 50,
1052, 31, 20, 52,
1057, 31, 20, 51,
1070, 31, 23, 54,
1077, 29, 22, 51,
1053, 29, 21, 50,
1068, 29, 20, 50,
1077, 29, 22, 51,
1076, 35, 23, 59,
1088, 35, 24, 60,
1077, 35, 24, 60,
1108, 35, 29, 64,
1062, 21, 19, 41,
1022, 21, 17, 39,
1049, 21, 21, 43,
1037, 21, 18, 40,
1001, 20, 19, 40,
982, 20, 20, 41,
1001, 20, 19, 40,
1000, 20, 18, 39,
1039, 22, 18, 40,
998, 22, 17, 39,
1028, 22, 18, 40,
1016, 22, 19, 41,
963, 19, 15, 34,
939, 19, 14, 34,
956, 19, 14, 33,
959, 19, 15, 34,
915, 27, 10, 38,
882, 27, 13, 40,
908, 27, 11, 38,
891, 27, 14, 41,
821, 21, 12, 34,
809, 21, 11, 33,
820, 21, 12, 33,
815, 21, 10, 32,
898, 28, 11, 39,
871, 28, 13, 41,
888, 28, 11, 39,
876, 28, 14, 42,
810, 22, 12, 34,
795, 22, 16, 39,
804, 22, 13, 35,
800, 22, 16, 38,
940, 12, 7, 20,
914, 12, 7, 19,
931, 12, 7, 19,
924, 12, 6, 18,
905, 12, 8, 21,
893, 12, 8, 21,
904, 12, 8, 21,
902, 12, 7, 20,
928, 13, 7, 21,
903, 13, 7, 21,
919, 13, 7, 21,
912, 13, 7, 21,
889, 15, 7, 23,
870, 15, 7, 23,
883, 15, 7, 23,
879, 15, 7, 22,
871, 26, 12, 38,
817, 26, 15, 41,
860, 26, 12, 38,
835, 26, 15, 41,
820, 20, 10, 31,
805, 20, 11, 32,
817, 20, 10, 31,
817, 20, 12, 33,
866, 25, 11, 36,
829, 25, 13, 38,
855, 25, 12, 37,
844, 25, 14, 39,
793, 24, 14, 38,
760, 24, 17, 41,
781, 24, 14, 38,
774, 24, 17, 41,
879, 19, 11, 31,
846, 19, 12, 32,
871, 19, 12, 31,
861, 19, 13, 32,
811, 22, 19, 41,
798, 22, 21, 43,
811, 22, 19, 41,
809, 22, 20, 42,
853, 21, 11, 33,
818, 21, 15, 37,
841, 21, 13, 35,
829, 21, 14, 36,
755, 24, 19, 44,
725, 24, 19, 44,
748, 24, 19, 43,
740, 24, 17, 41,
1031, 16, 10, 26,
1006, 16, 12, 28,
1021, 16, 9, 26,
1014, 16, 13, 30,
953, 14, 7, 21,
942, 14, 8, 22,
953, 14, 7, 22,
950, 14, 8, 23,
1008, 18, 11, 29,
986, 18, 12, 30,
997, 18, 11, 29,
993, 18, 13, 32,
942, 17, 9, 27,
924, 17, 11, 29,
936, 17, 10, 28,
935, 17, 13, 31,
1024, 14, 6, 20,
1001, 14, 6, 21,
1017, 14, 6, 20,
1011, 14, 7, 22,
989, 14, 6, 20,
971, 14, 6, 20,
985, 14, 6, 20,
981, 14, 5, 19,
1011, 14, 6, 21,
988, 14, 7, 21,
1000, 14, 6, 20,
996, 14, 8, 22,
974, 14, 6, 21,
957, 14, 8, 23,
970, 14, 7, 21,
963, 14, 9, 24,
982, 18, 10, 28,
935, 18, 13, 31,
969, 18, 10, 29,
952, 18, 13, 31,
936, 15, 7, 23,
922, 15, 8, 24,
935, 15, 8, 24,
933, 15, 9, 24,
978, 17, 11, 29,
947, 17, 12, 30,
967, 17, 10, 28,
961, 17, 13, 30,
919, 21, 12, 33,
894, 21, 14, 35,
910, 21, 13, 34,
910, 21, 16, 38,
973, 17, 10, 27,
945, 17, 10, 27,
964, 17, 9, 26,
957, 17, 11, 28,
908, 21, 15, 36,
892, 21, 16, 38,
907, 21, 15, 36,
906, 21, 16, 38,
946, 16, 9, 25,
914, 16, 11, 27,
934, 16, 10, 26,
925, 16, 11, 27,
864, 19, 14, 33,
830, 19, 14, 33,
853, 19, 13, 33,
843, 19, 12, 31,
848, 23, 11, 35,
814, 23, 14, 38,
836, 23, 12, 36,
822, 23, 13, 37,
744, 20, 15, 35,
733, 20, 15, 35,
742, 20, 14, 34,
741, 20, 13, 33,
832, 24, 10, 35,
809, 24, 12, 36,
825, 24, 11, 35,
814, 24, 13, 37,
735, 18, 13, 32,
714, 18, 15, 34,
726, 18, 13, 32,
726, 18, 16, 35,
902, 14, 9, 23,
876, 14, 8, 22,
892, 14, 9, 23,
885, 14, 8, 22,
865, 15, 11, 26,
852, 15, 10, 26,
863, 15, 11, 26,
861, 15, 10, 25,
884, 15, 9, 25,
853, 15, 9, 25,
872, 15, 10, 25,
860, 15, 10, 25,
846, 15, 10, 26,
822, 15, 10, 25,
837, 15, 10, 26,
831, 15, 8, 23,
842, 24, 12, 37,
788, 24, 16, 40,
829, 24, 13, 37,
805, 24, 16, 40,
792, 20, 12, 32,
777, 20, 11, 31,
790, 20, 11, 32,
788, 20, 11, 32,
848, 23, 11, 35,
819, 23, 13, 37,
837, 23, 11, 35,
829, 23, 13, 37,
776, 24, 14, 39,
751, 24, 17, 41,
765, 24, 14, 39,
760, 24, 18, 42,
814, 21, 15, 36,
779, 21, 17, 38,
806, 21, 15, 36,
797, 21, 18, 39,
744, 24, 28, 53,
731, 24, 27, 52,
746, 24, 27, 52,
741, 24, 26, 51,
780, 22, 19, 41,
740, 22, 21, 43,
766, 22, 19, 41,
753, 22, 21, 43,
690, 24, 25, 50,
657, 24, 26, 51,
682, 24, 25, 49,
672, 24, 24, 48,
1084, 26, 13, 39,
1056, 26, 13, 39,
1071, 26, 12, 39,
1075, 26, 15, 42,
1035, 25, 11, 37,
1031, 25, 11, 37,
1034, 25, 10, 36,
1044, 25, 12, 38,
1056, 25, 13, 38,
1043, 25, 11, 37,
1050, 25, 11, 36,
1056, 25, 14, 39,
1034, 30, 13, 43,
1039, 30, 14, 44,
1030, 30, 12, 43,
1057, 30, 16, 46,
1140, 24, 15, 39,
1115, 24, 15, 40,
1132, 24, 16, 40,
1127, 24, 16, 41,
1125, 24, 14, 39,
1106, 24, 15, 40,
1123, 24, 15, 40,
1117, 24, 16, 41,
1135, 24, 16, 41,
1106, 24, 15, 40,
1127, 24, 16, 41,
1123, 24, 17, 42,
1121, 27, 16, 43,
1110, 27, 17, 45,
1118, 27, 15, 42,
1119, 27, 19, 46,
1039, 25, 13, 38,
1000, 25, 12, 37,
1032, 25, 13, 38,
1021, 25, 15, 40,
1017, 25, 11, 36,
1010, 25, 11, 37,
1017, 25, 11, 37,
1024, 25, 13, 39,
1042, 24, 13, 37,
1015, 24, 13, 37,
1033, 24, 13, 38,
1034, 24, 14, 39,
1023, 31, 13, 44,
1021, 31, 14, 45,
1019, 31, 14, 45,
1041, 31, 17, 48,
1031, 18, 10, 29,
991, 18, 9, 27,
1019, 18, 10, 28,
1008, 18, 9, 28,
973, 17, 11, 28,
955, 17, 10, 28,
974, 17, 10, 28,
970, 17, 10, 28,
1012, 18, 9, 28,
970, 18, 9, 27,
1003, 18, 9, 28,
987, 18, 10, 29,
937, 18, 9, 28,
913, 18, 7, 26,
930, 18, 8, 27,
932, 18, 8, 27,
764, 16, 8, 25,
742, 16, 6, 23,
751, 16, 7, 24,
744, 16, 6, 23,
656, 21, 11, 33,
645, 21, 12, 33,
656, 21, 12, 34,
658, 21, 11, 32,
739, 15, 8, 24,
732, 15, 6, 22,
730, 15, 8, 24,
727, 15, 6, 22,
663, 19, 10, 29,
647, 19, 9, 28,
658, 19, 9, 29,
657, 19, 6, 26,
815, 24, 19, 44,
802, 24, 15, 40,
806, 24, 19, 44,
809, 24, 16, 41,
773, 21, 19, 41,
765, 21, 20, 42,
774, 21, 19, 41,
774, 21, 18, 39,
802, 19, 17, 37,
791, 19, 15, 35,
794, 19, 17, 37,
794, 19, 16, 36,
772, 19, 15, 34,
759, 19, 13, 32,
768, 19, 15, 34,
764, 19, 12, 32,
763, 14, 7, 21,
730, 14, 9, 23,
753, 14, 7, 21,
739, 14, 8, 22,
693, 15, 9, 25,
681, 15, 9, 25,
694, 15, 9, 25,
690, 15, 8, 24,
756, 13, 7, 20,
741, 13, 7, 20,
748, 13, 6, 20,
743, 13, 7, 21,
697, 14, 7, 21,
676, 14, 6, 21,
687, 14, 6, 21,
693, 14, 8, 23,
750, 25, 22, 48,
727, 25, 20, 46,
742, 25, 18, 44,
743, 25, 23, 48,
683, 27, 27, 54,
674, 27, 30, 57,
684, 27, 26, 53,
686, 27, 30, 57,
723, 20, 20, 40,
699, 20, 23, 43,
714, 20, 20, 41,
709, 20, 22, 43,
649, 23, 22, 46,
626, 23, 20, 43,
646, 23, 21, 44,
638, 23, 19, 43,
1029, 22, 14, 36,
999, 22, 14, 36,
1019, 22, 14, 36,
1011, 22, 16, 38,
937, 17, 8, 25,
924, 17, 8, 25,
935, 17, 8, 25,
936, 17, 9, 26,
999, 22, 13, 36,
972, 22, 13, 36,
987, 22, 13, 36,
984, 22, 15, 38,
936, 20, 9, 30,
919, 20, 12, 32,
927, 20, 10, 30,
932, 20, 14, 34,
1034, 19, 12, 32,
1008, 19, 12, 32,
1028, 19, 12, 32,
1019, 19, 14, 33,
993, 17, 10, 28,
972, 17, 9, 27,
994, 17, 10, 28,
989, 17, 10, 28,
1019, 19, 13, 32,
994, 19, 12, 31,
1010, 19, 12, 31,
1004, 19, 14, 33,
993, 18, 10, 28,
967, 18, 10, 29,
979, 18, 10, 29,
974, 18, 12, 31,
985, 22, 14, 36,
944, 22, 13, 35,
974, 22, 13, 36,
961, 22, 15, 38,
932, 18, 9, 28,
917, 18, 11, 30,
931, 18, 10, 28,
933, 18, 11, 29,
981, 21, 14, 36,
953, 21, 13, 35,
973, 21, 14, 36,
970, 21, 15, 37,
930, 24, 12, 37,
915, 24, 14, 38,
926, 24, 13, 38,
933, 24, 16, 41,
972, 18, 12, 30,
936, 18, 10, 28,
962, 18, 12, 30,
950, 18, 12, 30,
888, 20, 14, 34,
872, 20, 14, 34,
891, 20, 15, 35,
888, 20, 16, 36,
941, 16, 11, 28,
908, 16, 10, 27,
927, 16, 11, 28,
919, 16, 11, 28,
848, 15, 10, 25,
821, 15, 9, 24,
843, 15, 9, 24,
834, 15, 8, 23,
718, 18, 8, 26,
688, 18, 9, 27,
702, 18, 8, 27,
693, 18, 9, 27,
595, 23, 14, 37,
590, 23, 15, 39,
596, 23, 14, 37,
600, 23, 14, 37,
694, 18, 9, 28,
678, 18, 8, 27,
682, 18, 10, 28,
683, 18, 8, 27,
604, 19, 13, 32,
591, 19, 12, 31,
597, 19, 13, 32,
601, 19, 9, 29,
826, 18, 14, 33,
804, 18, 11, 30,
816, 18, 13, 32,
813, 18, 12, 30,
784, 17, 15, 32,
777, 17, 19, 36,
783, 17, 14, 31,
782, 17, 13, 31,
811, 15, 12, 28,
788, 15, 11, 27,
801, 15, 12, 28,
793, 15, 11, 27,
775, 14, 12, 27,
755, 14, 11, 26,
769, 14, 11, 26,
766, 14, 9, 23,
743, 17, 7, 24,
701, 17, 10, 27,
735, 17, 7, 24,
714, 17, 9, 26,
676, 17, 10, 28,
663, 17, 11, 29,
676, 17, 10, 27,
674, 17, 9, 27,
742, 15, 6, 21,
727, 15, 7, 22,
736, 15, 6, 21,
732, 15, 7, 22,
677, 16, 7, 24,
652, 16, 8, 25,
666, 16, 8, 24,
671, 16, 11, 27,
727, 23, 17, 41,
697, 23, 14, 38,
714, 23, 16, 40,
714, 23, 18, 42,
651, 26, 20, 47,
637, 26, 19, 46,
653, 26, 21, 48,
651, 26, 22, 49,
691, 21, 16, 37,
659, 21, 16, 38,
678, 21, 16, 37,
668, 21, 17, 38,
612, 26, 18, 45,
585, 26, 19, 45,
604, 26, 17, 43,
597, 26, 16, 43,
1041, 29, 18, 47,
1015, 29, 19, 48,
1031, 29, 17, 47,
1034, 29, 20, 50,
971, 26, 14, 40,
967, 26, 14, 41,
971, 26, 13, 40,
983, 26, 16, 43,
1014, 27, 18, 46,
995, 27, 18, 46,
1007, 27, 16, 44,
1018, 27, 20, 48,
986, 37, 17, 54,
992, 37, 20, 58,
976, 37, 15, 52,
1011, 37, 22, 60,
1120, 27, 26, 53,
1098, 27, 24, 52,
1114, 27, 24, 52,
1108, 27, 25, 53,
1106, 29, 24, 53,
1087, 29, 21, 50,
1101, 29, 25, 54,
1097, 29, 22, 51,
1115, 29, 26, 56,
1089, 29, 22, 51,
1108, 29, 24, 53,
1107, 29, 24, 53,
1103, 30, 24, 54,
1098, 30, 23, 54,
1100, 30, 23, 53,
1104, 30, 27, 57,
1015, 28, 19, 48,
982, 28, 20, 48,
1008, 28, 20, 49,
1003, 28, 22, 51,
994, 29, 17, 46,
989, 29, 17, 46,
994, 29, 18, 48,
1004, 29, 21, 50,
1021, 28, 21, 49,
999, 28, 20, 48,
1010, 28, 19, 47,
1020, 28, 21, 49,
1017, 33, 20, 54,
1022, 33, 22, 56,
1015, 33, 22, 55,
1044, 33, 26, 60,
1003, 24, 21, 45,
966, 24, 18, 42,
991, 24, 20, 44,
982, 24, 18, 42,
940, 22, 20, 43,
924, 22, 16, 38,
941, 22, 18, 40,
940, 22, 20, 42,
978, 23, 19, 42,
942, 23, 16, 39,
971, 23, 17, 41,
956, 23, 18, 42,
905, 19, 16, 36,
883, 19, 14, 33,
900, 19, 15, 34,
895, 19, 13, 32,
914, 24, 11, 35,
886, 24, 14, 38,
905, 24, 12, 36,
892, 24, 14, 39,
818, 23, 15, 38,
808, 23, 13, 36,
817, 23, 14, 37,
817, 23, 12, 35,
897, 24, 11, 35,
877, 24, 12, 37,
887, 24, 11, 36,
878, 24, 13, 38,
812, 24, 13, 38,
799, 24, 17, 42,
804, 24, 14, 39,
804, 24, 18, 43,
929, 13, 8, 22,
911, 13, 8, 21,
921, 13, 8, 21,
917, 13, 7, 20,
900, 14, 10, 24,
888, 14, 9, 23,
899, 14, 9, 24,
898, 14, 9, 23,
918, 13, 8, 21,
898, 13, 8, 21,
909, 13, 8, 21,
903, 13, 7, 21,
891, 15, 10, 26,
876, 15, 7, 23,
882, 15, 9, 24,
881, 15, 9, 24,
893, 23, 11, 34,
845, 23, 16, 39,
881, 23, 13, 36,
861, 23, 16, 39,
838, 22, 11, 34,
824, 22, 11, 34,
838, 22, 12, 35,
837, 22, 13, 36,
885, 23, 12, 36,
861, 23, 14, 37,
876, 23, 11, 34,
870, 23, 14, 38,
825, 27, 15, 42,
802, 27, 17, 45,
816, 27, 15, 42,
814, 27, 19, 46,
880, 18, 15, 34,
852, 18, 16, 35,
870, 18, 14, 32,
865, 18, 16, 34,
829, 24, 23, 48,
817, 24, 24, 48,
828, 24, 24, 48,
828, 24, 23, 48,
859, 21, 13, 35,
828, 21, 17, 38,
847, 21, 16, 37,
837, 21, 17, 38,
783, 26, 22, 49,
751, 26, 23, 50,
772, 26, 22, 49,
765, 26, 20, 47,
1025, 20, 13, 34,
1002, 20, 16, 36,
1015, 20, 15, 35,
1011, 20, 16, 37,
957, 21, 10, 31,
949, 21, 13, 34,
956, 21, 12, 33,
951, 21, 11, 32,
1006, 24, 14, 38,
986, 24, 16, 40,
997, 24, 15, 39,
994, 24, 17, 41,
942, 24, 15, 40,
926, 24, 16, 41,
936, 24, 15, 40,
935, 24, 18, 43,
1017, 16, 9, 26,
994, 16, 11, 27,
1012, 16, 10, 26,
1002, 16, 12, 28,
986, 16, 9, 25,
967, 16, 9, 25,
982, 16, 9, 25,
980, 16, 10, 26,
1006, 18, 10, 28,
984, 18, 11, 29,
998, 18, 9, 28,
990, 18, 12, 30,
972, 19, 8, 27,
953, 19, 12, 31,
968, 19, 12, 31,
960, 19, 14, 33,
994, 25, 15, 41,
951, 25, 20, 45,
982, 25, 16, 42,
966, 25, 19, 44,
948, 24, 12, 37,
934, 24, 14, 39,
945, 24, 13, 38,
944, 24, 15, 40,
991, 25, 14, 39,
961, 25, 16, 41,
982, 25, 16, 41,
973, 25, 18, 43,
934, 57, 17, 74,
912, 57, 20, 77,
929, 57, 17, 75,
925, 57, 17, 74,
972, 18, 12, 31,
941, 18, 12, 31,
964, 18, 13, 32,
954, 18, 14, 32,
919, 23, 21, 44,
903, 23, 20, 44,
915, 23, 20, 43,
912, 23, 20, 43,
950, 20, 13, 34,
918, 20, 15, 36,
939, 20, 14, 35,
928, 20, 16, 36,
869, 23, 19, 43,
840, 23, 19, 43,
859, 23, 17, 41,
853, 23, 19, 43,
853, 30, 13, 44,
819, 30, 16, 47,
840, 30, 14, 45,
830, 30, 17, 48,
748, 25, 16, 41,
739, 25, 16, 41,
747, 25, 16, 41,
747, 25, 14, 39,
844, 31, 14, 46,
822, 31, 15, 47,
833, 31, 15, 46,
824, 31, 17, 49,
744, 26, 14, 41,
733, 26, 20, 47,
736, 26, 16, 43,
739, 26, 20, 47,
914, 14, 10, 25,
889, 14, 9, 24,
904, 14, 10, 24,
899, 14, 9, 24,
881, 16, 12, 29,
869, 16, 12, 28,
879, 16, 11, 28,
877, 16, 11, 28,
901, 16, 9, 26,
877, 16, 10, 26,
890, 16, 10, 26,
881, 16, 9, 26,
868, 18, 13, 31,
849, 18, 11, 30,
860, 18, 12, 30,
859, 18, 12, 30,
875, 32, 16, 49,
828, 32, 22, 54,
864, 32, 17, 49,
842, 32, 21, 53,
823, 28, 13, 41,
815, 28, 15, 44,
822, 28, 13, 42,
823, 28, 15, 43,
879, 29, 14, 44,
854, 29, 16, 46,
869, 29, 13, 43,
863, 29, 17, 47,
819, 34, 17, 51,
795, 34, 19, 53,
805, 34, 18, 52,
808, 34, 20, 55,
851, 22, 16, 38,
816, 22, 18, 40,
842, 22, 16, 39,
829, 22, 17, 39,
798, 28, 24, 52,
781, 28, 23, 51,
798, 28, 24, 52,
795, 28, 24, 53,
824, 26, 19, 45,
787, 26, 21, 47,
811, 26, 20, 47,
799, 26, 21, 48,
750, 30, 27, 58,
717, 30, 26, 57,
739, 30, 25, 55,
730, 30, 24, 54,
1049, 21, 11, 32,
1027, 21, 12, 34,
1041, 21, 11, 32,
1041, 21, 13, 35,
996, 20, 8, 28,
991, 20, 9, 29,
995, 20, 8, 28,
1003, 20, 9, 29,
1031, 20, 10, 31,
1013, 20, 12, 32,
1019, 20, 11, 32,
1025, 20, 13, 33,
994, 25, 10, 35,
994, 25, 13, 38,
988, 25, 13, 38,
1010, 25, 14, 39,
1084, 21, 10, 32,
1065, 21, 11, 33,
1080, 21, 10, 32,
1075, 21, 12, 34,
1068, 21, 10, 32,
1052, 21, 10, 32,
1067, 21, 10, 32,
1063, 21, 11, 32,
1081, 22, 11, 33,
1058, 22, 10, 33,
1075, 22, 11, 33,
1074, 22, 12, 34,
1068, 22, 12, 35,
1056, 22, 12, 35,
1065, 22, 12, 34,
1066, 22, 14, 37,
1014, 21, 12, 33,
980, 21, 14, 36,
1006, 21, 12, 33,
997, 21, 16, 37,
988, 20, 8, 29,
980, 20, 9, 30,
989, 20, 9, 29,
995, 20, 10, 31,
1016, 19, 12, 32,
992, 19, 12, 32,
1006, 19, 11, 31,
1009, 19, 12, 32,
990, 25, 12, 37,
990, 25, 13, 38,
989, 25, 12, 37,
1008, 25, 14, 39,
997, 17, 8, 25,
962, 17, 7, 24,
988, 17, 8, 25,
976, 17, 7, 24,
944, 15, 8, 24,
927, 15, 9, 24,
944, 15, 9, 24,
941, 15, 8, 24,
977, 16, 7, 23,
947, 16, 6, 23,
969, 16, 7, 23,
957, 16, 7, 23,
912, 15, 7, 22,
889, 15, 7, 22,
907, 15, 7, 22,
902, 15, 6, 21,
885, 15, 7, 22,
857, 15, 9, 24,
877, 15, 7, 22,
863, 15, 10, 25,
785, 17, 10, 27,
774, 17, 10, 27,
787, 17, 10, 27,
784, 17, 8, 25,
866, 15, 7, 22,
846, 15, 8, 23,
856, 15, 7, 22,
847, 15, 9, 24,
782, 15, 8, 24,
762, 15, 10, 26,
773, 15, 8, 24,
773, 15, 13, 28,
909, 19, 12, 31,
889, 19, 9, 28,
901, 19, 10, 30,
898, 19, 9, 28,
871, 18, 12, 30,
859, 18, 11, 30,
871, 18, 12, 30,
869, 18, 10, 29,
896, 15, 9, 25,
876, 15, 8, 24,
888, 15, 10, 25,
882, 15, 8, 24,
864, 15, 11, 27,
843, 15, 9, 24,
856, 15, 9, 25,
848, 15, 6, 22,
868, 14, 8, 22,
825, 14, 11, 26,
859, 14, 8, 23,
836, 14, 12, 26,
806, 14, 8, 22,
788, 14, 8, 22,
805, 14, 7, 22,
800, 14, 7, 22,
857, 14, 7, 22,
827, 14, 9, 23,
846, 14, 7, 21,
839, 14, 10, 24,
791, 14, 9, 24,
766, 14, 12, 27,
783, 14, 10, 25,
779, 14, 14, 29,
842, 19, 14, 33,
820, 19, 14, 33,
833, 19, 12, 32,
832, 19, 14, 34,
772, 22, 20, 42,
764, 22, 22, 45,
774, 22, 20, 42,
772, 22, 19, 42,
815, 16, 13, 29,
790, 16, 14, 31,
806, 16, 12, 29,
798, 16, 14, 31,
720, 20, 19, 39,
693, 20, 19, 39,
715, 20, 18, 38,
707, 20, 18, 38,
1064, 21, 12, 34,
1034, 21, 12, 34,
1054, 21, 11, 33,
1047, 21, 13, 35,
978, 17, 6, 24,
965, 17, 7, 24,
978, 17, 7, 24,
975, 17, 7, 25,
1035, 22, 12, 35,
1007, 22, 12, 34,
1023, 22, 12, 34,
1019, 22, 13, 36,
969, 21, 8, 30,
956, 21, 9, 31,
962, 21, 9, 31,
968, 21, 11, 33,
1063, 18, 9, 28,
1035, 18, 10, 28,
1054, 18, 9, 28,
1047, 18, 11, 30,
1021, 17, 8, 25,
1004, 17, 7, 25,
1022, 17, 8, 25,
1015, 17, 8, 26,
1048, 19, 10, 30,
1022, 19, 9, 28,
1038, 19, 9, 28,
1030, 19, 11, 30,
1010, 18, 9, 27,
989, 18, 9, 27,
1005, 18, 8, 26,
998, 18, 11, 29,
1014, 22, 11, 34,
970, 22, 12, 34,
1005, 22, 12, 34,
988, 22, 14, 37,
962, 20, 8, 28,
950, 20, 8, 28,
964, 20, 8, 28,
963, 20, 9, 30,
1010, 22, 12, 34,
976, 22, 11, 33,
1002, 22, 11, 34,
993, 22, 13, 35,
955, 26, 9, 36,
936, 26, 11, 37,
946, 26, 10, 37,
951, 26, 13, 39,
1001, 16, 8, 25,
969, 16, 8, 25,
990, 16, 8, 25,
983, 16, 8, 25,
923, 18, 13, 31,
907, 18, 12, 31,
923, 18, 12, 31,
921, 18, 14, 33,
972, 16, 8, 25,
937, 16, 8, 24,
959, 16, 8, 25,
948, 16, 9, 25,
872, 14, 8, 22,
846, 14, 9, 24,
867, 14, 7, 22,
860, 14, 7, 21,
805, 18, 9, 27,
774, 18, 12, 30,
794, 18, 9, 28,
780, 18, 11, 30,
691, 21, 15, 37,
681, 21, 14, 36,
689, 21, 13, 34,
689, 21, 13, 34,
786, 18, 9, 27,
766, 18, 11, 29,
772, 18, 9, 27,
771, 18, 11, 29,
690, 18, 13, 32,
677, 18, 10, 29,
685, 18, 12, 31,
685, 18, 14, 32,
869, 18, 10, 29,
845, 18, 7, 26,
859, 18, 9, 28,
853, 18, 7, 26,
826, 17, 11, 28,
813, 17, 10, 27,
824, 17, 10, 27,
821, 17, 10, 27,
843, 15, 10, 25,
813, 15, 9, 25,
831, 15, 9, 24,
820, 15, 9, 25,
815, 14, 9, 24,
792, 14, 8, 22,
809, 14, 9, 23,
802, 14, 7, 21,
800, 18, 10, 29,
746, 18, 16, 34,
784, 18, 11, 30,
762, 18, 13, 31,
738, 16, 11, 28,
722, 16, 11, 28,
733, 16, 12, 29,
734, 16, 10, 26,
803, 16, 9, 26,
774, 16, 11, 28,
791, 16, 8, 25,
782, 16, 11, 28,
727, 17, 10, 28,
706, 17, 14, 31,
720, 17, 12, 29,
717, 17, 14, 32,
779, 20, 14, 34,
743, 20, 15, 36,
771, 20, 14, 34,
758, 20, 18, 39,
703, 24, 25, 50,
688, 24, 28, 52,
700, 24, 22, 46,
700, 24, 26, 51,
741, 19, 16, 36,
704, 19, 21, 41,
729, 19, 19, 39,
712, 19, 21, 41,
649, 23, 20, 44,
618, 23, 24, 48,
642, 23, 22, 45,
632, 23, 21, 44,
1106, 31, 17, 49,
1083, 31, 18, 50,
1097, 31, 16, 48,
1100, 31, 22, 54,
1045, 30, 12, 43,
1052, 30, 16, 46,
1053, 30, 14, 45,
1065, 30, 18, 49,
1083, 30, 17, 47,
1063, 30, 18, 48,
1074, 30, 17, 48,
1088, 30, 20, 51,
1063, 37, 18, 55,
1075, 37, 20, 57,
1058, 37, 19, 57,
1095, 37, 22, 60,
1190, 29, 24, 54,
1166, 29, 23, 53,
1184, 29, 23, 53,
1178, 29, 25, 54,
1179, 30, 21, 51,
1157, 30, 20, 51,
1177, 30, 20, 51,
1171, 30, 25, 55,
1186, 30, 25, 55,
1157, 30, 23, 53,
1180, 30, 23, 53,
1176, 30, 24, 54,
1178, 31, 22, 53,
1166, 31, 24, 55,
1177, 31, 23, 54,
1179, 31, 26, 57,
1068, 29, 18, 48,
1034, 29, 18, 47,
1061, 29, 16, 46,
1057, 29, 20, 49,
1054, 31, 15, 46,
1049, 31, 17, 48,
1054, 31, 16, 47,
1068, 31, 19, 50,
1075, 29, 18, 47,
1051, 29, 17, 46,
1066, 29, 16, 46,
1073, 29, 19, 48,
1073, 35, 20, 56,
1078, 35, 21, 57,
1071, 35, 20, 55,
1104, 35, 26, 62,
1069, 21, 15, 36,
1031, 21, 12, 34,
1060, 21, 13, 35,
1044, 21, 13, 35,
1007, 20, 15, 36,
987, 20, 15, 36,
1006, 20, 15, 35,
1003, 20, 14, 35,
1044, 22, 13, 35,
1006, 22, 12, 34,
1036, 22, 13, 35,
1023, 22, 14, 36,
967, 19, 12, 31,
945, 19, 10, 30,
962, 19, 11, 30,
962, 19, 12, 31,
917, 27, 10, 37,
885, 27, 13, 40,
909, 27, 11, 38,
892, 27, 13, 40,
826, 21, 13, 34,
814, 21, 11, 33,
827, 21, 12, 34,
819, 21, 10, 32,
901, 28, 10, 39,
875, 28, 12, 40,
889, 28, 12, 40,
880, 28, 14, 42,
814, 22, 12, 35,
799, 22, 17, 39,
810, 22, 14, 36,
803, 22, 16, 39,
939, 12, 7, 19,
916, 12, 7, 19,
933, 12, 7, 19,
926, 12, 6, 18,
909, 12, 9, 21,
895, 12, 9, 22,
907, 12, 8, 21,
903, 12, 8, 21,
931, 13, 6, 20,
904, 13, 7, 21,
921, 13, 7, 21,
914, 13, 7, 21,
892, 15, 8, 24,
871, 15, 8, 23,
886, 15, 8, 24,
881, 15, 7, 23,
876, 26, 12, 38,
822, 26, 16, 42,
865, 26, 13, 39,
840, 26, 15, 41,
823, 20, 11, 32,
807, 20, 11, 32,
820, 20, 11, 31,
821, 20, 13, 34,
869, 25, 12, 37,
832, 25, 14, 39,
858, 25, 12, 37,
845, 25, 15, 40,
796, 24, 14, 38,
765, 24, 17, 41,
784, 24, 16, 40,
778, 24, 18, 42,
878, 19, 11, 31,
846, 19, 13, 32,
871, 19, 11, 31,
861, 19, 12, 32,
812, 22, 19, 42,
798, 22, 20, 42,
811, 22, 19, 42,
807, 22, 20, 42,
855, 21, 12, 34,
820, 21, 15, 37,
845, 21, 13, 35,
830, 21, 15, 37,
758, 24, 20, 44,
728, 24, 20, 44,
749, 24, 19, 43,
741, 24, 18, 42,
1026, 16, 9, 25,
1004, 16, 10, 26,
1018, 16, 9, 25,
1010, 16, 11, 28,
951, 14, 6, 20,
941, 14, 6, 21,
952, 14, 6, 20,
949, 14, 7, 22,
1002, 18, 9, 27,
980, 18, 10, 28,
992, 18, 9, 27,
987, 18, 11, 29,
940, 17, 7, 25,
922, 17, 10, 28,
936, 17, 9, 27,
932, 17, 11, 29,
1018, 14, 6, 21,
995, 14, 6, 20,
1014, 14, 6, 20,
1006, 14, 6, 21,
983, 14, 6, 20,
969, 14, 5, 19,
981, 14, 6, 20,
977, 14, 5, 19,
1008, 14, 7, 21,
983, 14, 6, 21,
995, 14, 6, 20,
991, 14, 7, 21,
966, 14, 6, 20,
954, 14, 7, 22,
964, 14, 6, 21,
959, 14, 9, 23,
975, 18, 9, 27,
932, 18, 12, 30,
963, 18, 9, 27,
949, 18, 13, 31,
933, 15, 6, 22,
919, 15, 7, 23,
932, 15, 7, 22,
930, 15, 7, 23,
974, 17, 9, 27,
943, 17, 11, 28,
963, 17, 9, 26,
957, 17, 12, 30,
915, 21, 10, 31,
893, 21, 13, 34,
908, 21, 11, 33,
907, 21, 14, 35,
971, 17, 10, 28,
941, 17, 8, 26,
962, 17, 6, 24,
956, 17, 9, 27,
903, 21, 14, 36,
892, 21, 14, 36,
903, 21, 13, 34,
903, 21, 15, 37,
943, 16, 8, 25,
910, 16, 10, 27,
930, 16, 9, 26,
923, 16, 10, 26,
858, 19, 14, 33,
828, 19, 14, 33,
851, 19, 12, 32,
841, 19, 12, 31,
845, 23, 11, 35,
814, 23, 14, 38,
835, 23, 12, 35,
819, 23, 12, 36,
746, 20, 15, 35,
736, 20, 14, 34,
745, 20, 13, 33,
745, 20, 12, 32,
829, 24, 10, 34,
808, 24, 12, 36,
819, 24, 11, 35,
812, 24, 14, 38,
738, 18, 13, 32,
715, 18, 15, 34,
726, 18, 13, 32,
728, 18, 18, 36,
894, 14, 9, 24,
868, 14, 9, 23,
883, 14, 9, 23,
878, 14, 8, 22,
854, 15, 12, 27,
841, 15, 12, 27,
852, 15, 12, 27,
850, 15, 11, 27,
873, 15, 9, 25,
842, 15, 10, 26,
861, 15, 10, 26,
849, 15, 10, 26,
836, 15, 11, 27,
815, 15, 11, 27,
829, 15, 11, 26,
823, 15, 8, 24,
840, 24, 13, 37,
787, 24, 17, 42,
827, 24, 13, 37,
805, 24, 16, 40,
790, 20, 12, 32,
779, 20, 12, 32,
789, 20, 11, 31,
785, 20, 11, 31,
844, 23, 12, 36,
816, 23, 13, 37,
834, 23, 11, 34,
824, 23, 14, 38,
775, 24, 15, 39,
749, 24, 17, 42,
763, 24, 15, 40,
758, 24, 17, 42,
812, 21, 15, 36,
778, 21, 17, 39,
801, 21, 14, 35,
794, 21, 17, 39,
741, 24, 26, 51,
729, 24, 28, 53,
742, 24, 26, 51,
739, 24, 27, 52,
777, 22, 16, 39,
738, 22, 20, 42,
765, 22, 18, 40,
750, 22, 21, 43,
688, 24, 25, 49,
656, 24, 25, 49,
680, 24, 22, 47,
670, 24, 22, 46,
1093, 26, 14, 41,
1066, 26, 14, 41,
1087, 26, 14, 40,
1084, 26, 17, 44,
1047, 25, 11, 37,
1042, 25, 12, 38,
1043, 25, 12, 37,
1054, 25, 12, 38,
1068, 25, 13, 38,
1047, 25, 14, 39,
1064, 25, 15, 40,
1063, 25, 16, 41,
1049, 30, 14, 44,
1048, 30, 15, 46,
1042, 30, 14, 45,
1067, 30, 18, 49,
1151, 24, 17, 41,
1124, 24, 15, 39,
1143, 24, 18, 42,
1136, 24, 19, 43,
1135, 24, 15, 40,
1119, 24, 14, 39,
1136, 24, 15, 39,
1130, 24, 16, 40,
1146, 24, 15, 40,
1116, 24, 15, 40,
1137, 24, 16, 41,
1136, 24, 16, 41,
1131, 27, 17, 45,
1118, 27, 18, 45,
1128, 27, 16, 44,
1130, 27, 19, 46,
1050, 25, 14, 39,
1012, 25, 15, 40,
1042, 25, 13, 38,
1034, 25, 16, 41,
1030, 25, 12, 37,
1022, 25, 12, 38,
1028, 25, 12, 38,
1038, 25, 14, 40,
1052, 24, 15, 40,
1025, 24, 14, 38,
1043, 24, 14, 39,
1044, 24, 16, 41,
1033, 31, 15, 46,
1031, 31, 15, 46,
1030, 31, 15, 46,
1054, 31, 18, 49,
1040, 18, 10, 29,
1000, 18, 9, 27,
1033, 18, 12, 30,
1019, 18, 10, 28,
983, 17, 11, 29,
963, 17, 11, 29,
981, 17, 11, 29,
979, 17, 11, 29,
1020, 18, 10, 29,
980, 18, 9, 28,
1008, 18, 10, 29,
997, 18, 10, 29,
945, 18, 9, 28,
922, 18, 8, 27,
939, 18, 8, 27,
943, 18, 9, 28,
791, 16, 8, 24,
767, 16, 9, 25,
778, 16, 8, 25,
774, 16, 8, 25,
681, 21, 16, 38,
674, 21, 16, 38,
684, 21, 15, 36,
682, 21, 14, 35,
764, 15, 9, 25,
751, 15, 8, 24,
755, 15, 9, 25,
752, 15, 8, 24,
677, 19, 15, 34,
659, 19, 13, 32,
670, 19, 14, 33,
666, 19, 10, 30,
844, 24, 13, 38,
828, 24, 11, 36,
835, 24, 13, 38,
837, 24, 12, 36,
806, 21, 15, 37,
796, 21, 13, 35,
806, 21, 15, 37,
805, 21, 13, 35,
832, 19, 12, 32,
817, 19, 11, 31,
822, 19, 12, 31,
821, 19, 11, 31,
800, 19, 13, 32,
784, 19, 10, 29,
795, 19, 12, 32,
788, 19, 8, 28,
794, 14, 8, 22,
753, 14, 11, 26,
785, 14, 8, 22,
764, 14, 10, 25,
725, 15, 10, 26,
711, 15, 12, 28,
725, 15, 10, 26,
722, 15, 9, 25,
785, 13, 7, 20,
764, 13, 8, 22,
777, 13, 7, 20,
771, 13, 8, 21,
719, 14, 8, 23,
700, 14, 10, 25,
713, 14, 8, 23,
711, 14, 11, 26,
770, 25, 18, 43,
747, 25, 16, 42,
761, 25, 18, 43,
758, 25, 17, 43,
703, 27, 22, 49,
692, 27, 23, 50,
704, 27, 21, 48,
702, 27, 23, 50,
741, 20, 16, 37,
716, 20, 17, 37,
732, 20, 16, 37,
724, 20, 17, 37,
658, 23, 21, 44,
633, 23, 24, 47,
652, 23, 21, 45,
644, 23, 19, 43,
1036, 22, 11, 33,
1006, 22, 12, 34,
1026, 22, 12, 34,
1019, 22, 13, 35,
946, 17, 6, 24,
932, 17, 6, 24,
945, 17, 7, 24,
943, 17, 7, 25,
1004, 22, 11, 34,
976, 22, 11, 34,
993, 22, 11, 34,
988, 22, 13, 36,
938, 20, 8, 29,
923, 20, 9, 29,
932, 20, 9, 29,
934, 20, 11, 32,
1042, 19, 9, 29,
1015, 19, 10, 30,
1035, 19, 10, 29,
1027, 19, 11, 31,
999, 17, 8, 26,
981, 17, 8, 25,
1001, 17, 8, 26,
997, 17, 9, 27,
1029, 19, 11, 30,
1003, 19, 10, 29,
1017, 19, 10, 29,
1012, 19, 12, 32,
993, 18, 8, 26,
970, 18, 9, 28,
987, 18, 9, 27,
977, 18, 11, 29,
989, 22, 11, 33,
947, 22, 11, 34,
979, 22, 11, 33,
965, 22, 13, 35,
938, 18, 7, 26,
924, 18, 8, 27,
939, 18, 8, 27,
938, 18, 9, 28,
987, 21, 13, 34,
957, 21, 11, 32,
977, 21, 11, 33,
972, 21, 13, 34,
932, 24, 10, 35,
914, 24, 11, 36,
926, 24, 11, 36,
931, 24, 14, 39,
978, 18, 10, 28,
945, 18, 8, 26,
969, 18, 11, 29,
958, 18, 10, 28,
897, 20, 13, 33,
881, 20, 14, 34,
898, 20, 13, 33,
896, 20, 14, 34,
949, 16, 9, 26,
914, 16, 8, 25,
936, 16, 9, 26,
924, 16, 9, 26,
853, 15, 9, 24,
825, 15, 9, 24,
846, 15, 8, 24,
839, 15, 7, 22,
735, 18, 9, 28,
710, 18, 12, 31,
721, 18, 10, 28,
715, 18, 13, 31,
618, 23, 16, 40,
611, 23, 17, 40,
620, 23, 17, 40,
622, 23, 16, 39,
713, 18, 10, 29,
701, 18, 12, 30,
703, 18, 11, 30,
702, 18, 11, 30,
620, 19, 16, 35,
608, 19, 14, 33,
615, 19, 14, 34,
615, 19, 11, 30,
842, 18, 10, 29,
819, 18, 8, 27,
830, 18, 10, 28,
825, 18, 8, 27,
800, 17, 11, 28,
788, 17, 10, 28,
799, 17, 10, 27,
798, 17, 9, 27,
824, 15, 9, 25,
803, 15, 8, 24,
813, 15, 9, 25,
807, 15, 8, 24,
789, 14, 9, 23,
772, 14, 8, 23,
784, 14, 8, 23,
780, 14, 6, 21,
767, 17, 10, 27,
721, 17, 12, 29,
755, 17, 11, 28,
735, 17, 13, 30,
703, 17, 13, 31,
690, 17, 13, 30,
701, 17, 12, 30,
700, 17, 11, 28,
769, 15, 9, 24,
746, 15, 10, 25,
760, 15, 9, 24,
753, 15, 10, 25,
695, 16, 10, 26,
678, 16, 13, 29,
688, 16, 11, 27,
689, 16, 14, 30,
752, 23, 14, 38,
718, 23, 16, 40,
742, 23, 13, 37,
734, 23, 15, 39,
676, 26, 27, 54,
662, 26, 26, 52,
678, 26, 25, 52,
673, 26, 26, 53,
715, 21, 17, 38,
679, 21, 20, 42,
703, 21, 18, 40,
690, 21, 20, 41,
632, 26, 25, 51,
602, 26, 23, 50,
624, 26, 23, 49,
614, 26, 21, 48,
1058, 29, 16, 45,
1032, 29, 16, 46,
1050, 29, 15, 45,
1050, 29, 18, 48,
991, 26, 13, 39,
988, 26, 14, 40,
990, 26, 13, 39,
1001, 26, 15, 42,
1030, 27, 15, 43,
1012, 27, 15, 43,
1027, 27, 15, 43,
1034, 27, 17, 45,
1003, 37, 14, 52,
1006, 37, 16, 54,
994, 37, 16, 54,
1027, 37, 20, 57,
1145, 27, 21, 49,
1121, 27, 20, 48,
1136, 27, 20, 48,
1130, 27, 23, 50,
1125, 29, 19, 49,
1105, 29, 20, 50,
1122, 29, 20, 49,
1114, 29, 23, 52,
1136, 29, 22, 51,
1109, 29, 20, 49,
1129, 29, 21, 50,
1128, 29, 22, 51,
1127, 30, 20, 51,
1113, 30, 21, 51,
1123, 30, 21, 51,
1124, 30, 22, 52,
1028, 28, 17, 45,
994, 28, 17, 46,
1025, 28, 13, 41,
1013, 28, 20, 48,
1007, 29, 15, 44,
1001, 29, 15, 44,
1007, 29, 16, 45,
1022, 29, 18, 47,
1036, 28, 18, 47,
1013, 28, 16, 44,
1025, 28, 17, 46,
1033, 28, 19, 47,
1026, 33, 19, 53,
1032, 33, 19, 53,
1026, 33, 19, 53,
1055, 33, 24, 58,
1021, 24, 16, 40,
984, 24, 13, 38,
1013, 24, 15, 40,
1000, 24, 15, 39,
957, 22, 15, 37,
939, 22, 14, 37,
959, 22, 15, 37,
956, 22, 15, 37,
998, 23, 14, 38,
960, 23, 13, 36,
986, 23, 13, 37,
974, 23, 14, 37,
921, 19, 12, 32,
896, 19, 11, 30,
915, 19, 12, 31,
912, 19, 10, 30,
927, 24, 10, 34,
902, 24, 13, 38,
917, 24, 10, 34,
908, 24, 14, 38,
837, 23, 13, 36,
827, 23, 13, 36,
836, 23, 13, 36,
835, 23, 12, 35,
912, 24, 10, 35,
891, 24, 11, 36,
900, 24, 11, 35,
895, 24, 13, 38,
827, 24, 13, 38,
815, 24, 17, 42,
822, 24, 14, 39,
819, 24, 18, 43,
944, 13, 8, 21,
925, 13, 7, 20,
935, 13, 7, 20,
932, 13, 6, 19,
914, 14, 9, 23,
903, 14, 9, 23,
913, 14, 8, 23,
911, 14, 8, 22,
934, 13, 7, 20,
913, 13, 7, 20,
923, 13, 7, 21,
919, 13, 7, 20,
904, 15, 8, 24,
885, 15, 8, 23,
897, 15, 9, 24,
894, 15, 9, 24,
904, 23, 11, 35,
861, 23, 18, 41,
891, 23, 12, 36,
875, 23, 16, 39,
852, 22, 11, 34,
842, 22, 14, 36,
852, 22, 12, 35,
852, 22, 13, 36,
902, 23, 12, 35,
871, 23, 14, 37,
889, 23, 11, 34,
880, 23, 14, 37,
837, 27, 15, 42,
810, 27, 19, 46,
826, 27, 15, 42,
824, 27, 20, 47,
891, 18, 12, 31,
865, 18, 14, 33,
887, 18, 12, 31,
879, 18, 15, 34,
840, 24, 21, 46,
830, 24, 23, 48,
840, 24, 22, 46,
838, 24, 21, 45,
871, 21, 13, 34,
841, 21, 16, 37,
861, 21, 15, 36,
851, 21, 17, 38,
792, 26, 21, 48,
764, 26, 22, 49,
783, 26, 22, 49,
777, 26, 20, 47,
1023, 20, 9, 30,
1000, 20, 11, 32,
1011, 20, 11, 32,
1010, 20, 12, 33,
955, 21, 8, 29,
945, 21, 9, 30,
955, 21, 8, 29,
952, 21, 10, 31,
1005, 24, 11, 35,
983, 24, 12, 36,
993, 24, 11, 35,
989, 24, 14, 38,
943, 24, 11, 35,
928, 24, 13, 38,
937, 24, 12, 36,
937, 24, 15, 40,
1013, 16, 7, 23,
989, 16, 8, 24,
1006, 16, 7, 23,
999, 16, 9, 25,
979, 16, 7, 23,
964, 16, 7, 23,
978, 16, 7, 23,
975, 16, 7, 24,
1000, 18, 8, 26,
979, 18, 8, 27,
993, 18, 7, 26,
986, 18, 9, 28,
967, 19, 8, 27,
950, 19, 11, 30,
965, 19, 9, 28,
957, 19, 12, 31,
990, 25, 12, 38,
949, 25, 15, 41,
976, 25, 13, 39,
964, 25, 17, 43,
945, 24, 10, 35,
930, 24, 11, 36,
940, 24, 10, 35,
939, 24, 12, 37,
984, 25, 13, 38,
958, 25, 13, 38,
975, 25, 11, 36,
970, 25, 14, 39,
914, 57, 15, 72,
916, 57, 15, 72,
929, 57, 16, 73,
921, 57, 18, 76,
971, 18, 10, 29,
940, 18, 11, 30,
966, 18, 13, 32,
951, 18, 11, 29,
912, 23, 17, 40,
896, 23, 18, 41,
911, 23, 17, 40,
909, 23, 18, 41,
947, 20, 11, 31,
915, 20, 13, 33,
933, 20, 12, 32,
925, 20, 13, 33,
868, 23, 17, 41,
837, 23, 17, 41,
863, 23, 17, 41,
850, 23, 15, 39,
854, 30, 12, 43,
822, 30, 15, 46,
840, 30, 13, 43,
832, 30, 16, 47,
759, 25, 15, 40,
750, 25, 15, 40,
757, 25, 15, 40,
755, 25, 12, 37,
843, 31, 13, 45,
825, 31, 15, 47,
836, 31, 13, 45,
828, 31, 16, 47,
748, 26, 14, 41,
738, 26, 19, 46,
742, 26, 16, 43,
743, 26, 19, 46,
911, 14, 9, 24,
890, 14, 7, 22,
901, 14, 9, 23,
896, 14, 8, 22,
878, 16, 11, 27,
866, 16, 11, 27,
876, 16, 11, 27,
873, 16, 9, 26,
897, 16, 8, 24,
874, 16, 8, 25,
887, 16, 9, 25,
877, 16, 8, 25,
865, 18, 11, 29,
847, 18, 10, 29,
858, 18, 10, 29,
854, 18, 10, 29,
874, 32, 13, 46,
827, 32, 19, 51,
857, 32, 16, 49,
841, 32, 19, 52,
821, 28, 11, 40,
809, 28, 13, 41,
820, 28, 12, 40,
822, 28, 14, 42,
873, 29, 13, 43,
849, 29, 14, 44,
863, 29, 13, 43,
859, 29, 16, 45,
814, 34, 15, 49,
793, 34, 17, 51,
803, 34, 16, 50,
805, 34, 18, 52,
848, 22, 14, 36,
816, 22, 16, 38,
838, 22, 16, 38,
829, 22, 15, 37,
796, 28, 23, 51,
783, 28, 23, 51,
794, 28, 21, 50,
792, 28, 23, 51,
822, 26, 16, 43,
786, 26, 19, 45,
808, 26, 17, 43,
797, 26, 18, 45,
748, 30, 23, 54,
715, 30, 24, 55,
739, 30, 23, 53,
729, 30, 23, 53,
1049, 21, 10, 31,
1026, 21, 11, 32,
1038, 21, 10, 31,
1041, 21, 12, 34,
999, 20, 7, 28,
994, 20, 8, 28,
997, 20, 8, 28,
1006, 20, 9, 29,
1030, 20, 9, 30,
1011, 20, 10, 30,
1020, 20, 9, 29,
1023, 20, 11, 32,
997, 25, 10, 35,
1001, 25, 11, 36,
996, 25, 11, 36,
1018, 25, 14, 39,
1091, 21, 11, 33,
1071, 21, 11, 33,
1084, 21, 11, 33,
1080, 21, 12, 34,
1073, 21, 10, 32,
1058, 21, 9, 31,
1072, 21, 10, 32,
1067, 21, 11, 33,
1083, 22, 12, 34,
1061, 22, 11, 33,
1076, 22, 11, 33,
1072, 22, 12, 35,
1072, 22, 13, 35,
1065, 22, 12, 35,
1072, 22, 12, 35,
1072, 22, 15, 38,
1011, 21, 11, 32,
981, 21, 12, 33,
1003, 21, 11, 32,
997, 21, 12, 34,
986, 20, 8, 29,
980, 20, 9, 29,
987, 20, 8, 29,
995, 20, 10, 30,
1014, 19, 10, 30,
992, 19, 10, 30,
1006, 19, 9, 29,
1009, 19, 11, 31,
993, 25, 12, 37,
993, 25, 12, 37,
993, 25, 12, 37,
1009, 25, 15, 40,
995, 17, 8, 25,
962, 17, 6, 24,
987, 17, 7, 24,
975, 17, 7, 24,
945, 15, 9, 25,
928, 15, 9, 24,
944, 15, 9, 24,
941, 15, 9, 25,
977, 16, 7, 23,
943, 16, 6, 23,
968, 16, 7, 23,
955, 16, 7, 23,
910, 15, 7, 22,
891, 15, 6, 21,
906, 15, 6, 21,
906, 15, 5, 20};


// Code obtained from https://stackoverflow.com/questions/12205054/how-to-reverse-an-int-but-grouped-by-2-bit-in-c
__device__
uint32_t reverseByTwo(uint32_t value) {
    int i;
    uint32_t new_value = 0;
    for (i = 0; i < 16; i++)
    {
        new_value <<= 2;            
        new_value |= (value & 0x3);
        value >>= 2;
    }
    return new_value;
}

// Flips the locations since RNA is read 3' to 5'
__global__
void rna2signal(char *rna, long rna_length, short signal_type, short strand_types, short *global_gpu_mem_output_signal){
  long pos = blockDim.x * blockIdx.x + threadIdx.x;
  __shared__ char rna_buffer[CUDA_THREADBLOCK_MAX_THREADS+RNA_KMER_LENGTH];

  // Coalesced global_memory reads and writes hopefully
  // Array is organized AAAAA, AAAAC, AAAAG, AAAAT, AAACA, ... TTTTT so find index accordingly
  if(pos < rna_length){
	rna_buffer[threadIdx.x] = rna[pos];
  }
  if(pos + RNA_KMER_LENGTH - 1 < rna_length){ // bounds check for last block

    if(threadIdx.x+RNA_KMER_LENGTH-1 > blockDim.x){ // last threads in the block need to grab the remaining kmer bases for the end of the shared block buffer 
      rna_buffer[threadIdx.x+RNA_KMER_LENGTH-1] = rna[pos+RNA_KMER_LENGTH-1];
    }
    __syncthreads(); // ensure that the buffer is fully populated before proceeeding
    uint32_t model_idx = 0;

    for(int i = 0; i < RNA_KMER_LENGTH; i++){
      // Treat any input not C, G, T or U as an A.
	  int buffer_pos = RNA_KMER_LENGTH-1-i;
      model_idx += (1<<(i*2))*(rna_buffer[threadIdx.x+buffer_pos] == 'T' || rna_buffer[threadIdx.x+buffer_pos] == 'U' ? 3 : (rna_buffer[threadIdx.x+buffer_pos] == 'G' ? 2 : (rna_buffer[threadIdx.x+buffer_pos] == 'C' ? 1 : 0)));
    }
    // Output is reversed since RNA is read 3' to 5'
    if(strand_types & FORWARD_STRAND){
      global_gpu_mem_output_signal[pos] = rna_94_model[model_idx*4+signal_type];
	  // if(signal_type == 0) printf("\nkmer_name: %s, kmer reversed: %s, model_idx: %i, rna_94_model[%i*4+%i]: %i, pos: %ld, rna_length-pos-1: %ld\n", kmer_name, kmer_reversed, model_idx, model_idx, signal_type, rna_94_model[model_idx*4+signal_type], pos, rna_length-pos-1);
      if(strand_types & COMPLEMENT_STRAND){
        model_idx = reverseByTwo(~model_idx) >> (sizeof(uint32_t)*8-2*RNA_KMER_LENGTH);
        global_gpu_mem_output_signal[2*(rna_length-RNA_KMER_LENGTH)-pos+1] = rna_94_model[model_idx*4+signal_type];
      }
    }
    else if(strand_types & COMPLEMENT_STRAND){
      // The bitwise representation of the kmers means that we can invert the bits to do complement: A->T (00 -> 11), C->G (01 -> 10), G->C (10 -> 01), T->A (11 -> 00)
      // then reverse bits as base 4 to get the reverse complement (shift since we only use some of the integer bits).
      model_idx = reverseByTwo(~model_idx) >> (sizeof(uint32_t)*8-2*RNA_KMER_LENGTH);
      global_gpu_mem_output_signal[rna_length-RNA_KMER_LENGTH-pos] = rna_94_model[model_idx*4+signal_type];
    }
  }
}

__global__
void dna2signal(char *dna, long dna_length, short signal_type, short strand_types, short *global_gpu_mem_output_signal){
  long pos = blockDim.x*blockIdx.x+threadIdx.x;
  __shared__ char dna_buffer[CUDA_THREADBLOCK_MAX_THREADS+DNA_KMER_LENGTH];
  
  if(pos < dna_length){
    dna_buffer[threadIdx.x] = dna[pos];
  }
  // Coalesced global_memory reads and writes hopefully
  if(pos + DNA_KMER_LENGTH - 1 < dna_length){ // bounds check for last block
	if(threadIdx.x+DNA_KMER_LENGTH-1 > blockDim.x){ // last threads in the block need to grab the remaining kmer bases for the end of the shared block buffer 
       dna_buffer[threadIdx.x+DNA_KMER_LENGTH-1] = dna[pos+DNA_KMER_LENGTH-1];
    }
    __syncthreads(); // ensure that the buffer is fully populated before proceeeding
    uint32_t model_idx = 0;

	for(int i = 0; i < DNA_KMER_LENGTH; i++){
       // Treat any input not C, G, or T as an A
	   int buffer_pos = DNA_KMER_LENGTH-1-i;
       model_idx += (1<<(i*2))*(dna_buffer[threadIdx.x+buffer_pos] == 'T' ? 3 : (dna_buffer[threadIdx.x+buffer_pos] == 'G' ? 2 : (dna_buffer[threadIdx.x+buffer_pos] == 'C' ? 1 : 0)));
    }
    if(strand_types & FORWARD_STRAND){
      global_gpu_mem_output_signal[pos] = dna_94_model[model_idx*4+signal_type];
      if(strand_types & COMPLEMENT_STRAND){
        // Reverse and complement the kmer model key bits. Bit shift amount should optimize out to a constant in any sane compiler.
        model_idx = reverseByTwo(~model_idx) >> (sizeof(uint32_t)*8-2*DNA_KMER_LENGTH);
        global_gpu_mem_output_signal[2*(dna_length-DNA_KMER_LENGTH)-pos+1] = dna_94_model[model_idx*4+signal_type];
      }
    }
    else if(strand_types & COMPLEMENT_STRAND){
      model_idx = reverseByTwo(~model_idx) >> (sizeof(uint32_t)*8-2*DNA_KMER_LENGTH);
      global_gpu_mem_output_signal[dna_length-DNA_KMER_LENGTH-pos] = dna_94_model[model_idx*4+signal_type];
    }
  }
}

// Methods to return a pointer to the converted signal in GPU memory (e.g. for further GPU kernel calls)
__host__ 
int convert_rna_to_shorts(char *cpu_mem_rna, long rna_length, short signal_type, short strand_types, short **global_gpu_mem_output_signal, long *signal_length, cudaStream_t stream=0){
  int num_blocks = DIV_ROUNDUP(rna_length, CUDA_THREADBLOCK_MAX_THREADS);

  *signal_length = strand_types & FORWARD_STRAND && strand_types & COMPLEMENT_STRAND ? 2*(rna_length - (RNA_KMER_LENGTH - 1)) : (rna_length - (RNA_KMER_LENGTH - 1));

  cudaMalloc(global_gpu_mem_output_signal, sizeof(short)*(*signal_length)); CUERR("Allocating GPU memory for short representation of RNA");
  char *gpu_mem_rna;
  cudaMalloc(&gpu_mem_rna, sizeof(char)*rna_length); CUERR("Allocating GPU memory for char representation of RNA"); 
  cudaMemcpy(gpu_mem_rna, cpu_mem_rna, sizeof(char)*rna_length, cudaMemcpyHostToDevice); CUERR("Copying RNA from CPU to GPU");
  rna2signal<<<num_blocks,CUDA_THREADBLOCK_MAX_THREADS,0,stream>>>(gpu_mem_rna, rna_length, signal_type, strand_types, *global_gpu_mem_output_signal); CUERR("Executing RNA to signal conversion on the GPU");
  return 0;
}

__host__ 
int convert_dna_to_shorts(char *cpu_mem_dna, long dna_length, short signal_type, short strand_types, short **global_gpu_mem_output_signal, long *signal_length, cudaStream_t stream=0){
  int num_blocks = DIV_ROUNDUP(dna_length, CUDA_THREADBLOCK_MAX_THREADS);

  *signal_length = strand_types & FORWARD_STRAND && strand_types & COMPLEMENT_STRAND ? 2*(dna_length - (DNA_KMER_LENGTH - 1)) : (dna_length - (DNA_KMER_LENGTH - 1));

  cudaMalloc(global_gpu_mem_output_signal, sizeof(short)*(*signal_length)); CUERR("Allocating GPU memory for short representation of DNA"); 
  char *gpu_mem_dna;
  cudaMalloc(&gpu_mem_dna, sizeof(char)*dna_length); CUERR("Allocating GPU memory for char representation of DNA"); 
  cudaMemcpy(gpu_mem_dna, cpu_mem_dna, sizeof(char)*dna_length, cudaMemcpyHostToDevice); CUERR("Copying DNA from CPU to GPU");
  dna2signal<<<num_blocks,CUDA_THREADBLOCK_MAX_THREADS,0,stream>>>(gpu_mem_dna, dna_length, signal_type, strand_types, *global_gpu_mem_output_signal); CUERR("Executing DNA to signal conversion on the GPU");
  return 0;
}

// Methods to return the converted signal to the host
__host__ 
short* convert_rna_to_shorts(char *cpu_mem_rna, long rna_length, short signal_type, short strand_types, long *signal_length){
  int num_blocks = DIV_ROUNDUP(rna_length, CUDA_THREADBLOCK_MAX_THREADS);

  *signal_length = strand_types & FORWARD_STRAND && strand_types & COMPLEMENT_STRAND ? 2*(rna_length - (RNA_KMER_LENGTH - 1)) : (rna_length - (RNA_KMER_LENGTH - 1));

  short *global_gpu_mem_output_signal;
  cudaMalloc(&global_gpu_mem_output_signal, sizeof(short)*(*signal_length)); CUERR("Allocating GPU memory for short representation of RNA");
  short *cpu_mem_output_signal = (short *) std::malloc(sizeof(short)*(*signal_length)); 
  if(cpu_mem_output_signal == 0){
    std::cerr << "Error allocating CPU memory for short representation of RNA (" << sizeof(short)*(*signal_length) << "bytes), aborting."<< std::endl;
    exit(1);
  }

  char *gpu_mem_rna;
  cudaMalloc(&gpu_mem_rna, sizeof(char)*rna_length); CUERR("Allocating GPU memory for char representation of RNA");
  cudaMemcpy(gpu_mem_rna, cpu_mem_rna, sizeof(char)*rna_length, cudaMemcpyHostToDevice); CUERR("Copying RNA from CPU to GPU");

  rna2signal<<<num_blocks,CUDA_THREADBLOCK_MAX_THREADS>>>(gpu_mem_rna, rna_length, signal_type, strand_types, global_gpu_mem_output_signal); CUERR("Executing RNA to signal conversion on the GPU");

  cudaMemcpy(cpu_mem_output_signal, global_gpu_mem_output_signal, sizeof(short)*(*signal_length), cudaMemcpyDeviceToHost); CUERR("Copying short representation of RNA from GPU to CPU");
  cudaFree(global_gpu_mem_output_signal);

  return cpu_mem_output_signal;
}

__host__ 
short* convert_dna_to_shorts(char *cpu_mem_dna, long dna_length, short signal_type, short strand_types, long *signal_length){
  int num_blocks = DIV_ROUNDUP(dna_length, CUDA_THREADBLOCK_MAX_THREADS);

  *signal_length = strand_types & FORWARD_STRAND && strand_types & COMPLEMENT_STRAND ? 2*(dna_length - (DNA_KMER_LENGTH - 1)) : (dna_length - (DNA_KMER_LENGTH - 1));

  short *global_gpu_mem_output_signal;
  cudaMalloc(&global_gpu_mem_output_signal, sizeof(short)*(*signal_length)); CUERR("Allocating GPU memory for short representation of DNA");
  short *cpu_mem_output_signal = (short *) std::malloc(sizeof(short)*(*signal_length)); 
  if(cpu_mem_output_signal == 0){
     std::cerr << "Error allocating CPU memory for short representation of DNA (" << sizeof(short)*(*signal_length) << "bytes), aborting."<< std::endl;
    exit(1);
  }

  char *gpu_mem_dna;
  cudaMalloc(&gpu_mem_dna, sizeof(char)*dna_length); CUERR("Allocating GPU memory for char representation of DNA");
  cudaMemcpy(gpu_mem_dna, cpu_mem_dna, sizeof(char)*dna_length, cudaMemcpyHostToDevice); CUERR("Copying DNA from CPU to GPU");

  dna2signal<<<num_blocks,CUDA_THREADBLOCK_MAX_THREADS>>>(gpu_mem_dna, dna_length, signal_type, strand_types, global_gpu_mem_output_signal); CUERR("Executing DNA to signal conversion on the GPU");

  cudaMemcpy(cpu_mem_output_signal, global_gpu_mem_output_signal, sizeof(short)*(*signal_length), cudaMemcpyDeviceToHost); CUERR("Copying short representation of DNA from GPU to CPU");
  cudaFree(global_gpu_mem_output_signal);
  
  return cpu_mem_output_signal;
}
#endif