/home/swinkler/confchecksmt/src/libyices.so.2.6.2
{
 <!, Create Fine, 1.0, [amount {0.0}, dismissal {0.0}, points {10.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2352.0}, ] >
}
{0: pos0, 1: pos1}
{0: pos0, 1: pos1}
{0: pos0, 1: pos1}
{0: pos0, 1: pos1}
{0: pos0, 1: pos1}
{0: pos0, 1: pos1}
{0: pos0, 1: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    9m    
1l    0s    12z   11z   10z   9z    9m    
2l    8l    0z    0z    0z    0z    0m    

0. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       10.0                      
dismissal    NIL                       
delaySend                 2352.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       1.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {0.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {33.6}, ] >
}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}
{2: pos0, 3: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    2z    2z    2z    8l    
2l    1l    0z    0z    0z    0z    0m    

1. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge                             
delayPrefect                           
totalPayment 0.0          33.6         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 3.0          2.0          
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {0.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {35.0}, ] >
}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}
{4: pos0, 5: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    2z    2z    2z    8l    
2l    6l    0z    0z    0z    0z    0m    

2. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge                             
delayPrefect                           
totalPayment 0.0          35.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       -1.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         -2.0         
points       1.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 1.0], [amount {0.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, 3.0, [totalPaymentAmount {38.0}, ] >
}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}
{6: pos0, 7: pos1}

DISTANCES:
0?    5m    7z    7z    7z    8z    8m    
1l    0s    10z   9z    8z    8z    8m    
2l    1l    0z    0z    0z    0z    0m    

3. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge                             
delayPrefect                           
totalPayment 0.0          38.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 1.0], [amount {0.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, 3.0, [delaySend {1008.0}, ] >
}
{8: pos0, 9: pos1}
{8: pos0, 9: pos1}
{8: pos0, 9: pos1}
{8: pos0, 9: pos1}
{8: pos0, 9: pos1}
{8: pos0, 9: pos1}
{8: pos0, 9: pos1}

DISTANCES:
0?    5m    113z  113z  113z  113z  113m  
1l    0s    105z  117z  116z  115z  114l  
2l    6l    0z    0z    0z    0z    0m    

4. distance 0.0
encoding time: 0.13
solving time: 0.03
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 1008.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       1.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {0.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2208.0}, ] >
}
{10: pos0, 11: pos1}
{10: pos0, 11: pos1}
{10: pos0, 11: pos1}
{10: pos0, 11: pos1}
{10: pos0, 11: pos1}
{10: pos0, 11: pos1}
{10: pos0, 11: pos1}

DISTANCES:
0?    5m    8z    102z  102z  102z  102m  
1l    0s    3z    105z  104z  103z  104l  
2l    6l    0z    0z    0z    0z    0m    

5. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2208.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       2.0                       
dismissal    NIL                       
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {0.0}, dismissal {73.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2304.0}, ] >
}
{12: pos0, 13: pos1}
{12: pos0, 13: pos1}
{12: pos0, 13: pos1}
{12: pos0, 13: pos1}
{12: pos0, 13: pos1}
{12: pos0, 13: pos1}
{12: pos0, 13: pos1}

DISTANCES:
0?    5m    8z    8z    9z    9z    9m    
1l    0s    15z   9z    9z    11z   10l   
2l    6l    0z    0z    0z    0z    0m    

6. distance 0.0
encoding time: 0.13
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 2304.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {18.78}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {18.78}, ] >
}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}
{14: pos0, 15: pos1}

DISTANCES:
0?    5m    7z    7z    8z    8z    8m    
1l    0s    9z    8z    8z    10z   9l    
2l    7m    0z    0z    0z    0z    0m    

7. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Payment      
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0          18.78        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 3.0          2.0          
points       0.0                       
dismissal    NIL                       
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {18.78}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {31.3}, ] >
}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}
{16: pos0, 17: pos1}

DISTANCES:
0?    5m    105z  105z  105z  105z  105m  
1l    0s    105z  109z  108z  107z  106l  
2l    6l    0z    0z    0z    0z    0m    

8. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Payment      
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0          31.3         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          0.0          
points       0.0                       
dismissal    NIL                       
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, 1.0, [amount {18.78}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {0.0}, ] >
}
{18: pos0, 19: pos1}
{18: pos0, 19: pos1}
{18: pos0, 19: pos1}
{18: pos0, 19: pos1}
{18: pos0, 19: pos1}
{18: pos0, 19: pos1}
{18: pos0, 19: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    11z   10z   9z    9z    9l    
2l    1l    0z    0z    0z    0z    0m    

9. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 0.0          
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       0.0                       
dismissal    #                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {18.78}, dismissal {65.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {744.0}, ] >
}
{20: pos0, 21: pos1}
{20: pos0, 21: pos1}
{20: pos0, 21: pos1}
{20: pos0, 21: pos1}
{20: pos0, 21: pos1}
{20: pos0, 21: pos1}
{20: pos0, 21: pos1}

