THETAPRIME(t,n) pour n <= 6 et 0 <= t <= 2^(n-1) "******************* n=", 2, " **********************" "t=", 0, [1] "t=", 1, [5] "t=", 2, [] "******************* n=", 3, " **********************" "t=", 0, [1] "t=", 1, [21, 13, 5] "t=", 2, [17] "t=", 3, [21, 13] "t=", 4, [] "******************* n=", 4, " **********************" "t=", 0, [1] "t=", 1, [85, 77, 53, 21, 13, 5] "t=", 2, [81, 49, 25, 33, 17] "t=", 3, [85, 77, 53, 69, 29] "t=", 4, [65] "t=", 5, [85, 77, 53, 69, 29, 21, 13] "t=", 6, [81, 49, 25, 33] "t=", 7, [85, 77, 53] "t=", 8, [] "******************* n=", 5, " **********************" "t=", 0, [1] "t=", 1, [341, 333, 309, 213, 205, 85, 77, 53, 21, 13, 5] "t=", 2, [337, 305, 209, 281, 289, 121, 105, 145, 129, 73, 49, 65, 25, 33, 17] "t=", 3, [341, 333, 309, 213, 205, 325, 285, 125, 197, 277, 269, 109, 93, 77, 53, 45, 37] "t=", 4, [321, 193, 97, 129, 81, 73, 65] "t=", 5, [341, 333, 309, 213, 205, 325, 285, 125, 197, 117, 109, 93, 85] "t=", 6, [337, 305, 209, 281, 289, 121, 273, 113, 105, 145, 89, 97, 57, 129, 73, 49, 41] "t=", 7, [341, 333, 309, 213, 205, 277, 269, 117, 261, 93, 61, 85, 77, 69] "t=", 8, [257] "t=", 9, [341, 333, 309, 213, 205, 277, 269, 117, 261, 93, 61, 53, 69] "t=", 10, [337, 305, 209, 281, 289, 121, 273, 113, 105, 145, 89, 97, 57, 129, 81, 73, 41, 25, 33] "t=", 11, [341, 333, 309, 213, 205, 325, 285, 125, 197, 117, 109, 93, 77, 53, 69, 29, 21, 13] "t=", 12, [321, 193, 97, 129, 81, 73] "t=", 13, [341, 333, 309, 213, 205, 325, 285, 125, 197, 277, 269, 109, 93, 85, 45, 69, 29, 37] "t=", 14, [337, 305, 209, 281, 289, 121, 105, 145, 129, 81, 73, 65] "t=", 15, [341, 333, 309, 213, 205] "t=", 16, [] "******************* n=", 6, " **********************" "t=", 0, [1] "t=", 1, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 341, 333, 309, 213, 205, 85, 77, 53, 21, 13, 5] "t=", 2, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1129, 1169, 497, 489, 1153, 1105, 1097, 425, 593, 561, 1089, 409, 249, 537, 545, 401, 393, 241, 529, 513, 297, 209, 281, 121, 273, 105, 145, 257, 129, 73, 49, 65, 25, 33, 17] "t=", 3, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1301, 1293, 1133, 493, 789, 781, 1117, 445, 1109, 1069, 1093, 1053, 1061, 381, 373, 365, 397, 245, 237, 357, 317, 389, 341, 333, 309, 301, 213, 285, 293, 165, 269, 109, 141, 261, 93, 133, 77, 53, 45, 37] "t=", 4, [1345, 1217, 833, 1121, 1153, 481, 1105, 1097, 465, 457, 417, 577, 369, 361, 401, 393, 241, 233, 345, 353, 385, 217, 225, 513, 177, 169, 289, 121, 153, 273, 265, 113, 97, 81, 73, 65] "t=", 5, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1141, 1133, 501, 493, 1117, 445, 1101, 1077, 437, 1093, 1053, 253, 1045, 1037, 373, 237, 317, 189, 309, 301, 213, 205, 181, 325, 293, 197, 157, 277, 269, 117, 109, 141, 101] "t=", 6, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1297, 1137, 1129, 1169, 489, 785, 1113, 1121, 1081, 1153, 473, 481, 1105, 1097, 1065, 425, 593, 561, 1049, 1057, 377, 417, 249, 537, 545, 369, 241, 353, 217, 225, 185, 513, 337, 329, 297, 209, 177, 169, 321, 289, 161, 265, 137] "t=", 7, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1301, 1293, 1141, 501, 789, 781, 1285, 1117, 1085, 477, 773, 1077, 469, 461, 437, 1093, 373, 365, 237, 349, 357, 389, 221, 229, 189, 333, 301, 213, 205, 181, 325, 125, 197, 157, 141, 261, 93, 101, 85] "t=", 8, [1281, 769, 385, 513, 321, 289, 273, 265, 257] "t=", 9, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1301, 1293, 1141, 501, 789, 781, 1285, 1117, 1085, 477, 773, 1109, 1101, 437, 1093, 373, 365, 237, 349, 357, 389, 221, 229, 189, 341, 309, 301, 325, 125, 197, 157, 109, 149, 261, 93, 61, 53, 69] "t=", 10, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1297, 1137, 1129, 1169, 489, 785, 1113, 1121, 1081, 1153, 473, 481, 1097, 1073, 1065, 465, 425, 593, 561, 417, 537, 545, 369, 361, 401, 233, 353, 385, 217, 225, 185, 513, 297, 209, 289, 273, 265, 257] "t=", 11, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1141, 1133, 501, 493, 1117, 445, 1109, 469, 461, 437, 381, 453, 373, 365, 349, 317, 333, 325] "t=", 12, [1345, 1217, 833, 1121, 1153, 481, 1105, 1097, 465, 457, 1089, 449, 417, 577, 369, 361, 401, 393, 241, 233, 345, 217, 513, 337, 329, 209, 201, 177, 169, 289, 121, 153, 161, 273, 265, 105, 145, 137, 257, 89, 97] "t=", 13, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1301, 1293, 1133, 493, 789, 781, 1117, 445, 1101, 1077, 1069, 469, 461, 1061, 453, 253, 397, 349, 357, 317, 389, 189, 333, 309, 301, 205, 285, 293, 125, 197, 157, 165, 277, 109, 149, 261, 93, 85, 45, 69, 29, 37] "t=", 14, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1129, 1169, 497, 489, 1153, 1097, 1073, 465, 425, 593, 561, 1089, 1049, 1057, 377, 409, 537, 545, 1041, 369, 361, 393, 241, 233, 529, 345, 353, 313, 385, 217, 225, 513, 337, 329, 209, 177, 169, 289, 153, 113, 105, 145, 97, 129] "t=", 15, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1109, 1101, 1077, 469, 461, 1045, 1037, 373, 245, 1029, 349, 317, 221, 309, 213, 205, 325, 277, 269, 261] "t=", 16, [1025] "t=", 17, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1109, 1101, 1077, 469, 461, 1045, 1037, 373, 245, 1029, 349, 317, 221, 341, 333, 325, 277, 269, 261] "t=", 18, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1129, 1169, 497, 489, 1153, 1097, 1073, 465, 425, 593, 561, 1089, 1049, 1057, 377, 409, 537, 545, 1041, 369, 361, 393, 241, 233, 529, 345, 353, 313, 385, 217, 225, 513, 329, 305, 177, 169, 281, 121, 153, 113, 97, 81, 73, 65] "t=", 19, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1301, 1293, 1133, 493, 789, 781, 1117, 445, 1101, 1077, 1069, 469, 461, 1061, 453, 253, 397, 349, 357, 317, 389, 189, 341, 301, 213, 325, 293, 157, 165, 269, 149, 261] "t=", 20, [1345, 1217, 833, 1121, 1153, 481, 1105, 1097, 465, 457, 1089, 449, 417, 577, 369, 361, 401, 393, 241, 233, 345, 217, 513, 337, 329, 209, 201, 177, 169, 321, 289, 121, 193, 153, 161, 273, 265, 105, 145, 137, 257, 89, 129, 81, 73] "t=", 21, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1141, 1133, 501, 493, 1117, 445, 1109, 469, 461, 437, 381, 453, 373, 365, 349, 317, 341, 309, 213, 205, 285, 125, 197, 117, 109, 93, 77, 53, 69, 29, 21, 13] "t=", 22, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1297, 1137, 1129, 1169, 489, 785, 1113, 1121, 1081, 1153, 473, 481, 1097, 1073, 1065, 465, 425, 593, 561, 417, 537, 545, 369, 361, 401, 233, 353, 385, 217, 225, 185, 513, 337, 305, 297, 281, 121, 265, 113, 105, 145, 257, 89, 97, 57, 129, 81, 73, 41, 25, 33] "t=", 23, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1301, 1293, 1141, 501, 789, 781, 1285, 1117, 1085, 477, 773, 1109, 1101, 437, 1093, 373, 365, 237, 349, 357, 389, 221, 229, 189, 333, 301, 213, 205, 325, 125, 197, 157, 277, 269, 117, 109, 149] "t=", 24, [1281, 769, 385, 513, 321, 289, 273, 265] "t=", 25, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1301, 1293, 1141, 501, 789, 781, 1285, 1117, 1085, 477, 773, 1077, 469, 461, 437, 1093, 373, 365, 237, 349, 357, 389, 221, 229, 189, 341, 309, 301, 181, 325, 125, 197, 157, 277, 269, 117, 141, 101, 61, 77, 69] "t=", 26, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1297, 1137, 1129, 1169, 489, 785, 1113, 1121, 1081, 1153, 473, 481, 1105, 1097, 1065, 425, 593, 561, 1049, 1057, 377, 417, 249, 537, 545, 369, 241, 353, 217, 225, 185, 513, 329, 305, 297, 177, 169, 321, 281, 121, 161, 273, 265, 113, 105, 145, 137, 89, 97, 57, 129, 73, 49, 41] "t=", 27, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1141, 1133, 501, 493, 1117, 445, 1101, 1077, 437, 1093, 1053, 253, 1045, 1037, 373, 237, 317, 189, 341, 333, 301, 181, 285, 293, 125, 157, 277, 269, 141, 93, 101, 85] "t=", 28, [1345, 1217, 833, 1121, 1153, 481, 1105, 1097, 465, 457, 417, 577, 369, 361, 401, 393, 241, 233, 345, 353, 385, 217, 225, 513, 177, 169, 321, 289, 121, 193, 153, 273, 265, 113, 129] "t=", 29, [1365, 1357, 1333, 1237, 1229, 853, 845, 821, 1349, 1309, 1149, 1221, 509, 837, 797, 1301, 1293, 1133, 493, 789, 781, 1117, 445, 1109, 1069, 1093, 1053, 1061, 381, 373, 365, 397, 245, 237, 357, 317, 389, 301, 205, 325, 293, 125, 197, 165, 277, 141, 261, 133] "t=", 30, [1361, 1329, 1233, 849, 817, 1305, 1313, 1145, 505, 793, 801, 1129, 1169, 497, 489, 1153, 1105, 1097, 425, 593, 561, 1089, 409, 249, 537, 545, 401, 393, 241, 529, 513, 337, 305, 297, 289, 273, 257] "t=", 31, [1365, 1357, 1333, 1237, 1229, 853, 845, 821] "t=", 32, []