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

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

[Candidate]
N=0x54572f507bf9f9a591602d3f8fbe5972846280acf14136b3af97d1d1e9a3a72f651e05c35e0c0a0dbfcadeb4fe6a6ff64f3ecdcf2d03394c13e27e1da044a50b1144df88a48f030276cb1140eaf0d5e9fc9791a4c6672888785e921c81ea9fc3c297eaa86096753ed1a4b769619602af37182b3c03cbd727bfdbca3e1

[1]
S=0xd4e9ac
W=-0x3baa127e480a4334375b570a955dc07d30101d1c913de5d6b4adb36cec4116832eb15b6b3c3a0e698efff6776a8f5bd7590098c7d7d7d4e57220a3c130de2
J=0x275a2ae2192b43a141a902e49c4078a291d54abd9e88c426d37c5f4950daa920f9b5ec5d86c276088fc77e060319b0877b858fa858d7b6aec8c112c89b235ff2699a3383bea6b415af16d4448939d2e98de784e31f5d9dc3dfbf433417a6b7ab8390096b5ed5b73999873cbca23330ae56121dd67195551dd2f35422
T=0x1906df584621f34af6127c3b2a496ce1ba5d15e01b7b59cb0d26a67a73cfc66324b39f4c7d9fcfabbb436984979ee4ecdebf76dec8136ec44c2388826718a1ab7a5f6760d702a600ff46c2dd7ce2f79b988e8848d061b507412e27465c4f28dc531c4b61b35a97c58d9d95093b5d204418db8edbcb4e7ef2a06ce6647

[2]
S=0x2681a4
W=0x339386c1a41b55589fc40b293cface37840b8e99a6bcbd609747378444e09de50317dd9366ddd2c55e5a780b7c29bae34db4ab5e83d7899a3ea3041fb8
J=-0x31bc45b8f24f5c19e140f22cdce3a950c0642c336e0e2ada58d7ed57d69fcce914bdfcf1268e45e3ac7cc507765e8132887da70ada5ec99dcbb8efd879a295e5bd5dd06c3101dd1f40f712a84d37829a6afda59bcf45afed999f1dbf0ba8a3e732103ca8df90d9fe4137efa03725ee6102cd5b1b7010817c5f3
T=0xd4b45ceb894a15a361d3c2bc2f9678e7010fa76d1268cecd6bd7c0380e09d77c73febbee5e609967bdf420a0ac39c36879c41d72560f2ddb7663117a57397f9788511f8467fd7efee0e189016db310a0301388182a39270b894003178cb4b6683f61199d94eca25a0e2724c6a2e8f8db4ca67e22682a82920e

[3]
S=0x23f0
W=0x3d96ad35ac4d612b664f1fd0a7e44a14aa185eb6ca508898a0b8c0eb74c68b1012e83cebf7613731d3d0b226319f4e830555e4e03ba49215d759110
J=0x14c18c50eb6a365a82db61370e4787d5e0579cf4e0f958f6a5be8d86f9198451f8d876a6fab3d3c4abfff0d7abbafe2d89fa6d69d1dc229b6fb4a25ef5962ae53f46ddd579a80080a9335025a32f438d68acfe82f8214db058287b1afdd5b15b8a9b71a1bb793a92098c5e283933cc8ab6feee09374507
T=0x77e34898ffc07d74b9467e51c8dc5c2cf4706e1ec36a8e670c8c876edba8b768723111686b4d5a6474188328ba68c12de9b0887fa41aa36f57f4b5b6b025ada014f56a7dd518be943adc7038e210af345eeaca95f7f490863e5de25ef11949b8c511c1baa239b664a15d70bcd33486f6f545038800f69

