next(1,2). next(2,3). next(3,4). next(4,5). next(5,6). next(6,7). next(7,8). next(8,9). next(9,10). next(10,11). next(11,12). next(12,13). next(13,14). next(14,15). next(15,16). next(16,17). next(17,18). next(18,19). next(19,20). next(20,21). next(21,22). next(22,23). next(23,24). next(21,25). next(25,26). next(26,27). next(27,28). next(28,29). next(29,30). next(30,31). next(31,32). next(29,33). next(33,34). next(34,35). next(27,36). next(36,37). next(37,38). next(38,39). next(39,40). next(40,41). next(41,42). next(39,43). next(43,44). next(44,45). next(26,46). next(46,47). next(47,48). next(48,49). next(49,50). next(50,51). next(51,52). next(52,53). next(53,54). next(54,55). next(55,56). next(53,57). next(57,58). next(58,59). doAt(startflow,7). doAt(a8,11). doAt(a13,14). doAt(a14,17). doAt(a6,19). doAt(a15,20). doAt(a5,21). doAt(a18,22). doAt(endflow,23). doAt(a2,25). doAt(a16,26). doAt(a1,27). doAt(a25,28). doAt(a21,29). doAt(a17,30). doAt(endflow,31). doAt(a20,33). doAt(endflow,34). doAt(a12,36). doAt(a9,37). doAt(a22,38). doAt(a21,39). doAt(a17,40). doAt(endflow,41). doAt(a20,43). doAt(endflow,44). doAt(a11,46). doAt(a3,47). doAt(a10,48). doAt(a7,49). doAt(a4,50). doAt(a19,51). doAt(a23,52). doAt(a21,53). doAt(a17,54). doAt(endflow,55). doAt(a20,57). doAt(endflow,58). compAt(a6,x12,8). compAt(a13,x12,9). compAt(a8,x12,10). compAt(a15,x13,12). compAt(a6,x13,13). compAt(a6,x20,15). compAt(a15,x11,16). compAt(a6,x12,18). leftrightnexts(30,33). leftrightnexts(40,43). leftrightnexts(28,36). leftrightnexts(54,57). leftrightnexts(27,46). leftrightnexts(22,25).