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