[4]
S=0x5ca08e
W=0x22a4651ec6c412a31046813d99800b7bc6530434410e357e040280dd9b97662261653acec8a19518d2509767cc271ae7f660203d4b6c7a1d82fbc2
J=-0x555e7960f1d9fc1b277d0adc229c75b3bf5493bd434278353f5fcd12d79b5ec6465b4f9b0ea698b1d1b3a39d4e932a955d48220da1d8f17260553ec8d3bffbdab557617355922ae4dbd540df6bfd25e05fa7653d3139d34c232af2f73b5e01f9b8809c477c81bb9ad8f4a4a36b53f41459d0867afc
T=0x295c40a604080c61edc0a90b6ba154793e1cd9301458b7af8c5335eb47e7dd7d46310721d22f0e3cbb4ff84671ab63364530ff1fbbefc88e8f89abb2d3be4a07816f9cab13d3cdbca356643886f6f0af99139ebf30de6a3a27ac6fed85dc5c81f1bf0bb8b539bc06cd5fd122b2ecfef9230b7d7ba9

[5]
S=0x68c75e3e
W=-0x4990d93893eb5fed54347c2d5a17e7425a74af46a552d63a647e4c5ecf907e6c3e3430a3b138a15b3e09bc61851eb4d6d120ea2f2c89807836
J=-0xe84a45037885843aca3c057b3aeeb55c0aa8c569b0a37d03ae76d29baae03bf89f4ec7b8577154c54c9834e7142c70a90a09bd67b6373327074893af4043ce43f1c4b3d98436195a312cc5263229fbabbd65ed3fb8752cf423f94ed4ef8a323aaf1ab65b0bc03654c19aca38a2376573d91b
T=0x286a2f356bd60ebf1cf01d3160e006b3866f34089c2a3f73ae101912fcf9be04ae6d0dfaa578c46e72caa05e5fb7ada63b7114abf2d55ddbbcaffaca7a92d68f6c3ccfdde1e295306689b02211364435d65c39de0f98316e4e8ce9ba867f3a89cc017a0a5a4f3bf715e3f6521c2bd9fb29f1a

[6]
S=0x96adba
W=0x46e2135f7bacd83a92bd47182a03451bd87912f9c48d13f7dea39983ffa8608283eaf291f601a87b7fe4b727b2a83fe981aeb285bb204da
J=-0x29922daebd759296bd0eb1427858503f0d90025cd5c0d0d7052634b3c25e1988be3b0ae95cf955bfb73323be5a5b2b358434b09267900ea28e08cbcde806a24b2643690b138c5ee5e77cd3ebe640f4e7215c84c1baa15294650314344d8bbfb730867f2a7d4ff863d403411c5aceb
T=0x36c52571655288d4cf6af67b756891688cbb40109ba72f107a1c39ba010c5e1b738093591465435fb980eddd9b37991af7b0a83bb4dfc9f1bceddbd28ef97cd6f6ca7b3fe9f6c525bbcb4d8860514f1aa3b78034d002a8e615ee1b0fb958df0b1e11a963a6d744e23c2ff550bbd41

[7]
S=0x6469efbc0
W=0x6d0a235bb11aaed39fd453e4f9625cff98bd96d11344b9aee486275979565a0fad2d2263a2d4f2bd8ac820c35879d749138577a32a32
J=0x2ded71e144211ae3cfee1ff99383a99c9c7b8f936697d823821628f4d0e5be8d6462f6820921ca0998ac15105ec11ba5a643335d0f063179bf43acc94d89b86d5ff5b6a7aabd0aa06dfd3ca59d1342ad96af51b7ef7c93797214e0c271793137047f51a1760dd79794a7cf9
T=0x391f16409421aa3f00a0e5d5404c97e75d7ceab484a75c1b18a8e88e1674110a02c0fa6ab3e6ff48817c9fc34f078e8fcf193361b39a06a7342017f7a89aea7e8c67441c8ee3e2af5e3d02caf7fe85e0f8818b92aa0b9b85fcd82a76d8ff451e2fa99ab5a1d0cc02047ad5f

[8]
S=0x389521
W=-0x19d2e8e16c81f74191e206d7088d2c38af6dbbfbda540d8d0ef0b0dcbec0f99320d95efb115240a0135a25cd50069dd7cc435155
J=0xe41385138d3f14318db82c9c7179215a518c80505c30b313624f20469448056937687307ff339011a79519b1eae43f26cec6e47d7c17449a91e2b40161640cb147165139f2e7bfcf2605ba9d77edc2bd61027ebbf4deb2afc87aa11df1d462fc05339d147fe476
T=0xec92a7f31870866ce344601f7aab433034aece6ffb53b870bc275dc1ff3ece9c7f030691e0ddea6cc91bc0cb5f3a78ebec7e0c28372873b7a215e5f26a47669b33b654f1e8f1550de0990c6bbfd20f466c544504f1b300d00c5a20d5692695f9c803fc2be397bd

