Labels: 49, 45
insert 0 in cell (0, 1) but only child and index 0 is non-empty
+-+                                      +-+                                 
|3|                                   =  |2|                                 
+-+                                      +-+                                 
|3|                                      |2|                                 
+-+                                      +-+                                 
|3|                                      |2|                                 
+-+                                      +-+                                 
|2|                                      |1|                                 
+-+                                      +-+                                 
|1|                                      1: Av+(0123, 0213, 1230, 2301, 2310)
+-+                                      2: Av+(012, 102, 2301, 2310)        
1: Av+(0123, 0213, 1230, 2301, 2310)     Crossing obstructions:              
2: Av(012, 102, 2301, 2310)              012: (0, 1), (0, 1), (0, 2)         
3: Av+(012, 102, 2301, 2310)             012: (0, 1), (0, 1), (0, 3)         
Crossing obstructions:                   012: (0, 1), (0, 2), (0, 2)         
012: (0, 1), (0, 1), (0, 2)              012: (0, 1), (0, 2), (0, 3)         
012: (0, 1), (0, 1), (0, 3)              012: (0, 1), (0, 3), (0, 3)         
012: (0, 1), (0, 1), (0, 4)              012: (0, 2), (0, 2), (0, 3)         
012: (0, 1), (0, 2), (0, 2)              012: (0, 2), (0, 3), (0, 3)         
012: (0, 1), (0, 2), (0, 3)              102: (0, 1), (0, 1), (0, 2)         
012: (0, 1), (0, 2), (0, 4)              102: (0, 1), (0, 1), (0, 3)         
012: (0, 1), (0, 3), (0, 3)              102: (0, 2), (0, 1), (0, 2)         
012: (0, 1), (0, 3), (0, 4)              102: (0, 2), (0, 1), (0, 3)         
012: (0, 1), (0, 4), (0, 4)              102: (0, 2), (0, 2), (0, 3)         
012: (0, 2), (0, 2), (0, 3)              102: (0, 3), (0, 1), (0, 3)         
012: (0, 2), (0, 2), (0, 4)              102: (0, 3), (0, 2), (0, 3)         
012: (0, 2), (0, 3), (0, 3)              120: (0, 1), (0, 1), (0, 0)         
012: (0, 2), (0, 3), (0, 4)              120: (0, 1), (0, 2), (0, 0)         
012: (0, 2), (0, 4), (0, 4)              120: (0, 1), (0, 3), (0, 0)         
012: (0, 3), (0, 3), (0, 4)              120: (0, 2), (0, 2), (0, 0)         
012: (0, 3), (0, 4), (0, 4)              120: (0, 2), (0, 2), (0, 1)         
102: (0, 1), (0, 1), (0, 2)              120: (0, 2), (0, 3), (0, 0)         
102: (0, 1), (0, 1), (0, 3)              120: (0, 2), (0, 3), (0, 1)         
102: (0, 1), (0, 1), (0, 4)              120: (0, 3), (0, 3), (0, 0)         
102: (0, 2), (0, 1), (0, 2)              120: (0, 3), (0, 3), (0, 1)         
102: (0, 2), (0, 1), (0, 3)              120: (0, 3), (0, 3), (0, 2)         
102: (0, 2), (0, 1), (0, 4)              201: (0, 1), (0, 0), (0, 0)         
102: (0, 2), (0, 2), (0, 3)              201: (0, 2), (0, 0), (0, 0)         
102: (0, 2), (0, 2), (0, 4)              201: (0, 2), (0, 0), (0, 1)         
102: (0, 3), (0, 1), (0, 3)              201: (0, 2), (0, 1), (0, 1)         
102: (0, 3), (0, 1), (0, 4)              201: (0, 3), (0, 0), (0, 0)         
102: (0, 3), (0, 2), (0, 3)              201: (0, 3), (0, 0), (0, 1)         
102: (0, 3), (0, 2), (0, 4)              201: (0, 3), (0, 0), (0, 2)         
102: (0, 3), (0, 3), (0, 4)              201: (0, 3), (0, 1), (0, 1)         
102: (0, 4), (0, 1), (0, 4)              201: (0, 3), (0, 1), (0, 2)         
102: (0, 4), (0, 2), (0, 4)              201: (0, 3), (0, 2), (0, 2)         
102: (0, 4), (0, 3), (0, 4)              210: (0, 1), (0, 0), (0, 0)         
120: (0, 1), (0, 1), (0, 0)              210: (0, 2), (0, 0), (0, 0)         
120: (0, 1), (0, 2), (0, 0)              210: (0, 2), (0, 1), (0, 0)         
120: (0, 1), (0, 3), (0, 0)              210: (0, 2), (0, 1), (0, 1)         
120: (0, 1), (0, 4), (0, 0)              210: (0, 3), (0, 0), (0, 0)         
120: (0, 2), (0, 2), (0, 0)              210: (0, 3), (0, 1), (0, 0)         
120: (0, 2), (0, 2), (0, 1)              210: (0, 3), (0, 1), (0, 1)         
120: (0, 2), (0, 3), (0, 0)              210: (0, 3), (0, 2), (0, 0)         
120: (0, 2), (0, 3), (0, 1)              210: (0, 3), (0, 2), (0, 1)         
120: (0, 2), (0, 4), (0, 0)              210: (0, 3), (0, 2), (0, 2)         
120: (0, 2), (0, 4), (0, 1)              0123: (0, 0), (0, 0), (0, 0), (0, 1)
120: (0, 3), (0, 3), (0, 0)              0123: (0, 0), (0, 0), (0, 0), (0, 2)
120: (0, 3), (0, 3), (0, 1)              0123: (0, 0), (0, 0), (0, 0), (0, 3)
120: (0, 3), (0, 3), (0, 2)              0123: (0, 0), (0, 0), (0, 1), (0, 1)
120: (0, 3), (0, 4), (0, 0)              0123: (0, 0), (0, 0), (0, 1), (0, 2)
120: (0, 3), (0, 4), (0, 1)              0123: (0, 0), (0, 0), (0, 1), (0, 3)
120: (0, 3), (0, 4), (0, 2)              0123: (0, 0), (0, 0), (0, 2), (0, 2)
120: (0, 4), (0, 4), (0, 0)              0123: (0, 0), (0, 0), (0, 2), (0, 3)
120: (0, 4), (0, 4), (0, 1)              0123: (0, 0), (0, 0), (0, 3), (0, 3)
120: (0, 4), (0, 4), (0, 2)              0213: (0, 0), (0, 0), (0, 0), (0, 1)
120: (0, 4), (0, 4), (0, 3)              0213: (0, 0), (0, 0), (0, 0), (0, 2)
201: (0, 1), (0, 0), (0, 0)              0213: (0, 0), (0, 0), (0, 0), (0, 3)
201: (0, 2), (0, 0), (0, 0)              0213: (0, 0), (0, 1), (0, 0), (0, 1)
201: (0, 2), (0, 0), (0, 1)              0213: (0, 0), (0, 1), (0, 0), (0, 2)
201: (0, 2), (0, 1), (0, 1)              0213: (0, 0), (0, 1), (0, 0), (0, 3)
201: (0, 3), (0, 0), (0, 0)              0213: (0, 0), (0, 2), (0, 0), (0, 2)
201: (0, 3), (0, 0), (0, 1)              0213: (0, 0), (0, 2), (0, 0), (0, 3)
201: (0, 3), (0, 0), (0, 2)              0213: (0, 0), (0, 3), (0, 0), (0, 3)
201: (0, 3), (0, 1), (0, 1)              1230: (0, 0), (0, 0), (0, 1), (0, 0)
201: (0, 3), (0, 1), (0, 2)              1230: (0, 0), (0, 0), (0, 2), (0, 0)
201: (0, 3), (0, 2), (0, 2)              1230: (0, 0), (0, 0), (0, 3), (0, 0)
201: (0, 4), (0, 0), (0, 0)              Requirement 0:                      
201: (0, 4), (0, 0), (0, 1)              0: (0, 0)                           
201: (0, 4), (0, 0), (0, 2)              Requirement 1:                      
201: (0, 4), (0, 0), (0, 3)              0: (0, 1)                           
201: (0, 4), (0, 1), (0, 1)              Requirement 2:                      
201: (0, 4), (0, 1), (0, 2)              0: (0, 2)                           
201: (0, 4), (0, 1), (0, 3)              Requirement 3:                      
201: (0, 4), (0, 2), (0, 2)              0: (0, 3)                           
201: (0, 4), (0, 2), (0, 3)              
201: (0, 4), (0, 3), (0, 3)              
210: (0, 1), (0, 0), (0, 0)              
210: (0, 2), (0, 0), (0, 0)              
210: (0, 2), (0, 1), (0, 0)              
210: (0, 2), (0, 1), (0, 1)              
210: (0, 3), (0, 0), (0, 0)              
210: (0, 3), (0, 1), (0, 0)              
210: (0, 3), (0, 1), (0, 1)              
210: (0, 3), (0, 2), (0, 0)              
210: (0, 3), (0, 2), (0, 1)              
210: (0, 3), (0, 2), (0, 2)              
210: (0, 4), (0, 0), (0, 0)              
210: (0, 4), (0, 1), (0, 0)              
210: (0, 4), (0, 1), (0, 1)              
210: (0, 4), (0, 2), (0, 0)              
210: (0, 4), (0, 2), (0, 1)              
210: (0, 4), (0, 2), (0, 2)              
210: (0, 4), (0, 3), (0, 0)              
210: (0, 4), (0, 3), (0, 1)              
210: (0, 4), (0, 3), (0, 2)              
210: (0, 4), (0, 3), (0, 3)              
0123: (0, 0), (0, 0), (0, 0), (0, 1)     
0123: (0, 0), (0, 0), (0, 0), (0, 2)     
0123: (0, 0), (0, 0), (0, 0), (0, 3)     
0123: (0, 0), (0, 0), (0, 0), (0, 4)     
0123: (0, 0), (0, 0), (0, 1), (0, 1)     
0123: (0, 0), (0, 0), (0, 1), (0, 2)     
0123: (0, 0), (0, 0), (0, 1), (0, 3)     
0123: (0, 0), (0, 0), (0, 1), (0, 4)     
0123: (0, 0), (0, 0), (0, 2), (0, 2)     
0123: (0, 0), (0, 0), (0, 2), (0, 3)     
0123: (0, 0), (0, 0), (0, 2), (0, 4)     
0123: (0, 0), (0, 0), (0, 3), (0, 3)     
0123: (0, 0), (0, 0), (0, 3), (0, 4)     
0123: (0, 0), (0, 0), (0, 4), (0, 4)     
0213: (0, 0), (0, 0), (0, 0), (0, 1)     
0213: (0, 0), (0, 0), (0, 0), (0, 2)     
0213: (0, 0), (0, 0), (0, 0), (0, 3)     
0213: (0, 0), (0, 0), (0, 0), (0, 4)     
0213: (0, 0), (0, 1), (0, 0), (0, 1)     
0213: (0, 0), (0, 1), (0, 0), (0, 2)     
0213: (0, 0), (0, 1), (0, 0), (0, 3)     
0213: (0, 0), (0, 1), (0, 0), (0, 4)     
0213: (0, 0), (0, 2), (0, 0), (0, 2)     
0213: (0, 0), (0, 2), (0, 0), (0, 3)     
0213: (0, 0), (0, 2), (0, 0), (0, 4)     
0213: (0, 0), (0, 3), (0, 0), (0, 3)     
0213: (0, 0), (0, 3), (0, 0), (0, 4)     
0213: (0, 0), (0, 4), (0, 0), (0, 4)     
1230: (0, 0), (0, 0), (0, 1), (0, 0)     
1230: (0, 0), (0, 0), (0, 2), (0, 0)     
1230: (0, 0), (0, 0), (0, 3), (0, 0)     
1230: (0, 0), (0, 0), (0, 4), (0, 0)     
Requirement 0:                           
0: (0, 0)                                
Requirement 1:                           
0: (0, 2)                                
Requirement 2:                           
0: (0, 3)                                
Requirement 3:                           
0: (0, 4)