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