[PRIMO - Primality Certificate]
Format=4
TestCount=30

[Comments]
Generated by CM version 0.4.4, available under the
GNU General Public License version 3.0 or later at
https://www.multiprecision.org/cm/

[Candidate]
N=0x40a2cd445ceb3a78a4aaaac1d6ee6f70ec14d18723c609a82226a59ef133f8dc1f643353f0946f9879c8db7cfc597a7bb6125288dfa0ff158b84db1f083bcc11429aa3422ec62375a111f7b05b52dd1ed8d9232baf37c4ac5801bbcdb3035c603062d7d1ea52038a889a95b2a088b60ea09be99a937b46d36aa994eeb

[1]
S=0x159d83b6
W=0x3f3f85234303a5c24c444316abeb2f0fcc860e57f9ad506cb05034774e9d064118dbb02643fed8bee5f1efee8d1fbc43a7f76c1b839689090ebf466c80bb6
J=0x49d647aec5b6762ef3e2dc22a1b2165918eebf9f1a383fdea843861e7d36517b8e716ffcdd19aeddb4498a15b767fe973227c84da8f6b81cfbcc755d009f35abafcac0d8d71623548f98172480c3836343e9ca36665ab294b686460e330c06e5a738427b993d1850ae4bf66a7a59ef7016b39a7e12ad392ca611634
T=0x39893005964a3186e1f1f4916c2e1f58d3183986df1829f4e199c290e390c9beb956438d4c683ab175e26b95f29a1f253242865c5bd78ac86fd46ea433d5bc9d5fbe1e3cafe97d65daf9af63f8bb97a01577e31da371fc4f0617997d453399295a62f37d438abf12fc712222c0adb95300de1a3078bd9f1f795e5fe7c

[2]
S=0x1a04f1e18
W=-0xa653b81f7851537e513b34e20926991da5ac26191aa8560d55dd634c00fcf7a48f23d3ae43326171c99f24d44060823fe190f3d1a978011b207c75ec6
J=0x81cf54647017b7e583f20148ae2dc2ed899d45fecabeb6dc9f6630d3f77dad203bbc8b90a4c6d85907596be7bc85def04188960c4c51951f34fe652e5aaccc79b8318640a7457c4adc325f5acf2a0699be669ed669c03509582607ecb1f51e77267c622ba0344381bcf307dc50e97c4b8cd389ec76ab2b70f
T=0x2ae1af7dc831728099f511ce14c2a81a03d1764bcc681d74229d6121409799220d6ce83267d88e7deea32eaee61d4cc10a79f4a27af963d3811c7f6af4da644eafedde4505ecea964589bb05f2049b25e456c65aed39b69452683c035f202c89e5e2b9f91c34edece17fa704e3f58dd2804401ca803800f8f7

[3]
S=0xc5c020355aff7
W=-0xa6250db79fd8138fb030b42200731ab4053f642afe9546ffd107e43d2edf66d6048f1f0d98b9905dbcf2f1d62d1967e265c74c0d39e0f1884a04d
J=0xa8246ede1bbc8afef323a75dae1cde4708ed6eaa0f2c2a76c6670f7e82cd034c24e6f2f2645f1b6d351c74703eeeb63b3a4aac68e337f58c03d3d0125e2360e0924db8955113ca9451ff8cfe3bd10cfc6c22a27ebe7f717df833ae944ee1c92bd80427fe3ebe52e64dfeed8c0bf800d264b5f2ef3
T=0x18e593a6fe8865954f47af3fe20dbfd99ab09720f5a1090c2c01295b50fc484c84d9b7022683efd963980a0618555d267b9400f1b646e010ca589c7720755690127d3b0ec20b8c11656b7c66e65401d1205bff228debb37521697f4f8269b89bc5d4ff1690ad18352bb3d746f704024b0fdc4e5886

[4]
S=0x579288
W=0x315350818cb280596d95c6c8d1c9a879343d433550ea750b53f32d6e14dea70f355f310f4bf933c4fbb3c48a29cb5e3f195ba4b290136a8
J=-0x6922df49d4813c6f7146d367903b3f0a3c41d428201361474e22063e250689495cdee8e5b13d6ac66e4ca752350058c6306176f15c4c195aaa0534d05bcf0602a1086cbc7b989072be618901e82a135d9435d77a98ec885c4ec4ddb2cc2b1f47e2050ba3e686985fd4ed6ca0b486
T=0xecca87cf2366ee54058506b15ef26bf95a93f2a80d4fac07a673f82aac78b75f7c093ac62d79e9079d9c5c123de8d7c0002d3f3f838cdb30fd18b589585de2acee341caf948d99a3ef7b4783edcbefff1639b84537acbb174250015095f247b078b23ffae870163f1af91963b950

