%------------------------------------------------------------------------------ % File : G4Plus---1.5.2 % Problem : CSR115+69 : TPTP v9.2.1. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : g4plus.sh /export/starexec/sandbox/benchmark/theBenchmark.p 300 % Computer : n018.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:38 PM UTC 2026 % Result : Theorem 21.48s 21.03s % Output : Proof 21.48s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : CSR115+69 : TPTP v9.2.1. Released v4.0.0. % 0.11/0.13 % Command : g4plus.sh /export/starexec/sandbox/benchmark/theBenchmark.p 300 % 0.16/0.34 % Computer : n018.cluster.edu % 0.16/0.34 % Model : x86_64 x86_64 % 0.16/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.34 % Memory : 8042.1875MB % 0.16/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.34 % CPULimit : 300 % 0.16/0.34 % WCLimit : 300 % 0.16/0.34 % DateTime : Tue May 12 16:02:33 EDT 2026 % 0.16/0.34 % CPUTime : % 21.48/21.03 % SZS status Theorem % 21.48/21.03 % SZS output start Proof % 21.48/21.04 % 21.48/21.04 =============================================================== % 21.48/21.04 TPTP Problem: synth_qa07_007_mira_wp_479 (conjecture with 10188 axiom(s)) % 21.48/21.04 Axioms: [member_first,member_second,has_gener_eq,has_gener_less,def_gener_less_ge,def_gener_less_sp,has_varia_eq,has_varia_less,def_varia_less_var,def_varia_less_con,has_fact_eq,has_fact_less,def_fact_less_real,def_fact_less_nonreal,def_fact_less_hypo,has_refer_eq,has_refer_less,def_refer_less_det,def_refer_less_indet,has_card_eq,has_card_less,has_quant_eq,has_quant_less,has_etype_eq,has_etype_less,sort_leq_from_sort_and_subsort,subsort_reflexive,subsort_transitive,direct_subsort_o_ent,direct_subsort_co_o,direct_subsort_s_co,direct_subsort_d_co,direct_subsort_ab_o,direct_subsort_at_ab,direct_subsort_oa_at,direct_subsort_na_at,direct_subsort_re_ab,direct_subsort_io_ab,direct_subsort_ta_ab,direct_subsort_mo_ab,direct_subsort_abs_ab,direct_subsort_ad_abs,direct_subsort_as_abs,direct_subsort_si_ent,direct_subsort_st_si,direct_subsort_dy_si,direct_subsort_da_dy,direct_subsort_dn_dy,direct_subsort_sd_ent,direct_subsort_t_sd,direct_subsort_md_sd,direct_subsort_l_sd,direct_subsort_ql_ent,direct_subsort_p_ql,direct_subsort_gq_p,direct_subsort_mq_gq,direct_subsort_nq_gq,direct_subsort_tq_p,direct_subsort_rq_ql,direct_subsort_fq_ql,direct_subsort_aq_fq,direct_subsort_oq_fq,direct_subsort_gr_ent,direct_subsort_lg_gr,direct_subsort_ng_gr,direct_subsort_qn_ent,direct_subsort_m_qn,direct_subsort_me_qn,direct_subsort_qf_qn,direct_subsort_nn_qf,direct_subsort_nu_qf,direct_subsort_fe_ent,sub_sub__sub,pred_sub__pred,subs_subs__subs,preds_subs__preds,subs_or_preds_real__stattfinden_1_1,stattfinden_1_1__hsit,hsit_temp_transfer,hsit_loc_transfer,hsit_circ_transfer,temp_rslt_transfer,beh__366rde_1_1_loc__attch_institution_1_1_loc,chea_temp_e__a,chea_temp_a__e,chea_loc_e__a,chea_loc_a__e,chea_circ_e__a,chea_circ_a__e,chea_aff_e__a,chea_aff_a__e,loc__sein_3_2_loc,sein_3_2_loc__loc,attch__assoc_1,loc__geben_1_1_loc,chea_subs_event__abs,chea_subs_abs__event,chea_agt_event__abs,chea_agt_abs__event,chea_obj_event__abs,chea_obj_abs__event,stammen_1_2_aus__kommen_1_1_aus,temp_attr__temp,dircl_in_A_dircl_in_B__A_loc_B,betreten__sein_3_2,w__344hlen_1_2__sub,berufen_1_1__sub,aufrufen_1_1__aufruf_1_1_machen_1_6,aufruf_1_1_lancieren1_1__aufrufen_1_1,propagieren_1_1__aufrufen_1_1,attch_frau_1_1_etc__verheiratet_1_1_mit,abs_event_loc__abs_event_attch_1,rammen_1_1__sto__337en_1_1_gegen_,fin_temp_sit__sit_temp,state_attch__prop_national_1_1,verleihen_1_1__bekommen_1_1,preis_bekommen_1_1__preis_verleihen_1_1,mit_preis_auszeichnen_1_1__verleihen_1_1,preis_verleihen_1_1__auszeichnen_1_1,preis_bekommen_1_1__nominieren_1_1,x_nobelpreis__nobelpreis_f__374r_X,gehen_1_2__verleihen_1_1,f_film_von_regisseur_R__R_regisseur_von_film_F,geburtstag_1_1_feiern_1_1_temp__geboren_temp,prop_adjektiv_ort__in_ort,geburtshaus_loc__geboren_loc,sich_leben_nehmen__sich_t__366ten,t__366ten_1_1__sterben_1_1,erschie__337en_1_1__t__366ten_1_1,verungl__374cken_1_1__sterben_1_1,sterben_1_1__prop_0_tot_1_1,sub_mitglied_1_1_loc_in_institution_1_1__angeh__366ren_1_1,angeh__366ren_1_1__sub_mitglied_1_1_loc_in_institution_1_1,mitgliedschaft_1_1__angeh__366ren_1_1,angeh__366ren_1_1__mitgliedschaft_1_1,person_attch_institution__person_geh__366rt_P_an,partei_adj_prop__partei_angeh__366ren,partei_angeh__366ren__partei_adj_prop,chef_einer_organisation__der_organisation_angeh__366ren,attch_1_obj_transfer,vorsitz_1_1_f__374hren_1_8__vorsitzen_1_1,herrschaft_attch_1_person__unter_person,herrschaft_unter_person__attch_1_person,herrschaft_attch_1__herrscher_1_1,truppen_handeln_im_auftrag,distrib_agt_A_B__A,distrib_obj_A_B__A,itms_symmetry,erkranken_1_1_an_X__X_subs_krankheit_1_1,inhabitant__state_adjective,state_adjective__inhabitant,state__state_adjective,state_adjective__state,in_state__state_adjective,state_adjective__in_state,itms_pred__item_sub,itms_pred__item_pred,drop_first_name_component,attr_name_hei__337en_1_1,attr_name__abk__374rzung_stehen_1_b_f__374r,hei__337en_1_1__bezeichnen_1_1_als,sub__bezeichnen_1_1_als,sub__sub_0_expansion,pmod_oq__sub,pmod_oq__pred,ctxt_sub__c_role_sub,ctxt_pred__c_role_pred,pmod_impl___pmod,prop_impl__prop,agtrel__action_rslt,agtrel__actor_attch_sub,agtrel__actor_attch_pred,scarrel_carrier_attch__state_obj,scarrel_state_obj__carrier_attch,attr_named_entity_type__sub,local_function___flp,name_rel__attr_val_name_1_1,attr_val_name_1_1__name_rel,loc__liegen_1_1_loc,loc__stehen_1_1_loc,stehen_1_1_loc__loc,fact_1,fact_2,fact_3,fact_4,fact_5,fact_6,fact_7,fact_8,fact_9,fact_10,fact_11,fact_12,fact_13,fact_14,fact_15,fact_16,fact_17,fact_18,fact_19,fact_20,fact_21,fact_22,fact_23,fact_24,fact_25,fact_26,fact_27,fact_28,fact_29,fact_30,fact_31,fact_32,fact_33,fact_34,fact_35,fact_36,fact_37,fact_38,fact_39,fact_40,fact_41,fact_42,fact_43,fact_44,fact_45,fact_46,fact_47,fact_48,fact_49,fact_50,fact_51,fact_52,fact_53,fact_54,fact_55,fact_56,fact_57,fact_58,fact_59,fact_60,fact_61,fact_62,fact_63,fact_64,fact_65,fact_66,fact_67,fact_68,fact_69,fact_70,fact_71,fact_72,fact_73,fact_74,fact_75,fact_76,fact_77,fact_78,fact_79,fact_80,fact_81,fact_82,fact_83,fact_84,fact_85,fact_86,fact_87,fact_88,fact_89,fact_90,fact_91,fact_92,fact_93,fact_94,fact_95,fact_96,fact_97,fact_98,fact_99,fact_100,fact_101,fact_102,fact_103,fact_104,fact_105,fact_106,fact_107,fact_108,fact_109,fact_110,fact_111,fact_112,fact_113,fact_114,fact_115,fact_116,fact_117,fact_118,fact_119,fact_120,fact_121,fact_122,fact_123,fact_124,fact_125,fact_126,fact_127,fact_128,fact_129,fact_130,fact_131,fact_132,fact_133,fact_134,fact_135,fact_136,fact_137,fact_138,fact_139,fact_140,fact_141,fact_142,fact_143,fact_144,fact_145,fact_146,fact_147,fact_148,fact_149,fact_150,fact_151,fact_152,fact_153,fact_154,fact_155,fact_156,fact_157,fact_158,fact_159,fact_160,fact_161,fact_162,fact_163,fact_164,fact_165,fact_166,fact_167,fact_168,fact_169,fact_170,fact_171,fact_172,fact_173,fact_174,fact_175,fact_176,fact_177,fact_178,fact_179,fact_180,fact_181,fact_182,fact_183,fact_184,fact_185,fact_186,fact_187,fact_188,fact_189,fact_190,fact_191,fact_192,fact_193,fact_194,fact_195,fact_196,fact_197,fact_198,fact_199,fact_200,fact_201,fact_202,fact_203,fact_204,fact_205,fact_206,fact_207,fact_208,fact_209,fact_210,fact_211,fact_212,fact_213,fact_214,fact_215,fact_216,fact_217,fact_218,fact_219,fact_220,fact_221,fact_222,fact_223,fact_224,fact_225,fact_226,fact_227,fact_228,fact_229,fact_230,fact_231,fact_232,fact_233,fact_234,fact_235,fact_236,fact_237,fact_238,fact_239,fact_240,fact_241,fact_242,fact_243,fact_244,fact_245,fact_246,fact_247,fact_248,fact_249,fact_250,fact_251,fact_252,fact_253,fact_254,fact_255,fact_256,fact_257,fact_258,fact_259,fact_260,fact_261,fact_262,fact_263,fact_264,fact_265,fact_266,fact_267,fact_268,fact_269,fact_270,fact_271,fact_272,fact_273,fact_274,fact_275,fact_276,fact_277,fact_278,fact_279,fact_280,fact_281,fact_282,fact_283,fact_284,fact_285,fact_286,fact_287,fact_288,fact_289,fact_290,fact_291,fact_292,fact_293,fact_294,fact_295,fact_296,fact_297,fact_298,fact_299,fact_300,fact_301,fact_302,fact_303,fact_304,fact_305,fact_306,fact_307,fact_308,fact_309,fact_310,fact_311,fact_312,fact_313,fact_314,fact_315,fact_316,fact_317,fact_318,fact_319,fact_320,fact_321,fact_322,fact_323,fact_324,fact_325,fact_326,fact_327,fact_328,fact_329,fact_330,fact_331,fact_332,fact_333,fact_334,fact_335,fact_336,fact_337,fact_338,fact_339,fact_340,fact_341,fact_342,fact_343,fact_344,fact_345,fact_346,fact_347,fact_348,fact_349,fact_350,fact_351,fact_352,fact_353,fact_354,fact_355,fact_356,fact_357,fact_358,fact_359,fact_360,fact_361,fact_362,fact_363,fact_364,fact_365,fact_366,fact_367,fact_368,fact_369,fact_370,fact_371,fact_372,fact_373,fact_374,fact_375,fact_376,fact_377,fact_378,fact_379,fact_380,fact_381,fact_382,fact_383,fact_384,fact_385,fact_386,fact_387,fact_388,fact_389,fact_390,fact_391,fact_392,fact_393,fact_394,fact_395,fact_396,fact_397,fact_398,fact_399,fact_400,fact_401,fact_402,fact_403,fact_404,fact_405,fact_406,fact_407,fact_408,fact_409,fact_410,fact_411,fact_412,fact_413,fact_414,fact_415,fact_416,fact_417,fact_418,fact_419,fact_420,fact_421,fact_422,fact_423,fact_424,fact_425,fact_426,fact_427,fact_428,fact_429,fact_430,fact_431,fact_432,fact_433,fact_434,fact_435,fact_436,fact_437,fact_438,fact_439,fact_440,fact_441,fact_442,fact_443,fact_444,fact_445,fact_446,fact_447,fact_448,fact_449,fact_450,fact_451,fact_452,fact_453,fact_454,fact_455,fact_456,fact_457,fact_458,fact_459,fact_460,fact_461,fact_462,fact_463,fact_464,fact_465,fact_466,fact_467,fact_468,fact_469,fact_470,fact_471,fact_472,fact_473,fact_474,fact_475,fact_476,fact_477,fact_478,fact_479,fact_480,fact_481,fact_482,fact_483,fact_484,fact_485,fact_486,fact_487,fact_488,fact_489,fact_490,fact_491,fact_492,fact_493,fact_494,fact_495,fact_496,fact_497,fact_498,fact_499,fact_500,fact_501,fact_502,fact_503,fact_504,fact_505,fact_506,fact_507,fact_508,fact_509,fact_510,fact_511,fact_512,fact_513,fact_514,fact_515,fact_516,fact_517,fact_518,fact_519,fact_520,fact_521,fact_522,fact_523,fact_524,fact_525,fact_526,fact_527,fact_528,fact_529,fact_530,fact_531,fact_532,fact_533,fact_534,fact_535,fact_536,fact_537,fact_538,fact_539,fact_540,fact_541,fact_542,fact_543,fact_544,fact_545,fact_546,fact_547,fact_548,fact_549,fact_550,fact_551,fact_552,fact_553,fact_554,fact_555,fact_556,fact_557,fact_558,fact_559,fact_560,fact_561,fact_562,fact_563,fact_564,fact_565,fact_566,fact_567,fact_568,fact_569,fact_570,fact_571,fact_572,fact_573,fact_574,fact_575,fact_576,fact_577,fact_578,fact_579,fact_580,fact_581,fact_582,fact_583,fact_584,fact_585,fact_586,fact_587,fact_588,fact_589,fact_590,fact_591,fact_592,fact_593,fact_594,fact_595,fact_596,fact_597,fact_598,fact_599,fact_600,fact_601,fact_602,fact_603,fact_604,fact_605,fact_606,fact_607,fact_608,fact_609,fact_610,fact_611,fact_612,fact_613,fact_614,fact_615,fact_616,fact_617,fact_618,fact_619,fact_620,fact_621,fact_622,fact_623,fact_624,fact_625,fact_626,fact_627,fact_628,fact_629,fact_630,fact_631,fact_632,fact_633,fact_634,fact_635,fact_636,fact_637,fact_638,fact_639,fact_640,fact_641,fact_642,fact_643,fact_644,fact_645,fact_646,fact_647,fact_648,fact_649,fact_650,fact_651,fact_652,fact_653,fact_654,fact_655,fact_656,fact_657,fact_658,fact_659,fact_660,fact_661,fact_662,fact_663,fact_664,fact_665,fact_666,fact_667,fact_668,fact_669,fact_670,fact_671,fact_672,fact_673,fact_674,fact_675,fact_676,fact_677,fact_678,fact_679,fact_680,fact_681,fact_682,fact_683,fact_684,fact_685,fact_686,fact_687,fact_688,fact_689,fact_690,fact_691,fact_692,fact_693,fact_694,fact_695,fact_696,fact_697,fact_698,fact_699,fact_700,fact_701,fact_702,fact_703,fact_704,fact_705,fact_706,fact_707,fact_708,fact_709,fact_710,fact_711,fact_712,fact_713,fact_714,fact_715,fact_716,fact_717,fact_718,fact_719,fact_720,fact_721,fact_722,fact_723,fact_724,fact_725,fact_726,fact_727,fact_728,fact_729,fact_730,fact_731,fact_732,fact_733,fact_734,fact_735,fact_736,fact_737,fact_738,fact_739,fact_740,fact_741,fact_742,fact_743,fact_744,fact_745,fact_746,fact_747,fact_748,fact_749,fact_750,fact_751,fact_752,fact_753,fact_754,fact_755,fact_756,fact_757,fact_758,fact_759,fact_760,fact_761,fact_762,fact_763,fact_764,fact_765,fact_766,fact_767,fact_768,fact_769,fact_770,fact_771,fact_772,fact_773,fact_774,fact_775,fact_776,fact_777,fact_778,fact_779,fact_780,fact_781,fact_782,fact_783,fact_784,fact_785,fact_786,fact_787,fact_788,fact_789,fact_790,fact_791,fact_792,fact_793,fact_794,fact_795,fact_796,fact_797,fact_798,fact_799,fact_800,fact_801,fact_802,fact_803,fact_804,fact_805,fact_806,fact_807,fact_808,fact_809,fact_810,fact_811,fact_812,fact_813,fact_814,fact_815,fact_816,fact_817,fact_818,fact_819,fact_820,fact_821,fact_822,fact_823,fact_824,fact_825,fact_826,fact_827,fact_828,fact_829,fact_830,fact_831,fact_832,fact_833,fact_834,fact_835,fact_836,fact_837,fact_838,fact_839,fact_840,fact_841,fact_842,fact_843,fact_844,fact_845,fact_846,fact_847,fact_848,fact_849,fact_850,fact_851,fact_852,fact_853,fact_854,fact_855,fact_856,fact_857,fact_858,fact_859,fact_860,fact_861,fact_862,fact_863,fact_864,fact_865,fact_866,fact_867,fact_868,fact_869,fact_870,fact_871,fact_872,fact_873,fact_874,fact_875,fact_876,fact_877,fact_878,fact_879,fact_880,fact_881,fact_882,fact_883,fact_884,fact_885,fact_886,fact_887,fact_888,fact_889,fact_890,fact_891,fact_892,fact_893,fact_894,fact_895,fact_896,fact_897,fact_898,fact_899,fact_900,fact_901,fact_902,fact_903,fact_904,fact_905,fact_906,fact_907,fact_908,fact_909,fact_910,fact_911,fact_912,fact_913,fact_914,fact_915,fact_916,fact_917,fact_918,fact_919,fact_920,fact_921,fact_922,fact_923,fact_924,fact_925,fact_926,fact_927,fact_928,fact_929,fact_930,fact_931,fact_932,fact_933,fact_934,fact_935,fact_936,fact_937,fact_938,fact_939,fact_940,fact_941,fact_942,fact_943,fact_944,fact_945,fact_946,fact_947,fact_948,fact_949,fact_950,fact_951,fact_952,fact_953,fact_954,fact_955,fact_956,fact_957,fact_958,fact_959,fact_960,fact_961,fact_962,fact_963,fact_964,fact_965,fact_966,fact_967,fact_968,fact_969,fact_970,fact_971,fact_972,fact_973,fact_974,fact_975,fact_976,fact_977,fact_978,fact_979,fact_980,fact_981,fact_982,fact_983,fact_984,fact_985,fact_986,fact_987,fact_988,fact_989,fact_990,fact_991,fact_992,fact_993,fact_994,fact_995,fact_996,fact_997,fact_998,fact_999,fact_1000,fact_1001,fact_1002,fact_1003,fact_1004,fact_1005,fact_1006,fact_1007,fact_1008,fact_1009,fact_1010,fact_1011,fact_1012,fact_1013,fact_1014,fact_1015,fact_1016,fact_1017,fact_1018,fact_1019,fact_1020,fact_1021,fact_1022,fact_1023,fact_1024,fact_1025,fact_1026,fact_1027,fact_1028,fact_1029,fact_1030,fact_1031,fact_1032,fact_1033,fact_1034,fact_1035,fact_1036,fact_1037,fact_1038,fact_1039,fact_1040,fact_1041,fact_1042,fact_1043,fact_1044,fact_1045,fact_1046,fact_1047,fact_1048,fact_1049,fact_1050,fact_1051,fact_1052,fact_1053,fact_1054,fact_1055,fact_1056,fact_1057,fact_1058,fact_1059,fact_1060,fact_1061,fact_1062,fact_1063,fact_1064,fact_1065,fact_1066,fact_1067,fact_1068,fact_1069,fact_1070,fact_1071,fact_1072,fact_1073,fact_1074,fact_1075,fact_1076,fact_1077,fact_1078,fact_1079,fact_1080,fact_1081,fact_1082,fact_1083,fact_1084,fact_1085,fact_1086,fact_1087,fact_1088,fact_1089,fact_1090,fact_1091,fact_1092,fact_1093,fact_1094,fact_1095,fact_1096,fact_1097,fact_1098,fact_1099,fact_1100,fact_1101,fact_1102,fact_1103,fact_1104,fact_1105,fact_1106,fact_1107,fact_1108,fact_1109,fact_1110,fact_1111,fact_1112,fact_1113,fact_1114,fact_1115,fact_1116,fact_1117,fact_1118,fact_1119,fact_1120,fact_1121,fact_1122,fact_1123,fact_1124,fact_1125,fact_1126,fact_1127,fact_1128,fact_1129,fact_1130,fact_1131,fact_1132,fact_1133,fact_1134,fact_1135,fact_1136,fact_1137,fact_1138,fact_1139,fact_1140,fact_1141,fact_1142,fact_1143,fact_1144,fact_1145,fact_1146,fact_1147,fact_1148,fact_1149,fact_1150,fact_1151,fact_1152,fact_1153,fact_1154,fact_1155,fact_1156,fact_1157,fact_1158,fact_1159,fact_1160,fact_1161,fact_1162,fact_1163,fact_1164,fact_1165,fact_1166,fact_1167,fact_1168,fact_1169,fact_1170,fact_1171,fact_1172,fact_1173,fact_1174,fact_1175,fact_1176,fact_1177,fact_1178,fact_1179,fact_1180,fact_1181,fact_1182,fact_1183,fact_1184,fact_1185,fact_1186,fact_1187,fact_1188,fact_1189,fact_1190,fact_1191,fact_1192,fact_1193,fact_1194,fact_1195,fact_1196,fact_1197,fact_1198,fact_1199,fact_1200,fact_1201,fact_1202,fact_1203,fact_1204,fact_1205,fact_1206,fact_1207,fact_1208,fact_1209,fact_1210,fact_1211,fact_1212,fact_1213,fact_1214,fact_1215,fact_1216,fact_1217,fact_1218,fact_1219,fact_1220,fact_1221,fact_1222,fact_1223,fact_1224,fact_1225,fact_1226,fact_1227,fact_1228,fact_1229,fact_1230,fact_1231,fact_1232,fact_1233,fact_1234,fact_1235,fact_1236,fact_1237,fact_1238,fact_1239,fact_1240,fact_1241,fact_1242,fact_1243,fact_1244,fact_1245,fact_1246,fact_1247,fact_1248,fact_1249,fact_1250,fact_1251,fact_1252,fact_1253,fact_1254,fact_1255,fact_1256,fact_1257,fact_1258,fact_1259,fact_1260,fact_1261,fact_1262,fact_1263,fact_1264,fact_1265,fact_1266,fact_1267,fact_1268,fact_1269,fact_1270,fact_1271,fact_1272,fact_1273,fact_1274,fact_1275,fact_1276,fact_1277,fact_1278,fact_1279,fact_1280,fact_1281,fact_1282,fact_1283,fact_1284,fact_1285,fact_1286,fact_1287,fact_1288,fact_1289,fact_1290,fact_1291,fact_1292,fact_1293,fact_1294,fact_1295,fact_1296,fact_1297,fact_1298,fact_1299,fact_1300,fact_1301,fact_1302,fact_1303,fact_1304,fact_1305,fact_1306,fact_1307,fact_1308,fact_1309,fact_1310,fact_1311,fact_1312,fact_1313,fact_1314,fact_1315,fact_1316,fact_1317,fact_1318,fact_1319,fact_1320,fact_1321,fact_1322,fact_1323,fact_1324,fact_1325,fact_1326,fact_1327,fact_1328,fact_1329,fact_1330,fact_1331,fact_1332,fact_1333,fact_1334,fact_1335,fact_1336,fact_1337,fact_1338,fact_1339,fact_1340,fact_1341,fact_1342,fact_1343,fact_1344,fact_1345,fact_1346,fact_1347,fact_1348,fact_1349,fact_1350,fact_1351,fact_1352,fact_1353,fact_1354,fact_1355,fact_1356,fact_1357,fact_1358,fact_1359,fact_1360,fact_1361,fact_1362,fact_1363,fact_1364,fact_1365,fact_1366,fact_1367,fact_1368,fact_1369,fact_1370,fact_1371,fact_1372,fact_1373,fact_1374,fact_1375,fact_1376,fact_1377,fact_1378,fact_1379,fact_1380,fact_1381,fact_1382,fact_1383,fact_1384,fact_1385,fact_1386,fact_1387,fact_1388,fact_1389,fact_1390,fact_1391,fact_1392,fact_1393,fact_1394,fact_1395,fact_1396,fact_1397,fact_1398,fact_1399,fact_1400,fact_1401,fact_1402,fact_1403,fact_1404,fact_1405,fact_1406,fact_1407,fact_1408,fact_1409,fact_1410,fact_1411,fact_1412,fact_1413,fact_1414,fact_1415,fact_1416,fact_1417,fact_1418,fact_1419,fact_1420,fact_1421,fact_1422,fact_1423,fact_1424,fact_1425,fact_1426,fact_1427,fact_1428,fact_1429,fact_1430,fact_1431,fact_1432,fact_1433,fact_1434,fact_1435,fact_1436,fact_1437,fact_1438,fact_1439,fact_1440,fact_1441,fact_1442,fact_1443,fact_1444,fact_1445,fact_1446,fact_1447,fact_1448,fact_1449,fact_1450,fact_1451,fact_1452,fact_1453,fact_1454,fact_1455,fact_1456,fact_1457,fact_1458,fact_1459,fact_1460,fact_1461,fact_1462,fact_1463,fact_1464,fact_1465,fact_1466,fact_1467,fact_1468,fact_1469,fact_1470,fact_1471,fact_1472,fact_1473,fact_1474,fact_1475,fact_1476,fact_1477,fact_1478,fact_1479,fact_1480,fact_1481,fact_1482,fact_1483,fact_1484,fact_1485,fact_1486,fact_1487,fact_1488,fact_1489,fact_1490,fact_1491,fact_1492,fact_1493,fact_1494,fact_1495,fact_1496,fact_1497,fact_1498,fact_1499,fact_1500,fact_1501,fact_1502,fact_1503,fact_1504,fact_1505,fact_1506,fact_1507,fact_1508,fact_1509,fact_1510,fact_1511,fact_1512,fact_1513,fact_1514,fact_1515,fact_1516,fact_1517,fact_1518,fact_1519,fact_1520,fact_1521,fact_1522,fact_1523,fact_1524,fact_1525,fact_1526,fact_1527,fact_1528,fact_1529,fact_1530,fact_1531,fact_1532,fact_1533,fact_1534,fact_1535,fact_1536,fact_1537,fact_1538,fact_1539,fact_1540,fact_1541,fact_1542,fact_1543,fact_1544,fact_1545,fact_1546,fact_1547,fact_1548,fact_1549,fact_1550,fact_1551,fact_1552,fact_1553,fact_1554,fact_1555,fact_1556,fact_1557,fact_1558,fact_1559,fact_1560,fact_1561,fact_1562,fact_1563,fact_1564,fact_1565,fact_1566,fact_1567,fact_1568,fact_1569,fact_1570,fact_1571,fact_1572,fact_1573,fact_1574,fact_1575,fact_1576,fact_1577,fact_1578,fact_1579,fact_1580,fact_1581,fact_1582,fact_1583,fact_1584,fact_1585,fact_1586,fact_1587,fact_1588,fact_1589,fact_1590,fact_1591,fact_1592,fact_1593,fact_1594,fact_1595,fact_1596,fact_1597,fact_1598,fact_1599,fact_1600,fact_1601,fact_1602,fact_1603,fact_1604,fact_1605,fact_1606,fact_1607,fact_1608,fact_1609,fact_1610,fact_1611,fact_1612,fact_1613,fact_1614,fact_1615,fact_1616,fact_1617,fact_1618,fact_1619,fact_1620,fact_1621,fact_1622,fact_1623,fact_1624,fact_1625,fact_1626,fact_1627,fact_1628,fact_1629,fact_1630,fact_1631,fact_1632,fact_1633,fact_1634,fact_1635,fact_1636,fact_1637,fact_1638,fact_1639,fact_1640,fact_1641,fact_1642,fact_1643,fact_1644,fact_1645,fact_1646,fact_1647,fact_1648,fact_1649,fact_1650,fact_1651,fact_1652,fact_1653,fact_1654,fact_1655,fact_1656,fact_1657,fact_1658,fact_1659,fact_1660,fact_1661,fact_1662,fact_1663,fact_1664,fact_1665,fact_1666,fact_1667,fact_1668,fact_1669,fact_1670,fact_1671,fact_1672,fact_1673,fact_1674,fact_1675,fact_1676,fact_1677,fact_1678,fact_1679,fact_1680,fact_1681,fact_1682,fact_1683,fact_1684,fact_1685,fact_1686,fact_1687,fact_1688,fact_1689,fact_1690,fact_1691,fact_1692,fact_1693,fact_1694,fact_1695,fact_1696,fact_1697,fact_1698,fact_1699,fact_1700,fact_1701,fact_1702,fact_1703,fact_1704,fact_1705,fact_1706,fact_1707,fact_1708,fact_1709,fact_1710,fact_1711,fact_1712,fact_1713,fact_1714,fact_1715,fact_1716,fact_1717,fact_1718,fact_1719,fact_1720,fact_1721,fact_1722,fact_1723,fact_1724,fact_1725,fact_1726,fact_1727,fact_1728,fact_1729,fact_1730,fact_1731,fact_1732,fact_1733,fact_1734,fact_1735,fact_1736,fact_1737,fact_1738,fact_1739,fact_1740,fact_1741,fact_1742,fact_1743,fact_1744,fact_1745,fact_1746,fact_1747,fact_1748,fact_1749,fact_1750,fact_1751,fact_1752,fact_1753,fact_1754,fact_1755,fact_1756,fact_1757,fact_1758,fact_1759,fact_1760,fact_1761,fact_1762,fact_1763,fact_1764,fact_1765,fact_1766,fact_1767,fact_1768,fact_1769,fact_1770,fact_1771,fact_1772,fact_1773,fact_1774,fact_1775,fact_1776,fact_1777,fact_1778,fact_1779,fact_1780,fact_1781,fact_1782,fact_1783,fact_1784,fact_1785,fact_1786,fact_1787,fact_1788,fact_1789,fact_1790,fact_1791,fact_1792,fact_1793,fact_1794,fact_1795,fact_1796,fact_1797,fact_1798,fact_1799,fact_1800,fact_1801,fact_1802,fact_1803,fact_1804,fact_1805,fact_1806,fact_1807,fact_1808,fact_1809,fact_1810,fact_1811,fact_1812,fact_1813,fact_1814,fact_1815,fact_1816,fact_1817,fact_1818,fact_1819,fact_1820,fact_1821,fact_1822,fact_1823,fact_1824,fact_1825,fact_1826,fact_1827,fact_1828,fact_1829,fact_1830,fact_1831,fact_1832,fact_1833,fact_1834,fact_1835,fact_1836,fact_1837,fact_1838,fact_1839,fact_1840,fact_1841,fact_1842,fact_1843,fact_1844,fact_1845,fact_1846,fact_1847,fact_1848,fact_1849,fact_1850,fact_1851,fact_1852,fact_1853,fact_1854,fact_1855,fact_1856,fact_1857,fact_1858,fact_1859,fact_1860,fact_1861,fact_1862,fact_1863,fact_1864,fact_1865,fact_1866,fact_1867,fact_1868,fact_1869,fact_1870,fact_1871,fact_1872,fact_1873,fact_1874,fact_1875,fact_1876,fact_1877,fact_1878,fact_1879,fact_1880,fact_1881,fact_1882,fact_1883,fact_1884,fact_1885,fact_1886,fact_1887,fact_1888,fact_1889,fact_1890,fact_1891,fact_1892,fact_1893,fact_1894,fact_1895,fact_1896,fact_1897,fact_1898,fact_1899,fact_1900,fact_1901,fact_1902,fact_1903,fact_1904,fact_1905,fact_1906,fact_1907,fact_1908,fact_1909,fact_1910,fact_1911,fact_1912,fact_1913,fact_1914,fact_1915,fact_1916,fact_1917,fact_1918,fact_1919,fact_1920,fact_1921,fact_1922,fact_1923,fact_1924,fact_1925,fact_1926,fact_1927,fact_1928,fact_1929,fact_1930,fact_1931,fact_1932,fact_1933,fact_1934,fact_1935,fact_1936,fact_1937,fact_1938,fact_1939,fact_1940,fact_1941,fact_1942,fact_1943,fact_1944,fact_1945,fact_1946,fact_1947,fact_1948,fact_1949,fact_1950,fact_1951,fact_1952,fact_1953,fact_1954,fact_1955,fact_1956,fact_1957,fact_1958,fact_1959,fact_1960,fact_1961,fact_1962,fact_1963,fact_1964,fact_1965,fact_1966,fact_1967,fact_1968,fact_1969,fact_1970,fact_1971,fact_1972,fact_1973,fact_1974,fact_1975,fact_1976,fact_1977,fact_1978,fact_1979,fact_1980,fact_1981,fact_1982,fact_1983,fact_1984,fact_1985,fact_1986,fact_1987,fact_1988,fact_1989,fact_1990,fact_1991,fact_1992,fact_1993,fact_1994,fact_1995,fact_1996,fact_1997,fact_1998,fact_1999,fact_2000,fact_2001,fact_2002,fact_2003,fact_2004,fact_2005,fact_2006,fact_2007,fact_2008,fact_2009,fact_2010,fact_2011,fact_2012,fact_2013,fact_2014,fact_2015,fact_2016,fact_2017,fact_2018,fact_2019,fact_2020,fact_2021,fact_2022,fact_2023,fact_2024,fact_2025,fact_2026,fact_2027,fact_2028,fact_2029,fact_2030,fact_2031,fact_2032,fact_2033,fact_2034,fact_2035,fact_2036,fact_2037,fact_2038,fact_2039,fact_2040,fact_2041,fact_2042,fact_2043,fact_2044,fact_2045,fact_2046,fact_2047,fact_2048,fact_2049,fact_2050,fact_2051,fact_2052,fact_2053,fact_2054,fact_2055,fact_2056,fact_2057,fact_2058,fact_2059,fact_2060,fact_2061,fact_2062,fact_2063,fact_2064,fact_2065,fact_2066,fact_2067,fact_2068,fact_2069,fact_2070,fact_2071,fact_2072,fact_2073,fact_2074,fact_2075,fact_2076,fact_2077,fact_2078,fact_2079,fact_2080,fact_2081,fact_2082,fact_2083,fact_2084,fact_2085,fact_2086,fact_2087,fact_2088,fact_2089,fact_2090,fact_2091,fact_2092,fact_2093,fact_2094,fact_2095,fact_2096,fact_2097,fact_2098,fact_2099,fact_2100,fact_2101,fact_2102,fact_2103,fact_2104,fact_2105,fact_2106,fact_2107,fact_2108,fact_2109,fact_2110,fact_2111,fact_2112,fact_2113,fact_2114,fact_2115,fact_2116,fact_2117,fact_2118,fact_2119,fact_2120,fact_2121,fact_2122,fact_2123,fact_2124,fact_2125,fact_2126,fact_2127,fact_2128,fact_2129,fact_2130,fact_2131,fact_2132,fact_2133,fact_2134,fact_2135,fact_2136,fact_2137,fact_2138,fact_2139,fact_2140,fact_2141,fact_2142,fact_2143,fact_2144,fact_2145,fact_2146,fact_2147,fact_2148,fact_2149,fact_2150,fact_2151,fact_2152,fact_2153,fact_2154,fact_2155,fact_2156,fact_2157,fact_2158,fact_2159,fact_2160,fact_2161,fact_2162,fact_2163,fact_2164,fact_2165,fact_2166,fact_2167,fact_2168,fact_2169,fact_2170,fact_2171,fact_2172,fact_2173,fact_2174,fact_2175,fact_2176,fact_2177,fact_2178,fact_2179,fact_2180,fact_2181,fact_2182,fact_2183,fact_2184,fact_2185,fact_2186,fact_2187,fact_2188,fact_2189,fact_2190,fact_2191,fact_2192,fact_2193,fact_2194,fact_2195,fact_2196,fact_2197,fact_2198,fact_2199,fact_2200,fact_2201,fact_2202,fact_2203,fact_2204,fact_2205,fact_2206,fact_2207,fact_2208,fact_2209,fact_2210,fact_2211,fact_2212,fact_2213,fact_2214,fact_2215,fact_2216,fact_2217,fact_2218,fact_2219,fact_2220,fact_2221,fact_2222,fact_2223,fact_2224,fact_2225,fact_2226,fact_2227,fact_2228,fact_2229,fact_2230,fact_2231,fact_2232,fact_2233,fact_2234,fact_2235,fact_2236,fact_2237,fact_2238,fact_2239,fact_2240,fact_2241,fact_2242,fact_2243,fact_2244,fact_2245,fact_2246,fact_2247,fact_2248,fact_2249,fact_2250,fact_2251,fact_2252,fact_2253,fact_2254,fact_2255,fact_2256,fact_2257,fact_2258,fact_2259,fact_2260,fact_2261,fact_2262,fact_2263,fact_2264,fact_2265,fact_2266,fact_2267,fact_2268,fact_2269,fact_2270,fact_2271,fact_2272,fact_2273,fact_2274,fact_2275,fact_2276,fact_2277,fact_2278,fact_2279,fact_2280,fact_2281,fact_2282,fact_2283,fact_2284,fact_2285,fact_2286,fact_2287,fact_2288,fact_2289,fact_2290,fact_2291,fact_2292,fact_2293,fact_2294,fact_2295,fact_2296,fact_2297,fact_2298,fact_2299,fact_2300,fact_2301,fact_2302,fact_2303,fact_2304,fact_2305,fact_2306,fact_2307,fact_2308,fact_2309,fact_2310,fact_2311,fact_2312,fact_2313,fact_2314,fact_2315,fact_2316,fact_2317,fact_2318,fact_2319,fact_2320,fact_2321,fact_2322,fact_2323,fact_2324,fact_2325,fact_2326,fact_2327,fact_2328,fact_2329,fact_2330,fact_2331,fact_2332,fact_2333,fact_2334,fact_2335,fact_2336,fact_2337,fact_2338,fact_2339,fact_2340,fact_2341,fact_2342,fact_2343,fact_2344,fact_2345,fact_2346,fact_2347,fact_2348,fact_2349,fact_2350,fact_2351,fact_2352,fact_2353,fact_2354,fact_2355,fact_2356,fact_2357,fact_2358,fact_2359,fact_2360,fact_2361,fact_2362,fact_2363,fact_2364,fact_2365,fact_2366,fact_2367,fact_2368,fact_2369,fact_2370,fact_2371,fact_2372,fact_2373,fact_2374,fact_2375,fact_2376,fact_2377,fact_2378,fact_2379,fact_2380,fact_2381,fact_2382,fact_2383,fact_2384,fact_2385,fact_2386,fact_2387,fact_2388,fact_2389,fact_2390,fact_2391,fact_2392,fact_2393,fact_2394,fact_2395,fact_2396,fact_2397,fact_2398,fact_2399,fact_2400,fact_2401,fact_2402,fact_2403,fact_2404,fact_2405,fact_2406,fact_2407,fact_2408,fact_2409,fact_2410,fact_2411,fact_2412,fact_2413,fact_2414,fact_2415,fact_2416,fact_2417,fact_2418,fact_2419,fact_2420,fact_2421,fact_2422,fact_2423,fact_2424,fact_2425,fact_2426,fact_2427,fact_2428,fact_2429,fact_2430,fact_2431,fact_2432,fact_2433,fact_2434,fact_2435,fact_2436,fact_2437,fact_2438,fact_2439,fact_2440,fact_2441,fact_2442,fact_2443,fact_2444,fact_2445,fact_2446,fact_2447,fact_2448,fact_2449,fact_2450,fact_2451,fact_2452,fact_2453,fact_2454,fact_2455,fact_2456,fact_2457,fact_2458,fact_2459,fact_2460,fact_2461,fact_2462,fact_2463,fact_2464,fact_2465,fact_2466,fact_2467,fact_2468,fact_2469,fact_2470,fact_2471,fact_2472,fact_2473,fact_2474,fact_2475,fact_2476,fact_2477,fact_2478,fact_2479,fact_2480,fact_2481,fact_2482,fact_2483,fact_2484,fact_2485,fact_2486,fact_2487,fact_2488,fact_2489,fact_2490,fact_2491,fact_2492,fact_2493,fact_2494,fact_2495,fact_2496,fact_2497,fact_2498,fact_2499,fact_2500,fact_2501,fact_2502,fact_2503,fact_2504,fact_2505,fact_2506,fact_2507,fact_2508,fact_2509,fact_2510,fact_2511,fact_2512,fact_2513,fact_2514,fact_2515,fact_2516,fact_2517,fact_2518,fact_2519,fact_2520,fact_2521,fact_2522,fact_2523,fact_2524,fact_2525,fact_2526,fact_2527,fact_2528,fact_2529,fact_2530,fact_2531,fact_2532,fact_2533,fact_2534,fact_2535,fact_2536,fact_2537,fact_2538,fact_2539,fact_2540,fact_2541,fact_2542,fact_2543,fact_2544,fact_2545,fact_2546,fact_2547,fact_2548,fact_2549,fact_2550,fact_2551,fact_2552,fact_2553,fact_2554,fact_2555,fact_2556,fact_2557,fact_2558,fact_2559,fact_2560,fact_2561,fact_2562,fact_2563,fact_2564,fact_2565,fact_2566,fact_2567,fact_2568,fact_2569,fact_2570,fact_2571,fact_2572,fact_2573,fact_2574,fact_2575,fact_2576,fact_2577,fact_2578,fact_2579,fact_2580,fact_2581,fact_2582,fact_2583,fact_2584,fact_2585,fact_2586,fact_2587,fact_2588,fact_2589,fact_2590,fact_2591,fact_2592,fact_2593,fact_2594,fact_2595,fact_2596,fact_2597,fact_2598,fact_2599,fact_2600,fact_2601,fact_2602,fact_2603,fact_2604,fact_2605,fact_2606,fact_2607,fact_2608,fact_2609,fact_2610,fact_2611,fact_2612,fact_2613,fact_2614,fact_2615,fact_2616,fact_2617,fact_2618,fact_2619,fact_2620,fact_2621,fact_2622,fact_2623,fact_2624,fact_2625,fact_2626,fact_2627,fact_2628,fact_2629,fact_2630,fact_2631,fact_2632,fact_2633,fact_2634,fact_2635,fact_2636,fact_2637,fact_2638,fact_2639,fact_2640,fact_2641,fact_2642,fact_2643,fact_2644,fact_2645,fact_2646,fact_2647,fact_2648,fact_2649,fact_2650,fact_2651,fact_2652,fact_2653,fact_2654,fact_2655,fact_2656,fact_2657,fact_2658,fact_2659,fact_2660,fact_2661,fact_2662,fact_2663,fact_2664,fact_2665,fact_2666,fact_2667,fact_2668,fact_2669,fact_2670,fact_2671,fact_2672,fact_2673,fact_2674,fact_2675,fact_2676,fact_2677,fact_2678,fact_2679,fact_2680,fact_2681,fact_2682,fact_2683,fact_2684,fact_2685,fact_2686,fact_2687,fact_2688,fact_2689,fact_2690,fact_2691,fact_2692,fact_2693,fact_2694,fact_2695,fact_2696,fact_2697,fact_2698,fact_2699,fact_2700,fact_2701,fact_2702,fact_2703,fact_2704,fact_2705,fact_2706,fact_2707,fact_2708,fact_2709,fact_2710,fact_2711,fact_2712,fact_2713,fact_2714,fact_2715,fact_2716,fact_2717,fact_2718,fact_2719,fact_2720,fact_2721,fact_2722,fact_2723,fact_2724,fact_2725,fact_2726,fact_2727,fact_2728,fact_2729,fact_2730,fact_2731,fact_2732,fact_2733,fact_2734,fact_2735,fact_2736,fact_2737,fact_2738,fact_2739,fact_2740,fact_2741,fact_2742,fact_2743,fact_2744,fact_2745,fact_2746,fact_2747,fact_2748,fact_2749,fact_2750,fact_2751,fact_2752,fact_2753,fact_2754,fact_2755,fact_2756,fact_2757,fact_2758,fact_2759,fact_2760,fact_2761,fact_2762,fact_2763,fact_2764,fact_2765,fact_2766,fact_2767,fact_2768,fact_2769,fact_2770,fact_2771,fact_2772,fact_2773,fact_2774,fact_2775,fact_2776,fact_2777,fact_2778,fact_2779,fact_2780,fact_2781,fact_2782,fact_2783,fact_2784,fact_2785,fact_2786,fact_2787,fact_2788,fact_2789,fact_2790,fact_2791,fact_2792,fact_2793,fact_2794,fact_2795,fact_2796,fact_2797,fact_2798,fact_2799,fact_2800,fact_2801,fact_2802,fact_2803,fact_2804,fact_2805,fact_2806,fact_2807,fact_2808,fact_2809,fact_2810,fact_2811,fact_2812,fact_2813,fact_2814,fact_2815,fact_2816,fact_2817,fact_2818,fact_2819,fact_2820,fact_2821,fact_2822,fact_2823,fact_2824,fact_2825,fact_2826,fact_2827,fact_2828,fact_2829,fact_2830,fact_2831,fact_2832,fact_2833,fact_2834,fact_2835,fact_2836,fact_2837,fact_2838,fact_2839,fact_2840,fact_2841,fact_2842,fact_2843,fact_2844,fact_2845,fact_2846,fact_2847,fact_2848,fact_2849,fact_2850,fact_2851,fact_2852,fact_2853,fact_2854,fact_2855,fact_2856,fact_2857,fact_2858,fact_2859,fact_2860,fact_2861,fact_2862,fact_2863,fact_2864,fact_2865,fact_2866,fact_2867,fact_2868,fact_2869,fact_2870,fact_2871,fact_2872,fact_2873,fact_2874,fact_2875,fact_2876,fact_2877,fact_2878,fact_2879,fact_2880,fact_2881,fact_2882,fact_2883,fact_2884,fact_2885,fact_2886,fact_2887,fact_2888,fact_2889,fact_2890,fact_2891,fact_2892,fact_2893,fact_2894,fact_2895,fact_2896,fact_2897,fact_2898,fact_2899,fact_2900,fact_2901,fact_2902,fact_2903,fact_2904,fact_2905,fact_2906,fact_2907,fact_2908,fact_2909,fact_2910,fact_2911,fact_2912,fact_2913,fact_2914,fact_2915,fact_2916,fact_2917,fact_2918,fact_2919,fact_2920,fact_2921,fact_2922,fact_2923,fact_2924,fact_2925,fact_2926,fact_2927,fact_2928,fact_2929,fact_2930,fact_2931,fact_2932,fact_2933,fact_2934,fact_2935,fact_2936,fact_2937,fact_2938,fact_2939,fact_2940,fact_2941,fact_2942,fact_2943,fact_2944,fact_2945,fact_2946,fact_2947,fact_2948,fact_2949,fact_2950,fact_2951,fact_2952,fact_2953,fact_2954,fact_2955,fact_2956,fact_2957,fact_2958,fact_2959,fact_2960,fact_2961,fact_2962,fact_2963,fact_2964,fact_2965,fact_2966,fact_2967,fact_2968,fact_2969,fact_2970,fact_2971,fact_2972,fact_2973,fact_2974,fact_2975,fact_2976,fact_2977,fact_2978,fact_2979,fact_2980,fact_2981,fact_2982,fact_2983,fact_2984,fact_2985,fact_2986,fact_2987,fact_2988,fact_2989,fact_2990,fact_2991,fact_2992,fact_2993,fact_2994,fact_2995,fact_2996,fact_2997,fact_2998,fact_2999,fact_3000,fact_3001,fact_3002,fact_3003,fact_3004,fact_3005,fact_3006,fact_3007,fact_3008,fact_3009,fact_3010,fact_3011,fact_3012,fact_3013,fact_3014,fact_3015,fact_3016,fact_3017,fact_3018,fact_3019,fact_3020,fact_3021,fact_3022,fact_3023,fact_3024,fact_3025,fact_3026,fact_3027,fact_3028,fact_3029,fact_3030,fact_3031,fact_3032,fact_3033,fact_3034,fact_3035,fact_3036,fact_3037,fact_3038,fact_3039,fact_3040,fact_3041,fact_3042,fact_3043,fact_3044,fact_3045,fact_3046,fact_3047,fact_3048,fact_3049,fact_3050,fact_3051,fact_3052,fact_3053,fact_3054,fact_3055,fact_3056,fact_3057,fact_3058,fact_3059,fact_3060,fact_3061,fact_3062,fact_3063,fact_3064,fact_3065,fact_3066,fact_3067,fact_3068,fact_3069,fact_3070,fact_3071,fact_3072,fact_3073,fact_3074,fact_3075,fact_3076,fact_3077,fact_3078,fact_3079,fact_3080,fact_3081,fact_3082,fact_3083,fact_3084,fact_3085,fact_3086,fact_3087,fact_3088,fact_3089,fact_3090,fact_3091,fact_3092,fact_3093,fact_3094,fact_3095,fact_3096,fact_3097,fact_3098,fact_3099,fact_3100,fact_3101,fact_3102,fact_3103,fact_3104,fact_3105,fact_3106,fact_3107,fact_3108,fact_3109,fact_3110,fact_3111,fact_3112,fact_3113,fact_3114,fact_3115,fact_3116,fact_3117,fact_3118,fact_3119,fact_3120,fact_3121,fact_3122,fact_3123,fact_3124,fact_3125,fact_3126,fact_3127,fact_3128,fact_3129,fact_3130,fact_3131,fact_3132,fact_3133,fact_3134,fact_3135,fact_3136,fact_3137,fact_3138,fact_3139,fact_3140,fact_3141,fact_3142,fact_3143,fact_3144,fact_3145,fact_3146,fact_3147,fact_3148,fact_3149,fact_3150,fact_3151,fact_3152,fact_3153,fact_3154,fact_3155,fact_3156,fact_3157,fact_3158,fact_3159,fact_3160,fact_3161,fact_3162,fact_3163,fact_3164,fact_3165,fact_3166,fact_3167,fact_3168,fact_3169,fact_3170,fact_3171,fact_3172,fact_3173,fact_3174,fact_3175,fact_3176,fact_3177,fact_3178,fact_3179,fact_3180,fact_3181,fact_3182,fact_3183,fact_3184,fact_3185,fact_3186,fact_3187,fact_3188,fact_3189,fact_3190,fact_3191,fact_3192,fact_3193,fact_3194,fact_3195,fact_3196,fact_3197,fact_3198,fact_3199,fact_3200,fact_3201,fact_3202,fact_3203,fact_3204,fact_3205,fact_3206,fact_3207,fact_3208,fact_3209,fact_3210,fact_3211,fact_3212,fact_3213,fact_3214,fact_3215,fact_3216,fact_3217,fact_3218,fact_3219,fact_3220,fact_3221,fact_3222,fact_3223,fact_3224,fact_3225,fact_3226,fact_3227,fact_3228,fact_3229,fact_3230,fact_3231,fact_3232,fact_3233,fact_3234,fact_3235,fact_3236,fact_3237,fact_3238,fact_3239,fact_3240,fact_3241,fact_3242,fact_3243,fact_3244,fact_3245,fact_3246,fact_3247,fact_3248,fact_3249,fact_3250,fact_3251,fact_3252,fact_3253,fact_3254,fact_3255,fact_3256,fact_3257,fact_3258,fact_3259,fact_3260,fact_3261,fact_3262,fact_3263,fact_3264,fact_3265,fact_3266,fact_3267,fact_3268,fact_3269,fact_3270,fact_3271,fact_3272,fact_3273,fact_3274,fact_3275,fact_3276,fact_3277,fact_3278,fact_3279,fact_3280,fact_3281,fact_3282,fact_3283,fact_3284,fact_3285,fact_3286,fact_3287,fact_3288,fact_3289,fact_3290,fact_3291,fact_3292,fact_3293,fact_3294,fact_3295,fact_3296,fact_3297,fact_3298,fact_3299,fact_3300,fact_3301,fact_3302,fact_3303,fact_3304,fact_3305,fact_3306,fact_3307,fact_3308,fact_3309,fact_3310,fact_3311,fact_3312,fact_3313,fact_3314,fact_3315,fact_3316,fact_3317,fact_3318,fact_3319,fact_3320,fact_3321,fact_3322,fact_3323,fact_3324,fact_3325,fact_3326,fact_3327,fact_3328,fact_3329,fact_3330,fact_3331,fact_3332,fact_3333,fact_3334,fact_3335,fact_3336,fact_3337,fact_3338,fact_3339,fact_3340,fact_3341,fact_3342,fact_3343,fact_3344,fact_3345,fact_3346,fact_3347,fact_3348,fact_3349,fact_3350,fact_3351,fact_3352,fact_3353,fact_3354,fact_3355,fact_3356,fact_3357,fact_3358,fact_3359,fact_3360,fact_3361,fact_3362,fact_3363,fact_3364,fact_3365,fact_3366,fact_3367,fact_3368,fact_3369,fact_3370,fact_3371,fact_3372,fact_3373,fact_3374,fact_3375,fact_3376,fact_3377,fact_3378,fact_3379,fact_3380,fact_3381,fact_3382,fact_3383,fact_3384,fact_3385,fact_3386,fact_3387,fact_3388,fact_3389,fact_3390,fact_3391,fact_3392,fact_3393,fact_3394,fact_3395,fact_3396,fact_3397,fact_3398,fact_3399,fact_3400,fact_3401,fact_3402,fact_3403,fact_3404,fact_3405,fact_3406,fact_3407,fact_3408,fact_3409,fact_3410,fact_3411,fact_3412,fact_3413,fact_3414,fact_3415,fact_3416,fact_3417,fact_3418,fact_3419,fact_3420,fact_3421,fact_3422,fact_3423,fact_3424,fact_3425,fact_3426,fact_3427,fact_3428,fact_3429,fact_3430,fact_3431,fact_3432,fact_3433,fact_3434,fact_3435,fact_3436,fact_3437,fact_3438,fact_3439,fact_3440,fact_3441,fact_3442,fact_3443,fact_3444,fact_3445,fact_3446,fact_3447,fact_3448,fact_3449,fact_3450,fact_3451,fact_3452,fact_3453,fact_3454,fact_3455,fact_3456,fact_3457,fact_3458,fact_3459,fact_3460,fact_3461,fact_3462,fact_3463,fact_3464,fact_3465,fact_3466,fact_3467,fact_3468,fact_3469,fact_3470,fact_3471,fact_3472,fact_3473,fact_3474,fact_3475,fact_3476,fact_3477,fact_3478,fact_3479,fact_3480,fact_3481,fact_3482,fact_3483,fact_3484,fact_3485,fact_3486,fact_3487,fact_3488,fact_3489,fact_3490,fact_3491,fact_3492,fact_3493,fact_3494,fact_3495,fact_3496,fact_3497,fact_3498,fact_3499,fact_3500,fact_3501,fact_3502,fact_3503,fact_3504,fact_3505,fact_3506,fact_3507,fact_3508,fact_3509,fact_3510,fact_3511,fact_3512,fact_3513,fact_3514,fact_3515,fact_3516,fact_3517,fact_3518,fact_3519,fact_3520,fact_3521,fact_3522,fact_3523,fact_3524,fact_3525,fact_3526,fact_3527,fact_3528,fact_3529,fact_3530,fact_3531,fact_3532,fact_3533,fact_3534,fact_3535,fact_3536,fact_3537,fact_3538,fact_3539,fact_3540,fact_3541,fact_3542,fact_3543,fact_3544,fact_3545,fact_3546,fact_3547,fact_3548,fact_3549,fact_3550,fact_3551,fact_3552,fact_3553,fact_3554,fact_3555,fact_3556,fact_3557,fact_3558,fact_3559,fact_3560,fact_3561,fact_3562,fact_3563,fact_3564,fact_3565,fact_3566,fact_3567,fact_3568,fact_3569,fact_3570,fact_3571,fact_3572,fact_3573,fact_3574,fact_3575,fact_3576,fact_3577,fact_3578,fact_3579,fact_3580,fact_3581,fact_3582,fact_3583,fact_3584,fact_3585,fact_3586,fact_3587,fact_3588,fact_3589,fact_3590,fact_3591,fact_3592,fact_3593,fact_3594,fact_3595,fact_3596,fact_3597,fact_3598,fact_3599,fact_3600,fact_3601,fact_3602,fact_3603,fact_3604,fact_3605,fact_3606,fact_3607,fact_3608,fact_3609,fact_3610,fact_3611,fact_3612,fact_3613,fact_3614,fact_3615,fact_3616,fact_3617,fact_3618,fact_3619,fact_3620,fact_3621,fact_3622,fact_3623,fact_3624,fact_3625,fact_3626,fact_3627,fact_3628,fact_3629,fact_3630,fact_3631,fact_3632,fact_3633,fact_3634,fact_3635,fact_3636,fact_3637,fact_3638,fact_3639,fact_3640,fact_3641,fact_3642,fact_3643,fact_3644,fact_3645,fact_3646,fact_3647,fact_3648,fact_3649,fact_3650,fact_3651,fact_3652,fact_3653,fact_3654,fact_3655,fact_3656,fact_3657,fact_3658,fact_3659,fact_3660,fact_3661,fact_3662,fact_3663,fact_3664,fact_3665,fact_3666,fact_3667,fact_3668,fact_3669,fact_3670,fact_3671,fact_3672,fact_3673,fact_3674,fact_3675,fact_3676,fact_3677,fact_3678,fact_3679,fact_3680,fact_3681,fact_3682,fact_3683,fact_3684,fact_3685,fact_3686,fact_3687,fact_3688,fact_3689,fact_3690,fact_3691,fact_3692,fact_3693,fact_3694,fact_3695,fact_3696,fact_3697,fact_3698,fact_3699,fact_3700,fact_3701,fact_3702,fact_3703,fact_3704,fact_3705,fact_3706,fact_3707,fact_3708,fact_3709,fact_3710,fact_3711,fact_3712,fact_3713,fact_3714,fact_3715,fact_3716,fact_3717,fact_3718,fact_3719,fact_3720,fact_3721,fact_3722,fact_3723,fact_3724,fact_3725,fact_3726,fact_3727,fact_3728,fact_3729,fact_3730,fact_3731,fact_3732,fact_3733,fact_3734,fact_3735,fact_3736,fact_3737,fact_3738,fact_3739,fact_3740,fact_3741,fact_3742,fact_3743,fact_3744,fact_3745,fact_3746,fact_3747,fact_3748,fact_3749,fact_3750,fact_3751,fact_3752,fact_3753,fact_3754,fact_3755,fact_3756,fact_3757,fact_3758,fact_3759,fact_3760,fact_3761,fact_3762,fact_3763,fact_3764,fact_3765,fact_3766,fact_3767,fact_3768,fact_3769,fact_3770,fact_3771,fact_3772,fact_3773,fact_3774,fact_3775,fact_3776,fact_3777,fact_3778,fact_3779,fact_3780,fact_3781,fact_3782,fact_3783,fact_3784,fact_3785,fact_3786,fact_3787,fact_3788,fact_3789,fact_3790,fact_3791,fact_3792,fact_3793,fact_3794,fact_3795,fact_3796,fact_3797,fact_3798,fact_3799,fact_3800,fact_3801,fact_3802,fact_3803,fact_3804,fact_3805,fact_3806,fact_3807,fact_3808,fact_3809,fact_3810,fact_3811,fact_3812,fact_3813,fact_3814,fact_3815,fact_3816,fact_3817,fact_3818,fact_3819,fact_3820,fact_3821,fact_3822,fact_3823,fact_3824,fact_3825,fact_3826,fact_3827,fact_3828,fact_3829,fact_3830,fact_3831,fact_3832,fact_3833,fact_3834,fact_3835,fact_3836,fact_3837,fact_3838,fact_3839,fact_3840,fact_3841,fact_3842,fact_3843,fact_3844,fact_3845,fact_3846,fact_3847,fact_3848,fact_3849,fact_3850,fact_3851,fact_3852,fact_3853,fact_3854,fact_3855,fact_3856,fact_3857,fact_3858,fact_3859,fact_3860,fact_3861,fact_3862,fact_3863,fact_3864,fact_3865,fact_3866,fact_3867,fact_3868,fact_3869,fact_3870,fact_3871,fact_3872,fact_3873,fact_3874,fact_3875,fact_3876,fact_3877,fact_3878,fact_3879,fact_3880,fact_3881,fact_3882,fact_3883,fact_3884,fact_3885,fact_3886,fact_3887,fact_3888,fact_3889,fact_3890,fact_3891,fact_3892,fact_3893,fact_3894,fact_3895,fact_3896,fact_3897,fact_3898,fact_3899,fact_3900,fact_3901,fact_3902,fact_3903,fact_3904,fact_3905,fact_3906,fact_3907,fact_3908,fact_3909,fact_3910,fact_3911,fact_3912,fact_3913,fact_3914,fact_3915,fact_3916,fact_3917,fact_3918,fact_3919,fact_3920,fact_3921,fact_3922,fact_3923,fact_3924,fact_3925,fact_3926,fact_3927,fact_3928,fact_3929,fact_3930,fact_3931,fact_3932,fact_3933,fact_3934,fact_3935,fact_3936,fact_3937,fact_3938,fact_3939,fact_3940,fact_3941,fact_3942,fact_3943,fact_3944,fact_3945,fact_3946,fact_3947,fact_3948,fact_3949,fact_3950,fact_3951,fact_3952,fact_3953,fact_3954,fact_3955,fact_3956,fact_3957,fact_3958,fact_3959,fact_3960,fact_3961,fact_3962,fact_3963,fact_3964,fact_3965,fact_3966,fact_3967,fact_3968,fact_3969,fact_3970,fact_3971,fact_3972,fact_3973,fact_3974,fact_3975,fact_3976,fact_3977,fact_3978,fact_3979,fact_3980,fact_3981,fact_3982,fact_3983,fact_3984,fact_3985,fact_3986,fact_3987,fact_3988,fact_3989,fact_3990,fact_3991,fact_3992,fact_3993,fact_3994,fact_3995,fact_3996,fact_3997,fact_3998,fact_3999,fact_4000,fact_4001,fact_4002,fact_4003,fact_4004,fact_4005,fact_4006,fact_4007,fact_4008,fact_4009,fact_4010,fact_4011,fact_4012,fact_4013,fact_4014,fact_4015,fact_4016,fact_4017,fact_4018,fact_4019,fact_4020,fact_4021,fact_4022,fact_4023,fact_4024,fact_4025,fact_4026,fact_4027,fact_4028,fact_4029,fact_4030,fact_4031,fact_4032,fact_4033,fact_4034,fact_4035,fact_4036,fact_4037,fact_4038,fact_4039,fact_4040,fact_4041,fact_4042,fact_4043,fact_4044,fact_4045,fact_4046,fact_4047,fact_4048,fact_4049,fact_4050,fact_4051,fact_4052,fact_4053,fact_4054,fact_4055,fact_4056,fact_4057,fact_4058,fact_4059,fact_4060,fact_4061,fact_4062,fact_4063,fact_4064,fact_4065,fact_4066,fact_4067,fact_4068,fact_4069,fact_4070,fact_4071,fact_4072,fact_4073,fact_4074,fact_4075,fact_4076,fact_4077,fact_4078,fact_4079,fact_4080,fact_4081,fact_4082,fact_4083,fact_4084,fact_4085,fact_4086,fact_4087,fact_4088,fact_4089,fact_4090,fact_4091,fact_4092,fact_4093,fact_4094,fact_4095,fact_4096,fact_4097,fact_4098,fact_4099,fact_4100,fact_4101,fact_4102,fact_4103,fact_4104,fact_4105,fact_4106,fact_4107,fact_4108,fact_4109,fact_4110,fact_4111,fact_4112,fact_4113,fact_4114,fact_4115,fact_4116,fact_4117,fact_4118,fact_4119,fact_4120,fact_4121,fact_4122,fact_4123,fact_4124,fact_4125,fact_4126,fact_4127,fact_4128,fact_4129,fact_4130,fact_4131,fact_4132,fact_4133,fact_4134,fact_4135,fact_4136,fact_4137,fact_4138,fact_4139,fact_4140,fact_4141,fact_4142,fact_4143,fact_4144,fact_4145,fact_4146,fact_4147,fact_4148,fact_4149,fact_4150,fact_4151,fact_4152,fact_4153,fact_4154,fact_4155,fact_4156,fact_4157,fact_4158,fact_4159,fact_4160,fact_4161,fact_4162,fact_4163,fact_4164,fact_4165,fact_4166,fact_4167,fact_4168,fact_4169,fact_4170,fact_4171,fact_4172,fact_4173,fact_4174,fact_4175,fact_4176,fact_4177,fact_4178,fact_4179,fact_4180,fact_4181,fact_4182,fact_4183,fact_4184,fact_4185,fact_4186,fact_4187,fact_4188,fact_4189,fact_4190,fact_4191,fact_4192,fact_4193,fact_4194,fact_4195,fact_4196,fact_4197,fact_4198,fact_4199,fact_4200,fact_4201,fact_4202,fact_4203,fact_4204,fact_4205,fact_4206,fact_4207,fact_4208,fact_4209,fact_4210,fact_4211,fact_4212,fact_4213,fact_4214,fact_4215,fact_4216,fact_4217,fact_4218,fact_4219,fact_4220,fact_4221,fact_4222,fact_4223,fact_4224,fact_4225,fact_4226,fact_4227,fact_4228,fact_4229,fact_4230,fact_4231,fact_4232,fact_4233,fact_4234,fact_4235,fact_4236,fact_4237,fact_4238,fact_4239,fact_4240,fact_4241,fact_4242,fact_4243,fact_4244,fact_4245,fact_4246,fact_4247,fact_4248,fact_4249,fact_4250,fact_4251,fact_4252,fact_4253,fact_4254,fact_4255,fact_4256,fact_4257,fact_4258,fact_4259,fact_4260,fact_4261,fact_4262,fact_4263,fact_4264,fact_4265,fact_4266,fact_4267,fact_4268,fact_4269,fact_4270,fact_4271,fact_4272,fact_4273,fact_4274,fact_4275,fact_4276,fact_4277,fact_4278,fact_4279,fact_4280,fact_4281,fact_4282,fact_4283,fact_4284,fact_4285,fact_4286,fact_4287,fact_4288,fact_4289,fact_4290,fact_4291,fact_4292,fact_4293,fact_4294,fact_4295,fact_4296,fact_4297,fact_4298,fact_4299,fact_4300,fact_4301,fact_4302,fact_4303,fact_4304,fact_4305,fact_4306,fact_4307,fact_4308,fact_4309,fact_4310,fact_4311,fact_4312,fact_4313,fact_4314,fact_4315,fact_4316,fact_4317,fact_4318,fact_4319,fact_4320,fact_4321,fact_4322,fact_4323,fact_4324,fact_4325,fact_4326,fact_4327,fact_4328,fact_4329,fact_4330,fact_4331,fact_4332,fact_4333,fact_4334,fact_4335,fact_4336,fact_4337,fact_4338,fact_4339,fact_4340,fact_4341,fact_4342,fact_4343,fact_4344,fact_4345,fact_4346,fact_4347,fact_4348,fact_4349,fact_4350,fact_4351,fact_4352,fact_4353,fact_4354,fact_4355,fact_4356,fact_4357,fact_4358,fact_4359,fact_4360,fact_4361,fact_4362,fact_4363,fact_4364,fact_4365,fact_4366,fact_4367,fact_4368,fact_4369,fact_4370,fact_4371,fact_4372,fact_4373,fact_4374,fact_4375,fact_4376,fact_4377,fact_4378,fact_4379,fact_4380,fact_4381,fact_4382,fact_4383,fact_4384,fact_4385,fact_4386,fact_4387,fact_4388,fact_4389,fact_4390,fact_4391,fact_4392,fact_4393,fact_4394,fact_4395,fact_4396,fact_4397,fact_4398,fact_4399,fact_4400,fact_4401,fact_4402,fact_4403,fact_4404,fact_4405,fact_4406,fact_4407,fact_4408,fact_4409,fact_4410,fact_4411,fact_4412,fact_4413,fact_4414,fact_4415,fact_4416,fact_4417,fact_4418,fact_4419,fact_4420,fact_4421,fact_4422,fact_4423,fact_4424,fact_4425,fact_4426,fact_4427,fact_4428,fact_4429,fact_4430,fact_4431,fact_4432,fact_4433,fact_4434,fact_4435,fact_4436,fact_4437,fact_4438,fact_4439,fact_4440,fact_4441,fact_4442,fact_4443,fact_4444,fact_4445,fact_4446,fact_4447,fact_4448,fact_4449,fact_4450,fact_4451,fact_4452,fact_4453,fact_4454,fact_4455,fact_4456,fact_4457,fact_4458,fact_4459,fact_4460,fact_4461,fact_4462,fact_4463,fact_4464,fact_4465,fact_4466,fact_4467,fact_4468,fact_4469,fact_4470,fact_4471,fact_4472,fact_4473,fact_4474,fact_4475,fact_4476,fact_4477,fact_4478,fact_4479,fact_4480,fact_4481,fact_4482,fact_4483,fact_4484,fact_4485,fact_4486,fact_4487,fact_4488,fact_4489,fact_4490,fact_4491,fact_4492,fact_4493,fact_4494,fact_4495,fact_4496,fact_4497,fact_4498,fact_4499,fact_4500,fact_4501,fact_4502,fact_4503,fact_4504,fact_4505,fact_4506,fact_4507,fact_4508,fact_4509,fact_4510,fact_4511,fact_4512,fact_4513,fact_4514,fact_4515,fact_4516,fact_4517,fact_4518,fact_4519,fact_4520,fact_4521,fact_4522,fact_4523,fact_4524,fact_4525,fact_4526,fact_4527,fact_4528,fact_4529,fact_4530,fact_4531,fact_4532,fact_4533,fact_4534,fact_4535,fact_4536,fact_4537,fact_4538,fact_4539,fact_4540,fact_4541,fact_4542,fact_4543,fact_4544,fact_4545,fact_4546,fact_4547,fact_4548,fact_4549,fact_4550,fact_4551,fact_4552,fact_4553,fact_4554,fact_4555,fact_4556,fact_4557,fact_4558,fact_4559,fact_4560,fact_4561,fact_4562,fact_4563,fact_4564,fact_4565,fact_4566,fact_4567,fact_4568,fact_4569,fact_4570,fact_4571,fact_4572,fact_4573,fact_4574,fact_4575,fact_4576,fact_4577,fact_4578,fact_4579,fact_4580,fact_4581,fact_4582,fact_4583,fact_4584,fact_4585,fact_4586,fact_4587,fact_4588,fact_4589,fact_4590,fact_4591,fact_4592,fact_4593,fact_4594,fact_4595,fact_4596,fact_4597,fact_4598,fact_4599,fact_4600,fact_4601,fact_4602,fact_4603,fact_4604,fact_4605,fact_4606,fact_4607,fact_4608,fact_4609,fact_4610,fact_4611,fact_4612,fact_4613,fact_4614,fact_4615,fact_4616,fact_4617,fact_4618,fact_4619,fact_4620,fact_4621,fact_4622,fact_4623,fact_4624,fact_4625,fact_4626,fact_4627,fact_4628,fact_4629,fact_4630,fact_4631,fact_4632,fact_4633,fact_4634,fact_4635,fact_4636,fact_4637,fact_4638,fact_4639,fact_4640,fact_4641,fact_4642,fact_4643,fact_4644,fact_4645,fact_4646,fact_4647,fact_4648,fact_4649,fact_4650,fact_4651,fact_4652,fact_4653,fact_4654,fact_4655,fact_4656,fact_4657,fact_4658,fact_4659,fact_4660,fact_4661,fact_4662,fact_4663,fact_4664,fact_4665,fact_4666,fact_4667,fact_4668,fact_4669,fact_4670,fact_4671,fact_4672,fact_4673,fact_4674,fact_4675,fact_4676,fact_4677,fact_4678,fact_4679,fact_4680,fact_4681,fact_4682,fact_4683,fact_4684,fact_4685,fact_4686,fact_4687,fact_4688,fact_4689,fact_4690,fact_4691,fact_4692,fact_4693,fact_4694,fact_4695,fact_4696,fact_4697,fact_4698,fact_4699,fact_4700,fact_4701,fact_4702,fact_4703,fact_4704,fact_4705,fact_4706,fact_4707,fact_4708,fact_4709,fact_4710,fact_4711,fact_4712,fact_4713,fact_4714,fact_4715,fact_4716,fact_4717,fact_4718,fact_4719,fact_4720,fact_4721,fact_4722,fact_4723,fact_4724,fact_4725,fact_4726,fact_4727,fact_4728,fact_4729,fact_4730,fact_4731,fact_4732,fact_4733,fact_4734,fact_4735,fact_4736,fact_4737,fact_4738,fact_4739,fact_4740,fact_4741,fact_4742,fact_4743,fact_4744,fact_4745,fact_4746,fact_4747,fact_4748,fact_4749,fact_4750,fact_4751,fact_4752,fact_4753,fact_4754,fact_4755,fact_4756,fact_4757,fact_4758,fact_4759,fact_4760,fact_4761,fact_4762,fact_4763,fact_4764,fact_4765,fact_4766,fact_4767,fact_4768,fact_4769,fact_4770,fact_4771,fact_4772,fact_4773,fact_4774,fact_4775,fact_4776,fact_4777,fact_4778,fact_4779,fact_4780,fact_4781,fact_4782,fact_4783,fact_4784,fact_4785,fact_4786,fact_4787,fact_4788,fact_4789,fact_4790,fact_4791,fact_4792,fact_4793,fact_4794,fact_4795,fact_4796,fact_4797,fact_4798,fact_4799,fact_4800,fact_4801,fact_4802,fact_4803,fact_4804,fact_4805,fact_4806,fact_4807,fact_4808,fact_4809,fact_4810,fact_4811,fact_4812,fact_4813,fact_4814,fact_4815,fact_4816,fact_4817,fact_4818,fact_4819,fact_4820,fact_4821,fact_4822,fact_4823,fact_4824,fact_4825,fact_4826,fact_4827,fact_4828,fact_4829,fact_4830,fact_4831,fact_4832,fact_4833,fact_4834,fact_4835,fact_4836,fact_4837,fact_4838,fact_4839,fact_4840,fact_4841,fact_4842,fact_4843,fact_4844,fact_4845,fact_4846,fact_4847,fact_4848,fact_4849,fact_4850,fact_4851,fact_4852,fact_4853,fact_4854,fact_4855,fact_4856,fact_4857,fact_4858,fact_4859,fact_4860,fact_4861,fact_4862,fact_4863,fact_4864,fact_4865,fact_4866,fact_4867,fact_4868,fact_4869,fact_4870,fact_4871,fact_4872,fact_4873,fact_4874,fact_4875,fact_4876,fact_4877,fact_4878,fact_4879,fact_4880,fact_4881,fact_4882,fact_4883,fact_4884,fact_4885,fact_4886,fact_4887,fact_4888,fact_4889,fact_4890,fact_4891,fact_4892,fact_4893,fact_4894,fact_4895,fact_4896,fact_4897,fact_4898,fact_4899,fact_4900,fact_4901,fact_4902,fact_4903,fact_4904,fact_4905,fact_4906,fact_4907,fact_4908,fact_4909,fact_4910,fact_4911,fact_4912,fact_4913,fact_4914,fact_4915,fact_4916,fact_4917,fact_4918,fact_4919,fact_4920,fact_4921,fact_4922,fact_4923,fact_4924,fact_4925,fact_4926,fact_4927,fact_4928,fact_4929,fact_4930,fact_4931,fact_4932,fact_4933,fact_4934,fact_4935,fact_4936,fact_4937,fact_4938,fact_4939,fact_4940,fact_4941,fact_4942,fact_4943,fact_4944,fact_4945,fact_4946,fact_4947,fact_4948,fact_4949,fact_4950,fact_4951,fact_4952,fact_4953,fact_4954,fact_4955,fact_4956,fact_4957,fact_4958,fact_4959,fact_4960,fact_4961,fact_4962,fact_4963,fact_4964,fact_4965,fact_4966,fact_4967,fact_4968,fact_4969,fact_4970,fact_4971,fact_4972,fact_4973,fact_4974,fact_4975,fact_4976,fact_4977,fact_4978,fact_4979,fact_4980,fact_4981,fact_4982,fact_4983,fact_4984,fact_4985,fact_4986,fact_4987,fact_4988,fact_4989,fact_4990,fact_4991,fact_4992,fact_4993,fact_4994,fact_4995,fact_4996,fact_4997,fact_4998,fact_4999,fact_5000,fact_5001,fact_5002,fact_5003,fact_5004,fact_5005,fact_5006,fact_5007,fact_5008,fact_5009,fact_5010,fact_5011,fact_5012,fact_5013,fact_5014,fact_5015,fact_5016,fact_5017,fact_5018,fact_5019,fact_5020,fact_5021,fact_5022,fact_5023,fact_5024,fact_5025,fact_5026,fact_5027,fact_5028,fact_5029,fact_5030,fact_5031,fact_5032,fact_5033,fact_5034,fact_5035,fact_5036,fact_5037,fact_5038,fact_5039,fact_5040,fact_5041,fact_5042,fact_5043,fact_5044,fact_5045,fact_5046,fact_5047,fact_5048,fact_5049,fact_5050,fact_5051,fact_5052,fact_5053,fact_5054,fact_5055,fact_5056,fact_5057,fact_5058,fact_5059,fact_5060,fact_5061,fact_5062,fact_5063,fact_5064,fact_5065,fact_5066,fact_5067,fact_5068,fact_5069,fact_5070,fact_5071,fact_5072,fact_5073,fact_5074,fact_5075,fact_5076,fact_5077,fact_5078,fact_5079,fact_5080,fact_5081,fact_5082,fact_5083,fact_5084,fact_5085,fact_5086,fact_5087,fact_5088,fact_5089,fact_5090,fact_5091,fact_5092,fact_5093,fact_5094,fact_5095,fact_5096,fact_5097,fact_5098,fact_5099,fact_5100,fact_5101,fact_5102,fact_5103,fact_5104,fact_5105,fact_5106,fact_5107,fact_5108,fact_5109,fact_5110,fact_5111,fact_5112,fact_5113,fact_5114,fact_5115,fact_5116,fact_5117,fact_5118,fact_5119,fact_5120,fact_5121,fact_5122,fact_5123,fact_5124,fact_5125,fact_5126,fact_5127,fact_5128,fact_5129,fact_5130,fact_5131,fact_5132,fact_5133,fact_5134,fact_5135,fact_5136,fact_5137,fact_5138,fact_5139,fact_5140,fact_5141,fact_5142,fact_5143,fact_5144,fact_5145,fact_5146,fact_5147,fact_5148,fact_5149,fact_5150,fact_5151,fact_5152,fact_5153,fact_5154,fact_5155,fact_5156,fact_5157,fact_5158,fact_5159,fact_5160,fact_5161,fact_5162,fact_5163,fact_5164,fact_5165,fact_5166,fact_5167,fact_5168,fact_5169,fact_5170,fact_5171,fact_5172,fact_5173,fact_5174,fact_5175,fact_5176,fact_5177,fact_5178,fact_5179,fact_5180,fact_5181,fact_5182,fact_5183,fact_5184,fact_5185,fact_5186,fact_5187,fact_5188,fact_5189,fact_5190,fact_5191,fact_5192,fact_5193,fact_5194,fact_5195,fact_5196,fact_5197,fact_5198,fact_5199,fact_5200,fact_5201,fact_5202,fact_5203,fact_5204,fact_5205,fact_5206,fact_5207,fact_5208,fact_5209,fact_5210,fact_5211,fact_5212,fact_5213,fact_5214,fact_5215,fact_5216,fact_5217,fact_5218,fact_5219,fact_5220,fact_5221,fact_5222,fact_5223,fact_5224,fact_5225,fact_5226,fact_5227,fact_5228,fact_5229,fact_5230,fact_5231,fact_5232,fact_5233,fact_5234,fact_5235,fact_5236,fact_5237,fact_5238,fact_5239,fact_5240,fact_5241,fact_5242,fact_5243,fact_5244,fact_5245,fact_5246,fact_5247,fact_5248,fact_5249,fact_5250,fact_5251,fact_5252,fact_5253,fact_5254,fact_5255,fact_5256,fact_5257,fact_5258,fact_5259,fact_5260,fact_5261,fact_5262,fact_5263,fact_5264,fact_5265,fact_5266,fact_5267,fact_5268,fact_5269,fact_5270,fact_5271,fact_5272,fact_5273,fact_5274,fact_5275,fact_5276,fact_5277,fact_5278,fact_5279,fact_5280,fact_5281,fact_5282,fact_5283,fact_5284,fact_5285,fact_5286,fact_5287,fact_5288,fact_5289,fact_5290,fact_5291,fact_5292,fact_5293,fact_5294,fact_5295,fact_5296,fact_5297,fact_5298,fact_5299,fact_5300,fact_5301,fact_5302,fact_5303,fact_5304,fact_5305,fact_5306,fact_5307,fact_5308,fact_5309,fact_5310,fact_5311,fact_5312,fact_5313,fact_5314,fact_5315,fact_5316,fact_5317,fact_5318,fact_5319,fact_5320,fact_5321,fact_5322,fact_5323,fact_5324,fact_5325,fact_5326,fact_5327,fact_5328,fact_5329,fact_5330,fact_5331,fact_5332,fact_5333,fact_5334,fact_5335,fact_5336,fact_5337,fact_5338,fact_5339,fact_5340,fact_5341,fact_5342,fact_5343,fact_5344,fact_5345,fact_5346,fact_5347,fact_5348,fact_5349,fact_5350,fact_5351,fact_5352,fact_5353,fact_5354,fact_5355,fact_5356,fact_5357,fact_5358,fact_5359,fact_5360,fact_5361,fact_5362,fact_5363,fact_5364,fact_5365,fact_5366,fact_5367,fact_5368,fact_5369,fact_5370,fact_5371,fact_5372,fact_5373,fact_5374,fact_5375,fact_5376,fact_5377,fact_5378,fact_5379,fact_5380,fact_5381,fact_5382,fact_5383,fact_5384,fact_5385,fact_5386,fact_5387,fact_5388,fact_5389,fact_5390,fact_5391,fact_5392,fact_5393,fact_5394,fact_5395,fact_5396,fact_5397,fact_5398,fact_5399,fact_5400,fact_5401,fact_5402,fact_5403,fact_5404,fact_5405,fact_5406,fact_5407,fact_5408,fact_5409,fact_5410,fact_5411,fact_5412,fact_5413,fact_5414,fact_5415,fact_5416,fact_5417,fact_5418,fact_5419,fact_5420,fact_5421,fact_5422,fact_5423,fact_5424,fact_5425,fact_5426,fact_5427,fact_5428,fact_5429,fact_5430,fact_5431,fact_5432,fact_5433,fact_5434,fact_5435,fact_5436,fact_5437,fact_5438,fact_5439,fact_5440,fact_5441,fact_5442,fact_5443,fact_5444,fact_5445,fact_5446,fact_5447,fact_5448,fact_5449,fact_5450,fact_5451,fact_5452,fact_5453,fact_5454,fact_5455,fact_5456,fact_5457,fact_5458,fact_5459,fact_5460,fact_5461,fact_5462,fact_5463,fact_5464,fact_5465,fact_5466,fact_5467,fact_5468,fact_5469,fact_5470,fact_5471,fact_5472,fact_5473,fact_5474,fact_5475,fact_5476,fact_5477,fact_5478,fact_5479,fact_5480,fact_5481,fact_5482,fact_5483,fact_5484,fact_5485,fact_5486,fact_5487,fact_5488,fact_5489,fact_5490,fact_5491,fact_5492,fact_5493,fact_5494,fact_5495,fact_5496,fact_5497,fact_5498,fact_5499,fact_5500,fact_5501,fact_5502,fact_5503,fact_5504,fact_5505,fact_5506,fact_5507,fact_5508,fact_5509,fact_5510,fact_5511,fact_5512,fact_5513,fact_5514,fact_5515,fact_5516,fact_5517,fact_5518,fact_5519,fact_5520,fact_5521,fact_5522,fact_5523,fact_5524,fact_5525,fact_5526,fact_5527,fact_5528,fact_5529,fact_5530,fact_5531,fact_5532,fact_5533,fact_5534,fact_5535,fact_5536,fact_5537,fact_5538,fact_5539,fact_5540,fact_5541,fact_5542,fact_5543,fact_5544,fact_5545,fact_5546,fact_5547,fact_5548,fact_5549,fact_5550,fact_5551,fact_5552,fact_5553,fact_5554,fact_5555,fact_5556,fact_5557,fact_5558,fact_5559,fact_5560,fact_5561,fact_5562,fact_5563,fact_5564,fact_5565,fact_5566,fact_5567,fact_5568,fact_5569,fact_5570,fact_5571,fact_5572,fact_5573,fact_5574,fact_5575,fact_5576,fact_5577,fact_5578,fact_5579,fact_5580,fact_5581,fact_5582,fact_5583,fact_5584,fact_5585,fact_5586,fact_5587,fact_5588,fact_5589,fact_5590,fact_5591,fact_5592,fact_5593,fact_5594,fact_5595,fact_5596,fact_5597,fact_5598,fact_5599,fact_5600,fact_5601,fact_5602,fact_5603,fact_5604,fact_5605,fact_5606,fact_5607,fact_5608,fact_5609,fact_5610,fact_5611,fact_5612,fact_5613,fact_5614,fact_5615,fact_5616,fact_5617,fact_5618,fact_5619,fact_5620,fact_5621,fact_5622,fact_5623,fact_5624,fact_5625,fact_5626,fact_5627,fact_5628,fact_5629,fact_5630,fact_5631,fact_5632,fact_5633,fact_5634,fact_5635,fact_5636,fact_5637,fact_5638,fact_5639,fact_5640,fact_5641,fact_5642,fact_5643,fact_5644,fact_5645,fact_5646,fact_5647,fact_5648,fact_5649,fact_5650,fact_5651,fact_5652,fact_5653,fact_5654,fact_5655,fact_5656,fact_5657,fact_5658,fact_5659,fact_5660,fact_5661,fact_5662,fact_5663,fact_5664,fact_5665,fact_5666,fact_5667,fact_5668,fact_5669,fact_5670,fact_5671,fact_5672,fact_5673,fact_5674,fact_5675,fact_5676,fact_5677,fact_5678,fact_5679,fact_5680,fact_5681,fact_5682,fact_5683,fact_5684,fact_5685,fact_5686,fact_5687,fact_5688,fact_5689,fact_5690,fact_5691,fact_5692,fact_5693,fact_5694,fact_5695,fact_5696,fact_5697,fact_5698,fact_5699,fact_5700,fact_5701,fact_5702,fact_5703,fact_5704,fact_5705,fact_5706,fact_5707,fact_5708,fact_5709,fact_5710,fact_5711,fact_5712,fact_5713,fact_5714,fact_5715,fact_5716,fact_5717,fact_5718,fact_5719,fact_5720,fact_5721,fact_5722,fact_5723,fact_5724,fact_5725,fact_5726,fact_5727,fact_5728,fact_5729,fact_5730,fact_5731,fact_5732,fact_5733,fact_5734,fact_5735,fact_5736,fact_5737,fact_5738,fact_5739,fact_5740,fact_5741,fact_5742,fact_5743,fact_5744,fact_5745,fact_5746,fact_5747,fact_5748,fact_5749,fact_5750,fact_5751,fact_5752,fact_5753,fact_5754,fact_5755,fact_5756,fact_5757,fact_5758,fact_5759,fact_5760,fact_5761,fact_5762,fact_5763,fact_5764,fact_5765,fact_5766,fact_5767,fact_5768,fact_5769,fact_5770,fact_5771,fact_5772,fact_5773,fact_5774,fact_5775,fact_5776,fact_5777,fact_5778,fact_5779,fact_5780,fact_5781,fact_5782,fact_5783,fact_5784,fact_5785,fact_5786,fact_5787,fact_5788,fact_5789,fact_5790,fact_5791,fact_5792,fact_5793,fact_5794,fact_5795,fact_5796,fact_5797,fact_5798,fact_5799,fact_5800,fact_5801,fact_5802,fact_5803,fact_5804,fact_5805,fact_5806,fact_5807,fact_5808,fact_5809,fact_5810,fact_5811,fact_5812,fact_5813,fact_5814,fact_5815,fact_5816,fact_5817,fact_5818,fact_5819,fact_5820,fact_5821,fact_5822,fact_5823,fact_5824,fact_5825,fact_5826,fact_5827,fact_5828,fact_5829,fact_5830,fact_5831,fact_5832,fact_5833,fact_5834,fact_5835,fact_5836,fact_5837,fact_5838,fact_5839,fact_5840,fact_5841,fact_5842,fact_5843,fact_5844,fact_5845,fact_5846,fact_5847,fact_5848,fact_5849,fact_5850,fact_5851,fact_5852,fact_5853,fact_5854,fact_5855,fact_5856,fact_5857,fact_5858,fact_5859,fact_5860,fact_5861,fact_5862,fact_5863,fact_5864,fact_5865,fact_5866,fact_5867,fact_5868,fact_5869,fact_5870,fact_5871,fact_5872,fact_5873,fact_5874,fact_5875,fact_5876,fact_5877,fact_5878,fact_5879,fact_5880,fact_5881,fact_5882,fact_5883,fact_5884,fact_5885,fact_5886,fact_5887,fact_5888,fact_5889,fact_5890,fact_5891,fact_5892,fact_5893,fact_5894,fact_5895,fact_5896,fact_5897,fact_5898,fact_5899,fact_5900,fact_5901,fact_5902,fact_5903,fact_5904,fact_5905,fact_5906,fact_5907,fact_5908,fact_5909,fact_5910,fact_5911,fact_5912,fact_5913,fact_5914,fact_5915,fact_5916,fact_5917,fact_5918,fact_5919,fact_5920,fact_5921,fact_5922,fact_5923,fact_5924,fact_5925,fact_5926,fact_5927,fact_5928,fact_5929,fact_5930,fact_5931,fact_5932,fact_5933,fact_5934,fact_5935,fact_5936,fact_5937,fact_5938,fact_5939,fact_5940,fact_5941,fact_5942,fact_5943,fact_5944,fact_5945,fact_5946,fact_5947,fact_5948,fact_5949,fact_5950,fact_5951,fact_5952,fact_5953,fact_5954,fact_5955,fact_5956,fact_5957,fact_5958,fact_5959,fact_5960,fact_5961,fact_5962,fact_5963,fact_5964,fact_5965,fact_5966,fact_5967,fact_5968,fact_5969,fact_5970,fact_5971,fact_5972,fact_5973,fact_5974,fact_5975,fact_5976,fact_5977,fact_5978,fact_5979,fact_5980,fact_5981,fact_5982,fact_5983,fact_5984,fact_5985,fact_5986,fact_5987,fact_5988,fact_5989,fact_5990,fact_5991,fact_5992,fact_5993,fact_5994,fact_5995,fact_5996,fact_5997,fact_5998,fact_5999,fact_6000,fact_6001,fact_6002,fact_6003,fact_6004,fact_6005,fact_6006,fact_6007,fact_6008,fact_6009,fact_6010,fact_6011,fact_6012,fact_6013,fact_6014,fact_6015,fact_6016,fact_6017,fact_6018,fact_6019,fact_6020,fact_6021,fact_6022,fact_6023,fact_6024,fact_6025,fact_6026,fact_6027,fact_6028,fact_6029,fact_6030,fact_6031,fact_6032,fact_6033,fact_6034,fact_6035,fact_6036,fact_6037,fact_6038,fact_6039,fact_6040,fact_6041,fact_6042,fact_6043,fact_6044,fact_6045,fact_6046,fact_6047,fact_6048,fact_6049,fact_6050,fact_6051,fact_6052,fact_6053,fact_6054,fact_6055,fact_6056,fact_6057,fact_6058,fact_6059,fact_6060,fact_6061,fact_6062,fact_6063,fact_6064,fact_6065,fact_6066,fact_6067,fact_6068,fact_6069,fact_6070,fact_6071,fact_6072,fact_6073,fact_6074,fact_6075,fact_6076,fact_6077,fact_6078,fact_6079,fact_6080,fact_6081,fact_6082,fact_6083,fact_6084,fact_6085,fact_6086,fact_6087,fact_6088,fact_6089,fact_6090,fact_6091,fact_6092,fact_6093,fact_6094,fact_6095,fact_6096,fact_6097,fact_6098,fact_6099,fact_6100,fact_6101,fact_6102,fact_6103,fact_6104,fact_6105,fact_6106,fact_6107,fact_6108,fact_6109,fact_6110,fact_6111,fact_6112,fact_6113,fact_6114,fact_6115,fact_6116,fact_6117,fact_6118,fact_6119,fact_6120,fact_6121,fact_6122,fact_6123,fact_6124,fact_6125,fact_6126,fact_6127,fact_6128,fact_6129,fact_6130,fact_6131,fact_6132,fact_6133,fact_6134,fact_6135,fact_6136,fact_6137,fact_6138,fact_6139,fact_6140,fact_6141,fact_6142,fact_6143,fact_6144,fact_6145,fact_6146,fact_6147,fact_6148,fact_6149,fact_6150,fact_6151,fact_6152,fact_6153,fact_6154,fact_6155,fact_6156,fact_6157,fact_6158,fact_6159,fact_6160,fact_6161,fact_6162,fact_6163,fact_6164,fact_6165,fact_6166,fact_6167,fact_6168,fact_6169,fact_6170,fact_6171,fact_6172,fact_6173,fact_6174,fact_6175,fact_6176,fact_6177,fact_6178,fact_6179,fact_6180,fact_6181,fact_6182,fact_6183,fact_6184,fact_6185,fact_6186,fact_6187,fact_6188,fact_6189,fact_6190,fact_6191,fact_6192,fact_6193,fact_6194,fact_6195,fact_6196,fact_6197,fact_6198,fact_6199,fact_6200,fact_6201,fact_6202,fact_6203,fact_6204,fact_6205,fact_6206,fact_6207,fact_6208,fact_6209,fact_6210,fact_6211,fact_6212,fact_6213,fact_6214,fact_6215,fact_6216,fact_6217,fact_6218,fact_6219,fact_6220,fact_6221,fact_6222,fact_6223,fact_6224,fact_6225,fact_6226,fact_6227,fact_6228,fact_6229,fact_6230,fact_6231,fact_6232,fact_6233,fact_6234,fact_6235,fact_6236,fact_6237,fact_6238,fact_6239,fact_6240,fact_6241,fact_6242,fact_6243,fact_6244,fact_6245,fact_6246,fact_6247,fact_6248,fact_6249,fact_6250,fact_6251,fact_6252,fact_6253,fact_6254,fact_6255,fact_6256,fact_6257,fact_6258,fact_6259,fact_6260,fact_6261,fact_6262,fact_6263,fact_6264,fact_6265,fact_6266,fact_6267,fact_6268,fact_6269,fact_6270,fact_6271,fact_6272,fact_6273,fact_6274,fact_6275,fact_6276,fact_6277,fact_6278,fact_6279,fact_6280,fact_6281,fact_6282,fact_6283,fact_6284,fact_6285,fact_6286,fact_6287,fact_6288,fact_6289,fact_6290,fact_6291,fact_6292,fact_6293,fact_6294,fact_6295,fact_6296,fact_6297,fact_6298,fact_6299,fact_6300,fact_6301,fact_6302,fact_6303,fact_6304,fact_6305,fact_6306,fact_6307,fact_6308,fact_6309,fact_6310,fact_6311,fact_6312,fact_6313,fact_6314,fact_6315,fact_6316,fact_6317,fact_6318,fact_6319,fact_6320,fact_6321,fact_6322,fact_6323,fact_6324,fact_6325,fact_6326,fact_6327,fact_6328,fact_6329,fact_6330,fact_6331,fact_6332,fact_6333,fact_6334,fact_6335,fact_6336,fact_6337,fact_6338,fact_6339,fact_6340,fact_6341,fact_6342,fact_6343,fact_6344,fact_6345,fact_6346,fact_6347,fact_6348,fact_6349,fact_6350,fact_6351,fact_6352,fact_6353,fact_6354,fact_6355,fact_6356,fact_6357,fact_6358,fact_6359,fact_6360,fact_6361,fact_6362,fact_6363,fact_6364,fact_6365,fact_6366,fact_6367,fact_6368,fact_6369,fact_6370,fact_6371,fact_6372,fact_6373,fact_6374,fact_6375,fact_6376,fact_6377,fact_6378,fact_6379,fact_6380,fact_6381,fact_6382,fact_6383,fact_6384,fact_6385,fact_6386,fact_6387,fact_6388,fact_6389,fact_6390,fact_6391,fact_6392,fact_6393,fact_6394,fact_6395,fact_6396,fact_6397,fact_6398,fact_6399,fact_6400,fact_6401,fact_6402,fact_6403,fact_6404,fact_6405,fact_6406,fact_6407,fact_6408,fact_6409,fact_6410,fact_6411,fact_6412,fact_6413,fact_6414,fact_6415,fact_6416,fact_6417,fact_6418,fact_6419,fact_6420,fact_6421,fact_6422,fact_6423,fact_6424,fact_6425,fact_6426,fact_6427,fact_6428,fact_6429,fact_6430,fact_6431,fact_6432,fact_6433,fact_6434,fact_6435,fact_6436,fact_6437,fact_6438,fact_6439,fact_6440,fact_6441,fact_6442,fact_6443,fact_6444,fact_6445,fact_6446,fact_6447,fact_6448,fact_6449,fact_6450,fact_6451,fact_6452,fact_6453,fact_6454,fact_6455,fact_6456,fact_6457,fact_6458,fact_6459,fact_6460,fact_6461,fact_6462,fact_6463,fact_6464,fact_6465,fact_6466,fact_6467,fact_6468,fact_6469,fact_6470,fact_6471,fact_6472,fact_6473,fact_6474,fact_6475,fact_6476,fact_6477,fact_6478,fact_6479,fact_6480,fact_6481,fact_6482,fact_6483,fact_6484,fact_6485,fact_6486,fact_6487,fact_6488,fact_6489,fact_6490,fact_6491,fact_6492,fact_6493,fact_6494,fact_6495,fact_6496,fact_6497,fact_6498,fact_6499,fact_6500,fact_6501,fact_6502,fact_6503,fact_6504,fact_6505,fact_6506,fact_6507,fact_6508,fact_6509,fact_6510,fact_6511,fact_6512,fact_6513,fact_6514,fact_6515,fact_6516,fact_6517,fact_6518,fact_6519,fact_6520,fact_6521,fact_6522,fact_6523,fact_6524,fact_6525,fact_6526,fact_6527,fact_6528,fact_6529,fact_6530,fact_6531,fact_6532,fact_6533,fact_6534,fact_6535,fact_6536,fact_6537,fact_6538,fact_6539,fact_6540,fact_6541,fact_6542,fact_6543,fact_6544,fact_6545,fact_6546,fact_6547,fact_6548,fact_6549,fact_6550,fact_6551,fact_6552,fact_6553,fact_6554,fact_6555,fact_6556,fact_6557,fact_6558,fact_6559,fact_6560,fact_6561,fact_6562,fact_6563,fact_6564,fact_6565,fact_6566,fact_6567,fact_6568,fact_6569,fact_6570,fact_6571,fact_6572,fact_6573,fact_6574,fact_6575,fact_6576,fact_6577,fact_6578,fact_6579,fact_6580,fact_6581,fact_6582,fact_6583,fact_6584,fact_6585,fact_6586,fact_6587,fact_6588,fact_6589,fact_6590,fact_6591,fact_6592,fact_6593,fact_6594,fact_6595,fact_6596,fact_6597,fact_6598,fact_6599,fact_6600,fact_6601,fact_6602,fact_6603,fact_6604,fact_6605,fact_6606,fact_6607,fact_6608,fact_6609,fact_6610,fact_6611,fact_6612,fact_6613,fact_6614,fact_6615,fact_6616,fact_6617,fact_6618,fact_6619,fact_6620,fact_6621,fact_6622,fact_6623,fact_6624,fact_6625,fact_6626,fact_6627,fact_6628,fact_6629,fact_6630,fact_6631,fact_6632,fact_6633,fact_6634,fact_6635,fact_6636,fact_6637,fact_6638,fact_6639,fact_6640,fact_6641,fact_6642,fact_6643,fact_6644,fact_6645,fact_6646,fact_6647,fact_6648,fact_6649,fact_6650,fact_6651,fact_6652,fact_6653,fact_6654,fact_6655,fact_6656,fact_6657,fact_6658,fact_6659,fact_6660,fact_6661,fact_6662,fact_6663,fact_6664,fact_6665,fact_6666,fact_6667,fact_6668,fact_6669,fact_6670,fact_6671,fact_6672,fact_6673,fact_6674,fact_6675,fact_6676,fact_6677,fact_6678,fact_6679,fact_6680,fact_6681,fact_6682,fact_6683,fact_6684,fact_6685,fact_6686,fact_6687,fact_6688,fact_6689,fact_6690,fact_6691,fact_6692,fact_6693,fact_6694,fact_6695,fact_6696,fact_6697,fact_6698,fact_6699,fact_6700,fact_6701,fact_6702,fact_6703,fact_6704,fact_6705,fact_6706,fact_6707,fact_6708,fact_6709,fact_6710,fact_6711,fact_6712,fact_6713,fact_6714,fact_6715,fact_6716,fact_6717,fact_6718,fact_6719,fact_6720,fact_6721,fact_6722,fact_6723,fact_6724,fact_6725,fact_6726,fact_6727,fact_6728,fact_6729,fact_6730,fact_6731,fact_6732,fact_6733,fact_6734,fact_6735,fact_6736,fact_6737,fact_6738,fact_6739,fact_6740,fact_6741,fact_6742,fact_6743,fact_6744,fact_6745,fact_6746,fact_6747,fact_6748,fact_6749,fact_6750,fact_6751,fact_6752,fact_6753,fact_6754,fact_6755,fact_6756,fact_6757,fact_6758,fact_6759,fact_6760,fact_6761,fact_6762,fact_6763,fact_6764,fact_6765,fact_6766,fact_6767,fact_6768,fact_6769,fact_6770,fact_6771,fact_6772,fact_6773,fact_6774,fact_6775,fact_6776,fact_6777,fact_6778,fact_6779,fact_6780,fact_6781,fact_6782,fact_6783,fact_6784,fact_6785,fact_6786,fact_6787,fact_6788,fact_6789,fact_6790,fact_6791,fact_6792,fact_6793,fact_6794,fact_6795,fact_6796,fact_6797,fact_6798,fact_6799,fact_6800,fact_6801,fact_6802,fact_6803,fact_6804,fact_6805,fact_6806,fact_6807,fact_6808,fact_6809,fact_6810,fact_6811,fact_6812,fact_6813,fact_6814,fact_6815,fact_6816,fact_6817,fact_6818,fact_6819,fact_6820,fact_6821,fact_6822,fact_6823,fact_6824,fact_6825,fact_6826,fact_6827,fact_6828,fact_6829,fact_6830,fact_6831,fact_6832,fact_6833,fact_6834,fact_6835,fact_6836,fact_6837,fact_6838,fact_6839,fact_6840,fact_6841,fact_6842,fact_6843,fact_6844,fact_6845,fact_6846,fact_6847,fact_6848,fact_6849,fact_6850,fact_6851,fact_6852,fact_6853,fact_6854,fact_6855,fact_6856,fact_6857,fact_6858,fact_6859,fact_6860,fact_6861,fact_6862,fact_6863,fact_6864,fact_6865,fact_6866,fact_6867,fact_6868,fact_6869,fact_6870,fact_6871,fact_6872,fact_6873,fact_6874,fact_6875,fact_6876,fact_6877,fact_6878,fact_6879,fact_6880,fact_6881,fact_6882,fact_6883,fact_6884,fact_6885,fact_6886,fact_6887,fact_6888,fact_6889,fact_6890,fact_6891,fact_6892,fact_6893,fact_6894,fact_6895,fact_6896,fact_6897,fact_6898,fact_6899,fact_6900,fact_6901,fact_6902,fact_6903,fact_6904,fact_6905,fact_6906,fact_6907,fact_6908,fact_6909,fact_6910,fact_6911,fact_6912,fact_6913,fact_6914,fact_6915,fact_6916,fact_6917,fact_6918,fact_6919,fact_6920,fact_6921,fact_6922,fact_6923,fact_6924,fact_6925,fact_6926,fact_6927,fact_6928,fact_6929,fact_6930,fact_6931,fact_6932,fact_6933,fact_6934,fact_6935,fact_6936,fact_6937,fact_6938,fact_6939,fact_6940,fact_6941,fact_6942,fact_6943,fact_6944,fact_6945,fact_6946,fact_6947,fact_6948,fact_6949,fact_6950,fact_6951,fact_6952,fact_6953,fact_6954,fact_6955,fact_6956,fact_6957,fact_6958,fact_6959,fact_6960,fact_6961,fact_6962,fact_6963,fact_6964,fact_6965,fact_6966,fact_6967,fact_6968,fact_6969,fact_6970,fact_6971,fact_6972,fact_6973,fact_6974,fact_6975,fact_6976,fact_6977,fact_6978,fact_6979,fact_6980,fact_6981,fact_6982,fact_6983,fact_6984,fact_6985,fact_6986,fact_6987,fact_6988,fact_6989,fact_6990,fact_6991,fact_6992,fact_6993,fact_6994,fact_6995,fact_6996,fact_6997,fact_6998,fact_6999,fact_7000,fact_7001,fact_7002,fact_7003,fact_7004,fact_7005,fact_7006,fact_7007,fact_7008,fact_7009,fact_7010,fact_7011,fact_7012,fact_7013,fact_7014,fact_7015,fact_7016,fact_7017,fact_7018,fact_7019,fact_7020,fact_7021,fact_7022,fact_7023,fact_7024,fact_7025,fact_7026,fact_7027,fact_7028,fact_7029,fact_7030,fact_7031,fact_7032,fact_7033,fact_7034,fact_7035,fact_7036,fact_7037,fact_7038,fact_7039,fact_7040,fact_7041,fact_7042,fact_7043,fact_7044,fact_7045,fact_7046,fact_7047,fact_7048,fact_7049,fact_7050,fact_7051,fact_7052,fact_7053,fact_7054,fact_7055,fact_7056,fact_7057,fact_7058,fact_7059,fact_7060,fact_7061,fact_7062,fact_7063,fact_7064,fact_7065,fact_7066,fact_7067,fact_7068,fact_7069,fact_7070,fact_7071,fact_7072,fact_7073,fact_7074,fact_7075,fact_7076,fact_7077,fact_7078,fact_7079,fact_7080,fact_7081,fact_7082,fact_7083,fact_7084,fact_7085,fact_7086,fact_7087,fact_7088,fact_7089,fact_7090,fact_7091,fact_7092,fact_7093,fact_7094,fact_7095,fact_7096,fact_7097,fact_7098,fact_7099,fact_7100,fact_7101,fact_7102,fact_7103,fact_7104,fact_7105,fact_7106,fact_7107,fact_7108,fact_7109,fact_7110,fact_7111,fact_7112,fact_7113,fact_7114,fact_7115,fact_7116,fact_7117,fact_7118,fact_7119,fact_7120,fact_7121,fact_7122,fact_7123,fact_7124,fact_7125,fact_7126,fact_7127,fact_7128,fact_7129,fact_7130,fact_7131,fact_7132,fact_7133,fact_7134,fact_7135,fact_7136,fact_7137,fact_7138,fact_7139,fact_7140,fact_7141,fact_7142,fact_7143,fact_7144,fact_7145,fact_7146,fact_7147,fact_7148,fact_7149,fact_7150,fact_7151,fact_7152,fact_7153,fact_7154,fact_7155,fact_7156,fact_7157,fact_7158,fact_7159,fact_7160,fact_7161,fact_7162,fact_7163,fact_7164,fact_7165,fact_7166,fact_7167,fact_7168,fact_7169,fact_7170,fact_7171,fact_7172,fact_7173,fact_7174,fact_7175,fact_7176,fact_7177,fact_7178,fact_7179,fact_7180,fact_7181,fact_7182,fact_7183,fact_7184,fact_7185,fact_7186,fact_7187,fact_7188,fact_7189,fact_7190,fact_7191,fact_7192,fact_7193,fact_7194,fact_7195,fact_7196,fact_7197,fact_7198,fact_7199,fact_7200,fact_7201,fact_7202,fact_7203,fact_7204,fact_7205,fact_7206,fact_7207,fact_7208,fact_7209,fact_7210,fact_7211,fact_7212,fact_7213,fact_7214,fact_7215,fact_7216,fact_7217,fact_7218,fact_7219,fact_7220,fact_7221,fact_7222,fact_7223,fact_7224,fact_7225,fact_7226,fact_7227,fact_7228,fact_7229,fact_7230,fact_7231,fact_7232,fact_7233,fact_7234,fact_7235,fact_7236,fact_7237,fact_7238,fact_7239,fact_7240,fact_7241,fact_7242,fact_7243,fact_7244,fact_7245,fact_7246,fact_7247,fact_7248,fact_7249,fact_7250,fact_7251,fact_7252,fact_7253,fact_7254,fact_7255,fact_7256,fact_7257,fact_7258,fact_7259,fact_7260,fact_7261,fact_7262,fact_7263,fact_7264,fact_7265,fact_7266,fact_7267,fact_7268,fact_7269,fact_7270,fact_7271,fact_7272,fact_7273,fact_7274,fact_7275,fact_7276,fact_7277,fact_7278,fact_7279,fact_7280,fact_7281,fact_7282,fact_7283,fact_7284,fact_7285,fact_7286,fact_7287,fact_7288,fact_7289,fact_7290,fact_7291,fact_7292,fact_7293,fact_7294,fact_7295,fact_7296,fact_7297,fact_7298,fact_7299,fact_7300,fact_7301,fact_7302,fact_7303,fact_7304,fact_7305,fact_7306,fact_7307,fact_7308,fact_7309,fact_7310,fact_7311,fact_7312,fact_7313,fact_7314,fact_7315,fact_7316,fact_7317,fact_7318,fact_7319,fact_7320,fact_7321,fact_7322,fact_7323,fact_7324,fact_7325,fact_7326,fact_7327,fact_7328,fact_7329,fact_7330,fact_7331,fact_7332,fact_7333,fact_7334,fact_7335,fact_7336,fact_7337,fact_7338,fact_7339,fact_7340,fact_7341,fact_7342,fact_7343,fact_7344,fact_7345,fact_7346,fact_7347,fact_7348,fact_7349,fact_7350,fact_7351,fact_7352,fact_7353,fact_7354,fact_7355,fact_7356,fact_7357,fact_7358,fact_7359,fact_7360,fact_7361,fact_7362,fact_7363,fact_7364,fact_7365,fact_7366,fact_7367,fact_7368,fact_7369,fact_7370,fact_7371,fact_7372,fact_7373,fact_7374,fact_7375,fact_7376,fact_7377,fact_7378,fact_7379,fact_7380,fact_7381,fact_7382,fact_7383,fact_7384,fact_7385,fact_7386,fact_7387,fact_7388,fact_7389,fact_7390,fact_7391,fact_7392,fact_7393,fact_7394,fact_7395,fact_7396,fact_7397,fact_7398,fact_7399,fact_7400,fact_7401,fact_7402,fact_7403,fact_7404,fact_7405,fact_7406,fact_7407,fact_7408,fact_7409,fact_7410,fact_7411,fact_7412,fact_7413,fact_7414,fact_7415,fact_7416,fact_7417,fact_7418,fact_7419,fact_7420,fact_7421,fact_7422,fact_7423,fact_7424,fact_7425,fact_7426,fact_7427,fact_7428,fact_7429,fact_7430,fact_7431,fact_7432,fact_7433,fact_7434,fact_7435,fact_7436,fact_7437,fact_7438,fact_7439,fact_7440,fact_7441,fact_7442,fact_7443,fact_7444,fact_7445,fact_7446,fact_7447,fact_7448,fact_7449,fact_7450,fact_7451,fact_7452,fact_7453,fact_7454,fact_7455,fact_7456,fact_7457,fact_7458,fact_7459,fact_7460,fact_7461,fact_7462,fact_7463,fact_7464,fact_7465,fact_7466,fact_7467,fact_7468,fact_7469,fact_7470,fact_7471,fact_7472,fact_7473,fact_7474,fact_7475,fact_7476,fact_7477,fact_7478,fact_7479,fact_7480,fact_7481,fact_7482,fact_7483,fact_7484,fact_7485,fact_7486,fact_7487,fact_7488,fact_7489,fact_7490,fact_7491,fact_7492,fact_7493,fact_7494,fact_7495,fact_7496,fact_7497,fact_7498,fact_7499,fact_7500,fact_7501,fact_7502,fact_7503,fact_7504,fact_7505,fact_7506,fact_7507,fact_7508,fact_7509,fact_7510,fact_7511,fact_7512,fact_7513,fact_7514,fact_7515,fact_7516,fact_7517,fact_7518,fact_7519,fact_7520,fact_7521,fact_7522,fact_7523,fact_7524,fact_7525,fact_7526,fact_7527,fact_7528,fact_7529,fact_7530,fact_7531,fact_7532,fact_7533,fact_7534,fact_7535,fact_7536,fact_7537,fact_7538,fact_7539,fact_7540,fact_7541,fact_7542,fact_7543,fact_7544,fact_7545,fact_7546,fact_7547,fact_7548,fact_7549,fact_7550,fact_7551,fact_7552,fact_7553,fact_7554,fact_7555,fact_7556,fact_7557,fact_7558,fact_7559,fact_7560,fact_7561,fact_7562,fact_7563,fact_7564,fact_7565,fact_7566,fact_7567,fact_7568,fact_7569,fact_7570,fact_7571,fact_7572,fact_7573,fact_7574,fact_7575,fact_7576,fact_7577,fact_7578,fact_7579,fact_7580,fact_7581,fact_7582,fact_7583,fact_7584,fact_7585,fact_7586,fact_7587,fact_7588,fact_7589,fact_7590,fact_7591,fact_7592,fact_7593,fact_7594,fact_7595,fact_7596,fact_7597,fact_7598,fact_7599,fact_7600,fact_7601,fact_7602,fact_7603,fact_7604,fact_7605,fact_7606,fact_7607,fact_7608,fact_7609,fact_7610,fact_7611,fact_7612,fact_7613,fact_7614,fact_7615,fact_7616,fact_7617,fact_7618,fact_7619,fact_7620,fact_7621,fact_7622,fact_7623,fact_7624,fact_7625,fact_7626,fact_7627,fact_7628,fact_7629,fact_7630,fact_7631,fact_7632,fact_7633,fact_7634,fact_7635,fact_7636,fact_7637,fact_7638,fact_7639,fact_7640,fact_7641,fact_7642,fact_7643,fact_7644,fact_7645,fact_7646,fact_7647,fact_7648,fact_7649,fact_7650,fact_7651,fact_7652,fact_7653,fact_7654,fact_7655,fact_7656,fact_7657,fact_7658,fact_7659,fact_7660,fact_7661,fact_7662,fact_7663,fact_7664,fact_7665,fact_7666,fact_7667,fact_7668,fact_7669,fact_7670,fact_7671,fact_7672,fact_7673,fact_7674,fact_7675,fact_7676,fact_7677,fact_7678,fact_7679,fact_7680,fact_7681,fact_7682,fact_7683,fact_7684,fact_7685,fact_7686,fact_7687,fact_7688,fact_7689,fact_7690,fact_7691,fact_7692,fact_7693,fact_7694,fact_7695,fact_7696,fact_7697,fact_7698,fact_7699,fact_7700,fact_7701,fact_7702,fact_7703,fact_7704,fact_7705,fact_7706,fact_7707,fact_7708,fact_7709,fact_7710,fact_7711,fact_7712,fact_7713,fact_7714,fact_7715,fact_7716,fact_7717,fact_7718,fact_7719,fact_7720,fact_7721,fact_7722,fact_7723,fact_7724,fact_7725,fact_7726,fact_7727,fact_7728,fact_7729,fact_7730,fact_7731,fact_7732,fact_7733,fact_7734,fact_7735,fact_7736,fact_7737,fact_7738,fact_7739,fact_7740,fact_7741,fact_7742,fact_7743,fact_7744,fact_7745,fact_7746,fact_7747,fact_7748,fact_7749,fact_7750,fact_7751,fact_7752,fact_7753,fact_7754,fact_7755,fact_7756,fact_7757,fact_7758,fact_7759,fact_7760,fact_7761,fact_7762,fact_7763,fact_7764,fact_7765,fact_7766,fact_7767,fact_7768,fact_7769,fact_7770,fact_7771,fact_7772,fact_7773,fact_7774,fact_7775,fact_7776,fact_7777,fact_7778,fact_7779,fact_7780,fact_7781,fact_7782,fact_7783,fact_7784,fact_7785,fact_7786,fact_7787,fact_7788,fact_7789,fact_7790,fact_7791,fact_7792,fact_7793,fact_7794,fact_7795,fact_7796,fact_7797,fact_7798,fact_7799,fact_7800,fact_7801,fact_7802,fact_7803,fact_7804,fact_7805,fact_7806,fact_7807,fact_7808,fact_7809,fact_7810,fact_7811,fact_7812,fact_7813,fact_7814,fact_7815,fact_7816,fact_7817,fact_7818,fact_7819,fact_7820,fact_7821,fact_7822,fact_7823,fact_7824,fact_7825,fact_7826,fact_7827,fact_7828,fact_7829,fact_7830,fact_7831,fact_7832,fact_7833,fact_7834,fact_7835,fact_7836,fact_7837,fact_7838,fact_7839,fact_7840,fact_7841,fact_7842,fact_7843,fact_7844,fact_7845,fact_7846,fact_7847,fact_7848,fact_7849,fact_7850,fact_7851,fact_7852,fact_7853,fact_7854,fact_7855,fact_7856,fact_7857,fact_7858,fact_7859,fact_7860,fact_7861,fact_7862,fact_7863,fact_7864,fact_7865,fact_7866,fact_7867,fact_7868,fact_7869,fact_7870,fact_7871,fact_7872,fact_7873,fact_7874,fact_7875,fact_7876,fact_7877,fact_7878,fact_7879,fact_7880,fact_7881,fact_7882,fact_7883,fact_7884,fact_7885,fact_7886,fact_7887,fact_7888,fact_7889,fact_7890,fact_7891,fact_7892,fact_7893,fact_7894,fact_7895,fact_7896,fact_7897,fact_7898,fact_7899,fact_7900,fact_7901,fact_7902,fact_7903,fact_7904,fact_7905,fact_7906,fact_7907,fact_7908,fact_7909,fact_7910,fact_7911,fact_7912,fact_7913,fact_7914,fact_7915,fact_7916,fact_7917,fact_7918,fact_7919,fact_7920,fact_7921,fact_7922,fact_7923,fact_7924,fact_7925,fact_7926,fact_7927,fact_7928,fact_7929,fact_7930,fact_7931,fact_7932,fact_7933,fact_7934,fact_7935,fact_7936,fact_7937,fact_7938,fact_7939,fact_7940,fact_7941,fact_7942,fact_7943,fact_7944,fact_7945,fact_7946,fact_7947,fact_7948,fact_7949,fact_7950,fact_7951,fact_7952,fact_7953,fact_7954,fact_7955,fact_7956,fact_7957,fact_7958,fact_7959,fact_7960,fact_7961,fact_7962,fact_7963,fact_7964,fact_7965,fact_7966,fact_7967,fact_7968,fact_7969,fact_7970,fact_7971,fact_7972,fact_7973,fact_7974,fact_7975,fact_7976,fact_7977,fact_7978,fact_7979,fact_7980,fact_7981,fact_7982,fact_7983,fact_7984,fact_7985,fact_7986,fact_7987,fact_7988,fact_7989,fact_7990,fact_7991,fact_7992,fact_7993,fact_7994,fact_7995,fact_7996,fact_7997,fact_7998,fact_7999,fact_8000,fact_8001,fact_8002,fact_8003,fact_8004,fact_8005,fact_8006,fact_8007,fact_8008,fact_8009,fact_8010,fact_8011,fact_8012,fact_8013,fact_8014,fact_8015,fact_8016,fact_8017,fact_8018,fact_8019,fact_8020,fact_8021,fact_8022,fact_8023,fact_8024,fact_8025,fact_8026,fact_8027,fact_8028,fact_8029,fact_8030,fact_8031,fact_8032,fact_8033,fact_8034,fact_8035,fact_8036,fact_8037,fact_8038,fact_8039,fact_8040,fact_8041,fact_8042,fact_8043,fact_8044,fact_8045,fact_8046,fact_8047,fact_8048,fact_8049,fact_8050,fact_8051,fact_8052,fact_8053,fact_8054,fact_8055,fact_8056,fact_8057,fact_8058,fact_8059,fact_8060,fact_8061,fact_8062,fact_8063,fact_8064,fact_8065,fact_8066,fact_8067,fact_8068,fact_8069,fact_8070,fact_8071,fact_8072,fact_8073,fact_8074,fact_8075,fact_8076,fact_8077,fact_8078,fact_8079,fact_8080,fact_8081,fact_8082,fact_8083,fact_8084,fact_8085,fact_8086,fact_8087,fact_8088,fact_8089,fact_8090,fact_8091,fact_8092,fact_8093,fact_8094,fact_8095,fact_8096,fact_8097,fact_8098,fact_8099,fact_8100,fact_8101,fact_8102,fact_8103,fact_8104,fact_8105,fact_8106,fact_8107,fact_8108,fact_8109,fact_8110,fact_8111,fact_8112,fact_8113,fact_8114,fact_8115,fact_8116,fact_8117,fact_8118,fact_8119,fact_8120,fact_8121,fact_8122,fact_8123,fact_8124,fact_8125,fact_8126,fact_8127,fact_8128,fact_8129,fact_8130,fact_8131,fact_8132,fact_8133,fact_8134,fact_8135,fact_8136,fact_8137,fact_8138,fact_8139,fact_8140,fact_8141,fact_8142,fact_8143,fact_8144,fact_8145,fact_8146,fact_8147,fact_8148,fact_8149,fact_8150,fact_8151,fact_8152,fact_8153,fact_8154,fact_8155,fact_8156,fact_8157,fact_8158,fact_8159,fact_8160,fact_8161,fact_8162,fact_8163,fact_8164,fact_8165,fact_8166,fact_8167,fact_8168,fact_8169,fact_8170,fact_8171,fact_8172,fact_8173,fact_8174,fact_8175,fact_8176,fact_8177,fact_8178,fact_8179,fact_8180,fact_8181,fact_8182,fact_8183,fact_8184,fact_8185,fact_8186,fact_8187,fact_8188,fact_8189,fact_8190,fact_8191,fact_8192,fact_8193,fact_8194,fact_8195,fact_8196,fact_8197,fact_8198,fact_8199,fact_8200,fact_8201,fact_8202,fact_8203,fact_8204,fact_8205,fact_8206,fact_8207,fact_8208,fact_8209,fact_8210,fact_8211,fact_8212,fact_8213,fact_8214,fact_8215,fact_8216,fact_8217,fact_8218,fact_8219,fact_8220,fact_8221,fact_8222,fact_8223,fact_8224,fact_8225,fact_8226,fact_8227,fact_8228,fact_8229,fact_8230,fact_8231,fact_8232,fact_8233,fact_8234,fact_8235,fact_8236,fact_8237,fact_8238,fact_8239,fact_8240,fact_8241,fact_8242,fact_8243,fact_8244,fact_8245,fact_8246,fact_8247,fact_8248,fact_8249,fact_8250,fact_8251,fact_8252,fact_8253,fact_8254,fact_8255,fact_8256,fact_8257,fact_8258,fact_8259,fact_8260,fact_8261,fact_8262,fact_8263,fact_8264,fact_8265,fact_8266,fact_8267,fact_8268,fact_8269,fact_8270,fact_8271,fact_8272,fact_8273,fact_8274,fact_8275,fact_8276,fact_8277,fact_8278,fact_8279,fact_8280,fact_8281,fact_8282,fact_8283,fact_8284,fact_8285,fact_8286,fact_8287,fact_8288,fact_8289,fact_8290,fact_8291,fact_8292,fact_8293,fact_8294,fact_8295,fact_8296,fact_8297,fact_8298,fact_8299,fact_8300,fact_8301,fact_8302,fact_8303,fact_8304,fact_8305,fact_8306,fact_8307,fact_8308,fact_8309,fact_8310,fact_8311,fact_8312,fact_8313,fact_8314,fact_8315,fact_8316,fact_8317,fact_8318,fact_8319,fact_8320,fact_8321,fact_8322,fact_8323,fact_8324,fact_8325,fact_8326,fact_8327,fact_8328,fact_8329,fact_8330,fact_8331,fact_8332,fact_8333,fact_8334,fact_8335,fact_8336,fact_8337,fact_8338,fact_8339,fact_8340,fact_8341,fact_8342,fact_8343,fact_8344,fact_8345,fact_8346,fact_8347,fact_8348,fact_8349,fact_8350,fact_8351,fact_8352,fact_8353,fact_8354,fact_8355,fact_8356,fact_8357,fact_8358,fact_8359,fact_8360,fact_8361,fact_8362,fact_8363,fact_8364,fact_8365,fact_8366,fact_8367,fact_8368,fact_8369,fact_8370,fact_8371,fact_8372,fact_8373,fact_8374,fact_8375,fact_8376,fact_8377,fact_8378,fact_8379,fact_8380,fact_8381,fact_8382,fact_8383,fact_8384,fact_8385,fact_8386,fact_8387,fact_8388,fact_8389,fact_8390,fact_8391,fact_8392,fact_8393,fact_8394,fact_8395,fact_8396,fact_8397,fact_8398,fact_8399,fact_8400,fact_8401,fact_8402,fact_8403,fact_8404,fact_8405,fact_8406,fact_8407,fact_8408,fact_8409,fact_8410,fact_8411,fact_8412,fact_8413,fact_8414,fact_8415,fact_8416,fact_8417,fact_8418,fact_8419,fact_8420,fact_8421,fact_8422,fact_8423,fact_8424,fact_8425,fact_8426,fact_8427,fact_8428,fact_8429,fact_8430,fact_8431,fact_8432,fact_8433,fact_8434,fact_8435,fact_8436,fact_8437,fact_8438,fact_8439,fact_8440,fact_8441,fact_8442,fact_8443,fact_8444,fact_8445,fact_8446,fact_8447,fact_8448,fact_8449,fact_8450,fact_8451,fact_8452,fact_8453,fact_8454,fact_8455,fact_8456,fact_8457,fact_8458,fact_8459,fact_8460,fact_8461,fact_8462,fact_8463,fact_8464,fact_8465,fact_8466,fact_8467,fact_8468,fact_8469,fact_8470,fact_8471,fact_8472,fact_8473,fact_8474,fact_8475,fact_8476,fact_8477,fact_8478,fact_8479,fact_8480,fact_8481,fact_8482,fact_8483,fact_8484,fact_8485,fact_8486,fact_8487,fact_8488,fact_8489,fact_8490,fact_8491,fact_8492,fact_8493,fact_8494,fact_8495,fact_8496,fact_8497,fact_8498,fact_8499,fact_8500,fact_8501,fact_8502,fact_8503,fact_8504,fact_8505,fact_8506,fact_8507,fact_8508,fact_8509,fact_8510,fact_8511,fact_8512,fact_8513,fact_8514,fact_8515,fact_8516,fact_8517,fact_8518,fact_8519,fact_8520,fact_8521,fact_8522,fact_8523,fact_8524,fact_8525,fact_8526,fact_8527,fact_8528,fact_8529,fact_8530,fact_8531,fact_8532,fact_8533,fact_8534,fact_8535,fact_8536,fact_8537,fact_8538,fact_8539,fact_8540,fact_8541,fact_8542,fact_8543,fact_8544,fact_8545,fact_8546,fact_8547,fact_8548,fact_8549,fact_8550,fact_8551,fact_8552,fact_8553,fact_8554,fact_8555,fact_8556,fact_8557,fact_8558,fact_8559,fact_8560,fact_8561,fact_8562,fact_8563,fact_8564,fact_8565,fact_8566,fact_8567,fact_8568,fact_8569,fact_8570,fact_8571,fact_8572,fact_8573,fact_8574,fact_8575,fact_8576,fact_8577,fact_8578,fact_8579,fact_8580,fact_8581,fact_8582,fact_8583,fact_8584,fact_8585,fact_8586,fact_8587,fact_8588,fact_8589,fact_8590,fact_8591,fact_8592,fact_8593,fact_8594,fact_8595,fact_8596,fact_8597,fact_8598,fact_8599,fact_8600,fact_8601,fact_8602,fact_8603,fact_8604,fact_8605,fact_8606,fact_8607,fact_8608,fact_8609,fact_8610,fact_8611,fact_8612,fact_8613,fact_8614,fact_8615,fact_8616,fact_8617,fact_8618,fact_8619,fact_8620,fact_8621,fact_8622,fact_8623,fact_8624,fact_8625,fact_8626,fact_8627,fact_8628,fact_8629,fact_8630,fact_8631,fact_8632,fact_8633,fact_8634,fact_8635,fact_8636,fact_8637,fact_8638,fact_8639,fact_8640,fact_8641,fact_8642,fact_8643,fact_8644,fact_8645,fact_8646,fact_8647,fact_8648,fact_8649,fact_8650,fact_8651,fact_8652,fact_8653,fact_8654,fact_8655,fact_8656,fact_8657,fact_8658,fact_8659,fact_8660,fact_8661,fact_8662,fact_8663,fact_8664,fact_8665,fact_8666,fact_8667,fact_8668,fact_8669,fact_8670,fact_8671,fact_8672,fact_8673,fact_8674,fact_8675,fact_8676,fact_8677,fact_8678,fact_8679,fact_8680,fact_8681,fact_8682,fact_8683,fact_8684,fact_8685,fact_8686,fact_8687,fact_8688,fact_8689,fact_8690,fact_8691,fact_8692,fact_8693,fact_8694,fact_8695,fact_8696,fact_8697,fact_8698,fact_8699,fact_8700,fact_8701,fact_8702,fact_8703,fact_8704,fact_8705,fact_8706,fact_8707,fact_8708,fact_8709,fact_8710,fact_8711,fact_8712,fact_8713,fact_8714,fact_8715,fact_8716,fact_8717,fact_8718,fact_8719,fact_8720,fact_8721,fact_8722,fact_8723,fact_8724,fact_8725,fact_8726,fact_8727,fact_8728,fact_8729,fact_8730,fact_8731,fact_8732,fact_8733,fact_8734,fact_8735,fact_8736,fact_8737,fact_8738,fact_8739,fact_8740,fact_8741,fact_8742,fact_8743,fact_8744,fact_8745,fact_8746,fact_8747,fact_8748,fact_8749,fact_8750,fact_8751,fact_8752,fact_8753,fact_8754,fact_8755,fact_8756,fact_8757,fact_8758,fact_8759,fact_8760,fact_8761,fact_8762,fact_8763,fact_8764,fact_8765,fact_8766,fact_8767,fact_8768,fact_8769,fact_8770,fact_8771,fact_8772,fact_8773,fact_8774,fact_8775,fact_8776,fact_8777,fact_8778,fact_8779,fact_8780,fact_8781,fact_8782,fact_8783,fact_8784,fact_8785,fact_8786,fact_8787,fact_8788,fact_8789,fact_8790,fact_8791,fact_8792,fact_8793,fact_8794,fact_8795,fact_8796,fact_8797,fact_8798,fact_8799,fact_8800,fact_8801,fact_8802,fact_8803,fact_8804,fact_8805,fact_8806,fact_8807,fact_8808,fact_8809,fact_8810,fact_8811,fact_8812,fact_8813,fact_8814,fact_8815,fact_8816,fact_8817,fact_8818,fact_8819,fact_8820,fact_8821,fact_8822,fact_8823,fact_8824,fact_8825,fact_8826,fact_8827,fact_8828,fact_8829,fact_8830,fact_8831,fact_8832,fact_8833,fact_8834,fact_8835,fact_8836,fact_8837,fact_8838,fact_8839,fact_8840,fact_8841,fact_8842,fact_8843,fact_8844,fact_8845,fact_8846,fact_8847,fact_8848,fact_8849,fact_8850,fact_8851,fact_8852,fact_8853,fact_8854,fact_8855,fact_8856,fact_8857,fact_8858,fact_8859,fact_8860,fact_8861,fact_8862,fact_8863,fact_8864,fact_8865,fact_8866,fact_8867,fact_8868,fact_8869,fact_8870,fact_8871,fact_8872,fact_8873,fact_8874,fact_8875,fact_8876,fact_8877,fact_8878,fact_8879,fact_8880,fact_8881,fact_8882,fact_8883,fact_8884,fact_8885,fact_8886,fact_8887,fact_8888,fact_8889,fact_8890,fact_8891,fact_8892,fact_8893,fact_8894,fact_8895,fact_8896,fact_8897,fact_8898,fact_8899,fact_8900,fact_8901,fact_8902,fact_8903,fact_8904,fact_8905,fact_8906,fact_8907,fact_8908,fact_8909,fact_8910,fact_8911,fact_8912,fact_8913,fact_8914,fact_8915,fact_8916,fact_8917,fact_8918,fact_8919,fact_8920,fact_8921,fact_8922,fact_8923,fact_8924,fact_8925,fact_8926,fact_8927,fact_8928,fact_8929,fact_8930,fact_8931,fact_8932,fact_8933,fact_8934,fact_8935,fact_8936,fact_8937,fact_8938,fact_8939,fact_8940,fact_8941,fact_8942,fact_8943,fact_8944,fact_8945,fact_8946,fact_8947,fact_8948,fact_8949,fact_8950,fact_8951,fact_8952,fact_8953,fact_8954,fact_8955,fact_8956,fact_8957,fact_8958,fact_8959,fact_8960,fact_8961,fact_8962,fact_8963,fact_8964,fact_8965,fact_8966,fact_8967,fact_8968,fact_8969,fact_8970,fact_8971,fact_8972,fact_8973,fact_8974,fact_8975,fact_8976,fact_8977,fact_8978,fact_8979,fact_8980,fact_8981,fact_8982,fact_8983,fact_8984,fact_8985,fact_8986,fact_8987,fact_8988,fact_8989,fact_8990,fact_8991,fact_8992,fact_8993,fact_8994,fact_8995,fact_8996,fact_8997,fact_8998,fact_8999,fact_9000,fact_9001,fact_9002,fact_9003,fact_9004,fact_9005,fact_9006,fact_9007,fact_9008,fact_9009,fact_9010,fact_9011,fact_9012,fact_9013,fact_9014,fact_9015,fact_9016,fact_9017,fact_9018,fact_9019,fact_9020,fact_9021,fact_9022,fact_9023,fact_9024,fact_9025,fact_9026,fact_9027,fact_9028,fact_9029,fact_9030,fact_9031,fact_9032,fact_9033,fact_9034,fact_9035,fact_9036,fact_9037,fact_9038,fact_9039,fact_9040,fact_9041,fact_9042,fact_9043,fact_9044,fact_9045,fact_9046,fact_9047,fact_9048,fact_9049,fact_9050,fact_9051,fact_9052,fact_9053,fact_9054,fact_9055,fact_9056,fact_9057,fact_9058,fact_9059,fact_9060,fact_9061,fact_9062,fact_9063,fact_9064,fact_9065,fact_9066,fact_9067,fact_9068,fact_9069,fact_9070,fact_9071,fact_9072,fact_9073,fact_9074,fact_9075,fact_9076,fact_9077,fact_9078,fact_9079,fact_9080,fact_9081,fact_9082,fact_9083,fact_9084,fact_9085,fact_9086,fact_9087,fact_9088,fact_9089,fact_9090,fact_9091,fact_9092,fact_9093,fact_9094,fact_9095,fact_9096,fact_9097,fact_9098,fact_9099,fact_9100,fact_9101,fact_9102,fact_9103,fact_9104,fact_9105,fact_9106,fact_9107,fact_9108,fact_9109,fact_9110,fact_9111,fact_9112,fact_9113,fact_9114,fact_9115,fact_9116,fact_9117,fact_9118,fact_9119,fact_9120,fact_9121,fact_9122,fact_9123,fact_9124,fact_9125,fact_9126,fact_9127,fact_9128,fact_9129,fact_9130,fact_9131,fact_9132,fact_9133,fact_9134,fact_9135,fact_9136,fact_9137,fact_9138,fact_9139,fact_9140,fact_9141,fact_9142,fact_9143,fact_9144,fact_9145,fact_9146,fact_9147,fact_9148,fact_9149,fact_9150,fact_9151,fact_9152,fact_9153,fact_9154,fact_9155,fact_9156,fact_9157,fact_9158,fact_9159,fact_9160,fact_9161,fact_9162,fact_9163,fact_9164,fact_9165,fact_9166,fact_9167,fact_9168,fact_9169,fact_9170,fact_9171,fact_9172,fact_9173,fact_9174,fact_9175,fact_9176,fact_9177,fact_9178,fact_9179,fact_9180,fact_9181,fact_9182,fact_9183,fact_9184,fact_9185,fact_9186,fact_9187,fact_9188,fact_9189,fact_9190,fact_9191,fact_9192,fact_9193,fact_9194,fact_9195,fact_9196,fact_9197,fact_9198,fact_9199,fact_9200,fact_9201,fact_9202,fact_9203,fact_9204,fact_9205,fact_9206,fact_9207,fact_9208,fact_9209,fact_9210,fact_9211,fact_9212,fact_9213,fact_9214,fact_9215,fact_9216,fact_9217,fact_9218,fact_9219,fact_9220,fact_9221,fact_9222,fact_9223,fact_9224,fact_9225,fact_9226,fact_9227,fact_9228,fact_9229,fact_9230,fact_9231,fact_9232,fact_9233,fact_9234,fact_9235,fact_9236,fact_9237,fact_9238,fact_9239,fact_9240,fact_9241,fact_9242,fact_9243,fact_9244,fact_9245,fact_9246,fact_9247,fact_9248,fact_9249,fact_9250,fact_9251,fact_9252,fact_9253,fact_9254,fact_9255,fact_9256,fact_9257,fact_9258,fact_9259,fact_9260,fact_9261,fact_9262,fact_9263,fact_9264,fact_9265,fact_9266,fact_9267,fact_9268,fact_9269,fact_9270,fact_9271,fact_9272,fact_9273,fact_9274,fact_9275,fact_9276,fact_9277,fact_9278,fact_9279,fact_9280,fact_9281,fact_9282,fact_9283,fact_9284,fact_9285,fact_9286,fact_9287,fact_9288,fact_9289,fact_9290,fact_9291,fact_9292,fact_9293,fact_9294,fact_9295,fact_9296,fact_9297,fact_9298,fact_9299,fact_9300,fact_9301,fact_9302,fact_9303,fact_9304,fact_9305,fact_9306,fact_9307,fact_9308,fact_9309,fact_9310,fact_9311,fact_9312,fact_9313,fact_9314,fact_9315,fact_9316,fact_9317,fact_9318,fact_9319,fact_9320,fact_9321,fact_9322,fact_9323,fact_9324,fact_9325,fact_9326,fact_9327,fact_9328,fact_9329,fact_9330,fact_9331,fact_9332,fact_9333,fact_9334,fact_9335,fact_9336,fact_9337,fact_9338,fact_9339,fact_9340,fact_9341,fact_9342,fact_9343,fact_9344,fact_9345,fact_9346,fact_9347,fact_9348,fact_9349,fact_9350,fact_9351,fact_9352,fact_9353,fact_9354,fact_9355,fact_9356,fact_9357,fact_9358,fact_9359,fact_9360,fact_9361,fact_9362,fact_9363,fact_9364,fact_9365,fact_9366,fact_9367,fact_9368,fact_9369,fact_9370,fact_9371,fact_9372,fact_9373,fact_9374,fact_9375,fact_9376,fact_9377,fact_9378,fact_9379,fact_9380,fact_9381,fact_9382,fact_9383,fact_9384,fact_9385,fact_9386,fact_9387,fact_9388,fact_9389,fact_9390,fact_9391,fact_9392,fact_9393,fact_9394,fact_9395,fact_9396,fact_9397,fact_9398,fact_9399,fact_9400,fact_9401,fact_9402,fact_9403,fact_9404,fact_9405,fact_9406,fact_9407,fact_9408,fact_9409,fact_9410,fact_9411,fact_9412,fact_9413,fact_9414,fact_9415,fact_9416,fact_9417,fact_9418,fact_9419,fact_9420,fact_9421,fact_9422,fact_9423,fact_9424,fact_9425,fact_9426,fact_9427,fact_9428,fact_9429,fact_9430,fact_9431,fact_9432,fact_9433,fact_9434,fact_9435,fact_9436,fact_9437,fact_9438,fact_9439,fact_9440,fact_9441,fact_9442,fact_9443,fact_9444,fact_9445,fact_9446,fact_9447,fact_9448,fact_9449,fact_9450,fact_9451,fact_9452,fact_9453,fact_9454,fact_9455,fact_9456,fact_9457,fact_9458,fact_9459,fact_9460,fact_9461,fact_9462,fact_9463,fact_9464,fact_9465,fact_9466,fact_9467,fact_9468,fact_9469,fact_9470,fact_9471,fact_9472,fact_9473,fact_9474,fact_9475,fact_9476,fact_9477,fact_9478,fact_9479,fact_9480,fact_9481,fact_9482,fact_9483,fact_9484,fact_9485,fact_9486,fact_9487,fact_9488,fact_9489,fact_9490,fact_9491,fact_9492,fact_9493,fact_9494,fact_9495,fact_9496,fact_9497,fact_9498,fact_9499,fact_9500,fact_9501,fact_9502,fact_9503,fact_9504,fact_9505,fact_9506,fact_9507,fact_9508,fact_9509,fact_9510,fact_9511,fact_9512,fact_9513,fact_9514,fact_9515,fact_9516,fact_9517,fact_9518,fact_9519,fact_9520,fact_9521,fact_9522,fact_9523,fact_9524,fact_9525,fact_9526,fact_9527,fact_9528,fact_9529,fact_9530,fact_9531,fact_9532,fact_9533,fact_9534,fact_9535,fact_9536,fact_9537,fact_9538,fact_9539,fact_9540,fact_9541,fact_9542,fact_9543,fact_9544,fact_9545,fact_9546,fact_9547,fact_9548,fact_9549,fact_9550,fact_9551,fact_9552,fact_9553,fact_9554,fact_9555,fact_9556,fact_9557,fact_9558,fact_9559,fact_9560,fact_9561,fact_9562,fact_9563,fact_9564,fact_9565,fact_9566,fact_9567,fact_9568,fact_9569,fact_9570,fact_9571,fact_9572,fact_9573,fact_9574,fact_9575,fact_9576,fact_9577,fact_9578,fact_9579,fact_9580,fact_9581,fact_9582,fact_9583,fact_9584,fact_9585,fact_9586,fact_9587,fact_9588,fact_9589,fact_9590,fact_9591,fact_9592,fact_9593,fact_9594,fact_9595,fact_9596,fact_9597,fact_9598,fact_9599,fact_9600,fact_9601,fact_9602,fact_9603,fact_9604,fact_9605,fact_9606,fact_9607,fact_9608,fact_9609,fact_9610,fact_9611,fact_9612,fact_9613,fact_9614,fact_9615,fact_9616,fact_9617,fact_9618,fact_9619,fact_9620,fact_9621,fact_9622,fact_9623,fact_9624,fact_9625,fact_9626,fact_9627,fact_9628,fact_9629,fact_9630,fact_9631,fact_9632,fact_9633,fact_9634,fact_9635,fact_9636,fact_9637,fact_9638,fact_9639,fact_9640,fact_9641,fact_9642,fact_9643,fact_9644,fact_9645,fact_9646,fact_9647,fact_9648,fact_9649,fact_9650,fact_9651,fact_9652,fact_9653,fact_9654,fact_9655,fact_9656,fact_9657,fact_9658,fact_9659,fact_9660,fact_9661,fact_9662,fact_9663,fact_9664,fact_9665,fact_9666,fact_9667,fact_9668,fact_9669,fact_9670,fact_9671,fact_9672,fact_9673,fact_9674,fact_9675,fact_9676,fact_9677,fact_9678,fact_9679,fact_9680,fact_9681,fact_9682,fact_9683,fact_9684,fact_9685,fact_9686,fact_9687,fact_9688,fact_9689,fact_9690,fact_9691,fact_9692,fact_9693,fact_9694,fact_9695,fact_9696,fact_9697,fact_9698,fact_9699,fact_9700,fact_9701,fact_9702,fact_9703,fact_9704,fact_9705,fact_9706,fact_9707,fact_9708,fact_9709,fact_9710,fact_9711,fact_9712,fact_9713,fact_9714,fact_9715,fact_9716,fact_9717,fact_9718,fact_9719,fact_9720,fact_9721,fact_9722,fact_9723,fact_9724,fact_9725,fact_9726,fact_9727,fact_9728,fact_9729,fact_9730,fact_9731,fact_9732,fact_9733,fact_9734,fact_9735,fact_9736,fact_9737,fact_9738,fact_9739,fact_9740,fact_9741,fact_9742,fact_9743,fact_9744,fact_9745,fact_9746,fact_9747,fact_9748,fact_9749,fact_9750,fact_9751,fact_9752,fact_9753,fact_9754,fact_9755,fact_9756,fact_9757,fact_9758,fact_9759,fact_9760,fact_9761,fact_9762,fact_9763,fact_9764,fact_9765,fact_9766,fact_9767,fact_9768,fact_9769,fact_9770,fact_9771,fact_9772,fact_9773,fact_9774,fact_9775,fact_9776,fact_9777,fact_9778,fact_9779,fact_9780,fact_9781,fact_9782,fact_9783,fact_9784,fact_9785,fact_9786,fact_9787,fact_9788,fact_9789,fact_9790,fact_9791,fact_9792,fact_9793,fact_9794,fact_9795,fact_9796,fact_9797,fact_9798,fact_9799,fact_9800,fact_9801,fact_9802,fact_9803,fact_9804,fact_9805,fact_9806,fact_9807,fact_9808,fact_9809,fact_9810,fact_9811,fact_9812,fact_9813,fact_9814,fact_9815,fact_9816,fact_9817,fact_9818,fact_9819,fact_9820,fact_9821,fact_9822,fact_9823,fact_9824,fact_9825,fact_9826,fact_9827,fact_9828,fact_9829,fact_9830,fact_9831,fact_9832,fact_9833,fact_9834,fact_9835,fact_9836,fact_9837,fact_9838,fact_9839,fact_9840,fact_9841,fact_9842,fact_9843,fact_9844,fact_9845,fact_9846,fact_9847,fact_9848,fact_9849,fact_9850,fact_9851,fact_9852,fact_9853,fact_9854,fact_9855,fact_9856,fact_9857,fact_9858,fact_9859,fact_9860,fact_9861,fact_9862,fact_9863,fact_9864,fact_9865,fact_9866,fact_9867,fact_9868,fact_9869,fact_9870,fact_9871,fact_9872,fact_9873,fact_9874,fact_9875,fact_9876,fact_9877,fact_9878,fact_9879,fact_9880,fact_9881,fact_9882,fact_9883,fact_9884,fact_9885,fact_9886,fact_9887,fact_9888,fact_9889,fact_9890,fact_9891,fact_9892,fact_9893,fact_9894,fact_9895,fact_9896,fact_9897,fact_9898,fact_9899,fact_9900,fact_9901,fact_9902,fact_9903,fact_9904,fact_9905,fact_9906,fact_9907,fact_9908,fact_9909,fact_9910,fact_9911,fact_9912,fact_9913,fact_9914,fact_9915,fact_9916,fact_9917,fact_9918,fact_9919,fact_9920,fact_9921,fact_9922,fact_9923,fact_9924,fact_9925,fact_9926,fact_9927,fact_9928,fact_9929,fact_9930,fact_9931,fact_9932,fact_9933,fact_9934,fact_9935,fact_9936,fact_9937,fact_9938,fact_9939,fact_9940,fact_9941,fact_9942,fact_9943,fact_9944,fact_9945,fact_9946,fact_9947,fact_9948,fact_9949,fact_9950,fact_9951,fact_9952,fact_9953,fact_9954,fact_9955,fact_9956,fact_9957,fact_9958,fact_9959,fact_9960,fact_9961,fact_9962,fact_9963,fact_9964,fact_9965,fact_9966,fact_9967,fact_9968,fact_9969,fact_9970,fact_9971,fact_9972,fact_9973,fact_9974,fact_9975,fact_9976,fact_9977,fact_9978,fact_9979,fact_9980,fact_9981,fact_9982,fact_9983,fact_9984,fact_9985,fact_9986,fact_9987,fact_9988,fact_9989,fact_9990,fact_9991,fact_9992,fact_9993,fact_9994,fact_9995,fact_9996,fact_9997,fact_9998,fact_9999,fact_10000,fact_10001,fact_10002,fact_10003,fact_10004,fact_10005,fact_10006,ave07_era5_synth_qa07_007_mira_wp_479] % 21.48/21.04 =============================================================== % 21.48/21.04 % 21.48/21.04 Combined formula: 10188 axiom(s) => conjecture % 21.48/21.04 % 21.48/21.04 % Equality/functions detected -> nanoCoP oracle mode % 21.48/21.04 nanoCoP : % 21.48/21.04 % 6,096,893 inferences, 16.802 CPU in 16.801 seconds (100% CPU, 362858 Lips) % 21.48/21.04 % 21.48/21.04 % nanoCoP proof (equality/functions) % 21.48/21.04 % nanoCoP proof is given at https://g4-mic.vidal-rosset.net/wasm/tinker via nanocop_proves(Your_Formula). % 21.48/21.04 % 21.48/21.04 % SZS output end Proof %------------------------------------------------------------------------------