ec-field-test.c: Make the field-element type use internal format.

[secnet] / fgoldi-tests.in

### Test cases for arithmetic mod 2^448 - 2^224 - 1.            -*-conf-*-
### Extracted from Catacomb.

###--------------------------------------------------------------------------
test add

## Some easy ones.
x ffffffffffffff01000030000000ffffff2f00000002000030000000ffffff5f000000fbfffffffffffffcffff4f000000ffffffefffffff
y 00
z ffffffffffffff01000030000000ffffff2f00000002000030000000ffffff5f000000fbfffffffffffffcffff4f000000ffffffefffffff

x fefffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffff
y 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
z fefffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffff

x fefffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffff
y 01
z 00

## Random tests.
x 6b3944398448a0a5f6c4e1be9abfcbb082b8f68f1c831d51ef2244f6e1a4c4baaf0ada769c1261b8e14b4856de381d69961078ea1949d39c
y 62e933c5f93e57e042d66b89d3c72ee85441b1207732d888b3d6bc35f3bcef91a6f4564cb085fd3239191c2fe427dcdb0e81164d30ca8145
z cd2278fe7d87f785399b4d486e87fa98d7f9a7b093b5f5d9a2f9002cd561b44c56ff30c34c985eeb1a656485c260f944a5918e374a1355e2

x 34938a406030a285024e9ff0a45987b53accc9d5d59828de8b8e07ba693b64d1dd2c7a190e708253a9ae57572e44fa458c8f8ac87cd96037
y 9d05863131328886c7203fe70924761e56244d40a04d4b5592f1c6a457b9d94fe950fb8a865f9091ba9223479f3e46680fb78ccddc776bf2
z d298107291622a0cca6eded7ae7dfdd390f0161676e673331e80ce5ec2f43d21c77d75a494cf12e563417b9ecd8240ae9b4617965951cc29

x 4e9cb6823482233daf59662d00212f2afe42183f8ce949b2e0ca5473e32ab647fe9bc1c472b2288715c0d5b118043fbc9aec782654363cdd
y 6c62329ec8eb576b6866cb6af702b891dd2cd72d21c354ada34221141381acca066fb46a8fbce28df44f0ac8062e38847067b8639be867f8
z bbfee820fd6d7ba817c03198f723e7bbdb6fef6cadac9e5f840d7687f7ab6212050b762f026f0b150a10e0791f3277400b54318aef1ea4d5

x b46d33f24a69c2288bed34eb054d1fcd6244606cffca7d53ff4e68f113174655a9a72898ad2699fe49d069a0a84e077bf48205008dee04aa
y 9abc68911a75a6a376837cc6fc0e18c63cfb81747a59ba1314412f032f8b2a2fc5dde29176d141e71dbc11aeb2ecb9a336c8467882a175ea
z 4f2a9c8365de68cc0171b1b1025c37939f3fe2e079243867139097f443a270846e850b2a24f8dae5678c7b4e5b3bc11e2b4b4c780f907a94

x 1195eae69f2bad43b7b8330395e41c811bae2f753f0a6727b9decd2e553dce743dbb568b45140c3a464c8646db12b3af18df328a95640706
y 8fc020ba693b4014fbf4e9c64223a8c3234e1361b8e2a745e3897f582537e20417831c159c107451fec49b88c4cde774330d8986430b39e0
z a0550ba10967ed57b2ad1dcad707c5443ffc42d6f7ec0e6d9c684d877a74b079543e73a0e124808b441122cf9fe09a244cecbb10d96f40e6

x 4b25a323cba12b5d042369a065a3696c7613898205f7defd3ab15ec351ec9fe1ba453c8b9abf254ff793c92b1f77d5f23f7629c04ec5c70d
y b12ee8f930b029e2e4b79b808566b88b8087a510e5f80751ffc8f5426709bc2b40608e3e769dbd97d37dfe8a36fd25fbc1efb2cd9eda09f2
z fc538b1dfc51553fe9da0421eb0922f8f69a2e93eaefe64e3a7a5406b9f55b0dfba5cac9105de3e6ca11c8b65574fbed0166dc8ded9fd1ff

x c441e6cebc634bd7de7de356e855528d52f4affae7cdd585352d94218ca171929b17b8f49ea294f5151a277c116519de5ff92ce4e2f6ce0a
y 809617d4e40d53223f01887bfab5a7d2dc1eb4f680ae59981b33e11fe71345b3155f567cc867cd9e48c8b534870c7df49dff883c0900d8cd
z 44d8fda2a1719ef91d7f6bd2e20bfa5f2f1364f1687c2f1e5160754173b5b645b1760e71670a62945ee2dcb0987196d2fdf8b520ecf6a6d8

x a92361d9c458605877a6d9229128b1a52f7bab378d0d389568aae10d09d419b0e6436684b438abcaa3e1710efee5ecec1af06cf0c82b339d
y 74bc6cd43025234b1a6e15fe2d4fab520c874af6f896b82ecb096b0ec3cf73ecf04ef1d13ca612ef0981b8aca0a769ae60202eca36410b0e
z 1de0cdadf57d83a39114ef20bf775cf83b02f62d86a4f0c333b44c1ccca38d9cd7925756f1debdb9ad622abb9e8d569b7b109bbaff6c3eab

x f0ed25db758767b83b1d5ab6f8bdbe8e263b18341ea296b2a5d27c0d928004d6c48695ac88af863ed12be6629d8a1b58ca83ddb4ff9c778b
y 44998d5a87e29ace239af04334451efca0d8bb88b441140caab3e79da9c73f1354df0c4e2a8148141bb44c33eb63f1c0025ec2b289390e06
z 3487b335fd6902875fb74afa2c03dd8ac713d4bcd2e3aabe4f8664ab3b4844e91866a2fab230cf52ecdf329688ee0c19cde19f6789d68591

x 64429139cb6dd44a64984ac73cdf306354a32772da0724c647164d89218906de465c0c47f2841564fc69933d140088a02584bbeb7a138e7a
y 391d7bf04dd8082b6b196651c251737ba319720b66075f2e65a06023e1dc9697ee4c540b6fae20bdc333c9a95e69266b5ebeccf0b2aea18d
z 9e5f0c2a1946dd75cfb1b018ff30a4def7bc997d400f83f4acb6adac03669d7535a9605261333621c09d5ce77269ae0b844288dc2dc22f08

x 0bb7ca441d108e3d7a4c43025798eb1f1036e2d2200e2457aa93a631c068bf9e99805e8c69344d6f5fc063865f2e94bb954c20645f8b7003
y 3f47bc6701604867acc3cf534d62c9847617954d860c34ac2bcacbfb1c24c99a7442a6170ea6539df0c98afaf6fc8f45dcaa77afebcc8290
z 4afe86ac1e70d6a426101356a4fab4a4864d7720a71a5803d65d722ddd8c88390ec304a477daa00c508aee80562b240172f797134b58f393

x 93205ac6e814337d0d12f8e55f0b62a32ba948cbc6df03293d51e67a7aa7e1457d201991f3392f1cc4a4a9b6b2ed27407ac4e24a5b0e2664
y c2d648607a99e6dccb9f9940ffed57de39928d9c3fcbabd79876ecf1a5476ff5a637d0052f04d82a2794bf0e31268fd6ff640b4aa1ac921f
z 55f7a22663ae195ad9b191265ff9b981653bd66706abaf00d6c7d26c20ef503b2458e996223e0747eb3869c5e313b7167a29ee94fcbab883

x 42bb562d81bac7f606d2157697f29f1799b3e5172f003f44785b80006fb56681b832ff6e7875d6a146b09a9a95f9f3cfb210f5b9aa545e0c
y e7cc109d2ea008a1c938c66e296911c0d7503b1a961f23edce9532c718e53518729dcc6f7e921f831c56d1d8ee7c5b4919f4030ce6703e68
z 298867caaf5ad097d00adce4c05bb1d770042132c51f623147f1b2c7879a9c992ad0cbdef607f62463066c7384764f19cc04f9c590c59c74

x 4cfc133cf2b3e22f569340c3a59299087f9caf8b36562d418f2e18494769278c16a22641e4de8f675e9540d6fc0f8c210a64dd63c8d01453
y f33b0a3beaad1fb12ba48d69ef999bb7a5af3bd2b977aaf518bc65a13caaa9d61cacbb7c5ce6173a282d341cf83c86a458c8d2d10a1c1ac2
z 40381e77dc6102e18137ce2c952c35c0244ceb5df0cdd736a8ea7dea8413d162334ee2bd40c5a7a186c274f2f44c12c6622cb035d3ec2e15

x fc64ef657d34477c17b0674b697cc5a4bc8e665ba1dee02e5afd0d2f57e0a64abb2bc428215d9e8ece95c5283e4233d483201c286e4997cb
y ed4af51625762548e95f32e7042f07bb260f734fb9ba43301daddff9a863990d79791d5db1bbbdbad75c09ce313d93638c219c989702c5ed
z eaafe47ca2aa6cc400109a326eabcc5fe39dd9aa5a99245f77aaed280144405834a5e185d2185c49a6f2cef66f7fc6371042b8c0054c5cb9

x 2fa4cdcae0b01f3f3aa28d4ff311054c73683c09749eb312cd4ff7cf018fa647a66b44477459cab757b9149623ecf9064dba16d5601eafb7
y b378045a6652eea3cc9a8530dea6361daa86866f038e579670f2d50e072417342f1887827335a0a041d1411b24a68d8f190edd8a251ac3c7
z e31cd22447030ee3063d1380d1b83b691defc278772c0ba93d42cdde09b3bd7bd583cbc9e78e6a58998a56b14792879666c8f35f8638727f

x 5107c636bcd6bc59ec9c7fcf04efbf90fdde936bff7e221be660d542f74fcccb8b49220b93744203bdb7b026f1bb9fd9a64c0187fd3d99a7
y ee48bc6d5c231bd7be253ed69171d2525157d0d8fe12fdafa6e7a3285f0d966fd4c570928f61850138489fca5cb540444c24b602d9025899
z 405082a418fad730abc2bda5966092e34e366444fe911fcb8c48796b575d623b600f939d22d6c704f5ff4ff14d71e01df370b789d640f140

x 475e593758fa8506baa94e1b6070aeaff278d905af67f9e5a5273ae0737825d220c02ae7a89f39998f98895c83e51e7bd0cc0c9126273792
y 3f724d7bbb27bf8b2f4e328bd865e412ed6207802703def28b9b64567b15f7648c1f96ca5092400e32427f9880c95fa0a83f7fbdd6b2d2b7
z 87d0a6b213224592e9f780a638d692c2dfdbe085d66ad7d831c39e36f08d1c37addfc0b1f9317aa7c1da08f503af7e1b790c8c4efdd9094a

x fb7923d1a8666b372b41792749ae312903e1b1a8198970a5da6d85dc19a4326bcde206ee841a2bf106c95e99b42fa7eb3fa559b4b88d31c2
y 45e467dafaee144bbd614028c0ea4d3a37b4ef99ded5c9e44b7526916218202401233364bffadac9424143bac99b4c2d89ceea71c3fd0ea4
z 415e8baba3558082e8a2b94f09997f633a95a142f85e3a8a26e3ab6d7dbc528fce053a52441506bb490aa2537ecbf318c97344267c8b4066

x 2212850af1b191227fc4875e981ee15968832cb6898243af481b62d91ae5cb26fdcd72e45a54cbbbd9efc5e1739f8683d8ab318586b51e7c
y 6b7b3294bfd31a11644924c988b0b19cfc1db66d8e674040ee21537b54aed4e1e217f0b3427d7d4d9dc7d9dcbcda8c2c47c5348b9eaa7ddb
z 8e8db79eb085ac33e30dac2721cf92f664a1e22318ea83ef363db5547093a008e0e562989dd1480977b79fbe307a13b01f71661025609c57

###--------------------------------------------------------------------------
test sub

x 890e734c6f4af5b1c62cf6fdd0facf76af535bdc9781396c59a6cd8c37cc96aac97fa61bef07c60c69dfb633049014868473d28481385ba1
y 0a06a622804bfe9041259a435be8c40aa56d1be10dd3c4261157c16c0d0d99d11b0f5dce0b164a2e6d4c53813242954830a39f2c894fb315
z 7f08cd29effef62085075cba75120b6c0ae63ffb89ae7445484f0c202abffdd8ad70494de3f17bdefb9263b2d14d7f3d54d03258f8e8a78b

x 17935b9768cf9ecdc3b3a4c3c87ee20f766bca820f620c1852a48d680f445f1a28ee6a9a18fbdcdb9f35846bc6f0bbb1687b227bcadd4c3a
y 9f913b62023a48e577ac9aaa6d06bb5cf46ea3acc2946a80f66fba02859837491a31b6740a5ed1178c8b6faf4198ac836419deb8aa439c0d
z 78012035669556e84b070a195b7827b381fc26d64ccda1975b34d3658aab27d10dbdb4250e9d0bc413aa14bc84580f2e046244c21f9ab02c

x b1689e72355c7305d5cab07e2d672e7b92872c115f03f9b45fe7c9d3354ea0d3702f4f915900085ec44e816dcd731086c999c0e97ce52b40
y a85e9b5cbe9f628049f91b9adcc1db63f19e8f7c37b92e43015d0f76f188c1cfe89c86910afb82c2c6f1f7197562b919380a1b32b2439006
z 090a031677bc10858bd194e450a55217a1e89c94274aca715e8aba5d44c5de038892c8ff4e05859bfd5c89535811576c918fa5b7caa19b39

x 8f952f2233cdba45ccaafcb8e6d17b38529a44ff49e8ac8dc6378710d5e5af052c460e2758e3ee28f5866e71737c9b6e7731c03d11d21cd6
y 5bc41fd436b58032dd4f50cd0c57bda1127a3033c2183d8133cb9c40760ea41bb42f48f36b6a2f3bcd0dbc60b5bef5e4b712308ca0f2b443
z 34d10f4efc173a13ef5aacebd97abe963f2014cc87cf6f0c936ceacf5ed70bea7716c633ec78bfed2779b210bebda589bf1e90b170df6792

x 708939d3a13fe996dd90b1128231b7da3593c12d9ab880a4da9febe7f12bfefe72aab1608145911fdfa1e3f1f59b426a06dee253d4d3eeb6
y 008929e61e53becf9bc6dcbf6414f3a71e9f134fcab293cd42e096fef3d87a472a79ed1ce623708aee31e12f5bef9bc6d0aa470ce2a52f80
z 700010ed82ec2ac741cad4521d1dc43217f4addecf05edd697bf54e9fd5283b74831c4439b212195f06f02c29aaca6a335339b47f22dbf36

x a7996b0ae1d8ad5856ae5cf3abc8fc61c4b3579d951b632b9af67dce957365759fb5a6f54965a86b1dcccc9439eebdeb04f616c3fb4db382
y 2df8e6cf52e985d0e20f4f5e9bbaf1b8bd7d7b982da05568b7ea82fd2a5c0302d0ce9feec5e135eca886fd30827905eae204a51e498a173d
z 7aa1843a8eef2788739e0d95100e0ba90636dc04687b0dc3e20bfbd06a176273cfe606078483727f7445cf63b774b80122f171a4b2c39b45

x 74179531aaf2ee4e7a309350982fc9ce501ad18c650f0adacce5da9b520ce27c04ca69dca0e719713d4d10db532401bee26b7ff9819bf532
y 6a3554898f2951ed005bc4ac74dfd0ef124cffbb52301109d8414719473dc17a602a3b530195c383efa22dd6da87414395886e4b9dd5b5f3
z 09e240a81ac99d6179d5cea32350f8de3dced1d012dff8d0f4a393820acf2002a49f2e899f5256ed4daae204799cbf7a4de310aee4c53f3f

x e7c145e38ca66fd86991538ab11231abb60af8b0ab7460e047f7b5b69bbe4a3a56c28c14131c35621f4014d541ffabd642c774bc1a5c66c7
y 9ca047c2251cc6012bd734198e4b2c6ca0d50a85db601659b8380510fc6c1d08a27fa5fb8eb3c9e5622185f83fba6ed128d153cc9563e1d6
z 4a21fe20678aa9d63eba1e7123c7043f1635ed2bd0134a878fbeb0a69e512d32b442e71884686b7cbc1e8fdc01453d051af620f084f884f0

x 8f01ab3bbedf7ac443423793a422910a54dd73f121ce6f52270d7953386bf2b0eb228b2560b7103aa94f3190e80038505f2b21a9f138c414
y 44a6b845b4b3b6d9c55478664fa2134df50e7ff4c5184aa57bcc8d01da42cdbb78da3898fd92287b604b6a369c06d695241c48605b57808f
z 4a5bf2f5092cc4ea7dedbe2c55807dbd5ecef4fc5bb525adab40eb515d2825f57248528d6224e8be4804c7594cfa61ba3a0fd94896e14385

x 1b6f84c1ad9ec3d008f345a19305aa35e5b55efeb535024b0fc9aee4be1c031bb070655fc5e672ea75b5db98cff0dcfb5427e21e5ffc4fa9
y ad5d4e308c69186e87ac97551e9ec34f2d1746d5f6712b126c3415346ac2271450aca96fc6b9e82ef7e2f3fad60df4f184e34dff8fb53b02
z 6e1136912135ab628146ae4b7567e6e5b79e1829bfc3d638a39499b0545adb0660c4bbeffe2c8abb7ed2e79df8e2e809d043941fcf4614a7

x 25ce194230be078d7f35b85d68706d768fec7994654fcd3f63f3d32eaf59f17bc87a617d41f76b7d0c78b63377a203e43194f0b056d26b0b
y 76266bea72a15cdc355867a490e775c909b7b6cfc833107e7c6b7dbaed2c8491c6d000b2d7d2beb72d72937285aa1bceff18aa35d0c52158
z aea7ae57bd1cabb049dd50b9d788f7ac8535c3c49c1bbdc1e6875674c02c6dea01aa60cb6924adc5de0523c1f1f7e715327b467b860c4ab3

x c010bfa3d130f868f2b975318139c2a847c69014b76164192b437fd7e26b892a5a2425670fe3e8fd9efdfa250f57579d1af2d24f8eb6ce92
y bfe65616e278b6ce46b295600131bf5ea092451a87f6bc3adf1c86f2fe717351b073062ced1394a14051bb33f3874cca569aae8ba97605f9
z 002a688defb7419aab07e0d07f08034aa7334bfa2f6ba7de4b26f9e4e2f915d9a9b01e3b22cf545c5eac3ff21bcf0ad3c35724c4e43fc999

x b2f21992b1f2155b7afc3a1d731b52c03cf14208e634b7da123888d652afcd919e9f5f0bea8b9986c71a7ba08fefe58ee0402d9a23b95f2c
y ae241fa6292c63f3c09301255a866825b39c9645512ea123486f9a873cacab567cd169c463fb1cf0417633a7055d831d23fd1d58dd42e726
z 04cefaeb87c6b267b96839f81895e99a8954acc2940616b7cac8ed4e1603223b22cef54686907c9685a447f989926271bd430f4246767805

x b714b60b2614ab6ce63bf8eae621357f2e921f79de94982fcd5f524015db3faa52b15ff042733958fa202786f61bfed0b9fb5d5873619aec
y 0c99e1da4c747ad1a625321cf9359b1d823544d1eacfddc38e4bfd729ed2f9fb37760242340f7986843fb8fa0435bcb5cffdf11453caebcf
z ab7bd430d99f309b3f16c6ceedeb9961ac5cdba7f3c4ba6b3e1455cd760846ae1a3b5dae0e64c0d175e16e8bf1e6411beafd6b432097ae1c

x c5425daf8f7089def2ff910e256d9496fc109d2698cf15dec1ce3f8116231969c5ed327626362b0658c60e74023a3cae5ef128fb5d27cad7
y bc4e49fbf095f73894c4d623a210475cb7ba78ebbcbee8ab55a851162f789fb21e72de95afe4ddd45b90289f94f6d02b5f5a4b90c603ea31
z 09f413b49eda91a55e3bbbea825c4d3a4556243bdb102d326c26ee6ae7aa79b6a67b54e076514d31fc35e6d46d436b82ff96dd6a9723e0a5

x 9aa20b4259efd3a701a63347181fa63f56f42a97ef836bf3aab88d30bbf28a91bbf713a0170024e6057e2281ac113f9b58cb13d63e850ea7
y 09e7104367d8c0441d811ecc619af04def9236752c2d47bc508b0de3c3b29c74533d8eb9fee13279aed8d58247e4010206c697d9b72bab43
z 91bbfafef1161363e424157bb684b5f16661f421c35624375a2d804df73fee1c68ba85e6181ef16c57a54cfe642d3d9952057cfc86596363

x e8ead9316aeb8f56d43418cd3bb1a71234c9e20b4a6dc1604ffdfdbcaacebe73b71d18c2c167544304d895d67e2daa2538a4ad0708cd9acf
y ff3603f0960bb7a92f2b7fbfe242b467164e0ca72e89bcab6c467b5391166d05c601b38de40643f04d5b50ff8ec62b18c69e9df74f01babe
z e9b3d641d3dfd8aca409990d596ef3aa1d7bd6641be404b5e2b6826919b8516ef11b6534dd601153b67c45d7ef667e0d72051010b8cbe010

x f37b41d9950036d560f02b8befd6f5c73096b8995850b9fc563291fba59fd994916744fbd4c1dd5d17a9e5ecd4ec4a658dfdae1ba7024bc6
y eeda58ba400f16a946381fb11f0ac0db895957236bcc629ce9d1ea425eef8412ea73af488b97f1afa950736f26c3cace887417b699cc3410
z 05a1e81e55f11f2c1ab80cdacfcc35eca63c6176ed8356606d60a6b847b05482a7f394b2492aecad6d58727dae298096048997650d3616b6

x 2bdb71a053047c4173718ce104e5b8671fbd61c59bfe8b20b890ceda15a69d24eec3775f4ce8a9c16d36e50626bc334e0fc1be492d800c06
y b1ccd0dac33ac46b2709f9626ed70136f98dfbc705ad93ea8f1b325d644daf2c0180cb83bfdbb7398d3f58c0f6600056a174850b9db91ed4
z 790ea1c58fc9b7d54b68937e960db731262f66fd9551f83528759c7db058eef7ec43acdb8c0cf287e0f68c462f5b33f86d4c393e90c6ed31

x 8f3fd6346c7f2dacf0d7cdb88a5bca3b222a895a07b169d0bcd0af0a9aa634876ae1a939262dd75bd12b5a97127155a015e00acac7d5cbc8
y 0e9c03c5a06accdddd0d8613e41a00f2b586e297e366987e02e7536e0ca1b4c2c75fed619655acddffe8585c7a828432d90575731a4c8519
z 81a3d26fcb1461ce12ca47a5a640ca496ca3a6c2234ad151bae95b9c8d0580c4a281bcd78fd72a7ed142013b98eed06d3cda9556ad8946af

###--------------------------------------------------------------------------
test neg

x d9896c114cda5ec75cc8c83b3c40dc902488ba8120386566d5d0e2565cd95239af0b13e7c5cbb10a4945287a2c08377e77e757b17fcb92ab
z 267693eeb325a138a33737c4c3bf236fdb77457edfc79a992a2f1da9a226adc650f4ec183a344ef5b6bad785d3f7c8818818a84e80346d54

x 949b01988f46422a30731b9f068a8f0c306d1c473e21f2e6d863d8113bfa2a14f509b62075523b79b8235700da7232229f28432bc68fda06
z 6b64fe6770b9bdd5cf8ce460f97570f3cf92e3b8c1de0d19279c27eec305d5eb0af649df8aadc48647dca8ff258dcddd60d7bcd4397025f9

x 8bc90df2665b8fa08bd56786c48bac6d979bfbeb4075e8e6977384e76a67d29e361f44cf37d0731a8e7f4372ebcc7e1dcb6c6c3d11ff8dfb
z 7436f20d99a4705f742a98793b74539268640414bf8a1719688c7b1894982d61c9e0bb30c82f8ce57180bc8d143381e2349393c2ee007204

x 9024073bf10dbc8920b3bc44885bf0824cb802059db0516eba89bb1999318809772e5ab763f1f247642e91af8abb26b89c7afb2bc8396201
z 6fdbf8c40ef24376df4c43bb77a40f7db347fdfa624fae91457644e665ce77f688d1a5489c0e0db89bd16e507544d947638504d437c69dfe

