{"columns":[{"name":"__id","type":"int64"},{"name":"name","type":"string"},{"name":"description","type":"string"},{"name":"problem_ids","type":"string"}],"n_rows":7,"rows_kept":7,"cut":false,"text_format":"parquet-jsonl-2026-10-02","bounds":{"document_bytes":16777216,"package_text_limit_bytes":33554432,"package_text_slack_bytes":1024,"rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096,"vector_min":64,"vector_head_fixed":16,"vector_head_variable":64,"kv_value_chars":1048576,"nesting_max":64,"binary_text":true},"cells_cut":3,"cells_bad_utf8":0,"cells_raw":0,"cells_binary":0,"cells_binary_text":0,"cells_vector":0,"n_row_groups":1,"reader":"pyarrow 23.0.1, python 3.13","created_by":"parquet-cpp-arrow version 20.0.0","schema":{"fields":[{"name":"__id","type":"int64","nullable":true,"metadata":null,"children":null},{"name":"name","type":"string","nullable":true,"metadata":null,"children":null},{"name":"description","type":"string","nullable":true,"metadata":null,"children":null},{"name":"problem_ids","type":"string","nullable":true,"metadata":null,"children":null}],"parquet":"required group field_id=-1 schema {\n  optional int64 field_id=-1 __id;\n  optional binary field_id=-1 name (String);\n  optional binary field_id=-1 description (String);\n  optional binary field_id=-1 problem_ids (String);\n}\n"},"kv_metadata":[["ARROW:schema",{"$cut":{"chars":748,"head":""}}],["huggingface","{\"info\": {\"features\": {\"__id\": {\"dtype\": \"int64\", \"_type\": \"Value\"}, \"name\": {\"dtype\": \"string\", \"_type\": \"Value\"}, \"description\": {\"dtype\": \"string\", \"_type\": \"Value\"}, \"problem_ids\": {\"dtype\": \"string\", \"_type\": \"Value\"}}}}"]]}
[-1,"None","None","None"]
[0,"1500",null,"0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,417,418,420,421,423,424,425,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,602,603,604,605,606,607,608,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,868,869,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,974,975,976,977,978,979,980,982,983,984,985,986,987,988,989,990,991,992,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1027,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1082,1083,1084,1085,1086,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,1112,1113,1114,1115,1116,1117,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,1131,1132,1133,1134,1135,1136,1137,1138,1139,1140,1141,1142,1143,1144,1145,1146,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1206,1207,1208,1209,1210,1211,1212,1213,1214,1215,1217,1218,1219,1220,1221,1222,1223,1224,1225,1226,1227,1229,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,1241,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258,1259,1260,1261,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,1274,1275,1276,1277,1278,1279,1280,1281,1282,1283,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1297,1298,1299,1300,1301,1302,1303,1304,1305,1306,1307,1308,1310,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1324,1325,1326,1327,1328,1329,1330,1331,1332,1333,1334,1335,1336,1337,1338,1339,1340,1341,1342,1345,1346,1348,1349,1350,1351,1352,1353,1354,1355,1356,1357,1358,1359,1360,1361,1362,1363,1364,1365,1366,1367,1368,1369,1370,1371,1372,1373,1374,1375,1376,1377,1378,1380,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1391,1392,1393,1394,1395,1396,1397,1398,1399,1400,1401,1402,1403,1404,1405,1406,1407,1408,1409,1410,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1423,1424,1425,1426,1427,1429,1430,1431,1432,1433,1434,1435,1436,1437,1438,1439,1440,1441,1442,1443,1445,1446,1447,1448,1449,1450,1451,1452,1453,1454,1455,1456,1457,1458,1459,1461,1462,1463,1464,1465,1466,1467,1468,1469,1470,1471,1472,1473,1474,1475,1476,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1491,1492,1493,1494,1495,1496,1497,1498,1499"]
[3,"1500_markovian",null,"10,11,12,15,16,19,21,24,28,32,33,34,37,40,53,60,62,66,82,83,85,87,91,94,95,96,102,103,110,119,120,125,130,133,136,145,146,152,155,157,158,166,172,173,177,179,185,186,187,195,198,201,203,213,247,251,253,254,257,261,263,268,280,281,288,291,292,302,304,307,312,320,323,325,328,330,337,339,342,343,350,351,356,359,368,371,375,378,387,390,395,397,400,401,403,409,413,417,420,423,433,434,436,437,440,455,459,460,462,463,467,471,475,479,481,483,487,495,498,503,505,517,522,523,543,544,554,560,561,563,564,567,571,572,574,575,582,585,589,605,613,624,628,633,639,644,645,646,648,652,654,655,659,660,666,668,669,673,675,679,682,684,689,690,692,693,698,717,721,726,734,737,741,744,746,750,752,755,759,762,772,780,781,787,788,802,807,810,815,826,828,830,834,837,843,845,846,855,857,858,859,860,862,864,877,878,879,880,884,886,893,898,899,903,906,910,911,914,917,919,924,925,926,927,933,935,940,945,954,955,957,959,963,968,998,1009,1022,1033,1037,1039,1041,1045,1046,1047,1054,1056,1058,1064,1066,1074,1075,1080,1089,1096,1098,1099,1102,1103,1105,1113,1114,1116,1119,1122,1124,1126,1130,1131,1133,1134,1141,1142,1153,1156,1157,1158,1163,1165,1167,1175,1176,1178,1183,1185,1186,1198,1199,1203,1209,1212,1213,1214,1215,1219,1229,1232,1236,1238,1239,1244,1246,1250,1252,1253,1262,1266,1268,1269,1271,1275,1276,1281,1286,1287,1294,1297,1300,1304,1310,1312,1314,1315,1316,1318,1325,1326,1329,1332,1338,1339,1340,1348,1351,1361,1364,1369,1376,1381,1393,1395,1396,1399,1400,1406,1411,1412,1423,1424,1425,1426,1427,1430,1433,1435,1438,1439,1445,1450,1451,1455,1456,1457,1458,1463,1478,1480,1486,1488,1493"]
[4,"1500_non-markovian",null,"0,1,2,3,4,5,6,7,8,9,13,14,17,18,20,22,23,25,26,27,29,30,31,35,36,38,39,41,42,43,44,45,46,47,48,49,50,51,52,54,55,56,57,58,59,61,63,64,65,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,84,86,88,89,90,92,93,97,98,99,100,101,104,105,106,107,108,109,111,112,113,114,115,116,117,118,121,122,123,124,126,127,128,129,131,132,134,135,137,138,139,140,141,142,143,144,147,148,149,150,151,153,154,156,159,160,161,162,163,164,165,167,168,169,170,171,174,175,176,178,180,181,182,183,184,188,189,190,191,192,193,194,196,197,199,200,202,204,205,206,207,208,209,210,211,212,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,235,236,237,238,239,240,241,242,243,244,245,246,248,249,250,252,255,256,258,259,260,262,264,265,266,267,269,270,271,272,273,274,275,276,277,278,279,282,283,284,285,286,287,289,290,293,294,295,296,297,298,299,300,301,303,305,306,308,309,310,311,313,314,315,316,317,318,319,321,322,324,326,327,329,331,332,333,334,335,336,338,340,341,344,345,346,347,348,349,352,353,354,355,357,358,360,361,362,363,364,365,366,367,369,370,372,373,374,376,377,379,380,381,382,383,384,385,386,388,389,391,392,393,394,396,398,399,402,404,405,406,407,408,410,411,412,414,415,418,421,424,425,427,428,429,430,431,432,435,438,439,441,442,443,444,445,446,447,448,449,450,451,452,453,454,456,457,458,461,465,466,468,469,470,472,473,474,476,477,478,480,482,484,485,486,488,489,490,491,492,493,494,496,497,499,500,501,502,504,506,507,508,509,510,511,512,513,514,515,516,518,519,520,521,524,525,526,527,528,529,530,531,532,533,535,536,537,538,539,540,541,542,545,546,547,548,549,550,551,552,553,555,556,557,558,559,562,565,566,568,569,570,573,576,577,578,579,580,581,583,584,586,587,588,590,591,592,593,594,595,596,597,598,599,600,602,603,604,606,607,608,610,611,612,614,615,616,617,618,619,620,621,622,623,625,626,627,629,630,631,632,634,635,636,637,638,640,641,642,643,647,649,650,651,653,656,658,661,662,663,664,665,667,670,671,672,674,676,677,678,680,681,683,685,686,687,688,691,694,695,696,697,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,718,719,720,722,723,724,725,727,728,729,730,731,732,733,735,736,738,739,740,742,743,745,747,748,749,751,753,754,756,757,758,760,761,763,764,765,766,767,768,769,770,771,773,774,775,776,777,778,779,782,783,784,785,786,789,790,791,792,793,794,795,796,797,798,799,800,801,803,804,805,806,808,809,811,812,813,814,816,817,818,819,820,821,822,823,824,825,827,829,831,832,833,835,836,838,839,841,842,844,847,848,849,850,851,852,853,854,856,861,863,865,866,868,869,871,872,873,874,875,876,881,882,883,885,887,888,889,890,891,892,894,895,896,897,900,901,902,904,905,907,908,909,912,913,915,916,918,920,921,922,923,928,929,930,931,932,934,936,937,938,939,941,942,943,944,946,947,948,949,950,951,952,953,956,958,960,961,962,964,965,966,967,969,970,971,972,974,975,976,977,978,979,980,982,983,984,985,986,987,988,989,990,991,992,995,996,997,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1023,1024,1025,1026,1027,1028,1029,1030,1031,1032,1034,1035,1036,1038,1040,1042,1043,1044,1048,1049,1050,1051,1052,1053,1055,1057,1059,1060,1061,1062,1063,1065,1067,1068,1069,1070,1071,1072,1073,1076,1077,1078,1079,1081,1082,1083,1084,1085,1086,1087,1088,1090,1091,1092,1093,1094,1095,1097,1100,1101,1104,1106,1107,1108,1109,1110,1111,1112,1115,1117,1120,1121,1123,1125,1127,1128,1129,1132,1135,1136,1137,1138,1139,1140,1143,1144,1145,1146,1147,1148,1149,1150,1151,1152,1154,1155,1159,1160,1161,1162,1164,1166,1168,1169,1170,1171,1172,1173,1174,1177,1179,1180,1181,1182,1184,1187,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1200,1201,1202,1204,1206,1207,1208,1210,1211,1217,1218,1220,1221,1222,1223,1224,1225,1226,1227,1230,1231,1233,1234,1235,1237,1240,1241,1243,1245,1247,1248,1249,1251,1254,1255,1256,1257,1258,1259,1260,1261,1263,1264,1265,1267,1270,1272,1273,1274,1277,1278,1279,1280,1282,1283,1284,1285,1288,1289,1290,1291,1292,1293,1295,1296,1298,1299,1301,1302,1303,1305,1306,1307,1308,1311,1313,1317,1319,1320,1321,1322,1323,1324,1327,1328,1330,1331,1333,1334,1335,1336,1337,1341,1342,1345,1346,1349,1350,1352,1353,1354,1355,1356,1357,1358,1359,1360,1362,1363,1365,1366,1367,1368,1370,1371,1372,1373,1374,1375,1377,1378,1380,1382,1383,1384,1385,1386,1387,1388,1389,1390,1391,1392,1394,1397,1398,1401,1402,1403,1404,1405,1407,1408,1409,1410,1413,1414,1415,1416,1417,1418,1419,1420,1421,1429,1431,1432,1434,1436,1437,1440,1441,1442,1443,1446,1447,1448,1449,1452,1453,1454,1459,1461,1462,1464,1465,1466,1467,1468,1469,1470,1471,1472,1473,1474,1475,1476,1479,1481,1482,1483,1484,1485,1487,1489,1491,1492,1494,1495,1496,1497,1498,1499"]
[5,"pm",null,{"$cut":{"chars":180861,"head":"0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,417,418,420,421,423,424,425,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,602,603,604,605,606,607,608,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,868,869,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,974,975,976,977,978,979,980,982,983,984,985,986,987,988,989,990,991,992,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1027,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054"}}]
[6,"pm_markovian",null,{"$cut":{"chars":53151,"head":"11,12,16,19,21,28,29,32,33,34,37,40,44,52,53,58,60,62,66,72,82,83,85,87,91,94,95,96,103,104,110,119,125,129,130,133,145,147,152,155,156,158,162,172,173,177,179,184,185,186,187,198,201,203,204,213,246,247,251,254,257,259,261,263,268,281,288,291,298,302,304,307,309,312,320,323,325,326,330,337,339,341,342,343,350,355,356,359,361,368,371,375,378,384,389,390,395,397,400,403,404,408,409,413,417,420,423,433,434,435,436,437,438,440,455,459,460,462,463,467,471,475,477,479,483,487,495,498,500,503,505,522,528,540,543,544,554,560,561,563,564,571,572,574,575,577,585,589,605,606,613,614,629,631,633,639,644,645,646,648,652,654,655,659,660,666,668,669,670,673,675,689,690,692,693,698,714,717,721,726,734,737,741,746,750,752,755,759,762,769,772,777,780,781,786,787,788,789,798,802,807,810,816,826,828,830,833,834,836,837,841,843,845,855,857,858,859,862,877,879,883,884,886,893,898,899,903,906,910,917,919,924,926,927,933,944,945,952,954,955,957,959,968,1015,1022,1029,1033,1037,1039,1045,1046,1047,1054,1056,1058,1064,1065,1066,1074,1075,1084,1089,1096,1098,1099,1102,1103,1105,1113,1114,1119,1122,1124,1126,1131,1133,1134,1141,1142,1143,1145,1153,1157,1158,1163,1164,1165,1167,1175,1176,1183,1185,1186,1199,1203,1209,1212,1213,1214,1215,1219,1229,1232,1234,1236,1238,1239,1244,1246,1250,1252,1253,1262,1266,1268,1269,1271,1275,1276,1286,1287,1295,1297,1300,1304,1310,1312,1315,1316,1318,1329,1332,1339,1340,1351,1358,1360,1361,1364,1369,1376,1381,1395,1396,1399,1406,1410,1411,1412,1423,1424,1425,1426,1427,1429,1430,1431,1433,1435,1438,1439,1440,1445,1450,1451,1456,1457,1458,1462,1463,1478,1480,1486,1488,1497,1499,1501,1503,1505,1507,1508,1511,1520,1523,1529,1530,1533,1542,1545,1546,1554,1555,1559,1561,1562,1570,1584,1588,1591,1598,1599,1601,1603,1604,1607,1609,1611,1614,1618,1620,1621,1622,1627,1630,1639,1640,1642,1643,1644,1648,1650,1654,1656,1658,1659,1661,1666,1668,1673,1678,1682,1687,1692,1694,1696,1697,1698,1699,1700,1712,1713,1718,1725,1728,1729,1735,1738,1746,1753,1755,1757,1763,1764,1765,1767,1768,1776,1777,1781,1789,1796,1806,1811,1814,1817,1820,1826,1829,1831,1841,1848,1857,1861,1862,1863,1864,1868,1872,1881,1883,1888,1893,1895,1896,1898,1900,1902,1904,1906,1907,1911,1914,1916,1921,1925,1934,1935,1941,1955,1958,1959,1960,1966,1971,1972,1975,1976,1977,1982,1983,1986,1988,1992,1993,1996,1998,2002,2004,2007,2011,2013,2016,2017,2018,2019,2024,2025,2029,2031,2034,2038,2046,2048,2050,2052,2070,2071,2075,2081,2082,2089,2111,2114,2117,2119,2122,2132,2134,2150,2152,2162,2164,2169,2170,2172,2174,2176,2178,2179,2182,2183,2185,2186,2189,2190,2194,2198,2204,2208,2212,2215,2225,2228,2230,2239,2240,2242,2248,2251,2254,2256,2262,2264,2265,2271,2272,2274,2275,2277,2293,2294,2301,2308,2310,2311,2312,2314,2317,2322,2323,2327,2330,2333,2334,2336,2338,2343,2347,2348,2355,2358,2362,2377,2382,2384,2387,2389,2392,2395,2397,2401,2404,2405,2415,2416,2421,2422,2425,2426,2429,2430,2431,2433,2435,2437,2438,2443,2447,2451,2453,2457,2458,2459,2463,2469,2477,2478,2482,2487,2488,2491,2493,2494,2495,2498,2501,2507,2511,2515,2517,2522,2526,2531,2533,2534,2536,2544,2548,2552,2553,2554,2562,2564,2565,2566,2569,2578,2591,2594,2595,2599,2602,2617,2624,2626,2627,2633,2636,2639,2640,2642,2645,2646,2647,2649,2651,2653,2655,2656,2662,2666,2667,2668,2670,2671,2672,2674,2677,2679,2683,2685,2686,2693,2694,2695,2697,2700,2701,2705,2707,2716,2717,2718,2720,2723,2725,2730,2731,2738,2743,2747,2754,2757,2759,2760,2761,2763,2764,2768,2770,2779,2781,2786,2787,2790,2800,2818,2819,2838,2846,2855,2862,2867,2868,2870,2871,2874,2876,2878,2888,2890,2891,2892,2893,2897,2898,2900,2901,2907,2917,2919,2925,2926,2930,2934,2935,2936,2943,2944,2951,2953,2959,2961,2963,2965,2966,2968,2970,2977,2979,2981,2982,2983,2984,2985,2991,2996,3000,3004,3006,3010,3012,3019,3025,3026,3030,3032,3034,3036,3037,3038,3043,3044,3048,3051,3054,3057,3059,3060,3066,3067,3069,3075,3079,3080,3081,3085,3089,3091,3093,3109,3112,3115,3116,3127,3132,3133,3134,3136,3149,3156,3165,3166,3168,3188,3189,3190,3196,3197,3208,3216,3219,3222,3225,3227,3234,3238,3240,3241,3243,3244,3248,3255,3256,3257,3258,3261,3273,3274,3278,3279,3284,3288,32"}}]
[7,"pm_non-markovian",null,{"$cut":{"chars":127624,"head":"0,1,2,3,4,5,6,7,8,9,10,13,14,15,17,18,20,22,23,24,25,26,27,30,31,35,36,38,39,41,42,43,45,46,47,48,49,50,51,54,55,56,57,59,61,63,64,65,67,68,69,70,71,73,74,75,76,77,78,79,80,81,84,86,88,89,90,92,93,97,98,99,100,101,102,105,106,107,108,109,111,112,113,114,115,116,117,118,120,121,122,123,124,126,127,128,131,132,134,135,136,137,138,139,140,141,142,143,144,146,148,149,150,151,153,154,157,159,160,161,163,164,165,166,167,168,169,170,171,174,175,176,178,180,181,182,183,188,189,190,191,192,193,194,195,196,197,199,200,202,205,206,207,208,209,210,211,212,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,235,236,237,238,239,240,241,242,243,244,245,248,249,250,252,253,255,256,258,260,262,264,265,266,267,269,270,271,272,273,274,275,276,277,278,279,280,282,283,284,285,286,287,289,290,292,293,294,295,296,297,299,300,301,303,305,306,308,310,311,313,314,315,316,317,318,319,321,322,324,327,328,329,331,332,333,334,335,336,338,340,344,345,346,347,348,349,351,352,353,354,357,358,360,362,363,364,365,366,367,369,370,372,373,374,376,377,379,380,381,382,383,385,386,387,388,391,392,393,394,396,398,399,401,402,405,406,407,410,411,412,414,415,418,421,424,425,427,428,429,430,431,432,439,441,442,443,444,445,446,447,448,449,450,451,452,453,454,456,457,458,461,465,466,468,469,470,472,473,474,476,478,480,481,482,484,485,486,488,489,490,491,492,493,494,496,497,499,501,502,504,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,523,524,525,526,527,529,530,531,532,533,535,536,537,538,539,541,542,545,546,547,548,549,550,551,552,553,555,556,557,558,559,562,565,566,567,568,569,570,573,576,578,579,580,581,582,583,584,586,587,588,590,591,592,593,594,595,596,597,598,599,600,602,603,604,607,608,610,611,612,615,616,617,618,619,620,621,622,623,624,625,626,627,628,630,632,634,635,636,637,638,640,641,642,643,647,649,650,651,653,656,658,661,662,663,664,665,667,671,672,674,676,677,678,679,680,681,682,683,684,685,686,687,688,691,694,695,696,697,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,715,716,718,720,722,723,724,725,727,728,729,730,731,732,733,735,736,738,739,740,742,743,744,745,747,748,749,751,753,754,756,757,758,760,761,763,764,765,766,767,768,770,771,773,774,775,776,778,779,782,783,784,785,790,791,792,793,794,795,796,797,799,800,801,803,804,805,806,808,809,811,812,813,814,815,817,818,819,820,821,822,823,824,825,827,829,831,832,835,838,839,842,844,846,847,848,849,850,851,852,853,854,856,860,861,863,864,865,866,868,869,871,872,873,874,875,876,878,880,881,882,885,887,888,889,890,891,892,894,895,896,897,900,901,902,904,905,907,908,909,911,912,913,914,915,916,918,920,921,922,923,925,928,929,930,931,932,934,935,936,937,938,939,940,941,942,943,946,947,948,949,950,951,953,956,958,960,961,962,963,964,965,966,967,969,970,971,972,974,975,976,977,978,979,980,982,983,984,985,986,987,988,989,990,991,992,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1016,1017,1018,1019,1020,1021,1023,1024,1025,1026,1027,1028,1030,1031,1032,1034,1035,1036,1038,1040,1041,1042,1043,1044,1048,1049,1050,1051,1052,1053,1055,1057,1059,1060,1061,1062,1063,1067,1068,1069,1070,1071,1072,1073,1076,1077,1078,1079,1080,1081,1082,1083,1085,1086,1087,1088,1090,1091,1092,1093,1094,1095,1097,1100,1101,1104,1106,1107,1108,1109,1110,1111,1112,1115,1116,1117,1120,1121,1123,1125,1127,1128,1129,1130,1132,1135,1136,1137,1138,1139,1140,1144,1146,1147,1148,1149,1150,1151,1152,1154,1155,1156,1159,1160,1161,1162,1166,1168,1169,1170,1171,1172,1173,1174,1177,1178,1179,1180,1181,1182,1184,1187,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1200,1201,1202,1204,1206,1207,1208,1210,1211,1217,1218,1220,1221,1222,1223,1224,1225,1226,1227,1230,1231,1233,1235,1237,1240,1241,1243,1245,1247,1248,1249,1251,1254,1255,1256,1257,1258,1259,1260,1261,1263,1264,1265,1267,1270,1272,1273,1274,1277,1278,1279,1280,1281,1282,1283,1284,1285,1288,1289,1290,1291,1292,1293,1294,1296,1298,1299,1301,1302,1303,1305,1306,1307,1308,1311,1313,1314,1317,1319,1320,1321,1322,1323,1324,1325,1326,1327,1328,1330,1331,1333,1334,1335,1336,1337,1338,13"}}]