Here are the input files:
Input file for claim (1-1), (for qEKHAD) save it as in11 .
Input file for claim (1-2) , (for qEKHAD) save it as in12 .
Input file for claim (1-3), (for qEKHAD) save it as in13 .
Input file for claim (1-5), (for qEKHAD) save it as in15 .
Input file for claim (2-1) , (for qEKHAD) save it as in21 .
Input file for claim (2-2) , (for qEKHAD) save it as in22 .
Input file for claim (2-3) , (for qEKHAD) save it as in23 .
Input file for claim (2-5), (for qEKHAD) save it as in25 .