rieselcovering:=[[2, 4, 5], [4, 40, 61681], [24, 80, 4278255361], [64, 160, 414721], [144, 160, 44479210368001], [8, 120, 4562284561], [28, 240, 394783681], [148, 240, 46908728641], [48, 360, 168692292721], [168, 360, 469775495062434961], [288, 1080, 21601], [648, 1080, 201519653761], [1008, 1080, 1117180440577441], [68, 480, 23041], [188, 480, 14768784307009061644318236958041601], [308, 960, 26881], [788, 960, 4855681], [428, 960, 610548481], [908, 960, 137603804161], [88, 720, 8369281], [208, 720, 750016890283777055704738227247474485366338380663681], [328, 1440, 37441], [1048, 1440, 170251201], [448, 1440, 322029272318997936286081], [1168, 1440, 19194878188585855612908061936944281464039294965346491767953330250249208842371201], [568, 2160, 6281281], [1288, 2160, 148759201], [2008, 2160, 4518776161], [688, 2160, 30263419164953868175425499201], [1408, 2160, 1935559921561598963905349247860913850208385733753800879221676076714788170866540888167947999469867494855759120868947975041], [2128, 4320, 8641], [4288, 4320, 1745281], [108, 840, 1130641], [228, 840, 755667361], [348, 840, 54169520413224311136354324156824071681], [468, 1680, 13441], [1308, 1680, 4841172001], [588, 1680, 1586308510081], [1428, 1680, 380237945545576041143329842469322327462093080857230396812644586765650440050917813566181601], [708, 2520, 1325521], [1548, 2520, 1626833408812908876721], [2388, 2520, 114667882136048490441366863122113663475015289668814951898484245808018534230839354988697199391193973485101704710981401810017793878949099579507258241], [828, 2520, 114667882136048490441366863122113663475015289668814951898484245808018534230839354988697199391193973485101704710981401810017793878949099579507258241], [1668, 5040, 75959899466493446490241], [4188, 5040, 805323917966427344401851624992059543450952663659886025006631029497349353210472152396758880635317661027886733720488723306156592831061987456996603498188254006916956433432193505875252710943979711256039715277256702668308734085221229878551537436295021895298564064411663130886315064307506249332692890921460455601146709236280833921], [2508, 5040, 805323917966427344401851624992059543450952663659886025006631029497349353210472152396758880635317661027886733720488723306156592831061987456996603498188254006916956433432193505875252710943979711256039715277256702668308734085221229878551537436295021895298564064411663130886315064307506249332692890921460455601146709236280833921], [5028, 10080, 185608533847136557607400795781398780015050863015171823946728419341494223708097319250726675475537469506268549829580835990104253401556030146477056159503819372525836812891932298924467907324896777481109595132967812721778571190573233397988583924123767047917526046809609570595438137233138957689944231774650808949353811121146388588356480211834496751386539089368515674870566791281095323390171044517894938223096376896743992799391276935021832759990066564397750073529794782650363183974389048330828914392503284134005583228210720388693824419631346155466133104927408499841046462352863483450053503778366491137963286869880335384450226593064139403690792412577965192318835626309472562046174515397754239140161], [10068, 10080, 185608533847136557607400795781398780015050863015171823946728419341494223708097319250726675475537469506268549829580835990104253401556030146477056159503819372525836812891932298924467907324896777481109595132967812721778571190573233397988583924123767047917526046809609570595438137233138957689944231774650808949353811121146388588356480211834496751386539089368515674870566791281095323390171044517894938223096376896743992799391276935021832759990066564397750073529794782650363183974389048330828914392503284134005583228210720388693824419631346155466133104927408499841046462352863483450053503778366491137963286869880335384450226593064139403690792412577965192318835626309472562046174515397754239140161], [12, 100, 8101], [32, 100, 268501], [52, 200, 401], [152, 200, 340801], [72, 200, 2787601], [172, 200, 3173389601], [92, 300, 1201], [192, 300, 13334701], [292, 300, 63901], [16, 140, 7416361], [36, 140, 47392381], [56, 280, 84179842077657862011867889681], [196, 1120, 16824641], [476, 1120, 86800001], [756, 1120, 40396092614384641], [1036, 1120, 40809065233184155116161], [76, 420, 146919792181], [216, 420, 1041815865690181], [356, 1260, 1711081], [776, 1260, 430839361], [1196, 1260, 17369459529909057773233442461], [96, 560, 4481], [236, 560, 736961], [376, 560, 557761], [516, 560, 3421249381705368039830334190046211225116161], [116, 700, 701], [256, 700, 2430065924693517198550322751963101], [396, 700, 1038213793447841940908293355871461401], [536, 1400, 2801], [1236, 1400, 1114513219367157067542813609361306957257890531134775327875067038594481393220804051366788787128409731513666376851495151281817670381468528387601], [676, 2100, 6301], [1376, 2100, 494953649401482582921957954205830367235419130143815071377629356083234173054343958676587166533004626091113228460143855103540540520919792114101], [2076, 2100, 494953649401482582921957954205830367235419130143815071377629356083234173054343958676587166533004626091113228460143855103540540520919792114101], [136, 980, 7439220181], [276, 980, 306178659371201], [416, 980, 1372226516822701], [556, 980, 1008787906424294727221], [696, 980, 44399394252774652151567131602624448846381], [836, 1960, 35281], [1816, 1960, 141121], [976, 1960, 60893281], [1956, 1960, 4653041], [0, 25, 601], [5, 25, 1801], [10, 50, 4051], [35, 150, 1133836730401], [85, 450, 4714696801], [235, 450, 281941472953710177758647201], [385, 1350, 377204851], [835, 1350, 578348287651], [1285, 1350, 126274316116265155801], [135, 750, 2251], [285, 750, 19963778429046466946251], [435, 750, 35758633131596900685051378954141001], [585, 2250, 9001], [1335, 2250, 11251], [2085, 2250, 130147868251], [735, 2250, 2104496060760001], [1485, 2250, 149599566767035042939306054318443628510827149078340017295211891395074558829570031846064293154056786151131026293748960668334679919533779234163659001], [2235, 2250, 149599566767035042939306054318443628510827149078340017295211891395074558829570031846064293154056786151131026293748960668334679919533779234163659001], [15, 75, 100801], [40, 75, 10567201], [65, 225, 115201], [140, 225, 617401], [215, 225, 1348206751], [20, 125, 269089806001], [45, 125, 4710883168879506001], [70, 250, 229668251], [195, 250, 5519485418336288303251], [95, 375, 2139731020464054092520609592459940706818275139793055476751], [220, 1125, 213751], [595, 1125, 150212580033138336342001], [970, 1125, 129235830376685231880426159140320604525439029935094573161969042834648673705376956385341688425645021764971163262047208770335490781446731857194981359837751], [345, 1875, 33751], [720, 1875, 9406845001], [1095, 1875, 253190598751], [1470, 1875, 331053400941739132863751], [1845, 1875, 402642302894726834176153754251902810932160169321848471644984896163427692234247405464830106086854621172417270508730683047461533218061965505023433356219240919366862072855430077049245980231286626565578296056952220360472542883678847838068343346551947983751], [120, 625, 1277297679372570001], [245, 625, 573759820507018639639785001], [370, 625, 4466584729707482091085082148757131844955928827403144883777055257010758341738485567940718267692637349205001], [495, 625, 4466584729707482091085082148757131844955928827403144883777055257010758341738485567940718267692637349205001], [620, 1250, 619324035675566251], [1245, 1250, 232983411264923603130001], [7, 35, 122921], [49, 70, 86171], [21, 105, 29191], [56, 105, 106681], [91, 105, 152041], [28, 175, 39551], [63, 175, 60816001], [98, 175, 535347624791488552837151], [133, 350, 1051], [343, 350, 110251], [0, 27, 262657], [3, 81, 2593], [30, 81, 71119], [57, 81, 97685839], [33, 108, 279073], [87, 756, 456376431053626339473533320957], [195, 756, 304832756195865229284807891468769], [303, 2268, 2269], [1059, 2268, 13088629], [1815, 2268, 20783953], [411, 2268, 231915937998781], [1167, 2268, 562007253274813199701], [1923, 2268, 15163372786994713185661], [519, 2268, 221339567928208501936257661], [1275, 2268, 16495060223601696026571578802793], [2031, 2268, 262240094796597243398803698701290277956077074504877826371140929], [627, 1512, 11090678776644650055694088523425795586203361311764318182599803923899631942581652348333375976005940128167183976157610535442930728961], [1383, 3024, 66529], [2895, 3024, 1848865242572956283242999212593036139826090781490366169012021830018240425079194910627172882540540618157425523372968447129561474814287402130309178163846693768524324427881852504685618251713509975224223142433560284876809827450962525075326332171411823520546849], [9, 135, 348031], [36, 135, 49971617830801], [63, 540, 30241], [333, 540, 49681], [117, 540, 165041853060421], [387, 540, 166242935471754241], [39, 162, 272010961], [93, 486, 139483], [255, 486, 10429407431911334611], [417, 486, 918125051602568899753], [147, 810, 9721], [309, 810, 2437880491], [471, 810, 74967931], [633, 1620, 1621], [1443, 1620, 6876901], [15, 216, 33975937], [69, 216, 138991501037953], [123, 648, 1297], [339, 648, 3889], [555, 648, 30433969], [177, 864, 68016300334849], [393, 864, 7311824282729722035859309520826138827918372038863677678267962656996811009], [609, 1728, 1718990209], [1473, 1728, 8148919324033], [825, 1728, 672915391135935402269916482777538049], [1689, 1728, 26238778867715436338741843672779889502122380327797655456220206122571496254033589396603470402425368908843806544862977], [99, 270, 811], [153, 270, 15121], [207, 270, 385838642647891], [261, 810, 448217524891], [531, 810, 1969543281137041], [801, 810, 10360573664851], [21, 324, 3618757], [75, 324, 106979941], [129, 324, 4977454861], [183, 324, 168410989], [237, 648, 1164777409], [561, 648, 3718266498433], [291, 648, 134921168163073], [615, 648, 1174029487714513], [51, 378, 379], [159, 378, 119827], [213, 378, 127391413339], [267, 378, 56202143607667], [321, 1134, 562873504411], [699, 1134, 4744655685883], [1077, 1134, 12796850334107700077907936359359599238508434514842147354991928158160215113], [753, 1890, 69931], [1131, 1890, 535027074087349862035936711342201], [1509, 1890, 295845677311385927802340822188610962995309865090692754485103015102753461634318886568104825051], [1887, 3780, 2143261], [3777, 3780, 457381], [11, 33, 599479], [22, 99, 153649], [55, 99, 33057806959], [88, 297, 8950393], [187, 297, 170886618823141738081830950807292771648313599433], [583, 594, 14973866897175265228063698945547], [1, 55, 201961], [67, 165, 2048568835297380486760231], [122, 495, 334202934764737951438594746151], [287, 495, 6084777159537635796550536863741698483921], [452, 1485, 19694071], [947, 1485, 106638643913461155414345241], [1442, 1485, 2631454243152609355065350919125025237970825046252050668267571294054932794512762234151556309927451051888280185551378986427825112554419604439104051372848053519774164594324620853759180511], [23, 275, 382027665134363932751], [78, 275, 4074891477354886815033308087379995347151], [133, 825, 702948566745151], [683, 825, 9115784422509601], [188, 825, 4108316654247271397904922852177568560929751], [463, 825, 101249241260240615605217612230376981800142669401], [243, 1375, 13751], [518, 1375, 6943751], [793, 1375, 112219215969583070125184927780785617163998587238013449272382659718741552791484869497879069655701271728242671131006260158655725440672862601895690276605687759828235100915986035711227786946633561032491573658813596423934215823411645873190365019854317362802235441379317312126770631390749329792001], [2443, 2750, 55001], [1343, 2750, 31775887001], [89, 330, 415365721], [199, 330, 2252127523412251], [13, 66, 20857], [35, 264, 1761345169], [101, 264, 98618273953], [167, 792, 311712063697], [431, 792, 5669586229480120735856356719714111819572775485914444634179633], [695, 1584, 3665377], [1487, 1584, 12925441], [233, 1320, 14736481], [497, 1320, 514210163281], [761, 1320, 649817602852289358605542163521], [1289, 1320, 408366574882937448121335727135953165832656645121], [3, 77, 581283643249112959], [25, 231, 4982397651178256151338302204762057], [179, 693, 289511839], [410, 693, 2868251407519807], [641, 693, 3225949575089611556532995773813585269068981944367719218489696982054779837928902323497], [113, 308, 869467061], [267, 308, 3019242689], [47, 308, 76096559910757], [201, 1540, 182307072098294717589401], [509, 1540, 1423566881825006865551221], [817, 1540, 2335928204292656509957961], [1433, 1540, 4123799501879742337097171753935219884236636973702835509033461793103634521], [58, 385, 55441], [212, 385, 1971764055031], [289, 385, 31055341681190444478126719755965134571151473925765532041], [751, 1155, 6250631311], [1136, 1155, 494224324441], [223, 462, 70180796165277040349245703851057], [377, 1386, 2091671735412778357621761066865852219937389830607486842752574128957931215851033988599835291357560503915249721], [839, 2772, 30493], [2225, 2772, 61262261677], [1301, 2772, 2799652196881], [2687, 2772, 5669488462177], [15, 88, 2931542417], [37, 440, 109121], [213, 440, 3404676001], [301, 440, 11035465708081], [389, 440, 2546717317681681], [59, 528, 16875081675650881], [235, 528, 86945388997210442828259494992321], [323, 2112, 155852929], [851, 2112, 15747624837121], [1379, 2112, 46714408868623938817], [1907, 2112, 39793884865081832830908444263045089144500520641673778732548831210579797483142677611115998880345654086436799946702128764800588023825074014481608562969217], [499, 2640, 5281], [1027, 2640, 860573414369008969457638101533827364704684164286188824383996871471626764468219429432850649798234488791036977295952185305281368586922360240161830570497885830241813162641447900350702795124321], [2083, 5280, 22315877761], [4723, 5280, 8126785250974536961], [2611, 5280, 114777051918123396867747965298573761853112607224218333606977586151255049884408951929837094043816008539287375781917877962657144515877031360472007354757840999072760504204147414260787295882779625147664941094286161262346595753326810615886380124219989793582486248829051679643345602306308292607466337667202655847155469541098818951631854916360323229365119839364481], [5251, 5280, 114777051918123396867747965298573761853112607224218333606977586151255049884408951929837094043816008539287375781917877962657144515877031360472007354757840999072760504204147414260787295882779625147664941094286161262346595753326810615886380124219989793582486248829051679643345602306308292607466337667202655847155469541098818951631854916360323229365119839364481], [81, 616, 13553], [169, 616, 74153335873], [257, 616, 1867935023317328048519811865525337712653538206737478396129], [345, 1232, 29569], [961, 1232, 110881], [433, 2464, 17918209], [1049, 2464, 189461892929], [1665, 2464, 2870688001970767434054027179691605672053349615892643830967611280509793042448805516282905035650675841480512551126261808102212267377673571756682509599522124480424329256179034566198648495905288530840752771106694943915747470808007527897725388514714363812920856812661086050241], [2281, 2464, 2870688001970767434054027179691605672053349615892643830967611280509793042448805516282905035650675841480512551126261808102212267377673571756682509599522124480424329256179034566198648495905288530840752771106694943915747470808007527897725388514714363812920856812661086050241], [521, 3080, 4198801419121], [1137, 3080, 6983295395758799041], [1753, 3080, 2699468869784468321], [2369, 6160, 94601607650988843307651984414967252252932704516118270259850009446435878079745864966257346318297478473025289601703198424432372691714643842358456378081536188674933830837899172667121484286917764266004192184473842551053935012058048697786119556928594476722674709484805176427756380252571866575412271364877595587881627168579122725469846477947868857663448894425343176983523704691321945989034618648506394057109186449424247893178591186686575635597725809439994164949741552670469059149707947733863238020145085670557869186248122281789629109727016832973175055812408485278248936462000398073601], [5449, 6160, 94601607650988843307651984414967252252932704516118270259850009446435878079745864966257346318297478473025289601703198424432372691714643842358456378081536188674933830837899172667121484286917764266004192184473842551053935012058048697786119556928594476722674709484805176427756380252571866575412271364877595587881627168579122725469846477947868857663448894425343176983523704691321945989034618648506394057109186449424247893178591186686575635597725809439994164949741552670469059149707947733863238020145085670557869186248122281789629109727016832973175055812408485278248936462000398073601], [27, 110, 2971], [49, 110, 48912491], [71, 220, 415878438361], [181, 220, 3630105520141], [93, 550, 1657154808755021818820630633083400618861135574408955395309601], [203, 1100, 12101], [753, 1100, 35201], [313, 1100, 698617420601], [863, 1100, 18735216413769901], [423, 1100, 1905911178138824081520901], [973, 1100, 225117233926884384606401], [533, 1100, 1080528897710038815140945082604626901], [1083, 2200, 567601], [2183, 2200, 277173601], [6, 121, 1786393878363164227858270210279], [17, 242, 117371], [149, 242, 11054184582797800455736061107], [160, 363, 8713], [281, 363, 7593961], [50, 363, 75824014993], [292, 363, 335694389427634954071771421573041823051433281], [61, 484, 3389], [303, 484, 91961], [193, 484, 4036962584010807014809213], [435, 484, 1339272539833668386958920468400193], [83, 726, 2179], [325, 726, 19488182484739], [215, 726, 39699266645852731908271396177298928124355765422009], [457, 1452, 11617], [1183, 1452, 4124265157], [105, 968, 209089], [347, 968, 33186913], [589, 968, 1251287137], [831, 968, 326996473976733640998365445879671394664742480953990000504168033158692860497493875546433077237080280823403599489], [116, 1089, 27306046411338223], [358, 1089, 141641296831], [479, 1089, 1236939390012905839684572128617059215539493922424543253697035918657014506866497832544592971355780118678616044428212728886598324985102287375963916365806179244593101888447153], [721, 1089, 1236939390012905839684572128617059215539493922424543253697035918657014506866497832544592971355780118678616044428212728886598324985102287375963916365806179244593101888447153], [1931, 2178, 2779129], [2173, 2178, 1721426293497261021542260015597251655002226072191122320545489355474709766683781470515044276503369440729805390719713484867114077486939823895199436576494739346256325325355237694412207990189173321], [7, 132, 312709], [29, 132, 4327489], [73, 660, 3301], [337, 660, 8581], [469, 660, 391249826881], [601, 660, 12127627350301], [227, 660, 13379250952981], [359, 1980, 78061555441], [1019, 1980, 1629381447071722081], [1679, 1980, 3147175743840736588737901], [491, 1980, 197641128914857897767608810041], [1151, 1980, 38851510139539717819155119866785408258756327161587163687124541], [1811, 3960, 1474545601], [3791, 3960, 246931383124801], [623, 3300, 42217104570301], [1283, 3300, 157791708525544240502055804833336532365663485873851718790013755022788421259234273389939798546610622176000959520014725232666507508879742824617105220403871150094735430235124607886029789317506016035400672110907350264053427629303701], [1943, 3300, 157791708525544240502055804833336532365663485873851718790013755022788421259234273389939798546610622176000959520014725232666507508879742824617105220403871150094735430235124607886029789317506016035400672110907350264053427629303701], [2603, 6600, 26598001], [5903, 6600, 334923601], [3263, 6600, 4991118696893410130279363652732517805534771812111993399375879114106774336565851421231953178510079184598237668957591694384006929132814310367518012642365370790291933903112587911782266783562827646975830557174647607590644052414500874716137550698412140488295697435013587783060726213849699923909559017426075868012415296769848863182123740401945490825582269878332095478099232565056633384708866505231478069168553835149727766894740186300022847774754689670276243795754087406401], [6563, 6600, 4991118696893410130279363652732517805534771812111993399375879114106774336565851421231953178510079184598237668957591694384006929132814310367518012642365370790291933903112587911782266783562827646975830557174647607590644052414500874716137550698412140488295697435013587783060726213849699923909559017426075868012415296769848863182123740401945490825582269878332095478099232565056633384708866505231478069168553835149727766894740186300022847774754689670276243795754087406401], [19, 154, 78233], [41, 154, 35532364099], [239, 770, 219980531], [393, 770, 4362989211422861340320935785851], [547, 770, 1276130308645500829341614664372811], [701, 2310, 9241], [1471, 2310, 113571560808091], [107, 924, 365212445341097287826412838353955921], [415, 924, 3931002956111648245378728475226109181], [569, 2772, 320160637826569], [1493, 2772, 392739971500511407081], [2417, 2772, 1456635780958004300389288651961269023685708638535935853164524280735301658318278110608676841113294447973765774999618029829309225384054191867337], [877, 2772, 1456635780958004300389288651961269023685708638535935853164524280735301658318278110608676841113294447973765774999618029829309225384054191867337], [1801, 5544, 30414994352174267298588072071571506483619063375221064055043006600706276134060521005644794647722764436861413839856815527730192140474439752716435026659271919704935490028690742741967363802938997429926860574434251470917231765011311329646343000724727847290150650298431950857164073537039739685228116112200001951226027684910864076953243969767006532987252198191455612096437552306026051562085290212709385651193548758798130238187727598225715201], [4573, 5544, 30414994352174267298588072071571506483619063375221064055043006600706276134060521005644794647722764436861413839856815527730192140474439752716435026659271919704935490028690742741967363802938997429926860574434251470917231765011311329646343000724727847290150650298431950857164073537039739685228116112200001951226027684910864076953243969767006532987252198191455612096437552306026051562085290212709385651193548758798130238187727598225715201], [2725, 8316, 1549245585889], [5497, 8316, 282733854039004374469], [8269, 8316, 383081250857735145854750106236486589377589642167472212533642597467074799582902596065239573542243913252647847752502436007298756181155310466919578982637499511015532364375137785426283308008639085408899649947159681029637036606528766506037807405305868745611148765216043601489373712321977358390844264236729155130773694633913423819244034488890603407514406157729966788248339044004067183246737736305199606264794095381513647946225353275470316478036591104301864105926892415453674743238925652020283792113410521783281293095916031529764109979478557057293490791634565495826110127566111181029550952341581611416209065326974061182604461], [129, 1078, 12460603], [283, 1078, 31100269092898119731], [437, 1078, 7041654513267071393853911873196906476682748308462741872805521948554771590043753855404907061178826433], [591, 2156, 10781], [1669, 2156, 81929], [745, 2156, 2136469147429], [1823, 2156, 3885344556213467446086975626243397726449689424784426245669032817463381946990455268784285354102309933778702213246570196973910856019430385898795854148062719029738928285622072877495207772750094553574119340364887898621984294173020083081], [899, 2156, 3885344556213467446086975626243397726449689424784426245669032817463381946990455268784285354102309933778702213246570196973910856019430385898795854148062719029738928285622072877495207772750094553574119340364887898621984294173020083081], [1977, 4312, 34452881], [4133, 4312, 400902887947088899681], [2131, 3234, 1048481094598527298171], [3209, 3234, 6938350262721653999795585725612851993245334387321576080061039386762577350868866232345541708880215141708853209564268858962216560624637634445900279111191882085587009594869898153072023551845494861172835567816116400040069413201159228211], [151, 1848, 3697], [305, 1848, 1027489], [613, 1848, 97374817], [767, 1848, 39522602650168177], [1075, 1848, 201027825648939445954510392729388975366845976704408651974712301857644912750702606956558180895114617111024802833], [1229, 3696, 265306273], [3077, 3696, 10294963911568969249], [1537, 3696, 3554105849881317038852234237420976823913188324606294259421340023153541645966719156294439656153573122529751974764883153345844270937959092722508015668100340054539281689282789106914475186107442230918036400753394484042392582625991371935177650152166264291037657525313], [3385, 7392, 268181761], [7081, 7392, 767528359354162561], [1691, 9240, 332641], [3539, 9240, 188650429838641], [5387, 9240, 4578506134480037107778637754933324491507776354615295096046215168472666601481268866933062529598090018627007239348552837295646145001613069753785024614600578621076374651656289150817825601247065688280253564955336109638353884024973062811195739659869805879205021668473435538972085938664098575252139400824251264223118454416115924986557626680112550037281976612233841749274596569118824318897164087278207242847448666137416027572990062476564107805666158450148346397072555494871260804057233593886564598864638065179021761389995909310137903996635965288541599316278001], [9083, 9240, 4578506134480037107778637754933324491507776354615295096046215168472666601481268866933062529598090018627007239348552837295646145001613069753785024614600578621076374651656289150817825601247065688280253564955336109638353884024973062811195739659869805879205021668473435538972085938664098575252139400824251264223118454416115924986557626680112550037281976612233841749274596569118824318897164087278207242847448666137416027572990062476564107805666158450148346397072555494871260804057233593886564598864638065179021761389995909310137903996635965288541599316278001], [9, 176, 229153], [31, 176, 119782433], [53, 176, 43872038849], [75, 352, 5304641], [251, 352, 275509565477848842604777623828011666349761], [97, 704, 1409], [273, 704, 1258753], [449, 704, 441995541378330835457], [625, 704, 2724766004649595434157241343741767729156891206422918570211139111809], [119, 880, 47521], [471, 880, 89119361], [647, 880, 127886114126296744221796660380215073025601], [823, 880, 3959230115153309849247403143218625469852321], [317, 1056, 1632064897], [493, 1056, 190507963147393], [845, 1056, 44250674269198344200898981420091393], [1021, 1056, 155251136815444024315833387060599471617], [163, 1408, 60299259845689822028046342401], [339, 1408, 75663293866256593544267801972300931556941506202920255590970595722474446798018057414471563175144666100580619822353002832543624565176294958371224050599524594529068801], [515, 1408, 75663293866256593544267801972300931556941506202920255590970595722474446798018057414471563175144666100580619822353002832543624565176294958371224050599524594529068801], [691, 2816, 444929], [2099, 2816, 1233948474881], [867, 2816, 37914620279871349679408912944500335586485978295853589740051071315653238354930143957517543707440407284703966958190680480422361935810958493739260694862973470459403232889629322976842228153634157070726251352081021661137478218141996249941032366309716871428875207925835635702929651048524726818635944398002094666689255952276564514878191704016706188579367338586274175125403649], [2275, 2816, 37914620279871349679408912944500335586485978295853589740051071315653238354930143957517543707440407284703966958190680480422361935810958493739260694862973470459403232889629322976842228153634157070726251352081021661137478218141996249941032366309716871428875207925835635702929651048524726818635944398002094666689255952276564514878191704016706188579367338586274175125403649], [1043, 4224, 1951050013441], [3859, 4224, 10669057300390045867833374036971624099228922191376936498495373780339015147407529460877673749519275096302137617284698537924884126558749870321872187488377748723377107100510236943900243886843671791321613860711976484058898457762899366437429963323541482315696226107694988089341432903739810555816948175199859279584577238288746485705222083221221189507009478732645996997984581346561], [1219, 5632, 580208641], [2627, 5632, 746800684540178675658909607647726379047243324858123866302141761013686205947533512897028893499401349618264166455567977727602840948988031806176405316531608359337731343935680005672583803696407919424475194115118996879572062555598915603440603106536544191625579720249224835176910419787971859505947686778579661094513878029082669313922718852514015272905858106515627978573019078185579807804890774095059995534249407618653878767252948429535113037061306633801523732890561490517734161268380146537093330908107497140499350382536802921107505227731816413319105431106556728516673728779924511533254006967327226073201738338096450576112868863941959083723458162040057223104399098206543553135400097432608958708053008222611197212204138420525964695551015491053493825160883594747808757761], [4035, 5632, 746800684540178675658909607647726379047243324858123866302141761013686205947533512897028893499401349618264166455567977727602840948988031806176405316531608359337731343935680005672583803696407919424475194115118996879572062555598915603440603106536544191625579720249224835176910419787971859505947686778579661094513878029082669313922718852514015272905858106515627978573019078185579807804890774095059995534249407618653878767252948429535113037061306633801523732890561490517734161268380146537093330908107497140499350382536802921107505227731816413319105431106556728516673728779924511533254006967327226073201738338096450576112868863941959083723458162040057223104399098206543553135400097432608958708053008222611197212204138420525964695551015491053493825160883594747808757761], [5443, 11264, 362385409], [11075, 11264, 518092250850794498978525148189766519193574953813960891140797925860375127211943085092978567205428296839273369480162903255864811635220126022653845145992651637696662626780427672678376186351225785071058897038281005492568599049749517557707339724267558683064312122529203821287945303943774099609219103740988437867378922891436650141753295537034252532003654757574840276633644069506987257960292698124940993618833352130970779184319721393680084920749116382231233931840975905777204234984037002431926018554481120984942736264208753244972898815183137436637441139874168739570597238092466809962084676067154403958473421245824222596437561071007166379982024300496725881114290763460239545416362279891265501420824023652396465311931526520083281823799048956618887457072393343162056517753908514560085432673455781444580731178738473785629372213868326620261800318699826028678189306899359668072412851914667934548230620693208037046485871527854395084605772189581404317695284076350935601859737360988508617970128967765225514008818632344401317306305836995756689436007808824627114199733945582487609841219667312407699732484583303666747515672182844092539698047638583945250191147995078621950459506275467842435891363961222587705930138276345441359220375585132691328689706822704121678452187662919363821611309717881571237801943528252382519976066679228914092720252034009853111707175154035261921771509623308991363245316450287613591190200069145506834548208055288513072450386180373129888975638776706849918702625503577520673831323770302661361409223546301965872116074648077861285889], [2803, 7040, 4829441], [4211, 7040, 94758401], [5619, 7040, 67242029510181186700440942740070214973768277307515866500239922512863413256921145195687334769865567127304351142214219864092922958846222798769707252476205015757193772240644040778685887341324676657818870015387534205979958283918323645650091184880204951999059246772815989248258329174386181869125568545113609196985179390733067727636148518514022278579146100239062394143752544330298618644997037055547367506165313356805106889751826270236375212106810839012033941950512136859410693486675692546027808398136352529099781435171233027245542285288283790927913033248198945460427292953453481852780107475416909203124392611890452910388312057302734907334186692660291371588305142520110526537279163405696329633681155819318992714899012193698176530060330835921657676806789870081], [7027, 7040, 67242029510181186700440942740070214973768277307515866500239922512863413256921145195687334769865567127304351142214219864092922958846222798769707252476205015757193772240644040778685887341324676657818870015387534205979958283918323645650091184880204951999059246772815989248258329174386181869125568545113609196985179390733067727636148518514022278579146100239062394143752544330298618644997037055547367506165313356805106889751826270236375212106810839012033941950512136859410693486675692546027808398136352529099781435171233027245542285288283790927913033248198945460427292953453481852780107475416909203124392611890452910388312057302734907334186692660291371588305142520110526537279163405696329633681155819318992714899012193698176530060330835921657676806789870081], [43, 198, 5347], [65, 198, 242099935645987], [109, 396, 42373], [307, 396, 235621], [131, 396, 8463901912489], [329, 396, 15975607282273], [175, 594, 23761], [373, 594, 694387], [571, 594, 6215074747201], [197, 1188, 22573], [395, 1188, 155399494141], [593, 1188, 4712151755917], [791, 1188, 5292250152949], [989, 1188, 41523259994275786297957], [1187, 1188, 272007548484389196113813589140615077929661]];