[9]
S=0x13a66683b877
W=-0x59f758d35060a6339da3b6e06953952896d2e9ae2c61bbbbcdea7ddca8d08f4b68aa5b3bbbade09431cc93ca2d4db2b22221b
J=-0x3d55a4a941b60d71e280d3288c2983b7817f129a77a149c98bd81d58146778b5e5217830a78a03ca4ef6f2af324d7ac17e41f9829f99339f1d82dc23eecbf6a45da6a03c86cc0039e0b73608086ea6bac8401f562e973347c16271856e1281196af757092
T=0x959b74469c1b53ad6f94d8b2654a8e5ac5a16d6593f7b3b6f532fb09fa9b1e488428715036104d88229e7c5da769029d1197d1f6bdaa6ab14d0d067bf74ea16a9901f7f31307f609ade77425b8163ff01895438566f34e2ceb0f7df89a25083d740183f30

[10]
S=0x3d19d9b2108
W=0xf70ea70a6388669982a51f86592a31a4bbe68f9753fdaedb90f7468cc7c4353990772944eaafd34855a6dbb58af3ec0
J=0x101f60a4ee3d4afccdd9ca47b191aa03027ce181d34cccd36f2b0badeacb26d01ba2b906970b637c7235250210ad8e433c6c0d31b4c399982e894f1d79ca44da1c307e1c7718651bfc5dbf725efce80d2d77cd628013cf86269ddbec26df96
T=0x69d79343baf2f222c632cf6e86126e2e6708d534c95746e24e1c42d68c5842b93ee4e6dd872d7fbc5b19fe63a729ef3830bb65eb09893436464b487def372177976028e100274924a6f12b2dc0f8ef31143a0a506c6e91764d2daddfb12267

[11]
S=0x17eb3592a0
W=0x513f511ae716ff3b287be51808079e54e87f9171b302e30ab9ffdcd1f64dc3d6b76bb16eb11bbe7994ec55b97a
J=-0x50d1549c1b7c07e0c1365eb5d01e4962ba536669f5cd896edf6c01b56ffe0bb55e4cbd42fdc035a96a8b5bb650b1ae551c6bd3f3de2f140d7a340e97d2a37b5bfe15c006df5795926d839450a60d40f2c8faf632fd68a5b1fe2
T=0x1d7af1e89dcd8fbe12dc1a4e01edd34c63aa4de49dc319ea6ebad39a6c5a516a84bc39c1965ee24609cfc0b371a29c3ca746c3e0c30b9e9a5391fb60094c7a3179e8c7c44257571feebd786b734b6ffc493ece249d80ad8109d

[12]
S=0xd670
W=-0x15ff9cc6cd699d3ec8ec89854d458010a66da06a03e0eee8223d07473bb15114c7a26fe4f22d9c4a7f8932
J=-0x2245ae8000
T=0xdbf757fd9abbf5f07fe10a13d374873fd8614e720a4fcd84058ace0806120f57b1df5f2904cf6782c2e19ac0bf185d6d895ba9b434b563528e49c0a645351a9eb265a1b34053ab51ade18b9f146f328d20b80279a3

[13]
S=0xd7c
W=-0x17ddbd86ef610db2e468c9856c14f1e6bd911534a8a1b1cd88f8afbf025e779fed283b9dc856149111a
J=-0xbb30cebf7dad043735122fc601cd1863793d9196513e84c9e4e5c5a17a873996b109e3dc864a63e65a6a2ed1f6940d9560034677cb7780d3d8d0fa659f62193296047358f6f2c454353e07f6f4709002e71f99
T=0x2011a2c90bb21cf18cc805f34c01d9bdc777309775ea4e1b11ce87d35e0f3892d0e8cbd9c82a3e6cd288bd4985dd49d87912aa63218995699910e53e2dac658c4c493ae75a7e703032b64949ed2aa57324487c

