pi

[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,2,1,84,2,1,1,15,3,13,1,4,2,6,6,99,1,2,2,6,3,5,1,1,6,8,1,7,1,2,3,7,1,2,1,1,12,1,1,1,3,1,1,8,1,1,2,1,6,1,1,5,2,2,3,1,2,4,4,16,1,161,45,1,22,1,2,2,1,4,1,2,24,1,2,1,3,1,2,1,1,10,2,5,4,1,2,2,8,1,5,2,2,26,1,4,1,1,8,2,42,2,1,7,3,3,1,1,7,2,4,9,7,2,3,1,57,1,18,1,9,19,1,2,18,1,3,7,30,1,1,1,3,3,3,1,2,8,1,1,2,1,15,1,2,13,1,2,1,4,1,12,1,1,3,3,28,1,10,3,2,20,1,1,1,1,4,1,1,1,5,3,2,1,6,1,4,1,120,2,1,1,3,1,23,1,15,1,3,7,1,16,1,2,1,21,2,1,1,2,9,1,6,4,127,14,5,1,3,13,7,9,1,1,1,1,1,5,4,1,1,3,1,1,29,3,1,1,2,2,1,3,1,1,1,3,1,1,10,3,1,3,1,2,1,12,1,4,1,1,1,1,7,1,1,2,1,11,3,1,7,1,4,1,48,16,1,4,5,2,1,1,4,3,1,2,3,1,2,2,1,2,5,20,1,1,5,4,1,436,8,1,2,2,1,1,1,1,1,5,1,2,1,3,6,11,4,3,1,1,1,2,5,4,6,9,1,5,1,5,15,1,11,24,4,4,5,2,1,4,1,6,1,1,1,4,3,2,2,1,1,2,1,58,5,1,2,1,2,1,1,2,2,7,1,15,1,4,8,1,1,4,2,1,1,1,3,1,1,1,2,1,1,1,1,1,9,1,4,3,15,1,2,1,13,1,1,1,3,24,1,2,4,10,5,12,3,3,21,1,2,1,34,1,1,1,4,15,1,4,44,1,4,20776,1,1,1,1,1,1,1,23,1,7,2,1,94,55,1,1,2,1,1,3,1,1,32,5,1,14,1,1,1,1,1,3,50,2,16,5,1,2,1,4,6,3,1,3,3,1,2,2,2,5,2,2,2,28,1,1,13,1,5,43,1,4,3,5,3,1,4,1,1,2,2,1,1,19,2,7,1,72,3,1,2,3,7,11,1,2,1,1,2,2,1,1,2,1,1,1,1,1,33,7,19,1,19,3,1,4,1,1,1,1,2,3,1,3,2,2,2,2,4,1,1,1,4,2,3,1,1,1,1,11,1,1,2,1,2,1,2,2,1,7,2,27,1,1,6,2,1,9,6,26,1,1,3,2,1,1,1,1,1,15,1,36,4,2,2,1,22,2,1,106,2,2,1,3,1,12,10,7,1,2,1,1,1,1,8,2,4,5,3,2,1,4,23,1,18,2,10,3,1,6,6,13,8,6,2,2,2,2,1,1,1,3,1,7,17,1,1,1,2,5,5,1,1,2,11,1,6,1,6,1,29,4,29,3,5,3,1,141,1,2,7,7,2,2,7,1,1,7,1,7,1,2,4,1,1,1,30,1,12,4,18,10,2,8,1,2,2,2,4,13,1,5,4,1,6,1,1,11,2,4,2,1,1,3,3,12,1,1,39,5,1,1,16,125,1,4,1,2,1,19,1,4,1,1,2,1,4,1,10,1,4,2,1,1,1,5,10,4,14,1,13,41,1,4,1,8,1,1,2,1,3,1,6,1,3,2,2,2,1,4,1,14,1,2,8,1,8,3,3,3,1,37,4,2,4,1,3,4,25,4,27,2,7,1,1,2,6,1,1,1,12,1,2,2,2,13,12,1,3,1,6,1,1,33,1,5,3,1,5,15,8,8,47,1,3,2,12,2,12,1,12,1,2,5,3,1,1,1,1,2,3,5,4,2,1,1,5,1,9,14,1,1,3,2,1,9,3,22,13,1,1,3,20,1,1,61,1,376,2,107,1,10,3,2,2,31,1,2,10,2,2,62,2,2,7,4,5,6,1,1,1,1,2,8,2,73,3,5,42,1,3,2,1,1,59,6,1,1,1,5,1,6,1,2,6,1,1,1,1,3,2,1,3,1,8,1,4,2,5,4,7,1,4,2,2,6,1,1,2,2,1,1,1,1,1,2,1,2,2,5,1,2,1,1,10,1,6,1,129,1,4,65,2,4,4,3,2,3,1,1,5,1,1,1,1,1,2,2,1,2,1,1,2,2,1,2,3,1,2,1,2,4,2,1,2,27,6,2,1,193,1,3,9,1,3,35,2,1,8,1,1,1,1,9,3,56,1,6,6,2,8,1,8,1,2,3,6,3,1,3,1,1,1,2,13,1,1,1,1,13,2,1,3,1,3,15,2,1,1,2,4,1,4,5,2,2,1,2,1,6,1,4,12,1,1,1,1,13,1,3,4,1,1,1,2,9,1,7,1,1,1,1,4,1,3,4,1,1,4,3,1,39,2,1,1,1,1,1,4,7,2,2,2,1,1,1,1,2,114,12,4,1,3,2,1,19,1,1,2,1,1,3,4,1,60,3,72,2,1,1,1,50,1,1,1,1,3,1,1,2,2,1,4,1,7,3,1,2,1,5,1,1,1,2,6,2,21,2,6,1,6,1,1,2,1,7,1,8,1,1,5,4,1,1,1,1,1,1,1,1,4,1,11,2,4,10,2,1,1,13,1,1,7,15,1,1,1,2,3,15,8,8,2,1,13,3,5,1,2,1,6,1,10,123,3,1,4,59,4,156,88,1,5,4,1,3,1,4,2,9,1,7,4,2,1,2,3,2,1,2,11,1,13,7,7,1,63,37,12,86,1,1,1,1,2,2,4,2,18,1,1,1,41,2,1,1,12,1,2,1,1,2,10,1,1,1,5,1,1,3,1,7,5,1,9,1,2,2,7,1,1,5,2,1,3,3,5,2,1,11,3,1,3,2,1,1,2,1,14,5,2,2,1,1,1,1,3,1,3,3,2,2,1,3,2,1,2,1,4,1,14,1,1,58,7,1,2,1,1,5,1,2,1,5,18,1,4,3,1,1,1,4,1,1,2,5,1,148,1,9,2,1,2,1,5,4,93,1,1,2,4,1,2,73,1,1,3,1,1,1,1,2,1,34,1,5,6,1,2,1,3,4,1,16,28,17,2,5,5,26,1,1,4,12,1,3,2,1,5,1,2,9,3,2,41,1,16,2,2,20,1,17,1,6,16,3,3,2,2,2,18,15,1,1,51,4,9,5,2,2,1,2,1,45,3,1,1,3,1,2,1,3,1,1,3,5,1,2,3,8,2,47,2,3,1,1,1,15,9,1,8,2,1,4,2,4,14,1,12,2,1,161,1,26,2,1,2,1,1,1,1,2,2,1,18,528,12,4,1,5,16,3,1,1,1,1,1,5,1,2,1,63,1,97,1,4,4,10,5,9,5,2,3,2,5,7,1,32,13,1,5,4,1,7,1,3,12,1,3,9,1,7,1,102,53,1,1,1,3,4,2,15,2,8,2,2,3,1,2,4,1,1,3,2,3,1,1,2,3,1,1,6,1,1,14,1,80,11,1,1,1,1,22,1,2,3,1,3,26,2,24,2,2,4,3,1,1,1,1,3,1,63,1,1,1,25,1,1,1,8,1,3,3,1,10,5,6,2,1,1,3,1,1,1,1,2,2,1,2,8,12,1,53,1,2,1,1,5,1,1,3,1,39,1,12,1,3,14,18,9,3,2,2,2,1,1,3,1,4,4,7,1,17,1,14,1,1,1,1,3,1,1,10,1,2,2,3,1,2,1,2,2,2,12,1,3,44,2,10,1,14,1,2,1,43,4,1,7,3,4,1,1,2,2,1,34,1,2,5,8,3,2,1,2,13,4,3,2,1,1,1,1,25,1,5,1,94,2,4,3,4,5,1,1,1,1,1,1,2,1,1,1,1,1,1,1,1,1,10,41,1,5,1,4,4,1,155,1,8,1,1,1,1,4,1,1,2,9,2,1,2,1,1,1,6,23,1,2,3,5,2,1,1,1,1,7,67,5,7,1,23,3,3,1,6,1,11,1,57,1,4,1,5,1,1,8,1,1,2,5,2,10,1,1,2,1,1,3,1,2,1,3,1,11,2,10,1,4,18,1,2,3,1,1,6,3,6,4,31,3,4,1,18,3,9,7,5,1,2,2,1,7,1,23,2,217,1,2,1,4,1,54,2,196,10,3,1,32,1,40,55,1,5,1,3,3,1,2,2,1,3,6,3,16,1,31,1,5,6,1,4,42,4,1,10,1,3,1,3,3,1,2,1,1,1,4,1,13,1,88,1,1,1,14,3,27,3,1,1,16,4,1,2,4,1,4,1,1,17,2,4,1,1,9,2,1,1,3,1,1,30,1,1,3,2,2,1,1,4,10,1,7,1,6,1,35,1,1,2,3,6,1,1,2,4,4,24,1,1,1,1,1,1,3,1,1,2,1,2,1,6,6,2,1,1,10,6,4,2,1,3,9,1,2,16,1,5,1,1,1,1,6,5,1,13,5,4,1,2,3,1,1,1,3,1,30,2,5,1,1,1,1,2,3,1,2,3,1,1,1,1,1,6,5,3,65,48,3,3,6,1,9,2,1,5,6,2,1,1,1,1,620,8,1,1,4,8,1,6,1,5,8,1,5,1,4,9,47,3,1,6,1,25,1,3,425,2,3,3,17,1,2,3,2,3,1,1,1,5,2,1,41,1,1,1,1,3,1,5,1,1,6,256,17,1,14,1,2,3,1,2,2,2,4,9,7,3,3,18,1,33,1,5,2,4,25,1,2,1,6,1,3,4,16,4,2,2,7,3,1,14,2,1,2,1,3,3,1,4,1,59,1,121,9,1,2,1,11,1,20,1,9,2,1,3,391,1,2,8,3,4,1,1,3,13,1,95,2,2,4,21,1,21,2,8,13,3,1,1,1,5,1,8,1,15,1,252,3,4,2,15,1,1,1,5,2,6,11,1,10,41,1,4,2,2,1,1,1,5,1,1,1,2,2,1,1,1,2,2,1,2,2,2,2,1,24,8,21,3,3,9,14,9,1,9,3,1,2,3,2,2,2,9,1,5,3,7,1,2,1,6,1,1,3,6,1,1,1,1,1,1,1,15,2,4,1,1,7,1,2,1,1,15,2,1,5,1,1,13,1,2,1,1,1,5,2,21,1,1,1,1,13,1,1,10,1,6,2,11,1,2,7,1,7,1,16,1,4,3,1,2,1,7,1,3,1,4,9,2,1,1,1,1,23,1,1,4,1,4,3,1,2,2,2,1,3,1,1,5,1,1,1,6,106,1,1,1,7,2,18,1,1,1,4,1,2,4,20,2,1,3,1,5,1,3,1,50,1,2,14,2,1,1,2,1,2,2,1,1,3,3,1,1,4,1,1,1,13,8,3,2,1,8,5,1,6,1,50,1,2,3,8,1,3,5,2,1,8,8,1,1,10,2,1,1,1,2,13,1,4,10,1,1,1,1,26,2,22,3,7,6,1,2,3,28,3,17,3,1,1,1,4,1,5,2,4,5,1,2,1,1,1,4,1,2,5,1,1,1,4,1,2,5,2,193,2,1,47,1,4,1,6,1,4,1,6,23,4,1,20,2,3,32,1,6,1,4,1,3,1,10,1,3,1,1,2,5,2,1,1,1,93,1,1,11,8,1,1,1,1,2,15,4,1,7,1,3,2,1,1,1,9,10,1,6,1,4,5,3,1,11,1,6,5,1,1,1,1,3,1,152,3,1,4,3,7,1,473,1,1,1,3,108,2,1,3,3,3,6,1,1,1,18,1,51,2,2,5,2,2,1,1,15,6,10,1,6,1,1,6,8,2,33,1,6,2,5,3,1,13,1,2,1,2,3,2,1,5,1,2,1,2,1,10,4,2,1,2,6,23,4,1,3,1,5,1,3,5,3,1,3,2,5,8,1,4,5,1,1,18,6,1,1,43,1,8,1,22,1,9,5,1,2,1,15,16,1,1,5,4,3,7,1,1,1,4,1,1,3,3,1,2,16,2,7,1,17,3,28,5,15,5,1,8,3,1,141,1,9,7,2,5,1,1,7,5,30,1,6,2,2,6,1,4,3,3,10,22,14,1,2,3,21,4,1,1,1,12,1,9,4,2,1,7,1,1,1,10,1,3,1,1,1,1,1,1,6,1,10,1,7,8,2,1,1,1,5,8,5,9,37,4,1,17,1,2,1,3,1,5,2,1,4,15,2,2,5,1,1,1,6,1,1,20,48,1,5,17,2,7,7,1,16,1,37,3,2,1,2,5,1,1,1,4,3,2,3,16,1,2,18,2,1,1,1,1,1,4,1,3,5,1,2,23,2,3,1,4,13,7,1,5,1,2,1,1,30,1,7,4,1,1,1,15,1,17,1,4,1,1,1,2,188,1,5,2,2,19,2,1,2,1,70,1,2,1,2,3,1,4,1,1,1,4,1,3,1,1,2,1,1,5,5,2,1,2,7,2,2,1,1,2,2,1,31,8,1,1,3,1,1,1,1,3,15,2,1,3,1,1,3,24,4,1,1,7,2,12,4,2,2,1,15,1,1,1,1,2,1,9,1,2,2,3,1,2,9,1,1,3,1,1,7,1,12,1,3,1,2,1,3,6,6,1,1,1,1,10,2,10,1,2,2,2,5,12,1,2,3,4,10,1,1,3,2,4,1,37,1,4,2,1,1,67,1,1,6,2,1,2,2,3,1,2,2,1,5,2,2,1,1,8,13,2,3,2,1,3,5,205,4,2,19,1,5,3,1,1,1,1,1,10,3,2,1,3,2,7,4,1,12,1,7,1,44,1,1,1,27,1,3,1,7,2,1,3,11,1,3,1,4,1,6,1,31,1,35,3,1,4,1,4,1,130,1,1,1,4,1,32,1,9,6,10,1,2,1,10,5,1,17,1,9,4,1,26,2,27,5,1,1,8,2,36,2,1,1,1,3,1,2,18,2,166,1,11,9,5,1,1,5,7071,55,1,1,1,1,7,1,3,14,1,1,2,1,1,1,13,1,8,1,5,1,10,4,5,1,1,1,15,2,1,1,183,1,6,5,2,19,2,9,2,4,1,1,4,5,1,21,1,50,2,1,2,2,1,2,1,2,3,1,1,8,1,1,3,1,1,1,4,2,1,1,1,2,3,6,3,2,4,1,1,1,3,2,1,2,5,1,1,1,1,3,7,2,1,21,1,4,2,1,1,55,1,4,1,2,1,1,2,17,1,1,1,1,6,1,1,1,1,1,3,1,3,7,1,5,2,2,2,5,20,6,2,8,1,5,33,1,1,1,1,8,1,6,2,1,6,22,1,1,5,1,1,7,11,2,35,2,1,8,5,1,1,1,3,1,3,2,2,4,6,2,2,1,2,4,1,25,1,3,62,5,1,1,2,3,1,13,12,1,11,1,5,3,1,5,13,1,8,1,2,3,1,5,1,5,5130,3,20,3,1,14,1,3,9,2,2,1,3,1,4,18,3,9,4,1,1,1,1,1,4,3,1,8,4,1,6,1,7,4,6,1,3,3,1,12,1,4,26,1,1,1,1,1,1,1,1,2,1,9,1,1,1,4,1,9,13,1,3,1,1,1,2,2,1,11,3,1,32,6,15,1,1,11,2,2,2,7,34,1,2,6,1,13,2,1783,1,2,3,15,2,1,1,2,2,1,1,6,1,1,3,1,5,8,6,3,1,3,7,11,1,3,2,1,1,1,1,3,1,2,1,1,4,2,1,4,30,15,1,1,2,1,2,3,1,2,1,4,1,1,1,4,2,3,1,17,1,1,2,1,94,3,3,3,1,2,1,1,1,12,3,1,11,1,9,1,4,8,1,2,2,5,2,1,1,1,1,3,1,1,1,3,3,2,14,1,30,1,1,2,1,1,1,1,3,4,1,1,25,1,10,1,1,2,2,2,4,2,1,153,1,1,3,5,4,1,3,1,2,1,1,1,21,1,3,1,1,2,5,1,2,6,1,1,1,3,1,4,17,2,20,1,1,1,6,1,3,1,1,4,40,9,3,55,28,2,3,1,1,2,3,5,151,1,4,1,7,5,1,2,1,1,7,1,2,1,1,4,1,19,13,1,3,1,4,1,4,6,5,2,14,2,2,12,2,20,2,1,1,1,16,1,1,1,1,2,7,1,2,3,5,2,2,3,10,1,2,4,3,2,34,2,70,1,26,1,2,1,1,2,1,2,1,3,4,22,1,4,4,2,1,2,8,1,4,4,20,1,1,2,7,375,3,2,2,1,1,1,147,19,6,1,1,7,3,1,8,1,1,2,1,4,1,1,104,1,1,12,3,2,141,57,1,3,1,1,1,1,28,2,1,5,1,1,1,4,5,18,1,65,1,2,2,9,3,1,1,5,7,1,3,19,1,2154,9,21,2,1,1,1,1,3,2,1,4,11,2,3,1,7,1,3,5,2,1,2,1,3,1,1,1,1,5,1,1,3,1,4,1,5,10,30,4,7,10,9,1,2,1,7,2,1,14,12,1,1,1,2,1,1,1,88,1,2,4,3,3,2,1,1,7,3,4,1,3,6,4,5,5,1,78,2,1,4,27,2,76,1,1,2,3,1,25,7,3,2,15,5,1,4,21,1,3,3,2,1,2,1,1,3,18,12,1,3,23,8,1,1,1,6,60,6,15,2,22,1,1180,1,1,4,2,1,13,7,1,1,1,3,8,1,3,1,15,2,1,1,1,7,5,1,3,2,1,1,2,5,1,2,1,1,3,2,1,8,4,3,2,12,1,1,2,4,1,5,4,2,3,3,1,2,1,2,2,1,1,3,2,2,1,8,1,3,1,15,4,378,1,16,1,3,11,1,2,1,26,27,9,1,1,1,2,1,1,1,1,19,1,3,1,4,1,8,2,2,3,2,1,1,15,1,5,1,36,3,1,1,6,1,1,6,1,2,2,1,3,1,2,9,1,1,1,1,3,1,3,2,1,1,30,1,9,1,69,1,7,2,2,2,2,7,3,2,4,5,7,2,4,1,9,1,7,1,1,1,7,2,1,1,5,4,2,6,1,3,11,2,2,81,4,1,2,3,1,45,57,3,1,22,1,2,1,37,1,35,2,1,3,1,1,5,1,1,1,1,2,14,11,1,1754,1,4,1,1,1,2,3,19,4,1,1,3,1,60,5,1,14,1,1,1,2,28,1,1,7,2,3,6,1,2,6,11,1,32,6,5,2,1,5,2,1,4,3,1,3,3,3,1,1,218,3,1,1,8,3,2,17,1,1,2,1,14,2,1,8,1,3,1,65,1,18,1,3,1,14,2,1,10,1,5,1,1,1,1,1,2,1,1,6,1,1,2,3,2,3,2,3,3,1,63,26,5,1,1,3,2,1,3,1,1,1,5,8,2,2,5,1,57,1,15,3,4,1,1,1,1,1,1,1,1,1,2,9,1,9,1,1,18,9,4,4,1,4,1,2,1,3,1,2,2,4,3,1,3,1,1,7,1,1,1,1,12,2,8,1,7,1,3,8,1,1,1,1,2,1,12,1,2,3,4,2,2,1,11,54,1,1,3,1,4,1,7,1,2,2,1,1,1,1,5,1,9,2,1,5,3,2,1,1,6,2,1,6,1,1,43,3,9,2,6,15,1,2,4,4,2,2,1,3,671,3,1,1,2,2,2,3,6,14,1,5,13,1,15,13,1,1,1,22,1,10,1,4,13,68,1,5,1,1,3,1,8,2,2,17,2,2,13,9,1,1,4,2,3,3,12,3,2,3,1,1,2,30,7,3,3,160,6,2,1,3,1,1,1,1,10,1,1,3,1,16,3,1,10,2,6,2,2,1,1,1,11,2,1,1,1,79,1,3,2,16,3,1,6,2,1,2,10,3,6,3,1,1,3,1,3,1,1,19,6,9,1,4,12,1,8,1,1,1,1,4,3,1,1,5,3,2,118,1,3,1,1,2,4,1,4,1,2,1,5,1,15,1,1,1,12,1,3,1,16,6,1,1,5,1,341,1,1,55,7,2,4,5,1,24,3,6,9,1,3,8,2,1,16,3,1,1,3,3,1,34,20,2,7,3,1,10,2,3,11,1,3,8,1,1,3,3,36,2,2,1,57,2,8,1,1,7,4,4,2,1,2,21,2,1,1,1,1,3,11,1,2,51,1,1,3,1,4,1,7,2,2,1,50,2,1,1,12,1,1,3,6,5,1,14,3,2,9,4,5,4,1,1,1,1,1,16,1,1,1,4,3,3,1,8,1,1,1,534,34,1,2,2,1,7,2,1,1,102,1,20,6,1,4,2,1,1,8,2,1,1,2,5,1,8,1,7,5,1,2,1,5,1,4,2,3,2,1,4,1,2,1,4,2,2,1,1,9,1,1,8,1,6,1,1,9,13,1,1,1,1,1,62,13,6,2,1,6,2,1,1,18,4,1,3,7,1,2,34,2,4,15,2,1,2,3,10,1,3,7,886,5,2,6,1,4,1,1,1,1,4,5,88,1,2,1,9,1,2,2,14,1,4,3,2,1,2,2,4,1,5,2,2,16,8,1,1,3,1,12,3,1,2,2,2,2,11,1,1,1,1,4,1,1,19,2,1,1,4,3,2,2,7,8,1,1,5,3,2,7,7,2,6,8,1,3,6,3,4,2,1,7,2,1,2,8,1,1,10,2,6,3,10,1,14,24,4,4,2,1,5,2,2,1,1,2,1,2,2,3,4,1,2,2,2,2,1,4,1,1,4,1,3,3,1,1,2,8,1,2,1,2,10,1,6,1,11,1,7,1,22,8,3,1,4,4,3,1,2,2,2,5,1,2,4,1,12,1,1,2,30,1,37,4,3,1,1,4,1,4,1,40,2,2,1,11,1,1,77,2,1,7,1,1,1,1,6,733,1,57,99,1,1,4,1,1,6,16,1,19,2,2,2,1,20,11,1,7,1,3,1,1,3,1,11,3,1,2,5,2,1,1,1,1,1,6,31,11,16,1,2,1,2,19,2,2,2,1,2,1,2,1,2,2,2,7,1,3,8,2,1,15,1,1,1,2,2,2,2,1,5,2,3,1,1,2,1,8,7,4,6,4,10,1,10,2,1,10,1,12,1,9,1,2,3,1,1,3,2,6,2,1,75,1,33,1,6,1,15,1,1,127,2,1,2,1,2,1,13,6,2,20,1,1,8,1,11,2,12,4,3,4,1,1,3,1,127,1,1,3,1,1,1,2,2,1,1,1,3,4,1,4,1,1,1,74,2,6,2,1,1,1,1,1,1,29,3,3,5,29,1,15,1,1,5,1,4,15,15,6,1,1,3,3,2,1,15,8,3,1,1,1,4,1,1,1,2,1,34,2,29,1,1,1,61,1,1,6,1,4,1,3,1,1,2,1,2,1,17,2,19,3,47,1,2,1,1,22,25,2,77,3,6,2,1,12,1,1,1,11,1,1,2,1,1,3,1,4,1,2,5,1,2,7,3,1,17,1,171,1,1,4,1,1,1,19,1,4,1,15,3,9,1,3,2,2,1,4,1,2,10,69,4,1,1,1,1,2,1,29,1,23,5,1,57,1,5,1,2,1,2,1,5,13,2,2,8,1,4,2,15,2,1,4,1,3,1,1,6,3,1,9,2,1,3,2,1,2,1,400,4,5,9,1,2,8,1,4,1,24,2,3,3,1,2,32,1,2,1,5,2,2,1,1,2,1,1,12,1,43,11,1,26,1,3,1,2,1,4,19,1,1,4,1,3,6,2,2,7,2,2,1,6,3,9,2,3,1,3,1,47,1,273,7,1,2,1,5,7,14,2,7,2,2,6,1,22,1,1,1,2,3,2,1,1,6,5,9,2,4,1,8,2,2,6,1,14,6,4,3,2,4,1,11,1,1,3,1,1,47,5,1,1,2,259,1,53,1,105,4,2,1,6,1,16,1,2,1,2,8,9,13,1,5,2,236,1,1,4,1,4,1,1,1,2,7,3,19,1,1,1,22,1,2,1,1,1,2,1,1,1,9,1,4,1,2,1,3,5,1,3,4,1,1,74,4,2,14,7,4,1,2,1,10,1,2,1,2,1,1,4,2,1,4,1,2,7,1,3,1,7,1,3,1,19,1,7,1,1,4,1,5,12,1,6,2,1,10,10,1,14,1,1,18,4,11,3,10,10,1,1,3,2,9,1,1,4,4,3,3,20,1,13,23,2,4,1008,1,1,2,1,13,1,18,1,5,1,33,1,1,82,1,34,26,1,2,1,1,1,9,2,4,12,4,50,8,2,1,2,1,6,2,1,1,1,1,5,1,7,50,1,1,7,2,373,4,1,78,1,1,1,3,1,1,3,1,5,1,9,1,3,3,1,2,6,1,4,2,2,1,21,5,1,18,4,12,2,3,1,92,1,5,1,17,3,148,1,1,2,1,1,5,1,5,1,1,2,3,1,62,1,1,1,25,3,2,29,4,1,56,1,2,16,1,5,1,4,2,3,8,2,2,1,18,1,2,2,3,1,3,2,2,1,3,4,55,3,4,8,1,1,3,3,2,1,4,1,1,17,43,8,2,2,1,25,1,2,1,3,2,1,1,1,2,1,4,2,12,5,2,1,2,13,2,18,21,3,1,4,1,3,1,2,37,37,3,1,4,1,4,1,2,4,5,4,1,1,2,2,2,1,12,7,3,2,1,1,4,4,1,3,22,5,1,4,1,1,1,2,5,1,2,2,1,11,1,1,2,1,2,1,2,7,3,1,4,1,15,3,1,7,3,1,1,1,1,1,2,1,2,7,3,1,8,1,1,1,1,1,1,3,3,3,2,3,1,2,1,5,11,2,6,2,7,7,8,1,1,1,1,1,3,1,1,8,2,1,1,1,2,3,1,12,1,3,67,2,2,5,1,6,2,1,3,2,8,1,2,1,2,3,3,1,9,1,2,2,1,6,4,9,1,1,2,1,1,1,1,2,1,1,2,1,1,2,1,3,5,23,5,1,1,4,1,4,3,14,1,17,1,1,1,11,1,2,1,6,4,1,5,2,30,2,3,1,1,1,2,3,1,2,4,2,1,2,3,1,16,1,2,2,2,2,3,1,1,1,3,1,3,3,2,2,2,2,1,14,2,2,1,1,13,26,1,2,1,4,1,4,1,6,1,15,7,1,1,1,12,1,3] 
400118785762810890300998376118937643527226172454172976142844566310522796684940973612618880783365941867707708825276560943209331905605862779741704348671873265179256161854702622415918418302191738216141314258595172972889044597779726587252887972769415819577380044069316750779931893784546375408094898221109148481216842327474655920014005334539240822657754966597384969676151861139861112545281792978225493681619710485383616921963113502484982075192291949378635530458677977750698090064744432951489664602374432097361472750883882672404731620439382290999526805277734502923709224324343473787023359508044434298549686239722379645537249602153813919893176365707170323016592716990224433824392091292386931859656386491524411802045824373899919547688465065081604913082588222749534535698473228559173589658290807183291784946726786353384704643646692344980664500874621438018521315738911933100248549628344669478993562051418239791951729231158804493977021158692575456238616595218124670887511910472973259834162594684839407158850077480606720657127434452863805672632006777929137038445650761567757976893561159675174824405654110310578820875059048414324626062218796722846327671228038798389753263194280161995354188336260434042702307625876146633642798196655397204845304242254019587793264495125913604528642751006808717789112203802046743139051403097612300288720139908341927794006809416206711741420801376368010530722478104473865803341415429584966820242243509897050189776663482627954035848209509417332684495073384332045182239510926616791222766378502048182583375128408561471704475461210470594598263168126651281529987215608112964506849405534654432822355113631806194672563845532466885614054077521711039324896666727213708148488073834345552609561441369760352543007146217593469693760537957474496450115112867288539884275774344785441852274817398097568722952564817626670238117840765881417957209779643756835108771088349105784366358831820085221334015165669256449228037528728556226679545293505621914618698083678183775293912388112691062660642940424894907924565081393127911890684723608520258875494643783317642465272475101206405694550571111516851055029600338468646447406937061957549407797653695785547755986022075932666705742846724929936714305379315410707254546242129529991513326217651780862754357106286403452222211094656779856921227870318432548922411298939517874496975671990404573043034334149150355399647580045126234309425409623823170173373415266867028288829301642110539461991855447012774035629045701387182419613903818594090097986225619078722572156044452778103288049614230136538971693282929747261022867377196952411112933132708862593572474513668395955611490548399730853098027661263202799735055744589724086522671124731815582931894661857508492579426782790681154252235386895121393350169179040105772095665322491007852331402693587626124775948608306170249034331793590514001599730986197572143448915353652721988383243446800159516470395915940913776138724877911250973983631095692714489582366608512307817577351184415126310621985900726508401978424873053398145554731688/127361765156156857861492448987022870984967485693863324988426297597131520759888475294336476201630979698332768790762623626390109240325919799230921738540966284327783275996825798066922969268706594090484605904867228136861246853375770935637394135214720224514249342890340359801314773611472869278929422272658804499075279146039230132363998842567340333086997473622905397995341862406962383563730033685121256519282377162101071254780041404835211123805720808958256611223758846861509467740021957734892703248461045045262471401684044477781441691014453751248454235561536684603034060949032311609455942152752966659123209376702132407426612872696143997365971673727699060028755620301297107595893307392485648911061187657940059754712441616703812095269503796985316377195453588984369529868743930942564242668370242106180243051322932897275816862652536943782482358425683188431617892713090302991532341402210242937235728051650795385534402836737733629942210981261435606329997272120027513274427199055380237020120648377709786984989816705626698110752932542315702726839931923581196161818334698114236460174108119714418415350385309032118295106561823635336149683794730694443690179540398141136427174971537883678955600086430423400808887868751822252444133160686144288024542173169352808762819198783286186830530211379063323123737436667619943957884147121381918246715546400922040387623267737567363306753528546723754131910890570658063511312491361210243633582725847473953164331161804708260644382304095177572871044757064464499526786482441952147488523877788765534296539683897222035798714969745056141185465992518524009330781882131913588589484841771597019316390665470742323165639415568674976264145585543830966975411023011416300024143367261191488303072535410858391892346934413269777441071539968893059501560568763745987140372336297285361612676311967092055584621430720180849178052152581872174054849671995219829602537977702127999038204771980679449396860599770733506005108144676511586461958184166784114163213635830530078993548330246434122586526077534157546979335812571578327605714785338694541396972655835397310510456653256895323184578047815499546427731017909008590203335979846422574044656263050165195729051579251647139936392529653063090572723220881642358254455916705174446194022827847611652778330881770742576911083795193272697981670331422116048419947600265066194355093380927653311539318527797267875212923419368871016064161622426197951177044781835617082627385123277480162471110657132032222930802854738312106116962660718926649014570086088554029286302860539353317580699111630763532252435464665262016285544119147357562885499661595059150058575750645964143962075134278867119272276919618937553338291127561629346813560936154155098250377489916050225852776232461624280113653916501078603338827508290170802183674132621801429876451808309647751845665459752102465868463776420122244282550645870185722457155565292224648174649672275058738666553453005454184211005318040337777998058677871233577587638451430128896320505140383423958594681490777129751502814370307290342933107115 
3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145263560827785771342757789609173637178721468440901224953430146549585371050792279689258923542019956112129021960864034418159813629774771309960518707211349999998372978049951059731732816096318595024459455346908302642522308253344685035261931188171010003137838752886587533208381420617177669147303598253490428755468731159562863882353787593751957781857780532171226806613001927876611195909216420198938095257201065485863278865936153381827968230301952035301852968995773622599413891249721775283479131515574857242454150695950829533116861727855889075098381754637464939319255060400927701671139009848824012858361603563707660104710181942955596198946767837449448255379774726847104047534646208046684259069491293313677028989152104752162056966024058038150193511253382430035587640247496473263914199272604269922796782354781636009341721641219924586315030286182974555706749838505494588586926995690927210797509302955321165344987202755960236480665499119881834797753566369807426542527862551818417574672890977772793800081647060016145249192173217214772350141441973568548161361157352552133475741849468438523323907394143334547762416862518983569485562099219222184272550254256887671790494601653466804988627232791786085784383827967976681454100953883786360950680064225125205117392984896084128488626945604241965285022210661186306744278622039194945047123713786960956364371917287467764657573962413890865832645995813390478027590099465764078951269468398352595709825822620522489407726719478268482601476990902640136394437455305068203496252451749399651431429809190659250937221696461515709858387410597885959772975498930161753928468138268683868942774155991855925245953959431049972524680845987273644695848653836736222626099124608051243884390451244136549762780797715691435997700129616089441694868555848406353422072225828488648158456028506016842739452267467678895252138522549954666727823986456596116354886230577456498035593634568174324112515076069479451096596094025228879710893145669136867228748940560101503308617928680920874760917824938589009714909675985261365549781893129784821682998948722658804857564014270477555132379641451523746234364542858444795265867821051141354735739523113427166102135969536231442952484937187110145765403590279934403742007310578539062198387447808478489683321445713868751943506430218453191048481005370614680674919278191197939952061419663428754440643745123718192179998391015919561814675142691239748940907186494231961567945 
0x3.243f6a8885a308d313198a2e03707344a4093822299f31d0082efa98ec4e6c89452821e638d01377be5466cf34e90c6cc0ac29b7c97c50dd3f84d5b5b54709179216d5d98979fb1bd1310ba698dfb5ac2ffd72dbd01adfb7b8e1afed6a267e96ba7c9045f12c7f9924a19947b3916cf70801f2e2858efc16636920d871574e69a458fea3f4933d7e0d95748f728eb658718bcd5882154aee7b54a41dc25a59b59c30d5392af26013c5d1b023286085f0ca417918b8db38ef8e79dcb0603a180e6c9e0e8bb01e8a3ed71577c1bd314b2778af2fda55605c60e65525f3aa55ab945748986263e8144055ca396a2aab10b6b4cc5c341141e8cea15486af7c72e993b3ee1411636fbc2a2ba9c55d741831f6ce5c3e169b87931eafd6ba336c24cf5c7a325381289586773b8f48986b4bb9afc4bfe81b6628219361d809ccfb21a991487cac605dec8032ef845d5de98575b1dc262302eb651b8823893e81d396acc50f6d6ff383f442392e0b4482a484200469c8f04a9e1f9b5e21c66842f6e96c9a670c9c61abd388f06a51a0d2d8542f68960fa728ab5133a36eef0b6c137a3be4ba3bf0507efb2a98a1f1651d39af017666ca593e82430e888cee8619456f9fb47d84a5c33b8b5ebee06f75d885c12073401a449f56c16aa64ed3aa62363f77061bfedf72429b023d37d0d724d00a1248db0fead349f1c09b075372c980991b7b25d479d8f6e8def7e3fe501ab6794c3b976ce0bd04c006bac1a94fb6409f60c45e5c9ec2196a246368fb6faf3e6c53b51339b2eb3b52ec6f6dfc511f9b30952ccc814544af5ebd09bee3d004de334afd660f2807192e4bb3c0cba85745c8740fd20b5f39b9d3fbdb5579c0bd1a60320ad6a100c6402c7279679f25fefb1fa3cc8ea5e9f8db3222f83c7516dffd616b152f501ec8ad0552ab323db5fafd23876053317b483e00df829e5c57bbca6f8ca01a87562edf1769dbd542a8f6287effc3ac6732c68c4f5573695b27b0bbca58c8e1ffa35db8f011a010fa3d98fd2183b84afcb56c2dd1d35b9a53e479b6f84565d28e49bc4bfb9790e1ddf2daa4cb7e3362fb1341cee4c6e8ef20cada36774c01d07e9efe2bf11fb495dbda4dae909198eaad8e716b93d5a0d08ed1d0afc725e08e3c5b2f8e7594b78ff6e2fbf2122b648888b812900df01c4fad5ea0688fc31cd1cff191b3a8c1ad2f2f2218be0e1777ea752dfe8b021fa1e5a0cc0fb56f74e818acf3d6ce89e299b4a84fe0fd13e0b77cc43b81d2ada8d9165fa2668095770593cc7314211a1477e6ad206577b5fa86c75442f5fb9d35cfebcdaf0c7b3e89a0d6411bd3ae1e7e4900250e2d2071b35e226800bb57b8e0af2464369bf009b91e5563911d59dfa6aa78c14389d95a537f207d5ba202e5b9c5832603766295cfa911c819684e734a41b3472dca7b14a94a1b5100529a532915d60f573fbc9bc6e42b60a47681e6740008ba6fb5571be91ff296ec6b2a0dd915b6636521e7b9f9b6ff34052ec585566453b02d5da99f8fa108ba47996e85076a4b7a70e9b5b32944db75092ec4192623ad6ea6b049a7df7d9cee60b88fedb266ecaa8c71699a17ff5664526cc2b19ee1193602a575094c29a0591340e4183a3e3f54989a5b429d656b8fe4d699f73fd6a1d29c07efe830f54d2d38e6f0255dc14cdd20868470eb266382e9c6021ecc5e09686b3f3ebaefc93c9718146b6a70a1687f358452a0e286b79c5305aa5007373e07841c7fdeae5c9 
(precise to 10019 bits)

