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