a1 = [4768, 4964, 4266, 4872, 4231, 4017, 4565, 4793, 4298, 4135, 4639, 4780, 4237, 4548, 4655, 4153, 4654, 4922, 4563, 4042, 4329, 4699, 4352, 4127, 4544, 4906, 4814, 4948, 4977, 4830, 4405, 4642, 4666, 4402, 4679, 4465, 4401, 4155, 4767, 4510, 4747, 4993, 4508, 4697, 4758, 4133, 4348, 4200, 4442, 4970, 4452, 4041, 4103, 4567, 4937, 4047, 4933, 4121, 4860, 4659, 4221, 4312, 4583, 4473, 4973, 4262, 4630, 4123, 4139, 4289, 4147, 4222, 4050, 4019, 4454, 4253, 4552, 4947, 4725, 4457, 4929, 4021, 4502, 4307, 4576, 4124, 4586, 4610, 4027, 4572, 4926, 4753, 4185, 4382, 4394, 4923, 4186, 4254, 4012, 4417, 4556, 4349, 4550, 4330, 4938, 4985, 4778, 4716, 4924, 4045, 4358, 4189, 4591, 4213, 4851, 4825, 4260, 4198, 4342, 4824, 4333, 4244, 4752, 4994, 4488, 4532, 4082, 4595, 4098, 4436, 4540, 4267, 4407, 4998, 4751, 4535, 4861, 4819, 4419, 4031, 4029, 4453, 4698, 4965, 4450, 4668, 4036, 4300, 4519, 4281, 4981, 4818, 4939, 4378, 4140, 4841, 4249, 4290, 4388, 4878, 4884, 4235, 4515, 4638, 4410, 4054, 4383, 4238, 4870, 4295, 4804, 4308, 4614, 4105, 4053, 4446, 4757, 4971, 4637, 4831, 4193, 4912, 4000, 4187, 4606, 4566, 4169, 4641, 4749, 4729, 4928, 4601, 4949, 4210, 4313, 4647, 4495, 4460, 4621, 4605, 4694, 4317, 4226, 4263, 4016, 4997, 4940, 4715, 4907, 4620, 4934, 4996, 4955, 4688, 4304, 4220, 4882, 4772, 4536, 4815, 4693, 4469, 4276, 4409, 4071, 4224, 4020, 4629, 4865, 4813, 4366, 4622, 4129, 4533, 4634, 4564, 4087, 4386, 4161, 4265, 4711, 4009, 4376, 4781, 4837, 4112, 4915, 4592, 4658, 4025, 4987, 4291, 4477, 4503, 4437, 4111, 4707, 4879, 4611, 4549, 4078, 4044, 4853, 4835, 4463, 4577, 4008, 4233, 4741, 4384, 4225, 4024, 4726, 4743, 4160, 4180, 4722, 4609, 4114, 4834, 4742, 4662, 4984, 4299, 4060, 4498, 4755, 4320, 4874, 4528, 4216, 4852, 4951, 4958, 4283, 4239, 4476, 4644, 4143, 4104, 4455, 4126, 4950, 4663, 4013, 4931, 4850, 4242, 4130, 4623, 4871, 4014, 4854, 4293, 4512, 4166, 4740, 4735, 4150, 4651, 4172, 4836, 4530, 4664, 4429, 4511, 4558, 4676, 4085, 4074, 4580, 4794, 4379, 4310, 4817, 4966, 4848, 4202, 4336, 4608, 4351, 4396, 4652, 4033, 4188, 4431, 4916, 4259, 4607, 4816, 4810, 4627, 4527, 4560, 4728, 4589, 4274, 4809, 4790, 4398, 4414, 4516, 4581, 4919, 4665, 4331, 4978, 4543, 4877, 4974, 4284, 4004, 4177, 4466, 4116, 4217, 4901, 4372, 4137, 4806, 4264, 4497, 4294, 4787, 4212, 4215, 4115, 4782, 4739, 4821, 4125, 4505, 4230, 4399, 4395, 4079, 4867, 4381, 4706, 4695, 4404, 4691, 4075, 4353, 4301, 4876, 4731, 4523, 4246, 4529, 4412, 4784, 4449, 4229, 4616, 4158, 4002, 4318, 4377, 4205, 4911, 4777, 4792, 4271, 4763, 4141, 4287, 4890, 4279, 4829, 4646, 4840, 4089, 4880, 4067, 4918, 4059, 4109, 4164, 4863, 4883, 4909, 4361, 4174, 4960, 4302, 4003, 4236, 4846, 4034, 4324, 4513, 4765, 4596, 4900, 4007, 4603, 4474, 4439, 4805, 4015, 4496, 4953, 4363, 4551, 4459, 4063, 4983, 4881, 4365, 4604, 4587, 4798, 4005, 4163, 4421, 4471, 4826, 4144, 4635, 4600, 4913, 4640, 4247, 4766, 4779, 4280, 4391, 4891, 4636, 4546, 4683, 4181, 4081, 4862, 4458, 4037, 4321, 4786, 4717, 4628, 4154, 4326, 4032, 4873, 4151, 4905, 4270, 4156, 4733, 4980, 4866, 4325, 4055, 4467, 4480, 4286, 4191, 4762, 4322, 4574, 4022, 4056, 4770, 4451, 4448, 4845, 4341, 4433, 4245, 4684, 4671, 4093, 4920, 4272, 4745, 4799, 4761, 4250, 4578, 4347, 4499, 4526, 4369, 4162, 4537, 4434, 4893, 4120, 4962, 4667, 4525, 4091, 4462, 4182, 4738, 4935, 4173, 4490, 4571, 4424, 4894, 4051, 4214, 4823, 4096, 4206, 4598, 4943, 4701, 4649, 4807, 4107, 4435, 4456, 4083, 4612, 4721, 4472, 4146, 4925, 4340, 4789, 4277, 4375, 4211, 4427, 4547, 4690, 4613, 4727, 4006, 4203, 4430, 4223, 4039, 4932, 4296, 4108, 4278, 4832, 4422, 4917, 4470, 4183, 4887, 4076, 4485, 4597, 4443, 4257, 4991, 4944, 4196, 4672, 4397, 4097, 4119, 4077, 4773, 4602, 4538, 4479, 4968, 4159, 4539, 4956, 4710, 4812, 4902, 4569, 4954, 4385, 4128, 4936, 4416, 4148, 4632, 4759, 4117, 4896, 4392, 4864, 4316, 4132, 4319, 4969, 4175, 4484, 4903, 4910, 4350, 4332, 4952, 4176, 4594, 4709, 4509, 4178, 4167, 4545, 4857, 4617, 4501, 4859, 4207, 4275, 4687, 4049, 4579, 4046, 4921, 4113, 4898, 4681, 4052, 4415, 4064, 4184, 4895, 4744, 4685, 4084, 4305, 4899, 4559, 4208, 4057, 4507, 4258, 4355, 4086, 4373, 4323, 4541, 4297, 4483, 4889, 4531, 4327, 4441, 4914, 4303, 4677, 4445, 4802, 4343, 4585, 4338, 4524, 4590, 4624, 4288, 4704, 4134, 4043, 4720, 4058, 4328, 4095, 4026, 4423, 4657, 4118, 4633, 4487, 4822, 4904, 4255, 4001, 4387, 4500, 4190, 4686, 4995, 4661, 4783, 4992, 4165, 4065, 4927, 4306, 4856, 4292, 4420, 4963, 4468, 4240, 4724, 4432, 4447, 4518, 4028, 4670, 4339, 4771, 4018, 4489, 4110, 4708, 4945, 4136, 4492, 4930, 4090, 4734, 4886, 4542, 4227, 4486, 4491, 4713, 4986, 4068, 4048, 4975, 4570, 4842, 4475, 4131, 4555, 4428, 4776, 4101, 4273, 4811, 4345, 5000, 4653, 4256, 4209, 4769, 4946, 4561, 4080, 4461, 4820, 4311, 4959, 4750, 4795, 4748, 4368, 4506, 4335, 4346, 4568, 4675, 4692, 4774, 4413, 4370, 4723, 4521, 4885, 4678, 4897, 4066, 4674, 4106, 4626, 4389, 4204, 4839, 4023, 4712, 4145, 4035, 4357, 4756, 4648, 4972, 4157, 4406, 4615, 4061, 4219, 4791, 4660, 4073, 4356, 4072, 4599, 4359, 4094, 4673, 4696, 4796, 4282, 4714, 4522, 4736, 4775, 4760, 4400, 4847, 4228, 4803, 4908, 4732, 4645, 4122, 4218, 4478, 4941, 4892, 4364, 4403, 4152, 4444, 4360, 4354, 4241, 4494, 4367, 4808, 4261, 4088, 4573, 4554, 4248, 4371, 4393, 4268, 4201, 4038, 4788, 4593, 4040, 4801, 4582, 4309, 4976, 4374, 4869, 4380, 4514, 4243, 4362, 4849, 4680, 4888, 4764, 4618, 4838, 4828, 4643, 4010, 4827, 4957, 4099, 4875, 4843, 4737, 4102, 4979, 4011, 4504, 4440, 4746, 4557, 4426, 4553, 4656, 4868, 4689, 4988, 4703, 4967, 4069, 4619, 4334, 4669, 4785, 4464, 4562, 4961, 4625, 4754, 4797, 4481, 4705, 4199, 4337, 4062, 4138, 4702, 4534, 4168, 4418, 4092, 4682, 4520, 4030, 4171, 4650, 4858, 4411, 4999, 4252, 4197, 4170, 4942, 4631, 4990, 4179, 4285, 4700, 4482, 4575, 4800, 4070, 4251, 4344, 4982, 4719, 4390, 4149, 4100, 4194, 4269, 4855, 4314, 4718, 4232, 4730, 4438, 4588, 4195, 4192, 4493, 4517, 4833, 4234, 4989, 4315, 4844, 4142, 4408, 4584, 4425]
a2 = [5650, 6274, 5600, 6197, 6324, 5850, 5630, 5955, 6343, 6233, 6065, 5637, 5561, 6500, 5565, 5845, 5916, 6229, 5857, 5747, 6419, 5936, 6363, 5773, 6399, 6350, 6172, 6494, 6042, 6013, 6132, 5887, 6215, 5837, 5663, 5695, 6453, 5698, 5941, 6186, 5902, 6116, 6487, 5945, 5694, 6392, 5605, 5524, 5884, 6470, 5503, 6458, 5910, 6469, 5645, 5540, 5505, 6136, 5715, 6306, 6164, 6406, 6120, 5919, 5592, 5595, 5684, 6464, 5958, 6060, 5862, 5672, 5670, 6211, 6321, 5654, 5516, 6278, 6084, 5867, 5577, 6379, 6139, 6472, 6251, 6460, 5831, 6133, 5772, 5788, 6260, 5580, 5912, 5865, 5616, 6153, 5567, 5709, 5963, 6489, 6344, 6113, 6409, 5987, 6141, 5508, 6093, 5723, 5883, 5829, 6086, 5774, 6026, 5601, 5859, 5517, 6252, 6412, 6481, 5828, 5556, 6234, 6416, 5562, 5992, 6045, 5559, 6309, 6109, 6273, 6407, 5743, 6338, 5706, 5719, 6430, 5693, 6247, 6450, 5710, 6015, 6429, 5607, 6056, 6495, 5613, 6370, 5671, 5751, 6237, 5748, 6217, 5977, 6194, 5511, 5599, 5624, 5923, 6452, 5841, 5798, 6025, 5879, 6420, 6177, 6294, 5871, 6105, 5822, 5770, 5724, 5754, 6063, 6291, 5529, 5921, 6018, 5856, 6058, 6372, 6361, 5889, 5899, 5555, 6454, 5960, 6411, 5512, 6069, 5913, 5502, 5821, 5965, 6475, 5697, 5523, 5676, 6076, 5648, 5769, 5948, 6493, 5683, 6200, 5651, 5653, 5885, 5667, 6404, 6432, 6226, 6102, 6213, 5796, 6462, 5811, 5764, 6100, 6073, 6117, 6147, 6373, 5777, 6221, 6184, 5553, 5731, 5536, 6288, 6204, 5586, 5707, 5753, 6362, 5602, 5924, 6231, 5832, 6264, 5968, 5597, 6467, 5946, 6212, 6275, 5509, 6156, 5582, 5816, 5909, 5791, 5952, 6442, 6474, 6023, 5939, 5649, 5531, 6259, 5994, 6388, 5776, 5641, 6068, 6477, 6220, 6286, 5897, 5873, 6381, 6339, 5652, 5589, 6302, 6227, 5544, 5793, 5892, 6488, 5506, 5876, 5781, 5576, 5521, 6331, 6131, 5617, 6332, 5801, 6107, 6463, 6457, 5802, 5737, 6104, 5550, 6253, 6368, 6050, 5766, 5534, 6224, 6401, 6303, 5786, 5735, 6282, 5596, 6459, 6122, 6492, 5854, 5988, 5549, 6318, 5840, 6178, 5640, 5752, 6040, 5665, 5755, 5535, 5721, 6088, 5914, 5689, 6256, 5838, 6021, 5674, 6028, 6223, 6189, 5886, 6232, 5878, 6424, 6413, 6482, 6155, 5638, 6160, 6440, 5571, 6037, 6323, 5959, 6468, 5826, 5682, 6327, 5514, 6390, 5510, 5870, 6108, 5722, 5934, 5998, 6402, 6348, 5718, 6471, 5942, 6029, 6185, 5926, 6386, 5940, 6443, 6230, 5855, 6349, 6059, 6276, 5740, 5996, 6238, 6287, 5812, 5578, 5658, 5525, 6380, 6095, 6112, 5925, 6246, 5985, 5692, 6261, 5734, 6337, 5966, 6004, 6151, 6161, 5917, 5863, 6300, 5732, 5547, 5851, 6295, 5787, 5864, 5545, 6356, 6175, 6154, 5680, 5799, 5500, 5969, 6301, 5622, 6071, 6030, 5655, 6299, 5519, 5818, 6064, 6054, 5646, 6166, 6272, 5610, 5705, 5956, 5820, 5920, 5581, 6268, 6027, 6074, 6087, 5668, 5794, 5880, 6173, 6434, 6374, 6008, 5807, 5739, 6307, 6437, 5619, 6451, 5618, 5628, 5932, 6235, 6190, 6225, 5629, 5911, 6257, 6410, 6304, 6140, 6395, 5817, 6284, 5927, 6010, 5639, 5758, 6098, 6051, 6239, 5979, 6281, 6417, 5903, 5675, 6456, 5795, 5527, 6242, 6387, 6090, 5623, 5890, 6322, 6418, 6110, 6254, 5620, 5537, 5573, 6359, 5612, 6325, 5513, 6044, 5918, 6473, 6148, 6341, 5543, 6448, 6101, 6280, 6222, 6438, 5981, 6152, 5532, 5626, 6491, 5591, 6170, 5953, 6115, 5744, 6179, 5632, 5861, 6421, 6377, 6245, 5852, 5835, 5625, 6289, 5657, 6111, 5768, 5504, 5741, 5606, 6480, 6167, 6096, 6005, 5522, 5974, 6435, 5643, 6290, 5780, 6444, 6083, 5989, 5893, 5539, 6347, 6016, 6210, 6391, 5789, 5967, 5778, 6035, 6476, 5836, 5702, 6003, 5881, 5714, 6002, 6024, 6203, 6119, 5656, 5691, 5944, 5935, 6046, 5763, 6032, 6266, 6250, 5997, 6207, 6092, 6103, 6043, 5999, 5725, 5552, 6007, 6314, 6159, 5844, 5633, 6269, 5720, 5961, 5583, 6446, 5877, 6171, 6199, 6315, 6271, 5756, 6497, 6383, 5704, 5585, 6144, 6384, 6426, 6285, 5611, 6439, 6351, 5574, 5609, 5905, 5538, 5824, 6149, 6036, 5728, 5515, 5929, 6422, 5644, 6366, 5900, 6354, 6121, 5669, 6394, 5703, 5978, 6022, 6085, 5604, 6436, 5688, 6079, 5767, 6378, 5541, 6398, 6265, 6174, 5809, 5819, 6428, 6163, 5660, 6342, 6097, 6128, 6114, 6183, 5685, 5711, 6277, 6089, 5584, 6201, 6305, 6427, 5975, 5642, 6048, 6091, 6130, 5673, 5621, 5993, 5528, 6353, 6345, 6241, 6041, 6137, 6019, 5810, 6385, 6000, 6169, 6298, 6078, 5699, 6358, 5588, 5546, 5678, 5627, 6106, 5785, 6055, 6425, 5906, 5928, 6415, 6182, 6075, 5962, 6052, 6382, 6145, 6129, 6498, 5904, 5779, 5520, 5784, 5783, 6334, 5970, 6205, 5847, 6441, 6066, 6365, 6176, 5849, 6371, 6326, 5686, 5708, 6180, 5814, 5636, 6431, 6405, 6070, 5869, 6077, 5738, 6080, 6496, 5950, 5806, 5782, 5827, 5896, 5598, 5746, 6014, 5742, 6465, 6123, 5964, 6038, 6218, 6020, 5727, 5888, 5530, 6389, 6061, 6483, 6031, 5901, 6393, 6466, 6320, 5666, 5805, 6168, 5986, 5833, 6143, 6181, 5635, 5681, 6447, 6047, 5570, 5898, 5560, 5931, 6126, 6053, 5823, 5566, 5526, 5858, 5548, 6209, 6336, 6011, 5587, 5677, 6082, 5891, 5839, 5874, 5579, 6214, 6397, 5568, 6263, 5991, 5972, 6081, 6490, 6267, 6310, 6248, 5937, 6216, 6333, 5608, 5875, 5551, 6445, 5983, 5848, 5954, 6262, 5762, 6146, 6191, 6206, 6355, 6244, 5868, 5980, 6423, 5922, 6099, 5933, 5614, 5713, 6317, 6312, 5984, 6255, 6187, 6162, 5930, 5690, 5813, 6192, 6400, 5533, 5973, 6150, 6308, 6313, 6125, 6124, 5733, 5951, 5957, 5662, 5765, 5501, 5894, 5797, 5729, 5730, 6403, 6033, 6455, 5895, 6017, 5712, 6219, 5615, 6208, 6198, 6157, 5634, 6408, 5947, 5745, 5971, 6228, 6296, 5843, 5804, 6293, 6202, 5716, 5846, 6461, 5569, 6006, 5603, 6135, 6360, 5717, 6193, 5792, 5775, 5507, 6243, 5872, 6499, 5736, 6158, 6340, 5995, 6311, 6258, 5938, 6479, 5572, 5882, 6195, 6297, 5943, 5825, 6328, 6330, 5679, 6319, 6236, 6485, 6414, 5908, 6001, 5558, 6396, 6486, 5757, 5803, 5700, 5593, 5866, 6433, 5726, 6240, 5830, 6449, 5575, 6478, 5564, 5915, 6034, 6072, 6484, 6375, 5976, 5631, 6138, 5659, 6346, 6118, 6279, 5554, 6283, 5800, 5594, 5701, 6292, 5842, 5518, 6335, 5750, 6196, 5749, 6329, 6369, 5760, 6134, 5661, 6188, 5542, 6127, 6062, 6352, 6270, 5761, 6165, 6376, 6049, 5687, 6364, 5696, 6367, 5990, 5771, 6057, 6094, 5815, 6039, 5759, 5949, 5563, 5590, 5853, 6009, 5907, 5834, 5982, 5664, 6316, 5557, 6067, 6249, 6142, 6357, 5790, 5647, 5808, 5860, 6012]

1000.times do
  x = a1 | a2
  y = a2 | a1
end
