server_elements.py

import os
import MySQLdb as mdb
import SocketServer
import json
import time
import threading
import sqlite3 as lite
import sys
import logging
from threading import Lock
import json
import ast
from json import JSONEncoder
import PySQLPool

SocketServer.TCPServer.allow_reuse_address = True



class CurveFp( object ):
  def __init__( self, p, a, b ):
    self.__p = p
    self.__a = a
    self.__b = b

  def p( self ):
    return self.__p

  def a( self ):
    return self.__a

  def b( self ):
    return self.__b

  def contains_point( self, x, y ):
    return ( y * y - ( x * x * x + self.__a * x + self.__b ) ) % self.__p == 0

class Point( object ):
  def __init__( self, curve, x, y, order = None ):
    self.__curve = curve
    self.__x = x
    self.__y = y
    self.__order = order
    if self.__curve: assert self.__curve.contains_point( x, y )
    if order: assert self * order == INFINITY
 
  def __add__( self, other ):
    if other == INFINITY: return self
    if self == INFINITY: return other
    assert self.__curve == other.__curve
    if self.__x == other.__x:
      if ( self.__y + other.__y ) % self.__curve.p() == 0:
        return INFINITY
      else:
        return self.double()

    p = self.__curve.p()
    l = ( ( other.__y - self.__y ) * \
          inverse_mod( other.__x - self.__x, p ) ) % p
    x3 = ( l * l - self.__x - other.__x ) % p
    y3 = ( l * ( self.__x - x3 ) - self.__y ) % p
    return Point( self.__curve, x3, y3 )

  def negative (self):
    negative_self = Point( self.__curve, self.__x, -self.__y, self.__order )
    return negative_self

  def __mul__( self, other ):
    def leftmost_bit( x ):
      assert x > 0
      result = 1L
      while result <= x: result = 2 * result
      return result / 2

    e = other
    if self.__order: e = e % self.__order
    if e == 0: return INFINITY
    if self == INFINITY: return INFINITY
    assert e > 0
    e3 = 3 * e
    negative_self = Point( self.__curve, self.__x, -self.__y, self.__order )
    i = leftmost_bit( e3 ) / 2
    result = self
    while i > 1:
      result = result.double()
      if ( e3 & i ) != 0 and ( e & i ) == 0: result = result + self
      if ( e3 & i ) == 0 and ( e & i ) != 0: result = result + negative_self
      i = i / 2
    return result

  def __rmul__( self, other ):
    return self * other

  def __str__( self ):
    if self == INFINITY: return "infinity"
    return "(%d,%d)" % ( self.__x, self.__y )

  def double( self ):
    if self == INFINITY:
      return INFINITY

    p = self.__curve.p()
    a = self.__curve.a()
    l = ( ( 3 * self.__x * self.__x + a ) * \
          inverse_mod( 2 * self.__y, p ) ) % p
    x3 = ( l * l - 2 * self.__x ) % p
    y3 = ( l * ( self.__x - x3 ) - self.__y ) % p
    return Point( self.__curve, x3, y3 )

  def halve( self ):
    if self == INFINITY:
      return INFINITY

    p = self.__curve.p()
    a = self.__curve.a()
    
    # next three lines must be reverted somehow, then I am a multi millionaire :-)
    # as a=0 in this case, I have eliminated it!
    l = ( ( 3 * self.__x * self.__x ) * inverse_mod( 2 * self.__y, p ) ) % p
    x3 = ( l * l - 2 * self.__x ) % p
    y3 = ( l * ( self.__x - x3 ) - self.__y ) % p


    return Point( self.__curve, x3, y3 )

  def x( self ):
    return self.__x

  def y( self ):
    return self.__y

  def curve( self ):
    return self.__curve
  
  def order( self ):
    return self.__order
    
INFINITY = Point( None, None, None )

def inverse_mod( a, m ):
  if a < 0 or m <= a: a = a % m
  c, d = a, m
  uc, vc, ud, vd = 1, 0, 0, 1
  while c != 0:
    q, c, d = divmod( d, c ) + ( c, )
    uc, vc, ud, vd = ud - q*uc, vd - q*vc, uc, vc
  assert d == 1
  if ud > 0: return ud
  else: return ud + m

_p = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2FL
_r = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141L
_b = 0x0000000000000000000000000000000000000000000000000000000000000007L
_a = 0x0000000000000000000000000000000000000000000000000000000000000000L
_Gx = 0x79BE667EF9DCBBAC55A06295CE870B07029BFCDB2DCE28D959F2815B16F81798L
_Gy = 0x483ada7726a3c4655da4fbfc0e1108a8fd17b448a68554199c47d08ffb10d4b8L

dudes = set()
dudes.add(0xe8c4cd13L)
dudes.add(0x567feb3cL)
dudes.add(0xe10a2a01L)
dudes.add(0xdcdf2247L)
dudes.add(0x2a6dec0aL)
dudes.add(0xf896d363L)
dudes.add(0x7143e65L)
dudes.add(0xdefc2c47L)
dudes.add(0xf874ef8bL)
dudes.add(0xb54af9d3L)
dudes.add(0x6769a24eL)
dudes.add(0x11cbc185L)
dudes.add(0xd5f51508L)
dudes.add(0xf67ff32eL)
dudes.add(0xef34a24dL)
dudes.add(0x8983f87cL)
dudes.add(0xe285131fL)
dudes.add(0x21e4fef6L)
dudes.add(0x9b920471L)
dudes.add(0x8af0bbe1L)
dudes.add(0x51e5b739L)
dudes.add(0x1dd2319fL)
dudes.add(0x46bc47d6L)
dudes.add(0xa60885ecL)
dudes.add(0x8416824aL)
dudes.add(0xd72b8d0aL)
dudes.add(0x1bced775L)
dudes.add(0xff41dc50L)
dudes.add(0x83ff4640L)
dudes.add(0x4f2c5e0bL)
dudes.add(0xaf92c541L)
dudes.add(0x73b1fb4L)
dudes.add(0xbeaaf3d1L)
dudes.add(0x97720db5L)
dudes.add(0x7940d33aL)
dudes.add(0xf9b10210L)
dudes.add(0xdffdf80cL)
dudes.add(0xffb55f05L)
dudes.add(0x4755e4beL)
dudes.add(0x8312ed52L)
dudes.add(0x7cec8abL)
dudes.add(0xbf0c687dL)
dudes.add(0x9ad1b1f7L)
dudes.add(0xcb518dcfL)
dudes.add(0x5232fcdaL)
dudes.add(0x2a753891L)
dudes.add(0xca030d5L)
dudes.add(0x9ed69864L)
dudes.add(0xc584dd5L)
dudes.add(0x7f3cc32cL)
dudes.add(0x4b2438e8L)
dudes.add(0x7f675ff7L)
dudes.add(0xe7dd7faL)
dudes.add(0x2f82a9cL)
dudes.add(0x47d297fdL)
dudes.add(0xc5f292e4L)
dudes.add(0x2ede454cL)
dudes.add(0x6e392019L)
dudes.add(0x29eb99a4L)
dudes.add(0xac432781L)
dudes.add(0x39a48db0L)
dudes.add(0x887ab775L)
dudes.add(0x1e4df706L)
dudes.add(0x2b3b72a6L)
dudes.add(0xdc47bffdL)
dudes.add(0x4b7000f3L)
dudes.add(0x4bb2629aL)
dudes.add(0xa4eb9ea9L)
dudes.add(0xe534fd2dL)
dudes.add(0xfdb003ddL)
dudes.add(0xa95c8356L)
dudes.add(0xc7e5c28fL)
dudes.add(0x7b160e8aL)
dudes.add(0x975c8f3cL)
dudes.add(0x75ba7fc2L)
dudes.add(0xc4078e58L)
dudes.add(0x9094696dL)
dudes.add(0xff77327aL)
dudes.add(0xee752b08L)
dudes.add(0x9db0d2a2L)
dudes.add(0x475c58efL)
dudes.add(0xf41e7322L)
dudes.add(0x43ff8359L)
dudes.add(0xb86074acL)
dudes.add(0xc1ec6cb1L)
dudes.add(0x11d9cbf2L)
dudes.add(0x1fe741c9L)
dudes.add(0x36eba334L)
dudes.add(0xb4e218daL)
dudes.add(0x67ce7d47L)
dudes.add(0xa2e96db8L)
dudes.add(0xeaae8f43L)
dudes.add(0x1a37b7c0L)
dudes.add(0x293756eL)
dudes.add(0x38a47ca9L)
dudes.add(0x30ee16b4L)
dudes.add(0xe315565bL)
dudes.add(0xeadea2deL)
dudes.add(0xf5362d33L)
dudes.add(0xca66774fL)
dudes.add(0x3ad86047L)
dudes.add(0xd92d552fL)
dudes.add(0xf13f0351L)
dudes.add(0x2bc4224cL)
dudes.add(0x4414bb36L)
dudes.add(0x937212f3L)
dudes.add(0x6ae7d616L)
dudes.add(0x2ae60986L)
dudes.add(0x99c43862L)
dudes.add(0x4daa920L)
dudes.add(0x78f2827cL)
dudes.add(0x6047f880L)
dudes.add(0x715adcb6L)
dudes.add(0x41e5a471L)
dudes.add(0x60788c1eL)
dudes.add(0x9a8c325fL)
dudes.add(0xc3fac3a7L)
dudes.add(0x983cbdacL)
dudes.add(0x4b7fd72dL)
dudes.add(0x6d03253bL)
dudes.add(0x7c169290L)
dudes.add(0x24bca3c9L)
dudes.add(0xb50964e3L)
dudes.add(0x9122989aL)
dudes.add(0x42d0e6bdL)
dudes.add(0x9ff8fa77L)
dudes.add(0xc0ade462L)
dudes.add(0xa028c819L)
dudes.add(0x1516e633L)
dudes.add(0x3fce57baL)
dudes.add(0x788e7a66L)
dudes.add(0x5b9327e4L)
dudes.add(0x8134ab83L)
dudes.add(0xe1e02736L)
dudes.add(0x1f17fc25L)
dudes.add(0x8a4bccb6L)
dudes.add(0xe8bee8b6L)
dudes.add(0xbf38d94L)
dudes.add(0x5984cf74L)
dudes.add(0xab2061b7L)
dudes.add(0x60c82a0aL)
dudes.add(0x72387039L)
dudes.add(0x7e8b000aL)
dudes.add(0x4cfbc58dL)
dudes.add(0x76134f96L)
dudes.add(0xfed32a2L)
dudes.add(0xb188cbbL)
dudes.add(0x20d034a9L)
dudes.add(0xf38fd8e8L)
dudes.add(0xf6d4502eL)
dudes.add(0x3d477c2dL)
dudes.add(0x408dac07L)
dudes.add(0x6c0b80d9L)
dudes.add(0x641ac632L)
dudes.add(0x2c4561beL)
dudes.add(0xc2937608L)
dudes.add(0x2037fa2dL)
dudes.add(0x8ea30c41L)
dudes.add(0x9e3d34efL)
dudes.add(0x3eb93539L)
dudes.add(0xd7b91252L)
dudes.add(0x7cba7393L)
dudes.add(0x6a540f17L)
dudes.add(0xb11c2aacL)
dudes.add(0xe4fce725L)
dudes.add(0xf739b417L)
dudes.add(0x3ed2ff3eL)
dudes.add(0xe4a1bebdL)
dudes.add(0xdfbfa4dcL)
dudes.add(0x626191d7L)
dudes.add(0xe48ff9b3L)
dudes.add(0x45b1ace5L)
dudes.add(0xd0559754L)
dudes.add(0x15f79cf9L)
dudes.add(0xec87facL)
dudes.add(0x20118b25L)
dudes.add(0xd4531dbcL)
dudes.add(0x6f43c1feL)
dudes.add(0x522f001dL)
dudes.add(0x4b24c7d7L)
dudes.add(0x8fbd53cL)
dudes.add(0x6b36e102L)
dudes.add(0x7c6e1b4dL)
dudes.add(0xdad4ac31L)
dudes.add(0x7e5f712fL)
dudes.add(0x8fa7a48aL)
dudes.add(0x3b89a762L)
dudes.add(0xf3506979L)
dudes.add(0x40fb27b6L)
dudes.add(0xa110d309L)
dudes.add(0x1f9756e4L)
dudes.add(0x9dea634eL)
dudes.add(0xd51cf119L)
dudes.add(0xb98f4730L)
dudes.add(0x7f422491L)
dudes.add(0x9d6dca0eL)
dudes.add(0x17bdde39L)
dudes.add(0xd7c3812eL)
dudes.add(0x3a1187a5L)
dudes.add(0xdc36ad74L)
dudes.add(0xcde4f5beL)
dudes.add(0xd5d4c53aL)
dudes.add(0xd17cf3e8L)
dudes.add(0x87969e0fL)
dudes.add(0x2bcbb891L)
dudes.add(0x2d99e60cL)
dudes.add(0x4662ab1bL)
dudes.add(0xbfbe5c9bL)
dudes.add(0x948b6c29L)
dudes.add(0x462bc58L)
dudes.add(0x5ff4adbL)
dudes.add(0x3acc7ff8L)
dudes.add(0x88f6c14bL)
dudes.add(0x1f312d74L)
dudes.add(0x77078424L)
dudes.add(0x75988c9fL)
dudes.add(0x8db1cb3cL)
dudes.add(0x75973aa6L)
dudes.add(0x3c385172L)
dudes.add(0xd0bb3e93L)
dudes.add(0x4f676e03L)
dudes.add(0xd41f84c9L)
dudes.add(0xc5af726aL)
dudes.add(0x4c285462L)
dudes.add(0xa540db99L)
dudes.add(0xfe8d0cacL)
dudes.add(0x9f1048daL)
dudes.add(0xc884e589L)
dudes.add(0xe3c0df5dL)
dudes.add(0x9977d3fL)
dudes.add(0xf83cd58L)
dudes.add(0x60e07504L)
dudes.add(0x12998b10L)
dudes.add(0x8fceb620L)
dudes.add(0x8dd553fdL)
dudes.add(0xc84d80b4L)
dudes.add(0xc4e16070L)
dudes.add(0x1fb6b910L)
dudes.add(0xf24ba5aeL)
dudes.add(0x861c79aaL)
dudes.add(0x9caed7aeL)
dudes.add(0xc982aab6L)
dudes.add(0x44a6db03L)
dudes.add(0x3c6716a7L)
dudes.add(0x3fb04ed4L)
dudes.add(0xc51592a9L)
dudes.add(0xa7dc0151L)
dudes.add(0xfc40eab1L)
dudes.add(0x1345e597L)
dudes.add(0x555eb9ffL)
dudes.add(0x4ce45444L)
dudes.add(0x43561097L)
dudes.add(0x9ec4c0daL)
dudes.add(0xdabddf07L)
dudes.add(0x4cf27076L)
dudes.add(0xc136a137L)
dudes.add(0x29b62026L)
dudes.add(0xf9d53a13L)
dudes.add(0x57b4a278L)
dudes.add(0x1d0fb396L)
dudes.add(0x53231e11L)
dudes.add(0x6fd68359L)
dudes.add(0x3bcdaf2fL)
dudes.add(0x1c62f24aL)
dudes.add(0xa673059fL)
dudes.add(0xd3fcec59L)
dudes.add(0x6de12c0L)
dudes.add(0x10a22a48L)
dudes.add(0x20eae29eL)
dudes.add(0x1766e22bL)
dudes.add(0xc18ada5fL)
dudes.add(0xe46068L)
dudes.add(0x94679da2L)
dudes.add(0x7068f1ddL)
dudes.add(0xc87c4b65L)
dudes.add(0x404bfcf1L)
dudes.add(0x60cb3e41L)
dudes.add(0x586d5384L)
dudes.add(0x7b4ae861L)
dudes.add(0x260cc565L)
dudes.add(0xbd2a9651L)
dudes.add(0x60e76a53L)
dudes.add(0x7cddab8bL)
dudes.add(0x171cc8ddL)
dudes.add(0xde6b80efL)
dudes.add(0xa726a3c9L)
dudes.add(0x33eb51fL)
dudes.add(0x72ab0b90L)
dudes.add(0xf155e64L)
dudes.add(0x997a6502L)
dudes.add(0xd6ee247cL)
dudes.add(0xc3b28473L)
dudes.add(0x496943e8L)
dudes.add(0xab183b08L)
dudes.add(0xa412b6fdL)
dudes.add(0xf5bebdf8L)
dudes.add(0x326dd4e4L)
dudes.add(0xe71cc433L)
dudes.add(0x3f7f0246L)
dudes.add(0x5b8f06b9L)
dudes.add(0xc28d3d5dL)
dudes.add(0xf6a15c1aL)
dudes.add(0xb2919749L)
dudes.add(0x9e79b784L)
dudes.add(0x7b9795e4L)
dudes.add(0x6a676cefL)
dudes.add(0x89303fddL)
dudes.add(0xdad381f0L)
dudes.add(0xfd054c96L)
dudes.add(0xe173f82fL)
dudes.add(0x1da49e04L)
dudes.add(0xaaf86f47L)
dudes.add(0xe883f855L)
dudes.add(0xb8b2fdf3L)
dudes.add(0xb441742eL)
dudes.add(0x45138e8L)
dudes.add(0xac1f98cdL)
dudes.add(0x472d86ebL)
dudes.add(0x694a09ecL)
dudes.add(0x884cc4b6L)
dudes.add(0xab9c7ce6L)
dudes.add(0x179cec5dL)
dudes.add(0x8ac7b3c2L)
dudes.add(0x47d868eeL)
dudes.add(0x20a959e5L)
dudes.add(0xfb0dc2c6L)
dudes.add(0x82fd545cL)
dudes.add(0x87c5d550L)
dudes.add(0xb86f021L)
dudes.add(0xed5931e3L)
dudes.add(0x2da6e03L)
dudes.add(0x5ab6f511L)
dudes.add(0xecb94266L)
dudes.add(0x500a8867L)
dudes.add(0xda704896L)
dudes.add(0x5e8b50bfL)
dudes.add(0x44bf7ea0L)
dudes.add(0xec9470d1L)
dudes.add(0x4ad916fbL)
dudes.add(0x627704b2L)
dudes.add(0xbe58ad71L)
dudes.add(0x6643addeL)
dudes.add(0x1073e879L)
dudes.add(0xc3420798L)
dudes.add(0xf2628f0fL)
dudes.add(0x5d613f9aL)
dudes.add(0xa39620e1L)
dudes.add(0x5e08c31fL)
dudes.add(0x6d903acL)
dudes.add(0xab2d9579L)
dudes.add(0xf59dd9eL)
dudes.add(0xa3776ce8L)
dudes.add(0xfff01197L)
dudes.add(0x91bda5f8L)
dudes.add(0x508d2cc2L)
dudes.add(0x9393dd42L)
dudes.add(0x63d82751L)
dudes.add(0x4905ed43L)
dudes.add(0x1d5fcadeL)
dudes.add(0xd6f9ea21L)
dudes.add(0xe3a3e0cbL)
dudes.add(0xe4b8861bL)
dudes.add(0xe3f3d3fcL)
dudes.add(0x4ca243f6L)
dudes.add(0x4526087eL)
dudes.add(0x6b8dafe7L)
dudes.add(0x3149f8efL)
dudes.add(0x8250afdL)
dudes.add(0x2380441bL)
dudes.add(0x7c05abf2L)
dudes.add(0x621e30a7L)
dudes.add(0x8ac5ecd3L)
dudes.add(0xf856e241L)
dudes.add(0x2bea931dL)
dudes.add(0xcb1815dL)
dudes.add(0x59abfcc5L)
dudes.add(0xc45565ecL)
dudes.add(0x24c038d0L)
dudes.add(0xbbfd71faL)
dudes.add(0x1696145cL)
dudes.add(0x2120e2b3L)
dudes.add(0x935264c3L)
dudes.add(0x1fc9b0a8L)
dudes.add(0xad23c1e3L)
dudes.add(0x90ae86f9L)
dudes.add(0xe0273419L)
dudes.add(0xe855b8daL)
dudes.add(0xc4166cc6L)
dudes.add(0xda34d24fL)
dudes.add(0xdc0d4d2cL)
dudes.add(0x3e8f62bbL)
dudes.add(0x4dcc1e85L)
dudes.add(0xd5fe696bL)
dudes.add(0x3f7650cL)
dudes.add(0xef94c0d5L)
dudes.add(0x401562aaL)
dudes.add(0x4300bf19L)
dudes.add(0xa05fd505L)
dudes.add(0x414ff9e4L)
dudes.add(0xa6b3dcb3L)
dudes.add(0x4ddb7bb8L)
dudes.add(0x5d68e098L)
dudes.add(0xcc9a8e2cL)
dudes.add(0x5811a847L)
dudes.add(0x366642beL)
dudes.add(0xd7fccc66L)
dudes.add(0x79de5cacL)
dudes.add(0xcedc6373L)
dudes.add(0x260966d3L)
dudes.add(0x738fc60dL)
dudes.add(0x968c6d4bL)
dudes.add(0x381d5ffcL)
dudes.add(0x3180eef9L)
dudes.add(0x5eb6f20L)
dudes.add(0x187f5048L)
dudes.add(0xf63cc306L)
dudes.add(0xbadb2a65L)
dudes.add(0xd3065c0bL)
dudes.add(0x4a9f44d0L)
dudes.add(0xb2c0f9aL)
dudes.add(0x5f067ec2L)
dudes.add(0xee89c308L)
dudes.add(0x2cd3c369L)
dudes.add(0x6110520L)
dudes.add(0x7bb8c9e3L)
dudes.add(0x715315faL)
dudes.add(0xb26b64f1L)
dudes.add(0xec42952fL)
dudes.add(0xd064e13L)
dudes.add(0x622977b1L)
dudes.add(0x7f7653a1L)
dudes.add(0xfc21459aL)
dudes.add(0x8624003dL)
dudes.add(0x4fa8bf95L)
dudes.add(0x48dce109L)
dudes.add(0x397cb792L)
dudes.add(0x8319497cL)
dudes.add(0x4f410fdfL)
dudes.add(0x840dd273L)
dudes.add(0x25747860L)
dudes.add(0x1a077674L)
dudes.add(0x53969330L)
dudes.add(0xa8192441L)
dudes.add(0xcbd67705L)
dudes.add(0x9475b7baL)
dudes.add(0x3aed5a5L)
dudes.add(0xbc8f53bL)
dudes.add(0x9c490c2cL)
dudes.add(0x14b311ddL)
dudes.add(0xb08d7c8L)
dudes.add(0xd7c0979L)
dudes.add(0x93ad6dccL)
dudes.add(0x9d82b151L)
dudes.add(0x8676de5cL)
dudes.add(0xca72da5fL)
dudes.add(0xcef0d43aL)
dudes.add(0xc56c3943L)
dudes.add(0x8909f68bL)
dudes.add(0x11924459L)
dudes.add(0xbb8c516bL)
dudes.add(0x5617e073L)
dudes.add(0xfd5e66fbL)
dudes.add(0x4384480dL)
dudes.add(0xd1d25c8dL)
dudes.add(0x1db20d6cL)
dudes.add(0xf8909e0eL)
dudes.add(0x23b09d0fL)
dudes.add(0x323b9e8bL)
dudes.add(0xdd45e458L)
dudes.add(0x33d5b63aL)
dudes.add(0x6ce9f114L)
dudes.add(0x1510023L)
dudes.add(0x26ca6cc3L)
dudes.add(0xf094f990L)
dudes.add(0xd38f93e0L)
dudes.add(0xadc73329L)
dudes.add(0x6caf666bL)
dudes.add(0x90a86a5aL)
dudes.add(0x65084aeL)
dudes.add(0x2e1cde73L)
dudes.add(0xc2e9a5d0L)
dudes.add(0x9483d974L)
dudes.add(0x3b27e771L)
dudes.add(0x8ffa08fL)
dudes.add(0x2d83f366L)
dudes.add(0xc632df50L)
dudes.add(0xf3fceb19L)
dudes.add(0xb913c4aL)
dudes.add(0x5acf692aL)
dudes.add(0xb28bdf64L)
dudes.add(0x81f488b6L)
dudes.add(0x5455b9fcL)
dudes.add(0xe5324caaL)
dudes.add(0xb8b4072cL)
dudes.add(0x7611d8e2L)
dudes.add(0x924b0544L)
dudes.add(0x2651b3faL)
dudes.add(0x29c5884aL)
dudes.add(0xae180068L)
dudes.add(0x3c04912dL)
dudes.add(0x1faccae0L)
dudes.add(0xe912313eL)
dudes.add(0xa190b632L)
dudes.add(0x30cf8004L)
dudes.add(0xd466d561L)
dudes.add(0x384ac80dL)
dudes.add(0x3f8be384L)
dudes.add(0xe2a1e277L)
dudes.add(0x1e825807L)
dudes.add(0x6f4e227bL)
dudes.add(0xd3574f70L)
dudes.add(0xb471958dL)
dudes.add(0xf27d70a0L)
dudes.add(0xc7f69a7L)
dudes.add(0x879377f9L)
dudes.add(0x1efc99d9L)
dudes.add(0xf8030627L)
dudes.add(0xda53575L)
dudes.add(0x723ccf4cL)
dudes.add(0x9add1d56L)
dudes.add(0x2f05603fL)
dudes.add(0x2dd024bfL)
dudes.add(0x7a00de49L)
dudes.add(0x514cbd5dL)
dudes.add(0x58e93b03L)
dudes.add(0xa01d8998L)
dudes.add(0x5e4e7e82L)
dudes.add(0x878f0c83L)
dudes.add(0x8e44c179L)
dudes.add(0xa5e8e378L)
dudes.add(0x37bb963eL)
dudes.add(0xc302dd88L)
dudes.add(0x946bf7bbL)
dudes.add(0x36f7c78aL)
dudes.add(0x3f2f42d9L)
dudes.add(0x70b6267bL)
dudes.add(0xb16a6df1L)
dudes.add(0x9b4396e3L)
dudes.add(0x2496088bL)
dudes.add(0xbb604bceL)
dudes.add(0x2b04309eL)
dudes.add(0xb4969d88L)
dudes.add(0xdb717ebdL)
dudes.add(0xe7a21821L)
dudes.add(0x3b1cfa65L)
dudes.add(0x321abddaL)
dudes.add(0x701a282bL)
dudes.add(0xbbefedaL)
dudes.add(0xebc03cfcL)
dudes.add(0x1d33eb51L)
dudes.add(0x2ca48ecL)
dudes.add(0x4d4ed44dL)
dudes.add(0xdf1c8ed2L)
dudes.add(0x8acea017L)
dudes.add(0xa9db4c9fL)
dudes.add(0x276750deL)
dudes.add(0xbe61ea2L)
dudes.add(0x7216198bL)
dudes.add(0x9b2c0981L)
dudes.add(0x8a86761bL)
dudes.add(0x7bbace92L)
dudes.add(0x4abaf876L)
dudes.add(0xe7a0df25L)
dudes.add(0x6079b6e6L)
dudes.add(0xb457fc8dL)
dudes.add(0xe51071e4L)
dudes.add(0xee86e595L)
dudes.add(0x8a412dcaL)
dudes.add(0x638e2568L)
dudes.add(0xe628aaL)
dudes.add(0xf6b22214L)
dudes.add(0x8d3e7759L)
dudes.add(0xb8dd7f14L)
dudes.add(0x31fa20e6L)
dudes.add(0x82ec2799L)
dudes.add(0x8fd91ec5L)
dudes.add(0x308ea5d7L)
dudes.add(0xa58b5594L)
dudes.add(0x5f3c5b33L)
dudes.add(0x8e5a1632L)
dudes.add(0x4953ba4fL)
dudes.add(0x42da8529L)
dudes.add(0x6810edf7L)
dudes.add(0xbed22279L)
dudes.add(0xd4cb2463L)
dudes.add(0x6a0f16e1L)
dudes.add(0x72735d47L)
dudes.add(0x6c244a96L)
dudes.add(0x55763146L)
dudes.add(0x1ac2148L)
dudes.add(0x22482b05L)
dudes.add(0x27636ba9L)
dudes.add(0x6ad82253L)
dudes.add(0xc28a50a7L)
dudes.add(0xe156260bL)
dudes.add(0x2e13ba31L)
dudes.add(0x6a2051e3L)
dudes.add(0xb1d4e070L)
dudes.add(0xe36f4f23L)
dudes.add(0x6d215013L)
dudes.add(0x99e3fd4fL)
dudes.add(0x9c7aa025L)
dudes.add(0x71756185L)
dudes.add(0x2cf0fa99L)
dudes.add(0x5468ddaaL)
dudes.add(0x45001a07L)
dudes.add(0x905bb9ecL)
dudes.add(0x52d4f85cL)
dudes.add(0x851faa72L)
dudes.add(0xf4f1edcaL)
dudes.add(0x13321e17L)
dudes.add(0x8ec407f0L)
dudes.add(0xfa2f8bdfL)
dudes.add(0x6901f49cL)
dudes.add(0xa0b34cf8L)
dudes.add(0xd66d84e9L)
dudes.add(0xbd9e9365L)
dudes.add(0xd261ec94L)
dudes.add(0xa6304c8bL)
dudes.add(0xe263841L)
dudes.add(0xeafc1613L)
dudes.add(0x8b393cbdL)
dudes.add(0x9c28d03cL)
dudes.add(0xe7c26512L)
dudes.add(0x97bd1e04L)
dudes.add(0x355d282dL)
dudes.add(0x245ee4bdL)
dudes.add(0xa1cd41cbL)
dudes.add(0xaeaca05eL)
dudes.add(0x6a8e8e42L)
dudes.add(0xd6a338ffL)
dudes.add(0x46685137L)
dudes.add(0xefb8a3e0L)
dudes.add(0xa6213197L)
dudes.add(0xe73a69d8L)
dudes.add(0x1696f953L)
dudes.add(0xae9cc1e3L)
dudes.add(0xaa6e76aL)
dudes.add(0x2ffb65ecL)
dudes.add(0x1dcf5ddcL)
dudes.add(0x32c32132L)
dudes.add(0xa7ffb5faL)
dudes.add(0x45300071L)
dudes.add(0x880d995dL)
dudes.add(0x30f50b0L)
dudes.add(0xaf40014fL)
dudes.add(0x240a59e6L)
dudes.add(0x5149358dL)
dudes.add(0x5b0fa50dL)
dudes.add(0xc40b9d4aL)
dudes.add(0x7b599626L)
dudes.add(0xb5a2b2bbL)
dudes.add(0xc023b112L)
dudes.add(0x6d8a7be4L)
dudes.add(0x1c83bd5dL)
dudes.add(0x15c99817L)
dudes.add(0xf2092fdcL)
dudes.add(0x1ff5565dL)
dudes.add(0x1c668a7L)
dudes.add(0x4e46f82bL)
dudes.add(0x27a2e473L)
dudes.add(0x7e2a7408L)
dudes.add(0xfff99adcL)
dudes.add(0x7fbad7b8L)
dudes.add(0xa609311dL)
dudes.add(0xd7d60e9bL)
dudes.add(0x7071d48fL)
dudes.add(0xb86755dcL)
dudes.add(0x5c0ecb42L)
dudes.add(0x98e95966L)
dudes.add(0x7da27d45L)
dudes.add(0x4f7c525fL)
dudes.add(0xea02640eL)
dudes.add(0x98547b8cL)
dudes.add(0x7a15d1f9L)
dudes.add(0x8f0baec5L)
dudes.add(0x321ce8d7L)
dudes.add(0x7d44a1f0L)
dudes.add(0x85d0b4deL)
dudes.add(0x15c5dd84L)
dudes.add(0xc454c243L)
dudes.add(0x17652b7aL)
dudes.add(0xee1cf397L)
dudes.add(0x3be552e9L)
dudes.add(0xf296f93bL)
dudes.add(0x917beaddL)
dudes.add(0x76d485beL)
dudes.add(0x2815eb2dL)
dudes.add(0xf076af28L)
dudes.add(0x4c55ebcfL)
dudes.add(0x14e36a7fL)
dudes.add(0x243e0dcL)
dudes.add(0x9148fe8fL)
dudes.add(0xf232e9a7L)
dudes.add(0x19ec397cL)
dudes.add(0xc2e4a4a1L)
dudes.add(0x6fe9282fL)
dudes.add(0x3059b98L)
dudes.add(0x9ea2a7bcL)
dudes.add(0x9835a39eL)
dudes.add(0x45eeb390L)
dudes.add(0x54704f31L)
dudes.add(0x5ed3a9f3L)
dudes.add(0xc0c6e997L)
dudes.add(0xbe57a1c4L)
dudes.add(0x5455d377L)
dudes.add(0xfbb7e0ccL)
dudes.add(0xdceb5892L)
dudes.add(0xcda3b01bL)
dudes.add(0x2ea88f1L)
dudes.add(0xa7d7fa39L)
dudes.add(0xdbb1612bL)
dudes.add(0x3d5c53c4L)
dudes.add(0x34c8674bL)
dudes.add(0xbc739a19L)
dudes.add(0xb8721903L)
dudes.add(0x1d5168a3L)
dudes.add(0xc78f0a9bL)
dudes.add(0x8aa2f56L)
dudes.add(0xb4fc9102L)
dudes.add(0x3821068L)
dudes.add(0xc9799b11L)
dudes.add(0xc21a1b7fL)
dudes.add(0x5cba5d1L)
dudes.add(0x372f3f26L)
dudes.add(0x20a39796L)
dudes.add(0x795c4a8eL)
dudes.add(0xa67ac4bfL)
dudes.add(0xae6cedddL)
dudes.add(0x7ce359c4L)
dudes.add(0xf068c654L)
dudes.add(0x6dcac8d0L)
dudes.add(0xaf1acf78L)
dudes.add(0xd62bc15L)
dudes.add(0x57bc1868L)
dudes.add(0xc0b8980L)
dudes.add(0xb63207b4L)
dudes.add(0x94b7ef5dL)
dudes.add(0xc0353f71L)
dudes.add(0xa13a83ccL)
dudes.add(0x85e41063L)
dudes.add(0x3e25c53eL)
dudes.add(0xb0da0761L)
dudes.add(0x10dd143L)
dudes.add(0x5d48fbb1L)
dudes.add(0xfe3ae018L)
dudes.add(0xc710c099L)
dudes.add(0x7c456da2L)
dudes.add(0x667ff52dL)
dudes.add(0x85e53335L)
dudes.add(0xe72351b0L)
dudes.add(0x9c58843bL)
dudes.add(0x96ad914L)
dudes.add(0xc32acdL)
dudes.add(0xe30d8450L)
dudes.add(0x362f23ddL)
dudes.add(0x1e21f9aL)
dudes.add(0x81db96e8L)
dudes.add(0x3ddeddedL)
dudes.add(0x8f61e013L)
dudes.add(0xb22939cL)
dudes.add(0x6f05e4e0L)
dudes.add(0x41156eb6L)
dudes.add(0x4a5ec5aeL)
dudes.add(0xfec867dfL)
dudes.add(0x57617c60L)
dudes.add(0x8d576744L)
dudes.add(0xa70274f3L)
dudes.add(0x7deee5ffL)
dudes.add(0x294821a1L)
dudes.add(0x9af8afdL)
dudes.add(0xf95157d6L)
dudes.add(0xfd576075L)
dudes.add(0x16038539L)
dudes.add(0x54791394L)
dudes.add(0xaffbfdf2L)
dudes.add(0xa544b8c4L)
dudes.add(0x82ffceebL)
dudes.add(0x15b358ddL)
dudes.add(0xf205bed6L)
dudes.add(0x8fc62072L)
dudes.add(0xe768a8ffL)
dudes.add(0x4594eafaL)
dudes.add(0x19daa0dL)
dudes.add(0xb6ba37ffL)
dudes.add(0x133d9dceL)
dudes.add(0x5cbecdaL)
dudes.add(0x40a45065L)
dudes.add(0x73db9e0bL)
dudes.add(0xf6c06cf6L)
dudes.add(0x2cbbb8a2L)
dudes.add(0x45b186aL)
dudes.add(0xc89ab664L)
dudes.add(0xd1c9553L)
dudes.add(0x522b86d7L)
dudes.add(0xfb16091fL)
dudes.add(0x4b998e0cL)
dudes.add(0x65a9823bL)
dudes.add(0x5a33d4beL)
dudes.add(0xe75c5010L)
dudes.add(0x853a3ea2L)
dudes.add(0x90b7735bL)
dudes.add(0x7ccd3a37L)
dudes.add(0x1ff2e1e5L)
dudes.add(0x8af20771L)
dudes.add(0x158a83a1L)
dudes.add(0xcbfaf5edL)
dudes.add(0x79469393L)
dudes.add(0x3306480L)
dudes.add(0xd69cd5b2L)
dudes.add(0x21d6edd7L)
dudes.add(0xd60835afL)
dudes.add(0xcc6d7802L)
dudes.add(0x466898dbL)
dudes.add(0x8a278c88L)
dudes.add(0x6209e106L)
dudes.add(0x1723ffL)
dudes.add(0x52995573L)
dudes.add(0x8b665ae8L)
dudes.add(0x75dc79d9L)
dudes.add(0xc06976deL)
dudes.add(0xd31b3c6aL)
dudes.add(0x2af524c8L)
dudes.add(0xa77f1f93L)
dudes.add(0xdd0b6d30L)
dudes.add(0xedcf2e7fL)
dudes.add(0xb83797f7L)
dudes.add(0xa01d6f6bL)
dudes.add(0xd7e3c277L)
dudes.add(0x56c5eb27L)
dudes.add(0xc85b994eL)
dudes.add(0x2b6baeafL)
dudes.add(0xa2e0ef5L)
dudes.add(0x8faffc2eL)
dudes.add(0x527b8d5dL)
dudes.add(0xb26ff249L)
dudes.add(0xc9210909L)
dudes.add(0x7c45628fL)
dudes.add(0x762f6bb6L)
dudes.add(0x698da9bcL)
dudes.add(0xd8fbe6fbL)
dudes.add(0x613d7024L)
dudes.add(0xea84b1ceL)
dudes.add(0x7be3f64dL)
dudes.add(0xc148e87fL)
dudes.add(0xc78f1e39L)
dudes.add(0x2652adc0L)
dudes.add(0xb969a060L)
dudes.add(0x17b75336L)
dudes.add(0xfbd6400fL)
dudes.add(0x9e6c5fa9L)
dudes.add(0x2d40bd0L)
dudes.add(0x620ecf33L)
dudes.add(0xde0d535eL)
dudes.add(0x9b820bccL)
dudes.add(0xc5db2126L)
dudes.add(0xba13f3f7L)
dudes.add(0x5b21d7eeL)
dudes.add(0x20e7e20eL)
dudes.add(0xac295798L)
dudes.add(0xa2f640efL)
dudes.add(0x530e5c35L)
dudes.add(0x6bd72a28L)
dudes.add(0x34b635efL)
dudes.add(0x2f98e894L)
dudes.add(0x6c19e0d9L)
dudes.add(0x1d0f2c12L)
dudes.add(0xccd48619L)
dudes.add(0x40c3eeafL)
dudes.add(0x1fd62a5aL)
dudes.add(0xdd741c3bL)
dudes.add(0xad5e94d6L)
dudes.add(0xecb82c0cL)
dudes.add(0x9d356d90L)
dudes.add(0x1ce23459L)
dudes.add(0xf5d856c4L)
dudes.add(0x74f3824L)
dudes.add(0x96c8ee72L)
dudes.add(0x3e70997dL)
dudes.add(0xd4daafe1L)
dudes.add(0xbb8c4db2L)
dudes.add(0x5ad0d943L)
dudes.add(0xd2c1fe36L)
dudes.add(0xaeb8008fL)
dudes.add(0x451473d5L)
dudes.add(0xc14b69bcL)
dudes.add(0xc914fba7L)
dudes.add(0x7ed16c65L)
dudes.add(0x85c9ad05L)
dudes.add(0x23d3d8b8L)
dudes.add(0xd4961a39L)
dudes.add(0x29bd4615L)
dudes.add(0x7edf1387L)
dudes.add(0x9669b7adL)
dudes.add(0xb8914d4aL)
dudes.add(0xb2526ef9L)
dudes.add(0x540df9efL)
dudes.add(0x66598adfL)
dudes.add(0x5fb744bfL)
dudes.add(0x65bd68f7L)
dudes.add(0x3d431458L)
dudes.add(0xac42fd28L)
dudes.add(0x824847f2L)
dudes.add(0x1217487cL)
dudes.add(0xef2ee7c6L)
dudes.add(0xb17b6d12L)
dudes.add(0x7de2660dL)
dudes.add(0x1aa7f626L)
dudes.add(0xbc694793L)
dudes.add(0xc0e5432bL)
dudes.add(0x746a147L)
dudes.add(0x369b3081L)
dudes.add(0xbf8282d7L)
dudes.add(0xf4bee81fL)
dudes.add(0x5feab797L)
dudes.add(0x9a77f015L)
dudes.add(0x4a76e049L)
dudes.add(0x9f562388L)
dudes.add(0x87349a14L)
dudes.add(0xedad1997L)
dudes.add(0x9c0ae871L)
dudes.add(0x13567d89L)
dudes.add(0xfc09278bL)
dudes.add(0x35786964L)
dudes.add(0x83fe03fbL)
dudes.add(0x17fee505L)
dudes.add(0x89748348L)
dudes.add(0x751857f3L)
dudes.add(0xceb18a3L)
dudes.add(0xe4ebe4bbL)
dudes.add(0x8c9e8a02L)
dudes.add(0x164dedddL)
dudes.add(0xca2ebbd8L)
dudes.add(0x6acb81d5L)
dudes.add(0x1eb30759L)
dudes.add(0xc75e7286L)
dudes.add(0x9c85c3dbL)
dudes.add(0xfefab856L)
dudes.add(0x1f9f62d0L)
dudes.add(0x372732f0L)
dudes.add(0xbc99cb3fL)
dudes.add(0xc052da85L)
dudes.add(0xb4e96457L)
dudes.add(0x329b2506L)
dudes.add(0x94c65e4aL)
dudes.add(0x5868b04fL)
dudes.add(0x5908301fL)
dudes.add(0x84546911L)
dudes.add(0x964b8fe3L)
dudes.add(0xe50af913L)
dudes.add(0xeaec3320L)
dudes.add(0x8d6cffabL)
dudes.add(0x20b9cad1L)
dudes.add(0x8face4d4L)
dudes.add(0x44b7f93dL)
dudes.add(0xefccab5eL)
dudes.add(0xa5498ae4L)
dudes.add(0xc505eaf4L)
dudes.add(0xa4b32f02L)
dudes.add(0x6f238e3L)
dudes.add(0xf9207d66L)
dudes.add(0xbc454e22L)
dudes.add(0x581db82cL)
dudes.add(0x9c50f4a0L)
dudes.add(0xc54d502cL)
dudes.add(0x6c7ddd1aL)
dudes.add(0x2c812d34L)
dudes.add(0x7995baf9L)
dudes.add(0x7069215L)
dudes.add(0x7492bd9aL)
dudes.add(0xf29e94a3L)
dudes.add(0xe12042b0L)
dudes.add(0x7e38d435L)
dudes.add(0x1ed49ed7L)
dudes.add(0x9b1ad1f4L)
dudes.add(0xaa109d6cL)
dudes.add(0x4fa7440cL)
dudes.add(0xd87ff0a9L)
dudes.add(0x7a803aedL)
dudes.add(0xb9868b5cL)
dudes.add(0x7615cdc7L)
dudes.add(0x59711c87L)
dudes.add(0x8fc35a86L)
dudes.add(0xb6124ab3L)
dudes.add(0x6081f0c8L)
dudes.add(0x892a8b60L)
dudes.add(0xe19a70bL)
dudes.add(0xde865f42L)
dudes.add(0x12c0e9a5L)
dudes.add(0x3df33a9bL)
dudes.add(0x3de4361L)
dudes.add(0xc9066988L)
dudes.add(0xdd981d74L)
dudes.add(0x94c468a3L)
dudes.add(0xee136618L)
dudes.add(0xed16cdeaL)
dudes.add(0xdb9326ddL)
dudes.add(0xd0fd9000L)
dudes.add(0x16e8284bL)
dudes.add(0x16030d50L)
dudes.add(0x7ee6806eL)
dudes.add(0x50b7dd3L)
dudes.add(0xfb560b46L)
dudes.add(0x83aaf8fbL)
dudes.add(0xc1c299f0L)
dudes.add(0xb82c69fbL)
dudes.add(0x82936f09L)
dudes.add(0x1372ec78L)
dudes.add(0x9e9a4a30L)
dudes.add(0x57bd684eL)
dudes.add(0x4515dd63L)
dudes.add(0x6380a7b7L)
dudes.add(0x2fd830aaL)
dudes.add(0xff963711L)
dudes.add(0x47b6a16cL)
dudes.add(0x59516b94L)
dudes.add(0x52e49a7L)
dudes.add(0x5a90cf95L)






