#pragma once static const unsigned long long pen_hashes[131]={ 0xed2ef9c4dbb0ab25ULL, 0xed2ef9c4dbb0ab25ULL, 0xed2ef9c4dbb0ab25ULL, 0xed2ef9c4dbb0ab25ULL, 0xed2ef9c4dbb0ab25ULL, 0xed2ef9c4dbb0ab25ULL, 0xed2ef9c4dbb0ab25ULL, 0xed2ef9c4dbb0ab25ULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0xed2ef9c4dbb0ab25ULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0xed2ef9c4dbb0ab25ULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0xed2ef9c4dbb0ab25ULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0xed2ef9c4dbb0ab25ULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0xed2ef9c4dbb0ab25ULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0x7d641440b65f773bULL, 0xed2ef9c4dbb0ab25ULL, 0xa0cbdd7cea8b1a05ULL, 0x7e26b2dbbec4b815ULL, 0x8b29cf02f5f8a785ULL, 0xed2ef9c4dbb0ab25ULL, 0xf376999a0a4cf505ULL, 0x43d3b7bc04221905ULL, 0xd85adcba288150a5ULL, 0xed2ef9c4dbb0ab25ULL, 0x7e26b2dbbec4b815ULL, 0xa0cbdd7cea8b1a05ULL, 0xdde1d80145fe8125ULL, 0xed2ef9c4dbb0ab25ULL, 0x43d3b7bc04221905ULL, 0xf376999a0a4cf505ULL, 0xd85adcba288150a5ULL, 0xed2ef9c4dbb0ab25ULL, 0x06577bc0ed786cdbULL, 0x05bbff47fede688bULL, 0xf98bf8502dee5c3bULL, 0xed2ef9c4dbb0ab25ULL, 0x6cff4bcb0eec345bULL, 0x9cd03043fc89657bULL, 0xe246ae7ab55d56bbULL, 0xed2ef9c4dbb0ab25ULL, 0x05bbff47fede688bULL, 0x06577bc0ed786cdbULL, 0xb80089914785805bULL, 0xed2ef9c4dbb0ab25ULL, 0x9cd03043fc89657bULL, 0x6cff4bcb0eec345bULL, 0x2b2b6f0c6c2710fbULL, 0xed2ef9c4dbb0ab25ULL, 0x5023001975d91a6bULL, 0xf2d8b5b0c0a3ab0bULL, 0x2582d913e4f04fbbULL, 0xed2ef9c4dbb0ab25ULL, 0x57230eafe923a3abULL, 0x7fd59944e2fdf97bULL, 0x3e0c6fb6df0cccbbULL, 0xed2ef9c4dbb0ab25ULL, 0xf2d8b5b0c0a3ab0bULL, 0x5023001975d91a6bULL, 0x5fa7bd534ce05d3bULL, 0xed2ef9c4dbb0ab25ULL, 0x7fd59944e2fdf97bULL, 0x57230eafe923a3abULL, 0x859103e3b5ab0b7bULL, 0xed2ef9c4dbb0ab25ULL, 0x2d25300da36584d5ULL, 0x7a3544d433d35eb5ULL, 0x6ba8c7ade831b145ULL, 0xed2ef9c4dbb0ab25ULL, 0x306f3703dc2fa6d5ULL, 0xede9e5ab24b1a425ULL, 0x84be7d564b438e65ULL, 0xed2ef9c4dbb0ab25ULL, 0x7a3544d433d35eb5ULL, 0x2d25300da36584d5ULL, 0x6cdcdecaea3064b5ULL, 0xed2ef9c4dbb0ab25ULL, 0xede9e5ab24b1a425ULL, 0x306f3703dc2fa6d5ULL, 0x322ab886512b8005ULL, 0xed2ef9c4dbb0ab25ULL, 0x12c6f611cbec0675ULL, 0x1efd51f7c545cafbULL, 0xef93144c561595d5ULL, 0x4223c53e9b846a65ULL, 0x4bbf5578a170d735ULL, 0x23ba012a2e7b919bULL, 0x1eb7dee90b2ae555ULL, 0x4f2c8cea4a2a5b65ULL, 0x26d0a35e2286b2b5ULL, 0x12c6f611cbec0675ULL, 0xb103ba1232e39745ULL, 0xd611a612811fad75ULL, 0x192ab763d70a08a5ULL, 0x4bbf5578a170d735ULL, 0x9f8df7a96342fd45ULL, 0x3f540ae763fe2cf5ULL, 0xda407b3a8cd6ff9bULL, 0xdf9de5db8b7eb92bULL, 0xbcb311aa0371351bULL, 0x170e1e1de79337cbULL, 0x60d65823a6304d1bULL, 0x93e356b4d6640385ULL, 0x6acb17d7d09a9c0bULL, 0xcf48a150279e8415ULL, 0x5a3954e64c78b31bULL, 0x1efd51f7c545cafbULL, 0x40ac5fb3c8ee158bULL, 0x4223c53e9b846a65ULL, 0xbf7e7e5e7ddfb49bULL, 0x0dbdd142528a3a9bULL, 0x15e7ded4b0a4010bULL, 0xdb9ddad6924db265ULL, 0x6453aab595cbf7e5ULL, 0x391affb800381ce5ULL, 0xed2ef9c4dbb0ab25ULL, };