Detail page for Reduction-finding family


	Submitter:	Charles Jordan

	Suite:	Jordan-Kaiser

	Domain:	Miscellanea

	Description:

	Number of instances:	4620

	Results:	2020 - Track 1 2020 - Track 3 2019 - Track 1 2019 - Track 2 2018 - Track 1 2018 - Track 2 2018 - Track 3 2018 - Track 5 2017 - Track 1 2017 - Track 2 2017 - Track 3 2016 - Track 1 2016 - Track 2 2016 - Track 3 2016 - Track 5 2016 - Track 6 2016 - Track 7

	Instances:	axquery_axquery_1344 axquery_axquery_1344n axquery_eequery_1344 axquery_eequery_1344n axquery_exquery_1344 axquery_exquery_1344n axquery_falsequ_1344 axquery_falsequ_1344n axquery_nreachq_1344 axquery_nreachq_1344n axquery_ntrivil_1344 axquery_ntrivil_1344n axquery_nxquery_1344 axquery_nxquery_1344n axquery_query01_1344 axquery_query01_1344n axquery_query02_1344 axquery_query02_1344n axquery_query03_1344 axquery_query03_1344n axquery_query04_1344 axquery_query04_1344n axquery_query05_1344 axquery_query05_1344n axquery_query06_1344 axquery_query06_1344n axquery_query07_1344 axquery_query07_1344n axquery_query08_1344 axquery_query08_1344n axquery_query09_1344 axquery_query09_1344n axquery_query10_1344 axquery_query10_1344n axquery_query11_1344 axquery_query11_1344n axquery_query15_1344 axquery_query15_1344n axquery_query21_1344 axquery_query21_1344n axquery_query23_1344 axquery_query23_1344n axquery_query24_1344 axquery_query24_1344n axquery_query25_1344 axquery_query25_1344n axquery_query26_1344 axquery_query26_1344n axquery_query27_1344 axquery_query27_1344n axquery_query30_1344 axquery_query30_1344n axquery_query31_1344 axquery_query31_1344n axquery_query33_1344 axquery_query33_1344n axquery_query34_1344 axquery_query34_1344n axquery_query36_1344 axquery_query36_1344n axquery_query42_1344 axquery_query42_1344n axquery_query44_1344 axquery_query44_1344n axquery_query45_1344 axquery_query45_1344n axquery_query48_1344 axquery_query48_1344n axquery_query49_1344 axquery_query49_1344n axquery_query50_1344 axquery_query50_1344n axquery_query51_1344 axquery_query51_1344n axquery_query52_1344 axquery_query52_1344n axquery_query54_1344 axquery_query54_1344n axquery_query55_1344 axquery_query55_1344n axquery_query57_1344 axquery_query57_1344n axquery_query58_1344 axquery_query58_1344n axquery_query60_1344 axquery_query60_1344n axquery_query64_1344 axquery_query64_1344n axquery_query71_1344 axquery_query71_1344n axquery_reachqu_1344 axquery_reachqu_1344n axquery_trivial_1344 axquery_trivial_1344n axquery_trueque_1344 axquery_trueque_1344n eequery_axquery_1344 eequery_axquery_1344n eequery_eequery_1344 eequery_eequery_1344n eequery_exquery_1344 eequery_exquery_1344n eequery_falsequ_1344 eequery_falsequ_1344n eequery_nreachq_1344 eequery_nreachq_1344n eequery_ntrivil_1344 eequery_ntrivil_1344n eequery_nxquery_1344 eequery_nxquery_1344n eequery_query01_1344 eequery_query01_1344n eequery_query02_1344 eequery_query02_1344n eequery_query03_1344 eequery_query03_1344n eequery_query04_1344 eequery_query04_1344n eequery_query05_1344 eequery_query05_1344n eequery_query06_1344 eequery_query06_1344n eequery_query07_1344 eequery_query07_1344n eequery_query08_1344 eequery_query08_1344n eequery_query09_1344 eequery_query09_1344n eequery_query10_1344 eequery_query10_1344n eequery_query11_1344 eequery_query11_1344n eequery_query15_1344 eequery_query15_1344n eequery_query21_1344 eequery_query21_1344n eequery_query23_1344 eequery_query23_1344n eequery_query24_1344 eequery_query24_1344n eequery_query25_1344 eequery_query25_1344n eequery_query26_1344 eequery_query26_1344n eequery_query27_1344 eequery_query27_1344n eequery_query30_1344 eequery_query30_1344n eequery_query31_1344 eequery_query31_1344n eequery_query33_1344 eequery_query33_1344n eequery_query34_1344 eequery_query34_1344n eequery_query36_1344 eequery_query36_1344n eequery_query42_1344 eequery_query42_1344n eequery_query44_1344 eequery_query44_1344n eequery_query45_1344 eequery_query45_1344n eequery_query48_1344 eequery_query48_1344n eequery_query49_1344 eequery_query49_1344n eequery_query50_1344 eequery_query50_1344n eequery_query51_1344 eequery_query51_1344n eequery_query52_1344 eequery_query52_1344n eequery_query54_1344 eequery_query54_1344n eequery_query55_1344 eequery_query55_1344n eequery_query57_1344 eequery_query57_1344n eequery_query58_1344 eequery_query58_1344n eequery_query60_1344 eequery_query60_1344n eequery_query64_1344 eequery_query64_1344n eequery_query71_1344 eequery_query71_1344n eequery_reachqu_1344 eequery_reachqu_1344n eequery_trivial_1344 eequery_trivial_1344n eequery_trueque_1344 eequery_trueque_1344n exquery_axquery_1344 exquery_axquery_1344n exquery_eequery_1344 exquery_eequery_1344n exquery_exquery_1344 exquery_exquery_1344n exquery_falsequ_1344 exquery_falsequ_1344n exquery_nreachq_1344 exquery_nreachq_1344n exquery_ntrivil_1344 exquery_ntrivil_1344n exquery_nxquery_1344 exquery_nxquery_1344n exquery_query01_1344 exquery_query01_1344n exquery_query02_1344 exquery_query02_1344n exquery_query03_1344 exquery_query03_1344n exquery_query04_1344 exquery_query04_1344n exquery_query05_1344 exquery_query05_1344n exquery_query06_1344 exquery_query06_1344n exquery_query07_1344 exquery_query07_1344n exquery_query08_1344 exquery_query08_1344n exquery_query09_1344 exquery_query09_1344n exquery_query10_1344 exquery_query10_1344n exquery_query11_1344 exquery_query11_1344n exquery_query15_1344 exquery_query15_1344n exquery_query21_1344 exquery_query21_1344n exquery_query23_1344 exquery_query23_1344n exquery_query24_1344 exquery_query24_1344n exquery_query25_1344 exquery_query25_1344n exquery_query26_1344 exquery_query26_1344n exquery_query27_1344 exquery_query27_1344n exquery_query30_1344 exquery_query30_1344n exquery_query31_1344 exquery_query31_1344n exquery_query33_1344 exquery_query33_1344n exquery_query34_1344 exquery_query34_1344n exquery_query36_1344 exquery_query36_1344n exquery_query42_1344 exquery_query42_1344n exquery_query44_1344 exquery_query44_1344n exquery_query45_1344 exquery_query45_1344n exquery_query48_1344 exquery_query48_1344n exquery_query49_1344 exquery_query49_1344n exquery_query50_1344 exquery_query50_1344n exquery_query51_1344 exquery_query51_1344n exquery_query52_1344 exquery_query52_1344n exquery_query54_1344 exquery_query54_1344n exquery_query55_1344 exquery_query55_1344n exquery_query57_1344 exquery_query57_1344n exquery_query58_1344 exquery_query58_1344n exquery_query60_1344 exquery_query60_1344n exquery_query64_1344 exquery_query64_1344n exquery_query71_1344 exquery_query71_1344n exquery_reachqu_1344 exquery_reachqu_1344n exquery_trivial_1344 exquery_trivial_1344n exquery_trueque_1344 exquery_trueque_1344n falsequ_axquery_1344 falsequ_axquery_1344n falsequ_eequery_1344 falsequ_eequery_1344n falsequ_exquery_1344 falsequ_exquery_1344n falsequ_falsequ_1344 falsequ_falsequ_1344n falsequ_nreachq_1344 falsequ_nreachq_1344n falsequ_ntrivil_1344 falsequ_ntrivil_1344n falsequ_nxquery_1344 falsequ_nxquery_1344n falsequ_query01_1344 falsequ_query01_1344n falsequ_query02_1344 falsequ_query02_1344n falsequ_query03_1344 falsequ_query03_1344n falsequ_query04_1344 falsequ_query04_1344n falsequ_query05_1344 falsequ_query05_1344n falsequ_query06_1344 falsequ_query06_1344n falsequ_query07_1344 falsequ_query07_1344n falsequ_query08_1344 falsequ_query08_1344n falsequ_query09_1344 falsequ_query09_1344n falsequ_query10_1344 falsequ_query10_1344n falsequ_query11_1344 falsequ_query11_1344n falsequ_query15_1344 falsequ_query15_1344n falsequ_query21_1344 falsequ_query21_1344n falsequ_query23_1344 falsequ_query23_1344n falsequ_query24_1344 falsequ_query24_1344n falsequ_query25_1344 falsequ_query25_1344n falsequ_query26_1344 falsequ_query26_1344n falsequ_query27_1344 falsequ_query27_1344n falsequ_query30_1344 falsequ_query30_1344n falsequ_query31_1344 falsequ_query31_1344n falsequ_query33_1344 falsequ_query33_1344n falsequ_query34_1344 falsequ_query34_1344n falsequ_query36_1344 falsequ_query36_1344n falsequ_query42_1344 falsequ_query42_1344n falsequ_query44_1344 falsequ_query44_1344n falsequ_query45_1344 falsequ_query45_1344n falsequ_query48_1344 falsequ_query48_1344n falsequ_query49_1344 falsequ_query49_1344n falsequ_query50_1344 falsequ_query50_1344n falsequ_query51_1344 falsequ_query51_1344n falsequ_query52_1344 falsequ_query52_1344n falsequ_query54_1344 falsequ_query54_1344n falsequ_query55_1344 falsequ_query55_1344n falsequ_query57_1344 falsequ_query57_1344n falsequ_query58_1344 falsequ_query58_1344n falsequ_query60_1344 falsequ_query60_1344n falsequ_query64_1344 falsequ_query64_1344n falsequ_query71_1344 falsequ_query71_1344n falsequ_reachqu_1344 falsequ_reachqu_1344n falsequ_trivial_1344 falsequ_trivial_1344n falsequ_trueque_1344 falsequ_trueque_1344n nreachq_axquery_1344 nreachq_axquery_1344n nreachq_eequery_1344 nreachq_eequery_1344n nreachq_exquery_1344 nreachq_exquery_1344n nreachq_falsequ_1344 nreachq_falsequ_1344n nreachq_nreachq_1344 nreachq_nreachq_1344n nreachq_ntrivil_1344 nreachq_ntrivil_1344n nreachq_nxquery_1344 nreachq_nxquery_1344n nreachq_query01_1344 nreachq_query01_1344n nreachq_query02_1344 nreachq_query02_1344n nreachq_query03_1344 nreachq_query03_1344n nreachq_query04_1344 nreachq_query04_1344n nreachq_query05_1344 nreachq_query05_1344n nreachq_query06_1344 nreachq_query06_1344n nreachq_query07_1344 nreachq_query07_1344n nreachq_query08_1344 nreachq_query08_1344n nreachq_query09_1344 nreachq_query09_1344n nreachq_query10_1344 nreachq_query10_1344n nreachq_query11_1344 nreachq_query11_1344n nreachq_query15_1344 nreachq_query15_1344n nreachq_query21_1344 nreachq_query21_1344n nreachq_query23_1344 nreachq_query23_1344n nreachq_query24_1344 nreachq_query24_1344n nreachq_query25_1344 nreachq_query25_1344n nreachq_query26_1344 nreachq_query26_1344n nreachq_query27_1344 nreachq_query27_1344n nreachq_query30_1344 nreachq_query30_1344n nreachq_query31_1344 nreachq_query31_1344n nreachq_query33_1344 nreachq_query33_1344n nreachq_query34_1344 nreachq_query34_1344n nreachq_query36_1344 nreachq_query36_1344n nreachq_query42_1344 nreachq_query42_1344n nreachq_query44_1344 nreachq_query44_1344n nreachq_query45_1344 nreachq_query45_1344n nreachq_query48_1344 nreachq_query48_1344n nreachq_query49_1344 nreachq_query49_1344n nreachq_query50_1344 nreachq_query50_1344n nreachq_query51_1344 nreachq_query51_1344n nreachq_query52_1344 nreachq_query52_1344n nreachq_query54_1344 nreachq_query54_1344n nreachq_query55_1344 nreachq_query55_1344n nreachq_query57_1344 nreachq_query57_1344n nreachq_query58_1344 nreachq_query58_1344n nreachq_query60_1344 nreachq_query60_1344n nreachq_query64_1344 nreachq_query64_1344n nreachq_query71_1344 nreachq_query71_1344n nreachq_reachqu_1344 nreachq_reachqu_1344n nreachq_reachqu_2133 nreachq_reachqu_2233 nreachq_trivial_1344 nreachq_trivial_1344n nreachq_trueque_1344 nreachq_trueque_1344n ntrivil_axquery_1344 ntrivil_axquery_1344n ntrivil_eequery_1344 ntrivil_eequery_1344n ntrivil_exquery_1344 ntrivil_exquery_1344n ntrivil_falsequ_1344 ntrivil_falsequ_1344n ntrivil_nreachq_1344 ntrivil_nreachq_1344n ntrivil_ntrivil_1344 ntrivil_ntrivil_1344n ntrivil_nxquery_1344 ntrivil_nxquery_1344n ntrivil_query01_1344 ntrivil_query01_1344n ntrivil_query02_1344 ntrivil_query02_1344n ntrivil_query03_1344 ntrivil_query03_1344n ntrivil_query04_1344 ntrivil_query04_1344n ntrivil_query05_1344 ntrivil_query05_1344n ntrivil_query06_1344 ntrivil_query06_1344n ntrivil_query07_1344 ntrivil_query07_1344n ntrivil_query08_1344 ntrivil_query08_1344n ntrivil_query09_1344 ntrivil_query09_1344n ntrivil_query10_1344 ntrivil_query10_1344n ntrivil_query11_1344 ntrivil_query11_1344n ntrivil_query15_1344 ntrivil_query15_1344n ntrivil_query21_1344 ntrivil_query21_1344n ntrivil_query23_1344 ntrivil_query23_1344n ntrivil_query24_1344 ntrivil_query24_1344n ntrivil_query25_1344 ntrivil_query25_1344n ntrivil_query26_1344 ntrivil_query26_1344n ntrivil_query27_1344 ntrivil_query27_1344n ntrivil_query30_1344 ntrivil_query30_1344n ntrivil_query31_1344 ntrivil_query31_1344n ntrivil_query33_1344 ntrivil_query33_1344n ntrivil_query34_1344 ntrivil_query34_1344n ntrivil_query36_1344 ntrivil_query36_1344n ntrivil_query42_1344 ntrivil_query42_1344n ntrivil_query44_1344 ntrivil_query44_1344n ntrivil_query45_1344 ntrivil_query45_1344n ntrivil_query48_1344 ntrivil_query48_1344n ntrivil_query49_1344 ntrivil_query49_1344n ntrivil_query50_1344 ntrivil_query50_1344n ntrivil_query51_1344 ntrivil_query51_1344n ntrivil_query52_1344 ntrivil_query52_1344n ntrivil_query54_1133 ntrivil_query54_1344 ntrivil_query54_1344n ntrivil_query55_1344 ntrivil_query55_1344n ntrivil_query57_1344 ntrivil_query57_1344n ntrivil_query58_1344 ntrivil_query58_1344n ntrivil_query60_1344 ntrivil_query60_1344n ntrivil_query64_1344 ntrivil_query64_1344n ntrivil_query71_1344 ntrivil_query71_1344n ntrivil_reachqu_1344 ntrivil_reachqu_1344n ntrivil_trivial_1344 ntrivil_trivial_1344n ntrivil_trueque_1344 ntrivil_trueque_1344n nxquery_axquery_1344 nxquery_axquery_1344n nxquery_eequery_1344 nxquery_eequery_1344n nxquery_exquery_1344 nxquery_exquery_1344n nxquery_falsequ_1344 nxquery_falsequ_1344n nxquery_nreachq_1344 nxquery_nreachq_1344n nxquery_ntrivil_1344 nxquery_ntrivil_1344n nxquery_nxquery_1344 nxquery_nxquery_1344n nxquery_query01_1344 nxquery_query01_1344n nxquery_query02_1344 nxquery_query02_1344n nxquery_query03_1344 nxquery_query03_1344n nxquery_query04_1344 nxquery_query04_1344n nxquery_query05_1344 nxquery_query05_1344n nxquery_query06_1344 nxquery_query06_1344n nxquery_query07_1344 nxquery_query07_1344n nxquery_query08_1344 nxquery_query08_1344n nxquery_query09_1344 nxquery_query09_1344n nxquery_query10_1344 nxquery_query10_1344n nxquery_query11_1344 nxquery_query11_1344n nxquery_query15_1344 nxquery_query15_1344n nxquery_query21_1344 nxquery_query21_1344n nxquery_query23_1344 nxquery_query23_1344n nxquery_query24_1344 nxquery_query24_1344n nxquery_query25_1344 nxquery_query25_1344n nxquery_query26_1344 nxquery_query26_1344n nxquery_query27_1344 nxquery_query27_1344n nxquery_query30_1344 nxquery_query30_1344n nxquery_query31_1344 nxquery_query31_1344n nxquery_query33_1344 nxquery_query33_1344n nxquery_query34_1344 nxquery_query34_1344n nxquery_query36_1344 nxquery_query36_1344n nxquery_query42_1344 nxquery_query42_1344n nxquery_query44_1344 nxquery_query44_1344n nxquery_query45_1344 nxquery_query45_1344n nxquery_query48_1344 nxquery_query48_1344n nxquery_query49_1344 nxquery_query49_1344n nxquery_query50_1344 nxquery_query50_1344n nxquery_query51_1344 nxquery_query51_1344n nxquery_query52_1344 nxquery_query52_1344n nxquery_query54_1344 nxquery_query54_1344n nxquery_query55_1344 nxquery_query55_1344n nxquery_query57_1344 nxquery_query57_1344n nxquery_query58_1344 nxquery_query58_1344n nxquery_query60_1344 nxquery_query60_1344n nxquery_query64_1344 nxquery_query64_1344n nxquery_query71_1344 nxquery_query71_1344n nxquery_reachqu_1344 nxquery_reachqu_1344n nxquery_trivial_1344 nxquery_trivial_1344n nxquery_trueque_1344 nxquery_trueque_1344n query01_axquery_1344 query01_axquery_1344n query01_eequery_1344 query01_eequery_1344n query01_exquery_1344 query01_exquery_1344n query01_falsequ_1344 query01_falsequ_1344n query01_nreachq_1344 query01_nreachq_1344n query01_ntrivil_1344 query01_ntrivil_1344n query01_nxquery_1344 query01_nxquery_1344n query01_query01_1344 query01_query01_1344n query01_query02_1344 query01_query02_1344n query01_query03_1344 query01_query03_1344n query01_query04_1344 query01_query04_1344n query01_query05_1344 query01_query05_1344n query01_query06_1344 query01_query06_1344n query01_query07_1344 query01_query07_1344n query01_query08_1344 query01_query08_1344n query01_query09_1344 query01_query09_1344n query01_query10_1344 query01_query10_1344n query01_query11_1344 query01_query11_1344n query01_query15_1344 query01_query15_1344n query01_query21_1344 query01_query21_1344n query01_query23_1344 query01_query23_1344n query01_query24_1344 query01_query24_1344n query01_query25_1344 query01_query25_1344n query01_query26_1344 query01_query26_1344n query01_query27_1344 query01_query27_1344n query01_query30_1344 query01_query30_1344n query01_query31_1344 query01_query31_1344n query01_query33_1344 query01_query33_1344n query01_query34_1344 query01_query34_1344n query01_query36_1344 query01_query36_1344n query01_query42_1344 query01_query42_1344n query01_query44_1344 query01_query44_1344n query01_query45_1344 query01_query45_1344n query01_query48_1344 query01_query48_1344n query01_query49_1344 query01_query49_1344n query01_query50_1344 query01_query50_1344n query01_query51_1344 query01_query51_1344n query01_query52_1344 query01_query52_1344n query01_query54_1344 query01_query54_1344n query01_query55_1344 query01_query55_1344n query01_query57_1344 query01_query57_1344n query01_query58_1344 query01_query58_1344n query01_query60_1344 query01_query60_1344n query01_query64_1344 query01_query64_1344n query01_query71_1344 query01_query71_1344n query01_reachqu_1344 query01_reachqu_1344n query01_trivial_1344 query01_trivial_1344n query01_trueque_1344 query01_trueque_1344n query02_axquery_1344 query02_axquery_1344n query02_eequery_1344 query02_eequery_1344n query02_exquery_1344 query02_exquery_1344n query02_falsequ_1344 query02_falsequ_1344n query02_nreachq_1344 query02_nreachq_1344n query02_ntrivil_1344 query02_ntrivil_1344n query02_nxquery_1344 query02_nxquery_1344n query02_query01_1344 query02_query01_1344n query02_query02_1344 query02_query02_1344n query02_query03_1344 query02_query03_1344n query02_query04_1344 query02_query04_1344n query02_query05_1344 query02_query05_1344n query02_query06_1344 query02_query06_1344n query02_query07_1344 query02_query07_1344n query02_query08_1344 query02_query08_1344n query02_query09_1344 query02_query09_1344n query02_query10_1344 query02_query10_1344n query02_query11_1344 query02_query11_1344n query02_query15_1344 query02_query15_1344n query02_query21_1344 query02_query21_1344n query02_query23_1344 query02_query23_1344n query02_query24_1344 query02_query24_1344n query02_query25_1344 query02_query25_1344n query02_query26_1344 query02_query26_1344n query02_query27_1344 query02_query27_1344n query02_query30_1344 query02_query30_1344n query02_query31_1344 query02_query31_1344n query02_query33_1344 query02_query33_1344n query02_query34_1344 query02_query34_1344n query02_query36_1344 query02_query36_1344n query02_query42_1344 query02_query42_1344n query02_query44_1344 query02_query44_1344n query02_query45_1344 query02_query45_1344n query02_query48_1344 query02_query48_1344n query02_query49_1344 query02_query49_1344n query02_query50_1344 query02_query50_1344n query02_query51_1344 query02_query51_1344n query02_query52_1344 query02_query52_1344n query02_query54_1344 query02_query54_1344n query02_query55_1344 query02_query55_1344n query02_query57_1344 query02_query57_1344n query02_query58_1344 query02_query58_1344n query02_query60_1344 query02_query60_1344n query02_query64_1344 query02_query64_1344n query02_query71_1344 query02_query71_1344n query02_reachqu_1344 query02_reachqu_1344n query02_trivial_1344 query02_trivial_1344n query02_trueque_1344 query02_trueque_1344n query03_axquery_1344 query03_axquery_1344n query03_eequery_1344 query03_eequery_1344n query03_exquery_1344 query03_exquery_1344n query03_falsequ_1344 query03_falsequ_1344n query03_nreachq_1344 query03_nreachq_1344n query03_ntrivil_1344 query03_ntrivil_1344n query03_nxquery_1344 query03_nxquery_1344n query03_query01_1344 query03_query01_1344n query03_query02_1344 query03_query02_1344n query03_query03_1344 query03_query03_1344n query03_query04_1344 query03_query04_1344n query03_query05_1344 query03_query05_1344n query03_query06_1344 query03_query06_1344n query03_query07_1344 query03_query07_1344n query03_query08_1344 query03_query08_1344n query03_query09_1344 query03_query09_1344n query03_query10_1344 query03_query10_1344n query03_query11_1344 query03_query11_1344n query03_query15_1344 query03_query15_1344n query03_query21_1344 query03_query21_1344n query03_query23_1344 query03_query23_1344n query03_query24_1344 query03_query24_1344n query03_query25_1344 query03_query25_1344n query03_query26_1344 query03_query26_1344n query03_query27_1344 query03_query27_1344n query03_query30_1344 query03_query30_1344n query03_query31_1344 query03_query31_1344n query03_query33_1344 query03_query33_1344n query03_query34_1344 query03_query34_1344n query03_query36_1344 query03_query36_1344n query03_query42_1344 query03_query42_1344n query03_query44_1344 query03_query44_1344n query03_query45_1344 query03_query45_1344n query03_query48_1344 query03_query48_1344n query03_query49_1344 query03_query49_1344n query03_query50_1344 query03_query50_1344n query03_query51_1344 query03_query51_1344n query03_query52_1344 query03_query52_1344n query03_query54_1344 query03_query54_1344n query03_query55_1344 query03_query55_1344n query03_query57_1344 query03_query57_1344n query03_query58_1344 query03_query58_1344n query03_query60_1344 query03_query60_1344n query03_query64_1344 query03_query64_1344n query03_query71_1344 query03_query71_1344n query03_reachqu_1344 query03_reachqu_1344n query03_trivial_1344 query03_trivial_1344n query03_trueque_1344 query03_trueque_1344n query04_axquery_1344 query04_axquery_1344n query04_eequery_1344 query04_eequery_1344n query04_exquery_1344 query04_exquery_1344n query04_falsequ_1344 query04_falsequ_1344n query04_nreachq_1344 query04_nreachq_1344n query04_ntrivil_1344 query04_ntrivil_1344n query04_nxquery_1344 query04_nxquery_1344n query04_query01_1344 query04_query01_1344n query04_query02_1344 query04_query02_1344n query04_query03_1133 query04_query03_1344 query04_query03_1344n query04_query04_1344 query04_query04_1344n query04_query05_1344 query04_query05_1344n query04_query06_1344 query04_query06_1344n query04_query07_1344 query04_query07_1344n query04_query08_1344 query04_query08_1344n query04_query09_1344 query04_query09_1344n query04_query10_1344 query04_query10_1344n query04_query11_1344 query04_query11_1344n query04_query15_1344 query04_query15_1344n query04_query21_1344 query04_query21_1344n query04_query23_1344 query04_query23_1344n query04_query24_1344 query04_query24_1344n query04_query25_1344 query04_query25_1344n query04_query26_1344 query04_query26_1344n query04_query27_1344 query04_query27_1344n query04_query30_1344 query04_query30_1344n query04_query31_1344 query04_query31_1344n query04_query33_1344 query04_query33_1344n query04_query34_1344 query04_query34_1344n query04_query36_1344 query04_query36_1344n query04_query42_1344 query04_query42_1344n query04_query44_1344 query04_query44_1344n query04_query45_1344 query04_query45_1344n query04_query48_1344 query04_query48_1344n query04_query49_1344 query04_query49_1344n query04_query50_1344 query04_query50_1344n query04_query51_1344 query04_query51_1344n query04_query52_1344 query04_query52_1344n query04_query54_1344 query04_query54_1344n query04_query55_1344 query04_query55_1344n query04_query57_1344 query04_query57_1344n query04_query58_1344 query04_query58_1344n query04_query60_1344 query04_query60_1344n query04_query64_1344 query04_query64_1344n query04_query71_1344 query04_query71_1344n query04_reachqu_1344 query04_reachqu_1344n query04_trivial_1344 query04_trivial_1344n query04_trueque_1344 query04_trueque_1344n query05_axquery_1344 query05_axquery_1344n query05_eequery_1344 query05_eequery_1344n query05_exquery_1344 query05_exquery_1344n query05_falsequ_1344 query05_falsequ_1344n query05_nreachq_1344 query05_nreachq_1344n query05_ntrivil_1344 query05_ntrivil_1344n query05_nxquery_1344 query05_nxquery_1344n query05_query01_1344 query05_query01_1344n query05_query02_1344 query05_query02_1344n query05_query03_1344 query05_query03_1344n query05_query04_1344 query05_query04_1344n query05_query05_1344 query05_query05_1344n query05_query06_1344 query05_query06_1344n query05_query07_1344 query05_query07_1344n query05_query08_1344 query05_query08_1344n query05_query09_1344 query05_query09_1344n query05_query10_1344 query05_query10_1344n query05_query11_1344 query05_query11_1344n query05_query15_1344 query05_query15_1344n query05_query21_1344 query05_query21_1344n query05_query23_1344 query05_query23_1344n query05_query24_1344 query05_query24_1344n query05_query25_1344 query05_query25_1344n query05_query26_1344 query05_query26_1344n query05_query27_1344 query05_query27_1344n query05_query30_1344 query05_query30_1344n query05_query31_1344 query05_query31_1344n query05_query33_1344 query05_query33_1344n query05_query34_1344 query05_query34_1344n query05_query36_1344 query05_query36_1344n query05_query42_1344 query05_query42_1344n query05_query44_1344 query05_query44_1344n query05_query45_1344 query05_query45_1344n query05_query48_1344 query05_query48_1344n query05_query49_1344 query05_query49_1344n query05_query50_1344 query05_query50_1344n query05_query51_1344 query05_query51_1344n query05_query52_1344 query05_query52_1344n query05_query54_1344 query05_query54_1344n query05_query55_1344 query05_query55_1344n query05_query57_1344 query05_query57_1344n query05_query58_1344 query05_query58_1344n query05_query60_1344 query05_query60_1344n query05_query64_1344 query05_query64_1344n query05_query71_1344 query05_query71_1344n query05_reachqu_1344 query05_reachqu_1344n query05_trivial_1344 query05_trivial_1344n query05_trueque_1344 query05_trueque_1344n query06_axquery_1344 query06_axquery_1344n query06_eequery_1344 query06_eequery_1344n query06_exquery_1344 query06_exquery_1344n query06_falsequ_1344 query06_falsequ_1344n query06_nreachq_1344 query06_nreachq_1344n query06_ntrivil_1344 query06_ntrivil_1344n query06_nxquery_1344 query06_nxquery_1344n query06_query01_1344 query06_query01_1344n query06_query02_1344 query06_query02_1344n query06_query03_1344 query06_query03_1344n query06_query04_1344 query06_query04_1344n query06_query05_1344 query06_query05_1344n query06_query06_1344 query06_query06_1344n query06_query07_1344 query06_query07_1344n query06_query08_1344 query06_query08_1344n query06_query09_1344 query06_query09_1344n query06_query10_1344 query06_query10_1344n query06_query11_1344 query06_query11_1344n query06_query15_1344 query06_query15_1344n query06_query21_1344 query06_query21_1344n query06_query23_1344 query06_query23_1344n query06_query24_1344 query06_query24_1344n query06_query25_1344 query06_query25_1344n query06_query26_1344 query06_query26_1344n query06_query27_1344 query06_query27_1344n query06_query30_1344 query06_query30_1344n query06_query31_1344 query06_query31_1344n query06_query33_1344 query06_query33_1344n query06_query34_1344 query06_query34_1344n query06_query36_1344 query06_query36_1344n query06_query42_1344 query06_query42_1344n query06_query44_1344 query06_query44_1344n query06_query45_1344 query06_query45_1344n query06_query48_1344 query06_query48_1344n query06_query49_1344 query06_query49_1344n query06_query50_1344 query06_query50_1344n query06_query51_1344 query06_query51_1344n query06_query52_1344 query06_query52_1344n query06_query54_1344 query06_query54_1344n query06_query55_1344 query06_query55_1344n query06_query57_1344 query06_query57_1344n query06_query58_1344 query06_query58_1344n query06_query60_1344 query06_query60_1344n query06_query64_1344 query06_query64_1344n query06_query71_1344 query06_query71_1344n query06_reachqu_1344 query06_reachqu_1344n query06_trivial_1344 query06_trivial_1344n query06_trueque_1344 query06_trueque_1344n query07_axquery_1344 query07_axquery_1344n query07_eequery_1344 query07_eequery_1344n query07_exquery_1344 query07_exquery_1344n query07_falsequ_1344 query07_falsequ_1344n query07_nreachq_1344 query07_nreachq_1344n query07_ntrivil_1344 query07_ntrivil_1344n query07_nxquery_1344 query07_nxquery_1344n query07_query01_1344 query07_query01_1344n query07_query02_1344 query07_query02_1344n query07_query03_1344 query07_query03_1344n query07_query04_1344 query07_query04_1344n query07_query05_1344 query07_query05_1344n query07_query06_1344 query07_query06_1344n query07_query07_1344 query07_query07_1344n query07_query08_1344 query07_query08_1344n query07_query09_1344 query07_query09_1344n query07_query10_1344 query07_query10_1344n query07_query11_1344 query07_query11_1344n query07_query15_1344 query07_query15_1344n query07_query21_1344 query07_query21_1344n query07_query23_1344 query07_query23_1344n query07_query24_1344 query07_query24_1344n query07_query25_1344 query07_query25_1344n query07_query26_1344 query07_query26_1344n query07_query27_1344 query07_query27_1344n query07_query30_1344 query07_query30_1344n query07_query31_1344 query07_query31_1344n query07_query33_1344 query07_query33_1344n query07_query34_1344 query07_query34_1344n query07_query36_1344 query07_query36_1344n query07_query42_1344 query07_query42_1344n query07_query44_1344 query07_query44_1344n query07_query45_1344 query07_query45_1344n query07_query48_1344 query07_query48_1344n query07_query49_1344 query07_query49_1344n query07_query50_1344 query07_query50_1344n query07_query51_1344 query07_query51_1344n query07_query52_1344 query07_query52_1344n query07_query54_1344 query07_query54_1344n query07_query55_1344 query07_query55_1344n query07_query57_1344 query07_query57_1344n query07_query58_1344 query07_query58_1344n query07_query60_1344 query07_query60_1344n query07_query64_1344 query07_query64_1344n query07_query71_1344 query07_query71_1344n query07_reachqu_1344 query07_reachqu_1344n query07_trivial_1344 query07_trivial_1344n query07_trueque_1344 query07_trueque_1344n query08_axquery_1344 query08_axquery_1344n query08_eequery_1344 query08_eequery_1344n query08_exquery_1344 query08_exquery_1344n query08_falsequ_1344 query08_falsequ_1344n query08_nreachq_1344 query08_nreachq_1344n query08_ntrivil_1344 query08_ntrivil_1344n query08_nxquery_1344 query08_nxquery_1344n query08_query01_1344 query08_query01_1344n query08_query02_1344 query08_query02_1344n query08_query03_1344 query08_query03_1344n query08_query04_1344 query08_query04_1344n query08_query05_1344 query08_query05_1344n query08_query06_1344 query08_query06_1344n query08_query07_1344 query08_query07_1344n query08_query08_1344 query08_query08_1344n query08_query09_1344 query08_query09_1344n query08_query10_1344 query08_query10_1344n query08_query11_1344 query08_query11_1344n query08_query15_1344 query08_query15_1344n query08_query21_1344 query08_query21_1344n query08_query23_1344 query08_query23_1344n query08_query24_1344 query08_query24_1344n query08_query25_1344 query08_query25_1344n query08_query26_1344 query08_query26_1344n query08_query27_1344 query08_query27_1344n query08_query30_1344 query08_query30_1344n query08_query31_1344 query08_query31_1344n query08_query33_1344 query08_query33_1344n query08_query34_1344 query08_query34_1344n query08_query36_1344 query08_query36_1344n query08_query42_1344 query08_query42_1344n query08_query44_1344 query08_query44_1344n query08_query45_1344 query08_query45_1344n query08_query48_1344 query08_query48_1344n query08_query49_1344 query08_query49_1344n query08_query50_1344 query08_query50_1344n query08_query51_1344 query08_query51_1344n query08_query52_1344 query08_query52_1344n query08_query54_1344 query08_query54_1344n query08_query55_1344 query08_query55_1344n query08_query57_1344 query08_query57_1344n query08_query58_1344 query08_query58_1344n query08_query60_1344 query08_query60_1344n query08_query64_1344 query08_query64_1344n query08_query71_1344 query08_query71_1344n query08_reachqu_1344 query08_reachqu_1344n query08_trivial_1344 query08_trivial_1344n query08_trueque_1344 query08_trueque_1344n query09_axquery_1344 query09_axquery_1344n query09_eequery_1344 query09_eequery_1344n query09_exquery_1344 query09_exquery_1344n query09_falsequ_1344 query09_falsequ_1344n query09_nreachq_1344 query09_nreachq_1344n query09_ntrivil_1344 query09_ntrivil_1344n query09_nxquery_1344 query09_nxquery_1344n query09_query01_1344 query09_query01_1344n query09_query02_1344 query09_query02_1344n query09_query03_1344 query09_query03_1344n query09_query04_1344 query09_query04_1344n query09_query05_1344 query09_query05_1344n query09_query06_1344 query09_query06_1344n query09_query07_1344 query09_query07_1344n query09_query08_1344 query09_query08_1344n query09_query09_1344 query09_query09_1344n query09_query10_1344 query09_query10_1344n query09_query11_1344 query09_query11_1344n query09_query15_1344 query09_query15_1344n query09_query21_1344 query09_query21_1344n query09_query23_1344 query09_query23_1344n query09_query24_1344 query09_query24_1344n query09_query25_1344 query09_query25_1344n query09_query26_1344 query09_query26_1344n query09_query27_1344 query09_query27_1344n query09_query30_1344 query09_query30_1344n query09_query31_1344 query09_query31_1344n query09_query33_1344 query09_query33_1344n query09_query34_1344 query09_query34_1344n query09_query36_1344 query09_query36_1344n query09_query42_1344 query09_query42_1344n query09_query44_1344 query09_query44_1344n query09_query45_1344 query09_query45_1344n query09_query48_1344 query09_query48_1344n query09_query49_1344 query09_query49_1344n query09_query50_1344 query09_query50_1344n query09_query51_1344 query09_query51_1344n query09_query52_1344 query09_query52_1344n query09_query54_1344 query09_query54_1344n query09_query55_1344 query09_query55_1344n query09_query57_1344 query09_query57_1344n query09_query58_1344 query09_query58_1344n query09_query60_1344 query09_query60_1344n query09_query64_1344 query09_query64_1344n query09_query71_1344 query09_query71_1344n query09_reachqu_1344 query09_reachqu_1344n query09_trivial_1344 query09_trivial_1344n query09_trueque_1344 query09_trueque_1344n query10_axquery_1344 query10_axquery_1344n query10_eequery_1344 query10_eequery_1344n query10_exquery_1344 query10_exquery_1344n query10_falsequ_1344 query10_falsequ_1344n query10_nreachq_1344 query10_nreachq_1344n query10_ntrivil_1344 query10_ntrivil_1344n query10_nxquery_1344 query10_nxquery_1344n query10_query01_1344 query10_query01_1344n query10_query02_1344 query10_query02_1344n query10_query03_1344 query10_query03_1344n query10_query04_1344 query10_query04_1344n query10_query05_1344 query10_query05_1344n query10_query06_1344 query10_query06_1344n query10_query07_1344 query10_query07_1344n query10_query08_1344 query10_query08_1344n query10_query09_1344 query10_query09_1344n query10_query10_1344 query10_query10_1344n query10_query11_1344 query10_query11_1344n query10_query15_1344 query10_query15_1344n query10_query21_1344 query10_query21_1344n query10_query23_1344 query10_query23_1344n query10_query24_1344 query10_query24_1344n query10_query25_1344 query10_query25_1344n query10_query26_1344 query10_query26_1344n query10_query27_1344 query10_query27_1344n query10_query30_1344 query10_query30_1344n query10_query31_1344 query10_query31_1344n query10_query33_1344 query10_query33_1344n query10_query34_1344 query10_query34_1344n query10_query36_1344 query10_query36_1344n query10_query42_1344 query10_query42_1344n query10_query44_1344 query10_query44_1344n query10_query45_1344 query10_query45_1344n query10_query48_1344 query10_query48_1344n query10_query49_1344 query10_query49_1344n query10_query50_1344 query10_query50_1344n query10_query51_1344 query10_query51_1344n query10_query52_1344 query10_query52_1344n query10_query54_1344 query10_query54_1344n query10_query55_1344 query10_query55_1344n query10_query57_1344 query10_query57_1344n query10_query58_1344 query10_query58_1344n query10_query60_1344 query10_query60_1344n query10_query64_1344 query10_query64_1344n query10_query71_1344 query10_query71_1344n query10_reachqu_1344 query10_reachqu_1344n query10_trivial_1344 query10_trivial_1344n query10_trueque_1344 query10_trueque_1344n query11_axquery_1344 query11_axquery_1344n query11_eequery_1344 query11_eequery_1344n query11_exquery_1344 query11_exquery_1344n query11_falsequ_1344 query11_falsequ_1344n query11_nreachq_1344 query11_nreachq_1344n query11_ntrivil_1344 query11_ntrivil_1344n query11_nxquery_1344 query11_nxquery_1344n query11_query01_1344 query11_query01_1344n query11_query02_1344 query11_query02_1344n query11_query03_1344 query11_query03_1344n query11_query04_1344 query11_query04_1344n query11_query05_1344 query11_query05_1344n query11_query06_1344 query11_query06_1344n query11_query07_1344 query11_query07_1344n query11_query08_1344 query11_query08_1344n query11_query09_1344 query11_query09_1344n query11_query10_1344 query11_query10_1344n query11_query11_1344 query11_query11_1344n query11_query15_1344 query11_query15_1344n query11_query21_1344 query11_query21_1344n query11_query23_1344 query11_query23_1344n query11_query24_1344 query11_query24_1344n query11_query25_1344 query11_query25_1344n query11_query26_1344 query11_query26_1344n query11_query27_1344 query11_query27_1344n query11_query30_1344 query11_query30_1344n query11_query31_1344 query11_query31_1344n query11_query33_1344 query11_query33_1344n query11_query34_1344 query11_query34_1344n query11_query36_1344 query11_query36_1344n query11_query42_1344 query11_query42_1344n query11_query44_1344 query11_query44_1344n query11_query45_1344 query11_query45_1344n query11_query48_1344 query11_query48_1344n query11_query49_1344 query11_query49_1344n query11_query50_1344 query11_query50_1344n query11_query51_1344 query11_query51_1344n query11_query52_1344 query11_query52_1344n query11_query54_1344 query11_query54_1344n query11_query55_1344 query11_query55_1344n query11_query57_1344 query11_query57_1344n query11_query58_1344 query11_query58_1344n query11_query60_1344 query11_query60_1344n query11_query64_1344 query11_query64_1344n query11_query71_1344 query11_query71_1344n query11_reachqu_1344 query11_reachqu_1344n query11_trivial_1344 query11_trivial_1344n query11_trueque_1344 query11_trueque_1344n query15_axquery_1344 query15_axquery_1344n query15_eequery_1344 query15_eequery_1344n query15_exquery_1344 query15_exquery_1344n query15_falsequ_1344 query15_falsequ_1344n query15_nreachq_1344 query15_nreachq_1344n query15_ntrivil_1344 query15_ntrivil_1344n query15_nxquery_1344 query15_nxquery_1344n query15_query01_1344 query15_query01_1344n query15_query02_1344 query15_query02_1344n query15_query03_1344 query15_query03_1344n query15_query04_1344 query15_query04_1344n query15_query05_1344 query15_query05_1344n query15_query06_1344 query15_query06_1344n query15_query07_1344 query15_query07_1344n query15_query08_1344 query15_query08_1344n query15_query09_1344 query15_query09_1344n query15_query10_1344 query15_query10_1344n query15_query11_1344 query15_query11_1344n query15_query15_1344 query15_query15_1344n query15_query21_1344 query15_query21_1344n query15_query23_1344 query15_query23_1344n query15_query24_1344 query15_query24_1344n query15_query25_1344 query15_query25_1344n query15_query26_1344 query15_query26_1344n query15_query27_1344 query15_query27_1344n query15_query30_1344 query15_query30_1344n query15_query31_1344 query15_query31_1344n query15_query33_1344 query15_query33_1344n query15_query34_1344 query15_query34_1344n query15_query36_1344 query15_query36_1344n query15_query42_1344 query15_query42_1344n query15_query44_1344 query15_query44_1344n query15_query45_1344 query15_query45_1344n query15_query48_1344 query15_query48_1344n query15_query49_1344 query15_query49_1344n query15_query50_1344 query15_query50_1344n query15_query51_1344 query15_query51_1344n query15_query52_1344 query15_query52_1344n query15_query54_1344 query15_query54_1344n query15_query55_1344 query15_query55_1344n query15_query57_1344 query15_query57_1344n query15_query58_1344 query15_query58_1344n query15_query60_1344 query15_query60_1344n query15_query64_1344 query15_query64_1344n query15_query71_1344 query15_query71_1344n query15_reachqu_1344 query15_reachqu_1344n query15_trivial_1344 query15_trivial_1344n query15_trueque_1344 query15_trueque_1344n query21_axquery_1344 query21_axquery_1344n query21_eequery_1344 query21_eequery_1344n query21_exquery_1344 query21_exquery_1344n query21_falsequ_1344 query21_falsequ_1344n query21_nreachq_1344 query21_nreachq_1344n query21_ntrivil_1344 query21_ntrivil_1344n query21_nxquery_1344 query21_nxquery_1344n query21_query01_1344 query21_query01_1344n query21_query02_1344 query21_query02_1344n query21_query03_1344 query21_query03_1344n query21_query04_1344 query21_query04_1344n query21_query05_1344 query21_query05_1344n query21_query06_1344 query21_query06_1344n query21_query07_1344 query21_query07_1344n query21_query08_1344 query21_query08_1344n query21_query09_1344 query21_query09_1344n query21_query10_1344 query21_query10_1344n query21_query11_1344 query21_query11_1344n query21_query15_1344 query21_query15_1344n query21_query21_1344 query21_query21_1344n query21_query23_1344 query21_query23_1344n query21_query24_1344 query21_query24_1344n query21_query25_1344 query21_query25_1344n query21_query26_1344 query21_query26_1344n query21_query27_1344 query21_query27_1344n query21_query30_1344 query21_query30_1344n query21_query31_1344 query21_query31_1344n query21_query33_1344 query21_query33_1344n query21_query34_1344 query21_query34_1344n query21_query36_1344 query21_query36_1344n query21_query42_1344 query21_query42_1344n query21_query44_1344 query21_query44_1344n query21_query45_1344 query21_query45_1344n query21_query48_1344 query21_query48_1344n query21_query49_1344 query21_query49_1344n query21_query50_1344 query21_query50_1344n query21_query51_1344 query21_query51_1344n query21_query52_1344 query21_query52_1344n query21_query54_1344 query21_query54_1344n query21_query55_1344 query21_query55_1344n query21_query57_1344 query21_query57_1344n query21_query58_1344 query21_query58_1344n query21_query60_1344 query21_query60_1344n query21_query64_1344 query21_query64_1344n query21_query71_1344 query21_query71_1344n query21_reachqu_1133 query21_reachqu_1344 query21_reachqu_1344n query21_trivial_1344 query21_trivial_1344n query21_trueque_1344 query21_trueque_1344n query23_axquery_1344 query23_axquery_1344n query23_eequery_1344 query23_eequery_1344n query23_exquery_1344 query23_exquery_1344n query23_falsequ_1344 query23_falsequ_1344n query23_nreachq_1344 query23_nreachq_1344n query23_ntrivil_1344 query23_ntrivil_1344n query23_nxquery_1344 query23_nxquery_1344n query23_query01_1344 query23_query01_1344n query23_query02_1344 query23_query02_1344n query23_query03_1344 query23_query03_1344n query23_query04_1344 query23_query04_1344n query23_query05_1344 query23_query05_1344n query23_query06_1344 query23_query06_1344n query23_query07_1344 query23_query07_1344n query23_query08_1344 query23_query08_1344n query23_query09_1344 query23_query09_1344n query23_query10_1344 query23_query10_1344n query23_query11_1344 query23_query11_1344n query23_query15_1344 query23_query15_1344n query23_query21_1344 query23_query21_1344n query23_query23_1344 query23_query23_1344n query23_query24_1344 query23_query24_1344n query23_query25_1344 query23_query25_1344n query23_query26_1344 query23_query26_1344n query23_query27_1344 query23_query27_1344n query23_query30_1344 query23_query30_1344n query23_query31_1344 query23_query31_1344n query23_query33_1344 query23_query33_1344n query23_query34_1344 query23_query34_1344n query23_query36_1344 query23_query36_1344n query23_query42_1344 query23_query42_1344n query23_query44_1344 query23_query44_1344n query23_query45_1344 query23_query45_1344n query23_query48_1344 query23_query48_1344n query23_query49_1344 query23_query49_1344n query23_query50_1344 query23_query50_1344n query23_query51_1344 query23_query51_1344n query23_query52_1344 query23_query52_1344n query23_query54_1344 query23_query54_1344n query23_query55_1344 query23_query55_1344n query23_query57_1344 query23_query57_1344n query23_query58_1344 query23_query58_1344n query23_query60_1344 query23_query60_1344n query23_query64_1344 query23_query64_1344n query23_query71_1344 query23_query71_1344n query23_reachqu_1344 query23_reachqu_1344n query23_trivial_1344 query23_trivial_1344n query23_trueque_1344 query23_trueque_1344n query24_axquery_1344 query24_axquery_1344n query24_eequery_1344 query24_eequery_1344n query24_exquery_1344 query24_exquery_1344n query24_falsequ_1344 query24_falsequ_1344n query24_nreachq_1344 query24_nreachq_1344n query24_ntrivil_1344 query24_ntrivil_1344n query24_nxquery_1344 query24_nxquery_1344n query24_query01_1344 query24_query01_1344n query24_query02_1344 query24_query02_1344n query24_query03_1344 query24_query03_1344n query24_query04_1344 query24_query04_1344n query24_query05_1344 query24_query05_1344n query24_query06_1344 query24_query06_1344n query24_query07_1344 query24_query07_1344n query24_query08_1344 query24_query08_1344n query24_query09_1344 query24_query09_1344n query24_query10_1344 query24_query10_1344n query24_query11_1344 query24_query11_1344n query24_query15_1344 query24_query15_1344n query24_query21_1344 query24_query21_1344n query24_query23_1344 query24_query23_1344n query24_query24_1344 query24_query24_1344n query24_query25_1344 query24_query25_1344n query24_query26_1344 query24_query26_1344n query24_query27_1344 query24_query27_1344n query24_query30_1344 query24_query30_1344n query24_query31_1344 query24_query31_1344n query24_query33_1344 query24_query33_1344n query24_query34_1344 query24_query34_1344n query24_query36_1344 query24_query36_1344n query24_query42_1344 query24_query42_1344n query24_query44_1344 query24_query44_1344n query24_query45_1344 query24_query45_1344n query24_query48_1344 query24_query48_1344n query24_query49_1344 query24_query49_1344n query24_query50_1344 query24_query50_1344n query24_query51_1344 query24_query51_1344n query24_query52_1344 query24_query52_1344n query24_query54_1344 query24_query54_1344n query24_query55_1344 query24_query55_1344n query24_query57_1344 query24_query57_1344n query24_query58_1344 query24_query58_1344n query24_query60_1344 query24_query60_1344n query24_query64_1344 query24_query64_1344n query24_query71_1344 query24_query71_1344n query24_reachqu_1344 query24_reachqu_1344n query24_trivial_1344 query24_trivial_1344n query24_trueque_1344 query24_trueque_1344n query25_axquery_1344 query25_axquery_1344n query25_eequery_1344 query25_eequery_1344n query25_exquery_1344 query25_exquery_1344n query25_falsequ_1344 query25_falsequ_1344n query25_nreachq_1344 query25_nreachq_1344n query25_ntrivil_1344 query25_ntrivil_1344n query25_nxquery_1344 query25_nxquery_1344n query25_query01_1344 query25_query01_1344n query25_query02_1344 query25_query02_1344n query25_query03_1344 query25_query03_1344n query25_query04_1344 query25_query04_1344n query25_query05_1344 query25_query05_1344n query25_query06_1344 query25_query06_1344n query25_query07_1344 query25_query07_1344n query25_query08_1344 query25_query08_1344n query25_query09_1344 query25_query09_1344n query25_query10_1344 query25_query10_1344n query25_query11_1344 query25_query11_1344n query25_query15_1344 query25_query15_1344n query25_query21_1344 query25_query21_1344n query25_query23_1344 query25_query23_1344n query25_query24_1344 query25_query24_1344n query25_query25_1344 query25_query25_1344n query25_query26_1344 query25_query26_1344n query25_query27_1344 query25_query27_1344n query25_query30_1344 query25_query30_1344n query25_query31_1344 query25_query31_1344n query25_query33_1344 query25_query33_1344n query25_query34_1344 query25_query34_1344n query25_query36_1344 query25_query36_1344n query25_query42_1344 query25_query42_1344n query25_query44_1344 query25_query44_1344n query25_query45_1344 query25_query45_1344n query25_query48_1344 query25_query48_1344n query25_query49_1344 query25_query49_1344n query25_query50_1344 query25_query50_1344n query25_query51_1344 query25_query51_1344n query25_query52_1344 query25_query52_1344n query25_query54_1344 query25_query54_1344n query25_query55_1344 query25_query55_1344n query25_query57_1344 query25_query57_1344n query25_query58_1344 query25_query58_1344n query25_query60_1344 query25_query60_1344n query25_query64_1344 query25_query64_1344n query25_query71_1344 query25_query71_1344n query25_reachqu_1344 query25_reachqu_1344n query25_trivial_1344 query25_trivial_1344n query25_trueque_1344 query25_trueque_1344n query26_axquery_1344 query26_axquery_1344n query26_eequery_1344 query26_eequery_1344n query26_exquery_1344 query26_exquery_1344n query26_falsequ_1344 query26_falsequ_1344n query26_nreachq_1344 query26_nreachq_1344n query26_ntrivil_1344 query26_ntrivil_1344n query26_nxquery_1344 query26_nxquery_1344n query26_query01_1344 query26_query01_1344n query26_query02_1344 query26_query02_1344n query26_query03_1344 query26_query03_1344n query26_query04_1344 query26_query04_1344n query26_query05_1344 query26_query05_1344n query26_query06_1344 query26_query06_1344n query26_query07_1344 query26_query07_1344n query26_query08_1344 query26_query08_1344n query26_query09_1344 query26_query09_1344n query26_query10_1344 query26_query10_1344n query26_query11_1344 query26_query11_1344n query26_query15_1344 query26_query15_1344n query26_query21_1344 query26_query21_1344n query26_query23_1344 query26_query23_1344n query26_query24_1344 query26_query24_1344n query26_query25_1344 query26_query25_1344n query26_query26_1344 query26_query26_1344n query26_query27_1344 query26_query27_1344n query26_query30_1344 query26_query30_1344n query26_query31_1344 query26_query31_1344n query26_query33_1344 query26_query33_1344n query26_query34_1344 query26_query34_1344n query26_query36_1344 query26_query36_1344n query26_query42_1344 query26_query42_1344n query26_query44_1344 query26_query44_1344n query26_query45_1344 query26_query45_1344n query26_query48_1344 query26_query48_1344n query26_query49_1344 query26_query49_1344n query26_query50_1344 query26_query50_1344n query26_query51_1344 query26_query51_1344n query26_query52_1344 query26_query52_1344n query26_query54_1344 query26_query54_1344n query26_query55_1344 query26_query55_1344n query26_query57_1344 query26_query57_1344n query26_query58_1344 query26_query58_1344n query26_query60_1344 query26_query60_1344n query26_query64_1344 query26_query64_1344n query26_query71_1344 query26_query71_1344n query26_reachqu_1344 query26_reachqu_1344n query26_trivial_1344 query26_trivial_1344n query26_trueque_1344 query26_trueque_1344n query27_axquery_1344 query27_axquery_1344n query27_eequery_1344 query27_eequery_1344n query27_exquery_1344 query27_exquery_1344n query27_falsequ_1344 query27_falsequ_1344n query27_nreachq_1344 query27_nreachq_1344n query27_ntrivil_1344 query27_ntrivil_1344n query27_nxquery_1344 query27_nxquery_1344n query27_query01_1344 query27_query01_1344n query27_query02_1344 query27_query02_1344n query27_query03_1344 query27_query03_1344n query27_query04_1344 query27_query04_1344n query27_query05_1344 query27_query05_1344n query27_query06_1344 query27_query06_1344n query27_query07_1344 query27_query07_1344n query27_query08_1344 query27_query08_1344n query27_query09_1344 query27_query09_1344n query27_query10_1344 query27_query10_1344n query27_query11_1344 query27_query11_1344n query27_query15_1344 query27_query15_1344n query27_query21_1344 query27_query21_1344n query27_query23_1344 query27_query23_1344n query27_query24_1344 query27_query24_1344n query27_query25_1344 query27_query25_1344n query27_query26_1344 query27_query26_1344n query27_query27_1344 query27_query27_1344n query27_query30_1344 query27_query30_1344n query27_query31_1344 query27_query31_1344n query27_query33_1344 query27_query33_1344n query27_query34_1344 query27_query34_1344n query27_query36_1344 query27_query36_1344n query27_query42_1344 query27_query42_1344n query27_query44_1344 query27_query44_1344n query27_query45_1344 query27_query45_1344n query27_query48_1344 query27_query48_1344n query27_query49_1344 query27_query49_1344n query27_query50_1344 query27_query50_1344n query27_query51_1344 query27_query51_1344n query27_query52_1344 query27_query52_1344n query27_query54_1344 query27_query54_1344n query27_query55_1344 query27_query55_1344n query27_query57_1344 query27_query57_1344n query27_query58_1344 query27_query58_1344n query27_query60_1344 query27_query60_1344n query27_query64_1344 query27_query64_1344n query27_query71_1344 query27_query71_1344n query27_reachqu_1344 query27_reachqu_1344n query27_trivial_1344 query27_trivial_1344n query27_trueque_1344 query27_trueque_1344n query30_axquery_1344 query30_axquery_1344n query30_eequery_1133 query30_eequery_1344 query30_eequery_1344n query30_exquery_1344 query30_exquery_1344n query30_falsequ_1344 query30_falsequ_1344n query30_nreachq_1344 query30_nreachq_1344n query30_ntrivil_1344 query30_ntrivil_1344n query30_nxquery_1344 query30_nxquery_1344n query30_query01_1344 query30_query01_1344n query30_query02_1344 query30_query02_1344n query30_query03_1344 query30_query03_1344n query30_query04_1344 query30_query04_1344n query30_query05_1344 query30_query05_1344n query30_query06_1344 query30_query06_1344n query30_query07_1344 query30_query07_1344n query30_query08_1344 query30_query08_1344n query30_query09_1344 query30_query09_1344n query30_query10_1344 query30_query10_1344n query30_query11_1344 query30_query11_1344n query30_query15_1344 query30_query15_1344n query30_query21_1344 query30_query21_1344n query30_query23_1344 query30_query23_1344n query30_query24_1344 query30_query24_1344n query30_query25_1344 query30_query25_1344n query30_query26_1344 query30_query26_1344n query30_query27_1344 query30_query27_1344n query30_query30_1344 query30_query30_1344n query30_query31_1344 query30_query31_1344n query30_query33_1344 query30_query33_1344n query30_query34_1344 query30_query34_1344n query30_query36_1344 query30_query36_1344n query30_query42_1344 query30_query42_1344n query30_query44_1344 query30_query44_1344n query30_query45_1344 query30_query45_1344n query30_query48_1344 query30_query48_1344n query30_query49_1344 query30_query49_1344n query30_query50_1344 query30_query50_1344n query30_query51_1344 query30_query51_1344n query30_query52_1344 query30_query52_1344n query30_query54_1344 query30_query54_1344n query30_query55_1344 query30_query55_1344n query30_query57_1344 query30_query57_1344n query30_query58_1344 query30_query58_1344n query30_query60_1344 query30_query60_1344n query30_query64_1344 query30_query64_1344n query30_query71_1344 query30_query71_1344n query30_reachqu_1344 query30_reachqu_1344n query30_trivial_1344 query30_trivial_1344n query30_trueque_1344 query30_trueque_1344n query31_axquery_1344 query31_axquery_1344n query31_eequery_1344 query31_eequery_1344n query31_exquery_1344 query31_exquery_1344n query31_falsequ_1344 query31_falsequ_1344n query31_nreachq_1344 query31_nreachq_1344n query31_ntrivil_1344 query31_ntrivil_1344n query31_nxquery_1344 query31_nxquery_1344n query31_query01_1344 query31_query01_1344n query31_query02_1344 query31_query02_1344n query31_query03_1344 query31_query03_1344n query31_query04_1344 query31_query04_1344n query31_query05_1344 query31_query05_1344n query31_query06_1344 query31_query06_1344n query31_query07_1344 query31_query07_1344n query31_query08_1344 query31_query08_1344n query31_query09_1344 query31_query09_1344n query31_query10_1344 query31_query10_1344n query31_query11_1344 query31_query11_1344n query31_query15_1344 query31_query15_1344n query31_query21_1344 query31_query21_1344n query31_query23_1344 query31_query23_1344n query31_query24_1344 query31_query24_1344n query31_query25_1344 query31_query25_1344n query31_query26_1344 query31_query26_1344n query31_query27_1344 query31_query27_1344n query31_query30_1344 query31_query30_1344n query31_query31_1344 query31_query31_1344n query31_query33_1344 query31_query33_1344n query31_query34_1344 query31_query34_1344n query31_query36_1344 query31_query36_1344n query31_query42_1344 query31_query42_1344n query31_query44_1344 query31_query44_1344n query31_query45_1344 query31_query45_1344n query31_query48_1344 query31_query48_1344n query31_query49_1344 query31_query49_1344n query31_query50_1344 query31_query50_1344n query31_query51_1344 query31_query51_1344n query31_query52_1344 query31_query52_1344n query31_query54_1344 query31_query54_1344n query31_query55_1344 query31_query55_1344n query31_query57_1344 query31_query57_1344n query31_query58_1344 query31_query58_1344n query31_query60_1344 query31_query60_1344n query31_query64_1344 query31_query64_1344n query31_query71_1344 query31_query71_1344n query31_reachqu_1344 query31_reachqu_1344n query31_trivial_1344 query31_trivial_1344n query31_trueque_1344 query31_trueque_1344n query33_axquery_1344 query33_axquery_1344n query33_eequery_1344 query33_eequery_1344n query33_exquery_1344 query33_exquery_1344n query33_falsequ_1344 query33_falsequ_1344n query33_nreachq_1344 query33_nreachq_1344n query33_ntrivil_1344 query33_ntrivil_1344n query33_nxquery_1344 query33_nxquery_1344n query33_query01_1344 query33_query01_1344n query33_query02_1344 query33_query02_1344n query33_query03_1344 query33_query03_1344n query33_query04_1344 query33_query04_1344n query33_query05_1344 query33_query05_1344n query33_query06_1344 query33_query06_1344n query33_query07_1344 query33_query07_1344n query33_query08_1344 query33_query08_1344n query33_query09_1344 query33_query09_1344n query33_query10_1344 query33_query10_1344n query33_query11_1344 query33_query11_1344n query33_query15_1344 query33_query15_1344n query33_query21_1344 query33_query21_1344n query33_query23_1344 query33_query23_1344n query33_query24_1344 query33_query24_1344n query33_query25_1344 query33_query25_1344n query33_query26_1344 query33_query26_1344n query33_query27_1344 query33_query27_1344n query33_query30_1344 query33_query30_1344n query33_query31_1344 query33_query31_1344n query33_query33_1344 query33_query33_1344n query33_query34_1344 query33_query34_1344n query33_query36_1344 query33_query36_1344n query33_query42_1344 query33_query42_1344n query33_query44_1344 query33_query44_1344n query33_query45_1344 query33_query45_1344n query33_query48_1344 query33_query48_1344n query33_query49_1344 query33_query49_1344n query33_query50_1344 query33_query50_1344n query33_query51_1344 query33_query51_1344n query33_query52_1344 query33_query52_1344n query33_query54_1344 query33_query54_1344n query33_query55_1344 query33_query55_1344n query33_query57_1344 query33_query57_1344n query33_query58_1344 query33_query58_1344n query33_query60_1344 query33_query60_1344n query33_query64_1344 query33_query64_1344n query33_query71_1344 query33_query71_1344n query33_reachqu_1344 query33_reachqu_1344n query33_trivial_1344 query33_trivial_1344n query33_trueque_1344 query33_trueque_1344n query34_axquery_1344 query34_axquery_1344n query34_eequery_1344 query34_eequery_1344n query34_exquery_1344 query34_exquery_1344n query34_falsequ_1344 query34_falsequ_1344n query34_nreachq_1344 query34_nreachq_1344n query34_ntrivil_1344 query34_ntrivil_1344n query34_nxquery_1344 query34_nxquery_1344n query34_query01_1344 query34_query01_1344n query34_query02_1344 query34_query02_1344n query34_query03_1344 query34_query03_1344n query34_query04_1344 query34_query04_1344n query34_query05_1344 query34_query05_1344n query34_query06_1344 query34_query06_1344n query34_query07_1344 query34_query07_1344n query34_query08_1344 query34_query08_1344n query34_query09_1344 query34_query09_1344n query34_query10_1344 query34_query10_1344n query34_query11_1344 query34_query11_1344n query34_query15_1344 query34_query15_1344n query34_query21_1344 query34_query21_1344n query34_query23_1344 query34_query23_1344n query34_query24_1344 query34_query24_1344n query34_query25_1344 query34_query25_1344n query34_query26_1344 query34_query26_1344n query34_query27_1344 query34_query27_1344n query34_query30_1344 query34_query30_1344n query34_query31_1344 query34_query31_1344n query34_query33_1344 query34_query33_1344n query34_query34_1344 query34_query34_1344n query34_query36_1344 query34_query36_1344n query34_query42_1344 query34_query42_1344n query34_query44_1344 query34_query44_1344n query34_query45_1344 query34_query45_1344n query34_query48_1344 query34_query48_1344n query34_query49_1344 query34_query49_1344n query34_query50_1344 query34_query50_1344n query34_query51_1344 query34_query51_1344n query34_query52_1344 query34_query52_1344n query34_query54_1344 query34_query54_1344n query34_query55_1344 query34_query55_1344n query34_query57_1344 query34_query57_1344n query34_query58_1344 query34_query58_1344n query34_query60_1344 query34_query60_1344n query34_query64_1344 query34_query64_1344n query34_query71_1344 query34_query71_1344n query34_reachqu_1344 query34_reachqu_1344n query34_trivial_1344 query34_trivial_1344n query34_trueque_1344 query34_trueque_1344n query36_axquery_1344 query36_axquery_1344n query36_eequery_1344 query36_eequery_1344n query36_exquery_1344 query36_exquery_1344n query36_falsequ_1344 query36_falsequ_1344n query36_nreachq_1344 query36_nreachq_1344n query36_ntrivil_1344 query36_ntrivil_1344n query36_nxquery_1344 query36_nxquery_1344n query36_query01_1344 query36_query01_1344n query36_query02_1344 query36_query02_1344n query36_query03_1344 query36_query03_1344n query36_query04_1344 query36_query04_1344n query36_query05_1344 query36_query05_1344n query36_query06_1344 query36_query06_1344n query36_query07_1344 query36_query07_1344n query36_query08_1344 query36_query08_1344n query36_query09_1344 query36_query09_1344n query36_query10_1344 query36_query10_1344n query36_query11_1344 query36_query11_1344n query36_query15_1344 query36_query15_1344n query36_query21_1344 query36_query21_1344n query36_query23_1344 query36_query23_1344n query36_query24_1344 query36_query24_1344n query36_query25_1344 query36_query25_1344n query36_query26_1344 query36_query26_1344n query36_query27_1344 query36_query27_1344n query36_query30_1344 query36_query30_1344n query36_query31_1344 query36_query31_1344n query36_query33_1344 query36_query33_1344n query36_query34_1344 query36_query34_1344n query36_query36_1344 query36_query36_1344n query36_query42_1344 query36_query42_1344n query36_query44_1344 query36_query44_1344n query36_query45_1344 query36_query45_1344n query36_query48_1344 query36_query48_1344n query36_query49_1344 query36_query49_1344n query36_query50_1344 query36_query50_1344n query36_query51_1344 query36_query51_1344n query36_query52_1344 query36_query52_1344n query36_query54_1344 query36_query54_1344n query36_query55_1344 query36_query55_1344n query36_query57_1344 query36_query57_1344n query36_query58_1344 query36_query58_1344n query36_query60_1344 query36_query60_1344n query36_query64_1344 query36_query64_1344n query36_query71_1344 query36_query71_1344n query36_reachqu_1344 query36_reachqu_1344n query36_trivial_1344 query36_trivial_1344n query36_trueque_1344 query36_trueque_1344n query42_axquery_1344 query42_axquery_1344n query42_eequery_1344 query42_eequery_1344n query42_exquery_1344 query42_exquery_1344n query42_falsequ_1344 query42_falsequ_1344n query42_nreachq_1344 query42_nreachq_1344n query42_ntrivil_1344 query42_ntrivil_1344n query42_nxquery_1344 query42_nxquery_1344n query42_query01_1344 query42_query01_1344n query42_query02_1344 query42_query02_1344n query42_query03_1344 query42_query03_1344n query42_query04_1344 query42_query04_1344n query42_query05_1344 query42_query05_1344n query42_query06_1344 query42_query06_1344n query42_query07_1344 query42_query07_1344n query42_query08_1344 query42_query08_1344n query42_query09_1344 query42_query09_1344n query42_query10_1344 query42_query10_1344n query42_query11_1344 query42_query11_1344n query42_query15_1344 query42_query15_1344n query42_query21_1344 query42_query21_1344n query42_query23_1344 query42_query23_1344n query42_query24_1344 query42_query24_1344n query42_query25_1344 query42_query25_1344n query42_query26_1344 query42_query26_1344n query42_query27_1344 query42_query27_1344n query42_query30_1344 query42_query30_1344n query42_query31_1344 query42_query31_1344n query42_query33_1344 query42_query33_1344n query42_query34_1344 query42_query34_1344n query42_query36_1344 query42_query36_1344n query42_query42_1344 query42_query42_1344n query42_query44_1344 query42_query44_1344n query42_query45_1344 query42_query45_1344n query42_query48_1344 query42_query48_1344n query42_query49_1344 query42_query49_1344n query42_query50_1344 query42_query50_1344n query42_query51_1344 query42_query51_1344n query42_query52_1344 query42_query52_1344n query42_query54_1344 query42_query54_1344n query42_query55_1344 query42_query55_1344n query42_query57_1344 query42_query57_1344n query42_query58_1344 query42_query58_1344n query42_query60_1344 query42_query60_1344n query42_query64_1344 query42_query64_1344n query42_query71_1344 query42_query71_1344n query42_reachqu_1344 query42_reachqu_1344n query42_trivial_1344 query42_trivial_1344n query42_trueque_1344 query42_trueque_1344n query44_axquery_1344 query44_axquery_1344n query44_eequery_1344 query44_eequery_1344n query44_exquery_1344 query44_exquery_1344n query44_falsequ_1344 query44_falsequ_1344n query44_nreachq_1344 query44_nreachq_1344n query44_ntrivil_1344 query44_ntrivil_1344n query44_nxquery_1344 query44_nxquery_1344n query44_query01_1344 query44_query01_1344n query44_query02_1344 query44_query02_1344n query44_query03_1344 query44_query03_1344n query44_query04_1344 query44_query04_1344n query44_query05_1344 query44_query05_1344n query44_query06_1344 query44_query06_1344n query44_query07_1344 query44_query07_1344n query44_query08_1344 query44_query08_1344n query44_query09_1344 query44_query09_1344n query44_query10_1344 query44_query10_1344n query44_query11_1344 query44_query11_1344n query44_query15_1344 query44_query15_1344n query44_query21_1344 query44_query21_1344n query44_query23_1344 query44_query23_1344n query44_query24_1344 query44_query24_1344n query44_query25_1344 query44_query25_1344n query44_query26_1344 query44_query26_1344n query44_query27_1344 query44_query27_1344n query44_query30_1344 query44_query30_1344n query44_query31_1344 query44_query31_1344n query44_query33_1344 query44_query33_1344n query44_query34_1344 query44_query34_1344n query44_query36_1344 query44_query36_1344n query44_query42_1344 query44_query42_1344n query44_query44_1344 query44_query44_1344n query44_query45_1344 query44_query45_1344n query44_query48_1344 query44_query48_1344n query44_query49_1344 query44_query49_1344n query44_query50_1344 query44_query50_1344n query44_query51_1344 query44_query51_1344n query44_query52_1344 query44_query52_1344n query44_query54_1344 query44_query54_1344n query44_query55_1344 query44_query55_1344n query44_query57_1133 query44_query57_1344 query44_query57_1344n query44_query58_1344 query44_query58_1344n query44_query60_1344 query44_query60_1344n query44_query64_1344 query44_query64_1344n query44_query71_1344 query44_query71_1344n query44_reachqu_1344 query44_reachqu_1344n query44_trivial_1344 query44_trivial_1344n query44_trueque_1344 query44_trueque_1344n query45_axquery_1344 query45_axquery_1344n query45_eequery_1344 query45_eequery_1344n query45_exquery_1344 query45_exquery_1344n query45_falsequ_1344 query45_falsequ_1344n query45_nreachq_1344 query45_nreachq_1344n query45_ntrivil_1344 query45_ntrivil_1344n query45_nxquery_1344 query45_nxquery_1344n query45_query01_1344 query45_query01_1344n query45_query02_1344 query45_query02_1344n query45_query03_1344 query45_query03_1344n query45_query04_1344 query45_query04_1344n query45_query05_1344 query45_query05_1344n query45_query06_1344 query45_query06_1344n query45_query07_1344 query45_query07_1344n query45_query08_1344 query45_query08_1344n query45_query09_1344 query45_query09_1344n query45_query10_1344 query45_query10_1344n query45_query11_1344 query45_query11_1344n query45_query15_1344 query45_query15_1344n query45_query21_1344 query45_query21_1344n query45_query23_1344 query45_query23_1344n query45_query24_1344 query45_query24_1344n query45_query25_1344 query45_query25_1344n query45_query26_1344 query45_query26_1344n query45_query27_1344 query45_query27_1344n query45_query30_1344 query45_query30_1344n query45_query31_1344 query45_query31_1344n query45_query33_1344 query45_query33_1344n query45_query34_1344 query45_query34_1344n query45_query36_1344 query45_query36_1344n query45_query42_1344 query45_query42_1344n query45_query44_1344 query45_query44_1344n query45_query45_1344 query45_query45_1344n query45_query48_1344 query45_query48_1344n query45_query49_1344 query45_query49_1344n query45_query50_1344 query45_query50_1344n query45_query51_1344 query45_query51_1344n query45_query52_1344 query45_query52_1344n query45_query54_1344 query45_query54_1344n query45_query55_1344 query45_query55_1344n query45_query57_1344 query45_query57_1344n query45_query58_1344 query45_query58_1344n query45_query60_1344 query45_query60_1344n query45_query64_1344 query45_query64_1344n query45_query71_1344 query45_query71_1344n query45_reachqu_1344 query45_reachqu_1344n query45_trivial_1344 query45_trivial_1344n query45_trueque_1344 query45_trueque_1344n query48_axquery_1344 query48_axquery_1344n query48_eequery_1344 query48_eequery_1344n query48_exquery_1344 query48_exquery_1344n query48_falsequ_1344 query48_falsequ_1344n query48_nreachq_1344 query48_nreachq_1344n query48_ntrivil_1344 query48_ntrivil_1344n query48_nxquery_1344 query48_nxquery_1344n query48_query01_1344 query48_query01_1344n query48_query02_1344 query48_query02_1344n query48_query03_1344 query48_query03_1344n query48_query04_1344 query48_query04_1344n query48_query05_1344 query48_query05_1344n query48_query06_1344 query48_query06_1344n query48_query07_1344 query48_query07_1344n query48_query08_1344 query48_query08_1344n query48_query09_1344 query48_query09_1344n query48_query10_1344 query48_query10_1344n query48_query11_1344 query48_query11_1344n query48_query15_1344 query48_query15_1344n query48_query21_1344 query48_query21_1344n query48_query23_1344 query48_query23_1344n query48_query24_1344 query48_query24_1344n query48_query25_1344 query48_query25_1344n query48_query26_1344 query48_query26_1344n query48_query27_1344 query48_query27_1344n query48_query30_1344 query48_query30_1344n query48_query31_1344 query48_query31_1344n query48_query33_1344 query48_query33_1344n query48_query34_1344 query48_query34_1344n query48_query36_1344 query48_query36_1344n query48_query42_1344 query48_query42_1344n query48_query44_1344 query48_query44_1344n query48_query45_1344 query48_query45_1344n query48_query48_1344 query48_query48_1344n query48_query49_1344 query48_query49_1344n query48_query50_1344 query48_query50_1344n query48_query51_1344 query48_query51_1344n query48_query52_1344 query48_query52_1344n query48_query54_1344 query48_query54_1344n query48_query55_1344 query48_query55_1344n query48_query57_1344 query48_query57_1344n query48_query58_1344 query48_query58_1344n query48_query60_1344 query48_query60_1344n query48_query64_1344 query48_query64_1344n query48_query71_1344 query48_query71_1344n query48_reachqu_1344 query48_reachqu_1344n query48_trivial_1344 query48_trivial_1344n query48_trueque_1344 query48_trueque_1344n query49_axquery_1344 query49_axquery_1344n query49_eequery_1344 query49_eequery_1344n query49_exquery_1344 query49_exquery_1344n query49_falsequ_1344 query49_falsequ_1344n query49_nreachq_1344 query49_nreachq_1344n query49_ntrivil_1344 query49_ntrivil_1344n query49_nxquery_1344 query49_nxquery_1344n query49_query01_1344 query49_query01_1344n query49_query02_1344 query49_query02_1344n query49_query03_1344 query49_query03_1344n query49_query04_1344 query49_query04_1344n query49_query05_1344 query49_query05_1344n query49_query06_1344 query49_query06_1344n query49_query07_1344 query49_query07_1344n query49_query08_1344 query49_query08_1344n query49_query09_1344 query49_query09_1344n query49_query10_1344 query49_query10_1344n query49_query11_1344 query49_query11_1344n query49_query15_1344 query49_query15_1344n query49_query21_1344 query49_query21_1344n query49_query23_1344 query49_query23_1344n query49_query24_1344 query49_query24_1344n query49_query25_1344 query49_query25_1344n query49_query26_1344 query49_query26_1344n query49_query27_1344 query49_query27_1344n query49_query30_1344 query49_query30_1344n query49_query31_1344 query49_query31_1344n query49_query33_1344 query49_query33_1344n query49_query34_1344 query49_query34_1344n query49_query36_1344 query49_query36_1344n query49_query42_1344 query49_query42_1344n query49_query44_1344 query49_query44_1344n query49_query45_1344 query49_query45_1344n query49_query48_1344 query49_query48_1344n query49_query49_1344 query49_query49_1344n query49_query50_1344 query49_query50_1344n query49_query51_1344 query49_query51_1344n query49_query52_1344 query49_query52_1344n query49_query54_1344 query49_query54_1344n query49_query55_1344 query49_query55_1344n query49_query57_1344 query49_query57_1344n query49_query58_1344 query49_query58_1344n query49_query60_1344 query49_query60_1344n query49_query64_1133 query49_query64_1344 query49_query64_1344n query49_query71_1344 query49_query71_1344n query49_reachqu_1344 query49_reachqu_1344n query49_trivial_1344 query49_trivial_1344n query49_trueque_1344 query49_trueque_1344n query50_axquery_1344 query50_axquery_1344n query50_eequery_1344 query50_eequery_1344n query50_exquery_1344 query50_exquery_1344n query50_falsequ_1344 query50_falsequ_1344n query50_nreachq_1344 query50_nreachq_1344n query50_ntrivil_1344 query50_ntrivil_1344n query50_nxquery_1344 query50_nxquery_1344n query50_query01_1344 query50_query01_1344n query50_query02_1344 query50_query02_1344n query50_query03_1344 query50_query03_1344n query50_query04_1344 query50_query04_1344n query50_query05_1344 query50_query05_1344n query50_query06_1344 query50_query06_1344n query50_query07_1344 query50_query07_1344n query50_query08_1344 query50_query08_1344n query50_query09_1344 query50_query09_1344n query50_query10_1344 query50_query10_1344n query50_query11_1344 query50_query11_1344n query50_query15_1344 query50_query15_1344n query50_query21_1344 query50_query21_1344n query50_query23_1344 query50_query23_1344n query50_query24_1344 query50_query24_1344n query50_query25_1344 query50_query25_1344n query50_query26_1344 query50_query26_1344n query50_query27_1344 query50_query27_1344n query50_query30_1344 query50_query30_1344n query50_query31_1344 query50_query31_1344n query50_query33_1344 query50_query33_1344n query50_query34_1344 query50_query34_1344n query50_query36_1344 query50_query36_1344n query50_query42_1344 query50_query42_1344n query50_query44_1344 query50_query44_1344n query50_query45_1344 query50_query45_1344n query50_query48_1344 query50_query48_1344n query50_query49_1133 query50_query49_1344 query50_query49_1344n query50_query50_1344 query50_query50_1344n query50_query51_1344 query50_query51_1344n query50_query52_1344 query50_query52_1344n query50_query54_1344 query50_query54_1344n query50_query55_1344 query50_query55_1344n query50_query57_1344 query50_query57_1344n query50_query58_1344 query50_query58_1344n query50_query60_1344 query50_query60_1344n query50_query64_1344 query50_query64_1344n query50_query71_1344 query50_query71_1344n query50_reachqu_1344 query50_reachqu_1344n query50_trivial_1344 query50_trivial_1344n query50_trueque_1344 query50_trueque_1344n query51_axquery_1344 query51_axquery_1344n query51_eequery_1344 query51_eequery_1344n query51_exquery_1344 query51_exquery_1344n query51_falsequ_1344 query51_falsequ_1344n query51_nreachq_1344 query51_nreachq_1344n query51_ntrivil_1344 query51_ntrivil_1344n query51_nxquery_1344 query51_nxquery_1344n query51_query01_1344 query51_query01_1344n query51_query02_1344 query51_query02_1344n query51_query03_1344 query51_query03_1344n query51_query04_1344 query51_query04_1344n query51_query05_1344 query51_query05_1344n query51_query06_1344 query51_query06_1344n query51_query07_1344 query51_query07_1344n query51_query08_1344 query51_query08_1344n query51_query09_1344 query51_query09_1344n query51_query10_1344 query51_query10_1344n query51_query11_1344 query51_query11_1344n query51_query15_1344 query51_query15_1344n query51_query21_1344 query51_query21_1344n query51_query23_1344 query51_query23_1344n query51_query24_1344 query51_query24_1344n query51_query25_1344 query51_query25_1344n query51_query26_1344 query51_query26_1344n query51_query27_1344 query51_query27_1344n query51_query30_1344 query51_query30_1344n query51_query31_1344 query51_query31_1344n query51_query33_1344 query51_query33_1344n query51_query34_1344 query51_query34_1344n query51_query36_1344 query51_query36_1344n query51_query42_1344 query51_query42_1344n query51_query44_1344 query51_query44_1344n query51_query45_1344 query51_query45_1344n query51_query48_1133 query51_query48_1344 query51_query48_1344n query51_query49_1344 query51_query49_1344n query51_query50_1344 query51_query50_1344n query51_query51_1344 query51_query51_1344n query51_query52_1344 query51_query52_1344n query51_query54_1344 query51_query54_1344n query51_query55_1344 query51_query55_1344n query51_query57_1344 query51_query57_1344n query51_query58_1344 query51_query58_1344n query51_query60_1344 query51_query60_1344n query51_query64_1344 query51_query64_1344n query51_query71_1344 query51_query71_1344n query51_reachqu_1344 query51_reachqu_1344n query51_trivial_1344 query51_trivial_1344n query51_trueque_1344 query51_trueque_1344n query52_axquery_1344 query52_axquery_1344n query52_eequery_1344 query52_eequery_1344n query52_exquery_1344 query52_exquery_1344n query52_falsequ_1344 query52_falsequ_1344n query52_nreachq_1344 query52_nreachq_1344n query52_ntrivil_1344 query52_ntrivil_1344n query52_nxquery_1344 query52_nxquery_1344n query52_query01_1344 query52_query01_1344n query52_query02_1344 query52_query02_1344n query52_query03_1344 query52_query03_1344n query52_query04_1344 query52_query04_1344n query52_query05_1344 query52_query05_1344n query52_query06_1344 query52_query06_1344n query52_query07_1344 query52_query07_1344n query52_query08_1344 query52_query08_1344n query52_query09_1344 query52_query09_1344n query52_query10_1344 query52_query10_1344n query52_query11_1344 query52_query11_1344n query52_query15_1344 query52_query15_1344n query52_query21_1344 query52_query21_1344n query52_query23_1344 query52_query23_1344n query52_query24_1344 query52_query24_1344n query52_query25_1344 query52_query25_1344n query52_query26_1344 query52_query26_1344n query52_query27_1344 query52_query27_1344n query52_query30_1344 query52_query30_1344n query52_query31_1344 query52_query31_1344n query52_query33_1344 query52_query33_1344n query52_query34_1344 query52_query34_1344n query52_query36_1344 query52_query36_1344n query52_query42_1344 query52_query42_1344n query52_query44_1344 query52_query44_1344n query52_query45_1344 query52_query45_1344n query52_query48_1344 query52_query48_1344n query52_query49_1344 query52_query49_1344n query52_query50_1344 query52_query50_1344n query52_query51_1344 query52_query51_1344n query52_query52_1344 query52_query52_1344n query52_query54_1344 query52_query54_1344n query52_query55_1344 query52_query55_1344n query52_query57_1344 query52_query57_1344n query52_query58_1344 query52_query58_1344n query52_query60_1344 query52_query60_1344n query52_query64_1344 query52_query64_1344n query52_query71_1344 query52_query71_1344n query52_reachqu_1344 query52_reachqu_1344n query52_trivial_1344 query52_trivial_1344n query52_trueque_1344 query52_trueque_1344n query54_axquery_1344 query54_axquery_1344n query54_eequery_1344 query54_eequery_1344n query54_exquery_1344 query54_exquery_1344n query54_falsequ_1344 query54_falsequ_1344n query54_nreachq_1344 query54_nreachq_1344n query54_ntrivil_1344 query54_ntrivil_1344n query54_nxquery_1344 query54_nxquery_1344n query54_query01_1344 query54_query01_1344n query54_query02_1344 query54_query02_1344n query54_query03_1344 query54_query03_1344n query54_query04_1344 query54_query04_1344n query54_query05_1344 query54_query05_1344n query54_query06_1344 query54_query06_1344n query54_query07_1344 query54_query07_1344n query54_query08_1344 query54_query08_1344n query54_query09_1344 query54_query09_1344n query54_query10_1344 query54_query10_1344n query54_query11_1344 query54_query11_1344n query54_query15_1344 query54_query15_1344n query54_query21_1344 query54_query21_1344n query54_query23_1344 query54_query23_1344n query54_query24_1344 query54_query24_1344n query54_query25_1344 query54_query25_1344n query54_query26_1344 query54_query26_1344n query54_query27_1344 query54_query27_1344n query54_query30_1344 query54_query30_1344n query54_query31_1344 query54_query31_1344n query54_query33_1344 query54_query33_1344n query54_query34_1344 query54_query34_1344n query54_query36_1344 query54_query36_1344n query54_query42_1344 query54_query42_1344n query54_query44_1344 query54_query44_1344n query54_query45_1344 query54_query45_1344n query54_query48_1344 query54_query48_1344n query54_query49_1344 query54_query49_1344n query54_query50_1344 query54_query50_1344n query54_query51_1344 query54_query51_1344n query54_query52_1344 query54_query52_1344n query54_query54_1344 query54_query54_1344n query54_query55_1344 query54_query55_1344n query54_query57_1344 query54_query57_1344n query54_query58_1344 query54_query58_1344n query54_query60_1344 query54_query60_1344n query54_query64_1344 query54_query64_1344n query54_query71_1344 query54_query71_1344n query54_reachqu_1344 query54_reachqu_1344n query54_trivial_1344 query54_trivial_1344n query54_trueque_1344 query54_trueque_1344n query55_axquery_1344 query55_axquery_1344n query55_eequery_1344 query55_eequery_1344n query55_exquery_1344 query55_exquery_1344n query55_falsequ_1344 query55_falsequ_1344n query55_nreachq_1344 query55_nreachq_1344n query55_ntrivil_1344 query55_ntrivil_1344n query55_nxquery_1344 query55_nxquery_1344n query55_query01_1344 query55_query01_1344n query55_query02_1344 query55_query02_1344n query55_query03_1344 query55_query03_1344n query55_query04_1344 query55_query04_1344n query55_query05_1344 query55_query05_1344n query55_query06_1344 query55_query06_1344n query55_query07_1344 query55_query07_1344n query55_query08_1344 query55_query08_1344n query55_query09_1344 query55_query09_1344n query55_query10_1344 query55_query10_1344n query55_query11_1344 query55_query11_1344n query55_query15_1344 query55_query15_1344n query55_query21_1344 query55_query21_1344n query55_query23_1344 query55_query23_1344n query55_query24_1344 query55_query24_1344n query55_query25_1344 query55_query25_1344n query55_query26_1344 query55_query26_1344n query55_query27_1344 query55_query27_1344n query55_query30_1344 query55_query30_1344n query55_query31_1344 query55_query31_1344n query55_query33_1344 query55_query33_1344n query55_query34_1344 query55_query34_1344n query55_query36_1344 query55_query36_1344n query55_query42_1344 query55_query42_1344n query55_query44_1344 query55_query44_1344n query55_query45_1344 query55_query45_1344n query55_query48_1344 query55_query48_1344n query55_query49_1344 query55_query49_1344n query55_query50_1344 query55_query50_1344n query55_query51_1344 query55_query51_1344n query55_query52_1344 query55_query52_1344n query55_query54_1344 query55_query54_1344n query55_query55_1344 query55_query55_1344n query55_query57_1344 query55_query57_1344n query55_query58_1344 query55_query58_1344n query55_query60_1344 query55_query60_1344n query55_query64_1344 query55_query64_1344n query55_query71_1344 query55_query71_1344n query55_reachqu_1344 query55_reachqu_1344n query55_trivial_1344 query55_trivial_1344n query55_trueque_1344 query55_trueque_1344n query57_axquery_1344 query57_axquery_1344n query57_eequery_1344 query57_eequery_1344n query57_exquery_1344 query57_exquery_1344n query57_falsequ_1344 query57_falsequ_1344n query57_nreachq_1344 query57_nreachq_1344n query57_ntrivil_1344 query57_ntrivil_1344n query57_nxquery_1344 query57_nxquery_1344n query57_query01_1344 query57_query01_1344n query57_query02_1344 query57_query02_1344n query57_query03_1344 query57_query03_1344n query57_query04_1344 query57_query04_1344n query57_query05_1344 query57_query05_1344n query57_query06_1344 query57_query06_1344n query57_query07_1344 query57_query07_1344n query57_query08_1344 query57_query08_1344n query57_query09_1344 query57_query09_1344n query57_query10_1344 query57_query10_1344n query57_query11_1344 query57_query11_1344n query57_query15_1344 query57_query15_1344n query57_query21_1344 query57_query21_1344n query57_query23_1344 query57_query23_1344n query57_query24_1344 query57_query24_1344n query57_query25_1344 query57_query25_1344n query57_query26_1344 query57_query26_1344n query57_query27_1344 query57_query27_1344n query57_query30_1344 query57_query30_1344n query57_query31_1344 query57_query31_1344n query57_query33_1344 query57_query33_1344n query57_query34_1344 query57_query34_1344n query57_query36_1344 query57_query36_1344n query57_query42_1344 query57_query42_1344n query57_query44_1344 query57_query44_1344n query57_query45_1344 query57_query45_1344n query57_query48_1344 query57_query48_1344n query57_query49_1344 query57_query49_1344n query57_query50_1344 query57_query50_1344n query57_query51_1344 query57_query51_1344n query57_query52_1344 query57_query52_1344n query57_query54_1344 query57_query54_1344n query57_query55_1344 query57_query55_1344n query57_query57_1344 query57_query57_1344n query57_query58_1344 query57_query58_1344n query57_query60_1344 query57_query60_1344n query57_query64_1344 query57_query64_1344n query57_query71_1344 query57_query71_1344n query57_reachqu_1344 query57_reachqu_1344n query57_trivial_1344 query57_trivial_1344n query57_trueque_1344 query57_trueque_1344n query58_axquery_1344 query58_axquery_1344n query58_eequery_1344 query58_eequery_1344n query58_exquery_1344 query58_exquery_1344n query58_falsequ_1344 query58_falsequ_1344n query58_nreachq_1344 query58_nreachq_1344n query58_ntrivil_1344 query58_ntrivil_1344n query58_nxquery_1344 query58_nxquery_1344n query58_query01_1344 query58_query01_1344n query58_query02_1344 query58_query02_1344n query58_query03_1344 query58_query03_1344n query58_query04_1344 query58_query04_1344n query58_query05_1344 query58_query05_1344n query58_query06_1344 query58_query06_1344n query58_query07_1344 query58_query07_1344n query58_query08_1344 query58_query08_1344n query58_query09_1344 query58_query09_1344n query58_query10_1344 query58_query10_1344n query58_query11_1344 query58_query11_1344n query58_query15_1344 query58_query15_1344n query58_query21_1344 query58_query21_1344n query58_query23_1344 query58_query23_1344n query58_query24_1344 query58_query24_1344n query58_query25_1344 query58_query25_1344n query58_query26_1344 query58_query26_1344n query58_query27_1344 query58_query27_1344n query58_query30_1344 query58_query30_1344n query58_query31_1344 query58_query31_1344n query58_query33_1344 query58_query33_1344n query58_query34_1344 query58_query34_1344n query58_query36_1344 query58_query36_1344n query58_query42_1344 query58_query42_1344n query58_query44_1344 query58_query44_1344n query58_query45_1344 query58_query45_1344n query58_query48_1344 query58_query48_1344n query58_query49_1344 query58_query49_1344n query58_query50_1344 query58_query50_1344n query58_query51_1344 query58_query51_1344n query58_query52_1344 query58_query52_1344n query58_query54_1344 query58_query54_1344n query58_query55_1344 query58_query55_1344n query58_query57_1344 query58_query57_1344n query58_query58_1344 query58_query58_1344n query58_query60_1344 query58_query60_1344n query58_query64_1344 query58_query64_1344n query58_query71_1344 query58_query71_1344n query58_reachqu_1344 query58_reachqu_1344n query58_trivial_1344 query58_trivial_1344n query58_trueque_1344 query58_trueque_1344n query60_axquery_1344 query60_axquery_1344n query60_eequery_1344 query60_eequery_1344n query60_exquery_1344 query60_exquery_1344n query60_falsequ_1344 query60_falsequ_1344n query60_nreachq_1344 query60_nreachq_1344n query60_ntrivil_1344 query60_ntrivil_1344n query60_nxquery_1344 query60_nxquery_1344n query60_query01_1344 query60_query01_1344n query60_query02_1344 query60_query02_1344n query60_query03_1344 query60_query03_1344n query60_query04_1344 query60_query04_1344n query60_query05_1344 query60_query05_1344n query60_query06_1344 query60_query06_1344n query60_query07_1344 query60_query07_1344n query60_query08_1344 query60_query08_1344n query60_query09_1344 query60_query09_1344n query60_query10_1344 query60_query10_1344n query60_query11_1344 query60_query11_1344n query60_query15_1344 query60_query15_1344n query60_query21_1344 query60_query21_1344n query60_query23_1344 query60_query23_1344n query60_query24_1344 query60_query24_1344n query60_query25_1344 query60_query25_1344n query60_query26_1344 query60_query26_1344n query60_query27_1344 query60_query27_1344n query60_query30_1344 query60_query30_1344n query60_query31_1344 query60_query31_1344n query60_query33_1344 query60_query33_1344n query60_query34_1344 query60_query34_1344n query60_query36_1344 query60_query36_1344n query60_query42_1344 query60_query42_1344n query60_query44_1344 query60_query44_1344n query60_query45_1344 query60_query45_1344n query60_query48_1344 query60_query48_1344n query60_query49_1344 query60_query49_1344n query60_query50_1344 query60_query50_1344n query60_query51_1344 query60_query51_1344n query60_query52_1344 query60_query52_1344n query60_query54_1344 query60_query54_1344n query60_query55_1344 query60_query55_1344n query60_query57_1344 query60_query57_1344n query60_query58_1344 query60_query58_1344n query60_query60_1344 query60_query60_1344n query60_query64_1344 query60_query64_1344n query60_query71_1344 query60_query71_1344n query60_reachqu_1344 query60_reachqu_1344n query60_trivial_1344 query60_trivial_1344n query60_trueque_1344 query60_trueque_1344n query64_axquery_1344 query64_axquery_1344n query64_eequery_1344 query64_eequery_1344n query64_exquery_1344 query64_exquery_1344n query64_falsequ_1344 query64_falsequ_1344n query64_nreachq_1344 query64_nreachq_1344n query64_ntrivil_1344 query64_ntrivil_1344n query64_nxquery_1344 query64_nxquery_1344n query64_query01_1344 query64_query01_1344n query64_query02_1344 query64_query02_1344n query64_query03_1344 query64_query03_1344n query64_query04_1344 query64_query04_1344n query64_query05_1344 query64_query05_1344n query64_query06_1344 query64_query06_1344n query64_query07_1344 query64_query07_1344n query64_query08_1344 query64_query08_1344n query64_query09_1344 query64_query09_1344n query64_query10_1344 query64_query10_1344n query64_query11_1344 query64_query11_1344n query64_query15_1344 query64_query15_1344n query64_query21_1344 query64_query21_1344n query64_query23_1344 query64_query23_1344n query64_query24_1344 query64_query24_1344n query64_query25_1344 query64_query25_1344n query64_query26_1344 query64_query26_1344n query64_query27_1344 query64_query27_1344n query64_query30_1344 query64_query30_1344n query64_query31_1133 query64_query31_1344 query64_query31_1344n query64_query33_1344 query64_query33_1344n query64_query34_1344 query64_query34_1344n query64_query36_1344 query64_query36_1344n query64_query42_1344 query64_query42_1344n query64_query44_1344 query64_query44_1344n query64_query45_1344 query64_query45_1344n query64_query48_1344 query64_query48_1344n query64_query49_1344 query64_query49_1344n query64_query50_1344 query64_query50_1344n query64_query51_1344 query64_query51_1344n query64_query52_1344 query64_query52_1344n query64_query54_1344 query64_query54_1344n query64_query55_1344 query64_query55_1344n query64_query57_1344 query64_query57_1344n query64_query58_1344 query64_query58_1344n query64_query60_1344 query64_query60_1344n query64_query64_1344 query64_query64_1344n query64_query71_1344 query64_query71_1344n query64_reachqu_1344 query64_reachqu_1344n query64_trivial_1344 query64_trivial_1344n query64_trueque_1344 query64_trueque_1344n query71_axquery_1344 query71_axquery_1344n query71_eequery_1344 query71_eequery_1344n query71_exquery_1344 query71_exquery_1344n query71_falsequ_1344 query71_falsequ_1344n query71_nreachq_1344 query71_nreachq_1344n query71_ntrivil_1344 query71_ntrivil_1344n query71_nxquery_1344 query71_nxquery_1344n query71_query01_1344 query71_query01_1344n query71_query02_1344 query71_query02_1344n query71_query03_1344 query71_query03_1344n query71_query04_1344 query71_query04_1344n query71_query05_1344 query71_query05_1344n query71_query06_1344 query71_query06_1344n query71_query07_1344 query71_query07_1344n query71_query08_1344 query71_query08_1344n query71_query09_1344 query71_query09_1344n query71_query10_1344 query71_query10_1344n query71_query11_1344 query71_query11_1344n query71_query15_1133 query71_query15_1344 query71_query15_1344n query71_query21_1344 query71_query21_1344n query71_query23_1344 query71_query23_1344n query71_query24_1344 query71_query24_1344n query71_query25_1344 query71_query25_1344n query71_query26_1344 query71_query26_1344n query71_query27_1344 query71_query27_1344n query71_query30_1344 query71_query30_1344n query71_query31_1344 query71_query31_1344n query71_query33_1344 query71_query33_1344n query71_query34_1344 query71_query34_1344n query71_query36_1344 query71_query36_1344n query71_query42_1344 query71_query42_1344n query71_query44_1344 query71_query44_1344n query71_query45_1344 query71_query45_1344n query71_query48_1344 query71_query48_1344n query71_query49_1344 query71_query49_1344n query71_query50_1344 query71_query50_1344n query71_query51_1344 query71_query51_1344n query71_query52_1344 query71_query52_1344n query71_query54_1344 query71_query54_1344n query71_query55_1344 query71_query55_1344n query71_query57_1344 query71_query57_1344n query71_query58_1344 query71_query58_1344n query71_query60_1344 query71_query60_1344n query71_query64_1344 query71_query64_1344n query71_query71_1344 query71_query71_1344n query71_reachqu_1344 query71_reachqu_1344n query71_trivial_1344 query71_trivial_1344n query71_trueque_1344 query71_trueque_1344n reachqu_axquery_1344 reachqu_axquery_1344n reachqu_eequery_1344 reachqu_eequery_1344n reachqu_exquery_1344 reachqu_exquery_1344n reachqu_falsequ_1344 reachqu_falsequ_1344n reachqu_nreachq_1344 reachqu_nreachq_1344n reachqu_ntrivil_1344 reachqu_ntrivil_1344n reachqu_nxquery_1344 reachqu_nxquery_1344n reachqu_query01_1344 reachqu_query01_1344n reachqu_query02_1344 reachqu_query02_1344n reachqu_query03_1344 reachqu_query03_1344n reachqu_query04_1344 reachqu_query04_1344n reachqu_query05_1344 reachqu_query05_1344n reachqu_query06_1344 reachqu_query06_1344n reachqu_query07_1344 reachqu_query07_1344n reachqu_query08_1344 reachqu_query08_1344n reachqu_query09_1344 reachqu_query09_1344n reachqu_query10_1344 reachqu_query10_1344n reachqu_query11_1344 reachqu_query11_1344n reachqu_query15_1344 reachqu_query15_1344n reachqu_query21_1344 reachqu_query21_1344n reachqu_query23_1344 reachqu_query23_1344n reachqu_query24_1344 reachqu_query24_1344n reachqu_query25_1344 reachqu_query25_1344n reachqu_query26_1344 reachqu_query26_1344n reachqu_query27_1344 reachqu_query27_1344n reachqu_query30_1344 reachqu_query30_1344n reachqu_query31_1344 reachqu_query31_1344n reachqu_query33_1344 reachqu_query33_1344n reachqu_query34_1344 reachqu_query34_1344n reachqu_query36_1344 reachqu_query36_1344n reachqu_query42_1344 reachqu_query42_1344n reachqu_query44_1344 reachqu_query44_1344n reachqu_query45_1344 reachqu_query45_1344n reachqu_query48_1344 reachqu_query48_1344n reachqu_query49_1344 reachqu_query49_1344n reachqu_query50_1344 reachqu_query50_1344n reachqu_query51_1344 reachqu_query51_1344n reachqu_query52_1344 reachqu_query52_1344n reachqu_query54_1344 reachqu_query54_1344n reachqu_query55_1344 reachqu_query55_1344n reachqu_query57_1344 reachqu_query57_1344n reachqu_query58_1344 reachqu_query58_1344n reachqu_query60_1344 reachqu_query60_1344n reachqu_query64_1344 reachqu_query64_1344n reachqu_query71_1344 reachqu_query71_1344n reachqu_reachqu_1344 reachqu_reachqu_1344n reachqu_trivial_1344 reachqu_trivial_1344n reachqu_trueque_1344 reachqu_trueque_1344n trivial_axquery_1344 trivial_axquery_1344n trivial_eequery_1344 trivial_eequery_1344n trivial_exquery_1344 trivial_exquery_1344n trivial_falsequ_1344 trivial_falsequ_1344n trivial_nreachq_1344 trivial_nreachq_1344n trivial_ntrivil_1344 trivial_ntrivil_1344n trivial_nxquery_1344 trivial_nxquery_1344n trivial_query01_1344 trivial_query01_1344n trivial_query02_1344 trivial_query02_1344n trivial_query03_1344 trivial_query03_1344n trivial_query04_1344 trivial_query04_1344n trivial_query05_1344 trivial_query05_1344n trivial_query06_1344 trivial_query06_1344n trivial_query07_1344 trivial_query07_1344n trivial_query08_1344 trivial_query08_1344n trivial_query09_1344 trivial_query09_1344n trivial_query10_1344 trivial_query10_1344n trivial_query11_1344 trivial_query11_1344n trivial_query15_1344 trivial_query15_1344n trivial_query21_1344 trivial_query21_1344n trivial_query23_1344 trivial_query23_1344n trivial_query24_1344 trivial_query24_1344n trivial_query25_1344 trivial_query25_1344n trivial_query26_1344 trivial_query26_1344n trivial_query27_1344 trivial_query27_1344n trivial_query30_1344 trivial_query30_1344n trivial_query31_1344 trivial_query31_1344n trivial_query33_1344 trivial_query33_1344n trivial_query34_1344 trivial_query34_1344n trivial_query36_1344 trivial_query36_1344n trivial_query42_1344 trivial_query42_1344n trivial_query44_1344 trivial_query44_1344n trivial_query45_1344 trivial_query45_1344n trivial_query48_1344 trivial_query48_1344n trivial_query49_1344 trivial_query49_1344n trivial_query50_1344 trivial_query50_1344n trivial_query51_1344 trivial_query51_1344n trivial_query52_1344 trivial_query52_1344n trivial_query54_1344 trivial_query54_1344n trivial_query55_1344 trivial_query55_1344n trivial_query57_1344 trivial_query57_1344n trivial_query58_1344 trivial_query58_1344n trivial_query60_1344 trivial_query60_1344n trivial_query64_1344 trivial_query64_1344n trivial_query71_1344 trivial_query71_1344n trivial_reachqu_1344 trivial_reachqu_1344n trivial_trivial_1344 trivial_trivial_1344n trivial_trueque_1344 trivial_trueque_1344n trueque_axquery_1344 trueque_axquery_1344n trueque_eequery_1344 trueque_eequery_1344n trueque_exquery_1344 trueque_exquery_1344n trueque_falsequ_1344 trueque_falsequ_1344n trueque_nreachq_1344 trueque_nreachq_1344n trueque_ntrivil_1344 trueque_ntrivil_1344n trueque_nxquery_1344 trueque_nxquery_1344n trueque_query01_1344 trueque_query01_1344n trueque_query02_1344 trueque_query02_1344n trueque_query03_1344 trueque_query03_1344n trueque_query04_1344 trueque_query04_1344n trueque_query05_1344 trueque_query05_1344n trueque_query06_1344 trueque_query06_1344n trueque_query07_1344 trueque_query07_1344n trueque_query08_1344 trueque_query08_1344n trueque_query09_1344 trueque_query09_1344n trueque_query10_1344 trueque_query10_1344n trueque_query11_1344 trueque_query11_1344n trueque_query15_1344 trueque_query15_1344n trueque_query21_1344 trueque_query21_1344n trueque_query23_1344 trueque_query23_1344n trueque_query24_1344 trueque_query24_1344n trueque_query25_1344 trueque_query25_1344n trueque_query26_1344 trueque_query26_1344n trueque_query27_1344 trueque_query27_1344n trueque_query30_1344 trueque_query30_1344n trueque_query31_1344 trueque_query31_1344n trueque_query33_1344 trueque_query33_1344n trueque_query34_1344 trueque_query34_1344n trueque_query36_1344 trueque_query36_1344n trueque_query42_1344 trueque_query42_1344n trueque_query44_1344 trueque_query44_1344n trueque_query45_1344 trueque_query45_1344n trueque_query48_1344 trueque_query48_1344n trueque_query49_1344 trueque_query49_1344n trueque_query50_1344 trueque_query50_1344n trueque_query51_1344 trueque_query51_1344n trueque_query52_1344 trueque_query52_1344n trueque_query54_1344 trueque_query54_1344n trueque_query55_1344 trueque_query55_1344n trueque_query57_1344 trueque_query57_1344n trueque_query58_1344 trueque_query58_1344n trueque_query60_1344 trueque_query60_1344n trueque_query64_1344 trueque_query64_1344n trueque_query71_1344 trueque_query71_1344n trueque_reachqu_1344 trueque_reachqu_1344n trueque_trivial_1344 trueque_trivial_1344n trueque_trueque_1344 trueque_trueque_1344n

The Quantified Boolean Formulas Satisfiability Library

Detail page for Reduction-finding family