[14]
S=0x2d1d
W=-0x9296f3593052fe2c11ae418b984485aeb859c22fbd848bceae9d83e06e52cc446964da44284f26d9ff
J=-0x7278db4003744c17589e3a76d9ee9535bc94e4499a2236fb869864fa12d677bea78f4f71f21ab381c60a777dd48a4828a7da9c9b6ec3f3fd53cac3887b29317b9c12d7de0f5fd3c146bb4ca00f6b856b83f
T=0x1ae1dc3ebf31a9ba57f045b7890b97e4a3fcbf6d8cb43956ecfe2cd4c903e87796d6b91fa5d305a157f2be35d88324a058628de6fa6f496f36a238f7e187b12789654c89e245c6a1c7153fade3d4ed561b43

[15]
S=0xe8c690156ac
W=-0xf96e0ad22a003eef4bbc4f61a8f95a152f6e7f635a929d7c0916e9c6a0f090fc0d7a83453eb0f220
J=-0x3ee0934e9dccdb29ab86cfd98fae9f11c43fb3d01f279250c8e8dd205ddb9e875b9c96c4aed7fa298719de8521c9513acb610c3ca9dfe87fb9f189439121abd354c32a53d9d62d870a1667332aecaaf2
T=0x5c1daf372d0571446bb280a49b7cb68e1816aea8174a99da3f8babd51d473ee38bd8f66f923de4b24766709ecffa318e728f0169dbb62e24ee1d37813182d63dbd2f8dab29d83ef1c6d8b181b35ca323

[16]
S=0x369440
W=0x26fe3c241b80f159454bd0cc372e1b04867c69acd94eb9b3be5d2351ffca75913e949d98562
J=0xfd02ff
T=0xb4b36b4aac231794ba7c264a609bef3bc03588e3b9d6cb54284be0f4900071593c04db272b5fb09392ef723965ebee6b86a8cf07eb22800a67b37dd217c987105d558898357267233eb4a

[17]
S=0x9d6afef2
W=0xd731ac62d48887c4412ab7e690f8b2a2501453aa93c5bae20240f7e9587e50a0cf092046
J=0xd3b18132db58e454604bf8007d6e7ceed7afa5fd6df2182c3a406f728c14277a17b87dd3948aab51feb582f5493f8d0190ee0b834a830f09588f09d304036ca7499fc8fe4fffb78
T=0x32acdc1b4dd4a0b9ae0ee2535fa6f39b11443d394bbd863008d8f0ccbe7f6e4ce6ee5c8803cf0db825ae387de95d82f2848681dfed713132849a8238a56e5cdac6d796cacca7e31c

[18]
S=0x8102
W=0x131b5729d6b730d9731db0d70ab805ddd78c3b240ec658e3237c2ecc31e63eff3694a
J=-0x2e34e2d7b1849942db20328803f5bc26b48072bca1b8b537b5530a26387b0578035e7be8cbe32b44bae363187109b61a30552a2b0424c9a24bdecc409980de8c1c718dff
T=0x20167e24cdcd2a06e95e400bc2d951bcd8f2f3185f1134a1406fad3ef41dc32cb62b4c60532754b758fdfae6de9e6a63eacbab43c2cb69b31adfbb2f5f8865426c670c96

[19]
S=0x2de51
W=0xdd32fe4061790bbf14dc0aee89eea11d3959edb110683c3c4f7d14fbc6419cc925
J=-0xb5c81590e2caf3be285fbe1e8cefb03d40735d5e4f95914f20cf384bafe3c021724965e9c6fac12a5274f732818acf5be6c46c355fdbe8a5beabf1c8d70d599ae6d
T=0x7bc6a3157d54858ef8080e2483ed6c95164e17f2b5f0a5b9f1234c886d84f842a976715d1167ef95669cc2e9ccc9bf36b0fd6b32144e2f5ab6112759f27064ab3d8e

[20]
S=0x1424a1f122
W=-0x3bb24f46f2dfc1757f8a1ec484583ea3417c713554a9fab64877ed08e9d6401e
J=0x964bc22fd3f3b31d5226d9e40ba45fc1b4d38732cc4eec5d2699081da41591e86b26c46714d3d58ea5022f7d05fe53e2884fb487aee73cadc21518d5dff749c
T=0xd509e3f896061942fc7189cef910555782462fc2f0b5a93f79528b70e44d3026fa0171ac9708b270694a63abaaa3fe957e5053c9327f7ec87f78d32a5fd557f

