[isteam test 2011] k4,5,6

[07520004]

Bài 1 tại sao nhiều bạn dùng cách đổi từ string sang int thế nhở. Nếu chỉ có thế thì ra đề này làm chi, mà nếu làm cách đó thì trư phi code bằng python còn lại cứ cho vài chục chữ số vào là sai hết

[11520118]

Thức khuya code bài 3

http://paste.ubuntu.com/715280/

[11520118]

Sửa lại một chút http://paste.ubuntu.com/715283/
nếu ko tính hàm SplitInto (để chia list ra cho đẹp , dễ nhìn) => 40 dòng

[11520118]

test với số 999

[[1, 1, 997], [1, 7, 991], [1, 31, 967], [1, 61, 937], [1, 79, 919], [1, 139, 859], [1, 211, 787], [1, 229, 769], [1, 241, 757], [1, 271, 727], [1, 307, 691], [1, 337, 661], [1, 367, 631], [1, 379, 619], [1, 397, 601], [1, 421, 577], [1, 457, 541], [1, 499, 499], [1, 541, 457], [1, 577, 421], [1, 601, 397], [1, 619, 379], [1, 631, 367], [1, 661, 337], [1, 691, 307], [1, 727, 271], [1, 757, 241], [1, 769, 229], [1, 787, 211], [1, 859, 139], [1, 919, 79], [1, 937, 61], [1, 967, 31], [1, 991, 7], [1, 997, 1], [3, 5, 991], [3, 13, 983], [3, 19, 977], [3, 29, 967], [3, 43, 953], [3, 59, 937], [3, 67, 929], [3, 89, 907], [3, 109, 887], [3, 113, 883], [3, 137, 859], [3, 139, 857], [3, 157, 839], [3, 167, 829], [3, 173, 823], [3, 199, 797], [3, 223, 773], [3, 227, 769], [3, 239, 757], [3, 257, 739], [3, 263, 733], [3, 269, 727], [3, 277, 719], [3, 313, 683], [3, 337, 659], [3, 349, 647], [3, 353, 643], [3, 379, 617], [3, 383, 613], [3, 389, 607], [3, 397, 599], [3, 409, 587], [3, 419, 577], [3, 433, 563], [3, 439, 557], [3, 449, 547], [3, 487, 509], [3, 509, 487], [3, 547, 449], [3, 557, 439], [3, 563, 433], [3, 577, 419], [3, 587, 409], [3, 599, 397], [3, 607, 389], [3, 613, 383], [3, 617, 379], [3, 643, 353], [3, 647, 349], [3, 659, 337], [3, 683, 313], [3, 719, 277], [3, 727, 269], [3, 733, 263], [3, 739, 257], [3, 757, 239], [3, 769, 227], [3, 773, 223], [3, 797, 199], [3, 823, 173], [3, 829, 167], [3, 839, 157], [3, 857, 139], [3, 859, 137], [3, 883, 113], [3, 887, 109], [3, 907, 89], [3, 929, 67], [3, 937, 59], [3, 953, 43], [3, 967, 29], [3, 977, 19], [3, 983, 13], [3, 991, 5], [5, 3, 991], [5, 11, 983], [5, 17, 977], [5, 23, 971], [5, 41, 953], [5, 47, 947], [5, 53, 941], [5, 83, 911], [5, 107, 887], [5, 113, 881], [5, 131, 863], [5, 137, 857], [5, 167, 827], [5, 173, 821], [5, 197, 797], [5, 233, 761], [5, 251, 743], [5, 293, 701], [5, 311, 683], [5, 317, 677], [5, 347, 647], [5, 353, 641], [5, 401, 593], [5, 431, 563], [5, 491, 503], [5, 503, 491], [5, 563, 431], [5, 593, 401], [5, 641, 353], [5, 647, 347], [5, 677, 317], [5, 683, 311], [5, 701, 293], [5, 743, 251], [5, 761, 233], [5, 797, 197], [5, 821, 173], [5, 827, 167], [5, 857, 137], [5, 863, 131], [5, 881, 113], [5, 887, 107], [5, 911, 83], [5, 941, 53], [5, 947, 47], [5, 953, 41], [5, 971, 23], [5, 977, 17], [5, 983, 11], [5, 991, 3], [7, 1, 991], [7, 73, 919], [7, 109, 883], [7, 139, 853], [7, 163, 829], [7, 181, 811], [7, 223, 769], [7, 241, 751], [7, 283, 709], [7, 331, 661], [7, 349, 643], [7, 373, 619], [7, 379, 613], [7, 421, 571], [7, 571, 421], [7, 613, 379], [7, 619, 373], [7, 643, 349], [7, 661, 331], [7, 709, 283], [7, 751, 241], [7, 769, 223], [7, 811, 181], [7, 829, 163], [7, 853, 139], [7, 883, 109], [7, 919, 73], [7, 991, 1], [11, 5, 983], [11, 11, 977], [11, 17, 971], [11, 41, 947], [11, 47, 941], [11, 59, 929], [11, 101, 887], [11, 107, 881], [11, 131, 857], [11, 149, 839], [11, 167, 821], [11, 179, 809], [11, 191, 797], [11, 227, 761], [11, 269, 719], [11, 311, 677], [11, 347, 641], [11, 389, 599], [11, 401, 587], [11, 419, 569], [11, 431, 557], [11, 467, 521], [11, 479, 509], [11, 509, 479], [11, 521, 467], [11, 557, 431], [11, 569, 419], [11, 587, 401], [11, 599, 389], [11, 641, 347], [11, 677, 311], [11, 719, 269], [11, 761, 227], [11, 797, 191], [11, 809, 179], [11, 821, 167], [11, 839, 149], [11, 857, 131], [11, 881, 107], [11, 887, 101], [11, 929, 59], [11, 941, 47], [11, 947, 41], [11, 971, 17], [11, 977, 11], [11, 983, 5], [13, 3, 983], [13, 19, 967], [13, 67, 919], [13, 79, 907], [13, 103, 883], [13, 109, 877], [13, 127, 859], [13, 157, 829], [13, 163, 823], [13, 199, 787], [13, 229, 757], [13, 277, 709], [13, 313, 673], [13, 367, 619], [13, 373, 613], [13, 379, 607], [13, 409, 577], [13, 439, 547], [13, 463, 523], [13, 487, 499], [13, 499, 487], [13, 523, 463], [13, 547, 439], [13, 577, 409], [13, 607, 379], [13, 613, 373], [13, 619, 367], [13, 673, 313], [13, 709, 277], [13, 757, 229], [13, 787, 199], [13, 823, 163], [13, 829, 157], [13, 859, 127], [13, 877, 109], [13, 883, 103], [13, 907, 79], [13, 919, 67], [13, 967, 19], [13, 983, 3], [17, 5, 977], [17, 11, 971], [17, 29, 953], [17, 41, 941], [17, 53, 929], [17, 71, 911], [17, 101, 881], [17, 173, 809], [17, 239, 743], [17, 263, 719], [17, 281, 701], [17, 383, 599], [17, 389, 593], [17, 419, 563], [17, 461, 521], [17, 479, 503], [17, 491, 491], [17, 503, 479], [17, 521, 461], [17, 563, 419], [17, 593, 389], [17, 599, 383], [17, 701, 281], [17, 719, 263], [17, 743, 239], [17, 809, 173], [17, 881, 101], [17, 911, 71], [17, 929, 53], [17, 941, 41], [17, 953, 29], [17, 971, 11], [17, 977, 5], [19, 3, 977], [19, 13, 967], [19, 43, 937], [19, 61, 919], [19, 73, 907], [19, 97, 883], [19, 103, 877], [19, 127, 853], [19, 151, 829], [19, 157, 823], [19, 193, 787], [19, 211, 769], [19, 223, 757], [19, 229, 751], [19, 241, 739], [19, 271, 709], [19, 307, 673], [19, 337, 643], [19, 349, 631], [19, 367, 613], [19, 373, 607], [19, 379, 601], [19, 409, 571], [19, 433, 547], [19, 439, 541], [19, 457, 523], [19, 523, 457], [19, 541, 439], [19, 547, 433], [19, 571, 409], [19, 601, 379], [19, 607, 373], [19, 613, 367], [19, 631, 349], [19, 643, 337], [19, 673, 307], [19, 709, 271], [19, 739, 241], [19, 751, 229], [19, 757, 223], [19, 769, 211], [19, 787, 193], [19, 823, 157], [19, 829, 151], [19, 853, 127], [19, 877, 103], [19, 883, 97], [19, 907, 73], [19, 919, 61], [19, 937, 43], [19, 967, 13], [19, 977, 3], [23, 5, 971], [23, 23, 953], [23, 29, 947], [23, 47, 929], [23, 89, 887], [23, 113, 863], [23, 137, 839], [23, 149, 827], [23, 167, 809], [23, 179, 797], [23, 233, 743], [23, 257, 719], [23, 293, 683], [23, 317, 659], [23, 359, 617], [23, 383, 593], [23, 389, 587], [23, 419, 557], [23, 467, 509], [23, 509, 467], [23, 557, 419], [23, 587, 389], [23, 593, 383], [23, 617, 359], [23, 659, 317], [23, 683, 293], [23, 719, 257], [23, 743, 233], [23, 797, 179], [23, 809, 167], [23, 827, 149], [23, 839, 137], [23, 863, 113], [23, 887, 89], [23, 929, 47], [23, 947, 29], [23, 953, 23], [23, 971, 5], [29, 3, 967], [29, 17, 953], [29, 23, 947], [29, 29, 941], [29, 41, 929], [29, 59, 911], [29, 83, 887], [29, 89, 881], [29, 107, 863], [29, 113, 857], [29, 131, 839], [29, 149, 821], [29, 173, 797], [29, 197, 773], [29, 227, 743], [29, 251, 719], [29, 269, 701], [29, 293, 677], [29, 311, 659], [29, 317, 653], [29, 353, 617], [29, 383, 587], [29, 401, 569], [29, 449, 521], [29, 461, 509], [29, 467, 503], [29, 479, 491], [29, 491, 479], [29, 503, 467], [29, 509, 461], [29, 521, 449], [29, 569, 401], [29, 587, 383], [29, 617, 353], [29, 653, 317], [29, 659, 311], [29, 677, 293], [29, 701, 269], [29, 719, 251], [29, 743, 227], [29, 773, 197], [29, 797, 173], [29, 821, 149], [29, 839, 131], [29, 857, 113], [29, 863, 107], [29, 881, 89], [29, 887, 83], [29, 911, 59], [29, 929, 41], [29, 941, 29], [29, 947, 23], [29, 953, 17], [29, 967, 3], [31, 1, 967], [31, 31, 937], [31, 61, 907], [31, 109, 859], [31, 139, 829], [31, 157, 811], [31, 181, 787], [31, 199, 769], [31, 211, 757], [31, 229, 739], [31, 241, 727], [31, 277, 691], [31, 307, 661], [31, 337, 631], [31, 349, 619], [31, 367, 601], [31, 397, 571], [31, 421, 547], [31, 547, 421], [31, 571, 397], [31, 601, 367], [31, 619, 349], [31, 631, 337], [31, 661, 307], [31, 691, 277], [31, 727, 241], [31, 739, 229], [31, 757, 211], [31, 769, 199], [31, 787, 181], [31, 811, 157], [31, 829, 139], [31, 859, 109], [31, 907, 61], [31, 937, 31], [31, 967, 1], [37, 43, 919], [37, 79, 883], [37, 103, 859], [37, 109, 853], [37, 139, 823], [37, 151, 811], [37, 193, 769], [37, 211, 751], [37, 223, 739], [37, 229, 733], [37, 271, 691], [37, 331, 631], [37, 349, 613], [37, 421, 541], [37, 439, 523], [37, 463, 499], [37, 499, 463], [37, 523, 439], [37, 541, 421], [37, 613, 349], [37, 631, 331], [37, 691, 271], [37, 733, 229], [37, 739, 223], [37, 751, 211], [37, 769, 193], [37, 811, 151], [37, 823, 139], [37, 853, 109], [37, 859, 103], [37, 883, 79], [37, 919, 43], [41, 5, 953], [41, 11, 947], [41, 17, 941], [41, 29, 929], [41, 47, 911], [41, 71, 887], [41, 101, 857], [41, 131, 827], [41, 137, 821], [41, 149, 809], [41, 197, 761], [41, 239, 719], [41, 257, 701], [41, 281, 677], [41, 311, 647], [41, 317, 641], [41, 359, 599], [41, 389, 569], [41, 401, 557], [41, 449, 509], [41, 467, 491], [41, 479, 479], [41, 491, 467], [41, 509, 449], [41, 557, 401], [41, 569, 389], [41, 599, 359], [41, 641, 317], [41, 647, 311], [41, 677, 281], [41, 701, 257], [41, 719, 239], [41, 761, 197], [41, 809, 149], [41, 821, 137], [41, 827, 131], [41, 857, 101], [41, 887, 71], [41, 911, 47], [41, 929, 29], [41, 941, 17], [41, 947, 11], [41, 953, 5], [43, 3, 953], [43, 19, 937], [43, 37, 919], [43, 73, 883], [43, 79, 877], [43, 97, 859], [43, 103, 853], [43, 127, 829], [43, 199, 757], [43, 223, 733], [43, 229, 727], [43, 283, 673], [43, 313, 643], [43, 337, 619], [43, 349, 607], [43, 379, 577], [43, 409, 547], [43, 433, 523], [43, 457, 499], [43, 499, 457], [43, 523, 433], [43, 547, 409], [43, 577, 379], [43, 607, 349], [43, 619, 337], [43, 643, 313], [43, 673, 283], [43, 727, 229], [43, 733, 223], [43, 757, 199], [43, 829, 127], [43, 853, 103], [43, 859, 97], [43, 877, 79], [43, 883, 73], [43, 919, 37], [43, 937, 19], [43, 953, 3], [47, 5, 947], [47, 11, 941], [47, 23, 929], [47, 41, 911], [47, 71, 881], [47, 89, 863], [47, 113, 839], [47, 131, 821], [47, 179, 773], [47, 191, 761], [47, 233, 719], [47, 251, 701], [47, 269, 683], [47, 293, 659], [47, 311, 641], [47, 353, 599], [47, 359, 593], [47, 383, 569], [47, 389, 563], [47, 431, 521], [47, 443, 509], [47, 449, 503], [47, 461, 491], [47, 491, 461], [47, 503, 449], [47, 509, 443], [47, 521, 431], [47, 563, 389], [47, 569, 383], [47, 593, 359], [47, 599, 353], [47, 641, 311], [47, 659, 293], [47, 683, 269], [47, 701, 251], [47, 719, 233], [47, 761, 191], [47, 773, 179], [47, 821, 131], [47, 839, 113], [47, 863, 89], [47, 881, 71], [47, 911, 41], [47, 929, 23], [47, 941, 11], [47, 947, 5], [53, 5, 941], [53, 17, 929], [53, 59, 887], [53, 83, 863], [53, 89, 857], [53, 107, 839], [53, 137, 809], [53, 149, 797], [53, 173, 773], [53, 227, 719], [53, 263, 683], [53, 269, 677], [53, 293, 653], [53, 347, 599], [53, 353, 593], [53, 359, 587], [53, 383, 563], [53, 389, 557], [53, 443, 503], [53, 467, 479], [53, 479, 467], [53, 503, 443], [53, 557, 389], [53, 563, 383], [53, 587, 359], [53, 593, 353], [53, 599, 347], [53, 653, 293], [53, 677, 269], [53, 683, 263], [53, 719, 227], [53, 773, 173], [53, 797, 149], [53, 809, 137], [53, 839, 107], [53, 857, 89], [53, 863, 83], [53, 887, 59], [53, 929, 17], [53, 941, 5], [59, 3, 937], [59, 11, 929], [59, 29, 911], [59, 53, 887], [59, 59, 881], [59, 83, 857], [59, 101, 839], [59, 113, 827], [59, 131, 809], [59, 167, 773], [59, 179, 761], [59, 197, 743], [59, 239, 701], [59, 257, 683], [59, 263, 677], [59, 281, 659], [59, 293, 647], [59, 347, 593], [59, 353, 587], [59, 383, 557], [59, 419, 521], [59, 431, 509], [59, 449, 491], [59, 461, 479], [59, 479, 461], [59, 491, 449], [59, 509, 431], [59, 521, 419], [59, 557, 383], [59, 587, 353], [59, 593, 347], [59, 647, 293], [59, 659, 281], [59, 677, 263], [59, 683, 257], [59, 701, 239], [59, 743, 197], [59, 761, 179], [59, 773, 167], [59, 809, 131], [59, 827, 113], [59, 839, 101], [59, 857, 83], [59, 881, 59], [59, 887, 53], [59, 911, 29], [59, 929, 11], [59, 937, 3], [61, 1, 937], [61, 19, 919], [61, 31, 907], [61, 61, 877], [61, 79, 859], [61, 109, 829], [61, 127, 811], [61, 151, 787], [61, 181, 757], [61, 199, 739], [61, 211, 727], [61, 229, 709], [61, 277, 661], [61, 307, 631], [61, 331, 607], [61, 337, 601], [61, 367, 571], [61, 397, 541], [61, 439, 499], [61, 499, 439], [61, 541, 397], [61, 571, 367], [61, 601, 337], [61, 607, 331], [61, 631, 307], [61, 661, 277], [61, 709, 229], [61, 727, 211], [61, 739, 199], [61, 757, 181], [61, 787, 151], [61, 811, 127], [61, 829, 109], [61, 859, 79], [61, 877, 61], [61, 907, 31], [61, 919, 19], [61, 937, 1], [67, 3, 929], [67, 13, 919], [67, 73, 859], [67, 79, 853], [67, 103, 829], [67, 109, 823], [67, 163, 769], [67, 181, 751], [67, 193, 739], [67, 199, 733], [67, 223, 709], [67, 241, 691], [67, 271, 661], [67, 313, 619], [67, 331, 601], [67, 409, 523], [67, 433, 499], [67, 499, 433], [67, 523, 409], [67, 601, 331], [67, 619, 313], [67, 661, 271], [67, 691, 241], [67, 709, 223], [67, 733, 199], [67, 739, 193], [67, 751, 181], [67, 769, 163], [67, 823, 109], [67, 829, 103], [67, 853, 79], [67, 859, 73], [67, 919, 13], [67, 929, 3], [71, 17, 911], [71, 41, 887], [71, 47, 881], [71, 71, 857], [71, 89, 839], [71, 101, 827], [71, 107, 821], [71, 131, 797], [71, 167, 761], [71, 227, 701], [71, 251, 677], [71, 269, 659], [71, 281, 647], [71, 311, 617], [71, 359, 569], [71, 419, 509], [71, 449, 479], [71, 461, 467], [71, 467, 461], [71, 479, 449], [71, 509, 419], [71, 569, 359], [71, 617, 311], [71, 647, 281], [71, 659, 269], [71, 677, 251], [71, 701, 227], [71, 761, 167], [71, 797, 131], [71, 821, 107], [71, 827, 101], [71, 839, 89], [71, 857, 71], [71, 881, 47], [71, 887, 41], [71, 911, 17], [73, 7, 919], [73, 19, 907], [73, 43, 883], [73, 67, 859], [73, 73, 853], [73, 97, 829], [73, 103, 823], [73, 139, 787], [73, 157, 769], [73, 193, 733], [73, 199, 727], [73, 283, 643], [73, 307, 619], [73, 313, 613], [73, 349, 577], [73, 379, 547], [73, 439, 487], [73, 463, 463], [73, 487, 439], [73, 547, 379], [73, 577, 349], [73, 613, 313], [73, 619, 307], [73, 643, 283], [73, 727, 199], [73, 733, 193], [73, 769, 157], [73, 787, 139], [73, 823, 103], [73, 829, 97], [73, 853, 73], [73, 859, 67], [73, 883, 43], [73, 907, 19], [73, 919, 7], [79, 1, 919], [79, 13, 907], [79, 37, 883], [79, 43, 877], [79, 61, 859], [79, 67, 853], [79, 97, 823], [79, 109, 811], [79, 151, 769], [79, 163, 757], [79, 181, 739], [79, 193, 727], [79, 211, 709], [79, 229, 691], [79, 277, 643], [79, 307, 613], [79, 313, 607], [79, 349, 571], [79, 373, 547], [79, 379, 541], [79, 397, 523], [79, 421, 499], [79, 433, 487], [79, 457, 463], [79, 463, 457], [79, 487, 433], [79, 499, 421], [79, 523, 397], [79, 541, 379], [79, 547, 373], [79, 571, 349], [79, 607, 313], [79, 613, 307], [79, 643, 277], [79, 691, 229], [79, 709, 211], [79, 727, 193], [79, 739, 181], [79, 757, 163], [79, 769, 151], [79, 811, 109], [79, 823, 97], [79, 853, 67], [79, 859, 61], [79, 877, 43], [79, 883, 37], [79, 907, 13], [79, 919, 1], [83, 5, 911], [83, 29, 887], [83, 53, 863], [83, 59, 857], [83, 89, 827], [83, 107, 809], [83, 173, 743], [83, 197, 719], [83, 233, 683], [83, 239, 677], [83, 257, 659], [83, 263, 653], [83, 269, 647], [83, 317, 599], [83, 347, 569], [83, 353, 563], [83, 359, 557], [83, 449, 467], [83, 467, 449], [83, 557, 359], [83, 563, 353], [83, 569, 347], [83, 599, 317], [83, 647, 269], [83, 653, 263], [83, 659, 257], [83, 677, 239], [83, 683, 233], [83, 719, 197], [83, 743, 173], [83, 809, 107], [83, 827, 89], [83, 857, 59], [83, 863, 53], [83, 887, 29], [83, 911, 5], [89, 3, 907], [89, 23, 887], [89, 29, 881], [89, 47, 863], [89, 53, 857], [89, 71, 839], [89, 83, 827], [89, 89, 821], [89, 101, 809], [89, 113, 797], [89, 137, 773], [89, 149, 761], [89, 167, 743], [89, 191, 719], [89, 227, 683], [89, 233, 677], [89, 251, 659], [89, 257, 653], [89, 263, 647], [89, 269, 641], [89, 293, 617], [89, 311, 599], [89, 317, 593], [89, 347, 563], [89, 353, 557], [89, 389, 521], [89, 401, 509], [89, 419, 491], [89, 431, 479], [89, 443, 467], [89, 449, 461], [89, 461, 449], [89, 467, 443], [89, 479, 431], [89, 491, 419], [89, 509, 401], [89, 521, 389], [89, 557, 353], [89, 563, 347], [89, 593, 317], [89, 599, 311], [89, 617, 293], [89, 641, 269], [89, 647, 263], [89, 653, 257], [89, 659, 251], [89, 677, 233], [89, 683, 227], [89, 719, 191], [89, 743, 167], [89, 761, 149], [89, 773, 137], [89, 797, 113], [89, 809, 101], [89, 821, 89], [89, 827, 83], [89, 839, 71], [89, 857, 53], [89, 863, 47], [89, 881, 29], [89, 887, 23], [89, 907, 3], [97, 19, 883], [97, 43, 859], [97, 73, 829], [97, 79, 823], [97, 151, 751], [97, 163, 739], [97, 193, 709], [97, 211, 691], [97, 229, 673], [97, 241, 661], [97, 271, 631], [97, 283, 619], [97, 331, 571], [97, 379, 523], [97, 439, 463], [97, 463, 439], [97, 523, 379], [97, 571, 331], [97, 619, 283], [97, 631, 271], [97, 661, 241], [97, 673, 229], [97, 691, 211], [97, 709, 193], [97, 739, 163], [97, 751, 151], [97, 823, 79], [97, 829, 73], [97, 859, 43], [97, 883, 19], [101, 11, 887], [101, 17, 881], [101, 41, 857], [101, 59, 839], [101, 71, 827], [101, 89, 809], [101, 101, 797], [101, 137, 761], [101, 179, 719], [101, 197, 701], [101, 239, 659], [101, 251, 647], [101, 257, 641], [101, 281, 617], [101, 311, 587], [101, 389, 509], [101, 419, 479], [101, 431, 467], [101, 449, 449], [101, 467, 431], [101, 479, 419], [101, 509, 389], [101, 587, 311], [101, 617, 281], [101, 641, 257], [101, 647, 251], [101, 659, 239], [101, 701, 197], [101, 719, 179], [101, 761, 137], [101, 797, 101], [101, 809, 89], [101, 827, 71], [101, 839, 59], [101, 857, 41], [101, 881, 17], [101, 887, 11], [103, 13, 883], [103, 19, 877], [103, 37, 859], [103, 43, 853], [103, 67, 829], [103, 73, 823], [103, 109, 787], [103, 127, 769], [103, 139, 757], [103, 157, 739], [103, 163, 733], [103, 223, 673], [103, 277, 619], [103, 283, 613], [103, 349, 547], [103, 373, 523], [103, 397, 499], [103, 409, 487], [103, 433, 463], [103, 439, 457], [103, 457, 439], [103, 463, 433], [103, 487, 409], [103, 499, 397], [103, 523, 373], [103, 547, 349], [103, 613, 283], [103, 619, 277], [103, 673, 223], [103, 733, 163], [103, 739, 157], [103, 757, 139], [103, 769, 127], [103, 787, 109], [103, 823, 73], [103, 829, 67], [103, 853, 43], [103, 859, 37], [103, 877, 19], [103, 883, 13], [107, 5, 887], [107, 11, 881], [107, 29, 863], [107, 53, 839], [107, 71, 821], [107, 83, 809], [107, 131, 761], [107, 149, 743], [107, 173, 719], [107, 191, 701], [107, 233, 659], [107, 239, 653], [107, 251, 641], [107, 293, 599], [107, 383, 509], [107, 389, 503], [107, 401, 491], [107, 431, 461], [107, 443, 449], [107, 449, 443], [107, 461, 431], [107, 491, 401], [107, 503, 389], [107, 509, 383], [107, 599, 293], [107, 641, 251], [107, 653, 239], [107, 659, 233], [107, 701, 191], [107, 719, 173], [107, 743, 149], [107, 761, 131], [107, 809, 83], [107, 821, 71], [107, 839, 53], [107, 863, 29], [107, 881, 11], [107, 887, 5], [109, 3, 887], [109, 7, 883], [109, 13, 877], [109, 31, 859], [109, 37, 853], [109, 61, 829], [109, 67, 823], [109, 79, 811], [109, 103, 787], [109, 139, 751], [109, 151, 739], [109, 157, 733], [109, 163, 727], [109, 181, 709], [109, 199, 691], [109, 229, 661], [109, 271, 619], [109, 277, 613], [109, 283, 607], [109, 313, 577], [109, 349, 541], [109, 367, 523], [109, 433, 457], [109, 457, 433], [109, 523, 367], [109, 541, 349], [109, 577, 313], [109, 607, 283], [109, 613, 277], [109, 619, 271], [109, 661, 229], [109, 691, 199], [109, 709, 181], [109, 727, 163], [109, 733, 157], [109, 739, 151], [109, 751, 139], [109, 787, 103], [109, 811, 79], [109, 823, 67], [109, 829, 61], [109, 853, 37], [109, 859, 31], [109, 877, 13], [109, 883, 7], [109, 887, 3], [113, 3, 883], [113, 5, 881], [113, 23, 863], [113, 29, 857], [113, 47, 839], [113, 59, 827], [113, 89, 797], [113, 113, 773], [113, 167, 719], [113, 227, 659], [113, 233, 653], [113, 239, 647], [113, 269, 617], [113, 293, 593], [113, 317, 569], [113, 383, 503], [113, 419, 467], [113, 443, 443], [113, 467, 419], [113, 503, 383], [113, 569, 317], [113, 593, 293], [113, 617, 269], [113, 647, 239], [113, 653, 233], [113, 659, 227], [113, 719, 167], [113, 773, 113], [113, 797, 89], [113, 827, 59], [113, 839, 47], [113, 857, 29], [113, 863, 23], [113, 881, 5], [113, 883, 3], [127, 13, 859], [127, 19, 853], [127, 43, 829], [127, 61, 811], [127, 103, 769], [127, 139, 733], [127, 163, 709], [127, 181, 691], [127, 199, 673], [127, 211, 661], [127, 229, 643], [127, 241, 631], [127, 271, 601], [127, 331, 541], [127, 349, 523], [127, 373, 499], [127, 409, 463], [127, 433, 439], [127, 439, 433], [127, 463, 409], [127, 499, 373], [127, 523, 349], [127, 541, 331], [127, 601, 271], [127, 631, 241], [127, 643, 229], [127, 661, 211], [127, 673, 199], [127, 691, 181], [127, 709, 163], [127, 733, 139], [127, 769, 103], [127, 811, 61], [127, 829, 43], [127, 853, 19], [127, 859, 13], [131, 5, 863], [131, 11, 857], [131, 29, 839], [131, 41, 827], [131, 47, 821], [131, 59, 809], [131, 71, 797], [131, 107, 761], [131, 149, 719], [131, 167, 701], [131, 191, 677], [131, 227, 641], [131, 251, 617], [131, 269, 599], [131, 281, 587], [131, 311, 557], [131, 347, 521], [131, 359, 509], [131, 389, 479], [131, 401, 467], [131, 419, 449], [131, 449, 419], [131, 467, 401], [131, 479, 389], [131, 509, 359], [131, 521, 347], [131, 557, 311], [131, 587, 281], [131, 599, 269], [131, 617, 251], [131, 641, 227], [131, 677, 191], [131, 701, 167], [131, 719, 149], [131, 761, 107], [131, 797, 71], [131, 809, 59], [131, 821, 47], [131, 827, 41], [131, 839, 29], [131, 857, 11], [131, 863, 5], [137, 3, 859], [137, 5, 857], [137, 23, 839], [137, 41, 821], [137, 53, 809], [137, 89, 773], [137, 101, 761], [137, 179, 683], [137, 263, 599], [137, 269, 593], [137, 293, 569], [137, 353, 509], [137, 359, 503], [137, 383, 479], [137, 401, 461], [137, 419, 443], [137, 431, 431], [137, 443, 419], [137, 461, 401], [137, 479, 383], [137, 503, 359], [137, 509, 353], [137, 569, 293], [137, 593, 269], [137, 599, 263], [137, 683, 179], [137, 761, 101], [137, 773, 89], [137, 809, 53], [137, 821, 41], [137, 839, 23], [137, 857, 5], [137, 859, 3], [139, 1, 859], [139, 3, 857], [139, 7, 853], [139, 31, 829], [139, 37, 823], [139, 73, 787], [139, 103, 757], [139, 109, 751], [139, 127, 733], [139, 151, 709], [139, 199, 661], [139, 229, 631], [139, 241, 619], [139, 283, 577], [139, 313, 547], [139, 337, 523], [139, 373, 487], [139, 397, 463], [139, 421, 439], [139, 439, 421], [139, 463, 397], [139, 487, 373], [139, 523, 337], [139, 547, 313], [139, 577, 283], [139, 619, 241], [139, 631, 229], [139, 661, 199], [139, 709, 151], [139, 733, 127], [139, 751, 109], [139, 757, 103], [139, 787, 73], [139, 823, 37], [139, 829, 31], [139, 853, 7], [139, 857, 3], [139, 859, 1], [149, 11, 839], [149, 23, 827], [149, 29, 821], [149, 41, 809], [149, 53, 797], [149, 89, 761], [149, 107, 743], [149, 131, 719], [149, 149, 701], [149, 167, 683], [149, 173, 677], [149, 191, 659], [149, 197, 653], [149, 233, 617], [149, 251, 599], [149, 257, 593], [149, 263, 587], [149, 281, 569], [149, 293, 557], [149, 347, 503], [149, 359, 491], [149, 383, 467], [149, 389, 461], [149, 401, 449], [149, 419, 431], [149, 431, 419], [149, 449, 401], [149, 461, 389], [149, 467, 383], [149, 491, 359], [149, 503, 347], [149, 557, 293], [149, 569, 281], [149, 587, 263], [149, 593, 257], [149, 599, 251], [149, 617, 233], [149, 653, 197], [149, 659, 191], [149, 677, 173], [149, 683, 167], [149, 701, 149], [149, 719, 131], [149, 743, 107], [149, 761, 89], [149, 797, 53], [149, 809, 41], [149, 821, 29], [149, 827, 23], [149, 839, 11], [151, 19, 829], [151, 37, 811], [151, 61, 787], [151, 79, 769], [151, 97, 751], [151, 109, 739], [151, 139, 709], [151, 157, 691], [151, 229, 619], [151, 241, 607], [151, 271, 577], [151, 277, 571], [151, 307, 541], [151, 349, 499], [151, 409, 439], [151, 439, 409], [151, 499, 349], [151, 541, 307], [151, 571, 277], [151, 577, 271], [151, 607, 241], [151, 619, 229], [151, 691, 157], [151, 709, 139], [151, 739, 109], [151, 751, 97], [151, 769, 79], [151, 787, 61], [151, 811, 37], [151, 829, 19], [157, 3, 839], [157, 13, 829], [157, 19, 823], [157, 31, 811], [157, 73, 769], [157, 103, 739], [157, 109, 733], [157, 151, 691], [157, 181, 661], [157, 199, 643], [157, 211, 631], [157, 223, 619], [157, 229, 613], [157, 241, 601], [157, 271, 571], [157, 379, 463], [157, 409, 433], [157, 421, 421], [157, 433, 409], [157, 463, 379], [157, 571, 271], [157, 601, 241], [157, 613, 229], [157, 619, 223], [157, 631, 211], [157, 643, 199], [157, 661, 181], [157, 691, 151], [157, 733, 109], [157, 739, 103], [157, 769, 73], [157, 811, 31], [157, 823, 19], [157, 829, 13], [157, 839, 3], [163, 7, 829], [163, 13, 823], [163, 67, 769], [163, 79, 757], [163, 97, 739], [163, 103, 733], [163, 109, 727], [163, 127, 709], [163, 163, 673], [163, 193, 643], [163, 223, 613], [163, 229, 607], [163, 313, 523], [163, 337, 499], [163, 349, 487], [163, 373, 463], [163, 379, 457], [163, 397, 439], [163, 439, 397], [163, 457, 379], [163, 463, 373], [163, 487, 349], [163, 499, 337], [163, 523, 313], [163, 607, 229], [163, 613, 223], [163, 643, 193], [163, 673, 163], [163, 709, 127], [163, 727, 109], [163, 733, 103], [163, 739, 97], [163, 757, 79], [163, 769, 67], [163, 823, 13], [163, 829, 7], [167, 3, 829], [167, 5, 827], [167, 11, 821], [167, 23, 809], [167, 59, 773], [167, 71, 761], [167, 89, 743], [167, 113, 719], [167, 131, 701], [167, 149, 683], [167, 173, 659], [167, 179, 653], [167, 191, 641], [167, 233, 599], [167, 239, 593], [167, 263, 569], [167, 269, 563], [167, 311, 521], [167, 353, 479], [167, 383, 449], [167, 389, 443], [167, 401, 431], [167, 431, 401], [167, 443, 389], [167, 449, 383], [167, 479, 353], [167, 521, 311], [167, 563, 269], [167, 569, 263], [167, 593, 239], [167, 599, 233], [167, 641, 191], [167, 653, 179], [167, 659, 173], [167, 683, 149], [167, 701, 131], [167, 719, 113], [167, 743, 89], [167, 761, 71], [167, 773, 59], [167, 809, 23], [167, 821, 11], [167, 827, 5], [167, 829, 3], [173, 3, 823], [173, 5, 821], [173, 17, 809], [173, 29, 797], [173, 53, 773], [173, 83, 743], [173, 107, 719], [173, 149, 677], [173, 167, 659], [173, 173, 653], [173, 179, 647], [173, 227, 599], [173, 233, 593], [173, 239, 587], [173, 257, 569], [173, 263, 563], [173, 269, 557], [173, 317, 509], [173, 347, 479], [173, 359, 467], [173, 383, 443], [173, 443, 383], [173, 467, 359], [173, 479, 347], [173, 509, 317], [173, 557, 269], [173, 563, 263], [173, 569, 257], [173, 587, 239], [173, 593, 233], [173, 599, 227], [173, 647, 179], [173, 653, 173], [173, 659, 167], [173, 677, 149], [173, 719, 107], [173, 743, 83], [173, 773, 53], [173, 797, 29], [173, 809, 17], [173, 821, 5], [173, 823, 3], [179, 11, 809], [179, 23, 797], [179, 47, 773], [179, 59, 761], [179, 101, 719], [179, 137, 683], [179, 167, 653], [179, 173, 647], [179, 179, 641], [179, 227, 593], [179, 233, 587], [179, 251, 569], [179, 257, 563], [179, 263, 557], [179, 311, 509], [179, 317, 503], [179, 353, 467], [179, 359, 461], [179, 389, 431], [179, 401, 419], [179, 419, 401], [179, 431, 389], [179, 461, 359], [179, 467, 353], [179, 503, 317], [179, 509, 311], [179, 557, 263], [179, 563, 257], [179, 569, 251], [179, 587, 233], [179, 593, 227], [179, 641, 179], [179, 647, 173], [179, 653, 167], [179, 683, 137], [179, 719, 101], [179, 761, 59], [179, 773, 47], [179, 797, 23], [179, 809, 11], [181, 7, 811], [181, 31, 787], [181, 61, 757], [181, 67, 751], [181, 79, 739], [181, 109, 709], [181, 127, 691], [181, 157, 661], [181, 199, 619], [181, 211, 607], [181, 241, 577], [181, 271, 547], [181, 277, 541], [181, 331, 487], [181, 379, 439], [181, 397, 421], [181, 409, 409], [181, 421, 397], [181, 439, 379], [181, 487, 331], [181, 541, 277], [181, 547, 271], [181, 577, 241], [181, 607, 211], [181, 619, 199], [181, 661, 157], [181, 691, 127], [181, 709, 109], [181, 739, 79], [181, 751, 67], [181, 757, 61], [181, 787, 31], [181, 811, 7], [191, 11, 797], [191, 47, 761], [191, 89, 719], [191, 107, 701], [191, 131, 677], [191, 149, 659], [191, 167, 641], [191, 191, 617], [191, 239, 569], [191, 251, 557], [191, 317, 491], [191, 347, 461], [191, 359, 449], [191, 389, 419], [191, 419, 389], [191, 449, 359], [191, 461, 347], [191, 491, 317], [191, 557, 251], [191, 569, 239], [191, 617, 191], [191, 641, 167], [191, 659, 149], [191, 677, 131], [191, 701, 107], [191, 719, 89], [191, 761, 47], [191, 797, 11], [193, 19, 787], [193, 37, 769], [193, 67, 739], [193, 73, 733], [193, 79, 727], [193, 97, 709], [193, 163, 643], [193, 193, 613], [193, 199, 607], [193, 229, 577], [193, 283, 523], [193, 307, 499], [193, 349, 457], [193, 367, 439], [193, 373, 433], [193, 397, 409], [193, 409, 397], [193, 433, 373], [193, 439, 367], [193, 457, 349], [193, 499, 307], [193, 523, 283], [193, 577, 229], [193, 607, 199], [193, 613, 193], [193, 643, 163], [193, 709, 97], [193, 727, 79], [193, 733, 73], [193, 739, 67], [193, 769, 37], [193, 787, 19], [197, 5, 797], [197, 29, 773], [197, 41, 761], [197, 59, 743], [197, 83, 719], [197, 101, 701], [197, 149, 653], [197, 233, 569], [197, 239, 563], [197, 281, 521], [197, 293, 509], [197, 311, 491], [197, 353, 449], [197, 359, 443], [197, 383, 419], [197, 401, 401], [197, 419, 383], [197, 443, 359], [197, 449, 353], [197, 491, 311], [197, 509, 293], [197, 521, 281], [197, 563, 239], [197, 569, 233], [197, 653, 149], [197, 701, 101], [197, 719, 83], [197, 743, 59], [197, 761, 41], [197, 773, 29], [197, 797, 5], [199, 3, 797], [199, 13, 787], [199, 31, 769], [199, 43, 757], [199, 61, 739], [199, 67, 733], [199, 73, 727], [199, 109, 691], [199, 127, 673], [199, 139, 661], [199, 157, 643], [199, 181, 619], [199, 193, 607], [199, 199, 601], [199, 223, 577], [199, 229, 571], [199, 277, 523], [199, 313, 487], [199, 337, 463], [199, 367, 433], [199, 379, 421], [199, 421, 379], [199, 433, 367], [199, 463, 337], [199, 487, 313], [199, 523, 277], [199, 571, 229], [199, 577, 223], [199, 601, 199], [199, 607, 193], [199, 619, 181], [199, 643, 157], [199, 661, 139], [199, 673, 127], [199, 691, 109], [199, 727, 73], [199, 733, 67], [199, 739, 61], [199, 757, 43], [199, 769, 31], [199, 787, 13], [199, 797, 3], [211, 1, 787], [211, 19, 769], [211, 31, 757], [211, 37, 751], [211, 61, 727], [211, 79, 709], [211, 97, 691], [211, 127, 661], [211, 157, 631], [211, 181, 607], [211, 211, 577], [211, 241, 547], [211, 331, 457], [211, 349, 439], [211, 367, 421], [211, 379, 409], [211, 409, 379], [211, 421, 367], [211, 439, 349], [211, 457, 331], [211, 547, 241], [211, 577, 211], [211, 607, 181], [211, 631, 157], [211, 661, 127], [211, 691, 97], [211, 709, 79], [211, 727, 61], [211, 751, 37], [211, 757, 31], [211, 769, 19], [211, 787, 1], [223, 3, 773], [223, 7, 769], [223, 19, 757], [223, 37, 739], [223, 43, 733], [223, 67, 709], [223, 103, 673], [223, 157, 619], [223, 163, 613], [223, 199, 577], [223, 229, 547], [223, 277, 499], [223, 313, 463], [223, 337, 439], [223, 367, 409], [223, 379, 397], [223, 397, 379], [223, 409, 367], [223, 439, 337], [223, 463, 313], [223, 499, 277], [223, 547, 229], [223, 577, 199], [223, 613, 163], [223, 619, 157], [223, 673, 103], [223, 709, 67], [223, 733, 43], [223, 739, 37], [223, 757, 19], [223, 769, 7], [223, 773, 3], [227, 3, 769], [227, 11, 761], [227, 29, 743], [227, 53, 719], [227, 71, 701], [227, 89, 683], [227, 113, 659], [227, 131, 641], [227, 173, 599], [227, 179, 593], [227, 251, 521], [227, 263, 509], [227, 269, 503], [227, 281, 491], [227, 293, 479], [227, 311, 461], [227, 353, 419], [227, 383, 389], [227, 389, 383], [227, 419, 353], [227, 461, 311], [227, 479, 293], [227, 491, 281], [227, 503, 269], [227, 509, 263], [227, 521, 251], [227, 593, 179], [227, 599, 173], [227, 641, 131], [227, 659, 113], [227, 683, 89], [227, 701, 71], [227, 719, 53], [227, 743, 29], [227, 761, 11], [227, 769, 3], [229, 1, 769], [229, 13, 757], [229, 19, 751], [229, 31, 739], [229, 37, 733], [229, 43, 727], [229, 61, 709], [229, 79, 691], [229, 97, 673], [229, 109, 661], [229, 127, 643], [229, 139, 631], [229, 151, 619], [229, 157, 613], [229, 163, 607], [229, 193, 577], [229, 199, 571], [229, 223, 547], [229, 229, 541], [229, 271, 499], [229, 283, 487], [229, 307, 463], [229, 313, 457], [229, 331, 439], [229, 337, 433], [229, 349, 421], [229, 373, 397], [229, 397, 373], [229, 421, 349], [229, 433, 337], [229, 439, 331], [229, 457, 313], [229, 463, 307], [229, 487, 283], [229, 499, 271], [229, 541, 229], [229, 547, 223], [229, 571, 199], [229, 577, 193], [229, 607, 163], [229, 613, 157], [229, 619, 151], [229, 631, 139], [229, 643, 127], [229, 661, 109], [229, 673, 97], [229, 691, 79], [229, 709, 61], [229, 727, 43], [229, 733, 37], [229, 739, 31], [229, 751, 19], [229, 757, 13], [229, 769, 1], [233, 5, 761], [233, 23, 743], [233, 47, 719], [233, 83, 683], [233, 89, 677], [233, 107, 659], [233, 113, 653], [233, 149, 617], [233, 167, 599], [233, 173, 593], [233, 179, 587], [233, 197, 569], [233, 257, 509], [233, 263, 503], [233, 317, 449], [233, 347, 419], [233, 383, 383], [233, 419, 347], [233, 449, 317], [233, 503, 263], [233, 509, 257], [233, 569, 197], [233, 587, 179], [233, 593, 173], [233, 599, 167], [233, 617, 149], [233, 653, 113], [233, 659, 107], [233, 677, 89], [233, 683, 83], [233, 719, 47], [233, 743, 23], [233, 761, 5], [239, 3, 757], [239, 17, 743], [239, 41, 719], [239, 59, 701], [239, 83, 677], [239, 101, 659], [239, 107, 653], [239, 113, 647], [239, 167, 593], [239, 173, 587], [239, 191, 569], [239, 197, 563], [239, 239, 521], [239, 251, 509], [239, 257, 503], [239, 269, 491], [239, 281, 479], [239, 293, 467], [239, 311, 449], [239, 317, 443], [239, 359, 401], [239, 401, 359], [239, 443, 317], [239, 449, 311], [239, 467, 293], [239, 479, 281], [239, 491, 269], [239, 503, 257], [239, 509, 251], [239, 521, 239], [239, 563, 197], [239, 569, 191], [239, 587, 173], [239, 593, 167], [239, 647, 113], [239, 653, 107], [239, 659, 101], [239, 677, 83], [239, 701, 59], [239, 719, 41], [239, 743, 17], [239, 757, 3], [241, 1, 757], [241, 7, 751], [241, 19, 739], [241, 31, 727], [241, 67, 691], [241, 97, 661], [241, 127, 631], [241, 139, 619], [241, 151, 607], [241, 157, 601], [241, 181, 577], [241, 211, 547], [241, 271, 487], [241, 337, 421], [241, 349, 409], [241, 379, 379], [241, 409, 349], [241, 421, 337], [241, 487, 271], [241, 547, 211], [241, 577, 181], [241, 601, 157], [241, 607, 151], [241, 619, 139], [241, 631, 127], [241, 661, 97], [241, 691, 67], [241, 727, 31], [241, 739, 19], [241, 751, 7], [241, 757, 1], [251, 5, 743], [251, 29, 719], [251, 47, 701], [251, 71, 677], [251, 89, 659], [251, 101, 647], [251, 107, 641], [251, 131, 617], [251, 149, 599], [251, 179, 569], [251, 191, 557], [251, 227, 521], [251, 239, 509], [251, 257, 491], [251, 269, 479], [251, 281, 467], [251, 317, 431], [251, 347, 401], [251, 359, 389], [251, 389, 359], [251, 401, 347], [251, 431, 317], [251, 467, 281], [251, 479, 269], [251, 491, 257], [251, 509, 239], [251, 521, 227], [251, 557, 191], [251, 569, 179], [251, 599, 149], [251, 617, 131], [251, 641, 107], [251, 647, 101], [251, 659, 89], [251, 677, 71], [251, 701, 47], [251, 719, 29], [251, 743, 5], [257, 3, 739], [257, 23, 719], [257, 41, 701], [257, 59, 683], [257, 83, 659], [257, 89, 653], [257, 101, 641], [257, 149, 593], [257, 173, 569], [257, 179, 563], [257, 233, 509], [257, 239, 503], [257, 251, 491], [257, 263, 479], [257, 281, 461], [257, 293, 449], [257, 311, 431], [257, 353, 389], [257, 359, 383], [257, 383, 359], [257, 389, 353], [257, 431, 311], [257, 449, 293], [257, 461, 281], [257, 479, 263], [257, 491, 251], [257, 503, 239], [257, 509, 233], [257, 563, 179], [257, 569, 173], [257, 593, 149], [257, 641, 101], [257, 653, 89], [257, 659, 83], [257, 683, 59], [257, 701, 41], [257, 719, 23], [257, 739, 3], [263, 3, 733], [263, 17, 719], [263, 53, 683], [263, 59, 677], [263, 83, 653], [263, 89, 647], [263, 137, 599], [263, 149, 587], [263, 167, 569], [263, 173, 563], [263, 179, 557], [263, 227, 509], [263, 233, 503], [263, 257, 479], [263, 269, 467], [263, 293, 443], [263, 317, 419], [263, 347, 389], [263, 353, 383], [263, 383, 353], [263, 389, 347], [263, 419, 317], [263, 443, 293], [263, 467, 269], [263, 479, 257], [263, 503, 233], [263, 509, 227], [263, 557, 179], [263, 563, 173], [263, 569, 167], [263, 587, 149], [263, 599, 137], [263, 647, 89], [263, 653, 83], [263, 677, 59], [263, 683, 53], [263, 719, 17], [263, 733, 3], [269, 3, 727], [269, 11, 719], [269, 29, 701], [269, 47, 683], [269, 53, 677], [269, 71, 659], [269, 83, 647], [269, 89, 641], [269, 113, 617], [269, 131, 599], [269, 137, 593], [269, 167, 563], [269, 173, 557], [269, 227, 503], [269, 239, 491], [269, 251, 479], [269, 263, 467], [269, 269, 461], [269, 281, 449], [269, 311, 419], [269, 347, 383], [269, 383, 347], [269, 419, 311], [269, 449, 281], [269, 461, 269], [269, 467, 263], [269, 479, 251], [269, 491, 239], [269, 503, 227], [269, 557, 173], [269, 563, 167], [269, 593, 137], [269, 599, 131], [269, 617, 113], [269, 641, 89], [269, 647, 83], [269, 659, 71], [269, 677, 53], [269, 683, 47], [269, 701, 29], [269, 719, 11], [269, 727, 3], [271, 1, 727], [271, 19, 709], [271, 37, 691], [271, 67, 661], [271, 97, 631], [271, 109, 619], [271, 127, 601], [271, 151, 577], [271, 157, 571], [271, 181, 547], [271, 229, 499], [271, 241, 487], [271, 271, 457], [271, 307, 421], [271, 331, 397], [271, 349, 379], [271, 379, 349], [271, 397, 331], [271, 421, 307], [271, 457, 271], [271, 487, 241], [271, 499, 229], [271, 547, 181], [271, 571, 157], [271, 577, 151], [271, 601, 127], [271, 619, 109], [271, 631, 97], [271, 661, 67], [271, 691, 37], [271, 709, 19], [271, 727, 1], [277, 3, 719], [277, 13, 709], [277, 31, 691], [277, 61, 661], [277, 79, 643], [277, 103, 619], [277, 109, 613], [277, 151, 571], [277, 181, 541], [277, 199, 523], [277, 223, 499], [277, 283, 439], [277, 313, 409], [277, 349, 373], [277, 373, 349], [277, 409, 313], [277, 439, 283], [277, 499, 223], [277, 523, 199], [277, 541, 181], [277, 571, 151], [277, 613, 109], [277, 619, 103], [277, 643, 79], [277, 661, 61], [277, 691, 31], [277, 709, 13], [277, 719, 3], [281, 17, 701], [281, 41, 677], [281, 59, 659], [281, 71, 647], [281, 101, 617], [281, 131, 587], [281, 149, 569], [281, 197, 521], [281, 227, 491], [281, 239, 479], [281, 251, 467], [281, 257, 461], [281, 269, 449], [281, 317, 401], [281, 359, 359], [281, 401, 317], [281, 449, 269], [281, 461, 257], [281, 467, 251], [281, 479, 239], [281, 491, 227], [281, 521, 197], [281, 569, 149], [281, 587, 131], [281, 617, 101], [281, 647, 71], [281, 659, 59], [281, 677, 41], [281, 701, 17], [283, 7, 709], [283, 43, 673], [283, 73, 643], [283, 97, 619], [283, 103, 613], [283, 109, 607], [283, 139, 577], [283, 193, 523], [283, 229, 487], [283, 277, 439], [283, 283, 433], [283, 307, 409], [283, 337, 379], [283, 349, 367], [283, 367, 349], [283, 379, 337], [283, 409, 307], [283, 433, 283], [283, 439, 277], [283, 487, 229], [283, 523, 193], [283, 577, 139], [283, 607, 109], [283, 613, 103], [283, 619, 97], [283, 643, 73], [283, 673, 43], [283, 709, 7], [293, 5, 701], [293, 23, 683], [293, 29, 677], [293, 47, 659], [293, 53, 653], [293, 59, 647], [293, 89, 617], [293, 107, 599], [293, 113, 593], [293, 137, 569], [293, 149, 557], [293, 197, 509], [293, 227, 479], [293, 239, 467], [293, 257, 449], [293, 263, 443], [293, 317, 389], [293, 347, 359], [293, 353, 353], [293, 359, 347], [293, 389, 317], [293, 443, 263], [293, 449, 257], [293, 467, 239], [293, 479, 227], [293, 509, 197], [293, 557, 149], [293, 569, 137], [293, 593, 113], [293, 599, 107], [293, 617, 89], [293, 647, 59], [293, 653, 53], [293, 659, 47], [293, 677, 29], [293, 683, 23], [293, 701, 5], [307, 1, 691], [307, 19, 673], [307, 31, 661], [307, 61, 631], [307, 73, 619], [307, 79, 613], [307, 151, 541], [307, 193, 499], [307, 229, 463], [307, 271, 421], [307, 283, 409], [307, 313, 379], [307, 379, 313], [307, 409, 283], [307, 421, 271], [307, 463, 229], [307, 499, 193], [307, 541, 151], [307, 613, 79], [307, 619, 73], [307, 631, 61], [307, 661, 31], [307, 673, 19], [307, 691, 1], [311, 5, 683], [311, 11, 677], [311, 29, 659], [311, 41, 647], [311, 47, 641], [311, 71, 617], [311, 89, 599], [311, 101, 587], [311, 131, 557], [311, 167, 521], [311, 179, 509], [311, 197, 491], [311, 227, 461], [311, 239, 449], [311, 257, 431], [311, 269, 419], [311, 419, 269], [311, 431, 257], [311, 449, 239], [311, 461, 227], [311, 491, 197], [311, 509, 179], [311, 521, 167], [311, 557, 131], [311, 587, 101], [311, 599, 89], [311, 617, 71], [311, 641, 47], [311, 647, 41], [311, 659, 29], [311, 677, 11], [311, 683, 5], [313, 3, 683], [313, 13, 673], [313, 43, 643], [313, 67, 619], [313, 73, 613], [313, 79, 607], [313, 109, 577], [313, 139, 547], [313, 163, 523], [313, 199, 487], [313, 223, 463], [313, 229, 457], [313, 277, 409], [313, 307, 379], [313, 313, 373], [313, 337, 349], [313, 349, 337], [313, 373, 313], [313, 379, 307], [313, 409, 277], [313, 457, 229], [313, 463, 223], [313, 487, 199], [313, 523, 163], [313, 547, 139], [313, 577, 109], [313, 607, 79], [313, 613, 73], [313, 619, 67], [313, 643, 43], [313, 673, 13], [313, 683, 3], [317, 5, 677], [317, 23, 659], [317, 29, 653], [317, 41, 641], [317, 83, 599], [317, 89, 593], [317, 113, 569], [317, 173, 509], [317, 179, 503], [317, 191, 491], [317, 233, 449], [317, 239, 443], [317, 251, 431], [317, 263, 419], [317, 281, 401], [317, 293, 389], [317, 389, 293], [317, 401, 281], [317, 419, 263], [317, 431, 251], [317, 443, 239], [317, 449, 233], [317, 491, 191], [317, 503, 179], [317, 509, 173], [317, 569, 113], [317, 593, 89], [317, 599, 83], [317, 641, 41], [317, 653, 29], [317, 659, 23], [317, 677, 5], [331, 7, 661], [331, 37, 631], [331, 61, 607], [331, 67, 601], [331, 97, 571], [331, 127, 541], [331, 181, 487], [331, 211, 457], [331, 229, 439], [331, 271, 397], [331, 331, 337], [331, 337, 331], [331, 397, 271], [331, 439, 229], [331, 457, 211], [331, 487, 181], [331, 541, 127], [331, 571, 97], [331, 601, 67], [331, 607, 61], [331, 631, 37], [331, 661, 7], [337, 1, 661], [337, 3, 659], [337, 19, 643], [337, 31, 631], [337, 43, 619], [337, 61, 601], [337, 139, 523], [337, 163, 499], [337, 199, 463], [337, 223, 439], [337, 229, 433], [337, 241, 421], [337, 283, 379], [337, 313, 349], [337, 331, 331], [337, 349, 313], [337, 379, 283], [337, 421, 241], [337, 433, 229], [337, 439, 223], [337, 463, 199], [337, 499, 163], [337, 523, 139], [337, 601, 61], [337, 619, 43], [337, 631, 31], [337, 643, 19], [337, 659, 3], [337, 661, 1], [347, 5, 647], [347, 11, 641], [347, 53, 599], [347, 59, 593], [347, 83, 569], [347, 89, 563], [347, 131, 521], [347, 149, 503], [347, 173, 479], [347, 191, 461], [347, 233, 419], [347, 251, 401], [347, 263, 389], [347, 269, 383], [347, 293, 359], [347, 359, 293], [347, 383, 269], [347, 389, 263], [347, 401, 251], [347, 419, 233], [347, 461, 191], [347, 479, 173], [347, 503, 149], [347, 521, 131], [347, 563, 89], [347, 569, 83], [347, 593, 59], [347, 599, 53], [347, 641, 11], [347, 647, 5], [349, 3, 647], [349, 7, 643], [349, 19, 631], [349, 31, 619], [349, 37, 613], [349, 43, 607], [349, 73, 577], [349, 79, 571], [349, 103, 547], [349, 109, 541], [349, 127, 523], [349, 151, 499], [349, 163, 487], [349, 193, 457], [349, 211, 439], [349, 229, 421], [349, 241, 409], [349, 271, 379], [349, 277, 373], [349, 283, 367], [349, 313, 337], [349, 337, 313], [349, 367, 283], [349, 373, 277], [349, 379, 271], [349, 409, 241], [349, 421, 229], [349, 439, 211], [349, 457, 193], [349, 487, 163], [349, 499, 151], [349, 523, 127], [349, 541, 109], [349, 547, 103], [349, 571, 79], [349, 577, 73], [349, 607, 43], [349, 613, 37], [349, 619, 31], [349, 631, 19], [349, 643, 7], [349, 647, 3], [353, 3, 643], [353, 5, 641], [353, 29, 617], [353, 47, 599], [353, 53, 593], [353, 59, 587], [353, 83, 563], [353, 89, 557], [353, 137, 509], [353, 167, 479], [353, 179, 467], [353, 197, 449], [353, 227, 419], [353, 257, 389], [353, 263, 383], [353, 293, 353], [353, 353, 293], [353, 383, 263], [353, 389, 257], [353, 419, 227], [353, 449, 197], [353, 467, 179], [353, 479, 167], [353, 509, 137], [353, 557, 89], [353, 563, 83], [353, 587, 59], [353, 593, 53], [353, 599, 47], [353, 617, 29], [353, 641, 5], [353, 643, 3], [359, 23, 617], [359, 41, 599], [359, 47, 593], [359, 53, 587], [359, 71, 569], [359, 83, 557], [359, 131, 509], [359, 137, 503], [359, 149, 491], [359, 173, 467], [359, 179, 461], [359, 191, 449], [359, 197, 443], [359, 239, 401], [359, 251, 389], [359, 257, 383], [359, 281, 359], [359, 293, 347], [359, 347, 293], [359, 359, 281], [359, 383, 257], [359, 389, 251], [359, 401, 239], [359, 443, 197], [359, 449, 191], [359, 461, 179], [359, 467, 173], [359, 491, 149], [359, 503, 137], [359, 509, 131], [359, 557, 83], [359, 569, 71], [359, 587, 53], [359, 593, 47], [359, 599, 41], [359, 617, 23], [367, 1, 631], [367, 13, 619], [367, 19, 613], [367, 31, 601], [367, 61, 571], [367, 109, 523], [367, 193, 439], [367, 199, 433], [367, 211, 421], [367, 223, 409], [367, 283, 349], [367, 349, 283], [367, 409, 223], [367, 421, 211], [367, 433, 199], [367, 439, 193], [367, 523, 109], [367, 571, 61], [367, 601, 31], [367, 613, 19], [367, 619, 13], [367, 631, 1], [373, 7, 619], [373, 13, 613], [373, 19, 607], [373, 79, 547], [373, 103, 523], [373, 127, 499], [373, 139, 487], [373, 163, 463], [373, 193, 433], [373, 229, 397], [373, 277, 349], [373, 313, 313], [373, 349, 277], [373, 397, 229], [373, 433, 193], [373, 463, 163], [373, 487, 139], [373, 499, 127], [373, 523, 103], [373, 547, 79], [373, 607, 19], [373, 613, 13], [373, 619, 7], [379, 1, 619], [379, 3, 617], [379, 7, 613], [379, 13, 607], [379, 19, 601], [379, 43, 577], [379, 73, 547], [379, 79, 541], [379, 97, 523], [379, 157, 463], [379, 163, 457], [379, 181, 439], [379, 199, 421], [379, 211, 409], [379, 223, 397], [379, 241, 379], [379, 271, 349], [379, 283, 337], [379, 307, 313], [379, 313, 307], [379, 337, 283], [379, 349, 271], [379, 379, 241], [379, 397, 223], [379, 409, 211], [379, 421, 199], [379, 439, 181], [379, 457, 163], [379, 463, 157], [379, 523, 97], [379, 541, 79], [379, 547, 73], [379, 577, 43], [379, 601, 19], [379, 607, 13], [379, 613, 7], [379, 617, 3], [379, 619, 1], [383, 3, 613], [383, 17, 599], [383, 23, 593], [383, 29, 587], [383, 47, 569], [383, 53, 563], [383, 59, 557], [383, 107, 509], [383, 113, 503], [383, 137, 479], [383, 149, 467], [383, 167, 449], [383, 173, 443], [383, 197, 419], [383, 227, 389], [383, 233, 383], [383, 257, 359], [383, 263, 353], [383, 269, 347], [383, 347, 269], [383, 353, 263], [383, 359, 257], [383, 383, 233], [383, 389, 227], [383, 419, 197], [383, 443, 173], [383, 449, 167], [383, 467, 149], [383, 479, 137], [383, 503, 113], [383, 509, 107], [383, 557, 59], [383, 563, 53], [383, 569, 47], [383, 587, 29], [383, 593, 23], [383, 599, 17], [383, 613, 3], [389, 3, 607], [389, 11, 599], [389, 17, 593], [389, 23, 587], [389, 41, 569], [389, 47, 563], [389, 53, 557], [389, 89, 521], [389, 101, 509], [389, 107, 503], [389, 131, 479], [389, 149, 461], [389, 167, 443], [389, 179, 431], [389, 191, 419], [389, 227, 383], [389, 251, 359], [389, 257, 353], [389, 263, 347], [389, 293, 317], [389, 317, 293], [389, 347, 263], [389, 353, 257], [389, 359, 251], [389, 383, 227], [389, 419, 191], [389, 431, 179], [389, 443, 167], [389, 461, 149], [389, 479, 131], [389, 503, 107], [389, 509, 101], [389, 521, 89], [389, 557, 53], [389, 563, 47], [389, 569, 41], [389, 587, 23], [389, 593, 17], [389, 599, 11], [389, 607, 3], [397, 1, 601], [397, 3, 599], [397, 31, 571], [397, 61, 541], [397, 79, 523], [397, 103, 499], [397, 139, 463], [397, 163, 439], [397, 181, 421], [397, 193, 409], [397, 223, 379], [397, 229, 373], [397, 271, 331], [397, 331, 271], [397, 373, 229], [397, 379, 223], [397, 409, 193], [397, 421, 181], [397, 439, 163], [397, 463, 139], [397, 499, 103], [397, 523, 79], [397, 541, 61], [397, 571, 31], [397, 599, 3], [397, 601, 1], [401, 5, 593], [401, 11, 587], [401, 29, 569], [401, 41, 557], [401, 89, 509], [401, 107, 491], [401, 131, 467], [401, 137, 461], [401, 149, 449], [401, 167, 431], [401, 179, 419], [401, 197, 401], [401, 239, 359], [401, 251, 347], [401, 281, 317], [401, 317, 281], [401, 347, 251], [401, 359, 239], [401, 401, 197], [401, 419, 179], [401, 431, 167], [401, 449, 149], [401, 461, 137], [401, 467, 131], [401, 491, 107], [401, 509, 89], [401, 557, 41], [401, 569, 29], [401, 587, 11], [401, 593, 5], [409, 3, 587], [409, 13, 577], [409, 19, 571], [409, 43, 547], [409, 67, 523], [409, 103, 487], [409, 127, 463], [409, 151, 439], [409, 157, 433], [409, 181, 409], [409, 193, 397], [409, 211, 379], [409, 223, 367], [409, 241, 349], [409, 277, 313], [409, 283, 307], [409, 307, 283], [409, 313, 277], [409, 349, 241], [409, 367, 223], [409, 379, 211], [409, 397, 193], [409, 409, 181], [409, 433, 157], [409, 439, 151], [409, 463, 127], [409, 487, 103], [409, 523, 67], [409, 547, 43], [409, 571, 19], [409, 577, 13], [409, 587, 3], [419, 3, 577], [419, 11, 569], [419, 17, 563], [419, 23, 557], [419, 59, 521], [419, 71, 509], [419, 89, 491], [419, 101, 479], [419, 113, 467], [419, 131, 449], [419, 137, 443], [419, 149, 431], [419, 179, 401], [419, 191, 389], [419, 197, 383], [419, 227, 353], [419, 233, 347], [419, 263, 317], [419, 269, 311], [419, 311, 269], [419, 317, 263], [419, 347, 233], [419, 353, 227], [419, 383, 197], [419, 389, 191], [419, 401, 179], [419, 431, 149], [419, 443, 137], [419, 449, 131], [419, 467, 113], [419, 479, 101], [419, 491, 89], [419, 509, 71], [419, 521, 59], [419, 557, 23], [419, 563, 17], [419, 569, 11], [419, 577, 3], [421, 1, 577], [421, 7, 571], [421, 31, 547], [421, 37, 541], [421, 79, 499], [421, 139, 439], [421, 157, 421], [421, 181, 397], [421, 199, 379], [421, 211, 367], [421, 229, 349], [421, 241, 337], [421, 271, 307], [421, 307, 271], [421, 337, 241], [421, 349, 229], [421, 367, 211], [421, 379, 199], [421, 397, 181], [421, 421, 157], [421, 439, 139], [421, 499, 79], [421, 541, 37], [421, 547, 31], [421, 571, 7], [421, 577, 1], [431, 5, 563], [431, 11, 557], [431, 47, 521], [431, 59, 509], [431, 89, 479], [431, 101, 467], [431, 107, 461], [431, 137, 431], [431, 149, 419], [431, 167, 401], [431, 179, 389], [431, 251, 317], [431, 257, 311], [431, 311, 257], [431, 317, 251], [431, 389, 179], [431, 401, 167], [431, 419, 149], [431, 431, 137], [431, 461, 107], [431, 467, 101], [431, 479, 89], [431, 509, 59], [431, 521, 47], [431, 557, 11], [431, 563, 5], [433, 3, 563], [433, 19, 547], [433, 43, 523], [433, 67, 499], [433, 79, 487], [433, 103, 463], [433, 109, 457], [433, 127, 439], [433, 157, 409], [433, 193, 373], [433, 199, 367], [433, 229, 337], [433, 283, 283], [433, 337, 229], [433, 367, 199], [433, 373, 193], [433, 409, 157], [433, 439, 127], [433, 457, 109], [433, 463, 103], [433, 487, 79], [433, 499, 67], [433, 523, 43], [433, 547, 19], [433, 563, 3], [439, 3, 557], [439, 13, 547], [439, 19, 541], [439, 37, 523], [439, 61, 499], [439, 73, 487], [439, 97, 463], [439, 103, 457], [439, 127, 433], [439, 139, 421], [439, 151, 409], [439, 163, 397], [439, 181, 379], [439, 193, 367], [439, 211, 349], [439, 223, 337], [439, 229, 331], [439, 277, 283], [439, 283, 277], [439, 331, 229], [439, 337, 223], [439, 349, 211], [439, 367, 193], [439, 379, 181], [439, 397, 163], [439, 409, 151], [439, 421, 139], [439, 433, 127], [439, 457, 103], [439, 463, 97], [439, 487, 73], [439, 499, 61], [439, 523, 37], [439, 541, 19], [439, 547, 13], [439, 557, 3], [443, 47, 509], [443, 53, 503], [443, 89, 467], [443, 107, 449], [443, 113, 443], [443, 137, 419], [443, 167, 389], [443, 173, 383], [443, 197, 359], [443, 239, 317], [443, 263, 293], [443, 293, 263], [443, 317, 239], [443, 359, 197], [443, 383, 173], [443, 389, 167], [443, 419, 137], [443, 443, 113], [443, 449, 107], [443, 467, 89], [443, 503, 53], [443, 509, 47], [449, 3, 547], [449, 29, 521], [449, 41, 509], [449, 47, 503], [449, 59, 491], [449, 71, 479], [449, 83, 467], [449, 89, 461], [449, 101, 449], [449, 107, 443], [449, 131, 419], [449, 149, 401], [449, 167, 383], [449, 191, 359], [449, 197, 353], [449, 233, 317], [449, 239, 311], [449, 257, 293], [449, 269, 281], [449, 281, 269], [449, 293, 257], [449, 311, 239], [449, 317, 233], [449, 353, 197], [449, 359, 191], [449, 383, 167], [449, 401, 149], [449, 419, 131], [449, 443, 107], [449, 449, 101], [449, 461, 89], [449, 467, 83], [449, 479, 71], [449, 491, 59], [449, 503, 47], [449, 509, 41], [449, 521, 29], [449, 547, 3], [457, 1, 541], [457, 19, 523], [457, 43, 499], [457, 79, 463], [457, 103, 439], [457, 109, 433], [457, 163, 379], [457, 193, 349], [457, 211, 331], [457, 229, 313], [457, 271, 271], [457, 313, 229], [457, 331, 211], [457, 349, 193], [457, 379, 163], [457, 433, 109], [457, 439, 103], [457, 463, 79], [457, 499, 43], [457, 523, 19], [457, 541, 1], [461, 17, 521], [461, 29, 509], [461, 47, 491], [461, 59, 479], [461, 71, 467], [461, 89, 449], [461, 107, 431], [461, 137, 401], [461, 149, 389], [461, 179, 359], [461, 191, 347], [461, 227, 311], [461, 257, 281], [461, 269, 269], [461, 281, 257], [461, 311, 227], [461, 347, 191], [461, 359, 179], [461, 389, 149], [461, 401, 137], [461, 431, 107], [461, 449, 89], [461, 467, 71], [461, 479, 59], [461, 491, 47], [461, 509, 29], [461, 521, 17], [463, 13, 523], [463, 37, 499], [463, 73, 463], [463, 79, 457], [463, 97, 439], [463, 103, 433], [463, 127, 409], [463, 139, 397], [463, 157, 379], [463, 163, 373], [463, 199, 337], [463, 223, 313], [463, 229, 307], [463, 307, 229], [463, 313, 223], [463, 337, 199], [463, 373, 163], [463, 379, 157], [463, 397, 139], [463, 409, 127], [463, 433, 103], [463, 439, 97], [463, 457, 79], [463, 463, 73], [463, 499, 37], [463, 523, 13], [467, 11, 521], [467, 23, 509], [467, 29, 503], [467, 41, 491], [467, 53, 479], [467, 71, 461], [467, 83, 449], [467, 89, 443], [467, 101, 431], [467, 113, 419], [467, 131, 401], [467, 149, 383], [467, 173, 359], [467, 179, 353], [467, 239, 293], [467, 251, 281], [467, 263, 269], [467, 269, 263], [467, 281, 251], [467, 293, 239], [467, 353, 179], [467, 359, 173], [467, 383, 149], [467, 401, 131], [467, 419, 113], [467, 431, 101], [467, 443, 89], [467, 449, 83], [467, 461, 71], [467, 479, 53], [467, 491, 41], [467, 503, 29], [467, 509, 23], [467, 521, 11], [479, 11, 509], [479, 17, 503], [479, 29, 491], [479, 41, 479], [479, 53, 467], [479, 59, 461], [479, 71, 449], [479, 89, 431], [479, 101, 419], [479, 131, 389], [479, 137, 383], [479, 167, 353], [479, 173, 347], [479, 227, 293], [479, 239, 281], [479, 251, 269], [479, 257, 263], [479, 263, 257], [479, 269, 251], [479, 281, 239], [479, 293, 227], [479, 347, 173], [479, 353, 167], [479, 383, 137], [479, 389, 131], [479, 419, 101], [479, 431, 89], [479, 449, 71], [479, 461, 59], [479, 467, 53], [479, 479, 41], [479, 491, 29], [479, 503, 17], [479, 509, 11], [487, 3, 509], [487, 13, 499], [487, 73, 439], [487, 79, 433], [487, 103, 409], [487, 139, 373], [487, 163, 349], [487, 181, 331], [487, 199, 313], [487, 229, 283], [487, 241, 271], [487, 271, 241], [487, 283, 229], [487, 313, 199], [487, 331, 181], [487, 349, 163], [487, 373, 139], [487, 409, 103], [487, 433, 79], [487, 439, 73], [487, 499, 13], [487, 509, 3], [491, 5, 503], [491, 17, 491], [491, 29, 479], [491, 41, 467], [491, 47, 461], [491, 59, 449], [491, 89, 419], [491, 107, 401], [491, 149, 359], [491, 191, 317], [491, 197, 311], [491, 227, 281], [491, 239, 269], [491, 251, 257], [491, 257, 251], [491, 269, 239], [491, 281, 227], [491, 311, 197], [491, 317, 191], [491, 359, 149], [491, 401, 107], [491, 419, 89], [491, 449, 59], [491, 461, 47], [491, 467, 41], [491, 479, 29], [491, 491, 17], [491, 503, 5], [499, 1, 499], [499, 13, 487], [499, 37, 463], [499, 43, 457], [499, 61, 439], [499, 67, 433], [499, 79, 421], [499, 103, 397], [499, 127, 373], [499, 151, 349], [499, 163, 337], [499, 193, 307], [499, 223, 277], [499, 229, 271], [499, 271, 229], [499, 277, 223], [499, 307, 193], [499, 337, 163], [499, 349, 151], [499, 373, 127], [499, 397, 103], [499, 421, 79], [499, 433, 67], [499, 439, 61], [499, 457, 43], [499, 463, 37], [499, 487, 13], [499, 499, 1], [503, 5, 491], [503, 17, 479], [503, 29, 467], [503, 47, 449], [503, 53, 443], [503, 107, 389], [503, 113, 383], [503, 137, 359], [503, 149, 347], [503, 179, 317], [503, 227, 269], [503, 233, 263], [503, 239, 257], [503, 257, 239], [503, 263, 233], [503, 269, 227], [503, 317, 179], [503, 347, 149], [503, 359, 137], [503, 383, 113], [503, 389, 107], [503, 443, 53], [503, 449, 47], [503, 467, 29], [503, 479, 17], [503, 491, 5], [509, 3, 487], [509, 11, 479], [509, 23, 467], [509, 29, 461], [509, 41, 449], [509, 47, 443], [509, 59, 431], [509, 71, 419], [509, 89, 401], [509, 101, 389], [509, 107, 383], [509, 131, 359], [509, 137, 353], [509, 173, 317], [509, 179, 311], [509, 197, 293], [509, 227, 263], [509, 233, 257], [509, 239, 251], [509, 251, 239], [509, 257, 233], [509, 263, 227], [509, 293, 197], [509, 311, 179], [509, 317, 173], [509, 353, 137], [509, 359, 131], [509, 383, 107], [509, 389, 101], [509, 401, 89], [509, 419, 71], [509, 431, 59], [509, 443, 47], [509, 449, 41], [509, 461, 29], [509, 467, 23], [509, 479, 11], [509, 487, 3], [521, 11, 467], [521, 17, 461], [521, 29, 449], [521, 47, 431], [521, 59, 419], [521, 89, 389], [521, 131, 347], [521, 167, 311], [521, 197, 281], [521, 227, 251], [521, 239, 239], [521, 251, 227], [521, 281, 197], [521, 311, 167], [521, 347, 131], [521, 389, 89], [521, 419, 59], [521, 431, 47], [521, 449, 29], [521, 461, 17], [521, 467, 11], [523, 13, 463], [523, 19, 457], [523, 37, 439], [523, 43, 433], [523, 67, 409], [523, 79, 397], [523, 97, 379], [523, 103, 373], [523, 109, 367], [523, 127, 349], [523, 139, 337], [523, 163, 313], [523, 193, 283], [523, 199, 277], [523, 277, 199], [523, 283, 193], [523, 313, 163], [523, 337, 139], [523, 349, 127], [523, 367, 109], [523, 373, 103], [523, 379, 97], [523, 397, 79], [523, 409, 67], [523, 433, 43], [523, 439, 37], [523, 457, 19], [523, 463, 13], [541, 1, 457], [541, 19, 439], [541, 37, 421], [541, 61, 397], [541, 79, 379], [541, 109, 349], [541, 127, 331], [541, 151, 307], [541, 181, 277], [541, 229, 229], [541, 277, 181], [541, 307, 151], [541, 331, 127], [541, 349, 109], [541, 379, 79], [541, 397, 61], [541, 421, 37], [541, 439, 19], [541, 457, 1], [547, 3, 449], [547, 13, 439], [547, 19, 433], [547, 31, 421], [547, 43, 409], [547, 73, 379], [547, 79, 373], [547, 103, 349], [547, 139, 313], [547, 181, 271], [547, 211, 241], [547, 223, 229], [547, 229, 223], [547, 241, 211], [547, 271, 181], [547, 313, 139], [547, 349, 103], [547, 373, 79], [547, 379, 73], [547, 409, 43], [547, 421, 31], [547, 433, 19], [547, 439, 13], [547, 449, 3], [557, 3, 439], [557, 11, 431], [557, 23, 419], [557, 41, 401], [557, 53, 389], [557, 59, 383], [557, 83, 359], [557, 89, 353], [557, 131, 311], [557, 149, 293], [557, 173, 269], [557, 179, 263], [557, 191, 251], [557, 251, 191], [557, 263, 179], [557, 269, 173], [557, 293, 149], [557, 311, 131], [557, 353, 89], [557, 359, 83], [557, 383, 59], [557, 389, 53], [557, 401, 41], [557, 419, 23], [557, 431, 11], [557, 439, 3], [563, 3, 433], [563, 5, 431], [563, 17, 419], [563, 47, 389], [563, 53, 383], [563, 83, 353], [563, 89, 347], [563, 167, 269], [563, 173, 263], [563, 179, 257], [563, 197, 239], [563, 239, 197], [563, 257, 179], [563, 263, 173], [563, 269, 167], [563, 347, 89], [563, 353, 83], [563, 383, 53], [563, 389, 47], [563, 419, 17], [563, 431, 5], [563, 433, 3], [569, 11, 419], [569, 29, 401], [569, 41, 389], [569, 47, 383], [569, 71, 359], [569, 83, 347], [569, 113, 317], [569, 137, 293], [569, 149, 281], [569, 167, 263], [569, 173, 257], [569, 179, 251], [569, 191, 239], [569, 197, 233], [569, 233, 197], [569, 239, 191], [569, 251, 179], [569, 257, 173], [569, 263, 167], [569, 281, 149], [569, 293, 137], [569, 317, 113], [569, 347, 83], [569, 359, 71], [569, 383, 47], [569, 389, 41], [569, 401, 29], [569, 419, 11], [571, 7, 421], [571, 19, 409], [571, 31, 397], [571, 61, 367], [571, 79, 349], [571, 97, 331], [571, 151, 277], [571, 157, 271], [571, 199, 229], [571, 229, 199], [571, 271, 157], [571, 277, 151], [571, 331, 97], [571, 349, 79], [571, 367, 61], [571, 397, 31], [571, 409, 19], [571, 421, 7], [577, 1, 421], [577, 3, 419], [577, 13, 409], [577, 43, 379], [577, 73, 349], [577, 109, 313], [577, 139, 283], [577, 151, 271], [577, 181, 241], [577, 193, 229], [577, 199, 223], [577, 211, 211], [577, 223, 199], [577, 229, 193], [577, 241, 181], [577, 271, 151], [577, 283, 139], [577, 313, 109], [577, 349, 73], [577, 379, 43], [577, 409, 13], [577, 419, 3], [577, 421, 1], [587, 3, 409], [587, 11, 401], [587, 23, 389], [587, 29, 383], [587, 53, 359], [587, 59, 353], [587, 101, 311], [587, 131, 281], [587, 149, 263], [587, 173, 239], [587, 179, 233], [587, 233, 179], [587, 239, 173], [587, 263, 149], [587, 281, 131], [587, 311, 101], [587, 353, 59], [587, 359, 53], [587, 383, 29], [587, 389, 23], [587, 401, 11], [587, 409, 3], [593, 5, 401], [593, 17, 389], [593, 23, 383], [593, 47, 359], [593, 53, 353], [593, 59, 347], [593, 89, 317], [593, 113, 293], [593, 137, 269], [593, 149, 257], [593, 167, 239], [593, 173, 233], [593, 179, 227], [593, 227, 179], [593, 233, 173], [593, 239, 167], [593, 257, 149], [593, 269, 137], [593, 293, 113], [593, 317, 89], [593, 347, 59], [593, 353, 53], [593, 359, 47], [593, 383, 23], [593, 389, 17], [593, 401, 5], [599, 3, 397], [599, 11, 389], [599, 17, 383], [599, 41, 359], [599, 47, 353], [599, 53, 347], [599, 83, 317], [599, 89, 311], [599, 107, 293], [599, 131, 269], [599, 137, 263], [599, 149, 251], [599, 167, 233], [599, 173, 227], [599, 227, 173], [599, 233, 167], [599, 251, 149], [599, 263, 137], [599, 269, 131], [599, 293, 107], [599, 311, 89], [599, 317, 83], [599, 347, 53], [599, 353, 47], [599, 359, 41], [599, 383, 17], [599, 389, 11], [599, 397, 3], [601, 1, 397], [601, 19, 379], [601, 31, 367], [601, 61, 337], [601, 67, 331], [601, 127, 271], [601, 157, 241], [601, 199, 199], [601, 241, 157], [601, 271, 127], [601, 331, 67], [601, 337, 61], [601, 367, 31], [601, 379, 19], [601, 397, 1], [607, 3, 389], [607, 13, 379], [607, 19, 373], [607, 43, 349], [607, 61, 331], [607, 79, 313], [607, 109, 283], [607, 151, 241], [607, 163, 229], [607, 181, 211], [607, 193, 199], [607, 199, 193], [607, 211, 181], [607, 229, 163], [607, 241, 151], [607, 283, 109], [607, 313, 79], [607, 331, 61], [607, 349, 43], [607, 373, 19], [607, 379, 13], [607, 389, 3], [613, 3, 383], [613, 7, 379], [613, 13, 373], [613, 19, 367], [613, 37, 349], [613, 73, 313], [613, 79, 307], [613, 103, 283], [613, 109, 277], [613, 157, 229], [613, 163, 223], [613, 193, 193], [613, 223, 163], [613, 229, 157], [613, 277, 109], [613, 283, 103], [613, 307, 79], [613, 313, 73], [613, 349, 37], [613, 367, 19], [613, 373, 13], [613, 379, 7], [613, 383, 3], [617, 3, 379], [617, 23, 359], [617, 29, 353], [617, 71, 311], [617, 89, 293], [617, 101, 281], [617, 113, 269], [617, 131, 251], [617, 149, 233], [617, 191, 191], [617, 233, 149], [617, 251, 131], [617, 269, 113], [617, 281, 101], [617, 293, 89], [617, 311, 71], [617, 353, 29], [617, 359, 23], [617, 379, 3], [619, 1, 379], [619, 7, 373], [619, 13, 367], [619, 31, 349], [619, 43, 337], [619, 67, 313], [619, 73, 307], [619, 97, 283], [619, 103, 277], [619, 109, 271], [619, 139, 241], [619, 151, 229], [619, 157, 223], [619, 181, 199], [619, 199, 181], [619, 223, 157], [619, 229, 151], [619, 241, 139], [619, 271, 109], [619, 277, 103], [619, 283, 97], [619, 307, 73], [619, 313, 67], [619, 337, 43], [619, 349, 31], [619, 367, 13], [619, 373, 7], [619, 379, 1], [631, 1, 367], [631, 19, 349], [631, 31, 337], [631, 37, 331], [631, 61, 307], [631, 97, 271], [631, 127, 241], [631, 139, 229], [631, 157, 211], [631, 211, 157], [631, 229, 139], [631, 241, 127], [631, 271, 97], [631, 307, 61], [631, 331, 37], [631, 337, 31], [631, 349, 19], [631, 367, 1], [641, 5, 353], [641, 11, 347], [641, 41, 317], [641, 47, 311], [641, 89, 269], [641, 101, 257], [641, 107, 251], [641, 131, 227], [641, 167, 191], [641, 179, 179], [641, 191, 167], [641, 227, 131], [641, 251, 107], [641, 257, 101], [641, 269, 89], [641, 311, 47], [641, 317, 41], [641, 347, 11], [641, 353, 5], [643, 3, 353], [643, 7, 349], [643, 19, 337], [643, 43, 313], [643, 73, 283], [643, 79, 277], [643, 127, 229], [643, 157, 199], [643, 163, 193], [643, 193, 163], [643, 199, 157], [643, 229, 127], [643, 277, 79], [643, 283, 73], [643, 313, 43], [643, 337, 19], [643, 349, 7], [643, 353, 3], [647, 3, 349], [647, 5, 347], [647, 41, 311], [647, 59, 293], [647, 71, 281], [647, 83, 269], [647, 89, 263], [647, 101, 251], [647, 113, 239], [647, 173, 179], [647, 179, 173], [647, 239, 113], [647, 251, 101], [647, 263, 89], [647, 269, 83], [647, 281, 71], [647, 293, 59], [647, 311, 41], [647, 347, 5], [647, 349, 3], [653, 29, 317], [653, 53, 293], [653, 83, 263], [653, 89, 257], [653, 107, 239], [653, 113, 233], [653, 149, 197], [653, 167, 179], [653, 173, 173], [653, 179, 167], [653, 197, 149], [653, 233, 113], [653, 239, 107], [653, 257, 89], [653, 263, 83], [653, 293, 53], [653, 317, 29], [659, 3, 337], [659, 23, 317], [659, 29, 311], [659, 47, 293], [659, 59, 281], [659, 71, 269], [659, 83, 257], [659, 89, 251], [659, 101, 239], [659, 107, 233], [659, 113, 227], [659, 149, 191], [659, 167, 173], [659, 173, 167], [659, 191, 149], [659, 227, 113], [659, 233, 107], [659, 239, 101], [659, 251, 89], [659, 257, 83], [659, 269, 71], [659, 281, 59], [659, 293, 47], [659, 311, 29], [659, 317, 23], [659, 337, 3], [661, 1, 337], [661, 7, 331], [661, 31, 307], [661, 61, 277], [661, 67, 271], [661, 97, 241], [661, 109, 229], [661, 127, 211], [661, 139, 199], [661, 157, 181], [661, 181, 157], [661, 199, 139], [661, 211, 127], [661, 229, 109], [661, 241, 97], [661, 271, 67], [661, 277, 61], [661, 307, 31], [661, 331, 7], [661, 337, 1], [673, 13, 313], [673, 19, 307], [673, 43, 283], [673, 97, 229], [673, 103, 223], [673, 127, 199], [673, 163, 163], [673, 199, 127], [673, 223, 103], [673, 229, 97], [673, 283, 43], [673, 307, 19], [673, 313, 13], [677, 5, 317], [677, 11, 311], [677, 29, 293], [677, 41, 281], [677, 53, 269], [677, 59, 263], [677, 71, 251], [677, 83, 239], [677, 89, 233], [677, 131, 191], [677, 149, 173], [677, 173, 149], [677, 191, 131], [677, 233, 89], [677, 239, 83], [677, 251, 71], [677, 263, 59], [677, 269, 53], [677, 281, 41], [677, 293, 29], [677, 311, 11], [677, 317, 5], [683, 3, 313], [683, 5, 311], [683, 23, 293], [683, 47, 269], [683, 53, 263], [683, 59, 257], [683, 83, 233], [683, 89, 227], [683, 137, 179], [683, 149, 167], [683, 167, 149], [683, 179, 137], [683, 227, 89], [683, 233, 83], [683, 257, 59], [683, 263, 53], [683, 269, 47], [683, 293, 23], [683, 311, 5], [683, 313, 3], [691, 1, 307], [691, 31, 277], [691, 37, 271], [691, 67, 241], [691, 79, 229], [691, 97, 211], [691, 109, 199], [691, 127, 181], [691, 151, 157], [691, 157, 151], [691, 181, 127], [691, 199, 109], [691, 211, 97], [691, 229, 79], [691, 241, 67], [691, 271, 37], [691, 277, 31], [691, 307, 1], [701, 5, 293], [701, 17, 281], [701, 29, 269], [701, 41, 257], [701, 47, 251], [701, 59, 239], [701, 71, 227], [701, 101, 197], [701, 107, 191], [701, 131, 167], [701, 149, 149], [701, 167, 131], [701, 191, 107], [701, 197, 101], [701, 227, 71], [701, 239, 59], [701, 251, 47], [701, 257, 41], [701, 269, 29], [701, 281, 17], [701, 293, 5], [709, 7, 283], [709, 13, 277], [709, 19, 271], [709, 61, 229], [709, 67, 223], [709, 79, 211], [709, 97, 193], [709, 109, 181], [709, 127, 163], [709, 139, 151], [709, 151, 139], [709, 163, 127], [709, 181, 109], [709, 193, 97], [709, 211, 79], [709, 223, 67], [709, 229, 61], [709, 271, 19], [709, 277, 13], [709, 283, 7], [719, 3, 277], [719, 11, 269], [719, 17, 263], [719, 23, 257], [719, 29, 251], [719, 41, 239], [719, 47, 233], [719, 53, 227], [719, 83, 197], [719, 89, 191], [719, 101, 179], [719, 107, 173], [719, 113, 167], [719, 131, 149], [719, 149, 131], [719, 167, 113], [719, 173, 107], [719, 179, 101], [719, 191, 89], [719, 197, 83], [719, 227, 53], [719, 233, 47], [719, 239, 41], [719, 251, 29], [719, 257, 23], [719, 263, 17], [719, 269, 11], [719, 277, 3], [727, 1, 271], [727, 3, 269], [727, 31, 241], [727, 43, 229], [727, 61, 211], [727, 73, 199], [727, 79, 193], [727, 109, 163], [727, 163, 109], [727, 193, 79], [727, 199, 73], [727, 211, 61], [727, 229, 43], [727, 241, 31], [727, 269, 3], [727, 271, 1], [733, 3, 263], [733, 37, 229], [733, 43, 223], [733, 67, 199], [733, 73, 193], [733, 103, 163], [733, 109, 157], [733, 127, 139], [733, 139, 127], [733, 157, 109], [733, 163, 103], [733, 193, 73], [733, 199, 67], [733, 223, 43], [733, 229, 37], [733, 263, 3], [739, 3, 257], [739, 19, 241], [739, 31, 229], [739, 37, 223], [739, 61, 199], [739, 67, 193], [739, 79, 181], [739, 97, 163], [739, 103, 157], [739, 109, 151], [739, 151, 109], [739, 157, 103], [739, 163, 97], [739, 181, 79], [739, 193, 67], [739, 199, 61], [739, 223, 37], [739, 229, 31], [739, 241, 19], [739, 257, 3], [743, 5, 251], [743, 17, 239], [743, 23, 233], [743, 29, 227], [743, 59, 197], [743, 83, 173], [743, 89, 167], [743, 107, 149], [743, 149, 107], [743, 167, 89], [743, 173, 83], [743, 197, 59], [743, 227, 29], [743, 233, 23], [743, 239, 17], [743, 251, 5], [751, 7, 241], [751, 19, 229], [751, 37, 211], [751, 67, 181], [751, 97, 151], [751, 109, 139], [751, 139, 109], [751, 151, 97], [751, 181, 67], [751, 211, 37], [751, 229, 19], [751, 241, 7], [757, 1, 241], [757, 3, 239], [757, 13, 229], [757, 19, 223], [757, 31, 211], [757, 43, 199], [757, 61, 181], [757, 79, 163], [757, 103, 139], [757, 139, 103], [757, 163, 79], [757, 181, 61], [757, 199, 43], [757, 211, 31], [757, 223, 19], [757, 229, 13], [757, 239, 3], [757, 241, 1], [761, 5, 233], [761, 11, 227], [761, 41, 197], [761, 47, 191], [761, 59, 179], [761, 71, 167], [761, 89, 149], [761, 101, 137], [761, 107, 131], [761, 131, 107], [761, 137, 101], [761, 149, 89], [761, 167, 71], [761, 179, 59], [761, 191, 47], [761, 197, 41], [761, 227, 11], [761, 233, 5], [769, 1, 229], [769, 3, 227], [769, 7, 223], [769, 19, 211], [769, 31, 199], [769, 37, 193], [769, 67, 163], [769, 73, 157], [769, 79, 151], [769, 103, 127], [769, 127, 103], [769, 151, 79], [769, 157, 73], [769, 163, 67], [769, 193, 37], [769, 199, 31], [769, 211, 19], [769, 223, 7], [769, 227, 3], [769, 229, 1], [773, 3, 223], [773, 29, 197], [773, 47, 179], [773, 53, 173], [773, 59, 167], [773, 89, 137], [773, 113, 113], [773, 137, 89], [773, 167, 59], [773, 173, 53], [773, 179, 47], [773, 197, 29], [773, 223, 3], [787, 1, 211], [787, 13, 199], [787, 19, 193], [787, 31, 181], [787, 61, 151], [787, 73, 139], [787, 103, 109], [787, 109, 103], [787, 139, 73], [787, 151, 61], [787, 181, 31], [787, 193, 19], [787, 199, 13], [787, 211, 1], [797, 3, 199], [797, 5, 197], [797, 11, 191], [797, 23, 179], [797, 29, 173], [797, 53, 149], [797, 71, 131], [797, 89, 113], [797, 101, 101], [797, 113, 89], [797, 131, 71], [797, 149, 53], [797, 173, 29], [797, 179, 23], [797, 191, 11], [797, 197, 5], [797, 199, 3], [809, 11, 179], [809, 17, 173], [809, 23, 167], [809, 41, 149], [809, 53, 137], [809, 59, 131], [809, 83, 107], [809, 89, 101], [809, 101, 89], [809, 107, 83], [809, 131, 59], [809, 137, 53], [809, 149, 41], [809, 167, 23], [809, 173, 17], [809, 179, 11], [811, 7, 181], [811, 31, 157], [811, 37, 151], [811, 61, 127], [811, 79, 109], [811, 109, 79], [811, 127, 61], [811, 151, 37], [811, 157, 31], [811, 181, 7], [821, 5, 173], [821, 11, 167], [821, 29, 149], [821, 41, 137], [821, 47, 131], [821, 71, 107], [821, 89, 89], [821, 107, 71], [821, 131, 47], [821, 137, 41], [821, 149, 29], [821, 167, 11], [821, 173, 5], [823, 3, 173], [823, 13, 163], [823, 19, 157], [823, 37, 139], [823, 67, 109], [823, 73, 103], [823, 79, 97], [823, 97, 79], [823, 103, 73], [823, 109, 67], [823, 139, 37], [823, 157, 19], [823, 163, 13], [823, 173, 3], [827, 5, 167], [827, 23, 149], [827, 41, 131], [827, 59, 113], [827, 71, 101], [827, 83, 89], [827, 89, 83], [827, 101, 71], [827, 113, 59], [827, 131, 41], [827, 149, 23], [827, 167, 5], [829, 3, 167], [829, 7, 163], [829, 13, 157], [829, 19, 151], [829, 31, 139], [829, 43, 127], [829, 61, 109], [829, 67, 103], [829, 73, 97], [829, 97, 73], [829, 103, 67], [829, 109, 61], [829, 127, 43], [829, 139, 31], [829, 151, 19], [829, 157, 13], [829, 163, 7], [829, 167, 3], [839, 3, 157], [839, 11, 149], [839, 23, 137], [839, 29, 131], [839, 47, 113], [839, 53, 107], [839, 59, 101], [839, 71, 89], [839, 89, 71], [839, 101, 59], [839, 107, 53], [839, 113, 47], [839, 131, 29], [839, 137, 23], [839, 149, 11], [839, 157, 3], [853, 7, 139], [853, 19, 127], [853, 37, 109], [853, 43, 103], [853, 67, 79], [853, 73, 73], [853, 79, 67], [853, 103, 43], [853, 109, 37], [853, 127, 19], [853, 139, 7], [857, 3, 139], [857, 5, 137], [857, 11, 131], [857, 29, 113], [857, 41, 101], [857, 53, 89], [857, 59, 83], [857, 71, 71], [857, 83, 59], [857, 89, 53], [857, 101, 41], [857, 113, 29], [857, 131, 11], [857, 137, 5], [857, 139, 3], [859, 1, 139], [859, 3, 137], [859, 13, 127], [859, 31, 109], [859, 37, 103], [859, 43, 97], [859, 61, 79], [859, 67, 73], [859, 73, 67], [859, 79, 61], [859, 97, 43], [859, 103, 37], [859, 109, 31], [859, 127, 13], [859, 137, 3], [859, 139, 1], [863, 5, 131], [863, 23, 113], [863, 29, 107], [863, 47, 89], [863, 53, 83], [863, 83, 53], [863, 89, 47], [863, 107, 29], [863, 113, 23], [863, 131, 5], [877, 13, 109], [877, 19, 103], [877, 43, 79], [877, 61, 61], [877, 79, 43], [877, 103, 19], [877, 109, 13], [881, 5, 113], [881, 11, 107], [881, 17, 101], [881, 29, 89], [881, 47, 71], [881, 59, 59], [881, 71, 47], [881, 89, 29], [881, 101, 17], [881, 107, 11], [881, 113, 5], [883, 3, 113], [883, 7, 109], [883, 13, 103], [883, 19, 97], [883, 37, 79], [883, 43, 73], [883, 73, 43], [883, 79, 37], [883, 97, 19], [883, 103, 13], [883, 109, 7], [883, 113, 3], [887, 3, 109], [887, 5, 107], [887, 11, 101], [887, 23, 89], [887, 29, 83], [887, 41, 71], [887, 53, 59], [887, 59, 53], [887, 71, 41], [887, 83, 29], [887, 89, 23], [887, 101, 11], [887, 107, 5], [887, 109, 3], [907, 3, 89], [907, 13, 79], [907, 19, 73], [907, 31, 61], [907, 61, 31], [907, 73, 19], [907, 79, 13], [907, 89, 3], [911, 5, 83], [911, 17, 71], [911, 29, 59], [911, 41, 47], [911, 47, 41], [911, 59, 29], [911, 71, 17], [911, 83, 5], [919, 1, 79], [919, 7, 73], [919, 13, 67], [919, 19, 61], [919, 37, 43], [919, 43, 37], [919, 61, 19], [919, 67, 13], [919, 73, 7], [919, 79, 1], [929, 3, 67], [929, 11, 59], [929, 17, 53], [929, 23, 47], [929, 29, 41], [929, 41, 29], [929, 47, 23], [929, 53, 17], [929, 59, 11], [929, 67, 3], [937, 1, 61], [937, 3, 59], [937, 19, 43], [937, 31, 31], [937, 43, 19], [937, 59, 3], [937, 61, 1], [941, 5, 53], [941, 11, 47], [941, 17, 41], [941, 29, 29], [941, 41, 17], [941, 47, 11], [941, 53, 5], [947, 5, 47], [947, 11, 41], [947, 23, 29], [947, 29, 23], [947, 41, 11], [947, 47, 5], [953, 3, 43], [953, 5, 41], [953, 17, 29], [953, 23, 23], [953, 29, 17], [953, 41, 5], [953, 43, 3], [967, 1, 31], [967, 3, 29], [967, 13, 19], [967, 19, 13], [967, 29, 3], [967, 31, 1], [971, 5, 23], [971, 11, 17], [971, 17, 11], [971, 23, 5], [977, 3, 19], [977, 5, 17], [977, 11, 11], [977, 17, 5], [977, 19, 3], [983, 3, 13], [983, 5, 11], [983, 11, 5], [983, 13, 3], [991, 1, 7], [991, 3, 5], [991, 5, 3], [991, 7, 1], [997, 1, 1]]
thekiller@thekiller-laptop:~/Sources/python$

