CountEstimate: 90982364, registers: [15, 17, 15, 15, 16, 16, 14, 17, 15, 17, 19, 18, 14, 15, 17, 16, 16, 16, 17, 17, 13, 16, 17, 15, 15, 15, 15, 13, 19, 14, 14, 16, 17, 16, 15, 14, 14, 17, 13, 16, 16, 17, 16, 18, 16, 18, 19, 17, 17, 15, 15, 15, 16, 18, 16, 17, 16, 14, 14, 16, 15, 16, 19, 15, 14, 20, 15, 13, 19, 16, 13, 15, 15, 17, 16, 14, 16, 14, 17, 16, 14, 16, 14, 15, 13, 18, 19, 13, 15, 16, 17, 20, 16, 15, 15, 16, 16, 14, 18, 14, 14, 19, 13, 18, 16, 14, 16, 16, 15, 14, 14, 18, 13, 19, 20, 14, 16, 13, 16, 18, 15, 15, 15, 15, 13, 17, 16, 16, 15, 19, 16, 16, 20, 15, 14, 17, 18, 15, 15, 14, 14, 17, 15, 16, 17, 18, 16, 14, 16, 14, 15, 15, 21, 15, 16, 19, 16, 13, 13, 14, 15, 14, 16, 14, 14, 18, 19, 14, 16, 15, 14, 14, 13, 16, 14, 15, 16, 18, 14, 16, 17, 13, 16, 19, 15, 14, 18, 15, 14, 14, 15, 15, 20, 15, 14, 17, 15, 18, 15, 15, 17, 14, 17, 14, 13, 15, 18, 16, 16, 16, 15, 15, 14, 16, 14, 14, 17, 17, 14, 15, 17, 15, 14, 14, 13, 14, 15, 15, 16, 15, 15, 17, 16, 15, 19, 14, 23, 15, 15, 15, 14, 15, 15, 13, 16, 17, 12, 14, 21, 17, 14, 17, 14, 15, 15, 16, 15, 18, 14, 15, 16, 14, 13, 15, 19, 19, 15, 15, 15, 15, 15, 19, 16, 15, 18, 17, 21, 15, 19, 22, 15, 14, 17, 14, 15, 20, 16, 16, 17, 14, 18, 13, 14, 18, 18, 14, 14, 13, 16, 15, 16, 15, 17, 15, 14, 15, 21, 19, 15, 16, 15, 15, 16, 17, 16, 14, 19, 15, 15, 14, 17, 15, 15, 15, 14, 14, 13, 18, 23, 15, 19, 13, 17, 16, 15, 20, 18, 14, 14, 14, 16, 16, 15, 17, 16, 14, 14, 14, 14, 16, 14, 15, 18, 16, 13, 14, 15, 15, 15, 19, 16, 18, 16, 15, 21, 16, 15, 18, 13, 18, 19, 16, 16, 14, 14, 15, 17, 14, 16, 17, 15, 21, 15, 15, 16, 21, 17, 16, 15, 15, 14, 15, 14, 19, 15, 15, 14, 17, 13, 15, 15, 18, 14, 21, 16, 18, 17, 15, 14, 13, 18, 18, 15, 17, 17, 14, 17, 14, 17, 18, 14, 16, 14, 17, 16, 15, 17, 18, 18, 17, 16, 15, 15, 15, 14, 16, 14, 17, 15, 19, 18, 18, 15, 13, 14, 18, 15, 16, 14, 16, 16, 17, 13, 17, 19, 15, 20, 14, 15, 14, 17, 14, 29, 16, 13, 16, 12, 14, 18, 17, 18, 18, 14, 15, 15, 20, 17, 14, 18, 15, 16, 15, 14, 17, 17, 17, 15, 19, 16, 15, 15, 15, 17, 18, 15, 16, 14, 14, 16, 16, 14, 14, 15, 15, 14, 14, 17, 14, 15, 15, 15, 17, 15, 17, 14, 15, 16, 17, 17, 14, 20, 18, 16, 15, 18, 16, 15, 17, 15, 14, 15, 14, 16, 16, 14, 18, 15, 16, 14, 15, 13, 13, 13, 15, 16, 16, 16, 15, 15, 15, 16, 15, 20, 16, 14, 16, 16, 13, 16, 17, 16, 15, 16, 14, 16, 13, 19, 18, 15, 14, 16, 14, 15, 20, 16, 17, 14, 17, 17, 15, 14, 15, 14, 13, 14, 14, 13, 17, 17, 18, 15, 15, 18, 16, 16, 15, 17, 16, 22, 14, 14, 16, 16, 16, 15, 13, 15, 14, 16, 15, 21, 16, 15, 17, 18, 17, 16, 17, 17, 15, 14, 16, 14, 14, 16, 19, 14, 15, 14, 16, 17, 14, 13, 15, 14, 15, 14, 17, 16, 20, 15, 17, 15, 14, 17, 14, 15, 14, 16, 21, 17, 16, 14, 14, 14, 16, 15, 16, 16, 15, 15, 15, 15, 15, 16, 16, 16, 15, 16, 17, 15, 14, 13, 14, 15, 15, 16, 17, 16, 16, 16, 14, 14, 14, 20, 16, 15, 14, 16, 20, 19, 16, 14, 14, 15, 14, 14, 23, 14, 15, 14, 15, 14, 14, 17, 16, 14, 17, 15, 16, 14, 16, 13, 16, 20, 14, 17, 18, 16, 16, 18, 14, 14, 16, 15, 15, 15, 16, 15, 17, 19, 14, 14, 19, 18, 17, 15, 16, 18, 17, 16, 15, 14, 15, 19, 17, 16, 16, 17, 16, 17, 13, 16, 13, 15, 18, 14, 15, 15, 16, 17, 14, 16, 18, 16, 15, 17, 16, 13, 16, 15, 14, 18, 16, 16, 14, 16, 14, 15, 16, 18, 20, 15, 17, 15, 17, 19, 13, 16, 17, 15, 15, 13, 14, 15, 16, 16, 14, 14, 16, 16, 16, 14, 14, 17, 13, 16, 13, 14, 13, 14, 16, 15, 16, 14, 16, 14, 17, 14, 14, 18, 15, 16, 14, 19, 17, 17, 16, 15, 13, 13, 16, 15, 16, 16, 17, 16, 15, 16, 18, 21, 16, 17, 17, 17, 17, 14, 15, 18, 16, 12, 14, 14, 17, 14, 16, 15, 14, 15, 15, 16, 15, 15, 15, 14, 14, 16, 17, 14, 18, 18, 16, 17, 15, 16, 13, 14, 17, 14, 16, 18, 13, 15, 15, 14, 15, 13, 17, 15, 17, 19, 16, 14, 17, 12, 20, 15, 18, 17, 14, 18, 17, 16, 15, 17, 15, 15, 15, 15, 14, 20, 17, 13, 15, 15, 16, 15, 17, 18, 13, 14, 14, 17, 16, 16, 15, 15, 16, 16, 14, 15, 15, 14, 19, 14, 16, 17, 15, 17, 16, 14, 14, 16, 14, 17, 14, 16, 14, 17, 13, 16, 19, 17, 18, 17, 14, 14, 14, 15, 16, 18, 17, 16, 15, 15, 14, 13, 17, 14, 15, 13, 18, 15, 15, 19, 19, 16, 14, 17, 16, 15, 14, 15, 14, 15, 13, 13, 15, 14, 14, 14, 14, 19, 15, 17, 14, 14, 20, 17, 18, 14, 15, 16, 15, 15, 16, 17, 16, 15, 14, 18, 15, 16, 16, 17, 16, 15, 17, 15, 15, 17, 17, 15, 21, 16, 15, 17, 19, 13, 15, 15, 16, 16, 17, 15, 14, 14, 16, 14, 15, 13, 20, 17, 15, 16, 19, 15, 17, 15, 16, 16, 19, 16, 15, 14, 15, 17, 15, 16, 17, 16, 14, 14, 21, 16, 15, 14, 14, 14, 16, 14, 18, 15, 14, 14, 15, 17, 19, 17, 14, 19, 17, 20, 17, 17, 15, 12, 17, 16, 15, 16, 18, 18, 15, 15, 14, 15, 19, 16, 17, 15, 13, 13, 15, 14, 15, 15, 13, 15, 17, 15, 16, 14, 19, 14, 17, 15, 14, 15, 17, 14, 17, 16, 15, 16, 17, 14, 16, 15, 15, 14, 15, 15, 15, 15, 16, 15, 17, 15, 14, 17, 14, 18, 17, 17, 13, 16, 15, 14, 14, 14, 13, 16, 16, 14, 12, 17, 15, 14, 15, 16, 15, 17, 16, 16, 16, 15, 18, 13, 16, 14, 14, 14, 16, 15, 21, 17, 17, 14, 16, 15, 14, 14, 18, 16, 14, 15, 19, 15, 16, 12, 13, 16, 16, 14, 19, 15, 16, 15, 15, 20, 16, 16, 15, 14, 14, 17, 16, 14, 14, 16, 15, 17, 14, 15, 16, 16, 14, 14, 16, 17, 14, 15, 16, 17, 16, 16, 14, 14, 14, 15, 17, 16, 14, 15, 14, 13, 14, 17, 15, 14, 18, 14, 15, 13, 15, 13, 15, 15, 17, 17, 16, 15, 15, 15, 13, 16, 17, 14, 16, 15, 15, 16, 13, 15, 14, 15, 15, 14, 14, 14, 17, 16, 18, 13, 14, 14, 18, 14, 13, 16, 15, 14, 17, 15, 20, 16, 16, 14, 19, 15, 16, 19, 15, 19, 18, 15, 14, 12, 13, 20, 15, 15, 18, 14, 15, 14, 14, 22, 17, 16, 23, 15, 13, 16, 15, 16, 15, 16, 13, 20, 15, 15, 14, 19, 21, 16, 16, 14, 15, 14, 15, 15, 15, 19, 16, 15, 18, 16, 15, 16, 18, 13, 15, 16, 17, 15, 15, 14, 18, 16, 14, 16, 15, 16, 18, 14, 17, 16, 15, 14, 14, 18, 13, 18, 16, 15, 14, 16, 17, 13, 16, 27, 15, 16, 15, 19, 16, 15, 18, 16, 15, 14, 15, 14, 15, 19, 18, 13, 17, 17, 16, 19, 13, 15, 16, 17, 17, 14, 16, 15, 15, 17, 15, 14, 13, 15, 14, 13, 16, 13, 17, 15, 17, 14, 16, 14, 16, 16, 14, 17, 14, 16, 17, 15, 14, 18, 17, 15, 16, 14, 16, 14, 15, 18, 13, 14, 14, 14, 15, 21, 16, 14, 17, 15, 17, 17, 14, 15, 16, 17, 15, 17, 18, 17, 15, 15, 16, 16, 15, 17, 15, 14, 14, 15, 16, 15, 15, 25, 20, 17, 14, 16, 14, 16, 14, 22, 15, 13, 18, 14, 17, 16, 17, 17, 15, 17, 19, 15, 14, 15, 14, 14, 17, 14, 15, 17, 18, 15, 16, 15, 14, 15, 14, 17, 15, 16, 19, 19, 19, 14, 16, 18, 15, 13, 15, 17, 22, 15, 17, 19, 15, 14, 14, 16, 18, 18, 15, 17, 15, 14, 17, 16, 16, 17, 15, 16, 15, 15, 14, 14, 17, 14, 18, 16, 17, 18, 15, 15, 17, 14, 15, 16, 21, 15, 16, 17, 14, 13, 17, 17, 14, 18, 19, 15, 18, 15, 15, 13, 14, 16, 19, 14, 13, 16, 19, 19, 15, 16, 15, 16, 20, 15, 14, 16, 14, 15, 17, 17, 17, 15, 16, 16, 14, 15, 16, 16, 14, 14, 16, 17, 15, 19, 19, 16, 14, 13, 17, 16, 15, 14, 15, 14, 14, 15, 18, 17, 15, 15, 21, 17, 16, 16, 17, 14, 16, 15, 19, 15, 15, 14, 17, 14, 14, 14, 14, 16, 16, 15, 15, 17, 17, 16, 16, 16, 14, 14, 15, 21, 17, 16, 16, 16, 15, 15, 20, 18, 16, 15, 15, 14, 17, 18, 17, 14, 22, 15, 14, 17, 14, 20, 15, 14, 16, 13, 16, 14, 14, 14, 14, 14, 17, 15, 16, 13, 16, 16, 21, 18, 18, 15, 15, 14, 16, 15, 19, 16, 15, 14, 15, 17, 14, 17, 15, 13, 15, 17, 19, 15, 14, 14, 16, 18, 16, 17, 19, 18, 15, 19, 13, 19, 16, 17, 14, 14, 17, 14, 13, 17, 17, 14, 14, 14, 18, 16, 14, 17, 14, 17, 14, 14, 18, 14, 16, 15, 16, 19, 16, 16, 15, 15, 18, 17, 17, 18, 15, 13, 13, 16, 16, 15, 16, 18, 13, 14, 15, 19, 15, 15, 17, 16, 20, 17, 16, 14, 15, 13, 16, 15, 15, 19, 21, 15, 19, 19, 14, 18, 15, 14, 14, 15, 15, 15, 15, 13, 15, 15, 15, 14, 17, 15, 15, 17, 14, 17, 15, 17, 15, 15, 17, 16, 17, 14, 19, 15, 14, 15, 12, 15, 14, 13, 16, 14, 14, 24, 14, 16, 17, 17, 13, 16, 14, 19, 15, 15, 18, 18, 15, 15, 16, 14, 16, 18, 15, 15, 18, 14, 15, 13, 16, 14, 15, 14, 16, 14, 14, 18, 15, 14, 17, 13, 18, 14, 14, 15, 15, 15, 15, 15, 15, 19, 20, 16, 16, 13, 19, 18, 16, 17, 17, 13, 15, 14, 15, 16, 22, 17, 14, 19, 17, 17, 14, 17, 17, 14, 14, 14, 16, 14, 19, 18, 16, 17, 14, 16, 14, 16, 14, 17, 15, 15, 14, 20, 16, 19, 18, 14, 15, 13, 15, 17, 15, 15, 15, 18, 16, 15, 16, 15, 14, 16, 16, 17, 16, 14, 16, 13, 14, 13, 14, 15, 13, 15, 16, 14, 15, 15, 20, 16, 14, 15, 14, 16, 12, 16, 15, 16, 16, 17, 16, 15, 16, 18, 15, 20, 16, 20, 14, 14, 15, 17, 13, 16, 16, 14, 15, 14, 17, 15, 14, 16, 23, 18, 15, 14, 15, 16, 15, 13, 16, 14, 15, 20, 21, 15, 17, 18, 15, 15, 17, 16, 16, 15, 18, 14, 16, 16, 13, 23, 19, 20, 17, 17, 14, 14, 14, 14, 15, 15, 16, 17, 17, 14, 19, 15, 17, 15, 16, 18, 15, 14, 16, 15, 14, 14, 15, 16, 15, 15, 18, 16, 21, 17, 16, 17, 14, 14, 19, 13, 15, 14, 14, 17, 17, 14, 14, 16, 17, 16, 16, 17, 15, 17, 15, 19, 15, 15, 16, 16, 18, 16, 15, 19, 16, 17, 15, 18, 16, 14, 17, 21, 21, 15, 18, 18, 17, 14, 14, 14, 15, 17, 14, 15, 16, 17, 16, 15, 14, 15, 15, 15, 16, 16, 17, 16, 18, 13, 15, 17, 17, 17, 15, 14, 14, 15, 14, 14, 17, 14, 14, 19, 15, 18, 16, 15, 14, 16, 17, 17, 14, 15, 17, 15, 14, 13, 18, 15, 16, 14, 14, 14, 14, 19, 15, 15, 17, 14, 16, 13, 16, 18, 18, 17, 14, 14, 15, 15, 16, 17, 14, 16, 15, 15, 17, 17, 17, 15, 14, 15, 16, 15, 16, 16, 20, 17, 17, 15, 13, 15, 14, 18, 13, 17, 14, 13, 16, 15, 15, 17, 14, 22, 15, 16, 15, 20, 16, 18, 17, 14, 14, 14, 15, 25, 15, 14, 15, 22, 14, 17, 15, 13, 16, 15, 15, 17, 16, 14, 15, 15, 16, 14, 15, 17, 18, 17, 16, 16, 16, 16, 17, 14, 15, 17, 16, 14, 19, 14, 17, 14, 14, 13, 15, 17, 15, 20, 17, 18, 16, 17, 17, 14, 13, 16, 13, 17, 16, 16, 16, 15, 16, 15, 15, 14, 14, 15, 14, 14, 19, 14, 14, 17, 18, 24, 15, 15, 16, 16, 14, 15, 18, 17, 13, 16, 16, 16, 16, 14, 14, 22, 16, 18, 16, 16, 18, 17, 15, 17, 15, 14, 14, 15, 18, 17, 17, 15, 14, 18, 18, 15, 19, 15, 16, 17, 14, 16, 14, 14, 15, 16, 17, 19, 15, 14, 16, 16, 16, 17, 14, 15, 15, 16, 17, 16, 15, 18, 12, 16, 15, 14, 15, 15, 16, 15, 15, 18, 19, 14, 14, 14, 14, 15, 17, 15, 13, 14, 15, 16, 15, 19, 16, 14, 14, 14, 13, 17, 17, 18, 16, 17, 16, 14, 18, 15, 15, 13, 16, 21, 13, 20, 14, 16, 16, 16, 16, 16, 18, 15, 15, 16, 16, 15, 17, 17, 15, 15, 18, 16, 17, 16, 18, 13, 19, 15, 19, 15, 14, 16, 16, 19, 14, 18, 15, 17, 19, 16, 13, 16, 17, 19, 17, 15, 16, 16, 20, 15, 20, 14, 14, 17, 13, 14, 14, 16, 15, 19, 17, 15, 16, 17, 15, 16, 14, 14, 16, 15, 14, 15, 15, 18, 17, 19, 16, 17, 14, 19, 15, 17, 15, 19, 16, 16, 16, 16, 16, 17, 15, 16, 14, 16, 16, 15, 15, 16, 17, 15, 15, 16, 17, 17, 15, 15, 15, 16, 15, 15, 13, 23, 18, 16, 14, 13, 15, 16, 17, 15, 16, 15, 17, 15, 14, 17, 14, 14, 15, 18, 15, 15, 14, 14, 16, 18, 14, 15, 14, 17, 14, 16, 14, 14, 15, 16, 14, 15, 17, 17, 18, 16, 17, 17, 15, 21, 14, 15, 16, 17, 16, 13, 15, 14, 16, 14, 15, 14, 14, 15, 16, 18, 14, 17, 15, 18, 15, 16, 15, 16, 18, 14, 14, 15, 15, 19, 12, 16, 16, 16, 14, 14, 20, 16, 18, 16, 15, 16, 15, 19, 17, 16, 15, 16, 14, 15, 21, 15, 18, 14, 15, 14, 13, 18, 17, 15, 15, 16, 15, 17, 16, 15, 15, 16, 19, 15, 17, 15, 14, 15, 15, 13, 15, 14, 16, 15, 18, 12, 17, 15, 14, 22, 16, 16, 15, 15, 16, 14, 15, 19, 16, 14, 15, 15, 15, 18, 18, 15, 14, 15, 18, 16, 17, 14, 17, 17, 16, 19, 14, 15, 15, 15, 15, 17, 15, 15, 23, 15, 16, 15, 14, 16, 17, 15, 18, 14, 18, 14, 14, 17, 18, 15, 14, 14, 15, 19, 17, 16, 15, 17, 18, 15, 15, 18, 13, 18, 17, 15, 16, 14, 16, 19, 17, 21, 18, 14, 13, 15, 18, 18, 17, 15, 14, 14, 17, 14, 16, 15, 16, 17, 17, 14, 15, 14, 16, 19, 17, 17, 14, 18, 17, 18, 16, 17, 14, 15, 20, 15, 15, 22, 14, 14, 16, 14, 14, 14, 14, 18, 17, 15, 18, 15, 18, 18, 14, 14, 15, 20, 16, 16, 14, 19, 13, 14, 14, 16, 17, 18, 14, 18, 15, 15, 14, 18, 16, 14, 17, 16, 15, 17, 14, 16, 15, 15, 15, 15, 16, 14, 16, 14, 15, 16, 15, 19, 20, 14, 14, 17, 18, 14, 21, 14, 14, 15, 15, 15, 18, 16, 15, 17, 15, 17, 19, 14, 16, 15, 16, 15, 15, 17, 14, 20, 16, 15, 15, 16, 17, 14, 15, 18, 15, 15, 14, 17, 15, 18, 13, 14, 15, 15, 16, 17, 14, 14, 14, 15, 23, 13, 14, 18, 13, 14, 14, 14, 15, 17, 16, 16, 15, 16, 17, 15, 15, 18, 18, 13, 15, 15, 14, 16, 15, 18, 19, 15, 14, 18, 18, 14, 15, 15, 17, 13, 14, 16, 24, 14, 17, 13, 15, 19, 19, 15, 13, 17, 15, 15, 20, 18, 15, 16, 15, 13, 14, 15, 14, 15, 14, 16, 17, 15, 16, 13, 15, 14, 16, 15, 17, 15, 27, 20, 16, 17, 15, 16, 12, 16, 13, 19, 15, 13, 17, 18, 14, 15, 16, 18, 16, 17, 17, 14, 16, 14, 15, 17, 16, 13, 17, 14, 19, 15, 18, 15, 16, 15, 15, 17, 15, 16, 15, 17, 15, 14, 14, 15, 16, 16, 18, 14, 13, 14, 15, 14, 14, 20, 14, 16, 14, 14, 16, 14, 17, 14, 15, 18, 18, 16, 13, 18, 16, 16, 17, 20, 16, 16, 16, 16, 16, 16, 15, 18, 13, 16, 14, 15, 14, 17, 18, 18, 15, 18, 20, 16, 16, 14, 16, 16, 15, 14, 17, 17, 15, 16, 13, 15, 18, 14, 15, 18, 14, 14, 14, 17, 15, 17, 15, 14, 16, 14, 18, 15, 19, 15, 15, 18, 14, 16, 16, 15, 16, 14, 16, 15, 18, 21, 15, 15, 14, 19, 15, 17, 17, 15, 18, 17, 17, 17, 16, 14, 16, 15, 14, 16, 16, 16, 14, 16, 17, 18, 15, 16, 14, 15, 16, 14, 20, 15, 14, 15, 17, 15, 17, 14, 14, 15, 14, 16, 14, 16, 13, 15, 17, 13, 16, 13, 20, 14, 15, 16, 18, 17, 14, 15, 16, 17, 18, 17, 14, 19, 15, 17, 15, 20, 17, 15, 15, 18, 14, 15, 15, 14, 14, 14, 19, 15, 15, 16, 17, 16, 15, 15, 16, 15, 13, 17, 20, 15, 18, 13, 20, 20, 15, 18, 15, 18, 14, 14, 18, 15, 15, 15, 15, 13, 14, 14, 17, 14, 16, 16, 17, 18, 16, 15, 15, 16, 14, 17, 16, 17, 15, 14, 16, 15, 15, 16, 14, 18, 16, 18, 15, 16, 15, 15, 14, 15, 14, 13, 14, 20, 14, 16, 15, 14, 18, 14, 20, 17, 13, 17, 14, 15, 16, 14, 14, 17, 15, 14, 16, 15, 13, 16, 14, 14, 16, 16, 15, 13, 15, 15, 16, 15, 15, 14, 18, 19, 15, 14, 15, 17, 28, 13, 18, 18, 17, 21, 20, 17, 14, 15, 14, 22, 15, 16, 17, 16, 17, 16, 14, 14, 16, 14, 14, 13, 18, 15, 14, 16, 14, 14, 14, 13, 13, 15, 15, 14, 17, 14, 14, 20, 15, 16, 14, 17, 16, 23, 18, 14, 14, 14, 15, 15, 14, 15, 15, 14, 18, 14, 16, 17, 14, 16, 18, 15, 14, 21, 15, 15, 15, 13, 14, 16, 13, 17, 14, 14, 16, 22, 18, 15, 15, 16, 15, 14, 15, 16, 14, 14, 17, 15, 14, 14, 19, 14, 13, 14, 17, 14, 16, 18, 16, 17, 13, 16, 15, 13, 18, 17, 14, 15, 14, 15, 18, 15, 16, 18, 15, 14, 13, 15, 17, 15, 15, 13, 14, 15, 16, 15, 16, 15, 14, 15, 14, 16, 19, 15, 15, 13, 18, 13, 15, 19, 14, 18, 17, 14, 13, 16, 19, 14, 15, 14, 14, 15, 16, 14, 15, 15, 18, 15, 16, 16, 18, 16, 16, 16, 16, 20, 15, 14, 16, 16, 16, 14, 17, 16, 14, 15, 17, 15, 17, 15, 18, 16, 15, 17, 15, 17, 14, 16, 18, 19, 16, 16, 15, 14, 14, 16, 15, 15, 14, 15, 16, 17, 18, 15, 16, 15, 15, 18, 14, 16, 14, 18, 14, 14, 16, 20, 15, 17, 18, 13, 16, 16, 15, 14, 18, 18, 18, 16, 14, 20, 17, 13, 16, 15, 18, 15, 15, 15, 13, 15, 13, 18, 16, 14, 15, 20, 14, 15, 15, 17, 15, 17, 13, 17, 14, 19, 15, 12, 15, 17, 19, 15, 17, 14, 21, 15, 17, 14, 19, 13, 19, 14, 14, 17, 18, 16, 14, 14, 15, 15, 17, 17, 19, 22, 18, 15, 15, 14, 14, 15, 15, 16, 17, 16, 15, 15, 16, 14, 15, 17, 16, 18, 17, 14, 15, 22, 17, 21, 19, 16, 14, 17, 13, 20, 15, 16, 13, 13, 16, 14, 13, 22, 15, 15, 13, 14, 14, 14, 19, 14, 16, 13, 15, 18, 17, 17, 17, 13, 13, 15, 21, 14, 15, 15, 16, 19, 15, 13, 15, 17, 15, 16, 15, 16, 16, 14, 15, 13, 16, 13, 19, 14, 16, 16, 17, 14, 15, 16, 15, 17, 16, 18, 14, 16, 22, 16, 16, 14, 15, 16, 14, 15, 14, 16, 17, 16, 14, 19, 15, 15, 17, 17, 15, 15, 16, 17, 21, 16, 18, 16, 15, 16, 21, 16, 17, 18, 17, 14, 16, 17, 14, 17, 13, 14, 16, 15, 15, 16, 17, 18, 14, 18, 14, 17, 14, 16, 17, 15, 14, 16, 14, 16, 18, 17, 15, 17, 17, 14, 16, 14, 13, 15, 14, 17, 14, 14, 17, 14, 15, 14, 16, 14, 13, 14, 15, 14, 14, 15, 13, 15, 18, 17, 17, 19, 14, 13, 13, 15, 13, 16, 14, 19, 17, 14, 15, 15, 14, 13, 15, 15, 20, 14, 20, 17, 20, 19, 17, 15, 15, 15, 14, 13, 13, 16, 14, 16, 14, 18, 14, 17, 16, 14, 14, 15, 13, 14, 18, 16, 15, 15, 17, 15, 15, 19, 13, 21, 14, 16, 14, 18, 15, 15, 15, 16, 19, 14, 16, 14, 16, 18, 13, 15, 18, 16, 15, 14, 21, 18, 17, 16, 15, 15, 15, 16, 15, 17, 15, 15, 16, 18, 16, 17, 15, 14, 16, 16, 19, 14, 13, 15, 16, 16, 14, 15, 22, 19, 15, 17, 15, 23, 14, 18, 14, 15, 15, 19, 15, 14, 16, 17, 15, 18, 15, 17, 13, 15, 20, 14, 16, 15, 15, 14, 16, 15, 16, 20, 18, 18, 15, 19, 17, 18, 15, 13, 16, 15, 16, 17, 15, 14, 15, 17, 22, 18, 13, 20, 14, 15, 13, 16, 25, 14, 17, 15, 16, 14, 14, 14, 18, 15, 15, 14, 15, 18, 18, 15, 16, 15, 13, 16, 17, 14, 16, 15, 14, 16, 17, 16, 17, 17, 22, 19, 13, 19, 19, 17, 14, 17, 15, 16, 18, 15, 14, 15, 17, 15, 15, 13, 14, 15, 17, 22, 15, 15, 16, 16, 15, 16, 17, 16, 16, 15, 13, 16, 18, 15, 14, 15, 14, 17, 14, 16, 16, 16, 17, 19, 15, 15, 16, 16, 15, 15, 18, 15, 16, 15, 14, 16, 14, 15, 16, 20, 14, 15, 16, 15, 17, 14, 17, 16, 13, 17, 19, 14, 14, 17, 16, 17, 14, 19, 18, 19, 16, 15, 19, 16, 16, 14, 17, 14, 18, 14, 14, 14, 14, 18, 16, 17, 21, 16, 15, 14, 13, 14, 16, 13, 15, 16, 15, 18, 14, 16, 16, 19, 15, 15, 13, 14, 15, 18, 18, 16, 16, 14, 14, 17, 15, 18, 16, 17, 17, 16, 16, 19, 15, 16, 14, 15, 18, 18, 15, 15, 17, 16, 19, 18, 17, 18, 17, 15, 14, 14, 17, 20, 17, 18, 14, 13, 15, 15, 14, 18, 19, 17, 17, 15, 15, 18, 14, 14, 19, 21, 20, 14, 16, 16, 14, 17, 16, 14, 16, 20, 15, 15, 16, 16, 14, 14, 21, 15, 17, 16, 18, 13, 16, 18, 15, 14, 16, 14, 15, 15, 17, 25, 18, 14, 15, 16, 15, 14, 19, 16, 17, 14, 15, 15, 16, 14, 14, 17, 17]
CountEstimate: 45485278, registers: [16, 17, 14, 17, 15, 16, 15, 17, 16, 17, 18, 18, 17, 15, 18, 16, 15, 14, 15, 15, 14, 21, 14, 15, 15, 14, 15, 14, 20, 16, 14, 17, 15, 14, 15, 14, 18, 13, 17, 17, 16, 15, 18, 16, 15, 14, 17, 17, 16, 14, 13, 15, 15, 15, 15, 14, 15, 16, 15, 15, 16, 14, 19, 19, 14, 13, 18, 17, 19, 15, 13, 19, 16, 17, 16, 14, 17, 16, 17, 16, 15, 15, 15, 14, 14, 18, 19, 16, 16, 15, 18, 14, 16, 17, 16, 16, 16, 17, 15, 16, 16, 16, 15, 18, 13, 16, 17, 13, 16, 18, 17, 14, 17, 15, 16, 16, 14, 17, 14, 14, 15, 17, 20, 16, 15, 15, 16, 19, 16, 17, 16, 14, 16, 15, 14, 18, 18, 17, 18, 18, 20, 14, 14, 13, 14, 13, 15, 18, 15, 15, 15, 14, 15, 15, 14, 16, 16, 14, 15, 16, 15, 16, 16, 19, 14, 15, 19, 15, 14, 16, 17, 16, 18, 16, 14, 17, 16, 17, 17, 15, 16, 15, 16, 19, 14, 14, 14, 19, 16, 18, 15, 15, 20, 16, 15, 17, 16, 14, 14, 14, 17, 14, 17, 16, 17, 16, 18, 16, 15, 16, 17, 17, 14, 16, 17, 14, 15, 14, 17, 13, 16, 13, 16, 15, 18, 15, 15, 15, 15, 15, 16, 14, 14, 14, 19, 15, 16, 16, 15, 12, 15, 14, 13, 14, 14, 17, 16, 15, 15, 17, 18, 14, 15, 14, 15, 15, 15, 17, 13, 15, 16, 15, 13, 17, 14, 19, 16, 21, 16, 14, 14, 16, 14, 15, 20, 18, 17, 15, 16, 22, 14, 15, 15, 13, 21, 20, 16, 26, 16, 24, 14, 18, 16, 15, 18, 14, 13, 17, 19, 16, 17, 13, 15, 14, 18, 15, 21, 18, 15, 16, 15, 14, 15, 15, 17, 15, 16, 13, 17, 16, 14, 15, 16, 15, 17, 14, 17, 17, 15, 14, 19, 16, 14, 18, 16, 16, 14, 15, 14, 15, 20, 16, 15, 15, 14, 15, 17, 17, 17, 14, 13, 16, 15, 14, 16, 13, 15, 17, 16, 14, 16, 14, 14, 14, 21, 13, 16, 17, 13, 15, 15, 14, 13, 15, 16, 16, 15, 15, 16, 14, 14, 21, 19, 13, 15, 15, 17, 15, 15, 13, 16, 16, 13, 15, 15, 17, 14, 16, 14, 15, 15, 18, 14, 17, 16, 18, 16, 14, 15, 16, 18, 16, 15, 17, 20, 14, 19, 18, 13, 17, 19, 16, 13, 17, 17, 16, 16, 16, 14, 17, 18, 15, 14, 14, 15, 17, 14, 12, 16, 19, 13, 14, 14, 14, 15, 14, 14, 15, 14, 15, 16, 17, 14, 19, 19, 15, 18, 15, 16, 16, 17, 15, 14, 19, 14, 16, 14, 15, 13, 16, 14, 15, 15, 15, 14, 18, 20, 16, 16, 14, 17, 14, 21, 17, 16, 18, 17, 16, 15, 15, 14, 14, 16, 13, 13, 15, 14, 17, 13, 16, 15, 15, 15, 15, 16, 16, 16, 17, 15, 14, 14, 17, 15, 15, 14, 15, 15, 15, 18, 14, 20, 15, 13, 15, 18, 15, 16, 19, 15, 17, 15, 15, 15, 16, 14, 14, 15, 16, 15, 15, 16, 18, 14, 15, 17, 14, 15, 15, 15, 14, 16, 15, 14, 19, 15, 17, 17, 14, 18, 17, 16, 13, 16, 15, 14, 14, 18, 15, 16, 14, 16, 15, 15, 15, 17, 15, 14, 15, 14, 14, 17, 15, 17, 13, 14, 14, 14, 14, 16, 13, 14, 14, 17, 17, 16, 15, 17, 16, 15, 15, 15, 14, 14, 14, 16, 15, 17, 17, 15, 13, 17, 15, 15, 13, 14, 17, 16, 15, 17, 14, 19, 18, 14, 18, 16, 17, 18, 14, 14, 14, 17, 16, 16, 15, 17, 17, 15, 17, 16, 19, 20, 17, 15, 13, 18, 14, 14, 14, 13, 14, 14, 17, 14, 15, 14, 14, 17, 16, 13, 20, 15, 16, 16, 16, 17, 18, 15, 15, 16, 12, 15, 16, 14, 16, 16, 14, 16, 17, 16, 18, 16, 15, 13, 14, 15, 15, 16, 16, 15, 20, 15, 17, 17, 19, 14, 14, 16, 17, 14, 14, 14, 17, 15, 16, 15, 15, 13, 15, 15, 13, 17, 14, 13, 17, 14, 13, 17, 15, 14, 16, 16, 15, 16, 15, 18, 13, 17, 15, 13, 17, 16, 13, 14, 16, 15, 15, 15, 15, 14, 15, 18, 18, 16, 18, 14, 17, 16, 14, 16, 15, 14, 15, 18, 17, 17, 17, 14, 16, 15, 15, 16, 21, 17, 13, 16, 14, 16, 18, 17, 16, 15, 14, 15, 17, 15, 18, 13, 14, 18, 16, 14, 16, 16, 14, 19, 18, 15, 15, 13, 18, 15, 15, 15, 19, 16, 14, 18, 14, 17, 14, 15, 17, 14, 16, 15, 16, 18, 13, 17, 19, 16, 15, 15, 17, 18, 16, 15, 22, 14, 14, 15, 15, 16, 16, 16, 18, 17, 16, 19, 13, 16, 18, 15, 17, 16, 16, 16, 17, 15, 16, 15, 13, 16, 16, 18, 16, 14, 17, 16, 20, 15, 15, 17, 15, 13, 19, 17, 21, 19, 14, 16, 14, 16, 15, 15, 15, 16, 15, 14, 19, 15, 18, 16, 16, 19, 14, 14, 14, 16, 17, 18, 18, 15, 15, 13, 12, 15, 15, 15, 20, 19, 16, 15, 14, 13, 19, 14, 13, 18, 18, 17, 16, 16, 16, 15, 14, 15, 18, 20, 14, 15, 17, 17, 20, 17, 19, 15, 17, 15, 15, 16, 17, 16, 17, 15, 15, 15, 16, 14, 17, 19, 14, 16, 15, 15, 17, 16, 15, 13, 15, 15, 18, 15, 17, 14, 16, 17, 14, 17, 16, 14, 16, 17, 15, 17, 16, 23, 15, 15, 12, 19, 16, 17, 15, 14, 14, 14, 18, 15, 17, 15, 16, 14, 15, 19, 18, 14, 16, 17, 17, 14, 16, 14, 18, 16, 16, 14, 16, 17, 14, 16, 13, 18, 20, 15, 15, 15, 17, 17, 17, 14, 15, 16, 16, 15, 15, 15, 17, 14, 15, 13, 16, 16, 16, 17, 18, 18, 16, 16, 14, 16, 15, 17, 21, 15, 15, 16, 23, 12, 14, 17, 14, 17, 15, 14, 14, 13, 16, 15, 19, 19, 15, 15, 13, 15, 17, 15, 17, 16, 16, 14, 13, 16, 15, 13, 14, 18, 14, 16, 16, 15, 15, 14, 14, 15, 17, 14, 13, 18, 15, 13, 16, 15, 15, 17, 18, 16, 15, 17, 14, 15, 20, 15, 13, 20, 16, 15, 17, 14, 15, 15, 15, 14, 15, 12, 15, 14, 19, 15, 17, 16, 13, 15, 14, 16, 16, 14, 15, 17, 18, 15, 15, 14, 14, 14, 17, 14, 18, 18, 14, 16, 14, 16, 14, 16, 16, 12, 18, 16, 17, 18, 18, 20, 15, 16, 20, 14, 16, 16, 15, 17, 15, 14, 15, 15, 14, 16, 13, 17, 13, 15, 15, 14, 18, 17, 17, 14, 14, 15, 19, 16, 22, 16, 14, 14, 16, 13, 15, 15, 16, 13, 15, 16, 16, 13, 14, 17, 17, 14, 13, 13, 15, 16, 13, 14, 22, 15, 19, 19, 15, 15, 15, 17, 19, 16, 16, 16, 17, 19, 17, 18, 16, 18, 16, 16, 16, 15, 20, 12, 16, 18, 15, 15, 17, 14, 16, 14, 14, 16, 16, 14, 15, 17, 14, 17, 20, 16, 14, 14, 17, 15, 15, 14, 16, 17, 15, 15, 15, 16, 15, 16, 16, 21, 16, 14, 13, 14, 17, 17, 15, 16, 15, 17, 18, 15, 14, 18, 16, 14, 14, 21, 18, 15, 13, 19, 17, 15, 14, 15, 14, 14, 17, 15, 13, 14, 14, 14, 14, 14, 15, 15, 14, 17, 17, 19, 17, 15, 13, 15, 20, 18, 13, 15, 18, 20, 14, 14, 15, 19, 13, 17, 16, 17, 17, 16, 15, 16, 15, 16, 14, 15, 21, 15, 17, 16, 18, 15, 16, 13, 14, 16, 15, 17, 13, 18, 15, 16, 16, 14, 15, 15, 16, 18, 16, 18, 15, 16, 17, 16, 14, 15, 17, 18, 14, 17, 17, 14, 13, 14, 18, 14, 15, 14, 15, 16, 18, 14, 14, 16, 15, 13, 14, 18, 14, 15, 14, 14, 15, 17, 14, 14, 15, 27, 16, 22, 18, 18, 16, 13, 18, 14, 15, 14, 16, 13, 16, 15, 14, 19, 16, 17, 15, 14, 16, 16, 16, 14, 18, 14, 16, 17, 15, 20, 15, 16, 13, 17, 17, 14, 14, 16, 14, 15, 17, 16, 15, 14, 15, 20, 19, 15, 15, 15, 17, 15, 15, 16, 15, 13, 16, 17, 16, 17, 16, 15, 16, 16, 17, 15, 19, 21, 16, 18, 16, 14, 16, 13, 14, 16, 15, 15, 18, 17, 17, 13, 13, 17, 14, 15, 19, 17, 15, 14, 17, 15, 18, 15, 14, 15, 20, 16, 17, 16, 17, 15, 14, 14, 13, 13, 18, 14, 17, 16, 14, 16, 15, 17, 18, 15, 18, 14, 15, 15, 15, 13, 15, 17, 13, 14, 16, 17, 15, 19, 15, 16, 15, 14, 14, 14, 15, 16, 15, 18, 17, 17, 15, 15, 18, 16, 17, 17, 15, 14, 14, 16, 14, 13, 14, 19, 17, 16, 14, 18, 15, 16, 17, 16, 16, 16, 17, 14, 13, 14, 14, 15, 15, 21, 17, 13, 16, 13, 15, 16, 15, 18, 15, 17, 16, 18, 14, 16, 16, 18, 16, 16, 18, 16, 15, 15, 17, 17, 16, 15, 15, 16, 15, 19, 14, 15, 13, 14, 17, 13, 14, 16, 14, 16, 14, 17, 15, 14, 12, 15, 14, 18, 14, 14, 15, 14, 17, 17, 14, 14, 15, 14, 15, 17, 16, 15, 16, 14, 15, 16, 14, 15, 21, 16, 14, 15, 15, 16, 15, 15, 16, 16, 14, 16, 20, 14, 13, 15, 16, 16, 16, 15, 14, 13, 15, 17, 13, 16, 15, 17, 16, 18, 16, 17, 16, 19, 15, 16, 15, 18, 15, 17, 16, 17, 19, 16, 14, 17, 17, 18, 15, 16, 15, 17, 17, 16, 14, 18, 15, 14, 18, 16, 14, 14, 14, 19, 15, 14, 17, 15, 14, 14, 14, 14, 18, 17, 18, 17, 15, 14, 15, 16, 16, 19, 16, 18, 13, 15, 17, 17, 14, 16, 15, 15, 13, 15, 15, 13, 17, 15, 14, 15, 13, 15, 15, 14, 14, 17, 16, 14, 15, 16, 17, 19, 15, 17, 21, 14, 14, 19, 15, 16, 14, 14, 14, 15, 14, 15, 14, 14, 15, 16, 15, 19, 15, 17, 16, 14, 16, 13, 16, 17, 15, 13, 15, 15, 14, 15, 14, 13, 14, 14, 14, 15, 17, 15, 14, 15, 15, 14, 15, 16, 16, 15, 19, 16, 14, 19, 15, 16, 16, 14, 14, 15, 17, 15, 14, 17, 15, 13, 16, 16, 17, 15, 15, 14, 17, 19, 17, 13, 15, 17, 14, 16, 14, 18, 15, 15, 13, 19, 16, 16, 17, 16, 14, 16, 17, 15, 13, 14, 16, 14, 14, 15, 15, 15, 15, 15, 18, 16, 14, 15, 13, 14, 16, 15, 16, 18, 18, 16, 18, 16, 14, 15, 15, 16, 16, 14, 15, 14, 18, 14, 15, 13, 15, 16, 15, 14, 18, 14, 16, 17, 14, 15, 15, 16, 16, 19, 17, 17, 16, 17, 16, 14, 16, 15, 16, 15, 13, 16, 18, 16, 16, 16, 14, 19, 14, 14, 15, 16, 15, 13, 13, 15, 15, 15, 20, 19, 15, 14, 19, 18, 20, 14, 15, 15, 16, 15, 14, 16, 14, 14, 13, 16, 14, 15, 16, 18, 17, 17, 15, 15, 14, 16, 16, 15, 14, 15, 17, 17, 16, 15, 15, 15, 16, 15, 17, 15, 18, 14, 14, 15, 14, 18, 14, 35, 18, 15, 15, 14, 17, 14, 13, 13, 17, 15, 16, 15, 15, 15, 17, 16, 14, 15, 19, 16, 16, 17, 17, 13, 16, 20, 14, 15, 17, 16, 14, 15, 15, 17, 15, 18, 13, 15, 15, 15, 13, 15, 14, 14, 21, 15, 14, 18, 15, 15, 15, 15, 14, 14, 18, 14, 15, 14, 16, 14, 16, 14, 19, 16, 14, 16, 15, 15, 15, 14, 14, 20, 14, 17, 15, 15, 17, 15, 14, 16, 15, 17, 13, 15, 18, 15, 14, 14, 15, 14, 16, 16, 15, 14, 14, 16, 14, 17, 14, 15, 15, 14, 15, 16, 13, 16, 17, 16, 17, 13, 14, 14, 16, 16, 15, 17, 16, 14, 14, 15, 15, 15, 14, 14, 18, 15, 14, 24, 16, 14, 17, 21, 16, 18, 14, 16, 17, 16, 16, 14, 18, 17, 16, 15, 17, 20, 16, 15, 15, 14, 15, 15, 18, 15, 17, 15, 17, 15, 16, 16, 13, 14, 20, 14, 14, 13, 16, 17, 17, 14, 14, 19, 15, 13, 15, 23, 16, 17, 16, 17, 17, 15, 14, 15, 13, 17, 14, 14, 17, 17, 14, 13, 14, 17, 14, 15, 17, 16, 14, 13, 15, 18, 14, 17, 14, 14, 17, 12, 15, 18, 14, 13, 15, 17, 18, 14, 17, 17, 15, 20, 16, 20, 16, 15, 16, 16, 14, 16, 13, 16, 15, 14, 15, 17, 13, 15, 15, 17, 18, 13, 22, 14, 14, 16, 14, 20, 16, 18, 15, 14, 15, 14, 16, 13, 17, 18, 15, 14, 16, 16, 13, 13, 13, 14, 15, 16, 15, 17, 14, 15, 17, 17, 15, 16, 17, 21, 16, 18, 15, 14, 14, 15, 14, 15, 14, 16, 15, 15, 15, 18, 16, 17, 15, 15, 15, 16, 16, 14, 19, 15, 13, 17, 15, 15, 16, 15, 16, 15, 15, 15, 17, 15, 14, 14, 16, 17, 13, 14, 14, 17, 14, 15, 17, 24, 15, 15, 15, 20, 13, 15, 15, 16, 15, 17, 15, 16, 17, 19, 16, 15, 17, 16, 17, 15, 18, 15, 16, 16, 16, 15, 16, 14, 14, 14, 15, 15, 13, 14, 18, 16, 16, 15, 15, 14, 15, 16, 14, 21, 15, 15, 16, 15, 14, 15, 17, 16, 16, 14, 15, 13, 15, 16, 15, 17, 17, 15, 14, 15, 15, 18, 15, 15, 16, 14, 15, 15, 16, 15, 14, 16, 18, 15, 14, 18, 14, 14, 15, 14, 15, 15, 13, 15, 13, 14, 16, 18, 16, 14, 14, 19, 15, 16, 18, 14, 16, 16, 14, 18, 17, 17, 15, 15, 15, 19, 16, 17, 18, 17, 16, 16, 17, 15, 17, 16, 16, 15, 15, 15, 16, 16, 14, 13, 14, 16, 14, 15, 16, 17, 14, 16, 18, 14, 15, 16, 14, 17, 13, 15, 17, 16, 15, 17, 15, 17, 20, 13, 17, 16, 14, 14, 17, 17, 15, 14, 18, 15, 17, 16, 13, 16, 18, 16, 17, 15, 14, 14, 17, 18, 16, 14, 18, 15, 14, 17, 14, 13, 19, 18, 14, 19, 16, 20, 16, 16, 15, 14, 16, 16, 18, 16, 13, 13, 16, 16, 15, 15, 13, 14, 15, 16, 17, 13, 15, 16, 14, 14, 15, 23, 14, 17, 16, 15, 15, 12, 15, 17, 15, 15, 18, 14, 17, 14, 14, 16, 13, 14, 16, 16, 14, 16, 16, 15, 14, 13, 13, 20, 13, 15, 20, 15, 14, 17, 14, 18, 17, 14, 13, 16, 17, 18, 18, 18, 15, 14, 16, 17, 15, 21, 15, 14, 16, 15, 18, 15, 13, 13, 16, 15, 18, 15, 15, 14, 18, 16, 16, 13, 16, 14, 14, 16, 15, 14, 12, 17, 20, 17, 17, 16, 16, 18, 17, 18, 15, 13, 15, 17, 16, 16, 19, 12, 14, 16, 16, 15, 18, 16, 18, 14, 16, 14, 18, 25, 14, 14, 13, 16, 14, 15, 16, 20, 17, 17, 14, 13, 15, 15, 20, 14, 16, 16, 14, 14, 14, 13, 13, 14, 14, 19, 18, 17, 15, 21, 15, 13, 13, 19, 15, 15, 16, 17, 15, 14, 18, 18, 15, 14, 14, 13, 15, 14, 16, 17, 19, 14, 14, 15, 15, 18, 14, 14, 16, 14, 23, 15, 16, 14, 14, 16, 17, 15, 18, 16, 17, 15, 13, 14, 14, 16, 17, 14, 15, 13, 16, 16, 18, 17, 14, 15, 16, 16, 15, 24, 15, 18, 14, 16, 14, 16, 17, 16, 16, 13, 15, 15, 19, 14, 16, 18, 14, 17, 17, 20, 15, 18, 13, 14, 14, 14, 15, 18, 16, 19, 16, 15, 15, 15, 17, 16, 12, 15, 15, 15, 18, 14, 15, 15, 14, 14, 17, 14, 13, 15, 15, 18, 17, 15, 14, 19, 14, 17, 14, 17, 17, 14, 17, 14, 13, 15, 15, 14, 15, 16, 14, 13, 15, 19, 15, 13, 17, 15, 15, 16, 14, 16, 15, 17, 16, 14, 15, 16, 15, 16, 16, 14, 13, 15, 15, 15, 14, 20, 13, 14, 17, 15, 14, 14, 15, 16, 15, 14, 14, 17, 18, 17, 17, 14, 15, 19, 19, 15, 15, 16, 16, 15, 14, 14, 14, 20, 16, 16, 17, 13, 13, 15, 16, 17, 17, 15, 15, 14, 16, 16, 15, 17, 15, 13, 21, 17, 16, 14, 14, 15, 15, 14, 17, 18, 15, 16, 22, 15, 14, 16, 13, 16, 16, 15, 17, 19, 15, 15, 18, 13, 18, 17, 17, 15, 14, 15, 15, 16, 14, 14, 18, 15, 16, 17, 18, 17, 14, 19, 12, 15, 12, 15, 14, 14, 20, 14, 18, 14, 15, 14, 16, 15, 19, 15, 14, 13, 15, 14, 18, 15, 21, 15, 17, 14, 17, 15, 15, 14, 14, 13, 16, 15, 15, 15, 14, 16, 18, 15, 13, 14, 17, 16, 16, 17, 17, 18, 16, 15, 16, 14, 17, 15, 17, 14, 15, 16, 18, 19, 13, 14, 15, 15, 16, 14, 16, 18, 16, 14, 14, 17, 14, 19, 14, 18, 16, 18, 15, 18, 16, 14, 14, 15, 17, 15, 15, 16, 15, 15, 15, 17, 13, 15, 15, 15, 15, 17, 13, 17, 13, 15, 14, 19, 14, 16, 14, 17, 15, 14, 16, 17, 21, 16, 16, 16, 15, 18, 16, 18, 16, 14, 18, 15, 14, 18, 14, 14, 24, 16, 16, 17, 21, 15, 16, 17, 22, 13, 18, 15, 17, 16, 15, 15, 14, 14, 13, 17, 15, 16, 16, 18, 15, 14, 14, 17, 19, 17, 16, 18, 16, 13, 16, 16, 15, 18, 19, 16, 15, 24, 18, 15, 19, 14, 17, 17, 18, 16, 15, 15, 18, 13, 15, 17, 16, 15, 14, 15, 17, 17, 14, 15, 14, 17, 15, 16, 19, 18, 16, 15, 20, 13, 15, 16, 18, 15, 17, 15, 15, 15, 13, 17, 16, 16, 14, 14, 16, 21, 14, 14, 16, 17, 14, 14, 14, 16, 16, 17, 16, 18, 15, 17, 14, 19, 17, 17, 14, 16, 16, 16, 16, 17, 16, 15, 16, 14, 13, 16, 16, 13, 20, 16, 17, 14, 15, 15, 15, 16, 19, 15, 16, 20, 18, 15, 17, 15, 14, 15, 15, 18, 14, 18, 15, 14, 16, 14, 13, 15, 16, 17, 15, 16, 17, 14, 17, 18, 13, 14, 17, 16, 16, 16, 17, 14, 16, 14, 16, 15, 14, 17, 16, 15, 15, 17, 14, 14, 20, 17, 16, 14, 16, 15, 16, 17, 14, 13, 15, 17, 18, 15, 17, 15, 16, 17, 14, 15, 17, 16, 16, 17, 16, 17, 14, 15, 16, 15, 15, 18, 14, 16, 15, 15, 16, 13, 19, 14, 14, 14, 15, 19, 14, 17, 17, 20, 14, 13, 16, 19, 13, 14, 14, 18, 15, 15, 15, 14, 15, 18, 15, 15, 16, 17, 14, 15, 14, 14, 15, 13, 12, 17, 15, 15, 15, 15, 15, 13, 12, 15, 20, 16, 15, 14, 14, 20, 13, 15, 12, 14, 14, 16, 16, 16, 16, 13, 18, 14, 16, 21, 15, 15, 18, 15, 17, 16, 16, 14, 13, 14, 14, 16, 15, 15, 19, 13, 16, 17, 14, 14, 16, 14, 15, 15, 17, 14, 14, 14, 15, 16, 18, 16, 15, 15, 16, 12, 14, 14, 19, 17, 15, 13, 14, 15, 16, 16, 16, 18, 13, 14, 16, 15, 18, 16, 16, 20, 18, 15, 17, 17, 14, 18, 12, 17, 16, 14, 16, 15, 16, 14, 13, 15, 16, 15, 14, 15, 14, 14, 16, 14, 17, 18, 15, 15, 14, 16, 15, 18, 13, 14, 13, 16, 16, 16, 19, 15, 23, 16, 14, 14, 14, 15, 20, 15, 13, 14, 16, 16, 16, 13, 15, 19, 16, 20, 19, 16, 17, 14, 17, 14, 16, 14, 16, 15, 17, 14, 17, 14, 18, 17, 14, 19, 15, 16, 17, 16, 13, 15, 15, 16, 15, 15, 16, 17, 21, 13, 14, 15, 14, 15, 16, 15, 17, 14, 13, 14, 18, 16, 15, 15, 16, 15, 15, 17, 15, 15, 16, 19, 15, 16, 16, 17, 15, 16, 16, 15, 17, 15, 15, 16, 15, 29, 15, 14, 15, 18, 14, 19, 14, 17, 16, 13, 13, 14, 14, 19, 17, 13, 15, 17, 13, 14, 14, 15, 15, 13, 14, 14, 15, 15, 14, 16, 14, 15, 14, 19, 19, 16, 14, 12, 14, 17, 15, 16, 15, 15, 16, 16, 18, 18, 19, 19, 13, 15, 15, 14, 13, 15, 16, 16, 16, 16, 16, 15, 16, 16, 16, 15, 17, 14, 16, 15, 14, 20, 15, 16, 16, 15, 16, 15, 15, 20, 16, 18, 13, 13, 14, 14, 14, 16, 15, 15, 15, 16, 17, 23, 19, 18, 17, 16, 14, 13, 14, 16, 16, 19, 16, 14, 14, 15, 16, 15, 16, 13, 13, 17, 15, 15, 17, 16, 12, 19, 16, 15, 16, 18, 13, 15, 16, 15, 15, 16, 15, 17, 14, 15, 13, 14, 16, 15, 15, 18, 13, 16, 15, 16, 18, 14, 14, 18, 16, 14, 17, 16, 14, 18, 13, 16, 16, 15, 16, 16, 14, 15, 17, 18, 18, 13, 16, 19, 21, 16, 15, 17, 13, 15, 15, 17, 15, 16, 18, 17, 18, 15, 15, 16, 14, 14, 17, 18, 14, 16, 13, 15, 14, 14, 15, 19, 15, 13, 17, 14, 18, 17, 17, 14, 16, 13, 14, 14, 15, 14, 18, 14, 17, 15, 13, 17, 13, 15, 16, 19, 19, 16, 19, 14, 18, 14, 17, 18, 14, 16, 16, 13, 13, 17, 15, 15, 19, 15, 15, 15, 15, 14, 20, 14, 14, 14, 20, 16, 14, 15, 13, 15, 16, 14, 15, 15, 15, 15, 17, 14, 16, 17, 13, 13, 14, 13, 16, 18, 16, 13, 15, 14, 19, 15, 15, 16, 14, 15, 17, 18, 13, 14, 15, 15, 14, 18, 16, 15, 21, 15, 16, 17, 17, 15, 14, 17, 15, 15, 17, 13, 17, 20, 17, 13, 17, 14, 13, 13, 17, 16, 16, 17, 18, 17, 14, 17, 14, 15, 15, 16, 16, 16, 18, 15, 16, 16, 15, 17, 13, 15, 16, 17, 15, 16, 15, 17, 16, 15, 15, 15, 15, 13, 17, 14, 16, 13, 15, 16, 15, 18, 19, 19, 16, 14, 16, 15, 16, 14, 13, 16, 19, 17, 22, 16, 14, 16, 16, 17, 13, 14, 19, 15, 13, 17, 18, 16, 15, 16, 12, 14, 14, 15, 18, 18, 14, 16, 18, 17, 15, 15, 15, 17, 14, 14, 18, 14, 15, 15, 13, 18, 15, 16, 14, 19, 19, 15, 15, 19, 13, 14, 15, 16, 16, 16, 14, 17, 18, 13, 17, 17, 16, 17, 15, 18, 15, 15, 18, 14, 17, 15, 16, 14, 15, 17, 14, 15, 18, 16, 18, 17, 17, 15, 15, 14, 16, 15, 16, 17, 16, 15, 16, 17, 17, 14, 15, 15, 13, 14, 15, 14, 18, 15, 17, 17, 15, 17, 15, 16, 18, 14, 24, 16, 19, 20, 13, 14, 15, 14, 14, 17, 13, 17, 16, 15, 18, 14, 20, 15, 14, 15, 13, 15, 15, 16, 16, 15, 16, 14, 17, 16, 19, 14, 16, 16, 18, 16, 17, 15, 16, 16, 14, 17, 14, 16, 21, 16, 16, 19, 18, 19, 16, 15, 16, 16, 14, 15, 18, 17, 16, 19, 15, 16, 16, 17, 16, 17, 16, 13, 16, 17, 20, 15, 16, 13, 16, 17, 17, 15, 13, 17, 15, 14, 18, 15, 16, 20, 16, 13, 16, 17, 15, 14, 15, 18, 16, 16, 14, 16, 14, 13, 14, 14, 16, 13, 15, 15, 15, 17, 17, 15, 13, 14, 18, 15, 13, 17, 18, 20, 14, 16, 13, 15, 14, 14, 17, 17, 16, 15, 16, 15, 15, 19, 18, 14, 14, 14, 15, 15, 16, 14, 16, 14, 15, 18, 17, 15, 13, 16, 18, 15, 21, 16, 15, 16, 14, 16, 17, 15, 16, 16, 19, 14, 14, 14, 15, 14, 14]
CountEstimate: 93728324, registers: [17, 16, 15, 15, 15, 23, 14, 16, 15, 17, 17, 17, 14, 14, 17, 15, 15, 13, 18, 15, 12, 14, 19, 15, 14, 16, 17, 17, 14, 17, 17, 16, 16, 20, 14, 14, 16, 15, 14, 15, 18, 17, 16, 14, 16, 14, 16, 18, 16, 15, 16, 15, 14, 16, 16, 14, 15, 15, 14, 17, 14, 16, 19, 16, 14, 17, 18, 15, 14, 21, 15, 14, 16, 14, 16, 13, 14, 18, 16, 18, 14, 16, 18, 15, 14, 14, 15, 15, 13, 17, 19, 15, 15, 15, 17, 16, 16, 17, 14, 22, 15, 16, 16, 16, 16, 16, 16, 15, 15, 13, 17, 18, 17, 19, 15, 13, 16, 21, 16, 17, 13, 16, 15, 15, 18, 15, 16, 15, 15, 16, 16, 15, 20, 15, 14, 16, 23, 14, 19, 15, 13, 16, 13, 16, 16, 17, 14, 18, 15, 14, 13, 14, 17, 17, 17, 15, 13, 13, 17, 15, 17, 14, 14, 14, 13, 18, 14, 17, 15, 16, 16, 15, 14, 14, 14, 16, 14, 16, 15, 13, 15, 14, 16, 15, 14, 15, 15, 15, 19, 14, 15, 13, 17, 15, 14, 17, 16, 14, 16, 25, 17, 15, 15, 14, 14, 15, 18, 19, 18, 16, 17, 17, 14, 15, 17, 16, 19, 18, 15, 15, 20, 15, 16, 17, 13, 15, 13, 19, 18, 14, 15, 16, 15, 15, 19, 14, 15, 17, 14, 17, 14, 17, 14, 17, 17, 12, 17, 16, 14, 18, 15, 17, 15, 16, 15, 14, 15, 17, 15, 15, 16, 17, 14, 13, 15, 18, 16, 15, 15, 14, 12, 19, 16, 16, 15, 14, 16, 15, 19, 22, 15, 16, 13, 14, 14, 20, 16, 14, 18, 14, 16, 20, 16, 15, 13, 14, 23, 17, 16, 17, 15, 14, 16, 18, 18, 16, 15, 19, 16, 14, 16, 15, 14, 14, 20, 19, 15, 12, 13, 13, 15, 16, 14, 14, 15, 16, 13, 18, 16, 17, 19, 15, 14, 16, 16, 20, 18, 15, 20, 15, 14, 16, 15, 15, 18, 14, 17, 18, 14, 15, 13, 14, 18, 15, 15, 16, 17, 15, 15, 19, 16, 18, 16, 15, 21, 15, 16, 15, 14, 17, 16, 15, 15, 16, 13, 15, 16, 14, 14, 15, 14, 14, 17, 15, 16, 21, 13, 19, 16, 15, 16, 13, 14, 15, 17, 15, 14, 14, 15, 18, 14, 18, 14, 21, 13, 14, 18, 15, 15, 17, 18, 15, 16, 17, 18, 14, 18, 16, 14, 13, 15, 17, 17, 13, 16, 15, 16, 15, 20, 17, 14, 14, 14, 15, 15, 16, 16, 14, 15, 19, 18, 18, 13, 13, 15, 20, 15, 13, 15, 15, 21, 20, 15, 16, 15, 15, 17, 13, 15, 19, 17, 20, 16, 14, 16, 17, 14, 14, 15, 17, 16, 18, 14, 16, 15, 16, 20, 15, 18, 15, 17, 14, 15, 18, 16, 17, 17, 17, 13, 14, 14, 16, 17, 15, 14, 15, 17, 15, 16, 17, 18, 16, 16, 15, 15, 15, 14, 15, 16, 14, 17, 17, 13, 16, 15, 17, 15, 15, 17, 15, 20, 18, 18, 14, 18, 15, 18, 17, 13, 15, 15, 13, 18, 16, 23, 17, 15, 14, 17, 17, 15, 18, 17, 17, 17, 16, 15, 15, 14, 15, 15, 16, 16, 14, 13, 15, 14, 15, 16, 14, 17, 13, 15, 15, 16, 18, 19, 18, 17, 15, 14, 14, 16, 14, 16, 18, 14, 17, 16, 16, 15, 13, 13, 13, 15, 14, 15, 17, 16, 17, 14, 16, 18, 16, 16, 18, 17, 16, 14, 19, 17, 16, 14, 14, 20, 16, 14, 16, 21, 16, 17, 20, 17, 20, 19, 16, 16, 13, 17, 15, 14, 15, 14, 15, 13, 17, 15, 14, 15, 14, 15, 15, 16, 14, 17, 15, 17, 16, 16, 18, 14, 17, 14, 18, 15, 13, 16, 20, 26, 18, 14, 16, 15, 15, 15, 18, 21, 16, 16, 16, 14, 15, 14, 20, 17, 16, 16, 16, 17, 15, 15, 16, 14, 15, 25, 14, 16, 16, 16, 18, 16, 16, 17, 14, 19, 16, 15, 15, 16, 20, 18, 19, 13, 14, 15, 16, 15, 23, 15, 18, 15, 14, 14, 14, 17, 14, 15, 15, 16, 15, 17, 16, 15, 16, 20, 16, 15, 14, 16, 14, 14, 16, 15, 16, 18, 19, 21, 16, 15, 16, 16, 15, 13, 15, 15, 18, 15, 16, 16, 13, 15, 15, 19, 23, 17, 15, 14, 16, 15, 14, 14, 14, 18, 14, 14, 14, 19, 15, 15, 15, 16, 14, 14, 19, 14, 17, 16, 13, 18, 16, 13, 17, 17, 14, 17, 15, 15, 15, 17, 16, 18, 14, 16, 15, 15, 14, 14, 15, 12, 18, 16, 16, 14, 15, 16, 16, 17, 19, 16, 14, 15, 15, 16, 17, 14, 15, 16, 15, 16, 17, 16, 15, 19, 16, 18, 16, 18, 15, 14, 14, 14, 18, 14, 14, 15, 17, 17, 16, 19, 16, 20, 19, 16, 15, 16, 19, 16, 15, 16, 16, 15, 15, 15, 13, 16, 15, 14, 14, 18, 15, 14, 15, 14, 16, 14, 15, 18, 16, 17, 15, 14, 17, 16, 14, 13, 17, 15, 15, 13, 14, 14, 15, 16, 14, 14, 13, 19, 18, 16, 14, 18, 15, 17, 15, 14, 19, 14, 14, 15, 17, 16, 16, 16, 17, 16, 15, 16, 14, 13, 14, 16, 17, 14, 19, 14, 24, 15, 17, 15, 14, 16, 15, 17, 15, 16, 17, 13, 17, 15, 15, 16, 18, 15, 16, 15, 15, 15, 17, 15, 15, 15, 14, 14, 19, 13, 16, 17, 18, 14, 15, 14, 14, 18, 14, 15, 17, 16, 14, 13, 15, 15, 16, 18, 16, 17, 14, 14, 15, 15, 15, 15, 14, 16, 17, 17, 14, 17, 18, 19, 15, 14, 15, 18, 15, 19, 19, 16, 16, 13, 16, 15, 16, 15, 14, 15, 15, 18, 14, 16, 19, 15, 17, 14, 20, 15, 14, 15, 18, 13, 17, 14, 17, 16, 15, 15, 15, 17, 15, 14, 14, 13, 14, 18, 15, 17, 18, 15, 15, 17, 17, 15, 18, 14, 19, 16, 14, 16, 23, 15, 14, 18, 18, 16, 17, 13, 15, 17, 18, 15, 16, 13, 14, 15, 16, 24, 13, 16, 17, 15, 15, 14, 16, 13, 14, 14, 15, 18, 15, 14, 15, 14, 15, 16, 16, 18, 13, 17, 14, 13, 21, 15, 14, 14, 15, 17, 21, 16, 15, 14, 16, 17, 20, 15, 17, 16, 15, 15, 15, 17, 15, 16, 16, 13, 13, 18, 15, 16, 19, 16, 16, 18, 17, 17, 14, 15, 15, 17, 15, 19, 15, 16, 15, 15, 19, 14, 16, 16, 15, 18, 18, 18, 15, 17, 15, 18, 14, 14, 15, 17, 16, 15, 14, 20, 16, 16, 15, 16, 13, 25, 16, 17, 13, 16, 17, 16, 13, 19, 13, 17, 14, 14, 20, 14, 15, 14, 15, 15, 14, 14, 16, 17, 13, 16, 15, 15, 16, 16, 15, 16, 16, 16, 13, 16, 15, 18, 14, 21, 17, 12, 18, 16, 15, 16, 14, 15, 15, 16, 19, 14, 15, 15, 15, 20, 17, 16, 19, 16, 14, 19, 18, 19, 16, 15, 17, 18, 18, 20, 20, 16, 18, 20, 21, 18, 13, 16, 17, 16, 16, 17, 16, 17, 18, 16, 13, 17, 17, 14, 16, 18, 19, 14, 14, 16, 14, 13, 15, 13, 16, 15, 15, 15, 15, 16, 15, 17, 13, 17, 15, 17, 14, 18, 17, 14, 15, 14, 15, 14, 16, 15, 16, 14, 16, 16, 17, 14, 13, 16, 17, 19, 17, 18, 13, 17, 18, 17, 14, 16, 17, 15, 17, 15, 15, 14, 13, 16, 15, 16, 13, 15, 16, 19, 17, 14, 15, 21, 18, 17, 14, 16, 14, 15, 21, 21, 17, 17, 16, 14, 15, 15, 14, 15, 14, 15, 17, 15, 16, 16, 17, 15, 14, 14, 18, 15, 19, 17, 14, 16, 16, 16, 14, 17, 14, 16, 14, 14, 14, 14, 17, 13, 13, 16, 17, 16, 14, 19, 17, 12, 15, 13, 18, 15, 16, 14, 17, 16, 14, 16, 13, 16, 16, 14, 15, 18, 15, 17, 14, 15, 14, 16, 17, 14, 16, 16, 15, 22, 15, 19, 16, 15, 16, 15, 14, 17, 18, 17, 16, 16, 18, 16, 15, 13, 14, 13, 13, 17, 19, 16, 17, 15, 16, 16, 17, 16, 19, 14, 14, 17, 16, 16, 14, 13, 15, 14, 17, 18, 16, 16, 16, 20, 14, 15, 15, 15, 17, 14, 15, 16, 16, 16, 15, 16, 16, 16, 16, 16, 17, 14, 17, 14, 14, 21, 16, 16, 21, 15, 16, 17, 14, 14, 23, 14, 16, 17, 17, 17, 13, 16, 14, 16, 19, 13, 12, 14, 14, 14, 15, 14, 17, 14, 16, 16, 14, 15, 15, 16, 15, 19, 16, 18, 18, 15, 17, 15, 17, 14, 19, 14, 14, 17, 14, 14, 19, 15, 15, 18, 16, 15, 18, 17, 16, 15, 13, 14, 14, 15, 15, 14, 19, 17, 14, 15, 17, 18, 17, 15, 16, 15, 14, 15, 15, 16, 15, 17, 15, 15, 16, 15, 15, 17, 15, 18, 14, 16, 16, 14, 16, 15, 18, 15, 17, 16, 17, 18, 15, 15, 16, 18, 15, 15, 17, 15, 16, 16, 17, 16, 13, 16, 17, 15, 15, 18, 16, 16, 19, 14, 18, 22, 17, 14, 18, 16, 19, 13, 16, 16, 15, 19, 17, 17, 18, 20, 17, 16, 16, 15, 14, 14, 18, 15, 16, 16, 15, 13, 16, 17, 15, 14, 16, 15, 16, 17, 15, 15, 16, 14, 14, 14, 15, 16, 15, 17, 13, 15, 15, 18, 18, 14, 20, 18, 14, 15, 15, 16, 18, 15, 15, 17, 19, 16, 15, 19, 19, 16, 15, 15, 17, 15, 15, 14, 14, 16, 14, 16, 15, 16, 18, 15, 14, 18, 18, 16, 16, 16, 14, 17, 14, 18, 19, 15, 17, 14, 13, 18, 17, 15, 18, 17, 15, 13, 17, 18, 14, 19, 16, 14, 13, 16, 17, 19, 16, 16, 13, 13, 17, 14, 16, 16, 15, 15, 16, 15, 14, 14, 14, 13, 19, 14, 14, 14, 14, 15, 14, 18, 15, 17, 14, 17, 19, 15, 14, 15, 15, 13, 19, 17, 15, 15, 14, 17, 14, 17, 16, 17, 19, 13, 16, 19, 14, 17, 15, 14, 19, 15, 16, 16, 21, 16, 15, 16, 16, 17, 16, 14, 14, 15, 15, 14, 15, 15, 16, 14, 14, 15, 14, 13, 14, 13, 13, 16, 13, 14, 17, 14, 15, 15, 16, 19, 15, 18, 16, 18, 16, 15, 16, 17, 16, 17, 16, 16, 13, 19, 15, 18, 16, 15, 17, 17, 17, 16, 18, 18, 17, 19, 15, 16, 15, 16, 15, 18, 17, 13, 15, 15, 15, 18, 15, 16, 16, 14, 15, 18, 20, 16, 15, 14, 16, 14, 14, 18, 16, 15, 14, 19, 14, 14, 17, 15, 15, 15, 19, 17, 16, 15, 14, 14, 12, 20, 15, 17, 15, 14, 14, 15, 15, 20, 14, 17, 15, 13, 16, 15, 16, 14, 20, 14, 15, 15, 17, 13, 16, 15, 18, 15, 16, 18, 15, 15, 14, 16, 15, 18, 16, 17, 15, 14, 14, 17, 14, 17, 18, 14, 15, 14, 18, 14, 16, 17, 18, 14, 17, 17, 19, 17, 16, 14, 14, 14, 15, 16, 20, 18, 13, 13, 15, 15, 14, 14, 18, 17, 15, 15, 14, 17, 13, 18, 16, 13, 20, 14, 14, 16, 15, 19, 14, 17, 16, 18, 13, 15, 19, 15, 14, 14, 14, 14, 16, 16, 14, 16, 14, 15, 15, 13, 18, 15, 13, 13, 15, 15, 14, 16, 14, 16, 17, 16, 15, 16, 25, 17, 16, 15, 15, 18, 15, 14, 16, 16, 15, 15, 13, 15, 16, 16, 17, 15, 14, 18, 17, 13, 14, 15, 15, 14, 15, 14, 15, 15, 17, 15, 20, 15, 17, 13, 14, 16, 14, 20, 14, 15, 15, 17, 14, 17, 15, 16, 15, 15, 16, 23, 14, 15, 16, 16, 15, 16, 14, 13, 17, 17, 15, 17, 15, 16, 14, 14, 17, 17, 20, 13, 18, 15, 16, 14, 16, 14, 17, 18, 15, 15, 16, 19, 15, 13, 13, 18, 14, 17, 15, 14, 15, 16, 14, 17, 17, 15, 14, 15, 17, 20, 18, 14, 14, 20, 14, 17, 18, 16, 15, 20, 13, 16, 19, 14, 15, 15, 15, 16, 21, 17, 17, 21, 15, 19, 14, 18, 17, 14, 13, 16, 13, 17, 17, 16, 16, 16, 16, 14, 18, 19, 16, 15, 16, 15, 16, 13, 17, 15, 14, 16, 17, 14, 15, 16, 17, 13, 13, 13, 16, 14, 16, 19, 15, 14, 16, 24, 13, 14, 17, 16, 13, 17, 14, 14, 14, 16, 13, 15, 16, 13, 15, 18, 14, 17, 16, 17, 13, 15, 14, 13, 16, 15, 14, 19, 15, 15, 15, 15, 16, 18, 14, 16, 15, 15, 16, 15, 17, 16, 13, 17, 14, 16, 18, 20, 15, 14, 16, 20, 13, 19, 16, 16, 18, 17, 15, 15, 14, 14, 14, 14, 17, 22, 16, 23, 21, 20, 15, 18, 16, 14, 15, 23, 18, 15, 16, 18, 15, 15, 15, 16, 14, 16, 14, 17, 14, 16, 16, 15, 15, 15, 15, 16, 15, 15, 15, 17, 16, 14, 16, 14, 19, 16, 15, 18, 14, 15, 13, 16, 15, 14, 15, 20, 15, 17, 15, 20, 15, 15, 15, 14, 17, 15, 13, 15, 16, 16, 18, 22, 14, 15, 16, 16, 14, 13, 14, 17, 14, 15, 13, 16, 12, 16, 16, 14, 15, 15, 14, 16, 17, 15, 18, 18, 17, 16, 15, 14, 16, 15, 16, 15, 18, 15, 14, 20, 18, 16, 15, 16, 15, 14, 16, 15, 14, 15, 17, 16, 17, 18, 17, 15, 15, 16, 15, 16, 16, 18, 16, 15, 15, 17, 18, 17, 15, 14, 16, 16, 14, 17, 15, 15, 15, 19, 15, 12, 15, 15, 14, 15, 14, 18, 17, 14, 17, 15, 15, 14, 16, 17, 14, 14, 17, 15, 17, 16, 15, 15, 15, 13, 17, 16, 20, 19, 13, 17, 17, 15, 14, 15, 16, 19, 14, 16, 18, 14, 16, 14, 15, 15, 14, 19, 14, 21, 15, 16, 16, 17, 16, 15, 15, 19, 14, 14, 14, 14, 13, 17, 19, 13, 16, 16, 16, 13, 16, 16, 16, 14, 17, 17, 16, 16, 15, 14, 15, 18, 14, 16, 15, 16, 13, 17, 15, 19, 15, 14, 20, 13, 15, 16, 16, 23, 12, 15, 15, 16, 15, 16, 15, 15, 14, 13, 16, 15, 16, 15, 14, 16, 18, 15, 15, 15, 15, 13, 14, 13, 15, 14, 19, 16, 17, 19, 16, 20, 16, 15, 16, 14, 14, 13, 16, 16, 18, 16, 15, 16, 18, 16, 14, 17, 16, 15, 17, 15, 15, 16, 16, 17, 16, 16, 13, 19, 14, 14, 15, 16, 15, 15, 16, 15, 18, 14, 16, 15, 15, 18, 15, 15, 18, 14, 15, 15, 16, 16, 15, 14, 16, 15, 16, 15, 17, 15, 16, 16, 20, 16, 17, 21, 21, 16, 16, 13, 14, 16, 16, 14, 16, 15, 16, 20, 18, 17, 18, 14, 15, 14, 15, 16, 13, 15, 16, 13, 16, 18, 14, 14, 15, 19, 16, 14, 20, 21, 15, 19, 14, 18, 18, 17, 19, 16, 14, 13, 17, 14, 15, 14, 13, 19, 17, 16, 16, 14, 14, 14, 15, 13, 16, 14, 18, 15, 14, 18, 14, 15, 14, 15, 13, 17, 16, 18, 17, 16, 13, 15, 15, 18, 14, 14, 18, 19, 16, 16, 16, 16, 15, 15, 19, 15, 16, 22, 16, 16, 18, 15, 16, 15, 14, 14, 16, 15, 16, 15, 15, 18, 13, 16, 14, 15, 16, 13, 17, 19, 13, 22, 16, 18, 15, 16, 16, 18, 15, 15, 14, 15, 23, 14, 15, 16, 13, 16, 16, 16, 16, 18, 17, 14, 14, 15, 15, 16, 15, 14, 17, 16, 18, 14, 16, 15, 17, 21, 18, 16, 16, 14, 15, 14, 15, 15, 16, 16, 15, 16, 20, 14, 14, 15, 19, 18, 15, 19, 17, 14, 15, 14, 15, 16, 14, 17, 14, 19, 15, 24, 16, 19, 17, 14, 15, 15, 17, 16, 17, 16, 17, 15, 16, 15, 14, 15, 17, 16, 13, 16, 15, 14, 15, 14, 17, 15, 13, 14, 18, 16, 14, 14, 17, 15, 15, 13, 16, 14, 15, 16, 16, 16, 19, 14, 18, 15, 15, 18, 15, 18, 15, 23, 14, 15, 15, 16, 15, 18, 15, 21, 13, 14, 17, 16, 14, 16, 18, 18, 15, 20, 16, 19, 15, 14, 15, 15, 16, 17, 16, 14, 15, 13, 18, 15, 17, 15, 15, 19, 19, 20, 15, 15, 17, 15, 19, 17, 16, 14, 14, 15, 13, 17, 14, 16, 15, 18, 15, 17, 14, 18, 14, 18, 14, 15, 14, 15, 15, 21, 14, 15, 16, 16, 15, 17, 15, 17, 16, 15, 16, 13, 15, 15, 16, 16, 14, 15, 17, 15, 15, 14, 18, 14, 15, 16, 16, 15, 14, 18, 19, 15, 16, 15, 18, 17, 15, 15, 18, 15, 18, 15, 14, 16, 19, 14, 18, 14, 20, 14, 17, 15, 15, 15, 20, 15, 17, 16, 15, 13, 14, 19, 15, 15, 15, 18, 17, 15, 15, 16, 16, 15, 17, 13, 16, 14, 16, 14, 19, 15, 17, 14, 14, 18, 18, 19, 14, 16, 17, 13, 14, 16, 16, 18, 17, 15, 15, 14, 16, 15, 13, 20, 14, 16, 16, 16, 17, 17, 20, 17, 16, 16, 17, 16, 15, 18, 15, 16, 15, 13, 15, 17, 15, 15, 16, 16, 15, 17, 13, 19, 14, 15, 14, 16, 19, 14, 17, 15, 15, 17, 14, 17, 19, 15, 16, 17, 14, 24, 16, 20, 17, 17, 16, 16, 15, 17, 15, 21, 14, 18, 15, 14, 16, 15, 18, 16, 16, 14, 14, 17, 16, 17, 16, 14, 16, 18, 13, 17, 16, 18, 14, 15, 17, 15, 15, 15, 16, 17, 16, 15, 15, 19, 15, 18, 16, 14, 17, 15, 14, 17, 16, 15, 15, 13, 15, 19, 15, 14, 16, 13, 15, 15, 16, 17, 17, 16, 15, 17, 15, 14, 18, 14, 17, 13, 15, 15, 16, 16, 18, 16, 14, 17, 15, 14, 17, 16, 17, 19, 17, 15, 15, 16, 20, 14, 14, 15, 15, 15, 17, 15, 17, 18, 19, 17, 14, 16, 13, 16, 14, 16, 13, 16, 16, 19, 16, 17, 16, 17, 14, 16, 16, 14, 14, 18, 15, 19, 15, 17, 17, 13, 18, 22, 15, 15, 15, 16, 16, 15, 16, 13, 19, 17, 17, 15, 15, 16, 15, 15, 15, 14, 14, 17, 20, 17, 19, 16, 15, 14, 15, 18, 16, 18, 18, 16, 15, 20, 15, 13, 14, 22, 15, 16, 18, 16, 18, 14, 17, 18, 16, 15, 15, 17, 16, 15, 13, 14, 15, 14, 17, 15, 14, 15, 16, 14, 19, 14, 14, 17, 15, 14, 17, 15, 15, 15, 13, 20, 18, 15, 15, 17, 18, 15, 15, 15, 16, 18, 14, 15, 17, 14, 16, 17, 14, 17, 15, 13, 15, 18, 14, 15, 16, 14, 15, 16, 15, 17, 17, 14, 14, 14, 14, 19, 14, 17, 16, 15, 15, 22, 14, 13, 14, 21, 15, 16, 13, 15, 14, 20, 15, 18, 15, 16, 16, 14, 14, 21, 18, 16, 19, 18, 14, 19, 14, 14, 15, 16, 14, 14, 13, 15, 16, 14, 17, 16, 16, 20, 15, 18, 15, 16, 16, 23, 16, 16, 14, 15, 17, 15, 16, 20, 17, 15, 19, 13, 21, 18, 14, 23, 15, 15, 18, 21, 15, 16, 17, 18, 14, 15, 14, 17, 18, 15, 13, 22, 16, 15, 14, 16, 16, 16, 15, 18, 16, 19, 16, 15, 15, 17, 19, 20, 14, 15, 21, 14, 15, 16, 17, 15, 14, 18, 14, 15, 18, 17, 16, 14, 18, 15, 16, 18, 14, 16, 15, 17, 15, 16, 16, 14, 15, 15, 16, 15, 16, 16, 17, 16, 13, 15, 13, 16, 14, 14, 14, 15, 16, 21, 19, 17, 16, 15, 14, 14, 17, 20, 18, 16, 16, 16, 13, 20, 18, 16, 14, 16, 15, 17, 14, 17, 13, 16, 24, 16, 17, 15, 17, 17, 14, 17, 18, 15, 20, 17, 15, 15, 17, 16, 15, 15, 14, 16, 14, 15, 15, 16, 14, 17, 19, 15, 15, 16, 15, 15, 14, 16, 21, 16, 18, 17, 14, 16, 18, 15, 15, 14, 16, 15, 15, 15, 14, 21, 16, 15, 16, 16, 13, 14, 17, 17, 15, 16, 14, 15, 18, 18, 18, 17, 14, 15, 16, 16, 16, 15, 14, 14, 13, 18, 16, 15, 13, 18, 16, 19, 15, 15, 14, 15, 15, 17, 15, 15, 18, 16, 16, 15, 15, 19, 16, 14, 17, 15, 14, 15, 13, 15, 14, 13, 19, 16, 20, 20, 16, 16, 13, 16, 16, 16, 17, 16, 18, 16, 14, 22, 14, 15, 18, 14, 15, 19, 17, 16, 16, 16, 16, 14, 16, 13, 15, 18, 14, 18, 19, 15, 16, 22, 17, 15, 14, 15, 16, 13, 15, 16, 14, 15, 15, 15, 15, 15, 13, 19, 16, 15, 17, 14, 14, 14, 14, 16, 19, 14, 15, 14, 16, 17, 20, 17, 17, 15, 17, 14, 14, 15, 15, 16, 15, 14, 14, 19, 18, 16, 13, 16, 16, 13, 15, 18, 16, 14, 19, 16, 15, 15, 15, 14, 16, 16, 17, 14, 16, 16, 14, 18, 14, 16, 15, 14, 14, 15, 17, 17, 16, 13, 17, 13, 16, 15, 15, 15, 16, 17, 14, 15, 16, 14, 18, 16, 15, 15, 17, 15, 21, 14, 19, 15, 17, 16, 14, 17, 14, 14, 15, 14, 15, 14, 17, 18, 18, 15, 17, 15, 17, 17, 15, 13, 17, 13, 15, 19, 16, 15, 18, 14, 15, 17, 19, 14, 17, 15, 16, 15, 16, 15, 18, 16, 17, 14, 15, 17, 15, 13, 14, 14, 15, 18, 19, 16, 17, 13, 16, 17, 17, 17, 17, 19, 15, 13, 16, 14, 18, 17, 17, 15, 14, 16, 16, 13, 17, 14, 14, 16, 14, 14, 15, 17, 14, 15, 15, 16, 13, 15, 14, 16, 15, 17, 16, 13, 15, 19, 16, 14, 18, 13, 15, 15, 15, 14, 14, 16, 16, 13, 17, 16, 15, 14, 16, 15, 14, 17, 13, 17, 15, 16, 19, 18, 16, 16, 14, 15, 18, 13, 16, 16, 16, 14, 17, 16, 18, 14, 16, 20, 16, 15, 17, 15, 20, 17, 17, 14, 15, 13, 15, 16, 13, 16, 15, 14, 16, 16, 14, 16, 15, 16, 24, 19, 17, 16, 15, 18, 19, 16, 16, 17, 16, 21, 14, 18, 14, 20, 15, 15, 17, 16, 13, 16, 14, 14, 16, 15, 19, 16, 15, 19, 16, 17, 17, 16, 14, 19, 17, 17, 15, 13, 18, 18, 15, 15, 17, 16, 16, 14, 14, 16, 15, 17, 16, 18, 13, 16, 25, 17, 16, 15, 16, 16, 13, 16, 18, 14, 15, 14, 16, 15, 15, 16, 17, 19, 20, 16, 15, 15, 22, 15, 15, 15, 14, 16, 13, 15, 18, 14, 15, 17, 15, 17, 16, 14, 16, 15, 18, 16, 15, 14, 14, 14, 14, 14, 15, 14, 14, 17, 16, 15, 16, 15, 15, 18, 17, 14, 14, 16, 15, 16, 17, 15, 17, 17, 18, 16, 15, 16, 16, 14, 17, 19, 16, 13, 16, 17, 15, 16, 18, 16, 17, 20, 14, 13, 16, 16, 15, 23, 19, 14, 14, 17, 15, 20, 17, 18, 18, 17, 18, 15, 15, 17, 15, 15, 16, 15, 18, 14, 13, 19, 15, 14, 15, 16, 14, 14, 16, 16, 15, 17, 15, 16, 16, 16, 21, 16, 15, 16, 18, 19, 15, 19, 16, 16, 17, 14, 17, 16, 16, 19, 13, 15, 13, 13, 18, 14, 15, 20, 15, 14, 15, 15, 16, 16, 15, 17, 16, 21, 17, 17, 15, 16, 15, 15, 13, 16, 15, 14, 17, 14, 19, 15, 15, 16, 17, 16, 16, 16, 17, 14, 14, 13, 20, 15, 19, 15, 19, 17, 16, 15, 18, 17, 15, 14, 17, 15, 17, 14, 15, 16, 17, 16, 15, 17, 16, 18, 14, 14, 16, 15, 18, 17, 14, 14, 13, 15, 15, 18, 16, 13, 16, 13, 15, 15, 16, 16, 18, 14, 14, 17, 15, 16, 17, 16, 16, 14, 17, 14, 16, 16, 16, 15, 16, 14, 19, 14, 17]