[5]
S=0x106a4309cbe
W=-0x536ef473e962bced3ad9c7dd2469b336846336469df08d3fbafa05ceda941da4e4610c0b1cbb964a80d1213e5b35bcc691e314a8cbfc
J=0x44aba931165aa324668aeb0bb5eeb91b46d7b3f2dbb3ef80578bcd10b4ff4ab88601049cf91f11900c092e0b7b3761b8689e0e16c4b472695fa8059e0810b56be471b5f1cb178519d532571d2f28b254bdee9494f55a171d5745a35fc6fd263bfe1d5a4677a8e6b3c25ca4
T=0x64a50cc30706080e8392d97afc2fe2fd6b8aaaa77e10b5f64948e2e8e8910ee58be40011576efb90cb90d0f0dc1258ba4321f1509396e16b24b2a0f6f9922e4342b6938b89c9db39e05aa116892f52fbe8a9355904ae5c89febfe42ad7b968c0a8f607a68cba987e05a6290

[6]
S=0x46398
W=0x4321c798b59f0ac255a1e5666530ae453dd4369c7ad0706f7e5af76f4b9c62eae61dfb8f117dc1ee87602cdbd7662e37f68a384
J=0x12a8b12ce8320c2c345a44edefd41ff351a120b8c887f725669b3baa512afc192137237faafbeb9659d14545b9541cea153b267dc866cb770804eda9cd260e4e45f5a2249eb351c6b2dfff123c239302c97365e456e560991c126dc92a10eda4375fdbc03ddc0
T=0x46e99a0524b3529c40478e0a06c63b509049dbf76567165c3aa79a84734676c6a70e2b4cb27d9a9e3901e4482120fc36d9fef1cd200cb629df3045e46677231adb770a29164bb4b15c478185482b6b22f10a1dd5b5fe7f819b6a8d959de65dab24d6ead641003

[7]
S=0x94ba4d87
W=-0x122c6b4c63e1857d9fb463e887a192f8416da3c93b0b5227e8d434dc58c6ad2b05b4fefd5ad98edab7f225b4c919fd3ffcdfd
A=0x0
B=0x51
T=0x8832ff95213b8ac605c062935c8aa3f72cdefed21fb7f08f60d80483b48a09ea5269fe482d4ffd257a6b080a3c43075e36e31c736061f3f98417fc967848ffe345299db8a74dddfc25431f991890a85ea78a000c29e96843fb2fa962064f0d37ea64a9ae

[8]
S=0x1ba0b3598a
W=0x30cc6ed9c82bd8b84a2f71a7afb6495b7b6d248a5848e2c483489cbdb759f689e434121b7319c8acae020c6d67a504bc6
J=-0x1226bad755f8545dd4d6467186335416de4d46b3c509e2e68685b27a65f0ce1a28f8363e2bd81b948a5df0045cbbb83bb1256041f6d888d572f1c081204c58e1b1582e629027a07989a5d68511e625aa141bf6bb373ef30b02205c34a58760bb3
T=0x2590938cc6f0c116d14e238cd50f24b3e08132ceb2206c64bc4cb057a4ee3b60595a59583bf2b7f2f32cd09e9acc3d01d3a63b82d914640ae44ab69cc9d1a1688ed4dd0a79ee9410e2be7b0e5bedf2a030569221bcb81f80f1aba9bd8e251b0d5

[9]
S=0x24eb29a33dc
W=-0x7c6c12868c01e2527bb4f58dd0722f2e332d4602b1281d8d77e386978668267235c340c26493340bf0034ee98c16
J=0x98515a73e512e43ea9e52337abc6da75e38d2dbcec52630c844e8fb80d90ac42d4dde41447a7e27e6e76e1e3903545a42b93e666e2810875b98122108d89db02d7559e7ca06bc9242faf26934af6a56cc83623b7c41aaafa77a9131
T=0x7cfc40665d0bbec2d53ecf6173d5732932cbeaccf11ac98c17640af0c64f6fa8fdbb241882da68d578149128ebc45af2d9eef401a29ec7152bdbb4e9e41b510f90c5626059d19f0ffa0d4a538f64c789c121e0494256fd64186376a

