42 namespace Test {
namespace Int {
45 namespace MiniModelLin {
65 unsigned char x,
y,
z;
75 case LO_ACE: reg[pc->
y] = pc->
c + reg[pc->
x];
break;
76 case LO_AEC: reg[pc->
y] = reg[pc->
x] + pc->
c;
break;
77 case LO_AEE: reg[pc->
z] = reg[pc->
x] + reg[pc->
y];
break;
78 case LO_SCE: reg[pc->
y] = pc->
c - reg[pc->
x];
break;
79 case LO_SEC: reg[pc->
y] = reg[pc->
x] - pc->
c;
break;
80 case LO_SEE: reg[pc->
z] = reg[pc->
x] - reg[pc->
y];
break;
81 case LO_SE: reg[pc->
y] = -reg[pc->
x];
break;
82 case LO_MCE: reg[pc->
y] = pc->
c * reg[pc->
x];
break;
83 case LO_MEC: reg[pc->
y] = reg[pc->
x] * pc->
c;
break;
105 :
Test(
"MiniModel::LinExpr::Int::"+s,4,-3,3),
lis(lis0) {
110 int reg[3] = {x[0],x[1],x[2]};
115 using namespace Gecode;
129 :
Test(
"MiniModel::LinExpr::Bool::"+s,4,-3,3),
lis(lis0) {
135 if ((x[
i] < 0) || (x[
i] > 1))
137 int reg[3] = {x[0],x[1],x[2]};
142 using namespace Gecode;
158 :
Test(
"MiniModel::LinExpr::Mixed::"+s,4,-3,3),
lis(lis0) {
163 if ((x[2] < 0) || (x[2] > 1))
165 int reg[3] = {x[0],x[1],x[2]};
170 using namespace Gecode;
192 :
Test(
"MiniModel::LinRel::Int::"+s+
"::"+
str(irt0),3,-3,3,true),
193 l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
198 int l_reg[3] = {x[0],x[1],x[2]};
199 int r_reg[3] = {x[0],x[1],x[2]};
200 return cmp(
eval(l_lis,l_reg),irt,
eval(r_lis,r_reg));
204 using namespace Gecode;
238 using namespace Gecode;
244 (
eval(l_lis,l_reg)==
eval(r_lis,r_reg))),
249 (
eval(l_lis,l_reg)!=
eval(r_lis,r_reg)) == b);
253 !((
eval(l_lis,l_reg)<=
eval(r_lis,r_reg))^b));
257 (
eval(l_lis,l_reg)<
eval(r_lis,r_reg))),
262 (
eval(l_lis,l_reg)>=
eval(r_lis,r_reg)) == b);
266 !((
eval(l_lis,l_reg)>
eval(r_lis,r_reg))^b));
286 :
Test(
"MiniModel::LinRel::Bool::"+s+
"::"+
str(irt0),3,0,1,true),
287 l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
292 int l_reg[3] = {x[0],x[1],x[2]};
293 int r_reg[3] = {x[0],x[1],x[2]};
294 return cmp(
eval(l_lis,l_reg),irt,
eval(r_lis,r_reg));
298 using namespace Gecode;
335 using namespace Gecode;
344 (
eval(l_lis,l_reg)==
eval(r_lis,r_reg))),
349 (
eval(l_lis,l_reg)!=
eval(r_lis,r_reg)) == b);
353 !((
eval(l_lis,l_reg)<=
eval(r_lis,r_reg))^b));
357 (
eval(l_lis,l_reg)<
eval(r_lis,r_reg))),
362 (
eval(l_lis,l_reg)>=
eval(r_lis,r_reg)) == b);
366 !((
eval(l_lis,l_reg)>
eval(r_lis,r_reg))^b));
386 :
Test(
"MiniModel::LinRel::Mixed::"+s+
"::"+
str(irt0),6,0,1,true),
387 l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
392 int l_reg[3] = {x[0],x[1],x[2]};
393 int r_reg[3] = {x[3],x[4],x[5]};
394 return cmp(
eval(l_lis,l_reg),irt,
eval(r_lis,r_reg));
398 using namespace Gecode;
427 using namespace Gecode;
434 (
eval(l_lis,l_reg)==
eval(r_lis,r_reg))),
439 (
eval(l_lis,l_reg)!=
eval(r_lis,r_reg))),
444 (
eval(l_lis,l_reg)<=
eval(r_lis,r_reg))),
449 (
eval(l_lis,l_reg)<
eval(r_lis,r_reg))),
454 (
eval(l_lis,l_reg)>=
eval(r_lis,r_reg))),
459 (
eval(l_lis,l_reg)>
eval(r_lis,r_reg))),
468 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
472 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
476 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
480 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
484 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
488 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
492 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
496 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
500 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
504 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
508 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
512 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
516 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
520 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
524 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
528 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
532 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
536 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
540 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
544 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
548 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
552 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
556 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
560 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
564 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
568 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
572 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
576 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
580 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
584 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
588 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
592 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
596 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
600 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
604 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
608 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
612 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
616 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
620 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
624 {
LO_AEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
628 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
632 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
636 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
640 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
644 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
648 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
652 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
656 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
660 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
664 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
668 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
672 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
676 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
680 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
684 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
688 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
692 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
696 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
700 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
704 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
708 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
712 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
716 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
720 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
724 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
728 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
732 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
736 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
740 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
744 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
748 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
752 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
756 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
760 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
764 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
768 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
772 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
776 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
780 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
784 {
LO_AEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
788 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
792 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
796 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
800 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
804 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
808 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
812 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
816 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
820 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
824 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
828 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
832 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
836 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
840 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
844 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
848 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
852 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
856 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
860 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
864 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
868 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
872 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
876 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
880 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
884 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
888 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
892 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
896 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
900 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
904 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
908 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
912 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
916 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
920 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
924 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
928 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
932 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
936 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
940 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
944 {
LO_AEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
948 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
952 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
956 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
960 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
964 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
968 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
972 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
976 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
980 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
984 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
988 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
992 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
996 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1000 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1004 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1008 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1012 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1016 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1020 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1024 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1028 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1032 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1036 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1040 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1044 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1048 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1052 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1056 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1060 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1064 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1068 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1072 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1076 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1080 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1084 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1088 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1092 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1096 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1100 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1104 {
LO_AEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1108 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1112 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1116 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1120 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1124 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1128 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1132 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1136 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1140 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1144 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1148 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1152 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1156 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1160 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1164 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1168 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1172 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1176 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1180 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1184 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1188 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1192 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1196 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1200 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1204 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1208 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1212 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1216 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1220 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1224 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1228 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1232 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1236 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1240 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1244 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1248 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1252 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1256 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1260 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1264 {
LO_AEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1268 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1272 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1276 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1280 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1284 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1288 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1292 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1296 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1300 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1304 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1308 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1312 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1316 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1320 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1324 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1328 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1332 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1336 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1340 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1344 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1348 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1352 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1356 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1360 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1364 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1368 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1372 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1376 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1380 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1384 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1388 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1392 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1396 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1400 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1404 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1408 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1412 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1416 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1420 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1424 {
LO_SEE,0,1,0, 0},{
LO_AEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1428 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1432 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1436 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1440 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1444 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1448 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1452 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1456 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1460 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1464 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1468 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1472 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1476 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1480 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1484 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1488 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1492 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1496 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1500 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1504 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1508 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1512 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1516 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1520 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1524 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1528 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1532 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1536 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1540 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1544 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1548 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1552 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1556 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1560 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1564 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1568 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1572 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1576 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1580 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1584 {
LO_SEE,0,1,0, 0},{
LO_SCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1588 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1592 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1596 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1600 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1604 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1608 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1612 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1616 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1620 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1624 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1628 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1632 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1636 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1640 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1644 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1648 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1652 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1656 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1660 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1664 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1668 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1672 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1676 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1680 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1684 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1688 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1692 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1696 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1700 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1704 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1708 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1712 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1716 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1720 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1724 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1728 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1732 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1736 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1740 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1744 {
LO_SEE,0,1,0, 0},{
LO_SEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1748 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1752 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1756 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1760 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1764 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1768 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1772 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1776 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1780 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1784 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1788 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1792 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1796 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1800 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1804 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1808 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1812 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1816 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1820 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1824 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1828 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1832 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1836 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1840 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1844 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1848 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1852 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1856 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_AEE,0,2,0, 0},
1860 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1864 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1868 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1872 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 1},{
LO_SEE,0,2,0, 0},
1876 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1880 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1884 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1888 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_AEE,0,2,0, 0},
1892 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1896 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1900 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1904 {
LO_SEE,0,1,0, 0},{
LO_MCE,0,0,0, 2},{
LO_SEE,0,2,0, 0},
1908 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1912 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1916 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1920 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_AEE,0,2,0, 0},
1924 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1928 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1932 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1936 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-2},{
LO_SEE,0,2,0, 0},
1940 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1944 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1948 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1952 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_AEE,0,2,0, 0},
1956 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1960 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1964 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1968 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0,-1},{
LO_SEE,0,2,0, 0},
1972 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1976 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1980 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1984 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_AEE,0,2,0, 0},
1988 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1992 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
1996 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
2000 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 0},{
LO_SEE,0,2,0, 0},
2004 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
2008 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
2012 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
2016 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_AEE,0,2,0, 0},
2020 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
2024 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
2028 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
2032 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 1},{
LO_SEE,0,2,0, 0},
2036 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
2040 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
2044 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
2048 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_AEE,0,2,0, 0},
2052 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
2056 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
2060 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
2064 {
LO_SEE,0,1,0, 0},{
LO_MEC,0,0,0, 2},{
LO_SEE,0,2,0, 0},
2069 &li000[0],&li001[0],&li002[0],&li003[0],&li004[0],&li005[0],
2070 &li006[0],&li007[0],&li008[0],&li009[0],&li010[0],&li011[0],
2071 &li012[0],&li013[0],&li014[0],&li015[0],&li016[0],&li017[0],
2072 &li018[0],&li019[0],&li020[0],&li021[0],&li022[0],&li023[0],
2073 &li024[0],&li025[0],&li026[0],&li027[0],&li028[0],&li029[0],
2074 &li030[0],&li031[0],&li032[0],&li033[0],&li034[0],&li035[0],
2075 &li036[0],&li037[0],&li038[0],&li039[0],&li040[0],&li041[0],
2076 &li042[0],&li043[0],&li044[0],&li045[0],&li046[0],&li047[0],
2077 &li048[0],&li049[0],&li050[0],&li051[0],&li052[0],&li053[0],
2078 &li054[0],&li055[0],&li056[0],&li057[0],&li058[0],&li059[0],
2079 &li060[0],&li061[0],&li062[0],&li063[0],&li064[0],&li065[0],
2080 &li066[0],&li067[0],&li068[0],&li069[0],&li070[0],&li071[0],
2081 &li072[0],&li073[0],&li074[0],&li075[0],&li076[0],&li077[0],
2082 &li078[0],&li079[0],&li080[0],&li081[0],&li082[0],&li083[0],
2083 &li084[0],&li085[0],&li086[0],&li087[0],&li088[0],&li089[0],
2084 &li090[0],&li091[0],&li092[0],&li093[0],&li094[0],&li095[0],
2085 &li096[0],&li097[0],&li098[0],&li099[0],&li100[0],&li101[0],
2086 &li102[0],&li103[0],&li104[0],&li105[0],&li106[0],&li107[0],
2087 &li108[0],&li109[0],&li110[0],&li111[0],&li112[0],&li113[0],
2088 &li114[0],&li115[0],&li116[0],&li117[0],&li118[0],&li119[0],
2089 &li120[0],&li121[0],&li122[0],&li123[0],&li124[0],&li125[0],
2090 &li126[0],&li127[0],&li128[0],&li129[0],&li130[0],&li131[0],
2091 &li132[0],&li133[0],&li134[0],&li135[0],&li136[0],&li137[0],
2092 &li138[0],&li139[0],&li140[0],&li141[0],&li142[0],&li143[0],
2093 &li144[0],&li145[0],&li146[0],&li147[0],&li148[0],&li149[0],
2094 &li150[0],&li151[0],&li152[0],&li153[0],&li154[0],&li155[0],
2095 &li156[0],&li157[0],&li158[0],&li159[0],&li160[0],&li161[0],
2096 &li162[0],&li163[0],&li164[0],&li165[0],&li166[0],&li167[0],
2097 &li168[0],&li169[0],&li170[0],&li171[0],&li172[0],&li173[0],
2098 &li174[0],&li175[0],&li176[0],&li177[0],&li178[0],&li179[0],
2099 &li180[0],&li181[0],&li182[0],&li183[0],&li184[0],&li185[0],
2100 &li186[0],&li187[0],&li188[0],&li189[0],&li190[0],&li191[0],
2101 &li192[0],&li193[0],&li194[0],&li195[0],&li196[0],&li197[0],
2102 &li198[0],&li199[0],&li200[0],&li201[0],&li202[0],&li203[0],
2103 &li204[0],&li205[0],&li206[0],&li207[0],&li208[0],&li209[0],
2104 &li210[0],&li211[0],&li212[0],&li213[0],&li214[0],&li215[0],
2105 &li216[0],&li217[0],&li218[0],&li219[0],&li220[0],&li221[0],
2106 &li222[0],&li223[0],&li224[0],&li225[0],&li226[0],&li227[0],
2107 &li228[0],&li229[0],&li230[0],&li231[0],&li232[0],&li233[0],
2108 &li234[0],&li235[0],&li236[0],&li237[0],&li238[0],&li239[0],
2109 &li240[0],&li241[0],&li242[0],&li243[0],&li244[0],&li245[0],
2110 &li246[0],&li247[0],&li248[0],&li249[0],&li250[0],&li251[0],
2111 &li252[0],&li253[0],&li254[0],&li255[0],&li256[0],&li257[0],
2112 &li258[0],&li259[0],&li260[0],&li261[0],&li262[0],&li263[0],
2113 &li264[0],&li265[0],&li266[0],&li267[0],&li268[0],&li269[0],
2114 &li270[0],&li271[0],&li272[0],&li273[0],&li274[0],&li275[0],
2115 &li276[0],&li277[0],&li278[0],&li279[0],&li280[0],&li281[0],
2116 &li282[0],&li283[0],&li284[0],&li285[0],&li286[0],&li287[0],
2117 &li288[0],&li289[0],&li290[0],&li291[0],&li292[0],&li293[0],
2118 &li294[0],&li295[0],&li296[0],&li297[0],&li298[0],&li299[0],
2119 &li300[0],&li301[0],&li302[0],&li303[0],&li304[0],&li305[0],
2120 &li306[0],&li307[0],&li308[0],&li309[0],&li310[0],&li311[0],
2121 &li312[0],&li313[0],&li314[0],&li315[0],&li316[0],&li317[0],
2122 &li318[0],&li319[0],&li320[0],&li321[0],&li322[0],&li323[0],
2123 &li324[0],&li325[0],&li326[0],&li327[0],&li328[0],&li329[0],
2124 &li330[0],&li331[0],&li332[0],&li333[0],&li334[0],&li335[0],
2125 &li336[0],&li337[0],&li338[0],&li339[0],&li340[0],&li341[0],
2126 &li342[0],&li343[0],&li344[0],&li345[0],&li346[0],&li347[0],
2127 &li348[0],&li349[0],&li350[0],&li351[0],&li352[0],&li353[0],
2128 &li354[0],&li355[0],&li356[0],&li357[0],&li358[0],&li359[0],
2129 &li360[0],&li361[0],&li362[0],&li363[0],&li364[0],&li365[0],
2130 &li366[0],&li367[0],&li368[0],&li369[0],&li370[0],&li371[0],
2131 &li372[0],&li373[0],&li374[0],&li375[0],&li376[0],&li377[0],
2132 &li378[0],&li379[0],&li380[0],&li381[0],&li382[0],&li383[0],
2133 &li384[0],&li385[0],&li386[0],&li387[0],&li388[0],&li389[0],
2134 &li390[0],&li391[0],&li392[0],&li393[0],&li394[0],&li395[0],
2135 &li396[0],&li397[0],&li398[0],&li399[0],
2144 for (
int i=0;
i<n;
i++) {
2148 }
else if (
i < 100) {
2156 for (
int i=0;
i<n/2;
i++) {
2160 }
else if (
i < 100) {