((si-tests 1162899866 10 0 0 0) (si-tests 1162832755 10 0 0 0) (si-tests 1162832717 9 0 1 0) (si-tests 1162832636 9 0 1 0) (si-tests 1162832470 9 0 1 0) (si-tests 1162832270 6 0 4 0) (si-tests 1162832219 4 0 6 0) (si-tests 1159789493 10 0 0 0) (si-tests 1159787574 9 0 0 0) (si-tests 1159787393 9 0 0 0) (si-tests 1159787338 8 1 0 0) (si-tests 1159787086 8 0 1 0) (si-tests 1159786988 8 0 1 0) (si-tests 1159786674 8 0 1 0) (si-tests 1159786634 8 0 1 0) (si-tests 1159786559 8 1 0 0) (si-tests 1159786454 7 2 0 0) (si-tests 1159786424 7 1 1 0) (si-tests 1159786395 7 1 1 0) (si-tests 1159784453 7 1 0 0) (si-tests 1159784447 7 1 0 0) (si-tests 1159784428 6 2 0 0) (si-tests 1159784308 6 1 0 0) (si-tests 1159784293 6 1 0 0) (si-tests 1159784288 6 1 0 0) (si-tests 1159784252 6 1 0 0))