%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : SWV418-1.700 : TPTP v8.1.0. Released v3.5.0. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n022.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:25 EDT 2022 % Result : Unknown 0.19s 0.42s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWV418-1.700 : TPTP v8.1.0. Released v3.5.0. % 0.11/0.13 % Command : sos-script %s % 0.12/0.34 % Computer : n022.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Wed Jun 15 22:31:32 EDT 2022 % 0.12/0.34 % CPUTime : % 0.19/0.41 ----- Otter 3.2, August 2001 ----- % 0.19/0.41 The process was started by sandbox2 on n022.cluster.edu, % 0.19/0.41 Wed Jun 15 22:31:33 2022 % 0.19/0.41 The command was "./sos". The process ID is 13217. % 0.19/0.41 % 0.19/0.41 set(prolog_style_variables). % 0.19/0.41 set(auto). % 0.19/0.41 dependent: set(auto1). % 0.19/0.41 dependent: set(process_input). % 0.19/0.41 dependent: clear(print_kept). % 0.19/0.41 dependent: clear(print_new_demod). % 0.19/0.41 dependent: clear(print_back_demod). % 0.19/0.41 dependent: clear(print_back_sub). % 0.19/0.41 dependent: set(control_memory). % 0.19/0.41 dependent: assign(max_mem, 12000). % 0.19/0.41 dependent: assign(pick_given_ratio, 4). % 0.19/0.41 dependent: assign(stats_level, 1). % 0.19/0.41 dependent: assign(pick_semantic_ratio, 3). % 0.19/0.41 dependent: assign(sos_limit, 5000). % 0.19/0.41 dependent: assign(max_weight, 60). % 0.19/0.41 clear(print_given). % 0.19/0.41 % 0.19/0.41 list(usable). % 0.19/0.41 % 0.19/0.41 ERROR, term too big: % 0.19/0.41 % 0.19/0.41 % 0.19/0.41 ( -loop % 0.19/0.41 | trans(s699,s0) % 0.19/0.41 | trans(s699,s1) % 0.19/0.41 | trans(s699,s2) % 0.19/0.41 | trans(s699,s3) % 0.19/0.41 | trans(s699,s4) % 0.19/0.41 | trans(s699,s5) % 0.19/0.41 | trans(s699,s6) % 0.19/0.41 | trans(s699,s7) % 0.19/0.41 | trans(s699,s8) % 0.19/0.41 | trans(s699,s9) % 0.19/0.41 | trans(s699,s10) % 0.19/0.41 | trans(s699,s11) % 0.19/0.41 | trans(s699,s12) % 0.19/0.41 | trans(s699,s13) % 0.19/0.41 | trans(s699,s14) % 0.19/0.41 | trans(s699,s15) % 0.19/0.41 | trans(s699,s16) % 0.19/0.41 | trans(s699,s17) % 0.19/0.41 | trans(s699,s18) % 0.19/0.41 | trans(s699,s19) % 0.19/0.41 | trans(s699,s20) % 0.19/0.41 | trans(s699,s21) % 0.19/0.41 | trans(s699,s22) % 0.19/0.41 | trans(s699,s23) % 0.19/0.41 | trans(s699,s24) % 0.19/0.41 | trans(s699,s25) % 0.19/0.41 | trans(s699,s26) % 0.19/0.41 | trans(s699,s27) % 0.19/0.41 | trans(s699,s28) % 0.19/0.41 | trans(s699,s29) % 0.19/0.41 | trans(s699,s30) % 0.19/0.41 | trans(s699,s31) % 0.19/0.41 | trans(s699,s32) % 0.19/0.41 | trans(s699,s33) % 0.19/0.41 | trans(s699,s34) % 0.19/0.41 | trans(s699,s35) % 0.19/0.41 | trans(s699,s36) % 0.19/0.41 | trans(s699,s37) % 0.19/0.41 | trans(s699,s38) % 0.19/0.41 | trans(s699,s39) % 0.19/0.41 | trans(s699,s40) % 0.19/0.41 | trans(s699,s41) % 0.19/0.41 | trans(s699,s42) % 0.19/0.41 | trans(s699,s43) % 0.19/0.41 | trans(s699,s44) % 0.19/0.41 | trans(s699,s45) % 0.19/0.41 | trans(s699,s46) % 0.19/0.41 | trans(s699,s47) % 0.19/0.41 | trans(s699,s48) % 0.19/0.41 | trans(s699,s49) % 0.19/0.41 | trans(s699,s50) % 0.19/0.41 | trans(s699,s51) % 0.19/0.41 | trans(s699,s52) % 0.19/0.41 | trans(s699,s53) % 0.19/0.41 | trans(s699,s54) % 0.19/0.41 | trans(s699,s55) % 0.19/0.41 | trans(s699,s56) % 0.19/0.41 | trans(s699,s57) % 0.19/0.41 | trans(s699,s58) % 0.19/0.41 | trans(s699,s59) % 0.19/0.41 | trans(s699,s60) % 0.19/0.41 | trans(s699,s61) % 0.19/0.41 | trans(s699,s62) % 0.19/0.41 | trans(s699,s63) % 0.19/0.41 | trans(s699,s64) % 0.19/0.41 | trans(s699,s65) % 0.19/0.41 | trans(s699,s66) % 0.19/0.41 | trans(s699,s67) % 0.19/0.41 | trans(s699,s68) % 0.19/0.41 | trans(s699,s69) % 0.19/0.41 | trans(s699,s70) % 0.19/0.41 | trans(s699,s71) % 0.19/0.41 | trans(s699,s72) % 0.19/0.41 | trans(s699,s73) % 0.19/0.41 | trans(s699,s74) % 0.19/0.41 | trans(s699,s75) % 0.19/0.41 | trans(s699,s76) % 0.19/0.41 | trans(s699,s77) % 0.19/0.41 | trans(s699,s78) % 0.19/0.41 | trans(s699,s79) % 0.19/0.41 | trans(s699,s80) % 0.19/0.41 | trans(s699,s81) % 0.19/0.41 | trans(s699,s82) % 0.19/0.41 | trans(s699,s83) % 0.19/0.41 | trans(s699,s84) % 0.19/0.41 | trans(s699,s85) % 0.19/0.41 | trans(s699,s86) % 0.19/0.41 | trans(s699,s87) % 0.19/0.41 | trans(s699,s88) % 0.19/0.41 | trans(s699,s89) % 0.19/0.41 | trans(s699,s90) % 0.19/0.41 | trans(s699,s91) % 0.19/0.41 | trans(s699,s92) % 0.19/0.41 | trans(s699,s93) % 0.19/0.41 | trans(s699,s94) % 0.19/0.41 | trans(s699,s95) % 0.19/0.41 | trans(s699,s96) % 0.19/0.41 | trans(s699,s97) % 0.19/0.41 | trans(s699,s98) % 0.19/0.41 | trans(s699,s99) % 0.19/0.41 | trans(s699,s100) % 0.19/0.41 | trans(s699,s101) % 0.19/0.41 | trans(s699,s102) % 0.19/0.41 | trans(s699,s103) % 0.19/0.41 | trans(s699,s104) % 0.19/0.41 | trans(s699,s105) % 0.19/0.41 | trans(s699,s106) % 0.19/0.41 | trans(s699,s107) % 0.19/0.41 | trans(s699,s108) % 0.19/0.41 | trans(s699,s109) % 0.19/0.41 | trans(s699,s110) % 0.19/0.41 | trans(s699,s111) % 0.19/0.41 | trans(s699,s112) % 0.19/0.41 | trans(s699,s113) % 0.19/0.41 | trans(s699,s114) % 0.19/0.41 | trans(s699,s115) % 0.19/0.41 | trans(s699,s116) % 0.19/0.41 | trans(s699,s117) % 0.19/0.41 | trans(s699,s118) % 0.19/0.41 | trans(s699,s119) % 0.19/0.41 | trans(s699,s120) % 0.19/0.41 | trans(s699,s121) % 0.19/0.41 | trans(s699,s122) % 0.19/0.41 | trans(s699,s123) % 0.19/0.41 | trans(s699,s124) % 0.19/0.41 | trans(s699,s125) % 0.19/0.41 | trans(s699,s126) % 0.19/0.41 | trans(s699,s127) % 0.19/0.41 | trans(s699,s128) % 0.19/0.41 | trans(s699,s129) % 0.19/0.41 | trans(s699,s130) % 0.19/0.41 | trans(s699,s131) % 0.19/0.41 | trans(s699,s132) % 0.19/0.41 | trans(s699,s133) % 0.19/0.41 | trans(s699,s134) % 0.19/0.41 | trans(s699,s135) % 0.19/0.41 | trans(s699,s136) % 0.19/0.41 | trans(s699,s137) % 0.19/0.41 | trans(s699,s138) % 0.19/0.41 | trans(s699,s139) % 0.19/0.41 | trans(s699,s140) % 0.19/0.41 | trans(s699,s141) % 0.19/0.41 | trans(s699,s142) % 0.19/0.41 | trans(s699,s143) % 0.19/0.41 | trans(s699,s144) % 0.19/0.41 | trans(s699,s145) % 0.19/0.41 | trans(s699,s146) % 0.19/0.41 | trans(s699,s147) % 0.19/0.41 | trans(s699,s148) % 0.19/0.41 | trans(s699,s149) % 0.19/0.41 | trans(s699,s150) % 0.19/0.41 | trans(s699,s151) % 0.19/0.41 | trans(s699,s152) % 0.19/0.41 | trans(s699,s153) % 0.19/0.41 | trans(s699,s154) % 0.19/0.41 | trans(s699,s155) % 0.19/0.41 | trans(s699,s156) % 0.19/0.41 | trans(s699,s157) % 0.19/0.41 | trans(s699,s158) % 0.19/0.41 | trans(s699,s159) % 0.19/0.41 | trans(s699,s160) % 0.19/0.41 | trans(s699,s161) % 0.19/0.41 | trans(s699,s162) % 0.19/0.41 | trans(s699,s163) % 0.19/0.41 | trans(s699,s164) % 0.19/0.41 | trans(s699,s165) % 0.19/0.41 | trans(s699,s166) % 0.19/0.41 | trans(s699,s167) % 0.19/0.41 | trans(s699,s168) % 0.19/0.41 | trans(s699,s169) % 0.19/0.41 | trans(s699,s170) % 0.19/0.41 | trans(s699,s171) % 0.19/0.41 | trans(s699,s172) % 0.19/0.41 | trans(s699,s173) % 0.19/0.41 | trans(s699,s174) % 0.19/0.41 | trans(s699,s175) % 0.19/0.41 | trans(s699,s176) % 0.19/0.41 | trans(s699,s177) % 0.19/0.41 | trans(s699,s178) % 0.19/0.41 | trans(s699,s179) % 0.19/0.41 | trans(s699,s180) % 0.19/0.41 | trans(s699,s181) % 0.19/0.41 | trans(s699,s182) % 0.19/0.41 | trans(s699,s183) % 0.19/0.41 | trans(s699,s184) % 0.19/0.41 | trans(s699,s185) % 0.19/0.41 | trans(s699,s186) % 0.19/0.41 | trans(s699,s187) % 0.19/0.41 | trans(s699,s188) % 0.19/0.41 | trans(s699,s189) % 0.19/0.41 | trans(s699,s190) % 0.19/0.41 | trans(s699,s191) % 0.19/0.41 | trans(s699,s192) % 0.19/0.41 | trans(s699,s193) % 0.19/0.41 | trans(s699,s194) % 0.19/0.41 | trans(s699,s195) % 0.19/0.41 | trans(s699,s196) % 0.19/0.41 | trans(s699,s197) % 0.19/0.41 | trans(s699,s198) % 0.19/0.41 | trans(s699,s199) % 0.19/0.41 | trans(s699,s200) % 0.19/0.41 | trans(s699,s201) % 0.19/0.41 | trans(s699,s202) % 0.19/0.41 | trans(s699,s203) % 0.19/0.41 | trans(s699,s204) % 0.19/0.41 | trans(s699,s205) % 0.19/0.41 | trans(s699,s206) % 0.19/0.41 | trans(s699,s207) % 0.19/0.41 | trans(s699,s208) % 0.19/0.41 | trans(s699,s209) % 0.19/0.41 | trans(s699,s210) % 0.19/0.41 | trans(s699,s211) % 0.19/0.41 | trans(s699,s212) % 0.19/0.41 | trans(s699,s213) % 0.19/0.41 | trans(s699,s214) % 0.19/0.41 | trans(s699,s215) % 0.19/0.41 | trans(s699,s216) % 0.19/0.41 | trans(s699,s217) % 0.19/0.41 | trans(s699,s218) % 0.19/0.41 | trans(s699,s219) % 0.19/0.41 | trans(s699,s220) % 0.19/0.41 | trans(s699,s221) % 0.19/0.41 | trans(s699,s222) % 0.19/0.41 | trans(s699,s223) % 0.19/0.41 | trans(s699,s224) % 0.19/0.41 | trans(s699,s225) % 0.19/0.41 | trans(s699,s226) % 0.19/0.41 | trans(s699,s227) % 0.19/0.41 | trans(s699,s228) % 0.19/0.41 | trans(s699,s229) % 0.19/0.41 | trans(s699,s230) % 0.19/0.41 | trans(s699,s231) % 0.19/0.41 | trans(s699,s232) % 0.19/0.41 | trans(s699,s233) % 0.19/0.41 | trans(s699,s234) % 0.19/0.41 | trans(s699,s235) % 0.19/0.41 | trans(s699,s236) % 0.19/0.41 | trans(s699,s237) % 0.19/0.41 | trans(s699,s238) % 0.19/0.41 | trans(s699,s239) % 0.19/0.41 | trans(s699,s240) % 0.19/0.41 | trans(s699,s241) % 0.19/0.41 | trans(s699,s242) % 0.19/0.41 | trans(s699,s243) % 0.19/0.41 | trans(s699,s244) % 0.19/0.41 | trans(s699,s245) % 0.19/0.41 | trans(s699,s246) % 0.19/0.41 | trans(s699,s247) % 0.19/0.41 | trans(s699,s248) % 0.19/0.41 | trans(s699,s249) % 0.19/0.41 | trans(s699,s250) % 0.19/0.41 | trans(s699,s251) % 0.19/0.41 | trans(s699,s252) % 0.19/0.41 | trans(s699,s253) % 0.19/0.41 | trans(s699,s254) % 0.19/0.41 | trans(s699,s255) % 0.19/0.41 | trans(s699,s256) % 0.19/0.41 | trans(s699,s257) % 0.19/0.41 | trans(s699,s258) % 0.19/0.41 | trans(s699,s259) % 0.19/0.41 | trans(s699,s260) % 0.19/0.41 | trans(s699,s261) % 0.19/0.41 | trans(s699,s262) % 0.19/0.41 | trans(s699,s263) % 0.19/0.41 | trans(s699,s264) % 0.19/0.41 | trans(s699,s265) % 0.19/0.41 | trans(s699,s266) % 0.19/0.41 | trans(s699,s267) % 0.19/0.41 | trans(s699,s268) % 0.19/0.41 | trans(s699,s269) % 0.19/0.41 | trans(s699,s270) % 0.19/0.41 | trans(s699,s271) % 0.19/0.41 | trans(s699,s272) % 0.19/0.41 | trans(s699,s273) % 0.19/0.41 | trans(s699,s274) % 0.19/0.41 | trans(s699,s275) % 0.19/0.41 | trans(s699,s276) % 0.19/0.41 | trans(s699,s277) % 0.19/0.41 | trans(s699,s278) % 0.19/0.41 | trans(s699,s279) % 0.19/0.41 | trans(s699,s280) % 0.19/0.41 | trans(s699,s281) % 0.19/0.41 | trans(s699,s282) % 0.19/0.41 | trans(s699,s283) % 0.19/0.41 | trans(s699,s284) % 0.19/0.41 | trans(s699,s285) % 0.19/0.41 | trans(s699,s286) % 0.19/0.41 | trans(s699,s287) % 0.19/0.41 | trans(s699,s288) % 0.19/0.41 | trans(s699,s289) % 0.19/0.41 | trans(s699,s290) % 0.19/0.41 | trans(s699,s291) % 0.19/0.41 | trans(s699,s292) % 0.19/0.41 | trans(s699,s293) % 0.19/0.41 | trans(s699,s294) % 0.19/0.41 | trans(s699,s295) % 0.19/0.41 | trans(s699,s296) % 0.19/0.41 | trans(s699,s297) % 0.19/0.41 | trans(s699,s298) % 0.19/0.41 | trans(s699,s299) % 0.19/0.41 | trans(s699,s300) % 0.19/0.41 | trans(s699,s301) % 0.19/0.41 | trans(s699,s302) % 0.19/0.41 | trans(s699,s303) % 0.19/0.41 | trans(s699,s304) % 0.19/0.41 | trans(s699,s305) % 0.19/0.41 | trans(s699,s306) % 0.19/0.41 | trans(s699,s307) % 0.19/0.41 | trans(s699,s308) % 0.19/0.41 | trans(s699,s309) % 0.19/0.41 | trans(s699,s310) % 0.19/0.41 | trans(s699,s311) % 0.19/0.41 | trans(s699,s312) % 0.19/0.41 | trans(s699,s313) % 0.19/0.41 | trans(s699,s314) % 0.19/0.41 | trans(s699,s315) % 0.19/0.41 | trans(s699,s316) % 0.19/0.41 | trans(s699,s317) % 0.19/0.41 | trans(s699,s318) % 0.19/0.41 | trans(s699,s319) % 0.19/0.41 | trans(s699,s320) % 0.19/0.41 | trans(s699,s321) % 0.19/0.41 | trans(s699,s322) % 0.19/0.41 | trans(s699,s323) % 0.19/0.41 | trans(s699,s324) % 0.19/0.41 | trans(s699,s325) % 0.19/0.41 | trans(s699,s326) % 0.19/0.41 | trans(s699,s327) % 0.19/0.41 | trans(s699,s328) % 0.19/0.41 | trans(s699,s329) % 0.19/0.41 | trans(s699,s330) % 0.19/0.41 | trans(s699,s331) % 0.19/0.41 | trans(s699,s332) % 0.19/0.41 | trans(s699,s333) % 0.19/0.41 | trans(s699,s334) % 0.19/0.41 | trans(s699,s335) % 0.19/0.41 | trans(s699,s336) % 0.19/0.41 | trans(s699,s337) % 0.19/0.41 | trans(s699,s338) % 0.19/0.41 | trans(s699,s339) % 0.19/0.41 | trans(s699,s340) % 0.19/0.41 | trans(s699,s341) % 0.19/0.41 | trans(s699,s342) % 0.19/0.41 | trans(s699,s343) % 0.19/0.41 | trans(s699,s344) % 0.19/0.41 | trans(s699,s345) % 0.19/0.41 | trans(s699,s346) % 0.19/0.41 | trans(s699,s347) % 0.19/0.41 | trans(s699,s348) % 0.19/0.41 | trans(s699,s349) % 0.19/0.41 | trans(s699,s350) % 0.19/0.41 | trans(s699,s351) % 0.19/0.41 | trans(s699,s352) % 0.19/0.41 | trans(s699,s353) % 0.19/0.41 | trans(s699,s354) % 0.19/0.41 | trans(s699,s355) % 0.19/0.41 | trans(s699,s356) % 0.19/0.41 | trans(s699,s357) % 0.19/0.41 | trans(s699,s358) % 0.19/0.41 | trans(s699,s359) % 0.19/0.41 | trans(s699,s360) % 0.19/0.41 | trans(s699,s361) % 0.19/0.41 | trans(s699,s362) % 0.19/0.41 | trans(s699,s363) % 0.19/0.41 | trans(s699,s364) % 0.19/0.41 | trans(s699,s365) % 0.19/0.41 | trans(s699,s366) % 0.19/0.41 | trans(s699,s367) % 0.19/0.41 | trans(s699,s368) % 0.19/0.41 | trans(s699,s369) % 0.19/0.41 | trans(s699,s370) % 0.19/0.41 | trans(s699,s371) % 0.19/0.41 | trans(s699,s372) % 0.19/0.41 | trans(s699,s373) % 0.19/0.41 | trans(s699,s374) % 0.19/0.41 | trans(s699,s375) % 0.19/0.41 | trans(s699,s376) % 0.19/0.41 | trans(s699,s377) % 0.19/0.41 | trans(s699,s378) % 0.19/0.41 | trans(s699,s379) % 0.19/0.41 | trans(s699,s380) % 0.19/0.41 | trans(s699,s381) % 0.19/0.41 | trans(s699,s382) % 0.19/0.41 | trans(s699,s383) % 0.19/0.41 | trans(s699,s384) % 0.19/0.41 | trans(s699,s385) % 0.19/0.41 | trans(s699,s386) % 0.19/0.41 | trans(s699,s387) % 0.19/0.41 | trans(s699,s388) % 0.19/0.41 | trans(s699,s389) % 0.19/0.41 | trans(s699,s390) % 0.19/0.41 | trans(s699,s391) % 0.19/0.41 | trans(s699,s392) % 0.19/0.41 | trans(s699,s393) % 0.19/0.41 | trans(s699,s394) % 0.19/0.41 | trans(s699,s395) % 0.19/0.41 | trans(s699,s396) % 0.19/0.41 | trans(s699,s397) % 0.19/0.41 | trans(s699,s398) % 0.19/0.41 | trans(s699,s399) % 0.19/0.41 | trans(s699,s400) % 0.19/0.41 | trans(s699,s401) % 0.19/0.41 | trans(s699,s402) % 0.19/0.41 | trans(s699,s403) % 0.19/0.41 | trans(s699,s404) % 0.19/0.41 | trans(s699,s405) % 0.19/0.41 | trans(s699,s406) % 0.19/0.41 | trans(s699,s407) % 0.19/0.41 | trans(s699,s408) % 0.19/0.41 | trans(s699,s409) % 0.19/0.41 | trans(s699,s410) % 0.19/0.41 | trans(s699,s411) % 0.19/0.41 | trans(s699,s412) % 0.19/0.41 | trans(s699,s413) % 0.19/0.41 | trans(s699,s414) % 0.19/0.41 | trans(s699,s415) % 0.19/0.41 | trans(s699,s416) % 0.19/0.41 | trans(s699,s417) % 0.19/0.41 | trans(s699,s418) % 0.19/0.41 | trans(s699,s419) % 0.19/0.41 | trans(s699,s420) % 0.19/0.41 | trans(s699,s421) % 0.19/0.41 | trans(s699,s422) % 0.19/0.41 | trans(s699,s423) % 0.19/0.41 | trans(s699,s424) % 0.19/0.41 | trans(s699,s425) % 0.19/0.41 | trans(s699,s426) % 0.19/0.41 | trans(s699,s427) % 0.19/0.41 | trans(s699,s428) % 0.19/0.41 | trans(s699,s429) % 0.19/0.41 | trans(s699,s430) % 0.19/0.41 | trans(s699,s431) % 0.19/0.41 | trans(s699,s432) % 0.19/0.41 | trans(s699,s433) % 0.19/0.41 | trans(s699,s434) % 0.19/0.41 | trans(s699,s435) % 0.19/0.41 | trans(s699,s436) % 0.19/0.41 | trans(s699,s437) % 0.19/0.41 | trans(s699,s438) % 0.19/0.41 | trans(s699,s439) % 0.19/0.41 | trans(s699,s440) % 0.19/0.41 | trans(s699,s441) % 0.19/0.41 | trans(s699,s442) % 0.19/0.41 | trans(s699,s443) % 0.19/0.41 | trans(s699,s444) % 0.19/0.41 | trans(s699,s445) % 0.19/0.41 | trans(s699,s446) % 0.19/0.41 | trans(s699,s447) % 0.19/0.41 | trans(s699,s448) % 0.19/0.41 | trans(s699,s449) % 0.19/0.41 | trans(s699,s450) % 0.19/0.41 | trans(s699,s451) % 0.19/0.41 | trans(s699,s452) % 0.19/0.41 | trans(s699,s453) % 0.19/0.41 | trans(s699,s454) % 0.19/0.41 | trans(s699,s455) % 0.19/0.41 | trans(s699,s456) % 0.19/0.41 | trans(s699,s457) % 0.19/0.41 | trans(s699,s458) % 0.19/0.41 | trans(s699,s459) % 0.19/0.41 | trans(s699,s460) % 0.19/0.41 | trans(s699,s461) % 0.19/0.41 | trans(s699,s462) % 0.19/0.41 | trans(s699,s463) % 0.19/0.41 | trans(s699,s464) % 0.19/0.41 | trans(s699,s465) % 0.19/0.41 | trans(s699,s466) % 0.19/0.41 | trans(s699,s467) % 0.19/0.41 | trans(s699,s468) % 0.19/0.41 | trans(s699,s469) % 0.19/0.41 | trans(s699,s470) % 0.19/0.41 | trans(s699,s471) % 0.19/0.41 | trans(s699,s472) % 0.19/0.41 | trans(s699,s473) % 0.19/0.41 | trans(s699,s474) % 0.19/0.41 | trans(s699,s475) % 0.19/0.41 | trans(s699,s476) % 0.19/0.41 | trans(s699,s477) % 0.19/0.41 | trans(s699,s478) % 0.19/0.41 | trans(s699,s479) % 0.19/0.41 | trans(s699,s480) % 0.19/0.41 | trans(s699,s481) % 0.19/0.41 | trans(s699,s482) % 0.19/0.41 | trans(s699,s483) % 0.19/0.41 | trans(s699,s484) % 0.19/0.41 | trans(s699,s485) % 0.19/0.41 | trans(s699,s486) % 0.19/0.41 | trans(s699,s487) % 0.19/0.41 | trans(s699,s488) % 0.19/0.41 | trans(s699,s489) % 0.19/0.41 | trans(s699,s490) % 0.19/0.41 | trans(s699,s491) % 0.19/0.41 | trans(s699,s492) % 0.19/0.41 | trans(s699,s493) % 0.19/0.41 | trans(s699,s494) % 0.19/0.41 | trans(s699,s495) % 0.19/0.41 | trans(s699,s496) % 0.19/0.41 | trans(s699,s497) % 0.19/0.41 | trans(s699,s498) % 0.19/0.41 | ***HERE*** trans(s699,s499) % 0.19/0.41 | trans(s699,s500) % 0.19/0.41 | trans(s699,s501) % 0.19/0.41 | trans(s699,s502) % 0.19/0.41 | trans(s699,s503) % 0.19/0.41 | trans(s699,s504) % 0.19/0.41 | trans(s699,s505) % 0.19/0.41 | trans(s699,s506) % 0.19/0.41 | trans(s699,s507) % 0.19/0.41 | trans(s699,s508) % 0.19/0.41 | trans(s699,s509) % 0.19/0.41 | trans(s699,s510) % 0.19/0.41 | trans(s699,s511) % 0.19/0.41 | trans(s699,s512) % 0.19/0.41 | trans(s699,s513) % 0.19/0.41 | trans(s699,s514) % 0.19/0.41 | trans(s699,s515) % 0.19/0.41 | trans(s699,s516) % 0.19/0.41 | trans(s699,s517) % 0.19/0.41 | trans(s699,s518) % 0.19/0.41 | trans(s699,s519) % 0.19/0.41 | trans(s699,s520) % 0.19/0.41 | trans(s699,s521) % 0.19/0.41 | trans(s699,s522) % 0.19/0.41 | trans(s699,s523) % 0.19/0.41 | trans(s699,s524) % 0.19/0.41 | trans(s699,s525) % 0.19/0.41 | trans(s699,s526) % 0.19/0.41 | trans(s699,s527) % 0.19/0.41 | trans(s699,s528) % 0.19/0.41 | trans(s699,s529) % 0.19/0.41 | trans(s699,s530) % 0.19/0.41 | trans(s699,s531) % 0.19/0.41 | trans(s699,s532) % 0.19/0.41 | trans(s699,s533) % 0.19/0.41 | trans(s699,s534) % 0.19/0.41 | trans(s699,s535) % 0.19/0.41 | trans(s699,s536) % 0.19/0.41 | trans(s699,s537) % 0.19/0.41 | trans(s699,s538) % 0.19/0.41 | trans(s699,s539) % 0.19/0.41 | trans(s699,s540) % 0.19/0.41 | trans(s699,s541) % 0.19/0.41 | trans(s699,s542) % 0.19/0.41 | trans(s699,s543) % 0.19/0.41 | trans(s699,s544) % 0.19/0.41 | trans(s699,s545) % 0.19/0.41 | trans(s699,s546) % 0.19/0.41 | trans(s699,s547) % 0.19/0.41 | trans(s699,s548) % 0.19/0.41 | trans(s699,s549) % 0.19/0.41 | trans(s699,s550) % 0.19/0.41 | trans(s699,s551) % 0.19/0.41 | trans(s699,s552) % 0.19/0.41 | trans(s699,s553) % 0.19/0.41 | trans(s699,s554) % 0.19/0.41 | trans(s699,s555) % 0.19/0.41 | trans(s699,s556) % 0.19/0.41 | trans(s699,s557) % 0.19/0.41 | trans(s699,s558) % 0.19/0.41 | trans(s699,s559) % 0.19/0.41 | trans(s699,s560) % 0.19/0.41 | trans(s699,s561) % 0.19/0.41 | trans(s699,s562) % 0.19/0.41 | trans(s699,s563) % 0.19/0.41 | trans(s699,s564) % 0.19/0.41 | trans(s699,s565) % 0.19/0.41 | trans(s699,s566) % 0.19/0.41 | trans(s699,s567) % 0.19/0.41 | trans(s699,s568) % 0.19/0.41 | trans(s699,s569) % 0.19/0.41 | trans(s699,s570) % 0.19/0.41 | trans(s699,s571) % 0.19/0.41 | trans(s699,s572) % 0.19/0.41 | trans(s699,s573) % 0.19/0.41 | trans(s699,s574) % 0.19/0.41 | trans(s699,s575) % 0.19/0.41 | trans(s699,s576) % 0.19/0.41 | trans(s699,s577) % 0.19/0.41 | trans(s699,s578) % 0.19/0.41 | trans(s699,s579) % 0.19/0.41 | trans(s699,s580) % 0.19/0.41 | trans(s699,s581) % 0.19/0.41 | trans(s699,s582) % 0.19/0.41 | trans(s699,s583) % 0.19/0.41 | trans(s699,s584) % 0.19/0.41 | trans(s699,s585) % 0.19/0.41 | trans(s699,s586) % 0.19/0.41 | trans(s699,s587) % 0.19/0.41 | trans(s699,s588) % 0.19/0.41 | trans(s699,s589) % 0.19/0.41 | trans(s699,s590) % 0.19/0.41 | trans(s699,s591) % 0.19/0.41 | trans(s699,s592) % 0.19/0.41 | trans(s699,s593) % 0.19/0.41 | trans(s699,s594) % 0.19/0.41 | trans(s699,s595) % 0.19/0.41 | trans(s699,s596) % 0.19/0.41 | trans(s699,s597) % 0.19/0.41 | trans(s699,s598) % 0.19/0.41 | trans(s699,s599) % 0.19/0.41 | trans(s699,s600) % 0.19/0.41 | trans(s699,s601) % 0.19/0.41 | trans(s699,s602) % 0.19/0.41 | trans(s699,s603) % 0.19/0.41 | trans(s699,s604) % 0.19/0.41 | trans(s699,s605) % 0.19/0.41 | trans(s699,s606) % 0.19/0.41 | trans(s699,s607) % 0.19/0.41 | trans(s699,s608) % 0.19/0.41 | trans(s699,s609) % 0.19/0.41 | trans(s699,s610) % 0.19/0.42 | trans(s699,s611) % 0.19/0.42 | trans(s699,s612) % 0.19/0.42 | trans(s699,s613) % 0.19/0.42 | trans(s699,s614) % 0.19/0.42 | trans(s699,s615) % 0.19/0.42 | trans(s699,s616) % 0.19/0.42 | trans(s699,s617) % 0.19/0.42 | trans(s699,s618) % 0.19/0.42 | trans(s699,s619) % 0.19/0.42 | trans(s699,s620) % 0.19/0.42 | trans(s699,s621) % 0.19/0.42 | trans(s699,s622) % 0.19/0.42 | trans(s699,s623) % 0.19/0.42 | trans(s699,s624) % 0.19/0.42 | trans(s699,s625) % 0.19/0.42 | trans(s699,s626) % 0.19/0.42 | trans(s699,s627) % 0.19/0.42 | trans(s699,s628) % 0.19/0.42 | trans(s699,s629) % 0.19/0.42 | trans(s699,s630) % 0.19/0.42 | trans(s699,s631) % 0.19/0.42 | trans(s699,s632) % 0.19/0.42 | trans(s699,s633) % 0.19/0.42 | trans(s699,s634) % 0.19/0.42 | trans(s699,s635) % 0.19/0.42 | trans(s699,s636) % 0.19/0.42 | trans(s699,s637) % 0.19/0.42 | trans(s699,s638) % 0.19/0.42 | trans(s699,s639) % 0.19/0.42 | trans(s699,s640) % 0.19/0.42 | trans(s699,s641) % 0.19/0.42 | trans(s699,s642) % 0.19/0.42 | trans(s699,s643) % 0.19/0.42 | trans(s699,s644) % 0.19/0.42 | trans(s699,s645) % 0.19/0.42 | trans(s699,s646) % 0.19/0.42 | trans(s699,s647) % 0.19/0.42 | trans(s699,s648) % 0.19/0.42 | trans(s699,s649) % 0.19/0.42 | trans(s699,s650) % 0.19/0.42 | trans(s699,s651) % 0.19/0.42 | trans(s699,s652) % 0.19/0.42 | trans(s699,s653) % 0.19/0.42 | trans(s699,s654) % 0.19/0.42 | trans(s699,s655) % 0.19/0.42 | trans(s699,s656) % 0.19/0.42 | trans(s699,s657) % 0.19/0.42 | trans(s699,s658) % 0.19/0.42 | trans(s699,s659) % 0.19/0.42 | trans(s699,s660) % 0.19/0.42 | trans(s699,s661) % 0.19/0.42 | trans(s699,s662) % 0.19/0.42 | trans(s699,s663) % 0.19/0.42 | trans(s699,s664) % 0.19/0.42 | trans(s699,s665) % 0.19/0.42 | trans(s699,s666) % 0.19/0.42 | trans(s699,s667) % 0.19/0.42 | trans(s699,s668) % 0.19/0.42 | trans(s699,s669) % 0.19/0.42 | trans(s699,s670) % 0.19/0.42 | trans(s699,s671) % 0.19/0.42 | trans(s699,s672) % 0.19/0.42 | trans(s699,s673) % 0.19/0.42 | trans(s699,s674) % 0.19/0.42 | trans(s699,s675) % 0.19/0.42 | trans(s699,s676) % 0.19/0.42 | trans(s699,s677) % 0.19/0.42 | trans(s699,s678) % 0.19/0.42 | trans(s699,s679) % 0.19/0.42 | trans(s699,s680) % 0.19/0.42 | trans(s699,s681) % 0.19/0.42 | trans(s699,s682) % 0.19/0.42 | trans(s699,s683) % 0.19/0.42 | trans(s699,s684) % 0.19/0.42 | trans(s699,s685) % 0.19/0.42 | trans(s699,s686) % 0.19/0.42 | trans(s699,s687) % 0.19/0.42 | trans(s699,s688) % 0.19/0.42 | trans(s699,s689) % 0.19/0.42 | trans(s699,s690) % 0.19/0.42 | trans(s699,s691) % 0.19/0.42 | trans(s699,s692) % 0.19/0.42 | trans(s699,s693) % 0.19/0.42 | trans(s699,s694) % 0.19/0.42 | trans(s699,s695) % 0.19/0.42 | trans(s699,s696) % 0.19/0.42 | trans(s699,s697) % 0.19/0.42 | trans(s699,s698) % 0.19/0.42 | trans(s699,s699) ). % 0.19/0.42 % 0.19/0.42 ======= end of input processing ======= % 0.19/0.42 % 0.19/0.42 1 input errors were found. % 0.19/0.42 % 0.19/0.42 1 input errors were found. %------------------------------------------------------------------------------