DISTANCES:
0?    5m    8z    8z    8z    9z    10m   
1l    0s    11z   10z   9z    10z   10m   
2l    1l    0z    0z    0z    0z    0m    

10. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 744.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       2.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {18.78}, dismissal {65.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2784.0}, ] >
}
{22: pos0, 23: pos1}
{22: pos0, 23: pos1}
{22: pos0, 23: pos1}
{22: pos0, 23: pos1}
{22: pos0, 23: pos1}
{22: pos0, 23: pos1}
{22: pos0, 23: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    105z  105z  105z  10z   9l    
2l    1l    0z    0z    0z    0z    0m    

11. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 2784.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       1.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 1.0], [amount {18.78}, dismissal {68.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, 3.0, [delaySend {1248.0}, ] >
}
{24: pos0, 25: pos1}
{24: pos0, 25: pos1}
{24: pos0, 25: pos1}
{24: pos0, 25: pos1}
{24: pos0, 25: pos1}
{24: pos0, 25: pos1}
{24: pos0, 25: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    3z    12z   11z   10z   9l    
2l    7m    0z    0z    0z    0z    0m    

12. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 1248.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {18.78}, dismissal {73.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {985.0}, ] >
}
{26: pos0, 27: pos1}
{26: pos0, 27: pos1}
{26: pos0, 27: pos1}
{26: pos0, 27: pos1}
{26: pos0, 27: pos1}
{26: pos0, 27: pos1}
{26: pos0, 27: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    13z   12z   11z   10z   9l    
2l    1l    0z    0z    0z    0z    0m    

13. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 985.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       -1.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {18.78}, dismissal {84.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {936.0}, ] >
}
{28: pos0, 29: pos1}
{28: pos0, 29: pos1}
{28: pos0, 29: pos1}
{28: pos0, 29: pos1}
{28: pos0, 29: pos1}
{28: pos0, 29: pos1}
{28: pos0, 29: pos1}

DISTANCES:
0?    5m    8z    8z    8z    9z    9m    
1l    0s    105z  104z  9z    9z    9m    
2l    1l    0z    0z    0z    0z    0m    

14. distance 0.0
encoding time: 0.13
solving time: 0.03
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 936.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       -2.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0                      
points       0.0                       
dismissal    #                         
delaySend    0.0          0.0          
expenses     0.0          0.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {18.78}, dismissal {84.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2375.0}, ] >
}
{30: pos0, 31: pos1}
{30: pos0, 31: pos1}
{30: pos0, 31: pos1}
{30: pos0, 31: pos1}
{30: pos0, 31: pos1}
{30: pos0, 31: pos1}
{30: pos0, 31: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    11z   10z   9z    10z   9l    
2l    1l    0z    0z    0z    0z    0m    

15. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       18.78                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 2375.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    #                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, 1.0, [amount {19.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {19.0}, ] >
}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}
{32: pos0, 33: pos1}

DISTANCES:
0?    5m    7z    9z    9z    9z    9m    
1l    0s    2z    2z    2z    11z   10l   
2l    6l    0z    0z    0z    0z    0m    

16. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       19.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          19.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       3.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 2.0          1.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {19.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {29.0}, ] >
}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}
{34: pos0, 35: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    12z   11z   10z   9z    8l    
2l    6l    0z    0z    0z    0z    0m    

17. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       19.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          29.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          -1.0         
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {19.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {504.0}, ] >
}
{36: pos0, 37: pos1}
{36: pos0, 37: pos1}
{36: pos0, 37: pos1}
{36: pos0, 37: pos1}
{36: pos0, 37: pos1}
{36: pos0, 37: pos1}
{36: pos0, 37: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    3z    3z    3z    3z    3m    
2l    101l  0z    0z    0z    0z    0m    

18. distance 0.0
encoding time: 0.13
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 504.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       0.0                       
dismissal    G                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 1.0], [amount {19.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, 3.0, [delaySend {2207.0}, ] >
}
{38: pos0, 39: pos1}
{38: pos0, 39: pos1}
{38: pos0, 39: pos1}
{38: pos0, 39: pos1}
{38: pos0, 39: pos1}
{38: pos0, 39: pos1}
{38: pos0, 39: pos1}

DISTANCES:
0?    5m    8z    8z    9z    9z    9m    
1l    0s    105z  9z    9z    9z    9m    
2l    1l    0z    0z    0z    0z    0m    

19. distance 0.0
encoding time: 0.13
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2207.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       1.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, 1.0, [amount {19.68}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {18.78}, ] >
}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}
{40: pos0, 41: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    2z    10z   9z    8l    
2l    6l    0z    0z    0z    0z    0m    

20. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Payment      
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0          18.78        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       1.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {19.68}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {19.68}, ] >
}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}
{42: pos0, 43: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    12z   11z   10z   9z    8l    
2l    1l    0z    0z    0z    0z    0m    

21. distance 0.0
encoding time: 0.15
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Payment      
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0          19.68        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         0.0          
points       1.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {19.68}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {0.0}, ] >
}
{44: pos0, 45: pos1}
{44: pos0, 45: pos1}
{44: pos0, 45: pos1}
{44: pos0, 45: pos1}
{44: pos0, 45: pos1}
{44: pos0, 45: pos1}
{44: pos0, 45: pos1}

DISTANCES:
0?    5m    8z    8z    8z    9z    9m    
1l    0s    11z   10z   9z    9z    10l   
2l    100l  0z    0z    0z    0z    0m    

22. distance 0.0
encoding time: 0.13
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 0.0          
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       6.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 5.0                       
points       1.0                       
dismissal    NIL                       
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {19.68}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2161.0}, ] >
}
{46: pos0, 47: pos1}
{46: pos0, 47: pos1}
{46: pos0, 47: pos1}
{46: pos0, 47: pos1}
{46: pos0, 47: pos1}
{46: pos0, 47: pos1}
{46: pos0, 47: pos1}

DISTANCES:
0?    5m    8z    8z    8z    106z  107m  
1l    0s    10z   9z    10z   107z  107m  
2l    101l  0z    0z    0z    0z    0m    

23. distance 0.0
encoding time: 0.13
solving time: 0.03
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2161.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       1.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {19.68}, dismissal {65.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {816.0}, ] >
}
{48: pos0, 49: pos1}
{48: pos0, 49: pos1}
{48: pos0, 49: pos1}
{48: pos0, 49: pos1}
{48: pos0, 49: pos1}
{48: pos0, 49: pos1}
{48: pos0, 49: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    10m   
1l    0s    11z   10z   9z    10z   10m   
2l    1l    0z    0z    0z    0z    0m    

24. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 816.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 1.0], [amount {19.68}, dismissal {65.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, 3.0, [delaySend {2400.0}, ] >
}
{50: pos0, 51: pos1}
{50: pos0, 51: pos1}
{50: pos0, 51: pos1}
{50: pos0, 51: pos1}
{50: pos0, 51: pos1}
{50: pos0, 51: pos1}
{50: pos0, 51: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    9m    
1l    0s    105z  11z   10z   9z    9m    
2l    1l    0z    0z    0z    0z    0m    

25. distance 0.0
encoding time: 0.13
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 2400.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, 1.0, [amount {19.68}, dismissal {73.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {1296.0}, ] >
}
{52: pos0, 53: pos1}
{52: pos0, 53: pos1}
{52: pos0, 53: pos1}
{52: pos0, 53: pos1}
{52: pos0, 53: pos1}
{52: pos0, 53: pos1}
{52: pos0, 53: pos1}

DISTANCES:
0?    5m    8z    8z    8z    9z    9m    
1l    0s    10z   11z   9z    9z    9m    
2l    1l    0z    0z    0z    0z    0m    

26. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 1296.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {19.68}, dismissal {73.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2257.0}, ] >
}
{54: pos0, 55: pos1}
{54: pos0, 55: pos1}
{54: pos0, 55: pos1}
{54: pos0, 55: pos1}
{54: pos0, 55: pos1}
{54: pos0, 55: pos1}
{54: pos0, 55: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    3z    3z    3z    3z    3m    
2l    1l    0z    0z    0z    0z    0m    

27. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 2257.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    G                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {19.68}, dismissal {78.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {456.0}, ] >
}
{56: pos0, 57: pos1}
{56: pos0, 57: pos1}
{56: pos0, 57: pos1}
{56: pos0, 57: pos1}
{56: pos0, 57: pos1}
{56: pos0, 57: pos1}
{56: pos0, 57: pos1}

