import { SSL_OP_LEGACY_SERVER_CONNECT } from 'constants' import * as fs from 'fs' // import * as readline from 'readline' // const rl = readline.createInterface({ input: process.stdin, output: process.stdout }) // const ask = (query: string) => new Promise((resolve) => rl.question(query, resolve)) // // Don't forget `rl.close()`. const INT = Math.floor declare global { interface Array { last(): T | undefined isEmpty(): boolean } } Array.prototype.last = function () { return this.length === 0 ? undefined : this[this.length - 1] } Array.prototype.isEmpty = function () { return this.length === 0 } const bigIntMax = (...args: bigint[]) => args.reduce((m, e) => (e > m ? e : m)) const bigIntMin = (...args: bigint[]) => args.reduce((m, e) => (e < m ? e : m)) const bigIntAbs = (arg: bigint) => (arg < 0 ? -arg : arg) declare const stdin: number function read_stdin() { return fs.readFileSync(process.env.NODE_ENV === 'debug' ? stdin : process.stdin.fd, 'utf8') } class Input { readonly inputs: string[] private index = 0 constructor(str?: string) { this.inputs = (str ? str : read_stdin()).split(/\s+/) } number() { return Number(this.inputs[this.index++]) } numbers(n: number) { return this.inputs.slice(this.index, (this.index += n)).map(Number) } bigint() { return BigInt(this.inputs[this.index++]) } bigints(n: number) { return this.inputs.slice(this.index, (this.index += n)).map(BigInt) } word() { return this.inputs[this.index++] } words(n: number) { return this.inputs.slice(this.index, (this.index += n)) } } function array(len: number, init: T): T[] { return Array(len).fill(init) } function array2(h: number, w: number, init: T): T[][] { return array(h, 0).map(() => array(w, init)) } function array3(d: number, h: number, w: number, init: T): T[][][] { return array(d, 0).map(() => array2(h, w, init)) } function IDX(mod3: number, has3: boolean, mod8: number) { return mod3 * 2 * 8 + (has3 ? 1 : 0) * 8 + mod8 } function main() { const input = new Input() const A_ = input.word() const B = input.word() const A = A_.padStart(B.length, '0') const M = 10 ** 9 + 7 const b_max_state = { mod3: 0, has3: false, mod8: 0, } const a_max_state = { mod3: 0, has3: false, mod8: 0, } let b_dp = Array(3 * 2 * 8).fill(0) let b_dp2 = Array(3 * 2 * 8).fill(0) let a_dp = Array(3 * 2 * 8).fill(0) let a_dp2 = Array(3 * 2 * 8).fill(0) let b_count = 0 let a_count = 0 for (let i = 0; i < B.length; i++) { b_dp2.fill(0) a_dp2.fill(0) const b_digit = Number(B[i]) const a_digit = Number(A[i]) const limit_m8 = B.length - i <= 3 ? 8 : 1 for (let j = 0; j < 10; j++) { if (j < b_digit) { const m3 = (b_max_state.mod3 * 10 + j) % 3 const m8 = B.length - i <= 3 ? (b_max_state.mod8 * 10 + j) % 8 : 0 const has3 = b_max_state.has3 || j === 3 b_dp2[IDX(m3, has3, m8)] += 1 if (i === B.length - 1) { if ((m3 === 0 || has3) && m8 !== 0) { b_count += 1 } } } if (j < a_digit) { const m3 = (a_max_state.mod3 * 10 + j) % 3 const m8 = B.length - i <= 3 ? (a_max_state.mod8 * 10 + j) % 8 : 0 const has3 = a_max_state.has3 || j === 3 a_dp2[IDX(m3, has3, m8)] += 1 if (i === B.length - 1) { if ((m3 === 0 || has3) && m8 !== 0) { a_count += 1 } } } for (let m3 = 0; m3 < 3; m3++) { for (let has3 = 0; has3 < 2; has3++) { for (let m8 = 0; m8 < limit_m8; m8++) { const t3 = (m3 * 10 + j) % 3 const h3 = has3 === 1 || j === 3 const t8 = B.length - i <= 3 ? (m8 * 10 + j) % 8 : 0 const idx = IDX(t3, h3, t8) b_dp2[idx] += b_dp[IDX(m3, has3 === 1, m8)] a_dp2[idx] += a_dp[IDX(m3, has3 === 1, m8)] b_dp2[idx] %= M a_dp2[idx] %= M if (i === B.length - 1) { if ((t3 === 0 || h3) && t8 !== 0) { b_count = (b_count + b_dp[IDX(m3, has3 === 1, m8)]) % M a_count = (a_count + a_dp[IDX(m3, has3 === 1, m8)]) % M } } } } } } b_max_state.mod3 = (b_max_state.mod3 * 10 + b_digit) % 3 b_max_state.mod8 = (b_max_state.mod8 * 10 + b_digit) % 8 b_max_state.has3 = b_max_state.has3 || b_digit === 3 a_max_state.mod3 = (a_max_state.mod3 * 10 + a_digit) % 3 a_max_state.mod8 = (a_max_state.mod8 * 10 + a_digit) % 8 a_max_state.has3 = a_max_state.has3 || a_digit === 3 ;[b_dp, b_dp2, a_dp, a_dp2] = [b_dp2, b_dp, a_dp2, a_dp] } if ((b_max_state.mod3 === 0 || b_max_state.has3) && b_max_state.mod8 !== 0) { b_count += 1 } const r = (b_count - a_count) % M console.log(r < 0 ? r + M : r) } main()