false	false	-9223372036854775808	false	true
false	false	-9223372036854775808	true	true
false	false	-1	false	true
false	false	-1	true	true
false	false	0	false	true
false	false	0	true	true
false	false	1	false	true
false	false	1	true	false
false	false	42	false	true
false	false	42	true	false
false	false	9223372036854775807	false	true
false	false	9223372036854775807	true	false
false	true	-9223372036854775808	false	true
false	true	-9223372036854775808	true	true
false	true	-1	false	true
false	true	-1	true	true
false	true	0	false	true
false	true	0	true	true
false	true	1	false	true
false	true	1	true	true
false	true	42	false	true
false	true	42	true	true
false	true	9223372036854775807	false	true
false	true	9223372036854775807	true	true
true	false	-9223372036854775808	false	false
true	false	-9223372036854775808	true	false
true	false	-1	false	false
true	false	-1	true	false
true	false	0	false	false
true	false	0	true	false
true	false	1	false	false
true	false	1	true	false
true	false	42	false	false
true	false	42	true	false
true	false	9223372036854775807	false	false
true	false	9223372036854775807	true	false
true	true	-9223372036854775808	false	false
true	true	-9223372036854775808	true	false
true	true	-1	false	false
true	true	-1	true	false
true	true	0	false	false
true	true	0	true	false
true	true	1	false	false
true	true	1	true	false
true	true	42	false	false
true	true	42	true	false
true	true	9223372036854775807	false	false
true	true	9223372036854775807	true	false
