((((((3807.0:19.0, 4002.0:19.0)3806:17.0, ((4123.0:8.0)3970:34.0, ((4035.0:71.0, 4149.0:22.0)4034:28.0, (4060.0:12.0)4059:25.0)4033:12.0)3969:60.0)3805:14.0, ((((3935.0:5.0)3934:11.0, 4092.0:1.0)3933:18.0, (4042.0:96.0, (4071.0:9.0, 4127.0:5.0)4070:22.0)4041:13.0)3932:58.0, (3982.0:10.0)3981:28.0)3931:19.0)3803:14.0, (3901.0:18.0, 3993.0:9.0)3900:39.0)3802:55.0, ((((((((3843.0:5.0, 4105.0:14.0)3842:17.0, (4063.0:34.0)4062:18.0)3841:9.0, ((((((((((4135.0:20.0, (4470.0:11.0, (4485.0:3.0)4477:8.0)4469:9.0)4134:66.0, ((((4447.0:4.0, 4483.0:4.0)4446:14.0, (4462.0:4.0)4461:14.0)4445:12.0)4421:25.0)4420:29.0)4133:18.0, ((((4388.0:10.0, 4476.0:10.0)4387:6.0, (4468.0:8.0, 4478.0:8.0)4467:8.0)4386:4.0, (4457.0:3.0, 4486.0:3.0)4456:18.0)4385:66.0, 4417.0:44.0)4384:17.0)4132:18.0, ((4343.0:82.0, (4424.0:8.0, 4438.0:4.0)4423:39.0)4342:15.0, 4393.0:46.0)4341:25.0)4131:42.0, (((((4311.0:17.0)4310:12.0, (4398.0:4.0)4397:8.0)4309:2.0, 4407.0:51.0)4308:10.0, ((4430.0:3.0)4379:29.0, 4415.0:28.0)4378:17.0)4307:14.0, (4356.0:6.0, 4377.0:12.0)4355:14.0)4306:48.0)4130:19.0, ((((4266.0:33.0, ((4435.0:4.0)4434:45.0)4414:38.0)4265:17.0, (((4383.0:12.0, 4458.0:6.0)4382:47.0, 4427.0:13.0)4381:18.0, 4395.0:78.0)4380:11.0)4264:14.0, ((4350.0:7.0, 4408.0:1.0)4349:19.0, (4372.0:60.0, 4409.0:16.0)4371:19.0)4348:11.0)4263:48.0, (4303.0:19.0, 4347.0:6.0)4302:45.0)4262:17.0)4129:30.0, ((4192.0:49.0, 4267.0:4.0)4191:18.0, (4215.0:30.0, 4274.0:30.0)4214:26.0)4190:11.0)4128:37.0, 545.0:35.0)4051:6.0, ((((((4168.0:5.0, 4227.0:3.0)4167:2.0, 4226.0:17.0)4166:1.0, ((4221.0:14.0, 4280.0:7.0)4220:13.0, ((4253.0:18.0)4252:19.0)4251:24.0)4219:12.0)4164:10.0, (4317.0:102.0, ((4198.0:22.0, 4392.0:3.0)4197:20.0, (4353.0:91.0, 4406.0:33.0)4352:29.0)585:39.0)4196:56.0)4163:2.0, 4189.0:1.0)4162:30.0, ((4108.0:3.0)4107:13.0, (4213.0:19.0, 4249.0:10.0)4212:12.0)552:41.0)4106:12.0)4050:16.0, ((((((((4321.0:10.0)4320:23.0, 4345.0:2.0)4319:29.0, ((4422.0:9.0)4299:53.0, 4328.0:3.0)586:15.0)4298:19.0, ((4078.0:18.0, (4437.0:1.0)4426:36.0)4077:47.0, ((((4340.0:6.0, 4482.0:6.0)4339:9.0)4338:12.0, (4450.0:6.0)4449:22.0)4337:81.0, (4370.0:29.0, (4419.0:6.0)4418:43.0)4369:21.0)4336:14.0)575:46.0)4076:3.0, (((4287.0:8.0)4286:14.0, (4376.0:7.0)4375:25.0)4285:19.0, ((4335.0:9.0, 4416.0:22.0)4334:23.0, (4365.0:18.0, 4425.0:14.0)4364:29.0)4333:13.0)4284:49.0)4075:21.0, ((4239.0:3.0)4238:44.0, 4290.0:16.0)4237:22.0)4074:21.0, ((((4188.0:15.0, 4346.0:4.0)4187:6.0)4186:50.0, (4279.0:46.0, 4301.0:34.0)4278:7.0)4185:16.0, (4242.0:14.0, 4314.0:17.0)4241:33.0)4184:22.0)4073:42.0, ((4161.0:29.0, 4244.0:23.0)4160:16.0, ((4205.0:17.0, 4313.0:11.0)4204:33.0, (4229.0:15.0, 4289.0:11.0)4228:24.0)4203:12.0)4112:49.0)4072:17.0)4049:10.0)3840:11.0, (4021.0:24.0, 4054.0:10.0)4020:14.0)3839:22.0, 4012.0:6.0)3837:44.0, (3941.0:44.0, 3994.0:58.0)3940:23.0)3836:11.0)3835:9.0, (3884.0:9.0, ((3945.0:4.0, 3997.0:2.0)3944:10.0, (3974.0:26.0)3973:30.0)3943:16.0)3883:23.0)3834:49.0)3801:13.0, 3819.0:8.0)3810:7.0