export type MulMap = {
    "0": {
        "0": "0";
        "1": "0";
        "2": "0";
        "3": "0";
        "4": "0";
        "5": "0";
        "6": "0";
        "7": "0";
        "8": "0";
        "9": "0";
    };
    "1": {
        "0": "0";
        "1": "1";
        "2": "2";
        "3": "3";
        "4": "4";
        "5": "5";
        "6": "6";
        "7": "7";
        "8": "8";
        "9": "9";
    };
    "2": {
        "0": "0";
        "1": "2";
        "2": "4";
        "3": "6";
        "4": "8";
        "5": "10";
        "6": "12";
        "7": "14";
        "8": "16";
        "9": "18";
    };
    "3": {
        "0": "0";
        "1": "3";
        "2": "6";
        "3": "9";
        "4": "12";
        "5": "15";
        "6": "18";
        "7": "21";
        "8": "24";
        "9": "27";
    };
    "4": {
        "0": "0";
        "1": "4";
        "2": "8";
        "3": "12";
        "4": "16";
        "5": "20";
        "6": "24";
        "7": "28";
        "8": "32";
        "9": '36';
    };
    "5": {
        "0": "0";
        "1": "5";
        "2": "10";
        "3": "15";
        "4": "20";
        "5": "25";
        "6": "30";
        "7": "35";
        "8": "40";
        "9": "45";
    };
    "6": {
        "0": "0";
        "1": "6";
        "2": "12";
        "3": "18";
        "4": "24";
        "5": "30";
        "6": "36";
        "7": "42";
        "8": "48";
        "9": "54";
    };
    "7": {
        "0": "0";
        "1": "7";
        "2": "14";
        "3": "21";
        "4": "28";
        "5": "35";
        "6": "42";
        "7": "49";
        "8": "56";
        "9": "63";
    };
    "8": {
        "0": "0";
        "1": "8";
        "2": "16";
        "3": "24";
        "4": "32";
        "5": "40";
        "6": "48";
        "7": "56";
        "8": "64";
        "9": "72";
    };
    "9": {
        "0": "0";
        "1": "9";
        "2": "18";
        "3": "27";
        "4": "36";
        "5": "45";
        "6": "54";
        "7": "63";
        "8": "72";
        "9": "81";
    };
};
export type MulMantissaMap = {
    "0": {
        "0": "0";
        "1": "0";
        "2": "0";
        "3": "0";
        "4": "0";
        "5": "0";
        "6": "0";
        "7": "0";
        "8": "0";
        "9": "0";
    };
    "1": {
        "0": "0";
        "1": "1";
        "2": "1";
        "3": "3";
        "4": "4";
        "5": "5";
        "6": "6";
        "7": "7";
        "8": "8";
        "9": "9";
    };
    "2": {
        "0": "0";
        "1": "2";
        "2": "4";
        "3": "6";
        "4": "8";
        "5": "0";
        "6": "2";
        "7": "4";
        "8": "6";
        "9": "8";
    };
    "3": {
        "0": "0";
        "1": "3";
        "2": "6";
        "3": "9";
        "4": "2";
        "5": "5";
        "6": "8";
        "7": "1";
        "8": "4";
        "9": "7";
    };
    "4": {
        "0": "0";
        "1": "4";
        "2": "8";
        "3": "2";
        "4": "6";
        "5": "0";
        "6": "4";
        "7": "8";
        "8": "2";
        "9": '6';
    };
    "5": {
        "0": "0";
        "1": "5";
        "2": "0";
        "3": "5";
        "4": "0";
        "5": "5";
        "6": "0";
        "7": "5";
        "8": "0";
        "9": "5";
    };
    "6": {
        "0": "0";
        "1": "6";
        "2": "2";
        "3": "8";
        "4": "4";
        "5": "0";
        "6": "6";
        "7": "2";
        "8": "8";
        "9": "4";
    };
    "7": {
        "0": "0";
        "1": "7";
        "2": "4";
        "3": "1";
        "4": "8";
        "5": "5";
        "6": "2";
        "7": "9";
        "8": "6";
        "9": "3";
    };
    "8": {
        "0": "0";
        "1": "8";
        "2": "6";
        "3": "4";
        "4": "2";
        "5": "0";
        "6": "8";
        "7": "6";
        "8": "4";
        "9": "2";
    };
    "9": {
        "0": "0";
        "1": "9";
        "2": "8";
        "3": "7";
        "4": "6";
        "5": "5";
        "6": "4";
        "7": "3";
        "8": "2";
        "9": "1";
    };
};
export type MulOverMap = {
    "0": {
        "0": "0";
        "1": "0";
        "2": "0";
        "3": "0";
        "4": "0";
        "5": "0";
        "6": "0";
        "7": "0";
        "8": "0";
        "9": "0";
    };
    "1": {
        "0": "0";
        "1": "0";
        "2": "0";
        "3": "0";
        "4": "0";
        "5": "0";
        "6": "0";
        "7": "0";
        "8": "0";
        "9": "0";
    };
    "2": {
        "0": "0";
        "1": "0";
        "2": "0";
        "3": "0";
        "4": "0";
        "5": "1";
        "6": "1";
        "7": "1";
        "8": "1";
        "9": "1";
    };
    "3": {
        "0": "0";
        "1": "0";
        "2": "0";
        "3": "0";
        "4": "1";
        "5": "1";
        "6": "1";
        "7": "2";
        "8": "2";
        "9": "2";
    };
    "4": {
        "0": "0";
        "1": "0";
        "2": "0";
        "3": "1";
        "4": "1";
        "5": "2";
        "6": "2";
        "7": "2";
        "8": "3";
        "9": '3';
    };
    "5": {
        "0": "0";
        "1": "0";
        "2": "1";
        "3": "1";
        "4": "2";
        "5": "2";
        "6": "3";
        "7": "3";
        "8": "4";
        "9": "4";
    };
    "6": {
        "0": "0";
        "1": "0";
        "2": "1";
        "3": "1";
        "4": "2";
        "5": "3";
        "6": "3";
        "7": "4";
        "8": "4";
        "9": "5";
    };
    "7": {
        "0": "0";
        "1": "0";
        "2": "1";
        "3": "2";
        "4": "2";
        "5": "3";
        "6": "4";
        "7": "4";
        "8": "5";
        "9": "6";
    };
    "8": {
        "0": "0";
        "1": "0";
        "2": "1";
        "3": "2";
        "4": "3";
        "5": "4";
        "6": "4";
        "7": "5";
        "8": "6";
        "9": "7";
    };
    "9": {
        "0": "0";
        "1": "0";
        "2": "1";
        "3": "2";
        "4": "3";
        "5": "4";
        "6": "5";
        "7": "6";
        "8": "7";
        "9": "8";
    };
};
export type MulOverBoolMap = {
    "0": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": false;
        "9": false;
    };
    "1": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": false;
        "9": false;
    };
    "2": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "3": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "4": {
        "0": false;
        "1": false;
        "2": false;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "5": {
        "0": false;
        "1": false;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "6": {
        "0": false;
        "1": false;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "7": {
        "0": false;
        "1": false;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "8": {
        "0": false;
        "1": false;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "9": {
        "0": false;
        "1": false;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
};
export type SubMantissaMap = {
    "0": {
        "0": "0";
        "1": "9";
        "2": "8";
        "3": "7";
        "4": "6";
        "5": "5";
        "6": "4";
        "7": "3";
        "8": "2";
        "9": "1";
    };
    "1": {
        "0": "1";
        "1": "0";
        "2": "9";
        "3": "8";
        "4": "7";
        "5": "6";
        "6": "5";
        "7": "4";
        "8": "3";
        "9": "2";
    };
    "2": {
        "0": "2";
        "1": "1";
        "2": "0";
        "3": "9";
        "4": "8";
        "5": "7";
        "6": "6";
        "7": "5";
        "8": "4";
        "9": "3";
    };
    "3": {
        "0": "3";
        "1": "2";
        "2": "1";
        "3": "0";
        "4": "9";
        "5": "8";
        "6": "7";
        "7": "6";
        "8": "5";
        "9": "4";
    };
    "4": {
        "0": "4";
        "1": "3";
        "2": "2";
        "3": "1";
        "4": "0";
        "5": "9";
        "6": "8";
        "7": "7";
        "8": "6";
        "9": '5';
    };
    "5": {
        "0": "5";
        "1": "4";
        "2": "3";
        "3": "2";
        "4": "1";
        "5": "0";
        "6": "9";
        "7": "8";
        "8": "7";
        "9": "6";
    };
    "6": {
        "0": "6";
        "1": "5";
        "2": "4";
        "3": "3";
        "4": "2";
        "5": "1";
        "6": "0";
        "7": "9";
        "8": "8";
        "9": "7";
    };
    "7": {
        "0": "7";
        "1": "6";
        "2": "5";
        "3": "4";
        "4": "3";
        "5": "2";
        "6": "1";
        "7": "0";
        "8": "9";
        "9": "8";
    };
    "8": {
        "0": "8";
        "1": "7";
        "2": "6";
        "3": "5";
        "4": "4";
        "5": "3";
        "6": "2";
        "7": "1";
        "8": "0";
        "9": "9";
    };
    "9": {
        "0": "9";
        "1": "8";
        "2": "7";
        "3": "6";
        "4": "5";
        "5": "4";
        "6": "3";
        "7": "2";
        "8": "1";
        "9": "0";
    };
};
export type SubShrinkBoolMap = {
    "0": {
        "0": false;
        "1": true;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "1": {
        "0": false;
        "1": false;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "2": {
        "0": false;
        "1": false;
        "2": false;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "3": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "4": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "5": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "6": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": true;
        "8": true;
        "9": true;
    };
    "7": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": true;
        "9": true;
    };
    "8": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": false;
        "9": true;
    };
    "9": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": false;
        "9": false;
    };
};
export type PlusMantissaMap = {
    "0": {
        "0": "0";
        "1": "1";
        "2": "2";
        "3": "3";
        "4": "4";
        "5": "5";
        "6": "6";
        "7": "7";
        "8": "8";
        "9": "9";
    };
    "1": {
        "0": "1";
        "1": "2";
        "2": "3";
        "3": "4";
        "4": "5";
        "5": "6";
        "6": "7";
        "7": "8";
        "8": "9";
        "9": "0";
    };
    "2": {
        "0": "2";
        "1": "3";
        "2": "4";
        "3": "5";
        "4": "6";
        "5": "7";
        "6": "8";
        "7": "9";
        "8": "0";
        "9": "1";
    };
    "3": {
        "0": "3";
        "1": "4";
        "2": "5";
        "3": "6";
        "4": "7";
        "5": "8";
        "6": "9";
        "7": "0";
        "8": "1";
        "9": "2";
    };
    "4": {
        "0": "4";
        "1": "5";
        "2": "6";
        "3": "7";
        "4": "8";
        "5": "9";
        "6": "0";
        "7": "1";
        "8": "2";
        "9": '3';
    };
    "5": {
        "0": "5";
        "1": "6";
        "2": "7";
        "3": "8";
        "4": "9";
        "5": "0";
        "6": "1";
        "7": "2";
        "8": "3";
        "9": "4";
    };
    "6": {
        "0": "6";
        "1": "7";
        "2": "8";
        "3": "9";
        "4": "0";
        "5": "1";
        "6": "2";
        "7": "3";
        "8": "4";
        "9": "5";
    };
    "7": {
        "0": "7";
        "1": "8";
        "2": "9";
        "3": "0";
        "4": "1";
        "5": "2";
        "6": "3";
        "7": "4";
        "8": "5";
        "9": "6";
    };
    "8": {
        "0": "8";
        "1": "9";
        "2": "0";
        "3": "1";
        "4": "2";
        "5": "3";
        "6": "4";
        "7": "5";
        "8": "6";
        "9": "7";
    };
    "9": {
        "0": "9";
        "1": "0";
        "2": "1";
        "3": "2";
        "4": "3";
        "5": "4";
        "6": "5";
        "7": "6";
        "8": "7";
        "9": "8";
    };
};
export type PlusOverBoolMap = {
    "0": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": false;
        "9": false;
    };
    "1": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": false;
        "9": true;
    };
    "2": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": false;
        "8": true;
        "9": true;
    };
    "3": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": false;
        "7": true;
        "8": true;
        "9": true;
    };
    "4": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": false;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "5": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": false;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "6": {
        "0": false;
        "1": false;
        "2": false;
        "3": false;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "7": {
        "0": false;
        "1": false;
        "2": false;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "8": {
        "0": false;
        "1": false;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
    "9": {
        "0": false;
        "1": true;
        "2": true;
        "3": true;
        "4": true;
        "5": true;
        "6": true;
        "7": true;
        "8": true;
        "9": true;
    };
};