uCBQN/build/c.c

321 lines
47 KiB
C
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

B iarrs[56];
static const i32 iarrs_data[] = {
// 0
3, // 1
4, // 2
5, // 3
6, // 4
7, // 5
8, // 6
13, // 7
14, // 8
22, // 9
0,43, // 10
663,5, // 11
682,7, // 12
915,59, // 13
3091,30, // 14
4076,215, // 15
13165,19, // 16
13406,3, // 17
13414,3, // 18
13458,3, // 19
13475,3, // 20
13492,3, // 21
13537,3, // 22
13554,3, // 23
13580,3, // 24
13616,3, // 25
13642,5, // 26
13773,10, // 27
13994,3, // 28
14056,3, // 29
14106,5, // 30
14132,3, // 31
14154,3, // 32
14212,3, // 33
14265,3, // 34
14327,3, // 35
14348,3, // 36
0,1,0, // 37
1,0,1, // 38
1,1,2, // 39
0,0,9, // 40
0,0,10, // 41
0,0,11, // 42
0,0,12, // 43
2,1,15, // 44
0,0,16, // 45
0,0,17, // 46
2,1,18, // 47
0,0,19, // 48
1,0,20, // 49
0,0,21, // 50
0,0,23, // 51
0,0,24, // 52
0,0,25, // 53
0,0,26, // 54
0,103,0,104,0,105,11,3,33,0,0,33,0,1,33,0,2,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,107,17,0,45,0,22,26,0,60,0,27,16,0,47,0,0,26,0,106,17,17,33,0,3,48,0,18,16,0,36,0,59,17,33,0,4,48,6,0,64,0,65,11,2,0,0,0,97,17,33,0,5,48,6,34,0,0,32,0,1,34,0,2,32,0,5,0,22,0,108,17,0,109,0,110,0,111,0,112,0,113,0,114,0,21,0,66,0,51,11,2,17,0,45,0,35,26,0,59,17,0,115,0,64,0,27,16,0,0,0,98,17,34,0,3,0,21,16,0,44,0,22,26,0,116,17,0,67,0,0,0,97,17,0,22,0,119,17,0,22,0,118,0,26,0,59,17,17,0,22,0,117,17,0,120,11,15,0,46,0,13,26,0,24,0,22,21,16,33,0,6,33,0,7,12,2,48,6,32,0,7,0,50,0,0,26,0,29,0,68,21,0,54,0,44,0,46,0,24,26,26,27,16,33,0,8,33,0,9,33,0,10,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,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,23,48,6,32,0,11,0,36,16,33,0,24,48,6,32,0,12,0,36,16,0,0,0,70,17,33,0,25,48,6,0,71,0,1,0,54,0,24,27,16,0,0,32,0,17,17,33,0,26,48,6,32,0,17,0,36,16,0,0,0,72,17,33,0,27,48,6,0,13,0,11,0,69,21,0,44,0,32,26,0,121,21,0,54,0,22,27,33,0,28,48,6,1,1,33,0,29,48,6,1,2,32,0,6,26,33,0,30,48,6,0,126,0,32,0,53,34,0,1,0,54,0,39,27,27,16,32,0,30,16,33,0,31,48,6,32,0,18,0,36,16,33,0,32,48,0,0,0,69,17,33,0,33,48,6,0,69,0,70,0,75,0,59,0,59,0,76,0,59,0,68,11,2,0,77,0,68,0,71,0,78,11,2,0,32,16,0,8,16,11,10,0,43,34,0,7,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,74,17,33,0,34,48,6,0,2,0,50,0,6,26,20,33,0,35,48,6,32,0,35,0,53,0,13,0,51,0,27,27,27,33,0,36,48,6,32,0,35,0,53,0,13,0,51,0,27,27,0,0,0,69,21,27,33,0,37,48,6,0,19,0,32,0,10,21,0,44,0,22,26,0,32,0,22,21,0,69,21,33,0,38,48,6,1,3,33,0,39,48,6,1,4,33,0,40,48,6,1,5,33,0,41,48,6,1,6,33,0,42,48,7,34,0,1,0,11,16,0,46,1,7,26,34,0,4,17,0,22,16,7,0,19,0,22,0,22,21,0,53,0,122,27,0,20,0,13,0,54,0,11,27,0,58,0,40,0,54,0,20,0,25,0,13,0,54,0,5,27,21,27,27,0,73,21,11,2,0,56,0,13,0,11,0,69,21,27,33,0,2,48,6,32,1,29,32,1,28,0,53,0,123,27,0,124,34,0,2,11,3,26,0,42,20,33,0,3,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,3,27,27,27,0,19,0,20,21,33,0,4,48,6,32,0,1,0,35,34,0,1,0,33,16,33,0,5,48,17,33,0,6,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,6,21,0,22,0,125,21,0,42,20,27,16,6,0,20,0,33,34,0,6,21,0,6,0,69,21,0,44,0,1,26,0,69,21,0,44,0,35,26,34,0,5,21,34,0,4,0,20,21,7,34,0,2,33,0,3,33,0,4,12,2,48,6,0,99,0,14,32,0,1,17,33,0,5,48,6,0,100,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,101,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,5,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,8,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,9,27,16,6,0,102,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,97,0,1,0,102,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,30,16,33,0,27,48,6,32,1,19,32,1,23,32,0,27,17,0,28,16,0,12,32,1,18,0,36,16,0,14,32,0,27,17,17,33,0,28,48,6,32,1,27,0,14,32,0,27,17,33,0,29,48,6,32,1,21,0,36,0,52,0,44,0,1,26,0,24,0,19,21,27,32,1,18,17,32,1,23,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,20,0,49,0,0,26,16,0,0,0,59,17,0,14,32,0,27,17,33,0,32,48,6,32,1,21,0,36,16,0,14,32,0,27,17,33,0,33,48,6,32,0,30,0,10,32,0,33,17,0,28,0,9,0,29,21,0,54,0,9,27,0,10,0,11,21,32,0,32,17,0,28,0,10,0,29,21,16,0,10,32,0,32,0,28,0,11,0,29,21,16,17,0,9,32,0,29,17,0,49,0,10,26,0,58,1,10,27,16,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,20,0,36,16,17,0,44,0,3,0,51,0,5,27,26,32,1,4,17,0,2,32,0,29,0,32,32,0,31,17,0,8,16,17,33,0,34,48,6,32,1,20,0,36,16,0,0,32,1,4,17,0,16,32,0,27,17,0,9,32,0,30,17,0,2,32,1,4,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,32,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,40,27,32,0,26,17,33,0,39,48,6,34,0,34,0,32,34,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,29,0,28,16,0,9,32,0,32,17,0,10,32,0,29,17,33,0,41,48,0,10,32,0,37,17,0,12,32,0,31,17,33,0,42,48,6,32,0,42,0,50,0,0,26,16,0,2,32,0,29,0,10,32,0,32,17,0,12,34,0,38,17,17,33,0,43,48,0,11,0,53,0,50,0,6,26,0,29,20,27,16,33,0,44,48,6,32,0,31,0,9,34,0,37,17,0,10,32,0,44,17,33,0,45,48,6,34,0,33,0,32,34,0,42,17,33,0,46,48,6,34,0,44,0,32,16,32,0,27,0,54,0,35,27,0,12,32,1,20,0,36,16,21,0,11,32,0,46,21,0,54,0,20,0,49,0,10,26,20,0,58,1,13,27,27,16,6,32,1,6,0,35,32,0,27,17,0,41,0,69,0,1,34,0,43,17,17,0,41,0,70,0,22,34,0,46,17,17,0,36,0,55,0,22,0,53,32,0,4,27,27,16,33,0,47,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,32,0,45,0,32,16,0,35,0,53,0,34,27,34,0,41,0,32,32,0,31,17,0,8,16,0,44,0,32,26,34,0,35,17,17,17,33,0,48,48,6,34,0,39,34,0,21,34,0,24,11,3,0,22,34,0,47,17,33,0,49,48,6,32,0,49,0,46,0,37,26,16,33,0,50,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,49,50,6,32,0,49,0,36,0,53,0,69,27,0,55,34,0,3,27,16,33,0,49,49,6,32,1,21,32,1,23,32,0,27,17,0,10,32,0,30,17,0,8,16,33,0,51,48,6,32,0,31,0,10,32,0,51,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,51,17,0,44,0,32,26,33,0,25,50,6,32,0,27,0,35,0,53,34,0,48,27,0,55,32,0,49,0,46,0,13,26,16,33,0,52,48,0,29,32,1,33,17,0,50,0,0,26,16,0,0,34,0,50,17,0,22,16,0,26,0,53,0,13,27,34,0,4,17,27,16,33,0,27,49,6,34,0,51,0,10,34,0,45,17,0,10,34,0,29,17,0,44,0,32,26,33,0,27,50,6,32,1,11,0,36,0,54,0,1,27,0,2,32,1,23,21,32,0,27,17,0,1,33,0,27,50,6,32,1,24,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,53,48,0,46,0,69,26,16,0,50,0,13,26,16,33,0,54,48,6,32,1,14,0,36,16,0,0,0,75,0,71,0,63,11,3,17,33,0,55,48,6,32,0,27,0,35,32,0,54,0,1,32,0,53,17,17,0,0,0,53,32,0,54,27,0,44,0,39,26,34,0,55,21,0,10,32,1,12,0,54,32,1,23,27,21,16,0,28,0,54,0,10,27,16,0,12,34,0,54,17,0,44,0,32,26,34,0,53,17,33,0,56,48,6,32,1,24,0,13,32,0,27,17,0,35,0,53,34,0,56,27,0,55,0,46,0,69,26,27,16,0,44,1,14,26,33,0,27,50,6,34,0,52,0,25,0,70,17,0,49,0,0,26,16,0,24,32,1,33,17,32,1,23,32,0,27,17,0,10,32,1,27,0,14,32,0,27,17,17,33,0,57,48,6,0,68,0,22,32,1,34,17,0,35,32,0,27,0,5,32,1,33,17,17,0,32,0,53,34,0,57,27,0,55,34,0,40,27,16,33,0,58,48,6,32,0,27,0,15,0,53,0,0,0,53,0,75,27,27,0,0,0,71,21,0,2,0,71,0,54,0,24,27,32,1,23,0,20,21,21,32,1,17,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,32,17,0,1,33,0,27,50,6,34,0,27,34,0,58,34,0,49,32,0,26,32,0,25,11,5,7,1,15,33,0,3,48,6,32,1,29,32,1,28,0,53,0,132,27,0,133,32,1,6,0,54,0,35,27,0,134,11,4,26,33,0,4,48,6,32,1,18,0,49,0,27,0,54,0,0,27,26,16,0,22,0,135,0,49,0,1,26,16,0,0,32,1,20,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,20,0,36,16,0,11,32,0,1,17,0,10,32,0,5,17,0,8,16,0,10,32,1,27,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,136,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,137,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,138,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,139,27,16,6,32,0,13,0,9,0,53,0,8,32,1,37,0,52,0,12,27,32,1,19,0,36,16,0,13,32,0,1,17,33,0,14,48,0,11,32,0,6,17,21,0,15,0,28,21,27,16,33,0,15,48,0,11,0,53,32,0,6,27,0,50,0,0,26,20,32,1,35,0,1,0,20,21,0,8,21,16,33,0,16,48,6,34,0,14,0,10,32,0,15,17,0,8,16,0,30,0,55,0,50,0,0,26,32,1,35,0,1,0,20,21,0,8,21,0,29,20,27,16,0,2,32,0,6,17,33,0,17,48,6,34,0,17,0,1,32,0,16,17,0,32,0,53,32,0,15,0,28,0,54,0,12,27,16,0,10,32,0,6,17,27,0,52,0,32,0,53,0,29,0,53,0,69,27,27,0,24,0,32,21,0,53,0,8,27,27,32,0,6,17,33,0,18,33,0,19,12,2,48,6,0,64,0,27,16,0,22,0,79,0,69,11,2,17,0,22,0,59,17,0,54,0,35,27,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,21,0,32,0,14,0,53,0,68,27,0,28,0,69,21,21,33,0,20,48,6,0,2,0,53,32,1,18,0,36,16,0,0,0,69,17,0,1,34,0,1,17,27,0,32,0,11,0,53,34,0,6,27,0,10,0,12,0,53,0,28,27,21,21,34,0,20,20,33,0,21,48,6,34,0,15,32,0,21,1,16,11,2,0,56,0,80,0,12,32,0,18,17,0,49,0,10,26,16,27,16,33,0,22,48,6,34,0,7,0,29,16,0,32,34,0,13,0,29,0,54,0,12,27,16,33,0,23,48,17,0,44,0,35,26,0,69,0,59,11,2,17,0,2,34,0,22,17,33,0,24,48,6,34,0,10,0,28,0,29,0,69,21,0,52,0,32,27,34,0,11,17,33,0,25,48,6,0,69,0,83,11,2,0,35,34,0,9,0,32,34,0,23,17,17,0,2,32,0,24,17,0,32,32,0,25,17,33,0,26,48,6,32,0,25,0,8,16,0,2,34,0,24,17,0,28,16,0,44,0,1,26,34,0,19,0,1,32,0,18,17,17,0,32,34,0,25,17,33,0,27,48,6,0,84,0,6,32,0,27,17,33,0,28,48,0,1,32,0,27,17,0,0,34,0,27,0,6,0,68,17,17,33,0,29,48,6,34,0,26,0,32,0,53,32,0,29,0,13,0,68,17,27,0,55,0,2,0,53,0,4,0,53,0,64,27,27,27,34,0,29,17,0,32,0,53,32,0,28,0,12,0,68,17,27,0,55,0,44,0,1,0,4,0,64,21,0,54,0,3,27,26,27,34,0,28,17,7,34,0,2,33,0,3,33,0,4,33,0,5,33,0,6,33,0,7,12,5,48,6,1,17,33,0,8,48,6,1,18,33,0,9,48,6,32,0,1,0,13,16,0,11,0,68,17,0,42,0,141,17,6,32,1,14,32,1,23,32,0,1,17,0,2,32,0,3,0,2,0,70,17,0,1,0,59,17,17,33,0,10,48,0,50,0,0,26,16,33,0,11,48,0,33,16,33,0,12,48,6,0,59,0,14,32,0,3,17,0,35,32,0,12,17,33,0,13,48,6,32,0,1,0,35,32,0,12,17,33,0,14,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,10,0,35,32,0,12,17,33,0,15,48,17,0,8,0,58,32,0,1,0,51,34,0,8,27,27,16,6,34,0,11,0,36,32,0,12,0,36,16,17,0,12,0,68,17,32,0,12,0,25,0,69,21,32,0,9,0,142,27,16,6,32,0,14,0,32,32,0,13,17,0,14,0,53,32,1,24,27,0,9,0,53,0,29,27,0,14,0,53,32,1,14,0,36,16,27,21,16,32,0,12,0,32,32,0,13,21,32,0,9,0,143,27,16,6,32,0,14,0,32,0,14,32,1,14,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,15,0,14,0,69,17,17,33,0,16,48,6,32,1,12,32,1,23,32,0,14,17,0,11,32,0,16,0,14,0,69,17,17,32,0,12,32,0,9,0,144,27,16,6,34,0,13,0,22,0,69,17,0,9,0,53,0,28,0,53,0,69,27,27,16,1,19,16,6,0,74,0,14,32,0,3,17,33,0,17,48,0,10,0,53,0,28,27,16,33,0,18,48,6,32,0,10,0,0,32,0,3,17,0,15,0,68,17,0,11,32,0,17,17,0,28,16,33,0,19,48,0,10,0,77,0,15,32,0,3,17,0,29,16,17,0,12,32,1,13,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,17,17,0,29,16,0,9,32,1,13,0,36,16,0,0,0,70,17,0,14,32,0,1,17,0,10,34,0,19,17,17,0,12,32,0,3,0,77,0,54,0,15,27,0,9,0,11,0,53,0,86,27,21,16,17,0,13,0,27,20,32,0,9,0,146,27,16,6,32,0,3,0,14,0,86,17,0,35,32,0,12,17,0,11,34,0,16,0,11,0,68,17,17,32,0,12,32,0,9,0,147,27,16,6,32,1,25,0,14,32,0,1,17,0,9,32,0,3,0,14,0,86,17,0,29,16,17,0,13,0,27,20,32,0,9,0,148,27,16,6,32,1,32,32,0,4,11,2,32,1,23,32,0,1,17,0,28,16,0,12,32,0,17,17,0,13,0,27,20,32,0,9,0,149,27,16,6,0,77,0,14,32,0,3,17,0,10,0,53,0,28,27,16,33,0,20,48,0,35,0,53,32,0,12,0,35,0,53,32,0,18,0,54,0,35,27,0,33,20,27,16,27,0,55,0,29,27,16,33,0,21,48,6,32,0,21,0,10,32,0,20,17,0,8,16,33,0,22,48,6,32,1,14,0,36,16,0,0,0,69,17,0,14,32,0,1,17,33,0,23,48,6,32,1,16,0,36,16,0,14,32,0,1,17,0,2,0,70,17,0,0,32,1,26,0,36,16,0,0,0,70,17,0,14,32,0,1,17,17,0,35,32,0,23,0,8,16,32,1,36,16,17,33,0,24,48,6,0,68,33,0,25,48,6,32,0,24,0,13,16,0,27,16,33,0,26,48,6,1,20,33,0,27,48,6,32,0,18,0,10,32,0,20,17,33,0,28,48,0,35,32,0,12,17,0,33,16,0,44,0,35,26,33,0,12,50,6,32,0,3,0,13,16,0,27,16,0,35,0,53,32,0,12,27,0,55,0,29,0,53,0,13,27,27,16,33,0,29,48,6,0,59,0,14,32,0,3,17,0,10,34,0,28,17,0,35,32,0,12,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,12,0,22,0,59,17,17,0,26,0,59,17,0,50,0,0,26,16,0,33,16,33,0,30,48,6,32,1,14,0,36,16,0,0,0,70,17,0,70,11,2,32,1,23,32,0,1,17,0,2,32,0,10,17,0,35,32,0,30,17,33,0,31,48,0,50,0,0,26,16,33,0,32,48,0,33,16,33,0,33,48,6,32,0,33,0,44,0,35,26,33,0,30,50,6,32,0,33,0,44,0,35,26,33,0,32,50,6,32,0,33,0,44,0,35,26,33,0,31,50,6,32,0,30,0,44,0,35,26,33,0,1,50,6,32,0,30,0,44,0,35,26,33,0,17,50,6,32,0,30,0,44,0,35,26,33,0,5,50,6,32,0,30,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,34,48,6,32,0,10,0,35,32,0,30,17,0,44,0,1,26,32,0,31,17,33,0,10,49,0,50,0,0,26,16,0,33,16,33,0,12,49,6,34,0,10,0,35,32,0,12,17,0,12,32,0,12,0,54,0,32,27,0,52,0,24,27,0,11,21,0,68,17,33,0,35,48,6,32,0,17,0,10,0,53,0,28,27,16,0,35,32,0,12,17,0,33,16,0,44,0,35,26,33,0,12,50,6,32,0,30,0,35,32,0,12,17,33,0,36,48,6,32,0,20,0,1,32,0,21,17,0,35,32,0,36,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,37,48,6,32,1,14,0,36,16,0,0,0,71,17,0,44,32,0,34,26,32,0,1,17,0,35,32,0,12,17,0,32,16,33,0,38,48,6,0,68,0,12,32,0,31,17,33,0,39,48,6,0,68,0,11,34,0,31,17,0,32,16,33,0,40,48,6,32,0,39,0,32,16,32,0,40,11,2,0,46,0,22,26,33,0,35,50,6,32,0,20,0,35,32,0,36,17,0,33,16,33,0,41,48,0,44,0,35,26,33,0,12,50,6,32,0,30,0,35,32,0,12,17,33,0,36,49,6,32,0,12,0,33,16,33,0,42,48,6,32,1,12,0,36,16,0,14,32,0,1,17,33,0,43,48,6,32,1,12,0,36,16,0,0,0,69,17,0,14,32,0,1,17,33,0,44,48,6,32,0,44,0,10,32,0,39,17,33,0,45,48,0,50,0,0,26,16,33,0,46,48,6,0,20,32,1,38,0,51,0,8,27,32,0,45,21,33,0,47,48,6,32,0,43,32,0,47,16,33,0,48,48,0,10,32,1,25,0,14,32,0,1,17,32,0,47,16,33,0,49,48,17,33,0,50,48,6,32,0,44,0,32,32,0,45,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,45,0,32,20,32,0,9,0,150,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,45,0,32,20,32,0,9,0,151,27,16,6,34,0,44,0,32,16,0,22,32,0,40,17,0,35,34,0,51,0,28,16,0,33,16,0,33,16,17,33,0,54,48,6,32,0,43,0,10,32,0,45,17,0,35,0,53,32,0,12,0,30,16,27,0,55,32,1,36,0,54,0,44,0,35,26,27,27,34,0,43,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,31,17,33,0,57,48,0,14,0,68,17,33,0,58,48,6,32,0,57,0,29,16,0,32,32,0,58,17,33,0,59,48,6,32,0,56,0,32,32,0,58,17,33,0,60,48,6,32,0,60,0,44,0,35,26,32,0,30,17,32,0,3,0,54,0,35,27,0,2,32,0,22,0,54,0,35,27,21,16,33,0,61,48,6,32,0,61,0,14,0,59,17,33,0,62,48,0,28,0,0,0,29,0,53,0,69,27,21,16,33,0,63,48,0,14,0,70,17,33,0,64,48,6,32,0,55,0,35,32,0,60,0,32,32,0,62,17,0,44,0,35,26,32,0,42,17,0,0,0,69,17,0,44,0,35,26,32,0,12,17,17,32,0,60,0,32,32,0,62,21,32,0,9,0,152,27,16,6,34,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,34,0,58,17,34,0,56,32,0,9,0,153,27,16,6,32,0,61,0,15,0,70,17,33,0,65,48,0,11,32,0,64,17,0,20,0,9,0,75,0,14,32,0,61,17,21,0,28,20,0,10,0,29,21,16,33,0,66,48,6,34,0,65,0,10,32,0,62,17,0,9,32,0,66,17,0,10,0,75,0,14,32,0,61,17,0,9,32,0,59,17,17,32,0,60,32,0,9,0,154,27,16,6,34,0,63,0,14,0,69,17,0,9,32,0,61,0,14,0,68,17,17,0,11,32,0,66,17,33,0,67,48,0,10,32,0,66,17,0,8,16,33,0,68,48,6,32,0,62,0,32,32,0,68,17,0,14,0,53,0,29,0,53,0,69,27,27,16,32,0,60,0,32,32,0,68,21,32,0,9,0,155,27,16,6,32,0,21,0,35,32,0,30,17,0,8,16,0,2,32,0,1,17,0,35,32,0,60,17,33,0,69,48,0,33,32,0,4,0,22,32,1,26,17,0,50,0,0,26,16,17,0,44,0,1,26,0,69,17,0,7,0,75,17,33,0,70,48,6,32,0,70,0,13,0,69,17,0,9,32,0,61,0,14,0,68,17,17,0,9,32,0,64,17,33,0,71,48,0,12,32,0,68,17,33,0,72,48,6,32,0,71,0,0,33,0,61,50,6,32,0,71,0,12,33,0,64,50,6,32,0,61,0,5,0,70,17,0,44,0,1,26,0,69,17,0,2,0,75,17,0,2,32,0,72,17,0,0,32,0,61,0,14,0,75,17,0,28,16,0,0,0,74,17,0,2,32,0,66,17,17,0,0,32,0,62,0,28,16,0,0,0,69,17,0,2,32,0,67,17,0,0,34,0,71,17,17,33,0,73,48,6,32,1,26,0,36,16,0,0,32,0,73,17,0,13,34,0,69,17,0,9,32,0,70,0,14,0,68,17,17,32,0,60,32,0,9,0,156,27,16,6,32,0,61,0,14,0,68,17,0,9,32,0,64,17,0,10,32,0,62,17,0,8,16,0,2,33,0,70,50,6,32,0,62,0,12,33,0,68,50,6,32,0,68,0,44,0,32,26,33,0,61,50,6,32,0,67,0,32,32,0,62,0,29,0,69,17,17,33,0,74,48,6,34,0,66,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,68,17,32,0,60,32,0,9,0,153,27,16,6,0,68,0,22,32,0,74,17,0,35,0,53,0,50,0,0,26,27,32,0,62,17,0,12,32,0,67,17,32,0,60,32,0,9,0,157,27,16,6,0,70,0,13,32,0,70,17,0,12,34,0,72,17,32,0,60,32,0,9,0,158,27,16,6,32,0,68,0,44,0,32,26,33,0,59,50,6,32,0,61,0,14,0,69,17,0,10,33,0,74,50,6,32,0,59,0,11,0,68,17,0,11,32,0,74,17,32,0,60,0,32,32,0,68,21,32,0,9,0,159,27,16,6,32,0,70,0,13,0,68,17,33,0,75,48,0,0,0,69,17,0,2,34,0,67,17,0,6,32,0,64,17,0,29,16,0,32,32,0,62,17,33,0,76,48,6,32,0,59,0,14,0,70,17,33,0,77,48,0,9,32,0,76,0,14,0,68,17,17,32,0,60,0,32,32,0,68,21,32,0,9,0,160,27,16,6,32,0,52,0,28,0,11,0,20,21,0,69,17,0,11,34,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,48,27,0,55,34,0,77,0,2,0,70,17,0,6,34,0,76,17,27,16,33,0,78,48,6,34,0,68,0,44,0,32,26,33,0,64,50,6,32,0,55,0,35,0,53,32,0,60,27,0,55,32,0,75,0,8,16,27,16,33,0,79,48,6,32,0,60,0,32,32,0,75,17,0,44,0,35,26,32,0,42,17,33,0,80,48,6,32,0,70,0,32,32,0,75,17,0,14,0,70,17,33,0,81,48,6,32,1,26,0,36,16,0,1,32,0,1,17,0,35,0,53,34,0,60,27,0,55,0,1,0,53,32,0,73,27,0,2,34,0,70,0,11,0,68,17,21,0,0,0,20,21,27,16,0,33,0,68,0,75,0,71,0,78,11,4,17,33,0,82,48,6,32,1,26,0,36,16,0,0,0,75,17,0,14,32,0,1,17,0,9,0,75,0,14,32,0,3,17,0,35,32,0,30,17,17,0,0,33,0,82,50,6,34,0,82,0,54,0,14,27,32,1,38,0,51,0,8,27,34,0,39,21,0,35,32,0,52,0,50,0,0,26,0,59,17,21,33,0,83,48,6,32,1,26,32,1,23,32,0,1,17,0,11,32,0,79,17,0,32,16,33,0,84,48,6,0,69,32,0,83,16,33,0,85,48,6,0,75,34,0,83,0,52,0,20,0,2,0,70,21,0,6,0,19,21,27,0,70,17,33,0,86,48,0,0,0,53,0,11,0,53,0,68,27,0,10,32,0,85,21,27,16,33,0,87,48,6,32,0,85,0,32,32,0,48,17,0,11,32,0,74,17,0,11,32,0,64,17,0,10,32,0,87,0,32,32,0,48,17,0,11,32,0,61,17,17,32,0,45,0,51,0,32,27,0,22,0,68,21,0,32,32,0,48,21,32,0,9,0,161,27,16,6,32,0,87,0,32,0,53,32,0,48,27,0,55,34,0,61,27,16,33,0,87,49,0,44,0,1,26,0,69,17,0,6,33,0,86,50,6,32,0,85,0,32,0,53,32,0,48,27,0,55,0,6,0,53,34,0,74,27,27,16,33,0,85,49,6,32,0,87,0,36,16,0,11,0,68,17,32,0,1,0,51,1,21,27,0,32,20,32,0,9,0,162,27,16,6,32,0,85,0,12,32,0,53,17,0,11,34,0,49,0,32,0,53,32,0,48,27,0,55,0,15,0,53,34,0,64,27,27,16,0,10,0,53,0,29,27,16,17,0,26,0,69,17,32,0,45,0,32,20,32,0,9,0,163,27,16,6,32,0,85,0,2,0,75,17,0,0,0,68,0,70,0,75,11,3,0,35,32,0,86,17,17,33,0,88,48,6,32,0,85,0,32,32,0,48,17,0,8,16,0,2,0,75,17,0,35,34,0,62,0,50,0,0,26,16,0,29,16,17,0,1,33,0,73,50,6,32,0,3,0,35,0,53,32,0,30,0,35,32,0,40,17,27,0,55,34,0,87,0,32,32,0,52,17,0,26,0,69,17,27,16,0,2,32,0,22,17,0,44,0,1,26,32,0,20,17,33,0,3,49,6,32,0,22,0,9,34,0,23,17,33,0,89,48,6,0,68,0,11,32,0,3,17,0,44,0,22,26,0,69,17,0,35,32,0,29,17,33,0,90,48,0,29,16,0,9,32,0,89,17,33,0,91,48,6,32,0,3,0,35,32,0,91,0,8,16,32,1,36,16,17,0,2,32,0,91,17,0,0,32,0,3,17,0,20,0,15,0,70,21,0,11,32,0,90,21,0,1,0,20,21,0,6,0,20,0,14,0,75,21,0,2,34,0,90,0,0,0,69,17,21,0,44,0,22,26,0,68,21,0,35,34,0,29,21,21,16,33,0,92,48,6,32,0,92,0,35,0,0,0,6,0,69,21,0,5,0,20,21,34,0,91,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,92,17,0,9,32,0,89,17,0,8,16,32,1,36,16,17,0,6,33,0,92,50,6,32,0,92,0,29,16,0,2,34,0,89,17,0,0,33,0,3,50,6,32,0,24,0,14,0,69,17,0,9,32,0,92,0,13,0,68,17,17,0,10,33,0,25,50,0,8,16,0,2,33,0,24,50,6,32,0,24,0,1,32,0,24,0,14,0,68,17,0,2,32,0,92,17,17,33,0,92,49,6,0,59,0,14,32,0,3,17,0,29,0,69,17,0,9,0,86,0,14,32,0,3,17,17,0,1,33,0,3,50,6,32,0,30,0,51,0,33,27,33,0,26,49,6,0,68,0,13,32,0,3,17,0,2,0,70,17,0,6,32,0,24,17,0,29,0,70,17,0,9,0,74,0,14,32,0,3,17,17,32,0,27,0,164,26,16,6,34,0,18,0,20,0,1,0,8,0,54,0,2,27,21,33,0,3,50,6,32,1,32,0,1,32,0,1,17,33,0,93,48,6,34,0,35,0,49,1,22,26,16,6,32,0,12,0,44,0,35,26,33,0,1,50,6,34,0,55,0,35,32,0,12,17,33,0,94,48,6,32,0,36,0,44,0,35,26,33,0,3,50,6,32,0,36,0,44,0,35,26,33,0,22,50,6,32,0,36,0,44,0,35,26,33,0,92,50,6,34,0,20,0,12,34,0,21,17,0,35,32,0,36,17,0,32,16,0,22,34,0,41,0,33,16,0,35,32,0,38,17,33,0,95,48,17,33,0,38,49,6,32,0,1,0,35,34,0,95,17,0,44,0,1,26,32,1,14,0,36,16,0,0,0,71,17,17,0,44,0,22,26,32,0,37,0,46,0,68,26,16,17,33,0,96,48,6,32,0,3,0,76,0,54,0,15,27,0,9,0,11,0,53,0,87,27,21,16,33,0,97,48,6,32,1,13,0,36,16,0,0,0,70,17,0,14,32,0,1,17,33,0,98,48,6,0,68,0,11,32,0,3,17,0,11,32,0,97,17,33,0,99,48,6,32,0,99,0,29,16,32,1,36,16,0,44,0,35,26,32,0,92,17,33,0,100,48,0,15,0,69,17,33,0,101,48,6,32,0,92,0,1,16,0,6,0,68,17,33,0,102,48,6,32,0,100,0,1,16,0,6,0,68,17,33,0,103,48,6,32,0,12,33,0,26,49,6,34,0,36,0,44,0,35,26,33,0,25,50,6,32,0,97,0,2,32,0,103,17,32,0,27,0,165,26,16,6,32,1,25,0,14,32,0,1,17,0,2,32,0,103,17,32,0,27,0,166,26,16,6,0,68,0,16,32,0,3,17,0,11,0,70,0,11,32,0,100,17,17,0,9,0,53,0,29,27,16,32,0,12,32,0,9,0,167,27,16,6,0,70,0,16,32,0,3,17,0,9,0,70,0,11,32,0,100,17,17,0,11,32,0,97,0,11,32,0,98,17,0,29,16,17,33,0,104,48,0,11,32,0,94,17,33,0,105,48,0,32,16,0,30,16,33,0,106,48,6,0,75,0,14,32,0,3,17,33,0,107,48,0,9,32,0,104,17,0,28,16,0,10,32,0,104,17,33,0,108,48,6,0,70,0,27,16,0,39,32,0,3,17,0,10,32,0,108,17,0,16,32,0,107,17,0,2,0,70,17,0,6,32,0,102,17,0,29,0,2,34,0,107,21,0,6,0,28,21,0,70,17,0,2,34,0,105,17,32,0,27,0,168,26,16,6,32,1,24,0,14,32,0,1,17,33,0,109,48,6,32,1,14,0,36,16,0,0,0,70,17,32,1,12,0,36,16,0,0,0,69,17,11,2,0,39,32,0,1,17,33,0,110,48,6,32,1,14,0,36,16,0,0,0,74,17,0,44,34,0,34,26,32,0,1,17,33,0,111,48,32,1,36,0,52,0,11,27,32,0,110,17,0,9,32,0,109,17,33,0,112,48,6,0,68,0,14,32,0,3,17,0,11,0,53,0,10,0,53,0,29,27,27,32,0,108,17,0,28,0,54,0,9,27,16,32,0,12,32,0,9,0,169,27,16,6,32,0,3,0,14,0,86,17,0,29,0,68,0,68,11,2,17,0,11,32,0,99,17,32,0,12,32,0,9,0,147,27,16,6,0,69,0,16,34,0,92,17,0,28,16,0,9,32,0,98,17,0,11,32,0,101,17,33,0,113,48,6,32,0,99,0,29,0,69,17,0,9,34,0,98,17,33,0,114,48,6,32,0,114,0,11,32,0,113,17,32,0,12,32,0,9,0,170,27,16,6,32,0,113,0,10,32,0,108,17,0,8,16,0,30,0,55,32,1,35,0,1,0,19,21,0,53,0,13,0,51,0,27,27,27,27,16,33,0,115,48,6,32,0,97,0,32,16,33,0,116,48,0,0,0,53,32,0,115,0,54,0,35,27,27,16,0,0,0,69,17,33,0,117,48,6,0,69,0,22,32,0,99,17,0,35,32,0,117,17,32,0,12,0,35,0,53,0,69,0,54,0,1,27,27,32,0,117,21,32,0,9,0,171,27,16,6,32,0,3,0,35,32,0,116,17,0,13,0,86,17,33,0,118,48,6,32,0,3,0,35,32,0,117,17,33,0,119,48,6,32,0,100,0,35,32,0,117,17,0,6,0,68,17,0,13,32,0,119,17,0,9,32,0,118,17,32,0,12,0,35,32,0,117,21,32,0,9,0,172,27,16,6,32,0,1,0,35,32,0,116,17,0,44,0,1,26,32,1,13,0,36,16,17,0,0,32,0,113,0,35,32,0,116,17,17,0,0,34,0,119,0,15,0,68,17,17,0,0,32,0,118,17,33,0,120,48,6,32,0,80,0,22,33,0,117,50,6,32,0,1,0,46,0,68,26,16,0,35,0,53,32,0,117,27,0,55,32,0,80,0,46,0,78,26,16,0,22,32,0,120,17,27,16,0,1,0,53,0,28,27,16,33,0,121,48,6,32,0,121,0,35,32,0,42,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,121,49,0,35,32,0,12,17,33,0,122,48,0,11,0,68,17,33,0,123,48,6,32,0,122,0,14,0,71,17,33,0,124,48,6,32,0,102,0,14,0,70,17,0,9,32,0,123,17,33,0,125,48,0,9,32,1,16,0,36,16,0,14,32,0,1,17,17,0,32,16,33,0,126,48,6,32,0,112,0,10,32,0,111,17,0,29,16,0,15,32,0,22,17,0,11,32,0,125,17,0,2,32,0,102,17,34,0,27,0,173,26,16,6,32,0,125,0,9,32,0,124,17,32,0,12,32,0,9,0,174,27,16,6,32,0,99,0,28,0,69,17,0,9,32,1,14,0,36,16,0,0,0,78,17,0,14,32,0,1,17,17,0,11,32,0,123,0,11,32,0,124,17,17,32,0,12,32,0,9,0,175,27,16,6,32,0,121,0,14,0,78,17,0,2,0,75,17,0,1,33,0,121,50,6,34,0,122,0,14,0,78,17,33,0,127,48,6,32,0,102,0,14,0,69,17,0,2,32,0,123,17,0,6,33,0,25,50,6,32,1,13,0,36,16,0,44,0,1,26,32,1,32,17,0,14,32,0,93,17,0,11,32,0,121,17,32,0,47,16,33,0,128,48,6,32,0,25,0,35,32,0,42,17,34,0,47,16,33,0,129,48,6,32,0,30,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,129,33,0,130,48,6,32,0,129,0,9,0,69,0,14,32,0,78,17,17,32,1,37,0,52,0,15,27,32,0,52,17,0,10,33,0,129,50,6,0,68,0,14,32,0,78,17,0,9,32,0,129,17,0,26,0,69,17,32,0,45,0,32,20,32,0,9,0,177,0,163,11,2,0,56,0,11,0,53,34,0,130,0,26,0,69,17,27,0,49,0,10,26,20,27,27,16,6,32,0,129,0,2,0,70,17,0,6,33,0,78,50,6,32,0,85,0,2,33,0,78,50,6,32,0,78,0,14,0,70,17,0,35,32,0,46,17,0,35,32,0,12,17,33,0,131,48,6,32,0,131,0,14,0,1,0,19,21,33,0,102,50,6,34,0,131,0,14,0,1,0,19,21,33,0,103,50,6,32,1,32,0,1,32,0,1,17,32,0,4,0,54,0,11,27,0,9,0,15,0,53,0,88,27,21,16,33,0,132,48,6,32,1,32,0,0,32,0,4,17,0,16,32,0,1,17,0,9,32,0,127,17,33,0,133,48,0,32,16,33,0,134,48,6,32,1,14,32,1,23,0,11,0,36,0,0,0,75,21,0,54,0,14,27,21,32,0,1,17,0,10,32,1,15,0,36,16,0,14,32,0,1,17,0,28,16,0,12,32,0,99,17,17,0,10,34,0,133,17,0,10,32,0,132,17,0,11,0,68,0,16,32,0,3,17,0,9,32,0,123,17,0,28,16,0,11,32,0,99,17,0,11,32,0,94,17,17,33,0,135,48,6,34,0,125,0,10,34,0,135,17,0,10,32,0,97,17,0,11,32,0,104,0,10,34,0,127,17,0,12,32,0,108,17,0,10,32,0,17,0,35,32,0,12,17,17,17,0,12,32,0,123,17,32,0,12,32,0,9,0,178,27,16,6,32,0,123,0,35,32,0,116,17,0,11,0,70,0,14,34,0,120,17,0,11,34,0,124,0,35,32,0,116,17,17,17,32,0,12,0,35,32,0,116,21,32,0,9,0,179,27,16,6,32,0,123,0,12,0,53,0,29,27,16,0,9,32,0,3,0,15,0,68,17,17,0,9,32,0,100,0,11,0,68,17,17,0,11,32,0,94,17,32,0,12,32,0,9,0,180,27,16,6,32,0,123,0,35,32,0,116,17,33,0,136,48,0,12,33,0,118,50,6,32,0,116,0,32,34,0,136,17,33,0,137,48,6,32,1,14,0,36,16,0,0,0,74,17,0,14,32,0,1,17,0,10,32,0,112,17,0,29,16,0,9,34,0,22,17,0,9,34,0,132,17,0,35,0,69,0,1,32,0,137,17,17,0,8,16,32,0,12,0,35,32,0,137,21,32,0,9,0,181,27,16,6,32,0,118,0,44,0,32,26,33,0,116,50,6,32,0,80,0,46,0,69,26,16,0,22,34,0,118,17,0,44,0,32,26,33,0,117,50,6,34,0,17,0,29,16,33,0,138,48,0,32,16,33,0,139,48,6,32,0,93,32,0,4,0,54,0,11,27,0,9,0,15,0,53,0,68,27,21,16,0,11,34,0,97,0,9,32,0,123,17,0,28,16,0,35,32,0,42,17,0,10,34,0,138,17,0,10,34,0,79,17,17,0,32,16,33,0,140,48,6,32,0,121,0,35,32,0,84,17,33,0,141,48,0,11,0,68,17,33,0,142,48,6,0,70,0,70,11,2,32,1,23,34,0,121,0,35,32,0,140,17,33,0,143,48,17,33,0,144,48,6,0,74,0,11,34,0,141,17,0,9,32,0,142,17,32,0,84,32,0,9,0,182,27,16,6,32,0,46,0,35,32,0,140,17,33,0,145,48,6,32,0,93,0,35,32,0,140,17,33,0,146,48,6,32,0,7,0,13,16,0,11,32,0,146,17,0,9,32,0,145,0,14,0,68,17,17,0,9,32,0,144,17,33,0,147,48,6,32,0,7,0,35,32,0,146,0,32,32,0,147,17,17,33,0,148,48,0,14,0,68,17,32,0,140,0,32,32,0,147,21,32,0,9,0,183,27,16,6,32,0,144,0,32,0,53,34,0,147,27,0,55,34,0,148,0,15,0,68,17,27,16,33,0,144,49,6,0,68,0,15,32,0,7,17,0,32,16,33,0,149,48,0,46,0,68,26,16,33,0,150,48,6,32,0,146,0,32,32,0,144,17,33,0,151,48,0,22,32,0,149,17,0,41,32,0,88,0,13,16,0,22,32,0,145,0,32,32,0,144,17,33,0,152,48,17,0,22,32,0,150,17,33,0,153,48,17,33,0,154,48,6,32,0,33,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,152,17,0,22,34,0,33,0,32,34,0,45,17,0,22,0,59,17,0,35,34,0,145,17,0,0,32,0,143,0,14,0,69,17,17,17,33,0,155,48,6,32,0,155,0,33,16,0,35,0,53,32,0,151,0,22,32,0,146,17,33,0,156,48,0,54,0,35,27,0,33,20,27,16,33,0,157,48,6,32,0,157,0,32,0,53,0,15,0,53,32,0,144,0,13,16,27,27,16,1,24,16,6,32,0,157,0,35,34,0,151,0,46,0,59,26,16,0,22,32,0,144,17,0,35,32,0,157,17,0,50,0,0,26,16,33,0,158,48,0,33,16,17,0,32,0,53,32,0,144,0,13,16,0,54,0,11,27,27,16,33,0,157,49,6,32,0,157,0,44,0,35,26,33,0,144,50,6,32,0,157,0,44,0,35,26,33,0,140,50,6,32,0,157,0,44,0,35,26,33,0,143,50,6,34,0,158,0,11,0,68,17,0,10,0,53,0,29,27,16,0,8,16,0,49,0,0,26,16,33,0,159,48,6,34,0,146,0,35,32,0,157,0,25,32,0,159,17,17,33,0,160,48,6,32,0,7,0,13,16,0,16,32,0,160,17,32,0,140,0,25,32,0,159,21,32,0,9,32,0,160,0,54,0,32,27,0,40,20,32,1,28,0,184,21,27,16,6,32,0,143,0,11,0,68,17,33,0,161,48,0,9,0,75,0,11,34,0,143,17,17,33,0,162,48,6,34,0,32,0,35,32,0,140,17,0,35,0,53,32,0,144,32,1,36,16,0,26,32,0,159,17,27,0,22,34,0,7,0,6,0,68,17,0,1,16,33,0,163,48,0,35,32,0,160,17,21,0,1,0,20,21,16,33,0,164,48,6,32,0,164,0,11,0,68,17,0,9,32,0,162,17,32,0,140,32,0,9,0,185,27,16,6,34,0,162,32,1,38,0,26,0,69,21,0,16,0,32,21,32,0,144,17,33,0,165,48,0,35,34,0,157,0,32,32,0,144,17,0,33,16,33,0,166,48,17,0,22,34,0,150,17,0,41,34,0,153,17,33,0,167,48,6,32,0,152,0,22,32,0,163,17,0,38,16,0,0,32,0,88,0,35,34,0,152,17,0,22,34,0,163,0,46,0,68,26,16,17,17,33,0,168,48,6,32,0,168,0,20,0,26,0,53,0,13,27,34,0,149,21,0,35,0,53,0,33,27,34,0,166,21,0,35,32,0,144,0,26,34,0,159,17,0,50,0,0,26,0,59,17,21,0,22,0,35,0,53,34,0,160,27,21,16,33,0,168,49,6,32,0,164,0,11,0,68,17,32,1,38,0,11,34,0,165,0,22,0,69,17,21,0,35,0,53,0,50,0,0,26,27,0,19,21,32,0,144,17,0,9,32,0,144,0,28,0,69,17,0,11,32,0,161,17,17,33,0,169,48,6,32,0,93,0,35,32,0,84,17,0,0,0,75,17,0,0,32,0,85,0,2,0,75,17,0,35,32,0,46,0,35,32,0,84,17,33,0,170,48,17,17,33,0,171,48,6,34,0,170,0,2,0,78,17,0,0,32,0,171,17,0,30,0,55,0,39,27,16,0,22,33,0,169,50,6,0,69,0,1,32,0,80,17,0,44,0,35,26,32,0,12,17,0,0,0,69,17,32,0,139,32,0,84,0,22,32,0,140,17,11,3,0,32,0,75,0,70,0,75,11,3,17,0,22,16,33,0,172,48,6,34,0,142,0,22,34,0,161,17,0,12,0,2,0,70,21,0,0,0,20,21,34,0,169,17,0,0,0,89,17,33,0,173,48,6,32,0,80,0,46,0,89,26,16,32,0,80,0,46,0,68,26,16,34,0,73,0,32,34,0,75,17,32,0,139,0,46,0,85,26,16,34,0,93,0,35,34,0,139,17,34,0,173,34,0,84,0,46,0,68,26,16,0,22,34,0,164,17,34,0,171,0,22,34,0,168,17,11,8,33,0,174,48,6,32,0,108,0,8,16,0,50,0,0,26,16,32,1,35,0,1,0,20,21,32,0,99,17,0,7,0,10,0,12,21,0,70,17,0,9,32,0,101,17,33,0,175,48,6,34,0,104,0,29,16,0,10,0,69,0,14,32,0,3,17,17,33,0,176,48,0,11,32,0,123,0,11,32,0,99,17,0,10,0,53,0,28,27,16,0,10,32,0,108,17,0,10,34,0,175,17,0,10,32,0,94,17,33,0,177,48,17,0,32,16,33,0,178,48,6,34,0,176,0,10,34,0,177,17,0,12,32,0,101,17,32,0,12,32,0,9,0,186,27,16,6,0,68,0,14,32,0,3,17,0,11,32,0,108,17,0,10,0,68,0,16,32,0,3,17,0,9,34,0,101,17,17,0,8,16,0,2,0,70,17,0,6,34,0,102,17,0,28,0,70,17,0,35,32,0,178,17,33,0,179,48,0,13,0,70,17,33,0,180,48,6,32,1,24,0,11,32,0,1,17,0,11,34,0,94,17,0,32,16,33,0,181,48,0,44,0,35,26,32,0,1,17,33,0,182,48,0,40,16,0,9,16,33,0,183,48,0,44,0,37,26,34,0,182,17,33,0,184,48,6,34,0,4,0,0,32,1,32,17,33,0,185,48,0,16,32,0,1,17,0,32,16,33,0,186,48,0,22,34,0,181,17,33,0,187,48,6,32,0,1,0,35,34,0,186,17,0,0,32,0,183,0,13,16,0,44,0,1,26,34,0,185,17,17,0,22,33,0,184,50,6,34,0,42,0,35,34,0,40,17,33,0,188,48,6,0,68,0,22,32,0,112,17,0,50,0,0,26,16,0,32,0,69,0,22,32,0,111,17,17,0,26,0,69,17,0,29,0,54,0,1,27,16,0,0,34,0,99,0,28,0,69,17,0,32,34,0,111,17,0,8,16,17,0,44,0,22,26,34,0,37,17,33,0,189,48,6,0,87,0,14,32,0,3,17,0,29,16,0,10,34,0,112,17,0,10,32,0,103,0,14,0,70,17,17,0,12,34,0,109,17,0,32,16,0,22,32,0,80,0,32,0,53,0,8,27,32,0,81,17,17,33,0,190,48,6,34,0,110,0,32,16,33,0,191,48,6,32,1,25,0,14,32,0,1,17,0,32,16,33,0,192,48,6,32,0,180,0,0,32,0,178,17,0,0,0,53,32,0,115,0,54,0,35,27,0,2,32,0,180,21,27,16,33,0,193,48,6,32,0,193,0,32,34,0,103,0,35,32,0,178,17,33,0,194,48,0,14,0,70,17,33,0,195,48,0,2,32,0,180,0,0,0,69,17,17,17,0,22,33,0,190,50,6,32,0,195,0,8,16,33,0,195,49,6,32,0,195,0,44,0,32,26,33,0,178,50,6,32,0,195,0,44,0,32,26,33,0,193,50,6,34,0,81,0,1,16,0,22,34,0,114,0,0,32,0,113,17,0,0,32,0,1,17,0,35,32,0,116,17,0,44,0,1,26,32,1,13,0,36,16,0,0,0,69,17,17,0,6,0,68,17,17,0,0,0,90,17,33,0,196,48,6,32,0,187,32,0,187,32,0,188,32,0,188,32,0,134,32,0,126,32,0,38,0,32,0,70,17,32,0,117,32,0,192,0,69,0,0,32,0,137,17,0,69,0,0,32,0,137,17,34,0,115,0,35,32,0,106,17,0,6,0,69,17,0,0,32,0,106,17,34,0,193,32,0,190,32,0,191,11,15,33,0,197,48,0,22,16,0,44,0,35,26,32,0,12,17,0,22,32,0,172,17,33,0,198,48,0,33,16,33,0,199,48,6,34,0,187,0,46,0,68,26,16,34,0,184,32,0,188,0,46,0,69,26,16,34,0,188,0,13,16,0,27,16,0,0,0,69,17,34,0,134,0,46,0,91,26,16,34,0,126,0,46,0,92,26,16,34,0,189,0,23,34,0,123,0,35,34,0,38,17,0,0,34,0,96,17,0,0,0,66,17,17,0,31,16,0,21,16,34,0,196,34,0,192,0,46,0,93,26,16,32,0,137,0,46,0,94,26,16,34,0,1,0,35,0,69,0,1,34,0,137,17,17,0,44,0,1,26,32,1,32,17,34,0,3,0,35,32,0,106,17,0,0,0,62,17,34,0,100,0,35,32,0,178,17,0,11,0,68,17,0,2,0,74,17,0,0,34,0,179,0,14,0,69,17,0,6,34,0,194,17,0,2,0,70,17,0,0,34,0,180,17,0,32,34,0,195,17,17,0,0,0,95,17,34,0,190,0,46,0,78,26,16,32,0,128,0,0,0,63,17,33,0,200,48,0,26,0,59,17,11,15,0,22,34,0,174,17,0,22,16,0,35,32,0,199,17,33,0,201,48,6,34,0,197,0,46,0,13,26,16,0,22,34,0,172,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,96,0,65,11,3,17,33,0,202,48,6,34,0,198,0,35,0,53,32,0,202,0,22,16,27,0,55,34,0,116,34,0,80,11,2,0,46,0,13,26,16,0,44,0,32,26,0,69,0,68,11,2,17,0,1,34,0,117,17,34,0,106,0,69,0,1,32,0,178,17,11,3,0,46,32,0,12,0,54,0,35,27,26,16,0,36,0,53,0,70,27,0,55,0,0,0,53,0,69,27,27,16,0,22,16,27,16,33,0,203,48,6,32,0,5,32,0,6,11,2,0,46,0,35,0,53,0,35,0,53,32,0,199,27,0,44,0,22,26,0,59,21,27,26,32,0,203,34,0,203,0,35,0,53,34,0,202,0,36,0,59,17,27,0,55,34,0,113,0,10,34,0,108,17,0,8,16,0,29,16,32,1,36,16,0,35,34,0,178,17,0,44,0,35,26,32,0,12,17,27,16,11,2,17,33,0,204,48,6,32,0,48,0,32,0,53,34,0,48,27,0,55,32,0,59,27,16,33,0,59,49,0,11,0,68,17,0,10,32,0,78,0,13,0,69,17,0,9,32,0,85,17,17,0,10,33,0,53,50,6,32,0,53,0,32,16,33,0,205,48,0,44,0,35,26,34,0,78,17,33,0,206,48,0,14,0,69,17,0,0,0,69,17,33,0,207,48,0,32,16,33,0,208,48,6,34,0,206,0,11,0,69,17,0,0,34,0,59,0,35,32,0,205,17,0,2,0,70,17,17,0,5,0,74,17,33,0,209,48,6,32,0,52,0,35,32,0,205,17,33,0,210,48,0,50,0,0,26,0,59,17,33,0,211,48,6,32,0,209,0,0,34,0,207,17,0,35,0,53,0,34,0,51,0,35,0,53,32,0,211,0,54,0,35,27,0,33,20,0,32,34,0,210,21,27,27,27,16,0,6,32,0,85,0,32,32,0,53,0,9,32,0,52,17,17,0,8,16,0,1,0,70,17,17,33,0,212,48,6,32,0,205,0,35,32,0,208,17,0,41,32,0,212,0,50,0,0,26,16,0,22,0,68,17,0,26,0,35,34,0,211,21,0,0,34,0,209,21,0,35,0,0,0,19,0,51,0,38,27,21,34,0,208,21,0,44,0,22,26,0,25,21,0,59,17,17,0,41,0,53,0,32,27,34,0,212,17,33,0,205,49,6,34,0,86,0,32,32,0,52,17,34,0,85,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,205,27,16,11,3,33,0,213,48,6,34,0,191,0,13,0,52,0,1,27,32,0,201,17,0,16,34,0,199,17,0,22,0,69,17,0,32,16,32,0,154,0,46,0,13,26,16,0,0,34,0,88,17,34,0,154,34,0,167,11,4,33,0,214,48,6,34,0,200,0,36,0,59,17,0,22,34,0,201,17,34,0,183,34,0,213,34,0,214,34,0,204,11,5,7,11,0,0,46,0,187,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,74,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,39,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,41,34,0,10,32,0,11,0,36,16,0,13,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,127,11,2,0,42,16,7,32,1,26,0,32,34,0,1,17,0,128,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,129,11,2,0,42,16,7,32,1,26,0,32,34,0,1,17,0,130,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,131,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,1,16,0,16,0,81,17,0,9,33,0,1,50,6,0,81,0,5,33,1,18,50,6,0,80,0,1,32,1,18,17,0,6,0,68,17,33,0,3,48,0,22,0,68,17,0,35,32,0,1,0,11,0,53,0,29,27,16,0,50,0,0,26,16,17,0,15,32,1,16,17,0,9,32,0,1,17,33,0,4,48,0,12,33,0,1,50,6,34,0,1,32,1,21,16,0,32,0,53,0,68,0,12,34,0,3,17,27,0,55,0,0,0,53,34,0,4,32,1,21,16,0,2,0,82,17,27,27,16,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,14,32,2,23,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,85,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,9,34,0,9,32,2,28,0,140,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,14,0,22,0,68,17,0,32,32,0,1,17,0,12,32,2,14,0,36,16,0,0,0,74,17,17,32,1,12,0,22,0,68,21,0,32,34,0,1,21,32,1,9,0,145,27,16,7,34,0,1,0,6,33,1,25,50,0,14,0,70,17,32,1,26,32,1,9,34,0,4,27,16,7,32,2,26,32,2,23,34,0,1,17,0,9,32,1,46,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,24,0,35,32,0,1,17,0,2,0,53,0,8,27,32,1,128,17,0,6,33,1,129,50,0,14,0,70,17,32,1,30,0,51,0,33,27,0,35,34,0,1,21,32,1,9,0,176,27,16,7,32,1,155,0,35,0,53,32,0,1,27,0,13,0,53,0,29,27,20,0,52,0,10,27,32,1,156,17,0,8,16,32,1,140,0,32,0,53,32,1,144,27,0,54,0,22,27,20,0,35,34,0,1,21,32,1,9,0,183,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, // 55
};
static const u32 iarrs_lens[] = {0,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,14446};
init_intarrs(iarrs, iarrs_data, iarrs_lens, 56);
B iarrs0 = iarrs[0];
incByG(iarrs[0], 8);
B a0; B* a0p = m_lvBn(&a0, 188);
assume_separate_storage(a0p, iarrs);
a0p[0] = incG(runtime[0]);
a0p[1] = incG(runtime[1]);
a0p[2] = incG(runtime[2]);
a0p[3] = incG(runtime[3]);
a0p[4] = incG(runtime[4]);
a0p[5] = incG(runtime[6]);
a0p[6] = incG(runtime[7]);
a0p[7] = incG(runtime[8]);
a0p[8] = incG(runtime[9]);
a0p[9] = incG(runtime[10]);
a0p[10] = incG(runtime[11]);
a0p[11] = incG(runtime[12]);
a0p[12] = incG(runtime[13]);
a0p[13] = incG(runtime[14]);
a0p[14] = incG(runtime[15]);
a0p[15] = incG(runtime[16]);
a0p[16] = incG(runtime[17]);
a0p[17] = incG(runtime[18]);
a0p[18] = incG(runtime[19]);
a0p[19] = incG(runtime[20]);
a0p[20] = incG(runtime[21]);
a0p[21] = incG(runtime[22]);
a0p[22] = incG(runtime[23]);
a0p[23] = incG(runtime[24]);
a0p[24] = incG(runtime[25]);
a0p[25] = incG(runtime[26]);
a0p[26] = incG(runtime[27]);
a0p[27] = incG(runtime[28]);
a0p[28] = incG(runtime[29]);
a0p[29] = incG(runtime[30]);
a0p[30] = incG(runtime[31]);
a0p[31] = incG(runtime[32]);
a0p[32] = incG(runtime[33]);
a0p[33] = incG(runtime[34]);
a0p[34] = incG(runtime[35]);
a0p[35] = incG(runtime[36]);
a0p[36] = incG(runtime[37]);
a0p[37] = incG(runtime[38]);
a0p[38] = incG(runtime[39]);
a0p[39] = incG(runtime[40]);
a0p[40] = incG(runtime[41]);
a0p[41] = incG(runtime[42]);
a0p[42] = incG(runtime[43]);
a0p[43] = incG(runtime[44]);
a0p[44] = incG(runtime[45]);
a0p[45] = incG(runtime[46]);
a0p[46] = incG(runtime[47]);
a0p[47] = incG(runtime[48]);
a0p[48] = incG(runtime[49]);
a0p[49] = incG(runtime[50]);
a0p[50] = incG(runtime[52]);
a0p[51] = incG(runtime[53]);
a0p[52] = incG(runtime[54]);
a0p[53] = incG(runtime[55]);
a0p[54] = incG(runtime[56]);
a0p[55] = incG(runtime[57]);
a0p[56] = incG(runtime[59]);
a0p[57] = incG(runtime[60]);
a0p[58] = incG(runtime[62]);
a0p[59] = m_f64(-1);
a0p[60] = m_f64(26);
a0p[61] = m_f64(23);
a0p[62] = m_f64(24);
a0p[63] = m_f64(7);
a0p[64] = m_f64(10);
a0p[65] = m_f64(13);
a0p[66] = m_f64(11);
a0p[67] = m_f64(9);
a0p[68] = m_f64(0);
a0p[69] = m_f64(1);
a0p[70] = m_f64(2);
a0p[71] = m_f64(5);
a0p[72] = m_f64(8);
a0p[73] = m_f64(30);
a0p[74] = m_f64(4);
a0p[75] = m_f64(3);
a0p[76] = m_f64(-3);
a0p[77] = m_f64(-2);
a0p[78] = m_f64(6);
a0p[79] = m_f64(3.141592653589793);
a0p[80] = m_f64(15);
a0p[81] = m_f64(20);
a0p[82] = m_f64(1e15);
a0p[83] = m_f64(1.0/0.0);
a0p[84] = m_f64(-308);
a0p[85] = m_f64(64);
a0p[86] = m_f64(-4);
a0p[87] = m_f64(-5);
a0p[88] = m_f64(-6);
a0p[89] = m_f64(32);
a0p[90] = m_f64(48);
a0p[91] = m_f64(43);
a0p[92] = m_f64(44);
a0p[93] = m_f64(42);
a0p[94] = m_f64(66);
a0p[95] = m_f64(16);
a0p[96] = m_f64(12);
a0p[97] = m_c32(U'\0');
a0p[98] = m_c32(U'0');
a0p[99] = m_c32(U'#');
a0p[100] = m_c32(U'\'');
a0p[101] = m_c32(U'\"');
a0p[102] = m_c32(U'@');
a0p[103] = m_c32vec(U"+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍⋈↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!",44);
a0p[104] = m_c32vec(U"˙˜˘¨⌜⁼´˝`",9);
a0p[105] = m_c32vec(U"∘○⊸⟜⌾⊘◶⎉⚇⍟⎊",11);
a0p[106] = m_c8vec("aA",2);
a0p[107] = m_c32vec(U"àÀ",2);
a0p[108] = m_c32vec(U"⋄,",2);
a0p[109] = m_c8vec(":;?",3);
a0p[110] = m_c32vec(U"⇐←↩",3);
a0p[111] = m_c32vec(U"(){}⟨⟩[]",8);
a0p[112] = m_c32vec(U"",1);
a0p[113] = m_c32vec(U"·",1);
a0p[114] = m_c32vec(U"𝕊𝕏𝕎𝔽𝔾𝕤𝕩𝕨𝕣𝕗𝕘",11);
a0p[115] = m_c32vec(U".¯π∞",4);
a0p[116] = m_c8vec("_",1);
a0p[117] = m_c32vec(U"",1);
a0p[118] = m_c32vec(U"𝕨",1);
a0p[119] = m_c8vec(" ",1);
a0p[120] = m_c8vec("#\'\"@",4);
a0p[121] = m_c8vec("s",1);
a0p[122] = m_c8vec("\'",1);
a0p[123] = m_c8vec("Unknown character",17);
a0p[124] = m_c8vec(": ",2);
a0p[125] = m_c8vec("Character set conflict: ",24);
a0p[126] = m_c32vec(U"˜⁼",2);
a0p[127] = m_c8vec("Unclosed quote",14);
a0p[128] = m_c32vec(U"𝕣 can only appear as 𝕣, _𝕣, or _𝕣_",34);
a0p[129] = m_c8vec("Words can\'t only have underscores",33);
a0p[130] = m_c8vec("System dot with no name",23);
a0p[131] = m_c8vec("Numbers can\'t start with underscores",36);
a0p[132] = m_c8vec("Letter",6);
a0p[133] = m_c8vec(" \"",2);
a0p[134] = m_c8vec("\" not allowed in numbers",24);
a0p[135] = m_c8vec("ea",2);
a0p[136] = m_c8vec("Negative sign in the middle of a number",39);
a0p[137] = m_c8vec("Portion of a number is empty",28);
a0p[138] = m_c8vec("Ill-formed decimal or exponent use",34);
a0p[139] = m_c32vec(U"π and ∞ must occur alone",24);
a0p[140] = m_c8vec("Unmatched bracket",17);
a0p[141] = m_c8vec("Empty program",13);
a0p[142] = m_c8vec("Swapped open and closed brackets",32);
a0p[143] = m_c8vec("Parentheses can\'t contain separators",36);
a0p[144] = m_c8vec("Punctuation : ; ? outside block top level",41);
a0p[145] = m_c8vec("Empty statement or expression",29);
a0p[146] = m_c8vec("Invalid assignment or stranding use",35);
a0p[147] = m_c8vec("Can\'t use export statement as expression",40);
a0p[148] = m_c8vec("Can\'t use export statement as predicate",39);
a0p[149] = m_c8vec("Dot must be followed by a name (or digit to form a number)",58);
a0p[150] = m_c8vec("Header-less bodies must come last",33);
a0p[151] = m_c8vec("At most two header-less bodies allowed",38);
a0p[152] = m_c8vec("Only one header per body allowed",32);
a0p[153] = m_c8vec("Invalid Undo header syntax",26);
a0p[154] = m_c8vec("Missing operand in header",25);
a0p[155] = m_c8vec("Invalid header structure",24);
a0p[156] = m_c8vec("Incorrect special name",22);
a0p[157] = m_c8vec("Header left argument without right",34);
a0p[158] = m_c8vec("Header operation must be a plain name",37);
a0p[159] = m_c32vec(U"Header with ⁼ must take arguments",33);
a0p[160] = m_c32vec(U"Header with ˜⁼ must have left argument",38);
a0p[161] = m_c8vec("Block header type conflict",26);
a0p[162] = m_c8vec("Special name outside of any block",33);
a0p[163] = m_c8vec("Unreachable body",16);
a0p[164] = m_c8vec("Dot must be preceded by a subject",33);
a0p[165] = m_c32vec(U"Nothing (·) cannot be assigned",30);
a0p[166] = m_c32vec(U"Can\'t use Nothing (·) as predicate",34);
a0p[167] = m_c8vec("Invalid 2-modifier use or modifier assignment",45);
a0p[168] = m_c8vec("Missing operand",15);
a0p[169] = m_c32vec(U"Double subjects (missing ‿?)",28);
a0p[170] = m_c8vec("No right-hand side in non-modified assignment",45);
a0p[171] = m_c8vec("Assignment role mismatch or missing modified assignment target",62);
a0p[172] = m_c8vec("Role of the two sides in assignment must match",46);
a0p[173] = m_c32vec(U"Can\'t use Nothing (·) in lists",30);
a0p[174] = m_c32vec(U"Can\'t modify Nothing (·)",24);
a0p[175] = m_c8vec("Square brackets can\'t be empty",30);
a0p[176] = m_c32vec(U"Can\'t return Nothing (·)",24);
a0p[177] = m_c32vec(U"Invalid use of 𝕨 in monadic case",32);
a0p[178] = m_c8vec("Assignment target must be a name or list of targets",51);
a0p[179] = m_c32vec(U"Can\'t nest assignments (write aliases with ⇐)",45);
a0p[180] = m_c8vec("Can\'t use result of function/modifier assignment without parentheses",68);
a0p[181] = m_c32vec(U"Alias must have a name on the right and appear within ⟨⟩",56);
a0p[182] = m_c8vec("Can\'t define special name",25);
a0p[183] = m_c8vec("Redefinition",12);
a0p[184] = m_c8vec("Undefined identifier",20);
a0p[185] = m_c8vec("Can\'t export from surrounding scope",35);
a0p[186] = m_c8vec("Second-level parts of a train must be functions",47);
a0p[187] = m_c8vec("System values not supported",27);
B a1; B* a1p = m_lvBn(&a1, 27);
assume_separate_storage(a1p, iarrs);
a1p[0] = iarrs[37];
a1p[1] = iarrs[38];
a1p[2] = iarrs[39];
a1p[9] = iarrs[40];
a1p[10] = iarrs[41];
a1p[11] = iarrs[42];
a1p[12] = iarrs[43];
a1p[15] = iarrs[44];
a1p[16] = iarrs[45];
a1p[17] = iarrs[46];
a1p[18] = iarrs[47];
a1p[19] = iarrs[48];
a1p[20] = iarrs[49];
a1p[21] = iarrs[50];
a1p[23] = iarrs[51];
a1p[24] = iarrs[52];
a1p[25] = iarrs[53];
a1p[26] = iarrs[54];
a1p[3] = m_blockinfo(0, iarrs0, iarrs[1]);
a1p[4] = m_blockinfo(0, iarrs0, iarrs[2]);
a1p[5] = m_blockinfo(0, iarrs0, iarrs[3]);
a1p[6] = m_blockinfo(0, iarrs0, iarrs[4]);
a1p[7] = m_blockinfo(0, iarrs0, iarrs[5]);
a1p[8] = m_blockinfo(0, iarrs0, iarrs[6]);
a1p[13] = m_blockinfo(0, iarrs0, iarrs[7]);
a1p[14] = m_blockinfo(0, iarrs0, iarrs[8]);
a1p[22] = m_blockinfo(0, iarrs0, iarrs[9]);
B a2; B* a2p = m_lvBn(&a2, 27);
assume_separate_storage(a2p, iarrs);
a2p[0] = iarrs[10];
a2p[1] = iarrs[11];
a2p[2] = iarrs[12];
a2p[3] = iarrs[13];
a2p[4] = iarrs[14];
a2p[5] = iarrs[15];
a2p[6] = iarrs[16];
a2p[7] = iarrs[17];
a2p[8] = iarrs[18];
a2p[9] = iarrs[19];
a2p[10] = iarrs[20];
a2p[11] = iarrs[21];
a2p[12] = iarrs[22];
a2p[13] = iarrs[23];
a2p[14] = iarrs[24];
a2p[15] = iarrs[25];
a2p[16] = iarrs[26];
a2p[17] = iarrs[27];
a2p[18] = iarrs[28];
a2p[19] = iarrs[29];
a2p[20] = iarrs[30];
a2p[21] = iarrs[31];
a2p[22] = iarrs[32];
a2p[23] = iarrs[33];
a2p[24] = iarrs[34];
a2p[25] = iarrs[35];
a2p[26] = iarrs[36];
load_importBlock("(precompiled)",
iarrs[55],
a0,
a1,
a2
);