sierpinskicovering:=[[0, 4, 5], [2, 16, 257], [6, 32, 65537], [22, 64, 641], [54, 64, 6700417], [10, 48, 673], [26, 96, 22253377], [74, 288, 1153], [170, 288, 6337], [266, 288, 38941695937], [42, 144, 577], [90, 144, 487824887233], [138, 432, 4261383649], [282, 432, 209924353], [426, 432, 24929060818265360451708193], [14, 112, 5153], [30, 112, 54410972897], [46, 224, 183076097], [158, 224, 358429848460993], [62, 336, 2017], [174, 336, 25629623713], [286, 336, 1538595959564161], [78, 448, 167773885276849215533569], [190, 448, 37414057161322375957408148834323969], [302, 896, 1489153], [750, 896, 26459340441441866087731114978932791810378456514228699635808330483947834929412856490368283423658331445600601857], [414, 1792, 10753], [862, 1792, 48919385089], [1310, 1792, 39257233394241687553], [1758, 1792, 75180696491135911290689489057105965651557440096622698338319848937167542150826408002160567774849512267023085283727648741602130411737775078123272135037747811030379277561425152334758951325258605949441], [94, 672, 47886721], [206, 672, 131084304485119425504284495119889529996019181850241], [318, 1344, 494968321], [990, 1344, 663239809], [430, 1344, 120024621595864025218910923338006229301425391924739107060397489618540260099717126712633721435874689], [1102, 1344, 120024621595864025218910923338006229301425391924739107060397489618540260099717126712633721435874689], [542, 2016, 423319681], [1214, 2016, 494077391563970390335488001], [1886, 2016, 1182535155637613030007560262508683779548466507326344523324350116506349984584195230165422933876144679963927913357379857923458252588197603201], [654, 3360, 25240321], [1326, 3360, 574861795201], [1998, 3360, 2097928973266561], [2670, 3360, 51001264246554923426512935206051621120025607714695965533761488057718965836780582760080565615420773495226910862271611985727454588863218335227397686595581846602653852094611868252256902497185121570561], [3342, 3360, 51001264246554923426512935206051621120025607714695965533761488057718965836780582760080565615420773495226910862271611985727454588863218335227397686595581846602653852094611868252256902497185121570561], [110, 784, 3137], [222, 784, 50177], [334, 784, 101921], [446, 784, 258721], [558, 784, 33725933170854542422930854135636663761123331227599520852573351371057495391835351809], [670, 1568, 689921], [1454, 1568, 66308056470365249], [782, 3136, 68993], [1566, 3136, 282241], [2350, 3136, 209624941247015152769], [3134, 3136, 94068904561435370445866012584272757362629283978786039160659446838535955551274729714880772527279718375564158208289374079928421660948187030875693942169190170086763376337470895389551616273391333603966638533950636430165551794284348781062149112380501897189570773242568207765091288966461793271501599743450077906443203596043287053416467171802902992054631854957525575982600799467393], [0, 13, 8191], [1, 26, 2731], [2, 39, 121369], [15, 117, 937], [54, 117, 6553], [93, 117, 86113], [28, 117, 7830118297], [67, 351, 446473], [184, 351, 29121769], [301, 351, 571890896913727], [106, 351, 93715008807883087], [223, 351, 150832426800173710177], [340, 1053, 44207047], [691, 1053, 24295813738965169951447], [1042, 1053, 1087462356189876289004689354796614348274006078814498030640327092526658434963230524957873956666997547232750552140796842174321721246657755700352130594440092712731927009], [3, 156, 21841], [55, 468, 7489], [211, 468, 21061], [367, 468, 348661], [107, 468, 1112388285061], [263, 468, 370244405487013669], [419, 1404, 9829], [887, 1404, 59012929], [1355, 1404, 7011385057], [29, 260, 51481], [81, 260, 34110701], [133, 260, 108140989558681], [185, 780, 2341], [445, 780, 468781], [705, 780, 723447661], [237, 780, 8925278993793241], [497, 780, 720453772427518446437641], [757, 2340, 11701], [1537, 2340, 1736281], [2317, 2340, 10248564275821], [17, 104, 858001], [43, 104, 308761441], [69, 312, 84159375948762099254554456081], [173, 936, 1873], [485, 936, 6440452782193], [797, 936, 623293182848475361], [277, 936, 66160413724915364725540228212461512514283877255084129], [589, 1872, 26391457], [1525, 1872, 54573491387218500862753537], [901, 1872, 171724563923667448333608556041485452278873469480751276372570420605814498029548393251951390553341354246638935322697466475255488889475752826209], [1837, 1872, 171724563923667448333608556041485452278873469480751276372570420605814498029548393251951390553341354246638935322697466475255488889475752826209], [95, 520, 42641], [199, 520, 5746001], [303, 520, 2400573761], [407, 520, 65427463921], [511, 520, 173308343918874810521923841], [5, 208, 78919881726271091143763623681], [31, 416, 928513], [239, 416, 23877647873], [57, 416, 18558466369], [265, 416, 21316654212673], [83, 416, 715668470267111297], [291, 2080, 201219077319973441], [707, 2080, 7715678863679425141729793681534838990609482792631161754838312979422237178408832075851524020018180240451000315292774724735298298510062575079010818118203164139217253899513545702598920347831540878582955242890440062401], [1123, 2080, 7715678863679425141729793681534838990609482792631161754838312979422237178408832075851524020018180240451000315292774724735298298510062575079010818118203164139217253899513545702598920347831540878582955242890440062401], [1539, 4160, 1180452149761], [3619, 4160, 1680438181901441], [1955, 4160, 1215073115374845252683344201730102650454830187487193158286169728461968665901168661310738089600531334193053318438472502221009284109559047362999235509644210977681138974272701195498020257285118854690514741342043586672743710887292869029282392340626903823466583111807025462921850659022854934116456751623872029672660778489967813463595890188520258496214877474750426179168751442746835104566048617624362527301014707654340200415768666164012036481], [4035, 4160, 1215073115374845252683344201730102650454830187487193158286169728461968665901168661310738089600531334193053318438472502221009284109559047362999235509644210977681138974272701195498020257285118854690514741342043586672743710887292869029282392340626903823466583111807025462921850659022854934116456751623872029672660778489967813463595890188520258496214877474750426179168751442746835104566048617624362527301014707654340200415768666164012036481], [109, 624, 4993], [317, 624, 94849], [525, 624, 13306320418205909319940605309019024034703545187073], [135, 832, 4940417], [343, 832, 11342687617], [551, 832, 703135063886107310322869668180880900631970395041438633085656587740154733922499375339477804972453889], [759, 1664, 3329], [1591, 1664, 466361697897479403744312800852426728490715716313678806761381929223522786940597935018305061489196783764416052773572016149285601956127780866260258617069422197958178354222463616400424153306296232100106644742684454347845759016694529], [161, 1040, 19868746561], [369, 1040, 3377549010888001], [577, 1040, 7580827241843270677601], [785, 1040, 37363769421172422182780447669037406234152610941283248995871866881], [993, 3120, 10795201], [2033, 3120, 124781281], [3073, 3120, 1148056772833695415271179178759193311620380469096938503729869169145442391741660877651116363184633467852660940142490728503452199270823399520013348081999636464774560730084786099297251319549432161001490746578930026372961], [187, 1248, 792584833], [395, 1248, 9155841480185089], [603, 1248, 5429763821127695456343189670383550559822714742244962629280671332889595070466023912228194433], [811, 2496, 129793], [2059, 2496, 46270849], [1019, 2496, 11601852289], [2267, 2496, 22281816803845903937962733080326491291356267934513663068103441837499399201122434244983278452455033749836267361335968893879632788638628529986133424637004589753003414328132457814844182329057783572637771475158017], [1227, 3744, 307009], [2475, 3744, 830790651352897], [3723, 3744, 239834853867943123346615769904396567345772579393003612174762219898814887524813985489783402272167485200588063699575293939857883358055127374260611685736004220540947451634671833216630694555872567872834375393803380306097216709753278583857587440831065094980671771404360188500723380443477300787949603053319085414951492033093784758657], [19, 78, 22366891], [45, 234, 5302306226370307681801], [123, 702, 4247713303224552237738169], [357, 702, 24841125429051585062538961751269988364169], [591, 2106, 10166476786129], [1293, 2106, 93961711110587347], [1995, 2106, 1222688431595222076535249841763207993162767266799369907694188267421813312899063400315194236020525233565968411452328361172303796011722674004017116406857372481940574827], [201, 1404, 520378545363301], [435, 1404, 21455171100793], [669, 1404, 371434919794191620009861713658005494601], [903, 1404, 657605388714787226759598226179270662456521], [1137, 2808, 14927329], [2541, 2808, 36926447460343894713313], [1371, 2808, 223149861108387525629598095707240751226355472757304881393275926969787514267806191296195995490053576121513833442717831805749339536359718449280823396844398990386057246184193979254909201540774621570087187910857928861651181692865438273], [2775, 2808, 223149861108387525629598095707240751226355472757304881393275926969787514267806191296195995490053576121513833442717831805749339536359718449280823396844398990386057246184193979254909201540774621570087187910857928861651181692865438273], [71, 858, 8340357737139637289786276330761], [149, 858, 185074846248319535013227469188526344689], [227, 1716, 360960601], [1085, 1716, 11517089006281], [305, 1716, 12892407528001], [1163, 1716, 102968399238277], [383, 1716, 11481343507470409], [1241, 1716, 21770852037342601909], [461, 1716, 1090446563403147928146313], [1319, 1716, 491173083725172740713871230056877], [539, 2574, 7723], [1397, 2574, 882883], [2255, 2574, 720447884505890115257492833869916228756944476598997468927326832197326220293970344693534420832407133929822934735793711225371408344621543363733005741693024453221603033958940399609656617437690858120858817352569], [617, 2574, 720447884505890115257492833869916228756944476598997468927326832197326220293970344693534420832407133929822934735793711225371408344621543363733005741693024453221603033958940399609656617437690858120858817352569], [1475, 5148, 4243524044761], [4049, 5148, 7058872910666607818751090006090439591281056943863851215471787966386432690442737969169659970758443208603016732334643745248862649277884576012564913664226009626803590443932236707785601043034410677746821548773925836380917295024310486406159438601668163149473280526048764993931988941476164228637296902888781847592868443394684571611074870161762010119161293561248492495767373047095026123921836705331234508026537266404325618368041], [2333, 5148, 7058872910666607818751090006090439591281056943863851215471787966386432690442737969169659970758443208603016732334643745248862649277884576012564913664226009626803590443932236707785601043034410677746821548773925836380917295024310486406159438601668163149473280526048764993931988941476164228637296902888781847592868443394684571611074870161762010119161293561248492495767373047095026123921836705331234508026537266404325618368041], [4907, 10296, 89249689663129689409], [10055, 10296, 10367517607614569522995937056948817122510938174155813845821299736264444822296909384181687475606782841594325572501760440815273844230375907939571816600253490205746993593523437245134687014870970444282273337640964705845242691542175455918033030540306894822922403313937078031611481819470781892171584120527304112571051319537082559196133844225411254473375654656180938969382935381718860612223841513845249930183689209922501297077066691304947337454216197080285808774641447045176342410055883675923391117343261948136346473747053401281554561515727991177717735248757059868404228333067650349219624810958313100893461461561166704262814041524182837447239742421902081558658227615411585736629188032993595064246774332679724795531928236785405264646754077307971847910078959909227005634810826279753661391504259468506853654005377086677249347086035724147806984397822567441089], [695, 3432, 20593], [1553, 3432, 96975189169], [2411, 3432, 4594017653594099896056198666086089781780250553468037578070815739088303162257529647177615429224493518306166353718357006154095645509791561425018444382295619051587288644407627896851492815558477699556848431113336798642721818422826357032819697098528702835714403272766483868447953], [3269, 3432, 4594017653594099896056198666086089781780250553468037578070815739088303162257529647177615429224493518306166353718357006154095645509791561425018444382295619051587288644407627896851492815558477699556848431113336798642721818422826357032819697098528702835714403272766483868447953], [773, 4290, 227371], [1631, 4290, 3419131], [2489, 4290, 52441211236235251], [3347, 4290, 308883935567694540915683467211803730494226406708241081849860684379426788006062760988054441947048360153551326357538104243956447600044532924132880797631985422321014142947865264486161228412104986127436883850947285867484197294077528983451464841057279998528931057441], [4205, 8580, 163021], [8495, 8580, 4976401], [851, 6006, 456457], [1709, 6006, 766701202212468052531], [2567, 6006, 114937547501474598307058528540101277567948050603663267323169335787917695362898865576783691948403538792867929490976776801082144868922687088759946395546603476800025765352376433804085027569323746976717587113715934831159416368327464340404861986037995692745027183320124334664495151678119150370995800319648599043373745273571895049922307991770803965517605030252310793699123834136820136714914770037165666661493121313], [3425, 6006, 114937547501474598307058528540101277567948050603663267323169335787917695362898865576783691948403538792867929490976776801082144868922687088759946395546603476800025765352376433804085027569323746976717587113715934831159416368327464340404861986037995692745027183320124334664495151678119150370995800319648599043373745273571895049922307991770803965517605030252310793699123834136820136714914770037165666661493121313], [4283, 12012, 8586093517], [10289, 12012, 38721238215661], [5141, 12012, 81142257428147917], [11147, 12012, 42222659925836204417419531080613021237592850897732091315632814274538762328801182070138970856665425909118787970635389216830805753658955096880412282957214056707618724403924920839579943784588923876534662903631860447469068671251304859823455853187377696276361180691448086649240087420754641333353737175664307847477015231058045180515261940173050740721599693173373241063171717887279388295141924810895246561411882564546210571387597887322556708259438329714311098739680983201309673995656005342991820539598535200158445966459162769016243663131043866182214246234607813127424036462163260878691406998737900379542150953611680145490932435090731683488321821230917253262828205864199241477214270080007756605016457454711044226621349228906588829910092490099927233612554928502047786490448007213115689958802023812728403692236894344109559938360958100369], [5999, 18018, 60732245688711398803], [12005, 18018, 520555260111748566938711539217803838956215612979682314712874952915466306500414188819110700270051087751157819418330038257746218573085624223093601015580791185580142632339925042262035596846991961849454765348238629545862233337639240886313798711528311847986974777348222429010950307487220431194767036010843845540923431111897152566549324842600795114192493600320309272173727536546858196443849453910757001426761338165100346841225447388159401640008005261991132928266335162376116890746733580153589976812003376712653434269352581131500137495824690953717354586758740573408331231898101344725961408848014176323479756314413906611266004963694270000114988473280346797208638309332982094138611317073952142422061287007682678028909171888541139192539974477599058922725562897504811413084411173163058017097219263350668190798147412844440293081175289319487808159390138605109165668359601505028968164781838097008395312377085589137078405003315495959481943143507232098445588878393937526927554716547350719989365868733441732430508211695457057030383982066701453405900402571742410181515544677670395662144445085748186011318856073308394510910796466018421917304151912265798630715125045373104409907604168892664758186471132697009184010587417009903096714347296878919106675711358219671132539554970112809502156950478846476147], [18011, 18018, 520555260111748566938711539217803838956215612979682314712874952915466306500414188819110700270051087751157819418330038257746218573085624223093601015580791185580142632339925042262035596846991961849454765348238629545862233337639240886313798711528311847986974777348222429010950307487220431194767036010843845540923431111897152566549324842600795114192493600320309272173727536546858196443849453910757001426761338165100346841225447388159401640008005261991132928266335162376116890746733580153589976812003376712653434269352581131500137495824690953717354586758740573408331231898101344725961408848014176323479756314413906611266004963694270000114988473280346797208638309332982094138611317073952142422061287007682678028909171888541139192539974477599058922725562897504811413084411173163058017097219263350668190798147412844440293081175289319487808159390138605109165668359601505028968164781838097008395312377085589137078405003315495959481943143507232098445588878393937526927554716547350719989365868733441732430508211695457057030383982066701453405900402571742410181515544677670395662144445085748186011318856073308394510910796466018421917304151912265798630715125045373104409907604168892664758186471132697009184010587417009903096714347296878919106675711358219671132539554970112809502156950478846476147], [7, 130, 409891], [33, 130, 7623851], [59, 650, 3251], [189, 650, 5840251], [319, 650, 7812610577851], [449, 650, 9860942209386451], [579, 650, 1245660907214169781926561543788801], [85, 1170, 1171], [215, 1170, 65521], [345, 1170, 26959262851], [475, 1170, 43725552532343303477113703251], [605, 1170, 4897406518564079146139572699835240681611], [735, 3510, 10531], [1905, 3510, 1024921], [3075, 3510, 4633201], [865, 3510, 409251961], [2035, 3510, 21497866557571], [3205, 3510, 194900834792501371], [995, 3510, 1439538040790707946401], [2165, 3510, 994499868210136010981361559557803621721545129593921219614629055332298029738879358633257877455053636767566800834052466239516617923218534966326533248229553609904541805972325270693726491], [3335, 3510, 994499868210136010981361559557803621721545129593921219614629055332298029738879358633257877455053636767566800834052466239516617923218534966326533248229553609904541805972325270693726491], [1125, 5850, 5851], [2295, 5850, 2601137894594851], [3465, 5850, 1998881407652766379846421765368359839435235702934253774867181064209618725396139842413276875219956378550916412199334669491858311973368728893241213312890941507871203940446505570374709520196216024705517547503095597028793592047599081366059125980175292203579954435006022556773210938318823688598506192403808838441548275607407204270055609041779594457492561914089958550014265174285271856333843608395833850231524240029494801], [4635, 5850, 1998881407652766379846421765368359839435235702934253774867181064209618725396139842413276875219956378550916412199334669491858311973368728893241213312890941507871203940446505570374709520196216024705517547503095597028793592047599081366059125980175292203579954435006022556773210938318823688598506192403808838441548275607407204270055609041779594457492561914089958550014265174285271856333843608395833850231524240029494801], [5805, 11700, 1655772301], [11655, 11700, 6058764094501], [111, 1300, 1301], [241, 1300, 500501], [371, 1300, 666901], [501, 1300, 17812009801], [631, 1300, 667410374883859254051810171126401], [761, 1300, 6778614929254022814753212468146501], [891, 1300, 89295869413431533471180244960220417186167213322759001], [1021, 2600, 1065641262401], [2321, 2600, 3249204401], [1151, 2600, 180407984061221584650765212709691727214108024260628900628263654261798077729704957553850426349782890961754522074039392402572592218901795634013868950546164416711840262045537543262629677196444928827337673770994675644936508453033116082056888806508686236240834070458401], [2451, 2600, 180407984061221584650765212709691727214108024260628900628263654261798077729704957553850426349782890961754522074039392402572592218901795634013868950546164416711840262045537543262629677196444928827337673770994675644936508453033116082056888806508686236240834070458401], [1281, 5200, 395201], [3881, 5200, 250068001], [2581, 7800, 546001], [5181, 7800, 5007601], [7781, 7800, 6989048882401], [8, 65, 145295143558111], [21, 195, 134304196845099262572814573351], [86, 585, 2400314671], [281, 585, 339175003117573351], [476, 585, 255375215316698521591], [151, 585, 2728334536034592865339299805712535332071], [346, 1755, 3511], [931, 1755, 1969111], [1516, 1755, 4242734772486358591], [541, 1755, 85488365519409100951], [1126, 1755, 13998469549388339590468017073657389503840227715447303027205450636561786721059586640554982761800971743769332153370421665868047306056094647597984314626970971405894583302525615193026605012021992879604120513454431], [1711, 1755, 13998469549388339590468017073657389503840227715447303027205450636561786721059586640554982761800971743769332153370421665868047306056094647597984314626970971405894583302525615193026605012021992879604120513454431], [34, 325, 51879585551], [99, 325, 4613679391936953610429590532014122532260339739644049093601], [164, 975, 8837728285481551], [489, 975, 26155966684789722885001], [814, 975, 1663763381192308635718252801], [229, 975, 4294500770439625509689707482842762056791217143467781867769939979855730352201], [554, 2925, 17551], [1529, 2925, 1815785752951], [2504, 2925, 1432354107601], [879, 2925, 666484634934156481664586933994424850524231797320321200590243756877636288110120861403750785050455084924632694736356629167058077415807435851724288234899318057106366057043104197618932353250754354784012626267610545698943191337183350694996440116022051587960684794439474460569043410104440238201599333076958737560956840425079543502212454657835803721367624587800878185943636676162802923337345852446140055131783801], [1854, 2925, 666484634934156481664586933994424850524231797320321200590243756877636288110120861403750785050455084924632694736356629167058077415807435851724288234899318057106366057043104197618932353250754354784012626267610545698943191337183350694996440116022051587960684794439474460569043410104440238201599333076958737560956840425079543502212454657835803721367624587800878185943636676162802923337345852446140055131783801], [2829, 8775, 802200601801], [5754, 8775, 35099286237695024718204789229717115500874601704958998085219404468246570056374648403806191324425435099157799420761687867190456233324024174134502974862683842509583284626283247109090458922839638306012452047992871096773375570241628979112003705641430370088774934995438353640189012711964109670322519823021382911383359174956580752754753645604332282309068593365116810691737708788137370313321890952443915897482561557565232950952727006914124632055069323056339746556310218750827988962743961684423576021659616353234648598370309016424227721893707912905634580651659516534055978352218724375282918722174425503419455786168847619241850261760103940301459188693800111393240200270722668551596629903763938265224922583431227251368861773893287552096491746969668440205878032219950922021916692634732103395668461607509433972867009762794207394168103309771789880253247777319121464492057849431018075338487782512304274877474042587195255029671273005269232169642882834796702975902581016318819673745611984493876876546837882291861375869640711768700139676003936348398545714653575778417921976656183070303842829000368147780695361140296157456348983008453736475650632445997115983354190688073490269276120305279541253247524622738587666597571107088283148293284797266010392451887877766516578388176952872006663191838569979335763662201], [8679, 8775, 35099286237695024718204789229717115500874601704958998085219404468246570056374648403806191324425435099157799420761687867190456233324024174134502974862683842509583284626283247109090458922839638306012452047992871096773375570241628979112003705641430370088774934995438353640189012711964109670322519823021382911383359174956580752754753645604332282309068593365116810691737708788137370313321890952443915897482561557565232950952727006914124632055069323056339746556310218750827988962743961684423576021659616353234648598370309016424227721893707912905634580651659516534055978352218724375282918722174425503419455786168847619241850261760103940301459188693800111393240200270722668551596629903763938265224922583431227251368861773893287552096491746969668440205878032219950922021916692634732103395668461607509433972867009762794207394168103309771789880253247777319121464492057849431018075338487782512304274877474042587195255029671273005269232169642882834796702975902581016318819673745611984493876876546837882291861375869640711768700139676003936348398545714653575778417921976656183070303842829000368147780695361140296157456348983008453736475650632445997115983354190688073490269276120305279541253247524622738587666597571107088283148293284797266010392451887877766516578388176952872006663191838569979335763662201], [294, 1625, 273001], [619, 1625, 10032751], [944, 1625, 76488751], [1269, 1625, 1150951751], [1594, 1625, 95289745710449721301906751], [47, 390, 107251], [177, 390, 571403921126076957182161], [307, 1560, 1928161], [697, 1560, 19237672720663446377661455703086115628491787752013273019558417760035115974333583373403776382012030893233714961], [1087, 1560, 19237672720663446377661455703086115628491787752013273019558417760035115974333583373403776382012030893233714961], [1477, 6240, 68390401], [3037, 6240, 81157441], [4597, 6240, 1204521272198401], [6157, 6240, 54615705172591681], [60, 455, 200201], [125, 455, 4774797453608343803270988984332214098351782527747577456028391624903856636676854631], [190, 1365, 469561], [645, 1365, 52393016292934591], [1100, 1365, 2224981001722824694441], [255, 1365, 2686468892524850657611100670163178394341862986608741637023165267852511115108258469117494403626444218706034120814814814040880969481], [710, 4095, 40466791], [2075, 4095, 385473138531391], [3440, 4095, 850374435868653391946977513919159578573787956100998002261141047584702425888076241058828984888078016504522142525067342555410323940359874994329628564730926125501772889497986245195474179030822535474196896299429263867731328701453642046014736300041297664940823073160204440603397657256968651393834084041911065370662660591249660549747607455962126620804953249628383198423189441555949277793138086446226520654526953102831206394930088960419195509217242830266258122435751135895088670976684673501362961182983841], [1165, 4095, 850374435868653391946977513919159578573787956100998002261141047584702425888076241058828984888078016504522142525067342555410323940359874994329628564730926125501772889497986245195474179030822535474196896299429263867731328701453642046014736300041297664940823073160204440603397657256968651393834084041911065370662660591249660549747607455962126620804953249628383198423189441555949277793138086446226520654526953102831206394930088960419195509217242830266258122435751135895088670976684673501362961182983841], [6625, 8190, 24571], [3895, 8190, 2129401], [320, 2275, 218401], [775, 2275, 28319200001], [1230, 2275, 5077458991215348737098073443367653544422250249790322193096132066127577403650421228073919286243641704202725647949172431746490391946048760590721770111443283346901191985912627859996302932765836846187614089924027560749414992261693251857827246112750340539998701946011963866130698320225578331375909280661993140640335501786244819453762475471205259847465705584559233682062156563338081500716905917127554199442393431788329344001], [1685, 2275, 5077458991215348737098073443367653544422250249790322193096132066127577403650421228073919286243641704202725647949172431746490391946048760590721770111443283346901191985912627859996302932765836846187614089924027560749414992261693251857827246112750340539998701946011963866130698320225578331375909280661993140640335501786244819453762475471205259847465705584559233682062156563338081500716905917127554199442393431788329344001], [2140, 6825, 8248175904151], [4415, 6825, 12124906790783841601], [6690, 6825, 8965534199760618992598904716766502554990567952078140404882099964052518242331631531600251424954190899275991902320069614154751444818689998094579335302631586830580948721371098374747160886405598501663260212996035731960544942974943992714370826785895183738083720498016558269023128174133650603369396508283749883223277763005878535064433943163671194224524164807492339165564421823368881742758616788323294730981024671344163694230912744026425103774178889049599389128068885750883982054627559654559344608786774069178958801546917914032979840746669228169454527447394599291225107810392328422000277928710768902222695110382691547848223214964783667472712748335849643211551463306863801358557764710835118752559728602667389844247106618757094619057161290461098509472953623708987856174262706790607421485006943812256988536486422629545705788474692506628159369351], [385, 3640, 1775281128238801], [1295, 3640, 8930893011041], [2205, 3640, 3631319475403573014419089136694889922244051838817096553933022095115419286920180016091246189592304807332277759975627490499313082067084373343487955823873443741308252456765978611360019192796496768696085074872865527866413664501784342732860600749654849482014404704106523872120332589927624483244600267003177322415952728336321], [3115, 3640, 3631319475403573014419089136694889922244051838817096553933022095115419286920180016091246189592304807332277759975627490499313082067084373343487955823873443741308252456765978611360019192796496768696085074872865527866413664501784342732860600749654849482014404704106523872120332589927624483244600267003177322415952728336321], [905, 4550, 29500529255763634808969037663274296881238908515846030150429893166199640060810375466535278987909011344683999517232762956937334708323265884271971300869110127330060568639212893122076614735669457623096551478211321638543860245099753812908383718810620691098194160948746231785803092524597994890978886413004351788138795921873589085972854260872817401001027716113136927831155375448081179434771509352584640580926517217783499212408722149291820001], [1815, 4550, 29500529255763634808969037663274296881238908515846030150429893166199640060810375466535278987909011344683999517232762956937334708323265884271971300869110127330060568639212893122076614735669457623096551478211321638543860245099753812908383718810620691098194160948746231785803092524597994890978886413004351788138795921873589085972854260872817401001027716113136927831155375448081179434771509352584640580926517217783499212408722149291820001], [2725, 9100, 5305301], [7275, 9100, 2892634981601], [3635, 9100, 60250400844383121350421610276213350680026995554852561831458143171371904060885068772231873962276469200944194434324440748817667158103297279701336548093349445582868134806574255508583141180223120942870273624398284655986228724649689882256954751677821873178695607204948435887794313675327478972220020205888441020125397466753619192481687099868602116877601216004534681780984853374420778067055722819223762269314672160433741596657258281894581498316750420134227004984106170431487706809732806045523436748164991274381466824865088646213534286415167960433403725269892663682848821359088763838723820634524657144171162796366376065409734604483208977930645597448884197588362705980349022922177220763539293074705112470197408604930100764184662259194749537667933337187223994249297296043948761861689410678089470335608576721437427887790124688571424554481839373307082426985501], [8185, 9100, 60250400844383121350421610276213350680026995554852561831458143171371904060885068772231873962276469200944194434324440748817667158103297279701336548093349445582868134806574255508583141180223120942870273624398284655986228724649689882256954751677821873178695607204948435887794313675327478972220020205888441020125397466753619192481687099868602116877601216004534681780984853374420778067055722819223762269314672160433741596657258281894581498316750420134227004984106170431487706809732806045523436748164991274381466824865088646213534286415167960433403725269892663682848821359088763838723820634524657144171162796366376065409734604483208977930645597448884197588362705980349022922177220763539293074705112470197408604930100764184662259194749537667933337187223994249297296043948761861689410678089470335608576721437427887790124688571424554481839373307082426985501], [4545, 13650, 4433094133651], [9095, 13650, 215293666581005699395557234146344771451701606127911549563720879925745858947126232831641890103260178304734537689491989620016363798143612335650032497958268675269702244526149752452577758473201149445032349228844781048772030112489620531774896017051933562848340161122146275260060892892556467978627077422595725646119874913857626278842235262680897853805262485561651634102766944446535570445219368865737283709013829857900869054306721543842519226663842915084581783287509981852535095518209254696091404479313400317254002142684861868915733573531496360994695654508927692760095629405000088500727268373780869936229859344427512611890921776633678885868645035219489604024861556155980092408021745245818085533476638184389151088331229320418272031017219462024317368028250424747697773551005200566609512244068793747939632781302776867033112224072093242971364266968330955174309741051], [13645, 13650, 215293666581005699395557234146344771451701606127911549563720879925745858947126232831641890103260178304734537689491989620016363798143612335650032497958268675269702244526149752452577758473201149445032349228844781048772030112489620531774896017051933562848340161122146275260060892892556467978627077422595725646119874913857626278842235262680897853805262485561651634102766944446535570445219368865737283709013829857900869054306721543842519226663842915084581783287509981852535095518209254696091404479313400317254002142684861868915733573531496360994695654508927692760095629405000088500727268373780869936229859344427512611890921776633678885868645035219489604024861556155980092408021745245818085533476638184389151088331229320418272031017219462024317368028250424747697773551005200566609512244068793747939632781302776867033112224072093242971364266968330955174309741051], [9, 91, 112901153], [22, 91, 23140471537], [35, 273, 108749551], [126, 273, 4093204977277417], [217, 273, 86977595801949844993], [139, 364, 8861085190774909], [321, 364, 556338525912325157], [61, 1092, 503413], [243, 1092, 1948129], [425, 1092, 467811806281], [607, 1092, 275700717951546566946854497], [789, 1092, 3194753987813988499397428643895659569], [971, 3276, 507781], [2063, 3276, 6224401], [3155, 3276, 38318677993399703802378010947563284200451545163463992878209412539987508086847321241197922266885384668439380818990511436777108541842841422372418450337032506144782246172665407301334083759802913331892360101632344942509797563687471214470657450657761341], [74, 637, 3823], [165, 637, 15289], [256, 637, 31945881241], [347, 637, 153925026222241], [438, 637, 8573192048327176271], [529, 637, 6044274266901603399200353], [620, 637, 153472677405951306470238401460959], [87, 728, 593914915675537], [269, 728, 889699724270954868382634043341555740249741984247578510445178451442481793], [451, 2184, 26209], [1179, 2184, 279553], [1907, 2184, 404284148686608554495041], [633, 2184, 1580204575585229261365153], [1361, 2184, 49743912938551534687914747072664537705882113228228222288727816313798540016217285564603701949887102476248707805725361], [2089, 2184, 49743912938551534687914747072664537705882113228228222288727816313798540016217285564603701949887102476248707805725361], [23, 182, 224771], [49, 182, 1210483], [75, 182, 25829691707], [101, 546, 105310750819], [283, 546, 292653113147157205779127526827], [465, 1638, 11467], [1011, 1638, 13503673], [1557, 1638, 63789836706567949766136952229280060459548250258629660642628652432292700491771878325595427834374427003282339057671722851], [127, 910, 1185685411], [309, 910, 39537592800161], [491, 910, 171525190684121], [673, 910, 327061478509556968075523586322717436918466721], [855, 2730, 2511601], [1765, 2730, 4663895387971], [2675, 2730, 1747155976140576469705652320728306638552264970224296329802371579918986789611343920344321306746421947396330663454762878038087163972889931354625731], [153, 1274, 225499], [335, 1274, 234073869739223650179234718144664302681489768478267539931908344674623398367016046185701259568278702743582405740182558738980448727698610170304181459], [517, 1274, 234073869739223650179234718144664302681489768478267539931908344674623398367016046185701259568278702743582405740182558738980448727698610170304181459], [699, 2548, 2549], [1973, 2548, 665029], [881, 2548, 41202153721], [2155, 2548, 39276411193893882690704883293260464083783692491990965378419172934701213854602845570084288731856936498804714453018529455229617062364992561421726648671620212167011971959830994653939360398542546526801206259295850428036615191225329326566024811100927997706650018433446085525333682286891201], [1063, 2548, 39276411193893882690704883293260464083783692491990965378419172934701213854602845570084288731856936498804714453018529455229617062364992561421726648671620212167011971959830994653939360398542546526801206259295850428036615191225329326566024811100927997706650018433446085525333682286891201], [2337, 5096, 24142062101688865158856864820397184251124256666795056089545518713696331924542010245907134590356394665150806173448061173418783813025069886812691456166265897050017519162752364924149181907352100068276385981260627498953943309488150961461168407220457593593208908060377215806582835428808509132936186621369019985899240258242899377316658666503509467181741787791985657886023262992865678010130581949444991596488872874294329938751804639229229336857855588849286559470006702059676258857261532036186112915856802861134525323891166021780284771233765691178318154129012182815563124307238811916999492107594389986563521], [4885, 5096, 30577], [1245, 3822, 15778554919219], [2519, 3822, 4102940057983383564289615078412792816118654545953507836830572067030954176205567784621619253197549775933453487647934353630113715151868148424693162750563641789839498839325247468287976838912787859611389111137449039513458473349127837863937935137411587270626589881785164007465143742718039233], [3793, 3822, 4102940057983383564289615078412792816118654545953507836830572067030954176205567784621619253197549775933453487647934353630113715151868148424693162750563641789839498839325247468287976838912787859611389111137449039513458473349127837863937935137411587270626589881785164007465143742718039233], [179, 1456, 145601], [361, 1456, 9828001], [543, 1456, 32038310825249], [725, 1456, 5415910767012636547867388209787026949104914143929346048059994945283395231628287670927219791061714361807641818081009531033919139461833139839103139969], [907, 2912, 19050263233], [2363, 2912, 33203532563859841], [1089, 2912, 96711108086962071818425908834409244125902988027686365764717291092291283154250879233503257771914415565156795858435538084226423595247727007405848479260496630300118700204707690731420130495044440097575362985116395154333879216669986941380408135542081040529762237389023126240750942285614321672093241724642437015640925895603137], [2545, 2912, 96711108086962071818425908834409244125902988027686365764717291092291283154250879233503257771914415565156795858435538084226423595247727007405848479260496630300118700204707690731420130495044440097575362985116395154333879216669986941380408135542081040529762237389023126240750942285614321672093241724642437015640925895603137], [1271, 4368, 24449513089], [2727, 4368, 260257562369826726433], [4183, 4368, 1096038891272488603907323793895747410937387046236132338888799551133763477909069285697518904425588492157160376577354688030957117103157455259597748815265235459388476496561336395018910831502999735891984458840686799836053347675403995251378422313211000743733884753333866270396259909903616579595595896276160897137864769], [1453, 5824, 8025473], [2909, 5824, 1140467329], [4365, 5824, 408842959513987714759239483963813424327140723856709128426836517705114349952784129786541211968012211040020802038608760758247719362352192200318329602256802863164956896315022660634126058661149175300596771223988904181613337552725720642144174046495946770351892122860018721258031369651120754274134513595695368237165260440336243129726191975329789235119182598556190183484137752487343486383518143458274188214979118169634096425963083596639046056032021343589344949045407001711054498091986034121649782119369394511773213479281145626170579651998757687837426510611581346076363932760291348544155989444209068183488086146019210133217130040561384981956313305709337211412909891231725455829671846913], [5821, 5824, 408842959513987714759239483963813424327140723856709128426836517705114349952784129786541211968012211040020802038608760758247719362352192200318329602256802863164956896315022660634126058661149175300596771223988904181613337552725720642144174046495946770351892122860018721258031369651120754274134513595695368237165260440336243129726191975329789235119182598556190183484137752487343486383518143458274188214979118169634096425963083596639046056032021343589344949045407001711054498091986034121649782119369394511773213479281145626170579651998757687837426510611581346076363932760291348544155989444209068183488086146019210133217130040561384981956313305709337211412909891231725455829671846913], [11, 143, 724153], [24, 143, 158822951431], [37, 143, 5782172113400990737], [193, 286, 6156182033], [63, 286, 10425285443], [219, 286, 15500487753323], [89, 429, 17286204937], [232, 429, 1065107717756542892882802586807], [375, 429, 167833515549285827885461382441449], [245, 572, 25741], [531, 572, 958673], [115, 572, 9467173], [401, 572, 3426853], [271, 572, 4170165570896115649], [557, 572, 661521349351105339668937661297], [141, 715, 249602191565465311], [284, 715, 598887853030285391], [427, 715, 40437156024702109576962112690515640573348784018939257192870865875822732631168387328482154414164150624064713711], [1285, 1430, 519091], [713, 1430, 176510711521], [12, 169, 4057], [25, 169, 6740339310641], [38, 169, 3340762283952395329506327023033], [51, 338, 4929910764223610387], [233, 338, 18526238646011086732742614043], [77, 507, 8342680841093063014359532631803433656669591074421858694040109486076573471951766107416262860801], [753, 2028, 2029], [1767, 2028, 40318669], [415, 2028, 5270773], [1429, 2028, 1659020904838638433], [259, 676, 180201997], [597, 676, 1259036730797], [103, 676, 615946323850313], [441, 676, 408946876729703992293841657], [285, 676, 215656329382891550920192462661], [623, 2704, 3060929], [1299, 2704, 1775181409], [1975, 2704, 7567946458979297], [2651, 2704, 117858399935610217915119575552742790127430723357902142558906154380762738051562934797742266001744041257026615426782666824920921907393978525382694643454955693091930613754796435933590978590574157364433661035995114039562397885178779139463469038232726855068550557371824376860346448983350213166329053227310439972837499372210418344894810070906250915073], [129, 845, 4493034001], [298, 845, 15492609397369710420704520029285400123510944584215668449100029795146478197052507117294360498734503977269580025068871608615371036431826934913712949948017404991634397610897461399281], [467, 845, 15492609397369710420704520029285400123510944584215668449100029795146478197052507117294360498734503977269580025068871608615371036431826934913712949948017404991634397610897461399281], [1481, 1690, 108161], [805, 1690, 103091], [311, 1014, 10030854869257], [649, 1014, 4966300248405749059], [987, 1014, 167510000247425697384594847173622455701743569339841261429683667], [155, 1183, 46655969015605951], [324, 1183, 438434203618227014716091409658372900303645924405645953053576271632554166361157775773493063229176551148974365628667853463421938506023544276862944747446218322809854375446521033449075275919683494444098705526905331574166361234935696606196472475477644347860394813927], [493, 1183, 438434203618227014716091409658372900303645924405645953053576271632554166361157775773493063229176551148974365628667853463421938506023544276862944747446218322809854375446521033449075275919683494444098705526905331574166361234935696606196472475477644347860394813927], [1845, 2366, 580936886365817863154627134438581870025809388802676531017660264209152233797410445071194602840679011357162429576578663389254105587012986638646900591090801804632204755985193505353114533439758322564683602372870833055429923612630782764467932740084395607764875183791361560518649821798401], [831, 2366, 580936886365817863154627134438581870025809388802676531017660264209152233797410445071194602840679011357162429576578663389254105587012986638646900591090801804632204755985193505353114533439758322564683602372870833055429923612630782764467932740084395607764875183791361560518649821798401], [2183, 4732, 94190461], [4549, 4732, 81058592161], [1169, 4732, 1591950268614161], [3535, 4732, 6749423878264140893], [337, 1352, 210913], [675, 1352, 47925697], [1013, 1352, 455986337], [1351, 1352, 178077806451169]];