#1269. Damn mosquito!

Damn mosquito!

本题诞生于一个被蚊子吵醒的凌晨。

题目描述

Mualani\text{Mualani} 有轻微的失眠症。每天晚上她上床熄灯后,需要经过两个阶段:清醒阶段和静息阶段,才能成功入睡。正常情况下,她会先进入清醒阶段,持续 aa 秒;清醒阶段结束后,下一秒开始进入静息阶段,持续 bb 秒。

但现在有一只令人讨厌的蚊子飞来飞去,Mualani\text{Mualani} 总会听到烦人的嗡嗡声,难以入眠。假设蚊子会在每秒的最开始发出一次声音。第 ii 秒时,蚊子发出的声音大小 Xi=(73Xi1+17)%256X_i=(73X_{i-1}+17)\%256

即:蚊子每秒钟的声音大小都依赖于前一秒钟的声音大小。这个序列具有周期性,但它的周期相当长,并且每个周期内可以近似看作是一个随机序列。你可以列举这个序列的前几项,或查看样例解释,来加深理解。

特殊地,我们规定 X0=0X_0=0

Mualani\text{Mualani} 处于不同的睡眠阶段时,会不同程度地受到蚊子声音的影响:

  • 处于清醒阶段时:若 Xi220X_i≥220 // Xi240X_i≥240,则该阶段延长 11// 延长 22 秒;
  • 处于静息阶段时:若 Xi210X_i≥210 // Xi230X_i≥230,则该阶段延长 22// 延长 33 秒。

请你计算:从熄灯开始,Mualani\text{Mualani} 需要经过多少秒才能成功入睡。(可以证明,无论 a,ba,b 的取值如何,最终一定能够成功入睡。因此无需担心出现永远无法入睡的情况。)

输入格式

两个整数 a,ba,b,分别表示在不受蚊子干扰的情况下,清醒阶段和静息阶段的持续时间,以空格分隔。

输出格式

一个整数,表示成功入睡所花费的总秒数。

样例

1 1
8
80000 99999
285904

样例 11 解释

列举 X1X8{17,234,203,244,165,30,159,104}X_1 \sim X_{8}:\{17,234,203,244,165,30,159,104\}

初始时,清醒状态剩余 11 秒。

11 秒:清醒状态结束,准备进入静息状态。

22 秒:原本静息状态剩余 00 秒,但由于声音 230≥230,因此延长 33 秒,剩余 33 秒。

33 秒:静息状态剩余 22 秒。

44 秒:原本静息状态剩余 11 秒,但由于声音 230≥230,因此延长 33 秒,剩余 44 秒。

585 \sim 8 秒:度过静息状态,在第 88 秒结束时成功入睡。

数据规模与约束

对于 100%100\% 的数据,1a,b1061≤a,b≤10^6;最终答案不会超过 10910^9