dudes.add(0xe8c4cd13L)
dudes.add(0xe10a2a01L)
dudes.add(0x6f31e9fcL)
dudes.add(0xbd559a9aL)
dudes.add(0xf7500f88L)
dudes.add(0x4c574c92L)
dudes.add(0xb64963dbL)
dudes.add(0xd1f52353L)
dudes.add(0x4bb4fea4L)
dudes.add(0x4ba97871L)
dudes.add(0xc3c3de28L)
dudes.add(0xf01a419cL)
dudes.add(0x731b7cb1L)
dudes.add(0x75601576L)
dudes.add(0xea016433L)
dudes.add(0x1a165c1eL)
dudes.add(0x42f9c135L)
dudes.add(0xd9ea7e70L)
dudes.add(0x4bb86583L)
dudes.add(0x7a4487f7L)
dudes.add(0xf7470723L)
dudes.add(0xa3993f4L)
dudes.add(0x2586e036L)
dudes.add(0x58de2ec6L)
dudes.add(0x111148d7L)
dudes.add(0xa5b6b167L)
dudes.add(0xe23a1b84L)
dudes.add(0x3f2b5abdL)
dudes.add(0xb6ab7fcdL)
dudes.add(0x4bfca1f8L)
dudes.add(0xc51da318L)
dudes.add(0xd18e92a6L)
dudes.add(0x456fc07L)
dudes.add(0x63756907L)
dudes.add(0x88e6d92dL)
dudes.add(0x8f973e3aL)
dudes.add(0x5b302fc6L)
dudes.add(0xef2a398dL)
dudes.add(0x6f9d500cL)
dudes.add(0xc71a07feL)
dudes.add(0x91c14dbbL)
dudes.add(0xb82b113dL)
dudes.add(0x6151c157L)
dudes.add(0x2e7ff37bL)
dudes.add(0x5eee4605L)
dudes.add(0xe7af13eL)
dudes.add(0x3aa9ae50L)
dudes.add(0xdb60f370L)
dudes.add(0xe48b79f0L)
dudes.add(0x14374ba6L)
dudes.add(0x1581e5d4L)
dudes.add(0x691be5fdL)
dudes.add(0x4b1af841L)
dudes.add(0x531d14a6L)
dudes.add(0x7bfdeed0L)
dudes.add(0xaab31920L)
dudes.add(0xde773af2L)
dudes.add(0x60ce5432L)
dudes.add(0x153f77deL)
dudes.add(0x9221788dL)
dudes.add(0x844f7b4aL)
dudes.add(0x1783dc18L)
dudes.add(0xe190a836L)
dudes.add(0x9627db91L)
dudes.add(0x1d88806fL)
dudes.add(0x761a813dL)
dudes.add(0xe75468eeL)
dudes.add(0x69a23d61L)
dudes.add(0xbf12587eL)
dudes.add(0x8e5523f1L)
dudes.add(0xf69a9295L)
dudes.add(0xe5362f17L)
dudes.add(0x843abfa5L)
dudes.add(0xb1b104fbL)
dudes.add(0x98830476L)
dudes.add(0xda5ab6e7L)
dudes.add(0xa4003b66L)
dudes.add(0x318bd76fL)
dudes.add(0xeff667e7L)
dudes.add(0x8415d6b7L)
dudes.add(0x508d1ba2L)
dudes.add(0x98497694L)
dudes.add(0x3ba3e108L)
dudes.add(0x773a7a3cL)
dudes.add(0xf8ab853fL)
dudes.add(0x6809275dL)
dudes.add(0xc86e919dL)
dudes.add(0x72e77797L)
dudes.add(0x4e566f53L)
dudes.add(0xa738c417L)
dudes.add(0xf68a67f0L)
dudes.add(0xcbf8f7f6L)
dudes.add(0x34d52bd2L)
dudes.add(0x49ac5b22L)
dudes.add(0xb9f02f16L)
dudes.add(0xd605da84L)
dudes.add(0x481570faL)
dudes.add(0x1446841fL)
dudes.add(0x10d3d2f4L)
dudes.add(0xc3df8a8eL)
dudes.add(0x41bfd87dL)
dudes.add(0x2e087af3L)
dudes.add(0x7bae3a04L)
dudes.add(0xcd75bb28L)
dudes.add(0xb5405a7fL)
dudes.add(0x15703767L)
dudes.add(0xdcd3e978L)
dudes.add(0xda2cb4feL)
dudes.add(0x9fe07e3fL)
dudes.add(0xb01f968aL)
dudes.add(0xde9efd28L)
dudes.add(0x3cb4187dL)
dudes.add(0x76f1a0feL)
dudes.add(0xf05f096dL)
dudes.add(0xc08e7639L)
dudes.add(0x288a744aL)
dudes.add(0xc3c1086eL)
dudes.add(0x6781eb06L)
dudes.add(0xbb65a2f5L)
dudes.add(0xd96c2508L)
dudes.add(0x7768e755L)
dudes.add(0x5a462d30L)
dudes.add(0x8eb514bL)
dudes.add(0x6303f236L)
dudes.add(0x688d9163L)
dudes.add(0x319592f6L)
dudes.add(0x529da1fbL)
dudes.add(0x179e495aL)
dudes.add(0x210557e0L)
dudes.add(0xc1b25ca0L)
dudes.add(0xceaf34fL)
dudes.add(0x9f971696L)
dudes.add(0xc6c8430L)
dudes.add(0xbb63878eL)
dudes.add(0xd865386cL)
dudes.add(0x3a7cd9d2L)
dudes.add(0x8b53f622L)
dudes.add(0x73e8a898L)
dudes.add(0xcfe065faL)
dudes.add(0x74583e41L)
dudes.add(0xc85753deL)
dudes.add(0xbc02fd8fL)
dudes.add(0x279c4e99L)
dudes.add(0x445ecfd4L)
dudes.add(0xf6fa076aL)
dudes.add(0x839405d6L)
dudes.add(0xf2a9fb6eL)
dudes.add(0x64afaaf5L)
dudes.add(0xbe1610eaL)
dudes.add(0xecf4bdb3L)
dudes.add(0x111adc3cL)
dudes.add(0x6a480b1fL)
dudes.add(0x75afd151L)
dudes.add(0x1778a99cL)
dudes.add(0x96a29c48L)
dudes.add(0xe1d1bf74L)
dudes.add(0xe150a14L)
dudes.add(0x79aec38bL)
dudes.add(0xd17aeb52L)
dudes.add(0x7501b434L)
dudes.add(0xad80b58L)
dudes.add(0x1d770990L)
dudes.add(0xee326a71L)
dudes.add(0xcfb677f4L)
dudes.add(0x6fae81eeL)
dudes.add(0xd1ac54d1L)
dudes.add(0xa6cecb2eL)
dudes.add(0xbe881cc8L)
dudes.add(0xcfd243dL)
dudes.add(0x8e1c451cL)
dudes.add(0x9e3e88d9L)
dudes.add(0x197b0099L)
dudes.add(0x43bae036L)
dudes.add(0x12160f2aL)
dudes.add(0x74c9c5c3L)
dudes.add(0x65b33ba4L)
dudes.add(0x44217eacL)
dudes.add(0xbc1a85f3L)
dudes.add(0x4841ee71L)
dudes.add(0xfe5a36ebL)
dudes.add(0x4cbdee35L)
dudes.add(0x4b329b01L)
dudes.add(0x14c678ddL)
dudes.add(0xc630c981L)
dudes.add(0x454e562eL)
dudes.add(0x45e91cf0L)
dudes.add(0x744b1e9aL)
dudes.add(0x5a1c9573L)
dudes.add(0x8efa66deL)
dudes.add(0xc22c2414L)
dudes.add(0x11b25f4fL)
dudes.add(0x174d9d68L)
dudes.add(0x539f05a6L)
dudes.add(0x9236a920L)
dudes.add(0x5dba03dcL)
dudes.add(0x367dadc9L)
dudes.add(0xba073c9bL)
dudes.add(0x16d30a26L)
dudes.add(0x2a8e6e71L)
dudes.add(0xc82dce1bL)
dudes.add(0x2031b651L)
dudes.add(0xf4cd44d3L)
dudes.add(0x1eb203a1L)
dudes.add(0x2023f3b6L)
dudes.add(0xf8f8e90eL)
dudes.add(0x56cbe4dfL)
dudes.add(0xd5614aa2L)
dudes.add(0xca68babfL)
dudes.add(0xacb81457L)
dudes.add(0xc4587d1aL)
dudes.add(0x5f5cc257L)
dudes.add(0xec6cbd66L)
dudes.add(0xbd543b69L)
dudes.add(0x91dd8aL)
dudes.add(0x7ac098c8L)
dudes.add(0x16c89693L)
dudes.add(0x61e2b32cL)
dudes.add(0x362c8571L)
dudes.add(0x8d2a0333L)
dudes.add(0xc0e8176dL)
dudes.add(0xdd630bb9L)
dudes.add(0x61a28b87L)
dudes.add(0x727e94b2L)
dudes.add(0xac756523L)
dudes.add(0x48d78517L)
dudes.add(0xbed15195L)
dudes.add(0x6442b56aL)
dudes.add(0x1fdae957L)
dudes.add(0x8f94abbfL)
dudes.add(0x929d5c9dL)
dudes.add(0x2b1a019bL)
dudes.add(0x1127c450L)
dudes.add(0x106dc4b7L)
dudes.add(0x60591db1L)
dudes.add(0x482a54dL)
dudes.add(0x2b237872L)
dudes.add(0x398d4b2eL)
dudes.add(0xb989571aL)
dudes.add(0xb88ffe1aL)
dudes.add(0x33c8d982L)
dudes.add(0x6627b0e2L)
dudes.add(0x6f59d6deL)
dudes.add(0x24052137L)
dudes.add(0x37346d65L)
dudes.add(0x6258950cL)
dudes.add(0x79cabf25L)
dudes.add(0x93d53e0fL)
dudes.add(0xb73caa4L)
dudes.add(0x993dd20L)
dudes.add(0x36bb607L)
dudes.add(0xe0a8565bL)
dudes.add(0xecb35ec2L)
dudes.add(0x83fa767dL)
dudes.add(0x8691e65L)




