Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 2bb54e74e6dbbbfe00f09923014f5fe2 > files > 30

libpoker-eval-devel-135.0-1mdv2009.1.i586.rpm

/* This file is machine-generated -- DO NOT EDIT! */

/*
 *  evx_preamble.cfrag: the unchanging beginning part of evx5/evx7.h
 *
 *  Copyright (C) 1994  Clifford T. Matthews
 *
 * 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 2 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, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 */

#include <stdlib.h>
#include <string.h>
#include "poker_defs.h"
#include "evx_defs.h"
#include "inlines/evx_inlines.h"

static inline uint32
StdDeck_StdRules_EVAL_X7 (StdDeck_RankMask clubs, 
                          StdDeck_RankMask diamonds, 
                          StdDeck_RankMask hearts,
                          StdDeck_RankMask spades)
{
  StdDeck_RankMask ranks, flush_suit, three_info, all_pairs;
  uint32 retval;

  ranks = clubs | diamonds | hearts | spades;

  switch (ranks)
    {
    case 239:
    case 247:
    case 367:
    case 375:
    case 379:
    case 431:
    case 439:
    case 443:
    case 445:
    case 463:
    case 471:
    case 475:
    case 477:
    case 478:
    case 487:
    case 491:
    case 493:
    case 494:
    case 623:
    case 631:
    case 635:
    case 687:
    case 695:
    case 699:
    case 701:
    case 719:
    case 727:
    case 731:
    case 733:
    case 734:
    case 743:
    case 747:
    case 749:
    case 750:
    case 755:
    case 757:
    case 758:
    case 815:
    case 823:
    case 827:
    case 829:
    case 847:
    case 855:
    case 859:
    case 861:
    case 862:
    case 871:
    case 875:
    case 877:
    case 878:
    case 883:
    case 885:
    case 886:
    case 889:
    case 890:
    case 911:
    case 919:
    case 923:
    case 925:
    case 926:
    case 935:
    case 939:
    case 941:
    case 942:
    case 947:
    case 949:
    case 950:
    case 953:
    case 954:
    case 956:
    case 967:
    case 971:
    case 973:
    case 974:
    case 979:
    case 981:
    case 982:
    case 985:
    case 986:
    case 988:
    case 1135:
    case 1143:
    case 1147:
    case 1199:
    case 1207:
    case 1211:
    case 1213:
    case 1231:
    case 1239:
    case 1243:
    case 1245:
    case 1246:
    case 1255:
    case 1259:
    case 1261:
    case 1262:
    case 1267:
    case 1269:
    case 1270:
    case 1327:
    case 1335:
    case 1339:
    case 1341:
    case 1359:
    case 1367:
    case 1371:
    case 1373:
    case 1374:
    case 1383:
    case 1387:
    case 1389:
    case 1390:
    case 1395:
    case 1397:
    case 1398:
    case 1401:
    case 1402:
    case 1423:
    case 1431:
    case 1435:
    case 1437:
    case 1438:
    case 1447:
    case 1451:
    case 1453:
    case 1454:
    case 1459:
    case 1461:
    case 1462:
    case 1465:
    case 1466:
    case 1468:
    case 1479:
    case 1483:
    case 1485:
    case 1486:
    case 1491:
    case 1493:
    case 1494:
    case 1497:
    case 1498:
    case 1500:
    case 1507:
    case 1509:
    case 1510:
    case 1513:
    case 1514:
    case 1516:
    case 1583:
    case 1591:
    case 1595:
    case 1597:
    case 1615:
    case 1623:
    case 1627:
    case 1629:
    case 1630:
    case 1639:
    case 1643:
    case 1645:
    case 1646:
    case 1651:
    case 1653:
    case 1654:
    case 1657:
    case 1658:
    case 1679:
    case 1687:
    case 1691:
    case 1693:
    case 1694:
    case 1703:
    case 1707:
    case 1709:
    case 1710:
    case 1715:
    case 1717:
    case 1718:
    case 1721:
    case 1722:
    case 1724:
    case 1735:
    case 1739:
    case 1741:
    case 1742:
    case 1747:
    case 1749:
    case 1750:
    case 1753:
    case 1754:
    case 1756:
    case 1763:
    case 1765:
    case 1766:
    case 1769:
    case 1770:
    case 1772:
    case 1777:
    case 1778:
    case 1780:
    case 1807:
    case 1815:
    case 1819:
    case 1821:
    case 1822:
    case 1831:
    case 1835:
    case 1837:
    case 1838:
    case 1843:
    case 1845:
    case 1846:
    case 1849:
    case 1850:
    case 1852:
    case 1863:
    case 1867:
    case 1869:
    case 1870:
    case 1875:
    case 1877:
    case 1878:
    case 1881:
    case 1882:
    case 1884:
    case 1891:
    case 1893:
    case 1894:
    case 1897:
    case 1898:
    case 1900:
    case 1905:
    case 1906:
    case 1908:
    case 1912:
    case 1927:
    case 1931:
    case 1933:
    case 1934:
    case 1939:
    case 1941:
    case 1942:
    case 1945:
    case 1946:
    case 1948:
    case 1955:
    case 1957:
    case 1958:
    case 1961:
    case 1962:
    case 1964:
    case 1969:
    case 1970:
    case 1972:
    case 1976:
    case 2159:
    case 2167:
    case 2171:
    case 2223:
    case 2231:
    case 2235:
    case 2237:
    case 2255:
    case 2263:
    case 2267:
    case 2269:
    case 2270:
    case 2279:
    case 2283:
    case 2285:
    case 2286:
    case 2291:
    case 2293:
    case 2294:
    case 2351:
    case 2359:
    case 2363:
    case 2365:
    case 2383:
    case 2391:
    case 2395:
    case 2397:
    case 2398:
    case 2407:
    case 2411:
    case 2413:
    case 2414:
    case 2419:
    case 2421:
    case 2422:
    case 2425:
    case 2426:
    case 2447:
    case 2455:
    case 2459:
    case 2461:
    case 2462:
    case 2471:
    case 2475:
    case 2477:
    case 2478:
    case 2483:
    case 2485:
    case 2486:
    case 2489:
    case 2490:
    case 2492:
    case 2503:
    case 2507:
    case 2509:
    case 2510:
    case 2515:
    case 2517:
    case 2518:
    case 2521:
    case 2522:
    case 2524:
    case 2531:
    case 2533:
    case 2534:
    case 2537:
    case 2538:
    case 2540:
    case 2607:
    case 2615:
    case 2619:
    case 2621:
    case 2639:
    case 2647:
    case 2651:
    case 2653:
    case 2654:
    case 2663:
    case 2667:
    case 2669:
    case 2670:
    case 2675:
    case 2677:
    case 2678:
    case 2681:
    case 2682:
    case 2703:
    case 2711:
    case 2715:
    case 2717:
    case 2718:
    case 2727:
    case 2731:
    case 2733:
    case 2734:
    case 2739:
    case 2741:
    case 2742:
    case 2745:
    case 2746:
    case 2748:
    case 2759:
    case 2763:
    case 2765:
    case 2766:
    case 2771:
    case 2773:
    case 2774:
    case 2777:
    case 2778:
    case 2780:
    case 2787:
    case 2789:
    case 2790:
    case 2793:
    case 2794:
    case 2796:
    case 2801:
    case 2802:
    case 2804:
    case 2831:
    case 2839:
    case 2843:
    case 2845:
    case 2846:
    case 2855:
    case 2859:
    case 2861:
    case 2862:
    case 2867:
    case 2869:
    case 2870:
    case 2873:
    case 2874:
    case 2876:
    case 2887:
    case 2891:
    case 2893:
    case 2894:
    case 2899:
    case 2901:
    case 2902:
    case 2905:
    case 2906:
    case 2908:
    case 2915:
    case 2917:
    case 2918:
    case 2921:
    case 2922:
    case 2924:
    case 2929:
    case 2930:
    case 2932:
    case 2936:
    case 2951:
    case 2955:
    case 2957:
    case 2958:
    case 2963:
    case 2965:
    case 2966:
    case 2969:
    case 2970:
    case 2972:
    case 2979:
    case 2981:
    case 2982:
    case 2985:
    case 2986:
    case 2988:
    case 2993:
    case 2994:
    case 2996:
    case 3000:
    case 3011:
    case 3013:
    case 3014:
    case 3017:
    case 3018:
    case 3020:
    case 3025:
    case 3026:
    case 3028:
    case 3032:
    case 3119:
    case 3127:
    case 3131:
    case 3133:
    case 3151:
    case 3159:
    case 3163:
    case 3165:
    case 3166:
    case 3175:
    case 3179:
    case 3181:
    case 3182:
    case 3187:
    case 3189:
    case 3190:
    case 3193:
    case 3194:
    case 3215:
    case 3223:
    case 3227:
    case 3229:
    case 3230:
    case 3239:
    case 3243:
    case 3245:
    case 3246:
    case 3251:
    case 3253:
    case 3254:
    case 3257:
    case 3258:
    case 3260:
    case 3271:
    case 3275:
    case 3277:
    case 3278:
    case 3283:
    case 3285:
    case 3286:
    case 3289:
    case 3290:
    case 3292:
    case 3299:
    case 3301:
    case 3302:
    case 3305:
    case 3306:
    case 3308:
    case 3313:
    case 3314:
    case 3316:
    case 3343:
    case 3351:
    case 3355:
    case 3357:
    case 3358:
    case 3367:
    case 3371:
    case 3373:
    case 3374:
    case 3379:
    case 3381:
    case 3382:
    case 3385:
    case 3386:
    case 3388:
    case 3399:
    case 3403:
    case 3405:
    case 3406:
    case 3411:
    case 3413:
    case 3414:
    case 3417:
    case 3418:
    case 3420:
    case 3427:
    case 3429:
    case 3430:
    case 3433:
    case 3434:
    case 3436:
    case 3441:
    case 3442:
    case 3444:
    case 3448:
    case 3463:
    case 3467:
    case 3469:
    case 3470:
    case 3475:
    case 3477:
    case 3478:
    case 3481:
    case 3482:
    case 3484:
    case 3491:
    case 3493:
    case 3494:
    case 3497:
    case 3498:
    case 3500:
    case 3505:
    case 3506:
    case 3508:
    case 3512:
    case 3523:
    case 3525:
    case 3526:
    case 3529:
    case 3530:
    case 3532:
    case 3537:
    case 3538:
    case 3540:
    case 3544:
    case 3553:
    case 3554:
    case 3556:
    case 3560:
    case 3599:
    case 3607:
    case 3611:
    case 3613:
    case 3614:
    case 3623:
    case 3627:
    case 3629:
    case 3630:
    case 3635:
    case 3637:
    case 3638:
    case 3641:
    case 3642:
    case 3644:
    case 3655:
    case 3659:
    case 3661:
    case 3662:
    case 3667:
    case 3669:
    case 3670:
    case 3673:
    case 3674:
    case 3676:
    case 3683:
    case 3685:
    case 3686:
    case 3689:
    case 3690:
    case 3692:
    case 3697:
    case 3698:
    case 3700:
    case 3704:
    case 3719:
    case 3723:
    case 3725:
    case 3726:
    case 3731:
    case 3733:
    case 3734:
    case 3737:
    case 3738:
    case 3740:
    case 3747:
    case 3749:
    case 3750:
    case 3753:
    case 3754:
    case 3756:
    case 3761:
    case 3762:
    case 3764:
    case 3768:
    case 3779:
    case 3781:
    case 3782:
    case 3785:
    case 3786:
    case 3788:
    case 3793:
    case 3794:
    case 3796:
    case 3800:
    case 3809:
    case 3810:
    case 3812:
    case 3816:
    case 3824:
    case 3847:
    case 3851:
    case 3853:
    case 3854:
    case 3859:
    case 3861:
    case 3862:
    case 3865:
    case 3866:
    case 3868:
    case 3875:
    case 3877:
    case 3878:
    case 3881:
    case 3882:
    case 3884:
    case 3889:
    case 3890:
    case 3892:
    case 3896:
    case 3907:
    case 3909:
    case 3910:
    case 3913:
    case 3914:
    case 3916:
    case 3921:
    case 3922:
    case 3924:
    case 3928:
    case 3937:
    case 3938:
    case 3940:
    case 3944:
    case 3952:
    case 4215:
    case 4219:
    case 4279:
    case 4283:
    case 4285:
    case 4311:
    case 4315:
    case 4317:
    case 4318:
    case 4327:
    case 4331:
    case 4333:
    case 4334:
    case 4339:
    case 4341:
    case 4342:
    case 4407:
    case 4411:
    case 4413:
    case 4439:
    case 4443:
    case 4445:
    case 4446:
    case 4455:
    case 4459:
    case 4461:
    case 4462:
    case 4467:
    case 4469:
    case 4470:
    case 4473:
    case 4474:
    case 4503:
    case 4507:
    case 4509:
    case 4510:
    case 4519:
    case 4523:
    case 4525:
    case 4526:
    case 4531:
    case 4533:
    case 4534:
    case 4537:
    case 4538:
    case 4540:
    case 4551:
    case 4555:
    case 4557:
    case 4558:
    case 4563:
    case 4565:
    case 4566:
    case 4569:
    case 4570:
    case 4572:
    case 4579:
    case 4581:
    case 4582:
    case 4585:
    case 4586:
    case 4588:
    case 4663:
    case 4667:
    case 4669:
    case 4695:
    case 4699:
    case 4701:
    case 4702:
    case 4711:
    case 4715:
    case 4717:
    case 4718:
    case 4723:
    case 4725:
    case 4726:
    case 4729:
    case 4730:
    case 4759:
    case 4763:
    case 4765:
    case 4766:
    case 4775:
    case 4779:
    case 4781:
    case 4782:
    case 4787:
    case 4789:
    case 4790:
    case 4793:
    case 4794:
    case 4796:
    case 4807:
    case 4811:
    case 4813:
    case 4814:
    case 4819:
    case 4821:
    case 4822:
    case 4825:
    case 4826:
    case 4828:
    case 4835:
    case 4837:
    case 4838:
    case 4841:
    case 4842:
    case 4844:
    case 4849:
    case 4850:
    case 4852:
    case 4887:
    case 4891:
    case 4893:
    case 4894:
    case 4903:
    case 4907:
    case 4909:
    case 4910:
    case 4915:
    case 4917:
    case 4918:
    case 4921:
    case 4922:
    case 4924:
    case 4935:
    case 4939:
    case 4941:
    case 4942:
    case 4947:
    case 4949:
    case 4950:
    case 4953:
    case 4954:
    case 4956:
    case 4963:
    case 4965:
    case 4966:
    case 4969:
    case 4970:
    case 4972:
    case 4977:
    case 4978:
    case 4980:
    case 4984:
    case 4999:
    case 5003:
    case 5005:
    case 5006:
    case 5011:
    case 5013:
    case 5014:
    case 5017:
    case 5018:
    case 5020:
    case 5027:
    case 5029:
    case 5030:
    case 5033:
    case 5034:
    case 5036:
    case 5041:
    case 5042:
    case 5044:
    case 5048:
    case 5059:
    case 5061:
    case 5062:
    case 5065:
    case 5066:
    case 5068:
    case 5073:
    case 5074:
    case 5076:
    case 5080:
    case 5175:
    case 5179:
    case 5181:
    case 5207:
    case 5211:
    case 5213:
    case 5214:
    case 5223:
    case 5227:
    case 5229:
    case 5230:
    case 5235:
    case 5237:
    case 5238:
    case 5241:
    case 5242:
    case 5271:
    case 5275:
    case 5277:
    case 5278:
    case 5287:
    case 5291:
    case 5293:
    case 5294:
    case 5299:
    case 5301:
    case 5302:
    case 5305:
    case 5306:
    case 5308:
    case 5319:
    case 5323:
    case 5325:
    case 5326:
    case 5331:
    case 5333:
    case 5334:
    case 5337:
    case 5338:
    case 5340:
    case 5347:
    case 5349:
    case 5350:
    case 5353:
    case 5354:
    case 5356:
    case 5361:
    case 5362:
    case 5364:
    case 5399:
    case 5403:
    case 5405:
    case 5406:
    case 5415:
    case 5419:
    case 5421:
    case 5422:
    case 5427:
    case 5429:
    case 5430:
    case 5433:
    case 5434:
    case 5436:
    case 5447:
    case 5451:
    case 5453:
    case 5454:
    case 5459:
    case 5461:
    case 5462:
    case 5465:
    case 5466:
    case 5468:
    case 5475:
    case 5477:
    case 5478:
    case 5481:
    case 5482:
    case 5484:
    case 5489:
    case 5490:
    case 5492:
    case 5496:
    case 5511:
    case 5515:
    case 5517:
    case 5518:
    case 5523:
    case 5525:
    case 5526:
    case 5529:
    case 5530:
    case 5532:
    case 5539:
    case 5541:
    case 5542:
    case 5545:
    case 5546:
    case 5548:
    case 5553:
    case 5554:
    case 5556:
    case 5560:
    case 5571:
    case 5573:
    case 5574:
    case 5577:
    case 5578:
    case 5580:
    case 5585:
    case 5586:
    case 5588:
    case 5592:
    case 5601:
    case 5602:
    case 5604:
    case 5608:
    case 5655:
    case 5659:
    case 5661:
    case 5662:
    case 5671:
    case 5675:
    case 5677:
    case 5678:
    case 5683:
    case 5685:
    case 5686:
    case 5689:
    case 5690:
    case 5692:
    case 5703:
    case 5707:
    case 5709:
    case 5710:
    case 5715:
    case 5717:
    case 5718:
    case 5721:
    case 5722:
    case 5724:
    case 5731:
    case 5733:
    case 5734:
    case 5737:
    case 5738:
    case 5740:
    case 5745:
    case 5746:
    case 5748:
    case 5752:
    case 5767:
    case 5771:
    case 5773:
    case 5774:
    case 5779:
    case 5781:
    case 5782:
    case 5785:
    case 5786:
    case 5788:
    case 5795:
    case 5797:
    case 5798:
    case 5801:
    case 5802:
    case 5804:
    case 5809:
    case 5810:
    case 5812:
    case 5816:
    case 5827:
    case 5829:
    case 5830:
    case 5833:
    case 5834:
    case 5836:
    case 5841:
    case 5842:
    case 5844:
    case 5848:
    case 5857:
    case 5858:
    case 5860:
    case 5864:
    case 5872:
    case 5895:
    case 5899:
    case 5901:
    case 5902:
    case 5907:
    case 5909:
    case 5910:
    case 5913:
    case 5914:
    case 5916:
    case 5923:
    case 5925:
    case 5926:
    case 5929:
    case 5930:
    case 5932:
    case 5937:
    case 5938:
    case 5940:
    case 5944:
    case 5955:
    case 5957:
    case 5958:
    case 5961:
    case 5962:
    case 5964:
    case 5969:
    case 5970:
    case 5972:
    case 5976:
    case 5985:
    case 5986:
    case 5988:
    case 5992:
    case 6000:
    case 6019:
    case 6021:
    case 6022:
    case 6025:
    case 6026:
    case 6028:
    case 6033:
    case 6034:
    case 6036:
    case 6040:
    case 6049:
    case 6050:
    case 6052:
    case 6056:
    case 6064:
    case 6199:
    case 6203:
    case 6205:
    case 6231:
    case 6235:
    case 6237:
    case 6238:
    case 6247:
    case 6251:
    case 6253:
    case 6254:
    case 6259:
    case 6261:
    case 6262:
    case 6265:
    case 6266:
    case 6295:
    case 6299:
    case 6301:
    case 6302:
    case 6311:
    case 6315:
    case 6317:
    case 6318:
    case 6323:
    case 6325:
    case 6326:
    case 6329:
    case 6330:
    case 6332:
    case 6343:
    case 6347:
    case 6349:
    case 6350:
    case 6355:
    case 6357:
    case 6358:
    case 6361:
    case 6362:
    case 6364:
    case 6371:
    case 6373:
    case 6374:
    case 6377:
    case 6378:
    case 6380:
    case 6385:
    case 6386:
    case 6388:
    case 6423:
    case 6427:
    case 6429:
    case 6430:
    case 6439:
    case 6443:
    case 6445:
    case 6446:
    case 6451:
    case 6453:
    case 6454:
    case 6457:
    case 6458:
    case 6460:
    case 6471:
    case 6475:
    case 6477:
    case 6478:
    case 6483:
    case 6485:
    case 6486:
    case 6489:
    case 6490:
    case 6492:
    case 6499:
    case 6501:
    case 6502:
    case 6505:
    case 6506:
    case 6508:
    case 6513:
    case 6514:
    case 6516:
    case 6520:
    case 6535:
    case 6539:
    case 6541:
    case 6542:
    case 6547:
    case 6549:
    case 6550:
    case 6553:
    case 6554:
    case 6556:
    case 6563:
    case 6565:
    case 6566:
    case 6569:
    case 6570:
    case 6572:
    case 6577:
    case 6578:
    case 6580:
    case 6584:
    case 6595:
    case 6597:
    case 6598:
    case 6601:
    case 6602:
    case 6604:
    case 6609:
    case 6610:
    case 6612:
    case 6616:
    case 6625:
    case 6626:
    case 6628:
    case 6632:
    case 6679:
    case 6683:
    case 6685:
    case 6686:
    case 6695:
    case 6699:
    case 6701:
    case 6702:
    case 6707:
    case 6709:
    case 6710:
    case 6713:
    case 6714:
    case 6716:
    case 6727:
    case 6731:
    case 6733:
    case 6734:
    case 6739:
    case 6741:
    case 6742:
    case 6745:
    case 6746:
    case 6748:
    case 6755:
    case 6757:
    case 6758:
    case 6761:
    case 6762:
    case 6764:
    case 6769:
    case 6770:
    case 6772:
    case 6776:
    case 6791:
    case 6795:
    case 6797:
    case 6798:
    case 6803:
    case 6805:
    case 6806:
    case 6809:
    case 6810:
    case 6812:
    case 6819:
    case 6821:
    case 6822:
    case 6825:
    case 6826:
    case 6828:
    case 6833:
    case 6834:
    case 6836:
    case 6840:
    case 6851:
    case 6853:
    case 6854:
    case 6857:
    case 6858:
    case 6860:
    case 6865:
    case 6866:
    case 6868:
    case 6872:
    case 6881:
    case 6882:
    case 6884:
    case 6888:
    case 6896:
    case 6919:
    case 6923:
    case 6925:
    case 6926:
    case 6931:
    case 6933:
    case 6934:
    case 6937:
    case 6938:
    case 6940:
    case 6947:
    case 6949:
    case 6950:
    case 6953:
    case 6954:
    case 6956:
    case 6961:
    case 6962:
    case 6964:
    case 6968:
    case 6979:
    case 6981:
    case 6982:
    case 6985:
    case 6986:
    case 6988:
    case 6993:
    case 6994:
    case 6996:
    case 7000:
    case 7009:
    case 7010:
    case 7012:
    case 7016:
    case 7024:
    case 7043:
    case 7045:
    case 7046:
    case 7049:
    case 7050:
    case 7052:
    case 7057:
    case 7058:
    case 7060:
    case 7064:
    case 7073:
    case 7074:
    case 7076:
    case 7080:
    case 7088:
    case 7105:
    case 7106:
    case 7108:
    case 7112:
    case 7120:
    case 7191:
    case 7195:
    case 7197:
    case 7198:
    case 7207:
    case 7211:
    case 7213:
    case 7214:
    case 7219:
    case 7221:
    case 7222:
    case 7225:
    case 7226:
    case 7228:
    case 7239:
    case 7243:
    case 7245:
    case 7246:
    case 7251:
    case 7253:
    case 7254:
    case 7257:
    case 7258:
    case 7260:
    case 7267:
    case 7269:
    case 7270:
    case 7273:
    case 7274:
    case 7276:
    case 7281:
    case 7282:
    case 7284:
    case 7288:
    case 7303:
    case 7307:
    case 7309:
    case 7310:
    case 7315:
    case 7317:
    case 7318:
    case 7321:
    case 7322:
    case 7324:
    case 7331:
    case 7333:
    case 7334:
    case 7337:
    case 7338:
    case 7340:
    case 7345:
    case 7346:
    case 7348:
    case 7352:
    case 7363:
    case 7365:
    case 7366:
    case 7369:
    case 7370:
    case 7372:
    case 7377:
    case 7378:
    case 7380:
    case 7384:
    case 7393:
    case 7394:
    case 7396:
    case 7400:
    case 7408:
    case 7431:
    case 7435:
    case 7437:
    case 7438:
    case 7443:
    case 7445:
    case 7446:
    case 7449:
    case 7450:
    case 7452:
    case 7459:
    case 7461:
    case 7462:
    case 7465:
    case 7466:
    case 7468:
    case 7473:
    case 7474:
    case 7476:
    case 7480:
    case 7491:
    case 7493:
    case 7494:
    case 7497:
    case 7498:
    case 7500:
    case 7505:
    case 7506:
    case 7508:
    case 7512:
    case 7521:
    case 7522:
    case 7524:
    case 7528:
    case 7536:
    case 7555:
    case 7557:
    case 7558:
    case 7561:
    case 7562:
    case 7564:
    case 7569:
    case 7570:
    case 7572:
    case 7576:
    case 7585:
    case 7586:
    case 7588:
    case 7592:
    case 7600:
    case 7617:
    case 7618:
    case 7620:
    case 7624:
    case 7632:
    case 7648:
    case 7687:
    case 7691:
    case 7693:
    case 7694:
    case 7699:
    case 7701:
    case 7702:
    case 7705:
    case 7706:
    case 7708:
    case 7715:
    case 7717:
    case 7718:
    case 7721:
    case 7722:
    case 7724:
    case 7729:
    case 7730:
    case 7732:
    case 7736:
    case 7747:
    case 7749:
    case 7750:
    case 7753:
    case 7754:
    case 7756:
    case 7761:
    case 7762:
    case 7764:
    case 7768:
    case 7777:
    case 7778:
    case 7780:
    case 7784:
    case 7792:
    case 7811:
    case 7813:
    case 7814:
    case 7817:
    case 7818:
    case 7820:
    case 7825:
    case 7826:
    case 7828:
    case 7832:
    case 7841:
    case 7842:
    case 7844:
    case 7848:
    case 7856:
    case 7873:
    case 7874:
    case 7876:
    case 7880:
    case 7888:
    case 7904:
#define STRAIGHT_FLUSH_helper_P(suit) 0
#define FOUR_OF_A_KIND_complete_P() 0
#define FULL_HOUSE_complete_P(three_info) 0
#define THREE_OF_A_KIND_helper_P() 0
#define STRAIGHT_P() 0
#define AT_LEAST_PAIR_P() 0
#define PAIR_P() 0

#include "inlines/evx_action.h"

#undef STRAIGHT_FLUSH_helper_P
#undef FOUR_OF_A_KIND_complete_P
#undef STRAIGHT_P
#undef FLUSH_helper_P
#undef FULL_HOUSE_complete_P
#undef THREE_OF_A_KIND_helper_P
#undef AT_LEAST_PAIR_P
#undef PAIR_P
      break;
    case 127:
    case 191:
    case 223:
    case 251:
    case 253:
    case 254:
    case 319:
    case 351:
    case 381:
    case 382:
    case 415:
    case 446:
    case 499:
    case 501:
    case 502:
    case 505:
    case 506:
    case 508:
    case 575:
    case 607:
    case 637:
    case 638:
    case 671:
    case 702:
    case 761:
    case 762:
    case 764:
    case 799:
    case 830:
    case 892:
    case 995:
    case 997:
    case 998:
    case 1001:
    case 1002:
    case 1004:
    case 1009:
    case 1010:
    case 1012:
    case 1016:
    case 1087:
    case 1119:
    case 1149:
    case 1150:
    case 1183:
    case 1214:
    case 1273:
    case 1274:
    case 1276:
    case 1311:
    case 1342:
    case 1404:
    case 1521:
    case 1522:
    case 1524:
    case 1528:
    case 1567:
    case 1598:
    case 1660:
    case 1784:
    case 1987:
    case 1989:
    case 1990:
    case 1993:
    case 1994:
    case 1996:
    case 2001:
    case 2002:
    case 2004:
    case 2008:
    case 2017:
    case 2018:
    case 2020:
    case 2024:
    case 2032:
    case 2111:
    case 2143:
    case 2173:
    case 2174:
    case 2207:
    case 2238:
    case 2297:
    case 2298:
    case 2300:
    case 2335:
    case 2366:
    case 2428:
    case 2545:
    case 2546:
    case 2548:
    case 2552:
    case 2591:
    case 2622:
    case 2684:
    case 2808:
    case 3041:
    case 3042:
    case 3044:
    case 3048:
    case 3056:
    case 3103:
    case 3134:
    case 3196:
    case 3320:
    case 3568:
    case 3971:
    case 3973:
    case 3974:
    case 3977:
    case 3978:
    case 3980:
    case 3985:
    case 3986:
    case 3988:
    case 3992:
    case 4001:
    case 4002:
    case 4004:
    case 4008:
    case 4016:
    case 4033:
    case 4034:
    case 4036:
    case 4040:
    case 4048:
    case 4064:
    case 4159:
    case 4191:
    case 4207:
    case 4221:
    case 4222:
    case 4255:
    case 4271:
    case 4286:
    case 4303:
    case 4345:
    case 4346:
    case 4348:
    case 4383:
    case 4399:
    case 4414:
    case 4431:
    case 4476:
    case 4495:
    case 4593:
    case 4594:
    case 4596:
    case 4600:
    case 4639:
    case 4655:
    case 4670:
    case 4687:
    case 4732:
    case 4751:
    case 4856:
    case 4879:
    case 5089:
    case 5090:
    case 5092:
    case 5096:
    case 5104:
    case 5151:
    case 5167:
    case 5182:
    case 5199:
    case 5244:
    case 5263:
    case 5368:
    case 5391:
    case 5616:
    case 5647:
    case 6081:
    case 6082:
    case 6084:
    case 6088:
    case 6096:
    case 6112:
    case 6175:
    case 6191:
    case 6206:
    case 6223:
    case 6268:
    case 6287:
    case 6392:
    case 6415:
    case 6640:
    case 6671:
    case 7136:
    case 7183:
    case 7939:
    case 7941:
    case 7942:
    case 7945:
    case 7946:
    case 7948:
    case 7953:
    case 7954:
    case 7956:
    case 7960:
    case 7969:
    case 7970:
    case 7972:
    case 7976:
    case 7984:
    case 8001:
    case 8002:
    case 8004:
    case 8008:
    case 8016:
    case 8032:
    case 8065:
    case 8066:
    case 8068:
    case 8072:
    case 8080:
    case 8096:
    case 8128:
#define FOUR_OF_A_KIND_complete_P() 0
#define FULL_HOUSE_complete_P(three_info) 0
#define THREE_OF_A_KIND_helper_P() 0
#define STRAIGHT_P() 1
#define AT_LEAST_PAIR_P() 0
#define PAIR_P() 0

#include "inlines/evx_action.h"

#undef STRAIGHT_FLUSH_helper_P
#undef FOUR_OF_A_KIND_complete_P
#undef STRAIGHT_P
#undef FLUSH_helper_P
#undef FULL_HOUSE_complete_P
#undef THREE_OF_A_KIND_helper_P
#undef AT_LEAST_PAIR_P
#undef PAIR_P
      break;
    case 47:
    case 55:
    case 59:
    case 61:
    case 79:
    case 87:
    case 91:
    case 93:
    case 94:
    case 103:
    case 107:
    case 109:
    case 110:
    case 115:
    case 117:
    case 118:
    case 121:
    case 122:
    case 143:
    case 151:
    case 155:
    case 157:
    case 158:
    case 167:
    case 171:
    case 173:
    case 174:
    case 179:
    case 181:
    case 182:
    case 185:
    case 186:
    case 188:
    case 199:
    case 203:
    case 205:
    case 206:
    case 211:
    case 213:
    case 214:
    case 217:
    case 218:
    case 220:
    case 227:
    case 229:
    case 230:
    case 233:
    case 234:
    case 236:
    case 241:
    case 242:
    case 244:
    case 271:
    case 279:
    case 283:
    case 285:
    case 286:
    case 295:
    case 299:
    case 301:
    case 302:
    case 307:
    case 309:
    case 310:
    case 313:
    case 314:
    case 316:
    case 327:
    case 331:
    case 333:
    case 334:
    case 339:
    case 341:
    case 342:
    case 345:
    case 346:
    case 348:
    case 355:
    case 357:
    case 358:
    case 361:
    case 362:
    case 364:
    case 369:
    case 370:
    case 372:
    case 376:
    case 391:
    case 395:
    case 397:
    case 398:
    case 403:
    case 405:
    case 406:
    case 409:
    case 410:
    case 412:
    case 419:
    case 421:
    case 422:
    case 425:
    case 426:
    case 428:
    case 433:
    case 434:
    case 436:
    case 440:
    case 451:
    case 453:
    case 454:
    case 457:
    case 458:
    case 460:
    case 465:
    case 466:
    case 468:
    case 472:
    case 481:
    case 482:
    case 484:
    case 488:
    case 527:
    case 535:
    case 539:
    case 541:
    case 542:
    case 551:
    case 555:
    case 557:
    case 558:
    case 563:
    case 565:
    case 566:
    case 569:
    case 570:
    case 572:
    case 583:
    case 587:
    case 589:
    case 590:
    case 595:
    case 597:
    case 598:
    case 601:
    case 602:
    case 604:
    case 611:
    case 613:
    case 614:
    case 617:
    case 618:
    case 620:
    case 625:
    case 626:
    case 628:
    case 632:
    case 647:
    case 651:
    case 653:
    case 654:
    case 659:
    case 661:
    case 662:
    case 665:
    case 666:
    case 668:
    case 675:
    case 677:
    case 678:
    case 681:
    case 682:
    case 684:
    case 689:
    case 690:
    case 692:
    case 696:
    case 707:
    case 709:
    case 710:
    case 713:
    case 714:
    case 716:
    case 721:
    case 722:
    case 724:
    case 728:
    case 737:
    case 738:
    case 740:
    case 744:
    case 752:
    case 775:
    case 779:
    case 781:
    case 782:
    case 787:
    case 789:
    case 790:
    case 793:
    case 794:
    case 796:
    case 803:
    case 805:
    case 806:
    case 809:
    case 810:
    case 812:
    case 817:
    case 818:
    case 820:
    case 824:
    case 835:
    case 837:
    case 838:
    case 841:
    case 842:
    case 844:
    case 849:
    case 850:
    case 852:
    case 856:
    case 865:
    case 866:
    case 868:
    case 872:
    case 880:
    case 899:
    case 901:
    case 902:
    case 905:
    case 906:
    case 908:
    case 913:
    case 914:
    case 916:
    case 920:
    case 929:
    case 930:
    case 932:
    case 936:
    case 944:
    case 961:
    case 962:
    case 964:
    case 968:
    case 976:
    case 1039:
    case 1047:
    case 1051:
    case 1053:
    case 1054:
    case 1063:
    case 1067:
    case 1069:
    case 1070:
    case 1075:
    case 1077:
    case 1078:
    case 1081:
    case 1082:
    case 1084:
    case 1095:
    case 1099:
    case 1101:
    case 1102:
    case 1107:
    case 1109:
    case 1110:
    case 1113:
    case 1114:
    case 1116:
    case 1123:
    case 1125:
    case 1126:
    case 1129:
    case 1130:
    case 1132:
    case 1137:
    case 1138:
    case 1140:
    case 1144:
    case 1159:
    case 1163:
    case 1165:
    case 1166:
    case 1171:
    case 1173:
    case 1174:
    case 1177:
    case 1178:
    case 1180:
    case 1187:
    case 1189:
    case 1190:
    case 1193:
    case 1194:
    case 1196:
    case 1201:
    case 1202:
    case 1204:
    case 1208:
    case 1219:
    case 1221:
    case 1222:
    case 1225:
    case 1226:
    case 1228:
    case 1233:
    case 1234:
    case 1236:
    case 1240:
    case 1249:
    case 1250:
    case 1252:
    case 1256:
    case 1264:
    case 1287:
    case 1291:
    case 1293:
    case 1294:
    case 1299:
    case 1301:
    case 1302:
    case 1305:
    case 1306:
    case 1308:
    case 1315:
    case 1317:
    case 1318:
    case 1321:
    case 1322:
    case 1324:
    case 1329:
    case 1330:
    case 1332:
    case 1336:
    case 1347:
    case 1349:
    case 1350:
    case 1353:
    case 1354:
    case 1356:
    case 1361:
    case 1362:
    case 1364:
    case 1368:
    case 1377:
    case 1378:
    case 1380:
    case 1384:
    case 1392:
    case 1411:
    case 1413:
    case 1414:
    case 1417:
    case 1418:
    case 1420:
    case 1425:
    case 1426:
    case 1428:
    case 1432:
    case 1441:
    case 1442:
    case 1444:
    case 1448:
    case 1456:
    case 1473:
    case 1474:
    case 1476:
    case 1480:
    case 1488:
    case 1504:
    case 1543:
    case 1547:
    case 1549:
    case 1550:
    case 1555:
    case 1557:
    case 1558:
    case 1561:
    case 1562:
    case 1564:
    case 1571:
    case 1573:
    case 1574:
    case 1577:
    case 1578:
    case 1580:
    case 1585:
    case 1586:
    case 1588:
    case 1592:
    case 1603:
    case 1605:
    case 1606:
    case 1609:
    case 1610:
    case 1612:
    case 1617:
    case 1618:
    case 1620:
    case 1624:
    case 1633:
    case 1634:
    case 1636:
    case 1640:
    case 1648:
    case 1667:
    case 1669:
    case 1670:
    case 1673:
    case 1674:
    case 1676:
    case 1681:
    case 1682:
    case 1684:
    case 1688:
    case 1697:
    case 1698:
    case 1700:
    case 1704:
    case 1712:
    case 1729:
    case 1730:
    case 1732:
    case 1736:
    case 1744:
    case 1760:
    case 1795:
    case 1797:
    case 1798:
    case 1801:
    case 1802:
    case 1804:
    case 1809:
    case 1810:
    case 1812:
    case 1816:
    case 1825:
    case 1826:
    case 1828:
    case 1832:
    case 1840:
    case 1857:
    case 1858:
    case 1860:
    case 1864:
    case 1872:
    case 1888:
    case 1921:
    case 1922:
    case 1924:
    case 1928:
    case 1936:
    case 1952:
    case 2063:
    case 2071:
    case 2075:
    case 2077:
    case 2078:
    case 2087:
    case 2091:
    case 2093:
    case 2094:
    case 2099:
    case 2101:
    case 2102:
    case 2105:
    case 2106:
    case 2108:
    case 2119:
    case 2123:
    case 2125:
    case 2126:
    case 2131:
    case 2133:
    case 2134:
    case 2137:
    case 2138:
    case 2140:
    case 2147:
    case 2149:
    case 2150:
    case 2153:
    case 2154:
    case 2156:
    case 2161:
    case 2162:
    case 2164:
    case 2168:
    case 2183:
    case 2187:
    case 2189:
    case 2190:
    case 2195:
    case 2197:
    case 2198:
    case 2201:
    case 2202:
    case 2204:
    case 2211:
    case 2213:
    case 2214:
    case 2217:
    case 2218:
    case 2220:
    case 2225:
    case 2226:
    case 2228:
    case 2232:
    case 2243:
    case 2245:
    case 2246:
    case 2249:
    case 2250:
    case 2252:
    case 2257:
    case 2258:
    case 2260:
    case 2264:
    case 2273:
    case 2274:
    case 2276:
    case 2280:
    case 2288:
    case 2311:
    case 2315:
    case 2317:
    case 2318:
    case 2323:
    case 2325:
    case 2326:
    case 2329:
    case 2330:
    case 2332:
    case 2339:
    case 2341:
    case 2342:
    case 2345:
    case 2346:
    case 2348:
    case 2353:
    case 2354:
    case 2356:
    case 2360:
    case 2371:
    case 2373:
    case 2374:
    case 2377:
    case 2378:
    case 2380:
    case 2385:
    case 2386:
    case 2388:
    case 2392:
    case 2401:
    case 2402:
    case 2404:
    case 2408:
    case 2416:
    case 2435:
    case 2437:
    case 2438:
    case 2441:
    case 2442:
    case 2444:
    case 2449:
    case 2450:
    case 2452:
    case 2456:
    case 2465:
    case 2466:
    case 2468:
    case 2472:
    case 2480:
    case 2497:
    case 2498:
    case 2500:
    case 2504:
    case 2512:
    case 2528:
    case 2567:
    case 2571:
    case 2573:
    case 2574:
    case 2579:
    case 2581:
    case 2582:
    case 2585:
    case 2586:
    case 2588:
    case 2595:
    case 2597:
    case 2598:
    case 2601:
    case 2602:
    case 2604:
    case 2609:
    case 2610:
    case 2612:
    case 2616:
    case 2627:
    case 2629:
    case 2630:
    case 2633:
    case 2634:
    case 2636:
    case 2641:
    case 2642:
    case 2644:
    case 2648:
    case 2657:
    case 2658:
    case 2660:
    case 2664:
    case 2672:
    case 2691:
    case 2693:
    case 2694:
    case 2697:
    case 2698:
    case 2700:
    case 2705:
    case 2706:
    case 2708:
    case 2712:
    case 2721:
    case 2722:
    case 2724:
    case 2728:
    case 2736:
    case 2753:
    case 2754:
    case 2756:
    case 2760:
    case 2768:
    case 2784:
    case 2819:
    case 2821:
    case 2822:
    case 2825:
    case 2826:
    case 2828:
    case 2833:
    case 2834:
    case 2836:
    case 2840:
    case 2849:
    case 2850:
    case 2852:
    case 2856:
    case 2864:
    case 2881:
    case 2882:
    case 2884:
    case 2888:
    case 2896:
    case 2912:
    case 2945:
    case 2946:
    case 2948:
    case 2952:
    case 2960:
    case 2976:
    case 3008:
    case 3079:
    case 3083:
    case 3085:
    case 3086:
    case 3091:
    case 3093:
    case 3094:
    case 3097:
    case 3098:
    case 3100:
    case 3107:
    case 3109:
    case 3110:
    case 3113:
    case 3114:
    case 3116:
    case 3121:
    case 3122:
    case 3124:
    case 3128:
    case 3139:
    case 3141:
    case 3142:
    case 3145:
    case 3146:
    case 3148:
    case 3153:
    case 3154:
    case 3156:
    case 3160:
    case 3169:
    case 3170:
    case 3172:
    case 3176:
    case 3184:
    case 3203:
    case 3205:
    case 3206:
    case 3209:
    case 3210:
    case 3212:
    case 3217:
    case 3218:
    case 3220:
    case 3224:
    case 3233:
    case 3234:
    case 3236:
    case 3240:
    case 3248:
    case 3265:
    case 3266:
    case 3268:
    case 3272:
    case 3280:
    case 3296:
    case 3331:
    case 3333:
    case 3334:
    case 3337:
    case 3338:
    case 3340:
    case 3345:
    case 3346:
    case 3348:
    case 3352:
    case 3361:
    case 3362:
    case 3364:
    case 3368:
    case 3376:
    case 3393:
    case 3394:
    case 3396:
    case 3400:
    case 3408:
    case 3424:
    case 3457:
    case 3458:
    case 3460:
    case 3464:
    case 3472:
    case 3488:
    case 3520:
    case 3587:
    case 3589:
    case 3590:
    case 3593:
    case 3594:
    case 3596:
    case 3601:
    case 3602:
    case 3604:
    case 3608:
    case 3617:
    case 3618:
    case 3620:
    case 3624:
    case 3632:
    case 3649:
    case 3650:
    case 3652:
    case 3656:
    case 3664:
    case 3680:
    case 3713:
    case 3714:
    case 3716:
    case 3720:
    case 3728:
    case 3744:
    case 3776:
    case 3841:
    case 3842:
    case 3844:
    case 3848:
    case 3856:
    case 3872:
    case 3904:
    case 4119:
    case 4123:
    case 4125:
    case 4126:
    case 4135:
    case 4139:
    case 4141:
    case 4142:
    case 4147:
    case 4149:
    case 4150:
    case 4153:
    case 4154:
    case 4156:
    case 4167:
    case 4171:
    case 4173:
    case 4174:
    case 4179:
    case 4181:
    case 4182:
    case 4185:
    case 4186:
    case 4188:
    case 4195:
    case 4197:
    case 4198:
    case 4201:
    case 4202:
    case 4204:
    case 4209:
    case 4210:
    case 4212:
    case 4216:
    case 4231:
    case 4235:
    case 4237:
    case 4238:
    case 4243:
    case 4245:
    case 4246:
    case 4249:
    case 4250:
    case 4252:
    case 4259:
    case 4261:
    case 4262:
    case 4265:
    case 4266:
    case 4268:
    case 4273:
    case 4274:
    case 4276:
    case 4280:
    case 4291:
    case 4293:
    case 4294:
    case 4297:
    case 4298:
    case 4300:
    case 4305:
    case 4306:
    case 4308:
    case 4312:
    case 4321:
    case 4322:
    case 4324:
    case 4328:
    case 4336:
    case 4359:
    case 4363:
    case 4365:
    case 4366:
    case 4371:
    case 4373:
    case 4374:
    case 4377:
    case 4378:
    case 4380:
    case 4387:
    case 4389:
    case 4390:
    case 4393:
    case 4394:
    case 4396:
    case 4401:
    case 4402:
    case 4404:
    case 4408:
    case 4419:
    case 4421:
    case 4422:
    case 4425:
    case 4426:
    case 4428:
    case 4433:
    case 4434:
    case 4436:
    case 4440:
    case 4449:
    case 4450:
    case 4452:
    case 4456:
    case 4464:
    case 4483:
    case 4485:
    case 4486:
    case 4489:
    case 4490:
    case 4492:
    case 4497:
    case 4498:
    case 4500:
    case 4504:
    case 4513:
    case 4514:
    case 4516:
    case 4520:
    case 4528:
    case 4545:
    case 4546:
    case 4548:
    case 4552:
    case 4560:
    case 4576:
    case 4615:
    case 4619:
    case 4621:
    case 4622:
    case 4627:
    case 4629:
    case 4630:
    case 4633:
    case 4634:
    case 4636:
    case 4643:
    case 4645:
    case 4646:
    case 4649:
    case 4650:
    case 4652:
    case 4657:
    case 4658:
    case 4660:
    case 4664:
    case 4675:
    case 4677:
    case 4678:
    case 4681:
    case 4682:
    case 4684:
    case 4689:
    case 4690:
    case 4692:
    case 4696:
    case 4705:
    case 4706:
    case 4708:
    case 4712:
    case 4720:
    case 4739:
    case 4741:
    case 4742:
    case 4745:
    case 4746:
    case 4748:
    case 4753:
    case 4754:
    case 4756:
    case 4760:
    case 4769:
    case 4770:
    case 4772:
    case 4776:
    case 4784:
    case 4801:
    case 4802:
    case 4804:
    case 4808:
    case 4816:
    case 4832:
    case 4867:
    case 4869:
    case 4870:
    case 4873:
    case 4874:
    case 4876:
    case 4881:
    case 4882:
    case 4884:
    case 4888:
    case 4897:
    case 4898:
    case 4900:
    case 4904:
    case 4912:
    case 4929:
    case 4930:
    case 4932:
    case 4936:
    case 4944:
    case 4960:
    case 4993:
    case 4994:
    case 4996:
    case 5000:
    case 5008:
    case 5024:
    case 5056:
    case 5127:
    case 5131:
    case 5133:
    case 5134:
    case 5139:
    case 5141:
    case 5142:
    case 5145:
    case 5146:
    case 5148:
    case 5155:
    case 5157:
    case 5158:
    case 5161:
    case 5162:
    case 5164:
    case 5169:
    case 5170:
    case 5172:
    case 5176:
    case 5187:
    case 5189:
    case 5190:
    case 5193:
    case 5194:
    case 5196:
    case 5201:
    case 5202:
    case 5204:
    case 5208:
    case 5217:
    case 5218:
    case 5220:
    case 5224:
    case 5232:
    case 5251:
    case 5253:
    case 5254:
    case 5257:
    case 5258:
    case 5260:
    case 5265:
    case 5266:
    case 5268:
    case 5272:
    case 5281:
    case 5282:
    case 5284:
    case 5288:
    case 5296:
    case 5313:
    case 5314:
    case 5316:
    case 5320:
    case 5328:
    case 5344:
    case 5379:
    case 5381:
    case 5382:
    case 5385:
    case 5386:
    case 5388:
    case 5393:
    case 5394:
    case 5396:
    case 5400:
    case 5409:
    case 5410:
    case 5412:
    case 5416:
    case 5424:
    case 5441:
    case 5442:
    case 5444:
    case 5448:
    case 5456:
    case 5472:
    case 5505:
    case 5506:
    case 5508:
    case 5512:
    case 5520:
    case 5536:
    case 5568:
    case 5635:
    case 5637:
    case 5638:
    case 5641:
    case 5642:
    case 5644:
    case 5649:
    case 5650:
    case 5652:
    case 5656:
    case 5665:
    case 5666:
    case 5668:
    case 5672:
    case 5680:
    case 5697:
    case 5698:
    case 5700:
    case 5704:
    case 5712:
    case 5728:
    case 5761:
    case 5762:
    case 5764:
    case 5768:
    case 5776:
    case 5792:
    case 5824:
    case 5889:
    case 5890:
    case 5892:
    case 5896:
    case 5904:
    case 5920:
    case 5952:
    case 6016:
    case 6151:
    case 6155:
    case 6157:
    case 6158:
    case 6163:
    case 6165:
    case 6166:
    case 6169:
    case 6170:
    case 6172:
    case 6179:
    case 6181:
    case 6182:
    case 6185:
    case 6186:
    case 6188:
    case 6193:
    case 6194:
    case 6196:
    case 6200:
    case 6211:
    case 6213:
    case 6214:
    case 6217:
    case 6218:
    case 6220:
    case 6225:
    case 6226:
    case 6228:
    case 6232:
    case 6241:
    case 6242:
    case 6244:
    case 6248:
    case 6256:
    case 6275:
    case 6277:
    case 6278:
    case 6281:
    case 6282:
    case 6284:
    case 6289:
    case 6290:
    case 6292:
    case 6296:
    case 6305:
    case 6306:
    case 6308:
    case 6312:
    case 6320:
    case 6337:
    case 6338:
    case 6340:
    case 6344:
    case 6352:
    case 6368:
    case 6403:
    case 6405:
    case 6406:
    case 6409:
    case 6410:
    case 6412:
    case 6417:
    case 6418:
    case 6420:
    case 6424:
    case 6433:
    case 6434:
    case 6436:
    case 6440:
    case 6448:
    case 6465:
    case 6466:
    case 6468:
    case 6472:
    case 6480:
    case 6496:
    case 6529:
    case 6530:
    case 6532:
    case 6536:
    case 6544:
    case 6560:
    case 6592:
    case 6659:
    case 6661:
    case 6662:
    case 6665:
    case 6666:
    case 6668:
    case 6673:
    case 6674:
    case 6676:
    case 6680:
    case 6689:
    case 6690:
    case 6692:
    case 6696:
    case 6704:
    case 6721:
    case 6722:
    case 6724:
    case 6728:
    case 6736:
    case 6752:
    case 6785:
    case 6786:
    case 6788:
    case 6792:
    case 6800:
    case 6816:
    case 6848:
    case 6913:
    case 6914:
    case 6916:
    case 6920:
    case 6928:
    case 6944:
    case 6976:
    case 7040:
    case 7171:
    case 7173:
    case 7174:
    case 7177:
    case 7178:
    case 7180:
    case 7185:
    case 7186:
    case 7188:
    case 7192:
    case 7201:
    case 7202:
    case 7204:
    case 7208:
    case 7216:
    case 7233:
    case 7234:
    case 7236:
    case 7240:
    case 7248:
    case 7264:
    case 7297:
    case 7298:
    case 7300:
    case 7304:
    case 7312:
    case 7328:
    case 7360:
    case 7425:
    case 7426:
    case 7428:
    case 7432:
    case 7440:
    case 7456:
    case 7488:
    case 7552:
    case 7681:
    case 7682:
    case 7684:
    case 7688:
    case 7696:
    case 7712:
    case 7744:
    case 7808:
#define STRAIGHT_FLUSH_helper_P(suit) 0
#define FOUR_OF_A_KIND_complete_P() 0
#define FULL_HOUSE_complete_P(three_info) 0
#define STRAIGHT_P() 0
#define AT_LEAST_PAIR_P() 1
#define PAIR_P() 0

#include "inlines/evx_action.h"

#undef STRAIGHT_FLUSH_helper_P
#undef FOUR_OF_A_KIND_complete_P
#undef STRAIGHT_P
#undef FLUSH_helper_P
#undef FULL_HOUSE_complete_P
#undef THREE_OF_A_KIND_helper_P
#undef AT_LEAST_PAIR_P
#undef PAIR_P
      break;
    case 31:
    case 62:
    case 124:
    case 248:
    case 496:
    case 992:
    case 1984:
    case 3968:
    case 4111:
    case 7936:
#define FOUR_OF_A_KIND_complete_P() 0
#define FULL_HOUSE_complete_P(three_info) 0
#define STRAIGHT_P() 1
#define AT_LEAST_PAIR_P() 1
#define PAIR_P() 0

#include "inlines/evx_action.h"

#undef STRAIGHT_FLUSH_helper_P
#undef FOUR_OF_A_KIND_complete_P
#undef STRAIGHT_P
#undef FLUSH_helper_P
#undef FULL_HOUSE_complete_P
#undef THREE_OF_A_KIND_helper_P
#undef AT_LEAST_PAIR_P
#undef PAIR_P
      break;
    case 3:
    case 5:
    case 6:
    case 7:
    case 9:
    case 10:
    case 11:
    case 12:
    case 13:
    case 14:
    case 15:
    case 17:
    case 18:
    case 19:
    case 20:
    case 21:
    case 22:
    case 23:
    case 24:
    case 25:
    case 26:
    case 27:
    case 28:
    case 29:
    case 30:
    case 33:
    case 34:
    case 35:
    case 36:
    case 37:
    case 38:
    case 39:
    case 40:
    case 41:
    case 42:
    case 43:
    case 44:
    case 45:
    case 46:
    case 48:
    case 49:
    case 50:
    case 51:
    case 52:
    case 53:
    case 54:
    case 56:
    case 57:
    case 58:
    case 60:
    case 65:
    case 66:
    case 67:
    case 68:
    case 69:
    case 70:
    case 71:
    case 72:
    case 73:
    case 74:
    case 75:
    case 76:
    case 77:
    case 78:
    case 80:
    case 81:
    case 82:
    case 83:
    case 84:
    case 85:
    case 86:
    case 88:
    case 89:
    case 90:
    case 92:
    case 96:
    case 97:
    case 98:
    case 99:
    case 100:
    case 101:
    case 102:
    case 104:
    case 105:
    case 106:
    case 108:
    case 112:
    case 113:
    case 114:
    case 116:
    case 120:
    case 129:
    case 130:
    case 131:
    case 132:
    case 133:
    case 134:
    case 135:
    case 136:
    case 137:
    case 138:
    case 139:
    case 140:
    case 141:
    case 142:
    case 144:
    case 145:
    case 146:
    case 147:
    case 148:
    case 149:
    case 150:
    case 152:
    case 153:
    case 154:
    case 156:
    case 160:
    case 161:
    case 162:
    case 163:
    case 164:
    case 165:
    case 166:
    case 168:
    case 169:
    case 170:
    case 172:
    case 176:
    case 177:
    case 178:
    case 180:
    case 184:
    case 192:
    case 193:
    case 194:
    case 195:
    case 196:
    case 197:
    case 198:
    case 200:
    case 201:
    case 202:
    case 204:
    case 208:
    case 209:
    case 210:
    case 212:
    case 216:
    case 224:
    case 225:
    case 226:
    case 228:
    case 232:
    case 240:
    case 257:
    case 258:
    case 259:
    case 260:
    case 261:
    case 262:
    case 263:
    case 264:
    case 265:
    case 266:
    case 267:
    case 268:
    case 269:
    case 270:
    case 272:
    case 273:
    case 274:
    case 275:
    case 276:
    case 277:
    case 278:
    case 280:
    case 281:
    case 282:
    case 284:
    case 288:
    case 289:
    case 290:
    case 291:
    case 292:
    case 293:
    case 294:
    case 296:
    case 297:
    case 298:
    case 300:
    case 304:
    case 305:
    case 306:
    case 308:
    case 312:
    case 320:
    case 321:
    case 322:
    case 323:
    case 324:
    case 325:
    case 326:
    case 328:
    case 329:
    case 330:
    case 332:
    case 336:
    case 337:
    case 338:
    case 340:
    case 344:
    case 352:
    case 353:
    case 354:
    case 356:
    case 360:
    case 368:
    case 384:
    case 385:
    case 386:
    case 387:
    case 388:
    case 389:
    case 390:
    case 392:
    case 393:
    case 394:
    case 396:
    case 400:
    case 401:
    case 402:
    case 404:
    case 408:
    case 416:
    case 417:
    case 418:
    case 420:
    case 424:
    case 432:
    case 448:
    case 449:
    case 450:
    case 452:
    case 456:
    case 464:
    case 480:
    case 513:
    case 514:
    case 515:
    case 516:
    case 517:
    case 518:
    case 519:
    case 520:
    case 521:
    case 522:
    case 523:
    case 524:
    case 525:
    case 526:
    case 528:
    case 529:
    case 530:
    case 531:
    case 532:
    case 533:
    case 534:
    case 536:
    case 537:
    case 538:
    case 540:
    case 544:
    case 545:
    case 546:
    case 547:
    case 548:
    case 549:
    case 550:
    case 552:
    case 553:
    case 554:
    case 556:
    case 560:
    case 561:
    case 562:
    case 564:
    case 568:
    case 576:
    case 577:
    case 578:
    case 579:
    case 580:
    case 581:
    case 582:
    case 584:
    case 585:
    case 586:
    case 588:
    case 592:
    case 593:
    case 594:
    case 596:
    case 600:
    case 608:
    case 609:
    case 610:
    case 612:
    case 616:
    case 624:
    case 640:
    case 641:
    case 642:
    case 643:
    case 644:
    case 645:
    case 646:
    case 648:
    case 649:
    case 650:
    case 652:
    case 656:
    case 657:
    case 658:
    case 660:
    case 664:
    case 672:
    case 673:
    case 674:
    case 676:
    case 680:
    case 688:
    case 704:
    case 705:
    case 706:
    case 708:
    case 712:
    case 720:
    case 736:
    case 768:
    case 769:
    case 770:
    case 771:
    case 772:
    case 773:
    case 774:
    case 776:
    case 777:
    case 778:
    case 780:
    case 784:
    case 785:
    case 786:
    case 788:
    case 792:
    case 800:
    case 801:
    case 802:
    case 804:
    case 808:
    case 816:
    case 832:
    case 833:
    case 834:
    case 836:
    case 840:
    case 848:
    case 864:
    case 896:
    case 897:
    case 898:
    case 900:
    case 904:
    case 912:
    case 928:
    case 960:
    case 1025:
    case 1026:
    case 1027:
    case 1028:
    case 1029:
    case 1030:
    case 1031:
    case 1032:
    case 1033:
    case 1034:
    case 1035:
    case 1036:
    case 1037:
    case 1038:
    case 1040:
    case 1041:
    case 1042:
    case 1043:
    case 1044:
    case 1045:
    case 1046:
    case 1048:
    case 1049:
    case 1050:
    case 1052:
    case 1056:
    case 1057:
    case 1058:
    case 1059:
    case 1060:
    case 1061:
    case 1062:
    case 1064:
    case 1065:
    case 1066:
    case 1068:
    case 1072:
    case 1073:
    case 1074:
    case 1076:
    case 1080:
    case 1088:
    case 1089:
    case 1090:
    case 1091:
    case 1092:
    case 1093:
    case 1094:
    case 1096:
    case 1097:
    case 1098:
    case 1100:
    case 1104:
    case 1105:
    case 1106:
    case 1108:
    case 1112:
    case 1120:
    case 1121:
    case 1122:
    case 1124:
    case 1128:
    case 1136:
    case 1152:
    case 1153:
    case 1154:
    case 1155:
    case 1156:
    case 1157:
    case 1158:
    case 1160:
    case 1161:
    case 1162:
    case 1164:
    case 1168:
    case 1169:
    case 1170:
    case 1172:
    case 1176:
    case 1184:
    case 1185:
    case 1186:
    case 1188:
    case 1192:
    case 1200:
    case 1216:
    case 1217:
    case 1218:
    case 1220:
    case 1224:
    case 1232:
    case 1248:
    case 1280:
    case 1281:
    case 1282:
    case 1283:
    case 1284:
    case 1285:
    case 1286:
    case 1288:
    case 1289:
    case 1290:
    case 1292:
    case 1296:
    case 1297:
    case 1298:
    case 1300:
    case 1304:
    case 1312:
    case 1313:
    case 1314:
    case 1316:
    case 1320:
    case 1328:
    case 1344:
    case 1345:
    case 1346:
    case 1348:
    case 1352:
    case 1360:
    case 1376:
    case 1408:
    case 1409:
    case 1410:
    case 1412:
    case 1416:
    case 1424:
    case 1440:
    case 1472:
    case 1536:
    case 1537:
    case 1538:
    case 1539:
    case 1540:
    case 1541:
    case 1542:
    case 1544:
    case 1545:
    case 1546:
    case 1548:
    case 1552:
    case 1553:
    case 1554:
    case 1556:
    case 1560:
    case 1568:
    case 1569:
    case 1570:
    case 1572:
    case 1576:
    case 1584:
    case 1600:
    case 1601:
    case 1602:
    case 1604:
    case 1608:
    case 1616:
    case 1632:
    case 1664:
    case 1665:
    case 1666:
    case 1668:
    case 1672:
    case 1680:
    case 1696:
    case 1728:
    case 1792:
    case 1793:
    case 1794:
    case 1796:
    case 1800:
    case 1808:
    case 1824:
    case 1856:
    case 1920:
    case 2049:
    case 2050:
    case 2051:
    case 2052:
    case 2053:
    case 2054:
    case 2055:
    case 2056:
    case 2057:
    case 2058:
    case 2059:
    case 2060:
    case 2061:
    case 2062:
    case 2064:
    case 2065:
    case 2066:
    case 2067:
    case 2068:
    case 2069:
    case 2070:
    case 2072:
    case 2073:
    case 2074:
    case 2076:
    case 2080:
    case 2081:
    case 2082:
    case 2083:
    case 2084:
    case 2085:
    case 2086:
    case 2088:
    case 2089:
    case 2090:
    case 2092:
    case 2096:
    case 2097:
    case 2098:
    case 2100:
    case 2104:
    case 2112:
    case 2113:
    case 2114:
    case 2115:
    case 2116:
    case 2117:
    case 2118:
    case 2120:
    case 2121:
    case 2122:
    case 2124:
    case 2128:
    case 2129:
    case 2130:
    case 2132:
    case 2136:
    case 2144:
    case 2145:
    case 2146:
    case 2148:
    case 2152:
    case 2160:
    case 2176:
    case 2177:
    case 2178:
    case 2179:
    case 2180:
    case 2181:
    case 2182:
    case 2184:
    case 2185:
    case 2186:
    case 2188:
    case 2192:
    case 2193:
    case 2194:
    case 2196:
    case 2200:
    case 2208:
    case 2209:
    case 2210:
    case 2212:
    case 2216:
    case 2224:
    case 2240:
    case 2241:
    case 2242:
    case 2244:
    case 2248:
    case 2256:
    case 2272:
    case 2304:
    case 2305:
    case 2306:
    case 2307:
    case 2308:
    case 2309:
    case 2310:
    case 2312:
    case 2313:
    case 2314:
    case 2316:
    case 2320:
    case 2321:
    case 2322:
    case 2324:
    case 2328:
    case 2336:
    case 2337:
    case 2338:
    case 2340:
    case 2344:
    case 2352:
    case 2368:
    case 2369:
    case 2370:
    case 2372:
    case 2376:
    case 2384:
    case 2400:
    case 2432:
    case 2433:
    case 2434:
    case 2436:
    case 2440:
    case 2448:
    case 2464:
    case 2496:
    case 2560:
    case 2561:
    case 2562:
    case 2563:
    case 2564:
    case 2565:
    case 2566:
    case 2568:
    case 2569:
    case 2570:
    case 2572:
    case 2576:
    case 2577:
    case 2578:
    case 2580:
    case 2584:
    case 2592:
    case 2593:
    case 2594:
    case 2596:
    case 2600:
    case 2608:
    case 2624:
    case 2625:
    case 2626:
    case 2628:
    case 2632:
    case 2640:
    case 2656:
    case 2688:
    case 2689:
    case 2690:
    case 2692:
    case 2696:
    case 2704:
    case 2720:
    case 2752:
    case 2816:
    case 2817:
    case 2818:
    case 2820:
    case 2824:
    case 2832:
    case 2848:
    case 2880:
    case 2944:
    case 3072:
    case 3073:
    case 3074:
    case 3075:
    case 3076:
    case 3077:
    case 3078:
    case 3080:
    case 3081:
    case 3082:
    case 3084:
    case 3088:
    case 3089:
    case 3090:
    case 3092:
    case 3096:
    case 3104:
    case 3105:
    case 3106:
    case 3108:
    case 3112:
    case 3120:
    case 3136:
    case 3137:
    case 3138:
    case 3140:
    case 3144:
    case 3152:
    case 3168:
    case 3200:
    case 3201:
    case 3202:
    case 3204:
    case 3208:
    case 3216:
    case 3232:
    case 3264:
    case 3328:
    case 3329:
    case 3330:
    case 3332:
    case 3336:
    case 3344:
    case 3360:
    case 3392:
    case 3456:
    case 3584:
    case 3585:
    case 3586:
    case 3588:
    case 3592:
    case 3600:
    case 3616:
    case 3648:
    case 3712:
    case 3840:
    case 4097:
    case 4098:
    case 4099:
    case 4100:
    case 4101:
    case 4102:
    case 4103:
    case 4104:
    case 4105:
    case 4106:
    case 4107:
    case 4108:
    case 4109:
    case 4110:
    case 4112:
    case 4113:
    case 4114:
    case 4115:
    case 4116:
    case 4117:
    case 4118:
    case 4120:
    case 4121:
    case 4122:
    case 4124:
    case 4128:
    case 4129:
    case 4130:
    case 4131:
    case 4132:
    case 4133:
    case 4134:
    case 4136:
    case 4137:
    case 4138:
    case 4140:
    case 4144:
    case 4145:
    case 4146:
    case 4148:
    case 4152:
    case 4160:
    case 4161:
    case 4162:
    case 4163:
    case 4164:
    case 4165:
    case 4166:
    case 4168:
    case 4169:
    case 4170:
    case 4172:
    case 4176:
    case 4177:
    case 4178:
    case 4180:
    case 4184:
    case 4192:
    case 4193:
    case 4194:
    case 4196:
    case 4200:
    case 4208:
    case 4224:
    case 4225:
    case 4226:
    case 4227:
    case 4228:
    case 4229:
    case 4230:
    case 4232:
    case 4233:
    case 4234:
    case 4236:
    case 4240:
    case 4241:
    case 4242:
    case 4244:
    case 4248:
    case 4256:
    case 4257:
    case 4258:
    case 4260:
    case 4264:
    case 4272:
    case 4288:
    case 4289:
    case 4290:
    case 4292:
    case 4296:
    case 4304:
    case 4320:
    case 4352:
    case 4353:
    case 4354:
    case 4355:
    case 4356:
    case 4357:
    case 4358:
    case 4360:
    case 4361:
    case 4362:
    case 4364:
    case 4368:
    case 4369:
    case 4370:
    case 4372:
    case 4376:
    case 4384:
    case 4385:
    case 4386:
    case 4388:
    case 4392:
    case 4400:
    case 4416:
    case 4417:
    case 4418:
    case 4420:
    case 4424:
    case 4432:
    case 4448:
    case 4480:
    case 4481:
    case 4482:
    case 4484:
    case 4488:
    case 4496:
    case 4512:
    case 4544:
    case 4608:
    case 4609:
    case 4610:
    case 4611:
    case 4612:
    case 4613:
    case 4614:
    case 4616:
    case 4617:
    case 4618:
    case 4620:
    case 4624:
    case 4625:
    case 4626:
    case 4628:
    case 4632:
    case 4640:
    case 4641:
    case 4642:
    case 4644:
    case 4648:
    case 4656:
    case 4672:
    case 4673:
    case 4674:
    case 4676:
    case 4680:
    case 4688:
    case 4704:
    case 4736:
    case 4737:
    case 4738:
    case 4740:
    case 4744:
    case 4752:
    case 4768:
    case 4800:
    case 4864:
    case 4865:
    case 4866:
    case 4868:
    case 4872:
    case 4880:
    case 4896:
    case 4928:
    case 4992:
    case 5120:
    case 5121:
    case 5122:
    case 5123:
    case 5124:
    case 5125:
    case 5126:
    case 5128:
    case 5129:
    case 5130:
    case 5132:
    case 5136:
    case 5137:
    case 5138:
    case 5140:
    case 5144:
    case 5152:
    case 5153:
    case 5154:
    case 5156:
    case 5160:
    case 5168:
    case 5184:
    case 5185:
    case 5186:
    case 5188:
    case 5192:
    case 5200:
    case 5216:
    case 5248:
    case 5249:
    case 5250:
    case 5252:
    case 5256:
    case 5264:
    case 5280:
    case 5312:
    case 5376:
    case 5377:
    case 5378:
    case 5380:
    case 5384:
    case 5392:
    case 5408:
    case 5440:
    case 5504:
    case 5632:
    case 5633:
    case 5634:
    case 5636:
    case 5640:
    case 5648:
    case 5664:
    case 5696:
    case 5760:
    case 5888:
    case 6144:
    case 6145:
    case 6146:
    case 6147:
    case 6148:
    case 6149:
    case 6150:
    case 6152:
    case 6153:
    case 6154:
    case 6156:
    case 6160:
    case 6161:
    case 6162:
    case 6164:
    case 6168:
    case 6176:
    case 6177:
    case 6178:
    case 6180:
    case 6184:
    case 6192:
    case 6208:
    case 6209:
    case 6210:
    case 6212:
    case 6216:
    case 6224:
    case 6240:
    case 6272:
    case 6273:
    case 6274:
    case 6276:
    case 6280:
    case 6288:
    case 6304:
    case 6336:
    case 6400:
    case 6401:
    case 6402:
    case 6404:
    case 6408:
    case 6416:
    case 6432:
    case 6464:
    case 6528:
    case 6656:
    case 6657:
    case 6658:
    case 6660:
    case 6664:
    case 6672:
    case 6688:
    case 6720:
    case 6784:
    case 6912:
    case 7168:
    case 7169:
    case 7170:
    case 7172:
    case 7176:
    case 7184:
    case 7200:
    case 7232:
    case 7296:
    case 7424:
    case 7680:
#define STRAIGHT_FLUSH_helper_P(suit) 0
#define FLUSH_helper_P() 0
#define STRAIGHT_P() 0
#define AT_LEAST_PAIR_P() 1
#define PAIR_P() 0

#include "inlines/evx_action.h"

#undef STRAIGHT_FLUSH_helper_P
#undef FOUR_OF_A_KIND_complete_P
#undef STRAIGHT_P
#undef FLUSH_helper_P
#undef FULL_HOUSE_complete_P
#undef THREE_OF_A_KIND_helper_P
#undef AT_LEAST_PAIR_P
#undef PAIR_P
      break;
    case 111:
    case 119:
    case 123:
    case 175:
    case 183:
    case 187:
    case 189:
    case 207:
    case 215:
    case 219:
    case 221:
    case 222:
    case 231:
    case 235:
    case 237:
    case 238:
    case 243:
    case 245:
    case 246:
    case 303:
    case 311:
    case 315:
    case 317:
    case 335:
    case 343:
    case 347:
    case 349:
    case 350:
    case 359:
    case 363:
    case 365:
    case 366:
    case 371:
    case 373:
    case 374:
    case 377:
    case 378:
    case 399:
    case 407:
    case 411:
    case 413:
    case 414:
    case 423:
    case 427:
    case 429:
    case 430:
    case 435:
    case 437:
    case 438:
    case 441:
    case 442:
    case 444:
    case 455:
    case 459:
    case 461:
    case 462:
    case 467:
    case 469:
    case 470:
    case 473:
    case 474:
    case 476:
    case 483:
    case 485:
    case 486:
    case 489:
    case 490:
    case 492:
    case 559:
    case 567:
    case 571:
    case 573:
    case 591:
    case 599:
    case 603:
    case 605:
    case 606:
    case 615:
    case 619:
    case 621:
    case 622:
    case 627:
    case 629:
    case 630:
    case 633:
    case 634:
    case 655:
    case 663:
    case 667:
    case 669:
    case 670:
    case 679:
    case 683:
    case 685:
    case 686:
    case 691:
    case 693:
    case 694:
    case 697:
    case 698:
    case 700:
    case 711:
    case 715:
    case 717:
    case 718:
    case 723:
    case 725:
    case 726:
    case 729:
    case 730:
    case 732:
    case 739:
    case 741:
    case 742:
    case 745:
    case 746:
    case 748:
    case 753:
    case 754:
    case 756:
    case 783:
    case 791:
    case 795:
    case 797:
    case 798:
    case 807:
    case 811:
    case 813:
    case 814:
    case 819:
    case 821:
    case 822:
    case 825:
    case 826:
    case 828:
    case 839:
    case 843:
    case 845:
    case 846:
    case 851:
    case 853:
    case 854:
    case 857:
    case 858:
    case 860:
    case 867:
    case 869:
    case 870:
    case 873:
    case 874:
    case 876:
    case 881:
    case 882:
    case 884:
    case 888:
    case 903:
    case 907:
    case 909:
    case 910:
    case 915:
    case 917:
    case 918:
    case 921:
    case 922:
    case 924:
    case 931:
    case 933:
    case 934:
    case 937:
    case 938:
    case 940:
    case 945:
    case 946:
    case 948:
    case 952:
    case 963:
    case 965:
    case 966:
    case 969:
    case 970:
    case 972:
    case 977:
    case 978:
    case 980:
    case 984:
    case 1071:
    case 1079:
    case 1083:
    case 1085:
    case 1103:
    case 1111:
    case 1115:
    case 1117:
    case 1118:
    case 1127:
    case 1131:
    case 1133:
    case 1134:
    case 1139:
    case 1141:
    case 1142:
    case 1145:
    case 1146:
    case 1167:
    case 1175:
    case 1179:
    case 1181:
    case 1182:
    case 1191:
    case 1195:
    case 1197:
    case 1198:
    case 1203:
    case 1205:
    case 1206:
    case 1209:
    case 1210:
    case 1212:
    case 1223:
    case 1227:
    case 1229:
    case 1230:
    case 1235:
    case 1237:
    case 1238:
    case 1241:
    case 1242:
    case 1244:
    case 1251:
    case 1253:
    case 1254:
    case 1257:
    case 1258:
    case 1260:
    case 1265:
    case 1266:
    case 1268:
    case 1295:
    case 1303:
    case 1307:
    case 1309:
    case 1310:
    case 1319:
    case 1323:
    case 1325:
    case 1326:
    case 1331:
    case 1333:
    case 1334:
    case 1337:
    case 1338:
    case 1340:
    case 1351:
    case 1355:
    case 1357:
    case 1358:
    case 1363:
    case 1365:
    case 1366:
    case 1369:
    case 1370:
    case 1372:
    case 1379:
    case 1381:
    case 1382:
    case 1385:
    case 1386:
    case 1388:
    case 1393:
    case 1394:
    case 1396:
    case 1400:
    case 1415:
    case 1419:
    case 1421:
    case 1422:
    case 1427:
    case 1429:
    case 1430:
    case 1433:
    case 1434:
    case 1436:
    case 1443:
    case 1445:
    case 1446:
    case 1449:
    case 1450:
    case 1452:
    case 1457:
    case 1458:
    case 1460:
    case 1464:
    case 1475:
    case 1477:
    case 1478:
    case 1481:
    case 1482:
    case 1484:
    case 1489:
    case 1490:
    case 1492:
    case 1496:
    case 1505:
    case 1506:
    case 1508:
    case 1512:
    case 1551:
    case 1559:
    case 1563:
    case 1565:
    case 1566:
    case 1575:
    case 1579:
    case 1581:
    case 1582:
    case 1587:
    case 1589:
    case 1590:
    case 1593:
    case 1594:
    case 1596:
    case 1607:
    case 1611:
    case 1613:
    case 1614:
    case 1619:
    case 1621:
    case 1622:
    case 1625:
    case 1626:
    case 1628:
    case 1635:
    case 1637:
    case 1638:
    case 1641:
    case 1642:
    case 1644:
    case 1649:
    case 1650:
    case 1652:
    case 1656:
    case 1671:
    case 1675:
    case 1677:
    case 1678:
    case 1683:
    case 1685:
    case 1686:
    case 1689:
    case 1690:
    case 1692:
    case 1699:
    case 1701:
    case 1702:
    case 1705:
    case 1706:
    case 1708:
    case 1713:
    case 1714:
    case 1716:
    case 1720:
    case 1731:
    case 1733:
    case 1734:
    case 1737:
    case 1738:
    case 1740:
    case 1745:
    case 1746:
    case 1748:
    case 1752:
    case 1761:
    case 1762:
    case 1764:
    case 1768:
    case 1776:
    case 1799:
    case 1803:
    case 1805:
    case 1806:
    case 1811:
    case 1813:
    case 1814:
    case 1817:
    case 1818:
    case 1820:
    case 1827:
    case 1829:
    case 1830:
    case 1833:
    case 1834:
    case 1836:
    case 1841:
    case 1842:
    case 1844:
    case 1848:
    case 1859:
    case 1861:
    case 1862:
    case 1865:
    case 1866:
    case 1868:
    case 1873:
    case 1874:
    case 1876:
    case 1880:
    case 1889:
    case 1890:
    case 1892:
    case 1896:
    case 1904:
    case 1923:
    case 1925:
    case 1926:
    case 1929:
    case 1930:
    case 1932:
    case 1937:
    case 1938:
    case 1940:
    case 1944:
    case 1953:
    case 1954:
    case 1956:
    case 1960:
    case 1968:
    case 2095:
    case 2103:
    case 2107:
    case 2109:
    case 2127:
    case 2135:
    case 2139:
    case 2141:
    case 2142:
    case 2151:
    case 2155:
    case 2157:
    case 2158:
    case 2163:
    case 2165:
    case 2166:
    case 2169:
    case 2170:
    case 2191:
    case 2199:
    case 2203:
    case 2205:
    case 2206:
    case 2215:
    case 2219:
    case 2221:
    case 2222:
    case 2227:
    case 2229:
    case 2230:
    case 2233:
    case 2234:
    case 2236:
    case 2247:
    case 2251:
    case 2253:
    case 2254:
    case 2259:
    case 2261:
    case 2262:
    case 2265:
    case 2266:
    case 2268:
    case 2275:
    case 2277:
    case 2278:
    case 2281:
    case 2282:
    case 2284:
    case 2289:
    case 2290:
    case 2292:
    case 2319:
    case 2327:
    case 2331:
    case 2333:
    case 2334:
    case 2343:
    case 2347:
    case 2349:
    case 2350:
    case 2355:
    case 2357:
    case 2358:
    case 2361:
    case 2362:
    case 2364:
    case 2375:
    case 2379:
    case 2381:
    case 2382:
    case 2387:
    case 2389:
    case 2390:
    case 2393:
    case 2394:
    case 2396:
    case 2403:
    case 2405:
    case 2406:
    case 2409:
    case 2410:
    case 2412:
    case 2417:
    case 2418:
    case 2420:
    case 2424:
    case 2439:
    case 2443:
    case 2445:
    case 2446:
    case 2451:
    case 2453:
    case 2454:
    case 2457:
    case 2458:
    case 2460:
    case 2467:
    case 2469:
    case 2470:
    case 2473:
    case 2474:
    case 2476:
    case 2481:
    case 2482:
    case 2484:
    case 2488:
    case 2499:
    case 2501:
    case 2502:
    case 2505:
    case 2506:
    case 2508:
    case 2513:
    case 2514:
    case 2516:
    case 2520:
    case 2529:
    case 2530:
    case 2532:
    case 2536:
    case 2575:
    case 2583:
    case 2587:
    case 2589:
    case 2590:
    case 2599:
    case 2603:
    case 2605:
    case 2606:
    case 2611:
    case 2613:
    case 2614:
    case 2617:
    case 2618:
    case 2620:
    case 2631:
    case 2635:
    case 2637:
    case 2638:
    case 2643:
    case 2645:
    case 2646:
    case 2649:
    case 2650:
    case 2652:
    case 2659:
    case 2661:
    case 2662:
    case 2665:
    case 2666:
    case 2668:
    case 2673:
    case 2674:
    case 2676:
    case 2680:
    case 2695:
    case 2699:
    case 2701:
    case 2702:
    case 2707:
    case 2709:
    case 2710:
    case 2713:
    case 2714:
    case 2716:
    case 2723:
    case 2725:
    case 2726:
    case 2729:
    case 2730:
    case 2732:
    case 2737:
    case 2738:
    case 2740:
    case 2744:
    case 2755:
    case 2757:
    case 2758:
    case 2761:
    case 2762:
    case 2764:
    case 2769:
    case 2770:
    case 2772:
    case 2776:
    case 2785:
    case 2786:
    case 2788:
    case 2792:
    case 2800:
    case 2823:
    case 2827:
    case 2829:
    case 2830:
    case 2835:
    case 2837:
    case 2838:
    case 2841:
    case 2842:
    case 2844:
    case 2851:
    case 2853:
    case 2854:
    case 2857:
    case 2858:
    case 2860:
    case 2865:
    case 2866:
    case 2868:
    case 2872:
    case 2883:
    case 2885:
    case 2886:
    case 2889:
    case 2890:
    case 2892:
    case 2897:
    case 2898:
    case 2900:
    case 2904:
    case 2913:
    case 2914:
    case 2916:
    case 2920:
    case 2928:
    case 2947:
    case 2949:
    case 2950:
    case 2953:
    case 2954:
    case 2956:
    case 2961:
    case 2962:
    case 2964:
    case 2968:
    case 2977:
    case 2978:
    case 2980:
    case 2984:
    case 2992:
    case 3009:
    case 3010:
    case 3012:
    case 3016:
    case 3024:
    case 3087:
    case 3095:
    case 3099:
    case 3101:
    case 3102:
    case 3111:
    case 3115:
    case 3117:
    case 3118:
    case 3123:
    case 3125:
    case 3126:
    case 3129:
    case 3130:
    case 3132:
    case 3143:
    case 3147:
    case 3149:
    case 3150:
    case 3155:
    case 3157:
    case 3158:
    case 3161:
    case 3162:
    case 3164:
    case 3171:
    case 3173:
    case 3174:
    case 3177:
    case 3178:
    case 3180:
    case 3185:
    case 3186:
    case 3188:
    case 3192:
    case 3207:
    case 3211:
    case 3213:
    case 3214:
    case 3219:
    case 3221:
    case 3222:
    case 3225:
    case 3226:
    case 3228:
    case 3235:
    case 3237:
    case 3238:
    case 3241:
    case 3242:
    case 3244:
    case 3249:
    case 3250:
    case 3252:
    case 3256:
    case 3267:
    case 3269:
    case 3270:
    case 3273:
    case 3274:
    case 3276:
    case 3281:
    case 3282:
    case 3284:
    case 3288:
    case 3297:
    case 3298:
    case 3300:
    case 3304:
    case 3312:
    case 3335:
    case 3339:
    case 3341:
    case 3342:
    case 3347:
    case 3349:
    case 3350:
    case 3353:
    case 3354:
    case 3356:
    case 3363:
    case 3365:
    case 3366:
    case 3369:
    case 3370:
    case 3372:
    case 3377:
    case 3378:
    case 3380:
    case 3384:
    case 3395:
    case 3397:
    case 3398:
    case 3401:
    case 3402:
    case 3404:
    case 3409:
    case 3410:
    case 3412:
    case 3416:
    case 3425:
    case 3426:
    case 3428:
    case 3432:
    case 3440:
    case 3459:
    case 3461:
    case 3462:
    case 3465:
    case 3466:
    case 3468:
    case 3473:
    case 3474:
    case 3476:
    case 3480:
    case 3489:
    case 3490:
    case 3492:
    case 3496:
    case 3504:
    case 3521:
    case 3522:
    case 3524:
    case 3528:
    case 3536:
    case 3552:
    case 3591:
    case 3595:
    case 3597:
    case 3598:
    case 3603:
    case 3605:
    case 3606:
    case 3609:
    case 3610:
    case 3612:
    case 3619:
    case 3621:
    case 3622:
    case 3625:
    case 3626:
    case 3628:
    case 3633:
    case 3634:
    case 3636:
    case 3640:
    case 3651:
    case 3653:
    case 3654:
    case 3657:
    case 3658:
    case 3660:
    case 3665:
    case 3666:
    case 3668:
    case 3672:
    case 3681:
    case 3682:
    case 3684:
    case 3688:
    case 3696:
    case 3715:
    case 3717:
    case 3718:
    case 3721:
    case 3722:
    case 3724:
    case 3729:
    case 3730:
    case 3732:
    case 3736:
    case 3745:
    case 3746:
    case 3748:
    case 3752:
    case 3760:
    case 3777:
    case 3778:
    case 3780:
    case 3784:
    case 3792:
    case 3808:
    case 3843:
    case 3845:
    case 3846:
    case 3849:
    case 3850:
    case 3852:
    case 3857:
    case 3858:
    case 3860:
    case 3864:
    case 3873:
    case 3874:
    case 3876:
    case 3880:
    case 3888:
    case 3905:
    case 3906:
    case 3908:
    case 3912:
    case 3920:
    case 3936:
    case 4151:
    case 4155:
    case 4157:
    case 4183:
    case 4187:
    case 4189:
    case 4190:
    case 4199:
    case 4203:
    case 4205:
    case 4206:
    case 4211:
    case 4213:
    case 4214:
    case 4217:
    case 4218:
    case 4247:
    case 4251:
    case 4253:
    case 4254:
    case 4263:
    case 4267:
    case 4269:
    case 4270:
    case 4275:
    case 4277:
    case 4278:
    case 4281:
    case 4282:
    case 4284:
    case 4295:
    case 4299:
    case 4301:
    case 4302:
    case 4307:
    case 4309:
    case 4310:
    case 4313:
    case 4314:
    case 4316:
    case 4323:
    case 4325:
    case 4326:
    case 4329:
    case 4330:
    case 4332:
    case 4337:
    case 4338:
    case 4340:
    case 4375:
    case 4379:
    case 4381:
    case 4382:
    case 4391:
    case 4395:
    case 4397:
    case 4398:
    case 4403:
    case 4405:
    case 4406:
    case 4409:
    case 4410:
    case 4412:
    case 4423:
    case 4427:
    case 4429:
    case 4430:
    case 4435:
    case 4437:
    case 4438:
    case 4441:
    case 4442:
    case 4444:
    case 4451:
    case 4453:
    case 4454:
    case 4457:
    case 4458:
    case 4460:
    case 4465:
    case 4466:
    case 4468:
    case 4472:
    case 4487:
    case 4491:
    case 4493:
    case 4494:
    case 4499:
    case 4501:
    case 4502:
    case 4505:
    case 4506:
    case 4508:
    case 4515:
    case 4517:
    case 4518:
    case 4521:
    case 4522:
    case 4524:
    case 4529:
    case 4530:
    case 4532:
    case 4536:
    case 4547:
    case 4549:
    case 4550:
    case 4553:
    case 4554:
    case 4556:
    case 4561:
    case 4562:
    case 4564:
    case 4568:
    case 4577:
    case 4578:
    case 4580:
    case 4584:
    case 4631:
    case 4635:
    case 4637:
    case 4638:
    case 4647:
    case 4651:
    case 4653:
    case 4654:
    case 4659:
    case 4661:
    case 4662:
    case 4665:
    case 4666:
    case 4668:
    case 4679:
    case 4683:
    case 4685:
    case 4686:
    case 4691:
    case 4693:
    case 4694:
    case 4697:
    case 4698:
    case 4700:
    case 4707:
    case 4709:
    case 4710:
    case 4713:
    case 4714:
    case 4716:
    case 4721:
    case 4722:
    case 4724:
    case 4728:
    case 4743:
    case 4747:
    case 4749:
    case 4750:
    case 4755:
    case 4757:
    case 4758:
    case 4761:
    case 4762:
    case 4764:
    case 4771:
    case 4773:
    case 4774:
    case 4777:
    case 4778:
    case 4780:
    case 4785:
    case 4786:
    case 4788:
    case 4792:
    case 4803:
    case 4805:
    case 4806:
    case 4809:
    case 4810:
    case 4812:
    case 4817:
    case 4818:
    case 4820:
    case 4824:
    case 4833:
    case 4834:
    case 4836:
    case 4840:
    case 4848:
    case 4871:
    case 4875:
    case 4877:
    case 4878:
    case 4883:
    case 4885:
    case 4886:
    case 4889:
    case 4890:
    case 4892:
    case 4899:
    case 4901:
    case 4902:
    case 4905:
    case 4906:
    case 4908:
    case 4913:
    case 4914:
    case 4916:
    case 4920:
    case 4931:
    case 4933:
    case 4934:
    case 4937:
    case 4938:
    case 4940:
    case 4945:
    case 4946:
    case 4948:
    case 4952:
    case 4961:
    case 4962:
    case 4964:
    case 4968:
    case 4976:
    case 4995:
    case 4997:
    case 4998:
    case 5001:
    case 5002:
    case 5004:
    case 5009:
    case 5010:
    case 5012:
    case 5016:
    case 5025:
    case 5026:
    case 5028:
    case 5032:
    case 5040:
    case 5057:
    case 5058:
    case 5060:
    case 5064:
    case 5072:
    case 5143:
    case 5147:
    case 5149:
    case 5150:
    case 5159:
    case 5163:
    case 5165:
    case 5166:
    case 5171:
    case 5173:
    case 5174:
    case 5177:
    case 5178:
    case 5180:
    case 5191:
    case 5195:
    case 5197:
    case 5198:
    case 5203:
    case 5205:
    case 5206:
    case 5209:
    case 5210:
    case 5212:
    case 5219:
    case 5221:
    case 5222:
    case 5225:
    case 5226:
    case 5228:
    case 5233:
    case 5234:
    case 5236:
    case 5240:
    case 5255:
    case 5259:
    case 5261:
    case 5262:
    case 5267:
    case 5269:
    case 5270:
    case 5273:
    case 5274:
    case 5276:
    case 5283:
    case 5285:
    case 5286:
    case 5289:
    case 5290:
    case 5292:
    case 5297:
    case 5298:
    case 5300:
    case 5304:
    case 5315:
    case 5317:
    case 5318:
    case 5321:
    case 5322:
    case 5324:
    case 5329:
    case 5330:
    case 5332:
    case 5336:
    case 5345:
    case 5346:
    case 5348:
    case 5352:
    case 5360:
    case 5383:
    case 5387:
    case 5389:
    case 5390:
    case 5395:
    case 5397:
    case 5398:
    case 5401:
    case 5402:
    case 5404:
    case 5411:
    case 5413:
    case 5414:
    case 5417:
    case 5418:
    case 5420:
    case 5425:
    case 5426:
    case 5428:
    case 5432:
    case 5443:
    case 5445:
    case 5446:
    case 5449:
    case 5450:
    case 5452:
    case 5457:
    case 5458:
    case 5460:
    case 5464:
    case 5473:
    case 5474:
    case 5476:
    case 5480:
    case 5488:
    case 5507:
    case 5509:
    case 5510:
    case 5513:
    case 5514:
    case 5516:
    case 5521:
    case 5522:
    case 5524:
    case 5528:
    case 5537:
    case 5538:
    case 5540:
    case 5544:
    case 5552:
    case 5569:
    case 5570:
    case 5572:
    case 5576:
    case 5584:
    case 5600:
    case 5639:
    case 5643:
    case 5645:
    case 5646:
    case 5651:
    case 5653:
    case 5654:
    case 5657:
    case 5658:
    case 5660:
    case 5667:
    case 5669:
    case 5670:
    case 5673:
    case 5674:
    case 5676:
    case 5681:
    case 5682:
    case 5684:
    case 5688:
    case 5699:
    case 5701:
    case 5702:
    case 5705:
    case 5706:
    case 5708:
    case 5713:
    case 5714:
    case 5716:
    case 5720:
    case 5729:
    case 5730:
    case 5732:
    case 5736:
    case 5744:
    case 5763:
    case 5765:
    case 5766:
    case 5769:
    case 5770:
    case 5772:
    case 5777:
    case 5778:
    case 5780:
    case 5784:
    case 5793:
    case 5794:
    case 5796:
    case 5800:
    case 5808:
    case 5825:
    case 5826:
    case 5828:
    case 5832:
    case 5840:
    case 5856:
    case 5891:
    case 5893:
    case 5894:
    case 5897:
    case 5898:
    case 5900:
    case 5905:
    case 5906:
    case 5908:
    case 5912:
    case 5921:
    case 5922:
    case 5924:
    case 5928:
    case 5936:
    case 5953:
    case 5954:
    case 5956:
    case 5960:
    case 5968:
    case 5984:
    case 6017:
    case 6018:
    case 6020:
    case 6024:
    case 6032:
    case 6048:
    case 6167:
    case 6171:
    case 6173:
    case 6174:
    case 6183:
    case 6187:
    case 6189:
    case 6190:
    case 6195:
    case 6197:
    case 6198:
    case 6201:
    case 6202:
    case 6204:
    case 6215:
    case 6219:
    case 6221:
    case 6222:
    case 6227:
    case 6229:
    case 6230:
    case 6233:
    case 6234:
    case 6236:
    case 6243:
    case 6245:
    case 6246:
    case 6249:
    case 6250:
    case 6252:
    case 6257:
    case 6258:
    case 6260:
    case 6264:
    case 6279:
    case 6283:
    case 6285:
    case 6286:
    case 6291:
    case 6293:
    case 6294:
    case 6297:
    case 6298:
    case 6300:
    case 6307:
    case 6309:
    case 6310:
    case 6313:
    case 6314:
    case 6316:
    case 6321:
    case 6322:
    case 6324:
    case 6328:
    case 6339:
    case 6341:
    case 6342:
    case 6345:
    case 6346:
    case 6348:
    case 6353:
    case 6354:
    case 6356:
    case 6360:
    case 6369:
    case 6370:
    case 6372:
    case 6376:
    case 6384:
    case 6407:
    case 6411:
    case 6413:
    case 6414:
    case 6419:
    case 6421:
    case 6422:
    case 6425:
    case 6426:
    case 6428:
    case 6435:
    case 6437:
    case 6438:
    case 6441:
    case 6442:
    case 6444:
    case 6449:
    case 6450:
    case 6452:
    case 6456:
    case 6467:
    case 6469:
    case 6470:
    case 6473:
    case 6474:
    case 6476:
    case 6481:
    case 6482:
    case 6484:
    case 6488:
    case 6497:
    case 6498:
    case 6500:
    case 6504:
    case 6512:
    case 6531:
    case 6533:
    case 6534:
    case 6537:
    case 6538:
    case 6540:
    case 6545:
    case 6546:
    case 6548:
    case 6552:
    case 6561:
    case 6562:
    case 6564:
    case 6568:
    case 6576:
    case 6593:
    case 6594:
    case 6596:
    case 6600:
    case 6608:
    case 6624:
    case 6663:
    case 6667:
    case 6669:
    case 6670:
    case 6675:
    case 6677:
    case 6678:
    case 6681:
    case 6682:
    case 6684:
    case 6691:
    case 6693:
    case 6694:
    case 6697:
    case 6698:
    case 6700:
    case 6705:
    case 6706:
    case 6708:
    case 6712:
    case 6723:
    case 6725:
    case 6726:
    case 6729:
    case 6730:
    case 6732:
    case 6737:
    case 6738:
    case 6740:
    case 6744:
    case 6753:
    case 6754:
    case 6756:
    case 6760:
    case 6768:
    case 6787:
    case 6789:
    case 6790:
    case 6793:
    case 6794:
    case 6796:
    case 6801:
    case 6802:
    case 6804:
    case 6808:
    case 6817:
    case 6818:
    case 6820:
    case 6824:
    case 6832:
    case 6849:
    case 6850:
    case 6852:
    case 6856:
    case 6864:
    case 6880:
    case 6915:
    case 6917:
    case 6918:
    case 6921:
    case 6922:
    case 6924:
    case 6929:
    case 6930:
    case 6932:
    case 6936:
    case 6945:
    case 6946:
    case 6948:
    case 6952:
    case 6960:
    case 6977:
    case 6978:
    case 6980:
    case 6984:
    case 6992:
    case 7008:
    case 7041:
    case 7042:
    case 7044:
    case 7048:
    case 7056:
    case 7072:
    case 7104:
    case 7175:
    case 7179:
    case 7181:
    case 7182:
    case 7187:
    case 7189:
    case 7190:
    case 7193:
    case 7194:
    case 7196:
    case 7203:
    case 7205:
    case 7206:
    case 7209:
    case 7210:
    case 7212:
    case 7217:
    case 7218:
    case 7220:
    case 7224:
    case 7235:
    case 7237:
    case 7238:
    case 7241:
    case 7242:
    case 7244:
    case 7249:
    case 7250:
    case 7252:
    case 7256:
    case 7265:
    case 7266:
    case 7268:
    case 7272:
    case 7280:
    case 7299:
    case 7301:
    case 7302:
    case 7305:
    case 7306:
    case 7308:
    case 7313:
    case 7314:
    case 7316:
    case 7320:
    case 7329:
    case 7330:
    case 7332:
    case 7336:
    case 7344:
    case 7361:
    case 7362:
    case 7364:
    case 7368:
    case 7376:
    case 7392:
    case 7427:
    case 7429:
    case 7430:
    case 7433:
    case 7434:
    case 7436:
    case 7441:
    case 7442:
    case 7444:
    case 7448:
    case 7457:
    case 7458:
    case 7460:
    case 7464:
    case 7472:
    case 7489:
    case 7490:
    case 7492:
    case 7496:
    case 7504:
    case 7520:
    case 7553:
    case 7554:
    case 7556:
    case 7560:
    case 7568:
    case 7584:
    case 7616:
    case 7683:
    case 7685:
    case 7686:
    case 7689:
    case 7690:
    case 7692:
    case 7697:
    case 7698:
    case 7700:
    case 7704:
    case 7713:
    case 7714:
    case 7716:
    case 7720:
    case 7728:
    case 7745:
    case 7746:
    case 7748:
    case 7752:
    case 7760:
    case 7776:
    case 7809:
    case 7810:
    case 7812:
    case 7816:
    case 7824:
    case 7840:
    case 7872:
#define STRAIGHT_FLUSH_helper_P(suit) 0
#define FOUR_OF_A_KIND_complete_P() 0
#define FULL_HOUSE_complete_P(three_info) 0
#define THREE_OF_A_KIND_helper_P() 0
#define STRAIGHT_P() 0
#define AT_LEAST_PAIR_P() 1
#define PAIR_P() 1

#include "inlines/evx_action.h"

#undef STRAIGHT_FLUSH_helper_P
#undef FOUR_OF_A_KIND_complete_P
#undef STRAIGHT_P
#undef FLUSH_helper_P
#undef FULL_HOUSE_complete_P
#undef THREE_OF_A_KIND_helper_P
#undef AT_LEAST_PAIR_P
#undef PAIR_P
      break;
    case 63:
    case 95:
    case 125:
    case 126:
    case 159:
    case 190:
    case 249:
    case 250:
    case 252:
    case 287:
    case 318:
    case 380:
    case 497:
    case 498:
    case 500:
    case 504:
    case 543:
    case 574:
    case 636:
    case 760:
    case 993:
    case 994:
    case 996:
    case 1000:
    case 1008:
    case 1055:
    case 1086:
    case 1148:
    case 1272:
    case 1520:
    case 1985:
    case 1986:
    case 1988:
    case 1992:
    case 2000:
    case 2016:
    case 2079:
    case 2110:
    case 2172:
    case 2296:
    case 2544:
    case 3040:
    case 3969:
    case 3970:
    case 3972:
    case 3976:
    case 3984:
    case 4000:
    case 4032:
    case 4127:
    case 4143:
    case 4158:
    case 4175:
    case 4220:
    case 4239:
    case 4344:
    case 4367:
    case 4592:
    case 4623:
    case 5088:
    case 5135:
    case 6080:
    case 6159:
    case 7937:
    case 7938:
    case 7940:
    case 7944:
    case 7952:
    case 7968:
    case 8000:
    case 8064:
#define FOUR_OF_A_KIND_complete_P() 0
#define FULL_HOUSE_complete_P(three_info) 0
#define THREE_OF_A_KIND_helper_P() 0
#define STRAIGHT_P() 1
#define AT_LEAST_PAIR_P() 1
#define PAIR_P() 1

#include "inlines/evx_action.h"

#undef STRAIGHT_FLUSH_helper_P
#undef FOUR_OF_A_KIND_complete_P
#undef STRAIGHT_P
#undef FLUSH_helper_P
#undef FULL_HOUSE_complete_P
#undef THREE_OF_A_KIND_helper_P
#undef AT_LEAST_PAIR_P
#undef PAIR_P
      break;
    default:
      abort ();
      break;
    }

  abort ();
  return 0;   /* Quiet the compiler. */
}