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(21,25). next(25,26). next(26,27). next(27,28). next(20,29). next(29,30). next(30,31). next(31,32). doAt(startflow,8). doAt(a7,9). doAt(a8,11). doAt(a11,13). doAt(a13,15). doAt(a9,16). doAt(a15,18). doAt(a1,19). doAt(a6,20). doAt(a3,21). doAt(a5,22). doAt(endflow,23). doAt(a4,25). doAt(a12,26). doAt(endflow,27). doAt(a14,29). doAt(a2,30). doAt(endflow,31). compAt(a11,x18,10). subsAt(a11,12). subsAt(a13,14). subsAt(a15,17). leftrightnexts(22,25). leftrightnexts(21,29).