[21]
S=0x18faf820
W=0x27606bf8479a88344fc3210a063bd68897d1aa91422162e1060c3849c956
J=0xfd02ff
T=0xd6b5c7257bfcf1b0fe47de47bf7944ed7329c833696cd22fe21de958927663136a05a786cd0838a368d0677c160a500ecc1accf2950cf0a1aedbcf

[22]
S=0x135c6a90e0
W=-0x1b347c56d739af40f364345153f2aff0983fc50ddb00c1850c9358bc
J=0xe996780c1adfa2d89db153a6f0318466ac9dd1ebf44240430bf9fb52166290a436baab52f5ed58718cb80b999d6be6fc2c8f7e4964367d5
T=0x114b4f4beecc1142286c23e1b31b941a337502610d8588991b7176867811fa995c6a3d4ee7c49add26f1cd194061b5525ec1612725fe4566

[23]
S=0x158ca05ea
W=-0x286cbb70dfe7a92b3ced5fd3562795845176b88ee3c3ab2376f8
J=0x14510ec2208e7b703c6e5cf6246a31ca4d2c96ad9521adc7a520896ef17b76cfa83e0532cd58ef0e2589175e8851f299e1c1fd
T=0x16293dd3716dc2256105d63648ddde000797f1ac0c994e515f68c20d284856f32eafb05532f122406f148cc1620c3edd1108c02

[24]
S=0x2543c2eea9e7
W=0x1259c90071de8dd4b362a3292d411b3857ae14f09b2858ed
J=0x2466aaf329d660534ed33f75635a24531da4b09099086e23ff56b22b1ca07500eff90b096c6c02aa376776c45979a3
T=0x928ad8c725691b0c3749453f6f2a9db5269f45afe04ca11a8bb7bea6d932d5e938c4e702169f20723ac273d8663f4f

[25]
S=0xfeac0
W=0x1cd4b1c7f804bf7706cdf51334011bb21f31368032
J=-0x3345c4259e3677a5c97cc6907fe470a5980690a9fe605ec937c41355472846cbf81d8894ab1ba6d384d
T=0x6e9781973af4b7c0fb1cd20916d9ca9542c5dec3739f197fbf20b790277cbdc2428df3b7f5457307872

[26]
S=0x48aef621e
W=0x117f2f00f1f15b61952fdaa4370ca24e71c7e6
J=0x5534a686c40181e2909c59db3c99085e371c2df6bfba038d41055fa641a288aeca81507bce3bd
T=0x2a3dc205dfd29f3ee29496acdaa23f3bb40ea4e025876f227f4a8a5aac34b5af1206d4ddd71e85

[27]
S=0x29ce85a884cc
W=0xa95c5e8274152b3efd92a0f33855b91ce9a
J=-0x464faec9b64c7d5923a54abef4e5f2fdf8cb276bf252cc432335be419e9040b3c03d2
T=0x293adc182cac98173e0fb157f8385e2578f37642410cf389367595f13f794b83740b3

[28]
S=0x88eb762c2fe4f030
W=0x9b905d2dafe9bbeb60169c75be21a
J=0x26cb8df5e2c65b6c89f6af602f84cf0c044f0c49e427d5bbed960eb8ce
T=0x7ea9813db222c556bf3a80f08e4859ecad04c01aeef3cb5f904312e2b4

[29]
S=0x36e47
W=-0x22ecd82d24d53031b70829
J=0x7f2dcdb2931bab6b9cfa6a5b1741e138e37491949f
T=0x68d5f8a249d2b29ae73d5ea03997c2af1c0befcd64

[30]
S=0x3fe395b3
W=0x109718ca6ec55913611f
J=-0x8000
T=0x937cf78491175015c4d064f71c23598690beb

[31]
S=0x131893729
W=-0xf1856daab253279
A=0x0
B=0x20
T=0x790ff67ec4c88226305915c65433bb

[32]
S=0xf2996869
W=0x15187266b8b7
A=0x0
B=0x20
T=0x13c03773431efe4a62be288