DISTANCES:
0?    5m    8z    9z    9z    10z   10m   
1l    0s    9z    9z    10z   10z   11l   
2l    1l    0z    0z    0z    0z    0m    

28. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 456.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       2.0                       
dismissal    #                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {19.68}, dismissal {84.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {1464.0}, ] >
}
{58: pos0, 59: pos1}
{58: pos0, 59: pos1}
{58: pos0, 59: pos1}
{58: pos0, 59: pos1}
{58: pos0, 59: pos1}
{58: pos0, 59: pos1}
{58: pos0, 59: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    9m    
1l    0s    105z  9z    10z   9z    9m    
2l    1l    0z    0z    0z    0z    0m    

29. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.68                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 1464.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       1.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {19.95}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {19.95}, ] >
}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}
{60: pos0, 61: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    2z    2z    9z    8l    
2l    1l    0z    0z    0z    0z    0m    

30. distance 0.0
encoding time: 0.15
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       19.95                     
delayJudge                             
delayPrefect                           
totalPayment 0.0          19.95        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         -2.0         
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, 1.0, [amount {19.95}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {29.95}, ] >
}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}
{62: pos0, 63: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    10z   9z    8z    12z   8l    
2l    6l    0z    0z    0z    0z    0m    

31. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       19.95                     
delayJudge                             
delayPrefect                           
totalPayment 0.0          29.95        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       0.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, 1.0, [amount {19.95}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, 3.0, [totalPaymentAmount {33.6}, ] >
}

DISTANCES:
0?    5m    103.4 103.4 103.4 103.4 103.4 
1l    1s    104.8 104.7 104.6 104.5 104.4 
2l    6.89l 2z    2z    2z    2z    2m    

32. distance 2.0
encoding time: 0.12
solving time: 0.08
LOG SEQUENCE:
             Create Fine  Payment      
amount       19.95                     
delayJudge                             
delayPrefect                           
totalPayment 0.0          33.6         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       34.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          34.0         
points       0.0                       
dismissal    NIL                       
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {19.95}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {936.0}, ] >
}
{66: pos0, 67: pos1}
{66: pos0, 67: pos1}
{66: pos0, 67: pos1}
{66: pos0, 67: pos1}
{66: pos0, 67: pos1}
{66: pos0, 67: pos1}
{66: pos0, 67: pos1}

DISTANCES:
0?    5m    8z    9z    9z    9z    9m    
1l    0s    9z    9z    9z    9z    10l   
2l    1l    0z    0z    0z    0z    0m    

33. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.95                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 936.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       2.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {19.95}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2161.0}, ] >
}
{68: pos0, 69: pos1}
{68: pos0, 69: pos1}
{68: pos0, 69: pos1}
{68: pos0, 69: pos1}
{68: pos0, 69: pos1}
{68: pos0, 69: pos1}
{68: pos0, 69: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    3z    3z    3z    10z   9l    
2l    101?  0z    0z    0z    0z    0m    

34. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       19.95                     
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2161.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       2.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {21.0}, ] >
}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}
{70: pos0, 71: pos1}

DISTANCES:
0?    5m    7z    7z    7z    8z    8m    
1l    0s    10z   9z    8z    8z    9l    
2l    1l    0z    0z    0z    0z    0m    

35. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          21.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 1.0], [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, 3.0, [totalPaymentAmount {21.99}, ] >
}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}
{72: pos0, 73: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    8m    
1l    0s    11z   10z   9z    8z    8m    
2l    1l    0z    0z    0z    0z    0m    

36. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          21.99        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       1.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, 1.0, [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {22.0}, ] >
}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}
{74: pos0, 75: pos1}

DISTANCES:
0?    5m    7z    8z    8z    8z    8m    
1l    0s    8z    8z    8z    10z   9l    
2l    1l    0z    0z    0z    0z    0m    

37. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Payment      
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          22.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       1.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {24.0}, ] >
}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}
{76: pos0, 77: pos1}

DISTANCES:
0?    5m    7z    7z    8z    8z    8m    
1l    0s    9z    8z    8z    8z    8m    
2l    1l    0z    0z    0z    0z    0m    

38. distance 0.0
encoding time: 0.15
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          24.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {27.0}, ] >
}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}
{78: pos0, 79: pos1}

DISTANCES:
0?    5m    105z  105z  105z  106z  106m  
1l    0s    105z  105z  106z  106z  106m  
2l    1l    0z    0z    0z    0z    0m    

39. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          27.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       0.0                       
dismissal    G                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {35.0}, ] >
}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}
{80: pos0, 81: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    2z    2z    2z    2m    
2l    1l    0z    0z    0z    0z    0m    

40. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          35.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       -1.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          -1.0         
points       1.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {1031.0}, ] >
}
{82: pos0, 83: pos1}
{82: pos0, 83: pos1}
{82: pos0, 83: pos1}
{82: pos0, 83: pos1}
{82: pos0, 83: pos1}
{82: pos0, 83: pos1}
{82: pos0, 83: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    9z    10z   9z    10z   11l   
2l    8l    0z    0z    0z    0z    0m    

41. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 1031.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       0.0                       
dismissal    G                         
delaySend    0.0          1.0          
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {21.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2209.0}, ] >
}
{84: pos0, 85: pos1}
{84: pos0, 85: pos1}
{84: pos0, 85: pos1}
{84: pos0, 85: pos1}
{84: pos0, 85: pos1}
{84: pos0, 85: pos1}
{84: pos0, 85: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    13z   12z   11z   10z   9l    
2l    8l    0z    0z    0z    0z    0m    

42. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       21.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2209.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {22.0}, ] >
}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}
{86: pos0, 87: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    2z    9z    9z    8l    
2l    1l    0z    0z    0z    0z    0m    

43. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          22.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         0.0          
points       0.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {22.1}, ] >
}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}
{88: pos0, 89: pos1}

DISTANCES:
0?    5m    113z  113z  113z  113z  113m  
1l    0s    105z  105z  105z  115z  114l  
2l    8l    0z    0z    0z    0z    0m    

44. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          22.1         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         0.0          
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {22.2}, ] >
}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}
{90: pos0, 91: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    10z   9z    8z    9z    8l    
2l    1l    0z    0z    0z    0z    0m    

45. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          22.2         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         0.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {24.0}, ] >
}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}
{92: pos0, 93: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    11z   10z   9z    8z    9l    
2l    1l    0z    0z    0z    0z    0m    

46. distance 0.0
encoding time: 0.15
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          24.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {25.0}, ] >
}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}
{94: pos0, 95: pos1}

DISTANCES:
0?    5m    105z  105z  105z  105z  105m  
1l    0s    105z  105z  105z  105z  105m  
2l    8l    0z    0z    0z    0z    0m    

47. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          25.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         0.0          
points       1.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {28.0}, ] >
}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}
{96: pos0, 97: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    8m    
1l    0s    11z   10z   9z    8z    8m    
2l    1l    0z    0z    0z    0z    0m    

48. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          28.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       1.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {32.0}, ] >
}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}
{98: pos0, 99: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    12z   11z   10z   9z    8l    
2l    99l   0z    0z    0z    0z    0m    

49. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          32.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       0.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {35.5}, ] >
}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}
{100: pos0, 101: pos1}

DISTANCES:
0?    5m    7z    7z    8z    8z    8m    
1l    0s    9z    8z    8z    8z    8m    
2l    1l    0z    0z    0z    0z    0m    

50. distance 0.0
encoding time: 0.14
solving time: 0.07
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          35.5         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          -1.0         
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {36.0}, ] >
}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}
{102: pos0, 103: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    2z    2z    2z    8l    
2l    6l    0z    0z    0z    0z    0m    

51. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          36.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         -2.0         
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {744.0}, ] >
}
{104: pos0, 105: pos1}
{104: pos0, 105: pos1}
{104: pos0, 105: pos1}
{104: pos0, 105: pos1}
{104: pos0, 105: pos1}
{104: pos0, 105: pos1}
{104: pos0, 105: pos1}

DISTANCES:
0?    5m    8z    8z    8z    9z    9m    
1l    0s    3z    3z    9z    9z    9m    
2l    8l    0z    0z    0z    0z    0m    

52. distance 0.0
encoding time: 0.13
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 744.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       1.0                       
dismissal    NIL                       
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {22.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2160.0}, ] >
}
{106: pos0, 107: pos1}
{106: pos0, 107: pos1}
{106: pos0, 107: pos1}
{106: pos0, 107: pos1}
{106: pos0, 107: pos1}
{106: pos0, 107: pos1}
{106: pos0, 107: pos1}

DISTANCES:
0?    5m    8z    8z    8z    9z    9m    
1l    0s    3z    3z    9z    9z    10l   
2l    1l    0z    0z    0z    0z    0m    

53. distance 0.0
encoding time: 0.13
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       22.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2160.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       1.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {23.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {23.0}, ] >
}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}
{108: pos0, 109: pos1}

