st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Imported tests

Browse source
This commit is contained in:
Dmitry Boulytchev 2018-02-25 15:50:03 +03:00
parent 74341d0f5f
commit 30537ff6ba
7 changed files with 17 additions and 530 deletions
Download patch file Download diff file Expand all files Collapse all files

9
regression/Makefile
View file

@ -1,13 +1,14 @@
TESTS=test001 test002 test003 test004 test005 test006 test007 test008 test009 test010 test011 test012 test013 test014 test015 test016 test017 test018 test019 test020 test021 test022 test023 test024 test025 test026 test027 test028 test029 test030 test031
TESTS=test001 test002 test003 test004 test005 test006 test007 test008
RC=../src/rc.opt
.PHONY: check $(TESTS)
check: $(TESTS)
$(TESTS): %: %.expr
../rc.native $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
cat $@.input | ../rc.native -i $< > $@.log && diff $@.log orig/$@.log
cat $@.input | ../rc.native -s $< > $@.log && diff $@.log orig/$@.log
cat $@.input | $(RC) -i $< > $@.log && diff $@.log orig/$@.log
cat $@.input | $(RC) -s $< > $@.log && diff $@.log orig/$@.log
clean:
rm -f test*.log *.s *~ $(TESTS)

6
regression/common.ml
View file

@ -1,6 +0,0 @@
open GT
open Syntax.Expr
open Embedding
let state ps = List.fold_right (fun (x, v) s -> update x v s) ps empty
let eval s e = Printf.printf "%d\n" (eval s e)

7
regression/deep-expressions/Makefile
View file

@ -1,13 +1,14 @@
TESTS=$(basename $(wildcard generated*.expr))
RC = ../../src/rc.opt
.PHONY: check $(TESTS)
check: $(TESTS)
$(TESTS): %: %.expr
RC_RUNTIME=../../runtime ../../rc.native $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
cat $@.input | RC_RUNTIME=../../runtime ../../rc.native -i $< > $@.log && diff $@.log orig/$@.log
cat $@.input | RC_RUNTIME=../../runtime ../../rc.native -s $< > $@.log && diff $@.log orig/$@.log
cat $@.input | $(RC) -i $< > $@.log && diff $@.log orig/$@.log
cat $@.input | $(RC) -s $< > $@.log && diff $@.log orig/$@.log
clean:
rm -f *.log *.s *~ $(TESTS)

7
regression/expressions/Makefile
View file

@ -1,13 +1,14 @@
TESTS=$(basename $(wildcard generated*.expr))
RC = ../../src/rc.opt
.PHONY: check $(TESTS)
check: $(TESTS)
$(TESTS): %: %.expr
RC_RUNTIME=../../runtime ../../rc.native $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
cat $@.input | RC_RUNTIME=../../runtime ../../rc.native -i $< > $@.log && diff $@.log orig/$@.log
cat $@.input | RC_RUNTIME=../../runtime ../../rc.native -s $< > $@.log && diff $@.log orig/$@.log
cat $@.input | $(RC) -i $< > $@.log && diff $@.log orig/$@.log
cat $@.input | $(RC) -s $< > $@.log && diff $@.log orig/$@.log
clean:
rm -f *.log *.s *~ $(TESTS)

102
regression/orig/test000.log
View file

@ -1,102 +0,0 @@
627247349
-177865
23164
-6700511400
181959310000
422025
2383
556
-32896
-327030
479444
220411694581
53473
85714200
78216126
2940
-51885685782
-356943
-384839196
25256663040
-764493341376
1052215161244342
5483398214
-396513052110549
-127878534
-615818
-50127689595846096
21070865361
-7198345243
947588346
94756902
-525991
-1002302620
1747914667703841
-21857977456226
-6756188561647200
260030
-382591
19004856578
-372008
55605271039900730
1682611700987842
3961407451536056086
-1858093700125774208
2929140347488058399
-3863847358269717256
-2487662978466835076
-3443733562308592
138411798956
-213814817612901936
-5689445018333020
1750
0
-20
0
0
0
1
1
0
0
1
1
1
1
1
1
1
0
0
0
1
1
1
1
3
1
1
1
0
0
0
0
1
0
1
1
0
1
-690
1
0
1
1
1
1
0
1
0
0
0
0

5
regression/test.sh
View file

@ -1 +1,4 @@
make TOPFILE=test000
make check
pushd expressions && make check && popd
pushd deep-expressions && make check && popd

411
regression/test000.ml
View file

