(7,11,13) (13,17,19) (37,41,43) (67,71,73) (97,101,103) (103,107,109) (193,197,199) (223,227,229) (277,281,283) (307,311,313) (457,461,463) (613,617,619) (823,827,829) (853,857,859) (877,881,883) (1087,1091,1093) (1297,1301,1303) (1423,1427,1429) (1447,1451,1453) (1483,1487,1489) (1663,1667,1669) (1693,1697,1699) (1783,1787,1789) (1867,1871,1873) (1873,1877,1879) (1993,1997,1999) (2083,2087,2089) (2137,2141,2143) (2377,2381,2383) (2683,2687,2689) (2707,2711,2713) (2797,2801,2803) (3163,3167,3169) (3253,3257,3259) (3457,3461,3463) (3463,3467,3469) (3847,3851,3853) (4153,4157,4159) (4513,4517,4519) (4783,4787,4789) (5227,5231,5233) (5413,5417,5419) (5437,5441,5443) (5647,5651,5653) (5653,5657,5659) (5737,5741,5743) (6547,6551,6553) (6823,6827,6829) (7207,7211,7213) (7753,7757,7759) (7873,7877,7879) (8287,8291,8293) (8623,8627,8629) (9007,9011,9013) (9277,9281,9283) (9337,9341,9343) (9433,9437,9439) (10267,10271,10273) (10453,10457,10459) (11113,11117,11119) (11827,11831,11833) (12037,12041,12043) (12157,12161,12163) (12373,12377,12379) (13003,13007,13009) (13687,13691,13693) (13873,13877,13879) (14557,14561,14563) (15643,15647,15649) (15727,15731,15733) (15733,15737,15739) (16057,16061,16063) (16063,16067,16069) (16183,16187,16189) (16447,16451,16453) (17203,17207,17209) (17383,17387,17389) (18043,18047,18049) (18127,18131,18133) (18307,18311,18313) (18517,18521,18523) (18913,18917,18919) (19207,19211,19213) (19417,19421,19423) (19423,19427,19429) (20143,20147,20149) (20353,20357,20359) (20743,20747,20749) (21013,21017,21019) (21187,21191,21193) (21313,21317,21319) (21487,21491,21493) (21517,21521,21523) (22153,22157,22159) (22273,22277,22279) (22567,22571,22573) (23053,23057,23059) (23197,23201,23203) (23557,23561,23563) (23623,23627,23629) (23827,23831,23833) (24103,24107,24109) (25303,25307,25309) (26107,26111,26113) (26947,26951,26953) (27103,27107,27109) (27277,27281,27283) (27733,27737,27739) (28657,28661,28663) (29017,29021,29023) (29383,29387,29389) (30133,30137,30139) (30553,30557,30559) (31147,31151,31153) (31177,31181,31183) (31387,31391,31393) (31723,31727,31729) (32713,32717,32719) (32797,32801,32803) (33343,33347,33349) (33613,33617,33619) (34123,34127,34129) (34297,34301,34303) (34843,34847,34849) (35527,35531,35533) (35797,35801,35803) (36007,36011,36013) (36523,36527,36529) (36787,36791,36793) (37357,37361,37363) (37567,37571,37573) (37987,37991,37993) (38707,38711,38713) (38917,38921,38923) (39157,39161,39163) (39367,39371,39373) (40123,40127,40129) (40423,40427,40429) (40693,40697,40699) (41227,41231,41233) (41953,41957,41959) (42013,42017,42019) (42403,42407,42409) (42457,42461,42463) (42697,42701,42703) (43573,43577,43579) (43777,43781,43783) (43783,43787,43789) (44263,44267,44269) (44617,44621,44623) (45337,45341,45343) (45817,45821,45823) (47143,47147,47149) (47653,47657,47659) (47737,47741,47743) (48673,48677,48679) (48817,48821,48823) (49117,49121,49123) (49363,49367,49369) (49663,49667,49669) (49783,49787,49789) (50047,50051,50053) (50587,50591,50593) (51193,51197,51199) (51343,51347,51349) (52177,52181,52183) (54493,54497,54499) (54577,54581,54583) (55213,55217,55219) (55333,55337,55339) (55813,55817,55819) (55897,55901,55903) (55927,55931,55933) (56263,56267,56269) (56473,56477,56479) (56527,56531,56533) (57787,57791,57793) (58147,58151,58153) (58363,58367,58369) (59467,59471,59473) (60757,60761,60763) (60913,60917,60919) (62137,62141,62143) (62983,62987,62989) (65167,65171,65173) (65713,65717,65719) (66103,66107,66109) (66943,66947,66949) (67213,67217,67219) (67927,67931,67933) (68443,68447,68449) (69493,69497,69499) (69997,70001,70003) (70117,70121,70123) (70177,70181,70183) (71257,71261,71263) (71707,71711,71713) (72223,72227,72229) (72643,72647,72649) (74197,74201,74203) (74377,74381,74383) (74713,74717,74719) (75703,75707,75709) (75997,76001,76003) (76537,76541,76543) (77263,77267,77269) (79147,79151,79153) (79393,79397,79399) (79627,79631,79633) (79687,79691,79693) (79693,79697,79699) (80677,80681,80683) (81013,81017,81019) (81043,81047,81049) (81547,81551,81553) (81967,81971,81973) (82003,82007,82009) (82723,82727,82729) (83227,83231,83233) (83557,83561,83563) (84313,84317,84319) (85087,85091,85093) (85447,85451,85453) (86287,86291,86293) (86923,86927,86929) (87553,87557,87559) (87583,87587,87589) (88657,88661,88663) (88807,88811,88813) (88813,88817,88819) (89653,89657,89659) (90067,90071,90073) (90397,90401,90403) (90523,90527,90529) (91453,91457,91459) (91807,91811,91813) (92173,92177,92179) (92377,92381,92383) (92857,92861,92863) (93487,93491,93493) (93553,93557,93559) (95083,95087,95089) (96997,97001,97003) (97843,97847,97849) (98317,98321,98323) (98893,98897,98899) (99133,99137,99139) (99523,99527,99529) (100357,100361,100363) (101107,101111,101113) (101113,101117,101119) (101203,101207,101209) (101527,101531,101533) (101833,101837,101839) (102673,102677,102679) (103087,103091,103093) (103387,103391,103393) (103837,103841,103843) (103963,103967,103969) (104677,104681,104683) (106213,106217,106219) (106273,106277,106279) (106537,106541,106543) (106657,106661,106663) (106747,106751,106753) (106957,106961,106963) (107713,107717,107719) (108007,108011,108013) (108187,108191,108193) (108457,108461,108463) (108877,108881,108883) (108943,108947,108949) (109843,109847,109849) (110563,110567,110569) (110917,110921,110923) (111487,111491,111493) (113017,113021,113023) (113143,113147,113149) (113167,113171,113173) (114193,114197,114199) (115597,115601,115603) (115777,115781,115783) (115873,115877,115879) (116533,116537,116539) (116923,116927,116929) (117037,117041,117043) (117877,117881,117883) (117973,117977,117979) (118897,118901,118903) (119083,119087,119089) (119293,119297,119299) (119653,119657,119659) (120937,120941,120943) (122203,122207,122209) (122497,122501,122503) (123373,123377,123379) (123547,123551,123553) (123727,123731,123733) (124297,124301,124303) (124777,124781,124783) (125113,125117,125119) (126223,126227,126229) (126487,126491,126493) (130363,130367,130369) (131707,131711,131713) (132523,132527,132529) (132757,132761,132763) (134287,134291,134293) (134587,134591,134593) (134677,134681,134683) (134917,134921,134923) (135277,135281,135283) (135427,135431,135433) (135463,135467,135469) (136393,136397,136399) (136987,136991,136993) (138793,138797,138799) (139297,139301,139303) (140677,140681,140683) (140863,140867,140869) (142867,142871,142873) (143107,143111,143113) (143257,143261,143263) (143827,143831,143833) (144163,144167,144169) (144883,144887,144889) (145543,145547,145549) (145753,145757,145759) (145963,145967,145969) (146677,146681,146683) (146983,146987,146989) (148147,148151,148153) (148663,148667,148669) (148927,148931,148933) (149053,149057,149059) (149623,149627,149629) (150217,150221,150223) (150373,150377,150379) (150583,150587,150589) (151237,151241,151243) (151603,151607,151609) (151897,151901,151903) (152077,152081,152083) (152833,152837,152839) (153067,153071,153073) (154153,154157,154159) (155377,155381,155383) (155887,155891,155893) (156253,156257,156259) (156487,156491,156493) (157273,157277,157279) (158227,158231,158233) (159667,159671,159673) (159787,159791,159793) (160087,160091,160093) (162523,162527,162529) (163477,163481,163483) (163987,163991,163993) (164443,164447,164449) (164617,164621,164623) (165703,165707,165709) (166297,166301,166303) (166597,166601,166603) (166843,166847,166849) (167017,167021,167023) (167113,167117,167119) (167437,167441,167443) (169003,169007,169009) (169063,169067,169069) (170347,170351,170353) (171043,171047,171049) (171163,171167,171169) (171757,171761,171763) (172213,172217,172219) (173773,173777,173779) (175753,175757,175759) (176017,176021,176023) (176047,176051,176053) (176413,176417,176419) (176503,176507,176509) (177007,177011,177013) (177427,177431,177433) (177883,177887,177889) (178597,178601,178603) (178813,178817,178819) (178903,178907,178909) (179947,179951,179953) (180793,180797,180799) (181297,181301,181303) (181603,181607,181609) (182467,182471,182473) (182653,182657,182659) (184627,184631,184633) (184993,184997,184999) (185527,185531,185533) (185677,185681,185683) (186157,186161,186163) (186757,186761,186763) (187123,187127,187129) (187633,187637,187639) (188827,188831,188833) (188857,188861,188863) (189433,189437,189439) (189613,189617,189619) (190573,190577,190579) (191137,191141,191143) (191827,191831,191833) (192187,192191,192193) (192883,192887,192889) (193597,193601,193603) (194263,194267,194269) (194863,194867,194869) (195043,195047,195049) (195157,195161,195163) (195733,195737,195739) (195967,195971,195973) (196657,196661,196663) (197293,197297,197299) (197887,197891,197893) (198823,198827,198829) (198937,198941,198943) (199033,199037,199039) (199483,199487,199489) (199807,199811,199813) (200983,200987,200989) (201493,201497,201499) (201823,201827,201829) (202747,202751,202753) (203317,203321,203323) (203653,203657,203659) (203767,203771,203773) (205417,205421,205423) (205657,205661,205663) (206077,206081,206083) (206407,206411,206413) (207517,207521,207523) (207967,207971,207973) (207997,208001,208003) (208387,208391,208393) (208927,208931,208933) (209263,209267,209269) (209353,209357,209359) (209563,209567,209569) (210187,210191,210193) (210907,210911,210913) (211213,211217,211219) (211657,211661,211663) (211873,211877,211879) (211927,211931,211933) (212203,212207,212209) (213943,213947,213949) (214003,214007,214009) (214783,214787,214789) (217333,217337,217339) (217363,217367,217369) (217573,217577,217579) (218077,218081,218083) (218623,218627,218629) (219757,219761,219763) (219937,219941,219943) (220873,220877,220879) (220897,220901,220903) (221197,221201,221203) (221653,221657,221659) (221713,221717,221719) (222193,222197,222199) (222787,222791,222793) (223543,223547,223549) (223753,223757,223759) (223837,223841,223843) (225157,225161,225163) (225217,225221,225223) (225343,225347,225349) (225523,225527,225529) (226813,226817,226819) (227467,227471,227473) (228517,228521,228523) (228793,228797,228799) (230383,230387,230389) (230767,230771,230773) (231607,231611,231613) (233323,233327,233329) (233683,233687,233689) (233917,233921,233923) (234187,234191,234193) (234457,234461,234463) (235003,235007,235009) (235783,235787,235789) (237067,237071,237073) (237157,237161,237163) (237967,237971,237973) (238723,238727,238729) (239383,239387,239389) (240043,240047,240049) (241597,241601,241603) (243583,243587,243589) (243703,243707,243709) (244297,244301,244303) (244633,244637,244639) (244837,244841,244843) (245587,245591,245593) (245977,245981,245983) (246607,246611,246613) (246637,246641,246643) (247603,247607,247609) (247993,247997,247999) (248887,248891,248893) (249127,249131,249133) (249433,249437,249439) (249853,249857,249859) (249967,249971,249973) (250963,250967,250969) (251197,251201,251203) (251257,251261,251263) (252823,252827,252829) (253153,253157,253159) (253633,253637,253639) (254827,254831,254833) (255247,255251,255253) (257497,257501,257503) (257707,257711,257713) (257857,257861,257863) (257863,257867,257869) (258607,258611,258613) (260413,260417,260419) (260857,260861,260863) (261427,261431,261433) (261637,261641,261643) (262147,262151,262153) (263863,263867,263869) (264133,264137,264139) (264787,264791,264793) (265333,265337,265339) (266023,266027,266029) (266047,266051,266053) (266677,266681,266683) (266683,266687,266689) (267517,267521,267523) (267643,267647,267649) (268777,268781,268783) (268813,268817,268819) (268993,268997,268999) (269383,269387,269389) (270547,270551,270553) (271273,271277,271279) (272263,272267,272269) (272347,272351,272353) (272533,272537,272539) (274117,274121,274123) (275917,275921,275923) (276037,276041,276043) (276043,276047,276049) (276817,276821,276823) (277597,277601,277603) (278143,278147,278149) (278497,278501,278503) (278557,278561,278563) (281647,281651,281653) (281833,281837,281839) (282097,282101,282103) (282307,282311,282313) (282907,282911,282913) (283093,283097,283099) (284227,284231,284233) (284587,284591,284593) (284737,284741,284743) (284743,284747,284749) (285283,285287,285289) (285553,285557,285559) (286453,286457,286459) (287233,287237,287239) (289837,289841,289843) (290527,290531,290533) (290617,290621,290623) (291037,291041,291043) (291367,291371,291373) (293173,293177,293179) (293257,293261,293263) (294313,294317,294319) (295033,295037,295039) (295873,295877,295879) (296473,296477,296479) (296503,296507,296509) (296557,296561,296563) (296767,296771,296773) (296827,296831,296833) (298153,298157,298159) (298687,298691,298693) (299473,299477,299479) (300187,300191,300193) (300493,300497,300499) (301177,301181,301183) (301237,301241,301243) (301747,301751,301753) (301993,301997,301999) (302167,302171,302173) (303007,303011,303013) (303547,303551,303553) (303613,303617,303619) (303643,303647,303649) (304063,304067,304069) (304897,304901,304903) (305017,305021,305023) (305407,305411,305413) (307627,307631,307633) (307687,307691,307693) (308923,308927,308929) (309007,309011,309013) (310357,310361,310363) (311533,311537,311539) (311677,311681,311683) (311743,311747,311749) (312673,312677,312679) (312937,312941,312943) (313147,313151,313153) (313987,313991,313993) (314257,314261,314263) (315697,315701,315703) (317263,317267,317269) (317587,317591,317593) (321817,321821,321823) (322243,322247,322249) (322627,322631,322633) (323377,323381,323383) (323467,323471,323473) (323797,323801,323803) (325537,325541,325543) (325747,325751,325753) (325777,325781,325783) (326143,326147,326149) (326863,326867,326869) (327553,327557,327559) (327823,327827,327829) (328327,328331,328333) (328633,328637,328639) (329293,329297,329299) (330427,330431,330433) (330787,330791,330793) (330853,330857,330859) (331333,331337,331339) (331543,331547,331549) (332467,332471,332473) (333097,333101,333103) (333787,333791,333793) (334423,334427,334429) (334507,334511,334513) (334987,334991,334993) (336247,336251,336253) (336823,336827,336829) (337213,337217,337219) (337537,337541,337543) (337867,337871,337873) (338263,338267,338269) (338407,338411,338413) (340057,340061,340063) (340447,340451,340453) (340573,340577,340579) (340927,340931,340933) (340933,340937,340939) (341947,341951,341953) (342337,342341,342343) (343303,343307,343309) (344167,344171,344173) (345727,345731,345733) (346393,346397,346399) (347983,347987,347989) (348457,348461,348463) (349927,349931,349933) (351727,351731,351733) (352267,352271,352273) (352813,352817,352819) (354037,354041,354043) (354247,354251,354253) (354253,354257,354259) (354877,354881,354883) (355513,355517,355519) (355717,355721,355723) (355933,355937,355939) (356137,356141,356143) (357103,357107,357109) (357733,357737,357739) (358153,358157,358159) (358273,358277,358279) (358903,358907,358909) (360163,360167,360169) (360817,360821,360823) (360973,360977,360979) (361213,361217,361219) (363367,363371,363373) (363397,363401,363403) (364537,364541,364543) (364747,364751,364753) (365467,365471,365473) (366433,366437,366439) (366697,366701,366703) (368227,368231,368233) (368647,368651,368653) (371383,371387,371389) (372607,372611,372613) (373207,373211,373213) (373357,373361,373363) (374287,374291,374293) (374677,374681,374683) (375097,375101,375103) (375247,375251,375253) (375253,375257,375259) (375367,375371,375373) (375703,375707,375709) (375997,376001,376003) (376627,376631,376633) (376927,376931,376933) (377557,377561,377563) (378817,378821,378823) (379993,379997,379999) (380197,380201,380203) (381523,381527,381529) (382867,382871,382873) (383077,383081,383083) (383833,383837,383839) (384253,384257,384259) (385657,385661,385663) (387967,387971,387973) (388177,388181,388183) (388477,388481,388483) (388693,388697,388699) (388897,388901,388903) (389023,389027,389029) (389167,389171,389173) (389527,389531,389533) (389563,389567,389569) (390487,390491,390493) (391393,391397,391399) (392263,392267,392269) (392803,392807,392809) (392923,392927,392929) (393073,393077,393079) (393577,393581,393583) (393853,393857,393859) (394363,394367,394369) (394813,394817,394819) (394963,394967,394969) (395107,395111,395113) (396373,396377,396379) (397297,397301,397303) (397543,397547,397549) (397753,397757,397759) (398113,398117,398119) (398467,398471,398473) (399277,399281,399283) (400243,400247,400249) (401953,401957,401959) (402133,402137,402139) (402757,402761,402763) (402763,402767,402769) (402943,402947,402949) (403057,403061,403063) (404527,404531,404533) (404977,404981,404983) (406573,406577,406579) (408427,408431,408433) (410617,410621,410623) (411007,411011,411013) (411703,411707,411709) (412033,412037,412039) (413863,413867,413869) (414013,414017,414019) (414703,414707,414709) (414763,414767,414769) (415603,415607,415609) (416413,416417,416419) (416497,416501,416503) (417577,417581,417583) (417727,417731,417733) (418597,418601,418603) (419047,419051,419053) (419053,419057,419059) (419557,419561,419563) (420313,420317,420319) (420853,420857,420859) (422083,422087,422089) (422893,422897,422899) (423457,423461,423463) (424267,424271,424273) (426757,426761,426763) (426913,426917,426919) (427237,427241,427243) (427243,427247,427249) (427417,427421,427423) (428143,428147,428149) (428563,428567,428569) (429277,429281,429283) (429463,429467,429469) (429673,429677,429679) (429727,429731,429733) (430747,430751,430753) (431797,431801,431803) (431863,431867,431869) (432793,432797,432799) (434107,434111,434113) (434383,434387,434389) (435103,435107,435109) (435397,435401,435403) (436477,436481,436483) (437467,437471,437473) (438517,438521,438523) (440677,440681,440683) (440983,440987,440989) (441187,441191,441193) (442003,442007,442009) (442027,442031,442033) (442573,442577,442579) (444343,444347,444349) (444523,444527,444529) (447823,447827,447829) (448627,448631,448633) (448867,448871,448873) (448993,448997,448999) (449563,449567,449569) (451177,451181,451183) (451663,451667,451669) (451897,451901,451903) (451933,451937,451939) (452533,452537,452539) (453637,453641,453643) (453703,453707,453709) (454843,454847,454849) (456553,456557,456559) (456607,456611,456613) (456763,456767,456769) (457393,457397,457399) (459337,459341,459343) (459463,459467,459469) (461407,461411,461413) (461437,461441,461443) (463447,463451,463453) (463453,463457,463459) (464137,464141,464143) (464767,464771,464773) (465007,465011,465013) (465163,465167,465169) (467473,467477,467479) (467893,467897,467899) (468883,468887,468889) (469363,469367,469369) (470077,470081,470083) (470083,470087,470089) (470593,470597,470599) (470647,470651,470653) (471277,471281,471283) (473197,473201,473203) (473377,473381,473383) (473527,473531,473533) (473923,473927,473929) (475327,475331,475333) (476023,476027,476029) (477013,477017,477019) (478063,478067,478069) (479023,479027,479029) (480013,480017,480019) (480043,480047,480049) (481297,481301,481303) (481693,481697,481699) (481843,481847,481849) (482227,482231,482233) (482683,482687,482689) (485827,485831,485833) (486037,486041,486043) (486637,486641,486643) (486943,486947,486949) (487423,487427,487429) (488203,488207,488209) (488227,488231,488233) (489673,489677,489679) (490537,490541,490543) (490573,490577,490579) (491497,491501,491503) (492757,492761,492763) (493393,493397,493399) (493807,493811,493813) (495037,495041,495043) (495613,495617,495619) (498397,498401,498403) (499687,499691,499693) (500107,500111,500113) (500173,500177,500179) (500233,500237,500239) (503227,503231,503233) (505027,505031,505033) (506683,506687,506689) (510073,510077,510079) (510613,510617,510619) (511627,511631,511633) (513307,513311,513313) (514243,514247,514249) (515227,515231,515233) (516157,516161,516163) (516247,516251,516253) (516973,516977,516979) (517507,517511,517513) (518233,518237,518239) (518467,518471,518473) (518737,518741,518743) (518803,518807,518809) (520357,520361,520363) (520963,520967,520969) (521173,521177,521179) (521533,521537,521539) (522517,522521,522523) (522673,522677,522679) (522757,522761,522763) (524197,524201,524203) (524347,524351,524353) (525373,525377,525379) (526063,526067,526069) (527203,527207,527209) (528877,528881,528883) (528967,528971,528973) (529513,529517,529519) (529687,529691,529693) (529807,529811,529813) (530527,530531,530533) (532327,532331,532333) (532447,532451,532453) (533257,533261,533263) (534043,534047,534049) (536443,536447,536449) (536773,536777,536779) (538117,538121,538123) (538297,538301,538303) (539107,539111,539113) (539503,539507,539509) (540343,540347,540349) (541543,541547,541549) (541987,541991,541993) (542533,542537,542539) (543157,543161,543163) (543307,543311,543313) (543787,543791,543793) (543853,543857,543859) (543883,543887,543889) (544273,544277,544279) (544717,544721,544723) (546097,546101,546103) (546613,546617,546619) (547357,547361,547363) (548827,548831,548833) (549163,549167,549169) (549547,549551,549553) (549733,549737,549739) (550657,550661,550663) (552397,552401,552403) (552703,552707,552709) (552787,552791,552793) (553093,553097,553099) (554833,554837,554839) (554887,554891,554893) (555823,555827,555829) (556267,556271,556273) (556687,556691,556693) (557857,557861,557863) (558787,558791,558793) (559213,559217,559219) (560233,560237,560239) (560293,560297,560299) (560887,560891,560893) (561097,561101,561103) (563113,563117,563119) (563413,563417,563419) (564367,564371,564373) (565387,565391,565393) (566227,566231,566233) (566437,566441,566443) (567877,567881,567883) (567943,567947,567949) (569077,569081,569083) (569263,569267,569269) (570043,570047,570049) (571867,571871,571873) (572653,572657,572659) (573757,573761,573763) (574963,574967,574969) (576217,576221,576223) (577063,577067,577069) (577147,577151,577153) (577327,577331,577333) (579277,579281,579283) (579637,579641,579643) (579877,579881,579883) (580627,580631,580633) (580687,580691,580693) (585037,585041,585043) (585877,585881,585883) (585913,585917,585919) (586627,586631,586633) (587263,587267,587269) (587617,587621,587623) (590263,590267,590269) (590713,590717,590719) (592303,592307,592309) (592387,592391,592393)