1# language: FORTRAN 2f 3 4# Context 5# {length,width | width+2<=length; 1<=width} 63 4 7# M N 1 81 1 -1 -2 91 0 1 -1 101 0 0 1 110 12 138 # Number of statements 14 151 16# {t1,t2,length,width | t1=0; t2=0; width+2<=length; 1<=width} 175 6 18# i j M N 1 190 1 0 0 0 0 200 0 1 0 0 0 211 0 0 1 -1 -2 221 0 0 0 1 -1 231 0 0 0 0 1 240 0 0 25 261 27# {t1,t2,length,width | 1<=t1<=width; t2=0; width+2<=length} 285 6 29# i j M N 1 300 0 1 0 0 0 311 1 0 0 0 -1 321 -1 0 0 1 0 331 0 0 1 -1 -2 341 0 0 0 0 1 350 0 0 36 371 38# {t1,t2,length,width | t1=t2; 1<=t2<=width; width+2<=length} 395 6 40# i j M N 1 410 1 -1 0 0 0 421 0 1 0 0 -1 431 0 -1 0 1 0 441 0 0 1 -1 -2 451 0 0 0 0 1 460 0 0 47 481 49# {t1,t2,length,width | t1=2t2-width; width+1<=t2<=length-1; 1<=width} 505 6 51# i j M N 1 520 1 -2 0 1 0 531 0 1 0 -1 -1 541 0 -1 1 0 -1 551 0 0 0 1 -1 561 0 0 0 0 1 570 0 0 58 591 60# {t1,t2,length,width | t1=2t2+width; 1<=t2<=length-width-1; 1<=width} 615 6 62# i j M N 1 630 1 -2 0 -1 0 641 0 1 0 0 -1 651 0 -1 1 -1 -1 661 0 0 0 1 -1 671 0 0 0 0 1 680 0 0 69 701 71# {t1,t2,length,width | (2t2-width+1,t2+1)<=t1<=(t2+length-1,2t2+width-1); 1<=t2<=length-1; width+2<=length} 728 6 73# i j M N 1 741 1 -2 0 1 -1 751 1 -1 0 0 -1 761 -1 1 1 0 -1 771 -1 2 0 1 -1 781 0 1 0 0 -1 791 0 -1 1 0 -1 801 0 0 1 -1 -2 811 0 0 0 0 1 820 0 0 83 841 85# {t1,t2,length,width | (width+1,2t2+width+1)<=t1<=(2length-width-2,2t2+width+2); width+2<=length; 1<=width} 866 6 87# i j M N 1 881 1 0 0 -1 -1 891 1 -2 0 -1 -1 901 -1 0 2 -1 -2 911 -1 2 0 1 2 921 0 0 1 -1 -2 931 0 0 0 1 -1 940 0 0 95 961 97# {t1,t2,length,width | (width+1,2t2-width)<=t1<=(2t2+width,2length-width-2); width+2<=length; 1<=width} 987 6 99# i j M N 1 1001 1 0 0 -1 -1 1011 1 -2 0 1 0 1021 -1 2 0 1 0 1031 -1 0 2 -1 -2 1041 0 0 1 -1 -2 1051 0 0 0 1 -1 1061 0 0 0 0 1 1070 0 0 1080 109 1100 # Scattering functions 111