-
Notifications
You must be signed in to change notification settings - Fork 7
/
unshuffle.js
2777 lines (2777 loc) · 178 KB
/
unshuffle.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
"use strict";
module.exports = function unshuffle(vector) {
var tmp = new Int32Array(205);
tmp[0] = vector[3] & vector[19];
tmp[1] = vector[9] | vector[25];
tmp[2] = vector[7] & vector[31];
tmp[3] = vector[7] | vector[31];
tmp[4] = vector[25] & vector[33];
tmp[5] = vector[21] | vector[37];
tmp[6] = vector[13] & vector[37];
tmp[7] = vector[13] | vector[37];
tmp[8] = vector[29] & vector[61];
tmp[9] = vector[37] & vector[61];
tmp[10] = ~vector[1];
tmp[11] = ~vector[3];
tmp[12] = ~vector[5];
tmp[13] = ~vector[7];
tmp[14] = vector[7] ^ vector[31];
tmp[15] = ~vector[9];
tmp[16] = ~vector[11];
tmp[17] = vector[13] ^ vector[37];
tmp[18] = ~vector[15];
tmp[19] = ~vector[17];
tmp[20] = ~vector[19];
tmp[21] = ~vector[21];
tmp[22] = ~vector[25];
tmp[23] = ~vector[27];
tmp[24] = ~vector[29];
tmp[25] = ~vector[31];
tmp[26] = ~vector[33];
tmp[27] = ~vector[35];
tmp[28] = ~vector[37];
tmp[29] = ~vector[39];
tmp[30] = ~vector[41];
tmp[31] = ~vector[45];
tmp[32] = ~vector[47];
tmp[33] = ~vector[49];
tmp[34] = ~vector[51];
tmp[35] = ~vector[55];
tmp[36] = ~vector[57];
tmp[37] = ~vector[59];
tmp[38] = ~vector[61];
tmp[39] = ~vector[63];
tmp[40] = vector[33] & tmp[10];
tmp[41] = tmp[4] & tmp[10];
tmp[42] = vector[19] & tmp[11];
tmp[43] = vector[19] | tmp[11];
tmp[44] = vector[11] & tmp[11];
tmp[45] = vector[41] & tmp[11];
tmp[46] = tmp[3] & tmp[13];
tmp[47] = vector[15] & vector[31] & tmp[13];
tmp[48] = vector[15] & tmp[14];
tmp[49] = vector[25] & tmp[15];
tmp[50] = tmp[11] | tmp[16];
tmp[51] = tmp[11] & tmp[20];
tmp[52] = ~tmp[2];
tmp[53] = vector[7] & tmp[25];
tmp[54] = vector[25] & tmp[26];
tmp[55] = vector[25] | tmp[26];
tmp[56] = tmp[22] & tmp[26];
tmp[57] = tmp[7] & tmp[28];
tmp[58] = tmp[25] & tmp[29];
tmp[59] = tmp[11] | tmp[30];
tmp[60] = vector[27] & tmp[34];
tmp[61] = tmp[23] | tmp[34];
tmp[62] = tmp[23] & tmp[34];
tmp[63] = tmp[29] & tmp[35];
tmp[64] = vector[31] & tmp[35];
tmp[65] = vector[31] | tmp[35];
tmp[66] = vector[3] & tmp[36];
tmp[67] = tmp[11] | tmp[36];
tmp[68] = tmp[11] & tmp[36];
tmp[69] = tmp[34] | tmp[37];
tmp[70] = tmp[23] | tmp[37];
tmp[71] = vector[29] & tmp[38];
tmp[72] = vector[37] | tmp[38];
tmp[73] = vector[37] & tmp[38];
tmp[74] = ~tmp[10];
tmp[75] = tmp[11] ^ tmp[36];
tmp[76] = vector[19] ^ tmp[11];
tmp[77] = ~tmp[12];
tmp[78] = tmp[23] ^ tmp[34];
tmp[79] = tmp[26] ^ tmp[40];
tmp[80] = vector[25] ^ tmp[26];
tmp[81] = ~tmp[27];
tmp[82] = vector[31] ^ tmp[29];
tmp[83] = tmp[34] ^ tmp[37];
tmp[84] = ~tmp[36];
tmp[85] = ~tmp[37];
tmp[86] = ~tmp[38];
tmp[87] = vector[37] ^ tmp[38];
tmp[20] &= tmp[43];
tmp[88] = vector[15] & tmp[53];
tmp[89] = vector[33] & tmp[55];
tmp[90] = vector[37] & ~tmp[6];
tmp[91] = tmp[25] & tmp[65];
tmp[92] = vector[41] & tmp[66];
tmp[93] = vector[41] & tmp[67];
tmp[94] = tmp[30] | tmp[67];
tmp[95] = vector[41] & tmp[68];
tmp[96] = vector[61] & tmp[72];
tmp[97] = vector[29] & tmp[73];
tmp[98] = tmp[42] ^ tmp[50];
tmp[99] = vector[11] & tmp[76];
tmp[100] = tmp[17] ^ vector[37] & tmp[21];
tmp[101] = tmp[7] ^ tmp[6] & tmp[21];
tmp[102] = tmp[10] & tmp[26] ^ tmp[80];
tmp[80] &= tmp[10];
tmp[103] = vector[29] & tmp[28] ^ tmp[87];
tmp[104] = vector[21] ^ tmp[57];
tmp[105] = vector[47] & tmp[82];
tmp[106] = tmp[23] & ~tmp[34];
tmp[107] = ~tmp[64];
tmp[108] = tmp[64] ^ tmp[25] & tmp[63];
tmp[109] = vector[31] & ~tmp[35];
tmp[66] ^= tmp[92];
tmp[110] = tmp[11] & tmp[84];
tmp[111] = tmp[23] & tmp[85];
tmp[112] = tmp[62] & tmp[85];
tmp[85] &= tmp[61];
tmp[113] = vector[29] & tmp[87];
tmp[114] = tmp[75] ^ tmp[94];
tmp[115] = vector[21] | tmp[90];
tmp[116] = vector[19] & ~tmp[42];
tmp[117] = tmp[27] & (tmp[44] ^ tmp[76]);
tmp[118] = tmp[24] & tmp[101];
tmp[119] = tmp[28] & (vector[13] & tmp[24]) ^ tmp[100];
tmp[120] = tmp[10] & (tmp[54] | ~tmp[26]);
tmp[121] = tmp[10] & ~tmp[55];
tmp[122] = vector[37] & ~vector[13] ^ tmp[24] & (tmp[5] ^ tmp[7]);
tmp[101] ^= tmp[24] & (vector[13] ^ tmp[5]);
tmp[123] = vector[49] & (tmp[11] ^ tmp[59]);
tmp[124] = vector[31] & tmp[107];
tmp[107] &= tmp[29];
tmp[125] = vector[29] & ~tmp[72];
tmp[73] = tmp[38] & ~tmp[73];
tmp[126] = tmp[67] ^ vector[41] & tmp[75];
tmp[127] = vector[47] & ~tmp[82];
tmp[128] = tmp[37] ^ tmp[106];
tmp[129] = tmp[10] & ~tmp[89];
tmp[130] = vector[21] ^ vector[37] ^ tmp[24] & ((vector[21] | tmp[6]) ^ tmp[57]);
tmp[131] = tmp[29] & ~tmp[91];
tmp[132] = tmp[27] & ((tmp[16] | tmp[76]) ^ tmp[116]);
tmp[7] = tmp[17] ^ (vector[21] | tmp[7]) ^ tmp[24] & tmp[100];
tmp[6] ^= (vector[21] | tmp[57]) ^ (vector[29] | vector[13] & tmp[21]);
tmp[21] = tmp[5] ^ ((vector[29] | tmp[17] & tmp[21]) ^ tmp[90]);
tmp[17] = tmp[54] ^ tmp[120];
tmp[90] = tmp[23] & ~tmp[106];
tmp[5] = tmp[81] & tmp[128];
tmp[57] = tmp[81] & (tmp[70] ^ tmp[106]);
tmp[100] = tmp[37] | tmp[90];
tmp[24] = tmp[102] ^ (vector[9] | vector[25] ^ tmp[120]);
tmp[133] = vector[31] ^ tmp[29] & ~tmp[124];
tmp[134] = vector[47] & ~(tmp[58] ^ tmp[124]);
tmp[135] = vector[37] ^ vector[53] & tmp[103] ^ vector[29] & ~tmp[73];
tmp[18] = (tmp[38] | tmp[14] ^ tmp[48]) ^ (vector[7] ^ vector[15] & tmp[25]) ^ vector[23] & ~(vector[31] ^ (tmp[38] | vector[7] & tmp[18])) ^ (~vector[32] ^ tmp[29] & ~(tmp[38] & (tmp[2] & tmp[18]) ^ vector[23] & (tmp[2] & tmp[38])));
tmp[46] = ~vector[50] ^ tmp[29] & (vector[23] & (vector[7] ^ (tmp[3] | tmp[38])) ^ (tmp[46] ^ (tmp[38] | tmp[46] ^ tmp[48]))) ^ (vector[23] & (vector[7] ^ tmp[38] & tmp[52]) ^ (tmp[2] ^ (vector[15] & tmp[52] ^ vector[61] & (tmp[3] ^ tmp[88]))));
tmp[136] = ~tmp[18];
tmp[137] = tmp[38] ^ (vector[53] & tmp[28] ^ (vector[29] ^ vector[37] & tmp[31])) ^ (~vector[22] ^ (vector[7] | vector[53] & tmp[9] ^ (tmp[96] ^ tmp[97]) ^ tmp[31] & (vector[53] & (tmp[38] ^ tmp[71]) ^ (tmp[8] ^ tmp[87]))));
tmp[132] = vector[38] ^ (tmp[98] ^ tmp[27] & ~(tmp[11] ^ tmp[44]) ^ tmp[36] & ~(tmp[20] ^ vector[11] & tmp[51] ^ tmp[27] & (tmp[44] ^ tmp[51])) ^ tmp[23] & (tmp[0] ^ tmp[44] ^ tmp[132] ^ tmp[36] & (tmp[42] ^ tmp[44] ^ tmp[132])));
tmp[138] = ~tmp[46];
tmp[94] = vector[18] ^ (tmp[22] & (tmp[11] ^ (tmp[33] | tmp[114]) ^ (tmp[26] | tmp[33] & (tmp[59] ^ tmp[68]) ^ tmp[126])) ^ (vector[33] & (tmp[68] ^ tmp[95] ^ tmp[123]) ^ (tmp[67] ^ (tmp[30] | tmp[68]) ^ vector[49] & (tmp[94] ^ tmp[36] & ~tmp[68]))));
tmp[79] = tmp[10] & tmp[54] ^ tmp[89] ^ ((tmp[39] | (vector[9] | tmp[26]) ^ tmp[79]) ^ (vector[40] ^ (vector[9] | tmp[10] & tmp[56]) ^ tmp[19] & ~(tmp[10] ^ tmp[54] ^ (tmp[39] | tmp[79] ^ vector[33] & tmp[49]))));
tmp[117] = tmp[36] & (vector[35] | tmp[42] ^ (tmp[16] | tmp[42])) ^ (tmp[50] ^ (tmp[51] ^ tmp[27] & ~tmp[43])) ^ (~vector[42] ^ tmp[23] & ~(tmp[117] ^ tmp[36] & (vector[11] & vector[19] ^ tmp[117])));
tmp[50] = tmp[27] & tmp[50] ^ (tmp[16] ^ tmp[116]) ^ tmp[36] & (tmp[20] ^ tmp[27] & ~tmp[98]) ^ (vector[44] ^ tmp[23] & (tmp[50] ^ tmp[27] & ~tmp[20] ^ tmp[36] & (tmp[43] ^ tmp[50] ^ tmp[27] & ~(tmp[0] ^ tmp[50]))));
tmp[20] = tmp[130] ^ (vector[59] & tmp[6] ^ (~vector[52] ^ tmp[12] & (tmp[119] ^ (tmp[37] | tmp[7]))));
tmp[88] = vector[23] & (vector[61] | tmp[25]) ^ ((vector[31] | tmp[38]) ^ tmp[3] & (vector[15] ^ tmp[13])) ^ (vector[28] ^ tmp[29] & ~(vector[23] & (vector[7] ^ tmp[14] & tmp[38]) ^ (tmp[3] ^ tmp[38] & (vector[31] ^ tmp[88]))));
tmp[56] = ~vector[12] ^ (tmp[17] ^ tmp[15] & (tmp[55] ^ tmp[120]) ^ vector[63] & (tmp[26] ^ tmp[80] ^ (vector[9] | tmp[55] ^ tmp[10] & ~tmp[54])) ^ tmp[19] & (tmp[1] ^ tmp[102] ^ (tmp[39] | tmp[1] ^ (tmp[56] ^ tmp[121]))));
tmp[55] = tmp[104] ^ tmp[118] ^ (vector[59] & tmp[21] ^ (~vector[34] ^ tmp[12] & ~(vector[59] & tmp[101] ^ (tmp[115] ^ tmp[122]))));
tmp[1] = ~tmp[132];
tmp[95] = tmp[114] ^ (vector[49] & (tmp[75] ^ tmp[95]) ^ ((tmp[26] | tmp[66] ^ tmp[123]) ^ (~vector[36] ^ tmp[22] & (vector[33] & (vector[49] & tmp[30] ^ tmp[66]) ^ (tmp[36] & (vector[49] & tmp[11]) ^ (tmp[67] ^ tmp[95]))))));
tmp[66] = tmp[94] ^ tmp[55];
tmp[99] = tmp[27] & (tmp[16] | tmp[43]) ^ (tmp[16] ^ tmp[76]) ^ tmp[36] & ~(vector[35] & tmp[98]) ^ (~vector[24] ^ tmp[23] & ~(tmp[36] & (tmp[27] & (tmp[43] ^ (vector[19] | tmp[16])) ^ (tmp[0] ^ tmp[99])) ^ (tmp[11] ^ (tmp[44] ^ vector[35] & (tmp[76] ^ tmp[99])))));
tmp[76] = tmp[50] & tmp[88];
tmp[43] = ~tmp[79];
tmp[0] = tmp[94] & tmp[55];
tmp[44] = tmp[94] | tmp[55];
tmp[103] = (vector[45] | ~vector[53] & tmp[38] ^ tmp[113]) ^ (vector[53] & (tmp[87] ^ tmp[97]) ^ (vector[37] ^ vector[29] & ~tmp[87])) ^ (vector[4] ^ (vector[7] | vector[53] & tmp[31] & ~tmp[103] ^ vector[53] & ~(tmp[87] ^ vector[29] & ~tmp[96])));
tmp[97] = ~tmp[117];
tmp[98] = tmp[50] ^ tmp[88];
tmp[7] = tmp[130] ^ (~vector[62] ^ tmp[37] & ~tmp[6] ^ tmp[12] & ~(tmp[119] ^ tmp[37] & ~tmp[7]));
tmp[119] = ~tmp[55];
tmp[92] = tmp[36] ^ tmp[93] ^ ((tmp[11] | tmp[33]) ^ ((tmp[26] | vector[49] & tmp[110] ^ (tmp[67] & tmp[84] ^ vector[41] & tmp[110])) ^ (~vector[0] ^ (vector[25] | vector[33] & (tmp[45] ^ tmp[123]) ^ (tmp[11] ^ vector[49] & (tmp[11] ^ tmp[92]))))));
tmp[112] = ~vector[56] ^ (tmp[77] & (tmp[61] ^ tmp[81] & (tmp[60] ^ (tmp[37] | tmp[60]))) ^ (tmp[128] ^ (tmp[27] | tmp[60] ^ tmp[100])) ^ vector[43] & ~(tmp[23] ^ tmp[112] ^ tmp[5] ^ tmp[77] & (tmp[112] ^ tmp[57])));
tmp[108] = vector[60] ^ (tmp[74] & (tmp[32] & (tmp[35] ^ tmp[63]) ^ tmp[108]) ^ (tmp[82] ^ vector[47] & ~(tmp[64] ^ tmp[29] & (vector[31] ^ tmp[35]))) ^ tmp[39] & ~(vector[47] & vector[55] ^ tmp[35] ^ (tmp[10] | tmp[108] ^ vector[47] & ~(tmp[29] ^ tmp[64]))));
tmp[82] = tmp[55] & ~tmp[94];
tmp[111] ^= ~vector[6] ^ ((tmp[12] | (tmp[27] | tmp[37] ^ tmp[62]) ^ tmp[100]) ^ (tmp[60] ^ (tmp[27] | tmp[85] ^ tmp[90])) ^ vector[43] & ~(tmp[23] ^ tmp[70] ^ tmp[5] ^ tmp[77] & (tmp[69] ^ tmp[78] ^ (tmp[27] | tmp[34] ^ tmp[111]))));
tmp[70] = ~tmp[95];
tmp[62] = tmp[56] & tmp[103];
tmp[90] = tmp[95] | tmp[103];
tmp[128] = ~tmp[99];
tmp[84] = tmp[88] & ~tmp[50];
tmp[6] = tmp[50] & ~tmp[88];
tmp[49] = tmp[19] & (tmp[41] ^ (tmp[39] | tmp[26] ^ tmp[26] & tmp[49] ^ tmp[121])) ^ (tmp[24] ^ (~vector[30] ^ (tmp[39] | tmp[80] ^ tmp[15] & (tmp[26] ^ (vector[25] ^ tmp[129])))));
tmp[4] = vector[26] ^ (tmp[24] ^ tmp[39] & ~((vector[9] | tmp[40] ^ tmp[89]) ^ tmp[17]) ^ tmp[19] & ~(tmp[41] ^ tmp[39] & (tmp[15] & (tmp[4] ^ tmp[10]) ^ (tmp[54] ^ tmp[129]))));
tmp[129] = ~tmp[0];
tmp[54] = tmp[44] & tmp[119];
tmp[69] = vector[46] ^ (vector[43] & ~(tmp[83] ^ tmp[57] ^ tmp[77] & (tmp[34] ^ tmp[69] ^ tmp[5])) ^ (tmp[83] ^ tmp[27] & (tmp[23] ^ vector[59] & tmp[34]) ^ (tmp[12] | tmp[60] ^ tmp[69] ^ tmp[81] & (tmp[106] ^ tmp[100]))));
tmp[78] = ~vector[20] ^ ((tmp[12] | tmp[27] & tmp[34]) ^ (tmp[34] ^ (tmp[23] ^ (tmp[27] ^ tmp[37]))) ^ vector[43] & ~((tmp[27] | tmp[61]) ^ tmp[85] ^ (tmp[12] | tmp[78] ^ (tmp[27] | tmp[78]) ^ tmp[100])));
tmp[100] = tmp[132] | tmp[108];
tmp[61] = tmp[132] & tmp[108];
tmp[85] = tmp[1] & tmp[108];
tmp[106] = tmp[108] | tmp[111];
tmp[5] = tmp[98] | tmp[111];
tmp[81] = tmp[50] & tmp[111];
tmp[60] = ~tmp[7];
tmp[2] = vector[23] & (vector[15] & tmp[13] ^ (vector[15] ^ vector[31] | tmp[38])) ^ (vector[15] ^ (tmp[14] ^ tmp[86] & (vector[31] ^ tmp[47])) ^ (vector[54] ^ tmp[29] & ~(tmp[86] & (tmp[47] ^ tmp[53]) ^ (tmp[48] ^ vector[7] & tmp[52]) ^ vector[23] & ~(vector[15] & ~tmp[14] ^ (tmp[2] ^ (tmp[38] | vector[15] ^ tmp[2]))))));
tmp[101] = vector[48] ^ (tmp[104] ^ (tmp[118] ^ (tmp[37] & ~tmp[21] ^ tmp[12] & ~(tmp[122] ^ (tmp[115] ^ tmp[37] & tmp[101])))));
tmp[115] = ~tmp[92];
tmp[134] = ~vector[10] ^ (tmp[35] ^ tmp[105] ^ tmp[74] & (vector[47] & tmp[131] ^ tmp[133]) ^ tmp[39] & (tmp[91] ^ (tmp[63] ^ (tmp[134] ^ (tmp[10] | tmp[107] ^ vector[47] & (vector[31] & tmp[29] ^ tmp[109]))))));
tmp[63] = ~tmp[108];
tmp[122] = tmp[132] ^ tmp[108];
tmp[21] = tmp[56] & tmp[70];
tmp[118] = tmp[103] & tmp[70];
tmp[104] = ~tmp[111];
tmp[45] = tmp[68] ^ (tmp[93] ^ ((tmp[33] | tmp[59] ^ tmp[67]) ^ ((tmp[26] | tmp[123] ^ (tmp[67] ^ (tmp[30] | tmp[75]))) ^ (~vector[14] ^ (vector[25] | vector[33] & (vector[49] & (tmp[11] ^ tmp[45]) ^ tmp[126]) ^ (tmp[67] ^ tmp[93] ^ vector[49] & (tmp[45] ^ tmp[110])))))));
tmp[110] = tmp[111] | tmp[6];
tmp[93] = tmp[55] | tmp[4];
tmp[67] = tmp[138] & tmp[4];
tmp[126] = tmp[46] & tmp[4];
tmp[75] = tmp[66] | tmp[4];
tmp[123] = tmp[55] & tmp[129];
tmp[59] = tmp[4] | tmp[54];
tmp[68] = tmp[92] | tmp[69];
tmp[14] = tmp[111] | tmp[100];
tmp[52] = tmp[111] | tmp[85];
tmp[53] = tmp[95] & ~tmp[103];
tmp[47] = tmp[92] & tmp[2];
tmp[48] = ~tmp[49];
tmp[86] = ~tmp[4];
tmp[77] = tmp[18] | tmp[101];
tmp[57] = tmp[2] & tmp[115];
tmp[115] &= tmp[69];
tmp[83] = tmp[132] & tmp[63];
tmp[15] = tmp[88] & tmp[104];
tmp[89] = tmp[84] & tmp[104];
tmp[40] = tmp[100] & tmp[104];
tmp[17] = tmp[85] & tmp[104];
tmp[41] = ~tmp[101];
tmp[24] = tmp[18] ^ tmp[101];
tmp[80] = tmp[2] & tmp[68];
tmp[121] = ~tmp[134];
tmp[130] = tmp[95] ^ tmp[21];
tmp[22] = tmp[56] & tmp[53];
tmp[114] = tmp[56] & ~tmp[90];
tmp[113] = vector[53] ^ (tmp[125] ^ (tmp[73] ^ ((vector[45] | tmp[71] ^ tmp[96] ^ vector[53] & tmp[113]) ^ (~vector[16] ^ tmp[13] & (vector[53] & (vector[37] ^ tmp[8]) ^ (tmp[9] ^ tmp[113]) ^ tmp[31] & (tmp[72] ^ tmp[28] & tmp[71] ^ vector[53] & (vector[37] ^ tmp[113])))))));
tmp[71] = tmp[50] & ~tmp[6];
tmp[28] = tmp[76] ^ tmp[110];
tmp[72] = tmp[55] & tmp[86];
tmp[8] = tmp[46] ^ tmp[126];
tmp[9] = tmp[82] & tmp[86];
tmp[96] = tmp[92] & ~tmp[69];
tmp[13] = tmp[111] | tmp[83];
tmp[73] = tmp[104] & tmp[83];
tmp[120] = ~tmp[53];
tmp[102] = tmp[47] ^ tmp[115];
tmp[3] = tmp[77] & tmp[41];
tmp[25] = tmp[92] ^ tmp[57];
tmp[58] = vector[31] ^ tmp[107] ^ (vector[47] & (tmp[65] | ~tmp[29]) ^ ((tmp[10] | vector[55] & tmp[29] ^ tmp[124] ^ vector[47] & (vector[31] ^ tmp[131])) ^ (vector[58] ^ tmp[39] & (tmp[91] ^ tmp[127] ^ (tmp[10] | vector[47] & ~(tmp[58] ^ tmp[64]) ^ tmp[133])))));
tmp[124] = ~vector[8] ^ (tmp[35] ^ tmp[29] & tmp[64] ^ tmp[127] ^ (tmp[10] | tmp[32] & (tmp[64] ^ tmp[29] & tmp[109])) ^ tmp[39] & ~(tmp[105] ^ (vector[31] ^ tmp[29] & tmp[65]) ^ tmp[74] & (tmp[131] ^ (tmp[64] ^ vector[47] & ~(tmp[29] ^ tmp[124])))));
tmp[64] = tmp[83] ^ tmp[40];
tmp[65] = tmp[61] ^ tmp[17];
tmp[131] = tmp[85] ^ tmp[17];
tmp[135] = vector[29] ^ (tmp[87] ^ (vector[53] & (tmp[38] ^ tmp[125]) ^ ((vector[45] | tmp[135]) ^ (vector[2] ^ (vector[7] | tmp[125] ^ tmp[31] & tmp[135])))));
tmp[31] = tmp[99] & tmp[113];
tmp[125] = tmp[99] | tmp[113];
tmp[87] = tmp[128] & tmp[113];
tmp[109] = tmp[2] & ~tmp[68];
tmp[74] = tmp[2] & tmp[96];
tmp[105] = ~tmp[113];
tmp[32] = tmp[113] ^ tmp[124];
tmp[127] = tmp[99] ^ tmp[113];
tmp[133] = tmp[5] ^ tmp[71];
tmp[91] = tmp[69] & ~tmp[115];
tmp[107] = tmp[96] ^ tmp[109];
tmp[116] = tmp[57] ^ tmp[96];
tmp[42] = tmp[46] & tmp[58];
tmp[51] = tmp[46] | tmp[58];
tmp[139] = tmp[99] | tmp[124];
tmp[140] = tmp[132] & ~tmp[83];
tmp[141] = tmp[63] & (tmp[88] ^ tmp[15]);
tmp[142] = tmp[18] | tmp[135];
tmp[143] = tmp[101] | tmp[135];
tmp[144] = tmp[99] | tmp[101] | tmp[135];
tmp[145] = ~(tmp[94] & tmp[119] ^ tmp[93]) & tmp[135];
tmp[146] = tmp[124] | tmp[125];
tmp[147] = ~tmp[58];
tmp[148] = tmp[46] ^ tmp[58];
tmp[149] = ~tmp[124];
tmp[150] = ~tmp[135];
tmp[151] = tmp[18] ^ tmp[135];
tmp[152] = tmp[99] & tmp[105];
tmp[153] = tmp[135] | tmp[101] & ~(tmp[18] & tmp[101]);
tmp[154] = tmp[4] & (tmp[138] & tmp[58]);
tmp[155] = tmp[4] & tmp[51];
tmp[156] = tmp[138] & tmp[51];
tmp[157] = ~tmp[42];
tmp[158] = tmp[4] & tmp[147];
tmp[159] = tmp[46] & tmp[147];
tmp[160] = tmp[4] & tmp[148];
tmp[161] = tmp[125] & tmp[149];
tmp[162] = tmp[99] & tmp[149];
tmp[163] = tmp[139] ^ tmp[152];
tmp[164] = tmp[101] & tmp[150];
tmp[165] = tmp[24] & tmp[150];
tmp[166] = tmp[18] ^ (tmp[24] | tmp[135]);
tmp[167] = tmp[18] ^ tmp[142];
tmp[168] = tmp[18] ^ tmp[143];
tmp[169] = tmp[113] & ~tmp[31];
tmp[170] = tmp[4] ^ tmp[148];
tmp[171] = tmp[69] ^ (tmp[92] ^ tmp[109]);
tmp[172] = tmp[132] & ~tmp[116];
tmp[173] = tmp[46] & tmp[157];
tmp[174] = tmp[4] & tmp[159];
tmp[14] = vector[29] ^ tmp[45] & (tmp[49] | tmp[85] ^ tmp[52]) ^ (tmp[48] & (tmp[85] ^ tmp[14]) ^ tmp[64] ^ (tmp[137] | tmp[122] ^ tmp[14] ^ tmp[61] & tmp[48]));
tmp[85] = tmp[132] & ~(tmp[69] ^ tmp[25]);
tmp[175] = tmp[58] ^ tmp[158];
tmp[176] = tmp[51] ^ tmp[158];
tmp[177] = tmp[4] & ~tmp[148];
tmp[178] = tmp[113] ^ tmp[162];
tmp[179] = tmp[125] ^ tmp[162];
tmp[180] = tmp[101] ^ tmp[164];
tmp[181] = tmp[101] ^ tmp[166];
tmp[182] = tmp[94] & tmp[86] ^ (tmp[44] ^ ~tmp[54] & tmp[135]);
tmp[51] ^= tmp[174];
tmp[183] = ~tmp[14];
tmp[184] = tmp[103] ^ tmp[56] & tmp[90] ^ tmp[78] & ~(tmp[90] ^ tmp[21]) ^ tmp[88] & ~(tmp[53] ^ tmp[22] ^ tmp[78] & tmp[130]);
tmp[185] = tmp[156] ^ tmp[177];
tmp[120] = tmp[130] ^ tmp[78] & (tmp[90] ^ tmp[56] & tmp[120]) ^ tmp[88] & ~(tmp[78] & ~(tmp[56] ^ tmp[118]) ^ (tmp[62] ^ tmp[95] & tmp[120]));
tmp[21] = tmp[95] ^ tmp[62] ^ tmp[78] & (tmp[90] ^ tmp[114]) ^ tmp[88] & ~(tmp[22] ^ tmp[78] & ~(tmp[21] ^ tmp[53]));
tmp[15] = (tmp[108] | tmp[15]) ^ (tmp[88] ^ (tmp[50] ^ (tmp[50] | (tmp[88] | tmp[111])))) ^ (tmp[95] | tmp[98] & tmp[104] ^ (tmp[50] ^ tmp[63] & tmp[15])) ^ (vector[23] ^ (tmp[20] | tmp[70] & tmp[106] ^ (tmp[111] ^ tmp[108] & ~tmp[110])));
tmp[81] = tmp[81] & tmp[63] ^ (tmp[84] ^ tmp[110]) ^ ((tmp[95] | tmp[63] & (tmp[84] ^ tmp[89])) ^ (tmp[11] ^ ~tmp[20] & ((tmp[108] | tmp[81]) ^ tmp[70] & (tmp[111] & tmp[6] ^ tmp[88] & tmp[63]))));
tmp[53] = tmp[78] & (tmp[103] ^ tmp[56] & ~tmp[118]) ^ (tmp[103] ^ tmp[114] ^ tmp[88] & ~(tmp[62] ^ tmp[78] & (tmp[56] ^ tmp[53])));
tmp[62] = ~tmp[15];
tmp[118] = ~tmp[81];
tmp[40] = tmp[106] ^ (tmp[140] ^ (tmp[49] | tmp[100] ^ (tmp[111] | tmp[122]))) ^ (~tmp[137] & (tmp[122] & tmp[104] ^ (tmp[49] | tmp[108] ^ tmp[13])) ^ (tmp[34] ^ tmp[45] & ~(tmp[40] ^ (tmp[49] | tmp[83] ^ tmp[108] & tmp[104]))));
tmp[89] = tmp[111] ^ (tmp[6] ^ (tmp[108] | tmp[50] ^ (tmp[111] | tmp[71]))) ^ (tmp[70] & (tmp[63] & (tmp[98] ^ tmp[110]) ^ tmp[133]) ^ (tmp[19] ^ (tmp[20] | (tmp[95] | tmp[28]) ^ ((tmp[50] | tmp[111]) ^ tmp[63] & (tmp[76] ^ tmp[89])))));
tmp[27] ^= tmp[21] ^ (tmp[58] | tmp[53]);
tmp[147] = tmp[184] ^ (vector[53] ^ tmp[147] & tmp[120]);
tmp[76] = ~tmp[89];
tmp[152] = (tmp[18] | tmp[60] & tmp[124]) ^ (tmp[127] ^ tmp[152] & (tmp[7] & tmp[149])) ^ (vector[13] ^ tmp[92] & (tmp[32] ^ tmp[7] & tmp[162] ^ (tmp[18] | (tmp[7] | tmp[163]) ^ tmp[178])));
tmp[63] = ~tmp[27];
tmp[98] = ~tmp[147];
tmp[120] = tmp[184] ^ (tmp[39] ^ tmp[58] & ~tmp[120]);
tmp[53] = tmp[33] ^ (tmp[21] ^ tmp[58] & tmp[53]);
tmp[178] = tmp[7] ^ (tmp[31] ^ tmp[139]) ^ tmp[136] & (tmp[99] ^ tmp[146] ^ tmp[7] & (tmp[169] ^ (tmp[124] | tmp[169]))) ^ (tmp[30] ^ tmp[92] & ~(tmp[178] ^ tmp[136] & ((tmp[7] | tmp[113]) ^ tmp[162])));
tmp[104] = tmp[131] ^ tmp[49] & ~tmp[73] ^ (tmp[45] & ~(tmp[48] & tmp[73] ^ (tmp[61] ^ tmp[13])) ^ (tmp[35] ^ (tmp[137] | tmp[64] ^ (tmp[48] & (tmp[83] ^ tmp[17]) ^ tmp[45] & ((tmp[132] | tmp[49]) ^ tmp[132] & tmp[104] ^ tmp[140])))));
tmp[141] = tmp[111] ^ (tmp[6] ^ tmp[108] & tmp[133]) ^ ((tmp[95] | tmp[28] ^ tmp[141]) ^ (tmp[12] ^ (tmp[20] | tmp[108] & (tmp[88] ^ (tmp[50] ^ tmp[5])) ^ tmp[70] & (tmp[110] ^ (tmp[88] ^ tmp[141])))));
tmp[131] = tmp[100] ^ (tmp[45] & ~(tmp[49] & tmp[65]) ^ (tmp[52] ^ (tmp[48] & tmp[131] ^ (tmp[26] ^ (tmp[137] | tmp[45] & (tmp[108] ^ tmp[106]) ^ (tmp[65] ^ (tmp[49] | tmp[131])))))));
tmp[106] = tmp[81] | tmp[53];
tmp[47] = (tmp[7] | tmp[1] & tmp[96] ^ tmp[107]) ^ (tmp[91] ^ tmp[132] & ~(tmp[69] ^ tmp[80])) ^ (vector[9] ^ tmp[49] & ~((tmp[132] | tmp[80]) ^ tmp[107] ^ (tmp[7] | (tmp[132] | tmp[92] ^ tmp[47]) ^ tmp[171])));
tmp[107] = tmp[118] & tmp[178];
tmp[65] = tmp[81] & tmp[178];
tmp[26] = tmp[81] | tmp[178];
tmp[48] = ~tmp[120];
tmp[52] = ~tmp[53];
tmp[100] = tmp[81] ^ tmp[178];
tmp[139] = tmp[124] ^ tmp[127] ^ tmp[7] & ((tmp[113] | tmp[124]) ^ tmp[169]) ^ tmp[136] & (tmp[179] ^ tmp[7] & ~(tmp[125] ^ tmp[161])) ^ (tmp[23] ^ tmp[92] & ((tmp[18] | tmp[7] & (tmp[124] ^ tmp[125]) ^ tmp[179]) ^ (tmp[99] ^ tmp[139] ^ tmp[7] & ~(tmp[99] ^ tmp[113] & tmp[149]))));
tmp[179] = ~tmp[141];
tmp[118] &= tmp[131];
tmp[127] = tmp[120] | tmp[131];
tmp[151] ^= tmp[99] & ~tmp[181] ^ (tmp[112] & (tmp[43] & (tmp[99] & ~tmp[151]) ^ (tmp[166] ^ tmp[128] & tmp[181])) ^ (vector[15] ^ (tmp[79] | tmp[18] ^ (tmp[153] ^ (tmp[99] | tmp[77] ^ tmp[153])))));
tmp[44] = tmp[4] ^ (tmp[0] ^ (tmp[66] & tmp[135] ^ ((tmp[134] | tmp[182]) ^ (vector[43] ^ tmp[112] & (tmp[121] & (tmp[44] ^ tmp[75] ^ tmp[145]) ^ ((tmp[44] | tmp[4]) ^ (tmp[54] ^ tmp[145])))))));
tmp[145] = tmp[131] & tmp[47];
tmp[181] = tmp[131] | tmp[47];
tmp[166] = tmp[131] & tmp[107];
tmp[23] = tmp[131] & tmp[65];
tmp[5] = tmp[131] ^ tmp[47];
tmp[110] = tmp[131] ^ tmp[127];
tmp[70] = tmp[81] & tmp[52];
tmp[42] = tmp[170] ^ tmp[119] & tmp[176] ^ (tmp[103] & ~(tmp[55] & (tmp[148] ^ tmp[155]) ^ tmp[185]) ^ (tmp[36] ^ (tmp[117] | tmp[4] ^ (tmp[55] | tmp[175]) ^ tmp[103] & (tmp[42] ^ tmp[154] ^ tmp[55] & (tmp[46] ^ tmp[160])))));
tmp[36] = ~tmp[107];
tmp[28] = tmp[26] ^ tmp[23];
tmp[133] = tmp[81] & ~tmp[178];
tmp[163] = tmp[125] & tmp[105] ^ tmp[161] ^ tmp[7] & ~(tmp[87] ^ tmp[146]) ^ (tmp[18] | tmp[87] & tmp[149] ^ tmp[169] ^ tmp[7] & ~(tmp[99] ^ tmp[161])) ^ (vector[31] ^ tmp[92] & ~(tmp[162] ^ tmp[7] & (tmp[99] ^ tmp[124]) ^ tmp[136] & (tmp[32] ^ tmp[7] & ~tmp[163])));
tmp[32] = tmp[14] & tmp[179];
tmp[77] = (tmp[99] | tmp[165]) ^ tmp[180] ^ ((tmp[79] | tmp[167] ^ tmp[99] & (tmp[18] & tmp[41] & tmp[150])) ^ (vector[19] ^ tmp[112] & ~(tmp[128] & (tmp[77] ^ (tmp[77] | tmp[135])) ^ tmp[43] & ((tmp[99] | tmp[168]) ^ (tmp[18] ^ tmp[165])))));
tmp[41] = tmp[141] & tmp[44];
tmp[161] = tmp[48] & tmp[181];
tmp[177] = tmp[97] & (tmp[103] & (tmp[4] & tmp[58] ^ tmp[159] ^ tmp[55] & (tmp[148] ^ tmp[158])) ^ (tmp[138] & (tmp[4] ^ tmp[58]) ^ tmp[55] & ~tmp[160])) ^ (vector[7] ^ (tmp[170] ^ tmp[55] & (tmp[4] & tmp[157]) ^ tmp[103] & ~(tmp[46] ^ tmp[154] ^ tmp[55] & ~tmp[177])));
tmp[154] = tmp[47] & ~tmp[131];
tmp[167] = tmp[168] ^ (tmp[128] & (tmp[24] ^ tmp[142]) ^ (tmp[43] & (tmp[99] | tmp[18] ^ tmp[153]) ^ (tmp[10] ^ tmp[112] & ~(tmp[144] ^ (tmp[3] ^ (tmp[3] | tmp[135])) ^ tmp[43] & (tmp[144] ^ tmp[167])))));
tmp[142] = tmp[168] ^ (tmp[99] & ~tmp[180] ^ (tmp[43] & (tmp[101] ^ (tmp[153] ^ tmp[128] & (tmp[3] ^ tmp[142]))) ^ (vector[37] ^ tmp[112] & ~(tmp[164] ^ (tmp[99] | tmp[101] ^ tmp[143]) ^ (tmp[79] | tmp[101] ^ (tmp[128] & tmp[142] ^ tmp[165]))))));
tmp[128] = tmp[131] & ~tmp[47];
tmp[165] = tmp[23] ^ tmp[133];
tmp[143] = tmp[81] ^ tmp[23];
tmp[164] = ~tmp[104] & tmp[163];
tmp[3] = tmp[104] & tmp[163];
tmp[153] = tmp[104] | tmp[163];
tmp[43] = tmp[120] | tmp[163];
tmp[180] = tmp[48] & tmp[163];
tmp[168] = tmp[27] & tmp[77];
tmp[144] = tmp[27] | tmp[77];
tmp[9] ^= tmp[54] ^ ((tmp[129] | tmp[86]) & tmp[135] ^ (tmp[121] & (tmp[4] ^ tmp[135] & ~(tmp[54] ^ tmp[72])) ^ (vector[25] ^ tmp[112] & ~(tmp[123] ^ (tmp[135] & ~(tmp[0] ^ (tmp[4] | tmp[123])) ^ tmp[121] & (tmp[9] ^ ~(tmp[55] ^ tmp[4]) & tmp[135]))))));
tmp[80] = tmp[116] ^ (tmp[1] & tmp[102] ^ (tmp[60] & (tmp[171] ^ tmp[85]) ^ (tmp[37] ^ tmp[49] & ((tmp[132] | tmp[115] ^ tmp[2] & ~tmp[91]) ^ (tmp[57] ^ (tmp[115] ^ tmp[60] & (tmp[132] & (tmp[57] ^ tmp[115]) ^ (tmp[69] ^ (tmp[92] ^ tmp[80])))))))));
tmp[57] = ~tmp[42];
tmp[91] = ~tmp[163];
tmp[171] = tmp[163] ^ tmp[43];
tmp[37] = tmp[120] ^ tmp[163];
tmp[116] = tmp[104] ^ tmp[163];
tmp[129] = tmp[120] | tmp[154];
tmp[10] = tmp[48] & tmp[154];
tmp[24] = tmp[27] ^ tmp[77];
tmp[158] = tmp[14] | tmp[142];
tmp[121] = (tmp[134] | ~tmp[93] & tmp[135]) ^ (tmp[123] ^ (tmp[59] ^ (tmp[135] & ~(tmp[54] ^ tmp[66] & tmp[86]) ^ (vector[45] ^ tmp[112] & ~((tmp[0] ^ (tmp[0] | tmp[4])) & tmp[135] ^ (tmp[0] ^ tmp[121] & tmp[135] & ~(tmp[55] ^ tmp[72])))))));
tmp[25] ^= tmp[132] & (tmp[68] ^ tmp[2] & ~tmp[96]) ^ ((tmp[7] | tmp[1] & tmp[115] ^ tmp[74]) ^ (tmp[38] ^ tmp[49] & ~(tmp[85] ^ (tmp[69] & tmp[2] ^ tmp[60] & (tmp[115] & ~tmp[2] ^ tmp[132] & ~tmp[25])))));
tmp[148] = tmp[155] ^ tmp[159] ^ (tmp[55] & ~(tmp[46] ^ tmp[4] & ~tmp[156]) ^ (tmp[103] & ~(tmp[8] ^ tmp[119] & (tmp[159] ^ tmp[174])) ^ (vector[47] ^ tmp[97] & (tmp[176] ^ tmp[55] & ~tmp[175] ^ tmp[103] & ~(tmp[67] ^ tmp[173] ^ tmp[55] & ~(tmp[67] ^ tmp[148]))))));
tmp[67] = ~tmp[177];
tmp[175] = tmp[120] | tmp[164];
tmp[174] = tmp[48] & tmp[3];
tmp[159] = tmp[48] & tmp[153];
tmp[176] = tmp[120] | tmp[153];
tmp[119] = tmp[131] ^ tmp[48] & tmp[5];
tmp[156] = ~tmp[167];
tmp[97] = tmp[63] & tmp[144];
tmp[155] = ~tmp[142];
tmp[85] = tmp[141] | tmp[80];
tmp[1] = tmp[179] & tmp[80];
tmp[38] = tmp[141] & tmp[80];
tmp[68] = tmp[41] & tmp[80];
tmp[66] = tmp[44] & tmp[80];
tmp[54] = tmp[104] & tmp[91];
tmp[93] = tmp[27] & ~tmp[77];
tmp[72] = (tmp[134] | tmp[94] & tmp[150]) ^ (tmp[182] ^ (tmp[29] ^ tmp[112] & ~(tmp[75] ^ tmp[123] ^ tmp[135] & (tmp[82] ^ tmp[0] & tmp[86]) ^ (tmp[134] | tmp[55] ^ (tmp[94] ^ (tmp[59] ^ tmp[135] & (tmp[55] ^ (tmp[94] ^ tmp[72]))))))));
tmp[59] = tmp[14] & tmp[121];
tmp[86] = tmp[14] | tmp[121];
tmp[0] = tmp[142] | tmp[121];
tmp[82] = ~tmp[9];
tmp[123] = ~tmp[80];
tmp[75] = tmp[141] ^ tmp[80];
tmp[51] = tmp[55] & ~tmp[126] ^ (tmp[185] ^ (tmp[103] & (tmp[55] & tmp[4] ^ tmp[51]) ^ (vector[21] ^ (tmp[117] | tmp[160] ^ (tmp[55] & tmp[8] ^ tmp[173]) ^ tmp[103] & ~(tmp[55] & (tmp[46] ^ tmp[4]) ^ tmp[51])))));
tmp[8] = tmp[133] ^ tmp[131] & ~tmp[100];
tmp[173] = tmp[14] ^ tmp[158];
tmp[160] = tmp[14] ^ tmp[121];
tmp[126] = ~tmp[25];
tmp[185] = tmp[44] & tmp[85];
tmp[29] = ~tmp[148];
tmp[150] = tmp[27] & ~tmp[168];
tmp[182] = tmp[25] | tmp[72];
tmp[157] = tmp[177] | tmp[72];
tmp[138] = tmp[67] & tmp[72];
tmp[170] = tmp[177] & tmp[72];
tmp[136] = tmp[142] | tmp[59];
tmp[162] = tmp[142] | tmp[86];
tmp[149] = tmp[85] & tmp[123];
tmp[87] = ~tmp[38];
tmp[146] = tmp[14] | tmp[51];
tmp[169] = tmp[14] & tmp[51];
tmp[105] = tmp[179] & tmp[51];
tmp[125] = tmp[141] | tmp[51];
tmp[12] = tmp[177] ^ tmp[72];
tmp[6] = tmp[14] & ~tmp[121];
tmp[140] = tmp[0] ^ tmp[183] & tmp[86];
tmp[17] = tmp[51] ^ tmp[125];
tmp[83] = tmp[14] ^ tmp[51];
tmp[67] &= tmp[157];
tmp[13] = tmp[126] & tmp[138];
tmp[61] = tmp[126] & tmp[170];
tmp[73] = tmp[25] | tmp[170];
tmp[64] = tmp[44] & ~tmp[85];
tmp[35] = tmp[44] & tmp[87];
tmp[87] &= tmp[80];
tmp[31] = tmp[183] & tmp[146];
tmp[30] = tmp[179] & tmp[169];
tmp[21] = tmp[104] & ~tmp[54];
tmp[33] = tmp[14] & ~tmp[59];
tmp[39] = tmp[41] ^ tmp[141] & tmp[123];
tmp[184] = tmp[141] ^ tmp[146];
tmp[71] = tmp[32] ^ tmp[146];
tmp[125] ^= tmp[169];
tmp[19] = (tmp[14] | tmp[141]) ^ tmp[183] & tmp[51];
tmp[122] = tmp[25] | tmp[67];
tmp[34] = tmp[14] & (tmp[121] ^ tmp[155]) ^ (tmp[147] | tmp[142] ^ tmp[59]);
tmp[172] ^= tmp[102] ^ ((tmp[7] | tmp[96] ^ tmp[74] ^ tmp[132] & ~tmp[102]) ^ (tmp[16] ^ tmp[49] & ~(tmp[96] ^ (tmp[109] ^ (tmp[132] & (tmp[115] ^ tmp[109]) ^ tmp[60] & (tmp[96] ^ (tmp[74] ^ tmp[172])))))));
tmp[74] = tmp[141] ^ tmp[83];
tmp[96] = tmp[120] | tmp[21];
tmp[109] = tmp[177] & ~tmp[170];
tmp[115] = tmp[44] & ~tmp[149];
tmp[60] = tmp[31] ^ (tmp[141] | tmp[83]);
tmp[32] ^= tmp[31];
tmp[102] = tmp[14] ^ tmp[30];
tmp[16] = tmp[120] ^ tmp[21];
tmp[114] = tmp[80] ^ tmp[44] & ~tmp[75];
tmp[84] = tmp[27] | tmp[172];
tmp[11] = tmp[146] ^ tmp[179] & tmp[83];
tmp[22] = ~tmp[172];
tmp[90] = tmp[27] ^ tmp[172];
tmp[31] = tmp[83] ^ (tmp[141] | tmp[31]);
tmp[83] = tmp[138] ^ tmp[177] & (tmp[126] & ~tmp[72]);
tmp[169] = tmp[179] & tmp[146] ^ tmp[14] & ~tmp[169];
tmp[130] = tmp[77] & tmp[22];
tmp[186] = tmp[93] & tmp[22];
tmp[187] = tmp[27] & tmp[22];
tmp[188] = tmp[97] ^ tmp[84];
tmp[189] = tmp[57] & tmp[188];
tmp[190] = tmp[168] ^ tmp[130];
tmp[191] = tmp[93] ^ tmp[186];
tmp[192] = tmp[27] ^ tmp[187];
tmp[92] ^= tmp[131] ^ tmp[100] ^ tmp[70] ^ tmp[42] & ~(tmp[52] & tmp[118] ^ (tmp[133] ^ tmp[131] & ~tmp[26])) ^ tmp[82] & (tmp[42] & (tmp[133] & ~tmp[52]) ^ (tmp[8] ^ (tmp[53] | tmp[23] ^ tmp[178] & tmp[36])));
tmp[79] ^= (tmp[131] | tmp[9]) ^ (tmp[145] ^ tmp[156] & (tmp[127] ^ tmp[128] & tmp[82])) ^ (tmp[161] ^ (tmp[89] | tmp[9] & (tmp[181] ^ tmp[10]) ^ (tmp[131] ^ (tmp[127] ^ (tmp[110] | tmp[167])))));
tmp[193] = tmp[57] & tmp[191];
tmp[194] = tmp[57] & tmp[192];
tmp[28] = tmp[131] ^ tmp[26] ^ (tmp[53] | tmp[107] ^ tmp[23]) ^ (tmp[42] & ~(tmp[53] & tmp[26] ^ tmp[165]) ^ (tmp[95] ^ tmp[82] & (tmp[42] & ~(tmp[106] ^ tmp[28]) ^ (tmp[28] ^ tmp[53] & ~(tmp[81] ^ tmp[178] & tmp[131])))));
tmp[34] = tmp[147] ^ (tmp[142] ^ tmp[86]) ^ tmp[126] & tmp[34] ^ (tmp[137] ^ tmp[177] & ((tmp[147] | tmp[142]) ^ tmp[140] ^ (tmp[25] | tmp[34])));
tmp[137] = ~tmp[92];
tmp[38] = tmp[111] ^ tmp[27] & (tmp[40] & (tmp[41] ^ tmp[139] & (tmp[141] ^ tmp[44] ^ tmp[80])) ^ (tmp[141] ^ tmp[35]) ^ tmp[139] & ~(tmp[185] ^ tmp[149])) ^ (tmp[139] & ~(tmp[38] ^ tmp[35]) ^ (tmp[66] ^ tmp[75] ^ tmp[40] & ~(tmp[141] ^ tmp[185] ^ tmp[139] & (tmp[44] ^ tmp[38]))));
tmp[185] = ~tmp[34];
tmp[70] = (tmp[9] | tmp[8] ^ ((tmp[53] | tmp[26] ^ tmp[166]) ^ tmp[42] & (tmp[106] ^ tmp[8]))) ^ ((tmp[53] | tmp[165]) ^ (tmp[107] ^ tmp[131] & tmp[100] ^ (tmp[45] ^ tmp[42] & ~(tmp[70] ^ tmp[8]))));
tmp[56] ^= tmp[47] ^ tmp[127] ^ (tmp[82] & (tmp[131] ^ tmp[10]) ^ (tmp[76] & (tmp[131] ^ (tmp[9] | tmp[119]) ^ tmp[156] & (tmp[127] ^ tmp[110] & tmp[9])) ^ (tmp[167] | (tmp[120] | tmp[181]) ^ tmp[128] ^ tmp[82] & (tmp[131] ^ (tmp[120] | tmp[47] & ~tmp[154])))));
tmp[158] = tmp[140] ^ (tmp[25] | tmp[33]) ^ (tmp[147] & ~(tmp[6] ^ (tmp[142] | tmp[33])) ^ (tmp[103] ^ tmp[177] & ~(tmp[98] & ((tmp[158] ^ tmp[121]) & tmp[126] ^ tmp[142] & tmp[6]))));
tmp[20] ^= tmp[152] & (tmp[184] ^ tmp[123] & tmp[71] ^ tmp[142] & ((tmp[80] | tmp[17]) ^ tmp[19])) ^ (tmp[125] ^ (tmp[80] | tmp[31]) ^ tmp[142] & ~(tmp[105] ^ tmp[123] & tmp[30]));
tmp[133] = tmp[178] & (tmp[131] ^ tmp[36]) ^ ((tmp[53] | tmp[143]) ^ (tmp[42] & ~(tmp[65] & tmp[52] ^ (tmp[178] ^ tmp[166])) ^ (tmp[94] ^ (tmp[9] | tmp[131] & tmp[133] ^ tmp[52] & tmp[143] ^ tmp[42] & ((tmp[53] | tmp[118] ^ tmp[133]) ^ tmp[8])))));
tmp[118] = tmp[38] ^ tmp[20];
tmp[8] = ~tmp[38];
tmp[170] = tmp[91] & tmp[157] ^ tmp[73] ^ (tmp[109] ^ ((tmp[15] | tmp[170] ^ (tmp[163] | tmp[182]) ^ tmp[122]) ^ (tmp[88] ^ tmp[151] & (tmp[163] | tmp[177] ^ tmp[61]))));
tmp[88] = tmp[56] | tmp[158];
tmp[143] = tmp[38] | tmp[20];
tmp[52] = tmp[38] & tmp[20];
tmp[108] ^= tmp[29] & (tmp[176] ^ tmp[167] & ~(tmp[153] ^ tmp[175])) ^ (tmp[164] & tmp[156] ^ (tmp[16] ^ tmp[72] & ~((tmp[37] ^ ~(tmp[120] ^ tmp[104]) & tmp[167]) & tmp[29] ^ (tmp[116] ^ tmp[159] ^ tmp[167] & ~tmp[159]))));
tmp[166] = tmp[56] ^ tmp[158];
tmp[65] = ~tmp[158];
tmp[127] = tmp[181] ^ tmp[156] & (tmp[154] ^ (tmp[120] | tmp[128]) ^ tmp[82] & (tmp[47] ^ tmp[129])) ^ (tmp[129] ^ ((tmp[47] & tmp[48] | tmp[9]) ^ (tmp[49] ^ (tmp[89] | tmp[131] ^ (tmp[127] ^ tmp[120] & tmp[145] & tmp[9]) ^ tmp[156] & (tmp[131] ^ (tmp[127] ^ ~tmp[127] & tmp[9]))))));
tmp[154] = tmp[20] & tmp[8];
tmp[59] = tmp[126] & (tmp[173] ^ (tmp[147] | tmp[173])) ^ (tmp[98] & tmp[173] ^ (tmp[121] ^ tmp[14] & tmp[155])) ^ (tmp[135] ^ tmp[177] & ~(tmp[86] ^ (tmp[142] | tmp[160]) ^ (tmp[98] & (tmp[183] & tmp[121] ^ tmp[155] & tmp[59]) ^ tmp[126] & (tmp[98] & tmp[121] ^ (tmp[86] ^ tmp[162])))));
tmp[183] = tmp[20] | tmp[108];
tmp[173] = tmp[38] | tmp[108];
tmp[135] = tmp[158] & ~tmp[56];
tmp[49] = tmp[118] ^ tmp[108];
tmp[181] = ~tmp[170];
tmp[94] = tmp[56] & tmp[65];
tmp[179] = tmp[78] ^ tmp[27] & ~(tmp[139] & (tmp[141] ^ tmp[41]) ^ tmp[40] & (tmp[179] & tmp[44] ^ tmp[139] & ~tmp[44])) ^ (tmp[139] & ~(tmp[80] ^ tmp[66]) ^ (tmp[87] ^ tmp[115]) ^ tmp[40] & (tmp[85] ^ tmp[64] ^ tmp[139] & ~(tmp[149] ^ tmp[115])));
tmp[115] = tmp[38] & ~tmp[20];
tmp[149] = ~tmp[108];
tmp[66] = tmp[108] | tmp[154];
tmp[182] = tmp[163] ^ (tmp[2] ^ tmp[177] ^ tmp[122]) ^ ((tmp[15] | tmp[72] ^ (tmp[13] ^ tmp[91] & tmp[73])) ^ tmp[151] & ~(tmp[91] & (tmp[157] ^ (tmp[25] | tmp[157])) ^ ((tmp[15] | tmp[157] ^ (tmp[182] ^ tmp[91] & tmp[72])) ^ tmp[83])));
tmp[157] = tmp[91] & (tmp[25] ^ tmp[67]) ^ tmp[83] ^ ((tmp[15] | tmp[177] ^ (tmp[122] ^ tmp[163] & (tmp[138] ^ tmp[126] & tmp[157]))) ^ (tmp[46] ^ tmp[151] & ~(tmp[157] ^ tmp[13] ^ tmp[91] & (tmp[72] ^ tmp[126] & tmp[12]))));
tmp[91] = tmp[133] & tmp[59];
tmp[82] = tmp[131] ^ (tmp[48] & tmp[128] ^ ((tmp[9] | tmp[47] ^ tmp[161]) ^ ((tmp[167] | tmp[5] ^ tmp[129] ^ (tmp[145] ^ tmp[131] & tmp[48]) & tmp[82]) ^ (tmp[4] ^ tmp[76] & (tmp[161] & tmp[9] ^ (tmp[167] | tmp[119] ^ tmp[110] & tmp[82]))))));
tmp[110] = ~tmp[127];
tmp[119] = ~tmp[59];
tmp[126] = tmp[25] ^ (tmp[163] | tmp[25]) ^ (tmp[12] ^ (tmp[62] & (tmp[177] ^ (tmp[163] | tmp[61]) ^ (tmp[25] | tmp[109])) ^ (tmp[18] ^ tmp[151] & ~(tmp[62] & (tmp[177] & ~tmp[126]) ^ tmp[163] & ~tmp[73]))));
tmp[73] = tmp[56] | tmp[179];
tmp[62] = tmp[158] | tmp[179];
tmp[61] = tmp[166] | tmp[179];
tmp[109] = tmp[52] & tmp[149];
tmp[18] = tmp[38] & tmp[149];
tmp[12] = tmp[154] & tmp[149];
tmp[161] = tmp[135] ^ tmp[179];
tmp[145] = tmp[65] & tmp[157];
tmp[129] = tmp[158] | tmp[157];
tmp[65] &= tmp[82];
tmp[5] = tmp[157] & tmp[82];
tmp[76] = tmp[158] & tmp[82];
tmp[4] = tmp[108] & tmp[110];
tmp[128] = ~tmp[179];
tmp[13] = tmp[56] & tmp[158] ^ tmp[179];
tmp[138] = tmp[88] ^ tmp[179];
tmp[55] ^= tmp[74] ^ (tmp[80] | tmp[32]) ^ tmp[142] & (tmp[102] ^ (tmp[80] | tmp[169])) ^ tmp[152] & ~(tmp[142] & ~((tmp[80] | tmp[105]) ^ tmp[60]) ^ (tmp[146] ^ (tmp[105] ^ tmp[123] & tmp[11])));
tmp[122] = ~tmp[157];
tmp[67] = tmp[158] ^ tmp[157];
tmp[46] = tmp[133] & tmp[119];
tmp[83] = ~tmp[82];
tmp[2] = tmp[137] & tmp[126];
tmp[78] = tmp[59] | tmp[126];
tmp[36] = tmp[92] | tmp[126];
tmp[6] = tmp[92] & tmp[126];
tmp[114] = tmp[141] ^ tmp[44] & tmp[75] ^ tmp[139] & tmp[114] ^ tmp[40] & ~(tmp[64] ^ tmp[87] ^ tmp[139] & ~(tmp[41] ^ tmp[87])) ^ (tmp[69] ^ tmp[27] & ~(tmp[40] & ~(tmp[139] & (tmp[41] ^ tmp[85]) ^ tmp[39]) ^ (tmp[64] ^ tmp[139] & ~tmp[114])));
tmp[17] = tmp[125] ^ tmp[80] & tmp[31] ^ tmp[142] & ~(tmp[105] ^ tmp[80] & tmp[30]) ^ (tmp[7] ^ tmp[152] & (tmp[80] & tmp[71] ^ (tmp[184] ^ tmp[142] & ~(tmp[19] ^ tmp[80] & ~tmp[17]))));
tmp[19] = ~tmp[126];
tmp[30] = tmp[92] ^ tmp[126];
tmp[184] = tmp[88] ^ tmp[73];
tmp[73] ^= tmp[135];
tmp[71] = tmp[158] & tmp[128];
tmp[31] = tmp[135] ^ (tmp[94] | tmp[179]);
tmp[125] = tmp[158] ^ tmp[62];
tmp[62] ^= tmp[166];
tmp[7] = tmp[88] ^ tmp[61];
tmp[61] ^= tmp[135];
tmp[135] = tmp[166] ^ (tmp[135] | tmp[179]);
tmp[87] = tmp[123] & (tmp[44] ^ tmp[85]) ^ tmp[139] & (tmp[85] ^ tmp[44] & tmp[1]) ^ tmp[40] & (tmp[1] ^ tmp[68] ^ tmp[139] & (tmp[141] ^ tmp[68])) ^ (tmp[112] ^ tmp[27] & (tmp[40] & ~(tmp[41] ^ tmp[75] ^ tmp[139] & tmp[39]) ^ (tmp[1] ^ tmp[44] & tmp[123] ^ tmp[139] & ~(tmp[87] ^ tmp[44] & ~tmp[87]))));
tmp[39] = tmp[38] & ~tmp[115];
tmp[75] = tmp[158] & tmp[122];
tmp[41] = tmp[92] | tmp[114];
tmp[93] = tmp[77] ^ (tmp[187] ^ (tmp[50] ^ tmp[57] & (tmp[97] ^ tmp[172]))) ^ (tmp[81] & ((tmp[42] | tmp[172]) ^ (tmp[144] ^ tmp[84])) ^ tmp[139] & (tmp[90] ^ tmp[189] ^ tmp[81] & ~(tmp[93] ^ tmp[172] ^ tmp[189])));
tmp[189] = ~tmp[55];
tmp[169] = tmp[152] & ~(tmp[142] & (tmp[60] ^ tmp[80] & ~tmp[105]) ^ (tmp[146] ^ tmp[105] ^ tmp[80] & tmp[11])) ^ (tmp[101] ^ (tmp[74] ^ tmp[80] & tmp[32] ^ tmp[142] & ~(tmp[102] ^ tmp[80] & ~tmp[169])));
tmp[105] = tmp[92] & tmp[17];
tmp[102] = tmp[92] | tmp[17];
tmp[11] = tmp[137] & tmp[17];
tmp[48] = (tmp[148] | tmp[171] ^ tmp[156] & (tmp[175] ^ tmp[21])) ^ ((tmp[120] | tmp[104]) ^ (tmp[54] ^ (tmp[167] & ~(tmp[163] ^ tmp[174]) ^ (tmp[58] ^ tmp[72] & ~(tmp[116] ^ (tmp[175] ^ tmp[48] & (tmp[167] & tmp[164])) ^ tmp[29] & (tmp[180] ^ tmp[167] & (tmp[43] ^ tmp[54])))))));
tmp[33] = tmp[142] ^ tmp[160] ^ ((tmp[147] | tmp[14] ^ tmp[0]) ^ ((tmp[25] | (tmp[14] | tmp[147]) ^ (tmp[121] ^ tmp[162])) ^ (tmp[113] ^ tmp[177] & ~(tmp[155] & tmp[160] ^ tmp[98] & (tmp[14] ^ tmp[136]) ^ (tmp[25] | (tmp[147] | tmp[86]) ^ (tmp[136] ^ tmp[33]))))));
tmp[136] = tmp[59] ^ tmp[46];
tmp[86] = tmp[92] & tmp[19];
tmp[98] = tmp[2] ^ tmp[17];
tmp[160] = tmp[17] | tmp[30];
tmp[155] = ~tmp[114];
tmp[57] = tmp[117] ^ (tmp[90] ^ (tmp[42] | tmp[168] ^ tmp[24] & tmp[22]) ^ tmp[81] & (tmp[188] ^ tmp[193]) ^ tmp[139] & ~(tmp[168] ^ tmp[57] & tmp[190] ^ tmp[81] & (tmp[192] ^ tmp[194])));
tmp[90] = ~tmp[17];
tmp[117] = tmp[92] ^ tmp[17];
tmp[122] = tmp[82] & (tmp[145] | tmp[122]);
tmp[162] = tmp[82] & tmp[75];
tmp[113] = tmp[82] & ~tmp[129];
tmp[0] = tmp[157] & tmp[76] ^ tmp[75];
tmp[128] = tmp[166] ^ tmp[94] & tmp[128];
tmp[88] ^= tmp[71];
tmp[94] = ~tmp[87];
tmp[166] = tmp[114] | tmp[102];
tmp[16] = tmp[104] ^ (tmp[180] ^ (tmp[167] & ~tmp[171] ^ ((tmp[148] | tmp[163] ^ tmp[175] ^ tmp[167] & (tmp[163] ^ tmp[96])) ^ (tmp[124] ^ tmp[72] & (tmp[3] ^ tmp[43] ^ tmp[167] & (tmp[153] ^ tmp[176]) ^ (tmp[148] | tmp[21] ^ tmp[167] & tmp[16]))))));
tmp[43] = tmp[82] & ~tmp[67];
tmp[175] = tmp[102] & tmp[155];
tmp[124] = tmp[92] & tmp[155];
tmp[171] = ~tmp[169];
tmp[116] = tmp[92] & tmp[90];
tmp[58] = tmp[2] ^ (tmp[2] | tmp[17]);
tmp[156] = tmp[126] & tmp[90];
tmp[146] = tmp[36] & tmp[90];
tmp[60] = tmp[2] & tmp[90];
tmp[32] = tmp[6] & tmp[90];
tmp[74] = tmp[155] & tmp[117];
tmp[101] = ~tmp[48];
tmp[130] = tmp[132] ^ (tmp[139] & (tmp[81] & (tmp[188] ^ (tmp[42] | tmp[188])) ^ (tmp[144] ^ tmp[186] ^ tmp[193])) ^ (tmp[97] ^ (tmp[150] | tmp[172]) ^ (tmp[42] | tmp[191]) ^ tmp[81] & ~(tmp[190] ^ tmp[42] & ~(tmp[27] ^ tmp[130]))));
tmp[190] = ~tmp[57];
tmp[137] = tmp[114] | tmp[137] & tmp[102];
tmp[186] = tmp[145] ^ tmp[162];
tmp[75] = tmp[82] & ~tmp[75];
tmp[191] = tmp[67] ^ tmp[113];
tmp[193] = tmp[92] & ~tmp[105];
tmp[132] = tmp[155] & tmp[116];
tmp[84] = tmp[33] & (tmp[126] ^ (tmp[126] | tmp[17]));
tmp[54] = tmp[164] ^ (tmp[159] ^ (tmp[167] & (tmp[164] ^ tmp[96]) ^ (tmp[29] & (tmp[37] ^ tmp[167] & (tmp[3] ^ tmp[174])) ^ (tmp[134] ^ tmp[72] & ~(tmp[167] & ~(tmp[153] ^ tmp[96]) ^ (tmp[21] ^ (tmp[176] ^ (tmp[148] | tmp[120] ^ tmp[153] ^ tmp[167] & (tmp[180] ^ tmp[54])))))))));
tmp[180] = ~tmp[16];
tmp[153] = tmp[127] & tmp[130];
tmp[96] = tmp[110] & tmp[130];
tmp[176] = tmp[127] | tmp[130];
tmp[21] = ~tmp[130];
tmp[174] = tmp[127] ^ tmp[130];
tmp[3] = tmp[114] | tmp[193];
tmp[37] = tmp[119] & tmp[54];
tmp[134] = tmp[59] & tmp[54];
tmp[29] = tmp[59] | tmp[54];
tmp[164] = tmp[108] & tmp[153];
tmp[159] = tmp[108] & tmp[96];
tmp[50] = tmp[33] & (tmp[126] ^ tmp[156]);
tmp[187] = ~tmp[54];
tmp[123] = tmp[59] ^ tmp[54];
tmp[1] = ~tmp[153];
tmp[68] = tmp[176] & tmp[21];
tmp[85] = tmp[96] ^ tmp[159];
tmp[112] = tmp[108] & tmp[174];
tmp[64] = tmp[4] ^ tmp[174];
tmp[69] = tmp[17] ^ tmp[3];
tmp[103] = tmp[59] & tmp[187];
tmp[187] &= tmp[133];
tmp[140] = tmp[133] ^ tmp[29];
tmp[10] = tmp[133] & tmp[123];
tmp[106] = tmp[130] & tmp[1];
tmp[26] = tmp[108] & ~tmp[176];
tmp[100] = tmp[133] ^ tmp[123];
tmp[45] = tmp[153] ^ tmp[108] & tmp[21];
tmp[107] = tmp[54] & ~tmp[37];
tmp[165] = tmp[133] & ~tmp[29];
tmp[144] = (tmp[24] | tmp[172]) ^ (tmp[150] ^ ((tmp[42] | tmp[63] & tmp[77] ^ (tmp[97] | tmp[172])) ^ (tmp[81] & ~(tmp[27] ^ tmp[168] & tmp[22] ^ tmp[194]) ^ (tmp[99] ^ tmp[139] & ~(tmp[192] ^ tmp[42] & (tmp[144] & ~tmp[22]) ^ tmp[81] & ~(tmp[188] ^ tmp[42] & ~(tmp[144] ^ tmp[172])))))));
tmp[22] = tmp[108] & ~tmp[68];
tmp[188] = tmp[59] | tmp[144];
tmp[192] = tmp[59] & tmp[144];
tmp[168] = tmp[46] ^ tmp[107];
tmp[194] = ~tmp[144];
tmp[97] = tmp[59] ^ tmp[144];
tmp[63] = tmp[119] & (tmp[19] & tmp[144]);
tmp[99] = tmp[94] & tmp[188];
tmp[150] = tmp[19] & tmp[188];
tmp[24] = tmp[87] & tmp[168];
tmp[53] ^= tmp[170] & ~(tmp[88] ^ tmp[48] & ~tmp[7]) ^ (tmp[62] ^ ~tmp[161] & tmp[48] ^ (tmp[28] | tmp[125] ^ (tmp[135] & tmp[101] ^ tmp[170] & (tmp[61] ^ tmp[125] & tmp[48]))));
tmp[35] = tmp[59] & tmp[194];
tmp[194] &= tmp[188];
tmp[111] = ~tmp[192];
tmp[23] = tmp[78] ^ tmp[192];
tmp[95] = tmp[19] & tmp[97];
tmp[141] ^= tmp[49] ^ (tmp[170] | tmp[109]) ^ ((tmp[170] & tmp[108] ^ tmp[109]) & tmp[93] ^ (tmp[28] | tmp[181] & tmp[109] ^ (tmp[20] ^ (tmp[154] | tmp[181]) & tmp[93])));
tmp[58] = tmp[33] & tmp[58] ^ (tmp[126] ^ tmp[116]) ^ (tmp[16] | tmp[146] ^ (tmp[92] ^ tmp[33] & ~tmp[160])) ^ (tmp[139] ^ tmp[144] & (tmp[180] & (tmp[36] ^ tmp[33] & tmp[156]) ^ (tmp[92] ^ tmp[102] ^ tmp[33] & ~tmp[58])));
tmp[116] = tmp[19] & tmp[35];
tmp[148] ^= tmp[67] ^ tmp[82] & tmp[145] ^ tmp[48] & (tmp[129] ^ tmp[113]) ^ (tmp[55] | tmp[157] ^ tmp[76] ^ tmp[48] & tmp[191]) ^ tmp[190] & (tmp[0] ^ ((tmp[82] ^ tmp[129] | tmp[48]) ^ tmp[189] & (tmp[122] ^ (tmp[158] ^ tmp[82]) & tmp[48])));
tmp[120] ^= tmp[13] ^ (tmp[48] & ~tmp[128] ^ tmp[170] & (tmp[138] ^ tmp[48] & ~tmp[184])) ^ (tmp[28] | tmp[71] ^ tmp[48] & ~tmp[31] ^ tmp[170] & ~(tmp[73] ^ tmp[71] & tmp[48]));
tmp[125] = tmp[170] & (tmp[88] ^ (tmp[7] | tmp[48])) ^ (tmp[62] ^ tmp[161] & tmp[101]) ^ (tmp[27] ^ (tmp[28] | tmp[125] ^ tmp[135] & tmp[48] ^ tmp[170] & (tmp[61] ^ tmp[125] & tmp[101])));
tmp[61] = ~tmp[141];
tmp[135] = ~tmp[58];
tmp[7] = tmp[144] & (tmp[19] ^ tmp[111]);
tmp[161] = ~tmp[148];
tmp[186] = tmp[42] ^ ((tmp[57] | tmp[48] & (tmp[158] ^ tmp[122]) ^ tmp[189] & ((tmp[158] ^ tmp[65]) & tmp[48] ^ tmp[75])) ^ (tmp[0] ^ tmp[48] & tmp[186] ^ tmp[189] & (tmp[157] ^ tmp[48] & ~tmp[186])));
tmp[122] = ~tmp[120];
tmp[101] = tmp[147] ^ (tmp[13] ^ tmp[128] & tmp[101] ^ tmp[170] & ~(tmp[138] ^ (tmp[184] | tmp[48]))) ^ ~tmp[28] & ((tmp[31] | tmp[48]) ^ (tmp[71] ^ tmp[170] & ~(tmp[73] ^ tmp[71] & tmp[101])));
tmp[71] = ~tmp[125];
tmp[65] = tmp[191] ^ (tmp[48] | tmp[157] ^ tmp[162]) ^ ((tmp[55] | tmp[67] ^ tmp[82] & tmp[129] ^ (tmp[5] ^ tmp[67]) & tmp[48]) ^ (tmp[177] ^ tmp[190] & (tmp[129] ^ tmp[5] ^ (tmp[145] ^ tmp[76]) & tmp[48] ^ tmp[189] & (~tmp[65] & tmp[48] ^ (tmp[145] ^ tmp[43])))));
tmp[6] = (tmp[33] | tmp[86]) ^ tmp[156] ^ (tmp[180] & (tmp[36] ^ tmp[60]) ^ (tmp[152] ^ tmp[144] & ~(tmp[180] & (tmp[90] & (tmp[33] ^ tmp[86])) ^ tmp[33] & (tmp[6] ^ tmp[32]))));
tmp[183] = tmp[115] ^ (tmp[8] & tmp[170] ^ (tmp[66] ^ (tmp[93] & ~(tmp[109] ^ (tmp[38] & tmp[170] ^ tmp[39])) ^ (tmp[81] ^ (tmp[28] | tmp[20] ^ tmp[183] ^ tmp[170] & (tmp[143] ^ tmp[183]) ^ tmp[93] & (tmp[38] ^ tmp[18] ^ tmp[170] & (tmp[52] ^ tmp[18])))))));
tmp[81] = tmp[101] & tmp[65];
tmp[8] = tmp[101] | tmp[65];
tmp[2] = tmp[92] ^ tmp[160] ^ tmp[33] & ~tmp[98] ^ (tmp[163] ^ (tmp[16] | tmp[2] ^ (tmp[146] ^ tmp[84])) ^ tmp[144] & ~(tmp[180] & (tmp[84] ^ (tmp[30] ^ tmp[32])) ^ (tmp[126] ^ tmp[160] ^ tmp[33] & (tmp[126] ^ (tmp[17] | tmp[126] & ~tmp[2])))));
tmp[25] ^= tmp[127] ^ tmp[69] ^ (tmp[182] & (tmp[127] & (tmp[92] ^ tmp[175]) ^ (tmp[92] ^ tmp[92] & (tmp[17] & tmp[155]))) ^ tmp[130] & ~(tmp[175] ^ (tmp[127] & tmp[114] ^ tmp[102]) ^ tmp[182] & ~(tmp[127] & tmp[11] ^ tmp[124])));
tmp[32] = ~tmp[101];
tmp[30] = tmp[101] ^ tmp[65];
tmp[160] = ~tmp[65];
tmp[143] = tmp[154] ^ (tmp[170] & (tmp[38] ^ tmp[12]) ^ (tmp[66] ^ (tmp[93] & ~(tmp[170] & (tmp[38] ^ (tmp[143] | tmp[108]))) ^ (tmp[15] ^ (tmp[28] | tmp[170] & ~tmp[173] ^ (tmp[12] ^ (tmp[39] ^ tmp[38] & tmp[93])))))));
tmp[12] = tmp[71] & tmp[183];
tmp[173] = tmp[38] ^ (tmp[20] & tmp[149] ^ (tmp[170] & (~tmp[118] | tmp[149]) ^ (tmp[93] & ~(tmp[118] ^ tmp[109] ^ tmp[170] & ~(tmp[52] ^ (tmp[108] | tmp[39]))) ^ (tmp[89] ^ (tmp[28] | tmp[181] & (tmp[115] ^ tmp[18]) ^ tmp[93] & ~(tmp[49] ^ tmp[170] & ~(tmp[52] ^ tmp[173])))))));
tmp[52] = tmp[65] & tmp[32];
tmp[39] = ~tmp[183];
tmp[49] = tmp[183] ^ (tmp[125] | tmp[183]);
tmp[75] = tmp[51] ^ (tmp[82] ^ tmp[67] ^ (tmp[48] ^ (tmp[129] & tmp[189] ^ (tmp[57] | tmp[189] & (tmp[158] & tmp[157] ^ tmp[43]) ^ (tmp[158] ^ tmp[113] ^ tmp[48] & (tmp[67] ^ tmp[75]))))));
tmp[67] = tmp[101] & tmp[160];
tmp[113] = tmp[8] & tmp[160];
tmp[43] = ~tmp[2];
tmp[124] = tmp[105] ^ tmp[137] ^ tmp[127] & ~(tmp[74] ^ tmp[193]) ^ (tmp[182] & ~(tmp[11] ^ tmp[166] ^ tmp[127] & (tmp[105] ^ tmp[166])) ^ (tmp[80] ^ tmp[130] & (tmp[17] ^ tmp[74] ^ tmp[127] & ~tmp[175] ^ tmp[182] & ~(tmp[124] ^ tmp[110] & (tmp[11] ^ tmp[124])))));
tmp[74] = tmp[25] | tmp[143];
tmp[166] = ~tmp[25];
tmp[68] = tmp[174] ^ (tmp[70] & tmp[110] ^ (tmp[108] & tmp[176] ^ (tmp[34] & (tmp[176] ^ tmp[26]) ^ (tmp[14] ^ (tmp[38] | tmp[108] & (tmp[34] & tmp[130]) ^ tmp[68] ^ tmp[70] & (tmp[164] ^ tmp[127] & tmp[21]))))));
tmp[176] = tmp[143] ^ tmp[74];
tmp[14] = tmp[53] & tmp[39];
tmp[80] = tmp[141] | tmp[75];
tmp[129] = tmp[141] & tmp[75];
tmp[51] = tmp[141] | tmp[124];
tmp[18] = tmp[141] & tmp[124];
tmp[110] = tmp[182] & ~(tmp[155] & (tmp[110] & tmp[11])) ^ ((tmp[114] | tmp[17]) ^ tmp[117] ^ tmp[127] & ~(tmp[102] ^ tmp[3]) ^ (tmp[47] ^ tmp[130] & ~(tmp[110] & (tmp[17] ^ tmp[41]) ^ tmp[69] ^ tmp[182] & (tmp[41] ^ tmp[127] & (tmp[41] ^ tmp[193])))));
tmp[69] = tmp[141] ^ tmp[75];
tmp[11] = ~tmp[124];
tmp[155] = tmp[141] ^ tmp[124];
tmp[32] &= tmp[68];
tmp[47] = tmp[160] & tmp[68];
tmp[115] = tmp[81] & tmp[68];
tmp[181] = tmp[52] & tmp[68];
tmp[109] = ~tmp[81] & tmp[68];
tmp[118] = ~tmp[8] & tmp[68];
tmp[102] = tmp[117] ^ tmp[175] ^ tmp[127] & ~(tmp[105] ^ tmp[3]) ^ (tmp[182] & ~(tmp[193] ^ tmp[132] ^ tmp[127] & ~(tmp[102] ^ tmp[132])) ^ (tmp[172] ^ tmp[130] & ~(tmp[182] & ~(tmp[105] ^ tmp[127] & (tmp[41] ^ tmp[102])) ^ (tmp[92] ^ tmp[137] ^ tmp[127] & ~(tmp[105] ^ tmp[132])))));
tmp[156] = tmp[98] ^ (tmp[33] & (tmp[86] ^ tmp[60]) ^ ((tmp[16] | tmp[50]) ^ (tmp[178] ^ tmp[144] & (tmp[126] ^ (tmp[156] ^ tmp[33] & ~tmp[156]) ^ (tmp[16] | tmp[156] ^ (tmp[86] ^ tmp[50]))))));
tmp[50] = ~tmp[68];
tmp[123] = tmp[100] ^ (tmp[24] ^ ((tmp[55] | tmp[133] & tmp[134] ^ tmp[107] ^ tmp[87] & ~tmp[168]) ^ (tmp[9] ^ tmp[83] & ((tmp[55] | tmp[29] ^ tmp[187] ^ tmp[87] & (tmp[123] ^ tmp[10])) ^ (tmp[187] ^ tmp[87] & (tmp[37] ^ tmp[10]))))));
tmp[187] = tmp[68] | tmp[69];
tmp[9] = tmp[68] & ~tmp[113];
tmp[86] = tmp[51] & tmp[11];
tmp[96] = (tmp[34] | tmp[108] ^ tmp[127]) ^ tmp[64] ^ (tmp[70] & (tmp[127] ^ tmp[4]) ^ (tmp[131] ^ (tmp[38] | tmp[70] & (tmp[185] & tmp[108] ^ tmp[85]) ^ tmp[185] & (tmp[96] ^ tmp[108] & ~tmp[106]))));
tmp[4] = tmp[183] | tmp[102];
tmp[131] = tmp[39] & tmp[102];
tmp[10] = tmp[168] ^ (tmp[87] & (tmp[29] ^ tmp[165]) ^ (tmp[189] & (tmp[29] ^ tmp[87] & ~(tmp[46] ^ tmp[29])) ^ (tmp[72] ^ (tmp[82] | tmp[87] & (tmp[46] ^ tmp[37]) ^ (tmp[91] ^ tmp[37] ^ (tmp[55] | tmp[87] | tmp[10] ^ tmp[107]))))));
tmp[37] = tmp[81] ^ tmp[115];
tmp[29] = tmp[81] ^ tmp[181];
tmp[72] = tmp[125] ^ tmp[102];
tmp[168] = tmp[183] ^ tmp[102];
tmp[178] = ~tmp[156];
tmp[60] = tmp[122] & tmp[123];
tmp[98] = tmp[120] & tmp[123];
tmp[41] = tmp[120] | tmp[123];
tmp[132] = tmp[183] & tmp[123];
tmp[105] = tmp[183] | tmp[123];
tmp[137] = tmp[39] & tmp[123];
tmp[193] = tmp[124] & ~tmp[18];
tmp[3] = tmp[120] | tmp[96];
tmp[172] = tmp[123] | tmp[96];
tmp[21] = tmp[64] ^ (tmp[34] & ~tmp[112] ^ ((tmp[38] | tmp[153] ^ tmp[164] ^ tmp[34] & tmp[85] ^ tmp[70] & (tmp[26] ^ (tmp[130] ^ tmp[34] & tmp[21]))) ^ (tmp[104] ^ tmp[70] & ~(tmp[106] ^ tmp[26] ^ tmp[34] & ~tmp[45]))));
tmp[26] = tmp[125] | tmp[4];
tmp[106] = tmp[71] & tmp[4];
tmp[85] = ~tmp[123];
tmp[164] = tmp[120] ^ tmp[123];
tmp[104] = tmp[183] ^ tmp[123];
tmp[64] = ~tmp[96];
tmp[175] = tmp[183] & ~tmp[102];
tmp[117] = tmp[125] | tmp[168];
tmp[89] = tmp[96] | tmp[41];
tmp[149] = tmp[53] & tmp[132];
tmp[15] = tmp[53] & tmp[105];
tmp[66] = tmp[39] & tmp[105];
tmp[134] = (tmp[87] | tmp[136]) ^ ((tmp[55] | tmp[107] ^ tmp[24]) ^ (tmp[100] ^ (tmp[121] ^ (tmp[82] | tmp[189] & (tmp[136] ^ tmp[87] & (tmp[91] ^ tmp[134])) ^ (tmp[59] ^ (tmp[91] ^ tmp[94] & (tmp[91] ^ tmp[103])))))));
tmp[136] = ~tmp[10];
tmp[121] = tmp[120] & tmp[85];
tmp[24] = tmp[132] ^ tmp[149];
tmp[107] = ~tmp[105];
tmp[100] = tmp[183] & tmp[85];
tmp[154] = tmp[53] & tmp[104];
tmp[84] = tmp[120] & tmp[64];
tmp[180] = tmp[125] | tmp[175];
tmp[146] = tmp[71] & tmp[175];
tmp[163] = tmp[53] & (tmp[39] | tmp[132]);
tmp[140] = tmp[87] ^ (tmp[46] ^ (tmp[103] ^ (tmp[189] & (tmp[59] ^ tmp[91] ^ tmp[87] & (tmp[54] ^ tmp[165])) ^ (tmp[44] ^ tmp[83] & (tmp[133] & tmp[87] & tmp[54] ^ (tmp[55] | tmp[140] ^ tmp[87] & ~tmp[140]))))));
tmp[165] = tmp[175] ^ tmp[146];
tmp[91] = tmp[183] ^ tmp[117];
tmp[83] = tmp[123] & ~tmp[60];
tmp[44] = tmp[96] | tmp[121];
tmp[189] = tmp[64] & tmp[121];
tmp[103] = ~tmp[66];
tmp[46] = tmp[53] & tmp[100];
tmp[90] = tmp[25] ^ (tmp[143] ^ tmp[10]);
tmp[22] ^= tmp[153] ^ (tmp[70] & ~tmp[159] ^ (tmp[34] & ~(tmp[130] ^ tmp[108] & tmp[1]) ^ (tmp[40] ^ (tmp[38] | tmp[70] & ~(tmp[127] ^ tmp[112]) ^ (tmp[45] ^ tmp[185] & (tmp[174] ^ tmp[22]))))));
tmp[150] ^= tmp[97] ^ ((tmp[169] | tmp[99]) ^ (tmp[87] & ~(tmp[126] | tmp[188]) ^ (tmp[151] ^ tmp[79] & ~(tmp[171] & tmp[150] ^ tmp[94] & (tmp[188] ^ (tmp[126] | tmp[144]))))));
tmp[151] = tmp[141] | tmp[140];
tmp[174] = tmp[51] | tmp[140];
tmp[112] = tmp[86] | tmp[140];
tmp[185] = tmp[155] | tmp[140];
tmp[45] = tmp[123] ^ tmp[164] & tmp[64];
tmp[1] = tmp[96] | tmp[83];
tmp[40] = ~tmp[140];
tmp[159] = tmp[155] ^ tmp[140];
tmp[153] = tmp[143] | tmp[150];
tmp[36] = ~tmp[150];
tmp[152] = tmp[143] & tmp[166] ^ tmp[150];
tmp[145] = tmp[141] ^ tmp[151];
tmp[76] = tmp[141] & tmp[40];
tmp[5] = tmp[51] & tmp[40];
tmp[40] &= tmp[18];
tmp[190] = tmp[124] ^ tmp[185];
tmp[162] = tmp[124] ^ (tmp[124] | tmp[140]);
tmp[19] = tmp[59] ^ (tmp[126] | tmp[144] & tmp[111]) ^ (tmp[87] & ~tmp[23] ^ (tmp[171] & (tmp[97] ^ tmp[87] & (tmp[78] ^ tmp[194])) ^ (tmp[167] ^ tmp[79] & ~(tmp[87] & tmp[23] ^ (tmp[171] & ((tmp[19] ^ tmp[87]) & tmp[192]) ^ tmp[7])))));
tmp[188] = (tmp[87] | tmp[63]) ^ (tmp[7] ^ ((tmp[169] | tmp[35] ^ tmp[87] & tmp[63]) ^ (tmp[77] ^ tmp[79] & (tmp[171] & (tmp[116] ^ tmp[94] & tmp[35]) ^ ((tmp[126] | tmp[192]) ^ tmp[194] ^ tmp[87] & ~(tmp[188] ^ (tmp[126] | tmp[97])))))));
tmp[192] = tmp[143] & tmp[36];
tmp[35] = tmp[120] & tmp[19];
tmp[94] = tmp[45] | tmp[19];
tmp[194] = tmp[148] & tmp[19];
tmp[171] = tmp[148] | tmp[19];
tmp[63] = tmp[166] & tmp[192];
tmp[77] = ~tmp[19];
tmp[7] = tmp[148] ^ tmp[19];
tmp[23] = tmp[161] & tmp[35];
tmp[78] = tmp[120] & tmp[194];
tmp[116] = tmp[126] ^ (tmp[97] ^ (tmp[87] & tmp[111] ^ ((tmp[169] | tmp[59] ^ tmp[99]) ^ (tmp[142] ^ tmp[79] & ((tmp[169] | tmp[119] & tmp[87] ^ (tmp[144] ^ tmp[95])) ^ (tmp[144] ^ (tmp[95] ^ (tmp[87] | tmp[97] ^ tmp[116]))))))));
tmp[97] = tmp[120] & tmp[77];
tmp[95] = tmp[148] & tmp[77];
tmp[119] = tmp[171] & tmp[77];
tmp[99] = ~tmp[194];
tmp[142] = ~tmp[171];
tmp[69] &= tmp[116];
tmp[111] = tmp[80] & tmp[116];
tmp[167] = ~tmp[80] & tmp[116];
tmp[177] = tmp[19] ^ tmp[23];
tmp[191] = tmp[120] & tmp[95];
tmp[73] = tmp[19] & tmp[99];
tmp[184] = ~tmp[116];
tmp[138] = tmp[119] ^ tmp[191];
tmp[128] = ~tmp[119];
tmp[119] ^= tmp[120];
tmp[31] = tmp[141] ^ tmp[69];
tmp[13] = tmp[65] & tmp[50] & tmp[184];
tmp[147] = tmp[120] & tmp[128];
tmp[0] = tmp[73] ^ tmp[120] & tmp[142];
tmp[42] = tmp[78] ^ tmp[73];
tmp[85] = tmp[28] ^ (tmp[186] & (tmp[132] ^ tmp[15] ^ (tmp[156] | tmp[14] ^ tmp[104] ^ tmp[96] & tmp[100])) ^ (tmp[96] ^ (tmp[104] ^ tmp[53] & tmp[103]) ^ (tmp[156] | tmp[183] ^ tmp[53] & tmp[85] ^ tmp[96] & (tmp[137] ^ tmp[154]))));
tmp[28] = tmp[75] ^ tmp[31];
tmp[117] = tmp[144] ^ (~(tmp[71] & tmp[131] ^ tmp[58] & (tmp[102] ^ (tmp[125] | tmp[102]))) & tmp[188] ^ (tmp[125] ^ tmp[168] ^ tmp[58] & ~(tmp[102] ^ tmp[26])) ^ (tmp[186] | tmp[4] ^ tmp[26] ^ tmp[58] & ~tmp[4] ^ (tmp[183] ^ tmp[12] ^ tmp[58] & (tmp[168] ^ tmp[117])) & tmp[188]));
tmp[100] = tmp[104] ^ (tmp[96] & tmp[105] ^ tmp[53] & tmp[107]) ^ (tmp[178] & (tmp[105] ^ tmp[96] & ~(tmp[123] ^ tmp[15])) ^ (tmp[70] ^ tmp[186] & ~(tmp[15] ^ tmp[96] & tmp[107] ^ (tmp[156] | tmp[172] ^ tmp[100]))));
tmp[26] = tmp[58] & (tmp[125] ^ tmp[131]) ^ (tmp[183] ^ (tmp[102] ^ (tmp[125] | tmp[131]))) ^ ~(tmp[183] ^ tmp[58] & tmp[12]) & tmp[188] ^ (tmp[93] ^ ~tmp[186] & (tmp[58] & ~(tmp[131] ^ tmp[26]) ^ (tmp[106] ^ (tmp[125] ^ tmp[135] & tmp[49]) & tmp[188])));
tmp[146] = tmp[131] ^ (tmp[58] & tmp[180] ^ ~(tmp[58] & tmp[71] ^ tmp[49]) & tmp[188]) ^ (tmp[57] ^ (tmp[186] | tmp[58] & ~(tmp[102] ^ tmp[180]) ^ (tmp[106] ^ (tmp[146] ^ tmp[58] & ~tmp[72]) & tmp[188])));
tmp[104] = tmp[133] ^ (tmp[96] & tmp[132] ^ (tmp[66] ^ tmp[163]) ^ (tmp[156] | tmp[183] ^ (tmp[96] | tmp[132] ^ tmp[46])) ^ tmp[186] & ~(tmp[96] & (~tmp[53] & tmp[137]) ^ tmp[178] & (tmp[105] ^ (tmp[46] ^ tmp[96] & ~tmp[104]))));
tmp[80] = tmp[129] ^ tmp[50] & (tmp[80] ^ tmp[167]) ^ tmp[6] & (tmp[187] ^ (tmp[75] ^ ~tmp[129] & tmp[116]));
tmp[45] = tmp[79] ^ (tmp[164] ^ tmp[94] ^ tmp[110] & (tmp[3] ^ tmp[123] & tmp[96] & tmp[19]) ^ tmp[173] & ~(tmp[110] & ~tmp[89] ^ (tmp[45] ^ tmp[3] & tmp[19])));
tmp[41] = tmp[173] & (tmp[110] & (tmp[41] ^ tmp[89]) ^ (tmp[189] ^ (tmp[1] | tmp[19]))) ^ (tmp[127] ^ (tmp[3] ^ tmp[121] ^ (tmp[60] ^ tmp[84] | tmp[19]) ^ tmp[110] & ~(tmp[41] ^ tmp[98] & tmp[64] ^ (tmp[164] ^ tmp[44] | tmp[19]))));
tmp[145] = tmp[125] & ~tmp[145] ^ (tmp[51] ^ tmp[40] ^ (tmp[22] & ~(tmp[125] & tmp[151] ^ tmp[162]) ^ (tmp[179] ^ (tmp[58] | tmp[162] ^ tmp[125] & tmp[145] ^ tmp[22] & ((tmp[193] | tmp[140]) ^ (tmp[193] ^ tmp[125] & tmp[140]))))));
tmp[31] = tmp[6] & (tmp[69] ^ (tmp[68] | tmp[31])) ^ (tmp[141] ^ tmp[167] ^ (tmp[68] | tmp[28]));
tmp[14] = (tmp[156] | tmp[24] ^ tmp[64] & (tmp[123] ^ tmp[149])) ^ (tmp[183] ^ tmp[154] ^ (tmp[96] & tmp[103] ^ (tmp[92] ^ tmp[186] & ~((tmp[156] | tmp[39] & tmp[96] ^ tmp[24]) ^ (tmp[96] & ~(tmp[183] ^ tmp[14]) ^ (tmp[132] ^ tmp[163]))))));
tmp[39] = ~tmp[104];
tmp[129] = tmp[75] ^ tmp[111] ^ tmp[50] & (tmp[75] ^ (tmp[141] ^ tmp[129] & tmp[116])) ^ tmp[6] & ~(tmp[187] ^ (tmp[141] & ~tmp[75] ^ tmp[111]));
tmp[187] = ~tmp[45];
tmp[163] = ~tmp[41];
tmp[91] = tmp[72] ^ (tmp[58] | tmp[165]) ^ (tmp[188] & (tmp[183] ^ tmp[58] & tmp[91]) ^ (tmp[130] ^ (tmp[186] | tmp[12] ^ (tmp[175] ^ tmp[135] & tmp[165]) ^ tmp[188] & (tmp[12] ^ (tmp[175] ^ tmp[58] & ~tmp[91])))));
tmp[69] = (tmp[75] | tmp[68]) ^ (tmp[61] & tmp[75] ^ tmp[111]) ^ tmp[6] & ~(tmp[50] & (tmp[75] ^ tmp[69]) ^ tmp[28]);
tmp[50] = ~tmp[14];
tmp[158] ^= tmp[65] ^ tmp[68] ^ ((tmp[113] ^ tmp[115] | tmp[116]) ^ ((tmp[25] | tmp[37] & tmp[184]) ^ tmp[134] & (tmp[9] ^ (tmp[81] ^ tmp[166] & (tmp[81] ^ tmp[68])) ^ (tmp[9] | tmp[116]))));
tmp[113] = tmp[41] & tmp[91];
tmp[28] = tmp[41] | tmp[91];
tmp[190] = tmp[159] ^ (tmp[125] & (tmp[124] ^ tmp[174]) ^ (tmp[22] & ~(tmp[125] & tmp[124] ^ tmp[112]) ^ (tmp[114] ^ tmp[135] & (tmp[190] ^ tmp[125] & ~tmp[190] ^ tmp[22] & (tmp[151] ^ (tmp[86] ^ tmp[125] & (tmp[18] ^ tmp[151])))))));
tmp[114] = ~tmp[91];
tmp[111] = tmp[41] ^ tmp[91];
tmp[175] = tmp[163] & tmp[28];
tmp[165] = tmp[163] & tmp[190];
tmp[12] = tmp[41] & tmp[190];
tmp[130] = ~tmp[158];
tmp[72] = tmp[41] & tmp[114];
tmp[61] = tmp[124] ^ (tmp[5] ^ (tmp[125] & tmp[174] ^ (tmp[22] & ~(tmp[18] ^ tmp[125] & ~tmp[86]) ^ (tmp[87] ^ (tmp[58] | tmp[125] & (tmp[86] ^ tmp[112]) ^ (tmp[18] ^ tmp[11] & tmp[76]) ^ tmp[22] & (tmp[141] ^ tmp[174] ^ tmp[125] & ~(tmp[61] & tmp[124] ^ tmp[151])))))));
tmp[18] ^= tmp[112] ^ (tmp[125] & ~(tmp[51] ^ tmp[185]) ^ (tmp[38] ^ tmp[135] & (tmp[125] & (tmp[193] ^ (tmp[18] | tmp[140])) ^ (tmp[51] ^ tmp[5]) ^ tmp[22] & (tmp[18] ^ (tmp[125] | tmp[159]))) ^ tmp[22] & ~(tmp[40] ^ (tmp[193] ^ tmp[125] & (tmp[155] ^ tmp[76])))));
tmp[44] = tmp[60] ^ (tmp[96] ^ (((tmp[96] | tmp[164]) ^ tmp[83]) & tmp[77] ^ (tmp[173] & ~(~tmp[110] & tmp[98] ^ (tmp[96] | tmp[60]) & tmp[77]) ^ (tmp[56] ^ tmp[110] & ~(tmp[98] ^ tmp[3] ^ (tmp[83] ^ tmp[44]) & tmp[77])))));
tmp[89] = tmp[123] ^ (tmp[84] ^ ((tmp[121] ^ tmp[1]) & tmp[77] ^ (tmp[110] & (tmp[120] ^ tmp[60] & tmp[64] ^ tmp[94]) ^ (tmp[82] ^ tmp[173] & ~(tmp[172] ^ tmp[83] ^ (tmp[120] ^ tmp[89] | tmp[19]) ^ tmp[110] & (tmp[189] ^ tmp[35]))))));
tmp[169] ^= tmp[11] & tmp[80] ^ tmp[69];
tmp[11] = tmp[31] ^ (tmp[20] ^ tmp[11] & tmp[129]);
tmp[80] = tmp[69] ^ (tmp[55] ^ tmp[124] & ~tmp[80]);
tmp[29] = (tmp[37] | tmp[116]) ^ (tmp[109] ^ (tmp[8] ^ tmp[166] & (tmp[30] ^ tmp[101] & tmp[68] ^ tmp[13]))) ^ (tmp[33] ^ tmp[134] & ~((tmp[30] ^ (tmp[81] | tmp[160]) & tmp[68] | tmp[116]) ^ (tmp[29] ^ tmp[166] & (tmp[29] ^ (tmp[47] | tmp[116])))));
tmp[8] = tmp[41] & ~tmp[113];
tmp[37] = tmp[39] & tmp[61];
tmp[33] = tmp[45] & tmp[61];
tmp[67] = tmp[9] ^ (tmp[101] ^ (tmp[101] ^ tmp[47] | tmp[116])) ^ ((tmp[25] | tmp[118] ^ (tmp[67] ^ tmp[47]) & tmp[184]) ^ (tmp[34] ^ tmp[134] & ~(tmp[166] & tmp[118] ^ (tmp[65] ^ tmp[67] & tmp[68] ^ tmp[65] & tmp[184]))));
tmp[118] = tmp[158] | tmp[44];
tmp[47] = tmp[158] & tmp[44];
tmp[142] = tmp[16] ^ (tmp[21] & tmp[138] ^ (tmp[7] ^ tmp[147]) ^ tmp[2] & ~(tmp[177] ^ tmp[21] & (tmp[120] | tmp[142])) ^ tmp[10] & ~(tmp[78] ^ tmp[21] & tmp[128] ^ tmp[2] & ~(tmp[119] ^ tmp[21] & ~(tmp[35] ^ tmp[171]))));
tmp[128] = ~tmp[61];
tmp[16] = tmp[61] ^ tmp[80];
tmp[34] = ~tmp[18];
tmp[9] = tmp[18] & tmp[11];
tmp[55] = tmp[39] & tmp[80];
tmp[69] = tmp[104] | tmp[80];
tmp[20] = tmp[61] & tmp[80];
tmp[189] = tmp[61] | tmp[80];
tmp[83] = tmp[117] & tmp[29];
tmp[172] = tmp[158] ^ tmp[44];
tmp[64] = ~tmp[89];
tmp[60] = ~tmp[169];
tmp[129] = tmp[31] ^ (tmp[17] ^ tmp[124] & ~tmp[129]);
tmp[17] = ~tmp[80];
tmp[31] = ~tmp[29];
tmp[94] = tmp[29] ^ tmp[142];
tmp[82] = tmp[130] & tmp[118];
tmp[1] = tmp[29] | tmp[142];
tmp[121] = tmp[29] & tmp[142];
tmp[77] = tmp[80] & tmp[128];
tmp[84] = tmp[11] & tmp[34];
tmp[3] = tmp[39] & tmp[20];
tmp[98] = ~tmp[67];
tmp[164] = tmp[158] & ~tmp[44];
tmp[56] = tmp[104] ^ tmp[16];
tmp[76] = tmp[61] & tmp[17];
tmp[155] = tmp[142] & tmp[31];
tmp[159] = tmp[117] & tmp[94];
tmp[193] = tmp[117] & tmp[31];
tmp[5] = tmp[83] ^ tmp[94];
tmp[51] = tmp[117] & tmp[1];
tmp[40] = tmp[104] & tmp[77];
tmp[135] = tmp[104] | tmp[77];
tmp[185] = ~tmp[129];
tmp[171] = tmp[21] & tmp[42] ^ tmp[2] & ~(tmp[148] ^ tmp[21] & (tmp[148] ^ tmp[78])) ^ (tmp[119] ^ (tmp[54] ^ tmp[10] & (tmp[191] ^ (tmp[7] ^ tmp[21] & ~tmp[35]) ^ tmp[2] & ~(tmp[194] ^ tmp[23] ^ tmp[21] & ~(tmp[171] ^ tmp[97])))));
tmp[23] = tmp[158] & ~tmp[47];
tmp[194] = tmp[21] & ~tmp[138] ^ (tmp[95] ^ tmp[120] & ~tmp[73] ^ (tmp[10] & (tmp[120] & tmp[161] ^ (tmp[194] ^ tmp[21] & ~tmp[97]) ^ tmp[2] & ~(tmp[21] & (tmp[194] ^ tmp[97]) ^ (tmp[194] ^ tmp[191]))) ^ (tmp[48] ^ tmp[2] & (tmp[177] ^ tmp[21] & ~(tmp[148] ^ tmp[147])))));
tmp[147] = ~tmp[121];
tmp[191] = tmp[29] ^ tmp[159];
tmp[161] = tmp[117] & ~tmp[94];
tmp[94] ^= tmp[193];
tmp[177] = tmp[17] & tmp[194];
tmp[73] = tmp[80] | tmp[194];
tmp[48] = tmp[29] & tmp[147];
tmp[97] = tmp[122] & tmp[7] ^ (tmp[21] & ~tmp[42] ^ (tmp[2] & (tmp[148] ^ tmp[21] & tmp[0]) ^ (tmp[108] ^ tmp[10] & ~(tmp[0] ^ (tmp[21] & tmp[99] ^ tmp[2] & ~(tmp[148] ^ tmp[21] & tmp[97]))))));
tmp[99] = ~tmp[194];
tmp[0] = tmp[80] ^ tmp[194];
tmp[108] = tmp[61] & ~tmp[76];
tmp[42] = tmp[121] ^ tmp[117] & tmp[155];
tmp[159] = tmp[14] | tmp[142] ^ tmp[159];
tmp[155] ^= tmp[117] & tmp[121] ^ (tmp[14] | tmp[29]);
tmp[121] = tmp[34] & tmp[97];
tmp[7] = tmp[18] | tmp[97];
tmp[122] = tmp[8] | tmp[97];
tmp[95] = tmp[28] | tmp[97];
tmp[138] = tmp[91] | tmp[97];
tmp[35] = ~tmp[177];
tmp[78] = tmp[80] & tmp[99];
tmp[54] = ~tmp[97];
tmp[119] = tmp[18] ^ tmp[97];
tmp[38] = tmp[11] & tmp[121];
tmp[112] = tmp[194] & tmp[35];
tmp[151] = tmp[18] & tmp[54];
tmp[174] = tmp[28] & tmp[54];
tmp[86] = tmp[72] & tmp[54];
tmp[87] = tmp[113] & tmp[54];
tmp[132] = tmp[72] ^ tmp[122];
tmp[13] = tmp[30] ^ (tmp[109] ^ ((tmp[25] | tmp[81] ^ (tmp[32] ^ (tmp[101] ^ tmp[32] | tmp[116]))) ^ ((tmp[181] | tmp[116]) ^ (tmp[59] ^ tmp[134] & ~(tmp[115] ^ (tmp[181] & tmp[184] ^ tmp[166] & (tmp[52] ^ (tmp[65] & tmp[68] ^ tmp[13]))))))));
tmp[52] = tmp[9] ^ tmp[119];
tmp[184] = tmp[11] & tmp[151];
tmp[181] = tmp[11] & (tmp[121] | tmp[54]);
tmp[115] = tmp[11] & ~tmp[7];
tmp[32] = tmp[91] & (tmp[163] & tmp[54]);
tmp[59] = tmp[100] & (tmp[41] ^ tmp[95]);
tmp[8] ^= tmp[174];
tmp[81] = tmp[113] ^ tmp[87];
tmp[109] = tmp[111] ^ tmp[138] ^ (tmp[67] | tmp[41] ^ (tmp[41] | tmp[97]));
tmp[30] = ~tmp[13];
tmp[24] = tmp[175] ^ tmp[32];
tmp[149] = tmp[77] & tmp[30];
tmp[111] = tmp[22] ^ (tmp[109] ^ (tmp[59] ^ tmp[18] & ((tmp[67] | tmp[111] ^ tmp[174]) ^ (tmp[132] ^ tmp[100] & ~(tmp[41] ^ (tmp[111] | tmp[97]))))));
tmp[138] = tmp[98] & (tmp[113] ^ tmp[95]) ^ tmp[8] ^ (tmp[100] & (tmp[175] ^ (tmp[67] | tmp[113] ^ tmp[138])) ^ (tmp[21] ^ tmp[18] & ~(tmp[24] ^ tmp[98] & tmp[81] ^ tmp[100] & ~(tmp[91] ^ (tmp[91] | tmp[67]) ^ tmp[86]))));
tmp[81] = tmp[175] ^ tmp[86] ^ tmp[98] & (tmp[72] ^ tmp[87]) ^ (tmp[100] & ~((tmp[67] | tmp[97]) ^ tmp[132]) ^ (tmp[96] ^ tmp[18] & ~(tmp[67] & ~(tmp[113] ^ (tmp[113] | tmp[97])) ^ tmp[100] & (tmp[67] & tmp[54] ^ tmp[81]))));
tmp[132] = ~tmp[111];
tmp[40] = tmp[56] ^ ~(tmp[80] ^ tmp[69]) & tmp[13] ^ (tmp[171] & (tmp[40] ^ ~(tmp[69] ^ tmp[76]) & tmp[13]) ^ (tmp[123] ^ tmp[89] & ~((tmp[20] ^ tmp[3]) & tmp[30] ^ tmp[171] & ~(tmp[40] ^ ~tmp[16] & tmp[13]))));
tmp[108] = tmp[80] ^ ((tmp[61] ^ tmp[55] | tmp[13]) ^ ((tmp[104] | tmp[108]) ^ (tmp[171] & ~(tmp[16] & tmp[13]) ^ (tmp[134] ^ tmp[89] & (tmp[189] ^ (tmp[3] ^ ((tmp[189] ^ tmp[135] | tmp[13]) ^ ~tmp[108] & (tmp[171] & tmp[13]))))))));
tmp[134] = ~tmp[40];
tmp[76] = (tmp[80] ^ tmp[55] | tmp[13]) ^ (tmp[77] ^ (tmp[3] ^ (tmp[171] & ~(tmp[61] & (tmp[39] ^ tmp[17]) ^ (tmp[189] ^ tmp[39] & tmp[76]) & tmp[30]) ^ (tmp[140] ^ tmp[89] & (tmp[135] ^ tmp[171] & ~(tmp[37] ^ (tmp[189] | tmp[13])))))));
tmp[39] = tmp[111] | tmp[76];
tmp[32] = tmp[100] & ~tmp[24] ^ (tmp[122] ^ (tmp[113] ^ ((tmp[67] | tmp[8]) ^ (tmp[68] ^ tmp[18] & (tmp[28] ^ (tmp[91] & (tmp[98] & tmp[54]) ^ tmp[100] & ~(tmp[28] ^ tmp[32])))))));
tmp[189] = tmp[56] ^ ((tmp[77] ^ (tmp[104] | tmp[16])) & tmp[30] ^ (tmp[171] & ~(tmp[189] ^ (tmp[135] ^ tmp[37] & tmp[13])) ^ (tmp[10] ^ tmp[89] & ~(tmp[104] ^ (tmp[104] & tmp[149] ^ tmp[171] & (tmp[189] ^ (tmp[104] | tmp[189]) ^ tmp[149]))))));
tmp[149] = ~tmp[76];
tmp[37] = tmp[111] & tmp[149];
tmp[135] = ~tmp[32];
tmp[16] = ~tmp[189];
tmp[77] = tmp[90] ^ tmp[152];
tmp[56] = tmp[10] ^ (tmp[74] ^ tmp[77]);
tmp[28] = tmp[25] | tmp[56];
tmp[54] = tmp[166] & tmp[56];
tmp[56] ^= tmp[28];
tmp[153] = (tmp[65] | tmp[153] ^ (tmp[25] | tmp[153])) ^ tmp[77] ^ (tmp[126] ^ tmp[43] & (tmp[143] ^ (tmp[25] | tmp[150]) ^ tmp[160] & (tmp[28] ^ (tmp[10] | tmp[28]))));
tmp[126] = tmp[45] & tmp[153];
tmp[77] = tmp[45] | tmp[153];
tmp[98] = ~tmp[153];
tmp[68] = tmp[45] ^ tmp[153];
tmp[36] = tmp[90] ^ (tmp[170] ^ tmp[43] & (tmp[74] & tmp[136] ^ tmp[150] ^ (tmp[65] | tmp[150] ^ tmp[10] & (tmp[25] | tmp[36]))) ^ tmp[160] & (tmp[150] ^ tmp[10] & ~(tmp[143] ^ tmp[54])));
tmp[43] = tmp[61] & tmp[126];
tmp[170] = tmp[187] & tmp[77];
tmp[90] = ~tmp[126];
tmp[8] = tmp[61] ^ tmp[126];
tmp[113] = tmp[45] & tmp[98];
tmp[191] = tmp[50] & tmp[5] ^ (tmp[142] ^ tmp[161]) ^ (tmp[191] ^ (tmp[14] | tmp[191]) | tmp[153]);