LCOV - code coverage report
Current view: top level - build/src - asn1-tables.c (source / functions) Hit Total Coverage
Test: coverage.info Lines: 5 7 71.4 %
Date: 2016-09-12 12:51:24 Functions: 1 1 100.0 %

          Line data    Source code
       1             : 
       2             : #include <config.h>
       3             : #include <stdio.h>
       4             : #include <string.h>
       5             : #include "ksba.h"
       6             : #include "asn1-func.h"
       7             : 
       8             : static const static_asn tmttv2_asn1_tab[] = {
       9             :   {5339,136, {0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
      10             :   {0,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      11             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
      12             :   {1182,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
      13             :   {5536,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5488},
      14             :   {5104,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
      15             :   {5113,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
      16             :   {4750,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
      17             :   {4904,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
      18             :   {5540,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5584},
      19             :   {5430,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      20             :   {3412,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
      21             :   {5587,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
      22             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5590},
      23             :   {2397,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      24             :   {3668,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3683},
      25             :   {2509,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
      26             :   {2499,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
      27             :   {99,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      28             :   {4914,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
      29             :   {4761,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,1,0,1,0},0},
      30             :   {4914,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
      31             :   {3683,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      32             :   {5203,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},5482},
      33             :   {0,131, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5593},
      34             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2461},
      35             :   {4250,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1206},
      36             :   {2499,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
      37             :   {5346,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},792},
      38             :   {5122,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5131},
      39             :   {5211,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},792},
      40             :   {1917,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1938},
      41             :   {3698,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
      42             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2970},
      43             :   {3428,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5092},
      44             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2970},
      45             :   {4772,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5597},
      46             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2574},
      47             :   {2461,2, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      48             :   {5593,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5482},
      49             :   {5343,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
      50             :   {5596,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5092},
      51             :   {1206,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
      52             :   {792,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      53             :   {4510,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},4522},
      54             :   {4522,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      55             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},771},
      56             :   {771,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      57             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1631},
      58             :   {370,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      59             :   {1177,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3998},
      60             :   {5353,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
      61             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},3713},
      62             :   {277,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      63             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},370},
      64             :   {1631,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      65             :   {1177,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3998},
      66             :   {947,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3713},
      67             :   {3998,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
      68             :   {3713,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
      69             :   {3444,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      70             :   {3460,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
      71             :   {5219,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
      72             :   {4012,20, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
      73             :   {5219,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
      74             :   {4783,12, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
      75             :   {5219,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
      76             :   {4924,30, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
      77             :   {5219,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
      78             :   {3476,28, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
      79             :   {5219,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
      80             :   {5131,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      81             :   {4934,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3993},
      82             :   {5140,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3993},
      83             :   {3993,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      84             :   {5227,23, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},0},
      85             :   {4534,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},0},
      86             :   {1938,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      87             :   {4914,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
      88             :   {2987,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
      89             :   {2574,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      90             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
      91             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},4944},
      92             :   {4944,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      93             :   {5360,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
      94             :   {5149,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},0},
      95             :   {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0},0},
      96             :   {4954,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
      97             :   {2970,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
      98             :   {1470,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
      99             :   {4026,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     100             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1479},
     101             :   {2169,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
     102             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4263},
     103             :   {797,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5092},
     104             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1206},
     105             :   {1479,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     106             :   {5158,3, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     107             :   {3004,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5482},
     108             :   {3728,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     109             :   {3492,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     110             :   {3021,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     111             :   {4276,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5612},
     112             :   {4546,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
     113             :   {5235,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5488},
     114             :   {4289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5476},
     115             :   {4302,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5626},
     116             :   {2189,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     117             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     118             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},2718},
     119             :   {2718,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     120             :   {3038,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4315},
     121             :   {3055,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},0},
     122             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     123             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},2209},
     124             :   {4315,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     125             :   {2209,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     126             :   {2736,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2754},
     127             :   {2075,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
     128             :   {2736,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     129             :   {2754,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     130             :   {1959,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     131             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     132             :   {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
     133             :   {2528,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4315},
     134             :   {2229,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4315},
     135             :   {3743,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4263},
     136             :   {4263,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     137             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     138             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},4558},
     139             :   {4558,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     140             :   {4964,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5482},
     141             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4974},
     142             :   {4794,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},3308},
     143             :   {0,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
     144             :   {5243,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5092},
     145             :   {0,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
     146             :   {4570,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5597},
     147             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4984},
     148             :   {4040,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5612},
     149             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},792},
     150             :   {4328,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5578},
     151             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4341},
     152             :   {823,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5488},
     153             :   {0,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
     154             :   {4994,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5476},
     155             :   {0,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
     156             :   {4354,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},5626},
     157             :   {0,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
     158             :   {4974,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     159             :   {5251,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     160             :   {947,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},5482},
     161             :   {0,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
     162             :   {5251,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     163             :   {4341,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     164             :   {4367,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     165             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3444},
     166             :   {5004,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},3308},
     167             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3444},
     168             :   {609,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     169             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     170             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},370},
     171             :   {4054,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     172             :   {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
     173             :   {5367,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     174             :   {947,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
     175             :   {5367,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     176             :   {3072,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     177             :   {5599,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},0},
     178             :   {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0},0},
     179             :   {2772,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,1,0},0},
     180             :   {5482,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5544},
     181             :   {3508,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     182             :   {2790,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     183             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3524},
     184             :   {3089,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3308},
     185             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3524},
     186             :   {3524,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     187             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     188             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},3758},
     189             :   {3758,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     190             :   {5502,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4558},
     191             :   {5259,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},5482},
     192             :   {0,131, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1},5482},
     193             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4380},
     194             :   {5267,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3308},
     195             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4380},
     196             :   {4380,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     197             :   {5482,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5544},
     198             :   {1230,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     199             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     200             :   {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
     201             :   {1653,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     202             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},5014},
     203             :   {1980,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3308},
     204             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},5014},
     205             :   {5014,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     206             :   {5482,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5544},
     207             :   {2249,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     208             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     209             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},391},
     210             :   {391,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     211             :   {2808,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     212             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1675},
     213             :   {5275,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
     214             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4582},
     215             :   {5024,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5092},
     216             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4263},
     217             :   {1675,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     218             :   {5167,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5482},
     219             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4263},
     220             :   {1254,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},3308},
     221             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},771},
     222             :   {4582,3, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     223             :   {5374,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5482},
     224             :   {4068,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     225             :   {4393,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     226             :   {2547,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     227             :   {4805,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5612},
     228             :   {2001,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
     229             :   {3540,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5488},
     230             :   {525,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     231             :   {380,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     232             :   {1278,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     233             :   {3773,12, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     234             :   {3556,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     235             :   {4594,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4606},
     236             :   {2509,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     237             :   {3788,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     238             :   {4606,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     239             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},2461},
     240             :   {2499,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     241             :   {5346,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},792},
     242             :   {4816,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3993},
     243             :   {4827,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},3993},
     244             :   {2269,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},0},
     245             :   {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
     246             :   {3572,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1206},
     247             :   {3803,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3993},
     248             :   {2566,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},2574},
     249             :   {4082,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5482},
     250             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2574},
     251             :   {5034,10, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     252             :   {4618,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5482},
     253             :   {4068,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     254             :   {4393,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     255             :   {2547,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     256             :   {4805,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5612},
     257             :   {2001,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
     258             :   {3540,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5488},
     259             :   {4096,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5626},
     260             :   {3818,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     261             :   {2826,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4263},
     262             :   {5044,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     263             :   {3308,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5544},
     264             :   {1057,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     265             :   {2808,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     266             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1675},
     267             :   {1697,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},3308},
     268             :   {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1},0},
     269             :   {0,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     270             :   {2289,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},5092},
     271             :   {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1},0},
     272             :   {0,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     273             :   {3588,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5597},
     274             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4582},
     275             :   {4630,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0},5612},
     276             :   {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1},0},
     277             :   {0,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     278             :   {1082,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     279             :   {1107,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2461},
     280             :   {5211,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},792},
     281             :   {1917,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1938},
     282             :   {143,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},5482},
     283             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},277},
     284             :   {4984,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     285             :   {409,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},849},
     286             :   {119,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},257},
     287             :   {1377,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},2309},
     288             :   {849,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     289             :   {4406,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},4642},
     290             :   {636,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},1132},
     291             :   {3604,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     292             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3833},
     293             :   {2329,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
     294             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2585},
     295             :   {2349,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5092},
     296             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2844},
     297             :   {2862,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5597},
     298             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3106},
     299             :   {1302,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5612},
     300             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1719},
     301             :   {4110,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5578},
     302             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4419},
     303             :   {875,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5488},
     304             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1326},
     305             :   {4642,130, {1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},3308},
     306             :   {0,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
     307             :   {4124,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
     308             :   {0,132, {0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},288},
     309             :   {2022,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
     310             :   {0,132, {0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},438},
     311             :   {1132,130, {1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},5092},
     312             :   {0,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
     313             :   {5283,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
     314             :   {1741,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},5482},
     315             :   {5054,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
     316             :   {1741,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},5482},
     317             :   {3833,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4654},
     318             :   {4654,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     319             :   {1493,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     320             :   {2585,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     321             :   {1763,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     322             :   {2844,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     323             :   {5283,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
     324             :   {1741,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     325             :   {5054,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
     326             :   {1741,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     327             :   {3106,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     328             :   {553,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     329             :   {1719,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     330             :   {901,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     331             :   {4419,17, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     332             :   {5291,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},5482},
     333             :   {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
     334             :   {2880,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     335             :   {4838,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
     336             :   {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
     337             :   {2043,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     338             :   {5176,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5092},
     339             :   {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
     340             :   {2604,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     341             :   {2064,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5597},
     342             :   {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
     343             :   {319,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     344             :   {1326,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     345             :   {1350,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     346             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1516},
     347             :   {1516,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     348             :   {154,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     349             :   {257,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     350             :   {467,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     351             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},350},
     352             :   {350,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     353             :   {1177,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     354             :   {42,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     355             :   {947,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
     356             :   {1,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     357             :   {2309,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     358             :   {1374,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     359             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},2623},
     360             :   {2623,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
     361             :   {1157,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},5482},
     362             :   {0,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
     363             :   {5482,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1374},
     364             :   {927,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},3308},
     365             :   {0,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
     366             :   {1157,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     367             :   {0,0}
     368             : };
     369             : static const static_asn cms_asn1_tab[] = {
     370             :   {663,136, {0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
     371             :   {0,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     372             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     373             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     374             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     375             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     376             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     377             :   {5395,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     378             :   {5436,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5605},
     379             :   {5299,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5482},
     380             :   {5552,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     381             :   {1410,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     382             :   {3971,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4446},
     383             :   {5307,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},5482},
     384             :   {0,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
     385             :   {3971,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     386             :   {4446,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     387             :   {4849,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     388             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     389             :   {3123,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},690},
     390             :   {3140,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1398},
     391             :   {4432,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     392             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3848},
     393             :   {5512,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
     394             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},717},
     395             :   {4678,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4690},
     396             :   {690,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     397             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},953},
     398             :   {4690,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     399             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},4871},
     400             :   {1398,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     401             :   {4445,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4446},
     402             :   {5185,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5482},
     403             :   {0,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     404             :   {4871,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     405             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     406             :   {5556,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3157},
     407             :   {3620,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},953},
     408             :   {4140,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     409             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3174},
     410             :   {2509,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},496},
     411             :   {2499,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3863},
     412             :   {4138,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3308},
     413             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2642},
     414             :   {3157,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     415             :   {1785,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},1807},
     416             :   {2085,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},5482},
     417             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2106},
     418             :   {3174,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     419             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     420             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},370},
     421             :   {2642,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     422             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     423             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},370},
     424             :   {370,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     425             :   {5194,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     426             :   {4882,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
     427             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},3713},
     428             :   {3713,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
     429             :   {3863,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     430             :   {4152,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     431             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     432             :   {3878,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     433             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3893},
     434             :   {3908,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3923},
     435             :   {2127,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2148},
     436             :   {3191,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3308},
     437             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1829},
     438             :   {3893,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     439             :   {5442,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     440             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3848},
     441             :   {5512,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3308},
     442             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},717},
     443             :   {3923,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     444             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1859},
     445             :   {2148,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     446             :   {3971,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4446},
     447             :   {744,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},82},
     448             :   {3208,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5482},
     449             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3225},
     450             :   {3225,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     451             :   {1829,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     452             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     453             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},370},
     454             :   {1859,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     455             :   {5517,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},1851},
     456             :   {5522,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},3308},
     457             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1873},
     458             :   {5448,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},5092},
     459             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3242},
     460             :   {1904,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     461             :   {1851,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     462             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     463             :   {5560,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},589},
     464             :   {1539,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},224},
     465             :   {4458,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1904},
     466             :   {589,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     467             :   {1785,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},1807},
     468             :   {2085,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},5482},
     469             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2106},
     470             :   {1873,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     471             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     472             :   {4893,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},5482},
     473             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},979},
     474             :   {5564,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
     475             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2661},
     476             :   {1539,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},224},
     477             :   {1562,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1585},
     478             :   {979,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     479             :   {1785,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},1807},
     480             :   {2085,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5482},
     481             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2106},
     482             :   {4166,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},3308},
     483             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2369},
     484             :   {2369,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     485             :   {4914,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     486             :   {5064,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     487             :   {1585,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     488             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1895},
     489             :   {1895,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     490             :   {5560,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},581},
     491             :   {4458,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1904},
     492             :   {581,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     493             :   {1785,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},1807},
     494             :   {5402,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},5482},
     495             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1608},
     496             :   {1608,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     497             :   {2085,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2106},
     498             :   {4822,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},0},
     499             :   {5454,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},2898},
     500             :   {2106,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     501             :   {3242,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     502             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     503             :   {5460,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4180},
     504             :   {1539,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},224},
     505             :   {4458,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1904},
     506             :   {4180,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     507             :   {4026,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     508             :   {4822,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},0},
     509             :   {5454,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},2898},
     510             :   {4471,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     511             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     512             :   {3620,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},953},
     513             :   {3140,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1398},
     514             :   {5409,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3405},
     515             :   {3405,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     516             :   {4194,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     517             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     518             :   {2127,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2148},
     519             :   {3191,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3308},
     520             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1829},
     521             :   {2916,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     522             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     523             :   {3878,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5482},
     524             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3893},
     525             :   {3908,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3923},
     526             :   {4484,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},189},
     527             :   {3620,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3308},
     528             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},953},
     529             :   {3140,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1398},
     530             :   {1033,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5092},
     531             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3938},
     532             :   {5568,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1005},
     533             :   {1031,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5597},
     534             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3259},
     535             :   {3938,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     536             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     537             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},370},
     538             :   {3259,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     539             :   {5544,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3308},
     540             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},370},
     541             :   {1005,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     542             :   {953,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     543             :   {496,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     544             :   {224,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     545             :   {82,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     546             :   {189,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     547             :   {717,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     548             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},3556},
     549             :   {2680,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     550             :   {4702,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},2397},
     551             :   {2389,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},5482},
     552             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2409},
     553             :   {3848,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     554             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},2680},
     555             :   {1807,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     556             :   {5346,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},792},
     557             :   {4250,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1206},
     558             :   {4860,2, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     559             :   {5608,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5482},
     560             :   {5593,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     561             :   {5343,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     562             :   {5596,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     563             :   {5611,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5612},
     564             :   {2661,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     565             :   {2898,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     566             :   {5074,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     567             :   {5315,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,1,0,1,0},0},
     568             :   {5074,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     569             :   {4208,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     570             :   {4714,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3993},
     571             :   {3993,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     572             :   {5227,23, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},0},
     573             :   {4534,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},0},
     574             :   {3276,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4871},
     575             :   {5466,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     576             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     577             :   {1182,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     578             :   {5572,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5614},
     579             :   {5416,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     580             :   {4914,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     581             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5617},
     582             :   {5576,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     583             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     584             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     585             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     586             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     587             :   {3620,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     588             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5578},
     589             :   {3293,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     590             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     591             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     592             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     593             :   {5472,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5478},
     594             :   {5527,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5612},
     595             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5597},
     596             :   {4222,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     597             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     598             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     599             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     600             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     601             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     602             :   {5423,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     603             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     604             :   {3310,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     605             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     606             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     607             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     608             :   {5084,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5484},
     609             :   {4726,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     610             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     611             :   {4738,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     612             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     613             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     614             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     615             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     616             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     617             :   {5395,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     618             :   {5436,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5605},
     619             :   {5580,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     620             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5578},
     621             :   {2699,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     622             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     623             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     624             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     625             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     626             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     627             :   {5395,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     628             :   {5436,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5605},
     629             :   {5580,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     630             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5488},
     631             :   {2934,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     632             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     633             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     634             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     635             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     636             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     637             :   {5395,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     638             :   {5436,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5605},
     639             :   {5580,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     640             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5476},
     641             :   {4497,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     642             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     643             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     644             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     645             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     646             :   {2429,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     647             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5476},
     648             :   {5323,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     649             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     650             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     651             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     652             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     653             :   {2429,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     654             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5092},
     655             :   {5094,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     656             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     657             :   {1182,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5597},
     658             :   {5536,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5488},
     659             :   {5104,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     660             :   {5113,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
     661             :   {4750,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5578},
     662             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5626},
     663             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     664             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5092},
     665             :   {3327,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},99},
     666             :   {3344,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2449},
     667             :   {2449,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     668             :   {3639,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5620},
     669             :   {5620,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     670             :   {3636,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     671             :   {2469,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     672             :   {5623,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     673             :   {2952,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     674             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     675             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     676             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     677             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     678             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     679             :   {5395,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     680             :   {5436,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5605},
     681             :   {5216,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     682             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5488},
     683             :   {5331,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     684             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     685             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     686             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     687             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     688             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     689             :   {5490,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5476},
     690             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3308},
     691             :   {4236,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     692             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     693             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     694             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     695             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     696             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     697             :   {5490,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5476},
     698             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5092},
     699             :   {3361,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     700             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     701             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     702             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     703             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     704             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     705             :   {5490,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5476},
     706             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5597},
     707             :   {3652,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     708             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     709             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     710             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     711             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     712             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     713             :   {5490,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5476},
     714             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5578},
     715             :   {3378,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     716             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     717             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     718             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     719             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     720             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     721             :   {5490,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5476},
     722             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5488},
     723             :   {3953,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     724             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     725             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     726             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     727             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     728             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     729             :   {5395,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     730             :   {5436,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5605},
     731             :   {5216,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     732             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5092},
     733             :   {3968,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     734             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     735             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     736             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     737             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     738             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     739             :   {5496,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     740             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5597},
     741             :   {3395,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     742             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     743             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     744             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     745             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     746             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     747             :   {5496,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     748             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5612},
     749             :   {3983,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     750             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     751             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     752             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     753             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     754             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     755             :   {5496,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     756             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5578},
     757             :   {2489,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     758             :   {5532,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     759             :   {4666,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5092},
     760             :   {5602,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5548},
     761             :   {5381,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5388},
     762             :   {5507,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3308},
     763             :   {5496,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5393},
     764             :   {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5488},
     765             :   {2409,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     766             :   {1422,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1446},
     767             :   {2509,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},496},
     768             :   {2499,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3011},
     769             :   {1446,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     770             :   {5203,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4860},
     771             :   {4702,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2397},
     772             :   {143,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3259},
     773             :   {3011,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     774             :   {792,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     775             :   {4510,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},4522},
     776             :   {4522,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     777             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},771},
     778             :   {771,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     779             :   {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1631},
     780             :   {1631,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     781             :   {1177,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3998},
     782             :   {947,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3713},
     783             :   {3998,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     784             :   {3713,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
     785             :   {99,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
     786             :   {4914,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
     787             :   {4761,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,1,0,1,0},0},
     788             :   {4914,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     789             :   {2397,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
     790             :   {3556,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
     791             :   {1206,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
     792             :   {0,0}
     793             : };
     794             : 
     795             : static const char string_table[] = {
     796             :   '\0',
     797             :   'u','b','-','d','o','m','a','i','n','-','d','e','f','i','n','e',
     798             :   'd','-','a','t','t','r','i','b','u','t','e','-','v','a','l','u',
     799             :   'e','-','l','e','n','g','t','h','\0',
     800             :   'u','b','-','d','o','m','a','i','n','-','d','e','f','i','n','e',
     801             :   'd','-','a','t','t','r','i','b','u','t','e','-','t','y','p','e',
     802             :   '-','l','e','n','g','t','h','\0',
     803             :   'C','o','n','t','e','n','t','E','n','c','r','y','p','t','i','o',
     804             :   'n','A','l','g','o','r','i','t','h','m','I','d','e','n','t','i',
     805             :   'f','i','e','r','\0',
     806             :   'b','u','i','l','t','-','i','n','-','d','o','m','a','i','n','-',
     807             :   'd','e','f','i','n','e','d','-','a','t','t','r','i','b','u','t',
     808             :   'e','s','\0',
     809             :   'u','b','-','o','r','g','a','n','i','z','a','t','i','o','n','a',
     810             :   'l','-','u','n','i','t','-','n','a','m','e','-','l','e','n','g',
     811             :   't','h','\0',
     812             :   'M','e','s','s','a','g','e','A','u','t','h','e','n','t','i','c',
     813             :   'a','t','i','o','n','C','o','d','e','A','l','g','o','r','i','t',
     814             :   'h','m','\0',
     815             :   'K','e','y','E','n','c','r','y','p','t','i','o','n','A','l','g',
     816             :   'o','r','i','t','h','m','I','d','e','n','t','i','f','i','e','r','\0',
     817             :   'B','u','i','l','t','I','n','D','o','m','a','i','n','D','e','f',
     818             :   'i','n','e','d','A','t','t','r','i','b','u','t','e','s','\0',
     819             :   'u','b','-','c','o','u','n','t','r','y','-','n','a','m','e','-',
     820             :   'n','u','m','e','r','i','c','-','l','e','n','g','t','h','\0',
     821             :   'u','b','-','g','e','n','e','r','a','t','i','o','n','-','q','u',
     822             :   'a','l','i','f','i','e','r','-','l','e','n','g','t','h','\0',
     823             :   'B','u','i','l','t','I','n','D','o','m','a','i','n','D','e','f',
     824             :   'i','n','e','d','A','t','t','r','i','b','u','t','e','\0',
     825             :   'S','u','b','j','e','c','t','C','e','r','t','D','i','s','t','r',
     826             :   'i','b','u','t','i','o','n','P','o','i','n','t','\0',
     827             :   'b','u','i','l','t','-','i','n','-','s','t','a','n','d','a','r',
     828             :   'd','-','a','t','t','r','i','b','u','t','e','s','\0',
     829             :   'u','b','-','c','o','u','n','t','r','y','-','n','a','m','e','-',
     830             :   'a','l','p','h','a','-','l','e','n','g','t','h','\0',
     831             :   'u','b','-','d','o','m','a','i','n','-','d','e','f','i','n','e',
     832             :   'd','-','a','t','t','r','i','b','u','t','e','s','\0',
     833             :   'S','i','g','n','a','t','u','r','e','A','l','g','o','r','i','t',
     834             :   'h','m','I','d','e','n','t','i','f','i','e','r','\0',
     835             :   'I','s','s','u','e','r','C','e','r','t','D','i','s','t','r','i',
     836             :   'b','u','t','i','o','n','P','o','i','n','t','\0',
     837             :   'u','b','-','o','r','g','a','n','i','z','a','t','i','o','n','-',
     838             :   'n','a','m','e','-','l','e','n','g','t','h','\0',
     839             :   'K','e','y','A','g','r','e','e','R','e','c','i','p','i','e','n',
     840             :   't','I','d','e','n','t','i','f','i','e','r','\0',
     841             :   'S','u','b','j','e','c','t','D','i','r','e','c','t','o','r','y',
     842             :   'A','t','t','r','i','b','u','t','e','s','\0',
     843             :   'a','d','m','i','n','i','s','t','r','a','t','i','o','n','-','d',
     844             :   'o','m','a','i','n','-','n','a','m','e','\0',
     845             :   'C','r','y','p','t','o','g','r','a','p','h','i','c','M','e','s',
     846             :   's','a','g','e','S','y','n','t','a','x','\0',
     847             :   'D','i','g','e','s','t','A','l','g','o','r','i','t','h','m','I',
     848             :   'd','e','n','t','i','f','i','e','r','s','\0',
     849             :   'C','e','r','t','i','f','i','c','a','t','e','R','e','v','o','c',
     850             :   'a','t','i','o','n','L','i','s','t','s','\0',
     851             :   'c','o','n','t','e','n','t','E','n','c','r','y','p','t','i','o',
     852             :   'n','A','l','g','o','r','i','t','h','m','\0',
     853             :   'R','e','l','a','t','i','v','e','D','i','s','t','i','n','g','u',
     854             :   'i','s','h','e','d','N','a','m','e','\0',
     855             :   'a','u','t','h','o','r','i','t','y','C','e','r','t','S','e','r',
     856             :   'i','a','l','N','u','m','b','e','r','\0',
     857             :   'u','n','i','f','o','r','m','R','e','s','o','u','r','c','e','I',
     858             :   'd','e','n','t','i','f','i','e','r','\0',
     859             :   'B','u','i','l','t','I','n','S','t','a','n','d','a','r','d','A',
     860             :   't','t','r','i','b','u','t','e','s','\0',
     861             :   'o','r','g','a','n','i','z','a','t','i','o','n','a','l','-','u',
     862             :   'n','i','t','-','n','a','m','e','s','\0',
     863             :   'u','b','-','n','u','m','e','r','i','c','-','u','s','e','r','-',
     864             :   'i','d','-','l','e','n','g','t','h','\0',
     865             :   'e','x','t','e','n','s','i','o','n','-','a','t','t','r','i','b',
     866             :   'u','t','e','-','v','a','l','u','e','\0',
     867             :   'D','i','g','e','s','t','A','l','g','o','r','i','t','h','m','I',
     868             :   'd','e','n','t','i','f','i','e','r','\0',
     869             :   'O','r','i','g','i','n','a','t','o','r','I','d','e','n','t','i',
     870             :   'f','i','e','r','O','r','K','e','y','\0',
     871             :   'M','e','s','s','a','g','e','A','u','t','h','e','n','t','i','c',
     872             :   'a','t','i','o','n','C','o','d','e','\0',
     873             :   'u','n','a','u','t','h','e','n','t','i','c','a','t','e','d','A',
     874             :   't','t','r','i','b','u','t','e','s','\0',
     875             :   'i','s','s','u','i','n','g','D','i','s','t','r','i','b','u','t',
     876             :   'i','o','n','P','o','i','n','t','\0',
     877             :   'C','e','r','t','i','f','i','c','a','t','i','o','n','R','e','q',
     878             :   'u','e','s','t','I','n','f','o','\0',
     879             :   'c','e','r','t','i','f','i','c','a','t','i','o','n','R','e','q',
     880             :   'u','e','s','t','I','n','f','o','\0',
     881             :   'A','d','m','i','n','i','s','t','r','a','t','i','o','n','D','o',
     882             :   'm','a','i','n','N','a','m','e','\0',
     883             :   'e','x','t','e','n','s','i','o','n','-','a','t','t','r','i','b',
     884             :   'u','t','e','-','t','y','p','e','\0',
     885             :   'i','d','e','n','t','i','f','i','e','d','-','o','r','g','a','n',
     886             :   'i','z','a','t','i','o','n','\0',
     887             :   'C','e','r','t','i','f','i','c','a','t','e','S','e','r','i','a',
     888             :   'l','N','u','m','b','e','r','\0',
     889             :   'P','o','l','i','c','y','C','o','n','s','t','r','a','i','n','t',
     890             :   's','S','y','n','t','a','x','\0',
     891             :   'n','a','m','e','R','e','l','a','t','i','v','e','T','o','C','R',
     892             :   'L','I','s','s','u','e','r','\0',
     893             :   'P','o','l','i','c','y','D','i','s','t','r','i','b','u','t','i',
     894             :   'o','n','P','o','i','n','t','\0',
     895             :   'n','u','m','e','r','i','c','-','u','s','e','r','-','i','d','e',
     896             :   'n','t','i','f','i','e','r','\0',
     897             :   'O','r','g','a','n','i','z','a','t','i','o','n','a','l','U','n',
     898             :   'i','t','N','a','m','e','s','\0',
     899             :   'u','b','-','o','r','g','a','n','i','z','a','t','i','o','n','a',
     900             :   'l','-','u','n','i','t','s','\0',
     901             :   'u','b','-','e','x','t','e','n','s','i','o','n','-','a','t','t',
     902             :   'r','i','b','u','t','e','s','\0',
     903             :   'E','n','c','a','p','s','u','l','a','t','e','d','C','o','n','t',
     904             :   'e','n','t','I','n','f','o','\0',
     905             :   'e','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
     906             :   'a','t','e','I','n','f','o','\0',
     907             :   'E','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
     908             :   'a','t','e','I','n','f','o','\0',
     909             :   'A','u','t','h','o','r','i','t','y','K','e','y','I','d','e','n',
     910             :   't','i','f','i','e','r','\0',
     911             :   'u','b','-','x','1','2','1','-','a','d','d','r','e','s','s','-',
     912             :   'l','e','n','g','t','h','\0',
     913             :   'O','r','g','a','n','i','z','a','t','i','o','n','a','l','U','n',
     914             :   'i','t','N','a','m','e','\0',
     915             :   'k','e','y','E','n','c','r','y','p','t','i','o','n','A','l','g',
     916             :   'o','r','i','t','h','m','\0',
     917             :   'r','e','c','i','p','i','e','n','t','E','n','c','r','y','p','t',
     918             :   'e','d','K','e','y','s','\0',
     919             :   'R','e','c','i','p','i','e','n','t','E','n','c','r','y','p','t',
     920             :   'e','d','K','e','y','s','\0',
     921             :   'R','e','c','i','p','i','e','n','t','K','e','y','I','d','e','n',
     922             :   't','i','f','i','e','r','\0',
     923             :   'A','t','t','r','i','b','u','t','e','T','y','p','e','A','n','d',
     924             :   'V','a','l','u','e','\0',
     925             :   'r','e','q','u','i','r','e','E','x','p','l','i','c','i','t','P',
     926             :   'o','l','i','c','y','\0',
     927             :   'D','i','s','t','r','i','b','u','t','i','o','n','P','o','i','n',
     928             :   't','N','a','m','e','\0',
     929             :   'o','n','l','y','C','o','n','t','a','i','n','s','U','s','e','r',
     930             :   'C','e','r','t','s','\0',
     931             :   'N','u','m','e','r','i','c','U','s','e','r','I','d','e','n','t',
     932             :   'i','f','i','e','r','\0',
     933             :   'u','b','-','d','o','m','a','i','n','-','n','a','m','e','-','l',
     934             :   'e','n','g','t','h','\0',
     935             :   'u','b','-','t','e','r','m','i','n','a','l','-','i','d','-','l',
     936             :   'e','n','g','t','h','\0',
     937             :   'i','s','s','u','e','r','A','n','d','S','e','r','i','a','l','N',
     938             :   'u','m','b','e','r','\0',
     939             :   'I','s','s','u','e','r','A','n','d','S','e','r','i','a','l','N',
     940             :   'u','m','b','e','r','\0',
     941             :   'U','n','p','r','o','t','e','c','t','e','d','A','t','t','r','i',
     942             :   'b','u','t','e','s','\0',
     943             :   'K','e','y','T','r','a','n','s','R','e','c','i','p','i','e','n',
     944             :   't','I','n','f','o','\0',
     945             :   'K','e','y','A','g','r','e','e','R','e','c','i','p','i','e','n',
     946             :   't','I','n','f','o','\0',
     947             :   'R','e','c','i','p','i','e','n','t','E','n','c','r','y','p','t',
     948             :   'e','d','K','e','y','\0',
     949             :   's','u','b','j','e','c','t','P','u','b','l','i','c','K','e','y',
     950             :   'I','n','f','o','\0',
     951             :   'S','u','b','j','e','c','t','P','u','b','l','i','c','K','e','y',
     952             :   'I','n','f','o','\0',
     953             :   'P','o','l','i','c','y','M','a','p','p','i','n','g','s','S','y',
     954             :   'n','t','a','x','\0',
     955             :   'i','n','h','i','b','i','t','P','o','l','i','c','y','M','a','p',
     956             :   'p','i','n','g','\0',
     957             :   'c','e','s','s','a','t','i','o','n','O','f','O','p','e','r','a',
     958             :   't','i','o','n','\0',
     959             :   'i','s','o','-','3','1','6','6','-','a','l','p','h','a','2','-',
     960             :   'c','o','d','e','\0',
     961             :   'u','b','-','g','i','v','e','n','-','n','a','m','e','-','l','e',
     962             :   'n','g','t','h','\0',
     963             :   'g','e','n','e','r','a','t','i','o','n','-','q','u','a','l','i',
     964             :   'f','i','e','r','\0',
     965             :   's','u','b','j','e','c','t','K','e','y','I','d','e','n','t','i',
     966             :   'f','i','e','r','\0',
     967             :   'S','u','b','j','e','c','t','K','e','y','I','d','e','n','t','i',
     968             :   'f','i','e','r','\0',
     969             :   'e','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t',
     970             :   'I','n','f','o','\0',
     971             :   'E','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t',
     972             :   'I','n','f','o','\0',
     973             :   'a','u','t','h','o','r','i','t','y','C','e','r','t','I','s','s',
     974             :   'u','e','r','\0',
     975             :   'C','e','r','t','i','f','i','c','a','t','e','P','o','l','i','c',
     976             :   'i','e','s','\0',
     977             :   'P','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','I',
     978             :   'n','f','o','\0',
     979             :   's','u','b','j','e','c','t','D','o','m','a','i','n','P','o','l',
     980             :   'i','c','y','\0',
     981             :   'C','R','L','D','i','s','t','P','o','i','n','t','s','S','y','n',
     982             :   't','a','x','\0',
     983             :   'r','e','v','o','k','e','d','C','e','r','t','i','f','i','c','a',
     984             :   't','e','s','\0',
     985             :   'o','n','l','y','C','o','n','t','a','i','n','s','C','A','C','e',
     986             :   'r','t','s','\0',
     987             :   'E','x','t','e','n','s','i','o','n','A','t','t','r','i','b','u',
     988             :   't','e','s','\0',
     989             :   't','e','r','m','i','n','a','l','-','i','d','e','n','t','i','f',
     990             :   'i','e','r','\0',
     991             :   'p','r','i','v','a','t','e','-','d','o','m','a','i','n','-','n',
     992             :   'a','m','e','\0',
     993             :   'O','r','i','g','i','n','a','t','o','r','P','u','b','l','i','c',
     994             :   'K','e','y','\0',
     995             :   'e','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
     996             :   'a','t','e','\0',
     997             :   'E','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
     998             :   'a','t','e','\0',
     999             :   'e','n','c','r','y','p','t','i','o','n','A','l','g','o','r','i',
    1000             :   't','h','m','\0',
    1001             :   'R','C','2','P','a','r','a','m','e','t','e','r','V','e','r','s',
    1002             :   'i','o','n','\0',
    1003             :   'r','c','2','P','a','r','a','m','e','t','e','r','V','e','r','s',
    1004             :   'i','o','n','\0',
    1005             :   'i','d','-','c','o','u','n','t','e','r','s','i','g','n','a','t',
    1006             :   'u','r','e','\0',
    1007             :   's','i','g','n','a','t','u','r','e','A','l','g','o','r','i','t',
    1008             :   'h','m','\0',
    1009             :   'i','s','s','u','e','r','D','o','m','a','i','n','P','o','l','i',
    1010             :   'c','y','\0',
    1011             :   'a','f','f','i','l','i','a','t','i','o','n','C','h','a','n','g',
    1012             :   'e','d','\0',
    1013             :   'c','r','l','E','n','t','r','y','E','x','t','e','n','s','i','o',
    1014             :   'n','s','\0',
    1015             :   'T','e','r','m','i','n','a','l','I','d','e','n','t','i','f','i',
    1016             :   'e','r','\0',
    1017             :   'u','b','-','i','n','i','t','i','a','l','s','-','l','e','n','g',
    1018             :   't','h','\0',
    1019             :   'E','x','t','e','n','s','i','o','n','A','t','t','r','i','b','u',
    1020             :   't','e','\0',
    1021             :   'U','n','s','i','g','n','e','d','A','t','t','r','i','b','u','t',
    1022             :   'e','s','\0',
    1023             :   'U','s','e','r','K','e','y','i','n','g','M','a','t','e','r','i',
    1024             :   'a','l','\0',
    1025             :   'C','e','r','t','i','f','i','c','a','t','e','C','h','o','i','c',
    1026             :   'e','s','\0',
    1027             :   'i','d','-','a','l','g','-','C','M','S','3','D','E','S','w','r',
    1028             :   'a','p','\0',
    1029             :   'P','o','l','i','c','y','I','n','f','o','r','m','a','t','i','o',
    1030             :   'n','\0',
    1031             :   'p','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','I',
    1032             :   'd','\0',
    1033             :   'P','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','I',
    1034             :   'd','\0',
    1035             :   'p','a','t','h','L','e','n','C','o','n','s','t','r','a','i','n',
    1036             :   't','\0',
    1037             :   'p','e','r','m','i','t','t','e','d','S','u','b','t','r','e','e',
    1038             :   's','\0',
    1039             :   'd','i','s','t','r','i','b','u','t','i','o','n','P','o','i','n',
    1040             :   't','\0',
    1041             :   'C','e','r','t','i','f','i','c','a','t','e','I','s','s','u','e',
    1042             :   'r','\0',
    1043             :   'P','r','i','v','a','t','e','D','o','m','a','i','n','N','a','m',
    1044             :   'e','\0',
    1045             :   'o','r','g','a','n','i','z','a','t','i','o','n','-','n','a','m',
    1046             :   'e','\0',
    1047             :   'u','b','-','s','u','r','n','a','m','e','-','l','e','n','g','t',
    1048             :   'h','\0',
    1049             :   'O','t','h','e','r','K','e','y','A','t','t','r','i','b','u','t',
    1050             :   'e','\0',
    1051             :   'A','u','t','h','e','n','t','i','c','a','t','e','d','D','a','t',
    1052             :   'a','\0',
    1053             :   'i','d','-','a','l','g','-','C','M','S','R','C','2','w','r','a',
    1054             :   'p','\0',
    1055             :   'i','d','-','c','t','-','c','o','n','t','e','n','t','I','n','f',
    1056             :   'o','\0',
    1057             :   'U','n','i','q','u','e','I','d','e','n','t','i','f','i','e','r','\0',
    1058             :   's','u','b','j','e','c','t','P','u','b','l','i','c','K','e','y','\0',
    1059             :   'd','i','g','i','t','a','l','S','i','g','n','a','t','u','r','e','\0',
    1060             :   'd','a','t','a','E','n','c','i','p','h','e','r','m','e','n','t','\0',
    1061             :   'p','o','l','i','c','y','I','d','e','n','t','i','f','i','e','r','\0',
    1062             :   'p','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','s','\0',
    1063             :   'B','a','s','i','c','C','o','n','s','t','r','a','i','n','t','s','\0',
    1064             :   'e','x','c','l','u','d','e','d','S','u','b','t','r','e','e','s','\0',
    1065             :   'O','r','g','a','n','i','z','a','t','i','o','n','N','a','m','e','\0',
    1066             :   'd','i','g','e','s','t','A','l','g','o','r','i','t','h','m','s','\0',
    1067             :   'e','n','c','a','p','C','o','n','t','e','n','t','I','n','f','o','\0',
    1068             :   'S','i','g','n','e','r','I','d','e','n','t','i','f','i','e','r','\0',
    1069             :   'S','i','g','n','e','d','A','t','t','r','i','b','u','t','e','s','\0',
    1070             :   'u','n','p','r','o','t','e','c','t','e','d','A','t','t','r','s','\0',
    1071             :   'e','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t','\0',
    1072             :   'E','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t','\0',
    1073             :   'K','E','K','R','e','c','i','p','i','e','n','t','I','n','f','o','\0',
    1074             :   'U','n','a','u','t','h','A','t','t','r','i','b','u','t','e','s','\0',
    1075             :   'C','o','u','n','t','e','r','s','i','g','n','a','t','u','r','e','\0',
    1076             :   'i','d','-','d','s','a','-','w','i','t','h','-','s','h','a','1','\0',
    1077             :   'd','h','-','p','u','b','l','i','c','-','n','u','m','b','e','r','\0',
    1078             :   'K','e','y','W','r','a','p','A','l','g','o','r','i','t','h','m','\0',
    1079             :   'R','C','2','w','r','a','p','P','a','r','a','m','e','t','e','r','\0',
    1080             :   'i','d','-','e','n','v','e','l','o','p','e','d','D','a','t','a','\0',
    1081             :   'i','d','-','e','n','c','r','y','p','t','e','d','D','a','t','a','\0',
    1082             :   'i','d','-','m','e','s','s','a','g','e','D','i','g','e','s','t','\0',
    1083             :   'j','o','i','n','t','-','i','s','o','-','c','c','i','t','t','\0',
    1084             :   's','u','b','j','e','c','t','U','n','i','q','u','e','I','D','\0',
    1085             :   'D','i','r','e','c','t','o','r','y','S','t','r','i','n','g','\0',
    1086             :   'p','r','i','n','t','a','b','l','e','S','t','r','i','n','g','\0',
    1087             :   'u','n','i','v','e','r','s','a','l','S','t','r','i','n','g','\0',
    1088             :   'k','e','y','E','n','c','i','p','h','e','r','m','e','n','t','\0',
    1089             :   'N','a','m','e','C','o','n','s','t','r','a','i','n','t','s','\0',
    1090             :   'G','e','n','e','r','a','l','S','u','b','t','r','e','e','s','\0',
    1091             :   'c','e','r','t','i','f','i','c','a','t','e','H','o','l','d','\0',
    1092             :   'C','e','r','t','i','f','i','c','a','t','e','L','i','s','t','\0',
    1093             :   'u','s','e','r','C','e','r','t','i','f','i','c','a','t','e','\0',
    1094             :   'o','n','l','y','S','o','m','e','R','e','a','s','o','n','s','\0',
    1095             :   'n','e','t','w','o','r','k','-','a','d','d','r','e','s','s','\0',
    1096             :   'd','i','g','e','s','t','A','l','g','o','r','i','t','h','m','\0',
    1097             :   'R','C','2','C','B','C','P','a','r','a','m','e','t','e','r','\0',
    1098             :   'i','d','-','d','i','g','e','s','t','e','d','D','a','t','a','\0',
    1099             :   't','b','s','C','e','r','t','i','f','i','c','a','t','e','\0',
    1100             :   'T','B','S','C','e','r','t','i','f','i','c','a','t','e','\0',
    1101             :   'i','s','s','u','e','r','U','n','i','q','u','e','I','D','\0',
    1102             :   'A','t','t','r','i','b','u','t','e','V','a','l','u','e','\0',
    1103             :   'n','o','n','R','e','p','u','d','i','a','t','i','o','n','\0',
    1104             :   'S','u','b','j','e','c','t','A','l','t','N','a','m','e','\0',
    1105             :   'G','e','n','e','r','a','l','S','u','b','t','r','e','e','\0',
    1106             :   'T','e','s','t','I','d','e','n','t','i','f','i','e','r','\0',
    1107             :   's','i','g','n','a','t','u','r','e','V','a','l','u','e','\0',
    1108             :   'r','e','v','o','c','a','t','i','o','n','D','a','t','e','\0',
    1109             :   'I','n','v','a','l','i','d','i','t','y','D','a','t','e','\0',
    1110             :   'N','e','t','w','o','r','k','A','d','d','r','e','s','s','\0',
    1111             :   'C','e','r','t','i','f','i','c','a','t','e','S','e','t','\0',
    1112             :   'S','i','g','n','a','t','u','r','e','V','a','l','u','e','\0',
    1113             :   'o','r','i','g','i','n','a','t','o','r','I','n','f','o','\0',
    1114             :   'O','r','i','g','i','n','a','t','o','r','I','n','f','o','\0',
    1115             :   'r','e','c','i','p','i','e','n','t','I','n','f','o','s','\0',
    1116             :   'R','e','c','i','p','i','e','n','t','I','n','f','o','s','\0',
    1117             :   'A','u','t','h','A','t','t','r','i','b','u','t','e','s','\0',
    1118             :   'i','d','-','c','t','-','a','u','t','h','D','a','t','a','\0',
    1119             :   'i','d','-','c','o','n','t','e','n','t','T','y','p','e','\0',
    1120             :   'i','d','-','s','i','g','n','i','n','g','T','i','m','e','\0',
    1121             :   'A','t','t','r','i','b','u','t','e','T','y','p','e','\0',
    1122             :   't','e','l','e','t','e','x','S','t','r','i','n','g','\0',
    1123             :   'k','e','y','I','d','e','n','t','i','f','i','e','r','\0',
    1124             :   'd','i','r','e','c','t','o','r','y','N','a','m','e','\0',
    1125             :   'B','i','o','m','e','t','r','i','c','D','a','t','a','\0',
    1126             :   'k','e','y','C','o','m','p','r','o','m','i','s','e','\0',
    1127             :   'c','r','l','E','x','t','e','n','s','i','o','n','s','\0',
    1128             :   'r','e','m','o','v','e','F','r','o','m','C','R','L','\0',
    1129             :   'p','e','r','s','o','n','a','l','-','n','a','m','e','\0',
    1130             :   'x','1','2','1','-','d','c','c','-','c','o','d','e','\0',
    1131             :   'u','n','s','i','g','n','e','d','A','t','t','r','s','\0',
    1132             :   'E','n','v','e','l','o','p','e','d','D','a','t','a','\0',
    1133             :   'o','r','i','g','i','n','a','t','o','r','K','e','y','\0',
    1134             :   'K','E','K','I','d','e','n','t','i','f','i','e','r','\0',
    1135             :   'E','n','c','r','y','p','t','e','d','D','a','t','a','\0',
    1136             :   'M','e','s','s','a','g','e','D','i','g','e','s','t','\0',
    1137             :   'r','s','a','E','n','c','r','y','p','t','i','o','n','\0',
    1138             :   'i','d','-','s','i','g','n','e','d','D','a','t','a','\0',
    1139             :   's','e','r','i','a','l','N','u','m','b','e','r','\0',
    1140             :   'G','e','n','e','r','a','l','N','a','m','e','s','\0',
    1141             :   'k','e','y','A','g','r','e','e','m','e','n','t','\0',
    1142             :   'e','n','c','i','p','h','e','r','O','n','l','y','\0',
    1143             :   'd','e','c','i','p','h','e','r','O','n','l','y','\0',
    1144             :   'C','e','r','t','P','o','l','i','c','y','I','d','\0',
    1145             :   'e','d','i','P','a','r','t','y','N','a','m','e','\0',
    1146             :   'E','D','I','P','a','r','t','y','N','a','m','e','\0',
    1147             :   'r','e','g','i','s','t','e','r','e','d','I','D','\0',
    1148             :   'n','a','m','e','A','s','s','i','g','n','e','r','\0',
    1149             :   'B','a','s','e','D','i','s','t','a','n','c','e','\0',
    1150             :   'c','A','C','o','m','p','r','o','m','i','s','e','\0',
    1151             :   'c','o','u','n','t','r','y','-','n','a','m','e','\0',
    1152             :   'P','e','r','s','o','n','a','l','N','a','m','e','\0',
    1153             :   'c','e','r','t','i','f','i','c','a','t','e','s','\0',
    1154             :   'e','C','o','n','t','e','n','t','T','y','p','e','\0',
    1155             :   'e','n','c','r','y','p','t','e','d','K','e','y','\0',
    1156             :   'D','i','g','e','s','t','e','d','D','a','t','a','\0',
    1157             :   'm','a','c','A','l','g','o','r','i','t','h','m','\0',
    1158             :   'd','e','s','-','e','d','e','3','-','c','b','c','\0',
    1159             :   'r','d','n','S','e','q','u','e','n','c','e','\0',
    1160             :   'R','D','N','S','e','q','u','e','n','c','e','\0',
    1161             :   'g','e','n','e','r','a','l','T','i','m','e','\0',
    1162             :   'k','e','y','C','e','r','t','S','i','g','n','\0',
    1163             :   'G','e','n','e','r','a','l','N','a','m','e','\0',
    1164             :   'x','4','0','0','A','d','d','r','e','s','s','\0',
    1165             :   'R','e','a','s','o','n','F','l','a','g','s','\0',
    1166             :   't','b','s','C','e','r','t','L','i','s','t','\0',
    1167             :   'T','B','S','C','e','r','t','L','i','s','t','\0',
    1168             :   'u','n','s','p','e','c','i','f','i','e','d','\0',
    1169             :   'i','n','d','i','r','e','c','t','C','R','L','\0',
    1170             :   'C','o','u','n','t','r','y','N','a','m','e','\0',
    1171             :   'X','1','2','1','A','d','d','r','e','s','s','\0',
    1172             :   'm','e','m','b','e','r','-','b','o','d','y','\0',
    1173             :   's','i','g','n','e','r','I','n','f','o','s','\0',
    1174             :   'S','i','g','n','e','r','I','n','f','o','s','\0',
    1175             :   'c','e','r','t','i','f','i','c','a','t','e','\0',
    1176             :   'S','i','g','n','i','n','g','T','i','m','e','\0',
    1177             :   'n','u','m','b','e','r','-','t','y','p','e','\0',
    1178             :   'i','d','-','a','l','g','-','E','S','D','H','\0',
    1179             :   'm','e','c','h','a','n','i','s','m','s','\0',
    1180             :   'p','a','r','a','m','e','t','e','r','s','\0',
    1181             :   'e','x','t','e','n','s','i','o','n','s','\0',
    1182             :   'u','t','f','8','S','t','r','i','n','g','\0',
    1183             :   'r','f','c','8','2','2','N','a','m','e','\0',
    1184             :   's','u','p','e','r','s','e','d','e','d','\0',
    1185             :   't','h','i','s','U','p','d','a','t','e','\0',
    1186             :   'n','e','x','t','U','p','d','a','t','e','\0',
    1187             :   'g','i','v','e','n','-','n','a','m','e','\0',
    1188             :   'S','i','g','n','e','d','D','a','t','a','\0',
    1189             :   'C','M','S','V','e','r','s','i','o','n','\0',
    1190             :   'S','i','g','n','e','r','I','n','f','o','\0',
    1191             :   'a','t','t','r','V','a','l','u','e','s','\0',
    1192             :   'o','r','i','g','i','n','a','t','o','r','\0',
    1193             :   't','e','l','e','t','r','u','s','t','\0',
    1194             :   'a','l','g','o','r','i','t','h','m','\0',
    1195             :   'b','m','p','S','t','r','i','n','g','\0',
    1196             :   'n','o','t','B','e','f','o','r','e','\0',
    1197             :   'E','x','t','e','n','s','i','o','n','\0',
    1198             :   'e','x','t','n','V','a','l','u','e','\0',
    1199             :   'o','t','h','e','r','N','a','m','e','\0',
    1200             :   'O','t','h','e','r','N','a','m','e','\0',
    1201             :   'O','R','A','d','d','r','e','s','s','\0',
    1202             :   'i','P','A','d','d','r','e','s','s','\0',
    1203             :   'p','a','r','t','y','N','a','m','e','\0',
    1204             :   'S','k','i','p','C','e','r','t','s','\0',
    1205             :   'c','R','L','I','s','s','u','e','r','\0',
    1206             :   'C','R','L','R','e','a','s','o','n','\0',
    1207             :   'c','R','L','N','u','m','b','e','r','\0',
    1208             :   'p','r','i','n','t','a','b','l','e','\0',
    1209             :   'p','u','b','l','i','c','K','e','y','\0',
    1210             :   'k','e','y','A','t','t','r','I','d','\0',
    1211             :   'a','n','s','i','-','x','9','4','2','\0',
    1212             :   'h','M','A','C','-','S','H','A','1','\0',
    1213             :   'i','n','t','e','r','n','e','t','\0',
    1214             :   's','e','c','u','r','i','t','y','\0',
    1215             :   'v','a','l','i','d','i','t','y','\0',
    1216             :   'V','a','l','i','d','i','t','y','\0',
    1217             :   'n','o','t','A','f','t','e','r','\0',
    1218             :   'c','r','i','t','i','c','a','l','\0',
    1219             :   'K','e','y','U','s','a','g','e','\0',
    1220             :   'f','u','l','l','N','a','m','e','\0',
    1221             :   'i','n','i','t','i','a','l','s','\0',
    1222             :   'e','C','o','n','t','e','n','t','\0',
    1223             :   'a','t','t','r','T','y','p','e','\0',
    1224             :   'v','e','r','s','i','o','n','\0',
    1225             :   's','u','b','j','e','c','t','\0',
    1226             :   'm','a','x','S','i','z','e','\0',
    1227             :   'u','t','c','T','i','m','e','\0',
    1228             :   'c','R','L','S','i','g','n','\0',
    1229             :   'd','N','S','N','a','m','e','\0',
    1230             :   't','y','p','e','-','i','d','\0',
    1231             :   'm','i','n','i','m','u','m','\0',
    1232             :   'm','a','x','i','m','u','m','\0',
    1233             :   'r','e','a','s','o','n','s','\0',
    1234             :   'n','u','m','e','r','i','c','\0',
    1235             :   's','u','r','n','a','m','e','\0',
    1236             :   'm','o','d','u','l','e','s','\0',
    1237             :   'c','o','n','t','e','n','t','\0',
    1238             :   'k','e','y','A','t','t','r','\0',
    1239             :   'r','c','2','-','c','b','c','\0',
    1240             :   'i','d','-','d','a','t','a','\0',
    1241             :   'T','M','T','T','v','2','\0',
    1242             :   'i','s','s','u','e','r','\0',
    1243             :   'v','a','l','u','e','s','\0',
    1244             :   'e','x','t','n','I','D','\0',
    1245             :   't','y','p','e','I','d','\0',
    1246             :   'u','n','u','s','e','d','\0',
    1247             :   'r','s','a','d','s','i','\0',
    1248             :   '1','1','3','5','4','9','\0',
    1249             :   'p','k','c','s','-','9','\0',
    1250             :   'r','K','e','y','I','d','\0',
    1251             :   'd','i','g','e','s','t','\0',
    1252             :   's','e','c','s','i','g','\0',
    1253             :   'p','k','c','s','-','1','\0',
    1254             :   'i','d','-','c','e','\0',
    1255             :   's','m','i','m','e','\0',
    1256             :   'c','e','r','t','s','\0',
    1257             :   'k','e','k','r','i','\0',
    1258             :   'o','t','h','e','r','\0',
    1259             :   'k','e','k','i','d','\0',
    1260             :   's','h','a','-','1','\0',
    1261             :   'x','9','-','5','7','\0',
    1262             :   '1','0','0','4','0','\0',
    1263             :   '1','0','0','4','6','\0',
    1264             :   'p','k','c','s','7','\0',
    1265             :   'p','k','c','s','9','\0',
    1266             :   'b','a','s','e','\0',
    1267             :   'p','k','c','s','\0',
    1268             :   'c','r','l','s','\0',
    1269             :   'k','t','r','i','\0',
    1270             :   'k','a','r','i','\0',
    1271             :   'x','9','c','m','\0',
    1272             :   'i','s','o','\0',
    1273             :   'd','o','d','\0',
    1274             :   'f','o','o','\0',
    1275             :   'M','A','X','\0',
    1276             :   '8','4','0','\0',
    1277             :   'c','m','s','\0',
    1278             :   's','i','d','\0',
    1279             :   'r','i','d','\0',
    1280             :   'u','k','m','\0',
    1281             :   'm','a','c','\0',
    1282             :   'o','i','w','\0',
    1283             :   'm','d','5','\0',
    1284             :   'a','l','g','\0',
    1285             :   '1','7','\0',
    1286             :   'd','s','\0',
    1287             :   '2','9','\0',
    1288             :   'v','1','\0',
    1289             :   'v','3','\0',
    1290             :   'c','A','\0',
    1291             :   'u','s','\0',
    1292             :   '1','6','\0',
    1293             :   'v','0','\0',
    1294             :   'v','4','\0',
    1295             :   '1','4','\0',
    1296             :   '2','6','\0',
    1297             :   'I','V','\0',
    1298             :   'i','v','\0',
    1299             :   '8','\0',
    1300             :   '\0' };
    1301             : /* (371 strings) */
    1302             : 
    1303             : 
    1304             : const static_asn *
    1305           9 : _ksba_asn_lookup_table (const char *name, const char **stringtbl)
    1306             : {
    1307           9 :   *stringtbl = string_table;
    1308           9 :   if (!strcmp (name, "cms"))
    1309           0 :     return cms_asn1_tab;
    1310           9 :   if (!strcmp (name, "tmttv2"))
    1311           9 :     return tmttv2_asn1_tab;
    1312             : 
    1313           0 :   return NULL;
    1314             : }

Generated by: LCOV version 1.11