@ -1,411 +0,0 @@
open Embedding
open Common
eval
(state ["x0", 772; "x1", 270; "x2", 779; ])
(((((! "x2") + (!? 264)) * ((! "x0") * (! "x2"))) - (((! "x2") - (! "x0")) + ((!? 58) + (! "x1")))));
eval
(state ["x0", 152; "x1", 735; "x2", 825; ])
(((((!? 20) + (! "x2")) - ((!? 442) * (! "x1"))) + (((! "x2") - (! "x1")) * ((!? 799) + (! "x2")))));
eval
(state ["x0", 233; "x1", 682; "x2", 165; ])
(((((!? 403) + (!? 641)) + ((!? 197) + (!? 788))) - (((! "x0") - (! "x2")) - ((! "x0") * (!? 91)))));
eval
(state ["x0", 380; "x1", 120; "x2", 283; ])
(((((!? 763) * (! "x1")) + ((! "x2") * (! "x0"))) * (((!? 75) + (!? 231)) - ((! "x1") * (! "x2")))));
eval
(state ["x0", 351; "x1", 786; "x2", 52; ])
(((((!? 312) * (! "x1")) * ((!? 944) * (! "x1"))) + (((! "x0") + (! "x2")) * ((! "x2") * (! "x2")))));
eval
(state ["x0", 829; "x1", 146; "x2", 601; ])
(((((! "x1") + (! "x2")) + ((!? 264) * (!? 312))) + (((! "x1") + (!? 91)) * ((! "x0") + (! "x2")))));
eval
(state ["x0", 288; "x1", 299; "x2", 455; ])
(((((!? 797) - (! "x2")) + ((!? 473) + (!? 970))) - (((!? 348) - (!? 995)) + ((! "x2") - (!? 406)))));
eval
(state ["x0", 986; "x1", 185; "x2", 163; ])
(((((!? 290) - (!? 865)) + ((!? 289) + (! "x1"))) + (((!? 34) - (! "x2")) + ((!? 135) + (!? 651)))));
eval
(state ["x0", 205; "x1", 352; "x2", 947; ])
(((((! "x2") + (!? 757)) + ((!? 352) + (!? 957))) - (((!? 126) * (!? 296)) - ((!? 628) + (!? 759)))));
eval
(state ["x0", 405; "x1", 434; "x2", 999; ])
(((((!? 195) + (! "x0")) * ((!? 591) + (! "x1"))) - (((! "x0") + (! "x0")) * ((!? 164) + (! "x2")))));
eval
(state ["x0", 697; "x1", 245; "x2", 438; "x3", 652; ])
(((((! "x3") * (! "x0")) - ((! "x3") * (!? 0))) + (((!? 202) * (!? 126)) - ((! "x0") - (! "x1")))));
eval
(state ["x0", 296; "x1", 843; "x2", 403; "x3", 629; ])
(((((! "x3") * (! "x3")) + ((!? 628) + (!? 920))) * (((! "x0") * (! "x3")) + ((! "x2") * (!? 915)))));
eval
(state ["x0", 102; "x1", 232; "x2", 130; "x3", 226; ])
(((((! "x3") + (!? 662)) - ((! "x2") + (!? 329))) + (((!? 68) - (!? 606)) + ((!? 73) * (!? 734)))));
eval
(state ["x0", 855; "x1", 4; "x2", 569; "x3", 49; ])
(((((! "x3") + (!? 901)) - ((!? 8) - (!? 345))) * (((!? 639) * (!? 420)) - ((!? 236) * (! "x0")))));
eval
(state ["x0", 477; "x1", 362; "x2", 724; "x3", 801; ])
(((((! "x0") * (! "x2")) + ((!? 776) + (!? 182))) + (((!? 801) - (! "x1")) * ((! "x1") * (!? 490)))));
eval
(state ["x0", 688; "x1", 113; "x2", 498; "x3", 881; ])
(((((! "x2") + (!? 566)) + ((! "x0") + (! "x2"))) + (((! "x2") + (!? 576)) - ((!? 271) + (! "x1")))));
eval
(state ["x0", 450; "x1", 106; "x2", 801; "x3", 428; ])
(((((! "x1") - (! "x0")) * ((!? 126) * (! "x3"))) - (((!? 761) * (! "x0")) * ((!? 539) * (!? 281)))));
eval
(state ["x0", 230; "x1", 92; "x2", 397; "x3", 149; ])
(((((! "x2") + (! "x3")) * ((! "x1") - (!? 745))) + (((! "x0") + (! "x3")) - ((!? 335) + (!? 449)))));
eval
(state ["x0", 674; "x1", 642; "x2", 658; "x3", 658; ])
(((((! "x1") * (! "x3")) * ((!? 322) + (!? 83))) - (((! "x0") + (! "x1")) * ((! "x3") * (! "x1")))));
eval
(state ["x0", 260; "x1", 447; "x2", 700; "x3", 613; ])
(((((!? 633) - (! "x2")) * ((! "x2") + (! "x0"))) * (((!? 475) - (! "x1")) - ((!? 561) * (! "x2")))));
eval
(state ["x0", 633; "x1", 613; "x2", 433; "x3", 288; "x4", 857; ])
((((((!? 165) + (! "x0")) * ((! "x4") * (! "x2"))) - (((! "x4") + (!? 613)) - ((!? 471) * (!? 656)))) * ((((! "x2") - (! "x0")) + ((!? 303) - (!? 449))) - (((!? 385) + (! "x0")) + ((!? 782) + (! "x2"))))));
eval
(state ["x0", 947; "x1", 730; "x2", 835; "x3", 646; "x4", 995; ])
((((((!? 335) * (! "x0")) * ((!? 841) - (!? 650))) * (((!? 827) - (!? 748)) * ((!? 437) * (!? 503)))) - ((((! "x0") + (!? 519)) * ((! "x3") * (!? 285))) - (((! "x0") + (!? 207)) + ((! "x0") + (! "x3"))))));
eval
(state ["x0", 203; "x1", 521; "x2", 582; "x3", 13; "x4", 729; ])
((((((! "x4") + (! "x2")) - ((! "x1") + (! "x4"))) - (((!? 257) * (!? 959)) * ((! "x4") - (! "x4")))) * ((((! "x2") * (! "x2")) - ((! "x2") + (! "x0"))) * (((!? 877) - (!? 509)) + ((!? 419) - (! "x1"))))));
eval
(state ["x0", 20; "x1", 382; "x2", 143; "x3", 4; "x4", 709; ])
((((((! "x4") + (!? 958)) - ((!? 739) - (! "x2"))) - (((! "x1") + (! "x1")) + ((! "x1") * (!? 737)))) * ((((! "x4") - (!? 946)) + ((!? 212) * (!? 645))) * (((! "x4") - (!? 660)) + ((! "x0") * (!? 514))))));
eval
(state ["x0", 991; "x1", 50; "x2", 719; "x3", 911; "x4", 24; ])
((((((!? 624) * (! "x0")) * ((!? 113) - (!? 320))) - (((!? 270) * (! "x4")) + ((!? 390) + (!? 814)))) - ((((! "x1") - (! "x4")) - ((! "x0") + (! "x3"))) + (((!? 633) - (! "x4")) * ((!? 501) - (! "x2"))))));
eval
(state ["x0", 535; "x1", 435; "x2", 714; "x3", 581; "x4", 354; ])
((((((! "x0") * (!? 370)) + ((!? 24) - (! "x1"))) + (((!? 120) * (!? 219)) + ((! "x3") - (!? 986)))) + ((((! "x0") + (!? 87)) + ((! "x0") + (! "x0"))) * (((! "x3") - (!? 301)) - ((!? 567) + (!? 209))))));
eval
(state ["x0", 426; "x1", 446; "x2", 160; "x3", 458; "x4", 160; ])
((((((!? 816) * (! "x4")) - ((! "x0") + (! "x0"))) + (((! "x0") + (!? 807)) - ((! "x4") - (! "x1")))) * ((((!? 640) + (!? 266)) - ((!? 768) * (!? 810))) * (((!? 390) + (!? 559)) * ((!? 724) - (!? 76))))));
eval
(state ["x0", 938; "x1", 524; "x2", 256; "x3", 582; "x4", 967; ])
((((((!? 879) * (!? 234)) * ((! "x4") * (!? 59))) - (((!? 770) - (! "x1")) + ((! "x0") + (!? 973)))) + ((((!? 254) + (!? 726)) * ((!? 542) - (! "x1"))) * (((!? 228) * (! "x2")) + ((! "x0") * (!? 502))))));
eval
(state ["x0", 109; "x1", 795; "x2", 155; "x3", 658; "x4", 30; ])
((((((!? 422) + (!? 379)) + ((!? 211) + (! "x0"))) - (((!? 206) + (! "x3")) + ((! "x3") - (! "x3")))) + ((((!? 895) + (!? 411)) * ((! "x4") - (! "x2"))) * (((! "x1") - (!? 628)) + ((! "x0") * (!? 403))))));
eval
(state ["x0", 795; "x1", 262; "x2", 666; "x3", 694; "x4", 943; ])
((((((! "x4") - (!? 177)) - ((! "x3") - (!? 886))) * (((!? 836) * (! "x4")) + ((!? 289) * (! "x3")))) + ((((!? 260) + (! "x0")) - ((! "x4") - (! "x3"))) + (((!? 460) * (!? 450)) + ((! "x2") + (! "x1"))))));
eval
(state ["x0", 509; "x1", 876; "x2", 280; "x3", 393; "x4", 446; "x5", 128; ])
((((((!? 855) + (! "x4")) + ((!? 215) + (! "x0"))) + (((!? 481) - (!? 776)) - ((! "x4") - (! "x4")))) - ((((!? 712) + (!? 485)) + ((!? 971) * (!? 781))) + (((! "x2") * (! "x3")) * ((! "x5") - (!? 996))))));
eval
(state ["x0", 561; "x1", 549; "x2", 417; "x3", 639; "x4", 507; "x5", 439; ])
((((((! "x1") * (!? 291)) - ((! "x5") - (!? 858))) - (((! "x2") * (! "x4")) + ((!? 827) * (! "x1")))) - ((((! "x3") - (! "x3")) - ((!? 599) * (! "x4"))) - (((! "x5") - (!? 886)) - ((! "x4") * (! "x3"))))));
eval
(state ["x0", 695; "x1", 148; "x2", 358; "x3", 175; "x4", 75; "x5", 193; ])
((((((!? 331) - (!? 292)) + ((! "x1") * (! "x5"))) - (((!? 310) * (!? 304)) * ((! "x4") - (! "x4")))) + ((((! "x5") + (! "x2")) * ((! "x0") + (!? 732))) - (((!? 396) * (! "x5")) * ((! "x3") * (! "x4"))))));
eval
(state ["x0", 858; "x1", 997; "x2", 883; "x3", 987; "x4", 121; "x5", 53; ])
((((((!? 725) * (!? 587)) + ((!? 144) * (!? 91))) * (((! "x5") + (!? 590)) + ((! "x5") * (!? 618)))) * ((((! "x4") - (! "x2")) + ((! "x4") + (! "x4"))) - (((!? 931) - (! "x4")) - ((! "x1") * (! "x4"))))));
eval
(state ["x0", 988; "x1", 748; "x2", 167; "x3", 781; "x4", 981; "x5", 769; ])
((((((! "x4") * (! "x3")) - ((!? 83) * (!? 619))) + (((!? 726) - (! "x5")) * ((! "x1") + (!? 38)))) - ((((!? 91) * (! "x0")) + ((!? 0) + (! "x4"))) * (((!? 949) - (!? 511)) * ((! "x5") * (!? 714))))));
eval
(state ["x0", 647; "x1", 166; "x2", 61; "x3", 125; "x4", 256; "x5", 171; ])
((((((!? 598) - (!? 288)) - ((!? 23) * (! "x0"))) + (((! "x3") - (! "x1")) - ((! "x1") * (!? 906)))) * ((((!? 895) * (! "x2")) * ((! "x4") - (! "x1"))) * (((!? 179) - (! "x1")) * ((! "x5") + (!? 470))))));
eval
(state ["x0", 190; "x1", 823; "x2", 226; "x3", 530; "x4", 417; "x5", 536; ])
((((((!? 633) + (!? 989)) + ((! "x3") * (!? 957))) - (((! "x5") * (! "x1")) - ((!? 872) - (!? 998)))) + ((((! "x3") * (!? 644)) - ((! "x1") * (!? 182))) + (((!? 387) + (!? 662)) - ((!? 321) - (! "x0"))))));
eval
(state ["x0", 351; "x1", 771; "x2", 843; "x3", 415; "x4", 762; "x5", 986; ])
((((((!? 72) + (! "x2")) - ((!? 830) * (!? 335))) + (((! "x1") - (!? 634)) + ((!? 550) * (!? 660)))) + ((((!? 960) * (!? 482)) - ((! "x3") - (! "x2"))) - (((! "x1") * (! "x3")) + ((!? 704) * (!? 869))))));
eval
(state ["x0", 67; "x1", 188; "x2", 687; "x3", 888; "x4", 597; "x5", 185; ])
((((((!? 914) - (! "x5")) + ((!? 139) * (! "x4"))) * (((! "x5") * (! "x0")) + ((!? 262) * (!? 822)))) + ((((!? 748) - (! "x2")) - ((! "x4") * (! "x0"))) * (((! "x1") + (! "x3")) + ((!? 392) + (! "x0"))))));
eval
(state ["x0", 822; "x1", 27; "x2", 601; "x3", 277; "x4", 790; "x5", 163; ])
((((((! "x2") - (!? 326)) * ((! "x4") - (! "x0"))) - (((! "x0") - (! "x5")) + ((!? 749) - (!? 84)))) - ((((! "x2") * (! "x2")) + ((! "x5") - (!? 7))) - (((! "x5") - (! "x5")) + ((!? 295) - (! "x0"))))));
eval
(state ["x0", 447; "x1", 286; "x2", 940; "x3", 522; "x4", 79; "x5", 750; "x6", 41; ])
(((((((!? 473) - (! "x3")) + ((!? 542) * (! "x3"))) - (((! "x6") + (! "x6")) * ((! "x3") * (!? 73)))) * ((((!? 104) + (!? 675)) * ((! "x5") * (!? 984))) + (((!? 508) + (!? 372)) - ((! "x3") * (!? 665))))) + (((((! "x0") + (!? 401)) - ((!? 40) - (! "x4"))) + (((!? 755) * (! "x4")) - ((! "x4") + (!? 395)))) * ((((!? 831) * (! "x6")) * ((!? 423) - (! "x4"))) * (((! "x4") + (!? 584)) + ((! "x1") * (!? 282)))))));
eval
(state ["x0", 221; "x1", 581; "x2", 872; "x3", 554; "x4", 448; "x5", 158; "x6", 566; ])
(((((((! "x1") * (! "x5")) - ((! "x0") - (! "x2"))) + (((! "x1") - (!? 136)) - ((! "x5") * (! "x2")))) - ((((!? 991) * (!? 724)) * ((!? 704) - (!? 685))) - (((! "x3") - (! "x1")) + ((!? 95) - (!? 88))))) * (((((!? 435) + (!? 822)) - ((!? 917) + (!? 694))) * (((!? 659) * (!? 530)) - ((! "x3") + (! "x3")))) - ((((!? 472) + (!? 689)) - ((!? 401) * (! "x6"))) - (((!? 410) - (! "x4")) + ((!? 118) - (! "x6")))))));
eval
(state ["x0", 48; "x1", 182; "x2", 660; "x3", 388; "x4", 19; "x5", 893; "x6", 40; ])
(((((((! "x2") - (!? 267)) + ((!? 775) + (!? 400))) * (((!? 987) - (! "x1")) + ((! "x3") * (!? 525)))) * ((((!? 401) * (!? 360)) + ((!? 659) * (!? 900))) * (((! "x3") - (! "x6")) * ((! "x3") + (! "x5"))))) - (((((!? 288) - (! "x0")) + ((!? 8) * (!? 172))) + (((!? 376) * (!? 547)) - ((! "x1") * (! "x6")))) - ((((!? 543) - (!? 532)) - ((! "x0") + (! "x5"))) - (((!? 382) + (! "x6")) * ((!? 48) * (! "x0")))))));
eval
(state ["x0", 694; "x1", 320; "x2", 664; "x3", 177; "x4", 276; "x5", 915; "x6", 522; ])
(((((((! "x5") + (!? 925)) * ((!? 670) - (!? 385))) * (((!? 720) - (! "x3")) + ((!? 717) - (! "x2")))) - ((((! "x3") + (!? 775)) * ((! "x3") - (!? 656))) * (((!? 457) * (!? 230)) - ((! "x0") * (!? 93))))) - (((((! "x1") * (!? 659)) - ((! "x1") * (! "x0"))) * (((! "x1") * (!? 669)) * ((!? 321) - (!? 768)))) * ((((!? 529) * (!? 892)) - ((! "x4") - (!? 692))) * (((!? 10) + (! "x3")) + ((!? 620) - (! "x0")))))));
eval
(state ["x0", 177; "x1", 721; "x2", 934; "x3", 491; "x4", 855; "x5", 334; "x6", 556; ])
(((((((!? 883) - (!? 256)) * ((! "x3") + (!? 464))) * (((!? 427) * (!? 734)) * ((!? 753) * (!? 335)))) * ((((! "x0") + (! "x0")) + ((!? 362) + (! "x4"))) + (((!? 551) - (!? 650)) + ((! "x0") + (! "x6"))))) - (((((!? 959) * (!? 440)) + ((!? 687) * (!? 87))) + (((! "x4") * (!? 318)) + ((! "x2") * (!? 700)))) - ((((!? 66) * (!? 69)) - ((!? 346) + (!? 226))) - (((! "x5") * (!? 223)) - ((! "x0") - (! "x1")))))));
eval
(state ["x0", 505; "x1", 760; "x2", 119; "x3", 375; "x4", 900; "x5", 53; "x6", 857; ])
(((((((!? 254) * (!? 669)) + ((!? 646) + (! "x3"))) * (((!? 413) - (!? 783)) * ((!? 17) + (! "x5")))) - ((((!? 162) + (!? 310)) - ((!? 927) - (! "x5"))) * (((!? 336) + (! "x3")) - ((! "x4") - (! "x1"))))) * (((((! "x6") - (!? 95)) * ((!? 72) + (!? 811))) - (((!? 569) + (!? 952)) * ((! "x2") * (!? 523)))) * ((((! "x4") - (!? 70)) - ((!? 583) + (!? 620))) + (((!? 994) - (! "x5")) - ((! "x6") - (!? 989)))))));
eval
(state ["x0", 366; "x1", 284; "x2", 829; "x3", 703; "x4", 565; "x5", 603; "x6", 7; ])
(((((((! "x1") * (!? 977)) * ((!? 483) * (! "x3"))) - (((!? 11) + (!? 72)) * ((! "x1") - (!? 502)))) * ((((!? 24) - (! "x2")) * ((!? 187) + (! "x2"))) + (((! "x3") - (!? 876)) - ((!? 520) - (! "x5"))))) * (((((!? 735) + (!? 271)) - ((!? 477) - (!? 186))) + (((!? 308) + (!? 298)) * ((!? 950) + (! "x5")))) * ((((! "x5") * (! "x3")) + ((!? 903) - (!? 521))) + (((! "x5") - (! "x0")) + ((!? 203) * (!? 63)))))));
eval
(state ["x0", 274; "x1", 152; "x2", 649; "x3", 245; "x4", 523; "x5", 580; "x6", 714; ])
(((((((! "x2") * (! "x2")) - ((!? 383) * (! "x4"))) * (((!? 642) + (!? 68)) + ((! "x4") * (!? 317)))) * ((((! "x6") - (!? 621)) * ((!? 334) + (! "x2"))) + (((!? 181) + (! "x5")) - ((! "x0") + (!? 990))))) - (((((! "x2") + (! "x2")) * ((! "x3") - (! "x1"))) + (((!? 624) - (!? 636)) + ((! "x5") + (! "x5")))) * ((((! "x5") + (!? 624)) * ((! "x0") + (! "x4"))) * (((! "x1") * (!? 392)) - ((!? 884) + (!? 656)))))));
eval
(state ["x0", 37; "x1", 905; "x2", 599; "x3", 116; "x4", 494; "x5", 253; "x6", 499; ])
(((((((!? 277) * (!? 741)) + ((!? 722) + (!? 866))) + (((! "x3") + (! "x6")) * ((!? 844) + (! "x6")))) + ((((!? 489) - (! "x5")) * ((! "x3") * (!? 488))) * (((!? 276) + (! "x3")) - ((!? 198) + (! "x2"))))) - (((((!? 106) + (! "x2")) * ((! "x4") + (! "x0"))) - (((! "x4") - (!? 151)) + ((! "x5") - (!? 763)))) - ((((! "x4") * (!? 501)) * ((! "x1") - (!? 653))) * (((!? 795) + (! "x1")) - ((! "x3") - (!? 722)))))));
eval
(state ["x0", 166; "x1", 338; "x2", 85; "x3", 858; "x4", 664; "x5", 187; "x6", 566; ])
(((((((!? 101) * (!? 735)) + ((! "x5") - (!? 951))) * (((! "x1") * (!? 557)) - ((! "x0") - (! "x4")))) * ((((!? 23) + (! "x0")) + ((!? 237) - (! "x6"))) + (((!? 338) * (!? 64)) * ((! "x0") - (! "x3"))))) * (((((!? 24) + (! "x6")) + ((!? 871) + (! "x1"))) - (((! "x1") + (!? 689)) * ((!? 599) - (! "x4")))) + ((((! "x5") + (!? 485)) + ((! "x0") - (! "x5"))) + (((! "x2") + (!? 903)) - ((!? 268) * (! "x1")))))));
eval
(state ["x0", 276; "x1", 354; "x2", 699; "x3", 367; "x4", 93; "x5", 559; "x6", 12; "x7", 14; ])
(((((((! "x0") - (! "x4")) + ((! "x2") - (! "x2"))) * (((!? 983) + (!? 436)) - ((!? 166) - (! "x7")))) + ((((!? 238) * (! "x2")) + ((!? 210) - (! "x7"))) + (((!? 201) - (!? 781)) + ((! "x2") - (!? 28))))) * (((((!? 866) + (!? 455)) + ((!? 783) * (! "x4"))) * (((!? 977) - (! "x4")) * ((! "x6") - (!? 229)))) - ((((! "x2") + (!? 740)) * ((! "x4") * (!? 496))) + (((! "x6") - (!? 42)) * ((!? 719) * (!? 543)))))));
eval
(state ["x0", 476; "x1", 183; "x2", 881; ])
(((((! "x2") + (!? 869)) - ((! "x1") > (!? 308))) + (((! "x1") || (! "x0")) >= ((! "x0") + (!? 0)))));
eval
(state ["x0", 246; "x1", 317; "x2", 804; ])
(((((! "x0") - (!? 523)) < ((!? 723) == (!? 961))) * (((! "x1") != (! "x1")) || ((!? 130) >= (!? 627)))));
eval
(state ["x0", 211; "x1", 68; "x2", 317; ])
(((((! "x1") > (! "x1")) + ((! "x1") - (!? 88))) + (((!? 535) > (! "x0")) < ((!? 565) >= (! "x2")))));
eval
(state ["x0", 523; "x1", 188; "x2", 920; ])
(((((! "x1") + (!? 350)) || ((! "x1") != (!? 634))) == (((! "x2") <= (!? 860)) >= ((! "x0") || (! "x1")))));
eval
(state ["x0", 877; "x1", 434; "x2", 278; ])
(((((! "x1") && (!? 927)) < ((!? 742) < (!? 390))) > (((!? 2) > (! "x1")) * ((! "x2") >= (!? 879)))));
eval
(state ["x0", 745; "x1", 991; "x2", 725; ])
(((((!? 305) >= (!? 820)) >= ((!? 9) != (!? 528))) != (((! "x2") >= (!? 727)) == ((! "x2") && (! "x0")))));
eval
(state ["x0", 586; "x1", 518; "x2", 454; ])
(((((! "x2") > (!? 215)) == ((! "x2") * (! "x0"))) < (((! "x0") - (!? 809)) != ((!? 993) != (!? 437)))));
eval
(state ["x0", 875; "x1", 938; "x2", 833; ])
(((((!? 135) > (! "x2")) > ((!? 925) && (!? 179))) >= (((! "x2") || (!? 396)) < ((! "x2") >= (!? 85)))));
eval
(state ["x0", 320; "x1", 764; "x2", 341; ])
(((((! "x0") > (! "x1")) >= ((!? 113) * (!? 551))) && (((!? 910) < (!? 324)) > ((!? 814) - (! "x2")))));
eval
(state ["x0", 58; "x1", 176; "x2", 182; ])
(((((! "x0") + (!? 955)) || ((! "x2") || (! "x2"))) * (((! "x1") || (! "x0")) > ((! "x2") + (!? 118)))));
eval
(state ["x0", 176; "x1", 207; "x2", 710; "x3", 873; ])
(((((! "x3") || (!? 564)) || ((!? 636) + (!? 543))) != (((! "x0") != (! "x1")) - ((! "x3") && (! "x1")))));
eval
(state ["x0", 383; "x1", 338; "x2", 176; "x3", 202; ])
(((((!? 543) > (!? 850)) * ((! "x2") >= (! "x3"))) || (((!? 459) == (! "x2")) != ((!? 314) > (!? 77)))));
eval
(state ["x0", 277; "x1", 241; "x2", 91; "x3", 259; ])
(((((!? 924) && (!? 260)) - ((!? 54) != (! "x0"))) || (((!? 307) || (! "x3")) * ((!? 94) - (!? 299)))));
eval
(state ["x0", 502; "x1", 31; "x2", 230; "x3", 288; ])
(((((!? 298) - (!? 423)) || ((!? 394) < (!? 502))) != (((!? 369) != (!? 462)) - ((! "x2") <= (!? 621)))));
eval
(state ["x0", 398; "x1", 208; "x2", 808; "x3", 564; ])
(((((! "x0") > (!? 95)) && ((! "x1") < (! "x3"))) || (((! "x2") || (!? 223)) || ((! "x2") + (!? 857)))));
eval
(state ["x0", 455; "x1", 633; "x2", 821; "x3", 915; ])
(((((!? 54) > (!? 174)) || ((! "x1") > (! "x1"))) >= (((! "x2") && (!? 928)) >= ((!? 612) - (!? 285)))));
eval
(state ["x0", 896; "x1", 770; "x2", 426; "x3", 754; ])
(((((!? 253) <= (!? 595)) <= ((! "x1") < (! "x2"))) < (((!? 691) < (!? 573)) <= ((! "x0") && (!? 954)))));
eval
(state ["x0", 195; "x1", 544; "x2", 963; "x3", 311; ])
(((((!? 235) <= (! "x2")) + ((! "x1") + (! "x3"))) == (((! "x3") * (!? 353)) < ((! "x2") && (!? 984)))));
eval
(state ["x0", 988; "x1", 974; "x2", 627; "x3", 543; ])
(((((! "x3") != (! "x3")) - ((!? 264) && (! "x3"))) > (((!? 258) || (!? 710)) < ((!? 743) * (! "x3")))));
eval
(state ["x0", 902; "x1", 175; "x2", 705; "x3", 154; ])
(((((!? 180) && (! "x1")) == ((! "x1") || (! "x0"))) - (((!? 552) - (!? 164)) && ((! "x1") == (! "x1")))));
eval
(state ["x0", 256; "x1", 359; "x2", 496; "x3", 200; "x4", 555; ])
((((((! "x0") + (!? 297)) == ((!? 8) - (! "x3"))) && (((!? 586) > (!? 22)) - ((!? 84) > (!? 320)))) + ((((! "x4") && (!? 587)) * ((!? 107) - (!? 233))) || (((! "x0") > (! "x2")) + ((! "x0") - (!? 445))))));
eval
(state ["x0", 691; "x1", 557; "x2", 458; "x3", 321; "x4", 764; ])
((((((!? 523) < (! "x1")) * ((!? 416) + (! "x3"))) == (((!? 685) < (!? 258)) && ((!? 20) == (! "x3")))) == ((((! "x1") || (!? 269)) != ((!? 888) > (!? 485))) >= (((! "x0") - (! "x0")) != ((! "x0") || (!? 771))))));
eval
(state ["x0", 211; "x1", 212; "x2", 654; "x3", 107; "x4", 609; ])
((((((! "x0") * (!? 921)) == ((! "x2") * (! "x2"))) >= (((! "x2") && (! "x1")) <= ((! "x4") || (! "x2")))) <= ((((!? 971) * (! "x3")) != ((!? 706) <= (!? 929))) != (((! "x2") || (! "x3")) > ((! "x4") && (!? 927))))));
eval
(state ["x0", 439; "x1", 542; "x2", 740; "x3", 67; "x4", 3; ])
((((((!? 679) - (!? 175)) < ((! "x4") >= (!? 987))) == (((!? 902) != (!? 729)) || ((!? 685) - (! "x3")))) <= ((((! "x0") <= (! "x4")) && ((! "x4") - (! "x0"))) >= (((! "x1") <= (! "x1")) != ((! "x2") * (! "x0"))))));
eval
(state ["x0", 870; "x1", 274; "x2", 796; "x3", 95; "x4", 619; ])
((((((! "x2") > (!? 68)) > ((!? 979) > (! "x4"))) != (((! "x4") <= (! "x2")) && ((! "x0") >= (! "x0")))) + ((((!? 262) + (! "x3")) > ((! "x2") > (! "x2"))) + (((!? 394) > (! "x2")) == ((!? 697) == (!? 844))))));
eval
(state ["x0", 531; "x1", 961; "x2", 937; "x3", 779; "x4", 337; ])
((((((! "x2") < (! "x1")) == ((! "x0") - (! "x3"))) && (((!? 53) <= (!? 565)) * ((!? 601) <= (!? 585)))) != ((((! "x2") != (! "x4")) >= ((! "x3") != (!? 182))) != (((! "x1") >= (!? 386)) < ((!? 214) && (!? 140))))));
eval
(state ["x0", 203; "x1", 762; "x2", 156; "x3", 910; "x4", 837; ])
((((((! "x2") >= (!? 156)) - ((!? 752) && (!? 401))) != (((! "x0") <= (!? 704)) - ((! "x3") && (!? 444)))) != ((((! "x3") != (!? 677)) != ((! "x0") * (! "x0"))) || (((! "x3") * (!? 326)) && ((!? 890) >= (! "x0"))))));
eval
(state ["x0", 56; "x1", 979; "x2", 696; "x3", 362; "x4", 380; ])
((((((! "x1") <= (! "x0")) >= ((!? 174) == (!? 843))) > (((!? 206) < (!? 659)) != ((!? 406) < (! "x3")))) == ((((!? 470) - (!? 978)) > ((!? 228) == (!? 155))) && (((!? 949) != (!? 856)) && ((!? 720) != (!? 743))))));
eval
(state ["x0", 731; "x1", 585; "x2", 666; "x3", 661; "x4", 746; ])
((((((!? 144) >= (! "x3")) != ((! "x2") >= (!? 668))) == (((!? 849) == (!? 624)) < ((!? 405) >= (! "x4")))) * ((((! "x4") - (! "x0")) >= ((!? 578) <= (! "x2"))) - (((! "x2") != (! "x3")) - ((!? 190) > (! "x1"))))));
eval
(state ["x0", 259; "x1", 264; "x2", 997; "x3", 905; "x4", 0; ])
((((((!? 381) != (! "x1")) < ((! "x3") || (! "x2"))) <= (((! "x4") || (! "x4")) && ((! "x4") + (! "x1")))) < ((((!? 186) <= (! "x3")) >= ((! "x4") == (!? 931))) - (((! "x1") + (!? 185)) && ((! "x4") < (!? 986))))));
eval
(state ["x0", 197; "x1", 986; "x2", 414; "x3", 476; "x4", 175; "x5", 468; ])
((((((! "x3") && (! "x0")) != ((! "x3") + (!? 79))) * (((!? 849) < (!? 679)) >= ((! "x2") * (!? 906)))) - ((((!? 103) - (! "x1")) >= ((! "x3") < (!? 78))) * (((!? 108) > (! "x2")) + ((!? 159) <= (! "x3"))))));
eval
(state ["x0", 315; "x1", 607; "x2", 122; "x3", 908; "x4", 139; "x5", 6; ])
((((((! "x4") + (!? 697)) || ((!? 914) >= (!? 381))) + (((!? 436) && (! "x4")) && ((!? 671) && (!? 812)))) < ((((! "x1") == (!? 755)) > ((! "x2") && (! "x1"))) * (((! "x2") < (!? 785)) < ((! "x5") >= (! "x5"))))));
eval
(state ["x0", 729; "x1", 885; "x2", 916; "x3", 878; "x4", 575; "x5", 548; ])
((((((!? 75) - (!? 299)) > ((!? 445) < (! "x2"))) < (((! "x4") <= (!? 286)) - ((!? 687) <= (! "x4")))) + ((((!? 689) - (! "x5")) + ((!? 135) && (! "x3"))) || (((! "x5") && (!? 49)) != ((! "x5") <= (! "x5"))))));
eval
(state ["x0", 738; "x1", 296; "x2", 757; "x3", 384; "x4", 263; "x5", 443; ])
((((((!? 484) - (!? 934)) != ((! "x1") >= (! "x3"))) - (((! "x2") == (!? 77)) - ((!? 563) - (! "x4")))) && ((((! "x5") && (! "x1")) + ((! "x4") == (! "x3"))) == (((! "x0") && (!? 217)) - ((! "x4") && (! "x2"))))));
eval
(state ["x0", 217; "x1", 279; "x2", 695; "x3", 451; "x4", 530; "x5", 71; ])
((((((!? 48) - (!? 772)) + ((! "x5") * (! "x5"))) || (((! "x5") * (! "x2")) <= ((!? 503) - (!? 354)))) || ((((!? 205) < (!? 120)) * ((! "x0") > (! "x1"))) * (((! "x1") < (! "x5")) >= ((! "x2") < (!? 553))))));
eval
(state ["x0", 328; "x1", 983; "x2", 663; "x3", 225; "x4", 490; "x5", 796; ])
((((((!? 955) != (! "x5")) && ((! "x4") && (!? 716))) - (((!? 10) > (!? 852)) != ((!? 563) > (! "x1")))) != ((((!? 145) < (!? 346)) * ((! "x1") || (!? 127))) + (((! "x2") != (!? 676)) <= ((! "x5") <= (! "x5"))))));
eval
(state ["x0", 809; "x1", 472; "x2", 254; "x3", 342; "x4", 715; "x5", 694; ])
((((((! "x0") + (! "x2")) - ((! "x3") - (! "x4"))) == (((! "x4") - (!? 314)) > ((!? 543) < (!? 641)))) * ((((! "x2") < (! "x4")) >= ((!? 529) != (! "x2"))) || (((!? 976) - (! "x5")) && ((! "x5") != (! "x2"))))));
eval
(state ["x0", 373; "x1", 529; "x2", 334; "x3", 911; "x4", 728; "x5", 20; ])
((((((!? 684) == (! "x2")) == ((!? 381) <= (! "x1"))) >= (((! "x5") * (!? 952)) < ((! "x3") == (! "x5")))) <= ((((! "x5") > (!? 171)) < ((! "x2") * (! "x4"))) || (((! "x1") < (!? 289)) || ((! "x4") * (! "x4"))))));
eval
(state ["x0", 746; "x1", 766; "x2", 343; "x3", 871; "x4", 53; "x5", 8; ])
((((((! "x4") && (!? 531)) <= ((! "x2") * (! "x3"))) * (((! "x3") > (!? 963)) || ((!? 563) && (! "x5")))) - ((((! "x5") < (!? 699)) + ((!? 851) - (!? 162))) + (((!? 328) <= (!? 920)) || ((! "x3") >= (!? 68))))));
eval
(state ["x0", 639; "x1", 876; "x2", 27; "x3", 192; "x4", 138; "x5", 845; ])
((((((!? 686) + (! "x1")) == ((! "x1") >= (!? 31))) != (((! "x0") > (! "x3")) >= ((! "x2") < (! "x2")))) || ((((!? 332) < (!? 463)) + ((!? 548) <= (! "x0"))) || (((!? 69) >= (! "x0")) > ((! "x0") <= (! "x0"))))));
eval
(state ["x0", 207; "x1", 410; "x2", 839; "x3", 488; "x4", 566; "x5", 236; "x6", 761; ])
(((((((!? 863) != (! "x1")) && ((! "x2") || (! "x1"))) != (((! "x5") <= (!? 848)) + ((!? 979) || (!? 106)))) != ((((! "x6") <= (!? 419)) <= ((! "x6") != (! "x3"))) < (((! "x3") == (!? 117)) == ((! "x5") > (!? 850))))) <= (((((!? 645) + (!? 539)) > ((!? 49) != (!? 741))) >= (((! "x1") + (! "x5")) || ((! "x3") > (!? 601)))) - ((((! "x5") || (!? 151)) && ((!? 35) - (!? 866))) * (((!? 231) || (!? 335)) >= ((!? 492) == (!? 477)))))));
eval
(state ["x0", 996; "x1", 790; "x2", 756; "x3", 593; "x4", 127; "x5", 158; "x6", 983; ])
(((((((! "x3") >= (!? 756)) && ((!? 991) != (!? 526))) > (((!? 92) || (!? 297)) * ((! "x2") <= (! "x6")))) <= ((((! "x0") <= (! "x1")) > ((!? 147) - (!? 983))) < (((! "x4") && (!? 980)) < ((!? 842) && (! "x1"))))) >= (((((! "x5") + (! "x5")) >= ((!? 697) <= (!? 150))) + (((!? 444) < (! "x3")) >= ((! "x3") * (!? 338)))) && ((((! "x0") && (!? 214)) && ((!? 208) + (!? 789))) && (((!? 519) - (! "x3")) <= ((! "x1") != (! "x3")))))));
eval
(state ["x0", 195; "x1", 321; "x2", 808; "x3", 951; "x4", 74; "x5", 920; "x6", 477; ])
(((((((! "x3") > (! "x4")) != ((!? 174) >= (! "x6"))) - (((!? 688) >= (!? 86)) || ((! "x6") != (! "x4")))) - ((((!? 718) >= (! "x0")) >= ((! "x5") != (! "x5"))) == (((!? 724) + (! "x3")) >= ((!? 159) || (!? 459))))) || (((((!? 78) - (!? 291)) || ((!? 787) == (! "x5"))) < (((! "x6") != (!? 352)) && ((! "x2") > (!? 994)))) + ((((!? 884) > (! "x5")) || ((!? 21) - (!? 707))) - (((!? 873) < (! "x4")) + ((!? 685) * (! "x6")))))));
eval
(state ["x0", 308; "x1", 859; "x2", 824; "x3", 927; "x4", 504; "x5", 231; "x6", 644; ])
(((((((!? 813) != (!? 415)) * ((!? 88) && (! "x2"))) + (((!? 693) < (! "x5")) >= ((! "x6") < (! "x3")))) <= ((((!? 653) == (! "x6")) <= ((! "x6") < (! "x6"))) != (((!? 243) && (!? 964)) - ((!? 962) <= (!? 547))))) != (((((! "x0") == (!? 693)) - ((! "x2") > (! "x4"))) - (((! "x0") + (! "x2")) < ((! "x6") || (!? 367)))) < ((((! "x3") >= (!? 276)) + ((! "x3") < (!? 491))) > (((!? 576) > (! "x2")) <= ((! "x6") > (! "x3")))))));
eval
(state ["x0", 199; "x1", 828; "x2", 592; "x3", 256; "x4", 891; "x5", 431; "x6", 334; ])
(((((((! "x4") < (!? 563)) && ((! "x6") != (! "x4"))) == (((! "x6") <= (!? 157)) < ((! "x6") > (!? 226)))) + ((((!? 421) && (!? 177)) >= ((! "x4") == (! "x2"))) == (((! "x0") <= (!? 975)) && ((!? 789) + (! "x1"))))) >= (((((!? 958) > (! "x2")) > ((! "x5") >= (! "x6"))) && (((! "x2") <= (!? 936)) < ((!? 668) + (! "x2")))) != ((((!? 783) <= (! "x2")) + ((!? 937) || (!? 849))) || (((! "x6") >= (! "x4")) >= ((!? 437) * (! "x3")))))));
eval
(state ["x0", 197; "x1", 392; "x2", 246; "x3", 863; "x4", 864; "x5", 50; "x6", 924; ])
(((((((! "x6") && (! "x0")) < ((!? 258) || (! "x1"))) + (((! "x1") * (! "x0")) == ((!? 822) != (! "x5")))) < ((((!? 507) > (!? 362)) || ((! "x0") * (!? 203))) <= (((! "x5") < (!? 765)) + ((!? 459) == (! "x5"))))) && (((((! "x3") <= (! "x6")) * ((! "x4") * (!? 474))) + (((!? 525) == (! "x4")) * ((! "x6") >= (!? 937)))) < ((((! "x4") || (! "x4")) || ((! "x6") - (!? 115))) && (((! "x2") + (!? 854)) + ((! "x2") >= (! "x0")))))));
eval
(state ["x0", 318; "x1", 395; "x2", 485; "x3", 857; "x4", 299; "x5", 329; "x6", 836; ])
(((((((! "x1") - (! "x5")) && ((! "x3") && (! "x3"))) + (((!? 127) * (!? 982)) && ((!? 389) || (! "x4")))) >= ((((!? 799) - (! "x4")) <= ((!? 994) - (! "x0"))) && (((! "x2") == (!? 740)) - ((! "x0") * (!? 778))))) || (((((!? 154) < (! "x4")) <= ((! "x4") < (! "x3"))) != (((! "x6") < (!? 21)) || ((!? 607) >= (!? 293)))) == ((((! "x4") * (!? 615)) > ((!? 593) * (!? 884))) && (((!? 248) || (!? 534)) + ((!? 936) <= (! "x1")))))));
eval
(state ["x0", 27; "x1", 325; "x2", 453; "x3", 861; "x4", 933; "x5", 200; "x6", 228; ])
(((((((!? 884) <= (!? 543)) < ((!? 51) <= (! "x1"))) + (((!? 892) != (! "x5")) || ((! "x5") >= (!? 757)))) > ((((! "x1") != (! "x0")) && ((!? 903) * (!? 577))) >= (((!? 157) && (! "x2")) == ((!? 45) >= (! "x2"))))) < (((((!? 579) <= (! "x0")) && ((!? 576) || (! "x2"))) <= (((! "x3") <= (!? 556)) || ((!? 620) - (! "x1")))) * ((((!? 984) * (! "x0")) - ((!? 708) != (!? 151))) > (((! "x1") == (!? 696)) || ((!? 599) < (! "x4")))))));
eval
(state ["x0", 290; "x1", 252; "x2", 353; "x3", 334; "x4", 83; "x5", 906; "x6", 968; ])
(((((((! "x6") * (! "x1")) || ((! "x5") < (!? 970))) + (((!? 148) < (! "x6")) * ((!? 382) && (! "x1")))) < ((((! "x2") <= (! "x5")) > ((! "x5") != (! "x6"))) == (((! "x0") == (! "x3")) < ((!? 782) - (! "x5"))))) + (((((!? 746) && (! "x3")) && ((!? 213) * (!? 411))) >= (((! "x3") < (!? 207)) * ((! "x6") > (!? 428)))) == ((((! "x2") || (! "x6")) != ((!? 337) - (!? 365))) * (((!? 147) >= (!? 774)) && ((! "x2") >= (!? 971)))))));
eval
(state ["x0", 371; "x1", 966; "x2", 726; "x3", 574; "x4", 138; "x5", 659; "x6", 962; ])
(((((((!? 538) != (! "x1")) <= ((!? 919) - (!? 290))) * (((!? 544) >= (!? 35)) > ((! "x4") && (! "x5")))) || ((((!? 574) || (!? 487)) * ((!? 858) - (!? 129))) - (((!? 704) || (!? 34)) < ((! "x1") <= (! "x6"))))) * (((((! "x1") >= (!? 583)) && ((! "x1") != (! "x5"))) < (((! "x1") != (!? 261)) * ((! "x2") >= (! "x0")))) + ((((! "x2") + (!? 515)) * ((!? 127) * (!? 360))) < (((! "x4") || (! "x4")) == ((! "x4") < (! "x5")))))));
eval
(state ["x0", 959; "x1", 997; "x2", 989; "x3", 236; "x4", 386; "x5", 72; "x6", 932; "x7", 473; ])
(((((((! "x6") > (!? 282)) || ((!? 369) * (!? 260))) < (((! "x5") && (!? 23)) < ((!? 637) <= (! "x7")))) + ((((! "x2") || (!? 68)) <= ((! "x5") >= (! "x2"))) - (((!? 571) || (! "x3")) - ((! "x6") <= (!? 915))))) > (((((!? 260) || (!? 348)) > ((!? 809) + (! "x5"))) < (((! "x5") >= (! "x7")) * ((! "x6") - (! "x1")))) != ((((!? 280) <= (! "x4")) < ((! "x5") == (! "x7"))) < (((! "x2") > (!? 511)) - ((! "x2") < (! "x4")))))));