[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,2,1,84,2,1,1,15,3,13,1,4,2,6,6,99,1,2,2,6,3,5,1,1,6,8,1,7,1,2,3,7,1,2,1,1,12,1,1,1,3,1,1,8,1,1,2,1,6,1,1,5,2,2,3,1,2,4,4,16,1,161,45,1,22,1,2,2,1,4,1,2,24,1,2,1,3,1,2,1,1,10,2,5,4,1,2,2,8,1,5,2,2,26,1,4,1,1,8,2,42,2,1,7,3,3,1,1,7,2,4,9,7,2,3,1,57,1,18,1,9,19,1,2,18,1,3,7,30,1,1,1,3,3,3,1,2,8,1,1,2,1,15,1,2,13,1,2,1,4,1,12,1,1,3,3,28,1,10,3,2,20,1,1,1,1,4,1,1,1,5,3,2,1,6,1,4,1,120,2,1,1,3,1,23,1,15,1,3,7,1,16,1,2,1,21,2,1,1,2,9,1,6,4,127,14,5,1,3,13,7,9,1,1,1,1,1,5,4,1,1,3,1,1,29,3,1,1,2,2,1,3,1,1,1,3,1,1,10,3,1,3,1,2,1,12,1,4,1,1,1,1,7,1,1,2,1,11,3,1,7,1,4,1,48,16,1,4,5,2,1,1,4,3,1,2,3,1,2,2,1,2,5,20,1,1,5,4,1,436,8,1,2,2,1,1,1,1,1,5,1,2,1,3,6,11,4,3,1,1,1,2,5,4,6,9,1,5,1,5,15,1,11,24,4,4,5,2,1,4,1,6,1,1,1,4,3,2,2,1,1,2,1,58,5,1,2,1,2,1,1,2,2,7,1,15,1,4,8,1,1,4,2,1,1,1,3,1,1,1,2,1,1,1,1,1,9,1,4,3,15,1,2,1,13,1,1,1,3,24,1,2,4,10,5,12,3,3,21,1,2,1,34,1,1,1,4,15,1,4,44,1,4,20776,1,1,1,1,1,1,1,23,1,7,2,1,94,55,1,1,2,1,1,3,1,1,32,5,1,14,1,1,1,1,1,3,50,2,16,5,1,2,1,4,6,3,1,3,3,1,2,2,2,5,2,2,2,28,1,1,13,1,5,43,1,4,3,5,3,1,4,1,1,2,2,1,1,19,2,7,1,72,3,1,2,3,7,11,1,2,1,1,2,2,1,1,2,1,1,1,1,1,33,7,19,1,19,3,1,4,1,1,1,1,2,3,1,3,2,2,2,2,4,1,1,1,4,2,3,1,1,1,1,11,1,1,2,1,2,1,2,2,1,7,2,27,1,1,6,2,1,9,6,26,1,1,3,2,1,1,1,1,1,15,1,36,4,2,2,1,22,2,1,106,2,2,1,3,1,12,10,7,1,2,1,1,1,1,8,2,4,5,3,2,1,4,23,1,18,2,10,3,1,6,6,13,8,6,2,2,2,2,1,1,1,3,1,7,17,1,1,1,2,5,5,1,1,2,11,1,6,1,6,1,29,4,29,3,5,3,1,141,1,2,7,7,2,2,7,1,1,7,1,7,1,2,4,1,1,1,30,1,12,4,18,10,2,8,1,2,2,2,4,13,1,5,4,1,6,1,1,11,2,4,2,1,1,3,3,12,1,1,39,5,1,1,16,125,1,4,1,2,1,19,1,4,1,1,2,1,4,1,10,1,4,2,1,1,1,5,10,4,14,1,13,41,1,4,1,8,1,1,2,1,3,1,6,1,3,2,2,2,1,4,1,14,1,2,8,1,8,3,3,3,1,37,4,2,4,1,3,4,25,4,27,2,7,1,1,2,6,1,1,1,12,1,2,2,2,13,12,1,3,1,6,1,1,33,1,5,3,1,5,15,8,8,47,1,3,2,12,2,12,1,12,1,2,5,3,1,1,1,1,2,3,5,4,2,1,1,5,1,9,14,1,1,3,2,1,9,3,22,13,1,1,3,20,1,1,61,1,376,2,107,1,10,3,2,2,31,1,2,10,2,2,62,2,2,7,4,5,6,1,1,1,1,2,8,2,73,3,5,42,1,3,2,1,1,59,6,1,1,1,5,1,6,1,2,6,1,1,1,1,3,2,1,3,1,8,1,4,2,5,4,7,1,4,2,2,6,1,1,2,2,1,1,1,1,1,2,1,2,2,5,1,2,1,1,10,1,6,1,129,1,4,65,2,4,4,3,2,3,1,1,5,1,1,1,1,1,2,2,1,2,1,1,2,2,1,2,3,1,2,1,2,4,2,1,2,27,6,2,1,193,1,3,9,1,3,35,2,1,8,1,1,1,1,9,3,56,1,6,6,2,8,1,8,1,2,3,6,3,1,3,1,1,1,2,13,1,1,1,1,13,2,1,3,1,3,15,2,1,1,2,4,1,4,5,2,2,1,2,1,6,1,4,12,1,1,1,1,13,1,3,4,1,1,1,2,9,1,7,1,1,1,1,4,1,3,4,1,1,4,3,1,39,2,1,1,1,1,1,4,7,2,2,2,1,1,1,1,2,114,12,4,1,3,2,1,19,1,1,2,1,1,3,4,1,60,3,72,2,1,1,1,50,1,1,1,1,3,1,1,2,2,1,4,1,7,3,1,2,1,5,1,1,1,2,6,2,21,2,6,1,6,1,1,2,1,7,1,8,1,1,5,4,1,1,1,1,1,1,1,1,4,1,11,2,4,10,2,1,1,13,1,1,7,15,1,1,1,2,3,15,8,8,2,1,13,3,5,1,2,1,6,1,10,123,3,1,4,59,4,156,88,1,5,4,1,3,1,4,2,9,1,7,4,2,1,2,3,2,1,2,11,1,13,7,7,1,63,37,12,86,1,1,1,1,2,2,4,2,18,1,1,1,41,2,1,1,12,1,2,1,1,2,10,1,1,1,5,1,1,3,1,7,5,1,9,1,2,2,7,1,1,5,2,1,3,3,5,2,1,11,3,1,3,2,1,1,2,1,14,5,2,2,1,1,1,1,3,1,3,3,2,2,1,3,2,1,2,1,4,1,14,1,1,58,7,1,2,1,1,5,1,2,1,5,18,1,4,3,1,1,1,4,1,1,2,5,1,148,1,9,2,1,2,1,5,4,93,1,1,2,4,1,2,73,1,1,3,1,1,1,1,2,1,34,1,5,6,1,2,1,3,4,1,16,28,17,2,5,5,26,1,1,4,12,1,3,2,1,5,1,2,9,3,2,41,1,16,2,2,20,1,17,1,6,16,3,3,2,2,2,18,15,1,1,51,4,9,5,2,2,1,2,1,45,3,1,1,3,1,2,1,3,1,1,3,5,1,2,3,8,2,47,2,3,1,1,1,15,9,1,8,2,1,4,2,4,14,1,12,2,1,161,1,26,2,1,2,1,1,1,1,2,2,1,18,528,12,4,1,5,16,3,1,1,1,1,1,5,1,2,1,63,1,97,1,4,4,10,5,9,5,2,3,2,5,7,1,32,13,1,5,4,1,7,1,3,12,1,3,9,1,7,1,102,53,1,1,1,3,4,2,15,2,8,2,2,3,1,2,4,1,1,3,2,3,1,1,2,3,1,1,6,1,1,14,1,80,11,1,1,1,1,22,1,2,3,1,3,26,2,24,2,2,4,3,1,1,1,1,3,1,63,1,1,1,25,1,1,1,8,1,3,3,1,10,5,6,2,1,1,3,1,1,1,1,2,2,1,2,8,12,1,53,1,2,1,1,5,1,1,3,1,39,1,12,1,3,14,18,9,3,2,2,2,1,1,3,1,4,4,7,1,17,1,14,1,1,1,1,3,1,1,10,1,2,2,3,1,2,1,2,2,2,12,1,3,44,2,10,1,14,1,2,1,43,4,1,7,3,4,1,1,2,2,1,34,1,2,5,8,3,2,1,2,13,4,3,2,1,1,1,1,25,1,5,1,94,2,4,3,4,5,1,1,1,1,1,1,2,1,1,1,1,1,1,1,1,1,10,41,1,5,1,4,4,1,155,1,8,1,1,1,1,4,1,1,2,9,2,1,2,1,1,1,6,23,1,2,3,5,2,1,1,1,1,7,67,5,7,1,23,3,3,1,6,1,11,1,57,1,4,1,5,1,1,8,1,1,2,5,2,10,1,1,2,1,1,3,1,2,1,3,1,11,2,10,1,4,18,1,2,3,1,1,6,3,6,4,31,3,4,1,18,3,9,7,5,1,2,2,1,7,1,23,2,217,1,2,1,4,1,54,2,196,10,3,1,32,1,40,55,1,5,1,3,3,1,2,2,1,3,6,3,16,1,31,1,5,6,1,4,42,4,1,10,1,3,1,3,3,1,2,1,1,1,4,1,13,1,88,1,1,1,14,3,27,3,1,1,16,4,1,2,4,1,4,1,1,17,2,4,1,1,9,2,1,1,3,1,1,30,1,1,3,2,2,1,1,4,10,1,7,1,6,1,35,1,1,2,3,6,1,1,2,4,4,24,1,1,1,1,1,1,3,1,1,2,1,2,1,6,6,2,1,1,10,6,4,2,1,3,9,1,2,16,1,5,1,1,1,1,6,5,1,13,5,4,1,2,3,1,1,1,3,1,30,2,5,1,1,1,1,2,3,1,2,3,1,1,1,1,1,6,5,3,65,48,3,3,6,1,9,2,1,5,6,2,1,1,1,1,620,8,1,1,4,8,1,6,1,5,8,1,5,1,4,9,47,3,1,6,1,25,1,3,425,2,3,3,17,1,2,3,2,3,1,1,1,5,2,1,41,1,1,1,1,3,1,5,1,1,6,256,17,1,14,1,2,3,1,2,2,2,4,9,7,3,3,18,1,33,1,5,2,4,25,1,2,1,6,1,3,4,16,4,2,2,7,3,1,14,2,1,2,1,3,3,1,4,1,59,1,121,9,1,2,1,11,1,20,1,9,2,1,3,391,1,2,8,3,4,1,1,3,13,1,95,2,2,4,21,1,21,2,8,13,3,1,1,1,5,1,8,1,15,1,252,3,4,2,15,1,1,1,5,2,6,11,1,10,41,1,4,2,2,1,1,1,5,1,1,1,2,2,1,1,1,2,2,1,2,2,2,2,1,24,8,21,3,3,9,14,9,1,9,3,1,2,3,2,2,2,9,1,5,3,7,1,2,1,6,1,1,3,6,1,1,1,1,1,1,1,15,2,4,1,1,7,1,2,1,1,15,2,1,5,1,1,13,1,2,1,1,1,5,2,21,1,1,1,1,13,1,1,10,1,6,2,11,1,2,7,1,7,1,16,1,4,3,1,2,1,7,1,3,1,4,9,2,1,1,1,1,23,1,1,4,1,4,3,1,2,2,2,1,3,1,1,5,1,1,1,6,106,1,1,1,7,2,18,1,1,1,4,1,2,4,20,2,1,3,1,5,1,3,1,50,1,2,14,2,1,1,2,1,2,2,1,1,3,3,1,1,4,1,1,1,13,8,3,2,1,8,5,1,6,1,50,1,2,3,8,1,3,5,2,1,8,8,1,1,10,2,1,1,1,2,13,1,4,10,1,1,1,1,26,2,22,3,7,6,1,2,3,28,3,17,3,1,1,1,4,1,5,2,4,5,1,2,1,1,1,4,1,2,5,1,1,1,4,1,2,5,2,193,2,1,47,1,4,1,6,1,4,1,6,23,4,1,20,2,3,32,1,6,1,4,1,3,1,10,1,3,1,1,2,5,2,1,1,1,93,1,1,11,8,1,1,1,1,2,15,4,1,7,1,3,2,1,1,1,9,10,1,6,1,4,5,3,1,11,1,6,5,1,1,1,1,3,1,152,3,1,4,3,7,1,473,1,1,1,3,108,2,1,3,3,3,6,1,1,1,18,1,51,2,2,5,2,2,1,1,15,6,10,1,6,1,1,6,8,2,33,1,6,2,5,3,1,13,1,2,1,2,3,2,1,5,1,2,1,2,1,10,4,2,1,2,6,23,4,1,3,1,5,1,3,5,3,1,3,2,5,8,1,4,5,1,1,18,6,1,1,43,1,8,1,22,1,9,5,1,2,1,15,16,1,1,5,4,3,7,1,1,1,4,1,1,3,3,1,2,16,2,7,1,17,3,28,5,15,5,1,8,3,1,141,1,9,7,2,5,1,1,7,5,30,1,6,2,2,6,1,4,3,3,10,22,14,1,2,3,21,4,1,1,1,12,1,9,4,2,1,7,1,1,1,10,1,3,1,1,1,1,1,1,6,1,10,1,7,8,2,1,1,1,5,8,5,9,37,4,1,17,1,2,1,3,1,5,2,1,4,15,2,2,5,1,1,1,6,1,1,20,48,1,5,17,2,7,7,1,16,1,37,3,2,1,2,5,1,1,1,4,3,2,3,16,1,2,18,2,1,1,1,1,1,4,1,3,5,1,2,23,2,3,1,4,13,7,1,5,1,2,1,1,30,1,7,4,1,1,1,15,1,17,1,4,1,1,1,2,188,1,5,2,2,19,2,1,2,1,70,1,2,1,2,3,1,4,1,1,1,4,1,3,1,1,2,1,1,5,5,2,1,2,7,2,2,1,1,2,2,1,31,8,1,1,3,1,1,1,1,3,15,2,1,3,1,1,3,24,4,1,1,7,2,12,4,2,2,1,15,1,1,1,1,2,1,9,1,2,2,3,1,2,9,1,1,3,1,1,7,1,12,1,3,1,2,1,3,6,6,1,1,1,1,10,2,10,1,2,2,2,5,12,1,2,3,4,10,1,1,3,2,4,1,37,1,4,2,1,1,67,1,1,6,2,1,2,2,3,1,2,2,1,5,2,2,1,1,8,13,2,3,2,1,3,5,205,4,2,19,1,5,3,1,1,1,1,1,10,3,2,1,3,2,7,4,1,12,1,7,1,44,1,1,1,27,1,3,1,7,2,1,3,11,1,3,1,4,1,6,1,31,1,35,3,1,4,1,4,1,130,1,1,1,4,1,32,1,9,6,10,1,2,1,10,5,1,17,1,9,4,1,26,2,27,5,1,1,8,2,36,2,1,1,1,3,1,2,18,2,166,1,11,9,5,1,1,5,7071,55,1,1,1,1,7,1,3,14,1,1,2,1,1,1,13,1,8,1,5,1,10,4,5,1,1,1,15,2,1,1,183,1,6,5,2,19,2,9,2,4,1,1,4,5,1,21,1,50,2,1,2,2,1,2,1,2,3,1,1,8,1,1,3,1,1,1,4,2,1,1,1,2,3,6,3,2,4,1,1,1,3,2,1,2,5,1,1,1,1,3,7,2,1,21,1,4,2,1,1,55,1,4,1,2,1,1,2,17,1,1,1,1,6,1,1,1,1,1,3,1,3,7,1,5,2,2,2,5,20,6,2,8,1,5,33,1,1,1,1,8,1,6,2,1,6,22,1,1,5,1,1,7,11,2,35,2,1,8,5,1,1,1,3,1,3,2,2,4,6,2,2,1,2,4,1,25,1,3,62,5,1,1,2,3,1,13,12,1,11,1,5,3,1,5,13,1,8,1,2,3,1,5,1,5,5130,3,20,3,1,14,1,3,9,2,2,1,3,1,4,18,3,9,4,1,1,1,1,1,4,3,1,8,4,1,6,1,7,4,6,1,3,3,1,12,1,4,26,1,1,1,1,1,1,1,1,2,1,9,1,1,1,4,1,9,13,1,3,1,1,1,2,2,1,11,3,1,32,6,15,1,1,11,2,2,2,7,34,1,2,6,1,13,2,1783,1,2,3,15,2,1,1,2,2,1,1,6,1,1,3,1,5,8,6,3,1,3,7,11,1,3,2,1,1,1,1,3,1,2,1,1,4,2,1,4,30,15,1,1,2,1,2,3,1,2,1,4,1,1,1,4,2,3,1,17,1,1,2,1,94,3,3,3,1,2,1,1,1,12,3,1,11,1,9,1,4,8,1,2,2,5,2,1,1,1,1,3,1,1,1,3,3,2,14,1,30,1,1,2,1,1,1,1,3,4,1,1,25,1,10,1,1,2,2,2,4,2,1,153,1,1,3,5,4,1,3,1,2,1,1,1,21,1,3,1,1,2,5,1,2,6,1,1,1,3,1,4,17,2,20,1,1,1,6,1,3,1,1,4,40,9,3,55,28,2,3,1,1,2,3,5,151,1,4,1,7,5,1,2,1,1,7,1,2,1,1,4,1,19,13,1,3,1,4,1,4,6,5,2,14,2,2,12,2,20,2,1,1,1,16,1,1,1,1,2,7,1,2,3,5,2,2,3,10,1,2,4,3,2,34,2,70,1,26,1,2,1,1,2,1,2,1,3,4,22,1,4,4,2,1,2,8,1,4,4,20,1,1,2,7,375,3,2,2,1,1,1,147,19,6,1,1,7,3,1,8,1,1,2,1,4,1,1,104,1,1,12,3,2,141,57,1,3,1,1,1,1,28,2,1,5,1,1,1,4,5,18,1,65,1,2,2,9,3,1,1,5,7,1,3,19,1,2154,9,21,2,1,1,1,1,3,2,1,4,11,2,3,1,7,1,3,5,2,1,2,1,3,1,1,1,1,5,1,1,3,1,4,1,5,10,30,4,7,10,9,1,2,1,7,2,1,14,12,1,1,1,2,1,1,1,88,1,2,4,3,3,2,1,1,7,3,4,1,3,6,4,5,5,1,78,2,1,4,27,2,76,1,1,2,3,1,25,7,3,2,15,5,1,4,21,1,3,3,2,1,2,1,1,3,18,12,1,3,23,8,1,1,1,6,60,6,15,2,22,1,1180,1,1,4,2,1,13,7,1,1,1,3,8,1,3,1,15,2,1,1,1,7,5,1,3,2,1,1,2,5,1,2,1,1,3,2,1,8,4,3,2,12,1,1,2,4,1,5,4,2,3,3,1,2,1,2,2,1,1,3,2,2,1,8,1,3,1,15,4,378,1,16,1,3,11,1,2,1,26,27,9,1,1,1,2,1,1,1,1,19,1,3,1,4,1,8,2,2,3,2,1,1,15,1,5,1,36,3,1,1,6,1,1,6,1,2,2,1,3,1,2,9,1,1,1,1,3,1,3,2,1,1,30,1,9,1,69,1,7,2,2,2,2,7,3,2,4,5,7,2,4,1,9,1,7,1,1,1,7,2,1,1,5,4,2,6,1,3,11,2,2,81,4,1,2,3,1,45,57,3,1,22,1,2,1,37,1,35,2,1,3,1,1,5,1,1,1,1,2,14,11,1,1754,1,4,1,1,1,2,3,19,4,1,1,3,1,60,5,1,14,1,1,1,2,28,1,1,7,2,3,6,1,2,6,11,1,32,6,5,2,1,5,2,1,4,3,1,3,3,3,1,1,218,3,1,1,8,3,2,17,1,1,2,1,14,2,1,8,1,3,1,65,1,18,1,3,1,14,2,1,10,1,5,1,1,1,1,1,2,1,1,6,1,1,2,3,2,3,2,3,3,1,63,26,5,1,1,3,2,1,3,1,1,1,5,8,2,2,5,1,57,1,15,3,4,1,1,1,1,1,1,1,1,1,2,9,1,9,1,1,18,9,4,4,1,4,1,2,1,3,1,2,2,4,3,1,3,1,1,7,1,1,1,1,12,2,8,1,7,1,3,8,1,1,1,1,2,1,12,1,2,3,4,2,2,1,11,54,1,1,3,1,4,1,7,1,2,2,1,1,1,1,5,1,9,2,1,5,3,2,1,1,6,2,1,6,1,1,43,3,9,2,6,15,1,2,4,4,2,2,1,3,671,3,1,1,2,2,2,3,6,14,1,5,13,1,15,13,1,1,1,22,1,10,1,4,13,68,1,5,1,1,3,1,8,2,2,17,2,2,13,9,1,1,4,2,3,3,12,3,2,3,1,1,2,30,7,3,3,160,6,2,1,3,1,1,1,1,10,1,1,3,1,16,3,1,10,2,6,2,2,1,1,1,11,2,1,1,1,79,1,3,2,16,3,1,6,2,1,2,10,3,6,3,1,1,3,1,3,1,1,19,6,9,1,4,12,1,8,1,1,1,1,4,3,1,1,5,3,2,118,1,3,1,1,2,4,1,4,1,2,1,5,1,15,1,1,1,12,1,3,1,16,6,1,1,5,1,341,1,1,55,7,2,4,5,1,24,3,6,9,1,3,8,2,1,16,3,1,1,3,3,1,34,20,2,7,3,1,10,2,3,11,1,3,8,1,1,3,3,36,2,2,1,57,2,8,1,1,7,4,4,2,1,2,21,2,1,1,1,1,3,11,1,2,51,1,1,3,1,4,1,7,2,2,1,50,2,1,1,12,1,1,3,6,5,1,14,3,2,9,4,5,4,1,1,1,1,1,16,1,1,1,4,3,3,1,8,1,1,1,534,34,1,2,2,1,7,2,1,1,102,1,20,6,1,4,2,1,1,8,2,1,1,2,5,1,8,1,7,5,1,2,1,5,1,4,2,3,2,1,4,1,2,1,4,2,2,1,1,9,1,1,8,1,6,1,1,9,13,1,1,1,1,1,62,13,6,2,1,6,2,1,1,18,4,1,3,7,1,2,34,2,4,15,2,1,2,3,10,1,3,7,886,5,2,6,1,4,1,1,1,1,4,5,88,1,2,1,9,1,2,2,14,1,4,3,2,1,2,2,4,1,5,2,2,16,8,1,1,3,1,12,3,1,2,2,2,2,11,1,1,1,1,4,1,1,19,2,1,1,4,3,2,2,7,8,1,1,5,3,2,7,7,2,6,8,1,3,6,3,4,2,1,7,2,1,2,8,1,1,10,2,6,3,10,1,14,24,4,4,2,1,5,2,2,1,1,2,1,2,2,3,4,1,2,2,2,2,1,4,1,1,4,1,3,3,1,1,2,8,1,2,1,2,10,1,6,1,11,1,7,1,22,8,3,1,4,4,3,1,2,2,2,5,1,2,4,1,12,1,1,2,30,1,37,4,3,1,1,4,1,4,1,40,2,2,1,11,1,1,77,2,1,7,1,1,1,1,6,733,1,57,99,1,1,4,1,1,6,16,1,19,2,2,2,1,20,11,1,7,1,3,1,1,3,1,11,3,1,2,5,2,1,1,1,1,1,6,31,11,16,1,2,1,2,19,2,2,2,1,2,1,2,1,2,2,2,7,1,3,8,2,1,15,1,1,1,2,2,2,2,1,5,2,3,1,1,2,1,8,7,4,6,4,10,1,10,2,1,10,1,12,1,9,1,2,3,1,1,3,2,6,2,1,75,1,33,1,6,1,15,1,1,127,2,1,2,1,2,1,13,6,2,20,1,1,8,1,11,2,12,4,3,4,1,1,3,1,127,1,1,3,1,1,1,2,2,1,1,1,3,4,1,4,1,1,1,74,2,6,2,1,1,1,1,1,1,29,3,3,5,29,1,15,1,1,5,1,4,15,15,6,1,1,3,3,2,1,15,8,3,1,1,1,4,1,1,1,2,1,34,2,29,1,1,1,61,1,1,6,1,4,1,3,1,1,2,1,2,1,17,2,19,3,47,1,2,1,1,22,25,2,77,3,6,2,1,12,1,1,1,11,1,1,2,1,1,3,1,4,1,2,5,1,2,7,3,1,17,1,171,1,1,4,1,1,1,19,1,4,1,15,3,9,1,3,2,2,1,4,1,2,10,69,4,1,1,1,1,2,1,29,1,23,5,1,57,1,5,1,2,1,2,1,5,13,2,2,8,1,4,2,15,2,1,4,1,3,1,1,6,3,1,9,2,1,3,2,1,2,1,400,4,5,9,1,2,8,1,4,1,24,2,3,3,1,2,32,1,2,1,5,2,2,1,1,2,1,1,12,1,43,11,1,26,1,3,1,2,1,4,19,1,1,4,1,3,6,2,2,7,2,2,1,6,3,9,2,3,1,3,1,47,1,273,7,1,2,1,5,7,14,2,7,2,2,6,1,22,1,1,1,2,3,2,1,1,6,5,9,2,4,1,8,2,2,6,1,14,6,4,3,2,4,1,11,1,1,3,1,1,47,5,1,1,2,259,1,53,1,105,4,2,1,6,1,16,1,2,1,2,8,9,13,1,5,2,236,1,1,4,1,4,1,1,1,2,7,3,19,1,1,1,22,1,2,1,1,1,2,1,1,1,9,1,4,1,2,1,3,5,1,3,4,1,1,74,4,2,14,7,4,1,2,1,10,1,2,1,2,1,1,4,2,1,4,1,2,7,1,3,1,7,1,3,1,19,1,7,1,1,4,1,5,12,1,6,2,1,10,10,1,14,1,1,18,4,11,3,10,10,1,1,3,2,9,1,1,4,4,3,3,20,1,13,23,2,4,1008,1,1,2,1,13,1,18,1,5,1,33,1,1,82,1,34,26,1,2,1,1,1,9,2,4,12,4,50,8,2,1,2,1,6,2,1,1,1,1,5,1,7,50,1,1,7,2,373,4,1,78,1,1,1,3,1,1,3,1,5,1,9,1,3,3,1,2,6,1,4,2,2,1,21,5,1,18,4,12,2,3,1,92,1,5,1,17,3,148,1,1,2,1,1,5,1,5,1,1,2,3,1,62,1,1,1,25,3,2,29,4,1,56,1,2,16,1,5,1,4,2,3,8,2,2,1,18,1,2,2,3,1,3,2,2,1,3,4,55,3,4,8,1,1,3,3,2,1,4,1,1,17,43,8,2,2,1,25,1,2,1,3,2,1,1,1,2,1,4,2,12,5,2,1,2,13,2,18,21,3,1,4,1,3,1,2,37,37,3,1,4,1,4,1,2,4,5,4,1,1,2,2,2,1,12,7,3,2,1,1,4,4,1,3,22,5,1,4,1,1,1,2,5,1,2,2,1,11,1,1,2,1,2,1,2,7,3,1,4,1,15,3,1,7,3,1,1,1,1,1,2,1,2,7,3,1,8,1,1,1,1,1,1,3,3,3,2,3,1,2,1,5,11,2,6,2,7,7,8,1,1,1,1,1,3,1,1,8,2,1,1,1,2,3,1,12,1,3,67,2,2,5,1,6,2,1,3,2,8,1,2,1,2,3,3,1,9,1,2,2,1,6,4,9,1,1,2,1,1,1,1,2,1,1,2,1,1,2,1,3,5,23,5,1,1,4,1,4,3,14,1,17,1,1,1,11,1,2,1,6,4,1,5,2,30,2,3,1,1,1,2,3,1,2,4,2,1,2,3,1,16,1,2,2,2,2,3,1,1,1,3,1,3,3,2,2,2,2,1,14,2,2,1,1,13,26,1,2,1,4,1,4,1,6,1,15,7,1,1,1,12,1,3,47,5,1,1,4,2,1,1,2,1,5,9,5,1,3,1,170] 
4911878480149149948009032176764329087385799784319314428104082319494524458952812057152463743594347292450302668025348891000718587065689027706586428232984352133953653152129209944947540128774940829636475097642031701885580125143349168094248310163637669045243793859405606462424770264532074751875165240269689201106867280323584423029651191554842076153803351804297419754746394958048146925616743405341910461141736951056981622322603904628850184934701177787184103765479362049288821437026828980436760437653401914318894070183206880385037809167559779426617839694808646575765337615956115427480809139456534849820163332342342083555404172031183938962297955176111172504832996975537386582798129591372153063772386483206315748399972183863334053579556752943539044394191460543107318511298600613826677193524904552519084636042229143864237271177809387967100153501432742999076952897272393620228005838249457907729755276550837278549449838000118230161858461159740888116373052158987429512534655183001609963100718480213645989736724930585454686867364364669567370016869291707326601745485148748834475003982555198123240773628891070488198733629041337794445904455463557891470647962764036014128759452330841273264402751748938281201928541403021678397792206164109240316528994098039185960620686855387881230853794427022820806475364894615882829754189657687349320501405068717293533262052613180618173505609694649855374430718120930066041201638690272157192146159650251139697688485699749357899226829015488670437608809601892974692319105264811474776472316722047971370133091843565370020552210828250065629771786911446337729440383191157013564211769845653105040929855036562059427535639236354124799165334658457172003253467273555614159263611713080687960912383446128915018265267658759040087434569899683222691009519517402019560489446745704073756811720903359492223439810453735473917463993496269004028013575525246991272635775500981355774214721408221170624224544210490326484650711290481805563156890406398759181613617758917481363113108915826003145476682160954683415555091713608549780171676997062674870829120926367472981570061419607223401984164461761743406999974610016237894026575924429687791035020187053446082781930424194862132667134682391117024619476003648035790225038880089310461787007005584556339231434041709850367071693501544279644512352810755653204391535989694464462610074130587699759004251332060902866869985927992860850273625112604722486481509138545014727706709364675945584539902911683337155286665736217449689720574343488495549041598712237350408263773460054529715250864929614268585001784769445747725741032506959667592757036340887408357355342702380693606465521367194220941044414662596608066663239134527032511876056664811138927666660115252097412336802302966567101904950043763962186851234197971314440031664157876846328717774487656538000078230066872834032428159801758066274672114106575055439415683730233693618797850398590432957425885393764504971416963745541830746719277412685795957607824274861655641114949183377965607485777635852676714680806978047009761465416171761764423/1563499479964886627326182150122319613891314178695965563645615470330394918289187066465669130793687935960625790456820159092904823935097942007877513241618284703029427093585992068633280896386933840020530097709018171488801672903388114966978233409563346816286237404779320775073392405358437267384788157631344501905493887935131164838034287551213336669440293521259447167221221431779915683427853011987741661998648707212920584490970413291421594064031026702419513535176513263625808141259159022088917657278189859314982578215771704643035220740187995374753627435620775914122337626351853502803847956436287132495081331995481208003648424810056843731848932623054180461576752990375421534656617610304591036552269702546977379578847860332648924869344523524595704689782907076928588338224061431571132847928878224596527984679988103597696544711578081845117382778994424951590664931909150393916867204820076149899233333680283773166717253506278789274358207159567715142225540389789638246519210404636188564090286748352802384062870066773725153780082633421975154659932641846030611215071216847952154289106453354182547279953963296432903859153268279348605991771711668059852773558263929265005365797055092631397080667233489760750576259453996038528353469443634722435118171082964529458584921504942924356354690634681607612223193719104880112567268064049723646512741301783907142456632813120907280469201493879864030491694494493561183048558140212870940424871064748356226059431937347498485730607931920055517825922630247644829874990346298856788937097371616597996447231970553319125075043279594627001440724144796579547402029979825176233536098133521735714161036211151572752412332423864985544725331330298535458129050688132073594228428390348005492386028046486830436298079708663108075116251154016859832810296871684931227342360583442312471767592099541577884920609973363783373419831463557706765566758984836096861280173795977334644776728565846932810177235318237329437205561161604069443863339414438294886610576277426707048975414882399997405030223551208893859902785154778766967902118146807353557660688136558308680233450253516366464167736876953755875002684272045506352435274219130114465906599061060869892368394446754273458475629878557395471192065136981212972807042782539824363630527873734281553844847156917605950995377848100593122507155788133468399135099071775730320889313351596172307949924908772200874978782709242866781553758167521266772657438727852552501003738108614241418563852889541740357402105657877836020341995194381291527982268404476934835355595268992535926398858709817958700140435052970156419582253700577564900870230579627698600655072817359720409409429025303756184239338396488336776839660645068281091165327455739774615381762912036672968457412527205819397474254450417481453382454241925004617117095890128075751195460636532510028162464894265529494803060935796735907633727601504441979976621226015934457057772875098326093062601758859344583758689441371912520840572326013865810338483019695602207520428407780941703588332912453790526458972420400870243629967831834514282 
3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679821480865132823066470938446095505822317253594081284811174502841027019385211055596446229489549303819644288109756659334461284756482337867831652712019091456485669234603486104543266482133936072602491412737245870066063155881748815209209628292540917153643678925903600113305305488204665213841469519415116094330572703657595919530921861173819326117931051185480744623799627495673518857527248912279381830119491298336733624406566430860213949463952247371907021798609437027705392171762931767523846748184676694051320005681271452635608277857713427577896091736371787214684409012249534301465495853710507922796892589235420199561121290219608640344181598136297747713099605187072113499999983729780499510597317328160963185950244594553469083026425223082533446850352619311881710100031378387528865875332083814206171776691473035982534904287554687311595628638823537875937519577818577805321712268066130019278766111959092164201989380952572010654858632788659361533818279682303019520353018529689957736225994138912497217752834791315155748572424541506959508295331168617278558890750983817546374649393192550604009277016711390098488240128583616035637076601047101819429555961989467678374494482553797747268471040475346462080466842590694912933136770289891521047521620569660240580381501935112533824300355876402474964732639141992726042699227967823547816360093417216412199245863150302861829745557067498385054945885869269956909272107975093029553211653449872027559602364806654991198818347977535663698074265425278625518184175746728909777727938000816470600161452491921732172147723501414419735685481613611573525521334757418494684385233239073941433345477624168625189835694855620992192221842725502542568876717904946016534668049886272327917860857843838279679766814541009538837863609506800642251252051173929848960841284886269456042419652850222106611863067442786220391949450471237137869609563643719172874677646575739624138908658326459958133904780275900994657640789512694683983525957098258226205224894077267194782684826014769909026401363944374553050682034962524517493996514314298091906592509372216964615157098583874105978859597729754989301617539284681382686838689427741559918559252459539594310499725246808459872736446958486538367362226260991246080512438843904512441365497627807977156914359977001296160894416948685558484063534220722258284886481584560285060168427394522674676788952521385225499546667278239864565961163548862305774564980355936345681743241125150760694794510965960940252288797108931456691368672287489405601015033086179286809208747609178249385890097149096759852613655497818931297848216829989487226588048575640142704775551323796414515237462343645428584447952658678210511413547357395231134271661021359695362314429524849371871101457654035902799344037420073105785390621983874478084784896833214457138687519435064302184531910484810053706146806749192781911979399520614196634287544406437451237181921799983910159195618146751426912397489409071864942319615679452080951466 
0x3.243f6a8885a308d313198a2e03707344a4093822299f31d0082efa98ec4e6c89452821e638d01377be5466cf34e90c6cc0ac29b7c97c50dd3f84d5b5b54709179216d5d98979fb1bd1310ba698dfb5ac2ffd72dbd01adfb7b8e1afed6a267e96ba7c9045f12c7f9924a19947b3916cf70801f2e2858efc16636920d871574e69a458fea3f4933d7e0d95748f728eb658718bcd5882154aee7b54a41dc25a59b59c30d5392af26013c5d1b023286085f0ca417918b8db38ef8e79dcb0603a180e6c9e0e8bb01e8a3ed71577c1bd314b2778af2fda55605c60e65525f3aa55ab945748986263e8144055ca396a2aab10b6b4cc5c341141e8cea15486af7c72e993b3ee1411636fbc2a2ba9c55d741831f6ce5c3e169b87931eafd6ba336c24cf5c7a325381289586773b8f48986b4bb9afc4bfe81b6628219361d809ccfb21a991487cac605dec8032ef845d5de98575b1dc262302eb651b8823893e81d396acc50f6d6ff383f442392e0b4482a484200469c8f04a9e1f9b5e21c66842f6e96c9a670c9c61abd388f06a51a0d2d8542f68960fa728ab5133a36eef0b6c137a3be4ba3bf0507efb2a98a1f1651d39af017666ca593e82430e888cee8619456f9fb47d84a5c33b8b5ebee06f75d885c12073401a449f56c16aa64ed3aa62363f77061bfedf72429b023d37d0d724d00a1248db0fead349f1c09b075372c980991b7b25d479d8f6e8def7e3fe501ab6794c3b976ce0bd04c006bac1a94fb6409f60c45e5c9ec2196a246368fb6faf3e6c53b51339b2eb3b52ec6f6dfc511f9b30952ccc814544af5ebd09bee3d004de334afd660f2807192e4bb3c0cba85745c8740fd20b5f39b9d3fbdb5579c0bd1a60320ad6a100c6402c7279679f25fefb1fa3cc8ea5e9f8db3222f83c7516dffd616b152f501ec8ad0552ab323db5fafd23876053317b483e00df829e5c57bbca6f8ca01a87562edf1769dbd542a8f6287effc3ac6732c68c4f5573695b27b0bbca58c8e1ffa35db8f011a010fa3d98fd2183b84afcb56c2dd1d35b9a53e479b6f84565d28e49bc4bfb9790e1ddf2daa4cb7e3362fb1341cee4c6e8ef20cada36774c01d07e9efe2bf11fb495dbda4dae909198eaad8e716b93d5a0d08ed1d0afc725e08e3c5b2f8e7594b78ff6e2fbf2122b648888b812900df01c4fad5ea0688fc31cd1cff191b3a8c1ad2f2f2218be0e1777ea752dfe8b021fa1e5a0cc0fb56f74e818acf3d6ce89e299b4a84fe0fd13e0b77cc43b81d2ada8d9165fa2668095770593cc7314211a1477e6ad206577b5fa86c75442f5fb9d35cfebcdaf0c7b3e89a0d6411bd3ae1e7e4900250e2d2071b35e226800bb57b8e0af2464369bf009b91e5563911d59dfa6aa78c14389d95a537f207d5ba202e5b9c5832603766295cfa911c819684e734a41b3472dca7b14a94a1b5100529a532915d60f573fbc9bc6e42b60a47681e6740008ba6fb5571be91ff296ec6b2a0dd915b6636521e7b9f9b6ff34052ec585566453b02d5da99f8fa108ba47996e85076a4b7a70e9b5b32944db75092ec4192623ad6ea6b049a7df7d9cee60b88fedb266ecaa8c71699a17ff5664526cc2b19ee1193602a575094c29a0591340e4183a3e3f54989a5b429d656b8fe4d699f73fd6a1d29c07efe830f54d2d38e6f0255dc14cdd20868470eb266382e9c6021ecc5e09686b3f3ebaefc93c9718146b6a70a1687f358452a0e286b79c5305aa5007373e07841c7fdeae5c8e7d44ec5 
(precise to 10050 bits)