dudes.add(0x202b1cccL)
dudes.add(0x303f283cL)
dudes.add(0xfa25094bL)
dudes.add(0x6fa5c7c7L)
dudes.add(0xed701752L)
dudes.add(0xb4640ae4L)
dudes.add(0x483e9ac6L)
dudes.add(0x891758efL)
dudes.add(0x53e82213L)
dudes.add(0xb859875dL)
dudes.add(0x87ddad76L)
dudes.add(0x18879540L)
dudes.add(0x4db9e56dL)
dudes.add(0x47d5f0bdL)
dudes.add(0xeb64955aL)
dudes.add(0x71ce0eb8L)
dudes.add(0xb7da73efL)
dudes.add(0xbbfd3558L)
dudes.add(0x9391c3cL)
dudes.add(0xbb1a649dL)
dudes.add(0x87de68edL)
dudes.add(0x8b05d846L)
dudes.add(0x6feaef2fL)
dudes.add(0x3adf253cL)
dudes.add(0x466984e8L)
dudes.add(0x7cd2633aL)
dudes.add(0x29232192L)
dudes.add(0x9b894ec4L)
dudes.add(0xd88ae9dL)
dudes.add(0x8f2a7e0bL)
dudes.add(0x583b1a4dL)
dudes.add(0x2958a9f7L)
dudes.add(0x313ab510L)
dudes.add(0x1fde6d4dL)
dudes.add(0xe793e29dL)
dudes.add(0xfa021e52L)
dudes.add(0xa9d64970L)
dudes.add(0x789633eaL)
dudes.add(0xca541553L)
dudes.add(0x408e09b6L)
dudes.add(0x3730e320L)
dudes.add(0x4c05e083L)
dudes.add(0x64aab69dL)
dudes.add(0xe3d5d7dcL)
dudes.add(0xc55eed85L)
dudes.add(0x15159436L)
dudes.add(0xafb320cfL)
dudes.add(0xa7a2acd3L)
dudes.add(0xfec14e35L)
dudes.add(0x93f1784fL)
dudes.add(0x98b0cc4aL)
dudes.add(0xbed6c151L)
dudes.add(0x9c373b38L)
dudes.add(0xf9b0a968L)
dudes.add(0x8bdb26c8L)
dudes.add(0xb484471L)
dudes.add(0xea4fe174L)
dudes.add(0xf48d3791L)
dudes.add(0x8097f3feL)
dudes.add(0xbce93e59L)
dudes.add(0x6d9efc1fL)
dudes.add(0xd5b1599cL)
dudes.add(0xf28b9180L)
dudes.add(0x2a4d895cL)
dudes.add(0xc321055dL)
dudes.add(0x8ce5d14bL)
dudes.add(0x3a6bea6cL)
dudes.add(0x121689ddL)
dudes.add(0x84f6fa4eL)
dudes.add(0x30f3d200L)
dudes.add(0x5e61adc0L)
dudes.add(0x3314586L)
dudes.add(0x46fe00aeL)
dudes.add(0x646b3a8cL)
dudes.add(0xd23ba6baL)
dudes.add(0x8335eb1aL)
dudes.add(0xd89aa77L)
dudes.add(0x44160c71L)
dudes.add(0xb1eb09e9L)
dudes.add(0x3b09bb6dL)
dudes.add(0x50470f25L)
dudes.add(0xc98b6cf8L)
dudes.add(0x62729de4L)
dudes.add(0x32ce292bL)
dudes.add(0x7a7947d7L)
dudes.add(0xac20385fL)
dudes.add(0x2307fc96L)
dudes.add(0x812d0faeL)
dudes.add(0xeb268bffL)
dudes.add(0x62c2e209L)
dudes.add(0x6798d27dL)
dudes.add(0x3a525b1eL)
dudes.add(0xb60c0326L)
dudes.add(0xc4580a39L)
dudes.add(0xdbbd05e9L)
dudes.add(0xa3953fdbL)
dudes.add(0x9b040295L)
dudes.add(0xf0953eaaL)
dudes.add(0x9cfe5101L)
dudes.add(0x9ac1bea0L)
dudes.add(0x4fb9aaf2L)
dudes.add(0x9f6c87bbL)
dudes.add(0x1265b003L)
dudes.add(0x26553803L)
dudes.add(0xa42f0925L)
dudes.add(0x50e3c2ecL)
dudes.add(0x1ac99a08L)
dudes.add(0xb89670a3L)
dudes.add(0xcc74f75eL)
dudes.add(0xb93d1bddL)
dudes.add(0xb05547d4L)
dudes.add(0xb1f77537L)
dudes.add(0x6da555afL)
dudes.add(0xfab7bdeL)
dudes.add(0xecedbeb9L)
dudes.add(0xed25df2bL)
dudes.add(0x432b6698L)
dudes.add(0x668e17eL)
dudes.add(0x64a5947L)
dudes.add(0x73c66068L)
dudes.add(0xc7beb0cbL)
dudes.add(0x2fb42360L)
dudes.add(0x928427fcL)
dudes.add(0xedd66625L)
dudes.add(0x9d9c24bfL)
dudes.add(0xccd2a2b4L)
dudes.add(0xee5a091L)
dudes.add(0x86f4cf97L)
dudes.add(0xfc69fe93L)
dudes.add(0xc3ea5faL)
dudes.add(0xd367d5d6L)
dudes.add(0x99e4a159L)
dudes.add(0x3e0233d9L)
dudes.add(0x8c778f04L)
dudes.add(0xe60ee87L)
dudes.add(0x822ef6f7L)
dudes.add(0x965f6bccL)
dudes.add(0x4002160eL)
dudes.add(0x8558ca6L)
dudes.add(0xb983fL)
dudes.add(0xd8522a5fL)
dudes.add(0x94200204L)
dudes.add(0x4c03c956L)
dudes.add(0x464f13beL)
dudes.add(0x30ddc14aL)
dudes.add(0x56503490L)
dudes.add(0x7c4c8b21L)
dudes.add(0xfb45fe95L)
dudes.add(0xbe5d5f2L)
dudes.add(0x9bfef8d0L)
dudes.add(0x850dede5L)
dudes.add(0xcd55604dL)
dudes.add(0x7baba9a6L)
dudes.add(0xea28ee3cL)
dudes.add(0xd8d9e674L)
dudes.add(0x85e32297L)
dudes.add(0x83155029L)
dudes.add(0x3eb478efL)
dudes.add(0xe663971eL)
dudes.add(0x90910390L)
dudes.add(0xe213357dL)
dudes.add(0xc8f432a1L)
dudes.add(0x74db7c7cL)
dudes.add(0xec8395b8L)
dudes.add(0x1e765c4L)
dudes.add(0x4ab9e6bcL)
dudes.add(0x5f9e0685L)
dudes.add(0x9cec930dL)
dudes.add(0x4581f483L)
dudes.add(0x321fccf2L)
dudes.add(0x1f571e5dL)
dudes.add(0x9e174f7eL)
dudes.add(0xae2b0901L)
dudes.add(0xfb63a70L)
dudes.add(0x50fe7dbL)
dudes.add(0x24c071eL)
dudes.add(0x9ecfedb9L)
dudes.add(0x1a78c4bdL)
dudes.add(0x2e80fbb9L)
dudes.add(0x337c9435L)
dudes.add(0x81274c08L)
dudes.add(0xacde5142L)
dudes.add(0x2dd63343L)
dudes.add(0x88a77c76L)
dudes.add(0xecb82ea3L)
dudes.add(0xdb6a7351L)
dudes.add(0xa3f66e72L)
dudes.add(0x9033df17L)
dudes.add(0xbeffb3daL)
dudes.add(0xa92bf3aaL)
dudes.add(0x2b4007caL)
dudes.add(0x981fd3a2L)
dudes.add(0x4396b906L)
dudes.add(0xcabe3d67L)
dudes.add(0xc20e2caeL)
dudes.add(0xb326152aL)
dudes.add(0xb4fbb9f6L)
dudes.add(0x7d7f87eeL)
dudes.add(0x86d78ac9L)
dudes.add(0xa6bb1d4fL)
dudes.add(0x77dc95e3L)
dudes.add(0x70c8c68bL)
dudes.add(0xe02db76cL)
dudes.add(0xda21d1c7L)
dudes.add(0xd613d533L)
dudes.add(0xefdae01fL)
dudes.add(0x681f2e28L)
dudes.add(0xf78b2804L)
dudes.add(0xf23589e6L)
dudes.add(0x312774c7L)
dudes.add(0x49d46e49L)
dudes.add(0x92ee847aL)
dudes.add(0xfca5cbe4L)
dudes.add(0x8fc89338L)
dudes.add(0xc0892bb6L)
dudes.add(0x18ccce4bL)
dudes.add(0x934a10f4L)
dudes.add(0x5310db9aL)
dudes.add(0xa6d44951L)
dudes.add(0x97b2f6f0L)
dudes.add(0x571b0eb2L)
dudes.add(0x480445eL)
dudes.add(0x42cbf97dL)
dudes.add(0xe27e8b6dL)
dudes.add(0x32770493L)
dudes.add(0x5123ff51L)
dudes.add(0xa913fc82L)
dudes.add(0xc7195d8bL)
dudes.add(0xf7c4fbabL)
dudes.add(0x6a10ddcfL)
dudes.add(0x9d42f8acL)
dudes.add(0xbc28fc17L)
dudes.add(0xfc9dcc4dL)
dudes.add(0x366670ebL)
dudes.add(0xc33c7eddL)
dudes.add(0xe8f220d1L)
dudes.add(0x3887ba62L)
dudes.add(0x3b3feb06L)
dudes.add(0xbc5aa7ffL)
dudes.add(0x20c12dc2L)
dudes.add(0xd2a202fL)
dudes.add(0x6746fac7L)
dudes.add(0xaede8763L)
dudes.add(0xea2e2eabL)
dudes.add(0x7186bb95L)
dudes.add(0xf57b9645L)
dudes.add(0xb80ad488L)
dudes.add(0x70075b5fL)
dudes.add(0x979cbf59L)
dudes.add(0x7a7ad039L)
dudes.add(0x9faab5a7L)
dudes.add(0x1adae71fL)
dudes.add(0xd3040865L)
dudes.add(0x53e0622L)
dudes.add(0x3737d61cL)
dudes.add(0x413a236aL)
dudes.add(0xd8cb8221L)
dudes.add(0xfe71971aL)
dudes.add(0xd8725f8L)
dudes.add(0xd64e5f0eL)
dudes.add(0xd9d0204L)
dudes.add(0xbddf2bd0L)
dudes.add(0xd37e86eaL)
dudes.add(0x3f878221L)
dudes.add(0xaea46260L)
dudes.add(0xc861659cL)
dudes.add(0x7c68376dL)
dudes.add(0xdf8d6e4bL)
dudes.add(0xd032271aL)
dudes.add(0xf23c0a86L)
dudes.add(0xeae8ec3dL)
dudes.add(0x53b3b564L)
dudes.add(0x581406a4L)
dudes.add(0x7643f98aL)
dudes.add(0x3adb1b29L)
dudes.add(0xbb5502b5L)
dudes.add(0x7e2bd599L)
dudes.add(0xf96cda23L)
dudes.add(0x90fbd9b2L)
dudes.add(0xe4fc377aL)
dudes.add(0x571ce9e3L)
dudes.add(0x6d13e94aL)
dudes.add(0x86a13713L)
dudes.add(0xf84d44e2L)
dudes.add(0x36f797d9L)
dudes.add(0x741c9ed1L)
dudes.add(0x505105beL)
dudes.add(0xd76f828aL)
dudes.add(0x359e38c4L)
dudes.add(0x555c0b6fL)
dudes.add(0x89ba023bL)
dudes.add(0xb73fc017L)
dudes.add(0xb1e9096aL)
dudes.add(0x8a76f34bL)
dudes.add(0x71b50778L)
dudes.add(0xd5bff6d7L)
dudes.add(0xe19889a4L)
dudes.add(0x88803e2L)
dudes.add(0x3eba1aaaL)
dudes.add(0x68089982L)
dudes.add(0xb78fb21bL)
dudes.add(0x312ffb06L)
dudes.add(0xdf3424c6L)
dudes.add(0x9c9ec7a9L)
dudes.add(0x1a2d635fL)
dudes.add(0x2c497ad3L)
dudes.add(0xd050a742L)
dudes.add(0xf173dc6bL)
dudes.add(0xe172f601L)
dudes.add(0x8bb9e9a2L)
dudes.add(0x36938259L)
dudes.add(0x3c3d2c54L)
dudes.add(0x9b5718d2L)
dudes.add(0x9f528e40L)
dudes.add(0x4cc15cb0L)
dudes.add(0xa75e120cL)
dudes.add(0xc6fd479aL)
dudes.add(0xf125b842L)
dudes.add(0xed7c1898L)
dudes.add(0x57156c06L)
dudes.add(0xea1c618cL)
dudes.add(0x9ede5f89L)
dudes.add(0xf01ce3a4L)
dudes.add(0xa42889c9L)
dudes.add(0xb36607d6L)
dudes.add(0x2601a7c5L)
dudes.add(0x690be66fL)
dudes.add(0x31159277L)
dudes.add(0x257c1634L)
dudes.add(0x267159bfL)
dudes.add(0x1b9f0b3bL)
dudes.add(0x9ccdecabL)
dudes.add(0xd81393fL)
dudes.add(0xd74e03d8L)
dudes.add(0xc4b3ccbfL)
dudes.add(0x44affa00L)
dudes.add(0x28ba8feL)
dudes.add(0xb895a847L)
dudes.add(0x390aa702L)
dudes.add(0x4a66baa4L)
dudes.add(0x56d4d513L)
dudes.add(0x74eb5b33L)
dudes.add(0x8d00ea1eL)
dudes.add(0xfb0cf888L)
dudes.add(0xb2b9511eL)
dudes.add(0xdbf404d4L)
dudes.add(0x5ba0464fL)
dudes.add(0xef3a452dL)
dudes.add(0x71ff6bdbL)
dudes.add(0x1bd1dd86L)
dudes.add(0xd12071c8L)
dudes.add(0x87a980dbL)
dudes.add(0x6cffbb80L)
dudes.add(0xf0df8623L)
dudes.add(0xbb537e18L)
dudes.add(0xd70cdb9aL)
dudes.add(0x145216afL)
dudes.add(0x6dda9a3L)
dudes.add(0x41f0c954L)
dudes.add(0xb0145edcL)
dudes.add(0x54d81904L)
dudes.add(0xb281072eL)
dudes.add(0xfadf0b93L)
dudes.add(0x1511db62L)
dudes.add(0x7a0145dL)
dudes.add(0xab69666cL)
dudes.add(0x54b117c0L)
dudes.add(0x2f597b77L)
dudes.add(0x13bd6f5eL)
dudes.add(0xaa11a711L)
dudes.add(0x4b591249L)
dudes.add(0x9fa90701L)
dudes.add(0xb6a3639eL)
dudes.add(0x428d6a35L)
dudes.add(0x5100db4cL)
dudes.add(0x234ce03cL)
dudes.add(0xc8e4d41dL)
dudes.add(0xc9c1f8c6L)
dudes.add(0xb560b57fL)
dudes.add(0x519823a9L)
dudes.add(0xdf3131d2L)
dudes.add(0x3b9bf4baL)
dudes.add(0xc1929e55L)
dudes.add(0xf8e94263L)
dudes.add(0x8fc269ceL)
dudes.add(0x91226023L)
dudes.add(0xda3c4929L)
dudes.add(0x7d9ef6caL)
dudes.add(0x15355722L)
dudes.add(0xdd06660bL)
dudes.add(0xaecbfaeeL)
dudes.add(0x3f70bc3L)
dudes.add(0xababce4bL)
dudes.add(0xe609c4f4L)
dudes.add(0x491b67c3L)
dudes.add(0x58d834beL)
dudes.add(0x63d1b0eL)
dudes.add(0xa0e3cedaL)
dudes.add(0xb2601f5aL)
dudes.add(0xf0d9798fL)
dudes.add(0x45485922L)
dudes.add(0x44a4263cL)
dudes.add(0x455aa89cL)
dudes.add(0x506ccf85L)
dudes.add(0xfa963832L)
dudes.add(0xd42cdd62L)
dudes.add(0x15c55fd2L)
dudes.add(0xfd7289bfL)
dudes.add(0xf41e1b08L)
dudes.add(0x6cfd42bdL)
dudes.add(0x4d0ee405L)
dudes.add(0x5abed0d8L)
dudes.add(0x2ad465a2L)
dudes.add(0xc13630f1L)
dudes.add(0x57c0a39eL)
dudes.add(0x5fb356b0L)
dudes.add(0x8cb41c43L)
dudes.add(0x5c1ee124L)
dudes.add(0x456e55c4L)
dudes.add(0xabc62ef3L)
dudes.add(0xbc3fdc6cL)
dudes.add(0x6724629bL)
dudes.add(0x8d03ca64L)
dudes.add(0xe0ecc1efL)
dudes.add(0xc748e8b7L)
dudes.add(0xcb9582feL)
dudes.add(0x89f83ad6L)
dudes.add(0x2da6037eL)
dudes.add(0x3ceeb235L)
dudes.add(0xf87904caL)
dudes.add(0xbbcfbe99L)
dudes.add(0x2b7381e0L)
dudes.add(0x280e0c38L)
dudes.add(0xe35a9079L)
dudes.add(0xe7fb2433L)
dudes.add(0x29183bf6L)
dudes.add(0x651fb4dcL)
dudes.add(0xdf8a187aL)
dudes.add(0x7c19a733L)
dudes.add(0x3f5c99aL)
dudes.add(0x248817aeL)
dudes.add(0xeebc0568L)
dudes.add(0x4b1370a3L)
dudes.add(0xd5a15713L)
dudes.add(0xc52952baL)
dudes.add(0x98902241L)
dudes.add(0xc42d6adeL)
dudes.add(0xde607759L)
dudes.add(0xcbcfc939L)
dudes.add(0xb808f6bdL)
dudes.add(0x25cbc9cdL)
dudes.add(0xc38f284cL)
dudes.add(0x97dee394L)
dudes.add(0xb74f86f9L)
dudes.add(0x55183b4bL)
dudes.add(0xd58d1780L)
dudes.add(0xa47d114cL)
dudes.add(0xb5a407a9L)
dudes.add(0xb6562ce5L)
dudes.add(0xece15ca7L)
dudes.add(0x52f8e8faL)
dudes.add(0xe75724e0L)
dudes.add(0x7b61b39fL)
dudes.add(0x54c08152L)
dudes.add(0xa61b9bf0L)
dudes.add(0xe29d535bL)
dudes.add(0x800e4390L)
dudes.add(0x68b738d3L)
dudes.add(0x25d32060L)
dudes.add(0x9c6a3a3eL)
dudes.add(0xc4311266L)
dudes.add(0x2acec41bL)
dudes.add(0x2a6b570dL)
dudes.add(0x26bdc98bL)
dudes.add(0x13ef6887L)
dudes.add(0xbc377431L)
dudes.add(0x241083d4L)
dudes.add(0x81281a5fL)
dudes.add(0x23c827a2L)
dudes.add(0x21b427f9L)
dudes.add(0xfcb1f3beL)
dudes.add(0xd4a94c5L)
dudes.add(0x78d97a60L)
dudes.add(0x2adb10c8L)
dudes.add(0xdc06c71fL)
dudes.add(0xcf2f5bb6L)
dudes.add(0xa1fb8a8L)
dudes.add(0xfc83bbfL)
dudes.add(0x15d0db3L)
dudes.add(0x78894308L)
dudes.add(0xf1f902fL)
dudes.add(0x3a9876a5L)
dudes.add(0xc4da726L)
dudes.add(0x4236e092L)
dudes.add(0x2174c3c0L)
dudes.add(0x5b3db8dfL)
dudes.add(0xfd86cceaL)
dudes.add(0x84104f65L)
dudes.add(0xf964f5f7L)
dudes.add(0xabe43392L)
dudes.add(0x6ed1a5fdL)
dudes.add(0xd02e0e04L)
dudes.add(0xe80005caL)
dudes.add(0xbde51a89L)
dudes.add(0x599aa673L)
dudes.add(0x9e76dee9L)
dudes.add(0xffb9f4f9L)
dudes.add(0x2d27ae53L)
dudes.add(0x7c09dc67L)
dudes.add(0xcfa65b29L)
dudes.add(0xf672e141L)
dudes.add(0x18648d8L)
dudes.add(0x2da61a4cL)
dudes.add(0x80daa497L)
dudes.add(0xc4962063L)
dudes.add(0xfa0aaa40L)
dudes.add(0xe0963cd8L)
dudes.add(0x6903ddd4L)
dudes.add(0x32792385L)
dudes.add(0x957ad3afL)
dudes.add(0x9fb85daeL)
dudes.add(0x463e721eL)
dudes.add(0x35de2d4dL)
dudes.add(0xb0a80548L)
dudes.add(0xf5a8d544L)
dudes.add(0x2e7e1c7fL)
dudes.add(0xbb59c984L)
dudes.add(0xe4d7e77eL)
dudes.add(0x99e2108bL)
dudes.add(0xde8a70c2L)
dudes.add(0x1a11844aL)
dudes.add(0x74447badL)
dudes.add(0x62850751L)
dudes.add(0xb9bc684dL)
dudes.add(0x7333ef6bL)
dudes.add(0x47daa9bdL)
dudes.add(0x6ed5332dL)
dudes.add(0x39808553L)
dudes.add(0x6bc0d2d3L)
dudes.add(0xaba0d013L)
dudes.add(0x6059269cL)
dudes.add(0x37e03891L)
dudes.add(0x9b7c3e8bL)
dudes.add(0x1537f591L)
dudes.add(0x55f43a30L)
dudes.add(0x13eaebc5L)
dudes.add(0x9a2bacc2L)
dudes.add(0x522521c3L)
dudes.add(0x5c010c0cL)
dudes.add(0xe53bd673L)
dudes.add(0x829f7c55L)
dudes.add(0x16dd8fc0L)
dudes.add(0x232b76a3L)
dudes.add(0xeeb68092L)
dudes.add(0x2b07902dL)
dudes.add(0x725b00eeL)
dudes.add(0xf4385560L)
dudes.add(0xea367063L)
dudes.add(0x157bb316L)
dudes.add(0xa282afd0L)
dudes.add(0x94b8805cL)
dudes.add(0x9e0a98f0L)
dudes.add(0x495bea9eL)
dudes.add(0xc259d0efL)
dudes.add(0xd812e91L)
dudes.add(0xe79f1a8fL)
dudes.add(0x62334b65L)
dudes.add(0xc747053eL)
dudes.add(0x7804f27cL)
dudes.add(0x738ae10bL)
dudes.add(0xfa51f804L)
dudes.add(0x99d338eaL)
dudes.add(0x4566857cL)
dudes.add(0x503235a6L)
dudes.add(0x2e0fd9dbL)
dudes.add(0x38616b6dL)
dudes.add(0xb670fedfL)
dudes.add(0x355481a4L)
dudes.add(0x360090fcL)
dudes.add(0x64eeda78L)
dudes.add(0x34cb2235L)
dudes.add(0xf346680L)
dudes.add(0xc287cb63L)
dudes.add(0x1707e0fcL)
dudes.add(0x4e22c12cL)
dudes.add(0x1aabc6c6L)
dudes.add(0x318951cbL)
dudes.add(0x6d42cbe7L)
dudes.add(0x16c5fb2L)
dudes.add(0xc5e4b667L)
dudes.add(0xf2a7ef4cL)
dudes.add(0x18d193b0L)
dudes.add(0x71f5faa1L)
dudes.add(0x53285f99L)
dudes.add(0x9dd3d9aeL)
dudes.add(0x8523c540L)
dudes.add(0xb1669282L)
dudes.add(0x52b126b0L)
dudes.add(0x7b64de40L)
dudes.add(0x381c300bL)
dudes.add(0x25d6be97L)
dudes.add(0x828ef1d4L)
dudes.add(0x2bd3806L)
dudes.add(0xd301476L)
dudes.add(0xdebc4a8dL)
dudes.add(0x5ff90a2L)
dudes.add(0x8cadbb1cL)
dudes.add(0x8603d245L)
dudes.add(0x37189de3L)
dudes.add(0x1335b2d0L)
dudes.add(0x87cb3143L)
dudes.add(0x17139d92L)
dudes.add(0xd2fc55baL)
dudes.add(0x6d0a098dL)
dudes.add(0x41079fb8L)
dudes.add(0xd595a6a9L)
dudes.add(0xfdeec89bL)
dudes.add(0x50716c23L)
dudes.add(0x89636006L)
dudes.add(0xe6175516L)
dudes.add(0xef3bd6acL)
dudes.add(0xd4f5fbaaL)
dudes.add(0x344bf2fdL)
dudes.add(0x8c68232fL)
dudes.add(0x361256c4L)
dudes.add(0x8efc4d04L)
dudes.add(0xd682f520L)
dudes.add(0x1d50a025L)
dudes.add(0xfdfd5f5eL)
dudes.add(0x35ec149cL)
dudes.add(0x9ae0b86cL)
dudes.add(0x5bbe1525L)
dudes.add(0x5d477489L)
dudes.add(0x9b199995L)
dudes.add(0x2ae7b8b4L)
dudes.add(0xc48c5c7cL)
dudes.add(0x4f5ad5dbL)
dudes.add(0x2bebe105L)
dudes.add(0xa3130c6dL)
dudes.add(0xb82b011fL)
dudes.add(0x54e7577aL)
dudes.add(0x9f581ef0L)
dudes.add(0x1b284391L)
dudes.add(0x6ef8d363L)
dudes.add(0xc308ed92L)
dudes.add(0x4c6f7f7eL)
dudes.add(0xb4ea7033L)
dudes.add(0x9c6386c4L)
dudes.add(0xe26ec36eL)
dudes.add(0x387bb6c5L)
dudes.add(0xe7d25dbcL)
dudes.add(0x280e31fbL)
dudes.add(0x66458f3fL)
dudes.add(0x240d059eL)
dudes.add(0x7f53459fL)
dudes.add(0xe0184ba3L)
dudes.add(0xa1e95001L)
dudes.add(0xc414bc9dL)
dudes.add(0x5f18dc21L)
dudes.add(0x2f8e959aL)
dudes.add(0x564a94bfL)
dudes.add(0xfb35c02aL)
dudes.add(0xa1083abbL)
dudes.add(0x2b0485edL)
dudes.add(0xb77206caL)
dudes.add(0x9afad46dL)
dudes.add(0xc962fb78L)
dudes.add(0xdf6f0a83L)
dudes.add(0x4a271400L)
dudes.add(0x55c67daL)
dudes.add(0x4d9cf638L)
dudes.add(0x106252a7L)
dudes.add(0xb4fa5313L)
dudes.add(0x28586faeL)
dudes.add(0x8ac81d40L)
dudes.add(0x8c9696baL)
dudes.add(0xc6bbd591L)
dudes.add(0x473b9130L)
dudes.add(0x74841117L)
dudes.add(0x9f4a1fa5L)
dudes.add(0xf16bf272L)
dudes.add(0xfd2272d9L)
dudes.add(0x81ddc152L)
dudes.add(0x40251b49L)
dudes.add(0x8723e954L)
dudes.add(0xe0a83c7dL)
dudes.add(0xf91595a9L)
dudes.add(0x284d1e27L)
dudes.add(0xb9e4a8ebL)
dudes.add(0x34d07a36L)
dudes.add(0x1cdf2f02L)
dudes.add(0x10f0c8c5L)
dudes.add(0x8dca11e3L)
dudes.add(0x8c771f7fL)
dudes.add(0x3a72c45dL)
dudes.add(0x3b9995d2L)
dudes.add(0x886724a5L)
dudes.add(0x6118257cL)
dudes.add(0x4ab0a46cL)
dudes.add(0x695c6f49L)
dudes.add(0x22fea1f5L)
dudes.add(0xccdb411bL)
dudes.add(0x4c841919L)
dudes.add(0xa17764cdL)
dudes.add(0x74d6b143L)
dudes.add(0x53fa8b0dL)
dudes.add(0x56e114f4L)
dudes.add(0x37abc169L)
dudes.add(0x899a0fcL)
dudes.add(0x1bcf5763L)
dudes.add(0x7c2f1b94L)
dudes.add(0xceffa2daL)
dudes.add(0xbc9af4d0L)
dudes.add(0x839637d7L)
dudes.add(0x207eaed3L)
dudes.add(0x4c5384faL)
dudes.add(0xb6c1b2a2L)
dudes.add(0x92d4ad83L)
dudes.add(0x2c616a78L)
dudes.add(0x26c2e451L)
dudes.add(0xef381daeL)
dudes.add(0x300b5013L)
dudes.add(0xf61377d0L)
dudes.add(0xd3163aaL)
dudes.add(0x34aee609L)
dudes.add(0x3d38dc83L)
dudes.add(0xdc625afeL)
dudes.add(0x7876e3d6L)
dudes.add(0xb0092d68L)
dudes.add(0x386a2ff6L)
dudes.add(0xa6dc516eL)
dudes.add(0x5ede2f9bL)
dudes.add(0x7d614b55L)
dudes.add(0xf2da57ffL)
dudes.add(0x82a44d26L)
dudes.add(0xfdcf578fL)
dudes.add(0x7f019869L)
dudes.add(0x8ac58762L)
dudes.add(0x6babeec7L)
dudes.add(0xcc84f04dL)
dudes.add(0x4a8f1379L)
dudes.add(0xbef575e7L)
dudes.add(0x4b39c05eL)
dudes.add(0xcfa35537L)
dudes.add(0x14b7d97dL)
dudes.add(0xb781b181L)
dudes.add(0x7962d36fL)
dudes.add(0x4e9eabaaL)
dudes.add(0x3acdfec4L)
dudes.add(0x3404e4dfL)
dudes.add(0x45fc37a3L)
dudes.add(0x683c3ae9L)
dudes.add(0x59401554L)
dudes.add(0x583eaf9bL)
dudes.add(0x99e3cf1dL)
dudes.add(0x83e7515fL)
dudes.add(0x1729e89dL)
dudes.add(0xdd392667L)
dudes.add(0x857f8d74L)
dudes.add(0x9fc21e95L)
dudes.add(0x1b26eec0L)
dudes.add(0x6834b82eL)
dudes.add(0x99658b15L)
dudes.add(0xfc0fda90L)
dudes.add(0x52aa5955L)
dudes.add(0x12c5275cL)
dudes.add(0x373cb067L)
dudes.add(0x43d35cb0L)
dudes.add(0xecd9d40dL)
dudes.add(0xd9c4b12dL)
dudes.add(0xb95a462L)
dudes.add(0xca799d71L)
dudes.add(0x1ce54142L)
dudes.add(0x53a6e8d5L)
dudes.add(0x9503333fL)
dudes.add(0xdc8bbea4L)
dudes.add(0x7af8bcceL)
dudes.add(0xbfd2d326L)
dudes.add(0xceb63ebL)
dudes.add(0x29401488L)
dudes.add(0x539908eaL)
dudes.add(0xe38dfd04L)
dudes.add(0x37157326L)
dudes.add(0x46c6722L)
dudes.add(0xdc88f0fcL)
dudes.add(0xd8b2c9bdL)
dudes.add(0x31cd8d23L)
dudes.add(0x863a7d89L)
dudes.add(0x1924df8cL)
dudes.add(0x9aa5b023L)
dudes.add(0xb0ce35a5L)
dudes.add(0x5a3509edL)
dudes.add(0x147ebcfL)
dudes.add(0x144aebe2L)
dudes.add(0xf453c9a3L)
dudes.add(0xe08d4692L)
dudes.add(0x3932ff98L)
dudes.add(0xd2d7e5f2L)
dudes.add(0xd714d6cdL)
dudes.add(0x72ad8b1bL)
dudes.add(0x717dd270L)
dudes.add(0xcf28a354L)
dudes.add(0x60d346e6L)
dudes.add(0x9cd19fc4L)
dudes.add(0x59f36710L)
dudes.add(0x8b192dffL)
dudes.add(0x671e59f8L)
dudes.add(0xa4cc17aaL)
dudes.add(0x8bd54f53L)
dudes.add(0x85636a35L)
dudes.add(0xf30c6ca2L)
dudes.add(0xa9422cd0L)
dudes.add(0x2c95ccd9L)
dudes.add(0x8de29cf4L)
dudes.add(0xed37c8b6L)
dudes.add(0x16c7b7c2L)
dudes.add(0x56f4f6bbL)
dudes.add(0xfc086f2fL)
dudes.add(0xb223a842L)
dudes.add(0xf1717ab3L)
dudes.add(0xbabdeb84L)
dudes.add(0x983a3366L)
dudes.add(0xbd8f7a0eL)
dudes.add(0x4007d217L)
dudes.add(0x47013ccaL)
dudes.add(0xa48a65c6L)
dudes.add(0x758fd754L)
dudes.add(0xb50c8dc4L)
dudes.add(0x68e00165L)
dudes.add(0x6f2bcf10L)
dudes.add(0x2650a729L)
dudes.add(0x70a033eeL)
dudes.add(0xfda7eed5L)
dudes.add(0x79f68329L)
dudes.add(0x539191e5L)
dudes.add(0xc2f0024L)
dudes.add(0x1c537669L)
dudes.add(0xc5466e2fL)
dudes.add(0x4231c251L)
dudes.add(0x503bfc74L)
dudes.add(0x321be632L)
dudes.add(0xdf4d5cbL)
dudes.add(0x44b9dd27L)
dudes.add(0xea6f0895L)
dudes.add(0x7e18a1e3L)
dudes.add(0x9551679cL)
dudes.add(0xd6905733L)
dudes.add(0x84685197L)
dudes.add(0x53901fc9L)
dudes.add(0x201cc866L)
dudes.add(0x162d3800L)
dudes.add(0x9619d6d0L)
dudes.add(0x11285815L)
dudes.add(0x9bbc3640L)
dudes.add(0x257c1945L)
dudes.add(0xeab44abdL)
dudes.add(0xfbde1dddL)
dudes.add(0xa223ea37L)
dudes.add(0xe463267fL)
dudes.add(0x1d6b3a51L)
dudes.add(0x3d718e8cL)
dudes.add(0xbaa9184bL)
dudes.add(0x631b74f8L)
dudes.add(0x48173471L)
dudes.add(0x7fc267cdL)
dudes.add(0xcd4608cL)
dudes.add(0x1848b007L)
dudes.add(0x976060afL)
dudes.add(0xff516f00L)
dudes.add(0x5c7ed78cL)
dudes.add(0xe8bbe503L)
dudes.add(0x9b3de615L)
dudes.add(0xd89f329eL)
dudes.add(0x614b66ebL)
dudes.add(0xbf795f4aL)
dudes.add(0x430ecf3fL)
dudes.add(0xd084c22cL)
dudes.add(0xf1d10e1aL)
dudes.add(0x25beb668L)
dudes.add(0x1ed837d5L)
dudes.add(0x52780e62L)
dudes.add(0xf46ecdfcL)
dudes.add(0x21e9d421L)
dudes.add(0x5fcca45fL)
dudes.add(0x2b1e4ed7L)
dudes.add(0x60a2bd48L)
dudes.add(0xfdb92f57L)
dudes.add(0xeb0d2614L)
dudes.add(0x187af3b5L)
dudes.add(0xd3f83adaL)
dudes.add(0x9a60001eL)
dudes.add(0xf45f30ecL)
dudes.add(0x5ff7de01L)
dudes.add(0x4d3a90e3L)
dudes.add(0xa6f7dfa0L)
dudes.add(0xab9b6c90L)
dudes.add(0xa8335d99L)
dudes.add(0x97738f3L)
dudes.add(0xa99afccdL)
dudes.add(0x68e8089L)
dudes.add(0x92d72262L)
dudes.add(0x8490b038L)
dudes.add(0xc2d8be4eL)
dudes.add(0x200eb1f1L)
dudes.add(0x54dfa68L)
dudes.add(0x8f83ccfcL)
dudes.add(0x312eb18eL)
dudes.add(0x90b888d0L)
dudes.add(0x6f9d020fL)
dudes.add(0x693c4ef3L)
dudes.add(0xc70ac369L)
dudes.add(0xd113292L)
dudes.add(0xc6a44375L)
dudes.add(0xd5410400L)
dudes.add(0xca3d95f2L)
dudes.add(0x54625bd9L)
dudes.add(0xff42c3e0L)
dudes.add(0x65ebfd9L)
dudes.add(0xc3fcf425L)
dudes.add(0xc9eb44bdL)
dudes.add(0x877ce451L)
dudes.add(0x810bcea5L)
dudes.add(0xb2b4470aL)
dudes.add(0xb2abc8f7L)
dudes.add(0x287ff6bcL)
dudes.add(0x16f833e0L)
dudes.add(0xcde794d6L)
dudes.add(0x635e11b2L)
dudes.add(0x974736b3L)
dudes.add(0x4afb6323L)
dudes.add(0xd13bbfffL)
dudes.add(0x9072db3aL)
dudes.add(0xdf480bbL)
dudes.add(0xf0575540L)
dudes.add(0x3a9227c4L)
dudes.add(0xfa7905e1L)
dudes.add(0x410e976fL)
dudes.add(0x4eb4c110L)
dudes.add(0xd4b7a680L)
dudes.add(0x7136a575L)
dudes.add(0xbcc5f9deL)
dudes.add(0x51297696L)
dudes.add(0xd2faaa96L)
dudes.add(0xd8bbbed5L)
dudes.add(0x20888c77L)
dudes.add(0xb0acc13bL)
dudes.add(0x33510480L)
dudes.add(0xe1ad89edL)
dudes.add(0x78a7a7cL)
dudes.add(0x1111ba35L)
dudes.add(0x8b73021eL)
dudes.add(0xce82f4d4L)
dudes.add(0x791dac90L)
dudes.add(0x7385ad5aL)
dudes.add(0x82b99fadL)
dudes.add(0x6fb0cde8L)
dudes.add(0xf5b36f3cL)
dudes.add(0x5b81604aL)
dudes.add(0xa6c59b5dL)
dudes.add(0x1206f081L)
dudes.add(0x49c50afeL)
dudes.add(0x53eff078L)
dudes.add(0xb1c89250L)
dudes.add(0x24773d64L)
dudes.add(0x8504c76aL)
dudes.add(0x682aded7L)
dudes.add(0x861dd5d0L)
dudes.add(0xd6b50964L)
dudes.add(0x5eea467dL)
dudes.add(0xabeb1cdeL)
dudes.add(0xdaaf37fL)
dudes.add(0x9ee7f901L)
dudes.add(0x876e84feL)
dudes.add(0x48504f98L)
dudes.add(0x5b479b32L)
dudes.add(0xdfa24d92L)
dudes.add(0xbf0924aaL)
dudes.add(0x6831bd80L)
dudes.add(0x515025L)
dudes.add(0x97467793L)
dudes.add(0x56967a8L)
dudes.add(0x3e528f4dL)
dudes.add(0x170bb3cfL)
dudes.add(0x284ac830L)
dudes.add(0x6eaba2f0L)
dudes.add(0x34b68640L)
dudes.add(0x9b039fe7L)
dudes.add(0x12cb99a4L)
dudes.add(0x44c05637L)
dudes.add(0xe81baa05L)
dudes.add(0xa573c7baL)
dudes.add(0xffa44468L)
dudes.add(0xea12e10eL)
dudes.add(0xa9e5955aL)
dudes.add(0xc2391f3eL)
dudes.add(0x9b75db67L)
dudes.add(0xbc408961L)
dudes.add(0xe6366eb3L)
dudes.add(0xf4208dc1L)
dudes.add(0xcfc872fbL)
dudes.add(0xa7678c25L)
dudes.add(0xe52b3b9bL)
dudes.add(0xe6278b6bL)
dudes.add(0x544d9aa0L)
dudes.add(0x361e0e94L)
dudes.add(0x67b29d81L)
dudes.add(0xa828d76cL)
dudes.add(0x93015e3L)
dudes.add(0x39e81f49L)
dudes.add(0x618307c1L)
dudes.add(0xff38d43cL)
dudes.add(0xea444beeL)
dudes.add(0x2db84337L)
dudes.add(0x30fcd973L)
dudes.add(0x30ee7fbfL)
dudes.add(0xe1dbee58L)
dudes.add(0x85f12f75L)
dudes.add(0xe0ce0134L)
dudes.add(0xe835f7e1L)
dudes.add(0xc83a4c95L)
dudes.add(0x11cd4ba4L)
dudes.add(0x6d5b6e0fL)
dudes.add(0xadea8e2aL)
dudes.add(0x4decb44aL)
dudes.add(0xe7a1af26L)
dudes.add(0xee93ecd6L)
dudes.add(0x5bc81411L)
dudes.add(0x5baff64eL)
dudes.add(0x82df95e7L)
dudes.add(0x9bafea77L)
dudes.add(0x3edc3ae2L)
dudes.add(0xa65771b3L)
dudes.add(0x1e47cd8dL)
dudes.add(0xcfc99e8eL)
dudes.add(0xe3727fa5L)
dudes.add(0x1052c0e1L)
dudes.add(0xec9652c1L)
dudes.add(0xab17b187L)
dudes.add(0x76143bdbL)
dudes.add(0xec763e68L)
dudes.add(0x48aea65fL)
dudes.add(0x8ae9cad4L)
dudes.add(0x30789f30L)
dudes.add(0x595ded0fL)
dudes.add(0xcd0264a4L)
dudes.add(0x67fe08f2L)
dudes.add(0xed9709ecL)
dudes.add(0x44583d37L)
dudes.add(0x6e106a2dL)
dudes.add(0x3530c8d2L)
dudes.add(0xdad05268L)
dudes.add(0x666dd412L)
dudes.add(0x2720e97L)
dudes.add(0x72941e8aL)
dudes.add(0x7c3aba6eL)
dudes.add(0x70a525c7L)
dudes.add(0x939a9dacL)
dudes.add(0xde950daaL)
dudes.add(0x18548819L)
dudes.add(0x636a8188L)
dudes.add(0xebcd337bL)
dudes.add(0x5b184becL)
dudes.add(0x45cb1430L)
dudes.add(0xf22d0a6bL)
dudes.add(0x5180a5f8L)
dudes.add(0xbfa7f3b1L)
dudes.add(0xeeb22863L)
dudes.add(0xf10ba1c2L)
dudes.add(0x781c7b8aL)
dudes.add(0x8bc279efL)
dudes.add(0x6c424a93L)
dudes.add(0xca5470d1L)
dudes.add(0x33b943f4L)
dudes.add(0xd8dd2f61L)
dudes.add(0x37eb8d54L)
dudes.add(0x4bf3fd5eL)
dudes.add(0x74ccf444L)
dudes.add(0x2f72f86aL)
dudes.add(0xad5a7629L)
dudes.add(0x915f8970L)
dudes.add(0x35af2d8aL)
dudes.add(0x75ceb3d5L)
dudes.add(0xd41fbaa0L)
dudes.add(0xd6ea6b8fL)
dudes.add(0xd7398242L)
dudes.add(0xf5ed7d88L)
dudes.add(0xfe545420L)
dudes.add(0xf92b77efL)
dudes.add(0x3b9de44aL)
dudes.add(0x42ef669aL)
dudes.add(0xf2369f6L)
dudes.add(0x60d27af4L)
dudes.add(0x13df5d5fL)
dudes.add(0x2188ea35L)
dudes.add(0x678ca052L)
dudes.add(0x526dcd73L)
dudes.add(0xfaa1b014L)
dudes.add(0x7cd9d8f8L)
dudes.add(0xa4c639d9L)
dudes.add(0x301415a6L)
dudes.add(0x2cd83563L)
dudes.add(0x4a004bddL)
dudes.add(0x538b70aaL)
dudes.add(0xff07c271L)
dudes.add(0xdb35c266L)
dudes.add(0xc74c5a6aL)
dudes.add(0x20f5c762L)
dudes.add(0x94522a1L)
dudes.add(0xff23d15bL)
dudes.add(0xf66841ffL)
dudes.add(0xdf7de572L)
dudes.add(0x35f9bf35L)
dudes.add(0x92f932d4L)
dudes.add(0x3e318b81L)
dudes.add(0x9f9a3997L)
dudes.add(0x7b076b84L)
dudes.add(0x71c6aa72L)
dudes.add(0xbf1853e0L)
dudes.add(0x285ee105L)
dudes.add(0x38836d3dL)
dudes.add(0x7ff659eeL)
dudes.add(0xc8803ab5L)
dudes.add(0xf6549cb9L)
dudes.add(0x17c8cca8L)
dudes.add(0x25e634d3L)
dudes.add(0x76d69015L)
dudes.add(0x79da2073L)
dudes.add(0xf326685cL)
dudes.add(0xae769fc5L)
dudes.add(0x6156d3baL)
dudes.add(0x54be7570L)
dudes.add(0x177a4011L)
dudes.add(0xcfb10816L)
dudes.add(0x5f355aefL)
dudes.add(0x58380c86L)
dudes.add(0x7d25f6ceL)
dudes.add(0xc3982e2eL)
dudes.add(0x14778fceL)
dudes.add(0x75ac85e3L)
dudes.add(0xf035d523L)
dudes.add(0xd290f43fL)
dudes.add(0xcf3083acL)
dudes.add(0x6f42eebdL)
dudes.add(0x690ffd58L)
dudes.add(0x1bba8646L)
dudes.add(0x2f12fbcdL)
dudes.add(0xe7a991faL)
dudes.add(0x293bbc4cL)
dudes.add(0x9e8dd053L)
dudes.add(0x66052ce8L)
dudes.add(0x46db4381L)
dudes.add(0xc5b59d79L)
dudes.add(0x949f8d96L)
dudes.add(0x1b830b10L)
dudes.add(0x7b0a51c3L)
dudes.add(0x2edb062fL)
dudes.add(0xbc85be82L)
dudes.add(0x25b2b8acL)
dudes.add(0xaa3b7058L)
dudes.add(0x31af7ad6L)
dudes.add(0xd1ff1e6dL)
dudes.add(0x119df892L)
dudes.add(0x87b3b738L)
dudes.add(0x41b65576L)
dudes.add(0xac5842b5L)
dudes.add(0x34acf17eL)
dudes.add(0xdfec9b21L)
dudes.add(0x6879d393L)
dudes.add(0xdae98bdfL)
dudes.add(0x5f79673eL)
dudes.add(0xbfa9d115L)
dudes.add(0x3102a0f7L)
dudes.add(0x2a892e2L)
dudes.add(0xdb501efbL)
dudes.add(0xf4017451L)
dudes.add(0x5b9ff9b0L)
dudes.add(0xa8cfed2cL)
dudes.add(0xd93b6959L)
dudes.add(0xd4d8c6a0L)
dudes.add(0x5ec15460L)
dudes.add(0x891a98f5L)
dudes.add(0x961ad54L)
dudes.add(0xf6e473c7L)
dudes.add(0x380f9435L)
dudes.add(0xf7ec73caL)
dudes.add(0xf2021056L)
dudes.add(0x20741843L)
dudes.add(0x3e50bd8cL)
dudes.add(0xe43f1a19L)
dudes.add(0x8a308cc7L)
dudes.add(0x65adca0fL)
dudes.add(0x10536c84L)
dudes.add(0x71d278e1L)
dudes.add(0x6eb54a0L)
dudes.add(0x3ad9d9acL)
dudes.add(0x9ad274faL)
dudes.add(0x13099b31L)
dudes.add(0xf8623861L)
dudes.add(0xd4d269c2L)
dudes.add(0x597c42bbL)
dudes.add(0x6af7ba9fL)
dudes.add(0xed196089L)
dudes.add(0x5e5b0b63L)
dudes.add(0x3447bfb1L)
dudes.add(0x795083cbL)
dudes.add(0x94d21fa6L)
dudes.add(0x89fb2454L)
dudes.add(0x3aadeef7L)
dudes.add(0x36496a05L)
dudes.add(0x4542bef7L)
dudes.add(0xc9efb336L)
dudes.add(0x72f5f269L)
dudes.add(0x2af6c427L)
dudes.add(0xb98bb2f7L)
dudes.add(0x4fac45a8L)
dudes.add(0xb38306a7L)
dudes.add(0x76fb82e1L)
dudes.add(0x5ad7fab2L)
dudes.add(0xaca545bfL)
dudes.add(0x2c28a6b8L)
dudes.add(0xf3f3b267L)
dudes.add(0x3ac87ef4L)
dudes.add(0xf4c9df65L)
dudes.add(0x195250b3L)
dudes.add(0xeb484ca2L)
dudes.add(0xc94323ebL)
dudes.add(0xbcf35b01L)
dudes.add(0x3e99c89dL)
dudes.add(0x136b693dL)
dudes.add(0x1d18525dL)
dudes.add(0x4adf6e18L)
dudes.add(0x9f72c40L)
dudes.add(0x9388957cL)
dudes.add(0xb74b60daL)
dudes.add(0x18924ed3L)
dudes.add(0xe1608af8L)
dudes.add(0xafd75d0L)
dudes.add(0xd059a33cL)
dudes.add(0x44d907b7L)
dudes.add(0x55056dbdL)
dudes.add(0x5cfc1198L)
dudes.add(0x92a6b88L)
dudes.add(0xbf1cd8fL)
dudes.add(0x8f715e8bL)
dudes.add(0x9b9ee6ffL)
dudes.add(0xd16e5bddL)
dudes.add(0xfb361f6cL)
dudes.add(0x91f9367eL)
dudes.add(0xb52405e3L)
dudes.add(0x1ccb22f3L)
dudes.add(0xae35984aL)
dudes.add(0x612b196bL)
dudes.add(0x34e5d3e6L)
dudes.add(0x396fcfcfL)
dudes.add(0x382befa7L)
dudes.add(0x982c0e29L)
dudes.add(0x5b79b8b2L)
dudes.add(0xd34d53fdL)
dudes.add(0xadee47e2L)
dudes.add(0x31c28f46L)
dudes.add(0x161ad9adL)
dudes.add(0xd7b4d809L)
dudes.add(0x3e58cbe5L)
dudes.add(0xc9c5977aL)
dudes.add(0x4dd867ebL)
dudes.add(0xb7f34a78L)
dudes.add(0xfde391e1L)
dudes.add(0x674d8561L)
dudes.add(0x4b0b8b95L)
dudes.add(0xa0c31cc6L)
dudes.add(0x8abc6530L)
dudes.add(0xf123c140L)
dudes.add(0x85e7f315L)
dudes.add(0x29d7c070L)
dudes.add(0x6e7db8e0L)
dudes.add(0x4ea25575L)
dudes.add(0x971f716fL)
dudes.add(0x5917b4e3L)
dudes.add(0xb5900309L)
dudes.add(0x90891890L)
dudes.add(0xd567f454L)
dudes.add(0xe90241bbL)
dudes.add(0x395a7672L)
dudes.add(0x48294b98L)
dudes.add(0x72ca335eL)
dudes.add(0xa9c358a3L)
dudes.add(0xfb2c12fcL)
dudes.add(0x1e8e8387L)
dudes.add(0xb3eaba5cL)
dudes.add(0x94e59b23L)
dudes.add(0x55685bc6L)
dudes.add(0x81f6153aL)
dudes.add(0xe1b271eL)
dudes.add(0x25ab1673L)
dudes.add(0xcd2b30c7L)
dudes.add(0xbc0f6968L)
dudes.add(0x129fca33L)
dudes.add(0x9164986eL)
dudes.add(0xc1c32d24L)
dudes.add(0xb6107f1bL)
dudes.add(0xb469ca4aL)
dudes.add(0x2047e4e2L)
dudes.add(0x81fafa88L)
dudes.add(0x988d7f41L)
dudes.add(0xe472591eL)
dudes.add(0xca70deaL)
dudes.add(0xed1837bL)
dudes.add(0x2cec34c7L)
dudes.add(0x74372f57L)
dudes.add(0x24ddb5d5L)
dudes.add(0x39775be7L)
dudes.add(0x94b24eeeL)
dudes.add(0xce09550aL)
dudes.add(0x5bdfc954L)
dudes.add(0xbe26e6efL)
dudes.add(0xb75de9faL)
dudes.add(0xe6ae3299L)
dudes.add(0xbc8de285L)
dudes.add(0x23afc6c8L)
dudes.add(0x35f69f4dL)
dudes.add(0xb893f9f3L)
dudes.add(0xcb4623f1L)
dudes.add(0xc80f3cb9L)
dudes.add(0x21d4e173L)
dudes.add(0xa7a4333cL)
dudes.add(0xe96a16e1L)
dudes.add(0xe2d5602eL)
dudes.add(0x903807aL)
dudes.add(0x7e9d324L)
dudes.add(0xb7223869L)
dudes.add(0x94c46a64L)
dudes.add(0x53b0af1cL)
dudes.add(0x3432688bL)
dudes.add(0xb2e6e716L)
dudes.add(0x7347274aL)
dudes.add(0x4f9f8aecL)
dudes.add(0x2c495167L)
dudes.add(0x3fb7f313L)
dudes.add(0x3c88ddaL)
dudes.add(0x4c9396feL)
dudes.add(0xaeec88e7L)
dudes.add(0x83f5490bL)
dudes.add(0xb69b83e8L)
dudes.add(0x99f704e5L)
dudes.add(0x52e2bb79L)
dudes.add(0xd07318e6L)
dudes.add(0xf5f5c8cdL)
dudes.add(0x7385ca73L)
dudes.add(0x21a886c6L)
dudes.add(0x3b9d3abcL)
dudes.add(0x14a9c305L)
dudes.add(0x409b67b9L)
dudes.add(0xbafc7a44L)
dudes.add(0xbb6978afL)
dudes.add(0x115f943cL)
dudes.add(0x88097015L)
dudes.add(0x260e008bL)
dudes.add(0x3c07aef2L)
dudes.add(0x9a753f5aL)
dudes.add(0xe8bf1761L)
dudes.add(0xd08c9489L)
dudes.add(0x201f71b5L)
dudes.add(0x73c57c88L)
dudes.add(0xf8f74c01L)
dudes.add(0x9984f6d6L)
dudes.add(0x77faa50fL)
dudes.add(0x7cac0789L)
dudes.add(0x7dee853eL)
dudes.add(0xeb3ccbe2L)
dudes.add(0x958eff46L)
dudes.add(0xafc49781L)
dudes.add(0x4257b4f3L)
dudes.add(0x163f5a00L)
dudes.add(0x7978cd8fL)
dudes.add(0xdc63037dL)
dudes.add(0xe96042a2L)
dudes.add(0xcd1828b2L)
dudes.add(0x2e05c8e1L)
dudes.add(0x7eb89f1eL)
dudes.add(0x320f0cb5L)
dudes.add(0xf6b6db4fL)
dudes.add(0xa6afd157L)
dudes.add(0x747ec225L)
dudes.add(0x2b28a8f2L)
dudes.add(0x38fd4039L)
dudes.add(0xc0e3a985L)
dudes.add(0xf9f59fd5L)
dudes.add(0xc448ea45L)
dudes.add(0x7211d5adL)
dudes.add(0xec7a2636L)
dudes.add(0xc22e2972L)
dudes.add(0x691af40aL)
dudes.add(0xa783ebf3L)
dudes.add(0x3900f316L)
dudes.add(0x90fbba7cL)
dudes.add(0x4d6e0c37L)
dudes.add(0x62551fd3L)
dudes.add(0x217691fL)
dudes.add(0x65ad79e6L)
dudes.add(0x94e6a929L)
dudes.add(0xaa8be7b2L)
dudes.add(0xac3aecf7L)
dudes.add(0x86a898cdL)
dudes.add(0x283339cdL)
dudes.add(0x32920e1aL)
dudes.add(0xb62b64dbL)
dudes.add(0xbdbb97e0L)
dudes.add(0xddfb3f3L)
dudes.add(0xe92b5fe9L)
dudes.add(0x9e6c5e94L)
dudes.add(0xc905922fL)
dudes.add(0xcd800cf5L)
dudes.add(0x4d57268dL)
dudes.add(0x735a39dfL)
dudes.add(0xb61d00a1L)
dudes.add(0x934363b6L)
dudes.add(0xa2d07255L)
dudes.add(0x318b2c03L)
dudes.add(0x9c914968L)
dudes.add(0xe002f77aL)
dudes.add(0x30dfd9c7L)
dudes.add(0xca175887L)
dudes.add(0xcfecb894L)
dudes.add(0x5125c2b2L)
dudes.add(0x1ba2afc9L)
dudes.add(0xe00590d5L)
dudes.add(0x427e39b5L)
dudes.add(0xcdaeb2ceL)
dudes.add(0x28fe2e99L)
dudes.add(0x43027a14L)
dudes.add(0x34844633L)
dudes.add(0x50feee46L)
dudes.add(0x7a59c59L)
dudes.add(0x28681552L)
dudes.add(0xc02da78eL)
dudes.add(0xab8ad406L)
dudes.add(0xce11d52aL)
dudes.add(0x2d48fafL)
dudes.add(0xc3095faL)
dudes.add(0xd53a137cL)
dudes.add(0x1351a0baL)
dudes.add(0xb269d822L)
dudes.add(0x36fa0b74L)
dudes.add(0x67071785L)
dudes.add(0x22e8dec7L)
dudes.add(0xd8b5ee59L)
dudes.add(0xc9fcba93L)
dudes.add(0x190b9460L)
dudes.add(0x87613947L)
dudes.add(0xa630abeL)
dudes.add(0xffa50b24L)
dudes.add(0x19f17d1bL)
dudes.add(0xfa941427L)
dudes.add(0x42e68bd2L)
dudes.add(0x286f46d4L)
dudes.add(0xa7cbbc2fL)
dudes.add(0x53810241L)
dudes.add(0x7b549092L)
dudes.add(0x85fd7f2cL)
dudes.add(0xca862f5fL)
dudes.add(0xf3dcbc26L)
dudes.add(0x33221192L)
dudes.add(0x91fd92L)
dudes.add(0xec44ac77L)
dudes.add(0x8c052a5aL)
dudes.add(0x1f58c5f4L)
dudes.add(0x9e60e2adL)
dudes.add(0x5b394802L)
dudes.add(0xaeb01d18L)
dudes.add(0x81bc6820L)
dudes.add(0x71457d9dL)
dudes.add(0x9d724c3aL)
dudes.add(0xc6fdb15fL)
dudes.add(0x109da674L)
dudes.add(0xc1928647L)
dudes.add(0xdfcf7930L)
dudes.add(0xc7ca29abL)
dudes.add(0xf554703fL)
dudes.add(0xf4329b4cL)
dudes.add(0xa3eabefaL)
dudes.add(0xa347b8f3L)
dudes.add(0x5812c45aL)
dudes.add(0x1ddcbfd1L)
dudes.add(0x3420e94eL)
dudes.add(0xaab939adL)
dudes.add(0x60f3ef38L)
dudes.add(0x89f73a8aL)
dudes.add(0x2d53dd13L)
dudes.add(0xcb7ebe84L)
dudes.add(0x7bca1ccaL)
dudes.add(0xc9b9c4b4L)
dudes.add(0x7f436b9cL)
dudes.add(0xe6d192cL)
dudes.add(0x551d2dffL)
dudes.add(0x81c9643dL)
dudes.add(0xeb580986L)
dudes.add(0x60227ca6L)
dudes.add(0xcdf0d4bbL)
dudes.add(0x6e6f6902L)
dudes.add(0x21c39301L)
dudes.add(0x3ee0dacL)
dudes.add(0xe4f124cbL)
dudes.add(0x5fcd4b08L)
dudes.add(0x101ad7e2L)
dudes.add(0xf7578a0cL)
dudes.add(0x89e8c5cfL)
dudes.add(0x6614b136L)
dudes.add(0x63583c09L)
dudes.add(0x3f11cfe2L)
dudes.add(0x50c48125L)
dudes.add(0xde078b38L)
dudes.add(0xd0b38719L)
dudes.add(0x1ad730e6L)
dudes.add(0x7229fc76L)
dudes.add(0xb5eea73fL)
dudes.add(0x28901162L)
dudes.add(0xc55f03dfL)
dudes.add(0xf72accc8L)
dudes.add(0x231d49f9L)
dudes.add(0xc2d18b47L)
dudes.add(0xa80bc572L)
dudes.add(0x90d1f2d9L)
dudes.add(0x73080f2cL)
dudes.add(0x898290cfL)
dudes.add(0xd18d1ba6L)
dudes.add(0x5f9ed7d7L)
dudes.add(0x8f5e61d6L)
dudes.add(0xaabb9446L)
dudes.add(0x1b2b087fL)
dudes.add(0x90d55d2L)
dudes.add(0xa1719028L)
dudes.add(0xe6f896afL)
dudes.add(0x24ea44a2L)
dudes.add(0xd952b93fL)
dudes.add(0x908a418bL)
dudes.add(0x71d314d5L)
dudes.add(0xf79e7087L)
dudes.add(0x50fac372L)
dudes.add(0x925e3170L)
dudes.add(0xa93bcf47L)
dudes.add(0xa2337b54L)
dudes.add(0x95e35d6aL)
dudes.add(0xf1e9c207L)
dudes.add(0xf527bcc5L)
dudes.add(0xd8681e01L)
dudes.add(0xc58df20cL)
dudes.add(0xc2a14947L)
dudes.add(0xe4a6bbc8L)
dudes.add(0xe28d19cdL)
dudes.add(0x8dd0f714L)
dudes.add(0xef189257L)
dudes.add(0xbffad233L)
dudes.add(0xf45e3d89L)
dudes.add(0xafd5d59fL)
dudes.add(0x1a7778e8L)
dudes.add(0x1ea2c3baL)
dudes.add(0x66ca7075L)
dudes.add(0xa608ee9bL)
dudes.add(0x845edac3L)
dudes.add(0xcb86c98aL)
dudes.add(0xecc6d2dbL)
dudes.add(0xadc3fcf1L)
dudes.add(0xd0a5e1c6L)
dudes.add(0xd478e5d8L)
dudes.add(0x3133d1cL)
dudes.add(0x4da3d4baL)
dudes.add(0xc0607048L)
dudes.add(0xe409887dL)
dudes.add(0x1f41c1ceL)
dudes.add(0x63a9ce01L)
dudes.add(0x932b776dL)
dudes.add(0xa563ca76L)
dudes.add(0x541b33b5L)
dudes.add(0xa4a2b107L)
dudes.add(0x380c29dbL)
dudes.add(0xe17f7e8aL)
dudes.add(0xc3b6cf7dL)
dudes.add(0xc101a0c3L)
dudes.add(0x8cfe6101L)
dudes.add(0x1eb2c5bbL)
dudes.add(0xeb8f7e80L)
dudes.add(0xf884fedeL)
dudes.add(0x3aa193efL)
dudes.add(0xcc5e540bL)
dudes.add(0x54c638bbL)
dudes.add(0x64710047L)
dudes.add(0xf5f7264fL)
dudes.add(0x99f69dfL)
dudes.add(0x70754608L)
dudes.add(0xe0819f15L)
dudes.add(0xeeb0849aL)
dudes.add(0xfda4e4d7L)
dudes.add(0x7ac128abL)
dudes.add(0xd3f58fe3L)
dudes.add(0x45fcb8e2L)
dudes.add(0x662486fdL)
dudes.add(0x9419005L)
dudes.add(0x708c5a83L)
dudes.add(0xab161cbcL)
dudes.add(0xf28a337dL)
dudes.add(0x6e71409aL)
dudes.add(0x28f41482L)
dudes.add(0x7199a797L)
dudes.add(0x26b0bcabL)
dudes.add(0x4d7ad960L)
dudes.add(0x59893570L)
dudes.add(0x28e40c15L)
dudes.add(0x548dedcfL)
dudes.add(0x4d712a2bL)
dudes.add(0xd81878d8L)
dudes.add(0x65795f1cL)
dudes.add(0x41ab84c8L)
dudes.add(0x64d31e9dL)
dudes.add(0x1ebf95f9L)
dudes.add(0x1d78d0b8L)
dudes.add(0x519d4cd8L)
dudes.add(0x48c012f1L)
dudes.add(0x21057d52L)
dudes.add(0x54371edaL)
dudes.add(0xc742073L)
dudes.add(0x4dbdc721L)
dudes.add(0xac74dbb1L)
dudes.add(0x65bd582aL)
dudes.add(0x26fea430L)
dudes.add(0x694c09bcL)
dudes.add(0x8bba42e8L)
dudes.add(0x3a92a876L)
dudes.add(0x6d9f3e47L)
dudes.add(0x3221b990L)
dudes.add(0xd8b56672L)
dudes.add(0x55662d7L)
dudes.add(0xeb2d0a4cL)
dudes.add(0x8da8017aL)
dudes.add(0x573f0fe5L)
dudes.add(0x3831e0e4L)
dudes.add(0xbe693a3dL)
dudes.add(0x1050eb2L)
dudes.add(0xed0a17e7L)
dudes.add(0x3ce4a8f6L)
dudes.add(0xbf9764d0L)
dudes.add(0xdd3b1fc3L)
dudes.add(0x69d27dc2L)
dudes.add(0xe025f584L)
dudes.add(0x59cc60f6L)
dudes.add(0xb9b0870L)
dudes.add(0x3c19a4f3L)
dudes.add(0x1cdc3d03L)
dudes.add(0xa7a047efL)
dudes.add(0xdfd1299cL)
dudes.add(0x433eadcaL)
dudes.add(0xe598b7c4L)
dudes.add(0xa0bfd777L)
dudes.add(0x9d2a1b4L)
dudes.add(0xa97b9047L)
dudes.add(0x62148c30L)
dudes.add(0x7a3c3a98L)
dudes.add(0x93372d2eL)
dudes.add(0x29411df9L)
dudes.add(0xba5bb346L)
dudes.add(0x25528ba6L)
dudes.add(0x7401fa82L)
dudes.add(0x6106e739L)
dudes.add(0x21171af3L)
dudes.add(0xb7c4f9e7L)
dudes.add(0x45a57f43L)
dudes.add(0x8f4507cbL)
dudes.add(0xf69ea14L)
dudes.add(0xeb15c6a9L)
dudes.add(0x6a17ab0aL)
dudes.add(0x29cd073cL)
dudes.add(0xa5605c48L)
dudes.add(0xd55c29bdL)
dudes.add(0x6f1a875dL)
dudes.add(0x6009d0b1L)
dudes.add(0xa08f61f8L)
dudes.add(0xad676d4fL)
dudes.add(0xe2aa7ef4L)
dudes.add(0x7a8fdc40L)
dudes.add(0xdf6b82dbL)
dudes.add(0x43ab40aL)
dudes.add(0x7fcd1a95L)
dudes.add(0xe4ad97bL)
dudes.add(0x15f93c62L)
dudes.add(0x520c7b74L)
dudes.add(0x97140397L)
dudes.add(0xf95c9ac1L)
dudes.add(0x817f0fafL)
dudes.add(0x378bbe85L)
dudes.add(0x150f4c3bL)
dudes.add(0xbb25b562L)
dudes.add(0xb6920b5L)
dudes.add(0x5e9686c6L)
dudes.add(0x5a23484fL)
dudes.add(0xbe61fea5L)
dudes.add(0x83b99a57L)
dudes.add(0xebb8e072L)
dudes.add(0x1771d78fL)
dudes.add(0x29815abL)
dudes.add(0x269b94ceL)
dudes.add(0xa63bcc53L)
dudes.add(0x369895d2L)
dudes.add(0xb8130895L)
dudes.add(0x34f52075L)
dudes.add(0xecbc7aabL)
dudes.add(0xd6e324c2L)
dudes.add(0x6ca63bd1L)
dudes.add(0x8b45925fL)
dudes.add(0x76654f89L)
dudes.add(0x2e10f0b1L)
dudes.add(0xe9ea3224L)
dudes.add(0x5d446238L)
dudes.add(0x8bc320d0L)
dudes.add(0xb3074074L)
dudes.add(0x7f9ca71L)
dudes.add(0xb3a0a075L)
dudes.add(0xb5f83662L)
dudes.add(0x71c773dbL)
dudes.add(0xc3eb853L)
dudes.add(0x2fce279eL)
dudes.add(0xc43f578eL)
dudes.add(0xbd696e55L)
dudes.add(0x4e396a28L)
dudes.add(0xe753ba2aL)
dudes.add(0xd5d5766cL)
dudes.add(0x780ebdb0L)
dudes.add(0x355270bcL)
dudes.add(0x8abdca20L)
dudes.add(0x41a9f1a4L)
dudes.add(0x9311bc0cL)
dudes.add(0x36e3806bL)
dudes.add(0x31e3d571L)
dudes.add(0xac4466afL)
dudes.add(0xb1dcc6feL)
dudes.add(0xe6e08333L)
dudes.add(0x237a85deL)
dudes.add(0x2d99d0dbL)
dudes.add(0x91d191cfL)
dudes.add(0xede57041L)
dudes.add(0x1c72e253L)
dudes.add(0xc6d15a4L)
dudes.add(0x2c3834c9L)
dudes.add(0xc777da5dL)
dudes.add(0xbf9db706L)
dudes.add(0xdb1b71f1L)
dudes.add(0x8eb37eeaL)
dudes.add(0xd8190e9eL)
dudes.add(0x1a466d16L)
dudes.add(0x812397ffL)
dudes.add(0x97e09418L)
dudes.add(0x4388b2d6L)
dudes.add(0x97dae557L)
dudes.add(0x4dfb7707L)
dudes.add(0xb859d540L)
dudes.add(0xcc08729L)
dudes.add(0xa14c88b5L)
dudes.add(0x725b9f7dL)
dudes.add(0xbf946450L)
dudes.add(0x44618eadL)
dudes.add(0xaeeeb0c5L)
dudes.add(0xeeacfbdaL)
dudes.add(0xd36b40abL)
dudes.add(0x2d83e95L)
dudes.add(0xc02786L)
dudes.add(0xce1c3f29L)
dudes.add(0x43d09d97L)
dudes.add(0xe116ca69L)
dudes.add(0xc0ee1da6L)
dudes.add(0x86cc9d00L)
dudes.add(0xc342bfacL)
dudes.add(0xe35060f1L)
dudes.add(0xf1a1012dL)
dudes.add(0xa3046204L)
dudes.add(0x4ec9ca2cL)
dudes.add(0xf500887cL)
dudes.add(0x2075d324L)
dudes.add(0xba22ccf1L)
dudes.add(0x22d5d795L)
dudes.add(0x740019f0L)
dudes.add(0x7c528996L)
dudes.add(0x68feec4bL)
dudes.add(0x418c637fL)
dudes.add(0x650ea118L)
dudes.add(0x17c6d68fL)
dudes.add(0xf6c1b470L)
dudes.add(0xffef325cL)
dudes.add(0x926d64b9L)
dudes.add(0x4dec9793L)
dudes.add(0x381cf2cfL)
dudes.add(0x96502638L)
dudes.add(0xc307bf22L)
dudes.add(0x5e2bb6b8L)
dudes.add(0x7272f6b8L)
dudes.add(0xed065092L)
dudes.add(0x6ca3d2caL)
dudes.add(0x1e300d3cL)
dudes.add(0xf32897a1L)
dudes.add(0xd0dd34aL)
dudes.add(0xc40c2e97L)
dudes.add(0xe7e13757L)
dudes.add(0xb54bd09eL)
dudes.add(0x4735495fL)
dudes.add(0x1123ce79L)
dudes.add(0x5b306739L)
dudes.add(0x128f2c3eL)
dudes.add(0x3c056b23L)
dudes.add(0x2fd3515L)
dudes.add(0x79649f19L)
dudes.add(0xb51e3656L)
dudes.add(0x47dfb36dL)
dudes.add(0xa202ecfaL)
dudes.add(0x100ff821L)
dudes.add(0xfb3d5777L)
dudes.add(0x7c586502L)
dudes.add(0xd48a1d65L)
dudes.add(0x71845603L)
dudes.add(0x33c7c64eL)
dudes.add(0x3781c3a2L)
dudes.add(0xc791fe2eL)
dudes.add(0x33ee6860L)
dudes.add(0x6085dcb6L)
dudes.add(0xee4afd58L)
dudes.add(0x16c801dL)
dudes.add(0xab8aa6c8L)
dudes.add(0xd4e2610dL)
dudes.add(0x70b733fL)
dudes.add(0x26a13f62L)
dudes.add(0xe89faa5dL)
dudes.add(0x571f0fb1L)
dudes.add(0x14e78a8L)
dudes.add(0x1ba03f6bL)
dudes.add(0xacd23c5eL)
dudes.add(0xe79cbb8dL)
dudes.add(0x8159ad3fL)
dudes.add(0xc5fa1995L)
dudes.add(0x74618795L)
dudes.add(0xdba17bf6L)
dudes.add(0xd91d7347L)
dudes.add(0x4fe7fa5L)
dudes.add(0x8f8f4caaL)
dudes.add(0xca9cfc92L)
dudes.add(0x7073caeL)
dudes.add(0x45576733L)
dudes.add(0xff46b9e1L)
dudes.add(0x6d924eefL)
dudes.add(0x17a04737L)
dudes.add(0xab516ae6L)
dudes.add(0x707ec392L)
dudes.add(0x7994e899L)
dudes.add(0x826ea91aL)
dudes.add(0xcabcd30cL)
dudes.add(0xf613a711L)
dudes.add(0xda3f41c0L)
dudes.add(0xcc62a1d6L)
dudes.add(0x1092b04eL)
dudes.add(0xb5b48576L)
dudes.add(0x416d91d6L)
dudes.add(0x46455a57L)
dudes.add(0x82e31c99L)
dudes.add(0xa6e71226L)
dudes.add(0x42ae023dL)
dudes.add(0x1a842de2L)
dudes.add(0xf02c1778L)
dudes.add(0xf66a8140L)
dudes.add(0x8729b666L)
dudes.add(0xe741ece5L)
dudes.add(0xaae89dfdL)
dudes.add(0xe51b18ceL)
dudes.add(0xd0f944e4L)
dudes.add(0x598c866eL)
dudes.add(0x5c8e417L)
dudes.add(0x87356a63L)
dudes.add(0xf221b356L)
dudes.add(0x871651b8L)
dudes.add(0xfa020e65L)
dudes.add(0xf169c234L)
dudes.add(0x32d83d8cL)
dudes.add(0x3e427e4L)
dudes.add(0xa1065701L)
dudes.add(0x2f92552eL)
dudes.add(0x7bbfdeddL)
dudes.add(0x9ca28bdL)
dudes.add(0x279a061fL)
dudes.add(0xc86bfccdL)
dudes.add(0x8c804aa7L)
dudes.add(0x924b37b3L)
dudes.add(0xe99ff70aL)
dudes.add(0xe6c48285L)
dudes.add(0x529847bcL)
dudes.add(0x5664eabeL)
dudes.add(0x125eaa82L)
dudes.add(0x5bee639cL)
dudes.add(0x11495d4L)
dudes.add(0x67b1a38fL)
dudes.add(0xdeb1595aL)
dudes.add(0x8329ceeaL)
dudes.add(0xa3e8edb8L)
dudes.add(0x1a35db2cL)
dudes.add(0x3acbf1f9L)
dudes.add(0xa690908L)
dudes.add(0xaa7e022L)
dudes.add(0x9c025d49L)
dudes.add(0x43f61902L)
dudes.add(0x5a7ce2f8L)
dudes.add(0x6037d04bL)
dudes.add(0x580f8f4dL)
dudes.add(0x6e265edeL)
dudes.add(0xf65707b8L)
dudes.add(0x406c6661L)
dudes.add(0xba397a89L)
dudes.add(0xb6210295L)
dudes.add(0x9723e015L)
dudes.add(0x59d439c0L)
dudes.add(0x2b8f3b08L)
dudes.add(0x2534ed74L)
dudes.add(0xbd5aa4aaL)
dudes.add(0x5a22b912L)
dudes.add(0x6259cb58L)
dudes.add(0xc421cf9L)
dudes.add(0xe22c2fc1L)
dudes.add(0xec0d7ddL)
dudes.add(0xd83d68a2L)
dudes.add(0xd8b28c08L)
dudes.add(0x6bf338c2L)
dudes.add(0xcbd455afL)
dudes.add(0x26047280L)
dudes.add(0x286c5c27L)
dudes.add(0x96835998L)
dudes.add(0x6ff4878cL)
dudes.add(0x160fcbdL)
dudes.add(0x1599d2d4L)
dudes.add(0xac572e2dL)
dudes.add(0xb9da24d4L)
dudes.add(0x7bbe092cL)
dudes.add(0xe4dc8b47L)
dudes.add(0xfedf0defL)
dudes.add(0x21ea60e2L)
dudes.add(0x767f56a3L)
dudes.add(0x85ea73b0L)
dudes.add(0x8d09a9eL)
dudes.add(0xf5021086L)
dudes.add(0x56768925L)
dudes.add(0x4b946472L)
dudes.add(0xf7f115b6L)
dudes.add(0xec7a26cfL)
dudes.add(0xe1151861L)
dudes.add(0x9dbe79c7L)
dudes.add(0x239efbbaL)
dudes.add(0xd74bcaf6L)
dudes.add(0xaa04feadL)
dudes.add(0x51240970L)
dudes.add(0x1aa64f2bL)
dudes.add(0xa6a05451L)
dudes.add(0xee4c5633L)
dudes.add(0x6f29678aL)
dudes.add(0xeb7d6dffL)
dudes.add(0x800c8172L)
dudes.add(0xdf9befaeL)
dudes.add(0xa9981eeL)
dudes.add(0x3bbf4873L)
dudes.add(0xcc39c917L)
dudes.add(0x4705333cL)
dudes.add(0xf8af3918L)
dudes.add(0x36c909aeL)
dudes.add(0x76bad0e6L)
dudes.add(0x11655b4dL)
dudes.add(0xedc12b4fL)
dudes.add(0x5f585d9fL)
dudes.add(0x931f7db5L)
dudes.add(0x2c7c0ba2L)
dudes.add(0x613b8f29L)
dudes.add(0x40fb4e68L)
dudes.add(0xf28ac1d9L)
dudes.add(0x461c7a33L)
dudes.add(0xfdf5e5ecL)
dudes.add(0x636df2feL)
dudes.add(0x11bd10eaL)
dudes.add(0x46cc00d7L)
dudes.add(0x3da4f2bfL)
dudes.add(0xe8cffe9dL)
dudes.add(0x81ef915aL)
dudes.add(0xd81f0e87L)
dudes.add(0xe02c8e5fL)
dudes.add(0x1c7624a7L)
dudes.add(0xe5e9e3dfL)
dudes.add(0xd47f8513L)
dudes.add(0xb075c042L)
dudes.add(0xf81d7511L)
dudes.add(0x98445648L)
dudes.add(0xe6a700a3L)
dudes.add(0x26ca3e9eL)
dudes.add(0xdc2ad1daL)
dudes.add(0x6e3daddL)
dudes.add(0x3369641eL)
dudes.add(0x19027e1L)
dudes.add(0x86b9ce29L)
dudes.add(0xc2a6ce6aL)
dudes.add(0x11e380c9L)
dudes.add(0xbf628f07L)






