THETA(t,n) pour n <= 6 et 0 <= t <= 2^(n-1) "******************* n=", 2, " **********************" "t=", 0, [1] "t=", 1, [3] "t=", 2, [] "******************* n=", 3, " **********************" "t=", 0, [1] "t=", 1, [11, 3] "t=", 2, [9] "t=", 3, [11] "t=", 4, [] "******************* n=", 4, " **********************" "t=", 0, [1] "t=", 1, [43, 11, 3] "t=", 2, [41, 25, 17, 9] "t=", 3, [43, 35, 19] "t=", 4, [33] "t=", 5, [43, 35, 19, 11] "t=", 6, [41, 25, 17] "t=", 7, [43] "t=", 8, [] "******************* n=", 5, " **********************" "t=", 0, [1] "t=", 1, [171, 43, 11, 3] "t=", 2, [169, 153, 105, 145, 57, 73, 41, 65, 25, 17, 9] "t=", 3, [171, 163, 147, 139, 59, 83, 75, 51, 43, 67, 27, 19] "t=", 4, [161, 97, 49, 41, 65, 33] "t=", 5, [171, 163, 147, 59, 83, 51, 67] "t=", 6, [169, 153, 105, 145, 137, 73, 49, 41, 65, 33] "t=", 7, [171, 139, 131, 75, 51, 43, 67] "t=", 8, [129] "t=", 9, [171, 139, 131, 75, 51, 67] "t=", 10, [169, 153, 105, 145, 137, 73, 49, 65, 25, 33, 17] "t=", 11, [171, 163, 147, 59, 83, 51, 43, 67, 35, 19, 11] "t=", 12, [161, 97, 49, 41, 65] "t=", 13, [171, 163, 147, 139, 59, 83, 75, 51, 67, 27, 35] "t=", 14, [169, 153, 105, 145, 57, 73, 65] "t=", 15, [171] "t=", 16, [] "******************* n=", 6, " **********************" "t=", 0, [1] "t=", 1, [683, 171, 43, 11, 3] "t=", 2, [681, 665, 617, 657, 569, 425, 585, 409, 577, 401, 233, 297, 169, 281, 153, 273, 265, 105, 145, 257, 57, 73, 41, 65, 25, 17, 9] "t=", 3, [683, 675, 659, 651, 571, 595, 587, 563, 579, 539, 547, 243, 315, 219, 187, 339, 331, 307, 211, 171, 323, 283, 291, 123, 163, 275, 267, 59, 83, 75, 51, 43, 67, 27, 19] "t=", 4, [673, 609, 561, 553, 417, 577, 241, 233, 185, 209, 201, 289, 121, 193, 145, 137, 257, 89, 81, 49, 41, 65, 33] "t=", 5, [683, 675, 659, 571, 595, 563, 555, 579, 547, 243, 235, 531, 523, 315, 339, 307, 299, 203, 179, 171, 323, 291, 155, 267, 115, 107, 91, 99, 59, 83, 75, 51] "t=", 6, [681, 665, 617, 657, 649, 425, 585, 561, 409, 249, 577, 537, 545, 401, 393, 241, 233, 529, 185, 297, 209, 201, 169, 281, 121, 193, 153, 273, 105, 257, 89, 81, 73] "t=", 7, [683, 651, 643, 587, 563, 579, 235, 187, 331, 307, 203, 323, 155, 163, 267, 115, 259, 91, 99, 83] "t=", 8, [641, 385, 193, 161, 145, 137, 257, 129] "t=", 9, [683, 651, 643, 587, 563, 555, 579, 235, 187, 331, 307, 299, 203, 171, 323, 155, 163, 267, 115, 107, 259, 91, 99, 59, 83, 75, 51] "t=", 10, [681, 665, 617, 657, 649, 425, 585, 561, 553, 409, 249, 577, 545, 401, 393, 241, 297, 209, 169, 281, 121, 153, 273, 137, 257, 129] "t=", 11, [683, 675, 659, 571, 595, 563, 579, 243, 235, 315, 187, 339, 307, 211, 323, 195, 275] "t=", 12, [673, 609, 561, 553, 417, 577, 545, 241, 233, 225, 185, 209, 201, 177, 169, 289, 121, 113, 105, 145, 137, 257, 89, 57, 129, 73, 65] "t=", 13, [683, 675, 659, 651, 571, 595, 587, 563, 555, 579, 539, 243, 531, 315, 219, 339, 331, 307, 299, 179, 171, 323, 283, 123, 195, 163, 267, 115, 147, 139, 99, 59, 83, 75, 51, 67, 27, 35] "t=", 14, [681, 665, 617, 657, 569, 425, 585, 553, 409, 577, 537, 401, 529, 521, 297, 201, 177, 169, 281, 121, 193, 161, 273, 265, 113, 137, 257, 89, 129] "t=", 15, [683, 555, 523, 515, 299, 203, 179, 195, 267, 259] "t=", 16, [513] "t=", 17, [683, 555, 523, 515, 299, 203, 179, 171, 195, 267, 259] "t=", 18, [681, 665, 617, 657, 569, 425, 585, 553, 409, 577, 537, 401, 529, 521, 297, 201, 177, 281, 121, 193, 153, 161, 273, 265, 113, 105, 145, 137, 257, 89, 57, 129, 73, 65] "t=", 19, [683, 675, 659, 651, 571, 595, 587, 563, 555, 579, 539, 243, 531, 315, 219, 339, 331, 307, 299, 179, 323, 283, 123, 195, 267, 115, 99] "t=", 20, [673, 609, 561, 553, 417, 577, 545, 241, 233, 225, 185, 209, 201, 177, 169, 289, 121, 161, 113, 105, 145, 137, 257, 89, 97, 57, 129, 73, 49, 41] "t=", 21, [683, 675, 659, 571, 595, 563, 579, 243, 235, 315, 187, 339, 307, 211, 171, 323, 195, 163, 275, 147, 59, 83, 51, 43, 67, 35, 19, 11] "t=", 22, [681, 665, 617, 657, 649, 425, 585, 561, 553, 409, 249, 577, 545, 401, 393, 241, 297, 209, 281, 121, 273, 105, 145, 257, 129, 73, 49, 65, 25, 33, 17] "t=", 23, [683, 651, 643, 587, 563, 555, 579, 235, 187, 331, 307, 299, 203, 323, 155, 163, 267, 115, 107, 139, 259, 91, 99, 59, 131, 83, 67] "t=", 24, [641, 385, 193, 161, 145, 137, 257] "t=", 25, [683, 651, 643, 587, 563, 579, 235, 187, 331, 307, 203, 171, 323, 155, 163, 267, 115, 139, 259, 91, 99, 131, 83, 75, 51, 43, 67] "t=", 26, [681, 665, 617, 657, 649, 425, 585, 561, 409, 249, 577, 537, 545, 401, 393, 241, 233, 529, 185, 297, 209, 201, 281, 121, 193, 273, 145, 137, 257, 89, 81, 49, 41, 65, 33] "t=", 27, [683, 675, 659, 571, 595, 563, 555, 579, 547, 243, 235, 531, 523, 315, 339, 307, 299, 203, 179, 323, 291, 155, 163, 267, 115, 107, 147, 91, 99, 75, 67] "t=", 28, [673, 609, 561, 553, 417, 577, 241, 233, 185, 209, 201, 289, 121, 193, 161, 145, 137, 257, 89, 97, 81] "t=", 29, [683, 675, 659, 651, 571, 595, 587, 563, 579, 539, 547, 243, 315, 219, 187, 339, 331, 307, 211, 323, 283, 291, 123, 275, 267, 147, 139] "t=", 30, [681, 665, 617, 657, 569, 425, 585, 409, 577, 401, 233, 297, 281, 273, 265, 257] "t=", 31, [683] "t=", 32, []