Protector Code

Brought to you by: raimundheid
[r865]: / src / keytable.c Maximize Restore History

1124 lines (1113 with data), 56.6 kB

/*
    Protector -- a UCI chess engine

    Copyright (C) 2009-2010 Raimund Heid (Raimund_Heid@yahoo.com)

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.

*/
/* Generated file -- do not edit! */
/* Hamming distance: 24 */

#include "keytable.h"

/* *INDENT-OFF* */

#ifdef TARGET_WINDOWS
UINT64 GENERATED_KEYTABLE[16][64] = {
   {12135172739437583129ULL, 11737613270708064789ULL,
    4496086737129178157ULL, 16187781064122049457ULL,
    16260440349225833334ULL, 7956310733409149768ULL,
    8817727161355116867ULL, 17265776973028307303ULL,
    15820037989886940682ULL, 11170664958511013619ULL,
    2146590870477676138ULL, 11113777446122106696ULL,
    278143126232886016ULL, 13283206935762625021ULL,
    12492328768749848525ULL, 11753056338017801566ULL,
    14510567019952079291ULL, 9185481576830120976ULL,
    18117818412660387317ULL, 8970124670895500652ULL,
    5115750201277481292ULL, 5713007101515241997ULL,
    922073907735713351ULL, 10673420361063995977ULL,
    2232248603257461367ULL, 17513849144397132379ULL,
    17425887554629103087ULL, 9342995760541824110ULL,
    4732404835099393645ULL, 10512846546049443946ULL,
    14827370676913039216ULL, 14241286334891468534ULL,
    10505192827146057091ULL, 14016880361215686419ULL,
    17708893330433293883ULL, 15508938792308616732ULL,
    15973346400070986352ULL, 13378186418551653288ULL,
    17003724301772639233ULL, 5195828147076714873ULL,
    7749379853043810307ULL, 2326073933967268150ULL,
    3885723993611153444ULL, 4446101150945716283ULL,
    3044354430354950309ULL, 3346128046587717747ULL,
    12656799072892902114ULL, 16979077793727939949ULL,
    6147378701111015125ULL, 12557986347651610117ULL,
    12597981769386078612ULL, 8627832138059657503ULL,
    12811674494002944689ULL, 2137114292115298690ULL,
    17953453134294029505ULL, 5468022729871218123ULL,
    922878320496071934ULL, 1484318952767544735ULL,
    2745896100267209231ULL, 1872674116797421960ULL,
    9559860632083868116ULL, 11272226094915946120ULL,
    1549204614009196008ULL, 5891142945007582891ULL,
    }
   ,
   {15743372961331394457ULL, 2518258191839706616ULL,
    14760139519387094410ULL, 16340844469464403422ULL,
    14326152593639017774ULL, 10111524140316012213ULL,
    1634265388627846640ULL, 10893696708141821726ULL,
    13137430380371491862ULL, 6216325164556063938ULL,
    14593402137290011241ULL, 11172432704076097145ULL,
    10272566591371214737ULL, 10893238713811120561ULL,
    8429570897912376889ULL, 6105061922040303384ULL,
    1430716640713844199ULL, 17841599275678827756ULL,
    17589945182771647650ULL, 7055539468546397466ULL,
    10656903515187695417ULL, 14464627806066038279ULL,
    14187351090405875460ULL, 7489320599978926975ULL,
    9829076772968152537ULL, 13044304444439878572ULL,
    9596441334428887865ULL, 11703783367276950040ULL,
    15911069107312409080ULL, 13942472280782200104ULL,
    11691014131865372894ULL, 3476345434108776063ULL,
    15777808698776672630ULL, 14672055879803999295ULL,
    2712769881733438957ULL, 11989680087152166911ULL,
    8963698069449416876ULL, 9085095497239063109ULL,
    9049015533180770267ULL, 18147016788251691435ULL,
    16698158265970372534ULL, 2574736008657446249ULL,
    737866203811942484ULL, 3353291349879562061ULL,
    15812081823820322410ULL, 7418285723711353951ULL,
    7742619109201777386ULL, 2038272679765180182ULL,
    8987334100977934556ULL, 17166409097244367940ULL,
    18173504320254827545ULL, 93878131565230103ULL,
    5362988470492793557ULL, 17146685513836167235ULL,
    9178468825086349675ULL, 4561740581656300540ULL,
    11324718189359880053ULL, 1533892791568636114ULL,
    7817832010959761850ULL, 17365817366541988934ULL,
    3086328016631205590ULL, 18018333519571885943ULL,
    13615373014815088503ULL, 17828010923335671392ULL,
    }
   ,
   {9347870459615392479ULL, 17448645783287062590ULL,
    6441172483192504575ULL, 12626735058274469397ULL,
    16108053131752923150ULL, 6523628744137818190ULL,
    13597938225374883331ULL, 1664696658590957037ULL,
    6612003930616327456ULL, 18295379594581855359ULL,
    3882696871813489051ULL, 12601681673940937871ULL,
    14230831474413597423ULL, 18299296095892537804ULL,
    3333418158555101395ULL, 13638690462774045797ULL,
    2122913865090405744ULL, 4085598469884468996ULL,
    8623253106648370830ULL, 13659495951250723355ULL,
    17663359776305897165ULL, 11250720858045107960ULL,
    1540150359238499083ULL, 6322628742229990875ULL,
    1186484013258455836ULL, 9870155727264040106ULL,
    14608009207277648063ULL, 13489096341266851881ULL,
    2449012600239179866ULL, 15601222368313198738ULL,
    17411433946231022458ULL, 9461529946846160836ULL,
    15360199975693154418ULL, 12570743233365962106ULL,
    8157637113392903844ULL, 8320572923838346506ULL,
    7439036752287275650ULL, 12851135430189424179ULL,
    8205286689791286975ULL, 3213714467186976662ULL,
    7945600052317850462ULL, 12037849193094347662ULL,
    7930620180605357628ULL, 1928208381601623959ULL,
    15130976445122455968ULL, 17299968960949735859ULL,
    16116242405514873535ULL, 12534861925027691245ULL,
    6119450011306622390ULL, 18357552588410155917ULL,
    6311225164251717777ULL, 8141615682424749920ULL,
    15109213930213506887ULL, 1797746550462906367ULL,
    10553488240226667493ULL, 16000825410687823650ULL,
    7738540858643611476ULL, 13140107386215282042ULL,
    7266987564058046265ULL, 13520652432029620938ULL,
    648291050261999261ULL, 9087137970090662466ULL,
    11471252938124079995ULL, 13974208696011933913ULL,
    }
   ,
   {10837201445049393682ULL, 6306414572119541485ULL,
    17178307266351244944ULL, 5359255352565066636ULL,
    5556205186692243983ULL, 7831981595458894343ULL,
    3562559510186845729ULL, 7328079098375689771ULL,
    15903194267803993029ULL, 18052535286624816706ULL,
    11031333598649620166ULL, 16500305219759662192ULL,
    9176249066746404023ULL, 11238787993528737647ULL,
    357330943156824034ULL, 6590012309889318606ULL,
    16542821378395347960ULL, 562299726046096725ULL,
    17982019179393379352ULL, 10359365927414926676ULL,
    11080111473721999370ULL, 5040073430793691454ULL,
    10072978059945288154ULL, 9648425197362692358ULL,
    12664673596280488180ULL, 16280621358837103956ULL,
    14824686366029265809ULL, 14945799398229579099ULL,
    3739762414380503941ULL, 12049255546093683420ULL,
    11725666868971793025ULL, 8516539841005448883ULL,
    17671889868135775554ULL, 14731077879484079546ULL,
    9889294032804596052ULL, 1609044793273194416ULL,
    7624895969155279786ULL, 13504483072755280434ULL,
    2692893490687740765ULL, 7533203434479543410ULL,
    15498585720903514155ULL, 2016516491085107286ULL,
    2006892955716882206ULL, 6742893265044621796ULL,
    5526878573820902835ULL, 11068342700340587361ULL,
    5997860233557528152ULL, 17932870122849898839ULL,
    5184617676784628777ULL, 14259037644007390691ULL,
    12570459558594352018ULL, 15003936253856949879ULL,
    6501869002009411527ULL, 9978162544974142902ULL,
    7371849583647364573ULL, 7924174333445215892ULL,
    11782292229476830671ULL, 18156982767848541863ULL,
    8123654007703585556ULL, 12628561737791516871ULL,
    3301124175410790233ULL, 2565859552317767543ULL,
    10339364815879982501ULL, 11932572208937724372ULL,
    }
   ,
   {1431396125531474277ULL, 17950472683123214208ULL,
    6237222104345045426ULL, 3849066386005683651ULL,
    12293208350245052602ULL, 14620575847416375618ULL,
    3666785955711020040ULL, 17564571334270005202ULL,
    15345621176117297568ULL, 1140730616179232925ULL,
    16381720906996608613ULL, 1639186353928667525ULL,
    2279285975597874485ULL, 4437738176321328749ULL,
    16452734681705022598ULL, 16487916592325350062ULL,
    14616365347933611188ULL, 5635577024781413613ULL,
    13177747357981865212ULL, 5163635355845073667ULL,
    15118843128543641429ULL, 18091465131434618926ULL,
    5306112857486495488ULL, 10918654654036742572ULL,
    16060667621170871663ULL, 13144723939085408994ULL,
    2869412500706796115ULL, 13675238825579018013ULL,
    35370734629610723ULL, 15777313964739878673ULL,
    11171665683360343212ULL, 1122879439251127074ULL,
    16092594035994579861ULL, 402749122289360185ULL,
    12352143501287371261ULL, 12325638131341508111ULL,
    2294683088344889625ULL, 8563168174309380630ULL,
    11409929301696827632ULL, 1776000859292650532ULL,
    12739675943714221134ULL, 9861883786729504641ULL,
    6317742196777013574ULL, 1835478851580617656ULL,
    9789498336046849953ULL, 2764730342883909616ULL,
    16762104071140364417ULL, 17371413867597986844ULL,
    6428001885114591795ULL, 13443206795837749981ULL,
    1764177864273234638ULL, 12936237138877165823ULL,
    2810656527165640611ULL, 9490484050076183244ULL,
    9549094521660078395ULL, 13958455099087191055ULL,
    5005006898941250397ULL, 8352178217082364686ULL,
    7941717367726381279ULL, 16388548531219604790ULL,
    17851438458269356243ULL, 15992615811563450079ULL,
    3697749094065730411ULL, 12580421006700214570ULL,
    }
   ,
   {4153920718013588447ULL, 12366121416462773951ULL,
    13349428463127894916ULL, 5978897684964974433ULL,
    5610526313714748001ULL, 11912961690316500187ULL,
    16459772319206309314ULL, 8564036645711597629ULL,
    17914933492232837609ULL, 13487772226498881923ULL,
    6495029722067797674ULL, 10535848235111176871ULL,
    12749317822959852700ULL, 5294676882849328162ULL,
    15157865069149841626ULL, 15087415424988919703ULL,
    12453070527037740129ULL, 1696606573277202273ULL,
    9062147379904774261ULL, 13420308902145018835ULL,
    3724969542902143357ULL, 6366678047303583253ULL,
    9881033056316066937ULL, 7311298978516034437ULL,
    7803951246101523107ULL, 4827175072228987457ULL,
    13460066660084780152ULL, 16624249693641160948ULL,
    3762314891758936739ULL, 16512884593079916871ULL,
    6061542715858705134ULL, 16939569200916046305ULL,
    10246482394653382402ULL, 8582183883362329729ULL,
    8676635579492028879ULL, 7281866690184419979ULL,
    8573905236748182587ULL, 18103907814292633585ULL,
    8408769691499954595ULL, 4941960543203085891ULL,
    16507625394596198000ULL, 13255597309136371678ULL,
    15284301863301046579ULL, 15116640009518158297ULL,
    15087540278161992102ULL, 9446184683536040595ULL,
    13561844303423042880ULL, 8776703661441425390ULL,
    17333134705418554383ULL, 11257055658351983291ULL,
    8170377024514022675ULL, 14458904671999942927ULL,
    12187316467034121256ULL, 12058553233511884694ULL,
    9651843265001584308ULL, 7611690501907750909ULL,
    13374180756172673749ULL, 2431538464179839335ULL,
    9581545432393052301ULL, 17576594680918150879ULL,
    13287937964535291814ULL, 9672287906197472587ULL,
    8579126318346276197ULL, 987146529066302180ULL,
    }
   ,
   {597838019196249062ULL, 4186748468526602522ULL,
    8130611199171644360ULL, 545402823915708486ULL,
    2982058267486518241ULL, 9010134855958378479ULL,
    1911659972896229087ULL, 8612375662340787187ULL,
    6631517845152172905ULL, 14182090963422450123ULL,
    752653659870113369ULL, 5693450253657799756ULL,
    9992837954551652216ULL, 14371806845847499283ULL,
    14464432168003837043ULL, 15218766308696184290ULL,
    13280675749471133981ULL, 15013361919761412807ULL,
    2801851774919304246ULL, 3469987298518607946ULL,
    17768731195568715512ULL, 5653986698560869929ULL,
    2190967898127249734ULL, 1853168567980889432ULL,
    14889691113729714508ULL, 15867225474263000978ULL,
    12201038080606559503ULL, 13889054102659705738ULL,
    10209242942442736562ULL, 7398336903110806634ULL,
    13646629897388442181ULL, 10662867155188573661ULL,
    2128139621008583387ULL, 12399434036101852234ULL,
    16831110044466691223ULL, 5646706242612388336ULL,
    14864988266685070653ULL, 16327203678893362271ULL,
    15766407196669786708ULL, 472092371844162333ULL,
    16930743571552624444ULL, 18261322507507559622ULL,
    2420108699588285670ULL, 12829252962703265536ULL,
    5746334463058267828ULL, 18330083654644484700ULL,
    11846471873399943585ULL, 3319151465870931375ULL,
    7103516229667091290ULL, 13092526960255450163ULL,
    10637362638531042573ULL, 17065312056045314934ULL,
    233301343003212211ULL, 12720926745162728386ULL,
    3115010269685250681ULL, 15733986037301909639ULL,
    14816313374595982888ULL, 4455679111085935784ULL,
    15892855806495164277ULL, 16849018351631806480ULL,
    7446433526580969617ULL, 6612064943689379966ULL,
    11888513173238295151ULL, 5688046588506625262ULL,
    }
   ,
   {11840778381986327486ULL, 4474563102257035657ULL,
    9283540770252031160ULL, 13353355746517817450ULL,
    6851970731751530890ULL, 8961500490458719535ULL,
    3983768882059657386ULL, 12879807616957781491ULL,
    6023113370240447166ULL, 8760297754772981944ULL,
    8781488989623003294ULL, 14721224276143067301ULL,
    4115964412397708533ULL, 15323469045273011837ULL,
    14882523106970114028ULL, 8234709566641548284ULL,
    11758062925167736655ULL, 17136064883963457641ULL,
    5795620725334180905ULL, 1582637084092193985ULL,
    12136804301633140462ULL, 17275906817347777841ULL,
    14036582212589430932ULL, 9630384447904405140ULL,
    8783837645387258309ULL, 11043565098540597039ULL,
    10564711803728802030ULL, 4535529165030459965ULL,
    10846228788788618834ULL, 11795847316278272952ULL,
    10960068800168565578ULL, 14071420555027911023ULL,
    11259489737827489139ULL, 3046434358174762386ULL,
    10769908858241646800ULL, 8545343070737071961ULL,
    2173371243454391736ULL, 7269161250166034359ULL,
    9570542768176282572ULL, 2550699185904474922ULL,
    2518898407805733142ULL, 16016239109149499529ULL,
    10817160464138372158ULL, 4505850284012610411ULL,
    17340317214866976693ULL, 17437209948410254052ULL,
    1067948230353732523ULL, 8620598211437893938ULL,
    16947286455702394608ULL, 12038092402102985786ULL,
    8922512919770498416ULL, 9044729567291149784ULL,
    11620656202951678537ULL, 8973329031509338245ULL,
    2854191644844658114ULL, 3116186065605351102ULL,
    5976831306529983818ULL, 12301787558473514578ULL,
    15518362301156378963ULL, 14491221117469574126ULL,
    8013575722107929530ULL, 16463218878507933989ULL,
    6483474290481419385ULL, 15161072451395085929ULL,
    }
   ,
   {4440661799640574550ULL, 116140077341520987ULL,
    14582152565288185124ULL, 4291059205588589894ULL,
    4420383784905035328ULL, 10615051635118445449ULL,
    13197313607618912317ULL, 12411216738989979326ULL,
    607646074187659531ULL, 11991783091275219132ULL,
    2770385270693218156ULL, 15038524493516927071ULL,
    16381981162459480511ULL, 2112818748556987360ULL,
    16810099447166978705ULL, 1122937871417033575ULL,
    7689169266191598635ULL, 12306517819999332633ULL,
    17463970096037295393ULL, 3139732645026104093ULL,
    13442085347825082002ULL, 3294312218711524633ULL,
    7963741861898295224ULL, 14297437432673684128ULL,
    9999238093212064174ULL, 8149880276450250820ULL,
    8304833712976726787ULL, 10424434965495814090ULL,
    10179087527641216239ULL, 18347876302700528263ULL,
    12610269426343141689ULL, 12785067233617897709ULL,
    16643380527026888212ULL, 10551023730428470250ULL,
    6880443205752389340ULL, 9249330002898198358ULL,
    11999546642751839944ULL, 16961707028910414412ULL,
    1954647834563164511ULL, 10261621256779345909ULL,
    13769935048303473408ULL, 10747958837705987855ULL,
    8221781086022930357ULL, 15484103769052024881ULL,
    2897813987710087989ULL, 1991202219549665508ULL,
    12302327243798348527ULL, 9492365156290170048ULL,
    7199495444231734692ULL, 5438189905121688060ULL,
    5921513281185144200ULL, 17252577072428775647ULL,
    16175783867470255461ULL, 3529718838528202237ULL,
    13656563596977227054ULL, 5110845734716978907ULL,
    13138178618595945136ULL, 8231086896192316716ULL,
    8716106506175486591ULL, 6875191877257045480ULL,
    8422605754813652893ULL, 6580643732628591430ULL,
    10427158956704453488ULL, 11289723461812307094ULL,
    }
   ,
   {1798978223418582791ULL, 16752548975951616538ULL,
    2634439484625158441ULL, 1614984984285910953ULL,
    16266098512963402173ULL, 15444766626902170892ULL,
    10850223996040040549ULL, 7117881613683636873ULL,
    6651011733736445036ULL, 7771765348836222436ULL,
    3780897413246119387ULL, 12439719090821725734ULL,
    5976620856000625861ULL, 10103871308748840130ULL,
    3548526059711146870ULL, 16771420736055944913ULL,
    13664425472371299144ULL, 5969924719656499887ULL,
    3601543419094681543ULL, 8342876690125659377ULL,
    2751169792940277267ULL, 9150349122627332006ULL,
    14752143404344491656ULL, 7928833884133672155ULL,
    1415362608833500598ULL, 14947783541790168999ULL,
    2677347025338804672ULL, 4572507326112077271ULL,
    8864329142566489111ULL, 8377101686123445544ULL,
    14176575921128068374ULL, 13452021187961398547ULL,
    12739727677336627427ULL, 15417727998155033539ULL,
    7205100800894009265ULL, 15765478879179676481ULL,
    6555566720930057016ULL, 10716258189479453323ULL,
    9463113568171843096ULL, 16321913146625954019ULL,
    12018379620264668716ULL, 4139827272061210869ULL,
    2481066159741621359ULL, 17557826793817985305ULL,
    9882012232457263670ULL, 13416925554042026071ULL,
    6689185431970406650ULL, 5471770065597806467ULL,
    15561216640904079257ULL, 13372741164993375852ULL,
    12083035013553131354ULL, 1780233499825079655ULL,
    12731539610669628343ULL, 8973871860447821428ULL,
    3845012015273127474ULL, 18311687480946120554ULL,
    14945093124287490049ULL, 14599786755585262425ULL,
    10551676512983027871ULL, 2493717673105096008ULL,
    14060459892613451482ULL, 463296046931193220ULL,
    9700520066038765774ULL, 6882914676796272285ULL,
    }
   ,
   {4588139352825098995ULL, 3546369649017738018ULL,
    14059900603164507532ULL, 5956649516412933137ULL,
    12210125062601515459ULL, 2422706826951604400ULL,
    7963380634565564326ULL, 5463771919022341923ULL,
    13538304847789290870ULL, 17589351552960023226ULL,
    17673142189872154234ULL, 11233277926016345229ULL,
    10239856341675373537ULL, 2672956746943122569ULL,
    10123106752654722311ULL, 8258234576211908030ULL,
    17781545870017744469ULL, 15997470902828154674ULL,
    2678439797261096915ULL, 15092500741306901612ULL,
    3968709541643584247ULL, 12113363352748935599ULL,
    14903798259578973203ULL, 2568908906834651723ULL,
    939531733054233791ULL, 4233006148862515721ULL,
    3785514452635732278ULL, 1754074213607066910ULL,
    18315808009836603564ULL, 14651271030794690163ULL,
    6712545231064209936ULL, 390165904773908920ULL,
    7559357847066489641ULL, 10295603565636783337ULL,
    757126940400561586ULL, 11053208387752872279ULL,
    3740015978027054212ULL, 54882040002468979ULL,
    7996886095953584976ULL, 9754104761979800694ULL,
    3493222199076932693ULL, 1774154028878593044ULL,
    4381247460965112591ULL, 9009622704439438475ULL,
    16973167890019474930ULL, 14019473391386281143ULL,
    12827072847238374089ULL, 3871497361657802986ULL,
    15507510219761086248ULL, 6393117062895119183ULL,
    5184131927801677982ULL, 10573119168718120484ULL,
    7036747959324007619ULL, 14899961872142172705ULL,
    14382706400408020185ULL, 484545753441448529ULL,
    16748648646755502893ULL, 7173552456256500278ULL,
    10634981607881997425ULL, 8981892347823766383ULL,
    14013341939569419184ULL, 15182435632061531993ULL,
    2729667609944135464ULL, 16530367947516840492ULL,
    }
   ,
   {998338408329656122ULL, 14147481447966325375ULL,
    14693103088994073640ULL, 7173238944186095893ULL,
    7882658699815921599ULL, 12404592732240236308ULL,
    10580404683043233859ULL, 6570315407779678517ULL,
    1260646897660221233ULL, 8445603118513962618ULL,
    8209056552821801618ULL, 14817267193979536548ULL,
    3265475412573583440ULL, 3854328144024213517ULL,
    7096483416745664166ULL, 10283761112914267086ULL,
    3650637679018280430ULL, 94466833362601978ULL,
    1612576146458523249ULL, 1390180630412087457ULL,
    4589271307507511172ULL, 3506468835905451675ULL,
    6824230931137248504ULL, 12759394937756526944ULL,
    2996984961994921936ULL, 1685408898596095127ULL,
    9531405145274616658ULL, 12121205384981012206ULL,
    3371483228088882138ULL, 9285915962090358015ULL,
    3737497773763347248ULL, 7586742416729122317ULL,
    16912185851136139991ULL, 17039580598140371529ULL,
    4017731911054776665ULL, 16250819157895522384ULL,
    6465247073279438269ULL, 16534460397647235507ULL,
    16454834688824190747ULL, 10806440206083016193ULL,
    11394648955744435877ULL, 11661307429002611307ULL,
    7347426312981071136ULL, 345621559936207159ULL,
    12918101934132313421ULL, 14519269818476261970ULL,
    17872469867426527890ULL, 5886203320895256870ULL,
    7627776461635727298ULL, 13422090367986726074ULL,
    18075213242391155628ULL, 4991911450811887799ULL,
    17116513736334756793ULL, 12512621912037553410ULL,
    1616161741722577924ULL, 10203525310220168275ULL,
    13895718284514036119ULL, 2031058582667358437ULL,
    9867830839039752416ULL, 16216218663581585317ULL,
    3753689340353643837ULL, 8961119212259912348ULL,
    16856523031228092157ULL, 11406155353171276692ULL,
    }
   ,
   {1127796741991317152ULL, 3860445709557037386ULL,
    1600083166448777999ULL, 15480431550358570999ULL,
    11151142521115273121ULL, 5168587456735155737ULL,
    11306325239769165705ULL, 3936998598845422260ULL,
    10152978299819399321ULL, 10912303489365934246ULL,
    3955611014914185538ULL, 6633245879432790865ULL,
    9838898124685509174ULL, 13524464538315461006ULL,
    10811617557492560068ULL, 5995636575372289095ULL,
    6393252529955858465ULL, 1255194568630832284ULL,
    1650472998759977900ULL, 3043609541486814374ULL,
    18431337321776634132ULL, 5989598008747634402ULL,
    11448175512063062836ULL, 12687126110314776318ULL,
    335423811940450546ULL, 4998026425053583239ULL,
    1628824750220729309ULL, 18244213327099156894ULL,
    17310173172169878496ULL, 2038055093440005918ULL,
    509846382323908501ULL, 9196637839649368001ULL,
    11477726708741717163ULL, 970669468447505372ULL,
    9382325199563679358ULL, 1958928740091065907ULL,
    11261905526578102391ULL, 17915857093269164191ULL,
    12044477961165816641ULL, 14570774418881171334ULL,
    3064208060615348728ULL, 1210127626183665278ULL,
    1086554006459633378ULL, 16072527272818201110ULL,
    5883065804149495634ULL, 12472711482353203111ULL,
    12995840662368271884ULL, 7029022382778501736ULL,
    12619213624195459551ULL, 10455184974311418650ULL,
    13974399063287408196ULL, 17327618159340505755ULL,
    3738195813735278300ULL, 1321070859087497528ULL,
    407840670946740394ULL, 17433599567037821668ULL,
    5376841321894522333ULL, 17804387966790885151ULL,
    3802851349978705987ULL, 16359600645089933525ULL,
    8848714914850052754ULL, 11550921279329776499ULL,
    7297661771285973987ULL, 16027469491049267119ULL,
    }
   ,
   {349868073204954046ULL, 17141612588793591832ULL,
    10469619596760883534ULL, 7582708489525245022ULL,
    16236646198202364238ULL, 1611406609271440634ULL,
    1443623228929066313ULL, 1774373089594465327ULL,
    15176492685396408734ULL, 4404789883659875506ULL,
    10999500353442262225ULL, 4199480508376773208ULL,
    2392561348978120996ULL, 8884226056008481445ULL,
    3166533187852181657ULL, 6183878600766069948ULL,
    16088728630838045926ULL, 17835565535388085664ULL,
    7770899956213274436ULL, 79198348536578679ULL,
    1132667842213709093ULL, 15168779591452166940ULL,
    3781836405344791461ULL, 13348848602633807027ULL,
    17752422262553691849ULL, 4636026775778436635ULL,
    15753725790737873592ULL, 10198636488923764187ULL,
    9837852693685003534ULL, 16440853556209561173ULL,
    5598508554745672554ULL, 3409375865224289124ULL,
    7107465246768148459ULL, 3025333085638747468ULL,
    2853495069211824740ULL, 864038957272343231ULL,
    16290231655035622437ULL, 2946584826995695203ULL,
    12008147181847711089ULL, 12054068472385668015ULL,
    2332729497119100290ULL, 803640216543197407ULL,
    14968176847934095083ULL, 15375994425138026126ULL,
    9694471490230675552ULL, 17515785553539077400ULL,
    15319653294621923442ULL, 5351717582410758637ULL,
    4275909884816715898ULL, 1993976247613777902ULL,
    15197436936341392332ULL, 15351439561125240664ULL,
    2993703908740225981ULL, 6677770004857896033ULL,
    9522193901853783771ULL, 15571013028262415598ULL,
    4356577970748399505ULL, 12671802387253663916ULL,
    16111629369705360503ULL, 5540610732463731203ULL,
    10188038233629315869ULL, 16371527005256530769ULL,
    7162597580400747658ULL, 2473820438656575303ULL,
    }
   ,
   {16831378163860501196ULL, 6715360364526713313ULL,
    10128724604964997197ULL, 2881001910952074030ULL,
    7553096140967152831ULL, 17622301035311645467ULL,
    15360344377260537052ULL, 17958278328700947676ULL,
    12091092959422857158ULL, 7147516112277745519ULL,
    13312246356972338635ULL, 1082850966738409849ULL,
    10553377974394639576ULL, 14025713487184940497ULL,
    15467677486249051188ULL, 7350105734228277490ULL,
    8297374888480397977ULL, 11462039045710244365ULL,
    7574183913342845224ULL, 2966381839588739354ULL,
    3905778688350656330ULL, 1463344083634490510ULL,
    14802457519749484735ULL, 5143283033085403471ULL,
    14809792366541302550ULL, 12215164482347513957ULL,
    1569324708582438417ULL, 4533747669000494243ULL,
    15036751396337277605ULL, 1867858175927173774ULL,
    208275948235887621ULL, 10005420078658423462ULL,
    4678049936346475120ULL, 6698737812751527308ULL,
    10597440676764300084ULL, 12850622438559574820ULL,
    11883622614082766822ULL, 1656766921814686362ULL,
    13919010217054866823ULL, 4206593667916827950ULL,
    5738811258305697160ULL, 16506342903455884540ULL,
    12072535680887563400ULL, 9130760839532269631ULL,
    1987957450843506368ULL, 9245104059044695706ULL,
    5099587533869873510ULL, 10185134888532980228ULL,
    11617160365652239824ULL, 3829503021193877110ULL,
    9138641453747615978ULL, 1121114417259555352ULL,
    14477739258243201614ULL, 11584749300009598582ULL,
    16436219965912266761ULL, 11757012342022601990ULL,
    7997471373643898144ULL, 12004655702435616433ULL,
    5940300330842271130ULL, 14748689582762798263ULL,
    2984376642740630406ULL, 6001591253613174857ULL,
    12752291305271227898ULL, 9569272301088618017ULL,
    }
   ,
   {877311701491147086ULL, 7143680594866172660ULL,
    3713631000718339817ULL, 2406429823007025656ULL,
    6208416686881706902ULL, 8906247940946687490ULL,
    8659893398294557132ULL, 15372702216337027768ULL,
    2259562403694385842ULL, 12883689313203783443ULL,
    16608922951738525688ULL, 2892793619882253445ULL,
    11772357373042225545ULL, 1920319188674341988ULL,
    11668062453621148532ULL, 17207135156138212042ULL,
    14488086142677966071ULL, 9663489839879399485ULL,
    14776530223596569289ULL, 14435818178258132432ULL,
    14780859344785188119ULL, 11446885156390218218ULL,
    6662797109071888032ULL, 16298726073776148490ULL,
    2252321755453870776ULL, 4266727084029777439ULL,
    9154632560191881693ULL, 569214833689939646ULL,
    9782533930623201274ULL, 11743028486387488395ULL,
    6227113503821376118ULL, 15770630891331233410ULL,
    106436588185059407ULL, 3616745517676370646ULL,
    9255366832314215854ULL, 770229791070090421ULL,
    15789818131683330080ULL, 357638127174645125ULL,
    1109328231855825544ULL, 2600983128825042743ULL,
    16722322407197547489ULL, 5493984794376662032ULL,
    1744239106772287963ULL, 4698960128736497289ULL,
    154054465040186936ULL, 3517340449667097849ULL,
    10235912165106356672ULL, 329905986857775652ULL,
    11576688857604010320ULL, 2406320231694733818ULL,
    1340595305144523306ULL, 2382053530983856020ULL,
    5416589487830942808ULL, 5050585225060491986ULL,
    5332570266650062695ULL, 1441555840292169192ULL,
    1189644953587954049ULL, 8646917375917092494ULL,
    10481839323547244597ULL, 14237482309492513456ULL,
    5243808064050201170ULL, 1192484576678017936ULL,
    4037110364307453552ULL, 7224411795167305924ULL,
    }
};
#endif