[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,2,1,84,2,1,1,15,3,13,1,4,2,6,6,99,1,2,2,6,3,5,1,1,6,8,1,7,1,2,3,7,1,2,1,1,12,1,1,1,3,1,1,8,1,1,2,1,6,1,1,5,2,2,3,1,2,4,4,16,1,161,45,1,22,1,2,2,1,4,1,2,24,1,2,1,3,1,2,1,1,10,2,5,4,1,2,2,8,1,5,2,2,26,1,4,1,1,8,2,42,2,1,7,3,3,1,1,7,2,4,9,7,2,3,1,57,1,18,1,9,19,1,2,18,1,3,7,30,1,1,1,3,3,3,1,2,8,1,1,2,1,15,1,2,13,1,2,1,4,1,12,1,1,3,3,28,1,10,3,2,20,1,1,1,1,4,1,1,1,5,3,2,1,6,1,4,1,120,2,1,1,3,1,23,1,15,1,3,7,1,16,1,2,1,21,2,1,1,2,9,1,6,4,127,14,5,1,3,13,7,9,1,1,1,1,1,5,4,1,1,3,1,1,29,3,1,1,2,2,1,3,1,1,1,3,1,1,10,3,1,3,1,2,1,12,1,4,1,1,1,1,7,1,1,2,1,11,3,1,7,1,4,1,48,16,1,4,5,2,1,1,4,3,1,2,3,1,2,2,1,2,5,20,1,1,5,4,1,436,8,1,2,2,1,1,1,1,1,5,1,2,1,3,6,11,4,3,1,1,1,2,5,4,6,9,1,5,1,5,15,1,11,24,4,4,5,2,1,4,1,6,1,1,1,4,3,2,2,1,1,2,1,58,5,1,2,1,2,1,1,2,2,7,1,15,1,4,8,1,1,4,2,1,1,1,3,1,1,1,2,1,1,1,1,1,9,1,4,3,15,1,2,1,13,1,1,1,3,24,1,2,4,10,5,12,3,3,21,1,2,1,34,1,1,1,4,15,1,4,44,1,4,20776,1,1,1,1,1,1,1,23,1,7,2,1,94,55,1,1,2,1,1,3,1,1,32,5,1,14,1,1,1,1,1,3,50,2,16,5,1,2,1,4,6,3,1,3,3,1,2,2,2,5,2,2,2,28,1,1,13,1,5,43,1,4,3,5,3,1,4,1,1,2,2,1,1,19,2,7,1,72,3,1,2,3,7,11,1,2,1,1,2,2,1,1,2,1,1,1,1,1,33,7,19,1,19,3,1,4,1,1,1,1,2,3,1,3,2,2,2,2,4,1,1,1,4,2,3,1,1,1,1,11,1,1,2,1,2,1,2,2,1,7,2,27,1,1,6,2,1,9,6,26,1,1,3,2,1,1,1,1,1,15,1,36,4,2,2,1,22,2,1,106,2,2,1,3,1,12,10,7,1,2,1,1,1,1,8,2,4,5,3,2,1,4,23,1,18,2,10,3,1,6,6,13,8,6,2,2,2,2,1,1,1,3,1,7,17,1,1,1,2,5,5,1,1,2,11,1,6,1,6,1,29,4,29,3,5,3,1,141,1,2,7,7,2,2,7,1,1,7,1,7,1,2,4,1,1,1,30,1,12,4,18,10,2,8,1,2,2,2,4,13,1,5,4,1,6,1,1,11,2,4,2,1,1,3,3,12,1,1,39,5,1,1,16,125,1,4,1,2,1,19,1,4,1,1,2,1,4,1,10,1,4,2,1,1,1,5,10,4,14,1,13,41,1,4,1,8,1,1,2,1,3,1,6,1,3,2,2,2,1,4,1,14,1,2,8,1,8,3,3,3,1,37,4,2,4,1,3,4,25,4,27,2,7,1,1,2,6,1,1,1,12,1,2,2,2,13,12,1,3,1,6,1,1,33,1,5,3,1,5,15,8,8,47,1,3,2,12,2,12,1,12,1,2,5,3,1,1,1,1,2,3,5,4,2,1,1,5,1,9,14,1,1,3,2,1,9,3,22,13,1,1,3,20,1,1,61,1,376,2,107,1,10,3,2,2,31,1,2,10,2,2,62,2,2,7,4,5,6,1,1,1,1,2,8,2,73,3,5,42,1,3,2,1,1,59,6,1,1,1,5,1,6,1,2,6,1,1,1,1,3,2,1,3,1,8,1,4,2,5,4,7,1,4,2,2,6,1,1,2,2,1,1,1,1,1,2,1,2,2,5,1,2,1,1,10,1,6,1,129,1,4,65,2,4,4,3,2,3,1,1,5,1,1,1,1,1,2,2,1,2,1,1,2,2,1,2,3,1,2,1,2,4,2,1,2,27,6,2,1,193,1,3,9,1,3,35,2,1,8,1,1,1,1,9,3,56,1,6,6,2,8,1,8,1,2,3,6,3,1,3,1,1,1,2,13,1,1,1,1,13,2,1,3,1,3,15,2,1,1,2,4,1,4,5,2,2,1,2,1,6,1,4,12,1,1,1,1,13,1,3,4,1,1,1,2,9,1,7,1,1,1,1,4,1,3,4,1,1,4,3,1,39,2,1,1,1,1,1,4,7,2,2,2,1,1,1,1,2,114,12,4,1,3,2,1,19,1,1,2,1,1,3,4,1,60,3,72,2,1,1,1,50,1,1,1,1,3,1,1,2,2,1,4,1,7,3,1,2,1,5,1,1,1,2,6,2,21,2,6,1,6,1,1,2,1,7,1,8,1,1,5,4,1,1,1,1,1,1,1,1,4,1,11,2,4,10,2,1,1,13,1,1,7,15,1,1,1,2,3,15,8,8,2,1,13,3,5,1,2,1,6,1,10,123,3,1,4,59,4,156,88,1,5,4,1,3,1,4,2,9,1,7,4,2,1,2,3,2,1,2,11,1,13,7,7,1,63,37,12,86,1,1,1,1,2,2,4,2,18,1,1,1,41,2,1,1,12,1,2,1,1,2,10,1,1,1,5,1,1,3,1,7,5,1,9,1,2,2,7,1,1,5,2,1,3,3,5,2,1,11,3,1,3,2,1,1,2,1,14,5,2,2,1,1,1,1,3,1,3,3,2,2,1,3,2,1,2,1,4,1,14,1,1,58,7,1,2,1,1,5,1,2,1,5,18,1,4,3,1,1,1,4,1,1,2,5,1,148,1,9,2,1,2,1,5,4,93,1,1,2,4,1,2,73,1,1,3,1,1,1,1,2,1,34,1,5,6,1,2,1,3,4,1,16,28,17,2,5,5,26,1,1,4,12,1,3,2,1,5,1,2,9,3,2,41,1,16,2,2,20,1,17,1,6,16,3,3,2,2,2,18,15,1,1,51,4,9,5,2,2,1,2,1,45,3,1,1,3,1,2,1,3,1,1,3,5,1,2,3,8,2,47,2,3,1,1,1,15,9,1,8,2,1,4,2,4,14,1,12,2,1,161,1,26,2,1,2,1,1,1,1,2,2,1,18,528,12,4,1,5,16,3,1,1,1,1,1,5,1,2,1,63,1,97,1,4,4,10,5,9,5,2,3,2,5,7,1,32,13,1,5,4,1,7,1,3,12,1,3,9,1,7,1,102,53,1,1,1,3,4,2,15,2,8,2,2,3,1,2,4,1,1,3,2,3,1,1,2,3,1,1,6,1,1,14,1,80,11,1,1,1,1,22,1,2,3,1,3,26,2,24,2,2,4,3,1,1,1,1,3,1,63,1,1,1,25,1,1,1,8,1,3,3,1,10,5,6,2,1,1,3,1,1,1,1,2,2,1,2,8,12,1,53,1,2,1,1,5,1,1,3,1,39,1,12,1,3,14,18,9,3,2,2,2,1,1,3,1,4,4,7,1,17,1,14,1,1,1,1,3,1,1,10,1,2,2,3,1,2,1,2,2,2,12,1,3,44,2,10,1,14,1,2,1,43,4,1,7,3,4,1,1,2,2,1,34,1,2,5,8,3,2,1,2,13,4,3,2,1,1,1,1,25,1,5,1,94,2,4,3,4,5,1,1,1,1,1,1,2,1,1,1,1,1,1,1,1,1,10,41,1,5,1,4,4,1,155,1,8,1,1,1,1,4,1,1,2,9,2,1,2,1,1,1,6,23,1,2,3,5,2,1,1,1,1,7,67,5,7,1,23,3,3,1,6,1,11,1,57,1,4,1,5,1,1,8,1,1,2,5,2,10,1,1,2,1,1,3,1,2,1,3,1,11,2,10,1,4,18,1,2,3,1,1,6,3,6,4,31,3,4,1,18,3,9,7,5,1,2,2,1,7,1,23,2,217,1,2,1,4,1,54,2,196,10,3,1,32,1,40,55,1,5,1,3,3,1,2,2,1,3,6,3,16,1,31,1,5,6,1,4,42,4,1,10,1,3,1,3,3,1,2,1,1,1,4,1,13,1,88,1,1,1,14,3,27,3,1,1,16,4,1,2,4,1,4,1,1,17,2,4,1,1,9,2,1,1,3,1,1,30,1,1,3,2,2,1,1,4,10,1,7,1,6,1,35,1,1,2,3,6,1,1,2,4,4,24,1,1,1,1,1,1,3,1,1,2,1,2,1,6,6,2,1,1,10,6,4,2,1,3,9,1,2,16,1,5,1,1,1,1,6,5,1,13,5,4,1,2,3,1,1,1,3,1,30,2,5,1,1,1,1,2,3,1,2,3,1,1,1,1,1,6,5,3,65,48,3,3,6,1,9,2,1,5,6,2,1,1,1,1,620,8,1,1,4,8,1,6,1,5,8,1,5,1,4,9,47,3,1,6,1,25,1,3,425,2,3,3,17,1,2,3,2,3,1,1,1,5,2,1,41,1,1,1,1,3,1,5,1,1,6,256,17,1,14,1,2,3,1,2,2,2,4,9,7,3,3,18,1,33,1,5,2,4,25,1,2,1,6,1,3,4,16,4,2,2,7,3,1,14,2,1,2,1,3,3,1,4,1,59,1,121,9,1,2,1,11,1,20,1,9,2,1,3,391,1,2,8,3,4,1,1,3,13,1,95,2,2,4,21,1,21,2,8,13,3,1,1,1,5,1,8,1,15,1,252,3,4,2,15,1,1,1,5,2,6,11,1,10,41,1,4,2,2,1,1,1,5,1,1,1,2,2,1,1,1,2,2,1,2,2,2,2,1,24,8,21,3,3,9,14,9,1,9,3,1,2,3,2,2,2,9,1,5,3,7,1,2,1,6,1,1,3,6,1,1,1,1,1,1,1,15,2,4,1,1,7,1,2,1,1,15,2,1,5,1,1,13,1,2,1,1,1,5,2,21,1,1,1,1,13,1,1,10,1,6,2,11,1,2,7,1,7,1,16,1,4,3,1,2,1,7,1,3,1,4,9,2,1,1,1,1,23,1,1,4,1,4,3,1,2,2,2,1,3,1,1,5,1,1,1,6,106,1,1,1,7,2,18,1,1,1,4,1,2,4,20,2,1,3,1,5,1,3,1,50,1,2,14,2,1,1,2,1,2,2,1,1,3,3,1,1,4,1,1,1,13,8,3,2,1,8,5,1,6,1,50,1,2,3,8,1,3,5,2,1,8,8,1,1,10,2,1,1,1,2,13,1,4,10,1,1,1,1,26,2,22,3,7,6,1,2,3,28,3,17,3,1,1,1,4,1,5,2,4,5,1,2,1,1,1,4,1,2,5,1,1,1,4,1,2,5,2,193,2,1,47,1,4,1,6,1,4,1,6,23,4,1,20,2,3,32,1,6,1,4,1,3,1,10,1,3,1,1,2,5,2,1,1,1,93,1,1,11,8,1,1,1,1,2,15,4,1,7,1,3,2,1,1,1,9,10,1,6,1,4,5,3,1,11,1,6,5,1,1,1,1,3,1,152,3,1,4,3,7,1,473,1,1,1,3,108,2,1,3,3,3,6,1,1,1,18,1,51,2,2,5,2,2,1,1,15,6,10,1,6,1,1,6,8,2,33,1,6,2,5,3,1,13,1,2,1,2,3,2,1,5,1,2,1,2,1,10,4,2,1,2,6,23,4,1,3,1,5,1,3,5,3,1,3,2,5,8,1,4,5,1,1,18,6,1,1,43,1,8,1,22,1,9,5,1,2,1,15,16,1,1,5,4,3,7,1,1,1,4,1,1,3,3,1,2,16,2,7,1,17,3,28,5,15,5,1,8,3,1,141,1,9,7,2,5,1,1,7,5,30,1,6,2,2,6,1,4,3,3,10,22,14,1,2,3,21,4,1,1,1,12,1,9,4,2,1,7,1,1,1,10,1,3,1,1,1,1,1,1,6,1,10,1,7,8,2,1,1,1,5,8,5,9,37,4,1,17,1,2,1,3,1,5,2,1,4,15,2,2,5,1,1,1,6,1,1,20,48,1,5,17,2,7,7,1,16,1,37,3,2,1,2,5,1,1,1,4,3,2,3,16,1,2,18,2,1,1,1,1,1,4,1,3,5,1,2,23,2,3,1,4,13,7,1,5,1,2,1,1,30,1,7,4,1,1,1,15,1,17,1,4,1,1,1,2,188,1,5,2,2,19,2,1,2,1,70,1,2,1,2,3,1,4,1,1,1,4,1,3,1,1,2,1,1,5,5,2,1,2,7,2,2,1,1,2,2,1,31,8,1,1,3,1,1,1,1,3,15,2,1,3,1,1,3,24,4,1,1,7,2,12,4,2,2,1,15,1,1,1,1,2,1,9,1,2,2,3,1,2,9,1,1,3,1,1,7,1,12,1,3,1,2,1,3,6,6,1,1,1,1,10,2,10,1,2,2,2,5,12,1,2,3,4,10,1,1,3,2,4,1,37,1,4,2,1,1,67,1,1,6,2,1,2,2,3,1,2,2,1,5,2,2,1,1,8,13,2,3,2,1,3,5,205,4,2,19,1,5,3,1,1,1,1,1,10,3,2,1,3,2,7,4,1,12,1,7,1,44,1,1,1,27,1,3,1,7,2,1,3,11,1,3,1,4,1,6,1,31,1,35,3,1,4,1,4,1,130,1,1,1,4,1,32,1,9,6,10,1,2,1,10,5,1,17,1,9,4,1,26,2,27,5,1,1,8,2,36,2,1,1,1,3,1,2,18,2,166,1,11,9,5,1,1,5,7071,55,1,1,1,1,7,1,3,14,1,1,2,1,1,1,13,1,8,1,5,1,10,4,5,1,1,1,15,2,1,1,183,1,6,5,2,19,2,9,2,4,1,1,4,5,1,21,1,50,2,1,2,2,1,2,1,2,3,1,1,8,1,1,3,1,1,1,4,2,1,1,1,2,3,6,3,2,4,1,1,1,3,2,1,2,5,1,1,1,1,3,7,2,1,21,1,4,2,1,1,55,1,4,1,2,1,1,2,17,1,1,1,1,6,1,1,1,1,1,3,1,3,7,1,5,2,2,2,5,20,6,2,8,1,5,33,1,1,1,1,8,1,6,2,1,6,22,1,1,5,1,1,7,11,2,35,2,1,8,5,1,1,1,3,1,3,2,2,4,6,2,2,1,2,4,1,25,1,3,62,5,1,1,2,3,1,13,12,1,11,1,5,3,1,5,13,1,8,1,2,3,1,5,1,5,5130,3,20,3,1,14,1,3,9,2,2,1,3,1,4,18,3,9,4,1,1,1,1,1,4,3,1,8,4,1,6,1,7,4,6,1,3,3,1,12,1,4,26,1,1,1,1,1,1,1,1,2,1,9,1,1,1,4,1,9,13,1,3,1,1,1,2,2,1,11,3,1,32,6,15,1,1,11,2,2,2,7,34,1,2,6,1,13,2,1783,1,2,3,15,2,1,1,2,2,1,1,6,1,1,3,1,5,8,6,3,1,3,7,11,1,3,2,1,1,1,1,3,1,2,1,1,4,2,1,4,30,15,1,1,2,1,2,3,1,2,1,4,1,1,1,4,2,3,1,17,1,1,2,1,94,3,3,3,1,2,1,1,1,12,3,1,11,1,9,1,4,8,1,2,2,5,2,1,1,1,1,3,1,1,1,3,3,2,14,1,30,1,1,2,1,1,1,1,3,4,1,1,25,1,10,1,1,2,2,2,4,2,1,153,1,1,3,5,4,1,3,1,2,1,1,1,21,1,3,1,1,2,5,1,2,6,1,1,1,3,1,4,17,2,20,1,1,1,6,1,3,1,1,4,40,9,3,55,28,2,3,1,1,2,3,5,151,1,4,1,7,5,1,2,1,1,7,1,2,1,1,4,1,19,13,1,3,1,4,1,4,6,5,2,14,2,2,12,2,20,2,1,1,1,16,1,1,1,1,2,7,1,2,3,5,2,2,3,10,1,2,4,3,2,34,2,70,1,26,1,2,1,1,2,1,2,1,3,4,22,1,4,4,2,1,2,8,1,4,4,20,1,1,2,7,375,3,2,2,1,1,1,147,19,6,1,1,7,3,1,8,1,1,2,1,4,1,1,104,1,1,12,3,2,141,57,1,3,1,1,1,1,28,2,1,5,1,1,1,4,5,18,1,65,1,2,2,9,3,1,1,5,7,1,3,19,1,2154,9,21,2,1,1,1,1,3,2,1,4,11,2,3,1,7,1,3,5,2,1,2,1,3,1,1,1,1,5,1,1,3,1,4,1,5,10,30,4,7,10,9,1,2,1,7,2,1,14,12,1,1,1,2,1,1,1,88,1,2,4,3,3,2,1,1,7,3,4,1,3,6,4,5,5,1,78,2,1,4,27,2,76,1,1,2,3,1,25,7,3,2,15,5,1,4,21,1,3,3,2,1,2,1,1,3,18,12,1,3,23,8,1,1,1,6,60,6,15,2,22,1,1180,1,1,4,2,1,13,7,1,1,1,3,8,1,3,1,15,2,1,1,1,7,5,1,3,2,1,1,2,5,1,2,1,1,3,2,1,8,4,3,2,12,1,1,2,4,1,5,4,2,3,3,1,2,1,2,2,1,1,3,2,2,1,8,1,3,1,15,4,378,1,16,1,3,11,1,2,1,26,27,9,1,1,1,2,1,1,1,1,19,1,3,1,4,1,8,2,2,3,2,1,1,15,1,5,1,36,3,1,1,6,1,1,6,1,2,2,1,3,1,2,9,1,1,1,1,3,1,3,2,1,1,30,1,9,1,69,1,7,2,2,2,2,7,3,2,4,5,7,2,4,1,9,1,7,1,1,1,7,2,1,1,5,4,2,6,1,3,11,2,2,81,4,1,2,3,1,45,57,3,1,22,1,2,1,37,1,35,2,1,3,1,1,5,1,1,1,1,2,14,11,1,1754,1,4,1,1,1,2,3,19,4,1,1,3,1,60,5,1,14,1,1,1,2,28,1,1,7,2,3,6,1,2,6,11,1,32,6,5,2,1,5,2,1,4,3,1,3,3,3,1,1,218,3,1,1,8,3,2,17,1,1,2,1,14,2,1,8,1,3,1,65,1,18,1,3,1,14,2,1,10,1,5,1,1,1,1,1,2,1,1,6,1,1,2,3,2,3,2,3,3,1,63,26,5,1,1,3,2,1,3,1,1,1,5,8,2,2,5,1,57,1,15,3,4,1,1,1,1,1,1,1,1,1,2,9,1,9,1,1,18,9,4,4,1,4,1,2,1,3,1,2,2,4,3,1,3,1,1,7,1,1,1,1,12,2,8,1,7,1,3,8,1,1,1,1,2,1,12,1,2,3,4,2,2,1,11,54,1,1,3,1,4,1,7,1,2,2,1,1,1,1,5,1,9,2,1,5,3,2,1,1,6,2,1,6,1,1,43,3,9,2,6,15,1,2,4,4,2,2,1,3,671,3,1,1,2,2,2,3,6,14,1,5,13,1,15,13,1,1,1,22,1,10,1,4,13,68,1,5,1,1,3,1,8,2,2,17,2,2,13,9,1,1,4,2,3,3,12,3,2,3,1,1,2,30,7,3,3,160,6,2,1,3,1,1,1,1,10,1,1,3,1,16,3,1,10,2,6,2,2,1,1,1,11,2,1,1,1,79,1,3,2,16,3,1,6,2,1,2,10,3,6,3,1,1,3,1,3,1,1,19,6,9,1,4,12,1,8,1,1,1,1,4,3,1,1,5,3,2,118,1,3,1,1,2,4,1,4,1,2,1,5,1,15,1,1,1,12,1,3,1,16,6,1,1,5,1,341,1,1,55,7,2,4,5,1,24,3,6,9,1,3,8,2,1,16,3,1,1,3,3,1,34,20,2,7,3,1,10,2,3,11,1,3,8,1,1,3,3,36,2,2,1,57,2,8,1,1,7,4,4,2,1,2,21,2,1,1,1,1,3,11,1,2,51,1,1,3,1,4,1,7,2,2,1,50,2,1,1,12,1,1,3,6,5,1,14,3,2,9,4,5,4,1,1,1,1,1,16,1,1,1,4,3,3,1,8,1,1,1,534,34,1,2,2,1,7,2,1,1,102,1,20,6,1,4,2,1,1,8,2,1,1,2,5,1,8,1,7,5,1,2,1,5,1,4,2,3,2,1,4,1,2,1,4,2,2,1,1,9,1,1,8,1,6,1,1,9,13,1,1,1,1,1,62,13,6,2,1,6,2,1,1,18,4,1,3,7,1,2,34,2,4,15,2,1,2,3,10,1,3,7,886,5,2,6,1,4,1,1,1,1,4,5,88,1,2,1,9,1,2,2,14,1,4,3,2,1,2,2,4,1,5,2,2,16,8,1,1,3,1,12,3,1,2,2,2,2,11,1,1,1,1,4,1,1,19,2,1,1,4,3,2,2,7,8,1,1,5,3,2,7,7,2,6,8,1,3,6,3,4,2,1,7,2,1,2,8,1,1,10,2,6,3,10,1,14,24,4,4,2,1,5,2,2,1,1,2,1,2,2,3,4,1,2,2,2,2,1,4,1,1,4,1,3,3,1,1,2,8,1,2,1,2,10,1,6,1,11,1,7,1,22,8,3,1,4,4,3,1,2,2,2,5,1,2,4,1,12,1,1,2,30,1,37,4,3,1,1,4,1,4,1,40,2,2,1,11,1,1,77,2,1,7,1,1,1,1,6,733,1,57,99,1,1,4,1,1,6,16,1,19,2,2,2,1,20,11,1,7,1,3,1,1,3,1,11,3,1,2,5,2,1,1,1,1,1,6,31,11,16,1,2,1,2,19,2,2,2,1,2,1,2,1,2,2,2,7,1,3,8,2,1,15,1,1,1,2,2,2,2,1,5,2,3,1,1,2,1,8,7,4,6,4,10,1,10,2,1,10,1,12,1,9,1,2,3,1,1,3,2,6,2,1,75,1,33,1,6,1,15,1,1,127,2,1,2,1,2,1,13,6,2,20,1,1,8,1,11,2,12,4,3,4,1,1,3,1,127,1,1,3,1,1,1,2,2,1,1,1,3,4,1,4,1,1,1,74,2,6,2,1,1,1,1,1,1,29,3,3,5,29,1,15,1,1,5,1,4,15,15,6,1,1,3,3,2,1,15,8,3,1,1,1,4,1,1,1,2,1,34,2,29,1,1,1,61,1,1,6,1,4,1,3,1,1,2,1,2,1,17,2,19,3,47,1,2,1,1,22,25,2,77,3,6,2,1,12,1,1,1,11,1,1,2,1,1,3,1,4,1,2,5,1,2,7,3,1,17,1,171,1,1,4,1,1,1,19,1,4,1,15,3,9,1,3,2,2,1,4,1,2,10,69,4,1,1,1,1,2,1,29,1,23,5,1,57,1,5,1,2,1,2,1,5,13,2,2,8,1,4,2,15,2,1,4,1,3,1,1,6,3,1,9,2,1,3,2,1,2,1,400,4,5,9,1,2,8,1,4,1,24,2,3,3,1,2,32,1,2,1,5,2,2,1,1,2,1,1,12,1,43,11,1,26,1,3,1,2,1,4,19,1,1,4,1,3,6,2,2,7,2,2,1,6,3,9,2,3,1,3,1,47,1,273,7,1,2,1,5,7,14,2,7,2,2,6,1,22,1,1,1,2,3,2,1,1,6,5,9,2,4,1,8,2,2,6,1,14,6,4,3,2,4,1,11,1,1,3,1,1,47,5,1,1,2,259,1,53,1,105,4,2,1,6,1,16,1,2,1,2,8,9,13,1,5,2,236,1,1,4,1,4,1,1,1,2,7,3,19,1,1,1,22,1,2,1,1,1,2,1,1,1,9,1,4,1,2,1,3,5,1,3,4,1,1,74,4,2,14,7,4,1,2,1,10,1,2,1,2,1,1,4,2,1,4,1,2,7,1,3,1,7,1,3,1,19,1,7,1,1,4,1,5,12,1,6,2,1,10,10,1,14,1,1,18,4,11,3,10,10,1,1,3,2,9,1,1,4,4,3,3,20,1,13,23,2,4,1008,1,1,2,1,13,1,18,1,5,1,33,1,1,82,1,34,26,1,2,1,1,1,9,2,4,12,4,50,8,2,1,2,1,6,2,1,1,1,1,5,1,7,50,1,1,7,2,373,4,1,78,1,1,1,3,1,1,3,1,5,1,9,1,3,3,1,2,6,1,4,2,2,1,21,5,1,18,4,12,2,3,1,92,1,5,1,17,3,148,1,1,2,1,1,5,1,5,1,1,2,3,1,62,1,1,1,25,3,2,29,4,1,56,1,2,16,1,5,1,4,2,3,8,2,2,1,18,1,2,2,3,1,3,2,2,1,3,4,55,3,4,8,1,1,3,3,2,1,4,1,1,17,43,8,2,2,1,25,1,2,1,3,2,1,1,1,2,1,4,2,12,5,2,1,2,13,2,18,21,3,1,4,1,3,1,2,37,37,3,1,4,1,4,1,2,4,5,4,1,1,2,2,2,1,12,7,3,2,1,1,4,4,1,3,22,5,1,4,1,1,1,2,5,1,2,2,1,11,1,1,2,1,2,1,2,7,3,1,4,1,15,3,1,7,3,1,1,1,1,1,2,1,2,7,3,1,8,1,1,1,1,1,1,3,3,3,2,3,1,2,1,5,11,2,6,2,7,7,8,1,1,1,1,1,3,1,1,8,2,1,1,1,2,3,1,12,1,3,67,2,2,5,1,6,2,1,3,2,8,1,2,1,2,3,3,1,9,1,2,2,1,6,4,9,1,1,2,1,1,1,1,2,1,1,2,1,1,2,1,3,5,23,5,1,1,4,1,4,3,14,1,17,1,1,1,11,1,2,1,6,4,1,5,2,30,2,3,1,1,1,2,3,1,2,4,2,1,2,3,1,16,1,2,2,2,2,3,1,1,1,3,1,3,3,2,2,2,2,1,14,2,2,1,1,13,26,1,2,1,4,1,4,1,6,1,15,7,1,1,1,12,1,3,47,5,1,1,4,2,1,1,2,1,5,9,5,1,3,1,170,2,1,3,1,2,2,2,122,1,2,2,7,1,1,2,4,1,2,2,4] 
6009596779815313338268566861619457159755049272949459403925985849685198080447265105852764602830299087481107718861703213538728739373628623714537262491028332932673652474530812044339298801526624626519247593115319743636031054159585212933344624850507280351093305413334547300787727729137332600833742554522769454982266238868324613048367278528052184858095702547328150903097492724255365520232427868022810326567101018468497474576854261777284352427058529514498400155173978590283752077713803295784382554643241853601198590488106808545341409866607888379059148385474955388611201762162921094259337757802202133952667945380128733972718363033655528324859517836081681809763818935780336383935512528903360938238195920984942676394363751185332134992080658718202836978594149045436464871287594447954277444473027166504340145979926661596316141131772296144672705764596732398089800593189318808251777875036381816709097184293445688278342008358390934046255389545138068304357243626877562396766494611633551033319738560291635536482936068995863427228677502169629638215842623285468108294781681224194143706227260097052242253145407443754359835388717257234934355421692217603123318894822522806797753858039786086042313341587786950694368061281496107625375132799908344113313144384296756539480897616848817258487181437452159107976791601951584200158615477518291246570405938620187739757445737490346601118361819439925986583970345558499442196418493300073678045297558423754377158557717623690728694871268333990951029483924018604451426662868751392469354024996418762763391157597043237966694698526236718839571441250621165518444198896903324978281924021805477953123306799165682151081423522168608861972551191621025695931727335528228247970106724971909017497662283892723395845537233214394311790791537009707129944823541447305183144931474325942695820703091279476291573340364568946064365211261435485404545400253274791653819321307905953165463242819038953758678053253776382857347730286880802158082979450002839820782943165831574256123827461372157121971578716915299816927595465880251638670443954328547620118172536196891040306991560397474185927384595976769726420809978203667289974387541172940489049104817276868058003671300051581018176741122200182103087838988516875179774606581485906353401460520544664360125493704436626499244750619163203621519362220142566107690160016549663384868957249744693730753926817114240025840403333849644065558809811398909759467198870967992579730196137489926495550121897362483224771227869397321778346361494813116930722535833620407471753378501553022551177145020641426208915874904589701606858459486559719951417625999243092406231852854665757662217317932393998051952689683808713138632975893703660885232150623754978639488878371501631303004705535752384376716619724323316012979403906197057728153704835434590105413723757973320019761470731744967218802433714631878949693460477229107297285073354299073505839805935137225698923680925323358234676403730249864635502708095433043395554937058215318353722898474377025072335940074556950883715600951650604948480292849506990529676186666/1912914066993487317592008646637267077478895029003997683000168160814724023150576943209164412786912656781766011190628709508795922013555564842587208155316607826115419789364326903419051923421965204267138049787930678067747463363863720755107218428606162672919857901345171404786140450864603932901854108234642770782147507913892414133908703936010558172436185222515208895736075202734365937248501635396817651460686603386667183387889715951745521038820782862976435561709757418582413550115186520887083277865904395489382321432273523191430474644929128229484017549029598793596077892375011362883427617986357633503661716034243441099883915224001720950211650576900922658750948029663525902846709922137128253917725943628224793102926181615880604322318935706936472985791857289194884510096289465288637332347265417049834387210889238982957050170160735280259518733676431832521790480288060183315329598460609676556119890556419239830531941057825910263842740238583697060722105782411685327990641654647523382218166171040543151250204288037370401532028130132358523868521202266486400908833917969228106738291002431302640435939922050545166064151656801736149776114532343786620006077521937877999740516808127754238546169648613684192199223995714992123991371689096427235094270376173283910843994796299059756147486914268214242843303793660737599891841651493450041042535259168899409924080409569635234546876932665835620569785960944162752540288167854128902152931625941470021477999532049277652923548101444914775438438735593369147302825366417593214036241138122879989185944901875553217267881950661543073942988094076870065156807929512102328379058093945968196401678659515954724687923656128486107100636362706832742122402445333421255841645559621190289987815113079165683956941992815478384285793726598715388270082540017813311583986198931486427814834640518441284428939655812851953206672332180311822304940012129303873512835613399246744715216146776133170264420276975440435563977018671953796495801746153825832500176793062414389615833656825457662080344111855766332716595991111075155609399242610688513895770951035776028383282537519168952639338903700831834313765992642321945588533892489004657111458428860953369609865143954111149788914673164149376788250318170950308818922287139867907816106124616410143584439258098677826074757530337837985573895960118521737302223231160158216153083381287896833177965216892726078090763635369095718557074058041043183534572621675119417126347953744320045229641218597967536633933544861270559811885420362973208723569033147239991416993228880572635451762437850760671507483662248804530578435068748176939331260343039183399591985860578311411251308389818323492236317129991750404830106654454668998206964789092395089033565098287883291674414081668698239528586047792211105312845594007940026603142533465546747573214405489359370386862032904345408700660552525509787179726622994241497798861664730183668495662270282177737093513326430517757399554202461683144851318958951304783163364236034302108412377261068169307916515940007865601471071516439301534456284554467949617314997207 
3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679821480865132823066470938446095505822317253594081284811174502841027019385211055596446229489549303819644288109756659334461284756482337867831652712019091456485669234603486104543266482133936072602491412737245870066063155881748815209209628292540917153643678925903600113305305488204665213841469519415116094330572703657595919530921861173819326117931051185480744623799627495673518857527248912279381830119491298336733624406566430860213949463952247371907021798609437027705392171762931767523846748184676694051320005681271452635608277857713427577896091736371787214684409012249534301465495853710507922796892589235420199561121290219608640344181598136297747713099605187072113499999983729780499510597317328160963185950244594553469083026425223082533446850352619311881710100031378387528865875332083814206171776691473035982534904287554687311595628638823537875937519577818577805321712268066130019278766111959092164201989380952572010654858632788659361533818279682303019520353018529689957736225994138912497217752834791315155748572424541506959508295331168617278558890750983817546374649393192550604009277016711390098488240128583616035637076601047101819429555961989467678374494482553797747268471040475346462080466842590694912933136770289891521047521620569660240580381501935112533824300355876402474964732639141992726042699227967823547816360093417216412199245863150302861829745557067498385054945885869269956909272107975093029553211653449872027559602364806654991198818347977535663698074265425278625518184175746728909777727938000816470600161452491921732172147723501414419735685481613611573525521334757418494684385233239073941433345477624168625189835694855620992192221842725502542568876717904946016534668049886272327917860857843838279679766814541009538837863609506800642251252051173929848960841284886269456042419652850222106611863067442786220391949450471237137869609563643719172874677646575739624138908658326459958133904780275900994657640789512694683983525957098258226205224894077267194782684826014769909026401363944374553050682034962524517493996514314298091906592509372216964615157098583874105978859597729754989301617539284681382686838689427741559918559252459539594310499725246808459872736446958486538367362226260991246080512438843904512441365497627807977156914359977001296160894416948685558484063534220722258284886481584560285060168427394522674676788952521385225499546667278239864565961163548862305774564980355936345681743241125150760694794510965960940252288797108931456691368672287489405601015033086179286809208747609178249385890097149096759852613655497818931297848216829989487226588048575640142704775551323796414515237462343645428584447952658678210511413547357395231134271661021359695362314429524849371871101457654035902799344037420073105785390621983874478084784896833214457138687519435064302184531910484810053706146806749192781911979399520614196634287544406437451237181921799983910159195618146751426912397489409071864942319615679452080951465502252316 
0x3.243f6a8885a308d313198a2e03707344a4093822299f31d0082efa98ec4e6c89452821e638d01377be5466cf34e90c6cc0ac29b7c97c50dd3f84d5b5b54709179216d5d98979fb1bd1310ba698dfb5ac2ffd72dbd01adfb7b8e1afed6a267e96ba7c9045f12c7f9924a19947b3916cf70801f2e2858efc16636920d871574e69a458fea3f4933d7e0d95748f728eb658718bcd5882154aee7b54a41dc25a59b59c30d5392af26013c5d1b023286085f0ca417918b8db38ef8e79dcb0603a180e6c9e0e8bb01e8a3ed71577c1bd314b2778af2fda55605c60e65525f3aa55ab945748986263e8144055ca396a2aab10b6b4cc5c341141e8cea15486af7c72e993b3ee1411636fbc2a2ba9c55d741831f6ce5c3e169b87931eafd6ba336c24cf5c7a325381289586773b8f48986b4bb9afc4bfe81b6628219361d809ccfb21a991487cac605dec8032ef845d5de98575b1dc262302eb651b8823893e81d396acc50f6d6ff383f442392e0b4482a484200469c8f04a9e1f9b5e21c66842f6e96c9a670c9c61abd388f06a51a0d2d8542f68960fa728ab5133a36eef0b6c137a3be4ba3bf0507efb2a98a1f1651d39af017666ca593e82430e888cee8619456f9fb47d84a5c33b8b5ebee06f75d885c12073401a449f56c16aa64ed3aa62363f77061bfedf72429b023d37d0d724d00a1248db0fead349f1c09b075372c980991b7b25d479d8f6e8def7e3fe501ab6794c3b976ce0bd04c006bac1a94fb6409f60c45e5c9ec2196a246368fb6faf3e6c53b51339b2eb3b52ec6f6dfc511f9b30952ccc814544af5ebd09bee3d004de334afd660f2807192e4bb3c0cba85745c8740fd20b5f39b9d3fbdb5579c0bd1a60320ad6a100c6402c7279679f25fefb1fa3cc8ea5e9f8db3222f83c7516dffd616b152f501ec8ad0552ab323db5fafd23876053317b483e00df829e5c57bbca6f8ca01a87562edf1769dbd542a8f6287effc3ac6732c68c4f5573695b27b0bbca58c8e1ffa35db8f011a010fa3d98fd2183b84afcb56c2dd1d35b9a53e479b6f84565d28e49bc4bfb9790e1ddf2daa4cb7e3362fb1341cee4c6e8ef20cada36774c01d07e9efe2bf11fb495dbda4dae909198eaad8e716b93d5a0d08ed1d0afc725e08e3c5b2f8e7594b78ff6e2fbf2122b648888b812900df01c4fad5ea0688fc31cd1cff191b3a8c1ad2f2f2218be0e1777ea752dfe8b021fa1e5a0cc0fb56f74e818acf3d6ce89e299b4a84fe0fd13e0b77cc43b81d2ada8d9165fa2668095770593cc7314211a1477e6ad206577b5fa86c75442f5fb9d35cfebcdaf0c7b3e89a0d6411bd3ae1e7e4900250e2d2071b35e226800bb57b8e0af2464369bf009b91e5563911d59dfa6aa78c14389d95a537f207d5ba202e5b9c5832603766295cfa911c819684e734a41b3472dca7b14a94a1b5100529a532915d60f573fbc9bc6e42b60a47681e6740008ba6fb5571be91ff296ec6b2a0dd915b6636521e7b9f9b6ff34052ec585566453b02d5da99f8fa108ba47996e85076a4b7a70e9b5b32944db75092ec4192623ad6ea6b049a7df7d9cee60b88fedb266ecaa8c71699a17ff5664526cc2b19ee1193602a575094c29a0591340e4183a3e3f54989a5b429d656b8fe4d699f73fd6a1d29c07efe830f54d2d38e6f0255dc14cdd20868470eb266382e9c6021ecc5e09686b3f3ebaefc93c9718146b6a70a1687f358452a0e286b79c5305aa5007373e07841c7fdeae5c8e7d44ec5716f2b8b 
(precise to 10081 bits)