addition([test(9271),test(5812),test(9788)], [test(4522),test(8572),test(3555)], 1575).
addition([test(4052),test(7966),test(5512)], [test(4884),test(5655),test(133)], 1554).
addition([test(3528),test(6990),test(3609)], [test(9750),test(8150),test(6761)], 741).
addition([test(8919),test(6411),test(6859)], [test(222),test(9397),test(473)], 1185).
addition([test(2144),test(421),test(6211)], [test(4805),test(2307),test(194)], 860).
addition([test(1224),test(4652),test(4102)], [test(5155),test(7878),test(368)], 333).
addition([test(6304),test(1613),test(3616)], [test(4449),test(8820),test(8910)], 1510).
addition([test(6461),test(9484),test(1755)], [test(1196),test(7368),test(5203)], 646).
addition([test(9150),test(6809),test(1586)], [test(114),test(2039),test(5872)], 1574).
addition([test(554),test(3056),test(7064)], [test(131),test(9080),test(7897)], 1398).
addition([test(8310),test(941),test(2080)], [test(4910),test(1448),test(3980)], 1183).
addition([test(5963),test(8473),test(1200)], [test(232),test(7069),test(1824)], 1530).
addition([test(8563),test(3158),test(8281)], [test(8763),test(6387),test(2367)], 652).
addition([test(446),test(2571),test(2707)], [test(5484),test(4917),test(7918)], 1215).
addition([test(1507),test(1538),test(8681)], [test(6837),test(1662),test(4705)], 1482).
addition([test(7249),test(3160),test(8823)], [test(3219),test(3104),test(7682)], 334).
addition([test(6157),test(5391),test(6930)], [test(8949),test(9112),test(6065)], 1876).
addition([test(8918),test(5554),test(8748)], [test(932),test(5072),test(3869)], 719).
addition([test(514),test(8638),test(8639)], [test(8120),test(7914),test(4494)], 1035).
addition([test(7542),test(1947),test(8692)], [test(9027),test(7330),test(9353)], 825).
addition([test(851),test(9601),test(3927)], [test(3412),test(174),test(1837)], 32).
addition([test(1019),test(5133),test(7289)], [test(4744),test(7016),test(9304)], 982).
addition([test(4580),test(4680),test(9569)], [test(6014),test(6384),test(4179)], 383).
addition([test(6039),test(3428),test(2026)], [test(621),test(9665),test(1690)], 1829).
addition([test(1137),test(430),test(2781)], [test(4967),test(9337),test(5429)], 1078).
addition([test(7901),test(6734),test(5112)], [test(1527),test(3629),test(7471)], 1030).
addition([test(4336),test(2029),test(32)], [test(3309),test(2804),test(6075)], 1396).
addition([test(3092),test(2952),test(6547)], [test(8951),test(846),test(7820)], 204).
addition([test(8256),test(6407),test(3264)], [test(4361),test(3821),test(7864)], 710).
addition([test(4263),test(9332),test(2819)], [test(6554),test(9015),test(2442)], 811).
addition([test(8713),test(7015),test(3490)], [test(2451),test(3378),test(1210)], 1196).
addition([test(1189),test(7678),test(4409)], [test(8290),test(9153),test(3200)], 520).
addition([test(4399),test(672),test(2258)], [test(7597),test(380),test(4516)], 1612).
addition([test(3057),test(6098),test(1377)], [test(9247),test(8387),test(4653)], 947).
addition([test(4703),test(9439),test(3579)], [test(9932),test(6126),test(884)], 1293).
addition([test(8664),test(9216),test(3415)], [test(483),test(9385),test(2340)], 1076).
addition([test(91),test(8720),test(5683)], [test(8063),test(1312),test(4824)], 1299).
addition([test(8963),test(4394),test(7538)], [test(5543),test(1463),test(2940)], 1699).
addition([test(8399),test(8),test(3344)], [test(4740),test(1333),test(9367)], 956).
addition([test(4267),test(6633),test(3172)], [test(906),test(8858),test(7412)], 1006).
addition([test(1044),test(1275),test(4582)], [test(1369),test(4275),test(6258)], 1368).
addition([test(5343),test(1745),test(115)], [test(5545),test(5468),test(1279)], 1128).
addition([test(5458),test(4835),test(6540)], [test(5549),test(5816),test(1092)], 1434).
addition([test(4205),test(8665),test(9527)], [test(4391),test(655),test(4286)], 1030).
addition([test(5896),test(4640),test(271)], [test(3387),test(5220),test(6051)], 1172).
addition([test(4087),test(2237),test(5000)], [test(8213),test(3079),test(2718)], 1329).
addition([test(2627),test(7120),test(5395)], [test(9755),test(859),test(7773)], 896).
addition([test(8388),test(6667),test(7058)], [test(6873),test(1661),test(9834)], 404).
addition([test(6505),test(9120),test(6449)], [test(5656),test(2779),test(6143)], 1721).
addition([test(4714),test(6138),test(9859)], [test(169),test(1644),test(5711)], 772).
addition([test(6780),test(3308),test(5496)], [test(2472),test(3407),test(8542)], 1413).
addition([test(5926),test(7067),test(7173)], [test(9068),test(3376),test(1917)], 1326).
addition([test(6440),test(5759),test(6475)], [test(6371),test(1768),test(7614)], 621).
addition([test(7068),test(4834),test(317)], [test(6687),test(474),test(3208)], 1092).
addition([test(9951),test(1579),test(5937)], [test(7725),test(8911),test(4955)], 242).
addition([test(6929),test(6457),test(6347)], [test(1087),test(4132),test(2210)], 854).
addition([test(9469),test(6303),test(8376)], [test(8055),test(4138),test(7405)], 802).
addition([test(1539),test(9856),test(1779)], [test(4891),test(9335),test(6627)], 412).
addition([test(4116),test(6167),test(5393)], [test(2323),test(950),test(9959)], 1842).
addition([test(4417),test(8588),test(7093)], [test(7337),test(3570),test(3804)], 1012).
addition([test(7320),test(469),test(338)], [test(7243),test(994),test(9865)], 1668).
addition([test(8577),test(9694),test(7579)], [test(3862),test(2880),test(5866)], 706).
addition([test(8061),test(6832),test(5909)], [test(9920),test(8879),test(3388)], 1300).
addition([test(9289),test(5690),test(276)], [test(3077),test(3576),test(2247)], 646).
addition([test(2806),test(9186),test(1075)], [test(768),test(8010),test(6805)], 608).
addition([test(8324),test(9888),test(4963)], [test(3082),test(6448),test(5859)], 510).
addition([test(7978),test(9116),test(9720)], [test(1179),test(766),test(9451)], 943).
addition([test(8163),test(5139),test(4974)], [test(5861),test(8253),test(6840)], 727).
addition([test(9525),test(705),test(2028)], [test(3698),test(7355),test(3620)], 550).
addition([test(7548),test(6433),test(6858)], [test(7927),test(8481),test(4368)], 1352).
addition([test(2583),test(5476),test(7415)], [test(3275),test(501),test(9225)], 938).
addition([test(1247),test(4922),test(9935)], [test(2791),test(1844),test(9173)], 1605).
addition([test(3136),test(9669),test(5522)], [test(7347),test(23),test(7262)], 1699).
addition([test(8489),test(9739),test(3460)], [test(8456),test(8016),test(9761)], 1109).
addition([test(9106),test(28),test(7221)], [test(6085),test(8627),test(52)], 685).
addition([test(4378),test(4700),test(3168)], [test(8102),test(2743),test(6476)], 854).
addition([test(979),test(6204),test(327)], [test(7601),test(5092),test(3138)], 143).
addition([test(3707),test(2802),test(1556)], [test(1274),test(2189),test(4878)], 1320).
addition([test(7696),test(9605),test(9336)], [test(1845),test(6806),test(1522)], 828).
addition([test(570),test(4775),test(2989)], [test(4340),test(3249),test(500)], 1066).
addition([test(1849),test(3633),test(7253)], [test(3202),test(476),test(3823)], 1193).
addition([test(8649),test(891),test(4637)], [test(3815),test(5829),test(7833)], 949).
addition([test(6618),test(2540),test(210)], [test(699),test(6103),test(346)], 484).
addition([test(8904),test(8032),test(1366)], [test(9591),test(3375),test(9872)], 860).
addition([test(4767),test(1466),test(4803)], [test(8771),test(4046),test(4261)], 1399).
addition([test(4509),test(6817),test(8233)], [test(7813),test(9811),test(7090)], 1316).
addition([test(5490),test(8575),test(6504)], [test(7232),test(7956),test(8382)], 243).
addition([test(1742),test(4367),test(3034)], [test(218),test(7142),test(9903)], 880).
addition([test(2823),test(4470),test(4319)], [test(3495),test(9661),test(1436)], 1125).
addition([test(486),test(3044),test(7951)], [test(5045),test(284),test(6438)], 1099).
addition([test(8386),test(3853),test(3854)], [test(8072),test(6795),test(4690)], 1074).
addition([test(68),test(4780),test(710)], [test(5721),test(83),test(4256)], 378).
addition([test(2715),test(6514),test(990)], [test(9824),test(4853),test(5205)], 1299).
addition([test(6890),test(647),test(4479)], [test(3901),test(3423),test(4697)], 1096).
addition([test(560),test(8778),test(3120)], [test(8958),test(1245),test(9986)], 1806).
addition([test(5782),test(4893),test(9638)], [test(7853),test(4070),test(702)], 1256).
addition([test(9297),test(2493),test(7137)], [test(224),test(9432),test(3512)], 284).
addition([test(6850),test(9132),test(1153)], [test(7167),test(75),test(7188)], 1032).
addition([test(2565),test(546),test(448)], [test(6101),test(9511),test(7309)], 847).
addition([test(4854),test(6035),test(96)], [test(9395),test(7989),test(9189)], 421).
addition([test(663),test(4260),test(1251)], [test(4411),test(8346),test(4294)], 961).
addition([test(4099),test(967),test(5881)], [test(3059),test(2083),test(468)], 1455).
addition([test(7920),test(9562),test(9754)], [test(434),test(8267),test(839)], 1193).
addition([test(1419),test(774),test(625)], [test(7040),test(5725),test(3448)], 789).
addition([test(8599),test(4523),test(6255)], [test(4863),test(3505),test(9480)], 1855).
addition([test(6295),test(3022),test(3030)], [test(3105),test(6855),test(2395)], 734).
addition([test(6181),test(4529),test(980)], [test(9107),test(2477),test(5800)], 951).
addition([test(2621),test(3747),test(4531)], [test(9719),test(8806),test(5559)], 794).
addition([test(5556),test(6175),test(356)], [test(5379),test(4858),test(1994)], 1256).
addition([test(185),test(7042),test(2818)], [test(7505),test(6933),test(6900)], 1030).
addition([test(7588),test(6803),test(357)], [test(1534),test(6787),test(4112)], 1049).
addition([test(8710),test(4328),test(4791)], [test(6753),test(4384),test(2606)], 539).
addition([test(2722),test(617),test(6972)], [test(1683),test(5818),test(6177)], 481).
addition([test(8461),test(5784),test(9924)], [test(7259),test(1983),test(8533)], 1232).
addition([test(9975),test(7127),test(1964)], [test(6428),test(8841),test(4139)], 485).
addition([test(4083),test(2674),test(7623)], [test(5558),test(2141),test(3848)], 1395).
addition([test(6522),test(8544),test(1959)], [test(1805),test(8403),test(7530)], 1294).
addition([test(602),test(5449),test(759)], [test(3256),test(442),test(7007)], 861).
addition([test(8009),test(2513),test(8337)], [test(5334),test(576),test(9308)], 1606).
addition([test(7403),test(856),test(3081)], [test(9901),test(1567),test(3116)], 1534).
addition([test(2131),test(697),test(5335)], [test(4921),test(8332),test(5033)], 1434).
addition([test(2624),test(8752),test(11)], [test(5841),test(175),test(9254)], 685).
addition([test(2212),test(4643),test(5525)], [test(5944),test(8825),test(7997)], 1189).
addition([test(8431),test(8914),test(9054)], [test(3776),test(8935),test(7894)], 1511).
addition([test(5477),test(1250),test(7089)], [test(8264),test(7304),test(4219)], 624).
addition([test(9230),test(9038),test(3184)], [test(977),test(5785),test(2972)], 127).
addition([test(8099),test(4983),test(1079)], [test(4611),test(5443),test(823)], 138).
addition([test(6307),test(4222),test(3420)], [test(7209),test(3192),test(6967)], 1410).
addition([test(8397),test(1249),test(1677)], [test(7286),test(1532),test(7046)], 1183).
addition([test(2668),test(1785),test(8451)], [test(8029),test(565),test(6242)], 560).
addition([test(7572),test(8568),test(8623)], [test(3866),test(4283),test(9381)], 413).
addition([test(8724),test(7212),test(5357)], [test(5305),test(9703),test(1109)], 149).
addition([test(3253),test(42),test(685)], [test(9917),test(6862),test(6319)], 978).
addition([test(8297),test(8427),test(5687)], [test(4656),test(2817),test(3672)], 1017).
addition([test(9452),test(3664),test(1967)], [test(7151),test(5564),test(9343)], 1141).
addition([test(7432),test(5147),test(6736)], [test(9172),test(5862),test(9679)], 1459).
addition([test(9138),test(2264),test(3652)], [test(7470),test(6422),test(2638)], 1031).
addition([test(3039),test(5194),test(8494)], [test(7753),test(7857),test(4192)], 777).
addition([test(6045),test(6565),test(2837)], [test(5707),test(6073),test(8505)], 1315).
addition([test(7464),test(835),test(877)], [test(9400),test(6191),test(8304)], 1425).
addition([test(9023),test(3801),test(1796)], [test(6845),test(5831),test(7010)], 1673).
addition([test(6756),test(6479),test(6978)], [test(3447),test(5673),test(1447)], 1365).
addition([test(4042),test(9496),test(2023)], [test(6340),test(8228),test(7968)], 683).
addition([test(3992),test(2242),test(3625)], [test(7048),test(9646),test(8199)], 1061).
addition([test(4547),test(252),test(5014)], [test(4499),test(3800),test(7880)], 1357).
addition([test(3214),test(7778),test(3588)], [test(2965),test(669),test(897)], 303).
addition([test(9536),test(2503),test(4930)], [test(2737),test(3254),test(4570)], 990).
addition([test(1242),test(4844),test(2295)], [test(3993),test(7236),test(1397)], 1241).
addition([test(5832),test(1665),test(7898)], [test(3696),test(5396),test(7055)], 703).
addition([test(581),test(999),test(6392)], [test(7586),test(3349),test(637)], 968).
addition([test(696),test(8896),test(4657)], [test(9549),test(9566),test(3126)], 334).
addition([test(2659),test(4956),test(9123)], [test(6367),test(8699),test(8960)], 966).
addition([test(7654),test(1950),test(6361)], [test(7029),test(2081),test(7057)], 1282).
addition([test(2282),test(3511),test(7743)], [test(4287),test(895),test(1042)], 1429).
addition([test(8178),test(8711),test(7315)], [test(4908),test(4902),test(7840)], 1107).
addition([test(3246),test(6151),test(1931)], [test(8817),test(8340),test(2308)], 1748).
addition([test(4977),test(2093),test(7224)], [test(1620),test(3367),test(2572)], 411).
addition([test(8952),test(3920),test(4091)], [test(263),test(492),test(1632)], 1096).
addition([test(7164),test(8962),test(8717)], [test(7891),test(6380),test(9953)], 1575).
addition([test(6262),test(2876),test(7821)], [test(1704),test(6163),test(6529)], 967).
addition([test(1518),test(3628),test(311)], [test(5292),test(2391),test(7054)], 442).
addition([test(3947),test(8658),test(1088)], [test(8608),test(9128),test(6912)], 1061).
addition([test(997),test(1996),test(3454)], [test(2962),test(5281),test(9267)], 75).
addition([test(1701),test(7919),test(2687)], [test(5857),test(5409),test(7772)], 1322).
addition([test(8421),test(9386),test(4212)], [test(2623),test(7873),test(7549)], 1097).
addition([test(550),test(6490),test(5350)], [test(5004),test(8195),test(4028)], 1178).
addition([test(8873),test(4431),test(7662)], [test(7605),test(4057),test(7030)], 861).
addition([test(1501),test(7023),test(7317)], [test(7097),test(5294),test(1286)], 1258).
addition([test(6360),test(9674),test(1646)], [test(1990),test(9564),test(6789)], 1392).
addition([test(562),test(2954),test(2345)], [test(9673),test(1267),test(9815)], 1795).
addition([test(8520),test(7417),test(6642)], [test(9642),test(7277),test(7276)], 1476).
addition([test(4642),test(451),test(5064)], [test(5661),test(800),test(4701)], 226).
addition([test(4314),test(1370),test(1940)], [test(8646),test(8753),test(969)], 1189).
addition([test(3288),test(9621),test(6120)], [test(8885),test(9118),test(3250)], 1127).
addition([test(7419),test(8925),test(208)], [test(1078),test(4649),test(3475)], 1205).
addition([test(8525),test(2631),test(9071)], [test(2979),test(6146),test(6093)], 1653).
addition([test(7409),test(4822),test(7266)], [test(3445),test(4480),test(4727)], 775).
addition([test(9011),test(3225),test(1606)], [test(4686),test(1219),test(5249)], 1057).
addition([test(8091),test(9862),test(4425)], [test(5574),test(1051),test(3794)], 817).
addition([test(3484),test(7453),test(6641)], [test(6640),test(7034),test(8379)], 1101).
addition([test(9369),test(3963),test(6078)], [test(5057),test(4239),test(523)], 887).
addition([test(6405),test(1442),test(3472)], [test(8906),test(2478),test(5224)], 1532).
addition([test(8239),test(2392),test(5165)], [test(9164),test(9175),test(657)], 863).
addition([test(5946),test(8513),test(1059)], [test(3666),test(3313),test(3178)], 1384).
addition([test(9405),test(3222),test(2184)], [test(6335),test(4044),test(5274)], 796).
addition([test(3435),test(5814),test(5887)], [test(336),test(5359),test(1206)], 1174).
addition([test(2886),test(3864),test(2871)], [test(9617),test(3567),test(841)], 1090).
addition([test(3726),test(2231),test(5803)], [test(3010),test(3824),test(8003)], 805).
addition([test(498),test(8537),test(3446)], [test(1165),test(561),test(3132)], 991).
addition([test(432),test(7808),test(4779)], [test(1754),test(3361),test(1528)], 1227).
addition([test(7451),test(3326),test(2403)], [test(3481),test(3738),test(9103)], 564).
addition([test(3325),test(9918),test(1925)], [test(8736),test(7818),test(6419)], 838).
addition([test(3047),test(5469),test(3549)], [test(9782),test(831),test(7704)], 877).
addition([test(8349),test(6708),test(3970)], [test(6036),test(7816),test(7184)], 941).
addition([test(249),test(452),test(6830)], [test(7418),test(3485),test(7521)], 422).
addition([test(9584),test(527),test(6005)], [test(6955),test(2100),test(7770)], 1439).
addition([test(488),test(6002),test(9993)], [test(5382),test(918),test(7263)], 1270).
addition([test(5308),test(4019),test(8654)], [test(7535),test(1029),test(7675)], 1250).
addition([test(404),test(5949),test(2492)], [test(3833),test(1543),test(7066)], 1144).
addition([test(3870),test(2689),test(9695)], [test(4068),test(9966),test(7360)], 927).
addition([test(7291),test(6017),test(7664)], [test(17),test(1325),test(9534)], 1061).
addition([test(1235),test(5497),test(8026)], [test(8964),test(5404),test(7592)], 1162).
addition([test(8313),test(3421),test(250)], [test(539),test(7938),test(4732)], 965).
addition([test(9051),test(8695),test(9663)], [test(8779),test(5709),test(8422)], 819).
addition([test(2006),test(795),test(9323)], [test(5547),test(5986),test(485)], 1477).
addition([test(9774),test(2351),test(3592)], [test(61),test(6666),test(9929)], 1016).
addition([test(6466),test(3878),test(4726)], [test(5181),test(9606),test(5908)], 637).
addition([test(8394),test(5794),test(3245)], [test(5275),test(5153),test(8650)], 779).
addition([test(8371),test(7792),test(7406)], [test(3410),test(4710),test(209)], 1391).
addition([test(7174),test(165),test(996)], [test(416),test(5629),test(370)], 1079).
addition([test(8401),test(1851),test(8785)], [test(1596),test(962),test(9660)], 1790).
addition([test(5835),test(7834),test(413)], [test(88),test(5301),test(9414)], 1347).
addition([test(2948),test(8159),test(5441)], [test(1819),test(9001),test(9470)], 1178).
addition([test(4069),test(7450),test(2756)], [test(1900),test(1951),test(8749)], 350).
addition([test(1971),test(3459),test(9854)], [test(736),test(8338),test(3018)], 1104).
addition([test(5029),test(6456),test(810)], [test(7338),test(3327),test(7789)], 1339).
addition([test(4191),test(9889),test(4772)], [test(6523),test(1440),test(1998)], 983).
addition([test(2048),test(7556),test(1840)], [test(340),test(2232),test(6443)], 1312).
addition([test(9280),test(4574),test(1861)], [test(9664),test(9908),test(3954)], 1079).
addition([test(2463),test(2004),test(7676)], [test(7318),test(9556),test(1740)], 1703).
addition([test(4213),test(3997),test(3019)], [test(5217),test(667),test(2244)], 1250).
addition([test(403),test(4467),test(3304)], [test(7621),test(8312),test(2696)], 1325).
addition([test(392),test(5352),test(4585)], [test(1150),test(2271),test(2397)], 1081).
addition([test(3053),test(9514),test(2712)], [test(4344),test(4308),test(868)], 1475).
addition([test(6758),test(6059),test(391)], [test(7702),test(5755),test(8070)], 201).
addition([test(2095),test(7103),test(9466)], [test(9916),test(4346),test(1726)], 1499).
addition([test(7113),test(9577),test(586)], [test(1104),test(5858),test(9809)], 1390).
addition([test(7444),test(3122),test(4846)], [test(8391),test(8232),test(1954)], 1634).
addition([test(889),test(7523),test(5891)], [test(8385),test(2135),test(5569)], 843).
addition([test(5445),test(1563),test(5141)], [test(1264),test(8076),test(4272)], 1069).
addition([test(7341),test(3974),test(8705)], [test(5922),test(5568),test(3062)], 987).
addition([test(2928),test(551),test(7960)], [test(7823),test(9714),test(4015)], 986).
addition([test(5745),test(2378),test(6835)], [test(479),test(3650),test(350)], 1601).
addition([test(9794),test(3285),test(4970)], [test(5534),test(2299),test(382)], 760).
addition([test(3916),test(862),test(8939)], [test(5157),test(1454),test(6867)], 597).
addition([test(1445),test(9552),test(6301)], [test(3155),test(8850),test(7460)], 423).
addition([test(747),test(9085),test(2658)], [test(5531),test(7843),test(7734)], 421).
addition([test(7178),test(2532),test(9137)], [test(5665),test(5674),test(1130)], 1199).
addition([test(3067),test(5971),test(8643)], [test(2312),test(2482),test(9435)], 1066).
addition([test(3757),test(239),test(8507)], [test(4546),test(9422),test(6063)], 1066).
addition([test(1523),test(7585),test(5876)], [test(4434),test(6989),test(8345)], 1690).
addition([test(9356),test(651),test(7658)], [test(7186),test(5001),test(541)], 665).
addition([test(6613),test(5077),test(1848)], [test(6020),test(9303),test(8870)], 1299).
addition([test(5615),test(5434),test(6999)], [test(7726),test(4173),test(4321)], 713).
addition([test(8746),test(9648),test(4414)], [test(3955),test(8598),test(1174)], 736).
addition([test(3641),test(3728),test(9081)], [test(3634),test(3898),test(9130)], 197).
addition([test(6884),test(9325),test(6963)], [test(266),test(5129),test(3584)], 1387).
addition([test(8035),test(3741),test(5797)], [test(9822),test(9897),test(379)], 922).
addition([test(9256),test(6062),test(9857)], [test(1984),test(7265),test(1686)], 896).
addition([test(9600),test(8128),test(2549)], [test(4131),test(2008),test(9448)], 1050).
addition([test(7364),test(8088),test(9354)], [test(4008),test(4247),test(5729)], 846).
addition([test(6557),test(3561),test(5401)], [test(3769),test(2249),test(5911)], 394).
addition([test(8086),test(3244),test(7414)], [test(1381),test(2116),test(4464)], 381).
addition([test(4539),test(323),test(9919)], [test(9373),test(2671),test(9965)], 1410).
addition([test(5657),test(1893),test(6871)], [test(1076),test(6731),test(2196)], 1066).
addition([test(6521),test(4486),test(6084)], [test(3896),test(8354),test(8671)], 612).
addition([test(8567),test(3026),test(7618)], [test(433),test(1739),test(3282)], 515).
addition([test(4347),test(894),test(9726)], [test(8490),test(9973),test(6702)], 723).
addition([test(6108),test(3183),test(6131)], [test(850),test(4353),test(6680)], 251).
addition([test(8136),test(3284),test(6882)], [test(9058),test(3499),test(2181)], 1672).
addition([test(7731),test(4508),test(4114)], [test(2873),test(9767),test(4146)], 572).
addition([test(2246),test(1822),test(8432)], [test(7332),test(3960),test(2010)], 1312).
addition([test(3191),test(8440),test(7139)], [test(1164),test(4614),test(606)], 788).
addition([test(8619),test(7714),test(1182)], [test(3236),test(3340),test(5540)], 823).
addition([test(5567),test(63),test(6907)], [test(480),test(3098),test(190)], 204).
addition([test(6634),test(8751),test(8125)], [test(5817),test(6080),test(3316)], 685).
addition([test(4941),test(5163),test(7723)], [test(4303),test(8363),test(7427)], 426).
addition([test(4062),test(4488),test(4852)], [test(6496),test(6488),test(7428)], 1016).
addition([test(4579),test(8901),test(2714)], [test(3533),test(6693),test(5950)], 1128).
addition([test(4799),test(1723),test(1322)], [test(4743),test(4763),test(7975)], 1765).
addition([test(2637),test(2425),test(973)], [test(1459),test(1039),test(8188)], 1263).
addition([test(6107),test(9960),test(9279)], [test(4128),test(7782),test(5196)], 652).
addition([test(790),test(41),test(2501)], [test(3806),test(2885),test(9255)], 692).
addition([test(8012),test(4954),test(938)], [test(2547),test(930),test(4929)], 1597).
addition([test(773),test(8339),test(1749)], [test(4096),test(127),test(7567)], 1833).
addition([test(6186),test(3000),test(2542)], [test(3807),test(8733),test(6849)], 1438).
addition([test(4471),test(7969),test(8056)], [test(8846),test(7747),test(5276)], 1616).
addition([test(5020),test(623),test(3685)], [test(7128),test(9540),test(4168)], 1475).
addition([test(7183),test(6915),test(7000)], [test(8369),test(1922),test(8790)], 555).
addition([test(1727),test(8620),test(9181)], [test(2091),test(2049),test(5327)], 1163).
addition([test(6728),test(6487),test(3156)], [test(3037),test(2586),test(7490)], 853).
addition([test(8838),test(4505),test(7765)], [test(98),test(8164),test(1772)], 915).
addition([test(8565),test(1329),test(5658)], [test(8691),test(155),test(8064)], 772).
addition([test(4181),test(843),test(8517)], [test(4362),test(3748),test(7690)], 1009).
addition([test(1187),test(2420),test(5500)], [test(2346),test(4664),test(4038)], 826).
addition([test(6293),test(1909),test(3802)], [test(653),test(686),test(7202)], 242).
addition([test(9399),test(6718),test(1156)], [test(8261),test(7367),test(7671)], 897).
addition([test(7689),test(7767),test(2780)], [test(67),test(5863),test(9900)], 1310).
addition([test(4339),test(2045),test(9763)], [test(3885),test(5855),test(5012)], 1216).
addition([test(9729),test(5130),test(1148)], [test(6853),test(8040),test(4931)], 1351).
addition([test(762),test(2758),test(3651)], [test(1626),test(8284),test(3279)], 1159).
addition([test(1991),test(1512),test(8132)], [test(4165),test(1831),test(5225)], 1158).
addition([test(8578),test(5148),test(701)], [test(3749),test(7456),test(8527)], 1154).
addition([test(9905),test(5641),test(7625)], [test(1960),test(7506),test(1675)], 1128).
addition([test(5296),test(9379),test(4117)], [test(1097),test(1317),test(6597)], 758).
addition([test(4032),test(8134),test(254)], [test(9445),test(7750),test(9533)], 512).
addition([test(9227),test(5871),test(2480)], [test(6053),test(5560),test(5104)], 971).
addition([test(2428),test(2056),test(753)], [test(4182),test(8899),test(7786)], 1682).
addition([test(9078),test(7038),test(6379)], [test(2187),test(4723),test(1587)], 1589).
addition([test(8518),test(1533),test(2471)], [test(8644),test(3983),test(3784)], 917).
addition([test(7311),test(1045),test(6316)], [test(7099),test(700),test(93)], 1210).
addition([test(3839),test(4707),test(8999)], [test(6450),test(2465),test(4101)], 1149).
addition([test(607),test(7766),test(3644)], [test(5748),test(1778),test(9757)], 918).
addition([test(3272),test(772),test(1265)], [test(5510),test(1545),test(8847)], 708).
addition([test(8976),test(4526),test(4568)], [test(9030),test(5105),test(9644)], 264).
addition([test(662),test(4601),test(9415)], [test(3074),test(5331),test(4900)], 1298).
addition([test(9460),test(8008),test(8262)], [test(2734),test(6460),test(8994)], 521).
addition([test(4278),test(7839),test(726)], [test(6029),test(2075),test(7532)], 653).
addition([test(8547),test(847),test(8912)], [test(955),test(9003),test(944)], 1351).
addition([test(3618),test(5651),test(7105)], [test(3596),test(8260),test(7)], 1325).
addition([test(6851),test(6225),test(6134)], [test(9524),test(2829),test(5011)], 1184).
addition([test(7154),test(2113),test(9086)], [test(3688),test(8296),test(7697)], 895).
addition([test(2593),test(1823),test(3884)], [test(9805),test(2457),test(1732)], 538).
addition([test(2229),test(8729),test(1409)], [test(8905),test(9066),test(3507)], 481).
addition([test(6272),test(3544),test(9088)], [test(9804),test(112),test(3343)], 686).
addition([test(7841),test(6852),test(6752)], [test(5288),test(7473),test(6320)], 1211).
addition([test(4736),test(6516),test(4645)], [test(8493),test(8840),test(8220)], 879).
addition([test(6713),test(1491),test(8942)], [test(3300),test(3496),test(4047)], 577).
addition([test(3529),test(7851),test(5447)], [test(4073),test(9197),test(7194)], 1753).
addition([test(6909),test(4469),test(3847)], [test(1572),test(1091),test(8133)], 1406).
addition([test(5503),test(8545),test(1926)], [test(8068),test(4751),test(6519)], 1055).
addition([test(9036),test(5088),test(9488)], [test(2443),test(4554),test(9021)], 1666).
addition([test(995),test(7279),test(517)], [test(7172),test(7933),test(1751)], 810).
addition([test(8234),test(9389),test(3719)], [test(3290),test(8165),test(9979)], 1054).
addition([test(8826),test(22),test(8909)], [test(751),test(1020),test(7929)], 1401).
addition([test(3312),test(5272),test(1999)], [test(4850),test(2661),test(7246)], 1344).
addition([test(9375),test(2058),test(1855)], [test(1258),test(9458),test(2630)], 1402).
addition([test(5997),test(8223),test(4293)], [test(8977),test(965),test(3700)], 1553).
addition([test(1691),test(6635),test(9510)], [test(6587),test(3551),test(4598)], 966).
addition([test(1108),test(6577),test(7872)], [test(1794),test(6369),test(9092)], 726).
addition([test(5452),test(3174),test(5588)], [test(3269),test(7082),test(4783)], 715).
addition([test(5090),test(4264),test(2699)], [test(8781),test(3170),test(8365)], 1014).
addition([test(4588),test(9683),test(3241)], [test(4913),test(6094),test(7408)], 913).
addition([test(1648),test(6217),test(6257)], [test(2204),test(4242),test(8192)], 960).
addition([test(8917),test(658),test(1172)], [test(6825),test(4741),test(9520)], 1174).
addition([test(9538),test(7748),test(4442)], [test(1295),test(7331),test(721)], 572).
addition([test(3177),test(70),test(4396)], [test(8758),test(4636),test(1289)], 499).
addition([test(5836),test(1472),test(9678)], [test(3339),test(873),test(6373)], 1060).
addition([test(3310),test(2976),test(2742)], [test(6127),test(9551),test(1997)], 112).
addition([test(4110),test(7988),test(4927)], [test(7250),test(7735),test(4078)], 540).
addition([test(136),test(6549),test(3944)], [test(2074),test(9142),test(2256)], 557).
addition([test(53),test(7308),test(9870)], [test(7104),test(7977),test(6248)], 853).
addition([test(2225),test(5826),test(4357)], [test(4233),test(7876),test(1136)], 1388).
addition([test(8468),test(8416),test(4966)], [test(9792),test(1718),test(1474)], 525).
addition([test(6337),test(2892),test(3712)], [test(1623),test(2129),test(8510)], 393).
addition([test(7558),test(1761),test(3906)], [test(706),test(1248),test(4724)], 1039).
addition([test(4489),test(954),test(9096)], [test(2107),test(9873),test(2711)], 1837).
addition([test(9060),test(4712),test(1389)], [test(7884),test(1622),test(8299)], 1053).
addition([test(516),test(4171),test(1515)], [test(3702),test(1982),test(8983)], 771).
addition([test(3914),test(991),test(2373)], [test(1798),test(7044),test(1297)], 1024).
addition([test(3015),test(3925),test(2914)], [test(4748),test(4682),test(2941)], 1212).
addition([test(3146),test(6506),test(2433)], [test(9104),test(6209),test(2342)], 801).
addition([test(7005),test(7596),test(294)], [test(3332),test(3147),test(1874)], 655).
addition([test(273),test(7362),test(1896)], [test(8486),test(926),test(9816)], 1802).
addition([test(7214),test(6892),test(270)], [test(3239),test(8095),test(2702)], 549).
addition([test(5048),test(8443),test(35)], [test(3302),test(4514),test(8774)], 1357).
addition([test(2370),test(9504),test(9056)], [test(4827),test(5768),test(5222)], 528).
addition([test(80),test(2916),test(8250)], [test(8459),test(7613),test(2124)], 963).
addition([test(236),test(72),test(9999)], [test(5642),test(9239),test(9447)], 333).
addition([test(5571),test(5918),test(4427)], [test(5298),test(8439),test(8205)], 1316).
addition([test(758),test(2274),test(5198)], [test(2716),test(9670),test(5966)], 1334).
addition([test(1635),test(4136),test(7230)], [test(6366),test(2812),test(103)], 1381).
addition([test(8680),test(5601),test(698)], [test(9651),test(6638),test(9363)], 1537).
addition([test(4248),test(1801),test(5143)], [test(760),test(4888),test(6971)], 743).
addition([test(5899),test(2263),test(8203)], [test(5320),test(3930),test(5253)], 107).
addition([test(2512),test(7631),test(2411)], [test(8375),test(8968),test(9830)], 1626).
addition([test(6659),test(5772),test(5145)], [test(7788),test(916),test(8360)], 1667).
addition([test(6628),test(8054),test(9837)], [test(8402),test(4388),test(8038)], 912).
addition([test(8776),test(525),test(2005)], [test(5924),test(5541),test(1367)], 327).
addition([test(9446),test(1630),test(4987)], [test(4296),test(3334),test(6737)], 468).
addition([test(6567),test(2675),test(5106)], [test(1918),test(9277),test(6703)], 101).
addition([test(3640),test(2690),test(4318)], [test(4454),test(97),test(5372)], 1008).
addition([test(9659),test(1762),test(9442)], [test(5178),test(9727),test(3101)], 1339).
addition([test(6689),test(7203),test(8155)], [test(3782),test(8279),test(307)], 1291).
addition([test(5269),test(2558),test(7698)], [test(1315),test(5726),test(326)], 1307).
addition([test(2059),test(9672),test(6351)], [test(2161),test(8617),test(2766)], 1716).
addition([test(1653),test(450),test(9874)], [test(339),test(4617),test(3230)], 1133).
addition([test(4770),test(5518),test(7062)], [test(7131),test(5767),test(8843)], 678).
addition([test(4809),test(9958),test(1341)], [test(4661),test(1986),test(6941)], 986).
addition([test(4621),test(1679),test(1499)], [test(8652),test(5493),test(7944)], 929).
addition([test(5869),test(5606),test(7165)], [test(2268),test(5299),test(3953)], 1724).
addition([test(8770),test(5670),test(5264)], [test(3744),test(8276),test(7256)], 1121).
addition([test(3772),test(5668),test(1208)], [test(6015),test(1730),test(9810)], 284).
addition([test(7141),test(6602),test(9636)], [test(2911),test(397),test(5991)], 1554).
addition([test(1467),test(2524),test(9195)], [test(9730),test(9250),test(5037)], 1208).
addition([test(6673),test(4675),test(5009)], [test(7001),test(1462),test(6238)], 337).
addition([test(9147),test(3701),test(2041)], [test(7629),test(9845),test(9801)], 1141).
addition([test(5389),test(5204),test(6359)], [test(9316),test(652),test(8053)], 1407).
addition([test(279),test(7373),test(3381)], [test(649),test(7684),test(8980)], 874).
addition([test(9477),test(949),test(1162)], [test(4548),test(4693),test(6818)], 786).
addition([test(6595),test(1811),test(6447)], [test(2213),test(8930),test(455)], 1634).
addition([test(643),test(7061),test(7461)], [test(6908),test(4082),test(4971)], 801).
addition([test(2253),test(1664),test(4398)], [test(3097),test(5980),test(627)], 397).
addition([test(1680),test(3857),test(8936)], [test(4126),test(6515),test(1451)], 1304).
addition([test(7063),test(5904),test(2833)], [test(2755),test(7303),test(1695)], 1056).
addition([test(2913),test(8780),test(4022)], [test(4405),test(8294),test(2518)], 1521).
addition([test(447),test(3277),test(8592)], [test(7080),test(6887),test(8874)], 1369).
addition([test(2085),test(8238),test(2898)], [test(106),test(5371),test(4590)], 498).
addition([test(333),test(4086),test(2151)], [test(7943),test(2147),test(8292)], 675).
addition([test(8815),test(2578),test(3750)], [test(9495),test(8373),test(5297)], 1482).
addition([test(7810),test(9428),test(1146)], [test(5236),test(7168),test(5995)], 863).
addition([test(9592),test(179),test(3709)], [test(5730),test(3681),test(2788)], 1410).
addition([test(5751),test(2389),test(8288)], [test(6960),test(4440),test(7963)], 1547).
addition([test(7852),test(9570),test(2344)], [test(7074),test(2869),test(1516)], 1001).
addition([test(7829),test(2798),test(4984)], [test(3811),test(2325),test(6334)], 627).
addition([test(611),test(2881),test(4266)], [test(6658),test(4549),test(4300)], 959).
addition([test(4947),test(9896),test(5170)], [test(8117),test(347),test(3002)], 973).
addition([test(3766),test(2481),test(5738)], [test(3720),test(2228),test(5378)], 1037).
addition([test(6441),test(1912),test(7484)], [test(1965),test(407),test(6270)], 988).
addition([test(9024),test(3430),test(2182)], [test(2067),test(8647),test(5074)], 774).
addition([test(9042),test(1330),test(8130)], [test(9382),test(3348),test(5463)], 1423).
addition([test(9946),test(4904),test(4504)], [test(3514),test(9347),test(9391)], 377).
addition([test(5906),test(9013),test(7346)], [test(1086),test(8314),test(7619)], 1698).
addition([test(7669),test(7660),test(1830)], [test(8364),test(2042),test(8728)], 1189).
addition([test(5799),test(3731),test(7835)], [test(6788),test(3032),test(5387)], 728).
addition([test(8344),test(6345),test(6973)], [test(6184),test(8773),test(8306)], 464).
addition([test(1891),test(8045),test(1307)], [test(5356),test(9261),test(1244)], 553).
addition([test(5354),test(3286),test(6994)], [test(4584),test(4299),test(2864)], 1688).
addition([test(8970),test(6038),test(315)], [test(7594),test(1239),test(2771)], 1303).
addition([test(5565),test(717),test(5435)], [test(8317),test(3581),test(1468)], 1300).
addition([test(81),test(7160),test(9560)], [test(1225),test(2198),test(3469)], 1480).
addition([test(5494),test(7114),test(7745)], [test(7990),test(6745),test(1873)], 427).
addition([test(665),test(4939),test(8231)], [test(1332),test(4537),test(1678)], 1253).
addition([test(9355),test(5620),test(9778)], [test(7769),test(4995),test(6090)], 1604).
addition([test(7392),test(4603),test(5021)], [test(5667),test(840),test(4037)], 931).
addition([test(3763),test(5879),test(4807)], [test(2596),test(2996),test(5066)], 734).
addition([test(9753),test(7098),test(3426)], [test(354),test(7323),test(7822)], 190).
addition([test(3923),test(4696),test(5226)], [test(7002),test(6692),test(9756)], 954).
addition([test(5746),test(7107),test(2863)], [test(4768),test(7645),test(2799)], 672).
addition([test(1277),test(3986),test(9500)], [test(1502),test(2729),test(8940)], 1747).
addition([test(2910),test(9259),test(8410)], [test(2046),test(5624),test(4911)], 682).
addition([test(2851),test(4635),test(7278)], [test(5219),test(7384),test(5166)], 1730).
addition([test(325),test(7147),test(919)], [test(8480),test(9406),test(1700)], 1162).
addition([test(880),test(6229),test(8323)], [test(2918),test(187),test(2508)], 1018).
addition([test(9245),test(7661),test(1509)], [test(7312),test(8957),test(2655)], 1245).
addition([test(4540),test(858),test(5756)], [test(1744),test(9614),test(1290)], 1353).
addition([test(1406),test(399),test(8937)], [test(8688),test(1178),test(806)], 1294).
addition([test(5024),test(1776),test(8148)], [test(2097),test(9532),test(3985)], 945).
addition([test(4377),test(9627),test(629)], [test(4320),test(5735),test(2336)], 516).
addition([test(7512),test(6707),test(4448)], [test(7710),test(1152),test(8832)], 954).
addition([test(6306),test(9762),test(213)], [test(1050),test(5598),test(3976)], 990).
addition([test(5036),test(5078),test(6328)], [test(135),test(2602),test(9062)], 252).
addition([test(2567),test(1311),test(4389)], [test(2937),test(6874),test(2732)], 874).
addition([test(3338),test(9334),test(4142)], [test(6156),test(2584),test(76)], 1250).
addition([test(9777),test(1395),test(3535)], [test(4285),test(2250),test(7666)], 1225).
addition([test(3595),test(7126),test(4813)], [test(2209),test(6588),test(8677)], 590).
addition([test(6086),test(7267),test(3440)], [test(4422),test(559),test(9758)], 1041).
addition([test(9557),test(8908),test(4950)], [test(8214),test(6397),test(3027)], 1333).
addition([test(3154),test(1720),test(4788)], [test(5351),test(9409),test(4251)], 978).
addition([test(3115),test(1157),test(7982)], [test(5448),test(2883),test(4808)], 1037).
addition([test(935),test(3964),test(4600)], [test(2773),test(9611),test(6265)], 1087).
addition([test(18),test(8609),test(6537)], [test(8004),test(798),test(4869)], 496).
addition([test(9686),test(1293),test(5174)], [test(5207),test(8761),test(6751)], 816).
addition([test(8614),test(8600),test(9506)], [test(7861),test(449),test(8147)], 756).
addition([test(4564),test(4232),test(2224)], [test(3765),test(1835),test(9252)], 234).
addition([test(6),test(6040),test(5486)], [test(2297),test(4873),test(9218)], 1240).
addition([test(4423),test(6322),test(7449)], [test(1915),test(8894),test(9320)], 1014).
addition([test(6951),test(6370),test(3724)], [test(5457),test(7193),test(2257)], 569).
addition([test(4485),test(4847),test(2958)], [test(1714),test(9987),test(9388)], 1660).
addition([test(567),test(8522),test(5107)], [test(5499),test(4864),test(4915)], 202).
addition([test(1013),test(2575),test(3689)], [test(1345),test(8766),test(3209)], 1167).
addition([test(2587),test(1479),test(2730)], [test(2683),test(170),test(9437)], 783).
addition([test(6033),test(9425),test(7086)], [test(3456),test(7117),test(163)], 934).
addition([test(2650),test(3850),test(3187)], [test(6004),test(7712),test(7084)], 1756).
addition([test(5013),test(3889),test(7998)], [test(3786),test(2415),test(1659)], 318).
addition([test(3063),test(1558),test(3706)], [test(2301),test(9593),test(9530)], 1319).
addition([test(8549),test(8124),test(3563)], [test(7707),test(2393),test(9044)], 1165).
addition([test(5766),test(8302),test(6160)], [test(6003),test(435),test(8450)], 455).
addition([test(5927),test(2446),test(3539)], [test(5362),test(7129),test(143)], 827).
addition([test(861),test(4798),test(29)], [test(2103),test(9608),test(6111)], 1233).
addition([test(5972),test(2897),test(5955)], [test(6022),test(2302),test(3207)], 1495).
addition([test(9032),test(9419),test(6169)], [test(1859),test(6501),test(6095)], 1109).
addition([test(9985),test(4687),test(9706)], [test(580),test(5985),test(8685)], 1066).
addition([test(1000),test(4444),test(8679)], [test(2305),test(5319),test(7345)], 1340).
addition([test(4559),test(983),test(5328)], [test(801),test(9393),test(3631)], 658).
addition([test(5618),test(7353),test(7868)], [test(5900),test(3004),test(9202)], 933).
addition([test(506),test(6074),test(4520)], [test(6569),test(7774),test(8503)], 514).
addition([test(6775),test(9539),test(1147)], [test(9462),test(2012),test(4721)], 1438).
addition([test(3900),test(4958),test(1222)], [test(4433),test(2782),test(6389)], 867).
addition([test(2221),test(1910),test(5424)], [test(65),test(142),test(7436)], 592).
addition([test(2269),test(7921),test(8645)], [test(409),test(5753),test(3778)], 480).
addition([test(2531),test(4702),test(9387)], [test(8361),test(9455),test(1555)], 261).
addition([test(9407),test(2877),test(5806)], [test(3767),test(892),test(5495)], 868).
addition([test(1161),test(200),test(1634)], [test(2693),test(1376),test(8653)], 789).
addition([test(4324),test(9349),test(319)], [test(7610),test(8928),test(3336)], 850).
addition([test(3989),test(648),test(833)], [test(5233),test(3987),test(7284)], 1024).
addition([test(3810),test(3386),test(1892)], [test(7953),test(6786),test(6315)], 516).
addition([test(8301),test(2327),test(2447)], [test(6802),test(8227),test(5744)], 1322).
addition([test(852),test(7754),test(8501)], [test(1202),test(5619),test(8539)], 1635).
addition([test(4535),test(3961),test(5188)], [test(4506),test(1339),test(5508)], 621).
addition([test(5411),test(8395),test(1390)], [test(1041),test(215),test(1694)], 1148).
addition([test(369),test(5546),test(4031)], [test(7192),test(4591),test(5875)], 663).
addition([test(312),test(4354),test(4424)], [test(7092),test(4517),test(4081)], 455).
addition([test(876),test(394),test(4602)], [test(2522),test(8606),test(9378)], 1262).
addition([test(5686),test(4599),test(6986)], [test(7211),test(2956),test(6682)], 426).
addition([test(6568),test(2320),test(5632)], [test(4345),test(5845),test(415)], 1272).
addition([test(288),test(2738),test(5734)], [test(8221),test(8445),test(5989)], 219).
addition([test(8491),test(947),test(9773)], [test(4064),test(6654),test(3508)], 969).
addition([test(6811),test(3235),test(2156)], [test(5654),test(7740),test(6050)], 1083).
addition([test(890),test(3086),test(5939)], [test(6174),test(8019),test(9609)], 675).
addition([test(8079),test(6566),test(6393)], [test(6681),test(4990),test(1316)], 560).
addition([test(423),test(2545),test(3820)], [test(6028),test(7335),test(5142)], 827).
addition([test(2150),test(6894),test(9885)], [test(510),test(6362),test(9707)], 1343).
addition([test(429),test(725),test(5330)], [test(7848),test(9590),test(8582)], 1067).
addition([test(8603),test(7716),test(8569)], [test(5740),test(6072),test(7036)], 627).
addition([test(2362),test(7695),test(1353)], [test(4976),test(8640),test(8080)], 1371).
addition([test(9618),test(548),test(7815)], [test(3608),test(7463),test(5962)], 750).
addition([test(7947),test(4309),test(7911)], [test(2072),test(5420),test(885)], 847).
addition([test(781),test(708),test(3335)], [test(3298),test(4297),test(3883)], 1315).
addition([test(3656),test(4758),test(2121)], [test(8380),test(4226),test(1550)], 1393).
addition([test(3463),test(7045),test(4180)], [test(6267),test(86),test(9579)], 1215).
addition([test(3991),test(680),test(2827)], [test(2663),test(834),test(85)], 1025).
addition([test(3552),test(9177),test(8462)], [test(4957),test(5140),test(6310)], 565).
addition([test(2515),test(4861),test(2544)], [test(5892),test(4178),test(5850)], 892).
addition([test(3606),test(19),test(1936)], [test(4538),test(9057),test(1169)], 337).
addition([test(5718),test(2725),test(5982)], [test(7377),test(7760),test(556)], 989).
addition([test(7268),test(5081),test(3632)], [test(4302),test(4209),test(8628)], 1283).
addition([test(1976),test(6559),test(6049)], [test(7907),test(5251),test(9995)], 350).
addition([test(8226),test(8325),test(1882)], [test(9482),test(8396),test(3317)], 818).
addition([test(5019),test(5864),test(7469)], [test(4521),test(1434),test(9421)], 594).
addition([test(8469),test(4382),test(6875)], [test(8100),test(5414),test(3358)], 333).
addition([test(7342),test(6114),test(4755)], [test(1243),test(9955),test(5700)], 516).
addition([test(9401),test(8392),test(6115)], [test(1144),test(5446),test(5410)], 676).
addition([test(3293),test(2644),test(1349)], [test(5212),test(6644),test(7972)], 566).
addition([test(9321),test(4254),test(7705)], [test(3613),test(3838),test(5260)], 930).
addition([test(1942),test(5821),test(1464)], [test(7701),test(5317),test(8965)], 1636).
addition([test(2891),test(6222),test(8174)], [test(2904),test(1860),test(324)], 462).
addition([test(9052),test(6349),test(147)], [test(8201),test(2874),test(8206)], 405).
addition([test(3189),test(779),test(6799)], [test(7288),test(9364),test(4622)], 1717).
addition([test(2974),test(6368),test(8015)], [test(401),test(3165),test(6661)], 1049).
addition([test(4607),test(6757),test(7500)], [test(6962),test(4698),test(2594)], 681).
addition([test(4386),test(3145),test(4953)], [test(7795),test(837),test(8796)], 1080).
addition([test(4332),test(8784),test(3694)], [test(8561),test(8106),test(9599)], 863).
addition([test(9474),test(7123),test(9200)], [test(6494),test(3905),test(6605)], 697).
addition([test(7663),test(666),test(7994)], [test(3307),test(8153),test(9420)], 1500).
addition([test(1382),test(4207),test(6749)], [test(5183),test(504),test(8285)], 1303).
addition([test(1747),test(4565),test(27)], [test(8738),test(8082),test(7687)], 616).
addition([test(4),test(6947),test(2505)], [test(50),test(3935),test(4227)], 1067).
addition([test(5100),test(7964),test(9902)], [test(4259),test(1980),test(1842)], 1932).
addition([test(5839),test(1766),test(5965)], [test(5488),test(4725),test(9942)], 633).
addition([test(6868),test(2632),test(440)], [test(9338),test(443),test(5694)], 636).
addition([test(2087),test(583),test(7491)], [test(1379),test(3553),test(764)], 112).
addition([test(5698),test(4054),test(1511)], [test(1331),test(9327),test(2991)], 1027).
addition([test(7264),test(4609),test(4196)], [test(750),test(675),test(7287)], 563).
addition([test(4211),test(2413),test(2923)], [test(3301),test(7269),test(2476)], 864).
addition([test(7551),test(7383),test(277)], [test(579),test(7431),test(5325)], 1123).
addition([test(3353),test(1035),test(4121)], [test(3442),test(9748),test(8096)], 854).
addition([test(5940),test(3518),test(255)], [test(2438),test(782),test(9290)], 1802).
addition([test(1155),test(2563),test(2607)], [test(3836),test(2754),test(3180)], 1039).
addition([test(5865),test(3350),test(7479)], [test(866),test(679),test(8897)], 642).
addition([test(1238),test(5779),test(7374)], [test(7375),test(5124),test(2862)], 861).
addition([test(1167),test(8460),test(7749)], [test(3816),test(101),test(299)], 1230).
addition([test(8580),test(8982),test(7502)], [test(8184),test(6087),test(9143)], 1609).
addition([test(5947),test(7255),test(5115)], [test(6171),test(4323),test(3109)], 1263).
addition([test(9351),test(1302),test(3756)], [test(4238),test(5662),test(2324)], 966).
addition([test(1487),test(2748),test(3085)], [test(7156),test(2920),test(7948)], 268).
addition([test(463),test(5956),test(6027)], [test(6980),test(6221),test(1343)], 1641).
addition([test(531),test(9516),test(1629)], [test(5714),test(5928),test(1581)], 1152).
addition([test(7140),test(7204),test(6357)], [test(9574),test(9594),test(9795)], 1183).
addition([test(1921),test(6598),test(9000)], [test(8996),test(1475),test(7991)], 1326).
addition([test(7163),test(6932),test(9884)], [test(6651),test(5162),test(9573)], 334).
addition([test(4023),test(2102),test(8154)], [test(9964),test(9243),test(8655)], 166).
addition([test(3124),test(331),test(2462)], [test(5053),test(6358),test(986)], 408).
addition([test(5039),test(9221),test(1514)], [test(9135),test(9668),test(6530)], 697).
addition([test(1706),test(2388),test(7079)], [test(5333),test(3547),test(6269)], 1394).
addition([test(5208),test(6097),test(4573)], [test(3031),test(220),test(1282)], 781).
addition([test(5586),test(8018),test(7886)], [test(241),test(1884),test(422)], 1781).
addition([test(740),test(9384),test(4094)], [test(2551),test(460),test(3799)], 832).
addition([test(8183),test(5596),test(9508)], [test(3598),test(2427),test(7643)], 965).
addition([test(3895),test(3534),test(8814)], [test(420),test(7301),test(9818)], 486).
addition([test(7507),test(8686),test(807)], [test(9094),test(4571),test(9667)], 1121).
addition([test(6309),test(8051),test(9771)], [test(2423),test(9283),test(1795)], 879).
addition([test(2568),test(1992),test(7510)], [test(49),test(6847),test(7996)], 559).
addition([test(9779),test(6391),test(2329)], [test(8978),test(7867),test(5648)], 318).
addition([test(4461),test(787),test(7550)], [test(7609),test(9119),test(5713)], 838).
addition([test(3089),test(9515),test(7888)], [test(7976),test(8715),test(1031)], 687).
addition([test(1241),test(30),test(8833)], [test(493),test(5023),test(2550)], 1085).
addition([test(3369),test(4670),test(5200)], [test(4119),test(5312),test(2803)], 1655).
addition([test(6774),test(2692),test(4952)], [test(5910),test(1113),test(1546)], 1248).
addition([test(2525),test(6995),test(9797)], [test(7049),test(8197),test(7779)], 608).
addition([test(3703),test(4041),test(280)], [test(594),test(7881),test(9454)], 898).
addition([test(9967),test(7534),test(6385)], [test(5199),test(2789),test(3956)], 1499).
addition([test(6722),test(9187),test(4735)], [test(5038),test(7477),test(6378)], 763).
addition([test(634),test(8792),test(7817)], [test(3564),test(8222),test(5604)], 1601).
addition([test(3642),test(1320),test(5737)], [test(2422),test(2134),test(8307)], 1030).
addition([test(9344),test(3669),test(3982)], [test(5240),test(2990),test(7518)], 1192).
addition([test(3232),test(7423),test(1284)], [test(8637),test(7569),test(4125)], 1129).
addition([test(2267),test(2279),test(1415)], [test(5243),test(5611),test(3257)], 740).
addition([test(1797),test(3761),test(8702)], [test(9855),test(349),test(4747)], 552).
addition([test(6278),test(3874),test(1530)], [test(9632),test(8895),test(4307)], 803).
addition([test(9282),test(2875),test(2416)], [test(334),test(1024),test(7138)], 532).
addition([test(9787),test(2814),test(2473)], [test(246),test(3931),test(8678)], 418).
addition([test(6725),test(6643),test(5595)], [test(3329),test(626),test(6705)], 1576).
addition([test(8303),test(2841),test(7508)], [test(5348),test(3773),test(7755)], 600).
addition([test(9962),test(303),test(1356)], [test(1897),test(4903),test(5952)], 132).
addition([test(9100),test(7694),test(6311)], [test(7037),test(5375),test(8343)], 472).
addition([test(1294),test(1731),test(9183)], [test(3090),test(2458),test(8673)], 96).
addition([test(9522),test(9978),test(6730)], [test(5146),test(8158),test(6621)], 1067).
addition([test(1505),test(7860),test(952)], [test(7223),test(7119),test(8482)], 898).
addition([test(3965),test(9034),test(5059)], [test(4359),test(9077),test(5645)], 927).
addition([test(5032),test(6061),test(7441)], [test(7577),test(1133),test(1719)], 1014).
addition([test(9615),test(3752),test(3907)], [test(9299),test(9478),test(2546)], 1400).
addition([test(5125),test(640),test(7756)], [test(7559),test(6216),test(9607)], 775).
addition([test(100),test(6807),test(3366)], [test(5111),test(2219),test(6670)], 1275).
addition([test(5413),test(3119),test(6291)], [test(6856),test(7970),test(2994)], 1621).
addition([test(104),test(3492),test(6037)], [test(2670),test(1040),test(7497)], 1496).
addition([test(6259),test(7496),test(829)], [test(8378),test(9840),test(1060)], 528).
addition([test(4088),test(1667),test(2999)], [test(7222),test(7322),test(153)], 1305).
addition([test(5117),test(9789),test(1011)], [test(1916),test(6844),test(8926)], 1268).
addition([test(3094),test(1416),test(7957)], [test(8648),test(9997),test(1115)], 549).
addition([test(9616),test(7615),test(7281)], [test(5263),test(4583),test(7949)], 1238).
addition([test(2138),test(5439),test(7950)], [test(3663),test(7959),test(150)], 816).
addition([test(8626),test(5),test(2943)], [test(6620),test(4773),test(7526)], 981).
addition([test(6727),test(3880),test(5193)], [test(4612),test(592),test(1941)], 1088).
addition([test(7294),test(4375),test(2884)], [test(6824),test(1276),test(9270)], 1260).
addition([test(6190),test(5996),test(9205)], [test(348),test(4313),test(3303)], 1145).
addition([test(6550),test(4370),test(3384)], [test(8701),test(3519),test(193)], 991).
addition([test(9266),test(4401),test(2146)], [test(9285),test(4510),test(6246)], 950).
addition([test(1386),test(4880),test(272)], [test(1014),test(585),test(2653)], 1376).
addition([test(8988),test(6100),test(8412)], [test(6700),test(6556),test(1846)], 560).
addition([test(2016),test(3017),test(1306)], [test(1476),test(5433),test(8797)], 1328).
addition([test(9798),test(332),test(4206)], [test(981),test(9284),test(2868)], 253).
addition([test(6284),test(4595),test(7634)], [test(4980),test(3764),test(8956)], 1026).
addition([test(292),test(2787),test(8709)], [test(2506),test(8487),test(5941)], 983).
addition([test(1651),test(4350),test(5044)], [test(3373),test(1741),test(6726)], 1592).
addition([test(6863),test(3714),test(4683)], [test(7350),test(6477),test(9543)], 756).
addition([test(3940),test(802),test(1022)], [test(7763),test(6796),test(2701)], 369).
addition([test(5231),test(7641),test(687)], [test(2467),test(7144),test(4975)], 1772).
addition([test(7035),test(9043),test(5355)], [test(7324),test(6187),test(7339)], 1392).
addition([test(7691),test(695),test(9180)], [test(6173),test(7252),test(1387)], 1747).
addition([test(8590),test(3841),test(1752)], [test(4787),test(7077),test(5300)], 1603).
addition([test(4404),test(7366),test(3487)], [test(3331),test(4501),test(3055)], 680).
addition([test(9260),test(214),test(1628)], [test(6500),test(3267),test(1450)], 1119).
addition([test(2614),test(4004),test(2603)], [test(3617),test(8794),test(7955)], 1461).
addition([test(9848),test(3113),test(7738)], [test(7917),test(7644),test(138)], 387).
addition([test(8207),test(4311),test(5456)], [test(7091),test(8884),test(9091)], 1105).
addition([test(7498),test(3009),test(8123)], [test(386),test(1953),test(6122)], 1212).
addition([test(7070),test(6657),test(3928)], [test(6206),test(3932),test(6474)], 1409).
addition([test(5337),test(913),test(140)], [test(8457),test(477),test(8862)], 1017).
addition([test(6241),test(5787),test(2813)], [test(577),test(870),test(7459)], 462).
addition([test(4871),test(9411),test(4140)], [test(5285),test(6899),test(1482)], 704).
addition([test(3770),test(7177),test(6532)], [test(281),test(8851),test(1270)], 1344).
addition([test(9410),test(5310),test(7940)], [test(2390),test(8350),test(6232)], 1148).
addition([test(3568),test(4459),test(7130)], [test(60),test(6937),test(261)], 1178).
addition([test(9701),test(2867),test(4493)], [test(6000),test(3599),test(2199)], 1843).
addition([test(8986),test(9657),test(7499)], [test(5385),test(975),test(1902)], 344).
addition([test(2055),test(5230),test(4879)], [test(7039),test(9012),test(2316)], 909).
addition([test(2109),test(6772),test(6773)], [test(1948),test(1548),test(3258)], 904).
addition([test(5506),test(912),test(8943)], [test(464),test(3422),test(6021)], 496).
addition([test(8141),test(5932),test(5856)], [test(4754),test(704),test(3910)], 512).
addition([test(2208),test(2040),test(3383)], [test(2511),test(5602),test(7273)], 1250).
addition([test(9002),test(4572),test(6888)], [test(6885),test(8114),test(3072)], 397).
addition([test(6869),test(3550),test(9340)], [test(2790),test(4421),test(7527)], 708).
addition([test(6409),test(5223),test(1547)], [test(7561),test(6324),test(9612)], 1105).
addition([test(7812),test(1985),test(5150)], [test(1046),test(4277),test(3346)], 673).
addition([test(1323),test(4811),test(2736)], [test(6129),test(9149),test(5992)], 544).
addition([test(7758),test(2995),test(5347)], [test(3274),test(7051),test(5976)], 933).
addition([test(9712),test(1342),test(4912)], [test(8887),test(3543),test(5388)], 993).
addition([test(6646),test(8283),test(3190)], [test(9236),test(7832),test(2432)], 321).
addition([test(7856),test(4330),test(2251)], [test(2735),test(4093),test(1280)], 1145).
addition([test(1689),test(6674),test(869)], [test(4338),test(4127),test(5957)], 800).
addition([test(2784),test(7905),test(6463)], [test(3835),test(3008),test(3078)], 929).
addition([test(2338),test(2929),test(2015)], [test(1913),test(4618),test(1456)], 857).
addition([test(3845),test(2982),test(3255)], [test(953),test(7420),test(7248)], 1234).
addition([test(9441),test(9891),test(5851)], [test(9691),test(7171),test(2078)], 1509).
addition([test(129),test(6580),test(1008)], [test(2662),test(5016),test(7200)], 789).
addition([test(4889),test(489),test(7275)], [test(7095),test(3583),test(66)], 1202).
addition([test(57),test(177),test(355)], [test(4996),test(7340),test(278)], 500).
addition([test(2619),test(7790),test(8975)], [test(2483),test(3610),test(484)], 657).
addition([test(8573),test(5777),test(6650)], [test(8509),test(9941),test(7984)], 943).
addition([test(9226),test(4053),test(6454)], [test(8060),test(822),test(1287)], 1048).
addition([test(612),test(8249),test(6826)], [test(2840),test(7536),test(9915)], 592).
addition([test(5617),test(1813),test(8835)], [test(320),test(7003),test(1898)], 1435).
addition([test(7210),test(5893),test(1012)], [test(8271),test(7014),test(2625)], 929).
addition([test(4371),test(4762),test(8078)], [test(7916),test(6965),test(5731)], 1001).
addition([test(182),test(9785),test(1585)], [test(9775),test(6201),test(3419)], 1193).
addition([test(5431),test(8034),test(989)], [test(3630),test(7298),test(6542)], 549).
addition([test(2318),test(1431),test(5682)], [test(6260),test(9910),test(2105)], 408).
addition([test(2786),test(1271),test(1256)], [test(8024),test(4025),test(6711)], 712).
addition([test(9134),test(3843),test(5017)], [test(575),test(2519),test(633)], 931).
addition([test(7439),test(2960),test(9396)], [test(5524),test(37),test(5614)], 891).
addition([test(513),test(8309),test(3580)], [test(6524),test(2260),test(1261)], 1167).
addition([test(8714),test(7752),test(3223)], [test(9486),test(2870),test(3937)], 1043).
addition([test(2262),test(871),test(1273)], [test(402),test(7125),test(3868)], 1048).
addition([test(1215),test(102),test(9581)], [test(1090),test(2950),test(2407)], 1270).
addition([test(6155),test(9971),test(7874)], [test(9350),test(2089),test(6939)], 1021).
addition([test(3622),test(5110),test(173)], [test(9994),test(3292),test(3922)], 844).
addition([test(1361),test(8414),test(5633)], [test(7566),test(7387),test(5630)], 766).
addition([test(1495),test(9507),test(9331)], [test(1576),test(8424),test(2909)], 1120).
addition([test(2485),test(3818),test(9229)], [test(5096),test(9371),test(8803)], 448).
addition([test(3321),test(6927),test(5492)], [test(7169),test(8878),test(7724)], 955).
addition([test(8107),test(2272),test(191)], [test(3951),test(3457),test(5007)], 1297).
addition([test(792),test(5811),test(4631)], [test(3194),test(5580),test(5693)], 806).
addition([test(8881),test(4790),test(4030)], [test(6024),test(9700),test(1180)], 890).
addition([test(8821),test(1716),test(4366)], [test(7325),test(212),test(6918)], 566).
addition([test(6969),test(7517),test(1043)], [test(4098),test(1314),test(344)], 362).
addition([test(6279),test(3990),test(5828)], [test(2537),test(6839),test(7545)], 698).
addition([test(920),test(7447),test(8355)], [test(293),test(805),test(7489)], 403).
addition([test(6738),test(8425),test(94)], [test(9688),test(5366),test(4289)], 423).
addition([test(7850),test(5994),test(4592)], [test(7159),test(3299),test(39)], 1200).
addition([test(5623),test(3287),test(5400)], [test(1107),test(8666),test(7967)], 1305).
addition([test(9404),test(8703),test(992)], [test(2145),test(9005),test(8921)], 1349).
addition([test(4273),test(8511),test(2852)], [test(7153),test(7480),test(2590)], 559).
addition([test(2233),test(4468),test(923)], [test(2252),test(10),test(3732)], 1551).
addition([test(4407),test(3635),test(5278)], [test(7612),test(676),test(8805)], 1565).
addition([test(9813),test(1645),test(8791)], [test(9110),test(5783),test(8171)], 1310).
addition([test(7004),test(2801),test(9362)], [test(1793),test(8813),test(6453)], 1822).
addition([test(2528),test(5895),test(166)], [test(8775),test(9793),test(5853)], 1390).
addition([test(3237),test(8352),test(1310)], [test(6285),test(9736),test(518)], 478).
addition([test(2175),test(1574),test(3391)], [test(8196),test(5699),test(3978)], 742).
addition([test(5099),test(235),test(2408)], [test(5360),test(2211),test(2919)], 1178).
addition([test(593),test(5762),test(5238)], [test(929),test(1770),test(5511)], 1093).
addition([test(508),test(4317),test(2180)], [test(4704),test(6583),test(5436)], 1237).
addition([test(1205),test(9160),test(36)], [test(9718),test(2585),test(1266)], 853).
addition([test(526),test(9292),test(825)], [test(7446),test(5775),test(2895)], 485).
addition([test(2749),test(1521),test(7041)], [test(6287),test(2353),test(9037)], 777).
addition([test(7791),test(1601),test(3478)], [test(4919),test(6552),test(4462)], 979).
addition([test(4322),test(3001),test(1346)], [test(6953),test(45),test(9006)], 1449).
addition([test(3024),test(2598),test(5241)], [test(1531),test(6288),test(6664)], 783).
addition([test(4453),test(4860),test(1061)], [test(2140),test(2494),test(2335)], 1431).
addition([test(8497),test(2574),test(4460)], [test(8200),test(6377),test(5228)], 1433).
addition([test(7570),test(1923),test(8888)], [test(6298),test(7135),test(3607)], 860).
addition([test(8789),test(3546),test(1710)], [test(7073),test(9352),test(6895)], 726).
addition([test(4010),test(7640),test(6905)], [test(970),test(2907),test(6617)], 747).
addition([test(8458),test(794),test(3526)], [test(9449),test(8989),test(9633)], 849).
addition([test(7680),test(6831),test(3557)], [test(9513),test(3683),test(7719)], 1489).
addition([test(6432),test(3474),test(3678)], [test(2882),test(6444),test(502)], 730).
addition([test(2332),test(733),test(5612)], [test(5063),test(811),test(207)], 1234).
addition([test(8953),test(3185),test(5660)], [test(6437),test(2430),test(9300)], 993).
addition([test(7805),test(9923),test(1682)], [test(4203),test(9241),test(2652)], 1424).
addition([test(4750),test(7904),test(2348)], [test(5169),test(4190),test(6777)], 1279).
addition([test(2101),test(158),test(4895)], [test(5936),test(8112),test(5889)], 659).
addition([test(3107),test(582),test(4072)], [test(8553),test(1979),test(406)], 1380).
addition([test(7903),test(7385),test(3193)], [test(92),test(4348),test(7457)], 1605).
addition([test(6018),test(9090),test(3590)], [test(6615),test(1943),test(7721)], 1481).
addition([test(8326),test(2906),test(2117)], [test(4176),test(77),test(3946)], 856).
addition([test(7555),test(4800),test(7022)], [test(2454),test(1914),test(8433)], 758).
addition([test(9765),test(2811),test(8286)], [test(1494),test(1814),test(3939)], 1477).
addition([test(9550),test(4926),test(8744)], [test(6533),test(503),test(5168)], 589).
addition([test(7842),test(1181),test(9914)], [test(8745),test(2018),test(6879)], 678).
addition([test(5603),test(9341),test(9491)], [test(9893),test(4189),test(6030)], 246).
addition([test(6742),test(1407),test(4202)], [test(7493),test(178),test(2218)], 1139).
addition([test(9055),test(8931),test(6896)], [test(6535),test(9291),test(1854)], 1192).
addition([test(6917),test(9866),test(2543)], [test(3988),test(2179),test(8836)], 1032).
addition([test(6144),test(988),test(8690)], [test(2216),test(8656),test(4711)], 1374).
addition([test(2964),test(8257),test(4167)], [test(7495),test(1002),test(6263)], 1899).
addition([test(5897),test(1131),test(3134)], [test(714),test(2601),test(5967)], 1820).
addition([test(842),test(1603),test(2556)], [test(2828),test(2245),test(3934)], 1133).
addition([test(6402),test(5444),test(2086)], [test(4838),test(4049),test(7244)], 1321).
addition([test(4575),test(2065),test(4532)], [test(1336),test(7797),test(8059)], 735).
addition([test(4563),test(2063),test(2832)], [test(9365),test(2088),test(6954)], 572).
addition([test(6249),test(1685),test(9493)], [test(3201),test(6539),test(7161)], 1235).
addition([test(4024),test(5248),test(1444)], [test(4304),test(1213),test(9159)], 551).
addition([test(3050),test(5075),test(4968)], [test(2641),test(808),test(110)], 227).
addition([test(9821),test(8389),test(5843)], [test(7443),test(3117),test(661)], 955).
addition([test(7632),test(3530),test(3680)], [test(8934),test(6686),test(1697)], 1629).
addition([test(5760),test(2961),test(4836)], [test(7563),test(1952),test(4616)], 572).
addition([test(3364),test(248),test(1414)], [test(9737),test(6110),test(8484)], 963).
addition([test(4708),test(5566),test(7359)], [test(9675),test(40),test(385)], 623).
addition([test(684),test(4484),test(6489)], [test(3897),test(2396),test(828)], 1082).
addition([test(5116),test(4465),test(2358)], [test(9970),test(4056),test(1663)], 1199).
addition([test(6325),test(9008),test(181)], [test(1141),test(2541),test(2498)], 1362).
addition([test(3210),test(3033),test(8129)], [test(3166),test(2517),test(9168)], 784).
addition([test(6016),test(1946),test(1684)], [test(6147),test(9572),test(4935)], 865).
addition([test(8348),test(8516),test(3662)], [test(3494),test(3673),test(6219)], 1286).
addition([test(5581),test(6383),test(4156)], [test(167),test(745),test(6904)], 1120).
addition([test(2597),test(6589),test(3958)], [test(754),test(3409),test(7637)], 704).
addition([test(2384),test(7085),test(2548)], [test(1769),test(7257),test(482)], 386).
addition([test(8452),test(7081),test(7628)], [test(5073),test(8101),test(1071)], 1490).
addition([test(5948),test(5161),test(1216)], [test(2666),test(4982),test(3921)], 1449).
addition([test(5213),test(5341),test(3212)], [test(8131),test(8801),test(8696)], 1097).
addition([test(8406),test(1089),test(3205)], [test(6092),test(6082),test(7540)], 564).
addition([test(7883),test(1591),test(9139)], [test(2062),test(78),test(3531)], 1131).
addition([test(688),test(5454),test(9582)], [test(6808),test(8856),test(9876)], 664).
addition([test(5306),test(4856),test(2357)], [test(1348),test(290),test(3643)], 1178).
addition([test(2552),test(9631),test(4475)], [test(5607),test(343),test(1142)], 1238).
addition([test(9281),test(2276),test(7718)], [test(3545),test(8408),test(8855)], 703).
addition([test(1135),test(3615),test(5998)], [test(4445),test(1177),test(9122)], 767).
addition([test(8557),test(6928),test(1529)], [test(9311),test(6985),test(3828)], 948).
addition([test(5502),test(5049),test(8830)], [test(7434),test(1500),test(9459)], 752).
addition([test(4530),test(7600),test(1566)], [test(4183),test(4059),test(8417)], 1674).
addition([test(6984),test(5622),test(5175)], [test(5154),test(3623),test(8319)], 1753).
addition([test(111),test(3224),test(1362)], [test(9497),test(615),test(9294)], 1703).
addition([test(4085),test(5287),test(417)], [test(5487),test(4397),test(4237)], 418).
addition([test(4666),test(2036),test(6026)], [test(7478),test(8871),test(8042)], 853).
addition([test(7313),test(2002),test(3674)], [test(3103),test(4040),test(9392)], 1664).
addition([test(1589),test(6854),test(7240)], [test(1488),test(4766),test(7681)], 501).
addition([test(791),test(4473),test(1163)], [test(2286),test(198),test(9473)], 1148).
addition([test(7539),test(3504),test(7215)], [test(1850),test(3591),test(549)], 1145).
addition([test(7787),test(4327),test(8420)], [test(6770),test(5120),test(1327)], 630).
addition([test(7793),test(4672),test(3137)], [test(244),test(5462),test(6055)], 793).
addition([test(58),test(867),test(3578)], [test(4390),test(2576),test(8341)], 1738).
addition([test(8104),test(1281),test(1300)], [test(3071),test(3221),test(7102)], 888).
addition([test(9786),test(816),test(6245)], [test(9376),test(7006),test(4288)], 1461).
addition([test(8315),test(7651),test(4753)], [test(8247),test(3096),test(2691)], 746).
addition([test(6596),test(6632),test(8011)], [test(6031),test(5608),test(2739)], 1352).
addition([test(7032),test(9666),test(3102)], [test(8204),test(8581),test(6339)], 1142).
addition([test(4246),test(8265),test(9115)], [test(6543),test(6815),test(7118)], 1352).
addition([test(2157),test(5935),test(2993)], [test(964),test(9635),test(3572)], 364).
addition([test(5515),test(5426),test(5555)], [test(5793),test(6614),test(3465)], 867).
addition([test(6765),test(3684),test(8661)], [test(6804),test(4867),test(7602)], 1503).
addition([test(9846),test(7216),test(5043)], [test(8255),test(7581),test(7709)], 516).
addition([test(4589),test(1894),test(4429)], [test(821),test(642),test(7650)], 205).
addition([test(616),test(7626),test(4662)], [test(3394),test(3296),test(9630)], 1897).
addition([test(4936),test(1774),test(8782)], [test(3840),test(4536),test(1862)], 1753).
addition([test(1084),test(1577),test(9213)], [test(3716),test(7305),test(529)], 1029).
addition([test(6064),test(8181),test(6531)], [test(3371),test(8139),test(4021)], 317).
addition([test(9244),test(7094),test(9288)], [test(9264),test(6886),test(2440)], 141).
addition([test(8799),test(5158),test(7475)], [test(6767),test(1836),test(5478)], 453).
addition([test(2330),test(5171),test(8824)], [test(4157),test(6119),test(2706)], 537).
addition([test(1949),test(4771),test(3471)], [test(3513),test(3814),test(5778)], 1001).
addition([test(6864),test(4290),test(6495)], [test(5644),test(9228),test(3573)], 1745).
addition([test(2497),test(957),test(5206)], [test(251),test(6508),test(6102)], 1129).
addition([test(9823),test(4512),test(713)], [test(1010),test(6606),test(2354)], 1232).
addition([test(9468),test(2452),test(3894)], [test(4103),test(3021),test(3196)], 572).
addition([test(3891),test(2843),test(8660)], [test(5981),test(7771),test(5640)], 1510).
addition([test(7282),test(5590),test(985)], [test(2311),test(7327),test(855)], 535).
addition([test(304),test(3453),test(5123)], [test(767),test(7398),test(3163)], 612).
addition([test(2283),test(4715),test(9925)], [test(4500),test(6106),test(4155)], 1093).
addition([test(3808),test(1077),test(9939)], [test(2119),test(3873),test(2591)], 1627).
addition([test(282),test(5708),test(8298)], [test(5898),test(9699),test(3080)], 1352).
addition([test(3291),test(2014),test(7924)], [test(4481),test(1605),test(3319)], 935).
addition([test(3785),test(21),test(8209)], [test(7866),test(555),test(8642)], 317).
addition([test(3238),test(6348),test(4632)], [test(7448),test(2794),test(7529)], 1185).
addition([test(2951),test(5536),test(6697)], [test(1696),test(6418),test(2890)], 754).
addition([test(9490),test(1211),test(9390)], [test(1439),test(2987),test(5262)], 1172).
addition([test(915),test(2785),test(6012)], [test(8687),test(3396),test(8548)], 1451).
addition([test(6430),test(3251),test(4145)], [test(9165),test(8669),test(8441)], 1094).
addition([test(3743),test(8280),test(6333)], [test(9196),test(1607),test(9844)], 1476).
addition([test(7828),test(7133),test(9806)], [test(8571),test(817),test(6083)], 1468).
addition([test(8263),test(2172),test(226)], [test(4257),test(225),test(9418)], 1316).
addition([test(830),test(9083),test(183)], [test(8479),test(4650),test(936)], 1138).
addition([test(4208),test(6067),test(6415)], [test(4594),test(4214),test(3330)], 327).
addition([test(3226),test(1365),test(7825)], [test(7458),test(3455),test(8903)], 340).
addition([test(3522),test(8845),test(9957)], [test(591),test(6165),test(9907)], 1062).
addition([test(2719),test(6748),test(1134)], [test(2343),test(7394),test(4677)], 260).
addition([test(5752),test(123),test(6329)], [test(8471),test(6318),test(6660)], 955).
addition([test(7474),test(2127),test(2844)], [test(987),test(1810),test(1904)], 1266).
addition([test(9634),test(9922),test(4250)], [test(4866),test(5636),test(3977)], 465).
addition([test(1230),test(3855),test(2197)], [test(3188),test(3175),test(5151)], 868).
addition([test(9945),test(286),test(934)], [test(6317),test(3401),test(8828)], 1771).
addition([test(5135),test(2905),test(2959)], [test(737),test(3968),test(1777)], 1632).
addition([test(1789),test(6282),test(5257)], [test(6822),test(5675),test(9926)], 838).
addition([test(1717),test(3110),test(3902)], [test(9643),test(4615),test(3831)], 964).
addition([test(6491),test(4170),test(9912)], [test(6281),test(9596),test(8587)], 791).
addition([test(5418),test(9050),test(826)], [test(2855),test(7995),test(7452)], 891).
addition([test(1417),test(2599),test(6848)], [test(8704),test(7124),test(924)], 1183).
addition([test(622),test(6959),test(5605)], [test(9898),test(793),test(5239)], 586).
addition([test(7746),test(2136),test(6330)], [test(388),test(3406),test(4279)], 1094).
addition([test(5201),test(8111),test(6350)], [test(6041),test(7739),test(54)], 632).
addition([test(4810),test(9146),test(573)], [test(3762),test(3559),test(5587)], 1252).
addition([test(888),test(2622),test(9481)], [test(9016),test(6381),test(1674)], 306).
addition([test(4240),test(5451),test(6816)], [test(5109),test(3994),test(3830)], 1008).
addition([test(7520),test(6582),test(1865)], [test(5397),test(3892),test(189)], 1025).
addition([test(4441),test(5837),test(8863)], [test(5666),test(1185),test(4885)], 878).
addition([test(8857),test(9981),test(963)], [test(2949),test(5030),test(8998)], 1730).
addition([test(6619),test(6341),test(4095)], [test(3118),test(7017),test(9372)], 1424).
addition([test(8877),test(3602),test(5221)], [test(329),test(536),test(2998)], 990).
addition([test(9851),test(7946),test(5313)], [test(4830),test(3969),test(6510)], 1307).
addition([test(7981),test(5801),test(8726)], [test(3657),test(358),test(734)], 1041).
addition([test(1838),test(231),test(9553)], [test(9817),test(275),test(9276)], 983).
addition([test(5258),test(5067),test(3871)], [test(769),test(3318),test(5915)], 759).
addition([test(9894),test(1070),test(785)], [test(7803),test(9312),test(4428)], 1616).
addition([test(6408),test(2070),test(2973)], [test(2321),test(3399),test(5838)], 849).
addition([test(3362),test(4446),test(8048)], [test(1669),test(9182),test(6865)], 1495).
addition([test(5798),test(3211),test(3793)], [test(3851),test(9796),test(258)], 826).
addition([test(5472),test(3491),test(125)], [test(9984),test(7033),test(3525)], 546).
addition([test(9869),test(5031),test(4552)], [test(5984),test(3489),test(3962)], 826).
addition([test(547),test(8152),test(5507)], [test(6631),test(3718),test(3660)], 1042).
addition([test(8889),test(9402),test(1149)], [test(6058),test(1255),test(7913)], 478).
addition([test(1643),test(4079),test(3439)], [test(3722),test(6695),test(6417)], 544).
addition([test(9370),test(6564),test(119)], [test(1966),test(9105),test(7410)], 1032).
addition([test(5720),test(1928),test(9623)], [test(4832),test(2310),test(3863)], 1127).
addition([test(6694),test(5758),test(3516)], [test(5505),test(1608),test(9565)], 182).
addition([test(1906),test(6720),test(7026)], [test(6883),test(7349),test(1870)], 1033).
addition([test(4215),test(2757),test(4972)], [test(431),test(2842),test(8322)], 1520).
addition([test(1780),test(4840),test(4292)], [test(9766),test(6922),test(1647)], 660).
addition([test(2645),test(6997),test(8810)], [test(306),test(2366),test(4482)], 654).
addition([test(3677),test(1399),test(5923)], [test(7794),test(3627),test(9287)], 293).
addition([test(3502),test(902),test(6406)], [test(467),test(4777),test(5083)], 1131).
addition([test(9408),test(5960),test(9361)], [test(8028),test(4859),test(1571)], 1900).
addition([test(3054),test(8818),test(7319)], [test(4255),test(8300),test(9326)], 1289).
addition([test(7875),test(2153),test(4837)], [test(8021),test(2902),test(1191)], 347).
addition([test(2341),test(619),test(5701)], [test(9310),test(5919),test(360)], 1012).
addition([test(445),test(4833),test(7578)], [test(6534),test(4402),test(8242)], 863).
addition([test(6624),test(3121),test(4337)], [test(8718),test(7465),test(5419)], 1065).
addition([test(4450),test(1305),test(8248)], [test(1978),test(6344),test(6784)], 526).
addition([test(9518),test(2588),test(8084)], [test(8735),test(4566),test(4654)], 1056).
addition([test(6502),test(5015),test(1633)], [test(4120),test(8802),test(5471)], 538).
addition([test(1783),test(8556),test(1526)], [test(2479),test(5365),test(4892)], 855).
addition([test(7378),test(6507),test(8033)], [test(1124),test(1068),test(8807)], 1783).
addition([test(3594),test(9863),test(1956)], [test(6178),test(5415),test(7316)], 1588).
addition([test(8853),test(2726),test(5467)], [test(2610),test(9171),test(5473)], 741).
addition([test(1564),test(3515),test(635)], [test(1825),test(5182),test(1483)], 1723).
addition([test(9892),test(3779),test(5764)], [test(9547),test(43),test(6861)], 1037).
addition([test(4326),test(1063),test(6698)], [test(9206),test(9544),test(6280)], 1282).
addition([test(3320),test(6421),test(8449)], [test(3661),test(6398),test(6647)], 335).
addition([test(298),test(373),test(8025)], [test(5202),test(9931),test(5795)], 699).
addition([test(8498),test(2410),test(7397)], [test(3314),test(8052),test(786)], 381).
addition([test(5833),test(3999),test(2745)], [test(4694),test(5268),test(8170)], 1288).
addition([test(9603),test(330),test(7922)], [test(4587),test(1049),test(9075)], 837).
addition([test(9237),test(3051),test(4905)], [test(778),test(4556),test(882)], 1461).
addition([test(9879),test(5901),test(7553)], [test(5912),test(6118),test(2887)], 395).
addition([test(7826),test(2496),test(2793)], [test(4373),test(6546),test(2468)], 934).
addition([test(4781),test(9626),test(2128)], [test(1082),test(6142),test(7647)], 1310).
addition([test(9721),test(9262),test(9257)], [test(7732),test(5406),test(9265)], 1288).
addition([test(1817),test(6735),test(6544)], [test(2445),test(5691),test(7190)], 825).
addition([test(5791),test(1446),test(3404)], [test(2900),test(5819),test(4629)], 497).
addition([test(8564),test(5164),test(6771)], [test(6880),test(7122),test(8430)], 1259).
addition([test(1263),test(1660),test(6023)], [test(7235),test(2685),test(2017)], 764).
addition([test(9625),test(7145),test(7819)], [test(639),test(3058),test(2398)], 1436).
addition([test(1962),test(4011),test(2315)], [test(3389),test(5138),test(262)], 1268).
addition([test(3653),test(5195),test(1642)], [test(5407),test(302),test(4610)], 661).
addition([test(9416),test(161),test(8834)], [test(7185),test(82),test(4655)], 1286).
addition([test(7622),test(9048),test(490)], [test(7692),test(4558),test(2945)], 863).
addition([test(6578),test(5417),test(4124)], [test(2033),test(7292),test(428)], 862).
addition([test(799),test(8859),test(2703)], [test(6665),test(4466),test(7024)], 563).
addition([test(7283),test(9157),test(4393)], [test(3159),test(993),test(5840)], 1035).
addition([test(931),test(5085),test(6010)], [test(2768),test(9199),test(2931)], 965).
addition([test(542),test(3789),test(9234)], [test(2510),test(6353),test(2968)], 992).
addition([test(1385),test(1176),test(8499)], [test(3670),test(8448),test(1901)], 1215).
addition([test(201),test(812),test(4271)], [test(9485),test(3016),test(7390)], 762).
addition([test(9184),test(9512),test(6006)], [test(4964),test(295),test(678)], 796).
addition([test(4115),test(4814),test(4550)], [test(9233),test(46),test(4671)], 387).
addition([test(6396),test(6388),test(1380)], [test(2859),test(2553),test(9741)], 1288).
addition([test(1480),test(242),test(308)], [test(7633),test(3464),test(1737)], 1199).
addition([test(820),test(4969),test(5022)], [test(454),test(5579),test(5672)], 1588).
addition([test(3068),test(6390),test(4886)], [test(8708),test(1296),test(804)], 1017).
addition([test(4403),test(2669),test(8434)], [test(7225),test(5959),test(3204)], 102).
addition([test(5931),test(7201),test(4310)], [test(3263),test(9154),test(7879)], 1069).
addition([test(900),test(5035),test(6876)], [test(9836),test(3708),test(6424)], 283).
addition([test(5271),test(6399),test(2001)], [test(1384),test(2125),test(7389)], 521).
addition([test(1767),test(5144),test(4667)], [test(3837),test(636),test(9204)], 1075).
addition([test(4890),test(7488),test(6276)], [test(1552),test(1485),test(7728)], 1262).
addition([test(107),test(8839),test(4857)], [test(5539),test(4746),test(6709)], 868).
addition([test(159),test(9031),test(6283)], [test(4938),test(9597),test(9776)], 1202).
addition([test(7481),test(1498),test(6013)], [test(8611),test(5538),test(3973)], 911).
addition([test(7148),test(6212),test(1981)], [test(8534),test(3497),test(5842)], 1930).
addition([test(1106),test(7971),test(2917)], [test(9689),test(6413),test(5589)], 822).
addition([test(2300),test(968),test(2071)], [test(3603),test(6979),test(5069)], 941).
addition([test(7865),test(6512),test(3123)], [test(7198),test(5284),test(6560)], 1643).
addition([test(3751),test(1847),test(610)], [test(5303),test(3554),test(6152)], 1418).
addition([test(9545),test(9867),test(9904)], [test(8932),test(9049),test(8698)], 1339).
addition([test(5593),test(3715),test(5749)], [test(6688),test(9831),test(4163)], 197).
addition([test(1773),test(6336),test(1781)], [test(2453),test(4839),test(2)], 570).
addition([test(1729),test(7187),test(3337)], [test(927),test(4476),test(5381)], 474).
addition([test(9687),test(1260),test(7136)], [test(5266),test(7234),test(5056)], 364).
addition([test(3859),test(6244),test(9072)], [test(5978),test(5084),test(7356)], 1099).
addition([test(1987),test(1867),test(2265)], [test(6639),test(9841),test(7020)], 670).
addition([test(8023),test(673),test(4071)], [test(6141),test(7513),test(3886)], 270).
addition([test(3218),test(4999),test(2677)], [test(9940),test(6271),test(5523)], 1255).
addition([test(4244),test(4426),test(881)], [test(1492),test(1668),test(6478)], 1384).
addition([test(6838),test(1321),test(749)], [test(8822),test(5874),test(6140)], 1321).
addition([test(8891),test(4597),test(1378)], [test(5625),test(5097),test(9738)], 1089).
addition([test(2809),test(9158),test(1955)], [test(5210),test(3173),test(7830)], 1768).
addition([test(2082),test(5326),test(7854)], [test(1728),test(3619),test(5727)], 435).
addition([test(7175),test(2764),test(9018)], [test(2290),test(9273),test(3646)], 702).
addition([test(4437),test(8811),test(2122)], [test(1481),test(1229),test(8157)], 1320).
addition([test(2654),test(9937),test(2796)], [test(9203),test(4818),test(3659)], 1059).
addition([test(3725),test(2019),test(2847)], [test(2672),test(2020),test(7711)], 1331).
addition([test(537),test(8947),test(1025)], [test(9588),test(137),test(9141)], 658).
addition([test(6068),test(8604),test(168)], [test(1617),test(3890),test(8331)], 966).
addition([test(8618),test(5245),test(2538)], [test(5261),test(7152),test(8531)], 1604).
addition([test(4802),test(5916),test(1816)], [test(3503),test(2094),test(3647)], 1311).
addition([test(8356),test(383),test(1765)], [test(2946),test(5126),test(7932)], 916).
addition([test(1782),test(2383),test(9883)], [test(6970),test(1715),test(9009)], 882).
addition([test(6323),test(2695),test(692)], [test(2639),test(2273),test(5765)], 793).
addition([test(3281),test(5137),test(491)], [test(2376),test(8073),test(528)], 258).
addition([test(2207),test(2287),test(8546)], [test(2646),test(8504),test(8725)], 1314).
addition([test(1354),test(3049),test(6233)], [test(9046),test(7882),test(1359)], 538).
addition([test(3398),test(2759),test(7399)], [test(5095),test(8868),test(1443)], 869).
addition([test(7181),test(9828),test(5659)], [test(5954),test(553),test(3697)], 1116).
addition([test(4965),test(1517),test(8030)], [test(376),test(664),test(5149)], 689).
addition([test(3675),test(4050),test(6744)], [test(9517),test(8831),test(7422)], 1173).
addition([test(2025),test(4920),test(227)], [test(9201),test(8694),test(3645)], 559).
addition([test(6729),test(7121),test(9301)], [test(6913),test(6264),test(8413)], 289).
addition([test(8243),test(1318),test(1786)], [test(3417),test(646),test(8576)], 34).
addition([test(735),test(2206),test(4164)], [test(8251),test(7673),test(7887)], 193).
addition([test(4511),test(8967),test(5575)], [test(1218),test(1223),test(1584)], 977).
addition([test(7219),test(3217),test(8103)], [test(5848),test(7149),test(1477)], 913).
addition([test(2038),test(1616),test(8742)], [test(2114),test(2557),test(7630)], 1372).
addition([test(1065),test(1394),test(4029)], [test(694),test(1478),test(5121)], 851).
addition([test(4545),test(515),test(7445)], [test(1876),test(4634),test(5852)], 1022).
addition([test(6162),test(73),test(1771)], [test(1412),test(5345),test(3679)], 433).
addition([test(3918),test(6066),test(6949)], [test(456),test(9548),test(6991)], 777).
addition([test(1099),test(7768),test(6592)], [test(2421),test(5877),test(3023)], 837).
addition([test(5428),test(4365),test(2054)], [test(1226),test(2761),test(2148)], 713).
addition([test(1006),test(3771),test(1253)], [test(4776),test(741),test(8043)], 811).
addition([test(2857),test(7189),test(3541)], [test(1676),test(3692),test(9723)], 1653).
addition([test(8334),test(7501),test(4305)], [test(6446),test(3128),test(8579)], 1164).
addition([test(5321),test(6691),test(1)], [test(2561),test(211),test(9329)], 917).
addition([test(2700),test(711),test(3488)], [test(7571),test(9298),test(9704)], 1706).
addition([test(8966),test(9412),test(4745)], [test(6188),test(815),test(1368)], 975).
addition([test(8985),test(149),test(6312)], [test(534),test(8633),test(6590)], 1433).
addition([test(256),test(9152),test(8554)], [test(2963),test(6423),test(4074)], 667).
addition([test(7670),test(6251),test(2205)], [test(2971),test(3213),test(195)], 917).
addition([test(8743),test(4527),test(3566)], [test(3066),test(5551),test(1009)], 872).
addition([test(9947),test(2066),test(264)], [test(8359),test(1863),test(4633)], 498).
addition([test(4258),test(3938),test(3045)], [test(1461),test(2217),test(4543)], 851).
addition([test(5582),test(8632),test(1666)], [test(1268),test(4372),test(8984)], 1846).
addition([test(7742),test(9457),test(7562)], [test(5649),test(8218),test(5252)], 1280).
addition([test(3176),test(7012),test(7391)], [test(6099),test(2915),test(2750)], 300).
addition([test(5664),test(5953),test(9575)], [test(4647),test(5040),test(2474)], 795).
addition([test(171),test(9783),test(2194)], [test(2642),test(5526),test(6154)], 1454).
addition([test(568),test(7233),test(1743)], [test(5880),test(1542),test(2032)], 782).
addition([test(2115),test(9652),test(6987)], [test(7590),test(7751),test(6760)], 1116).
addition([test(5361),test(9989),test(9546)], [test(5750),test(4855),test(1593)], 243).
addition([test(2449),test(3152),test(1132)], [test(5098),test(3397),test(5364)], 557).
addition([test(2092),test(9238),test(6520)], [test(8254),test(7205),test(3791)], 568).
addition([test(7635),test(707),test(3998)], [test(5108),test(8273),test(9296)], 244).
addition([test(9871),test(7802),test(1194)], [test(7931),test(6573),test(715)], 1369).
addition([test(6585),test(3363),test(7228)], [test(1062),test(1544),test(371)], 803).
addition([test(9194),test(1292),test(4679)], [test(524),test(519),test(4943)], 911).
addition([test(3390),test(5003),test(3614)], [test(729),test(2215),test(9677)], 1046).
addition([test(8244),test(5868),test(7564)], [test(7979),test(3470),test(8920)], 1051).
addition([test(4153),test(5046),test(3523)], [test(2160),test(5423),test(3328)], 821).
addition([test(3913),test(8492),test(8089)], [test(8275),test(9578),test(2783)], 753).
addition([test(1614),test(1573),test(9413)], [test(857),test(9151),test(8876)], 1060).
addition([test(5279),test(1128),test(3753)], [test(6572),test(1490),test(5034)], 1073).
addition([test(1889),test(6968),test(6779)], [test(6136),test(8584),test(5177)], 827).
addition([test(1688),test(1945),test(6710)], [test(1140),test(8098),test(4620)], 1025).
addition([test(9622),test(2484),test(4111)], [test(8390),test(3083),test(5159)], 313).
addition([test(5591),test(8189),test(5346)], [test(9808),test(4158),test(6910)], 1642).
addition([test(3013),test(4731),test(1938)], [test(9025),test(5628),test(2143)], 221).
addition([test(2003),test(9628),test(7693)], [test(7238),test(1639),test(3374)], 1328).
addition([test(8168),test(578),test(5209)], [test(2235),test(9339),test(1396)], 347).
addition([test(7217),test(8812),test(763)], [test(5849),test(8995),test(56)], 354).
addition([test(3665),test(9155),test(2226)], [test(74),test(6716),test(6794)], 763).
addition([test(2170),test(5047),test(14)], [test(7775),test(8020),test(8362)], 1054).
addition([test(3759),test(7729),test(3899)], [test(6719),test(2499),test(6207)], 968).
addition([test(1856),test(7426),test(7231)], [test(9019),test(345),test(7270)], 1101).
addition([test(9950),test(9658),test(3243)], [test(4443),test(2901),test(9722)], 508).
addition([test(6503),test(6313),test(4065)], [test(3936),test(4039),test(743)], 1456).
addition([test(3248),test(9170),test(6754)], [test(9423),test(5733),test(7587)], 1314).
addition([test(7528),test(2317),test(9076)], [test(4447),test(566),test(4387)], 338).
addition([test(925),test(5412),test(1334)], [test(6290),test(4329),test(6459)], 681).
addition([test(7354),test(2697),test(6966)], [test(6645),test(3926),test(6469)], 348).
addition([test(8657),test(9192),test(865)], [test(6462),test(3705),test(956)], 314).
addition([test(2872),test(4472),test(946)], [test(6562),test(2319),test(9272)], 706).
addition([test(7336),test(9580),test(7296)], [test(6274),test(2778),test(1764)], 1237).
addition([test(1510),test(4012),test(8127)], [test(4106),test(9820),test(630)], 869).
addition([test(1698),test(2978),test(9161)], [test(863),test(8948),test(7380)], 897).
addition([test(6608),test(3437),test(8166)], [test(9961),test(7806),test(9969)], 1552).
addition([test(2694),test(7438),test(6019)], [test(6881),test(1843),test(2412)], 1566).
addition([test(899),test(8684),test(9956)], [test(1818),test(3444),test(654)], 1476).
addition([test(8138),test(6196),test(7557)], [test(8864),test(6497),test(6297)], 487).
addition([test(1758),test(3038),test(8651)], [test(4630),test(6526),test(9576)], 1184).
addition([test(8844),test(4756),test(4503)], [test(6261),test(1503),test(3005)], 921).
addition([test(5517),test(5958),test(3879)], [test(3144),test(2475),test(2717)], 1089).
addition([test(5773),test(9193),test(4333)], [test(237),test(9429),test(5886)], 985).
addition([test(6741),test(6410),test(2504)], [test(2724),test(4048),test(3206)], 1589).
addition([test(728),test(3468),test(1363)], [test(1493),test(8488),test(160)], 771).
addition([test(9832),test(9561),test(9875)], [test(5131),test(377),test(5329)], 851).
addition([test(6123),test(1350),test(9825)], [test(7071),test(9450),test(7824)], 1205).
addition([test(1763),test(4017),test(8333)], [test(8400),test(3273),test(7871)], 814).
addition([test(3095),test(5070),test(5481)], [test(2679),test(8245),test(5430)], 816).
addition([test(1413),test(8927),test(398)], [test(8436),test(813),test(9693)], 1480).
addition([test(4992),test(2202),test(7369)], [test(1234),test(6025),test(1806)], 895).
addition([test(3142),test(1557),test(59)], [test(9463),test(5122),test(8074)], 1022).
addition([test(3408),test(6656),test(8278)], [test(5307),test(1733),test(849)], 653).
addition([test(109),test(7351),test(6105)], [test(8426),test(7591),test(5710)], 1375).
addition([test(4496),test(1283),test(6776)], [test(8869),test(7799),test(1624)], 1575).
addition([test(5706),test(3088),test(4228)], [test(2000),test(2031),test(2836)], 1201).
addition([test(6213),test(7416),test(3486)], [test(650),test(4909),test(3306)], 983).
addition([test(620),test(6198),test(128)], [test(9980),test(8734),test(3949)], 356).
addition([test(2284),test(7344),test(243)], [test(6011),test(7411),test(7575)], 629).
addition([test(6060),test(2431),test(3167)], [test(1790),test(89),test(9268)], 348).
addition([test(6498),test(5127),test(1401)], [test(818),test(8867),test(5384)], 758).
addition([test(5827),test(4369),test(9909)], [test(5561),test(7608),test(6356)], 508).
addition([test(146),test(7271),test(5907)], [test(4195),test(6996),test(5550)], 1013).
addition([test(5265),test(6766),test(9952)], [test(2592),test(9684),test(9528)], 670).
addition([test(910),test(2684),test(8211)], [test(9713),test(8719),test(4561)], 1363).
addition([test(2889),test(34),test(9864)], [test(8543),test(1799),test(9749)], 652).
addition([test(739),test(3521),test(459)], [test(7191),test(1886),test(4316)], 749).
addition([test(9131),test(937),test(9938)], [test(8266),test(7811),test(7401)], 1079).
addition([test(4360),test(8777),test(886)], [test(3436),test(2577),test(7781)], 808).
addition([test(1398),test(411),test(2406)], [test(3403),test(1352),test(1652)], 1503).
addition([test(3819),test(3006),test(1403)], [test(2861),test(2387),test(4820)], 789).
addition([test(6833),test(1057),test(6584)], [test(7220),test(5610),test(6164)], 919).
addition([test(9383),test(1309),test(9033)], [test(2448),test(9403),test(3506)], 1659).
addition([test(8757),test(9927),test(1841)], [test(8552),test(9178),test(4298)], 909).
addition([test(9133),test(1197),test(939)], [test(8236),test(5273),test(8357)], 1340).
addition([test(572),test(2486),test(8140)], [test(3441),test(5688),test(3443)], 1636).
addition([test(202),test(5643),test(1673)], [test(4752),test(3060),test(3975)], 1114).
addition([test(151),test(7573),test(1004)], [test(9020),test(5280),test(9293)], 1780).
addition([test(7737),test(8230),test(6176)], [test(9802),test(6586),test(1151)], 270).
addition([test(609),test(6870),test(2185)], [test(7357),test(3727),test(2337)], 1276).
addition([test(5102),test(8993),test(2487)], [test(1212),test(1435),test(1993)], 1236).
addition([test(8335),test(5189),test(2339)], [test(6326),test(4658),test(7759)], 799).
addition([test(9314),test(4187),test(2845)], [test(530),test(2470),test(9671)], 1714).
addition([test(1972),test(5197),test(2186)], [test(1486),test(2461),test(6936)], 961).
addition([test(9039),test(8118),test(9333)], [test(6150),test(6299),test(3867)], 944).
addition([test(4928),test(9716),test(5870)], [test(3768),test(6672),test(5286)], 326).
addition([test(4439),test(1578),test(4841)], [test(2608),test(3796),test(8186)], 1486).
addition([test(5132),test(5702),test(3216)], [test(4660),test(2816),test(1421)], 883).
addition([test(5403),test(1291),test(8330)], [test(6235),test(1699),test(395)], 1813).
addition([test(1920),test(4691),test(9731)], [test(5988),test(9746),test(4782)], 1190).
addition([test(5599),test(628),test(3007)], [test(1207),test(2022),test(775)], 877).
addition([test(6042),test(6302),test(6008)], [test(1594),test(1119),test(5943)], 1562).
addition([test(1757),test(9629),test(8328)], [test(4606),test(2379),test(9509)], 194).
addition([test(9045),test(8558),test(1139)], [test(4887),test(1756),test(8519)], 788).
addition([test(8731),test(5537),test(6759)], [test(6214),test(4331),test(5684)], 1004).
addition([test(9698),test(6148),test(367)], [test(7519),test(4933),test(2152)], 1013).
addition([test(95),test(6153),test(1828)], [test(6541),test(2030),test(7925)], 739).
addition([test(2278),test(2938),test(3140)], [test(6581),test(584),test(6931)], 954).
addition([test(5807),test(6747),test(9598)], [test(7952),test(6685),test(3740)], 1559).
addition([test(44),test(2435),test(2369)], [test(8551),test(7059),test(3587)], 684).
addition([test(1506),test(7400),test(4944)], [test(4644),test(8769),test(8616)], 1186).
addition([test(2922),test(2073),test(6427)], [test(5421),test(9431),test(1562)], 1192).
addition([test(5374),test(2169),test(1583)], [test(2838),test(5964),test(2291)], 803).
addition([test(9212),test(522),test(1034)], [test(2705),test(5715),test(2220)], 937).
addition([test(4218),test(597),test(2061)], [test(9464),test(4728),test(6403)], 958).
addition([test(6472),test(144),test(9690)], [test(3942),test(8712),test(5973)], 200).
addition([test(2648),test(1408),test(1195)], [test(5844),test(2069),test(328)], 1537).
addition([test(723),test(8219),test(1221)], [test(5086),test(2227),test(8006)], 314).
addition([test(4241),test(1371),test(1738)], [test(8765),test(590),test(393)], 114).
addition([test(4534),test(184),test(4533)], [test(2414),test(3827),test(6499)], 1943).
addition([test(4060),test(8270),test(7047)], [test(9471),test(7934),test(1829)], 865).
addition([test(4076),test(7218),test(1709)], [test(4757),test(4159),test(2957)], 634).
addition([test(2921),test(9733),test(1388)], [test(438),test(4006),test(206)], 1115).
addition([test(8476),test(2651),test(2530)], [test(7043),test(4243),test(2201)], 1828).
addition([test(6576),test(3959),test(1159)], [test(7307),test(4816),test(1278)], 1427).
addition([test(8374),test(3723),test(5180)], [test(1809),test(6046),test(6942)], 1732).
addition([test(2947),test(1433),test(1175)], [test(1832),test(229),test(9070)], 1057).
addition([test(1017),test(2579),test(8161)], [test(3760),test(4962),test(268)], 1610).
addition([test(7285),test(2096),test(3984)], [test(8144),test(1083),test(2573)], 1324).
addition([test(1170),test(1519),test(8591)], [test(8848),test(3729),test(8172)], 1457).
addition([test(3466),test(4175),test(4224)], [test(8670),test(2939),test(1066)], 1872).
addition([test(3699),test(1821),test(5671)], [test(7652),test(3139),test(8409)], 1181).
addition([test(3621),test(2727),test(2955)], [test(6416),test(9295),test(7516)], 1363).
addition([test(709),test(7182),test(4419)], [test(314),test(5532),test(5152)], 1073).
addition([test(4000),test(6069),test(2214)], [test(3593),test(4034),test(4080)], 1075).
addition([test(9129),test(6836),test(4502)], [test(682),test(4626),test(4474)], 416).
addition([test(6294),test(520),test(604)], [test(204),test(1974),test(2400)], 850).
addition([test(7889),test(8465),test(9398)], [test(5679),test(4961),test(727)], 198).
addition([test(4769),test(7761),test(4997)], [test(2419),test(6374),test(1232)], 1781).
addition([test(8524),test(6733),test(9790)], [test(4356),test(6179),test(7110)], 1379).
addition([test(3342),test(5256),test(9624)], [test(51),test(8377),test(2656)], 1003).
addition([test(9102),test(4738),test(6484)], [test(3427),test(3556),test(7258)], 1097).
addition([test(2495),test(4123),test(8372)], [test(1711),test(3777),test(9472)], 508).
addition([test(9156),test(4174),test(8289)], [test(2405),test(6492),test(6254)], 772).
addition([test(8523),test(9208),test(5416)], [test(6983),test(2098),test(9467)], 1370).
addition([test(2417),test(2636),test(5724)], [test(8625),test(6253),test(2313)], 362).
addition([test(297),test(6394),test(6877)], [test(3876),test(1489),test(960)], 327).
addition([test(6256),test(6945),test(8274)], [test(6821),test(2024),test(9328)], 866).
addition([test(1028),test(7604),test(5010)], [test(5663),test(2248),test(8113)], 1047).
addition([test(904),test(6768),test(3649)], [test(2077),test(1126),test(3162)], 648).
addition([test(3025),test(9503),test(1422)], [test(2824),test(5216),test(1453)], 478).
addition([test(9026),test(3393),test(5890)], [test(9188),test(9554),test(1611)], 1943).
addition([test(6712),test(9342),test(5809)], [test(6429),test(3780),test(7598)], 178).
addition([test(7293),test(677),test(6902)], [test(7923),test(2418),test(9366)], 1247).
addition([test(7837),test(2534),test(3011)], [test(5634),test(6043),test(9882)], 1190).
addition([test(6189),test(8605),test(4007)], [test(7554),test(5824),test(5134)], 1202).
addition([test(9974),test(4220),test(4477)], [test(1111),test(4674),test(2535)], 846).
addition([test(7838),test(8311),test(6563)], [test(8788),test(9438),test(3872)], 582).
addition([test(5781),test(4998),test(2720)], [test(3911),test(7213),test(854)], 1009).
addition([test(4507),test(9743),test(2747)], [test(7100),test(2903),test(8872)], 428).
addition([test(6486),test(4395),test(887)], [test(6215),test(6401),test(6197)], 1159).
addition([test(7321),test(8065),test(9860)], [test(205),test(8258),test(2580)], 669).
addition([test(4455),test(5167),test(9309)], [test(3966),test(9982),test(7348)], 1774).
addition([test(7958),test(9360),test(8444)], [test(8974),test(7386),test(1803)], 1278).
addition([test(8291),test(5076),test(9313)], [test(9696),test(5055),test(8529)], 885).
addition([test(6649),test(2509),test(3295)], [test(1257),test(4665),test(6714)], 1038).
addition([test(7890),test(3278),test(1038)], [test(8707),test(5185),test(341)], 377).
addition([test(5453),test(4325),test(7483)], [test(5913),test(9934),test(9040)], 778).
addition([test(8259),test(6091),test(2807)], [test(7424),test(3667),test(6926)], 1169).
addition([test(9682),test(9167),test(3294)], [test(4282),test(9725),test(8786)], 124).
addition([test(595),test(2456),test(1168)], [test(5894),test(2386),test(948)], 1336).
addition([test(5530),test(8610),test(8514)], [test(9074),test(4695),test(5860)], 1283).
addition([test(7381),test(1375),test(6548)], [test(4438),test(8411),test(693)], 463).
addition([test(418),test(8898),test(113)], [test(8595),test(4149),test(4456)], 271).
addition([test(5652),test(4166),test(4186)], [test(6704),test(1520),test(6239)], 371).
addition([test(12),test(9101),test(7504)], [test(4676),test(7009),test(5052)], 1118).
addition([test(3395),test(462),test(5573)], [test(1681),test(4692),test(3829)], 1061).
addition([test(5739),test(4729),test(4848)], [test(1328),test(7611),test(7365)], 955).
addition([test(5786),test(8085),test(7514)], [test(3106),test(730),test(2352)], 384).
addition([test(9246),test(2894),test(5179)], [test(748),test(1713),test(9639)], 611).
addition([test(2753),test(1203),test(2491)], [test(9803),test(8893),test(4877)], 393).
addition([test(117),test(7361),test(6300)], [test(1888),test(8526),test(6044)], 1055).
addition([test(4945),test(998),test(3881)], [test(6518),test(400),test(1615)], 1512).
addition([test(9117),test(318),test(2375)], [test(8767),test(4358),test(9899)], 1321).
addition([test(6185),test(703),test(7352)], [test(3467),test(6668),test(2953)], 1438).
addition([test(1536),test(64),test(5553)], [test(8142),test(9799),test(4906)], 1185).
addition([test(7509),test(8367),test(9954)], [test(4281),test(372),test(3108)], 315).
addition([test(3826),test(4821),test(5513)], [test(7245),test(605),test(7906)], 846).
addition([test(1864),test(3945),test(8900)], [test(6940),test(9198),test(31)], 820).
addition([test(3035),test(9835),test(7476)], [test(853),test(5353),test(9764)], 947).
addition([test(3655),test(3842),test(8126)], [test(4872),test(6679),test(5884)], 475).
addition([test(5578),test(6113),test(4845)], [test(4613),test(5464),test(9377)], 1208).
addition([test(120),test(7780),test(4792)], [test(4525),test(511),test(5621)], 656).
addition([test(6172),test(5520),test(9251)], [test(3220),test(3733),test(9744)], 1434).
addition([test(6121),test(1561),test(5613)], [test(5376),test(4381),test(8241)], 1598).
addition([test(5322),test(8634),test(1693)], [test(6778),test(3745),test(3604)], 1322).
addition([test(4619),test(2434),test(9136)], [test(5229),test(2296),test(5289)], 1147).
addition([test(2223),test(4043),test(6699)], [test(7543),test(8944),test(2853)], 767).
addition([test(9191),test(6528),test(6935)], [test(3781),test(2259),test(6166)], 1127).
addition([test(8463),test(1351),test(6721)], [test(9),test(2526),test(6382)], 1465).
addition([test(1411),test(8808),test(8447)], [test(9346),test(8318),test(2765)], 225).
addition([test(1364),test(5437),test(5302)], [test(7764),test(4881),test(8001)], 1354).
addition([test(7019),test(836),test(1465)], [test(7227),test(4084),test(301)], 1051).
addition([test(2664),test(5291),test(4981)], [test(499),test(1911),test(3252)], 868).
addition([test(199),test(481),test(8631)], [test(1930),test(9489),test(9185)], 513).
addition([test(1692),test(1525),test(4542)], [test(2926),test(903),test(6889)], 1018).
addition([test(2977),test(6696),test(5704)], [test(6553),test(3073),test(563)], 667).
addition([test(2617),test(2533),test(8741)], [test(1995),test(9209),test(2363)], 859).
addition([test(7229),test(4515),test(437)], [test(9850),test(7025),test(3520)], 299).
addition([test(4716),test(2236),test(8041)], [test(4363),test(5504),test(3449)], 1139).
addition([test(574),test(2372),test(7674)], [test(8530),test(4918),test(3150)], 1266).
addition([test(4385),test(3693),test(2888)], [test(1190),test(2763),test(6785)], 799).
addition([test(4458),test(5344),test(9542)], [test(1554),test(9968),test(2529)], 1461).
addition([test(1199),test(6998),test(7722)], [test(5882),test(6145),test(3181)], 1077).
addition([test(9728),test(1231),test(3638)], [test(8997),test(8167),test(126)], 1031).
addition([test(7028),test(1193),test(6952)], [test(7511),test(1654),test(1037)], 1236).
addition([test(8689),test(4492),test(9069)], [test(172),test(3169),test(7155)], 1084).
addition([test(9843),test(2797),test(8636)], [test(5822),test(3532),test(4406)], 1364).
addition([test(8760),test(1143),test(4051)], [test(4380),test(9800),test(1452)], 1485).
addition([test(122),test(4457),test(1750)], [test(9067),test(1430),test(4265)], 1421).
addition([test(2043),test(5516),test(4184)], [test(875),test(5192),test(1598)], 664).
addition([test(1734),test(1968),test(8215)], [test(8622),test(1217),test(4162)], 1476).
addition([test(1784),test(1455),test(1027)], [test(9653),test(2130),test(457)], 937).
addition([test(4986),test(4436),test(9772)], [test(2740),test(8329),test(5190)], 1838).
addition([test(6464),test(8676),test(5945)], [test(5079),test(8723),test(1259)], 951).
addition([test(9190),test(7078),test(7583)], [test(6743),test(9111),test(7157)], 288).
addition([test(2084),test(5460),test(898)], [test(3893),test(1254),test(2709)], 931).
addition([test(8358),test(8875),test(9144)], [test(1355),test(6616),test(8682)], 1640).
addition([test(765),test(1496),test(1899)], [test(1570),test(9751),test(3979)], 504).
addition([test(7333),test(1753),test(2034)], [test(5450),test(9084),test(24)], 355).
addition([test(3003),test(9082),test(1868)], [test(5820),test(4109),test(1656)], 353).
addition([test(1559),test(2171),test(1524)], [test(535),test(8031),test(427)], 1339).
addition([test(8474),test(8342),test(8268)], [test(6161),test(3199),test(3413)], 1451).
addition([test(8058),test(8562),test(3322)], [test(2333),test(1640),test(724)], 236).
addition([test(2137),test(274),test(5925)], [test(2360),test(9852),test(8428)], 870).
addition([test(4868),test(5653),test(8368)], [test(2933),test(907),test(716)], 1317).
addition([test(6636),test(5902),test(4284)], [test(2281),test(2294),test(8316)], 626).
addition([test(4268),test(2562),test(1122)], [test(6047),test(2856),test(2444)], 1448).
addition([test(465),test(5211),test(4668)], [test(2356),test(1410),test(8674)], 935).
addition([test(552),test(6956),test(3730)], [test(6625),test(3240),test(5796)], 990).
addition([test(5340),test(309),test(601)], [test(4198),test(7108),test(1021)], 1195).
addition([test(5247),test(5215),test(4066)], [test(99),test(7407),test(6723)], 1866).
addition([test(8955),test(384),test(3076)], [test(5455),test(8013),test(6513)], 1226).
addition([test(8512),test(1636),test(6609)], [test(2402),test(1228),test(8160)], 1242).
addition([test(6275),test(5678),test(5402)], [test(1919),test(4663),test(4749)], 1682).
addition([test(8597),test(1540),test(1484)], [test(8683),test(2441),test(2896)], 609).
addition([test(8938),test(4978),test(6133)], [test(4786),test(7433),test(5042)], 1169).
addition([test(7928),test(4934),test(4897)], [test(7639),test(2516),test(7467)], 563).
addition([test(1469),test(2682),test(7166)], [test(8146),test(5697),test(7720)], 1314).
addition([test(3711),test(5696),test(2368)], [test(971),test(2988),test(8047)], 1346).
addition([test(746),test(911),test(4177)], [test(5093),test(8663),test(6412)], 967).
addition([test(3671),test(8149),test(7487)], [test(1198),test(5332),test(5790)], 1528).
addition([test(9781),test(7492),test(8922)], [test(1246),test(8119),test(7584)], 748).
addition([test(4185),test(6975),test(219)], [test(2777),test(3276),test(9921)], 151).
addition([test(7180),test(7018),test(9235)], [test(8740),test(8094),test(720)], 878).
addition([test(2752),test(5065),test(9207)], [test(7785),test(8090),test(7072)], 496).
addition([test(321),test(7533),test(4825)], [test(4684),test(3315),test(5191)], 482).
addition([test(1565),test(671),test(2011)], [test(3087),test(3012),test(9610)], 182).
addition([test(588),test(3157),test(8407)], [test(3527),test(3995),test(5101)], 887).
addition([test(5968),test(9443),test(5283)], [test(3540),test(7672),test(9936)], 971).
addition([test(8237),test(3042),test(596)], [test(1927),test(387),test(3510)], 870).
addition([test(5383),test(1513),test(6571)], [test(4200),test(7706),test(538)], 1347).
addition([test(7677),test(3324),test(6135)], [test(8210),test(8586),test(310)], 1694).
addition([test(8320),test(8991),test(3790)], [test(4623),test(5338),test(9179)], 920).
addition([test(9121),test(8321),test(7784)], [test(4351),test(656),test(1424)], 172).
addition([test(1934),test(6866),test(7576)], [test(1449),test(3517),test(1592)], 1103).
addition([test(132),test(6372),test(2380)], [test(7435),test(7455),test(2035)], 974).
addition([test(3259),test(3832),test(2810)], [test(2359),test(1101),test(154)], 306).
addition([test(1760),test(9434),test(5631)], [test(9374),test(5080),test(945)], 906).
addition([test(6124),test(1393),test(600)], [test(6860),test(7717),test(4719)], 1467).
addition([test(4739),test(9977),test(389)], [test(9558),test(5808),test(3046)], 427).
addition([test(9998),test(7667),test(2047)], [test(8137),test(2762),test(6655)], 635).
addition([test(7800),test(5847),test(7757)], [test(4907),test(631),test(4090)], 687).
addition([test(5695),test(6227),test(2450)], [test(4235),test(4221),test(1074)], 1001).
addition([test(3739),test(3865),test(1853)], [test(814),test(9769),test(145)], 1040).
addition([test(4193),test(5677),test(2241)], [test(2507),test(139),test(9928)], 1389).
addition([test(1924),test(4001),test(9035)], [test(4765),test(8191),test(6365)], 1108).
addition([test(8809),test(291),test(7454)], [test(47),test(7859),test(8014)], 378).
addition([test(2350),test(4959),test(6637)], [test(5938),test(1214),test(7056)], 818).
addition([test(2021),test(848),test(5479)], [test(5552),test(1887),test(2634)], 686).
addition([test(7807),test(2306),test(2079)], [test(2822),test(9453),test(2776)], 1089).
addition([test(6467),test(9890),test(8624)], [test(1114),test(1671),test(7013)], 1265).
addition([test(1033),test(1237),test(7197)], [test(8173),test(2935),test(8612)], 1609).
addition([test(7537),test(2775),test(6436)], [test(3424),test(6800),test(6481)], 682).
addition([test(6332),test(1094),test(618)], [test(8987),test(9529),test(776)], 969).
addition([test(8668),test(7162),test(7899)], [test(9269),test(5173),test(7413)], 1285).
addition([test(1058),test(8121),test(2626)], [test(1687),test(7730),test(2647)], 1774).
addition([test(2139),test(6793),test(5316)], [test(1791),test(296),test(118)], 500).
addition([test(134),test(4418),test(1372)], [test(3075),test(4804),test(1834)], 1723).
addition([test(2203),test(4067),test(4253)], [test(2120),test(4113),test(2057)], 1284).
addition([test(1023),test(2239),test(4924)], [test(670),test(4262),test(1970)], 826).
addition([test(3542),test(188),test(9231)], [test(6916),test(8559),test(364)], 1318).
addition([test(6575),test(8404),test(313)], [test(5156),test(5789),test(683)], 566).
addition([test(2060),test(4513),test(2865)], [test(217),test(6957),test(2309)], 721).
addition([test(3860),test(5234),test(7371)], [test(4225),test(5160),test(5186)], 1329).
addition([test(521),test(3654),test(2195)], [test(9348),test(1404),test(4075)], 1065).
addition([test(9444),test(4229),test(3948)], [test(8162),test(3111),test(9098)], 520).
addition([test(414),test(4718),test(4706)], [test(9014),test(4778),test(783)], 1520).
addition([test(8046),test(5459),test(9747)], [test(8216),test(659),test(3972)], 1631).
addition([test(7733),test(1301),test(9807)], [test(6431),test(4133),test(9880)], 870).
addition([test(9705),test(7196),test(0)], [test(7965),test(2464),test(9963)], 714).
addition([test(1437),test(7552),test(3020)], [test(9886),test(4567),test(1702)], 1128).
addition([test(770),test(5747),test(6948)], [test(5470),test(933),test(2285)], 468).
addition([test(6104),test(1590),test(6574)], [test(2795),test(7241),test(4730)], 1259).
addition([test(3812),test(4408),test(1420)], [test(3198),test(3787),test(4306)], 1229).
addition([test(4487),test(4829),test(9521)], [test(4020),test(7642),test(1470)], 1670).
addition([test(6240),test(718),test(5367)], [test(5242),test(1820),test(7973)], 1193).
addition([test(7254),test(5788),test(408)], [test(2834),test(5529),test(7226)], 1764).
addition([test(8179),test(3112),test(38)], [test(9166),test(4129),test(9613)], 874).
addition([test(16),test(1425),test(613)], [test(1621),test(7665),test(8583)], 996).
addition([test(2051),test(6445),test(2455)], [test(8067),test(7112),test(285)], 112).
addition([test(3114),test(7075),test(8907)], [test(3141),test(8383),test(6992)], 1129).
addition([test(4524),test(3569),test(2243)], [test(5903),test(230),test(3227)], 888).
addition([test(5528),test(780),test(8485)], [test(8478),test(8483),test(638)], 1168).
addition([test(5438),test(6790),test(4063)], [test(9274),test(5309),test(4130)], 973).
addition([test(6180),test(9655),test(1240)], [test(2860),test(2930),test(9127)], 887).
addition([test(9114),test(8621),test(3686)], [test(5979),test(4009),test(9933)], 995).
addition([test(872),test(4624),test(9427)], [test(6525),test(3792),test(3473)], 1423).
addition([test(1123),test(390),test(4882)], [test(1833),test(259),test(744)], 1188).
addition([test(5060),test(3370),test(5002)], [test(4593),test(5442),test(192)], 1659).
addition([test(6648),test(1804),test(7814)], [test(245),test(4794),test(7656)], 1111).
addition([test(221),test(7980),test(4608)], [test(1338),test(8116),test(6482)], 379).
addition([test(3203),test(8393),test(1298)], [test(3434),test(4147),test(4815)], 250).
addition([test(832),test(4759),test(7482)], [test(7379),test(6814),test(7421)], 1576).
addition([test(5118),test(6395),test(3912)], [test(8366),test(7300),test(5921)], 1454).
addition([test(8269),test(7237),test(1890)], [test(1553),test(6872),test(2304)], 1362).
addition([test(1650),test(1957),test(8208)], [test(6355),test(4301),test(7101)], 716).
addition([test(7700),test(1220),test(7599)], [test(7314),test(6798),test(5975)], 1504).
addition([test(3798),test(4793),test(3234)], [test(2680),test(5006),test(2616)], 1379).
addition([test(6032),test(3341),test(2013)], [test(1285),test(4862),test(7954)], 1442).
addition([test(641),test(3352),test(7052)], [test(287),test(6690),test(2657)], 1300).
addition([test(9849),test(4122),test(8277)], [test(8596),test(5600),test(9174)], 1263).
addition([test(9640),test(4849),test(2382)], [test(6292),test(2234),test(6465)], 1561).
addition([test(9780),test(7560),test(5509)], [test(8992),test(3500),test(2288)], 887).
addition([test(4135),test(5380),test(7328)], [test(5533),test(8662),test(3400)], 1029).
addition([test(645),test(6675),test(3754)], [test(4685),test(6226),test(4689)], 700).
addition([test(3061),test(1204),test(5990)], [test(1209),test(1872),test(3746)], 1373).
addition([test(7986),test(8755),test(6224)], [test(1871),test(3433),test(365)], 451).
addition([test(2966),test(6943),test(5873)], [test(8002),test(942),test(7208)], 1929).
addition([test(6982),test(2760),test(4578)], [test(8467),test(1201),test(1775)], 1307).
addition([test(7909),test(8235),test(3099)], [test(4581),test(3612),test(9745)], 585).
addition([test(4942),test(3438),test(4291)], [test(6961),test(6630),test(4055)], 676).
addition([test(7462),test(1173),test(9526)], [test(6425),test(4991),test(7239)], 1650).
addition([test(5370),test(6149),test(4152)], [test(6266),test(7546),test(3742)], 438).
addition([test(9022),test(4150),test(3355)], [test(761),test(6782),test(1712)], 1162).
addition([test(3261),test(1746),test(90)], [test(6827),test(4104),test(3064)], 1251).
addition([test(4901),test(9988),test(9125)], [test(7688),test(2566),test(7831)], 986).
addition([test(7636),test(7649),test(203)], [test(3359),test(7503),test(7668)], 217).
addition([test(5498),test(6314),test(5933)], [test(1618),test(3844),test(1121)], 1271).
addition([test(316),test(6194),test(2555)], [test(1116),test(9249),test(4843)], 1052).
addition([test(4638),test(186),test(8057)], [test(234),test(6545),test(8110)], 1037).
addition([test(2649),test(6622),test(4334)], [test(1508),test(162),test(8697)], 969).
addition([test(9983),test(2665),test(2027)], [test(845),test(2934),test(2560)], 164).
addition([test(4141),test(5373),test(1721)], [test(8176),test(4413),test(6236)], 1362).
addition([test(6125),test(8135),test(6626)], [test(4577),test(1344),test(3040)], 751).
addition([test(1808),test(4937),test(5723)], [test(6901),test(441),test(2314)], 109).
addition([test(4960),test(6906),test(9108)], [test(5805),test(2514),test(265)], 1768).
addition([test(8762),test(8979),test(7143)], [test(2289),test(5461),test(9943)], 1731).
addition([test(7272),test(2254),test(5390)], [test(3589),test(2099),test(5570)], 1107).
addition([test(337),test(7525),test(1658)], [test(9089),test(8287),test(3345)], 1757).
addition([test(2303),test(978),test(7195)], [test(784),test(157),test(5712)], 761).
addition([test(7624),test(305),test(6468)], [test(5369),test(3888),test(2600)], 999).
addition([test(1569),test(9881),test(2942)], [test(9286),test(8081),test(7393)], 1475).
addition([test(1458),test(8672),test(1171)], [test(5878),test(722),test(2112)], 959).
addition([test(5440),test(6763),test(9029)], [test(4948),test(2984),test(4100)], 1248).
addition([test(9093),test(2230),test(9692)], [test(6846),test(3904),test(2365)], 1566).
addition([test(6183),test(3558),test(439)], [test(1827),test(9645),test(599)], 1075).
addition([test(788),test(412),test(5867)], [test(3070),test(1735),test(6797)], 1097).
addition([test(3),test(4639),test(2569)], [test(4045),test(7777),test(1324)], 743).
addition([test(8594),test(335),test(6375)], [test(3585),test(6296),test(1879)], 1016).
addition([test(9930),test(5054),test(6607)], [test(7083),test(4269),test(2118)], 478).
addition([test(5680),test(5114),test(9595)], [test(1105),test(2539),test(342)], 1843).
addition([test(5792),test(7993),test(9248)], [test(6132),test(8217),test(5742)], 722).
addition([test(3100),test(9991),test(7087)], [test(3451),test(5557),test(6652)], 1302).
addition([test(3425),test(8185),test(5689)], [test(3943),test(2500),test(5255)], 1071).
addition([test(116),test(901),test(4898)], [test(2193),test(8566),test(1047)], 1226).
addition([test(6363),test(396),test(8351)], [test(8538),test(2850),test(8092)], 874).
addition([test(1053),test(2044),test(374)], [test(7804),test(1875),test(6386)], 603).
addition([test(4646),test(8532),test(9028)], [test(3151),test(7280),test(2792)], 348).
addition([test(2604),test(9345),test(1885)], [test(9709),test(7715),test(2986)], 1066).
addition([test(908),test(8768),test(6493)], [test(3941),test(896),test(4774)], 819).
addition([test(9059),test(8212),test(3877)], [test(7617),test(4940),test(3347)], 335).
addition([test(564),test(9359),test(789)], [test(7937),test(6451),test(3537)], 519).
addition([test(2582),test(6170),test(7962)], [test(3483),test(4341),test(405)], 1903).
addition([test(9417),test(3266),test(1402)], [test(6473),test(8353),test(6159)], 223).
addition([test(4896),test(4077),test(7926)], [test(6305),test(2361),test(4819)], 708).
addition([test(8295),test(7985),test(803)], [test(223),test(425),test(6538)], 1020).
addition([test(6079),test(9906),test(3048)], [test(4410),test(3161),test(2090)], 1716).
addition([test(3509),test(4312),test(8466)], [test(7776),test(9732),test(5259)], 1738).
addition([test(2924),test(5087),test(8860)], [test(5363),test(9220),test(3305)], 1003).
addition([test(9263),test(4105),test(2967)], [test(8783),test(6820),test(7302)], 1345).
addition([test(322),test(283),test(4784)], [test(1612),test(1340),test(9887)], 1315).
addition([test(958),test(3171),test(3036)], [test(8756),test(6791),test(5489)], 1234).
addition([test(4874),test(5521),test(1383)], [test(5399),test(8418),test(3135)], 1039).
addition([test(5318),test(7170),test(1560)], [test(7845),test(9479),test(5377)], 977).
addition([test(3813),test(8022),test(6764)], [test(4993),test(6829),test(2927)], 1529).
addition([test(1429),test(9711),test(8272)], [test(8122),test(8077),test(4490)], 1477).
addition([test(2459),test(8442),test(2165)], [test(2176),test(7115),test(8229)], 465).
addition([test(2980),test(7096),test(9861)], [test(1098),test(1748),test(2466)], 950).
addition([test(8629),test(3565),test(9571)], [test(4560),test(4742),test(8050)], 1032).
addition([test(3624),test(33),test(216)], [test(1438),test(4355),test(2164)], 94).
addition([test(5386),test(3229),test(9537)], [test(1005),test(668),test(2581)], 1869).
addition([test(4270),test(1427),test(4796)], [test(4989),test(2183),test(827)], 1287).
addition([test(2751),test(9324),test(7741)], [test(6203),test(8405),test(9589)], 900).
addition([test(62),test(2377),test(9604)], [test(5128),test(6009),test(9162)], 1103).
addition([test(9163),test(6551),test(8108)], [test(6600),test(2409),test(1138)], 844).
addition([test(1504),test(689),test(6919)], [test(6841),test(7106),test(2772)], 174).
addition([test(5813),test(9555),test(7941)], [test(838),test(1337),test(453)], 1391).
addition([test(5815),test(2159),test(1568)], [test(6950),test(1637),test(4789)], 716).
addition([test(4842),test(1112),test(5970)], [test(507),test(5244),test(3405)], 745).
addition([test(4210),test(1400),test(5616)], [test(2997),test(1895),test(2728)], 1089).
addition([test(5091),test(9911),test(8739)], [test(2168),test(1788),test(4027)], 1003).
addition([test(8182),test(3402),test(9017)], [test(5324),test(3131),test(8470)], 1693).
addition([test(3260),test(466),test(352)], [test(3908),test(9358),test(6958)], 893).
addition([test(71),test(9217),test(8515)], [test(8913),test(1373),test(6052)], 98).
addition([test(9602),test(1736),test(3560)], [test(6338),test(9585),test(458)], 224).
addition([test(6561),test(5187),test(982)], [test(9430),test(9735),test(5218)], 1099).
addition([test(410),test(9519),test(196)], [test(8570),test(436),test(3809)], 1082).
addition([test(9650),test(4994),test(1880)], [test(8950),test(3924),test(3834)], 1069).
addition([test(426),test(1007),test(4605)], [test(5676),test(1935),test(9219)], 1456).
addition([test(914),test(3957),test(3014)], [test(2820),test(5638),test(1160)], 1585).
addition([test(6612),test(6234),test(9223)], [test(8472),test(6599),test(8941)], 1294).
addition([test(7727),test(361),test(3575)], [test(8829),test(1963),test(2628)], 514).
addition([test(8667),test(4951),test(3360)], [test(2298),test(3271),test(1807)], 1617).
addition([test(5237),test(5961),test(5942)], [test(419),test(6591),test(6755)], 558).
addition([test(1360),test(7363),test(2133)], [test(2839),test(4699),test(5563)], 669).
addition([test(1118),test(8156),test(571)], [test(8415),test(4097),test(6057)], 1366).
addition([test(6442),test(8062),test(6604)], [test(2110),test(6964),test(9113)], 1108).
addition([test(9568),test(6914),test(9734)], [test(5635),test(6007),test(719)], 1071).
addition([test(691),test(3597),test(156)], [test(2191),test(1588),test(4495)], 1126).
addition([test(6891),test(8816),test(2108)], [test(5993),test(267),test(1866)], 197).
addition([test(5408),test(5119),test(5358)], [test(6536),test(5368),test(7199)], 732).
addition([test(8971),test(6842),test(228)], [test(8370),test(8747),test(6182)], 512).
addition([test(6610),test(2808),test(1708)], [test(6579),test(6857),test(9169)], 1407).
addition([test(5722),test(1001),test(9305)], [test(8945),test(7574),test(3805)], 543).
addition([test(9319),test(6439),test(3231)], [test(6077),test(1030),test(8093)], 1440).
addition([test(9176),test(2188),test(6676)], [test(5754),test(8528),test(4733)], 1404).
addition([test(5050),test(8177),test(7494)], [test(5825),test(3262),test(7847)], 1435).
addition([test(3887),test(7524),test(8252)], [test(8240),test(2846),test(2328)], 1541).
addition([test(6828),test(8437),test(4498)], [test(6192),test(4223),test(6834)], 435).
addition([test(909),test(141),test(2009)], [test(3043),test(2879),test(917)], 826).
addition([test(2536),test(5681),test(9433)], [test(9330),test(3084),test(164)], 944).
addition([test(4627),test(3351),test(7531)], [test(796),test(4925),test(6669)], 851).
addition([test(1839),test(8574),test(2681)], [test(7109),test(4973),test(5576)], 1120).
addition([test(4172),test(1937),test(5728)], [test(2266),test(13),test(2123)], 574).
addition([test(9647),test(5637),test(5062)], [test(6277),test(5920),test(4137)], 581).
addition([test(9586),test(238),test(9483)], [test(1233),test(4216),test(8641)], 1266).
addition([test(8981),test(878),test(7295)], [test(8793),test(5485),test(9456)], 658).
addition([test(2698),test(2741),test(8854)], [test(3734),test(951),test(5270)], 573).
addition([test(6346),test(9996),test(4092)], [test(4197),test(4194),test(2981)], 1180).
addition([test(2436),test(1541),test(8282)], [test(1357),test(1313),test(3849)], 927).
addition([test(2936),test(7945),test(25)], [test(4061),test(2554),test(6089)], 1177).
addition([test(8800),test(8880),test(6404)], [test(3605),test(1018),test(2347)], 411).
addition([test(1016),test(1319),test(7468)], [test(6243),test(8071),test(3385)], 1030).
addition([test(9847),test(353),test(3228)], [test(1093),test(4352),test(8635)], 1102).
addition([test(7999),test(9240),test(6934)], [test(87),test(3882),test(6724)], 1254).
addition([test(4089),test(9368),test(9214)], [test(5136),test(1905),test(608)], 1379).
addition([test(5977),test(6458),test(6878)], [test(4923),test(1374),test(8865)], 992).
addition([test(1096),test(6001),test(3713)], [test(7158),test(8115),test(3601)], 1418).
addition([test(2280),test(148),test(6810)], [test(1625),test(108),test(4797)], 800).
addition([test(7827),test(9275),test(3682)], [test(2821),test(3536),test(6426)], 932).
addition([test(2676),test(4876),test(2673)], [test(5028),test(2426),test(7060)], 527).
addition([test(5311),test(3858),test(6762)], [test(2866),test(5732),test(1939)], 1528).
addition([test(6139),test(247),test(2502)], [test(1100),test(7646),test(8066)], 1052).
addition([test(1883),test(712),test(9784)], [test(233),test(121),test(6988)], 1598).
addition([test(1145),test(2858),test(6112)], [test(2826),test(3600),test(4432)], 1119).
addition([test(2007),test(4002),test(5592)], [test(55),test(8464),test(632)], 492).
addition([test(6893),test(8886),test(8915)], [test(8601),test(6974),test(557)], 1189).
addition([test(5051),test(9242),test(8954)], [test(3952),test(8017),test(5432)], 669).
addition([test(2969),test(6511),test(6199)], [test(6130),test(8973),test(731)], 1160).
addition([test(4134),test(9232),test(4483)], [test(6653),test(6662),test(9099)], 1718).
addition([test(8842),test(7595),test(7242)], [test(8446),test(8969),test(1269)], 961).
addition([test(5527),test(755),test(1604)], [test(7370),test(6414),test(5071)], 1769).
addition([test(6364),test(6071),test(6220)], [test(8764),test(3933),test(2805)], 819).
addition([test(444),test(4148),test(363)], [test(1619),test(2611),test(7580)], 331).
addition([test(5027),test(1272),test(478)], [test(9140),test(8961),test(9007)], 598).
addition([test(8787),test(6200),test(7430)], [test(7329),test(7382),test(9829)], 1294).
addition([test(5810),test(5597),test(3493)], [test(6732),test(9061),test(2527)], 853).
addition([test(3648),test(8706),test(1054)], [test(269),test(1975),test(5888)], 205).
addition([test(3658),test(6746),test(9004)], [test(8849),test(8716),test(9877)], 285).
addition([test(9475),test(7686),test(2173)], [test(3571),test(6250),test(8615)], 1016).
addition([test(5703),test(8435),test(6054)], [test(1907),test(3687),test(7915)], 434).
addition([test(9010),test(3915),test(2710)], [test(9258),test(6400),test(2222)], 350).
addition([test(2835),test(5475),test(3774)], [test(7372),test(5422),test(9087)], 997).
addition([test(7657),test(614),test(7683)], [test(7306),test(48),test(3788)], 977).
addition([test(5227),test(6128),test(972)], [test(5392),test(8327),test(4245)], 419).
addition([test(6331),test(3996),test(532)], [test(3482),test(240),test(6352)], 596).
addition([test(589),test(4416),test(4946)], [test(2618),test(9976),test(6286)], 824).
addition([test(7134),test(9654),test(5885)], [test(9145),test(7485),test(4143)], 744).
addition([test(5757),test(3418),test(4720)], [test(6570),test(4151),test(1183)], 1349).
addition([test(4806),test(8798),test(1081)], [test(7877),test(5761),test(6977)], 834).
addition([test(2149),test(8536),test(7593)], [test(4673),test(9710),test(5282)], 1772).
addition([test(5705),test(505),test(8521)], [test(1631),test(4734),test(8083)], 1858).
addition([test(3149),test(4551),test(9839)], [test(7065),test(9498),test(8929)], 1272).
addition([test(8049),test(3197),test(4625)], [test(2132),test(5627),test(2678)], 1376).
addition([test(2037),test(7146),test(2326)], [test(540),test(4026),test(8075)], 1118).
addition([test(660),test(3379),test(5184)], [test(8502),test(1473),test(1166)], 971).
addition([test(4188),test(7008),test(3690)], [test(5246),test(4107),test(8933)], 875).
addition([test(1933),test(3270),test(79)], [test(2570),test(9740),test(8560)], 1759).
addition([test(5323),test(5669),test(2126)], [test(1405),test(2292),test(5277)], 699).
addition([test(598),test(3971),test(6517)], [test(2893),test(4875),test(3133)], 1307).
addition([test(8759),test(3721),test(20)], [test(6231),test(7568),test(1048)], 1018).
addition([test(4823),test(569),test(7522)], [test(943),test(4497),test(9211)], 1620).
addition([test(3268),test(4576),test(475)], [test(15),test(4412),test(5685)], 704).
addition([test(5514),test(5930),test(4003)], [test(9380),test(8477),test(2520)], 504).
addition([test(1127),test(3676),test(4013)], [test(8384),test(2437),test(130)], 1167).
addition([test(8293),test(860),test(8972)], [test(5743),test(3875),test(3950)], 1012).
addition([test(5577),test(5290),test(8175)], [test(9253),test(4349),test(8827)], 826).
addition([test(7076),test(4035),test(9124)], [test(4154),test(3637),test(260)], 1389).
addition([test(2774),test(3029),test(3797)], [test(6527),test(7655),test(8772)], 945).
addition([test(8190),test(6205),test(8506)], [test(8754),test(3311),test(7179)], 1205).
addition([test(5176),test(7902),test(197)], [test(8508),test(2076),test(5103)], 1214).
addition([test(6781),test(257),test(3392)], [test(6208),test(2613),test(351)], 834).
addition([test(9620),test(2293),test(1125)], [test(6485),test(6677),test(1441)], 1826).
addition([test(1826),test(809),test(9222)], [test(1262),test(797),test(5763)], 263).
addition([test(6923),test(1103),test(7744)], [test(8143),test(5005),test(3710)], 707).
addition([test(6455),test(3636),test(8495)], [test(8837),test(6116),test(7908)], 1089).
addition([test(8308),test(253),test(6168)], [test(6671),test(3822),test(5465)], 1326).
addition([test(5830),test(2983),test(9760)], [test(4831),test(3524),test(9949)], 757).
addition([test(5025),test(3775),test(8500)], [test(9717),test(7027),test(461)], 510).
addition([test(6555),test(4342),test(6056)], [test(2177),test(1299),test(8429)], 1681).
addition([test(3458),test(9990),test(9461)], [test(1638),test(5315),test(3737)], 174).
addition([test(8097),test(1073),test(6273)], [test(3562),test(5594),test(9676)], 973).
addition([test(2050),test(624),test(9487)], [test(9541),test(5267),test(2261)], 1243).
addition([test(3795),test(6594),test(9641)], [test(6898),test(1988),test(2825)], 1132).
addition([test(3462),test(9424),test(496)], [test(5834),test(1802),test(6812)], 1193).
addition([test(893),test(8347),test(6740)], [test(3129),test(6706),test(2052)], 1307).
addition([test(9426),test(1537),test(2925)], [test(6981),test(3265),test(940)], 1171).
addition([test(3065),test(1649),test(6376)], [test(5314),test(3626),test(9064)], 1033).
addition([test(3052),test(8602),test(3917)], [test(2162),test(1188),test(4315)], 530).
addition([test(6717),test(5934),test(928)], [test(6435),test(4236),test(3803)], 1479).
addition([test(5983),test(8145),test(3577)], [test(4118),test(1657),test(2975)], 800).
addition([test(7299),test(9992),test(6921)], [test(8169),test(6683),test(8700)], 809).
addition([test(7150),test(9768),test(4217)], [test(3856),test(7541),test(4231)], 1082).
addition([test(1878),test(7849),test(6070)], [test(2908),test(1102),test(5692)], 1790).
addition([test(497),test(4374),test(6715)], [test(7326),test(5394),test(2270)], 841).
addition([test(5041),test(4018),test(3695)], [test(6223),test(7050),test(1036)], 1592).
addition([test(1961),test(4144),test(4883)], [test(9759),test(1857),test(381)], 1679).
addition([test(9357),test(4280),test(8795)], [test(3091),test(4295),test(7274)], 1865).
addition([test(7376),test(7870),test(543)], [test(5999),test(3416),test(6308)], 1209).
addition([test(1304),test(1095),test(9724)], [test(470),test(1989),test(5501)], 1776).
addition([test(2240),test(2190),test(6210)], [test(495),test(152),test(7388)], 1564).
addition([test(366),test(5987),test(2640)], [test(8180),test(1326),test(9476)], 1180).
addition([test(4641),test(905),test(7983)], [test(8990),test(5780),test(3414)], 658).
addition([test(9559),test(6663),test(7088)], [test(4979),test(844),test(5774)], 961).
addition([test(2667),test(4557),test(2713)], [test(8007),test(3783),test(8305)], 951).
addition([test(8246),test(7358),test(6158)], [test(4553),test(8892),test(5398)], 1277).
addition([test(1787),test(8105),test(3164)], [test(5483),test(8730),test(9685)], 991).
addition([test(6327),test(1977),test(5089)], [test(3153),test(124),test(5232)], 1733).
addition([test(819),test(2633),test(2688)], [test(5235),test(7111),test(7116)], 1067).
addition([test(5802),test(3130),test(8109)], [test(7935),test(1812),test(3758)], 863).
addition([test(7936),test(6783),test(1457)], [test(756),test(6483),test(8852)], 1066).
addition([test(879),test(9680),test(9465)], [test(8044),test(984),test(6623)], 1746).
addition([test(3967),test(4234),test(8866)], [test(3143),test(7251),test(7912)], 1085).
addition([test(5770),test(681),test(9833)], [test(1391),test(9041),test(8037)], 1164).
addition([test(2615),test(5854),test(8187)], [test(6769),test(7395),test(1236)], 882).
addition([test(3356),test(7798),test(2612)], [test(6603),test(8423),test(3127)], 1596).
addition([test(2238),test(9812),test(3148)], [test(777),test(2158),test(4518)], 859).
addition([test(2166),test(359),test(9306)], [test(6247),test(487),test(1703)], 1193).
addition([test(4400),test(921),test(2178)], [test(4383),test(4713),test(4555)], 1649).
addition([test(4764),test(6593),test(4541)], [test(8890),test(4161),test(9972)], 757).
addition([test(5914),test(1602),test(2744)], [test(4628),test(4108),test(7893)], 821).
addition([test(6218),test(8193),test(5883)], [test(4376),test(8039),test(4562)], 1484).
addition([test(2731),test(5535),test(6944)], [test(7616),test(4932),test(959)], 1231).
addition([test(3283),test(3372),test(1800)], [test(7260),test(2878),test(6993)], 1068).
addition([test(9583),test(8861),test(7334)], [test(8027),test(9858),test(5585)], 1410).
addition([test(3297),test(7310),test(1072)], [test(545),test(4199),test(587)], 139).
addition([test(2371),test(6471),test(8541)], [test(4914),test(1672),test(2364)], 1130).
addition([test(3041),test(2104),test(8607)], [test(3182),test(2849),test(6976)], 1654).
addition([test(6434),test(1288),test(4276)], [test(5544),test(1308),test(9053)], 899).
addition([test(1460),test(1908),test(6193)], [test(2899),test(3093),test(3411)], 621).
addition([test(9681),test(1192),test(1154)], [test(8438),test(3735),test(1599)], 1094).
addition([test(6109),test(4420),test(3538)], [test(4669),test(2912),test(300)], 973).
addition([test(4544),test(4651),test(4169)], [test(9878),test(6470),test(2355)], 512).
addition([test(176),test(5647),test(544)], [test(2490),test(752),test(7892)], 933).
addition([test(922),test(7992),test(1129)], [test(4985),test(4899),test(5061)], 449).
addition([test(6925),test(9567),test(2944)], [test(4785),test(6924),test(6739)], 413).
addition([test(6195),test(494),test(3476)], [test(5626),test(2394),test(1597)], 722).
addition([test(8550),test(289),test(8000)], [test(7486),test(5304),test(2111)], 522).
addition([test(2635),test(9097),test(2154)], [test(1186),test(7638),test(5480)], 936).
addition([test(9715),test(864),test(6558)], [test(4033),test(3611),test(7425)], 210).
addition([test(4865),test(8675),test(7708)], [test(2381),test(5929),test(757)], 1545).
addition([test(966),test(3195),test(5572)], [test(6819),test(1858),test(2605)], 1092).
addition([test(7437),test(4851),test(5068)], [test(2163),test(4817),test(8198)], 1446).
addition([test(4014),test(4058),test(8693)], [test(5339),test(7440),test(9073)], 685).
addition([test(2800),test(8750),test(1575)], [test(6076),test(732),test(1549)], 1358).
addition([test(1069),test(533),test(3280)], [test(7607),test(3668),test(5769)], 367).
addition([test(8540),test(7862),test(1958)], [test(6252),test(5172),test(4274)], 856).
addition([test(3215),test(2521),test(5719)], [test(7402),test(9752),test(3909)], 501).
addition([test(3586),test(69),test(2374)], [test(9278),test(1358),test(3501)], 721).
addition([test(9531),test(5058),test(4569)], [test(5609),test(2932),test(8804)], 1281).
addition([test(7207),test(3861),test(8916)], [test(7396),test(3028),test(7653)], 747).
addition([test(1085),test(7679),test(1609)], [test(6480),test(4016),test(883)], 945).
addition([test(4737),test(4201),test(6034)], [test(2854),test(1932),test(5717)], 1735).
addition([test(6048),test(2523),test(5716)], [test(4717),test(9913),test(2460)], 897).
addition([test(8721),test(1418),test(1973)], [test(4795),test(1725),test(8224)], 1263).
addition([test(424),test(7589),test(1792)], [test(6920),test(7939),test(5113)], 308).
addition([test(8419),test(6629),test(2401)], [test(6228),test(5482),test(3368)], 1354).
addition([test(2970),test(7836),test(5771)], [test(7885),test(1580),test(6701)], 988).
addition([test(3450),test(9302),test(7343)], [test(6678),test(9649),test(2704)], 187).
addition([test(2142),test(2439),test(4722)], [test(7053),test(3247),test(2643)], 971).
addition([test(7021),test(7297),test(2399)], [test(6823),test(2385),test(7987)], 1287).
addition([test(738),test(3357),test(7863)], [test(4949),test(7762),test(8069)], 371).
addition([test(4709),test(3919),test(1670)], [test(1347),test(8336),test(3479)], 975).
addition([test(3289),test(5425),test(4343)], [test(4604),test(3981),test(1705)], 967).
addition([test(7659),test(5254),test(6268)], [test(4364),test(4005),test(2277)], 1025).
addition([test(3548),test(8194),test(5846)], [test(6321),test(8475),test(1724)], 582).
addition([test(472),test(9494),test(3382)], [test(1080),test(2589),test(7466)], 1162).
addition([test(7515),test(8381),test(8087)], [test(9318),test(9499),test(5584)], 1133).
addition([test(2275),test(9065),test(1759)], [test(1471),test(2746),test(4826)], 1272).
addition([test(1869),test(1582),test(6230)], [test(6813),test(690),test(3179)], 1439).
addition([test(5008),test(1426),test(5639)], [test(1627),test(9853),test(8589)], 993).
addition([test(1423),test(7895),test(7547)], [test(2200),test(7855),test(7606)], 1203).
addition([test(4586),test(3704),test(8453)], [test(8630),test(7582),test(9224)], 899).
addition([test(1881),test(3480),test(3691)], [test(4761),test(3242),test(7429)], 1819).
addition([test(5548),test(6237),test(2629)], [test(6354),test(7930),test(5736)], 1489).
addition([test(9079),test(2686),test(7442)], [test(5018),test(2469),test(3069)], 1215).
addition([test(3431),test(378),test(9505)], [test(2595),test(9868),test(7844)], 1194).
addition([test(9315),test(7713),test(2174)], [test(5776),test(4870),test(2488)], 705).
addition([test(3825),test(3452),test(4894)], [test(9637),test(1252),test(6088)], 1069).
addition([test(9095),test(3432),test(6843)], [test(9501),test(7132),test(9770)], 425).
addition([test(7858),test(9619),test(1428)], [test(2559),test(7869),test(6117)], 899).
addition([test(4230),test(1535),test(3717)], [test(2769),test(1432),test(9126)], 1731).
addition([test(5427),test(3574),test(1929)], [test(824),test(1026),test(1392)], 385).
addition([test(3125),test(558),test(9838)], [test(7974),test(7404),test(3846)], 1357).
addition([test(2564),test(8924),test(1055)], [test(5804),test(9317),test(1903)], 1104).
addition([test(644),test(9307),test(4916)], [test(6342),test(5974),test(2721)], 90).
addition([test(6897),test(3929),test(7627)], [test(7261),test(1600),test(1158)], 886).
addition([test(5474),test(4478),test(9662)], [test(8882),test(1497),test(1852)], 1459).
addition([test(2660),test(771),test(4812)], [test(1944),test(8659),test(7685)], 84).
addition([test(4415),test(3323),test(4451)], [test(8398),test(7565),test(8902)], 1054).
addition([test(4596),test(3233),test(1015)], [test(7031),test(3582),test(26)], 561).
addition([test(3333),test(5405),test(2334)], [test(3498),test(2767),test(7783)], 1438).
addition([test(84),test(9436),test(105)], [test(2609),test(1052),test(8923)], 1491).
addition([test(6611),test(5250),test(3429)], [test(5951),test(4160),test(2848)], 1486).
addition([test(9210),test(4760),test(8732)], [test(742),test(6911),test(7910)], 720).
addition([test(512),test(8946),test(2708)], [test(1641),test(7942),test(4659)], 833).
addition([test(5336),test(9656),test(2723)], [test(9819),test(9535),test(5905)], 461).
addition([test(7736),test(4491),test(4204)], [test(4335),test(471),test(5082)], 1306).
addition([test(6601),test(1032),test(3365)], [test(7206),test(9842),test(8496)], 616).
addition([test(8819),test(1067),test(509)], [test(9944),test(5026),test(2815)], 526).
addition([test(1303),test(7603),test(4252)], [test(6684),test(8005),test(2192)], 1001).
addition([test(3817),test(2106),test(5562)], [test(8535),test(1003),test(9702)], 257).
addition([test(5917),test(8722),test(4463)], [test(3477),test(8225),test(1595)], 1112).
addition([test(6792),test(4249),test(375)], [test(4801),test(2255),test(4828)], 850).
addition([test(6750),test(9394),test(9063)], [test(8593),test(9827),test(7809)], 1068).
addition([test(5519),test(8202),test(8455)], [test(2985),test(5823),test(1117)], 404).
addition([test(2064),test(9440),test(6452)], [test(2992),test(2429),test(4528)], 830).
addition([test(6081),test(6137),test(2733)], [test(7472),test(5646),test(8585)], 1198).
addition([test(8613),test(7796),test(4036)], [test(9587),test(8151),test(9047)], 1445).
addition([test(2053),test(5342),test(9148)], [test(7648),test(4648),test(6420)], 1205).
addition([test(7801),test(2349),test(9215)], [test(7176),test(2322),test(7900)], 933).
addition([test(4688),test(5349),test(4678)], [test(1335),test(4988),test(6946)], 686).
addition([test(5293),test(7961),test(2489)], [test(1120),test(2331),test(3354)], 1245).
addition([test(5650),test(1184),test(5969)], [test(8883),test(6202),test(3736)], 1541).
addition([test(1110),test(7896),test(2830)], [test(1056),test(7247),test(674)], 931).
addition([test(4681),test(7703),test(5542)], [test(9708),test(7620),test(2770)], 1336).
addition([test(362),test(9742),test(9826)], [test(9502),test(1064),test(2424)], 653).
addition([test(6938),test(6343),test(1707)], [test(8555),test(6509),test(2068)], 950).
addition([test(5741),test(1815),test(4452)], [test(6289),test(9109),test(4379)], 802).
addition([test(1227),test(9948),test(2155)], [test(3639),test(3461),test(9322)], 378).
addition([test(5214),test(9523),test(1722)], [test(5491),test(603),test(4519)], 1336).
addition([test(7544),test(7011),test(8454)], [test(2831),test(2404),test(4430)], 1429).
addition([test(9791),test(3186),test(3377)], [test(1655),test(2167),test(8737)], 1059).
addition([test(1877),test(7846),test(1551)], [test(9697),test(5583),test(3903)], 1132).
addition([test(6903),test(2620),test(1610)], [test(7290),test(6096),test(961)], 1098).
addition([test(8959),test(180),test(8036)], [test(1969),test(9492),test(7699)], 1352).
addition([test(3380),test(874),test(9814)], [test(6801),test(4435),test(5466)], 532).
addition([test(8727),test(4392),test(9563)], [test(974),test(5094),test(3755)], 987).
