aboutsummaryrefslogtreecommitdiffstats
path: root/erts/emulator/test/big_SUITE_data/eq_28.dat
diff options
context:
space:
mode:
Diffstat (limited to 'erts/emulator/test/big_SUITE_data/eq_28.dat')
-rw-r--r--erts/emulator/test/big_SUITE_data/eq_28.dat3000
1 files changed, 3000 insertions, 0 deletions
diff --git a/erts/emulator/test/big_SUITE_data/eq_28.dat b/erts/emulator/test/big_SUITE_data/eq_28.dat
new file mode 100644
index 0000000000..7464632e01
--- /dev/null
+++ b/erts/emulator/test/big_SUITE_data/eq_28.dat
@@ -0,0 +1,3000 @@
+2639222 = -30710410 band 11032439.
+-22317193 = -30710410 bor 11032439.
+-24956415 = -30710410 bxor 11032439.
+72453188 = -10637340 band 80972877.
+-2117651 = -10637340 bor 80972877.
+-74570839 = -10637340 bxor 80972877.
+54550530 = 56648450 band 62977043.
+65074963 = 56648450 bor 62977043.
+10524433 = 56648450 bxor 62977043.
+-133062592 = -46668208 band -86400951.
+-6567 = -46668208 bor -86400951.
+133056025 = -46668208 bxor -86400951.
+11840590 = -17453746 band 29146735.
+-147601 = -17453746 bor 29146735.
+-11988191 = -17453746 bxor 29146735.
+1052676 = -130214020 band 85129221.
+-46137475 = -130214020 bor 85129221.
+-47190151 = -130214020 bxor 85129221.
+-117420022 = -108834726 band -16723317.
+-8138021 = -108834726 bor -16723317.
+109282001 = -108834726 bxor -16723317.
+33558272 = 100806504 band -70250623.
+-3002391 = 100806504 bor -70250623.
+-36560663 = 100806504 bxor -70250623.
+50333734 = -82438106 band 120065127.
+-12706713 = -82438106 bor 120065127.
+-63040447 = -82438106 bxor 120065127.
+7078420 = -25241068 band 32318141.
+-1347 = -25241068 bor 32318141.
+-7079767 = -25241068 bxor 32318141.
+-124059646 = -38039374 band -90241021.
+-4220749 = -38039374 bor -90241021.
+119838897 = -38039374 bxor -90241021.
+21496192 = -8813696 band 30289337.
+-20551 = -8813696 bor 30289337.
+-21516743 = -8813696 bxor 30289337.
+-134217378 = -53606914 band -100654753.
+-20044289 = -53606914 bor -100654753.
+114173089 = -53606914 bxor -100654753.
+-99466204 = -88909908 band -31789963.
+-21233667 = -88909908 bor -31789963.
+78232537 = -88909908 bxor -31789963.
+-117439478 = -50297846 band -80776069.
+-13634437 = -50297846 bor -80776069.
+103805041 = -50297846 bxor -80776069.
+34620048 = -86752616 band 37411569.
+-83961095 = -86752616 bor 37411569.
+-118581143 = -86752616 bxor 37411569.
+2282582 = -114633002 band 70704471.
+-46211113 = -114633002 bor 70704471.
+-48493695 = -114633002 bxor 70704471.
+-99602428 = -82382780 band -24038099.
+-6818451 = -82382780 bor -24038099.
+92783977 = -82382780 bxor -24038099.
+130122338 = -2782622 band 132249587.
+-655373 = -2782622 bor 132249587.
+-130777711 = -2782622 bxor 132249587.
+-63912928 = -38482768 band -59181271.
+-33751111 = -38482768 bor -59181271.
+30161817 = -38482768 bxor -59181271.
+8206 = -41555282 band 1712207.
+-39851281 = -41555282 bor 1712207.
+-39859487 = -41555282 bxor 1712207.
+67109060 = -49151012 band 100719845.
+-15540227 = -49151012 bor 100719845.
+-82649287 = -49151012 bxor 100719845.
+33686058 = -3537990 band 33714795.
+-3509253 = -3537990 bor 33714795.
+-37195311 = -3537990 bxor 33714795.
+18939968 = 61440456 band -43556255.
+-1055767 = 61440456 bor -43556255.
+-19995735 = 61440456 bxor -43556255.
+83918854 = -50028154 band 131320391.
+-2626617 = -50028154 bor 131320391.
+-86545471 = -50028154 bxor 131320391.
+1098260 = 112783988 band 5686173.
+117371901 = 112783988 bor 5686173.
+116273641 = 112783988 bxor 5686173.
+-59228158 = -50769902 band -59194397.
+-50736141 = -50769902 bor -59194397.
+8492017 = -50769902 bxor -59194397.
+44089472 = -5455392 band 48299161.
+-1245703 = -5455392 bor 48299161.
+-45335175 = -5455392 bxor 48299161.
+67640094 = -31958178 band 82426687.
+-17171585 = -31958178 bor 82426687.
+-84811679 = -31958178 bxor 82426687.
+526340 = 4987916 band -29636267.
+-25174691 = 4987916 bor -29636267.
+-25701031 = 4987916 bxor -29636267.
+50908234 = 59428714 band 55102555.
+63623035 = 59428714 bor 55102555.
+12714801 = 59428714 bxor 55102555.
+-47930160 = -39523080 band -12802607.
+-4395527 = -39523080 bor -12802607.
+43534633 = -39523080 bxor -12802607.
+129781814 = 134117430 band -4336841.
+-1225 = 134117430 bor -4336841.
+-129783039 = 134117430 bxor -4336841.
+9748484 = -38281052 band 9752077.
+-38277459 = -38281052 bor 9752077.
+-48025943 = -38281052 bxor 9752077.
+17850818 = 20046274 band 51538899.
+53734355 = 20046274 bor 51538899.
+35883537 = 20046274 bxor 51538899.
+12853760 = 65299216 band -53658103.
+-1212647 = 65299216 bor -53658103.
+-14066407 = 65299216 bxor -53658103.
+20494 = 4216846 band -15863249.
+-11666897 = 4216846 bor -15863249.
+-11687391 = 4216846 bxor -15863249.
+40964 = -132865988 band 67285445.
+-65621507 = -132865988 bor 67285445.
+-65662471 = -132865988 bxor 67285445.
+8487434 = -89266406 band 9536075.
+-88217765 = -89266406 bor 9536075.
+-96705199 = -89266406 bxor 9536075.
+2196480 = 78218280 band 23176513.
+99198313 = 78218280 bor 23176513.
+97001833 = 78218280 bxor 23176513.
+3364902 = -130852122 band 125040679.
+-9176345 = -130852122 bor 125040679.
+-12541247 = -130852122 bxor 125040679.
+69341268 = 119978708 band -60664707.
+-10027267 = 119978708 bor -60664707.
+-79368535 = 119978708 bxor -60664707.
+536386 = 21643122 band 1961923.
+23068659 = 21643122 bor 1961923.
+22532273 = 21643122 bxor 1961923.
+25473088 = -6377408 band 29670265.
+-2180231 = -6377408 bor 29670265.
+-27653319 = -6377408 bxor 29670265.
+-94322658 = -92741442 band -85605089.
+-84023873 = -92741442 bor -85605089.
+10298785 = -92741442 bxor -85605089.
+5017636 = -86077332 band 5019189.
+-86075779 = -86077332 bor 5019189.
+-91093415 = -86077332 bxor 5019189.
+-133562358 = -128038198 band -47475653.
+-41951493 = -128038198 bor -47475653.
+91610865 = -128038198 bxor -47475653.
+18366480 = 56248152 band 87908529.
+125790201 = 56248152 bor 87908529.
+107423721 = 56248152 bxor 87908529.
+-130807530 = -125941354 band -130729705.
+-125863529 = -125941354 bor -130729705.
+4944001 = -125941354 bxor -130729705.
+76546052 = 81297668 band 76961517.
+81713133 = 81297668 bor 76961517.
+5167081 = 81297668 bxor 76961517.
+13125922 = -87201502 band 30035891.
+-70291533 = -87201502 bor 30035891.
+-83417455 = -87201502 bxor 30035891.
+-133291936 = -18962064 band -116493079.
+-2163207 = -18962064 bor -116493079.
+131128729 = -18962064 bxor -116493079.
+43004942 = 134018414 band -91212785.
+-199313 = 134018414 bor -91212785.
+-43204255 = 134018414 bxor -91212785.
+30434436 = 31255708 band 131102373.
+131923645 = 31255708 bor 131102373.
+101489209 = 31255708 bxor 131102373.
+393770 = 8845946 band -31063509.
+-22611333 = 8845946 bor -31063509.
+-23005103 = 8845946 bxor -31063509.
+51515392 = 52049544 band 66508833.
+67042985 = 52049544 bor 66508833.
+15527593 = 52049544 bxor 66508833.
+1030 = 8012870 band -117402105.
+-109390265 = 8012870 bor -117402105.
+-109391295 = 8012870 bxor -117402105.
+20975892 = 56636212 band -37235363.
+-1575043 = 56636212 bor -37235363.
+-22550935 = 56636212 bxor -37235363.
+395906 = 67526354 band 428963.
+67559411 = 67526354 bor 428963.
+67163505 = 67526354 bxor 428963.
+2181632 = 73879200 band -105813415.
+-34115847 = 73879200 bor -105813415.
+-36297479 = 73879200 bxor -105813415.
+12850718 = -121137634 band 99368703.
+-34619649 = -121137634 bor 99368703.
+-47470367 = -121137634 bxor 99368703.
+-117436412 = -117263156 band -83537131.
+-83363875 = -117263156 bor -83537131.
+34072537 = -117263156 bxor -83537131.
+37929994 = 131266090 band -95433701.
+-2097605 = 131266090 bor -95433701.
+-40027599 = 131266090 bxor -95433701.
+-66846320 = -66301512 band -25883759.
+-25338951 = -66301512 bor -25883759.
+41507369 = -66301512 bxor -25883759.
+75500278 = 75647734 band -23785737.
+-23638281 = 75647734 bor -23785737.
+-99138559 = 75647734 bxor -23785737.
+49476 = -99561116 band 5099469.
+-94511123 = -99561116 bor 5099469.
+-94560599 = -99561116 bxor 5099469.
+-67100542 = -67100542 band -58612845.
+-58612845 = -67100542 bor -58612845.
+8487697 = -67100542 bxor -58612845.
+-131032128 = -105144368 band -93021239.
+-67133479 = -105144368 bor -93021239.
+63898649 = -105144368 bxor -93021239.
+9486542 = 26460878 band -90642961.
+-73668625 = 26460878 bor -90642961.
+-83155167 = 26460878 bxor -90642961.
+100804740 = -16586500 band 102902661.
+-14488579 = -16586500 bor 102902661.
+-115293319 = -16586500 bxor 102902661.
+35991562 = 61685210 band -96996853.
+-71303205 = 61685210 bor -96996853.
+-107294767 = 61685210 bxor -96996853.
+85104640 = 85170408 band -44107007.
+-44041239 = 85170408 bor -44107007.
+-129145879 = 85170408 bxor -44107007.
+19988902 = 95509926 band -76438553.
+-917529 = 95509926 bor -76438553.
+-20906431 = 95509926 bxor -76438553.
+-130203116 = -84059244 band -130070979.
+-83927107 = -84059244 bor -130070979.
+46276009 = -84059244 bxor -130070979.
+41977346 = -91902414 band 44734339.
+-89145421 = -91902414 bor 44734339.
+-131122767 = -91902414 bxor 44734339.
+18745600 = -14770944 band 31394105.
+-2122439 = -14770944 bor 31394105.
+-20868039 = -14770944 bxor 31394105.
+-69982114 = -69436546 band -67819297.
+-67273729 = -69436546 bor -67819297.
+2708385 = -69436546 bxor -67819297.
+17860900 = 89164076 band 18743285.
+90046461 = 89164076 bor 18743285.
+72185561 = 89164076 bxor 18743285.
+-134196854 = -96415350 band -131238917.
+-93457413 = -96415350 bor -131238917.
+40739441 = -96415350 bxor -131238917.
+18023440 = 64162840 band 18589297.
+64728697 = 64162840 bor 18589297.
+46705257 = 64162840 bxor 18589297.
+29381718 = 31620182 band -2796329.
+-557865 = 31620182 bor -2796329.
+-29939583 = 31620182 bxor -2796329.
+7344260 = 49861060 band 91437229.
+133954029 = 49861060 bor 91437229.
+126609769 = 49861060 bxor 91437229.
+2099042 = 2230242 band 129001331.
+129132531 = 2230242 bor 129001331.
+127033489 = 2230242 bxor 129001331.
+34800160 = -74234320 band 104313513.
+-4720967 = -74234320 bor 104313513.
+-39521127 = -74234320 bxor 104313513.
+16777230 = 98353198 band 52430799.
+134006767 = 98353198 bor 52430799.
+117229537 = 98353198 bxor 52430799.
+954436 = 2004316 band -5255067.
+-4205187 = 2004316 bor -5255067.
+-5159623 = 2004316 bxor -5255067.
+3674410 = 41464122 band 4149739.
+41939451 = 41464122 bor 4149739.
+38265041 = 41464122 bxor 4149739.
+8390976 = -55727288 band 30543329.
+-33574935 = -55727288 bor 30543329.
+-41965911 = -55727288 bxor 30543329.
+28320006 = 61908742 band -104914489.
+-71325753 = 61908742 bor -104914489.
+-99645759 = 61908742 bxor -104914489.
+-109042924 = -107596812 band -75454691.
+-74008579 = -107596812 bor -75454691.
+35034345 = -107596812 bxor -75454691.
+33554690 = 102772114 band -92138653.
+-22921229 = 102772114 bor -92138653.
+-56475919 = 102772114 bxor -92138653.
+-58419200 = -52651168 band -41576423.
+-35808391 = -52651168 bor -41576423.
+22610809 = -52651168 bxor -41576423.
+42500254 = 42963166 band -17268033.
+-16805121 = 42963166 bor -17268033.
+-59305375 = 42963166 bxor -17268033.
+4197508 = 106958220 band 21929173.
+124689885 = 106958220 bor 21929173.
+120492377 = 106958220 bxor 21929173.
+3967178 = 67099882 band 3967963.
+67100667 = 67099882 bor 3967963.
+63133489 = 67099882 bxor 3967963.
+37761104 = 46560888 band -9883311.
+-1083527 = 46560888 bor -9883311.
+-38844631 = 46560888 bxor -9883311.
+6686902 = 41344438 band 82709175.
+117366711 = 41344438 bor 82709175.
+110679809 = 41344438 bxor 82709175.
+19431428 = 19431972 band 29266317.
+29266861 = 19431972 bor 29266317.
+9835433 = 19431972 bxor 29266317.
+42605378 = -24436926 band 63871827.
+-3170477 = -24436926 bor 63871827.
+-45775855 = -24436926 bxor 63871827.
+84777088 = 125672592 band -40912503.
+-16999 = 125672592 bor -40912503.
+-84794087 = 125672592 bxor -40912503.
+887182 = -105910898 band 69048751.
+-37749329 = -105910898 bor 69048751.
+-38636511 = -105910898 bxor 69048751.
+16867588 = 29880764 band 20014405.
+33027581 = 29880764 bor 20014405.
+16159993 = 29880764 bxor 20014405.
+117440650 = 121722010 band 129245643.
+133527003 = 121722010 bor 129245643.
+16086353 = 121722010 bxor 129245643.
+128 = -134189656 band 25694401.
+-108495383 = -134189656 bor 25694401.
+-108495511 = -134189656 bxor 25694401.
+37748774 = 38805606 band -85913689.
+-84856857 = 38805606 bor -85913689.
+-122605631 = 38805606 bxor -85913689.
+37925972 = 113425492 band 54786045.
+130285565 = 113425492 bor 54786045.
+92359593 = 113425492 bxor 54786045.
+67427394 = 70114546 band 100990787.
+103677939 = 70114546 bor 100990787.
+36250545 = 70114546 bxor 100990787.
+43581632 = 112806336 band -69396743.
+-172039 = 112806336 bor -69396743.
+-43753671 = 112806336 bxor -69396743.
+78136350 = 129553982 band -51491681.
+-74049 = 129553982 bor -51491681.
+-78210399 = 129553982 bxor -51491681.
+105447844 = -20364820 band 105851317.
+-19961347 = -20364820 bor 105851317.
+-125409191 = -20364820 bxor 105851317.
+90181642 = 90708042 band 133501883.
+134028283 = 90708042 bor 133501883.
+43846641 = 90708042 bxor 133501883.
+76840976 = -50425640 band 127249457.
+-17159 = -50425640 bor 127249457.
+-76858135 = -50425640 bxor 127249457.
+1515542 = 68644630 band 47657111.
+114786199 = 68644630 bor 47657111.
+113270657 = 68644630 bxor 47657111.
+36160004 = 37216900 band -18359699.
+-17302803 = 37216900 bor -18359699.
+-53462807 = 37216900 bxor -18359699.
+-133159390 = -91003230 band -44810445.
+-2654285 = -91003230 bor -44810445.
+130505105 = -91003230 bxor -44810445.
+-57630624 = -57498896 band -38490007.
+-38358279 = -57498896 bor -38490007.
+19272345 = -57498896 bxor -38490007.
+-108983666 = -35304722 band -108422257.
+-34743313 = -35304722 bor -108422257.
+74240353 = -35304722 bxor -108422257.
+1501700 = -57213412 band 56551973.
+-2163139 = -57213412 bor 56551973.
+-3664839 = -57213412 bxor 56551973.
+926122 = -127981574 band 68051371.
+-60856325 = -127981574 bor 68051371.
+-61782447 = -127981574 bxor 68051371.
+2162688 = 19128328 band -122092639.
+-105126999 = 19128328 bor -122092639.
+-107289687 = 19128328 bxor -122092639.
+21449094 = 90687942 band 30371207.
+99610055 = 90687942 bor 30371207.
+78160961 = 90687942 bxor 30371207.
+100675732 = 102429876 band 121714909.
+123469053 = 102429876 bor 121714909.
+22793321 = 102429876 bxor 121714909.
+-33417214 = -33113006 band -5547229.
+-5243021 = -33113006 bor -5547229.
+28174193 = -33113006 bxor -5547229.
+819200 = 30189600 band -132282919.
+-102912519 = 30189600 bor -132282919.
+-103731719 = 30189600 bxor -132282919.
+33554974 = 36719518 band -3242369.
+-77825 = 36719518 bor -3242369.
+-33632799 = 36719518 bxor -3242369.
+67380740 = -47962548 band 114796181.
+-547107 = -47962548 bor 114796181.
+-67927847 = -47962548 bxor 114796181.
+12649354 = -86932566 band 13568923.
+-86012997 = -86932566 bor 13568923.
+-98662351 = -86932566 bxor 13568923.
+43062032 = 43211576 band 64558865.
+64708409 = 43211576 bor 64558865.
+21646377 = 43211576 bxor 64558865.
+8913014 = 10236022 band -91699593.
+-90376585 = 10236022 bor -91699593.
+-99289599 = 10236022 bxor -91699593.
+44438084 = -4263196 band 44503885.
+-4197395 = -4263196 bor 44503885.
+-48635479 = -4263196 bxor 44503885.
+9458178 = 59956738 band -54963437.
+-4464877 = 59956738 bor -54963437.
+-13923055 = 59956738 bxor -54963437.
+97128768 = 99244368 band -2189495.
+-73895 = 99244368 bor -2189495.
+-97202663 = 99244368 bxor -2189495.
+-78378930 = -11216818 band -77853329.
+-10691217 = -11216818 bor -77853329.
+67687713 = -11216818 bxor -77853329.
+2103812 = 86227580 band -84910331.
+-786563 = 86227580 bor -84910331.
+-2890375 = 86227580 bxor -84910331.
+131338 = -131454118 band 80089483.
+-51495973 = -131454118 bor 80089483.
+-51627311 = -131454118 bxor 80089483.
+-32505344 = -30408088 band -6494591.
+-4397335 = -30408088 bor -6494591.
+28108009 = -30408088 bxor -6494591.
+-58580186 = -53501146 band -41796761.
+-36717721 = -53501146 bor -41796761.
+21862465 = -53501146 bxor -41796761.
+53496084 = 121036052 band -80713283.
+-13173315 = 121036052 bor -80713283.
+-66669399 = 121036052 bxor -80713283.
+-117439742 = -117257294 band -34789629.
+-34607181 = -117257294 bor -34789629.
+82832561 = -117257294 bxor -34789629.
+-114383744 = -13715840 band -109124423.
+-8456519 = -13715840 bor -109124423.
+105927225 = -13715840 bxor -109124423.
+75575390 = 80605438 band -40816545.
+-35786497 = 80605438 bor -40816545.
+-111361887 = 80605438 bxor -40816545.
+67113508 = -66536788 band 94376821.
+-39273475 = -66536788 bor 94376821.
+-106386983 = -66536788 bxor 94376821.
+-134212854 = -57401590 band -129862789.
+-53051525 = -57401590 bor -129862789.
+81161329 = -57401590 bxor -129862789.
+-100118128 = -6498920 band -93621775.
+-2567 = -6498920 bor -93621775.
+100115561 = -6498920 bxor -93621775.
+-120061866 = -35839530 band -117781417.
+-33559081 = -35839530 bor -117781417.
+86502785 = -35839530 bxor -117781417.
+-32231420 = -11160764 band -21742547.
+-671891 = -11160764 bor -21742547.
+31559529 = -11160764 bxor -21742547.
+73499746 = 81888610 band 108386035.
+116774899 = 81888610 bor 108386035.
+43275153 = 81888610 bxor 108386035.
+-133943776 = -90390608 band -112890327.
+-69337159 = -90390608 bor -112890327.
+64606617 = -90390608 bxor -112890327.
+75793678 = 114726318 band -41095345.
+-2162705 = 114726318 bor -41095345.
+-77956383 = 114726318 bxor -41095345.
+-133954876 = -66705700 band -123878427.
+-56629251 = -66705700 bor -123878427.
+77325625 = -66705700 bxor -123878427.
+72486954 = 83517114 band 89338219.
+100368379 = 83517114 bor 89338219.
+27881425 = 83517114 bxor 89338219.
+2658368 = 20763848 band -93603487.
+-75498007 = 20763848 bor -93603487.
+-78156375 = 20763848 bxor -93603487.
+5318662 = 73378950 band -118392505.
+-50332217 = 73378950 bor -118392505.
+-55650879 = 73378950 bxor -118392505.
+76021780 = 95319412 band -20346211.
+-1048579 = 95319412 bor -20346211.
+-77070359 = 95319412 bxor -20346211.
+37880322 = 108661522 band 54682339.
+125463539 = 108661522 bor 54682339.
+87583217 = 108661522 bxor 54682339.
+53555328 = -67668768 band 54080409.
+-67143687 = -67668768 bor 54080409.
+-120699015 = -67668768 bxor 54080409.
+-131579362 = -26622370 band -131184065.
+-26227073 = -26622370 bor -131184065.
+105352289 = -26622370 bxor -131184065.
+28676 = 34537228 band 23097429.
+57605981 = 34537228 bor 23097429.
+57577305 = 34537228 bxor 23097429.
+117918282 = -16258454 band 130501467.
+-3675269 = -16258454 bor 130501467.
+-121593551 = -16258454 bxor 130501467.
+-67060528 = -63766536 band -41632559.
+-38338567 = -63766536 bor -41632559.
+28721961 = -63766536 bxor -41632559.
+86000182 = -38649034 band 119882295.
+-4766921 = -38649034 bor 119882295.
+-90767103 = -38649034 bxor 119882295.
+8651012 = 43262884 band 13063437.
+47675309 = 43262884 bor 13063437.
+39024297 = 43262884 bxor 13063437.
+16861378 = 98000066 band -83768621.
+-2629933 = 98000066 bor -83768621.
+-19491311 = 98000066 bxor -83768621.
+-117369856 = -37628400 band -81709815.
+-1968359 = -37628400 bor -81709815.
+115401497 = -37628400 bxor -81709815.
+270 = -113081586 band 1327407.
+-111754449 = -113081586 bor 1327407.
+-111754719 = -113081586 bxor 1327407.
+-115998716 = -36289732 band -115402555.
+-35693571 = -36289732 bor -115402555.
+80305145 = -36289732 bxor -115402555.
+-114966518 = -114834918 band -47333045.
+-47201445 = -114834918 bor -47333045.
+67765073 = -114834918 bxor -47333045.
+-130001920 = -127772888 band -111313855.
+-109084823 = -127772888 bor -111313855.
+20917097 = -127772888 bxor -111313855.
+50668838 = 66053606 band -82499801.
+-67115033 = 66053606 bor -82499801.
+-117783871 = 66053606 bxor -82499801.
+-117401260 = -115753516 band -37446787.
+-35799043 = -115753516 bor -37446787.
+81602217 = -115753516 bxor -37446787.
+33557058 = 63208050 band -31256893.
+-1605901 = 63208050 bor -31256893.
+-35162959 = 63208050 bxor -31256893.
+287296 = 20898624 band 75788921.
+96400249 = 20898624 bor 75788921.
+96112953 = 20898624 bxor 75788921.
+-107364322 = -103035970 band -39988193.
+-35659841 = -103035970 bor -39988193.
+71704481 = -103035970 bxor -39988193.
+12628260 = 30339948 band 80788789.
+98500477 = 30339948 bor 80788789.
+85872217 = 30339948 bxor 80788789.
+8683786 = 42264010 band 81105723.
+114685947 = 42264010 bor 81105723.
+106002161 = 42264010 bxor 81105723.
+-129183216 = -59909544 band -77793359.
+-8519687 = -59909544 bor -77793359.
+120663529 = -59909544 bxor -77793359.
+-134217706 = -34368362 band -100653033.
+-803689 = -34368362 bor -100653033.
+133414017 = -34368362 bxor -100653033.
+34620420 = 118637572 band 43539949.
+127557101 = 118637572 bor 43539949.
+92936681 = 118637572 bxor 43539949.
+12854306 = -104045534 band 114634419.
+-2265421 = -104045534 bor 114634419.
+-15119727 = -104045534 bxor 114634419.
+35752032 = -26108816 band 44690409.
+-17170439 = -26108816 bor 44690409.
+-52922471 = -26108816 bxor 44690409.
+106954766 = 124821614 band -18218225.
+-351377 = 124821614 bor -18218225.
+-107306143 = 124821614 bxor -18218225.
+19664260 = 53219228 band 86793637.
+120348605 = 53219228 bor 86793637.
+100684345 = 53219228 bxor 86793637.
+-83345110 = -83208838 band -3292885.
+-3156613 = -83208838 bor -3292885.
+80188497 = -83208838 bxor -3292885.
+-123205376 = -38237816 band -123064543.
+-38096983 = -38237816 bor -123064543.
+85108393 = -38237816 bxor -123064543.
+104875270 = -10989754 band 115688711.
+-176313 = -10989754 bor 115688711.
+-105051583 = -10989754 bxor 115688711.
+84972564 = 84981300 band -2515875.
+-2507139 = 84981300 bor -2515875.
+-87479703 = 84981300 bxor -2515875.
+-134084478 = -96855598 band -116970845.
+-79741965 = -96855598 bor -116970845.
+54342513 = -96855598 bxor -116970845.
+1573120 = 69009824 band -124214951.
+-56778247 = 69009824 bor -124214951.
+-58351367 = 69009824 bxor -124214951.
+97779998 = -33816290 band 131583487.
+-12801 = -33816290 bor 131583487.
+-97792799 = -33816290 bxor 131583487.
+10523140 = -102721588 band 111737365.
+-1507363 = -102721588 bor 111737365.
+-12030503 = -102721588 bxor 111737365.
+6357258 = 56824106 band 15026971.
+65493819 = 56824106 bor 15026971.
+59136561 = 56824106 bxor 15026971.
+2367632 = 6644920 band -30661999.
+-26384711 = 6644920 bor -30661999.
+-28752343 = 6644920 bxor -30661999.
+71158 = -126282250 band 42171895.
+-84181513 = -126282250 bor 42171895.
+-84252671 = -126282250 bxor 42171895.
+4723780 = 107484260 band -102803763.
+-43283 = 107484260 bor -102803763.
+-4767063 = 107484260 bxor -102803763.
+524930 = 1612674 band 40370835.
+41458579 = 1612674 bor 40370835.
+40933649 = 1612674 bxor 40370835.
+17044160 = 130290384 band -115895607.
+-2649383 = 130290384 bor -115895607.
+-19693543 = 130290384 bxor -115895607.
+33563854 = -29823538 band 33961199.
+-29426193 = -29823538 bor 33961199.
+-62990047 = -29823538 bxor 33961199.
+1933956 = 10456060 band 25006725.
+33528829 = 10456060 bor 25006725.
+31594873 = 10456060 bxor 25006725.
+-55963638 = -50718502 band -55889653.
+-50644517 = -50718502 bor -55889653.
+5319121 = -50718502 bxor -55889653.
+82432 = 123169768 band 9032193.
+132119529 = 123169768 bor 9032193.
+132037097 = 123169768 bxor 9032193.
+38846630 = 108062886 band -77999385.
+-8783129 = 108062886 bor -77999385.
+-47629759 = 108062886 bxor -77999385.
+-134214636 = -114598252 band -121598659.
+-101982275 = -114598252 bor -121598659.
+32232361 = -114598252 bxor -121598659.
+-98394110 = -13440718 band -93931901.
+-8978509 = -13440718 bor -93931901.
+89415601 = -13440718 bxor -93931901.
+78233600 = 95014912 band 112050233.
+128831545 = 95014912 bor 112050233.
+50597945 = 95014912 bxor 112050233.
+-58710434 = -39688578 band -53200929.
+-34179073 = -39688578 bor -53200929.
+24531361 = -39688578 bxor -53200929.
+8463396 = 81521708 band -106879243.
+-33820931 = 81521708 bor -106879243.
+-42284327 = 81521708 bxor -106879243.
+-110468982 = -101028726 band -110202117.
+-100761861 = -101028726 bor -110202117.
+9707121 = -101028726 bxor -110202117.
+69213456 = 70360856 band -64340623.
+-63193223 = 70360856 bor -64340623.
+-132406679 = 70360856 bxor -64340623.
+16925526 = 52086614 band -39369769.
+-4208681 = 52086614 bor -39369769.
+-21134207 = 52086614 bxor -39369769.
+267396 = 103650500 band -128696403.
+-25313299 = 103650500 bor -128696403.
+-25580695 = 103650500 bxor -128696403.
+1049186 = 68420322 band 36849267.
+104220403 = 68420322 bor 36849267.
+103171217 = 68420322 bxor 36849267.
+8399136 = 13711664 band 60959145.
+66271673 = 13711664 bor 60959145.
+57872537 = 13711664 bxor 60959145.
+73417230 = 108227374 band -43985201.
+-9175057 = 108227374 bor -43985201.
+-82592287 = 108227374 bxor -43985201.
+113815620 = 113817692 band -20269211.
+-20267139 = 113817692 bor -20269211.
+-134082759 = 113817692 bxor -20269211.
+-49414102 = -45151174 band -12709653.
+-8446725 = -45151174 bor -12709653.
+40967377 = -45151174 bxor -12709653.
+85222464 = 123141704 band 87319777.
+125239017 = 123141704 bor 87319777.
+40016553 = 123141704 bxor 87319777.
+16814086 = 85045766 band 57331911.
+125563591 = 85045766 bor 57331911.
+108749505 = 85045766 bxor 57331911.
+75284 = 16889588 band -130978275.
+-114163971 = 16889588 bor -130978275.
+-114239255 = 16889588 bxor -130978275.
+67149826 = 67561618 band 79278691.
+79690483 = 67561618 bor 79278691.
+12540657 = 67561618 bxor 79278691.
+16338432 = 50155104 band 33279769.
+67096441 = 50155104 bor 33279769.
+50758009 = 50155104 bxor 33279769.
+109187486 = 128383966 band -24440385.
+-5243905 = 128383966 bor -24440385.
+-114431391 = 128383966 bxor -24440385.
+-128958332 = -111611764 band -59685931.
+-42339363 = -111611764 bor -59685931.
+86618969 = -111611764 bxor -59685931.
+44040906 = -89982998 band 132713179.
+-1310725 = -89982998 bor 132713179.
+-45351631 = -89982998 bxor 132713179.
+126486608 = -1406600 band 126830673.
+-1062535 = -1406600 bor 126830673.
+-127549143 = -1406600 bxor 126830673.
+69216438 = -5199690 band 73628087.
+-788041 = -5199690 bor 73628087.
+-70004479 = -5199690 bxor 73628087.
+61472772 = 133874980 band -72410995.
+-8787 = 133874980 bor -72410995.
+-61481559 = 133874980 bxor -72410995.
+67279426 = -48850366 band 111934035.
+-4195757 = -48850366 bor 111934035.
+-71475183 = -48850366 bxor 111934035.
+8454272 = -55505008 band 58830985.
+-5128295 = -55505008 bor 58830985.
+-13582567 = -55505008 bxor 58830985.
+15730830 = 83368078 band 15853743.
+83490991 = 83368078 bor 15853743.
+67760161 = 83368078 bxor 15853743.
+754692 = 37721276 band -104084411.
+-67117827 = 37721276 bor -104084411.
+-67872519 = 37721276 bxor -104084411.
+106963082 = 107032474 band -16883509.
+-16814117 = 107032474 bor -16883509.
+-123777199 = 107032474 bxor -16883509.
+46219392 = -70303576 band 115468225.
+-1054743 = -70303576 bor 115468225.
+-47274135 = -70303576 bxor 115468225.
+34613798 = 51555174 band 101727911.
+118669287 = 51555174 bor 101727911.
+84055489 = 51555174 bxor 101727911.
+2113108 = 69975892 band -102482179.
+-34619395 = 69975892 bor -102482179.
+-36732503 = 69975892 bxor -102482179.
+101193282 = 101586930 band 108535363.
+108929011 = 101586930 bor 108535363.
+7735729 = 101586930 bxor 108535363.
+19549376 = 86998208 band -105198087.
+-37749255 = 86998208 bor -105198087.
+-57298631 = 86998208 bxor -105198087.
+48251166 = 115458366 band -84649057.
+-17441857 = 115458366 bor -84649057.
+-65693023 = 115458366 bxor -84649057.
+-104791900 = -101735188 band -103722827.
+-100666115 = -101735188 bor -103722827.
+4125785 = -101735188 bxor -103722827.
+25432586 = 95728458 band 30216891.
+100512763 = 95728458 bor 30216891.
+75080177 = 95728458 bxor 30216891.
+109052688 = 128459736 band -23903439.
+-4496391 = 128459736 bor -23903439.
+-113549079 = 128459736 bxor -23903439.
+-133162474 = -65881578 band -72343657.
+-5062761 = -65881578 bor -72343657.
+128099713 = -65881578 bxor -72343657.
+-114843388 = -110647932 band -39329427.
+-35133971 = -110647932 bor -39329427.
+79709417 = -110647932 bxor -39329427.
+-62390238 = -25665118 band -62054861.
+-25329741 = -25665118 bor -62054861.
+37060497 = -25665118 bxor -62054861.
+6948192 = -92563984 band 99493737.
+-18439 = -92563984 bor 99493737.
+-6966631 = -92563984 bxor 99493737.
+-124755826 = -90245650 band -122590577.
+-88080401 = -90245650 bor -122590577.
+36675425 = -90245650 bxor -122590577.
+-82312956 = -73653988 band -80162523.
+-71503555 = -73653988 bor -80162523.
+10809401 = -73653988 bxor -80162523.
+-33554262 = -24608006 band -10215253.
+-1268997 = -24608006 bor -10215253.
+32285265 = -24608006 bxor -10215253.
+13111808 = -19385592 band 30038689.
+-2458711 = -19385592 bor 30038689.
+-15570519 = -19385592 bxor 30038689.
+71439494 = 72078534 band 104995975.
+105635015 = 72078534 bor 104995975.
+34195521 = 72078534 bxor 104995975.
+67139476 = 104953780 band 93388765.
+131203069 = 104953780 bor 93388765.
+64063593 = 104953780 bxor 93388765.
+-100634110 = -23038126 band -98960861.
+-21364877 = -23038126 bor -98960861.
+79269233 = -23038126 bxor -98960861.
+16783360 = 22567712 band -115163943.
+-109379591 = 22567712 bor -115163943.
+-126162951 = 22567712 bxor -115163943.
+529438 = 36353694 band -66579073.
+-30754817 = 36353694 bor -66579073.
+-31284255 = 36353694 bxor -66579073.
+3672324 = 87558476 band -126268011.
+-42381859 = 87558476 bor -126268011.
+-46054183 = 87558476 bxor -126268011.
+8555146 = 126328490 band -124613989.
+-6840645 = 126328490 bor -124613989.
+-15395791 = 126328490 bxor -124613989.
+-83743216 = -75338184 band -76665327.
+-68260295 = -75338184 bor -76665327.
+15482921 = -75338184 bxor -76665327.
+12662 = 35191670 band 75838839.
+111017847 = 35191670 bor 75838839.
+111005185 = 35191670 bxor 75838839.
+266308 = 67909092 band 66493005.
+134135789 = 67909092 bor 66493005.
+133869481 = 67909092 bxor 66493005.
+58789890 = 126966018 band -74599917.
+-6423789 = 126966018 bor -74599917.
+-65213679 = 126966018 bxor -74599917.
+67669056 = 88656976 band 69176905.
+90164825 = 88656976 bor 69176905.
+22495769 = 88656976 bxor 69176905.
+67108942 = 71304014 band -57189265.
+-52994193 = 71304014 bor -57189265.
+-120103135 = 71304014 bxor -57189265.
+121652228 = 125197692 band 130663941.
+134209405 = 125197692 bor 130663941.
+12557177 = 125197692 bxor 130663941.
+-133890038 = -132315558 band -1617781.
+-43301 = -132315558 bor -1617781.
+133846737 = -132315558 bxor -1617781.
+100766976 = 109696360 band -31081087.
+-22151703 = 109696360 bor -31081087.
+-122918679 = 109696360 bxor -31081087.
+9447974 = -124441050 band 49834599.
+-84054425 = -124441050 bor 49834599.
+-93502399 = -124441050 bxor 49834599.
+113942548 = 115007508 band -17846083.
+-16781123 = 115007508 bor -17846083.
+-130723671 = 115007508 bxor -17846083.
+34997762 = 51775154 band 102188547.
+118965939 = 51775154 bor 102188547.
+83968177 = 51775154 bxor 102188547.
+756096 = -124786304 band 124492729.
+-1049671 = -124786304 bor 124492729.
+-1805767 = -124786304 bxor 124492729.
+68688734 = -61219842 band 129908575.
+-1 = -61219842 bor 129908575.
+-68688735 = -61219842 bxor 129908575.
+16783396 = 97131948 band -81708427.
+-1359875 = 97131948 bor -81708427.
+-18143271 = 97131948 bxor -81708427.
+-130993654 = -126633462 band -105811333.
+-101451141 = -126633462 bor -105811333.
+29542513 = -126633462 bxor -105811333.
+68159632 = 126970008 band 72878321.
+131688697 = 126970008 bor 72878321.
+63529065 = 126970008 bxor 72878321.
+60434518 = 127626454 band -69551273.
+-2359337 = 127626454 bor -69551273.
+-62793855 = 127626454 bxor -69551273.
+16900 = -41912764 band 5456685.
+-36472979 = -41912764 bor 5456685.
+-36489879 = -41912764 bxor 5456685.
+10584162 = 62488674 band -119163405.
+-67258893 = 62488674 bor -119163405.
+-77843055 = 62488674 bxor -119163405.
+40992 = 70300336 band 55436585.
+125695929 = 70300336 bor 55436585.
+125654937 = 70300336 bxor 55436585.
+9633806 = -88915794 band 10206799.
+-88342801 = -88915794 bor 10206799.
+-97976607 = -88915794 bxor 10206799.
+2492612 = 107366876 band 3582693.
+108456957 = 107366876 bor 3582693.
+105964345 = 107366876 bxor 3582693.
+24555562 = 24558010 band -67112853.
+-67110405 = 24558010 bor -67112853.
+-91665967 = 24558010 bxor -67112853.
+2883648 = 83634120 band 2887777.
+83638249 = 83634120 bor 2887777.
+80754601 = 83634120 bxor 2887777.
+50470918 = -70862970 band 120268871.
+-1065017 = -70862970 bor 120268871.
+-51535935 = -70862970 bxor 120268871.
+25710612 = 26212468 band 95965597.
+96467453 = 26212468 bor 95965597.
+70756841 = 26212468 bxor 95965597.
+79691778 = 80135698 band -51904029.
+-51460109 = 80135698 bor -51904029.
+-131151887 = 80135698 bxor -51904029.
+130818688 = 133048288 band 130902681.
+133132281 = 133048288 bor 130902681.
+2313593 = 133048288 bxor 130902681.
+397598 = 71774558 band 973119.
+72350079 = 71774558 bor 973119.
+71952481 = 71774558 bxor 973119.
+66052 = 37609996 band 8460117.
+46004061 = 37609996 bor 8460117.
+45938009 = 37609996 bxor 8460117.
+-58654646 = -53410454 band -22951333.
+-17707141 = -53410454 bor -22951333.
+40947505 = -53410454 bxor -22951333.
+59249360 = 65868536 band -74918959.
+-68299783 = 65868536 bor -74918959.
+-127549143 = 65868536 bxor -74918959.
+-98566090 = -26079690 band -89607881.
+-17121481 = -26079690 bor -89607881.
+81444609 = -26079690 bxor -89607881.
+5522436 = 123496100 band 7724045.
+125697709 = 123496100 bor 7724045.
+120175273 = 123496100 bxor 7724045.
+4719042 = -95889470 band 80554451.
+-20054061 = -95889470 bor 80554451.
+-24773103 = -95889470 bxor 80554451.
+67584 = -95729392 band 78720009.
+-17076967 = -95729392 bor 78720009.
+-17144551 = -95729392 bxor 78720009.
+9469966 = 47230478 band 79073327.
+116833839 = 47230478 bor 79073327.
+107363873 = 47230478 bxor 79073327.
+16999940 = 84141628 band 20414405.
+87556093 = 84141628 bor 20414405.
+70556153 = 84141628 bxor 20414405.
+2359306 = 82681114 band -81395637.
+-1073829 = 82681114 bor -81395637.
+-3433135 = 82681114 bxor -81395637.
+-133889536 = -129553880 band -132820159.
+-128484503 = -129553880 bor -132820159.
+5405033 = -129553880 bxor -132820159.
+26234918 = 95973606 band -103655897.
+-33917209 = 95973606 bor -103655897.
+-60152127 = 95973606 bxor -103655897.
+94421076 = -34029356 band 94560893.
+-33889539 = -34029356 bor 94560893.
+-128310615 = -34029356 bxor 94560893.
+16786754 = 17479026 band -50057789.
+-49365517 = 17479026 bor -50057789.
+-66152271 = 17479026 bxor -50057789.
+-125829056 = -125102528 band -109041287.
+-108314759 = -125102528 bor -109041287.
+17514297 = -125102528 bxor -109041287.
+12624414 = 80393918 band 49406751.
+117176255 = 80393918 bor 49406751.
+104551841 = 80393918 bxor 49406751.
+16794660 = -47491476 band 55632949.
+-8653187 = -47491476 bor 55632949.
+-25447847 = -47491476 bxor 55632949.
+80969738 = 83329226 band -52719045.
+-50359557 = 83329226 bor -52719045.
+-131329295 = 83329226 bxor -52719045.
+69733392 = 78474584 band -13070671.
+-4329479 = 78474584 bor -13070671.
+-74062871 = 78474584 bxor -13070671.
+73668374 = 74768278 band 99030807.
+100130711 = 74768278 bor 99030807.
+26462337 = 74768278 bxor 99030807.
+-32504828 = -13105404 band -32086803.
+-12687379 = -13105404 bor -32086803.
+19817449 = -13105404 bxor -32086803.
+-90960606 = -23634142 band -71561805.
+-4235341 = -23634142 bor -71561805.
+86725265 = -23634142 bxor -71561805.
+75498080 = 112234352 band 92365545.
+129101817 = 112234352 bor 92365545.
+53603737 = 112234352 bxor 92365545.
+72368654 = -42972306 band 81777167.
+-33563793 = -42972306 bor 81777167.
+-105932447 = -42972306 bxor 81777167.
+58982532 = -68734308 band 58999973.
+-68716867 = -68734308 bor 58999973.
+-127699399 = -68734308 bxor 58999973.
+13729834 = -119951238 band 13729835.
+-119951237 = -119951238 bor 13729835.
+-133681071 = -119951238 bxor 13729835.
+33588224 = -92087160 band 35227169.
+-90448215 = -92087160 bor 35227169.
+-124036439 = -92087160 bxor 35227169.
+-130002938 = -96314810 band -35261433.
+-1573305 = -96314810 bor -35261433.
+128429633 = -96314810 bxor -35261433.
+103096596 = -5424844 band 107438941.
+-1082499 = -5424844 bor 107438941.
+-104179095 = -5424844 bxor 107438941.
+2211970 = 20567250 band 14928291.
+33283571 = 20567250 bor 14928291.
+31071601 = 20567250 bxor 14928291.
+121278464 = -8473440 band 129751129.
+-775 = -8473440 bor 129751129.
+-121279239 = -8473440 bxor 129751129.
+1854494 = 79457310 band -94413569.
+-16810753 = 79457310 bor -94413569.
+-18665247 = 79457310 bxor -94413569.
+532484 = 86670028 band -95903467.
+-9765923 = 86670028 bor -95903467.
+-10298407 = 86670028 bxor -95903467.
+85329930 = -46191574 band 97962523.
+-33558981 = -46191574 bor 97962523.
+-118888911 = -46191574 bxor 97962523.
+-108383856 = -102074440 band -107005551.
+-100696135 = -102074440 bor -107005551.
+7687721 = -102074440 bxor -107005551.
+34201846 = 58450166 band -24253193.
+-4873 = 58450166 bor -24253193.
+-34206719 = 58450166 bxor -24253193.
+-22522556 = -22325404 band -18031155.
+-17834003 = -22325404 bor -18031155.
+4688553 = -22325404 bxor -18031155.
+103284866 = -190846 band 103440787.
+-34925 = -190846 bor 103440787.
+-103319791 = -190846 bxor 103440787.
+74482112 = 75007440 band -17397303.
+-16871975 = 75007440 bor -17397303.
+-91354087 = 75007440 bxor -17397303.
+17432782 = 124393678 band -116423697.
+-9462801 = 124393678 bor -116423697.
+-26895583 = 124393678 bxor -116423697.
+-75487100 = -5755140 band -69928571.
+-196611 = -5755140 bor -69928571.
+75290489 = -5755140 bxor -69928571.
+-65900534 = -7146534 band -59084789.
+-330789 = -7146534 bor -59084789.
+65569745 = -7146534 bxor -59084789.
+4204544 = 29834984 band 108046593.
+133677033 = 29834984 bor 108046593.
+129472489 = 29834984 bxor 108046593.
+1835430 = -113478746 band 39715303.
+-75598873 = -113478746 bor 39715303.
+-77434303 = -113478746 bxor 39715303.
+33898516 = 105210260 band -71445443.
+-133699 = 105210260 bor -71445443.
+-34032215 = 105210260 bxor -71445443.
+-89390078 = -89381838 band -16853629.
+-16845389 = -89381838 bor -16853629.
+72544689 = -89381838 bxor -16853629.
+-106953984 = -35585280 band -105351367.
+-33982663 = -35585280 bor -105351367.
+72971321 = -35585280 bxor -105351367.
+71581790 = 116674942 band -61913377.
+-16820225 = 116674942 bor -61913377.
+-88402015 = 116674942 bxor -61913377.
+19748 = 80957228 band -132100619.
+-51163139 = 80957228 bor -132100619.
+-51182887 = 80957228 bxor -132100619.
+100663690 = -33552502 band 118190587.
+-16025605 = -33552502 bor 118190587.
+-116689295 = -33552502 bxor 118190587.
+11800592 = -4443624 band 16045169.
+-199047 = -4443624 bor 16045169.
+-11999639 = -4443624 bxor 16045169.
+18158166 = 23007830 band 26555095.
+31404759 = 23007830 bor 26555095.
+13246593 = 23007830 bxor 26555095.
+18052 = -78751804 band 78726829.
+-43027 = -78751804 bor 78726829.
+-61079 = -78751804 bxor 78726829.
+-124770974 = -103678494 band -124770957.
+-103678477 = -103678494 bor -124770957.
+21092497 = -103678494 bxor -124770957.
+34086944 = -88396752 band 105423017.
+-17060679 = -88396752 bor 105423017.
+-51147623 = -88396752 bxor 105423017.
+18088974 = -107604434 band 87926223.
+-37767185 = -107604434 bor 87926223.
+-55856159 = -107604434 bxor 87926223.
+12622404 = 14605148 band -85877147.
+-83894403 = 14605148 bor -85877147.
+-96516807 = 14605148 bxor -85877147.
+17844010 = 124872506 band -107425813.
+-397317 = 124872506 bor -107425813.
+-18241327 = 124872506 bxor -107425813.
+4416 = 2904392 band -112018463.
+-109118487 = 2904392 bor -112018463.
+-109122903 = 2904392 bxor -112018463.
+36846854 = -25248506 band 36863943.
+-25231417 = -25248506 bor 36863943.
+-62078271 = -25248506 bxor 36863943.
+89665812 = -44484108 band 90060061.
+-44089859 = -44484108 bor 90060061.
+-133755671 = -44484108 bxor 90060061.
+-125239038 = -21388398 band -103984797.
+-134157 = -21388398 bor -103984797.
+125104881 = -21388398 bxor -103984797.
+9043968 = 13238624 band 44959257.
+49153913 = 13238624 bor 44959257.
+40109945 = 13238624 bxor 44959257.
+-100130658 = -95787298 band -88497985.
+-84154625 = -95787298 bor -88497985.
+15976033 = -95787298 bxor -88497985.
+42844804 = 45994892 band -74454315.
+-71304227 = 45994892 bor -74454315.
+-114149031 = 45994892 bxor -74454315.
+-108003126 = -74312982 band -101611045.
+-67920901 = -74312982 bor -101611045.
+40082225 = -74312982 bxor -101611045.
+103816272 = -29713288 band 124870481.
+-8659079 = -29713288 bor 124870481.
+-112475351 = -29713288 bxor 124870481.
+133456054 = -625738 band 133490871.
+-590921 = -625738 bor 133490871.
+-134046975 = -625738 bxor 133490871.
+68749316 = 112789540 band -48521331.
+-4481107 = 112789540 bor -48521331.
+-73230423 = 112789540 bxor -48521331.
+56889666 = 57546050 band 56973651.
+57630035 = 57546050 bor 56973651.
+740369 = 57546050 bxor 56973651.
+-58686848 = -57638256 band -55597175.
+-54548583 = -57638256 bor -55597175.
+4138265 = -57638256 bxor -55597175.
+-130022514 = -120831090 band -111003729.
+-101812305 = -120831090 bor -111003729.
+28210209 = -120831090 bxor -111003729.
+-64867580 = -64800836 band -43895995.
+-43829251 = -64800836 bor -43895995.
+21038329 = -64800836 bxor -43895995.
+-92009846 = -87225702 band -5988405.
+-1204261 = -87225702 bor -5988405.
+90805585 = -87225702 bxor -5988405.
+46273152 = 63574952 band -84427071.
+-67125271 = 63574952 bor -84427071.
+-113398423 = 63574952 bxor -84427071.
+4269094 = 31536742 band 73100711.
+100368359 = 31536742 bor 73100711.
+96099265 = 31536742 bxor 73100711.
+-67076012 = -58670508 band -16742915.
+-8337411 = -58670508 bor -16742915.
+58738601 = -58670508 bxor -16742915.
+-92139454 = -88452366 band -3719869.
+-32781 = -88452366 bor -3719869.
+92106673 = -88452366 bxor -3719869.
+22054080 = 22130624 band 30704889.
+30781433 = 22130624 bor 30704889.
+8727353 = 22130624 bxor 30704889.
+26617886 = -107566018 band 60189343.
+-73994561 = -107566018 bor 60189343.
+-100612447 = -107566018 bxor 60189343.
+16910244 = 25298924 band -11569227.
+-3180547 = 25298924 bor -11569227.
+-20090791 = 25298924 bxor -11569227.
+67174410 = 105729610 band 67178939.
+105734139 = 105729610 bor 67178939.
+38559729 = 105729610 bxor 67178939.
+-112422384 = -109201704 band -78849487.
+-75628807 = -109201704 bor -78849487.
+36793577 = -109201704 bxor -78849487.
+67109910 = -48626410 band 111480471.
+-4255849 = -48626410 bor 111480471.
+-71365759 = -48626410 bxor 111480471.
+8611844 = -24942460 band 31713389.
+-1840915 = -24942460 bor 31713389.
+-10452759 = -24942460 bxor 31713389.
+2186274 = 2710690 band 52559155.
+53083571 = 2710690 bor 52559155.
+50897297 = 2710690 bxor 52559155.
+-117405600 = -116356880 band -10248599.
+-9199879 = -116356880 bor -10248599.
+108205721 = -116356880 bxor -10248599.
+23339150 = 98869486 band 24459663.
+99989999 = 98869486 bor 24459663.
+76650849 = 98869486 bxor 24459663.
+-133431292 = -99793892 band -66144219.
+-32506819 = -99793892 bor -66144219.
+100924473 = -99793892 bxor -66144219.
+34987434 = -139782 band 34987947.
+-139269 = -139782 bor 34987947.
+-35126703 = -139782 bxor 34987947.
+110133248 = 112756232 band 127381921.
+130004905 = 112756232 bor 127381921.
+19871657 = 112756232 bxor 127381921.
+51432326 = 121364422 band -70202489.
+-270393 = 121364422 bor -70202489.
+-51702719 = 121364422 bxor -70202489.
+5292692 = 122944180 band 6080221.
+123731709 = 122944180 bor 6080221.
+118439017 = 122944180 bxor 6080221.
+-133951486 = -133811630 band -77293277.
+-77153421 = -133811630 bor -77293277.
+56798065 = -133811630 bxor -77293277.
+512 = 76549664 band 40104921.
+116654073 = 76549664 bor 40104921.
+116653561 = 76549664 bxor 40104921.
+9510942 = -72277602 band 14525567.
+-67262977 = -72277602 bor 14525567.
+-76773919 = -72277602 bxor 14525567.
+-99163132 = -4723636 band -99158891.
+-4719395 = -4723636 bor -99158891.
+94443737 = -4723636 bxor -99158891.
+41945482 = -91637334 band 112331163.
+-21251653 = -91637334 bor 112331163.
+-63197135 = -91637334 bxor 112331163.
+10289424 = 27099448 band 113198353.
+130008377 = 27099448 bor 113198353.
+119718953 = 27099448 bxor 113198353.
+42042486 = 44156534 band -23223177.
+-21109129 = 44156534 bor -23223177.
+-63151615 = 44156534 bxor -23223177.
+-130015164 = -62555932 band -121495219.
+-54035987 = -62555932 bor -121495219.
+75979177 = -62555932 bxor -121495219.
+1708034 = -10759166 band 4067603.
+-8399597 = -10759166 bor 4067603.
+-10107631 = -10759166 bxor 4067603.
+51381568 = -78430384 band 127698249.
+-2113703 = -78430384 bor 127698249.
+-53495271 = -78430384 bxor 127698249.
+86387278 = -38326706 band 91138927.
+-33575057 = -38326706 bor 91138927.
+-119962335 = -38326706 bxor 91138927.
+-82509820 = -13303684 band -73454331.
+-4248195 = -13303684 bor -73454331.
+78261625 = -13303684 bxor -73454331.
+4227338 = -111419046 band 6590347.
+-109056037 = -111419046 bor 6590347.
+-113283375 = -111419046 bxor 6590347.
+118128640 = -15751064 band 124425345.
+-9454359 = -15751064 bor 124425345.
+-127582999 = -15751064 bxor 124425345.
+100833574 = -26822362 band 126523751.
+-1132185 = -26822362 bor 126523751.
+-101965759 = -26822362 bxor 126523751.
+-47521004 = -43326700 band -47515715.
+-43321411 = -43326700 bor -47515715.
+4199593 = -43326700 bxor -47515715.
+51724546 = -67812942 band 52258051.
+-67279437 = -67812942 bor 52258051.
+-119003983 = -67812942 bxor 52258051.
+-74182528 = -73589632 band -74165575.
+-73572679 = -73589632 bor -74165575.
+609849 = -73589632 bxor -74165575.
+83550 = 57788158 band -125350305.
+-67645697 = 57788158 bor -125350305.
+-67729247 = 57788158 bxor -125350305.
+110493732 = 133660844 band -23174795.
+-7683 = 133660844 bor -23174795.
+-110501415 = 133660844 bxor -23174795.
+1855754 = 10441994 band -8621701.
+-35461 = 10441994 bor -8621701.
+-1891215 = 10441994 bxor -8621701.
+39824 = 45218712 band 40945.
+45219833 = 45218712 bor 40945.
+45180009 = 45218712 bxor 40945.
+71606870 = 107329494 band -53040553.
+-17317929 = 107329494 bor -53040553.
+-88924799 = 107329494 bxor -53040553.
+17172484 = 93796676 band 57559597.
+134183789 = 93796676 bor 57559597.
+117011305 = 93796676 bxor 57559597.
+-65990558 = -60982430 band -13527821.
+-8519693 = -60982430 bor -13527821.
+57470865 = -60982430 bxor -13527821.
+-99613664 = -93280848 band -91071447.
+-84738631 = -93280848 bor -91071447.
+14875033 = -93280848 bxor -91071447.
+-117274354 = -115610706 band -112816817.
+-111153169 = -115610706 bor -112816817.
+6121185 = -115610706 bxor -112816817.
+-66977596 = -63804196 band -53767707.
+-50594307 = -63804196 bor -53767707.
+16383289 = -63804196 bxor -53767707.
+67634218 = 88020154 band 101232491.
+121618427 = 88020154 bor 101232491.
+53984209 = 88020154 bxor 101232491.
+-23043520 = -18384184 band -22517919.
+-17858583 = -18384184 bor -22517919.
+5184937 = -18384184 bxor -22517919.
+33604102 = 54116998 band 41998151.
+62511047 = 54116998 bor 41998151.
+28906945 = 54116998 bxor 41998151.
+71700 = -94536844 band 86186141.
+-8422403 = -94536844 bor 86186141.
+-8494103 = -94536844 bxor 86186141.
+21594114 = 132088082 band -110518045.
+-24077 = 132088082 bor -110518045.
+-21618191 = 132088082 bxor -110518045.
+9470080 = 59824864 band 10330521.
+60685305 = 59824864 bor 10330521.
+51215225 = 59824864 bxor 10330521.
+-58718178 = -5202850 band -57972673.
+-4457345 = -5202850 bor -57972673.
+54260833 = -5202850 bxor -57972673.
+9995268 = 14206220 band -73548203.
+-69337251 = 14206220 bor -73548203.
+-79332519 = 14206220 bxor -73548203.
+79691850 = -52027286 band 131615067.
+-104069 = -52027286 bor 131615067.
+-79795919 = -52027286 bxor 131615067.
+4202704 = 80946680 band -112661807.
+-35917831 = 80946680 bor -112661807.
+-40120535 = 80946680 bxor -112661807.
+-100138954 = -96609994 band -95936457.
+-92407497 = -96609994 bor -95936457.
+7731457 = -96609994 bxor -95936457.
+-67100412 = -66016860 band -6266099.
+-5182547 = -66016860 bor -6266099.
+61917865 = -66016860 bxor -6266099.
+262338 = -24751422 band 7637203.
+-17376557 = -24751422 bor 7637203.
+-17638895 = -24751422 bxor 7637203.
+-117432320 = -109003760 band -109239543.
+-100810983 = -109003760 bor -109239543.
+16621337 = -109003760 bxor -109239543.
+-52373234 = -51717874 band -51060945.
+-50405585 = -51717874 bor -51060945.
+1967649 = -51717874 bxor -51060945.
+-66486268 = -40007364 band -62134587.
+-35655683 = -40007364 bor -62134587.
+30830585 = -40007364 bxor -62134587.
+-126207990 = -33589222 band -92651701.
+-32933 = -33589222 bor -92651701.
+126175057 = -33589222 bxor -92651701.
+67184640 = 72875304 band -41342399.
+-35651735 = 72875304 bor -41342399.
+-102836375 = 72875304 bxor -41342399.
+25723174 = -41092122 band 61572391.
+-5242905 = -41092122 bor 61572391.
+-30966079 = -41092122 bxor 61572391.
+29426004 = 96715732 band 66922877.
+134212605 = 96715732 bor 66922877.
+104786601 = 96715732 bxor 66922877.
+-134201278 = -115543950 band -54440765.
+-35783437 = -115543950 bor -54440765.
+98417841 = -115543950 bxor -54440765.
+8601664 = 92490048 band 12050553.
+95938937 = 92490048 bor 12050553.
+87337273 = 92490048 bxor 12050553.
+-96362466 = -79322690 band -85855713.
+-68815937 = -79322690 bor -85855713.
+27546529 = -79322690 bxor -85855713.
+-121566940 = -51136148 band -70448331.
+-17539 = -51136148 bor -70448331.
+121549401 = -51136148 bxor -70448331.
+87298314 = -4842550 band 87920955.
+-4219909 = -4842550 bor 87920955.
+-91518223 = -4842550 bxor 87920955.
+1048592 = -65470376 band 13641137.
+-52877831 = -65470376 bor 13641137.
+-53926423 = -65470376 bxor 13641137.
+-134086122 = -66966890 band -68549097.
+-1429865 = -66966890 bor -68549097.
+132656257 = -66966890 bxor -68549097.
+83905028 = -45495804 band 118516717.
+-10884115 = -45495804 bor 118516717.
+-94789143 = -45495804 bxor 118516717.
+3033122 = -114402782 band 8318131.
+-109117773 = -114402782 bor 8318131.
+-112150895 = -114402782 bxor 8318131.
+26247264 = 127631984 band 26532329.
+127917049 = 127631984 bor 26532329.
+101669785 = 127631984 bxor 26532329.
+-126771186 = -100927890 band -59662065.
+-33818769 = -100927890 bor -59662065.
+92952417 = -100927890 bxor -59662065.
+524676 = -66169444 band 47721381.
+-18972739 = -66169444 bor 47721381.
+-19497415 = -66169444 bxor 47721381.
+19991338 = -101381254 band 20004651.
+-101367941 = -101381254 bor 20004651.
+-121359279 = -101381254 bxor 20004651.
+4197632 = -109498488 band 4513057.
+-109183063 = -109498488 bor 4513057.
+-113380695 = -109498488 bxor 4513057.
+8454 = 20473158 band -33381625.
+-12916921 = 20473158 bor -33381625.
+-12925375 = 20473158 bxor -33381625.
+19998740 = 53853236 band 24193629.
+58048125 = 53853236 bor 24193629.
+38049385 = 53853236 bxor 24193629.
+17041538 = -117076014 band 127690915.
+-6426637 = -117076014 bor 127690915.
+-23468175 = -117076014 bxor 127690915.
+101189376 = 109864864 band 119213913.
+127889401 = 109864864 bor 119213913.
+26700025 = 109864864 bxor 119213913.
+-50281698 = -49752290 band -41751553.
+-41222145 = -49752290 bor -41751553.
+9059553 = -49752290 bxor -41751553.
+14698500 = -85959220 band 98846741.
+-1810979 = -85959220 bor 98846741.
+-16509479 = -85959220 bxor 98846741.
+19153162 = 90654506 band -115062501.
+-43561157 = 90654506 bor -115062501.
+-62714319 = 90654506 bxor -115062501.
+9044112 = -124024136 band 13521041.
+-119547207 = -124024136 bor 13521041.
+-128591319 = -124024136 bxor 13521041.
+8391670 = 92974070 band 45374455.
+129956855 = 92974070 bor 45374455.
+121565185 = 92974070 bxor 45374455.
+38928452 = 47880804 band -9018163.
+-65811 = 47880804 bor -9018163.
+-38994263 = 47880804 bxor -9018163.
+59277442 = -72511102 band 130597011.
+-1191533 = -72511102 bor 130597011.
+-60468975 = -72511102 bxor 130597011.
+-66027328 = -2557744 band -65961783.
+-2492199 = -2557744 bor -65961783.
+63535129 = -2557744 bxor -65961783.
+-47955250 = -47758386 band -4926737.
+-4729873 = -47758386 bor -4926737.
+43225377 = -47758386 bxor -4926737.
+67649668 = -65220100 band 86532229.
+-46337539 = -65220100 bor 86532229.
+-113987207 = -65220100 bxor 86532229.
+-114979318 = -76034342 band -106582261.
+-67637285 = -76034342 bor -106582261.
+47342033 = -76034342 bxor -106582261.
+67305472 = 73601512 band -15499263.
+-9203223 = 73601512 bor -15499263.
+-76508695 = 73601512 bxor -15499263.
+1192102 = -32244058 band 8270055.
+-25166105 = -32244058 bor 8270055.
+-26358207 = -32244058 bxor 8270055.
+196628 = 38495380 band 20388669.
+58687421 = 38495380 bor 20388669.
+58490793 = 38495380 bxor 20388669.
+7361538 = -51290318 band 7533699.
+-51118157 = -51290318 bor 7533699.
+-58479695 = -51290318 bxor 7533699.
+46409216 = 130299392 band -83939783.
+-49607 = 130299392 bor -83939783.
+-46458823 = 130299392 bxor -83939783.
+37885022 = 131218558 band -93956641.
+-623105 = 131218558 bor -93956641.
+-38508127 = 131218558 bxor -93956641.
+68300836 = 87470636 band -56920843.
+-37751043 = 87470636 bor -56920843.
+-106051879 = 87470636 bxor -56920843.
+8330 = 106013322 band 17068283.
+123073275 = 106013322 bor 17068283.
+123064945 = 106013322 bxor 17068283.
+108151056 = 108184856 band -8688783.
+-8654983 = 108184856 bor -8688783.
+-116806039 = 108184856 bxor -8688783.
+-124845738 = -55616170 band -73457193.
+-4227625 = -55616170 bor -73457193.
+120618113 = -55616170 bxor -73457193.
+34211972 = 39525060 band -91599443.
+-86286355 = 39525060 bor -91599443.
+-120498327 = 39525060 bxor -91599443.
+4849762 = 22804706 band -87423885.
+-69468941 = 22804706 bor -87423885.
+-74318703 = 22804706 bxor -87423885.
+-134146272 = -112124112 band -30730327.
+-8708167 = -112124112 bor -30730327.
+125438105 = -112124112 bxor -30730327.
+-100384754 = -12271314 band -88705841.
+-592401 = -12271314 bor -88705841.
+99792353 = -12271314 bxor -88705841.
+39879748 = -27197860 band 66356581.
+-721027 = -27197860 bor 66356581.
+-40600775 = -27197860 bxor 66356581.
+5210666 = 14664250 band -11563285.
+-2109701 = 14664250 bor -11563285.
+-7320367 = 14664250 bxor -11563285.
+103612480 = 120431688 band -30600479.
+-13781271 = 120431688 bor -30600479.
+-117393751 = 120431688 bxor -30600479.
+102107142 = -538618 band 102117063.
+-528697 = -538618 bor 102117063.
+-102635839 = -538618 bxor 102117063.
+33864724 = -23282444 band 50789405.
+-6357763 = -23282444 bor 50789405.
+-40222487 = -23282444 bxor 50789405.
+3690498 = 104357522 band -105058205.
+-4391181 = 104357522 bor -105058205.
+-8081679 = 104357522 bxor -105058205.
+100676608 = 105034848 band -6537959.
+-2179719 = 105034848 bor -6537959.
+-102856327 = 105034848 bxor -6537959.
+33554846 = -92679714 band 58994623.
+-67239937 = -92679714 bor 58994623.
+-100794783 = -92679714 bxor 58994623.
+42635396 = 42907276 band -22375979.
+-22104099 = 42907276 bor -22375979.
+-64739495 = 42907276 bxor -22375979.
+105121994 = 114109930 band 106301659.
+115289595 = 114109930 bor 106301659.
+10167601 = 114109930 bxor 106301659.
+-49928624 = -38359176 band -15763887.
+-4194439 = -38359176 bor -15763887.
+45734185 = -38359176 bxor -15763887.
+50337462 = 55066294 band -6137929.
+-1409097 = 55066294 bor -6137929.
+-51746559 = 55066294 bxor -6137929.
+67109380 = -43824348 band 100935309.
+-9998419 = -43824348 bor 100935309.
+-77107799 = -43824348 bxor 100935309.
+26251330 = 26316866 band -101009325.
+-100943789 = 26316866 bor -101009325.
+-127195119 = 26316866 bxor -101009325.
+18453632 = 119272848 band -115761527.
+-14942311 = 119272848 bor -115761527.
+-33395943 = 119272848 bxor -115761527.
+86771342 = 86797966 band -43088209.
+-43061585 = 86797966 bor -43088209.
+-129832927 = 86797966 bxor -43088209.
+-76506620 = -9250116 band -67855803.
+-599299 = -9250116 bor -67855803.
+75907321 = -9250116 bxor -67855803.
+8701066 = 75818394 band -106504501.
+-39387173 = 75818394 bor -106504501.
+-48088239 = 75818394 bxor -106504501.
+-37714816 = -989528 band -37120575.
+-395287 = -989528 bor -37120575.
+37319529 = -989528 bxor -37120575.
+75661350 = -21249690 band 96640167.
+-270873 = -21249690 bor 96640167.
+-75932223 = -21249690 bxor 96640167.
+41993300 = -4078252 band 43568381.
+-2503171 = -4078252 bor 43568381.
+-44496471 = -4078252 bxor 43568381.
+3279938 = 36867570 band 32660547.
+66248179 = 36867570 bor 32660547.
+62968241 = 36867570 bxor 32660547.
+664256 = -81796416 band 69876729.
+-12583943 = -81796416 bor 69876729.
+-13248199 = -81796416 bxor 69876729.
+114561310 = -2648258 band 114588063.
+-2621505 = -2648258 bor 114588063.
+-117182815 = -2648258 bxor 114588063.
+75500196 = 92302060 band 113876661.
+130678525 = 92302060 bor 113876661.
+55178329 = 92302060 bxor 113876661.
+101777418 = 120711498 band -24047429.
+-5113349 = 120711498 bor -24047429.
+-106890767 = 120711498 bxor -24047429.
+4342032 = 41896408 band -37588687.
+-34311 = 41896408 bor -37588687.
+-4376343 = 41896408 bxor -37588687.
+52776982 = 120410134 band 62258583.
+129891735 = 120410134 bor 62258583.
+77114753 = 120410134 bxor 62258583.
+25897732 = 25897860 band -73666707.
+-73666579 = 25897860 bor -73666707.
+-99564311 = 25897860 bxor -73666707.
+25318434 = -5875806 band 30596147.
+-598093 = -5875806 bor 30596147.
+-25916527 = -5875806 bxor 30596147.
+-133099168 = -128877584 band -99281559.
+-95059975 = -128877584 bor -99281559.
+38039193 = -128877584 bxor -99281559.
+60033166 = -4830226 band 64293007.
+-570385 = -4830226 bor 64293007.
+-60603551 = -4830226 bxor 64293007.
+98567940 = 132802332 band 98606885.
+132841277 = 132802332 bor 98606885.
+34273337 = 132802332 bxor 98606885.
+-64808790 = -54576902 band -64774485.
+-54542597 = -54576902 bor -64774485.
+10266193 = -54576902 bxor -64774485.
+-134215680 = -121317112 band -98498399.
+-85599831 = -121317112 bor -98498399.
+48615849 = -121317112 bxor -98498399.
+36924038 = -29889850 band 41646727.
+-25167161 = -29889850 bor 41646727.
+-62091199 = -29889850 bxor 41646727.
+16780692 = -112034380 band 128224733.
+-590339 = -112034380 bor 128224733.
+-17371031 = -112034380 bxor 128224733.
+33761282 = -96998062 band 59455523.
+-71303821 = -96998062 bor 59455523.
+-105065103 = -96998062 bxor 59455523.
+56688640 = -76300000 band 65088217.
+-67900423 = -76300000 bor 65088217.
+-124589063 = -76300000 bxor 65088217.
+-29163490 = -20738914 band -28363905.
+-19939329 = -20738914 bor -28363905.
+9224161 = -20738914 bxor -28363905.
+-123696380 = -56373428 band -72311915.
+-4988963 = -56373428 bor -72311915.
+118707417 = -56373428 bxor -72311915.
+50692234 = 64476330 band -80901989.
+-67117893 = 64476330 bor -80901989.
+-117810127 = 64476330 bxor -80901989.
+79959056 = 82089016 band 97278993.
+99408953 = 82089016 bor 97278993.
+19449897 = 82089016 bxor 97278993.
+1184118 = 37130614 band -120450185.
+-84503689 = 37130614 bor -120450185.
+-85687807 = 37130614 bxor -120450185.
+567364 = -127222812 band 17410125.
+-110380051 = -127222812 bor 17410125.
+-110947415 = -127222812 bxor 17410125.
+-87932926 = -84783358 band -87396333.
+-84246765 = -84783358 bor -87396333.
+3686161 = -84783358 bxor -87396333.
+-134139840 = -133582256 band -95060919.
+-94503335 = -133582256 bor -95060919.
+39636505 = -133582256 bxor -95060919.
+27285582 = -71673522 band 98695791.
+-263313 = -71673522 bor 98695791.
+-27548895 = -71673522 bxor 98695791.
+72384516 = -60841092 band 108041221.
+-25184387 = -60841092 bor 108041221.
+-97568903 = -60841092 bxor 108041221.
+35949578 = -68764582 band 104713867.
+-293 = -68764582 bor 104713867.
+-35949871 = -68764582 bxor 104713867.
+54618880 = 130120552 band -76846207.
+-1344535 = 130120552 bor -76846207.
+-55963415 = 130120552 bxor -76846207.
+-100646874 = -29080538 band -80164761.
+-8598425 = -29080538 bor -80164761.
+92048449 = -29080538 bxor -80164761.
+14820884 = -85531116 band 98713277.
+-1638723 = -85531116 bor 98713277.
+-16459607 = -85531116 bxor 98713277.
+10486786 = 60849330 band 83854339.
+134216883 = 60849330 bor 83854339.
+123730097 = 60849330 bxor 83854339.
+5245312 = -128561280 band 100207033.
+-33599559 = -128561280 bor 100207033.
+-38844871 = -128561280 bxor 100207033.
+-100396706 = -99241474 band -1286817.
+-131585 = -99241474 bor -1286817.
+100265121 = -99241474 bxor -1286817.
+1081380 = 43049900 band 1542261.
+43510781 = 43049900 bor 1542261.
+42429401 = 43049900 bxor 1542261.
+16936970 = 85389322 band -106729349.
+-38276997 = 85389322 bor -106729349.
+-55213967 = 85389322 bxor -106729349.
+6555280 = 16682648 band -43698447.
+-33571079 = 16682648 bor -43698447.
+-40126359 = 16682648 bxor -43698447.
+-97779626 = -96730410 band -68249257.
+-67200041 = -96730410 bor -68249257.
+30579585 = -96730410 bxor -68249257.
+86020 = 127532100 band -133869267.
+-6423187 = 127532100 bor -133869267.
+-6509207 = 127532100 bxor -133869267.
+-129404318 = -20089246 band -111578125.
+-2263053 = -20089246 bor -111578125.
+127141265 = -20089246 bxor -111578125.
+-49246176 = -44263248 band -15543511.
+-10560583 = -44263248 bor -15543511.
+38685593 = -44263248 bxor -15543511.
+33559566 = 34641582 band 126704719.
+127786735 = 34641582 bor 126704719.
+94227169 = 34641582 bxor 126704719.
+-62388028 = -43348004 band -27494171.
+-8454147 = -43348004 bor -27494171.
+53933881 = -43348004 bxor -27494171.
+4288042 = 5468090 band 57503339.
+58683387 = 5468090 bor 57503339.
+54395345 = 5468090 bxor 57503339.
+81824832 = -16855608 band 98614881.
+-65559 = -16855608 bor 98614881.
+-81890391 = -16855608 bxor 98614881.
+-89095162 = -88552058 band -84769209.
+-84226105 = -88552058 bor -84769209.
+4869057 = -88552058 bxor -84769209.
+56852 = 1506932 band -49684579.
+-48234499 = 1506932 bor -49684579.
+-48291351 = 1506932 bxor -49684579.
+-121357310 = -3916782 band -121159709.
+-3719181 = -3916782 bor -121159709.
+117638129 = -3916782 bxor -121159709.
+-58095488 = -18903584 band -39200615.
+-8711 = -18903584 bor -39200615.
+58086777 = -18903584 bxor -39200615.
+10618654 = 10880862 band -39585985.
+-39323777 = 10880862 bor -39585985.
+-49942431 = 10880862 bxor -39585985.
+9838596 = -35674100 band 45507925.
+-4771 = -35674100 bor 45507925.
+-9843367 = -35674100 bxor 45507925.
+54659146 = -12108950 band 57329755.
+-9438341 = -12108950 bor 57329755.
+-64097487 = -12108950 bxor 57329755.
+113574096 = -18532104 band 113574353.
+-18531847 = -18532104 bor 113574353.
+-132105943 = -18532104 bxor 113574353.
+99382 = 18195510 band 100896567.
+118992695 = 18195510 bor 100896567.
+118893313 = 18195510 bxor 100896567.
+59396 = 11594916 band -28906995.
+-17371475 = 11594916 bor -28906995.
+-17430871 = 11594916 bxor -28906995.
+8897986 = 42978754 band -34084909.
+-4141 = 42978754 bor -34084909.
+-8902127 = 42978754 bxor -34084909.
+-117437952 = -77451504 band -108717559.
+-68731111 = -77451504 bor -108717559.
+48706841 = -77451504 bxor -108717559.
+8455182 = 126944270 band -120639953.
+-2150865 = 126944270 bor -120639953.
+-10606047 = 126944270 bxor -120639953.
+33557508 = 128134204 band -94614075.
+-37379 = 128134204 bor -94614075.
+-33594887 = 128134204 bxor -94614075.
+545290 = 73224986 band -81101237.
+-8421541 = 73224986 bor -81101237.
+-8966831 = 73224986 bxor -81101237.
+-124780544 = -57356248 band -105316031.
+-37891735 = -57356248 bor -105316031.
+86888809 = -57356248 bxor -105316031.
+-132086746 = -76708122 band -123685849.
+-68307225 = -76708122 bor -123685849.
+63779521 = -76708122 bxor -123685849.
+5390420 = 8046292 band -120360835.
+-117704963 = 8046292 bor -120360835.
+-123095383 = 8046292 bxor -120360835.
+-111531198 = -67425422 band -44405821.
+-300045 = -67425422 bor -44405821.
+111231153 = -67425422 bxor -44405821.
+-131918784 = -131630016 band -97806471.
+-97517703 = -131630016 bor -97806471.
+34401081 = -131630016 bxor -97806471.
+88866846 = -45314882 band 91095327.
+-43086401 = -45314882 bor 91095327.
+-131953247 = -45314882 bxor 91095327.
+4132 = 19405932 band -29019595.
+-9617795 = 19405932 bor -29019595.
+-9621927 = 19405932 bxor -29019595.
+12619786 = 46184138 band -33845189.
+-280837 = 46184138 bor -33845189.
+-12900623 = 46184138 bxor -33845189.
+2134032 = 45126488 band 2342065.
+45334521 = 45126488 bor 2342065.
+43200489 = 45126488 bxor 2342065.
+67663126 = 77297046 band -66521833.
+-56887913 = 77297046 bor -66521833.
+-124551039 = 77297046 bxor -66521833.
+17170436 = 21466372 band -41520403.
+-37224467 = 21466372 bor -41520403.
+-54394903 = 21466372 bxor -41520403.
+17908002 = -107915998 band 85838771.
+-39985229 = -107915998 bor 85838771.
+-57893231 = -107915998 bxor 85838771.
+2117728 = 20084080 band 115626217.
+133592569 = 20084080 bor 115626217.
+131474841 = 20084080 bxor 115626217.
+85139470 = -49045138 band 94334991.
+-39849617 = -49045138 bor 94334991.
+-124989087 = -49045138 bxor 94334991.
+52433028 = 60913820 band 52957861.
+61438653 = 60913820 bor 52957861.
+9005625 = 60913820 bxor 52957861.
+5006890 = -27498886 band 15531563.
+-16974213 = -27498886 bor 15531563.
+-21981103 = -27498886 bxor 15531563.
+34078720 = -90471800 band 53228577.
+-71321943 = -90471800 bor 53228577.
+-105400663 = -90471800 bxor 53228577.
+70930438 = 70938694 band 121328135.
+121336391 = 70938694 bor 121328135.
+50405953 = 70938694 bxor 121328135.
+10629396 = -5619916 band 16183645.
+-65667 = -5619916 bor 16183645.
+-10695063 = -5619916 bxor 16183645.
+17891970 = 27085522 band -47118429.
+-37924877 = 27085522 bor -47118429.
+-55816847 = 27085522 bxor -47118429.
+393728 = -112846176 band 112608857.
+-631047 = -112846176 bor 112608857.
+-1024775 = -112846176 bxor 112608857.
+4211230 = 115425822 band 21134079.
+132348671 = 115425822 bor 21134079.
+128137441 = 115425822 bxor 21134079.
+-117293052 = -83738420 band -109318379.
+-75763747 = -83738420 bor -109318379.
+41529305 = -83738420 bxor -109318379.
+-87474166 = -69508566 band -87177189.
+-69211589 = -69508566 bor -87177189.
+18262577 = -69508566 bxor -87177189.
+3671440 = -59204168 band 62482321.
+-393287 = -59204168 bor 62482321.
+-4064727 = -59204168 bxor 62482321.
+-22789386 = -22710538 band -17380617.
+-17301769 = -22710538 bor -17380617.
+5487617 = -22710538 bxor -17380617.
+41011524 = 49667428 band -75764787.
+-67108883 = 49667428 bor -75764787.
+-108120407 = 49667428 bxor -75764787.
+50465922 = 53087362 band 121839507.
+124460947 = 53087362 bor 121839507.
+73995025 = 53087362 bxor 121839507.
+6316992 = -102405168 band 6846409.
+-101875751 = -102405168 bor 6846409.
+-108192743 = -102405168 bxor 6846409.
+91234510 = -9408818 band 100016623.
+-626705 = -9408818 bor 100016623.
+-91861215 = -9408818 bxor 100016623.
+91571332 = 100496636 band -42481787.
+-33556483 = 100496636 bor -42481787.
+-125127815 = 100496636 bxor -42481787.
+2664458 = 11053530 band 70053387.
+78442459 = 11053530 bor 70053387.
+75778001 = 11053530 bxor 70053387.
+-98417664 = -13966104 band -93169919.
+-8718359 = -13966104 bor -93169919.
+89699305 = -13966104 bxor -93169919.
+78776742 = 83331494 band 96100327.
+100655079 = 83331494 bor 96100327.
+21878337 = 83331494 bxor 96100327.
+-114531820 = -46307436 band -114531779.
+-46307395 = -46307436 bor -114531779.
+68224425 = -46307436 bxor -114531779.
+100798978 = 100833842 band -20769917.
+-20735053 = 100833842 bor -20769917.
+-121534031 = 100833842 bxor -20769917.
+33644800 = 55798016 band -92150471.
+-69997255 = 55798016 bor -92150471.
+-103642055 = 55798016 bxor -92150471.
+1582174 = 3942270 band 119104735.
+121464831 = 3942270 bor 119104735.
+119882657 = 3942270 bxor 119104735.
+100798756 = 101061932 band 118660085.
+118923261 = 101061932 bor 118660085.
+18124505 = 101061932 bxor 118660085.
+38350218 = 49233290 band 123301883.
+134184955 = 49233290 bor 123301883.
+95834737 = 49233290 bxor 123301883.
+1310736 = -128624616 band 129892977.
+-42375 = -128624616 bor 129892977.
+-1353111 = -128624616 bxor 129892977.
+16842838 = 84650070 band -70971177.
+-3163945 = 84650070 bor -70971177.
+-20006783 = 84650070 bxor -70971177.
+-111979388 = -78389820 band -102804307.
+-69214739 = -78389820 bor -102804307.
+42764649 = -78389820 bxor -102804307.
+-124656798 = -89000990 band -119544973.
+-83889165 = -89000990 bor -119544973.
+40767633 = -89000990 bxor -119544973.
+-134151648 = -57470416 band -79065431.
+-2384199 = -57470416 bor -79065431.
+131767449 = -57470416 bxor -79065431.
+88817678 = 125791278 band -37010481.
+-36881 = 125791278 bor -37010481.
+-88854559 = 125791278 bxor -37010481.
+-100458428 = -11591332 band -100438939.
+-11571843 = -11591332 bor -100438939.
+88886585 = -11591332 bxor -100438939.
+134442 = -107340486 band 6442475.
+-101032453 = -107340486 bor 6442475.
+-101166895 = -107340486 bxor 6442475.
+4350272 = -61147320 band 63138273.
+-2359319 = -61147320 bor 63138273.
+-6709591 = -61147320 bxor 63138273.
+-116076282 = -109260026 band -15344185.
+-8527929 = -109260026 bor -15344185.
+107548353 = -109260026 bxor -15344185.
+525076 = 80494580 band 19645213.
+99614717 = 80494580 bor 19645213.
+99089641 = 80494580 bxor 19645213.
+8390914 = -92071534 band 76058467.
+-24403981 = -92071534 bor 76058467.
+-32794895 = -92071534 bxor 76058467.
+4613120 = 57108320 band -121211879.
+-68716679 = 57108320 bor -121211879.
+-73329799 = 57108320 bxor -121211879.
+-132105058 = -130728738 band -118833473.
+-117457153 = -130728738 bor -118833473.
+14647905 = -130728738 bxor -118833473.
+12654724 = -120874612 band 96549077.
+-36980259 = -120874612 bor 96549077.
+-49634983 = -120874612 bxor 96549077.
+-65797942 = -61585174 band -48855077.
+-44642309 = -61585174 bor -48855077.
+21155633 = -61585174 bxor -48855077.
+-28802992 = -27344264 band -26636975.
+-25178247 = -27344264 bor -26636975.
+3624745 = -27344264 bxor -26636975.
+-115212106 = -106559050 band -76822857.
+-68169801 = -106559050 bor -76822857.
+47042305 = -106559050 bxor -76822857.
+40406020 = -67531228 band 107523469.
+-413779 = -67531228 bor 107523469.
+-40819799 = -67531228 bxor 107523469.
+33555266 = 125897538 band -93579437.
+-1237165 = 125897538 bor -93579437.
+-34792431 = 125897538 bxor -93579437.
+-132972416 = -61642608 band -121662071.
+-50332263 = -61642608 bor -121662071.
+82640153 = -61642608 bxor -121662071.
+-133131890 = -99051122 band -48835153.
+-14754385 = -99051122 bor -48835153.
+118377505 = -99051122 bxor -48835153.
+67240196 = -64062020 band 92471621.
+-38830595 = -64062020 bor 92471621.
+-106070791 = -64062020 bxor 92471621.
+16777354 = 59293850 band -49996341.
+-7479845 = 59293850 bor -49996341.
+-24257199 = 59293850 bxor -49996341.
+4401280 = 4438440 band -11047743.
+-11010583 = 4438440 bor -11047743.
+-15411863 = 4438440 bxor -11047743.
+-134199258 = -106804122 band -96089177.
+-68694041 = -106804122 bor -96089177.
+65505217 = -106804122 bxor -96089177.
+78381140 = -34682796 band 78451709.
+-34612227 = -34682796 bor 78451709.
+-112993367 = -34682796 bxor 78451709.
+-59750334 = -59324174 band -50758845.
+-50332685 = -59324174 bor -50758845.
+9417649 = -59324174 bxor -50758845.
+10096832 = 43652544 band 12317433.
+45873145 = 43652544 bor 12317433.
+35776313 = 43652544 bxor 12317433.
+10780702 = -106659266 band 78547103.
+-38892865 = -106659266 bor 78547103.
+-49673567 = -106659266 bxor 78547103.
+2803108 = 99274220 band 4179381.
+100650493 = 99274220 bor 4179381.
+97847385 = 99274220 bxor 4179381.
+6292490 = -127761334 band 24973243.
+-109080581 = -127761334 bor 24973243.
+-115373071 = -127761334 bxor 24973243.
+10749968 = 44883160 band 99878961.
+134012153 = 44883160 bor 99878961.
+123262185 = 44883160 bxor 99878961.
+37783574 = -95642858 band 48426135.
+-85000297 = -95642858 bor 48426135.
+-122783871 = -95642858 bxor 48426135.
+38725124 = 41873028 band -87034259.
+-83886355 = 41873028 bor -87034259.
+-122611479 = 41873028 bxor -87034259.
+-129035742 = -51424606 band -127943885.
+-50332749 = -51424606 bor -127943885.
+78702993 = -51424606 bxor -127943885.
+134240 = -130126096 band 100830313.
+-29430023 = -130126096 bor 100830313.
+-29564263 = -130126096 bxor 100830313.
+-133114226 = -132909330 band -3090545.
+-2885649 = -132909330 bor -3090545.
+130228577 = -132909330 bxor -3090545.
+2261508 = 87263772 band -122780123.
+-37777859 = 87263772 bor -122780123.
+-40039367 = 87263772 bxor -122780123.
+76288426 = 80516090 band -41067093.
+-36839429 = 80516090 bor -41067093.
+-113127855 = 80516090 bxor -41067093.
+6556672 = 83700744 band -110731359.
+-33587287 = 83700744 bor -110731359.
+-40143959 = 83700744 bxor -110731359.
+-134078074 = -113248826 band -96327289.
+-75498041 = -113248826 bor -96327289.
+58580033 = -113248826 bxor -96327289.
+-131596140 = -63110988 band -77048611.
+-8563459 = -63110988 bor -77048611.
+123032681 = -63110988 bxor -77048611.
+360450 = 87402578 band 42850083.
+129892211 = 87402578 bor 42850083.
+129531761 = 87402578 bxor 42850083.
+67264512 = 100889632 band -40214055.
+-6588935 = 100889632 bor -40214055.
+-73853447 = 100889632 bxor -40214055.
+4243998 = -77465698 band 73187967.
+-8521729 = -77465698 bor 73187967.
+-12765727 = -77465698 bxor 73187967.
+-113114620 = -67390900 band -45727083.
+-3363 = -67390900 bor -45727083.
+113111257 = -67390900 bxor -45727083.
+33621898 = 57798570 band 100992923.
+125169595 = 57798570 bor 100992923.
+91547697 = 57798570 bxor 100992923.
+1385232 = 89630520 band -124423407.
+-36178119 = 89630520 bor -124423407.
+-37563351 = 89630520 bxor -124423407.
+131190 = 14113910 band 52593271.
+66575991 = 14113910 bor 52593271.
+66444801 = 14113910 bxor 52593271.
+-129421756 = -126091548 band -53661875.
+-50331667 = -126091548 bor -53661875.
+79090089 = -126091548 bxor -53661875.
+-99563006 = -95106558 band -80556269.
+-76099821 = -95106558 bor -80556269.
+23463185 = -95106558 bxor -80556269.
+-129490624 = -76798640 band -62229687.
+-9537703 = -76798640 bor -62229687.
+119952921 = -76798640 bxor -62229687.
+-62848946 = -28736434 band -34518673.
+-406161 = -28736434 bor -34518673.
+62442785 = -28736434 bxor -34518673.
+-130792956 = -17414532 band -130155771.
+-16777347 = -17414532 bor -130155771.
+114015609 = -17414532 bxor -130155771.
+19989770 = -4352166 band 24317323.
+-24613 = -4352166 bor 24317323.
+-20014383 = -4352166 bxor 24317323.
+541184 = 10440296 band -98024831.
+-88125719 = 10440296 bor -98024831.
+-88666903 = 10440296 bxor -98024831.
+-134166746 = -131215578 band -33360025.
+-30408857 = -131215578 bor -33360025.
+103757889 = -131215578 bxor -33360025.
+-117145324 = -11605740 band -116030019.
+-10490435 = -11605740 bor -116030019.
+106654889 = -11605740 bxor -116030019.
+-99245310 = -99108942 band -71458045.
+-71321677 = -99108942 bor -71458045.
+27923633 = -99108942 bxor -71458045.
+110723200 = -21265792 band 110739641.
+-21249351 = -21265792 bor 110739641.
+-131972551 = -21265792 bxor 110739641.
+4525150 = 4562174 band -34771873.
+-34734849 = 4562174 bor -34771873.
+-39259999 = 4562174 bxor -34771873.
+92538404 = 93734572 band -7557259.
+-6361091 = 93734572 bor -7557259.
+-98899495 = 93734572 bxor -7557259.
+133898 = 98208522 band -131698821.
+-33624197 = 98208522 bor -131698821.
+-33758095 = 98208522 bxor -131698821.
+328080 = 41361816 band -58339855.
+-17306119 = 41361816 bor -58339855.
+-17634199 = 41361816 bxor -58339855.
+16910422 = 52317654 band -115177385.
+-79770153 = 52317654 bor -115177385.
+-96680575 = 52317654 bxor -115177385.
+34084868 = 59293508 band -31958995.
+-6750355 = 59293508 bor -31958995.
+-40835223 = 59293508 bxor -31958995.
+50942050 = -83267230 band 123556595.
+-10652685 = -83267230 bor 123556595.
+-61594735 = -83267230 bxor 123556595.
+12847648 = -51082320 band 13584937.
+-50345031 = -51082320 bor 13584937.
+-63192679 = -51082320 bxor 13584937.
+17826062 = 93405614 band -76534961.
+-955409 = 93405614 bor -76534961.
+-18781471 = 93405614 bxor -76534961.
+529092 = -99700004 band 82403301.
+-17825795 = -99700004 bor 82403301.
+-18354887 = -99700004 bxor 82403301.
+2230314 = 45337274 band 70135147.
+113242107 = 45337274 bor 70135147.
+111011793 = 45337274 bxor 70135147.
+88080448 = 88219848 band 97850721.
+97990121 = 88219848 bor 97850721.
+9909673 = 88219848 bxor 97850721.
+4102 = 38000774 band 8402247.
+46398919 = 38000774 bor 8402247.
+46394817 = 38000774 bxor 8402247.
+2916372 = 45908340 band -43211107.
+-219139 = 45908340 bor -43211107.
+-3135511 = 45908340 bxor -43211107.
+-134162942 = -59443438 band -83829021.
+-9109517 = -59443438 bor -83829021.
+125053425 = -59443438 bxor -83829021.
+-120455040 = -103137056 band -17690727.
+-372743 = -103137056 bor -17690727.
+120082297 = -103137056 bxor -17690727.
+50332190 = 120025694 band 56133183.
+125826687 = 120025694 bor 56133183.
+75494497 = 120025694 bxor 56133183.
+21104644 = -112030964 band 97193045.
+-35942563 = -112030964 bor 97193045.
+-57047207 = -112030964 bxor 97193045.
+22038090 = 66344554 band 22628187.
+66934651 = 66344554 bor 22628187.
+44896561 = 66344554 bxor 22628187.
+35719376 = 35867640 band 66918609.
+67066873 = 35867640 bor 66918609.
+31347497 = 35867640 bxor 66918609.
+14183990 = 49901366 band -35979721.
+-262345 = 49901366 bor -35979721.
+-14446335 = 49901366 bxor -35979721.
+69804292 = 87895972 band -60198643.
+-42106963 = 87895972 bor -60198643.
+-111911255 = 87895972 bxor -60198643.
+71647426 = 107301058 band -44611885.
+-8958253 = 107301058 bor -44611885.
+-80605679 = 107301058 bxor -44611885.
+80281600 = -1072624 band 80285961.
+-1068263 = -1072624 bor 80285961.
+-81349863 = -1072624 bxor 80285961.
+4271374 = 46345998 band -129663697.
+-87589073 = 46345998 bor -129663697.
+-91860447 = 46345998 bxor -129663697.
+50365444 = 51695420 band -77024059.
+-75694083 = 51695420 bor -77024059.
+-126059527 = 51695420 bxor -77024059.
+-133813238 = -133747174 band -46744245.
+-46678181 = -133747174 bor -46744245.
+87135057 = -133747174 bxor -46744245.
+10780672 = 16622376 band -56305599.
+-50463895 = 16622376 bor -56305599.
+-61244567 = 16622376 bxor -56305599.
+-133168858 = -10874394 band -122559705.
+-265241 = -10874394 bor -122559705.
+132903617 = -10874394 bxor -122559705.
+67469652 = -31602220 band 69580669.
+-29491203 = -31602220 bor 69580669.
+-96960855 = -31602220 bxor 69580669.
+-125500862 = -106600846 band -19952957.
+-1052941 = -106600846 bor -19952957.
+124447921 = -106600846 bxor -19952957.
+5443136 = 7843648 band 98258553.
+100659065 = 7843648 bor 98258553.
+95215929 = 7843648 bxor 98258553.
+43388958 = -86018114 band 43388959.
+-86018113 = -86018114 bor 43388959.
+-129407071 = -86018114 bxor 43388959.
+-125282012 = -104300692 band -88516299.
+-67534979 = -104300692 bor -88516299.
+57747033 = -104300692 bxor -88516299.
+102039818 = -32026166 band 118853435.
+-15212549 = -32026166 bor 118853435.
+-117252367 = -32026166 bxor 118853435.
+-131071472 = -126605736 band -46967887.
+-42502151 = -126605736 bor -46967887.
+88569321 = -126605736 bxor -46967887.
+104906774 = -29310826 band 105112599.
+-29105001 = -29310826 bor 105112599.
+-134011775 = -29310826 bxor 105112599.
+19943428 = -80654332 band 24672749.
+-75925011 = -80654332 bor 24672749.
+-95868439 = -80654332 bxor 24672749.
+-109051870 = -4173790 band -107435341.
+-2557261 = -4173790 bor -107435341.
+106494609 = -4173790 bxor -107435341.
+23412832 = 58026096 band 91211753.
+125825017 = 58026096 bor 91211753.
+102412185 = 58026096 bxor 91211753.
+2165774 = 112675950 band 6897423.
+117407599 = 112675950 bor 6897423.
+115241825 = 112675950 bxor 6897423.
+2136452 = 44080028 band 74709413.
+116652989 = 44080028 bor 74709413.
+114516537 = 44080028 bxor 74709413.
+295210 = 101695866 band 310571.
+101711227 = 101695866 bor 310571.
+101416017 = 101695866 bxor 310571.
+-121011968 = -35007096 band -87061727.
+-1056855 = -35007096 bor -87061727.
+119955113 = -35007096 bxor -87061727.
+16777478 = 55081798 band -108003065.
+-69698745 = 55081798 bor -108003065.
+-86476223 = 55081798 bxor -108003065.
+67665940 = 84591156 band 83408989.
+100334205 = 84591156 bor 83408989.
+32668265 = 84591156 bxor 83408989.
+16843906 = -83819054 band 27371171.
+-73291789 = -83819054 bor 27371171.
+-90135695 = -83819054 bxor 27371171.
+109661440 = 128699808 band 109935961.
+128974329 = 128699808 bor 109935961.
+19312889 = 128699808 bxor 109935961.
+264478 = 38120734 band 94243327.
+132099583 = 38120734 bor 94243327.
+131835105 = 38120734 bxor 94243327.
+83886596 = 93332428 band 84907541.
+94353373 = 93332428 bor 84907541.
+10466777 = 93332428 bxor 84907541.
+9651466 = 10190122 band -86816997.
+-86278341 = 10190122 bor -86816997.
+-95929807 = 10190122 bxor -86816997.
+12432 = 92385464 band 39878289.
+132251321 = 92385464 bor 39878289.
+132238889 = 92385464 bxor 39878289.
+38011382 = -20168202 band 55917047.
+-2262537 = -20168202 bor 55917047.
+-40273919 = -20168202 bxor 55917047.
+50143300 = -16965532 band 50164429.
+-16944403 = -16965532 bor 50164429.
+-67087703 = -16965532 bxor 50164429.
+68159106 = 108169090 band 77168275.
+117178259 = 108169090 bor 77168275.
+49019153 = 108169090 bxor 77168275.
+43601600 = 43900624 band -67408183.
+-67109159 = 43900624 bor -67408183.
+-110710759 = 43900624 bxor -67408183.
+-96399154 = -28993074 band -70029073.
+-2622993 = -28993074 bor -70029073.
+93776161 = -28993074 bxor -70029073.
+71435908 = -45475844 band 79900293.
+-37011459 = -45475844 bor 79900293.
+-108447367 = -45475844 bxor 79900293.
+-67107830 = -14318374 band -66048757.
+-13259301 = -14318374 bor -66048757.
+53848529 = -14318374 bxor -66048757.
+796160 = 35567592 band -124965375.
+-90193943 = 35567592 bor -124965375.
+-90990103 = 35567592 bxor -124965375.
+132262 = -35187546 band 34770663.
+-549145 = -35187546 bor 34770663.
+-681407 = -35187546 bxor 34770663.
+51980308 = 119237268 band 60664125.
+127921085 = 119237268 bor 60664125.
+75940777 = 119237268 bxor 60664125.
+30347266 = 98555186 band -101764477.
+-33556557 = 98555186 bor -101764477.
+-63903823 = 98555186 bxor -101764477.
+39936 = 9346048 band -129983431.
+-120677319 = 9346048 bor -129983431.
+-120717255 = 9346048 bxor -129983431.
+2101854 = 3281534 band 40399839.
+41579519 = 3281534 bor 40399839.
+39477665 = 3281534 bxor 40399839.
+117522468 = 121731116 band 126206709.
+130415357 = 121731116 bor 126206709.
+12892889 = 121731116 bxor 126206709.
+34097290 = 64542858 band -99979525.
+-69533957 = 64542858 bor -99979525.
+-103631247 = 64542858 bxor -99979525.
+18909456 = 90434328 band -105080463.
+-33555591 = 90434328 bor -105080463.
+-52465047 = 90434328 bxor -105080463.
+33747798 = -93064362 band 34013143.
+-92799017 = -93064362 bor 34013143.
+-126546815 = -93064362 bxor 34013143.
+36700292 = 104374468 band 45112237.
+112786413 = 104374468 bor 45112237.
+76086121 = 104374468 bxor 45112237.
+13746786 = 97775330 band 47301235.
+131329779 = 97775330 bor 47301235.
+117582993 = 97775330 bxor 47301235.
+75498784 = 75564336 band -39582295.
+-39516743 = 75564336 bor -39582295.
+-115015527 = 75564336 bxor -39582295.
+38015502 = 38147886 band -25423153.
+-25290769 = 38147886 bor -25423153.
+-63306271 = 38147886 bxor -25423153.
+17317956 = 61424732 band -49392795.
+-5286019 = 61424732 bor -49392795.
+-22603975 = 61424732 bxor -49392795.
+8390698 = 27293754 band -53408533.
+-34505477 = 27293754 bor -53408533.
+-42896175 = 27293754 bxor -53408533.
+-99336128 = -4961720 band -99237663.
+-4863255 = -4961720 bor -99237663.
+94472873 = -4961720 bxor -99237663.
+-117339130 = -82977274 band -47084345.
+-12722489 = -82977274 bor -47084345.
+104616641 = -82977274 bxor -47084345.
+-3898860 = -1588492 band -3372515.
+-1062147 = -1588492 bor -3372515.
+2836713 = -1588492 bxor -3372515.
+-99613694 = -73804654 band -97505693.
+-71696653 = -73804654 bor -97505693.
+27917041 = -73804654 bxor -97505693.
+-131593728 = -130540960 band -30627047.
+-29574279 = -130540960 bor -30627047.
+102019449 = -130540960 bxor -30627047.
+40633758 = 58501086 band -85111361.
+-67244033 = 58501086 bor -85111361.
+-107877791 = 58501086 bxor -85111361.
+5266564 = 91520140 band 13885397.
+100138973 = 91520140 bor 13885397.
+94872409 = 91520140 bxor 13885397.
+-64814390 = -64527382 band -30210341.
+-29923333 = -64527382 bor -30210341.
+34891057 = -64527382 bxor -30210341.
+3310672 = 3331448 band 92251217.
+92271993 = 3331448 bor 92251217.
+88961321 = 3331448 bxor 92251217.
+50402486 = 51369142 band -78563913.
+-77597257 = 51369142 bor -78563913.
+-127999743 = 51369142 bxor -78563913.
+38342660 = 41668900 band -28756851.
+-25430611 = 41668900 bor -28756851.
+-63773271 = 41668900 bxor -28756851.
+70780482 = 87852610 band 79263315.
+96335443 = 87852610 bor 79263315.
+25554961 = 87852610 bxor 79263315.
+-132085632 = -63513712 band -73298807.
+-4726887 = -63513712 bor -73298807.
+127358745 = -63513712 bxor -73298807.
+1049742 = 126928014 band -128244561.
+-2366289 = 126928014 bor -128244561.
+-3416031 = 126928014 bxor -128244561.
+33824772 = 39198908 band -99784635.
+-94410499 = 39198908 bor -99784635.
+-128235271 = 39198908 bxor -99784635.
+26744970 = 131636122 band -104899381.
+-8229 = 131636122 bor -104899381.
+-26753199 = 131636122 bxor -104899381.
+75497600 = 79858856 band -6208575.
+-1847319 = 79858856 bor -6208575.
+-77344919 = 79858856 bxor -6208575.
+8704550 = 43308902 band 31783591.
+66387943 = 43308902 bor 31783591.
+57683393 = 43308902 bxor 31783591.
+84232788 = 117951316 band 87907069.
+121625597 = 117951316 bor 87907069.
+37392809 = 117951316 bxor 87907069.
+8651330 = -108592142 band 14457411.
+-102786061 = -108592142 bor 14457411.
+-111437391 = -108592142 bxor 14457411.
+125831360 = 130042048 band 126462457.
+130673145 = 130042048 bor 126462457.
+4841785 = 130042048 bxor 126462457.
+69469470 = 117271870 band -47933537.
+-131137 = 117271870 bor -47933537.
+-69600607 = 117271870 bxor -47933537.
+42016932 = 46215404 band -72225611.
+-68027139 = 46215404 bor -72225611.
+-110044071 = 46215404 bxor -72225611.
+-121303542 = -102817974 band -54194501.
+-35708933 = -102817974 bor -54194501.
+85594609 = -102817974 bxor -54194501.
+33558288 = -100241448 band 65118001.
+-68681735 = -100241448 bor 65118001.
+-102240023 = -100241448 bxor 65118001.
+69452310 = 108520982 band 69983127.
+109051799 = 108520982 bor 69983127.
+39599489 = 108520982 bxor 69983127.
+22982916 = 22983044 band -8389267.
+-8389139 = 22983044 bor -8389267.
+-31372055 = 22983044 bxor -8389267.
+2082 = -133935710 band 113809971.
+-20127821 = -133935710 bor 113809971.
+-20129903 = -133935710 bxor 113809971.
+262496 = -120102416 band 53216105.
+-67148807 = -120102416 bor 53216105.
+-67411303 = -120102416 bxor 53216105.
+73965710 = -16932370 band 90744463.
+-153617 = -16932370 bor 90744463.
+-74119327 = -16932370 bxor 90744463.
+6827268 = 32025884 band 75001125.
+100199741 = 32025884 bor 75001125.
+93372473 = 32025884 bxor 75001125.
+68778 = -131731718 band 106110123.
+-25690373 = -131731718 bor 106110123.
+-25759151 = -131731718 bxor 106110123.
+23148032 = -77496568 band 90683041.
+-9961559 = -77496568 bor 90683041.
+-33109591 = -77496568 bxor 90683041.
+262278 = -128712506 band 52746375.
+-76228409 = -128712506 bor 52746375.
+-76490687 = -128712506 bxor 52746375.
+916 = 1278900 band -72868899.
+-71590915 = 1278900 bor -72868899.
+-71591831 = 1278900 bxor -72868899.
+-127114750 = -117480622 band -127109597.
+-117475469 = -117480622 bor -127109597.
+9639281 = -117480622 bxor -127109597.
+68091904 = 71247648 band -7366439.
+-4210695 = 71247648 bor -7366439.
+-72302599 = 71247648 bxor -7366439.
+17055774 = 25977502 band 50745727.
+59667455 = 25977502 bor 50745727.
+42611681 = 25977502 bxor 50745727.
+-57179900 = -37776052 band -19404395.
+-547 = -37776052 bor -19404395.
+57179353 = -37776052 bxor -19404395.
+18350730 = -111670614 band 121144987.
+-8876357 = -111670614 bor 121144987.
+-27227087 = -111670614 bxor 121144987.
+34769424 = 49723960 band -15037935.
+-83399 = 49723960 bor -15037935.
+-34852823 = 49723960 bxor -15037935.
+-58449546 = -24893578 band -40963721.
+-7407753 = -24893578 bor -40963721.
+51041793 = -24893578 bxor -40963721.
+-66584508 = -59162140 band -66275763.
+-58853395 = -59162140 bor -66275763.
+7731113 = -59162140 bxor -66275763.
+16974850 = -41728766 band 24587795.
+-34115821 = -41728766 bor 24587795.
+-51090671 = -41728766 bxor 24587795.
+91883584 = 91920464 band -42243511.
+-42206631 = 91920464 bor -42243511.
+-134090215 = 91920464 bxor -42243511.
+84183118 = 90484558 band -40069009.
+-33767569 = 90484558 bor -40069009.
+-117950687 = 90484558 bxor -40069009.
+24580 = 116975996 band 17261061.
+134212477 = 116975996 bor 17261061.
+134187897 = 116975996 bxor 17261061.
+16394 = 81818202 band 33836171.
+115637979 = 81818202 bor 33836171.
+115621585 = 81818202 bxor 33836171.
+27328768 = -106356376 band 60889473.
+-72795671 = -106356376 bor 60889473.
+-100124439 = -106356376 bxor 60889473.
+-64945626 = -64792026 band -1497497.
+-1343897 = -64792026 bor -1497497.
+63601729 = -64792026 bxor -1497497.
+41995284 = -89986028 band 113560765.
+-18420547 = -89986028 bor 113560765.
+-60415831 = -89986028 bxor 113560765.
+122864130 = -10816846 band 123191811.
+-10489165 = -10816846 bor 123191811.
+-133353295 = -10816846 bxor 123191811.
+-62638720 = -20138624 band -42567751.
+-67655 = -20138624 bor -42567751.
+62571065 = -20138624 bxor -42567751.
+33555294 = 100763646 band 42629983.
+109838335 = 100763646 bor 42629983.
+76283041 = 100763646 bxor 42629983.
+360484 = 17279404 band -50473355.
+-33554435 = 17279404 bor -50473355.
+-33914919 = 17279404 bxor -50473355.
+33564170 = 48899594 band -83530117.
+-68194693 = 48899594 bor -83530117.
+-101758863 = 48899594 bxor -83530117.
+84026512 = 119256216 band -43883279.
+-8653575 = 119256216 bor -43883279.
+-92680087 = 119256216 bxor -43883279.
+4182 = 17602774 band 74610519.
+92209111 = 17602774 bor 74610519.
+92204929 = 17602774 bxor 74610519.
+19071492 = -110919100 band 94854957.
+-35135635 = -110919100 bor 94854957.
+-54207127 = -110919100 bxor 94854957.
+17899618 = 17919074 band -113430029.
+-113410573 = 17919074 bor -113430029.
+-131310191 = 17919074 bxor -113430029.
+-117424096 = -113738064 band -3686103.
+-71 = -113738064 bor -3686103.
+117424025 = -113738064 bxor -3686103.
+9234446 = 60681390 band 82770511.
+134217455 = 60681390 bor 82770511.
+124983009 = 60681390 bxor 82770511.
+1197252 = 35575260 band 7489253.
+41867261 = 35575260 bor 7489253.
+40670009 = 35575260 bxor 7489253.
+-130014166 = -60807750 band -129307541.
+-60101125 = -60807750 bor -129307541.
+69913041 = -60807750 bxor -129307541.
+8478784 = 28406728 band -24810399.
+-4882455 = 28406728 bor -24810399.
+-13361239 = 28406728 bxor -24810399.
+17358854 = -103095418 band 53077063.
+-67377209 = -103095418 bor 53077063.
+-84736063 = -103095418 bxor 53077063.
+38405140 = 38667380 band 105606557.
+105868797 = 38667380 bor 105606557.
+67463657 = 38667380 bxor 105606557.
+1060866 = -34491886 band 1474019.
+-34078733 = -34491886 bor 1474019.
+-35139599 = -34491886 bxor 1474019.
+67125888 = 75559904 band 74860185.
+83294201 = 75559904 bor 74860185.
+16168313 = 75559904 bxor 74860185.
+18879774 = 53796190 band -39250625.
+-4334209 = 53796190 bor -39250625.
+-23213983 = 53796190 bxor -39250625.
+1122820 = 53571084 band 81507157.
+133955421 = 53571084 bor 81507157.
+132832601 = 53571084 bxor 81507157.
+10567754 = -85102230 band 27510363.
+-68159621 = -85102230 bor 27510363.
+-78727375 = -85102230 bxor 27510363.
+8457936 = -24289544 band 15806417.
+-16941063 = -24289544 bor 15806417.
+-25398999 = -24289544 bxor 15806417.
+29894710 = -1492426 band 30305591.
+-1081545 = -1492426 bor 30305591.
+-30976255 = -1492426 bxor 30305591.
+-133861372 = -105549148 band -100141043.
+-71828819 = -105549148 bor -100141043.
+62032553 = -105549148 bxor -100141043.
+-100499006 = -100219966 band -23943725.
+-23664685 = -100219966 bor -23943725.
+76834321 = -100219966 bxor -23943725.
+50921472 = 120132880 band -79099895.
+-9888487 = 120132880 bor -79099895.
+-60809959 = 120132880 bxor -79099895.
+-100579314 = -25077234 band -78132177.
+-2630097 = -25077234 bor -78132177.
+97949217 = -25077234 bxor -78132177.
+-9432572 = -888260 band -9364539.
+-820227 = -888260 bor -9364539.
+8612345 = -888260 bxor -9364539.
+10225674 = -117634790 band 10419275.
+-117441189 = -117634790 bor 10419275.
+-127666863 = -117634790 bxor 10419275.
+9728 = 26375720 band 105688897.
+132054889 = 26375720 bor 105688897.
+132045161 = 26375720 bxor 105688897.
+22155302 = -112026394 band 64950823.
+-69230873 = -112026394 bor 64950823.
+-91386175 = -112026394 bxor 64950823.
+77646932 = -22229804 band 99876477.
+-259 = -22229804 bor 99876477.
+-77647191 = -22229804 bxor 99876477.
+41282 = 35365234 band 18917827.
+54241779 = 35365234 bor 18917827.
+54200497 = 35365234 bxor 18917827.
+37945408 = -25959872 band 63374713.
+-530567 = -25959872 bor 63374713.
+-38475975 = -25959872 bxor 63374713.
+39453214 = 67003070 band 39460639.
+67010495 = 67003070 bor 39460639.
+27557281 = 67003070 bxor 39460639.
+32804 = 114614892 band 19497013.
+134079101 = 114614892 bor 19497013.
+134046297 = 114614892 bxor 19497013.
+9014282 = 28961994 band 9145915.
+29093627 = 28961994 bor 9145915.
+20079345 = 28961994 bxor 9145915.
+90351632 = -43796136 band 134146737.
+-1031 = -43796136 bor 134146737.
+-90352663 = -43796136 bxor 134146737.
+-124648682 = -118355050 band -90516713.
+-84223081 = -118355050 bor -90516713.
+40425601 = -118355050 bxor -90516713.
+33947652 = -83422460 band 48660717.
+-68709395 = -83422460 bor 48660717.
+-102657047 = -83422460 bxor 48660717.
+-106231518 = -71611614 band -34633293.
+-13389 = -71611614 bor -34633293.
+106218129 = -71611614 bxor -34633293.
+-64742816 = -26977424 band -46711063.
+-8945671 = -26977424 bor -46711063.
+55797145 = -26977424 bxor -46711063.
+80086542 = 115799918 band -53539313.
+-17825937 = 115799918 bor -53539313.
+-97912479 = 115799918 bxor -53539313.
+761988 = -116670820 band 112976037.
+-4456771 = -116670820 bor 112976037.
+-5218759 = -116670820 bxor 112976037.
+531498 = 17767546 band -25658325.
+-8422277 = 17767546 bor -25658325.
+-8953775 = 17767546 bxor -25658325.
+52699136 = 56895624 band 120513057.
+124709545 = 56895624 bor 120513057.
+72010409 = 56895624 bxor 120513057.
+67141638 = -27097530 band 83931143.
+-10308025 = -27097530 bor 83931143.
+-77449663 = -27097530 bxor 83931143.
+22430996 = 56050996 band -42565795.
+-8945795 = 56050996 bor -42565795.
+-31376791 = 56050996 bxor -42565795.
+69222530 = 87081170 band 82724259.
+100582899 = 87081170 bor 82724259.
+31360369 = 87081170 bxor 82724259.
+10518528 = 29196448 band 111195225.
+129873145 = 29196448 bor 111195225.
+119354617 = 29196448 bxor 111195225.
+-99346402 = -13232098 band -90859265.
+-4744961 = -13232098 bor -90859265.
+94601441 = -13232098 bxor -90859265.
+-125172732 = -91617588 band -123781867.
+-90226723 = -91617588 bor -123781867.
+34946009 = -91617588 bxor -123781867.
+19169290 = 61315114 band -113981925.
+-71836101 = 61315114 bor -113981925.
+-91005391 = 61315114 bxor -113981925.
+8552848 = 62309304 band -54291055.
+-534599 = 62309304 bor -54291055.
+-9087447 = 62309304 bxor -54291055.
+97454326 = 100601078 band -3168009.
+-21257 = 100601078 bor -3168009.
+-97475583 = 100601078 bxor -3168009.
+82862404 = 116417380 band 100334029.
+133889005 = 116417380 bor 100334029.
+51026601 = 116417380 bxor 100334029.
+92471426 = 92734082 band -3416685.
+-3154029 = 92734082 bor -3416685.
+-95625455 = 92734082 bxor -3416685.
+-100515392 = -100511280 band -20290103.
+-20285991 = -100511280 bor -20290103.
+80229401 = -100511280 bxor -20290103.
+17073358 = -106511154 band 21807087.
+-101777425 = -106511154 bor 21807087.
+-118850783 = -106511154 bxor 21807087.
+33722500 = 33733372 band -83192443.
+-83181571 = 33733372 bor -83192443.
+-116904071 = 33733372 bxor -83192443.
+5131274 = 116285402 band 21982219.
+133136347 = 116285402 bor 21982219.
+128005073 = 116285402 bxor 21982219.
+-115081216 = -46232856 band -110885631.
+-42037271 = -46232856 bor -110885631.
+73043945 = -46232856 bxor -110885631.
+8560038 = -119365722 band 92716519.
+-35209241 = -119365722 bor 92716519.
+-43769279 = -119365722 bxor 92716519.
+8413204 = -1741420 band 9105469.
+-1049155 = -1741420 bor 9105469.
+-9462359 = -1741420 bxor 9105469.
+8458242 = -58126286 band 32985475.
+-33599053 = -58126286 bor 32985475.
+-42057295 = -58126286 bxor 32985475.
+70337280 = -9056512 band 70996793.
+-8396999 = -9056512 bor 70996793.
+-78734279 = -9056512 bxor 70996793.
+68386910 = 129236350 band -61635873.
+-786433 = 129236350 bor -61635873.
+-69173343 = 129236350 bxor -61635873.
+-119486172 = -118957268 band -34280971.
+-33752067 = -118957268 bor -34280971.
+85734105 = -118957268 bxor -34280971.
+-117022326 = -116493430 band -115905029.
+-115376133 = -116493430 bor -115905029.
+1646193 = -116493430 bxor -115905029.
+85340176 = -39944680 band 91697265.
+-33587591 = -39944680 bor 91697265.
+-118927767 = -39944680 bxor 91697265.
+-60805546 = -51888554 band -26939689.
+-18022697 = -51888554 bor -26939689.
+42782849 = -51888554 bxor -26939689.
+615044 = 50947012 band 83714733.
+134046701 = 50947012 bor 83714733.
+133431657 = 50947012 bxor 83714733.
+8495458 = 46262754 band -123756173.
+-85988877 = 46262754 bor -123756173.
+-94484335 = 46262754 bxor -123756173.
+18511904 = 18544688 band 87719081.
+87751865 = 18544688 bor 87719081.
+69239961 = 18544688 bxor 87719081.
+-58146802 = -6766034 band -53943857.
+-2563089 = -6766034 bor -53943857.
+55583713 = -6766034 bxor -53943857.
+-117104060 = -76585124 band -48940443.
+-8421507 = -76585124 bor -48940443.
+108682553 = -76585124 bxor -48940443.
+9618218 = -118303942 band 77319147.
+-50603013 = -118303942 bor 77319147.
+-60221231 = -118303942 bxor 77319147.
+18879808 = 20553032 band 19142625.
+20815849 = 20553032 bor 19142625.
+1936041 = 20553032 bxor 19142625.
+2631942 = 78309638 band 6896583.
+82574279 = 78309638 bor 6896583.
+79942337 = 78309638 bxor 6896583.
+-18267884 = -1096204 band -18263779.
+-1092099 = -1096204 bor -18263779.
+17175785 = -1096204 bxor -18263779.
+-131035902 = -109277294 band -88879773.
+-67121165 = -109277294 bor -88879773.
+63914737 = -109277294 bxor -88879773.
+75808768 = 78957920 band -3218919.
+-69767 = 78957920 bor -3218919.
+-75878535 = 78957920 bxor -3218919.
+-134213474 = -61861154 band -108274497.
+-35922177 = -61861154 bor -108274497.
+98291297 = -61861154 bxor -108274497.
+-125827452 = -125214836 band -1931563.
+-1318947 = -125214836 bor -1931563.
+124508505 = -125214836 bxor -1931563.
+132298 = 105283306 band -106199589.
+-1048581 = 105283306 bor -106199589.
+-1180879 = 105283306 bxor -106199589.
+1091664 = 53667960 band 72465233.
+125041529 = 53667960 bor 72465233.
+123949865 = 53667960 bxor 72465233.
+-16743242 = -8020042 band -11361097.
+-2637897 = -8020042 bor -11361097.
+14105345 = -8020042 bxor -11361097.
+10489860 = 15340580 band -39470195.
+-34619475 = 15340580 bor -39470195.
+-45109335 = 15340580 bxor -39470195.
+-121634494 = -87817918 band -119351981.
+-85535405 = -87817918 bor -119351981.
+36099089 = -87817918 bxor -119351981.
+8782464 = 113659536 band 29328265.
+134205337 = 113659536 bor 29328265.
+125422873 = 113659536 bxor 29328265.
+-49257586 = -40570994 band -12880977.
+-4194385 = -40570994 bor -12880977.
+45063201 = -40570994 bxor -12880977.
+25281284 = 32097212 band -107753659.
+-100937731 = 32097212 bor -107753659.
+-126219015 = 32097212 bxor -107753659.
+22286986 = 24409754 band -2778165.
+-655397 = 24409754 bor -2778165.
+-22942383 = 24409754 bxor -2778165.
+-64677248 = -43163736 band -22603071.
+-1089559 = -43163736 bor -22603071.
+63587689 = -43163736 bxor -22603071.
+-125820890 = -107781530 band -56612441.
+-38573081 = -107781530 bor -56612441.
+87247809 = -107781530 bxor -56612441.
+557140 = -83046828 band 71934461.
+-11669507 = -83046828 bor 71934461.
+-12226647 = -83046828 bxor 71934461.
+-117229502 = -110936334 band -40126141.
+-33832973 = -110936334 bor -40126141.
+83396529 = -110936334 bxor -40126141.
+-124624704 = -91063360 band -124559111.
+-90997767 = -91063360 bor -124559111.
+33626937 = -91063360 bxor -124559111.
+2228254 = 132274238 band 3581599.
+133627583 = 132274238 bor 3581599.
+131399329 = 132274238 bxor 3581599.
+-134212700 = -66874388 band -115338315.
+-48000003 = -66874388 bor -115338315.
+86212697 = -66874388 bxor -115338315.
+2164746 = -72893878 band 6884795.
+-68173829 = -72893878 bor 6884795.
+-70338575 = -72893878 bxor 6884795.
+8913424 = -125041960 band 126563889.
+-7391495 = -125041960 bor 126563889.
+-16304919 = -125041960 bxor 126563889.
+58720278 = -72404714 band 126929559.
+-4195433 = -72404714 bor 126929559.
+-62915711 = -72404714 bxor 126929559.
+-131595260 = -30772092 band -106167187.
+-5344019 = -30772092 bor -106167187.
+126251241 = -30772092 bxor -106167187.
+346146 = 15026338 band -49448653.
+-34768461 = 15026338 bor -49448653.
+-35114607 = 15026338 bxor -49448653.
+1069152 = -98806544 band 26311273.
+-73564423 = -98806544 bor 26311273.
+-74633575 = -98806544 bxor 26311273.
+68174990 = 74665198 band 77362575.
+83852783 = 74665198 bor 77362575.
+15677793 = 74665198 bxor 77362575.
+-133672956 = -32911332 band -113355739.
+-12594115 = -32911332 bor -113355739.
+121078841 = -32911332 bxor -113355739.
+104876458 = 113986042 band 108321707.
+117431291 = 113986042 bor 108321707.
+12554833 = 113986042 bxor 108321707.
+-98500608 = -68038136 band -31126111.
+-663639 = -68038136 bor -31126111.
+97836969 = -68038136 bxor -31126111.
+-115342458 = -76280890 band -48003193.
+-8941625 = -76280890 bor -48003193.
+106400833 = -76280890 bxor -48003193.
+4326036 = 81135284 band -127671587.
+-50862339 = 81135284 bor -127671587.
+-55188375 = 81135284 bxor -127671587.
+84218882 = 93658706 band 86447395.
+95887219 = 93658706 bor 86447395.
+11668337 = 93658706 bxor 86447395.
+51712 = 103209504 band -104804391.
+-1646599 = 103209504 bor -104804391.
+-1698311 = 103209504 bxor -104804391.
+4374558 = 21155230 band -95690625.
+-78909953 = 21155230 bor -95690625.
+-83284511 = 21155230 bxor -95690625.
+6623236 = 32471116 band 6656149.
+32504029 = 32471116 bor 6656149.
+25880793 = 32471116 bxor 6656149.
+76023178 = 92939690 band -20445797.
+-3529285 = 92939690 bor -20445797.
+-79552463 = 92939690 bxor -20445797.
+-113147632 = -37630664 band -111435503.
+-35918535 = -37630664 bor -111435503.
+77229097 = -37630664 bxor -111435503.
+-132882314 = -79891850 band -132685705.
+-79695241 = -79891850 bor -132685705.
+53187073 = -79891850 bxor -132685705.
+71304260 = 73565412 band -20431539.
+-18170387 = 73565412 bor -20431539.
+-89474647 = 73565412 bxor -20431539.
+68517890 = 75350018 band -40399597.
+-33567469 = 75350018 bor -40399597.
+-102085359 = 75350018 bxor -40399597.
+69206336 = 104139600 band -35102391.
+-169127 = 104139600 bor -35102391.
+-69375463 = 104139600 bxor -35102391.
+246350 = 17553998 band 82044783.
+99352431 = 17553998 bor 82044783.
+99106081 = 17553998 bxor 82044783.
+4491268 = 73895036 band 13420805.
+82824573 = 73895036 bor 13420805.
+78333305 = 73895036 bxor 13420805.
+54593802 = -78688934 band 133270411.
+-12325 = -78688934 bor 133270411.
+-54606127 = -78688934 bxor 133270411.
+47509504 = 48165992 band 131461249.
+132117737 = 48165992 bor 131461249.
+84608233 = 48165992 bxor 131461249.
+2114854 = -98245338 band 15422823.
+-84937369 = -98245338 bor 15422823.
+-87052223 = -98245338 bxor 15422823.
+-52428012 = -52236524 band -17820739.
+-17629251 = -52236524 bor -17820739.
+34798761 = -52236524 bxor -17820739.
+55058690 = 57290162 band 130932995.
+133164467 = 57290162 bor 130932995.
+78105777 = 57290162 bxor 130932995.
+-125228928 = -125179776 band -91279687.
+-91230535 = -125179776 bor -91279687.
+33998393 = -125179776 bxor -91279687.
+-113180066 = -79072514 band -37516705.
+-3409153 = -79072514 bor -37516705.
+109770913 = -79072514 bxor -37516705.
+6294564 = 82119852 band -127206027.
+-51380739 = 82119852 bor -127206027.
+-57675303 = 82119852 bxor -127206027.
+4210954 = -62537462 band 37776763.
+-28971653 = -62537462 bor 37776763.
+-33182607 = -62537462 bxor 37776763.
+-18332784 = -18069608 band -328719.
+-65543 = -18069608 bor -328719.
+18267241 = -18069608 bxor -328719.
+67527254 = 67560406 band -35756457.
+-35723305 = 67560406 bor -35756457.
+-103250559 = 67560406 bxor -35756457.
+-131972092 = -114670268 band -21862867.
+-4561043 = -114670268 bor -21862867.
+127411049 = -114670268 bxor -21862867.
+14745698 = 15034210 band -17231629.
+-16943117 = 15034210 bor -17231629.
+-31688815 = 15034210 bxor -17231629.
+36188192 = 36204976 band -67356631.
+-67339847 = 36204976 bor -67356631.
+-103528039 = 36204976 bxor -67356631.
+67141902 = -63531090 band 67750223.
+-62922769 = -63531090 bor 67750223.
+-130064671 = -63531090 bxor 67750223.
+9578692 = 94042332 band 16199141.
+100662781 = 94042332 bor 16199141.
+91084089 = 94042332 bxor 16199141.
+-46104534 = -44531526 band -3953813.
+-2380805 = -44531526 bor -3953813.
+43723729 = -44531526 bxor -3953813.
+71352896 = 72140488 band -933023.
+-145431 = 72140488 bor -933023.
+-71498327 = 72140488 bxor -933023.
+7176710 = 25030278 band 49255239.
+67108807 = 25030278 bor 49255239.
+59932097 = 25030278 bxor 49255239.
+109184020 = -20215948 band 128332957.
+-1067011 = -20215948 bor 128332957.
+-110251031 = -20215948 bxor 128332957.
+527362 = 70937874 band -133686045.
+-63275533 = 70937874 bor -133686045.
+-63802895 = 70937874 bxor -133686045.
+-32365440 = -19683616 band -29983335.
+-17301511 = -19683616 bor -29983335.
+15063929 = -19683616 bxor -29983335.
+75759646 = 80627806 band -57301953.
+-52433793 = 80627806 bor -57301953.
+-128193439 = 80627806 bxor -57301953.
+-77049852 = -75738868 band -1549739.
+-238755 = -75738868 bor -1549739.
+76811097 = -75738868 bxor -1549739.
+67241034 = 70421610 band 71976283.
+75156859 = 70421610 bor 71976283.
+7915825 = 70421610 bxor 71976283.
+69288144 = 69431800 band -39762223.
+-39618567 = 69431800 bor -39762223.
+-108906711 = 69431800 bxor -39762223.
+29688886 = 132449590 band 31317047.
+134077751 = 132449590 bor 31317047.
+104388865 = 132449590 bxor 31317047.
+100676868 = -31869532 band 119701261.
+-12845139 = -31869532 bor 119701261.
+-113522007 = -31869532 bxor 119701261.
+18875586 = -42713406 band 27919571.
+-33669421 = -42713406 bor 27919571.
+-52545007 = -42713406 bxor 27919571.
+17074176 = 17729552 band -50004215.
+-49348839 = 17729552 bor -50004215.
+-66423015 = 17729552 bxor -50004215.
+33685774 = -87325426 band 33954607.
+-87056593 = -87325426 bor 33954607.
+-120742367 = -87325426 bxor 33954607.
+104071172 = -29616836 band 108364485.
+-25323523 = -29616836 bor 108364485.
+-129394695 = -29616836 bxor 108364485.
+86122506 = 121562138 band 90389323.
+125828955 = 121562138 bor 90389323.
+39706449 = 121562138 bxor 90389323.
+101711872 = -28096216 band 112232001.
+-17576087 = -28096216 bor 112232001.
+-119287959 = -28096216 bxor 112232001.
+-134217434 = -111728666 band -98025177.
+-75536409 = -111728666 bor -98025177.
+58681025 = -111728666 bxor -98025177.
+36062548 = 36163540 band -29473411.
+-29372419 = 36163540 bor -29473411.
+-65434967 = 36163540 bxor -29473411.
+72206402 = 90037362 band 72206531.
+90037491 = 90037362 bor 72206531.
+17831089 = 90037362 bxor 72206531.
+34346048 = 35394880 band 65977465.
+67026297 = 35394880 bor 65977465.
+32680249 = 35394880 bxor 65977465.
+11013150 = -123122242 band 79310367.
+-54825025 = -123122242 bor 79310367.
+-65838175 = -123122242 bxor 79310367.
+328996 = -129153684 band 26584885.
+-102897795 = -129153684 bor 26584885.
+-103226791 = -129153684 bxor 26584885.
+-133659382 = -39286838 band -94532293.
+-159749 = -39286838 bor -94532293.
+133499633 = -39286838 bxor -94532293.
+393232 = 25119832 band 8815025.
+33541625 = 25119832 bor 8815025.
+33148393 = 25119832 bxor 8815025.
+868886 = 78599830 band -116538857.
+-38807913 = 78599830 bor -116538857.
+-39676799 = 78599830 bxor -116538857.
+12617220 = 13161988 band 30443501.
+30988269 = 13161988 bor 30443501.
+18371049 = 13161988 bxor 30443501.
+147490 = -41794014 band 35809459.
+-6132045 = -41794014 bor 35809459.
+-6279535 = -41794014 bxor 35809459.
+3802208 = 33508976 band -29706775.
+-7 = 33508976 bor -29706775.
+-3802215 = 33508976 bxor -29706775.
+-125796338 = -39673234 band -86975217.
+-852113 = -39673234 bor -86975217.
+124944225 = -39673234 bxor -86975217.
+14860676 = 115532188 band -100677723.
+-6211 = 115532188 bor -100677723.
+-14866887 = 115532188 bxor -100677723.
+-62377174 = -10848390 band -62375125.
+-10846341 = -10848390 bor -62375125.
+51530833 = -10848390 bxor -62375125.
+-133547776 = -83199096 band -129353439.
+-79004759 = -83199096 bor -129353439.
+54543017 = -83199096 bxor -129353439.
+25694470 = 92836166 band -108175609.
+-41033913 = 92836166 bor -108175609.
+-66728383 = 92836166 bxor -108175609.
+-100646892 = -91240396 band -93305251.
+-83898755 = -91240396 bor -93305251.
+16748137 = -91240396 bxor -93305251.
+286850 = 2915282 band 118940835.
+121569267 = 2915282 bor 118940835.
+121282417 = 2915282 bxor 118940835.
+107684608 = 125514656 band 116386649.
+134216697 = 125514656 bor 116386649.
+26532089 = 125514656 bxor 116386649.
+2097950 = -38632674 band 2697215.
+-38033409 = -38632674 bor 2697215.
+-40131359 = -38632674 bxor 2697215.
+2809860 = -101717556 band 69919765.
+-34607651 = -101717556 bor 69919765.
+-37417511 = -101717556 bxor 69919765.
+82968842 = 83866410 band 99763483.
+100661051 = 83866410 bor 99763483.
+17692209 = 83866410 bxor 99763483.
+33719440 = 119002808 band 48409745.
+133693113 = 119002808 bor 48409745.
+99973673 = 119002808 bxor 48409745.
+69474294 = 71161846 band 73799671.
+75487223 = 71161846 bor 73799671.
+6012929 = 71161846 bxor 73799671.
+4489284 = -87054748 band 74744013.
+-16800019 = -87054748 bor 74744013.
+-21289303 = -87054748 bxor 74744013.
+4340866 = 6782338 band -119915373.
+-117473901 = 6782338 bor -119915373.
+-121814767 = 6782338 bxor -119915373.
+1066176 = 1230032 band -120234807.
+-120070951 = 1230032 bor -120234807.
+-121137127 = 1230032 bxor -120234807.
+134862 = 26472398 band 107089647.
+133427183 = 26472398 bor 107089647.
+133292321 = 26472398 bxor 107089647.
+351364 = 69688828 band 5110917.
+74448381 = 69688828 bor 5110917.
+74097017 = 69688828 bxor 5110917.
+141834 = -134006054 band 65710859.
+-68437029 = -134006054 bor 65710859.
+-68578863 = -134006054 bxor 65710859.
+8543232 = 9068008 band -50930687.
+-50405911 = 9068008 bor -50930687.
+-58949143 = 9068008 bxor -50930687.
+141478 = 99232422 band 1502439.
+100593383 = 99232422 bor 1502439.
+100451905 = 99232422 bxor 1502439.
+126890004 = 127627412 band -772291.
+-34883 = 127627412 bor -772291.
+-126924887 = 127627412 bxor -772291.
+14303234 = -100775118 band 115044483.
+-33869 = -100775118 bor 115044483.
+-14337103 = -100775118 bxor 115044483.
+512 = 590336 band -26080711.
+-25490887 = 590336 bor -26080711.
+-25491399 = 590336 bxor -26080711.
+79724638 = 113371262 band 81433055.
+115079679 = 113371262 bor 81433055.
+35355041 = 113371262 bxor 81433055.
+-94367708 = -84132308 band -94367499.
+-84132099 = -84132308 bor -94367499.
+10235609 = -84132308 bxor -94367499.
+8391818 = 42995338 band 75525371.
+110128891 = 42995338 bor 75525371.
+101737073 = 42995338 bxor 75525371.
+327952 = 17109272 band -85080207.
+-68298887 = 17109272 bor -85080207.
+-68626839 = 17109272 bxor -85080207.
+4753750 = -60257962 band 14605783.
+-50405929 = -60257962 bor 14605783.
+-55159679 = -60257962 bxor 14605783.
+12984452 = 29763268 band 13003181.
+29781997 = 29763268 bor 13003181.
+16797545 = 29763268 bxor 13003181.
+4816994 = 24896738 band -95846285.
+-75766541 = 24896738 bor -95846285.
+-80583535 = 24896738 bxor -95846285.
+33612576 = 39906096 band 34403241.
+40696761 = 39906096 bor 34403241.
+7084185 = 39906096 bxor 34403241.
+-130998258 = -8950482 band -122572593.
+-524817 = -8950482 bor -122572593.
+130473441 = -8950482 bxor -122572593.
+33554500 = 111250012 band -99081883.
+-21386371 = 111250012 bor -99081883.
+-54940871 = 111250012 bxor -99081883.
+125831722 = -7262662 band 130190059.
+-2904325 = -7262662 bor 130190059.
+-128736047 = -7262662 bxor 130190059.
+15360064 = 15396936 band -118591775.
+-118554903 = 15396936 bor -118591775.
+-133914967 = 15396936 bxor -118591775.
+1105926 = 106165254 band -121836857.
+-16777529 = 106165254 bor -121836857.
+-17883455 = 106165254 bxor -121836857.
+75630612 = 81971444 band -25028579.
+-18687747 = 81971444 bor -25028579.
+-94318359 = 81971444 bxor -25028579.
+67323906 = 69946002 band 101936227.
+104558323 = 69946002 bor 101936227.
+37234417 = 69946002 bxor 101936227.
+-124977152 = -119701408 band -38987495.
+-33711751 = -119701408 bor -38987495.
+91265401 = -119701408 bxor -38987495.
+8808862 = 45055454 band 80112575.
+116359167 = 45055454 bor 80112575.
+107550305 = 45055454 bxor 80112575.
+34078852 = 34226828 band 49098197.
+49246173 = 34226828 bor 49098197.
+15167321 = 34226828 bxor 49098197.
+-92274486 = -89024022 band -8387365.
+-5136901 = -89024022 bor -8387365.
+87137585 = -89024022 bxor -8387365.
+39768656 = 123665272 band -85994927.
+-2098311 = 123665272 bor -85994927.
+-41866967 = 123665272 bxor -85994927.
+117441206 = -16291146 band 124785591.
+-8946761 = -16291146 bor 124785591.
+-126387967 = -16291146 bxor 124785591.
+71582212 = 121919268 band 75383437.
+125720493 = 121919268 bor 75383437.
+54138281 = 121919268 bxor 75383437.
+13378 = -132678590 band 115881043.
+-16810925 = -132678590 bor 115881043.
+-16824303 = -132678590 bxor 115881043.
+-134135680 = -66993776 band -82216311.
+-15074407 = -66993776 bor -82216311.
+119061273 = -66993776 bxor -82216311.
+2425486 = -64677234 band 28820143.
+-38282577 = -64677234 bor 28820143.
+-40708063 = -64677234 bxor 28820143.
+9732 = -85367108 band 68564549.
+-16812291 = -85367108 bor 68564549.
+-16822023 = -85367108 bxor 68564549.
+4477066 = 6050202 band -12068149.
+-10495013 = 6050202 bor -12068149.
+-14972079 = 6050202 bxor -12068149.
+-130011008 = -96193880 band -60231231.
+-26414103 = -96193880 bor -60231231.
+103596905 = -96193880 bxor -60231231.