[10]
S=0x1adbad20da2d1128
W=-0xf759841ad514eea2ce4aa6d092c2bd40866e01a9e1876805a21e69d995fbdba92982eaf2198fc7db0fa324
J=0x448293040f68501a2fde963585864d31896fc219c9e01a5b9d48beab35e7e7993d071649fd475cf1170593bacccb81b731954bd9dd842fea5c4b88cf3bf7250df5b19dbe17bc3bc2034cd2b80c61641705ff3cee83752
T=0x4b4f04cade83f6c6441d299dcf3e2012ba59dbd9c83dc56e2d57dea12ec5cb8438ed21891e929971d880faa7a6ff33e663af77f4bc74138653f8fa2967a45d128a886b6ad3815c07cb87fc062a3a3bf1287805b56a8cc

[11]
S=0x64ae
W=0x141e10239a3e38a184933c5b095816e02b998a83833414ef098c36ea418293aac855772e2e2fd09a
J=0x20d6c3e1d209567523d3503fb34474a136a1ef90cecb7aa169ff4e132fb16b04f69dec86d3662c4f52e6026efe6a35de383120aee940ab12ba80b3589f6a344d5ae824ed11df0833d96d372e9c79b8
T=0x4d4d4b28d95f0b1ac4c1961b13160ae7fbb3dc55044e562209004f01f127a7c4db0c11f101ba330ed7694602f0f159b559a8d232ee62896656e2f49db74b94b9c8e64c8574a006c60c44adc048bc5f

[12]
S=0x1b07e0d37
W=-0x17d7bdc87002a91306e039136cd369e837a8e588c183fda8a918cf3ba8229427e3c5b7f2792dbf
J=-0x4891396f3d801a2b339d610a9522e31b0d11e1492c24c8c40e51c0ff7e7c0d6721c0588e65befee6113fb6263493213d9b510f8f78f524877863fb8bd2fc8d03310d07414926b9013cdedc8de8
T=0xd7ba316498229959157981487ac848f5e5f6af3b13a1eb053f8d30d46fe8641ef3ba38814ff5ef416a9d45eebbbe84d52ea6ea296c1299f26af00225ea1bf7ed6998e2374702cbabb83748b67b

[13]
S=0x43480ce890
W=-0x18437d9c05fb82cf857dd7e3bb692d5d800ee79e02f8b2ae02e53a9947e45d52135567de2e
A=0x1
B=0x0
T=0x8202b2fb34ace772321b54db46a7714339a6346f0cdce8f38780199ca521ebd9002f18b06a0329e0ed8ef257fe5de6e3d307b987e5e0dad79d3ff6400246bf1857681755173741161

[14]
S=0x2b746a7b5
W=0x1ee271f59e4be5b47e24376a36d15ea11c640c1694b614bd9ba6609b130ee907a0acb
J=-0x11b2c52a09f8a7c08352f731bef5372bfd5bce314b17c71b17e544718e2441da19293ba85339538fc8a7c5cb7c57ea056a0e731bff1dd0e20a29d641a41ddd016287ef374
T=0x69f8fb9b3407a73d3175d48b116832474468ab4e48a306c92321bb0c1a1e561ff79e37bdff5a9b2aade942bb217a636f40cd946f38d3a7341c13860d9421c8e173ef3d5c

[15]
S=0x2452c
W=-0x15472802c5f7d7a8e95dba9d3d622875b697885ad0ff984b8b532200cccbaebbc
J=0x8d3e090ad92960bd84861699534c187454ef241cc6c8a2e81c5cd805d21604922835b2ea31743f86ea7e1a3cfcd4785929d3f0954991cebbbb68c10fc032f1
T=0x9f85c924d530e0075cca7194588235ccf707b5aa9cd24eb07294d28b74215e9296262ec5b2160cb6d325b4b5a50c63b0702f04bcb9aacbe285358983bf34e273

[16]
S=0x1f19887b4
W=0xd58425823c596f86fe8111c049a89d48046e40814b5692c2a014c20599ed7c
J=-0xae31031ae0405f04204f34f7da9e16014f1694fdbb4f84c8b3ffe967f0e320c2f082d2ac2a304d7248cdc5fb44e6e8d5d77cf6086c64a0f0fdbb92cda3e
T=0x43dba37d5ecfed7ac69d27be0492d2e31b3ff577e17e4d3813b7cb62414e79152edc245cfe938c85e6c2e3c7c8f776076852eb3faa5dfbb00421895f995

