36 36 "algol,_" 75.6 36 "n<" 36 48 "_" 36 48 "b_" 42.6 48 "e_" 49.2 48 "g_" 55.800000000000004 48 "i_" 62.4 48 "n" 55.800000000000004 60 "_" 55.800000000000004 60 "c_" 62.4 60 "o_" 69 60 "m_" 75.6 60 "m_" 82.19999999999999 60 "e_" 88.79999999999998 60 "n_" 95.39999999999998 60 "t" 55.800000000000004 84 "Sudoku program" 55.800000000000004 108 "Time1: 5269.1s = 1h 27m 49.1s" 55.800000000000004 120 "Time4: 6551.3s = 1h 49m 11.3s" 55.800000000000004 132 "Time4: 4188.7s = 1h 9m 48.7s" 55.800000000000004 144 "Time5: 5245.2s = 1h 27m 25.2s" 55.800000000000004 156 "Time6: 17130.0s = 4h 45m 30.0s" 55.800000000000004 168 "Time6: 123...: 70029.5s = 19h 27m" 280.19999999999993 168 "9.5s" 55.800000000000004 180 "Time6: 987...: 9803.0s = 2h 43m" 266.9999999999999 180 "23.0s" 55.800000000000004 192 "Time6: 12651.3s = 3h 30m 51.3s" 55.800000000000004 204 "Time6: 12142.5s = 3h 22m 22.5s" 55.800000000000004 216 "Time7: 3388.7s = 56m 28.7s" 55.800000000000004 240 "No buffer:" 55.800000000000004 264 "Time classic:" 194.3999999999999 264 "24794.2" 55.800000000000004 276 "Time turbo:" 194.3999999999999 276 "24784.9 0.04pct" 55.800000000000004 288 "Tracks transferred:" 194.3999999999999 288 "972876" 55.800000000000004 312 "Buffer:" 55.800000000000004 336 "Time classic:" 194.3999999999999 336 "3407.5" 55.800000000000004 348 "Time turbo:" 194.3999999999999 348 "3097.7 9.1pct" 55.800000000000004 360 "Tracks transferred:" 194.3999999999999 360 "6255" 55.800000000000004 420 ";" 55.800000000000004 444 "_" 55.800000000000004 444 "i_" 62.4 444 "n_" 69 444 "t_" 75.6 444 "e_" 82.19999999999999 444 "g_" 88.79999999999998 444 "e_" 95.39999999999998 444 "r _" 108.59999999999997 444 "a_" 115.19999999999996 444 "r_" 121.79999999999995 444 "r_" 128.39999999999995 444 "a_" 134.99999999999994 444 "y board,rows,cols,submatrices[1:81],stack[0:161];" 55.800000000000004 456 "_" 55.800000000000004 456 "i_" 62.4 456 "n_" 69 456 "t_" 75.6 456 "e_" 82.19999999999999 456 "g_" 88.79999999999998 456 "e_" 95.39999999999998 456 "r n,i,j,k,l,s,p,digit,row1,col1,mat1,best" 372.60000000000025 456 "n,best" 418.8000000000004 456 "p;" 55.800000000000004 468 "_" 55.800000000000004 468 "b_" 62.4 468 "o_" 69 468 "o_" 75.6 468 "l_" 82.19999999999999 468 "e_" 88.79999999999998 468 "a_" 95.39999999999998 468 "n m,best m,mask;" 55.800000000000004 480 "_" 55.800000000000004 480 "b_" 62.4 480 "o_" 69 480 "o_" 75.6 480 "l_" 82.19999999999999 480 "e_" 88.79999999999998 480 "a_" 95.39999999999998 480 "n _" 108.59999999999997 480 "a_" 115.19999999999996 480 "r_" 121.79999999999995 480 "r_" 128.39999999999995 480 "a_" 134.99999999999994 480 "y possible[1:81];" 55.800000000000004 492 "_" 55.800000000000004 492 "r_" 62.4 492 "e_" 69 492 "a_" 75.6 492 "l _" 88.79999999999998 492 "p_" 95.39999999999998 492 "r_" 101.99999999999997 492 "o_" 108.59999999999997 492 "c_" 115.19999999999996 492 "e_" 121.79999999999995 492 "d_" 128.39999999999995 492 "u_" 134.99999999999994 492 "r_" 141.59999999999994 492 "e clock count;" 55.800000000000004 504 "_" 55.800000000000004 504 "c_" 62.4 504 "o_" 69 504 "d_" 75.6 504 "e clock count;" 55.800000000000004 516 "1, 37;" 69 528 "zl" 134.99999999999994 528 ", grf p−1" 214.19999999999987 528 "; RF:=clock" 293.4 528 "count;" 339.60000000000014 528 "stack[p−1]:=RF;" 55.800000000000004 540 "_" 55.800000000000004 540 "e;" 55.800000000000004 552 "_" 55.800000000000004 552 "p_" 62.4 552 "r_" 69 552 "o_" 75.6 552 "c_" 82.19999999999999 552 "e_" 88.79999999999998 552 "d_" 95.39999999999998 552 "u_" 101.99999999999997 552 "r_" 108.59999999999997 552 "e print;" 55.800000000000004 564 "_" 55.800000000000004 564 "b_" 62.4 564 "e_" 69 564 "g_" 75.6 564 "i_" 82.19999999999999 564 "n" 75.6 576 "_" 75.6 576 "i_" 82.19999999999999 576 "n_" 88.79999999999998 576 "t_" 95.39999999999998 576 "e_" 101.99999999999997 576 "g_" 108.59999999999997 576 "e_" 115.19999999999996 576 "r i,j;" 75.6 588 "writecr;" 75.6 600 "writetext(|" 141.59999999999994 600 "<);" 75.6 612 "write(|" 115.19999999999996 612 "<−ddddddddd.d|" 200.9999999999999 612 ">, clock" 260.39999999999986 612 "count);" 75.6 624 "writecr;" 75.6 636 "_" 75.6 636 "f_" 82.19999999999999 636 "o_" 88.79999999999998 636 "r i:=1 _" 134.99999999999994 636 "s_" 141.59999999999994 636 "t_" 148.19999999999993 636 "e_" 154.79999999999993 636 "p 1 _" 181.1999999999999 636 "u_" 187.7999999999999 636 "n_" 194.3999999999999 636 "t_" 200.9999999999999 636 "i_" 207.59999999999988 636 "l 9 _" 233.99999999999986 636 "d_" 240.59999999999985 636 "o" 75.6 648 "_" 75.6 648 "b_" 82.19999999999999 648 "e_" 88.79999999999998 648 "g_" 95.39999999999998 648 "i_" 101.99999999999997 648 "n" 95.39999999999998 660 "_" 95.39999999999998 660 "f_" 101.99999999999997 660 "o_" 108.59999999999997 660 "r j:=1 _" 154.79999999999993 660 "s_" 161.39999999999992 660 "t_" 167.99999999999991 660 "e_" 174.5999999999999 660 "p 1 _" 200.9999999999999 660 "u_" 207.59999999999988 660 "n_" 214.19999999999987 660 "t_" 220.79999999999987 660 "i_" 227.39999999999986 660 "l 9 _" 253.79999999999987 660 "d_" 260.39999999999986 660 "o" 95.39999999999998 672 "writeinteger(|" 181.1999999999999 672 ", board[(i−1)" 293.4 672 "×" 300 672 "9+j]);" 95.39999999999998 684 "writecr" 75.6 696 "_" 75.6 696 "e_" 82.19999999999999 696 "n_" 88.79999999999998 696 "d" 55.800000000000004 708 "_" 55.800000000000004 708 "e_" 62.4 708 "n_" 69 708 "d print;" 55.800000000000004 720 "_" 55.800000000000004 720 "p_" 62.4 720 "r_" 69 720 "o_" 75.6 720 "c_" 82.19999999999999 720 "e_" 88.79999999999998 720 "d_" 95.39999999999998 720 "u_" 101.99999999999997 720 "r_" 108.59999999999997 720 "e nprint(n);" 55.800000000000004 732 "_" 55.800000000000004 732 "v_" 62.4 732 "a_" 69 732 "l_" 75.6 732 "u_" 82.19999999999999 732 "e n;" 55.800000000000004 744 "_" 55.800000000000004 744 "b_" 62.4 744 "o_" 69 744 "o_" 75.6 744 "l_" 82.19999999999999 744 "e_" 88.79999999999998 744 "a_" 95.39999999999998 744 "n n;" 55.800000000000004 756 "_" 55.800000000000004 756 "b_" 62.4 756 "e_" 69 756 "g_" 75.6 756 "i_" 82.19999999999999 756 "n" 75.6 768 "_" 75.6 768 "i_" 82.19999999999999 768 "n_" 88.79999999999998 768 "t_" 95.39999999999998 768 "e_" 101.99999999999997 768 "g_" 108.59999999999997 768 "e_" 115.19999999999996 768 "r i;" 75.6 780 "writecr;" 75.6 792 "_" 75.6 792 "f_" 82.19999999999999 792 "o_" 88.79999999999998 792 "r i:=0 _" 134.99999999999994 792 "s_" 141.59999999999994 792 "t_" 148.19999999999993 792 "e_" 154.79999999999993 792 "p 1 _" 181.1999999999999 792 "u_" 187.7999999999999 792 "n_" 194.3999999999999 792 "t_" 200.9999999999999 792 "i_" 207.59999999999988 792 "l 39 _" 240.59999999999985 792 "d_" 247.19999999999985 792 "o" 75.6 36 "_" 75.6 36 "b_" 82.19999999999999 36 "e_" 88.79999999999998 36 "g_" 95.39999999999998 36 "i_" 101.99999999999997 36 "n" 95.39999999999998 48 "writechar(_" 161.39999999999992 48 "i_" 167.99999999999991 48 "f n _" 194.3999999999999 48 "s_" 200.9999999999999 48 "h_" 207.59999999999988 48 "i_" 214.19999999999987 48 "f_" 220.79999999999987 48 "t i _" 247.19999999999985 48 "t_" 253.79999999999987 48 "h_" 260.39999999999986 48 "e_" 266.9999999999999 48 "n" 280.19999999999993 48 "1" 293.4 48 "_" 293.4 48 "e_" 300 48 "l_" 306.6 48 "s_" 313.20000000000005 48 "e" 326.4000000000001 48 "16);" 95.39999999999998 60 "_" 95.39999999999998 60 "i_" 101.99999999999997 60 "f i _" 128.39999999999995 60 "m_" 134.99999999999994 60 "o_" 141.59999999999994 60 "d 10=9 _" 187.7999999999999 60 "t_" 194.3999999999999 60 "h_" 200.9999999999999 60 "e_" 207.59999999999988 60 "n writechar(0)" 75.6 72 "_" 75.6 72 "e_" 82.19999999999999 72 "n_" 88.79999999999998 72 "d i" 55.800000000000004 84 "_" 55.800000000000004 84 "e_" 62.4 84 "n_" 69 84 "d nprint;" 55.800000000000004 96 "_" 55.800000000000004 96 "i_" 62.4 96 "n_" 69 96 "t_" 75.6 96 "e_" 82.19999999999999 96 "g_" 88.79999999999998 96 "e_" 95.39999999999998 96 "r _" 108.59999999999997 96 "p_" 115.19999999999996 96 "r_" 121.79999999999995 96 "o_" 128.39999999999995 96 "c_" 134.99999999999994 96 "e_" 141.59999999999994 96 "d_" 148.19999999999993 96 "u_" 154.79999999999993 96 "r_" 161.39999999999992 96 "e nbits(n);" 55.800000000000004 108 "_" 55.800000000000004 108 "v_" 62.4 108 "a_" 69 108 "l_" 75.6 108 "u_" 82.19999999999999 108 "e n;" 55.800000000000004 120 "_" 55.800000000000004 120 "b_" 62.4 120 "o_" 69 120 "o_" 75.6 120 "l_" 82.19999999999999 120 "e_" 88.79999999999998 120 "a_" 95.39999999999998 120 "n n;" 55.800000000000004 132 "_" 55.800000000000004 132 "b_" 62.4 132 "e_" 69 132 "g_" 75.6 132 "i_" 82.19999999999999 132 "n" 75.6 144 "n:=n _" 108.59999999999997 144 "s_" 115.19999999999996 144 "h_" 121.79999999999995 144 "i_" 128.39999999999995 144 "f_" 134.99999999999994 144 "t −30;" 75.6 156 "n:=_" 95.39999999999998 156 "b_" 101.99999999999997 156 "o_" 108.59999999999997 156 "o_" 115.19999999999996 156 "l_" 121.79999999999995 156 "e_" 128.39999999999995 156 "a_" 134.99999999999994 156 "n((_" 154.79999999999993 156 "i_" 161.39999999999992 156 "n_" 167.99999999999991 156 "t_" 174.5999999999999 156 "e_" 181.1999999999999 156 "g_" 187.7999999999999 156 "e_" 194.3999999999999 156 "r(n" 220.8 156 "∧" 234 156 "_" 234 156 "2_" 240.6 156 "40_" 253.79999999999998 156 "45_" 267 156 "45_" 280.20000000000005 156 "45_" 293.4000000000001 156 "45))" 326.4000000000002 156 "+" 339.60000000000025 156 "(_" 346.2000000000003 156 "i_" 352.8000000000003 156 "n_" 359.4000000000003 156 "t_" 366.00000000000034 156 "e_" 372.60000000000036 156 "g_" 379.2000000000004 156 "e_" 385.8000000000004 156 "r((n" 418.8000000000005 156 "_" 418.8000000000005 156 "s_" 425.40000000000055 156 "h_" 432.00000000000057 156 "i_" 438.6000000000006 156 "f_" 445.2000000000006 156 "t" 458.40000000000066 156 "−1)" 484.79999999999995 156 "∧" 498 156 "_" 498 156 "2_" 504.6 156 "40_" 517.8000000000001 156 "45_" 531.0000000000001 156 "45_" 544.2000000000002 156 "45_" 557.4000000000002 156 "45)));" 75.6 168 "n:=_" 95.39999999999998 168 "b_" 101.99999999999997 168 "o_" 108.59999999999997 168 "o_" 115.19999999999996 168 "l_" 121.79999999999995 168 "e_" 128.39999999999995 168 "a_" 134.99999999999994 168 "n((_" 154.79999999999993 168 "i_" 161.39999999999992 168 "n_" 167.99999999999991 168 "t_" 174.5999999999999 168 "e_" 181.1999999999999 168 "g_" 187.7999999999999 168 "e_" 194.3999999999999 168 "r(n" 220.8 168 "∧" 234 168 "_" 234 168 "2_" 240.6 168 "40_" 253.79999999999998 168 "43_" 267 168 "43_" 280.20000000000005 168 "43_" 293.4000000000001 168 "43))" 326.4000000000002 168 "+" 339.60000000000025 168 "(_" 346.2000000000003 168 "i_" 352.8000000000003 168 "n_" 359.4000000000003 168 "t_" 366.00000000000034 168 "e_" 372.60000000000036 168 "g_" 379.2000000000004 168 "e_" 385.8000000000004 168 "r((n" 418.8000000000005 168 "_" 418.8000000000005 168 "s_" 425.40000000000055 168 "h_" 432.00000000000057 168 "i_" 438.6000000000006 168 "f_" 445.2000000000006 168 "t" 458.40000000000066 168 "−2)" 484.79999999999995 168 "∧" 498 168 "_" 498 168 "2_" 504.6 168 "40_" 517.8000000000001 168 "43_" 531.0000000000001 168 "43_" 544.2000000000002 168 "43_" 557.4000000000002 168 "43)));" 75.6 180 "n:=_" 95.39999999999998 180 "b_" 101.99999999999997 180 "o_" 108.59999999999997 180 "o_" 115.19999999999996 180 "l_" 121.79999999999995 180 "e_" 128.39999999999995 180 "a_" 134.99999999999994 180 "n((_" 154.79999999999993 180 "i_" 161.39999999999992 180 "n_" 167.99999999999991 180 "t_" 174.5999999999999 180 "e_" 181.1999999999999 180 "g_" 187.7999999999999 180 "e_" 194.3999999999999 180 "r(n" 220.8 180 "∧" 234 180 "_" 234 180 "2_" 240.6 180 "40_" 253.79999999999998 180 "40_" 267 180 "4m_" 280.20000000000005 180 "40_" 293.4000000000001 180 "4m))" 326.4000000000002 180 "+" 339.60000000000025 180 "(_" 346.2000000000003 180 "i_" 352.8000000000003 180 "n_" 359.4000000000003 180 "t_" 366.00000000000034 180 "e_" 372.60000000000036 180 "g_" 379.2000000000004 180 "e_" 385.8000000000004 180 "r((n" 418.8000000000005 180 "_" 418.8000000000005 180 "s_" 425.40000000000055 180 "h_" 432.00000000000057 180 "i_" 438.6000000000006 180 "f_" 445.2000000000006 180 "t" 458.40000000000066 180 "−4)" 484.79999999999995 180 "∧" 498 180 "_" 498 180 "2_" 504.6 180 "40_" 517.8000000000001 180 "40_" 531.0000000000001 180 "4m_" 544.2000000000002 180 "40_" 557.4000000000002 180 "4m)));" 75.6 192 "nbits:=(_" 128.39999999999995 192 "i_" 134.99999999999994 192 "n_" 141.59999999999994 192 "t_" 148.19999999999993 192 "e_" 154.79999999999993 192 "g_" 161.39999999999992 192 "e_" 167.99999999999991 192 "r(n" 194.4 192 "∧" 207.6 192 "_" 207.6 192 "2_" 214.2 192 "40_" 227.39999999999998 192 "40_" 240.59999999999997 192 "40_" 253.79999999999998 192 "4m_" 267 192 "4m))" 300.0000000000001 192 "+" 313.20000000000016 192 "(_" 319.8000000000002 192 "i_" 326.4000000000002 192 "n_" 333.0000000000002 192 "t_" 339.60000000000025 192 "e_" 346.2000000000003 192 "g_" 352.8000000000003 192 "e_" 359.4000000000003 192 "r((n" 392.40000000000043 192 "_" 392.40000000000043 192 "s_" 399.00000000000045 192 "h_" 405.6000000000005 192 "i_" 412.2000000000005 192 "f_" 418.8000000000005 192 "t" 432.00000000000057 192 "−8)" 458.4 192 "∧" 471.6 192 "_" 471.6 192 "2_" 478.20000000000005 192 "40_" 491.4000000000001 192 "40_" 504.60000000000014 192 "40_" 517.8000000000002 192 "4m_" 531.0000000000002 192 "4m));" 55.800000000000004 204 "_" 55.800000000000004 204 "e_" 62.4 204 "n_" 69 204 "d nbits;" 55.800000000000004 228 "select(16);" 55.800000000000004 252 "n:=0;" 55.800000000000004 264 "readgeneral(board,_" 174.5999999999999 264 "3 0 _" 200.9999999999999 264 "7 27 _" 233.99999999999986 264 "3 2" 260.39999999999986 264 "_" 260.39999999999986 264 "7" 273.5999999999999 264 "64" 293.4 264 "_" 293.4 264 "3" 306.6 264 "1" 319.80000000000007 264 "_" 319.80000000000007 264 "7" 333.0000000000001 264 "5" 346.20000000000016 264 "_" 346.20000000000016 264 "3" 359.4000000000002 264 "3" 372.60000000000025 264 "_" 372.60000000000025 264 "7" 385.8000000000003 264 "0,n);" 55.800000000000004 288 "_" 55.800000000000004 288 "f_" 62.4 288 "o_" 69 288 "r i:=1 _" 115.19999999999996 288 "s_" 121.79999999999995 288 "t_" 128.39999999999995 288 "e_" 134.99999999999994 288 "p 1 _" 161.39999999999992 288 "u_" 167.99999999999991 288 "n_" 174.5999999999999 288 "t_" 181.1999999999999 288 "i_" 187.7999999999999 288 "l 9 _" 214.19999999999987 288 "d_" 220.79999999999987 288 "o" 55.800000000000004 300 "_" 55.800000000000004 300 "b_" 62.4 300 "e_" 69 300 "g_" 75.6 300 "i_" 82.19999999999999 300 "n" 75.6 312 "_" 75.6 312 "f_" 82.19999999999999 312 "o_" 88.79999999999998 312 "r j:=1 _" 134.99999999999994 312 "s_" 141.59999999999994 312 "t_" 148.19999999999993 312 "e_" 154.79999999999993 312 "p 1 _" 181.1999999999999 312 "u_" 187.7999999999999 312 "n_" 194.3999999999999 312 "t_" 200.9999999999999 312 "i_" 207.59999999999988 312 "l 9 _" 233.99999999999986 312 "d_" 240.59999999999985 312 "o" 75.6 324 "_" 75.6 324 "b_" 82.19999999999999 324 "e_" 88.79999999999998 324 "g_" 95.39999999999998 324 "i_" 101.99999999999997 324 "n" 95.39999999999998 336 "rows[(i−1)" 161.4 336 "×" 168 336 "9+j] := (i−1)" 253.8 336 "×" 260.40000000000003 336 "9+1;" 95.4 348 "cols[(i−1)" 161.40000000000003 348 "×" 168.00000000000003 348 "9+j] := j" 75.60000000000002 360 "_" 75.60000000000002 360 "e_" 82.20000000000002 360 "n_" 88.80000000000001 360 "d j" 55.80000000000003 372 "_" 55.80000000000003 372 "e_" 62.40000000000003 372 "n_" 69.00000000000003 372 "d i;" 55.80000000000003 384 "_" 55.80000000000003 384 "f_" 62.40000000000003 384 "o_" 69.00000000000003 384 "r i:=1 _" 115.19999999999999 384 "s_" 121.79999999999998 384 "t_" 128.39999999999998 384 "e_" 134.99999999999997 384 "p 1 _" 161.39999999999995 384 "u_" 167.99999999999994 384 "n_" 174.59999999999994 384 "t_" 181.19999999999993 384 "i_" 187.79999999999993 384 "l 3 _" 214.1999999999999 384 "d_" 220.7999999999999 384 "o" 55.80000000000003 396 "_" 55.80000000000003 396 "f_" 62.40000000000003 396 "o_" 69.00000000000003 396 "r j:=1 _" 115.19999999999999 396 "s_" 121.79999999999998 396 "t_" 128.39999999999998 396 "e_" 134.99999999999997 396 "p 1 _" 161.39999999999995 396 "u_" 167.99999999999994 396 "n_" 174.59999999999994 396 "t_" 181.19999999999993 396 "i_" 187.79999999999993 396 "l 3 _" 214.1999999999999 396 "d_" 220.7999999999999 396 "o" 55.80000000000003 408 "_" 55.80000000000003 408 "f_" 62.40000000000003 408 "o_" 69.00000000000003 408 "r k:=1 _" 115.19999999999999 408 "s_" 121.79999999999998 408 "t_" 128.39999999999998 408 "e_" 134.99999999999997 408 "p 1 _" 161.39999999999995 408 "u_" 167.99999999999994 408 "n_" 174.59999999999994 408 "t_" 181.19999999999993 408 "i_" 187.79999999999993 408 "l 3 _" 214.1999999999999 408 "d_" 220.7999999999999 408 "o" 55.80000000000003 420 "_" 55.80000000000003 420 "f_" 62.40000000000003 420 "o_" 69.00000000000003 420 "r l:=1 _" 115.19999999999999 420 "s_" 121.79999999999998 420 "t_" 128.39999999999998 420 "e_" 134.99999999999997 420 "p 1 _" 161.39999999999995 420 "u_" 167.99999999999994 420 "n_" 174.59999999999994 420 "t_" 181.19999999999993 420 "i_" 187.79999999999993 420 "l 3 _" 214.1999999999999 420 "d_" 220.7999999999999 420 "o" 55.80000000000003 432 "submatrices[(i−1)" 168.00000000000003 432 "×" 174.60000000000002 432 "27+(j−1)" 227.40000000000003 432 "×" 234.00000000000003 432 "3+(k−1)" 280.20000000000005 432 "×" 286.80000000000007 432 "9+l]" 319.8000000000002 432 ":=" 339.60000000000025 432 "(i−1)" 372.6000000000001 432 "×" 379.2000000000001 432 "27+(j−1)" 432.0000000000001 432 "×" 438.60000000000014 432 "3+1;" 55.80000000000012 456 "clock count;" 55.80000000000012 480 "print;" 55.80000000000012 492 "s:=0;" 55.80000000000012 504 "p:=1;" 36.000000000000114 516 "a1:" 36.000000000000114 528 "a2:" 55.80000000000012 540 "best p:=0;" 55.80000000000012 552 "best n:=10;" 55.80000000000012 564 "best m:=_" 108.60000000000008 564 "4_" 115.20000000000007 564 "00;" 55.80000000000012 576 "_" 55.80000000000012 576 "f_" 62.40000000000011 576 "o_" 69.00000000000011 576 "r p:=1 _" 115.20000000000007 576 "s_" 121.80000000000007 576 "t_" 128.40000000000006 576 "e_" 135.00000000000006 576 "p 1 _" 161.40000000000003 576 "u_" 168.00000000000003 576 "n_" 174.60000000000002 576 "t_" 181.20000000000002 576 "i_" 187.8 576 "l 81 _" 220.79999999999998 576 "d_" 227.39999999999998 576 "o" 55.80000000000012 588 "_" 55.80000000000012 588 "i_" 62.40000000000011 588 "f board[p]=0 _" 148.20000000000005 588 "t_" 154.80000000000004 588 "h_" 161.40000000000003 588 "e_" 168.00000000000003 588 "n" 55.80000000000012 600 "_" 55.80000000000012 600 "b_" 62.40000000000011 600 "e_" 69.00000000000011 600 "g_" 75.60000000000011 600 "i_" 82.2000000000001 600 "n" 75.60000000000011 612 "m:=_" 95.40000000000009 612 "1 0 _" 121.80000000000007 612 "9 m _" 148.20000000000005 612 "3_" 154.80000000000004 612 "0 0;" 75.60000000000011 624 "row1:=rows[p];" 75.60000000000011 636 "col1:=cols[p];" 75.60000000000011 648 "mat1 := submatrices[p];" 75.60000000000011 660 "mask:=_" 115.20000000000007 660 "1 0 _" 141.60000000000005 660 "3_" 148.20000000000005 660 "9 m;" 75.60000000000011 672 "i:= board[row1" 187.8 672 "]; _" 207.6 672 "i_" 214.2 672 "f i|" 233.99999999999997 672 "=0 _" 253.79999999999998 672 "t_" 260.4 672 "h_" 267 672 "e_" 273.6 672 "n" 286.80000000000007 672 "m:=m" 313.2000000000001 672 "∧" 319.8000000000001 672 "(mask" 359.40000000000026 672 "_" 359.40000000000026 672 "s_" 366.0000000000003 672 "h_" 372.6000000000003 672 "i_" 379.20000000000033 672 "f_" 385.80000000000035 672 "t" 399.0000000000004 672 "−i);" 75.60000000000011 684 "i:= board[row1+ 1]; _" 207.6 684 "i_" 214.2 684 "f i|" 233.99999999999997 684 "=0 _" 253.79999999999998 684 "t_" 260.4 684 "h_" 267 684 "e_" 273.6 684 "n" 286.80000000000007 684 "m:=m" 313.2000000000001 684 "∧" 319.8000000000001 684 "(mask" 359.40000000000026 684 "_" 359.40000000000026 684 "s_" 366.0000000000003 684 "h_" 372.6000000000003 684 "i_" 379.20000000000033 684 "f_" 385.80000000000035 684 "t" 399.0000000000004 684 "−i);" 75.60000000000011 696 "i:= board[row1+ 2]; _" 207.6 696 "i_" 214.2 696 "f i|" 233.99999999999997 696 "=0 _" 253.79999999999998 696 "t_" 260.4 696 "h_" 267 696 "e_" 273.6 696 "n" 286.80000000000007 696 "m:=m" 313.2000000000001 696 "∧" 319.8000000000001 696 "(mask" 359.40000000000026 696 "_" 359.40000000000026 696 "s_" 366.0000000000003 696 "h_" 372.6000000000003 696 "i_" 379.20000000000033 696 "f_" 385.80000000000035 696 "t" 399.0000000000004 696 "−i);" 75.60000000000011 708 "i:= board[row1+ 3]; _" 207.6 708 "i_" 214.2 708 "f i|" 233.99999999999997 708 "=0 _" 253.79999999999998 708 "t_" 260.4 708 "h_" 267 708 "e_" 273.6 708 "n" 286.80000000000007 708 "m:=m" 313.2000000000001 708 "∧" 319.8000000000001 708 "(mask" 359.40000000000026 708 "_" 359.40000000000026 708 "s_" 366.0000000000003 708 "h_" 372.6000000000003 708 "i_" 379.20000000000033 708 "f_" 385.80000000000035 708 "t" 399.0000000000004 708 "−i);" 75.60000000000011 720 "i:= board[row1+ 4]; _" 207.6 720 "i_" 214.2 720 "f i|" 233.99999999999997 720 "=0 _" 253.79999999999998 720 "t_" 260.4 720 "h_" 267 720 "e_" 273.6 720 "n" 286.80000000000007 720 "m:=m" 313.2000000000001 720 "∧" 319.8000000000001 720 "(mask" 359.40000000000026 720 "_" 359.40000000000026 720 "s_" 366.0000000000003 720 "h_" 372.6000000000003 720 "i_" 379.20000000000033 720 "f_" 385.80000000000035 720 "t" 399.0000000000004 720 "−i);" 75.60000000000011 732 "i:= board[row1+ 5]; _" 207.6 732 "i_" 214.2 732 "f i|" 233.99999999999997 732 "=0 _" 253.79999999999998 732 "t_" 260.4 732 "h_" 267 732 "e_" 273.6 732 "n" 286.80000000000007 732 "m:=m" 313.2000000000001 732 "∧" 319.8000000000001 732 "(mask" 359.40000000000026 732 "_" 359.40000000000026 732 "s_" 366.0000000000003 732 "h_" 372.6000000000003 732 "i_" 379.20000000000033 732 "f_" 385.80000000000035 732 "t" 399.0000000000004 732 "−i);" 75.60000000000011 744 "i:= board[row1+ 6]; _" 207.6 744 "i_" 214.2 744 "f i|" 233.99999999999997 744 "=0 _" 253.79999999999998 744 "t_" 260.4 744 "h_" 267 744 "e_" 273.6 744 "n" 286.80000000000007 744 "m:=m" 313.2000000000001 744 "∧" 319.8000000000001 744 "(mask" 359.40000000000026 744 "_" 359.40000000000026 744 "s_" 366.0000000000003 744 "h_" 372.6000000000003 744 "i_" 379.20000000000033 744 "f_" 385.80000000000035 744 "t" 399.0000000000004 744 "−i);" 75.60000000000011 756 "i:= board[row1+ 7]; _" 207.6 756 "i_" 214.2 756 "f i|" 233.99999999999997 756 "=0 _" 253.79999999999998 756 "t_" 260.4 756 "h_" 267 756 "e_" 273.6 756 "n" 286.80000000000007 756 "m:=m" 313.2000000000001 756 "∧" 319.8000000000001 756 "(mask" 359.40000000000026 756 "_" 359.40000000000026 756 "s_" 366.0000000000003 756 "h_" 372.6000000000003 756 "i_" 379.20000000000033 756 "f_" 385.80000000000035 756 "t" 399.0000000000004 756 "−i);" 75.60000000000011 768 "i:= board[row1+ 8]; _" 207.6 768 "i_" 214.2 768 "f i|" 233.99999999999997 768 "=0 _" 253.79999999999998 768 "t_" 260.4 768 "h_" 267 768 "e_" 273.6 768 "n" 286.80000000000007 768 "m:=m" 313.2000000000001 768 "∧" 319.8000000000001 768 "(mask" 359.40000000000026 768 "_" 359.40000000000026 768 "s_" 366.0000000000003 768 "h_" 372.6000000000003 768 "i_" 379.20000000000033 768 "f_" 385.80000000000035 768 "t" 399.0000000000004 768 "−i);" 75.60000000000011 780 "i:= board[col1" 187.8 780 "]; _" 207.6 780 "i_" 214.2 780 "f i|" 233.99999999999997 780 "=0 _" 253.79999999999998 780 "t_" 260.4 780 "h_" 267 780 "e_" 273.6 780 "n" 286.80000000000007 780 "m:=m" 313.2000000000001 780 "∧" 319.8000000000001 780 "(mask" 359.40000000000026 780 "_" 359.40000000000026 780 "s_" 366.0000000000003 780 "h_" 372.6000000000003 780 "i_" 379.20000000000033 780 "f_" 385.80000000000035 780 "t" 399.0000000000004 780 "−i);" 75.60000000000011 792 "i:= board[col1+ 9]; _" 207.6 792 "i_" 214.2 792 "f i|" 233.99999999999997 792 "=0 _" 253.79999999999998 792 "t_" 260.4 792 "h_" 267 792 "e_" 273.6 792 "n" 286.80000000000007 792 "m:=m" 313.2000000000001 792 "∧" 319.8000000000001 792 "(mask" 359.40000000000026 792 "_" 359.40000000000026 792 "s_" 366.0000000000003 792 "h_" 372.6000000000003 792 "i_" 379.20000000000033 792 "f_" 385.80000000000035 792 "t" 399.0000000000004 792 "−i);" 75.6 36 "i:= board[col1+18]; _" 207.59999999999988 36 "i_" 214.19999999999987 36 "f i|" 233.99999999999986 36 "=0 _" 253.79999999999987 36 "t_" 260.39999999999986 36 "h_" 266.9999999999999 36 "e_" 273.5999999999999 36 "n" 286.79999999999995 36 "m:=m" 313.2 36 "∧" 319.8 36 "(mask" 359.40000000000015 36 "_" 359.40000000000015 36 "s_" 366.00000000000017 36 "h_" 372.6000000000002 36 "i_" 379.2000000000002 36 "f_" 385.80000000000024 36 "t" 399.0000000000003 36 "−i);" 75.6 48 "i:= board[col1+27]; _" 207.59999999999988 48 "i_" 214.19999999999987 48 "f i|" 233.99999999999986 48 "=0 _" 253.79999999999987 48 "t_" 260.39999999999986 48 "h_" 266.9999999999999 48 "e_" 273.5999999999999 48 "n" 286.79999999999995 48 "m:=m" 313.2 48 "∧" 319.8 48 "(mask" 359.40000000000015 48 "_" 359.40000000000015 48 "s_" 366.00000000000017 48 "h_" 372.6000000000002 48 "i_" 379.2000000000002 48 "f_" 385.80000000000024 48 "t" 399.0000000000003 48 "−i);" 75.6 60 "i:= board[col1+36]; _" 207.59999999999988 60 "i_" 214.19999999999987 60 "f i|" 233.99999999999986 60 "=0 _" 253.79999999999987 60 "t_" 260.39999999999986 60 "h_" 266.9999999999999 60 "e_" 273.5999999999999 60 "n" 286.79999999999995 60 "m:=m" 313.2 60 "∧" 319.8 60 "(mask" 359.40000000000015 60 "_" 359.40000000000015 60 "s_" 366.00000000000017 60 "h_" 372.6000000000002 60 "i_" 379.2000000000002 60 "f_" 385.80000000000024 60 "t" 399.0000000000003 60 "−i);" 75.6 72 "i:= board[col1+45]; _" 207.59999999999988 72 "i_" 214.19999999999987 72 "f i|" 233.99999999999986 72 "=0 _" 253.79999999999987 72 "t_" 260.39999999999986 72 "h_" 266.9999999999999 72 "e_" 273.5999999999999 72 "n" 286.79999999999995 72 "m:=m" 313.2 72 "∧" 319.8 72 "(mask" 359.40000000000015 72 "_" 359.40000000000015 72 "s_" 366.00000000000017 72 "h_" 372.6000000000002 72 "i_" 379.2000000000002 72 "f_" 385.80000000000024 72 "t" 399.0000000000003 72 "−i);" 75.6 84 "i:= board[col1+54]; _" 207.59999999999988 84 "i_" 214.19999999999987 84 "f i|" 233.99999999999986 84 "=0 _" 253.79999999999987 84 "t_" 260.39999999999986 84 "h_" 266.9999999999999 84 "e_" 273.5999999999999 84 "n" 286.79999999999995 84 "m:=m" 313.2 84 "∧" 319.8 84 "(mask" 359.40000000000015 84 "_" 359.40000000000015 84 "s_" 366.00000000000017 84 "h_" 372.6000000000002 84 "i_" 379.2000000000002 84 "f_" 385.80000000000024 84 "t" 399.0000000000003 84 "−i);" 75.6 96 "i:= board[col1+63]; _" 207.59999999999988 96 "i_" 214.19999999999987 96 "f i|" 233.99999999999986 96 "=0 _" 253.79999999999987 96 "t_" 260.39999999999986 96 "h_" 266.9999999999999 96 "e_" 273.5999999999999 96 "n" 286.79999999999995 96 "m:=m" 313.2 96 "∧" 319.8 96 "(mask" 359.40000000000015 96 "_" 359.40000000000015 96 "s_" 366.00000000000017 96 "h_" 372.6000000000002 96 "i_" 379.2000000000002 96 "f_" 385.80000000000024 96 "t" 399.0000000000003 96 "−i);" 75.6 108 "i:= board[col1+72]; _" 207.59999999999988 108 "i_" 214.19999999999987 108 "f i|" 233.99999999999986 108 "=0 _" 253.79999999999987 108 "t_" 260.39999999999986 108 "h_" 266.9999999999999 108 "e_" 273.5999999999999 108 "n" 286.79999999999995 108 "m:=m" 313.2 108 "∧" 319.8 108 "(mask" 359.40000000000015 108 "_" 359.40000000000015 108 "s_" 366.00000000000017 108 "h_" 372.6000000000002 108 "i_" 379.2000000000002 108 "f_" 385.80000000000024 108 "t" 399.0000000000003 108 "−i);" 75.6 120 "i:= board[mat1" 187.7999999999999 120 "]; _" 207.59999999999988 120 "i_" 214.19999999999987 120 "f i|" 233.99999999999986 120 "=0 _" 253.79999999999987 120 "t_" 260.39999999999986 120 "h_" 266.9999999999999 120 "e_" 273.5999999999999 120 "n" 286.79999999999995 120 "m:=m" 313.2 120 "∧" 319.8 120 "(mask" 359.40000000000015 120 "_" 359.40000000000015 120 "s_" 366.00000000000017 120 "h_" 372.6000000000002 120 "i_" 379.2000000000002 120 "f_" 385.80000000000024 120 "t" 399.0000000000003 120 "−i);" 75.6 132 "i:= board[mat1+ 1]; _" 207.59999999999988 132 "i_" 214.19999999999987 132 "f i|" 233.99999999999986 132 "=0 _" 253.79999999999987 132 "t_" 260.39999999999986 132 "h_" 266.9999999999999 132 "e_" 273.5999999999999 132 "n" 286.79999999999995 132 "m:=m" 313.2 132 "∧" 319.8 132 "(mask" 359.40000000000015 132 "_" 359.40000000000015 132 "s_" 366.00000000000017 132 "h_" 372.6000000000002 132 "i_" 379.2000000000002 132 "f_" 385.80000000000024 132 "t" 399.0000000000003 132 "−i);" 75.6 144 "i:= board[mat1+ 2]; _" 207.59999999999988 144 "i_" 214.19999999999987 144 "f i|" 233.99999999999986 144 "=0 _" 253.79999999999987 144 "t_" 260.39999999999986 144 "h_" 266.9999999999999 144 "e_" 273.5999999999999 144 "n" 286.79999999999995 144 "m:=m" 313.2 144 "∧" 319.8 144 "(mask" 359.40000000000015 144 "_" 359.40000000000015 144 "s_" 366.00000000000017 144 "h_" 372.6000000000002 144 "i_" 379.2000000000002 144 "f_" 385.80000000000024 144 "t" 399.0000000000003 144 "−i);" 75.6 156 "i:= board[mat1+ 9]; _" 207.59999999999988 156 "i_" 214.19999999999987 156 "f i|" 233.99999999999986 156 "=0 _" 253.79999999999987 156 "t_" 260.39999999999986 156 "h_" 266.9999999999999 156 "e_" 273.5999999999999 156 "n" 286.79999999999995 156 "m:=m" 313.2 156 "∧" 319.8 156 "(mask" 359.40000000000015 156 "_" 359.40000000000015 156 "s_" 366.00000000000017 156 "h_" 372.6000000000002 156 "i_" 379.2000000000002 156 "f_" 385.80000000000024 156 "t" 399.0000000000003 156 "−i);" 75.6 168 "i:= board[mat1+10]; _" 207.59999999999988 168 "i_" 214.19999999999987 168 "f i|" 233.99999999999986 168 "=0 _" 253.79999999999987 168 "t_" 260.39999999999986 168 "h_" 266.9999999999999 168 "e_" 273.5999999999999 168 "n" 286.79999999999995 168 "m:=m" 313.2 168 "∧" 319.8 168 "(mask" 359.40000000000015 168 "_" 359.40000000000015 168 "s_" 366.00000000000017 168 "h_" 372.6000000000002 168 "i_" 379.2000000000002 168 "f_" 385.80000000000024 168 "t" 399.0000000000003 168 "−i);" 75.6 180 "i:= board[mat1+11]; _" 207.59999999999988 180 "i_" 214.19999999999987 180 "f i|" 233.99999999999986 180 "=0 _" 253.79999999999987 180 "t_" 260.39999999999986 180 "h_" 266.9999999999999 180 "e_" 273.5999999999999 180 "n" 286.79999999999995 180 "m:=m" 313.2 180 "∧" 319.8 180 "(mask" 359.40000000000015 180 "_" 359.40000000000015 180 "s_" 366.00000000000017 180 "h_" 372.6000000000002 180 "i_" 379.2000000000002 180 "f_" 385.80000000000024 180 "t" 399.0000000000003 180 "−i);" 75.6 192 "i:= board[mat1+18]; _" 207.59999999999988 192 "i_" 214.19999999999987 192 "f i|" 233.99999999999986 192 "=0 _" 253.79999999999987 192 "t_" 260.39999999999986 192 "h_" 266.9999999999999 192 "e_" 273.5999999999999 192 "n" 286.79999999999995 192 "m:=m" 313.2 192 "∧" 319.8 192 "(mask" 359.40000000000015 192 "_" 359.40000000000015 192 "s_" 366.00000000000017 192 "h_" 372.6000000000002 192 "i_" 379.2000000000002 192 "f_" 385.80000000000024 192 "t" 399.0000000000003 192 "−i);" 75.6 204 "i:= board[mat1+19]; _" 207.59999999999988 204 "i_" 214.19999999999987 204 "f i|" 233.99999999999986 204 "=0 _" 253.79999999999987 204 "t_" 260.39999999999986 204 "h_" 266.9999999999999 204 "e_" 273.5999999999999 204 "n" 286.79999999999995 204 "m:=m" 313.2 204 "∧" 319.8 204 "(mask" 359.40000000000015 204 "_" 359.40000000000015 204 "s_" 366.00000000000017 204 "h_" 372.6000000000002 204 "i_" 379.2000000000002 204 "f_" 385.80000000000024 204 "t" 399.0000000000003 204 "−i);" 75.6 216 "i:= board[mat1+20]; _" 207.59999999999988 216 "i_" 214.19999999999987 216 "f i|" 233.99999999999986 216 "=0 _" 253.79999999999987 216 "t_" 260.39999999999986 216 "h_" 266.9999999999999 216 "e_" 273.5999999999999 216 "n" 286.79999999999995 216 "m:=m" 313.2 216 "∧" 319.8 216 "(mask" 359.40000000000015 216 "_" 359.40000000000015 216 "s_" 366.00000000000017 216 "h_" 372.6000000000002 216 "i_" 379.2000000000002 216 "f_" 385.80000000000024 216 "t" 399.0000000000003 216 "−i);" 75.6 228 "n:=nbits(m);" 75.6 240 "possible[p]:=m;" 75.6 252 "_" 75.6 252 "i_" 82.19999999999999 252 "f n1 _" 134.99999999999994 456 "t_" 141.59999999999994 456 "h_" 148.19999999999993 456 "e_" 154.79999999999993 456 "n" 55.800000000000004 468 "_" 55.800000000000004 468 "b_" 62.4 468 "e_" 69 468 "g_" 75.6 468 "i_" 82.19999999999999 468 "n" 75.6 480 "_" 75.6 480 "f_" 82.19999999999999 480 "o_" 88.79999999999998 480 "r p:=1 _" 134.99999999999994 480 "s_" 141.59999999999994 480 "t_" 148.19999999999993 480 "e_" 154.79999999999993 480 "p 1 _" 181.1999999999999 480 "u_" 187.7999999999999 480 "n_" 194.3999999999999 480 "t_" 200.9999999999999 480 "i_" 207.59999999999988 480 "l 81 _" 240.59999999999985 480 "d_" 247.19999999999985 480 "o" 75.6 492 "_" 75.6 492 "i_" 82.19999999999999 492 "f board[p]=0 _" 167.99999999999991 492 "t_" 174.5999999999999 492 "h_" 181.1999999999999 492 "e_" 187.7999999999999 492 "n" 75.6 504 "_" 75.6 504 "b_" 82.19999999999999 504 "e_" 88.79999999999998 504 "g_" 95.39999999999998 504 "i_" 101.99999999999997 504 "n" 95.39999999999998 516 "m:=possible[p];" 95.39999999999998 528 "_" 95.39999999999998 528 "f_" 101.99999999999997 528 "o_" 108.59999999999997 528 "r j:=1 _" 154.79999999999993 528 "s_" 161.39999999999992 528 "t_" 167.99999999999991 528 "e_" 174.5999999999999 528 "p 1 _" 200.9999999999999 528 "u_" 207.59999999999988 528 "n_" 214.19999999999987 528 "t_" 220.79999999999987 528 "i_" 227.39999999999986 528 "l 9 _" 253.79999999999987 528 "d_" 260.39999999999986 528 "o" 95.39999999999998 540 "_" 95.39999999999998 540 "i_" 101.99999999999997 540 "f m _" 128.39999999999995 540 "s_" 134.99999999999994 540 "h_" 141.59999999999994 540 "i_" 148.19999999999993 540 "f_" 154.79999999999993 540 "t j _" 181.1999999999999 540 "t_" 187.7999999999999 540 "h_" 194.3999999999999 540 "e_" 200.9999999999999 540 "n" 95.39999999999998 552 "_" 95.39999999999998 552 "b_" 101.99999999999997 552 "e_" 108.59999999999997 552 "g_" 115.19999999999996 552 "i_" 121.79999999999995 552 "n" 115.19999999999996 564 "row1:=rows[p];" 115.19999999999996 576 "col1:=cols[p];" 115.19999999999996 588 "mat1 := submatrices[p];" 115.19999999999996 600 "k:=0;" 115.19999999999996 612 "_" 115.19999999999996 612 "i_" 121.79999999999995 612 "f possible[row1" 240.59999999999985 612 "] _" 253.79999999999987 612 "s_" 260.39999999999986 612 "h_" 266.9999999999999 612 "i_" 273.5999999999999 612 "f_" 280.19999999999993 612 "t" 293.4 612 "j" 306.6 612 "_" 306.6 612 "t_" 313.20000000000005 612 "h_" 319.80000000000007 612 "e_" 326.4000000000001 612 "n" 339.60000000000014 612 "k:=k+1;" 115.19999999999996 624 "_" 115.19999999999996 624 "i_" 121.79999999999995 624 "f possible[row1+ 1] _" 253.79999999999987 624 "s_" 260.39999999999986 624 "h_" 266.9999999999999 624 "i_" 273.5999999999999 624 "f_" 280.19999999999993 624 "t" 293.4 624 "j" 306.6 624 "_" 306.6 624 "t_" 313.20000000000005 624 "h_" 319.80000000000007 624 "e_" 326.4000000000001 624 "n" 339.60000000000014 624 "k:=k+1;" 115.19999999999996 636 "_" 115.19999999999996 636 "i_" 121.79999999999995 636 "f possible[row1+ 2] _" 253.79999999999987 636 "s_" 260.39999999999986 636 "h_" 266.9999999999999 636 "i_" 273.5999999999999 636 "f_" 280.19999999999993 636 "t" 293.4 636 "j" 306.6 636 "_" 306.6 636 "t_" 313.20000000000005 636 "h_" 319.80000000000007 636 "e_" 326.4000000000001 636 "n" 339.60000000000014 636 "k:=k+1;" 115.19999999999996 648 "_" 115.19999999999996 648 "i_" 121.79999999999995 648 "f possible[row1+ 3] _" 253.79999999999987 648 "s_" 260.39999999999986 648 "h_" 266.9999999999999 648 "i_" 273.5999999999999 648 "f_" 280.19999999999993 648 "t" 293.4 648 "j" 306.6 648 "_" 306.6 648 "t_" 313.20000000000005 648 "h_" 319.80000000000007 648 "e_" 326.4000000000001 648 "n" 339.60000000000014 648 "k:=k+1;" 115.19999999999996 660 "_" 115.19999999999996 660 "i_" 121.79999999999995 660 "f possible[row1+ 4] _" 253.79999999999987 660 "s_" 260.39999999999986 660 "h_" 266.9999999999999 660 "i_" 273.5999999999999 660 "f_" 280.19999999999993 660 "t" 293.4 660 "j" 306.6 660 "_" 306.6 660 "t_" 313.20000000000005 660 "h_" 319.80000000000007 660 "e_" 326.4000000000001 660 "n" 339.60000000000014 660 "k:=k+1;" 115.19999999999996 672 "_" 115.19999999999996 672 "i_" 121.79999999999995 672 "f possible[row1+ 5] _" 253.79999999999987 672 "s_" 260.39999999999986 672 "h_" 266.9999999999999 672 "i_" 273.5999999999999 672 "f_" 280.19999999999993 672 "t" 293.4 672 "j" 306.6 672 "_" 306.6 672 "t_" 313.20000000000005 672 "h_" 319.80000000000007 672 "e_" 326.4000000000001 672 "n" 339.60000000000014 672 "k:=k+1;" 115.19999999999996 684 "_" 115.19999999999996 684 "i_" 121.79999999999995 684 "f possible[row1+ 6] _" 253.79999999999987 684 "s_" 260.39999999999986 684 "h_" 266.9999999999999 684 "i_" 273.5999999999999 684 "f_" 280.19999999999993 684 "t" 293.4 684 "j" 306.6 684 "_" 306.6 684 "t_" 313.20000000000005 684 "h_" 319.80000000000007 684 "e_" 326.4000000000001 684 "n" 339.60000000000014 684 "k:=k+1;" 115.19999999999996 696 "_" 115.19999999999996 696 "i_" 121.79999999999995 696 "f possible[row1+ 7] _" 253.79999999999987 696 "s_" 260.39999999999986 696 "h_" 266.9999999999999 696 "i_" 273.5999999999999 696 "f_" 280.19999999999993 696 "t" 293.4 696 "j" 306.6 696 "_" 306.6 696 "t_" 313.20000000000005 696 "h_" 319.80000000000007 696 "e_" 326.4000000000001 696 "n" 339.60000000000014 696 "k:=k+1;" 115.19999999999996 708 "_" 115.19999999999996 708 "i_" 121.79999999999995 708 "f possible[row1+ 8] _" 253.79999999999987 708 "s_" 260.39999999999986 708 "h_" 266.9999999999999 708 "i_" 273.5999999999999 708 "f_" 280.19999999999993 708 "t" 293.4 708 "j" 306.6 708 "_" 306.6 708 "t_" 313.20000000000005 708 "h_" 319.80000000000007 708 "e_" 326.4000000000001 708 "n" 339.60000000000014 708 "k:=k+1;" 115.19999999999996 720 "_" 115.19999999999996 720 "i_" 121.79999999999995 720 "f k=1 _" 161.39999999999992 720 "t_" 167.99999999999991 720 "h_" 174.5999999999999 720 "e_" 181.1999999999999 720 "n" 115.19999999999996 732 "_" 115.19999999999996 732 "b_" 121.79999999999995 732 "e_" 128.39999999999995 732 "g_" 134.99999999999994 732 "i_" 141.59999999999994 732 "n" 134.99999999999994 744 "best p:=p;" 134.99999999999994 756 "best m:=_" 187.7999999999999 756 "1 1 _" 214.19999999999987 756 "3_" 220.79999999999987 756 "9 0 _" 247.19999999999985 756 "s_" 253.79999999999987 756 "h_" 260.39999999999986 756 "i_" 266.9999999999999 756 "f_" 273.5999999999999 756 "t" 286.79999999999995 756 "−j;" 134.99999999999994 768 "_" 134.99999999999994 768 "g_" 141.59999999999994 768 "o_" 148.19999999999993 768 "t_" 154.79999999999993 768 "o better" 115.19999999999996 780 "_" 115.19999999999996 780 "e_" 121.79999999999995 780 "n_" 128.39999999999995 780 "d only in row;" 115.19999999999996 792 "k:=0;" 115.19999999999996 36 "_" 115.19999999999996 36 "i_" 121.79999999999995 36 "f possible[col1" 240.59999999999985 36 "] _" 253.79999999999987 36 "s_" 260.39999999999986 36 "h_" 266.9999999999999 36 "i_" 273.5999999999999 36 "f_" 280.19999999999993 36 "t" 293.4 36 "j" 306.6 36 "_" 306.6 36 "t_" 313.20000000000005 36 "h_" 319.80000000000007 36 "e_" 326.4000000000001 36 "n" 339.60000000000014 36 "k:=k+1;" 115.19999999999996 48 "_" 115.19999999999996 48 "i_" 121.79999999999995 48 "f possible[col1+ 9] _" 253.79999999999987 48 "s_" 260.39999999999986 48 "h_" 266.9999999999999 48 "i_" 273.5999999999999 48 "f_" 280.19999999999993 48 "t" 293.4 48 "j" 306.6 48 "_" 306.6 48 "t_" 313.20000000000005 48 "h_" 319.80000000000007 48 "e_" 326.4000000000001 48 "n" 339.60000000000014 48 "k:=k+1;" 115.19999999999996 60 "_" 115.19999999999996 60 "i_" 121.79999999999995 60 "f possible[col1+18] _" 253.79999999999987 60 "s_" 260.39999999999986 60 "h_" 266.9999999999999 60 "i_" 273.5999999999999 60 "f_" 280.19999999999993 60 "t" 293.4 60 "j" 306.6 60 "_" 306.6 60 "t_" 313.20000000000005 60 "h_" 319.80000000000007 60 "e_" 326.4000000000001 60 "n" 339.60000000000014 60 "k:=k+1;" 115.19999999999996 72 "_" 115.19999999999996 72 "i_" 121.79999999999995 72 "f possible[col1+27] _" 253.79999999999987 72 "s_" 260.39999999999986 72 "h_" 266.9999999999999 72 "i_" 273.5999999999999 72 "f_" 280.19999999999993 72 "t" 293.4 72 "j" 306.6 72 "_" 306.6 72 "t_" 313.20000000000005 72 "h_" 319.80000000000007 72 "e_" 326.4000000000001 72 "n" 339.60000000000014 72 "k:=k+1;" 115.19999999999996 84 "_" 115.19999999999996 84 "i_" 121.79999999999995 84 "f possible[col1+36] _" 253.79999999999987 84 "s_" 260.39999999999986 84 "h_" 266.9999999999999 84 "i_" 273.5999999999999 84 "f_" 280.19999999999993 84 "t" 293.4 84 "j" 306.6 84 "_" 306.6 84 "t_" 313.20000000000005 84 "h_" 319.80000000000007 84 "e_" 326.4000000000001 84 "n" 339.60000000000014 84 "k:=k+1;" 115.19999999999996 96 "_" 115.19999999999996 96 "i_" 121.79999999999995 96 "f possible[col1+45] _" 253.79999999999987 96 "s_" 260.39999999999986 96 "h_" 266.9999999999999 96 "i_" 273.5999999999999 96 "f_" 280.19999999999993 96 "t" 293.4 96 "j" 306.6 96 "_" 306.6 96 "t_" 313.20000000000005 96 "h_" 319.80000000000007 96 "e_" 326.4000000000001 96 "n" 339.60000000000014 96 "k:=k+1;" 115.19999999999996 108 "_" 115.19999999999996 108 "i_" 121.79999999999995 108 "f possible[col1+54] _" 253.79999999999987 108 "s_" 260.39999999999986 108 "h_" 266.9999999999999 108 "i_" 273.5999999999999 108 "f_" 280.19999999999993 108 "t" 293.4 108 "j" 306.6 108 "_" 306.6 108 "t_" 313.20000000000005 108 "h_" 319.80000000000007 108 "e_" 326.4000000000001 108 "n" 339.60000000000014 108 "k:=k+1;" 115.19999999999996 120 "_" 115.19999999999996 120 "i_" 121.79999999999995 120 "f possible[col1+63] _" 253.79999999999987 120 "s_" 260.39999999999986 120 "h_" 266.9999999999999 120 "i_" 273.5999999999999 120 "f_" 280.19999999999993 120 "t" 293.4 120 "j" 306.6 120 "_" 306.6 120 "t_" 313.20000000000005 120 "h_" 319.80000000000007 120 "e_" 326.4000000000001 120 "n" 339.60000000000014 120 "k:=k+1;" 115.19999999999996 132 "_" 115.19999999999996 132 "i_" 121.79999999999995 132 "f possible[col1+72] _" 253.79999999999987 132 "s_" 260.39999999999986 132 "h_" 266.9999999999999 132 "i_" 273.5999999999999 132 "f_" 280.19999999999993 132 "t" 293.4 132 "j" 306.6 132 "_" 306.6 132 "t_" 313.20000000000005 132 "h_" 319.80000000000007 132 "e_" 326.4000000000001 132 "n" 339.60000000000014 132 "k:=k+1;" 115.19999999999996 144 "_" 115.19999999999996 144 "i_" 121.79999999999995 144 "f k=1 _" 161.39999999999992 144 "t_" 167.99999999999991 144 "h_" 174.5999999999999 144 "e_" 181.1999999999999 144 "n" 115.19999999999996 156 "_" 115.19999999999996 156 "b_" 121.79999999999995 156 "e_" 128.39999999999995 156 "g_" 134.99999999999994 156 "i_" 141.59999999999994 156 "n" 134.99999999999994 168 "best p:=p;" 134.99999999999994 180 "best m:=_" 187.7999999999999 180 "1 1 _" 214.19999999999987 180 "3_" 220.79999999999987 180 "9 0 _" 247.19999999999985 180 "s_" 253.79999999999987 180 "h_" 260.39999999999986 180 "i_" 266.9999999999999 180 "f_" 273.5999999999999 180 "t" 286.79999999999995 180 "−j;" 134.99999999999994 192 "_" 134.99999999999994 192 "g_" 141.59999999999994 192 "o_" 148.19999999999993 192 "t_" 154.79999999999993 192 "o better" 115.19999999999996 204 "_" 115.19999999999996 204 "e_" 121.79999999999995 204 "n_" 128.39999999999995 204 "d only in col;" 115.19999999999996 216 "k:=0;" 115.19999999999996 228 "_" 115.19999999999996 228 "i_" 121.79999999999995 228 "f possible[mat1" 240.59999999999985 228 "] _" 253.79999999999987 228 "s_" 260.39999999999986 228 "h_" 266.9999999999999 228 "i_" 273.5999999999999 228 "f_" 280.19999999999993 228 "t" 293.4 228 "j" 306.6 228 "_" 306.6 228 "t_" 313.20000000000005 228 "h_" 319.80000000000007 228 "e_" 326.4000000000001 228 "n" 339.60000000000014 228 "k:=k+1;" 115.19999999999996 240 "_" 115.19999999999996 240 "i_" 121.79999999999995 240 "f possible[mat1+ 1] _" 253.79999999999987 240 "s_" 260.39999999999986 240 "h_" 266.9999999999999 240 "i_" 273.5999999999999 240 "f_" 280.19999999999993 240 "t" 293.4 240 "j" 306.6 240 "_" 306.6 240 "t_" 313.20000000000005 240 "h_" 319.80000000000007 240 "e_" 326.4000000000001 240 "n" 339.60000000000014 240 "k:=k+1;" 115.19999999999996 252 "_" 115.19999999999996 252 "i_" 121.79999999999995 252 "f possible[mat1+ 2] _" 253.79999999999987 252 "s_" 260.39999999999986 252 "h_" 266.9999999999999 252 "i_" 273.5999999999999 252 "f_" 280.19999999999993 252 "t" 293.4 252 "j" 306.6 252 "_" 306.6 252 "t_" 313.20000000000005 252 "h_" 319.80000000000007 252 "e_" 326.4000000000001 252 "n" 339.60000000000014 252 "k:=k+1;" 115.19999999999996 264 "_" 115.19999999999996 264 "i_" 121.79999999999995 264 "f possible[mat1+ 9] _" 253.79999999999987 264 "s_" 260.39999999999986 264 "h_" 266.9999999999999 264 "i_" 273.5999999999999 264 "f_" 280.19999999999993 264 "t" 293.4 264 "j" 306.6 264 "_" 306.6 264 "t_" 313.20000000000005 264 "h_" 319.80000000000007 264 "e_" 326.4000000000001 264 "n" 339.60000000000014 264 "k:=k+1;" 115.19999999999996 276 "_" 115.19999999999996 276 "i_" 121.79999999999995 276 "f possible[mat1+10] _" 253.79999999999987 276 "s_" 260.39999999999986 276 "h_" 266.9999999999999 276 "i_" 273.5999999999999 276 "f_" 280.19999999999993 276 "t" 293.4 276 "j" 306.6 276 "_" 306.6 276 "t_" 313.20000000000005 276 "h_" 319.80000000000007 276 "e_" 326.4000000000001 276 "n" 339.60000000000014 276 "k:=k+1;" 115.19999999999996 288 "_" 115.19999999999996 288 "i_" 121.79999999999995 288 "f possible[mat1+11] _" 253.79999999999987 288 "s_" 260.39999999999986 288 "h_" 266.9999999999999 288 "i_" 273.5999999999999 288 "f_" 280.19999999999993 288 "t" 293.4 288 "j" 306.6 288 "_" 306.6 288 "t_" 313.20000000000005 288 "h_" 319.80000000000007 288 "e_" 326.4000000000001 288 "n" 339.60000000000014 288 "k:=k+1;" 115.19999999999996 300 "_" 115.19999999999996 300 "i_" 121.79999999999995 300 "f possible[mat1+18] _" 253.79999999999987 300 "s_" 260.39999999999986 300 "h_" 266.9999999999999 300 "i_" 273.5999999999999 300 "f_" 280.19999999999993 300 "t" 293.4 300 "j" 306.6 300 "_" 306.6 300 "t_" 313.20000000000005 300 "h_" 319.80000000000007 300 "e_" 326.4000000000001 300 "n" 339.60000000000014 300 "k:=k+1;" 115.19999999999996 312 "_" 115.19999999999996 312 "i_" 121.79999999999995 312 "f possible[mat1+19] _" 253.79999999999987 312 "s_" 260.39999999999986 312 "h_" 266.9999999999999 312 "i_" 273.5999999999999 312 "f_" 280.19999999999993 312 "t" 293.4 312 "j" 306.6 312 "_" 306.6 312 "t_" 313.20000000000005 312 "h_" 319.80000000000007 312 "e_" 326.4000000000001 312 "n" 339.60000000000014 312 "k:=k+1;" 115.19999999999996 324 "_" 115.19999999999996 324 "i_" 121.79999999999995 324 "f possible[mat1+20] _" 253.79999999999987 324 "s_" 260.39999999999986 324 "h_" 266.9999999999999 324 "i_" 273.5999999999999 324 "f_" 280.19999999999993 324 "t" 293.4 324 "j" 306.6 324 "_" 306.6 324 "t_" 313.20000000000005 324 "h_" 319.80000000000007 324 "e_" 326.4000000000001 324 "n" 339.60000000000014 324 "k:=k+1;" 115.19999999999996 336 "_" 115.19999999999996 336 "i_" 121.79999999999995 336 "f k=1 _" 161.39999999999992 336 "t_" 167.99999999999991 336 "h_" 174.5999999999999 336 "e_" 181.1999999999999 336 "n" 115.19999999999996 348 "_" 115.19999999999996 348 "b_" 121.79999999999995 348 "e_" 128.39999999999995 348 "g_" 134.99999999999994 348 "i_" 141.59999999999994 348 "n" 134.99999999999994 360 "best p:=p;" 134.99999999999994 372 "best m:=_" 187.7999999999999 372 "1 1 _" 214.19999999999987 372 "3_" 220.79999999999987 372 "9 0 _" 247.19999999999985 372 "s_" 253.79999999999987 372 "h_" 260.39999999999986 372 "i_" 266.9999999999999 372 "f_" 273.5999999999999 372 "t" 286.79999999999995 372 "−j;" 134.99999999999994 384 "_" 134.99999999999994 384 "g_" 141.59999999999994 384 "o_" 148.19999999999993 384 "t_" 154.79999999999993 384 "o better" 115.19999999999996 396 "_" 115.19999999999996 396 "e_" 121.79999999999995 396 "n_" 128.39999999999995 396 "d only in submatrix" 95.39999999999998 408 "_" 95.39999999999998 408 "e_" 101.99999999999997 408 "n_" 108.59999999999997 408 "d j;" 75.6 420 "_" 75.6 420 "e_" 82.19999999999999 420 "n_" 88.79999999999998 420 "d p;" 36 432 "better:" 55.800000000000004 444 "_" 55.800000000000004 444 "e_" 62.4 444 "n_" 69 444 "d;" 55.800000000000004 456 "stack[s]:=best p;" 55.800000000000004 468 "stack[s+1]:=_" 134.99999999999994 468 "i_" 141.59999999999994 468 "n_" 148.19999999999993 468 "t_" 154.79999999999993 468 "e_" 161.39999999999992 468 "g_" 167.99999999999991 468 "e_" 174.5999999999999 468 "r best m;" 36 480 "a3:" 55.800000000000004 492 "p:=stack[s];" 55.800000000000004 504 "m:=_" 75.6 504 "b_" 82.19999999999999 504 "o_" 88.79999999999998 504 "o_" 95.39999999999998 504 "l_" 101.99999999999997 504 "e_" 108.59999999999997 504 "a_" 115.19999999999996 504 "n stack[s+1];" 55.800000000000004 516 "_" 55.800000000000004 516 "i_" 62.4 516 "f (_" 82.19999999999999 516 "i_" 88.79999999999998 516 "n_" 95.39999999999998 516 "t_" 101.99999999999997 516 "e_" 108.59999999999997 516 "g_" 115.19999999999996 516 "e_" 121.79999999999995 516 "r m)=0 _" 167.99999999999991 516 "t_" 174.5999999999999 516 "h_" 181.1999999999999 516 "e_" 187.7999999999999 516 "n" 55.800000000000004 528 "_" 55.800000000000004 528 "b_" 62.4 528 "e_" 69 528 "g_" 75.6 528 "i_" 82.19999999999999 528 "n" 75.6 540 "s:=s−2;" 75.6 552 "_" 75.6 552 "i_" 82.19999999999999 552 "f s<0 _" 121.79999999999995 552 "t_" 128.39999999999995 552 "h_" 134.99999999999994 552 "e_" 141.59999999999994 552 "n _" 154.79999999999993 552 "g_" 161.39999999999992 552 "o_" 167.99999999999991 552 "t_" 174.5999999999999 552 "o BAD;" 75.6 564 "board[stack[s]]:=0;" 75.6 576 "_" 75.6 576 "g_" 82.19999999999999 576 "o_" 88.79999999999998 576 "t_" 95.39999999999998 576 "o a3" 55.800000000000004 588 "_" 55.800000000000004 588 "e_" 62.4 588 "n_" 69 588 "d;" 36 600 "a4:" 55.800000000000004 612 "_" 55.800000000000004 612 "f_" 62.4 612 "o_" 69 612 "r digit:=1 _" 141.59999999999994 612 "s_" 148.19999999999993 612 "t_" 154.79999999999993 612 "e_" 161.39999999999992 612 "p 1 _" 187.7999999999999 612 "u_" 194.3999999999999 612 "n_" 200.9999999999999 612 "t_" 207.59999999999988 612 "i_" 214.19999999999987 612 "l 9 _" 240.59999999999985 612 "d_" 247.19999999999985 612 "o" 55.800000000000004 624 "_" 55.800000000000004 624 "i_" 62.4 624 "f m _" 88.79999999999998 624 "s_" 95.39999999999998 624 "h_" 101.99999999999997 624 "i_" 108.59999999999997 624 "f_" 115.19999999999996 624 "t digit _" 167.99999999999991 624 "t_" 174.5999999999999 624 "h_" 181.1999999999999 624 "e_" 187.7999999999999 624 "n _" 200.9999999999999 624 "g_" 207.59999999999988 624 "o_" 214.19999999999987 624 "t_" 220.79999999999987 624 "o found" 273.5999999999999 624 "digit;" 36 636 "found digit:" 55.800000000000004 648 "m:=m" 82.2 648 "∧" 88.8 648 "(_" 95.39999999999999 648 "1 0 _" 121.79999999999998 648 "3_" 128.39999999999998 648 "9 m _" 154.79999999999995 648 "s_" 161.39999999999995 648 "h_" 167.99999999999994 648 "i_" 174.59999999999994 648 "f_" 181.19999999999993 648 "t −digit);" 55.800000000000004 660 "board[p]:=digit;" 55.800000000000004 672 "stack[s+1]:=_" 134.99999999999994 672 "i_" 141.59999999999994 672 "n_" 148.19999999999993 672 "t_" 154.79999999999993 672 "e_" 161.39999999999992 672 "g_" 167.99999999999991 672 "e_" 174.5999999999999 672 "r m;" 55.800000000000004 684 "s:=s+2;" 55.800000000000004 696 "_" 55.800000000000004 696 "g_" 62.4 696 "o_" 69 696 "t_" 75.6 696 "o a1;" 36 720 "FOUND:" 55.800000000000004 732 "writecr;" 55.800000000000004 744 "writetext(|" 121.79999999999995 744 "<);" 55.800000000000004 756 "write(|" 95.39999999999998 756 "<−ddddddddd.d|" 181.1999999999999 756 ">, clock count);" 55.800000000000004 768 "writecr;" 55.800000000000004 780 "writetext(|" 121.79999999999995 780 "<);" 55.800000000000004 792 "writeinteger(|" 141.59999999999994 792 ",tracks transferred);" 55.800000000000004 36 "print;" 55.800000000000004 48 "_" 55.800000000000004 48 "g_" 62.4 48 "o_" 69 48 "t_" 75.6 48 "o skip;" 36 60 "BAD:" 55.800000000000004 72 "writecr;" 55.800000000000004 84 "writetext(|" 121.79999999999995 84 "<);" 36 96 "skip:" 36 120 "_" 36 120 "e_" 42.6 120 "n_" 49.2 120 "d" 36 132 "t<" 36 144 "8,0,0,0,0,0,0,0,0," 36 156 "0,0,3,6,0,0,0,0,0," 36 168 "0,7,0,0,9,0,2,0,0," 36 180 "0,5,0,0,0,7,0,0,0," 36 192 "0,0,0,0,4,5,7,0,0," 36 204 "0,0,0,1,0,0,0,3,0," 36 216 "0,0,1,0,0,0,0,6,8," 36 228 "0,0,8,5,0,0,0,1,0," 36 240 "0,9,0,0,0,0,4,0,0;" 36 264 "0,0,0,0,0,0,0,0,0," 36 276 "1,3,0,7,0,0,0,5,0," 36 288 "0,4,0,0,0,0,9,0,7," 36 300 "0,0,0,0,1,0,0,0,0," 36 312 "0,0,0,0,0,0,0,4,2," 36 324 "0,0,9,0,8,0,0,0,6," 36 336 "0,0,8,0,0,0,0,0,0," 36 348 "0,0,0,0,0,5,1,3,0," 36 360 "6,0,0,2,0,0,0,0,0;" 36 384 "0,0,0,0,0,0,0,0,0," 36 396 "9,7,0,3,0,0,0,5,0," 36 408 "0,6,0,0,0,0,1,0,3," 36 420 "0,0,0,0,9,0,0,0,0," 36 432 "0,0,0,0,0,0,0,6,8," 36 444 "0,0,1,0,2,0,0,0,4," 36 456 "0,0,2,0,0,0,0,0,0," 36 468 "0,0,0,0,0,5,9,7,0," 36 480 "4,0,0,8,0,0,0,0,0;"