static void draw_model(gastro_ctx *ctx, gastro_program *p) { static gastro_fix64 verts[] = { 0, 388608, 270336, 0, 0, 131072, 131072, 0, 0, -63356, -16760, 0, 0, 353054, 270336, 180060, 0, 114688, 131072, 0, 0, -58524, -16799, -24240, 0, 347150, 294528, 177548, 0, 114688, 129433, 0, 0, -58552, 16776, -24189, 0, 382207, 294528, 0, 0, 131072, 129433, 0, 0, -63361, 16740, 0, 0, 353999, 302592, 180462, 0, 114688, 127795, 0, 0, -5496, 65263, -2326, 0, 389632, 302592, 0, 0, 131072, 127795, 0, 0, -6032, 65257, 0, 0, 367932, 294528, 186390, 0, 114688, 126156, 0, 0, 41269, 47963, 17068, 0, 404735, 294528, 0, 0, 131072, 126156, 0, 0, 44698, 47926, 0, 0, 383283, 270336, 192921, 0, 114688, 124518, 0, 0, 52672, 32333, 21796, 0, 421376, 270336, 0, 0, 131072, 124518, 0, 0, 57036, 32277, 0, 0, 255569, 270336, 325713, 0, 98304, 131072, 0, 0, -44787, -16824, -44787, 0, 251025, 294528, 321169, 0, 98304, 129433, 0, 0, -44795, 16781, -44795, 0, 256297, 302592, 326440, 0, 98304, 127795, 0, 0, -4254, 65259, -4254, 0, 267020, 294528, 337164, 0, 98304, 126156, 0, 0, 31548, 48003, 31548, 0, 278835, 270336, 348979, 0, 98304, 124518, 0, 0, 40291, 32374, 40291, 0, 109916, 270336, 423198, 0, 81920, 131072, 0, 0, -24240, -16799, -58524, 0, 107404, 294528, 417294, 0, 81920, 129433, 0, 0, -24189, 16776, -58552, 0, 110318, 302592, 424143, 0, 81920, 127795, 0, 0, -2326, 65263, -5496, 0, 116246, 294528, 438076, 0, 81920, 126156, 0, 0, 17068, 47963, 41269, 0, 122777, 270336, 453427, 0, 81920, 124518, 0, 0, 21796, 32333, 52672, 0, -70143, 270336, 458752, 0, 65536, 131072, 0, 0, -186, -16899, -63319, 0, -70143, 294528, 452352, 0, 65536, 129433, 0, 0, -126, 16694, -63373, 0, -70143, 302592, 459776, 0, 65536, 127795, 0, 0, -17, 65256, -6047, 0, -70143, 294528, 474880, 0, 65536, 126156, 0, 0, 1, 47926, 44699, 0, -70143, 270336, 491520, 0, 65536, 124518, 0, 0, 0, 32277, 57036, 0, -70143, 270336, 458752, 0, 65536, 131072, 0, 0, -186, -16899, -63319, 0, -262645, 270336, 423198, 0, 49152, 131072, 0, 0, 24841, -23547, -55887, 0, -252940, 294528, 417294, 0, 49152, 129433, 0, 0, 24714, 9770, -59905, 0, -70143, 294528, 452352, 0, 65536, 129433, 0, 0, -126, 16694, -63373, 0, -252161, 302592, 424143, 0, 49152, 127795, 0, 0, 1802, 65017, -8031, 0, -70143, 302592, 459776, 0, 65536, 127795, 0, 0, -17, 65256, -6047, 0, -256728, 294528, 438076, 0, 49152, 126156, 0, 0, -17105, 47629, 41639, 0, -70143, 294528, 474880, 0, 65536, 126156, 0, 0, 1, 47926, 44699, 0, -263065, 270336, 453427, 0, 49152, 124518, 0, 0, -21789, 32279, 52708, 0, -70143, 270336, 491520, 0, 65536, 124518, 0, 0, 0, 32277, 57036, 0, -406917, 270336, 325713, 0, 32768, 131072, 0, 0, 43486, -26921, -40977, 0, -395979, 294528, 321169, 0, 32768, 129433, 0, 0, 46705, 4831, -45719, 0, -397967, 302592, 326440, 0, 32768, 127795, 0, 0, 6535, 64717, -7994, 0, -407481, 294528, 337164, 0, 32768, 126156, 0, 0, -31937, 47431, 32018, 0, -419123, 270336, 348979, 0, 32768, 124518, 0, 0, -40320, 32283, 40336, 0, -497489, 270336, 180060, 0, 16384, 131072, 0, 0, 57673, -21817, -22197, 0, -489188, 294528, 177548, 0, 16384, 129433, 0, 0, 60114, 10951, -23690, 0, -494805, 302592, 180462, 0, 16384, 127795, 0, 0, 7443, 65035, -3150, 0, -508285, 294528, 186390, 0, 16384, 126156, 0, 0, -41559, 47677, 17163, 0, -523571, 270336, 192921, 0, 16384, 124518, 0, 0, -52699, 32285, 21804, 0, -528896, 270336, 0, 0, 0, 131072, 0, 0, 63352, -16760, 685, 0, -522495, 294528, 0, 0, 0, 129433, 0, 0, 63402, 16578, 531, 0, -529920, 302592, 0, 0, 0, 127795, 0, 0, 6123, 65249, 83, 0, -545023, 294528, 0, 0, 0, 126156, 0, 0, -44706, 47919, -22, 0, -561664, 270336, 0, 0, 0, 124518, 0, 0, -57037, 32275, -3, 0, -528896, 270336, 0, 0, 131072, 131072, 0, 0, 63352, -16760, 685, 0, -493342, 270336, -180060, 0, 114688, 131072, 0, 0, 58524, -16799, 24240, 0, -487438, 294528, -177548, 0, 114688, 129433, 0, 0, 58552, 16776, 24189, 0, -522495, 294528, 0, 0, 131072, 129433, 0, 0, 63402, 16578, 531, 0, -494287, 302592, -180462, 0, 114688, 127795, 0, 0, 5496, 65263, 2326, 0, -529920, 302592, 0, 0, 131072, 127795, 0, 0, 6123, 65249, 83, 0, -508220, 294528, -186390, 0, 114688, 126156, 0, 0, -41269, 47963, -17068, 0, -545023, 294528, 0, 0, 131072, 126156, 0, 0, -44706, 47919, -22, 0, -523571, 270336, -192921, 0, 114688, 124518, 0, 0, -52672, 32333, -21796, 0, -561664, 270336, 0, 0, 131072, 124518, 0, 0, -57037, 32275, -3, 0, -395857, 270336, -325713, 0, 98304, 131072, 0, 0, 44787, -16824, 44787, 0, -391313, 294528, -321169, 0, 98304, 129433, 0, 0, 44795, 16781, 44795, 0, -396584, 302592, -326440, 0, 98304, 127795, 0, 0, 4254, 65259, 4254, 0, -407308, 294528, -337164, 0, 98304, 126156, 0, 0, -31548, 48003, -31548, 0, -419123, 270336, -348979, 0, 98304, 124518, 0, 0, -40291, 32374, -40291, 0, -250204, 270336, -423198, 0, 81920, 131072, 0, 0, 24240, -16799, 58524, 0, -247692, 294528, -417294, 0, 81920, 129433, 0, 0, 24189, 16776, 58552, 0, -250606, 302592, -424143, 0, 81920, 127795, 0, 0, 2326, 65263, 5496, 0, -256534, 294528, -438076, 0, 81920, 126156, 0, 0, -17068, 47963, -41269, 0, -263065, 270336, -453427, 0, 81920, 124518, 0, 0, -21796, 32333, -52672, 0, -70143, 270336, -458752, 0, 65536, 131072, 0, 0, 0, -16760, 63356, 0, -70143, 294528, -452352, 0, 65536, 129433, 0, 0, 0, 16740, 63361, 0, -70143, 302592, -459776, 0, 65536, 127795, 0, 0, 0, 65257, 6032, 0, -70143, 294528, -474880, 0, 65536, 126156, 0, 0, 0, 47926, -44698, 0, -70143, 270336, -491520, 0, 65536, 124518, 0, 0, 0, 32277, -57036, 0, -70143, 270336, -458752, 0, 65536, 131072, 0, 0, 0, -16760, 63356, 0, 109916, 270336, -423198, 0, 49152, 131072, 0, 0, -24240, -16799, 58524, 0, 107404, 294528, -417294, 0, 49152, 129433, 0, 0, -24189, 16776, 58552, 0, -70143, 294528, -452352, 0, 65536, 129433, 0, 0, 0, 16740, 63361, 0, 110318, 302592, -424143, 0, 49152, 127795, 0, 0, -2326, 65263, 5496, 0, -70143, 302592, -459776, 0, 65536, 127795, 0, 0, 0, 65257, 6032, 0, 116246, 294528, -438076, 0, 49152, 126156, 0, 0, 17068, 47963, -41269, 0, -70143, 294528, -474880, 0, 65536, 126156, 0, 0, 0, 47926, -44698, 0, 122777, 270336, -453427, 0, 49152, 124518, 0, 0, 21796, 32333, -52672, 0, -70143, 270336, -491520, 0, 65536, 124518, 0, 0, 0, 32277, -57036, 0, 255569, 270336, -325713, 0, 32768, 131072, 0, 0, -44787, -16824, 44787, 0, 251025, 294528, -321169, 0, 32768, 129433, 0, 0, -44795, 16781, 44795, 0, 256297, 302592, -326440, 0, 32768, 127795, 0, 0, -4254, 65259, 4254, 0, 267020, 294528, -337164, 0, 32768, 126156, 0, 0, 31548, 48003, -31548, 0, 278835, 270336, -348979, 0, 32768, 124518, 0, 0, 40291, 32374, -40291, 0, 353054, 270336, -180060, 0, 16384, 131072, 0, 0, -58524, -16799, 24240, 0, 347150, 294528, -177548, 0, 16384, 129433, 0, 0, -58552, 16776, 24189, 0, 353999, 302592, -180462, 0, 16384, 127795, 0, 0, -5496, 65263, 2326, 0, 367932, 294528, -186390, 0, 16384, 126156, 0, 0, 41269, 47963, -17068, 0, 383283, 270336, -192921, 0, 16384, 124518, 0, 0, 52672, 32333, -21796, 0, 388608, 270336, 0, 0, 0, 131072, 0, 0, -63356, -16760, 0, 0, 382207, 294528, 0, 0, 0, 129433, 0, 0, -63361, 16740, 0, 0, 389632, 302592, 0, 0, 0, 127795, 0, 0, -6032, 65257, 0, 0, 404735, 294528, 0, 0, 0, 126156, 0, 0, 44698, 47926, 0, 0, 421376, 270336, 0, 0, 0, 124518, 0, 0, 57036, 32277, 0, 0, 421376, 270336, 0, 0, 131072, 124518, 0, 0, 57036, 32277, 0, 0, 383283, 270336, 192921, 0, 114688, 124518, 0, 0, 52672, 32333, 21796, 0, 438780, 141695, 216534, 0, 114688, 109772, 0, 0, 55406, 26446, 22926, 0, 481535, 141695, 0, 0, 131072, 109772, 0, 0, 59986, 26392, 0, 0, 487193, 15360, 237132, 0, 114688, 95027, 0, 0, 57016, 22076, 23596, 0, 534016, 15360, 0, 0, 131072, 95027, 0, 0, 61722, 22029, 0, 0, 521436, -106368, 251702, 0, 114688, 80281, 0, 0, 59257, 13486, 24528, 0, 571136, -106368, 0, 0, 131072, 80281, 0, 0, 64139, 13457, 0, 0, 534425, -221184, 257228, 0, 114688, 65536, 0, 0, 60416, -4349, 25018, 0, 585216, -221184, 0, 0, 131072, 65536, 0, 0, 65392, -4341, 0, 0, 278835, 270336, 348979, 0, 98304, 124518, 0, 0, 40291, 32374, 40291, 0, 321548, 141695, 391692, 0, 98304, 109772, 0, 0, 42388, 26482, 42388, 0, 358809, 15360, 428953, 0, 98304, 95027, 0, 0, 43624, 22108, 43624, 0, 385164, -106368, 455308, 0, 98304, 80281, 0, 0, 45345, 13508, 45345, 0, 395161, -221184, 465305, 0, 98304, 65536, 0, 0, 46238, -4356, 46238, 0, 122777, 270336, 453427, 0, 81920, 124518, 0, 0, 21796, 32333, 52672, 0, 146390, 141695, 508924, 0, 81920, 109772, 0, 0, 22926, 26446, 55406, 0, 166988, 15360, 557337, 0, 81920, 95027, 0, 0, 23596, 22076, 57016, 0, 181558, -106368, 591580, 0, 81920, 80281, 0, 0, 24528, 13486, 59257, 0, 187084, -221184, 604569, 0, 81920, 65536, 0, 0, 25018, -4349, 60416, 0, -70143, 270336, 491520, 0, 65536, 124518, 0, 0, 0, 32277, 57036, 0, -70143, 141695, 551680, 0, 65536, 109772, 0, 0, 0, 26392, 59986, 0, -70143, 15360, 604160, 0, 65536, 95027, 0, 0, 0, 22029, 61722, 0, -70143, -106368, 641279, 0, 65536, 80281, 0, 0, 0, 13457, 64139, 0, -70143, -221184, 655360, 0, 65536, 65536, 0, 0, 0, -4341, 65392, 0, -70143, 270336, 491520, 0, 65536, 124518, 0, 0, 0, 32277, 57036, 0, -263065, 270336, 453427, 0, 49152, 124518, 0, 0, -21789, 32279, 52708, 0, -286678, 141695, 508924, 0, 49152, 109772, 0, 0, -22926, 26446, 55406, 0, -70143, 141695, 551680, 0, 65536, 109772, 0, 0, 0, 26392, 59986, 0, -307276, 15360, 557337, 0, 49152, 95027, 0, 0, -23596, 22076, 57016, 0, -70143, 15360, 604160, 0, 65536, 95027, 0, 0, 0, 22029, 61722, 0, -321846, -106368, 591580, 0, 49152, 80281, 0, 0, -24528, 13486, 59257, 0, -70143, -106368, 641279, 0, 65536, 80281, 0, 0, 0, 13457, 64139, 0, -327372, -221184, 604569, 0, 49152, 65536, 0, 0, -25018, -4349, 60416, 0, -70143, -221184, 655360, 0, 65536, 65536, 0, 0, 0, -4341, 65392, 0, -419123, 270336, 348979, 0, 32768, 124518, 0, 0, -40320, 32283, 40336, 0, -461836, 141695, 391692, 0, 32768, 109772, 0, 0, -42388, 26482, 42388, 0, -499097, 15360, 428953, 0, 32768, 95027, 0, 0, -43624, 22108, 43624, 0, -525452, -106368, 455308, 0, 32768, 80281, 0, 0, -45345, 13508, 45345, 0, -535449, -221184, 465305, 0, 32768, 65536, 0, 0, -46238, -4356, 46238, 0, -523571, 270336, 192921, 0, 16384, 124518, 0, 0, -52699, 32285, 21804, 0, -579068, 141695, 216534, 0, 16384, 109772, 0, 0, -55406, 26446, 22926, 0, -627481, 15360, 237132, 0, 16384, 95027, 0, 0, -57016, 22076, 23596, 0, -661724, -106368, 251702, 0, 16384, 80281, 0, 0, -59257, 13486, 24528, 0, -674713, -221184, 257228, 0, 16384, 65536, 0, 0, -60416, -4349, 25018, 0, -561664, 270336, 0, 0, 0, 124518, 0, 0, -57037, 32275, -3, 0, -621823, 141695, 0, 0, 0, 109772, 0, 0, -59986, 26392, 0, 0, -674304, 15360, 0, 0, 0, 95027, 0, 0, -61722, 22029, 0, 0, -711424, -106368, 0, 0, 0, 80281, 0, 0, -64139, 13457, 0, 0, -725504, -221184, 0, 0, 0, 65536, 0, 0, -65392, -4341, 0, 0, -561664, 270336, 0, 0, 131072, 124518, 0, 0, -57037, 32275, -3, 0, -523571, 270336, -192921, 0, 114688, 124518, 0, 0, -52672, 32333, -21796, 0, -579068, 141695, -216534, 0, 114688, 109772, 0, 0, -55406, 26446, -22926, 0, -621823, 141695, 0, 0, 131072, 109772, 0, 0, -59986, 26392, 0, 0, -627481, 15360, -237132, 0, 114688, 95027, 0, 0, -57016, 22076, -23596, 0, -674304, 15360, 0, 0, 131072, 95027, 0, 0, -61722, 22029, 0, 0, -661724, -106368, -251702, 0, 114688, 80281, 0, 0, -59257, 13486, -24528, 0, -711424, -106368, 0, 0, 131072, 80281, 0, 0, -64139, 13457, 0, 0, -674713, -221184, -257228, 0, 114688, 65536, 0, 0, -60416, -4349, -25018, 0, -725504, -221184, 0, 0, 131072, 65536, 0, 0, -65392, -4341, 0, 0, -419123, 270336, -348979, 0, 98304, 124518, 0, 0, -40291, 32374, -40291, 0, -461836, 141695, -391692, 0, 98304, 109772, 0, 0, -42388, 26482, -42388, 0, -499097, 15360, -428953, 0, 98304, 95027, 0, 0, -43624, 22108, -43624, 0, -525452, -106368, -455308, 0, 98304, 80281, 0, 0, -45345, 13508, -45345, 0, -535449, -221184, -465305, 0, 98304, 65536, 0, 0, -46238, -4356, -46238, 0, -263065, 270336, -453427, 0, 81920, 124518, 0, 0, -21796, 32333, -52672, 0, -286678, 141695, -508924, 0, 81920, 109772, 0, 0, -22926, 26446, -55406, 0, -307276, 15360, -557337, 0, 81920, 95027, 0, 0, -23596, 22076, -57016, 0, -321846, -106368, -591580, 0, 81920, 80281, 0, 0, -24528, 13486, -59257, 0, -327372, -221184, -604569, 0, 81920, 65536, 0, 0, -25018, -4349, -60416, 0, -70143, 270336, -491520, 0, 65536, 124518, 0, 0, 0, 32277, -57036, 0, -70143, 141695, -551680, 0, 65536, 109772, 0, 0, 0, 26392, -59986, 0, -70143, 15360, -604160, 0, 65536, 95027, 0, 0, 0, 22029, -61722, 0, -70143, -106368, -641279, 0, 65536, 80281, 0, 0, 0, 13457, -64139, 0, -70143, -221184, -655360, 0, 65536, 65536, 0, 0, 0, -4341, -65392, 0, -70143, 270336, -491520, 0, 65536, 124518, 0, 0, 0, 32277, -57036, 0, 122777, 270336, -453427, 0, 49152, 124518, 0, 0, 21796, 32333, -52672, 0, 146390, 141695, -508924, 0, 49152, 109772, 0, 0, 22926, 26446, -55406, 0, -70143, 141695, -551680, 0, 65536, 109772, 0, 0, 0, 26392, -59986, 0, 166988, 15360, -557337, 0, 49152, 95027, 0, 0, 23596, 22076, -57016, 0, -70143, 15360, -604160, 0, 65536, 95027, 0, 0, 0, 22029, -61722, 0, 181558, -106368, -591580, 0, 49152, 80281, 0, 0, 24528, 13486, -59257, 0, -70143, -106368, -641279, 0, 65536, 80281, 0, 0, 0, 13457, -64139, 0, 187084, -221184, -604569, 0, 49152, 65536, 0, 0, 25018, -4349, -60416, 0, -70143, -221184, -655360, 0, 65536, 65536, 0, 0, 0, -4341, -65392, 0, 278835, 270336, -348979, 0, 32768, 124518, 0, 0, 40291, 32374, -40291, 0, 321548, 141695, -391692, 0, 32768, 109772, 0, 0, 42388, 26482, -42388, 0, 358809, 15360, -428953, 0, 32768, 95027, 0, 0, 43624, 22108, -43624, 0, 385164, -106368, -455308, 0, 32768, 80281, 0, 0, 45345, 13508, -45345, 0, 395161, -221184, -465305, 0, 32768, 65536, 0, 0, 46238, -4356, -46238, 0, 383283, 270336, -192921, 0, 16384, 124518, 0, 0, 52672, 32333, -21796, 0, 438780, 141695, -216534, 0, 16384, 109772, 0, 0, 55406, 26446, -22926, 0, 487193, 15360, -237132, 0, 16384, 95027, 0, 0, 57016, 22076, -23596, 0, 521436, -106368, -251702, 0, 16384, 80281, 0, 0, 59257, 13486, -24528, 0, 534425, -221184, -257228, 0, 16384, 65536, 0, 0, 60416, -4349, -25018, 0, 421376, 270336, 0, 0, 0, 124518, 0, 0, 57036, 32277, 0, 0, 481535, 141695, 0, 0, 0, 109772, 0, 0, 59986, 26392, 0, 0, 534016, 15360, 0, 0, 0, 95027, 0, 0, 61722, 22029, 0, 0, 571136, -106368, 0, 0, 0, 80281, 0, 0, 64139, 13457, 0, 0, 585216, -221184, 0, 0, 0, 65536, 0, 0, 65392, -4341, 0, 0, 585216, -221184, 0, 0, 131072, 65536, 0, 0, 65392, -4341, 0, 0, 534425, -221184, 257228, 0, 114688, 65536, 0, 0, 60416, -4349, 25018, 0, 510809, -318336, 247180, 0, 114688, 55705, 0, 0, 54489, -28585, 22556, 0, 559616, -318336, 0, 0, 131072, 55705, 0, 0, 58994, -28541, 0, 0, 458854, -390144, 225075, 0, 114688, 45875, 0, 0, 44139, -44870, 18257, 0, 503296, -390144, 0, 0, 131072, 45875, 0, 0, 47815, -44817, 0, 0, 406899, -438912, 202969, 0, 114688, 36044, 0, 0, 41969, -47246, 17358, 0, 446976, -438912, 0, 0, 131072, 36044, 0, 0, 45478, -47187, 0, 0, 383283, -466944, 192921, 0, 114688, 26214, 0, 0, 48034, -39911, 19868, 0, 421376, -466944, 0, 0, 131072, 26214, 0, 0, 52032, -39844, 0, 0, 395161, -221184, 465305, 0, 98304, 65536, 0, 0, 46238, -4356, 46238, 0, 376985, -318336, 447129, 0, 98304, 55705, 0, 0, 41686, -28624, 41686, 0, 336998, -390144, 407142, 0, 98304, 45875, 0, 0, 33748, -44911, 33748, 0, 297011, -438912, 367155, 0, 98304, 36044, 0, 0, 32089, -47280, 32089, 0, 278835, -466944, 348979, 0, 98304, 26214, 0, 0, 36736, -39947, 36736, 0, 187084, -221184, 604569, 0, 81920, 65536, 0, 0, 25018, -4349, 60416, 0, 177036, -318336, 580953, 0, 81920, 55705, 0, 0, 22556, -28585, 54489, 0, 154931, -390144, 528998, 0, 81920, 45875, 0, 0, 18258, -44870, 44139, 0, 132825, -438912, 477043, 0, 81920, 36044, 0, 0, 17358, -47246, 41969, 0, 122777, -466944, 453427, 0, 81920, 26214, 0, 0, 19868, -39911, 48034, 0, -70143, -221184, 655360, 0, 65536, 65536, 0, 0, 0, -4341, 65392, 0, -70143, -318336, 629760, 0, 65536, 55705, 0, 0, 0, -28541, 58994, 0, -70143, -390144, 573440, 0, 65536, 45875, 0, 0, 0, -44817, 47815, 0, -70143, -438912, 517120, 0, 65536, 36044, 0, 0, 0, -47187, 45478, 0, -70143, -466944, 491520, 0, 65536, 26214, 0, 0, 0, -39844, 52032, 0, -70143, -221184, 655360, 0, 65536, 65536, 0, 0, 0, -4341, 65392, 0, -327372, -221184, 604569, 0, 49152, 65536, 0, 0, -25018, -4349, 60416, 0, -317324, -318336, 580953, 0, 49152, 55705, 0, 0, -22556, -28585, 54489, 0, -70143, -318336, 629760, 0, 65536, 55705, 0, 0, 0, -28541, 58994, 0, -295219, -390144, 528998, 0, 49152, 45875, 0, 0, -18257, -44870, 44139, 0, -70143, -390144, 573440, 0, 65536, 45875, 0, 0, 0, -44817, 47815, 0, -273113, -438912, 477043, 0, 49152, 36044, 0, 0, -17358, -47246, 41969, 0, -70143, -438912, 517120, 0, 65536, 36044, 0, 0, 0, -47187, 45478, 0, -263065, -466944, 453427, 0, 49152, 26214, 0, 0, -19868, -39911, 48034, 0, -70143, -466944, 491520, 0, 65536, 26214, 0, 0, 0, -39844, 52032, 0, -535449, -221184, 465305, 0, 32768, 65536, 0, 0, -46238, -4356, 46238, 0, -517273, -318336, 447129, 0, 32768, 55705, 0, 0, -41686, -28624, 41686, 0, -477286, -390144, 407142, 0, 32768, 45875, 0, 0, -33748, -44911, 33748, 0, -437299, -438912, 367155, 0, 32768, 36044, 0, 0, -32089, -47280, 32089, 0, -419123, -466944, 348979, 0, 32768, 26214, 0, 0, -36736, -39947, 36736, 0, -674713, -221184, 257228, 0, 16384, 65536, 0, 0, -60416, -4349, 25018, 0, -651097, -318336, 247180, 0, 16384, 55705, 0, 0, -54489, -28585, 22556, 0, -599142, -390144, 225075, 0, 16384, 45875, 0, 0, -44139, -44870, 18258, 0, -547187, -438912, 202969, 0, 16384, 36044, 0, 0, -41969, -47246, 17358, 0, -523571, -466944, 192921, 0, 16384, 26214, 0, 0, -48034, -39911, 19868, 0, -725504, -221184, 0, 0, 0, 65536, 0, 0, -65392, -4341, 0, 0, -699904, -318336, 0, 0, 0, 55705, 0, 0, -58994, -28541, 0, 0, -643584, -390144, 0, 0, 0, 45875, 0, 0, -47815, -44817, 0, 0, -587264, -438912, 0, 0, 0, 36044, 0, 0, -45478, -47187, 0, 0, -561664, -466944, 0, 0, 0, 26214, 0, 0, -52032, -39844, 0, 0, -725504, -221184, 0, 0, 131072, 65536, 0, 0, -65392, -4341, 0, 0, -674713, -221184, -257228, 0, 114688, 65536, 0, 0, -60416, -4349, -25018, 0, -651097, -318336, -247180, 0, 114688, 55705, 0, 0, -54489, -28585, -22556, 0, -699904, -318336, 0, 0, 131072, 55705, 0, 0, -58994, -28541, 0, 0, -599142, -390144, -225075, 0, 114688, 45875, 0, 0, -44139, -44870, -18257, 0, -643584, -390144, 0, 0, 131072, 45875, 0, 0, -47815, -44817, 0, 0, -547187, -438912, -202969, 0, 114688, 36044, 0, 0, -41969, -47246, -17358, 0, -587264, -438912, 0, 0, 131072, 36044, 0, 0, -45478, -47187, 0, 0, -523571, -466944, -192921, 0, 114688, 26214, 0, 0, -48034, -39911, -19868, 0, -561664, -466944, 0, 0, 131072, 26214, 0, 0, -52032, -39844, 0, 0, -535449, -221184, -465305, 0, 98304, 65536, 0, 0, -46238, -4356, -46238, 0, -517273, -318336, -447129, 0, 98304, 55705, 0, 0, -41686, -28624, -41686, 0, -477286, -390144, -407142, 0, 98304, 45875, 0, 0, -33748, -44911, -33748, 0, -437299, -438912, -367155, 0, 98304, 36044, 0, 0, -32089, -47280, -32089, 0, -419123, -466944, -348979, 0, 98304, 26214, 0, 0, -36736, -39947, -36736, 0, -327372, -221184, -604569, 0, 81920, 65536, 0, 0, -25018, -4349, -60416, 0, -317324, -318336, -580953, 0, 81920, 55705, 0, 0, -22556, -28585, -54489, 0, -295219, -390144, -528998, 0, 81920, 45875, 0, 0, -18258, -44870, -44139, 0, -273113, -438912, -477043, 0, 81920, 36044, 0, 0, -17358, -47246, -41969, 0, -263065, -466944, -453427, 0, 81920, 26214, 0, 0, -19868, -39911, -48034, 0, -70143, -221184, -655360, 0, 65536, 65536, 0, 0, 0, -4341, -65392, 0, -70143, -318336, -629760, 0, 65536, 55705, 0, 0, 0, -28541, -58994, 0, -70143, -390144, -573440, 0, 65536, 45875, 0, 0, 0, -44817, -47815, 0, -70143, -438912, -517120, 0, 65536, 36044, 0, 0, 0, -47187, -45478, 0, -70143, -466944, -491520, 0, 65536, 26214, 0, 0, 0, -39844, -52032, 0, -70143, -221184, -655360, 0, 65536, 65536, 0, 0, 0, -4341, -65392, 0, 187084, -221184, -604569, 0, 49152, 65536, 0, 0, 25018, -4349, -60416, 0, 177036, -318336, -580953, 0, 49152, 55705, 0, 0, 22556, -28585, -54489, 0, -70143, -318336, -629760, 0, 65536, 55705, 0, 0, 0, -28541, -58994, 0, 154931, -390144, -528998, 0, 49152, 45875, 0, 0, 18257, -44870, -44139, 0, -70143, -390144, -573440, 0, 65536, 45875, 0, 0, 0, -44817, -47815, 0, 132825, -438912, -477043, 0, 49152, 36044, 0, 0, 17358, -47246, -41969, 0, -70143, -438912, -517120, 0, 65536, 36044, 0, 0, 0, -47187, -45478, 0, 122777, -466944, -453427, 0, 49152, 26214, 0, 0, 19868, -39911, -48034, 0, -70143, -466944, -491520, 0, 65536, 26214, 0, 0, 0, -39844, -52032, 0, 395161, -221184, -465305, 0, 32768, 65536, 0, 0, 46238, -4356, -46238, 0, 376985, -318336, -447129, 0, 32768, 55705, 0, 0, 41686, -28624, -41686, 0, 336998, -390144, -407142, 0, 32768, 45875, 0, 0, 33748, -44911, -33748, 0, 297011, -438912, -367155, 0, 32768, 36044, 0, 0, 32089, -47280, -32089, 0, 278835, -466944, -348979, 0, 32768, 26214, 0, 0, 36736, -39947, -36736, 0, 534425, -221184, -257228, 0, 16384, 65536, 0, 0, 60416, -4349, -25018, 0, 510809, -318336, -247180, 0, 16384, 55705, 0, 0, 54489, -28585, -22556, 0, 458854, -390144, -225075, 0, 16384, 45875, 0, 0, 44139, -44870, -18258, 0, 406899, -438912, -202969, 0, 16384, 36044, 0, 0, 41969, -47246, -17358, 0, 383283, -466944, -192921, 0, 16384, 26214, 0, 0, 48034, -39911, -19868, 0, 585216, -221184, 0, 0, 0, 65536, 0, 0, 65392, -4341, 0, 0, 559616, -318336, 0, 0, 0, 55705, 0, 0, 58994, -28541, 0, 0, 503296, -390144, 0, 0, 0, 45875, 0, 0, 47815, -44817, 0, 0, 446976, -438912, 0, 0, 0, 36044, 0, 0, 45478, -47187, 0, 0, 421376, -466944, 0, 0, 0, 26214, 0, 0, 52032, -39844, 0, 0, 421376, -466944, 0, 0, 131072, 26214, 0, 0, 52032, -39844, 0, 0, 383283, -466944, 192921, 0, 114688, 26214, 0, 0, 48034, -39911, 19868, 0, 373010, -484992, 188550, 0, 114688, 19660, 0, 0, 37763, -51236, 15611, 0, 410240, -484992, 0, 0, 131072, 19660, 0, 0, 40885, -51218, 0, 0, 318103, -500736, 165189, 0, 114688, 13107, 0, 0, 10723, -64501, 4425, 0, 350720, -500736, 0, 0, 131072, 13107, 0, 0, 11618, -64497, 0, 0, 182429, -511872, 107463, 0, 114688, 6553, 0, 0, 2976, -65456, 1227, 0, 203648, -511872, 0, 0, 131072, 6553, 0, 0, 3224, -65456, 0, 0, -70143, -516096, 0, 0, 114688, 0, 0, 0, 0, -65536, 0, 0, 278835, -466944, 348979, 0, 98304, 26214, 0, 0, 36736, -39947, 36736, 0, 270928, -484992, 341072, 0, 98304, 19660, 0, 0, 28863, -51271, 28863, 0, 228669, -500736, 298813, 0, 98304, 13107, 0, 0, 8185, -64505, 8185, 0, 124248, -511872, 194392, 0, 98304, 6553, 0, 0, 2271, -65457, 2271, 0, -70143, -516096, 0, 0, 98304, 0, 0, 0, 0, -65536, 0, 0, 122777, -466944, 453427, 0, 81920, 26214, 0, 0, 19868, -39911, 48034, 0, 118406, -484992, 443154, 0, 81920, 19660, 0, 0, 15611, -51236, 37763, 0, 95045, -500736, 388247, 0, 81920, 13107, 0, 0, 4425, -64501, 10723, 0, 37319, -511872, 252573, 0, 81920, 6553, 0, 0, 1227, -65456, 2976, 0, -70143, -516096, 0, 0, 81920, 0, 0, 0, 0, -65536, 0, 0, -70143, -466944, 491520, 0, 65536, 26214, 0, 0, 0, -39844, 52032, 0, -70143, -484992, 480383, 0, 65536, 19660, 0, 0, 0, -51218, 40885, 0, -70143, -500736, 420864, 0, 65536, 13107, 0, 0, 0, -64497, 11618, 0, -70143, -511872, 273791, 0, 65536, 6553, 0, 0, 0, -65456, 3224, 0, -70143, -516096, 0, 0, 65536, 0, 0, 0, 0, -65536, 0, 0, -70143, -466944, 491520, 0, 65536, 26214, 0, 0, 0, -39844, 52032, 0, -263065, -466944, 453427, 0, 49152, 26214, 0, 0, -19868, -39911, 48034, 0, -258694, -484992, 443154, 0, 49152, 19660, 0, 0, -15611, -51236, 37763, 0, -70143, -484992, 480383, 0, 65536, 19660, 0, 0, 0, -51218, 40885, 0, -235333, -500736, 388247, 0, 49152, 13107, 0, 0, -4425, -64501, 10723, 0, -70143, -500736, 420864, 0, 65536, 13107, 0, 0, 0, -64497, 11618, 0, -177607, -511872, 252573, 0, 49152, 6553, 0, 0, -1227, -65456, 2976, 0, -70143, -511872, 273791, 0, 65536, 6553, 0, 0, 0, -65456, 3224, 0, -70143, -516096, 0, 0, 49152, 0, 0, 0, 0, -65536, 0, 0, -419123, -466944, 348979, 0, 32768, 26214, 0, 0, -36736, -39947, 36736, 0, -411216, -484992, 341072, 0, 32768, 19660, 0, 0, -28863, -51271, 28863, 0, -368957, -500736, 298813, 0, 32768, 13107, 0, 0, -8185, -64505, 8185, 0, -264536, -511872, 194392, 0, 32768, 6553, 0, 0, -2271, -65457, 2271, 0, -70143, -516096, 0, 0, 32768, 0, 0, 0, 0, -65536, 0, 0, -523571, -466944, 192921, 0, 16384, 26214, 0, 0, -48034, -39911, 19868, 0, -513298, -484992, 188550, 0, 16384, 19660, 0, 0, -37763, -51236, 15611, 0, -458391, -500736, 165189, 0, 16384, 13107, 0, 0, -10723, -64501, 4425, 0, -322717, -511872, 107463, 0, 16384, 6553, 0, 0, -2976, -65456, 1227, 0, -70143, -516096, 0, 0, 16384, 0, 0, 0, 0, -65536, 0, 0, -561664, -466944, 0, 0, 0, 26214, 0, 0, -52032, -39844, 0, 0, -550528, -484992, 0, 0, 0, 19660, 0, 0, -40885, -51218, 0, 0, -491008, -500736, 0, 0, 0, 13107, 0, 0, -11618, -64497, 0, 0, -343936, -511872, 0, 0, 0, 6553, 0, 0, -3224, -65456, 0, 0, -70143, -516096, 0, 0, 0, 0, 0, 0, 0, -65536, 0, 0, -561664, -466944, 0, 0, 131072, 26214, 0, 0, -52032, -39844, 0, 0, -523571, -466944, -192921, 0, 114688, 26214, 0, 0, -48034, -39911, -19868, 0, -513298, -484992, -188550, 0, 114688, 19660, 0, 0, -37763, -51236, -15611, 0, -550528, -484992, 0, 0, 131072, 19660, 0, 0, -40885, -51218, 0, 0, -458391, -500736, -165189, 0, 114688, 13107, 0, 0, -10723, -64501, -4425, 0, -491008, -500736, 0, 0, 131072, 13107, 0, 0, -11618, -64497, 0, 0, -322717, -511872, -107463, 0, 114688, 6553, 0, 0, -2976, -65456, -1227, 0, -343936, -511872, 0, 0, 131072, 6553, 0, 0, -3224, -65456, 0, 0, -70143, -516096, 0, 0, 114688, 0, 0, 0, 0, -65536, 0, 0, -419123, -466944, -348979, 0, 98304, 26214, 0, 0, -36736, -39947, -36736, 0, -411216, -484992, -341072, 0, 98304, 19660, 0, 0, -28863, -51271, -28863, 0, -368957, -500736, -298813, 0, 98304, 13107, 0, 0, -8185, -64505, -8185, 0, -264536, -511872, -194392, 0, 98304, 6553, 0, 0, -2271, -65457, -2271, 0, -70143, -516096, 0, 0, 98304, 0, 0, 0, 0, -65536, 0, 0, -263065, -466944, -453427, 0, 81920, 26214, 0, 0, -19868, -39911, -48034, 0, -258694, -484992, -443154, 0, 81920, 19660, 0, 0, -15611, -51236, -37763, 0, -235333, -500736, -388247, 0, 81920, 13107, 0, 0, -4425, -64501, -10723, 0, -177607, -511872, -252573, 0, 81920, 6553, 0, 0, -1227, -65456, -2976, 0, -70143, -516096, 0, 0, 81920, 0, 0, 0, 0, -65536, 0, 0, -70143, -466944, -491520, 0, 65536, 26214, 0, 0, 0, -39844, -52032, 0, -70143, -484992, -480383, 0, 65536, 19660, 0, 0, 0, -51218, -40885, 0, -70143, -500736, -420864, 0, 65536, 13107, 0, 0, 0, -64497, -11618, 0, -70143, -511872, -273791, 0, 65536, 6553, 0, 0, 0, -65456, -3224, 0, -70143, -516096, 0, 0, 65536, 0, 0, 0, 0, -65536, 0, 0, -70143, -466944, -491520, 0, 65536, 26214, 0, 0, 0, -39844, -52032, 0, 122777, -466944, -453427, 0, 49152, 26214, 0, 0, 19868, -39911, -48034, 0, 118406, -484992, -443154, 0, 49152, 19660, 0, 0, 15611, -51236, -37763, 0, -70143, -484992, -480383, 0, 65536, 19660, 0, 0, 0, -51218, -40885, 0, 95045, -500736, -388247, 0, 49152, 13107, 0, 0, 4425, -64501, -10723, 0, -70143, -500736, -420864, 0, 65536, 13107, 0, 0, 0, -64497, -11618, 0, 37319, -511872, -252573, 0, 49152, 6553, 0, 0, 1227, -65456, -2976, 0, -70143, -511872, -273791, 0, 65536, 6553, 0, 0, 0, -65456, -3224, 0, -70143, -516096, 0, 0, 49152, 0, 0, 0, 0, -65536, 0, 0, 278835, -466944, -348979, 0, 32768, 26214, 0, 0, 36736, -39947, -36736, 0, 270928, -484992, -341072, 0, 32768, 19660, 0, 0, 28863, -51271, -28863, 0, 228669, -500736, -298813, 0, 32768, 13107, 0, 0, 8185, -64505, -8185, 0, 124248, -511872, -194392, 0, 32768, 6553, 0, 0, 2271, -65457, -2271, 0, -70143, -516096, 0, 0, 32768, 0, 0, 0, 0, -65536, 0, 0, 383283, -466944, -192921, 0, 16384, 26214, 0, 0, 48034, -39911, -19868, 0, 373010, -484992, -188550, 0, 16384, 19660, 0, 0, 37763, -51236, -15611, 0, 318103, -500736, -165189, 0, 16384, 13107, 0, 0, 10723, -64501, -4425, 0, 182429, -511872, -107463, 0, 16384, 6553, 0, 0, 2976, -65456, -1227, 0, -70143, -516096, 0, 0, 16384, 0, 0, 0, 0, -65536, 0, 0, 421376, -466944, 0, 0, 0, 26214, 0, 0, 52032, -39844, 0, 0, 410240, -484992, 0, 0, 0, 19660, 0, 0, 40885, -51218, 0, 0, 350720, -500736, 0, 0, 0, 13107, 0, 0, 11618, -64497, 0, 0, 203648, -511872, 0, 0, 0, 6553, 0, 0, 3224, -65456, 0, 0, -70143, -516096, 0, 0, 0, 0, 0, 0, 0, -65536, 0, 0, -594432, 147456, 0, 0, 65536, 65536, 0, 0, 510, -65534, -14, 0, -589312, 158975, 55296, 0, 57344, 65536, 0, 0, 461, -53247, 38202, 0, -752079, 157644, 55296, 0, 57344, 57344, 0, 0, 2367, -54870, 35757, 0, -747520, 146304, 0, 0, 65536, 57344, 0, 0, 2564, -65485, -64, 0, -871551, 148320, 55296, 0, 57344, 49152, 0, 0, 10606, -53111, 36899, 0, -860672, 138240, 0, 0, 65536, 49152, 0, 0, 11764, -64470, -286, 0, -945136, 123011, 55296, 0, 57344, 40960, 0, 0, 31612, -39003, 42123, 0, -930816, 116352, 0, 0, 65536, 40960, 0, 0, 40127, -51809, -685, 0, -970240, 73728, 55296, 0, 57344, 32768, 0, 0, 48412, -7510, 43528, 0, -954880, 73728, 0, 0, 65536, 32768, 0, 0, 64628, -10859, -437, 0, -578048, 184320, 73728, 0, 49152, 65536, 0, 0, -125, 10624, 64668, 0, -762111, 182592, 73728, 0, 49152, 57344, 0, 0, 181, 1121, 65526, 0, -895488, 170496, 73728, 0, 49152, 49152, 0, 0, 690, 4810, 65355, 0, -976640, 137664, 73728, 0, 49152, 40960, 0, 0, -4328, 8524, 64834, 0, -1004032, 73728, 73728, 0, 49152, 32768, 0, 0, -6188, 1087, 65234, 0, -566784, 209664, 55296, 0, 40960, 65536, 0, 0, -603, 57115, 32131, 0, -772143, 207539, 55296, 0, 40960, 57344, 0, 0, -3185, 55090, 35353, 0, -919424, 192671, 55296, 0, 40960, 49152, 0, 0, -14634, 52617, 36224, 0, -1008144, 152316, 55296, 0, 40960, 40960, 0, 0, -39083, 36698, 37692, 0, -1037824, 73728, 55296, 0, 40960, 32768, 0, 0, -52647, 4471, 38771, 0, -561664, 221184, 0, 0, 32768, 65536, 0, 0, -692, 65532, 6, 0, -776704, 218880, 0, 0, 32768, 57344, 0, 0, -3853, 65422, 46, 0, -930304, 202752, 0, 0, 32768, 49152, 0, 0, -18396, 62900, 214, 0, -1022464, 158975, 0, 0, 32768, 40960, 0, 0, -49133, 43367, 279, 0, -1053184, 73728, 0, 0, 32768, 32768, 0, 0, -65362, 4765, 134, 0, -561664, 221184, 0, 0, 32768, 65536, 0, 0, -692, 65532, 6, 0, -566784, 209664, -55296, 0, 24576, 65536, 0, 0, -576, 57114, -32134, 0, -772143, 207539, -55296, 0, 24576, 57344, 0, 0, -3047, 55127, -35307, 0, -776704, 218880, 0, 0, 32768, 57344, 0, 0, -3853, 65422, 46, 0, -919424, 192671, -55296, 0, 24576, 49152, 0, 0, -14280, 52874, -35989, 0, -930304, 202752, 0, 0, 32768, 49152, 0, 0, -18396, 62900, 214, 0, -1008144, 152316, -55296, 0, 24576, 40960, 0, 0, -39144, 36701, -37625, 0, -1022464, 158975, 0, 0, 32768, 40960, 0, 0, -49133, 43367, 279, 0, -1037824, 73728, -55296, 0, 24576, 32768, 0, 0, -52690, 4123, -38750, 0, -1053184, 73728, 0, 0, 32768, 32768, 0, 0, -65362, 4765, 134, 0, -578048, 184320, -73728, 0, 16384, 65536, 0, 0, -118, 10596, -64673, 0, -762111, 182592, -73728, 0, 16384, 57344, 0, 0, 133, 953, -65528, 0, -895488, 170496, -73728, 0, 16384, 49152, 0, 0, 603, 3936, -65414, 0, -976640, 137664, -73728, 0, 16384, 40960, 0, 0, -3888, 7462, -64993, 0, -1004032, 73728, -73728, 0, 16384, 32768, 0, 0, -5695, 805, -65283, 0, -589312, 158975, -55296, 0, 8192, 65536, 0, 0, 420, -53240, -38213, 0, -752079, 157644, -55296, 0, 8192, 57344, 0, 0, 2214, -54887, -35741, 0, -871551, 148320, -55296, 0, 8192, 49152, 0, 0, 10296, -53211, -36843, 0, -945136, 123011, -55296, 0, 8192, 40960, 0, 0, 31746, -38624, -42370, 0, -970240, 73728, -55296, 0, 8192, 32768, 0, 0, 48422, -6640, -43659, 0, -594432, 147456, 0, 0, 0, 65536, 0, 0, 510, -65534, -14, 0, -747520, 146304, 0, 0, 0, 57344, 0, 0, 2564, -65485, -64, 0, -860672, 138240, 0, 0, 0, 49152, 0, 0, 11764, -64470, -286, 0, -930816, 116352, 0, 0, 0, 40960, 0, 0, 40127, -51809, -685, 0, -954880, 73728, 0, 0, 0, 32768, 0, 0, 64628, -10859, -437, 0, -954880, 73728, 0, 0, 65536, 32768, 0, 0, 64628, -10859, -437, 0, -970240, 73728, 55296, 0, 57344, 32768, 0, 0, 48412, -7510, 43528, 0, -956040, 462, 55296, 0, 57344, 24576, 0, 0, 47553, 16996, 41770, 0, -942080, 6912, 0, 0, 65536, 24576, 0, 0, 62030, 21145, -220, 0, -911552, -83567, 55296, 0, 57344, 16384, 0, 0, 42332, 30276, 39827, 0, -901632, -73728, 0, 0, 65536, 16384, 0, 0, 54121, 36953, -488, 0, -833944, -166517, 55296, 0, 57344, 8192, 0, 0, 34839, 41724, 36609, 0, -830464, -154368, 0, 0, 65536, 8192, 0, 0, 42599, 49800, -454, 0, -720384, -236544, 55296, 0, 57344, 0, 0, 0, 27850, 44677, 39029, 0, -725504, -221184, 0, 0, 65536, 0, 0, 0, 34893, 55473, -343, 0, -1004032, 73728, 73728, 0, 49152, 32768, 0, 0, -6188, 1087, 65234, 0, -986752, -13728, 73728, 0, 49152, 24576, 0, 0, -3248, -1294, 65442, 0, -933376, -105216, 73728, 0, 49152, 16384, 0, 0, -2478, -2334, 65447, 0, -841600, -193247, 73728, 0, 49152, 8192, 0, 0, -2484, -2392, 65445, 0, -709120, -270336, 73728, 0, 49152, 0, 0, 0, -11066, -19526, 61573, 0, -1037824, 73728, 55296, 0, 40960, 32768, 0, 0, -52647, 4471, 38771, 0, -1017464, -27918, 55296, 0, 40960, 24576, 0, 0, -48650, -19606, 39290, 0, -955199, -126863, 55296, 0, 40960, 16384, 0, 0, -40606, -34695, 37978, 0, -849255, -219978, 55296, 0, 40960, 8192, 0, 0, -31700, -44941, 35640, 0, -697856, -304128, 55296, 0, 40960, 0, 0, 0, -29182, -52058, 27077, 0, -1053184, 73728, 0, 0, 32768, 32768, 0, 0, -65362, 4765, 134, 0, -1031423, -34367, 0, 0, 32768, 24576, 0, 0, -60719, -24658, 130, 0, -965120, -136704, 0, 0, 32768, 16384, 0, 0, -49408, -43054, 282, 0, -852736, -232127, 0, 0, 32768, 8192, 0, 0, -37108, -54017, 226, 0, -692736, -319488, 0, 0, 32768, 0, 0, 0, -31575, -57427, 121, 0, -1053184, 73728, 0, 0, 32768, 32768, 0, 0, -65362, 4765, 134, 0, -1037824, 73728, -55296, 0, 24576, 32768, 0, 0, -52690, 4123, -38750, 0, -1017464, -27918, -55296, 0, 24576, 24576, 0, 0, -48803, -19295, -39254, 0, -1031423, -34367, 0, 0, 32768, 24576, 0, 0, -60719, -24658, 130, 0, -955199, -126863, -55296, 0, 24576, 16384, 0, 0, -40760, -34610, -37890, 0, -965120, -136704, 0, 0, 32768, 16384, 0, 0, -49408, -43054, 282, 0, -849255, -219978, -55296, 0, 24576, 8192, 0, 0, -31534, -45111, -35574, 0, -852736, -232127, 0, 0, 32768, 8192, 0, 0, -37108, -54017, 226, 0, -697856, -304128, -55296, 0, 24576, 0, 0, 0, -28708, -52234, -27246, 0, -692736, -319488, 0, 0, 32768, 0, 0, 0, -31575, -57427, 121, 0, -1004032, 73728, -73728, 0, 16384, 32768, 0, 0, -5695, 805, -65283, 0, -986752, -13728, -73728, 0, 16384, 24576, 0, 0, -2905, -1117, -65462, 0, -933376, -105216, -73728, 0, 16384, 16384, 0, 0, -1715, -1845, -65487, 0, -841600, -193247, -73728, 0, 16384, 8192, 0, 0, -1657, -1856, -65488, 0, -709120, -270336, -73728, 0, 16384, 0, 0, 0, -10320, -18965, -61876, 0, -970240, 73728, -55296, 0, 8192, 32768, 0, 0, 48422, -6640, -43659, 0, -956040, 462, -55296, 0, 8192, 24576, 0, 0, 47726, 16541, -41755, 0, -911552, -83567, -55296, 0, 8192, 16384, 0, 0, 42405, 30128, -39862, 0, -833944, -166517, -55296, 0, 8192, 8192, 0, 0, 34274, 41986, -36842, 0, -720384, -236544, -55296, 0, 8192, 0, 0, 0, 26868, 44751, -39627, 0, -954880, 73728, 0, 0, 0, 32768, 0, 0, 64628, -10859, -437, 0, -942080, 6912, 0, 0, 0, 24576, 0, 0, 62030, 21145, -220, 0, -901632, -73728, 0, 0, 0, 16384, 0, 0, 54121, 36953, -488, 0, -830464, -154368, 0, 0, 0, 8192, 0, 0, 42599, 49800, -454, 0, -725504, -221184, 0, 0, 0, 0, 0, 0, 34893, 55473, -343, 0, 486912, -49152, 0, 0, 32768, 0, 0, 0, -15124, 63765, -427, 0, 486912, -91391, 121651, 0, 40960, 0, 0, 0, -10018, 45037, 46543, 0, 656095, -44375, 109843, 0, 40960, 14745, 0, 0, -20756, 41795, 46013, 0, 644096, -13056, 0, 0, 32768, 14745, 0, 0, -35975, 54779, -99, 0, 727552, 55488, 83865, 0, 40960, 29491, 0, 0, -39391, 30897, 42292, 0, 712192, 73728, 0, 0, 32768, 29491, 0, 0, -57387, 31641, 648, 0, 768288, 172344, 57888, 0, 40960, 44236, 0, 0, -41673, 29234, 41274, 0, 749568, 178944, 0, 0, 32768, 44236, 0, 0, -57511, 31398, 1251, 0, 845312, 270336, 46080, 0, 40960, 58982, 0, 0, -28557, 39387, 43909, 0, 814592, 270336, 0, 0, 32768, 58982, 0, 0, -45625, 47018, 1605, 0, 486912, -184320, 162201, 0, 49152, 0, 0, 0, 7281, -5575, 64891, 0, 682496, -113280, 146457, 0, 49152, 14745, 0, 0, 14634, 428, 63879, 0, 761344, 15360, 111820, 0, 49152, 29491, 0, 0, 12458, 10155, 63534, 0, 809472, 157823, 77183, 0, 49152, 44236, 0, 0, 345, 12417, 64347, 0, 912896, 270336, 61440, 0, 49152, 58982, 0, 0, -770, 16166, 63505, 0, 486912, -277248, 121651, 0, 57344, 0, 0, 0, 22538, -47369, 39283, 0, 708896, -182183, 109843, 0, 57344, 14745, 0, 0, 37518, -37201, 38772, 0, 795136, -24768, 83865, 0, 57344, 29491, 0, 0, 51605, -16807, 36733, 0, 850655, 143304, 57888, 0, 57344, 44236, 0, 0, 42408, -20078, 45753, 0, 980480, 270336, 46080, 0, 57344, 58982, 0, 0, 28018, -32724, 49386, 0, 486912, -319488, 0, 0, 65536, 0, 0, 0, 26930, -59747, 84, 0, 720896, -213504, 0, 0, 65536, 14745, 0, 0, 44008, -48561, -58, 0, 810496, -43008, 0, 0, 65536, 29491, 0, 0, 60425, -25366, -475, 0, 869376, 136704, 0, 0, 65536, 44236, 0, 0, 55503, -34836, -907, 0, 1011200, 270336, 0, 0, 65536, 58982, 0, 0, 35122, -55325, -688, 0, 486912, -319488, 0, 0, 0, 0, 0, 0, 26930, -59747, 84, 0, 486912, -277248, -121651, 0, 8192, 0, 0, 0, 22360, -47370, -39382, 0, 708896, -182183, -109843, 0, 8192, 14745, 0, 0, 37923, -36774, -38786, 0, 720896, -213504, 0, 0, 0, 14745, 0, 0, 44008, -48561, -58, 0, 795136, -24768, -83865, 0, 8192, 29491, 0, 0, 51437, -16450, -37128, 0, 810496, -43008, 0, 0, 0, 29491, 0, 0, 60425, -25366, -475, 0, 850655, 143304, -57888, 0, 8192, 44236, 0, 0, 42118, -19808, -46136, 0, 869376, 136704, 0, 0, 0, 44236, 0, 0, 55503, -34836, -907, 0, 980480, 270336, -46080, 0, 8192, 58982, 0, 0, 27432, -32770, -49683, 0, 1011200, 270336, 0, 0, 0, 58982, 0, 0, 35122, -55325, -688, 0, 486912, -184320, -162201, 0, 16384, 0, 0, 0, 7589, -5186, -64888, 0, 682496, -113280, -146457, 0, 16384, 14745, 0, 0, 15257, 823, -63729, 0, 761344, 15360, -111820, 0, 16384, 29491, 0, 0, 13543, 10066, -63326, 0, 809472, 157823, -77183, 0, 16384, 44236, 0, 0, 1605, 10580, -64656, 0, 912896, 270336, -61440, 0, 16384, 58982, 0, 0, 221, 13835, -64058, 0, 486912, -91391, -121651, 0, 24576, 0, 0, 0, -8841, 45055, -46763, 0, 656095, -44375, -109843, 0, 24576, 14745, 0, 0, -20941, 41489, -46207, 0, 727552, 55488, -83865, 0, 24576, 29491, 0, 0, -39577, 30241, -42592, 0, 768288, 172344, -57888, 0, 24576, 44236, 0, 0, -41406, 28650, -41947, 0, 845312, 270336, -46080, 0, 24576, 58982, 0, 0, -27807, 40154, -43696, 0, 486912, -49152, 0, 0, 32768, 0, 0, 0, -15124, 63765, -427, 0, 644096, -13056, 0, 0, 32768, 14745, 0, 0, -35975, 54779, -99, 0, 712192, 73728, 0, 0, 32768, 29491, 0, 0, -57387, 31641, 648, 0, 749568, 178944, 0, 0, 32768, 44236, 0, 0, -57511, 31398, 1251, 0, 814592, 270336, 0, 0, 32768, 58982, 0, 0, -45625, 47018, 1605, 0, 814592, 270336, 0, 0, 32768, 58982, 0, 0, -45625, 47018, 1605, 0, 845312, 270336, 46080, 0, 40960, 58982, 0, 0, -28557, 39387, 43909, 0, 871044, 284834, 43200, 0, 40960, 60620, 0, 0, -17030, 51900, 36211, 0, 838144, 284160, 0, 0, 32768, 60620, 0, 0, -27905, 59293, 708, 0, 886432, 289847, 36864, 0, 40960, 62259, 0, 0, 625, 65517, -1420, 0, 855552, 288768, 0, 0, 32768, 62259, 0, 0, 1444, 65520, 106, 0, 886892, 285104, 30527, 0, 40960, 63897, 0, 0, 26880, 21817, -55645, 0, 860672, 284160, 0, 0, 32768, 63897, 0, 0, 65509, 1695, 757, 0, 867840, 270336, 27648, 0, 40960, 65536, 0, 0, 35489, -35954, -41746, 0, 847360, 270336, 0, 0, 32768, 65536, 0, 0, 46503, -46173, 633, 0, 912896, 270336, 61440, 0, 49152, 58982, 0, 0, -770, 16166, 63505, 0, 943424, 286319, 57599, 0, 49152, 60620, 0, 0, 3035, 29833, 58272, 0, 954368, 292223, 49152, 0, 49152, 62259, 0, 0, -700, 64801, 9758, 0, 944576, 287183, 40704, 0, 49152, 63897, 0, 0, -2908, 44757, -47783, 0, 912896, 270336, 36864, 0, 49152, 65536, 0, 0, 8049, 605, -65036, 0, 980480, 270336, 46080, 0, 57344, 58982, 0, 0, 28018, -32724, 49386, 0, 1015804, 287805, 43200, 0, 57344, 60620, 0, 0, 31577, -11825, 56195, 0, 1022303, 294599, 36864, 0, 57344, 62259, 0, 0, 29836, 48283, 32763, 0, 1002260, 289263, 30527, 0, 57344, 63897, 0, 0, -14453, 59453, -23480, 0, 957952, 270336, 27648, 0, 57344, 65536, 0, 0, -15461, 43073, -46910, 0, 1011200, 270336, 0, 0, 65536, 58982, 0, 0, 35122, -55325, -688, 0, 1048703, 288479, 0, 0, 65536, 60620, 0, 0, 47716, -44911, -1021, 0, 1053184, 295680, 0, 0, 65536, 62259, 0, 0, 58244, 30022, -1093, 0, 1028479, 290208, 0, 0, 65536, 63897, 0, 0, -17045, 63280, 52, 0, 978432, 270336, 0, 0, 65536, 65536, 0, 0, -24353, 60842, -289, 0, 1011200, 270336, 0, 0, 0, 58982, 0, 0, 35122, -55325, -688, 0, 980480, 270336, -46080, 0, 8192, 58982, 0, 0, 27432, -32770, -49683, 0, 1015804, 287805, -43200, 0, 8192, 60620, 0, 0, 31468, -11689, -56285, 0, 1048703, 288479, 0, 0, 0, 60620, 0, 0, 47716, -44911, -1021, 0, 1022303, 294599, -36864, 0, 8192, 62259, 0, 0, 31988, 46976, -32633, 0, 1053184, 295680, 0, 0, 0, 62259, 0, 0, 58244, 30022, -1093, 0, 1002260, 289263, -30527, 0, 8192, 63897, 0, 0, -14549, 59336, 23716, 0, 1028479, 290208, 0, 0, 0, 63897, 0, 0, -17045, 63280, 52, 0, 957952, 270336, -27648, 0, 8192, 65536, 0, 0, -15427, 43462, 46561, 0, 978432, 270336, 0, 0, 0, 65536, 0, 0, -24353, 60842, -289, 0, 912896, 270336, -61440, 0, 16384, 58982, 0, 0, 221, 13835, -64058, 0, 943424, 286319, -57599, 0, 16384, 60620, 0, 0, 3848, 28685, -58798, 0, 954368, 292223, -49152, 0, 16384, 62259, 0, 0, 86, 64648, -10748, 0, 944576, 287183, -40704, 0, 16384, 63897, 0, 0, -2896, 44674, 47862, 0, 912896, 270336, -36864, 0, 16384, 65536, 0, 0, 9096, -2240, 64862, 0, 845312, 270336, -46080, 0, 24576, 58982, 0, 0, -27807, 40154, -43696, 0, 871044, 284834, -43200, 0, 24576, 60620, 0, 0, -16966, 52245, -35742, 0, 886432, 289847, -36864, 0, 24576, 62259, 0, 0, 804, 65518, 1263, 0, 886892, 285104, -30527, 0, 24576, 63897, 0, 0, 26124, 23258, 55421, 0, 867840, 270336, -27648, 0, 24576, 65536, 0, 0, 35229, -38102, 40025, 0, 814592, 270336, 0, 0, 32768, 58982, 0, 0, -45625, 47018, 1605, 0, 838144, 284160, 0, 0, 32768, 60620, 0, 0, -27905, 59293, 708, 0, 855552, 288768, 0, 0, 32768, 62259, 0, 0, 1444, 65520, 106, 0, 860672, 284160, 0, 0, 32768, 63897, 0, 0, 65509, 1695, 757, 0, 847360, 270336, 0, 0, 32768, 65536, 0, 0, 46503, -46173, 633, 0, 32860, 499967, 43925, 0, 57344, 49152, 0, 0, 49980, 37030, 20632, 0, 41472, 499967, 0, 0, 65536, 49152, 0, 0, 54037, 37080, 1, 0, -70143, 516096, 0, 0, 65536, 65536, 0, 0, 0, 65536, 0, 0, 28133, 460800, 41903, 0, 57344, 32768, 0, 0, 55573, -26083, 22939, 0, 36352, 460800, 0, 0, 65536, 32768, 0, 0, 60142, -26035, 2, 0, -10618, 412416, 25359, 0, 57344, 16384, 0, 0, 56632, -23282, 23359, 0, -5631, 412416, 0, 0, 65536, 16384, 0, 0, 61293, -23195, 7, 0, -9687, 368640, 25722, 0, 57344, 0, 0, 0, 47250, 41000, 19525, 0, -4607, 368640, 0, 0, 65536, 0, 0, 0, 51164, 40952, 4, 0, 9207, 499967, 79351, 0, 49152, 49152, 0, 0, 38230, 37038, 38229, 0, -70143, 516096, 0, 0, 57344, 65536, 0, 0, 0, 65536, 0, 0, 5560, 460800, 75704, 0, 49152, 32768, 0, 0, 42499, -26130, 42496, 0, -24305, 412416, 45838, 0, 49152, 16384, 0, 0, 43310, -23323, 43302, 0, -23613, 368640, 46530, 0, 49152, 0, 0, 0, 36166, 40979, 36161, 0, -26218, 499967, 103004, 0, 40960, 49152, 0, 0, 20632, 37031, 49979, 0, -70143, 516096, 0, 0, 49152, 65536, 0, 0, 0, 65536, 0, 0, -28240, 460800, 98277, 0, 40960, 32768, 0, 0, 22940, -26081, 55573, 0, -44784, 412416, 59525, 0, 40960, 16384, 0, 0, 23361, -23278, 56633, 0, -44421, 368640, 60456, 0, 40960, 0, 0, 0, 19528, 40993, 47255, 0, -70143, 499967, 111616, 0, 32768, 49152, 0, 0, -1, 37080, 54037, 0, -70143, 516096, 0, 0, 40960, 65536, 0, 0, 0, 65536, 0, 0, -70143, 460800, 106496, 0, 32768, 32768, 0, 0, -2, -26035, 60142, 0, -70143, 412416, 64512, 0, 32768, 16384, 0, 0, -7, -23195, 61293, 0, -70143, 368640, 65536, 0, 32768, 0, 0, 0, -4, 40952, 51164, 0, -114069, 499967, 103004, 0, 24576, 49152, 0, 0, -20632, 37030, 49980, 0, -70143, 499967, 111616, 0, 32768, 49152, 0, 0, -1, 37080, 54037, 0, -70143, 516096, 0, 0, 32768, 65536, 0, 0, 0, 65536, 0, 0, -112047, 460800, 98277, 0, 24576, 32768, 0, 0, -22939, -26083, 55573, 0, -70143, 460800, 106496, 0, 32768, 32768, 0, 0, -2, -26035, 60142, 0, -95503, 412416, 59525, 0, 24576, 16384, 0, 0, -23359, -23282, 56632, 0, -70143, 412416, 64512, 0, 32768, 16384, 0, 0, -7, -23195, 61293, 0, -95866, 368640, 60456, 0, 24576, 0, 0, 0, -19525, 41000, 47250, 0, -70143, 368640, 65536, 0, 32768, 0, 0, 0, -4, 40952, 51164, 0, -149495, 499967, 79351, 0, 16384, 49152, 0, 0, -38229, 37038, 38230, 0, -70143, 516096, 0, 0, 24576, 65536, 0, 0, 0, 65536, 0, 0, -145848, 460800, 75704, 0, 16384, 32768, 0, 0, -42496, -26130, 42499, 0, -115982, 412416, 45838, 0, 16384, 16384, 0, 0, -43302, -23323, 43310, 0, -116674, 368640, 46530, 0, 16384, 0, 0, 0, -36161, 40979, 36166, 0, -173148, 499967, 43925, 0, 8192, 49152, 0, 0, -49979, 37031, 20632, 0, -70143, 516096, 0, 0, 16384, 65536, 0, 0, 0, 65536, 0, 0, -168421, 460800, 41903, 0, 8192, 32768, 0, 0, -55573, -26081, 22940, 0, -129669, 412416, 25359, 0, 8192, 16384, 0, 0, -56633, -23278, 23361, 0, -130600, 368640, 25722, 0, 8192, 0, 0, 0, -47255, 40993, 19528, 0, -181760, 499967, 0, 0, 0, 49152, 0, 0, -54037, 37080, -1, 0, -70143, 516096, 0, 0, 8192, 65536, 0, 0, 0, 65536, 0, 0, -176640, 460800, 0, 0, 0, 32768, 0, 0, -60142, -26035, -2, 0, -134655, 412416, 0, 0, 0, 16384, 0, 0, -61293, -23195, -7, 0, -135679, 368640, 0, 0, 0, 0, 0, 0, -51164, 40952, -4, 0, -173148, 499967, -43925, 0, 57344, 49152, 0, 0, -49980, 37030, -20632, 0, -181760, 499967, 0, 0, 65536, 49152, 0, 0, -54037, 37080, -1, 0, -70143, 516096, 0, 0, 65536, 65536, 0, 0, 0, 65536, 0, 0, -168421, 460800, -41903, 0, 57344, 32768, 0, 0, -55573, -26083, -22939, 0, -176640, 460800, 0, 0, 65536, 32768, 0, 0, -60142, -26035, -2, 0, -129669, 412416, -25359, 0, 57344, 16384, 0, 0, -56632, -23282, -23359, 0, -134655, 412416, 0, 0, 65536, 16384, 0, 0, -61293, -23195, -7, 0, -130600, 368640, -25722, 0, 57344, 0, 0, 0, -47250, 41000, -19525, 0, -135679, 368640, 0, 0, 65536, 0, 0, 0, -51164, 40952, -4, 0, -149495, 499967, -79351, 0, 49152, 49152, 0, 0, -38230, 37038, -38229, 0, -70143, 516096, 0, 0, 57344, 65536, 0, 0, 0, 65536, 0, 0, -145848, 460800, -75704, 0, 49152, 32768, 0, 0, -42499, -26130, -42496, 0, -115982, 412416, -45838, 0, 49152, 16384, 0, 0, -43310, -23323, -43302, 0, -116674, 368640, -46530, 0, 49152, 0, 0, 0, -36166, 40979, -36161, 0, -114069, 499967, -103004, 0, 40960, 49152, 0, 0, -20632, 37031, -49979, 0, -70143, 516096, 0, 0, 49152, 65536, 0, 0, 0, 65536, 0, 0, -112047, 460800, -98277, 0, 40960, 32768, 0, 0, -22940, -26081, -55573, 0, -95503, 412416, -59525, 0, 40960, 16384, 0, 0, -23361, -23278, -56633, 0, -95866, 368640, -60456, 0, 40960, 0, 0, 0, -19528, 40993, -47255, 0, -70143, 499967, -111616, 0, 32768, 49152, 0, 0, 1, 37080, -54037, 0, -70143, 516096, 0, 0, 40960, 65536, 0, 0, 0, 65536, 0, 0, -70143, 460800, -106496, 0, 32768, 32768, 0, 0, 2, -26035, -60142, 0, -70143, 412416, -64512, 0, 32768, 16384, 0, 0, 7, -23195, -61293, 0, -70143, 368640, -65536, 0, 32768, 0, 0, 0, 4, 40952, -51164, 0, -26218, 499967, -103004, 0, 24576, 49152, 0, 0, 20632, 37030, -49980, 0, -70143, 499967, -111616, 0, 32768, 49152, 0, 0, 1, 37080, -54037, 0, -70143, 516096, 0, 0, 32768, 65536, 0, 0, 0, 65536, 0, 0, -28240, 460800, -98277, 0, 24576, 32768, 0, 0, 22939, -26083, -55573, 0, -70143, 460800, -106496, 0, 32768, 32768, 0, 0, 2, -26035, -60142, 0, -44784, 412416, -59525, 0, 24576, 16384, 0, 0, 23359, -23282, -56632, 0, -70143, 412416, -64512, 0, 32768, 16384, 0, 0, 7, -23195, -61293, 0, -44421, 368640, -60456, 0, 24576, 0, 0, 0, 19525, 41000, -47250, 0, -70143, 368640, -65536, 0, 32768, 0, 0, 0, 4, 40952, -51164, 0, 9207, 499967, -79351, 0, 16384, 49152, 0, 0, 38229, 37038, -38230, 0, -70143, 516096, 0, 0, 24576, 65536, 0, 0, 0, 65536, 0, 0, 5560, 460800, -75704, 0, 16384, 32768, 0, 0, 42496, -26130, -42499, 0, -24305, 412416, -45838, 0, 16384, 16384, 0, 0, 43302, -23323, -43310, 0, -23613, 368640, -46530, 0, 16384, 0, 0, 0, 36161, 40979, -36166, 0, 32860, 499967, -43925, 0, 8192, 49152, 0, 0, 49979, 37031, -20632, 0, -70143, 516096, 0, 0, 16384, 65536, 0, 0, 0, 65536, 0, 0, 28133, 460800, -41903, 0, 8192, 32768, 0, 0, 55573, -26081, -22940, 0, -10618, 412416, -25359, 0, 8192, 16384, 0, 0, 56633, -23278, -23361, 0, -9687, 368640, -25722, 0, 8192, 0, 0, 0, 47255, 40993, -19528, 0, 41472, 499967, 0, 0, 0, 49152, 0, 0, 54037, 37080, 1, 0, -70143, 516096, 0, 0, 8192, 65536, 0, 0, 0, 65536, 0, 0, 36352, 460800, 0, 0, 0, 32768, 0, 0, 60142, -26035, 2, 0, -5631, 412416, 0, 0, 0, 16384, 0, 0, 61293, -23195, 7, 0, -4607, 368640, 0, 0, 0, 0, 0, 0, 51164, 40952, 4, 0, -4607, 368640, 0, 0, 65536, 65536, 0, 0, 51164, 40952, 4, 0, -9687, 368640, 25722, 0, 57344, 65536, 0, 0, 47250, 41000, 19525, 0, 67773, 339456, 58680, 0, 57344, 49152, 0, 0, 14285, 63686, 5912, 0, 79360, 339456, 0, 0, 65536, 49152, 0, 0, 15504, 63675, 0, 0, 179240, 319488, 106106, 0, 57344, 32768, 0, 0, 10458, 64551, 4322, 0, 200192, 319488, 0, 0, 65536, 32768, 0, 0, 11343, 64546, 0, 0, 279372, 299520, 148710, 0, 57344, 16384, 0, 0, 22970, 60641, 9485, 0, 308736, 299520, 0, 0, 65536, 16384, 0, 0, 24884, 60627, 0, 0, 322826, 270336, 167198, 0, 57344, 0, 0, 0, 31823, 55748, 13203, 0, 355840, 270336, 0, 0, 65536, 0, 0, 0, 34516, 55710, 0, 0, -23613, 368640, 46530, 0, 49152, 65536, 0, 0, 36166, 40979, 36161, 0, 36003, 339456, 106147, 0, 49152, 49152, 0, 0, 10920, 63690, 10920, 0, 121794, 319488, 191938, 0, 49152, 32768, 0, 0, 7989, 64554, 7989, 0, 198860, 299520, 269004, 0, 49152, 16384, 0, 0, 17541, 60659, 17541, 0, 232304, 270336, 302448, 0, 49152, 0, 0, 0, 24334, 55773, 24334, 0, -44421, 368640, 60456, 0, 40960, 65536, 0, 0, 19528, 40993, 47255, 0, -11463, 339456, 137917, 0, 40960, 49152, 0, 0, 5912, 63686, 14285, 0, 35962, 319488, 249384, 0, 40960, 32768, 0, 0, 4322, 64551, 10458, 0, 78566, 299520, 349516, 0, 40960, 16384, 0, 0, 9485, 60641, 22970, 0, 97054, 270336, 392970, 0, 40960, 0, 0, 0, 13203, 55748, 31823, 0, -70143, 368640, 65536, 0, 32768, 65536, 0, 0, -4, 40952, 51164, 0, -70143, 339456, 149504, 0, 32768, 49152, 0, 0, 0, 63675, 15504, 0, -70143, 319488, 270336, 0, 32768, 32768, 0, 0, 0, 64546, 11343, 0, -70143, 299520, 378880, 0, 32768, 16384, 0, 0, 0, 60627, 24884, 0, -70143, 270336, 425984, 0, 32768, 0, 0, 0, 0, 55710, 34516, 0, -70143, 368640, 65536, 0, 32768, 65536, 0, 0, -4, 40952, 51164, 0, -95866, 368640, 60456, 0, 24576, 65536, 0, 0, -19525, 41000, 47250, 0, -128824, 339456, 137917, 0, 24576, 49152, 0, 0, -5912, 63686, 14285, 0, -70143, 339456, 149504, 0, 32768, 49152, 0, 0, 0, 63675, 15504, 0, -176250, 319488, 249384, 0, 24576, 32768, 0, 0, -4322, 64551, 10458, 0, -70143, 319488, 270336, 0, 32768, 32768, 0, 0, 0, 64546, 11343, 0, -218854, 299520, 349516, 0, 24576, 16384, 0, 0, -9485, 60641, 22970, 0, -70143, 299520, 378880, 0, 32768, 16384, 0, 0, 0, 60627, 24884, 0, -237342, 270336, 392970, 0, 24576, 0, 0, 0, -13203, 55748, 31823, 0, -70143, 270336, 425984, 0, 32768, 0, 0, 0, 0, 55710, 34516, 0, -116674, 368640, 46530, 0, 16384, 65536, 0, 0, -36161, 40979, 36166, 0, -176291, 339456, 106147, 0, 16384, 49152, 0, 0, -10920, 63690, 10920, 0, -262082, 319488, 191938, 0, 16384, 32768, 0, 0, -7989, 64554, 7989, 0, -339148, 299520, 269004, 0, 16384, 16384, 0, 0, -17541, 60659, 17541, 0, -372592, 270336, 302448, 0, 16384, 0, 0, 0, -24334, 55773, 24334, 0, -130600, 368640, 25722, 0, 8192, 65536, 0, 0, -47255, 40993, 19528, 0, -208061, 339456, 58680, 0, 8192, 49152, 0, 0, -14285, 63686, 5912, 0, -319528, 319488, 106106, 0, 8192, 32768, 0, 0, -10458, 64551, 4322, 0, -419660, 299520, 148710, 0, 8192, 16384, 0, 0, -22970, 60641, 9485, 0, -463114, 270336, 167198, 0, 8192, 0, 0, 0, -31823, 55748, 13203, 0, -135679, 368640, 0, 0, 0, 65536, 0, 0, -51164, 40952, -4, 0, -219647, 339456, 0, 0, 0, 49152, 0, 0, -15504, 63675, 0, 0, -340480, 319488, 0, 0, 0, 32768, 0, 0, -11343, 64546, 0, 0, -449024, 299520, 0, 0, 0, 16384, 0, 0, -24884, 60627, 0, 0, -496128, 270336, 0, 0, 0, 0, 0, 0, -34516, 55710, 0, 0, -135679, 368640, 0, 0, 65536, 65536, 0, 0, -51164, 40952, -4, 0, -130600, 368640, -25722, 0, 57344, 65536, 0, 0, -47250, 41000, -19525, 0, -208061, 339456, -58680, 0, 57344, 49152, 0, 0, -14285, 63686, -5912, 0, -219647, 339456, 0, 0, 65536, 49152, 0, 0, -15504, 63675, 0, 0, -319528, 319488, -106106, 0, 57344, 32768, 0, 0, -10458, 64551, -4322, 0, -340480, 319488, 0, 0, 65536, 32768, 0, 0, -11343, 64546, 0, 0, -419660, 299520, -148710, 0, 57344, 16384, 0, 0, -22970, 60641, -9485, 0, -449024, 299520, 0, 0, 65536, 16384, 0, 0, -24884, 60627, 0, 0, -463114, 270336, -167198, 0, 57344, 0, 0, 0, -31823, 55748, -13203, 0, -496128, 270336, 0, 0, 65536, 0, 0, 0, -34516, 55710, 0, 0, -116674, 368640, -46530, 0, 49152, 65536, 0, 0, -36166, 40979, -36161, 0, -176291, 339456, -106147, 0, 49152, 49152, 0, 0, -10920, 63690, -10920, 0, -262082, 319488, -191938, 0, 49152, 32768, 0, 0, -7989, 64554, -7989, 0, -339148, 299520, -269004, 0, 49152, 16384, 0, 0, -17541, 60659, -17541, 0, -372592, 270336, -302448, 0, 49152, 0, 0, 0, -24334, 55773, -24334, 0, -95866, 368640, -60456, 0, 40960, 65536, 0, 0, -19528, 40993, -47255, 0, -128824, 339456, -137917, 0, 40960, 49152, 0, 0, -5912, 63686, -14285, 0, -176250, 319488, -249384, 0, 40960, 32768, 0, 0, -4322, 64551, -10458, 0, -218854, 299520, -349516, 0, 40960, 16384, 0, 0, -9485, 60641, -22970, 0, -237342, 270336, -392970, 0, 40960, 0, 0, 0, -13203, 55748, -31823, 0, -70143, 368640, -65536, 0, 32768, 65536, 0, 0, 4, 40952, -51164, 0, -70143, 339456, -149504, 0, 32768, 49152, 0, 0, 0, 63675, -15504, 0, -70143, 319488, -270336, 0, 32768, 32768, 0, 0, 0, 64546, -11343, 0, -70143, 299520, -378880, 0, 32768, 16384, 0, 0, 0, 60627, -24884, 0, -70143, 270336, -425984, 0, 32768, 0, 0, 0, 0, 55710, -34516, 0, -70143, 368640, -65536, 0, 32768, 65536, 0, 0, 4, 40952, -51164, 0, -44421, 368640, -60456, 0, 24576, 65536, 0, 0, 19525, 41000, -47250, 0, -11463, 339456, -137917, 0, 24576, 49152, 0, 0, 5912, 63686, -14285, 0, -70143, 339456, -149504, 0, 32768, 49152, 0, 0, 0, 63675, -15504, 0, 35962, 319488, -249384, 0, 24576, 32768, 0, 0, 4322, 64551, -10458, 0, -70143, 319488, -270336, 0, 32768, 32768, 0, 0, 0, 64546, -11343, 0, 78566, 299520, -349516, 0, 24576, 16384, 0, 0, 9485, 60641, -22970, 0, -70143, 299520, -378880, 0, 32768, 16384, 0, 0, 0, 60627, -24884, 0, 97054, 270336, -392970, 0, 24576, 0, 0, 0, 13203, 55748, -31823, 0, -70143, 270336, -425984, 0, 32768, 0, 0, 0, 0, 55710, -34516, 0, -23613, 368640, -46530, 0, 16384, 65536, 0, 0, 36161, 40979, -36166, 0, 36003, 339456, -106147, 0, 16384, 49152, 0, 0, 10920, 63690, -10920, 0, 121794, 319488, -191938, 0, 16384, 32768, 0, 0, 7989, 64554, -7989, 0, 198860, 299520, -269004, 0, 16384, 16384, 0, 0, 17541, 60659, -17541, 0, 232304, 270336, -302448, 0, 16384, 0, 0, 0, 24334, 55773, -24334, 0, -9687, 368640, -25722, 0, 8192, 65536, 0, 0, 47255, 40993, -19528, 0, 67773, 339456, -58680, 0, 8192, 49152, 0, 0, 14285, 63686, -5912, 0, 179240, 319488, -106106, 0, 8192, 32768, 0, 0, 10458, 64551, -4322, 0, 279372, 299520, -148710, 0, 8192, 16384, 0, 0, 22970, 60641, -9485, 0, 322826, 270336, -167198, 0, 8192, 0, 0, 0, 31823, 55748, -13203, 0, -4607, 368640, 0, 0, 0, 65536, 0, 0, 51164, 40952, 4, 0, 79360, 339456, 0, 0, 0, 49152, 0, 0, 15504, 63675, 0, 0, 200192, 319488, 0, 0, 0, 32768, 0, 0, 11343, 64546, 0, 0, 308736, 299520, 0, 0, 0, 16384, 0, 0, 24884, 60627, 0, 0, 355840, 270336, 0, 0, 0, 0, 0, 0, 34516, 55710, 0 }; static i64 idxs[] = { 0, 1, 2, 2, 3, 0, 3, 2, 4, 4, 5, 3, 5, 4, 6, 6, 7, 5, 7, 6, 8, 8, 9, 7, 1, 10, 11, 11, 2, 1, 2, 11, 12, 12, 4, 2, 4, 12, 13, 13, 6, 4, 6, 13, 14, 14, 8, 6, 10, 15, 16, 16, 11, 10, 11, 16, 17, 17, 12, 11, 12, 17, 18, 18, 13, 12, 13, 18, 19, 19, 14, 13, 15, 20, 21, 21, 16, 15, 16, 21, 22, 22, 17, 16, 17, 22, 23, 23, 18, 17, 18, 23, 24, 24, 19, 18, 25, 26, 27, 27, 28, 25, 28, 27, 29, 29, 30, 28, 30, 29, 31, 31, 32, 30, 32, 31, 33, 33, 34, 32, 26, 35, 36, 36, 27, 26, 27, 36, 37, 37, 29, 27, 29, 37, 38, 38, 31, 29, 31, 38, 39, 39, 33, 31, 35, 40, 41, 41, 36, 35, 36, 41, 42, 42, 37, 36, 37, 42, 43, 43, 38, 37, 38, 43, 44, 44, 39, 38, 40, 45, 46, 46, 41, 40, 41, 46, 47, 47, 42, 41, 42, 47, 48, 48, 43, 42, 43, 48, 49, 49, 44, 43, 50, 51, 52, 52, 53, 50, 53, 52, 54, 54, 55, 53, 55, 54, 56, 56, 57, 55, 57, 56, 58, 58, 59, 57, 51, 60, 61, 61, 52, 51, 52, 61, 62, 62, 54, 52, 54, 62, 63, 63, 56, 54, 56, 63, 64, 64, 58, 56, 60, 65, 66, 66, 61, 60, 61, 66, 67, 67, 62, 61, 62, 67, 68, 68, 63, 62, 63, 68, 69, 69, 64, 63, 65, 70, 71, 71, 66, 65, 66, 71, 72, 72, 67, 66, 67, 72, 73, 73, 68, 67, 68, 73, 74, 74, 69, 68, 75, 76, 77, 77, 78, 75, 78, 77, 79, 79, 80, 78, 80, 79, 81, 81, 82, 80, 82, 81, 83, 83, 84, 82, 76, 85, 86, 86, 77, 76, 77, 86, 87, 87, 79, 77, 79, 87, 88, 88, 81, 79, 81, 88, 89, 89, 83, 81, 85, 90, 91, 91, 86, 85, 86, 91, 92, 92, 87, 86, 87, 92, 93, 93, 88, 87, 88, 93, 94, 94, 89, 88, 90, 95, 96, 96, 91, 90, 91, 96, 97, 97, 92, 91, 92, 97, 98, 98, 93, 92, 93, 98, 99, 99, 94, 93, 100, 101, 102, 102, 103, 100, 103, 102, 104, 104, 105, 103, 105, 104, 106, 106, 107, 105, 107, 106, 108, 108, 109, 107, 101, 110, 111, 111, 102, 101, 102, 111, 112, 112, 104, 102, 104, 112, 113, 113, 106, 104, 106, 113, 114, 114, 108, 106, 110, 115, 116, 116, 111, 110, 111, 116, 117, 117, 112, 111, 112, 117, 118, 118, 113, 112, 113, 118, 119, 119, 114, 113, 115, 120, 121, 121, 116, 115, 116, 121, 122, 122, 117, 116, 117, 122, 123, 123, 118, 117, 118, 123, 124, 124, 119, 118, 125, 126, 127, 127, 128, 125, 128, 127, 129, 129, 130, 128, 130, 129, 131, 131, 132, 130, 132, 131, 133, 133, 134, 132, 126, 135, 136, 136, 127, 126, 127, 136, 137, 137, 129, 127, 129, 137, 138, 138, 131, 129, 131, 138, 139, 139, 133, 131, 135, 140, 141, 141, 136, 135, 136, 141, 142, 142, 137, 136, 137, 142, 143, 143, 138, 137, 138, 143, 144, 144, 139, 138, 140, 145, 146, 146, 141, 140, 141, 146, 147, 147, 142, 141, 142, 147, 148, 148, 143, 142, 143, 148, 149, 149, 144, 143, 150, 151, 152, 152, 153, 150, 153, 152, 154, 154, 155, 153, 155, 154, 156, 156, 157, 155, 157, 156, 158, 158, 159, 157, 151, 160, 161, 161, 152, 151, 152, 161, 162, 162, 154, 152, 154, 162, 163, 163, 156, 154, 156, 163, 164, 164, 158, 156, 160, 165, 166, 166, 161, 160, 161, 166, 167, 167, 162, 161, 162, 167, 168, 168, 163, 162, 163, 168, 169, 169, 164, 163, 165, 170, 171, 171, 166, 165, 166, 171, 172, 172, 167, 166, 167, 172, 173, 173, 168, 167, 168, 173, 174, 174, 169, 168, 175, 176, 177, 177, 178, 175, 178, 177, 179, 179, 180, 178, 180, 179, 181, 181, 182, 180, 182, 181, 183, 183, 184, 182, 176, 185, 186, 186, 177, 176, 177, 186, 187, 187, 179, 177, 179, 187, 188, 188, 181, 179, 181, 188, 189, 189, 183, 181, 185, 190, 191, 191, 186, 185, 186, 191, 192, 192, 187, 186, 187, 192, 193, 193, 188, 187, 188, 193, 194, 194, 189, 188, 190, 195, 196, 196, 191, 190, 191, 196, 197, 197, 192, 191, 192, 197, 198, 198, 193, 192, 193, 198, 199, 199, 194, 193, 200, 201, 202, 202, 203, 200, 203, 202, 204, 204, 205, 203, 205, 204, 206, 206, 207, 205, 207, 206, 208, 208, 209, 207, 201, 210, 211, 211, 202, 201, 202, 211, 212, 212, 204, 202, 204, 212, 213, 213, 206, 204, 206, 213, 214, 214, 208, 206, 210, 215, 216, 216, 211, 210, 211, 216, 217, 217, 212, 211, 212, 217, 218, 218, 213, 212, 213, 218, 219, 219, 214, 213, 215, 220, 221, 221, 216, 215, 216, 221, 222, 222, 217, 216, 217, 222, 223, 223, 218, 217, 218, 223, 224, 224, 219, 218, 225, 226, 227, 227, 228, 225, 228, 227, 229, 229, 230, 228, 230, 229, 231, 231, 232, 230, 232, 231, 233, 233, 234, 232, 226, 235, 236, 236, 227, 226, 227, 236, 237, 237, 229, 227, 229, 237, 238, 238, 231, 229, 231, 238, 239, 239, 233, 231, 235, 240, 241, 241, 236, 235, 236, 241, 242, 242, 237, 236, 237, 242, 243, 243, 238, 237, 238, 243, 244, 244, 239, 238, 240, 245, 246, 246, 241, 240, 241, 246, 247, 247, 242, 241, 242, 247, 248, 248, 243, 242, 243, 248, 249, 249, 244, 243, 250, 251, 252, 252, 253, 250, 253, 252, 254, 254, 255, 253, 255, 254, 256, 256, 257, 255, 257, 256, 258, 258, 259, 257, 251, 260, 261, 261, 252, 251, 252, 261, 262, 262, 254, 252, 254, 262, 263, 263, 256, 254, 256, 263, 264, 264, 258, 256, 260, 265, 266, 266, 261, 260, 261, 266, 267, 267, 262, 261, 262, 267, 268, 268, 263, 262, 263, 268, 269, 269, 264, 263, 265, 270, 271, 271, 266, 265, 266, 271, 272, 272, 267, 266, 267, 272, 273, 273, 268, 267, 268, 273, 274, 274, 269, 268, 275, 276, 277, 277, 278, 275, 278, 277, 279, 279, 280, 278, 280, 279, 281, 281, 282, 280, 282, 281, 283, 283, 284, 282, 276, 285, 286, 286, 277, 276, 277, 286, 287, 287, 279, 277, 279, 287, 288, 288, 281, 279, 281, 288, 289, 289, 283, 281, 285, 290, 291, 291, 286, 285, 286, 291, 292, 292, 287, 286, 287, 292, 293, 293, 288, 287, 288, 293, 294, 294, 289, 288, 290, 295, 296, 296, 291, 290, 291, 296, 297, 297, 292, 291, 292, 297, 298, 298, 293, 292, 293, 298, 299, 299, 294, 293, 300, 301, 302, 302, 303, 300, 303, 302, 304, 304, 305, 303, 305, 304, 306, 306, 307, 305, 307, 306, 308, 301, 309, 310, 310, 302, 301, 302, 310, 311, 311, 304, 302, 304, 311, 312, 312, 306, 304, 306, 312, 313, 309, 314, 315, 315, 310, 309, 310, 315, 316, 316, 311, 310, 311, 316, 317, 317, 312, 311, 312, 317, 318, 314, 319, 320, 320, 315, 314, 315, 320, 321, 321, 316, 315, 316, 321, 322, 322, 317, 316, 317, 322, 323, 324, 325, 326, 326, 327, 324, 327, 326, 328, 328, 329, 327, 329, 328, 330, 330, 331, 329, 331, 330, 332, 325, 333, 334, 334, 326, 325, 326, 334, 335, 335, 328, 326, 328, 335, 336, 336, 330, 328, 330, 336, 337, 333, 338, 339, 339, 334, 333, 334, 339, 340, 340, 335, 334, 335, 340, 341, 341, 336, 335, 336, 341, 342, 338, 343, 344, 344, 339, 338, 339, 344, 345, 345, 340, 339, 340, 345, 346, 346, 341, 340, 341, 346, 347, 348, 349, 350, 350, 351, 348, 351, 350, 352, 352, 353, 351, 353, 352, 354, 354, 355, 353, 355, 354, 356, 349, 357, 358, 358, 350, 349, 350, 358, 359, 359, 352, 350, 352, 359, 360, 360, 354, 352, 354, 360, 361, 357, 362, 363, 363, 358, 357, 358, 363, 364, 364, 359, 358, 359, 364, 365, 365, 360, 359, 360, 365, 366, 362, 367, 368, 368, 363, 362, 363, 368, 369, 369, 364, 363, 364, 369, 370, 370, 365, 364, 365, 370, 371, 372, 373, 374, 374, 375, 372, 375, 374, 376, 376, 377, 375, 377, 376, 378, 378, 379, 377, 379, 378, 380, 373, 381, 382, 382, 374, 373, 374, 382, 383, 383, 376, 374, 376, 383, 384, 384, 378, 376, 378, 384, 385, 381, 386, 387, 387, 382, 381, 382, 387, 388, 388, 383, 382, 383, 388, 389, 389, 384, 383, 384, 389, 390, 386, 391, 392, 392, 387, 386, 387, 392, 393, 393, 388, 387, 388, 393, 394, 394, 389, 388, 389, 394, 395, 396, 397, 398, 398, 399, 396, 399, 398, 400, 400, 401, 399, 401, 400, 402, 402, 403, 401, 403, 402, 404, 404, 405, 403, 397, 406, 407, 407, 398, 397, 398, 407, 408, 408, 400, 398, 400, 408, 409, 409, 402, 400, 402, 409, 410, 410, 404, 402, 406, 411, 412, 412, 407, 406, 407, 412, 413, 413, 408, 407, 408, 413, 414, 414, 409, 408, 409, 414, 415, 415, 410, 409, 411, 416, 417, 417, 412, 411, 412, 417, 418, 418, 413, 412, 413, 418, 419, 419, 414, 413, 414, 419, 420, 420, 415, 414, 421, 422, 423, 423, 424, 421, 424, 423, 425, 425, 426, 424, 426, 425, 427, 427, 428, 426, 428, 427, 429, 429, 430, 428, 422, 431, 432, 432, 423, 422, 423, 432, 433, 433, 425, 423, 425, 433, 434, 434, 427, 425, 427, 434, 435, 435, 429, 427, 431, 436, 437, 437, 432, 431, 432, 437, 438, 438, 433, 432, 433, 438, 439, 439, 434, 433, 434, 439, 440, 440, 435, 434, 436, 441, 442, 442, 437, 436, 437, 442, 443, 443, 438, 437, 438, 443, 444, 444, 439, 438, 439, 444, 445, 445, 440, 439, 446, 447, 448, 448, 449, 446, 449, 448, 450, 450, 451, 449, 451, 450, 452, 452, 453, 451, 453, 452, 454, 454, 455, 453, 447, 456, 457, 457, 448, 447, 448, 457, 458, 458, 450, 448, 450, 458, 459, 459, 452, 450, 452, 459, 460, 460, 454, 452, 456, 461, 462, 462, 457, 456, 457, 462, 463, 463, 458, 457, 458, 463, 464, 464, 459, 458, 459, 464, 465, 465, 460, 459, 461, 466, 467, 467, 462, 461, 462, 467, 468, 468, 463, 462, 463, 468, 469, 469, 464, 463, 464, 469, 470, 470, 465, 464, 471, 472, 473, 473, 474, 471, 474, 473, 475, 475, 476, 474, 476, 475, 477, 477, 478, 476, 478, 477, 479, 479, 480, 478, 472, 481, 482, 482, 473, 472, 473, 482, 483, 483, 475, 473, 475, 483, 484, 484, 477, 475, 477, 484, 485, 485, 479, 477, 481, 486, 487, 487, 482, 481, 482, 487, 488, 488, 483, 482, 483, 488, 489, 489, 484, 483, 484, 489, 490, 490, 485, 484, 486, 491, 492, 492, 487, 486, 487, 492, 493, 493, 488, 487, 488, 493, 494, 494, 489, 488, 489, 494, 495, 495, 490, 489, 496, 497, 498, 498, 499, 496, 499, 498, 500, 500, 501, 499, 501, 500, 502, 502, 503, 501, 503, 502, 504, 504, 505, 503, 497, 506, 507, 507, 498, 497, 498, 507, 508, 508, 500, 498, 500, 508, 509, 509, 502, 500, 502, 509, 510, 510, 504, 502, 506, 511, 512, 512, 507, 506, 507, 512, 513, 513, 508, 507, 508, 513, 514, 514, 509, 508, 509, 514, 515, 515, 510, 509, 511, 516, 517, 517, 512, 511, 512, 517, 518, 518, 513, 512, 513, 518, 519, 519, 514, 513, 514, 519, 520, 520, 515, 514, 521, 522, 523, 523, 524, 521, 524, 523, 525, 525, 526, 524, 526, 525, 527, 527, 528, 526, 528, 527, 529, 529, 530, 528, 522, 531, 532, 532, 523, 522, 523, 532, 533, 533, 525, 523, 525, 533, 534, 534, 527, 525, 527, 534, 535, 535, 529, 527, 531, 536, 537, 537, 532, 531, 532, 537, 538, 538, 533, 532, 533, 538, 539, 539, 534, 533, 534, 539, 540, 540, 535, 534, 536, 541, 542, 542, 537, 536, 537, 542, 543, 543, 538, 537, 538, 543, 544, 544, 539, 538, 539, 544, 545, 545, 540, 539, 546, 547, 548, 548, 549, 546, 549, 548, 550, 550, 551, 549, 551, 550, 552, 552, 553, 551, 553, 552, 554, 554, 555, 553, 547, 556, 557, 557, 548, 547, 548, 557, 558, 558, 550, 548, 550, 558, 559, 559, 552, 550, 552, 559, 560, 560, 554, 552, 556, 561, 562, 562, 557, 556, 557, 562, 563, 563, 558, 557, 558, 563, 564, 564, 559, 558, 559, 564, 565, 565, 560, 559, 561, 566, 567, 567, 562, 561, 562, 567, 568, 568, 563, 562, 563, 568, 569, 569, 564, 563, 564, 569, 570, 570, 565, 564, 571, 572, 573, 573, 574, 571, 574, 573, 575, 575, 576, 574, 576, 575, 577, 577, 578, 576, 578, 577, 579, 579, 580, 578, 572, 581, 582, 582, 573, 572, 573, 582, 583, 583, 575, 573, 575, 583, 584, 584, 577, 575, 577, 584, 585, 585, 579, 577, 581, 586, 587, 587, 582, 581, 582, 587, 588, 588, 583, 582, 583, 588, 589, 589, 584, 583, 584, 589, 590, 590, 585, 584, 586, 591, 592, 592, 587, 586, 587, 592, 593, 593, 588, 587, 588, 593, 594, 594, 589, 588, 589, 594, 595, 595, 590, 589, 596, 597, 598, 597, 596, 599, 599, 600, 597, 600, 599, 601, 601, 602, 600, 602, 601, 603, 603, 604, 602, 605, 596, 606, 596, 605, 607, 607, 599, 596, 599, 607, 608, 608, 601, 599, 601, 608, 609, 609, 603, 601, 610, 605, 611, 605, 610, 612, 612, 607, 605, 607, 612, 613, 613, 608, 607, 608, 613, 614, 614, 609, 608, 615, 610, 616, 610, 615, 617, 617, 612, 610, 612, 617, 618, 618, 613, 612, 613, 618, 619, 619, 614, 613, 620, 621, 622, 621, 620, 623, 623, 624, 621, 624, 623, 625, 625, 626, 624, 626, 625, 627, 627, 628, 626, 629, 620, 630, 620, 629, 631, 631, 623, 620, 623, 631, 632, 632, 625, 623, 625, 632, 633, 633, 627, 625, 634, 629, 635, 629, 634, 636, 636, 631, 629, 631, 636, 637, 637, 632, 631, 632, 637, 638, 638, 633, 632, 639, 634, 640, 634, 639, 641, 641, 636, 634, 636, 641, 642, 642, 637, 636, 637, 642, 643, 643, 638, 637, 644, 645, 646, 645, 644, 647, 647, 648, 645, 648, 647, 649, 649, 650, 648, 650, 649, 651, 651, 652, 650, 653, 644, 654, 644, 653, 655, 655, 647, 644, 647, 655, 656, 656, 649, 647, 649, 656, 657, 657, 651, 649, 658, 653, 659, 653, 658, 660, 660, 655, 653, 655, 660, 661, 661, 656, 655, 656, 661, 662, 662, 657, 656, 663, 658, 664, 658, 663, 665, 665, 660, 658, 660, 665, 666, 666, 661, 660, 661, 666, 667, 667, 662, 661, 668, 669, 670, 669, 668, 671, 671, 672, 669, 672, 671, 673, 673, 674, 672, 674, 673, 675, 675, 676, 674, 677, 668, 678, 668, 677, 679, 679, 671, 668, 671, 679, 680, 680, 673, 671, 673, 680, 681, 681, 675, 673, 682, 677, 683, 677, 682, 684, 684, 679, 677, 679, 684, 685, 685, 680, 679, 680, 685, 686, 686, 681, 680, 687, 682, 688, 682, 687, 689, 689, 684, 682, 684, 689, 690, 690, 685, 684, 685, 690, 691, 691, 686, 685, 692, 693, 694, 694, 695, 692, 695, 694, 696, 696, 697, 695, 697, 696, 698, 698, 699, 697, 699, 698, 700, 700, 701, 699, 693, 702, 703, 703, 694, 693, 694, 703, 704, 704, 696, 694, 696, 704, 705, 705, 698, 696, 698, 705, 706, 706, 700, 698, 702, 707, 708, 708, 703, 702, 703, 708, 709, 709, 704, 703, 704, 709, 710, 710, 705, 704, 705, 710, 711, 711, 706, 705, 707, 712, 713, 713, 708, 707, 708, 713, 714, 714, 709, 708, 709, 714, 715, 715, 710, 709, 710, 715, 716, 716, 711, 710, 717, 718, 719, 719, 720, 717, 720, 719, 721, 721, 722, 720, 722, 721, 723, 723, 724, 722, 724, 723, 725, 725, 726, 724, 718, 727, 728, 728, 719, 718, 719, 728, 729, 729, 721, 719, 721, 729, 730, 730, 723, 721, 723, 730, 731, 731, 725, 723, 727, 732, 733, 733, 728, 727, 728, 733, 734, 734, 729, 728, 729, 734, 735, 735, 730, 729, 730, 735, 736, 736, 731, 730, 732, 737, 738, 738, 733, 732, 733, 738, 739, 739, 734, 733, 734, 739, 740, 740, 735, 734, 735, 740, 741, 741, 736, 735, 742, 743, 744, 744, 745, 742, 745, 744, 746, 746, 747, 745, 747, 746, 748, 748, 749, 747, 749, 748, 750, 750, 751, 749, 743, 752, 753, 753, 744, 743, 744, 753, 754, 754, 746, 744, 746, 754, 755, 755, 748, 746, 748, 755, 756, 756, 750, 748, 752, 757, 758, 758, 753, 752, 753, 758, 759, 759, 754, 753, 754, 759, 760, 760, 755, 754, 755, 760, 761, 761, 756, 755, 757, 762, 763, 763, 758, 757, 758, 763, 764, 764, 759, 758, 759, 764, 765, 765, 760, 759, 760, 765, 766, 766, 761, 760, 767, 768, 769, 769, 770, 767, 770, 769, 771, 771, 772, 770, 772, 771, 773, 773, 774, 772, 774, 773, 775, 775, 776, 774, 768, 777, 778, 778, 769, 768, 769, 778, 779, 779, 771, 769, 771, 779, 780, 780, 773, 771, 773, 780, 781, 781, 775, 773, 777, 782, 783, 783, 778, 777, 778, 783, 784, 784, 779, 778, 779, 784, 785, 785, 780, 779, 780, 785, 786, 786, 781, 780, 782, 787, 788, 788, 783, 782, 783, 788, 789, 789, 784, 783, 784, 789, 790, 790, 785, 784, 785, 790, 791, 791, 786, 785 }; gastro_render_triangles(ctx, p, verts, 8, idxs, 992); };