0833:[6]
0834:[-41]
0835:[-4]
0836:[43]
0837:[5]
0838:[-42]
0839:[0,20]
0840:[-0,02]
0841:[1]
0842:[1]
0843:[true]
0844:[true]
0845:[false]
0846:[false]
0847:[false]
0848:[false]
0849:[true]
0850:[true]
0851:[false]
0852:[false]
0853:[true]
0854:[true]
0855:[false]
0856:[false]
0857:[true]
0858:[true]
0859:[true]
0860:[true]
0861:[true]
0862:[true]
0863:['15']
0864:['1-42']