uvtable :=

[
    [ 1, 3, 1, 1 ],
    [ 3, 5, 1, 1 ],
    [ 5, 8, 3, 1 ],
    [ 7, 13, 23, 37 ],
    [ 9, 15, 59, 49 ],
    [ 11, 19, 385, 223 ],
    [ 13, 21, 125, 349 ],
    [ 15, 24, 825, 661 ],
    [ 17, 29, 1307, 10075 ],
    [ 19, 34, 48991, 58347 ],
    [ 21, 41, 1440605, 168241 ],
    [ 23, 40, 721143, 348325 ],
    [ 25, 41, 956405, 330539 ],
    [ 27, 44, 3038895, 427699 ],
    [ 29, 46, 1021891, 416565 ],
    [ 31, 51, 16963049, 18346535 ],
    [ 33, 53, 37852565, 22446169 ],
    [ 35, 58, 111188129, 237611043 ],
    [ 37, 61, 1046252867, 436151935 ],
    [ 39, 63, 2170653479, 338777345 ],
    [ 41, 70, 5096872085, 16719304107 ],
    [ 43, 71, 3450988735, 22477861057 ],
    [ 45, 72, 36322560147, 10591569769 ],
    [ 47, 75, 86165183959, 30682562545 ],
    [ 49, 81, 1191966366037, 435249495185 ],
    [ 51, 82, 894987407119, 685749016857 ],
    [ 53, 86, 5245386911165, 2760159548823 ],
    [ 55, 91, 32934192159529, 17441114172845 ],
    [ 57, 102, 2190114350879525, 260974849403823 ],
    [ 59, 113, 28891668768966497, 48861669697289023 ],
    [ 61, 97, 50681358988013, 84726397973135 ],
    [ 63, 101, 78659490242153, 588335068566473 ],
    [ 65, 105, 1596013502467285, 2632323529050329 ],
    [ 67, 114, 70412980307308399, 62686701490894407 ],
    [ 69, 110, 12892817990595629, 8623576557380355 ],
    [ 71, 115, 114484881824008489, 72322403491313995 ],
    [ 73, 116, 103635209321564853, 34464817171338499 ],
    [ 75, 122, 464465051177946401, 1059825152048744007 ],
    [ 77, 124, 244343193203932323, 1983276534366384091 ],
    [ 79, 128, 6343381291216761945, 7917926984230115629 ],
    [ 81, 130, 28566473980265585195, 5041317877686482943 ],
    [ 83, 137, 181720453697144894479, 185210292760308661399 ],
    [ 85, 142, 440609178211339916669, 1155977109003558234825 ],
    [ 87, 138, 135632717076042607049, 41215894556701764267 ],
    [ 89, 161, 1222956779072715620275163, 597364436893573685253665 ],
    [ 91, 146, 1372152330932529621391, 3909484878809987832603 ],
    [ 93, 149, 21378440155985573227517, 2287527404838860311835 ],
    [ 95, 158, 350624537116384590475369, 245110662843133703255463 ],
    [ 97, 154, 40647358321638009263339, 22889402686395599236455 ],
    [ 99, 157, 103259710456658502419009, 7626105691954967759659 ],
    [ 101, 163, 1455730063152724038426397, 1416574258526936122877257 ],
    [ 103, 166, 6472464613771489156182361, 3071160755841729319913727 ],
    [ 105, 173, 48156682801112493746804443, 48806553292231961540901385 ],
    [ 107, 171, 15045109205299947458742431, 20246415759421339975812665 ],
    [ 109, 173, 40086080134979817159324797, 7442308980728933711310925 ],
    [ 111, 176, 28743643831152551428816905, 30237363386678939503444921 ],
    [ 113, 181, 1393839104879662393660244885, 274100983423088393617256351 ],
    [ 115, 186, 8896248528986977827604563329, 1698629786845835747572254477 ],
    [ 117, 198, 626835937715839625262818909741, 46756449596867722030056278805 ],
    [ 119, 201, 834061720109383975041487202951, 793350195710074077993481130689 ],
    [ 121, 194, 121426266556241448578060029909, 35259884543259741522564297645 ],
    [ 123, 196, 166845741627362883159627652065, 77583581009954222648132290111 ],
    [ 125, 199, 571125018018313343591937315133, 100761764876203925419739234917 ],
    [ 127, 204, 2576375767745793714986473660425, 1945715490867257765804502708449 ],
    [ 129, 205, 2952735297854353799630528576395, 1353958819894174241984626701841 ],
    [ 131, 215, 197545494326630861738405078137825, 57692262310310525777165490877507 ],
    [ 133, 220, 1289262252923088954234660529683597, 70594785629332282040862555600869 ],
    [ 135, 216, 246599812686791521573601328629577, 68402650496677101758628224525965 ],
    [ 137, 220, 491073477706829402358064079515557, 550403784313436243605443020108921 ],
    [ 139, 227, 13947464794839242415031743999011825, 2182842373290636339539010270272797 ],
    [ 141, 227, 11210408395463674365571416690467491, 4219269916039645039197877131072581 ],
    [ 143, 230, 18766548510858109336269699668811769, 17349906207732399623195773404253797 ],
    [ 145, 234, 21163932112914320351694650766663371, 80056990648089193490869352887919415 ],
    [ 147, 235, 30523709291265186212877840772712015, 100721145647157454807990914051304217 ],
    [ 149, 237, 188903207236680802204610538062762285, 124340225169979360970931762395241179 ],
    [ 151, 241, 1064613718783959431437571858035020359, 567962653752070279035499919615098559 ],
    [ 153, 246, 8634384301732447160246368738270232645, 2670951645943092026464943487647622777 ],
    [ 155, 246, 3170652727305442454640890581696763761, 1810937020240578537610222609406499003 ],
    [ 157, 265, 4020299292113727584761335277856159377475, 3283364666257731609856239362369744140181 ],
    [ 159, 258, 66108437664204525806786184799441078951, 335974533286347598561225627287294077163 ],
    [ 161, 260, 1335795878778890348287306117055330366283, 26364976179932208434095842120430657361 ],
    [ 163, 260, 941941024888040758249411735616150541855, 306406340503614483695656712833569423859 ],
    [ 165, 271, 45403924326750553804216238826423009797347, 20781301123222809604782614270666346368407 ],
    [ 167, 268, 14698786480566420842291242108264271021463, 7253442290547392057745893373384581067115 ],
    [ 169, 279, 962981036477721177168087165895489744962469, 104369471276049320600285425376864198248969 ],
    [ 171, 272, 51559390602507848672541919606277314763055, 16278585368855546886938054876033893347659 ],
    [ 173, 275, 68800906901399611280752468576822802281661, 72703070741555003483807766364271033071709 ],
    [ 175, 279, 155509200245001088454141422472334051336185, 398015171116846292561771477180985259249333 ],
    [ 177, 284, 3502270312087824033080528027982022180913787, 1999713834259911440650698777351999475627411 ],
    [ 179, 284, 953147175900762850002632170954304811030543, 1093362175592097044156999416990608493928345 ],
    [ 181, 287, 948196794328116518443188457994565505680301, 2192629523341781259822209167253453081535659 ],
    [ 183, 295, 110351711607278014205488711138395588314519929, 111156517587317434358862730962113928083076065 ],
    [ 185, 294, 108640186370365588968519288494961396068002229, 19460867532647681757917130128341553283257355 ],
    [ 187, 305, 6986854561740493118793284241874088541642664639, 2012611159390538283898452182822930997938452759 ],
    [ 189, 314, 14355011411522704500881803497540798664862671405, 91059364818915915525252764228897266082997809313 ],
    [ 191, 312, 89281984020507698736935200600291811745000722055, 9472751708896178153267679256289899285130055709 ],
    [ 193, 310, 2201441366547249280252919810130031245805902475, 22133838334141451434794499995654973063861851663 ],
    [ 195, 311, 47120726179816159974739221695811927540209468929, 14649446757497762798903747600274101603958086635 ],
    [ 197, 321, 2041868972249079925931601652508238160696011349085, 152403753943886925774888434390188711016888324329 ],
    [ 199, 323, 4084087309751054942635828068413903062572115652521, 282661076824221149249716126685415511648751788075 ],
    [ 201, 337, 469027639725904725662203145699663095298951117013163, 122454449800125493373315157656128785085012907213365 ],
    [ 203, 333, 58306584581505435575270544202394717732369685816847, 59353130530335548987441606748227299174850038051267 ],
    [ 205, 326, 8461975385335211102501293139932739660610063315811, 372136930471057220009135104269753467201227105515 ],
    [ 207, 329, 17109965355729072634053235569737005657412037023801, 7415804984047900895099521297803491897985884057909 ],
    [ 209, 336, 338508439585400762476494905080788999516925316046987, 71007046432952698440311422929325986481851511566311 ],
    [ 211, 337, 479551890567094355355633250786065788805458424781169, 27135565860860992904742773910364565239188585864521 ],
    [ 213, 345, 3027123739672472290120792668493018552962973630937155, 3939697930134191444848561569777855318731399611623239 ],
    [ 215, 343, 3725675086000635662248770427177748214509736155568505, 237714464588099969476803392745335436140702284180337 ],
    [ 217, 344, 671339668995449793878135961271332008274669385373973, 520525000640529464008402481498951294642334542604109 ],
    [ 219, 348, 4716683201639743233103934487580879813439727625180335, 7784835406196643680909654680655323002345184257781421 ],
    [ 221, 361, 619292899875594502460526319390862407579892910134713075, 1038121266227125796019309557927545340275022353819350841 ],
    [ 223, 368, 17304742317011861510839306512138034050055067709140501127, 8685444559529848308731502054942255687130975746690812435 ],
    [ 225, 358, 557307356100144816366509076411054492963471250077498101, 113459738725765935533319529458088433015606278936624095 ],
    [ 227, 360, 482281387455498677223543258915925727763417320356900335, 150401031029209333206912754676206274165276998351837271 ],
    [ 229, 366, 10285426977742533088616763662572526259868679357687803325, 2563568259921525261331366312875178507900471934923113183 ],
    [ 231, 372, 59444399801298482773383410097965509640549890645535007543, 38477042040337240938859340580233872542489790413670865635 ],
    [ 233, 370, 29081533084346872777805946256092421816362024443880111515, 4544441295116780113103824480646073302288147406047324487 ],
    [ 235, 383, 2820218901779648501547551432212738253654681846157049028785, 1712752124942388181908296892310624395666760274039553940963 ],
    [ 237, 384, 5016709389489849249430681050365491718445406943961172353213, 1878498828415162095700645548569999903048067008153094878461 ],
    [ 239, 380, 679707664933593347121549332185624094242006572416905994505, 480678566760659095403467426158904358036842167708634826311 ]
];