x b8c5af6a467e916b164b32c92d3d39992bab6a1d0224cc524e33fb18375e6e2d1b11ddaf6bbfb65232fd4746e7a8bc3414c281e45149de1c
z 473a5095b9816e94e9b4cd36d2c2c666d45495e2fddb33adb1cc04e7c7a191d2e4ee2250944049adcd02b8b9185743cbeb3d7e1baeb621e3

x c6410909ea127f2e65866bba1a06597092f91acf99183d2e93cde9c0d4a0cd93fc257c4e26f5353bfda8475bede2e97b4b2d2015c2d4d4ba
z 39bef6f615ed80d19a799445e5f9a68f6d06e53066e7c2d16c32163f2a5f326c03da83b1d90acac40257b8a4121d1684b4d2dfea3d2b2b45

x 7701cc2280295f4672194b1ed8ab9a15c0326921d3bcf7021df3bf04c95300d5142e0871eaa8af63aa392df32a7a58062f297b49409fdff5
z 88fe33dd7fd6a0b98de6b4e1275465ea3fcd96de2c4308fde20c40fb35acff2aebd1f78e1557509c55c6d20cd585a7f9d0d684b6bf60200a

x 036a68a27955c5a1b6f5a3e5e9fff0e2b10f6793c56f33e30b77ad044d518dc4bfe970c066af5ece389010de893fe68ab112eaae8655168c
z fc95975d86aa3a5e490a5c1a16000f1d4ef0986c3a90cc1cf48852fbb1ae723b40168f3f9950a131c76fef2176c019754eed155179aae973

x efc6d5d9e176498e572908e2df6dc9e3e42115b86fc83986ce46437bb051ad44f738e5be55e749a9deed3e82756780ecc84b4360a084552c
z 10392a261e89b671a8d6f71d2092361c1bdeea479037c67931b9bc844eae52bb08c71a41aa18b6562112c17d8a987f1337b4bc9f5f7baad3

x e7ffd0c07e713cacd8818c62af15b301d32e6ed32869d05177d1259b8e5b5ac23f78a521ce5fd41e9cf5531414aeb698e8672c8dcf296d48
z 18002f3f818ec353277e739d50ea4cfe2cd1912cd7962fae882eda6470a4a53dc0875ade31a02be1630aacebeb5149671798d37230d692b7

x fa61a67bb3c9dc4200c3c3b411bdf278b0fd88d4a555e8e3e216d6c2bcc859ce91b3bf6a4dc89e84bcfef5e1f300f70ea4ce7260cd731718
z 059e59844c3623bdff3c3c4bee420d874f02772b5aaa171c1de9293d4237a6316e4c4095b237617b43010a1e0cff08f15b318d9f328ce8e7

x 024f59ff23bf83c2ccaeaead5e72dc5c97babbcf3f8af77b51ac7f66889bc1365f7b679c9cb9525883ebf4e0bfb754667330b253df8e7f12
z fdb0a600dc407c3d33515152a18d23a368454430c0750884ae53809976643ec9a08498636346ada77c140b1f4048ab998ccf4dac207180ed

x dbfb52b68131b340dcce6558ae4aa0c6c86ffe3773346d926015f0408a297ea7ce06499d52da453787b415ca03eb55ac5aeb55d0f34b0e64
z 2404ad497ece4cbf23319aa751b55f39379001c88ccb926d9fea0fbf74d6815831f9b662ad25bac8784bea35fc14aa53a514aa2f0cb4f19b

x f8d76b01b9535f2124a793c9d089e37d8ba8e1de70555b26dc7fa1818bce8ab0b5d8351697d2b87efe312f22a1cb6607cb03b5a75167161c
z 072894fe46aca0dedb586c362f761c8274571e218faaa4d923805e7e7331754f4a27cae9682d478101ced0dd5e3499f834fc4a58ae98e9e3

x 118e8ba034869d617a4abd5d8be3cf89b0fb27f4f59aeefcb4b9d7f4c82d45a9f9f28a95d6461def92ba4f9c1c03f35020d8e9365afa845d
z ee71745fcb79629e85b542a2741c30764f04d80b0a6511034b46280b36d2ba56060d756a29b9e2106d45b063e3fc0cafdf2716c9a5057ba2

x 1d6d927d1d83ce210b5b507d5904d057c94a904a3e47725bcad8b97855027ae074dde4a4f6b7c858b4e80122dc633b380dbc18d6c835cd88
z e2926d82e27c31def4a4af82a6fb2fa836b56fb5c1b88da435274687a9fd851f8b221b5b094837a74b17fedd239cc4c7f243e72937ca3277

x c2fe9dc69d09f11da27fab3a411330eb14184fedd50e848641caa58dd679218915e4b27860a64363ab6320dd01e9f92479dfe15b7961cb48
z 3d01623962f60ee25d8054c5beeccf14ebe7b0122af17b79be355a722886de76ea1b4d879f59bc9c549cdf22fe1606db86201ea4869e34b7

x 38d96118fba44851468a78979e93f4266c8c8a74acfce812bae9e27534fe386a49987008dc468bd349eb8b8b51bb6bdc5a39f783e8f502e0
z c7269ee7045bb7aeb9758768616c0bd99373758b530317ed45161d8aca01c795b6678ff723b9742cb6147474ae449423a5c6087c170afd1f

x 50d37cca9bd507dfd5a9d7f0020a2c62adaceb7e8e684cd649ddfdbaba964e3b625b7687a9cb732e1f62afccf4a5cc7e6b5372029d5b6401
z af2c8335642af8202a56280ffdf5d39d525314817197b329b62202454469b1c49da4897856348cd1e09d50330b5a338194ac8dfd62a49bfe

x 607ebda1658ac485ca10ddbd5ae8644520680b5cc88841ef2504b61be1d41129c7ab98994dde7c5fe2510c3f474ee1671b95fd0ff060a4aa
z 9f81425e9a753b7a35ef2242a5179bbadf97f4a33777be10dafb49e41d2beed638546766b22183a01daef3c0b8b11e98e46a02f00f9f5b55

###--------------------------------------------------------------------------
test condneg

x 7dfa038f1acab8951c3a21c91e13a79697f9a2f3093a3bac6c2c3f522fc54da8b437f8e062bddcaf7eeeef0b2676360bcb2673105d02a0c8
m 0xffffffff
z 8205fc70e535476ae3c5de36e1ec586968065d0cf6c5c45393d3c0adcf3ab2574bc8071f9d422350811110f4d989c9f434d98cefa2fd5f37

x 197b6ee90f9f42e3107619b8aa2c078ce46d6dff7b2e79c92ebe9907abcfa758d266b9f90859f73982d201dd636e80e093a2c519649f3779
m 0x00000000
z 197b6ee90f9f42e3107619b8aa2c078ce46d6dff7b2e79c92ebe9907abcfa758d266b9f90859f73982d201dd636e80e093a2c519649f3779

x a5e54cbd5a218159a5ba7835b00e639a014e516a551dfc1174074f968856a446e997f453f0f0416f11fbcdd3792d4c6a65ccd3ec38d33dbe
m 0x00000000
z a5e54cbd5a218159a5ba7835b00e639a014e516a551dfc1174074f968856a446e997f453f0f0416f11fbcdd3792d4c6a65ccd3ec38d33dbe

x 25d7150e99dd1648661388751c86948a3c76b3f104e4c767af863d658e1f4e4b0d1a4d4f7f66dcbd46c0d302e6e2a2964c1694faaae7513a
m 0x00000000
z 25d7150e99dd1648661388751c86948a3c76b3f104e4c767af863d658e1f4e4b0d1a4d4f7f66dcbd46c0d302e6e2a2964c1694faaae7513a

x fd58dde069ed4e9422011f16b79c407333e2b9683e92009f2288c20c72f2b44d5715cbc13d7e60ffd4fecba31430235829aa6cddb5e418a4
m 0x00000000
z fd58dde069ed4e9422011f16b79c407333e2b9683e92009f2288c20c72f2b44d5715cbc13d7e60ffd4fecba31430235829aa6cddb5e418a4

x 36cc9dbcfbea98cd1956c8bcfb38c237456ee1987fc474bb504538210f155da6e1102d2511278f3890654ed6134df4461242173aebe070a4
m 0x00000000
z 36cc9dbcfbea98cd1956c8bcfb38c237456ee1987fc474bb504538210f155da6e1102d2511278f3890654ed6134df4461242173aebe070a4

x 19ffe362cba138117e21df0dd008bcb285127e5f7790fc108be5bec8f14878c355b47770a1138ddd8029390e88aa0d3087ef5d6452f656ad
m 0xffffffff
z e6001c9d345ec7ee81de20f22ff7434d7aed81a0886f03ef741a41370db7873caa4b888f5eec72227fd6c6f17755f2cf7810a29bad09a952

x 8814ecf8c0cc3323b5260f1617788ad2059fca72c0671d0aa26ee9500e5a11d57c9365886a6c9d93aceb8e613a25926c79f8a9b3a29177a0
m 0x00000000
z 8814ecf8c0cc3323b5260f1617788ad2059fca72c0671d0aa26ee9500e5a11d57c9365886a6c9d93aceb8e613a25926c79f8a9b3a29177a0

x 6d9c88f9558b04bae55eb44d0bc8f0dbadf888a80e8b52f84dae150b070e2e0ab92a5229c7e453bfecfb51dbe164f3b3777f1dceef0808ee
m 0x00000000
z 6d9c88f9558b04bae55eb44d0bc8f0dbadf888a80e8b52f84dae150b070e2e0ab92a5229c7e453bfecfb51dbe164f3b3777f1dceef0808ee

x f3cee5e619e94efc433d88126c3148ae98d546011a69c347682010aafa688cd7271bcbfd9d5f7bb9ae88da3897ff5b8e685d129d68caa2d4
m 0xffffffff
z 0c311a19e616b103bcc277ed93ceb751672ab9fee5963cb897dfef5504977328d8e4340262a08446517725c76800a47197a2ed6297355d2b

x 0c547e2eee557a3e7c845fa8bdb92869c3f5590ef9b1e1a7e5751fafef9126845249706748ba670c3b59003122d1a046e547436e0ba7d7a1
m 0xffffffff
z f3ab81d111aa85c1837ba0574246d7963c0aa6f1064e1e581a8ae0500f6ed97badb68f98b74598f3c4a6ffcedd2e5fb91ab8bc91f458285e

x f9e339c89305a8a8a1a2abddc0126e0fff89eeffecbe9b852f55f78db40861ca33ac676df746a81686d158dee8b9ae5a347f46764558a293
m 0xffffffff
z 061cc6376cfa57575e5d54223fed91f0007611001341647ad0aa08724af79e35cc53989208b957e9792ea721174651a5cb80b989baa75d6c

x d26b1098dfb25f4c7433509b2907b4525951f6106523b248e77c680d12d2f4a6e4a384b7487f061e02eec80ac8cbf04139519cce03fa11cb
m 0x00000000
z d26b1098dfb25f4c7433509b2907b4525951f6106523b248e77c680d12d2f4a6e4a384b7487f061e02eec80ac8cbf04139519cce03fa11cb

x 41e3ffb83686f06084d1e22f3a625f2563f02cca14b2eaa024359b671e491f52372f945590e67031bca91fa033cf8a1d51bd39dc45339336
m 0x00000000
z 41e3ffb83686f06084d1e22f3a625f2563f02cca14b2eaa024359b671e491f52372f945590e67031bca91fa033cf8a1d51bd39dc45339336

x 4a1354afe9dac02b4b8e5ec74c2fe12ef7df09a568bcb7504aac77a3faa480228ea9d3d87d7652448deb7f34fb1ff85c9b5bb6b3e8bd521b
m 0xffffffff
z b5ecab5016253fd4b471a138b3d01ed10820f65a974348afb553885c045b7fdd71562c278289adbb721480cb04e007a364a4494c1742ade4

x 19b757ffe399587fbba2f444c529497f9006f43987ff52eb9003da41da827f519d82bfdcb9a30cf2d7bc742c69d1ef6c28d0fbc77d85f4d9
m 0xffffffff
z e648a8001c66a780445d0bbb3ad6b6806ff90bc67800ad146ffc25be247d80ae627d4023465cf30d28438bd3962e1093d72f0438827a0b26

x 06e66f7f99e3e1154fdbdd7110fa1ce13c3395154106c677422196864d23d3d688e29c1113a4e695d5a633a5fc766a173c4abc5a5fccd617
m 0xffffffff
z f9199080661c1eeab024228eef05e31ec3cc6aeabef93988bdde6979b1dc2c29771d63eeec5b196a2a59cc5a038995e8c3b543a5a03329e8

x f192679b0f3cc35ea26650ce64dacbee9ac76f3aa1fc7038ccbe279b0e0ac8a5b539a7e84fb879ff377ea8247697e5e916e6f31d1bb3ddb5
m 0x00000000
z f192679b0f3cc35ea26650ce64dacbee9ac76f3aa1fc7038ccbe279b0e0ac8a5b539a7e84fb879ff377ea8247697e5e916e6f31d1bb3ddb5

x 4a9b13b1ddb93d1000b6175e695048c7583f3ed00aa24f0f24bef8fbefbbcb70bf092710d904e000796cc1dada03bf0cf23dc71aee9fbe08
m 0xffffffff
z b564ec4e2246c2efff49e8a196afb738a7c0c12ff55db0f0db4107040f44348f40f6d8ef26fb1fff86933e2525fc40f30dc238e5116041f7

x afcf052c2711fa86d84902e8e36ba390e8cc05024edc48f36542a1d606f725a1f2734a65d52aa6cd3df5ed76492f748ecc67ba6e7a0dd6e3
m 0x00000000
z afcf052c2711fa86d84902e8e36ba390e8cc05024edc48f36542a1d606f725a1f2734a65d52aa6cd3df5ed76492f748ecc67ba6e7a0dd6e3

###--------------------------------------------------------------------------
test pick2

x 7a55c27ebd6c3ffcad279ed64e2601ae7da07db4eb8b5d10e50b3f91bebc856069a0dcc55d3863a3bf1901e4efcb33408184713bacbf4bb9
y ae8b385f8f198e299cec30c2532acbc94311cad7871116f5f40d3d840efec110dc7e85f7539ceeae2189afffb7374f8a58f2310fd9abc102
m 0xffffffff
z 7a55c27ebd6c3ffcad279ed64e2601ae7da07db4eb8b5d10e50b3f91bebc856069a0dcc55d3863a3bf1901e4efcb33408184713bacbf4bb9

x 6182ed9478343417a7a144ebb6744ba9b71c592a076cd39e253377e3cdb158f565a8f2b5aa018da89f1f1278fc7a5e3caf998aa850f863fb
y 035575425027376fbb24c8d4efcbfb19bbf57ac87a6b24113f1f1e0a63a5a4dffe11b348bb0433b78b05f8ad49bd4fa8e463883df3f8185f
m 0x00000000
z 035575425027376fbb24c8d4efcbfb19bbf57ac87a6b24113f1f1e0a63a5a4dffe11b348bb0433b78b05f8ad49bd4fa8e463883df3f8185f

x 2f332b50c57c29b114fbbf0fb902230eb33ed85987b53e4b6ff24a7e57243728db92642e6500cc17ddf69348e09f1f00eb29ecdd601c808e
y 0bbacc95ae142ce1ea25b2d52e22d89b10877972f6b2c2ef0ef815e0c6cfa203b6a175d37b9bbdd92c132c13a24d77249eecd664589f704e
m 0xffffffff
z 2f332b50c57c29b114fbbf0fb902230eb33ed85987b53e4b6ff24a7e57243728db92642e6500cc17ddf69348e09f1f00eb29ecdd601c808e

x 1d63593f536dc9027c3ac672cdb1b323f647ac11e0e3d5797884c330a897718a5b120c58dd1fa50272f065cc650be36d747df128d7a3afd1
y 29282ede408ea3755c43949b96b8494c3083b65a0fcc0e9737e35c573db0109b1aaca9024154e56db389e874be900b6ce66618e976c34ada
m 0xffffffff
z 1d63593f536dc9027c3ac672cdb1b323f647ac11e0e3d5797884c330a897718a5b120c58dd1fa50272f065cc650be36d747df128d7a3afd1

x ca76f29f750d228a9fa5e9795152ddbdf59a245d34efce86d1781e16d1ef4b996fcab77b83704d59ef2b2945e52c506f97bfada6aa97edfb
y 9d533ea73ffb765fbf53ba2808d48fa17a9d9381697fd4b9f70e5452e504ea1b881d7ced5dafad838587304c0990beeab5ec70c69e384a31
m 0x00000000
z 9d533ea73ffb765fbf53ba2808d48fa17a9d9381697fd4b9f70e5452e504ea1b881d7ced5dafad838587304c0990beeab5ec70c69e384a31

x a9c03a383e3b424e7f04db6d8c3c2a37efec54d0158d7ab03848cc6ed70f083138c48003995724b49978587e8ede7f6cb1de8fef59654fb2
y 60e193f96c3140b7e0322d34a5088c50f31af480701d6b0ee665474b6d70bc2eacd5798d46dedf38adfd25205808ee5a022801bda3c91568
m 0x00000000
z 60e193f96c3140b7e0322d34a5088c50f31af480701d6b0ee665474b6d70bc2eacd5798d46dedf38adfd25205808ee5a022801bda3c91568

x f790450391bc9d9616d768d1c2d065e1c70a780e0ede7bbcbce3c6f395a1f40a526d8f7e5a41b412cf3856a7a8cae34217db68874676cfe0
y d065d763532f4fab55c4dc4cafe493836855f3018a2e6cba6969b3c9fe95e091ee52eef098f901d286a482dcf4710d88b5d95abb95131acb
m 0xffffffff
z f790450391bc9d9616d768d1c2d065e1c70a780e0ede7bbcbce3c6f395a1f40a526d8f7e5a41b412cf3856a7a8cae34217db68874676cfe0

x 95d0462a02c45400d97615d14968e90a32a0d3b8a19046f96777cc6def800c7e938d0b65669515d1de2c9d0d5de740589861493f87257f0e
y 967eb0d765904def8c6fc9d0bb710d838897429cccf444cd243892bcfac20eb704b82cc33e89599d7cbd02d9f44a24afb05b8f6da76de800
m 0x00000000
z 967eb0d765904def8c6fc9d0bb710d838897429cccf444cd243892bcfac20eb704b82cc33e89599d7cbd02d9f44a24afb05b8f6da76de800

x 004b205b5877056695259d930cc8de77af754369b49e5040016f3d84a18e9022f8203a6fd7df4d576d4ce7f7a91a6342596dc0b8d5ef102f
y 640b649372ebcffb4f87f2bf4430a9e70028b75e6d3e838686ac4737dd48a1cff113b8f83082cd37b2550605cf087a4d8e0d5df6247bce0b
m 0xffffffff
z 004b205b5877056695259d930cc8de77af754369b49e5040016f3d84a18e9022f8203a6fd7df4d576d4ce7f7a91a6342596dc0b8d5ef102f

x e47a20b61c777f8cea3d3560163b30f00912aa3e0371273fc6126a1bc6d4657d4e1546193169a174424479685ded08f84db407371854ff2a
y 1d8c7ecebe575309ad46aa947afa16bdbb7013681273fae0d4f1c3c4cbefe7711d33080665cc904553ad5389ae8632657563404348a6cfed
m 0xffffffff
z e47a20b61c777f8cea3d3560163b30f00912aa3e0371273fc6126a1bc6d4657d4e1546193169a174424479685ded08f84db407371854ff2a

x 02aadd15ef52a17127be8544587ab64a497a2408e34821505a8d8b2a7f4ae43beb027aff78379668bc80bf54507107de4725773e0d39d8a1
y 4af336b21ee8d83886c8159f3dd61a79affd12ac1b105989d2b6aec3e62616f2753b8f7c4b19717f9643b06025fe46a41ed6f665b2fec236
m 0xffffffff
z 02aadd15ef52a17127be8544587ab64a497a2408e34821505a8d8b2a7f4ae43beb027aff78379668bc80bf54507107de4725773e0d39d8a1

x 316fa09d97d9f6de3e932dc58d08431b6bc2e5efefbacd1f7b53df5a0400b4e82de675893704298557c7c5f0614333d636c4133c75d7165b
y 2032908acfe8ea2ff0f9863734ffcf7203218d58660795978486a151b0c38019146dba917a393012de90eac47ba1264e53d1ea2291e9adfe
m 0xffffffff
z 316fa09d97d9f6de3e932dc58d08431b6bc2e5efefbacd1f7b53df5a0400b4e82de675893704298557c7c5f0614333d636c4133c75d7165b

x 470221fe5cb385fac6cbdae93ecb144c6b6d79196feed7d3dca54376f97d222a5ae435f87a164f11b87b1526ae5aebfb0527e3adfa16f18d
y 1481f5b202094c6328d07778e261e5509802792d603aa64b5f20a2c10d9e4dc8d0ca7e4868564823ec547746a6938dfc521afd719eeecbeb
m 0x00000000
z 1481f5b202094c6328d07778e261e5509802792d603aa64b5f20a2c10d9e4dc8d0ca7e4868564823ec547746a6938dfc521afd719eeecbeb

x febd75b83d9aecaba9b1ee2d5b299874ba62a338fab52e6c85a0fdd172591e5f09764ad473c6e5b0aebc74e553aea0d9cd201834cca122ce
y fc1750a2d1438a1779e26207c0da139847d21533285857549555d2f445b76cef302c56e29e724c9a8af3ecaf2064d5626fec066f58eda2e5
m 0xffffffff
z febd75b83d9aecaba9b1ee2d5b299874ba62a338fab52e6c85a0fdd172591e5f09764ad473c6e5b0aebc74e553aea0d9cd201834cca122ce

x 39fd301ac8fe36dd77bfbdc5566fb2c6eab8c983bae9d248a679ced3153c17419bd951e0feb0508881cb8464adc3da30753cf005bf98a83e
y 0b164941ab9f2670c523549f1f86c06446f5f84a037e58e44f9b689332f807ebbecc7460187e40f31b92944a13f9f9886b31cf8d325e6c57
m 0xffffffff
z 39fd301ac8fe36dd77bfbdc5566fb2c6eab8c983bae9d248a679ced3153c17419bd951e0feb0508881cb8464adc3da30753cf005bf98a83e

x df87ee832636112c76789f71cf8f9b1153b78cc1640dec69f93b7c6598604725464eee088cdb78731f9f119b13e64dbe776dd498ffb90b1e
y 092ff08a968b0ca27f3b7029c044ec12c091bf6c5cba203b109577967200dc403a8763c87bc64f0eb85923aceabe98466680ddf0e1d35d20
m 0x00000000
z 092ff08a968b0ca27f3b7029c044ec12c091bf6c5cba203b109577967200dc403a8763c87bc64f0eb85923aceabe98466680ddf0e1d35d20

x b266f3cced76432399eccc2093f9041acce722ff0f2214a539ef61e96306af2fa1c103305fc9b23a9f4d8aa20cc44086dcd15d02140a93dd
y 2e446cf54eb539fbe9981ec3c2665ca435824813ef49d856a8f1d2019bc10f51854432cea7f0d31370b6612734e3e480963f3f68bbb916bd
m 0x00000000
z 2e446cf54eb539fbe9981ec3c2665ca435824813ef49d856a8f1d2019bc10f51854432cea7f0d31370b6612734e3e480963f3f68bbb916bd

x ba30728ef7df7f7e89fd6cb3f5693700e3c21844a3612bd60f319b95d95ed86d20c785f742e07c2d1c0bd0f4c6a14b875a9663ded379cbde
y a53d479c598379813a085d982b84494bcbf81a5cb40e2757d05ea1770b47afba2abcaa1a4b699b019db0c85f4c37408c8c740f205051b7cc
m 0xffffffff
z ba30728ef7df7f7e89fd6cb3f5693700e3c21844a3612bd60f319b95d95ed86d20c785f742e07c2d1c0bd0f4c6a14b875a9663ded379cbde

x 1c824caec1b5b45655d31d449de4b66c635ac916336becfc67c1c74192d9a960ba04915db34546a4f3f6aee95a15a9035043d60b4e6eceed
y 1b5f89674c8970aa0e7e37b0d5d78648a22e74943d0498c0a80ab8f7eec14523d6a9c375e340051f8915473ecafe5eb99451b7ab5a7b86bc
m 0x00000000
z 1b5f89674c8970aa0e7e37b0d5d78648a22e74943d0498c0a80ab8f7eec14523d6a9c375e340051f8915473ecafe5eb99451b7ab5a7b86bc