dudes.add(0x8734577L)
dudes.add(0x8c39689fL)
dudes.add(0x73afefbeL)
dudes.add(0xc2c34712L)
dudes.add(0x6485e130L)
dudes.add(0x319cd3edL)
dudes.add(0x46d34293L)
dudes.add(0x8aa7b504L)
dudes.add(0xcc31c19bL)
dudes.add(0xca8c5b15L)
dudes.add(0xfced01a6L)
dudes.add(0x7e31c8c4L)
dudes.add(0x204cbbbaL)
dudes.add(0x9db5fbb6L)
dudes.add(0x6e4c7225L)
dudes.add(0xad9a9d36L)
dudes.add(0xf10a9254L)
dudes.add(0x47a0deffL)
dudes.add(0x1421f35aL)
dudes.add(0x4e307aeeL)
dudes.add(0x415dacd1L)
dudes.add(0x59696defL)
dudes.add(0xf84afc52L)
dudes.add(0x6585a28dL)
dudes.add(0xba78fa08L)
dudes.add(0x945e5bbL)
dudes.add(0x1ce7992cL)
dudes.add(0xeea45589L)
dudes.add(0xbb6a89abL)
dudes.add(0xbd326a0eL)
dudes.add(0x70fbbcf9L)
dudes.add(0x148ddf8aL)
dudes.add(0xd3f147fL)
dudes.add(0xb16a9a66L)
dudes.add(0x1c326ed7L)
dudes.add(0xac1a7479L)
dudes.add(0x87d1377L)
dudes.add(0x7043bb29L)
dudes.add(0x2e236684L)
dudes.add(0x7165a14aL)
dudes.add(0x6e1fc6afL)
dudes.add(0xb93733f9L)
dudes.add(0x376c1ba4L)
dudes.add(0xb22c891cL)
dudes.add(0x8fad064eL)
dudes.add(0xe1bab62aL)
dudes.add(0x277e107fL)
dudes.add(0xf24a60b1L)
dudes.add(0x1ba41f2dL)
dudes.add(0x427aff81L)
dudes.add(0x2502e80L)
dudes.add(0xcbccfe7aL)
dudes.add(0x7ccbdb0L)
dudes.add(0x38ab91eaL)
dudes.add(0xed23f9deL)
dudes.add(0xd1383785L)
dudes.add(0x89cf7736L)
dudes.add(0xcd4bf9c2L)
dudes.add(0xcf5c5dcfL)
dudes.add(0xa3d09ca2L)
dudes.add(0x5d28fd49L)
dudes.add(0xfe8e3f80L)
dudes.add(0x7bb55107L)
dudes.add(0xcc5b478dL)
dudes.add(0x5714cbfcL)
dudes.add(0xa00d654aL)
dudes.add(0x27d9f5f1L)
dudes.add(0xe2a43432L)
dudes.add(0x9c9f5e8eL)
dudes.add(0x27fede0bL)
dudes.add(0xcccf5bd2L)
dudes.add(0xa92e96deL)
dudes.add(0x335e14cfL)
dudes.add(0xff624802L)
dudes.add(0x80b30f1dL)
dudes.add(0x1742905dL)
dudes.add(0x76a7e274L)
dudes.add(0xbba7862eL)
dudes.add(0xb420b404L)
dudes.add(0x263525b3L)
dudes.add(0xcc5a0c83L)
dudes.add(0x4ab0564dL)
dudes.add(0xa5ac3befL)
dudes.add(0x45bb63a2L)
dudes.add(0xbb0a7359L)
dudes.add(0xd7c66815L)
dudes.add(0x42a5c0d4L)
dudes.add(0xd64eb28dL)
dudes.add(0xfff4544cL)
dudes.add(0x6e95e13eL)
dudes.add(0x6d7f6770L)
dudes.add(0xe078027fL)
dudes.add(0xa200bd24L)
dudes.add(0xe9bfab6L)
dudes.add(0x4138bbb3L)
dudes.add(0x3616b962L)
dudes.add(0x4dda7142L)
dudes.add(0x889e2e6eL)
dudes.add(0x63406d5fL)
dudes.add(0x49b6954bL)
dudes.add(0x73aba0f0L)
dudes.add(0x71f5aa84L)
dudes.add(0x696f7ac3L)
dudes.add(0xb1a7f0b6L)
dudes.add(0xea0258f5L)
dudes.add(0x8cec768bL)
dudes.add(0x82180a96L)
dudes.add(0x7b71917eL)
dudes.add(0xbab5a95fL)
dudes.add(0x98dd5638L)
dudes.add(0x5a53d76bL)
dudes.add(0x335dc8f9L)
dudes.add(0xe05adc09L)
dudes.add(0x6ce19ef5L)
dudes.add(0x93838efdL)
dudes.add(0xad9044ccL)
dudes.add(0xff6cbe1L)
dudes.add(0x2404c671L)
dudes.add(0xb8aa804eL)
dudes.add(0x94e9b46dL)
dudes.add(0xc3aa02d1L)
dudes.add(0xb127e392L)
dudes.add(0x7a6dbe58L)
dudes.add(0x3f91cd57L)
dudes.add(0x50216651L)
dudes.add(0x22368fe5L)
dudes.add(0x29640975L)
dudes.add(0x1a811f1cL)
dudes.add(0x5384a682L)
dudes.add(0x7cd68db2L)
dudes.add(0xee8a7744L)
dudes.add(0xf7d557daL)
dudes.add(0xf6b28928L)
dudes.add(0x9176969bL)
dudes.add(0x7406bd4L)
dudes.add(0xe0904861L)
dudes.add(0xe8dd274aL)
dudes.add(0xf9a6e2d5L)
dudes.add(0x3506261aL)
dudes.add(0xcbb997d7L)
dudes.add(0xea61e2e9L)
dudes.add(0x6cb025d3L)
dudes.add(0x6c2adce5L)
dudes.add(0x6a9d1a2aL)
dudes.add(0x58637ad2L)
dudes.add(0x26ec8b4fL)
dudes.add(0x3db2d55L)
dudes.add(0x8cecceaeL)
dudes.add(0x5ac3a1faL)
dudes.add(0x1d4dd0a0L)
dudes.add(0xb182d19L)
dudes.add(0xdee91655L)
dudes.add(0xdf56faL)
dudes.add(0x42cdd534L)
dudes.add(0xfd063386L)
dudes.add(0xd4267c7fL)
dudes.add(0x51cd0588L)
dudes.add(0x9e7f7528L)
dudes.add(0x2293ddfcL)
dudes.add(0x242091b3L)
dudes.add(0x8596b5e4L)
dudes.add(0x3fcc9beaL)
dudes.add(0xf4ee73abL)
dudes.add(0xee83d5cfL)
dudes.add(0x5c61c24eL)
dudes.add(0xfc40eb14L)
dudes.add(0x26891c8eL)
dudes.add(0x6d44828aL)
dudes.add(0x1d1f6f3dL)
dudes.add(0x34d39394L)
dudes.add(0x8c31fa8bL)
dudes.add(0xbd2bb0e6L)
dudes.add(0x18acb692L)
dudes.add(0x7e2c5fdbL)
dudes.add(0x4f3258e3L)
dudes.add(0xd29bd345L)
dudes.add(0xcaa51c64L)
dudes.add(0x52d2d1abL)
dudes.add(0x8d9b6093L)
dudes.add(0x5effffd4L)
dudes.add(0xf46a2aefL)
dudes.add(0x6e5d8d00L)
dudes.add(0xd37c86fcL)
dudes.add(0x467313c1L)
dudes.add(0x93924578L)
dudes.add(0xa4f3af6L)
dudes.add(0x87fb68f9L)
dudes.add(0xc6c64915L)
dudes.add(0xecc7e443L)
dudes.add(0x55209befL)
dudes.add(0x58cc458aL)
dudes.add(0x8caed210L)
dudes.add(0xdd71e42dL)
dudes.add(0x29d21a2eL)
dudes.add(0xd8de348dL)
dudes.add(0x69605a57L)
dudes.add(0xeedf145eL)
dudes.add(0x335eaa4cL)
dudes.add(0x19423bfbL)
dudes.add(0x8a6cc12aL)
dudes.add(0xf4cab538L)
dudes.add(0x6e84e178L)
dudes.add(0xede9ddb3L)
dudes.add(0x26d84628L)
dudes.add(0xe8e08f0L)
dudes.add(0x6c190fbcL)
dudes.add(0xdc8f5f4fL)
dudes.add(0xc9957d75L)
dudes.add(0xb4cccff3L)
dudes.add(0x4f3bce0L)
dudes.add(0x1f745168L)
dudes.add(0x8eb8d330L)
dudes.add(0x8a974f45L)
dudes.add(0xe483b75eL)
dudes.add(0xbf552732L)
dudes.add(0x7f841a76L)
dudes.add(0xb1b0161bL)
dudes.add(0xc48e183fL)
dudes.add(0x48ffe30aL)
dudes.add(0xc8da8117L)
dudes.add(0xcdf1936L)
dudes.add(0xdb0edd1cL)
dudes.add(0x7b563275L)
dudes.add(0x83cc883fL)
dudes.add(0xca6fbee4L)
dudes.add(0x2ffbedc5L)
dudes.add(0x23012fd4L)
dudes.add(0xeb80d01fL)
dudes.add(0x3d278478L)
dudes.add(0x1f814200L)
dudes.add(0xfcd7e79dL)
dudes.add(0x1229493eL)
dudes.add(0x3709854cL)
dudes.add(0xe0082417L)
dudes.add(0xb58f22ccL)
dudes.add(0x43678a71L)
dudes.add(0x843645bL)
dudes.add(0xa7efa52fL)
dudes.add(0x5ee7ed89L)
dudes.add(0x9a2bd2a2L)
dudes.add(0x1f9eacb1L)
dudes.add(0x2832e87aL)
dudes.add(0x7639aa97L)
dudes.add(0x7fd7e614L)
dudes.add(0x3e80600bL)
dudes.add(0x4ed8d59dL)
dudes.add(0xab6d2ed3L)
dudes.add(0x22e19518L)
dudes.add(0xf103cd1L)
dudes.add(0x62c5202fL)
dudes.add(0xa2568ff2L)
dudes.add(0x6a7f41cfL)
dudes.add(0xf0c19a99L)
dudes.add(0x4e8b5611L)
dudes.add(0x6b095cbaL)
dudes.add(0x8c63f504L)
dudes.add(0x75704729L)
dudes.add(0xca80141bL)
dudes.add(0x74aec137L)
dudes.add(0xe0e34902L)
dudes.add(0xa8767d67L)
dudes.add(0xb92af1ecL)
dudes.add(0xfa099d98L)
dudes.add(0x8cf3a1a2L)
dudes.add(0xcdec58ebL)
dudes.add(0xf1efc1e2L)
dudes.add(0xe4a70a4aL)
dudes.add(0x86990a9cL)
dudes.add(0x78a4b6c3L)
dudes.add(0xf0faa285L)
dudes.add(0x6ff111cfL)
dudes.add(0xa08866cdL)
dudes.add(0x6b11b244L)
dudes.add(0xdcae156aL)
dudes.add(0xe06c7b3eL)
dudes.add(0xbf280660L)
dudes.add(0x8d7c93bL)
dudes.add(0x53ace584L)
dudes.add(0x1d08f3c2L)
dudes.add(0x5f2440a7L)
dudes.add(0x4933b9ffL)
dudes.add(0x58c1009cL)
dudes.add(0xe71090b5L)
dudes.add(0x17b759aL)
dudes.add(0x4f594144L)
dudes.add(0xb0f44aceL)
dudes.add(0xfc42846fL)
dudes.add(0x9e915d36L)
dudes.add(0xa9ebcda5L)
dudes.add(0x2c6904c2L)
dudes.add(0x942f3a7cL)
dudes.add(0x23459215L)
dudes.add(0xc9508ee0L)
dudes.add(0xba533464L)
dudes.add(0x68b38185L)
dudes.add(0xd9d873efL)
dudes.add(0x5a8cd9L)
dudes.add(0x9db6985bL)
dudes.add(0xcca5ce9cL)
dudes.add(0x349f7022L)
dudes.add(0x35a32821L)
dudes.add(0xf2a90ac4L)
dudes.add(0xec2a1457L)
dudes.add(0x402d103aL)
dudes.add(0x6b663305L)
dudes.add(0x8aace10fL)
dudes.add(0x2e844e4L)
dudes.add(0xce04a94cL)
dudes.add(0x563b3bdaL)
dudes.add(0x8dee3cdeL)
dudes.add(0x50fa84c2L)
dudes.add(0x3f123077L)
dudes.add(0xd30a2c97L)
dudes.add(0xbfc3feedL)
dudes.add(0xc770fc0dL)
dudes.add(0x63b466caL)
dudes.add(0xfedb9bc2L)
dudes.add(0x96eadb27L)
dudes.add(0xbbb83c35L)
dudes.add(0xfbc32bccL)
dudes.add(0x728966aL)
dudes.add(0xb33bfdefL)
dudes.add(0x91e8eefcL)
dudes.add(0x862faf88L)
dudes.add(0x6f72b2b9L)
dudes.add(0x824efbbeL)
dudes.add(0x7b229936L)
dudes.add(0xa3e29fc9L)
dudes.add(0x875e0fbfL)
dudes.add(0x1458e337L)
dudes.add(0x171bf5cbL)
dudes.add(0xfdbb0b3aL)
dudes.add(0xc6c20a73L)
dudes.add(0xedc37224L)
dudes.add(0x7c9755bdL)
dudes.add(0xb1da4c31L)
dudes.add(0xfb5467b6L)
dudes.add(0xa4b653a0L)
dudes.add(0x6382d0ecL)
dudes.add(0x5306950L)
dudes.add(0x49560187L)
dudes.add(0x8a2dcfc1L)
dudes.add(0x72ee2794L)
dudes.add(0x2fab8b2eL)
dudes.add(0xc59e5ed1L)
dudes.add(0x7b718767L)
dudes.add(0xd4f68abdL)
dudes.add(0xfae2d4c4L)
dudes.add(0x4b46bed0L)
dudes.add(0xdf900333L)
dudes.add(0x6b541afL)
dudes.add(0xce3aae83L)
dudes.add(0x577a00fcL)
dudes.add(0xbecafbe9L)
dudes.add(0xa86a77fcL)
dudes.add(0xd5eac822L)
dudes.add(0x68409ccbL)
dudes.add(0x79b31953L)
dudes.add(0x3106d599L)
dudes.add(0x5022766dL)
dudes.add(0x2681e1daL)
dudes.add(0x2bed7b41L)
dudes.add(0x25418918L)
dudes.add(0xd25c8611L)
dudes.add(0x30097544L)
dudes.add(0xe8553ef3L)
dudes.add(0xf138beaL)
dudes.add(0x90dca749L)
dudes.add(0x4f6ff240L)
dudes.add(0xd16b0304L)
dudes.add(0xdc639aeaL)
dudes.add(0x37092316L)
dudes.add(0x58b20a94L)
dudes.add(0xcfa903a5L)
dudes.add(0xb9c06957L)
dudes.add(0xd0d9859cL)
dudes.add(0x3c41c5f2L)
dudes.add(0xaea269c7L)
dudes.add(0x41eecc42L)
dudes.add(0x67c1a0e6L)
dudes.add(0x9c7546e8L)
dudes.add(0x9e05eb2L)
dudes.add(0xeaa6d0d2L)
dudes.add(0x68ede7afL)
dudes.add(0xc5126ce2L)
dudes.add(0x2766caafL)
dudes.add(0x8a9dee3bL)
dudes.add(0x122aa0dcL)
dudes.add(0x5b74a4c4L)
dudes.add(0xba2da80L)
dudes.add(0x588901afL)
dudes.add(0xc4a810aaL)
dudes.add(0xb7f95a1cL)
dudes.add(0xb934c580L)
dudes.add(0xe24b7789L)
dudes.add(0x5cc9b966L)
dudes.add(0xa6546f64L)
dudes.add(0xfbf8d4bbL)
dudes.add(0x51f2da27L)
dudes.add(0x3627c10bL)
dudes.add(0x255b9121L)
dudes.add(0xd9fa0370L)
dudes.add(0xb055583fL)
dudes.add(0xbdb2f7cdL)
dudes.add(0xc17c84f6L)
dudes.add(0x400730efL)
dudes.add(0x12c855aL)
dudes.add(0x711f3eddL)
dudes.add(0x68256944L)
dudes.add(0x26595fb8L)
dudes.add(0x2be8b8b8L)
dudes.add(0x94b28a84L)
dudes.add(0xb5a41e43L)
dudes.add(0x2b8ca236L)
dudes.add(0x30cfd014L)
dudes.add(0x7cc5b4bfL)
dudes.add(0xc81b3ad5L)
dudes.add(0xc279a687L)
dudes.add(0x5819b472L)
dudes.add(0x1721ac7aL)
dudes.add(0xfc551b3L)
dudes.add(0xd7fe14b5L)
dudes.add(0x785791a9L)
dudes.add(0xa1711ddbL)
dudes.add(0x48b3c01eL)
dudes.add(0x10a71164L)
dudes.add(0xd2659ce5L)
dudes.add(0x212a22d4L)
dudes.add(0xee380ef8L)
dudes.add(0xf237fdb2L)
dudes.add(0xc864088bL)
dudes.add(0x1fd672b9L)
dudes.add(0x714acc84L)
dudes.add(0x7e8147fL)
dudes.add(0xf5d3e747L)
dudes.add(0x22227b89L)
dudes.add(0xf431671eL)
dudes.add(0x2aaaa00cL)
dudes.add(0xfc92a611L)
dudes.add(0x528f83b7L)
dudes.add(0xfbab5a10L)
dudes.add(0x53df8757L)
dudes.add(0x5c0bdafcL)
dudes.add(0xb72fb927L)
dudes.add(0x153b4438L)
dudes.add(0xed1b64b6L)
dudes.add(0x9199f2dcL)
dudes.add(0x4127981eL)
dudes.add(0xbef66697L)
dudes.add(0x86edfe35L)
dudes.add(0x60d5235cL)
dudes.add(0x9702eddaL)
dudes.add(0x72083caaL)
dudes.add(0x8a9a6793L)
dudes.add(0x792b1f97L)
dudes.add(0x5a5371d7L)
dudes.add(0x570ec8c7L)
dudes.add(0x1f5514e6L)
dudes.add(0xdb25ecdaL)
dudes.add(0x9f0e2d17L)
dudes.add(0x2d47fcd7L)
dudes.add(0x6d051cdfL)
dudes.add(0xe49548e5L)
dudes.add(0x882d2f9L)
dudes.add(0x4920bedcL)
dudes.add(0x624b0138L)
dudes.add(0x2c2a691bL)
dudes.add(0xb7ea0e7L)
dudes.add(0x38154558L)
dudes.add(0x3e08929cL)
dudes.add(0x244d4c6cL)
dudes.add(0x1266b36fL)
dudes.add(0x98c4b306L)
dudes.add(0x277b31aaL)
dudes.add(0x9d14852fL)
dudes.add(0x70ec9129L)
dudes.add(0xd20bb93bL)
dudes.add(0xaf63f81aL)
dudes.add(0x498b90a5L)
dudes.add(0x340c8feeL)
dudes.add(0xe82b0106L)
dudes.add(0x8dda9539L)
dudes.add(0x9c5b92d8L)
dudes.add(0x641c4e2aL)
dudes.add(0x490538f0L)
dudes.add(0xbe77d0ceL)
dudes.add(0xe659f815L)
dudes.add(0xd88fba8fL)
dudes.add(0x89f33c51L)
dudes.add(0x3b3b8c79L)
dudes.add(0x674fbeecL)
dudes.add(0xdc529f2L)
dudes.add(0x360b7476L)
dudes.add(0x1714d62cL)
dudes.add(0x8a0b79aL)
dudes.add(0x89079151L)
dudes.add(0x4dcb2ccL)
dudes.add(0x820fb106L)
dudes.add(0xfcb6a4c6L)
dudes.add(0x948d52e8L)
dudes.add(0xea757477L)
dudes.add(0x75da9bcaL)
dudes.add(0x719e937aL)
dudes.add(0x4483d79cL)
dudes.add(0x1e4de389L)
dudes.add(0xd46f68cfL)
dudes.add(0xb547f822L)
dudes.add(0xe3412ed5L)
dudes.add(0x297c3cb6L)
dudes.add(0x6aa663fcL)
dudes.add(0xa98d6f4bL)
dudes.add(0x9dca9b4dL)
dudes.add(0xd8fee935L)
dudes.add(0x97ae1658L)
dudes.add(0x2113e532L)
dudes.add(0x8a592fb0L)
dudes.add(0x1e1f7ccaL)
dudes.add(0x512b7d5fL)
dudes.add(0x2aad991eL)
dudes.add(0x83ac61eL)
dudes.add(0xfa1e5991L)
dudes.add(0x6a581058L)
dudes.add(0xcdaced62L)
dudes.add(0x2dc180L)
dudes.add(0x39729005L)
dudes.add(0x241c00f1L)
dudes.add(0xb32f3504L)
dudes.add(0x93ec38f0L)
dudes.add(0x69f8cf46L)
dudes.add(0x1c054c4dL)
dudes.add(0xc7243518L)
dudes.add(0x724e01f4L)
dudes.add(0x12f24047L)
dudes.add(0xab8c7be8L)
dudes.add(0x16f42bd1L)
dudes.add(0xc5cc30e0L)
dudes.add(0x18097659L)
dudes.add(0xf1789b86L)
dudes.add(0x262543c1L)
dudes.add(0xb7de7d65L)
dudes.add(0x2b792b1aL)
dudes.add(0x938d3504L)
dudes.add(0x57a27061L)
dudes.add(0xbe00955aL)
dudes.add(0x1a08a134L)
dudes.add(0xe2778c02L)
dudes.add(0xfa9178ebL)
dudes.add(0xd57036c8L)
dudes.add(0xc7511616L)
dudes.add(0xdce51fa5L)
dudes.add(0x3b4d8114L)
dudes.add(0x9e0214c9L)
dudes.add(0x71bd3336L)
dudes.add(0x2b29b53dL)
dudes.add(0x4ca45f4dL)
dudes.add(0x84713967L)
dudes.add(0x61bcea1dL)
dudes.add(0x284c8094L)
dudes.add(0x59d95a11L)
dudes.add(0x6f4744a3L)
dudes.add(0x44291046L)
dudes.add(0xc336b0b5L)
dudes.add(0x548307beL)
dudes.add(0xfad26b55L)
dudes.add(0xee7333b2L)
dudes.add(0xb0c9e8fcL)
dudes.add(0x8b3c462eL)
dudes.add(0xa5fbc229L)
dudes.add(0xe8aa27bL)
dudes.add(0x9085ef6bL)
dudes.add(0x293d27b4L)
dudes.add(0xeb1d90f9L)
dudes.add(0x3b1479beL)
dudes.add(0xec6ab8adL)
dudes.add(0x1d6dcbd0L)
dudes.add(0x9a8cf682L)
dudes.add(0xf50eb0bfL)
dudes.add(0x99db0869L)
dudes.add(0xff4d1755L)
dudes.add(0x9db983d5L)
dudes.add(0xd316b022L)
dudes.add(0xc3506e2dL)
dudes.add(0x4f63e457L)
dudes.add(0xb40c416L)
dudes.add(0x66ce8469L)
dudes.add(0x679e66eeL)
dudes.add(0x778b771L)
dudes.add(0x90c69b6L)
dudes.add(0xf9f7d1e3L)
dudes.add(0x6b24936bL)
dudes.add(0xf6cbc6eeL)
dudes.add(0x46ede6fdL)
dudes.add(0x97f4e61dL)
dudes.add(0x8e9a9521L)
dudes.add(0x604fd50bL)
dudes.add(0x54f817a4L)
dudes.add(0x6764a7bdL)
dudes.add(0x458bc03cL)
dudes.add(0x9af7409eL)
dudes.add(0x45811004L)
dudes.add(0xaa3eb520L)
dudes.add(0xbf819ba3L)
dudes.add(0x5f017113L)
dudes.add(0x1ee5c62dL)
dudes.add(0x2254ca61L)
dudes.add(0x8fffb711L)
dudes.add(0x99252153L)
dudes.add(0x94d452f6L)
dudes.add(0x852ccc44L)
dudes.add(0x99d360dL)
dudes.add(0x7c88d54fL)
dudes.add(0x81526bd9L)
dudes.add(0x980646fdL)
dudes.add(0xdfc02ef7L)
dudes.add(0x23987b9fL)
dudes.add(0x14ab645dL)
dudes.add(0x1632a743L)
dudes.add(0xee5481c2L)
dudes.add(0x3bff3149L)
dudes.add(0xbce1951dL)
dudes.add(0xf53d0435L)
dudes.add(0x89a877afL)
dudes.add(0x329c316fL)
dudes.add(0xde316290L)
dudes.add(0x9da38547L)
dudes.add(0x2892ff72L)
dudes.add(0x25b246d8L)
dudes.add(0xf460ac5dL)
dudes.add(0xadc2efffL)
dudes.add(0xcb595a38L)
dudes.add(0x7e1c791eL)
dudes.add(0x49434a95L)
dudes.add(0x4bfb497eL)
dudes.add(0x8cb689c6L)
dudes.add(0xe426718aL)
dudes.add(0xc1fd4303L)
dudes.add(0x8ce8cdd7L)
dudes.add(0x550f8f4eL)
dudes.add(0x1854b9f4L)
dudes.add(0xe52d8fL)
dudes.add(0xdc3975bbL)
dudes.add(0x19b0e585L)
dudes.add(0xd923c957L)
dudes.add(0xd68b36bcL)
dudes.add(0xeb02fccfL)
dudes.add(0x10f0576cL)
dudes.add(0xefe563cdL)
dudes.add(0x938a9421L)
dudes.add(0xcfd8785dL)
dudes.add(0x78a21683L)
dudes.add(0xe7cff118L)
dudes.add(0xcca64dd1L)
dudes.add(0x8d44d9daL)
dudes.add(0x35636b17L)
dudes.add(0x64ca2b4cL)
dudes.add(0x7eff6572L)
dudes.add(0x14b49acbL)
dudes.add(0x754b6beL)
dudes.add(0x13244b37L)
dudes.add(0xb4ecb9d7L)
dudes.add(0x83b26a4aL)
dudes.add(0xcdb195a6L)
dudes.add(0x7f92d5c1L)
dudes.add(0x3ba17b84L)
dudes.add(0x436e8df1L)
dudes.add(0x33d2d64eL)
dudes.add(0x2d1f6a2L)
dudes.add(0x430b5b4eL)
dudes.add(0x8201006aL)
dudes.add(0x2dd25185L)
dudes.add(0xf9120a53L)
dudes.add(0x52adf93cL)
dudes.add(0x76872457L)
dudes.add(0x222555e5L)
dudes.add(0x8ba88620L)
dudes.add(0xf7839fb3L)
dudes.add(0x4d710cfdL)
dudes.add(0xb1d1be8cL)
dudes.add(0xb532e410L)
dudes.add(0x761dec59L)
dudes.add(0x362707c9L)
dudes.add(0x3c1c4bafL)
dudes.add(0x8da569fbL)
dudes.add(0x888909cfL)
dudes.add(0x57cf546cL)
dudes.add(0x6b400901L)
dudes.add(0x2777e2b6L)
dudes.add(0xd1d3be29L)
dudes.add(0x17aa1d73L)
dudes.add(0x38a8c1a4L)
dudes.add(0x818cbf09L)
dudes.add(0x9fdd7980L)
dudes.add(0x6426f8f5L)
dudes.add(0x81e57a88L)
dudes.add(0x446ffccbL)
dudes.add(0xdfadf192L)
dudes.add(0xb8b39a84L)
dudes.add(0x6d490329L)
dudes.add(0x20a4d66L)
dudes.add(0xf43d405fL)
dudes.add(0x82c45088L)
dudes.add(0x17d06865L)
dudes.add(0x1231bbf7L)
dudes.add(0xe79d8210L)
dudes.add(0xb9e8760cL)
dudes.add(0xefaf19b6L)
dudes.add(0xb579791fL)
dudes.add(0xbbbb27eL)
dudes.add(0x7fff9626L)
dudes.add(0xe699c4abL)
dudes.add(0xbf8ea54bL)
dudes.add(0xd39173eeL)
dudes.add(0x3b63216dL)
dudes.add(0xf16f5107L)
dudes.add(0x40a42398L)
dudes.add(0x3dca0dbfL)
dudes.add(0xa7f14fddL)
dudes.add(0x304c9287L)
dudes.add(0x60fb47d2L)
dudes.add(0x90223a09L)
dudes.add(0x34bc798bL)
dudes.add(0xb9284631L)
dudes.add(0xef02fffL)
dudes.add(0x4dab4422L)
dudes.add(0xf5429889L)
dudes.add(0x3b43c3c0L)
dudes.add(0x3b9cd37cL)
dudes.add(0x51bd893aL)
dudes.add(0x778a8ab0L)
dudes.add(0x662753f2L)
dudes.add(0x6ffb7700L)
dudes.add(0xa7f4cf70L)
dudes.add(0x96ed5f02L)
dudes.add(0xedc9ccd3L)
dudes.add(0x3a161a25L)
dudes.add(0x44a11159L)
dudes.add(0x980f9ef4L)
dudes.add(0xd924c148L)
dudes.add(0xb1fcc451L)
dudes.add(0xc3c51e30L)
dudes.add(0xa636d4a5L)
dudes.add(0x332dddb0L)
dudes.add(0x5841f495L)
dudes.add(0x1fd710b5L)
dudes.add(0x6d922560L)
dudes.add(0x6563f81L)
dudes.add(0xc49d436aL)
dudes.add(0xfa0ef1ddL)
dudes.add(0xd1d96fc8L)
dudes.add(0xe5fec6e0L)
dudes.add(0x43b2c5caL)
dudes.add(0x8408ba99L)
dudes.add(0xa56fc0adL)
dudes.add(0x8def1eadL)
dudes.add(0xf5a57f19L)
dudes.add(0x27d18136L)
dudes.add(0x144589e3L)
dudes.add(0x25bbafe3L)
dudes.add(0x12b162e7L)
dudes.add(0x210045bbL)
dudes.add(0xc2a9555L)
dudes.add(0x38577468L)
dudes.add(0x900182eaL)
dudes.add(0x8f9db511L)
dudes.add(0x553041beL)
dudes.add(0xf525ab59L)
dudes.add(0xf4d0ce03L)
dudes.add(0x423a86e6L)
dudes.add(0x724e2ddaL)
dudes.add(0x82fd36b5L)
dudes.add(0x1ad376bL)
dudes.add(0x64b94cb8L)
dudes.add(0x5bd97bdeL)
dudes.add(0xee7c370bL)
dudes.add(0x254c6be2L)
dudes.add(0xeab8dafeL)
dudes.add(0xd6e789beL)
dudes.add(0x4d196ddcL)
dudes.add(0xdc99caf8L)
dudes.add(0xaeb15840L)
dudes.add(0xdca09c56L)
dudes.add(0xe8a7eea4L)
dudes.add(0x696cd288L)
dudes.add(0xac5a1d56L)
dudes.add(0x8076b2b1L)
dudes.add(0x809ab189L)
dudes.add(0xcbde2307L)
dudes.add(0xebf69d3dL)
dudes.add(0x11ba0744L)
dudes.add(0xff0384fdL)
dudes.add(0x5c6105d4L)
dudes.add(0x3e654640L)
dudes.add(0x96cf1116L)
dudes.add(0x1522f849L)
dudes.add(0x10728b42L)
dudes.add(0x16fc151eL)
dudes.add(0x22032fd9L)
dudes.add(0x43096bd3L)
dudes.add(0x8aaa0644L)
dudes.add(0xe5ec1e89L)
dudes.add(0xe2cccae3L)
dudes.add(0x906b5187L)
dudes.add(0xf3b1f119L)
dudes.add(0x757ff52dL)
dudes.add(0x38f29ce6L)
dudes.add(0x97861b54L)
dudes.add(0x5ea39790L)
dudes.add(0xd636f0feL)
dudes.add(0xe29c1526L)
dudes.add(0xd427c88aL)
dudes.add(0x8a691170L)
dudes.add(0xd7e47280L)
dudes.add(0x6a2deb00L)
dudes.add(0x9ae5a823L)
dudes.add(0x65bb559bL)
dudes.add(0x8614a231L)
dudes.add(0x31af9896L)
dudes.add(0x1541e910L)
dudes.add(0x210deab3L)
dudes.add(0xd21dad1L)
dudes.add(0xff64abbbL)
dudes.add(0xbf75526bL)
dudes.add(0x8d380a02L)
dudes.add(0xc55e3e5bL)
dudes.add(0x901cfac0L)
dudes.add(0xd93eb973L)
dudes.add(0x338065e8L)
dudes.add(0x4c149c0eL)
dudes.add(0xc18f6421L)
dudes.add(0x62ee333L)
dudes.add(0xec266f53L)
dudes.add(0x8f2feacdL)
dudes.add(0x246d3383L)
dudes.add(0x634eb27dL)
dudes.add(0xb136bfc2L)
dudes.add(0x4ac4feebL)
dudes.add(0x4f19b6e1L)
dudes.add(0xd59a88e3L)
dudes.add(0xb6e4092L)
dudes.add(0x7ce385afL)
dudes.add(0xb686c0cdL)
dudes.add(0x669de55dL)
dudes.add(0x19d81e8cL)
dudes.add(0xf3772f4cL)
dudes.add(0xc25c94fdL)
dudes.add(0xb8811470L)
dudes.add(0xae8e7354L)
dudes.add(0x51285529L)
dudes.add(0x465ec0e2L)
dudes.add(0xef407bd1L)
dudes.add(0xf74a1237L)
dudes.add(0x982167cL)
dudes.add(0x9d17cd69L)
dudes.add(0xef39742fL)
dudes.add(0x3cfdb1e6L)
dudes.add(0xb56c745dL)
dudes.add(0x5d7514b8L)
dudes.add(0xa39a15daL)
dudes.add(0x738f2490L)
dudes.add(0x51369456L)
dudes.add(0x980d40d5L)
dudes.add(0xf5ee1169L)
dudes.add(0xad284f5cL)
dudes.add(0x908dc14dL)
dudes.add(0xf00c3b76L)
dudes.add(0xaae5d037L)
dudes.add(0x5560b8a9L)
dudes.add(0xa809096bL)
dudes.add(0x3f6b2115L)
dudes.add(0xaa1b4c4fL)
dudes.add(0xa91d970dL)
dudes.add(0x7e54dda5L)
dudes.add(0xc2a543f1L)
dudes.add(0x6054510cL)
dudes.add(0xef68c6f6L)
dudes.add(0x34abc7c8L)
dudes.add(0x3e2858b2L)
dudes.add(0xd1c6e800L)
dudes.add(0x6e59045cL)
dudes.add(0x6bfcce16L)
dudes.add(0x379dd765L)
dudes.add(0xbe3324c9L)
dudes.add(0xce6de319L)
dudes.add(0x929e96ddL)
dudes.add(0xda94c0f6L)
dudes.add(0xce2608dL)
dudes.add(0x1e1ef7abL)
dudes.add(0xe258d31eL)
dudes.add(0x158387bdL)
dudes.add(0x2ad03a50L)
dudes.add(0x96258122L)
dudes.add(0x979d00dbL)
dudes.add(0xf0dfa58cL)
dudes.add(0xcf69e18cL)
dudes.add(0x829055beL)
dudes.add(0xc4a865dfL)
dudes.add(0x4d177a27L)
dudes.add(0xeaac4c4cL)
dudes.add(0x8bc04395L)
dudes.add(0xc6c85ae6L)
dudes.add(0x4263bdf8L)
dudes.add(0x424c5b1cL)
dudes.add(0x31bafa3bL)
dudes.add(0xe30146faL)
dudes.add(0xa117d34fL)
dudes.add(0xdd63bd0aL)
dudes.add(0x18ca15f9L)
dudes.add(0xd614e939L)
dudes.add(0x8181b806L)
dudes.add(0x1342c466L)
dudes.add(0x6484c9fcL)
dudes.add(0xcb405472L)
dudes.add(0x65cfa5b0L)
dudes.add(0x6400ffe0L)
dudes.add(0x1c8649dfL)
dudes.add(0x8aac955dL)
dudes.add(0xe3da48adL)
dudes.add(0xa20e53bdL)
dudes.add(0x4d5ea005L)
dudes.add(0x25d5e8c8L)
dudes.add(0xac9daf0L)
dudes.add(0x34a25a3dL)
dudes.add(0x96002c56L)
dudes.add(0x489a888L)
dudes.add(0x9a9b68d5L)
dudes.add(0x3b8266caL)
dudes.add(0x3c3dfd84L)
dudes.add(0x5ccf3a29L)
dudes.add(0x21d77318L)
dudes.add(0xd974da4aL)
dudes.add(0xee1a2585L)
dudes.add(0x2b6803ceL)
dudes.add(0x38b8fcbcL)
dudes.add(0xf525e318L)
dudes.add(0xf8134b1dL)
dudes.add(0xf11cce96L)
dudes.add(0x392a7fe1L)
dudes.add(0x4d8b1040L)
dudes.add(0x451c710L)
dudes.add(0xa3398a56L)
dudes.add(0x3d6aa335L)
dudes.add(0x8aca1437L)
dudes.add(0x6108de28L)
dudes.add(0xa95e3f52L)
dudes.add(0x27251bf5L)
dudes.add(0xe4ecc5dcL)
dudes.add(0xd81b432aL)
dudes.add(0x8baa3a43L)
dudes.add(0x77934f32L)
dudes.add(0xed87ec54L)
dudes.add(0x45e8d6b8L)
dudes.add(0xad8ea94fL)
dudes.add(0xfd21a0bcL)
dudes.add(0xb5e99a90L)
dudes.add(0xa3d929eL)
dudes.add(0x5a5af7a2L)
dudes.add(0x77475f1aL)
dudes.add(0xd19a8253L)
dudes.add(0xab4aef1aL)
dudes.add(0xd099bd89L)
dudes.add(0xd44b853L)
dudes.add(0x98888d41L)
dudes.add(0x2eaf658L)
dudes.add(0xd5bbe1d0L)
dudes.add(0x1dbbd256L)
dudes.add(0x60559f7cL)
dudes.add(0xafbc2742L)
dudes.add(0x68400849L)
dudes.add(0x1fa3efc2L)
dudes.add(0xbf9af3f0L)
dudes.add(0x531e9cbbL)
dudes.add(0xcef1201cL)
dudes.add(0x479471b2L)
dudes.add(0xc2c83c54L)
dudes.add(0x2e064757L)
dudes.add(0xc59c359aL)
dudes.add(0x1922e005L)
dudes.add(0xf91b3e72L)
dudes.add(0xcf092eaaL)
dudes.add(0x26c9a648L)
dudes.add(0xd800de0L)
dudes.add(0xc0afbf2fL)
dudes.add(0xba412b81L)
dudes.add(0x30e2fce5L)
dudes.add(0x8ac94992L)
dudes.add(0xabfe98feL)
dudes.add(0xbaa296d7L)
dudes.add(0x6c3ad08eL)
dudes.add(0x41ac1671L)
dudes.add(0x2a4af388L)
dudes.add(0x29d86d63L)
dudes.add(0x9462f247L)
dudes.add(0xc49a6d7L)
dudes.add(0xaf44f8faL)
dudes.add(0x8e738c38L)
dudes.add(0xcbf011d3L)
dudes.add(0xf01dbc15L)
dudes.add(0xf4297d26L)
dudes.add(0xff5a5abL)
dudes.add(0xc38e542cL)
dudes.add(0x2a86a42eL)
dudes.add(0xb248a0b8L)
dudes.add(0x65c99ce4L)
dudes.add(0x2b6da9e8L)
dudes.add(0x97631832L)
dudes.add(0x932c6959L)
dudes.add(0x377ff04cL)
dudes.add(0xb593e3eL)
dudes.add(0x22e67bb9L)
dudes.add(0xa0361916L)
dudes.add(0xcc53efe9L)
dudes.add(0x4ae2e5efL)
dudes.add(0x88329e8cL)
dudes.add(0x8b4c905bL)
dudes.add(0x82da09L)
dudes.add(0x624d79faL)
dudes.add(0x4e833418L)
dudes.add(0xf84f9804L)
dudes.add(0x211434dcL)
dudes.add(0x3412d6aaL)
dudes.add(0xab45d9f4L)
dudes.add(0x7f352898L)
dudes.add(0x2c084eebL)
dudes.add(0xedd6732bL)
dudes.add(0xf032b9eaL)
dudes.add(0x65131c9aL)
dudes.add(0x4ba7d445L)
dudes.add(0xdfbea6d6L)
dudes.add(0x617fee62L)
dudes.add(0xd62ec764L)
dudes.add(0x6e248872L)
dudes.add(0xef10a808L)
dudes.add(0xa4ddd0a3L)
dudes.add(0x1c286ad8L)
dudes.add(0x1dffb190L)
dudes.add(0x8433a8abL)
dudes.add(0x1ff2cc5aL)
dudes.add(0x599bc8d7L)
dudes.add(0x26a1c9b6L)
dudes.add(0x118ccba9L)
dudes.add(0x6a947150L)
dudes.add(0x6a609cfcL)
dudes.add(0xd886995L)
dudes.add(0x6079b9c0L)
dudes.add(0x1a49c013L)
dudes.add(0x83e21294L)
dudes.add(0xbc0ea20L)
dudes.add(0xcb3774e0L)
dudes.add(0xbe96f678L)
dudes.add(0x4b3e094L)
dudes.add(0x2d4e33edL)
dudes.add(0x88ffe4eaL)
dudes.add(0x61f2c78fL)
dudes.add(0xca21bda9L)
dudes.add(0x6d766166L)
dudes.add(0xbec16639L)
dudes.add(0xc97e5628L)
dudes.add(0xb50a1ebeL)
dudes.add(0x486b589dL)
dudes.add(0x7a538a75L)
dudes.add(0x4f93139L)
dudes.add(0x358d6771L)
dudes.add(0x3c86589aL)
dudes.add(0x2121f26eL)
dudes.add(0x310b1336L)
dudes.add(0x20edfc2aL)
dudes.add(0xd681fffcL)
dudes.add(0xf2d85e95L)
dudes.add(0x8005932cL)
dudes.add(0x2d6e32c4L)
dudes.add(0x20f785d6L)
dudes.add(0xcea48fd8L)
dudes.add(0x4c82c424L)
dudes.add(0x58ecb44aL)
dudes.add(0x30c247d9L)
dudes.add(0x335d964fL)
dudes.add(0x1b4e43f8L)
dudes.add(0x491c46e3L)
dudes.add(0x381f5893L)
dudes.add(0x30ddf39aL)
dudes.add(0x113fa888L)
dudes.add(0xfca5083dL)
dudes.add(0x60f58e3bL)
dudes.add(0x1dcdc7b0L)
dudes.add(0x1a14e844L)
dudes.add(0xb5332b12L)
dudes.add(0x98c94d41L)
dudes.add(0x591d1822L)
dudes.add(0xa22db890L)
dudes.add(0xe337cfaaL)
dudes.add(0x33942cc5L)
dudes.add(0x7d7c671bL)
dudes.add(0x9d10d968L)
dudes.add(0xfbc884acL)
dudes.add(0xa29a6c89L)
dudes.add(0xb27df85eL)
dudes.add(0x53d7f890L)
dudes.add(0x2363bb20L)
dudes.add(0x51b9e13bL)
dudes.add(0xbf7ab79dL)
dudes.add(0x69d5713dL)
dudes.add(0x14dbd22cL)
dudes.add(0x5236d105L)
dudes.add(0x41d1e656L)
dudes.add(0xea00d5e4L)
dudes.add(0x437ec953L)
dudes.add(0x244e6e2aL)
dudes.add(0x86691b0L)
dudes.add(0x5f97bbL)
dudes.add(0x9ac379fL)
dudes.add(0xe1730c38L)
dudes.add(0xd9358fe5L)
dudes.add(0xd193d02eL)
dudes.add(0xa138e733L)
dudes.add(0x6172680L)
dudes.add(0x8989c827L)
dudes.add(0x1fc5f73bL)
dudes.add(0x31458fbfL)
dudes.add(0xbd3e030L)
dudes.add(0x4d468670L)
dudes.add(0x3abb3c1eL)
dudes.add(0x9462f52eL)
dudes.add(0xf9c5a4a9L)
dudes.add(0x73d70736L)
dudes.add(0xa4c92adaL)
dudes.add(0x317a80d9L)
dudes.add(0x13b5fb6cL)
dudes.add(0x9d064e9cL)
dudes.add(0xc63fc376L)
dudes.add(0x6f64b3b6L)
dudes.add(0x839913f9L)
dudes.add(0x53ebc239L)
dudes.add(0x344cc749L)
dudes.add(0x9e8e3e8L)
dudes.add(0xf9a1f65L)
dudes.add(0x54411dbL)
dudes.add(0x3ba178f0L)
dudes.add(0x17dd63c7L)
dudes.add(0xce0a0aa0L)
dudes.add(0xbd78c114L)
dudes.add(0x7f258b58L)
dudes.add(0xc2df0342L)
dudes.add(0xd0b120feL)
dudes.add(0x6c8996d6L)
dudes.add(0xd92c46c2L)
dudes.add(0xf4a55309L)
dudes.add(0x2291359eL)
dudes.add(0x235d1ae1L)
dudes.add(0x649e45aeL)
dudes.add(0x9a6c6833L)
dudes.add(0xc26f9e34L)
dudes.add(0xf3341b56L)
dudes.add(0xf2f9f2e1L)
dudes.add(0x7d558f6aL)
dudes.add(0x214f1abL)
dudes.add(0xfc226bc7L)
dudes.add(0x84960e6eL)
dudes.add(0x56652dcbL)
dudes.add(0xc16623b0L)
dudes.add(0x9604ea46L)
dudes.add(0x719b81eeL)
dudes.add(0xff1b37d2L)
dudes.add(0xa0279d88L)
dudes.add(0xe34c7c2fL)
dudes.add(0xbb6e92f3L)
dudes.add(0x4c41290eL)
dudes.add(0xebdc3c9fL)
dudes.add(0x2dc1c504L)
dudes.add(0xbd948f0aL)
dudes.add(0x75b75190L)
dudes.add(0x72568632L)
dudes.add(0x2de075d5L)
dudes.add(0x18c5c3aeL)
dudes.add(0xd303ec94L)
dudes.add(0x36d10dacL)
dudes.add(0x6adc473cL)
dudes.add(0x1e086b8aL)
dudes.add(0xdb5d1d11L)
dudes.add(0x33d7820aL)
dudes.add(0x4b891e62L)
dudes.add(0x9156a523L)
dudes.add(0x7489192bL)
dudes.add(0x77347667L)
dudes.add(0xd483ad52L)
dudes.add(0xd13bd55bL)
dudes.add(0x4631d703L)
dudes.add(0xb7ccb0b7L)
dudes.add(0x81bc1dd0L)
dudes.add(0x29eff4f9L)
dudes.add(0x59e0f469L)
dudes.add(0x727ed61eL)
dudes.add(0x7b3239dfL)
dudes.add(0xc10e9899L)
dudes.add(0x8374814cL)
dudes.add(0xfcd06729L)
dudes.add(0xa0afb94aL)
dudes.add(0x14a3cff6L)
dudes.add(0x95c9cc57L)
dudes.add(0x6d9c7e58L)
dudes.add(0x5293c430L)
dudes.add(0x10877bf2L)
dudes.add(0xaa0d65c2L)
dudes.add(0xbcb3e9ccL)
dudes.add(0xd031328bL)
dudes.add(0xdb41c43cL)
dudes.add(0x5d8e5aafL)
dudes.add(0xa856ced0L)
dudes.add(0x3413f46L)
dudes.add(0xf4471b9fL)
dudes.add(0xa7031675L)
dudes.add(0x8a845d86L)
dudes.add(0x69285028L)
dudes.add(0x43348693L)
dudes.add(0x6756e6f6L)
dudes.add(0xdf0c4f58L)
dudes.add(0xa4011f1dL)
dudes.add(0x611af6baL)
dudes.add(0x307318c7L)
dudes.add(0xcf6a8080L)
dudes.add(0xfad3e1faL)
dudes.add(0xd99f2daaL)
dudes.add(0xa36dbf14L)
dudes.add(0xf67e40a0L)
dudes.add(0xa35cf759L)
dudes.add(0x7973cb0bL)
dudes.add(0x200c4245L)
dudes.add(0xf2ddc2bbL)
dudes.add(0xc652c73bL)
dudes.add(0x3bcc957dL)
dudes.add(0xeac93bd1L)
dudes.add(0xc85ffc2aL)
dudes.add(0xe5b176b2L)
dudes.add(0xfa3c62b9L)
dudes.add(0x1fb45224L)
dudes.add(0x9ed949c2L)
dudes.add(0xda815e1cL)
dudes.add(0xd554847fL)
dudes.add(0x7572cb73L)
dudes.add(0x729f7c4bL)
dudes.add(0xc9333683L)
dudes.add(0xc0eba504L)
dudes.add(0xa0be6b31L)
dudes.add(0xc66e012cL)
dudes.add(0x5d696147L)
dudes.add(0x2dfab6deL)
dudes.add(0xa3572a9bL)
dudes.add(0x815c68a7L)
dudes.add(0x7decc77dL)
dudes.add(0xafa81ce7L)
dudes.add(0x8e4f1fb5L)
dudes.add(0xccdac255L)
dudes.add(0x6fcfcee6L)
dudes.add(0x5bb0d279L)
dudes.add(0x406d704fL)
dudes.add(0x9c8e0238L)
dudes.add(0x20e9594aL)
dudes.add(0xe4c6d8f1L)
dudes.add(0xf237251L)
dudes.add(0x3ae556a0L)
dudes.add(0xbeddbc98L)
dudes.add(0xc535dfb5L)
dudes.add(0x8c39af56L)
dudes.add(0xfe5ea603L)
dudes.add(0x82a874b5L)
dudes.add(0x68f62ab7L)
dudes.add(0xf228f041L)
dudes.add(0xe74d00e6L)
dudes.add(0x4731b2c2L)
dudes.add(0x3920eba1L)
dudes.add(0x8e044905L)
dudes.add(0x5680a542L)
dudes.add(0x762df8deL)
dudes.add(0x5f1ac373L)
dudes.add(0x3c04d28aL)
dudes.add(0xdc03dd4bL)
dudes.add(0x8a0999c4L)
dudes.add(0x391dd1cfL)
dudes.add(0xd64520b7L)
dudes.add(0x1a0b83d8L)
dudes.add(0x6f924e76L)
dudes.add(0x896c4141L)
dudes.add(0xe6b5dc92L)
dudes.add(0x8c736c68L)
dudes.add(0x7d85ec92L)
dudes.add(0x5ea4e2bfL)
dudes.add(0x8b15430bL)
dudes.add(0x3328a96aL)
dudes.add(0x44c8b7dbL)
dudes.add(0x9598e49L)
dudes.add(0x459de064L)
dudes.add(0x7931d60bL)
dudes.add(0x4f748b5eL)
dudes.add(0x36307d11L)
dudes.add(0xfc43d165L)
dudes.add(0x63175c70L)
dudes.add(0x83339e7L)
dudes.add(0xdbedb70bL)
dudes.add(0x9365e5d7L)
dudes.add(0x2b07610dL)
dudes.add(0xa156446fL)
dudes.add(0xc275f57dL)
dudes.add(0x1679dff5L)
dudes.add(0xd0c8051fL)
dudes.add(0x28c490dL)
dudes.add(0xfcc44d8eL)
dudes.add(0xd31569e4L)
dudes.add(0x5f613cf0L)
dudes.add(0x171d7842L)
dudes.add(0x9fc3ff31L)
dudes.add(0x923f7899L)
dudes.add(0x94a11a8L)
dudes.add(0xbbcabeefL)
dudes.add(0x99b2159bL)
dudes.add(0x7f4e9654L)
dudes.add(0x22ef42a1L)
dudes.add(0x3ca92c4bL)
dudes.add(0x6f67e9deL)
dudes.add(0xff2bc2e5L)
dudes.add(0x6d4c0915L)
dudes.add(0xdf47fdecL)
dudes.add(0x9751177cL)
dudes.add(0xe8928ef8L)
dudes.add(0x2cfb8adL)
dudes.add(0x5ccdd15aL)
dudes.add(0x5bf4d459L)
dudes.add(0x531199acL)
dudes.add(0xf690d9a2L)
dudes.add(0x6f412b4dL)
dudes.add(0x5f0a4f6dL)
dudes.add(0x5128e600L)
dudes.add(0x6071d6a8L)
dudes.add(0xc75e6bd7L)
dudes.add(0x59514152L)
dudes.add(0x95a2f0c3L)
dudes.add(0x30237e3eL)
dudes.add(0x4ea9f9daL)
dudes.add(0x5cda6b3cL)
dudes.add(0xcd220a66L)
dudes.add(0xfe89d6edL)
dudes.add(0xe0c35f87L)
dudes.add(0x55e05a0L)
dudes.add(0xfb3bb0e6L)
dudes.add(0x94b76b1cL)
dudes.add(0xe8248facL)
dudes.add(0x75af4a41L)
dudes.add(0xecced5beL)
dudes.add(0xb494b778L)
dudes.add(0xe5110cbeL)
dudes.add(0x37c029bcL)
dudes.add(0xd1ce9309L)
dudes.add(0x3c1a60b5L)
dudes.add(0x34b7b747L)
dudes.add(0xbd1b7e3bL)
dudes.add(0x42c6be0dL)
dudes.add(0x469d5db4L)
dudes.add(0x43305da6L)
dudes.add(0x62931925L)
dudes.add(0xd799d6cL)
dudes.add(0xc3208daeL)
dudes.add(0xaa469abL)
dudes.add(0x93e481c5L)
dudes.add(0x692f0342L)
dudes.add(0xbf28ca16L)
dudes.add(0xada3857fL)
dudes.add(0x79bbc16eL)
dudes.add(0x2a7a569aL)
dudes.add(0x1b0d0c01L)
dudes.add(0xed554880L)
dudes.add(0xc6ee9825L)
dudes.add(0xcd2cdd13L)
dudes.add(0x6d9f27f4L)
dudes.add(0xdd53174cL)
dudes.add(0xe89cde6bL)
dudes.add(0xe7f84b29L)
dudes.add(0xcfb9a8acL)
dudes.add(0x851edb87L)
dudes.add(0xb4d10592L)
dudes.add(0x4abb21e8L)
dudes.add(0x6bbdaa73L)
dudes.add(0x72d0a1fcL)
dudes.add(0x33c24257L)
dudes.add(0xae6dc26L)
dudes.add(0xb0c148f3L)
dudes.add(0xca51d28cL)
dudes.add(0x92c0534dL)
dudes.add(0x1adbbaefL)
dudes.add(0xb8429902L)
dudes.add(0x2203ca57L)
dudes.add(0x8f472925L)
dudes.add(0xfadad615L)
dudes.add(0xad721ffaL)
dudes.add(0xe6de9cc4L)
dudes.add(0x73ea1eafL)
dudes.add(0x8a896ceaL)
dudes.add(0x4fb4b7c5L)
dudes.add(0x260d365dL)
dudes.add(0x55f5aa0L)
dudes.add(0xd93a0707L)
dudes.add(0xe086f483L)
dudes.add(0xb5de9baeL)
dudes.add(0x9e40f877L)
dudes.add(0xff9cfd9cL)
dudes.add(0xf1daca0L)
dudes.add(0x31aaa809L)
dudes.add(0x968afbabL)
dudes.add(0x23f09094L)
dudes.add(0xadabd469L)
dudes.add(0xd82740ccL)
dudes.add(0x163c1dc2L)
dudes.add(0x62b4eb38L)
dudes.add(0x4b8e58deL)
dudes.add(0x78dd17c2L)
dudes.add(0x7ff6fc3L)
dudes.add(0xba7cb80dL)
dudes.add(0x2d45de24L)
dudes.add(0x7b00a1d5L)
dudes.add(0x6e56cbe2L)
dudes.add(0x194d5bf8L)
dudes.add(0x757881bcL)
dudes.add(0xdadbd76eL)
dudes.add(0xce1d0f67L)
dudes.add(0xbb9373c5L)
dudes.add(0x27ef1e0aL)
dudes.add(0x23be6a3bL)
dudes.add(0x8b7bb7aL)
dudes.add(0xd0a0c937L)
dudes.add(0xed53767eL)
dudes.add(0xe5ff162fL)
dudes.add(0x19d04125L)
dudes.add(0x84805085L)
dudes.add(0xa4dacd36L)
dudes.add(0x39faa112L)
dudes.add(0xfb6a3c65L)
dudes.add(0x54bdd130L)
dudes.add(0xc9e9c1a6L)
dudes.add(0x3af9ed19L)
dudes.add(0x34da747fL)
dudes.add(0x80af7a02L)
dudes.add(0x484c4c42L)
dudes.add(0xa98d6784L)
dudes.add(0x304a3557L)
dudes.add(0xc4679688L)
dudes.add(0xbca0669fL)
dudes.add(0x7329deffL)
dudes.add(0x33b7686cL)
dudes.add(0xf686ee2L)
dudes.add(0x29e6c05L)
dudes.add(0x8a21eba8L)
dudes.add(0xcbfd1a30L)
dudes.add(0x7c2badbfL)
dudes.add(0x19a48df1L)
dudes.add(0x820b506L)
dudes.add(0x28fb702eL)
dudes.add(0x66abc990L)
dudes.add(0x67bcd945L)
dudes.add(0x4f6ad9fcL)
dudes.add(0x11601963L)
dudes.add(0xd7ac7df1L)
dudes.add(0xedc772e1L)
dudes.add(0x208aa5feL)
dudes.add(0x96a0dbceL)
dudes.add(0x2ae3c7abL)
dudes.add(0x1a2e52ceL)
dudes.add(0xcf396b4eL)
dudes.add(0xcac67166L)
dudes.add(0xcf121852L)
dudes.add(0x81005e43L)
dudes.add(0xfbb0ca2aL)
dudes.add(0xaebfcf0dL)
dudes.add(0x97790ff7L)
dudes.add(0x21a22813L)
dudes.add(0x605bfca4L)
dudes.add(0xda464aabL)
dudes.add(0xfaebe2f5L)
dudes.add(0xedd618a3L)
dudes.add(0x9ba40501L)
dudes.add(0xba94817aL)
dudes.add(0x91b222b0L)
dudes.add(0x8936f397L)
dudes.add(0xbea0a329L)
dudes.add(0x17f172cdL)
dudes.add(0xab2a6e3dL)
dudes.add(0xab9807b6L)
dudes.add(0xbcaa6fecL)
dudes.add(0xf977fddbL)
dudes.add(0xdb4fe2c0L)
dudes.add(0x848c17c9L)
dudes.add(0x4679e2ddL)
dudes.add(0xc9a9b55bL)
dudes.add(0xb9fa24adL)
dudes.add(0x9b7a6c33L)
dudes.add(0xb2814326L)
dudes.add(0x32d9e5b9L)
dudes.add(0x1e822c28L)
dudes.add(0x815ed419L)
dudes.add(0x79dc36dL)
dudes.add(0x8d7911b9L)
dudes.add(0x7275188fL)
dudes.add(0xbb9fb26L)
dudes.add(0xedec1679L)
dudes.add(0x36073387L)
dudes.add(0x7b8a23fcL)
dudes.add(0x46e4e8e0L)
dudes.add(0x30998c4dL)
dudes.add(0xf909315bL)
dudes.add(0xfd66ae2aL)
dudes.add(0xaffa5f55L)
dudes.add(0xcb71f075L)
dudes.add(0xb637527fL)
dudes.add(0x98ec127L)
dudes.add(0xfeba924eL)
dudes.add(0x3faa6cc2L)
dudes.add(0x3acf9e73L)
dudes.add(0xb5d23fb2L)
dudes.add(0xe64d2c65L)
dudes.add(0xc6d760f6L)
dudes.add(0xd4db175eL)
dudes.add(0x3a359c0aL)
dudes.add(0xa6ed92d8L)
dudes.add(0xef80412L)
dudes.add(0x20e8d308L)
dudes.add(0xc5bd3adbL)
dudes.add(0x2c8167dbL)
dudes.add(0xac07249dL)
dudes.add(0x7d017a3cL)
dudes.add(0x6ebf3c6eL)
dudes.add(0xdbbd5a22L)
dudes.add(0x132ca2ccL)
dudes.add(0x879c7c6bL)
dudes.add(0xc113be03L)
dudes.add(0x89d841ceL)
dudes.add(0xefce7743L)
dudes.add(0x37bcda3dL)
dudes.add(0xb989d76aL)
dudes.add(0xbb3164e2L)
dudes.add(0x6ec36baeL)
dudes.add(0xcec2f0b3L)
dudes.add(0x5d735a39L)
dudes.add(0x5a92f534L)
dudes.add(0x47402841L)
dudes.add(0x79b4edabL)
dudes.add(0xe41e5926L)
dudes.add(0x802a30abL)
dudes.add(0x36a3c418L)
dudes.add(0x664b9f72L)
dudes.add(0xe1ac69d6L)
dudes.add(0x3c3f886L)
dudes.add(0x176b4159L)
dudes.add(0x9da7a452L)
dudes.add(0x307899e2L)
dudes.add(0xc3fdf1d9L)
dudes.add(0x72b09c2L)
dudes.add(0x17b10596L)
dudes.add(0xcf7c1d84L)
dudes.add(0xc9ac7614L)
dudes.add(0x100b67ecL)
dudes.add(0x705bd070L)
dudes.add(0xe16047ddL)
dudes.add(0xfddacb75L)
dudes.add(0x5ad970e0L)
dudes.add(0x28035545L)
dudes.add(0x3ef58d9bL)
dudes.add(0xf0777c4fL)
dudes.add(0x33d193f3L)
dudes.add(0x5d841602L)
dudes.add(0xf0ce4079L)
dudes.add(0x9afc8dfdL)
dudes.add(0xce3847e0L)
dudes.add(0xc0aca44eL)
dudes.add(0x134e4c3aL)
dudes.add(0xb52bfc37L)
dudes.add(0xb39fd3b6L)
dudes.add(0x5b73cbf5L)
dudes.add(0x1e38e09bL)
dudes.add(0x3f822cfaL)
dudes.add(0xcc7b81b7L)
dudes.add(0x1105f83fL)
dudes.add(0xdd2db30fL)
dudes.add(0x8f41330aL)
dudes.add(0xdf479436L)
dudes.add(0xe6db4e22L)
dudes.add(0x7d20c12fL)
dudes.add(0xa89f31d0L)
dudes.add(0x99a8ebf5L)
dudes.add(0x274a634fL)
dudes.add(0x63cb5b0dL)
dudes.add(0x267cd837L)
dudes.add(0xe6abf99dL)
dudes.add(0x150ffad1L)
dudes.add(0xcbf93797L)
dudes.add(0x6970f781L)
dudes.add(0x659741e8L)
dudes.add(0x31a829dcL)
dudes.add(0x2fbcbacbL)
dudes.add(0xaff73901L)
dudes.add(0xe16694a7L)
dudes.add(0x6fe71107L)
dudes.add(0x29cc4037L)
dudes.add(0x7f04dc77L)
dudes.add(0xcccb1fefL)
dudes.add(0xc3b6c7f7L)
dudes.add(0x94a0ad85L)
dudes.add(0x2f936a2eL)
dudes.add(0x858c9761L)
dudes.add(0xdf5397f2L)
dudes.add(0xa0ad98c8L)
dudes.add(0x535a2ecL)
dudes.add(0x59218248L)
dudes.add(0x845cf509L)
dudes.add(0xe38bf933L)
dudes.add(0x868ddfbdL)
dudes.add(0x60d1305bL)
dudes.add(0x6916227dL)
dudes.add(0x7ccb9707L)
dudes.add(0xad7a442eL)
dudes.add(0x44e299a4L)
dudes.add(0x2c40e55aL)
dudes.add(0x2300be61L)
dudes.add(0x1c05cdcbL)
dudes.add(0xdfc57a4dL)
dudes.add(0xfde683edL)
dudes.add(0xc87b574bL)
dudes.add(0x77d13cfcL)
dudes.add(0x93060c9eL)
dudes.add(0x7249d670L)
dudes.add(0xf1fdc3e3L)
dudes.add(0xeee0d9eeL)
dudes.add(0xa281b841L)
dudes.add(0x612ccca3L)
dudes.add(0x91601966L)
dudes.add(0xa7e8dd45L)
dudes.add(0x305c5a30L)
dudes.add(0xdb27f55L)
dudes.add(0x5fb8573dL)
dudes.add(0x28eabdfL)
dudes.add(0xc8a5977aL)
dudes.add(0xeb993afbL)
dudes.add(0xc797e7e1L)
dudes.add(0x4bfa954fL)
dudes.add(0xcb540400L)
dudes.add(0xdac3c0e7L)
dudes.add(0xba07c6a7L)
dudes.add(0x17c1df6L)
dudes.add(0x97e6cf6dL)
dudes.add(0x971f11b0L)
dudes.add(0x9e18c792L)
dudes.add(0xe0019c01L)
dudes.add(0xd15164ecL)
dudes.add(0x18c4390bL)
dudes.add(0x37f7aa2cL)
dudes.add(0x4ae79f30L)
dudes.add(0x1a7b5abdL)
dudes.add(0xadc4bdc6L)
dudes.add(0x9dacd1cL)
dudes.add(0x20c8bc28L)
dudes.add(0x1ae22417L)
dudes.add(0x315ae7dcL)
dudes.add(0xf74c04c5L)
dudes.add(0xab7fe677L)
dudes.add(0xa1345b82L)
dudes.add(0xe76ee94aL)
dudes.add(0xf8c639fdL)
dudes.add(0x2ece0aafL)
dudes.add(0x336aedffL)
dudes.add(0x49716a12L)
dudes.add(0x18b4ec4bL)
dudes.add(0x683ed5f4L)
dudes.add(0xe3e62568L)
dudes.add(0xfac7e366L)
dudes.add(0x1282295fL)
dudes.add(0x776cd2f0L)
dudes.add(0x12ce9f4fL)
dudes.add(0x610553b7L)
dudes.add(0xb29567a3L)
dudes.add(0x175e8223L)
dudes.add(0x4ba8787fL)
dudes.add(0x8a469f30L)
dudes.add(0x862ae121L)
dudes.add(0x406de5cL)
dudes.add(0xf1fb2759L)
dudes.add(0x84b8627aL)
dudes.add(0x3763b1ddL)
dudes.add(0x345f5817L)
dudes.add(0x40589d64L)
dudes.add(0xed6904a3L)
dudes.add(0x85820cd0L)
dudes.add(0xa4670fb5L)
dudes.add(0x9574e50cL)
dudes.add(0x2b9e7a4fL)
dudes.add(0x6801bef0L)
dudes.add(0xe4e265aL)
dudes.add(0x37496ca9L)
dudes.add(0xb6f185f8L)
dudes.add(0x6fbc140L)
dudes.add(0x5d578f46L)
dudes.add(0x21602715L)
dudes.add(0xa7cb5a20L)
dudes.add(0xf92aebaL)
dudes.add(0x38f9fc4cL)
dudes.add(0xf777117aL)
dudes.add(0x60888babL)
dudes.add(0x619763b3L)
dudes.add(0x34fb0675L)
dudes.add(0x29a921d0L)
dudes.add(0xd7f3bc1bL)
dudes.add(0xd149772L)
dudes.add(0xe85cd89aL)
dudes.add(0x35d520efL)
dudes.add(0x82107e3dL)
dudes.add(0xd49b3ffbL)
dudes.add(0xffe949afL)
dudes.add(0x789a0e0aL)
dudes.add(0x986c14d5L)
dudes.add(0x20c6b609L)
dudes.add(0xb3987b23L)
dudes.add(0xcef6ed1bL)
dudes.add(0xba0fe51fL)
dudes.add(0x21f32d1cL)
dudes.add(0x7201a7d9L)
dudes.add(0xbca74ec4L)
dudes.add(0xcfdf2995L)
dudes.add(0xf4792bb8L)
dudes.add(0x96653060L)
dudes.add(0xf8327982L)
dudes.add(0xf7385319L)
dudes.add(0x1b0cc29cL)
dudes.add(0x80e7cb1eL)
dudes.add(0xd41bfeaL)
dudes.add(0x77a71b2aL)
dudes.add(0xed6a708aL)
dudes.add(0xba7a1cf3L)
dudes.add(0x9d35573fL)
dudes.add(0x92a9e73aL)
dudes.add(0xf7f6448L)
dudes.add(0xc8e50fc5L)
dudes.add(0xbcca6145L)
dudes.add(0x356d9188L)
dudes.add(0xa036f67eL)
dudes.add(0x48af50e9L)
dudes.add(0xb9a153eaL)
dudes.add(0x621ac516L)
dudes.add(0xe83547a1L)
dudes.add(0x705dcf4cL)
dudes.add(0xf85de2e5L)
dudes.add(0x7553bf35L)
dudes.add(0xdd47d9b1L)
dudes.add(0xe0a9d833L)
dudes.add(0x67ef5a0L)
dudes.add(0x7156f4c2L)
dudes.add(0x3b7c9085L)
dudes.add(0x3f9c708L)
dudes.add(0x905a08a9L)
dudes.add(0x8a292ccbL)
dudes.add(0xca88a1eaL)
dudes.add(0x81a74831L)
dudes.add(0x2eb26809L)
dudes.add(0x94017b4L)
dudes.add(0x143be5L)
dudes.add(0xa1dad9bbL)
dudes.add(0x11780a21L)
dudes.add(0xc587e576L)
dudes.add(0xe791aab0L)
dudes.add(0x39ad0bd3L)
dudes.add(0xf6e954adL)
dudes.add(0x2ceb9925L)
dudes.add(0x86105ddeL)
dudes.add(0xc829178dL)
dudes.add(0x7f6de5a3L)
dudes.add(0x641334dcL)
dudes.add(0x17f0c0f5L)
dudes.add(0x249521d5L)
dudes.add(0x139abda1L)
dudes.add(0x7b809bb8L)
dudes.add(0x36d2946cL)
dudes.add(0x51162347L)
dudes.add(0x1dd82799L)
dudes.add(0x686ecaa9L)
dudes.add(0x1454800fL)
dudes.add(0x72fca152L)
dudes.add(0xb06f0fd5L)
dudes.add(0x66fc95aL)
dudes.add(0x1c479943L)
dudes.add(0x911d51d2L)
dudes.add(0x4871cae4L)
dudes.add(0xf406edddL)
dudes.add(0xaaacb650L)
dudes.add(0x905e4ea6L)
dudes.add(0xc055586fL)
dudes.add(0xd9c28ffbL)
dudes.add(0x6f3e64e2L)
dudes.add(0x1ccea55fL)
dudes.add(0xedfff4eaL)
dudes.add(0xb37c578L)
dudes.add(0x7ff4cc8aL)
dudes.add(0x2f8b4f6cL)
dudes.add(0x83c79674L)
dudes.add(0xe0620abbL)
dudes.add(0x35281dfcL)
dudes.add(0x42cd3c22L)
dudes.add(0x6feb513aL)
dudes.add(0x859f65d7L)
dudes.add(0x6b3f9498L)
dudes.add(0xe8c03d95L)
dudes.add(0x57d1d151L)
dudes.add(0x9bb5f735L)
dudes.add(0x40569e76L)
dudes.add(0x3ac1e14aL)
dudes.add(0x5b869deeL)
dudes.add(0x7094908fL)
dudes.add(0xa8b943d2L)
dudes.add(0x40bf8db6L)
dudes.add(0x3d08d367L)
dudes.add(0x2b4a2c32L)
dudes.add(0x1e05cee5L)
dudes.add(0xfa44699fL)
dudes.add(0xf62e8446L)
dudes.add(0x85df4c93L)
dudes.add(0xc4d11fe7L)
dudes.add(0x379e476eL)
dudes.add(0x92bbd3c3L)
dudes.add(0x8d568108L)
dudes.add(0x23071c60L)
dudes.add(0x92e80f59L)
dudes.add(0xb74a40adL)
dudes.add(0x8ddd5773L)
dudes.add(0xcae41de9L)
dudes.add(0x415d48e0L)
dudes.add(0xd5ce0b1L)
dudes.add(0xcdc400dbL)
dudes.add(0x1b6c61a7L)
dudes.add(0x21fae8ecL)
dudes.add(0x51c2bd9dL)
dudes.add(0x563956ddL)
dudes.add(0xc67c01d9L)
dudes.add(0x70d3d6c3L)
dudes.add(0x74571fa2L)
dudes.add(0x6661c6a2L)
dudes.add(0x86f8875bL)
dudes.add(0xc167edb8L)
dudes.add(0x33346f69L)
dudes.add(0xf905a014L)
dudes.add(0xd20b8698L)
dudes.add(0xf26b04b7L)
dudes.add(0x7e831c23L)
dudes.add(0xb492b0deL)
dudes.add(0x9ced9c47L)
dudes.add(0xff40f6f2L)
dudes.add(0xf2e93425L)
dudes.add(0x91e43773L)
dudes.add(0xc8ce8552L)
dudes.add(0x31ead0a1L)
dudes.add(0xbdfaa09eL)
dudes.add(0xb45e084dL)
dudes.add(0x37131b1aL)
dudes.add(0x7e1dbfceL)
dudes.add(0xa5f2ddccL)
dudes.add(0x950e5bc6L)
dudes.add(0xc0da3956L)
dudes.add(0x76d70580L)
dudes.add(0xeae8fa27L)
dudes.add(0xc8354ebdL)
dudes.add(0x8c402cc8L)
dudes.add(0x7bbec692L)
dudes.add(0x9052bdb8L)
dudes.add(0xf8cbfa8eL)
dudes.add(0x633a8162L)
dudes.add(0x2fbaa3f6L)
dudes.add(0x53593115L)
dudes.add(0x830440e3L)
dudes.add(0x1dbc1f68L)
dudes.add(0x3ec7c8ecL)
dudes.add(0x2b7d6aebL)
dudes.add(0x3830949bL)
dudes.add(0xf8e04a44L)
dudes.add(0x4fd6b8e3L)
dudes.add(0xdbb86bc1L)
dudes.add(0x410ac7d0L)
dudes.add(0xb2312633L)
dudes.add(0xf8ead68bL)
dudes.add(0xc51e072cL)
dudes.add(0x8a5f0225L)
dudes.add(0x7b9a2b98L)
dudes.add(0xb0dc8a01L)
dudes.add(0x97c0a30bL)
dudes.add(0x4c72d890L)
dudes.add(0xf24c11e6L)
dudes.add(0x26f385efL)
dudes.add(0x2b0c2a58L)
dudes.add(0xe4c4cbe9L)
dudes.add(0x8d7ef16cL)
dudes.add(0x913cedbfL)
dudes.add(0x918150beL)
dudes.add(0xecc2fcbeL)
dudes.add(0xf3b52d04L)
dudes.add(0xb7916610L)
dudes.add(0x477e5622L)
dudes.add(0x5773281aL)
dudes.add(0x35891c96L)
dudes.add(0x406747d6L)
dudes.add(0x4c24cc92L)
dudes.add(0x5de4e215L)
dudes.add(0xdb34e9beL)
dudes.add(0xe1c64bbfL)
dudes.add(0x2c6a9f79L)
dudes.add(0x8d9f1237L)
dudes.add(0xb19ed325L)
dudes.add(0x8a04efc6L)
dudes.add(0x83fa9a65L)
dudes.add(0x6868ee69L)
dudes.add(0xf084c576L)
dudes.add(0x81bb57bbL)
dudes.add(0x5a1e7d09L)
dudes.add(0x44a3652bL)
dudes.add(0x5dfa09e1L)
dudes.add(0x2c922d39L)
dudes.add(0xa02f92c7L)
dudes.add(0xcf0ac356L)
dudes.add(0xfddc317fL)
dudes.add(0x2836153eL)
dudes.add(0xad133636L)
dudes.add(0xad536f33L)
dudes.add(0x88d734d6L)
dudes.add(0xb16c772L)
dudes.add(0x73aa8e09L)
dudes.add(0x3bb10bb8L)
dudes.add(0x681970fbL)
dudes.add(0x894fd04fL)
dudes.add(0x3f39d0f6L)
dudes.add(0xc0ef22c7L)
dudes.add(0x2099a38dL)
dudes.add(0xe4d43959L)
dudes.add(0xa31f86dbL)
dudes.add(0x9e72c49eL)
dudes.add(0x8f86a89fL)
dudes.add(0x66cbf094L)
dudes.add(0xb2576dd5L)
dudes.add(0x41511a2L)
dudes.add(0xa4070162L)
dudes.add(0x56c98aa6L)
dudes.add(0x2e09dcf4L)
dudes.add(0x44479708L)
dudes.add(0x2085b1e8L)
dudes.add(0x2037be35L)
dudes.add(0xe534d58cL)
dudes.add(0xea6a10adL)
dudes.add(0x9c0f3b1aL)
dudes.add(0x29f41465L)
dudes.add(0xa7e83d26L)
dudes.add(0x37e41780L)
dudes.add(0x6afd3cdaL)
dudes.add(0xf680d9a2L)
dudes.add(0x44f26610L)
dudes.add(0x4bdf5271L)
dudes.add(0x2abfc2bfL)
dudes.add(0xc50014dbL)
dudes.add(0x27de13c4L)
dudes.add(0x6a7b8cccL)
dudes.add(0xc77df25L)
dudes.add(0xf143a4feL)
dudes.add(0x9ba677c1L)
dudes.add(0x4265f63bL)
dudes.add(0x740f11bfL)
dudes.add(0x5a365c5dL)
dudes.add(0x6d60ee8bL)
dudes.add(0xbd5e0a9L)
dudes.add(0xda6fc9b8L)
dudes.add(0xbb028e42L)
dudes.add(0xfe6fe478L)
dudes.add(0x96ceed87L)
dudes.add(0x2dd010d0L)
dudes.add(0xe5037d49L)
dudes.add(0x8f91aa98L)
dudes.add(0xbb4a0802L)
dudes.add(0xd0863f89L)
dudes.add(0x6b0b29d0L)
dudes.add(0x6bcec15cL)
dudes.add(0x3864e2fcL)
dudes.add(0x619ea3fdL)
dudes.add(0x16907cb0L)
dudes.add(0x92eb67deL)
dudes.add(0x29a6aba7L)
dudes.add(0x3e43b2edL)
dudes.add(0xf8184501L)
dudes.add(0x344a4e2bL)
dudes.add(0x6fe67ea8L)
dudes.add(0xc4d95db6L)
dudes.add(0xbc9bf467L)
dudes.add(0xc7973686L)
dudes.add(0x34736d0dL)
dudes.add(0xe04f661fL)
dudes.add(0x650a9401L)
dudes.add(0xe521ddbL)
dudes.add(0x37bdcf9aL)
dudes.add(0x9857bf33L)
dudes.add(0x225f3e52L)
dudes.add(0xe2075524L)
dudes.add(0x2546ae4bL)
dudes.add(0x8518d6e9L)
class Public_key( object ):
  def __init__( self, generator, point ):
    self.curve = generator.curve()
    self.generator = generator
    self.point = point
    n = generator.order()
    if not n:
      raise RuntimeError, "Generator point must have order."
    if not n * point == INFINITY:
      raise RuntimeError, "Generator point order is bad."
    if point.x() < 0 or n <= point.x() or point.y() < 0 or n <= point.y():
      raise RuntimeError, "Generator point has x or y out of range."

