Compact Two-Pattern Test Set Generation

¢©¨¦£¤©£¤ © © ©¢¡¤£¦¥¨§¦ £ ¥§ £¦ ©£ ©¨! ¡ £ "¥¨© )#% '&( )#) '&()#%(*¢ "¥¨© )#% '&( )#) '&()#%(*¢$¤-¨,/ ! #.¤- #§!¥$ &¤, - ! #($ ,- +¤. +¤. $/ + $/ $ -/ , !¤/ .$¤0¨, '¤-¨, &§!¨+ 0(! - ! #($ 0£$ ,. +£$ !¤/ $ !¤/ # -/ + !¤/ ,#£&£& '£'£$ '£$(! #§! - !¥$£$ +¥& .¨, '¥& !¤/ . !¤/ $ -/ ' !¤/ '#£&0 '¤.¤. '£$¤0 #+ - ! &£& +¨, +¤- '¥& !¤/ . !¤/ . -/ ' !¤/ +#¤,($ .¥&. '(!£! ! #(' - !¥$¤. ,¤, ,£& +¤- !¤/ , !¤/ 0 -/ , $/ !#¤,. .¤0¤- '£$¨, !¨.£$ - !¨.¤. !¥$£$ !£!¨- !¨-¤- $/ & $/ # !¤/ ! #/ $&-¤- .¨,¤, '¥#(' !¥'¥# - !¥$¥& +¨, +¤. +¤- !¤/ . !¤/ + -/ , $/ -&($¤-/ ! +¤.¤- .¥#£& !¥$¤. - $¤.¤. !,- !¨+¤- !¨.¨, $/ , #/ # $/ # !¨-/ $&£&£& +¤.¥& '¨,- !,£& - ! #. 0¨, 0¤- +¤- !¤/ + $/ ' !¤/ & $/ .'(!¨- 0£'¤. ,('¤0 0¤+ - $¥#£& !,- !¨+£$ ! &¤, #/ ! #/ # $/ # !¥$/ +'£$¤. 0¥&¤, .£'(! $¤0¤+ - $(! & !¨.£$ !¥'¤- !¥$¤- $/ + #/ ' $/ ' !£!¤/ ,'£$¤. 0¥&£& .£'(! $¤0¥# - $(!¥$ !¨.¥& !¥'¤. !¥$¤- $/ # #/ # $/ & 0/ -.¥&§! +¥#£& .¤0¤0 #(' - $¤+¨, +¤. +¤. .¥& $/ 0 $/ & !¤/ + #/ .+(! # 0(!, +¤+¤+ ! &§! - $¤.¤- +¨, +¤. .¥& #/ - $/ , $/ ! &/ &,($¤- !¥'¤+¥& ! #($(! $£'¥# - &£#($ $¨,- $¤+£$ $£$¨, 0/ ' 0/ + ,/ & &£&/ 0,£#($ !¨.(! & ! #($¥& $¤0¤- - &($¤. $¨,- $¤.¤. $£$¨, !¨-/ # !¨-/ # 0/ ' &£&/ $,£#¤,/ ! !¥'¤.¤- !¥$¤+¨, $¨,($ - '£$¨, #¤,($ #.¤- #('£$ 0/ - ! &/ . ! #/ ! +¨,/ $0£'¥# !¨+¥#¤, !¨.£'¥# ,(' - #0¤- $£'¨, $¥#. !¨+£$ ./ $ '/ 0 '/ & .(!¤/ $!£!¨0¤. $(!£!¨- $(!¨-¤+ # - .¤+¨, #0£$ #('¤- $¤+¤- '/ $ '/ + '/ & '¤+/ $!¥$¥#¤, $¥#§!¨. $£$¥#£# ,£# - +£$¤. &($¤- #+¨, $¨,- '/ ! ./ $ ./ 0 +(!¤/ &! &($¥# $£'(!¥$ $£$¥#+ $¤+£' - #0¤. !¨.¥& !¥'¨, 0£$ '/ ! !¨-/ + !£!¤/ ! #./ $! &¤,¤, $¤+¤+¤- $¥&¤,0 $¨,§! - &£&£& #§! & $¤0¨, $£'£$ !¨+/ ' !¨+/ 0 !,/ ! +£$/ -! &0¥& $¨,§!¨- $£'¤-£' #-£' - &.¨, #-£$ $¨,¤, $£'¤- $(!¤/ . $¤-/ + $(!¤/ - .¤0/ !'¥#+¨, .¤0¨,¤, .¥#.£' .£$¥# - !¨-¤+¤- #-¨, #-¥& $¥#. #§!¤/ & &0/ , '¤./ + $¥&($/ &0£$¥#£&/ ! !£! #($¨, 0¤+¤0¤+ !¥'(!¨. !¥' $¥#($¤- .¤-¨, .¤-£$ #('¥& !¨0¤-/ & +¤-£$/ & +£$¨,/ . #0¥&¤,/ #! #($¤-¤+/ ! !¥'¤.¤-£$ ! #.£'£' !¨0¥&- + $¥&('¨, +¥&- +(!¨. .¤-¥& $£'¨,/ ' 0£'£'/ ! !¨-¤-(!¤/ & #.¤0£'/ !!¥'¨,('¤-/ ! !¨0¤-¥&. !¨.¤-¥#§! #-(!£! & $(!¨.£$ &-¨, &-¨, #-¥& $¥#£#/ + !¨.¥&($/ . !¨+(!¨+/ ' &¤,($¤+/ +#('¤0¥#($ .¥#('¤-£$ '¥&('¤0¤0 ,0¤-¥# - $¤0¤- +¤- +¤- .¥& $£'£$/ ! &£#£#/ ! &£&('/ + '¤0£'¤-/ !#¤,£&§!¨+ &0¤+¥#¤, &¤,+£$¤0 !¨-¤-¤0 - '¤.£'¥& #¤,- #¤,- $¨,. ,.¥&/ 0 ! &-(!¤/ # ! &.¤+/ ! $¤+¥#¤,./ ,#¤,('¨,£&/ ! .(!¥$£'¥& '¤.¥#('¤- &¤,0£$ !¥$ &0¨,£& .£$¤. .£$¤. &§!¨. #('¥#£&/ + #-£'¤0/ $ #($¥&($/ 0 ,('£$¨,£&/ !¢©¨¦£¤©£¤ © © ©¢¡¤£¦¥¨§¦ £ ¥§ £¦ ©£ ©¨! ¡ £ "¥¨© )#% '&( )#) '&()#%(*¢ "¥¨© )#% '&( )#) '&()#%(*¢$¤-¨,/ ! $¨,(' !¨0¥# 0£$ - !£! & .¥& '¨, '¨, -/ + -/ , -/ + -/ 0$¤0¨, #.¥# $¥&£& !£!¨0 - !¨-¤- '¨, '¥& &($ -/ & -/ & -/ & !¤/ $#£&£& &($¤0 #+£' '¥& - ! #($ .¨, .¤. '¤- -/ ' -/ ' -/ ' !¤/ '#£&0 &£#£& #+¤. '¨, - !¥$¨, +¥& +¤- '£$ -/ & -/ ' -/ ' !¤/ .#¤,($ &.¥& #($£$ ! &($ - ,. +¤- .¨, '¥& -/ ' -/ + -/ + !¤/ ##¤,. '¤-¤. #('¤. !¥'¤- - ! &£& !¨-£$ 0£$ ,- !¤/ $ !¤/ $ !¤/ $ $/ #&-¤- &¤,. #($¥& !¨.£$ - 0£$ .¨, .£$ '¥& -/ ' -/ + -/ + !¤/ &&($¤-/ ! .¤-(! #¤,0 $(!¥$ - !¨0¥& ! &- ! #- ! #- !¤/ ! !¤/ . !¤/ . &/ $&£&£& '¥#£# #.(! !¨+£$ - !¨-¤. ,- +¤- '¨, -/ . -/ , -/ , !¤/ +'(!¨- .¥#(' '¤-(! ! #£& - !¨0¤- !¨.£$ ! &£& ! #¤, !¤/ . !¤/ + !¤/ , +/ ,'£$¤. .¥#¤, #£#($ #-¤. - ! &. !¨-¥& !¨-¤- 0¤. !¤/ $ !¤/ , !¤/ , ./ ,'£$¤. .¥#0 #£#($ #-¤+ - ! #£& !¨-¥& !¨-£$ 0¤. !¤/ $ !¤/ + !¤/ , ./ 0.¥&§! 0(!, ,£&0 .¤0 - $¤.£$ !¨-¨, !¨-¥& ,. !¤/ # !¤/ 0 !¤/ 0 &/ '+(! # 0¨,£& ,£&§! ! &£# - $¤.¤. !£!¨- !¨-¤. ,£& $/ # $/ $ $/ & &/ 0,($¤- !¨-¥&. +(!¨+ #($¤0 - #¤,- $¨,. $¤.¥& $¥#- &/ & &/ . &/ 0 #('/ ',£#($ !¨-£'¤. +(!¨- #£&. - #0¥& $¨,£& $£'¤. $¥#($ &/ $ &/ ' &/ ' #($/ 0,£#¤,/ ! !¥$¥#£# +¨,§! &('£$ - #0¨, $¤0£$ $¤+¤. $¤+¥& &/ ' ,/ ' ,/ . #§!¤/ $0£'¥# !£! #¤, !¨-(! # !¥$£' - &($£$ $¤+¨, $¥#. !,£& &/ ' &/ & &/ + &0/ 0!£!¨0¤. !¥'¥#¤, !¥'¥#£& & - +¤+¥& &£&- &§!¨. #§!¨- #/ - &/ ! &/ ' .£$/ '!¥$¥#¤, !¥'¥&0 ! &.¤0 ,- - ,-¤. &+¥& &£#($ #($¨, #/ + '/ ' '/ 0 +(!¤/ 0! &($¥# !,($(! ! &.¥# #('¨, - #.¥& !¨+¤. !¨.¨, !¨-¤- #/ ' ,/ ' ,/ , $¤0/ #! &¤,¤, $¤-¥&- !¥'¤0(! &£&0 - &£&- $¨,. $¤+¤- $¥&£& !£!¤/ ' !£!¤/ ' !£!¤/ 0 +¥&/ &! &0¥& $¤-¥&- !¥'¤+¤+ &.¥# - &($¥& $¤+¨, $¤.£$ $¥&¤, !¥$/ # !¥$/ - !¥$/ # .¨,/ .'¥#+¨, .¤0¤0(! .¥#£&£& .¥&(' $ !¥'(! & &§!¨. &§!¥$ #-¤- #./ $ .(!¤/ # .¤./ , #+¤-/ &0£$¥#£&/ ! ! #('¤.¨, !£!¥'£'(! $¤-¤-£' !¥$ $¥#£&£& .£'¤. .£'£$ &-£$ !¥'¤0/ ' '¥#($/ & '¤+¥&/ , #£#§!¨./ .! #($¤-¤+/ ! !¨0(!£!¨. !¨.(!¨+£$ $¤0¥&- & $¥#.¥& +¤0¥& +£'¥& .£'¨, $¥&£#/ ' !¨-£'¤+/ . !¨-¤0£$/ . #£#£#($/ !!¥'¨,('¤-/ ! $¥#£&§!¨+ !¨0£$¤0¤0 &§!£!¨. $ $¤-£'¥& &¤,£& &¤,- #.¤. $¤-¨,/ - ! #¤,('/ ' ! &+¤./ - &+¤.¤-/ '#('¤0¥#($ &£&£#£#£& #¤,.¤-¤. '¤+£$¨, - &£&¤, +¨, +¨, +¥& $(! #/ # #£#£&/ . #£&./ - '¨,£&-/ $#¤,£&§!¨+ '¥&($¤-¤+ '¤-¥&-£$ #¤,-£' - '¤+¤+¤- #¤,¤, #¤,. #§!¨- !¨-(!¨-/ ! !¥$¤0¤./ . ! #0¤-/ + $¨,£&-¤0/ ,#¤,('¨,£&/ ! '£$¤-¤-¤0 &£&£#+£$ +¤.¥#($ ' '£'(!, +£$¥& +£$£$ .¤-¥& #('¥&£&/ + &-¤.¤./ + &($¤+£'/ + ,+(! &($/ &Ÿ¸'þt ýÏ À*¿ ¸aµ4¢U À ž- '¡Qº¾ ¢U¡½ À ·©º¾t¾ ´ µ'¸až.Ï"t·Qµ4ºt¢U¡[º>ž>¹> 4·¢;»> Ÿ%·9¸až¡9t¢U À ž-©¸4º¾ ¢[œ À ¹> 4¾Ÿ¸'þt Ö%Ï À*¿ ¸aµ4¢U À ž- '¡Qº¾ ¢U¡[½ À ·©º¾t¾ ´ µ'¸až.Ï"t·Qµ4ºt¢U¡[º>ž>¹> 4·[¢;»> ´ ¢Uº>µ9¼*ÑQÐ[ 4ž ©¸4º¾ ¢[œ À ¹> 4¾