x 2bc7f4385c02d100b9e1f3951eaac1f4d4da0efc673f99964d7c79f07f198aca2f58ddbd18cae49db1c609cf346fb1ec6d82040be3a8d21f
y cb7eb21d871b3128c2a82731fb5cb11661f5633be69dde24392ad7b8397d2914da06df867e297e37371f2e2219037ea9790d7dc43d93c1df
m 0x00000000
z cb7eb21d871b3128c2a82731fb5cb11661f5633be69dde24392ad7b8397d2914da06df867e297e37371f2e2219037ea9790d7dc43d93c1df

###--------------------------------------------------------------------------
test pickn

v[0] c111d1169e6d48f8307bb8000db91bec0b7c0359a138b765ee875467e67eabf50fd8202ee6395858d9dca1c6930b43bbb4fc8286a0d03b2d
v[1] a2ae5318d8970c6b23555f7a78fb2e1f939359fb50c1af1c1f45b3206b7dfe2a1a0bbc59ae80f3a1bad53d563227a1194a98aec5395a745a
i 0
z c111d1169e6d48f8307bb8000db91bec0b7c0359a138b765ee875467e67eabf50fd8202ee6395858d9dca1c6930b43bbb4fc8286a0d03b2d

v[0] 56652f690dda35003fd5a1bbfe3764c54ffae6d22e01c2502d980a644c5a24a506c8ad3b75172f8011398341cb4ba2be1b1e223717f295db
v[1] 6607761fb135db6d10f305aed2e03cadc7b72576f592151aebe49d81ee3337d538cd8b7de47a8aa51fbc25b39ffee729c436e4e28ac9c172
v[2] 89b3d0755fc7ba0a7be79c06ef733cbf936c59e9109fc6cc5fd2203c1b6461a23a4f4bb6049c08dd2d25323f2d095e9618f3a1ea06978eaa
v[3] c5a71a5570bbb041abca85711385157e3c45696ab4a21d82081db9f17004f0137fbf0a410052ae90575a6a654695957912081b3bad77ea7c
v[4] 5bab97e0accc3eb2cec060dc453dc134155efa7f328f602083d7171e3e55ba55d3700c53d1be75cae24c043ba2d9a37bd735443fdd14073f
v[5] 471f03e2a16a1d58a2db4622106d68523858d1a630e563f5eb2196ed8072e2389e0d2cfadf7ab7f22f14789d5f707408b75e9462cd9b13a4
v[6] 6b155c607498cd03aff93a8091391b1f7ad1c902e801f2a5761e8822ebde0312cc6ddf799006fe27d8dc1c9411f5bf844c40b02634e520d1
v[7] 6a98599067cdf9366e8b779c58981571040e72dbe821cad95e9d313a2ce960e4b52b8ab7278bdc7402c248035999ffc0d4cf1d7df1eda96d
v[8] 7fa1311eb8205d30d4cf98aa1634abaf2aded1d6e00e1f06d48a47280da3a5f5f7c2eef4fd4998b9fa7a92c71ee0457321378c76304fabf1
v[9] 05c9f88763636d1a2df050796aad0e775d6a198c205511d92ebfaf54537730f70f04f36673dccba4bf028d124e83c346e701d063fa8b1f40
v[10] 69c05dc94a3f889551e427f57a9b9e2f9983c703cd7cfb71382718bfbe72b6c47d2daf3037d718e93a934a82de6ec459eaa74219fe59ea11
v[11] 2c510a74adef807a7a53025f5e7c68cfd155ace0ee620d1724146d9e3741586439dda0549b6a298164099a972cf3b368b9f3d0b5f611d89d
v[12] c6feb2190597901c146dcb4d234d8c93f38713fcd77e3d4ffdde2784a9a7306866b15d4d752c11235ad6c543b2f1159383838d340cada73d
v[13] 0ae29f7144712727e6126848a324f1f580b93badc4c92f694ddd907fbc960e3de0b6d73264d72f3f96c9ad27c381f84292dcb3f9bc850eb4
v[14] bc8c21c071c96eacb758899a1ba76379d27761553e783140e7fdfef0de5d01b4262df4ea4a8bc335331989bdc57856329c68421d7de19e70
v[15] 7cf0275d5ff8ac9db3d141c7bbec0cfdf016086a6d4cfbfaa2fdd0573378b8c0f8552bd770eb691f10c9b77648edaa8701faaec45d9275e4
v[16] 0be835baf0615b52b1c581985c6326d691e4e5fe27a689af8f90e9b8a2e4f2758eafc3a699f509e5efbf2059e9d2ddfda686f76f7db54e6f
i 9
z 05c9f88763636d1a2df050796aad0e775d6a198c205511d92ebfaf54537730f70f04f36673dccba4bf028d124e83c346e701d063fa8b1f40

v[0] 1761d78c67a47efd41c727b28ee3e28b3e0a483169762c59b8c5639ab463d36b9aee572003ee6066785e6ae511179d99e14d83813032f702
v[1] 94ed128ce89d6b103bb05130fe9495fa753b8967083d2e67a6f64a31d479ad35c69e55bec5fc1803210ef803cd9d29ad29c94f96032c3fa3
v[2] ef4c5022433ddce62346608cc53f3e0c1ca77f60267ae835e5088d779207dcb748543afe12301beae94ffb7df48e41454d96b23f7faaa2b9
v[3] c33287e4827795dbe221be26a4d9de426178e31e01a4b35c01825c4b964d7ccc8a8416b0c0c3f4224d189fa414649cb16ff181c3ef234954
v[4] 699852c0172b295a3aa4927c1a575e3e86ace71cebfd96174a9b98f8f9b9e8a766b9d614eb5728f28a7c52b70a2529e78ba4a3157b80ffd6
i 1
z 94ed128ce89d6b103bb05130fe9495fa753b8967083d2e67a6f64a31d479ad35c69e55bec5fc1803210ef803cd9d29ad29c94f96032c3fa3

v[0] c82c6cc7016ba8a520f3bb1123e6f8d815f4f6d00d717e8c9627b450755f6719cca857fac950b8cb7f10a396b0302b4f3446807ad2c77cc2
v[1] 403a265b82d695d93c3b095026b2accb1f2391dc7d2536380ef38e1bcc49c31b10924f08b47eda2bb5de1d5211eecf787b741c633cc4be52
v[2] 41bd729e42d602fcb416b2cfd243565d12c75fc2577fc5d0ebf2ffad631e6134907c35632dfe459f9ceff9d5a1b5d978f4785c87d0a42cf0
v[3] 9ec71e5bdb0ce3415f71de3021b47331cb99959628457befc8b936e8b1dafc0f42fab0fe79f64a00d5b4b5241cd6a24469fa5fcec2fff9e0
v[4] d67552c6ecd44fb81662b842110ea7aaf2c409bff06079cbd68937c1bd5f5dbb7408e5cdbca88e8bdad5d68d5acd30309afb654e2c2ce41f
v[5] 710601d0f2c0b48a9388eec3fc9da68ede14aa5782ab6bec47d4e107ba61159e31d70f4b0759f818bd6711771d4ae5aaf3187761c4adc5dd
v[6] c9b3d60b7c5c6a36a696e8ff3d3a8b48191cf67d9f5bd030573a4d2f03fca8dc0dbbef01a21a49e4e186c12384469f644d9b1882cdad6d69
v[7] fcb04d71a80e210b4ad1aa0bc2f351b7e6d05cfbd99f2508517a8abebf7cca24f369691255a1b10dad01eb19e6e08b66800be75fa9c9e42b
v[8] f128eac996e72401ed0719d6c5ef1a4ba47c9a92173d7152f35c8c668310e3a2fa10809ad2310f16738480a8ab1067ea3083820a888e64e7
v[9] 5ef91a7c27f6ec4114a9d91f9c7dc98df38e0840257736d8c406698069e7e0a130ce30d4a7db28abb132a7b659e4d9893223c514a383de17
v[10] 3c5fe8a4da4837e1d0a588559c00b982621f715c7c0a762000db530d3185cea9e846fa6b55b64da6bea3dfc36bc9dd4965fcbfc22f423369
v[11] ab33aaba975b5468fb8580964ce85fc558d5c7e46831e430a1179552398dab3483f6e80607b7e9b0bdc7a3193841320200f991a5825eb544
v[12] cdcf2bee6ec33f553696d36a43dfaecc576bf0dc10cb985665cdf5fc0c22397841c34df9d1b0d79f4b745dba4575bfe1c0cb17eee8d58930
v[13] ac4f846c26c749c96d757abdb8c165b6bbe2a8ee20bf09c81ff921468bc451f878815c85ce98132c355f8a1cc6a9b7334bceea3e51f5bfa7
v[14] 366bec09b5e7d11fc33586af6659de01af4e4c2c82b2940327ed3d4a2bdf89d65d938720ed141dedb41bc57aa219fa2a8f250fdf1a87506f
v[15] 4fa25a1891b93c5b29b859810317fabecf9b0e54125c2ec642f13685acefc438a8ff524ce7d60f11d68b8f8fcdc4905996e4d088cba13021
v[16] 31b8c72f219142f8c8ef3c0c6ff7251ce37827f12ace60821cb7f412f23635767d2bea11b83a43a78b39252685246b2d39463c35075be03a
v[17] 17594d562b7a553025dd0aa59b33f00288804b8d380c31515873d68343bf0aba715eac1ea86fe1682eb1b3b45237d7080346c072a29afff5
v[18] 4b3ae7807c00dae2edbfb98c7124cf08be06951505c6606145a7d021d124179096982bb0ba65a66924ea31b088a036bfd9d500de9543de5e
v[19] 9ca4d39595f39f53d630484bdaf84532713a22f3c74676e64e4f7035a749af123249d67597287f076a0b6a0fc85ef962a2dca1039e227c87
v[20] b76d8972d596a2e115a6645e940d873945e51dbb6e3a1f99e4bef76434053186709b3534aea8fa1fac04e54b21cfd8a3afe4e636c6072594
v[21] 7b2d6702d70acf03e4339f5e1733083f8fe42580392f0cf00d822ed8dd21f7768c2e311a1742027561bdefffe8e0f77b0336e622bd808772
v[22] eb7bd19cdd6f25d0feff6764cb92fa71b402942cf7ea5cbdacd8a8d77493e57b84581100b2cc36a80a8e196d0ba9338b2d036a24b498d252
v[23] e7635ca51bcb6621c6820a2b20c53bca39433a1fd703c210612f73ad4dce07801ad712f3d1d67ae035a81bf9b787019ee641730426f7f72f
v[24] 6903e3b6923f362d86de6668d1c6967184210d7179fe8d208df776c5ad34c81e0b9fa1ee8be7790fe5a14ea2be238b671a1ba0ebedbdb40e
v[25] 93cfdcde11d3995683c0d4b579e377e252763ffa79d432ab50ede5fc36fc7a1938c420626753a597469236f2e0ca542431df03fbafcd35ba
v[26] 1d121bf8ca1e6d0326e942c304e3394bbb64e3c2680c7dafa9f3d8eb22147b6222e94e0c45395aecdcd7570e9ca434cd4c156239ba7a3ea3
v[27] db63495a79fc9e5882de7de5f75986c634a2e46d6ba62622304473e5dc0c52d0cfb27f4160bf5e07825f8b917ecc39a6ef9dced3af4a94b5
v[28] 282ec969fc5f1b916e73087168b413dc5e1173c476b82182217f4bfde3dc380ab3ac7640f895db7bd010387b71a93c67d3c3c7bc3b910c59
v[29] 3b03aeeb54e41843e8cd13078a3fc7a7f3be9667a7fb18bdb47841e836ef1c4e298e4b6ed82f7be14c1fbf301921e1542c0e7c69cc71f8af
i 0
z c82c6cc7016ba8a520f3bb1123e6f8d815f4f6d00d717e8c9627b450755f6719cca857fac950b8cb7f10a396b0302b4f3446807ad2c77cc2

v[0] 47920f234374435b73520ba1fa993be624dafc3eef106ac6bf2192acbb20335e19084ca6d12349d07b3f645ecf29192c7dbbeb2e71610882
v[1] a636b649653ca52b58ac4c9f3df1c683a5d9950bf1ca4de46d283625ffa003cd2b4f561253793497a686c4e1ea98d9983f10ce7ecbb0c33a
v[2] 7c9839bf1bd919bc6096aaee1719b729850cd84c726436d5a9989a48ee6ac5a6320086d1ab0f597a5e93e2b730ed09e8ecd3479ece8bf065
v[3] 1a189e009eb30b119828633f8fb0a196a99f05f96ae77ce97235b7973f75cbeb585ca003d364598a0b743663ff1d154c1bb3d364183608b4
v[4] 7b4a757245f542e2d1b0a8cdd5e4a55da3c199aa52de92d721078297cafff9011b55948b9adfe3311b552d2c19c440faa1982e96e039d65c
v[5] c731a531b71b1a55084172793319af4c996fa3c439a34347b9b086fee7e65936bb149192bd13371da64fb29935d9dc61c944deab0c5b7848
v[6] 0114312cb9ab5c1dc8c0b60618d32cb803ac596830c64df424aa237232fd689f1cc5bd55852ae63d1a7257f18415c9eea782a15a92538ae0
v[7] 36df269f88be577ca8f481f13c15591d7253a85bc2ad9fa35f48383dfca23a8d6a90105d9ea6fa537d2cd7fa7949cf0313de6817c0a20884
v[8] 74902032e94280f6e8eaee2031700dbd4f6f054f0958052fe10d6eba00e453f287020c458b5628af386d587b2ff421818e1771f067be24b2
v[9] 9243c0b32bcd5fd0abb3f0ce622fa6aecc6761069a81afa690f37fce556eb8d0058916579f985c7ad31a7701b39deee196b3967b7d48e911
v[10] d3c385930879cd57f1ac584da5550e31bf274433cabc24168d2a3aba3fc8e5aae9efdd6f5c73dfed0c64a5b4c33b0ffeea27c78b5b425a06
v[11] 63924723d76999ce0b01e78e4a10d60b296cf2fc96cb19eed9590b6c363d39b888eae5b3164db86f5b9add3d617c174d46b78bb5510d7405
v[12] af0985ff58b80b4433eb3f5eefddc5a5aaac777ef907f4d5ecbb11aac1a71e975402878c62e99da178c8956140a8d424f86896d1f31b8274
v[13] 89bf4b5f5107390506e4c0b446da902b98bfc41c2ac09726fb5a2ce09e690917a78e8e7468910fd80dc623ee8ca1241664a82bd474b72c6b
v[14] 4a6080e6e1451c375df90a724ff8d4a066bc49a45e3124c65c54d9430a62b7c1804d57a4f8347f30cdc23dbb9d7bab9a64a0b10989c9bc60
v[15] 6a2f3fb086cdd63c015c5ed6675e3a12dd61b579842ce305994e44c7b1669f5a6fca3c5f7654ba967d86037297e0b41ccfb6b99f462b2e7d
v[16] 7286b6e41f25a3c46733037bf2a5a366ab5b243d28362dbcaad7119f578f8db790704a087c9ad15cd345a92bc49b8782b40615d409a5a746
v[17] 983fc505bbdb899e11b5dd1e9798850c649424b0d2ced8e22d647e1d515664ebb0c36ad29acff5a7658d061e55b8151d0bb7ecee14a977ab
v[18] 9ccfc931e25cbe1007a4033175764b273ac16d0baf27e4640d458d06e4cd5739fa98556f76add81a299329087becde66b0d6336e202004ee
v[19] d2bdc3f41276bb70c085fe95820be3dd92966dc7eaa884cb9bb8164fedf34f38132f778467bb3bde9055939ef72c9f7d8cd3f7b123d2ce32
v[20] 5fd81a497f6c7fd7d42125a6d8ebbbb203077286e1c7afc9b708bc803e79518cada09ac733d616bccc231d7ad1069a83f5344cfd9f1d7717
v[21] adf72350d2b2e3fee58a0253e23899192101df06efda29d5e47339803e24be20fe559bcd19954711ae44c017de491d3d4a0e6a00efc5f33a
v[22] 23b45c33b81bc6d34e05316378745efaab97c809541487d353438fdc6d062dfa7f9febe97001a758a1c27fb113b33c5f52b101518d8868d0
i 22
z 23b45c33b81bc6d34e05316378745efaab97c809541487d353438fdc6d062dfa7f9febe97001a758a1c27fb113b33c5f52b101518d8868d0

v[0] cc23c9f8a157bcc9ab7f0aab31324516e5b349e478b01dae9e71d35b27aa1dbebf7de83b996ac18d002c90c5089a749cd1f617f06153d578
v[1] 80dd767012d4b3fb8303d95fdfcc793cb3e18666c7d1e897c2a6d319cfb827c2e6f5566e58b5d15fb0db5cbabbb5764bd17139241279f157
v[2] 441708fdb2f5fee3292aa0f7b0dc2c533c3c15fc1c9a319c9ed46f126f0ac1f8eee9e0c9f716c849876d2767fd5dd8631e630402060c31d0
v[3] 065ac50aa12a2d2bedce03e9d3af2695cc951f86327e1a72ac48fca9d24d6f01b7322bc7f66f1b1506d50b372a38db511252d57960708690
v[4] 496becacfee8d16896d44715f12f6ad8d4d01415412e05dc14ad09c49efdf2afda17d8c2a701bbf7385b121fdf035af5dc71db5df20a7ac9
v[5] 752d045e149d1a15e882d7ef9b81e7592af0c882f16f68dcd746329abc98dc8bdbbfeb18e64aefcc4d52993d614c528502334960913120bc
v[6] 6eaea0a9a2bdf4ebd45937eb38937bfc5a166839a38eaae6d726177826eeef6733a366624ef7f1c29deedc4c08a06064d349904ea4b68278
v[7] 2f5ae15affe9c1db93d8b7531d03cbbc931bfd0e6ab25cb30835ebda13af12a8af25c20fe7cfe295c6dee00e11a29b050ee282c216d30e9f
v[8] c2a05a4b6263a927bb7f4cc0cd2669df289be262eb6b1a94602fd2b4fc6c02fe5c06ebc7cbba6c0374e42341b0525ad962bc4cd02eb97ad5
v[9] 08c31e5e6bdf80a289dc8b7dfb62234061b3a068996aafaa7fe8d0623acaec089fc51ebd6b07ba1796663e41e6edbff0318e4137cfabb5b0
v[10] ea940acb717d6e9238f942de94a3fdf430ebcc47481c29d72d688395722ffa4bdd4e4a6eaafbfcc2f7d73c10be7cf46b01dba1747281193a
v[11] 15adb7665d1180c00b90dcb9bbd43e2cb452e05bbd863b73ba12983fa7490d878fd598063c497727e6786a0ced54dab63984e10e0bf03f51
v[12] b93ce97764fb51e090a624e26c08c632b519327d812444d7e3d5e144acb99d5a0f3f3c38d1005e8920c8906f72ea0ff9b086ac5d632e9e33
v[13] 3b9550aba22b08807d06b0267ab13954b85d07ad3112e6242f44642947d3f2f0cee777c6a84cd42adc30f355218b63e3ca9bc2db824e9b67
v[14] 5cf635672d5b1d4ff706e52c9712dec5db11edf73d0e3450947b22475036b4f801646e6434261cb8dd4197f967a0576a7f2470edc47c64f8
v[15] ea684a2d34ceecdf41457431fe0f6d3613fbf7b23bbf096ca1fcf1e5cc18a575c6e569a8723850641993f7cd7a90e73491af16ab8f32064e
v[16] 0a316437e201049ed82f760e8fc1fe24c5000bbb45f0af479e1ff3a46b7a93e4486e80a0e8be342492c3f3de3bd9df497746af4aab713c10
v[17] 28100df25f0f447261a6cc7669a360ea718db598771b7b68a03a1f35cd376fe093ab4d0521210d99abe8d83e7af39f4101113d0873ca37a6
v[18] acef13338e2ad16fab3b25b2cd69771d9871b87613de64bd97b45256c52a91e3e7551ddf0bcf32071387e49f666208a6f05d3688f1ce8d23
v[19] 78c4866ca4f94f8b65481cb64edef246c10a67744383581b1e71d202b7b830e0c3d8113574b008ad59fd4a2a4f369756eb82495c409d8b4b
v[20] fb8b6a84fbc3724e2a1ec057f8b0c90f38ecb058357914ecc20ef1921f609c24776a0399e95640e8763c52a4b6546f6e61ae264fac6b0fa6
v[21] f307e5052df7b843a92ee073e9c68339213f8269a92c1c009c39d384c2739823ef099f047e0c3d98b4aa0df85f75497ff48215fb5067d39b
v[22] f0f5414c477ade9ce17880e5825803b3d493b002aa9b221f642b311ff1ca6cbaaeb772459857faae9996371a9c415dbd8c11cd23f26f83e7
v[23] 7f1190954fe5395727adb14f65e30d20abc11605afa06ea31a737082457c56f1fb0af7508ce8293cefaa2854505c4e5c6c286ece26e08206
v[24] 1d13d997a0acfac41dad8fa4f27a109f270f9751a2b3ab05d1fe5f9652f93955283c625092472b33754de4aedb96cfd45322aef6ff11f516
v[25] 38c37a41716b96c811ba9fb01f85e85ea2a6e341bbb106f63eaed6eec4fcb801054aee5d23a61d72591bf50d1e8db6df6102efd5cbb88eb5
i 4
z 496becacfee8d16896d44715f12f6ad8d4d01415412e05dc14ad09c49efdf2afda17d8c2a701bbf7385b121fdf035af5dc71db5df20a7ac9

v[0] 2b884bc1d8f4dc7f1113a02319a7d7f90697c9191c937d9ca8950d70c8b5303febe37051bbea2d552aeab38904061c7bef3b16727ab28536
v[1] 93ac6aac6d9be22469c5348bf4892c7a327560860bb8cdcc3df04b4d9b6f02ac5e71fe45f2af8139a1b79468e9d7e130e94aaa5269a326d9
v[2] b57a9885f05b77d976f5a5f2b0f2d4d5e1cd53563271d2f2f2c662605994bd38ec2084a48af8d996398bd17704366cfb88b3dd237dc630c5
v[3] d8a073dab102aa0087269231c73768138e25b29509bdb8a41c6ac185fcdda0fe95508f770008891502451452a33b28cb1f970b99e99660ad
v[4] 90322d8b23bc34e0096ba95ed7b684b57b191c9a3a261907f9d51f487d80e73c5eda6ac4e28a46cd0f036957f887fa2d64925ebf1cf3fb92
v[5] 7fd678ae15bf660a33b90dbf617a113613d9db51066fe9a64b5ef08ba56ff89859633084d08030f83d708dadf86d85a3ade8b9c886cdf09c
v[6] 398577d3575b41ffe6a33a3087ebcfe65f1b6ba19f7cab354a1447f098a589a249db68f1b404c179c7871a2f62cc47fddb224a733601fe58
v[7] 73c1de266a33ce6ed869eeaaaea93628fa858f72ba45cce1650bce71d0fa2a84fa109864403455fceae8d6f668a556c50298a72cf32c4005
v[8] d33a2391754ef5cade904482354cfad4446e4edee17bb1b6afe62be457f85fe3a1d19123366b904638c2168e476b9f68bb97bec49881f449
v[9] 8075e0656a3032c6e2a069395f491c2e41a3339b016cc2502b41167aaea6ac87c143fb5326ea29692e5406d0304068df913a7fbe1825fe6d
v[10] cbfa40aa4c00bf11a0a41e7c2b70563d4eb94673443eb114602c9262b5c629ef96eada6b9973d3b74159acc26c077e62c8b0a860b1e20509
v[11] 81f8d188a6892f0d6bd3bc72e5fba7218070edc08ef12b78bfa4cc7610cc33ea0260d12872bbcbbb7d7a3faa657ea4f116bae7774fc3a8bf
v[12] 1f6e9318eff1512c6f4efaf3730d44d9a7dad90712187ab5ac5415e7129faf9f1ef6ea12c3cc299274b448169bb2a29bc5e23197adc64cb5
v[13] 7a97a826d12a9b0a9c8db01fae68bb9824a1f81e1146e67e12b7681672a4e7d697130a26847d15f85aa352f6940401dbd9ee3333cdc10de5
v[14] 6d7c1914c7f71702a14a3b55536d41c26696c31eca45ed234722c53cc620550a6dcc8c369af7ed68792d9b9b205dd4d76c91990fa3ef69ea
v[15] f1abc1def89612938b1105fc276615c996221149d2823b1081e820d715bc3465da753302b30174a10efdbedf4e089c767303370b054968eb
v[16] 199ec5ba6d5c13b1a9e3f08366e984d3d6058bcfe225e316536debba6327e603371474fd20b40e8ab912aa5efcdc9f65edb885ba2e6acd67
v[17] 7d3b2e72ccda092a549152a7375e9dfa0e8e43a8a4a8cf275bc6cfddf98fdfa1789283860a69cd67b083b67a74bb14bbb8955b793d2917b7
v[18] 9e32e392d0602a659e08915acace1ec1d0536f34db1aa43aac27a8a670119d830ed5908e66ecf98aa245f6d81884a9ea081f557fe95fbb7a
i 18
z 9e32e392d0602a659e08915acace1ec1d0536f34db1aa43aac27a8a670119d830ed5908e66ecf98aa245f6d81884a9ea081f557fe95fbb7a

