> ../../scheduler/isp -n 9 ./mlife2d
ISP - Insitu Partial Order
-----------------------------------------
Executable:     ./mlife2d
Arguments:      
Number Procs:   9
Server:         localhost:9999
Blocking Sends: Disabled
-----------------------------------------
Started Process: 19047
# Iteration 0
  1: ** ****      ****   *  
  2: *        *             
  3: * *   **  **  **    *  
  4:  *       ***     *   * 
  5:  *             * *     
  6:  *        *            
  7:           **           
  8:  *    *  *        *    
   **   ***     ***    
* ***   ** ** *    *  *
  * *     **     ** ** 
   * ****  * *   **    
  *  ***   * *  *      
***  *           *** * 
  ** **      * *       
* *               * *  
 ***              **  * 
  * **  **   *    **   *
* ****   *   ** ** *   *
 ***       ** *  *  * **
 *****    *     **   * *
 *    * * * * *      * *
 ** * *** * * *  ****   
 * *  * ** ** *         
  9: *       * **     *** **
 10: * *        *  *  * **  
 11: *      * * **       * *
 12: *         *   * **     
 13:  *    *          *  *  
 14:  *            ***      
 15:       *           * *  
 16: *        *   *** *     
  ***    *        * *  
  *    * *        * *  
**** * * *     ** **** 
 *** **         **   * 
 ***          *  *   **
  *** * *      *      *
  *   *      **      * 
*           *  *     **
   **   * * * *        *
      *  * *          * 
         * *          * 
         ***           *
      *    *  *        *
      * ** ***   **     
* *** **** ***        **
          * *  ****     
 17: *     ****       * *   
 18: * *     *        *     
 19: *      **     *  *    *
 20:  **   *      **        
 21:               * *   * *
 22:  *    *         *    **
 23:                     * *
 24:        *       ** **   
 25: ******* **   ****    * 
**          **    *  * 
 *     * ** **       * 
 *   * **    *    * *  
     * *      **    *  
    *                  
 *        *    ***     
    **    **  * *      
          * * ***      
*** ** *    *   * * *  
   *   * *  * * *      *
   * * * * *    ***    *
   * * * * *    **    **
    * *    *    ***     
          **    ****   *
           *     *     *
        **      ** **  *
  *       *       ** ** 
** **  ********* **   * 
# Iteration 1
  1: **  **        **       
  2: * ***  *  *  *  *      
  3: *       *  *           
  4: ***      * *  **       
  5: ***      * *    *      
  6:           **           
  7:          ***           
  8:          *       ***  *
  * *   * **     **    
 **  *  *   *   *  ****
 **   *      *   *  ***
  **    *  *    * **   
  **    *       *  *   
       *    * * ***    
*  ****          *  *  
     *                 
 ****             **    
*    *  **   **     * **
*    *  ***   **** **  *
*         *** *     ** *
*   **   ** *  ***  ** *
*     * * *    **  * *  
** *  *   * * **  ***   
 *    *     * **  **    
  9: *        ***     *   **
 10: *       **       *     
 11: *          *** ******* 
 12: **        **    **   * 
 13: **            *  *     
 14:                *** *   
 15:              *   *     
 16:       *  *    * ** *   
  *     *        ** ** 
      *  **       *    
*    * *       ** *  * 
     **            *   
      **       * *   **
    ** *     * *       
 **  * *     ***     * 
*           *       ** 
  ****  *   *           
        ** **         **
        ** **         **
         * **         **
       **    *          
*  *  *  *    *       **
*  * **       *         
  * * *   *   ****    **
 17: *      * *    *  *     
 18: *     *         **     
 19: * *    **    **        
 20:  *     *     **      * 
 21:  **          **       *
 22:                *    * *
 23:                *** ** *
 24:  ********       ** ****
 25:  ********     * **     
**            *     ** 
 **   ** * *  *    *** 
*      * *  **     *** 
*   ** **     *    *   
*             *        
    **    **   ***     
*        **  **        
** *  *   * * * *      
 *         * *  **     
    * *  *  **          
  **   * * **     *    *
   * * *   **  *      **
    ***    **  *   *  **
          ***      *    
         * *        * **
         **     ** *** *
 ***   *    ****     ***
 ***    *******  *** ** 
# Iteration 2
  1: *** **        **       
  2: * ****        **       
  3: *       ** ** **       
  4:   *     ** **  *       
  5: * *      * **  *       
  6:  *          *          
  7:          * *      *    
  8:         *        **  **
 ***     * *     ******
     * * * **   *  *   
       *    *   **     
       *        * ** * 
  **   **       *  *  *
  *  ***       ** **  *
    ***         ***    
*  * **          ***** 
*****              *    
  ** *  * *  ** **  ****
 *      *   *   *  *   *
**  **  *   * *   *    *
**   *      ***  * *    
*   * **  *  *       ** 
***  **  *       *      
**    **    * **  * *   
  9:                 **   **
 10: **      **         *   
 11: *        * **  *   ****
 12:           ** **    * **
 13: **                     
 14:               ** *     
 15:               *        
 16:         *    *****     
         *       ***   
      ****      * * ** 
     * *         ***   
     *         * ** ***
    *  *      * *     *
    ** **    * *     * 
 *  **      ** *    ** 
* *            *       
  **** ***  *           
   **  *     *        **
             *       *  
       * * * *        **
       **** **          
*   *** *    **         
 ***  **     ** *       
    * **      ***       
 17:       ***              
 18: *     *      *****     
 19: *     ***    ***      *
 20: *      **   *  *       
 21:  **          * *       
 22:                *   **  
 23:   ******       * *     
 24:  *      *          *   
 25:  *      *      **** ***
* *          *        *
  *   **  * * *       *
*    *   ** ***   *  * 
**    ***     *    *   
*     *       * *      
         *** * **      
 *  **   *  ***  *     
 **      ** * * **     
 **        *** ***     
  * * ****  ******    **
  ** * *              **
  ** * **    *          
    ***      *        **
     *             ***  
         *  *     *   **
  *     *********  *    
 * *           *       *
 * *    ****   *  * ** *
# Iteration 3
  1: * *  *        **       
  2: * *  *          *      
  3:   * *   ** **   *      
  4:                **      
  5:   *     **   *         
  6:  *          *          
  7:                  **   *
  8:                 * *  * 
  *     *  **    ******
  *   *    **   *  * **
       *   **  **  **  
      **       ** ***  
  **    *       *    * 
  *     *      *   *   
   *           *     * 
*     *             * *
**  *               *** 
         *   * *********
** * * **  ** * * **** *
  * **     ** ** ***    
       *   ** *   *   * 
  * *  *    ***   *     
  *     *    **      *  
*        *   *          
  9:         **      **  ** 
 10: **      ***     * **   
 11: **      ** ****   **  *
 12: **        ** **    *  *
 13:              * *       
 14:               **       
 15:                  *     
 16:         *    ****      
*    *   *      *     *
      ** *      *   *  
     * *              *
    **         *    ***
    *  **     * **  *  
   *   **   ** **   ** 
 * ****     ** **   ***
* **        **       * 
 **  *      * *         
  *  ***    **        * 
        *    **      *  
       * * * **       * 
*    *    **            
******         *        
 ***    *       *       
 *  *       *           
 17:       * *              
 18:      *       *  *     *
 19: **    * *   *         *
 20: *     * *   *  **      
 21:  *             **      
 22:  *  ***        *       
 23:   ******        * ***  
 24:  * **** *      *   *** 
 25:                 ****** 
  **         **        
*     *  ** * *      **
*    *   ** * **       
 *   *****    *        
**    * ***  ** *      
     *   ***    **     
 **     *        *     
   *     **       *    
***       ****** *     
  * *        *   *    **
 *   *   *  *  **     **
  *    **               
   *   *            *** 
    ***            ***  
        **  * **  *  ** 
  *     *********     **
 * *         *     ** * 
         **           * 
# Iteration 4
  1:                *       
  2:   * **          *      
  3:  * *            **     
  4:    *      * *  **      
  5:                        
  6:                        
  7:                  **   *
  8:                 * **** 
           **    ***   
       *  *  * **      
       *   **         *
      ***         *  * 
  **    *       ***    
  *            **   *  
                    ***
*                     *
*               ***    *
  * *   *   *****      *
**** ** * **           *
 ***** ** *   * *    ** 
    ***                 
   *   **  *   *        
 * *    *               
* *         *           
  9:         * *    **   ** 
 10: **     *   *** **    **
 11:   *     *     ** *  *  
 12: **       ***   *  **   
 13:             ** *       
 14:               ***      
 15:              *         
 16:        *      ***      
     * **             *
     * *             * 
    ** **           * *
    ** **      **   * *
   ******    **  * *   
  **    *   *      *   
 *   ***   *   **      
     *         *    ***
 **  *      * *         
***  ***    *           
        *            ** 
*       ** * **         
* ** **   *** *         
     *                  
     *                  
**  *                   
 17:        *     *  *     *
 18:      **               *
 19: **   **     ** **     *
 20: *              **     *
 21: **    **      *        
 22:  *     *       * * *   
 23:  *             ** *  * 
 24:                *      *
 25:     **          ***  **
* **       *  *      **
**       ** *          
 *   *        **       
 *   *     *           
**         * ** **     
* *    *   *   ***     
  *     *  *    ***    
*  *     ** *** ***    
 **      ******        
******      **  *     **
 ***    *       *     **
  *   ***              *
   *** **          *  * 
    *****          *    
     * **   *   *  *   *
  *     * **    *  **  *
  *     *    * *      * 
                     *  
# Iteration 5
  1:                        
  2:   ***          ***     
  3:    *             *     
  4:   *            ***     
  5:                        
  6:                        
  7:                  ** ***
  8:                ** *    
           **   ***    
          *  *  ***   *
           **         *
      * *         *   *
  **    *      ** **   
  **           **  **  
                    * *
                       
             ** **      
  * ** * * ******     **
*     * * ***   *      *
        * **          * 
         *     *        
  ** ****               
 * *   **               
   *         *          
  9:            ** *        
 10:  *     *** ***   *    *
 11:   *     **   *   ***** 
 12:  *       ***** *  **   
 13:           ****         
 14:             *  **      
 15:              *         
 16:              ****      
       **            * 
     *               * 
                    *  
         *    ***  ** *
  *      *   **** *** *
  **    *   ***** *    
  * ****       **   ***
*** **        ***   *  
   * *     **           
  *  ***     *          
      * **  **          
**     *** * **         
**  ***  **** *         
     *     *            
*   **                  
                        
 17:        *      * *     *
 18:      * *    *****    * 
 19: **   **       ***    **
 20:      * *     *  *     *
 21: **    **      *       *
 22:  **   **      ** **   *
 23:               ** **    
 24:                *  *    
 25:                 **   **
  *       **        *  
          ** ***      *
 **       **           
 **         **  *      
  *       **  *  *     
* *       **  *        
* **    ** * **        
*  *    *     * * *    
 **      *    ** *     
     *                **
     ** *               
 *   **  *             *
   *     *              
   *     *        ***   
    **     *      **    
        *  **  **  ** **
         *          *** 
                        
# Iteration 6
  1:    *            *      
  2:   ***           **     
  3:     *             *    
  4:                 **     
  5:                 *      
  6:                      * 
  7:                 **** * 
  8:                ** ** * 
           **   * *    
          *  *  * *   *
           **     *  **
       *         ***  *
  **   *       ** * *  
  **           **** ** 
                   *** 
                     * 
                **      
*    *****            **
*    ** *     * *      *
*      **   *           
      *  **             
  *** *  *              
   *    *               
   *        *           
  9:         * **  ****     
 10:        * * *  *  * *** 
 11:  **    *        **  ** 
 12:         *        *     
 13:          *     **      
 14:               *        
 15:             **         
 16:              *  *      
                       
                    ** 
               *   ** *
             *  ***   *
  **    **  *     * * *
 ** *****   *     *    
      **           ****
* * *         * *  ** *
  ** *      **          
    ** **  * *          
**   *   **             
 *            *         
 *  **** *    *         
 *         **           
    **                  
    **                  
 17:       *     *    *    *
 18:      * *         *   * 
 19:     ** *    *    *   **
 20:      * *     *  *     *
 21: ***  *  *    ** **   **
 22: ***   **     *   **   *
 23:                    *   
 24:               **  *    
 25:                 **    *
* **      ****  *    * 
***      *    *        
 **       *    *       
   *        **         
  **      *   **       
* *           **       
* **    ** ****        
*  *    * *     **     
***           ****     
     **                 
    *  *              **
    ******              
  * *   ***        *    
   *      *       * *   
    *     ***    *   *  
          ***     *   **
                   ** **
                     *  
# Iteration 7
  1:   ***           **     
  2:   * *           **     
  3:     *             *    
  4:                 **     
  5:                 **     
  6:                 * * *  
  7:                **  * **
  8:               *    *   
           **          
          *  *    ** * 
           **        * 
                *   *  
  **           *    * *
  **           *  *    
                ****  *
                     * 
      ***               
*    *  **     ***    **
 *   *                **
*    *  *               
   * **  **             
  **** ****             
                        
   *        **          
  9:         ****  *      * 
 10:        * * *  *    * * 
 11:        *        ** * * 
 12:         *      * *     
 13:                **      
 14:              ***       
 15:             ***        
 16:              *        *
                    ** 
                   ****
                ***** *
                *** * *
 ****** **  **    *  * 
 ** **   *        *   *
  * *   *         *   *
* *        *** *   *  *
  ** **    * *          
**** *  **** *          
 *  *** ***             
 ** *   ***             
 **  **      *          
                        
*   **                  
                        
 17:       *         **     
 18:     ** *        ***  * 
 19:     ** **       **   * 
 20:  *   * **   *****      
 21: * *  *  *   ***** *  * 
 22: * *   **     ** ***  * 
 23:  *            *  * *   
 24:                ****    
 25:                ***    *
          *****     ** 
         *  ****       
   *         **        
 * *       * * *       
 ***           *       
*        ****          
* **    ******* *      
   *    * ***    *     
***            * *     
      *                 
    *                   
    * *   *             
    * *   *        *    
   **             ***   
         *  *    *** ** 
          * *     ***  *
           *       **  *
                    *** 
# Iteration 8
  1:   * *           **     
  2:   * **          * *    
  3:    *              *    
  4:                 * *    
  5:                *  *    
  6:                   **** 
  7:                ***** * 
  8:          **   *      **
           **          
          *  *      * *
           **      * * 
                    * *
  **           **  * * 
  **           *  *  * 
                ****   
                 *** **
      ****      *       
     *  **      *     **
**  *** **      *     **
*    *   *              
  **      *             
  ** * ** *             
  *     **              
  ***       **          
  9:         ** * ***       
 10:        * * *   *  *  **
 11:        *       ***     
 12:                * **    
 13:                        
 14:             *   *      
 15:             *  *       
 16:             ***        
                   *   
                 *     
                *      
  ****          *   * *
 *    * **        *  **
      ** *       *** **
* * **      *     ** **
 * *      *        ** *
*    **  * * **         
        *  *            
      *                 
    *   * *             
 *** *   *              
 *  * *                 
*                       
*    *                  
 17:      **         * *   *
 18:     *  **      *  *    
 19:              **   *    
 20:  *   *   *  *          
 21: * *  *  *         *   *
 22: * *   **    *      **  
 23:  *           **    *  *
 24:               *       *
 25:                *  *    
          *         ** 
          *    *       
  *                    
 * **       ** *       
** *          *        
*       *     **       
 ***    *              
   *    *     ** *     
***        *    *      
                        
                        
   **                   
    *             ***   
   ***           *   *  
           *     *   ** 
          * *    *     *
           *      *    *
                   **** 
# Iteration 9
  1:     **          **     
  2:   * **          * *    
  3:    **             **   
  4:                   **   
  5:                   * *  
  6:                *     * 
  7:                ***     
  8:         ***  *   ** ***
           **          
          *  *      ***
           **      *   
                   *   
  **           **  * * 
  **           *       
                *    **
                *     *
      ** *              
*   *     *    ***    **
 *  * **  *           **
* ** ** ***             
 ***  * * *             
 *  *  ** *             
 *     ***              
 *****  *** ***         
  9:            *** *       
 10:        * *  *    *     
 11:         *     **       
 12:                * **    
 13:                 **     
 14:                        
 15:            ** **       
 16:             ****       
                 * ** *
                       
   **           **     
  ****           *    *
  *** * **        *    
 *    ** *       *     
 ******          *     
*****      *      *    
   ***    ** **         
     ***  * *           
       * *              
* ****   *              
 *** *   *              
 * ***                  
 *   *                  
*                       
 17:      ***     *** *     
 18:      ***      **  **   
 19:         *    **        
 20:  *           *         
 21: * *  * **          *  *
 22: * *   **     *    **** 
 23:  *           **    ****
 24:              ***      *
 25:                        
         ***       ****
                       
  **          *        
 * **        **        
 * **                  
   *          **       
 ***   ***      *      
   *           **      
***            **      
                        
                        
   **              *    
                  ***   
   ***           * * ** 
    *      *    ***  ** 
          * *    **    *
           *      **** *
                   **** 
[0] Life finished in 13.379840 secs of calculation
No resource leaks detected, 158 MPI calls made
No resource leaks detected, 178 MPI calls made
No resource leaks detected, 158 MPI calls made
No resource leaks detected, 178 MPI calls made
No resource leaks detected, 178 MPI calls made
No resource leaks detected, 158 MPI calls made
No resource leaks detected, 198 MPI calls made
INTERLEAVING :1

