
"%03d => %d%d   %d%d%d%d%d%d\n",
  i,   v2_rf15,  (i3 = 0)
        v2_rf14,
            v2_rf17,
             v2_rf16,
              v1_rf14,
               v1_rf15,
                v1_rf16,
                 !v1_rf17

                         v2_rf15,  (i3 = 1)
                          v2_rf14

Version: i3 = 0       i3 = 1 
000 => 11   111111    => 11 
001 => 10   111110    => 10 
002 => 10   111101    => 10 
003 => 10   111100    => 10 
004 => 00   111011    => 00 
005 => 01   111010    => 01 
006 => 01   111001    => 01 
007 => 11   111000    => 10 
008 => 11   110111    => 10 
009 => 01   110110    => 10 
010 => 01   110101    => 10 
011 => 11   110100    => 01 
012 => 11   110011    => 01 
013 => 11   110010    => 11 
014 => 11   110001    => 01 
015 => 11   110000    => 11 
016 => 10   101111    => 10 
017 => 10   101110    => 10 
018 => 10   101101    => 10 
019 => 10   101100    => 10 
020 => 00   101011    => 00 
021 => 01   101010    => 01 
022 => 01   101001    => 01 
023 => 11   101000    => 10 
024 => 11   100111    => 10 
025 => 01   100110    => 10 
026 => 01   100101    => 10 
027 => 11   100100    => 01 
028 => 11   100011    => 01 
029 => 11   100010    => 11 
030 => 11   100001    => 01 
031 => 11   100000    => 11 
032 => 10   011111    => 10 
033 => 10   011110    => 10 
034 => 10   011101    => 10 
035 => 10   011100    => 10 
036 => 00   011011    => 00 
037 => 01   011010    => 01 
038 => 01   011001    => 01 
039 => 11   011000    => 10 
040 => 11   010111    => 10 
041 => 01   010110    => 10 
042 => 01   010101    => 10 
043 => 11   010100    => 01 
044 => 11   010011    => 01 
045 => 11   010010    => 11 
046 => 11   010001    => 01 
047 => 11   010000    => 11 
048 => 10   001111    => 10 
049 => 10   001110    => 10 
050 => 10   001101    => 10 
051 => 10   001100    => 10 
052 => 00   001011    => 00 
053 => 01   001010    => 01 
054 => 01   001001    => 01 
055 => 11   001000    => 10 
056 => 11   000111    => 10 
057 => 01   000110    => 10 
058 => 01   000101    => 10 
059 => 11   000100    => 01 
060 => 11   000011    => 01 
061 => 11   000010    => 11 
062 => 11   000001    => 01 
063 => 11   000000    => 11 
064 => 10   111111    => 10 
065 => 10   111110    => 10 
066 => 10   111101    => 10 
067 => 10   111100    => 10 
068 => 00   111011    => 00 
069 => 01   111010    => 01 