v[0] 784ef2f9b927026c7999df317e1ffa02168b44e06b4a8665b91693423025eccc797a3edb30ad6da7a81b5a47fee475d4c26a8c7c8338bf87
v[1] af0b5e0b9925df9f4c440f29d5a8acd2fdb0279ae897fb011a72d1f0e8e8dec941e05ebc5b607965ddd8862a4b19eee50f0c030dc69db7a7
v[2] 407668731d72fa7bc377feaadd59d0c9a8fdc628741e09c13984654dd1c6e8db573956e7a1ee74e215d12934088c519ed61c5f905bdbe47c
v[3] 566f26ed397dea8cc9f8afafb6f8bb4a87ec8904a4655c76a262e0abadf6f4a4e2e2e1b56956e611564f43249ed1d32699a92b1bd845aa2a
v[4] 8ea05614172b945e59d42e07b1dd7824492d004a0da66c5005cc918881fa601346dce3ad934e422b4fab17e70f2f30110dd5e0f2fbc0a451
v[5] 587edb0b7eb27cb3d20873bf36f48841d86e961e23bfb79252884b191e8bce521cd41aab69036cc14d6ddcbee7491cbd5f5fa44904d4bbdc
v[6] 8f8b3c45f7ca308bd2e3871e66c5bfd78d24541cb85aee2c0b3ab7e9c52cf7316c65896f1cda006ce8584d4df4f5672e7762c8e3b2cdef64
i 3
z 566f26ed397dea8cc9f8afafb6f8bb4a87ec8904a4655c76a262e0abadf6f4a4e2e2e1b56956e611564f43249ed1d32699a92b1bd845aa2a

v[0] d222fd0f672396160c990e63b69beb9b50101a29e23f4594b8cf9606142df7bce1744bd9bd23af50addfca783abc00433b2f2f1e8714b657
v[1] d77579f75fe3d2e25ce0582b481237309f704b9c26b2c92f1c074e7c82731c3f8ebfdde4be8016eac2cac15b5aef25895876bfa0a006abef
v[2] 215ab5a32a9d319dc87c080edba717cda588acda5453c32f25c8ac10b78dbb2351dced4873d35993343256cb391b53e586868e7df85e1b9c
v[3] c0576813fe879523d227daad9c1f9ee46d3166e6ab2b0e2d7dcf87e3608e8c3df6a42931e86f046b5ab09a2491f90a085ca3c2a8a99c50b8
v[4] c9902d3f732c823d8c7b7bed3a894468b41742a81c22106a4b97d63dcf9f67e67b5d501462f14f76ea4738b255cc1d7a8b589dd948a9e245
v[5] 4f3332f6938d3dc5433070ad1446eb0ccb63891bb87f73e36b439fe1b985861417d44280141984b919f19a4bb4b2a78d0500de6f5272274b
v[6] 085027b48c4e73d81cb44fbf4d2b75af8436252e3b69bff47266ccb44262fbc69597f707fa213130b883346bf2de2c72dc07d0bab90ef2b7
v[7] dad3a8e492f601ab4e87718dd285d63fe8448e32f074cc22052071d63ed8b3abbc03e44bbf9293e752691540ac5f6e7474e3f9b857e924d7
i 5
z 4f3332f6938d3dc5433070ad1446eb0ccb63891bb87f73e36b439fe1b985861417d44280141984b919f19a4bb4b2a78d0500de6f5272274b

v[0] c6adf901eeaac94ad01f1ed91cc0665a31664343d7504e64c125fa201d13c081e3fb96029c7148b7853c543c6a533262cc2a4165f55a36bf
v[1] a797f6a408ff400e2b9af731312dfc8ad9b5e9f60784964998e157ddd0a012432eaedbecfba3103d3b3fde71896e98016d61aa9450b494d0
v[2] 2075ed1d7c05da216efa077e9e9df4d665edd4edd403590d5661239ad8f218bf97f0fad2baca3a5769b871bb75d6ca81818c24486a6a7d20
v[3] 9ac8883902c5aadeea582978096b02dbc0201448ac32ddae068f614b34265649f85d104d60c4f8b26c8f32d6234af5198e6c35a699cad7f5
v[4] 53bf780d121adb03ecfdb5b490c57f0a9c3c33f8da35414ae727affb3df746d7b5e815ade075a611aa936e2a3d2cf0744431d09d2ee34cd2
i 1
z a797f6a408ff400e2b9af731312dfc8ad9b5e9f60784964998e157ddd0a012432eaedbecfba3103d3b3fde71896e98016d61aa9450b494d0

v[0] 01fef7d69aab6551318c12940098bfd2567895a7a6ee0bcfe3f36ba265b906ec9d4d17184082a08318b387549776ae2ccb6909206c7035da
v[1] dca0461d8ceb43475764ae67a21f2fa83be4325b65e484fd5474defb1371753cc2bdde641abbfa8d628e2bed81b2fdac3970148d84b5905f
v[2] 5cde9f0cee376cf67e17dc1012dc79cf50b848c8b4bcd02d5097cda42a7b69d997e1acbb63ddb3c50dc1145982a53b63df1f33d3f8f1f03c
v[3] 19dc49166d3dc7c3c12ae671cf3357a00cfe3d573096052199464ed2b9295348b5adaf20efd8af863b64016992dc6b2069b839c65b1f77b5
v[4] b4233f54659521a9abc2d695ec203e51934f8bbb692f421acca3294ae3b3e6ee8f34629755e2a66404bb8e661fe66c9be3e9ce424d6d8d0e
v[5] 0431d4fda1d0e67384a8a2aa187cfb832eb472f2f9504249d6174d805a6da162554e61ba82105edd16e650baa6f6a11e3bab88dc391747d0
v[6] 9e48544c13a70c3c0615c3a600a70477bf2d367cc3bee5ed04e48d95128e379e83bf1b7ae81ec5b2d9d5724172fac5e3a9731659724c17b9
v[7] 742d047c946e15212675b11d93578a0692b2ab9263a37e7984c7f448ffc3f62ef0dc4f9521abbd3cc132f716cc3c8241a8fa25651dd4f4ff
v[8] ebca8c7c6df38989bd3c118c481eb606d8687d76cbffa8370d729a6b66d6f50cab181769e5970c169ac3a940ad97c4b87b5c146c4b680131
v[9] 9cd27898e35a850144a5011293e2b6914b760a2a772bfe080b91a4516a7a81329e8bb013fb6ddafb668c3af388e73c71ef7e9f92d34d68f1
v[10] 1853758aa063418c68600bc5be6ae38ba281795e5d2440646661a10812b8292b0ada841048b8fe63f63663974a6668a8809d0c16dd68c709
v[11] 5876b4cc9c0b72c4c7289c1d04431cab19931fac1eca2f4bccd827ef15b90d3c6902515d36e21677901acb2decf69febba5d1b91b4b564a0
v[12] be72b4281b1cfe9f5449d8e534e7a5b7fca05291d5b5502ecc53d1910525392afb0dd5731682053369ffa0b96c80328c515a858b9c9e7df9
v[13] ff447e23b4e9337754b3a4a103ceea5dae583ec0d8e95c0e2022a701802b5133dbc5711e686d9ef1f8b9a7d740b35a7a1add878f57c39084
v[14] 791ddd6a98b7ad13945a721f64363d80370bd1bbcd6b607f81b4027369a7286892dd418ac3fa508d9c359bb0af7a28fe61faa777e35532da
v[15] 639c6b7ae2ba3581e67599a31ede062466f29d3dc920bb1c26fd0d86e57a9ea4f028a3f1aea41293fc7cffea7c0eb0fee8d46eefb5f015cb
v[16] b933133a80f707e0a4d4afecfe5af5978103f68759cc0a3772567e92522aaac9cf3919361f2d1f699562834a1cb1af413b6c5ee8bdfb094c
v[17] 63922aaa6687ed42a587db1cab982a6becb9f7a8112610c93fc4ebbd67d80ad803d67f2f1691be669ddcfa90d254ce6db1c986b297c6f099
v[18] f373144afee1b800b8e873b5fc1fe711855bb1a1a7986f7903c652eba8d06c14800c5fa2a415783195a34091865dbb4d9e802aebf8e12c48
v[19] df26c33ee19c9ee2812443b8b847b1c490cf6a021d33d1bfd7e55f15a5ded473c24eecaee21e53b6059d35bd29c25a7640efef8f3b74c53a
v[20] 3acc27c90c853f579a2166bad94698fd105d78abc7177b5157ce7cbd9cdb9af483aad43a41f5838f3962ab54a34f60a299b0693da1ce8d8f
v[21] 9fedf20b7dd1ec189f3c5777a90e49f62592a6bd761fcda02739740a1e965793a3350a96e76fc9295d0a3c07763f8b303b3def61b5c79d91
i 10
z 1853758aa063418c68600bc5be6ae38ba281795e5d2440646661a10812b8292b0ada841048b8fe63f63663974a6668a8809d0c16dd68c709

v[0] b0dd459972f26130e56b213ee143fac607fb05d903d704c5341ea4d9e1400e7f153fb61c08d96a7cb7d9504f29e82d62b121bf8f093e2a70
v[1] 4e3b3cca8e30e19a1e42ba712bf2cc7bf652a60fcdf20ce1ab0d644db6ba3859980ea1bb7686d36aa0336f5ff68767f764b451ca99bb4662
v[2] 2fca99e06eb792e7ab282ae71cff46caebfb2cb3ffcfc24a286ea93aea330b30000352e468f012082f6da3afed8d250139a993f6cb9b01b4
v[3] 7ccc0dc8b4c8a40be0590bb3bd04ba1a83b739064b9a908c171116b9aa542d6a3c5020860d82ae5616df8f9d6888f4a1893f84548242a30d
v[4] 4f2558c7afbe00affffb7a6e6d3197b3c06070a6abd1fcf9fe96c95e907384db741e2d96a9f8c2b4d321271cbedd0acc28107516b9c35e3b
v[5] 144339eafb5f4410ce53e42d265ad23cc1f50e2285bc83a6e5b1283fe13c2f8ed717e0c7701665c15287f3a4403fc965300993d58e2d352e
v[6] fa6591a0da6e941904c14419d7967183efc74121d2f4707bec26d3ad7945aa8a2fd915f88bbe5d0c4cf88d1a3b3c2cc34e2366d4bdaa8f0e
v[7] bfa04bbde306fe6f183ebc475063e663ecd17d0a5d8e7ac9f0d0c086d1a492d3699fc60884ebb40092998675070be71a37af44381b263edb
v[8] 008c47bec8df4c8b58b2bec8b0caf1b1196a9743264ff97505f0f54957b677cbe65b55c3b618369bd359643f8cc197d3eee6da3f0752c65f
v[9] bf303c7d3cc0fdfd856e55e224933e3dec2925f9dbb585901f677cc20b9e82a9322165e9860cefea0b496cbc7045d419051ba60502301f79
v[10] 77fa87fb306649e879e4401c563435387497b8e0d0529e2c1089071cdc25c1b994654322604fbeecd6f1f4b09b6c4b38c7c8dcf927df3375
v[11] 6e293762f58649f8db7f95f796f05afd0128bdba1a1450758873ce107bfd73d9b02446e12f389a70472c11fe890138e5910ee36a5207ea1b
v[12] d4acc12993ab8fc63772089ce1e6099c6d1c10f6a9f37dc10cb484ece0fed7e3913728308cde4cb1dd45ca116e2cff539139ec26ac0cac1b
v[13] a5ec3a36809e887e328a170a26fc0260701c0eaabe85344a77c7b92bfcec2b6d51e95d9c049e01ab2d9eb92d504645a3810aa9cb4ecb541e
v[14] a3f3009f5a30ff617b13c88ffe56c8f3931166cecbb14191e87f5fcc885f26ac202ed15141a0f44faf89ba0667bae3bb898f11c87d94bf19
v[15] 368d8d71b1b8842b18ac8e238de930e1d41856c2ddf233532fbad0a8230cd735490ff220eb296c65f6453b551507bda195129f1237e36bce
v[16] 044bc78718d29575ae879945a68385fb47a258751899efd20a129b60afb82d78e19865828ef514b5221482a87f87431a6da768a29a8a1b3b
v[17] d266acf94a0b7dc47a22aaa7de74d57845403cb2b19bf49a1cea2709707290578f495721bd502c3f01aec5e39f8db00fee463842235e7322
v[18] 1f20eda3f21264d35ca121761286dc86565af4129e5935e3022beb901e1c33f036be8080b0db811c35d1fa2c89d4bd1e3b83f7702f7e0b81
v[19] ac9de8b30fb75c96ae660a66694efe1bafcb17d3a86763dd772e835cf156003363a513e40bc336ee370aa4c6fc16858c7b8cc81cabc2a26d
v[20] 0d755b67af16b13b5b1480b715ec45e7f358bc13def20ac584a0828dfed32ee645c07ceff44b9984f47ee8167763db849cd09d632decaa9d
v[21] 6318f97723d10a076df680ec053ef5edaa80aea43380188deb6f01867d44e7b3a2d6b6afb1b9ce20effdbfae3747a4383ae9bf922156176d
v[22] ec3d903f8b9e7d7cb5b9ac03e594d126cafdc2006a6d9d6340ae97709d3b5f204fb5800d71f22d3846e7538e7bf8bbfd8dfd56a6872b171b
v[23] a0a8f7ee813c54a12d25f8bec0fd1e1c17dc53d507b679fb9c642d16b52396ff38a047070dbe6c525aa8155dde5410176ee61fbe73f1d119
i 6
z fa6591a0da6e941904c14419d7967183efc74121d2f4707bec26d3ad7945aa8a2fd915f88bbe5d0c4cf88d1a3b3c2cc34e2366d4bdaa8f0e

v[0] ccab4f0c141d4be56445e44b9ca31713a70f04068c1d6f8773133a3fa12b5780bf77e7cf2198d0bfc47718626699dd5fcc739c3e1b5e56d2
v[1] 12967eea5ed26c7440dfb69af543073caf91f8524b5a012e36637ae289070c638e0fe6055da8e03cc04dca88748cd3c8e8996b5ed01a7a60
v[2] 491cea5146604369331d9e03a8aa24e57cf67cab73feb2eabf575f25d8ef8c9e197c16302cb579399e35688da7a4d9697a8b783bff4ef105
v[3] 6caef4b5076ec61992bca432a1fcd2b49c9f7bc667ef66564ead294772a877aa3872b85cf2796468d8cae91857e3fa3720534fc58c12411d
v[4] eb68efcd55e40f78de8cc4d6d98a04782acc6487c44c88297a62b18fcf10b8e621bed29ac2168c10c025012f20e478496b9c29120a50c72b
v[5] 9b92a017cb7ab4a7b6d8149d91a2c2b492f7b468368c2c78ad4fc9afbc20b337b7a8b56cfcf9f78a4825776a52f659863fcef3b99a95e5d7
v[6] b00b881d7c2ceb22741b836a9842b238ef7f57709b651772b20954ebd0fbcf352aa02c566c4be7801df8f9858880dd941f34fafd42e93b16
v[7] 4f8acae1f7fd9b9e16d1e254f686ba3355c70d66a297fd44520b7ee868a534b57c0a8431431197147a2767faf6acd8fabb0cd92f10fe0b2d
v[8] 48f351f7f4d0cc779b6086e851ec32cbff01d5be770c971ee7043a750e0b8c27f2fd0dac950b97f2498510e1e478febe5bee4fefae2bc63b
v[9] 588cb86fb2a2006c9bd6c59fa0c2ee6328de8637480ee66f7034338aac29bc30b8096a4d5775cf15aac5f3fc6a0bcc4cc3db5caac0fa0f7b
v[10] 06f7de48f58b098e9d671eceabf64042c4786787b8d4d09ef39919268a7d61308dd1a8f1788b95557ed51f6541156524e3db8a84429823e2
v[11] 96e1b238e36ffe5be8475c3465d4fcfae0823b30c29dfa22604c1865c64964e6676324e602fabebaf31e79e2babaa406e2a6cfd1379537ce
v[12] f41dd5a29af40dac44fccb3b6158f5b7d262898cf7d3bb55605d38f564eac8e1a78263fa3fe6a8083d6dfe2b715edc1e20525c73935b0028
v[13] 417b125deae3ca19098d8db58aaf30da9e4ce695205bc0121dac49e6006cc1c739a8a35cc59b7222b89f89a9d3a0f4e5ece07a1b0eb05a55
v[14] ed9b7a983e2fd96a0a51bbc431e3e678e2cce9a6c1e163b2e74896930bec4fe1099ed4bbc4f99bfe131b9d15476b7b8e382d19eafc31a665
v[15] 47445ec916b8e648f789819db1b43cccc39cc0ffabeaeb6ee01dc27ff34772c3d3ac29279abbe245bd4f76105dc39671b8b2e72744fc0bd8
v[16] 766f9594940f6af58f357a2f70abd52df591122af84c0e52c8f263a087883739731717367c194f5c1d7fb4eae7718caab7be60fc4d983a92
v[17] a936541ad44e13dcffffbafe4502688982aa10149286213786b5b241ca2b6a469a0bacca56fb4663b96c4427f4a4858de682600495678c61
i 1
z 12967eea5ed26c7440dfb69af543073caf91f8524b5a012e36637ae289070c638e0fe6055da8e03cc04dca88748cd3c8e8996b5ed01a7a60

v[0] 8cdcc79df50ede419c9312072720bd05817b40758c4428a4558685c35f51bcb513cf69457f3e376401a57cdc50cf6bc32a227328a584e324
v[1] a7fcb9ca52fef752909da2ab425b7f265aafd34a532098f4ddf44b1358efe735cb556db2db513a3e628080064057490cdd9e531f93287576
i 1
z a7fcb9ca52fef752909da2ab425b7f265aafd34a532098f4ddf44b1358efe735cb556db2db513a3e628080064057490cdd9e531f93287576

v[0] 320c54a4573375dc00877072cbe456458878e2afec6ca4ef9bdbcc626a2a864c8580ca29e2f08be0df0f79f19d90f12e23a779b446622723
v[1] 4f8905963f7449ac324babf3ad410821f28218336b0eea4bdcddd53df65f6ba4b5ce214bfe16b514bfd6b8643ee5728108061300fdc15aaf
v[2] d35cdf2ab2b43c692449b60b6f9bf51e5a8f62dda8d01498a029adec0e028a3d656a9ff89268e0b4d50ffb6b0b7b8d3bead33d1a6f6343c0
v[3] 7a6e2dac050b25d374c41f997ca2ef066a39499cfa42092ac6bffc1d45032426020f76017c6f1d88b6b9f6fb6a39b1ab4e5c10042f52ae1d
v[4] 09cbd7f71674cef676dcb610f32abcdc69278a4015ea047baf02756af19dd92b232ec24ec245089fcc02d6ecc9f9f0c954b4ba12403b1577
v[5] 3f3c0e9f659db7385864ec08b0070418223ed5abf92c93153d21619ba7b92e2d0c2225ff8c41cc28f59f4cc09bbad24668c3b240e288e7bc
v[6] 7deeb1a4868ada13ad6a571d901346d9211b7279b34724ff9d54a595bf11e26dc02abbfca03a6f644163f38de1159004e7e6b0e9e95bd44b
i 0
z 320c54a4573375dc00877072cbe456458878e2afec6ca4ef9bdbcc626a2a864c8580ca29e2f08be0df0f79f19d90f12e23a779b446622723

v[0] 7b40e118dce4b0002313fe1b1a6c1bd204000d70f785b862afdf3c526da930433e23f3945c704e52790dacaf884966eb144e667c652a45f4
v[1] cf26ed192ba166343068e3d42102235c4ac9c237c631f7582ee32e7ec56fa9c8ae1f8f9d81f5678a7669b7cd377095c885da64fc802eb19a
v[2] 865c12256db1fbb617cc3f05b1f612d67a2acdfe39dc94edf56a70fba908a1fe30083d3c59124847e8ad4640b6c9821731e6b3f8a72a8d82
v[3] b23e5271565249015b6cf890ee2268c9757ca61008c51ee4551a9cc5b49c8ff9797dda658abe963861965e88e79f4940e1a01ac0b542a28b
v[4] 616be12145fcff9f23947494e5afaf0d689b1438426498f6b755f743804bc3663c1f9c6a08a545ecd4267e1254862e8107c83263378d0534
v[5] 081653b1ad2b7dc50983f09c5f86e7b0cc2892d875d3becfbe2f2606d2e96d0ffca3820c02fdc2eac29cea70b1c09e911d4cc9dfbac64371
v[6] 261854d5b0ee5fb1d158a7f10ef7573e6ad855c950f1bca6edf9a6ed6e421c14c4daad7268017e5d8aee68ee81582083824182d5bc7b8757
v[7] 77780f8e27261f0dc2e9deeb90a7df2a3cb78fe73499dbb08b502019f15fac269394f8d5244451b4c249d370613f30c2639c6c9d8d0ce20e
v[8] 209c9d58a10a1b8dc7ac099de5d7aea7df722fc42aa80ec53becc9d1c51c3496e88a740a2bdca964dc9fe30205ef1d1237de66bde6578bed
v[9] cf810e1d256d39bda5e99b1828bea7020487de3b8e9f02a6a28296d7a50e8b6fd3ff7e5f8986beb80df3271c8f59d24fe1556f2378b07159
v[10] 8448134451144751373f2ec4843c736fb732298f25f80236731ea996e8e077d7c2b28256b5eed60b26f70835829d260010b50bdf14b75b33
v[11] c126cfb52ca7878f68e16956fc50efff007cd3390c129b95e05f62d85fd070d52b2913033e0970473f4c9d5f8626c06663af36f7a9ca1ef7
v[12] a0f342e4284d7f78485aa503833e96e6552de7da3fc5faeb396659eca24ad3a77d1f29c4da10af9689d239edbaf035d78b21a9230aed368d
v[13] 91313abd6a16eed80c3ca1682e7ccb53242609898021e5cffc565a9e02ab331d1d646aa35737055e9ca1fb6d5105ef6848de0ff554d8bbf2
v[14] 32c84317a8dd5480c855d9f1b0b17b31621a84b4b740f62b48c84539fac7afe3ce774cc181cc331470a8edd3623d4b238e7ea952c18c1480
v[15] 48adf9043dfbe3fc7dacc54542a07b5b357f95b4fb8c3402732c567ed229e96b8528cbcf0ef3f3b32e6bdc7cae369ccc2585cb6273b2069f
v[16] 708b127a4abf9ed2eac6db4d3ec4a61a1ee3b333df694f1ccf1a82839ddd4a7df7888a8da3100d1ced09288bd7465d0c75b39570c8e9f666
v[17] b0f76dc2a85d96f93b13b0d5a3af482bc85a476fffa2eea56369155bd35a8ce58c5cb828cc0defb630865e6c5a4e4b64abf340a279c61ae2
v[18] 2e1bb979c25dd7d8bcda1db000e1f36e63660bad24e6a8a1300cf249fda8b7faa35a5f0f1012200a21e74c9787b9091d76da1137b6b16ce9
v[19] 0e3288e0d0c0ab49ad55b6420f5c6277f7ec5cff69498d231dcfe435694396653fe167be1942bb4926378684478a7dc96a8c983030632646
v[20] ec2f0426767bf10018c0486ae303fc4c1680b0d7e8d9086b129d3edeafdd4828019963c3a4a77366e99f01dd363b0189fc08d534688349ba
v[21] 2f6dd77cd75961e8e01d7cd6ff0a575b44305772d42c20c73013c007224918f991c135355fa170652af9b20ec8a6e3716a69d01df943e2b0
v[22] ec0056f155947157b5507657b8bd81c9081efb470169fde59e7491fe6cb970dad8fb5599c9c296337525038b0d2912b5a8169c1cd3b0ef17
v[23] 079140c4624d0bbe887054863a1c6db1c71d33a7cf3e81dc08db118dfcdd3f6e9bd13b2d68cc4f957ad212fb246fecf8b042e7424f211602
v[24] ebb41f7bb07e945c49177e3a2096db7bcc299d63239b3496ea09a9e619fb173daa10fd3892aa21c9ea44d506e02919e2a762ac283cae06a4
v[25] 6e6125322201fa911178a8aa1ef86c60f78591d9a41e99c04640ba3cd9e31c040ef9716a13c15cecd120e101e151ed1d7b5c820c3783fe23
v[26] b58a44654698fad8c09df2c47dc65103b636fcb7d003c913ee0ac5fbfc41c30cb513de83e770608cfe968bee9049454603839c3f7dfd38a7
v[27] ac5e4adefdbeca79f82c626a49037f0f20aa27d4e79ce692dbd56d7a32ee7e56f567558ae35c59e0077b9920aab0e9e288ab4135ab4a8bb8
v[28] 2b0f72e08cf751955e070e2c9175f5fbea10a0e863a9a4320bc1f542bb94ba2df539888b52963a8642ee2e89ca0695e47f245988a9cc5017
v[29] e71381ad841759e1192238340581579b8240a0b8d864df5ebaa59d1c3e404d80e55cd71f450dc3abd72f51826c9f95c53b9860c7b11fe81f
i 20
z ec2f0426767bf10018c0486ae303fc4c1680b0d7e8d9086b129d3edeafdd4828019963c3a4a77366e99f01dd363b0189fc08d534688349ba

