%------------------------------------------------------------------------------ % File : G4Plus---1.5.2 % Problem : CSR043+3 : TPTP v9.2.1. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : g4plus.sh /export/starexec/sandbox/benchmark/theBenchmark.p 300 % Computer : n023.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 300s % DateTime : Tue May 12 08:16:03 PM UTC 2026 % Result : Theorem 29.50s 29.38s % Output : Proof 29.50s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.20 % Problem : CSR043+3 : TPTP v9.2.1. Released v3.4.0. % 0.03/0.21 % Command : g4plus.sh /export/starexec/sandbox/benchmark/theBenchmark.p 300 % 0.15/0.42 % Computer : n023.cluster.edu % 0.15/0.42 % Model : x86_64 x86_64 % 0.15/0.42 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.42 % Memory : 8042.1875MB % 0.15/0.42 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.42 % CPULimit : 300 % 0.15/0.42 % WCLimit : 300 % 0.15/0.42 % DateTime : Tue May 12 15:46:41 EDT 2026 % 0.15/0.42 % CPUTime : % 29.50/29.38 % SZS status Theorem % 29.50/29.38 % SZS output start Proof % 29.50/29.38 % 29.50/29.38 =============================================================== % 29.50/29.38 TPTP Problem: query143 (conjecture with 8005 axiom(s)) % 29.50/29.38 Axioms: [ax2_1,ax2_2,ax2_3,ax2_4,ax2_5,ax2_6,ax2_7,ax2_8,ax2_9,ax2_10,ax2_11,ax2_12,ax2_13,ax2_14,ax2_15,ax2_16,ax2_17,ax2_18,ax2_19,ax2_20,ax2_21,ax2_22,ax2_23,ax2_24,ax2_25,ax2_26,ax2_27,ax2_28,ax2_29,ax2_30,ax2_31,ax2_32,ax2_33,ax2_34,ax2_35,ax2_36,ax2_37,ax2_38,ax2_39,ax2_40,ax2_41,ax2_42,ax2_43,ax2_44,ax2_45,ax2_46,ax2_47,ax2_48,ax2_49,ax2_50,ax2_51,ax2_52,ax2_53,ax2_54,ax2_55,ax2_56,ax2_57,ax2_58,ax2_59,ax2_60,ax2_61,ax2_62,ax2_63,ax2_64,ax2_65,ax2_66,ax2_67,ax2_68,ax2_69,ax2_70,ax2_71,ax2_72,ax2_73,ax2_74,ax2_75,ax2_76,ax2_77,ax2_78,ax2_79,ax2_80,ax2_81,ax2_82,ax2_83,ax2_84,ax2_85,ax2_86,ax2_87,ax2_88,ax2_89,ax2_90,ax2_91,ax2_92,ax2_93,ax2_94,ax2_95,ax2_96,ax2_97,ax2_98,ax2_99,ax2_100,ax2_101,ax2_102,ax2_103,ax2_104,ax2_105,ax2_106,ax2_107,ax2_108,ax2_109,ax2_110,ax2_111,ax2_112,ax2_113,ax2_114,ax2_115,ax2_116,ax2_117,ax2_118,ax2_119,ax2_120,ax2_121,ax2_122,ax2_123,ax2_124,ax2_125,ax2_126,ax2_127,ax2_128,ax2_129,ax2_130,ax2_131,ax2_132,ax2_133,ax2_134,ax2_135,ax2_136,ax2_137,ax2_138,ax2_139,ax2_140,ax2_141,ax2_142,ax2_143,ax2_144,ax2_145,ax2_146,ax2_147,ax2_148,ax2_149,ax2_150,ax2_151,ax2_152,ax2_153,ax2_154,ax2_155,ax2_156,ax2_157,ax2_158,ax2_159,ax2_160,ax2_161,ax2_162,ax2_163,ax2_164,ax2_165,ax2_166,ax2_167,ax2_168,ax2_169,ax2_170,ax2_171,ax2_172,ax2_173,ax2_174,ax2_175,ax2_176,ax2_177,ax2_178,ax2_179,ax2_180,ax2_181,ax2_182,ax2_183,ax2_184,ax2_185,ax2_186,ax2_187,ax2_188,ax2_189,ax2_190,ax2_191,ax2_192,ax2_193,ax2_194,ax2_195,ax2_196,ax2_197,ax2_198,ax2_199,ax2_200,ax2_201,ax2_202,ax2_203,ax2_204,ax2_205,ax2_206,ax2_207,ax2_208,ax2_209,ax2_210,ax2_211,ax2_212,ax2_213,ax2_214,ax2_215,ax2_216,ax2_217,ax2_218,ax2_219,ax2_220,ax2_221,ax2_222,ax2_223,ax2_224,ax2_225,ax2_226,ax2_227,ax2_228,ax2_229,ax2_230,ax2_231,ax2_232,ax2_233,ax2_234,ax2_235,ax2_236,ax2_237,ax2_238,ax2_239,ax2_240,ax2_241,ax2_242,ax2_243,ax2_244,ax2_245,ax2_246,ax2_247,ax2_248,ax2_249,ax2_250,ax2_251,ax2_252,ax2_253,ax2_254,ax2_255,ax2_256,ax2_257,ax2_258,ax2_259,ax2_260,ax2_261,ax2_262,ax2_263,ax2_264,ax2_265,ax2_266,ax2_267,ax2_268,ax2_269,ax2_270,ax2_271,ax2_272,ax2_273,ax2_274,ax2_275,ax2_276,ax2_277,ax2_278,ax2_279,ax2_280,ax2_281,ax2_282,ax2_283,ax2_284,ax2_285,ax2_286,ax2_287,ax2_288,ax2_289,ax2_290,ax2_291,ax2_292,ax2_293,ax2_294,ax2_295,ax2_296,ax2_297,ax2_298,ax2_299,ax2_300,ax2_301,ax2_302,ax2_303,ax2_304,ax2_305,ax2_306,ax2_307,ax2_308,ax2_309,ax2_310,ax2_311,ax2_312,ax2_313,ax2_314,ax2_315,ax2_316,ax2_317,ax2_318,ax2_319,ax2_320,ax2_321,ax2_322,ax2_323,ax2_324,ax2_325,ax2_326,ax2_327,ax2_328,ax2_329,ax2_330,ax2_331,ax2_332,ax2_333,ax2_334,ax2_335,ax2_336,ax2_337,ax2_338,ax2_339,ax2_340,ax2_341,ax2_342,ax2_343,ax2_344,ax2_345,ax2_346,ax2_347,ax2_348,ax2_349,ax2_350,ax2_351,ax2_352,ax2_353,ax2_354,ax2_355,ax2_356,ax2_357,ax2_358,ax2_359,ax2_360,ax2_361,ax2_362,ax2_363,ax2_364,ax2_365,ax2_366,ax2_367,ax2_368,ax2_369,ax2_370,ax2_371,ax2_372,ax2_373,ax2_374,ax2_375,ax2_376,ax2_377,ax2_378,ax2_379,ax2_380,ax2_381,ax2_382,ax2_383,ax2_384,ax2_385,ax2_386,ax2_387,ax2_388,ax2_389,ax2_390,ax2_391,ax2_392,ax2_393,ax2_394,ax2_395,ax2_396,ax2_397,ax2_398,ax2_399,ax2_400,ax2_401,ax2_402,ax2_403,ax2_404,ax2_405,ax2_406,ax2_407,ax2_408,ax2_409,ax2_410,ax2_411,ax2_412,ax2_413,ax2_414,ax2_415,ax2_416,ax2_417,ax2_418,ax2_419,ax2_420,ax2_421,ax2_422,ax2_423,ax2_424,ax2_425,ax2_426,ax2_427,ax2_428,ax2_429,ax2_430,ax2_431,ax2_432,ax2_433,ax2_434,ax2_435,ax2_436,ax2_437,ax2_438,ax2_439,ax2_440,ax2_441,ax2_442,ax2_443,ax2_444,ax2_445,ax2_446,ax2_447,ax2_448,ax2_449,ax2_450,ax2_451,ax2_452,ax2_453,ax2_454,ax2_455,ax2_456,ax2_457,ax2_458,ax2_459,ax2_460,ax2_461,ax2_462,ax2_463,ax2_464,ax2_465,ax2_466,ax2_467,ax2_468,ax2_469,ax2_470,ax2_471,ax2_472,ax2_473,ax2_474,ax2_475,ax2_476,ax2_477,ax2_478,ax2_479,ax2_480,ax2_481,ax2_482,ax2_483,ax2_484,ax2_485,ax2_486,ax2_487,ax2_488,ax2_489,ax2_490,ax2_491,ax2_492,ax2_493,ax2_494,ax2_495,ax2_496,ax2_497,ax2_498,ax2_499,ax2_500,ax2_501,ax2_502,ax2_503,ax2_504,ax2_505,ax2_506,ax2_507,ax2_508,ax2_509,ax2_510,ax2_511,ax2_512,ax2_513,ax2_514,ax2_515,ax2_516,ax2_517,ax2_518,ax2_519,ax2_520,ax2_521,ax2_522,ax2_523,ax2_524,ax2_525,ax2_526,ax2_527,ax2_528,ax2_529,ax2_530,ax2_531,ax2_532,ax2_533,ax2_534,ax2_535,ax2_536,ax2_537,ax2_538,ax2_539,ax2_540,ax2_541,ax2_542,ax2_543,ax2_544,ax2_545,ax2_546,ax2_547,ax2_548,ax2_549,ax2_550,ax2_551,ax2_552,ax2_553,ax2_554,ax2_555,ax2_556,ax2_557,ax2_558,ax2_559,ax2_560,ax2_561,ax2_562,ax2_563,ax2_564,ax2_565,ax2_566,ax2_567,ax2_568,ax2_569,ax2_570,ax2_571,ax2_572,ax2_573,ax2_574,ax2_575,ax2_576,ax2_577,ax2_578,ax2_579,ax2_580,ax2_581,ax2_582,ax2_583,ax2_584,ax2_585,ax2_586,ax2_587,ax2_588,ax2_589,ax2_590,ax2_591,ax2_592,ax2_593,ax2_594,ax2_595,ax2_596,ax2_597,ax2_598,ax2_599,ax2_600,ax2_601,ax2_602,ax2_603,ax2_604,ax2_605,ax2_606,ax2_607,ax2_608,ax2_609,ax2_610,ax2_611,ax2_612,ax2_613,ax2_614,ax2_615,ax2_616,ax2_617,ax2_618,ax2_619,ax2_620,ax2_621,ax2_622,ax2_623,ax2_624,ax2_625,ax2_626,ax2_627,ax2_628,ax2_629,ax2_630,ax2_631,ax2_632,ax2_633,ax2_634,ax2_635,ax2_636,ax2_637,ax2_638,ax2_639,ax2_640,ax2_641,ax2_642,ax2_643,ax2_644,ax2_645,ax2_646,ax2_647,ax2_648,ax2_649,ax2_650,ax2_651,ax2_652,ax2_653,ax2_654,ax2_655,ax2_656,ax2_657,ax2_658,ax2_659,ax2_660,ax2_661,ax2_662,ax2_663,ax2_664,ax2_665,ax2_666,ax2_667,ax2_668,ax2_669,ax2_670,ax2_671,ax2_672,ax2_673,ax2_674,ax2_675,ax2_676,ax2_677,ax2_678,ax2_679,ax2_680,ax2_681,ax2_682,ax2_683,ax2_684,ax2_685,ax2_686,ax2_687,ax2_688,ax2_689,ax2_690,ax2_691,ax2_692,ax2_693,ax2_694,ax2_695,ax2_696,ax2_697,ax2_698,ax2_699,ax2_700,ax2_701,ax2_702,ax2_703,ax2_704,ax2_705,ax2_706,ax2_707,ax2_708,ax2_709,ax2_710,ax2_711,ax2_712,ax2_713,ax2_714,ax2_715,ax2_716,ax2_717,ax2_718,ax2_719,ax2_720,ax2_721,ax2_722,ax2_723,ax2_724,ax2_725,ax2_726,ax2_727,ax2_728,ax2_729,ax2_730,ax2_731,ax2_732,ax2_733,ax2_734,ax2_735,ax2_736,ax2_737,ax2_738,ax2_739,ax2_740,ax2_741,ax2_742,ax2_743,ax2_744,ax2_745,ax2_746,ax2_747,ax2_748,ax2_749,ax2_750,ax2_751,ax2_752,ax2_753,ax2_754,ax2_755,ax2_756,ax2_757,ax2_758,ax2_759,ax2_760,ax2_761,ax2_762,ax2_763,ax2_764,ax2_765,ax2_766,ax2_767,ax2_768,ax2_769,ax2_770,ax2_771,ax2_772,ax2_773,ax2_774,ax2_775,ax2_776,ax2_777,ax2_778,ax2_779,ax2_780,ax2_781,ax2_782,ax2_783,ax2_784,ax2_785,ax2_786,ax2_787,ax2_788,ax2_789,ax2_790,ax2_791,ax2_792,ax2_793,ax2_794,ax2_795,ax2_796,ax2_797,ax2_798,ax2_799,ax2_800,ax2_801,ax2_802,ax2_803,ax2_804,ax2_805,ax2_806,ax2_807,ax2_808,ax2_809,ax2_810,ax2_811,ax2_812,ax2_813,ax2_814,ax2_815,ax2_816,ax2_817,ax2_818,ax2_819,ax2_820,ax2_821,ax2_822,ax2_823,ax2_824,ax2_825,ax2_826,ax2_827,ax2_828,ax2_829,ax2_830,ax2_831,ax2_832,ax2_833,ax2_834,ax2_835,ax2_836,ax2_837,ax2_838,ax2_839,ax2_840,ax2_841,ax2_842,ax2_843,ax2_844,ax2_845,ax2_846,ax2_847,ax2_848,ax2_849,ax2_850,ax2_851,ax2_852,ax2_853,ax2_854,ax2_855,ax2_856,ax2_857,ax2_858,ax2_859,ax2_860,ax2_861,ax2_862,ax2_863,ax2_864,ax2_865,ax2_866,ax2_867,ax2_868,ax2_869,ax2_870,ax2_871,ax2_872,ax2_873,ax2_874,ax2_875,ax2_876,ax2_877,ax2_878,ax2_879,ax2_880,ax2_881,ax2_882,ax2_883,ax2_884,ax2_885,ax2_886,ax2_887,ax2_888,ax2_889,ax2_890,ax2_891,ax2_892,ax2_893,ax2_894,ax2_895,ax2_896,ax2_897,ax2_898,ax2_899,ax2_900,ax2_901,ax2_902,ax2_903,ax2_904,ax2_905,ax2_906,ax2_907,ax2_908,ax2_909,ax2_910,ax2_911,ax2_912,ax2_913,ax2_914,ax2_915,ax2_916,ax2_917,ax2_918,ax2_919,ax2_920,ax2_921,ax2_922,ax2_923,ax2_924,ax2_925,ax2_926,ax2_927,ax2_928,ax2_929,ax2_930,ax2_931,ax2_932,ax2_933,ax2_934,ax2_935,ax2_936,ax2_937,ax2_938,ax2_939,ax2_940,ax2_941,ax2_942,ax2_943,ax2_944,ax2_945,ax2_946,ax2_947,ax2_948,ax2_949,ax2_950,ax2_951,ax2_952,ax2_953,ax2_954,ax2_955,ax2_956,ax2_957,ax2_958,ax2_959,ax2_960,ax2_961,ax2_962,ax2_963,ax2_964,ax2_965,ax2_966,ax2_967,ax2_968,ax2_969,ax2_970,ax2_971,ax2_972,ax2_973,ax2_974,ax2_975,ax2_976,ax2_977,ax2_978,ax2_979,ax2_980,ax2_981,ax2_982,ax2_983,ax2_984,ax2_985,ax2_986,ax2_987,ax2_988,ax2_989,ax2_990,ax2_991,ax2_992,ax2_993,ax2_994,ax2_995,ax2_996,ax2_997,ax2_998,ax2_999,ax2_1000,ax2_1001,ax2_1002,ax2_1003,ax2_1004,ax2_1005,ax2_1006,ax2_1007,ax2_1008,ax2_1009,ax2_1010,ax2_1011,ax2_1012,ax2_1013,ax2_1014,ax2_1015,ax2_1016,ax2_1017,ax2_1018,ax2_1019,ax2_1020,ax2_1021,ax2_1022,ax2_1023,ax2_1024,ax2_1025,ax2_1026,ax2_1027,ax2_1028,ax2_1029,ax2_1030,ax2_1031,ax2_1032,ax2_1033,ax2_1034,ax2_1035,ax2_1036,ax2_1037,ax2_1038,ax2_1039,ax2_1040,ax2_1041,ax2_1042,ax2_1043,ax2_1044,ax2_1045,ax2_1046,ax2_1047,ax2_1048,ax2_1049,ax2_1050,ax2_1051,ax2_1052,ax2_1053,ax2_1054,ax2_1055,ax2_1056,ax2_1057,ax2_1058,ax2_1059,ax2_1060,ax2_1061,ax2_1062,ax2_1063,ax2_1064,ax2_1065,ax2_1066,ax2_1067,ax2_1068,ax2_1069,ax2_1070,ax2_1071,ax2_1072,ax2_1073,ax2_1074,ax2_1075,ax2_1076,ax2_1077,ax2_1078,ax2_1079,ax2_1080,ax2_1081,ax2_1082,ax2_1083,ax2_1084,ax2_1085,ax2_1086,ax2_1087,ax2_1088,ax2_1089,ax2_1090,ax2_1091,ax2_1092,ax2_1093,ax2_1094,ax2_1095,ax2_1096,ax2_1097,ax2_1098,ax2_1099,ax2_1100,ax2_1101,ax2_1102,ax2_1103,ax2_1104,ax2_1105,ax2_1106,ax2_1107,ax2_1108,ax2_1109,ax2_1110,ax2_1111,ax2_1112,ax2_1113,ax2_1114,ax2_1115,ax2_1116,ax2_1117,ax2_1118,ax2_1119,ax2_1120,ax2_1121,ax2_1122,ax2_1123,ax2_1124,ax2_1125,ax2_1126,ax2_1127,ax2_1128,ax2_1129,ax2_1130,ax2_1131,ax2_1132,ax2_1133,ax2_1134,ax2_1135,ax2_1136,ax2_1137,ax2_1138,ax2_1139,ax2_1140,ax2_1141,ax2_1142,ax2_1143,ax2_1144,ax2_1145,ax2_1146,ax2_1147,ax2_1148,ax2_1149,ax2_1150,ax2_1151,ax2_1152,ax2_1153,ax2_1154,ax2_1155,ax2_1156,ax2_1157,ax2_1158,ax2_1159,ax2_1160,ax2_1161,ax2_1162,ax2_1163,ax2_1164,ax2_1165,ax2_1166,ax2_1167,ax2_1168,ax2_1169,ax2_1170,ax2_1171,ax2_1172,ax2_1173,ax2_1174,ax2_1175,ax2_1176,ax2_1177,ax2_1178,ax2_1179,ax2_1180,ax2_1181,ax2_1182,ax2_1183,ax2_1184,ax2_1185,ax2_1186,ax2_1187,ax2_1188,ax2_1189,ax2_1190,ax2_1191,ax2_1192,ax2_1193,ax2_1194,ax2_1195,ax2_1196,ax2_1197,ax2_1198,ax2_1199,ax2_1200,ax2_1201,ax2_1202,ax2_1203,ax2_1204,ax2_1205,ax2_1206,ax2_1207,ax2_1208,ax2_1209,ax2_1210,ax2_1211,ax2_1212,ax2_1213,ax2_1214,ax2_1215,ax2_1216,ax2_1217,ax2_1218,ax2_1219,ax2_1220,ax2_1221,ax2_1222,ax2_1223,ax2_1224,ax2_1225,ax2_1226,ax2_1227,ax2_1228,ax2_1229,ax2_1230,ax2_1231,ax2_1232,ax2_1233,ax2_1234,ax2_1235,ax2_1236,ax2_1237,ax2_1238,ax2_1239,ax2_1240,ax2_1241,ax2_1242,ax2_1243,ax2_1244,ax2_1245,ax2_1246,ax2_1247,ax2_1248,ax2_1249,ax2_1250,ax2_1251,ax2_1252,ax2_1253,ax2_1254,ax2_1255,ax2_1256,ax2_1257,ax2_1258,ax2_1259,ax2_1260,ax2_1261,ax2_1262,ax2_1263,ax2_1264,ax2_1265,ax2_1266,ax2_1267,ax2_1268,ax2_1269,ax2_1270,ax2_1271,ax2_1272,ax2_1273,ax2_1274,ax2_1275,ax2_1276,ax2_1277,ax2_1278,ax2_1279,ax2_1280,ax2_1281,ax2_1282,ax2_1283,ax2_1284,ax2_1285,ax2_1286,ax2_1287,ax2_1288,ax2_1289,ax2_1290,ax2_1291,ax2_1292,ax2_1293,ax2_1294,ax2_1295,ax2_1296,ax2_1297,ax2_1298,ax2_1299,ax2_1300,ax2_1301,ax2_1302,ax2_1303,ax2_1304,ax2_1305,ax2_1306,ax2_1307,ax2_1308,ax2_1309,ax2_1310,ax2_1311,ax2_1312,ax2_1313,ax2_1314,ax2_1315,ax2_1316,ax2_1317,ax2_1318,ax2_1319,ax2_1320,ax2_1321,ax2_1322,ax2_1323,ax2_1324,ax2_1325,ax2_1326,ax2_1327,ax2_1328,ax2_1329,ax2_1330,ax2_1331,ax2_1332,ax2_1333,ax2_1334,ax2_1335,ax2_1336,ax2_1337,ax2_1338,ax2_1339,ax2_1340,ax2_1341,ax2_1342,ax2_1343,ax2_1344,ax2_1345,ax2_1346,ax2_1347,ax2_1348,ax2_1349,ax2_1350,ax2_1351,ax2_1352,ax2_1353,ax2_1354,ax2_1355,ax2_1356,ax2_1357,ax2_1358,ax2_1359,ax2_1360,ax2_1361,ax2_1362,ax2_1363,ax2_1364,ax2_1365,ax2_1366,ax2_1367,ax2_1368,ax2_1369,ax2_1370,ax2_1371,ax2_1372,ax2_1373,ax2_1374,ax2_1375,ax2_1376,ax2_1377,ax2_1378,ax2_1379,ax2_1380,ax2_1381,ax2_1382,ax2_1383,ax2_1384,ax2_1385,ax2_1386,ax2_1387,ax2_1388,ax2_1389,ax2_1390,ax2_1391,ax2_1392,ax2_1393,ax2_1394,ax2_1395,ax2_1396,ax2_1397,ax2_1398,ax2_1399,ax2_1400,ax2_1401,ax2_1402,ax2_1403,ax2_1404,ax2_1405,ax2_1406,ax2_1407,ax2_1408,ax2_1409,ax2_1410,ax2_1411,ax2_1412,ax2_1413,ax2_1414,ax2_1415,ax2_1416,ax2_1417,ax2_1418,ax2_1419,ax2_1420,ax2_1421,ax2_1422,ax2_1423,ax2_1424,ax2_1425,ax2_1426,ax2_1427,ax2_1428,ax2_1429,ax2_1430,ax2_1431,ax2_1432,ax2_1433,ax2_1434,ax2_1435,ax2_1436,ax2_1437,ax2_1438,ax2_1439,ax2_1440,ax2_1441,ax2_1442,ax2_1443,ax2_1444,ax2_1445,ax2_1446,ax2_1447,ax2_1448,ax2_1449,ax2_1450,ax2_1451,ax2_1452,ax2_1453,ax2_1454,ax2_1455,ax2_1456,ax2_1457,ax2_1458,ax2_1459,ax2_1460,ax2_1461,ax2_1462,ax2_1463,ax2_1464,ax2_1465,ax2_1466,ax2_1467,ax2_1468,ax2_1469,ax2_1470,ax2_1471,ax2_1472,ax2_1473,ax2_1474,ax2_1475,ax2_1476,ax2_1477,ax2_1478,ax2_1479,ax2_1480,ax2_1481,ax2_1482,ax2_1483,ax2_1484,ax2_1485,ax2_1486,ax2_1487,ax2_1488,ax2_1489,ax2_1490,ax2_1491,ax2_1492,ax2_1493,ax2_1494,ax2_1495,ax2_1496,ax2_1497,ax2_1498,ax2_1499,ax2_1500,ax2_1501,ax2_1502,ax2_1503,ax2_1504,ax2_1505,ax2_1506,ax2_1507,ax2_1508,ax2_1509,ax2_1510,ax2_1511,ax2_1512,ax2_1513,ax2_1514,ax2_1515,ax2_1516,ax2_1517,ax2_1518,ax2_1519,ax2_1520,ax2_1521,ax2_1522,ax2_1523,ax2_1524,ax2_1525,ax2_1526,ax2_1527,ax2_1528,ax2_1529,ax2_1530,ax2_1531,ax2_1532,ax2_1533,ax2_1534,ax2_1535,ax2_1536,ax2_1537,ax2_1538,ax2_1539,ax2_1540,ax2_1541,ax2_1542,ax2_1543,ax2_1544,ax2_1545,ax2_1546,ax2_1547,ax2_1548,ax2_1549,ax2_1550,ax2_1551,ax2_1552,ax2_1553,ax2_1554,ax2_1555,ax2_1556,ax2_1557,ax2_1558,ax2_1559,ax2_1560,ax2_1561,ax2_1562,ax2_1563,ax2_1564,ax2_1565,ax2_1566,ax2_1567,ax2_1568,ax2_1569,ax2_1570,ax2_1571,ax2_1572,ax2_1573,ax2_1574,ax2_1575,ax2_1576,ax2_1577,ax2_1578,ax2_1579,ax2_1580,ax2_1581,ax2_1582,ax2_1583,ax2_1584,ax2_1585,ax2_1586,ax2_1587,ax2_1588,ax2_1589,ax2_1590,ax2_1591,ax2_1592,ax2_1593,ax2_1594,ax2_1595,ax2_1596,ax2_1597,ax2_1598,ax2_1599,ax2_1600,ax2_1601,ax2_1602,ax2_1603,ax2_1604,ax2_1605,ax2_1606,ax2_1607,ax2_1608,ax2_1609,ax2_1610,ax2_1611,ax2_1612,ax2_1613,ax2_1614,ax2_1615,ax2_1616,ax2_1617,ax2_1618,ax2_1619,ax2_1620,ax2_1621,ax2_1622,ax2_1623,ax2_1624,ax2_1625,ax2_1626,ax2_1627,ax2_1628,ax2_1629,ax2_1630,ax2_1631,ax2_1632,ax2_1633,ax2_1634,ax2_1635,ax2_1636,ax2_1637,ax2_1638,ax2_1639,ax2_1640,ax2_1641,ax2_1642,ax2_1643,ax2_1644,ax2_1645,ax2_1646,ax2_1647,ax2_1648,ax2_1649,ax2_1650,ax2_1651,ax2_1652,ax2_1653,ax2_1654,ax2_1655,ax2_1656,ax2_1657,ax2_1658,ax2_1659,ax2_1660,ax2_1661,ax2_1662,ax2_1663,ax2_1664,ax2_1665,ax2_1666,ax2_1667,ax2_1668,ax2_1669,ax2_1670,ax2_1671,ax2_1672,ax2_1673,ax2_1674,ax2_1675,ax2_1676,ax2_1677,ax2_1678,ax2_1679,ax2_1680,ax2_1681,ax2_1682,ax2_1683,ax2_1684,ax2_1685,ax2_1686,ax2_1687,ax2_1688,ax2_1689,ax2_1690,ax2_1691,ax2_1692,ax2_1693,ax2_1694,ax2_1695,ax2_1696,ax2_1697,ax2_1698,ax2_1699,ax2_1700,ax2_1701,ax2_1702,ax2_1703,ax2_1704,ax2_1705,ax2_1706,ax2_1707,ax2_1708,ax2_1709,ax2_1710,ax2_1711,ax2_1712,ax2_1713,ax2_1714,ax2_1715,ax2_1716,ax2_1717,ax2_1718,ax2_1719,ax2_1720,ax2_1721,ax2_1722,ax2_1723,ax2_1724,ax2_1725,ax2_1726,ax2_1727,ax2_1728,ax2_1729,ax2_1730,ax2_1731,ax2_1732,ax2_1733,ax2_1734,ax2_1735,ax2_1736,ax2_1737,ax2_1738,ax2_1739,ax2_1740,ax2_1741,ax2_1742,ax2_1743,ax2_1744,ax2_1745,ax2_1746,ax2_1747,ax2_1748,ax2_1749,ax2_1750,ax2_1751,ax2_1752,ax2_1753,ax2_1754,ax2_1755,ax2_1756,ax2_1757,ax2_1758,ax2_1759,ax2_1760,ax2_1761,ax2_1762,ax2_1763,ax2_1764,ax2_1765,ax2_1766,ax2_1767,ax2_1768,ax2_1769,ax2_1770,ax2_1771,ax2_1772,ax2_1773,ax2_1774,ax2_1775,ax2_1776,ax2_1777,ax2_1778,ax2_1779,ax2_1780,ax2_1781,ax2_1782,ax2_1783,ax2_1784,ax2_1785,ax2_1786,ax2_1787,ax2_1788,ax2_1789,ax2_1790,ax2_1791,ax2_1792,ax2_1793,ax2_1794,ax2_1795,ax2_1796,ax2_1797,ax2_1798,ax2_1799,ax2_1800,ax2_1801,ax2_1802,ax2_1803,ax2_1804,ax2_1805,ax2_1806,ax2_1807,ax2_1808,ax2_1809,ax2_1810,ax2_1811,ax2_1812,ax2_1813,ax2_1814,ax2_1815,ax2_1816,ax2_1817,ax2_1818,ax2_1819,ax2_1820,ax2_1821,ax2_1822,ax2_1823,ax2_1824,ax2_1825,ax2_1826,ax2_1827,ax2_1828,ax2_1829,ax2_1830,ax2_1831,ax2_1832,ax2_1833,ax2_1834,ax2_1835,ax2_1836,ax2_1837,ax2_1838,ax2_1839,ax2_1840,ax2_1841,ax2_1842,ax2_1843,ax2_1844,ax2_1845,ax2_1846,ax2_1847,ax2_1848,ax2_1849,ax2_1850,ax2_1851,ax2_1852,ax2_1853,ax2_1854,ax2_1855,ax2_1856,ax2_1857,ax2_1858,ax2_1859,ax2_1860,ax2_1861,ax2_1862,ax2_1863,ax2_1864,ax2_1865,ax2_1866,ax2_1867,ax2_1868,ax2_1869,ax2_1870,ax2_1871,ax2_1872,ax2_1873,ax2_1874,ax2_1875,ax2_1876,ax2_1877,ax2_1878,ax2_1879,ax2_1880,ax2_1881,ax2_1882,ax2_1883,ax2_1884,ax2_1885,ax2_1886,ax2_1887,ax2_1888,ax2_1889,ax2_1890,ax2_1891,ax2_1892,ax2_1893,ax2_1894,ax2_1895,ax2_1896,ax2_1897,ax2_1898,ax2_1899,ax2_1900,ax2_1901,ax2_1902,ax2_1903,ax2_1904,ax2_1905,ax2_1906,ax2_1907,ax2_1908,ax2_1909,ax2_1910,ax2_1911,ax2_1912,ax2_1913,ax2_1914,ax2_1915,ax2_1916,ax2_1917,ax2_1918,ax2_1919,ax2_1920,ax2_1921,ax2_1922,ax2_1923,ax2_1924,ax2_1925,ax2_1926,ax2_1927,ax2_1928,ax2_1929,ax2_1930,ax2_1931,ax2_1932,ax2_1933,ax2_1934,ax2_1935,ax2_1936,ax2_1937,ax2_1938,ax2_1939,ax2_1940,ax2_1941,ax2_1942,ax2_1943,ax2_1944,ax2_1945,ax2_1946,ax2_1947,ax2_1948,ax2_1949,ax2_1950,ax2_1951,ax2_1952,ax2_1953,ax2_1954,ax2_1955,ax2_1956,ax2_1957,ax2_1958,ax2_1959,ax2_1960,ax2_1961,ax2_1962,ax2_1963,ax2_1964,ax2_1965,ax2_1966,ax2_1967,ax2_1968,ax2_1969,ax2_1970,ax2_1971,ax2_1972,ax2_1973,ax2_1974,ax2_1975,ax2_1976,ax2_1977,ax2_1978,ax2_1979,ax2_1980,ax2_1981,ax2_1982,ax2_1983,ax2_1984,ax2_1985,ax2_1986,ax2_1987,ax2_1988,ax2_1989,ax2_1990,ax2_1991,ax2_1992,ax2_1993,ax2_1994,ax2_1995,ax2_1996,ax2_1997,ax2_1998,ax2_1999,ax2_2000,ax2_2001,ax2_2002,ax2_2003,ax2_2004,ax2_2005,ax2_2006,ax2_2007,ax2_2008,ax2_2009,ax2_2010,ax2_2011,ax2_2012,ax2_2013,ax2_2014,ax2_2015,ax2_2016,ax2_2017,ax2_2018,ax2_2019,ax2_2020,ax2_2021,ax2_2022,ax2_2023,ax2_2024,ax2_2025,ax2_2026,ax2_2027,ax2_2028,ax2_2029,ax2_2030,ax2_2031,ax2_2032,ax2_2033,ax2_2034,ax2_2035,ax2_2036,ax2_2037,ax2_2038,ax2_2039,ax2_2040,ax2_2041,ax2_2042,ax2_2043,ax2_2044,ax2_2045,ax2_2046,ax2_2047,ax2_2048,ax2_2049,ax2_2050,ax2_2051,ax2_2052,ax2_2053,ax2_2054,ax2_2055,ax2_2056,ax2_2057,ax2_2058,ax2_2059,ax2_2060,ax2_2061,ax2_2062,ax2_2063,ax2_2064,ax2_2065,ax2_2066,ax2_2067,ax2_2068,ax2_2069,ax2_2070,ax2_2071,ax2_2072,ax2_2073,ax2_2074,ax2_2075,ax2_2076,ax2_2077,ax2_2078,ax2_2079,ax2_2080,ax2_2081,ax2_2082,ax2_2083,ax2_2084,ax2_2085,ax2_2086,ax2_2087,ax2_2088,ax2_2089,ax2_2090,ax2_2091,ax2_2092,ax2_2093,ax2_2094,ax2_2095,ax2_2096,ax2_2097,ax2_2098,ax2_2099,ax2_2100,ax2_2101,ax2_2102,ax2_2103,ax2_2104,ax2_2105,ax2_2106,ax2_2107,ax2_2108,ax2_2109,ax2_2110,ax2_2111,ax2_2112,ax2_2113,ax2_2114,ax2_2115,ax2_2116,ax2_2117,ax2_2118,ax2_2119,ax2_2120,ax2_2121,ax2_2122,ax2_2123,ax2_2124,ax2_2125,ax2_2126,ax2_2127,ax2_2128,ax2_2129,ax2_2130,ax2_2131,ax2_2132,ax2_2133,ax2_2134,ax2_2135,ax2_2136,ax2_2137,ax2_2138,ax2_2139,ax2_2140,ax2_2141,ax2_2142,ax2_2143,ax2_2144,ax2_2145,ax2_2146,ax2_2147,ax2_2148,ax2_2149,ax2_2150,ax2_2151,ax2_2152,ax2_2153,ax2_2154,ax2_2155,ax2_2156,ax2_2157,ax2_2158,ax2_2159,ax2_2160,ax2_2161,ax2_2162,ax2_2163,ax2_2164,ax2_2165,ax2_2166,ax2_2167,ax2_2168,ax2_2169,ax2_2170,ax2_2171,ax2_2172,ax2_2173,ax2_2174,ax2_2175,ax2_2176,ax2_2177,ax2_2178,ax2_2179,ax2_2180,ax2_2181,ax2_2182,ax2_2183,ax2_2184,ax2_2185,ax2_2186,ax2_2187,ax2_2188,ax2_2189,ax2_2190,ax2_2191,ax2_2192,ax2_2193,ax2_2194,ax2_2195,ax2_2196,ax2_2197,ax2_2198,ax2_2199,ax2_2200,ax2_2201,ax2_2202,ax2_2203,ax2_2204,ax2_2205,ax2_2206,ax2_2207,ax2_2208,ax2_2209,ax2_2210,ax2_2211,ax2_2212,ax2_2213,ax2_2214,ax2_2215,ax2_2216,ax2_2217,ax2_2218,ax2_2219,ax2_2220,ax2_2221,ax2_2222,ax2_2223,ax2_2224,ax2_2225,ax2_2226,ax2_2227,ax2_2228,ax2_2229,ax2_2230,ax2_2231,ax2_2232,ax2_2233,ax2_2234,ax2_2235,ax2_2236,ax2_2237,ax2_2238,ax2_2239,ax2_2240,ax2_2241,ax2_2242,ax2_2243,ax2_2244,ax2_2245,ax2_2246,ax2_2247,ax2_2248,ax2_2249,ax2_2250,ax2_2251,ax2_2252,ax2_2253,ax2_2254,ax2_2255,ax2_2256,ax2_2257,ax2_2258,ax2_2259,ax2_2260,ax2_2261,ax2_2262,ax2_2263,ax2_2264,ax2_2265,ax2_2266,ax2_2267,ax2_2268,ax2_2269,ax2_2270,ax2_2271,ax2_2272,ax2_2273,ax2_2274,ax2_2275,ax2_2276,ax2_2277,ax2_2278,ax2_2279,ax2_2280,ax2_2281,ax2_2282,ax2_2283,ax2_2284,ax2_2285,ax2_2286,ax2_2287,ax2_2288,ax2_2289,ax2_2290,ax2_2291,ax2_2292,ax2_2293,ax2_2294,ax2_2295,ax2_2296,ax2_2297,ax2_2298,ax2_2299,ax2_2300,ax2_2301,ax2_2302,ax2_2303,ax2_2304,ax2_2305,ax2_2306,ax2_2307,ax2_2308,ax2_2309,ax2_2310,ax2_2311,ax2_2312,ax2_2313,ax2_2314,ax2_2315,ax2_2316,ax2_2317,ax2_2318,ax2_2319,ax2_2320,ax2_2321,ax2_2322,ax2_2323,ax2_2324,ax2_2325,ax2_2326,ax2_2327,ax2_2328,ax2_2329,ax2_2330,ax2_2331,ax2_2332,ax2_2333,ax2_2334,ax2_2335,ax2_2336,ax2_2337,ax2_2338,ax2_2339,ax2_2340,ax2_2341,ax2_2342,ax2_2343,ax2_2344,ax2_2345,ax2_2346,ax2_2347,ax2_2348,ax2_2349,ax2_2350,ax2_2351,ax2_2352,ax2_2353,ax2_2354,ax2_2355,ax2_2356,ax2_2357,ax2_2358,ax2_2359,ax2_2360,ax2_2361,ax2_2362,ax2_2363,ax2_2364,ax2_2365,ax2_2366,ax2_2367,ax2_2368,ax2_2369,ax2_2370,ax2_2371,ax2_2372,ax2_2373,ax2_2374,ax2_2375,ax2_2376,ax2_2377,ax2_2378,ax2_2379,ax2_2380,ax2_2381,ax2_2382,ax2_2383,ax2_2384,ax2_2385,ax2_2386,ax2_2387,ax2_2388,ax2_2389,ax2_2390,ax2_2391,ax2_2392,ax2_2393,ax2_2394,ax2_2395,ax2_2396,ax2_2397,ax2_2398,ax2_2399,ax2_2400,ax2_2401,ax2_2402,ax2_2403,ax2_2404,ax2_2405,ax2_2406,ax2_2407,ax2_2408,ax2_2409,ax2_2410,ax2_2411,ax2_2412,ax2_2413,ax2_2414,ax2_2415,ax2_2416,ax2_2417,ax2_2418,ax2_2419,ax2_2420,ax2_2421,ax2_2422,ax2_2423,ax2_2424,ax2_2425,ax2_2426,ax2_2427,ax2_2428,ax2_2429,ax2_2430,ax2_2431,ax2_2432,ax2_2433,ax2_2434,ax2_2435,ax2_2436,ax2_2437,ax2_2438,ax2_2439,ax2_2440,ax2_2441,ax2_2442,ax2_2443,ax2_2444,ax2_2445,ax2_2446,ax2_2447,ax2_2448,ax2_2449,ax2_2450,ax2_2451,ax2_2452,ax2_2453,ax2_2454,ax2_2455,ax2_2456,ax2_2457,ax2_2458,ax2_2459,ax2_2460,ax2_2461,ax2_2462,ax2_2463,ax2_2464,ax2_2465,ax2_2466,ax2_2467,ax2_2468,ax2_2469,ax2_2470,ax2_2471,ax2_2472,ax2_2473,ax2_2474,ax2_2475,ax2_2476,ax2_2477,ax2_2478,ax2_2479,ax2_2480,ax2_2481,ax2_2482,ax2_2483,ax2_2484,ax2_2485,ax2_2486,ax2_2487,ax2_2488,ax2_2489,ax2_2490,ax2_2491,ax2_2492,ax2_2493,ax2_2494,ax2_2495,ax2_2496,ax2_2497,ax2_2498,ax2_2499,ax2_2500,ax2_2501,ax2_2502,ax2_2503,ax2_2504,ax2_2505,ax2_2506,ax2_2507,ax2_2508,ax2_2509,ax2_2510,ax2_2511,ax2_2512,ax2_2513,ax2_2514,ax2_2515,ax2_2516,ax2_2517,ax2_2518,ax2_2519,ax2_2520,ax2_2521,ax2_2522,ax2_2523,ax2_2524,ax2_2525,ax2_2526,ax2_2527,ax2_2528,ax2_2529,ax2_2530,ax2_2531,ax2_2532,ax2_2533,ax2_2534,ax2_2535,ax2_2536,ax2_2537,ax2_2538,ax2_2539,ax2_2540,ax2_2541,ax2_2542,ax2_2543,ax2_2544,ax2_2545,ax2_2546,ax2_2547,ax2_2548,ax2_2549,ax2_2550,ax2_2551,ax2_2552,ax2_2553,ax2_2554,ax2_2555,ax2_2556,ax2_2557,ax2_2558,ax2_2559,ax2_2560,ax2_2561,ax2_2562,ax2_2563,ax2_2564,ax2_2565,ax2_2566,ax2_2567,ax2_2568,ax2_2569,ax2_2570,ax2_2571,ax2_2572,ax2_2573,ax2_2574,ax2_2575,ax2_2576,ax2_2577,ax2_2578,ax2_2579,ax2_2580,ax2_2581,ax2_2582,ax2_2583,ax2_2584,ax2_2585,ax2_2586,ax2_2587,ax2_2588,ax2_2589,ax2_2590,ax2_2591,ax2_2592,ax2_2593,ax2_2594,ax2_2595,ax2_2596,ax2_2597,ax2_2598,ax2_2599,ax2_2600,ax2_2601,ax2_2602,ax2_2603,ax2_2604,ax2_2605,ax2_2606,ax2_2607,ax2_2608,ax2_2609,ax2_2610,ax2_2611,ax2_2612,ax2_2613,ax2_2614,ax2_2615,ax2_2616,ax2_2617,ax2_2618,ax2_2619,ax2_2620,ax2_2621,ax2_2622,ax2_2623,ax2_2624,ax2_2625,ax2_2626,ax2_2627,ax2_2628,ax2_2629,ax2_2630,ax2_2631,ax2_2632,ax2_2633,ax2_2634,ax2_2635,ax2_2636,ax2_2637,ax2_2638,ax2_2639,ax2_2640,ax2_2641,ax2_2642,ax2_2643,ax2_2644,ax2_2645,ax2_2646,ax2_2647,ax2_2648,ax2_2649,ax2_2650,ax2_2651,ax2_2652,ax2_2653,ax2_2654,ax2_2655,ax2_2656,ax2_2657,ax2_2658,ax2_2659,ax2_2660,ax2_2661,ax2_2662,ax2_2663,ax2_2664,ax2_2665,ax2_2666,ax2_2667,ax2_2668,ax2_2669,ax2_2670,ax2_2671,ax2_2672,ax2_2673,ax2_2674,ax2_2675,ax2_2676,ax2_2677,ax2_2678,ax2_2679,ax2_2680,ax2_2681,ax2_2682,ax2_2683,ax2_2684,ax2_2685,ax2_2686,ax2_2687,ax2_2688,ax2_2689,ax2_2690,ax2_2691,ax2_2692,ax2_2693,ax2_2694,ax2_2695,ax2_2696,ax2_2697,ax2_2698,ax2_2699,ax2_2700,ax2_2701,ax2_2702,ax2_2703,ax2_2704,ax2_2705,ax2_2706,ax2_2707,ax2_2708,ax2_2709,ax2_2710,ax2_2711,ax2_2712,ax2_2713,ax2_2714,ax2_2715,ax2_2716,ax2_2717,ax2_2718,ax2_2719,ax2_2720,ax2_2721,ax2_2722,ax2_2723,ax2_2724,ax2_2725,ax2_2726,ax2_2727,ax2_2728,ax2_2729,ax2_2730,ax2_2731,ax2_2732,ax2_2733,ax2_2734,ax2_2735,ax2_2736,ax2_2737,ax2_2738,ax2_2739,ax2_2740,ax2_2741,ax2_2742,ax2_2743,ax2_2744,ax2_2745,ax2_2746,ax2_2747,ax2_2748,ax2_2749,ax2_2750,ax2_2751,ax2_2752,ax2_2753,ax2_2754,ax2_2755,ax2_2756,ax2_2757,ax2_2758,ax2_2759,ax2_2760,ax2_2761,ax2_2762,ax2_2763,ax2_2764,ax2_2765,ax2_2766,ax2_2767,ax2_2768,ax2_2769,ax2_2770,ax2_2771,ax2_2772,ax2_2773,ax2_2774,ax2_2775,ax2_2776,ax2_2777,ax2_2778,ax2_2779,ax2_2780,ax2_2781,ax2_2782,ax2_2783,ax2_2784,ax2_2785,ax2_2786,ax2_2787,ax2_2788,ax2_2789,ax2_2790,ax2_2791,ax2_2792,ax2_2793,ax2_2794,ax2_2795,ax2_2796,ax2_2797,ax2_2798,ax2_2799,ax2_2800,ax2_2801,ax2_2802,ax2_2803,ax2_2804,ax2_2805,ax2_2806,ax2_2807,ax2_2808,ax2_2809,ax2_2810,ax2_2811,ax2_2812,ax2_2813,ax2_2814,ax2_2815,ax2_2816,ax2_2817,ax2_2818,ax2_2819,ax2_2820,ax2_2821,ax2_2822,ax2_2823,ax2_2824,ax2_2825,ax2_2826,ax2_2827,ax2_2828,ax2_2829,ax2_2830,ax2_2831,ax2_2832,ax2_2833,ax2_2834,ax2_2835,ax2_2836,ax2_2837,ax2_2838,ax2_2839,ax2_2840,ax2_2841,ax2_2842,ax2_2843,ax2_2844,ax2_2845,ax2_2846,ax2_2847,ax2_2848,ax2_2849,ax2_2850,ax2_2851,ax2_2852,ax2_2853,ax2_2854,ax2_2855,ax2_2856,ax2_2857,ax2_2858,ax2_2859,ax2_2860,ax2_2861,ax2_2862,ax2_2863,ax2_2864,ax2_2865,ax2_2866,ax2_2867,ax2_2868,ax2_2869,ax2_2870,ax2_2871,ax2_2872,ax2_2873,ax2_2874,ax2_2875,ax2_2876,ax2_2877,ax2_2878,ax2_2879,ax2_2880,ax2_2881,ax2_2882,ax2_2883,ax2_2884,ax2_2885,ax2_2886,ax2_2887,ax2_2888,ax2_2889,ax2_2890,ax2_2891,ax2_2892,ax2_2893,ax2_2894,ax2_2895,ax2_2896,ax2_2897,ax2_2898,ax2_2899,ax2_2900,ax2_2901,ax2_2902,ax2_2903,ax2_2904,ax2_2905,ax2_2906,ax2_2907,ax2_2908,ax2_2909,ax2_2910,ax2_2911,ax2_2912,ax2_2913,ax2_2914,ax2_2915,ax2_2916,ax2_2917,ax2_2918,ax2_2919,ax2_2920,ax2_2921,ax2_2922,ax2_2923,ax2_2924,ax2_2925,ax2_2926,ax2_2927,ax2_2928,ax2_2929,ax2_2930,ax2_2931,ax2_2932,ax2_2933,ax2_2934,ax2_2935,ax2_2936,ax2_2937,ax2_2938,ax2_2939,ax2_2940,ax2_2941,ax2_2942,ax2_2943,ax2_2944,ax2_2945,ax2_2946,ax2_2947,ax2_2948,ax2_2949,ax2_2950,ax2_2951,ax2_2952,ax2_2953,ax2_2954,ax2_2955,ax2_2956,ax2_2957,ax2_2958,ax2_2959,ax2_2960,ax2_2961,ax2_2962,ax2_2963,ax2_2964,ax2_2965,ax2_2966,ax2_2967,ax2_2968,ax2_2969,ax2_2970,ax2_2971,ax2_2972,ax2_2973,ax2_2974,ax2_2975,ax2_2976,ax2_2977,ax2_2978,ax2_2979,ax2_2980,ax2_2981,ax2_2982,ax2_2983,ax2_2984,ax2_2985,ax2_2986,ax2_2987,ax2_2988,ax2_2989,ax2_2990,ax2_2991,ax2_2992,ax2_2993,ax2_2994,ax2_2995,ax2_2996,ax2_2997,ax2_2998,ax2_2999,ax2_3000,ax2_3001,ax2_3002,ax2_3003,ax2_3004,ax2_3005,ax2_3006,ax2_3007,ax2_3008,ax2_3009,ax2_3010,ax2_3011,ax2_3012,ax2_3013,ax2_3014,ax2_3015,ax2_3016,ax2_3017,ax2_3018,ax2_3019,ax2_3020,ax2_3021,ax2_3022,ax2_3023,ax2_3024,ax2_3025,ax2_3026,ax2_3027,ax2_3028,ax2_3029,ax2_3030,ax2_3031,ax2_3032,ax2_3033,ax2_3034,ax2_3035,ax2_3036,ax2_3037,ax2_3038,ax2_3039,ax2_3040,ax2_3041,ax2_3042,ax2_3043,ax2_3044,ax2_3045,ax2_3046,ax2_3047,ax2_3048,ax2_3049,ax2_3050,ax2_3051,ax2_3052,ax2_3053,ax2_3054,ax2_3055,ax2_3056,ax2_3057,ax2_3058,ax2_3059,ax2_3060,ax2_3061,ax2_3062,ax2_3063,ax2_3064,ax2_3065,ax2_3066,ax2_3067,ax2_3068,ax2_3069,ax2_3070,ax2_3071,ax2_3072,ax2_3073,ax2_3074,ax2_3075,ax2_3076,ax2_3077,ax2_3078,ax2_3079,ax2_3080,ax2_3081,ax2_3082,ax2_3083,ax2_3084,ax2_3085,ax2_3086,ax2_3087,ax2_3088,ax2_3089,ax2_3090,ax2_3091,ax2_3092,ax2_3093,ax2_3094,ax2_3095,ax2_3096,ax2_3097,ax2_3098,ax2_3099,ax2_3100,ax2_3101,ax2_3102,ax2_3103,ax2_3104,ax2_3105,ax2_3106,ax2_3107,ax2_3108,ax2_3109,ax2_3110,ax2_3111,ax2_3112,ax2_3113,ax2_3114,ax2_3115,ax2_3116,ax2_3117,ax2_3118,ax2_3119,ax2_3120,ax2_3121,ax2_3122,ax2_3123,ax2_3124,ax2_3125,ax2_3126,ax2_3127,ax2_3128,ax2_3129,ax2_3130,ax2_3131,ax2_3132,ax2_3133,ax2_3134,ax2_3135,ax2_3136,ax2_3137,ax2_3138,ax2_3139,ax2_3140,ax2_3141,ax2_3142,ax2_3143,ax2_3144,ax2_3145,ax2_3146,ax2_3147,ax2_3148,ax2_3149,ax2_3150,ax2_3151,ax2_3152,ax2_3153,ax2_3154,ax2_3155,ax2_3156,ax2_3157,ax2_3158,ax2_3159,ax2_3160,ax2_3161,ax2_3162,ax2_3163,ax2_3164,ax2_3165,ax2_3166,ax2_3167,ax2_3168,ax2_3169,ax2_3170,ax2_3171,ax2_3172,ax2_3173,ax2_3174,ax2_3175,ax2_3176,ax2_3177,ax2_3178,ax2_3179,ax2_3180,ax2_3181,ax2_3182,ax2_3183,ax2_3184,ax2_3185,ax2_3186,ax2_3187,ax2_3188,ax2_3189,ax2_3190,ax2_3191,ax2_3192,ax2_3193,ax2_3194,ax2_3195,ax2_3196,ax2_3197,ax2_3198,ax2_3199,ax2_3200,ax2_3201,ax2_3202,ax2_3203,ax2_3204,ax2_3205,ax2_3206,ax2_3207,ax2_3208,ax2_3209,ax2_3210,ax2_3211,ax2_3212,ax2_3213,ax2_3214,ax2_3215,ax2_3216,ax2_3217,ax2_3218,ax2_3219,ax2_3220,ax2_3221,ax2_3222,ax2_3223,ax2_3224,ax2_3225,ax2_3226,ax2_3227,ax2_3228,ax2_3229,ax2_3230,ax2_3231,ax2_3232,ax2_3233,ax2_3234,ax2_3235,ax2_3236,ax2_3237,ax2_3238,ax2_3239,ax2_3240,ax2_3241,ax2_3242,ax2_3243,ax2_3244,ax2_3245,ax2_3246,ax2_3247,ax2_3248,ax2_3249,ax2_3250,ax2_3251,ax2_3252,ax2_3253,ax2_3254,ax2_3255,ax2_3256,ax2_3257,ax2_3258,ax2_3259,ax2_3260,ax2_3261,ax2_3262,ax2_3263,ax2_3264,ax2_3265,ax2_3266,ax2_3267,ax2_3268,ax2_3269,ax2_3270,ax2_3271,ax2_3272,ax2_3273,ax2_3274,ax2_3275,ax2_3276,ax2_3277,ax2_3278,ax2_3279,ax2_3280,ax2_3281,ax2_3282,ax2_3283,ax2_3284,ax2_3285,ax2_3286,ax2_3287,ax2_3288,ax2_3289,ax2_3290,ax2_3291,ax2_3292,ax2_3293,ax2_3294,ax2_3295,ax2_3296,ax2_3297,ax2_3298,ax2_3299,ax2_3300,ax2_3301,ax2_3302,ax2_3303,ax2_3304,ax2_3305,ax2_3306,ax2_3307,ax2_3308,ax2_3309,ax2_3310,ax2_3311,ax2_3312,ax2_3313,ax2_3314,ax2_3315,ax2_3316,ax2_3317,ax2_3318,ax2_3319,ax2_3320,ax2_3321,ax2_3322,ax2_3323,ax2_3324,ax2_3325,ax2_3326,ax2_3327,ax2_3328,ax2_3329,ax2_3330,ax2_3331,ax2_3332,ax2_3333,ax2_3334,ax2_3335,ax2_3336,ax2_3337,ax2_3338,ax2_3339,ax2_3340,ax2_3341,ax2_3342,ax2_3343,ax2_3344,ax2_3345,ax2_3346,ax2_3347,ax2_3348,ax2_3349,ax2_3350,ax2_3351,ax2_3352,ax2_3353,ax2_3354,ax2_3355,ax2_3356,ax2_3357,ax2_3358,ax2_3359,ax2_3360,ax2_3361,ax2_3362,ax2_3363,ax2_3364,ax2_3365,ax2_3366,ax2_3367,ax2_3368,ax2_3369,ax2_3370,ax2_3371,ax2_3372,ax2_3373,ax2_3374,ax2_3375,ax2_3376,ax2_3377,ax2_3378,ax2_3379,ax2_3380,ax2_3381,ax2_3382,ax2_3383,ax2_3384,ax2_3385,ax2_3386,ax2_3387,ax2_3388,ax2_3389,ax2_3390,ax2_3391,ax2_3392,ax2_3393,ax2_3394,ax2_3395,ax2_3396,ax2_3397,ax2_3398,ax2_3399,ax2_3400,ax2_3401,ax2_3402,ax2_3403,ax2_3404,ax2_3405,ax2_3406,ax2_3407,ax2_3408,ax2_3409,ax2_3410,ax2_3411,ax2_3412,ax2_3413,ax2_3414,ax2_3415,ax2_3416,ax2_3417,ax2_3418,ax2_3419,ax2_3420,ax2_3421,ax2_3422,ax2_3423,ax2_3424,ax2_3425,ax2_3426,ax2_3427,ax2_3428,ax2_3429,ax2_3430,ax2_3431,ax2_3432,ax2_3433,ax2_3434,ax2_3435,ax2_3436,ax2_3437,ax2_3438,ax2_3439,ax2_3440,ax2_3441,ax2_3442,ax2_3443,ax2_3444,ax2_3445,ax2_3446,ax2_3447,ax2_3448,ax2_3449,ax2_3450,ax2_3451,ax2_3452,ax2_3453,ax2_3454,ax2_3455,ax2_3456,ax2_3457,ax2_3458,ax2_3459,ax2_3460,ax2_3461,ax2_3462,ax2_3463,ax2_3464,ax2_3465,ax2_3466,ax2_3467,ax2_3468,ax2_3469,ax2_3470,ax2_3471,ax2_3472,ax2_3473,ax2_3474,ax2_3475,ax2_3476,ax2_3477,ax2_3478,ax2_3479,ax2_3480,ax2_3481,ax2_3482,ax2_3483,ax2_3484,ax2_3485,ax2_3486,ax2_3487,ax2_3488,ax2_3489,ax2_3490,ax2_3491,ax2_3492,ax2_3493,ax2_3494,ax2_3495,ax2_3496,ax2_3497,ax2_3498,ax2_3499,ax2_3500,ax2_3501,ax2_3502,ax2_3503,ax2_3504,ax2_3505,ax2_3506,ax2_3507,ax2_3508,ax2_3509,ax2_3510,ax2_3511,ax2_3512,ax2_3513,ax2_3514,ax2_3515,ax2_3516,ax2_3517,ax2_3518,ax2_3519,ax2_3520,ax2_3521,ax2_3522,ax2_3523,ax2_3524,ax2_3525,ax2_3526,ax2_3527,ax2_3528,ax2_3529,ax2_3530,ax2_3531,ax2_3532,ax2_3533,ax2_3534,ax2_3535,ax2_3536,ax2_3537,ax2_3538,ax2_3539,ax2_3540,ax2_3541,ax2_3542,ax2_3543,ax2_3544,ax2_3545,ax2_3546,ax2_3547,ax2_3548,ax2_3549,ax2_3550,ax2_3551,ax2_3552,ax2_3553,ax2_3554,ax2_3555,ax2_3556,ax2_3557,ax2_3558,ax2_3559,ax2_3560,ax2_3561,ax2_3562,ax2_3563,ax2_3564,ax2_3565,ax2_3566,ax2_3567,ax2_3568,ax2_3569,ax2_3570,ax2_3571,ax2_3572,ax2_3573,ax2_3574,ax2_3575,ax2_3576,ax2_3577,ax2_3578,ax2_3579,ax2_3580,ax2_3581,ax2_3582,ax2_3583,ax2_3584,ax2_3585,ax2_3586,ax2_3587,ax2_3588,ax2_3589,ax2_3590,ax2_3591,ax2_3592,ax2_3593,ax2_3594,ax2_3595,ax2_3596,ax2_3597,ax2_3598,ax2_3599,ax2_3600,ax2_3601,ax2_3602,ax2_3603,ax2_3604,ax2_3605,ax2_3606,ax2_3607,ax2_3608,ax2_3609,ax2_3610,ax2_3611,ax2_3612,ax2_3613,ax2_3614,ax2_3615,ax2_3616,ax2_3617,ax2_3618,ax2_3619,ax2_3620,ax2_3621,ax2_3622,ax2_3623,ax2_3624,ax2_3625,ax2_3626,ax2_3627,ax2_3628,ax2_3629,ax2_3630,ax2_3631,ax2_3632,ax2_3633,ax2_3634,ax2_3635,ax2_3636,ax2_3637,ax2_3638,ax2_3639,ax2_3640,ax2_3641,ax2_3642,ax2_3643,ax2_3644,ax2_3645,ax2_3646,ax2_3647,ax2_3648,ax2_3649,ax2_3650,ax2_3651,ax2_3652,ax2_3653,ax2_3654,ax2_3655,ax2_3656,ax2_3657,ax2_3658,ax2_3659,ax2_3660,ax2_3661,ax2_3662,ax2_3663,ax2_3664,ax2_3665,ax2_3666,ax2_3667,ax2_3668,ax2_3669,ax2_3670,ax2_3671,ax2_3672,ax2_3673,ax2_3674,ax2_3675,ax2_3676,ax2_3677,ax2_3678,ax2_3679,ax2_3680,ax2_3681,ax2_3682,ax2_3683,ax2_3684,ax2_3685,ax2_3686,ax2_3687,ax2_3688,ax2_3689,ax2_3690,ax2_3691,ax2_3692,ax2_3693,ax2_3694,ax2_3695,ax2_3696,ax2_3697,ax2_3698,ax2_3699,ax2_3700,ax2_3701,ax2_3702,ax2_3703,ax2_3704,ax2_3705,ax2_3706,ax2_3707,ax2_3708,ax2_3709,ax2_3710,ax2_3711,ax2_3712,ax2_3713,ax2_3714,ax2_3715,ax2_3716,ax2_3717,ax2_3718,ax2_3719,ax2_3720,ax2_3721,ax2_3722,ax2_3723,ax2_3724,ax2_3725,ax2_3726,ax2_3727,ax2_3728,ax2_3729,ax2_3730,ax2_3731,ax2_3732,ax2_3733,ax2_3734,ax2_3735,ax2_3736,ax2_3737,ax2_3738,ax2_3739,ax2_3740,ax2_3741,ax2_3742,ax2_3743,ax2_3744,ax2_3745,ax2_3746,ax2_3747,ax2_3748,ax2_3749,ax2_3750,ax2_3751,ax2_3752,ax2_3753,ax2_3754,ax2_3755,ax2_3756,ax2_3757,ax2_3758,ax2_3759,ax2_3760,ax2_3761,ax2_3762,ax2_3763,ax2_3764,ax2_3765,ax2_3766,ax2_3767,ax2_3768,ax2_3769,ax2_3770,ax2_3771,ax2_3772,ax2_3773,ax2_3774,ax2_3775,ax2_3776,ax2_3777,ax2_3778,ax2_3779,ax2_3780,ax2_3781,ax2_3782,ax2_3783,ax2_3784,ax2_3785,ax2_3786,ax2_3787,ax2_3788,ax2_3789,ax2_3790,ax2_3791,ax2_3792,ax2_3793,ax2_3794,ax2_3795,ax2_3796,ax2_3797,ax2_3798,ax2_3799,ax2_3800,ax2_3801,ax2_3802,ax2_3803,ax2_3804,ax2_3805,ax2_3806,ax2_3807,ax2_3808,ax2_3809,ax2_3810,ax2_3811,ax2_3812,ax2_3813,ax2_3814,ax2_3815,ax2_3816,ax2_3817,ax2_3818,ax2_3819,ax2_3820,ax2_3821,ax2_3822,ax2_3823,ax2_3824,ax2_3825,ax2_3826,ax2_3827,ax2_3828,ax2_3829,ax2_3830,ax2_3831,ax2_3832,ax2_3833,ax2_3834,ax2_3835,ax2_3836,ax2_3837,ax2_3838,ax2_3839,ax2_3840,ax2_3841,ax2_3842,ax2_3843,ax2_3844,ax2_3845,ax2_3846,ax2_3847,ax2_3848,ax2_3849,ax2_3850,ax2_3851,ax2_3852,ax2_3853,ax2_3854,ax2_3855,ax2_3856,ax2_3857,ax2_3858,ax2_3859,ax2_3860,ax2_3861,ax2_3862,ax2_3863,ax2_3864,ax2_3865,ax2_3866,ax2_3867,ax2_3868,ax2_3869,ax2_3870,ax2_3871,ax2_3872,ax2_3873,ax2_3874,ax2_3875,ax2_3876,ax2_3877,ax2_3878,ax2_3879,ax2_3880,ax2_3881,ax2_3882,ax2_3883,ax2_3884,ax2_3885,ax2_3886,ax2_3887,ax2_3888,ax2_3889,ax2_3890,ax2_3891,ax2_3892,ax2_3893,ax2_3894,ax2_3895,ax2_3896,ax2_3897,ax2_3898,ax2_3899,ax2_3900,ax2_3901,ax2_3902,ax2_3903,ax2_3904,ax2_3905,ax2_3906,ax2_3907,ax2_3908,ax2_3909,ax2_3910,ax2_3911,ax2_3912,ax2_3913,ax2_3914,ax2_3915,ax2_3916,ax2_3917,ax2_3918,ax2_3919,ax2_3920,ax2_3921,ax2_3922,ax2_3923,ax2_3924,ax2_3925,ax2_3926,ax2_3927,ax2_3928,ax2_3929,ax2_3930,ax2_3931,ax2_3932,ax2_3933,ax2_3934,ax2_3935,ax2_3936,ax2_3937,ax2_3938,ax2_3939,ax2_3940,ax2_3941,ax2_3942,ax2_3943,ax2_3944,ax2_3945,ax2_3946,ax2_3947,ax2_3948,ax2_3949,ax2_3950,ax2_3951,ax2_3952,ax2_3953,ax2_3954,ax2_3955,ax2_3956,ax2_3957,ax2_3958,ax2_3959,ax2_3960,ax2_3961,ax2_3962,ax2_3963,ax2_3964,ax2_3965,ax2_3966,ax2_3967,ax2_3968,ax2_3969,ax2_3970,ax2_3971,ax2_3972,ax2_3973,ax2_3974,ax2_3975,ax2_3976,ax2_3977,ax2_3978,ax2_3979,ax2_3980,ax2_3981,ax2_3982,ax2_3983,ax2_3984,ax2_3985,ax2_3986,ax2_3987,ax2_3988,ax2_3989,ax2_3990,ax2_3991,ax2_3992,ax2_3993,ax2_3994,ax2_3995,ax2_3996,ax2_3997,ax2_3998,ax2_3999,ax2_4000,ax2_4001,ax2_4002,ax2_4003,ax2_4004,ax2_4005,ax2_4006,ax2_4007,ax2_4008,ax2_4009,ax2_4010,ax2_4011,ax2_4012,ax2_4013,ax2_4014,ax2_4015,ax2_4016,ax2_4017,ax2_4018,ax2_4019,ax2_4020,ax2_4021,ax2_4022,ax2_4023,ax2_4024,ax2_4025,ax2_4026,ax2_4027,ax2_4028,ax2_4029,ax2_4030,ax2_4031,ax2_4032,ax2_4033,ax2_4034,ax2_4035,ax2_4036,ax2_4037,ax2_4038,ax2_4039,ax2_4040,ax2_4041,ax2_4042,ax2_4043,ax2_4044,ax2_4045,ax2_4046,ax2_4047,ax2_4048,ax2_4049,ax2_4050,ax2_4051,ax2_4052,ax2_4053,ax2_4054,ax2_4055,ax2_4056,ax2_4057,ax2_4058,ax2_4059,ax2_4060,ax2_4061,ax2_4062,ax2_4063,ax2_4064,ax2_4065,ax2_4066,ax2_4067,ax2_4068,ax2_4069,ax2_4070,ax2_4071,ax2_4072,ax2_4073,ax2_4074,ax2_4075,ax2_4076,ax2_4077,ax2_4078,ax2_4079,ax2_4080,ax2_4081,ax2_4082,ax2_4083,ax2_4084,ax2_4085,ax2_4086,ax2_4087,ax2_4088,ax2_4089,ax2_4090,ax2_4091,ax2_4092,ax2_4093,ax2_4094,ax2_4095,ax2_4096,ax2_4097,ax2_4098,ax2_4099,ax2_4100,ax2_4101,ax2_4102,ax2_4103,ax2_4104,ax2_4105,ax2_4106,ax2_4107,ax2_4108,ax2_4109,ax2_4110,ax2_4111,ax2_4112,ax2_4113,ax2_4114,ax2_4115,ax2_4116,ax2_4117,ax2_4118,ax2_4119,ax2_4120,ax2_4121,ax2_4122,ax2_4123,ax2_4124,ax2_4125,ax2_4126,ax2_4127,ax2_4128,ax2_4129,ax2_4130,ax2_4131,ax2_4132,ax2_4133,ax2_4134,ax2_4135,ax2_4136,ax2_4137,ax2_4138,ax2_4139,ax2_4140,ax2_4141,ax2_4142,ax2_4143,ax2_4144,ax2_4145,ax2_4146,ax2_4147,ax2_4148,ax2_4149,ax2_4150,ax2_4151,ax2_4152,ax2_4153,ax2_4154,ax2_4155,ax2_4156,ax2_4157,ax2_4158,ax2_4159,ax2_4160,ax2_4161,ax2_4162,ax2_4163,ax2_4164,ax2_4165,ax2_4166,ax2_4167,ax2_4168,ax2_4169,ax2_4170,ax2_4171,ax2_4172,ax2_4173,ax2_4174,ax2_4175,ax2_4176,ax2_4177,ax2_4178,ax2_4179,ax2_4180,ax2_4181,ax2_4182,ax2_4183,ax2_4184,ax2_4185,ax2_4186,ax2_4187,ax2_4188,ax2_4189,ax2_4190,ax2_4191,ax2_4192,ax2_4193,ax2_4194,ax2_4195,ax2_4196,ax2_4197,ax2_4198,ax2_4199,ax2_4200,ax2_4201,ax2_4202,ax2_4203,ax2_4204,ax2_4205,ax2_4206,ax2_4207,ax2_4208,ax2_4209,ax2_4210,ax2_4211,ax2_4212,ax2_4213,ax2_4214,ax2_4215,ax2_4216,ax2_4217,ax2_4218,ax2_4219,ax2_4220,ax2_4221,ax2_4222,ax2_4223,ax2_4224,ax2_4225,ax2_4226,ax2_4227,ax2_4228,ax2_4229,ax2_4230,ax2_4231,ax2_4232,ax2_4233,ax2_4234,ax2_4235,ax2_4236,ax2_4237,ax2_4238,ax2_4239,ax2_4240,ax2_4241,ax2_4242,ax2_4243,ax2_4244,ax2_4245,ax2_4246,ax2_4247,ax2_4248,ax2_4249,ax2_4250,ax2_4251,ax2_4252,ax2_4253,ax2_4254,ax2_4255,ax2_4256,ax2_4257,ax2_4258,ax2_4259,ax2_4260,ax2_4261,ax2_4262,ax2_4263,ax2_4264,ax2_4265,ax2_4266,ax2_4267,ax2_4268,ax2_4269,ax2_4270,ax2_4271,ax2_4272,ax2_4273,ax2_4274,ax2_4275,ax2_4276,ax2_4277,ax2_4278,ax2_4279,ax2_4280,ax2_4281,ax2_4282,ax2_4283,ax2_4284,ax2_4285,ax2_4286,ax2_4287,ax2_4288,ax2_4289,ax2_4290,ax2_4291,ax2_4292,ax2_4293,ax2_4294,ax2_4295,ax2_4296,ax2_4297,ax2_4298,ax2_4299,ax2_4300,ax2_4301,ax2_4302,ax2_4303,ax2_4304,ax2_4305,ax2_4306,ax2_4307,ax2_4308,ax2_4309,ax2_4310,ax2_4311,ax2_4312,ax2_4313,ax2_4314,ax2_4315,ax2_4316,ax2_4317,ax2_4318,ax2_4319,ax2_4320,ax2_4321,ax2_4322,ax2_4323,ax2_4324,ax2_4325,ax2_4326,ax2_4327,ax2_4328,ax2_4329,ax2_4330,ax2_4331,ax2_4332,ax2_4333,ax2_4334,ax2_4335,ax2_4336,ax2_4337,ax2_4338,ax2_4339,ax2_4340,ax2_4341,ax2_4342,ax2_4343,ax2_4344,ax2_4345,ax2_4346,ax2_4347,ax2_4348,ax2_4349,ax2_4350,ax2_4351,ax2_4352,ax2_4353,ax2_4354,ax2_4355,ax2_4356,ax2_4357,ax2_4358,ax2_4359,ax2_4360,ax2_4361,ax2_4362,ax2_4363,ax2_4364,ax2_4365,ax2_4366,ax2_4367,ax2_4368,ax2_4369,ax2_4370,ax2_4371,ax2_4372,ax2_4373,ax2_4374,ax2_4375,ax2_4376,ax2_4377,ax2_4378,ax2_4379,ax2_4380,ax2_4381,ax2_4382,ax2_4383,ax2_4384,ax2_4385,ax2_4386,ax2_4387,ax2_4388,ax2_4389,ax2_4390,ax2_4391,ax2_4392,ax2_4393,ax2_4394,ax2_4395,ax2_4396,ax2_4397,ax2_4398,ax2_4399,ax2_4400,ax2_4401,ax2_4402,ax2_4403,ax2_4404,ax2_4405,ax2_4406,ax2_4407,ax2_4408,ax2_4409,ax2_4410,ax2_4411,ax2_4412,ax2_4413,ax2_4414,ax2_4415,ax2_4416,ax2_4417,ax2_4418,ax2_4419,ax2_4420,ax2_4421,ax2_4422,ax2_4423,ax2_4424,ax2_4425,ax2_4426,ax2_4427,ax2_4428,ax2_4429,ax2_4430,ax2_4431,ax2_4432,ax2_4433,ax2_4434,ax2_4435,ax2_4436,ax2_4437,ax2_4438,ax2_4439,ax2_4440,ax2_4441,ax2_4442,ax2_4443,ax2_4444,ax2_4445,ax2_4446,ax2_4447,ax2_4448,ax2_4449,ax2_4450,ax2_4451,ax2_4452,ax2_4453,ax2_4454,ax2_4455,ax2_4456,ax2_4457,ax2_4458,ax2_4459,ax2_4460,ax2_4461,ax2_4462,ax2_4463,ax2_4464,ax2_4465,ax2_4466,ax2_4467,ax2_4468,ax2_4469,ax2_4470,ax2_4471,ax2_4472,ax2_4473,ax2_4474,ax2_4475,ax2_4476,ax2_4477,ax2_4478,ax2_4479,ax2_4480,ax2_4481,ax2_4482,ax2_4483,ax2_4484,ax2_4485,ax2_4486,ax2_4487,ax2_4488,ax2_4489,ax2_4490,ax2_4491,ax2_4492,ax2_4493,ax2_4494,ax2_4495,ax2_4496,ax2_4497,ax2_4498,ax2_4499,ax2_4500,ax2_4501,ax2_4502,ax2_4503,ax2_4504,ax2_4505,ax2_4506,ax2_4507,ax2_4508,ax2_4509,ax2_4510,ax2_4511,ax2_4512,ax2_4513,ax2_4514,ax2_4515,ax2_4516,ax2_4517,ax2_4518,ax2_4519,ax2_4520,ax2_4521,ax2_4522,ax2_4523,ax2_4524,ax2_4525,ax2_4526,ax2_4527,ax2_4528,ax2_4529,ax2_4530,ax2_4531,ax2_4532,ax2_4533,ax2_4534,ax2_4535,ax2_4536,ax2_4537,ax2_4538,ax2_4539,ax2_4540,ax2_4541,ax2_4542,ax2_4543,ax2_4544,ax2_4545,ax2_4546,ax2_4547,ax2_4548,ax2_4549,ax2_4550,ax2_4551,ax2_4552,ax2_4553,ax2_4554,ax2_4555,ax2_4556,ax2_4557,ax2_4558,ax2_4559,ax2_4560,ax2_4561,ax2_4562,ax2_4563,ax2_4564,ax2_4565,ax2_4566,ax2_4567,ax2_4568,ax2_4569,ax2_4570,ax2_4571,ax2_4572,ax2_4573,ax2_4574,ax2_4575,ax2_4576,ax2_4577,ax2_4578,ax2_4579,ax2_4580,ax2_4581,ax2_4582,ax2_4583,ax2_4584,ax2_4585,ax2_4586,ax2_4587,ax2_4588,ax2_4589,ax2_4590,ax2_4591,ax2_4592,ax2_4593,ax2_4594,ax2_4595,ax2_4596,ax2_4597,ax2_4598,ax2_4599,ax2_4600,ax2_4601,ax2_4602,ax2_4603,ax2_4604,ax2_4605,ax2_4606,ax2_4607,ax2_4608,ax2_4609,ax2_4610,ax2_4611,ax2_4612,ax2_4613,ax2_4614,ax2_4615,ax2_4616,ax2_4617,ax2_4618,ax2_4619,ax2_4620,ax2_4621,ax2_4622,ax2_4623,ax2_4624,ax2_4625,ax2_4626,ax2_4627,ax2_4628,ax2_4629,ax2_4630,ax2_4631,ax2_4632,ax2_4633,ax2_4634,ax2_4635,ax2_4636,ax2_4637,ax2_4638,ax2_4639,ax2_4640,ax2_4641,ax2_4642,ax2_4643,ax2_4644,ax2_4645,ax2_4646,ax2_4647,ax2_4648,ax2_4649,ax2_4650,ax2_4651,ax2_4652,ax2_4653,ax2_4654,ax2_4655,ax2_4656,ax2_4657,ax2_4658,ax2_4659,ax2_4660,ax2_4661,ax2_4662,ax2_4663,ax2_4664,ax2_4665,ax2_4666,ax2_4667,ax2_4668,ax2_4669,ax2_4670,ax2_4671,ax2_4672,ax2_4673,ax2_4674,ax2_4675,ax2_4676,ax2_4677,ax2_4678,ax2_4679,ax2_4680,ax2_4681,ax2_4682,ax2_4683,ax2_4684,ax2_4685,ax2_4686,ax2_4687,ax2_4688,ax2_4689,ax2_4690,ax2_4691,ax2_4692,ax2_4693,ax2_4694,ax2_4695,ax2_4696,ax2_4697,ax2_4698,ax2_4699,ax2_4700,ax2_4701,ax2_4702,ax2_4703,ax2_4704,ax2_4705,ax2_4706,ax2_4707,ax2_4708,ax2_4709,ax2_4710,ax2_4711,ax2_4712,ax2_4713,ax2_4714,ax2_4715,ax2_4716,ax2_4717,ax2_4718,ax2_4719,ax2_4720,ax2_4721,ax2_4722,ax2_4723,ax2_4724,ax2_4725,ax2_4726,ax2_4727,ax2_4728,ax2_4729,ax2_4730,ax2_4731,ax2_4732,ax2_4733,ax2_4734,ax2_4735,ax2_4736,ax2_4737,ax2_4738,ax2_4739,ax2_4740,ax2_4741,ax2_4742,ax2_4743,ax2_4744,ax2_4745,ax2_4746,ax2_4747,ax2_4748,ax2_4749,ax2_4750,ax2_4751,ax2_4752,ax2_4753,ax2_4754,ax2_4755,ax2_4756,ax2_4757,ax2_4758,ax2_4759,ax2_4760,ax2_4761,ax2_4762,ax2_4763,ax2_4764,ax2_4765,ax2_4766,ax2_4767,ax2_4768,ax2_4769,ax2_4770,ax2_4771,ax2_4772,ax2_4773,ax2_4774,ax2_4775,ax2_4776,ax2_4777,ax2_4778,ax2_4779,ax2_4780,ax2_4781,ax2_4782,ax2_4783,ax2_4784,ax2_4785,ax2_4786,ax2_4787,ax2_4788,ax2_4789,ax2_4790,ax2_4791,ax2_4792,ax2_4793,ax2_4794,ax2_4795,ax2_4796,ax2_4797,ax2_4798,ax2_4799,ax2_4800,ax2_4801,ax2_4802,ax2_4803,ax2_4804,ax2_4805,ax2_4806,ax2_4807,ax2_4808,ax2_4809,ax2_4810,ax2_4811,ax2_4812,ax2_4813,ax2_4814,ax2_4815,ax2_4816,ax2_4817,ax2_4818,ax2_4819,ax2_4820,ax2_4821,ax2_4822,ax2_4823,ax2_4824,ax2_4825,ax2_4826,ax2_4827,ax2_4828,ax2_4829,ax2_4830,ax2_4831,ax2_4832,ax2_4833,ax2_4834,ax2_4835,ax2_4836,ax2_4837,ax2_4838,ax2_4839,ax2_4840,ax2_4841,ax2_4842,ax2_4843,ax2_4844,ax2_4845,ax2_4846,ax2_4847,ax2_4848,ax2_4849,ax2_4850,ax2_4851,ax2_4852,ax2_4853,ax2_4854,ax2_4855,ax2_4856,ax2_4857,ax2_4858,ax2_4859,ax2_4860,ax2_4861,ax2_4862,ax2_4863,ax2_4864,ax2_4865,ax2_4866,ax2_4867,ax2_4868,ax2_4869,ax2_4870,ax2_4871,ax2_4872,ax2_4873,ax2_4874,ax2_4875,ax2_4876,ax2_4877,ax2_4878,ax2_4879,ax2_4880,ax2_4881,ax2_4882,ax2_4883,ax2_4884,ax2_4885,ax2_4886,ax2_4887,ax2_4888,ax2_4889,ax2_4890,ax2_4891,ax2_4892,ax2_4893,ax2_4894,ax2_4895,ax2_4896,ax2_4897,ax2_4898,ax2_4899,ax2_4900,ax2_4901,ax2_4902,ax2_4903,ax2_4904,ax2_4905,ax2_4906,ax2_4907,ax2_4908,ax2_4909,ax2_4910,ax2_4911,ax2_4912,ax2_4913,ax2_4914,ax2_4915,ax2_4916,ax2_4917,ax2_4918,ax2_4919,ax2_4920,ax2_4921,ax2_4922,ax2_4923,ax2_4924,ax2_4925,ax2_4926,ax2_4927,ax2_4928,ax2_4929,ax2_4930,ax2_4931,ax2_4932,ax2_4933,ax2_4934,ax2_4935,ax2_4936,ax2_4937,ax2_4938,ax2_4939,ax2_4940,ax2_4941,ax2_4942,ax2_4943,ax2_4944,ax2_4945,ax2_4946,ax2_4947,ax2_4948,ax2_4949,ax2_4950,ax2_4951,ax2_4952,ax2_4953,ax2_4954,ax2_4955,ax2_4956,ax2_4957,ax2_4958,ax2_4959,ax2_4960,ax2_4961,ax2_4962,ax2_4963,ax2_4964,ax2_4965,ax2_4966,ax2_4967,ax2_4968,ax2_4969,ax2_4970,ax2_4971,ax2_4972,ax2_4973,ax2_4974,ax2_4975,ax2_4976,ax2_4977,ax2_4978,ax2_4979,ax2_4980,ax2_4981,ax2_4982,ax2_4983,ax2_4984,ax2_4985,ax2_4986,ax2_4987,ax2_4988,ax2_4989,ax2_4990,ax2_4991,ax2_4992,ax2_4993,ax2_4994,ax2_4995,ax2_4996,ax2_4997,ax2_4998,ax2_4999,ax2_5000,ax2_5001,ax2_5002,ax2_5003,ax2_5004,ax2_5005,ax2_5006,ax2_5007,ax2_5008,ax2_5009,ax2_5010,ax2_5011,ax2_5012,ax2_5013,ax2_5014,ax2_5015,ax2_5016,ax2_5017,ax2_5018,ax2_5019,ax2_5020,ax2_5021,ax2_5022,ax2_5023,ax2_5024,ax2_5025,ax2_5026,ax2_5027,ax2_5028,ax2_5029,ax2_5030,ax2_5031,ax2_5032,ax2_5033,ax2_5034,ax2_5035,ax2_5036,ax2_5037,ax2_5038,ax2_5039,ax2_5040,ax2_5041,ax2_5042,ax2_5043,ax2_5044,ax2_5045,ax2_5046,ax2_5047,ax2_5048,ax2_5049,ax2_5050,ax2_5051,ax2_5052,ax2_5053,ax2_5054,ax2_5055,ax2_5056,ax2_5057,ax2_5058,ax2_5059,ax2_5060,ax2_5061,ax2_5062,ax2_5063,ax2_5064,ax2_5065,ax2_5066,ax2_5067,ax2_5068,ax2_5069,ax2_5070,ax2_5071,ax2_5072,ax2_5073,ax2_5074,ax2_5075,ax2_5076,ax2_5077,ax2_5078,ax2_5079,ax2_5080,ax2_5081,ax2_5082,ax2_5083,ax2_5084,ax2_5085,ax2_5086,ax2_5087,ax2_5088,ax2_5089,ax2_5090,ax2_5091,ax2_5092,ax2_5093,ax2_5094,ax2_5095,ax2_5096,ax2_5097,ax2_5098,ax2_5099,ax2_5100,ax2_5101,ax2_5102,ax2_5103,ax2_5104,ax2_5105,ax2_5106,ax2_5107,ax2_5108,ax2_5109,ax2_5110,ax2_5111,ax2_5112,ax2_5113,ax2_5114,ax2_5115,ax2_5116,ax2_5117,ax2_5118,ax2_5119,ax2_5120,ax2_5121,ax2_5122,ax2_5123,ax2_5124,ax2_5125,ax2_5126,ax2_5127,ax2_5128,ax2_5129,ax2_5130,ax2_5131,ax2_5132,ax2_5133,ax2_5134,ax2_5135,ax2_5136,ax2_5137,ax2_5138,ax2_5139,ax2_5140,ax2_5141,ax2_5142,ax2_5143,ax2_5144,ax2_5145,ax2_5146,ax2_5147,ax2_5148,ax2_5149,ax2_5150,ax2_5151,ax2_5152,ax2_5153,ax2_5154,ax2_5155,ax2_5156,ax2_5157,ax2_5158,ax2_5159,ax2_5160,ax2_5161,ax2_5162,ax2_5163,ax2_5164,ax2_5165,ax2_5166,ax2_5167,ax2_5168,ax2_5169,ax2_5170,ax2_5171,ax2_5172,ax2_5173,ax2_5174,ax2_5175,ax2_5176,ax2_5177,ax2_5178,ax2_5179,ax2_5180,ax2_5181,ax2_5182,ax2_5183,ax2_5184,ax2_5185,ax2_5186,ax2_5187,ax2_5188,ax2_5189,ax2_5190,ax2_5191,ax2_5192,ax2_5193,ax2_5194,ax2_5195,ax2_5196,ax2_5197,ax2_5198,ax2_5199,ax2_5200,ax2_5201,ax2_5202,ax2_5203,ax2_5204,ax2_5205,ax2_5206,ax2_5207,ax2_5208,ax2_5209,ax2_5210,ax2_5211,ax2_5212,ax2_5213,ax2_5214,ax2_5215,ax2_5216,ax2_5217,ax2_5218,ax2_5219,ax2_5220,ax2_5221,ax2_5222,ax2_5223,ax2_5224,ax2_5225,ax2_5226,ax2_5227,ax2_5228,ax2_5229,ax2_5230,ax2_5231,ax2_5232,ax2_5233,ax2_5234,ax2_5235,ax2_5236,ax2_5237,ax2_5238,ax2_5239,ax2_5240,ax2_5241,ax2_5242,ax2_5243,ax2_5244,ax2_5245,ax2_5246,ax2_5247,ax2_5248,ax2_5249,ax2_5250,ax2_5251,ax2_5252,ax2_5253,ax2_5254,ax2_5255,ax2_5256,ax2_5257,ax2_5258,ax2_5259,ax2_5260,ax2_5261,ax2_5262,ax2_5263,ax2_5264,ax2_5265,ax2_5266,ax2_5267,ax2_5268,ax2_5269,ax2_5270,ax2_5271,ax2_5272,ax2_5273,ax2_5274,ax2_5275,ax2_5276,ax2_5277,ax2_5278,ax2_5279,ax2_5280,ax2_5281,ax2_5282,ax2_5283,ax2_5284,ax2_5285,ax2_5286,ax2_5287,ax2_5288,ax2_5289,ax2_5290,ax2_5291,ax2_5292,ax2_5293,ax2_5294,ax2_5295,ax2_5296,ax2_5297,ax2_5298,ax2_5299,ax2_5300,ax2_5301,ax2_5302,ax2_5303,ax2_5304,ax2_5305,ax2_5306,ax2_5307,ax2_5308,ax2_5309,ax2_5310,ax2_5311,ax2_5312,ax2_5313,ax2_5314,ax2_5315,ax2_5316,ax2_5317,ax2_5318,ax2_5319,ax2_5320,ax2_5321,ax2_5322,ax2_5323,ax2_5324,ax2_5325,ax2_5326,ax2_5327,ax2_5328,ax2_5329,ax2_5330,ax2_5331,ax2_5332,ax2_5333,ax2_5334,ax2_5335,ax2_5336,ax2_5337,ax2_5338,ax2_5339,ax2_5340,ax2_5341,ax2_5342,ax2_5343,ax2_5344,ax2_5345,ax2_5346,ax2_5347,ax2_5348,ax2_5349,ax2_5350,ax2_5351,ax2_5352,ax2_5353,ax2_5354,ax2_5355,ax2_5356,ax2_5357,ax2_5358,ax2_5359,ax2_5360,ax2_5361,ax2_5362,ax2_5363,ax2_5364,ax2_5365,ax2_5366,ax2_5367,ax2_5368,ax2_5369,ax2_5370,ax2_5371,ax2_5372,ax2_5373,ax2_5374,ax2_5375,ax2_5376,ax2_5377,ax2_5378,ax2_5379,ax2_5380,ax2_5381,ax2_5382,ax2_5383,ax2_5384,ax2_5385,ax2_5386,ax2_5387,ax2_5388,ax2_5389,ax2_5390,ax2_5391,ax2_5392,ax2_5393,ax2_5394,ax2_5395,ax2_5396,ax2_5397,ax2_5398,ax2_5399,ax2_5400,ax2_5401,ax2_5402,ax2_5403,ax2_5404,ax2_5405,ax2_5406,ax2_5407,ax2_5408,ax2_5409,ax2_5410,ax2_5411,ax2_5412,ax2_5413,ax2_5414,ax2_5415,ax2_5416,ax2_5417,ax2_5418,ax2_5419,ax2_5420,ax2_5421,ax2_5422,ax2_5423,ax2_5424,ax2_5425,ax2_5426,ax2_5427,ax2_5428,ax2_5429,ax2_5430,ax2_5431,ax2_5432,ax2_5433,ax2_5434,ax2_5435,ax2_5436,ax2_5437,ax2_5438,ax2_5439,ax2_5440,ax2_5441,ax2_5442,ax2_5443,ax2_5444,ax2_5445,ax2_5446,ax2_5447,ax2_5448,ax2_5449,ax2_5450,ax2_5451,ax2_5452,ax2_5453,ax2_5454,ax2_5455,ax2_5456,ax2_5457,ax2_5458,ax2_5459,ax2_5460,ax2_5461,ax2_5462,ax2_5463,ax2_5464,ax2_5465,ax2_5466,ax2_5467,ax2_5468,ax2_5469,ax2_5470,ax2_5471,ax2_5472,ax2_5473,ax2_5474,ax2_5475,ax2_5476,ax2_5477,ax2_5478,ax2_5479,ax2_5480,ax2_5481,ax2_5482,ax2_5483,ax2_5484,ax2_5485,ax2_5486,ax2_5487,ax2_5488,ax2_5489,ax2_5490,ax2_5491,ax2_5492,ax2_5493,ax2_5494,ax2_5495,ax2_5496,ax2_5497,ax2_5498,ax2_5499,ax2_5500,ax2_5501,ax2_5502,ax2_5503,ax2_5504,ax2_5505,ax2_5506,ax2_5507,ax2_5508,ax2_5509,ax2_5510,ax2_5511,ax2_5512,ax2_5513,ax2_5514,ax2_5515,ax2_5516,ax2_5517,ax2_5518,ax2_5519,ax2_5520,ax2_5521,ax2_5522,ax2_5523,ax2_5524,ax2_5525,ax2_5526,ax2_5527,ax2_5528,ax2_5529,ax2_5530,ax2_5531,ax2_5532,ax2_5533,ax2_5534,ax2_5535,ax2_5536,ax2_5537,ax2_5538,ax2_5539,ax2_5540,ax2_5541,ax2_5542,ax2_5543,ax2_5544,ax2_5545,ax2_5546,ax2_5547,ax2_5548,ax2_5549,ax2_5550,ax2_5551,ax2_5552,ax2_5553,ax2_5554,ax2_5555,ax2_5556,ax2_5557,ax2_5558,ax2_5559,ax2_5560,ax2_5561,ax2_5562,ax2_5563,ax2_5564,ax2_5565,ax2_5566,ax2_5567,ax2_5568,ax2_5569,ax2_5570,ax2_5571,ax2_5572,ax2_5573,ax2_5574,ax2_5575,ax2_5576,ax2_5577,ax2_5578,ax2_5579,ax2_5580,ax2_5581,ax2_5582,ax2_5583,ax2_5584,ax2_5585,ax2_5586,ax2_5587,ax2_5588,ax2_5589,ax2_5590,ax2_5591,ax2_5592,ax2_5593,ax2_5594,ax2_5595,ax2_5596,ax2_5597,ax2_5598,ax2_5599,ax2_5600,ax2_5601,ax2_5602,ax2_5603,ax2_5604,ax2_5605,ax2_5606,ax2_5607,ax2_5608,ax2_5609,ax2_5610,ax2_5611,ax2_5612,ax2_5613,ax2_5614,ax2_5615,ax2_5616,ax2_5617,ax2_5618,ax2_5619,ax2_5620,ax2_5621,ax2_5622,ax2_5623,ax2_5624,ax2_5625,ax2_5626,ax2_5627,ax2_5628,ax2_5629,ax2_5630,ax2_5631,ax2_5632,ax2_5633,ax2_5634,ax2_5635,ax2_5636,ax2_5637,ax2_5638,ax2_5639,ax2_5640,ax2_5641,ax2_5642,ax2_5643,ax2_5644,ax2_5645,ax2_5646,ax2_5647,ax2_5648,ax2_5649,ax2_5650,ax2_5651,ax2_5652,ax2_5653,ax2_5654,ax2_5655,ax2_5656,ax2_5657,ax2_5658,ax2_5659,ax2_5660,ax2_5661,ax2_5662,ax2_5663,ax2_5664,ax2_5665,ax2_5666,ax2_5667,ax2_5668,ax2_5669,ax2_5670,ax2_5671,ax2_5672,ax2_5673,ax2_5674,ax2_5675,ax2_5676,ax2_5677,ax2_5678,ax2_5679,ax2_5680,ax2_5681,ax2_5682,ax2_5683,ax2_5684,ax2_5685,ax2_5686,ax2_5687,ax2_5688,ax2_5689,ax2_5690,ax2_5691,ax2_5692,ax2_5693,ax2_5694,ax2_5695,ax2_5696,ax2_5697,ax2_5698,ax2_5699,ax2_5700,ax2_5701,ax2_5702,ax2_5703,ax2_5704,ax2_5705,ax2_5706,ax2_5707,ax2_5708,ax2_5709,ax2_5710,ax2_5711,ax2_5712,ax2_5713,ax2_5714,ax2_5715,ax2_5716,ax2_5717,ax2_5718,ax2_5719,ax2_5720,ax2_5721,ax2_5722,ax2_5723,ax2_5724,ax2_5725,ax2_5726,ax2_5727,ax2_5728,ax2_5729,ax2_5730,ax2_5731,ax2_5732,ax2_5733,ax2_5734,ax2_5735,ax2_5736,ax2_5737,ax2_5738,ax2_5739,ax2_5740,ax2_5741,ax2_5742,ax2_5743,ax2_5744,ax2_5745,ax2_5746,ax2_5747,ax2_5748,ax2_5749,ax2_5750,ax2_5751,ax2_5752,ax2_5753,ax2_5754,ax2_5755,ax2_5756,ax2_5757,ax2_5758,ax2_5759,ax2_5760,ax2_5761,ax2_5762,ax2_5763,ax2_5764,ax2_5765,ax2_5766,ax2_5767,ax2_5768,ax2_5769,ax2_5770,ax2_5771,ax2_5772,ax2_5773,ax2_5774,ax2_5775,ax2_5776,ax2_5777,ax2_5778,ax2_5779,ax2_5780,ax2_5781,ax2_5782,ax2_5783,ax2_5784,ax2_5785,ax2_5786,ax2_5787,ax2_5788,ax2_5789,ax2_5790,ax2_5791,ax2_5792,ax2_5793,ax2_5794,ax2_5795,ax2_5796,ax2_5797,ax2_5798,ax2_5799,ax2_5800,ax2_5801,ax2_5802,ax2_5803,ax2_5804,ax2_5805,ax2_5806,ax2_5807,ax2_5808,ax2_5809,ax2_5810,ax2_5811,ax2_5812,ax2_5813,ax2_5814,ax2_5815,ax2_5816,ax2_5817,ax2_5818,ax2_5819,ax2_5820,ax2_5821,ax2_5822,ax2_5823,ax2_5824,ax2_5825,ax2_5826,ax2_5827,ax2_5828,ax2_5829,ax2_5830,ax2_5831,ax2_5832,ax2_5833,ax2_5834,ax2_5835,ax2_5836,ax2_5837,ax2_5838,ax2_5839,ax2_5840,ax2_5841,ax2_5842,ax2_5843,ax2_5844,ax2_5845,ax2_5846,ax2_5847,ax2_5848,ax2_5849,ax2_5850,ax2_5851,ax2_5852,ax2_5853,ax2_5854,ax2_5855,ax2_5856,ax2_5857,ax2_5858,ax2_5859,ax2_5860,ax2_5861,ax2_5862,ax2_5863,ax2_5864,ax2_5865,ax2_5866,ax2_5867,ax2_5868,ax2_5869,ax2_5870,ax2_5871,ax2_5872,ax2_5873,ax2_5874,ax2_5875,ax2_5876,ax2_5877,ax2_5878,ax2_5879,ax2_5880,ax2_5881,ax2_5882,ax2_5883,ax2_5884,ax2_5885,ax2_5886,ax2_5887,ax2_5888,ax2_5889,ax2_5890,ax2_5891,ax2_5892,ax2_5893,ax2_5894,ax2_5895,ax2_5896,ax2_5897,ax2_5898,ax2_5899,ax2_5900,ax2_5901,ax2_5902,ax2_5903,ax2_5904,ax2_5905,ax2_5906,ax2_5907,ax2_5908,ax2_5909,ax2_5910,ax2_5911,ax2_5912,ax2_5913,ax2_5914,ax2_5915,ax2_5916,ax2_5917,ax2_5918,ax2_5919,ax2_5920,ax2_5921,ax2_5922,ax2_5923,ax2_5924,ax2_5925,ax2_5926,ax2_5927,ax2_5928,ax2_5929,ax2_5930,ax2_5931,ax2_5932,ax2_5933,ax2_5934,ax2_5935,ax2_5936,ax2_5937,ax2_5938,ax2_5939,ax2_5940,ax2_5941,ax2_5942,ax2_5943,ax2_5944,ax2_5945,ax2_5946,ax2_5947,ax2_5948,ax2_5949,ax2_5950,ax2_5951,ax2_5952,ax2_5953,ax2_5954,ax2_5955,ax2_5956,ax2_5957,ax2_5958,ax2_5959,ax2_5960,ax2_5961,ax2_5962,ax2_5963,ax2_5964,ax2_5965,ax2_5966,ax2_5967,ax2_5968,ax2_5969,ax2_5970,ax2_5971,ax2_5972,ax2_5973,ax2_5974,ax2_5975,ax2_5976,ax2_5977,ax2_5978,ax2_5979,ax2_5980,ax2_5981,ax2_5982,ax2_5983,ax2_5984,ax2_5985,ax2_5986,ax2_5987,ax2_5988,ax2_5989,ax2_5990,ax2_5991,ax2_5992,ax2_5993,ax2_5994,ax2_5995,ax2_5996,ax2_5997,ax2_5998,ax2_5999,ax2_6000,ax2_6001,ax2_6002,ax2_6003,ax2_6004,ax2_6005,ax2_6006,ax2_6007,ax2_6008,ax2_6009,ax2_6010,ax2_6011,ax2_6012,ax2_6013,ax2_6014,ax2_6015,ax2_6016,ax2_6017,ax2_6018,ax2_6019,ax2_6020,ax2_6021,ax2_6022,ax2_6023,ax2_6024,ax2_6025,ax2_6026,ax2_6027,ax2_6028,ax2_6029,ax2_6030,ax2_6031,ax2_6032,ax2_6033,ax2_6034,ax2_6035,ax2_6036,ax2_6037,ax2_6038,ax2_6039,ax2_6040,ax2_6041,ax2_6042,ax2_6043,ax2_6044,ax2_6045,ax2_6046,ax2_6047,ax2_6048,ax2_6049,ax2_6050,ax2_6051,ax2_6052,ax2_6053,ax2_6054,ax2_6055,ax2_6056,ax2_6057,ax2_6058,ax2_6059,ax2_6060,ax2_6061,ax2_6062,ax2_6063,ax2_6064,ax2_6065,ax2_6066,ax2_6067,ax2_6068,ax2_6069,ax2_6070,ax2_6071,ax2_6072,ax2_6073,ax2_6074,ax2_6075,ax2_6076,ax2_6077,ax2_6078,ax2_6079,ax2_6080,ax2_6081,ax2_6082,ax2_6083,ax2_6084,ax2_6085,ax2_6086,ax2_6087,ax2_6088,ax2_6089,ax2_6090,ax2_6091,ax2_6092,ax2_6093,ax2_6094,ax2_6095,ax2_6096,ax2_6097,ax2_6098,ax2_6099,ax2_6100,ax2_6101,ax2_6102,ax2_6103,ax2_6104,ax2_6105,ax2_6106,ax2_6107,ax2_6108,ax2_6109,ax2_6110,ax2_6111,ax2_6112,ax2_6113,ax2_6114,ax2_6115,ax2_6116,ax2_6117,ax2_6118,ax2_6119,ax2_6120,ax2_6121,ax2_6122,ax2_6123,ax2_6124,ax2_6125,ax2_6126,ax2_6127,ax2_6128,ax2_6129,ax2_6130,ax2_6131,ax2_6132,ax2_6133,ax2_6134,ax2_6135,ax2_6136,ax2_6137,ax2_6138,ax2_6139,ax2_6140,ax2_6141,ax2_6142,ax2_6143,ax2_6144,ax2_6145,ax2_6146,ax2_6147,ax2_6148,ax2_6149,ax2_6150,ax2_6151,ax2_6152,ax2_6153,ax2_6154,ax2_6155,ax2_6156,ax2_6157,ax2_6158,ax2_6159,ax2_6160,ax2_6161,ax2_6162,ax2_6163,ax2_6164,ax2_6165,ax2_6166,ax2_6167,ax2_6168,ax2_6169,ax2_6170,ax2_6171,ax2_6172,ax2_6173,ax2_6174,ax2_6175,ax2_6176,ax2_6177,ax2_6178,ax2_6179,ax2_6180,ax2_6181,ax2_6182,ax2_6183,ax2_6184,ax2_6185,ax2_6186,ax2_6187,ax2_6188,ax2_6189,ax2_6190,ax2_6191,ax2_6192,ax2_6193,ax2_6194,ax2_6195,ax2_6196,ax2_6197,ax2_6198,ax2_6199,ax2_6200,ax2_6201,ax2_6202,ax2_6203,ax2_6204,ax2_6205,ax2_6206,ax2_6207,ax2_6208,ax2_6209,ax2_6210,ax2_6211,ax2_6212,ax2_6213,ax2_6214,ax2_6215,ax2_6216,ax2_6217,ax2_6218,ax2_6219,ax2_6220,ax2_6221,ax2_6222,ax2_6223,ax2_6224,ax2_6225,ax2_6226,ax2_6227,ax2_6228,ax2_6229,ax2_6230,ax2_6231,ax2_6232,ax2_6233,ax2_6234,ax2_6235,ax2_6236,ax2_6237,ax2_6238,ax2_6239,ax2_6240,ax2_6241,ax2_6242,ax2_6243,ax2_6244,ax2_6245,ax2_6246,ax2_6247,ax2_6248,ax2_6249,ax2_6250,ax2_6251,ax2_6252,ax2_6253,ax2_6254,ax2_6255,ax2_6256,ax2_6257,ax2_6258,ax2_6259,ax2_6260,ax2_6261,ax2_6262,ax2_6263,ax2_6264,ax2_6265,ax2_6266,ax2_6267,ax2_6268,ax2_6269,ax2_6270,ax2_6271,ax2_6272,ax2_6273,ax2_6274,ax2_6275,ax2_6276,ax2_6277,ax2_6278,ax2_6279,ax2_6280,ax2_6281,ax2_6282,ax2_6283,ax2_6284,ax2_6285,ax2_6286,ax2_6287,ax2_6288,ax2_6289,ax2_6290,ax2_6291,ax2_6292,ax2_6293,ax2_6294,ax2_6295,ax2_6296,ax2_6297,ax2_6298,ax2_6299,ax2_6300,ax2_6301,ax2_6302,ax2_6303,ax2_6304,ax2_6305,ax2_6306,ax2_6307,ax2_6308,ax2_6309,ax2_6310,ax2_6311,ax2_6312,ax2_6313,ax2_6314,ax2_6315,ax2_6316,ax2_6317,ax2_6318,ax2_6319,ax2_6320,ax2_6321,ax2_6322,ax2_6323,ax2_6324,ax2_6325,ax2_6326,ax2_6327,ax2_6328,ax2_6329,ax2_6330,ax2_6331,ax2_6332,ax2_6333,ax2_6334,ax2_6335,ax2_6336,ax2_6337,ax2_6338,ax2_6339,ax2_6340,ax2_6341,ax2_6342,ax2_6343,ax2_6344,ax2_6345,ax2_6346,ax2_6347,ax2_6348,ax2_6349,ax2_6350,ax2_6351,ax2_6352,ax2_6353,ax2_6354,ax2_6355,ax2_6356,ax2_6357,ax2_6358,ax2_6359,ax2_6360,ax2_6361,ax2_6362,ax2_6363,ax2_6364,ax2_6365,ax2_6366,ax2_6367,ax2_6368,ax2_6369,ax2_6370,ax2_6371,ax2_6372,ax2_6373,ax2_6374,ax2_6375,ax2_6376,ax2_6377,ax2_6378,ax2_6379,ax2_6380,ax2_6381,ax2_6382,ax2_6383,ax2_6384,ax2_6385,ax2_6386,ax2_6387,ax2_6388,ax2_6389,ax2_6390,ax2_6391,ax2_6392,ax2_6393,ax2_6394,ax2_6395,ax2_6396,ax2_6397,ax2_6398,ax2_6399,ax2_6400,ax2_6401,ax2_6402,ax2_6403,ax2_6404,ax2_6405,ax2_6406,ax2_6407,ax2_6408,ax2_6409,ax2_6410,ax2_6411,ax2_6412,ax2_6413,ax2_6414,ax2_6415,ax2_6416,ax2_6417,ax2_6418,ax2_6419,ax2_6420,ax2_6421,ax2_6422,ax2_6423,ax2_6424,ax2_6425,ax2_6426,ax2_6427,ax2_6428,ax2_6429,ax2_6430,ax2_6431,ax2_6432,ax2_6433,ax2_6434,ax2_6435,ax2_6436,ax2_6437,ax2_6438,ax2_6439,ax2_6440,ax2_6441,ax2_6442,ax2_6443,ax2_6444,ax2_6445,ax2_6446,ax2_6447,ax2_6448,ax2_6449,ax2_6450,ax2_6451,ax2_6452,ax2_6453,ax2_6454,ax2_6455,ax2_6456,ax2_6457,ax2_6458,ax2_6459,ax2_6460,ax2_6461,ax2_6462,ax2_6463,ax2_6464,ax2_6465,ax2_6466,ax2_6467,ax2_6468,ax2_6469,ax2_6470,ax2_6471,ax2_6472,ax2_6473,ax2_6474,ax2_6475,ax2_6476,ax2_6477,ax2_6478,ax2_6479,ax2_6480,ax2_6481,ax2_6482,ax2_6483,ax2_6484,ax2_6485,ax2_6486,ax2_6487,ax2_6488,ax2_6489,ax2_6490,ax2_6491,ax2_6492,ax2_6493,ax2_6494,ax2_6495,ax2_6496,ax2_6497,ax2_6498,ax2_6499,ax2_6500,ax2_6501,ax2_6502,ax2_6503,ax2_6504,ax2_6505,ax2_6506,ax2_6507,ax2_6508,ax2_6509,ax2_6510,ax2_6511,ax2_6512,ax2_6513,ax2_6514,ax2_6515,ax2_6516,ax2_6517,ax2_6518,ax2_6519,ax2_6520,ax2_6521,ax2_6522,ax2_6523,ax2_6524,ax2_6525,ax2_6526,ax2_6527,ax2_6528,ax2_6529,ax2_6530,ax2_6531,ax2_6532,ax2_6533,ax2_6534,ax2_6535,ax2_6536,ax2_6537,ax2_6538,ax2_6539,ax2_6540,ax2_6541,ax2_6542,ax2_6543,ax2_6544,ax2_6545,ax2_6546,ax2_6547,ax2_6548,ax2_6549,ax2_6550,ax2_6551,ax2_6552,ax2_6553,ax2_6554,ax2_6555,ax2_6556,ax2_6557,ax2_6558,ax2_6559,ax2_6560,ax2_6561,ax2_6562,ax2_6563,ax2_6564,ax2_6565,ax2_6566,ax2_6567,ax2_6568,ax2_6569,ax2_6570,ax2_6571,ax2_6572,ax2_6573,ax2_6574,ax2_6575,ax2_6576,ax2_6577,ax2_6578,ax2_6579,ax2_6580,ax2_6581,ax2_6582,ax2_6583,ax2_6584,ax2_6585,ax2_6586,ax2_6587,ax2_6588,ax2_6589,ax2_6590,ax2_6591,ax2_6592,ax2_6593,ax2_6594,ax2_6595,ax2_6596,ax2_6597,ax2_6598,ax2_6599,ax2_6600,ax2_6601,ax2_6602,ax2_6603,ax2_6604,ax2_6605,ax2_6606,ax2_6607,ax2_6608,ax2_6609,ax2_6610,ax2_6611,ax2_6612,ax2_6613,ax2_6614,ax2_6615,ax2_6616,ax2_6617,ax2_6618,ax2_6619,ax2_6620,ax2_6621,ax2_6622,ax2_6623,ax2_6624,ax2_6625,ax2_6626,ax2_6627,ax2_6628,ax2_6629,ax2_6630,ax2_6631,ax2_6632,ax2_6633,ax2_6634,ax2_6635,ax2_6636,ax2_6637,ax2_6638,ax2_6639,ax2_6640,ax2_6641,ax2_6642,ax2_6643,ax2_6644,ax2_6645,ax2_6646,ax2_6647,ax2_6648,ax2_6649,ax2_6650,ax2_6651,ax2_6652,ax2_6653,ax2_6654,ax2_6655,ax2_6656,ax2_6657,ax2_6658,ax2_6659,ax2_6660,ax2_6661,ax2_6662,ax2_6663,ax2_6664,ax2_6665,ax2_6666,ax2_6667,ax2_6668,ax2_6669,ax2_6670,ax2_6671,ax2_6672,ax2_6673,ax2_6674,ax2_6675,ax2_6676,ax2_6677,ax2_6678,ax2_6679,ax2_6680,ax2_6681,ax2_6682,ax2_6683,ax2_6684,ax2_6685,ax2_6686,ax2_6687,ax2_6688,ax2_6689,ax2_6690,ax2_6691,ax2_6692,ax2_6693,ax2_6694,ax2_6695,ax2_6696,ax2_6697,ax2_6698,ax2_6699,ax2_6700,ax2_6701,ax2_6702,ax2_6703,ax2_6704,ax2_6705,ax2_6706,ax2_6707,ax2_6708,ax2_6709,ax2_6710,ax2_6711,ax2_6712,ax2_6713,ax2_6714,ax2_6715,ax2_6716,ax2_6717,ax2_6718,ax2_6719,ax2_6720,ax2_6721,ax2_6722,ax2_6723,ax2_6724,ax2_6725,ax2_6726,ax2_6727,ax2_6728,ax2_6729,ax2_6730,ax2_6731,ax2_6732,ax2_6733,ax2_6734,ax2_6735,ax2_6736,ax2_6737,ax2_6738,ax2_6739,ax2_6740,ax2_6741,ax2_6742,ax2_6743,ax2_6744,ax2_6745,ax2_6746,ax2_6747,ax2_6748,ax2_6749,ax2_6750,ax2_6751,ax2_6752,ax2_6753,ax2_6754,ax2_6755,ax2_6756,ax2_6757,ax2_6758,ax2_6759,ax2_6760,ax2_6761,ax2_6762,ax2_6763,ax2_6764,ax2_6765,ax2_6766,ax2_6767,ax2_6768,ax2_6769,ax2_6770,ax2_6771,ax2_6772,ax2_6773,ax2_6774,ax2_6775,ax2_6776,ax2_6777,ax2_6778,ax2_6779,ax2_6780,ax2_6781,ax2_6782,ax2_6783,ax2_6784,ax2_6785,ax2_6786,ax2_6787,ax2_6788,ax2_6789,ax2_6790,ax2_6791,ax2_6792,ax2_6793,ax2_6794,ax2_6795,ax2_6796,ax2_6797,ax2_6798,ax2_6799,ax2_6800,ax2_6801,ax2_6802,ax2_6803,ax2_6804,ax2_6805,ax2_6806,ax2_6807,ax2_6808,ax2_6809,ax2_6810,ax2_6811,ax2_6812,ax2_6813,ax2_6814,ax2_6815,ax2_6816,ax2_6817,ax2_6818,ax2_6819,ax2_6820,ax2_6821,ax2_6822,ax2_6823,ax2_6824,ax2_6825,ax2_6826,ax2_6827,ax2_6828,ax2_6829,ax2_6830,ax2_6831,ax2_6832,ax2_6833,ax2_6834,ax2_6835,ax2_6836,ax2_6837,ax2_6838,ax2_6839,ax2_6840,ax2_6841,ax2_6842,ax2_6843,ax2_6844,ax2_6845,ax2_6846,ax2_6847,ax2_6848,ax2_6849,ax2_6850,ax2_6851,ax2_6852,ax2_6853,ax2_6854,ax2_6855,ax2_6856,ax2_6857,ax2_6858,ax2_6859,ax2_6860,ax2_6861,ax2_6862,ax2_6863,ax2_6864,ax2_6865,ax2_6866,ax2_6867,ax2_6868,ax2_6869,ax2_6870,ax2_6871,ax2_6872,ax2_6873,ax2_6874,ax2_6875,ax2_6876,ax2_6877,ax2_6878,ax2_6879,ax2_6880,ax2_6881,ax2_6882,ax2_6883,ax2_6884,ax2_6885,ax2_6886,ax2_6887,ax2_6888,ax2_6889,ax2_6890,ax2_6891,ax2_6892,ax2_6893,ax2_6894,ax2_6895,ax2_6896,ax2_6897,ax2_6898,ax2_6899,ax2_6900,ax2_6901,ax2_6902,ax2_6903,ax2_6904,ax2_6905,ax2_6906,ax2_6907,ax2_6908,ax2_6909,ax2_6910,ax2_6911,ax2_6912,ax2_6913,ax2_6914,ax2_6915,ax2_6916,ax2_6917,ax2_6918,ax2_6919,ax2_6920,ax2_6921,ax2_6922,ax2_6923,ax2_6924,ax2_6925,ax2_6926,ax2_6927,ax2_6928,ax2_6929,ax2_6930,ax2_6931,ax2_6932,ax2_6933,ax2_6934,ax2_6935,ax2_6936,ax2_6937,ax2_6938,ax2_6939,ax2_6940,ax2_6941,ax2_6942,ax2_6943,ax2_6944,ax2_6945,ax2_6946,ax2_6947,ax2_6948,ax2_6949,ax2_6950,ax2_6951,ax2_6952,ax2_6953,ax2_6954,ax2_6955,ax2_6956,ax2_6957,ax2_6958,ax2_6959,ax2_6960,ax2_6961,ax2_6962,ax2_6963,ax2_6964,ax2_6965,ax2_6966,ax2_6967,ax2_6968,ax2_6969,ax2_6970,ax2_6971,ax2_6972,ax2_6973,ax2_6974,ax2_6975,ax2_6976,ax2_6977,ax2_6978,ax2_6979,ax2_6980,ax2_6981,ax2_6982,ax2_6983,ax2_6984,ax2_6985,ax2_6986,ax2_6987,ax2_6988,ax2_6989,ax2_6990,ax2_6991,ax2_6992,ax2_6993,ax2_6994,ax2_6995,ax2_6996,ax2_6997,ax2_6998,ax2_6999,ax2_7000,ax2_7001,ax2_7002,ax2_7003,ax2_7004,ax2_7005,ax2_7006,ax2_7007,ax2_7008,ax2_7009,ax2_7010,ax2_7011,ax2_7012,ax2_7013,ax2_7014,ax2_7015,ax2_7016,ax2_7017,ax2_7018,ax2_7019,ax2_7020,ax2_7021,ax2_7022,ax2_7023,ax2_7024,ax2_7025,ax2_7026,ax2_7027,ax2_7028,ax2_7029,ax2_7030,ax2_7031,ax2_7032,ax2_7033,ax2_7034,ax2_7035,ax2_7036,ax2_7037,ax2_7038,ax2_7039,ax2_7040,ax2_7041,ax2_7042,ax2_7043,ax2_7044,ax2_7045,ax2_7046,ax2_7047,ax2_7048,ax2_7049,ax2_7050,ax2_7051,ax2_7052,ax2_7053,ax2_7054,ax2_7055,ax2_7056,ax2_7057,ax2_7058,ax2_7059,ax2_7060,ax2_7061,ax2_7062,ax2_7063,ax2_7064,ax2_7065,ax2_7066,ax2_7067,ax2_7068,ax2_7069,ax2_7070,ax2_7071,ax2_7072,ax2_7073,ax2_7074,ax2_7075,ax2_7076,ax2_7077,ax2_7078,ax2_7079,ax2_7080,ax2_7081,ax2_7082,ax2_7083,ax2_7084,ax2_7085,ax2_7086,ax2_7087,ax2_7088,ax2_7089,ax2_7090,ax2_7091,ax2_7092,ax2_7093,ax2_7094,ax2_7095,ax2_7096,ax2_7097,ax2_7098,ax2_7099,ax2_7100,ax2_7101,ax2_7102,ax2_7103,ax2_7104,ax2_7105,ax2_7106,ax2_7107,ax2_7108,ax2_7109,ax2_7110,ax2_7111,ax2_7112,ax2_7113,ax2_7114,ax2_7115,ax2_7116,ax2_7117,ax2_7118,ax2_7119,ax2_7120,ax2_7121,ax2_7122,ax2_7123,ax2_7124,ax2_7125,ax2_7126,ax2_7127,ax2_7128,ax2_7129,ax2_7130,ax2_7131,ax2_7132,ax2_7133,ax2_7134,ax2_7135,ax2_7136,ax2_7137,ax2_7138,ax2_7139,ax2_7140,ax2_7141,ax2_7142,ax2_7143,ax2_7144,ax2_7145,ax2_7146,ax2_7147,ax2_7148,ax2_7149,ax2_7150,ax2_7151,ax2_7152,ax2_7153,ax2_7154,ax2_7155,ax2_7156,ax2_7157,ax2_7158,ax2_7159,ax2_7160,ax2_7161,ax2_7162,ax2_7163,ax2_7164,ax2_7165,ax2_7166,ax2_7167,ax2_7168,ax2_7169,ax2_7170,ax2_7171,ax2_7172,ax2_7173,ax2_7174,ax2_7175,ax2_7176,ax2_7177,ax2_7178,ax2_7179,ax2_7180,ax2_7181,ax2_7182,ax2_7183,ax2_7184,ax2_7185,ax2_7186,ax2_7187,ax2_7188,ax2_7189,ax2_7190,ax2_7191,ax2_7192,ax2_7193,ax2_7194,ax2_7195,ax2_7196,ax2_7197,ax2_7198,ax2_7199,ax2_7200,ax2_7201,ax2_7202,ax2_7203,ax2_7204,ax2_7205,ax2_7206,ax2_7207,ax2_7208,ax2_7209,ax2_7210,ax2_7211,ax2_7212,ax2_7213,ax2_7214,ax2_7215,ax2_7216,ax2_7217,ax2_7218,ax2_7219,ax2_7220,ax2_7221,ax2_7222,ax2_7223,ax2_7224,ax2_7225,ax2_7226,ax2_7227,ax2_7228,ax2_7229,ax2_7230,ax2_7231,ax2_7232,ax2_7233,ax2_7234,ax2_7235,ax2_7236,ax2_7237,ax2_7238,ax2_7239,ax2_7240,ax2_7241,ax2_7242,ax2_7243,ax2_7244,ax2_7245,ax2_7246,ax2_7247,ax2_7248,ax2_7249,ax2_7250,ax2_7251,ax2_7252,ax2_7253,ax2_7254,ax2_7255,ax2_7256,ax2_7257,ax2_7258,ax2_7259,ax2_7260,ax2_7261,ax2_7262,ax2_7263,ax2_7264,ax2_7265,ax2_7266,ax2_7267,ax2_7268,ax2_7269,ax2_7270,ax2_7271,ax2_7272,ax2_7273,ax2_7274,ax2_7275,ax2_7276,ax2_7277,ax2_7278,ax2_7279,ax2_7280,ax2_7281,ax2_7282,ax2_7283,ax2_7284,ax2_7285,ax2_7286,ax2_7287,ax2_7288,ax2_7289,ax2_7290,ax2_7291,ax2_7292,ax2_7293,ax2_7294,ax2_7295,ax2_7296,ax2_7297,ax2_7298,ax2_7299,ax2_7300,ax2_7301,ax2_7302,ax2_7303,ax2_7304,ax2_7305,ax2_7306,ax2_7307,ax2_7308,ax2_7309,ax2_7310,ax2_7311,ax2_7312,ax2_7313,ax2_7314,ax2_7315,ax2_7316,ax2_7317,ax2_7318,ax2_7319,ax2_7320,ax2_7321,ax2_7322,ax2_7323,ax2_7324,ax2_7325,ax2_7326,ax2_7327,ax2_7328,ax2_7329,ax2_7330,ax2_7331,ax2_7332,ax2_7333,ax2_7334,ax2_7335,ax2_7336,ax2_7337,ax2_7338,ax2_7339,ax2_7340,ax2_7341,ax2_7342,ax2_7343,ax2_7344,ax2_7345,ax2_7346,ax2_7347,ax2_7348,ax2_7349,ax2_7350,ax2_7351,ax2_7352,ax2_7353,ax2_7354,ax2_7355,ax2_7356,ax2_7357,ax2_7358,ax2_7359,ax2_7360,ax2_7361,ax2_7362,ax2_7363,ax2_7364,ax2_7365,ax2_7366,ax2_7367,ax2_7368,ax2_7369,ax2_7370,ax2_7371,ax2_7372,ax2_7373,ax2_7374,ax2_7375,ax2_7376,ax2_7377,ax2_7378,ax2_7379,ax2_7380,ax2_7381,ax2_7382,ax2_7383,ax2_7384,ax2_7385,ax2_7386,ax2_7387,ax2_7388,ax2_7389,ax2_7390,ax2_7391,ax2_7392,ax2_7393,ax2_7394,ax2_7395,ax2_7396,ax2_7397,ax2_7398,ax2_7399,ax2_7400,ax2_7401,ax2_7402,ax2_7403,ax2_7404,ax2_7405,ax2_7406,ax2_7407,ax2_7408,ax2_7409,ax2_7410,ax2_7411,ax2_7412,ax2_7413,ax2_7414,ax2_7415,ax2_7416,ax2_7417,ax2_7418,ax2_7419,ax2_7420,ax2_7421,ax2_7422,ax2_7423,ax2_7424,ax2_7425,ax2_7426,ax2_7427,ax2_7428,ax2_7429,ax2_7430,ax2_7431,ax2_7432,ax2_7433,ax2_7434,ax2_7435,ax2_7436,ax2_7437,ax2_7438,ax2_7439,ax2_7440,ax2_7441,ax2_7442,ax2_7443,ax2_7444,ax2_7445,ax2_7446,ax2_7447,ax2_7448,ax2_7449,ax2_7450,ax2_7451,ax2_7452,ax2_7453,ax2_7454,ax2_7455,ax2_7456,ax2_7457,ax2_7458,ax2_7459,ax2_7460,ax2_7461,ax2_7462,ax2_7463,ax2_7464,ax2_7465,ax2_7466,ax2_7467,ax2_7468,ax2_7469,ax2_7470,ax2_7471,ax2_7472,ax2_7473,ax2_7474,ax2_7475,ax2_7476,ax2_7477,ax2_7478,ax2_7479,ax2_7480,ax2_7481,ax2_7482,ax2_7483,ax2_7484,ax2_7485,ax2_7486,ax2_7487,ax2_7488,ax2_7489,ax2_7490,ax2_7491,ax2_7492,ax2_7493,ax2_7494,ax2_7495,ax2_7496,ax2_7497,ax2_7498,ax2_7499,ax2_7500,ax2_7501,ax2_7502,ax2_7503,ax2_7504,ax2_7505,ax2_7506,ax2_7507,ax2_7508,ax2_7509,ax2_7510,ax2_7511,ax2_7512,ax2_7513,ax2_7514,ax2_7515,ax2_7516,ax2_7517,ax2_7518,ax2_7519,ax2_7520,ax2_7521,ax2_7522,ax2_7523,ax2_7524,ax2_7525,ax2_7526,ax2_7527,ax2_7528,ax2_7529,ax2_7530,ax2_7531,ax2_7532,ax2_7533,ax2_7534,ax2_7535,ax2_7536,ax2_7537,ax2_7538,ax2_7539,ax2_7540,ax2_7541,ax2_7542,ax2_7543,ax2_7544,ax2_7545,ax2_7546,ax2_7547,ax2_7548,ax2_7549,ax2_7550,ax2_7551,ax2_7552,ax2_7553,ax2_7554,ax2_7555,ax2_7556,ax2_7557,ax2_7558,ax2_7559,ax2_7560,ax2_7561,ax2_7562,ax2_7563,ax2_7564,ax2_7565,ax2_7566,ax2_7567,ax2_7568,ax2_7569,ax2_7570,ax2_7571,ax2_7572,ax2_7573,ax2_7574,ax2_7575,ax2_7576,ax2_7577,ax2_7578,ax2_7579,ax2_7580,ax2_7581,ax2_7582,ax2_7583,ax2_7584,ax2_7585,ax2_7586,ax2_7587,ax2_7588,ax2_7589,ax2_7590,ax2_7591,ax2_7592,ax2_7593,ax2_7594,ax2_7595,ax2_7596,ax2_7597,ax2_7598,ax2_7599,ax2_7600,ax2_7601,ax2_7602,ax2_7603,ax2_7604,ax2_7605,ax2_7606,ax2_7607,ax2_7608,ax2_7609,ax2_7610,ax2_7611,ax2_7612,ax2_7613,ax2_7614,ax2_7615,ax2_7616,ax2_7617,ax2_7618,ax2_7619,ax2_7620,ax2_7621,ax2_7622,ax2_7623,ax2_7624,ax2_7625,ax2_7626,ax2_7627,ax2_7628,ax2_7629,ax2_7630,ax2_7631,ax2_7632,ax2_7633,ax2_7634,ax2_7635,ax2_7636,ax2_7637,ax2_7638,ax2_7639,ax2_7640,ax2_7641,ax2_7642,ax2_7643,ax2_7644,ax2_7645,ax2_7646,ax2_7647,ax2_7648,ax2_7649,ax2_7650,ax2_7651,ax2_7652,ax2_7653,ax2_7654,ax2_7655,ax2_7656,ax2_7657,ax2_7658,ax2_7659,ax2_7660,ax2_7661,ax2_7662,ax2_7663,ax2_7664,ax2_7665,ax2_7666,ax2_7667,ax2_7668,ax2_7669,ax2_7670,ax2_7671,ax2_7672,ax2_7673,ax2_7674,ax2_7675,ax2_7676,ax2_7677,ax2_7678,ax2_7679,ax2_7680,ax2_7681,ax2_7682,ax2_7683,ax2_7684,ax2_7685,ax2_7686,ax2_7687,ax2_7688,ax2_7689,ax2_7690,ax2_7691,ax2_7692,ax2_7693,ax2_7694,ax2_7695,ax2_7696,ax2_7697,ax2_7698,ax2_7699,ax2_7700,ax2_7701,ax2_7702,ax2_7703,ax2_7704,ax2_7705,ax2_7706,ax2_7707,ax2_7708,ax2_7709,ax2_7710,ax2_7711,ax2_7712,ax2_7713,ax2_7714,ax2_7715,ax2_7716,ax2_7717,ax2_7718,ax2_7719,ax2_7720,ax2_7721,ax2_7722,ax2_7723,ax2_7724,ax2_7725,ax2_7726,ax2_7727,ax2_7728,ax2_7729,ax2_7730,ax2_7731,ax2_7732,ax2_7733,ax2_7734,ax2_7735,ax2_7736,ax2_7737,ax2_7738,ax2_7739,ax2_7740,ax2_7741,ax2_7742,ax2_7743,ax2_7744,ax2_7745,ax2_7746,ax2_7747,ax2_7748,ax2_7749,ax2_7750,ax2_7751,ax2_7752,ax2_7753,ax2_7754,ax2_7755,ax2_7756,ax2_7757,ax2_7758,ax2_7759,ax2_7760,ax2_7761,ax2_7762,ax2_7763,ax2_7764,ax2_7765,ax2_7766,ax2_7767,ax2_7768,ax2_7769,ax2_7770,ax2_7771,ax2_7772,ax2_7773,ax2_7774,ax2_7775,ax2_7776,ax2_7777,ax2_7778,ax2_7779,ax2_7780,ax2_7781,ax2_7782,ax2_7783,ax2_7784,ax2_7785,ax2_7786,ax2_7787,ax2_7788,ax2_7789,ax2_7790,ax2_7791,ax2_7792,ax2_7793,ax2_7794,ax2_7795,ax2_7796,ax2_7797,ax2_7798,ax2_7799,ax2_7800,ax2_7801,ax2_7802,ax2_7803,ax2_7804,ax2_7805,ax2_7806,ax2_7807,ax2_7808,ax2_7809,ax2_7810,ax2_7811,ax2_7812,ax2_7813,ax2_7814,ax2_7815,ax2_7816,ax2_7817,ax2_7818,ax2_7819,ax2_7820,ax2_7821,ax2_7822,ax2_7823,ax2_7824,ax2_7825,ax2_7826,ax2_7827,ax2_7828,ax2_7829,ax2_7830,ax2_7831,ax2_7832,ax2_7833,ax2_7834,ax2_7835,ax2_7836,ax2_7837,ax2_7838,ax2_7839,ax2_7840,ax2_7841,ax2_7842,ax2_7843,ax2_7844,ax2_7845,ax2_7846,ax2_7847,ax2_7848,ax2_7849,ax2_7850,ax2_7851,ax2_7852,ax2_7853,ax2_7854,ax2_7855,ax2_7856,ax2_7857,ax2_7858,ax2_7859,ax2_7860,ax2_7861,ax2_7862,ax2_7863,ax2_7864,ax2_7865,ax2_7866,ax2_7867,ax2_7868,ax2_7869,ax2_7870,ax2_7871,ax2_7872,ax2_7873,ax2_7874,ax2_7875,ax2_7876,ax2_7877,ax2_7878,ax2_7879,ax2_7880,ax2_7881,ax2_7882,ax2_7883,ax2_7884,ax2_7885,ax2_7886,ax2_7887,ax2_7888,ax2_7889,ax2_7890,ax2_7891,ax2_7892,ax2_7893,ax2_7894,ax2_7895,ax2_7896,ax2_7897,ax2_7898,ax2_7899,ax2_7900,ax2_7901,ax2_7902,ax2_7903,ax2_7904,ax2_7905,ax2_7906,ax2_7907,ax2_7908,ax2_7909,ax2_7910,ax2_7911,ax2_7912,ax2_7913,ax2_7914,ax2_7915,ax2_7916,ax2_7917,ax2_7918,ax2_7919,ax2_7920,ax2_7921,ax2_7922,ax2_7923,ax2_7924,ax2_7925,ax2_7926,ax2_7927,ax2_7928,ax2_7929,ax2_7930,ax2_7931,ax2_7932,ax2_7933,ax2_7934,ax2_7935,ax2_7936,ax2_7937,ax2_7938,ax2_7939,ax2_7940,ax2_7941,ax2_7942,ax2_7943,ax2_7944,ax2_7945,ax2_7946,ax2_7947,ax2_7948,ax2_7949,ax2_7950,ax2_7951,ax2_7952,ax2_7953,ax2_7954,ax2_7955,ax2_7956,ax2_7957,ax2_7958,ax2_7959,ax2_7960,ax2_7961,ax2_7962,ax2_7963,ax2_7964,ax2_7965,ax2_7966,ax2_7967,ax2_7968,ax2_7969,ax2_7970,ax2_7971,ax2_7972,ax2_7973,ax2_7974,ax2_7975,ax2_7976,ax2_7977,ax2_7978,ax2_7979,ax2_7980,ax2_7981,ax2_7982,ax2_7983,ax2_7984,ax2_7985,ax2_7986,ax2_7987,ax2_7988,ax2_7989,ax2_7990,ax2_7991,ax2_7992,ax2_7993,ax2_7994,ax2_7995,ax2_7996,ax2_7997,ax2_7998,ax2_7999,ax2_8000,ax2_8001,ax2_8002,ax2_8003,ax2_8004,ax2_8005] % 29.50/29.38 =============================================================== % 29.50/29.38 % 29.50/29.38 Combined formula: 8005 axiom(s) => conjecture % 29.50/29.38 % 29.50/29.38 % Equality/functions detected -> nanoCoP oracle mode % 29.50/29.38 nanoCoP : % 29.50/29.38 % 1,541,663 inferences, 23.030 CPU in 23.030 seconds (100% CPU, 66943 Lips) % 29.50/29.38 % 29.50/29.38 % nanoCoP proof (equality/functions) % 29.50/29.38 % nanoCoP proof is given at https://g4-mic.vidal-rosset.net/wasm/tinker via nanocop_proves(Your_Formula). % 29.50/29.38 % 29.50/29.38 % SZS output end Proof %------------------------------------------------------------------------------