src/third_party/skia/modules/pathkit/tests/PathOpsSimplify.json - cobalt - Git at Google

 {
 "bug8290": {
   "path": [[0, "0xcf1c7651", "0xcf1c7650"],
     [1, "0x4f1c7653", "0xcf1c7650"],
     [1, "0x4f1c7653", "0x4f1c7654"],
     [1, "0xcf1c7651", "0x4f1c7654"],
     [1, "0xcf1c7651", "0xcf1c7650"],
     [5],
     [0, "0x433a0000", "0x44388800"],
     [1, "0x445fb000", "0x44388800"],
     [1, "0x445fb000", "0x4438c802"],
     [1, "0x433a0000", "0x4438c802"],
     [1, "0x433a0000", "0x44388800"],
     [5],
     [0, "0x433a0000", "0x44565002"],
     [1, "0x445fb000", "0x44565002"],
     [1, "0x445fb000", "0x44569000"],
     [1, "0x433a0000", "0x44569000"],
     [1, "0x433a0000", "0x44565002"],
     [5],
     [0, "0x433a0000", "0x44741804"],
     [1, "0x445fb000", "0x44741804"],
     [1, "0x445fb000", "0x44745806"],
     [1, "0x433a0000", "0x44745806"],
     [1, "0x433a0000", "0x44741804"],
     [5],
     [0, "0x433a0000", "0x4488f003"],
     [1, "0x445fb000", "0x4488f003"],
     [1, "0x445fb000", "0x44891004"],
     [1, "0x433a0000", "0x44891004"],
     [1, "0x433a0000", "0x4488f003"],
     [5],
     [0, "0x433a0000", "0x4497d404"],
     [1, "0x445fb000", "0x4497d404"],
     [1, "0x445fb000", "0x4497f405"],
     [1, "0x433a0000", "0x4497f405"],
     [1, "0x433a0000", "0x4497d404"],
     [5],
     [0, "0x433a0000", "0x44a6b805"],
     [1, "0x445fb000", "0x44a6b805"],
     [1, "0x445fb000", "0x44a6d806"],
     [1, "0x433a0000", "0x44a6d806"],
     [1, "0x433a0000", "0x44a6b805"],
     [5],
     [0, "0x433a0000", "0x44b59c06"],
     [1, "0x445fb000", "0x44b59c06"],
     [1, "0x445fb000", "0x44b5bc07"],
     [1, "0x433a0000", "0x44b5bc07"],
     [1, "0x433a0000", "0x44b59c06"],
     [5]],
   "fillType": "kEvenOdd_FillType",
   "expectSuccess": "yes",
   "expectMatch": "yes",
   "succeeded": true,
   "out": [[0, "0x4f1c7653", "0xcf1c7650"],
     [1, "0xcf1c7651", "0xcf1c7650"],
     [1, "0xcf1c7651", "0x4f1c7654"],
     [1, "0x4f1c7653", "0x4f1c7654"],
     [1, "0x4f1c7653", "0xcf1c7650"],
     [5],
     [0, "0x445fb000", "0x44388800"],
     [1, "0x433a0000", "0x44388800"],
     [1, "0x433a0000", "0x4438c802"],
     [1, "0x445fb000", "0x4438c802"],
     [1, "0x445fb000", "0x44388800"],
     [5],
     [0, "0x445fb000", "0x44565002"],
     [1, "0x433a0000", "0x44565002"],
     [1, "0x433a0000", "0x44569000"],
     [1, "0x445fb000", "0x44569000"],
     [1, "0x445fb000", "0x44565002"],
     [5],
     [0, "0x445fb000", "0x44741804"],
     [1, "0x433a0000", "0x44741804"],
     [1, "0x433a0000", "0x44745806"],
     [1, "0x445fb000", "0x44745806"],
     [1, "0x445fb000", "0x44741804"],
     [5],
     [0, "0x445fb000", "0x4488f003"],
     [1, "0x433a0000", "0x4488f003"],
     [1, "0x433a0000", "0x44891004"],
     [1, "0x445fb000", "0x44891004"],
     [1, "0x445fb000", "0x4488f003"],
     [5],
     [0, "0x445fb000", "0x4497d404"],
     [1, "0x433a0000", "0x4497d404"],
     [1, "0x433a0000", "0x4497f405"],
     [1, "0x445fb000", "0x4497f405"],
     [1, "0x445fb000", "0x4497d404"],
     [5],
     [0, "0x445fb000", "0x44a6b805"],
     [1, "0x433a0000", "0x44a6b805"],
     [1, "0x433a0000", "0x44a6d806"],
     [1, "0x445fb000", "0x44a6d806"],
     [1, "0x445fb000", "0x44a6b805"],
     [5],
     [0, "0x445fb000", "0x44b59c06"],
     [1, "0x433a0000", "0x44b59c06"],
     [1, "0x433a0000", "0x44b5bc07"],
     [1, "0x445fb000", "0x44b5bc07"],
     [1, "0x445fb000", "0x44b59c06"],
     [5]],
   "fillTypeOut": "kEvenOdd_FillType"
 },
 "bug8249": {
   "path": [[0, "0x43310000", "0x43810000"],
     [1, "0x43480000", "0x43868000"],
     [4, "0x43480000", "0x43b20000", "0x437a0000", "0x43cd0000", "0x43c80000", "0x43cd0000"],
     [4, "0x44098000", "0x43cd0000", "0x44160000", "0x43b20000", "0x44160000", "0x43868000"],
     [1, "0x44160000", "0x43808000"],
     [4, "0x44160000", "0x43330000", "0x44110000", "0x429c0000", "0x43cd0000", "0x429c0000"],
     [4, "0x43700000", "0x429c0000", "0x43480000", "0x431f0000", "0x43480000", "0x438a8000"],
     [1, "0x43480000", "0x4401c000"],
     [4, "0x43480000", "0x441f0000", "0x43660000", "0x44340000", "0x43c80000", "0x44340000"],
     [4, "0x4404c000", "0x44340000", "0x440d0000", "0x442b8000", "0x44118000", "0x4416c000"],
     [1, "0x442cc000", "0x441c8000"],
     [4, "0x44260000", "0x443d4000", "0x44114000", "0x444a8000", "0x43c88000", "0x444a8000"],
     [4, "0x43350000", "0x444a8000", "0x42c80000", "0x442e0000", "0x42c80000", "0x4401c000"],
     [1, "0x42c80000", "0x438a8000"],
     [4, "0x42c80000", "0x42cc0000", "0x433e0000", "0xc1200000", "0x43cd0000", "0xc1200000"],
     [4, "0x441d8000", "0xc1200000", "0x442f0000", "0x42e60000", "0x442f0000", "0x437a0000"],
     [1, "0x442f0000", "0x43880000"],
     [4, "0x442f0000", "0x43d18000", "0x44164000", "0x43fa0000", "0x43c88000", "0x43fa0000"],
     [4, "0x43490000", "0x43fa0000", "0x43160000", "0x43d00000", "0x43160000", "0x43868000"],
     [1, "0x43310000", "0x43810000"],
     [5]],
   "fillType": "kWinding_FillType",
   "expectSuccess": "yes",
   "expectMatch": "yes",
   "succeeded": true,
   "out": [[0, "0x43480000", "0x43db8ce9"],
     [1, "0x43480000", "0x4401c000"],
     [4, "0x43480000", "0x441f0000", "0x43660000", "0x44340000", "0x43c80000", "0x44340000"],
     [4, "0x4404c000", "0x44340000", "0x440d0000", "0x442b8000", "0x44118000", "0x4416c000"],
     [1, "0x442cc000", "0x441c8000"],
     [4, "0x44260000", "0x443d4000", "0x44114000", "0x444a8000", "0x43c88000", "0x444a8000"],
     [4, "0x43350000", "0x444a8000", "0x42c80000", "0x442e0000", "0x42c80000", "0x4401c000"],
     [1, "0x42c80000", "0x438a8000"],
     [4, "0x42c80000", "0x42cc0000", "0x433e0000", "0xc1200000", "0x43cd0000", "0xc1200000"],
     [4, "0x441d8000", "0xc1200000", "0x442f0000", "0x42e60000", "0x442f0000", "0x437a0000"],
     [1, "0x442f0000", "0x43880000"],
     [4, "0x442f0000", "0x43d18000", "0x44164000", "0x43fa0000", "0x43c88000", "0x43fa0000"],
     [4, "0x43964752", "0x43fa0000", "0x436db1ed", "0x43ef6824", "0x43480000", "0x43db8ce9"],
     [5],
     [0, "0x434805cb", "0x43881798"],
     [4, "0x43493da4", "0x43b2a869", "0x437bd6b1", "0x43cd0000", "0x43c80000", "0x43cd0000"],
     [4, "0x44098000", "0x43cd0000", "0x44160000", "0x43b20000", "0x44160000", "0x43868000"],
     [1, "0x44160000", "0x43808000"],
     [4, "0x44160000", "0x43330000", "0x44110000", "0x429c0000", "0x43cd0000", "0x429c0000"],
     [4, "0x43725298", "0x429c0000", "0x43491e05", "0x431ccd43", "0x434805cb", "0x43881798"],
     [5]],
   "fillTypeOut": "kEvenOdd_FillType"
 },
 "grshapearc": {
   "path": [[0, "0x41c81412", "0x41b99412"],
     [1, "0x41cc8d1b", "0x41b2f213"],
     [3, "0x41d10659", "0x41ac5048", "0x41d7a858", "0x41b0c986", "0x3f3504f7"],
     [3, "0x41de4a23", "0x41b542c4", "0x41d9d0e5", "0x41bbe48f", "0x3f3504f7"],
     [1, "0x41d557a8", "0x41c28659"],
     [3, "0x41d0de6a", "0x41c92858", "0x41ca3c9f", "0x41c4af1b", "0x3f3504f7"],
     [3, "0x41c39ad4", "0x41c035dd", "0x41c81412", "0x41b99412", "0x3f3504f7"],
     [5],
     [0, "0x41d57f97", "0x41a5ae49"],
     [1, "0x41d9f8d5", "0x419f0c7e"],
     [3, "0x41de7213", "0x41986ab3", "0x41e51412", "0x419ce3f1", "0x3f3504f7"],
     [3, "0x41ebb5dd", "0x41a15cfb", "0x41e73c9f", "0x41a7fefa", "0x3f3504f7"],
     [1, "0x41e2c361", "0x41aea0c5"],
     [3, "0x41de4a23", "0x41b542c4", "0x41d7a858", "0x41b0c986", "0x3f3504f7"],
     [3, "0x41d10659", "0x41ac5048", "0x41d57f97", "0x41a5ae49", "0x3f3504f7"],
     [5],
     [0, "0x41e2eb51", "0x4191c8b4"],
     [1, "0x41e7648f", "0x418b26e9"],
     [3, "0x41ebddcc", "0x4184851f", "0x41f27f97", "0x4188fe28", "0x3f3504f7"],
     [3, "0x41f92196", "0x418d7766", "0x41f4a858", "0x41941965", "0x3f3504f7"],
     [1, "0x41f02f1b", "0x419abb30"],
     [3, "0x41ebb5dd", "0x41a15cfb", "0x41e51412", "0x419ce3f1", "0x3f3504f7"],
     [3, "0x41de7213", "0x41986ab3", "0x41e2eb51", "0x4191c8b4", "0x3f3504f7"],
     [5],
     [0, "0x41f0570a", "0x417bc63f"],
     [1, "0x41f4d048", "0x416e82aa"],
     [3, "0x41f94986", "0x41613eab", "0x41ffeb51", "0x416a3127", "0x3f3504f7"],
     [3, "0x4203468e", "0x417323a3", "0x42010a09", "0x418033d0", "0x3f3504f7"],
     [1, "0x41fd9ad4", "0x4186d59b"],
     [3, "0x41f92196", "0x418d7766", "0x41f27f97", "0x4188fe28", "0x3f3504f7"],
     [3, "0x41ebddcc", "0x4184851f", "0x41f0570a", "0x417bc63f", "0x3f3504f7"],
     [5],
     [0, "0x41fdc2c4", "0x4153fb16"],
     [1, "0x42011e01", "0x4146b780"],
     [3, "0x42035aa0", "0x41397382", "0x4206ab85", "0x414265fe", "0x3f3504f7"],
     [3, "0x4209fc6a", "0x414b5879", "0x4207bfcc", "0x41589c0f", "0x3f3504f7"],
     [1, "0x4205832d", "0x4165e00d"],
     [3, "0x4203468e", "0x417323a3", "0x41ffeb51", "0x416a3127", "0x3f3504f7"],
     [3, "0x41f94986", "0x41613eab", "0x41fdc2c4", "0x4153fb16", "0x3f3504f7"],
     [5],
     [0, "0x42059724", "0x412c2fec"],
     [1, "0x4207d3c3", "0x411eec22"],
     [3, "0x420a1062", "0x4111a863", "0x420d6162", "0x411a9ad4", "0x3f3504f7"],
     [3, "0x4210b247", "0x41238d50", "0x420e75a8", "0x4130d0e5", "0x3f3504f7"],
     [1, "0x420c3909", "0x413e14e4"],
     [3, "0x4209fc6a", "0x414b5879", "0x4206ab85", "0x414265fe", "0x3f3504f7"],
     [3, "0x42035aa0", "0x41397382", "0x42059724", "0x412c2fec", "0x3f3504f7"],
     [5],
     [0, "0x420c4d01", "0x410464a4"],
     [1, "0x420e89a0", "0x40ee41dd"],
     [3, "0x4210c63f", "0x40d3ba5e", "0x42141724", "0x40e59f41", "0x3f3504f7"],
     [3, "0x42176824", "0x40f78423", "0x42152b85", "0x410905d1", "0x3f3504f7"],
     [1, "0x4212eee6", "0x41164990"],
     [3, "0x4210b247", "0x41238d50", "0x420d6162", "0x411a9ad4", "0x3f3504f7"],
     [3, "0x420a1062", "0x4111a863", "0x420c4d01", "0x410464a4", "0x3f3504f7"],
     [5],
     [0, "0x421302de", "0x40b932df"],
     [1, "0x42153f7d", "0x409eab60"],
     [3, "0x42177c1c", "0x408423f6", "0x421acd01", "0x409608d9", "0x3f3504f7"],
     [3, "0x421e1e01", "0x40a7edbb", "0x421be162", "0x40c2753a", "0x3f3504f7"],
     [1, "0x4219a4c3", "0x40dcfcb9"],
     [3, "0x42176824", "0x40f78423", "0x42141724", "0x40e59f41", "0x3f3504f7"],
     [3, "0x4210c63f", "0x40d3ba5e", "0x421302de", "0x40b932df", "0x3f3504f7"],
     [5],
     [0, "0x421fc75f", "0x406e5ac4"],
     [2, "0x422168dc", "0x40805793", "0x4222fee0", "0x4089ffd6"],
     [3, "0x42262d91", "0x409d61e5", "0x4223c155", "0x40b6d806", "0x3f3504f7"],
     [3, "0x42215518", "0x40d04e3c", "0x421e264c", "0x40bcec2d", "0x3f3504f7"],
     [2, "0x421caf83", "0x40b401b8", "0x421b2e2f", "0x40ab8c54"],
     [3, "0x4217e83e", "0x40992791", "0x421a34d7", "0x407df045", "0x3f3504f7"],
     [3, "0x421c816f", "0x4049913f", "0x421fc75f", "0x406e5ac4", "0x3f3504f7"],
     [5],
     [0, "0x42294711", "0x40b376de"],
     [2, "0x422ad3f8", "0x40be8af0", "0x422c5254", "0x40ca1b48"],
     [3, "0x422f3247", "0x40e05bea", "0x422c6a30", "0x40f75aee", "0x3f3504f7"],
     [3, "0x4229a219", "0x41072cf9", "0x4226c227", "0x40f8193b", "0x3f3504f7"],
     [2, "0x42256113", "0x40ed6c0d", "0x4223f2ca", "0x40e3328b"],
     [3, "0x4220f717", "0x40cde19c", "0x4223a12d", "0x40b603c5", "0x3f3504f7"],
     [3, "0x42264b44", "0x409e25d9", "0x42294711", "0x40b376de", "0x3f3504f7"],
     [5],
     [0, "0x42322993", "0x40fb28a2"],
     [2, "0x42339567", "0x41040e6b", "0x4234efb8", "0x410ac337"],
     [3, "0x423772b0", "0x411736e3", "0x423455d0", "0x4121432d", "0x3f3504f7"],
     [3, "0x423138ef", "0x412b4f0e", "0x422eb5dd", "0x411edb8c", "0x3f3504f7"],
     [2, "0x422d762b", "0x4118aaf8", "0x422c264c", "0x4112b055"],
     [3, "0x422982de", "0x4106a9f1", "0x422c8467", "0x40f837df", "0x3f3504f7"],
     [3, "0x422f860b", "0x40e31bda", "0x42322993", "0x40fb28a2", "0x3f3504f7"],
     [5],
     [0, "0x423a1cac", "0x4126bcd3"],
     [2, "0x423b428f", "0x412d84b6", "0x423c5724", "0x4134793e"],
     [3, "0x423e7382", "0x41421062", "0x423b0d9f", "0x414a81d8", "0x3f3504f7"],
     [3, "0x4237a7d5", "0x4152f34d", "0x42358b78", "0x41455c29", "0x3f3504f7"],
     [2, "0x42348c30", "0x413ef06f", "0x42337cee", "0x4138ae7d"],
     [3, "0x42313ec5", "0x412b6f00", "0x42348ea5", "0x412275f7", "0x3f3504f7"],
     [3, "0x4237de84", "0x41197d56", "0x423a1cac", "0x4126bcd3", "0x3f3504f7"],
     [5],
     [0, "0x42406c22", "0x4151404f"],
     [2, "0x4241612d", "0x4158ac08", "0x424242f8", "0x41603d71"],
     [3, "0x4243f39c", "0x416ebda5", "0x4240538f", "0x41758034", "0x3f3504f7"],
     [3, "0x423cb368", "0x417c42c4", "0x423b02c4", "0x416dc28f", "0x3f3504f7"],
     [2, "0x423a3261", "0x4166c63f", "0x4239502e", "0x415fecc0"],
     [3, "0x42377aad", "0x4151b4a2", "0x423b089a", "0x414a5e9e", "0x3f3504f7"],
     [3, "0x423e96a1", "0x41430831", "0x42406c22", "0x4151404f", "0x3f3504f7"],
     [5],
     [0, "0x42458083", "0x417f42c4"],
     [2, "0x42463cd3", "0x4183982b", "0x4246e440", "0x41879ce0"],
     [3, "0x42482148", "0x418f3852", "0x4244538f", "0x4191b261", "0x3f3504f7"],
     [3, "0x424085d6", "0x41942c3d", "0x423f48e9", "0x418c90cb", "0x3f3504f7"],
     [2, "0x423eae49", "0x4188daee", "0x423e0083", "0x41853296"],
     [3, "0x423c9c43", "0x417b652c", "0x42405c43", "0x4175d3c3", "0x3f3504f7"],
     [3, "0x42441c43", "0x417042c4", "0x42458083", "0x417f42c4", "0x3f3504f7"],
     [5],
     [0, "0x42492f83", "0x4197f03b"],
     [2, "0x4249ad29", "0x419c123a", "0x424a1518", "0x41a03dd9"],
     [3, "0x424ad8c8", "0x41a817f6", "0x4246ebba", "0x41a99f8a", "0x3f3504f7"],
     [3, "0x4242fe91", "0x41ab26e9", "0x42423ae1", "0x41a34ccd", "0x3f3504f7"],
     [2, "0x4241daee", "0x419f734d", "0x424166e9", "0x419ba29c"],
     [3, "0x42407a44", "0x4193da1d", "0x42445e9e", "0x419200d2", "0x3f3504f7"],
     [3, "0x424842de", "0x41902787", "0x42492f83", "0x4197f03b", "0x3f3504f7"],
     [5],
     [0, "0x424b5965", "0x41b0c3ca"],
     [2, "0x424b94fe", "0x41b4e910", "0x424bbb64", "0x41b912a3"],
     [3, "0x424c04d0", "0x41c10d50", "0x4248077a", "0x41c1a05c", "0x3f3504f7"],
     [3, "0x42440a23", "0x41c23333", "0x4243c09d", "0x41ba3886", "0x3f3504f7"],
     [2, "0x42439d49", "0x41b66148", "0x42436632", "0x41b28d84"],
     [3, "0x4242f3d0", "0x41aa9a37", "0x4246ed5d", "0x41a9b574", "0x3f3504f7"],
     [3, "0x424ae6e9", "0x41a8d0b1", "0x424b5965", "0x41b0c3ca", "0x3f3504f7"],
     [5],
     [0, "0x424bff2e", "0x41c9ade0"],
     [2, "0x424bfac7", "0x41cde2eb", "0x424be0aa", "0x41d2161e"],
     [3, "0x424baf00", "0x41da13a9", "0x4247b03b", "0x41d9b055", "0x3f3504f7"],
     [3, "0x4243b176", "0x41d94d01", "0x4243e320", "0x41d14f76", "0x3f3504f7"],
     [2, "0x4243fb30", "0x41cd6e98", "0x4243ff2e", "0x41c98ce7"],
     [3, "0x4244077a", "0x41c18ce7", "0x4248077a", "0x41c19d7e", "0x3f3504f7"],
     [3, "0x424c075f", "0x41c1ae14", "0x424bff2e", "0x41c9ade0", "0x3f3504f7"],
     [5],
     [0, "0x424b22b7", "0x41e2c361"],
     [2, "0x424ade6a", "0x41e6e076", "0x424a851f", "0x41eaf766"],
     [3, "0x4249d8fc", "0x41f2da1d", "0x4245e787", "0x41f181d8", "0x3f3504f7"],
     [3, "0x4241f611", "0x41f02993", "0x4242a234", "0x41e846dc", "0x3f3504f7"],
     [2, "0x4242f4a2", "0x41e48069", "0x424333b6", "0x41e0b439"],
     [3, "0x4243b780", "0x41d8c539", "0x4247af00", "0x41d9cccd", "0x3f3504f7"],
     [3, "0x424ba681", "0x41dad461", "0x424b22b7", "0x41e2c361", "0x3f3504f7"],
     [5],
     [0, "0x4248c32d", "0x41fb7efa"],
     [2, "0x42483924", "0x41ffb780", "0x42479893", "0x4201f1c4"],
     [3, "0x424671aa", "0x4205c674", "0x42429d15", "0x42049f8a", "0x3f3504f7"],
     [3, "0x423ec866", "0x420378bb", "0x423fef4f", "0x41ff484b", "0x3f3504f7"],
     [2, "0x4240837b", "0x41fb6e63", "0x424102de", "0x41f788ce"],
     [3, "0x42420069", "0x41efc880", "0x4245e090", "0x41f1c396", "0x3f3504f7"],
     [3, "0x4249c0b8", "0x41f3beab", "0x4248c32d", "0x41fb7efa", "0x3f3504f7"],
     [5],
     [0, "0x4244ca8c", "0x420a0bac"],
     [2, "0x42440539", "0x420c01a3", "0x42432bba", "0x420def4f"],
     [3, "0x42418ed9", "0x4211985f", "0x423de5c9", "0x420ffb7f", "0x3f3504f7"],
     [3, "0x423a3cb9", "0x420e5e84", "0x423bd99a", "0x420ab574", "0x3f3504f7"],
     [2, "0x423ca268", "0x4208ede0", "0x423d5879", "0x42071e6a"],
     [3, "0x423ecf28", "0x42036560", "0x42428817", "0x4204dc0f", "0x3f3504f7"],
     [3, "0x42464120", "0x420652a3", "0x4244ca8c", "0x420a0bac", "0x3f3504f7"],
     [5],
     [0, "0x423f8a72", "0x42155bda"],
     [2, "0x423e9461", "0x42172426", "0x423d8ce7", "0x4218e268"],
     [3, "0x423b8419", "0x421c5412", "0x4238126f", "0x421a4b5e", "0x3f3504f7"],
     [3, "0x4234a0aa", "0x421842aa", "0x4236a979", "0x4214d0e5", "0x3f3504f7"],
     [2, "0x42379cac", "0x4213350b", "0x42387fcc", "0x42118ff9"],
     [3, "0x423a65af", "0x420e0a8c", "0x423deb1c", "0x420ff08a", "0x3f3504f7"],
     [3, "0x4241706f", "0x4211d687", "0x423f8a72", "0x42155bda", "0x3f3504f7"],
     [5],
     [0, "0x423942f8", "0x421f8d6a"],
     [2, "0x42381f07", "0x42212f4f", "0x4236eb6b", "0x4222c5a2"],
     [3, "0x4234816f", "0x4225f611", "0x42315100", "0x42238bfb", "0x3f3504f7"],
     [3, "0x422e2090", "0x422121e5", "0x42308a8c", "0x421df176", "0x3f3504f7"],
     [2, "0x4231a681", "0x421c7a5e", "0x4232b3eb", "0x421af8a1"],
     [3, "0x4234fe42", "0x4217b127", "0x423845d6", "0x4219fb7f", "0x3f3504f7"],
     [3, "0x423b8d50", "0x421c45d6", "0x423942f8", "0x421f8d6a", "0x3f3504f7"],
     [5],
     [0, "0x4231c25b", "0x42290fc5"],
     [2, "0x42306148", "0x422a9d49", "0x422ef08a", "0x422c1c78"],
     [3, "0x422c2a7f", "0x422efe5d", "0x422948b4", "0x422c3852", "0x3f3504f7"],
     [3, "0x422666cf", "0x42297247", "0x42292cda", "0x42269062", "0x3f3504f7"],
     [2, "0x422a8120", "0x42252ecc", "0x422bc711", "0x4223bfe6"],
     [3, "0x422e6f00", "0x4220c241", "0x42316ca5", "0x42236a30", "0x3f3504f7"],
     [3, "0x42346a4b", "0x42261220", "0x4231c25b", "0x42290fc5", "0x3f3504f7"],
     [5],
     [0, "0x4228d47b", "0x4231f6e3"],
     [2, "0x4227374c", "0x423363a3", "0x42258b78", "0x4234befa"],
     [3, "0x4222706f", "0x4237444d", "0x421feb02", "0x42342944", "0x3f3504f7"],
     [3, "0x421d65af", "0x42310e3c", "0x422080b8", "0x422e88ce", "0x3f3504f7"],
     [2, "0x42220bac", "0x422d4831", "0x42238903", "0x422bf79a"],
     [3, "0x422688b4", "0x422951d1", "0x42292e63", "0x422c5183", "0x3f3504f7"],
     [3, "0x422bd42c", "0x422f511a", "0x4228d47b", "0x4231f6e3", "0x3f3504f7"],
     [5],
     [0, "0x421e8d36", "0x4239f3b6"],
     [2, "0x421cdc43", "0x423b1aa0", "0x421b2027", "0x423c303b"],
     [3, "0x4217bbcd", "0x423e4ef3", "0x42159d15", "0x423aeab3", "0x3f3504f7"],
     [3, "0x42137e42", "0x42378659", "0x4216e29c", "0x42356787", "0x3f3504f7"],
     [2, "0x42187c9f", "0x42346752", "0x421a0c30", "0x4233570a"],
     [3, "0x421d5a6b", "0x423116a1", "0x421f9aee", "0x423464dd", "0x3f3504f7"],
     [3, "0x4221db71", "0x4237b333", "0x421e8d36", "0x4239f3b6", "0x3f3504f7"],
     [5],
     [0, "0x4213f213", "0x424049ef"],
     [2, "0x421217f6", "0x42414034", "0x42103488", "0x4242233a"],
     [3, "0x420c959b", "0x4243d687", "0x420ae268", "0x4240379a", "0x3f3504f7"],
     [3, "0x42092f1b", "0x423c98ae", "0x420cce07", "0x423ae57a", "0x3f3504f7"],
     [2, "0x420e8c64", "0x423a13de", "0x421041f2", "0x4239308a"],
     [3, "0x4213cea5", "0x42375879", "0x4215a6b5", "0x423ae52c", "0x3f3504f7"],
     [3, "0x42177ec5", "0x423e71de", "0x4213f213", "0x424049ef", "0x3f3504f7"],
     [5],
     [0, "0x42087611", "0x42456632"],
     [2, "0x42067b7f", "0x424623d7", "0x4204798c", "0x4246ccb3"],
     [3, "0x4200acc0", "0x42480c7e", "0x41feda1d", "0x42443fb1", "0x3f3504f7"],
     [3, "0x41fc5a86", "0x424072e5", "0x4201fa10", "0x423f3319", "0x3f3504f7"],
     [2, "0x4203d47b", "0x423e973f", "0x4205a80a", "0x423de824"],
     [3, "0x4209671e", "0x423c8120", "0x420ace07", "0x42404034", "0x3f3504f7"],
     [3, "0x420c350b", "0x4243ff2e", "0x42087611", "0x42456632", "0x3f3504f7"],
     [5],
     [0, "0x41f8a3d7", "0x42491dcc"],
     [2, "0x41f48275", "0x42499cfb", "0x41f05773", "0x424a0674"],
     [3, "0x41e87e5d", "0x424acd01", "0x41e6f141", "0x4246e076", "0x3f3504f7"],
     [3, "0x41e563f1", "0x4242f3eb", "0x41ed3d08", "0x42422d5d", "0x3f3504f7"],
     [2, "0x41f115ea", "0x4241cbfb", "0x41f4e5c9", "0x424156a1"],
     [3, "0x41fcad0e", "0x4240671e", "0x41fe8c15", "0x42444ac1", "0x3f3504f7"],
     [3, "0x42003574", "0x42482e63", "0x41f8a3d7", "0x42491dcc", "0x3f3504f7"],
     [5],
     [0, "0x41dfd0b1", "0x424b50e5"],
     [2, "0x41dbab9f", "0x424b8e07", "0x41d78241", "0x424bb5dd"],
     [3, "0x41cf87fd", "0x424c0241", "0x41ceef35", "0x4248051f", "0x3f3504f7"],
     [3, "0x41ce56a1", "0x424407fd", "0x41d650e5", "0x4243bb99", "0x3f3504f7"],
     [2, "0x41da2824", "0x424396d6", "0x41ddfbb3", "0x42435e6a"],
     [3, "0x41e5ee2f", "0x4242e92a", "0x41e6d8ae", "0x4246e268", "0x3f3504f7"],
     [3, "0x41e7c32d", "0x424adba6", "0x41dfd0b1", "0x424b50e5", "0x3f3504f7"],
     [5],
     [0, "0x41c6e666", "0x424bff97"],
     [2, "0x41c2b2ca", "0x424bfcd3", "0x41be809d", "0x424be440"],
     [3, "0x41b682aa", "0x424bb574", "0x41b6e042", "0x4247b694", "0x3f3504f7"],
     [3, "0x41b73da5", "0x4243b79a", "0x41bf3b99", "0x4243e666", "0x3f3504f7"],
     [2, "0x41c31b71", "0x4243fd08", "0x41c6fc1c", "0x4243ffb1"],
     [3, "0x41cefc1c", "0x4244051f", "0x41cef141", "0x4248051f", "0x3f3504f7"],
     [3, "0x41cee632", "0x424c0505", "0x41c6e666", "0x424bff97", "0x3f3504f7"],
     [5],
     [0, "0x41add07d", "0x424b2c22"],
     [2, "0x41a9b261", "0x424ae944", "0x41a59aa0", "0x424a9168"],
     [3, "0x419db6e3", "0x4249e824", "0x419f096c", "0x4245f646", "0x3f3504f7"],
     [3, "0x41a05c29", "0x4242044d", "0x41a83fe6", "0x4242adac", "0x3f3504f7"],
     [2, "0x41ac075f", "0x4242fec5", "0x41afd42c", "0x42433c85"],
     [3, "0x41b7c3fe", "0x4243bd56", "0x41b6c227", "0x4247b53f", "0x3f3504f7"],
     [3, "0x41b5c04f", "0x424bad0e", "0x41add07d", "0x424b2c22", "0x3f3504f7"],
     [5],
     [0, "0x419518fc", "0x4248d66d"],
     [2, "0x4190df07", "0x42484ded", "0x418cb127", "0x4247aecc"],
     [3, "0x41850625", "0x42468adb", "0x41874e3c", "0x4242b55a", "0x3f3504f7"],
     [3, "0x4189961e", "0x423edfd9", "0x41914120", "0x424003ca", "0x3f3504f7"],
     [2, "0x41951cac", "0x424096bc", "0x4199037b", "0x424114af"],
     [3, "0x41a0c539", "0x42420f5c", "0x419ed014", "0x4245f03b", "0x3f3504f7"],
     [3, "0x419cdaba", "0x4249d11a", "0x419518fc", "0x4248d66d", "0x3f3504f7"],
     [5],
     [0, "0x4178ec57", "0x4244e632"],
     [2, "0x41711062", "0x42442234", "0x4169559b", "0x424349ef"],
     [3, "0x415aacda", "0x4241af9e", "0x416115b5", "0x423e056d", "0x3f3504f7"],
     [3, "0x41677e91", "0x423a5b23", "0x417627bb", "0x423bf574", "0x3f3504f7"],
     [2, "0x417d4a23", "0x423cbd08", "0x418245a2", "0x423d7213"],
     [3, "0x4189b9f5", "0x423ee5fe", "0x4186d220", "0x4242a00d", "0x3f3504f7"],
     [3, "0x4183ea4b", "0x42465a1d", "0x4178ec57", "0x4244e632", "0x3f3504f7"],
     [5],
     [0, "0x414b91d1", "0x423facf4"],
     [2, "0x41446c8b", "0x423eb803", "0x413d6e98", "0x423db176"],
     [3, "0x412fa234", "0x423bab1c", "0x4137bb99", "0x42383803", "0x3f3504f7"],
     [3, "0x413fd495", "0x4234c4d0", "0x414da162", "0x4236cb29", "0x3f3504f7"],
     [2, "0x4154154d", "0x4237bd8b", "0x415aae14", "0x42389fbe"],
     [3, "0x4168c8b4", "0x423a8347", "0x41613a93", "0x423e09d5", "0x3f3504f7"],
     [3, "0x4159ac71", "0x4241907d", "0x414b91d1", "0x423facf4", "0x3f3504f7"],
     [5],
     [0, "0x4122b296", "0x42396b51"],
     [2, "0x411c29f1", "0x423848e9", "0x4115ced9", "0x423716bc"],
     [3, "0x41090664", "0x4234aee6", "0x4112a5d9", "0x42317cb9", "0x3f3504f7"],
     [3, "0x411c4543", "0x422e4aa6", "0x41290d84", "0x4230b27c", "0x3f3504f7"],
     [2, "0x412eeb85", "0x4231cd36", "0x4134f3b6", "0x4232d94b"],
     [3, "0x414217c2", "0x42352162", "0x4138f766", "0x42386a65", "0x3f3504f7"],
     [3, "0x412fd6a1", "0x423bb382", "0x4122b296", "0x42396b51", "0x3f3504f7"],
     [5],
     [0, "0x40f93ba3", "0x4231f34d"],
     [2, "0x40ecca82", "0x423093a9", "0x40e0cc25", "0x422f245a"],
     [3, "0x40c9ad43", "0x422c6076", "0x40dfccb8", "0x42297c9f", "0x3f3504f7"],
     [3, "0x40f5ec42", "0x422698c8", "0x41068592", "0x42295cac", "0x3f3504f7"],
     [2, "0x410c0ebf", "0x422aaf9e", "0x4111ccc2", "0x422bf439"],
     [3, "0x411dcacb", "0x422e9a1d", "0x41133353", "0x4231999a", "0x3f3504f7"],
     [3, "0x41089bda", "0x42349931", "0x40f93ba3", "0x4231f34d", "0x3f3504f7"],
     [5],
     [0, "0x40b1dfa4", "0x42290dd3"],
     [2, "0x40a67286", "0x42277213", "0x409b8fda", "0x4225c794"],
     [3, "0x40875293", "0x4222ae63", "0x40a01bda", "0x422026b5", "0x3f3504f7"],
     [3, "0x40b8e521", "0x421d9f07", "0x40cd227d", "0x4220b838", "0x3f3504f7"],
     [2, "0x40d72e88", "0x422241f2", "0x40e1ba9d", "0x4223be0e"],
     [3, "0x40f6fa05", "0x4226bbb3", "0x40df0c89", "0x422963a3", "0x3f3504f7"],
     [3, "0x40c71f0c", "0x422c0b92", "0x40b1dfa4", "0x42290dd3", "0x3f3504f7"],
     [5],
     [0, "0x40635df6", "0x421eca09"],
     [2, "0x4050dbb6", "0x421d19ce", "0x403f6db1", "0x421b5e6a"],
     [3, "0x401d5ad9", "0x4217fb99", "0x405387e8", "0x4215da6b", "0x3f3504f7"],
     [3, "0x4084da7b", "0x4213b93e", "0x4095e3d2", "0x42171c0f", "0x3f3504f7"],
     [2, "0x409def74", "0x4218b574", "0x40a67a25", "0x421a444d"],
     [3, "0x40b890eb", "0x421d9100", "0x409e2b56", "0x421fd3de", "0x3f3504f7"],
     [3, "0x4083c5c1", "0x422216bc", "0x40635df6", "0x421eca09", "0x3f3504f7"],
     [5],
     [0, "0x3ffb10cb", "0x4214341f"],
     [2, "0x3fdc20c5", "0x42125b09", "0x3fbf9629", "0x42107852"],
     [3, "0x3f88da90", "0x420cdaa0", "0x3ffc902e", "0x420b24c3", "0x3f3504f7"],
     [3, "0x403822bc", "0x42096ee6", "0x4053805e", "0x420d0c98", "0x3f3504f7"],
     [2, "0x4060ac86", "0x420eca23", "0x406ef3f5", "0x42107ee0"],
     [3, "0x40864ef9", "0x42140a3d", "0x4053e83e", "0x4215e4dd", "0x3f3504f7"],
     [3, "0x401b3261", "0x4217bf7d", "0x3ffb10cb", "0x4214341f", "0x3f3504f7"],
     [5],
     [0, "0x3f2d1ada", "0x4208bcd3"],
     [2, "0x3efaaf9b", "0x4206c2c4", "0x3ea5844d", "0x4204c189"],
     [3, "0x3c083cc5", "0x4200f5a8", "0x3f75197a", "0x41ff6632", "0x3f3504f7"],
     [3, "0x3ff4092d", "0x41fce113", "0x400e2ce4", "0x42023c6a", "0x3f3504f7"],
     [2, "0x401800a8", "0x42041653", "0x4023064f", "0x4205e95f"],
     [3, "0x4039a1cb", "0x4209a752", "0x3ffb8423", "0x420b1100", "0x3f3504f7"],
     [3, "0x3f83c45d", "0x420c7ac7", "0x3f2d1ada", "0x4208bcd3", "0x3f3504f7"],
     [5],
     [0, "0xbe85f80a", "0x41f93780"],
     [2, "0xbec64cb6", "0x41f516f0", "0xbefbca75", "0x41f0ecc0"],
     [3, "0xbf304381", "0x41e914af", "0x3e9576ee", "0x41e781d8", "0x3f3504f7"],
     [3, "0x3fa2dd59", "0x41e5eecc", "0x3fbc0c74", "0x41edc6dc", "0x3f3504f7"],
     [2, "0x3fc86499", "0x41f19eed", "0x3fd73d08", "0x41f56e63"],
     [3, "0x3ff58698", "0x41fd3439", "0x3f725215", "0x41ff18c8", "0x3f3504f7"],
     [3, "0xbccd19c4", "0x42007eab", "0xbe85f80a", "0x41f93780", "0x3f3504f7"],
     [5],
     [0, "0xbf520f80", "0x41e06560"],
     [2, "0xbf61b941", "0x41dc404f", "0xbf6c0e06", "0x41d81724"],
     [3, "0xbf7fdbe4", "0x41d01d49", "0xbb204b8f", "0x41cf7ec5", "0x3f3504f7"],
     [3, "0x3f7e9b4a", "0x41cee076", "0x3f8934ad", "0x41d6da51", "0x3f3504f7"],
     [2, "0x3f8df948", "0x41dab190", "0x3f953405", "0x41de84ea"],
     [3, "0x3fa4370d", "0x41e676c9", "0x3e94651f", "0x41e76704", "0x3f3504f7"],
     [3, "0xbf34092d", "0x41e8573f", "0xbf520f80", "0x41e06560", "0x3f3504f7"],
     [5],
     [0, "0xbf7ffaa0", "0x41c77aad"],
     [2, "0xbf7fa494", "0x41c34880", "0xbf79e42e", "0x41bf1724"],
     [3, "0xbf6eed14", "0x41b71931", "0x3d86b632", "0x41b770d8", "0x3f3504f7"],
     [3, "0x3f884d55", "0x41b7c880", "0x3f82d1e1", "0x41bfc6a8", "0x3f3504f7"],
     [2, "0x3f802a45", "0x41c3a546", "0x3f80029f", "0x41c784ea"],
     [3, "0x3f7f60e1", "0x41cf84ea", "0xbb1ee2af", "0x41cf7fcc", "0x3f3504f7"],
     [3, "0xbf804f4c", "0x41cf7aad", "0xbf7ffaa0", "0x41c77aad", "0x3f3504f7"],
     [5],
     [0, "0xbf4d5dc4", "0x41ae648f"],
     [2, "0xbf3d01f3", "0x41aa45a2", "0xbf276630", "0x41a62cda"],
     [3, "0xbefb8972", "0x419e4817", "0x3efda5db", "0x419f9518", "0x3f3504f7"],
     [3, "0x3fbdb520", "0x41a0e219", "0x3fa8e4b8", "0x41a8c6dc", "0x3f3504f7"],
     [2, "0x3f9eeb70", "0x41ac8ef3", "0x3f975e74", "0x41b05cc6"],
     [3, "0x3f879c63", "0x41b84d36", "0x3d895b00", "0x41b7511a", "0x3f3504f7"],
     [3, "0xbf6ce219", "0x41b654fe", "0xbf4d5dc4", "0x41ae648f", "0x3f3504f7"],
     [5],
     [0, "0xbe698a22", "0x4195b127"],
     [2, "0xbdc4f5d3", "0x4191758e", "0x3d6cb51a", "0x418d463f"],
     [3, "0x3eae24bc", "0x4185999a", "0x3fa6540d", "0x4187dbc0", "0x3f3504f7"],
     [3, "0x40108f86", "0x418a1de7", "0x3ffcfb55", "0x4191ca8c", "0x3f3504f7"],
     [2, "0x3feaca58", "0x4195a787", "0x3fdb34d7", "0x41998ff9"],
     [3, "0x3fbc3f92", "0x41a15326", "0x3f0018e7", "0x419f63bd", "0x3f3504f7"],
     [3, "0xbef09aaa", "0x419d7488", "0xbe698a22", "0x4195b127", "0x3f3504f7"],
     [5],
     [0, "0x3f3f913f", "0x417a07c8"],
     [2, "0x3f704418", "0x417227bb", "0x3f930457", "0x416a68dc"],
     [3, "0x3fc5f7a5", "0x415bbb99", "0x401db1d9", "0x416219ce", "0x3f3504f7"],
     [3, "0x4058680a", "0x4168786c", "0x403eee63", "0x417725af", "0x3f3504f7"],
     [2, "0x403285db", "0x417e4c30", "0x402748d4", "0x4182c880"],
     [3, "0x4010363b", "0x418a3eab", "0x3fa9081c", "0x41875c5d", "0x3f3504f7"],
     [3, "0x3ec68dda", "0x41847a10", "0x3f3f913f", "0x417a07c8", "0x3f3504f7"],
     [5],
     [0, "0x40030942", "0x414c93de"],
     [2, "0x401248bf", "0x41456a16", "0x4022a305", "0x413e67a1"],
     [3, "0x4042e1ef", "0x41309581", "0x407a2a6f", "0x4138a512", "0x3f3504f7"],
     [3, "0x4098b978", "0x4140b50b", "0x40889a17", "0x414e872b", "0x3f3504f7"],
     [2, "0x40810dc3", "0x4154ff2e", "0x40740885", "0x415b9c0f"],
     [3, "0x4055f7cf", "0x4169bc02", "0x401d782d", "0x416237b5", "0x3f3504f7"],
     [3, "0x3fc9f117", "0x415ab3d0", "0x40030942", "0x414c93de", "0x3f3504f7"],
     [5],
     [0, "0x4066c6e7", "0x41239ad4"],
     [2, "0x4078d6f5", "0x411d10d6", "0x4085f1bf", "0x4116b439"],
     [3, "0x40991ef7", "0x4109e52c", "0x40b2bd12", "0x41137bc8", "0x3f3504f7"],
     [3, "0x40cc5b2d", "0x411d1264", "0x40b92df5", "0x4129e148", "0x3f3504f7"],
     [2, "0x40b06335", "0x412fc0ec", "0x40a80d06", "0x4135c9ef"],
     [3, "0x4095ddd7", "0x4142f488", "0x4077121b", "0x4139dcc6", "0x3f3504f7"],
     [3, "0x40426888", "0x4130c505", "0x4066c6e7", "0x41239ad4", "0x3f3504f7"],
     [5],
     [0, "0x40aedfce", "0x40faf67f"],
     [2, "0x40b9d178", "0x40ee809d", "0x40c54010", "0x40e27cc4"],
     [3, "0x40db4ef9", "0x40cb4dfd", "0x40f27dbf", "0x40e15ce6", "0x3f3504f7"],
     [3, "0x4104d643", "0x40f76bcf", "0x40f39d9d", "0x41074d40", "0x3f3504f7"],
     [2, "0x40e91023", "0x410cd8e2", "0x40def5ed", "0x41129926"],
     [3, "0x40c9d806", "0x411e9eb8", "0x40b1ccf7", "0x41140fc5", "0x3f3504f7"],
     [3, "0x4099c1e8", "0x410980d2", "0x40aedfce", "0x40faf67f", "0x3f3504f7"],
     [5],
     [0, "0x40f5c7a4", "0x40b376f3"],
     [2, "0x41014d7f", "0x40a8028a", "0x4107f252", "0x409d1840"],
     [3, "0x41144f61", "0x4088c875", "0x411e7747", "0x40a18295", "0x3f3504f7"],
     [3, "0x41289f56", "0x40ba3cc9", "0x411c421c", "0x40ce8c93", "0x3f3504f7"],
     [2, "0x41162027", "0x40d89fd3", "0x411034cc", "0x40e332b5"],
     [3, "0x410445d6", "0x40f883a5", "0x40f33abd", "0x40e0a5ce", "0x3f3504f7"],
     [3, "0x40dde9cd", "0x40c8c7e3", "0x40f5c7a4", "0x40b376f3", "0x3f3504f7"],
     [5],
     [0, "0x4123d3c3", "0x4066294a"],
     [2, "0x412a9a02", "0x40537a25", "0x41318db9", "0x4041e0df"],
     [3, "0x413f12d7", "0x401fa805", "0x4147a0f9", "0x4055bcd3", "0x3f3504f7"],
     [3, "0x41502f83", "0x4085e8d1", "0x4142aa65", "0x40970553", "0x3f3504f7"],
     [2, "0x413c3f14", "0x409f249e", "0x4135fec5", "0x40a7c448"],
     [3, "0x4128d2f2", "0x40b9ef0b", "0x411fbd5c", "0x409f9739", "0x3f3504f7"],
     [3, "0x4116a7fa", "0x40853f68", "0x4123d3c3", "0x4066294a", "0x3f3504f7"],
     [5],
     [0, "0x414e27bb", "0x3fff6406"],
     [2, "0x415588ce", "0x3fe04cad", "0x415d1062", "0x3fc39970"],
     [3, "0x416b8241", "0x3f8c8af0", "0x417263f1", "0x40000c4a", "0x3f3504f7"],
     [3, "0x417945a2", "0x4039d346", "0x416ad42c", "0x40555a86", "0x3f3504f7"],
     [2, "0x4163e0df", "0x406299af", "0x415d10cb", "0x4070f323"],
     [3, "0x414ee8a7", "0x408762cc", "0x414773eb", "0x40562507", "0x3f3504f7"],
     [3, "0x413fff97", "0x401d84a1", "0x414e27bb", "0x3fff6406", "0x3f3504f7"],
     [5],
     [0, "0x417bf27c", "0x3f33cc7d"],
     [2, "0x4181ebee", "0x3f03b04f", "0x4185ed5d", "0x3eb17efe"],
     [3, "0x418d8347", "0x3ceda87a", "0x41900db9", "0x3f7a2ac3", "0x3f3504f7"],
     [3, "0x4192985f", "0x3ff6742a", "0x418b0275", "0x400f8e9f", "0x3f3504f7"],
     [2, "0x41874fdf", "0x40197785", "0x4183ab02", "0x402491a7"],
     [3, "0x4178624e", "0x403b58b8", "0x4172b08a", "0x3fff12c2", "0x3f3504f7"],
     [3, "0x416cfec5", "0x3f877469", "0x417bf27c", "0x3f33cc7d", "0x3f3504f7"],
     [5],
     [0, "0x419634d7", "0xbe79d884"],
     [2, "0x419a5495", "0xbebe01bd", "0x419e7e28", "0xbef44157"],
     [3, "0x41a654fe", "0xbf2d362f", "0x41a7edc6", "0x3e9b47a6", "0x3f3504f7"],
     [3, "0x41a98659", "0x3fa43eea", "0x41a1af83", "0x3fbdc9c5", "0x3f3504f7"],
     [2, "0x419dd7dc", "0x3fca4e7b", "0x419a096c", "0x3fd95326"],
     [3, "0x419244d0", "0x3ff7f7cf", "0x41905aba", "0x3f776156", "0x3f3504f7"],
     [3, "0x418e706f", "0xbb967e87", "0x419634d7", "0xbe79d884", "0x3f3504f7"],
     [5],
     [0, "0x41af0625", "0xbf4fd780"],
     [2, "0x41b32b02", "0xbf5fe111", "0x41b753f8", "0xbf6a95c8"],
     [3, "0x41bf4d6a", "0xbf7f1ae3", "0x41bff1aa", "0x399214f4", "0x3f3504f7"],
     [3, "0x41c095b5", "0x3f7f3f64", "0x41b89c78", "0x3f89e258", "0x3f3504f7"],
     [2, "0x41b4c539", "0x3f8ed331", "0x41b0f213", "0x3f963a2a"],
     [3, "0x41a900d2", "0x3fa5989e", "0x41a80adb", "0x3e9a172b", "0x3f3504f7"],
     [3, "0x41a71518", "0xbf311a43", "0x41af0625", "0xbf4fd780", "0x3f3504f7"],
     [5],
     [0, "0x41c7f0d8", "0xbf7fffef"],
     [2, "0x41cc21ff", "0xbf8004ea", "0x41d05220", "0xbf7aac11"],
     [3, "0x41d8507d", "0xbf706e09", "0x41d7fe5d", "0x3d75d76d", "0x3f3504f7"],
     [3, "0x41d7ac71", "0x3f879485", "0x41cfae14", "0x3f827579", "0x3f3504f7"],
     [2, "0x41cbd07d", "0x3f7ff706", "0x41c7f213", "0x3f800000"],
     [3, "0x41bff213", "0x3f800981", "0x41bff176", "0x3996a5fd", "0x3f3504f7"],
     [3, "0x41bff0d8", "0xbf7fed31", "0x41c7f0d8", "0xbf7fffef", "0x3f3504f7"],
     [5],
     [0, "0x41e1075f", "0xbf4fa301"],
     [2, "0x41e5271e", "0xbf3fa3ca", "0x41e940ec", "0xbf2a62ed"],
     [3, "0x41f126b5", "0xbf01756d", "0x41efdf3b", "0x3ef67f4e", "0x3f3504f7"],
     [3, "0x41ee97c2", "0x3fbbfa6e", "0x41e6b22d", "0x3fa7837b", "0x3f3504f7"],
     [2, "0x41e2e910", "0x3f9db478", "0x41df1a6b", "0x3f965269"],
     [3, "0x41d7295f", "0x3f86eb70", "0x41d81fbe", "0x3d7b2e24", "0x3f3504f7"],
     [3, "0x41d91653", "0xbf6e70f4", "0x41e1075f", "0xbf4fa301", "0x3f3504f7"],
     [5],
     [0, "0x41f9b646", "0xbe7c6a3c"],
     [2, "0x41fdf382", "0xbdedb941", "0x42011254", "0x3d155963"],
     [3, "0x4204e979", "0x3ea1ca3a", "0x4203cb44", "0x3fa3583a", "0x3f3504f7"],
     [3, "0x4202acf4", "0x400f1f0c", "0x41fdab9f", "0x3ffa7621", "0x3f3504f7"],
     [2, "0x41f9cd36", "0x3fe87065", "0x41f5e354", "0x3fd90774"],
     [3, "0x41ee1eb8", "0x3fba6fe7", "0x41f00831", "0x3ef89614", "0x3f3504f7"],
     [3, "0x41f1f1aa", "0xbef89353", "0x41f9b646", "0xbe7c6a3c", "0x3f3504f7"],
     [5],
     [0, "0x42093717", "0x3f38bcae"],
     [2, "0x420b3021", "0x3f691dde", "0x420d20c5", "0x3f8f4a77"],
     [3, "0x4210cd50", "0x3fc1e93a", "0x420f3852", "0x401bbcfd", "0x3f3504f7"],
     [3, "0x420da36e", "0x4056855e", "0x4209f6e3", "0x403d35fc", "0x3f3504f7"],
     [2, "0x42082c71", "0x4030dfa4", "0x42065a37", "0x4025b574"],
     [3, "0x42029e01", "0x400ecec4", "0x42040c7e", "0x3fa6171a", "0x3f3504f7"],
     [3, "0x42057ae1", "0x3eba4378", "0x42093717", "0x3f38bcae", "0x3f3504f7"],
     [5],
     [0, "0x42149a6b", "0x4000e4b8"],
     [2, "0x421665fe", "0x401013a9", "0x421827bb", "0x40205eb3"],
     [3, "0x421b9db2", "0x4040771d", "0x42199c29", "0x4077d60f", "0x3f3504f7"],
     [3, "0x42179aa0", "0x40979a6b", "0x421424a9", "0x40878e4c", "0x3f3504f7"],
     [2, "0x42128588", "0x40800918", "0x4210dd49", "0x40720e17"],
     [3, "0x420d53f8", "0x40542507", "0x420f3296", "0x401b906d", "0x3f3504f7"],
     [3, "0x4211111a", "0x3fc5f751", "0x42149a6b", "0x4000e4b8", "0x3f3504f7"],
     [5],
     [0, "0x421edf3b", "0x4064469d"],
     [2, "0x422081f2", "0x40763fe6", "0x4222197f", "0x40849afe"],
     [3, "0x42254ef3", "0x4097b69a", "0x4222eb85", "0x40b161d0", "0x3f3504f7"],
     [3, "0x42208817", "0x40cb0d1b", "0x421d52a3", "0x40b7f180", "0x3f3504f7"],
     [2, "0x421bda86", "0x40af3166", "0x421a57dc", "0x40a6e58a"],
     [3, "0x42170bc7", "0x4094c84b", "0x42194f5c", "0x4074ce46", "0x3f3504f7"],
     [3, "0x421b930c", "0x40400c20", "0x421edf3b", "0x4064469d", "0x3f3504f7"],
     [5],
     [0, "0x422869c7", "0x40ad5b6c"],
     [2, "0x4229f924", "0x40b841b3", "0x422b7a44", "0x40c3a4e8"],
     [3, "0x422e6219", "0x40d9a305", "0x422ba24e", "0x40f0e1b1", "0x3f3504f7"],
     [3, "0x4228e282", "0x41041023", "0x4225faad", "0x40f22229", "0x3f3504f7"],
     [2, "0x42249724", "0x40e79f17", "0x42232681", "0x40dd8f5c"],
     [3, "0x42202354", "0x40c88280", "0x4222c4ea", "0x40b06873", "0x3f3504f7"],
     [3, "0x42256681", "0x40984e7b", "0x422869c7", "0x40ad5b6c", "0x3f3504f7"],
     [5],
     [0, "0x42315e1b", "0x40f3ffd6"],
     [2, "0x4232cd84", "0x4100641b", "0x42342bd4", "0x4107037b"],
     [3, "0x4236b803", "0x411358f7", "0x4233a2b7", "0x411d8a1e", "0x3f3504f7"],
     [3, "0x42308d50", "0x4127bb30", "0x422e0106", "0x411b65bf", "0x3f3504f7"],
     [2, "0x422cbda5", "0x41154880", "0x422b6a7f", "0x410f6258"],
     [3, "0x4228be42", "0x41037b40", "0x422bb803", "0x40f19408", "0x3f3504f7"],
     [3, "0x422eb1c4", "0x40dc31a5", "0x42315e1b", "0x40f3ffd6", "0x3f3504f7"],
     [5],
     [0, "0x4239708a", "0x4122d07d"],
     [2, "0x423a9e4f", "0x41299ba6", "0x423bba93", "0x413095ea"],
     [3, "0x423de090", "0x413e14e4", "0x423a80b8", "0x4146acda", "0x3f3504f7"],
     [3, "0x423720f9", "0x414f4467", "0x4234fafb", "0x4141c56d", "0x3f3504f7"],
     [2, "0x4233f4a2", "0x413b54ca", "0x4232de01", "0x41350f28"],
     [3, "0x42309639", "0x4127ea4b", "0x4233df70", "0x411ecad5", "0x3f3504f7"],
     [3, "0x423728a7", "0x4115ab6b", "0x4239708a", "0x4122d07d", "0x3f3504f7"],
     [5],
     [0, "0x423fe219", "0x414d205c"],
     [2, "0x4240dc0f", "0x41547e28", "0x4241c2de", "0x415c0275"],
     [3, "0x42437df4", "0x416a6f00", "0x423fe2d1", "0x41715b57", "0x3f3504f7"],
     [3, "0x423c4794", "0x41784745", "0x423a8c7e", "0x4169daba", "0x3f3504f7"],
     [2, "0x4239b766", "0x4162ea4b", "0x4238d0b1", "0x415c1de7"],
     [3, "0x4236f10d", "0x414dfb16", "0x423a79a7", "0x41467c85", "0x3f3504f7"],
     [3, "0x423e025b", "0x413efd8b", "0x423fe219", "0x414d205c", "0x3f3504f7"],
     [5],
     [0, "0x424515d0", "0x417ad845"],
     [2, "0x4245d7a8", "0x41815d64", "0x424684d0", "0x41855dcc"],
     [3, "0x4247cce7", "0x418cf1de", "0x424402de", "0x418f81d8", "0x3f3504f7"],
     [3, "0x424038d5", "0x41921206", "0x423ef0be", "0x418a7df4", "0x3f3504f7"],
     [2, "0x423e5100", "0x4186cc98", "0x423d9e01", "0x418328c1"],
     [3, "0x423c2ee6", "0x417761e5", "0x423feace", "0x4171a57a", "0x3f3504f7"],
     [3, "0x4243a6b5", "0x416be8a7", "0x424515d0", "0x417ad845", "0x3f3504f7"],
     [5],
     [0, "0x4248e787", "0x4195a12d"],
     [2, "0x42496b36", "0x4199c01a", "0x4249d931", "0x419de910"],
     [3, "0x424aa873", "0x41a5bee0", "0x4246bda5", "0x41a75d2f", "0x3f3504f7"],
     [3, "0x4242d2d7", "0x41a8fbb3", "0x42420396", "0x41a12618", "0x3f3504f7"],
     [2, "0x42419e01", "0x419d4f0e", "0x42412474", "0x4199813b"],
     [3, "0x42402c8b", "0x4191be0e", "0x42440e07", "0x418fce3c", "0x3f3504f7"],
     [3, "0x4247ef9e", "0x418dde35", "0x4248e787", "0x4195a12d", "0x3f3504f7"],
     [5],
     [0, "0x424b3646", "0x41ae71aa"],
     [2, "0x424b77e9", "0x41b29653", "0x424ba440", "0x41b6bf48"],
     [3, "0x424bf93e", "0x41beb81d", "0x4247fcb9", "0x41bf6219", "0x3f3504f7"],
     [3, "0x42440034", "0x41c00be1", "0x4243ab51", "0x41b8130c", "0x3f3504f7"],
     [2, "0x4243825b", "0x41b43c02", "0x424345d6", "0x41b06910"],
     [3, "0x4242c7fd", "0x41a8786c", "0x4246c034", "0x41a77cee", "0x3f3504f7"],
     [3, "0x424ab86c", "0x41a6813b", "0x424b3646", "0x41ae71aa", "0x3f3504f7"],
     [5],
     [0, "0x424bffe6", "0x41c75c92"],
     [2, "0x424c0189", "0x41cb8c15", "0x424bed91", "0x41cfbb30"],
     [3, "0x424bc794", "0x41d7b9c1", "0x4247c84b", "0x41d76dc6", "0x3f3504f7"],
     [3, "0x4243c903", "0x41d72196", "0x4243ef00", "0x41cf2305", "0x3f3504f7"],
     [2, "0x4244016f", "0x41cb4674", "0x4243ffe6", "0x41c76910"],
     [3, "0x4243fcb9", "0x41bf6910", "0x4247fcb9", "0x41bf62b7", "0x3f3504f7"],
     [3, "0x424bfcb9", "0x41bf5c92", "0x424bffe6", "0x41c75c92", "0x3f3504f7"],
     [5],
     [0, "0x424b477a", "0x41e07319"],
     [2, "0x424b08e9", "0x41e493a9", "0x424ab53f", "0x41e8ae7d"],
     [3, "0x424a1461", "0x41f09518", "0x42462113", "0x41ef535b", "0x3f3504f7"],
     [3, "0x42422de0", "0x41ee119d", "0x4242cebf", "0x41e62b02", "0x3f3504f7"],
     [2, "0x42431bda", "0x41e26113", "0x4243559b", "0x41de919d"],
     [3, "0x4243ce07", "0x41d69ff3", "0x4247c6dc", "0x41d79097", "0x3f3504f7"],
     [3, "0x424bbfcc", "0x41d8816f", "0x424b477a", "0x41e07319", "0x3f3504f7"],
     [5],
     [0, "0x42490f0e", "0x41f91db2"],
     [2, "0x42488b0f", "0x41fd5c5d", "0x4247f055", "0x4200c794"],
     [3, "0x4246d4e4", "0x42049f8a", "0x4242fcee", "0x42038433", "0x3f3504f7"],
     [3, "0x423f24dd", "0x420268dc", "0x4240404f", "0x41fd2196", "0x3f3504f7"],
     [2, "0x4240cf0e", "0x41f941be", "0x42414903", "0x41f5566d"],
     [3, "0x42423ac7", "0x41ed9062", "0x42461dcc", "0x41ef741f", "0x3f3504f7"],
     [3, "0x424a00ec", "0x41f157a8", "0x42490f0e", "0x41f91db2", "0x3f3504f7"],
     [5],
     [0, "0x42453838", "0x4208efec"],
     [2, "0x424477e9", "0x420ae9fc", "0x4243a354", "0x420cdba6"],
     [3, "0x42421100", "0x42108952", "0x423e6354", "0x420ef6fd", "0x3f3504f7"],
     [3, "0x423ab5a8", "0x420d64a9", "0x423c47fd", "0x4209b717", "0x3f3504f7"],
     [2, "0x423d0c4a", "0x4207eb9f", "0x423dbdbf", "0x42061893"],
     [3, "0x423f295f", "0x42025b57", "0x4242e69b", "0x4203c711", "0x3f3504f7"],
     [3, "0x4246a3d7", "0x420532b0", "0x42453838", "0x4208efec", "0x3f3504f7"],
     [5],
     [0, "0x424013de", "0x4214599a"],
     [2, "0x423f21e5", "0x4216264c", "0x423e1e35", "0x4217e92a"],
     [3, "0x423c1f21", "0x421b6090", "0x4238a7bb", "0x42196162", "0x3f3504f7"],
     [3, "0x4235306f", "0x4217624e", "0x42372f9e", "0x4213eb02", "0x3f3504f7"],
     [2, "0x42381f56", "0x42124aa6", "0x4238feab", "0x4210a17c"],
     [3, "0x423adaba", "0x420d16d6", "0x423e6546", "0x420ef2e5", "0x3f3504f7"],
     [3, "0x4241efec", "0x4210cef3", "0x424013de", "0x4214599a", "0x3f3504f7"],
     [5],
     [0, "0x4239e36e", "0x421ea512"],
     [2, "0x4238c539", "0x42204831", "0x4237973f", "0x4221e00d"],
     [3, "0x42353611", "0x42251724", "0x4231fefa", "0x4222b5dd", "0x3f3504f7"],
     [3, "0x422ec7fd", "0x422054af", "0x4231292a", "0x421d1d98", "0x3f3504f7"],
     [2, "0x42323fe6", "0x421ba512", "0x42334817", "0x421a2234"],
     [3, "0x42358986", "0x4216d47b", "0x4238d724", "0x421915ea", "0x3f3504f7"],
     [3, "0x423c24dd", "0x421b5759", "0x4239e36e", "0x421ea512", "0x3f3504f7"],
     [5],
     [0, "0x423284ea", "0x42283247"],
     [2, "0x42312993", "0x4229c227", "0x422fbe91", "0x422b43fe"],
     [3, "0x422d00ec", "0x422e2dc6", "0x422a1724", "0x422b7021", "0x3f3504f7"],
     [3, "0x42272d43", "0x4228b261", "0x4229eb02", "0x4225c89a", "0x3f3504f7"],
     [2, "0x422b3a10", "0x42246474", "0x422c7aad", "0x4222f34d"],
     [3, "0x422f1a37", "0x421fee2f", "0x42321f56", "0x42228d9f", "0x3f3504f7"],
     [3, "0x42352474", "0x42252d29", "0x423284ea", "0x42283247", "0x3f3504f7"],
     [5],
     [0, "0x4229b8d5", "0x42312ae8"],
     [2, "0x4228212d", "0x42329b3d", "0x42267aad", "0x4233fa78"],
     [3, "0x4223671e", "0x42368903", "0x4220d893", "0x4233758e", "0x3f3504f7"],
     [3, "0x421e4a09", "0x42306219", "0x42215d7e", "0x422dd38f", "0x3f3504f7"],
     [2, "0x4222e388", "0x422c8f42", "0x42245bda", "0x422b3b4a"],
     [3, "0x422753a9", "0x42288ccd", "0x422a0227", "0x422b849c", "0x3f3504f7"],
     [3, "0x422cb0a4", "0x422e7c6a", "0x4229b8d5", "0x42312ae8", "0x3f3504f7"],
     [5],
     [0, "0x421f8c98", "0x4239437b"],
     [2, "0x421dd85f", "0x423a741f", "0x421c185f", "0x423b930c"],
     [3, "0x4218ba2a", "0x423dbb64", "0x421691d1", "0x423a5d15", "0x3f3504f7"],
     [3, "0x42146979", "0x4236fee0", "0x4217c7c8", "0x4234d687", "0x3f3504f7"],
     [2, "0x42196546", "0x4233cd9f", "0x421af7e9", "0x4232b488"],
     [3, "0x421e3f63", "0x42306a30", "0x422089ba", "0x4233b1aa", "0x3f3504f7"],
     [3, "0x4222d412", "0x4236f93e", "0x421f8c98", "0x4239437b", "0x3f3504f7"],
     [5],
     [0, "0x4214f98c", "0x423fbf2e"],
     [2, "0x42132305", "0x4240ba5e", "0x421142de", "0x4241a268"],
     [3, "0x420da8f6", "0x42436027", "0x420beb36", "0x423fc625", "0x3f3504f7"],
     [3, "0x420a2d91", "0x423c2c3d", "0x420dc794", "0x423a6e98", "0x3f3504f7"],
     [2, "0x420f82de", "0x42399845", "0x42113525", "0x4238b06f"],
     [3, "0x4214bc85", "0x4236ce3c", "0x42169eb8", "0x423a559b", "0x3f3504f7"],
     [3, "0x421880ec", "0x423ddcfb", "0x4214f98c", "0x423fbf2e", "0x3f3504f7"],
     [5],
     [0, "0x42099048", "0x4244faad"],
     [2, "0x4207985f", "0x4245bdd9", "0x420598c8", "0x42466c8b"],
     [3, "0x4201cfab", "0x4247b74c", "0x420084ea", "0x4243ee2f", "0x3f3504f7"],
     [3, "0x41fe7454", "0x42402512", "0x42030347", "0x423eda51", "0x3f3504f7"],
     [2, "0x4204db57", "0x423e3924", "0x4206ac8b", "0x423d84ea"],
     [3, "0x420a676d", "0x423c130c", "0x420bd94b", "0x423fcded", "0x3f3504f7"],
     [3, "0x420d4b29", "0x424388ce", "0x42099048", "0x4244faad", "0x3f3504f7"],
     [5],
     [0, "0x41faf213", "0x4248d4fe"],
     [2, "0x41f6d3f8", "0x42495a37", "0x41f2ab9f", "0x4249c9ba"],
     [3, "0x41ead73f", "0x424a9bc0", "0x41e93333", "0x4246b190", "0x3f3504f7"],
     [3, "0x41e78ef3", "0x4242c75f", "0x41ef6388", "0x4241f53f", "0x3f3504f7"],
     [2, "0x41f339f5", "0x42418e56", "0x41f706f7", "0x42411375"],
     [3, "0x41fec880", "0x42401893", "0x42005f21", "0x4243f972", "0x3f3504f7"],
     [3, "0x420159e8", "0x4247da37", "0x41faf213", "0x4248d4fe", "0x3f3504f7"],
     [5],
     [0, "0x41e2229c", "0x424b2cf4"],
     [2, "0x41ddfe28", "0x424b7021", "0x41d9d567", "0x424b9e01"],
     [3, "0x41d1dcfb", "0x424bf5c3", "0x41d12d77", "0x4247f98c", "0x3f3504f7"],
     [3, "0x41d07df4", "0x4243fd3c", "0x41d87660", "0x4243a57a", "0x3f3504f7"],
     [2, "0x41dc4d6a", "0x42437b30", "0x41e01ff3", "0x42433d3c"],
     [3, "0x41e80fc5", "0x4242bc85", "0x41e91134", "0x4246b46e", "0x3f3504f7"],
     [3, "0x41ea126f", "0x424aac57", "0x41e2229c", "0x424b2cf4", "0x3f3504f7"],
     [5],
     [0, "0x41c937e9", "0x424bff97"],
     [2, "0x41c509a0", "0x424c02aa", "0x41c0db8c", "0x424bf055"],
     [3, "0x41b8dcc6", "0x424bcd1b", "0x41b9233a", "0x4247cdb9", "0x3f3504f7"],
     [3, "0x41b96979", "0x4243ce56", "0x41c1683e", "0x4243f176", "0x3f3504f7"],
     [2, "0x41c54396", "0x42440275", "0x41c91ff3", "0x4243ff97"],
     [3, "0x41d11ff3", "0x4243f98c", "0x41d12bd4", "0x4247f98c", "0x3f3504f7"],
     [3, "0x41d137e9", "0x424bf98c", "0x41c937e9", "0x424bff97", "0x3f3504f7"],
     [5],
     [0, "0x41b0212d", "0x424b5014"],
     [2, "0x41abffcc", "0x424b130c", "0x41a7e3f1", "0x424ac0d2"],
     [3, "0x419ffc85", "0x424a22b7", "0x41a138bb", "0x42462f00", "0x3f3504f7"],
     [3, "0x41a274bc", "0x42423b4a", "0x41aa5c29", "0x4242d965", "0x3f3504f7"],
     [2, "0x41ae271e", "0x42432546", "0x41b1f732", "0x42435d98"],
     [3, "0x41b9e9ad", "0x4243d326", "0x41b8fe91", "0x4247cc64", "0x3f3504f7"],
     [3, "0x41b813a9", "0x424bc5a2", "0x41b0212d", "0x424b5014", "0x3f3504f7"],
     [5],
     [0, "0x41977b16", "0x4249217c"],
     [2, "0x41933ac7", "0x42489f07", "0x418f068e", "0x424805bc"],
     [3, "0x418754ca", "0x4246ed43", "0x418985f0", "0x42431461", "0x3f3504f7"],
     [3, "0x418bb6e3", "0x423f3b99", "0x41936873", "0x42405412", "0x3f3504f7"],
     [2, "0x41974a23", "0x4240e196", "0x419b367a", "0x42415a02"],
     [3, "0x41a2fdf4", "0x424248e9", "0x41a1205c", "0x42462ca5", "0x3f3504f7"],
     [3, "0x419f428f", "0x424a1062", "0x41977b16", "0x4249217c", "0x3f3504f7"],
     [5],
     [0, "0x417d5cfb", "0x42455326"],
     [2, "0x417571de", "0x42449446", "0x416da64c", "0x4243c0d2"],
     [3, "0x415eeb1c", "0x42423127", "0x416529c7", "0x423e825b", "0x3f3504f7"],
     [3, "0x416b6873", "0x423ad38f", "0x417a23a3", "0x423c633a", "0x3f3504f7"],
     [2, "0x4180aa65", "0x423d264c", "0x41845254", "0x423dd6a1"],
     [3, "0x418bced9", "0x423f3f7d", "0x4188fcee", "0x4242fdd9", "0x3f3504f7"],
     [3, "0x41862b02", "0x4246bc1c", "0x417d5cfb", "0x42455326", "0x3f3504f7"],
     [5],
     [0, "0x414f9d49", "0x424035dd"],
     [2, "0x414865fe", "0x423f44ea", "0x41415604", "0x423e4241"],
     [3, "0x41337319", "0x423c4588", "0x413b65fe", "0x4238cccd", "0x3f3504f7"],
     [3, "0x414358e2", "0x42355412", "0x41513bcd", "0x423750cb", "0x3f3504f7"],
     [2, "0x4157c0ec", "0x42383fb1", "0x415e6a16", "0x42391e01"],
     [3, "0x416c999a", "0x423af79a", "0x41653333", "0x423e837b", "0x3f3504f7"],
     [3, "0x415dcd36", "0x42420f76", "0x414f9d49", "0x424035dd", "0x3f3504f7"],
     [5],
     [0, "0x412654ca", "0x423a0b0f"],
     [2, "0x411fc711", "0x4238ee49", "0x411965b4", "0x4237c1be"],
     [3, "0x410c82fd", "0x423562b7", "0x4115ff19", "0x423229fc", "0x3f3504f7"],
     [3, "0x411f7b2b", "0x422ef15b", "0x412c5dcc", "0x42315062", "0x3f3504f7"],
     [2, "0x41324189", "0x423265c9", "0x41384e3c", "0x42336ca5"],
     [3, "0x41458adb", "0x4235abd4", "0x413c8e22", "0x4238fafb", "0x3f3504f7"],
     [3, "0x41339168", "0x423c4a3d", "0x412654ca", "0x423a0b0f", "0x3f3504f7"],
     [5],
     [0, "0x41001581", "0x4232b525"],
     [2, "0x40f3a6b5", "0x42315b23", "0x40e79336", "0x422ff190"],
     [3, "0x40d0352b", "0x422d35f7", "0x40e611f1", "0x422a4a3d", "0x3f3504f7"],
     [3, "0x40fbeeb7", "0x42275e84", "0x4109a661", "0x422a1a1d", "0x3f3504f7"],
     [2, "0x410f394e", "0x422b67d5", "0x4115002a", "0x422ca71e"],
     [3, "0x41211bda", "0x422f4481", "0x4116a6b5", "0x42324b78", "0x3f3504f7"],
     [3, "0x410c3166", "0x4235526f", "0x41001581", "0x4232b525", "0x3f3504f7"],
     [5],
     [0, "0x40b84303", "0x4229f176"],
     [2, "0x40acb963", "0x42285b23", "0x40a1b7fe", "0x4226b5f7"],
     [3, "0x408d313c", "0x4223a45a", "0x40a5bdcf", "0x4221138f", "0x3f3504f7"],
     [3, "0x40be4a62", "0x421e82aa", "0x40d2d139", "0x42219446", "0x3f3504f7"],
     [2, "0x40dcf9b1", "0x422318fc", "0x40e7a051", "0x42249014"],
     [3, "0x40fd25af", "0x422785f0", "0x40e57708", "0x422a3694", "0x3f3504f7"],
     [3, "0x40cdc860", "0x422ce738", "0x40b84303", "0x4229f176", "0x3f3504f7"],
     [5],
     [0, "0x406e9afe", "0x421fcd1b"],
     [2, "0x405b635e", "0x421e178d", "0x40494952", "0x421c5639"],
     [3, "0x40269e1b", "0x4218f972", "0x405c6a01", "0x4216cebf", "0x3f3504f7"],
     [3, "0x40891af4", "0x4214a40b", "0x409a708f", "0x421800d2", "0x3f3504f7"],
     [2, "0x40a2cb7d", "0x42199fa4", "0x40aba9fc", "0x421b3382"],
     [3, "0x40be1077", "0x421e793e", "0x40a3e243", "0x4220c60b", "0x3f3504f7"],
     [3, "0x4089b3fa", "0x422312d7", "0x406e9afe", "0x421fcd1b", "0x3f3504f7"],
     [5],
     [0, "0x40063f68", "0x42153b30"],
     [2, "0x3fecf228", "0x4213657a", "0x3fcfc654", "0x42118625"],
     [3, "0x3f97becb", "0x420ded77", "0x40056a40", "0x420c2d43", "0x3f3504f7"],
     [3, "0x403ef545", "0x420a6cf4", "0x405af909", "0x420e05a2", "0x3f3504f7"],
     [2, "0x40687011", "0x420fc034", "0x4076ff6d", "0x421171aa"],
     [3, "0x408aa5a4", "0x4214f7b5", "0x405ceb1c", "0x4216dc78", "0x3f3504f7"],
     [3, "0x40248b1a", "0x4218c120", "0x40063f68", "0x42153b30", "0x3f3504f7"],
     [5],
     [0, "0x3f482b63", "0x4209d6a1"],
     [2, "0x3f170542", "0x4207df56", "0x3ed607e6", "0x4205e076"],
     [3, "0x3dbd0544", "0x42021845", "0x3f84d552", "0x4200cac1", "0x3f3504f7"],
     [3, "0x3ffdda27", "0x41fefa44", "0x4013c5d6", "0x42034553", "0x3f3504f7"],
     [2, "0x401ded52", "0x42051ce0", "0x4029450f", "0x4206ed77"],
     [3, "0x40408e0d", "0x420aa752", "0x4004f102", "0x420c1bda", "0x3f3504f7"],
     [3, "0x3f92a7f0", "0x420d907d", "0x3f482b63", "0x4209d6a1", "0x3f3504f7"],
     [5],
     [0, "0xbe4250b5", "0x41fb8588"],
     [2, "0xbea47c95", "0x41f7680a", "0xbedd02cd", "0x41f34083"],
     [3, "0xbf23bd5a", "0x41eb6d5d", "0x3ead5411", "0x41e9c396", "0x3f3504f7"],
     [3, "0x3fa888a4", "0x41e8199a", "0x3fc326c0", "0x41efecc0", "0x3f3504f7"],
     [2, "0x3fd03223", "0x41f3c28f", "0x3fdfbb84", "0x41f78ef3"],
     [3, "0x3fff7026", "0x41ff4f0e", "0x3f836d33", "0x4200a52c", "0x3f3504f7"],
     [3, "0x3d6d4f3e", "0x4201a2d1", "0xbe4250b5", "0x41fb8588", "0x3f3504f7"],
     [5],
     [0, "0xbf48df59", "0x41e2b717"],
     [2, "0xbf5a088d", "0x41de930c", "0xbf65dce8", "0x41da6a4b"],
     [3, "0xbf7c8723", "0x41d27247", "0x3c1de188", "0x41d1bd08", "0x3f3504f7"],
     [3, "0x3f80bb1b", "0x41d107c8", "0x3f8c100e", "0x41d8ff97", "0x3f3504f7"],
     [2, "0x3f9185f0", "0x41dcd66d", "0x3f99719f", "0x41e0a8f6"],
     [3, "0x3fa9e204", "0x41e897f6", "0x3eabc622", "0x41e99f21", "0x3f3504f7"],
     [3, "0xbf27fe2a", "0x41eaa618", "0xbf48df59", "0x41e2b717", "0x3f3504f7"],
     [5],
     [0, "0xbf7fc07f", "0x41c9cc64"],
     [2, "0xbf807400", "0x41c59f21", "0xbf7cb274", "0x41c1727c"],
     [3, "0xbf74a1f1", "0x41b97382", "0x3d33d8aa", "0x41b9b405", "0x3f3504f7"],
     [3, "0x3f858e75", "0x41b9f488", "0x3f818644", "0x41c1f382", "0x3f3504f7"],
     [2, "0x3f7f2991", "0x41c5ce07", "0x3f801d2a", "0x41c9a8f6"],
     [3, "0x3f81389b", "0x41d1a8f6", "0x3c1ceb1d", "0x41d1ba93", "0x3f3504f7"],
     [3, "0xbf7d89df", "0x41d1cc64", "0xbf7fc07f", "0x41c9cc64", "0x3f3504f7"],
     [5],
     [0, "0xbf562457", "0x41b0b5a8"],
     [2, "0xbf473c3e", "0x41ac9340", "0xbf330d20", "0x41a87694"],
     [3, "0xbf0c3c9f", "0x41a08e56", "0x3ee19b6f", "0x41a1c4d0", "0x3f3504f7"],
     [3, "0x3fb6ec18", "0x41a2fb4a", "0x3fa383cf", "0x41aae3bd", "0x3f3504f7"],
     [2, "0x3f9a32f4", "0x41aeaf4f", "0x3f9351ad", "0x41b28034"],
     [3, "0x3f84fca4", "0x41ba734d", "0x3d3952b7", "0x41b98e22", "0x3f3504f7"],
     [3, "0xbf72ceab", "0x41b8a8c1", "0xbf562457", "0x41b0b5a8", "0x3f3504f7"],
     [5],
     [0, "0xbe99e16d", "0x41981412"],
     [2, "0xbe32c344", "0x4193d254", "0xbcd7bece", "0x418f9c78"],
     [3, "0x3e7aa2e4", "0x4187e944", "0x3f9a8922", "0x418a147b", "0x3f3504f7"],
     [3, "0x400adf26", "0x418c3fb1", "0x3ff30ae5", "0x4193f2e5", "0x3f3504f7"],
     [2, "0x3fe186ec", "0x4197d5d0", "0x3fd2a4a9", "0x419bc3ca"],
     [3, "0x3fb5273d", "0x41a38cb3", "0x3ee262aa", "0x41a1b4d7", "0x3f3504f7"],
     [3, "0xbf07eb9e", "0x419fdcfb", "0xbe99e16d", "0x41981412", "0x3f3504f7"],
     [5],
     [0, "0x3f24853c", "0x417e7a78"],
     [2, "0x3f53eeb3", "0x41768b44", "0x3f843c9f", "0x416ebc02"],
     [3, "0x3fb5db77", "0x415ffc50", "0x4015ec81", "0x41663055", "0x3f3504f7"],
     [3, "0x4050eb70", "0x416c63f1", "0x40381c04", "0x417b23a3", "0x3f3504f7"],
     [2, "0x402bfc11", "0x41812c71", "0x40210b0f", "0x4184d639"],
     [3, "0x400aa79c", "0x418c54ca", "0x3f9d65d4", "0x41898866", "0x3f3504f7"],
     [3, "0x3e95efe9", "0x4186bc02", "0x3f24853c", "0x417e7a78", "0x3f3504f7"],
     [5],
     [0, "0x3ff50918", "0x4150a1cb"],
     [2, "0x40098202", "0x41496666", "0x40199eae", "0x41425183"],
     [3, "0x40394342", "0x41346944", "0x4070e48f", "0x413c5254", "0x3f3504f7"],
     [3, "0x409442ee", "0x41443b64", "0x408470a4", "0x415223a3", "0x3f3504f7"],
     [2, "0x407a01f7", "0x4158ad43", "0x406c2b95", "0x415f5a86"],
     [3, "0x404eba9d", "0x416d8f5c", "0x4015e719", "0x41663333", "0x3f3504f7"],
     [3, "0x3fba2728", "0x415ed70a", "0x3ff50918", "0x4150a1cb", "0x3f3504f7"],
     [5],
     [0, "0x405cd8c3", "0x41273d71"],
     [2, "0x406e8e61", "0x4120ae7d", "0x4080a012", "0x411a4c06"],
     [3, "0x40938683", "0x410d62c1", "0x40ad58f7", "0x4116d604", "0x3f3504f7"],
     [3, "0x40c72b6b", "0x41204952", "0x40b444fa", "0x412d3261", "0x3f3504f7"],
     [2, "0x40aba42b", "0x41331759", "0x40a377af", "0x41392546"],
     [3, "0x40919019", "0x4146680a", "0x406e14f9", "0x413d7454", "0x3f3504f7"],
     [3, "0x40390996", "0x41348034", "0x405cd8c3", "0x41273d71", "0x3f3504f7"],
     [5],
     [0, "0x40a8d773", "0x4100f449"],
     [2, "0x40b39b7c", "0x40f55faf", "0x40bedcc6", "0x40e946dc"],
     [3, "0x40d4a8c1", "0x40d1d92b", "0x40ec1672", "0x40e7a53c", "0x3f3504f7"],
     [3, "0x4101c212", "0x40fd714c", "0x40edb813", "0x410a6f74", "0x3f3504f7"],
     [2, "0x40e3548b", "0x411004c0", "0x40d9646f", "0x4115cdc8"],
     [3, "0x40c48af0", "0x4121f0d8", "0x40ac447c", "0x41178443", "0x3f3504f7"],
     [3, "0x4093fdf4", "0x410d1783", "0x40a8d773", "0x4100f449", "0x3f3504f7"],
     [5],
     [0, "0x40eeb131", "0x40b9de55"],
     [2, "0x40fb58a3", "0x40ae4d7f", "0x41043b99", "0x40a344bb"],
     [3, "0x41107a44", "0x408eabc9", "0x411ac6bd", "0x40a72920", "0x3f3504f7"],
     [3, "0x41251340", "0x40bfa676", "0x4118d495", "0x40d43f68", "0x3f3504f7"],
     [2, "0x4112c674", "0x40de6f00", "0x410cef54", "0x40e91c04"],
     [3, "0x41011fe8", "0x40feb2ab", "0x40eca915", "0x40e713d3", "0x3f3504f7"],
     [3, "0x40d7125a", "0x40cf74fb", "0x40eeb131", "0x40b9de55", "0x3f3504f7"],
     [5],
     [0, "0x411fca43", "0x407170ce"],
     [2, "0x4126a512", "0x405e0bf6", "0x412db0f2", "0x404bc62a"],
     [3, "0x413b1de7", "0x4028f51b", "0x4143d220", "0x405ea897", "0x3f3504f7"],
     [3, "0x414c8659", "0x408a2e0a", "0x413f1965", "0x409b9692", "0x3f3504f7"],
     [2, "0x413898c8", "0x40a40568", "0x41324467", "0x40acf8f4"],
     [3, "0x4125346e", "0x40bf7343", "0x411bf747", "0x40a552fc", "0x3f3504f7"],
     [3, "0x4112ba1f", "0x408b32b5", "0x411fca43", "0x407170ce", "0x3f3504f7"],
     [5],
     [0, "0x414a0d84", "0x40087400"],
     [2, "0x415160aa", "0x3ff134ad", "0x4158daba", "0x3fd3e08b"],
     [3, "0x41673886", "0x3f9b866e", "0x416e4396", "0x400739eb", "0x3f3504f7"],
     [3, "0x41754f0e", "0x4040b09f", "0x4166f141", "0x405cddd7", "0x3f3504f7"],
     [2, "0x41600a3d", "0x406a6738", "0x415947ae", "0x4079089a"],
     [3, "0x414b353f", "0x408bbe4d", "0x414397f6", "0x405f3238", "0x3f3504f7"],
     [3, "0x413bfb16", "0x4026e7ff", "0x414a0d84", "0x40087400", "0x3f3504f7"],
     [5],
     [0, "0x41778c7e", "0x3f4f0e80"],
     [2, "0x417f6738", "0x3f1d8fd6", "0x4183b021", "0x3ee26916"],
     [3, "0x418b3e77", "0x3de90796", "0x418ddf07", "0x3f8776b4", "0x3f3504f7"],
     [3, "0x41907fcc", "0x40002e88", "0x4188f141", "0x40153387", "0x3f3504f7"],
     [2, "0x4185432d", "0x401f6ffc", "0x4181a33a", "0x402adc0a"],
     [3, "0x41746388", "0x4042501e", "0x416e8659", "0x4006c3f4", "0x3f3504f7"],
     [3, "0x4168a993", "0x3f966f93", "0x41778c7e", "0x3f4f0e80", "0x3f3504f7"],
     [5],
     [0, "0x4193e738", "0xbe2f61ed"],
     [2, "0x419803e4", "0xbe9bc4d2", "0x419c2a99", "0xbed50c80"],
     [3, "0x41a3fcb9", "0xbf20793e", "0x41a5ac3d", "0x3eb38de7", "0x3f3504f7"],
     [3, "0x41a75bc0", "0x3faa0371", "0x419f89d5", "0x3fc4fcf8", "0x3f3504f7"],
     [2, "0x419bb4d7", "0x3fd234ec", "0x4197e944", "0x3fe1eadd"],
     [3, "0x41902a65", "0x4000fcf8", "0x418e2993", "0x3f860e95", "0x3f3504f7"],
     [3, "0x418c288d", "0x3da22fbb", "0x4193e738", "0xbe2f61ed", "0x3f3504f7"],
     [5],
     [0, "0x41acb4a2", "0xbf46718b"],
     [2, "0x41b0d845", "0xbf57fa6e", "0x41b500d2", "0xbf642ecb"],
     [3, "0x41bcf838", "0xbf7b9064", "0x41bdb368", "0x3c576d3a", "0x3f3504f7"],
     [3, "0x41be6e63", "0x3f8125ee", "0x41b676fd", "0x3f8cd6a1", "0x3f3504f7"],
     [2, "0x41b2a05c", "0x3f9278c0", "0x41aece07", "0x3f9a90ac"],
     [3, "0x41a6dfa4", "0x3fab5c7d", "0x41a5d2f2", "0x3eb1df11", "0x3f3504f7"],
     [3, "0x41a4c63f", "0xbf24d9c7", "0x41acb4a2", "0xbf46718b", "0x3f3504f7"],
     [5],
     [0, "0x41c59eed", "0xbf7f90a8"],
     [2, "0x41c9caf5", "0xbf808b97", "0x41cdf660", "0xbf7d43d0"],
     [3, "0x41d5f58e", "0xbf75ed39", "0x41d5bac7", "0x3d1f7dc4", "0x3f3504f7"],
     [3, "0x41d58034", "0x3f84ee8d", "0x41cd8106", "0x3f814318", "0x3f3504f7"],
     [2, "0x41c9a787", "0x3f7efe0d", "0x41c5cdd3", "0x3f803372"],
     [3, "0x41bdce07", "0x3f81a9fc", "0x41bdb67a", "0x3c561e85", "0x3f3504f7"],
     [3, "0x41bd9f21", "0xbf7ca340", "0x41c59eed", "0xbf7f90a8", "0x3f3504f7"],
     [5],
     [0, "0x41deb5dd", "0xbf583548"],
     [2, "0x41e2d8e2", "0xbf49aa93", "0x41e6f694", "0xbf35d723"],
     [3, "0x41eedfa4", "0xbf0fbb73", "0x41edaee6", "0x3edad4b2", "0x3f3504f7"],
     [3, "0x41ec7df4", "0x3fb54802", "0x41e494af", "0x3fa23a2a", "0x3f3504f7"],
     [2, "0x41e0c84b", "0x3f991394", "0x41dcf694", "0x3f925d8d"],
     [3, "0x41d502de", "0x3f8463f1", "0x41d5e282", "0x3d24f68f", "0x3f3504f7"],
     [3, "0x41d6c1f2", "0xbf7428c3", "0x41deb5dd", "0xbf583548", "0x3f3504f7"],
     [5],
     [0, "0x41f75289", "0xbea2e4f3"],
     [2, "0x41fb95b5", "0xbe4651b1", "0x41ffcd36", "0xbd400000"],
     [3, "0x4203c120", "0x3e62b7fe", "0x4202ae63", "0x3f97a5e3", "0x3f3504f7"],
     [3, "0x42019ba6", "0x40097a4e", "0x41fb8275", "0x3ff09d9d", "0x3f3504f7"],
     [2, "0x41f79de7", "0x3fdf458d", "0x41f3aeb2", "0x3fd0902e"],
     [3, "0x41ebe45a", "0x3fb37122", "0x41edb646", "0x3edb315d", "0x3f3504f7"],
     [3, "0x41ef8866", "0xbf0bb0a3", "0x41f75289", "0xbea2e4f3", "0x3f3504f7"],
     [5],
     [0, "0x420819ce", "0x3f1dde8b"],
     [2, "0x420a16a1", "0x3f4cf4b6", "0x420c0b5e", "0x3f80985f"],
     [3, "0x420fbc6a", "0x3fb1e1b1", "0x420e322d", "0x40140179", "0x3f3504f7"],
     [3, "0x420ca7d5", "0x404f1245", "0x4208f6c9", "0x40366d9c", "0x3f3504f7"],
     [2, "0x4207288d", "0x402a6003", "0x420552d7", "0x401f822c"],
     [3, "0x42019289", "0x40094af5", "0x4202f5f7", "0x3f9a8b6e", "0x3f3504f7"],
     [3, "0x42045965", "0x3e8a03a3", "0x420819ce", "0x3f1dde8b", "0x3f3504f7"],
     [5],
     [0, "0x42139639", "0x3ff0d20b"],
     [2, "0x4215664c", "0x400755ef", "0x42172ca5", "0x401762b7"],
     [3, "0x421aa80a", "0x4036e0a0", "0x4218b03b", "0x406e97e1", "0x3f3504f7"],
     [3, "0x4216b852", "0x40932791", "0x42133cd3", "0x4083689d", "0x3f3504f7"],
     [2, "0x4211997f", "0x407800a8", "0x420fed0e", "0x406a3982"],
     [3, "0x420c5e9e", "0x404cf0d8", "0x420e3319", "0x40140885", "0x3f3504f7"],
     [3, "0x421007ae", "0x3fb64064", "0x42139639", "0x3ff0d20b", "0x3f3504f7"],
     [5],
     [0, "0x421df732", "0x405a6e98"],
     [1, "0x421e2704", "0x405c70e3"],
     [2, "0x421fb296", "0x406d1dbd", "0x42213368", "0x407e9eed"],
     [3, "0x42246f4f", "0x40922435", "0x422214af", "0x40ac039b", "0x3f3504f7"],
     [3, "0x421fba10", "0x40c5e300", "0x421c7e28", "0x40b30e41", "0x3f3504f7"],
     [2, "0x421b1aee", "0x40aaf9b1", "0x4219af9e", "0x40a35198"],
     [1, "0x42197fe6", "0x40a25072"],
     [3, "0x42162e49", "0x4090732e", "0x421869fc", "0x406bcd0c", "0x3f3504f7"],
     [3, "0x421aa5af", "0x4036b3e5", "0x421df732", "0x405a6e98", "0x3f3504f7"],
     [5],
     [0, "0x42278b29", "0x40a7594b"],
     [2, "0x42291ce0", "0x40b2121b", "0x422aa090", "0x40bd4799"],
     [3, "0x422d902e", "0x40d302de", "0x422ad8c8", "0x40ea801f", "0x3f3504f7"],
     [3, "0x42282162", "0x4100feb0", "0x422531c4", "0x40ec4231", "0x3f3504f7"],
     [2, "0x4223cbc7", "0x40e1e8e6", "0x42225917", "0x40d80386"],
     [3, "0x421f4e70", "0x40c33b25", "0x4221e76d", "0x40aae608", "0x3f3504f7"],
     [3, "0x42248083", "0x409290d6", "0x42278b29", "0x40a7594b", "0x3f3504f7"],
     [5],
     [0, "0x423090b1", "0x40ecef4a"],
     [2, "0x42320396", "0x40f98b97", "0x423365af", "0x41034fab"],
     [3, "0x4235fb16", "0x410f86ad", "0x4232ed43", "0x4119dc3e", "0x3f3504f7"],
     [3, "0x422fdf8a", "0x412431f9", "0x422d4a23", "0x4117fad7", "0x3f3504f7"],
     [2, "0x422c0361", "0x4111f1aa", "0x422aacf4", "0x410c1fa9"],
     [3, "0x4227f7e9", "0x41005825", "0x422ae9c7", "0x40eb0846", "0x3f3504f7"],
     [3, "0x422ddba6", "0x40d56042", "0x423090b1", "0x40ecef4a", "0x3f3504f7"],
     [5],
     [0, "0x4238bb64", "0x411ec986"],
     [2, "0x4239f488", "0x4125a993", "0x423b1ba6", "0x412cbb30"],
     [3, "0x423d4b0f", "0x413a2196", "0x4239f15b", "0x4142dfa4", "0x3f3504f7"],
     [3, "0x423697c2", "0x414b9d49", "0x4234683e", "0x413e367a", "0x3f3504f7"],
     [2, "0x423357dc", "0x4137b021", "0x423236c9", "0x413157a8"],
     [3, "0x422fe512", "0x41244e3c", "0x42332752", "0x411b075f", "0x3f3504f7"],
     [3, "0x423669ad", "0x4111c064", "0x4238bb64", "0x411ec986", "0x3f3504f7"],
     [5],
     [0, "0x423f554d", "0x41490831"],
     [2, "0x42405412", "0x415057a8", "0x42414000", "0x4157ce70"],
     [3, "0x42430553", "0x416626e9", "0x423f6f35", "0x416d3c9f", "0x3f3504f7"],
     [3, "0x423bd917", "0x41745254", "0x423a13a9", "0x4165f972", "0x3f3504f7"],
     [2, "0x423939db", "0x415f15b5", "0x42384ebf", "0x4158566d"],
     [3, "0x423664f7", "0x414a4952", "0x4239e83e", "0x4142a234", "0x3f3504f7"],
     [3, "0x423d6b85", "0x413afb16", "0x423f554d", "0x41490831", "0x3f3504f7"],
     [5],
     [0, "0x4244a80a", "0x417673eb"],
     [2, "0x42456f69", "0x417e4bc7", "0x42462234", "0x4183212d"],
     [3, "0x4247753f", "0x418aadac", "0x4243af00", "0x418d53c3", "0x3f3504f7"],
     [3, "0x423fe8c1", "0x418ff9db", "0x423e95b5", "0x41886d5d", "0x3f3504f7"],
     [2, "0x423df0a4", "0x4184c04f", "0x423d38a1", "0x418121cb"],
     [3, "0x423bbeab", "0x417364c3", "0x423f7660", "0x416d7cee", "0x3f3504f7"],
     [3, "0x42432e14", "0x41679518", "0x4244a80a", "0x417673eb", "0x3f3504f7"],
     [5],
     [0, "0x42489c43", "0x4193542c"],
     [2, "0x424925e3", "0x41976fd2", "0x424999e8", "0x419b95ea"],
     [3, "0x424a74a2", "0x41a366cf", "0x42468c30", "0x41a51c0f", "0x3f3504f7"],
     [3, "0x4242a3d7", "0x41a6d14e", "0x4241c937", "0x419f009d", "0x3f3504f7"],
     [2, "0x42415e1b", "0x419b2c3d", "0x4240df07", "0x41976148"],
     [3, "0x423fdba6", "0x418fa40b", "0x4243ba44", "0x418d9d7e", "0x3f3504f7"],
     [3, "0x424798e2", "0x418b96f0", "0x42489c43", "0x4193542c", "0x3f3504f7"],
     [5],
     [0, "0x424b0fdf", "0x41ac2027"],
     [2, "0x424b5773", "0x41b04396", "0x424b89d5", "0x41b46c22"],
     [3, "0x424bea30", "0x41bc62eb", "0x4247eeb2", "0x41bd23d7", "0x3f3504f7"],
     [3, "0x4243f34d", "0x41bde48f", "0x424392f2", "0x41b5ed91", "0x3f3504f7"],
     [2, "0x42436474", "0x41b21724", "0x4243224e", "0x41ae4505"],
     [3, "0x42429917", "0x41a657a8", "0x42468fdf", "0x41a54505", "0x3f3504f7"],
     [3, "0x424a86a8", "0x41a43296", "0x424b0fdf", "0x41ac2027", "0x3f3504f7"],
     [5],
     [0, "0x424bfd56", "0x41c50a72"],
     [2, "0x424c04ea", "0x41c9350b", "0x424bf717", "0x41cd5f3b"],
     [3, "0x424bdcac", "0x41d55e9e", "0x4247dcfb", "0x41d529c7", "0x3f3504f7"],
     [3, "0x4243dd64", "0x41d4f4f1", "0x4243f7cf", "0x41ccf58e", "0x3f3504f7"],
     [2, "0x42440481", "0x41c91d49", "0x4243fd8b", "0x41c5449c"],
     [3, "0x4243ef00", "0x41bd44d0", "0x4247eee6", "0x41bd27bb", "0x3f3504f7"],
     [3, "0x424beecc", "0x41bd0aa6", "0x424bfd56", "0x41c50a72", "0x3f3504f7"],
     [5],
     [0, "0x424b68dc", "0x41de212d"],
     [2, "0x424b303b", "0x41e24505", "0x424ae24e", "0x41e66388"],
     [3, "0x424a4cb3", "0x41ee4d9f", "0x424657a8", "0x41ed2268", "0x3f3504f7"],
     [3, "0x4242629c", "0x41ebf732", "0x4242f852", "0x41e40d1b", "0x3f3504f7"],
     [2, "0x42434034", "0x41e03fb1", "0x42437488", "0x41dc6d5d"],
     [3, "0x4243e17c", "0x41d47909", "0x4247dba6", "0x41d552f2", "0x3f3504f7"],
     [3, "0x424bd5d0", "0x41d62ca5", "0x424b68dc", "0x41de212d", "0x3f3504f7"],
     [5],
     [0, "0x4249578d", "0x41f6b924"],
     [2, "0x4248d99a", "0x41fafdbf", "0x424844d0", "0x41ff36e3"],
     [3, "0x4247350b", "0x420376ae", "0x424359b4", "0x420266e9", "0x3f3504f7"],
     [3, "0x423f7e77", "0x4201570a", "0x42408e56", "0x41faf79a", "0x3f3504f7"],
     [2, "0x424117a8", "0x41f7119d", "0x42418bfb", "0x41f3212d"],
     [3, "0x424271f9", "0x41eb5567", "0x424657c2", "0x41ed2162", "0x3f3504f7"],
     [3, "0x424a3da5", "0x41eeed91", "0x4249578d", "0x41f6b924", "0x3f3504f7"],
     [5],
     [0, "0x4245a2eb", "0x4207d220"],
     [2, "0x4244e7d5", "0x4209cff9", "0x4244182b", "0x420bc5bc"],
     [3, "0x42429097", "0x420f77e9", "0x423ede6a", "0x420df03b", "0x3f3504f7"],
     [3, "0x423b2c3d", "0x420c68a7", "0x423cb3eb", "0x4208b67a", "0x3f3504f7"],
     [2, "0x423d739c", "0x4206e752", "0x423e2042", "0x420510b1"],
     [3, "0x423f80ec", "0x42014f5c", "0x42434241", "0x4202b021", "0x3f3504f7"],
     [3, "0x42470396", "0x420410cb", "0x4245a2eb", "0x4207d220", "0x3f3504f7"],
     [5],
     [0, "0x42409b09", "0x421354ca"],
     [2, "0x423fad29", "0x421525fe", "0x423ead77", "0x4216ed5d"],
     [3, "0x423cb803", "0x421a6a4b", "0x42393b30", "0x421874d7", "0x3f3504f7"],
     [3, "0x4235be5d", "0x42167f63", "0x4237b3d0", "0x4213028f", "0x3f3504f7"],
     [2, "0x42389ff3", "0x42115e01", "0x42397b64", "0x420fb0be"],
     [3, "0x423b4d6a", "0x420c20df", "0x423edd2f", "0x420df2e5", "0x3f3504f7"],
     [3, "0x42426d0e", "0x420fc4ea", "0x42409b09", "0x421354ca", "0x3f3504f7"],
     [5],
     [0, "0x423a7f7d", "0x421dbdd9"],
     [1, "0x423a39a7", "0x421e25e3"],
     [2, "0x42394227", "0x421f94fe", "0x42383fe6", "0x4220f9a7"],
     [3, "0x4235e787", "0x42243732", "0x4232a9fc", "0x4221ded3", "0x3f3504f7"],
     [3, "0x422f6c71", "0x421f8674", "0x4231c4d0", "0x421c48e9", "0x3f3504f7"],
     [2, "0x4232b319", "0x421affcc", "0x423394fe", "0x4219b0be"],
     [1, "0x4233dad4", "0x421948ce"],
     [3, "0x42361567", "0x4215f67a", "0x423967bb", "0x4218310d", "0x3f3504f7"],
     [3, "0x423cba10", "0x421a6b85", "0x423a7f7d", "0x421dbdd9", "0x3f3504f7"],
     [5],
     [0, "0x42334467", "0x4227535b"],
     [2, "0x4231eecc", "0x4228e57a", "0x4230896c", "0x422a69e2"],
     [3, "0x422dd42c", "0x422d5b8c", "0x422ae282", "0x422aa632", "0x3f3504f7"],
     [3, "0x4227f0f2", "0x4227f0f2", "0x422aa632", "0x4224ff63", "0x3f3504f7"],
     [2, "0x422bf021", "0x422398c8", "0x422d2b6b", "0x4222257a"],
     [3, "0x422fc25b", "0x421f1917", "0x4232ced9", "0x4221afec", "0x3f3504f7"],
     [3, "0x4235db57", "0x422446dc", "0x42334467", "0x4227535b", "0x3f3504f7"],
     [5],
     [0, "0x422a9a1d", "0x42305cfb"],
     [2, "0x422907e3", "0x4231d0e5", "0x422766cf", "0x423333d0"],
     [3, "0x42245aee", "0x4235cb78", "0x4221c361", "0x4232bf97", "0x3f3504f7"],
     [3, "0x421f2bba", "0x422fb3d0", "0x42223780", "0x422d1c29", "0x3f3504f7"],
     [2, "0x4223b886", "0x422bd47b", "0x42252bd4", "0x422a7d3c"],
     [3, "0x42281ba6", "0x4227c60b", "0x422ad2d7", "0x422ab5f7", "0x3f3504f7"],
     [3, "0x422d8a09", "0x422da5e3", "0x422a9a1d", "0x42305cfb", "0x3f3504f7"],
     [5],
     [0, "0x42208d9f", "0x42388db9"],
     [2, "0x421ed446", "0x4239c9d5", "0x421d0e70", "0x423af382"],
     [3, "0x4219b660", "0x423d2560", "0x4217849c", "0x4239cd36", "0x3f3504f7"],
     [3, "0x421552bd", "0x4236750b", "0x4218aae8", "0x42344347", "0x3f3504f7"],
     [2, "0x421a4dd3", "0x42333055", "0x421be52c", "0x42320cb3"],
     [3, "0x421f25af", "0x422fb86c", "0x422179db", "0x4232f909", "0x3f3504f7"],
     [3, "0x4223ce22", "0x4236398c", "0x42208d9f", "0x42388db9", "0x3f3504f7"],
     [5],
     [0, "0x4215ff14", "0x423f31aa"],
     [2, "0x42142c22", "0x424031aa", "0x42124f5c", "0x42411ed3"],
     [3, "0x420eba78", "0x4242e6cf", "0x420cf27c", "0x423f51ec", "0x3f3504f7"],
     [3, "0x420b2a7f", "0x423bbd08", "0x420ebf63", "0x4239f50b", "0x3f3504f7"],
     [2, "0x42107780", "0x42391a1d", "0x42122681", "0x42382de0"],
     [3, "0x4215a873", "0x423641a3", "0x421794af", "0x4239c37b", "0x3f3504f7"],
     [3, "0x42198106", "0x423d456d", "0x4215ff14", "0x423f31aa", "0x3f3504f7"],
     [5],
     [0, "0x420aa910", "0x42448c15"],
     [2, "0x4208b3d0", "0x424554ca", "0x4206b6c9", "0x4246091d"],
     [3, "0x4202f176", "0x42475eed", "0x42019ba6", "0x4243999a", "0x3f3504f7"],
     [3, "0x420045d6", "0x423fd461", "0x42040b29", "0x423e7e91", "0x3f3504f7"],
     [2, "0x4205e0f9", "0x423dd82b", "0x4207afb8", "0x423d1ed3"],
     [3, "0x420b6666", "0x423ba234", "0x420ce305", "0x423f58e2", "0x3f3504f7"],
     [3, "0x420e5fa4", "0x42430f76", "0x420aa910", "0x42448c15", "0x3f3504f7"],
     [5],
     [0, "0x41fd3ee0", "0x424888e9"],
     [2, "0x41f923d7", "0x42491412", "0x41f4fe91", "0x424989a0"],
     [3, "0x41ed2f1b", "0x424a671e", "0x41eb741f", "0x42467f63", "0x3f3504f7"],
     [3, "0x41e9b8ef", "0x424297a8", "0x41f1889a", "0x4241ba10", "0x3f3504f7"],
     [2, "0x41f55c5d", "0x42414d84", "0x41f9264c", "0x4240cd1b"],
     [3, "0x4200710d", "0x423fc6f7", "0x42017732", "0x4243a4dd", "0x3f3504f7"],
     [3, "0x42027d3c", "0x424782c4", "0x41fd3ee0", "0x424888e9", "0x3f3504f7"],
     [5],
     [0, "0x41e4741f", "0x424b05bc"],
     [2, "0x41e050e5", "0x424b4ed9", "0x41dc288d", "0x424b82aa"],
     [3, "0x41d4322d", "0x424be5e3", "0x41d36bba", "0x4247eab3", "0x3f3504f7"],
     [3, "0x41d2a546", "0x4243ef83", "0x41da9ba6", "0x42438c4a", "0x3f3504f7"],
     [2, "0x41de71de", "0x42435c78", "0x41e243ca", "0x424318fc"],
     [3, "0x41ea308a", "0x42428ce7", "0x41eb48b4", "0x42468347", "0x3f3504f7"],
     [3, "0x41ec60df", "0x424a79a7", "0x41e4741f", "0x424b05bc", "0x3f3504f7"],
     [5],
     [0, "0x41cb8a09", "0x424bfc1c"],
     [2, "0x41c760aa", "0x424c0539", "0x41c337b5", "0x424bf8ef"],
     [3, "0x41bb3852", "0x424be162", "0x41bb676d", "0x4247e1b1", "0x3f3504f7"],
     [3, "0x41bb9687", "0x4243e1ff", "0x41c395ea", "0x4243f98c", "0x3f3504f7"],
     [2, "0x41c76d29", "0x424404d0", "0x41cb4467", "0x4243fc6a"],
     [3, "0x41d34433", "0x4243eb02", "0x41d36704", "0x4247eae8", "0x3f3504f7"],
     [3, "0x41d389d5", "0x424beab3", "0x41cb8a09", "0x424bfc1c", "0x3f3504f7"],
     [5],
     [0, "0x41b273b6", "0x424b70be"],
     [2, "0x41ae4ed9", "0x424b398c", "0x41aa2f83", "0x424aed0e"],
     [3, "0x41a2449c", "0x424a5a51", "0x41a36a16", "0x424664dd", "0x3f3504f7"],
     [3, "0x41a48fc5", "0x42426f69", "0x41ac7aad", "0x42430241", "0x3f3504f7"],
     [2, "0x41b048b4", "0x424348ce", "0x41b41bda", "0x42437bcd"],
     [3, "0x41bc1100", "0x4243e5e3", "0x41bb3cd3", "0x4247e05c", "0x3f3504f7"],
     [3, "0x41ba68a7", "0x424bdad4", "0x41b273b6", "0x424b70be", "0x3f3504f7"],
     [5],
     [0, "0x4199e076", "0x4249692a"],
     [2, "0x41959a37", "0x4248ecc0", "0x41915fa4", "0x42485965"],
     [3, "0x4189a787", "0x42474c7e", "0x418bc155", "0x4243706f", "0x3f3504f7"],
     [3, "0x418ddb23", "0x423f9461", "0x41959340", "0x4240a148", "0x3f3504f7"],
     [2, "0x41997ae1", "0x4241295f", "0x419d6cc0", "0x42419c29"],
     [3, "0x41a539c1", "0x42427f48", "0x41a37382", "0x424665c9", "0x3f3504f7"],
     [3, "0x41a1ad77", "0x424a4c4a", "0x4199e076", "0x4249692a", "0x3f3504f7"],
     [5],
     [0, "0x4180eb51", "0x4245bd22"],
     [2, "0x4179db8c", "0x42450361", "0x41720069", "0x424434f1"],
     [3, "0x41633333", "0x4242b007", "0x416946dc", "0x423efcd3", "0x3f3504f7"],
     [3, "0x416f5a86", "0x423b4986", "0x417e27bb", "0x423cce70", "0x3f3504f7"],
     [2, "0x4182b405", "0x423d8d01", "0x41866320", "0x423e386c"],
     [3, "0x418de7d5", "0x423f966d", "0x418b2bd4", "0x424358ae", "0x3f3504f7"],
     [3, "0x41887007", "0x42471b09", "0x4180eb51", "0x4245bd22", "0x3f3504f7"],
     [5],
     [0, "0x4153b368", "0x4240bc6a"],
     [2, "0x414c6a7f", "0x423fcfc5", "0x414547ae", "0x423ed0e5"],
     [3, "0x41374f0e", "0x423cdde7", "0x413f1b09", "0x42395fa4", "0x3f3504f7"],
     [3, "0x4146e704", "0x4235e17c", "0x4154dfa4", "0x4237d47b", "0x3f3504f7"],
     [2, "0x415b758e", "0x4238bfb1", "0x41622f1b", "0x42399a37"],
     [3, "0x41707382", "0x423b69ad", "0x416935a8", "0x423efac7", "0x3f3504f7"],
     [3, "0x4161f7cf", "0x42428be1", "0x4153b368", "0x4240bc6a", "0x3f3504f7"],
     [5],
     [0, "0x4129eecc", "0x423aa5c9"],
     [1, "0x41276cf4", "0x423a3a78"],
     [2, "0x412221ff", "0x42395604", "0x411d001f", "0x42386993"],
     [3, "0x41100390", "0x42361375", "0x41195c29", "0x4232d446", "0x3f3504f7"],
     [3, "0x4122b4a2", "0x422f9532", "0x412fb15b", "0x4231eb51", "0x3f3504f7"],
     [2, "0x41346e2f", "0x4232c588", "0x41393886", "0x42339446"],
     [1, "0x413bb9f5", "0x4233ff97"],
     [3, "0x41490625", "0x42363909", "0x414020c5", "0x42398c15", "0x3f3504f7"],
     [3, "0x41373afb", "0x423cdf21", "0x4129eecc", "0x423aa5c9", "0x3f3504f7"],
     [5],
     [0, "0x41039279", "0x423373d0"],
     [2, "0x40fa8e37", "0x42321f8a", "0x40ee6651", "0x4230bbb3"],
     [3, "0x40d6ca19", "0x422e0866", "0x40ec63c7", "0x422b14e4", "0x3f3504f7"],
     [3, "0x4100febb", "0x42282162", "0x410ccccd", "0x422ad495", "0x3f3504f7"],
     [2, "0x4112691a", "0x422c1d15", "0x41183852", "0x422d5724"],
     [3, "0x41247176", "0x422febee", "0x411a1ea3", "0x4232fa2a", "0x3f3504f7"],
     [3, "0x410fcbbc", "0x42360880", "0x41039279", "0x423373d0", "0x3f3504f7"],
     [5],
     [0, "0x40beb607", "0x422ad1ec"],
     [2, "0x40b3108c", "0x42294120", "0x40a7f180", "0x4227a162"],
     [3, "0x4093223e", "0x4224978d", "0x40ab7176", "0x4221fda5", "0x3f3504f7"],
     [3, "0x40c3c0c2", "0x421f63a3", "0x40d89004", "0x42226d91", "0x3f3504f7"],
     [2, "0x40e2d46b", "0x4223ed5d", "0x40ed945b", "0x42255f56"],
     [3, "0x4101af64", "0x42284d36", "0x40ebef9e", "0x422b068e", "0x3f3504f7"],
     [3, "0x40d48073", "0x422dbfcc", "0x40beb607", "0x422ad1ec", "0x3f3504f7"],
     [5],
     [0, "0x407a01a3", "0x4220cd6a"],
     [2, "0x4066132b", "0x421f12d7", "0x40534b49", "0x421d4bac"],
     [3, "0x40300903", "0x4219f50b", "0x40657271", "0x4217c0ec", "0x3f3504f7"],
     [3, "0x408d6df0", "0x42158ccd", "0x409f0f13", "0x4218e354", "0x3f3504f7"],
     [2, "0x40a7ba34", "0x421a8794", "0x40b0ed14", "0x421c200d"],
     [3, "0x40c3a273", "0x421f5ed3", "0x40a9ac47", "0x4221b574", "0x3f3504f7"],
     [3, "0x408fb631", "0x42240c30", "0x407a01a3", "0x4220cd6a", "0x3f3504f7"],
     [5],
     [0, "0x400f21ab", "0x4216401a"],
     [2, "0x3ffe1cac", "0x42146e14", "0x3fe05144", "0x42129220"],
     [3, "0x3fa70015", "0x420efe91", "0x400cb9a1", "0x420d3405", "0x3f3504f7"],
     [3, "0x4045f30e", "0x420b6979", "0x40629bd0", "0x420efd08", "0x3f3504f7"],
     [2, "0x40705c3e", "0x4210b46e", "0x407f32b5", "0x4212629c"],
     [3, "0x408f0f91", "0x4215e320", "0x4066169c", "0x4217d1ec", "0x3f3504f7"],
     [3, "0x402e0e17", "0x4219c0b8", "0x400f21ab", "0x4216401a", "0x3f3504f7"],
     [5],
     [0, "0x3f640171", "0x420aef00"],
     [2, "0x3f317acc", "0x4208fa5e", "0x3f041227", "0x4206fe0e"],
     [3, "0x3e37bdcf", "0x420339c1", "0x3f8f8130", "0x4201e12d", "0x3f3504f7"],
     [3, "0x4004053e", "0x420088b4", "0x40198df8", "0x42044d01", "0x3f3504f7"],
     [2, "0x402408af", "0x42062234", "0x402fb185", "0x4207f055"],
     [3, "0x4047a709", "0x420ba5e3", "0x400c4e7b", "0x420d252c", "0x3f3504f7"],
     [3, "0x3fa1ebd9", "0x420ea48f", "0x3f640171", "0x420aef00", "0x3f3504f7"],
     [5],
     [0, "0xbdeaac97", "0x41fdd1b7"],
     [2, "0xbe80fbec", "0x41f9b7b5", "0xbebc8712", "0x41f5930c"],
     [3, "0xbf165b10", "0x41edc4d0", "0x3ec6d8d3", "0x41ec0419", "0x3f3504f7"],
     [3, "0x3fae99d9", "0x41ea4361", "0x3fcaa5a4", "0x41f2119d", "0x3f3504f7"],
     [2, "0x3fd86349", "0x41f5e48f", "0x3fe89d49", "0x41f9ade0"],
     [3, "0x4004de01", "0x4200b405", "0x3f8e17c2", "0x4201bd08", "0x3f3504f7"],
     [3, "0x3e139e6b", "0x4202c5f0", "0xbdeaac97", "0x41fdd1b7", "0x3f3504f7"],
     [5],
     [0, "0xbf3ed81b", "0x41e50866"],
     [2, "0xbf518080", "0x41e0e560", "0xbf5ed4a2", "0x41dcbd71"],
     [3, "0xbf785b3a", "0x41d4c77a", "0x3ccbc4fa", "0x41d3fb4a", "0x3f3504f7"],
     [3, "0x3f828bc1", "0x41d32f1b", "0x3f8f4f0e", "0x41db24dd", "0x3f3504f7"],
     [2, "0x3f9575e2", "0x41defb16", "0x3f9e1284", "0x41e2cc98"],
     [3, "0x3faff045", "0x41eab886", "0x3ec4c3a0", "0x41ebd66d", "0x3f3504f7"],
     [3, "0xbf1b1c97", "0x41ecf454", "0xbf3ed81b", "0x41e50866", "0x3f3504f7"],
     [5],
     [0, "0xbf7eb1d5", "0x41cc1eb8"],
     [2, "0xbf80aa11", "0x41c7f6c9", "0xbf7ea61a", "0x41c3cf0e"],
     [3, "0xbf797d6b", "0x41bbcf76", "0x3ccea97c", "0x41bbf8a1", "0x3f3504f7"],
     [3, "0x3f8333db", "0x41bc21ff", "0x3f809f95", "0x41c42196", "0x3f3504f7"],
     [2, "0x3f7ec5e3", "0x41c7f79a", "0x3f809a56", "0x41cbcd9f"],
     [3, "0x3f832325", "0x41d3cd36", "0x3cca6d41", "0x41d3f5c3", "0x3f3504f7"],
     [3, "0xbf799fb2", "0x41d41e4f", "0xbf7eb1d5", "0x41cc1eb8", "0x3f3504f7"],
     [5],
     [0, "0xbf5e1922", "0x41b3089a"],
     [2, "0xbf50a7c6", "0x41aee320", "0xbf3de83e", "0x41aac2c4"],
     [3, "0xbf19eb85", "0x41a2d70a", "0x3ec7136a", "0x41a3f6fd", "0x3f3504f7"],
     [3, "0x3fb07f78", "0x41a516bc", "0x3f9e80f1", "0x41ad0275", "0x3f3504f7"],
     [2, "0x3f95d9d3", "0x41b0d183", "0x3f8fa58f", "0x41b4a546"],
     [3, "0x3f82be8c", "0x41bc9b09", "0x3cd9641f", "0x41bbcc98", "0x3f3504f7"],
     [3, "0xbf77e719", "0x41bafe28", "0xbf5e1922", "0x41b3089a", "0x3f3504f7"],
     [5],
     [0, "0xbebd466f", "0x419a7a44"],
     [2, "0xbe7faf86", "0x419632ca", "0xbddbadc1", "0x4191f660"],
     [3, "0x3e1c3090", "0x418a3cd3", "0x3f8f20da", "0x418c50e5", "0x3f3504f7"],
     [3, "0x40055df6", "0x418e64f7", "0x3fe97acc", "0x41961e84", "0x3f3504f7"],
     [2, "0x3fd8a6ca", "0x419a075f", "0x3fca79bc", "0x419dfaad"],
     [3, "0x3fae7621", "0x41a5c91d", "0x3ec641d5", "0x41a408ce", "0x3f3504f7"],
     [3, "0xbf16aa4c", "0x41a248b4", "0xbebd466f", "0x419a7a44", "0x3f3504f7"],
     [5],
     [0, "0x3f0a3476", "0x41817b16"],
     [2, "0x3f384f6e", "0x417af766", "0x3f6b993d", "0x4173182b"],
     [3, "0x3fa613d3", "0x416446dc", "0x400e4fca", "0x416a4fdf", "0x3f3504f7"],
     [3, "0x404995ab", "0x41705879", "0x40317247", "0x417f2a30", "0x3f3504f7"],
     [2, "0x40259c0f", "0x41833717", "0x401af862", "0x4186e7d5"],
     [3, "0x4005458d", "0x418e6e98", "0x3f921ff3", "0x418bb81d", "0x3f3504f7"],
     [3, "0x3e4da48b", "0x418901d8", "0x3f0a3476", "0x41817b16", "0x3f3504f7"],
     [5],
     [0, "0x3fe44ab6", "0x4154ba5e"],
     [2, "0x4000df7a", "0x414d6cf4", "0x4010bc94", "0x414645a2"],
     [3, "0x402fc582", "0x413847ae", "0x4067be4d", "0x414009d5", "0x3f3504f7"],
     [3, "0x408fdb8c", "0x4147cbfb", "0x40805715", "0x4155c9ef", "0x3f3504f7"],
     [2, "0x40720981", "0x415c645a", "0x40647137", "0x416321ff"],
     [3, "0x4047a177", "0x41716bba", "0x400e7b89", "0x416a37b5", "0x3f3504f7"],
     [3, "0x3faaab8a", "0x416303b0", "0x3fe44ab6", "0x4154ba5e", "0x3f3504f7"],
     [5],
     [0, "0x405340cc", "0x412ad567"],
     [1, "0x405c4cad", "0x41277176"],
     [2, "0x406961e5", "0x412297f6", "0x4076cf6c", "0x411de738"],
     [3, "0x408e0721", "0x4110e450", "0x40a80d06", "0x411a3405", "0x3f3504f7"],
     [3, "0x40c212d7", "0x412383e4", "0x40af736d", "0x413086c2", "0x3f3504f7"],
     [2, "0x40a940e1", "0x4134db23", "0x40a363b2", "0x41393405"],
     [1, "0x409eddc2", "0x413c978d"],
     [3, "0x408d1b71", "0x4149e704", "0x4064f987", "0x414105bc", "0x3f3504f7"],
     [3, "0x402fbc2c", "0x413824dd", "0x405340cc", "0x412ad567", "0x3f3504f7"],
     [5],
     [0, "0x40a2e8a7", "0x41047267"],
     [2, "0x40ad7ee5", "0x40fc49f9", "0x40b892b8", "0x40f01ceb"],
     [3, "0x40ce1b71", "0x40d8714c", "0x40e5c6fc", "0x40edfa1a", "0x3f3504f7"],
     [3, "0x40fd729b", "0x4101c16a", "0x40e7e9cd", "0x410d9739", "0x3f3504f7"],
     [2, "0x40ddb021", "0x411335dd", "0x40d3ea74", "0x41190721"],
     [3, "0x40bf55b0", "0x412547ae", "0x40a6d4d4", "0x411afd37", "0x3f3504f7"],
     [3, "0x408e53e3", "0x4110b2df", "0x40a2e8a7", "0x41047267", "0x3f3504f7"],
     [5],
     [0, "0x40e7b353", "0x40c05532"],
     [2, "0x40f42e9d", "0x40b4a8d6", "0x410090e0", "0x40a9826b"],
     [3, "0x410cb0de", "0x4094a14d", "0x4117216c", "0x40ace133", "0x3f3504f7"],
     [3, "0x412191d1", "0x40c52118", "0x41157208", "0x40da024b", "0x3f3504f7"],
     [2, "0x410f77ee", "0x40e44d2b", "0x4109b53f", "0x40ef137f"],
     [3, "0x40fc0b4e", "0x41027790", "0x40e62fad", "0x40ed8fef", "0x3f3504f7"],
     [3, "0x40d05422", "0x40d630be", "0x40e7b353", "0x40c05532", "0x3f3504f7"],
     [5],
     [0, "0x411bcbd1", "0x407ce1c6"],
     [2, "0x4122bac7", "0x4068c543", "0x4129dd2f", "0x4055d1a2"],
     [3, "0x41373190", "0x403269d7", "0x41400b78", "0x4067ba5e", "0x3f3504f7"],
     [3, "0x4148e560", "0x408e8588", "0x413b9100", "0x40a03958", "0x3f3504f7"],
     [2, "0x4134fb16", "0x40a8f8a1", "0x412e94af", "0x40b240cc"],
     [3, "0x4121a0f9", "0x40c509c0", "0x41183c4b", "0x40ab21c0", "0x3f3504f7"],
     [3, "0x410ed7d1", "0x409139d6", "0x411bcbd1", "0x407ce1c6", "0x3f3504f7"],
     [5],
     [0, "0x4145fbe7", "0x401160bf"],
     [2, "0x414d404f", "0x40013abd", "0x4154ac71", "0x3fe48217"],
     [3, "0x4162f5c3", "0x3faadea9", "0x416a2a30", "0x400e941d", "0x3f3504f7"],
     [3, "0x41715e9e", "0x4047b90f", "0x4163154d", "0x40648ac6", "0x3f3504f7"],
     [2, "0x415c3b64", "0x40725d8d", "0x415585f0", "0x4080a2db"],
     [3, "0x41478937", "0x40902d0e", "0x413fc433", "0x4068678c", "0x3f3504f7"],
     [3, "0x4137ff2e", "0x40307525", "0x4145fbe7", "0x401160bf", "0x3f3504f7"],
     [5],
     [0, "0x41732ca5", "0x3f6b1572"],
     [2, "0x417afc50", "0x3f3837d6", "0x4181758e", "0x3f0a7536"],
     [3, "0x4188fc1c", "0x3e4e8d11", "0x418bb2ca", "0x3f923bcd", "0x3f3504f7"],
     [3, "0x418e6944", "0x400552d2", "0x4186e2b7", "0x401b074a", "0x3f3504f7"],
     [2, "0x41833958", "0x402596d1", "0x417f3d08", "0x403153ce"],
     [3, "0x41706ae8", "0x4049743f", "0x416a6320", "0x400e2d0e", "0x3f3504f7"],
     [3, "0x41645aee", "0x3fa5cbbc", "0x41732ca5", "0x3f6b1572", "0x3f3504f7"],
     [5],
     [0, "0x41919ba6", "0xbdc3260a"],
     [2, "0x4195b4a2", "0xbe6fb15b", "0x4199d8ae", "0xbeb424a2"],
     [3, "0x41a1a57a", "0xbf12e03b", "0x41a36bee", "0x3ecd7c2d", "0x3f3504f7"],
     [3, "0x41a53261", "0x3fb02e34", "0x419d6560", "0x3fcc9518", "0x3f3504f7"],
     [2, "0x4199930c", "0x3fda7f4e", "0x4195cac1", "0x3feae536"],
     [3, "0x418e1206", "0x40062f06", "0x418bfa78", "0x3f90d25f", "0x3f3504f7"],
     [3, "0x4189e2eb", "0x3e2a3487", "0x41919ba6", "0xbdc3260a", "0x3f3504f7"],
     [5],
     [0, "0x41aa6388", "0xbf3c34c2"],
     [2, "0x41ae8625", "0xbf4f3d19", "0x41b2ade0", "0xbf5cf0fa"],
     [3, "0x41baa33a", "0xbf772e6a", "0x41bb7525", "0x3cef0cfe", "0x3f3504f7"],
     [3, "0x41bc4711", "0x3f830f7c", "0x41b451b7", "0x3f902e34", "0x3f3504f7"],
     [2, "0x41b07bb3", "0x3f968145", "0x41acaa99", "0x3f9f4a23"],
     [3, "0x41a4bf7d", "0x3fb182fd", "0x41a39bda", "0x3ecb4396", "0x3f3504f7"],
     [3, "0x41a2786c", "0xbf17c2a9", "0x41aa6388", "0xbf3c34c2", "0x3f3504f7"],
     [5],
     [0, "0x41c34c98", "0xbf7e4ce8"],
     [2, "0x41c77319", "0xbf80a6ca", "0x41cb99ce", "0xbf7f00de"],
     [3, "0x41d39965", "0xbf7a9292", "0x41d375f7", "0x3cac7391", "0x3f3504f7"],
     [3, "0x41d35289", "0x3f82acda", "0x41cb52f2", "0x3f8075a3", "0x3f3504f7"],
     [2, "0x41c77df4", "0x3f7ecc1d", "0x41c3a92a", "0x3f80c8de"],
     [3, "0x41bba993", "0x3f83ad6d", "0x41bb7b4a", "0x3ced7294", "0x3f3504f7"],
     [3, "0x41bb4d01", "0xbf7883a9", "0x41c34c98", "0xbf7e4ce8", "0x3f3504f7"],
     [5],
     [0, "0x41dc6282", "0xbf5ff584"],
     [2, "0x41e088ce", "0xbf52e211", "0x41e4a9fc", "0xbf407f24"],
     [3, "0x41ec9653", "0xbf1d3826", "0x41eb7c1c", "0x3ec0ad47", "0x3f3504f7"],
     [3, "0x41ea61e5", "0x3faef2a6", "0x41e2758e", "0x3f9d4f37", "0x3f3504f7"],
     [2, "0x41dea5af", "0x3f94d2b3", "0x41dad11a", "0x3f8ec9b0"],
     [3, "0x41d2daee", "0x3f823e6c", "0x41d3a3a3", "0x3cb7083f", "0x3f3504f7"],
     [3, "0x41d46c57", "0xbf790c3d", "0x41dc6282", "0xbf5ff584", "0x3f3504f7"],
     [5],
     [0, "0x41f4ebba", "0xbec5da6a"],
     [2, "0x41f934a2", "0xbe893144", "0x41fd727c", "0xbe0209ee"],
     [3, "0x420296d6", "0x3e05158c", "0x42018fc5", "0x3f8c5682", "0x3f3504f7"],
     [3, "0x4200889a", "0x40040514", "0x41f95604", "0x3fe72618", "0x3f3504f7"],
     [2, "0x41f56bba", "0x3fd67ea6", "0x41f17732", "0x3fc87ed0"],
     [3, "0x41e9a787", "0x3facda3c", "0x41eb61b1", "0x3ebf7d95", "0x3f3504f7"],
     [3, "0x41ed1c0f", "0xbf1a36a0", "0x41f4ebba", "0xbec5da6a", "0x3f3504f7"],
     [5],
     [0, "0x4206fa5e", "0x3f03bde0"],
     [2, "0x4208fb16", "0x3f31840a", "0x420af3d0", "0x3f647d3d"],
     [3, "0x420ea944", "0x3fa22fad", "0x420d29c7", "0x400c6f3f", "0x3f3504f7"],
     [3, "0x420baa30", "0x4047c6a8", "0x4207f4bc", "0x402fce31", "0x3f3504f7"],
     [2, "0x420622d1", "0x40240ad0", "0x42044986", "0x40197a78"],
     [3, "0x42008539", "0x4003f40a", "0x4201dd98", "0x3f8f5d25", "0x3f3504f7"],
     [3, "0x420335f7", "0x3e369058", "0x4206fa5e", "0x3f03bde0", "0x3f3504f7"],
     [5],
     [0, "0x42128f91", "0x3fe02752"],
     [2, "0x4214640b", "0x3ffd7929", "0x42162ee6", "0x400e89a0"],
     [3, "0x4219afd2", "0x402d6b66", "0x4217c1be", "0x406579d1", "0x3f3504f7"],
     [3, "0x4215d38f", "0x408ec41e", "0x421252bd", "0x407ea676", "0x3f3504f7"],
     [2, "0x4210ab1c", "0x407010b6", "0x420efaad", "0x40628827"],
     [3, "0x420b6704", "0x4045e0df", "0x420d3176", "0x400ca6a0", "0x3f3504f7"],
     [3, "0x420efbe7", "0x3fa6d8c3", "0x42128f91", "0x3fe02752", "0x3f3504f7"],
     [5],
     [0, "0x421d0b5e", "0x4050a5ce"],
     [2, "0x421d9a1d", "0x40568073", "0x421e27f0", "0x405c7b0b"],
     [2, "0x421f3c85", "0x4068238e", "0x42204c64", "0x40743b25"],
     [3, "0x42238ea5", "0x408cab36", "0x42213d08", "0x40a6bdcf", "0x3f3504f7"],
     [3, "0x421eeb51", "0x40c0d053", "0x421ba8f6", "0x40ae42af", "0x3f3504f7"],
     [2, "0x421aae14", "0x40a8ae7d", "0x4219aeb2", "0x40a34c83"],
     [2, "0x42192c08", "0x40a08b44", "0x4218a7f0", "0x409dd639"],
     [3, "0x42154fc5", "0x408c48bf", "0x4217816f", "0x40630e56", "0x3f3504f7"],
     [3, "0x4219b319", "0x402d8b05", "0x421d0b5e", "0x4050a5ce", "0x3f3504f7"],
     [5],
     [0, "0x4226ab51", "0x40a170e3"],
     [2, "0x42283f48", "0x40abfbd2", "0x4229c56d", "0x40b70443"],
     [3, "0x422cbcd3", "0x40cc7c1c", "0x422a0dd3", "0x40e436f8", "0x3f3504f7"],
     [3, "0x42275ed3", "0x40fbf1d4", "0x42246787", "0x40e679fb", "0x3f3504f7"],
     [2, "0x4222ff48", "0x40dc4ae0", "0x42218a72", "0x40d28fb0"],
     [3, "0x421e7886", "0x40be0c35", "0x42210903", "0x40a57cd9", "0x3f3504f7"],
     [3, "0x42239965", "0x408ced7c", "0x4226ab51", "0x40a170e3", "0x3f3504f7"],
     [5],
     [0, "0x422fc155", "0x40e5f7cf"],
     [2, "0x423137b5", "0x40f267f5", "0x42329d7e", "0x40ff505d"],
     [3, "0x42353bcd", "0x410bc06e", "0x423235c3", "0x411639eb", "0x3f3504f7"],
     [3, "0x422f2fb8", "0x4120b368", "0x422c914e", "0x41149b33", "0x3f3504f7"],
     [2, "0x422b472b", "0x410ea618", "0x4229ed91", "0x4108e888"],
     [3, "0x42273007", "0x40fa81ed", "0x422a19e8", "0x40e49542", "0x3f3504f7"],
     [3, "0x422d03ca", "0x40cea897", "0x422fc155", "0x40e5f7cf", "0x3f3504f7"],
     [5],
     [0, "0x423803b0", "0x411ace07"],
     [2, "0x42394866", "0x4121c1be", "0x423a7a5e", "0x4128e9e2"],
     [3, "0x423cb333", "0x413637b5", "0x42395fbe", "0x413f1b09", "0x3f3504f7"],
     [3, "0x42360c30", "0x4147fe5d", "0x4233d35b", "0x413ab08a", "0x3f3504f7"],
     [2, "0x4232b8ef", "0x4134154d", "0x42318d50", "0x412daa65"],
     [3, "0x422f31c4", "0x4120bda5", "0x42326cf4", "0x41174f61", "0x3f3504f7"],
     [3, "0x4235a824", "0x410de128", "0x423803b0", "0x411ace07", "0x3f3504f7"],
     [5],
     [0, "0x423ec5d6", "0x4144f8a1"],
     [2, "0x423fc96c", "0x414c3958", "0x4240ba44", "0x4153a234"],
     [3, "0x424289ef", "0x4161e632", "0x423ef8ef", "0x416924dd", "0x3f3504f7"],
     [3, "0x423b67d5", "0x41706388", "0x4239982b", "0x41621f8a", "0x3f3504f7"],
     [2, "0x4238b9f5", "0x415b48e9", "0x4237ca58", "0x415496bc"],
     [3, "0x4235d687", "0x41469fbe", "0x42395446", "0x413ed07d", "0x3f3504f7"],
     [3, "0x423cd206", "0x413701a3", "0x423ec5d6", "0x4144f8a1", "0x3f3504f7"],
     [5],
     [0, "0x42443732", "0x417215b5"],
     [2, "0x424503fe", "0x4179e282", "0x4245bc6a", "0x4180e76d"],
     [3, "0x42471a6b", "0x41886bee", "0x42435810", "0x418b2824", "0x3f3504f7"],
     [3, "0x423f95d0", "0x418de426", "0x423e37cf", "0x41865f70", "0x3f3504f7"],
     [2, "0x423d8d84", "0x4182b74c", "0x423cd07d", "0x417e3b64"],
     [3, "0x423b4bc7", "0x416f6dc6", "0x423eff14", "0x41695aee", "0x3f3504f7"],
     [3, "0x4242b27c", "0x41634817", "0x42443732", "0x417215b5", "0x3f3504f7"],
     [5],
     [0, "0x42484d9f", "0x41910903"],
     [2, "0x4248dd2f", "0x4195212d", "0x4249573f", "0x41994467"],
     [3, "0x424a3d56", "0x41a10ff9", "0x4246578d", "0x41a2dc29", "0x3f3504f7"],
     [3, "0x424271c4", "0x41a4a824", "0x42418bac", "0x419cdc92", "0x3f3504f7"],
     [2, "0x42411aee", "0x41990b0f", "0x4240966d", "0x41954361"],
     [3, "0x423f87c8", "0x418d8c4a", "0x4243636e", "0x418b6f00", "0x3f3504f7"],
     [3, "0x42473efa", "0x418951ec", "0x42484d9f", "0x41910903", "0x3f3504f7"],
     [5],
     [0, "0x424ae618", "0x41a9cf42"],
     [2, "0x424b33b6", "0x41adf1aa", "0x424b6c08", "0x41b21931"],
     [3, "0x424bd7c2", "0x41ba0ded", "0x4247dd7e", "0x41bae595", "0x3f3504f7"],
     [3, "0x4243e33a", "0x41bbbd08", "0x42437766", "0x41b3c880", "0x3f3504f7"],
     [2, "0x42434361", "0x41aff2b0", "0x4242fbb3", "0x41ac21cb"],
     [3, "0x4242671e", "0x41a43780", "0x42465c43", "0x41a30e56", "0x3f3504f7"],
     [3, "0x424a5168", "0x41a1e4f7", "0x424ae618", "0x41a9cf42", "0x3f3504f7"],
     [5],
     [0, "0x424bf766", "0x41c2b7e9"],
     [2, "0x424c04ea", "0x41c6dd2f", "0x424bfd3c", "0x41cb0275"],
     [3, "0x424bee63", "0x41d30241", "0x4247ee7d", "0x41d2e48f", "0x3f3504f7"],
     [3, "0x4243ee98", "0x41d2c711", "0x4243fd71", "0x41cac745", "0x3f3504f7"],
     [2, "0x42440481", "0x41c6f319", "0x4243f81d", "0x41c31ff3"],
     [3, "0x4243de1b", "0x41bb2090", "0x4247ddb2", "0x41baec8b", "0x3f3504f7"],
     [3, "0x424bdd64", "0x41bab886", "0x424bf766", "0x41c2b7e9", "0x3f3504f7"],
     [5],
     [0, "0x424b8711", "0x41dbcd6a"],
     [2, "0x424b5446", "0x41dff454", "0x424b0c15", "0x41e41687"],
     [3, "0x424a81d8", "0x41ec03b0", "0x42468b44", "0x41eaef35", "0x3f3504f7"],
     [3, "0x42429495", "0x41e9da86", "0x42431eed", "0x41e1ed5d", "0x3f3504f7"],
     [2, "0x4243617c", "0x41de1ce0", "0x42439062", "0x41da477a"],
     [3, "0x4243f1de", "0x41d250b1", "0x4247ed29", "0x41d313a9", "0x3f3504f7"],
     [3, "0x424be88d", "0x41d3d6a1", "0x424b8711", "0x41dbcd6a", "0x3f3504f7"],
     [5],
     [0, "0x42499bf5", "0x41f457dc"],
     [2, "0x42492474", "0x41f89eb8", "0x42489604", "0x41fcdb23"],
     [3, "0x424791d1", "0x42024bfb", "0x4243b368", "0x420147c8", "0x3f3504f7"],
     [3, "0x423fd518", "0x42004396", "0x4240d94b", "0x41f8ca58", "0x3f3504f7"],
     [2, "0x42415cac", "0x41f4e1b1", "0x4241cb0f", "0x41f0ee98"],
     [3, "0x4242a546", "0x41e91db2", "0x42468dd3", "0x41ead254", "0x3f3504f7"],
     [3, "0x424a7646", "0x41ec86f7", "0x42499bf5", "0x41f457dc", "0x3f3504f7"],
     [5],
     [0, "0x42460aa6", "0x4206b22d"],
     [2, "0x424554e4", "0x4208b3d0", "0x42448a58", "0x420aad91"],
     [3, "0x42430d84", "0x420e640b", "0x423f56f0", "0x420ce738", "0x3f3504f7"],
     [3, "0x423ba05c", "0x420b6a7f", "0x423d1d2f", "0x4207b3eb", "0x3f3504f7"],
     [2, "0x423dd845", "0x4205e0f9", "0x423e8000", "0x420406dc"],
     [3, "0x423fd5b5", "0x42004189", "0x42439b09", "0x4201973f", "0x3f3504f7"],
     [3, "0x4247605c", "0x4202ecda", "0x42460aa6", "0x4206b22d", "0x3f3504f7"],
     [5],
     [0, "0x42411fbe", "0x42124d6a"],
     [2, "0x42403646", "0x42142305", "0x423f3a78", "0x4215ef1b"],
     [3, "0x423d4ebf", "0x4219715b", "0x4239cc7e", "0x421785a2", "0x3f3504f7"],
     [3, "0x42364a3d", "0x42159a02", "0x423835f7", "0x421217c2", "0x3f3504f7"],
     [2, "0x42391e6a", "0x42106f1b", "0x4239f5dd", "0x420ebda5"],
     [3, "0x423bbdbf", "0x420b28c1", "0x423f52a3", "0x420cf0a4", "0x3f3504f7"],
     [3, "0x4242e7a1", "0x420eb886", "0x42411fbe", "0x42124d6a", "0x3f3504f7"],
     [5],
     [0, "0x423b1c5d", "0x421cd02e"],
     [2, "0x423aabba", "0x421d7cd3", "0x423a3852", "0x421e27f0"],
     [2, "0x42398bc7", "0x421f27bb", "0x4238d931", "0x422023bd"],
     [3, "0x42368903", "0x4223671e", "0x423345a2", "0x422116f0", "0x3f3504f7"],
     [3, "0x42300227", "0x421ec6dc", "0x42325254", "0x421b8361", "0x3f3504f7"],
     [2, "0x4232f717", "0x421a9aee", "0x4233966d", "0x4219aeb2"],
     [2, "0x423400d2", "0x421910e5", "0x423468f6", "0x4218715b"],
     [3, "0x4236985f", "0x421517a8", "0x4239f213", "0x42174711", "0x3f3504f7"],
     [3, "0x423d4bc7", "0x4219767a", "0x423b1c5d", "0x421cd02e", "0x3f3504f7"],
     [5],
     [0, "0x4233cf91", "0x4226ae2f"],
     [2, "0x42327886", "0x4228489a", "0x42311168", "0x4229d4fe"],
     [3, "0x422e61cb", "0x422ccbe1", "0x422b6b02", "0x422a1c43", "0x3f3504f7"],
     [3, "0x42287439", "0x42276ca5", "0x422b23bd", "0x422475dd", "0x3f3504f7"],
     [2, "0x422c6f4f", "0x422307fd", "0x422dabd4", "0x42218d1b"],
     [3, "0x42303c6a", "0x421e7b30", "0x42334e3c", "0x42210bc7", "0x3f3504f7"],
     [3, "0x4236600d", "0x42239c5d", "0x4233cf91", "0x4226ae2f", "0x3f3504f7"],
     [5],
     [0, "0x422b2752", "0x422fd97f"],
     [2, "0x4229a219", "0x423146a8", "0x42280e56", "0x4232a40b"],
     [3, "0x422507fd", "0x42354227", "0x422269e2", "0x42323be7", "0x3f3504f7"],
     [3, "0x421fcbc7", "0x422f358e", "0x4222d220", "0x422c9773", "0x3f3504f7"],
     [2, "0x422446c2", "0x422b54fe", "0x4225ae2f", "0x422a03ca"],
     [3, "0x422898fc", "0x42274745", "0x422b559b", "0x422a3213", "0x3f3504f7"],
     [3, "0x422e123a", "0x422d1ce0", "0x422b2752", "0x422fd97f", "0x3f3504f7"],
     [5],
     [0, "0x42218e8a", "0x4237d35b"],
     [2, "0x421fdf8a", "0x42390fdf", "0x421e2440", "0x423a3ac7"],
     [3, "0x421ad326", "0x423c774c", "0x421896bc", "0x42392632", "0x3f3504f7"],