v[0] 3ee6bc766b8a4f70d9dffc141a8720bca8fa0555325559cae8e894286c62b6181a86da701f870d8438503aae2c6816fc990a4aaaa3c34ac8
v[1] 57ddb56c6ea3640ce87ae490cb3de3c5dfcc73ca56f0c8166344bd8147aa774f4ed4f99f3843d87adffe51585d9bbf5a5aeead0249fd943b
i 1
z 57ddb56c6ea3640ce87ae490cb3de3c5dfcc73ca56f0c8166344bd8147aa774f4ed4f99f3843d87adffe51585d9bbf5a5aeead0249fd943b

v[0] 64923b0839c1ddae94113bc77a095aea7beae2fc781044305bf7560f75f191015a0780cae4fe386e02164667ee49ce2255d70205f8b95061
v[1] 03d4b35714f7e1d1550ff9c7c2bce527ba685d5acc11fe028cdf7d01b2f7a88ed7f91e61aa9fe3bcd56d03a1c6dcee4b22b8388e6192f0a0
v[2] 101abbc5fd41c7d15af6060ab65a9f26f22708231fe4fa210d3d47612e0980b102b5b065c124303e65736cdd354dc7f635daaa16837f6f58
v[3] b1e6dee61bb752d0f861d6cde0ff5c000bb79ebccad5eac7248219f0ce2892fb4d36b6cdd626fc1c4ccd3c2eb4446aeb809b851f54ab637d
v[4] fd01f0857716beed6146e69b98b77c050e464bdfe39388dd4069e21f934f78871f4667b91aa15bb5a4431b6515e228971da72653312dba4f
v[5] ba23aaae35cb4698b99a71310ac4d91319d544b2a6d484c968b6e60b07ac0dc4b27ead47c706d6bb337707bc0d7d2b215293ba2f3d54823c
v[6] 4b00fbaa072a3932d1340bc8aa4d64a0dd2e94c238eec0c01c714f01be4efe68771d641db26fe3cff052039120f1a4577f0ee49789b04760
v[7] 7a16353d4e3f5a611d356087822fbe7a5b8cd4759fb73e498262150c625436c7c92b7b85fd7d37019b6b5829625373e134b15b6fe9e1a3c5
v[8] cc26a1679c0159dbbe9c2183abe2ea5365870ece6f3f5415913e8cc673c7aef3d493d385883670f394a7958eab3c27cf5edbc238319a38f4
v[9] 63e4267cb67861d332a6ef69e7de91e55545d7ae6c57058edc8d07b572c0adb24fc618328496f7a6ea7d33b17085578f3e09d48718e81cd1
v[10] 7c381d103db934fcf0ac2b6ceffd3ea770f8d41903bfbe40898cc42dd2925632b051313485f37fbc205ce02ffa4932fc66b6a6a3e8f92894
v[11] 74a8bbbc822c5a802dc22bdc2572349fe9e4b67467fe1af5b5d15a14b96b9228e6207b0ce334595a391c9271ce87149839ea54d9c57afb6f
v[12] 0e0b81a7f9ed3386a95095efc79ab14374b3b24d9fb041ea1744dd2653693ded0aba625c0b0abd8dd43354acb25d09ad5753358c0b3fbc01
v[13] 9a1dc5b5c8062e2db0353af54de4b7031e004c4c2dc44f485e3fbafba1d36f13eceae3e798ed6feaceef7f62621bb044f67e3652a6be2438
v[14] e8ae38041d9ffb082cf6e09e6a1155faa5cb882dd4bd59bdfa77eea06a89c128398770929a77c9df8007a1aae42e7da264fcd0ff91d6983f
v[15] 90a1d0add21d33bb51ed34e78df11bd63f09b8435b896a6f92eb90d1a89ab725e5c95a3061cdb76afdd23c97dbc250c5a04049d136f64ecc
v[16] 480ed123adf437beaf8a52906cbc4e659c3bcb2a0a38abf7674fe791df579cfefa0fef81426b03627151880f627a8443b366c2981f3781aa
v[17] afcd937d109e4f48295d96d85f1aa5b2dbd3a57b180b276a834c16a548c508072e5c4975e4505c2b77d65d5f44acd9fda3fd9ffba43bf790
v[18] 0fb7f24d28cd68cd36012603e46f13fc3bc7e160e5d279654dc0b3bc7a6e1a6504ff68c3bb6a4dd3c62d4914470bb18c240322b823a59d4a
v[19] 2fc7f189408d131cc71581de4fd30dc4141f4d64e519955364f7d0e1edf648e056e246e849f6165134ceeb09e7428a85f1dc2b7fcb4759b6
v[20] f34d225d73c898e00c139993934ea4fe75f63dbc78e9f73d598274a35dd30828522ab0fd0ff45cc755e975e3ce29ec1eb952c2e14a184c25
v[21] eae46e62ad9da564239446ae36b08e5abe97d5420a5d874c3b9df3e7e0fe20ac7da239b55a40e68220fed770896b8d912af3e7e91faa9112
i 4
z fd01f0857716beed6146e69b98b77c050e464bdfe39388dd4069e21f934f78871f4667b91aa15bb5a4431b6515e228971da72653312dba4f

v[0] df12a2d80adee0cf7e51b3f5746ee311a26041da37ef591fb9db82994b05c045afafd016c01572a54f3f866479c19c10cef6dd91cee1a758
v[1] 537f656d9d2a02f94b5e62a77be3edafa937c2fe64052a9a50191422f565e3afb7dd35cbcc42982a341ce7297a64cbfb39ec39c2dcf02707
v[2] 9c455d5d0c800754a4c62cbb20ab7bd15390de954547bed2d50b2299476ff6106995b9a4193435cdd65642f9b97d645bc1ddb64a0fa76cec
v[3] db602c286da5b68027b6341e09f2d04b7d4de0e5e69f7f98aaf5e3356f7674cd7aca07e07feb8a592ed38253910d80458a4b92b62439da8e
v[4] 0b78e6ef87be5081ad0f17a25e02f11ddc9d2e1a50c8034c41893bfeee3dc1c5500145a0f7b4785aa387b6976749be5d50cf2b3f747a7198
v[5] 6aac5037ce56e36a3125fd648e2fa38d028496501b91958c6c7b4c4a4af715d054e41c5fcf3a1050f627718deab0a5afe04f0bfa486026bb
v[6] 5931140c034302b23f67a8c59d47812c34f07a0e89c0c2a0cde21ff3b2582999e21a9a125e4c475cf6139a315dae9b280572e9c3a3cb9b6a
v[7] 0a532903d8d46e6833ac623e2d36e6b439c750309e40a4f04ac27eef685eb0286498dbefbceefe0d17af160eac02583ccbd4ce76c3c3e291
v[8] 25e62741157a21bd593b7019af188f87f5c1327bc71e4a4b04e75ec4a471cba67c9c8525d9431db65f4cd29fe446c11ec22d8eb3d8763f96
v[9] 49b319aaaa39a8c567159a361e6b6cd5606083678f65ad887bef643a22337119d11c14d808347b135c1cb2c873b06ae9300504d17c2562ed
v[10] c43066b69c7b78eda663a407d5335727df3c16d190876edf1fb2f7f1b923b12e71016a4f72ba08c6c0dbf3b56c145afe75d133413dd2c051
v[11] adde9ff89c361413c9685d5bd8a25539bb6e834c2730b0462864bb77cdc09dfa34db23c6192eeb8fadead450d5ca86695ecdd579bb0e70cd
v[12] c7a14d2415432bf7f9543023689e5ffc335d766eb52103827f3c5db76bdf392dbdf3ee42b08749f702c3e5e8d5d16628e5c6f0392e67c472
v[13] 560a7b9032c0eb25d8470b64a009c576456226200a85f63f3f9735f4814897b2e687d0b20cb62915b10c225610c87bd9aa3303c1da8a7705
v[14] 8fdaa407861a1b16f36571029d492ac6beeab627ac76992bff07aad688d3fb6d67afc7afe2ead365cfb8093bd7a46285b4112c55d5071735
v[15] 86774ed864ada8fe180264fb80c1e41dd80b2ad3f08859c8f295a9527eefd858f9de22c186dbdb05b028538e1198e099a15fe56af5183764
v[16] 8ab5e7a159f44e3d4bcba598cf2207ce0a1a490386ca2fa2e1ab767d676b92a8e96e464fcdf92a1b41c31d534ed8ae2525e65831945e7388
v[17] dddb00e27a12adfbb3f7bd005668f3b1253985ad7969567d7d3f994010a438ec9f72fe6443dae930c4a85087acaf53dd63db5799088d395b
v[18] 3a91d9141f0cb0d8f4f60fcf70c7c46c22db720af58710c9e106a26e3d5cee95c695a205791a92c99536c1c7071eaaeca5db3d897613a3a3
v[19] 98b8fb64470162840c6a4c50431ef9323578752c66422f95daf2a8bc7601f5974e99ef5f0b2addabf0c028059145956c6486ed9bae560089
v[20] 20750ce31325c8036558effec24b9551ff28c66d66ae4d484798ece5f52dd62482901cfc5ff31977c15c5ebcd959d2ce76e90f6b2b98776a
v[21] 48f579e7362d27765968081d549578cae8f88a6c092ce45678fee4a68fbaef82775f441538c85e66b7fa96c825c2e7859dff814b9cff628c
v[22] c82123558c6bb18ddf96c2dd4a317f0e75d6927ef14d409bd9e46fb3b43ab8ea7b74f50b6d13d64ffe92698a076bd6c89eb8e2846e6fdd32
v[23] a4320c4d9d647d32c46225f741641681ea81de604f2f8cacf4a8721a948baa86fc4433fcb8cd818d44fefd58d68066a2b44ebc8b71ab2ca5
i 3
z db602c286da5b68027b6341e09f2d04b7d4de0e5e69f7f98aaf5e3356f7674cd7aca07e07feb8a592ed38253910d80458a4b92b62439da8e

v[0] 2b32c10edef7a71e025cf8cda4b901a5d70aa7a6c8d234c3564d6be3732bceb317f3902d908483c04862cc0e4626742fb221cbf3ebfd5b63
v[1] 4e9cfe329c1bf51d8a102ed97bcbb7f8fe72b535393955d138881fa1796a68ff70bc38361b5926a313389756da797b40cb0ac3c1d164e895
v[2] 53b03cd17c9baf7a59879393046d178bfda4a73b9e6bd500717eef1463d5f55ac802924b7dd323932b3382023c2e32cf4a8f01e13d8b0e25
v[3] 11c19f0aa645361c3e024de76d9db38ed381d55e5a08a8cd32f1117f37b1e3afca1fe42c52fe2762c45cabd451cc73dc2fa3096b0fa565ac
v[4] 91dde9eebb775f4dc6291be5ea32877d4dbc91404edaa2145423c7b83007c65161f7139dbd009c67629a49d4718ed47318d07324f357c319
v[5] bf9f23cd67c9614689e77c066f3185b8614924d379bef722c05d8a4758527c05262895351bba2726b55714f65bf2493956dbbb5ca33b5249
v[6] 4a14e23723cc4154f7ce0e45af8db9de5c6d4a1d910c6e2f7b403fa8f069dfd0c844fab6ea81b736924b754864cb6ca8e76a4c626532fad5
v[7] ceb9c350542515c3112b8ea2f08a78d5e564614529a482a5d541b7c38d6e3318fde02b3d740021b453f1120b558e089478e39646ea5cdf5a
v[8] 35850876387b426d8d7be7d1b77162c39309c83f0e2363ae1580fae2342a6847c9c79590148887a94672f5b6707d6711207b62aabd08ffda
v[9] b680b68b6c61e7c23daba813e1a0283ad83e20f5a9500a22c22077cd12e0164562d8ed9cffdf2f267ff95197d40a7ad26eaef750d9310ad8
i 9
z b680b68b6c61e7c23daba813e1a0283ad83e20f5a9500a22c22077cd12e0164562d8ed9cffdf2f267ff95197d40a7ad26eaef750d9310ad8

###--------------------------------------------------------------------------
test condswap

x db0be3ccfda1e2f8492bffb5d3344f1856ff1896b6a067d2fa064423ac5b05b669db1c9b51899c44a7f470be4173856d9aa3d1cd10cb8c9b
y 3005560f89232a97cebf6808e7493dd0f17e572556b53723b57faee51d8a0a45c7fb51aeb916f59c74ea6041494483b2fdce72189d1bd031
m 0xffffffff
xx 3005560f89232a97cebf6808e7493dd0f17e572556b53723b57faee51d8a0a45c7fb51aeb916f59c74ea6041494483b2fdce72189d1bd031
yy db0be3ccfda1e2f8492bffb5d3344f1856ff1896b6a067d2fa064423ac5b05b669db1c9b51899c44a7f470be4173856d9aa3d1cd10cb8c9b

x ea009751f6a7045ec7d6d46b16cbe663f5a78fca3835626c79864bec4030443bb9349654d52b2edab92b8f4aa876a97e868aa6267a54e6b1
y 8c6f864ef7f664f4985ed8c1ea0c63bd7ab355b5321c2712791b610a2dadddc90a65ca8d5c25ff199b011193796b08f96420934615103b7b
m 0x00000000
xx ea009751f6a7045ec7d6d46b16cbe663f5a78fca3835626c79864bec4030443bb9349654d52b2edab92b8f4aa876a97e868aa6267a54e6b1
yy 8c6f864ef7f664f4985ed8c1ea0c63bd7ab355b5321c2712791b610a2dadddc90a65ca8d5c25ff199b011193796b08f96420934615103b7b

x dc3aa7d363058993cbdc54e95f3c972a2cea17cdf9370fccdfedfa1ba939ca35f762c5c6283f84348282fd56d83539804427eabe3bd6170d
y 8c47a0990eccf7300986232dbc8ee26e8996c3bb4b73663ec5525312bea8975221c9f49039840c181d042654a8c1806bb86702ac7d0b80f4
m 0x00000000
xx dc3aa7d363058993cbdc54e95f3c972a2cea17cdf9370fccdfedfa1ba939ca35f762c5c6283f84348282fd56d83539804427eabe3bd6170d
yy 8c47a0990eccf7300986232dbc8ee26e8996c3bb4b73663ec5525312bea8975221c9f49039840c181d042654a8c1806bb86702ac7d0b80f4

x 69b45538513af2148e0a2903539bc5e20fca4da447278bf5967091d2e781121080c14a41989f9ee5218c444d3a42989ba890c7be7faae5d3
y 935eadbde0c571c29deb4d8404dd39a8cca177ced36c359abfa7a6cafe6075422e1d79cba8d81cdbdfa4a5144faf37b19ca22b2b40fe1a0b
m 0x00000000
xx 69b45538513af2148e0a2903539bc5e20fca4da447278bf5967091d2e781121080c14a41989f9ee5218c444d3a42989ba890c7be7faae5d3
yy 935eadbde0c571c29deb4d8404dd39a8cca177ced36c359abfa7a6cafe6075422e1d79cba8d81cdbdfa4a5144faf37b19ca22b2b40fe1a0b

x de30072f175127ad4200a08099f4d0df0edfa40eb02e21a03c5628dcb2f70da8bce9ebbb1ebed2aca391e73a4114c06bcdbf762bf28777cf
y 5eaf3aecf1f7d1fd3b43be8fa450163c79f162b0c6eaa4b1ad39baaf3a4c36564e001c935fdce38e90789151beff0f3cc4fdfc2d86dcb587
m 0x00000000
xx de30072f175127ad4200a08099f4d0df0edfa40eb02e21a03c5628dcb2f70da8bce9ebbb1ebed2aca391e73a4114c06bcdbf762bf28777cf
yy 5eaf3aecf1f7d1fd3b43be8fa450163c79f162b0c6eaa4b1ad39baaf3a4c36564e001c935fdce38e90789151beff0f3cc4fdfc2d86dcb587

x 1bb20a5a05b190737ad6b2bc5bc2b9259fa7e36eac8f3032a7c56ed59c1510baaea32bba898b329b0c64fadbe454095b9f82b366bfae3d8b
y cf0a87c8befed020caf82f37b4c5f17d2aa9ff8ab75baa156cfe2716ac1eaabf9bc760c2ddcd66a9d02a8384ad1db9e8f857b151d126e0ef
m 0x00000000
xx 1bb20a5a05b190737ad6b2bc5bc2b9259fa7e36eac8f3032a7c56ed59c1510baaea32bba898b329b0c64fadbe454095b9f82b366bfae3d8b
yy cf0a87c8befed020caf82f37b4c5f17d2aa9ff8ab75baa156cfe2716ac1eaabf9bc760c2ddcd66a9d02a8384ad1db9e8f857b151d126e0ef

x c186531a219344dc485cd5dad6500616ac8e0653693168573cb9be590b02dfb1ddc5d87d27f2d9fa46ffeda955a6285b7ef2b9bf84825d06
y 91f3be7eb2e0be38d92974d81be5126ef40d358f242d23aa4863fb16ba3e8844e02edc87c0206e211587886ed532da0ab148cfcf64e9b58d
m 0x00000000
xx c186531a219344dc485cd5dad6500616ac8e0653693168573cb9be590b02dfb1ddc5d87d27f2d9fa46ffeda955a6285b7ef2b9bf84825d06
yy 91f3be7eb2e0be38d92974d81be5126ef40d358f242d23aa4863fb16ba3e8844e02edc87c0206e211587886ed532da0ab148cfcf64e9b58d

x 9f2476d6db424d19ee0cba4ed091da5b44ca63caf2f711eaeb7edcc75f49e0d0c367c1f2817b6bb39460f897432901064cabed7f6a03b1f0
y 66e7dcd34d76a19e3285685112b7619f9a3557764a918922faf1370bb97c2b2fa845dd34662cfe7299ab702c68fd43b5f6f15a0af6625f2e
m 0xffffffff
xx 66e7dcd34d76a19e3285685112b7619f9a3557764a918922faf1370bb97c2b2fa845dd34662cfe7299ab702c68fd43b5f6f15a0af6625f2e
yy 9f2476d6db424d19ee0cba4ed091da5b44ca63caf2f711eaeb7edcc75f49e0d0c367c1f2817b6bb39460f897432901064cabed7f6a03b1f0

x f124ac31d304a29cdd94bdc0611c61064a7c5f09cf6847bccd52fc7a7b77ede73b42b1ef75f000de4361028e0fb63896f4ef5ad3bc1b9c90
y 6629084a230c793086e469b9a01e052ad7a5680d6955667e0dfb19a250f447d9e238695400dc4ecaeefcebed44d374e57ec4e414f5629e63
m 0x00000000
xx f124ac31d304a29cdd94bdc0611c61064a7c5f09cf6847bccd52fc7a7b77ede73b42b1ef75f000de4361028e0fb63896f4ef5ad3bc1b9c90
yy 6629084a230c793086e469b9a01e052ad7a5680d6955667e0dfb19a250f447d9e238695400dc4ecaeefcebed44d374e57ec4e414f5629e63

x b64f2952510827bef3d32ef6347251274c7241d9913268a7a6a5c360a4b29e7ed04d09a9ee5aa83235eaf8c0582b076b21d78b7062952773
y 77897028a9a81fd54362a6085aa2c2fd6fdd44589f447c7310b9b3b5a29b54ed15c57e2c9fbff16f20129a4dbd43640a0d1037e277ca5c93
m 0xffffffff
xx 77897028a9a81fd54362a6085aa2c2fd6fdd44589f447c7310b9b3b5a29b54ed15c57e2c9fbff16f20129a4dbd43640a0d1037e277ca5c93
yy b64f2952510827bef3d32ef6347251274c7241d9913268a7a6a5c360a4b29e7ed04d09a9ee5aa83235eaf8c0582b076b21d78b7062952773

x 4d75efd204a66aed323456e6f55cb891ee7a31d739ae89726e0ea84532f9c740d1b647b117094fb85da2c62da04f3b9cb13db6b840046b7c
y 0afd07bb073a150e7b82711e1f42f7b0789af8192ea6b4e1b24a3d48de7f8b802875aca5a02a9d24deca0b58c895992a449d01026495b96c
m 0x00000000
xx 4d75efd204a66aed323456e6f55cb891ee7a31d739ae89726e0ea84532f9c740d1b647b117094fb85da2c62da04f3b9cb13db6b840046b7c
yy 0afd07bb073a150e7b82711e1f42f7b0789af8192ea6b4e1b24a3d48de7f8b802875aca5a02a9d24deca0b58c895992a449d01026495b96c

x 1ff4eb5f0280744f0c909cede8be29cccb8ae43e4626018a9a1d352a97d987678863ba34bdeb183bb5e9347e96760665f5881570778a2e19
y 49cd390a9edc7fad6c84c2e44ce09e490161094d2dc6cad30759fbef10aa30e5aa6474bc46571188418f3e4a2b19ecfc379a1f94e3a44e48
m 0x00000000
xx 1ff4eb5f0280744f0c909cede8be29cccb8ae43e4626018a9a1d352a97d987678863ba34bdeb183bb5e9347e96760665f5881570778a2e19
yy 49cd390a9edc7fad6c84c2e44ce09e490161094d2dc6cad30759fbef10aa30e5aa6474bc46571188418f3e4a2b19ecfc379a1f94e3a44e48

x e96c0316baf01c25ef8a41c02e99aa84c82f8eecd3249be268834afb5f7e95f0ad10bfad4160bb335c30ffd6a1090c91c57eb6ac7a7a5e66
y 115e6f115bc4e19af60710f3dd821fb58cb680a32d6973eae9ea3e48f1928dc1d9f684a8c8de80affc59bc0fb342bb040f89d2d46b8ff8fc
m 0x00000000
xx e96c0316baf01c25ef8a41c02e99aa84c82f8eecd3249be268834afb5f7e95f0ad10bfad4160bb335c30ffd6a1090c91c57eb6ac7a7a5e66
yy 115e6f115bc4e19af60710f3dd821fb58cb680a32d6973eae9ea3e48f1928dc1d9f684a8c8de80affc59bc0fb342bb040f89d2d46b8ff8fc

