mzn-rewriting/community-detection/dolphin.s62.k3.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation
bytecode-benchmarks / mzn-rewriting / community-detection / dolphin.s62.k3.dzn
at develop 49 kB view raw
  1n= 62;
  2k= 3;
  3maxsize= 62;
  4nML= 31;
  5nCL= 31;
  6deg= [   6,    8,    4,    3,    1,    4,    6,    5,    6,    7,    5,    1,    1,    8,   12,    7,    6,    9,    7,    4,    9,    6,    1,    3,    6,    3,    3,    5,    5,    9,    5,    1,    3,   10,    5,    1,    7,   11,    8,    2,    8,    5,    6,    7,    4,   11,    2,    6,    1,    2,    7,   10,    4,    2,    7,    2,    2,    9,    1,    5,    1,    3] ;
  7ML= [|     38,     47, 
  8|     26,     14, 
  9|     58,      6, 
 10|     11,     56, 
 11|     13,      9, 
 12|     33,     42, 
 13|     60,     38, 
 14|     23,     58, 
 15|     52,     43, 
 16|     49,      6, 
 17|     45,     37, 
 18|     41,     41, 
 19|     59,      4, 
 20|     58,      2, 
 21|     48,     46, 
 22|     34,      1, 
 23|     21,     47, 
 24|     32,      2, 
 25|      3,      1, 
 26|      6,     14, 
 27|     43,     56, 
 28|     13,      4, 
 29|      8,      6, 
 30|     50,      1, 
 31|     54,     39, 
 32|     39,     38, 
 33|     29,     38, 
 34|     33,      8, 
 35|     55,      7, 
 36|      1,     21, 
 37|     55,      6|] ;
 38CL= [|     17,     42, 
 39|     24,      7, 
 40|     18,     24, 
 41|     36,     32, 
 42|     25,     33, 
 43|     16,     49, 
 44|      1,     49, 
 45|     16,     57, 
 46|     50,      2, 
 47|     46,     55, 
 48|     32,     56, 
 49|     54,     42, 
 50|     38,     42, 
 51|      8,     34, 
 52|     14,     56, 
 53|     20,     43, 
 54|     16,     57, 
 55|      4,      8, 
 56|     51,     32, 
 57|     48,     58, 
 58|     37,     58, 
 59|     49,     59, 
 60|     52,     23, 
 61|     55,     25, 
 62|     60,      7, 
 63|     13,     57, 
 64|     53,     58, 
 65|     51,      7, 
 66|     10,      3, 
 67|      4,     28, 
 68|     51,     23|] ;
 69A= [|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    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,    1,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 70|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    1,    1,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0, 
 71|    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1, 
 72|    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0, 
 73|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 74|    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    1,    0,    0,    0,    0, 
 75|    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    1,    0,    0,    0,    0, 
 76|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0, 
 77|    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0, 
 78|    0,    0,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0, 
 79|    1,    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,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 80|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 81|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0, 
 82|    0,    0,    0,    0,    0,    1,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0, 
 83|    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    1,    0,    0,    1,    1,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 84|    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0, 
 85|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 86|    0,    1,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    1,    0,    0,    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,    0,    1,    0,    0,    0,    0, 
 87|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    1,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 88|    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    1,    0,    0,    0,    0,    0,    0,    0, 
 89|    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 90|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 91|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 92|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 93|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 94|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 95|    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,    1,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 96|    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 97|    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 98|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
 99|    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
100|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
101|    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0, 
102|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    1,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
103|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
104|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0, 
105|    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0, 
106|    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    1,    0,    1,    0,    0,    0,    1,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1, 
107|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0, 
108|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0, 
109|    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
110|    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0, 
111|    1,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
112|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0, 
113|    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    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, 
114|    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    1,    0,    1,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0, 
115|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
116|    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
117|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0, 
118|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
119|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
120|    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    1,    0,    1,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0, 
121|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
122|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1, 
123|    0,    1,    0,    0,    0,    0,    1,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0, 
124|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
125|    0,    0,    0,    0,    0,    1,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0, 
126|    0,    0,    0,    0,    0,    1,    1,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0, 
127|    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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, 
128|    0,    0,    0,    1,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    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,    0,    0,    0,    0,    0, 
130|    0,    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,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,    0,    0|] ;
131W= [| -1132, -1509, -755, -566, -189, -755, -1132, -943, -1132, -1321, 9057, -189, -189, -1509, 7736, 8679, -1132, -1698, -1321, -755, -1698, -1132, -189, -566, -1132, -566, -566, -943, -943, -1698, -943, -189, -566, -1887, -943, -189, -1321, -2075, -1509, -377, 8491, -943, 8868, -1321, -755, -2075, -377, 8868, -189, -377, -1321, -1887, -755, -377, -1321, -377, -377, -1698, -189, -943, -189, -566, 
132| -1509, -2013, -1006, -755, -252, -1006, -1509, -1258, -1509, -1761, -1258, -252, -252, -2013, -3019, -1761, -1509, 7736, -1761, 8994, -2264, -1509, -252, -755, -1509, -755, 9245, 8742, 8742, -2264, -1258, -252, -755, -2516, -1258, -252, 8239, -2767, -2013, -503, -2013, 8742, -1509, -1761, -1006, -2767, -503, -1509, -252, -503, -1761, -2516, -1006, -503, 8239, -503, -503, -2264, -252, -1258, -252, -755, 
133| -755, -1006, -503, -377, -126, -503, -755, -629, -755, -881, 9371, -126, -126, -1006, -1509, -881, -755, -1132, -881, -503, -1132, -755, -126, -377, -755, -377, -377, -629, -629, -1132, -629, -126, -377, -1258, -629, -126, -881, -1384, -1006, -252, -1006, -629, 9245, -881, 9497, -1384, -252, -755, -126, -252, -881, -1258, -503, -252, -881, -252, -252, -1132, -126, -629, -126, 9623, 
134| -566, -755, -377, -283,  -94, -377, -566, -472, 9434, -660, -472,  -94,  -94, -755, 8868, -660, -566, -849, -660, -377, -849, -566,  -94, -283, -566, -283, -283, -472, -472, -849, -472,  -94, -283, -943, -472,  -94, -660, -1038, -755, -189, -755, -472, -566, -660, -377, -1038, -189, -566,  -94, -189, -660, -943, -377, -189, -660, -189, -189, -849,  -94, 9528,  -94, -283, 
135| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, -283, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31,  -94, -314, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, 9686, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
136| -755, -1006, -503, -377, -126, -503, -755, -629, -755, 9119, -629, -126, -126, 8994, -1509, -881, -755, -1132, -881, -503, -1132, -755, -126, -377, -755, -377, -377, -629, -629, -1132, -629, -126, -377, -1258, -629, -126, -881, -1384, -1006, -252, -1006, -629, -755, -881, -503, -1384, -252, -755, -126, -252, -881, -1258, -503, -252, -881, -252, 9748, 8868, -126, -629, -126, -377, 
137| -1132, -1509, -755, -566, -189, -755, -1132, -943, -1132, 8679, -943, -189, -189, 8491, -2264, -1321, -1132, 8302, -1321, -755, -1698, -1132, -189, -566, -1132, -566, -566, -943, -943, -1698, -943, -189, -566, -1887, -943, -189, -1321, -2075, -1509, -377, -1509, -943, -1132, -1321, -755, -2075, -377, -1132, -189, -377, -1321, -1887, -755, -377, 8679, -377, 9623, 8302, -189, -943, -189, -566, 
138| -943, -1258, -629, -472, -157, -629, -943, -786, -943, -1101, -786, -157, -157, -1258, -1887, -1101, -943, -1415, -1101, 9371, -1415, -943, -157, -472, -943, -472, -472, 9214, -786, -1415, 9214, -157, -472, -1572, -786, -157, -1101, -1730, -1258, -314, 8742, -786, -943, -1101, -629, -1730, -314, -943, -157, -314, -1101, -1572, -629, -314, 8899, -314, -314, -1415, -157, -786, -157, -472, 
139| -1132, -1509, -755, 9434, -189, -755, -1132, -943, -1132, -1321, -943, -189, -189, -1509, -2264, -1321, -1132, -1698, -1321, -755, 8302, -1132, -189, -566, -1132, -566, -566, -943, 9057, -1698, -943, -189, -566, -1887, -943, -189, -1321, 7925, -1509, -377, -1509, -943, -1132, -1321, -755, 7925, -377, -1132, -189, -377, -1321, -1887, -755, -377, -1321, -377, -377, -1698, -189, 9057, -189, -566, 
140| -1321, -1761, -881, -660, -220, 9119, 8679, -1101, -1321, -1541, -1101, -220, -220, 8239, -2642, -1541, -1321, 8019, -1541, -881, -1981, -1321, -220, -660, -1321, -660, -660, -1101, -1101, -1981, -1101, -220, 9340, -2201, -1101, -220, -1541, -2421, -1761, -440, -1761, 8899, -1321, -1541, -881, -2421, -440, -1321, -220, -440, -1541, -2201, -881, -440, -1541, -440, -440, 8019, -220, -1101, -220, -660, 
141| 9057, -1258, 9371, -472, -157, -629, -943, -786, -943, -1101, -786, -157, -157, -1258, -1887, -1101, -943, -1415, -1101, -629, -1415, -943, -157, -472, -943, -472, -472, -786, -786, 8585, -786, -157, -472, -1572, -786, -157, -1101, -1730, -1258, -314, -1258, -786, 9057, -1101, -629, -1730, -314, 9057, -157, -314, -1101, -1572, -629, -314, -1101, -314, -314, -1415, -157, -786, -157, -472, 
142| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, -283, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31,  -94, -314, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, 9686, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
143| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, -283, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31,  -94, 9686, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, -314, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
144| -1509, -2013, -1006, -755, -252, 8994, 8491, -1258, -1509, 8239, -1258, -252, -252, -2013, -3019, -1761, -1509, 7736, -1761, -1006, -2264, -1509, -252, -755, -1509, -755, -755, -1258, -1258, -2264, -1258, -252, 9245, -2516, -1258, -252, -1761, -2767, -2013, -503, -2013, 8742, -1509, -1761, -1006, -2767, -503, -1509, -252, -503, -1761, -2516, -1006, -503, 8239, -503, -503, 7736, -252, -1258, -252, -755, 
145| 7736, -3019, -1509, 8868, -377, -1509, -2264, -1887, -2264, -2642, -1887, -377, -377, -3019, -4528, -2642, 7736, -3396, -2642, -1509, -3396, -2264, -377, -1132, 7736, -1132, -1132, -1887, -1887, -3396, -1887, -377, -1132, 6226, 8113, -377, -2642, 5849, 6981, -755, 6981, -1887, -2264, 7358, -1509, -4151, -755, -2264, -377, -755, 7358, -3774, 8491, -755, -2642, -755, -755, -3396, -377, -1887, -377, -1132, 
146| 8679, -1761, -881, -660, -220, -881, -1321, -1101, -1321, -1541, -1101, -220, -220, -1761, -2642, -1541, -1321, -1981, 8459, -881, -1981, -1321, -220, -660, 8679, -660, -660, -1101, -1101, -1981, -1101, -220, -660, -2201, -1101, -220, -1541, -2421, -1761, -440, 8239, -1101, -1321, -1541, -881, 7579, -440, -1321, -220, -440, -1541, -2201, -881, -440, -1541, 9560, -440, -1981, -220, 8899, -220, -660, 
147| -1132, -1509, -755, -566, -189, -755, -1132, -943, -1132, -1321, -943, -189, -189, -1509, 7736, -1321, -1132, -1698, -1321, -755, 8302, -1132, -189, -566, -1132, -566, -566, -943, -943, -1698, -943, -189, -566, 8113, -943, -189, -1321, 7925, 8491, -377, -1509, -943, -1132, -1321, -755, -2075, -377, -1132, -189, -377, 8679, -1887, -755, -377, -1321, -377, -377, -1698, -189, -943, -189, -566, 
148| -1698, 7736, -1132, -849, -283, -1132, 8302, -1415, -1698, 8019, -1415, -283, -283, 7736, -3396, -1981, -1698, -2547, -1981, -1132, -2547, -1698, 9717, -849, -1698, 9151, -849, 8585, -1415, -2547, -1415, 9717, -849, -2830, -1415, -283, -1981, -3113, -2264, -566, -2264, -1415, -1698, -1981, -1132, -3113, -566, -1698, -283, -566, -1981, -2830, -1132, -566, -1981, -566, -566, 7453, -283, -1415, -283, -849, 
149| -1321, -1761, -881, -660, -220, -881, -1321, -1101, -1321, -1541, -1101, -220, -220, -1761, -2642, 8459, -1321, -1981, -1541, -881, 8019, 8679, -220, -660, 8679, -660, -660, -1101, -1101, 8019, -1101, -220, -660, -2201, -1101, -220, -1541, -2421, -1761, -440, -1761, -1101, -1321, -1541, -881, 7579, -440, -1321, -220, -440, -1541, 7799, -881, -440, -1541, -440, -440, -1981, -220, -1101, -220, -660, 
150| -755, 8994, -503, -377, -126, -503, -755, 9371, -755, -881, -629, -126, -126, -1006, -1509, -881, -755, -1132, -881, -503, -1132, -755, -126, -377, -755, -377, -377, -629, -629, -1132, 9371, -126, -377, -1258, -629, -126, -881, -1384, -1006, -252, -1006, -629, -755, -881, -503, -1384, -252, -755, -126, -252, -881, -1258, -503, -252, 9119, -252, -252, -1132, -126, -629, -126, -377, 
151| -1698, -2264, -1132, -849, -283, -1132, -1698, -1415, 8302, -1981, -1415, -283, -283, -2264, -3396, -1981, 8302, -2547, 8019, -1132, -2547, -1698, -283, -849, -1698, -849, -849, -1415, 8585, -2547, -1415, -283, -849, -2830, -1415, -283, 8019, -3113, 7736, -566, -2264, -1415, -1698, -1981, 8868, -3113, -566, 8302, -283, -566, 8019, -2830, -1132, -566, -1981, -566, -566, -2547, -283, -1415, -283, -849, 
152| -1132, -1509, -755, -566, -189, -755, -1132, -943, -1132, -1321, -943, -189, -189, -1509, -2264, -1321, -1132, -1698, 8679, -755, -1698, -1132, -189, -566, -1132, -566, -566, -943, -943, 8302, -943, -189, -566, 8113, -943, -189, -1321, 7925, -1509, -377, -1509, -943, -1132, -1321, -755, 7925, -377, -1132, -189, -377, -1321, 8113, -755, -377, -1321, -377, -377, -1698, -189, -943, -189, -566, 
153| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, 9717, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31,  -94, -314, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, -314, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
154| -566, -755, -377, -283,  -94, -377, -566, -472, -566, -660, -472,  -94,  -94, -755, -1132, -660, -566, -849, -660, -377, -849, -566,  -94, -283, -566, -283, -283, -472, -472, -849, -472,  -94, -283, -943, -472,  -94, 9340, -1038, -755, -189, -755, -472, -566, -660, -377, 8962, -189, -566,  -94, -189, -660, 9057, -377, -189, -660, -189, -189, -849,  -94, -472,  -94, -283, 
155| -1132, -1509, -755, -566, -189, -755, -1132, -943, -1132, -1321, -943, -189, -189, -1509, 7736, 8679, -1132, -1698, 8679, -755, -1698, -1132, -189, -566, -1132, -566, -566, -943, -943, 8302, -943, -189, -566, -1887, -943, -189, -1321, -2075, -1509, -377, -1509, -943, -1132, -1321, -755, 7925, -377, -1132, -189, -377, -1321, 8113, -755, -377, -1321, -377, -377, -1698, -189, -943, -189, -566, 
156| -566, -755, -377, -283,  -94, -377, -566, -472, -566, -660, -472,  -94,  -94, -755, -1132, -660, -566, 9151, -660, -377, -849, -566,  -94, -283, -566, -283, 9717, 9528, -472, -849, -472,  -94, -283, -943, -472,  -94, -660, -1038, -755, -189, -755, -472, -566, -660, -377, -1038, -189, -566,  -94, -189, -660, -943, -377, -189, -660, -189, -189, -849,  -94, -472,  -94, -283, 
157| -566, 9245, -377, -283,  -94, -377, -566, -472, -566, -660, -472,  -94,  -94, -755, -1132, -660, -566, -849, -660, -377, -849, -566,  -94, -283, -566, 9717, -283, 9528, -472, -849, -472,  -94, -283, -943, -472,  -94, -660, -1038, -755, -189, -755, -472, -566, -660, -377, -1038, -189, -566,  -94, -189, -660, -943, -377, -189, -660, -189, -189, -849,  -94, -472,  -94, -283, 
158| -943, 8742, -629, -472, -157, -629, -943, 9214, -943, -1101, -786, -157, -157, -1258, -1887, -1101, -943, 8585, -1101, -629, -1415, -943, -157, -472, -943, 9528, 9528, -786, -786, -1415, -786, -157, -472, -1572, -786, -157, -1101, -1730, -1258, -314, -1258, -786, -943, -1101, -629, -1730, -314, -943, -157, -314, -1101, -1572, -629, -314, -1101, -314, -314, -1415, -157, -786, -157, -472, 
159| -943, 8742, -629, -472, -157, -629, -943, -786, 9057, -1101, -786, -157, -157, -1258, -1887, -1101, -943, -1415, -1101, -629, 8585, -943, -157, -472, -943, -472, -472, -786, -786, -1415, 9214, -157, -472, -1572, -786, -157, -1101, -1730, -1258, -314, -1258, -786, -943, -1101, -629, -1730, -314, 9057, -157, -314, -1101, -1572, -629, -314, -1101, -314, -314, -1415, -157, -786, -157, -472, 
160| -1698, -2264, -1132, -849, -283, -1132, -1698, -1415, -1698, -1981, 8585, -283, -283, -2264, -3396, -1981, -1698, -2547, 8019, -1132, -2547, 8302, -283, -849, 8302, -849, -849, -1415, -1415, -2547, -1415, -283, -849, -2830, -1415, 9717, -1981, -3113, -2264, -566, -2264, -1415, -1698, 8019, -1132, 6887, -566, -1698, -283, -566, -1981, 7170, 8868, -566, -1981, -566, -566, -2547, -283, -1415, -283, -849, 
161| -943, -1258, -629, -472, -157, -629, -943, 9214, -943, -1101, -786, -157, -157, -1258, -1887, -1101, -943, -1415, -1101, 9371, -1415, -943, -157, -472, -943, -472, -472, -786, 9214, -1415, -786, -157, -472, -1572, -786, -157, -1101, -1730, -1258, -314, -1258, -786, 9057, -1101, -629, -1730, -314, 9057, -157, -314, -1101, -1572, -629, -314, -1101, -314, -314, -1415, -157, -786, -157, -472, 
162| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, 9717, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31,  -94, -314, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, -314, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
163| -566, -755, -377, -283,  -94, -377, -566, -472, -566, 9340, -472,  -94,  -94, 9245, -1132, -660, -566, -849, -660, -377, -849, -566,  -94, -283, -566, -283, -283, -472, -472, -849, -472,  -94, -283, -943, -472,  -94, -660, -1038, -755, -189, -755, -472, -566, -660, -377, -1038, -189, -566,  -94, -189, -660, -943, -377, -189, -660, -189, -189, -849,  -94, -472, 9906, -283, 
164| -1887, -2516, -1258, -943, -314, -1258, -1887, -1572, -1887, -2201, -1572, -314, 9686, -2516, 6226, -2201, 8113, -2830, -2201, -1258, -2830, 8113, -314, -943, -1887, -943, -943, -1572, -1572, -2830, -1572, -314, -943, -3145, 8428, -314, -2201, 6541, 7484, -629, 7484, -1572, -1887, 7799, -1258, -3459, -629, -1887, -314, -629, 7799, -3145, -1258, -629, -2201, -629, -629, -2830, -314, -1572, -314, -943, 
165| -943, -1258, -629, -472, -157, -629, -943, -786, -943, -1101, -786, -157, -157, -1258, 8113, -1101, -943, -1415, -1101, -629, -1415, -943, -157, -472, -943, -472, -472, -786, -786, -1415, -786, -157, -472, 8428, -786, -157, -1101, 8270, -1258, -314, -1258, -786, -943, -1101, 9371, -1730, -314, -943, -157, 9686, -1101, -1572, -629, -314, -1101, -314, -314, -1415, -157, -786, -157, -472, 
166| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, -283, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, 9717, -157,  -31,  -94, -314, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, -314, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
167| -1321, 8239, -881, -660, -220, -881, -1321, -1101, -1321, -1541, -1101, -220, -220, -1761, -2642, -1541, -1321, -1981, -1541, -881, 8019, -1321, -220, 9340, -1321, -660, -660, -1101, -1101, -1981, -1101, -220, -660, -2201, -1101, -220, -1541, 7579, -1761, 9560, 8239, -1101, -1321, -1541, -881, -2421, -440, -1321, -220, -440, -1541, -2201, -881, -440, -1541, -440, -440, -1981, -220, 8899, -220, -660, 
168| -2075, -2767, -1384, -1038, -346, -1384, -2075, -1730, 7925, -2421, -1730, -346, -346, -2767, 5849, -2421, 7925, -3113, -2421, -1384, -3113, 7925, -346, -1038, -2075, -1038, -1038, -1730, -1730, -3113, -1730, -346, -1038, 6541, 8270, -346, 7579, -3805, -2767, -692, 7233, -1730, -2075, 7579, -1384, 6195, -692, -2075, -346, -692, -2421, -3459, -1384, -692, -2421, -692, -692, -3113, -346, -1730, -346, 8962, 
169| -1509, -2013, -1006, -755, -252, -1006, -1509, -1258, -1509, -1761, -1258, -252, -252, -2013, 6981, -1761, 8491, -2264, -1761, -1006, 7736, -1509, -252, -755, -1509, -755, -755, -1258, -1258, -2264, -1258, -252, -755, 7484, -1258, -252, -1761, -2767, -2013, -503, -2013, -1258, -1509, 8239, 8994, -2767, -503, -1509, -252, -503, -1761, -2516, 8994, -503, -1761, -503, -503, -2264, 9748, -1258, -252, -755, 
170| -377, -503, -252, -189,  -63, -252, -377, -314, -377, -440, -314,  -63,  -63, -503, -755, -440, -377, -566, -440, -252, -566, -377,  -63, -189, -377, -189, -189, -314, -314, -566, -314,  -63, -189, -629, -314,  -63, 9560, -692, -503, -126, -503, -314, -377, -440, -252, -692, -126, -377,  -63, -126, -440, -629, -252, -126, -440, -126, -126, 9434,  -63, -314,  -63, -189, 
171| 8491, -2013, -1006, -755, -252, -1006, -1509, 8742, -1509, -1761, -1258, -252, -252, -2013, 6981, 8239, -1509, -2264, -1761, -1006, -2264, -1509, -252, -755, -1509, -755, -755, -1258, -1258, -2264, -1258, -252, -755, 7484, -1258, -252, 8239, 7233, -2013, -503, -2013, -1258, -1509, -1761, -1006, -2767, -503, -1509, -252, -503, -1761, -2516, 8994, -503, -1761, -503, -503, -2264, -252, -1258, -252, -755, 
172| -943, 8742, -629, -472, -157, -629, -943, -786, -943, 8899, -786, -157, -157, 8742, -1887, -1101, -943, -1415, -1101, -629, -1415, -943, -157, -472, -943, -472, -472, -786, -786, -1415, -786, -157, -472, -1572, -786, -157, -1101, -1730, -1258, -314, -1258, -786, -943, -1101, -629, -1730, -314, -943, -157, -314, -1101, -1572, -629, -314, 8899, -314, -314, 8585, -157, -786, -157, -472, 
173| 8868, -1509, 9245, -566, -189, -755, -1132, -943, -1132, -1321, 9057, -189, -189, -1509, -2264, -1321, -1132, -1698, -1321, -755, -1698, -1132, -189, -566, -1132, -566, -566, -943, -943, -1698, 9057, -189, -566, -1887, -943, -189, -1321, -2075, -1509, -377, -1509, -943, -1132, -1321, -755, -2075, -377, 8868, -189, -377, 8679, -1887, -755, -377, -1321, -377, -377, -1698, -189, -943, -189, -566, 
174| -1321, -1761, -881, -660, -220, -881, -1321, -1101, -1321, -1541, -1101, -220, -220, -1761, 7358, -1541, -1321, -1981, -1541, -881, -1981, -1321, -220, -660, -1321, -660, -660, -1101, -1101, 8019, -1101, -220, -660, 7799, -1101, -220, -1541, 7579, 8239, -440, -1761, -1101, -1321, -1541, -881, -2421, 9560, -1321, -220, -440, -1541, -2201, -881, 9560, -1541, -440, -440, -1981, -220, -1101, -220, -660, 
175| -755, -1006, 9497, -377, -126, -503, -755, -629, -755, -881, -629, -126, -126, -1006, -1509, -881, -755, -1132, -881, -503, 8868, -755, -126, -377, -755, -377, -377, -629, -629, -1132, -629, -126, -377, -1258, 9371, -126, -881, -1384, 8994, -252, -1006, -629, -755, -881, -503, -1384, -252, -755, -126, -252, -881, -1258, -503, -252, -881, -252, -252, -1132, -126, -629, -126, -377, 
176| -2075, -2767, -1384, -1038, -346, -1384, -2075, -1730, 7925, -2421, -1730, -346, -346, -2767, -4151, 7579, -2075, -3113, 7579, -1384, -3113, 7925, -346, 8962, 7925, -1038, -1038, -1730, -1730, 6887, -1730, -346, -1038, -3459, -1730, -346, -2421, 6195, -2767, -692, -2767, -1730, -2075, -2421, -1384, -3805, -692, -2075, -346, -692, 7579, 6541, -1384, -692, -2421, -692, -692, -3113, -346, 8270, -346, -1038, 
177| -377, -503, -252, -189,  -63, -252, -377, -314, -377, -440, -314,  -63,  -63, -503, -755, -440, -377, -566, -440, -252, -566, -377,  -63, -189, -377, -189, -189, -314, -314, -566, -314,  -63, -189, -629, -314,  -63, -440, -692, -503, -126, -503, -314, -377, 9560, -252, -692, -126, -377,  -63, 9874, -440, -629, -252, -126, -440, -126, -126, -566,  -63, -314,  -63, -189, 
178| 8868, -1509, -755, -566, -189, -755, -1132, -943, -1132, -1321, 9057, -189, -189, -1509, -2264, -1321, -1132, -1698, -1321, -755, 8302, -1132, -189, -566, -1132, -566, -566, -943, 9057, -1698, 9057, -189, -566, -1887, -943, -189, -1321, -2075, -1509, -377, -1509, -943, 8868, -1321, -755, -2075, -377, -1132, -189, -377, -1321, -1887, -755, -377, -1321, -377, -377, -1698, -189, -943, -189, -566, 
179| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, -283, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31,  -94, -314, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, -314, -126,  -63, -220,  -63,  -63, 9717,  -31, -157,  -31,  -94, 
180| -377, -503, -252, -189,  -63, -252, -377, -314, -377, -440, -314,  -63,  -63, -503, -755, -440, -377, -566, -440, -252, -566, -377,  -63, -189, -377, -189, -189, -314, -314, -566, -314,  -63, -189, -629, 9686,  -63, -440, -692, -503, -126, -503, -314, -377, -440, -252, -692, 9874, -377,  -63, -126, -440, -629, -252, -126, -440, -126, -126, -566,  -63, -314,  -63, -189, 
181| -1321, -1761, -881, -660, -220, -881, -1321, -1101, -1321, -1541, -1101, -220, -220, -1761, 7358, -1541, 8679, -1981, -1541, -881, 8019, -1321, -220, -660, -1321, -660, -660, -1101, -1101, -1981, -1101, -220, -660, 7799, -1101, -220, -1541, -2421, -1761, -440, -1761, -1101, 8679, -1541, -881, 7579, -440, -1321, -220, -440, -1541, 7799, -881, -440, -1541, -440, -440, -1981, -220, -1101, -220, -660, 
182| -1887, -2516, -1258, -943, 9686, -1258, -1887, -1572, -1887, -2201, -1572, 9686, -314, -2516, -3774, -2201, -1887, -2830, 7799, -1258, -2830, 8113, -314, 9057, 8113, -943, -943, -1572, -1572, 7170, -1572, -314, -943, -3145, -1572, -314, -2201, -3459, -2516, -629, -2516, -1572, -1887, -2201, -1258, 6541, -629, -1887, -314, -629, 7799, -3145, -1258, -629, -2201, 9371, -629, -2830, -314, -1572, -314, -943, 
183| -755, -1006, -503, -377, -126, -503, -755, -629, -755, -881, -629, -126, -126, -1006, 8491, -881, -755, -1132, -881, -503, -1132, -755, -126, -377, -755, -377, -377, -629, -629, 8868, -629, -126, -377, -1258, -629, -126, -881, -1384, 8994, -252, 8994, -629, -755, -881, -503, -1384, -252, -755, -126, -252, -881, -1258, -503, -252, -881, -252, -252, -1132, -126, -629, -126, -377, 
184| -377, -503, -252, -189,  -63, -252, -377, -314, -377, -440, -314,  -63,  -63, -503, -755, -440, -377, -566, -440, -252, -566, -377,  -63, -189, -377, -189, -189, -314, -314, -566, -314,  -63, -189, -629, -314,  -63, -440, -692, -503, -126, -503, -314, -377, 9560, -252, -692, -126, -377,  -63, -126, -440, -629, -252, -126, -440, -126, -126, -566,  -63, -314,  -63, 9811, 
185| -1321, 8239, -881, -660, -220, -881, 8679, 8899, -1321, -1541, -1101, -220, -220, 8239, -2642, -1541, -1321, -1981, -1541, 9119, -1981, -1321, -220, -660, -1321, -660, -660, -1101, -1101, -1981, -1101, -220, -660, -2201, -1101, -220, -1541, -2421, -1761, -440, -1761, 8899, -1321, -1541, -881, -2421, -440, -1321, -220, -440, -1541, -2201, -881, -440, -1541, -440, -440, 8019, -220, -1101, -220, -660, 
186| -377, -503, -252, -189,  -63, -252, -377, -314, -377, -440, -314,  -63,  -63, -503, -755, 9560, -377, -566, -440, -252, -566, -377,  -63, -189, -377, -189, -189, -314, -314, -566, -314,  -63, -189, -629, -314,  -63, -440, -692, -503, -126, -503, -314, -377, -440, -252, -692, -126, -377,  -63, -126, -440, 9371, -252, -126, -440, -126, -126, -566,  -63, -314,  -63, -189, 
187| -377, -503, -252, -189,  -63, 9748, 9623, -314, -377, -440, -314,  -63,  -63, -503, -755, -440, -377, -566, -440, -252, -566, -377,  -63, -189, -377, -189, -189, -314, -314, -566, -314,  -63, -189, -629, -314,  -63, -440, -692, -503, -126, -503, -314, -377, -440, -252, -692, -126, -377,  -63, -126, -440, -629, -252, -126, -440, -126, -126, -566,  -63, -314,  -63, -189, 
188| -1698, -2264, -1132, -849, -283, 8868, 8302, -1415, -1698, 8019, -1415, -283, -283, 7736, -3396, -1981, -1698, 7453, -1981, -1132, -2547, -1698, -283, -849, -1698, -849, -849, -1415, -1415, -2547, -1415, -283, -849, -2830, -1415, -283, -1981, -3113, -2264, 9434, -2264, 8585, -1698, -1981, -1132, -3113, -566, -1698, 9717, -566, -1981, -2830, -1132, -566, 8019, -566, -566, -2547, -283, -1415, -283, -849, 
189| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, -283, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31,  -94, -314, -157,  -31, -220, -346, 9748,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, -314, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
190| -943, -1258, -629, 9528, -157, -629, -943, -786, 9057, -1101, -786, -157, -157, -1258, -1887, 8899, -943, -1415, -1101, -629, -1415, -943, -157, -472, -943, -472, -472, -786, -786, -1415, -786, -157, -472, -1572, -786, -157, 8899, -1730, -1258, -314, -1258, -786, -943, -1101, -629, 8270, -314, -943, -157, -314, -1101, -1572, -629, -314, -1101, -314, -314, -1415, -157, -786, -157, -472, 
191| -189, -252, -126,  -94,  -31, -126, -189, -157, -189, -220, -157,  -31,  -31, -252, -377, -220, -189, -283, -220, -126, -283, -189,  -31,  -94, -189,  -94,  -94, -157, -157, -283, -157,  -31, 9906, -314, -157,  -31, -220, -346, -252,  -63, -252, -157, -189, -220, -126, -346,  -63, -189,  -31,  -63, -220, -314, -126,  -63, -220,  -63,  -63, -283,  -31, -157,  -31,  -94, 
192| -566, -755, 9623, -283,  -94, -377, -566, -472, -566, -660, -472,  -94,  -94, -755, -1132, -660, -566, -849, -660, -377, -849, -566,  -94, -283, -566, -283, -283, -472, -472, -849, -472,  -94, -283, -943, -472,  -94, -660, 8962, -755, -189, -755, -472, -566, -660, -377, -1038, -189, -566,  -94, -189, -660, -943, -377, 9811, -660, -189, -189, -849,  -94, -472,  -94, -283|] ;