TSTP Solution File: SWV485+2 by Refute---2015
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Refute---2015
% Problem : SWV485+2 : TPTP v6.4.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : isabelle tptp_refute %d %s
% Computer : n112.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32218.75MB
% OS : Linux 3.10.0-327.10.1.el7.x86_64
% CPULimit : 300s
% DateTime : Thu Apr 14 05:29:00 EDT 2016
% Result : Timeout 300.04s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03 % Problem : SWV485+2 : TPTP v6.4.0. Released v4.0.0.
% 0.00/0.04 % Command : isabelle tptp_refute %d %s
% 0.02/0.23 % Computer : n112.star.cs.uiowa.edu
% 0.02/0.23 % Model : x86_64 x86_64
% 0.02/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.02/0.23 % Memory : 32218.75MB
% 0.02/0.23 % OS : Linux 3.10.0-327.10.1.el7.x86_64
% 0.02/0.23 % CPULimit : 300
% 0.02/0.23 % DateTime : Fri Apr 8 15:50:24 CDT 2016
% 0.02/0.23 % CPUTime :
% 6.29/5.85 > val it = (): unit
% 7.00/6.56 Trying to find a model that refutes: EX A B C D E F G H I J K L M N O P X3 X2 X1 Q R S T U V W X Y Z A1 B1 C1 D1
% 7.00/6.56 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1 P1 Q1 R1.
% 7.00/6.56 bnd_p R1 Q1 P1 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U T
% 7.00/6.56 S R Q bnd_n1 X1 X2 X3 P O N M L K J I H G F E D C B A
% 12.91/12.43 Unfolded term: [| ALL X47 X46 X45 X44 X43 X42 X41 X40 X39 X38 X37 X36 X35 X34 X33 X32 X31
% 12.91/12.43 X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14
% 12.91/12.43 X13 X12 X11 X10 X9 X8 X7 X6 X5 X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p X0 X1 X2 X3 X4 X5 X6 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17
% 12.91/12.43 X18 X19 X20 X21 X22 X23 X24 X25 X26 X27 X28 X29 X30 X31 X32 X33 X34
% 12.91/12.43 X35 X36 X37 X38 X39 X40 X41 X42 X43 X44 X45 X46 X47 -->
% 12.91/12.43 ((((((((((((((((((((((((((((((((((((((((((((((~ (X0 = bnd_n1) =
% 12.91/12.43 (X0 = bnd_n0) &
% 12.91/12.43 ~ (X1 = bnd_n1) = (X1 = bnd_n0)) &
% 12.91/12.43 ~ (X2 = bnd_n1) = (X2 = bnd_n0)) &
% 12.91/12.43 ~ (X3 = bnd_n1) = (X3 = bnd_n0)) &
% 12.91/12.43 ~ (X4 = bnd_n1) = (X4 = bnd_n0)) &
% 12.91/12.43 ~ (X5 = bnd_n1) = (X5 = bnd_n0)) &
% 12.91/12.43 ~ (X6 = bnd_n1) = (X6 = bnd_n0)) &
% 12.91/12.43 ~ (X7 = bnd_n1) = (X7 = bnd_n0)) &
% 12.91/12.43 ~ (X8 = bnd_n1) = (X8 = bnd_n0)) &
% 12.91/12.43 ~ (X9 = bnd_n1) = (X9 = bnd_n0)) &
% 12.91/12.43 ~ (X10 = bnd_n1) = (X10 = bnd_n0)) &
% 12.91/12.43 ~ (X11 = bnd_n1) = (X11 = bnd_n0)) &
% 12.91/12.43 ~ (X12 = bnd_n1) = (X12 = bnd_n0)) &
% 12.91/12.43 ~ (X13 = bnd_n1) = (X13 = bnd_n0)) &
% 12.91/12.43 ~ (X14 = bnd_n1) = (X14 = bnd_n0)) &
% 12.91/12.43 ~ (X15 = bnd_n1) = (X15 = bnd_n0)) &
% 12.91/12.43 ~ (X16 = bnd_n1) = (X16 = bnd_n0)) &
% 12.91/12.43 ~ (X17 = bnd_n1) = (X17 = bnd_n0)) &
% 12.91/12.43 ~ (X18 = bnd_n1) = (X18 = bnd_n0)) &
% 12.91/12.43 ~ (X19 = bnd_n1) = (X19 = bnd_n0)) &
% 12.91/12.43 ~ (X20 = bnd_n1) = (X20 = bnd_n0)) &
% 12.91/12.43 ~ (X21 = bnd_n1) = (X21 = bnd_n0)) &
% 12.91/12.43 ~ (X22 = bnd_n1) = (X22 = bnd_n0)) &
% 12.91/12.43 ~ (X23 = bnd_n1) = (X23 = bnd_n0)) &
% 12.91/12.43 ~ (X24 = bnd_n1) = (X24 = bnd_n0)) &
% 12.91/12.43 ~ (X25 = bnd_n1) = (X25 = bnd_n0)) &
% 12.91/12.43 ~ (X26 = bnd_n1) = (X26 = bnd_n0)) &
% 12.91/12.43 ~ (X27 = bnd_n1) = (X27 = bnd_n0)) &
% 12.91/12.43 ~ (X28 = bnd_n1) = (X28 = bnd_n0)) &
% 12.91/12.43 ~ (X29 = bnd_n1) = (X29 = bnd_n0)) &
% 12.91/12.43 ~ (X30 = bnd_n1) = (X30 = bnd_n0)) &
% 12.91/12.43 ~ (X31 = bnd_n1) = (X31 = bnd_n0)) &
% 12.91/12.43 ~ (X32 = bnd_n1) = (X32 = bnd_n0)) &
% 12.91/12.43 ~ (X33 = bnd_n1) = (X33 = bnd_n0)) &
% 12.91/12.43 ~ (X34 = bnd_n1) = (X34 = bnd_n0)) &
% 12.91/12.43 ~ (X35 = bnd_n1) = (X35 = bnd_n0)) &
% 12.91/12.43 ~ (X36 = bnd_n1) = (X36 = bnd_n0)) &
% 12.91/12.43 ~ (X37 = bnd_n1) = (X37 = bnd_n0)) &
% 12.91/12.43 ~ (X38 = bnd_n1) = (X38 = bnd_n0)) &
% 12.91/12.43 ~ (X39 = bnd_n1) = (X39 = bnd_n0)) &
% 12.91/12.43 ~ (X40 = bnd_n1) = (X40 = bnd_n0)) &
% 12.91/12.43 ~ (X41 = bnd_n1) = (X41 = bnd_n0)) &
% 12.91/12.43 ~ (X42 = bnd_n1) = (X42 = bnd_n0)) &
% 12.91/12.43 ~ (X43 = bnd_n1) = (X43 = bnd_n0)) &
% 12.91/12.43 ~ (X44 = bnd_n1) = (X44 = bnd_n0)) &
% 12.91/12.43 ~ (X45 = bnd_n1) = (X45 = bnd_n0)) &
% 12.91/12.43 ~ (X46 = bnd_n1) = (X46 = bnd_n0)) &
% 12.91/12.43 ~ (X47 = bnd_n1) = (X47 = bnd_n0);
% 12.91/12.43 ALL X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X6 X5 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1;
% 12.91/12.43 ALL X7 X23 X22 X21 X20 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X5 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n0 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n1 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n1 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X7 X23 X22 X21 X20 X19 X18 X17 X16 X14 X13 X12 X11 X10 X9 X8 X6 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n0 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X7 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10 X9 X8 X6 X5 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n0
% 12.91/12.43 X5 X6 bnd_n1 X8 X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 X7 X8 X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23;
% 12.91/12.43 ALL X6 X23 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X5 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 bnd_n0 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 bnd_n1 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 bnd_n1 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X7 X5 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 bnd_n1 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 bnd_n1 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X6 X23 X22 X21 X20 X19 X18 X17 X16 X15 X13 X12 X11 X10 X9 X8 X7 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n0 bnd_n1 X7 X8 X9 X10 X11 X12 X13 bnd_n1 X15 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 X12 X13 bnd_n1 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X6 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X9 X8 X7 X5 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n0
% 12.91/12.43 X5 bnd_n1 X7 X8 X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 X7 X8 X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23;
% 12.91/12.43 ALL X5 X23 X22 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X6 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 bnd_n0 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20
% 12.91/12.43 bnd_n1 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 bnd_n1
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X5 X23 X22 X21 X20 X19 X18 X16 X15 X14 X13 X12 X11 X10 X9 X8 X7 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 bnd_n0 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 bnd_n1 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 bnd_n1 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X12 X11 X10 X9 X8 X7 X6 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 X12 bnd_n1 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 X12 bnd_n1 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X5 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X8 X7 X6 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n0
% 12.91/12.43 bnd_n1 X6 X7 X8 bnd_n1 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 X7 X8 bnd_n1 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X4 X23 X22 X21 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X6 X5 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 bnd_n0 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X4 X23 X22 X21 X20 X19 X18 X17 X15 X14 X13 X12 X11 X10 X9 X8 X7 X5 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 bnd_n0 X7 X8 X9 X10 X11 X12 X13 X14 X15 bnd_n1 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 bnd_n1 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X4 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10 X9 X8 X7 X6 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 bnd_n0 X6 X7 X8 X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X7 X6 X5 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 X7 bnd_n1 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 X7 bnd_n1 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X6 X5 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n0 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1;
% 12.91/12.43 ALL X23 X22 X21 X20 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X5 X4 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n0 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n1 X20
% 12.91/12.43 X21 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X14 X13 X12 X11 X10 X9 X8 X6 X4 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 bnd_n0 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10 X9 X8 X6 X5 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 bnd_n1 X8 X9 X10 bnd_n0 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 bnd_n1 X8 X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X5 X4 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 bnd_n0 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 bnd_n1 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X7 X5 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 bnd_n0 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4 X5
% 12.91/12.43 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 bnd_n1 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X13 X12 X11 X10 X9 X8 X7 X4 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 bnd_n1 X7 X8 X9 X10 X11 X12 X13 bnd_n0 X15 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 bnd_n1 X7 X8 X9 X10 X11 X12 X13 bnd_n1 X15 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X9 X8 X7 X5 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 bnd_n1 X7 X8 X9 bnd_n0 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 bnd_n1 X7 X8 X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X6 X4 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20
% 12.91/12.43 bnd_n0 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20
% 12.91/12.43 bnd_n1 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X16 X15 X14 X13 X12 X11 X10 X9 X8 X7 X4 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 bnd_n0 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 bnd_n1 X18 X19 X20
% 12.91/12.43 X21 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X12 X11 X10 X9 X8 X7 X6 X4 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 X12 bnd_n0 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A X4
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 X12 bnd_n1 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X8 X7 X6 A B
% 12.91/12.43 C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 bnd_n1 X6 X7 X8 bnd_n0 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 bnd_n1 X6 X7 X8 bnd_n1 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20
% 12.91/12.43 X21 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X8 X6 X5 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n0 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 bnd_n1 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X15 X14 X13 X12 X11 X10 X9 X8 X7 X5 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 bnd_n0 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 bnd_n1 X7 X8 X9 X10 X11 X12 X13 X14 X15 bnd_n1 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10 X9 X8 X7 X6 A B C
% 12.91/12.43 D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 bnd_n0 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 bnd_n1 X6 X7 X8 X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 X9 X7 X6 X5 A
% 12.91/12.43 B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1.
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 X7 bnd_n0 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 -->
% 12.91/12.43 bnd_p B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A bnd_n1
% 12.91/12.43 X5 X6 X7 bnd_n1 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23;
% 12.91/12.43 ALL X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 X8 X7 X6 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 bnd_n0 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 bnd_n1;
% 12.91/12.43 ALL X28 X27 X26 X25 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 X8 X7 X6 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n0 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n1 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X19 X18 X17 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 X8 X7 X6 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n0 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X15 X14 X13 X12 X11
% 12.91/12.43 X10 X8 X7 X6 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 bnd_n1 X10 X11 X12 X13 X14 X15 bnd_n0 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 bnd_n1 X6
% 12.91/12.43 X7 X8 bnd_n1 X10 X11 X12 X13 X14 X15 bnd_n1 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 A B C D E F G X7 X6 X5 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 bnd_n0 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 bnd_n1 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 A B C D E F G X7 X6 X5 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n0 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X18 X17 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 A B C D E F G X7 X6 X5 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n0 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n1 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X14 X13 X12 X11
% 12.91/12.43 X10 A B C D E F G X7 X6 X5 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 X13 X14 bnd_n0 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 bnd_n1 X5 X6 X7 G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N X6 X5 X4 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n0 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n1 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N X6 X5 X4 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 bnd_n0
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 bnd_n1
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X17 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 A B C D E F G H I J K L M N X6 X5 X4 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 bnd_n0 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 bnd_n1 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X13 X12 X11
% 12.91/12.43 X10 A B C D E F G H I J K L M N X6 X5 X4 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 X13 bnd_n0 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 bnd_n1 X4 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 X13 bnd_n1 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X3 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 bnd_n0 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 bnd_n1 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X3 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 bnd_n0 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 bnd_n1 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X3 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 bnd_n0 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 bnd_n1 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X12 X11
% 12.91/12.43 X10 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X3 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 bnd_n0 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 bnd_n1 X3 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 bnd_n1 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 X8 X7 X5 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 X9 X10 X11 bnd_n0 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 bnd_n1 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 bnd_n1;
% 12.91/12.43 ALL X28 X27 X26 X25 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 X8 X7 X5 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 X9 X10 bnd_n0 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n1 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n1 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X19 X18 X17 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 X8 X7 X5 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 X9 bnd_n0 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X15 X14 X13 X12 X11
% 12.91/12.43 X10 X8 X7 X5 X4 X3 A B C D E F G H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 bnd_n0 X10 X11 X12 X13 X14 X15 bnd_n1 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H G F E D C B A bnd_n1 X3 X4 X5 bnd_n1
% 12.91/12.43 X7 X8 bnd_n1 X10 X11 X12 X13 X14 X15 bnd_n1 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 A B C D E F G X7 X6 X4 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n0 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 bnd_n1 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 bnd_n1 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 A B C D E F G X7 X6 X4 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 bnd_n0 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X18 X17 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 A B C D E F G X7 X6 X4 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A X9 bnd_n0 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n1 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 bnd_n1 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X14 X13 X12 X11
% 12.91/12.43 X10 A B C D E F G X7 X6 X4 X3 X2 H I J K L M N O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A bnd_n0 X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O N M L K J I H bnd_n1 X2 X3 X4 bnd_n1 X6 X7 G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N X6 X5 X3 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n0 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n1 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n1 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N X6 X5 X3 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n0 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 bnd_n1
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 bnd_n1
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X17 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 A B C D E F G H I J K L M N X6 X5 X3 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n0 X11 X12 X13 X14 X15 X16 X17 bnd_n1 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 X17 bnd_n1 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X13 X12 X11
% 12.91/12.43 X10 A B C D E F G H I J K L M N X6 X5 X3 X2 X1 O P Q R S T U.
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n0 X10 X11 X12 X13 bnd_n1 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p U T S R Q P O bnd_n1 X1 X2 X3 bnd_n1 X5 X6 N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 X13 bnd_n1 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X11 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n0 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 bnd_n1 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 X11 bnd_n1 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 bnd_n1 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X20 X19 X18 X17 X16 X15 X14 X13 X12 X10
% 12.91/12.43 X9 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n0 X12 X13 X14 X15 X16 X17 X18 X19 X20 bnd_n1 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 X10 bnd_n1 X12 X13 X14 X15 X16 X17 X18 X19 X20 bnd_n1 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X16 X15 X14 X13 X12 X11
% 12.91/12.43 X9 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n0 X11 X12 X13 X14 X15 X16 bnd_n1 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A X9 bnd_n1 X11 X12 X13 X14 X15 X16 bnd_n1 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X12 X11
% 12.91/12.43 X10 A B C D E F G H I J K L M N O P Q R S T U X5 X4 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n0 X10 X11 X12 bnd_n1 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 bnd_n1 X4 X5 U T S R Q P O N M L K J I H G F E D
% 12.91/12.43 C B A bnd_n1 X10 X11 X12 bnd_n1 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T X7 X6 X5 X4 X3 U V W X Y Z A1
% 12.91/12.43 B1 C1 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 X3 X4 X5 X6 X7 bnd_n1 T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 X3 X4 X5 X6 X7 bnd_n0 T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 X6 X5 X4 X3 X2
% 12.91/12.43 B1 C1 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 X2 X3 X4 X5 X6
% 12.91/12.43 bnd_n1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 X2 X3 X4 X5 X6
% 12.91/12.43 bnd_n0 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 X5 X4 X3 X2 X1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 X1 X2 X3 X4 X5 bnd_n1 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 X1 X2 X3 X4 X5 bnd_n0 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 I1 J1 K1 L1 M1 N1 O1 X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n0 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T X8 X6 X5 X4 X3 U V W X Y Z A1
% 12.91/12.43 B1 C1 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 X3 X4 X5 X6 bnd_n0 X8 T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 X3 X4 X5 X6 bnd_n1 X8 T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T X8 X7 X5 X4 U V W X Y Z A1 B1
% 12.91/12.43 C1 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n0 X4 X5 bnd_n0 X7 X8 T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n0 X4 X5 bnd_n1 X7 X8 T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T X8 X7 X6 U V W X Y Z A1 B1 C1
% 12.91/12.43 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n0 bnd_n0 bnd_n0 X6 X7 X8 T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n0 bnd_n0 bnd_n1 X6 X7 X8 T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T X8 X7 X6 U V W X Y Z A1 B1 C1
% 12.91/12.43 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n0 bnd_n0 bnd_n0 X6 X7 X8 T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n0 bnd_n1 bnd_n0 X6 X7 X8 T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T X8 X7 X5 U V W X Y Z A1 B1 C1
% 12.91/12.43 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n0 bnd_n0 X5 bnd_n0 X7 X8 T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V U bnd_n1
% 12.91/12.43 bnd_n1 bnd_n0 X5 bnd_n0 X7 X8 T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 X7 X5 X4 X3 X2
% 12.91/12.43 B1 C1 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 X2 X3 X4 X5
% 12.91/12.43 bnd_n0 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 X2 X3 X4 X5
% 12.91/12.43 bnd_n1 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 X7 X6 X4 X3 B1
% 12.91/12.43 C1 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n0 X3 X4
% 12.91/12.43 bnd_n0 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n0 X3 X4
% 12.91/12.43 bnd_n1 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 X7 X6 X5 B1 C1
% 12.91/12.43 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n0 bnd_n0
% 12.91/12.43 bnd_n0 X5 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n0 bnd_n0
% 12.91/12.43 bnd_n1 X5 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 X7 X6 X5 B1 C1
% 12.91/12.43 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n0 bnd_n0
% 12.91/12.43 bnd_n0 X5 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n0 bnd_n1
% 12.91/12.43 bnd_n0 X5 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 X7 X6 X4 B1 C1
% 12.91/12.43 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n0 bnd_n0
% 12.91/12.43 X4 bnd_n0 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 bnd_n1 bnd_n1 bnd_n0
% 12.91/12.43 X4 bnd_n0 X6 X7 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 X6 X4 X3 X2 X1 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 X1 X2 X3 X4 bnd_n0 X6 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 X1 X2 X3 X4 bnd_n1 X6 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 X6 X5 X3 X2 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n0 X2 X3 bnd_n0 X5 X6 H1 G1 F1
% 12.91/12.43 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n0 X2 X3 bnd_n1 X5 X6 H1 G1 F1
% 12.91/12.43 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 X6 X5 X4 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n0 bnd_n0 bnd_n0 X4 X5 X6 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n0 bnd_n0 bnd_n1 X4 X5 X6 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 X6 X5 X4 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n0 bnd_n0 bnd_n0 X4 X5 X6 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n0 bnd_n1 bnd_n0 X4 X5 X6 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 X6 X5 X3 I1 J1 K1 L1 M1 N1 O1.
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n0 bnd_n0 X3 bnd_n0 X5 X6 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p O1 N1 M1 L1 K1 J1 I1 bnd_n1 bnd_n1 bnd_n0 X3 bnd_n0 X5 X6 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 I1 J1 K1 L1 M1 N1 O1 X5 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 bnd_n0 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 bnd_n1 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1
% 12.91/12.43 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 I1 J1 K1 L1 M1 N1 O1 X5 X4 X2 X1.
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 X1 X2 bnd_n0 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1
% 12.91/12.43 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 X1 X2 bnd_n1 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1
% 12.91/12.43 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 I1 J1 K1 L1 M1 N1 O1 X5 X4 X3.
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 bnd_n0 bnd_n0 X3 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 bnd_n0 bnd_n1 X3 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 I1 J1 K1 L1 M1 N1 O1 X5 X4 X3.
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 bnd_n0 bnd_n0 X3 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 bnd_n1 bnd_n0 X3 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1
% 12.91/12.43 G1 H1 I1 J1 K1 L1 M1 N1 O1 X5 X4 X2.
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 bnd_n0 X2 bnd_n0 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 bnd_n0 X2 bnd_n0 X4 X5 O1 N1 M1 L1 K1 J1 I1 H1 G1
% 12.91/12.43 F1 E1 D1 C1 B1 A1 Z Y X W V U T S R Q P O N M L K J I H G F E D C B
% 12.91/12.43 A;
% 12.91/12.43 ALL X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 A B C D
% 12.91/12.43 X8 X7 X6 X5 X3 E F G H I J K L M N O P Q R S T U V W X Y.
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L K J I H G F E bnd_n1 X3 bnd_n1 X5 X6
% 12.91/12.43 X7 X8 D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 bnd_n1 -->
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L K J I H G F E bnd_n1 X3 bnd_n1 X5 X6
% 12.91/12.43 X7 bnd_n1 D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 bnd_n1;
% 12.91/12.43 ALL X30 X29 X28 X27 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X8 X7 X6 X5 X4 X3 X2 E F G H I J K L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n0 X2 X3 X4 X5 X6 X7 bnd_n1 X8
% 12.91/12.43 bnd_n1 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n1 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n1 X2 X3 X4 X5 X6 bnd_n1 bnd_n1
% 12.91/12.43 X8 bnd_n1 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n1 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X8 E F G H I J K X6 X5 X4 X3 X2 X1 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n0 X1 X2 X3 X4 X5 X6 K J I H G F E bnd_n1 X8
% 12.91/12.43 bnd_n1 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 bnd_n1 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 X2 X3 X4 X5 bnd_n1 K J I H G F E bnd_n1
% 12.91/12.43 X8 bnd_n1 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 bnd_n1
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X8 E F G H I J K L M N O P Q R X5 X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n0 X0 X1 X2 X3 X4 X5 R Q P O N M L K J I H G F E bnd_n1 X8
% 12.91/12.43 bnd_n1 X10 X11 X12 X13 D C B A X15 X16 X17 bnd_n1 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 R Q P O N M L K J I H G F E bnd_n1
% 12.91/12.43 X8 bnd_n1 X10 X11 X12 X13 D C B A X15 X16 X17 bnd_n1 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X9 X8 X7 X6 X5 X4 X2 E F G H I J K L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n1 X2 bnd_n1 X4 X5 X6 X7 bnd_n0
% 12.91/12.43 X8 X9 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23 X24
% 12.91/12.43 X25 X26 X27 X28 bnd_n1 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n1 X2 bnd_n1 X4 X5 X6 X7 bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 bnd_n1 X30;
% 12.91/12.43 ALL X25 X24 X23 X22 X21 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 A B C D E
% 12.91/12.43 F G H I J K X7 X6 X5 X4 X2 L M N O P Q R S T U V W X Y.
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L bnd_n1 X2 bnd_n1 X4 X5 X6 X7 K J I H
% 12.91/12.43 G F E D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21 X22
% 12.91/12.43 X23 X24 X25 -->
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L bnd_n1 X2 bnd_n1 X4 X5 X6 bnd_n1 K J
% 12.91/12.43 I H G F E D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21
% 12.91/12.43 X22 X23 X24 X25;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X20 X19 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X12 X11 X10 X9 X7 X6 X5 X4 X3 X2 X1 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n0 X1 X2 X3 X4 X5 X6 bnd_n1 X7 bnd_n1 X9 X10
% 12.91/12.43 X11 X12 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 bnd_n1 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 X2 X3 X4 X5 bnd_n1 bnd_n1 X7 bnd_n1 X9
% 12.91/12.43 X10 X11 X12 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 bnd_n1 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X12 X11 X10 X9 X7 L M N O P Q R X5 X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n0 X0 X1 X2 X3 X4 X5 R Q P O N M L bnd_n1 X7 bnd_n1 X9 X10
% 12.91/12.43 X11 X12 K J I H G F E D C B A X15 X16 bnd_n1 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 R Q P O N M L bnd_n1 X7 bnd_n1 X9
% 12.91/12.43 X10 X11 X12 K J I H G F E D C B A X15 X16 bnd_n1 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X9 X8 E F G H I J K X6 X5 X4 X3 X1 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 bnd_n1 X3 X4 X5 X6 K J I H G F E bnd_n0
% 12.91/12.43 X8 X9 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23 X24
% 12.91/12.43 X25 X26 X27 bnd_n1 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 bnd_n1 X3 X4 X5 X6 K J I H G F E bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 bnd_n1 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X12 X11 X10 X9 X8 X7 X6 X5 X4 X3 X1 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 bnd_n1 X3 X4 X5 X6 bnd_n0 X7 X8 X9 X10
% 12.91/12.43 X11 X12 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n1 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 bnd_n1 X3 X4 X5 X6 bnd_n1 X7 X8 X9 X10
% 12.91/12.43 X11 bnd_n1 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n1 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X14 X13 X12 X11 X10 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R X6 X5 X4 X3 X1 S T U V W X Y.
% 12.91/12.43 bnd_p Y X W V U T S bnd_n1 X1 bnd_n1 X3 X4 X5 X6 R Q P O N M L K J I H
% 12.91/12.43 G F E D C B A X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 -->
% 12.91/12.43 bnd_p Y X W V U T S bnd_n1 X1 bnd_n1 X3 X4 X5 bnd_n1 R Q P O N M L K J
% 12.91/12.43 I H G F E D C B A X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 X24 X25;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X15 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R X11 X10 X9 X8 X6 X5 X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n0 X0 X1 X2 X3 X4 X5 bnd_n1 X6 bnd_n1 X8 X9 X10 X11 R Q P O
% 12.91/12.43 N M L K J I H G F E D C B A X15 bnd_n1 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 bnd_n1 X6 bnd_n1 X8 X9 X10 X11 R Q
% 12.91/12.43 P O N M L K J I H G F E D C B A X15 bnd_n1 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X9 X8 E F G H I J K L M N O P Q R X5 X4 X3 X2 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 X5 R Q P O N M L K J I H G F E bnd_n0
% 12.91/12.43 X8 X9 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23 X24
% 12.91/12.43 X25 X26 bnd_n1 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 X5 R Q P O N M L K J I H G F E bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 bnd_n1 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X22 X21 X20 X19 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X12 X11 X10 X9 X8 X7 L M N O P Q R X5 X4 X3 X2 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 X5 R Q P O N M L bnd_n0 X7 X8 X9 X10
% 12.91/12.43 X11 X12 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22 bnd_n1
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 X5 R Q P O N M L bnd_n1 X7 X8 X9 X10
% 12.91/12.43 X11 bnd_n1 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R X11 X10 X9 X8 X7 X6 X5 X4 X3 X2 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 X5 bnd_n0 X6 X7 X8 X9 X10 X11 R Q P O
% 12.91/12.43 N M L K J I H G F E D C B A X15 X16 X17 X18 bnd_n1 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 X5 bnd_n1 X6 X7 X8 X9 X10 bnd_n1 R Q P
% 12.91/12.43 O N M L K J I H G F E D C B A X15 X16 X17 X18 bnd_n1 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R S T U V W X Y X5 X4 X3 X2 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 X5 Y X W V U T S R Q P O N M L K J I H
% 12.91/12.43 G F E D C B A bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 -->
% 12.91/12.43 bnd_p bnd_n1 X0 bnd_n1 X2 X3 X4 bnd_n1 Y X W V U T S R Q P O N M L K J
% 12.91/12.43 I H G F E D C B A bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 X24 X25;
% 12.91/12.43 ALL X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 A B C D
% 12.91/12.43 X7 X6 X5 X4 E F G H I J K L M N O P Q R S T U V W X Y.
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L K J I H G F E bnd_n1 bnd_n1 X4 X5 X6
% 12.91/12.43 X7 bnd_n1 D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 bnd_n0 -->
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L K J I H G F E bnd_n1 bnd_n1 X4 X5 X6
% 12.91/12.43 X7 bnd_n1 D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 bnd_n1;
% 12.91/12.43 ALL X30 X29 X28 X27 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X9 X6 X5 X4 X3 X2 E F G H I J K L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n1 X2 X3 X4 X5 X6 bnd_n1 bnd_n1
% 12.91/12.43 bnd_n1 X9 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n0 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n1 X2 X3 X4 X5 X6 bnd_n1 bnd_n1
% 12.91/12.43 bnd_n1 X9 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 bnd_n1 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X9 E F G H I J K X5 X4 X3 X2 X1 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 X2 X3 X4 X5 bnd_n1 K J I H G F E bnd_n1
% 12.91/12.43 bnd_n1 X9 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 bnd_n0
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 X2 X3 X4 X5 bnd_n1 K J I H G F E bnd_n1
% 12.91/12.43 bnd_n1 X9 X10 X11 X12 X13 D C B A X15 X16 X17 X18 X19 X20 X21 bnd_n1
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X17 X16 X15 A B C D
% 12.91/12.43 X13 X12 X11 X10 X9 E F G H I J K L M N O P Q R X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 R Q P O N M L K J I H G F E bnd_n1
% 12.91/12.43 bnd_n1 X9 X10 X11 X12 X13 D C B A X15 X16 X17 bnd_n0 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 R Q P O N M L K J I H G F E bnd_n1
% 12.91/12.43 bnd_n1 X9 X10 X11 X12 X13 D C B A X15 X16 X17 bnd_n1 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X12 X11 X10 X9 X8 X7 X6 X5 X4 X3 E F G H I J K L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n1 bnd_n1 X3 X4 X5 X6 X7 bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 bnd_n0 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L K J I H G F E bnd_n1 bnd_n1 X3 X4 X5 X6 X7 bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 bnd_n1 X30;
% 12.91/12.43 ALL X25 X24 X23 X22 X21 X19 X18 X17 X16 X15 X14 X13 X12 X11 X10 A B C D E
% 12.91/12.43 F G H I J K X6 X5 X4 X3 L M N O P Q R S T U V W X Y.
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L bnd_n1 bnd_n1 X3 X4 X5 X6 bnd_n1 K J
% 12.91/12.43 I H G F E D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n0 X21
% 12.91/12.43 X22 X23 X24 X25 -->
% 12.91/12.43 bnd_p Y X W V U T S R Q P O N M L bnd_n1 bnd_n1 X3 X4 X5 X6 bnd_n1 K J
% 12.91/12.43 I H G F E D C B A X10 X11 X12 X13 X14 X15 X16 X17 X18 X19 bnd_n1 X21
% 12.91/12.43 X22 X23 X24 X25;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X20 X19 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X12 X11 X10 X9 X8 X5 X4 X3 X2 X1 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 X2 X3 X4 X5 bnd_n1 bnd_n1 bnd_n1 X8 X9
% 12.91/12.43 X10 X11 X12 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 bnd_n0 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 X1 X2 X3 X4 X5 bnd_n1 bnd_n1 bnd_n1 X8 X9
% 12.91/12.43 X10 X11 X12 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 bnd_n1 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X12 X11 X10 X9 X8 L M N O P Q R X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 R Q P O N M L bnd_n1 bnd_n1 X8 X9
% 12.91/12.43 X10 X11 X12 K J I H G F E D C B A X15 X16 bnd_n0 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 R Q P O N M L bnd_n1 bnd_n1 X8 X9
% 12.91/12.43 X10 X11 X12 K J I H G F E D C B A X15 X16 bnd_n1 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X12 X11 X10 X9 X8 E F G H I J K X6 X5 X4 X3 X2 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 bnd_n1 X2 X3 X4 X5 X6 K J I H G F E bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 bnd_n0 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 bnd_n1 X2 X3 X4 X5 X6 K J I H G F E bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 bnd_n1 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X11 X10 X9 X8 X7 X6 X5 X4 X3 X2 L M N O P Q R.
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 bnd_n1 X2 X3 X4 X5 X6 bnd_n1 X7 X8 X9 X10
% 12.91/12.43 X11 bnd_n1 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n0 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p R Q P O N M L bnd_n1 bnd_n1 X2 X3 X4 X5 X6 bnd_n1 X7 X8 X9 X10
% 12.91/12.43 X11 bnd_n1 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 bnd_n1 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X14 X13 X12 X11 X10 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R X5 X4 X3 X2 S T U V W X Y.
% 12.91/12.43 bnd_p Y X W V U T S bnd_n1 bnd_n1 X2 X3 X4 X5 bnd_n1 R Q P O N M L K J
% 12.91/12.43 I H G F E D C B A X10 X11 X12 X13 X14 bnd_n0 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 X24 X25 -->
% 12.91/12.43 bnd_p Y X W V U T S bnd_n1 bnd_n1 X2 X3 X4 X5 bnd_n1 R Q P O N M L K J
% 12.91/12.43 I H G F E D C B A X10 X11 X12 X13 X14 bnd_n1 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 X24 X25;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X15 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R X11 X10 X9 X8 X7 X4 X3 X2 X1 X0.
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 bnd_n1 bnd_n1 X7 X8 X9 X10 X11 R Q
% 12.91/12.43 P O N M L K J I H G F E D C B A X15 bnd_n0 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 X0 X1 X2 X3 X4 bnd_n1 bnd_n1 bnd_n1 X7 X8 X9 X10 X11 R Q
% 12.91/12.43 P O N M L K J I H G F E D C B A X15 bnd_n1 X17 X18 X19 X20 X21 X22
% 12.91/12.43 X23 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X26 X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 A B C D
% 12.91/12.43 X12 X11 X10 X9 X8 E F G H I J K L M N O P Q R X5 X4 X3 X2 X1.
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 X5 R Q P O N M L K J I H G F E bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 bnd_n0 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 X5 R Q P O N M L K J I H G F E bnd_n1
% 12.91/12.43 X8 X9 X10 X11 X12 bnd_n1 D C B A X15 X16 X17 X18 X19 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 bnd_n1 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X22 X21 X20 X19 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K X11 X10 X9 X8 X7 L M N O P Q R X5 X4 X3 X2 X1.
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 X5 R Q P O N M L bnd_n1 X7 X8 X9 X10
% 12.91/12.43 X11 bnd_n1 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n0 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 X5 R Q P O N M L bnd_n1 X7 X8 X9 X10
% 12.91/12.43 X11 bnd_n1 K J I H G F E D C B A X15 X16 X17 X18 X19 X20 X21 X22
% 12.91/12.43 bnd_n1 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X30 X29 X28 X27 X26 X25 X24 X23 X22 X21 X20 X18 X17 X16 X15 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R X10 X9 X8 X7 X6 X5 X4 X3 X2 X1.
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 X5 bnd_n1 X6 X7 X8 X9 X10 bnd_n1 R Q P
% 12.91/12.43 O N M L K J I H G F E D C B A X15 X16 X17 X18 bnd_n0 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30 -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 X5 bnd_n1 X6 X7 X8 X9 X10 bnd_n1 R Q P
% 12.91/12.43 O N M L K J I H G F E D C B A X15 X16 X17 X18 bnd_n1 X20 X21 X22 X23
% 12.91/12.43 X24 X25 X26 X27 X28 X29 X30;
% 12.91/12.43 ALL X25 X24 X23 X22 X21 X20 X19 X18 X17 X16 X15 X14 X13 X12 X11 A B C D E
% 12.91/12.43 F G H I J K L M N O P Q R S T U V W X Y X4 X3 X2 X1.
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 bnd_n1 Y X W V U T S R Q P O N M L K J
% 12.91/12.43 I H G F E D C B A bnd_n0 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 X24 X25 -->
% 12.91/12.43 bnd_p bnd_n1 bnd_n1 X1 X2 X3 X4 bnd_n1 Y X W V U T S R Q P O N M L K J
% 12.91/12.43 I H G F E D C B A bnd_n1 X11 X12 X13 X14 X15 X16 X17 X18 X19 X20 X21
% 12.91/12.43 X22 X23 X24 X25;
% 12.91/12.43 bnd_p bnd_n1 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n1 bnd_n1 bnd_n0
% 12.91/12.43 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0
% 12.91/12.43 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0
% 12.91/12.43 bnd_n0 bnd_n1 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0
% 12.91/12.43 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 bnd_n0 |]
% 12.91/12.43 ==> EX A B C D E F G H I J K L M N O P X3 X2 X1 Q R S T U V W X Y Z A1 B1 C1
% 12.91/12.43 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1 P1 Q1 R1.
% 12.91/12.43 bnd_p R1 Q1 P1 O1 N1 M1 L1 K1 J1 I1 H1 G1 F1 E1 D1 C1 B1 A1 Z Y X W V
% 12.91/12.43 U T S R Q bnd_n1 X1 X2 X3 P O N M L K J I H G F E D C B A
% 12.91/12.43 Adding axioms...
% 12.91/12.44 Typedef.type_definition_def
% 193.68/192.87 ...done.
% 193.98/193.14 Ground types: ?'b, TPTP_Interpret.ind
% 193.98/193.14 Translating term (sizes: 1, 1) ...
% 272.77/271.57 Invoking SAT solver...
% 272.77/271.57 No model exists.
% 272.77/271.57 Translating term (sizes: 2, 1) ...
% 300.04/298.62 /export/starexec/sandbox2/solver/lib/scripts/run-polyml-5.5.2: line 82: 58112 CPU time limit exceeded (core dumped) "$ISABELLE_HOME/lib/scripts/feeder" -p -h "$MLTEXT" -t "$MLEXIT" $FEEDER_OPTS
% 300.04/298.62 58113 (core dumped) | { read FPID; "$POLY" -q -i $ML_OPTIONS; RC="$?"; kill -TERM "$FPID"; exit "$RC"; }
% 300.04/298.63 /export/starexec/sandbox2/solver/src/HOL/TPTP/lib/Tools/tptp_refute: line 26: 58058 Exit 152 "$ISABELLE_PROCESS" -q -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" HOL-TPTP
% 300.04/298.63 58059 CPU time limit exceeded (core dumped) | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^Warning-The type of\|^ monotype.$"
%------------------------------------------------------------------------------