x 71bd8f5036da4c33f6940348ea448c2f9bccb152dab40b410bd695923a9e255b33aaf361055be4bb9a570e201dce784cc1ccb0f89faca85f
y 971b2f6569ddd9099a87ec4086d8218abcfbe81579f25f03634e471170a5088f48a6cfd09ed9e389ca37b780165c00b206304229135b6044
m 0xffffffff
xx 971b2f6569ddd9099a87ec4086d8218abcfbe81579f25f03634e471170a5088f48a6cfd09ed9e389ca37b780165c00b206304229135b6044
yy 71bd8f5036da4c33f6940348ea448c2f9bccb152dab40b410bd695923a9e255b33aaf361055be4bb9a570e201dce784cc1ccb0f89faca85f

x 0f1165e19968f3e6159e9f7f843c1b849e5c3917af4e2798869112c6efca9993ed339c8495eec8c54b286820bf7befdc8ae344e4d309c077
y 7ce5a2ae66b9bddd30c98d9aa9fcdd6ef90d244d10115d15cf5d81e9e389f6852b153a42c642447043fcfd278166b92c624508973449b0e8
m 0xffffffff
xx 7ce5a2ae66b9bddd30c98d9aa9fcdd6ef90d244d10115d15cf5d81e9e389f6852b153a42c642447043fcfd278166b92c624508973449b0e8
yy 0f1165e19968f3e6159e9f7f843c1b849e5c3917af4e2798869112c6efca9993ed339c8495eec8c54b286820bf7befdc8ae344e4d309c077

x 6dd07b4891d8f45ad1ee64da38383ec50d6f29634767607eca19a547cadc3c157ebe7d86a28d4d2fa2d40f2c5402d8b338cfd8d30aeadb6a
y 63da9a5a0cd51e58168ddb305c0e70a2f898279dae6394e1b3e1ef3a0763847d5d2f15be493114360204d037d7d3c3a9e746d27dcb544ded
m 0xffffffff
xx 63da9a5a0cd51e58168ddb305c0e70a2f898279dae6394e1b3e1ef3a0763847d5d2f15be493114360204d037d7d3c3a9e746d27dcb544ded
yy 6dd07b4891d8f45ad1ee64da38383ec50d6f29634767607eca19a547cadc3c157ebe7d86a28d4d2fa2d40f2c5402d8b338cfd8d30aeadb6a

x d91228b648f75350d775432af35be9aa283e9729fcd3b689f0c7ee02ea67efd33493980ae5eec92ad6ab42ccd253a7aab5a62c26be275278
y 07c5d1b4f9b8db88cd4187b1ae5e175bf703af12b26d066c1d55dd367569d3e23e3d0470f3c47e6761746ce7de39cf563500d026a6791980
m 0xffffffff
xx 07c5d1b4f9b8db88cd4187b1ae5e175bf703af12b26d066c1d55dd367569d3e23e3d0470f3c47e6761746ce7de39cf563500d026a6791980
yy d91228b648f75350d775432af35be9aa283e9729fcd3b689f0c7ee02ea67efd33493980ae5eec92ad6ab42ccd253a7aab5a62c26be275278

x f9e764e20657319802b53ee29df43b0d83d994d9049b9820fc0c31b631265c49f6613923a042eadce5902fb81753784ff5a9c0de2c4f6b12
y 6ab2f8279e82aa65e8326e5c60bfa067e4967b3ea67d0369853282e5429736529a43eeee3fdf24ebbe5ca85b59647994fc99c90da83c6229
m 0xffffffff
xx 6ab2f8279e82aa65e8326e5c60bfa067e4967b3ea67d0369853282e5429736529a43eeee3fdf24ebbe5ca85b59647994fc99c90da83c6229
yy f9e764e20657319802b53ee29df43b0d83d994d9049b9820fc0c31b631265c49f6613923a042eadce5902fb81753784ff5a9c0de2c4f6b12

x 772289865ac905fac203e4654b258890ddb91cac71c6d2af3826e3acfebfa222c937b40069ce3a757e2ffd960b5821ed1ad54e4ad2e3c6fd
y 58dbf838ab81a754533c7f80fea48cbc981f724e4c150ddbb0afb5c711a8e21079446f77c427f7eb1892c096fa3eae5e2b070413611cd184
m 0xffffffff
xx 58dbf838ab81a754533c7f80fea48cbc981f724e4c150ddbb0afb5c711a8e21079446f77c427f7eb1892c096fa3eae5e2b070413611cd184
yy 772289865ac905fac203e4654b258890ddb91cac71c6d2af3826e3acfebfa222c937b40069ce3a757e2ffd960b5821ed1ad54e4ad2e3c6fd

x 0bd6656d68c41bfc5389db274367f69191754919435ba58d2256017b5bc595d102c6f4f745b3ceb0c32bd0a6cdadded3a3dc925ef2b5c73c
y 1d903009c74d3d135a192bd42466cd28303f482626a7d10832f1f6eae72c3b051b0373e62300a71226011475034f0bfc6c9a65601bb83993
m 0xffffffff
xx 1d903009c74d3d135a192bd42466cd28303f482626a7d10832f1f6eae72c3b051b0373e62300a71226011475034f0bfc6c9a65601bb83993
yy 0bd6656d68c41bfc5389db274367f69191754919435ba58d2256017b5bc595d102c6f4f745b3ceb0c32bd0a6cdadded3a3dc925ef2b5c73c

###--------------------------------------------------------------------------
test mulconst

x cb908747a1af81f52715ef8440aed06aaacbcd7903c99cdecef5ec54e7845bedaad6475028b0cbdb0d53b6eeb71843f900fefd398a083d5a
a -417895
z e95e64fd1b2e2e79d1bfef5c96942eaf7ca5d40b1af774ed9c4ea2351c8ae81013f896bafd1f0b0e3a3c2ca3347c6cf88f988877af5e009b

x 46b23d83c0848e79af947191cb76b087483beec6224af749e59c0c5ae27ff8abada31da895f8132aae0457f5ddc30d18a8d52046fbe6ef55
a 384370
z 31c9bf2f3bdfd3c1dc115db96d7a1c15e2a9ae67dfebccddc9408a0dcd147d9aa62ce4a55a2d6ad54542317756a08d6be3b959bf132624e2

x 53e19751de62909506bebf74411d359014ec4b6afbb8ce14eeed8a3938013f0fee6897e3cc3adcbc90d7df321c4caa1941d0e5909551335d
a -49682
z 82fb902a8992ec1032a6837cec56189c45d1c1fdc47748e17dd9ecabc807a52eb537d6411f99f4d3b328e7ca76475924f90506a8adeb908e

x 7ff3b9b3d8ee248a48d0c8d308d8c3658374acc92303143061a46656ae2b35094ed7b5b27d23366c0e42ee0a9471a4355d81cda0e4390348
a 131908
z adbb3dd21e634dfe2c41593c65249f03a048338037d4a107892df36f10e3ff68402d6f48e74bc7a7858f2c3650fd2a10acdfd4213850529e

x f532f4f5ab5447b083ee4225246aaa4448696e4fc8bcf5b0ec1b52df88354e5327d7a3cf6e15db9945205968c275755ea3906a27437d29ed
a 383911
z 1f42b3585a2553ab19b14639c3e3aca636d88053c70fb758962713783bcd824b729fb4d01dd56a344d991bf2d32a2967acf470b39bee88a6

x ef0e2a829097e50575eae6b1ad3fa10b8e417b0363654e0cb07a563a905c02e367c6f1ad7be1469b9f5295e3db0726853adffb820715f7d1
a -226220
z a7c5387af1b9f61f09d628feac1a050173021386775c9f534557b8841b812155325e3632eee7a2302ef8af0b4746575d6c2bcf3b29f674b0

x 3b4655b1c22542ca413f76bc24751a01cdab6b385b50301d67fd62ba31ad132150e38e12a849405112c4742e93b92849bd8b872c29edb2f9
a -89924
z b51c0dfa2407a89435fedbcfd7835b6e0849d8626995fd00974f44c49d794d3c5dc16028e9fdee45bbcd269035e8bdba695a6653028d4d59

x 48bdc2073bff25ae9bf7fcc368d65602a71e48c343bc7181c361331f108867d56c588f698aa5b91222f5dbbc859bce656f2607b053222fc7
a 66432
z e845dfe65d563884074ffeecaa325706df4a129b73b056cab6ad999588216d72525222ce00ce4d2ffb09fcf6f010a6eeb2eb753fefd44b47

x 98a26f23f83673a480076b2fc7ccfef07fbbe70c4160d5af638c345f7d17b00931efff543fd47b7b8b362a70657a458566ada4aefd1c5eaf
a 492192
z 0ef483482255b5ca0f8338317f6eaf9c4fbf8bde8b8b04e26d2cdc0632186f1e62a9c3a1be23e8dc444ce50783135aeca614c884bdb77a30

x 6ebf7c4e06837120cc852a077945656046e64c2d88ce440bdfc8d38736a4d510a722bc8b0d225f11df0e704e4b04c48bf481da68fd1e150e
a -7098
z 8d4e2cd12323b5744442fe4e4fc21748b344d7f94794398ec187f0f986ee743cd733a7a16bd4495818ab033103f020c794c988c5d2c1628a

x 94e49f2bb473a7273abed94363c4dc3d13db159e3c3698a62ce5f321252aa03c7f63dd6eff9529c985f43abc7283d11140cb44ff6fd0f3d3
a -392951
z 58a606cdc1bf1d5646fc08c7a6b3336fbe532c823c70242ea7536cc6dcdde7c4f492306e39ac0fb88367e41d63a8305d69fab57a52c8c284

x cd262298ce3b73294bfb523c30206fc3771144890a0ebcef19e02e5085973a6aeefabdf8cb7186d57be38ee84b114b9a7a22556c0cf88df1
a -237681
z 7553420c53b255fb909d6e9008f043e7af25a2a9c29b177b830ff1ae6f6fdcb6aefb8386465f24634fb04c6078322ac691586f91cf7928bd

x cc9bd2e72ce15dd50877f95812b65c65cf09b14e2817784a5b296c123e498c532362180a932a455b2ddb75e26335dbcb21eb94a90ebb6940
a 246794
z 8838e720b6e497d9cde9fbddc2333c13cb5bdbbbe5afe41ffd61f5035c8c4987fddb8036c25b0505765bf1a5aa369c6bf7723c65278584a8

x d8ab6b8f3523e98f49140e051c0b744bb0068d20f499c0763aa28ec1d1dd7e86356f357149c317376be96cd520b3ae04a2c4d468d74745e8
a -360296
z 4c0bc5f6fc52c6302b74c790d57ccc8fae59f2aeebb59c3393c56e70060f4d170ea41354f5040804a6e8dcb4a7c585ee71a6d90454e701de

x 6036fbfb9fcc223a1776ec67c9424788aabe553a7d6a0472159edc747ebaf97e99f7263ece635ef0b702a3610aef32e17f59fae503e18d74
a -5433
z f6fa9a49b55077330fcda976a19ba7cfd98e44fa54044840df0ae9e19710193e684703f7fadbcbbc534e7be3adec0cae0d95ea414494f368

x a3433dfc89ec4d6d858bb5b018e2d474b7de7604ed4491957fe16453d3793740ef88136814f59b19ed3610252e74cbc3a36571d02e57913b
a 237641
z 7a01a802b7a5aca44675887d9cf94d04d4893e2dc5d7474090cb32798fa370690255f57d18dce2a57126bb5883672b5a74a1c780f48f7bd8

x c17ecc6099e9630a4ec20f4199abe1c10d414f6d734014ada1e6f097090a2bb4e638fb52d9bf56080d77c2b535f52cb091cbaad3c65072e8
a 517226
z 708adeac4ff99cac4c3eb649d55276f58a7d21a0507af176a53893c567050d352af501a9c242baf53121e8b56f5679b175dc01538350b644

x 134263fd765e5f1da64900df5643c5241d4fa8a9e96ee59f01667b64f9122e85e995b90d4bf5d5fe9f68825dfa6edd19d8ce009270ae2984
a 390674
z 2ffbda7ccbeecd8dc4600965679146753c496d35bfa546e13edbbaa259065b024c8aaa3a17a3384f4f14d5ee01371ac55fb50a153b4ac1c0

x 54326fffef9f0fe1207a07c8ac063d64b3fe81528e005f857319a74da2c3423a552b05f8c465908b028a2dcf15cb7158c99a1d2bdfd890da
a -255467
z e554e875e480c68c4fd780425ff8fb50f18bbafd0536a09489bc7cf197fdcb80dd4c7e31447a1a862066b6761ea39ea3b8c3002039c86b40

x 5c30f73ec3addb2d27e0e79579063f2d30fa9fb47c2b6a3a32553120a047cad83abc901e5a5b4a65f8e51144f7eb0abec9a4d105236b2618
a -466309
z 5ec894f6abe2d88971da11b982c3322d1f533a326057816f6273585bfa186a7f569ddf93c27e8e74719ddb515689d5935c56e6b86936f22b

###--------------------------------------------------------------------------
test mul

## Easy tests.
x 03
y 02
z 06

x f7ffffdfffffff00000050000000000000a0ffffff03000090fffffffbffffafffffff00000020000000fdffff9ffffffff9ffff7fffffff
y ffffffffffffff01000030000000ffffff2f00000002000030000000ffffff5f000000fbfffffffffffffcffff4f000000ffffffefffffff
z bfffff6f02000083ffff5f010000a1ffff9ffcffffc0ffff6ffdffffc4ffffff02000082ffff8f03000089ffff6ffaffff7cffffff000000

x f8ff7ffeff5f00001000000800000300000100a0ffffafffff130000fbffff0100000000e0ffffebffffffff7ffffffffeff1f0000080000
y f7ff7f0200e0ffffefffff070000faff7ffefffffefffffffff7ffff040080ffff1fffff8ffffff7ffff0500800200000000f0fffffbffff
z 0a0100240020f5ff7ffdff4fffff4100003a00201400400300a8feff030180e6fffff9ff8f02003001002c0000f0ff9f0600d0f8ff670200

## Random tests.
x 94aa99eaba90c5eb2efd7101c8efeffc1e44c8fcd84ccb8ef27b9792ae12534c0a250e5400407177bd655e51c343f776a3fd26474da4dc74
y 284a0f7df2d7d7c760cc57b1606625884c1643020230a9eecca7de6098f5338ddf9297daecae8a07e199494cb6db91c2c683566bf79545d2
z 213a31ed7e494f470736ded872f2c4f3675562a7b42bf01ea246be0ecaae2a61ae500690df9f99ea9fa8e5e1b9ccf3614bc34148b7693c91

x a434abefb0de3c7f5e33f9230ead871bb3f06888c0d568b9a74fa32b676dc600fed2d54a042e1b97340852c4d6ef796a18561884d760d4ad
y 99d4c85f047d3dd8e530c50ae7d80815a30ec6ba820316f5da922cfa7a51ab45290ac2ab8a53082716a6d7f77ac5a285fac298eca4fd9c52
z 97b2991fcc858d5667d3674484db9435ba71ab0c836c534efb823c123f9e94d0d3445257c55c73e8bd62f1d7acf1d75fea5eea669bfb9912

x fe9911abbe57f1ddd61acd062d59637b129a1571af65fb70169db0d8b12b498a66d1eefcf9c8cbea01179f113afef0ae192550828885689c
y e371e9a11f662e38caff28cf4cf5ca8cdfe4a8b99fa12a33765a22ae25506874fdcd85388ed406a955d293320e01957f119027ec4803c2a9
z 171b49441f9891d927d2f6436eee1dc59e7872730be496638017b42151cdf00e9abb212bafc47c05a4e185bf7cf21ccd97b0c8ea426e4381

x 1c300df44d28406d070b10c1920e01ea8b9056d9e1d6f9704dbda3f6328c26a28e9e4aa07dc79e03c09c5639cf8b8c783c8b430b9d8c21a8
y c565b0357a1e8aff3b3a6164ff34c9598a1c15a1551224fb38d25dfa3b0627c9d992dbd215910236aeeed23f4efd99640054b6648946346c
z f7871e06efb6f737cb4e04f708827092e94e3c70faee57f70096b9d674d0ac5b228824924bb705de49de9f9c0e834462093a9a5551fc7d5d

x 9014dd22854f1f21fa1475d74eba669101c871c2a21ffd5d10f0792e3cc5d34f15b4735759575dda169e2dd868a5ae64dbeaa2a654cfde5c
y c6f59ecf6add5ff92813cd6f37de9c6f8d3ae9cd33e4f3236ff43127f463f297c3067493868adf7823bc285a3d609a57d9b0b841a9b628a1
z cbebe67e30ed82acb0de699a5d874121257b78c2b0642583713b58fdcd089a6277a5c5e571538e4af9025dfc63cd78931be51780055dfb2f

x c8fc23a431d744e45e8bcd2dd2ca612db40b26287970aa878a5cf6283c51b2bd4edb76f705f29bc3911a9aee8fb7272009520f3590ac4c4a
y c1015900ea58d6305b8b558c992bff50a8614843cd3d11274830dff6e1db405f8b268100fbc5e44c477cc2a9e83f825c7840e560fc2b2920
z 6ecf49d92efb60a15a9de38ff37d3b23b339d889ad8b11cb332df260b9c49fd28b287a559fa5a5edf732b3bd1014711fb7d088a37cf6ef72

x daaea5c9549776d866be36a032027a65eb8325b1684d3c37cba068e69aad7d4f104ff47c14f669883cdef5dae9a0c7840379631ef97e6bc3
y f8dc00891a9c55481a224309a8024ea257850b2bc62ab10bb5ea5b836776cd46994900d6656b7f7e0d9092fd824b16d20ea14528a0de7729
z 83d3eb62429c2ece396cd7069dfa2985630da2fb0949b52f1df9231c82f32022543d4a2302241d0146b4db97f44ec5342b6444f463ad056f

x 786f4ebb20161c96f93ffe3ee2b0cae50fc454d910b3fae4fbd8454b8ab7975c6cab8f6a1b593996b24b22603137a52ee732f9d19f9a6e43
y d78d3df4f455c8f5d98baaa17200d4c94056e21768c4ca783188bf15c28dc86c581fd9c150f923f905becba19361ca94f7434d8a74744669
z e857a2020e1877b50151772bcf06763285c1d8b2b5ffdb63e13ef4985ccc3b965fdb053305f16feea4a3ac0edad21423c80ef847181bdff7

x 6b48bf18ec4557e745cad3e106511bd5a9bbe136c77cf639745f891f54bb16c11e19770eb5112df8bb6755b97cb1e23c9c7efe589693764e
y 95c2a38f889c451f792c3d5d8b3237eed3f99e2b4857bfc48f75d7c0de3f293d2cfa7f97d65d75e0e3df633d84931973ac542ce07ba974b1
z 2fdfb1146b569ac98b0811e600e2d8e578023024ed704f97c7f7d56a2b4a33ac6ec68d14f0789441a904d175fbf8b91603c532ecdffd27e4

x 1fbba059c333843e3cf0cff19bec99bd0cfc89c3b390200165680b742fe540b32042959022e7393c9e13ef7fa3f1dd5ac46595803210c536
y c723bb3649b1d95647636abffd325e363931782f02002ad6d75d2082c980a7a2c5e1d51045880b36d4f62c16250faffcb2acb824d8d3d5d4
z 97041eef8892ecaaa97c4effb8c69160b3878fd302bc5f0862bfe4894bf23193738d8dd95c9eee9539e23fff67243372b97f02c3a3934555

x 26f5bc0c2c49899690fa423478ab1cf7000be27609bf683896a6ce3f619510b061ca04debb6c64540e724d113cd4b8ff3485337851367700
y b8540188b9ca77a82899c7fd26412dcbd6a3c9b45be595f63bce7426d7c16eb20c3a2dc86afe9064edc19840f75f05de828c276e98451ee5
z d973580e88abb6c83defc009607082ffbdcae6ce9d577218580459711682f8708a15de9c62e3ca3b50e91a7bf5781deee152ac801a64fe81

x 6c044d6556abb8efdf5b180695293464a8bc4b9cab201822053c7295973ea0a8866425629cfff1d372a48f51dbc6a7f828691194c32c2c5c
y da28b84dfd48f206972fe282449991597bc7f0734916b6f7a253897fca2ccd6b80aa477cfd08549b6d25bd18932128e59889e2dcfaf76157
z a599fabf997468487b9376500b58a51e0e00c86d9eac6f50157aa1017d99ac8b95e7842b36071a192784ef72433c06a1dd042990b71ffe8f

x 50378c6ac56816962d428ea523a0cf87121fb3c53b37bac6d3a05fcbdfb8a5fb20aa014f1e1b01a3963534d403baeb7c436f72cf3cc5db58
y 78901fa015c6f0d3e1072aa87d865579fa405615691a3f27945f9b1431ee8bce8ac9965a1f9b0f42ff10bc77c43cc93566eee9a9b79866ed
z 00127644003ed4b518f04abbd058a46015fb328883b92070bc5cf0fd98d7307dfabbc65f3e8551c622792efabe55f03953e498e360410790

x 5db2f6db35af2e1c84ab6832b967bf987cd03adea7113fb8806ce8fb3ffa426dc10997e13afcd39cf5cd65f65f8a09e650fad8e5f6ef2648
y b063695bc97a18d6ccb0785ee4588951dcbee420ce8e37b25cce325352968015c94f9bb784f3a2bfa34c6a1edf710b63f139fff6d4f7b2f3
z 999284a309482f67ab6460e73ad1ad267052b59fe50cd58a245e22079e2b50b119e312ff60a65037cf9faeaa259d22f689eaedd7924f1093

x d5baefaae7fc9000e0d55f287f740dfb1899ba6e9e36338959a16ac5e5f45442a37086b5519a0b439f38b129328aebf468dec4b59c89a249
y 4febc8666dcf2b150faec9902a5f57e97275e7b122724c2b77d9b78655b455d424db93f859b8de6b09c4bad6d5ba68349c65c41caca67f8b
z 19e6ed86dc819e6b4368d196679328710f63bf1fcba6652265508b509ecd0e3e8b8bf17f8f1eeb361af107ef684a729a3635cb55de3f8605

x 9974be322a0f471cfe0855456104219d8037ca1cb5aacb9ff5da86a047ce159430cfd92f67e764244996668ac44d8d9787dc1b5754d215c1
y 78c00f878fb41fdb0cd22c026881d5022fc470755e6261945b9bfcc3868f591f08288e4d64a65c9f3d0b05d3ab7f27d801aef29e5e98caf8
z fd51b84f21b06377054dc879b8a176a7799951d5669486b210e4528b9f52bd60f88c2a068f722d85fa12761a4caf2f05bcdeecb7ed62646e

x f4048d4a1602eeec43cdf20c3ac9f7b359935bae3648070276faf07a5c58fdf79771ba6c077ddeae47617971e2145f4960587637e7028822
y 32635c7425108f5d19e35e4d91a4bdf3310bc884c9061d0697556ae25e17cd611e090c1179ca9a68225b283c8ab98a7b1e97508592c60c66
z 8d6a91d016aaa7a0da03b06f5876ce8e8a71d1e5e5eb430d6c5ae16e1d6d9b61e77179b4f6fe43ce37cae27689983d41923f3b30e9d9f930

x 9023c019bf7ef6df45e0e44111903c622220bd3dde046679540302451d001e47a153b0ac7dcfb9831e2d262d8e27002197d9640900e4c1cc
y 1f5e2ca612ec6f14df4b528cc35001e763b9414a81381a1a3c7008c0cc525bdb00aea94ce2348f380dda43b5edf4fec7c8cf5ea2f5fec4b8
z bf2c241efc180988232b83cda91e12dd0aec0d22ab68353c9841c4ea0547fd1b377fbca125f8cf92c426f8eb859f85a3853516ec104d9b6e

x bbdecfafa9284e3067081b7d1bd7ce0e488829859628a8f6a38bc1a3ca6ec3130dbc1345b69abb7224b047fd3f2dadcf9cc11a8ec46a6436
y 49a956ee69cdfecf29440d60fde9db1edd94619af97f625d45dc83c64994fe6c1ac858150cb526ca3c58a9fdc09d409ee3ed0b0cbcdb711c
z 7abfd47fdfcceb278c917afd059e335110bec63fea48dedf7f8275da8922201ea06be39e3d1bccea2d38f5eb7d7aa5ef4e6fe6792a9f0ce0

