小乐乐与二段数(打表,剪枝)
小乐乐与二段数
https://ac.nowcoder.com/acm/contest/1877/T
二段数
对于形如xxx这种数,可以由x*111表示,这对表示二段数及判断二段数是否是n的倍数有很大的帮助(详见官方题解)
一开始考虑枚举n的倍数,再判断是否是二段数,超时(比如170: 11111111111111110,后面是前面的65,359,477,124,183倍,不超时才怪)
后来感觉二段数数目较少,想枚举二段数,但是二段数的最大长度并不知道,一开始猜100位,wa,改成1000位wa,10000位就好了(打表发现确实不会超过10000位)
但是这样还是超时,加了一点剪枝,比如如果n的个位是偶数,那么t如果是奇数,那么一定是不合题意的,就可以不用枚举这个t了
加剪枝还是超时,因为这个枚举的时间复杂度确实太大了,所以就考虑把答案长度大于1000位的打表保存起来(当然也可以多打一点,但是怕代码长度过大),就不用暴力枚举了
详见代码吧
其实观察打表的数据可以得到一个一种优化很大的剪枝,就是官方题解那种https://blog.csdn.net/Q_1849805767/article/details/102980620
#include<stdio.h> #define ll long long #define N 10005 int a[N];//a[i]表示i个1表示的数对n取模的值 int b[N];//b[i]表示10的i次方对n取模的值 int skip[15][15];//如果skip[i][j]=1,那么对于个位是i的数,t不可能是j,用来剪枝 void init(int n){//初始化a、b数组,用a、b可以以O(1)的时间复杂度求出任一二段数对n取模的值 a[1]=1; for(int i=2;i<=10000;i++){ a[i]=(a[i-1]*10+1)%n; } b[0]=1; for(int i=1;i<=10000;i++){ b[i]=(b[i-1]*10)%n; } } int judge(ll s,ll t,int ls,int lt,int n){//判读是否大于n,且是n的倍数 (注意long long) if(ls+lt>5){ ll ans=s*a[ls]*b[lt]%n+t*a[lt]%n; ans%=n; if(ans==0) return 1; else return 0; } else{ int ans=0; for(int i=1;i<=ls;i++){ ans=ans*10+s; } for(int i=1;i<=lt;i++){ ans=ans*10+t; } if(ans>n&&ans%n==0) return 1; else return 0; } } void cal(int s,int t,int ls,int lt,int n){//用来输出结果 printf("%d: ",n); for(int i=1;i<=ls;i++) printf("%d",s); for(int i=1;i<=lt;i++) printf("%d",t); printf("\n"); } struct ans{//存储特定n的结果 (暴力打表获得) int s,t,ls,lt; }p[100005]; int vis[100005];//vis[i]=1说明i的答案已经存起来了 void get_p(int n,int s,int t,int ls,int lt){//打表,尽可能减少打表的代码长度 p[n].s=s,p[n].t=t,p[n].ls=ls,p[n].lt=lt; vis[n]=1; } void solve(int n){ //求解 init(n);//初始化a、b数组 for(int len=2;len<=10000;len++){ //枚举二段数长度 for(int s=1;s<=9;s++){//枚举s for(int t=0;t<=9;t++){//枚举t if(skip[n%10][t]) continue;//特判剪枝 if(s==t) continue;//s不能等于t,下面的判断是为了使枚举的二段数是从小到大的,这样第一个符合条件的就是最小的 if(s<t){ for(int ls=len-1;ls>=1;ls--){ if(judge(s,t,ls,len-ls,n)){ cal(s,t,ls,len-ls,n); return ; } } } else{ for(int ls=1;ls<len;ls++){ if(judge(s,t,ls,len-ls,n)){ cal(s,t,ls,len-ls,n); return ; } } } } } } } void init_skip(){//初始化skip (如果n的个位数是5,那么t只有可能是0或者5,其他的肯定不合题意,直接跳过) for(int i=0;i<=9;i++){ for(int j=0;j<=9;j++){ skip[i][j]=1; } for(int j=0;j<=9;j++){ skip[i][(i*j)%10]=0; } } } void init_table();//声明init_table()函数,打表代码太长,放在后面比较好,所以先声明一下 int main(){ int n; init_skip(); init_table(); while(~scanf("%d",&n)&&n){ if(vis[n]) cal(p[n].s,p[n].t,p[n].ls,p[n].lt,n); else solve(n); } return 0; } void init_table(){ get_p(10190,1,0,1018,1); get_p(10210,1,0,1020,1); get_p(10330,1,0,1032,1); get_p(10510,1,0,1050,1); get_p(10630,1,0,1062,1); get_p(10690,1,0,1068,1); get_p(10870,1,0,1086,1); get_p(10910,1,0,1090,1); get_p(10970,1,0,1096,1); get_p(11030,1,0,1102,1); get_p(11090,1,0,1108,1); get_p(11530,1,0,1152,1); get_p(11710,1,0,1170,1); get_p(11810,1,0,1180,1); get_p(11930,1,0,1192,1); get_p(12170,1,0,1216,1); get_p(12230,1,0,1222,1); get_p(12290,1,0,1228,1); get_p(12590,1,0,1258,1); get_p(12910,1,0,1290,1); get_p(12970,1,0,1296,1); get_p(13010,1,0,1300,1); get_p(13030,1,0,1302,1); get_p(13270,1,0,1326,1); get_p(13670,1,0,1366,1); get_p(13810,1,0,1380,1); get_p(14290,1,0,1428,1); get_p(14330,1,0,1432,1); get_p(14470,1,0,1446,1); get_p(14870,1,0,1486,1); get_p(15310,1,0,1530,1); get_p(15430,1,0,1542,1); get_p(15490,1,0,1548,1); get_p(15530,1,0,1552,1); get_p(15670,1,0,1566,1); get_p(15710,1,0,1570,1); get_p(15790,1,0,1578,1); get_p(15830,1,0,1582,1); get_p(16070,1,0,1606,1); get_p(16190,1,0,1618,1); get_p(16210,1,0,1620,1); get_p(16630,1,0,1662,1); get_p(16970,1,0,1696,1); get_p(17090,1,0,1708,1); get_p(17410,1,0,1740,1); get_p(17770,1,0,1776,1); get_p(17830,1,0,1782,1); get_p(17890,1,0,1788,1); get_p(18110,1,0,1810,1); get_p(18230,1,0,1822,1); get_p(18470,1,0,1846,1); get_p(18610,1,0,1860,1); get_p(18730,1,0,1872,1); get_p(19130,1,0,1912,1); get_p(19490,1,0,1948,1); get_p(19790,1,0,1978,1); get_p(19990,1,0,999,1); get_p(20030,1,0,1001,1); get_p(20170,1,0,2016,1); get_p(20270,1,0,1013,1); get_p(20290,1,0,2028,1); get_p(20380,2,0,1018,1); get_p(20390,1,0,1019,1); get_p(20420,2,0,1020,1); get_p(20630,1,0,2062,1); get_p(20660,2,0,1032,1); get_p(20690,1,0,2068,1); get_p(20810,1,0,1040,1); get_p(20830,1,0,1041,1); get_p(20890,1,0,1044,1); get_p(20990,1,0,2098,1); get_p(21020,2,0,1050,1); get_p(21110,1,0,1055,1); get_p(21130,1,0,2112,1); get_p(21260,2,0,1062,1); get_p(21370,1,0,2136,1); get_p(21380,2,0,1068,1); get_p(21410,1,0,2140,1); get_p(21430,1,0,2142,1); get_p(21470,1,0,1008,1); get_p(21530,1,0,2152,1); get_p(21740,2,0,1086,1); get_p(21790,1,0,2178,1); get_p(21820,2,0,1090,1); get_p(21940,2,0,1096,1); get_p(21970,1,0,1014,1); get_p(22030,1,0,1101,1); get_p(22060,2,0,1102,1); get_p(22070,1,0,2206,1); get_p(22090,1,0,2162,1); get_p(22180,2,0,1108,1); get_p(22210,1,0,2220,1); get_p(22270,1,0,1040,1); get_p(22310,1,0,1056,1); get_p(22370,1,0,1118,1); get_p(22390,1,0,1119,1); get_p(22430,1,0,1121,1); get_p(22510,1,0,2250,1); get_p(22670,1,0,1133,1); get_p(22690,1,0,2268,1); get_p(22730,1,0,2272,1); get_p(22930,1,0,1146,1); get_p(22970,1,0,2296,1); get_p(23060,2,0,1152,1); get_p(23090,1,0,2308,1); get_p(23390,1,0,2338,1); get_p(23410,1,0,2340,1); get_p(23420,2,0,1170,1); get_p(23470,1,0,1173,1); get_p(23510,1,0,1175,1); get_p(23570,1,0,1178,1); get_p(23620,2,0,1180,1); get_p(23710,1,0,2370,1); get_p(23830,1,0,2382,1); get_p(23860,2,0,1192,1); get_p(23890,1,0,2388,1); get_p(23990,1,0,1199,1); get_p(24070,1,0,1148,1); get_p(24110,1,0,2410,1); get_p(24170,1,0,2416,1); get_p(24230,1,0,2422,1); get_p(24340,2,0,1216,1); get_p(24370,1,0,1218,1); get_p(24460,2,0,1222,1); get_p(24470,1,0,2446,1); get_p(24580,2,0,1228,1); get_p(24590,1,0,2458,1); get_p(24610,1,0,1166,1); get_p(24730,1,0,2472,1); get_p(24890,1,0,1170,1); get_p(25070,1,0,1188,1); get_p(25180,2,0,1258,1); get_p(25370,1,0,1218,1); get_p(25390,1,0,2538,1); get_p(25430,1,0,2542,1); get_p(25490,1,0,2548,1); get_p(25670,1,0,1200,1); get_p(25790,1,0,2578,1); get_p(25820,2,0,1290,1); get_p(25930,1,0,2592,1); get_p(25940,2,0,1296,1); get_p(25990,1,0,1232,1); get_p(26020,2,0,1300,1); get_p(26060,2,0,1302,1); get_p(26090,1,0,1304,1); get_p(26170,1,0,2616,1); get_p(26210,1,0,2620,1); get_p(26330,1,0,2632,1); get_p(26540,2,0,1326,1); get_p(26570,1,0,2656,1); get_p(26630,1,0,2662,1); get_p(26710,1,0,1335,1); get_p(26870,1,0,2686,1); get_p(26930,1,0,1346,1); get_p(26990,1,0,2698,1); get_p(27070,1,0,1353,1); get_p(27110,1,0,1355,1); get_p(27130,1,0,2712,1); get_p(27190,1,0,1359,1); get_p(27310,1,0,2730,1); get_p(27340,2,0,1366,1); get_p(27410,1,0,2740,1); get_p(27530,1,0,2752,1); get_p(27620,2,0,1380,1); get_p(27670,1,0,2766,1); get_p(27710,1,0,1296,1); get_p(27730,1,0,1334,1); get_p(27770,1,0,2776,1); get_p(27890,1,0,2788,1); get_p(28010,1,0,1400,1); get_p(28030,1,0,1401,1); get_p(28190,1,0,2818,1); get_p(28310,1,0,1332,1); get_p(28330,1,0,2832,1); get_p(28390,1,0,1328,1); get_p(28430,1,0,1421,1); get_p(28510,1,0,2850,1); get_p(28580,2,0,1428,1); get_p(28610,1,0,2860,1); get_p(28660,2,0,1432,1); get_p(28670,1,0,1380,1); get_p(28790,1,0,1439,1); get_p(28870,1,0,2886,1); get_p(28940,2,0,1446,1); get_p(28970,1,0,2896,1); get_p(29030,1,0,2902,1); get_p(29090,1,0,2908,1); get_p(29170,1,0,1458,1); get_p(29270,1,0,2926,1); get_p(29390,1,0,2938,1); get_p(29570,1,0,1478,1); get_p(29630,1,0,1481,1); get_p(29710,1,0,2970,1); get_p(29740,2,0,1486,1); get_p(29990,1,0,1499,1); get_p(30010,1,0,1500,1); get_p(30110,1,0,3010,1); get_p(30130,1,0,1430,1); get_p(30190,1,0,3018,1); get_p(30230,1,0,3022,1); get_p(30430,1,0,1424,1); get_p(30570,3,0,1018,1); get_p(30620,2,0,1530,1); get_p(30630,1,0,1020,1); get_p(30670,1,0,1533,1); get_p(30790,1,0,1539,1); get_p(30830,1,0,1541,1); get_p(30860,2,0,1542,1); get_p(30890,1,0,1544,1); get_p(30980,2,0,1548,1); get_p(30990,1,0,1032,1); get_p(31030,1,0,1484,1); get_p(31060,2,0,1552,1); get_p(31190,1,0,1559,1); get_p(31340,2,0,1566,1); get_p(31370,1,0,3136,1); get_p(31420,2,0,1570,1); get_p(31490,1,0,1518,1); get_p(31530,1,0,1050,1); get_p(31580,2,0,1578,1); get_p(31630,1,0,1581,1); get_p(31660,2,0,1582,1); get_p(31670,1,0,3166,1); get_p(31730,1,0,1494,1); get_p(31890,1,0,1062,1); get_p(32030,1,0,1601,1); get_p(32070,1,0,1068,1); get_p(32090,1,0,1604,1); get_p(32140,2,0,1606,1); get_p(32170,1,0,1072,1); get_p(32210,1,0,3220,1); get_p(32290,1,0,1076,1); get_p(32380,2,0,1618,1); get_p(32420,2,0,1620,1); get_p(32470,1,0,1520,1); get_p(32510,1,0,3250,1); get_p(32570,1,0,3256,1); get_p(32590,1,0,3258,1); get_p(32610,1,0,1086,1); get_p(32710,1,0,1635,1); get_p(32730,3,0,1090,1); get_p(32910,3,0,1096,1); get_p(32990,1,0,3298,1); get_p(33010,1,0,3300,1); get_p(33070,1,0,1653,1); get_p(33090,3,0,1102,1); get_p(33130,1,0,3312,1); get_p(33230,1,0,1661,1); get_p(33260,2,0,1662,1); get_p(33270,3,0,1108,1); get_p(33310,1,0,3330,1); get_p(33370,1,0,1610,1); get_p(33430,1,0,3342,1); get_p(33470,1,0,1673,1); get_p(33590,1,0,1679,1); get_p(33610,1,0,1680,1); get_p(33710,1,0,3370,1); get_p(33830,1,0,1584,1); get_p(33890,1,0,3388,1); get_p(33910,1,0,1695,1); get_p(33940,2,0,1696,1); get_p(34010,1,0,1602,1); get_p(34070,1,0,3406,1); get_p(34130,1,0,1706,1); get_p(34180,2,0,1708,1); get_p(34270,1,0,1628,1); get_p(34330,1,0,3432,1); get_p(34590,1,0,1152,1); get_p(34610,1,0,3460,1); get_p(34630,1,0,3462,1); get_p(34670,1,0,1733,1); get_p(34690,1,0,3468,1); get_p(34730,1,0,1650,1); get_p(34810,1,0,3422,1); get_p(34820,2,0,1740,1); get_p(35030,1,0,1680,1); get_p(35110,1,0,1755,1); get_p(35130,1,0,1170,1); get_p(35270,1,0,3526,1); get_p(35290,1,0,1764,1); get_p(35330,1,0,1766,1); get_p(35390,1,0,3538,1); get_p(35430,3,0,1180,1); get_p(35470,1,0,1773,1); get_p(35540,2,0,1776,1); get_p(35590,1,0,1779,1); get_p(35660,2,0,1782,1); get_p(35710,1,0,3570,1); get_p(35780,2,0,1788,1); get_p(35790,3,0,1192,1); get_p(35810,1,0,3580,1); get_p(35830,1,0,1194,1); get_p(35930,1,0,3592,1); get_p(35990,1,0,1740,1); get_p(36070,1,0,3606,1); get_p(36170,1,0,3616,1); get_p(36220,2,0,1810,1); get_p(36230,1,0,3622,1); get_p(36290,1,0,1710,1); get_p(36310,1,0,1815,1); get_p(36430,1,0,1821,1); get_p(36460,2,0,1822,1); get_p(36510,3,0,1216,1); get_p(36590,1,0,3658,1); get_p(36690,3,0,1222,1); get_p(36730,1,0,3672,1); get_p(36770,1,0,1838,1); get_p(36870,3,0,1228,1); get_p(36910,1,0,1230,1); get_p(36940,2,0,1846,1); get_p(36970,1,0,1232,1); get_p(37010,1,0,3700,1); get_p(37090,1,0,3708,1); get_p(37190,1,0,1859,1); get_p(37210,1,0,3660,1); get_p(37220,2,0,1860,1); get_p(37270,1,0,3726,1); get_p(37390,1,0,1246,1); get_p(37460,2,0,1872,1); get_p(37490,1,0,1782,1); get_p(37610,1,0,1880,1); get_p(37670,1,0,3766,1); get_p(37690,1,0,1884,1); get_p(37770,3,0,1258,1); get_p(37790,1,0,3778,1); get_p(37910,1,0,1776,1); get_p(37930,1,0,1264,1); get_p(37990,1,0,1820,1); get_p(38030,1,0,1901,1); get_p(38210,1,0,3820,1); get_p(38230,1,0,1274,1); get_p(38260,2,0,1912,1); get_p(38330,1,0,3832,1); get_p(38410,1,0,1826,1); get_p(38470,1,0,3846,1); get_p(38575,7,5,1173,1); get_p(38590,1,0,1808,1); get_p(38630,1,0,3862,1); get_p(38730,1,0,1290,1); get_p(38810,1,0,1940,1); get_p(38890,1,0,1944,1); get_p(38910,1,0,1296,1); get_p(38980,2,0,1948,1); get_p(39010,1,0,1886,1); get_p(39030,3,0,1300,1); get_p(39070,1,0,1953,1); get_p(39090,1,0,1302,1); get_p(39110,1,0,1955,1); get_p(39170,1,0,1958,1); get_p(39230,1,0,1961,1); get_p(39275,2,5,1127,1); get_p(39310,1,0,1310,1); get_p(39430,1,0,3942,1); get_p(39470,1,0,1973,1); get_p(39530,1,0,1914,1); get_p(39580,2,0,1978,1); get_p(39670,1,0,3966,1); get_p(39810,1,0,1326,1); get_p(39890,1,0,3988,1); get_p(39980,2,0,999,1); get_p(40060,2,0,1001,1); get_p(40070,1,0,4006,1); get_p(40190,1,0,4018,1); get_p(40270,1,0,2013,1); get_p(40340,2,0,2016,1); get_p(40490,1,0,2024,1); get_p(40510,1,0,4050,1); get_p(40540,2,0,1013,1); get_p(40570,1,0,4056,1); get_p(40580,2,0,2028,1); get_p(40730,1,0,4072,1); get_p(40760,4,0,1018,1); get_p(40780,2,0,1019,1); get_p(40790,1,0,2039,1); get_p(40840,4,0,1020,1); get_p(40910,1,0,4090,1); get_p(40990,1,0,4098,1); get_p(41010,3,0,1366,1); get_p(41110,1,0,2055,1); get_p(41170,1,0,1958,1); get_p(41260,2,0,2062,1); get_p(41270,1,0,4126,1); get_p(41290,1,0,2064,1); get_p(41320,4,0,1032,1); get_p(41330,1,0,1033,1); get_p(41380,2,0,2068,1); get_p(41390,1,0,4138,1); get_p(41430,1,0,1380,1); get_p(41530,1,0,4152,1); get_p(41570,1,0,2078,1); get_p(41620,2,0,1040,1); get_p(41630,1,0,1980,1); get_p(41660,2,0,1041,1); get_p(41770,1,0,4176,1); get_p(41780,2,0,1044,1); get_p(41830,1,0,1012,1); get_p(41890,1,0,2030,1); get_p(41980,2,0,2098,1); get_p(42040,4,0,1050,1); get_p(42110,1,0,4210,1); get_p(42170,1,0,4216,1); get_p(42190,1,0,4218,1); get_p(42220,2,0,1055,1); get_p(42260,2,0,2112,1); get_p(42290,1,0,4228,1); get_p(42310,1,0,2115,1); get_p(42410,1,0,1060,1); get_p(42425,2,5,1099,1); get_p(42430,1,0,2121,1); get_p(42520,4,0,1062,1); get_p(42530,1,0,1063,1); get_p(42590,1,0,4258,1); get_p(42610,1,0,4260,1); get_p(42710,1,0,2135,1); get_p(42730,1,0,1424,1); get_p(42740,2,0,2136,1); get_p(42760,4,0,1068,1); get_p(42820,2,0,2140,1); get_p(42830,1,0,2141,1); get_p(42860,2,0,2142,1); get_p(42870,1,0,1428,1); get_p(42890,1,0,2144,1); get_p(42940,2,0,1008,1); get_p(42970,1,0,1432,1); get_p(42990,3,0,1432,1); get_p(43060,2,0,2152,1); get_p(43130,1,0,2034,1); get_p(43210,1,0,1036,1); get_p(43270,1,0,4326,1); get_p(43370,1,0,4336,1); get_p(43390,1,0,4338,1); get_p(43410,1,0,1446,1); get_p(43480,4,0,1086,1); get_p(43490,1,0,4348,1); get_p(43580,2,0,2178,1); get_p(43630,1,0,2181,1); get_p(43640,4,0,1090,1); get_p(43730,1,0,1093,1); get_p(43790,1,0,2100,1); get_p(43880,4,0,1096,1); get_p(43910,1,0,2195,1); get_p(43930,1,0,2090,1); get_p(43940,2,0,1014,1); get_p(44060,2,0,1101,1); get_p(44120,4,0,1102,1); get_p(44140,2,0,2206,1); get_p(44180,2,0,2162,1); get_p(44210,1,0,4420,1); get_p(44230,1,0,4422,1); get_p(44270,1,0,2088,1); get_p(44360,4,0,1108,1); get_p(44390,1,0,2112,1); get_p(44410,1,0,2220,1); get_p(44420,2,0,2220,1); get_p(44425,7,5,1006,1); get_p(44470,1,0,4446,1); get_p(44510,1,0,4450,1); get_p(44540,2,0,1040,1); get_p(44570,1,0,4456,1); get_p(44610,3,0,1486,1); get_p(44620,2,0,1056,1); get_p(44630,1,0,4462,1); get_p(44710,1,0,2096,1); get_p(44740,2,0,1118,1); get_p(44780,2,0,1119,1); get_p(44810,1,0,2240,1); get_p(44860,2,0,1121,1); get_p(44890,1,0,2211,1); get_p(44930,1,0,1123,1); get_p(45020,2,0,2250,1); get_p(45110,1,0,1038,1); get_p(45130,1,0,1504,1); get_p(45170,1,0,2258,1); get_p(45230,1,0,2261,1); get_p(45310,1,0,1078,1); get_p(45340,2,0,1133,1); get_p(45380,2,0,2268,1); get_p(45424,5,2,1178,1); get_p(45460,2,0,2272,1); get_p(45470,1,0,2273,1); get_p(45490,1,0,1516,1); get_p(45530,1,0,1092,1); get_p(45590,1,0,2208,1); get_p(45610,1,0,2280,1); get_p(45670,1,0,4566,1); get_p(45730,1,0,1072,1); get_p(45830,1,0,4582,1); get_p(45860,2,0,1146,1); get_p(45910,1,0,2295,1); get_p(45930,1,0,1530,1); get_p(45940,2,0,2296,1); get_p(45970,1,0,2298,1); get_p(46010,1,0,1113,1); get_p(46030,1,0,2301,1); get_p(46120,4,0,1152,1); get_p(46180,2,0,2308,1); get_p(46190,1,0,2220,1); get_p(46290,1,0,1542,1); get_p(46390,1,0,2319,1); get_p(46430,1,0,2321,1); get_p(46470,1,0,1548,1); get_p(46510,1,0,4650,1); get_p(46570,1,0,1552,1); get_p(46590,3,0,1552,1); get_p(46670,1,0,1074,1); get_p(46730,1,0,4672,1); get_p(46780,2,0,2338,1); get_p(46790,1,0,2339,1); get_p(46820,2,0,2340,1); get_p(46840,4,0,1170,1); get_p(46910,1,0,4690,1); get_p(46940,2,0,1173,1); get_p(47010,1,0,1566,1); get_p(47020,2,0,1175,1); get_p(47030,1,0,4702,1); get_p(47090,1,0,1104,1); get_p(47130,3,0,1570,1); get_p(47140,2,0,1178,1); get_p(47210,1,0,2360,1); get_p(47230,1,0,2361,1); get_p(47240,4,0,1180,1); get_p(47270,1,0,2268,1); get_p(47290,1,0,1182,1); get_p(47330,1,0,1183,1); get_p(47370,1,0,1578,1); get_p(47420,2,0,2370,1); get_p(47490,3,0,1582,1); get_p(47510,1,0,2375,1); get_p(47570,1,0,1155,1); get_p(47590,1,0,2379,1); get_p(47660,2,0,2382,1); get_p(47720,4,0,1192,1); get_p(47780,2,0,2388,1); get_p(47830,1,0,4782,1); get_p(47870,1,0,2393,1); get_p(47930,1,0,4792,1); get_p(47980,2,0,1199,1); get_p(47990,1,0,2399,1); get_p(48110,1,0,2256,1); get_p(48140,2,0,1148,1); get_p(48170,1,0,4816,1); get_p(48210,3,0,1606,1); get_p(48220,2,0,2410,1); get_p(48340,2,0,2416,1); get_p(48430,1,0,2324,1); get_p(48460,2,0,2422,1); get_p(48570,3,0,1618,1); get_p(48630,1,0,1620,1); get_p(48680,4,0,1216,1); get_p(48710,1,0,2435,1); get_p(48725,2,5,1160,1); get_p(48740,2,0,1218,1); get_p(48770,1,0,1219,1); get_p(48830,1,0,2304,1); get_p(48890,1,0,2444,1); get_p(48920,4,0,1222,1); get_p(48940,2,0,2446,1); get_p(48970,1,0,2378,1); get_p(49010,1,0,1092,1); get_p(49030,1,0,1634,1); get_p(49090,1,0,1636,1); get_p(49130,1,0,4624,1); get_p(49160,4,0,1228,1); get_p(49180,2,0,2458,1); get_p(49190,1,0,2459,1); get_p(49220,2,0,1166,1); get_p(49310,1,0,4930,1); get_p(49330,1,0,2466,1); get_p(49370,1,0,4936,1); get_p(49430,1,0,4942,1); get_p(49460,2,0,2472,1); get_p(49510,1,0,2475,1); get_p(49670,1,0,4966,1); get_p(49780,2,0,1170,1); get_p(49790,1,0,1146,1); get_p(49810,1,0,1168,1); get_p(49870,1,0,2493,1); get_p(49890,1,0,1662,1); get_p(49930,1,0,1664,1); get_p(49970,1,0,2358,1); get_p(49975,5,0,999,1); get_p(50030,1,0,2501,1); get_p(50110,1,0,1670,1); get_p(50140,2,0,1188,1); get_p(50170,1,0,1204,1); get_p(50210,1,0,5020,1); get_p(50230,1,0,1674,1); get_p(50290,1,0,2438,1); get_p(50360,4,0,1258,1); get_p(50390,1,0,2519,1); get_p(50410,1,0,2485,1); get_p(50570,1,0,1164,1); get_p(50590,1,0,5058,1); get_p(50630,1,0,2460,1); get_p(50740,2,0,1218,1); get_p(50770,1,0,2538,1); get_p(50780,2,0,2538,1); get_p(50810,1,0,1270,1); get_p(50860,2,0,2542,1); get_p(50870,1,0,5086,1); get_p(50910,3,0,1696,1); get_p(50950,5,0,1018,1); get_p(50975,5,0,1019,1); get_p(50980,2,0,2548,1); get_p(50990,1,0,5098,1); get_p(51010,1,0,1700,1); get_p(51050,5,0,1020,1); get_p(51070,1,0,2553,1); get_p(51110,1,0,2412,1); get_p(51130,1,0,1704,1); get_p(51230,1,0,2484,1); get_p(51270,3,0,1708,1); get_p(51290,1,0,2442,1); get_p(51340,2,0,1200,1); get_p(51410,1,0,1248,1); get_p(51470,1,0,2573,1); get_p(51530,1,0,5152,1); get_p(51575,2,5,1200,1); get_p(51580,2,0,2578,1); get_p(51640,4,0,1290,1); get_p(51650,5,0,1032,1); get_p(51670,1,0,5166,1); get_p(51770,1,0,2490,1); get_p(51790,1,0,5178,1); get_p(51860,2,0,2592,1); get_p(51880,4,0,1296,1); get_p(51890,1,0,5188,1); get_p(51910,1,0,2492,1); get_p(51980,2,0,1232,1); get_p(52040,4,0,1300,1); get_p(52120,4,0,1302,1); get_p(52180,2,0,1304,1); get_p(52190,1,0,2448,1); get_p(52210,1,0,2486,1); get_p(52230,1,0,1740,1); get_p(52270,1,0,2613,1); get_p(52310,1,0,2615,1); get_p(52330,1,0,5232,1); get_p(52340,2,0,2616,1); get_p(52420,2,0,2620,1); get_p(52490,1,0,1260,1); get_p(52510,1,0,1276,1); get_p(52550,5,0,1050,1); get_p(52610,1,0,1052,1); get_p(52660,2,0,2632,1); get_p(52670,1,0,2508,1); get_p(52730,1,0,5272,1); get_p(52775,5,0,1055,1); get_p(52790,1,0,2639,1); get_p(52810,1,0,2640,1); get_p(52870,1,0,2480,1); get_p(52970,1,0,5296,1); get_p(53030,1,0,5302,1); get_p(53080,4,0,1326,1); get_p(53090,1,0,5308,1); get_p(53110,1,0,2576,1); get_p(53140,2,0,2656,1); get_p(53150,5,0,1062,1); get_p(53230,1,0,2661,1); get_p(53260,2,0,2662,1); get_p(53310,1,0,1776,1); get_p(53330,1,0,1333,1); get_p(53420,2,0,1335,1); get_p(53450,5,0,1068,1); get_p(53470,1,0,2673,1); get_p(53490,1,0,1782,1); get_p(53510,1,0,2675,1); get_p(53590,1,0,2552,1); get_p(53670,1,0,1788,1); get_p(53740,2,0,2686,1); get_p(53810,1,0,5380,1); get_p(53860,2,0,1346,1); get_p(53870,1,0,2693,1); get_p(53890,1,0,1264,1); get_p(53930,1,0,5392,1); get_p(53980,2,0,2698,1); get_p(53990,1,0,2699,1); get_p(54070,1,0,1802,1); get_p(54130,1,0,2706,1); get_p(54140,2,0,1353,1); get_p(54170,1,0,5416,1); get_p(54190,1,0,5418,1); get_p(54220,2,0,1355,1); get_p(54260,2,0,2712,1); get_p(54310,1,0,2715,1); get_p(54330,3,0,1810,1); get_p(54350,5,0,1086,1); get_p(54370,1,0,1359,1); get_p(54380,2,0,1359,1); get_p(54410,1,0,2720,1); get_p(54470,1,0,1254,1); get_p(54475,2,5,1063,1); get_p(54490,1,0,2724,1); get_p(54550,5,0,1090,1); get_p(54620,2,0,2730,1); get_p(54680,4,0,1366,1); get_p(54690,3,0,1822,1); get_p(54770,1,0,1369,1); get_p(54790,1,0,2739,1); get_p(54820,2,0,2740,1); get_p(54830,1,0,2741,1); get_p(54850,5,0,1096,1); get_p(54910,1,0,2448,1); get_p(54925,5,0,1014,1); get_p(55010,1,0,5500,1); get_p(55030,1,0,5502,1); get_p(55060,2,0,2752,1); get_p(55070,1,0,2753,1); get_p(55150,5,0,1102,1); get_p(55190,1,0,2759,1); get_p(55225,2,5,1820,1); get_p(55240,4,0,1380,1); get_p(55270,1,0,5526,1); get_p(55310,1,0,5530,1); get_p(55340,2,0,2766,1); get_p(55390,1,0,2660,1); get_p(55410,3,0,1846,1); get_p(55420,2,0,1296,1); get_p(55450,5,0,1108,1); get_p(55460,2,0,1334,1); get_p(55490,1,0,2670,1); get_p(55525,7,5,1257,1); get_p(55540,2,0,2776,1); get_p(55610,1,0,1353,1); get_p(55630,1,0,2781,1); get_p(55670,1,0,1314,1); get_p(55690,1,0,1392,1); get_p(55730,1,0,2786,1); get_p(55780,2,0,2788,1); get_p(55810,1,0,5580,1); get_p(55830,1,0,1860,1); get_p(55910,1,0,2795,1); get_p(55970,1,0,1344,1); get_p(56020,2,0,1400,1); get_p(56030,1,0,1290,1); get_p(56060,2,0,1401,1); get_p(56190,1,0,1872,1); get_p(56230,1,0,5622,1); get_p(56275,2,5,1657,1); get_p(56330,1,0,2730,1); get_p(56380,2,0,2818,1); get_p(56390,1,0,2819,1); get_p(56470,1,0,1882,1); get_p(56510,1,0,5650,1); get_p(56530,1,0,2826,1); get_p(56570,1,0,5656,1); get_p(56590,1,0,5658,1); get_p(56620,2,0,1332,1); get_p(56660,2,0,2832,1); get_p(56690,1,0,5668,1); get_p(56780,2,0,1328,1); get_p(56830,1,0,2841,1); get_p(56860,2,0,1421,1); get_p(56930,1,0,1423,1); get_p(57010,1,0,5700,1); get_p(57020,2,0,2850,1); get_p(57160,4,0,1428,1); get_p(57170,1,0,1429,1); get_p(57220,2,0,2860,1); get_p(57230,1,0,2784,1); get_p(57320,4,0,1432,1); get_p(57340,2,0,1380,1); get_p(57370,1,0,5736,1); get_p(57390,3,0,1912,1); get_p(57410,1,0,5740,1); get_p(57430,1,0,5742,1); get_p(57490,1,0,5748,1); get_p(57580,2,0,1439,1); get_p(57584,3,8,1036,3); get_p(57590,1,0,1326,1); get_p(57650,5,0,1152,1); get_p(57710,1,0,2772,1); get_p(57740,2,0,2886,1); get_p(57770,1,0,1404,1); get_p(57790,1,0,5778,1); get_p(57830,1,0,5782,1); get_p(57880,4,0,1446,1); get_p(57940,2,0,2896,1); get_p(58010,1,0,1450,1); get_p(58060,2,0,2902,1); get_p(58070,1,0,5806,1); get_p(58130,1,0,2906,1); get_p(58180,2,0,2908,1); get_p(58210,1,0,5820,1); get_p(58270,1,0,2913,1); get_p(58340,2,0,1458,1); get_p(58390,1,0,2919,1); get_p(58430,1,0,2921,1); get_p(58470,3,0,1948,1); get_p(58475,2,5,1067,1); get_p(58490,1,0,1462,1); get_p(58510,1,0,1950,1); get_p(58540,2,0,2926,1); get_p(58550,5,0,1170,1); get_p(58570,1,0,5856,1); get_p(58610,1,0,5860,1); get_p(58670,1,0,2933,1); get_p(58690,1,0,5868,1); get_p(58780,2,0,2938,1); get_p(58790,1,0,2939,1); get_p(58810,1,0,2940,1); get_p(58925,5,0,1178,1); get_p(58930,1,0,1435,1); get_p(58970,1,0,5896,1); get_p(58990,1,0,2768,1); get_p(59030,1,0,5902,1); get_p(59050,5,0,1180,1); get_p(59090,1,0,2790,1); get_p(59110,1,0,2816,1); get_p(59140,2,0,1478,1); get_p(59230,1,0,2961,1); get_p(59260,2,0,1481,1); get_p(59270,1,0,5926,1); get_p(59370,3,0,1978,1); get_p(59390,1,0,5938,1); get_p(59420,2,0,2970,1); get_p(59480,4,0,1486,1); get_p(59530,1,0,1984,1); get_p(59650,5,0,1192,1); get_p(59725,7,5,2145,1); get_p(59810,1,0,5980,1); get_p(59870,1,0,2993,1); get_p(59890,1,0,1456,1); get_p(59930,1,0,1380,1); get_p(59936,3,8,1039,3); get_p(59970,1,0,999,1); get_p(59980,2,0,1499,1); get_p(60020,2,0,1500,1); get_p(60090,3,0,1001,1); get_p(60110,1,0,6010,1); get_p(60220,2,0,3010,1); get_p(60230,1,0,1422,1); get_p(60260,2,0,1430,1); get_p(60275,7,5,2197,1); get_p(60290,1,0,6028,1); get_p(60370,1,0,3018,1); get_p(60380,2,0,3018,1); get_p(60425,7,5,1905,1); get_p(60430,1,0,3021,1); get_p(60460,2,0,3022,1); get_p(60470,1,0,6046,1); get_p(60490,1,0,2882,1); get_p(60510,1,0,2016,1); get_p(60530,1,0,3026,1); get_p(60670,1,0,3033,1); get_p(60710,1,0,1398,1); get_p(60730,1,0,6072,1); get_p(60790,1,0,1013,1); get_p(60810,3,0,1013,1); get_p(60850,5,0,1216,1); get_p(60860,2,0,1424,1); get_p(60870,1,0,2028,1); get_p(60910,1,0,2030,1); get_p(61010,1,0,1220,1); get_p(61030,1,0,2864,1); get_p(61070,1,0,1470,1); get_p(61130,1,0,6112,1); get_p(61140,6,0,1018,1); get_p(61150,5,0,1222,1); get_p(61170,3,0,1019,1); get_p(61210,1,0,3060,1); get_p(61240,4,0,1530,1); get_p(61260,2,0,1020,1); get_p(61310,1,0,6130,1); get_p(61330,1,0,1533,1); get_p(61340,2,0,1533,1); get_p(61370,1,0,2736,1); get_p(61430,1,0,6142,1); get_p(61450,5,0,1228,1); get_p(61510,1,0,1025,1); get_p(61570,1,0,2990,1); get_p(61580,2,0,1539,1); get_p(61660,2,0,1541,1); get_p(61720,4,0,1542,1); get_p(61730,1,0,3086,1); get_p(61780,2,0,1544,1); get_p(61870,1,0,2948,1); get_p(61890,3,0,2062,1); get_p(61960,4,0,1548,1); get_p(61970,1,0,3098,1); get_p(61980,2,0,1032,1); get_p(61990,1,0,3099,1); get_p(62060,2,0,1484,1); get_p(62070,3,0,2068,1); get_p(62110,1,0,6210,1); get_p(62120,4,0,1552,1); get_p(62170,1,0,6216,1); get_p(62210,1,0,6220,1); get_p(62270,1,0,1434,1); get_p(62290,1,0,2076,1); get_p(62380,2,0,1559,1); get_p(62390,1,0,2928,1); get_p(62410,1,0,1027,1); get_p(62430,3,0,1040,1); get_p(62470,1,0,6246,1); get_p(62490,1,0,1041,1); get_p(62570,1,0,6256,1); get_p(62630,1,0,6262,1); get_p(62670,1,0,1044,1); get_p(62680,4,0,1566,1); get_p(62690,1,0,6268,1); get_p(62710,1,0,1045,1); get_p(62740,2,0,3136,1); get_p(62770,1,0,1569,1); get_p(62830,1,0,1020,1); get_p(62840,4,0,1570,1); get_p(62870,1,0,6286,1); get_p(62950,5,0,1258,1); get_p(62970,3,0,2098,1); get_p(62980,2,0,1518,1); get_p(63010,1,0,6300,1); get_p(63060,2,0,1050,1); get_p(63110,1,0,3155,1); get_p(63130,1,0,3074,1); get_p(63160,4,0,1578,1); get_p(63170,1,0,3158,1); get_p(63190,1,0,1540,1); get_p(63230,1,0,3161,1); get_p(63260,2,0,1581,1); get_p(63290,1,0,3164,1); get_p(63320,4,0,1582,1); get_p(63330,3,0,1055,1); get_p(63340,2,0,3166,1); get_p(63370,1,0,6336,1); get_p(63390,1,0,2112,1); get_p(63410,1,0,1488,1); get_p(63430,1,0,6342,1); get_p(63460,2,0,1494,1); get_p(63475,2,5,1417,1); get_p(63530,1,0,6352,1); get_p(63575,7,5,1172,1); get_p(63590,1,0,3179,1); get_p(63610,1,0,1590,1); get_p(63670,1,0,6366,1); get_p(63710,1,0,1518,1); get_p(63730,1,0,1062,1); get_p(63780,2,0,1062,1); get_p(63790,1,0,2126,1); get_p(63830,1,0,1470,1); get_p(63890,1,0,6388,1); get_p(64030,1,0,1008,1); get_p(64060,2,0,1601,1); get_p(64070,1,0,3108,1); get_p(64110,1,0,2136,1); get_p(64140,2,0,1068,1); get_p(64175,5,0,1200,1); get_p(64180,2,0,1604,1); get_p(64210,1,0,2140,1); get_p(64230,3,0,2140,1); get_p(64270,1,0,1071,1); get_p(64280,4,0,1606,1); get_p(64290,1,0,2142,1); get_p(64310,1,0,3132,1); get_p(64340,2,0,1072,1); get_p(64410,1,0,1008,1); get_p(64420,2,0,3220,1); get_p(64430,1,0,3024,1); get_p(64475,2,5,1253,1); get_p(64490,1,0,1612,1); get_p(64510,1,0,2150,1); get_p(64550,5,0,1290,1); get_p(64580,2,0,1076,1); get_p(64590,3,0,2152,1); get_p(64670,1,0,3108,1); get_p(64730,1,0,6472,1); get_p(64760,4,0,1618,1); get_p(64840,4,0,1620,1); get_p(64850,5,0,1296,1); get_p(64910,1,0,1298,1); get_p(64940,2,0,1520,1); get_p(64975,5,0,1232,1); get_p(64990,1,0,1056,1); get_p(65020,2,0,3250,1); get_p(65050,5,0,1300,1); get_p(65090,1,0,3102,1); get_p(65110,1,0,3056,1); get_p(65140,2,0,3256,1); get_p(65150,5,0,1302,1); get_p(65180,2,0,3258,1); get_p(65220,2,0,1086,1); get_p(65270,1,0,3180,1); get_p(65290,1,0,1088,1); get_p(65370,1,0,2178,1); get_p(65390,1,0,1506,1); get_p(65420,2,0,1635,1); get_p(65460,6,0,1090,1); get_p(65470,1,0,1091,1); get_p(65510,1,0,3275,1); get_p(65530,1,0,6552,1); get_p(65630,1,0,3281,1); get_p(65690,1,0,1642,1); get_p(65710,1,0,6570,1); get_p(65770,1,0,2192,1); get_p(65810,1,0,1316,1); get_p(65820,6,0,1096,1); get_p(65825,7,5,1197,1); get_p(65830,1,0,3164,1); get_p(65910,1,0,1014,1); get_p(65930,1,0,3114,1); get_p(65980,2,0,3298,1); get_p(65990,1,0,3299,1); get_p(66020,2,0,3300,1); get_p(66070,1,0,2202,1); get_p(66090,1,0,1101,1); get_p(66130,1,0,1552,1); get_p(66140,2,0,1653,1); get_p(66170,1,0,1524,1); get_p(66180,6,0,1102,1); get_p(66190,1,0,6618,1); get_p(66210,3,0,2206,1); get_p(66260,2,0,3312,1); get_p(66270,3,0,2162,1); get_p(66310,1,0,1044,1); get_p(66350,5,0,1326,1); get_p(66410,1,0,1596,1); get_p(66460,2,0,1661,1); get_p(66470,1,0,2992,1); get_p(66520,4,0,1662,1); get_p(66530,1,0,3326,1); get_p(66540,6,0,1108,1); get_p(66575,2,5,1734,1); get_p(66590,1,0,6658,1); get_p(66610,1,0,6660,1); get_p(66620,2,0,3330,1); get_p(66630,1,0,2220,1); get_p(66670,1,0,3248,1); get_p(66730,1,0,6672,1); get_p(66740,2,0,1610,1); get_p(66775,5,0,1335,1); get_p(66790,1,0,3339,1); get_p(66810,3,0,1040,1); get_p(66860,2,0,3342,1); get_p(66890,1,0,1672,1); get_p(66910,1,0,6690,1); get_p(66930,1,0,1056,1); get_p(66940,2,0,1673,1); get_p(67010,1,0,6700,1); get_p(67030,1,0,6702,1); get_p(67090,1,0,6708,1); get_p(67110,3,0,1118,1); get_p(67170,1,0,1119,1); get_p(67180,2,0,1679,1); get_p(67190,1,0,3359,1); get_p(67220,2,0,1680,1); get_p(67290,3,0,1121,1); get_p(67325,5,0,1346,1); get_p(67330,1,0,3366,1); get_p(67370,1,0,6736,1); get_p(67390,1,0,1606,1); get_p(67420,2,0,3370,1); get_p(67490,1,0,1584,1); get_p(67530,1,0,2250,1); get_p(67570,1,0,1624,1); get_p(67610,1,0,1690,1); get_p(67660,2,0,1584,1); get_p(67775,5,0,1355,1); get_p(67780,2,0,3388,1); get_p(67790,1,0,6778,1); get_p(67810,1,0,1356,1); get_p(67820,2,0,1695,1); get_p(67825,2,5,2143,1); get_p(67880,4,0,1696,1); get_p(67930,1,0,6792,1); get_p(68010,3,0,1133,1); get_p(68020,2,0,1602,1); get_p(68030,1,0,3401,1); get_p(68070,1,0,2268,1); get_p(68140,2,0,3406,1); get_p(68190,3,0,2272,1); get_p(68210,1,0,3222,1); get_p(68230,1,0,6822,1); get_p(68260,2,0,1706,1); get_p(68270,1,0,3413,1); get_p(68290,1,0,6828,1); get_p(68330,1,0,6832,1); get_p(68350,5,0,1366,1); get_p(68360,4,0,1708,1); get_p(68540,2,0,1628,1); get_p(68570,1,0,6856,1); get_p(68590,1,0,6498,1); get_p(68630,1,0,6862,1); get_p(68660,2,0,3432,1); get_p(68690,1,0,6868,1); get_p(68710,1,0,3435,1); get_p(68770,1,0,1518,1); get_p(68790,1,0,1146,1); get_p(68825,2,5,1219,1); get_p(68830,1,0,3441,1); get_p(68870,1,0,3360,1); get_p(68890,1,0,3403,1); get_p(68910,3,0,2296,1); get_p(68930,1,0,1680,1); get_p(68990,1,0,6898,1); get_p(69010,1,0,1122,1); get_p(69050,5,0,1380,1); get_p(69070,1,0,1151,1); get_p(69110,1,0,3455,1); get_p(69130,1,0,1110,1); get_p(69170,1,0,3458,1); get_p(69180,2,0,1152,1); get_p(69220,2,0,3460,1); get_p(69260,2,0,3462,1); get_p(69270,3,0,2308,1); get_p(69340,2,0,1733,1); get_p(69380,2,0,3468,1); get_p(69425,2,5,2435,1); get_p(69460,2,0,1650,1); get_p(69470,1,0,3473,1); get_p(69490,1,0,6948,1); get_p(69590,1,0,3479,1); get_p(69610,1,0,3480,1); get_p(69620,2,0,3422,1); get_p(69640,4,0,1740,1); get_p(69670,1,0,6966,1); get_p(69710,1,0,6970,1); get_p(69725,7,5,1652,1); get_p(69730,1,0,1098,1); get_p(69770,1,0,6976,1); get_p(69830,1,0,6982,1); get_p(69910,1,0,3495,1); get_p(69970,1,0,1749,1); get_p(70010,1,0,1750,1); get_p(70030,1,0,3404,1); get_p(70060,2,0,1680,1); get_p(70130,1,0,3506,1); get_p(70170,3,0,2338,1); get_p(70190,1,0,7018,1); get_p(70220,2,0,1755,1); get_p(70230,1,0,2340,1); get_p(70260,2,0,1170,1); get_p(70270,1,0,1171,1); get_p(70370,1,0,1695,1); get_p(70410,1,0,1173,1); get_p(70530,3,0,1175,1); get_p(70540,2,0,3526,1); get_p(70570,1,0,7056,1); get_p(70580,2,0,1764,1); get_p(70610,1,0,3366,1); get_p(70624,5,2,1394,1); get_p(70660,2,0,1766,1); get_p(70690,1,0,7068,1); get_p(70710,3,0,1178,1); get_p(70780,2,0,3538,1); get_p(70790,1,0,3539,1); get_p(70825,2,5,1441,1); get_p(70860,6,0,1180,1); get_p(70940,2,0,1773,1); get_p(70970,1,0,3450,1); get_p(70975,5,0,1328,1); get_p(70990,1,0,1140,1); get_p(71030,1,0,7102,1); get_p(71075,2,5,1092,1); get_p(71080,4,0,1776,1); get_p(71090,1,0,7108,1); get_p(71130,1,0,2370,1); get_p(71180,2,0,1779,1); get_p(71210,1,0,3560,1); get_p(71230,1,0,3344,1); get_p(71270,1,0,1018,1); get_p(71312,7,6,1068,1); get_p(71320,4,0,1782,1); get_p(71330,7,0,1018,1); get_p(71420,2,0,3570,1); get_p(71450,5,0,1428,1); get_p(71470,1,0,1020,1); get_p(71490,1,0,2382,1); get_p(71530,1,0,3410,1); get_p(71560,4,0,1788,1); get_p(71580,6,0,1192,1); get_p(71590,1,0,3579,1); get_p(71620,2,0,3580,1); get_p(71650,5,0,1432,1); get_p(71660,2,0,1194,1); get_p(71670,1,0,2388,1); get_p(71690,1,0,1749,1); get_p(71770,1,0,7176,1); get_p(71810,1,0,3486,1); get_p(71860,2,0,3592,1); get_p(71870,1,0,3593,1); get_p(71930,1,0,7192,1); get_p(71970,3,0,1199,1); get_p(71975,5,0,1439,1); get_p(71980,2,0,1740,1); get_p(71990,1,0,3432,1); get_p(72070,1,0,7206,1); get_p(72110,1,0,1030,1); get_p(72130,1,0,1803,1); get_p(72140,2,0,3606,1); get_p(72190,1,0,7218,1); get_p(72210,3,0,1148,1); get_p(72230,1,0,3480,1); get_p(72290,1,0,7228,1); get_p(72310,1,0,1032,1); get_p(72330,3,0,2410,1); get_p(72340,2,0,3616,1); get_p(72350,5,0,1446,1); get_p(72430,1,0,3621,1); get_p(72440,4,0,1810,1); get_p(72460,2,0,3622,1); get_p(72470,1,0,7246,1); get_p(72510,3,0,2416,1); get_p(72580,2,0,1710,1); get_p(72620,2,0,1815,1); get_p(72690,3,0,2422,1); get_p(72725,7,5,1147,1); get_p(72770,1,0,3438,1); get_p(72830,1,0,3641,1); get_p(72848,8,0,1092,1); get_p(72860,2,0,1821,1); get_p(72910,1,0,1738,1); get_p(72920,4,0,1822,1); get_p(72925,5,0,1458,1); get_p(72970,1,0,2432,1); get_p(73020,6,0,1216,1); get_p(73030,1,0,1188,1); get_p(73070,1,0,3653,1); get_p(73090,1,0,7308,1); get_p(73110,1,0,1218,1); get_p(73130,1,0,1190,1); get_p(73180,2,0,3658,1); get_p(73190,1,0,1686,1); get_p(73210,1,0,3660,1); get_p(73270,1,0,3440,1); get_p(73310,1,0,1466,1); get_p(73380,6,0,1222,1); get_p(73410,3,0,2446,1); get_p(73460,2,0,3672,1); get_p(73475,2,5,2247,1); get_p(73490,1,0,7348,1); get_p(73510,1,0,1225,1); get_p(73540,2,0,1838,1); get_p(73570,1,0,1050,1); get_p(73690,1,0,1842,1); get_p(73740,6,0,1228,1); get_p(73770,3,0,2458,1); get_p(73790,1,0,1794,1); get_p(73820,2,0,1230,1); get_p(73830,3,0,1166,1); get_p(73870,1,0,1804,1); get_p(73880,4,0,1846,1); get_p(73910,1,0,3492,1); get_p(73925,5,0,1478,1); get_p(73930,1,0,7392,1); get_p(73940,2,0,1232,1); get_p(74020,2,0,3700,1); get_p(74110,1,0,7410,1); get_p(74170,1,0,2472,1); get_p(74180,2,0,3708,1); get_p(74190,1,0,2472,1); get_p(74290,1,0,1584,1); get_p(74330,1,0,7432,1); get_p(74350,5,0,1486,1); get_p(74380,2,0,1859,1); get_p(74410,1,0,1062,1); get_p(74420,2,0,3660,1); get_p(74440,4,0,1860,1); get_p(74510,1,0,7450,1); get_p(74530,1,0,1792,1); get_p(74540,2,0,3726,1); get_p(74570,1,0,7456,1); get_p(74590,1,0,7458,1); get_p(74630,1,0,3504,1); get_p(74670,1,0,1170,1); get_p(74770,1,0,3738,1); get_p(74780,2,0,1246,1); get_p(74830,1,0,1068,1); get_p(74864,5,2,1234,1); get_p(74870,1,0,7486,1); get_p(74890,1,0,1872,1); get_p(74920,4,0,1872,1); get_p(74930,1,0,1218,1); get_p(74980,2,0,1782,1); get_p(74990,1,0,7498,1); get_p(75070,1,0,3753,1); get_p(75104,5,2,1099,1); get_p(75170,1,0,3758,1); get_p(75210,1,0,1188,1); get_p(75220,2,0,1880,1); get_p(75230,1,0,3761,1); get_p(75248,1,8,1844,3); get_p(75275,7,5,1022,1); get_p(75290,1,0,1882,1); get_p(75310,1,0,3536,1); get_p(75325,5,0,1430,1); get_p(75340,2,0,3766,1); get_p(75344,8,0,1104,1); get_p(75370,1,0,2512,1); get_p(75380,2,0,1884,1); get_p(75410,1,0,7540,1); get_p(75470,1,0,3773,1); get_p(75475,2,5,2089,1); get_p(75490,1,0,2516,1); get_p(75540,6,0,1258,1); get_p(75580,2,0,3778,1); get_p(75590,1,0,3779,1); get_p(75610,1,0,1890,1); get_p(75710,1,0,3696,1); get_p(75770,1,0,7576,1); get_p(75820,2,0,1776,1); get_p(75830,1,0,7582,1); get_p(75860,2,0,1264,1); get_p(75890,1,0,1084,1); get_p(75910,1,0,3795,1); get_p(75970,1,0,1855,1); get_p(75980,2,0,1820,1); get_p(76016,7,8,1545,3); get_p(76030,1,0,1267,1); get_p(76060,2,0,1901,1); get_p(76070,1,0,7606,1); get_p(76090,1,0,1086,1); get_p(76110,1,0,1218,1); get_p(76170,1,0,2538,1); get_p(76190,1,0,1800,1); get_p(76270,1,0,3668,1); get_p(76290,3,0,2542,1); get_p(76310,1,0,1758,1); get_p(76370,7,0,1090,1); get_p(76390,1,0,3819,1); get_p(76420,2,0,3820,1); get_p(76430,1,0,3821,1); get_p(76460,2,0,1274,1); get_p(76470,3,0,2548,1); get_p(76490,1,0,1912,1); get_p(76520,4,0,1912,1); get_p(76528,7,6,1470,1); get_p(76550,5,0,1530,1); get_p(76610,1,0,3726,1); get_p(76630,1,0,1248,1); get_p(76660,2,0,3832,1); get_p(76730,1,0,7672,1); get_p(76790,7,0,1096,1); get_p(76810,1,0,1920,1); get_p(76820,2,0,1826,1); get_p(76870,1,0,7686,1); get_p(76910,1,0,7690,1); get_p(76940,2,0,3846,1); get_p(76970,1,0,3738,1); get_p(76975,7,5,1051,1); get_p(76990,1,0,7698,1); get_p(77010,1,0,1200,1); get_p(77030,1,0,7702,1); get_p(77090,1,0,1776,1); get_p(77150,5,0,1542,1); get_p(77170,1,0,1929,1); get_p(77180,2,0,1808,1); get_p(77210,7,0,1102,1); get_p(77230,1,0,1287,1); get_p(77260,2,0,3862,1); get_p(77270,1,0,7726,1); get_p(77290,1,0,3770,1); get_p(77370,3,0,2578,1); get_p(77390,1,0,3780,1); get_p(77450,5,0,1548,1); get_p(77460,2,0,1290,1); get_p(77475,5,0,1032,1); get_p(77510,1,0,3696,1); get_p(77530,1,0,7752,1); get_p(77570,1,0,1939,1); get_p(77590,1,0,3879,1); get_p(77620,2,0,1940,1); get_p(77630,7,0,1108,1); get_p(77650,5,0,1552,1); get_p(77780,2,0,1944,1); get_p(77790,1,0,2592,1); get_p(77820,2,0,1296,1); get_p(77830,1,0,1260,1); get_p(77870,1,0,1794,1); get_p(77890,1,0,2596,1); get_p(77930,1,0,7792,1); get_p(77960,4,0,1948,1); get_p(77970,3,0,1232,1); get_p(77975,5,0,1559,1); get_p(78010,1,0,1876,1); get_p(78020,2,0,1886,1); get_p(78060,6,0,1300,1); get_p(78140,2,0,1953,1); get_p(78170,1,0,7816,1); get_p(78180,2,0,1302,1); get_p(78220,2,0,1955,1); get_p(78230,1,0,7822,1); get_p(78270,3,0,1304,1); get_p(78272,3,8,1130,3); get_p(78290,1,0,7828,1); get_p(78340,2,0,1958,1); get_p(78350,5,0,1566,1); get_p(78370,1,0,1840,1); get_p(78460,2,0,1961,1); get_p(78490,1,0,3818,1); get_p(78510,1,0,2616,1); get_p(78530,1,0,3926,1); get_p(78550,5,0,1570,1); get_p(78620,2,0,1310,1); get_p(78630,3,0,2620,1); get_p(78670,1,0,3933,1); get_p(78710,1,0,1232,1); get_p(78725,2,5,1360,1); get_p(78730,1,0,7872,1); get_p(78770,1,0,3938,1); get_p(78790,1,0,3939,1); get_p(78825,5,0,1050,1); get_p(78830,1,0,3941,1); get_p(78860,2,0,3942,1); get_p(78940,2,0,1973,1); get_p(78950,5,0,1578,1); get_p(78970,1,0,1924,1); get_p(78990,3,0,2632,1); get_p(79010,1,0,7900,1); get_p(79060,2,0,1914,1); get_p(79070,1,0,3953,1); get_p(79150,5,0,1582,1); get_p(79160,4,0,1978,1); get_p(79190,1,0,3959,1); get_p(79210,1,0,3916,1); get_p(79270,1,0,7926,1); get_p(79330,1,0,3966,1); get_p(79340,2,0,3966,1); get_p(79370,1,0,7936,1); get_p(79390,1,0,3728,1); get_p(79430,1,0,1794,1); get_p(79490,1,0,7948,1); get_p(79510,1,0,3975,1); get_p(79610,1,0,3762,1); get_p(79620,2,0,1326,1); get_p(79630,1,0,3981,1); get_p(79670,1,0,3840,1); get_p(79710,3,0,2656,1); get_p(79780,2,0,3988,1); get_p(79810,1,0,3806,1); get_p(79890,3,0,2662,1); get_p(79930,1,0,2664,1); get_p(79952,5,2,1720,1); get_p(79960,4,0,999,1); get_p(79990,1,0,1260,1); get_p(80090,1,0,2002,1); get_p(80110,1,0,2670,1); get_p(80120,4,0,1001,1); get_p(80130,1,0,1335,1); get_p(80140,2,0,4006,1); get_p(80170,1,0,8016,1); get_p(80175,5,0,1068,1); get_p(80270,1,0,1276,1); get_p(80272,8,0,1204,1); get_p(80330,1,0,1932,1); get_p(80350,5,0,1606,1); get_p(80380,2,0,4018,1); get_p(80390,1,0,4019,1); get_p(80430,1,0,1146,1); get_p(80510,1,0,3936,1); get_p(80525,7,5,1449,1); get_p(80530,1,0,4026,1); get_p(80540,2,0,2013,1); get_p(80590,1,0,8058,1); get_p(80610,3,0,2686,1); get_p(80656,3,8,1386,3); get_p(80680,4,0,2016,1); get_p(80690,1,0,8068,1); get_p(80710,1,0,1152,1); get_p(80790,3,0,1346,1); get_p(80810,1,0,2020,1); get_p(80870,1,0,8086,1); get_p(80890,1,0,1348,1); get_p(80930,1,0,4046,1); get_p(80950,5,0,1618,1); get_p(80970,3,0,2698,1); get_p(80980,2,0,2024,1); get_p(81010,1,0,1620,1); get_p(81020,2,0,4050,1); get_p(81050,5,0,1620,1); get_p(81080,4,0,1013,1); get_p(81140,2,0,4056,1); get_p(81160,4,0,2028,1); get_p(81170,1,0,2029,1); get_p(81175,5,0,1520,1); get_p(81210,1,0,1353,1); get_p(81230,1,0,4061,1); get_p(81275,2,5,2711,1); get_p(81310,1,0,1978,1); get_p(81330,3,0,1355,1); get_p(81390,1,0,2712,1); get_p(81430,1,0,3824,1); get_p(81460,2,0,4072,1); get_p(81470,1,0,4073,1); get_p(81475,7,5,1372,1); get_p(81520,8,0,1018,1); get_p(81525,5,0,1086,1); get_p(81530,1,0,3930,1); get_p(81560,4,0,1019,1); get_p(81570,1,0,1359,1); get_p(81580,2,0,2039,1); get_p(81610,1,0,1020,1); get_p(81670,1,0,2722,1); get_p(81680,8,0,1020,1); get_p(81690,1,0,1164,1); get_p(81710,1,0,8170,1); get_p(81775,5,0,1635,1); get_p(81776,7,8,1108,3); get_p(81790,1,0,8178,1); get_p(81820,2,0,4090,1); get_p(81890,1,0,3870,1); get_p(81910,1,0,1365,1); get_p(81930,1,0,2730,1); get_p(81970,1,0,1170,1); get_p(81980,2,0,4098,1); get_p(82010,1,0,1334,1); get_p(82020,6,0,1366,1); get_p(82070,1,0,3948,1); get_p(82090,1,0,4104,1); get_p(82130,1,0,1995,1); get_p(82190,1,0,8218,1); get_p(82210,1,0,2740,1); get_p(82220,2,0,2055,1); get_p(82230,3,0,2740,1); get_p(82256,8,0,1248,1); get_p(82275,3,0,1096,2); get_p(82310,1,0,4115,1); get_p(82330,1,0,8232,1); get_p(82340,2,0,1958,1); get_p(82370,1,0,4118,1); get_p(82430,1,0,4121,1); get_p(82475,2,5,2345,1); get_p(82520,4,0,2062,1); get_p(82525,7,5,2709,1); get_p(82540,2,0,4126,1); get_p(82570,1,0,3938,1); get_p(82580,2,0,2064,1); get_p(82590,3,0,2752,1); get_p(82630,1,0,8262,1); get_p(82640,8,0,1032,1); get_p(82660,2,0,1033,1); get_p(82670,7,0,1180,1); get_p(82690,1,0,8268,1); get_p(82725,3,0,1102,2); get_p(82730,1,0,8272,1); get_p(82760,4,0,2068,1); get_p(82780,2,0,4138,1); get_p(82790,1,0,3888,1); get_p(82825,7,5,1183,1); get_p(82860,2,0,1380,1); get_p(82870,1,0,8286,1); get_p(82910,1,0,8290,1); get_p(82930,1,0,2073,1); get_p(82970,1,0,8296,1); get_p(82976,3,8,1364,3); get_p(82990,1,0,1344,1); get_p(83010,1,0,2766,1); get_p(83030,1,0,3762,1); get_p(83060,2,0,4152,1); get_p(83075,7,5,1349,1); get_p(83110,1,0,4155,1); get_p(83130,1,0,1296,1); get_p(83140,2,0,2078,1); get_p(83150,5,0,1662,1); get_p(83190,3,0,1334,1); get_p(83240,4,0,1040,1); get_p(83260,2,0,1980,1); get_p(83290,1,0,1041,1); get_p(83310,3,0,2776,1); get_p(83320,4,0,1041,1); get_p(83390,1,0,4020,1); get_p(83410,1,0,1314,1); get_p(83425,5,0,1610,1); get_p(83470,1,0,3920,1); get_p(83510,7,0,1192,1); get_p(83530,1,0,8352,1); get_p(83540,2,0,4176,1); get_p(83560,4,0,1044,1); get_p(83575,2,5,2014,1); get_p(83630,1,0,4181,1); get_p(83660,2,0,1012,1); get_p(83670,3,0,2788,1); get_p(83675,2,5,1515,1); get_p(83690,1,0,4184,1); get_p(83770,1,0,8376,1); get_p(83780,2,0,2030,1); get_p(83810,1,0,1904,1); get_p(83890,1,0,8388,1); get_p(83960,4,0,2098,1); get_p(83975,7,5,1136,1); get_p(84030,3,0,1400,1); get_p(84080,8,0,1050,1); get_p(84090,1,0,1401,1); get_p(84110,1,0,1938,1); get_p(84130,1,0,4094,1); get_p(84170,1,0,3978,1); get_p(84190,1,0,2806,1); get_p(84220,2,0,4210,1); get_p(84230,1,0,8422,1); get_p(84275,2,5,1779,1); get_p(84290,1,0,8428,1); get_p(84310,1,0,4215,1); get_p(84340,2,0,4216,1); get_p(84368,3,4,1824,2); get_p(84380,2,0,4218,1); get_p(84410,1,0,4026,1); get_p(84430,1,0,4221,1); get_p(84440,4,0,1055,1); get_p(84464,7,4,1784,2); get_p(84470,1,0,8446,1); get_p(84520,4,0,2112,1); get_p(84570,3,0,2818,1); get_p(84580,2,0,4228,1); get_p(84610,1,0,2820,1); get_p(84620,2,0,2115,1); get_p(84670,1,0,4233,1); get_p(84725,2,5,1590,1); get_p(84790,1,0,1380,1); get_p(84820,2,0,1060,1); get_p(84830,1,0,3984,1); get_p(84850,5,0,1696,1); get_p(84860,2,0,2121,1); get_p(84930,1,0,1332,1); get_p(84970,1,0,2044,1); get_p(84990,1,0,2832,1); get_p(85010,1,0,8500,1); get_p(85040,8,0,1062,1); get_p(85060,2,0,1063,1); get_p(85070,1,0,4140,1); get_p(85130,1,0,8512,1); get_p(85170,3,0,1328,1); get_p(85175,7,5,1143,1); get_p(85180,2,0,4258,1); get_p(85190,7,0,1216,1); get_p(85220,2,0,4260,1); get_p(85270,1,0,2842,1); get_p(85290,3,0,1421,1); get_p(85370,1,0,8536,1); get_p(85390,1,0,2846,1); get_p(85420,2,0,2135,1); get_p(85430,1,0,8542,1); get_p(85450,5,0,1708,1); get_p(85460,2,0,1424,1); get_p(85480,4,0,2136,1); get_p(85490,1,0,1394,1); get_p(85510,1,0,4016,1); get_p(85520,8,0,1068,1); get_p(85530,1,0,2850,1); get_p(85610,7,0,1222,1); get_p(85630,1,0,4281,1); get_p(85640,4,0,2140,1); get_p(85660,2,0,2141,1); get_p(85670,1,0,1974,1); get_p(85675,2,5,1352,1); get_p(85720,4,0,2142,1); get_p(85730,1,0,4286,1); get_p(85740,2,0,1428,1); get_p(85744,7,8,1569,3); get_p(85780,2,0,2144,1); get_p(85790,1,0,2046,1); get_p(85810,1,0,2860,1); get_p(85825,2,5,1267,1); get_p(85830,3,0,2860,1); get_p(85880,4,0,1008,1); get_p(85940,2,0,1432,1); get_p(85970,1,0,2149,1); get_p(85980,6,0,1432,1); get_p(85990,1,0,1433,1); get_p(86010,1,0,1380,1); get_p(86030,7,0,1228,1); get_p(86090,1,0,1076,1); get_p(86110,1,0,1404,1); get_p(86120,4,0,2152,1); get_p(86176,5,2,1019,1); get_p(86224,8,0,1264,1); get_p(86230,1,0,8622,1); get_p(86260,2,0,2034,1); get_p(86270,1,0,4313,1); get_p(86290,1,0,2876,1); get_p(86330,1,0,1056,1); get_p(86370,3,0,1439,1); get_p(86390,1,0,1053,1); get_p(86410,1,0,4320,1); get_p(86420,2,0,1036,1); get_p(86470,1,0,8646,1); get_p(86475,5,0,1152,1); get_p(86525,2,5,1008,1); get_p(86530,1,0,2032,1); get_p(86540,2,0,4326,1); get_p(86610,1,0,2886,1); get_p(86630,1,0,8662,1); get_p(86675,2,5,1205,1); get_p(86690,1,0,8668,1); get_p(86704,2,4,1547,1); get_p(86725,7,5,1223,1); get_p(86740,2,0,4336,1); get_p(86780,2,0,4338,1); get_p(86820,2,0,1446,1); get_p(86825,5,0,1650,1); get_p(86830,1,0,1368,1); get_p(86890,1,0,2172,1); get_p(86896,9,8,1479,3); get_p(86910,3,0,2896,1); get_p(86930,1,0,4346,1); get_p(86960,8,0,1086,1); get_p(86980,2,0,4348,1); get_p(86990,1,0,8698,1); get_p(87025,7,5,2401,1); get_p(87050,5,0,1740,1); get_p(87070,1,0,4353,1); get_p(87090,3,0,2902,1); get_p(87130,1,0,8712,1); get_p(87160,4,0,2178,1); get_p(87170,1,0,4158,1); get_p(87190,1,0,4359,1); get_p(87260,2,0,2181,1); get_p(87270,3,0,2908,1); get_p(87280,8,0,1090,1); get_p(87310,1,0,8730,1); get_p(87370,1,0,2912,1); get_p(87410,1,0,8740,1); get_p(87460,2,0,1093,1); get_p(87470,1,0,4373,1); get_p(87510,1,0,1458,1); get_p(87530,1,0,8752,1); get_p(87580,2,0,2100,1); get_p(87590,1,0,4140,1); get_p(87728,2,8,1077,2); get_p(87760,8,0,1096,1); get_p(87770,1,0,4290,1); get_p(87775,5,0,1755,1); get_p(87810,3,0,2926,1); get_p(87820,2,0,2195,1); get_p(87830,1,0,8782,1); get_p(87860,2,0,2090,1); get_p(87880,4,0,1014,1); get_p(87910,1,0,4292,1); get_p(87970,1,0,1386,1); get_p(87990,1,0,1254,1); get_p(88010,1,0,1014,1); get_p(88030,1,0,1467,1); get_p(88070,1,0,8806,1); get_p(88090,1,0,4202,1); get_p(88120,4,0,1101,1); get_p(88130,7,0,1258,1); get_p(88170,3,0,2938,1); get_p(88175,7,5,1075,1); get_p(88190,1,0,8818,1); get_p(88210,1,0,8820,1); get_p(88240,8,0,1102,1); get_p(88280,4,0,2206,1); get_p(88310,1,0,4415,1); get_p(88325,5,0,1766,1); get_p(88360,4,0,2162,1); get_p(88370,1,0,4418,1); get_p(88390,1,0,4419,1); get_p(88420,2,0,4420,1); get_p(88460,2,0,4422,1); get_p(88475,2,5,1665,1); get_p(88510,1,0,2158,1); get_p(88540,2,0,2088,1); get_p(88610,1,0,8860,1); get_p(88630,1,0,8862,1); get_p(88670,1,0,4433,1); get_p(88710,3,0,1478,1); get_p(88720,8,0,1108,1); get_p(88730,1,0,4194,1); get_p(88780,2,0,2112,1); get_p(88790,1,0,2046,1); get_p(88810,1,0,2173,1); get_p(88820,2,0,2220,1); get_p(88840,4,0,2220,1); get_p(88850,5,0,1776,1); get_p(88870,1,0,8886,1); get_p(88890,3,0,1481,1); get_p(88910,1,0,4176,1); get_p(88930,1,0,2223,1); get_p(88940,2,0,4446,1); get_p(88975,7,5,1013,1); get_p(89020,2,0,4450,1); get_p(89030,1,0,4284,1); get_p(89072,8,0,1314,1); get_p(89080,4,0,1040,1); get_p(89090,1,0,4350,1); get_p(89130,1,0,2970,1); get_p(89140,2,0,4456,1); get_p(89150,5,0,1782,1); get_p(89220,6,0,1486,1); get_p(89230,1,0,1487,1); get_p(89240,4,0,1056,1); get_p(89260,2,0,4462,1); get_p(89270,1,0,1456,1); get_p(89330,1,0,2233,1); get_p(89410,1,0,2980,1); get_p(89420,2,0,2096,1); get_p(89450,5,0,1788,1); get_p(89470,1,0,4268,1); get_p(89475,3,0,1192,2); get_p(89480,4,0,1118,1); get_p(89510,1,0,4475,1); get_p(89525,2,5,2188,1); get_p(89560,4,0,1119,1); get_p(89590,1,0,4080,1); get_p(89620,2,0,2240,1); get_p(89630,1,0,4481,1); get_p(89690,1,0,4484,1); get_p(89710,1,0,8970,1); get_p(89720,4,0,1121,1); get_p(89770,1,0,4370,1); get_p(89780,2,0,2211,1); get_p(89860,2,0,1123,1); get_p(89930,1,0,4048,1); get_p(89970,3,0,1499,1); get_p(89975,5,0,1740,1); get_p(89990,1,0,4499,1); get_p(90010,1,0,1125,1); get_p(90030,1,0,1500,1); get_p(90040,4,0,2250,1); get_p(90070,1,0,3002,1); get_p(90110,1,0,9010,1); get_p(90128,2,4,1223,1); get_p(90130,1,0,2253,1); get_p(90175,7,5,2276,1); get_p(90190,1,0,4340,1); get_p(90220,2,0,1038,1); get_p(90260,2,0,1504,1); get_p(90290,1,0,9028,1); get_p(90330,3,0,3010,1); get_p(90340,2,0,2258,1); get_p(90370,1,0,1290,1); get_p(90390,3,0,1430,1); get_p(90410,1,0,1130,1); get_p(90425,7,5,1140,1); get_p(90430,1,0,4521,1); get_p(90460,2,0,2261,1); get_p(90470,1,0,4428,1); get_p(90490,1,0,4524,1); get_p(90512,2,8,1006,2); get_p(90550,5,0,1810,1); get_p(90570,1,0,3018,1); get_p(90575,7,5,1346,1); get_p(90590,1,0,9058,1); get_p(90620,2,0,1078,1); get_p(90670,1,0,4533,1); get_p(90680,4,0,1133,1); get_p(90690,3,0,3022,1); get_p(90710,1,0,4416,1); get_p(90725,5,0,1710,1); get_p(90760,4,0,2268,1); get_p(90770,1,0,2184,1); get_p(90775,7,5,1029,1); get_p(90790,1,0,1296,1); get_p(90830,1,0,2190,1); get_p(90848,5,2,1178,1); get_p(90890,1,0,2220,1); get_p(90920,4,0,2272,1); get_p(90940,2,0,2273,1); get_p(90980,2,0,1516,1); get_p(91010,1,0,4302,1); get_p(91030,1,0,9102,1); get_p(91060,2,0,1092,1); get_p(91070,7,0,1300,1); get_p(91075,7,5,1612,1); get_p(91090,1,0,9108,1); get_p(91130,1,0,2100,1); get_p(91150,5,0,1822,1); get_p(91180,2,0,2208,1); get_p(91210,1,0,1302,1); get_p(91220,2,0,2280,1); get_p(91270,1,0,3042,1); get_p(91290,3,0,1424,1); get_p(91330,1,0,1522,1); get_p(91340,2,0,4566,1); get_p(91370,1,0,9136,1); get_p(91430,1,0,1110,1); get_p(91460,2,0,1072,1); get_p(91475,7,5,1129,1); get_p(91510,1,0,1525,1); get_p(91530,9,0,1008,1); get_p(91570,1,0,4578,1); get_p(91660,2,0,4582,1); get_p(91710,9,0,1018,1); get_p(91720,4,0,1146,1); get_p(91725,3,0,1222,2); get_p(91730,1,0,4586,1); get_p(91810,1,0,3060,1); get_p(91820,2,0,2295,1); get_p(91825,2,5,1921,1); get_p(91860,2,0,1530,1); get_p(91870,1,0,4593,1); get_p(91880,4,0,2296,1); get_p(91890,3,0,1020,1); get_p(91925,7,5,1607,1); get_p(91930,1,0,2212,1); get_p(91940,2,0,2298,1); get_p(91970,1,0,2160,1); get_p(91984,7,6,1551,1); get_p(91990,1,0,4599,1); get_p(92010,1,0,1533,1); get_p(92020,2,0,1113,1); get_p(92030,1,0,4601,1); get_p(92060,2,0,2301,1); get_p(92090,1,0,2302,1); get_p(92210,1,0,9220,1); get_p(92230,1,0,2200,1); get_p(92240,8,0,1152,1); get_p(92270,1,0,4613,1); get_p(92350,5,0,1846,1); get_p(92360,4,0,2308,1); get_p(92370,1,0,1539,1); get_p(92380,2,0,2220,1); get_p(92390,1,0,4619,1); get_p(92410,1,0,4620,1); get_p(92432,8,0,1404,1); get_p(92490,3,0,1541,1); get_p(92525,2,5,1638,1); get_p(92570,1,0,9256,1); get_p(92580,2,0,1542,1); get_p(92590,1,0,2254,1); get_p(92630,1,0,2262,1); get_p(92670,3,0,1544,1); get_p(92725,7,5,1286,1); get_p(92770,1,0,4638,1); get_p(92780,2,0,2319,1); get_p(92830,1,0,1547,1); get_p(92860,2,0,2321,1); get_p(92890,1,0,1326,1); get_p(92896,3,8,1058,3); get_p(92930,1,0,2323,1); get_p(92940,2,0,1548,1); get_p(92970,3,0,1032,1); get_p(92975,5,0,1859,1); get_p(92990,1,0,1456,1); get_p(93008,7,8,1036,3); get_p(93020,2,0,4650,1); get_p(93025,7,5,1264,1); get_p(93050,5,0,1860,1); get_p(93090,3,0,1484,1); get_p(93110,1,0,4655,1); get_p(93130,1,0,1518,1); get_p(93140,2,0,1552,1); get_p(93180,6,0,1552,1); get_p(93190,1,0,4659,1); get_p(93230,1,0,4661,1); get_p(93290,1,0,4410,1); get_p(93340,2,0,1074,1); get_p(93370,1,0,3112,1); get_p(93410,1,0,9340,1); get_p(93424,7,8,1369,3); get_p(93430,1,0,9342,1); get_p(93460,2,0,4672,1); get_p(93470,1,0,2154,1); get_p(93490,1,0,3116,1); get_p(93530,1,0,4554,1); get_p(93560,4,0,2338,1); get_p(93570,3,0,1559,1); get_p(93580,2,0,2339,1); get_p(93640,4,0,2340,1); get_p(93650,5,0,1872,1); get_p(93670,1,0,1008,1); get_p(93680,8,0,1170,1); get_p(93710,1,0,9370,1); get_p(93770,1,0,9376,1); get_p(93776,2,8,1200,2); get_p(93790,1,0,4592,1); get_p(93820,2,0,4690,1); get_p(93880,4,0,1173,1); get_p(93890,1,0,1140,1); get_p(93904,5,8,1406,3); get_p(93910,1,0,4695,1); get_p(94020,2,0,1566,1); get_p(94025,2,5,1151,1); get_p(94030,1,0,1567,1); get_p(94040,4,0,1175,1); get_p(94060,2,0,4702,1); get_p(94070,1,0,2244,1); get_p(94090,1,0,9312,1); get_p(94110,3,0,3136,1); get_p(94130,1,0,4706,1); get_p(94180,2,0,1104,1); get_p(94210,1,0,9420,1); get_p(94225,2,5,1108,1); get_p(94260,6,0,1570,1); get_p(94280,4,0,1178,1); get_p(94310,1,0,4715,1); get_p(94330,1,0,1048,1); get_p(94370,1,0,4718,1); get_p(94390,1,0,1573,1); get_p(94420,2,0,2360,1); get_p(94425,3,0,1258,2); get_p(94460,2,0,2361,1); get_p(94470,1,0,1518,1); get_p(94480,8,0,1180,1); get_p(94540,2,0,2268,1); get_p(94580,2,0,1182,1); get_p(94590,3,0,1050,1); get_p(94610,1,0,9460,1); get_p(94630,1,0,3154,1); get_p(94660,2,0,1183,1); get_p(94670,1,0,4733,1); get_p(94690,1,0,2224,1); get_p(94730,1,0,9472,1); get_p(94740,2,0,1578,1); get_p(94775,5,0,1776,1); get_p(94790,1,0,4739,1); get_p(94810,1,0,1494,1); get_p(94840,4,0,2370,1); get_p(94870,1,0,2314,1); get_p(94890,1,0,1581,1); get_p(94910,1,0,9490,1); get_p(94970,1,0,9496,1); get_p(94980,6,0,1582,1); get_p(95010,3,0,3166,1); get_p(95020,2,0,2375,1); get_p(95072,4,8,1295,1); get_p(95075,2,5,1649,1); get_p(95110,1,0,1585,1); get_p(95140,2,0,1155,1); get_p(95180,2,0,2379,1); get_p(95190,1,0,1494,1); get_p(95230,1,0,2332,1); get_p(95320,4,0,2382,1); get_p(95330,1,0,2383,1); get_p(95390,1,0,9538,1); get_p(95440,8,0,1192,1); get_p(95470,1,0,4773,1); get_p(95530,1,0,1160,1); get_p(95560,4,0,2388,1); get_p(95570,1,0,4518,1); get_p(95650,5,0,1912,1); get_p(95660,2,0,4782,1); get_p(95670,1,0,1062,1); get_p(95690,7,0,1366,1); get_p(95710,1,0,4496,1); get_p(95740,2,0,2393,1); get_p(95824,8,0,1456,1); get_p(95860,2,0,4792,1); get_p(95870,1,0,4793,1); get_p(95890,1,0,1554,1); get_p(95930,1,0,2340,1); get_p(95952,8,0,999,1); get_p(95960,4,0,1199,1); get_p(95980,2,0,2399,1); get_p(95990,1,0,1540,1); get_p(96010,1,0,4800,1); get_p(96025,2,5,1154,1); get_p(96090,3,0,1601,1); get_p(96170,1,0,4698,1); get_p(96176,5,8,1286,3); get_p(96190,1,0,3206,1); get_p(96210,3,0,1068,1); get_p(96220,2,0,2256,1); get_p(96230,1,0,9622,1); get_p(96270,3,0,1604,1); get_p(96280,4,0,1148,1); get_p(96290,1,0,9628,1); get_p(96310,1,0,4815,1); get_p(96340,2,0,4816,1); get_p(96368,8,0,1422,1); get_p(96416,5,2,1146,1); get_p(96420,6,0,1606,1); get_p(96430,1,0,4821,1); get_p(96440,4,0,2410,1); get_p(96475,2,5,1611,1); get_p(96510,3,0,1072,1); get_p(96575,7,5,1147,1); get_p(96590,1,0,2226,1); get_p(96592,7,4,1216,2); get_p(96610,1,0,1380,1); get_p(96630,3,0,3220,1); get_p(96670,1,0,1380,1); get_p(96680,4,0,2416,1); get_p(96710,1,0,4572,1); get_p(96730,1,0,1136,1); get_p(96770,1,0,2419,1); get_p(96790,1,0,1613,1); get_p(96810,1,0,1380,1); get_p(96816,9,8,1783,3); get_p(96830,1,0,1540,1); get_p(96860,2,0,2324,1); get_p(96870,3,0,1076,1); get_p(96920,4,0,2422,1); get_p(96970,1,0,9696,1); get_p(97010,1,0,1188,1); get_p(97030,1,0,1560,1); get_p(97070,1,0,4560,1); get_p(97140,6,0,1618,1); get_p(97190,1,0,4859,1); get_p(97210,1,0,4860,1); get_p(97260,2,0,1620,1); get_p(97275,5,0,1296,1); get_p(97330,1,0,2433,1); get_p(97360,8,0,1216,1); get_p(97390,1,0,9738,1); get_p(97410,3,0,1520,1); get_p(97420,2,0,2435,1); get_p(97430,1,0,9742,1); get_p(97450,5,0,1948,1); get_p(97480,4,0,1218,1); get_p(97490,1,0,9748,1); get_p(97525,7,5,1421,1); get_p(97530,3,0,3250,1); get_p(97540,2,0,1219,1); get_p(97610,1,0,2373,1); get_p(97660,2,0,2304,1); get_p(97670,1,0,9766,1); get_p(97690,1,0,4884,1); get_p(97710,3,0,3256,1); get_p(97770,1,0,3258,1); get_p(97780,2,0,2444,1); get_p(97810,1,0,9780,1); get_p(97830,3,0,1086,1); get_p(97840,8,0,1222,1); get_p(97870,1,0,4893,1); get_p(97880,4,0,2446,1); get_p(97910,1,0,4895,1); get_p(97940,2,0,2378,1); get_p(98020,2,0,1092,1); get_p(98030,1,0,4901,1); get_p(98060,2,0,1634,1); get_p(98110,1,0,9810,1); get_p(98130,1,0,1635,1); get_p(98170,1,0,9816,1); get_p(98180,2,0,1636,1); get_p(98190,9,0,1090,1); get_p(98260,2,0,4624,1); get_p(98270,1,0,1185,1); get_p(98290,1,0,9828,1); get_p(98320,8,0,1228,1); get_p(98330,1,0,9832,1); get_p(98360,4,0,2458,1); get_p(98380,2,0,2459,1); get_p(98390,1,0,4919,1); get_p(98440,4,0,1166,1); get_p(98470,1,0,1596,1); get_p(98510,1,0,9850,1); get_p(98530,1,0,4814,1); get_p(98570,1,0,9856,1); get_p(98575,7,5,2528,1); get_p(98590,1,0,3286,1); get_p(98620,2,0,4930,1); get_p(98660,2,0,2466,1); get_p(98690,1,0,1610,1); get_p(98710,1,0,4935,1); get_p(98730,9,0,1096,1); get_p(98740,2,0,4936,1); get_p(98830,1,0,4941,1); get_p(98860,2,0,4942,1); get_p(98870,1,0,9886,1); get_p(98920,4,0,2472,1); get_p(98930,1,0,1140,1); get_p(98950,5,0,1978,1); get_p(98970,3,0,3298,1); get_p(99020,2,0,2475,1); get_p(99030,1,0,3300,1); get_p(99070,1,0,4953,1); get_p(99130,1,0,4730,1); get_p(99152,1,8,1168,3); get_p(99175,2,5,1756,1); get_p(99210,1,0,1653,1); get_p(99230,1,0,4961,1); get_p(99270,9,0,1102,1); get_p(99290,1,0,1241,1); get_p(99310,1,0,9930,1); get_p(99340,2,0,4966,1); get_p(99376,7,6,1732,1); get_p(99390,1,0,3312,1); get_p(99410,1,0,1988,1); get_p(99430,1,0,1620,1); get_p(99472,7,8,1090,3); get_p(99490,1,0,9948,1); get_p(99560,4,0,1170,1); get_p(99580,2,0,1146,1); get_p(99590,1,0,4752,1); get_p(99620,2,0,1168,1); get_p(99670,1,0,9966,1); get_p(99690,3,0,1661,1); get_p(99710,1,0,2262,1); get_p(99725,2,5,1046,1); get_p(99740,2,0,2493,1); get_p(99780,2,0,1662,1); get_p(99790,1,0,4688,1); get_p(99810,9,0,1108,1); get_p(99830,1,0,4884,1); get_p(99860,2,0,1664,1); get_p(99910,1,0,1632,1); get_p(99930,1,0,3330,1); get_p(99940,2,0,2358,1); get_p(99950,5,0,999,1); }