log_ipm_n2_aes.log

Magma V2.23-4     Wed Feb 23 2022 01:05:58 on magma    [Seed = 1344751742]
Type ? for help.  Type <Ctrl>-D to quit.

Loading file "ipm_n2_aes.m"
Irreducible Polynomial P<X> =  X^8 + X^4 + X^3 + X + 1
--------------------- Main program -----------------------
--------------------- IPM with n=2 -----------------------
i =  1
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 8>, <4, 28>, <6, 56>, <8, 70> ]
i =  2
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 5>, <3, 6>, <4, 13>, <5, 24> ]
i =  3
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 8>, <5, 14>, <6, 26> ]
i =  4
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 3>, <3, 7>, <4, 11>, <5, 24> ]
i =  5
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 10>, <5, 16>, <6, 20> ]
i =  6
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 10>, <5, 16>, <6, 20> ]
i =  7
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 8>, <5, 20>, <6, 24>, <7, 45> ]
i =  8
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 6>, <4, 10>, <5, 24> ]
i =  9
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 8>, <5, 13>, <6, 28> ]
i =  10
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 9>, <5, 19>, <6, 22> ]
i =  11
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 21>, <6, 33>, <7, 40> ]
i =  12
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 10>, <5, 12>, <6, 24> ]
i =  13
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 10>, <5, 12>, <6, 36>, <7, 37> ]
i =  14
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 18>, <6, 30> ]
i =  15
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 19>, <6, 29> ]
i =  16
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 5>, <4, 11>, <5, 20> ]
i =  17
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 3>, <4, 3>, <5, 14> ]
i =  18
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 9>, <5, 14>, <6, 30> ]
i =  19
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 13>, <6, 34> ]
i =  20
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 9>, <5, 25>, <6, 20> ]
i =  21
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 11>, <6, 29> ]
i =  22
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 8>, <5, 23>, <6, 24>, <7, 40> ]
i =  23
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  24
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 10>, <5, 12>, <6, 28> ]
i =  25
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 13>, <6, 27> ]
i =  26
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 9>, <5, 16>, <6, 28>, <7, 46> ]
i =  27
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 19>, <6, 28>, <7, 52> ]
i =  28
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 20>, <6, 31> ]
i =  29
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 17>, <5, 7>, <6, 48>, <7, 36> ]
i =  30
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 4>, <5, 14>, <6, 34> ]
i =  31
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 5>, <5, 24>, <6, 31>, <7, 38> ]
i =  32
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 13>, <5, 20>, <6, 29> ]
i =  33
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 6>, <5, 15>, <6, 30> ]
i =  34
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 2>, <4, 5>, <5, 11> ]
i =  35
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 3>, <4, 7>, <5, 20> ]
i =  36
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 8>, <5, 20>, <6, 32>, <7, 44> ]
i =  37
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 13>, <6, 36>, <7, 56> ]
i =  38
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 3>, <5, 16>, <6, 36> ]
i =  39
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 6>, <4, 5>, <5, 12> ]
i =  40
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 8>, <5, 22>, <6, 24> ]
i =  41
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 9>, <5, 19>, <6, 22> ]
i =  42
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 15>, <6, 29> ]
i =  43
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 11>, <6, 29> ]
i =  44
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 10>, <5, 18>, <6, 24> ]
i =  45
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 4>, <5, 14>, <6, 36> ]
i =  46
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  47
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 15>, <6, 34>, <7, 50> ]
i =  48
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 10>, <5, 18>, <6, 24> ]
i =  49
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 20>, <6, 29> ]
i =  50
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 6>, <5, 16>, <6, 28> ]
i =  51
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 22>, <6, 32>, <7, 44> ]
i =  52
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 18>, <6, 30> ]
i =  53
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 11>, <6, 46>, <7, 42> ]
i =  54
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 22>, <6, 32>, <7, 44> ]
i =  55
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 4>, <5, 15>, <6, 34> ]
i =  56
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 21>, <6, 30> ]
i =  57
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 11>, <6, 46>, <7, 42> ]
i =  58
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 13>, <5, 20>, <6, 29> ]
i =  59
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 26>, <6, 30>, <7, 34> ]
i =  60
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 1>, <4, 3>, <5, 10> ]
i =  61
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 12>, <6, 34> ]
i =  62
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 18>, <6, 33>, <7, 48> ]
i =  63
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 13>, <6, 27> ]
i =  64
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 17>, <5, 7>, <6, 48>, <7, 36> ]
i =  65
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 24>, <6, 30>, <7, 38> ]
i =  66
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 4>, <5, 15>, <6, 34> ]
i =  67
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 19>, <6, 29> ]
i =  68
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 4>, <5, 14>, <6, 36> ]
i =  69
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 20>, <6, 29> ]
i =  70
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 3>, <4, 7>, <5, 20> ]
i =  71
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 7>, <5, 16>, <6, 25> ]
i =  72
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 5>, <5, 26>, <6, 34>, <7, 34> ]
i =  73
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 6>, <5, 15>, <6, 32> ]
i =  74
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 16>, <6, 34>, <7, 54> ]
i =  75
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 13>, <6, 34> ]
i =  76
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 12>, <6, 32> ]
i =  77
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 13>, <6, 36>, <7, 56> ]
i =  78
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 5>, <4, 4>, <5, 16> ]
i =  79
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 8>, <5, 13>, <6, 28> ]
i =  80
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 18>, <6, 30> ]
i =  81
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  82
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 10>, <5, 16>, <6, 20> ]
i =  83
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 8>, <5, 10>, <6, 26> ]
i =  84
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 12>, <6, 32> ]
i =  85
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 8>, <5, 20>, <6, 32>, <7, 44> ]
i =  86
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 12>, <6, 26> ]
i =  87
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 5>, <4, 5>, <5, 14>, <6, 33> ]
i =  88
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 10>, <5, 12>, <6, 28> ]
i =  89
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 18>, <6, 33>, <7, 48> ]
i =  90
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 2>, <4, 5>, <5, 11> ]
i =  91
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 1>, <5, 13>, <6, 42> ]
i =  92
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  93
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 14>, <6, 34> ]
i =  94
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 16>, <6, 28> ]
i =  95
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  96
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 8>, <5, 23>, <6, 24>, <7, 40> ]
i =  97
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 16>, <6, 28> ]
i =  98
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 21>, <6, 25>, <7, 44> ]
i =  99
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 18>, <6, 34> ]
i =  100
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 6>, <5, 15>, <6, 32> ]
i =  101
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 6>, <5, 10>, <6, 32> ]
i =  102
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 22>, <6, 32>, <7, 44> ]
i =  103
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 19>, <6, 29> ]
i =  104
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 6>, <5, 15>, <6, 27> ]
i =  105
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 7>, <5, 16>, <6, 25> ]
i =  106
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 4>, <5, 12>, <6, 39> ]
i =  107
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 20>, <6, 34>, <7, 42> ]
i =  108
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 22>, <6, 32>, <7, 44> ]
i =  109
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 9>, <5, 13>, <6, 30>, <7, 54> ]
i =  110
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 6>, <5, 15>, <6, 30> ]
i =  111
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 26>, <6, 30>, <7, 34> ]
i =  112
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 19>, <6, 34> ]
i =  113
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 9>, <5, 13>, <6, 40> ]
i =  114
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 3>, <5, 20>, <6, 36> ]
i =  115
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 3>, <4, 3>, <5, 14> ]
i =  116
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 5>, <4, 11>, <5, 20> ]
i =  117
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 8>, <5, 18>, <6, 26> ]
i =  118
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 21>, <6, 32> ]
i =  119
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 1>, <4, 3>, <5, 10> ]
i =  120
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 1>, <4, 3>, <5, 10> ]
i =  121
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 19>, <6, 34> ]
i =  122
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 15>, <6, 30> ]
i =  123
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 10>, <5, 16>, <6, 20> ]
i =  124
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 17>, <6, 31> ]
i =  125
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 19>, <6, 28>, <7, 52> ]
i =  126
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 7>, <5, 10>, <6, 30> ]
i =  127
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 23>, <6, 28>, <7, 40> ]
i =  128
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 12>, <5, 12>, <6, 38>, <7, 46> ]
i =  129
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 7>, <5, 10>, <6, 30> ]
i =  130
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 23>, <6, 28>, <7, 40> ]
i =  131
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 12>, <5, 12>, <6, 38>, <7, 46> ]
i =  132
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 4>, <5, 17>, <6, 32> ]
i =  133
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 3>, <4, 3>, <5, 14> ]
i =  134
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 18>, <6, 29>, <7, 48> ]
i =  135
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 12>, <6, 26> ]
i =  136
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 15>, <6, 36> ]
i =  137
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 7>, <5, 10>, <6, 30> ]
i =  138
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 4>, <5, 21>, <6, 31> ]
i =  139
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 20>, <6, 29>, <7, 42> ]
i =  140
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 6>, <4, 6>, <5, 14> ]
i =  141
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 5>, <3, 6>, <4, 13>, <5, 24> ]
i =  142
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 8>, <5, 20>, <6, 24> ]
i =  143
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 5>, <4, 9>, <5, 12>, <6, 24> ]
i =  144
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 26>, <6, 30>, <7, 34> ]
i =  145
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 4>, <5, 12>, <6, 39> ]
i =  146
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 6>, <5, 16>, <6, 28> ]
i =  147
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 9>, <5, 13>, <6, 30>, <7, 54> ]
i =  148
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 16>, <6, 34>, <7, 54> ]
i =  149
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 4>, <5, 21>, <6, 31> ]
i =  150
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 4>, <5, 17>, <6, 32> ]
i =  151
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 3>, <5, 20>, <6, 36> ]
i =  152
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 15>, <6, 29> ]
i =  153
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 9>, <5, 25>, <6, 20> ]
i =  154
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 16>, <6, 36>, <7, 48> ]
i =  155
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 15>, <6, 36> ]
i =  156
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 4>, <4, 6>, <5, 18> ]
i =  157
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 9>, <5, 13>, <6, 28> ]
i =  158
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 7>, <5, 10>, <6, 30> ]
i =  159
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 16>, <6, 36>, <7, 48> ]
i =  160
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 13>, <6, 36> ]
i =  161
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 17>, <6, 31> ]
i =  162
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  163
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 5>, <5, 16>, <6, 32> ]
i =  164
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 5>, <4, 9>, <5, 12>, <6, 24> ]
i =  165
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  166
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 6>, <5, 10>, <6, 32> ]
i =  167
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 5>, <5, 26>, <6, 34>, <7, 34> ]
i =  168
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 3>, <5, 16>, <6, 36> ]
i =  169
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 21>, <6, 29> ]
i =  170
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 9>, <5, 14>, <6, 30> ]
i =  171
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 16>, <6, 34>, <7, 54> ]
i =  172
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 9>, <5, 8>, <6, 38> ]
i =  173
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 4>, <5, 23>, <6, 34> ]
i =  174
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 6>, <5, 15>, <6, 29> ]
i =  175
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 21>, <6, 25>, <7, 44> ]
i =  176
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 10>, <5, 12>, <6, 24> ]
i =  177
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 3>, <5, 19>, <6, 38> ]
i =  178
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 5>, <5, 24>, <6, 31>, <7, 38> ]
i =  179
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 16>, <6, 30>, <7, 54> ]
i =  180
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 3>, <4, 3>, <5, 14> ]
i =  181
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 8>, <5, 18>, <6, 26> ]
i =  182
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 1>, <4, 3>, <5, 10> ]
i =  183
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 9>, <5, 13>, <6, 40> ]
i =  184
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 4>, <5, 20>, <6, 38>, <7, 42> ]
i =  185
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 8>, <5, 20>, <6, 24> ]
i =  186
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 21>, <6, 32> ]
i =  187
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 12>, <6, 34> ]
i =  188
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 19>, <6, 29> ]
i =  189
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 19>, <6, 29> ]
i =  190
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 18>, <6, 29>, <7, 48> ]
i =  191
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 5>, <4, 5>, <5, 14>, <6, 33> ]
i =  192
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 21>, <6, 33>, <7, 40> ]
i =  193
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 8>, <5, 22>, <6, 24> ]
i =  194
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 15>, <6, 34>, <7, 50> ]
i =  195
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 5>, <5, 16>, <6, 32> ]
i =  196
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 9>, <5, 12>, <6, 38>, <7, 38> ]
i =  197
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 3>, <5, 15>, <6, 36> ]
i =  198
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 18>, <6, 31>, <7, 46> ]
i =  199
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 19>, <6, 29> ]
i =  200
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 21>, <6, 29> ]
i =  201
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 6>, <4, 5>, <5, 12> ]
i =  202
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 8>, <5, 10>, <6, 26> ]
i =  203
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 3>, <3, 7>, <4, 11>, <5, 24> ]
i =  204
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 19>, <6, 28>, <7, 52> ]
i =  205
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 7>, <5, 9>, <6, 31> ]
i =  206
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 9>, <5, 8>, <6, 38> ]
i =  207
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 2>, <4, 4>, <5, 18> ]
i =  208
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 15>, <6, 30> ]
i =  209
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 8>, <5, 20>, <6, 24>, <7, 45> ]
i =  210
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 4>, <4, 6>, <5, 15>, <6, 29> ]
i =  211
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 18>, <6, 34> ]
i =  212
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 3>, <5, 15>, <6, 36> ]
i =  213
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 20>, <6, 34> ]
i =  214
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 20>, <6, 36> ]
i =  215
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 1>, <4, 6>, <5, 20> ]
i =  216
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 16>, <6, 34>, <7, 54> ]
i =  217
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 20>, <6, 29>, <7, 42> ]
i =  218
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 9>, <5, 12>, <6, 38>, <7, 38> ]
i =  219
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 20>, <6, 34> ]
i =  220
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 9>, <5, 13>, <6, 28> ]
i =  221
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 16>, <6, 31> ]
i =  222
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 26>, <6, 30>, <7, 34> ]
i =  223
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 20>, <6, 34>, <7, 42> ]
i =  224
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 3>, <5, 19>, <6, 38> ]
i =  225
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 10>, <5, 12>, <6, 36>, <7, 37> ]
i =  226
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 5>, <5, 20>, <6, 36> ]
i =  227
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 14>, <6, 26> ]
i =  228
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 18>, <6, 31>, <7, 46> ]
i =  229
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 18>, <6, 30> ]
i =  230
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 2>, <4, 4>, <5, 18> ]
i =  231
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 4>, <5, 23>, <6, 34> ]
i =  232
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 6>, <4, 10>, <5, 24> ]
i =  233
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 5>, <4, 4>, <5, 16> ]
i =  234
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 1>, <4, 6>, <5, 20> ]
i =  235
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 14>, <6, 26> ]
i =  236
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 7>, <5, 14>, <6, 34> ]
i =  237
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 7>, <5, 18>, <6, 30> ]
i =  238
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 4>, <5, 14>, <6, 34> ]
i =  239
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 7>, <5, 16>, <6, 30>, <7, 54> ]
i =  240
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 1>, <5, 13>, <6, 42> ]
i =  241
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 3>, <4, 7>, <5, 20> ]
i =  242
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 21>, <6, 30> ]
i =  243
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 1>, <4, 6>, <5, 18>, <6, 30> ]
i =  244
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 6>, <5, 15>, <6, 27> ]
i =  245
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 3>, <4, 7>, <5, 20> ]
i =  246
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 6>, <4, 8>, <5, 14>, <6, 26> ]
i =  247
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 1>, <3, 6>, <4, 6>, <5, 14> ]
i =  248
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 16>, <6, 31> ]
i =  249
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <2, 2>, <3, 4>, <4, 6>, <5, 18> ]
i =  250
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 19>, <6, 28>, <7, 52> ]
i =  251
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 13>, <6, 36> ]
i =  252
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 3>, <4, 7>, <5, 9>, <6, 31> ]
i =  253
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 9>, <5, 16>, <6, 28>, <7, 46> ]
i =  254
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <4, 6>, <5, 24>, <6, 30>, <7, 38> ]
i =  255
WD dual D (word):  [ <0, 1>, <2, 255> ]
WD dual D  (bit):  [ <0, 1>, <3, 2>, <4, 5>, <5, 20>, <6, 31> ]

Total time: 0.520 seconds, Total memory usage: 32.09MB