F_3 = 2
F_4 = 3
F_5 = 5
F_7 = 13
F_11 = 89
F_13 = 233
F_17 = 1597
F_23 = 28657
F_29 = 514229
F_43 = 433494437
F_47 = 2971215073
F_83 = 99194853094755497
F_131 = 1066340417491710595814572169
F_137 = 19134702400093278081449423917
F_359 = 475420437734698220747368027166749382927701417016557193662268716376935476241
F_431 = 529892711006095621792039556787784670197112759029534506620905162834769955134424689676262369
F_433 = 1387277127804783827114186103186246392258450358171783690079918032136025225954602593712568353
F_449 = 3061719992484545030554313848083717208111285432353738497131674799321571238149015933442805665949
F_509 = 10597999265301490732599643671505003412515860435409421932560009680142974347195483140293254396195769876129909
F_569 = 36684474316080978061473613646275630451100586901195229815270242868417768061193560857904335017879540515228143777781065869
F_571 = 96041200618922553823942883360924865026104917411877067816822264789029014378308478864192589084185254331637646183008074629
F_2971 = 357103560641909860720907774139063454445569926582843306794041997476301071102767570483343563518510007800304195444080518562630900027386498933944619210192856768352683468831754423234217978525765921040747291316681576556861490773135214861782877716560879686368266117365351884926393775431925116896322341130075880287169244980698837941931247516010101631704349963583400361910809925847721300802741705519412306522941202429437928826033885416656967971559902743150263252229456298992263008126719589203430407385228230361628494860172129702271172926469500802342608722006420745586297267929052509059154340968348509580552307148642001438470316229
F_4723 = 500195636126957292905024512596972806695803345136243348970565288179435361313804956505581782637634612477979679893275103396147348650762007594937510804541145002304302867341006298493404319657382123201158007188252606550806694535329232256851056656372379649097735304781630173812454531781511107460619516018844320335033801984806819067802561370394036732654089838823551603083295670024453477589093119918386566397677610274213837391954591147603054442650326827980781140275941425217172428448698161710841740688042587204161256084914166762549007012713922172748259690566614580062682196606466498102571627683726718483229578044343646737694436406261444368327649097401550241341102704783841619376027737767077127010039900586625841991295111482539736725172169379740443890332234341104310470907449898415522414805210341138063350999730749950920147250683227798780264811215647706542511681027825390882770762662185410080310045261286851842669934849330548237271838345164232560544964315090365421726004108704302854387700053591957
F_5387 = 2930441286939258055400798002200365702070383356835498296052929375099603314612750189999474839964041401824000060018138590135001102587299815016150326470813100791358366141506590207652108187961822226141844888227246720852693565292520772736233258137883131633884772691595926733322344165957105221939274575774318941464860860848233258397675536343685662420797069118608961212878580658178971916344998597383060635840095569469168798433682688690011514459699339511226211249166351120903825586706980141114247391189112452169301152785673208885984700944382085177499062708435697669359679050984522704457968238198039501357594162223897683190805618618838233503289429282246135842585430668875653560981464799218782095773523505176978173330569112583486848660662068908749844158638271675670908226354975956636181462553977591227553535134946781776535903879669168739541718125413163115489438127173145671369147353184448182943977584875431449095152717023151009740993170461840098542328540055499213188472025194001595310097403036158566599062407003698164302276578800844789715519909977450325416955326392430087122738870988283653737701175138504893394815816782040327194725855833
F_0 = 0
F_1 = 1
F_2 = 1
F_3 = 2
F_4 = 3
F_5 = 5
F_6 = [2, 2, 2]
F_7 = 13
F_8 = [3, 7]
F_9 = [2, 17]
F_10 = [5, 11]
F_11 = 89
F_12 = [2, 2, 2, 2, 3, 3]
F_13 = 233
F_14 = [13, 29]
F_15 = [2, 5, 61]
F_16 = [3, 7, 47]
F_17 = 1597
F_18 = [2, 2, 2, 17, 19]
F_19 = [37, 113]
F_20 = [3, 5, 11, 41]
F_21 = [2, 13, 421]
F_22 = [89, 199]
F_23 = 28657
F_24 = [2, 2, 2, 2, 2, 3, 3, 7, 23]
F_25 = [5, 5, 3001]
F_26 = [233, 521]
F_27 = [2, 17, 53, 109]
F_28 = [3, 13, 29, 281]
F_29 = 514229
F_30 = [2, 2, 2, 5, 11, 31, 61]
F_31 = [557, 2417]
F_32 = [3, 7, 47, 2207]
F_33 = [2, 89, 19801]
F_34 = [1597, 3571]
F_35 = [5, 13, 141961]
F_36 = [2, 2, 2, 2, 3, 3, 3, 17, 19, 107]
F_37 = [73, 149, 2221]
F_38 = [37, 113, 9349]
F_39 = [2, 233, 135721]
F_40 = [3, 5, 7, 11, 41, 2161]
F_41 = [2789, 59369]
F_42 = [2, 2, 2, 13, 29, 211, 421]
F_43 = 433494437
F_44 = [3, 43, 89, 199, 307]
F_45 = [2, 5, 17, 61, 109441]
F_46 = [139, 461, 28657]
F_47 = 2971215073
F_48 = [2, 2, 2, 2, 2, 2, 3, 3, 7, 23, 47, 1103]
F_49 = [13, 97, 6168709]
F_50 = [5, 5, 11, 101, 151, 3001]
F_51 = [2, 1597, 6376021]
F_52 = [3, 233, 521, 90481]
F_53 = [953, 55945741]
F_54 = [2, 2, 2, 17, 19, 53, 109, 5779]
F_55 = [5, 89, 661, 474541]
F_56 = [3, 7, 7, 13, 29, 281, 14503]
F_57 = [2, 37, 113, 797, 54833]
F_58 = [59, 19489, 514229]
F_59 = [353, 2710260697]
F_60 = [2, 2, 2, 2, 3, 3, 5, 11, 31, 41, 61, 2521]
F_61 = [4513, 555003497]
F_62 = [557, 2417, 3010349]
F_63 = [2, 13, 17, 421, 35239681]
F_64 = [3, 7, 47, 1087, 2207, 4481]
F_65 = [5, 233, 14736206161]
F_66 = [2, 2, 2, 89, 199, 9901, 19801]
F_67 = [269, 116849, 1429913]
F_68 = [3, 67, 1597, 3571, 63443]
F_69 = [2, 137, 829, 18077, 28657]
F_70 = [5, 11, 13, 29, 71, 911, 141961]
F_71 = [6673, 46165371073]
F_72 = [2, 2, 2, 2, 2, 3, 3, 3, 7, 17, 19, 23, 107, 103681]
F_73 = [9375829, 86020717]
F_74 = [73, 149, 2221, 54018521]
F_75 = [2, 5, 5, 61, 3001, 230686501]
F_76 = [3, 37, 113, 9349, 29134601]
F_77 = [13, 89, 988681, 4832521]
F_78 = [2, 2, 2, 79, 233, 521, 859, 135721]
F_79 = [157, 92180471494753]
F_80 = [3, 5, 7, 11, 41, 47, 1601, 2161, 3041]
F_81 = [2, 17, 53, 109, 2269, 4373, 19441]
F_82 = [2789, 59369, 370248451]
F_83 = 99194853094755497
F_84 = [2, 2, 2, 2, 3, 3, 13, 29, 83, 211, 281, 421, 1427]
F_85 = [5, 1597, 9521, 3415914041]
F_86 = [6709, 144481, 433494437]
F_87 = [2, 173, 514229, 3821263937]
F_88 = [3, 7, 43, 89, 199, 263, 307, 881, 967]
F_89 = [1069, 1665088321800481]
F_90 = [2, 2, 2, 5, 11, 17, 19, 31, 61, 181, 541, 109441]
F_91 = [13, 13, 233, 741469, 159607993]
F_92 = [3, 139, 461, 4969, 28657, 275449]
F_93 = [2, 557, 2417, 4531100550901]
F_94 = [2971215073, 6643838879]
F_95 = [5, 37, 113, 761, 29641, 67735001]
F_96 = [2, 2, 2, 2, 2, 2, 2, 3, 3, 7, 23, 47, 769, 1103, 2207, 3167]
F_97 = [193, 389, 3084989, 361040209]
F_98 = [13, 29, 97, 6168709, 599786069]
F_99 = [2, 17, 89, 197, 19801, 18546805133]
F_100 = [3, 5, 5, 11, 41, 101, 151, 401, 3001, 570601]
F_101 = [743519377, 770857978613]
F_102 = [2, 2, 2, 919, 1597, 3469, 3571, 6376021]
F_103 = [519121, 5644193, 512119709]
F_104 = [3, 7, 103, 233, 521, 90481, 102193207]
F_105 = [2, 5, 13, 61, 421, 141961, 8288823481]
F_106 = [953, 55945741, 119218851371]
F_107 = [1247833, 8242065050061761]
F_108 = [2, 2, 2, 2, 3, 3, 3, 3, 17, 19, 53, 107, 109, 5779, 11128427]
F_109 = [827728777, 32529675488417]
F_110 = [5, 11, 11, 89, 199, 331, 661, 39161, 474541]
F_111 = [2, 73, 149, 2221, 1459000305513721]
F_112 = [3, 7, 7, 13, 29, 47, 281, 14503, 10745088481]
F_113 = [677, 272602401466814027129]
F_114 = [2, 2, 2, 37, 113, 229, 797, 9349, 54833, 95419]
F_115 = [5, 1381, 28657, 2441738887963981]
F_116 = [3, 59, 347, 19489, 514229, 1270083883]
F_117 = [2, 17, 233, 29717, 135721, 39589685693]
F_118 = [353, 709, 8969, 336419, 2710260697]
F_119 = [13, 1597, 159512939815855788121]
F_120 = [2, 2, 2, 2, 2, 3, 3, 5, 7, 11, 23, 31, 41, 61, 241, 2161, 2521, 20641]
F_121 = [89, 97415813466381445596089]
F_122 = [4513, 555003497, 5600748293801]
F_123 = [2, 2789, 59369, 68541957733949701]
F_124 = [3, 557, 2417, 3010349, 3020733700601]
F_125 = [5, 5, 5, 3001, 158414167964045700001]
F_126 = [2, 2, 2, 13, 17, 19, 29, 211, 421, 1009, 31249, 35239681]
F_127 = [27941, 5568053048227732210073]
F_128 = [3, 7, 47, 127, 1087, 2207, 4481, 186812208641]
F_129 = [2, 257, 5417, 8513, 39639893, 433494437]
F_130 = [5, 11, 131, 233, 521, 2081, 24571, 14736206161]
F_131 = 1066340417491710595814572169
F_132 = [2, 2, 2, 2, 3, 3, 43, 89, 199, 307, 9901, 19801, 261399601]
F_133 = [13, 37, 113, 3457, 42293, 351301301942501]
F_134 = [269, 4021, 116849, 1429913, 24994118449]
F_135 = [2, 5, 17, 53, 61, 109, 109441, 1114769954367361]
F_136 = [3, 7, 67, 1597, 3571, 63443, 23230657239121]
F_137 = 19134702400093278081449423917
F_138 = [2, 2, 2, 137, 139, 461, 691, 829, 18077, 28657, 1485571]
F_139 = [277, 2114537501, 85526722937689093]
F_140 = [3, 5, 11, 13, 29, 41, 71, 281, 911, 141961, 12317523121]
F_141 = [2, 108289, 1435097, 142017737, 2971215073]
F_142 = [6673, 46165371073, 688846502588399]
F_143 = [89, 233, 8581, 1929584153756850496621]
F_144 = [2, 2, 2, 2, 2, 2, 3, 3, 3, 7, 17, 19, 23, 47, 107, 1103, 103681, 10749957121]
F_145 = [5, 514229, 349619996930737079890201]
F_146 = [151549, 9375829, 86020717, 11899937029]
F_147 = [2, 13, 97, 293, 421, 3529, 6168709, 347502052673]
F_148 = [3, 73, 149, 2221, 11987, 54018521, 81143477963]
F_149 = [110557, 162709, 4000949, 85607646594577]
F_150 = [2, 2, 2, 5, 5, 11, 31, 61, 101, 151, 3001, 12301, 18451, 230686501]
F_151 = [5737, 2811666624525811646469915877]
F_152 = [3, 7, 37, 113, 9349, 29134601, 1091346396980401]
F_153 = [2, 17, 17, 1597, 6376021, 7175323114950564593]
F_154 = [13, 29, 89, 199, 229769, 988681, 4832521, 9321929]
F_155 = [5, 557, 2417, 21701, 12370533881, 61182778621]
F_156 = [2, 2, 2, 2, 3, 3, 79, 233, 521, 859, 90481, 135721, 12280217041]
F_157 = [313, 11617, 7636481, 10424204306491346737]
F_158 = [157, 92180471494753, 32361122672259149]
F_159 = [2, 317, 953, 55945741, 97639037, 229602768949]
F_160 = [3, 5, 7, 11, 41, 47, 1601, 2161, 2207, 3041, 23725145626561]
F_161 = [13, 8693, 28657, 612606107755058997065597]
F_162 = [2, 2, 2, 17, 19, 53, 109, 2269, 3079, 4373, 5779, 19441, 62650261]
F_163 = [977, 4892609, 33365519393, 32566223208133]
F_164 = [3, 163, 2789, 59369, 800483, 350207569, 370248451]
F_165 = [2, 5, 61, 89, 661, 19801, 86461, 474541, 518101, 900241]
F_166 = [35761381, 6202401259, 99194853094755497]
F_167 = [18104700793, 1966344318693345608565721]
F_168 = [2, 2, 2, 2, 2, 3, 3, 7, 7, 13, 23, 29, 83, 167, 211, 281, 421, 1427, 14503, 65740583]
F_169 = [233, 337, 89909, 104600155609, 126213229732669]
F_170 = [5, 11, 1597, 3571, 9521, 1158551, 12760031, 3415914041]
F_171 = [2, 17, 37, 113, 797, 6841, 54833, 5741461760879844361]
F_172 = [3, 6709, 144481, 433494437, 313195711516578281]
F_173 = [1639343785721, 389678749007629271532733]
F_174 = [2, 2, 2, 59, 173, 349, 19489, 514229, 947104099, 3821263937]
F_175 = [5, 5, 13, 701, 3001, 141961, 17231203730201189308301]
F_176 = [3, 7, 43, 47, 89, 199, 263, 307, 881, 967, 93058241, 562418561]
F_177 = [2, 353, 2191261, 805134061, 1297027681, 2710260697]
F_178 = [179, 1069, 1665088321800481, 22235502640988369]
F_179 = [21481, 156089, 3418816640903898929534613769]
F_180 = [2, 2, 2, 2, 3, 3, 3, 5, 11, 17, 19, 31, 41, 61, 107, 181, 541, 2521, 109441, 10783342081]
F_181 = [8689, 422453, 8175789237238547574551461093]
F_182 = [13, 13, 29, 233, 521, 741469, 159607993, 689667151970161]
F_183 = [2, 1097, 4513, 555003497, 14297347971975757800833]
F_184 = [3, 7, 139, 461, 4969, 28657, 253367, 275449, 9506372193863]
F_185 = [5, 73, 149, 2221, 1702945513191305556907097618161]
F_186 = [2, 2, 2, 557, 2417, 63799, 3010349, 35510749, 4531100550901]
F_187 = [89, 373, 1597, 10157807305963434099105034917037]
F_188 = [3, 563, 5641, 2971215073, 6643838879, 4632894751907]
F_189 = [2, 13, 17, 53, 109, 421, 38933, 35239681, 955921950316735037]
F_190 = [5, 11, 37, 113, 191, 761, 9349, 29641, 41611, 67735001, 87382901]