x a9483d4f0c94eac273adc392c3f425be610206683cbb6806dca47be3b54ad142fa2c54a7a473675556bcc8cfd50649af3c58d7a91e84b428
y b986365aa08f088fe04aaaf2e00468af3fb41cda961b56ece5bedfd83cf9a0fb959ae70c23d9b27cd1eaf8b611d9e578aa0b9d899b81d5f1
z 4af529627637ad3f3f1269319f4fd426d31e276287ee525d0c64974e55fca1cd58694eadf47e44dc3e843e01c36b22f9717067a907840ca1

###--------------------------------------------------------------------------
test sqr

## Easy tests.
x 03
z 09

x f7ffffdfffffff00000050000000000000a0ffffff03000090fffffffbffffafffffff00000020000000fdffff9ffffffff9ffff7fffffff
z 8c000040010000f3ffffff040000f4000040120000ff0000800a000099000060060000030000000a0000e7010000180000290200800b0000

## Random tests.
x 776cf7ee39df23538f76e6be87ecbb1ed78477b858e3520f24b2b36f09a7dd61daf7bd5990af13c11b1419d8215eb69c30efc3917097797b
z 870001f8ff173e02ce682526a513ff99c6e9688cbec13839ecbf0fbc11d8f84f6cf53041b5bdcbc624f9787db9babe61cd477cb9395590d1

x 1e5ef8dd68207b3c3d3c670acee7ecb277ee6bc10be9fa3f3d800e1414bf402298ca443de6fd57ca899188c884a93d4b9c9d1b00a7c9ce44
z 4a6d6da8002b6a0f3f5c3a9631254ccc62cf66c93279c4b77dda55d32514c8b388b543002f8055321c7195ce1fd26f51f48732e664cdc62f

x e02eba6cd5ec1cc39ab92db439896520e50a5f9e9ed6d31ad37d00ebb2a54cb68f1c0ae537006ec2ffb14aaad2de16ff06194929b702b95a
z 95632fd74045a49782f6f9d0c86d554cf6efd07f9eef57d669828c77537d4c3a69138d755855640064f5e9bc8fbe0eca96fb04053f565431

x bad2a1348fc0b54791f9f2875009c8be2d30f14526fbbc22c439c1ae2b865436cd74f428766e4e676b795fe9333312f6334d4e4ec2378e26
z d87a8f7ca45620b4646fad2c22792538bd16f37879dbc4d87c21cafa60c282f6415fde2fb6293a8b8a6e5b3901f88d75f9243023b68f41d3

x d6d221f2bf71eba62e49db570e13ca69f4a8a33543298619cda7c8d2524c9446b11ae7b7d301579f047565b7044b5286c2478896800ad992
z fdb163312b884bc6d74c4c269011311388ead9c069884f48487f9ac0d62b39aa175e81976fb599716aaa68db4c02985a6f0ffe522b0fb21b

x 20cc05120202e684981bce1db74af493d218ed8e0f5e76fad46bfeb98c69e504113b0eb91771c602cb422ae09846fbfef7c47afd09689277
z b07d84ff34dc5f0cbcc60037400ee04ba09f34d1d7a0c6a80672a3f6c1da630681d4207ce1325d301b36f0acaafd7579a108646f5a26b755

x 72c4c3e4fcfd36389f558e0d4016f3f088145be47b2de85ee7ab963fcd8c7adf449d5b7c37ad8a32cf97ea9bde5c220fc896cf1b91633e19
z 1e8f68736c3b259b661c0c1ec065a642e717f9e4d86003411b8e15ff89537d8e129c116d2f8a9e7e1b46879deedd66fa6ce2b60ab680cfb0

x 8c524f059e7ebcf3af3072dbd2f76ebc530adba6d26240c8675b5451d5558db648e7a61fefb1369cf2939ba1fadcf8e40385db5d57cacace
z a19188e6821f5cc2c53b7e59ae6f70e95fb929c0f282627ccfa2c6d9cb59dc871e9dcf3e2a8d6d66b7a6907d4d36c9de03c3d74325d8c1f1

x dd47eb6f4f68cd3a9abd6af401bd6f3c795d89474dd41a89025b24c8349a0de417c3676bb6ee36002d7c8ff6b4fb4491e693cfa617e079f8
z 871f46c93dea48a0d937b3f1f724f66615daa9200f0b48cee01c3b20e4a05dd6ce01bd7b2713e096cc2bd1c5ce7ca0c075aed0fc1ef6fa51

x 577870fdb83454eed0711eb51d7bd91f9843769737566823e41d0668fad45c82fe069347769244af7230e6fbc40f5a71151279ae65e9893a
z efabd464218df4a490b9870d541c45e9b7ab29bae25d9e976539a553995ded0edc5610916883642a032eae4e96eb9e4e1443f747dec98135

x 8ba84194db2aad7b46005423b1251555ea931b933e0083fee76b9863fb528927f27a4a0617b8d75de306103b592a0fbd51b72bfbb051ee2d
z 3a29e940174d846df65d51070295f535a03e988fc401ef62f5dd2456cf52668390e61e7b6912186d6d5260f6d6977004003bb106abbdaf02

x 9f17e0943b4e39051abfd8f4512ef177fd5c368ebdf4b0af49df2e1d89e30c4e68ec474d81203964bfe9c1fecc1279e5e4f598ac97b48cb0
z d794adb47cff3f7666dd0a934896015e59f278d9b1d6dc7a06328da96d6e6520670598129b7e1b26f9537216364199cf5c0010f23692ec90

x a6b51625066e4cccb7d45dff5b182e2a6bf4b1cce7090a187d38dd39f08afad6f868c0277bf70d5fb88b6e67432526e4feb39ae707e34990
z 67315efb85e16a1e97130092cc351759d9c18261845329f63eba1e77d91ad2c7df51ffa50b655de81bc807ea2b3e137214a2b08b400f2b7a

x 28a0fe53cf73a0419fdb4cb493c6425be8aa812c3693411816c90621097a9d5687feb16ebf874a30ec849297742b7aab5921427d7b474190
z 69300770a5bc2c9c599431e5f879ef3f3ec065e3a2cfe82e3499018add58acada581e9e81d40799fc74674b9721da018a64138519abdb108

x fad58259395fd5bbcfca35b095253a3a121b62f1694e14cd9e2f85bd08e8a15d1dff98e3b81eeec678821a1ee9d6192c8351bde45ce0581f
z bee7e0d6d4de419981ba2aa3964adfc7545e21b72b65c774b2029c22e06f251cebf04cdffd23e2051b57f986cbf7e56f047050714a275e72

x 91e548171a8136d2d26e6bea02cb16ec9591e9cd5b913184b22b43d1029bdb214ef737f6e45f473f7d95b8fde075645c3b0c2dd2bd224278
z abe2936ecf2ac3012455dcac906f691f2d96490539c9621658fd7f66790bbfe0d2df07165ea80e0c3282642d45b63b7db476b53e4f94f1c5

x a52c855daa9ede16ea8de7c681436d5d31eda6ca5b441f972e5cf5639a1c56f689fcb411965271853de2893f22b81d7d0facafdb49292e39
z 382480e92d44199fe5f7c357ad2e5a7277beab1a3055d48e679516151ca85ee3cb498b172087d588738daac2ec1da9638552d76be97626ad

x c65888cdc1a575fc9a06dce8800607f56fe88839948b7e4e2713aae44b0ae6b7c6b68786b11b430d22766e9e4d76af118a972729c67c06b7
z 31311e4ff9600089b533cdac6c05de3ddfe6a450ee7fc90cde1bb297e2deb750336ac3ed2f6fa9b88ece846be6f6aeb392f6753eb6fa475e

x a61c81d621df61ece4b7274f63ae4e9f2e2df1d603fc9303ee361962b2d70bd783ff1b5d8f3ed27f17e7773b2b1c85af7fbd70387bdef5d3
z a014ef20adc291c0238be3759ceb9f9645524b961761c8a991ce67efbddda568359fe36e762980d75a58a7ba10b803c9f883fe4d2239a08b

x 96ced952366c324c5fccd48ac5d475cc1944e7e455dc093f0d9680d6d6abf1e45c76a286ac46acb4de061b9eb673a2d3124e6c3b921ad71f
z 6debaeff6a7d2bb2c1389cb3338fc87b2a32e651ecb8d43fc012efc9b9c59c79487b742f0b30d0b64ac283af0d3b877102c6a7ff0f606eb9

###--------------------------------------------------------------------------
test inv

x d665678f17043846f953fb09c88295d7fd0a53bc70ec7d396aff56e7dfa376f3a338f0da0af9e07b66d3ff7443e3829b541bd667201999d4
z 6839ab730bf666c6ca987d254d83bf32b981b466c147f04b823981da75e12c9ded469a0a462861a987c13f05739f47596401fec25a5eee5c

x bb8d567f6163a92603a388405121bd58abfcf05c596bf0624bf65b6a8fe03e6940648382fe01e5ab58e37ce235f4acbfb9e02624001c49da
z 3f60d0fa0036da2db915e232bd841d09f006d4ba018c1d268af86d36990579d669ee63393b95c202645dcb1225fe9e64d14270905e63eb79

x d456692d8e00bf9cd86d22a9f4ad9e9879e6298274854ae82729ebbdb0cc46877caeb381506dbb097b10c180d615661189da65d431e3003b
z 6e0f5a173fb60be882a2b570200515dc7ad473e2192470ba89e6dda6cfdd6ff77026a1d76acdded7b5881a54d68605140a4ffceae70906d5

x 359ab073b7465de1358a5772aef79db09118541c062421cb30a972525a351f16b5545daed5f9ce8e91a283818df6cdbf443831fbe5f3e848
z 2b0ea74e6f4533498eb3f34247a9674f3a2cf2ab0e4fde65ff11b0d1e756430bc5452ca4b85bd3a1f10f6e4e3b1874df8d19f390a9021757

x 3509fb8b7688f354738d4a8ca4091f66c880db794aacec6115e675090394ca77e1c83b955aaf4d8e75c6e4e9200be1ce5693532a561d970d
z cafa18317193054cff7884bada249422ba889c19693d66610fb774fb4bdfeac0e67a5ba6f84ace126c125c46b4cfd627ee777e231a6ffc1f

x 42e2babc095d88b61caa8883e91fd045106db9c4eeb4d945703c1dee3229c58869e21f73909ae2f3c4437d301a2a3724d67f6ad310f63835
z 28c43a594b6471412f504dc10fd79d2c04ec029a7723cfa0a90aef036991f1b56cf156e2cbc7533671086edb54036e9f4ddc9bfe2e3ffcda

x 9c01d006213bcfda413517ec815e8cebc06707f5649398a9d14a5d64754375c1ded8aaefd838e8eba84746de07a0f9b32caa2325c4c8e540
z 0a3b64374ac2149d602a9f0ee4fcf6d814c476f451531a086b04b0dd598287b1758f77780b7de08573326a9767e816309d871fb1962bb1a4

x 7bbd8a2de4bd2ffee4e93d0dd2fa9c5d4abcf9ab86c097921fe7d603b7ffdd07006c7d79d1a10267edce9b3069b134bed727c8f0ed1aca13
z c909ffafbcc09a96723b9afba8ec0d00d5ce0c9d85de3c1e4de24cf44fb934bd0d2397b380885b7419cbbeac339fc85e2161f08c2f3515d7

x 6a64650ccf103604c3b030415f7114c88c7094fbd0fd2f2b6b907a27fe104ef4e0684c17ff9f26f15eee5e7442e679ecad3e49a0629cb5c3
z 9db77e47433997640b4c0916c5123e8a4d9c7c0bcd12b2dafccbababd6c9dbc3f4ec7991ea68b3ad4ffc6f0be4920764c65d98bdeba8a811

x c3823c71f6c0f3679cb9c776e437e718f856c8fde038418942d062423113352aeb60ab84138f2bf73f268386cab0f2a1419660e966c24187
z 558bff4fffa85d6f67ad44938f5b4473d250a87a120af9ff645a7db37a43808abe30c19c90bac94adb190840078214518e189d6c9fc5bef2

x 44bd920b0eaf47695f93d063cd85c43c58470c23796f4a106b298d5f2b091210d103e9575c369bb0be66b2323d89cc29602a8071697931c6
z 67464f2dab3a95c9ac7c783017105df7d561d7ae499ad89c4698da2c0710a1654c89966a7bd30d2d5c0511ed9f020309cde84cecd66be8d0

x a6b12fc35e62532ea7c1fd49dd834bb7957da914ec3daf2e4f446b54916d016054cb59ffd4e3d9eecd4a18b08033ee8d9ff84db072cc4f86
z cc70960f0bb743da1b23d11eb87530a820484a861abd68d2ed7079b487d88481d915b1b34c29d9938b5fa54d05c75cb1aebf0b722a6770b6

x 1773dc978cd9f94186b83fd5e10a456b48058acd9e3bbacbecee2cfd0f8303c64721ca64c2913d57764336ea055700c2fcafc60d9f4b817e
z 49e443096eb28c167ee62c63bfe4079418fa8e7f9e58757e13327680890b02ce7c9e5bbbc51366e0b3f5315edc456b6f65a09ea1b1a24438

x 552158406db36accc32edde2f0ce46e23a1d406f60e54ca6a789386df36a57434c826c9586c4b371df3179f675e5956fe7dc3022f785d9e0
z e0025a1007d3dff5e44947a0292bee8db5abbd1a0fca1d3ab0a64a37925396cd96c21af54d36656eb0b60c63fd5651622ec5487d53f976e4

x 6b006d36f60750bb5c59f6eb31e2efe6098ab67de7a7a8a27201652380a295c408ec78351c2a799d62227dffd4731b7605e5c462dce2c1e8
z 21785aae5f73da711f6144894728627824b685fac3d95068a9d0c4e0ee058301a8953322a5ee5be75452164a55477f1a987103a718bf98ca

x 700cb76911e718ce8829f8d767c53e333dd2f7f20d2c020d1da3cc9ce96b9f6c7aad67450d5aab8f8c60e8ad77d4b5fdb86fae92a0ac30fe
z 257f202b457f19f27ceed047e6778204c2b71646fcc96e19c6f07518780bb5b1c456fd6e93ce2f1cb0aea1a225137511dc71e446c1fe22c3

x 0c909e0326649d4d375452c5b233a86e90b0fa88b20aa54e02685edd02b70aa022ed8af31e994b70b20101a5cfd8e16ba53c702840b4a16b
z 98c41073ea843b4b5ad6b0589699f48a1576e3d834f8e595b8859069b71bf5e16126aa93b20259ff0a03976ff6d7f78239ec1059f8cf1193

x 4529761361781e67037eae69c5ca9977b1e21468834eb83cd369471e5092249015cd263563bff9348a0f51e4a8517e27236ed1ecfe30a780
z e20d5896be18bb273bb0ba84f6c070de45378bac6d793685e654764e5aa847d48403a68560b48dcb12573ac737366ae701072300615b4659

x 6fae83f7eadeaca22b6781f400b01f9de186b12e31fdf56e0ebe98a8420baacf5069ffdf26d0215c16b64027dd69ff29709a64cfe8f52dcb
z daa266a02c4500d989670eb63ab78219892d9c1ca2e17f4b5200cf1d920cfece5e80050be77f81a616de840bf19c23835ed17d57aeeea0f5

x 23ca16e8b4c15f8f2b216441d851368d185a7f8587f398b0cf775875678241094538708da0cb2260c5e056b59c003c30c8f84f5088d0c99c
z 9de1360b4718fc762e6ffab46827c5e4672a77d797aa608b31c132d1ad8138e7a64ba1f4278a07a6088f8cec9a01ea9bc1427c55241433c5

###--------------------------------------------------------------------------
test quosqrt

x 100abc40abe680b1d68dff51c5fdeff4dbdf3f57ee5730f93e2fd4ce2b0170c513699af25c399df66312923103fc6ca6ac0a70019ba667c3
y 1b56e39c8b69559d258a2b6d3741c63bdb397f7337c8948e27ca9edc533cffebd3d065ce09ac3f809900528960673cc565363c22070efa56
z0 
z1 

x 239454b921927e75aab58e729b5023c6631e99dac090b8ff731c59e1f17e8444b17669eddb4dca4c7625453b3039fbbc33a67d63ae0bbbb4
y 7f6be86111136b43f87d17f2b150e07d63ce8b76566931539093d8f4d63171076f468dceee0ae254fb4699d6b9a17737622b2769616ea22a
z0 29bd0d1ff7823b25c9abc822a64d70651d4570436c60c17d163334e0b1e7dacd00e4100d5e11afaecd7a9c695453b327851f322f12d5833f
z1 d642f2e0087dc4da365437dd59b28f9ae2ba8fbc939f3e82e9cccb1f4d182532ff1beff2a1ee505132856396abac4cd87ae0cdd0ed2a7cc0

x 449eef9eed43b44c96da3562082d6533c4fe380263ee99adef4d6b9bbec8a5451a0aaafe13b31625be0d978e15b69285d773fa5d32050aa5
y 786ffc54916ebfd732f8c41bf176e0d9ab00378a1f323e7bdd06ccdb5b7bd691998465972d9a9270c63b2d36f32dcafed3d759fea17049d5
z0 658ca99561d3fa22ee444585198de88164bc394196cff32589e3bba41bae4eb0426515aacce53f9f6e65367a06862e61dba2ef214e113a53
z1 9a73566a9e2c05dd11bbba7ae672177e9b43c6be69300cda761c445be351b14fbd9aea55331ac060919ac985f979d19e245d10deb1eec5ac

x a00bb50d51f804d768ebe27b6eaa73909638c7873ee3e29c2286bdb08c41e9b83b006501e1b19bb7a5ca02619e3a48d1897e2df89aa77d12
y 9726ef3cd5a227ae1b19b4b8e935b5894f147b8917a26e796748827dea21cad2f31114fbe65d72105af5f092d781ffa883e556070ba7dc89
z0 
z1 

x f1910f1ebbe859e8cc70ab7b4c7878c83e9136a1d65446b89c89e48e2d56069cd17b2fae6e9ed534570c69c3d7da5480246e25d562ab1e79
y da061395a5c61f3931f6ffd82ce2cfde3566c1c1aa08bdf4ab3fb78af01ed9707fd3106c1895a5e232cad0703cafdbcf9e702602d7bf74f8
z0 
z1 

x ef24c61d4dce505ed20a1326c295af061102ec611279a5b5370c606e02af725fa9ee12dfe43f08de228ce080e3ed9f5119f325bee206b24a
y 8c19db90355ae4b7a2068e11a469aa89ed6026cdfd7956e5499d3d32f31af08b133c4232c8a423f6892581035de4b489bccafa5a9a99a17c
z0 23f8c54fa352bb2ac8eec7d0d011127265c48971ab81510d9fa70760d1c16f6121642d9165532dfb8f3b6d59b4d76c764c374a03f5785847
z1 dc073ab05cad44d53711382f2feeed8d9a3b768e547eaef26058f89f2d3e909ede9bd26e9aacd20470c492a64b289389b3c8b5fc0a87a7b8

x d0e656fc86a3ee7df5e49994762c296ed4c42b6519f72379132c89cb40559ade3c4df282cb78188d0603bfd853035d961c7af054ec104ef3
y d2606596b3129852263146178eab3f1ddeed9830165891ba60446fe3c5fa6dc0fa14b1b4dd136b63beb8e0d4670ae68a41489a3fa8f5f644
z0 171a22e9185b78ee81e4812c46610e53d0be70dc7517c6c55646731acff302ec1a95f36600864891a448c2d7419277d6de828b4b2a197f1a
z1 e8e5dd16e7a487117e1b7ed3b99ef1ac2f418f238ae8393aa9b98ce52f0cfd13e56a0c99ff79b76e5bb73d28be6d8829217d74b4d5e680e5

x aa9f4fd1cd6feeefd624e86f9e6751fea77c3cc5a5916bb52c20b0dfefadf87f609a10e7b818b8797b784f0cc0b047019705369fd8de946d
y aa088ec4d424a3af2c1d151a863453598dfad13d9b2e6f57b94305f174ed21344ba94fa0c6765607bb55fbdc50bb188109a8232c616f38dc
z0 4dd7a6455110fcbc1f784278f28ae42e87da315dc9c88ad34ba8bf13208ab19a24524aabfb6716bf003c9152162bdb4f46bb39a3c1407824
z1 b22859baaeef0343e087bd870d751bd17825cea23637752cb45740ecde754e65dbadb5540498e940ffc36eade9d424b0b944c65c3ebf87db

x f4cc007c66ef922475c5bae6858a814102081e18af24a841e302bd6a75c2a120c5ac184ba368f275b7dbcddbdbf311aba0ff992ab561de59
y 83a2284878419a68270ca5fbbb8a3457f4a07fd59008fb5ce29775738e3df014f17b166a2e636695c3dda22f35b81836daf86a21ee0246d8
z0 
z1 

x 0555309931da55258d2e6da8cc793e1d78fa1922a05538e1611231ff69056de819a6beba569b6f5d49326eb6b70677979083c231cb17e78a
y d5ce37e5d8e058951bfa6803bece0e3c7aecdaaa9a10b6c01a7e0d0026140c149b17e1e314d4f6940376e88c9653778fde547df2f378551c
z0 
z1 

x 07e8c468fcd665489f5a7dfe78417f568eebd0688f57736b7781e19986eebeb8613bb2b99d86dc4b7868b5fd24903124c513946b0265c894
y dd952ccfcb51790b6dbc92e2331c2b870c991ed195050a6b31bf9d149d20a2393aeea8aea2a09bb226a70868cebaa50f972f2e2b40dac5f2
z0 bd5929643f7fdcb2ea2d805109559ca9f3793d8f5d2aba837e286d7cdf95bec28540d1b267b9308efcdd2db734dbb14613884d29e26d0876
z1 42a6d69bc080234d15d27faef6aa63560c86c270a2d5457c81d792831f6a413d7abf2e4d9846cf710322d248cb244eb9ec77b2d61d92f789

x 7598705d29e83f8417cb5a474405b8e399186c3862512b882982e0a7f4805381d5873ae9cb2675d381c40ae05ecda9305477a085d42c877c
y 4352a058af51f0e17428d8df65a33e994cc7981e232420f1429c83fa43f295266d46ff5b2edf72de4c736b92f9ae5af86a9e49cf038118d5
z0 
z1 

x d2f39c7279dc2f48241a5405f368b4678ae576c89a09bf38300dc8a1b814d1639d89381374e3ddc67ec9517250844c9bdd91ba1d1256e344
y 3ed16dc77ed6004dc9547ab5f1b0955ad4d2a055cb0c928e0d33fce40a25ab8501efe829aff4e7a236140b03757988b406178b3e2aa4bd0f
z0 
z1 

x 3940a5776e676b759b2ab804f1b693a3f0f3fd63da5bc0c91beb667d59834dbd23bbe01c9e308a24d52f143e8ca0215334cfb4d98823bc3c
y e3bc2075bcf73a1b75cb45d355ee2706e4757cf26caab0dd50291e7b5b1e7ce54a033049c3a975429fda3e23fde7fe2989004072c3efcc26
z0 
z1 

x 7f7ff2a3709b15fbd132ddc0449f3979c84314e03a85077b42926e5d82abd6abee2eff387fababf834ee5d037bc97c212f7f4eb48b4d2a0c
y 96690b4239613235334c326d3b039c905d7869fb208ecbb0fdc66f9bb6e8628118a3cbb9276f7f0d404eee5b6dcef28aa89533cf03950ad4
z0 
z1 

x 6ff98f80efb05e4ea76de993f1e7f37f733a6c5f6197b21ab54ebc097a8d2c23bb563f143fe2c05cf92b80e8b731e1552f85e5facfa0a06d
y aee1a3767feece38a2a10983d6407f698c4e52832010d47d183dc2a6370ffae821228ce0957653e4c6f761db61cd24e0ad88e62bb5a85c4b
z0 f46208f05a7299e8f40dd8d14ec4391b39576d5e2c262190e77098897fd29229a6f658b4e63dd5f014763eeb6d1aa0cc54f649aba4b7cd02
z1 0b9df70fa58d66170bf2272eb13bc6e4c6a892a1d3d9de6f188f67767f2d6dd65909a74b19c22a0feb89c11492e55f33ab09b6545b4832fd

