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