OUTPUT_s3_a-dis-2LW.txt

CPU_LIST 
["0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 ", "0 "]
parse_list 
["0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 ", "0.00 "]
measured_time_list 
[0.00015865160000000584, 0.0002941255999999885, 0.00031035159999999657, 0.00020967360000000363, 0.00019985060000001149, 0.00021613859999998692, 0.0002008325999999942, 0.00020742760000004785, 0.00020506960000001224, 0.0001933666000000937, 0.00016556659999996043, 0.00019546960000001374, 0.00021790360000002935, 0.000208677599999945, 0.00020697760000006266, 0.00020568560000007658, 0.0002063445999999795, 0.0002197465999999752, 0.00021888860000003824, 0.00023620659999997113, 0.00021902660000002112, 0.00018012059999990488, 0.0002021876000000859, 0.0002086605999998707, 0.0002285196000001037, 0.00020894459999983223, 0.00020984159999988745, 0.00020367960000007774, 0.00022066960000007225, 0.0001984996000000287, 0.00021799559999998092, 0.00020951259999997735, 0.00018163860000004956, 0.00018502160000018403, 0.00020373560000004826, 0.00020691659999990048, 0.00021485760000013383, 0.00023868659999999803, 0.00019727559999978478, 0.00019988059999994018, 0.00019913459999994427, 0.00021487260000004266, 0.00021410560000008556, 0.00020629459999995032, 0.00020923559999992886, 0.00021276860000048398, 0.00020733559999992974, 0.0002303775999999584, 0.000210614600000341, 0.00021808359999971256, 0.000205267599999797, 0.0002016056000001147, 0.00018848760000052462, 0.00017703460000014143, 0.0001644455999999121, 0.00013559959999971877, 0.00020356960000008013, 0.00020540060000014332, 0.000186042600000285, 0.00015555159999987506, 0.00019323459999983012, 0.0001842445999998436, 0.0002019905999999953, 0.00019464960000011228, 0.00019564959999980797, 0.00020254360000000954, 0.00021728860000010326, 0.00019713660000027428, 0.00020366959999991647, 0.0002324776000000743, 0.00019880360000009074, 0.00021133960000037572, 0.00021226659999980452, 0.00019893760000007572, 0.0002219046000001161, 0.00018581660000023743, 0.00020931260000008262, 0.00018210759999977494, 0.00021755260000018634, 0.00021562259999992545, 0.00022583860000009932, 0.0002190615999998084, 0.0002055105999994748, 0.0002466615999999359, 0.00021105660000005284, 0.0002218626000006378, 0.00019596860000044498, 0.00021667060000003997, 0.00022647559999951423, 0.00022712059999959106, 0.00023163660000021164, 0.0002143946000000167, 0.00021613460000010005, 0.00019078160000026085, 0.00021009160000014444, 0.0002064526000001447, 0.0002194206000002023, 0.00019760160000055688, 0.00021253559999985722, 0.0002498975999994539, 0.0001900276000000471, 0.00020677559999933632, 0.00019375760000047077, 0.00020253159999990484, 0.00019415459999956792, 0.00019009859999970442, 0.00019197860000071327, 0.0002103735999994964, 0.00020700960000004582, 0.00021932960000066654, 0.0002001076000000705, 0.0001889795999994885, 0.00021329559999967924, 0.00022936460000051934, 0.00023445860000011404, 0.0002067375999997449, 0.00022248559999978252, 0.000187356600000204, 0.0001775886000002384, 0.000178574600000108, 0.00020667559999994407, 0.00021487659999992954, 0.0002509735999996647, 0.00021746059999967966, 0.0003586695999993776, 0.0002538766000000518, 0.0002269496000005415, 0.00020917659999993216, 0.00024150859999990044, 0.0002149066000006354, 0.000247674599999375, 0.00024200259999991797, 0.00022161460000054629, 0.00021553659999947112, 0.00024730660000001276, 0.00019947360000001563, 0.00022422760000003134, 0.00026539659999931726, 0.00027085960000013327, 0.0002269375999995486, 0.0002284215999997667, 0.0002022076000006305, 0.0002311356000005031, 0.00024189760000011202, 0.00022367859999990398, 0.00023738160000037962, 0.00023413360000075695, 0.00020871559999998052, 0.00021564659999969078, 0.00025697160000033787, 0.00023352659999938336, 0.000232185600000339, 0.0002338886000000255, 0.0002119755999997079, 0.00018035660000011373, 0.00022261159999954966, 0.0002234056000004085, 0.00023859360000029679, 0.00022705159999921105, 0.00019798959999979754, 0.0001961055999993459, 0.00021923059999958067, 0.00021735760000092736, 0.00020176560000047456, 0.00021161460000003668, 0.00021043660000026815, 0.00018917659999980114, 0.00021696859999893942, 0.00020728859999914956, 0.00020584060000013377, 0.00024298460000034478, 0.00020663259999993894, 0.00020661159999997775, 0.00019856260000013432, 0.00017961759999936472, 0.0002072406000005071, 0.000219363599999927, 0.00020265060000086916, 0.00021246560000117082, 0.0002355425999992104, 0.0002214356000008348, 0.00020904860000088771, 0.00022641760000093253, 0.00021940760000001486, 0.0002255506000002509, 0.00020885659999921242, 0.00020895960000062925, 0.0002054146000004135, 0.0001989916000001028, 0.00019966959999935736, 0.00020947160000035975, 0.00022564859999947768, 0.0001779756000002845, 0.00022321159999856772, 0.00023180260000062387, 0.0002157935999994191, 0.00023999860000019563, 0.00021897759999996364, 0.0002360156000010431, 0.00020975059999857532, 0.00020288160000044226, 0.00020692160000075827, 0.00020597060000023188, 0.0001894255999990872, 0.0002000415999999387, 0.00022062359999937481, 0.0002279526000000413, 0.00018844360000132494, 0.0001868795999998167, 0.00021197759999987337, 0.00019386459999866585, 0.00018126560000071774, 0.00021842160000014527, 0.0001859246000007357, 0.0002120446000000879, 0.00022981659999972632, 0.00021804660000109206, 0.00022218359999877574, 0.00024173959999858536, 0.00023907360000004413, 0.00021160859999954024, 0.00021407659999946244, 0.00020559459999931957, 0.00020975160000043442, 0.0002259035999992602, 0.0001996406000005106, 0.0002409016000003032, 0.00022334360000060766, 0.00022901060000053914, 0.00021693960000009266, 0.00019627159999886996, 0.0002178866000002881, 0.0002058886000005526, 0.0002144675999998395, 0.00021161959999867403, 0.00020899760000022067, 0.00028607860000081015, 0.00020963960000004928, 0.00021754760000066082, 0.00023336860000052124, 0.00021630260000067775, 0.00021287259999931902, 0.00023429359999889638, 0.00021213259999848728, 0.00023437859999882388, 0.0002202435999999079, 0.0002077425999994102, 0.00022941759999868733, 0.0002096775999996407, 0.00018169960000109992, 0.00021173560000116649, 0.000255837599999769, 0.0002361915999996182, 0.00020602859999970175, 0.00021558259999972446, 0.0002281145999992344, 0.000208561599999673, 0.00017998460000130873, 0.00023363459999943754, 0.0002228905999986534, 0.00022163259999937108, 0.00021693960000009266, 0.00016154159999944224, 0.00015807460000035118, 0.00021032459999988302, 0.00020864360000112864, 0.00023112960000000666, 0.00021168859999905405, 0.00018783660000083952, 0.00023391559999959494, 0.00027019059999895884, 0.00024160359999976717, 0.0002496685999991581, 0.00023474160000043693, 0.00025266659999852376, 0.00024671359999979753, 0.00021994560000012026, 0.0002341816000002876, 0.0002639406000005277, 0.00024631459999875855, 0.00026340860000091876, 0.0002399955999999474, 0.000219051599998981, 0.00020839259999990074, 0.000242078599999989, 0.00022484460000045598, 0.00023031059999974385, 0.000246972599999911, 0.00022461560000104836, 0.00023904759999966924, 0.00021662260000050932, 0.00020848460000040742, 0.0002289586000015657, 0.0002645256000009692, 0.00021935059999885138, 0.0002331455999998337, 0.0002412726000008018, 0.00022184560000100757, 0.00021803159999985095, 0.0002311966000002212, 0.00023375160000023638, 0.00022840360000005373, 0.00025037160000048115, 0.0002499616000003084, 0.0002236626000003565, 0.00022360959999952396, 0.00022039660000013268, 0.00022408159999949757, 0.00022782460000010869, 0.0002468425999998129, 0.00020345159999964264, 0.00017116960000025867, 0.00021562159999939862, 0.00020605859999863125, 0.0002497115999991632, 0.00020251260000010913, 0.00020771460000064618, 0.00020188459999966252, 0.00020029759999980396, 0.00021656460000103945, 0.00014898659999980563, 0.0001569006000009136, 0.00016597059999996983, 0.0001938386000000673, 0.00023130259999833353, 0.00022446459999743635, 0.00021899960000000757, 0.00022213760000029876, 0.00023428960000034177, 0.0002444646000002319, 0.00023216959999901516, 0.00021576260000218323, 0.000235316600000051, 0.00021499259999886928, 0.00020451259999861233, 0.000235803599997713, 0.0002245256000024835, 0.0002095405999989634, 0.0002141345999989323, 0.00021637759999977785, 0.00022292859999824483, 0.0002506785999992371, 0.00022569359999964828, 0.0002273816000007582, 0.00022742260000059784, 0.00022803459999794424, 0.00026039559999675927, 0.00025528860000052984, 0.0002189676000009126, 0.00021626760000133455, 0.00022527559999703723, 0.00021665759999807616, 0.0002417405999986681, 0.00022703659999708176, 0.00021647460000069824, 0.00022979960000187245, 0.00023508560000225426, 0.0002080625999974654, 0.00021893959999859586, 0.0002045645999993621, 0.00020929760000017378, 0.0002241756000019461, 0.0002168805999987637, 0.00019159259999897355, 0.00023996660000110066, 0.0002860145999990675, 0.00022799760000198827, 0.0002404945999986023, 0.00025370659999753226, 0.00021087559999928768, 0.00021808759999915534, 0.00025607259999789673, 0.00021755860000157096, 0.00022267660000226325, 0.00020876660000242392, 0.00020909459999758834, 0.00022143559999905844, 0.0001956585999978881, 0.00019971959999994166, 0.00021423560000018366, 0.00021431759999986295, 0.00020897259999815216, 0.00019871060000172175, 0.00021265959999768253, 0.0002174075999997353, 0.00021135359999975773, 0.00023234659999944935, 0.0002163036000007605, 0.0002240535999989572, 0.00024633359999855426, 0.0002497805999995432, 0.00022386060000075187, 0.0002201636000003941, 0.00021693459999967896, 0.00021469259999891616, 0.00019176159999874582, 0.00022462960000043037, 0.00022631159999749113, 0.00022143259999881022, 0.0002336185999981137, 0.00022379259999867824, 0.00018975559999974618, 0.0002241356000021892, 0.00021939260000055011, 0.00022660160000016955, 0.0002339006000001302, 0.00018273959999833206, 0.00022559960000252883, 0.0002486915999982568, 0.00022199559999920777, 0.0002140266000006545, 0.0002481116000000054, 0.00022184760000117305, 0.0002152676000003066, 0.00021744559999932673, 0.0001998556000005362, 0.0001813125999975011, 0.00021719359999979244, 0.00021602059999866125, 0.000204177599999316, 0.00019505260000103814, 0.00022840860000046743, 0.00023328259999873464, 0.00023418460000231218, 0.00024061860000175667, 0.00023976660000231615, 0.0002260486000005994, 0.0002331895999981452, 0.0002808816000006868, 0.00022473459999845997, 0.00021991260000094254, 0.00023017959999778665, 0.00022684859999929014, 0.00022964160000301032, 0.0002238186000008295, 0.0002588586000010377, 0.0002389565999992453, 0.00019684059999976395, 0.00021381360000079436, 0.00018926159999795229, 0.00022517559999942133, 0.00020365560000231082, 0.00023942659999905342, 0.0002365995999996255, 0.0002380676000002961, 0.00020820060000177815, 0.00022144860000013406, 0.0001997505999989539, 0.00021823959999752102, 0.00020819059999739804, 0.00021002660000009538, 0.000219404600001543, 0.0002259365999984379, 0.00024902760000118857, 0.00022627960000194886, 0.00021987060000102016, 0.00022262160000126525, 0.00024027560000179843, 0.00019854159999839677, 0.0001880486000006169, 0.00023149960000042253, 0.00022128560000085824, 0.00022114559999993272, 0.00017692960000077957, 0.00011613460000122128, 0.00020418660000006068, 0.00022961460000077633, 0.00021128860000148503, 0.00023629959999967238, 0.00020924759999958948, 0.00012531360000041442, 0.00020825659999930619, 0.00020935659999795004, 0.0001768755999998643, 0.00017369059999923703, 0.00016477260000032285, 0.0002132426000032876, 0.00015496260000221124, 0.00020073760000245894, 0.00021987260000118564, 0.00021945059999824363, 0.00023166459999986384, 0.00020418860000022616, 0.00021795360000227899, 0.00020970360000179195, 0.00021333460000024158, 0.0002085666000000867, 0.0001606316000023082, 0.00023479259999932762, 0.0002076425999982416, 0.00022977960000021764, 0.00020738160000151535, 0.0002165385999988882, 0.00021293159999887163, 0.0002098275999978409, 0.00018287959999925758, 0.00019261359999818634, 0.00022435759999924127, 0.0002127036000013231, 0.00024367959999922956, 0.00021743359999833384, 0.00021430959999920102, 0.0002091006000016375, 0.00022142359999806555, 0.00022109659999943116, 0.00022760059999756205, 0.0002414935999995475, 0.00023203459999850335, 0.00020280259999923484, 0.00022260760000010688, 0.0001886076000006835, 0.0002172325999994666, 0.00021342859999736103, 0.00019964659999745433, 0.00019808659999982975, 0.00015977659999906674, 0.00020414059999980733, 0.0002228855999982397, 0.00014564960000258904, 0.00018095660000001996, 0.00020793959999794648, 0.00020067259999708082, 0.0001786006000004829, 0.0002034005999989756, 0.00021170160000012967, 0.00020886960000028804, 0.00022868659999860025, 0.00021805060000319937, 0.0002204955999994422, 0.00019716460000170283, 0.00019178059999676517, 0.00020149860000147552, 0.00019619359999952163, 0.0002306975999980136, 0.00019723760000063745, 0.00022630960000087836, 0.00025113659999805233, 0.00022266460000127037, 0.00021663459999972585, 0.00021134259999884759, 0.00022408560000160488, 0.00022512059999842333, 0.00024380360000238394, 0.00023309659999755578, 0.00021802460000104812, 0.0002455325999997808, 0.00023066959999924958, 0.00023933260000193397, 0.00023071459999942018, 0.0002305126000004702, 0.00021905160000075736, 0.00024294959999922522, 0.00022696860000211356, 0.0002004396000026713, 0.000226240599998722, 0.00023113659999880948, 0.00025414260000163264, 0.00025218060000272086, 0.00021810960000097563, 0.00022298159999907736, 0.0002452705999994191, 0.00022670360000150364, 0.0002232895999996924, 0.00019578160000095974, 0.0002227755999997964, 0.00021161959999689767, 0.00025307160000183555, 0.0002085245999966116, 0.0002043716000011568, 0.00023200159999932563, 0.00018575359999902159, 0.00018015260000099826, 0.00020527659999787712, 0.0001859915999973975, 0.00017577559999766774, 0.00017324359999777922, 0.00018986760000190767, 0.0001850675999991051, 0.0002529236000002481, 0.00017869160000090684, 0.0001519055999979639, 0.00019375960000063625, 0.00022247160000306505, 0.00022927059999718264, 0.0002152076000024476, 0.00020886660000003982, 0.0002281036000001006, 0.00020458859999779517, 0.0001341766000018833, 0.0002372566000006952, 0.00022726559999826574, 0.0002258536000022286, 0.0002182336000005773, 0.0002347545999997362, 0.0002451206000012189, 0.00021793560000078966, 0.00022383959999901432, 0.0002158995999993078, 0.00022154559999750174, 0.0002163365999999382, 0.00021385560000071675, 0.0002652325999990705, 0.0002137075999991293, 0.000207964600000015, 0.00014790959999773574, 0.00021434460000209694, 0.00020883160000069662, 0.0002123315999989654, 0.00025857959999926944, 0.00019893859999927028, 0.0002648206000005086, 0.00023336960000238033, 0.0002212025999975435, 0.0002164115999990383, 0.00021328559999974, 0.00023906059999719215, 0.00019788459999732705, 0.0002520316000010507, 0.00021591860000087987, 0.00024099760000114085, 0.00022643160000031454, 0.0002179745999969111, 0.00013531660000028407, 0.00013943159999970018, 0.00020005159999898975, 0.00018738860000285169, 0.0002303406000004497, 0.00023632060000140993, 0.00022027059999858917, 0.00022699060000038113, 0.00021829759999876725, 0.0002133855999973559, 0.00023341559999908096, 0.00021322560000188102, 0.00022227759999767155, 0.00022622360000086811, 0.00024411359999961175, 0.00020619059999889484, 0.00018971559999998928, 0.00021515759999831058, 0.00021749059999949733, 0.00022778259999840995, 0.00019200259999736997, 0.00022212659999938861, 0.00023367059999886348, 0.0002187505999971688, 0.0002206206000026793, 0.00022725659999752108, 0.0002444815999980858, 0.00021607460000312923, 0.00019655559999749923, 0.0002250546000000679, 0.00025812759999739793, 0.00021997760000276795, 0.00023213359999958922, 0.00022028059999586386, 0.00023698059999917515, 0.0002457226000048433, 0.00022492060000319153, 0.00024026060000055733, 0.00021802860000137909, 0.00022814459999994025, 0.0002276836000008768, 0.00019085959999516828, 9.003059999786384e-05, 0.00011261859999807595, 0.00011408160000188556, 0.0002013456000030271, 0.00019989860000054133, 0.00018149559999487903, 0.00022789760000437238, 0.00017605959999984972, 0.0001391525999979319, 0.00015622259999633, 9.910959999944108e-05, 0.00020176960000258188, 0.00019377659999849012, 0.00021567360000192477, 0.0001997526000026721, 0.00021382360000517448, 0.0001441606000001809, 0.00019686259999803152, 0.0002316406000049835, 0.00022484360000037324, 0.00021541659999842406, 0.00022462360000348664, 0.00023530260000244536, 0.0001855666000013127, 0.0001962755999956482, 0.0001967086000066058, 0.0002315956000048129, 0.00023899759999908494, 0.0002603686000016307, 0.0002406466000040734, 0.00023403160000031104, 0.00023923160000423533, 0.00022082859999857302, 0.0002445546000005731, 0.00021100759999955127, 0.00022458060000348152, 0.00022676160000274987, 0.00023537260000113175, 0.0002456676000038453, 0.0002209276000032116, 0.00023258360000129525, 0.00025207059999717214, 0.00021538359999924634, 0.00022500860000336726, 0.00024092560000228897, 0.00022413159999830551, 0.00025057559999782026, 0.00022940859999794267, 0.00022308160000379868, 0.0002533855999958416, 0.00021703360000076483, 0.00020061159999913908, 0.0002052835999949036, 0.00022489460000104029, 0.00015761460000492317, 0.00012810560000405186, 0.00019741360000454162, 0.00023928559999449245, 0.00023415360000329994, 0.00017329860000232994, 0.00017630859999558308, 0.000196180599998446, 0.00016661059999608025, 0.00021862759999764986, 0.00022233460000238776, 0.0002244326000054468, 0.00022535760000026923, 0.00021818160000338022, 0.00022535560000010375, 0.00021491059999919, 0.00022923460000486213, 0.00020344959999947715, 0.0002188885999943761, 0.00021616359999983498, 0.00020161759999711077, 0.00020239559999753393, 0.00023947659999963772, 0.00021064760000529187, 0.00022780760000403117, 0.0003055615999999088, 0.00021950560000634706, 0.00019657759999931951, 0.00024211160000094307, 0.0002420176000002709, 0.0002402626000007228, 0.0002766666000001021, 0.0002447456000057184, 0.0002750725999961116, 0.0002549156000016421, 0.00022298059999899462, 0.0002468706000003533, 0.0002470586000016976, 0.00022544059999647854, 0.0002495225999995125, 0.0002445046000035415, 0.0002101146000002711, 0.00022423159999947412, 0.00023328359999526466, 0.000219634599999257, 0.00024838059999739354, 0.00024733459999611224, 0.0002250095999998973, 0.00022903559999905493, 0.00027623660000005085, 0.0002483445999944149, 0.00024150160000020943, 0.00023488060000305606, 0.0002297986000017897, 0.00022940960000157812, 0.0002256045999958371, 0.00022927260000090083, 0.00026747560000346877, 0.00022423160000657955, 0.00023117159999815268, 0.0001912395999981879, 0.00016659559999839186, 0.00021453059999617036, 0.00021905959999786657, 0.0002080325999985359, 0.00017306960000114597, 0.0002282356000039169, 0.00020169360000339904, 0.0002070036000022139, 0.00021925559999987282, 0.00020259860000367209, 0.00022975560000178458, 0.00021926859999739574, 0.0002166735999994, 0.00021547659999628305, 0.00020498160000544314, 0.0002176296000003401, 0.0002262635999970723, 0.00022580160000147881, 0.00021225059999936886, 0.00021982260000060134, 0.00022232559999809038, 0.00022196959999705652, 0.00020188959999829987, 0.00023187759999972397, 0.00022334859999391594, 0.0002263135999941039, 0.00023250459999831147, 0.00024454059999941475, 0.000244342599997243, 0.00023563260000132797, 0.00024648260000377715, 0.00023623360000486965, 0.00024794560000048133, 0.0002561635999983207, 0.00023652560000060813, 0.00023391460000128856, 0.0002184586000014303, 0.00024344260000093638, 0.00022754259999986854, 0.0002730815999983531, 0.00024417659999771896, 0.00022515559999776653, 0.00022835959999996586, 0.0002454296000054694, 0.00022876559999803132, 0.00023660359999995645, 0.0002537455999972064, 0.00024508959999865393, 0.00023948559999682967, 0.00022939760000058524, 0.0002477825999976528, 0.0002529536000027303, 0.00022392560000257728, 0.0002257715999989966, 0.00023077959999414017, 0.00024909659999979223, 0.0002161016000018105, 0.00025321459999945656, 0.00021669660000485575, 0.0002166456000041887, 0.00019942160000015403, 0.0002074226000049077, 0.0002283805999981507, 0.00024025160000336538, 0.0002447145999996007, 0.00022773260000137836, 0.00022998759999966407, 0.00022463959999770506, 0.00023562260000050057, 0.00024303060000237448, 0.00022438959999833625, 0.0002802356000005272, 0.000225721600001965, 0.00023141060000016406, 0.00022006760000310916, 0.00022797959999694623, 0.00021591960000096261, 0.00025090460000017285, 0.00023698759999620162, 0.0002118695999998192, 0.00023694059999586554, 0.001243718600000126, 0.00022785459999726183, 0.0002099495999972771, 0.00026031760000096366, 0.00019163659999906141, 0.00017375760000122792, 0.00017650059999725837, 0.00020849559999776485, 0.0001809125999999321, 0.0002222535999992385, 0.00018355859999859487, 0.0001813666000019691, 0.0001594226000053038, 0.00021205760000116353, 0.00024308059999940607, 0.0001915216000002044, 0.00021023559999962455, 0.00020307759999711945, 0.00023107860000111597, 0.00023019360000249773, 0.00023067060000288504, 0.00024309759999725994, 0.00021310160000227935, 0.00025209059999882694, 0.00022874359999621103, 0.00023024860000349574, 0.00022968960000342915, 0.0002401846000013745, 0.0002337926000054051, 0.00022481859999475202, 0.0002447246000004281, 0.00024289259999806174, 0.0002343526000020017, 0.0002427516000041589, 0.00021718959999946148, 0.0002662855999973783, 0.00022188060000035076, 0.00024923259999683406, 0.0002452926000047921, 0.00023828460000048718, 0.0002570705999987592, 0.00024592860000057155, 0.00023907859999512877, 0.00023300260000398904, 0.00025390860000003496, 0.00024059059999943994, 0.00024245160000065308, 0.0002357585999975424, 0.00027152559999750676, 0.0002495846000046424, 0.0002315165999947237, 0.0002561136000012891, 0.00024400659999786395, 0.0002415885999967497, 0.0002579045999967104, 0.0001943375999987222, 0.0001923455999973282, 0.00018640560000323032, 0.0001815045999991764, 0.00016148160000158324, 0.0001691456000033224, 0.00023198659999808453, 0.00018342859999494405, 0.0001852616000009459, 0.00022978060000030038, 0.00023838860000198676, 0.0001689615999952036, 0.00021943859999725074, 0.00022721359999751595, 0.000228348599995503, 0.00023225560000257812, 0.0002317856000063227, 0.00021681960000437467, 0.0002467266000026495, 0.00023122759999568072, 0.00021079059999936018, 0.00023951959999964285, 0.00023475560000337165, 0.00023827659999982526, 0.000265568600005555, 0.00023458159999608025, 0.0002392356000045663, 0.00025439059999728326, 0.00023822959999948918, 0.00020952359999755683, 0.0002444966000028796, 0.00023129760000147254, 0.0002444086000027039, 0.0002532105999991256, 0.0002677015999937464, 0.0002304105999955834, 0.0002415385999997181, 0.00023072860000057855, 0.00022014059999849107, 0.00024311060000188828, 0.00023711460000315693, 0.00022569559999981376, 0.00024992959999410797, 0.00022626959999756874, 0.00023864860000218297, 0.00024063759999977603, 0.0002457875999995633, 0.0002512805999957561, 0.00024702160000218893, 0.00024138559999771698, 0.00023986359999968382, 0.0001761516000003564, 0.00017979759999649442, 0.00017219259999608422, 0.00020305059999843817, 0.00022537859999845406, 0.00019162260000500848, 0.00020043860000258857, 0.0001805306000038524, 0.00018741759999459302, 0.0001944646000056775, 0.00020570859999809383, 0.00020072259999766512, 0.0002299035999998193, 0.00017587860000263728, 0.00019664859999453594, 0.00019510359999815247, 0.00016952159999890565, 0.00019043759999577898, 0.00023356460000075114, 0.00023318460000483693, 0.0002252745999969545, 0.00022433259999717276, 0.00022826159999896273, 0.00022759060000384008, 0.00021374159999838977, 0.0002233796000000336, 0.0002476105999976323, 0.00023125260000130194, 0.0002353465999989805, 0.0002515375999992568, 0.0002404395999976043, 0.00020620859999683145, 0.00027085060000205314, 0.000263586599997883]
bin_ratio_list 
[0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.971028971028971, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9699792099792099, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9704634328979116, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703019715497879, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.9702212610214607, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9708673214582987, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.970624947990347, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9700598802395209, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9705441837244134, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9707057256990679, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876, 0.9703826955074876]
fk_clauses_list 
[6216, 5668, 5822, 6211, 6429, 6000, 7059, 6791, 7202, 6520, 6957, 5741, 5955, 6518, 6516, 6683, 6247, 5740, 6065, 5776, 6520, 5875, 6705, 6183, 5977, 6443, 6126, 6574, 5956, 6076, 6306, 6037, 6082, 6056, 6162, 6256, 6246, 7117, 6864, 6875, 7066, 6509, 7550, 7170, 7155, 6395, 7420, 7216, 6483, 6850, 6977, 7090, 6772, 7299, 8084, 7539, 6693, 6768, 6873, 6885, 6461, 5618, 6822, 6295, 5512, 5898, 6851, 6267, 6108, 5466, 6171, 6491, 6381, 6658, 6054, 7012, 6377, 5592, 6414, 6521, 6892, 6593, 6159, 6414, 5899, 6488, 5954, 6350, 5960, 6220, 6604, 5796, 6878, 6787, 5742, 5807, 6358, 7492, 5938, 7045, 6293, 6317, 6718, 6523, 6178, 6456, 5961, 6275, 7005, 6537, 5576, 6435, 6928, 7580, 7167, 6641, 6603, 6045, 6783, 6884, 6371, 5904, 6206, 6866, 6420, 6887, 6897, 6348, 5874, 6165, 6845, 6813, 5875, 6952, 6420, 6448, 6086, 6603, 6513, 6746, 6377, 6289, 7021, 6022, 7294, 6542, 6072, 6159, 6592, 6963, 6081, 6454, 6155, 6395, 6325, 6047, 6691, 6486, 6692, 6015, 6418, 6770, 6379, 6018, 6699, 7246, 6573, 6045, 6845, 5918, 6158, 6143, 6499, 6873, 6143, 5611, 6047, 6735, 6573, 6395, 5912, 5776, 5499, 5774, 6045, 5797, 6437, 5798, 5780, 5014, 5987, 6270, 5690, 5479, 5447, 5729, 6068, 5697, 6441, 5420, 6019, 5931, 5991, 6225, 5534, 5732, 6354, 5449, 6087, 6229, 6600, 6479, 5755, 6083, 6228, 6361, 6542, 6412, 5906, 6259, 6355, 6764, 6697, 6225, 6426, 6323, 5983, 6379, 6335, 6982, 5935, 6510, 7035, 5716, 6440, 6091, 6200, 6034, 6310, 7025, 6519, 6123, 6434, 6069, 6844, 6424, 5706, 6244, 6682, 5639, 6140, 6721, 6996, 6002, 6297, 6127, 6604, 6532, 7125, 6157, 5842, 6555, 6115, 6971, 6743, 6646, 5881, 6375, 6762, 5810, 6349, 6210, 6443, 5796, 6820, 6174, 6555, 6811, 5969, 6518, 6634, 6995, 6985, 5497, 7824, 6728, 6440, 6567, 6320, 6953, 6670, 6243, 6294, 5725, 7210, 7048, 6271, 6463, 7206, 6694, 6310, 5957, 6908, 7036, 7085, 6460, 6629, 6188, 5689, 6842, 6387, 6685, 6437, 6425, 6360, 6220, 6709, 6261, 6325, 6349, 6670, 5992, 7017, 6102, 6021, 5756, 6480, 7413, 6389, 6644, 6203, 6265, 5864, 6179, 6091, 7081, 6200, 5438, 6476, 6264, 5942, 6568, 6464, 6797, 6867, 6465, 6720, 6262, 6712, 5550, 5983, 5967, 6272, 6083, 5768, 7079, 7053, 6277, 6161, 6965, 7572, 6787, 7032, 7037, 7091, 7005, 6674, 7231, 7088, 6602, 6777, 6375, 6739, 6690, 6673, 7324, 6840, 6922, 6323, 6461, 6088, 6027, 6102, 6287, 6932, 5779, 6090, 6232, 5937, 6303, 6631, 5715, 6010, 6643, 5642, 6761, 6464, 6446, 5846, 6003, 6226, 6042, 6027, 6680, 6629, 5771, 6335, 5885, 5577, 6587, 6875, 6029, 5914, 6338, 6634, 6487, 6477, 5978, 6479, 6370, 6369, 7424, 6961, 6874, 7215, 6117, 7119, 6773, 6280, 6757, 6531, 6914, 6422, 6915, 6472, 6560, 5992, 6844, 6546, 6885, 6470, 6438, 6297, 6511, 5573, 6062, 5835, 6401, 6557, 6373, 6046, 6761, 5666, 6150, 6551, 6473, 6437, 6323, 7075, 5729, 6770, 6786, 6653, 7490, 6847, 6996, 6144, 7089, 6753, 6498, 6243, 6676, 6608, 6619, 5745, 5922, 6253, 6572, 6882, 6762, 6052, 5502, 6421, 6134, 6938, 6439, 6157, 6324, 6402, 5756, 6128, 6090, 5827, 6187, 6133, 6668, 6149, 6064, 6290, 6359, 6501, 6689, 5788, 6502, 5707, 6354, 6766, 6240, 6273, 6602, 6313, 6729, 6189, 6616, 6047, 6557, 6285, 5992, 5945, 5447, 6531, 7001, 6685, 6388, 6863, 5971, 6953, 6389, 7084, 6106, 6541, 7140, 7053, 6861, 6841, 6417, 7985, 6219, 6158, 6679, 6480, 6179, 5796, 6426, 6793, 7279, 6322, 6048, 6589, 6327, 6860, 6267, 7243, 6482, 6816, 5818, 6526, 6548, 6435, 6695, 6377, 7254, 6796, 6017, 6884, 5911, 5774, 6603, 6327, 6222, 6237, 6936, 6322, 6255, 6308, 6102, 5614, 6201, 6498, 6674, 6447, 5976, 6275, 6201, 5710, 6115, 6261, 5879, 5688, 6715, 5983, 6055, 5855, 6427, 7188, 5675, 6829, 6121, 5673, 5697, 6927, 7245, 6755, 7783, 7189, 6237, 7246, 6764, 6548, 5955, 6315, 7242, 5743, 6882, 7182, 6723, 6817, 6920, 6191, 6651, 6363, 6698, 5814, 5516, 5720, 6654, 6618, 5668, 5868, 5896, 6406, 5696, 5991, 6018, 7248, 6296, 6509, 6450, 6407, 5838, 6505, 6476, 6303, 5705, 6663, 6350, 6650, 7412, 6788, 7070, 6276, 6127, 7429, 6733, 6500, 7081, 6626, 7183, 5927, 6558, 6635, 6789, 7321, 5912, 6914, 6681, 6469, 6967, 5987, 6206, 6325, 7127, 6244, 6045, 6048, 6392, 6069, 7015, 6920, 6426, 6051, 6560, 6660, 6120, 7053, 5880, 6208, 5778, 6728, 6660, 6759, 5371, 6609, 6984, 6315, 6273, 6167, 6669, 5890, 6178, 6085, 6441, 5993, 7292, 6676, 7158, 6509, 7011, 5930, 5947, 6194, 5644, 6203, 6110, 6198, 6272, 6287, 5297, 7585, 6471, 7380, 6438, 6508, 6374, 6594, 6573, 5974, 6784, 6908, 6636, 7105, 6751, 7620, 6360, 6543, 7174, 6610, 6446, 6238, 6420, 6173, 6340, 6356, 5553, 5847, 6659, 6375, 6804, 6974, 6413, 7122, 6365, 6406, 5887, 6292, 5971, 6871, 5955, 5897, 6045, 6080, 5841, 7134, 5877, 6758, 6533, 6702, 7330, 6833, 6767, 6535, 6306, 6520, 6614, 6277, 7558, 6547, 6015, 6593, 5898, 5604, 5516, 6751, 6843, 6157, 5842, 5840, 5493, 6410, 6271, 5266, 5961, 6706, 5395, 6570, 5456, 6005, 6290, 6391, 6089, 5594, 6264, 5949, 5714, 6226, 5873, 6618, 5820, 6240, 5907, 6071, 5579, 5965, 6303, 6079, 6131, 5303, 5760, 5770, 5857, 5592, 5697, 5888, 6382, 6062, 6121, 6309, 5975, 5886, 5665, 6108, 5830, 5608, 6174, 5725, 5848, 5756, 5497, 5550, 6154, 7280, 6861, 6138, 6604, 6089, 7109, 7174, 6553, 6584, 6866, 5851, 6822, 6218, 6687, 6664, 6630, 5936, 5757, 6498, 6671, 6512, 7147, 7158, 6174, 6925, 6534, 6330, 7146, 6715, 7067, 6783, 5996, 7106, 7123, 6740, 5977, 6527, 6400, 6535, 6873, 6482, 7082, 7545, 7217, 6977, 7391, 6728, 6516, 5779, 7291, 6660, 6785, 7311, 6482, 6944, 6925, 6635, 6752, 7083, 6655, 6011, 6535, 5516, 5420, 5770, 6046, 5853, 5907, 5731, 6091, 5912, 6747, 5932, 5985, 5854, 5866, 6043, 6599, 6102, 5889, 6715, 6821, 6415, 5967, 6526, 6379, 6201, 6210, 6809, 6026, 7243, 6137, 6689, 6385, 6944, 6694, 6304, 6559, 6642, 6903, 6632, 6365, 7260, 7297, 6501, 6950, 6762, 7009, 6124, 6257, 6964, 6416, 6182, 6388, 6349, 7107, 6526, 6404, 6683, 6647, 7834, 6849, 6694, 7590, 6295, 7238, 6319, 5861, 7063, 6603, 6551, 6852, 6259, 6163, 6756, 6647, 6783, 5965, 7296, 7467, 6558, 6379, 6469, 6555, 6748, 5900, 7402, 6888, 6712, 5556, 5852, 6421, 6697, 6296, 6413, 6489, 5868, 6728, 6647, 6374]
clauses_list 
[12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12012, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12025, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12019, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12021, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12022, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12014, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12017, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12024, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12018, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12016, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020, 12020]