RF:=recformat; list:= [ rec | <0, 1>, <16, 115600>, <24, 16225024>, <32, 271405100>, <40, 1088261568>, <48, 1602299472>, <56, 999561472>, <64, 275195814>, <72, 37723264>, <80, 3836912>, <88, 321024>, <96, 20908>, <104, 960>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 50240>, <20, 1048576>, <24, 8338608>, <28, 36700160>, <32, 152265084>, <36, 286261248>, <40, 563102864>, <44, 749731840>, <48, 759300912>, <52, 749731840>, <56, 474477024>, <60, 286261248>, <64, 155920966>, <68, 36700160>, <72, 29954080>, <76, 1048576>, <80, 3725152>, <88, 325744>, <96, 21692>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115776>, <24, 16202928>, <32, 271540604>, <40, 1087915152>, <48, 1602749232>, <56, 999289312>, <64, 275196486>, <72, 37818400>, <80, 3790688>, <88, 325744>, <96, 21692>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114864>, <24, 16217120>, <32, 271472396>, <40, 1088071584>, <48, 1602563472>, <56, 999380032>, <64, 275232102>, <72, 37745728>, <80, 3829136>, <88, 317344>, <96, 22284>, <104, 1056>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115568>, <24, 16201952>, <32, 271552588>, <40, 1087875296>, <48, 1602818320>, <56, 999216064>, <64, 275249126>, <72, 37789376>, <80, 3803984>, <88, 321376>, <96, 22348>, <104, 1120>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 60432>, <20, 999296>, <24, 7903488>, <28, 41157888>, <32, 136599468>, <36, 313494912>, <40, 542784960>, <44, 739048448>, <48, 801772368>, <52, 701835008>, <56, 500016384>, <60, 289439232>, <64, 137445030>, <68, 54824704>, <72, 18783360>, <76, 6093824>, <80, 1928816>, <84, 555392>, <88, 173056>, <92, 34048>, <96, 15148>, <100, 896>, <104, 960>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49136>, <20, 1048576>, <24, 8354720>, <28, 36700160>, <32, 152188236>, <36, 286261248>, <40, 563282336>, <44, 749731840>, <48, 759074832>, <52, 749731840>, <56, 474616128>, <60, 286261248>, <64, 155916262>, <68, 36700160>, <72, 29904448>, <76, 1048576>, <80, 3754960>, <88, 319264>, <96, 22092>, <104, 1056>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115424>, <24, 16210512>, <32, 271500508>, <40, 1088013296>, <48, 1602621808>, <56, 999371296>, <64, 275187974>, <72, 37796576>, <80, 3803264>, <88, 323728>, <96, 21660>, <104, 1072>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49168>, <20, 1048576>, <24, 8368640>, <28, 36700160>, <32, 152098476>, <36, 286261248>, <40, 563519936>, <44, 749731840>, <48, 758749008>, <52, 749731840>, <56, 474845952>, <60, 286261248>, <64, 155861158>, <68, 36700160>, <72, 29880448>, <76, 1048576>, <80, 3767920>, <88, 320768>, <96, 21036>, <104, 960>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49568>, <20, 1048576>, <24, 8349392>, <28, 36700160>, <32, 152210588>, <36, 286261248>, <40, 563239408>, <44, 749731840>, <48, 759106288>, <52, 749731840>, <56, 474639648>, <60, 286261248>, <64, 155845254>, <68, 36700160>, <72, 29970656>, <76, 1048576>, <80, 3723328>, <88, 326928>, <96, 21340>, <104, 1072>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49328>, <20, 1048576>, <24, 8362976>, <28, 36700160>, <32, 152129932>, <36, 286261248>, <40, 563444832>, <44, 749731840>, <48, 758836112>, <52, 749731840>, <56, 474812352>, <60, 286261248>, <64, 155829350>, <68, 36700160>, <72, 29925312>, <76, 1048576>, <80, 3746704>, <88, 324704>, <96, 20876>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 50192>, <20, 1048576>, <24, 8331968>, <28, 36700160>, <32, 152308524>, <36, 286261248>, <40, 562987904>, <44, 749731840>, <48, 759457104>, <52, 749731840>, <56, 474370176>, <60, 286261248>, <64, 155941798>, <68, 36700160>, <72, 29969920>, <76, 1048576>, <80, 3717232>, <88, 325312>, <96, 22188>, <104, 1152>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49568>, <20, 1048576>, <24, 8358544>, <28, 36700160>, <32, 152152860>, <36, 286261248>, <40, 563388080>, <44, 749731840>, <48, 758913264>, <52, 749731840>, <56, 474755232>, <60, 286261248>, <64, 155847046>, <68, 36700160>, <72, 29928544>, <76, 1048576>, <80, 3743296>, <88, 325072>, <96, 20956>, <104, 1008>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115520>, <24, 16195312>, <32, 271596028>, <40, 1087760336>, <48, 1602974512>, <56, 999109216>, <64, 275269958>, <72, 37805216>, <80, 3796064>, <88, 320944>, <96, 22844>, <104, 1168>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 48816>, <20, 1048576>, <24, 8367072>, <28, 36700160>, <32, 152116108>, <36, 286261248>, <40, 563469408>, <44, 749731840>, <48, 758814608>, <52, 749731840>, <56, 474812352>, <60, 286261248>, <64, 155850854>, <68, 36700160>, <72, 29900736>, <76, 1048576>, <80, 3760528>, <88, 320608>, <96, 21388>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115280>, <24, 16190592>, <32, 271630828>, <40, 1087668416>, <48, 1603090384>, <56, 999050752>, <64, 275250470>, <72, 37844096>, <80, 3779504>, <88, 322432>, <96, 23148>, <104, 1216>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 48848>, <20, 1048576>, <24, 8380992>, <28, 36700160>, <32, 152026348>, <36, 286261248>, <40, 563707008>, <44, 749731840>, <48, 758488784>, <52, 749731840>, <56, 475042176>, <60, 286261248>, <64, 155795750>, <68, 36700160>, <72, 29876736>, <76, 1048576>, <80, 3773488>, <88, 322112>, <96, 20332>, <104, 896>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49312>, <20, 1048576>, <24, 8360080>, <28, 36700160>, <32, 152150556>, <36, 286261248>, <40, 563381936>, <44, 749731840>, <48, 758945520>, <52, 749731840>, <56, 474690720>, <60, 286261248>, <64, 155922310>, <68, 36700160>, <72, 29873248>, <76, 1048576>, <80, 3768640>, <88, 318416>, <96, 21724>, <104, 1008>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49920>, <20, 1048576>, <24, 8340784>, <28, 36700160>, <32, 152259900>, <36, 286261248>, <40, 563104400>, <44, 749731840>, <48, 759319728>, <52, 749731840>, <56, 474428640>, <60, 286261248>, <64, 155982790>, <68, 36700160>, <72, 29906464>, <76, 1048576>, <80, 3747616>, <88, 319728>, <96, 22396>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 116000>, <24, 16167120>, <32, 271766556>, <40, 1087312624>, <48, 1603600880>, <56, 998634784>, <64, 275430790>, <72, 37809888>, <80, 3786176>, <88, 316176>, <96, 24796>, <104, 1328>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115280>, <24, 16199744>, <32, 271573100>, <40, 1087817088>, <48, 1602897360>, <56, 999166336>, <64, 275252262>, <72, 37801984>, <80, 3799472>, <88, 320576>, <96, 22764>, <104, 1152>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49744>, <20, 1048576>, <24, 8335424>, <28, 36700160>, <32, 152297580>, <36, 286261248>, <40, 563004800>, <44, 749731840>, <48, 759449040>, <52, 749731840>, <56, 474354048>, <60, 286261248>, <64, 155976742>, <68, 36700160>, <72, 29937664>, <76, 1048576>, <80, 3733936>, <88, 320576>, <96, 22764>, <104, 1152>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 61920>, <20, 991616>, <24, 7895440>, <28, 41104384>, <32, 136874076>, <36, 313533568>, <40, 541909808>, <44, 739446784>, <48, 802702704>, <52, 701155072>, <56, 499777696>, <60, 289699840>, <64, 137316870>, <68, 54903040>, <72, 18826080>, <76, 6082560>, <80, 1913216>, <84, 536448>, <88, 187088>, <92, 29696>, <96, 17436>, <100, 640>, <104, 1136>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115328>, <24, 16215536>, <32, 271471932>, <40, 1088080720>, <48, 1602548144>, <56, 999388768>, <64, 275233222>, <72, 37744032>, <80, 3827360>, <88, 319152>, <96, 21884>, <104, 1040>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49504>, <20, 1048576>, <24, 8359184>, <28, 36700160>, <32, 152149980>, <36, 286261248>, <40, 563395760>, <44, 749731840>, <48, 758899824>, <52, 749731840>, <56, 474771360>, <60, 286261248>, <64, 155833606>, <68, 36700160>, <72, 29936224>, <76, 1048576>, <80, 3740416>, <88, 325712>, <96, 20892>, <104, 1008>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49872>, <20, 1048576>, <24, 8334144>, <28, 36700160>, <32, 152303340>, <36, 286261248>, <40, 562989440>, <44, 749731840>, <48, 759475920>, <52, 749731840>, <56, 474321792>, <60, 286261248>, <64, 156003622>, <68, 36700160>, <72, 29922304>, <76, 1048576>, <80, 3739696>, <88, 319296>, <96, 22892>, <104, 1152>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115520>, <24, 16214640>, <32, 271471356>, <40, 1088094544>, <48, 1602502448>, <56, 999469408>, <64, 275144518>, <72, 37807008>, <80, 3799136>, <88, 326448>, <96, 21052>, <104, 1040>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49536>, <20, 1048576>, <24, 8344624>, <28, 36700160>, <32, 152242620>, <36, 286261248>, <40, 563150480>, <44, 749731840>, <48, 759239088>, <52, 749731840>, <56, 474525408>, <60, 286261248>, <64, 155902150>, <68, 36700160>, <72, 29952544>, <76, 1048576>, <80, 3730336>, <88, 323568>, <96, 22012>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49216>, <20, 1048576>, <24, 8356976>, <28, 36700160>, <32, 152170492>, <36, 286261248>, <40, 563337552>, <44, 749731840>, <48, 758978864>, <52, 749731840>, <56, 474721632>, <60, 286261248>, <64, 155836742>, <68, 36700160>, <72, 29948832>, <76, 1048576>, <80, 3735904>, <88, 324912>, <96, 21308>, <104, 1040>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114848>, <24, 16234576>, <32, 271359132>, <40, 1088379760>, <48, 1602114800>, <56, 999747616>, <64, 275070598>, <72, 37781472>, <80, 3817280>, <88, 325776>, <96, 20316>, <104, 944>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115168>, <24, 16193744>, <32, 271613660>, <40, 1087709808>, <48, 1603040112>, <56, 999075616>, <64, 275259654>, <72, 37825504>, <80, 3788672>, <88, 320784>, <96, 23196>, <104, 1200>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49632>, <20, 1048576>, <24, 8329424>, <28, 36700160>, <32, 152338140>, <36, 286261248>, <40, 562897520>, <44, 749731840>, <48, 759591792>, <52, 749731840>, <56, 474263328>, <60, 286261248>, <64, 155984134>, <68, 36700160>, <72, 29961184>, <76, 1048576>, <80, 3723136>, <88, 320784>, <96, 23196>, <104, 1200>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49008>, <20, 1048576>, <24, 8356000>, <28, 36700160>, <32, 152182476>, <36, 286261248>, <40, 563297696>, <44, 749731840>, <48, 759047952>, <52, 749731840>, <56, 474648384>, <60, 286261248>, <64, 155889382>, <68, 36700160>, <72, 29919808>, <76, 1048576>, <80, 3749200>, <88, 320544>, <96, 21964>, <104, 1056>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114480>, <24, 16230112>, <32, 271397388>, <40, 1088266336>, <48, 1602289808>, <56, 999592384>, <64, 275153254>, <72, 37749696>, <80, 3831824>, <88, 319328>, <96, 21516>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115632>, <24, 16201312>, <32, 271555468>, <40, 1087867616>, <48, 1602831760>, <56, 999199936>, <64, 275262566>, <72, 37781696>, <80, 3806864>, <88, 320736>, <96, 22412>, <104, 1120>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115696>, <24, 16191520>, <32, 271616076>, <40, 1087711264>, <48, 1603038224>, <56, 999068224>, <64, 275274214>, <72, 37816128>, <80, 3789776>, <88, 321952>, <96, 22860>, <104, 1184>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114528>, <24, 16236752>, <32, 271353948>, <40, 1088381296>, <48, 1602133616>, <56, 999699232>, <64, 275132422>, <72, 37733856>, <80, 3839744>, <88, 319760>, <96, 21020>, <104, 944>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49072>, <20, 1048576>, <24, 8374688>, <28, 36700160>, <32, 152060684>, <36, 286261248>, <40, 563624224>, <44, 749731840>, <48, 758589328>, <52, 749731840>, <56, 474992448>, <60, 286261248>, <64, 155777382>, <68, 36700160>, <72, 29913920>, <76, 1048576>, <80, 3755152>, <88, 325408>, <96, 20236>, <104, 928>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114736>, <24, 16228576>, <32, 271399692>, <40, 1088272480>, <48, 1602257552>, <56, 999656896>, <64, 275077990>, <72, 37804992>, <80, 3806480>, <88, 325984>, <96, 20748>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49824>, <20, 1048576>, <24, 8337680>, <28, 36700160>, <32, 152279836>, <36, 286261248>, <40, 563060016>, <44, 749731840>, <48, 759353072>, <52, 749731840>, <56, 474459552>, <60, 286261248>, <64, 155897222>, <68, 36700160>, <72, 29982048>, <76, 1048576>, <80, 3714880>, <88, 326224>, <96, 21980>, <104, 1136>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115232>, <24, 16221584>, <32, 271434140>, <40, 1088185008>, <48, 1602388464>, <56, 999535264>, <64, 275149446>, <72, 37777504>, <80, 3814592>, <88, 323792>, <96, 21084>, <104, 1008>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 58352>, <20, 1020736>, <24, 7878432>, <28, 40520576>, <32, 139309900>, <36, 309526592>, <40, 543900704>, <44, 742517248>, <48, 796583952>, <52, 705856128>, <56, 498418752>, <60, 288789760>, <64, 138843110>, <68, 53505664>, <72, 19952448>, <76, 5335552>, <80, 2285520>, <84, 391744>, <88, 231584>, <92, 19328>, <96, 19532>, <100, 320>, <104, 1184>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115056>, <24, 16225376>, <32, 271414092>, <40, 1088234080>, <48, 1602324752>, <56, 999576256>, <64, 275145190>, <72, 37766592>, <80, 3820880>, <88, 322784>, <96, 21068>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114464>, <24, 16228240>, <32, 271408796>, <40, 1088240304>, <48, 1602313200>, <56, 999599776>, <64, 275117190>, <72, 37783648>, <80, 3816896>, <88, 322256>, <96, 21340>, <104, 1008>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 116304>, <24, 16152896>, <32, 271850092>, <40, 1087099520>, <48, 1603884496>, <56, 998445952>, <64, 275460134>, <72, 37847552>, <80, 3765680>, <88, 317760>, <96, 25324>, <104, 1408>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 58112>, <20, 1019904>, <24, 8016368>, <28, 39276544>, <32, 143569340>, <36, 302678016>, <40, 547920976>, <44, 746455040>, <48, 786342576>, <52, 716120064>, <56, 493140576>, <60, 288235520>, <64, 142624454>, <68, 49545216>, <72, 22635424>, <76, 3964928>, <80, 2860320>, <84, 184320>, <88, 290480>, <92, 4096>, <96, 23548>, <104, 1296>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114800>, <24, 16227936>, <32, 271402572>, <40, 1088264800>, <48, 1602270992>, <56, 999640768>, <64, 275091430>, <72, 37797312>, <80, 3809360>, <88, 325344>, <96, 20812>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49792>, <20, 1048576>, <24, 8332912>, <28, 36700160>, <32, 152311868>, <36, 286261248>, <40, 562971088>, <44, 749731840>, <48, 759485872>, <52, 749731840>, <56, 474345312>, <60, 286261248>, <64, 155954118>, <68, 36700160>, <72, 29963936>, <76, 1048576>, <80, 3721888>, <88, 322864>, <96, 22652>, <104, 1168>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115328>, <24, 16197232>, <32, 271587388>, <40, 1087783376>, <48, 1602934192>, <56, 999157600>, <64, 275229638>, <72, 37828256>, <80, 3787424>, <88, 322864>, <96, 22652>, <104, 1168>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114912>, <24, 16214608>, <32, 271486684>, <40, 1088037872>, <48, 1602600304>, <56, 999371296>, <64, 275209478>, <72, 37772000>, <80, 3817088>, <88, 319632>, <96, 22172>, <104, 1072>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115120>, <24, 16215584>, <32, 271474700>, <40, 1088077728>, <48, 1602531216>, <56, 999444544>, <64, 275156838>, <72, 37801024>, <80, 3803792>, <88, 324000>, <96, 21516>, <104, 1056>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49904>, <20, 1048576>, <24, 8338912>, <28, 36700160>, <32, 152271308>, <36, 286261248>, <40, 563078368>, <44, 749731840>, <48, 759343120>, <52, 749731840>, <56, 474436032>, <60, 286261248>, <64, 155946726>, <68, 36700160>, <72, 29940416>, <76, 1048576>, <80, 3732688>, <88, 322656>, <96, 22220>, <104, 1120>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 60784>, <20, 999296>, <24, 7895904>, <28, 41157888>, <32, 136639564>, <36, 313494912>, <40, 542686816>, <44, 739048448>, <48, 801899792>, <52, 701835008>, <56, 499934400>, <60, 289439232>, <64, 137453542>, <68, 54824704>, <72, 18805184>, <76, 6093824>, <80, 1916240>, <84, 555392>, <88, 175072>, <92, 34048>, <96, 15180>, <100, 896>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 58560>, <20, 1011456>, <24, 8074160>, <28, 39260416>, <32, 143302652>, <36, 302830592>, <40, 548397200>, <44, 746220544>, <48, 785921072>, <52, 716159488>, <56, 493339616>, <60, 288409088>, <64, 142576454>, <68, 49419264>, <72, 22625312>, <76, 3976192>, <80, 2876896>, <84, 192256>, <88, 288624>, <92, 4352>, <96, 21820>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114576>, <24, 16234240>, <32, 271368236>, <40, 1088347584>, <48, 1602170448>, <56, 999690496>, <64, 275109798>, <72, 37760128>, <80, 3827696>, <88, 322048>, <96, 20908>, <104, 960>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115648>, <24, 16204208>, <32, 271534844>, <40, 1087930512>, <48, 1602722352>, <56, 999321568>, <64, 275169606>, <72, 37833760>, <80, 3784928>, <88, 327024>, <96, 21564>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 60944>, <20, 990144>, <24, 7953536>, <28, 41160832>, <32, 136308908>, <36, 313710784>, <40, 543295296>, <44, 738469376>, <48, 801549136>, <52, 702288768>, <56, 499819520>, <60, 289510144>, <64, 137579686>, <68, 54633344>, <72, 18822016>, <76, 6104576>, <80, 1916016>, <84, 577728>, <88, 164224>, <92, 36992>, <96, 13356>, <100, 960>, <104, 832>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 59760>, <20, 998272>, <24, 7916320>, <28, 41175296>, <32, 136471244>, <36, 313564544>, <40, 543052576>, <44, 738716672>, <48, 801700624>, <52, 702172928>, <56, 499773504>, <60, 289461760>, <64, 137606886>, <68, 54664960>, <72, 18816320>, <76, 6122496>, <80, 1902416>, <84, 570752>, <88, 168096>, <92, 35072>, <96, 14796>, <100, 896>, <104, 928>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 116016>, <24, 16179168>, <32, 271688204>, <40, 1087524192>, <48, 1603298448>, <56, 998872000>, <64, 275339622>, <72, 37819840>, <80, 3784208>, <88, 320608>, <96, 23564>, <104, 1248>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 50208>, <20, 1048576>, <24, 8314512>, <28, 36700160>, <32, 152421788>, <36, 286261248>, <40, 562679728>, <44, 749731840>, <48, 759905776>, <52, 749731840>, <56, 474002592>, <60, 286261248>, <64, 156103302>, <68, 36700160>, <72, 29934176>, <76, 1048576>, <80, 3729088>, <88, 316880>, <96, 24156>, <104, 1264>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114944>, <24, 16228528>, <32, 271396924>, <40, 1088275472>, <48, 1602274480>, <56, 999601120>, <64, 275154374>, <72, 37748000>, <80, 3830048>, <88, 321136>, <96, 21116>, <104, 976>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 50000>, <20, 1048576>, <24, 8323712>, <28, 36700160>, <32, 152366828>, <36, 286261248>, <40, 562825408>, <44, 749731840>, <48, 759695824>, <52, 749731840>, <56, 474173952>, <60, 286261248>, <64, 156028710>, <68, 36700160>, <72, 29949056>, <76, 1048576>, <80, 3725488>, <88, 319872>, <96, 23404>, <104, 1216>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115536>, <24, 16188032>, <32, 271642348>, <40, 1087637696>, <48, 1603144144>, <56, 998986240>, <64, 275304230>, <72, 37813376>, <80, 3791024>, <88, 319872>, <96, 23404>, <104, 1216>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115264>, <24, 16216176>, <32, 271469052>, <40, 1088088400>, <48, 1602534704>, <56, 999404896>, <64, 275219782>, <72, 37751712>, <80, 3824480>, <88, 319792>, <96, 21820>, <104, 1040>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 50176>, <20, 1048576>, <24, 8310768>, <28, 36700160>, <32, 152444604>, <36, 286261248>, <40, 562627664>, <44, 749731840>, <48, 759952560>, <52, 749731840>, <56, 474017376>, <60, 286261248>, <64, 156031174>, <68, 36700160>, <72, 30002080>, <76, 1048576>, <80, 3699232>, <88, 322736>, <96, 23804>, <104, 1296>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115664>, <24, 16196928>, <32, 271581164>, <40, 1087807872>, <48, 1602891984>, <56, 999198592>, <64, 275203878>, <72, 37841920>, <80, 3779888>, <88, 325952>, <96, 22124>, <104, 1152>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 50016>, <20, 1048576>, <24, 8326608>, <28, 36700160>, <32, 152346204>, <36, 286261248>, <40, 562888304>, <44, 749731840>, <48, 759586416>, <52, 749731840>, <56, 474295584>, <60, 286261248>, <64, 155935750>, <68, 36700160>, <72, 30001120>, <76, 1048576>, <80, 3703552>, <88, 326160>, <96, 22556>, <104, 1200>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49216>, <20, 1048576>, <24, 8366128>, <28, 36700160>, <32, 152112764>, <36, 286261248>, <40, 563486224>, <44, 749731840>, <48, 758785840>, <52, 749731840>, <56, 474837216>, <60, 286261248>, <64, 155838534>, <68, 36700160>, <72, 29906720>, <76, 1048576>, <80, 3755872>, <88, 323056>, <96, 20924>, <104, 976>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 48960>, <20, 1048576>, <24, 8368688>, <28, 36700160>, <32, 152101244>, <36, 286261248>, <40, 563516944>, <44, 749731840>, <48, 758732080>, <52, 749731840>, <56, 474901728>, <60, 286261248>, <64, 155784774>, <68, 36700160>, <72, 29937440>, <76, 1048576>, <80, 3744352>, <88, 325616>, <96, 20668>, <104, 976>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 50016>, <20, 1048576>, <24, 8344912>, <28, 36700160>, <32, 152230748>, <36, 286261248>, <40, 563185648>, <44, 749731840>, <48, 759200368>, <52, 749731840>, <56, 474526752>, <60, 286261248>, <64, 155939334>, <68, 36700160>, <72, 29916896>, <76, 1048576>, <80, 3743488>, <88, 322448>, <96, 21788>, <104, 1072>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49616>, <20, 1048576>, <24, 8345856>, <28, 36700160>, <32, 152234092>, <36, 286261248>, <40, 563168832>, <44, 749731840>, <48, 759229136>, <52, 749731840>, <56, 474501888>, <60, 286261248>, <64, 155951654>, <68, 36700160>, <72, 29910912>, <76, 1048576>, <80, 3748144>, <88, 320000>, <96, 22252>, <104, 1088>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 48992>, <20, 1048576>, <24, 8372432>, <28, 36700160>, <32, 152078428>, <36, 286261248>, <40, 563569008>, <44, 749731840>, <48, 758685296>, <52, 749731840>, <56, 474886944>, <60, 286261248>, <64, 155856902>, <68, 36700160>, <72, 29869536>, <76, 1048576>, <80, 3774208>, <88, 319760>, <96, 21020>, <104, 944>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49392>, <20, 1048576>, <24, 8362336>, <28, 36700160>, <32, 152132812>, <36, 286261248>, <40, 563437152>, <44, 749731840>, <48, 758849552>, <52, 749731840>, <56, 474796224>, <60, 286261248>, <64, 155842790>, <68, 36700160>, <72, 29917632>, <76, 1048576>, <80, 3749584>, <88, 324064>, <96, 20940>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115056>, <24, 16216224>, <32, 271471820>, <40, 1088085408>, <48, 1602517776>, <56, 999460672>, <64, 275143398>, <72, 37808704>, <80, 3800912>, <88, 324640>, <96, 21452>, <104, 1056>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49280>, <20, 1048576>, <24, 8356336>, <28, 36700160>, <32, 152173372>, <36, 286261248>, <40, 563329872>, <44, 749731840>, <48, 758992304>, <52, 749731840>, <56, 474705504>, <60, 286261248>, <64, 155850182>, <68, 36700160>, <72, 29941152>, <76, 1048576>, <80, 3738784>, <88, 324272>, <96, 21372>, <104, 1040>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115152>, <24, 16210176>, <32, 271509612>, <40, 1087981120>, <48, 1602677456>, <56, 999314176>, <64, 275227174>, <72, 37775232>, <80, 3813680>, <88, 320000>, <96, 22252>, <104, 1088>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49776>, <20, 1048576>, <24, 8349344>, <28, 36700160>, <32, 152207820>, <36, 286261248>, <40, 563242400>, <44, 749731840>, <48, 759123216>, <52, 749731840>, <56, 474583872>, <60, 286261248>, <64, 155921638>, <68, 36700160>, <72, 29913664>, <76, 1048576>, <80, 3746896>, <88, 322080>, <96, 21708>, <104, 1056>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49040>, <20, 1048576>, <24, 8369920>, <28, 36700160>, <32, 152092716>, <36, 286261248>, <40, 563535296>, <44, 749731840>, <48, 758722128>, <52, 749731840>, <56, 474878208>, <60, 286261248>, <64, 155834278>, <68, 36700160>, <72, 29895808>, <76, 1048576>, <80, 3762160>, <88, 322048>, <96, 20908>, <104, 960>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49344>, <20, 1048576>, <24, 8355696>, <28, 36700160>, <32, 152176252>, <36, 286261248>, <40, 563322192>, <44, 749731840>, <48, 759005744>, <52, 749731840>, <56, 474689376>, <60, 286261248>, <64, 155863622>, <68, 36700160>, <72, 29933472>, <76, 1048576>, <80, 3741664>, <88, 323632>, <96, 21436>, <104, 1040>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114528>, <24, 16227600>, <32, 271411676>, <40, 1088232624>, <48, 1602326640>, <56, 999583648>, <64, 275130630>, <72, 37775968>, <80, 3819776>, <88, 321616>, <96, 21404>, <104, 1008>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 48752>, <20, 1048576>, <24, 8367712>, <28, 36700160>, <32, 152113228>, <36, 286261248>, <40, 563477088>, <44, 749731840>, <48, 758801168>, <52, 749731840>, <56, 474828480>, <60, 286261248>, <64, 155837414>, <68, 36700160>, <72, 29908416>, <76, 1048576>, <80, 3757648>, <88, 321248>, <96, 21324>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49504>, <20, 1048576>, <24, 8350032>, <28, 36700160>, <32, 152207708>, <36, 286261248>, <40, 563247088>, <44, 749731840>, <48, 759092848>, <52, 749731840>, <56, 474655776>, <60, 286261248>, <64, 155831814>, <68, 36700160>, <72, 29978336>, <76, 1048576>, <80, 3720448>, <88, 327568>, <96, 21276>, <104, 1072>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49520>, <20, 1048576>, <24, 8351904>, <28, 36700160>, <32, 152196300>, <36, 286261248>, <40, 563273120>, <44, 749731840>, <48, 759069456>, <52, 749731840>, <56, 474648384>, <60, 286261248>, <64, 155867878>, <68, 36700160>, <72, 29944384>, <76, 1048576>, <80, 3735376>, <88, 324640>, <96, 21452>, <104, 1056>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49488>, <20, 1048576>, <24, 8347136>, <28, 36700160>, <32, 152228332>, <36, 286261248>, <40, 563184192>, <44, 749731840>, <48, 759202256>, <52, 749731840>, <56, 474534144>, <60, 286261248>, <64, 155924774>, <68, 36700160>, <72, 29926272>, <76, 1048576>, <80, 3742384>, <88, 321280>, <96, 22124>, <104, 1088>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114944>, <24, 16210224>, <32, 271512380>, <40, 1087978128>, <48, 1602660528>, <56, 999369952>, <64, 275150790>, <72, 37832224>, <80, 3790112>, <88, 324848>, <96, 21884>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114368>, <24, 16224112>, <32, 271437948>, <40, 1088159056>, <48, 1602432560>, <56, 999501664>, <64, 275160646>, <72, 37773216>, <80, 3821024>, <88, 319536>, <96, 21948>, <104, 1040>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114336>, <24, 16238672>, <32, 271345308>, <40, 1088404336>, <48, 1602093296>, <56, 999747616>, <64, 275092102>, <72, 37756896>, <80, 3831104>, <88, 321680>, <96, 20828>, <104, 944>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 57888>, <20, 1019904>, <24, 8042000>, <28, 39276544>, <32, 143410332>, <36, 302678016>, <40, 548337968>, <44, 746455040>, <48, 785769968>, <52, 716120064>, <56, 493550496>, <60, 288235520>, <64, 142517382>, <68, 49545216>, <72, 22600032>, <76, 3964928>, <80, 2881728>, <84, 184320>, <88, 292688>, <92, 4096>, <96, 21852>, <104, 1136>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114224>, <24, 16250976>, <32, 271270412>, <40, 1088594400>, <48, 1601850000>, <56, 999888064>, <64, 275103078>, <72, 37696192>, <80, 3860240>, <88, 318176>, <96, 20492>, <104, 864>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49664>, <20, 1048576>, <24, 8343344>, <28, 36700160>, <32, 152248380>, <36, 286261248>, <40, 563135120>, <44, 749731840>, <48, 759265968>, <52, 749731840>, <56, 474493152>, <60, 286261248>, <64, 155929030>, <68, 36700160>, <72, 29937184>, <76, 1048576>, <80, 3736096>, <88, 322288>, <96, 22140>, <104, 1104>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115616>, <24, 16199440>, <32, 271566876>, <40, 1087841584>, <48, 1602855152>, <56, 999207328>, <64, 275226502>, <72, 37815648>, <80, 3791936>, <88, 323664>, <96, 22236>, <104, 1136>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114784>, <24, 16235216>, <32, 271356252>, <40, 1088387440>, <48, 1602101360>, <56, 999763744>, <64, 275057158>, <72, 37789152>, <80, 3814400>, <88, 326416>, <96, 20252>, <104, 944>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114720>, <24, 16216528>, <32, 271478044>, <40, 1088060912>, <48, 1602559984>, <56, 999419680>, <64, 275169158>, <72, 37795040>, <80, 3808448>, <88, 321552>, <96, 21980>, <104, 1072>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115056>, <24, 16206048>, <32, 271538764>, <40, 1087899872>, <48, 1602796816>, <56, 999216064>, <64, 275270630>, <72, 37764800>, <80, 3817808>, <88, 317280>, <96, 22860>, <104, 1120>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49248>, <20, 1048576>, <24, 8351568>, <28, 36700160>, <32, 152205404>, <36, 286261248>, <40, 563240944>, <44, 749731840>, <48, 759125104>, <52, 749731840>, <56, 474591264>, <60, 286261248>, <64, 155907078>, <68, 36700160>, <72, 29923040>, <76, 1048576>, <80, 3745792>, <88, 320912>, <96, 22044>, <104, 1072>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114656>, <24, 16226320>, <32, 271417436>, <40, 1088217264>, <48, 1602353520>, <56, 999551392>, <64, 275157510>, <72, 37760608>, <80, 3825536>, <88, 320336>, <96, 21532>, <104, 1008>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114256>, <24, 16255744>, <32, 271238380>, <40, 1088683328>, <48, 1601717200>, <56, 1000002304>, <64, 275046182>, <72, 37714304>, <80, 3853232>, <88, 321536>, <96, 19820>, <104, 832>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 115824>, <24, 16190240>, <32, 271621836>, <40, 1087695904>, <48, 1603065104>, <56, 999035968>, <64, 275301094>, <72, 37800768>, <80, 3795536>, <88, 320672>, <96, 22988>, <104, 1184>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49424>, <20, 1048576>, <24, 8367104>, <28, 36700160>, <32, 152100780>, <36, 286261248>, <40, 563526080>, <44, 749731840>, <48, 758716752>, <52, 749731840>, <56, 474910464>, <60, 286261248>, <64, 155785894>, <68, 36700160>, <72, 29935744>, <76, 1048576>, <80, 3742576>, <88, 327424>, <96, 20268>, <104, 960>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49008>, <20, 1048576>, <24, 8365152>, <28, 36700160>, <32, 152124748>, <36, 286261248>, <40, 563446368>, <44, 749731840>, <48, 758854928>, <52, 749731840>, <56, 474763968>, <60, 286261248>, <64, 155891174>, <68, 36700160>, <72, 29877696>, <76, 1048576>, <80, 3769168>, <88, 318688>, <96, 21580>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 58176>, <20, 1011456>, <24, 8096304>, <28, 39260416>, <32, 143169916>, <36, 302830592>, <40, 548740624>, <44, 746220544>, <48, 785454384>, <52, 716159488>, <56, 493667552>, <60, 288409088>, <64, 142499398>, <68, 49419264>, <72, 22587168>, <76, 3976192>, <80, 2899552>, <84, 192256>, <88, 288752>, <92, 4352>, <96, 20668>, <104, 976>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 49456>, <20, 1048576>, <24, 8361696>, <28, 36700160>, <32, 152135692>, <36, 286261248>, <40, 563429472>, <44, 749731840>, <48, 758862992>, <52, 749731840>, <56, 474780096>, <60, 286261248>, <64, 155856230>, <68, 36700160>, <72, 29909952>, <76, 1048576>, <80, 3752464>, <88, 323424>, <96, 21004>, <104, 992>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114704>, <24, 16242112>, <32, 271316268>, <40, 1088480896>, <48, 1602004304>, <56, 999773824>, <64, 275138470>, <72, 37702656>, <80, 3853424>, <88, 318912>, <96, 20652>, <104, 896>, <112, 176>, <128, 1> ]> , rec | <0, 1>, <16, 114992>, <24, 16226016>, <32, 271411212>, <40, 1088241760>, <48, 1602311312>, <56, 999592384>, <64, 275131750>, <72, 37774272>, <80, 3818000>, <88, 323424>, <96, 21004>, <104, 992>, <112, 176>, <128, 1> ]> ];