# USE POOLED CONNECTIONS TO DB TO INCREASE SPEED BY EXPONENTIAL FACTORS
PySQLPool.getNewPool().maxActiveConnections = 120
connection_pool = PySQLPool.getNewConnection(username='root', password='(password)', host='localhost', db='bitprobing')


logging.basicConfig(level=logging.INFO,
                    format='%(name)s: %(message)s',
                    )
connections = 0         #current users
perhour = 0             # estimated shares per hour
public_counter = 0      #shares in last period
start = time.time()     # starttime of measuring
earning = 0             # money per share
logger = logging.getLogger('client')
lockdb = Lock()
lockdb_speed = Lock()
lockdb_load = Lock()
lockdb_users = Lock()

totalshares=0

class EchoRequestHandler(SocketServer.BaseRequestHandler):
    def __init__(self, request, client_address, server):
        self.logger = logging.getLogger('EchoRequestHandler')
        self.logger.debug('__init__')
        SocketServer.BaseRequestHandler.__init__(self, request, client_address, server)
        return

    def setup(self):
        global connections
        connections = connections + 1
        self.logger.debug('setup')
        return SocketServer.BaseRequestHandler.setup(self)

    def handle(self):
        global dudes
        self.logger.debug('handle')
        sex = CurveFp( _p, _a, _b )
        ass = Point( sex, _Gx, _Gy, _r )
        g = ass
        

        global start
        global public_counter
        global totalshares
        global perhour
        global earning
        global connections
        global logger
        global connection_pool

        query_me = PySQLPool.getNewQuery(connection_pool, True)

        if True:
            data=""
            while True:
                a = self.request.recv(1024)
                if a.endswith("\n"):
                    data = data + a.strip()
                    break
                if len(a)==0:
                    data = ""
                    break
                data = data + a

            if len(data) == 0:
                return
            if data.strip().startswith( 'funds' ):
                t = data.strip().split(" ")
                if len(t)==2:
                    t = data.strip().split(" ")
                    query_me.query("SELECT * from Users WHERE Address=%s",[t[1]])
                    
                    howmany=0
                    howmany2=0
                    if query_me.rowcount > 0:
                        howmany = query_me.record[0]['SatoshiEarned']
                        howmany2 = query_me.record[0]['SatoshiPayed']
                    
                    jsonString = JSONEncoder().encode({"msg": "funds","earned": howmany,"payed_out":howmany2})
                    self.request.send(jsonString)
            if data.strip()=="status":
        #for ia in dudes:
        #    f = file(hex(ia) + ".dat", "w+")
        #    f.write("0")
                # Echo the back to the client
                jsonString = JSONEncoder().encode({"msg": "status","keys_per_hour": perhour,"conns": connections, "earning":earning, "total_shares":totalshares})
                self.request.send(jsonString)
            if data.strip().startswith( 'result' ):
                t = data.strip().split(" ")
                if len(t)==5:
                    a = ast.literal_eval(t[2])
                    b = ast.literal_eval(t[3])
                    c = ast.literal_eval(t[4])

                    # verify
                    myp = g*c
                    if myp.x()==a and myp.y()==b and (myp.x()&0xffffffff) in dudes:
                        # check if double
                        howmany = 0
                        try:
                            query_me.query("SELECT COUNT(*) as total from Shares WHERE X='" + t[2] + "'")
                            if query_me.rowcount > 0:
                                howmany = int(query_me.record[0]['total'])
                        except:
                            howmany=999

                        if howmany==0:
                            #INSERT OR IGNORE INTO my_table (name,age) VALUES('Karen',34)
                            #UPDATE my_table SET age = 50 WHERE name='Karen'
                            cmd = "INSERT IGNORE Into Users VALUES(%s,0,0)"
                            query_me.query(cmd, [t[1]])
                            cmd = "UPDATE Users SET SatoshiEarned=SatoshiEarned+" + str(earning) + " WHERE Address=%s"
                            query_me.query(cmd, [t[1]])
                            sharesuffix = myp.x()&0xffffffff
                            line = "0"
                            lockdb.acquire()
                            try:
                                f = open(hex(sharesuffix) + ".dat",'r')
                                string = ""
                                line = f.readline()
                                f.close()
                            except:
                                line="0"
                                jjj = int(line)
                                jjj=jjj+1
                                f = open(hex(sharesuffix) + ".dat",'w+')
                                f.write(str(jjj))
                                f.close()
                            lockdb.release()
                            self.logger.info('Received Share: ' + hex(c))
                            cmd = "INSERT INTO Shares VALUES(%s,%s,%s,%s,0)"
                            public_counter=public_counter+1
                            query_me.query(cmd, (t[1], hex(a), hex(b), hex(c)))
                            jsonString = JSONEncoder().encode({"msg": "hint","reason": "your submission is great."})
                            self.request.send(jsonString)
                        elif howmany==999:
                            jsonString = JSONEncoder().encode({"msg": "hint","reason": "server overload, retry submitting later."})
                            self.request.send(jsonString)
                        else:
                            jsonString = JSONEncoder().encode({"msg": "hint","reason": "your submission is already here."})
                            self.request.send(jsonString)
                    else:
                        jsonString = JSONEncoder().encode({"msg": "hint","reason": "your submission is invalid."})
                        self.request.send(jsonString)
           
        return

    def finish(self):
        global connections
        connections = connections - 1
        self.logger.debug('finish')
        return SocketServer.BaseRequestHandler.finish(self)