Transition list for 0
0 1 0 0 Bcast 0{[0, 1]} {}
1 10 1 0 Bcast 0{[0, 2]} {}
2 19 2 0 Comm_dup 1{[0, 3]} {}
3 28 3 0 Comm_dup 2{[0, 154]} {}
4 37 4 0 Isend 1 0 4{[0, 6][0, 19][0, 34][0, 49][0, 64][0, 79][0, 94][0, 109][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :5
5 46 5 0 Irecv 1 0 5{[0, 6][0, 20][0, 35][0, 50][0, 65][0, 80][0, 95][0, 110][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :4
6 55 6 0 WaitAll{[0, 7][0, 8][0, 9][0, 10][0, 19][0, 20][0, 22][0, 23][0, 34][0, 35][0, 37][0, 38][0, 49][0, 50][0, 52][0, 53][0, 64][0, 65][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
7 70 7 0 Isend 3 0 7{[0, 9][0, 22][0, 37][0, 52][0, 67][0, 82][0, 97][0, 112][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :8
8 71 8 0 Irecv 3 0 8{[0, 9][0, 23][0, 38][0, 53][0, 68][0, 83][0, 98][0, 113][0, 128][0, 143][0, 157]No resource leaks detected, 178 MPI calls made
No resource leaks detected, 158 MPI calls made
} {}	 Matched with  process :3 transition :7
9 72 9 0 WaitAll{[0, 10][0, 19][0, 20][0, 21][0, 22][0, 23][0, 34][0, 35][0, 37][0, 38][0, 49][0, 50][0, 52][0, 53][0, 64][0, 65][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
10 84 10 0 Barrier 1{[0, 11]} {}
11 112 11 0 Barrier 2{[0, 12]} {}
12 121 12 0 Barrier 3{[0, 13]} {}
13 130 13 0 Barrier 4{[0, 14]} {}
14 139 14 0 Barrier 5{[0, 15]} {}
15 148 15 0 Barrier 6{[0, 16]} {}
16 157 16 0 Barrier 7{[0, 17]} {}
17 166 17 0 Barrier 8{[0, 18]} {}
18 175 18 0 Barrier 9{[0, 25]} {}
19 184 19 0 Isend 1 0 19{[0, 21][0, 34][0, 49][0, 64][0, 79][0, 94][0, 109][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :22
20 193 20 0 Irecv 1 0 20{[0, 21][0, 35][0, 50][0, 65][0, 80][0, 95][0, 110][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :21
21 202 21 0 WaitAll{[0, 22][0, 23][0, 24][0, 25][0, 34][0, 35][0, 37][0, 38][0, 49][0, 50][0, 52][0, 53][0, 64][0, 65][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
22 217 22 0 Isend 3 0 22{[0, 24][0, 37][0, 52][0, 67][0, 82][0, 97][0, 112][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :25
23 218 23 0 Irecv 3 0 23{[0, 24][0, 38][0, 53][0, 68][0, 83][0, 98][0, 113][0, 128][0, 143][0, 157]} {}	 Matched with  process :3 transition :24
24 219 24 0 WaitAll{[0, 25][0, 34][0, 35][0, 36][0, 37][0, 38][0, 49][0, 50][0, 52][0, 53][0, 64][0, 65][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
25 231 25 0 Barrier 10{[0, 26]} {}
26 259 26 0 Barrier 11{[0, 27]} {}
27 268 27 0 Barrier 12{[0, 28]} {}
28 277 28 0 Barrier 13{[0, 29]} {}
29 286 29 0 Barrier 14{[0, 30]} {}
30 295 30 0 Barrier 15{[0, 31]} {}
31 304 31 0 Barrier 16{[0, 32]} {}
32 313 32 0 Barrier 17{[0, 33]} {}
33 322 33 0 Barrier 18{[0, 40]} {}
34 331 34 0 Isend 1 0 34{[0, 36][0, 49][0, 64][0, 79][0, 94][0, 109][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :39
35 340 35 0 Irecv 1 0 35{[0, 36][0, 50][0, 65][0, 80][0, 95][0, 110][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :38
36 349 36 0 WaitAll{[0, 37][0, 38][0, 39][0, 40][0, 49][0, 50][0, 52][0, 53][0, 64][0, 65][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
37 364 37 0 Isend 3 0 37{[0, 39][0, 52][0, 67][0, 82][0, 97][0, 112][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :42
38 365 38 0 Irecv 3 0 38{[0, 39][0, 53][0, 68][0, 83][0, 98][0, 113][0, 128][0, 143][0, 157]} {}	 Matched with  process :3 transition :41
39 366 39 0 WaitAll{[0, 40][0, 49][0, 50][0, 51][0, 52][0, 53][0, 64][0, 65][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
40 378 40 0 Barrier 19{[0, 41]} {}
41 406 41 0 Barrier 20{[0, 42]} {}
42 415 42 0 Barrier 21{[0, 43]} {}
43 424 43 0 Barrier 22{[0, 44]} {}
44 433 44 0 Barrier 23{[0, 45]} {}
45 442 45 0 Barrier 24{[0, 46]} {}
46 451 46 0 Barrier 25{[0, 47]} {}
47 460 47 0 Barrier 26{[0, 48]} {}
48 469 48 0 Barrier 27{[0, 55]} {}
49 478 49 0 Isend 1 0 49{[0, 51][0, 64][0, 79][0, 94][0, 109][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :56
50 487 50 0 Irecv 1 0 50{[0, 51][0, 65][0, 80][0, 95][0, 110][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :55
51 496 51 0 WaitAll{[0, 52][0, 53][0, 54][0, 55][0, 64][0, 65][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
52 511 52 0 Isend 3 0 52{[0, 54][0, 67][0, 82][0, 97][0, 112][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :59
53 512 53 0 Irecv 3 0 53{[0, 54][0, 68][0, 83][0, 98][0, 113][0, 128][0, 143][0, 157]} {}	 Matched with  process :3 transition :58
54 513 54 0 WaitAll{[0, 55][0, 64][0, 65][0, 66][0, 67][0, 68][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
55 525 55 0 Barrier 28{[0, 56]} {}
56 553 56 0 Barrier 29{[0, 57]} {}
57 562 57 0 Barrier 30{[0, 58]} {}
58 571 58 0 Barrier 31{[0, 59]} {}
59 580 59 0 Barrier 32{[0, 60]} {}
60 589 60 0 Barrier 33{[0, 61]} {}
61 598 61 0 Barrier 34{[0, 62]} {}
62 607 62 0 Barrier 35{[0, 63]} {}
63 616 63 0 Barrier 36{[0, 70]} {}
64 625 64 0 Isend 1 0 64{[0, 66][0, 79][0, 94][0, 109][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :73
65 634 65 0 Irecv 1 0 65{[0, 66][0, 80][0, 95][0, 110][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :72
66 643 66 0 WaitAll{[0, 67][0, 68][0, 69][0, 70][0, 79][0, 80][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
67 658 67 0 Isend 3 0 67{[0, 69][0, 82][0, 97][0, 112][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :76
68 659 68 0 Irecv 3 0 68{[0, 69][0, 83][0, 98][0, 113][0, 128][0, 143][0, 157]} {}	 Matched with  process :3 transition :75
69 660 69 0 WaitAll{[0, 70][0, 79][0, 80][0, 81][0, 82][0, 83][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
70 672 70 0 Barrier 37{[0, 71]} {}
71 700 71 0 Barrier 38{[0, 72]} {}
72 709 72 0 Barrier 39{[0, 73]} {}
73 718 73 0 Barrier 40{[0, 74]} {}
74 727 74 0 Barrier 41{[0, 75]} {}
75 736 75 0 Barrier 42{[0, 76]} {}
76 745 76 0 Barrier 43{[0, 77]} {}
77 754 77 0 Barrier 44{[0, 78]} {}
78 763 78 0 Barrier 45{[0, 85]} {}
79 772 79 0 Isend 1 0 79{[0, 81][0, 94][0, 109][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :90
80 781 80 0 Irecv 1 0 80{[0, 81][0, 95][0, 110][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :89
81 790 81 0 WaitAll{[0, 82][0, 83][0, 84][0, 85][0, 94][0, 95][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
82 805 82 0 Isend 3 0 82{[0, 84][0, 97][0, 112][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :93
83 806 83 0 Irecv 3 0 83{[0, 84][0, 98][0, 113][0, 128][0, 143][0, 157]} {}	 Matched with  process :3 transition :92
84 807 84 0 WaitAll{[0, 85][0, 94][0, 95][0, 96][0, 97][0, 98][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
85 819 85 0 Barrier 46{[0, 86]} {}
86 847 86 0 Barrier 47{[0, 87]} {}
87 856 87 0 Barrier 48{[0, 88]} {}
88 865 88 0 Barrier 49{[0, 89]} {}
89 874 89 0 Barrier 50{[0, 90]} {}
90 883 90 0 Barrier 51{[0, 91]} {}
91 892 91 0 Barrier 52{[0, 92]} {}
92 901 92 0 Barrier 53{[0, 93]} {}
93 910 93 0 Barrier 54{[0, 100]} {}
94 919 94 0 Isend 1 0 94{[0, 96][0, 109][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :107
95 928 95 0 Irecv 1 0 95{[0, 96][0, 110][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :106
96 937 96 0 WaitAll{[0, 97][0, 98][0, 99][0, 100][0, 109][0, 110][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
97 952 97 0 Isend 3 0 97{[0, 99][0, 112][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :110
98 953 98 0 Irecv 3 0 98{[0, 99][0, 113][0, 128][0, 143][0, 157]} {}	 Matched with  process :3 transition :109
99 954 99 0 WaitAll{[0, 100][0, 109][0, 110][0, 111][0, 112][0, 113][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
100 966 100 0 Barrier 55{[0, 101]} {}
101 994 101 0 Barrier 56{[0, 102]} {}
102 1003 102 0 Barrier 57{[0, 103]} {}
103 1012 103 0 Barrier 58{[0, 104]} {}
104 1021 104 0 Barrier 59{[0, 105]} {}
105 1030 105 0 Barrier 60{[0, 106]} {}
106 1039 106 0 Barrier 61{[0, 107]} {}
107 1048 107 0 Barrier 62{[0, 108]} {}
108 1057 108 0 Barrier 63{[0, 115]} {}
109 1066 109 0 Isend 1 0 109{[0, 111][0, 124][0, 139][0, 157]} {}	 Matched with  process :1 transition :124
110 1075 110 0 Irecv 1 0 110{[0, 111][0, 125][0, 140][0, 157]} {}	 Matched with  process :1 transition :123
111 1084 111 0 WaitAll{[0, 112][0, 113][0, 114][0, 115][0, 124][0, 125][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
112 1099 112 0 Isend 3 0 112{[0, 114][0, 127][0, 142][0, 157]} {}	 Matched with  process :3 transition :127
113 1100 113 0 Irecv 3 0 113{[0, 114][0, 128][0, 143][0, 157]} {}	 Matched with  process :3 transition :126
114 1101 114 0 WaitAll{[0, 115][0, 124][0, 125][0, 126][0, 127][0, 128][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
115 1113 115 0 Barrier 64{[0, 116]} {}
116 1141 116 0 Barrier 65{[0, 117]} {}
117 1150 117 0 Barrier 66{[0, 118]} {}
118 1159 118 0 Barrier 67{[0, 119]} {}
119 1168 119 0 Barrier 68{[0, 120]} {}
120 1177 120 0 Barrier 69{[0, 121]} {}
121 1186 121 0 Barrier 70{[0, 122]} {}
122 1195 122 0 Barrier 71{[0, 123]} {}
123 1204 123 0 Barrier 72{[0, 130]} {}
124 1213 124 0 Isend 1 0 124{[0, 126][0, 139][0, 157]} {}	 Matched with  process :1 transition :141
125 1222 125 0 Irecv 1 0 125{[0, 126][0, 140][0, 157]} {}	 Matched with  process :1 transition :140
126 1231 126 0 WaitAll{[0, 127][0, 128][0, 129][0, 130][0, 139][0, 140][0, 142][0, 143][0, 154][0, 155]} {}
127 1246 127 0 Isend 3 0 127{[0, 129][0, 142][0, 157]} {}	 Matched with  process :3 transition :144
128 1247 128 0 Irecv 3 0 128{[0, 129][0, 143][0, 157]} {}	 Matched with  process :3 transition :143
129 1248 129 0 WaitAll{[0, 130][0, 139][0, 140][0, 141][0, 142][0, 143][0, 154][0, 155]} {}
130 1260 130 0 Barrier 73{[0, 131]} {}
131 1288 131 0 Barrier 74{[0, 132]} {}
132 1297 132 0 Barrier 75{[0, 133]} {}
133 1306 133 0 Barrier 76{[0, 134]} {}
134 1315 134 0 Barrier 77{[0, 135]} {}
135 1324 135 0 Barrier 78{[0, 136]} {}
136 1333 136 0 Barrier 79{[0, 137]} {}
137 1342 137 0 Barrier 80{[0, 138]} {}
138 1351 138 0 Barrier 81{[0, 145]} {}
139 1360 139 0 Isend 1 0 139{[0, 141][0, 157]} {}	 Matched with  process :1 transition :158
140 1369 140 0 Irecv 1 0 140{[0, 141][0, 157]} {}	 Matched with  process :1 transition :157
141 1378 141 0 WaitAll{[0, 142][0, 143][0, 144][0, 145][0, 154][0, 155]} {}
142 1393 142 0 Isend 3 0 142{[0, 144][0, 157]} {}	 Matched with  process :3 transition :161
143 1394 143 0 Irecv 3 0 143{[0, 144][0, 157]} {}	 Matched with  process :3 transition :160
144 1395 144 0 WaitAll{[0, 145][0, 154][0, 155][0, 157]} {}
145 1407 145 0 Barrier 82{[0, 146][0, 157]} {}
146 1435 146 0 Barrier 83{[0, 147][0, 157]} {}
147 1444 147 0 Barrier 84{[0, 148][0, 157]} {}
148 1453 148 0 Barrier 85{[0, 149][0, 157]} {}
149 1462 149 0 Barrier 86{[0, 150][0, 157]} {}
150 1471 150 0 Barrier 87{[0, 151][0, 157]} {}
151 1480 151 0 Barrier 88{[0, 152][0, 157]} {}
152 1489 152 0 Barrier 89{[0, 153][0, 157]} {}
153 1498 153 0 Barrier 90{[0, 156][0, 157]} {}
154 1507 154 0 Reduce 1{[0, 157]} {}
155 1516 155 0 Comm_free 1{[0, 157]} {}
156 1525 156 0 Comm_free 2{[0, 157]} {}
157 1534 157 0 Finalize{} {}


Transition list for 1
0 2 0 1 Bcast 0{[1, 1]} {}
1 11 1 1 Bcast 0{[1, 2]} {}
2 20 2 1 Comm_dup 1{[1, 3]} {}
3 29 3 1 Comm_dup 2{[1, 174]} {}
4 38 4 1 Isend 0 0 4{[1, 8][1, 21][1, 38][1, 55][1, 72][1, 89][1, 106][1, 123][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :5
5 47 5 1 Irecv 0 0 5{[1, 8][1, 22][1, 39][1, 56][1, 73][1, 90][1, 107][1, 124][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :4
6 56 6 1 Isend 2 0 6{[1, 8][1, 23][1, 40][1, 57][1, 74][1, 91][1, 108][1, 125][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :5
7 64 7 1 Irecv 2 0 7{[1, 8][1, 24][1, 41][1, 58][1, 75][1, 92][1, 109][1, 126][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :4
8 67 8 1 WaitAll{[1, 9][1, 10][1, 11][1, 12][1, 21][1, 22][1, 23][1, 24][1, 26][1, 27][1, 38][1, 39][1, 40][1, 41][1, 43][1, 44][1, 55][1, 56][1, 57][1, 58][1, 60][1, 61][1, 72][1, 73][1, 74][1, 75][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
9 73 9 1 Isend 4 0 9{[1, 11][1, 26][1, 43][1, 60][1, 77][1, 94][1, 111][1, 128][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :10
10 75 10 1 Irecv 4 0 10{[1, 11][1, 27][1, 44][1, 61][1, 78][1, 95][1, 112][1, 129][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :9
11 77 11 1 WaitAll{[1, 12][1, 21][1, 22][1, 23][1, 24][1, 25][1, 26][1, 27][1, 38][1, 39][1, 40][1, 41][1, 43][1, 44][1, 55][1, 56][1, 57][1, 58][1, 60][1, 61][1, 72][1, 73][1, 74][1, 75][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
12 95 12 1 Barrier 1{[1, 13]} {}
13 113 13 1 Barrier 2{[1, 14]} {}
14 122 14 1 Barrier 3{[1, 15]} {}
15 131 15 1 Barrier 4{[1, 16]} {}
16 140 16 1 Barrier 5{[1, 17]} {}
17 149 17 1 Barrier 6{[1, 18]} {}
18 158 18 1 Barrier 7{[1, 19]} {}
19 167 19 1 Barrier 8{[1, 20]} {}
20 176 20 1 Barrier 9{[1, 29]} {}
21 185 21 1 Isend 0 0 21{[1, 25][1, 38][1, 55][1, 72][1, 89][1, 106][1, 123][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :20
22 194 22 1 Irecv 0 0 22{[1, 25][1, 39][1, 56][1, 73][1, 90][1, 107][1, 124][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :19
23 203 23 1 Isend 2 0 23{[1, 25][1, 40][1, 57][1, 74][1, 91][1, 108][1, 125][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :20
24 211 24 1 Irecv 2 0 24{[1, 25][1, 41][1, 58][1, 75][1, 92][1, 109][1, 126][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :19
25 214 25 1 WaitAll{[1, 26][1, 27][1, 28][1, 29][1, 38][1, 39][1, 40][1, 41][1, 43][1, 44][1, 55][1, 56][1, 57][1, 58][1, 60][1, 61][1, 72][1, 73][1, 74][1, 75][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
26 220 26 1 Isend 4 0 26{[1, 28][1, 43][1, 60][1, 77][1, 94][1, 111][1, 128][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :29
27 222 27 1 Irecv 4 0 27{[1, 28][1, 44][1, 61][1, 78][1, 95][1, 112][1, 129][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :28
28 224 28 1 WaitAll{[1, 29][1, 38][1, 39][1, 40][1, 41][1, 42][1, 43][1, 44][1, 55][1, 56][1, 57][1, 58][1, 60][1, 61][1, 72][1, 73][1, 74][1, 75][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
29 242 29 1 Barrier 10{[1, 30]} {}
30 260 30 1 Barrier 11{[1, 31]} {}
31 269 31 1 Barrier 12{[1, 32]} {}
32 278 32 1 Barrier 13{[1, 33]} {}
33 287 33 1 Barrier 14{[1, 34]} {}
34 296 34 1 Barrier 15{[1, 35]} {}
35 305 35 1 Barrier 16{[1, 36]} {}
36 314 36 1 Barrier 17{[1, 37]} {}
37 323 37 1 Barrier 18{[1, 46]} {}
38 332 38 1 Isend 0 0 38{[1, 42][1, 55][1, 72][1, 89][1, 106][1, 123][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :35
39 341 39 1 Irecv 0 0 39{[1, 42][1, 56][1, 73][1, 90][1, 107][1, 124][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :34
40 350 40 1 Isend 2 0 40{[1, 42][1, 57][1, 74][1, 91][1, 108][1, 125][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :35
41 358 41 1 Irecv 2 0 41{[1, 42][1, 58][1, 75][1, 92][1, 109][1, 126][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :34
42 361 42 1 WaitAll{[1, 43][1, 44][1, 45][1, 46][1, 55][1, 56][1, 57][1, 58][1, 60][1, 61][1, 72][1, 73][1, 74][1, 75][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
43 367 43 1 Isend 4 0 43{[1, 45][1, 60][1, 77][1, 94][1, 111][1, 128][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :48
44 369 44 1 Irecv 4 0 44{[1, 45][1, 61][1, 78][1, 95][1, 112][1, 129][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :47
45 371 45 1 WaitAll{[1, 46][1, 55][1, 56][1, 57][1, 58][1, 59][1, 60][1, 61][1, 72][1, 73][1, 74][1, 75][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
46 389 46 1 Barrier 19{[1, 47]} {}
47 407 47 1 Barrier 20{[1, 48]} {}
48 416 48 1 Barrier 21{[1, 49]} {}
49 425 49 1 Barrier 22{[1, 50]} {}
50 434 50 1 Barrier 23{[1, 51]} {}
51 443 51 1 Barrier 24{[1, 52]} {}
52 452 52 1 Barrier 25{[1, 53]} {}
53 461 53 1 Barrier 26{[1, 54]} {}
54 470 54 1 Barrier 27{[1, 63]} {}
55 479 55 1 Isend 0 0 55{[1, 59][1, 72][1, 89][1, 106][1, 123][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :50
56 488 56 1 Irecv 0 0 56{[1, 59][1, 73][1, 90][1, 107][1, 124][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :49
57 497 57 1 Isend 2 0 57{[1, 59][1, 74][1, 91][1, 108][1, 125][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :50
58 505 58 1 Irecv 2 0 58{[1, 59][1, 75][1, 92][1, 109][1, 126][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :49
59 508 59 1 WaitAll{[1, 60][1, 61][1, 62][1, 63][1, 72][1, 73][1, 74][1, 75][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
60 514 60 1 Isend 4 0 60{[1, 62][1, 77][1, 94][1, 111][1, 128][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :67
61 516 61 1 Irecv 4 0 61{[1, 62][1, 78][1, 95][1, 112][1, 129][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :66
62 518 62 1 WaitAll{[1, 63][1, 72][1, 73][1, 74][1, 75][1, 76][1, 77][1, 78][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
63 536 63 1 Barrier 28{[1, 64]} {}
64 554 64 1 Barrier 29{[1, 65]} {}
65 563 65 1 Barrier 30{[1, 66]} {}
66 572 66 1 Barrier 31{[1, 67]} {}
67 581 67 1 Barrier 32{[1, 68]} {}
68 590 68 1 Barrier 33{[1, 69]} {}
69 599 69 1 Barrier 34{[1, 70]} {}
70 608 70 1 Barrier 35{[1, 71]} {}
71 617 71 1 Barrier 36{[1, 80]} {}
72 626 72 1 Isend 0 0 72{[1, 76][1, 89][1, 106][1, 123][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :65
73 635 73 1 Irecv 0 0 73{[1, 76][1, 90][1, 107][1, 124][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :64
74 644 74 1 Isend 2 0 74{[1, 76][1, 91][1, 108][1, 125][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :65
75 652 75 1 Irecv 2 0 75{[1, 76][1, 92][1, 109][1, 126][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :64
76 655 76 1 WaitAll{[1, 77][1, 78][1, 79][1, 80][1, 89][1, 90][1, 91][1, 92][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
77 661 77 1 Isend 4 0 77{[1, 79][1, 94][1, 111][1, 128][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :86
78 663 78 1 Irecv 4 0 78{[1, 79][1, 95][1, 112][1, 129][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :85
79 665 79 1 WaitAll{[1, 80][1, 89][1, 90][1, 91][1, 92][1, 93][1, 94][1, 95][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
80 683 80 1 Barrier 37{[1, 81]} {}
81 701 81 1 Barrier 38{[1, 82]} {}
82 710 82 1 Barrier 39{[1, 83]} {}
83 719 83 1 Barrier 40{[1, 84]} {}
84 728 84 1 Barrier 41{[1, 85]} {}
85 737 85 1 Barrier 42{[1, 86]} {}
86 746 86 1 Barrier 43{[1, 87]} {}
87 755 87 1 Barrier 44{[1, 88]} {}
88 764 88 1 Barrier 45{[1, 97]} {}
89 773 89 1 Isend 0 0 89{[1, 93][1, 106][1, 123][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :80
90 782 90 1 Irecv 0 0 90{[1, 93][1, 107][1, 124][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :79
91 791 91 1 Isend 2 0 91{[1, 93][1, 108][1, 125][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :80
92 799 92 1 Irecv 2 0 92{[1, 93][1, 109][1, 126][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :79
93 802 93 1 WaitAll{[1, 94][1, 95][1, 96][1, 97][1, 106][1, 107][1, 108][1, 109][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
94 808 94 1 Isend 4 0 94{[1, 96][1, 111][1, 128][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :105
95 810 95 1 Irecv 4 0 95{[1, 96][1, 112][1, 129][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :104
96 812 96 1 WaitAll{[1, 97][1, 106][1, 107][1, 108][1, 109][1, 110][1, 111][1, 112][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
97 830 97 1 Barrier 46{[1, 98]} {}
98 848 98 1 Barrier 47{[1, 99]} {}
99 857 99 1 Barrier 48{[1, 100]} {}
100 866 100 1 Barrier 49{[1, 101]} {}
101 875 101 1 Barrier 50{[1, 102]} {}
102 884 102 1 Barrier 51{[1, 103]} {}
103 893 103 1 Barrier 52{[1, 104]} {}
104 902 104 1 Barrier 53{[1, 105]} {}
105 911 105 1 Barrier 54{[1, 114]} {}
106 920 106 1 Isend 0 0 106{[1, 110][1, 123][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :95
107 929 107 1 Irecv 0 0 107{[1, 110][1, 124][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :94
108 938 108 1 Isend 2 0 108{[1, 110][1, 125][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :95
109 946 109 1 Irecv 2 0 109{[1, 110][1, 126][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :94
110 949 110 1 WaitAll{[1, 111][1, 112][1, 113][1, 114][1, 123][1, 124][1, 125][1, 126][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
111 955 111 1 Isend 4 0 111{[1, 113][1, 128][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :124
112 957 112 1 Irecv 4 0 112{[1, 113][1, 129][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :123
113 959 113 1 WaitAll{[1, 114][1, 123][1, 124][1, 125][1, 126][1, 127][1, 128][1, 129][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
114 977 114 1 Barrier 55{[1, 115]} {}
115 995 115 1 Barrier 56{[1, 116]} {}
116 1004 116 1 Barrier 57{[1, 117]} {}
117 1013 117 1 Barrier 58{[1, 118]} {}
118 1022 118 1 Barrier 59{[1, 119]} {}
119 1031 119 1 Barrier 60{[1, 120]} {}
120 1040 120 1 Barrier 61{[1, 121]} {}
121 1049 121 1 Barrier 62{[1, 122]} {}
122 1058 122 1 Barrier 63{[1, 131]} {}
123 1067 123 1 Isend 0 0 123{[1, 127][1, 140][1, 157][1, 177]} {}	 Matched with  process :0 transition :110
124 1076 124 1 Irecv 0 0 124{[1, 127][1, 141][1, 158][1, 177]} {}	 Matched with  process :0 transition :109
125 1085 125 1 Isend 2 0 125{[1, 127][1, 142][1, 159][1, 177]} {}	 Matched with  process :2 transition :110
126 1093 126 1 Irecv 2 0 126{[1, 127][1, 143][1, 160][1, 177]} {}	 Matched with  process :2 transition :109
127 1096 127 1 WaitAll{[1, 128][1, 129][1, 130][1, 131][1, 140][1, 141][1, 142][1, 143][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
128 1102 128 1 Isend 4 0 128{[1, 130][1, 145][1, 162][1, 177]} {}	 Matched with  process :4 transition :143
129 1104 129 1 Irecv 4 0 129{[1, 130][1, 146][1, 163][1, 177]} {}	 Matched with  process :4 transition :142
130 1106 130 1 WaitAll{[1, 131][1, 140][1, 141][1, 142][1, 143][1, 144][1, 145][1, 146][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
131 1124 131 1 Barrier 64{[1, 132]} {}
132 1142 132 1 Barrier 65{[1, 133]} {}
133 1151 133 1 Barrier 66{[1, 134]} {}
134 1160 134 1 Barrier 67{[1, 135]} {}
135 1169 135 1 Barrier 68{[1, 136]} {}
136 1178 136 1 Barrier 69{[1, 137]} {}
137 1187 137 1 Barrier 70{[1, 138]} {}
138 1196 138 1 Barrier 71{[1, 139]} {}
139 1205 139 1 Barrier 72{[1, 148]} {}
140 1214 140 1 Isend 0 0 140{[1, 144][1, 157][1, 177]} {}	 Matched with  process :0 transition :125
141 1223 141 1 Irecv 0 0 141{[1, 144][1, 158][1, 177]} {}	 Matched with  process :0 transition :124
142 1232 142 1 Isend 2 0 142{[1, 144][1, 159][1, 177]} {}	 Matched with  process :2 transition :125
143 1240 143 1 Irecv 2 0 143{[1, 144][1, 160][1, 177]} {}	 Matched with  process :2 transition :124
144 1243 144 1 WaitAll{[1, 145][1, 146][1, 147][1, 148][1, 157][1, 158][1, 159][1, 160][1, 162][1, 163][1, 174][1, 175]} {}
145 1249 145 1 Isend 4 0 145{[1, 147][1, 162][1, 177]} {}	 Matched with  process :4 transition :162
146 1251 146 1 Irecv 4 0 146{[1, 147][1, 163][1, 177]} {}	 Matched with  process :4 transition :161
147 1253 147 1 WaitAll{[1, 148][1, 157][1, 158][1, 159][1, 160][1, 161][1, 162][1, 163][1, 174][1, 175]} {}
148 1271 148 1 Barrier 73{[1, 149]} {}
149 1289 149 1 Barrier 74{[1, 150]} {}
150 1298 150 1 Barrier 75{[1, 151]} {}
151 1307 151 1 Barrier 76{[1, 152]} {}
152 1316 152 1 Barrier 77{[1, 153]} {}
153 1325 153 1 Barrier 78{[1, 154]} {}
154 1334 154 1 Barrier 79{[1, 155]} {}
155 1343 155 1 Barrier 80{[1, 156]} {}
156 1352 156 1 Barrier 81{[1, 165]} {}
157 1361 157 1 Isend 0 0 157{[1, 161][1, 177]} {}	 Matched with  process :0 transition :140
158 1370 158 1 Irecv 0 0 158{[1, 161][1, 177]} {}	 Matched with  process :0 transition :139
159 1379 159 1 Isend 2 0 159{[1, 161][1, 177]} {}	 Matched with  process :2 transition :140
160 1387 160 1 Irecv 2 0 160{[1, 161][1, 177]} {}	 Matched with  process :2 transition :139
161 1390 161 1 WaitAll{[1, 162][1, 163][1, 164][1, 165][1, 174][1, 175]} {}
162 1396 162 1 Isend 4 0 162{[1, 164][1, 177]} {}	 Matched with  process :4 transition :181
163 1398 163 1 Irecv 4 0 163{[1, 164][1, 177]} {}	 Matched with  process :4 transition :180
164 1400 164 1 WaitAll{[1, 165][1, 174][1, 175][1, 177]} {}
165 1418 165 1 Barrier 82{[1, 166][1, 177]} {}
166 1436 166 1 Barrier 83{[1, 167][1, 177]} {}
167 1445 167 1 Barrier 84{[1, 168][1, 177]} {}
168 1454 168 1 Barrier 85{[1, 169][1, 177]} {}
169 1463 169 1 Barrier 86{[1, 170][1, 177]} {}
170 1472 170 1 Barrier 87{[1, 171][1, 177]} {}
171 1481 171 1 Barrier 88{[1, 172][1, 177]} {}
172 1490 172 1 Barrier 89{[1, 173][1, 177]} {}
173 1499 173 1 Barrier 90{[1, 176][1, 177]} {}
174 1508 174 1 Reduce 1{[1, 177]} {}
175 1517 175 1 Comm_free 1{[1, 177]} {}
176 1526 176 1 Comm_free 2{[1, 177]} {}
177 1535 177 1 Finalize{} {}


Transition list for 2
0 3 0 2 Bcast 0{[2, 1]} {}
1 12 1 2 Bcast 0{[2, 2]} {}
2 21 2 2 Comm_dup 1{[2, 3]} {}
3 30 3 2 Comm_dup 2{[2, 154]} {}
4 39 4 2 Isend 1 0 4{[2, 6][2, 19][2, 34][2, 49][2, 64][2, 79][2, 94][2, 109][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :7
5 48 5 2 Irecv 1 0 5{[2, 6][2, 20][2, 35][2, 50][2, 65][2, 80][2, 95][2, 110][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :6
6 57 6 2 WaitAll{[2, 7][2, 8][2, 9][2, 10][2, 19][2, 20][2, 22][2, 23][2, 34][2, 35][2, 37][2, 38][2, 49][2, 50][2, 52][2, 53][2, 64][2, 65][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
7 74 7 2 Isend 5 0 7{[2, 9][2, 22][2, 37][2, 52][2, 67][2, 82][2, 97][2, 112][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :8
8 76 8 2 Irecv 5 0 8{[2, 9][2, 23][2, 38][2, 53][2, 68][2, 83][2, 98][2, 113][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :7
9 78 9 2 WaitAll{[2, 10][2, 19][2, 20][2, 21][2, 22][2, 23][2, 34][2, 35][2, 37][2, 38][2, 49][2, 50][2, 52][2, 53][2, 64][2, 65][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
10 96 10 2 Barrier 1{[2, 11]} {}
11 114 11 2 Barrier 2{[2, 12]} {}
12 123 12 2 Barrier 3{[2, 13]} {}
13 132 13 2 Barrier 4{[2, 14]} {}
14 141 14 2 Barrier 5{[2, 15]} {}
15 150 15 2 Barrier 6{[2, 16]} {}
16 159 16 2 Barrier 7{[2, 17]} {}
17 168 17 2 Barrier 8{[2, 18]} {}
18 177 18 2 Barrier 9{[2, 25]} {}
19 186 19 2 Isend 1 0 19{[2, 21][2, 34][2, 49][2, 64][2, 79][2, 94][2, 109][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :24
20 195 20 2 Irecv 1 0 20{[2, 21][2, 35][2, 50][2, 65][2, 80][2, 95][2, 110][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :23
21 204 21 2 WaitAll{[2, 22][2, 23][2, 24][2, 25][2, 34][2, 35][2, 37][2, 38][2, 49][2, 50][2, 52][2, 53][2, 64][2, 65][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
22 221 22 2 Isend 5 0 22{[2, 24][2, 37][2, 52][2, 67][2, 82][2, 97][2, 112][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :25
23 223 23 2 Irecv 5 0 23{[2, 24][2, 38][2, 53][2, 68][2, 83][2, 98][2, 113][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :24
24 225 24 2 WaitAll{[2, 25][2, 34][2, 35][2, 36][2, 37][2, 38][2, 49][2, 50][2, 52][2, 53][2, 64][2, 65][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
25 243 25 2 Barrier 10{[2, 26]} {}
26 261 26 2 Barrier 11{[2, 27]} {}
27 270 27 2 Barrier 12{[2, 28]} {}
28 279 28 2 Barrier 13{[2, 29]} {}
29 288 29 2 Barrier 14{[2, 30]} {}
30 297 30 2 Barrier 15{[2, 31]} {}
31 306 31 2 Barrier 16{[2, 32]} {}
32 315 32 2 Barrier 17{[2, 33]} {}
33 324 33 2 Barrier 18{[2, 40]} {}
34 333 34 2 Isend 1 0 34{[2, 36][2, 49][2, 64][2, 79][2, 94][2, 109][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :41
35 342 35 2 Irecv 1 0 35{[2, 36][2, 50][2, 65][2, 80][2, 95][2, 110][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :40
36 351 36 2 WaitAll{[2, 37][2, 38][2, 39][2, 40][2, 49][2, 50][2, 52][2, 53][2, 64][2, 65][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
37 368 37 2 Isend 5 0 37{[2, 39][2, 52][2, 67][2, 82][2, 97][2, 112][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :42
38 370 38 2 Irecv 5 0 38{[2, 39][2, 53][2, 68][2, 83][2, 98][2, 113][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :41
39 372 39 2 WaitAll{[2, 40][2, 49][2, 50][2, 51][2, 52][2, 53][2, 64][2, 65][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
40 390 40 2 Barrier 19{[2, 41]} {}
41 408 41 2 Barrier 20{[2, 42]} {}
42 417 42 2 Barrier 21{[2, 43]} {}
43 426 43 2 Barrier 22{[2, 44]} {}
44 435 44 2 Barrier 23{[2, 45]} {}
45 444 45 2 Barrier 24{[2, 46]} {}
46 453 46 2 Barrier 25{[2, 47]} {}
47 462 47 2 Barrier 26{[2, 48]} {}
48 471 48 2 Barrier 27{[2, 55]} {}
49 480 49 2 Isend 1 0 49{[2, 51][2, 64][2, 79][2, 94][2, 109][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :58
50 489 50 2 Irecv 1 0 50{[2, 51][2, 65][2, 80][2, 95][2, 110][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :57
51 498 51 2 WaitAll{[2, 52][2, 53][2, 54][2, 55][2, 64][2, 65][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
52 515 52 2 Isend 5 0 52{[2, 54][2, 67][2, 82][2, 97][2, 112][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :59
53 517 53 2 Irecv 5 0 53{[2, 54][2, 68][2, 83][2, 98][2, 113][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :58
54 519 54 2 WaitAll{[2, 55][2, 64][2, 65][2, 66][2, 67][2, 68][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
55 537 55 2 Barrier 28{[2, 56]} {}
56 555 56 2 Barrier 29{[2, 57]} {}
57 564 57 2 Barrier 30{[2, 58]} {}
58 573 58 2 Barrier 31{[2, 59]} {}
59 582 59 2 Barrier 32{[2, 60]} {}
60 591 60 2 Barrier 33{[2, 61]} {}
61 600 61 2 Barrier 34{[2, 62]} {}
62 609 62 2 Barrier 35{[2, 63]} {}
63 618 63 2 Barrier 36{[2, 70]} {}
64 627 64 2 Isend 1 0 64{[2, 66][2, 79][2, 94][2, 109][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :75
65 636 65 2 Irecv 1 0 65{[2, 66][2, 80][2, 95][2, 110][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :74
66 645 66 2 WaitAll{[2, 67][2, 68][2, 69][2, 70][2, 79][2, 80][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
67 662 67 2 Isend 5 0 67{[2, 69][2, 82][2, 97][2, 112][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :76
68 664 68 2 Irecv 5 0 68{[2, 69][2, 83][2, 98][2, 113][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :75
69 666 69 2 WaitAll{[2, 70][2, 79][2, 80][2, 81][2, 82][2, 83][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
70 684 70 2 Barrier 37{[2, 71]} {}
71 702 71 2 Barrier 38{[2, 72]} {}
72 711 72 2 Barrier 39{[2, 73]} {}
73 720 73 2 Barrier 40{[2, 74]} {}
74 729 74 2 Barrier 41{[2, 75]} {}
75 738 75 2 Barrier 42{[2, 76]} {}
76 747 76 2 Barrier 43{[2, 77]} {}
77 756 77 2 Barrier 44{[2, 78]} {}
78 765 78 2 Barrier 45{[2, 85]} {}
79 774 79 2 Isend 1 0 79{[2, 81][2, 94][2, 109][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :92
80 783 80 2 Irecv 1 0 80{[2, 81][2, 95][2, 110][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :91
81 792 81 2 WaitAll{[2, 82][2, 83][2, 84][2, 85][2, 94][2, 95][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
82 809 82 2 Isend 5 0 82{[2, 84][2, 97][2, 112][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :93
83 811 83 2 Irecv 5 0 83{[2, 84][2, 98][2, 113][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :92
84 813 84 2 WaitAll{[2, 85][2, 94][2, 95][2, 96][2, 97][2, 98][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
85 831 85 2 Barrier 46{[2, 86]} {}
86 849 86 2 Barrier 47{[2, 87]} {}
87 858 87 2 Barrier 48{[2, 88]} {}
88 867 88 2 Barrier 49{[2, 89]} {}
89 876 89 2 Barrier 50{[2, 90]} {}
90 885 90 2 Barrier 51{[2, 91]} {}
91 894 91 2 Barrier 52{[2, 92]} {}
92 903 92 2 Barrier 53{[2, 93]} {}
93 912 93 2 Barrier 54{[2, 100]} {}
94 921 94 2 Isend 1 0 94{[2, 96][2, 109][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :109
95 930 95 2 Irecv 1 0 95{[2, 96][2, 110][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :108
96 939 96 2 WaitAll{[2, 97][2, 98][2, 99][2, 100][2, 109][2, 110][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
97 956 97 2 Isend 5 0 97{[2, 99][2, 112][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :110
98 958 98 2 Irecv 5 0 98{[2, 99][2, 113][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :109
99 960 99 2 WaitAll{[2, 100][2, 109][2, 110][2, 111][2, 112][2, 113][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
100 978 100 2 Barrier 55{[2, 101]} {}
101 996 101 2 Barrier 56{[2, 102]} {}
102 1005 102 2 Barrier 57{[2, 103]} {}
103 1014 103 2 Barrier 58{[2, 104]} {}
104 1023 104 2 Barrier 59{[2, 105]} {}
105 1032 105 2 Barrier 60{[2, 106]} {}
106 1041 106 2 Barrier 61{[2, 107]} {}
107 1050 107 2 Barrier 62{[2, 108]} {}
108 1059 108 2 Barrier 63{[2, 115]} {}
109 1068 109 2 Isend 1 0 109{[2, 111][2, 124][2, 139][2, 157]} {}	 Matched with  process :1 transition :126
110 1077 110 2 Irecv 1 0 110{[2, 111][2, 125][2, 140][2, 157]} {}	 Matched with  process :1 transition :125
111 1086 111 2 WaitAll{[2, 112][2, 113][2, 114][2, 115][2, 124][2, 125][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
112 1103 112 2 Isend 5 0 112{[2, 114][2, 127][2, 142][2, 157]} {}	 Matched with  process :5 transition :127
113 1105 113 2 Irecv 5 0 113{[2, 114][2, 128][2, 143][2, 157]} {}	 Matched with  process :5 transition :126
114 1107 114 2 WaitAll{[2, 115][2, 124][2, 125][2, 126][2, 127][2, 128][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
115 1125 115 2 Barrier 64{[2, 116]} {}
116 1143 116 2 Barrier 65{[2, 117]} {}
117 1152 117 2 Barrier 66{[2, 118]} {}
118 1161 118 2 Barrier 67{[2, 119]} {}
119 1170 119 2 Barrier 68{[2, 120]} {}
120 1179 120 2 Barrier 69{[2, 121]} {}
121 1188 121 2 Barrier 70{[2, 122]} {}
122 1197 122 2 Barrier 71{[2, 123]} {}
123 1206 123 2 Barrier 72{[2, 130]} {}
124 1215 124 2 Isend 1 0 124{[2, 126][2, 139][2, 157]} {}	 Matched with  process :1 transition :143
125 1224 125 2 Irecv 1 0 125{[2, 126][2, 140][2, 157]} {}	 Matched with  process :1 transition :142
126 1233 126 2 WaitAll{[2, 127][2, 128][2, 129][2, 130][2, 139][2, 140][2, 142][2, 143][2, 154][2, 155]} {}
127 1250 127 2 Isend 5 0 127{[2, 129][2, 142][2, 157]} {}	 Matched with  process :5 transition :144
128 1252 128 2 Irecv 5 0 128{[2, 129][2, 143][2, 157]} {}	 Matched with  process :5 transition :143
129 1254 129 2 WaitAll{[2, 130][2, 139][2, 140][2, 141][2, 142][2, 143][2, 154][2, 155]} {}
130 1272 130 2 Barrier 73{[2, 131]} {}
131 1290 131 2 Barrier 74{[2, 132]} {}
132 1299 132 2 Barrier 75{[2, 133]} {}
133 1308 133 2 Barrier 76{[2, 134]} {}
134 1317 134 2 Barrier 77{[2, 135]} {}
135 1326 135 2 Barrier 78{[2, 136]} {}
136 1335 136 2 Barrier 79{[2, 137]} {}
137 1344 137 2 Barrier 80{[2, 138]} {}
138 1353 138 2 Barrier 81{[2, 145]} {}
139 1362 139 2 Isend 1 0 139{[2, 141][2, 157]} {}	 Matched with  process :1 transition :160
140 1371 140 2 Irecv 1 0 140{[2, 141][2, 157]} {}	 Matched with  process :1 transition :159
141 1380 141 2 WaitAll{[2, 142][2, 143][2, 144][2, 145][2, 154][2, 155]} {}
142 1397 142 2 Isend 5 0 142{[2, 144][2, 157]} {}	 Matched with  process :5 transition :161
143 1399 143 2 Irecv 5 0 143{[2, 144][2, 157]} {}	 Matched with  process :5 transition :160
144 1401 144 2 WaitAll{[2, 145][2, 154][2, 155][2, 157]} {}
145 1419 145 2 Barrier 82{[2, 146][2, 157]} {}
146 1437 146 2 Barrier 83{[2, 147][2, 157]} {}
147 1446 147 2 Barrier 84{[2, 148][2, 157]} {}
148 1455 148 2 Barrier 85{[2, 149][2, 157]} {}
149 1464 149 2 Barrier 86{[2, 150][2, 157]} {}
150 1473 150 2 Barrier 87{[2, 151][2, 157]} {}
151 1482 151 2 Barrier 88{[2, 152][2, 157]} {}
152 1491 152 2 Barrier 89{[2, 153][2, 157]} {}
153 1500 153 2 Barrier 90{[2, 156][2, 157]} {}
154 1509 154 2 Reduce 1{[2, 157]} {}
155 1518 155 2 Comm_free 1{[2, 157]} {}
156 1527 156 2 Comm_free 2{[2, 157]} {}
157 1536 157 2 Finalize{} {}


Transition list for 3
0 4 0 3 Bcast 0{[3, 1]} {}
1 13 1 3 Bcast 0{[3, 2]} {}
2 22 2 3 Comm_dup 1{[3, 3]} {}
3 31 3 3 Comm_dup 2{[3, 174]} {}
4 40 4 3 Isend 4 0 4{[3, 6][3, 21][3, 38][3, 55][3, 72][3, 89][3, 106][3, 123][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :5
5 49 5 3 Irecv 4 0 5{[3, 6][3, 22][3, 39][3, 56][3, 73][3, 90][3, 107][3, 124][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :4
6 58 6 3 WaitAll{[3, 7][3, 8][3, 9][3, 10][3, 11][3, 12][3, 21][3, 22][3, 24][3, 25][3, 26][3, 27][3, 38][3, 39][3, 41][3, 42][3, 43][3, 44][3, 55][3, 56][3, 58][3, 59][3, 60][3, 61][3, 72][3, 73][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
7 79 7 3 Isend 0 0 7{[3, 11][3, 24][3, 41][3, 58][3, 75][3, 92][3, 109][3, 126][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :8
8 80 8 3 Irecv 0 0 8{[3, 11][3, 25][3, 42][3, 59][3, 76][3, 93][3, 110][3, 127][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :7
9 81 9 3 Isend 6 0 9{[3, 11][3, 26][3, 43][3, 60][3, 77][3, 94][3, 111][3, 128][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :8
10 82 10 3 Irecv 6 0 10{[3, 11][3, 27][3, 44][3, 61][3, 78][3, 95][3, 112][3, 129][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :7
11 83 11 3 WaitAll{[3, 12][3, 21][3, 22][3, 23][3, 24][3, 25][3, 26][3, 27][3, 38][3, 39][3, 41][3, 42][3, 43][3, 44][3, 55][3, 56][3, 58][3, 59][3, 60][3, 61][3, 72][3, 73][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
12 100 12 3 Barrier 1{[3, 13]} {}
13 115 13 3 Barrier 2{[3, 14]} {}
14 124 14 3 Barrier 3{[3, 15]} {}
15 133 15 3 Barrier 4{[3, 16]} {}
16 142 16 3 Barrier 5{[3, 17]} {}
17 151 17 3 Barrier 6{[3, 18]} {}
18 160 18 3 Barrier 7{[3, 19]} {}
19 169 19 3 Barrier 8{[3, 20]} {}
20 178 20 3 Barrier 9{[3, 29]} {}
21 187 21 3 Isend 4 0 21{[3, 23][3, 38][3, 55][3, 72][3, 89][3, 106][3, 123][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :24
22 196 22 3 Irecv 4 0 22{[3, 23][3, 39][3, 56][3, 73][3, 90][3, 107][3, 124][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :23
23 205 23 3 WaitAll{[3, 24][3, 25][3, 26][3, 27][3, 28][3, 29][3, 38][3, 39][3, 41][3, 42][3, 43][3, 44][3, 55][3, 56][3, 58][3, 59][3, 60][3, 61][3, 72][3, 73][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
24 226 24 3 Isend 0 0 24{[3, 28][3, 41][3, 58][3, 75][3, 92][3, 109][3, 126][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :23
25 227 25 3 Irecv 0 0 25{[3, 28][3, 42][3, 59][3, 76][3, 93][3, 110][3, 127][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :22
26 228 26 3 Isend 6 0 26{[3, 28][3, 43][3, 60][3, 77][3, 94][3, 111][3, 128][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :23
27 229 27 3 Irecv 6 0 27{[3, 28][3, 44][3, 61][3, 78][3, 95][3, 112][3, 129][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :22
28 230 28 3 WaitAll{[3, 29][3, 38][3, 39][3, 40][3, 41][3, 42][3, 43][3, 44][3, 55][3, 56][3, 58][3, 59][3, 60][3, 61][3, 72][3, 73][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
29 247 29 3 Barrier 10{[3, 30]} {}
30 262 30 3 Barrier 11{[3, 31]} {}
31 271 31 3 Barrier 12{[3, 32]} {}
32 280 32 3 Barrier 13{[3, 33]} {}
33 289 33 3 Barrier 14{[3, 34]} {}
34 298 34 3 Barrier 15{[3, 35]} {}
35 307 35 3 Barrier 16{[3, 36]} {}
36 316 36 3 Barrier 17{[3, 37]} {}
37 325 37 3 Barrier 18{[3, 46]} {}
38 334 38 3 Isend 4 0 38{[3, 40][3, 55][3, 72][3, 89][3, 106][3, 123][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :43
39 343 39 3 Irecv 4 0 39{[3, 40][3, 56][3, 73][3, 90][3, 107][3, 124][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :42
40 352 40 3 WaitAll{[3, 41][3, 42][3, 43][3, 44][3, 45][3, 46][3, 55][3, 56][3, 58][3, 59][3, 60][3, 61][3, 72][3, 73][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
41 373 41 3 Isend 0 0 41{[3, 45][3, 58][3, 75][3, 92][3, 109][3, 126][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :38
42 374 42 3 Irecv 0 0 42{[3, 45][3, 59][3, 76][3, 93][3, 110][3, 127][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :37
43 375 43 3 Isend 6 0 43{[3, 45][3, 60][3, 77][3, 94][3, 111][3, 128][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :38
44 376 44 3 Irecv 6 0 44{[3, 45][3, 61][3, 78][3, 95][3, 112][3, 129][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :37
45 377 45 3 WaitAll{[3, 46][3, 55][3, 56][3, 57][3, 58][3, 59][3, 60][3, 61][3, 72][3, 73][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
46 394 46 3 Barrier 19{[3, 47]} {}
47 409 47 3 Barrier 20{[3, 48]} {}
48 418 48 3 Barrier 21{[3, 49]} {}
49 427 49 3 Barrier 22{[3, 50]} {}
50 436 50 3 Barrier 23{[3, 51]} {}
51 445 51 3 Barrier 24{[3, 52]} {}
52 454 52 3 Barrier 25{[3, 53]} {}
53 463 53 3 Barrier 26{[3, 54]} {}
54 472 54 3 Barrier 27{[3, 63]} {}
55 481 55 3 Isend 4 0 55{[3, 57][3, 72][3, 89][3, 106][3, 123][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :62
56 490 56 3 Irecv 4 0 56{[3, 57][3, 73][3, 90][3, 107][3, 124][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :61
57 499 57 3 WaitAll{[3, 58][3, 59][3, 60][3, 61][3, 62][3, 63][3, 72][3, 73][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
58 520 58 3 Isend 0 0 58{[3, 62][3, 75][3, 92][3, 109][3, 126][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :53
59 521 59 3 Irecv 0 0 59{[3, 62][3, 76][3, 93][3, 110][3, 127][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :52
60 522 60 3 Isend 6 0 60{[3, 62][3, 77][3, 94][3, 111][3, 128][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :53
61 523 61 3 Irecv 6 0 61{[3, 62][3, 78][3, 95][3, 112][3, 129][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :52
62 524 62 3 WaitAll{[3, 63][3, 72][3, 73][3, 74][3, 75][3, 76][3, 77][3, 78][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
63 541 63 3 Barrier 28{[3, 64]} {}
64 556 64 3 Barrier 29{[3, 65]} {}
65 565 65 3 Barrier 30{[3, 66]} {}
66 574 66 3 Barrier 31{[3, 67]} {}
67 583 67 3 Barrier 32{[3, 68]} {}
68 592 68 3 Barrier 33{[3, 69]} {}
69 601 69 3 Barrier 34{[3, 70]} {}
70 610 70 3 Barrier 35{[3, 71]} {}
71 619 71 3 Barrier 36{[3, 80]} {}
72 628 72 3 Isend 4 0 72{[3, 74][3, 89][3, 106][3, 123][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :81
73 637 73 3 Irecv 4 0 73{[3, 74][3, 90][3, 107][3, 124][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :80
74 646 74 3 WaitAll{[3, 75][3, 76][3, 77][3, 78][3, 79][3, 80][3, 89][3, 90][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
75 667 75 3 Isend 0 0 75{[3, 79][3, 92][3, 109][3, 126][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :68
76 668 76 3 Irecv 0 0 76{[3, 79][3, 93][3, 110][3, 127][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :67
77 669 77 3 Isend 6 0 77{[3, 79][3, 94][3, 111][3, 128][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :68
78 670 78 3 Irecv 6 0 78{[3, 79][3, 95][3, 112][3, 129][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :67
79 671 79 3 WaitAll{[3, 80][3, 89][3, 90][3, 91][3, 92][3, 93][3, 94][3, 95][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
80 688 80 3 Barrier 37{[3, 81]} {}
81 703 81 3 Barrier 38{[3, 82]} {}
82 712 82 3 Barrier 39{[3, 83]} {}
83 721 83 3 Barrier 40{[3, 84]} {}
84 730 84 3 Barrier 41{[3, 85]} {}
85 739 85 3 Barrier 42{[3, 86]} {}
86 748 86 3 Barrier 43{[3, 87]} {}
87 757 87 3 Barrier 44{[3, 88]} {}
88 766 88 3 Barrier 45{[3, 97]} {}
89 775 89 3 Isend 4 0 89{[3, 91][3, 106][3, 123][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :100
90 784 90 3 Irecv 4 0 90{[3, 91][3, 107][3, 124][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :99
91 793 91 3 WaitAll{[3, 92][3, 93][3, 94][3, 95][3, 96][3, 97][3, 106][3, 107][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
92 814 92 3 Isend 0 0 92{[3, 96][3, 109][3, 126][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :83
93 815 93 3 Irecv 0 0 93{[3, 96][3, 110][3, 127][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :82
94 816 94 3 Isend 6 0 94{[3, 96][3, 111][3, 128][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :83
95 817 95 3 Irecv 6 0 95{[3, 96][3, 112][3, 129][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :82
96 818 96 3 WaitAll{[3, 97][3, 106][3, 107][3, 108][3, 109][3, 110][3, 111][3, 112][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
97 835 97 3 Barrier 46{[3, 98]} {}
98 850 98 3 Barrier 47{[3, 99]} {}
99 859 99 3 Barrier 48{[3, 100]} {}
100 868 100 3 Barrier 49{[3, 101]} {}
101 877 101 3 Barrier 50{[3, 102]} {}
102 886 102 3 Barrier 51{[3, 103]} {}
103 895 103 3 Barrier 52{[3, 104]} {}
104 904 104 3 Barrier 53{[3, 105]} {}
105 913 105 3 Barrier 54{[3, 114]} {}
106 922 106 3 Isend 4 0 106{[3, 108][3, 123][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :119
107 931 107 3 Irecv 4 0 107{[3, 108][3, 124][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :118
108 940 108 3 WaitAll{[3, 109][3, 110][3, 111][3, 112][3, 113][3, 114][3, 123][3, 124][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
109 961 109 3 Isend 0 0 109{[3, 113][3, 126][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :98
110 962 110 3 Irecv 0 0 110{[3, 113][3, 127][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :97
111 963 111 3 Isend 6 0 111{[3, 113][3, 128][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :98
112 964 112 3 Irecv 6 0 112{[3, 113][3, 129][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :97
113 965 113 3 WaitAll{[3, 114][3, 123][3, 124][3, 125][3, 126][3, 127][3, 128][3, 129][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
114 982 114 3 Barrier 55{[3, 115]} {}
115 997 115 3 Barrier 56{[3, 116]} {}
116 1006 116 3 Barrier 57{[3, 117]} {}
117 1015 117 3 Barrier 58{[3, 118]} {}
118 1024 118 3 Barrier 59{[3, 119]} {}
119 1033 119 3 Barrier 60{[3, 120]} {}
120 1042 120 3 Barrier 61{[3, 121]} {}
121 1051 121 3 Barrier 62{[3, 122]} {}
122 1060 122 3 Barrier 63{[3, 131]} {}
123 1069 123 3 Isend 4 0 123{[3, 125][3, 140][3, 157][3, 177]} {}	 Matched with  process :4 transition :138
124 1078 124 3 Irecv 4 0 124{[3, 125][3, 141][3, 158][3, 177]} {}	 Matched with  process :4 transition :137
125 1087 125 3 WaitAll{[3, 126][3, 127][3, 128][3, 129][3, 130][3, 131][3, 140][3, 141][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
126 1108 126 3 Isend 0 0 126{[3, 130][3, 143][3, 160][3, 177]} {}	 Matched with  process :0 transition :113
127 1109 127 3 Irecv 0 0 127{[3, 130][3, 144][3, 161][3, 177]} {}	 Matched with  process :0 transition :112
128 1110 128 3 Isend 6 0 128{[3, 130][3, 145][3, 162][3, 177]} {}	 Matched with  process :6 transition :113
129 1111 129 3 Irecv 6 0 129{[3, 130][3, 146][3, 163][3, 177]} {}	 Matched with  process :6 transition :112
130 1112 130 3 WaitAll{[3, 131][3, 140][3, 141][3, 142][3, 143][3, 144][3, 145][3, 146][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
131 1129 131 3 Barrier 64{[3, 132]} {}
132 1144 132 3 Barrier 65{[3, 133]} {}
133 1153 133 3 Barrier 66{[3, 134]} {}
134 1162 134 3 Barrier 67{[3, 135]} {}
135 1171 135 3 Barrier 68{[3, 136]} {}
136 1180 136 3 Barrier 69{[3, 137]} {}
137 1189 137 3 Barrier 70{[3, 138]} {}
138 1198 138 3 Barrier 71{[3, 139]} {}
139 1207 139 3 Barrier 72{[3, 148]} {}
140 1216 140 3 Isend 4 0 140{[3, 142][3, 157][3, 177]} {}	 Matched with  process :4 transition :157
141 1225 141 3 Irecv 4 0 141{[3, 142][3, 158][3, 177]} {}	 Matched with  process :4 transition :156
142 1234 142 3 WaitAll{[3, 143][3, 144][3, 145][3, 146][3, 147][3, 148][3, 157][3, 158][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
143 1255 143 3 Isend 0 0 143{[3, 147][3, 160][3, 177]} {}	 Matched with  process :0 transition :128
144 1256 144 3 Irecv 0 0 144{[3, 147][3, 161][3, 177]} {}	 Matched with  process :0 transition :127
145 1257 145 3 Isend 6 0 145{[3, 147][3, 162][3, 177]} {}	 Matched with  process :6 transition :128
146 1258 146 3 Irecv 6 0 146{[3, 147][3, 163][3, 177]} {}	 Matched with  process :6 transition :127
147 1259 147 3 WaitAll{[3, 148][3, 157][3, 158][3, 159][3, 160][3, 161][3, 162][3, 163][3, 174][3, 175]} {}
148 1276 148 3 Barrier 73{[3, 149]} {}
149 1291 149 3 Barrier 74{[3, 150]} {}
150 1300 150 3 Barrier 75{[3, 151]} {}
151 1309 151 3 Barrier 76{[3, 152]} {}
152 1318 152 3 Barrier 77{[3, 153]} {}
153 1327 153 3 Barrier 78{[3, 154]} {}
154 1336 154 3 Barrier 79{[3, 155]} {}
155 1345 155 3 Barrier 80{[3, 156]} {}
156 1354 156 3 Barrier 81{[3, 165]} {}
157 1363 157 3 Isend 4 0 157{[3, 159][3, 177]} {}	 Matched with  process :4 transition :176
158 1372 158 3 Irecv 4 0 158{[3, 159][3, 177]} {}	 Matched with  process :4 transition :175
159 1381 159 3 WaitAll{[3, 160][3, 161][3, 162][3, 163][3, 164][3, 165][3, 174][3, 175]} {}
160 1402 160 3 Isend 0 0 160{[3, 164][3, 177]} {}	 Matched with  process :0 transition :143
161 1403 161 3 Irecv 0 0 161{[3, 164][3, 177]} {}	 Matched with  process :0 transition :142
162 1404 162 3 Isend 6 0 162{[3, 164][3, 177]} {}	 Matched with  process :6 transition :143
163 1405 163 3 Irecv 6 0 163{[3, 164][3, 177]} {}	 Matched with  process :6 transition :142
164 1406 164 3 WaitAll{[3, 165][3, 174][3, 175][3, 177]} {}
165 1423 165 3 Barrier 82{[3, 166][3, 177]} {}
166 1438 166 3 Barrier 83{[3, 167][3, 177]} {}
167 1447 167 3 Barrier 84{[3, 168][3, 177]} {}
168 1456 168 3 Barrier 85{[3, 169][3, 177]} {}
169 1465 169 3 Barrier 86{[3, 170][3, 177]} {}
170 1474 170 3 Barrier 87{[3, 171][3, 177]} {}
171 1483 171 3 Barrier 88{[3, 172][3, 177]} {}
172 1492 172 3 Barrier 89{[3, 173][3, 177]} {}
173 1501 173 3 Barrier 90{[3, 176][3, 177]} {}
174 1510 174 3 Reduce 1{[3, 177]} {}
175 1519 175 3 Comm_free 1{[3, 177]} {}
176 1528 176 3 Comm_free 2{[3, 177]} {}
177 1537 177 3 Finalize{} {}


Transition list for 4
0 5 0 4 Bcast 0{[4, 1]} {}
1 14 1 4 Bcast 0{[4, 2]} {}
2 23 2 4 Comm_dup 1{[4, 3]} {}
3 32 3 4 Comm_dup 2{[4, 194]} {}
4 41 4 4 Isend 3 0 4{[4, 8][4, 23][4, 42][4, 61][4, 80][4, 99][4, 118][4, 137][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :5
5 50 5 4 Irecv 3 0 5{[4, 8][4, 24][4, 43][4, 62][4, 81][4, 100][4, 119][4, 138][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :4
6 59 6 4 Isend 5 0 6{[4, 8][4, 25][4, 44][4, 63][4, 82][4, 101][4, 120][4, 139][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :5
7 65 7 4 Irecv 5 0 7{[4, 8][4, 26][4, 45][4, 64][4, 83][4, 102][4, 121][4, 140][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :4
8 68 8 4 WaitAll{[4, 9][4, 10][4, 11][4, 12][4, 13][4, 14][4, 23][4, 24][4, 25][4, 26][4, 28][4, 29][4, 30][4, 31][4, 42][4, 43][4, 44][4, 45][4, 47][4, 48][4, 49][4, 50][4, 61][4, 62][4, 63][4, 64][4, 66][4, 67][4, 68][4, 69][4, 80][4, 81][4, 82][4, 83][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
9 85 9 4 Isend 1 0 9{[4, 13][4, 28][4, 47][4, 66][4, 85][4, 104][4, 123][4, 142][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :10
10 87 10 4 Irecv 1 0 10{[4, 13][4, 29][4, 48][4, 67][4, 86][4, 105][4, 124][4, 143][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :9
11 89 11 4 Isend 7 0 11{[4, 13][4, 30][4, 49][4, 68][4, 87][4, 106][4, 125][4, 144][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :10
12 91 12 4 Irecv 7 0 12{[4, 13][4, 31][4, 50][4, 69][4, 88][4, 107][4, 126][4, 145][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :9
13 93 13 4 WaitAll{[4, 14][4, 23][4, 24][4, 25][4, 26][4, 27][4, 28][4, 29][4, 30][4, 31][4, 42][4, 43][4, 44][4, 45][4, 47][4, 48][4, 49][4, 50][4, 61][4, 62][4, 63][4, 64][4, 66][4, 67][4, 68][4, 69][4, 80][4, 81][4, 82][4, 83][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
14 108 14 4 Barrier 1{[4, 15]} {}
15 116 15 4 Barrier 2{[4, 16]} {}
16 125 16 4 Barrier 3{[4, 17]} {}
17 134 17 4 Barrier 4{[4, 18]} {}
18 143 18 4 Barrier 5{[4, 19]} {}
19 152 19 4 Barrier 6{[4, 20]} {}
20 161 20 4 Barrier 7{[4, 21]} {}
21 170 21 4 Barrier 8{[4, 22]} {}
22 179 22 4 Barrier 9{[4, 33]} {}
23 188 23 4 Isend 3 0 23{[4, 27][4, 42][4, 61][4, 80][4, 99][4, 118][4, 137][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :22
24 197 24 4 Irecv 3 0 24{[4, 27][4, 43][4, 62][4, 81][4, 100][4, 119][4, 138][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :21
25 206 25 4 Isend 5 0 25{[4, 27][4, 44][4, 63][4, 82][4, 101][4, 120][4, 139][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :22
26 212 26 4 Irecv 5 0 26{[4, 27][4, 45][4, 64][4, 83][4, 102][4, 121][4, 140][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :21
27 215 27 4 WaitAll{[4, 28][4, 29][4, 30][4, 31][4, 32][4, 33][4, 42][4, 43][4, 44][4, 45][4, 47][4, 48][4, 49][4, 50][4, 61][4, 62][4, 63][4, 64][4, 66][4, 67][4, 68][4, 69][4, 80][4, 81][4, 82][4, 83][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
28 232 28 4 Isend 1 0 28{[4, 32][4, 47][4, 66][4, 85][4, 104][4, 123][4, 142][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :27
29 234 29 4 Irecv 1 0 29{[4, 32][4, 48][4, 67][4, 86][4, 105][4, 124][4, 143][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :26
30 236 30 4 Isend 7 0 30{[4, 32][4, 49][4, 68][4, 87][4, 106][4, 125][4, 144][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :27
31 238 31 4 Irecv 7 0 31{[4, 32][4, 50][4, 69][4, 88][4, 107][4, 126][4, 145][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :26
32 240 32 4 WaitAll{[4, 33][4, 42][4, 43][4, 44][4, 45][4, 46][4, 47][4, 48][4, 49][4, 50][4, 61][4, 62][4, 63][4, 64][4, 66][4, 67][4, 68][4, 69][4, 80][4, 81][4, 82][4, 83][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
33 255 33 4 Barrier 10{[4, 34]} {}
34 263 34 4 Barrier 11{[4, 35]} {}
35 272 35 4 Barrier 12{[4, 36]} {}
36 281 36 4 Barrier 13{[4, 37]} {}
37 290 37 4 Barrier 14{[4, 38]} {}
38 299 38 4 Barrier 15{[4, 39]} {}
39 308 39 4 Barrier 16{[4, 40]} {}
40 317 40 4 Barrier 17{[4, 41]} {}
41 326 41 4 Barrier 18{[4, 52]} {}
42 335 42 4 Isend 3 0 42{[4, 46][4, 61][4, 80][4, 99][4, 118][4, 137][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :39
43 344 43 4 Irecv 3 0 43{[4, 46][4, 62][4, 81][4, 100][4, 119][4, 138][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :38
44 353 44 4 Isend 5 0 44{[4, 46][4, 63][4, 82][4, 101][4, 120][4, 139][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :39
45 359 45 4 Irecv 5 0 45{[4, 46][4, 64][4, 83][4, 102][4, 121][4, 140][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :38
46 362 46 4 WaitAll{[4, 47][4, 48][4, 49][4, 50][4, 51][4, 52][4, 61][4, 62][4, 63][4, 64][4, 66][4, 67][4, 68][4, 69][4, 80][4, 81][4, 82][4, 83][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
47 379 47 4 Isend 1 0 47{[4, 51][4, 66][4, 85][4, 104][4, 123][4, 142][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :44
48 381 48 4 Irecv 1 0 48{[4, 51][4, 67][4, 86][4, 105][4, 124][4, 143][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :43
49 383 49 4 Isend 7 0 49{[4, 51][4, 68][4, 87][4, 106][4, 125][4, 144][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :44
50 385 50 4 Irecv 7 0 50{[4, 51][4, 69][4, 88][4, 107][4, 126][4, 145][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :43
51 387 51 4 WaitAll{[4, 52][4, 61][4, 62][4, 63][4, 64][4, 65][4, 66][4, 67][4, 68][4, 69][4, 80][4, 81][4, 82][4, 83][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
52 402 52 4 Barrier 19{[4, 53]} {}
53 410 53 4 Barrier 20{[4, 54]} {}
54 419 54 4 Barrier 21{[4, 55]} {}
55 428 55 4 Barrier 22{[4, 56]} {}
56 437 56 4 Barrier 23{[4, 57]} {}
57 446 57 4 Barrier 24{[4, 58]} {}
58 455 58 4 Barrier 25{[4, 59]} {}
59 464 59 4 Barrier 26{[4, 60]} {}
60 473 60 4 Barrier 27{[4, 71]} {}
61 482 61 4 Isend 3 0 61{[4, 65][4, 80][4, 99][4, 118][4, 137][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :56
62 491 62 4 Irecv 3 0 62{[4, 65][4, 81][4, 100][4, 119][4, 138][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :55
63 500 63 4 Isend 5 0 63{[4, 65][4, 82][4, 101][4, 120][4, 139][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :56
64 506 64 4 Irecv 5 0 64{[4, 65][4, 83][4, 102][4, 121][4, 140][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :55
65 509 65 4 WaitAll{[4, 66][4, 67][4, 68][4, 69][4, 70][4, 71][4, 80][4, 81][4, 82][4, 83][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
66 526 66 4 Isend 1 0 66{[4, 70][4, 85][4, 104][4, 123][4, 142][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :61
67 528 67 4 Irecv 1 0 67{[4, 70][4, 86][4, 105][4, 124][4, 143][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :60
68 530 68 4 Isend 7 0 68{[4, 70][4, 87][4, 106][4, 125][4, 144][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :61
69 532 69 4 Irecv 7 0 69{[4, 70][4, 88][4, 107][4, 126][4, 145][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :60
70 534 70 4 WaitAll{[4, 71][4, 80][4, 81][4, 82][4, 83][4, 84][4, 85][4, 86][4, 87][4, 88][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
71 549 71 4 Barrier 28{[4, 72]} {}
72 557 72 4 Barrier 29{[4, 73]} {}
73 566 73 4 Barrier 30{[4, 74]} {}
74 575 74 4 Barrier 31{[4, 75]} {}
75 584 75 4 Barrier 32{[4, 76]} {}
76 593 76 4 Barrier 33{[4, 77]} {}
77 602 77 4 Barrier 34{[4, 78]} {}
78 611 78 4 Barrier 35{[4, 79]} {}
79 620 79 4 Barrier 36{[4, 90]} {}
80 629 80 4 Isend 3 0 80{[4, 84][4, 99][4, 118][4, 137][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :73
81 638 81 4 Irecv 3 0 81{[4, 84][4, 100][4, 119][4, 138][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :72
82 647 82 4 Isend 5 0 82{[4, 84][4, 101][4, 120][4, 139][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :73
83 653 83 4 Irecv 5 0 83{[4, 84][4, 102][4, 121][4, 140][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :72
84 656 84 4 WaitAll{[4, 85][4, 86][4, 87][4, 88][4, 89][4, 90][4, 99][4, 100][4, 101][4, 102][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
85 673 85 4 Isend 1 0 85{[4, 89][4, 104][4, 123][4, 142][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :78
86 675 86 4 Irecv 1 0 86{[4, 89][4, 105][4, 124][4, 143][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :77
87 677 87 4 Isend 7 0 87{[4, 89][4, 106][4, 125][4, 144][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :78
88 679 88 4 Irecv 7 0 88{[4, 89][4, 107][4, 126][4, 145][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :77
89 681 89 4 WaitAll{[4, 90][4, 99][4, 100][4, 101][4, 102][4, 103][4, 104][4, 105][4, 106][4, 107][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
90 696 90 4 Barrier 37{[4, 91]} {}
91 704 91 4 Barrier 38{[4, 92]} {}
92 713 92 4 Barrier 39{[4, 93]} {}
93 722 93 4 Barrier 40{[4, 94]} {}
94 731 94 4 Barrier 41{[4, 95]} {}
95 740 95 4 Barrier 42{[4, 96]} {}
96 749 96 4 Barrier 43{[4, 97]} {}
97 758 97 4 Barrier 44{[4, 98]} {}
98 767 98 4 Barrier 45{[4, 109]} {}
99 776 99 4 Isend 3 0 99{[4, 103][4, 118][4, 137][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :90
100 785 100 4 Irecv 3 0 100{[4, 103][4, 119][4, 138][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :89
101 794 101 4 Isend 5 0 101{[4, 103][4, 120][4, 139][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :90
102 800 102 4 Irecv 5 0 102{[4, 103][4, 121][4, 140][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :89
103 803 103 4 WaitAll{[4, 104][4, 105][4, 106][4, 107][4, 108][4, 109][4, 118][4, 119][4, 120][4, 121][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
104 820 104 4 Isend 1 0 104{[4, 108][4, 123][4, 142][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :95
105 822 105 4 Irecv 1 0 105{[4, 108][4, 124][4, 143][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :94
106 824 106 4 Isend 7 0 106{[4, 108][4, 125][4, 144][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :95
107 826 107 4 Irecv 7 0 107{[4, 108][4, 126][4, 145][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :94
108 828 108 4 WaitAll{[4, 109][4, 118][4, 119][4, 120][4, 121][4, 122][4, 123][4, 124][4, 125][4, 126][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
109 843 109 4 Barrier 46{[4, 110]} {}
110 851 110 4 Barrier 47{[4, 111]} {}
111 860 111 4 Barrier 48{[4, 112]} {}
112 869 112 4 Barrier 49{[4, 113]} {}
113 878 113 4 Barrier 50{[4, 114]} {}
114 887 114 4 Barrier 51{[4, 115]} {}
115 896 115 4 Barrier 52{[4, 116]} {}
116 905 116 4 Barrier 53{[4, 117]} {}
117 914 117 4 Barrier 54{[4, 128]} {}
118 923 118 4 Isend 3 0 118{[4, 122][4, 137][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :107
119 932 119 4 Irecv 3 0 119{[4, 122][4, 138][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :106
120 941 120 4 Isend 5 0 120{[4, 122][4, 139][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :107
121 947 121 4 Irecv 5 0 121{[4, 122][4, 140][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :106
122 950 122 4 WaitAll{[4, 123][4, 124][4, 125][4, 126][4, 127][4, 128][4, 137][4, 138][4, 139][4, 140][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
123 967 123 4 Isend 1 0 123{[4, 127][4, 142][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :112
124 969 124 4 Irecv 1 0 124{[4, 127][4, 143][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :111
125 971 125 4 Isend 7 0 125{[4, 127][4, 144][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :112
126 973 126 4 Irecv 7 0 126{[4, 127][4, 145][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :111
127 975 127 4 WaitAll{[4, 128][4, 137][4, 138][4, 139][4, 140][4, 141][4, 142][4, 143][4, 144][4, 145][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
128 990 128 4 Barrier 55{[4, 129]} {}
129 998 129 4 Barrier 56{[4, 130]} {}
130 1007 130 4 Barrier 57{[4, 131]} {}
131 1016 131 4 Barrier 58{[4, 132]} {}
132 1025 132 4 Barrier 59{[4, 133]} {}
133 1034 133 4 Barrier 60{[4, 134]} {}
134 1043 134 4 Barrier 61{[4, 135]} {}
135 1052 135 4 Barrier 62{[4, 136]} {}
136 1061 136 4 Barrier 63{[4, 147]} {}
137 1070 137 4 Isend 3 0 137{[4, 141][4, 156][4, 175][4, 197]} {}	 Matched with  process :3 transition :124
138 1079 138 4 Irecv 3 0 138{[4, 141][4, 157][4, 176][4, 197]} {}	 Matched with  process :3 transition :123
139 1088 139 4 Isend 5 0 139{[4, 141][4, 158][4, 177][4, 197]} {}	 Matched with  process :5 transition :124
140 1094 140 4 Irecv 5 0 140{[4, 141][4, 159][4, 178][4, 197]} {}	 Matched with  process :5 transition :123
141 1097 141 4 WaitAll{[4, 142][4, 143][4, 144][4, 145][4, 146][4, 147][4, 156][4, 157][4, 158][4, 159][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
142 1114 142 4 Isend 1 0 142{[4, 146][4, 161][4, 180][4, 197]} {}	 Matched with  process :1 transition :129
143 1116 143 4 Irecv 1 0 143{[4, 146][4, 162][4, 181][4, 197]} {}	 Matched with  process :1 transition :128
144 1118 144 4 Isend 7 0 144{[4, 146][4, 163][4, 182][4, 197]} {}	 Matched with  process :7 transition :129
145 1120 145 4 Irecv 7 0 145{[4, 146][4, 164][4, 183][4, 197]} {}	 Matched with  process :7 transition :128
146 1122 146 4 WaitAll{[4, 147][4, 156][4, 157][4, 158][4, 159][4, 160][4, 161][4, 162][4, 163][4, 164][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
147 1137 147 4 Barrier 64{[4, 148]} {}
148 1145 148 4 Barrier 65{[4, 149]} {}
149 1154 149 4 Barrier 66{[4, 150]} {}
150 1163 150 4 Barrier 67{[4, 151]} {}
151 1172 151 4 Barrier 68{[4, 152]} {}
152 1181 152 4 Barrier 69{[4, 153]} {}
153 1190 153 4 Barrier 70{[4, 154]} {}
154 1199 154 4 Barrier 71{[4, 155]} {}
155 1208 155 4 Barrier 72{[4, 166]} {}
156 1217 156 4 Isend 3 0 156{[4, 160][4, 175][4, 197]} {}	 Matched with  process :3 transition :141
157 1226 157 4 Irecv 3 0 157{[4, 160][4, 176][4, 197]} {}	 Matched with  process :3 transition :140
158 1235 158 4 Isend 5 0 158{[4, 160][4, 177][4, 197]} {}	 Matched with  process :5 transition :141
159 1241 159 4 Irecv 5 0 159{[4, 160][4, 178][4, 197]} {}	 Matched with  process :5 transition :140
160 1244 160 4 WaitAll{[4, 161][4, 162][4, 163][4, 164][4, 165][4, 166][4, 175][4, 176][4, 177][4, 178][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
161 1261 161 4 Isend 1 0 161{[4, 165][4, 180][4, 197]} {}	 Matched with  process :1 transition :146
162 1263 162 4 Irecv 1 0 162{[4, 165][4, 181][4, 197]} {}	 Matched with  process :1 transition :145
163 1265 163 4 Isend 7 0 163{[4, 165][4, 182][4, 197]} {}	 Matched with  process :7 transition :146
164 1267 164 4 Irecv 7 0 164{[4, 165][4, 183][4, 197]} {}	 Matched with  process :7 transition :145
165 1269 165 4 WaitAll{[4, 166][4, 175][4, 176][4, 177][4, 178][4, 179][4, 180][4, 181][4, 182][4, 183][4, 194][4, 195]} {}
166 1284 166 4 Barrier 73{[4, 167]} {}
167 1292 167 4 Barrier 74{[4, 168]} {}
168 1301 168 4 Barrier 75{[4, 169]} {}
169 1310 169 4 Barrier 76{[4, 170]} {}
170 1319 170 4 Barrier 77{[4, 171]} {}
171 1328 171 4 Barrier 78{[4, 172]} {}
172 1337 172 4 Barrier 79{[4, 173]} {}
173 1346 173 4 Barrier 80{[4, 174]} {}
174 1355 174 4 Barrier 81{[4, 185]} {}
175 1364 175 4 Isend 3 0 175{[4, 179][4, 197]} {}	 Matched with  process :3 transition :158
176 1373 176 4 Irecv 3 0 176{[4, 179][4, 197]} {}	 Matched with  process :3 transition :157
177 1382 177 4 Isend 5 0 177{[4, 179][4, 197]} {}	 Matched with  process :5 transition :158
178 1388 178 4 Irecv 5 0 178{[4, 179][4, 197]} {}	 Matched with  process :5 transition :157
179 1391 179 4 WaitAll{[4, 180][4, 181][4, 182][4, 183][4, 184][4, 185][4, 194][4, 195]} {}
180 1408 180 4 Isend 1 0 180{[4, 184][4, 197]} {}	 Matched with  process :1 transition :163
181 1410 181 4 Irecv 1 0 181{[4, 184][4, 197]} {}	 Matched with  process :1 transition :162
182 1412 182 4 Isend 7 0 182{[4, 184][4, 197]} {}	 Matched with  process :7 transition :163
183 1414 183 4 Irecv 7 0 183{[4, 184][4, 197]} {}	 Matched with  process :7 transition :162
184 1416 184 4 WaitAll{[4, 185][4, 194][4, 195][4, 197]} {}
185 1431 185 4 Barrier 82{[4, 186][4, 197]} {}
186 1439 186 4 Barrier 83{[4, 187][4, 197]} {}
187 1448 187 4 Barrier 84{[4, 188][4, 197]} {}
188 1457 188 4 Barrier 85{[4, 189][4, 197]} {}
189 1466 189 4 Barrier 86{[4, 190][4, 197]} {}
190 1475 190 4 Barrier 87{[4, 191][4, 197]} {}
191 1484 191 4 Barrier 88{[4, 192][4, 197]} {}
192 1493 192 4 Barrier 89{[4, 193][4, 197]} {}
193 1502 193 4 Barrier 90{[4, 196][4, 197]} {}
194 1511 194 4 Reduce 1{[4, 197]} {}
195 1520 195 4 Comm_free 1{[4, 197]} {}
196 1529 196 4 Comm_free 2{[4, 197]} {}
197 1538 197 4 Finalize{} {}


Transition list for 5
0 6 0 5 Bcast 0{[5, 1]} {}
1 15 1 5 Bcast 0{[5, 2]} {}
2 24 2 5 Comm_dup 1{[5, 3]} {}
3 33 3 5 Comm_dup 2{[5, 174]} {}
4 42 4 5 Isend 4 0 4{[5, 6][5, 21][5, 38][5, 55][5, 72][5, 89][5, 106][5, 123][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :7
5 51 5 5 Irecv 4 0 5{[5, 6][5, 22][5, 39][5, 56][5, 73][5, 90][5, 107][5, 124][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :6
6 60 6 5 WaitAll{[5, 7][5, 8][5, 9][5, 10][5, 11][5, 12][5, 21][5, 22][5, 24][5, 25][5, 26][5, 27][5, 38][5, 39][5, 41][5, 42][5, 43][5, 44][5, 55][5, 56][5, 58][5, 59][5, 60][5, 61][5, 72][5, 73][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
7 86 7 5 Isend 2 0 7{[5, 11][5, 24][5, 41][5, 58][5, 75][5, 92][5, 109][5, 126][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :8
8 88 8 5 Irecv 2 0 8{[5, 11][5, 25][5, 42][5, 59][5, 76][5, 93][5, 110][5, 127][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :7
9 90 9 5 Isend 8 0 9{[5, 11][5, 26][5, 43][5, 60][5, 77][5, 94][5, 111][5, 128][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :8
10 92 10 5 Irecv 8 0 10{[5, 11][5, 27][5, 44][5, 61][5, 78][5, 95][5, 112][5, 129][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :7
11 94 11 5 WaitAll{[5, 12][5, 21][5, 22][5, 23][5, 24][5, 25][5, 26][5, 27][5, 38][5, 39][5, 41][5, 42][5, 43][5, 44][5, 55][5, 56][5, 58][5, 59][5, 60][5, 61][5, 72][5, 73][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
12 110 12 5 Barrier 1{[5, 13]} {}
13 117 13 5 Barrier 2{[5, 14]} {}
14 126 14 5 Barrier 3{[5, 15]} {}
15 135 15 5 Barrier 4{[5, 16]} {}
16 144 16 5 Barrier 5{[5, 17]} {}
17 153 17 5 Barrier 6{[5, 18]} {}
18 162 18 5 Barrier 7{[5, 19]} {}
19 171 19 5 Barrier 8{[5, 20]} {}
20 180 20 5 Barrier 9{[5, 29]} {}
21 189 21 5 Isend 4 0 21{[5, 23][5, 38][5, 55][5, 72][5, 89][5, 106][5, 123][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :26
22 198 22 5 Irecv 4 0 22{[5, 23][5, 39][5, 56][5, 73][5, 90][5, 107][5, 124][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :25
23 207 23 5 WaitAll{[5, 24][5, 25][5, 26][5, 27][5, 28][5, 29][5, 38][5, 39][5, 41][5, 42][5, 43][5, 44][5, 55][5, 56][5, 58][5, 59][5, 60][5, 61][5, 72][5, 73][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
24 233 24 5 Isend 2 0 24{[5, 28][5, 41][5, 58][5, 75][5, 92][5, 109][5, 126][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :23
25 235 25 5 Irecv 2 0 25{[5, 28][5, 42][5, 59][5, 76][5, 93][5, 110][5, 127][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :22
26 237 26 5 Isend 8 0 26{[5, 28][5, 43][5, 60][5, 77][5, 94][5, 111][5, 128][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :23
27 239 27 5 Irecv 8 0 27{[5, 28][5, 44][5, 61][5, 78][5, 95][5, 112][5, 129][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :22
28 241 28 5 WaitAll{[5, 29][5, 38][5, 39][5, 40][5, 41][5, 42][5, 43][5, 44][5, 55][5, 56][5, 58][5, 59][5, 60][5, 61][5, 72][5, 73][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
29 257 29 5 Barrier 10{[5, 30]} {}
30 264 30 5 Barrier 11{[5, 31]} {}
31 273 31 5 Barrier 12{[5, 32]} {}
32 282 32 5 Barrier 13{[5, 33]} {}
33 291 33 5 Barrier 14{[5, 34]} {}
34 300 34 5 Barrier 15{[5, 35]} {}
35 309 35 5 Barrier 16{[5, 36]} {}
36 318 36 5 Barrier 17{[5, 37]} {}
37 327 37 5 Barrier 18{[5, 46]} {}
38 336 38 5 Isend 4 0 38{[5, 40][5, 55][5, 72][5, 89][5, 106][5, 123][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :45
39 345 39 5 Irecv 4 0 39{[5, 40][5, 56][5, 73][5, 90][5, 107][5, 124][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :44
40 354 40 5 WaitAll{[5, 41][5, 42][5, 43][5, 44][5, 45][5, 46][5, 55][5, 56][5, 58][5, 59][5, 60][5, 61][5, 72][5, 73][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
41 380 41 5 Isend 2 0 41{[5, 45][5, 58][5, 75][5, 92][5, 109][5, 126][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :38
42 382 42 5 Irecv 2 0 42{[5, 45][5, 59][5, 76][5, 93][5, 110][5, 127][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :37
43 384 43 5 Isend 8 0 43{[5, 45][5, 60][5, 77][5, 94][5, 111][5, 128][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :38
44 386 44 5 Irecv 8 0 44{[5, 45][5, 61][5, 78][5, 95][5, 112][5, 129][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :37
45 388 45 5 WaitAll{[5, 46][5, 55][5, 56][5, 57][5, 58][5, 59][5, 60][5, 61][5, 72][5, 73][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
46 404 46 5 Barrier 19{[5, 47]} {}
47 411 47 5 Barrier 20{[5, 48]} {}
48 420 48 5 Barrier 21{[5, 49]} {}
49 429 49 5 Barrier 22{[5, 50]} {}
50 438 50 5 Barrier 23{[5, 51]} {}
51 447 51 5 Barrier 24{[5, 52]} {}
52 456 52 5 Barrier 25{[5, 53]} {}
53 465 53 5 Barrier 26{[5, 54]} {}
54 474 54 5 Barrier 27{[5, 63]} {}
55 483 55 5 Isend 4 0 55{[5, 57][5, 72][5, 89][5, 106][5, 123][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :64
56 492 56 5 Irecv 4 0 56{[5, 57][5, 73][5, 90][5, 107][5, 124][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :63
57 501 57 5 WaitAll{[5, 58][5, 59][5, 60][5, 61][5, 62][5, 63][5, 72][5, 73][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
58 527 58 5 Isend 2 0 58{[5, 62][5, 75][5, 92][5, 109][5, 126][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :53
59 529 59 5 Irecv 2 0 59{[5, 62][5, 76][5, 93][5, 110][5, 127][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :52
60 531 60 5 Isend 8 0 60{[5, 62][5, 77][5, 94][5, 111][5, 128][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :53
61 533 61 5 Irecv 8 0 61{[5, 62][5, 78][5, 95][5, 112][5, 129][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :52
62 535 62 5 WaitAll{[5, 63][5, 72][5, 73][5, 74][5, 75][5, 76][5, 77][5, 78][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
63 551 63 5 Barrier 28{[5, 64]} {}
64 558 64 5 Barrier 29{[5, 65]} {}
65 567 65 5 Barrier 30{[5, 66]} {}
66 576 66 5 Barrier 31{[5, 67]} {}
67 585 67 5 Barrier 32{[5, 68]} {}
68 594 68 5 Barrier 33{[5, 69]} {}
69 603 69 5 Barrier 34{[5, 70]} {}
70 612 70 5 Barrier 35{[5, 71]} {}
71 621 71 5 Barrier 36{[5, 80]} {}
72 630 72 5 Isend 4 0 72{[5, 74][5, 89][5, 106][5, 123][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :83
73 639 73 5 Irecv 4 0 73{[5, 74][5, 90][5, 107][5, 124][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :82
74 648 74 5 WaitAll{[5, 75][5, 76][5, 77][5, 78][5, 79][5, 80][5, 89][5, 90][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
75 674 75 5 Isend 2 0 75{[5, 79][5, 92][5, 109][5, 126][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :68
76 676 76 5 Irecv 2 0 76{[5, 79][5, 93][5, 110][5, 127][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :67
77 678 77 5 Isend 8 0 77{[5, 79][5, 94][5, 111][5, 128][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :68
78 680 78 5 Irecv 8 0 78{[5, 79][5, 95][5, 112][5, 129][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :67
79 682 79 5 WaitAll{[5, 80][5, 89][5, 90][5, 91][5, 92][5, 93][5, 94][5, 95][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
80 698 80 5 Barrier 37{[5, 81]} {}
81 705 81 5 Barrier 38{[5, 82]} {}
82 714 82 5 Barrier 39{[5, 83]} {}
83 723 83 5 Barrier 40{[5, 84]} {}
84 732 84 5 Barrier 41{[5, 85]} {}
85 741 85 5 Barrier 42{[5, 86]} {}
86 750 86 5 Barrier 43{[5, 87]} {}
87 759 87 5 Barrier 44{[5, 88]} {}
88 768 88 5 Barrier 45{[5, 97]} {}
89 777 89 5 Isend 4 0 89{[5, 91][5, 106][5, 123][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :102
90 786 90 5 Irecv 4 0 90{[5, 91][5, 107][5, 124][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :101
91 795 91 5 WaitAll{[5, 92][5, 93][5, 94][5, 95][5, 96][5, 97][5, 106][5, 107][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
92 821 92 5 Isend 2 0 92{[5, 96][5, 109][5, 126][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :83
93 823 93 5 Irecv 2 0 93{[5, 96][5, 110][5, 127][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :82
94 825 94 5 Isend 8 0 94{[5, 96][5, 111][5, 128][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :83
95 827 95 5 Irecv 8 0 95{[5, 96][5, 112][5, 129][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :82
96 829 96 5 WaitAll{[5, 97][5, 106][5, 107][5, 108][5, 109][5, 110][5, 111][5, 112][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
97 845 97 5 Barrier 46{[5, 98]} {}
98 852 98 5 Barrier 47{[5, 99]} {}
99 861 99 5 Barrier 48{[5, 100]} {}
100 870 100 5 Barrier 49{[5, 101]} {}
101 879 101 5 Barrier 50{[5, 102]} {}
102 888 102 5 Barrier 51{[5, 103]} {}
103 897 103 5 Barrier 52{[5, 104]} {}
104 906 104 5 Barrier 53{[5, 105]} {}
105 915 105 5 Barrier 54{[5, 114]} {}
106 924 106 5 Isend 4 0 106{[5, 108][5, 123][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :121
107 933 107 5 Irecv 4 0 107{[5, 108][5, 124][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :120
108 942 108 5 WaitAll{[5, 109][5, 110][5, 111][5, 112][5, 113][5, 114][5, 123][5, 124][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
109 968 109 5 Isend 2 0 109{[5, 113][5, 126][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :98
110 970 110 5 Irecv 2 0 110{[5, 113][5, 127][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :97
111 972 111 5 Isend 8 0 111{[5, 113][5, 128][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :98
112 974 112 5 Irecv 8 0 112{[5, 113][5, 129][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :97
113 976 113 5 WaitAll{[5, 114][5, 123][5, 124][5, 125][5, 126][5, 127][5, 128][5, 129][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
114 992 114 5 Barrier 55{[5, 115]} {}
115 999 115 5 Barrier 56{[5, 116]} {}
116 1008 116 5 Barrier 57{[5, 117]} {}
117 1017 117 5 Barrier 58{[5, 118]} {}
118 1026 118 5 Barrier 59{[5, 119]} {}
119 1035 119 5 Barrier 60{[5, 120]} {}
120 1044 120 5 Barrier 61{[5, 121]} {}
121 1053 121 5 Barrier 62{[5, 122]} {}
122 1062 122 5 Barrier 63{[5, 131]} {}
123 1071 123 5 Isend 4 0 123{[5, 125][5, 140][5, 157][5, 177]} {}	 Matched with  process :4 transition :140
124 1080 124 5 Irecv 4 0 124{[5, 125][5, 141][5, 158][5, 177]} {}	 Matched with  process :4 transition :139
125 1089 125 5 WaitAll{[5, 126][5, 127][5, 128][5, 129][5, 130][5, 131][5, 140][5, 141][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
126 1115 126 5 Isend 2 0 126{[5, 130][5, 143][5, 160][5, 177]} {}	 Matched with  process :2 transition :113
127 1117 127 5 Irecv 2 0 127{[5, 130][5, 144][5, 161][5, 177]} {}	 Matched with  process :2 transition :112
128 1119 128 5 Isend 8 0 128{[5, 130][5, 145][5, 162][5, 177]} {}	 Matched with  process :8 transition :113
129 1121 129 5 Irecv 8 0 129{[5, 130][5, 146][5, 163][5, 177]} {}	 Matched with  process :8 transition :112
130 1123 130 5 WaitAll{[5, 131][5, 140][5, 141][5, 142][5, 143][5, 144][5, 145][5, 146][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
131 1139 131 5 Barrier 64{[5, 132]} {}
132 1146 132 5 Barrier 65{[5, 133]} {}
133 1155 133 5 Barrier 66{[5, 134]} {}
134 1164 134 5 Barrier 67{[5, 135]} {}
135 1173 135 5 Barrier 68{[5, 136]} {}
136 1182 136 5 Barrier 69{[5, 137]} {}
137 1191 137 5 Barrier 70{[5, 138]} {}
138 1200 138 5 Barrier 71{[5, 139]} {}
139 1209 139 5 Barrier 72{[5, 148]} {}
140 1218 140 5 Isend 4 0 140{[5, 142][5, 157][5, 177]} {}	 Matched with  process :4 transition :159
141 1227 141 5 Irecv 4 0 141{[5, 142][5, 158][5, 177]} {}	 Matched with  process :4 transition :158
142 1236 142 5 WaitAll{[5, 143][5, 144][5, 145][5, 146][5, 147][5, 148][5, 157][5, 158][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
143 1262 143 5 Isend 2 0 143{[5, 147][5, 160][5, 177]} {}	 Matched with  process :2 transition :128
144 1264 144 5 Irecv 2 0 144{[5, 147][5, 161][5, 177]} {}	 Matched with  process :2 transition :127
145 1266 145 5 Isend 8 0 145{[5, 147][5, 162][5, 177]} {}	 Matched with  process :8 transition :128
146 1268 146 5 Irecv 8 0 146{[5, 147][5, 163][5, 177]} {}	 Matched with  process :8 transition :127
147 1270 147 5 WaitAll{[5, 148][5, 157][5, 158][5, 159][5, 160][5, 161][5, 162][5, 163][5, 174][5, 175]} {}
148 1286 148 5 Barrier 73{[5, 149]} {}
149 1293 149 5 Barrier 74{[5, 150]} {}
150 1302 150 5 Barrier 75{[5, 151]} {}
151 1311 151 5 Barrier 76{[5, 152]} {}
152 1320 152 5 Barrier 77{[5, 153]} {}
153 1329 153 5 Barrier 78{[5, 154]} {}
154 1338 154 5 Barrier 79{[5, 155]} {}
155 1347 155 5 Barrier 80{[5, 156]} {}
156 1356 156 5 Barrier 81{[5, 165]} {}
157 1365 157 5 Isend 4 0 157{[5, 159][5, 177]} {}	 Matched with  process :4 transition :178
158 1374 158 5 Irecv 4 0 158{[5, 159][5, 177]} {}	 Matched with  process :4 transition :177
159 1383 159 5 WaitAll{[5, 160][5, 161][5, 162][5, 163][5, 164][5, 165][5, 174][5, 175]} {}
160 1409 160 5 Isend 2 0 160{[5, 164][5, 177]} {}	 Matched with  process :2 transition :143
161 1411 161 5 Irecv 2 0 161{[5, 164][5, 177]} {}	 Matched with  process :2 transition :142
162 1413 162 5 Isend 8 0 162{[5, 164][5, 177]} {}	 Matched with  process :8 transition :143
163 1415 163 5 Irecv 8 0 163{[5, 164][5, 177]} {}	 Matched with  process :8 transition :142
164 1417 164 5 WaitAll{[5, 165][5, 174][5, 175][5, 177]} {}
165 1433 165 5 Barrier 82{[5, 166][5, 177]} {}
166 1440 166 5 Barrier 83{[5, 167][5, 177]} {}
167 1449 167 5 Barrier 84{[5, 168][5, 177]} {}
168 1458 168 5 Barrier 85{[5, 169][5, 177]} {}
169 1467 169 5 Barrier 86{[5, 170][5, 177]} {}
170 1476 170 5 Barrier 87{[5, 171][5, 177]} {}
171 1485 171 5 Barrier 88{[5, 172][5, 177]} {}
172 1494 172 5 Barrier 89{[5, 173][5, 177]} {}
173 1503 173 5 Barrier 90{[5, 176][5, 177]} {}
174 1512 174 5 Reduce 1{[5, 177]} {}
175 1521 175 5 Comm_free 1{[5, 177]} {}
176 1530 176 5 Comm_free 2{[5, 177]} {}
177 1539 177 5 Finalize{} {}


Transition list for 6
0 7 0 6 Bcast 0{[6, 1]} {}
1 16 1 6 Bcast 0{[6, 2]} {}
2 25 2 6 Comm_dup 1{[6, 3]} {}
3 34 3 6 Comm_dup 2{[6, 154]} {}
4 43 4 6 Isend 7 0 4{[6, 6][6, 19][6, 34][6, 49][6, 64][6, 79][6, 94][6, 109][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :5
5 52 5 6 Irecv 7 0 5{[6, 6][6, 20][6, 35][6, 50][6, 65][6, 80][6, 95][6, 110][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :4
6 61 6 6 WaitAll{[6, 7][6, 8][6, 9][6, 10][6, 19][6, 20][6, 22][6, 23][6, 34][6, 35][6, 37][6, 38][6, 49][6, 50][6, 52][6, 53][6, 64][6, 65][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
7 97 7 6 Isend 3 0 7{[6, 9][6, 22][6, 37][6, 52][6, 67][6, 82][6, 97][6, 112][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :10
8 98 8 6 Irecv 3 0 8{[6, 9][6, 23][6, 38][6, 53][6, 68][6, 83][6, 98][6, 113][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :9
9 99 9 6 WaitAll{[6, 10][6, 19][6, 20][6, 21][6, 22][6, 23][6, 34][6, 35][6, 37][6, 38][6, 49][6, 50][6, 52][6, 53][6, 64][6, 65][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
10 101 10 6 Barrier 1{[6, 11]} {}
11 118 11 6 Barrier 2{[6, 12]} {}
12 127 12 6 Barrier 3{[6, 13]} {}
13 136 13 6 Barrier 4{[6, 14]} {}
14 145 14 6 Barrier 5{[6, 15]} {}
15 154 15 6 Barrier 6{[6, 16]} {}
16 163 16 6 Barrier 7{[6, 17]} {}
17 172 17 6 Barrier 8{[6, 18]} {}
18 181 18 6 Barrier 9{[6, 25]} {}
19 190 19 6 Isend 7 0 19{[6, 21][6, 34][6, 49][6, 64][6, 79][6, 94][6, 109][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :22
20 199 20 6 Irecv 7 0 20{[6, 21][6, 35][6, 50][6, 65][6, 80][6, 95][6, 110][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :21
21 208 21 6 WaitAll{[6, 22][6, 23][6, 24][6, 25][6, 34][6, 35][6, 37][6, 38][6, 49][6, 50][6, 52][6, 53][6, 64][6, 65][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
22 244 22 6 Isend 3 0 22{[6, 24][6, 37][6, 52][6, 67][6, 82][6, 97][6, 112][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :27
23 245 23 6 Irecv 3 0 23{[6, 24][6, 38][6, 53][6, 68][6, 83][6, 98][6, 113][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :26
24 246 24 6 WaitAll{[6, 25][6, 34][6, 35][6, 36][6, 37][6, 38][6, 49][6, 50][6, 52][6, 53][6, 64][6, 65][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
25 248 25 6 Barrier 10{[6, 26]} {}
26 265 26 6 Barrier 11{[6, 27]} {}
27 274 27 6 Barrier 12{[6, 28]} {}
28 283 28 6 Barrier 13{[6, 29]} {}
29 292 29 6 Barrier 14{[6, 30]} {}
30 301 30 6 Barrier 15{[6, 31]} {}
31 310 31 6 Barrier 16{[6, 32]} {}
32 319 32 6 Barrier 17{[6, 33]} {}
33 328 33 6 Barrier 18{[6, 40]} {}
34 337 34 6 Isend 7 0 34{[6, 36][6, 49][6, 64][6, 79][6, 94][6, 109][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :39
35 346 35 6 Irecv 7 0 35{[6, 36][6, 50][6, 65][6, 80][6, 95][6, 110][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :38
36 355 36 6 WaitAll{[6, 37][6, 38][6, 39][6, 40][6, 49][6, 50][6, 52][6, 53][6, 64][6, 65][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
37 391 37 6 Isend 3 0 37{[6, 39][6, 52][6, 67][6, 82][6, 97][6, 112][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :44
38 392 38 6 Irecv 3 0 38{[6, 39][6, 53][6, 68][6, 83][6, 98][6, 113][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :43
39 393 39 6 WaitAll{[6, 40][6, 49][6, 50][6, 51][6, 52][6, 53][6, 64][6, 65][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
40 395 40 6 Barrier 19{[6, 41]} {}
41 412 41 6 Barrier 20{[6, 42]} {}
42 421 42 6 Barrier 21{[6, 43]} {}
43 430 43 6 Barrier 22{[6, 44]} {}
44 439 44 6 Barrier 23{[6, 45]} {}
45 448 45 6 Barrier 24{[6, 46]} {}
46 457 46 6 Barrier 25{[6, 47]} {}
47 466 47 6 Barrier 26{[6, 48]} {}
48 475 48 6 Barrier 27{[6, 55]} {}
49 484 49 6 Isend 7 0 49{[6, 51][6, 64][6, 79][6, 94][6, 109][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :56
50 493 50 6 Irecv 7 0 50{[6, 51][6, 65][6, 80][6, 95][6, 110][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :55
51 502 51 6 WaitAll{[6, 52][6, 53][6, 54][6, 55][6, 64][6, 65][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
52 538 52 6 Isend 3 0 52{[6, 54][6, 67][6, 82][6, 97][6, 112][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :61
53 539 53 6 Irecv 3 0 53{[6, 54][6, 68][6, 83][6, 98][6, 113][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :60
54 540 54 6 WaitAll{[6, 55][6, 64][6, 65][6, 66][6, 67][6, 68][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
55 542 55 6 Barrier 28{[6, 56]} {}
56 559 56 6 Barrier 29{[6, 57]} {}
57 568 57 6 Barrier 30{[6, 58]} {}
58 577 58 6 Barrier 31{[6, 59]} {}
59 586 59 6 Barrier 32{[6, 60]} {}
60 595 60 6 Barrier 33{[6, 61]} {}
61 604 61 6 Barrier 34{[6, 62]} {}
62 613 62 6 Barrier 35{[6, 63]} {}
63 622 63 6 Barrier 36{[6, 70]} {}
64 631 64 6 Isend 7 0 64{[6, 66][6, 79][6, 94][6, 109][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :73
65 640 65 6 Irecv 7 0 65{[6, 66][6, 80][6, 95][6, 110][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :72
66 649 66 6 WaitAll{[6, 67][6, 68][6, 69][6, 70][6, 79][6, 80][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
67 685 67 6 Isend 3 0 67{[6, 69][6, 82][6, 97][6, 112][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :78
68 686 68 6 Irecv 3 0 68{[6, 69][6, 83][6, 98][6, 113][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :77
69 687 69 6 WaitAll{[6, 70][6, 79][6, 80][6, 81][6, 82][6, 83][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
70 689 70 6 Barrier 37{[6, 71]} {}
71 706 71 6 Barrier 38{[6, 72]} {}
72 715 72 6 Barrier 39{[6, 73]} {}
73 724 73 6 Barrier 40{[6, 74]} {}
74 733 74 6 Barrier 41{[6, 75]} {}
75 742 75 6 Barrier 42{[6, 76]} {}
76 751 76 6 Barrier 43{[6, 77]} {}
77 760 77 6 Barrier 44{[6, 78]} {}
78 769 78 6 Barrier 45{[6, 85]} {}
79 778 79 6 Isend 7 0 79{[6, 81][6, 94][6, 109][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :90
80 787 80 6 Irecv 7 0 80{[6, 81][6, 95][6, 110][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :89
81 796 81 6 WaitAll{[6, 82][6, 83][6, 84][6, 85][6, 94][6, 95][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
82 832 82 6 Isend 3 0 82{[6, 84][6, 97][6, 112][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :95
83 833 83 6 Irecv 3 0 83{[6, 84][6, 98][6, 113][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :94
84 834 84 6 WaitAll{[6, 85][6, 94][6, 95][6, 96][6, 97][6, 98][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
85 836 85 6 Barrier 46{[6, 86]} {}
86 853 86 6 Barrier 47{[6, 87]} {}
87 862 87 6 Barrier 48{[6, 88]} {}
88 871 88 6 Barrier 49{[6, 89]} {}
89 880 89 6 Barrier 50{[6, 90]} {}
90 889 90 6 Barrier 51{[6, 91]} {}
91 898 91 6 Barrier 52{[6, 92]} {}
92 907 92 6 Barrier 53{[6, 93]} {}
93 916 93 6 Barrier 54{[6, 100]} {}
94 925 94 6 Isend 7 0 94{[6, 96][6, 109][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :107
95 934 95 6 Irecv 7 0 95{[6, 96][6, 110][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :106
96 943 96 6 WaitAll{[6, 97][6, 98][6, 99][6, 100][6, 109][6, 110][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
97 979 97 6 Isend 3 0 97{[6, 99][6, 112][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :112
98 980 98 6 Irecv 3 0 98{[6, 99][6, 113][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :111
99 981 99 6 WaitAll{[6, 100][6, 109][6, 110][6, 111][6, 112][6, 113][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
100 983 100 6 Barrier 55{[6, 101]} {}
101 1000 101 6 Barrier 56{[6, 102]} {}
102 1009 102 6 Barrier 57{[6, 103]} {}
103 1018 103 6 Barrier 58{[6, 104]} {}
104 1027 104 6 Barrier 59{[6, 105]} {}
105 1036 105 6 Barrier 60{[6, 106]} {}
106 1045 106 6 Barrier 61{[6, 107]} {}
107 1054 107 6 Barrier 62{[6, 108]} {}
108 1063 108 6 Barrier 63{[6, 115]} {}
109 1072 109 6 Isend 7 0 109{[6, 111][6, 124][6, 139][6, 157]} {}	 Matched with  process :7 transition :124
110 1081 110 6 Irecv 7 0 110{[6, 111][6, 125][6, 140][6, 157]} {}	 Matched with  process :7 transition :123
111 1090 111 6 WaitAll{[6, 112][6, 113][6, 114][6, 115][6, 124][6, 125][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
112 1126 112 6 Isend 3 0 112{[6, 114][6, 127][6, 142][6, 157]} {}	 Matched with  process :3 transition :129
113 1127 113 6 Irecv 3 0 113{[6, 114][6, 128][6, 143][6, 157]} {}	 Matched with  process :3 transition :128
114 1128 114 6 WaitAll{[6, 115][6, 124][6, 125][6, 126][6, 127][6, 128][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
115 1130 115 6 Barrier 64{[6, 116]} {}
116 1147 116 6 Barrier 65{[6, 117]} {}
117 1156 117 6 Barrier 66{[6, 118]} {}
118 1165 118 6 Barrier 67{[6, 119]} {}
119 1174 119 6 Barrier 68{[6, 120]} {}
120 1183 120 6 Barrier 69{[6, 121]} {}
121 1192 121 6 Barrier 70{[6, 122]} {}
122 1201 122 6 Barrier 71{[6, 123]} {}
123 1210 123 6 Barrier 72{[6, 130]} {}
124 1219 124 6 Isend 7 0 124{[6, 126][6, 139][6, 157]} {}	 Matched with  process :7 transition :141
125 1228 125 6 Irecv 7 0 125{[6, 126][6, 140][6, 157]} {}	 Matched with  process :7 transition :140
126 1237 126 6 WaitAll{[6, 127][6, 128][6, 129][6, 130][6, 139][6, 140][6, 142][6, 143][6, 154][6, 155]} {}
127 1273 127 6 Isend 3 0 127{[6, 129][6, 142][6, 157]} {}	 Matched with  process :3 transition :146
128 1274 128 6 Irecv 3 0 128{[6, 129][6, 143][6, 157]} {}	 Matched with  process :3 transition :145
129 1275 129 6 WaitAll{[6, 130][6, 139][6, 140][6, 141][6, 142][6, 143][6, 154][6, 155]} {}
130 1277 130 6 Barrier 73{[6, 131]} {}
131 1294 131 6 Barrier 74{[6, 132]} {}
132 1303 132 6 Barrier 75{[6, 133]} {}
133 1312 133 6 Barrier 76{[6, 134]} {}
134 1321 134 6 Barrier 77{[6, 135]} {}
135 1330 135 6 Barrier 78{[6, 136]} {}
136 1339 136 6 Barrier 79{[6, 137]} {}
137 1348 137 6 Barrier 80{[6, 138]} {}
138 1357 138 6 Barrier 81{[6, 145]} {}
139 1366 139 6 Isend 7 0 139{[6, 141][6, 157]} {}	 Matched with  process :7 transition :158
140 1375 140 6 Irecv 7 0 140{[6, 141][6, 157]} {}	 Matched with  process :7 transition :157
141 1384 141 6 WaitAll{[6, 142][6, 143][6, 144][6, 145][6, 154][6, 155]} {}
142 1420 142 6 Isend 3 0 142{[6, 144][6, 157]} {}	 Matched with  process :3 transition :163
143 1421 143 6 Irecv 3 0 143{[6, 144][6, 157]} {}	 Matched with  process :3 transition :162
144 1422 144 6 WaitAll{[6, 145][6, 154][6, 155][6, 157]} {}
145 1424 145 6 Barrier 82{[6, 146][6, 157]} {}
146 1441 146 6 Barrier 83{[6, 147][6, 157]} {}
147 1450 147 6 Barrier 84{[6, 148][6, 157]} {}
148 1459 148 6 Barrier 85{[6, 149][6, 157]} {}
149 1468 149 6 Barrier 86{[6, 150][6, 157]} {}
150 1477 150 6 Barrier 87{[6, 151][6, 157]} {}
151 1486 151 6 Barrier 88{[6, 152][6, 157]} {}
152 1495 152 6 Barrier 89{[6, 153][6, 157]} {}
153 1504 153 6 Barrier 90{[6, 156][6, 157]} {}
154 1513 154 6 Reduce 1{[6, 157]} {}
155 1522 155 6 Comm_free 1{[6, 157]} {}
156 1531 156 6 Comm_free 2{[6, 157]} {}
157 1540 157 6 Finalize{} {}


Transition list for 7
0 8 0 7 Bcast 0{[7, 1]} {}
1 17 1 7 Bcast 0{[7, 2]} {}
2 26 2 7 Comm_dup 1{[7, 3]} {}
3 35 3 7 Comm_dup 2{[7, 174]} {}
4 44 4 7 Isend 6 0 4{[7, 8][7, 21][7, 38][7, 55][7, 72][7, 89][7, 106][7, 123][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :5
5 53 5 7 Irecv 6 0 5{[7, 8][7, 22][7, 39][7, 56][7, 73][7, 90][7, 107][7, 124][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :4
6 62 6 7 Isend 8 0 6{[7, 8][7, 23][7, 40][7, 57][7, 74][7, 91][7, 108][7, 125][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :5
7 66 7 7 Irecv 8 0 7{[7, 8][7, 24][7, 41][7, 58][7, 75][7, 92][7, 109][7, 126][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :4
8 69 8 7 WaitAll{[7, 9][7, 10][7, 11][7, 12][7, 21][7, 22][7, 23][7, 24][7, 26][7, 27][7, 38][7, 39][7, 40][7, 41][7, 43][7, 44][7, 55][7, 56][7, 57][7, 58][7, 60][7, 61][7, 72][7, 73][7, 74][7, 75][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
9 102 9 7 Isend 4 0 9{[7, 11][7, 26][7, 43][7, 60][7, 77][7, 94][7, 111][7, 128][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :12
10 104 10 7 Irecv 4 0 10{[7, 11][7, 27][7, 44][7, 61][7, 78][7, 95][7, 112][7, 129][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :11
11 106 11 7 WaitAll{[7, 12][7, 21][7, 22][7, 23][7, 24][7, 25][7, 26][7, 27][7, 38][7, 39][7, 40][7, 41][7, 43][7, 44][7, 55][7, 56][7, 57][7, 58][7, 60][7, 61][7, 72][7, 73][7, 74][7, 75][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
12 109 12 7 Barrier 1{[7, 13]} {}
13 119 13 7 Barrier 2{[7, 14]} {}
14 128 14 7 Barrier 3{[7, 15]} {}
15 137 15 7 Barrier 4{[7, 16]} {}
16 146 16 7 Barrier 5{[7, 17]} {}
17 155 17 7 Barrier 6{[7, 18]} {}
18 164 18 7 Barrier 7{[7, 19]} {}
19 173 19 7 Barrier 8{[7, 20]} {}
20 182 20 7 Barrier 9{[7, 29]} {}
21 191 21 7 Isend 6 0 21{[7, 25][7, 38][7, 55][7, 72][7, 89][7, 106][7, 123][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :20
22 200 22 7 Irecv 6 0 22{[7, 25][7, 39][7, 56][7, 73][7, 90][7, 107][7, 124][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :19
23 209 23 7 Isend 8 0 23{[7, 25][7, 40][7, 57][7, 74][7, 91][7, 108][7, 125][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :20
24 213 24 7 Irecv 8 0 24{[7, 25][7, 41][7, 58][7, 75][7, 92][7, 109][7, 126][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :19
25 216 25 7 WaitAll{[7, 26][7, 27][7, 28][7, 29][7, 38][7, 39][7, 40][7, 41][7, 43][7, 44][7, 55][7, 56][7, 57][7, 58][7, 60][7, 61][7, 72][7, 73][7, 74][7, 75][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
26 249 26 7 Isend 4 0 26{[7, 28][7, 43][7, 60][7, 77][7, 94][7, 111][7, 128][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :31
27 251 27 7 Irecv 4 0 27{[7, 28][7, 44][7, 61][7, 78][7, 95][7, 112][7, 129][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :30
28 253 28 7 WaitAll{[7, 29][7, 38][7, 39][7, 40][7, 41][7, 42][7, 43][7, 44][7, 55][7, 56][7, 57][7, 58][7, 60][7, 61][7, 72][7, 73][7, 74][7, 75][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
29 256 29 7 Barrier 10{[7, 30]} {}
30 266 30 7 Barrier 11{[7, 31]} {}
31 275 31 7 Barrier 12{[7, 32]} {}
32 284 32 7 Barrier 13{[7, 33]} {}
33 293 33 7 Barrier 14{[7, 34]} {}
34 302 34 7 Barrier 15{[7, 35]} {}
35 311 35 7 Barrier 16{[7, 36]} {}
36 320 36 7 Barrier 17{[7, 37]} {}
37 329 37 7 Barrier 18{[7, 46]} {}
38 338 38 7 Isend 6 0 38{[7, 42][7, 55][7, 72][7, 89][7, 106][7, 123][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :35
39 347 39 7 Irecv 6 0 39{[7, 42][7, 56][7, 73][7, 90][7, 107][7, 124][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :34
40 356 40 7 Isend 8 0 40{[7, 42][7, 57][7, 74][7, 91][7, 108][7, 125][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :35
41 360 41 7 Irecv 8 0 41{[7, 42][7, 58][7, 75][7, 92][7, 109][7, 126][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :34
42 363 42 7 WaitAll{[7, 43][7, 44][7, 45][7, 46][7, 55][7, 56][7, 57][7, 58][7, 60][7, 61][7, 72][7, 73][7, 74][7, 75][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
43 396 43 7 Isend 4 0 43{[7, 45][7, 60][7, 77][7, 94][7, 111][7, 128][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :50
44 398 44 7 Irecv 4 0 44{[7, 45][7, 61][7, 78][7, 95][7, 112][7, 129][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :49
45 400 45 7 WaitAll{[7, 46][7, 55][7, 56][7, 57][7, 58][7, 59][7, 60][7, 61][7, 72][7, 73][7, 74][7, 75][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
46 403 46 7 Barrier 19{[7, 47]} {}
47 413 47 7 Barrier 20{[7, 48]} {}
48 422 48 7 Barrier 21{[7, 49]} {}
49 431 49 7 Barrier 22{[7, 50]} {}
50 440 50 7 Barrier 23{[7, 51]} {}
51 449 51 7 Barrier 24{[7, 52]} {}
52 458 52 7 Barrier 25{[7, 53]} {}
53 467 53 7 Barrier 26{[7, 54]} {}
54 476 54 7 Barrier 27{[7, 63]} {}
55 485 55 7 Isend 6 0 55{[7, 59][7, 72][7, 89][7, 106][7, 123][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :50
56 494 56 7 Irecv 6 0 56{[7, 59][7, 73][7, 90][7, 107][7, 124][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :49
57 503 57 7 Isend 8 0 57{[7, 59][7, 74][7, 91][7, 108][7, 125][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :50
58 507 58 7 Irecv 8 0 58{[7, 59][7, 75][7, 92][7, 109][7, 126][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :49
59 510 59 7 WaitAll{[7, 60][7, 61][7, 62][7, 63][7, 72][7, 73][7, 74][7, 75][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
60 543 60 7 Isend 4 0 60{[7, 62][7, 77][7, 94][7, 111][7, 128][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :69
61 545 61 7 Irecv 4 0 61{[7, 62][7, 78][7, 95][7, 112][7, 129][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :68
62 547 62 7 WaitAll{[7, 63][7, 72][7, 73][7, 74][7, 75][7, 76][7, 77][7, 78][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
63 550 63 7 Barrier 28{[7, 64]} {}
64 560 64 7 Barrier 29{[7, 65]} {}
65 569 65 7 Barrier 30{[7, 66]} {}
66 578 66 7 Barrier 31{[7, 67]} {}
67 587 67 7 Barrier 32{[7, 68]} {}
68 596 68 7 Barrier 33{[7, 69]} {}
69 605 69 7 Barrier 34{[7, 70]} {}
70 614 70 7 Barrier 35{[7, 71]} {}
71 623 71 7 Barrier 36{[7, 80]} {}
72 632 72 7 Isend 6 0 72{[7, 76][7, 89][7, 106][7, 123][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :65
73 641 73 7 Irecv 6 0 73{[7, 76][7, 90][7, 107][7, 124][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :64
74 650 74 7 Isend 8 0 74{[7, 76][7, 91][7, 108][7, 125][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :65
75 654 75 7 Irecv 8 0 75{[7, 76][7, 92][7, 109][7, 126][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :64
76 657 76 7 WaitAll{[7, 77][7, 78][7, 79][7, 80][7, 89][7, 90][7, 91][7, 92][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
77 690 77 7 Isend 4 0 77{[7, 79][7, 94][7, 111][7, 128][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :88
78 692 78 7 Irecv 4 0 78{[7, 79][7, 95][7, 112][7, 129][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :87
79 694 79 7 WaitAll{[7, 80][7, 89][7, 90][7, 91][7, 92][7, 93][7, 94][7, 95][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
80 697 80 7 Barrier 37{[7, 81]} {}
81 707 81 7 Barrier 38{[7, 82]} {}
82 716 82 7 Barrier 39{[7, 83]} {}
83 725 83 7 Barrier 40{[7, 84]} {}
84 734 84 7 Barrier 41{[7, 85]} {}
85 743 85 7 Barrier 42{[7, 86]} {}
86 752 86 7 Barrier 43{[7, 87]} {}
87 761 87 7 Barrier 44{[7, 88]} {}
88 770 88 7 Barrier 45{[7, 97]} {}
89 779 89 7 Isend 6 0 89{[7, 93][7, 106][7, 123][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :80
90 788 90 7 Irecv 6 0 90{[7, 93][7, 107][7, 124][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :79
91 797 91 7 Isend 8 0 91{[7, 93][7, 108][7, 125][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :80
92 801 92 7 Irecv 8 0 92{[7, 93][7, 109][7, 126][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :79
93 804 93 7 WaitAll{[7, 94][7, 95][7, 96][7, 97][7, 106][7, 107][7, 108][7, 109][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
94 837 94 7 Isend 4 0 94{[7, 96][7, 111][7, 128][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :107
95 839 95 7 Irecv 4 0 95{[7, 96][7, 112][7, 129][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :106
96 841 96 7 WaitAll{[7, 97][7, 106][7, 107][7, 108][7, 109][7, 110][7, 111][7, 112][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
97 844 97 7 Barrier 46{[7, 98]} {}
98 854 98 7 Barrier 47{[7, 99]} {}
99 863 99 7 Barrier 48{[7, 100]} {}
100 872 100 7 Barrier 49{[7, 101]} {}
101 881 101 7 Barrier 50{[7, 102]} {}
102 890 102 7 Barrier 51{[7, 103]} {}
103 899 103 7 Barrier 52{[7, 104]} {}
104 908 104 7 Barrier 53{[7, 105]} {}
105 917 105 7 Barrier 54{[7, 114]} {}
106 926 106 7 Isend 6 0 106{[7, 110][7, 123][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :95
107 935 107 7 Irecv 6 0 107{[7, 110][7, 124][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :94
108 944 108 7 Isend 8 0 108{[7, 110][7, 125][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :95
109 948 109 7 Irecv 8 0 109{[7, 110][7, 126][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :94
110 951 110 7 WaitAll{[7, 111][7, 112][7, 113][7, 114][7, 123][7, 124][7, 125][7, 126][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
111 984 111 7 Isend 4 0 111{[7, 113][7, 128][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :126
112 986 112 7 Irecv 4 0 112{[7, 113][7, 129][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :125
113 988 113 7 WaitAll{[7, 114][7, 123][7, 124][7, 125][7, 126][7, 127][7, 128][7, 129][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
114 991 114 7 Barrier 55{[7, 115]} {}
115 1001 115 7 Barrier 56{[7, 116]} {}
116 1010 116 7 Barrier 57{[7, 117]} {}
117 1019 117 7 Barrier 58{[7, 118]} {}
118 1028 118 7 Barrier 59{[7, 119]} {}
119 1037 119 7 Barrier 60{[7, 120]} {}
120 1046 120 7 Barrier 61{[7, 121]} {}
121 1055 121 7 Barrier 62{[7, 122]} {}
122 1064 122 7 Barrier 63{[7, 131]} {}
123 1073 123 7 Isend 6 0 123{[7, 127][7, 140][7, 157][7, 177]} {}	 Matched with  process :6 transition :110
124 1082 124 7 Irecv 6 0 124{[7, 127][7, 141][7, 158][7, 177]} {}	 Matched with  process :6 transition :109
125 1091 125 7 Isend 8 0 125{[7, 127][7, 142][7, 159][7, 177]} {}	 Matched with  process :8 transition :110
126 1095 126 7 Irecv 8 0 126{[7, 127][7, 143][7, 160][7, 177]} {}	 Matched with  process :8 transition :109
127 1098 127 7 WaitAll{[7, 128][7, 129][7, 130][7, 131][7, 140][7, 141][7, 142][7, 143][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
128 1131 128 7 Isend 4 0 128{[7, 130][7, 145][7, 162][7, 177]} {}	 Matched with  process :4 transition :145
129 1133 129 7 Irecv 4 0 129{[7, 130][7, 146][7, 163][7, 177]} {}	 Matched with  process :4 transition :144
130 1135 130 7 WaitAll{[7, 131][7, 140][7, 141][7, 142][7, 143][7, 144][7, 145][7, 146][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
131 1138 131 7 Barrier 64{[7, 132]} {}
132 1148 132 7 Barrier 65{[7, 133]} {}
133 1157 133 7 Barrier 66{[7, 134]} {}
134 1166 134 7 Barrier 67{[7, 135]} {}
135 1175 135 7 Barrier 68{[7, 136]} {}
136 1184 136 7 Barrier 69{[7, 137]} {}
137 1193 137 7 Barrier 70{[7, 138]} {}
138 1202 138 7 Barrier 71{[7, 139]} {}
139 1211 139 7 Barrier 72{[7, 148]} {}
140 1220 140 7 Isend 6 0 140{[7, 144][7, 157][7, 177]} {}	 Matched with  process :6 transition :125
141 1229 141 7 Irecv 6 0 141{[7, 144][7, 158][7, 177]} {}	 Matched with  process :6 transition :124
142 1238 142 7 Isend 8 0 142{[7, 144][7, 159][7, 177]} {}	 Matched with  process :8 transition :125
143 1242 143 7 Irecv 8 0 143{[7, 144][7, 160][7, 177]} {}	 Matched with  process :8 transition :124
144 1245 144 7 WaitAll{[7, 145][7, 146][7, 147][7, 148][7, 157][7, 158][7, 159][7, 160][7, 162][7, 163][7, 174][7, 175]} {}
145 1278 145 7 Isend 4 0 145{[7, 147][7, 162][7, 177]} {}	 Matched with  process :4 transition :164
146 1280 146 7 Irecv 4 0 146{[7, 147][7, 163][7, 177]} {}	 Matched with  process :4 transition :163
147 1282 147 7 WaitAll{[7, 148][7, 157][7, 158][7, 159][7, 160][7, 161][7, 162][7, 163][7, 174][7, 175]} {}
148 1285 148 7 Barrier 73{[7, 149]} {}
149 1295 149 7 Barrier 74{[7, 150]} {}
150 1304 150 7 Barrier 75{[7, 151]} {}
151 1313 151 7 Barrier 76{[7, 152]} {}
152 1322 152 7 Barrier 77{[7, 153]} {}
153 1331 153 7 Barrier 78{[7, 154]} {}
154 1340 154 7 Barrier 79{[7, 155]} {}
155 1349 155 7 Barrier 80{[7, 156]} {}
156 1358 156 7 Barrier 81{[7, 165]} {}
157 1367 157 7 Isend 6 0 157{[7, 161][7, 177]} {}	 Matched with  process :6 transition :140
158 1376 158 7 Irecv 6 0 158{[7, 161][7, 177]} {}	 Matched with  process :6 transition :139
159 1385 159 7 Isend 8 0 159{[7, 161][7, 177]} {}	 Matched with  process :8 transition :140
160 1389 160 7 Irecv 8 0 160{[7, 161][7, 177]} {}	 Matched with  process :8 transition :139
161 1392 161 7 WaitAll{[7, 162][7, 163][7, 164][7, 165][7, 174][7, 175]} {}
162 1425 162 7 Isend 4 0 162{[7, 164][7, 177]} {}	 Matched with  process :4 transition :183
163 1427 163 7 Irecv 4 0 163{[7, 164][7, 177]} {}	 Matched with  process :4 transition :182
164 1429 164 7 WaitAll{[7, 165][7, 174][7, 175][7, 177]} {}
165 1432 165 7 Barrier 82{[7, 166][7, 177]} {}
166 1442 166 7 Barrier 83{[7, 167][7, 177]} {}
167 1451 167 7 Barrier 84{[7, 168][7, 177]} {}
168 1460 168 7 Barrier 85{[7, 169][7, 177]} {}
169 1469 169 7 Barrier 86{[7, 170][7, 177]} {}
170 1478 170 7 Barrier 87{[7, 171][7, 177]} {}
171 1487 171 7 Barrier 88{[7, 172][7, 177]} {}
172 1496 172 7 Barrier 89{[7, 173][7, 177]} {}
173 1505 173 7 Barrier 90{[7, 176][7, 177]} {}
174 1514 174 7 Reduce 1{[7, 177]} {}
175 1523 175 7 Comm_free 1{[7, 177]} {}
176 1532 176 7 Comm_free 2{[7, 177]} {}
177 1541 177 7 Finalize{} {}


Transition list for 8
0 9 0 8 Bcast 0{[8, 1]} {}
1 18 1 8 Bcast 0{[8, 2]} {}
2 27 2 8 Comm_dup 1{[8, 3]} {}
3 36 3 8 Comm_dup 2{[8, 154]} {}
4 45 4 8 Isend 7 0 4{[8, 6][8, 19][8, 34][8, 49][8, 64][8, 79][8, 94][8, 109][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :7
5 54 5 8 Irecv 7 0 5{[8, 6][8, 20][8, 35][8, 50][8, 65][8, 80][8, 95][8, 110][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :6
6 63 6 8 WaitAll{[8, 7][8, 8][8, 9][8, 10][8, 19][8, 20][8, 22][8, 23][8, 34][8, 35][8, 37][8, 38][8, 49][8, 50][8, 52][8, 53][8, 64][8, 65][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
7 103 7 8 Isend 5 0 7{[8, 9][8, 22][8, 37][8, 52][8, 67][8, 82][8, 97][8, 112][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :10
8 105 8 8 Irecv 5 0 8{[8, 9][8, 23][8, 38][8, 53][8, 68][8, 83][8, 98][8, 113][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :9
9 107 9 8 WaitAll{[8, 10][8, 19][8, 20][8, 21][8, 22][8, 23][8, 34][8, 35][8, 37][8, 38][8, 49][8, 50][8, 52][8, 53][8, 64][8, 65][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
10 111 10 8 Barrier 1{[8, 11]} {}
11 120 11 8 Barrier 2{[8, 12]} {}
12 129 12 8 Barrier 3{[8, 13]} {}
13 138 13 8 Barrier 4{[8, 14]} {}
14 147 14 8 Barrier 5{[8, 15]} {}
15 156 15 8 Barrier 6{[8, 16]} {}
16 165 16 8 Barrier 7{[8, 17]} {}
17 174 17 8 Barrier 8{[8, 18]} {}
18 183 18 8 Barrier 9{[8, 25]} {}
19 192 19 8 Isend 7 0 19{[8, 21][8, 34][8, 49][8, 64][8, 79][8, 94][8, 109][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :24
20 201 20 8 Irecv 7 0 20{[8, 21][8, 35][8, 50][8, 65][8, 80][8, 95][8, 110][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :23
21 210 21 8 WaitAll{[8, 22][8, 23][8, 24][8, 25][8, 34][8, 35][8, 37][8, 38][8, 49][8, 50][8, 52][8, 53][8, 64][8, 65][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
22 250 22 8 Isend 5 0 22{[8, 24][8, 37][8, 52][8, 67][8, 82][8, 97][8, 112][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :27
23 252 23 8 Irecv 5 0 23{[8, 24][8, 38][8, 53][8, 68][8, 83][8, 98][8, 113][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :26
24 254 24 8 WaitAll{[8, 25][8, 34][8, 35][8, 36][8, 37][8, 38][8, 49][8, 50][8, 52][8, 53][8, 64][8, 65][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
25 258 25 8 Barrier 10{[8, 26]} {}
26 267 26 8 Barrier 11{[8, 27]} {}
27 276 27 8 Barrier 12{[8, 28]} {}
28 285 28 8 Barrier 13{[8, 29]} {}
29 294 29 8 Barrier 14{[8, 30]} {}
30 303 30 8 Barrier 15{[8, 31]} {}
31 312 31 8 Barrier 16{[8, 32]} {}
32 321 32 8 Barrier 17{[8, 33]} {}
33 330 33 8 Barrier 18{[8, 40]} {}
34 339 34 8 Isend 7 0 34{[8, 36][8, 49][8, 64][8, 79][8, 94][8, 109][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :41
35 348 35 8 Irecv 7 0 35{[8, 36][8, 50][8, 65][8, 80][8, 95][8, 110][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :40
36 357 36 8 WaitAll{[8, 37][8, 38][8, 39][8, 40][8, 49][8, 50][8, 52][8, 53][8, 64][8, 65][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
37 397 37 8 Isend 5 0 37{[8, 39][8, 52][8, 67][8, 82][8, 97][8, 112][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :44
38 399 38 8 Irecv 5 0 38{[8, 39][8, 53][8, 68][8, 83][8, 98][8, 113][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :43
39 401 39 8 WaitAll{[8, 40][8, 49][8, 50][8, 51][8, 52][8, 53][8, 64][8, 65][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
40 405 40 8 Barrier 19{[8, 41]} {}
41 414 41 8 Barrier 20{[8, 42]} {}
42 423 42 8 Barrier 21{[8, 43]} {}
43 432 43 8 Barrier 22{[8, 44]} {}
44 441 44 8 Barrier 23{[8, 45]} {}
45 450 45 8 Barrier 24{[8, 46]} {}
46 459 46 8 Barrier 25{[8, 47]} {}
47 468 47 8 Barrier 26{[8, 48]} {}
48 477 48 8 Barrier 27{[8, 55]} {}
49 486 49 8 Isend 7 0 49{[8, 51][8, 64][8, 79][8, 94][8, 109][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :58
50 495 50 8 Irecv 7 0 50{[8, 51][8, 65][8, 80][8, 95][8, 110][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :57
51 504 51 8 WaitAll{[8, 52][8, 53][8, 54][8, 55][8, 64][8, 65][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
52 544 52 8 Isend 5 0 52{[8, 54][8, 67][8, 82][8, 97][8, 112][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :61
53 546 53 8 Irecv 5 0 53{[8, 54][8, 68][8, 83][8, 98][8, 113][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :60
54 548 54 8 WaitAll{[8, 55][8, 64][8, 65][8, 66][8, 67][8, 68][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
55 552 55 8 Barrier 28{[8, 56]} {}
56 561 56 8 Barrier 29{[8, 57]} {}
57 570 57 8 Barrier 30{[8, 58]} {}
58 579 58 8 Barrier 31{[8, 59]} {}
59 588 59 8 Barrier 32{[8, 60]} {}
60 597 60 8 Barrier 33{[8, 61]} {}
61 606 61 8 Barrier 34{[8, 62]} {}
62 615 62 8 Barrier 35{[8, 63]} {}
63 624 63 8 Barrier 36{[8, 70]} {}
64 633 64 8 Isend 7 0 64{[8, 66][8, 79][8, 94][8, 109][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :75
65 642 65 8 Irecv 7 0 65{[8, 66][8, 80][8, 95][8, 110][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :74
66 651 66 8 WaitAll{[8, 67][8, 68][8, 69][8, 70][8, 79][8, 80][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
67 691 67 8 Isend 5 0 67{[8, 69][8, 82][8, 97][8, 112][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :78
68 693 68 8 Irecv 5 0 68{[8, 69][8, 83][8, 98][8, 113][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :77
69 695 69 8 WaitAll{[8, 70][8, 79][8, 80][8, 81][8, 82][8, 83][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
70 699 70 8 Barrier 37{[8, 71]} {}
71 708 71 8 Barrier 38{[8, 72]} {}
72 717 72 8 Barrier 39{[8, 73]} {}
73 726 73 8 Barrier 40{[8, 74]} {}
74 735 74 8 Barrier 41{[8, 75]} {}
75 744 75 8 Barrier 42{[8, 76]} {}
76 753 76 8 Barrier 43{[8, 77]} {}
77 762 77 8 Barrier 44{[8, 78]} {}
78 771 78 8 Barrier 45{[8, 85]} {}
79 780 79 8 Isend 7 0 79{[8, 81][8, 94][8, 109][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :92
80 789 80 8 Irecv 7 0 80{[8, 81][8, 95][8, 110][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :91
81 798 81 8 WaitAll{[8, 82][8, 83][8, 84][8, 85][8, 94][8, 95][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
82 838 82 8 Isend 5 0 82{[8, 84][8, 97][8, 112][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :95
83 840 83 8 Irecv 5 0 83{[8, 84][8, 98][8, 113][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :94
84 842 84 8 WaitAll{[8, 85][8, 94][8, 95][8, 96][8, 97][8, 98][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
85 846 85 8 Barrier 46{[8, 86]} {}
86 855 86 8 Barrier 47{[8, 87]} {}
87 864 87 8 Barrier 48{[8, 88]} {}
88 873 88 8 Barrier 49{[8, 89]} {}
89 882 89 8 Barrier 50{[8, 90]} {}
90 891 90 8 Barrier 51{[8, 91]} {}
91 900 91 8 Barrier 52{[8, 92]} {}
92 909 92 8 Barrier 53{[8, 93]} {}
93 918 93 8 Barrier 54{[8, 100]} {}
94 927 94 8 Isend 7 0 94{[8, 96][8, 109][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :109
95 936 95 8 Irecv 7 0 95{[8, 96][8, 110][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :108
96 945 96 8 WaitAll{[8, 97][8, 98][8, 99][8, 100][8, 109][8, 110][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
97 985 97 8 Isend 5 0 97{[8, 99][8, 112][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :112
98 987 98 8 Irecv 5 0 98{[8, 99][8, 113][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :111
99 989 99 8 WaitAll{[8, 100][8, 109][8, 110][8, 111][8, 112][8, 113][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
100 993 100 8 Barrier 55{[8, 101]} {}
101 1002 101 8 Barrier 56{[8, 102]} {}
102 1011 102 8 Barrier 57{[8, 103]} {}
103 1020 103 8 Barrier 58{[8, 104]} {}
104 1029 104 8 Barrier 59{[8, 105]} {}
105 1038 105 8 Barrier 60{[8, 106]} {}
106 1047 106 8 Barrier 61{[8, 107]} {}
107 1056 107 8 Barrier 62{[8, 108]} {}
108 1065 108 8 Barrier 63{[8, 115]} {}
109 1074 109 8 Isend 7 0 109{[8, 111][8, 124][8, 139][8, 157]} {}	 Matched with  process :7 transition :126
110 1083 110 8 Irecv 7 0 110{[8, 111][8, 125][8, 140][8, 157]} {}	 Matched with  process :7 transition :125
111 1092 111 8 WaitAll{[8, 112][8, 113][8, 114][8, 115][8, 124][8, 125][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
112 1132 112 8 Isend 5 0 112{[8, 114][8, 127][8, 142][8, 157]} {}	 Matched with  process :5 transition :129
113 1134 113 8 Irecv 5 0 113{[8, 114][8, 128][8, 143][8, 157]} {}	 Matched with  process :5 transition :128
114 1136 114 8 WaitAll{[8, 115][8, 124][8, 125][8, 126][8, 127][8, 128][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
115 1140 115 8 Barrier 64{[8, 116]} {}
116 1149 116 8 Barrier 65{[8, 117]} {}
117 1158 117 8 Barrier 66{[8, 118]} {}
118 1167 118 8 Barrier 67{[8, 119]} {}
119 1176 119 8 Barrier 68{[8, 120]} {}
120 1185 120 8 Barrier 69{[8, 121]} {}
121 1194 121 8 Barrier 70{[8, 122]} {}
122 1203 122 8 Barrier 71{[8, 123]} {}
123 1212 123 8 Barrier 72{[8, 130]} {}
124 1221 124 8 Isend 7 0 124{[8, 126][8, 139][8, 157]} {}	 Matched with  process :7 transition :143
125 1230 125 8 Irecv 7 0 125{[8, 126][8, 140][8, 157]} {}	 Matched with  process :7 transition :142
126 1239 126 8 WaitAll{[8, 127][8, 128][8, 129][8, 130][8, 139][8, 140][8, 142][8, 143][8, 154][8, 155]} {}
127 1279 127 8 Isend 5 0 127{[8, 129][8, 142][8, 157]} {}	 Matched with  process :5 transition :146
128 1281 128 8 Irecv 5 0 128{[8, 129][8, 143][8, 157]} {}	 Matched with  process :5 transition :145
129 1283 129 8 WaitAll{[8, 130][8, 139][8, 140][8, 141][8, 142][8, 143][8, 154][8, 155]} {}
130 1287 130 8 Barrier 73{[8, 131]} {}
131 1296 131 8 Barrier 74{[8, 132]} {}
132 1305 132 8 Barrier 75{[8, 133]} {}
133 1314 133 8 Barrier 76{[8, 134]} {}
134 1323 134 8 Barrier 77{[8, 135]} {}
135 1332 135 8 Barrier 78{[8, 136]} {}
136 1341 136 8 Barrier 79{[8, 137]} {}
137 1350 137 8 Barrier 80{[8, 138]} {}
138 1359 138 8 Barrier 81{[8, 145]} {}
139 1368 139 8 Isend 7 0 139{[8, 141][8, 157]} {}	 Matched with  process :7 transition :160
140 1377 140 8 Irecv 7 0 140{[8, 141][8, 157]} {}	 Matched with  process :7 transition :159
141 1386 141 8 WaitAll{[8, 142][8, 143][8, 144][8, 145][8, 154][8, 155]} {}
142 1426 142 8 Isend 5 0 142{[8, 144][8, 157]} {}	 Matched with  process :5 transition :163
143 1428 143 8 Irecv 5 0 143{[8, 144][8, 157]} {}	 Matched with  process :5 transition :162
144 1430 144 8 WaitAll{[8, 145][8, 154][8, 155][8, 157]} {}
145 1434 145 8 Barrier 82{[8, 146][8, 157]} {}
146 1443 146 8 Barrier 83{[8, 147][8, 157]} {}
147 1452 147 8 Barrier 84{[8, 148][8, 157]} {}
148 1461 148 8 Barrier 85{[8, 149][8, 157]} {}
149 1470 149 8 Barrier 86{[8, 150][8, 157]} {}
150 1479 150 8 Barrier 87{[8, 151][8, 157]} {}
151 1488 151 8 Barrier 88{[8, 152][8, 157]} {}
152 1497 152 8 Barrier 89{[8, 153][8, 157]} {}
153 1506 153 8 Barrier 90{[8, 156][8, 157]} {}
154 1515 154 8 Reduce 1{[8, 157]} {}
155 1524 155 8 Comm_free 1{[8, 157]} {}
156 1533 156 8 Comm_free 2{[8, 157]} {}
157 1542 157 8 Finalize{} {}

NO MORE INTERLEAVINGS!!!
Total Interleavings = 1