DISTANCES:
0?    5m    7z    7z    7z    8z    8m    
1l    0s    10z   9z    8z    8z    9l    
2l    1l    0z    0z    0z    0z    0m    

54. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          23.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          -1.0         
points       1.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {23.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {23.5}, ] >
}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}
{110: pos0, 111: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    105z  11z   10z   9z    8l    
2l    1l    0z    0z    0z    0z    0m    

55. distance 0.0
encoding time: 0.15
solving time: 0.08
LOG SEQUENCE:
             Create Fine  Payment      
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          23.5         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {23.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {25.0}, ] >
}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}
{112: pos0, 113: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    12z   11z   10z   9z    8l    
2l    6l    0z    0z    0z    0z    0m    

56. distance 0.0
encoding time: 0.15
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          25.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {23.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {38.0}, ] >
}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}
{114: pos0, 115: pos1}

DISTANCES:
0?    5m    105z  105z  105z  105z  106m  
1l    0s    105z  105z  105z  106z  106m  
2l    1l    0z    0z    0z    0z    0m    

57. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          38.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          1.0          
points       2.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {23.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {72.0}, ] >
}
{116: pos0, 117: pos1}
{116: pos0, 117: pos1}
{116: pos0, 117: pos1}
{116: pos0, 117: pos1}
{116: pos0, 117: pos1}
{116: pos0, 117: pos1}
{116: pos0, 117: pos1}

DISTANCES:
0?    5m    8z    8z    11z   11z   12m   
1l    0s    3z    3z    3z    12z   12m   
2l    1l    0z    0z    0z    0z    0m    

58. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 72.0         
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       -1.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, 1.0, [amount {23.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2160.0}, ] >
}
{118: pos0, 119: pos1}
{118: pos0, 119: pos1}
{118: pos0, 119: pos1}
{118: pos0, 119: pos1}
{118: pos0, 119: pos1}
{118: pos0, 119: pos1}
{118: pos0, 119: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    3z    12z   11z   10z   9l    
2l    101l  0z    0z    0z    0z    0m    

59. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2160.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       1.0                       
dismissal    NIL                       
delaySend    0.0          1.0          
expenses     0.0          -2.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {23.0}, dismissal {68.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {649.0}, ] >
}
{120: pos0, 121: pos1}
{120: pos0, 121: pos1}
{120: pos0, 121: pos1}
{120: pos0, 121: pos1}
{120: pos0, 121: pos1}
{120: pos0, 121: pos1}
{120: pos0, 121: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    3z    3z    11z   10z   9l    
2l    1l    0z    0z    0z    0z    0m    

60. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 649.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       0.0                       
dismissal    #                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {23.0}, dismissal {85.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {959.0}, ] >
}
{122: pos0, 123: pos1}
{122: pos0, 123: pos1}
{122: pos0, 123: pos1}
{122: pos0, 123: pos1}
{122: pos0, 123: pos1}
{122: pos0, 123: pos1}
{122: pos0, 123: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    12z   11z   10z   9z    10l   
2l    6l    0z    0z    0z    0z    0m    

61. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       23.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 959.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       2.0                       
dismissal    #                         
delaySend    0.0          0.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {24.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {24.0}, ] >
}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}
{124: pos0, 125: pos1}

DISTANCES:
0?    5m    105z  105z  105z  105z  105m  
1l    0s    105z  108z  107z  106z  107l  
2l    7m    0z    0z    0z    0z    0m    