#ifdef TARGET_LINUX
UINT64 GENERATED_KEYTABLE[16][64] = {
   {12135172739437583129llu, 11737613270708064789llu,
    4496086737129178157llu, 16187781064122049457llu,
    16260440349225833334llu, 7956310733409149768llu,
    8817727161355116867llu, 17265776973028307303llu,
    15820037989886940682llu, 11170664958511013619llu,
    2146590870477676138llu, 11113777446122106696llu,
    278143126232886016llu, 13283206935762625021llu,
    12492328768749848525llu, 11753056338017801566llu,
    14510567019952079291llu, 9185481576830120976llu,
    18117818412660387317llu, 8970124670895500652llu,
    5115750201277481292llu, 5713007101515241997llu,
    922073907735713351llu, 10673420361063995977llu,
    2232248603257461367llu, 17513849144397132379llu,
    17425887554629103087llu, 9342995760541824110llu,
    4732404835099393645llu, 10512846546049443946llu,
    14827370676913039216llu, 14241286334891468534llu,
    10505192827146057091llu, 14016880361215686419llu,
    17708893330433293883llu, 15508938792308616732llu,
    15973346400070986352llu, 13378186418551653288llu,
    17003724301772639233llu, 5195828147076714873llu,
    7749379853043810307llu, 2326073933967268150llu,
    3885723993611153444llu, 4446101150945716283llu,
    3044354430354950309llu, 3346128046587717747llu,
    12656799072892902114llu, 16979077793727939949llu,
    6147378701111015125llu, 12557986347651610117llu,
    12597981769386078612llu, 8627832138059657503llu,
    12811674494002944689llu, 2137114292115298690llu,
    17953453134294029505llu, 5468022729871218123llu,
    922878320496071934llu, 1484318952767544735llu,
    2745896100267209231llu, 1872674116797421960llu,
    9559860632083868116llu, 11272226094915946120llu,
    1549204614009196008llu, 5891142945007582891llu,
    }
   ,
   {15743372961331394457llu, 2518258191839706616llu,
    14760139519387094410llu, 16340844469464403422llu,
    14326152593639017774llu, 10111524140316012213llu,
    1634265388627846640llu, 10893696708141821726llu,
    13137430380371491862llu, 6216325164556063938llu,
    14593402137290011241llu, 11172432704076097145llu,
    10272566591371214737llu, 10893238713811120561llu,
    8429570897912376889llu, 6105061922040303384llu,
    1430716640713844199llu, 17841599275678827756llu,
    17589945182771647650llu, 7055539468546397466llu,
    10656903515187695417llu, 14464627806066038279llu,
    14187351090405875460llu, 7489320599978926975llu,
    9829076772968152537llu, 13044304444439878572llu,
    9596441334428887865llu, 11703783367276950040llu,
    15911069107312409080llu, 13942472280782200104llu,
    11691014131865372894llu, 3476345434108776063llu,
    15777808698776672630llu, 14672055879803999295llu,
    2712769881733438957llu, 11989680087152166911llu,
    8963698069449416876llu, 9085095497239063109llu,
    9049015533180770267llu, 18147016788251691435llu,
    16698158265970372534llu, 2574736008657446249llu,
    737866203811942484llu, 3353291349879562061llu,
    15812081823820322410llu, 7418285723711353951llu,
    7742619109201777386llu, 2038272679765180182llu,
    8987334100977934556llu, 17166409097244367940llu,
    18173504320254827545llu, 93878131565230103llu,
    5362988470492793557llu, 17146685513836167235llu,
    9178468825086349675llu, 4561740581656300540llu,
    11324718189359880053llu, 1533892791568636114llu,
    7817832010959761850llu, 17365817366541988934llu,
    3086328016631205590llu, 18018333519571885943llu,
    13615373014815088503llu, 17828010923335671392llu,
    }
   ,
   {9347870459615392479llu, 17448645783287062590llu,
    6441172483192504575llu, 12626735058274469397llu,
    16108053131752923150llu, 6523628744137818190llu,
    13597938225374883331llu, 1664696658590957037llu,
    6612003930616327456llu, 18295379594581855359llu,
    3882696871813489051llu, 12601681673940937871llu,
    14230831474413597423llu, 18299296095892537804llu,
    3333418158555101395llu, 13638690462774045797llu,
    2122913865090405744llu, 4085598469884468996llu,
    8623253106648370830llu, 13659495951250723355llu,
    17663359776305897165llu, 11250720858045107960llu,
    1540150359238499083llu, 6322628742229990875llu,
    1186484013258455836llu, 9870155727264040106llu,
    14608009207277648063llu, 13489096341266851881llu,
    2449012600239179866llu, 15601222368313198738llu,
    17411433946231022458llu, 9461529946846160836llu,
    15360199975693154418llu, 12570743233365962106llu,
    8157637113392903844llu, 8320572923838346506llu,
    7439036752287275650llu, 12851135430189424179llu,
    8205286689791286975llu, 3213714467186976662llu,
    7945600052317850462llu, 12037849193094347662llu,
    7930620180605357628llu, 1928208381601623959llu,
    15130976445122455968llu, 17299968960949735859llu,
    16116242405514873535llu, 12534861925027691245llu,
    6119450011306622390llu, 18357552588410155917llu,
    6311225164251717777llu, 8141615682424749920llu,
    15109213930213506887llu, 1797746550462906367llu,
    10553488240226667493llu, 16000825410687823650llu,
    7738540858643611476llu, 13140107386215282042llu,
    7266987564058046265llu, 13520652432029620938llu,
    648291050261999261llu, 9087137970090662466llu,
    11471252938124079995llu, 13974208696011933913llu,
    }
   ,
   {10837201445049393682llu, 6306414572119541485llu,
    17178307266351244944llu, 5359255352565066636llu,
    5556205186692243983llu, 7831981595458894343llu,
    3562559510186845729llu, 7328079098375689771llu,
    15903194267803993029llu, 18052535286624816706llu,
    11031333598649620166llu, 16500305219759662192llu,
    9176249066746404023llu, 11238787993528737647llu,
    357330943156824034llu, 6590012309889318606llu,
    16542821378395347960llu, 562299726046096725llu,
    17982019179393379352llu, 10359365927414926676llu,
    11080111473721999370llu, 5040073430793691454llu,
    10072978059945288154llu, 9648425197362692358llu,
    12664673596280488180llu, 16280621358837103956llu,
    14824686366029265809llu, 14945799398229579099llu,
    3739762414380503941llu, 12049255546093683420llu,
    11725666868971793025llu, 8516539841005448883llu,
    17671889868135775554llu, 14731077879484079546llu,
    9889294032804596052llu, 1609044793273194416llu,
    7624895969155279786llu, 13504483072755280434llu,
    2692893490687740765llu, 7533203434479543410llu,
    15498585720903514155llu, 2016516491085107286llu,
    2006892955716882206llu, 6742893265044621796llu,
    5526878573820902835llu, 11068342700340587361llu,
    5997860233557528152llu, 17932870122849898839llu,
    5184617676784628777llu, 14259037644007390691llu,
    12570459558594352018llu, 15003936253856949879llu,
    6501869002009411527llu, 9978162544974142902llu,
    7371849583647364573llu, 7924174333445215892llu,
    11782292229476830671llu, 18156982767848541863llu,
    8123654007703585556llu, 12628561737791516871llu,
    3301124175410790233llu, 2565859552317767543llu,
    10339364815879982501llu, 11932572208937724372llu,
    }
   ,
   {1431396125531474277llu, 17950472683123214208llu,
    6237222104345045426llu, 3849066386005683651llu,
    12293208350245052602llu, 14620575847416375618llu,
    3666785955711020040llu, 17564571334270005202llu,
    15345621176117297568llu, 1140730616179232925llu,
    16381720906996608613llu, 1639186353928667525llu,
    2279285975597874485llu, 4437738176321328749llu,
    16452734681705022598llu, 16487916592325350062llu,
    14616365347933611188llu, 5635577024781413613llu,
    13177747357981865212llu, 5163635355845073667llu,
    15118843128543641429llu, 18091465131434618926llu,
    5306112857486495488llu, 10918654654036742572llu,
    16060667621170871663llu, 13144723939085408994llu,
    2869412500706796115llu, 13675238825579018013llu,
    35370734629610723llu, 15777313964739878673llu,
    11171665683360343212llu, 1122879439251127074llu,
    16092594035994579861llu, 402749122289360185llu,
    12352143501287371261llu, 12325638131341508111llu,
    2294683088344889625llu, 8563168174309380630llu,
    11409929301696827632llu, 1776000859292650532llu,
    12739675943714221134llu, 9861883786729504641llu,
    6317742196777013574llu, 1835478851580617656llu,
    9789498336046849953llu, 2764730342883909616llu,
    16762104071140364417llu, 17371413867597986844llu,
    6428001885114591795llu, 13443206795837749981llu,
    1764177864273234638llu, 12936237138877165823llu,
    2810656527165640611llu, 9490484050076183244llu,
    9549094521660078395llu, 13958455099087191055llu,
    5005006898941250397llu, 8352178217082364686llu,
    7941717367726381279llu, 16388548531219604790llu,
    17851438458269356243llu, 15992615811563450079llu,
    3697749094065730411llu, 12580421006700214570llu,
    }
   ,
   {4153920718013588447llu, 12366121416462773951llu,
    13349428463127894916llu, 5978897684964974433llu,
    5610526313714748001llu, 11912961690316500187llu,
    16459772319206309314llu, 8564036645711597629llu,
    17914933492232837609llu, 13487772226498881923llu,
    6495029722067797674llu, 10535848235111176871llu,
    12749317822959852700llu, 5294676882849328162llu,
    15157865069149841626llu, 15087415424988919703llu,
    12453070527037740129llu, 1696606573277202273llu,
    9062147379904774261llu, 13420308902145018835llu,
    3724969542902143357llu, 6366678047303583253llu,
    9881033056316066937llu, 7311298978516034437llu,
    7803951246101523107llu, 4827175072228987457llu,
    13460066660084780152llu, 16624249693641160948llu,
    3762314891758936739llu, 16512884593079916871llu,
    6061542715858705134llu, 16939569200916046305llu,
    10246482394653382402llu, 8582183883362329729llu,
    8676635579492028879llu, 7281866690184419979llu,
    8573905236748182587llu, 18103907814292633585llu,
    8408769691499954595llu, 4941960543203085891llu,
    16507625394596198000llu, 13255597309136371678llu,
    15284301863301046579llu, 15116640009518158297llu,
    15087540278161992102llu, 9446184683536040595llu,
    13561844303423042880llu, 8776703661441425390llu,
    17333134705418554383llu, 11257055658351983291llu,
    8170377024514022675llu, 14458904671999942927llu,
    12187316467034121256llu, 12058553233511884694llu,
    9651843265001584308llu, 7611690501907750909llu,
    13374180756172673749llu, 2431538464179839335llu,
    9581545432393052301llu, 17576594680918150879llu,
    13287937964535291814llu, 9672287906197472587llu,
    8579126318346276197llu, 987146529066302180llu,
    }
   ,
   {597838019196249062llu, 4186748468526602522llu,
    8130611199171644360llu, 545402823915708486llu,
    2982058267486518241llu, 9010134855958378479llu,
    1911659972896229087llu, 8612375662340787187llu,
    6631517845152172905llu, 14182090963422450123llu,
    752653659870113369llu, 5693450253657799756llu,
    9992837954551652216llu, 14371806845847499283llu,
    14464432168003837043llu, 15218766308696184290llu,
    13280675749471133981llu, 15013361919761412807llu,
    2801851774919304246llu, 3469987298518607946llu,
    17768731195568715512llu, 5653986698560869929llu,
    2190967898127249734llu, 1853168567980889432llu,
    14889691113729714508llu, 15867225474263000978llu,
    12201038080606559503llu, 13889054102659705738llu,
    10209242942442736562llu, 7398336903110806634llu,
    13646629897388442181llu, 10662867155188573661llu,
    2128139621008583387llu, 12399434036101852234llu,
    16831110044466691223llu, 5646706242612388336llu,
    14864988266685070653llu, 16327203678893362271llu,
    15766407196669786708llu, 472092371844162333llu,
    16930743571552624444llu, 18261322507507559622llu,
    2420108699588285670llu, 12829252962703265536llu,
    5746334463058267828llu, 18330083654644484700llu,
    11846471873399943585llu, 3319151465870931375llu,
    7103516229667091290llu, 13092526960255450163llu,
    10637362638531042573llu, 17065312056045314934llu,
    233301343003212211llu, 12720926745162728386llu,
    3115010269685250681llu, 15733986037301909639llu,
    14816313374595982888llu, 4455679111085935784llu,
    15892855806495164277llu, 16849018351631806480llu,
    7446433526580969617llu, 6612064943689379966llu,
    11888513173238295151llu, 5688046588506625262llu,
    }
   ,
   {11840778381986327486llu, 4474563102257035657llu,
    9283540770252031160llu, 13353355746517817450llu,
    6851970731751530890llu, 8961500490458719535llu,
    3983768882059657386llu, 12879807616957781491llu,
    6023113370240447166llu, 8760297754772981944llu,
    8781488989623003294llu, 14721224276143067301llu,
    4115964412397708533llu, 15323469045273011837llu,
    14882523106970114028llu, 8234709566641548284llu,
    11758062925167736655llu, 17136064883963457641llu,
    5795620725334180905llu, 1582637084092193985llu,
    12136804301633140462llu, 17275906817347777841llu,
    14036582212589430932llu, 9630384447904405140llu,
    8783837645387258309llu, 11043565098540597039llu,
    10564711803728802030llu, 4535529165030459965llu,
    10846228788788618834llu, 11795847316278272952llu,
    10960068800168565578llu, 14071420555027911023llu,
    11259489737827489139llu, 3046434358174762386llu,
    10769908858241646800llu, 8545343070737071961llu,
    2173371243454391736llu, 7269161250166034359llu,
    9570542768176282572llu, 2550699185904474922llu,
    2518898407805733142llu, 16016239109149499529llu,
    10817160464138372158llu, 4505850284012610411llu,
    17340317214866976693llu, 17437209948410254052llu,
    1067948230353732523llu, 8620598211437893938llu,
    16947286455702394608llu, 12038092402102985786llu,
    8922512919770498416llu, 9044729567291149784llu,
    11620656202951678537llu, 8973329031509338245llu,
    2854191644844658114llu, 3116186065605351102llu,
    5976831306529983818llu, 12301787558473514578llu,
    15518362301156378963llu, 14491221117469574126llu,
    8013575722107929530llu, 16463218878507933989llu,
    6483474290481419385llu, 15161072451395085929llu,
    }
   ,
   {4440661799640574550llu, 116140077341520987llu,
    14582152565288185124llu, 4291059205588589894llu,
    4420383784905035328llu, 10615051635118445449llu,
    13197313607618912317llu, 12411216738989979326llu,
    607646074187659531llu, 11991783091275219132llu,
    2770385270693218156llu, 15038524493516927071llu,
    16381981162459480511llu, 2112818748556987360llu,
    16810099447166978705llu, 1122937871417033575llu,
    7689169266191598635llu, 12306517819999332633llu,
    17463970096037295393llu, 3139732645026104093llu,
    13442085347825082002llu, 3294312218711524633llu,
    7963741861898295224llu, 14297437432673684128llu,
    9999238093212064174llu, 8149880276450250820llu,
    8304833712976726787llu, 10424434965495814090llu,
    10179087527641216239llu, 18347876302700528263llu,
    12610269426343141689llu, 12785067233617897709llu,
    16643380527026888212llu, 10551023730428470250llu,
    6880443205752389340llu, 9249330002898198358llu,
    11999546642751839944llu, 16961707028910414412llu,
    1954647834563164511llu, 10261621256779345909llu,
    13769935048303473408llu, 10747958837705987855llu,
    8221781086022930357llu, 15484103769052024881llu,
    2897813987710087989llu, 1991202219549665508llu,
    12302327243798348527llu, 9492365156290170048llu,
    7199495444231734692llu, 5438189905121688060llu,
    5921513281185144200llu, 17252577072428775647llu,
    16175783867470255461llu, 3529718838528202237llu,
    13656563596977227054llu, 5110845734716978907llu,
    13138178618595945136llu, 8231086896192316716llu,
    8716106506175486591llu, 6875191877257045480llu,
    8422605754813652893llu, 6580643732628591430llu,
    10427158956704453488llu, 11289723461812307094llu,
    }
   ,
   {1798978223418582791llu, 16752548975951616538llu,
    2634439484625158441llu, 1614984984285910953llu,
    16266098512963402173llu, 15444766626902170892llu,
    10850223996040040549llu, 7117881613683636873llu,
    6651011733736445036llu, 7771765348836222436llu,
    3780897413246119387llu, 12439719090821725734llu,
    5976620856000625861llu, 10103871308748840130llu,
    3548526059711146870llu, 16771420736055944913llu,
    13664425472371299144llu, 5969924719656499887llu,
    3601543419094681543llu, 8342876690125659377llu,
    2751169792940277267llu, 9150349122627332006llu,
    14752143404344491656llu, 7928833884133672155llu,
    1415362608833500598llu, 14947783541790168999llu,
    2677347025338804672llu, 4572507326112077271llu,
    8864329142566489111llu, 8377101686123445544llu,
    14176575921128068374llu, 13452021187961398547llu,
    12739727677336627427llu, 15417727998155033539llu,
    7205100800894009265llu, 15765478879179676481llu,
    6555566720930057016llu, 10716258189479453323llu,
    9463113568171843096llu, 16321913146625954019llu,
    12018379620264668716llu, 4139827272061210869llu,
    2481066159741621359llu, 17557826793817985305llu,
    9882012232457263670llu, 13416925554042026071llu,
    6689185431970406650llu, 5471770065597806467llu,
    15561216640904079257llu, 13372741164993375852llu,
    12083035013553131354llu, 1780233499825079655llu,
    12731539610669628343llu, 8973871860447821428llu,
    3845012015273127474llu, 18311687480946120554llu,
    14945093124287490049llu, 14599786755585262425llu,
    10551676512983027871llu, 2493717673105096008llu,
    14060459892613451482llu, 463296046931193220llu,
    9700520066038765774llu, 6882914676796272285llu,
    }
   ,
   {4588139352825098995llu, 3546369649017738018llu,
    14059900603164507532llu, 5956649516412933137llu,
    12210125062601515459llu, 2422706826951604400llu,
    7963380634565564326llu, 5463771919022341923llu,
    13538304847789290870llu, 17589351552960023226llu,
    17673142189872154234llu, 11233277926016345229llu,
    10239856341675373537llu, 2672956746943122569llu,
    10123106752654722311llu, 8258234576211908030llu,
    17781545870017744469llu, 15997470902828154674llu,
    2678439797261096915llu, 15092500741306901612llu,
    3968709541643584247llu, 12113363352748935599llu,
    14903798259578973203llu, 2568908906834651723llu,
    939531733054233791llu, 4233006148862515721llu,
    3785514452635732278llu, 1754074213607066910llu,
    18315808009836603564llu, 14651271030794690163llu,
    6712545231064209936llu, 390165904773908920llu,
    7559357847066489641llu, 10295603565636783337llu,
    757126940400561586llu, 11053208387752872279llu,
    3740015978027054212llu, 54882040002468979llu,
    7996886095953584976llu, 9754104761979800694llu,
    3493222199076932693llu, 1774154028878593044llu,
    4381247460965112591llu, 9009622704439438475llu,
    16973167890019474930llu, 14019473391386281143llu,
    12827072847238374089llu, 3871497361657802986llu,
    15507510219761086248llu, 6393117062895119183llu,
    5184131927801677982llu, 10573119168718120484llu,
    7036747959324007619llu, 14899961872142172705llu,
    14382706400408020185llu, 484545753441448529llu,
    16748648646755502893llu, 7173552456256500278llu,
    10634981607881997425llu, 8981892347823766383llu,
    14013341939569419184llu, 15182435632061531993llu,
    2729667609944135464llu, 16530367947516840492llu,
    }
   ,
   {998338408329656122llu, 14147481447966325375llu,
    14693103088994073640llu, 7173238944186095893llu,
    7882658699815921599llu, 12404592732240236308llu,
    10580404683043233859llu, 6570315407779678517llu,
    1260646897660221233llu, 8445603118513962618llu,
    8209056552821801618llu, 14817267193979536548llu,
    3265475412573583440llu, 3854328144024213517llu,
    7096483416745664166llu, 10283761112914267086llu,
    3650637679018280430llu, 94466833362601978llu,
    1612576146458523249llu, 1390180630412087457llu,
    4589271307507511172llu, 3506468835905451675llu,
    6824230931137248504llu, 12759394937756526944llu,
    2996984961994921936llu, 1685408898596095127llu,
    9531405145274616658llu, 12121205384981012206llu,
    3371483228088882138llu, 9285915962090358015llu,
    3737497773763347248llu, 7586742416729122317llu,
    16912185851136139991llu, 17039580598140371529llu,
    4017731911054776665llu, 16250819157895522384llu,
    6465247073279438269llu, 16534460397647235507llu,
    16454834688824190747llu, 10806440206083016193llu,
    11394648955744435877llu, 11661307429002611307llu,
    7347426312981071136llu, 345621559936207159llu,
    12918101934132313421llu, 14519269818476261970llu,
    17872469867426527890llu, 5886203320895256870llu,
    7627776461635727298llu, 13422090367986726074llu,
    18075213242391155628llu, 4991911450811887799llu,
    17116513736334756793llu, 12512621912037553410llu,
    1616161741722577924llu, 10203525310220168275llu,
    13895718284514036119llu, 2031058582667358437llu,
    9867830839039752416llu, 16216218663581585317llu,
    3753689340353643837llu, 8961119212259912348llu,
    16856523031228092157llu, 11406155353171276692llu,
    }
   ,
   {1127796741991317152llu, 3860445709557037386llu,
    1600083166448777999llu, 15480431550358570999llu,
    11151142521115273121llu, 5168587456735155737llu,
    11306325239769165705llu, 3936998598845422260llu,
    10152978299819399321llu, 10912303489365934246llu,
    3955611014914185538llu, 6633245879432790865llu,
    9838898124685509174llu, 13524464538315461006llu,
    10811617557492560068llu, 5995636575372289095llu,
    6393252529955858465llu, 1255194568630832284llu,
    1650472998759977900llu, 3043609541486814374llu,
    18431337321776634132llu, 5989598008747634402llu,
    11448175512063062836llu, 12687126110314776318llu,
    335423811940450546llu, 4998026425053583239llu,
    1628824750220729309llu, 18244213327099156894llu,
    17310173172169878496llu, 2038055093440005918llu,
    509846382323908501llu, 9196637839649368001llu,
    11477726708741717163llu, 970669468447505372llu,
    9382325199563679358llu, 1958928740091065907llu,
    11261905526578102391llu, 17915857093269164191llu,
    12044477961165816641llu, 14570774418881171334llu,
    3064208060615348728llu, 1210127626183665278llu,
    1086554006459633378llu, 16072527272818201110llu,
    5883065804149495634llu, 12472711482353203111llu,
    12995840662368271884llu, 7029022382778501736llu,
    12619213624195459551llu, 10455184974311418650llu,
    13974399063287408196llu, 17327618159340505755llu,
    3738195813735278300llu, 1321070859087497528llu,
    407840670946740394llu, 17433599567037821668llu,
    5376841321894522333llu, 17804387966790885151llu,
    3802851349978705987llu, 16359600645089933525llu,
    8848714914850052754llu, 11550921279329776499llu,
    7297661771285973987llu, 16027469491049267119llu,
    }
   ,
   {349868073204954046llu, 17141612588793591832llu,
    10469619596760883534llu, 7582708489525245022llu,
    16236646198202364238llu, 1611406609271440634llu,
    1443623228929066313llu, 1774373089594465327llu,
    15176492685396408734llu, 4404789883659875506llu,
    10999500353442262225llu, 4199480508376773208llu,
    2392561348978120996llu, 8884226056008481445llu,
    3166533187852181657llu, 6183878600766069948llu,
    16088728630838045926llu, 17835565535388085664llu,
    7770899956213274436llu, 79198348536578679llu,
    1132667842213709093llu, 15168779591452166940llu,
    3781836405344791461llu, 13348848602633807027llu,
    17752422262553691849llu, 4636026775778436635llu,
    15753725790737873592llu, 10198636488923764187llu,
    9837852693685003534llu, 16440853556209561173llu,
    5598508554745672554llu, 3409375865224289124llu,
    7107465246768148459llu, 3025333085638747468llu,
    2853495069211824740llu, 864038957272343231llu,
    16290231655035622437llu, 2946584826995695203llu,
    12008147181847711089llu, 12054068472385668015llu,
    2332729497119100290llu, 803640216543197407llu,
    14968176847934095083llu, 15375994425138026126llu,
    9694471490230675552llu, 17515785553539077400llu,
    15319653294621923442llu, 5351717582410758637llu,
    4275909884816715898llu, 1993976247613777902llu,
    15197436936341392332llu, 15351439561125240664llu,
    2993703908740225981llu, 6677770004857896033llu,
    9522193901853783771llu, 15571013028262415598llu,
    4356577970748399505llu, 12671802387253663916llu,
    16111629369705360503llu, 5540610732463731203llu,
    10188038233629315869llu, 16371527005256530769llu,
    7162597580400747658llu, 2473820438656575303llu,
    }
   ,
   {16831378163860501196llu, 6715360364526713313llu,
    10128724604964997197llu, 2881001910952074030llu,
    7553096140967152831llu, 17622301035311645467llu,
    15360344377260537052llu, 17958278328700947676llu,
    12091092959422857158llu, 7147516112277745519llu,
    13312246356972338635llu, 1082850966738409849llu,
    10553377974394639576llu, 14025713487184940497llu,
    15467677486249051188llu, 7350105734228277490llu,
    8297374888480397977llu, 11462039045710244365llu,
    7574183913342845224llu, 2966381839588739354llu,
    3905778688350656330llu, 1463344083634490510llu,
    14802457519749484735llu, 5143283033085403471llu,
    14809792366541302550llu, 12215164482347513957llu,
    1569324708582438417llu, 4533747669000494243llu,
    15036751396337277605llu, 1867858175927173774llu,
    208275948235887621llu, 10005420078658423462llu,
    4678049936346475120llu, 6698737812751527308llu,
    10597440676764300084llu, 12850622438559574820llu,
    11883622614082766822llu, 1656766921814686362llu,
    13919010217054866823llu, 4206593667916827950llu,
    5738811258305697160llu, 16506342903455884540llu,
    12072535680887563400llu, 9130760839532269631llu,
    1987957450843506368llu, 9245104059044695706llu,
    5099587533869873510llu, 10185134888532980228llu,
    11617160365652239824llu, 3829503021193877110llu,
    9138641453747615978llu, 1121114417259555352llu,
    14477739258243201614llu, 11584749300009598582llu,
    16436219965912266761llu, 11757012342022601990llu,
    7997471373643898144llu, 12004655702435616433llu,
    5940300330842271130llu, 14748689582762798263llu,
    2984376642740630406llu, 6001591253613174857llu,
    12752291305271227898llu, 9569272301088618017llu,
    }
   ,
   {877311701491147086llu, 7143680594866172660llu,
    3713631000718339817llu, 2406429823007025656llu,
    6208416686881706902llu, 8906247940946687490llu,
    8659893398294557132llu, 15372702216337027768llu,
    2259562403694385842llu, 12883689313203783443llu,
    16608922951738525688llu, 2892793619882253445llu,
    11772357373042225545llu, 1920319188674341988llu,
    11668062453621148532llu, 17207135156138212042llu,
    14488086142677966071llu, 9663489839879399485llu,
    14776530223596569289llu, 14435818178258132432llu,
    14780859344785188119llu, 11446885156390218218llu,
    6662797109071888032llu, 16298726073776148490llu,
    2252321755453870776llu, 4266727084029777439llu,
    9154632560191881693llu, 569214833689939646llu,
    9782533930623201274llu, 11743028486387488395llu,
    6227113503821376118llu, 15770630891331233410llu,
    106436588185059407llu, 3616745517676370646llu,
    9255366832314215854llu, 770229791070090421llu,
    15789818131683330080llu, 357638127174645125llu,
    1109328231855825544llu, 2600983128825042743llu,
    16722322407197547489llu, 5493984794376662032llu,
    1744239106772287963llu, 4698960128736497289llu,
    154054465040186936llu, 3517340449667097849llu,
    10235912165106356672llu, 329905986857775652llu,
    11576688857604010320llu, 2406320231694733818llu,
    1340595305144523306llu, 2382053530983856020llu,
    5416589487830942808llu, 5050585225060491986llu,
    5332570266650062695llu, 1441555840292169192llu,
    1189644953587954049llu, 8646917375917092494llu,
    10481839323547244597llu, 14237482309492513456llu,
    5243808064050201170llu, 1192484576678017936llu,
    4037110364307453552llu, 7224411795167305924llu,
    }
};
#endif

/* *INDENT-ON* */