Dekker1/bytecode-benchmarks
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
bytecode-benchmarks/mzn-rewriting/community-detection/dolphin.s62.k3.dzn

192 lines
48 KiB
MiniZinc
Raw Permalink Blame History

n= 62;
k= 3;
maxsize= 62;
nML= 31;
nCL= 31;
deg= [ 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] ;
ML= [| 38, 47,
| 26, 14,
| 58, 6,
| 11, 56,
| 13, 9,
| 33, 42,
| 60, 38,
| 23, 58,
| 52, 43,
| 49, 6,
| 45, 37,
| 41, 41,
| 59, 4,
| 58, 2,
| 48, 46,
| 34, 1,
| 21, 47,
| 32, 2,
| 3, 1,
| 6, 14,
| 43, 56,
| 13, 4,
| 8, 6,
| 50, 1,
| 54, 39,
| 39, 38,
| 29, 38,
| 33, 8,
| 55, 7,
| 1, 21,
| 55, 6|] ;
CL= [| 17, 42,
| 24, 7,
| 18, 24,
| 36, 32,
| 25, 33,
| 16, 49,
| 1, 49,
| 16, 57,
| 50, 2,
| 46, 55,
| 32, 56,
| 54, 42,
| 38, 42,
| 8, 34,
| 14, 56,
| 20, 43,
| 16, 57,
| 4, 8,
| 51, 32,
| 48, 58,
| 37, 58,
| 49, 59,
| 52, 23,
| 55, 25,
| 60, 7,
| 13, 57,
| 53, 58,
| 51, 7,
| 10, 3,
| 4, 28,
| 51, 23|] ;
A= [| 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 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, 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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,
| 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,
| 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,
| 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,
| 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 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,
| 0, 0, 0, 0, 0, 0, 0, 0, 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, 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|] ;
W= [| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| 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,
| -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,
| -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,
| -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,
| 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,
| 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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| 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,
| -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,
| 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,
| -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,
| -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,
| -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,
| -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,
| 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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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,
| -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, -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,
| -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,
| -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,
| -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|] ;
View Git Blame Copy Permalink