62. distance 0.0
encoding time: 0.15
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Payment      
amount       24.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          24.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       -4.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -4.0         -5.0         
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {24.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {29.0}, ] >
}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}
{126: pos0, 127: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    11z   10z   9z    8z    9l    
2l    1l    0z    0z    0z    0z    0m    

63. distance 0.0
encoding time: 0.15
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       24.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          29.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0         -1.0         
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, 1.0, [amount {24.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {480.0}, ] >
}
{128: pos0, 129: pos1}
{128: pos0, 129: pos1}
{128: pos0, 129: pos1}
{128: pos0, 129: pos1}
{128: pos0, 129: pos1}
{128: pos0, 129: pos1}
{128: pos0, 129: pos1}

DISTANCES:
0?    5m    105z  105z  105z  106z  107m  
1l    0s    105z  105z  106z  106z  106m  
2l    1l    0z    0z    0z    0z    0m    

64. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       24.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 480.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       -1.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       2.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {24.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2160.0}, ] >
}
{130: pos0, 131: pos1}
{130: pos0, 131: pos1}
{130: pos0, 131: pos1}
{130: pos0, 131: pos1}
{130: pos0, 131: pos1}
{130: pos0, 131: pos1}
{130: pos0, 131: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    3z    3z    3z    10z   9l    
2l    1l    0z    0z    0z    0z    0m    

65. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       24.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2160.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, 1.0, [amount {24.0}, dismissal {53.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {1248.0}, ] >
}
{132: pos0, 133: pos1}
{132: pos0, 133: pos1}
{132: pos0, 133: pos1}
{132: pos0, 133: pos1}
{132: pos0, 133: pos1}
{132: pos0, 133: pos1}
{132: pos0, 133: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    10z   9z    122z  11z   10l   
2l    6l    0z    0z    0z    0z    0m    

66. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       24.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 1248.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       2.0                       
dismissal    NIL                       
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {24.0}, dismissal {68.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {600.0}, ] >
}
{134: pos0, 135: pos1}
{134: pos0, 135: pos1}
{134: pos0, 135: pos1}
{134: pos0, 135: pos1}
{134: pos0, 135: pos1}
{134: pos0, 135: pos1}
{134: pos0, 135: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    11.67 11z   10.33 9.67z 9l    
2l    7.67l 0z    0z    0z    0z    0m    

67. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       24.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 600.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       -1.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       2.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 1.0], [amount {24.0}, dismissal {75.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, 3.0, [delaySend {528.0}, ] >
}
{136: pos0, 137: pos1}
{136: pos0, 137: pos1}
{136: pos0, 137: pos1}
{136: pos0, 137: pos1}
{136: pos0, 137: pos1}
{136: pos0, 137: pos1}
{136: pos0, 137: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    22m   
1l    0s    9z    11z   10z   9z    9m    
2l    2l    0z    0z    0z    0z    0m    

68. distance 0.0
encoding time: 0.14
solving time: 0.04
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       24.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 528.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0                       
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          1.0          
{
 <!, Create Fine, [0.0, 2.0], [amount {25.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {25.0}, ] >
}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}
{138: pos0, 139: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    2z    11z   10z   9z    8l    
2l    1l    0z    0z    0z    0z    0m    

69. distance 0.0
encoding time: 0.15
solving time: 0.07
LOG SEQUENCE:
             Create Fine  Payment      
amount       25.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          25.0         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       -2.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -3.0         -4.0         
points       1.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {25.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {384.0}, ] >
}
{140: pos0, 141: pos1}
{140: pos0, 141: pos1}
{140: pos0, 141: pos1}
{140: pos0, 141: pos1}
{140: pos0, 141: pos1}
{140: pos0, 141: pos1}
{140: pos0, 141: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    13z   12z   11z   10z   9l    
2l    100l  0z    0z    0z    0z    0m    

70. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       25.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 384.0        
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {25.0}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2255.0}, ] >
}
{142: pos0, 143: pos1}
{142: pos0, 143: pos1}
{142: pos0, 143: pos1}
{142: pos0, 143: pos1}
{142: pos0, 143: pos1}
{142: pos0, 143: pos1}
{142: pos0, 143: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    9m    
1l    0s    3z    3z    3z    3z    3m    
2l    1l    0z    0z    0z    0z    0m    

71. distance 0.0
encoding time: 0.14
solving time: 0.07
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       25.0                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2255.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       -2.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -3.0                      
points       0.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {30.99}, ] >
}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}
{144: pos0, 145: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    12z   11z   10z   9z    8l    
2l    1l    0z    0z    0z    0z    0m    

72. distance 0.0
encoding time: 0.15
solving time: 0.07
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          30.99        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {31.19}, ] >
}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}
{146: pos0, 147: pos1}

DISTANCES:
0?    5m    9z    9z    19z   19z   19m   
1l    0s    12z   10z   10z   10z   20l   
2l    6l    0z    0z    0z    0z    0m    

73. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          31.19        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          0.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 1.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, 3.0, [totalPaymentAmount {31.3}, ] >
}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}
{148: pos0, 149: pos1}

DISTANCES:
0?    5m    7z    7z    8z    8z    9m    
1l    0s    9z    8z    8z    9z    9m    
2l    1l    0z    0z    0z    0z    0m    

74. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          31.3         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          2.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 1.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, 3.0, [totalPaymentAmount {31.5}, ] >
}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}
{150: pos0, 151: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    9z    8z    10z   9z    8l    
2l    1l    0z    0z    0z    0z    0m    

75. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          31.5         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       1.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 1.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, 3.0, [totalPaymentAmount {32.8}, ] >
}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}
{152: pos0, 153: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    12z   11z   10z   9z    8l    
2l    1l    0z    0z    0z    0z    0m    

76. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          32.8         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 0.0          0.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {34.4}, ] >
}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}
{154: pos0, 155: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    10z   9z    8z    9z    8l    
2l    101l  0z    0z    0z    0z    0m    

77. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          34.4         
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       2.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment 1.0          0.0          
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {37.75}, ] >
}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}
{156: pos0, 157: pos1}

