m_cai32(13947,({static i32 l_[]={1,1,7,34,0,1,33,0,3,33,0,4,33,0,5,12,3,48,6,0,63,0,27,16,0,0,0,62,17,0,22,0,61,0,27,16,17,0,47,0,0,26,0,100,17,0,45,0,22,26,0,60,0,27,16,0,47,0,0,26,0,99,17,17,33,0,6,48,0,18,16,0,36,0,59,17,33,0,7,48,6,0,64,0,65,11,2,0,0,0,93,17,33,0,8,48,6,34,0,3,32,0,4,34,0,5,32,0,8,0,22,0,101,17,0,102,0,103,0,104,0,105,0,106,0,107,0,21,0,66,0,51,11,2,17,0,45,0,35,26,0,59,17,0,108,0,64,0,27,16,0,0,0,94,17,34,0,6,0,21,16,0,44,0,22,26,0,109,17,0,67,0,0,0,93,17,0,22,0,112,17,0,22,0,111,0,26,0,59,17,17,0,22,0,110,17,0,113,11,15,0,46,0,13,26,0,24,0,22,21,16,33,0,9,33,0,10,12,2,48,6,32,0,10,0,50,0,0,26,0,29,0,68,21,0,54,0,44,0,46,0,24,26,26,27,16,33,0,11,33,0,12,33,0,13,33,0,14,33,0,15,33,0,16,33,0,17,33,0,18,33,0,19,33,0,20,33,0,21,33,0,22,33,0,23,33,0,24,33,0,25,12,15,48,6,0,36,0,54,0,1,27,0,12,0,9,0,15,0,53,0,68,27,21,0,36,0,53,0,69,27,21,33,0,26,48,6,32,0,14,0,36,16,33,0,27,48,6,32,0,15,0,36,16,0,0,0,70,17,33,0,28,48,6,0,71,0,1,0,54,0,24,27,16,0,0,32,0,20,17,33,0,29,48,6,32,0,20,0,36,16,0,0,0,72,17,33,0,30,48,6,0,13,0,11,0,69,21,0,44,0,32,26,0,114,21,0,54,0,22,27,33,0,31,48,6,1,2,33,0,32,48,6,1,3,32,0,9,26,33,0,33,48,6,0,118,0,32,0,53,34,0,4,0,54,0,39,27,27,16,32,0,33,16,33,0,34,48,6,32,0,21,0,36,16,33,0,35,48,0,0,0,69,17,33,0,36,48,6,0,69,0,70,0,74,0,59,0,59,0,75,0,59,0,68,11,2,0,76,0,68,0,71,0,77,11,2,0,32,16,0,8,16,11,10,0,43,34,0,10,26,0,25,0,13,21,0,54,0,44,0,46,0,21,26,26,27,16,0,22,16,0,44,0,22,26,0,73,17,33,0,37,48,6,0,2,0,50,0,6,26,20,33,0,38,48,6,32,0,38,0,53,0,13,0,51,0,27,27,27,33,0,39,48,6,32,0,38,0,53,0,13,0,51,0,27,27,0,0,0,69,21,27,33,0,40,48,6,0,19,0,32,0,10,21,0,44,0,22,26,0,32,0,22,21,0,69,21,33,0,41,48,6,1,4,33,0,42,48,6,1,5,33,0,43,48,6,1,6,33,0,44,48,6,1,7,33,0,45,48,7,34,0,1,0,11,16,0,46,1,8,26,34,0,4,17,0,22,16,7,32,1,32,32,1,31,0,53,0,115,27,0,116,0,20,11,3,26,0,42,20,33,0,2,48,6,32,0,1,0,54,0,35,27,0,54,0,18,0,58,0,19,0,32,0,13,21,0,51,34,0,2,27,27,27,0,19,0,20,21,33,0,3,48,6,32,0,1,0,35,34,0,1,0,33,16,33,0,4,48,17,33,0,5,48,0,26,0,53,0,1,27,0,14,0,26,21,0,69,17,0,49,0,10,26,0,58,0,22,0,53,0,68,27,0,44,0,32,26,32,0,5,21,0,22,0,117,21,0,42,20,27,16,6,0,20,0,33,34,0,5,21,0,6,0,69,21,0,44,0,1,26,0,69,21,0,44,0,35,26,34,0,4,21,34,0,3,0,20,21,7,34,0,2,33,0,3,33,0,4,12,2,48,6,0,95,0,14,32,0,1,17,33,0,5,48,6,0,96,0,14,32,0,1,17,33,0,6,48,0,9,0,53,0,28,0,53,0,68,0,68,11,2,27,27,16,0,32,16,33,0,7,48,6,0,97,0,14,32,0,1,17,33,0,8,48,0,32,16,33,0,9,48,6,32,0,7,32,0,9,0,26,0,59,17,32,0,5,0,32,16,11,3,0,22,16,33,0,10,48,0,33,16,33,0,11,48,6,32,0,10,0,35,32,0,11,17,33,0,10,49,6,34,0,7,0,0,0,70,17,34,0,9,0,26,0,69,17,0,69,0,22,32,1,8,0,39,32,0,1,17,17,0,32,16,0,32,0,53,32,0,5,0,50,0,0,26,16,0,22,0,68,17,0,54,0,35,0,51,0,29,0,54,0,1,27,27,27,27,16,11,3,0,22,16,0,35,34,0,11,17,33,0,12,48,6,0,43,0,68,11,1,26,1,9,0,13,0,54,0,22,27,21,0,20,0,32,0,12,21,0,13,21,33,0,13,48,6,0,35,0,53,32,0,12,0,33,32,0,10,17,34,0,13,16,27,0,48,0,32,26,20,0,25,32,0,1,0,13,16,21,33,0,14,48,6,34,0,10,32,0,14,16,33,0,15,48,6,34,0,12,34,0,14,16,33,0,16,48,6,32,0,16,0,10,32,0,15,17,33,0,17,48,0,50,0,13,26,0,69,17,33,0,18,48,6,32,0,18,0,11,34,0,16,17,0,9,32,0,8,0,10,32,0,6,17,17,0,49,0,10,26,0,58,1,10,27,16,6,0,98,0,14,32,0,1,17,0,9,32,0,18,17,33,0,19,48,6,34,0,6,0,9,32,0,15,17,0,29,16,0,10,32,0,19,17,0,32,16,33,0,20,48,6,32,0,20,34,0,19,0,54,0,35,27,0,2,0,93,0,1,0,98,17,21,0,1,32,0,1,0,54,0,35,27,21,16,33,0,21,48,6,32,0,8,0,9,33,0,15,50,0,28,16,0,9,32,0,8,17,33,0,22,48,0,12,33,0,18,50,6,34,0,17,0,9,34,0,8,17,0,50,0,13,26,16,0,11,0,69,0,54,0,22,27,0,52,0,2,0,53,0,50,0,0,26,27,27,0,19,21,34,0,22,0,29,16,0,12,34,0,15,17,33,0,23,48,17,0,44,0,1,26,0,69,17,0,44,0,41,26,32,0,1,17,33,0,24,48,6,32,0,18,0,32,16,33,0,25,48,6,32,0,18,0,29,0,69,17,0,32,16,0,25,0,53,0,13,27,32,0,25,17,33,0,26,48,6,32,0,25,34,0,5,0,54,0,35,27,0,2,0,1,21,32,0,26,17,0,1,33,0,26,50,6,34,0,1,0,35,32,0,25,17,32,1,33,16,33,0,27,48,6,32,1,22,32,1,26,32,0,27,17,0,28,16,0,12,32,1,21,0,36,16,0,14,32,0,27,17,17,33,0,28,48,6,32,1,30,0,14,32,0,27,17,33,0,29,48,6,32,1,24,0,36,0,52,0,44,0,1,26,0,24,0,19,21,27,32,1,21,17,32,1,26,32,0,27,17,0,11,34,0,28,17,0,10,32,0,29,17,33,0,30,48,0,11,0,53,0,29,27,16,33,0,31,48,6,32,1,23,0,49,0,0,26,16,0,0,0,59,17,0,14,32,0,27,17,33,0,32,48,6,32,1,24,0,36,16,0,14,32,0,27,17,33,0,33,48,6,32,0,32,0,12,32,0,30,17,0,19,0,32,0,10,21,0,28,0,32,0,20,21,0,69,21,0,11,0,32,21,32,0,31,17,0,49,0,10,26,0,58,1,11,27,16,6,32,0,27,0,32,32,0,31,17,0,44,0,1,26,32,1,23,0,36,16,17,0,44,0,3,0,51,0,5,27,26,32,1,7,17,0,2,32,0,29,0,32,32,0,31,17,0,8,16,17,33,0,34,48,6,32,1,23,0,36,16,0,0,32,1,7,17,0,16,32,0,27,17,0,9,32,0,30,17,0,2,32,1,7,17,0,1,33,0,27,50,6,32,0,30,0,28,16,0,12,32,0,33,17,0,49,0,10,26,0,58,1,12,27,16,6,32,0,33,0,10,0,53,0,29,27,16,0,13,33,0,31,50,6,34,0,33,0,32,32,0,31,17,0,20,0,0,0,8,0,54,0,2,27,21,0,68,0,16,32,0,34,17,0,2,0,70,17,17,33,0,35,48,0,11,0,68,17,33,0,36,48,6,32,0,36,0,8,16,0,22,0,68,17,0,35,32,0,31,0,50,0,0,26,16,17,0,9,32,0,30,17,33,0,37,48,0,12,32,0,30,17,33,0,38,48,6,32,0,30,0,2,32,0,27,17,0,22,0,53,0,68,27,0,32,32,0,37,0,22,0,68,17,0,28,0,54,0,10,27,16,0,11,32,0,32,0,22,0,68,17,17,21,0,52,32,1,43,27,32,0,26,17,33,0,39,48,6,34,0,34,0,32,32,0,36,17,0,14,0,53,0,70,27,0,54,0,9,27,0,0,0,20,21,32,0,38,0,11,0,53,0,28,27,16,0,44,0,32,26,32,0,32,17,17,33,0,40,48,6,32,0,37,0,12,32,0,31,17,0,50,0,0,26,16,0,2,32,0,32,0,12,32,0,38,17,17,33,0,41,48,0,11,0,53,0,50,0,6,26,0,29,20,27,16,33,0,42,48,6,32,0,29,0,32,32,0,42,17,0,11,32,0,35,0,32,34,0,36,17,0,14,0,69,17,17,33,0,43,48,6,32,0,31,33,0,44,48,0,9,34,0,37,17,0,10,32,0,42,17,33,0,31,49,6,32,0,29,0,32,32,0,31,17,0,8,16,0,44,0,32,26,33,0,35,50,0,32,0,53,0,11,0,53,0,68,27,27,16,0,14,0,69,17,33,0,45,48,6,32,0,43,0,22,0,68,17,0,35,32,0,41,17,0,11,0,53,32,0,42,27,0,10,0,13,0,53,32,0,29,27,21,16,0,9,32,0,32,0,12,34,0,38,17,17,0,49,0,10,26,0,58,1,13,27,16,6,34,0,42,0,11,32,0,29,17,0,32,16,32,0,27,0,54,0,35,27,0,12,32,1,23,0,36,16,21,0,11,32,0,45,21,0,54,0,20,0,49,0,10,26,20,0,58,1,14,27,27,16,6,34,0,43,0,8,16,0,2,0,53,0,50,0,0,26,27,16,0,22,0,68,17,0,44,0,1,26,0,69,17,0,35,33,0,41,50,6,32,1,9,0,35,32,0,27,17,0,41,34,0,41,17,0,41,0,70,0,22,34,0,45,17,17,0,36,0,55,0,22,0,53,32,0,4,27,27,16,33,0,46,48,6,34,0,18,0,29,16,0,50,0,0,26,16,0,35,34,0,23,0,32,16,0,22,34,0,20,17,17,0,22,34,0,29,0,12,32,0,31,17,0,32,16,0,35,0,53,0,34,27,34,0,35,17,17,33,0,47,48,6,34,0,39,34,0,21,34,0,24,11,3,0,22,34,0,46,17,33,0,48,48,6,32,0,48,0,46,0,37,26,16,33,0,49,48,0,44,0,46,0,32,0,53,0,50,0,6,26,0,29,0,59,21,0,12,0,20,21,27,26,26,33,0,48,50,6,32,0,48,0,36,0,53,0,69,27,0,55,34,0,3,27,16,33,0,48,49,6,32,1,24,32,1,26,32,0,27,17,0,10,32,0,30,17,0,8,16,33,0,50,48,6,34,0,44,0,10,32,0,50,17,0,44,0,32,26,33,0,26,50,6,34,0,30,0,28,0,54,0,12,27,16,0,10,32,0,50,17,0,44,0,32,26,33,0,25,50,6,32,0,27,0,35,0,53,34,0,47,27,0,55,32,0,48,0,46,0,13,26,16,33,0,51,48,0,29,32,1,36,17,0,50,0,0,26,16,0,0,34,0,49,17,0,22,16,0,26,0,53,0,13,27,34,0,4,17,27,16,0,32,34,0,50,0,10,32,0,31,17,17,33,0,27,49,6,32,1,14,0,36,0,54,0,1,27,0,2,32,1,26,21,32,0,27,17,0,1,33,0,27,50,6,32,1,27,0,14,32,0,27,17,0,44,0,22,26,0,13,0,22,21,0,69,17,0,32,16,0,26,0,69,17,0,26,0,59,17,33,0,52,48,0,46,0,69,26,16,0,50,0,13,26,16,33,0,53,48,6,32,1,17,0,36,16,0,0,0,74,0,71,0,63,11,3,17,33,0,54,48,6,32,0,27,0,35,32,0,53,0,1,32,0,52,17,17,0,0,0,53,32,0,53,27,0,44,0,39,26,34,0,54,21,0,10,32,1,15,0,54,32,1,26,27,21,16,0,28,0,54,0,10,27,16,0,12,34,0,53,17,0,44,0,32,26,34,0,52,17,33,0,55,48,6,32,1,27,0,13,32,0,27,17,0,35,0,53,34,0,55,27,0,55,0,46,0,69,26,27,16,0,44,1,15,26,33,0,27,50,6,34,0,51,0,25,0,70,17,0,49,0,0,26,16,0,24,32,1,36,17,32,1,26,32,0,27,17,0,10,32,1,30,0,14,32,0,27,17,17,33,0,56,48,6,0,68,0,22,32,1,37,17,0,35,32,0,27,0,5,32,1,36,17,17,0,32,0,53,34,0,56,27,0,55,34,0,40,27,16,33,0,57,48,6,32,0,27,0,15,0,53,0,0,0,53,0,74,27,27,0,0,0,71,21,0,2,0,71,0,54,0,24,27,32,1,26,0,20,21,21,32,1,20,0,36,16,17,0,0,33,0,27,50,6,32,0,27,0,14,0,2,0,64,21,0,0,0,11,21,32,1,35,17,0,1,33,0,27,50,6,34,0,27,34,0,57,34,0,48,32,0,26,32,0,25,11,5,7,1,16,33,0,3,48,6,32,1,32,32,1,31,0,53,0,124,27,0,125,32,1,9,0,54,0,35,27,0,126,11,4,26,33,0,4,48,6,32,1,21,0,49,0,27,0,54,0,0,27,26,16,0,22,0,127,0,49,0,1,26,16,0,0,32,1,23,0,36,16,17,17,0,46,32,0,1,0,54,0,14,27,26,16,33,0,5,33,0,6,33,0,7,33,0,8,33,0,9,12,5,48,6,32,1,23,0,36,16,0,11,32,0,1,17,0,10,32,0,5,17,0,8,16,0,10,32,1,30,0,14,32,0,1,17,17,32,0,2,32,0,3,32,0,1,0,54,0,32,27,0,51,34,0,4,27,27,16,6,32,0,1,0,14,0,68,17,33,0,10,48,0,10,32,0,5,17,33,0,11,48,0,10,32,0,6,17,33,0,12,48,6,32,0,11,0,10,32,0,7,17,0,8,16,33,0,13,48,6,32,0,11,0,29,16,0,12,32,0,7,17,32,0,2,32,0,3,0,128,27,16,6,32,0,12,0,10,32,0,7,17,0,9,32,0,12,0,28,0,69,17,17,32,0,2,32,0,3,0,129,27,16,6,32,0,1,0,32,32,0,12,17,0,11,0,53,0,29,27,0,10,0,14,0,53,0,68,27,21,16,0,8,16,32,0,2,0,32,34,0,12,21,32,0,3,0,130,27,16,6,32,0,5,0,29,16,0,12,32,0,7,17,0,10,32,0,10,17,0,28,0,10,34,0,5,0,28,16,0,9,32,0,8,17,21,0,9,0,29,21,0,69,17,0,12,32,0,9,0,10,34,0,8,17,17,34,0,2,34,0,3,0,131,27,16,6,32,0,13,0,9,0,53,0,8,32,1,40,0,52,0,12,27,32,1,22,0,36,16,0,13,32,0,1,17,0,11,32,0,6,17,21,0,15,0,28,21,27,16,33,0,14,48,0,9,0,53,0,50,0,0,26,32,1,38,0,1,0,20,21,0,8,21,0,16,0,78,21,27,16,33,0,15,48,6,32,1,21,0,36,16,0,0,0,69,17,0,1,34,0,1,17,0,2,32,0,15,17,0,32,32,0,6,0,8,16,17,0,44,0,35,26,0,64,0,27,16,0,22,0,79,0,69,11,2,17,0,22,0,59,17,17,33,0,16,48,6,32,0,16,0,50,0,0,0,53,0,64,0,54,0,2,27,27,0,2,0,15,0,53,0,68,27,21,26,0,68,17,0,32,34,0,16,0,15,0,68,17,0,28,0,54,0,12,27,16,17,33,0,17,48,6,34,0,7,0,29,16,0,32,34,0,13,0,29,0,54,0,12,27,16,33,0,18,48,17,0,44,0,35,26,0,69,0,59,11,2,17,0,2,33,0,17,50,6,34,0,10,0,32,34,0,11,17,33,0,19,48,6,34,0,14,0,28,0,54,0,12,27,0,32,20,0,52,0,1,0,53,34,0,6,0,28,16,32,1,40,16,0,54,0,35,27,27,0,20,0,2,0,11,21,0,1,0,53,0,29,27,21,0,1,0,1,21,27,34,0,15,17,0,32,32,0,19,17,33,0,20,48,6,32,0,19,0,8,16,0,2,32,0,17,17,0,28,16,0,32,32,0,19,17,0,44,0,1,26,34,0,20,17,33,0,21,48,0,7,16,0,4,0,64,17,33,0,22,48,6,0,69,0,80,11,2,0,35,34,0,9,0,32,34,0,18,17,17,0,2,34,0,17,17,0,32,34,0,19,17,0,32,0,53,32,0,21,0,11,0,68,17,27,0,55,0,2,27,32,0,22,17,0,32,0,53,34,0,21,0,12,0,68,17,27,0,55,0,44,0,3,26,27,34,0,22,17,7,34,0,2,33,0,3,33,0,4,33,0,5,33,0,6,33,0,7,12,5,48,6,34,0,4,0,13,16,33,0,8,48,6,1,17,33,0,9,48,6,1,18,33,0,10,48,6,32,0,1,0,13,16,0,11,0,68,17,0,42,0,133,17,6,32,1,17,32,1,26,32,0,1,17,0,2,32,0,3,0,2,0,70,17,0,1,0,59,17,17,33,0,11,48,0,50,0,0,26,16,33,0,12,48,0,33,16,33,0,13,48,6,0,59,0,14,32,0,3,17,0,35,32,0,13,17,33,0,14,48,6,32,0,1,0,35,32,0,13,17,33,0,15,48,0,32,0,53,0,68,0,54,0,11,27,27,0,44,0,1,26,0,69,21,0,17,0,32,0,53,0,68,0,54,0,12,27,27,21,32,0,11,0,35,32,0,13,17,33,0,16,48,17,0,8,0,58,32,0,1,0,51,34,0,9,27,27,16,6,34,0,12,0,36,32,0,13,0,36,16,17,0,12,0,68,17,32,0,13,0,25,0,69,21,32,0,10,0,134,27,16,6,32,0,15,0,32,32,0,14,17,0,14,0,53,32,1,27,27,0,9,0,53,0,29,27,0,14,0,53,32,1,17,0,36,16,27,21,16,32,0,13,0,32,32,0,14,21,32,0,10,0,135,27,16,6,32,0,15,0,32,0,14,32,1,17,0,36,16,0,0,0,70,17,21,0,22,0,70,21,0,35,0,19,0,51,0,50,0,0,26,27,21,34,0,16,0,14,0,69,17,17,33,0,17,48,6,32,1,15,32,1,26,32,0,15,17,0,11,32,0,17,0,14,0,69,17,17,32,0,13,32,0,10,0,136,27,16,6,34,0,14,0,22,0,69,17,0,9,0,53,0,28,0,53,0,69,27,27,16,1,19,16,6,0,73,0,14,32,0,3,17,33,0,18,48,0,10,0,53,0,28,27,16,33,0,19,48,6,32,0,11,0,0,32,0,3,17,0,15,0,68,17,0,11,32,0,18,17,0,28,16,33,0,20,48,0,10,0,76,0,15,32,0,3,17,0,29,16,17,0,12,32,1,16,0,36,16,0,14,32,0,1,17,17,0,1,33,0,3,50,6,32,0,3,0,15,0,68,17,0,11,32,0,18,17,0,29,16,0,9,32,1,16,0,36,16,0,0,0,70,17,0,14,32,0,1,17,0,10,34,0,20,17,17,0,12,32,0,3,0,76,0,54,0,15,27,0,9,0,11,0,53,0,82,27,21,16,17,0,13,0,27,20,32,0,10,0,138,27,16,6,32,0,3,0,14,0,82,17,0,35,32,0,13,17,0,11,34,0,17,0,11,0,68,17,17,32,0,13,32,0,10,0,139,27,16,6,32,1,28,0,14,32,0,1,17,0,9,32,0,3,0,14,0,82,17,0,29,16,17,0,13,0,27,20,32,0,10,0,140,27,16,6,32,1,35,32,0,8,11,2,32,1,26,32,0,1,17,0,28,16,0,12,32,0,18,17,0,13,0,27,20,32,0,10,0,141,27,16,6,0,76,0,14,32,0,3,17,0,10,0,53,0,28,27,16,33,0,21,48,0,35,0,53,32,0,13,0,35,0,53,32,0,19,0,54,0,35,27,0,33,20,27,16,27,0,55,0,29,27,16,33,0,22,48,6,32,0,22,0,10,32,0,21,17,0,8,16,33,0,23,48,6,32,1,17,0,36,16,0,0,0,69,17,0,14,32,0,1,17,33,0,24,48,6,32,1,19,0,36,16,0,14,32,0,1,17,0,2,0,70,17,0,0,32,1,29,0,36,16,0,0,0,70,17,0,14,32,0,1,17,17,0,35,32,0,24,0,8,16,32,1,39,16,17,33,0,25,48,6,0,68,33,0,26,48,6,32,0,25,0,13,16,0,27,16,33,0,27,48,6,1,20,33,0,28,48,6,32,0,19,0,10,32,0,21,17,33,0,29,48,0,35,32,0,13,17,0,33,16,0,44,0,35,26,33,0,13,50,6,32,0,3,0,13,16,0,27,16,0,35,0,53,32,0,13,27,0,55,0,29,0,53,0,13,27,27,16,33,0,30,48,6,0,59,0,14,32,0,3,17,0,10,34,0,29,17,0,35,32,0,13,17,0,22,0,69,17,0,0,0,53,0,50,0,0,26,27,16,0,33,16,0,44,0,35,26,0,8,0,33,0,54,0,44,0,35,26,27,21,0,35,0,53,0,33,27,0,19,21,32,0,13,0,22,0,59,17,17,0,26,0,59,17,0,50,0,0,26,16,0,33,16,33,0,31,48,6,32,1,17,0,36,16,0,0,0,70,17,0,70,11,2,32,1,26,32,0,1,17,0,2,32,0,11,17,0,35,32,0,31,17,33,0,32,48,0,50,0,0,26,16,33,0,33,48,0,33,16,33,0,34,48,6,32,0,34,0,44,0,35,26,33,0,31,50,6,32,0,34,0,44,0,35,26,33,0,33,50,6,32,0,34,0,44,0,35,26,33,0,32,50,6,32,0,31,0,44,0,35,26,33,0,1,50,6,32,0,31,0,44,0,35,26,33,0,18,50,6,32,0,31,0,44,0,35,26,33,0,5,50,6,32,0,31,0,44,0,35,26,33,0,6,50,6,0,14,0,53,0,70,0,54,0,0,27,27,0,10,0,14,21,33,0,35,48,6,32,0,11,0,35,32,0,31,17,0,44,0,1,26,32,0,32,17,33,0,11,49,0,50,0,0,26,16,0,33,16,33,0,13,49,6,34,0,11,0,35,32,0,13,17,0,12,32,0,13,0,54,0,32,27,0,52,0,24,27,0,11,21,0,68,17,33,0,36,48,6,32,0,18,0,10,0,53,0,28,27,16,0,35,32,0,13,17,0,33,16,0,44,0,35,26,33,0,13,50,6,32,0,31,0,35,32,0,13,17,33,0,37,48,6,32,0,21,0,1,32,0,22,17,0,35,32,0,37,17,0,12,0,32,0,52,0,1,27,0,11,21,0,68,17,0,44,0,3,26,0,70,17,0,0,0,69,17,33,0,38,48,6,32,1,17,0,36,16,0,0,0,71,17,0,44,32,0,35,26,32,0,1,17,0,35,32,0,13,17,0,32,16,33,0,39,48,6,0,68,0,12,32,0,32,17,33,0,40,48,6,0,68,0,11,34,0,32,17,0,32,16,33,0,41,48,6,32,0,40,0,32,16,32,0,41,11,2,0,46,0,22,26,33,0,36,50,6,32,0,21,0,35,32,0,37,17,0,33,16,33,0,42,48,0,44,0,35,26,33,0,13,50,6,32,0,31,0,35,32,0,13,17,33,0,37,49,6,32,0,13,0,33,16,33,0,43,48,6,32,1,15,0,36,16,0,14,32,0,1,17,33,0,44,48,6,32,1,15,0,36,16,0,0,0,69,17,0,14,32,0,1,17,33,0,45,48,6,32,0,45,0,10,32,0,40,17,33,0,46,48,0,50,0,0,26,16,33,0,47,48,6,0,20,32,1,41,0,51,0,8,27,32,0,46,21,33,0,48,48,6,32,0,44,32,0,48,16,33,0,49,48,0,10,32,1,28,0,14,32,0,1,17,32,0,48,16,17,33,0,50,48,6,32,0,45,0,32,32,0,46,17,33,0,51,48,0,8,16,0,22,0,69,17,33,0,52,48,6,32,0,51,0,28,0,54,0,10,27,16,0,22,0,68,17,33,0,53,48,6,32,0,50,0,26,0,9,32,0,51,21,0,11,0,26,0,53,0,1,27,21,0,69,17,32,0,46,0,32,20,32,0,10,0,142,27,16,6,32,0,50,0,26,0,59,17,0,12,32,0,51,17,0,9,0,53,0,29,27,16,32,0,46,0,32,20,32,0,10,0,143,27,16,6,34,0,45,0,32,16,0,22,32,0,41,17,0,35,34,0,51,0,28,16,0,33,16,0,33,16,17,33,0,54,48,6,32,0,44,0,10,32,0,46,17,0,35,0,53,32,0,13,0,30,16,27,0,55,32,1,39,0,54,0,44,0,35,26,27,27,34,0,44,17,33,0,55,48,0,32,16,33,0,56,48,6,32,0,1,0,35,32,0,56,17,0,37,0,1,0,19,0,51,0,13,27,21,32,1,34,17,33,0,57,48,0,14,0,68,17,33,0,58,48,6,32,0,57,0,14,0,53,0,70,27,0,9,32,0,58,0,29,0,69,17,21,0,10,0,16,0,53,0,29,27,21,16,0,11,32,0,58,17,32,0,56,32,0,10,0,144,27,16,6,32,0,57,0,29,16,0,32,34,0,58,17,33,0,59,48,6,34,0,57,0,14,0,68,17,0,44,0,32,26,33,0,56,50,6,32,0,56,0,44,0,35,26,32,0,31,17,32,0,3,0,54,0,35,27,0,2,32,0,23,0,54,0,35,27,21,16,33,0,60,48,6,32,0,60,0,14,0,59,17,33,0,61,48,0,28,0,0,0,29,0,53,0,69,27,21,16,33,0,62,48,0,14,0,70,17,33,0,63,48,6,32,0,55,0,35,32,0,56,0,32,32,0,61,17,0,44,0,35,26,32,0,43,17,0,0,0,69,17,0,44,0,35,26,32,0,13,17,17,32,0,56,0,32,32,0,61,21,32,0,10,0,145,27,16,6,32,0,60,0,15,0,70,17,33,0,64,48,0,11,32,0,63,17,0,20,0,9,0,74,0,14,32,0,60,17,21,0,28,20,0,10,0,29,21,16,33,0,65,48,6,34,0,64,0,10,32,0,61,17,0,9,32,0,65,17,0,10,0,74,0,14,32,0,60,17,0,9,32,0,59,17,17,32,0,56,32,0,10,0,146,27,16,6,34,0,62,0,14,0,69,17,0,9,32,0,60,0,14,0,68,17,17,0,11,32,0,65,17,33,0,66,48,0,10,32,0,65,17,0,8,16,33,0,67,48,6,32,0,61,0,32,32,0,67,17,0,14,0,53,0,29,0,53,0,69,27,27,16,32,0,56,0,32,32,0,67,21,32,0,10,0,147,27,16,6,32,0,22,0,35,32,0,31,17,0,8,16,0,2,32,0,1,17,0,35,32,0,56,17,33,0,68,48,0,33,32,0,8,0,22,32,1,29,17,0,50,0,0,26,16,17,0,44,0,1,26,0,69,17,0,7,0,74,17,33,0,69,48,6,32,0,69,0,13,0,69,17,0,9,32,0,60,0,14,0,68,17,17,0,9,32,0,63,17,33,0,70,48,0,12,32,0,67,17,33,0,71,48,6,32,0,70,0,0,33,0,60,50,6,32,0,70,0,12,33,0,63,50,6,32,0,60,0,5,0,70,17,0,44,0,1,26,0,69,17,0,2,0,74,17,0,2,32,0,71,17,0,0,32,0,60,0,14,0,74,17,0,28,16,0,0,0,73,17,0,2,32,0,65,17,17,0,0,32,0,61,0,28,16,0,0,0,69,17,0,2,32,0,66,17,0,0,34,0,70,17,17,33,0,72,48,6,32,1,29,0,36,16,0,0,32,0,72,17,0,13,34,0,68,17,0,9,32,0,69,0,14,0,68,17,17,32,0,56,32,0,10,0,148,27,16,6,32,0,60,0,14,0,68,17,0,9,32,0,63,17,0,10,32,0,61,17,0,8,16,0,2,33,0,69,50,6,32,0,61,0,12,33,0,67,50,6,32,0,67,0,44,0,32,26,33,0,60,50,6,32,0,66,0,32,32,0,61,0,29,0,69,17,17,33,0,73,48,6,34,0,65,0,2,32,0,59,17,0,29,0,54,0,1,27,16,0,1,33,0,59,50,6,32,0,59,0,11,0,68,17,0,11,32,0,67,17,32,0,56,32,0,10,0,144,27,16,6,0,68,0,22,32,0,73,17,0,35,0,53,0,50,0,0,26,27,32,0,61,17,0,12,32,0,66,17,32,0,56,32,0,10,0,149,27,16,6,0,70,0,13,32,0,69,17,0,12,34,0,71,17,32,0,56,32,0,10,0,150,27,16,6,32,0,67,0,44,0,32,26,33,0,59,50,6,32,0,60,0,14,0,69,17,0,10,33,0,73,50,6,32,0,59,0,11,0,68,17,0,11,32,0,73,17,32,0,56,0,32,32,0,67,21,32,0,10,0,151,27,16,6,32,0,69,0,13,0,68,17,33,0,74,48,0,0,0,69,17,0,2,34,0,66,17,0,6,32,0,63,17,0,29,16,0,32,32,0,61,17,33,0,75,48,6,32,0,59,0,14,0,70,17,33,0,76,48,0,9,32,0,75,0,14,0,68,17,17,32,0,56,0,32,32,0,67,21,32,0,10,0,152,27,16,6,32,0,52,0,28,0,11,0,20,21,0,69,17,0,11,32,0,50,0,29,16,17,0,28,0,54,0,1,27,16,0,0,0,69,17,0,32,0,53,32,0,49,27,0,55,34,0,76,0,2,0,70,17,0,6,34,0,75,17,27,16,33,0,77,48,6,34,0,67,0,44,0,32,26,33,0,63,50,6,32,0,55,0,35,0,53,32,0,56,27,0,55,32,0,74,0,8,16,27,16,33,0,78,48,6,32,0,56,0,32,32,0,74,17,0,44,0,35,26,32,0,43,17,33,0,79,48,6,32,0,69,0,32,32,0,74,17,0,14,0,70,17,33,0,80,48,6,32,1,29,0,36,16,0,1,32,0,1,17,0,35,0,53,34,0,56,27,0,55,0,1,0,53,32,0,72,27,0,2,34,0,69,0,11,0,68,17,21,0,0,0,20,21,27,16,0,33,0,68,0,74,0,71,0,77,11,4,17,33,0,81,48,6,32,1,29,0,36,16,0,0,0,74,17,0,14,32,0,1,17,0,9,0,74,0,14,32,0,3,17,0,35,32,0,31,17,17,0,0,33,0,81,50,6,34,0,81,0,54,0,14,27,32,1,41,0,51,0,8,27,34,0,40,21,0,35,32,0,52,0,50,0,0,26,0,59,17,21,33,0,82,48,6,32,1,29,32,1,26,32,0,1,17,0,11,32,0,78,17,0,32,16,33,0,83,48,6,0,69,32,0,82,16,33,0,84,48,6,0,74,34,0,82,0,52,0,20,0,2,0,70,21,0,6,0,19,21,27,0,70,17,33,0,85,48,0,0,0,53,0,11,0,53,0,68,27,0,10,32,0,84,21,27,16,33,0,86,48,6,32,0,84,0,32,32,0,49,17,0,11,32,0,73,17,0,11,32,0,63,17,0,10,32,0,86,0,32,32,0,49,17,0,11,32,0,60,17,17,32,0,46,0,51,0,32,27,0,22,0,68,21,0,32,32,0,49,21,32,0,10,0,153,27,16,6,32,0,86,0,32,0,53,32,0,49,27,0,55,34,0,60,27,16,33,0,86,49,0,44,0,1,26,0,69,17,0,6,33,0,85,50,6,32,0,84,0,32,0,53,32,0,49,27,0,55,0,6,0,53,34,0,73,27,27,16,33,0,84,49,6,32,0,86,0,36,16,0,11,0,68,17,32,0,1,0,51,1,21,27,0,32,20,32,0,10,0,154,27,16,6,32,0,84,0,12,32,0,53,17,0,11,34,0,50,0,32,0,53,32,0,49,27,0,55,34,0,63,0,8,16,27,16,0,10,0,53,0,29,27,16,17,0,26,0,69,17,32,0,46,0,32,20,32,0,10,0,155,27,16,6,32,0,84,0,2,0,74,17,0,0,0,68,0,70,0,74,11,3,0,35,32,0,85,17,17,33,0,87,48,6,32,0,84,0,32,32,0,49,17,0,8,16,0,2,0,74,17,0,35,34,0,61,0,50,0,0,26,16,0,29,16,17,0,1,33,0,72,50,6,32,0,3,0,35,0,53,32,0,31,0,35,32,0,41,17,27,0,55,34,0,86,0,32,32,0,52,17,0,26,0,69,17,27,16,0,2,32,0,23,17,0,44,0,1,26,32,0,21,17,33,0,3,49,6,32,0,23,0,9,34,0,24,17,33,0,88,48,6,0,68,0,11,32,0,3,17,0,44,0,22,26,0,69,17,0,35,32,0,30,17,33,0,89,48,0,29,16,0,9,32,0,88,17,33,0,90,48,6,32,0,3,0,35,32,0,90,0,8,16,32,1,39,16,17,0,2,32,0,90,17,0,0,32,0,3,17,0,20,0,15,0,70,21,0,11,32,0,89,21,0,1,0,20,21,0,6,0,20,0,14,0,74,21,0,2,34,0,89,0,0,0,69,17,21,0,44,0,22,26,0,68,21,0,35,34,0,30,21,21,16,33,0,91,48,6,32,0,91,0,35,0,0,0,6,0,69,21,0,5,0,20,21,34,0,90,0,8,16,0,50,0,0,26,16,0,54,0,20,0,1,0,35,21,27,21,0,68,0,14,32,0,91,17,0,9,32,0,88,17,0,8,16,32,1,39,16,17,0,6,33,0,91,50,6,32,0,91,0,29,16,0,2,34,0,88,17,0,0,33,0,3,50,6,32,0,25,0,14,0,69,17,0,9,32,0,91,0,13,0,68,17,17,0,10,33,0,26,50,0,8,16,0,2,33,0,25,50,6,32,0,25,0,1,32,0,25,0,14,0,68,17,0,2,32,0,91,17,17,33,0,91,49,6,0,59,0,14,32,0,3,17,0,29,0,69,17,0,9,0,82,0,14,32,0,3,17,17,0,1,33,0,3,50,6,0,68,0,14,32,0,3,17,0,29,16,0,12,0,73,0,14,32,0,3,17,17,32,0,31,0,51,0,33,27,32,0,10,0,156,27,16,6,34,0,19,0,20,0,1,0,8,0,54,0,2,27,21,33,0,3,50,6,32,1,35,0,1,32,0,1,17,33,0,92,48,6,34,0,36,0,49,1,22,26,16,6,32,0,13,0,44,0,35,26,33,0,1,50,6,34,0,55,0,35,32,0,13,17,33,0,93,48,6,32,0,37,0,44,0,35,26,33,0,3,50,6,32,0,37,0,44,0,35,26,33,0,23,50,6,32,0,37,0,44,0,35,26,33,0,91,50,6,34,0,21,0,12,34,0,22,17,0,35,32,0,37,17,0,32,16,0,22,34,0,42,0,33,16,0,35,32,0,39,17,33,0,94,48,17,33,0,39,49,6,32,0,1,0,35,34,0,94,17,0,44,0,1,26,32,1,17,0,36,16,0,0,0,71,17,17,0,44,0,22,26,32,0,38,0,46,0,68,26,16,17,33,0,95,48,6,32,0,3,0,75,0,54,0,15,27,0,9,0,11,0,53,0,83,27,21,16,33,0,96,48,6,0,68,0,11,32,0,3,17,0,11,32,0,96,17,33,0,97,48,6,32,0,97,0,29,16,32,1,39,16,0,44,0,35,26,32,0,91,17,33,0,98,48,0,15,0,69,17,33,0,99,48,6,32,0,91,0,1,16,0,6,0,68,17,33,0,100,48,6,32,0,98,0,1,16,0,6,0,68,17,33,0,101,48,6,32,0,13,33,0,27,49,6,34,0,37,0,44,0,35,26,33,0,26,50,6,32,0,96,0,2,32,0,101,17,32,0,28,0,157,26,16,6,32,1,28,0,14,32,0,1,17,0,2,32,0,101,17,32,0,28,0,158,26,16,6,0,70,0,16,32,0,3,17,0,9,0,70,0,11,32,0,98,17,17,33,0,102,48,0,11,32,0,93,17,0,32,16,0,30,16,33,0,103,48,6,0,74,0,14,32,0,3,17,33,0,104,48,0,9,32,0,102,17,0,28,16,0,10,32,0,102,17,33,0,105,48,6,0,70,0,27,16,0,39,32,0,3,17,0,10,32,0,105,17,0,16,32,0,104,17,0,2,0,70,17,0,6,32,0,100,17,0,29,0,2,34,0,104,21,0,6,0,28,21,0,70,17,0,2,32,0,102,17,32,0,28,0,159,26,16,6,32,1,27,0,14,32,0,1,17,33,0,106,48,6,32,1,17,0,36,16,0,0,0,70,17,32,1,15,0,36,16,0,0,0,69,17,11,2,0,39,32,0,1,17,33,0,107,48,6,32,1,17,0,36,16,0,0,0,73,17,0,44,34,0,35,26,32,0,1,17,33,0,108,48,32,1,39,0,52,0,11,27,32,0,107,17,0,9,32,0,106,17,33,0,109,48,6,0,68,0,14,32,0,3,17,0,11,0,53,0,10,0,53,0,29,27,27,32,0,105,17,0,28,0,54,0,9,27,16,32,0,13,32,0,10,0,160,27,16,6,32,1,16,0,36,16,0,0,0,70,17,0,14,32,0,1,17,33,0,110,48,6,0,69,0,16,34,0,91,17,0,28,16,0,9,32,0,110,17,0,11,32,0,99,17,33,0,111,48,6,32,0,97,0,29,0,69,17,0,9,33,0,110,50,6,32,0,110,0,11,32,0,111,17,32,0,13,32,0,10,0,161,27,16,6,32,0,111,0,10,32,0,105,17,0,8,16,0,30,0,55,32,1,38,0,1,0,19,21,0,53,0,13,0,51,0,27,27,27,27,16,33,0,112,48,6,32,0,96,0,32,16,33,0,113,48,0,0,0,53,32,0,112,0,54,0,35,27,27,16,0,0,0,69,17,33,0,114,48,6,0,69,0,22,32,0,97,17,0,35,32,0,114,17,32,0,13,0,35,0,53,0,69,0,54,0,1,27,27,32,0,114,21,32,0,10,0,162,27,16,6,32,0,3,0,35,32,0,113,17,0,13,0,82,17,33,0,115,48,6,32,0,3,0,35,32,0,114,17,33,0,116,48,6,32,0,98,0,35,32,0,114,17,0,6,0,68,17,0,13,32,0,116,17,0,9,32,0,115,17,32,0,13,0,35,32,0,114,21,32,0,10,0,163,27,16,6,32,0,1,0,35,32,0,113,17,0,44,0,1,26,32,1,16,0,36,16,17,0,0,32,0,111,0,35,32,0,113,17,17,0,0,34,0,116,0,15,0,68,17,17,0,0,32,0,115,17,33,0,117,48,6,32,0,79,0,22,33,0,114,50,6,32,0,1,0,46,0,68,26,16,0,35,0,53,32,0,114,27,0,55,32,0,79,0,46,0,77,26,16,0,22,32,0,117,17,27,16,0,1,0,53,0,28,27,16,33,0,118,48,6,32,0,118,0,35,32,0,43,17,0,2,0,53,0,50,0,0,26,0,14,0,68,21,0,10,0,53,0,29,0,53,0,69,27,27,20,27,16,0,50,0,0,26,16,0,29,16,33,0,118,49,0,35,32,0,13,17,33,0,119,48,0,11,0,68,17,33,0,120,48,6,32,0,119,0,14,0,71,17,33,0,121,48,6,32,0,100,0,14,0,70,17,0,9,32,0,120,17,33,0,122,48,0,9,32,1,19,0,36,16,0,14,32,0,1,17,17,0,32,16,33,0,123,48,6,32,0,109,0,10,32,0,108,17,0,29,16,0,15,32,0,23,17,0,11,32,0,122,17,0,2,32,0,100,17,34,0,28,0,164,26,16,6,32,0,122,0,9,32,0,121,17,32,0,13,32,0,10,0,165,27,16,6,32,0,97,0,28,0,69,17,0,9,32,1,17,0,36,16,0,0,0,77,17,0,14,32,0,1,17,17,0,11,32,0,120,0,11,32,0,121,17,17,32,0,13,32,0,10,0,166,27,16,6,32,0,118,0,14,0,77,17,0,2,0,74,17,0,1,33,0,118,50,6,34,0,119,0,14,0,77,17,33,0,124,48,6,32,0,100,0,14,0,69,17,0,2,32,0,120,17,0,6,33,0,26,50,6,32,1,16,0,36,16,0,44,0,1,26,32,1,35,17,0,14,32,0,92,17,0,11,32,0,118,17,32,0,48,16,33,0,125,48,6,32,0,26,0,35,32,0,43,17,34,0,48,16,33,0,126,48,6,32,0,31,0,35,32,0,54,17,0,22,0,68,17,0,44,0,1,26,0,69,17,1,23,16,6,32,0,126,33,0,127,48,6,32,0,52,32,1,40,0,52,0,16,27,33,0,126,50,6,0,68,0,14,32,0,77,17,0,9,32,0,126,17,0,26,0,69,17,32,0,46,0,32,20,32,0,10,0,168,0,155,11,2,0,56,0,11,0,53,34,0,127,0,26,0,69,17,27,0,49,0,10,26,20,27,27,16,6,32,0,126,0,2,0,70,17,0,6,33,0,77,50,6,32,0,84,0,2,33,0,77,50,6,32,0,77,0,14,0,70,17,0,35,32,0,47,17,0,35,32,0,13,17,33,0,128,48,6,32,0,128,0,14,0,1,0,19,21,33,0,100,50,6,34,0,128,0,14,0,1,0,19,21,33,0,101,50,6,32,1,35,0,1,32,0,1,17,32,0,8,0,54,0,11,27,0,9,0,15,0,53,0,84,27,21,16,33,0,129,48,6,32,1,35,0,0,32,0,8,17,0,16,32,0,1,17,0,9,32,0,124,17,33,0,130,48,0,32,16,33,0,131,48,6,32,1,17,32,1,26,0,11,0,36,0,0,0,74,21,0,54,0,14,27,21,32,0,1,17,0,10,32,1,18,0,36,16,0,14,32,0,1,17,0,28,16,0,12,32,0,97,17,17,0,10,34,0,130,17,0,10,32,0,129,17,0,11,0,68,0,16,32,0,3,17,0,9,32,0,120,17,0,28,16,0,11,32,0,97,17,0,11,32,0,93,17,17,33,0,132,48,6,34,0,122,0,10,34,0,132,17,0,10,32,0,96,17,0,11,32,0,102,0,10,34,0,124,17,0,12,32,0,105,17,0,10,32,0,18,0,35,32,0,13,17,17,17,0,12,32,0,120,17,32,0,13,32,0,10,0,169,27,16,6,32,0,120,0,35,32,0,113,17,0,11,0,70,0,14,34,0,117,17,0,11,34,0,121,0,35,32,0,113,17,17,17,32,0,13,0,35,32,0,113,21,32,0,10,0,170,27,16,6,32,0,120,0,12,0,53,0,29,27,16,0,9,32,0,3,0,15,0,68,17,17,0,9,32,0,98,0,11,0,68,17,17,0,11,32,0,93,17,32,0,13,32,0,10,0,171,27,16,6,32,0,120,0,35,32,0,113,17,33,0,133,48,0,12,33,0,115,50,6,32,0,113,0,32,34,0,133,17,33,0,134,48,6,32,1,17,0,36,16,0,0,0,73,17,0,14,32,0,1,17,0,10,32,0,109,17,0,29,16,0,9,34,0,23,17,0,9,34,0,129,17,0,35,0,69,0,1,32,0,134,17,17,0,8,16,32,0,13,0,35,32,0,134,21,32,0,10,0,172,27,16,6,32,0,115,0,44,0,32,26,33,0,113,50,6,32,0,79,0,46,0,69,26,16,0,22,34,0,115,17,0,44,0,32,26,33,0,114,50,6,34,0,18,0,29,16,33,0,135,48,0,32,16,33,0,136,48,6,32,0,92,32,0,8,0,54,0,11,27,0,9,0,15,0,53,0,68,27,21,16,0,11,34,0,96,0,9,32,0,120,17,0,28,16,0,35,32,0,43,17,0,10,34,0,135,17,0,10,34,0,78,17,17,0,32,16,33,0,137,48,6,32,0,118,0,35,32,0,83,17,33,0,138,48,0,11,0,68,17,33,0,139,48,6,0,70,0,70,11,2,32,1,26,34,0,118,0,35,32,0,137,17,33,0,140,48,17,33,0,141,48,6,0,73,0,11,34,0,138,17,0,9,32,0,139,17,32,0,83,32,0,10,0,173,27,16,6,32,0,47,0,35,32,0,137,17,33,0,142,48,6,32,0,92,0,35,32,0,137,17,33,0,143,48,6,32,0,7,0,13,16,0,11,32,0,143,17,0,9,32,0,142,0,14,0,68,17,17,0,9,32,0,141,17,33,0,144,48,6,32,0,7,0,35,32,0,143,0,32,32,0,144,17,17,33,0,145,48,0,14,0,68,17,32,0,137,0,32,32,0,144,21,32,0,10,0,174,27,16,6,32,0,141,0,32,0,53,34,0,144,27,0,55,34,0,145,0,15,0,68,17,27,16,33,0,141,49,6,0,68,0,15,32,0,7,17,0,32,16,33,0,146,48,0,46,0,68,26,16,33,0,147,48,6,32,0,143,0,32,32,0,141,17,33,0,148,48,0,22,32,0,146,17,0,41,32,0,87,0,13,16,0,22,32,0,142,0,32,32,0,141,17,33,0,149,48,17,0,22,32,0,147,17,33,0,150,48,17,33,0,151,48,6,32,0,34,0,35,34,0,54,17,0,44,0,1,26,0,69,17,0,22,32,0,1,0,13,16,17,0,35,32,0,149,17,0,22,34,0,34,0,32,34,0,46,17,0,22,0,59,17,0,35,34,0,142,17,0,0,32,0,140,0,14,0,69,17,17,17,33,0,152,48,6,32,0,152,0,33,16,0,35,0,53,32,0,148,0,22,32,0,143,17,33,0,153,48,0,54,0,35,27,0,33,20,27,16,33,0,154,48,6,32,0,154,0,32,0,53,0,15,0,53,32,0,141,0,13,16,27,27,16,1,24,16,6,32,0,154,0,35,34,0,148,0,46,0,59,26,16,0,22,32,0,141,17,0,35,32,0,154,17,0,50,0,0,26,16,33,0,155,48,0,33,16,17,0,32,0,53,32,0,141,0,13,16,0,54,0,11,27,27,16,33,0,154,49,6,32,0,154,0,44,0,35,26,33,0,141,50,6,32,0,154,0,44,0,35,26,33,0,137,50,6,32,0,154,0,44,0,35,26,33,0,140,50,6,34,0,155,0,11,0,68,17,0,10,0,53,0,29,27,16,0,8,16,0,49,0,0,26,16,33,0,156,48,6,34,0,143,0,35,32,0,154,0,25,32,0,156,17,17,33,0,157,48,6,32,0,7,0,13,16,0,16,32,0,157,17,32,0,137,0,25,32,0,156,21,32,0,10,32,0,157,0,54,0,32,27,0,40,20,32,1,31,0,175,21,27,16,6,32,0,140,0,11,0,68,17,33,0,158,48,0,9,0,74,0,11,34,0,140,17,17,33,0,159,48,6,34,0,33,0,35,32,0,137,17,0,35,0,53,32,0,141,32,1,39,16,0,26,32,0,156,17,27,0,22,34,0,7,0,6,0,68,17,0,1,16,33,0,160,48,0,35,32,0,157,17,21,0,1,0,20,21,16,33,0,161,48,6,32,0,161,0,11,0,68,17,0,9,32,0,159,17,32,0,137,32,0,10,0,176,27,16,6,34,0,159,32,1,41,0,26,0,69,21,0,16,0,32,21,32,0,141,17,33,0,162,48,0,35,34,0,154,0,32,32,0,141,17,0,33,16,33,0,163,48,17,0,22,34,0,147,17,0,41,34,0,150,17,33,0,164,48,6,34,0,149,0,22,34,0,160,17,0,38,0,0,32,0,87,0,54,0,35,27,21,16,0,20,0,26,0,53,0,13,27,34,0,146,21,0,35,0,53,0,33,27,34,0,163,21,0,35,32,0,141,0,26,34,0,156,17,0,50,0,0,26,0,59,17,21,0,22,0,35,0,53,34,0,157,27,21,16,33,0,165,48,6,32,0,161,0,11,0,68,17,32,1,41,0,11,34,0,162,0,22,0,69,17,21,0,35,0,53,0,50,0,0,26,27,0,19,21,32,0,141,17,0,9,32,0,141,0,28,0,69,17,0,11,32,0,158,17,17,33,0,166,48,6,32,0,92,0,35,32,0,83,17,0,0,0,74,17,0,0,32,0,84,0,2,0,74,17,0,35,32,0,47,0,35,32,0,83,17,33,0,167,48,17,17,33,0,168,48,6,34,0,167,0,2,0,77,17,0,0,32,0,168,17,0,30,0,55,0,39,27,16,0,22,33,0,166,50,6,0,69,0,1,32,0,79,17,0,44,0,35,26,32,0,13,17,0,0,0,69,17,32,0,136,32,0,83,0,22,32,0,137,17,11,3,0,32,0,74,0,70,0,74,11,3,17,0,22,16,33,0,169,48,6,34,0,139,0,22,34,0,158,17,0,12,0,2,0,70,21,0,0,0,20,21,34,0,166,17,0,0,0,85,17,33,0,170,48,6,32,0,79,0,46,0,85,26,16,32,0,79,0,46,0,68,26,16,34,0,72,0,32,34,0,74,17,32,0,136,0,46,0,81,26,16,34,0,92,0,35,34,0,136,17,34,0,170,34,0,83,0,46,0,68,26,16,0,22,34,0,161,17,34,0,168,0,22,34,0,165,17,11,8,33,0,171,48,6,32,0,105,0,8,16,0,50,0,0,26,16,32,1,38,0,1,0,20,21,32,0,97,17,0,7,0,10,0,12,21,0,70,17,0,9,32,0,99,17,33,0,172,48,6,34,0,102,0,29,16,0,10,0,69,0,14,32,0,3,17,17,33,0,173,48,0,11,32,0,120,0,11,32,0,97,17,0,10,0,53,0,28,27,16,0,10,32,0,105,17,0,10,34,0,172,17,0,10,32,0,93,17,33,0,174,48,17,0,32,16,33,0,175,48,6,34,0,173,0,10,34,0,174,17,0,12,32,0,99,17,32,0,13,32,0,10,0,177,27,16,6,0,68,0,14,32,0,3,17,0,11,32,0,105,17,0,10,0,68,0,16,32,0,3,17,0,9,34,0,99,17,17,0,8,16,0,2,0,70,17,0,6,34,0,100,17,0,28,0,70,17,0,35,32,0,175,17,33,0,176,48,0,13,0,70,17,33,0,177,48,6,32,1,27,0,11,32,0,1,17,0,11,34,0,93,17,0,32,16,33,0,178,48,0,44,0,35,26,32,0,1,17,33,0,179,48,0,40,16,0,9,16,33,0,180,48,0,44,0,37,26,34,0,179,17,33,0,181,48,6,34,0,8,0,0,32,1,35,17,33,0,182,48,0,16,32,0,1,17,0,32,16,33,0,183,48,0,22,34,0,178,17,33,0,184,48,6,32,0,1,0,35,34,0,183,17,0,0,32,0,180,0,13,16,0,44,0,1,26,34,0,182,17,17,0,22,33,0,181,50,6,34,0,43,0,35,34,0,41,17,33,0,185,48,6,0,68,0,22,32,0,109,17,0,50,0,0,26,16,0,32,0,69,0,22,32,0,108,17,17,0,26,0,69,17,0,29,0,54,0,1,27,16,0,0,34,0,97,0,28,0,69,17,0,32,34,0,108,17,0,8,16,17,0,44,0,22,26,34,0,38,17,33,0,186,48,6,0,83,0,14,32,0,3,17,0,29,16,0,10,34,0,109,17,0,10,32,0,101,0,14,0,70,17,17,0,12,34,0,106,17,0,32,16,0,22,32,0,79,0,32,0,53,0,8,27,32,0,80,17,17,33,0,187,48,6,34,0,107,0,32,16,33,0,188,48,6,32,1,28,0,14,32,0,1,17,0,32,16,33,0,189,48,6,32,0,177,0,0,32,0,175,17,0,0,0,53,32,0,112,0,54,0,35,27,0,2,32,0,177,21,27,16,33,0,190,48,6,32,0,190,0,32,34,0,101,0,35,32,0,175,17,33,0,191,48,0,14,0,70,17,33,0,192,48,0,2,32,0,177,0,0,0,69,17,17,17,0,22,33,0,187,50,6,32,0,192,0,8,16,33,0,192,49,6,32,0,192,0,44,0,32,26,33,0,175,50,6,32,0,192,0,44,0,32,26,33,0,190,50,6,34,0,80,0,1,16,0,22,34,0,110,0,0,32,0,111,17,0,0,32,0,1,17,0,35,32,0,113,17,0,44,0,1,26,32,1,16,0,36,16,0,0,0,69,17,17,0,6,0,68,17,17,0,0,0,86,17,33,0,193,48,6,32,0,184,32,0,184,32,0,185,32,0,185,32,0,131,32,0,123,32,0,39,0,32,0,70,17,32,0,114,32,0,187,32,0,189,0,69,0,0,32,0,134,17,0,69,0,0,32,0,134,17,34,0,112,0,35,32,0,103,17,0,6,0,69,17,0,0,32,0,103,17,34,0,190,32,0,188,11,15,33,0,194,48,0,22,16,0,44,0,35,26,32,0,13,17,0,22,32,0,169,17,33,0,195,48,0,33,16,33,0,196,48,6,34,0,184,0,46,0,68,26,16,34,0,181,32,0,185,0,46,0,69,26,16,34,0,185,0,13,16,0,27,16,0,0,0,69,17,34,0,131,0,46,0,87,26,16,34,0,123,0,46,0,88,26,16,34,0,186,0,23,34,0,120,0,35,34,0,39,17,0,0,34,0,95,17,0,0,0,66,17,17,0,31,16,0,21,16,34,0,193,34,0,187,0,46,0,77,26,16,34,0,189,0,46,0,89,26,16,32,0,134,0,46,0,90,26,16,34,0,1,0,35,0,69,0,1,34,0,134,17,17,0,44,0,1,26,32,1,35,17,34,0,3,0,35,32,0,103,17,0,0,0,62,17,34,0,98,0,35,32,0,175,17,0,11,0,68,17,0,2,0,73,17,0,0,34,0,176,0,14,0,69,17,0,6,34,0,191,17,0,2,0,70,17,0,0,34,0,177,17,0,32,34,0,192,17,17,0,0,0,91,17,32,0,125,0,0,0,63,17,33,0,197,48,0,26,0,59,17,11,15,0,22,34,0,171,17,0,22,16,0,35,32,0,196,17,33,0,198,48,6,34,0,194,0,46,0,13,26,16,0,22,34,0,169,0,13,16,17,0,35,0,46,0,27,0,54,0,0,27,26,0,50,0,0,26,0,29,20,0,54,0,35,27,21,0,72,0,65,0,92,11,3,17,33,0,199,48,6,34,0,195,0,35,0,53,32,0,199,0,22,16,27,0,55,34,0,113,34,0,79,11,2,0,46,0,13,26,16,0,44,0,32,26,0,69,0,68,11,2,17,0,1,34,0,114,17,34,0,103,32,0,175,11,3,0,22,16,0,44,0,35,26,32,0,13,17,27,16,33,0,200,48,6,32,0,5,32,0,6,11,2,0,46,0,35,0,53,0,35,0,53,32,0,196,27,0,44,0,22,26,0,59,21,27,26,32,0,200,34,0,200,0,35,0,53,34,0,199,0,36,0,59,17,27,0,55,34,0,111,0,10,34,0,105,17,0,8,16,0,29,16,32,1,39,16,0,35,34,0,175,17,0,44,0,35,26,32,0,13,17,27,16,11,2,17,33,0,201,48,6,32,0,49,0,32,0,53,34,0,49,27,0,55,32,0,59,27,16,33,0,59,49,0,11,0,68,17,0,10,32,0,77,0,13,0,69,17,0,9,32,0,84,17,17,0,10,33,0,53,50,6,32,0,53,0,32,16,33,0,202,48,0,44,0,35,26,34,0,77,17,33,0,203,48,0,14,0,69,17,0,0,0,69,17,33,0,204,48,0,32,16,33,0,205,48,6,34,0,203,0,11,0,69,17,0,0,34,0,59,0,35,32,0,202,17,0,2,0,70,17,17,0,5,0,73,17,33,0,206,48,6,32,0,52,0,35,32,0,202,17,33,0,207,48,0,50,0,0,26,0,59,17,33,0,208,48,6,32,0,206,0,0,34,0,204,17,0,35,0,53,0,34,0,51,0,35,0,53,32,0,208,0,54,0,35,27,0,33,20,0,32,34,0,207,21,27,27,27,16,0,6,32,0,84,0,32,32,0,53,0,9,32,0,52,17,17,0,8,16,0,1,0,70,17,17,33,0,209,48,6,32,0,202,0,35,32,0,205,17,0,41,32,0,209,0,50,0,0,26,16,0,22,0,68,17,0,26,0,35,34,0,208,21,0,0,34,0,206,21,0,35,0,0,0,19,0,51,0,38,27,21,34,0,205,21,0,44,0,22,26,0,25,21,0,59,17,17,0,41,0,53,0,32,27,34,0,209,17,33,0,202,49,6,34,0,85,0,32,32,0,52,17,34,0,84,0,8,16,0,32,32,0,52,17,32,0,52,0,32,16,0,32,0,53,34,0,53,0,32,34,0,52,17,27,0,55,34,0,202,27,16,11,3,33,0,210,48,6,34,0,188,0,13,0,52,0,1,27,32,0,198,17,0,16,34,0,196,17,0,22,0,69,17,0,32,16,32,0,151,0,46,0,13,26,16,0,0,34,0,87,17,34,0,151,34,0,164,11,4,33,0,211,48,6,34,0,197,0,36,0,59,17,0,22,34,0,198,17,34,0,180,34,0,210,34,0,211,34,0,201,11,5,7,11,0,0,46,0,178,0,51,0,42,27,26,11,0,0,68,0,27,16,11,4,33,0,3,48,6,34,0,2,0,13,0,11,0,73,21,0,58,0,24,27,16,0,43,34,0,3,26,0,26,0,13,21,0,54,0,22,27,16,33,0,4,33,0,5,33,0,6,33,0,7,12,4,48,6,34,0,1,32,1,42,34,0,5,32,0,6,11,2,17,33,0,8,48,33,0,9,33,0,10,33,0,11,33,0,12,33,0,13,12,5,48,6,34,0,9,32,1,44,34,0,10,32,0,11,0,36,16,34,0,12,34,0,13,34,0,6,0,46,0,68,26,16,0,29,34,0,7,17,11,5,17,33,0,14,33,0,15,33,0,16,33,0,17,33,0,18,12,5,48,6,34,0,14,34,0,11,0,26,0,69,17,0,22,34,0,4,0,35,34,0,15,17,11,1,17,0,22,16,34,0,16,0,12,16,0,31,16,0,45,0,11,26,16,34,0,17,0,12,16,0,31,16,0,45,0,11,26,16,34,0,18,34,0,8,11,6,7,34,0,1,34,0,2,16,7,32,0,2,0,35,32,0,1,17,0,22,34,0,1,17,0,36,0,53,0,59,27,0,52,0,13,27,0,58,34,0,0,27,34,0,2,0,44,0,35,26,16,17,7,34,0,1,0,32,16,0,36,16,0,119,11,2,0,42,16,7,34,0,1,0,22,0,68,17,0,35,0,53,0,50,0,0,26,27,32,1,31,17,0,9,32,1,32,17,0,44,0,32,26,32,1,26,17,0,120,11,2,0,42,16,7,32,1,26,0,32,34,0,1,17,0,121,11,2,0,42,16,7,32,1,26,0,32,34,0,1,17,0,122,11,2,0,42,16,7,34,0,2,0,32,34,0,1,17,0,44,0,35,26,32,1,26,17,0,123,11,2,0,42,16,7,32,0,2,0,44,0,32,26,33,1,26,50,6,32,0,2,0,44,0,32,26,33,1,25,50,6,34,0,1,0,32,34,0,2,17,7,0,49,0,10,26,0,58,34,0,1,0,24,34,0,2,0,54,0,32,27,21,0,42,20,27,7,32,0,1,0,54,0,36,27,33,0,3,48,6,0,26,0,25,11,2,0,46,1,25,26,16,33,0,4,33,0,5,12,2,48,6,0,36,0,55,0,26,0,53,0,59,27,27,0,24,20,33,0,6,48,6,0,46,0,25,26,0,30,20,0,46,0,22,26,0,46,0,26,26,21,0,53,0,59,0,68,11,2,27,33,0,7,48,6,1,26,33,0,8,48,6,32,2,17,32,2,26,34,0,1,17,0,32,16,0,30,16,0,49,0,46,34,0,8,26,0,22,20,0,32,0,53,0,46,0,36,26,0,39,20,27,20,0,25,0,53,0,13,0,5,0,81,21,27,20,26,0,68,0,27,16,0,44,0,24,26,16,0,24,16,17,0,46,0,22,26,16,0,36,0,53,0,46,0,13,26,0,49,0,5,26,0,37,0,20,21,0,36,20,20,27,16,33,0,9,48,6,0,69,32,0,9,32,1,10,34,0,9,32,2,31,0,132,17,27,16,7,0,14,0,58,0,49,0,10,26,27,0,58,34,0,1,0,24,34,0,2,0,54,0,32,27,0,44,0,69,0,57,0,35,27,26,0,43,32,1,6,26,0,23,32,1,5,21,21,0,31,0,51,0,9,27,20,21,0,42,20,27,7,32,1,15,0,22,0,68,17,0,32,32,0,1,17,0,12,32,2,17,0,36,16,0,0,0,73,17,17,32,1,13,0,22,0,68,21,0,32,34,0,1,21,32,1,10,0,137,27,16,7,34,0,1,0,6,33,1,26,50,0,14,0,70,17,32,1,27,32,1,10,34,0,4,27,16,7,32,2,29,32,2,26,34,0,1,17,0,9,32,1,47,0,14,0,68,17,17,7,32,1,5,0,35,0,53,32,0,1,27,0,55,32,1,5,0,35,32,0,2,17,27,16,33,1,5,49,6,32,1,6,0,35,0,53,34,0,2,27,0,55,32,1,6,0,35,34,0,1,17,27,16,33,1,6,49,7,32,1,25,0,35,32,0,1,17,0,2,0,53,0,8,27,32,1,125,17,0,6,33,1,126,50,0,14,0,70,17,32,1,31,0,51,0,33,27,0,35,34,0,1,21,32,1,10,0,167,27,16,7,32,1,152,0,35,0,53,32,0,1,27,0,13,0,53,0,29,27,20,0,52,0,10,27,32,1,153,17,0,8,16,32,1,137,0,32,0,53,32,1,141,27,0,54,0,22,27,20,0,35,34,0,1,21,32,1,10,0,174,27,16,7,0,44,0,24,34,0,1,20,0,54,0,46,0,22,26,27,26,0,24,20,7,34,0,1,32,1,4,32,1,5,0,20,32,1,6,20,32,1,7,0,54,34,0,0,27,0,22,32,1,5,21,11,2,0,56,0,36,0,36,0,59,21,0,54,32,1,3,0,52,0,1,27,27,0,13,0,69,21,27,11,2,0,56,0,20,0,51,0,36,0,51,0,13,27,27,0,11,0,68,21,27,11,2,0,56,32,1,3,0,7,0,70,21,27,34,0,2,19,7};l_;})),
m_caB(179,(B[]){incG(runtime[0]),incG(runtime[1]),incG(runtime[2]),incG(runtime[3]),incG(runtime[4]),incG(runtime[6]),incG(runtime[7]),incG(runtime[8]),incG(runtime[9]),incG(runtime[10]),incG(runtime[11]),incG(runtime[12]),incG(runtime[13]),incG(runtime[14]),incG(runtime[15]),incG(runtime[16]),incG(runtime[17]),incG(runtime[18]),incG(runtime[19]),incG(runtime[20]),incG(runtime[21]),incG(runtime[22]),incG(runtime[23]),incG(runtime[24]),incG(runtime[25]),incG(runtime[26]),incG(runtime[27]),incG(runtime[28]),incG(runtime[29]),incG(runtime[30]),incG(runtime[31]),incG(runtime[32]),incG(runtime[33]),incG(runtime[34]),incG(runtime[35]),incG(runtime[36]),incG(runtime[37]),incG(runtime[38]),incG(runtime[39]),incG(runtime[40]),incG(runtime[41]),incG(runtime[42]),incG(runtime[43]),incG(runtime[44]),incG(runtime[45]),incG(runtime[46]),incG(runtime[47]),incG(runtime[48]),incG(runtime[49]),incG(runtime[50]),incG(runtime[52]),incG(runtime[53]),incG(runtime[54]),incG(runtime[55]),incG(runtime[56]),incG(runtime[57]),incG(runtime[59]),incG(runtime[60]),incG(runtime[62]),m_f64(-1),m_f64(26),m_f64(23),m_f64(24),m_f64(7),m_f64(10),m_f64(13),m_f64(11),m_f64(9),m_f64(0),m_f64(1),m_f64(2),m_f64(5),m_f64(8),m_f64(4),m_f64(3),m_f64(-3),m_f64(-2),m_f64(6),m_f64(17),m_f64(3.141592653589793),m_f64(1.0/0.0),m_f64(64),m_f64(-4),m_f64(-5),m_f64(-6),m_f64(32),m_f64(48),m_f64(43),m_f64(44),m_f64(42),m_f64(66),m_f64(16),m_f64(14),m_c32(U'\0'),m_c32(U'0'),m_c32(U'#'),m_c32(U'\''),m_c32(U'\"'),m_c32(U'@'),m_c8vec("aA",2),m_c32vec(U"àÀ",2),m_c32vec(U"⋄,",2),m_c8vec(":;?",3),m_c32vec(U"⇐←↩",3),m_c32vec(U"(){}⟨⟩[]",8),m_c32vec(U"‿",1),m_c32vec(U"·",1),m_c32vec(U"𝕊𝕏𝕎𝔽𝔾𝕤𝕩𝕨𝕣𝕗𝕘",11),m_c32vec(U".¯π∞",4),m_c8vec("_",1),m_c32vec(U"•",1),m_c32vec(U"𝕨",1),m_c8vec(" ",1),m_c8vec("#\'\"@",4),m_c8vec("s",1),m_c8vec("Unknown character",17),m_c8vec(": ",2),m_c8vec("Character set conflict: ",24),m_c32vec(U"˜⁼",2),m_c8vec("Unclosed quote",14),m_c8vec("Words can\'t only have underscores",33),m_c8vec("System dot with no name",23),m_c32vec(U"𝕣 can\'t be used with other word characters",42),m_c8vec("Numbers can\'t start with underscores",36),m_c8vec("Letter",6),m_c8vec(" \"",2),m_c8vec("\" not allowed in numbers",24),m_c8vec("ea",2),m_c8vec("Negative sign in the middle of a number",39),m_c8vec("Portion of a number is empty",28),m_c8vec("Ill-formed decimal or exponent use",34),m_c32vec(U"π and ∞ must occur alone",24),m_c8vec("Unmatched bracket",17),m_c8vec("Empty program",13),m_c8vec("Swapped open and closed brackets",32),m_c8vec("Parentheses can\'t contain separators",36),m_c8vec("Punctuation : ; ? outside block top level",41),m_c8vec("Empty statement or expression",29),m_c8vec("Invalid assignment or stranding use",35),m_c8vec("Can\'t use export statement as expression",40),m_c8vec("Can\'t use export statement as predicate",39),m_c8vec("Dot must be followed by a name",30),m_c8vec("Header-less bodies must come last",33),m_c8vec("At most two header-less bodies allowed",38),m_c8vec("Invalid Undo header syntax",26),m_c8vec("Only one header per body allowed",32),m_c8vec("Missing operand in header",25),m_c8vec("Invalid header structure",24),m_c8vec("Incorrect special name",22),m_c8vec("Header left argument without right",34),m_c8vec("Header operation must be a plain name",37),m_c32vec(U"Header with ⁼ must take arguments",33),m_c32vec(U"Header with ˜⁼ must have left argument",38),m_c8vec("Block header type conflict",26),m_c8vec("Special name outside of any block",33),m_c8vec("Unreachable body",16),m_c8vec("Dot must be preceded by a subject",33),m_c32vec(U"Nothing (·) cannot be assigned",30),m_c32vec(U"Can\'t use Nothing (·) as predicate",34),m_c8vec("Missing operand",15),m_c32vec(U"Double subjects (missing ‿?)",28),m_c8vec("No right-hand side in non-modified assignment",45),m_c8vec("Assignment role mismatch or missing modified assignment target",62),m_c8vec("Role of the two sides in assignment must match",46),m_c32vec(U"Can\'t use Nothing (·) in lists",30),m_c32vec(U"Can\'t modify Nothing (·)",24),m_c8vec("Square brackets can\'t be empty",30),m_c32vec(U"Can\'t return Nothing (·)",24),m_c32vec(U"Invalid use of 𝕨 in monadic case",32),m_c8vec("Assignment target must be a name or list of targets",51),m_c32vec(U"Can\'t nest assignments (write aliases with ⇐)",45),m_c8vec("Can\'t use result of function/modifier assignment without parentheses",68),m_c32vec(U"Alias must have a name on the right and appear within ⟨⟩",56),m_c8vec("Can\'t define special name",25),m_c8vec("Redefinition",12),m_c8vec("Undefined identifier",20),m_c8vec("Can\'t export from surrounding scope",35),m_c8vec("Second-level parts of a train must be functions",47),m_c8vec("System values not supported",27)}),
m_caB(27,(B[]){m_lvB_3(m_f64(0),m_f64(1),m_f64(0)),m_lvB_3(m_f64(0),m_f64(0),m_f64(1)),m_lvB_3(m_f64(1),m_f64(0),m_f64(2)),m_lvB_3(m_f64(1),m_f64(1),m_f64(3)),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(4))),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(5))),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(6))),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(7))),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(8))),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(9))),m_lvB_3(m_f64(0),m_f64(0),m_f64(10)),m_lvB_3(m_f64(0),m_f64(0),m_f64(11)),m_lvB_3(m_f64(0),m_f64(0),m_f64(12)),m_lvB_3(m_f64(0),m_f64(0),m_f64(13)),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(14))),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(15))),m_lvB_3(m_f64(2),m_f64(1),m_f64(16)),m_lvB_3(m_f64(0),m_f64(0),m_f64(17)),m_lvB_3(m_f64(2),m_f64(1),m_f64(18)),m_lvB_3(m_f64(0),m_f64(0),m_f64(19)),m_lvB_3(m_f64(1),m_f64(0),m_f64(20)),m_lvB_3(m_f64(0),m_f64(0),m_f64(21)),m_lvB_3(m_f64(0),m_f64(0),m_lvB_2(m_lvi32_0(),m_lvi32_1(22))),m_lvB_3(m_f64(0),m_f64(0),m_f64(23)),m_lvB_3(m_f64(0),m_f64(0),m_f64(24)),m_lvB_3(m_f64(0),m_f64(0),m_f64(25)),m_lvB_3(m_f64(0),m_f64(0),m_f64(26))}),
m_caB(27,(B[]){m_lvi32_2(0,0),m_lvi32_2(3,46),m_lvi32_2(661,5),m_lvi32_2(680,6),m_lvi32_2(851,58),m_lvi32_2(3054,23),m_lvi32_2(3879,212),m_lvi32_2(12800,19),m_lvi32_2(13038,3),m_lvi32_2(13046,3),m_lvi32_2(13090,3),m_lvi32_2(13107,3),m_lvi32_2(13152,3),m_lvi32_2(13169,3),m_lvi32_2(13186,3),m_lvi32_2(13212,3),m_lvi32_2(13248,3),m_lvi32_2(13274,10),m_lvi32_2(13495,3),m_lvi32_2(13557,3),m_lvi32_2(13607,5),m_lvi32_2(13633,3),m_lvi32_2(13655,3),m_lvi32_2(13713,3),m_lvi32_2(13766,3),m_lvi32_2(13828,3),m_lvi32_2(13849,3)})