%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : SWV421-1.500 : TPTP v8.1.0. Released v3.5.0. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n020.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 : Wed Jul 20 21:38:30 EDT 2022 % Result : Unknown 0.22s 0.42s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.13 % Problem : SWV421-1.500 : TPTP v8.1.0. Released v3.5.0. % 0.12/0.14 % Command : sos-script %s % 0.15/0.36 % Computer : n020.cluster.edu % 0.15/0.36 % Model : x86_64 x86_64 % 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.36 % Memory : 8042.1875MB % 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.36 % CPULimit : 300 % 0.15/0.36 % WCLimit : 600 % 0.15/0.36 % DateTime : Wed Jun 15 14:44:04 EDT 2022 % 0.15/0.36 % CPUTime : % 0.15/0.42 ----- Otter 3.2, August 2001 ----- % 0.15/0.42 The process was started by sandbox on n020.cluster.edu, % 0.15/0.42 Wed Jun 15 14:44:04 2022 % 0.15/0.42 The command was "./sos". The process ID is 15497. % 0.15/0.42 % 0.15/0.42 set(prolog_style_variables). % 0.15/0.42 set(auto). % 0.15/0.42 dependent: set(auto1). % 0.15/0.42 dependent: set(process_input). % 0.15/0.42 dependent: clear(print_kept). % 0.15/0.42 dependent: clear(print_new_demod). % 0.15/0.42 dependent: clear(print_back_demod). % 0.15/0.42 dependent: clear(print_back_sub). % 0.15/0.42 dependent: set(control_memory). % 0.15/0.42 dependent: assign(max_mem, 12000). % 0.15/0.42 dependent: assign(pick_given_ratio, 4). % 0.15/0.42 dependent: assign(stats_level, 1). % 0.15/0.42 dependent: assign(pick_semantic_ratio, 3). % 0.15/0.42 dependent: assign(sos_limit, 5000). % 0.15/0.42 dependent: assign(max_weight, 60). % 0.15/0.42 clear(print_given). % 0.15/0.42 % 0.15/0.42 list(usable). % 0.15/0.42 % 0.15/0.42 ERROR, term too big: % 0.15/0.42 % 0.15/0.42 % 0.15/0.42 ( -loop % 0.15/0.42 | trans(s499,s0) % 0.15/0.42 | trans(s499,s1) % 0.15/0.42 | trans(s499,s2) % 0.15/0.42 | trans(s499,s3) % 0.15/0.42 | trans(s499,s4) % 0.15/0.42 | trans(s499,s5) % 0.15/0.42 | trans(s499,s6) % 0.15/0.42 | trans(s499,s7) % 0.15/0.42 | trans(s499,s8) % 0.15/0.42 | trans(s499,s9) % 0.15/0.42 | trans(s499,s10) % 0.15/0.42 | trans(s499,s11) % 0.15/0.42 | trans(s499,s12) % 0.15/0.42 | trans(s499,s13) % 0.15/0.42 | trans(s499,s14) % 0.15/0.42 | trans(s499,s15) % 0.15/0.42 | trans(s499,s16) % 0.15/0.42 | trans(s499,s17) % 0.15/0.42 | trans(s499,s18) % 0.15/0.42 | trans(s499,s19) % 0.15/0.42 | trans(s499,s20) % 0.15/0.42 | trans(s499,s21) % 0.15/0.42 | trans(s499,s22) % 0.15/0.42 | trans(s499,s23) % 0.15/0.42 | trans(s499,s24) % 0.15/0.42 | trans(s499,s25) % 0.15/0.42 | trans(s499,s26) % 0.15/0.42 | trans(s499,s27) % 0.15/0.42 | trans(s499,s28) % 0.15/0.42 | trans(s499,s29) % 0.15/0.42 | trans(s499,s30) % 0.15/0.42 | trans(s499,s31) % 0.15/0.42 | trans(s499,s32) % 0.15/0.42 | trans(s499,s33) % 0.15/0.42 | trans(s499,s34) % 0.15/0.42 | trans(s499,s35) % 0.15/0.42 | trans(s499,s36) % 0.15/0.42 | trans(s499,s37) % 0.15/0.42 | trans(s499,s38) % 0.15/0.42 | trans(s499,s39) % 0.15/0.42 | trans(s499,s40) % 0.15/0.42 | trans(s499,s41) % 0.15/0.42 | trans(s499,s42) % 0.15/0.42 | trans(s499,s43) % 0.15/0.42 | trans(s499,s44) % 0.15/0.42 | trans(s499,s45) % 0.15/0.42 | trans(s499,s46) % 0.15/0.42 | trans(s499,s47) % 0.15/0.42 | trans(s499,s48) % 0.15/0.42 | trans(s499,s49) % 0.15/0.42 | trans(s499,s50) % 0.15/0.42 | trans(s499,s51) % 0.15/0.42 | trans(s499,s52) % 0.15/0.42 | trans(s499,s53) % 0.15/0.42 | trans(s499,s54) % 0.15/0.42 | trans(s499,s55) % 0.15/0.42 | trans(s499,s56) % 0.15/0.42 | trans(s499,s57) % 0.15/0.42 | trans(s499,s58) % 0.15/0.42 | trans(s499,s59) % 0.15/0.42 | trans(s499,s60) % 0.15/0.42 | trans(s499,s61) % 0.15/0.42 | trans(s499,s62) % 0.15/0.42 | trans(s499,s63) % 0.15/0.42 | trans(s499,s64) % 0.15/0.42 | trans(s499,s65) % 0.15/0.42 | trans(s499,s66) % 0.15/0.42 | trans(s499,s67) % 0.15/0.42 | trans(s499,s68) % 0.15/0.42 | trans(s499,s69) % 0.15/0.42 | trans(s499,s70) % 0.15/0.42 | trans(s499,s71) % 0.15/0.42 | trans(s499,s72) % 0.15/0.42 | trans(s499,s73) % 0.15/0.42 | trans(s499,s74) % 0.15/0.42 | trans(s499,s75) % 0.15/0.42 | trans(s499,s76) % 0.15/0.42 | trans(s499,s77) % 0.15/0.42 | trans(s499,s78) % 0.15/0.42 | trans(s499,s79) % 0.15/0.42 | trans(s499,s80) % 0.15/0.42 | trans(s499,s81) % 0.15/0.42 | trans(s499,s82) % 0.15/0.42 | trans(s499,s83) % 0.15/0.42 | trans(s499,s84) % 0.15/0.42 | trans(s499,s85) % 0.15/0.42 | trans(s499,s86) % 0.15/0.42 | trans(s499,s87) % 0.15/0.42 | trans(s499,s88) % 0.15/0.42 | trans(s499,s89) % 0.15/0.42 | trans(s499,s90) % 0.15/0.42 | trans(s499,s91) % 0.15/0.42 | trans(s499,s92) % 0.15/0.42 | trans(s499,s93) % 0.15/0.42 | trans(s499,s94) % 0.15/0.42 | trans(s499,s95) % 0.15/0.42 | trans(s499,s96) % 0.15/0.42 | trans(s499,s97) % 0.15/0.42 | trans(s499,s98) % 0.15/0.42 | trans(s499,s99) % 0.15/0.42 | trans(s499,s100) % 0.15/0.42 | trans(s499,s101) % 0.15/0.42 | trans(s499,s102) % 0.15/0.42 | trans(s499,s103) % 0.15/0.42 | trans(s499,s104) % 0.15/0.42 | trans(s499,s105) % 0.15/0.42 | trans(s499,s106) % 0.15/0.42 | trans(s499,s107) % 0.15/0.42 | trans(s499,s108) % 0.15/0.42 | trans(s499,s109) % 0.15/0.42 | trans(s499,s110) % 0.15/0.42 | trans(s499,s111) % 0.15/0.42 | trans(s499,s112) % 0.15/0.42 | trans(s499,s113) % 0.15/0.42 | trans(s499,s114) % 0.15/0.42 | trans(s499,s115) % 0.15/0.42 | trans(s499,s116) % 0.15/0.42 | trans(s499,s117) % 0.15/0.42 | trans(s499,s118) % 0.15/0.42 | trans(s499,s119) % 0.15/0.42 | trans(s499,s120) % 0.15/0.42 | trans(s499,s121) % 0.15/0.42 | trans(s499,s122) % 0.15/0.42 | trans(s499,s123) % 0.15/0.42 | trans(s499,s124) % 0.15/0.42 | trans(s499,s125) % 0.15/0.42 | trans(s499,s126) % 0.15/0.42 | trans(s499,s127) % 0.15/0.42 | trans(s499,s128) % 0.15/0.42 | trans(s499,s129) % 0.15/0.42 | trans(s499,s130) % 0.15/0.42 | trans(s499,s131) % 0.15/0.42 | trans(s499,s132) % 0.15/0.42 | trans(s499,s133) % 0.15/0.42 | trans(s499,s134) % 0.15/0.42 | trans(s499,s135) % 0.15/0.42 | trans(s499,s136) % 0.15/0.42 | trans(s499,s137) % 0.15/0.42 | trans(s499,s138) % 0.15/0.42 | trans(s499,s139) % 0.15/0.42 | trans(s499,s140) % 0.15/0.42 | trans(s499,s141) % 0.15/0.42 | trans(s499,s142) % 0.15/0.42 | trans(s499,s143) % 0.15/0.42 | trans(s499,s144) % 0.15/0.42 | trans(s499,s145) % 0.15/0.42 | trans(s499,s146) % 0.15/0.42 | trans(s499,s147) % 0.15/0.42 | trans(s499,s148) % 0.15/0.42 | trans(s499,s149) % 0.15/0.42 | trans(s499,s150) % 0.15/0.42 | trans(s499,s151) % 0.15/0.42 | trans(s499,s152) % 0.15/0.42 | trans(s499,s153) % 0.15/0.42 | trans(s499,s154) % 0.15/0.42 | trans(s499,s155) % 0.15/0.42 | trans(s499,s156) % 0.15/0.42 | trans(s499,s157) % 0.15/0.42 | trans(s499,s158) % 0.15/0.42 | trans(s499,s159) % 0.15/0.42 | trans(s499,s160) % 0.15/0.42 | trans(s499,s161) % 0.15/0.42 | trans(s499,s162) % 0.15/0.42 | trans(s499,s163) % 0.15/0.42 | trans(s499,s164) % 0.15/0.42 | trans(s499,s165) % 0.15/0.42 | trans(s499,s166) % 0.15/0.42 | trans(s499,s167) % 0.15/0.42 | trans(s499,s168) % 0.15/0.42 | trans(s499,s169) % 0.15/0.42 | trans(s499,s170) % 0.15/0.42 | trans(s499,s171) % 0.15/0.42 | trans(s499,s172) % 0.15/0.42 | trans(s499,s173) % 0.15/0.42 | trans(s499,s174) % 0.15/0.42 | trans(s499,s175) % 0.15/0.42 | trans(s499,s176) % 0.15/0.42 | trans(s499,s177) % 0.15/0.42 | trans(s499,s178) % 0.15/0.42 | trans(s499,s179) % 0.15/0.42 | trans(s499,s180) % 0.15/0.42 | trans(s499,s181) % 0.15/0.42 | trans(s499,s182) % 0.15/0.42 | trans(s499,s183) % 0.15/0.42 | trans(s499,s184) % 0.15/0.42 | trans(s499,s185) % 0.15/0.42 | trans(s499,s186) % 0.15/0.42 | trans(s499,s187) % 0.15/0.42 | trans(s499,s188) % 0.15/0.42 | trans(s499,s189) % 0.15/0.42 | trans(s499,s190) % 0.15/0.42 | trans(s499,s191) % 0.15/0.42 | trans(s499,s192) % 0.15/0.42 | trans(s499,s193) % 0.15/0.42 | trans(s499,s194) % 0.15/0.42 | trans(s499,s195) % 0.15/0.42 | trans(s499,s196) % 0.15/0.42 | trans(s499,s197) % 0.15/0.42 | trans(s499,s198) % 0.15/0.42 | trans(s499,s199) % 0.15/0.42 | trans(s499,s200) % 0.15/0.42 | trans(s499,s201) % 0.15/0.42 | trans(s499,s202) % 0.15/0.42 | trans(s499,s203) % 0.15/0.42 | trans(s499,s204) % 0.15/0.42 | trans(s499,s205) % 0.15/0.42 | trans(s499,s206) % 0.15/0.42 | trans(s499,s207) % 0.15/0.42 | trans(s499,s208) % 0.15/0.42 | trans(s499,s209) % 0.15/0.42 | trans(s499,s210) % 0.15/0.42 | trans(s499,s211) % 0.15/0.42 | trans(s499,s212) % 0.15/0.42 | trans(s499,s213) % 0.15/0.42 | trans(s499,s214) % 0.15/0.42 | trans(s499,s215) % 0.15/0.42 | trans(s499,s216) % 0.15/0.42 | trans(s499,s217) % 0.15/0.42 | trans(s499,s218) % 0.15/0.42 | trans(s499,s219) % 0.15/0.42 | trans(s499,s220) % 0.15/0.42 | trans(s499,s221) % 0.15/0.42 | trans(s499,s222) % 0.15/0.42 | trans(s499,s223) % 0.15/0.42 | trans(s499,s224) % 0.15/0.42 | trans(s499,s225) % 0.15/0.42 | trans(s499,s226) % 0.15/0.42 | trans(s499,s227) % 0.15/0.42 | trans(s499,s228) % 0.15/0.42 | trans(s499,s229) % 0.15/0.42 | trans(s499,s230) % 0.15/0.42 | trans(s499,s231) % 0.15/0.42 | trans(s499,s232) % 0.15/0.42 | trans(s499,s233) % 0.15/0.42 | trans(s499,s234) % 0.15/0.42 | trans(s499,s235) % 0.15/0.42 | trans(s499,s236) % 0.15/0.42 | trans(s499,s237) % 0.15/0.42 | trans(s499,s238) % 0.15/0.42 | trans(s499,s239) % 0.15/0.42 | trans(s499,s240) % 0.15/0.42 | trans(s499,s241) % 0.15/0.42 | trans(s499,s242) % 0.15/0.42 | trans(s499,s243) % 0.15/0.42 | trans(s499,s244) % 0.15/0.42 | trans(s499,s245) % 0.15/0.42 | trans(s499,s246) % 0.15/0.42 | trans(s499,s247) % 0.15/0.42 | trans(s499,s248) % 0.15/0.42 | trans(s499,s249) % 0.15/0.42 | trans(s499,s250) % 0.15/0.42 | trans(s499,s251) % 0.15/0.42 | trans(s499,s252) % 0.15/0.42 | trans(s499,s253) % 0.15/0.42 | trans(s499,s254) % 0.15/0.42 | trans(s499,s255) % 0.15/0.42 | trans(s499,s256) % 0.15/0.42 | trans(s499,s257) % 0.15/0.42 | trans(s499,s258) % 0.15/0.42 | trans(s499,s259) % 0.15/0.42 | trans(s499,s260) % 0.15/0.42 | trans(s499,s261) % 0.15/0.42 | trans(s499,s262) % 0.15/0.42 | trans(s499,s263) % 0.15/0.42 | trans(s499,s264) % 0.15/0.42 | trans(s499,s265) % 0.15/0.42 | trans(s499,s266) % 0.15/0.42 | trans(s499,s267) % 0.15/0.42 | trans(s499,s268) % 0.15/0.42 | trans(s499,s269) % 0.15/0.42 | trans(s499,s270) % 0.15/0.42 | trans(s499,s271) % 0.15/0.42 | trans(s499,s272) % 0.15/0.42 | trans(s499,s273) % 0.15/0.42 | trans(s499,s274) % 0.15/0.42 | trans(s499,s275) % 0.15/0.42 | trans(s499,s276) % 0.15/0.42 | trans(s499,s277) % 0.15/0.42 | trans(s499,s278) % 0.15/0.42 | trans(s499,s279) % 0.15/0.42 | trans(s499,s280) % 0.15/0.42 | trans(s499,s281) % 0.15/0.42 | trans(s499,s282) % 0.15/0.42 | trans(s499,s283) % 0.15/0.42 | trans(s499,s284) % 0.15/0.42 | trans(s499,s285) % 0.15/0.42 | trans(s499,s286) % 0.15/0.42 | trans(s499,s287) % 0.15/0.42 | trans(s499,s288) % 0.15/0.42 | trans(s499,s289) % 0.15/0.42 | trans(s499,s290) % 0.15/0.42 | trans(s499,s291) % 0.15/0.42 | trans(s499,s292) % 0.15/0.42 | trans(s499,s293) % 0.15/0.42 | trans(s499,s294) % 0.15/0.42 | trans(s499,s295) % 0.15/0.42 | trans(s499,s296) % 0.15/0.42 | trans(s499,s297) % 0.15/0.42 | trans(s499,s298) % 0.15/0.42 | trans(s499,s299) % 0.15/0.42 | trans(s499,s300) % 0.15/0.42 | trans(s499,s301) % 0.15/0.42 | trans(s499,s302) % 0.15/0.42 | trans(s499,s303) % 0.15/0.42 | trans(s499,s304) % 0.15/0.42 | trans(s499,s305) % 0.15/0.42 | trans(s499,s306) % 0.15/0.42 | trans(s499,s307) % 0.15/0.42 | trans(s499,s308) % 0.15/0.42 | trans(s499,s309) % 0.15/0.42 | trans(s499,s310) % 0.15/0.42 | trans(s499,s311) % 0.15/0.42 | trans(s499,s312) % 0.15/0.42 | trans(s499,s313) % 0.15/0.42 | trans(s499,s314) % 0.15/0.42 | trans(s499,s315) % 0.15/0.42 | trans(s499,s316) % 0.15/0.42 | trans(s499,s317) % 0.15/0.42 | trans(s499,s318) % 0.15/0.42 | trans(s499,s319) % 0.15/0.42 | trans(s499,s320) % 0.15/0.42 | trans(s499,s321) % 0.15/0.42 | trans(s499,s322) % 0.15/0.42 | trans(s499,s323) % 0.15/0.42 | trans(s499,s324) % 0.15/0.42 | trans(s499,s325) % 0.15/0.42 | trans(s499,s326) % 0.15/0.42 | trans(s499,s327) % 0.15/0.42 | trans(s499,s328) % 0.15/0.42 | trans(s499,s329) % 0.15/0.42 | trans(s499,s330) % 0.15/0.42 | trans(s499,s331) % 0.15/0.42 | trans(s499,s332) % 0.15/0.42 | trans(s499,s333) % 0.15/0.42 | trans(s499,s334) % 0.15/0.42 | trans(s499,s335) % 0.15/0.42 | trans(s499,s336) % 0.15/0.42 | trans(s499,s337) % 0.15/0.42 | trans(s499,s338) % 0.15/0.42 | trans(s499,s339) % 0.15/0.42 | trans(s499,s340) % 0.15/0.42 | trans(s499,s341) % 0.15/0.42 | trans(s499,s342) % 0.15/0.42 | trans(s499,s343) % 0.15/0.42 | trans(s499,s344) % 0.15/0.42 | trans(s499,s345) % 0.15/0.42 | trans(s499,s346) % 0.15/0.42 | trans(s499,s347) % 0.15/0.42 | trans(s499,s348) % 0.15/0.42 | trans(s499,s349) % 0.15/0.42 | trans(s499,s350) % 0.15/0.42 | trans(s499,s351) % 0.15/0.42 | trans(s499,s352) % 0.15/0.42 | trans(s499,s353) % 0.15/0.42 | trans(s499,s354) % 0.15/0.42 | trans(s499,s355) % 0.15/0.42 | trans(s499,s356) % 0.15/0.42 | trans(s499,s357) % 0.15/0.42 | trans(s499,s358) % 0.15/0.42 | trans(s499,s359) % 0.15/0.42 | trans(s499,s360) % 0.15/0.42 | trans(s499,s361) % 0.15/0.42 | trans(s499,s362) % 0.15/0.42 | trans(s499,s363) % 0.15/0.42 | trans(s499,s364) % 0.15/0.42 | trans(s499,s365) % 0.15/0.42 | trans(s499,s366) % 0.15/0.42 | trans(s499,s367) % 0.15/0.42 | trans(s499,s368) % 0.15/0.42 | trans(s499,s369) % 0.15/0.42 | trans(s499,s370) % 0.15/0.42 | trans(s499,s371) % 0.15/0.42 | trans(s499,s372) % 0.15/0.42 | trans(s499,s373) % 0.15/0.42 | trans(s499,s374) % 0.15/0.42 | trans(s499,s375) % 0.15/0.42 | trans(s499,s376) % 0.15/0.42 | trans(s499,s377) % 0.15/0.42 | trans(s499,s378) % 0.15/0.42 | trans(s499,s379) % 0.15/0.42 | trans(s499,s380) % 0.15/0.42 | trans(s499,s381) % 0.15/0.42 | trans(s499,s382) % 0.15/0.42 | trans(s499,s383) % 0.15/0.42 | trans(s499,s384) % 0.15/0.42 | trans(s499,s385) % 0.15/0.42 | trans(s499,s386) % 0.15/0.42 | trans(s499,s387) % 0.15/0.42 | trans(s499,s388) % 0.15/0.42 | trans(s499,s389) % 0.15/0.42 | trans(s499,s390) % 0.15/0.42 | trans(s499,s391) % 0.15/0.42 | trans(s499,s392) % 0.15/0.42 | trans(s499,s393) % 0.15/0.42 | trans(s499,s394) % 0.15/0.42 | trans(s499,s395) % 0.15/0.42 | trans(s499,s396) % 0.15/0.42 | trans(s499,s397) % 0.15/0.42 | trans(s499,s398) % 0.15/0.42 | trans(s499,s399) % 0.15/0.42 | trans(s499,s400) % 0.15/0.42 | trans(s499,s401) % 0.15/0.42 | trans(s499,s402) % 0.15/0.42 | trans(s499,s403) % 0.15/0.42 | trans(s499,s404) % 0.15/0.42 | trans(s499,s405) % 0.15/0.42 | trans(s499,s406) % 0.15/0.42 | trans(s499,s407) % 0.15/0.42 | trans(s499,s408) % 0.15/0.42 | trans(s499,s409) % 0.15/0.42 | trans(s499,s410) % 0.15/0.42 | trans(s499,s411) % 0.15/0.42 | trans(s499,s412) % 0.15/0.42 | trans(s499,s413) % 0.15/0.42 | trans(s499,s414) % 0.15/0.42 | trans(s499,s415) % 0.15/0.42 | trans(s499,s416) % 0.15/0.42 | trans(s499,s417) % 0.15/0.42 | trans(s499,s418) % 0.15/0.42 | trans(s499,s419) % 0.15/0.42 | trans(s499,s420) % 0.15/0.42 | trans(s499,s421) % 0.15/0.42 | trans(s499,s422) % 0.15/0.42 | trans(s499,s423) % 0.15/0.42 | trans(s499,s424) % 0.15/0.42 | trans(s499,s425) % 0.15/0.42 | trans(s499,s426) % 0.15/0.42 | trans(s499,s427) % 0.15/0.42 | trans(s499,s428) % 0.15/0.42 | trans(s499,s429) % 0.15/0.42 | trans(s499,s430) % 0.15/0.42 | trans(s499,s431) % 0.15/0.42 | trans(s499,s432) % 0.15/0.42 | trans(s499,s433) % 0.15/0.42 | trans(s499,s434) % 0.15/0.42 | trans(s499,s435) % 0.15/0.42 | trans(s499,s436) % 0.15/0.42 | trans(s499,s437) % 0.15/0.42 | trans(s499,s438) % 0.15/0.42 | trans(s499,s439) % 0.15/0.42 | trans(s499,s440) % 0.15/0.42 | trans(s499,s441) % 0.15/0.42 | trans(s499,s442) % 0.15/0.42 | trans(s499,s443) % 0.15/0.42 | trans(s499,s444) % 0.15/0.42 | trans(s499,s445) % 0.15/0.42 | trans(s499,s446) % 0.15/0.42 | trans(s499,s447) % 0.15/0.42 | trans(s499,s448) % 0.15/0.42 | trans(s499,s449) % 0.15/0.42 | trans(s499,s450) % 0.15/0.42 | trans(s499,s451) % 0.15/0.42 | trans(s499,s452) % 0.15/0.42 | trans(s499,s453) % 0.15/0.42 | trans(s499,s454) % 0.15/0.42 | trans(s499,s455) % 0.15/0.42 | trans(s499,s456) % 0.15/0.42 | trans(s499,s457) % 0.15/0.42 | trans(s499,s458) % 0.15/0.42 | trans(s499,s459) % 0.15/0.42 | trans(s499,s460) % 0.15/0.42 | trans(s499,s461) % 0.15/0.42 | trans(s499,s462) % 0.15/0.42 | trans(s499,s463) % 0.15/0.42 | trans(s499,s464) % 0.15/0.42 | trans(s499,s465) % 0.15/0.42 | trans(s499,s466) % 0.15/0.42 | trans(s499,s467) % 0.15/0.42 | trans(s499,s468) % 0.15/0.42 | trans(s499,s469) % 0.15/0.42 | trans(s499,s470) % 0.15/0.42 | trans(s499,s471) % 0.15/0.42 | trans(s499,s472) % 0.15/0.42 | trans(s499,s473) % 0.15/0.42 | trans(s499,s474) % 0.15/0.42 | trans(s499,s475) % 0.15/0.42 | trans(s499,s476) % 0.15/0.42 | trans(s499,s477) % 0.15/0.42 | trans(s499,s478) % 0.15/0.42 | trans(s499,s479) % 0.15/0.42 | trans(s499,s480) % 0.15/0.42 | trans(s499,s481) % 0.15/0.42 | trans(s499,s482) % 0.15/0.42 | trans(s499,s483) % 0.15/0.42 | trans(s499,s484) % 0.15/0.42 | trans(s499,s485) % 0.15/0.42 | trans(s499,s486) % 0.15/0.42 | trans(s499,s487) % 0.15/0.42 | trans(s499,s488) % 0.15/0.42 | trans(s499,s489) % 0.15/0.42 | trans(s499,s490) % 0.15/0.42 | trans(s499,s491) % 0.15/0.42 | trans(s499,s492) % 0.15/0.42 | trans(s499,s493) % 0.15/0.42 | trans(s499,s494) % 0.15/0.42 | trans(s499,s495) % 0.15/0.42 | trans(s499,s496) % 0.15/0.42 | trans(s499,s497) % 0.15/0.42 | trans(s499,s498) % 0.15/0.42 | ***HERE*** trans(s499,s499) ). % 0.15/0.42 % 0.15/0.42 ======= end of input processing ======= % 0.15/0.42 % 0.15/0.42 1 input errors were found. % 0.15/0.42 % 0.15/0.42 1 input errors were found. %------------------------------------------------------------------------------