DISTANCES:
0?    5m    105z  105z  105z  106z  106m  
1l    0s    105z  107z  106z  106z  106m  
2l    101?  0z    0z    0z    0z    0m    

78. distance 0.0
encoding time: 0.14
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          37.75        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       2.0                       
dismissal    #                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Payment, [2.0, 3.0], [totalPaymentAmount {38.01}, ] >
}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}
{158: pos0, 159: pos1}

DISTANCES:
0?    5m    7z    7z    7z    7z    7m    
1l    0s    10z   9z    10z   9z    8l    
2l    101?  0z    0z    0z    0z    0m    

79. distance 0.0
encoding time: 0.15
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Payment      
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0          38.01        
points       0.0                       
dismissal    NIL                       
delaySend                              
expenses                               

MODEL SEQUENCE:
             Create Fine  Payment      
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -2.0         -1.0         
points       0.0                       
dismissal    ?                         
delaySend    0.0                       
expenses     0.0                       
{
 <!, Create Fine, 1.0, [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {0.0}, ] >
}
{160: pos0, 161: pos1}
{160: pos0, 161: pos1}
{160: pos0, 161: pos1}
{160: pos0, 161: pos1}
{160: pos0, 161: pos1}
{160: pos0, 161: pos1}
{160: pos0, 161: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    13z   12z   11z   10z   9l    
2l    1l    0z    0z    0z    0z    0m    

80. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 0.0          
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {0.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2496.0}, ] >
}
{162: pos0, 163: pos1}
{162: pos0, 163: pos1}
{162: pos0, 163: pos1}
{162: pos0, 163: pos1}
{162: pos0, 163: pos1}
{162: pos0, 163: pos1}
{162: pos0, 163: pos1}

DISTANCES:
0?    5m    8z    10z   11z   11z   11m   
1l    0s    12z   11z   11z   13z   12l   
2l    8l    0z    0z    0z    0z    0m    

81. distance 0.0
encoding time: 0.14
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    NIL                       
delaySend                 2496.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       0.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       0.0                       
dismissal    NIL                       
delaySend    0.0          -1.0         
expenses     0.0          -1.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {65.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {72.0}, ] >
}
{164: pos0, 165: pos1}
{164: pos0, 165: pos1}
{164: pos0, 165: pos1}
{164: pos0, 165: pos1}
{164: pos0, 165: pos1}
{164: pos0, 165: pos1}
{164: pos0, 165: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    8m    
1l    0s    13z   12z   11z   10z   9l    
2l    1l    0z    0z    0z    0z    0m    

82. distance 0.0
encoding time: 0.13
solving time: 0.05
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 72.0         
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       1.0                       
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -1.0                      
points       2.0                       
dismissal    ?                         
delaySend    0.0          -1.0         
expenses     0.0          -2.0         
{
 <!, Create Fine, [0.0, 2.0], [amount {31.3}, dismissal {65.0}, points {0.0}, totalPaymentAmount {0.0}, ] >
 <!, Send Fine, [2.0, 3.0], [delaySend {2232.0}, ] >
}
{166: pos0, 167: pos1}
{166: pos0, 167: pos1}
{166: pos0, 167: pos1}
{166: pos0, 167: pos1}
{166: pos0, 167: pos1}
{166: pos0, 167: pos1}
{166: pos0, 167: pos1}

DISTANCES:
0?    5m    8z    8z    8z    8z    9m    
1l    0s    10z   9z    10z   9z    9m    
2l    1l    0z    0z    0z    0z    0m    

83. distance 0.0
encoding time: 0.13
solving time: 0.06
LOG SEQUENCE:
             Create Fine  Send Fine    
amount       31.3                      
delayJudge                             
delayPrefect                           
totalPayment 0.0                       
points       0.0                       
dismissal    ?                         
delaySend                 2232.0       
expenses                               

MODEL SEQUENCE:
             Create Fine  Send Fine    
amount       -3.0                      
delayJudge   0.0                       
delayPrefect 0.0                       
totalPayment -4.0                      
points       0.0                       
dismissal    ?                         
delaySend    0.0          1.0          
expenses     0.0          -1.0