#include "intlong.h"
bit16 cube[] = {
        38,6,
        4,8,0,9,4,8, 4,9,1,9,5,10, 4,10,2,10,6,11,
        4,11,3,8,7,11, 4,12,0,1,2,3, 4,13,4,5,6,7,
        12, 0,1, 1,2, 2,3, 3,0, 4,5, 5,6, 6,7, 7,4, 0,4, 1,5, 2,6, 3,7,
        14,
        20,-20,-20, 20,20,-20, -20,20,-20, -20,-20,-20,
        20,-20,20, 20,20,20, -20,20,20, -20,-20,20,
        1000,0,0, 0,1000,0, -1000,0,0, 0,-1000,0, 0,0,-1000, 0,0,1000
        };
bit16 kcf[] = {
        46,8,
        3,8,0,7,8, 3,9,1,8,9, 3,10,2,9,10, 3,11,3,10,11,
        3,12,4,11,12, 3,13,5,12,13, 3,14,6,13,7, 7,15,0,1,2,3,4,5,6,
        14, 1,2, 2,3, 3,4, 4,5, 5,6, 6,7, 7,1,
        1,0, 2,0, 3,0, 4,0, 5,0, 6,0, 7,0,
        16,
        0,35,0, -20,-15,0, -10,-15,-5, 10,-15,-5, 20,-15,0,
        10,-15,5, 0,-15,8, -10,-15,5,
        -440,176,-880, 0,100,-995, 440,176,-880,
        440,176,880, 284,151,947, -284,151,947, -440,176,880,
        0,-1000,0
        };
bit16 icos[] = {
        16384,16069,15137,13623,11585,9102,6270,3196,
        0,-3196,-6270,-9102,-11585,-13623,-15137,-16069,
        -16384,-16069,-15137,-13623,-11585,-9102,-6270,-3196,
        0,3196,6270,9102,11585,13623,15137,16069
        };
bit16 shit_data[] = {
        32,
        -96,39,95,59,77,-108,-2,-11,-100,115,52,9,121,-45,117,111,
        9,17,44,52,62,43,-11,-42,-87,61,11,-18,-113,69,4,17,
        62,42,-68,-9,-94,-3,-113,-34,19,125,-53,41,112,-30,100,76,
        114,-45,-22,-19,60,-71,-71,68,47,56,111,-60,5,-7,-92,-4,
        28,-82,-43,-65,18,80,-95,-125,-108,-84,55,7,111,29,15,56,
        -16,-101,-40,86,106,-12,-78,82,19,90,-98,123,21,30,50,90
        };