x eba0f9a06f06afe5735574b112735e92e835461b2cd246b4fd32eb775a87c88254bf208e98b79cd95eecd2a0e1745e30d0ee96b3e9e6ed65
y d48f41458ca8db481e6ca199cde1c7817779787e38f3d70f9b36f4d1c78f8fa9a15f91c4347d19b15bb853cbaf9d917ad88407aa302f1984
z0 f43b72258ac14cdc4bf54571c2abee8921e98d01674160fc799a2b0f831a492ac17886684b4fda37cfb62284ce9fc2dd6de0a933b49e8247
z1 0bc48dda753eb323b40aba8e3d541176de1672fe98be9f038665d4f07be5b6d53e877997b4b025c83049dd7b31603d22921f56cc4b617db8

x 425d1f0c8179fdba18dd955de429100fa31195954756e9a3107e893fdbc3cc256e33c11e25c854ef5d5689641cdcdcf2afc92f7d26d03da8
y 8f869392da799c2b62d148289c5c918b0ce81bdc740323f382dfa365a95e78b7d037ebb106e167f5354b51d230763037d3b8e0d52c16a07c
z0 
z1 

x 3a99c7d5bad60caef7d655995be6eb4af9bc8e9878533d45764acec722b77d99aa4cd17f444c36d8c0a4028b197faea904053f2f279e75ba
y a8cdbcd7aea486f317c0349a2d7965bbafc553092a06b2d01714d1d2773dfe64d045670201ca319a9a00378b85c0c8496256d3ce227a44e2
z0 31604ec92e3ac8eca3b3ede34dabc4b5cb64ca26401b828f0e0336493ff47b5dd992cc48ec220787c4675fce022caf943d2f7f152818ab42
z1 ce9fb136d1c537135c4c121cb2543b4a349b35d9bfe47d70f1fcc9b6bf0b84a2266d33b713ddf8783b98a031fdd3506bc2d080ead7e754bd

x 2f1bec35e993f3359fccad84f3fcf6f5e5268d40214922d43c402282e6b79cf5125b614e7c9dec90821a66ce9d3a671afb7367774d8dad48
y cb31d1ea1e4eb4bb1fc5ea102cc54f7be2f8cb48646d5c51939877842063655f25993052da3586ae04540650dc0b31fd87d55e2880f9d13a
z0 
z1 

###--------------------------------------------------------------------------
test sub-mulc-add-sub-mul

u 07ebfe324f64b54e938951a1e437bab4d35c2bbf5f210c5d78ca2b4eb7ef9c3dab61724be4fa7c2e43086b58db7e961f62a44b029f9901d5
v d44920bba642b8162d1c3e956e060bbe6f15484298c2ec55575ee378556b0e8826f627bebda963b7d4d9f1c768a49cd408957105d3c6008a
a -41997
w e3647583d41ee4e813045d4f7a8b53af084c1dfeab8db93472810e8c54d253a2c100a6fc341bd92223341150d363f00f1c2bbb9ff9f8e7ca
x d61c770618adfc42ef3ac4272dfae86a674f8ae4c273d26ad7b9a29943c4740e0c9535812b9ef0d17fb4bfcc77bf60646aa96a11c29035a3
y 76c496c2c798e23c657eb80c44940229ba88f21bcacb21cb6b4cdc8b93d10832f3c4d31819fbeacb6c5a516c7889f0e639abc29ec4d7b604
z 5a94d8487539381061d764a3806e31e1b2add772d2f9cb9c4fb96336f7b36534a9a0f7caf30b7e086c875670a0d568f895502983b1dec2ef

u e1792f9e9c7b70293e041a9059df95bcac07b4112f25d35375ade1794660a0a10c520adf06fd477c79a170ab88108e4b74bc47ede8ddc0a4
v 6cffa5fd3f07f203fcf08c399690b793a152e65aa99c6f9b465d39861c3c46691b635cd02c9e77083ecdee73a54aa1aab5ce6044cb2cb8d8
a 23228
w 31cd1c1937619b8fe711d22912104fd03fcfa3f14f81f3bc7ec9839c5440836d7c9b92158c818933aa614f9a085f9a1c18d71dd11d09a6db
x 2386136ccd81814300b5f3fa148c4025e6d7a2d9da344e56b42811deaa3d4ecbd5365f91d941d7bab20b305ac6dd0457a4b81cc611bb5f11
y 16bf2b1e10c77597990088a8df91150a6e7b6c3008e6584909b2f7184358abf6b59674e210aeec3219a5202440139aecde4a4b6e0f46dbaa
z dd373d5908b408e51e3c6f8da1c439f845d40467057a34a96cd53680661b329f073d0bfe6af98543d5d38c3d0476c19d20c54226e7bf8d7c

u fe6d00268bafd5878e0a4ddebad8dff25399a1d18e69f94b471029058e9712b98263d88b4dea5d08d8fe70b3a62ba2d136c2c2713ca809ea
v 12be184341bbd7ab5a668f3c3e4b13a60c70cd4e1f229f90901be24a285f3ff0b7391aee82529076c14232f61a11b6a8edffd56af603a25b
a -252008
w 178e5309ab3a578b8b09149da9539d93309c5214b61e3c045034847354f59d58fee27e31dfcf5d5daa24b5a605686b468a3db727583709d4
x 8da5b2f4c39e442c729a09cf04405136c55cf7b76fbe949ec3b34fb17b2edabcac44f4b4a19afb58c9d86eb87a0c58cff2cf196e6cac7da2
y 3b0be5158a7c13a6c71455025ea5b4466eaa321956fa785f9b74872532e3767d796da94ac47e6d25a368ea1ac79c44fda8d2e13edae5c219
z 7ad75999f1bd89b130fa03274247b36b2c2684163097d46deb852083b5fab0e8755d2150dcd2ee563757f05eb1d132df284ccf818cd56b9c

u e4ef0519fc7af554a4a348cfcea95c6c18752f4a35a946b7d2ad1e6aa77d64ec4012eea4faead2d91c66b0d57198b19317a79e136a98caf9
v 008c72ff456f0f941781020ce6387d8065772af7c68955668a7cb05b53f00960f15fc463029a2e2a353a2fd3bc43790a847ea35c75d6cd26
a 287411
w 5ee722a21955b3bec9ed5f151686af9da9d3f5e6491e3d9a8d82237b1e3dddb58b827264ab5a1aca3eb8c1de7922b59744567e0467a4357f
x 9381ebf793f7b3f523f4621e934217ba463f96279ce2e7d165fc00ea037b20254948132dd2f0481ad9816e1f66da64d081e4d24866094af9
y 62e4648d4716c6e0f99357c8c099c4988cfec4fa21873b7928350f174679f59629a54d78bc8d239800709a585d4890fb2b634f68ec13cd78
z 850e54cf9388bdaf3de63c3e73823c0f39f0b9bf15a9f0262f24c828d2fc8cd7d1ac939193804fac3d92467e26ba5e57d1dc4f8664a270af

u 5f3811d6b8277fd93a197bf4f3dec4bf4dd5fc6a0ac92ee3d0e64ae48fa9e1373cfd63da945db924bbac41a2b78f6819ccdf2820b1a3c4ff
v ee669edf4430678ff1190be8e39c06dd00cd9982ab5b625e5a6814ec456f68f9467f1f38519f4bcb392772479ba553060391752ab4fc70aa
a -254559
w 3d11820f867d39b2b1169030c24a9307eb387f44ee0fc8d53a946e56065e8cf9af6069c9c8099de1565f3d491c33248965ebf941987ade48
x 9582a93732bb52eba39d81c161dd0a996b50dadb13b4eb54085ecb9e86117ed25cb7c78d1a5cc3807a97d740710c2fbf65f97e8de3591163
y 501c2ca79204d22e6c52d32d405310853e7e29da884c0f14782e9029929751821f81a9493c8dd76e582bb48465ce5b40d7c5e398322ceada
z dcdc428d085f7548c99d963af7b8af997c1503307d75e298efbfc042d425d385a6b7321d86d5af13809ed3ec6bc5d96afcd026d08caeaa30

u d17c198598d3b5188e5807c445976b769d458ca952a7b99da4b19ffa3b35b6100bd3605136143912640e402a7cb91675e61527244844409b
v 9cac226e58f5ffbc41bb82b769ed12d061eef4d2d0369eb12724bcd4db6a1ff85f22d6b25003cbea0308a1b7dcce1450283d4e96ac8d4b8c
a 516083
w 9f92e7a68af5c7737f3f3e959d2b55230ca11e0dd467bd52a20b91816ce61ac7fa7059934c7a952e43058ff4f277170ec5ecc4cab51baef5
x d4fb3628a45e2290c7fd201ca434ef83911ac2687218605782b3cdca577e692a389756e6b9a0891311727d623fe8ea601fb13efe238adee0
y ce572b3cdd011749634a577c727aa4516d00c4236cdf3b4664c2be35d3efe7e0b140b5ef2d4a0339a8a29eb26025e60e7d166913251966be
z 790d7ef8990c44fd271d5a41c55a6d552f60fd8980c1c3b91919fdd5e291c75b0a0cbc4224dfd2ce93de2eef53249f3d9d0955f05b4cefaa

u 396fe89631a66fcf4368600d3a8cbfa6fc903cc8d157f13ac0e4a569436c3230c0a9319a55ebb7e61d428e74b8ce740e973ee5d2b0a99a61
v f644b35fe8d9bd57a0e6837ef03d889df2248a06a0e52a9cdc80307cf68c496f34aa82f246b8d6e040d166ffa1920b7d921938bb33f8e8a0
a -339102
w 716c673c21cd0d92d86f8060beba37c65b7d9eb8b1d4f8aa5665478278ea5c3a2a2c4f606aa179bc8b38f4f37b3e077959ac7c8c81a5fba2
x 6379d7843800b16ad06ff70511c7ff656fc93ff95a05617b4adf7e2b6810cf2cf81dfd6b0c7d478d52f2f4989a13a3ccbc3a4e30f85a3279
y 5b982eda7d33ef68c0d94400610744b91572443614a128bc90011a953bc9422910640047809049a513c413b4390a09395da3de6958c44b64
z 91cf825bde194c05cadbb9dcee5f08f152d2bacabc144b4ee498b82ddf4074846ccc75d366184ee29bd322deaf99d6ae81563cc2e7b2e98d

u b8bb334fbe75e81a417ef59e14b52898e34dcc8bca4bb2caa987dc31950a9afa4dd356735dd163eba9073056a2e7f259f1485ef37acf8c24
v 0e872ffa891f664be01868170c452c25cbd41dd0e4df0a66c0ed67dfd3d007c25c50e4b0615450906c69788080546b9a4ad425402c422580
a 287059
w 52356b0443301992c676f6cfa7eeca79d586324bbb5f8aa71163b89d863ffc7879e55c363ce260fd6ab160e18ef0921d81a4d634799fe816
x 35be6d14d3dc696bb20c90de43c7e08b2427ffc9c63a5c37767ee6756894b6d94c748e9d2c4d8519cbdc2efaa215874bb1923cf7aa5a826c
y 8db5fd04e45f9f93c7a2a2e238c7f001fd7c059d02fce693340c106ebb98d7f6f3029d3e820e2e3e912901c33c3dfce56d68a7c42a2f2e0a
z 29ff4f6533b4292d0e8f2a7abbd1269d1455d8ec34cadca9df875d544ba10395c36d1e750fb66ff0a9d97a92538a63ab48db8583fa6ebd5f

u 74dfa3166dee585d6d4c5f310259a6f9a407e5c520559f22a3f290733d2f0ba8a276d46820bc73f9231fe25dcc8e9c2e2542eda5024180ed
v 50881f8d2fac3278cadb483b7db6e179306b6e967f8fbdb53f70f443ba9f1b1073921a0a1f46c8833856e6a0ead7ab6f445abf833d2550f7
a -430161
w 10b16716f590c13b435ce912fd4adb5dcb4982d8e0302dfccff5f9d388efaae716e8d9e2915de30d365a04468f4bec0f4489d81c0e159bd0
x b4e67998a7579734cf8f0fc281bb29e1c3dd4dd4d9c1434e830d4d093ea2b908137dad647ab349c5858d1b3ce20f7378546033114dc0fa68
y 76a10a58f6136ec6b73d96ed1d506b758ddf6f54326f7b2a12d28dec9ed880dac2d16f2f57004c7df846ffb4c5c7de814a0245668df0e804
z 33216663bc217e49c81d64e3957f3a16452193b677c68f3df80315c7496995a752c7f42807d22e6a23ad2f5568ada163ba168cd1ff3631c0

u c047f2b5077afcb0c246abb9104309be15f2c2da8e703e74459d34281992fbbfb95b1012067415c5b17650d10f5d2d12b84c3c825068b881
v 831adf8c6481178176f11f1d7010fa4b51c6e30ae8a9aec3a748a47bad643ff69cc8e1ba47bf9d33183de1c1220e989c58d6b23e8a602ddd
a -445266
w db32546436b5d585cd4fefcdf8affd7c467c31699787dedd133f205641fcf74ee246a5f62dee25eefb54091b5dd0cb4dc7cfad9cc68bb9cb
x 9ea3da4650bbc07d7cefbff97a9bebe5aa932772ce0e47a4bdfaab1be5457f652f9882d8e4ca286b7bce092a4fe93b1c0473a2d5d33d92d3
y a8eeaf02c9e281f2522def4792beff7382ae509316b80ca3e70b36c080706f9cc8589518dd9b27e61c3f3e28c8608524bc201076d6ae2fcb
z 463c925f11987399440da6a502b87ee798b2dfc37f012951af57dda87651de7bb96c2c30890e6b65771e70ee08bf41e2bde696dfcb177e83

u 63428356e8b4c5147870a0e653866093d5ca20a691524e3adba1c95af70fc706fdb420391c230dcb70cbad21f028b03e7554efac7bc8bed6
v e99ca8f8dfe11c545b49031f68a605229adac19568b5cfb9b02b9721416c225179968b5583d0588ead12790c5df7c13bae466f934e997b4e
a -445574
w 7ace55b2ba3365a01a872ef5882a8d47518fec37bd816d809d4716301a7b6811926eb5aa593fb2c852ae2455fa42e92be1038d96ebf31966
x db9244d18540fb524ec9455f493b570aba16ee4f4491247fa18efe63a43c70e533ad6660f64e836675bd788113993836c43a3c5868efe068
y 8cc4affd9631c4ff75313f43588d977f24b58a0ef1c3275b7c142e6113f20d72fe974f11c9f7cf3dc176e1799dcb4230d5bb138ddee2eb34
z 179440042f537fcd021678f32a1346547ac1a4aa5dc3e5bed329c543ec35058efa16af2ca066ffb7087a3daf68345aa3a0a21c6133fd3a59

u 993bb02c2ae6974f6988293ce6eae32f520758329e80ae242801f45937baed48cb9bbc111731aea52883ca30286b7593746e6522fc3ccd54
v 2bbbb81c8e51356355a1e49ebc1c6e160119eca0df8c07d171783665c9d96af7164e6bd7384002ed5c19f531bda705b90e06130bfcb2ad17
a -159409
w 6b3eb1b9dac2b8f6d86a0d983bd2b36a98c760ecf5f4aa30e22726e8048cc2e633a7a7bdc862d6bb02fcb0d9e854ac9dce8cb9982645ba44
x fba6ac4753539d9dea1190d160994937af74be3f73856e56dd7ef4fffd1f6e2d99f1466fff7ec4bacd115f4e1f8708adb8c9afa7b17ee887
y 7f28c3d4526328a9f03cbfb3a0b04fc2aac564effcdbcedfd61a160d0499c83742255e86764c344887a93f7f1851903372e40d7034b16f03
z 2bec5989a2f2fc934dc0e673f07f0ea7ebade4d4bdf7bf472f7e779a716dbc4aa01771bd1dcc634780b0da41389c108a76fc67235e028142

u 96ab5a1f5b6cffe08fbe3118d7bf2d09e6da8dfdb0ce69cae1c2d3fe71864db59befd7e252410d04a858ef680a754b2d42f7f4ab7cd38e0d
v 673d469ae9193bb79aace5d641041c94b81f6f9a9d12e5a05db86674899ed5650b8d4d30bb00f2b51b0261245dd3a2e18a10f8109cae1535
a 197264
w 83f7aaef3c944d9d6ef3c329224067a204f738f3625488ba01845e31fa07dda26e08a4e395687b322f594fed860bf1597ab33536c5f24c53
x 9bdc4e2e4e412b65af636a24480a40ab73df53fb209619044317f90df9bba10e5892aa502ee86e1039a8547a4e119caa359e8095ef0f5827
y 659ea4924522edb2aa50430f9bf5ba3112c60af504dd290215a52c8bc275fa8fe0042348811a7cacd0d8bbf95255a547ae9b82db70326b25
z a28bd6727521f46a3ab3ac32a3452c03b7ceca3c06c4e5f260c1868935269b8cbeb3d303cc6df3faee2595788af6f24a52ef8237763793a1

u a0de95d94e3506ed563b974d07454fd347f7b37aa1e9453e0145d23e1867f2aea78434ace37877022343cad84d9100c7683b33c115014903
v ceeac84a960af7e749645352ddbd4a9f7fd77e96268ed8548e4247b6084e13a193233ba02c49da24c89f2a62ed50029ab38eb6566167aaab
a -5830
w 8568f4c8837fbef756a3c03ee6a59f7ce0b5ffe370afb5c18545e4fe88eae49c65c642494e1cba91c4eb8b2fa94df6ca22b21d3e7b717f3a
x 70170f374d567a159bd8e354eceee6aacbedfcf9a2be6b530808152a96e93a301518f0042baecaf90170bdc4cc8c2e1003bfe737cd258929
y cfa4cd159f5793a1833bfdb97261c204d3a80a01e1488ce8c628e68225bbcffa785093267eb3f75702e70b6abef59bc0a223ecfa09aac356
z 7302a30f89bf3163baf814605772b0ca175aec6a030e53a2677c49351d88f1c095a1974e1dabcf5859c206f4bd3e932f7973766e81e0c278

u c297bf2bf6e64d4446a2e5d1c6448f5881c5973ccf6e75730dcf2bb74096e603a354461e02e818a94ace1f47053d23710719135cdd366d92
v 8966ea0a08b7f43706340232c68a264c54b4e609ad8c901d0c0768c2aa5660434e5d4ce7510883238b17a8c92f8013d2488730d3a28ca291
a -266784
w c52a9e11dce1938ffb862357a9a696ee72c9fe18f7163d29052c949b4ac0fa151052dffa3546cdefdef598c28ebcc620d064783e8ee20413
x 04f0bdf761a2cfebb822a12bb44b2def0906ae99cf84e7bff6d033e4082c2fed1961942288b0e2beb11a0e96db8a5037fa61631cd89896e4
y add0f3d532987482db8148a8ef3724e27ad497bdcd804686114acb3a86e4e561001a7af6420bbeef57b77bf8444c4b978e5cd136083d9118
z efda70e401d9e5beea539fb3ce7a145bfc90422e049387f222db53edae81078046fb1e2db538ebd7ba36ff5509691c83ef9c51f3581edc2e

u 06768f69843008554828e6665685231b32e60fa878cdc11536819fb04874df4c6f9023b356f1cfb03a1706d04f472f1f1cba2148e161f936
v 61d686b96bd02a99efe67123f3962e318ce9836b1ed0b7a39ae98483f38efa78a89063badbf97325b4743b2342647ed8a44a164e76328781
a -301528
w f8987e1314d3a3fa7ed1784fd04e4b381e9bbee6a785400e51d66402bd95c13de03e4a8213fbcbcec493f0ab8f3aef54794d8baeb9579b57
x dee30a4b1359ae1459b790e8bedbce16eef2e299082dd2a07e46063c79af11524e438740af78d161afbd5b410888ab9f64eb4129dd1caadf
y cc52f548a25b964b2556be59c5243b63a323701d696d8d3f866be512554227b8aa3567960aec684ba50701be5528f188a9bcba490517949f
z bf88a0bbfcf8d048525ba4b7f64988bb8db5ab4abe40c20530b512f130dd54ed8f0bf9c36f51c20735415e25905d4047d896bf6eef7325ec

u b2fd5cba9d6d5487c5257954d1d170a99cd27c2e990aa7b20006d8615b929f9024c5b3a0b063dc9c364a668cde34b4a26ec4e374d38d2a32
v e4796d1ed6d6cd3443a095e6f91e80db3ea043b1f9026e4015a4abff5b2ecde79848dd0b856db0f47a6f29e1759fbaeb2ac82d2d8a939d89
a -338517
w 65c169eec5df306b2d17d58f7c1f833bea184fadbbc8924803cc0ff2804d24531e69004059169f29423b5692d54c92fec7936933eac92317
x ab7c743547424e08a733876339fc4434d1c0ede96dbcfc7a92acbb6ec4e1f6e330d13cee90e4378863022bb49b57b6b4617b37fb5e6f7d0a
y 5fb79ffb10f7c3bc4cc98025f7c7f71bdb4041a5161e7fdee2a701692d16ae77d23680becc76f14e66a7e961d8841adad5485043e13b7694
z 365da4af25fe7f21edf0706495f44475b2d3a9b157b3008dd745cb8e756e3da662108d6c05d573aedfbaa0fd0c8420b6b7ab8d418d273be2

u 0b1fe73972fe3400b1a9563b759cc65dc7f685031405e14ecbf1ab977c7c9afceafa91f51d1127f09058b637c9cdc39fa665be7c2a4d55d6
v 349cebcab0d98aea0beb0d38dde902e4f6caa23cbb066e68ef8d384613b4ecf6d21780ae1844c4b3eb9598cfd62fc001505d3ce4e66746ae
a -242599
w 7c7018b38125bf7415723b398f888458a647f4a2f2ff0b7dcbd6eb7ae873c44068429efde0be1f2f28ae1c8e01db9f812442fabaf51ffadb
x c125c39bcf8ae742747cc2f711e470b8386403e275a14e5651f1dae89231cb3ee186a3d2c1b1a74002ac70e1fc1a5adc89a17734aa231650
y feb78a43f6e633e7b92ffb2789f6486cc7597ce0ce9ce2486828af900d97c9ee8fcd0f52d43d01e141f9987ad194dfaa8a31b9d649e487ac
z 32318ade75655d7aacba10759063893db2482b2083a924915afefc63891f9951b58bf5525f5b330f16422c65bdf77a5508f1830849c2a941

u 080f596d6be6f4554477689f6ac45ff60a880924f6e609701bd6d1fe32eb4f1be13edf39399eb170fa5b5b9801e38301e7ed768383cab6cf
v f14535e25853aa97a8bc8128610eaab77977d07d3a89608a837b16fb2c2878f8edf11a2276f3c42ee21ba275dd4e6059574f887abcf6480f
a 273443
w f273139e62664cb2b5f9c268c37abfcddc054c0f30ed8f0fd643017a989512cf115467ca704b3442b1c92496e378f4df6434b27e9c9fbacb
x 8af391a0b26881d67fa19196d5dded3e00cc3dc60247781ec1d000e635b6f39f7186e948bbb5b03894f0a000b27838dbda844836c5c29d99
y 56513a9d50e48e2464df2069404f09c21d4bf112d2223ea316e78cb4ebbca403327ab344af7e15b17b9865ea8d801cc7d4f6f7283687c3bd
z 9c3043751d7889855a337637b51e1fb9c7bb47d75ef529e4e8545822cbb2f535ef1579b9c660813438e2e9f16bb35f4a7843d3e7820e1406

u a5d6bc11f9251ec7d03e87c267b2eb05d51fdbeb24970e2c87a7d8923f7adbf4bff904e5ae498f5984072d7a21c703ba6765bc3292e43bfe
v 2be24a92df5b92545f72e710d4a5c71f881d544305e891dc9fcf2b39a24a5e80fe44f856411fc886566f428b5443af8140543e549d092170
a -140922
w 629534899a55d04d6e0c879ea02b9eb05675cf6074ce400d8caa25b2adc59eedcd88f203f9440db9fb06c5bfcd65512324d01f871b485650
x 867e9ed2dbef2b0d485a7d5dc71266eae2b6053c2f1e09dfba6192f015419e06868aaaefefdc3b03cb26e50cc4861f38eac76ac69e5ab1fd
y 61d009f31c5be4eaca1f44ab6800f0116dadb7923e427db6e525f03c17b380eaa6d0c8f06440674c80f0040c272b8b956366a82ca28dccbf
z a7628d76da5a4a8dcabfcd28252b9fb1f780e2d32f72a0f1f8da7ff7d354c6d35a72efb2b75e87c332f93557c1a5e1bd51813e18ee1fe241