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(24,25). next(25,26). next(26,27). next(24,28). next(28,29). next(29,30). next(30,31). next(28,32). next(32,33). next(33,34). next(34,35). next(23,36). next(36,37). next(21,38). next(38,39). next(39,40). next(40,41). next(41,42). next(42,43). next(40,44). next(44,45). next(45,46). next(46,47). next(44,48). next(48,49). next(49,50). next(50,51). next(39,52). next(52,53). next(19,54). next(54,55). next(55,56). next(56,57). next(57,58). next(58,59). next(59,60). next(60,61). next(61,62). next(62,63). next(60,64). next(64,65). next(65,66). next(66,67). next(64,68). next(68,69). next(69,70). next(70,71). next(59,72). next(72,73). next(57,74). next(74,75). next(75,76). next(76,77). next(77,78). next(78,79). next(76,80). next(80,81). next(81,82). next(82,83). next(80,84). next(84,85). next(85,86). next(86,87). next(75,88). next(88,89). doAt(startflow,7). doAt(a19,9). doAt(a23,10). doAt(a2,11). doAt(a14,12). doAt(a16,14). doAt(a3,15). doAt(a12,16). doAt(a21,17). doAt(a8,18). doAt(a6,19). doAt(a15,20). doAt(a5,21). doAt(a25,22). doAt(a11,23). doAt(a20,24). doAt(a10,25). doAt(endflow,26). doAt(a7,28). doAt(a24,29). doAt(endflow,30). doAt(a9,32). doAt(a22,33). doAt(endflow,34). doAt(endflow,36). doAt(a17,38). doAt(a11,39). doAt(a20,40). doAt(a10,41). doAt(endflow,42). doAt(a7,44). doAt(a24,45). doAt(endflow,46). doAt(a9,48). doAt(a22,49). doAt(endflow,50). doAt(endflow,52). doAt(a13,54). doAt(a4,55). doAt(a18,56). doAt(a5,57). doAt(a25,58). doAt(a11,59). doAt(a20,60). doAt(a10,61). doAt(endflow,62). doAt(a7,64). doAt(a24,65). doAt(endflow,66). doAt(a9,68). doAt(a22,69). doAt(endflow,70). doAt(endflow,72). doAt(a17,74). doAt(a11,75). doAt(a20,76). doAt(a10,77). doAt(endflow,78). doAt(a7,80). doAt(a24,81). doAt(endflow,82). doAt(a9,84). doAt(a22,85). doAt(endflow,86). doAt(endflow,88). compAt(a14,x12,8). compAt(a16,x20,13). leftrightnexts(29,32). leftrightnexts(25,28). leftrightnexts(24,36). leftrightnexts(45,48). leftrightnexts(41,44). leftrightnexts(40,52). leftrightnexts(22,38). leftrightnexts(65,68). leftrightnexts(61,64). leftrightnexts(60,72). leftrightnexts(81,84). leftrightnexts(77,80). leftrightnexts(76,88). leftrightnexts(58,74). leftrightnexts(20,54).