TSTP Solution File: SYO596-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : SYO596-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n028.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Thu Jul 21 19:49:50 EDT 2022
% Result : Unknown 1.95s 2.18s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : SYO596-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.12/0.13 % Command : sos-script %s
% 0.14/0.34 % Computer : n028.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Sat Jul 9 08:51:56 EDT 2022
% 0.14/0.34 % CPUTime :
% 1.04/1.21 ----- Otter 3.2, August 2001 -----
% 1.04/1.21 The process was started by sandbox on n028.cluster.edu,
% 1.04/1.21 Sat Jul 9 08:51:56 2022
% 1.04/1.21 The command was "./sos". The process ID is 32054.
% 1.04/1.21
% 1.04/1.21 set(prolog_style_variables).
% 1.04/1.21 set(auto).
% 1.04/1.21 dependent: set(auto1).
% 1.04/1.21 dependent: set(process_input).
% 1.04/1.21 dependent: clear(print_kept).
% 1.04/1.21 dependent: clear(print_new_demod).
% 1.04/1.21 dependent: clear(print_back_demod).
% 1.04/1.21 dependent: clear(print_back_sub).
% 1.04/1.21 dependent: set(control_memory).
% 1.04/1.21 dependent: assign(max_mem, 12000).
% 1.04/1.21 dependent: assign(pick_given_ratio, 4).
% 1.04/1.21 dependent: assign(stats_level, 1).
% 1.04/1.21 dependent: assign(pick_semantic_ratio, 3).
% 1.04/1.21 dependent: assign(sos_limit, 5000).
% 1.04/1.21 dependent: assign(max_weight, 60).
% 1.04/1.21 clear(print_given).
% 1.04/1.21
% 1.04/1.21 list(usable).
% 1.04/1.21
% 1.04/1.21 ERROR, term too big:
% 1.04/1.21
% 1.04/1.21
% 1.04/1.21 ( -esk196_1(X1)
% 1.04/1.21 | -esk1036_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk850_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk933_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk996_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk968_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk860_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk939_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk976_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk906_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk974_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk886_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk823_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk888_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk881_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk986_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk965_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1014_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1024_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1029_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk946_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk820_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk822_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk895_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk918_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk883_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk840_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk874_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk989_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1071_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk964_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk180_1(X1)
% 1.04/1.21 | -esk1049_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk836_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk892_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk880_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1017_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1078_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1018_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk992_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk140_1(X1)
% 1.04/1.21 | -esk1006_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk893_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk978_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk882_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1039_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk867_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk884_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk197_1(X1)
% 1.04/1.21 | -esk942_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk941_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk139_1(X1)
% 1.04/1.21 | -esk915_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk161_1(X1)
% 1.04/1.21 | -esk1059_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk819_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk991_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk905_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk949_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk189_1(X1)
% 1.04/1.21 | -esk1073_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1041_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk835_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk959_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk995_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk875_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1040_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk833_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1026_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk927_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1077_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk984_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk173_1(X1)
% 1.04/1.21 | -esk191_1(X1)
% 1.04/1.21 | -esk154_1(X1)
% 1.04/1.21 | -esk169_1(X1)
% 1.04/1.21 | -esk1062_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk814_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk816_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk983_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1035_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk818_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1052_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk990_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk873_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk179_1(X1)
% 1.04/1.21 | -esk961_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk955_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk194_1(X1)
% 1.04/1.21 | -esk914_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk845_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1010_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1003_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1055_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk929_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk960_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk912_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk900_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1070_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk871_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk187_1(X1)
% 1.04/1.21 | -esk952_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk987_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk869_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk159_1(X1)
% 1.04/1.21 | -esk951_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk192_1(X1)
% 1.04/1.21 | -esk149_1(X1)
% 1.04/1.21 | -esk922_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1037_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk153_1(X1)
% 1.04/1.21 | -esk1012_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk144_1(X1)
% 1.04/1.21 | -esk993_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk887_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk821_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1076_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk997_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk907_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk205_1(X1)
% 1.04/1.21 | -esk852_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk851_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1025_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk838_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk938_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk975_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk188_1(X1)
% 1.04/1.21 | -esk147_1(X1)
% 1.04/1.21 | -esk972_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk849_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk957_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1066_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk936_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk998_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk150_1(X1)
% 1.04/1.21 | -esk1028_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk841_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk828_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk944_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk186_1(X1)
% 1.04/1.21 | -esk141_1(X1)
% 1.04/1.21 | -esk137_1(X1)
% 1.04/1.21 | -esk812_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk861_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk178_1(X1)
% 1.04/1.21 | -esk858_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1058_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk156_1(X1)
% 1.04/1.21 | -esk940_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk902_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk824_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk848_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1046_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk935_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1075_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1048_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1043_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1021_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1009_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk876_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk203_1(X1)
% 1.04/1.21 | -esk956_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk166_1(X1)
% 1.04/1.21 | -esk921_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1016_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1067_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1057_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk167_1(X1)
% 1.04/1.21 | -esk999_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk862_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk924_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk831_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1002_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk152_1(X1)
% 1.04/1.21 | -esk168_1(X1)
% 1.04/1.21 | -esk973_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1022_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1060_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk958_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk148_1(X1)
% 1.04/1.21 | -esk866_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1015_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk136_1(X1)
% 1.04/1.21 | -esk1053_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk947_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk919_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk170_1(X1)
% 1.04/1.21 | -esk1020_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk925_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk190_1(X1)
% 1.04/1.21 | -esk817_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk199_1(X1)
% 1.04/1.21 | -esk948_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk903_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk832_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1050_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk911_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk846_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk926_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk175_1(X1)
% 1.04/1.21 | -esk185_1(X1)
% 1.04/1.21 | -esk151_1(X1)
% 1.04/1.21 | -esk979_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk155_1(X1)
% 1.04/1.21 | -esk1004_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk164_1(X1)
% 1.04/1.21 | -esk855_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk165_1(X1)
% 1.04/1.21 | -esk953_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk985_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk200_1(X1)
% 1.04/1.21 | -esk904_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1000_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1069_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk815_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk923_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk138_1(X1)
% 1.04/1.21 | -esk829_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk901_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk176_1(X1)
% 1.04/1.21 | -esk937_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk930_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1061_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk201_1(X1)
% 1.04/1.21 | -esk945_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk1074_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.04/1.21 | -esk177_1(X1)
% 1.95/2.18 | -esk1031_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1068_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk184_1(X1)
% 1.95/2.18 | -esk890_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk143_1(X1)
% 1.95/2.18 | -esk1019_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk181_1(X1)
% 1.95/2.18 | -esk1065_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk853_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk885_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk825_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk142_1(X1)
% 1.95/2.18 | -esk865_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1054_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk879_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1042_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk157_1(X1)
% 1.95/2.18 | -esk1011_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1051_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk988_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk913_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk928_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk896_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk891_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk910_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk172_1(X1)
% 1.95/2.18 | -esk1030_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk899_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1034_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk977_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk878_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk145_1(X1)
% 1.95/2.18 | -esk146_1(X1)
% 1.95/2.18 | -esk198_1(X1)
% 1.95/2.18 | -esk193_1(X1)
% 1.95/2.18 | -esk1032_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk135_1(X1)
% 1.95/2.18 | -esk1008_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk982_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1072_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk916_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1005_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk834_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk160_1(X1)
% 1.95/2.18 | -esk843_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk966_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk932_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk971_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk931_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk868_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk950_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk837_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk870_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk839_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk898_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk204_1(X1)
% 1.95/2.18 | -esk954_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk943_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk134_1(X1)
% 1.95/2.18 | -esk894_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk202_1(X1)
% 1.95/2.18 | -esk1007_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk813_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk969_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk889_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1045_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk183_1(X1)
% 1.95/2.18 | -esk1056_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk980_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk864_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk909_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1044_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk863_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk859_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1064_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk182_1(X1)
% 1.95/2.18 | -esk844_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk963_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk171_1(X1)
% 1.95/2.18 | -esk826_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk856_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk934_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1001_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk827_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk195_1(X1)
% 1.95/2.18 | -esk994_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk917_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1023_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk877_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk981_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk962_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk970_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1047_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | esk811_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1038_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk830_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk857_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk854_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1033_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk163_1(X1)
% 1.95/2.18 | -esk1013_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk920_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk872_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk158_1(X1)
% 1.95/2.18 | -esk162_1(X1)
% 1.95/2.18 | -esk174_1(X1)
% 1.95/2.18 | -esk897_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | ***HERE*** -esk1063_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk908_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk847_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk842_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk1027_8(X1,X2,X3,X4,X5,X6,X7,X8)
% 1.95/2.18 | -esk967_8(X1,X2,X3,X4,X5,X6,X7,X8) ).
% 1.95/2.18
% 1.95/2.18 ======= end of input processing =======
% 1.95/2.18
% 1.95/2.18 1 input errors were found.
% 1.95/2.18
% 1.95/2.18 1 input errors were found.
%------------------------------------------------------------------------------