[17]
S=0x1a8a8
W=-0x9f4f6e5718637632a44816795bf230a9d7399eecb705c32f8fc4b6a194
J=-0xf8189dfda3cd5b367ff3c91a361ceb1389d72e60d8519140bfac4ded36d2eb19aa181d8e322a9cc370d1f04ca250347af364750190f43a9721d
T=0x16becf170a78b043afebcf8d3305c98a2e725c02a16f80d4133a2cfa628c6e55744d163c59631deab4e7b9c24349cfe1db18960991015062b4a7

[18]
S=0x208bbfc008
W=0xaaa9d14a1bfad28934311cc5faf39d4fff93c2f0fb62ed803dbdfbf8
J=-0x7e433e88b07fa278c401e4e8db33d2f011c0ae0b9cae0b34993496bebe99669345f9595ded0bb6c5a2f4f59a2c65ad312e274f937b4d5e2
T=0x50ee88d296db18cf75baae5986960bdcf67294597b2c856972d06ba28d74d62c8bf7d74b3c16bd65f4aacba02e7be4cbca8e61ff911fb8d

[19]
S=0xe10
W=0x1d3354e89b68e4c904dbae3efd97b9ab1b3181b3c83962b4f2d6
J=-0x8000
T=0x48933fda90fdfa4f88754250b30653e3b8f7a6362e6acfd51125b3b15cfb17eee9d183f0d774e7884e8b0969b96ba202a9a5b6

[20]
S=0x3cdc10c598
W=-0x782c52753b9c311b99af6407b658cccac89d33326d362a140a
J=0x226c968d7757dbd54149763a54f092a46ceb0c54312ddc0341fb78bc17e4b7d765605d3e8e2063d19b4fc20a65896d36fca
T=0x764242c3faff34f0ca1bc828cf656bec39034bade4ebe45acf08e1fec443daa99788003baf183b233dcce99e5cdfd39162e

[21]
S=0xa7f2c5e8b
W=0x5ddcada826be40498c1c2e7e18295396da7e06dbe711f
A=0x0
B=0x10
T=0x396ca1a0e2398e36b12cb5431c86d30f4cad6b944d01427679c1a12ef6fe8e1429f4cbfd62173e5e8de5ec0baf

[22]
S=0xcdf935
W=-0x3084309252f885b0ae51675951bc82c88dfb74125
J=-0x8000
T=0x332f1032dbbc56571e39780be8c100bc882c938dc131d68a23e8cde40fc89a9143352aeebd83390a3

[23]
S=0x110da46
W=-0x280bbb5640834f7bfeef1577b9f7531dfcbb38
J=-0x3898e61e38106953d562bae45b9321378c7b61bf5881bfb2c3db70ce2b81aea6eaeaf4d2d3e
T=0x79e66c501185c62a9f44ee81bb4d192969ad4cc439cd6afe94dce51896a1aede296154f6ee4

[24]
S=0x54460
W=0x344e3ab74578d4c16f4d7cc860b846aac08
J=-0x21ec99845a52e293b6cd94f91139253e987bdb9a6ecc267bc6383592087010092306c
T=0x61f966e312385b95d09ccc2290374a21c45e7e53f62b942814c59ea3f533e52d390f0

[25]
S=0x26e3b1a2ca30
W=-0x26657c1e529ec1d7d21431b1d818ae180
J=0x7e2f83b1f8d2f26169383521f487a5ec7fa2f34502fe9becd497221da8d3c67c
T=0x59b0d38f62aa118cc1aec1ae4f788c062b49d9ee8bedcd2453b6a6f9b204d4bd

[26]
S=0x42b4d6f6
W=0x4a9ac327fa6a986a919dd3d14b6
J=0x1f40
T=0x7a83dcfe727e3e33037b83bd7d38c6e7c85a75227c084473a47f5

[27]
S=0x6248fffec
W=0xc1ea6b24714fae9fcfb330e
A=0x0
B=0x157
T=0x11b51889274cff8d84565c3e3c34ff7729ac2e39e812dc

[28]
S=0x1a43c612
W=-0x4344b8f85becf2d65e6
J=0x1f40
T=0x35b19537fa66a1cd0de9025d95036adb8544f

[29]
S=0xa05f7dfa
W=0x7fc7c0f9f6c8a00
A=0x7d
B=0x0
T=0x33678c5dc1a58f2da01ff8ce987c11

[30]
S=0x2e7f23d010
W=0xd7e0dcf99a2
A=0x0
B=0x1
T=0x56320eaa14f96abf3d9a36