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(6,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(16,21). next(21,22). next(22,23). next(23,24). next(24,25). next(15,26). next(26,27). next(27,28). next(28,29). next(29,30). next(30,31). next(31,32). next(32,33). next(33,34). next(34,35). next(35,36). next(32,37). next(37,38). next(38,39). next(39,40). next(40,41). next(28,42). next(42,43). next(43,44). next(44,45). next(45,46). next(46,47). next(47,48). next(48,49). next(45,50). next(50,51). next(51,52). next(52,53). next(53,54). doAt(startflow,4). doAt(a3,5). doAt(a5,6). doAt(a22,7). doAt(a4,8). doAt(endflow,9). doAt(a8,11). doAt(a17,12). doAt(a18,13). doAt(a11,14). doAt(a15,15). doAt(a20,16). doAt(a9,17). doAt(a4,18). doAt(endflow,19). doAt(a25,21). doAt(a16,22). doAt(a4,23). doAt(endflow,24). doAt(a24,26). doAt(a13,27). doAt(a1,28). doAt(a21,29). doAt(a14,30). doAt(a6,31). doAt(a19,32). doAt(a2,33). doAt(a4,34). doAt(endflow,35). doAt(a23,37). doAt(a12,38). doAt(a4,39). doAt(endflow,40). doAt(a10,42). doAt(a14,43). doAt(a6,44). doAt(a19,45). doAt(a2,46). doAt(a4,47). doAt(endflow,48). doAt(a23,50). doAt(a12,51). doAt(a4,52). doAt(endflow,53). leftrightnexts(17,21). leftrightnexts(33,37). leftrightnexts(46,50). leftrightnexts(29,42). leftrightnexts(16,26). leftrightnexts(7,11).