=> yeah

[11520126]

test với số 999
=> yeah

Số 1 không phải là số nguyên tố bạn à, số 2 mới chính là số nguyên tố chẵn duy nhất.
Và theo bài làm của mình thì số 999 chỉ có 1 cách là : 2+997 thôi (2 số hạng). @@! bạn nào test thử coi còn cách khác ko.
1.jpg

[07520004]

test với số 999
=> yeah

1 không phải là số nguyên tố, test với vài trăm ngàn á, 999 tầm thường lắm.

PS: Cái code C++ của bạn gì đó anh sửa lại là có thể xem như đáp án được rồi đó, cross checking với nó trước đi rồi hãy quăng lên.

[11520126]

Bạn Vũ Hoàng cho mình xin nick Yahoo cái

[11520118]

Phân tích cùng 1 lúc mấy số luôn

http://paste.ubuntu.com/715893/

nick đã send rồi

[11520673]

Sửa lại một chút http://paste.ubuntu.com/715283/
nếu ko tính hàm SplitInto (để chia list ra cho đẹp , dễ nhìn) => 40 dòng

Mình có ý kiến bài của bạn đây.giả thuyết Golback Euler( nguồn: http://vi.wikipedia.org/wiki/Số_nguyên_tố):

Năm 1742, nhà toán học Đức Goldbach viết thư cho Euler biết rằng ông mạo hiểm đưa ra bài toán: Mọi số tự nhiên lớn hơn 5 đều biểu diễn được dưới dạng tổng của 3 số nguyên tố. Euler trả lời rằng theo ông, mọi số chẵn lớn hơn 2 đều biểu diễn được dưới dạng tổng của 2 số nguyên tố. Nếu chứng minh được một trong hai mệnh đề thì sẽ chứng minh được mệnh đề còn lại. 200 năm sau, đến năm 1937, nhà toán học Liên Xô Vinogradov đã giải quyết gần trọn vẹn bài toán đó bằng cách chứng minh rằng mọi số lẻ đủ lớn đều có thể biểu diễn được dưới dạng tổng của 3 số nguyên tố.
Cho đến nay, bài toán Goldbach-Euler vẫn chưa giải được hoàn toàn. Nếu mệnh đề của Euler là đúng, hãy chứng minh mệnh đề Goldbach. Giải: Cho số tự nhiên n>5, ta sẽ chứng minh rằng n viết được dưới dạng tổng của 3 số nguyên tố --> nghĩa là muốn chứng minh cả 2, phải giả sử 1 trog 2 cái đúng !!???

Về cách của bạn, chỉ tìm tổ hợp có 2 và 3 phần tử! Vậy thì có thể có 1 số nào đó ko tồn tại tổ hợp 2,3 phần tử mà bạn ko biết thì sao?? Cái thứ 2, mình bổ sung thêm cách của bạn để chạy nhanh hơn. Là khi xét truong hop 2 to hop xong, nếu tồn tại, hãy break để chtrình dừng luôn khỏi tìm tổ hợp 3 phần tử. Bảo đảm chạy nhanh hơn!

Cách này ban đầu mình cũg nghĩ tới r, nhưng mình tìm ra đc cách tổng quát hơn cho bài này. Hix nhưng vẫn ko thể tối ưu hóa bài này đc. vì cách của mình là tìm tất cả các tổ hợp r lọc tất cả để chọn tổ hợp phần tử ngắn nhất. Có điều làm vậy thì dung lượng mảng bộ nhớ lại ko cho phép. Quả thật làm mình rất băn khoăn, nên chọn pp như bạn hay làm theo tổng quát như mình, vì rõ ràng làm tổng quát mình chỉ chạy đến 600 là tràn mảng.Em rất muốn xin ý kiến của các anh chị thầy cô về chuyện này!

[11520673]

Bài của mình:

program Test3;
var
        dai,so,s:integer;
        daikq:longint;
        a,b:array [0..10000] of integer;
        kq:array [0..100000000] of integer;
{--------kiem tra so nguyen to----------------------------------}
function checknt(n:integer):boolean;
        var
                i:integer;
        begin
                checknt:=true;
                i:=2;
                while ((n mod i )<>0) and (i<=int(sqrt(n))) do i:=i+1;
                if i<=int(sqrt(n)) then checknt:=false;
        end;
{-------cac so ngto nho hon n-------------------------------------}
procedure solve(so:integer);
        var
                i,j:integer;
        begin
                j:=0;
                for i:=2 to so do
                        if checknt(i) then
                        begin
                                a[j]:=i;
                                j:=j+1;
                        end;
                dai:=j-1;
                for i:=0 to dai do b[i]:=0;

        end;

{-----------------xuat ket qua vao mang---------------------}
procedure xuatketqua;
        var
        i:integer;
        begin
                for i:=0 to dai do
                begin
                if b[i]=1 then
                        begin
                        kq[daikq]:=a[i];
                        inc(daikq);
                        end;
                end;
                inc(daikq);
                kq[daikq]:=0;
        end;
{------------------------------------------------------------}
procedure xuly(m:integer);
        var
                j:longint;
        begin
                for j:=m to dai do
                        if s+a[j]<=so then
                        begin
                                b[j]:=1;
                                s:=s+a[j];
                                if s=so then xuatketqua
                                else if j<dai-1 then xuly(j+1);
                                b[j]:=0;
                                s:=s-a[j];
                        end;
        end;
{---------------------------------------------------------}
procedure xetmang;
        var
                daimin,dem,i,kt,j:longint;
        begin
                dem:=0;
                daimin:=dai;
                for i:=0 to daikq-1 do
                        begin
                        if kq[i]<>0 then inc(dem)
                        else
                                begin
                                if dem<daimin then daimin:=dem;
                                dem:=0;
                                end;
                        end;
                dem:=0;
                for i:=0 to daikq-1 do
                        begin
                        if kq[i]<>0 then inc(dem)
                        else
                                begin
                                if dem=daimin then
                                begin
                                        kt:=i;
                                        for j:=kt-daimin to (kt-1) do write(kq[j],' ');
                                        writeln;
                                end;
                                dem:=0;
                                end;
                        end;
        end;
{-------------------------------------------------------------}
begin
        daikq:=0;
        s:=0;
        writeln('Phan tich so: ');
        readln(so);
       If so <=500 then
       if checknt(so) then writeln(so)
        else
        begin
                writeln('la tong cua: ');
                solve(so);
                xuly(0);
                xetmang;
        end
        else
        writeln('So qua lon');
        readln;
end.

[11520673]

Bài này là Tùng viết ngôn ngữ C# bằng visual studio 2010, lười làm 3 bài nên gộp 3 bài chung một project lun..
Chắc cũng không sai đề ^^ Thử kết quả thì cũng khả quan, mong sao không vướng lỗi gì, hì.. Bài 1 thì đề không nói rõ nên lúc đó cũng chỉ nghĩ đơn giản là dùng int thôi. Code hơi dài vì Tùng không biết thu mấy cái xét trường hợp ngoại lệ cho gọn hơn, các bạn thông cảm góp ý nhé. Chưa post code bao giờ không biết có đúng không, mình có file project đính kèm phía dưới bạn nào rảnh test giùm hak.
[ATTACH]1162[/ATTACH]

Hix tiếc là mình đọc vô C# ko hiểu gì cả =.= Bạn có thể nói rõ giải thuật bạn làm ko?

[11520612]

{gioi han inp <32767 va ket qua <30 so hang}
const fi = 'bai3.inp';
fo = 'bai3.out';
max= maxint;

var
f: text;
so: array[1..max] of boolean;
stack: array[1..maxint] of longint;
kq: array[1..max,1..50] of longint;
x,t,tmin,skq: longint;

procedure nhap;
begin
assign(f,fi);
reset(f);
readln(f,x);
close(f);
end;

procedure khoitaoso;
var
i,j: longint;
check: boolean;
begin
so[1]:=false;
for i:=2 to x do so[i]:=false;
for i:=2 to x do
begin
check:=true;
for j:=2 to round(sqrt(i)) do if i mod j =0 then begin check:=false; break; end;
if check then so[i]:=true;
end;
tmin:=maxlongint;
t:=0;
for i:=1 to 50 do stack[i]:=0;
for i:=1 to x do
for j:=1 to 50 do kq[i,j]:=0;
t:=1;
end;

procedure luu;
var
i,j: integer;
begin
i:=1;
repeat
if stack[i]=0 then exit;
kq[skq,i]:=stack[i];
inc(i);
until false;
end;

procedure xuly(y,v: longint);
var
i: longint;
begin
if y=1 then exit;
stack[v]:=y;
if t>tmin then exit;
if (so[y]=false) and (t=tmin) then exit;
if (so[y]) and (t<tmin) and (t>1) then
begin
tmin:=t;
skq:=1;
luu;
exit;
end else
if (so[y]) and (t=tmin) then
begin
inc(skq);
luu;
exit;
end;
for i:=y downto 1 do
begin
if (so[i]) and (i<>x) then
begin
if y-i <= y div 2 then
begin
y:=y-i;
stack[v]:=i;
inc(t);
xuly(y,t);
dec(t);
y:=y+i;
end;
end;
end;
end;

procedure xuat;
var
i,j: longint;
begin
assign(f,fo);
rewrite(f);
writeln(f,skq);
for i:=1 to skq do
begin
for j:=1 to tmin do
begin
write(f,kq[i,j]);
if j<tmin then write(f,'+');
end;
writeln(f);
end;
close(f);
end;

begin
nhap;
khoitaoso;
xuly(x,1);
xuat;
end.


mình mạo muội post code bài 3 lên thử, các pro góp ý cho mình với :d mình chỉ biết pascal nên đây là bản 2.2.0.

[07520004]

Bạn nói vậy là hơi quá rồi. Đề bài có yêu cầu rõ giới hạn và thời gian chạy test như đề của những cuộc thi lớn đâu.

Không giới hạn có nghĩa là phải đúng trong mọi trường hợp. Bài toán phát biểu càng mơ hồ càng khó giải quyết chứ không phải nó không giới hạn tức là nó dễ đâu =))

