{ "revision": "066228b44c15eba368d3a8f8f2370cd096678464", "binary_sha256": "d8f95506da251b162ae2ff930cac52b5c46292d38e27facf92c6afefc3dda4c3", "cases": [ { "name": "winner-repeat-1", "up": { "r": 4, "c": 92, "k": 4, "columns": 48, "memory": "interleaved", "orientation": "normal", "distributed": true, "reduction": "complete", "local": "direct", "result_grid": null }, "down": { "r": 4, "c": 24, "k": 15, "columns": 48, "memory": "standard", "orientation": "normal", "distributed": true, "reduction": "complete", "local": "direct", "result_grid": [ 5, 3 ] }, "mapping": [ 0, 46, 1, 47, 2, 48, 3, 49, 4, 50, 5, 51, 6, 52, 7, 53, 8, 54, 9, 55, 10, 56, 11, 57, 12, 58, 13, 59, 14, 60, 15, 61, 16, 62, 17, 63, 18, 64, 19, 65, 20, 66, 21, 67, 22, 68, 23, 69, 24, 70, 25, 71, 26, 72, 27, 73, 28, 74, 29, 75, 30, 76, 31, 77, 32, 78, 33, 79, 34, 80, 35, 81, 36, 82, 37, 83, 38, 84, 39, 85, 40, 86, 41, 87, 42, 88, 43, 89, 44, 90, 45, 91, 92, 138, 93, 139, 94, 140, 95, 141, 96, 142, 97, 143, 98, 144, 99, 145, 100, 146, 101, 147, 102, 148, 103, 149, 104, 150, 105, 151, 106, 152, 107, 153, 108, 154, 109, 155, 110, 156, 111, 157, 112, 158, 113, 159, 114, 160, 115, 161, 116, 162, 117, 163, 118, 164, 119, 165, 120, 166, 121, 167, 122, 168, 123, 169, 124, 170, 125, 171, 126, 172, 127, 173, 128, 174, 129, 175, 130, 176, 131, 177, 132, 178, 133, 179, 134, 180, 135, 181, 136, 182, 137, 183, 184, 230, 185, 231, 186, 232, 187, 233, 188, 234, 189, 235, 190, 236, 191, 237, 192, 238, 193, 239, 194, 240, 195, 241, 196, 242, 197, 243, 198, 244, 199, 245, 200, 246, 201, 247, 202, 248, 203, 249, 204, 250, 205, 251, 206, 252, 207, 253, 208, 254, 209, 255, 210, 256, 211, 257, 212, 258, 213, 259, 214, 260, 215, 261, 216, 262, 217, 263, 218, 264, 219, 265, 220, 266, 221, 267, 222, 268, 223, 269, 224, 270, 225, 271, 226, 272, 227, 273, 228, 274, 229, 275, 276, 322, 277, 323, 278, 324, 279, 325, 280, 326, 281, 327, 282, 328, 283, 329, 284, 330, 285, 331, 286, 332, 287, 333, 288, 334, 289, 335, 290, 336, 291, 337, 292, 338, 293, 339, 294, 340, 295, 341, 296, 342, 297, 343, 298, 344, 299, 345, 300, 346, 301, 347, 302, 348, 303, 349, 304, 350, 305, 351, 306, 352, 307, 353, 308, 354, 309, 355, 310, 356, 311, 357, 312, 358, 313, 359, 314, 360, 315, 361, 316, 362, 317, 363, 318, 364, 319, 365, 320, 366, 321, 367, 368, 414, 369, 415, 370, 416, 371, 417, 372, 418, 373, 419, 374, 420, 375, 421, 376, 422, 377, 423, 378, 424, 379, 425, 380, 426, 381, 427, 382, 428, 383, 429, 384, 430, 385, 431, 386, 432, 387, 433, 388, 434, 389, 435, 390, 436, 391, 437, 392, 438, 393, 439, 394, 440, 395, 441, 396, 442, 397, 443, 398, 444, 399, 445, 400, 446, 401, 447, 402, 448, 403, 449, 404, 450, 405, 451, 406, 452, 407, 453, 408, 454, 409, 455, 410, 456, 411, 457, 412, 458, 413, 459, 460, 506, 461, 507, 462, 508, 463, 509, 464, 510, 465, 511, 466, 512, 467, 513, 468, 514, 469, 515, 470, 516, 471, 517, 472, 518, 473, 519, 474, 520, 475, 521, 476, 522, 477, 523, 478, 524, 479, 525, 480, 526, 481, 527, 482, 528, 483, 529, 484, 530, 485, 531, 486, 532, 487, 533, 488, 534, 489, 535, 490, 536, 491, 537, 492, 538, 493, 539, 494, 540, 495, 541, 496, 542, 497, 543, 498, 544, 499, 545, 500, 546, 501, 547, 502, 548, 503, 549, 504, 550, 505, 551, 552, 598, 553, 599, 554, 600, 555, 601, 556, 602, 557, 603, 558, 604, 559, 605, 560, 606, 561, 607, 562, 608, 563, 609, 564, 610, 565, 611, 566, 612, 567, 613, 568, 614, 569, 615, 570, 616, 571, 617, 572, 618, 573, 619, 574, 620, 575, 621, 576, 622, 577, 623, 578, 624, 579, 625, 580, 626, 581, 627, 582, 628, 583, 629, 584, 630, 585, 631, 586, 632, 587, 633, 588, 634, 589, 635, 590, 636, 591, 637, 592, 638, 593, 639, 594, 640, 595, 641, 596, 642, 597, 643, 644, 690, 645, 691, 646, 692, 647, 693, 648, 694, 649, 695, 650, 696, 651, 697, 652, 698, 653, 699, 654, 700, 655, 701, 656, 702, 657, 703, 658, 704, 659, 705, 660, 706, 661, 707, 662, 708, 663, 709, 664, 710, 665, 711, 666, 712, 667, 713, 668, 714, 669, 715, 670, 716, 671, 717, 672, 718, 673, 719, 674, 720, 675, 721, 676, 722, 677, 723, 678, 724, 679, 725, 680, 726, 681, 727, 682, 728, 683, 729, 684, 730, 685, 731, 686, 732, 687, 733, 688, 734, 689, 735, 736, 782, 737, 783, 738, 784, 739, 785, 740, 786, 741, 787, 742, 788, 743, 789, 744, 790, 745, 791, 746, 792, 747, 793, 748, 794, 749, 795, 750, 796, 751, 797, 752, 798, 753, 799, 754, 800, 755, 801, 756, 802, 757, 803, 758, 804, 759, 805, 760, 806, 761, 807, 762, 808, 763, 809, 764, 810, 765, 811, 766, 812, 767, 813, 768, 814, 769, 815, 770, 816, 771, 817, 772, 818, 773, 819, 774, 820, 775, 821, 776, 822, 777, 823, 778, 824, 779, 825, 780, 826, 781, 827, 828, 874, 829, 875, 830, 876, 831, 877, 832, 878, 833, 879, 834, 880, 835, 881, 836, 882, 837, 883, 838, 884, 839, 885, 840, 886, 841, 887, 842, 888, 843, 889, 844, 890, 845, 891, 846, 892, 847, 893, 848, 894, 849, 895, 850, 896, 851, 897, 852, 898, 853, 899, 854, 900, 855, 901, 856, 902, 857, 903, 858, 904, 859, 905, 860, 906, 861, 907, 862, 908, 863, 909, 864, 910, 865, 911, 866, 912, 867, 913, 868, 914, 869, 915, 870, 916, 871, 917, 872, 918, 873, 919, 920, 966, 921, 967, 922, 968, 923, 969, 924, 970, 925, 971, 926, 972, 927, 973, 928, 974, 929, 975, 930, 976, 931, 977, 932, 978, 933, 979, 934, 980, 935, 981, 936, 982, 937, 983, 938, 984, 939, 985, 940, 986, 941, 987, 942, 988, 943, 989, 944, 990, 945, 991, 946, 992, 947, 993, 948, 994, 949, 995, 950, 996, 951, 997, 952, 998, 953, 999, 954, 1000, 955, 1001, 956, 1002, 957, 1003, 958, 1004, 959, 1005, 960, 1006, 961, 1007, 962, 1008, 963, 1009, 964, 1010, 965, 1011, 1012, 1058, 1013, 1059, 1014, 1060, 1015, 1061, 1016, 1062, 1017, 1063, 1018, 1064, 1019, 1065, 1020, 1066, 1021, 1067, 1022, 1068, 1023, 1069, 1024, 1070, 1025, 1071, 1026, 1072, 1027, 1073, 1028, 1074, 1029, 1075, 1030, 1076, 1031, 1077, 1032, 1078, 1033, 1079, 1034, 1080, 1035, 1081, 1036, 1082, 1037, 1083, 1038, 1084, 1039, 1085, 1040, 1086, 1041, 1087, 1042, 1088, 1043, 1089, 1044, 1090, 1045, 1091, 1046, 1092, 1047, 1093, 1048, 1094, 1049, 1095, 1050, 1096, 1051, 1097, 1052, 1098, 1053, 1099, 1054, 1100, 1055, 1101, 1056, 1102, 1057, 1103, 1104, 1150, 1105, 1151, 1106, 1152, 1107, 1153, 1108, 1154, 1109, 1155, 1110, 1156, 1111, 1157, 1112, 1158, 1113, 1159, 1114, 1160, 1115, 1161, 1116, 1162, 1117, 1163, 1118, 1164, 1119, 1165, 1120, 1166, 1121, 1167, 1122, 1168, 1123, 1169, 1124, 1170, 1125, 1171, 1126, 1172, 1127, 1173, 1128, 1174, 1129, 1175, 1130, 1176, 1131, 1177, 1132, 1178, 1133, 1179, 1134, 1180, 1135, 1181, 1136, 1182, 1137, 1183, 1138, 1184, 1139, 1185, 1140, 1186, 1141, 1187, 1142, 1188, 1143, 1189, 1144, 1190, 1145, 1191, 1146, 1192, 1147, 1193, 1148, 1194, 1149, 1195, 1196, 1242, 1197, 1243, 1198, 1244, 1199, 1245, 1200, 1246, 1201, 1247, 1202, 1248, 1203, 1249, 1204, 1250, 1205, 1251, 1206, 1252, 1207, 1253, 1208, 1254, 1209, 1255, 1210, 1256, 1211, 1257, 1212, 1258, 1213, 1259, 1214, 1260, 1215, 1261, 1216, 1262, 1217, 1263, 1218, 1264, 1219, 1265, 1220, 1266, 1221, 1267, 1222, 1268, 1223, 1269, 1224, 1270, 1225, 1271, 1226, 1272, 1227, 1273, 1228, 1274, 1229, 1275, 1230, 1276, 1231, 1277, 1232, 1278, 1233, 1279, 1234, 1280, 1235, 1281, 1236, 1282, 1237, 1283, 1238, 1284, 1239, 1285, 1240, 1286, 1241, 1287, 1288, 1334, 1289, 1335, 1290, 1336, 1291, 1337, 1292, 1338, 1293, 1339, 1294, 1340, 1295, 1341, 1296, 1342, 1297, 1343, 1298, 1344, 1299, 1345, 1300, 1346, 1301, 1347, 1302, 1348, 1303, 1349, 1304, 1350, 1305, 1351, 1306, 1352, 1307, 1353, 1308, 1354, 1309, 1355, 1310, 1356, 1311, 1357, 1312, 1358, 1313, 1359, 1314, 1360, 1315, 1361, 1316, 1362, 1317, 1363, 1318, 1364, 1319, 1365, 1320, 1366, 1321, 1367, 1322, 1368, 1323, 1369, 1324, 1370, 1325, 1371, 1326, 1372, 1327, 1373, 1328, 1374, 1329, 1375, 1330, 1376, 1331, 1377, 1332, 1378, 1333, 1379, 1380, 1426, 1381, 1427, 1382, 1428, 1383, 1429, 1384, 1430, 1385, 1431, 1386, 1432, 1387, 1433, 1388, 1434, 1389, 1435, 1390, 1436, 1391, 1437, 1392, 1438, 1393, 1439, 1394, 1440, 1395, 1441, 1396, 1442, 1397, 1443, 1398, 1444, 1399, 1445, 1400, 1446, 1401, 1447, 1402, 1448, 1403, 1449, 1404, 1450, 1405, 1451, 1406, 1452, 1407, 1453, 1408, 1454, 1409, 1455, 1410, 1456, 1411, 1457, 1412, 1458, 1413, 1459, 1414, 1460, 1415, 1461, 1416, 1462, 1417, 1463, 1418, 1464, 1419, 1465, 1420, 1466, 1421, 1467, 1422, 1468, 1423, 1469, 1424, 1470, 1425, 1471 ] }, { "name": "winner-repeat-2", "up": { "r": 4, "c": 92, "k": 4, "columns": 48, "memory": "interleaved", "orientation": "normal", "distributed": true, "reduction": "complete", "local": "direct", "result_grid": null }, "down": { "r": 4, "c": 24, "k": 15, "columns": 48, "memory": "standard", "orientation": "normal", "distributed": true, "reduction": "complete", "local": "direct", "result_grid": [ 5, 3 ] }, "mapping": [ 0, 46, 1, 47, 2, 48, 3, 49, 4, 50, 5, 51, 6, 52, 7, 53, 8, 54, 9, 55, 10, 56, 11, 57, 12, 58, 13, 59, 14, 60, 15, 61, 16, 62, 17, 63, 18, 64, 19, 65, 20, 66, 21, 67, 22, 68, 23, 69, 24, 70, 25, 71, 26, 72, 27, 73, 28, 74, 29, 75, 30, 76, 31, 77, 32, 78, 33, 79, 34, 80, 35, 81, 36, 82, 37, 83, 38, 84, 39, 85, 40, 86, 41, 87, 42, 88, 43, 89, 44, 90, 45, 91, 92, 138, 93, 139, 94, 140, 95, 141, 96, 142, 97, 143, 98, 144, 99, 145, 100, 146, 101, 147, 102, 148, 103, 149, 104, 150, 105, 151, 106, 152, 107, 153, 108, 154, 109, 155, 110, 156, 111, 157, 112, 158, 113, 159, 114, 160, 115, 161, 116, 162, 117, 163, 118, 164, 119, 165, 120, 166, 121, 167, 122, 168, 123, 169, 124, 170, 125, 171, 126, 172, 127, 173, 128, 174, 129, 175, 130, 176, 131, 177, 132, 178, 133, 179, 134, 180, 135, 181, 136, 182, 137, 183, 184, 230, 185, 231, 186, 232, 187, 233, 188, 234, 189, 235, 190, 236, 191, 237, 192, 238, 193, 239, 194, 240, 195, 241, 196, 242, 197, 243, 198, 244, 199, 245, 200, 246, 201, 247, 202, 248, 203, 249, 204, 250, 205, 251, 206, 252, 207, 253, 208, 254, 209, 255, 210, 256, 211, 257, 212, 258, 213, 259, 214, 260, 215, 261, 216, 262, 217, 263, 218, 264, 219, 265, 220, 266, 221, 267, 222, 268, 223, 269, 224, 270, 225, 271, 226, 272, 227, 273, 228, 274, 229, 275, 276, 322, 277, 323, 278, 324, 279, 325, 280, 326, 281, 327, 282, 328, 283, 329, 284, 330, 285, 331, 286, 332, 287, 333, 288, 334, 289, 335, 290, 336, 291, 337, 292, 338, 293, 339, 294, 340, 295, 341, 296, 342, 297, 343, 298, 344, 299, 345, 300, 346, 301, 347, 302, 348, 303, 349, 304, 350, 305, 351, 306, 352, 307, 353, 308, 354, 309, 355, 310, 356, 311, 357, 312, 358, 313, 359, 314, 360, 315, 361, 316, 362, 317, 363, 318, 364, 319, 365, 320, 366, 321, 367, 368, 414, 369, 415, 370, 416, 371, 417, 372, 418, 373, 419, 374, 420, 375, 421, 376, 422, 377, 423, 378, 424, 379, 425, 380, 426, 381, 427, 382, 428, 383, 429, 384, 430, 385, 431, 386, 432, 387, 433, 388, 434, 389, 435, 390, 436, 391, 437, 392, 438, 393, 439, 394, 440, 395, 441, 396, 442, 397, 443, 398, 444, 399, 445, 400, 446, 401, 447, 402, 448, 403, 449, 404, 450, 405, 451, 406, 452, 407, 453, 408, 454, 409, 455, 410, 456, 411, 457, 412, 458, 413, 459, 460, 506, 461, 507, 462, 508, 463, 509, 464, 510, 465, 511, 466, 512, 467, 513, 468, 514, 469, 515, 470, 516, 471, 517, 472, 518, 473, 519, 474, 520, 475, 521, 476, 522, 477, 523, 478, 524, 479, 525, 480, 526, 481, 527, 482, 528, 483, 529, 484, 530, 485, 531, 486, 532, 487, 533, 488, 534, 489, 535, 490, 536, 491, 537, 492, 538, 493, 539, 494, 540, 495, 541, 496, 542, 497, 543, 498, 544, 499, 545, 500, 546, 501, 547, 502, 548, 503, 549, 504, 550, 505, 551, 552, 598, 553, 599, 554, 600, 555, 601, 556, 602, 557, 603, 558, 604, 559, 605, 560, 606, 561, 607, 562, 608, 563, 609, 564, 610, 565, 611, 566, 612, 567, 613, 568, 614, 569, 615, 570, 616, 571, 617, 572, 618, 573, 619, 574, 620, 575, 621, 576, 622, 577, 623, 578, 624, 579, 625, 580, 626, 581, 627, 582, 628, 583, 629, 584, 630, 585, 631, 586, 632, 587, 633, 588, 634, 589, 635, 590, 636, 591, 637, 592, 638, 593, 639, 594, 640, 595, 641, 596, 642, 597, 643, 644, 690, 645, 691, 646, 692, 647, 693, 648, 694, 649, 695, 650, 696, 651, 697, 652, 698, 653, 699, 654, 700, 655, 701, 656, 702, 657, 703, 658, 704, 659, 705, 660, 706, 661, 707, 662, 708, 663, 709, 664, 710, 665, 711, 666, 712, 667, 713, 668, 714, 669, 715, 670, 716, 671, 717, 672, 718, 673, 719, 674, 720, 675, 721, 676, 722, 677, 723, 678, 724, 679, 725, 680, 726, 681, 727, 682, 728, 683, 729, 684, 730, 685, 731, 686, 732, 687, 733, 688, 734, 689, 735, 736, 782, 737, 783, 738, 784, 739, 785, 740, 786, 741, 787, 742, 788, 743, 789, 744, 790, 745, 791, 746, 792, 747, 793, 748, 794, 749, 795, 750, 796, 751, 797, 752, 798, 753, 799, 754, 800, 755, 801, 756, 802, 757, 803, 758, 804, 759, 805, 760, 806, 761, 807, 762, 808, 763, 809, 764, 810, 765, 811, 766, 812, 767, 813, 768, 814, 769, 815, 770, 816, 771, 817, 772, 818, 773, 819, 774, 820, 775, 821, 776, 822, 777, 823, 778, 824, 779, 825, 780, 826, 781, 827, 828, 874, 829, 875, 830, 876, 831, 877, 832, 878, 833, 879, 834, 880, 835, 881, 836, 882, 837, 883, 838, 884, 839, 885, 840, 886, 841, 887, 842, 888, 843, 889, 844, 890, 845, 891, 846, 892, 847, 893, 848, 894, 849, 895, 850, 896, 851, 897, 852, 898, 853, 899, 854, 900, 855, 901, 856, 902, 857, 903, 858, 904, 859, 905, 860, 906, 861, 907, 862, 908, 863, 909, 864, 910, 865, 911, 866, 912, 867, 913, 868, 914, 869, 915, 870, 916, 871, 917, 872, 918, 873, 919, 920, 966, 921, 967, 922, 968, 923, 969, 924, 970, 925, 971, 926, 972, 927, 973, 928, 974, 929, 975, 930, 976, 931, 977, 932, 978, 933, 979, 934, 980, 935, 981, 936, 982, 937, 983, 938, 984, 939, 985, 940, 986, 941, 987, 942, 988, 943, 989, 944, 990, 945, 991, 946, 992, 947, 993, 948, 994, 949, 995, 950, 996, 951, 997, 952, 998, 953, 999, 954, 1000, 955, 1001, 956, 1002, 957, 1003, 958, 1004, 959, 1005, 960, 1006, 961, 1007, 962, 1008, 963, 1009, 964, 1010, 965, 1011, 1012, 1058, 1013, 1059, 1014, 1060, 1015, 1061, 1016, 1062, 1017, 1063, 1018, 1064, 1019, 1065, 1020, 1066, 1021, 1067, 1022, 1068, 1023, 1069, 1024, 1070, 1025, 1071, 1026, 1072, 1027, 1073, 1028, 1074, 1029, 1075, 1030, 1076, 1031, 1077, 1032, 1078, 1033, 1079, 1034, 1080, 1035, 1081, 1036, 1082, 1037, 1083, 1038, 1084, 1039, 1085, 1040, 1086, 1041, 1087, 1042, 1088, 1043, 1089, 1044, 1090, 1045, 1091, 1046, 1092, 1047, 1093, 1048, 1094, 1049, 1095, 1050, 1096, 1051, 1097, 1052, 1098, 1053, 1099, 1054, 1100, 1055, 1101, 1056, 1102, 1057, 1103, 1104, 1150, 1105, 1151, 1106, 1152, 1107, 1153, 1108, 1154, 1109, 1155, 1110, 1156, 1111, 1157, 1112, 1158, 1113, 1159, 1114, 1160, 1115, 1161, 1116, 1162, 1117, 1163, 1118, 1164, 1119, 1165, 1120, 1166, 1121, 1167, 1122, 1168, 1123, 1169, 1124, 1170, 1125, 1171, 1126, 1172, 1127, 1173, 1128, 1174, 1129, 1175, 1130, 1176, 1131, 1177, 1132, 1178, 1133, 1179, 1134, 1180, 1135, 1181, 1136, 1182, 1137, 1183, 1138, 1184, 1139, 1185, 1140, 1186, 1141, 1187, 1142, 1188, 1143, 1189, 1144, 1190, 1145, 1191, 1146, 1192, 1147, 1193, 1148, 1194, 1149, 1195, 1196, 1242, 1197, 1243, 1198, 1244, 1199, 1245, 1200, 1246, 1201, 1247, 1202, 1248, 1203, 1249, 1204, 1250, 1205, 1251, 1206, 1252, 1207, 1253, 1208, 1254, 1209, 1255, 1210, 1256, 1211, 1257, 1212, 1258, 1213, 1259, 1214, 1260, 1215, 1261, 1216, 1262, 1217, 1263, 1218, 1264, 1219, 1265, 1220, 1266, 1221, 1267, 1222, 1268, 1223, 1269, 1224, 1270, 1225, 1271, 1226, 1272, 1227, 1273, 1228, 1274, 1229, 1275, 1230, 1276, 1231, 1277, 1232, 1278, 1233, 1279, 1234, 1280, 1235, 1281, 1236, 1282, 1237, 1283, 1238, 1284, 1239, 1285, 1240, 1286, 1241, 1287, 1288, 1334, 1289, 1335, 1290, 1336, 1291, 1337, 1292, 1338, 1293, 1339, 1294, 1340, 1295, 1341, 1296, 1342, 1297, 1343, 1298, 1344, 1299, 1345, 1300, 1346, 1301, 1347, 1302, 1348, 1303, 1349, 1304, 1350, 1305, 1351, 1306, 1352, 1307, 1353, 1308, 1354, 1309, 1355, 1310, 1356, 1311, 1357, 1312, 1358, 1313, 1359, 1314, 1360, 1315, 1361, 1316, 1362, 1317, 1363, 1318, 1364, 1319, 1365, 1320, 1366, 1321, 1367, 1322, 1368, 1323, 1369, 1324, 1370, 1325, 1371, 1326, 1372, 1327, 1373, 1328, 1374, 1329, 1375, 1330, 1376, 1331, 1377, 1332, 1378, 1333, 1379, 1380, 1426, 1381, 1427, 1382, 1428, 1383, 1429, 1384, 1430, 1385, 1431, 1386, 1432, 1387, 1433, 1388, 1434, 1389, 1435, 1390, 1436, 1391, 1437, 1392, 1438, 1393, 1439, 1394, 1440, 1395, 1441, 1396, 1442, 1397, 1443, 1398, 1444, 1399, 1445, 1400, 1446, 1401, 1447, 1402, 1448, 1403, 1449, 1404, 1450, 1405, 1451, 1406, 1452, 1407, 1453, 1408, 1454, 1409, 1455, 1410, 1456, 1411, 1457, 1412, 1458, 1413, 1459, 1414, 1460, 1415, 1461, 1416, 1462, 1417, 1463, 1418, 1464, 1419, 1465, 1420, 1466, 1421, 1467, 1422, 1468, 1423, 1469, 1424, 1470, 1425, 1471 ] } ] }