193 lines
62 KiB
Python
193 lines
62 KiB
Python
FRONT = 0
|
|
TOP = 1
|
|
X = 0
|
|
Y = 1
|
|
Z = 2
|
|
|
|
facedir_table = (
|
|
((0, 0, -1), (0, 1, 0)),
|
|
((-1, 0, 0), (0, 1, 0)),
|
|
((0, 0, 1), (0, 1, 0)),
|
|
((1, 0, 0), (0, 1, 0)),
|
|
((0, 1, 0), (0, 0, 1)),
|
|
((-1, 0, 0), (0, 0, 1)),
|
|
((0, -1, 0), (0, 0, 1)),
|
|
((1, 0, 0), (0, 0, 1)),
|
|
((0, -1, 0), (0, 0, -1)),
|
|
((-1, 0, 0), (0, 0, -1)),
|
|
((0, 1, 0), (0, 0, -1)),
|
|
((1, 0, 0), (0, 0, -1)),
|
|
((0, 0, -1), (1, 0, 0)),
|
|
((0, 1, 0), (1, 0, 0)),
|
|
((0, 0, 1), (1, 0, 0)),
|
|
((0, -1, 0), (1, 0, 0)),
|
|
((0, 0, -1), (-1, 0, 0)),
|
|
((0, -1, 0), (-1, 0, 0)),
|
|
((0, 0, 1), (-1, 0, 0)),
|
|
((0, 1, 0), (-1, 0, 0)),
|
|
((0, 0, -1), (0, -1, 0)),
|
|
((1, 0, 0), (0, -1, 0)),
|
|
((0, 0, 1), (0, -1, 0)),
|
|
((-1, 0, 0), (0, -1, 0)),
|
|
)
|
|
|
|
fd = (3, 0, 1, 4, 5, 2)
|
|
|
|
def dir_to_side(d):
|
|
a = d[X] + 2*d[Y] + 3*d[Z]
|
|
if a > 0:
|
|
return a - 1
|
|
else:
|
|
return 2 - a
|
|
|
|
def side_to_dir(s):
|
|
return ((1, 0, 0), (0, 1, 0), (0, 0, 1), (-1, 0, 0), (0, -1, 0), (0, 0, -1))[s]
|
|
|
|
dirs_to_facedir = [None]*36
|
|
for i in range(24):
|
|
top = dir_to_side(facedir_table[i][TOP])
|
|
front = dir_to_side(facedir_table[i][FRONT])
|
|
dirs_to_facedir[6*top+front] = i
|
|
|
|
def cross(a, b):
|
|
return (a[Y]*b[Z] - a[Z]*b[Y], a[Z]*b[X] - a[X]*b[Z], a[X]*b[Y] - a[Y]*b[X])
|
|
|
|
def facedir_from_dirs(top, front):
|
|
return dirs_to_facedir[6*dir_to_side(top)+dir_to_side(front)]
|
|
|
|
def rv(v, d):
|
|
vs = dir_to_side(v)
|
|
side = dir_to_side(d)
|
|
if vs%3 == side%3:
|
|
return v
|
|
else:
|
|
return cross(v, dir)
|
|
|
|
def rotate_side(facedir, side):
|
|
if side%3 == 1:
|
|
if side == 1:
|
|
return dir_to_side(facedir_table[facedir][TOP])
|
|
else:
|
|
return (dir_to_side(facedir_table[facedir][TOP])+3)%6
|
|
elif side%3 == 2:
|
|
if side == 5:
|
|
return dir_to_side(facedir_table[facedir][FRONT])
|
|
else:
|
|
return (dir_to_side(facedir_table[facedir][FRONT])+3)%6
|
|
else:
|
|
if side == 0:
|
|
return dir_to_side(cross(facedir_table[facedir][FRONT], facedir_table[facedir][TOP]))
|
|
else:
|
|
return dir_to_side(cross(facedir_table[facedir][TOP], facedir_table[facedir][FRONT]))
|
|
|
|
def get_pointed_side(side, i):
|
|
index = fd[side]*4 + i
|
|
return dir_to_side(facedir_table[index][FRONT])
|
|
|
|
def get_pointed_index(side, pointed):
|
|
return facedir_from_dirs(side_to_dir(side), side_to_dir(pointed))%4
|
|
|
|
def rotate_n(facedir, n):
|
|
n2 = 0
|
|
for i in range(24):
|
|
if n&(1<<i):
|
|
side, index = i//4, i%4
|
|
pside = get_pointed_side(side, index)
|
|
nside = rotate_side(facedir, side)
|
|
npside = rotate_side(facedir, pside)
|
|
nindex = get_pointed_index(nside, npside)
|
|
n2 |= (1<<(4*nside+nindex))
|
|
return n2
|
|
|
|
def is_valid(n):
|
|
sides_connected = [False]*6
|
|
for side in range(6):
|
|
mask = 15<<(4*side)
|
|
sides_connected[side] = (mask&n != 0)
|
|
for side in range(6):
|
|
if sides_connected[side]:
|
|
for index in range(4):
|
|
pside = get_pointed_side(side, index)
|
|
if sides_connected[pside] and (n&(1<<(4*side+index))==0):
|
|
return False
|
|
return True
|
|
|
|
def n_to_sides(n):
|
|
sides_connected = [False]*6
|
|
for side in range(6):
|
|
mask = 15<<(4*side)
|
|
sides_connected[side] = (mask&n != 0)
|
|
s = tuple([i for i in range(6) if sides_connected[i]])
|
|
s2 = tuple([(i//4, get_pointed_side(i//4, i%4)) for i in range(24) if n&(1<<i)])
|
|
return (s, s2)
|
|
|
|
def hash_sides(sides):
|
|
n = 0
|
|
for side in sides[0]:
|
|
n += (1<<side)
|
|
for connect in sides[1]:
|
|
n += (1<<(6*connect[0]+connect[1]+6))
|
|
return n
|
|
|
|
def rotate_sides(facedir, sides):
|
|
t1 = tuple([rotate_side(facedir, side) for side in sides[0]])
|
|
t2 = tuple([(rotate_side(facedir, connect[0]),rotate_side(facedir, connect[1])) for connect in sides[1]])
|
|
return (t1, t2)
|
|
|
|
s = "wires.rotated_sides = {\n"
|
|
for facedir in range(24):
|
|
s += "\t"+", ".join([str(rotate_side(facedir, side)) for side in range(6)])+",\n"
|
|
s += "}"
|
|
print s
|
|
|
|
#lvalid = []
|
|
lvalid = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 32, 48, 64, 80, 96, 112, 128, 130, 131, 134, 135, 138, 139, 142, 143, 144, 146, 147, 150, 151, 154, 155, 158, 159, 160, 162, 163, 166, 167, 170, 171, 174, 175, 176, 178, 179, 182, 183, 186, 187, 190, 191, 192, 194, 195, 198, 199, 202, 203, 206, 207, 208, 210, 211, 214, 215, 218, 219, 222, 223, 224, 226, 227, 230, 231, 234, 235, 238, 239, 240, 242, 243, 246, 247, 250, 251, 254, 255, 256, 320, 336, 352, 368, 448, 464, 480, 496, 512, 768, 832, 848, 864, 880, 960, 976, 992, 1008, 1024, 1280, 1344, 1360, 1376, 1392, 1472, 1488, 1504, 1520, 1536, 1792, 1856, 1872, 1888, 1904, 1984, 2000, 2016, 2032, 2048, 2052, 2053, 2054, 2055, 2060, 2061, 2062, 2063, 2304, 2308, 2309, 2310, 2311, 2316, 2317, 2318, 2319, 2368, 2384, 2400, 2416, 2496, 2502, 2503, 2510, 2511, 2512, 2518, 2519, 2526, 2527, 2528, 2534, 2535, 2542, 2543, 2544, 2550, 2551, 2558, 2559, 2560, 2564, 2565, 2566, 2567, 2572, 2573, 2574, 2575, 2816, 2820, 2821, 2822, 2823, 2828, 2829, 2830, 2831, 2880, 2896, 2912, 2928, 3008, 3014, 3015, 3022, 3023, 3024, 3030, 3031, 3038, 3039, 3040, 3046, 3047, 3054, 3055, 3056, 3062, 3063, 3070, 3071, 3072, 3076, 3077, 3078, 3079, 3084, 3085, 3086, 3087, 3328, 3332, 3333, 3334, 3335, 3340, 3341, 3342, 3343, 3392, 3408, 3424, 3440, 3520, 3526, 3527, 3534, 3535, 3536, 3542, 3543, 3550, 3551, 3552, 3558, 3559, 3566, 3567, 3568, 3574, 3575, 3582, 3583, 3584, 3588, 3589, 3590, 3591, 3596, 3597, 3598, 3599, 3840, 3844, 3845, 3846, 3847, 3852, 3853, 3854, 3855, 3904, 3920, 3936, 3952, 4032, 4038, 4039, 4046, 4047, 4048, 4054, 4055, 4062, 4063, 4064, 4070, 4071, 4078, 4079, 4080, 4086, 4087, 4094, 4095, 4096, 4097, 4098, 4099, 4100, 4101, 4102, 4103, 4104, 4105, 4106, 4107, 4108, 4109, 4110, 4111, 8192, 8193, 8194, 8195, 8196, 8197, 8198, 8199, 8200, 8201, 8202, 8203, 8204, 8205, 8206, 8207, 12288, 12289, 12290, 12291, 12292, 12293, 12294, 12295, 12296, 12297, 12298, 12299, 12300, 12301, 12302, 12303, 16384, 16385, 16386, 16387, 16388, 16389, 16390, 16391, 16392, 16393, 16394, 16395, 16396, 16397, 16398, 16399, 16896, 17152, 17920, 18176, 18944, 18948, 18949, 18950, 18951, 18956, 18957, 18958, 18959, 19200, 19204, 19205, 19206, 19207, 19212, 19213, 19214, 19215, 19968, 19972, 19973, 19974, 19975, 19980, 19981, 19982, 19983, 20224, 20228, 20229, 20230, 20231, 20236, 20237, 20238, 20239, 20480, 20481, 20482, 20483, 20484, 20485, 20486, 20487, 20488, 20489, 20490, 20491, 20492, 20493, 20494, 20495, 20992, 21248, 22016, 22272, 23040, 23044, 23045, 23046, 23047, 23052, 23053, 23054, 23055, 23296, 23300, 23301, 23302, 23303, 23308, 23309, 23310, 23311, 24064, 24068, 24069, 24070, 24071, 24076, 24077, 24078, 24079, 24320, 24324, 24325, 24326, 24327, 24332, 24333, 24334, 24335, 24576, 24577, 24578, 24579, 24580, 24581, 24582, 24583, 24584, 24585, 24586, 24587, 24588, 24589, 24590, 24591, 25088, 25344, 26112, 26368, 27136, 27140, 27141, 27142, 27143, 27148, 27149, 27150, 27151, 27392, 27396, 27397, 27398, 27399, 27404, 27405, 27406, 27407, 28160, 28164, 28165, 28166, 28167, 28172, 28173, 28174, 28175, 28416, 28420, 28421, 28422, 28423, 28428, 28429, 28430, 28431, 28672, 28673, 28674, 28675, 28676, 28677, 28678, 28679, 28680, 28681, 28682, 28683, 28684, 28685, 28686, 28687, 29184, 29440, 30208, 30464, 31232, 31236, 31237, 31238, 31239, 31244, 31245, 31246, 31247, 31488, 31492, 31493, 31494, 31495, 31500, 31501, 31502, 31503, 32256, 32260, 32261, 32262, 32263, 32268, 32269, 32270, 32271, 32512, 32516, 32517, 32518, 32519, 32524, 32525, 32526, 32527, 32768, 32769, 32770, 32771, 32772, 32773, 32774, 32775, 32776, 32777, 32778, 32779, 32780, 32781, 32782, 32783, 32800, 32816, 32864, 32880, 32928, 32930, 32931, 32934, 32935, 32938, 32939, 32942, 32943, 32944, 32946, 32947, 32950, 32951, 32954, 32955, 32958, 32959, 32992, 32994, 32995, 32998, 32999, 33002, 33003, 33006, 33007, 33008, 33010, 33011, 33014, 33015, 33018, 33019, 33022, 33023, 36864, 36865, 36866, 36867, 36868, 36869, 36870, 36871, 36872, 36873, 36874, 36875, 36876, 36877, 36878, 36879, 36896, 36912, 36960, 36976, 37024, 37026, 37027, 37030, 37031, 37034, 37035, 37038, 37039, 37040, 37042, 37043, 37046, 37047, 37050, 37051, 37054, 37055, 37088, 37090, 37091, 37094, 37095, 37098, 37099, 37102, 37103, 37104, 37106, 37107, 37110, 37111, 37114, 37115, 37118, 37119, 40960, 40961, 40962, 40963, 40964, 40965, 40966, 40967, 40968, 40969, 40970, 40971, 40972, 40973, 40974, 40975, 40992, 41008, 41056, 41072, 41120, 41122, 41123, 41126, 41127, 41130, 41131, 41134, 41135, 41136, 41138, 41139, 41142, 41143, 41146, 41147, 41150, 41151, 41184, 41186, 41187, 41190, 41191, 41194, 41195, 41198, 41199, 41200, 41202, 41203, 41206, 41207, 41210, 41211, 41214, 41215, 45056, 45057, 45058, 45059, 45060, 45061, 45062, 45063, 45064, 45065, 45066, 45067, 45068, 45069, 45070, 45071, 45088, 45104, 45152, 45168, 45216, 45218, 45219, 45222, 45223, 45226, 45227, 45230, 45231, 45232, 45234, 45235, 45238, 45239, 45242, 45243, 45246, 45247, 45280, 45282, 45283, 45286, 45287, 45290, 45291, 45294, 45295, 45296, 45298, 45299, 45302, 45303, 45306, 45307, 45310, 45311, 49152, 49153, 49154, 49155, 49156, 49157, 49158, 49159, 49160, 49161, 49162, 49163, 49164, 49165, 49166, 49167, 49184, 49200, 49248, 49264, 49312, 49314, 49315, 49318, 49319, 49322, 49323, 49326, 49327, 49328, 49330, 49331, 49334, 49335, 49338, 49339, 49342, 49343, 49376, 49378, 49379, 49382, 49383, 49386, 49387, 49390, 49391, 49392, 49394, 49395, 49398, 49399, 49402, 49403, 49406, 49407, 49664, 49920, 50016, 50032, 50144, 50160, 50688, 50944, 51040, 51056, 51168, 51184, 51712, 51716, 51717, 51718, 51719, 51724, 51725, 51726, 51727, 51968, 51972, 51973, 51974, 51975, 51980, 51981, 51982, 51983, 52064, 52080, 52192, 52198, 52199, 52206, 52207, 52208, 52214, 52215, 52222, 52223, 52736, 52740, 52741, 52742, 52743, 52748, 52749, 52750, 52751, 52992, 52996, 52997, 52998, 52999, 53004, 53005, 53006, 53007, 53088, 53104, 53216, 53222, 53223, 53230, 53231, 53232, 53238, 53239, 53246, 53247, 53248, 53249, 53250, 53251, 53252, 53253, 53254, 53255, 53256, 53257, 53258, 53259, 53260, 53261, 53262, 53263, 53280, 53296, 53344, 53360, 53408, 53410, 53411, 53414, 53415, 53418, 53419, 53422, 53423, 53424, 53426, 53427, 53430, 53431, 53434, 53435, 53438, 53439, 53472, 53474, 53475, 53478, 53479, 53482, 53483, 53486, 53487, 53488, 53490, 53491, 53494, 53495, 53498, 53499, 53502, 53503, 53760, 54016, 54112, 54128, 54240, 54256, 54784, 55040, 55136, 55152, 55264, 55280, 55808, 55812, 55813, 55814, 55815, 55820, 55821, 55822, 55823, 56064, 56068, 56069, 56070, 56071, 56076, 56077, 56078, 56079, 56160, 56176, 56288, 56294, 56295, 56302, 56303, 56304, 56310, 56311, 56318, 56319, 56832, 56836, 56837, 56838, 56839, 56844, 56845, 56846, 56847, 57088, 57092, 57093, 57094, 57095, 57100, 57101, 57102, 57103, 57184, 57200, 57312, 57318, 57319, 57326, 57327, 57328, 57334, 57335, 57342, 57343, 57344, 57345, 57346, 57347, 57348, 57349, 57350, 57351, 57352, 57353, 57354, 57355, 57356, 57357, 57358, 57359, 57376, 57392, 57440, 57456, 57504, 57506, 57507, 57510, 57511, 57514, 57515, 57518, 57519, 57520, 57522, 57523, 57526, 57527, 57530, 57531, 57534, 57535, 57568, 57570, 57571, 57574, 57575, 57578, 57579, 57582, 57583, 57584, 57586, 57587, 57590, 57591, 57594, 57595, 57598, 57599, 57856, 58112, 58208, 58224, 58336, 58352, 58880, 59136, 59232, 59248, 59360, 59376, 59904, 59908, 59909, 59910, 59911, 59916, 59917, 59918, 59919, 60160, 60164, 60165, 60166, 60167, 60172, 60173, 60174, 60175, 60256, 60272, 60384, 60390, 60391, 60398, 60399, 60400, 60406, 60407, 60414, 60415, 60928, 60932, 60933, 60934, 60935, 60940, 60941, 60942, 60943, 61184, 61188, 61189, 61190, 61191, 61196, 61197, 61198, 61199, 61280, 61296, 61408, 61414, 61415, 61422, 61423, 61424, 61430, 61431, 61438, 61439, 61440, 61441, 61442, 61443, 61444, 61445, 61446, 61447, 61448, 61449, 61450, 61451, 61452, 61453, 61454, 61455, 61472, 61488, 61536, 61552, 61600, 61602, 61603, 61606, 61607, 61610, 61611, 61614, 61615, 61616, 61618, 61619, 61622, 61623, 61626, 61627, 61630, 61631, 61664, 61666, 61667, 61670, 61671, 61674, 61675, 61678, 61679, 61680, 61682, 61683, 61686, 61687, 61690, 61691, 61694, 61695, 61952, 62208, 62304, 62320, 62432, 62448, 62976, 63232, 63328, 63344, 63456, 63472, 64000, 64004, 64005, 64006, 64007, 64012, 64013, 64014, 64015, 64256, 64260, 64261, 64262, 64263, 64268, 64269, 64270, 64271, 64352, 64368, 64480, 64486, 64487, 64494, 64495, 64496, 64502, 64503, 64510, 64511, 65024, 65028, 65029, 65030, 65031, 65036, 65037, 65038, 65039, 65280, 65284, 65285, 65286, 65287, 65292, 65293, 65294, 65295, 65376, 65392, 65504, 65510, 65511, 65518, 65519, 65520, 65526, 65527, 65534, 65535, 65536, 65552, 65568, 65584, 65600, 65616, 65632, 65648, 65664, 65680, 65696, 65712, 65728, 65744, 65760, 65776, 131072, 131080, 131081, 131082, 131083, 131084, 131085, 131086, 131087, 131088, 131104, 131120, 131136, 131152, 131168, 131184, 131200, 131210, 131211, 131214, 131215, 131216, 131226, 131227, 131230, 131231, 131232, 131242, 131243, 131246, 131247, 131248, 131258, 131259, 131262, 131263, 131264, 131274, 131275, 131278, 131279, 131280, 131290, 131291, 131294, 131295, 131296, 131306, 131307, 131310, 131311, 131312, 131322, 131323, 131326, 131327, 196608, 196616, 196617, 196618, 196619, 196620, 196621, 196622, 196623, 196624, 196640, 196656, 196672, 196688, 196704, 196720, 196736, 196746, 196747, 196750, 196751, 196752, 196762, 196763, 196766, 196767, 196768, 196778, 196779, 196782, 196783, 196784, 196794, 196795, 196798, 196799, 196800, 196810, 196811, 196814, 196815, 196816, 196826, 196827, 196830, 196831, 196832, 196842, 196843, 196846, 196847, 196848, 196858, 196859, 196862, 196863, 262144, 262160, 262176, 262192, 262208, 262224, 262240, 262256, 262272, 262288, 262304, 262320, 262336, 262352, 262368, 262384, 263168, 263424, 263488, 263504, 263520, 263536, 263616, 263632, 263648, 263664, 263680, 263936, 264000, 264016, 264032, 264048, 264128, 264144, 264160, 264176, 265216, 265472, 265536, 265552, 265568, 265584, 265664, 265680, 265696, 265712, 265728, 265984, 266048, 266064, 266080, 266096, 266176, 266192, 266208, 266224, 327680, 327696, 327712, 327728, 327744, 327760, 327776, 327792, 327808, 327824, 327840, 327856, 327872, 327888, 327904, 327920, 328704, 328960, 329024, 329040, 329056, 329072, 329152, 329168, 329184, 329200, 329216, 329472, 329536, 329552, 329568, 329584, 329664, 329680, 329696, 329712, 330752, 331008, 331072, 331088, 331104, 331120, 331200, 331216, 331232, 331248, 331264, 331520, 331584, 331600, 331616, 331632, 331712, 331728, 331744, 331760, 393216, 393224, 393225, 393226, 393227, 393228, 393229, 393230, 393231, 393232, 393248, 393264, 393280, 393296, 393312, 393328, 393344, 393354, 393355, 393358, 393359, 393360, 393370, 393371, 393374, 393375, 393376, 393386, 393387, 393390, 393391, 393392, 393402, 393403, 393406, 393407, 393408, 393418, 393419, 393422, 393423, 393424, 393434, 393435, 393438, 393439, 393440, 393450, 393451, 393454, 393455, 393456, 393466, 393467, 393470, 393471, 394240, 394496, 394560, 394576, 394592, 394608, 394688, 394704, 394720, 394736, 394752, 395008, 395072, 395088, 395104, 395120, 395200, 395216, 395232, 395248, 396288, 396300, 396301, 396302, 396303, 396544, 396556, 396557, 396558, 396559, 396608, 396624, 396640, 396656, 396736, 396750, 396751, 396752, 396766, 396767, 396768, 396782, 396783, 396784, 396798, 396799, 396800, 396812, 396813, 396814, 396815, 397056, 397068, 397069, 397070, 397071, 397120, 397136, 397152, 397168, 397248, 397262, 397263, 397264, 397278, 397279, 397280, 397294, 397295, 397296, 397310, 397311, 458752, 458760, 458761, 458762, 458763, 458764, 458765, 458766, 458767, 458768, 458784, 458800, 458816, 458832, 458848, 458864, 458880, 458890, 458891, 458894, 458895, 458896, 458906, 458907, 458910, 458911, 458912, 458922, 458923, 458926, 458927, 458928, 458938, 458939, 458942, 458943, 458944, 458954, 458955, 458958, 458959, 458960, 458970, 458971, 458974, 458975, 458976, 458986, 458987, 458990, 458991, 458992, 459002, 459003, 459006, 459007, 459776, 460032, 460096, 460112, 460128, 460144, 460224, 460240, 460256, 460272, 460288, 460544, 460608, 460624, 460640, 460656, 460736, 460752, 460768, 460784, 461824, 461836, 461837, 461838, 461839, 462080, 462092, 462093, 462094, 462095, 462144, 462160, 462176, 462192, 462272, 462286, 462287, 462288, 462302, 462303, 462304, 462318, 462319, 462320, 462334, 462335, 462336, 462348, 462349, 462350, 462351, 462592, 462604, 462605, 462606, 462607, 462656, 462672, 462688, 462704, 462784, 462798, 462799, 462800, 462814, 462815, 462816, 462830, 462831, 462832, 462846, 462847, 524288, 524304, 524320, 524336, 524352, 524368, 524384, 524400, 524416, 524432, 524448, 524464, 524480, 524496, 524512, 524528, 532480, 536576, 548864, 552960, 565248, 565280, 565296, 565344, 565360, 565408, 565424, 565472, 565488, 569344, 569376, 569392, 569440, 569456, 569504, 569520, 569568, 569584, 581632, 581664, 581680, 581728, 581744, 581792, 581808, 581856, 581872, 585728, 585760, 585776, 585824, 585840, 585888, 585904, 585952, 585968, 589824, 589840, 589856, 589872, 589888, 589904, 589920, 589936, 589952, 589968, 589984, 590000, 590016, 590032, 590048, 590064, 598016, 602112, 614400, 618496, 630784, 630816, 630832, 630880, 630896, 630944, 630960, 631008, 631024, 634880, 634912, 634928, 634976, 634992, 635040, 635056, 635104, 635120, 647168, 647200, 647216, 647264, 647280, 647328, 647344, 647392, 647408, 651264, 651296, 651312, 651360, 651376, 651424, 651440, 651488, 651504, 655360, 655368, 655369, 655370, 655371, 655372, 655373, 655374, 655375, 655376, 655392, 655408, 655424, 655440, 655456, 655472, 655488, 655498, 655499, 655502, 655503, 655504, 655514, 655515, 655518, 655519, 655520, 655530, 655531, 655534, 655535, 655536, 655546, 655547, 655550, 655551, 655552, 655562, 655563, 655566, 655567, 655568, 655578, 655579, 655582, 655583, 655584, 655594, 655595, 655598, 655599, 655600, 655610, 655611, 655614, 655615, 663552, 663560, 663561, 663562, 663563, 663564, 663565, 663566, 663567, 667648, 667656, 667657, 667658, 667659, 667660, 667661, 667662, 667663, 679936, 679944, 679945, 679946, 679947, 679948, 679949, 679950, 679951, 684032, 684040, 684041, 684042, 684043, 684044, 684045, 684046, 684047, 696320, 696328, 696329, 696330, 696331, 696332, 696333, 696334, 696335, 696352, 696368, 696416, 696432, 696480, 696490, 696491, 696494, 696495, 696496, 696506, 696507, 696510, 696511, 696544, 696554, 696555, 696558, 696559, 696560, 696570, 696571, 696574, 696575, 700416, 700424, 700425, 700426, 700427, 700428, 700429, 700430, 700431, 700448, 700464, 700512, 700528, 700576, 700586, 700587, 700590, 700591, 700592, 700602, 700603, 700606, 700607, 700640, 700650, 700651, 700654, 700655, 700656, 700666, 700667, 700670, 700671, 712704, 712712, 712713, 712714, 712715, 712716, 712717, 712718, 712719, 712736, 712752, 712800, 712816, 712864, 712874, 712875, 712878, 712879, 712880, 712890, 712891, 712894, 712895, 712928, 712938, 712939, 712942, 712943, 712944, 712954, 712955, 712958, 712959, 716800, 716808, 716809, 716810, 716811, 716812, 716813, 716814, 716815, 716832, 716848, 716896, 716912, 716960, 716970, 716971, 716974, 716975, 716976, 716986, 716987, 716990, 716991, 717024, 717034, 717035, 717038, 717039, 717040, 717050, 717051, 717054, 717055, 720896, 720904, 720905, 720906, 720907, 720908, 720909, 720910, 720911, 720912, 720928, 720944, 720960, 720976, 720992, 721008, 721024, 721034, 721035, 721038, 721039, 721040, 721050, 721051, 721054, 721055, 721056, 721066, 721067, 721070, 721071, 721072, 721082, 721083, 721086, 721087, 721088, 721098, 721099, 721102, 721103, 721104, 721114, 721115, 721118, 721119, 721120, 721130, 721131, 721134, 721135, 721136, 721146, 721147, 721150, 721151, 729088, 729096, 729097, 729098, 729099, 729100, 729101, 729102, 729103, 733184, 733192, 733193, 733194, 733195, 733196, 733197, 733198, 733199, 745472, 745480, 745481, 745482, 745483, 745484, 745485, 745486, 745487, 749568, 749576, 749577, 749578, 749579, 749580, 749581, 749582, 749583, 761856, 761864, 761865, 761866, 761867, 761868, 761869, 761870, 761871, 761888, 761904, 761952, 761968, 762016, 762026, 762027, 762030, 762031, 762032, 762042, 762043, 762046, 762047, 762080, 762090, 762091, 762094, 762095, 762096, 762106, 762107, 762110, 762111, 765952, 765960, 765961, 765962, 765963, 765964, 765965, 765966, 765967, 765984, 766000, 766048, 766064, 766112, 766122, 766123, 766126, 766127, 766128, 766138, 766139, 766142, 766143, 766176, 766186, 766187, 766190, 766191, 766192, 766202, 766203, 766206, 766207, 778240, 778248, 778249, 778250, 778251, 778252, 778253, 778254, 778255, 778272, 778288, 778336, 778352, 778400, 778410, 778411, 778414, 778415, 778416, 778426, 778427, 778430, 778431, 778464, 778474, 778475, 778478, 778479, 778480, 778490, 778491, 778494, 778495, 782336, 782344, 782345, 782346, 782347, 782348, 782349, 782350, 782351, 782368, 782384, 782432, 782448, 782496, 782506, 782507, 782510, 782511, 782512, 782522, 782523, 782526, 782527, 782560, 782570, 782571, 782574, 782575, 782576, 782586, 782587, 782590, 782591, 786432, 786448, 786464, 786480, 786496, 786512, 786528, 786544, 786560, 786576, 786592, 786608, 786624, 786640, 786656, 786672, 787456, 787712, 787776, 787792, 787808, 787824, 787904, 787920, 787936, 787952, 787968, 788224, 788288, 788304, 788320, 788336, 788416, 788432, 788448, 788464, 789504, 789760, 789824, 789840, 789856, 789872, 789952, 789968, 789984, 790000, 790016, 790272, 790336, 790352, 790368, 790384, 790464, 790480, 790496, 790512, 794624, 798720, 811008, 812544, 812800, 814592, 814848, 815104, 816640, 816896, 818688, 818944, 827392, 827424, 827440, 827488, 827504, 827552, 827568, 827616, 827632, 831488, 831520, 831536, 831584, 831600, 831648, 831664, 831712, 831728, 843776, 843808, 843824, 843872, 843888, 843936, 843952, 844000, 844016, 845312, 845568, 845664, 845680, 845792, 845808, 847360, 847616, 847712, 847728, 847840, 847856, 847872, 847904, 847920, 847968, 847984, 848032, 848048, 848096, 848112, 849408, 849664, 849760, 849776, 849888, 849904, 851456, 851712, 851808, 851824, 851936, 851952, 851968, 851984, 852000, 852016, 852032, 852048, 852064, 852080, 852096, 852112, 852128, 852144, 852160, 852176, 852192, 852208, 852992, 853248, 853312, 853328, 853344, 853360, 853440, 853456, 853472, 853488, 853504, 853760, 853824, 853840, 853856, 853872, 853952, 853968, 853984, 854000, 855040, 855296, 855360, 855376, 855392, 855408, 855488, 855504, 855520, 855536, 855552, 855808, 855872, 855888, 855904, 855920, 856000, 856016, 856032, 856048, 860160, 864256, 876544, 878080, 878336, 880128, 880384, 880640, 882176, 882432, 884224, 884480, 892928, 892960, 892976, 893024, 893040, 893088, 893104, 893152, 893168, 897024, 897056, 897072, 897120, 897136, 897184, 897200, 897248, 897264, 909312, 909344, 909360, 909408, 909424, 909472, 909488, 909536, 909552, 910848, 911104, 911200, 911216, 911328, 911344, 912896, 913152, 913248, 913264, 913376, 913392, 913408, 913440, 913456, 913504, 913520, 913568, 913584, 913632, 913648, 914944, 915200, 915296, 915312, 915424, 915440, 916992, 917248, 917344, 917360, 917472, 917488, 917504, 917512, 917513, 917514, 917515, 917516, 917517, 917518, 917519, 917520, 917536, 917552, 917568, 917584, 917600, 917616, 917632, 917642, 917643, 917646, 917647, 917648, 917658, 917659, 917662, 917663, 917664, 917674, 917675, 917678, 917679, 917680, 917690, 917691, 917694, 917695, 917696, 917706, 917707, 917710, 917711, 917712, 917722, 917723, 917726, 917727, 917728, 917738, 917739, 917742, 917743, 917744, 917754, 917755, 917758, 917759, 918528, 918784, 918848, 918864, 918880, 918896, 918976, 918992, 919008, 919024, 919040, 919296, 919360, 919376, 919392, 919408, 919488, 919504, 919520, 919536, 920576, 920588, 920589, 920590, 920591, 920832, 920844, 920845, 920846, 920847, 920896, 920912, 920928, 920944, 921024, 921038, 921039, 921040, 921054, 921055, 921056, 921070, 921071, 921072, 921086, 921087, 921088, 921100, 921101, 921102, 921103, 921344, 921356, 921357, 921358, 921359, 921408, 921424, 921440, 921456, 921536, 921550, 921551, 921552, 921566, 921567, 921568, 921582, 921583, 921584, 921598, 921599, 925696, 925704, 925705, 925706, 925707, 925708, 925709, 925710, 925711, 929792, 929800, 929801, 929802, 929803, 929804, 929805, 929806, 929807, 942080, 942088, 942089, 942090, 942091, 942092, 942093, 942094, 942095, 943616, 943872, 945664, 945676, 945677, 945678, 945679, 945920, 945932, 945933, 945934, 945935, 946176, 946184, 946185, 946186, 946187, 946188, 946189, 946190, 946191, 947712, 947968, 949760, 949772, 949773, 949774, 949775, 950016, 950028, 950029, 950030, 950031, 958464, 958472, 958473, 958474, 958475, 958476, 958477, 958478, 958479, 958496, 958512, 958560, 958576, 958624, 958634, 958635, 958638, 958639, 958640, 958650, 958651, 958654, 958655, 958688, 958698, 958699, 958702, 958703, 958704, 958714, 958715, 958718, 958719, 962560, 962568, 962569, 962570, 962571, 962572, 962573, 962574, 962575, 962592, 962608, 962656, 962672, 962720, 962730, 962731, 962734, 962735, 962736, 962746, 962747, 962750, 962751, 962784, 962794, 962795, 962798, 962799, 962800, 962810, 962811, 962814, 962815, 974848, 974856, 974857, 974858, 974859, 974860, 974861, 974862, 974863, 974880, 974896, 974944, 974960, 975008, 975018, 975019, 975022, 975023, 975024, 975034, 975035, 975038, 975039, 975072, 975082, 975083, 975086, 975087, 975088, 975098, 975099, 975102, 975103, 976384, 976640, 976736, 976752, 976864, 976880, 978432, 978444, 978445, 978446, 978447, 978688, 978700, 978701, 978702, 978703, 978784, 978800, 978912, 978926, 978927, 978928, 978942, 978943, 978944, 978952, 978953, 978954, 978955, 978956, 978957, 978958, 978959, 978976, 978992, 979040, 979056, 979104, 979114, 979115, 979118, 979119, 979120, 979130, 979131, 979134, 979135, 979168, 979178, 979179, 979182, 979183, 979184, 979194, 979195, 979198, 979199, 980480, 980736, 980832, 980848, 980960, 980976, 982528, 982540, 982541, 982542, 982543, 982784, 982796, 982797, 982798, 982799, 982880, 982896, 983008, 983022, 983023, 983024, 983038, 983039, 983040, 983048, 983049, 983050, 983051, 983052, 983053, 983054, 983055, 983056, 983072, 983088, 983104, 983120, 983136, 983152, 983168, 983178, 983179, 983182, 983183, 983184, 983194, 983195, 983198, 983199, 983200, 983210, 983211, 983214, 983215, 983216, 983226, 983227, 983230, 983231, 983232, 983242, 983243, 983246, 983247, 983248, 983258, 983259, 983262, 983263, 983264, 983274, 983275, 983278, 983279, 983280, 983290, 983291, 983294, 983295, 984064, 984320, 984384, 984400, 984416, 984432, 984512, 984528, 984544, 984560, 984576, 984832, 984896, 984912, 984928, 984944, 985024, 985040, 985056, 985072, 986112, 986124, 986125, 986126, 986127, 986368, 986380, 986381, 986382, 986383, 986432, 986448, 986464, 986480, 986560, 986574, 986575, 986576, 986590, 986591, 986592, 986606, 986607, 986608, 986622, 986623, 986624, 986636, 986637, 986638, 986639, 986880, 986892, 986893, 986894, 986895, 986944, 986960, 986976, 986992, 987072, 987086, 987087, 987088, 987102, 987103, 987104, 987118, 987119, 987120, 987134, 987135, 991232, 991240, 991241, 991242, 991243, 991244, 991245, 991246, 991247, 995328, 995336, 995337, 995338, 995339, 995340, 995341, 995342, 995343, 1007616, 1007624, 1007625, 1007626, 1007627, 1007628, 1007629, 1007630, 1007631, 1009152, 1009408, 1011200, 1011212, 1011213, 1011214, 1011215, 1011456, 1011468, 1011469, 1011470, 1011471, 1011712, 1011720, 1011721, 1011722, 1011723, 1011724, 1011725, 1011726, 1011727, 1013248, 1013504, 1015296, 1015308, 1015309, 1015310, 1015311, 1015552, 1015564, 1015565, 1015566, 1015567, 1024000, 1024008, 1024009, 1024010, 1024011, 1024012, 1024013, 1024014, 1024015, 1024032, 1024048, 1024096, 1024112, 1024160, 1024170, 1024171, 1024174, 1024175, 1024176, 1024186, 1024187, 1024190, 1024191, 1024224, 1024234, 1024235, 1024238, 1024239, 1024240, 1024250, 1024251, 1024254, 1024255, 1028096, 1028104, 1028105, 1028106, 1028107, 1028108, 1028109, 1028110, 1028111, 1028128, 1028144, 1028192, 1028208, 1028256, 1028266, 1028267, 1028270, 1028271, 1028272, 1028282, 1028283, 1028286, 1028287, 1028320, 1028330, 1028331, 1028334, 1028335, 1028336, 1028346, 1028347, 1028350, 1028351, 1040384, 1040392, 1040393, 1040394, 1040395, 1040396, 1040397, 1040398, 1040399, 1040416, 1040432, 1040480, 1040496, 1040544, 1040554, 1040555, 1040558, 1040559, 1040560, 1040570, 1040571, 1040574, 1040575, 1040608, 1040618, 1040619, 1040622, 1040623, 1040624, 1040634, 1040635, 1040638, 1040639, 1041920, 1042176, 1042272, 1042288, 1042400, 1042416, 1043968, 1043980, 1043981, 1043982, 1043983, 1044224, 1044236, 1044237, 1044238, 1044239, 1044320, 1044336, 1044448, 1044462, 1044463, 1044464, 1044478, 1044479, 1044480, 1044488, 1044489, 1044490, 1044491, 1044492, 1044493, 1044494, 1044495, 1044512, 1044528, 1044576, 1044592, 1044640, 1044650, 1044651, 1044654, 1044655, 1044656, 1044666, 1044667, 1044670, 1044671, 1044704, 1044714, 1044715, 1044718, 1044719, 1044720, 1044730, 1044731, 1044734, 1044735, 1046016, 1046272, 1046368, 1046384, 1046496, 1046512, 1048064, 1048076, 1048077, 1048078, 1048079, 1048320, 1048332, 1048333, 1048334, 1048335, 1048416, 1048432, 1048544, 1048558, 1048559, 1048560, 1048574, 1048575, 1048576, 1048832, 1049088, 1049344, 1049600, 1049856, 1050112, 1050368, 1050624, 1050880, 1051136, 1051392, 1051648, 1051904, 1052160, 1052416, 1114112, 1245184, 1376256, 1377280, 1377536, 1377792, 1378048, 1379328, 1379584, 1379840, 1380096, 1507328, 1508352, 1508608, 1508864, 1509120, 1510400, 1510656, 1510912, 1511168, 1638400, 1769472, 1900544, 1901568, 1901824, 1902080, 1902336, 1903616, 1903872, 1904128, 1904384, 2031616, 2032640, 2032896, 2033152, 2033408, 2034688, 2034944, 2035200, 2035456, 2097152, 2097408, 2097664, 2097920, 2098176, 2098432, 2098688, 2098944, 2099200, 2099456, 2099712, 2099968, 2100224, 2100480, 2100736, 2100992, 2101248, 2109440, 2117632, 2118144, 2118400, 2119168, 2119424, 2120192, 2120448, 2121216, 2121472, 2125824, 2126336, 2126592, 2127360, 2127616, 2128384, 2128640, 2129408, 2129664, 2134016, 2142208, 2150400, 2150912, 2151168, 2151936, 2152192, 2152960, 2153216, 2153984, 2154240, 2158592, 2159104, 2159360, 2160128, 2160384, 2161152, 2161408, 2162176, 2162432, 3145728, 3145984, 3146240, 3146496, 3146752, 3147008, 3147264, 3147520, 3147776, 3148032, 3148288, 3148544, 3148800, 3149056, 3149312, 3149568, 3149824, 3158016, 3166208, 3166720, 3166976, 3167744, 3168000, 3168768, 3169024, 3169792, 3170048, 3174400, 3174912, 3175168, 3175936, 3176192, 3176960, 3177216, 3177984, 3178240, 3182592, 3190784, 3198976, 3199488, 3199744, 3200512, 3200768, 3201536, 3201792, 3202560, 3202816, 3207168, 3207680, 3207936, 3208704, 3208960, 3209728, 3209984, 3210752, 3211008, 3211264, 3342336, 3473408, 3474432, 3474688, 3474944, 3475200, 3476480, 3476736, 3476992, 3477248, 3604480, 3605504, 3605760, 3606016, 3606272, 3607552, 3607808, 3608064, 3608320, 3735552, 3747840, 3764224, 3780608, 3796992, 3866624, 3878912, 3895296, 3911680, 3928064, 3997696, 3998720, 3998976, 3999232, 3999488, 4000768, 4001024, 4001280, 4001536, 4009984, 4026368, 4027904, 4028160, 4029952, 4030208, 4042752, 4059136, 4060672, 4060928, 4062720, 4062976, 4128768, 4129792, 4130048, 4130304, 4130560, 4131840, 4132096, 4132352, 4132608, 4141056, 4157440, 4158976, 4159232, 4161024, 4161280, 4173824, 4190208, 4191744, 4192000, 4193792, 4194048, 4194304, 4194320, 4194352, 4194384, 4194416, 4194448, 4194480, 4194512, 4194544, 4194560, 4194640, 4194672, 4194768, 4194800, 4194816, 4195072, 4195152, 4195184, 4195280, 4195312, 4195328, 4195584, 4195664, 4195696, 4195792, 4195824, 4195840, 4196096, 4196176, 4196208, 4196304, 4196336, 4196352, 4196608, 4196688, 4196720, 4196816, 4196848, 4196864, 4197120, 4197200, 4197232, 4197328, 4197360, 4197376, 4197632, 4197712, 4197744, 4197840, 4197872, 4197888, 4198144, 4198224, 4198256, 4198352, 4198384, 5242880, 5242896, 5242928, 5242960, 5242992, 5243024, 5243056, 5243088, 5243120, 5243136, 5243216, 5243248, 5243344, 5243376, 5243392, 5243648, 5243728, 5243760, 5243856, 5243888, 5243904, 5244160, 5244240, 5244272, 5244368, 5244400, 5244416, 5244672, 5244752, 5244784, 5244880, 5244912, 5244928, 5245184, 5245264, 5245296, 5245392, 5245424, 5245440, 5245696, 5245776, 5245808, 5245904, 5245936, 5245952, 5246208, 5246288, 5246320, 5246416, 5246448, 5246464, 5246720, 5246800, 5246832, 5246928, 5246960, 5308416, 5308432, 5308464, 5308496, 5308528, 5308560, 5308592, 5308624, 5308656, 5439488, 5439504, 5439536, 5439568, 5439600, 5439632, 5439664, 5439696, 5439728, 5570560, 5570576, 5570608, 5570640, 5570672, 5570704, 5570736, 5570768, 5570800, 5571584, 5571840, 5571920, 5571952, 5572048, 5572080, 5572096, 5572352, 5572432, 5572464, 5572560, 5572592, 5573632, 5573888, 5573968, 5574000, 5574096, 5574128, 5574144, 5574400, 5574480, 5574512, 5574608, 5574640, 5701632, 5701648, 5701680, 5701712, 5701744, 5701776, 5701808, 5701840, 5701872, 5702656, 5702912, 5702992, 5703024, 5703120, 5703152, 5703168, 5703424, 5703504, 5703536, 5703632, 5703664, 5704704, 5704960, 5705040, 5705072, 5705168, 5705200, 5705216, 5705472, 5705552, 5705584, 5705680, 5705712, 5832704, 5832720, 5832752, 5832784, 5832816, 5832848, 5832880, 5832912, 5832944, 5963776, 5963792, 5963824, 5963856, 5963888, 5963920, 5963952, 5963984, 5964016, 6094848, 6094864, 6094896, 6094928, 6094960, 6094992, 6095024, 6095056, 6095088, 6095872, 6096128, 6096208, 6096240, 6096336, 6096368, 6096384, 6096640, 6096720, 6096752, 6096848, 6096880, 6097920, 6098176, 6098256, 6098288, 6098384, 6098416, 6098432, 6098688, 6098768, 6098800, 6098896, 6098928, 6225920, 6225936, 6225968, 6226000, 6226032, 6226064, 6226096, 6226128, 6226160, 6226944, 6227200, 6227280, 6227312, 6227408, 6227440, 6227456, 6227712, 6227792, 6227824, 6227920, 6227952, 6228992, 6229248, 6229328, 6229360, 6229456, 6229488, 6229504, 6229760, 6229840, 6229872, 6229968, 6230000, 6291456, 6291472, 6291504, 6291536, 6291568, 6291600, 6291632, 6291664, 6291696, 6291712, 6291792, 6291824, 6291920, 6291952, 6291968, 6292224, 6292304, 6292336, 6292432, 6292464, 6292480, 6292736, 6292816, 6292848, 6292944, 6292976, 6292992, 6293248, 6293328, 6293360, 6293456, 6293488, 6293504, 6293760, 6293840, 6293872, 6293968, 6294000, 6294016, 6294272, 6294352, 6294384, 6294480, 6294512, 6294528, 6294784, 6294864, 6294896, 6294992, 6295024, 6295040, 6295296, 6295376, 6295408, 6295504, 6295536, 6295552, 6303744, 6311936, 6312448, 6312704, 6313472, 6313728, 6314496, 6314752, 6315520, 6315776, 6320128, 6320640, 6320896, 6321664, 6321920, 6322688, 6322944, 6323712, 6323968, 6328320, 6328368, 6328432, 6328496, 6328560, 6336512, 6336560, 6336624, 6336688, 6336752, 6344704, 6344752, 6344816, 6344880, 6344944, 6345216, 6345472, 6345584, 6345712, 6346240, 6346496, 6346608, 6346736, 6347264, 6347520, 6347632, 6347760, 6348288, 6348544, 6348656, 6348784, 6352896, 6352944, 6353008, 6353072, 6353136, 6353408, 6353664, 6353776, 6353904, 6354432, 6354688, 6354800, 6354928, 6355456, 6355712, 6355824, 6355952, 6356480, 6356736, 6356848, 6356976, 7340032, 7340048, 7340080, 7340112, 7340144, 7340176, 7340208, 7340240, 7340272, 7340288, 7340368, 7340400, 7340496, 7340528, 7340544, 7340800, 7340880, 7340912, 7341008, 7341040, 7341056, 7341312, 7341392, 7341424, 7341520, 7341552, 7341568, 7341824, 7341904, 7341936, 7342032, 7342064, 7342080, 7342336, 7342416, 7342448, 7342544, 7342576, 7342592, 7342848, 7342928, 7342960, 7343056, 7343088, 7343104, 7343360, 7343440, 7343472, 7343568, 7343600, 7343616, 7343872, 7343952, 7343984, 7344080, 7344112, 7344128, 7352320, 7360512, 7361024, 7361280, 7362048, 7362304, 7363072, 7363328, 7364096, 7364352, 7368704, 7369216, 7369472, 7370240, 7370496, 7371264, 7371520, 7372288, 7372544, 7376896, 7376944, 7377008, 7377072, 7377136, 7385088, 7385136, 7385200, 7385264, 7385328, 7393280, 7393328, 7393392, 7393456, 7393520, 7393792, 7394048, 7394160, 7394288, 7394816, 7395072, 7395184, 7395312, 7395840, 7396096, 7396208, 7396336, 7396864, 7397120, 7397232, 7397360, 7401472, 7401520, 7401584, 7401648, 7401712, 7401984, 7402240, 7402352, 7402480, 7403008, 7403264, 7403376, 7403504, 7404032, 7404288, 7404400, 7404528, 7405056, 7405312, 7405424, 7405552, 7405568, 7405584, 7405616, 7405648, 7405680, 7405712, 7405744, 7405776, 7405808, 7536640, 7536656, 7536688, 7536720, 7536752, 7536784, 7536816, 7536848, 7536880, 7667712, 7667728, 7667760, 7667792, 7667824, 7667856, 7667888, 7667920, 7667952, 7668736, 7668992, 7669072, 7669104, 7669200, 7669232, 7669248, 7669504, 7669584, 7669616, 7669712, 7669744, 7670784, 7671040, 7671120, 7671152, 7671248, 7671280, 7671296, 7671552, 7671632, 7671664, 7671760, 7671792, 7798784, 7798800, 7798832, 7798864, 7798896, 7798928, 7798960, 7798992, 7799024, 7799808, 7800064, 7800144, 7800176, 7800272, 7800304, 7800320, 7800576, 7800656, 7800688, 7800784, 7800816, 7801856, 7802112, 7802192, 7802224, 7802320, 7802352, 7802368, 7802624, 7802704, 7802736, 7802832, 7802864, 7929856, 7929872, 7929904, 7929936, 7929968, 7930000, 7930032, 7930064, 7930096, 7942144, 7958528, 7974912, 7974960, 7975024, 7975088, 7975152, 7991296, 7991344, 7991408, 7991472, 7991536, 8060928, 8060944, 8060976, 8061008, 8061040, 8061072, 8061104, 8061136, 8061168, 8073216, 8089600, 8105984, 8106032, 8106096, 8106160, 8106224, 8122368, 8122416, 8122480, 8122544, 8122608, 8192000, 8192016, 8192048, 8192080, 8192112, 8192144, 8192176, 8192208, 8192240, 8193024, 8193280, 8193360, 8193392, 8193488, 8193520, 8193536, 8193792, 8193872, 8193904, 8194000, 8194032, 8195072, 8195328, 8195408, 8195440, 8195536, 8195568, 8195584, 8195840, 8195920, 8195952, 8196048, 8196080, 8204288, 8220672, 8222208, 8222464, 8224256, 8224512, 8237056, 8237104, 8237168, 8237232, 8237296, 8253440, 8253488, 8253552, 8253616, 8253680, 8254976, 8255232, 8255344, 8255472, 8257024, 8257280, 8257392, 8257520, 8323072, 8323088, 8323120, 8323152, 8323184, 8323216, 8323248, 8323280, 8323312, 8324096, 8324352, 8324432, 8324464, 8324560, 8324592, 8324608, 8324864, 8324944, 8324976, 8325072, 8325104, 8326144, 8326400, 8326480, 8326512, 8326608, 8326640, 8326656, 8326912, 8326992, 8327024, 8327120, 8327152, 8335360, 8351744, 8353280, 8353536, 8355328, 8355584, 8368128, 8368176, 8368240, 8368304, 8368368, 8384512, 8384560, 8384624, 8384688, 8384752, 8386048, 8386304, 8386416, 8386544, 8388096, 8388352, 8388464, 8388592, 8388608, 8388609, 8388611, 8388613, 8388615, 8388617, 8388619, 8388621, 8388623, 8388864, 8389120, 8389376, 8389632, 8389888, 8390144, 8390400, 8390656, 8390661, 8390663, 8390669, 8390671, 8390912, 8390917, 8390919, 8390925, 8390927, 8391168, 8391173, 8391175, 8391181, 8391183, 8391424, 8391429, 8391431, 8391437, 8391439, 8391680, 8391685, 8391687, 8391693, 8391695, 8391936, 8391941, 8391943, 8391949, 8391951, 8392192, 8392197, 8392199, 8392205, 8392207, 8392448, 8392453, 8392455, 8392461, 8392463, 9437184, 9437185, 9437187, 9437189, 9437191, 9437193, 9437195, 9437197, 9437199, 9437440, 9437696, 9437952, 9438208, 9438464, 9438720, 9438976, 9439232, 9439237, 9439239, 9439245, 9439247, 9439488, 9439493, 9439495, 9439501, 9439503, 9439744, 9439749, 9439751, 9439757, 9439759, 9440000, 9440005, 9440007, 9440013, 9440015, 9440256, 9440261, 9440263, 9440269, 9440271, 9440512, 9440517, 9440519, 9440525, 9440527, 9440768, 9440773, 9440775, 9440781, 9440783, 9441024, 9441029, 9441031, 9441037, 9441039, 9502720, 9633792, 9633801, 9633803, 9633805, 9633807, 9764864, 9765888, 9766144, 9766400, 9766656, 9767936, 9768192, 9768448, 9768704, 9895936, 9895945, 9895947, 9895949, 9895951, 9896960, 9897216, 9897472, 9897728, 9899008, 9899021, 9899023, 9899264, 9899277, 9899279, 9899520, 9899533, 9899535, 9899776, 9899789, 9899791, 10027008, 10158080, 10158089, 10158091, 10158093, 10158095, 10289152, 10290176, 10290432, 10290688, 10290944, 10292224, 10292480, 10292736, 10292992, 10420224, 10420233, 10420235, 10420237, 10420239, 10421248, 10421504, 10421760, 10422016, 10423296, 10423309, 10423311, 10423552, 10423565, 10423567, 10423808, 10423821, 10423823, 10424064, 10424077, 10424079, 10485760, 10485761, 10485763, 10485765, 10485767, 10485769, 10485771, 10485773, 10485775, 10486016, 10486272, 10486528, 10486784, 10487040, 10487296, 10487552, 10487808, 10487813, 10487815, 10487821, 10487823, 10488064, 10488069, 10488071, 10488077, 10488079, 10488320, 10488325, 10488327, 10488333, 10488335, 10488576, 10488581, 10488583, 10488589, 10488591, 10488832, 10488837, 10488839, 10488845, 10488847, 10489088, 10489093, 10489095, 10489101, 10489103, 10489344, 10489349, 10489351, 10489357, 10489359, 10489600, 10489605, 10489607, 10489613, 10489615, 10489856, 10489857, 10489859, 10489861, 10489863, 10489865, 10489867, 10489869, 10489871, 10498048, 10498049, 10498051, 10498053, 10498055, 10498057, 10498059, 10498061, 10498063, 10506240, 10506241, 10506243, 10506245, 10506247, 10506249, 10506251, 10506253, 10506255, 10506752, 10507008, 10507776, 10508032, 10508800, 10508805, 10508807, 10508813, 10508815, 10509056, 10509061, 10509063, 10509069, 10509071, 10509824, 10509829, 10509831, 10509837, 10509839, 10510080, 10510085, 10510087, 10510093, 10510095, 10514432, 10514433, 10514435, 10514437, 10514439, 10514441, 10514443, 10514445, 10514447, 10514944, 10515200, 10515968, 10516224, 10516992, 10516997, 10516999, 10517005, 10517007, 10517248, 10517253, 10517255, 10517261, 10517263, 10518016, 10518021, 10518023, 10518029, 10518031, 10518272, 10518277, 10518279, 10518285, 10518287, 10522624, 10522625, 10522627, 10522629, 10522631, 10522633, 10522635, 10522637, 10522639, 10530816, 10530817, 10530819, 10530821, 10530823, 10530825, 10530827, 10530829, 10530831, 10539008, 10539009, 10539011, 10539013, 10539015, 10539017, 10539019, 10539021, 10539023, 10539520, 10539776, 10540544, 10540800, 10541568, 10541573, 10541575, 10541581, 10541583, 10541824, 10541829, 10541831, 10541837, 10541839, 10542592, 10542597, 10542599, 10542605, 10542607, 10542848, 10542853, 10542855, 10542861, 10542863, 10547200, 10547201, 10547203, 10547205, 10547207, 10547209, 10547211, 10547213, 10547215, 10547712, 10547968, 10548736, 10548992, 10549760, 10549765, 10549767, 10549773, 10549775, 10550016, 10550021, 10550023, 10550029, 10550031, 10550784, 10550789, 10550791, 10550797, 10550799, 10551040, 10551045, 10551047, 10551053, 10551055, 11534336, 11534337, 11534339, 11534341, 11534343, 11534345, 11534347, 11534349, 11534351, 11534592, 11534848, 11535104, 11535360, 11535616, 11535872, 11536128, 11536384, 11536389, 11536391, 11536397, 11536399, 11536640, 11536645, 11536647, 11536653, 11536655, 11536896, 11536901, 11536903, 11536909, 11536911, 11537152, 11537157, 11537159, 11537165, 11537167, 11537408, 11537413, 11537415, 11537421, 11537423, 11537664, 11537669, 11537671, 11537677, 11537679, 11537920, 11537925, 11537927, 11537933, 11537935, 11538176, 11538181, 11538183, 11538189, 11538191, 11538432, 11538433, 11538435, 11538437, 11538439, 11538441, 11538443, 11538445, 11538447, 11546624, 11546625, 11546627, 11546629, 11546631, 11546633, 11546635, 11546637, 11546639, 11554816, 11554817, 11554819, 11554821, 11554823, 11554825, 11554827, 11554829, 11554831, 11555328, 11555584, 11556352, 11556608, 11557376, 11557381, 11557383, 11557389, 11557391, 11557632, 11557637, 11557639, 11557645, 11557647, 11558400, 11558405, 11558407, 11558413, 11558415, 11558656, 11558661, 11558663, 11558669, 11558671, 11563008, 11563009, 11563011, 11563013, 11563015, 11563017, 11563019, 11563021, 11563023, 11563520, 11563776, 11564544, 11564800, 11565568, 11565573, 11565575, 11565581, 11565583, 11565824, 11565829, 11565831, 11565837, 11565839, 11566592, 11566597, 11566599, 11566605, 11566607, 11566848, 11566853, 11566855, 11566861, 11566863, 11571200, 11571201, 11571203, 11571205, 11571207, 11571209, 11571211, 11571213, 11571215, 11579392, 11579393, 11579395, 11579397, 11579399, 11579401, 11579403, 11579405, 11579407, 11587584, 11587585, 11587587, 11587589, 11587591, 11587593, 11587595, 11587597, 11587599, 11588096, 11588352, 11589120, 11589376, 11590144, 11590149, 11590151, 11590157, 11590159, 11590400, 11590405, 11590407, 11590413, 11590415, 11591168, 11591173, 11591175, 11591181, 11591183, 11591424, 11591429, 11591431, 11591437, 11591439, 11595776, 11595777, 11595779, 11595781, 11595783, 11595785, 11595787, 11595789, 11595791, 11596288, 11596544, 11597312, 11597568, 11598336, 11598341, 11598343, 11598349, 11598351, 11598592, 11598597, 11598599, 11598605, 11598607, 11599360, 11599365, 11599367, 11599373, 11599375, 11599616, 11599621, 11599623, 11599629, 11599631, 11599872, 11730944, 11730953, 11730955, 11730957, 11730959, 11862016, 11863040, 11863296, 11863552, 11863808, 11865088, 11865344, 11865600, 11865856, 11993088, 11993097, 11993099, 11993101, 11993103, 11994112, 11994368, 11994624, 11994880, 11996160, 11996173, 11996175, 11996416, 11996429, 11996431, 11996672, 11996685, 11996687, 11996928, 11996941, 11996943, 12124160, 12136448, 12152832, 12169216, 12185600, 12255232, 12255241, 12255243, 12255245, 12255247, 12267520, 12267529, 12267531, 12267533, 12267535, 12283904, 12283913, 12283915, 12283917, 12283919, 12300288, 12300297, 12300299, 12300301, 12300303, 12316672, 12316681, 12316683, 12316685, 12316687, 12386304, 12387328, 12387584, 12387840, 12388096, 12389376, 12389632, 12389888, 12390144, 12398592, 12414976, 12416512, 12416768, 12418560, 12418816, 12431360, 12447744, 12449280, 12449536, 12451328, 12451584, 12517376, 12517385, 12517387, 12517389, 12517391, 12518400, 12518656, 12518912, 12519168, 12520448, 12520461, 12520463, 12520704, 12520717, 12520719, 12520960, 12520973, 12520975, 12521216, 12521229, 12521231, 12529664, 12529673, 12529675, 12529677, 12529679, 12546048, 12546057, 12546059, 12546061, 12546063, 12547584, 12547840, 12549632, 12549645, 12549647, 12549888, 12549901, 12549903, 12562432, 12562441, 12562443, 12562445, 12562447, 12578816, 12578825, 12578827, 12578829, 12578831, 12580352, 12580608, 12582400, 12582413, 12582415, 12582656, 12582669, 12582671, 12582912, 12582913, 12582915, 12582917, 12582919, 12582921, 12582923, 12582925, 12582927, 12582928, 12582960, 12582992, 12583024, 12583056, 12583059, 12583063, 12583067, 12583071, 12583088, 12583091, 12583095, 12583099, 12583103, 12583120, 12583123, 12583127, 12583131, 12583135, 12583152, 12583155, 12583159, 12583163, 12583167, 12583168, 12583248, 12583280, 12583376, 12583408, 12583424, 12583680, 12583760, 12583792, 12583888, 12583920, 12583936, 12584192, 12584272, 12584304, 12584400, 12584432, 12584448, 12584704, 12584784, 12584816, 12584912, 12584944, 12584960, 12584965, 12584967, 12584973, 12584975, 12585216, 12585221, 12585223, 12585229, 12585231, 12585296, 12585328, 12585424, 12585431, 12585439, 12585456, 12585463, 12585471, 12585472, 12585477, 12585479, 12585485, 12585487, 12585728, 12585733, 12585735, 12585741, 12585743, 12585808, 12585840, 12585936, 12585943, 12585951, 12585968, 12585975, 12585983, 12585984, 12585989, 12585991, 12585997, 12585999, 12586240, 12586245, 12586247, 12586253, 12586255, 12586320, 12586352, 12586448, 12586455, 12586463, 12586480, 12586487, 12586495, 12586496, 12586501, 12586503, 12586509, 12586511, 12586752, 12586757, 12586759, 12586765, 12586767, 12586832, 12586864, 12586960, 12586967, 12586975, 12586992, 12586999, 12587007, 13631488, 13631489, 13631491, 13631493, 13631495, 13631497, 13631499, 13631501, 13631503, 13631504, 13631536, 13631568, 13631600, 13631632, 13631635, 13631639, 13631643, 13631647, 13631664, 13631667, 13631671, 13631675, 13631679, 13631696, 13631699, 13631703, 13631707, 13631711, 13631728, 13631731, 13631735, 13631739, 13631743, 13631744, 13631824, 13631856, 13631952, 13631984, 13632000, 13632256, 13632336, 13632368, 13632464, 13632496, 13632512, 13632768, 13632848, 13632880, 13632976, 13633008, 13633024, 13633280, 13633360, 13633392, 13633488, 13633520, 13633536, 13633541, 13633543, 13633549, 13633551, 13633792, 13633797, 13633799, 13633805, 13633807, 13633872, 13633904, 13634000, 13634007, 13634015, 13634032, 13634039, 13634047, 13634048, 13634053, 13634055, 13634061, 13634063, 13634304, 13634309, 13634311, 13634317, 13634319, 13634384, 13634416, 13634512, 13634519, 13634527, 13634544, 13634551, 13634559, 13634560, 13634565, 13634567, 13634573, 13634575, 13634816, 13634821, 13634823, 13634829, 13634831, 13634896, 13634928, 13635024, 13635031, 13635039, 13635056, 13635063, 13635071, 13635072, 13635077, 13635079, 13635085, 13635087, 13635328, 13635333, 13635335, 13635341, 13635343, 13635408, 13635440, 13635536, 13635543, 13635551, 13635568, 13635575, 13635583, 13697024, 13697040, 13697072, 13697104, 13697136, 13697168, 13697200, 13697232, 13697264, 13828096, 13828105, 13828107, 13828109, 13828111, 13828112, 13828144, 13828176, 13828208, 13828240, 13828251, 13828255, 13828272, 13828283, 13828287, 13828304, 13828315, 13828319, 13828336, 13828347, 13828351, 13959168, 13959184, 13959216, 13959248, 13959280, 13959312, 13959344, 13959376, 13959408, 13960192, 13960448, 13960528, 13960560, 13960656, 13960688, 13960704, 13960960, 13961040, 13961072, 13961168, 13961200, 13962240, 13962496, 13962576, 13962608, 13962704, 13962736, 13962752, 13963008, 13963088, 13963120, 13963216, 13963248, 14090240, 14090249, 14090251, 14090253, 14090255, 14090256, 14090288, 14090320, 14090352, 14090384, 14090395, 14090399, 14090416, 14090427, 14090431, 14090448, 14090459, 14090463, 14090480, 14090491, 14090495, 14091264, 14091520, 14091600, 14091632, 14091728, 14091760, 14091776, 14092032, 14092112, 14092144, 14092240, 14092272, 14093312, 14093325, 14093327, 14093568, 14093581, 14093583, 14093648, 14093680, 14093776, 14093791, 14093808, 14093823, 14093824, 14093837, 14093839, 14094080, 14094093, 14094095, 14094160, 14094192, 14094288, 14094303, 14094320, 14094335, 14221312, 14221328, 14221360, 14221392, 14221424, 14221456, 14221488, 14221520, 14221552, 14352384, 14352393, 14352395, 14352397, 14352399, 14352400, 14352432, 14352464, 14352496, 14352528, 14352539, 14352543, 14352560, 14352571, 14352575, 14352592, 14352603, 14352607, 14352624, 14352635, 14352639, 14483456, 14483472, 14483504, 14483536, 14483568, 14483600, 14483632, 14483664, 14483696, 14484480, 14484736, 14484816, 14484848, 14484944, 14484976, 14484992, 14485248, 14485328, 14485360, 14485456, 14485488, 14486528, 14486784, 14486864, 14486896, 14486992, 14487024, 14487040, 14487296, 14487376, 14487408, 14487504, 14487536, 14614528, 14614537, 14614539, 14614541, 14614543, 14614544, 14614576, 14614608, 14614640, 14614672, 14614683, 14614687, 14614704, 14614715, 14614719, 14614736, 14614747, 14614751, 14614768, 14614779, 14614783, 14615552, 14615808, 14615888, 14615920, 14616016, 14616048, 14616064, 14616320, 14616400, 14616432, 14616528, 14616560, 14617600, 14617613, 14617615, 14617856, 14617869, 14617871, 14617936, 14617968, 14618064, 14618079, 14618096, 14618111, 14618112, 14618125, 14618127, 14618368, 14618381, 14618383, 14618448, 14618480, 14618576, 14618591, 14618608, 14618623, 14680064, 14680065, 14680067, 14680069, 14680071, 14680073, 14680075, 14680077, 14680079, 14680080, 14680112, 14680144, 14680176, 14680208, 14680211, 14680215, 14680219, 14680223, 14680240, 14680243, 14680247, 14680251, 14680255, 14680272, 14680275, 14680279, 14680283, 14680287, 14680304, 14680307, 14680311, 14680315, 14680319, 14680320, 14680400, 14680432, 14680528, 14680560, 14680576, 14680832, 14680912, 14680944, 14681040, 14681072, 14681088, 14681344, 14681424, 14681456, 14681552, 14681584, 14681600, 14681856, 14681936, 14681968, 14682064, 14682096, 14682112, 14682117, 14682119, 14682125, 14682127, 14682368, 14682373, 14682375, 14682381, 14682383, 14682448, 14682480, 14682576, 14682583, 14682591, 14682608, 14682615, 14682623, 14682624, 14682629, 14682631, 14682637, 14682639, 14682880, 14682885, 14682887, 14682893, 14682895, 14682960, 14682992, 14683088, 14683095, 14683103, 14683120, 14683127, 14683135, 14683136, 14683141, 14683143, 14683149, 14683151, 14683392, 14683397, 14683399, 14683405, 14683407, 14683472, 14683504, 14683600, 14683607, 14683615, 14683632, 14683639, 14683647, 14683648, 14683653, 14683655, 14683661, 14683663, 14683904, 14683909, 14683911, 14683917, 14683919, 14683984, 14684016, 14684112, 14684119, 14684127, 14684144, 14684151, 14684159, 14684160, 14684161, 14684163, 14684165, 14684167, 14684169, 14684171, 14684173, 14684175, 14692352, 14692353, 14692355, 14692357, 14692359, 14692361, 14692363, 14692365, 14692367, 14700544, 14700545, 14700547, 14700549, 14700551, 14700553, 14700555, 14700557, 14700559, 14701056, 14701312, 14702080, 14702336, 14703104, 14703109, 14703111, 14703117, 14703119, 14703360, 14703365, 14703367, 14703373, 14703375, 14704128, 14704133, 14704135, 14704141, 14704143, 14704384, 14704389, 14704391, 14704397, 14704399, 14708736, 14708737, 14708739, 14708741, 14708743, 14708745, 14708747, 14708749, 14708751, 14709248, 14709504, 14710272, 14710528, 14711296, 14711301, 14711303, 14711309, 14711311, 14711552, 14711557, 14711559, 14711565, 14711567, 14712320, 14712325, 14712327, 14712333, 14712335, 14712576, 14712581, 14712583, 14712589, 14712591, 14716928, 14716929, 14716931, 14716933, 14716935, 14716937, 14716939, 14716941, 14716943, 14716976, 14717040, 14717104, 14717107, 14717111, 14717115, 14717119, 14717168, 14717171, 14717175, 14717179, 14717183, 14725120, 14725121, 14725123, 14725125, 14725127, 14725129, 14725131, 14725133, 14725135, 14725168, 14725232, 14725296, 14725299, 14725303, 14725307, 14725311, 14725360, 14725363, 14725367, 14725371, 14725375, 14733312, 14733313, 14733315, 14733317, 14733319, 14733321, 14733323, 14733325, 14733327, 14733360, 14733424, 14733488, 14733491, 14733495, 14733499, 14733503, 14733552, 14733555, 14733559, 14733563, 14733567, 14733824, 14734080, 14734192, 14734320, 14734848, 14735104, 14735216, 14735344, 14735872, 14735877, 14735879, 14735885, 14735887, 14736128, 14736133, 14736135, 14736141, 14736143, 14736240, 14736368, 14736375, 14736383, 14736896, 14736901, 14736903, 14736909, 14736911, 14737152, 14737157, 14737159, 14737165, 14737167, 14737264, 14737392, 14737399, 14737407, 14741504, 14741505, 14741507, 14741509, 14741511, 14741513, 14741515, 14741517, 14741519, 14741552, 14741616, 14741680, 14741683, 14741687, 14741691, 14741695, 14741744, 14741747, 14741751, 14741755, 14741759, 14742016, 14742272, 14742384, 14742512, 14743040, 14743296, 14743408, 14743536, 14744064, 14744069, 14744071, 14744077, 14744079, 14744320, 14744325, 14744327, 14744333, 14744335, 14744432, 14744560, 14744567, 14744575, 14745088, 14745093, 14745095, 14745101, 14745103, 14745344, 14745349, 14745351, 14745357, 14745359, 14745456, 14745584, 14745591, 14745599, 15728640, 15728641, 15728643, 15728645, 15728647, 15728649, 15728651, 15728653, 15728655, 15728656, 15728688, 15728720, 15728752, 15728784, 15728787, 15728791, 15728795, 15728799, 15728816, 15728819, 15728823, 15728827, 15728831, 15728848, 15728851, 15728855, 15728859, 15728863, 15728880, 15728883, 15728887, 15728891, 15728895, 15728896, 15728976, 15729008, 15729104, 15729136, 15729152, 15729408, 15729488, 15729520, 15729616, 15729648, 15729664, 15729920, 15730000, 15730032, 15730128, 15730160, 15730176, 15730432, 15730512, 15730544, 15730640, 15730672, 15730688, 15730693, 15730695, 15730701, 15730703, 15730944, 15730949, 15730951, 15730957, 15730959, 15731024, 15731056, 15731152, 15731159, 15731167, 15731184, 15731191, 15731199, 15731200, 15731205, 15731207, 15731213, 15731215, 15731456, 15731461, 15731463, 15731469, 15731471, 15731536, 15731568, 15731664, 15731671, 15731679, 15731696, 15731703, 15731711, 15731712, 15731717, 15731719, 15731725, 15731727, 15731968, 15731973, 15731975, 15731981, 15731983, 15732048, 15732080, 15732176, 15732183, 15732191, 15732208, 15732215, 15732223, 15732224, 15732229, 15732231, 15732237, 15732239, 15732480, 15732485, 15732487, 15732493, 15732495, 15732560, 15732592, 15732688, 15732695, 15732703, 15732720, 15732727, 15732735, 15732736, 15732737, 15732739, 15732741, 15732743, 15732745, 15732747, 15732749, 15732751, 15740928, 15740929, 15740931, 15740933, 15740935, 15740937, 15740939, 15740941, 15740943, 15749120, 15749121, 15749123, 15749125, 15749127, 15749129, 15749131, 15749133, 15749135, 15749632, 15749888, 15750656, 15750912, 15751680, 15751685, 15751687, 15751693, 15751695, 15751936, 15751941, 15751943, 15751949, 15751951, 15752704, 15752709, 15752711, 15752717, 15752719, 15752960, 15752965, 15752967, 15752973, 15752975, 15757312, 15757313, 15757315, 15757317, 15757319, 15757321, 15757323, 15757325, 15757327, 15757824, 15758080, 15758848, 15759104, 15759872, 15759877, 15759879, 15759885, 15759887, 15760128, 15760133, 15760135, 15760141, 15760143, 15760896, 15760901, 15760903, 15760909, 15760911, 15761152, 15761157, 15761159, 15761165, 15761167, 15765504, 15765505, 15765507, 15765509, 15765511, 15765513, 15765515, 15765517, 15765519, 15765552, 15765616, 15765680, 15765683, 15765687, 15765691, 15765695, 15765744, 15765747, 15765751, 15765755, 15765759, 15773696, 15773697, 15773699, 15773701, 15773703, 15773705, 15773707, 15773709, 15773711, 15773744, 15773808, 15773872, 15773875, 15773879, 15773883, 15773887, 15773936, 15773939, 15773943, 15773947, 15773951, 15781888, 15781889, 15781891, 15781893, 15781895, 15781897, 15781899, 15781901, 15781903, 15781936, 15782000, 15782064, 15782067, 15782071, 15782075, 15782079, 15782128, 15782131, 15782135, 15782139, 15782143, 15782400, 15782656, 15782768, 15782896, 15783424, 15783680, 15783792, 15783920, 15784448, 15784453, 15784455, 15784461, 15784463, 15784704, 15784709, 15784711, 15784717, 15784719, 15784816, 15784944, 15784951, 15784959, 15785472, 15785477, 15785479, 15785485, 15785487, 15785728, 15785733, 15785735, 15785741, 15785743, 15785840, 15785968, 15785975, 15785983, 15790080, 15790081, 15790083, 15790085, 15790087, 15790089, 15790091, 15790093, 15790095, 15790128, 15790192, 15790256, 15790259, 15790263, 15790267, 15790271, 15790320, 15790323, 15790327, 15790331, 15790335, 15790592, 15790848, 15790960, 15791088, 15791616, 15791872, 15791984, 15792112, 15792640, 15792645, 15792647, 15792653, 15792655, 15792896, 15792901, 15792903, 15792909, 15792911, 15793008, 15793136, 15793143, 15793151, 15793664, 15793669, 15793671, 15793677, 15793679, 15793920, 15793925, 15793927, 15793933, 15793935, 15794032, 15794160, 15794167, 15794175, 15794176, 15794192, 15794224, 15794256, 15794288, 15794320, 15794352, 15794384, 15794416, 15925248, 15925257, 15925259, 15925261, 15925263, 15925264, 15925296, 15925328, 15925360, 15925392, 15925403, 15925407, 15925424, 15925435, 15925439, 15925456, 15925467, 15925471, 15925488, 15925499, 15925503, 16056320, 16056336, 16056368, 16056400, 16056432, 16056464, 16056496, 16056528, 16056560, 16057344, 16057600, 16057680, 16057712, 16057808, 16057840, 16057856, 16058112, 16058192, 16058224, 16058320, 16058352, 16059392, 16059648, 16059728, 16059760, 16059856, 16059888, 16059904, 16060160, 16060240, 16060272, 16060368, 16060400, 16187392, 16187401, 16187403, 16187405, 16187407, 16187408, 16187440, 16187472, 16187504, 16187536, 16187547, 16187551, 16187568, 16187579, 16187583, 16187600, 16187611, 16187615, 16187632, 16187643, 16187647, 16188416, 16188672, 16188752, 16188784, 16188880, 16188912, 16188928, 16189184, 16189264, 16189296, 16189392, 16189424, 16190464, 16190477, 16190479, 16190720, 16190733, 16190735, 16190800, 16190832, 16190928, 16190943, 16190960, 16190975, 16190976, 16190989, 16190991, 16191232, 16191245, 16191247, 16191312, 16191344, 16191440, 16191455, 16191472, 16191487, 16318464, 16318480, 16318512, 16318544, 16318576, 16318608, 16318640, 16318672, 16318704, 16330752, 16347136, 16363520, 16363568, 16363632, 16363696, 16363760, 16379904, 16379952, 16380016, 16380080, 16380144, 16449536, 16449545, 16449547, 16449549, 16449551, 16449552, 16449584, 16449616, 16449648, 16449680, 16449691, 16449695, 16449712, 16449723, 16449727, 16449744, 16449755, 16449759, 16449776, 16449787, 16449791, 16461824, 16461833, 16461835, 16461837, 16461839, 16478208, 16478217, 16478219, 16478221, 16478223, 16494592, 16494601, 16494603, 16494605, 16494607, 16494640, 16494704, 16494768, 16494779, 16494783, 16494832, 16494843, 16494847, 16510976, 16510985, 16510987, 16510989, 16510991, 16511024, 16511088, 16511152, 16511163, 16511167, 16511216, 16511227, 16511231, 16580608, 16580624, 16580656, 16580688, 16580720, 16580752, 16580784, 16580816, 16580848, 16581632, 16581888, 16581968, 16582000, 16582096, 16582128, 16582144, 16582400, 16582480, 16582512, 16582608, 16582640, 16583680, 16583936, 16584016, 16584048, 16584144, 16584176, 16584192, 16584448, 16584528, 16584560, 16584656, 16584688, 16592896, 16609280, 16610816, 16611072, 16612864, 16613120, 16625664, 16625712, 16625776, 16625840, 16625904, 16642048, 16642096, 16642160, 16642224, 16642288, 16643584, 16643840, 16643952, 16644080, 16645632, 16645888, 16646000, 16646128, 16711680, 16711689, 16711691, 16711693, 16711695, 16711696, 16711728, 16711760, 16711792, 16711824, 16711835, 16711839, 16711856, 16711867, 16711871, 16711888, 16711899, 16711903, 16711920, 16711931, 16711935, 16712704, 16712960, 16713040, 16713072, 16713168, 16713200, 16713216, 16713472, 16713552, 16713584, 16713680, 16713712, 16714752, 16714765, 16714767, 16715008, 16715021, 16715023, 16715088, 16715120, 16715216, 16715231, 16715248, 16715263, 16715264, 16715277, 16715279, 16715520, 16715533, 16715535, 16715600, 16715632, 16715728, 16715743, 16715760, 16715775, 16723968, 16723977, 16723979, 16723981, 16723983, 16740352, 16740361, 16740363, 16740365, 16740367, 16741888, 16742144, 16743936, 16743949, 16743951, 16744192, 16744205, 16744207, 16756736, 16756745, 16756747, 16756749, 16756751, 16756784, 16756848, 16756912, 16756923, 16756927, 16756976, 16756987, 16756991, 16773120, 16773129, 16773131, 16773133, 16773135, 16773168, 16773232, 16773296, 16773307, 16773311, 16773360, 16773371, 16773375, 16774656, 16774912, 16775024, 16775152, 16776704, 16776717, 16776719, 16776960, 16776973, 16776975, 16777072, 16777200, 16777215]
|
|
lvalid = lvalid[::-1]
|
|
#print len(lvalid)
|
|
dico = {}
|
|
#for n in xrange(1<<24):
|
|
for n in lvalid:
|
|
#if is_valid(n):
|
|
# lvalid.append(n)
|
|
for facedir in range(24):
|
|
dico[rotate_n(facedir, n)] = n
|
|
|
|
#print lvalid
|
|
l = set(dico.values())
|
|
l2 = [n_to_sides(n) for n in l]
|
|
l2 += [((0,), tuple()), ((0,3), tuple()),
|
|
((0,3), ((0,1),)), ((0,3), ((0,1),(0,2))),
|
|
((0,3), ((0,1),(0,4))), ((0,3), ((0,1),(0,2),(0,4))),
|
|
((0,3), ((0,1),(0,2),(0,4),(0,5)))
|
|
]
|
|
l2.sort()
|
|
s = "wires.to_register = {\n"
|
|
for i in l2:
|
|
#s += "\t{sides = {"
|
|
#s += ", ".join([str(a) for a in i[0]])
|
|
#s += "},\n\tconnects = {"
|
|
#s += ", ".join(["{"+str(a[0])+", "+str(a[1])+"}" for a in i[1]])
|
|
#s += "},\n"
|
|
s += "\t"+str(hash_sides(i))+",\n"
|
|
s += "}"
|
|
print s
|
|
|
|
dico = {}
|
|
dico_facedirs = {}
|
|
for sides in l2:
|
|
for facedir in range(23, -1, -1):
|
|
index = hash_sides(rotate_sides(facedir, sides))
|
|
dico[index] = hash_sides(sides)
|
|
dico_facedirs[index] = facedir
|
|
|
|
s = "wires.wires = {"
|
|
s += "".join(["\n\t["+str(key)+"] = "+str(val)+"," for (key, val) in dico.items()])
|
|
s += "\n}"
|
|
print s
|
|
|
|
s = "wires.wire_facedirs = {"
|
|
s += "".join(["\n\t["+str(key)+"] = "+str(val)+"," for (key, val) in dico_facedirs.items()])
|
|
s += "\n}"
|
|
print s
|
|
#print(dico)
|