Vấn đề là code của bạn Hoàng ra đúng đáp số.

Theo lập luận của em thì đây không phải là đề các cuộc thi lớn nên làm gì có bộ đáp số mẫu mà biết là đúng

[11520673]

gì khó đâu trời! đọc xuống thấy bạn đó chạy for 2 lần, xong chạy for 3 lần.! Pascal có for phải ko =.= Hix bạn thử đọc xem! Tuy mình ko biết python và c nhưng đọc chẳng lẽ ko hiểu?

thứ 2: chuyện tối ưu mình công nhận cách mình ko tối ưu! Nhưng nó tổng quát! Vì vậy mình mới muốn xin ý kiến anh chị và thầy cô để nên làm cách nào ??

Thứ 3: tuy test ko yêu cầu gì nhưng sao mấy bạn lại chỉ nghĩ đến việc test thôi nhỉ! Đã làm thì phải làm cho kỹ hết chứ! Phải bảo đảm chứ??

[11520612]

Thứ 3: tuy test ko yêu cầu gì nhưng sao mấy bạn lại chỉ nghĩ đến việc test thôi nhỉ! Đã làm thì phải làm cho kỹ hết chứ! Phải bảo đảm chứ??

MÌnh đồng ý, yêu cầu khi code là max test nên giới hạn dữ liệu là rất quan trọng, trong mọi kì thi đều có giới hạn. Khi đề bài không yêu cầu giới hạn nghĩa là phải làm bài hết khả năng để có thể xử lý đc lượng test lớn nhất có thế.