---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs 1219 ops and 41741 exclusive pairs time: 6, 405 facts and 1287 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs 1219 ops and 41741 exclusive pairs time: 6, 405 facts and 1287 exclusive pairs 1522 ops and 55256 exclusive pairs time: 7, 465 facts and 1012 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs 1219 ops and 41741 exclusive pairs time: 6, 405 facts and 1287 exclusive pairs 1522 ops and 55256 exclusive pairs time: 7, 465 facts and 1012 exclusive pairs 1768 ops and 62436 exclusive pairs time: 8, 512 facts and 698 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs 1219 ops and 41741 exclusive pairs time: 6, 405 facts and 1287 exclusive pairs 1522 ops and 55256 exclusive pairs time: 7, 465 facts and 1012 exclusive pairs 1768 ops and 62436 exclusive pairs time: 8, 512 facts and 698 exclusive pairs 1949 ops and 64472 exclusive pairs time: 9, 537 facts and 249 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs 1219 ops and 41741 exclusive pairs time: 6, 405 facts and 1287 exclusive pairs 1522 ops and 55256 exclusive pairs time: 7, 465 facts and 1012 exclusive pairs 1768 ops and 62436 exclusive pairs time: 8, 512 facts and 698 exclusive pairs 1949 ops and 64472 exclusive pairs time: 9, 537 facts and 249 exclusive pairs 2044 ops and 61857 exclusive pairs time: 10, 550 facts and 77 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs 1219 ops and 41741 exclusive pairs time: 6, 405 facts and 1287 exclusive pairs 1522 ops and 55256 exclusive pairs time: 7, 465 facts and 1012 exclusive pairs 1768 ops and 62436 exclusive pairs time: 8, 512 facts and 698 exclusive pairs 1949 ops and 64472 exclusive pairs time: 9, 537 facts and 249 exclusive pairs 2044 ops and 61857 exclusive pairs time: 10, 550 facts and 77 exclusive pairs 2089 ops and 61426 exclusive pairs time: 11, 557 facts and 34 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 16675 VARS, 326953 CLAUSES. time spent: 0.00 seconds instantiating 11484 action templates 0.01 seconds reachability analysis, yielding 570 facts and 1566 actions 0.00 seconds collecting 561 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.95 seconds CNF output time 1.96 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 16675 pure lits : 548 1-clauses : 57 2-clauses : 323270 3-clauses : 470 n-clauses : 3156 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1485059 conflicts : 164028 time : ~52.44 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 22 exclusive pairs time: 1, 77 facts and 24 exclusive pairs 171 ops and 525 exclusive pairs time: 2, 121 facts and 104 exclusive pairs 353 ops and 3133 exclusive pairs time: 3, 176 facts and 289 exclusive pairs 580 ops and 9267 exclusive pairs time: 4, 250 facts and 760 exclusive pairs 883 ops and 23458 exclusive pairs time: 5, 331 facts and 1192 exclusive pairs 1219 ops and 41741 exclusive pairs time: 6, 405 facts and 1287 exclusive pairs 1522 ops and 55256 exclusive pairs time: 7, 465 facts and 1012 exclusive pairs 1768 ops and 62436 exclusive pairs time: 8, 512 facts and 698 exclusive pairs 1949 ops and 64472 exclusive pairs time: 9, 537 facts and 249 exclusive pairs 2044 ops and 61857 exclusive pairs time: 10, 550 facts and 77 exclusive pairs 2089 ops and 61426 exclusive pairs time: 11, 557 facts and 34 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 16675 VARS, 326953 CLAUSES. time spent: 0.00 seconds instantiating 11484 action templates 0.01 seconds reachability analysis, yielding 570 facts and 1566 actions 0.00 seconds collecting 561 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.80 seconds CNF output time 1.81 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 58.21 User Time: = 58.06 Syst Time: = 0.29