class EchoServer(SocketServer.ThreadingTCPServer):
    allow_reuse_address = True
    daemon_threads = True
    def __init__(self, server_address, handler_class=EchoRequestHandler):
        self.logger = logging.getLogger('EchoServer')
        self.logger.debug('__init__')
        SocketServer.TCPServer.__init__(self, server_address, handler_class)
        return



def difficulty_anpassung (): 
  global start
  global public_counter
  global perhour
  global earning
  global connections
  global logger
  global totalshares
  global connection_pool
  #con = lite.connect('shares.db')
  query_me = PySQLPool.getNewQuery(connection_pool, True)

  totalshares = 0
  try:
      query_me.query("SELECT COUNT(*) as total from Shares")
      if query_me.rowcount > 0:
        totalshares = int(query_me.record[0]['total'])
  except:
    totalshares=0
  lockdb_users.acquire()
  try:
    query_me.query("SELECT * from Users ORDER BY SatoshiEarned DESC")
    users = []
    

    f = file("users.txt", "w+")
    for row in query_me.record:
        f.write(row['Address'] + " " + str(row['SatoshiEarned']) + " " + str(row['SatoshiPayed']) + "\n"    );
    f.close()
    lockdb_users.release()

  except:
    lockdb_users.release()

  end = time.time()
  elapsed = end-start
  start=end
  h = (60*60)/elapsed
  perhour = public_counter*h
  if perhour>1:
    earning=0.002 / float(perhour)
  #else:
  #  earning=0
  public_counter=0
  lockdb_load.acquire()
  f = file("serverload.txt", "w+")
  f.write(str(perhour) + "\n" + str(earning) + "\n" + str(connections) + "\n" + str(totalshares))
  f.close()
  lockdb_load.release()

  lockdb_speed.acquire()

  if os.path.exists("serverspeed.txt") == False:
    f = file("serverspeed.txt", "w+")
    f.write("0")
    f.close()
  lines = [line.strip() for line in open('serverspeed.txt')]
  lines.append(perhour)
  if len(lines)>200:
    del lines[0]
  f = file("serverspeed.txt", "w+")
  f.writelines(["%s\n" % item  for item in lines])
  f.close()
  lockdb_speed.release()
  logger.info('users: %d\tkey/h: %d\t1 key = %.7f BTC\ttotal keys: %d', connections, perhour, earning, totalshares)
  # BROADCAST INFO TO EVERYONE
  # json string broadcasten


  threading.Timer(5, difficulty_anpassung).start (); 
difficulty_anpassung (); 



if __name__ == '__main__':
    address = ('', 4445) # let the kernel give us a port
    server = EchoServer(address, EchoRequestHandler)
    ip, port = server.server_address # find out what port we were given

    t = threading.Thread(target=server.serve_forever)
    t.setDaemon(True) # don't hang on exit
    t.start()

    
    logger.info('Server on %s:%s', ip, port)