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(20,24). next(24,25). next(25,26). next(26,27). next(27,28). next(28,29). next(29,30). next(30,31). next(31,32). next(32,33). next(9,34). next(34,35). next(35,36). next(36,37). next(37,38). next(38,39). next(39,40). next(40,41). next(41,42). next(42,43). next(43,44). next(44,45). next(45,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(56,57). next(54,58). next(58,59). next(59,60). next(60,61). next(61,62). next(62,63). next(63,64). next(64,65). next(65,66). next(66,67). doAt(startflow,8). doAt(a24,9). doAt(a12,12). doAt(a16,15). doAt(a3,17). doAt(a6,19). doAt(a14,20). doAt(a22,21). doAt(endflow,22). doAt(a7,24). doAt(a21,25). doAt(a11,26). doAt(a23,27). doAt(a15,28). doAt(a9,29). doAt(a2,30). doAt(a17,31). doAt(endflow,32). doAt(a5,34). doAt(a25,36). doAt(a19,39). doAt(a20,40). doAt(a13,41). doAt(a4,43). doAt(a8,44). doAt(a10,45). doAt(a18,46). doAt(a16,49). doAt(a3,51). doAt(a6,53). doAt(a14,54). doAt(a22,55). doAt(endflow,56). doAt(a7,58). doAt(a21,59). doAt(a11,60). doAt(a23,61). doAt(a15,62). doAt(a9,63). doAt(a2,64). doAt(a17,65). doAt(endflow,66). compAt(a3,x6,10). compAt(a16,x6,11). compAt(a6,x14,14). compAt(a6,x14,35). compAt(a3,x17,37). compAt(a16,x17,38). compAt(a6,x10,42). compAt(a12,x7,48). subsAt(a16,13). subsAt(a3,16). subsAt(a6,18). subsAt(a16,47). subsAt(a3,50). subsAt(a6,52). leftrightnexts(21,24). leftrightnexts(55,58). leftrightnexts(10,34).